IP::next_solution() and cuts using Cgl.