store jump statistics as in mcsolve