18.73user 0.17system 0:04.58elapsed 412%CPU (0avgtext+0avgdata 287116maxresident)k
0inputs+416outputs (0major+13473minor)pagefaults 0swaps
