3124.00user 5.47system 4:37.65elapsed 1127%CPU (0avgtext+0avgdata 2565144maxresident)k
0inputs+800outputs (0major+25801minor)pagefaults 0swaps
