12.38user 0.54system 0:12.92elapsed 100%CPU (0avgtext+0avgdata 32960maxresident)k
0inputs+9256outputs (0major+154139minor)pagefaults 0swaps
