56.49user 0.42system 0:09.47elapsed 600%CPU (0avgtext+0avgdata 553792maxresident)k
0inputs+424outputs (0major+12340minor)pagefaults 0swaps
