updating the head of mip solver