25.18user 0.33system 0:03.44elapsed 741%CPU (0avgtext+0avgdata 312440maxresident)k
0inputs+416outputs (0major+10205minor)pagefaults 0swaps
