3817.71user 4.54system 15:42.89elapsed 405%CPU (0avgtext+0avgdata 2824376maxresident)k
0inputs+1608outputs (0major+29240minor)pagefaults 0swaps
