25.95user 0.54system 0:03.69elapsed 718%CPU (0avgtext+0avgdata 314828maxresident)k
0inputs+416outputs (0major+12437minor)pagefaults 0swaps
