4457.21user 4.56system 9:19.01elapsed 798%CPU (0avgtext+0avgdata 2817860maxresident)k
0inputs+1120outputs (0major+30865minor)pagefaults 0swaps
