25.05user 0.47system 0:03.57elapsed 715%CPU (0avgtext+0avgdata 315444maxresident)k
0inputs+416outputs (0major+13138minor)pagefaults 0swaps
