25.53user 0.36system 0:02.77elapsed 933%CPU (0avgtext+0avgdata 308560maxresident)k
0inputs+416outputs (0major+12959minor)pagefaults 0swaps
