50.81user 0.32system 0:13.07elapsed 391%CPU (0avgtext+0avgdata 567644maxresident)k
0inputs+424outputs (0major+12228minor)pagefaults 0swaps
