725.14user 1.48system 11:53.34elapsed 101%CPU (0avgtext+0avgdata 1179384maxresident)k
0inputs+1240outputs (0major+15426minor)pagefaults 0swaps
