If we free the solver we won't be able to roll it back to a previous checkpoint in a rollback call.