47.91user 0.33system 0:09.41elapsed 512%CPU (0avgtext+0avgdata 577316maxresident)k
0inputs+424outputs (0major+11335minor)pagefaults 0swaps
