11.85user 0.59system 0:12.44elapsed 100%CPU (0avgtext+0avgdata 39728maxresident)k
0inputs+15160outputs (0major+177156minor)pagefaults 0swaps
