3244.32user 5.67system 4:48.11elapsed 1128%CPU (0avgtext+0avgdata 2567464maxresident)k
0inputs+800outputs (0major+27727minor)pagefaults 0swaps
