25.25user 0.55system 0:03.80elapsed 678%CPU (0avgtext+0avgdata 308580maxresident)k
0inputs+416outputs (0major+11872minor)pagefaults 0swaps
