25.93user 0.51system 0:03.59elapsed 735%CPU (0avgtext+0avgdata 310056maxresident)k
0inputs+416outputs (0major+10450minor)pagefaults 0swaps
