12.56user 0.04system 0:12.37elapsed 101%CPU (0avgtext+0avgdata 274460maxresident)k
0inputs+416outputs (0major+10517minor)pagefaults 0swaps
