<div dir="ltr"><div dir="ltr"><div dir="ltr">Dear Scip Community,<div><br></div><div>I'm currently trying to debug my C++ program which incorrectly outputs a non-optimal solution. I have a minimization problem and I have a solution with value 673. My program when executed on my computer claims that a solution with value 674 is optimal. However, if I execute this program on another computer, it correctly outputs a solution with value 673. There are also instances where my computer is correct, but the other computer is not.</div><div><br></div><div>In order to debug this problem I've compiled SCIP with <span style="color:rgb(0,0,0);white-space:pre-wrap">-DDEBUGSOL=on and I'm using the parameter "</span><span style="color:rgb(0,0,0);white-space:pre-wrap">misc/debugsol" to pass the solution with value 673. One thing to mention is that I have custom branching rules which were implemented via constraint handlers. When I execute the program with the debug solution it is printing a lot of violated constraints in the terminal, however, the violated constraints all seem to correspond to the branching inequalities. Is there a way to suppress the errors specifically for these inequalities?</span></div><div><span style="color:rgb(0,0,0);white-space:pre-wrap"><br></span></div><div><font color="#000000"><span style="white-space:pre-wrap">Also, I would be thankful for any help here (as I'm getting out of ideas of where the bug is)! I've checked my branching constraints and indeed, if a solution is cut-off in one branch, then it is present in the other branch. So the branching constraints are just partitioning the set of feasible solutions (as expected).</span></font></div><div><font color="#000000"><span style="white-space:pre-wrap"><br></span></font></div><div><font color="#000000"><span style="white-space:pre-wrap">Thanks for your time,</span></font></div><div><font color="#000000"><span style="white-space:pre-wrap">Matheus</span></font></div></div></div></div>