8.55user 0.51system 0:09.06elapsed 100%CPU (0avgtext+0avgdata 26032maxresident)k
0inputs+1144outputs (0major+117418minor)pagefaults 0swaps
