25.07user 0.53system 0:03.62elapsed 707%CPU (0avgtext+0avgdata 312220maxresident)k
0inputs+416outputs (0major+13603minor)pagefaults 0swaps
