updating the mip solver head