3171.88user 5.15system 4:40.99elapsed 1130%CPU (0avgtext+0avgdata 2573628maxresident)k
0inputs+792outputs (0major+25653minor)pagefaults 0swaps
