5227.01user 5.15system 7:31.62elapsed 1158%CPU (0avgtext+0avgdata 2731492maxresident)k
0inputs+984outputs (0major+30891minor)pagefaults 0swaps
