make the solver restart periodically and repeat the preprocessing in the breaks