<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hi James,<br>
<br>
can you tell me the name of the constraint handler, i.e., just print
SCIPconshdlrGetName(conshdlr), and the constraints itself, i.e.,
SCIPprintCons(scip, cons, NULL, FALSE)?<br>
<br>
The problem is, that SCIP needs to collect and store the data, e.g.,
local constraints, from the current node in its internal data
structure to reactivate the node in the next reoptimization run.
Unfortunately, the constraints cannot be stored as SCIP_CONS* of
some constraint handler. Here, SCIP distinguishes between linear
constraints (e.g., linear, logicor, and setppc) and bounddisjuction
constraints. I see the issue with customized constraint handlers,
but need to think about this how this can be handled.<br>
<br>
Thanks for the bug report!<br>
<br>
Cheers,<br>
Jakob<br>
<br>
<div class="moz-cite-prefix">Am 21.06.2017 um 16:06 schrieb James
Cussens:<br>
</div>
<blockquote type="cite"
cite="mid:CALQgqO0atveXFa7TrQAqi7mmskYdtjnKs1_vUWpiKNw_EF7-+w@mail.gmail.com">
<div dir="ltr">I am using reoptimization in SCIP using the
following parameter settings:
<div><br>
</div>
<div>
<div>reoptimization/enable = TRUE</div>
<div>reoptimization/sepabestsol = TRUE</div>
<div><br>
</div>
<div>In my code I essentially have the following (after
defining the problem):</div>
<div><br>
</div>
<div>
<div> for( i = 0; i < n; i++ )</div>
<div> {</div>
</div>
<div> SCIP_CALL( SCIPsolve(scip) );</div>
<div> SCIP_CALL( SCIPfreeReoptSolve(scip) );<br>
</div>
<div>}</div>
<div><br>
</div>
<div>When I execute I often get the first few 'best' solutions
found but eventually I always get a crash with the following
error message (when running in DEBUG mode):<br>
</div>
<div><br>
</div>
<div>
<div>src/scip/reopt.c:2384: saveLocalConssData: Assertion
`strcmp(SCIPconshdlrGetName(conshdlr), "bounddisjunction")
== 0' failed.</div>
</div>
<div><br>
</div>
<div><br>
</div>
<div>I assume this is due to some deficiency in a constraint
handler I have written. A missing (or perhaps faulty) method
perhaps.</div>
<div><br>
</div>
<div>An example of this behaviour is attached.</div>
<div><br>
</div>
<div>Any clues as to what might be the problem would be
appreciated. Running without reoptimization is fine.</div>
<div><br>
</div>
-- <br>
<div class="gmail-m_3333410939911482868gmail_signature">James
Cussens<br>
Dept of Computer Science &<br>
York Centre for Complex Systems Analysis<br>
Room 326, The Hub, Deramore Lane Tel <a
href="tel:+44%201904%20325371" value="+441904325371"
target="_blank" moz-do-not-send="true">+44 (0)1904 325371</a><br>
University of York
Fax <a href="tel:+44%201904%20500159"
value="+441904500159" target="_blank"
moz-do-not-send="true">+44 (0)1904 500159</a><br>
York YO10 5GE, UK <a
href="http://www.cs.york.ac.uk/%7Ejc" target="_blank"
moz-do-not-send="true">http://www.cs.york.ac.uk/~jc</a><br>
<a href="http://www.york.ac.uk/docs/disclaimer/email.htm"
target="_blank" moz-do-not-send="true">http://www.york.ac.uk/docs/<wbr>disclaimer/email.htm</a></div>
<br>
</div>
</div>
<br>
<br>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Scip mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<a class="moz-txt-link-freetext" href="https://listserv.zib.de/mailman/listinfo/scip">https://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
<br>
<br>
</blockquote>
<br>
<br>
<pre class="moz-signature" cols="72">--
Jakob Witzig
Zuse Institute Berlin (ZIB)
Division Mathematical Optimization and Scientific Information
Research Group Mathematical Optimization Methods
Takustrasse 7
14195 Berlin
Tel. : +49 (0)30 84185-416
Fax : +49 (0)30 84185-269
email: <a class="moz-txt-link-abbreviated" href="mailto:witzig@zib.de">witzig@zib.de</a></pre>
</body>
</html>