12.73user 0.46system 0:13.18elapsed 100%CPU (0avgtext+0avgdata 26008maxresident)k
0inputs+1992outputs (0major+120606minor)pagefaults 0swaps
