12.87user 0.05system 0:12.68elapsed 101%CPU (0avgtext+0avgdata 273868maxresident)k
0inputs+416outputs (0major+10247minor)pagefaults 0swaps
