4075.52user 10.71system 3:42.16elapsed 1839%CPU (0avgtext+0avgdata 4362952maxresident)k
0inputs+712outputs (0major+32444minor)pagefaults 0swaps
