42.05user 0.30system 0:12.37elapsed 342%CPU (0avgtext+0avgdata 569016maxresident)k
0inputs+424outputs (0major+12128minor)pagefaults 0swaps
