Let's see if explicitly freeing the solver helps.