3134.10user 5.65system 4:42.81elapsed 1110%CPU (0avgtext+0avgdata 2571240maxresident)k
0inputs+944outputs (0major+29415minor)pagefaults 0swaps
