Maximum number of main-loop iterations the solver is permitted to run; must be positive when validated.