4869.77user 5.33system 11:24.19elapsed 712%CPU (0avgtext+0avgdata 2756588maxresident)k
0inputs+1256outputs (0major+30449minor)pagefaults 0swaps
