4313.52user 4.56system 11:56.39elapsed 602%CPU (0avgtext+0avgdata 2837044maxresident)k
0inputs+1288outputs (0major+33314minor)pagefaults 0swaps
