<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hi <font size="2"><span style="font-size:11pt">Ambros</span></font>,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Thanks for your quick response.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
After I compiled SCIP and SOPLEX to under debug mode, I cannot reproduce the error because the problem did not pass an assertion in the SCIP. The backtrace is the following:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span>CO: /home/joey/Downloads/scip-6.0.1/src/scip/tree.c:2403: SCIPnodeSetEstimate: Assertion `SCIPsetIsRelGE(set, newestimate, node->lowerbound)' failed.<br>
</span>
<div>==15345== <br>
</div>
<div>==15345== Process terminating with default action of signal 6 (SIGABRT)<br>
</div>
<div>==15345== at 0x69BAE97: raise (raise.c:51)<br>
</div>
<div>==15345== by 0x69BC800: abort (abort.c:79)<br>
</div>
<div>==15345== by 0x69AC399: __assert_fail_base (assert.c:92)<br>
</div>
<div>==15345== by 0x69AC411: __assert_fail (assert.c:101)<br>
</div>
<div>==15345== by 0x587623D: SCIPnodeSetEstimate (tree.c:2403)<br>
</div>
<div>==15345== by 0x5870E9C: SCIPnodeCreateChild (tree.c:1016)<br>
</div>
<div>==15345== by 0x1984F9: COML::Branching::split_space_ml_symetric(Scip*, bool) (branching_policy.cpp:499)<br>
</div>
<div>==15345== by 0x19665B: COML::Branching::scip_execlp(Scip*, SCIP_Branchrule*, unsigned int, SCIP_Result*) (branching_policy.cpp:233)<br>
</div>
<div>==15345== by 0x199E5F: branchExeclpDynamicBranching (branching_policy.cpp:804)<br>
</div>
<div>==15345== by 0x54FE318: SCIPbranchruleExecLPSol (branch.c:1589)<br>
</div>
<div>==15345== by 0x5500D06: SCIPbranchExecLP (branch.c:2538)<br>
</div>
<span>==15345== by 0x578FD2C: SCIPbranchLP (scip_branch.c:1183)</span><br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
I think I did not pass the correct estimate value when I create the child node. One other thing I need to ask is that the meaning of several boolean parameters when create a local constraint. Specifically, do I need to change them to other values when I create
locally valid constraint? (my observation from binpack and tsp example is that some of the boolean paramters are different comparing to creating the global constraint). My application senario is as the following: right after the root node is solved, I create
two chlid nodes splited by local constraints. Then I want to put an order on solving those two nodes.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Thank you,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
yunzhuang<br>
</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> Scip <scip-bounces@zib.de> on behalf of Ambros Gleixner <gleixner@zib.de><br>
<b>Sent:</b> Thursday, April 23, 2020 11:30 PM<br>
<b>To:</b> scip@zib.de <scip@zib.de><br>
<b>Subject:</b> Re: [SCIP] lp error when adding locally constraint</font>
<div> </div>
</div>
<div class="BodyFragment"><font size="2"><span style="font-size:11pt;">
<div class="PlainText">Dear Yunzhuang,<br>
<br>
We would need more details in order to help you with this issue. <br>
Ideally, you<br>
<br>
- compile both SoPlex and SCIP in debug mode and provide us with a <br>
backtrace, and<br>
<br>
- run your code through valgrind to check whether there is any memory <br>
corruption.<br>
<br>
I assume you are developing under linux. It is much easier for us to <br>
support debugging on linux than on other operating systems.<br>
<br>
Best,<br>
Ambros<br>
<br>
<br>
<br>
<br>
Am 23.04.20 um 10:51 schrieb Yunzhuang Shen:<br>
> Hi there,<br>
> <br>
> I am using scip-6.0.1 for my research work. After creating local <br>
> constraints by setting paramter <local> to true and adding them to <br>
> nodes, the SCIP terminates after processing a number of nodes. The error <br>
> is "corrupted size vs. prev_size" and is in inside the soplex solver. My <br>
> workaround is setting the parameter initial to false so that the <br>
> constraint is not added to lp. It works but I don't know whether that <br>
> local constraint is still effective (prune all nodes that is invalid <br>
> under this local constraint by propagation or other checks). I need to <br>
> make sure the local contraint is fully effective over the tree whose <br>
> root is added that local constraint.<br>
> <br>
> Thanks,<br>
> yunzhuang<br>
> <br>
> _______________________________________________<br>
> Scip mailing list<br>
> Scip@zib.de<br>
> <a href="https://aus01.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=02%7C01%7C%7C0adad89e1c4d4243203308d7e78adef9%7Cd1323671cdbe4417b4d4bdb24b51316b%7C0%7C1%7C637232455963308531&sdata=WlAfhGUXXSCByWdNhh4AIArNDyNjvOwqwpX40Lkv5u8%3D&reserved=0">
https://aus01.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=02%7C01%7C%7C0adad89e1c4d4243203308d7e78adef9%7Cd1323671cdbe4417b4d4bdb24b51316b%7C0%7C1%7C637232455963308531&sdata=WlAfhGUXXSCByWdNhh4AIArNDyNjvOwqwpX40Lkv5u8%3D&reserved=0</a><br>
> <br>
<br>
-- <br>
Ambros Gleixner, Research Group Mathematical Optimization Methods at <br>
Zuse Institute Berlin, <a href="https://aus01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.zib.de%2Fgleixner&data=02%7C01%7C%7C0adad89e1c4d4243203308d7e78adef9%7Cd1323671cdbe4417b4d4bdb24b51316b%7C0%7C1%7C637232455963308531&sdata=FzLcWSYHfMIiqN9u1OVIsIV%2F86y62t926KX547iiRtc%3D&reserved=0">
https://aus01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.zib.de%2Fgleixner&data=02%7C01%7C%7C0adad89e1c4d4243203308d7e78adef9%7Cd1323671cdbe4417b4d4bdb24b51316b%7C0%7C1%7C637232455963308531&sdata=FzLcWSYHfMIiqN9u1OVIsIV%2F86y62t926KX547iiRtc%3D&reserved=0</a><br>
_______________________________________________<br>
Scip mailing list<br>
Scip@zib.de<br>
<a href="https://aus01.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=02%7C01%7C%7C0adad89e1c4d4243203308d7e78adef9%7Cd1323671cdbe4417b4d4bdb24b51316b%7C0%7C1%7C637232455963308531&sdata=WlAfhGUXXSCByWdNhh4AIArNDyNjvOwqwpX40Lkv5u8%3D&reserved=0">https://aus01.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=02%7C01%7C%7C0adad89e1c4d4243203308d7e78adef9%7Cd1323671cdbe4417b4d4bdb24b51316b%7C0%7C1%7C637232455963308531&sdata=WlAfhGUXXSCByWdNhh4AIArNDyNjvOwqwpX40Lkv5u8%3D&reserved=0</a><br>
<br>
</div>
</span></font></div>
</body>
</html>