13.45user 0.32system 0:13.75elapsed 100%CPU (0avgtext+0avgdata 29548maxresident)k
0inputs+728outputs (0major+101528minor)pagefaults 0swaps
