40.24user 0.23system 0:11.56elapsed 350%CPU (0avgtext+0avgdata 572232maxresident)k
0inputs+424outputs (0major+12300minor)pagefaults 0swaps
