3141.73user 5.64system 4:39.95elapsed 1124%CPU (0avgtext+0avgdata 2569164maxresident)k
0inputs+808outputs (0major+25224minor)pagefaults 0swaps
