<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">+44 (0)1904 325371</a><br>University of York                                        Fax  <a href="tel:+44%201904%20500159" value="+441904500159" target="_blank">+44 (0)1904 500159</a><br>York YO10 5GE, UK                               <a href="http://www.cs.york.ac.uk/~jc" target="_blank">http://www.cs.york.ac.uk/~jc</a><br><a href="http://www.york.ac.uk/docs/disclaimer/email.htm" target="_blank">http://www.york.ac.uk/docs/<wbr>disclaimer/email.htm</a></div>
</div></div>