4007.37user 4.42system 17:58.66elapsed 371%CPU (0avgtext+0avgdata 2818160maxresident)k
0inputs+1728outputs (0major+28760minor)pagefaults 0swaps
