[SCIP] lp error when adding locally constraint

[Yunzhuang Shen]

Hi Ambros,

Thanks for your quick response.

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:

CO: /home/joey/Downloads/scip-6.0.1/src/scip/tree.c:2403: SCIPnodeSetEstimate: Assertion `SCIPsetIsRelGE(set, newestimate, node->lowerbound)' failed.
==15345==
==15345== Process terminating with default action of signal 6 (SIGABRT)
==15345==    at 0x69BAE97: raise (raise.c:51)
==15345==    by 0x69BC800: abort (abort.c:79)
==15345==    by 0x69AC399: __assert_fail_base (assert.c:92)
==15345==    by 0x69AC411: __assert_fail (assert.c:101)
==15345==    by 0x587623D: SCIPnodeSetEstimate (tree.c:2403)
==15345==    by 0x5870E9C: SCIPnodeCreateChild (tree.c:1016)
==15345==    by 0x1984F9: COML::Branching::split_space_ml_symetric(Scip*, bool) (branching_policy.cpp:499)
==15345==    by 0x19665B: COML::Branching::scip_execlp(Scip*, SCIP_Branchrule*, unsigned int, SCIP_Result*) (branching_policy.cpp:233)
==15345==    by 0x199E5F: branchExeclpDynamicBranching (branching_policy.cpp:804)
==15345==    by 0x54FE318: SCIPbranchruleExecLPSol (branch.c:1589)
==15345==    by 0x5500D06: SCIPbranchExecLP (branch.c:2538)
==15345==    by 0x578FD2C: SCIPbranchLP (scip_branch.c:1183)

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.

Thank you,
yunzhuang
________________________________
From: Scip <scip-bounces at zib.de> on behalf of Ambros Gleixner <gleixner at zib.de>
Sent: Thursday, April 23, 2020 11:30 PM
To: scip at zib.de <scip at zib.de>
Subject: Re: [SCIP] lp error when adding locally constraint

Dear Yunzhuang,

We would need more details in order to help you with this issue.
Ideally, you

- compile both SoPlex and SCIP in debug mode and provide us with a
backtrace, and

- run your code through valgrind to check whether there is any memory
corruption.

I assume you are developing under linux.  It is much easier for us to
support debugging on linux than on other operating systems.

Best,
Ambros




Am 23.04.20 um 10:51 schrieb Yunzhuang Shen:
> Hi there,
>
> I am using scip-6.0.1 for my research work. After creating local
> constraints by setting paramter <local> to true and adding them to
> nodes, the SCIP terminates after processing a number of nodes. The error
> is "corrupted size vs. prev_size" and is in inside the soplex solver. My
> workaround is setting the parameter initial to false so that the
> constraint is not added to lp. It works but I don't know whether that
> local constraint is still effective (prune all nodes that is invalid
> under this local constraint by propagation or other checks). I need to
> make sure the local contraint is fully effective over the tree whose
> root is added that local constraint.
>
> Thanks,
> yunzhuang
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> 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
>

--
Ambros Gleixner, Research Group Mathematical Optimization Methods at
Zuse Institute Berlin, 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
_______________________________________________
Scip mailing list
Scip at zib.de
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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20200423/8bf7c75f/attachment.html>