25.15user 0.64system 0:03.80elapsed 678%CPU (0avgtext+0avgdata 313516maxresident)k
0inputs+416outputs (0major+14615minor)pagefaults 0swaps
