13.57user 0.19system 0:13.66elapsed 100%CPU (0avgtext+0avgdata 179952maxresident)k
0inputs+472outputs (0major+56238minor)pagefaults 0swaps
