25.52user 0.36system 0:03.64elapsed 710%CPU (0avgtext+0avgdata 316604maxresident)k
0inputs+416outputs (0major+11795minor)pagefaults 0swaps
