
<html dir="ltr"><head></head><body style="text-align:left; direction:ltr;"><div>Hi,</div><div><br></div><div>I'm trying to swap from Gurobi to SCIP in my column generation based algorithm for MinCostFlow. For this, I need SCIP to solve a linear program and generate an accurate dual solution. The dual solution that SCIP produces when presolving is disabled seems to be accurate, but violates some dual constraints.</div><div><br></div><div>I have set the relative gap limit to zero, and the absolute to 0.1, half the value of the gcd of my weights and bounds.</div><div><br></div><div>I have implemented column generation by regenerating the LP for every round from scratch, so I don't use any more functionality of SCIP than LP solving.</div><div><br></div><div>I have a self-implemented abstract layer between the LP solver and the LP generator, and I just swapped out the solver. Using Gurobi, everything worked fine, so I'm sure there is no bug elsewhere.</div><div><br></div><div>Is there any parameter I need to set to make SCIP produce a feasible dual solution, besides setting the presolving maxrounds to zero?</div><div><br></div><div>In case this is a bug in SCIP, I attached the problem that gets solved wrongly. In the code, I set the bounds of all variables to >= 0 and <= SCIPinfinity. Also I disabled presolving as described above.</div><div>The problem is that the dual of Route_choice_constraint_0x5621d4278800 gets set to 193. But by the goal function coeffecient of the primal variable Route_choice_0x5621d4278800_1 which is 191, it should be bound to 191. This variable appears besides in the goal function only in constraint Route_choice_constraint_0x5621d4278800. So in the dual problem there must be a constraint Route_choice_constraint_0x5621d4278800 <= 191.</div><div><br></div><div>Kind Regards,</div><div>Sebastian Schmidt</div></body></html>