12.56user 0.07system 0:12.38elapsed 101%CPU (0avgtext+0avgdata 273284maxresident)k
0inputs+416outputs (0major+10691minor)pagefaults 0swaps
