711.20user 1.45system 11:40.98elapsed 101%CPU (0avgtext+0avgdata 1181928maxresident)k
0inputs+1240outputs (0major+15727minor)pagefaults 0swaps
