4571.88user 4.73system 9:35.24elapsed 795%CPU (0avgtext+0avgdata 2817472maxresident)k
0inputs+1152outputs (0major+29361minor)pagefaults 0swaps
