12.79user 0.90system 0:02.68elapsed 510%CPU (0avgtext+0avgdata 308716maxresident)k
0inputs+392outputs (0major+12381minor)pagefaults 0swaps
