4572.45user 4.94system 9:33.35elapsed 798%CPU (0avgtext+0avgdata 2817684maxresident)k
0inputs+1120outputs (0major+31141minor)pagefaults 0swaps
