13.41user 0.06system 0:13.18elapsed 102%CPU (0avgtext+0avgdata 301612maxresident)k
0inputs+416outputs (0major+11673minor)pagefaults 0swaps
