3134.09user 5.50system 4:38.88elapsed 1125%CPU (0avgtext+0avgdata 2578920maxresident)k
0inputs+800outputs (0major+28503minor)pagefaults 0swaps
