3460.99user 4.69system 4:52.55elapsed 1184%CPU (0avgtext+0avgdata 2575700maxresident)k
0inputs+800outputs (0major+28431minor)pagefaults 0swaps
