5417.35user 5.67system 7:42.82elapsed 1171%CPU (0avgtext+0avgdata 2729304maxresident)k
0inputs+1000outputs (0major+29179minor)pagefaults 0swaps
