50.28user 0.31system 0:12.89elapsed 392%CPU (0avgtext+0avgdata 568128maxresident)k
0inputs+424outputs (0major+13109minor)pagefaults 0swaps
