4233.66user 4.52system 11:42.38elapsed 603%CPU (0avgtext+0avgdata 2828012maxresident)k
0inputs+1296outputs (0major+32535minor)pagefaults 0swaps
