13.49user 0.05system 0:13.54elapsed 100%CPU (0avgtext+0avgdata 51688maxresident)k
0inputs+112outputs (0major+15612minor)pagefaults 0swaps
