56.40user 0.32system 0:09.85elapsed 575%CPU (0avgtext+0avgdata 576216maxresident)k
0inputs+424outputs (0major+12240minor)pagefaults 0swaps
