726.38user 1.56system 11:56.20elapsed 101%CPU (0avgtext+0avgdata 1179580maxresident)k
0inputs+1240outputs (0major+15791minor)pagefaults 0swaps
