56.12user 0.43system 0:09.88elapsed 571%CPU (0avgtext+0avgdata 572252maxresident)k
0inputs+424outputs (0major+12656minor)pagefaults 0swaps
