4624.99user 5.04system 9:38.35elapsed 800%CPU (0avgtext+0avgdata 2819504maxresident)k
0inputs+1152outputs (0major+31748minor)pagefaults 0swaps
