4637.20user 4.78system 9:40.33elapsed 799%CPU (0avgtext+0avgdata 2812916maxresident)k
0inputs+1168outputs (0major+28614minor)pagefaults 0swaps
