43.40user 0.28system 0:13.00elapsed 335%CPU (0avgtext+0avgdata 569304maxresident)k
0inputs+424outputs (0major+12487minor)pagefaults 0swaps
