14.95user 0.06system 0:07.53elapsed 199%CPU (0avgtext+0avgdata 278628maxresident)k
0inputs+416outputs (0major+10271minor)pagefaults 0swaps
