restarting
The inner solver used by the randomized restarts. In sequential mode this is the (single, reused) run instance. In concurrent mode the run instances are created per restart by the solver factory, and this property holds a prototype instance — created once from the factory, never run — so configuration reporting and tracking probes that inspect the inner solver keep working.