3992.69user 4.46system 11:04.54elapsed 601%CPU (0avgtext+0avgdata 2819308maxresident)k
0inputs+1256outputs (0major+29478minor)pagefaults 0swaps
