5222.42user 5.32system 7:40.56elapsed 1135%CPU (0avgtext+0avgdata 2736460maxresident)k
0inputs+984outputs (0major+28099minor)pagefaults 0swaps
