17.35user 0.44system 0:15.49elapsed 114%CPU (0avgtext+0avgdata 642412maxresident)k
0inputs+1368outputs (0major+37153minor)pagefaults 0swaps
