56.17user 0.36system 0:09.24elapsed 611%CPU (0avgtext+0avgdata 554564maxresident)k
0inputs+424outputs (0major+12029minor)pagefaults 0swaps
