<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Dear Lan,<br>
<br>
can you share your code and the instance? It would be good if I
could reproduce this here to dig into the issue. If possible, please
send your code to me directly.<br>
<br>
Best,<br>
Gerald<br>
<br>
<div class="moz-cite-prefix">Am 09.12.19 um 23:54 schrieb Ngô Lan:<br>
</div>
<blockquote type="cite"
cite="mid:bd1dba9b71d74fedb1986c2d7f816457@aalto.fi">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
<div id="divtagdefaultwrapper"
style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;"
dir="ltr">
<p>Hi all,</p>
<p><br>
</p>
<p>I am implementing branch and price in which I set the binary
decision variables of master problem to have lazy bound of 1
as suggested on SCIP's FAQ. After running for a while, I get
this assertion error:</p>
<p><br>
</p>
<p><span>scipoptsuite-6.0.2/scip/src/scip/lp.c:12184:
updateLazyBounds: Assertion `lp->divinglazyapplied ||
SCIPsetIsLT(set, col->ub, col->lazyub) ||
(col->flushedub == SCIPlpiInfinity(lp->lpi))' failed.</span><br>
</p>
<p><span><br>
</span></p>
<p><span>and here is the backtrace</span></p>
<p><span><br>
</span></p>
<p><span></span></p>
<div>#0 0x00007ffff9d25428 in __GI_raise (sig=sig@entry=6) at
../sysdeps/unix/sysv/linux/raise.c:54</div>
<div>#1 0x00007ffff9d2702a in __GI_abort () at abort.c:89</div>
<div>#2 0x00007ffff9d1dbd7 in __assert_fail_base
(fmt=<optimized out>,</div>
<div> assertion=assertion@entry=0x7ffffd93c4a0
"lp->divinglazyapplied || SCIPsetIsLT(set, col->ub,
col->lazyub) || (col->flushedub ==
SCIPlpiInfinity(lp->lpi))",</div>
<div> file=file@entry=0x7ffffd937000
"/mnt/c/Users/hp/Documents/GitHub/scipoptsuite-6.0.2/scip/src/scip/lp.c",</div>
<div> line=line@entry=12184,
function=function@entry=0x7ffffd93fcc0
<__PRETTY_FUNCTION__.22071> "updateLazyBounds")</div>
<div> at assert.c:92</div>
<div>#3 0x00007ffff9d1dc82 in __GI___assert_fail (</div>
<div> assertion=0x7ffffd93c4a0 "lp->divinglazyapplied ||
SCIPsetIsLT(set, col->ub, col->lazyub) ||
(col->flushedub == SCIPlpiInfinity(lp->lpi))",
file=0x7ffffd937000
"/mnt/c/Users/hp/Documents/GitHub/scipoptsuite-6.0.2/scip/src/scip/lp.c",</div>
<div> line=12184, function=0x7ffffd93fcc0
<__PRETTY_FUNCTION__.22071> "updateLazyBounds") at
assert.c:101</div>
<div>#4 0x00007ffffbe3caab in updateLazyBounds
(lp=0x61600000c980, set=0x61d00001d680)</div>
<div> at
/mnt/c/Users/hp/Documents/GitHub/scipoptsuite-6.0.2/scip/src/scip/lp.c:12183</div>
<div>#5 0x00007ffffbe3d087 in SCIPlpSolveAndEval
(lp=0x61600000c980, set=0x61d00001d680,
messagehdlr=0x608000005620,</div>
<div> blkmem=0x625000007900, stat=0x61b00001ea80,
eventqueue=0x60300001fe40, eventfilter=0x61900001bc80,</div>
<div> prob=0x611000018280, itlim=-1, limitresolveiters=0,
aging=0, keepsol=0, lperror=0x7ffffffed518)</div>
<div> at
/mnt/c/Users/hp/Documents/GitHub/scipoptsuite-6.0.2/scip/src/scip/lp.c:12277</div>
<div>#6 0x00007ffffc007153 in SCIPsolveDiveLP
(scip=0x611000002ac0, itlim=-1, lperror=0x7ffffffed518,
cutoff=0x0)</div>
<div> at
/mnt/c/Users/hp/Documents/GitHub/scipoptsuite-6.0.2/scip/src/scip/scip_lp.c:2519</div>
<div>#7 0x00007ffffbb11c90 in heurExecIntshifting
(scip=0x611000002ac0, heur=0x60f0000071b0, heurtiming=40,</div>
<div> nodeinfeasible=0, result=0x7ffffffed6f8)</div>
<div> at
/mnt/c/Users/hp/Documents/GitHub/scipoptsuite-6.0.2/scip/src/scip/heur_intshifting.c:1100</div>
<div>#8 0x00007ffffbdeb301 in SCIPheurExec
(heur=0x60f0000071b0, set=0x61d00001d680,
primal=0x60c00001a500, depth=11,</div>
<div> lpstateforkdepth=10, heurtiming=40, nodeinfeasible=0,
ndelayedheurs=0x7ffffffed6fc, result=0x7ffffffed6f8)</div>
<div> at
/mnt/c/Users/hp/Documents/GitHub/scipoptsuite-6.0.2/scip/src/scip/heur.c:1116</div>
<div>#9 0x00007ffffc0b35d4 in SCIPprimalHeuristics
(set=0x61d00001d680, stat=0x61b00001ea80, prob=0x611000018280,</div>
<div> primal=0x60c00001a500, tree=0x61300000d240,
lp=0x61600000c980, nextnode=0x631000723498, heurtiming=40,</div>
<div> nodeinfeasible=0, foundsol=0x7ffffffed86c,
unbounded=0x7ffffffed864)</div>
<br>
<p>I have read several questions in the mailing list regarding
the same errors but I can't really find any solutions for it.
Why does the error occur and what should I do? Gerald asked
for <span>col->flushedub value in one of the thread so mine
is either 100000000000000000000 or 0 and it was 0 when the
error occurred.</span></p>
<p><span><br>
</span></p>
<p><span>Thank you for your help.</span></p>
<p><span><br>
</span></p>
<p><span>Best,</span></p>
<p><span>Lan</span></p>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-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>
</blockquote>
<br>
</body>
</html>