3140.78user 5.20system 4:42.66elapsed 1112%CPU (0avgtext+0avgdata 2582400maxresident)k
0inputs+808outputs (0major+29260minor)pagefaults 0swaps
