4616.04user 4.80system 9:37.86elapsed 799%CPU (0avgtext+0avgdata 2823268maxresident)k
0inputs+1152outputs (0major+30588minor)pagefaults 0swaps
