25.63user 0.60system 0:03.89elapsed 672%CPU (0avgtext+0avgdata 308316maxresident)k
0inputs+416outputs (0major+12579minor)pagefaults 0swaps
