725.30user 1.50system 11:54.84elapsed 101%CPU (0avgtext+0avgdata 1181084maxresident)k
0inputs+1256outputs (0major+16024minor)pagefaults 0swaps
