4280.42user 11.00system 3:47.56elapsed 1885%CPU (0avgtext+0avgdata 4382032maxresident)k
0inputs+712outputs (0major+30914minor)pagefaults 0swaps
