25.07user 0.67system 0:03.86elapsed 666%CPU (0avgtext+0avgdata 308212maxresident)k
0inputs+416outputs (0major+12969minor)pagefaults 0swaps
