11.95user 0.39system 0:12.31elapsed 100%CPU (0avgtext+0avgdata 29560maxresident)k
0inputs+728outputs (0major+101485minor)pagefaults 0swaps
