4517.45user 4.82system 9:25.57elapsed 799%CPU (0avgtext+0avgdata 2817464maxresident)k
0inputs+1128outputs (0major+29210minor)pagefaults 0swaps
