When using the parameter IloSynchronizeAndRestart during synchronization, the instance of IloSolver will end in a state equivalent to a deletion of the instance of IloSolver and a reload of the current model. In practice, the instance of IloSolver will look at all the changes that have happened since the last time it was synchronized with the model in the IloSynchronizeAndRestart mode. If the list of changes only contains monotonic and non-monotonic changes (no destructive changes), the instance of IloSolver will backtrack to a state before the first search and apply the changes. If the list of changes contains a destructive change, the instance of IloSolver will clear itself and reload the model from scratch.