65.30user 0.80system 0:09.01elapsed 733%CPU (0avgtext+0avgdata 595424maxresident)k
0inputs+424outputs (0major+11985minor)pagefaults 0swaps
