updating the mip solver