4399.80user 4.43system 13:42.70elapsed 535%CPU (0avgtext+0avgdata 2827116maxresident)k
0inputs+1424outputs (0major+31208minor)pagefaults 0swaps
