52.97user 0.45system 0:08.16elapsed 654%CPU (0avgtext+0avgdata 567184maxresident)k
0inputs+424outputs (0major+12375minor)pagefaults 0swaps
