9.95user 3.54system 0:06.32elapsed 213%CPU (0avgtext+0avgdata 145736maxresident)k
0inputs+392outputs (0major+10224minor)pagefaults 0swaps
