<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<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);" class="elementToProof">
Hi Marc,</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
Thanks for the explanation. I did as you suggested and now I get:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
gobnilp: src/scip/lp.c:710: checkRowSqrnorm: Assertion `ABS(sqrnorm - row->sqrnorm) < 1e-06 * MAX(1.0,sqrnorm)' failed.<br class="ContentPasted0">
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
so something has gone wrong with the computation of row norms. I'll track down why this is happening (when I get the time!).</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof ContentPasted0">
James<br>
</div>
<div class="elementToProof">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="Signature">
<div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
James Cussens</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Room MVB 3.26<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Dept of Computer Science, University of Bristol</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Phone: +44 (0)117 455 8723<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<a href="https://jcussens.github.io/">https://jcussens.github.io/</a></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-size:11.5pt">Funded PhDs available in Bristol in the following areas: <a href="http://www.bristol.ac.uk/cdt/compass/" target="_blank" rel="noopener noreferrer"><span>Data Science</span></a>, <a href="http://www.bristol.ac.uk/cdt/interactive-ai/" target="_blank" rel="noopener noreferrer"><span>Interactive
AI</span></a>, <a href="http://www.bristol.ac.uk/cdt/cyber-security/" target="_blank" rel="noopener noreferrer"><span>Cyber Security</span></a> or <a href="http://www.bristol.ac.uk/cdt/digital-health/" target="_blank" rel="noopener noreferrer"><span>Digital
Health</span></a>. </span><br>
</div>
</div>
</div>
</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 Marc Pfetsch <pfetsch@mathematik.tu-darmstadt.de><br>
<b>Sent:</b> 23 June 2023 17:16<br>
<b>To:</b> scip@zib.de <scip@zib.de><br>
<b>Subject:</b> Re: [SCIP] SCIProwGetObjParallelism assert query</font>
<div> </div>
</div>
<div class="BodyFragment"><font size="2"><span style="font-size:11pt;">
<div class="PlainText"><br>
<br>
Hi James,<br>
<br>
in exact arithmetic parallelism should be at most 1. If this is not the <br>
case, this might signify an error. This is why there is an assert. Or <br>
the problem might occur because of numerical problems (you numbers look <br>
quite big). In any case, the issue will be ignored in optimized mode.<br>
<br>
If you want to enable some additional checks, you can add "#define <br>
SCIP_MORE_DEBUG" at the top of lp.c, recompile and run. SCIP will then <br>
check whether the values use in the function below are reasonably close <br>
to the ones that it would get by recomputing the values. Note that this <br>
will slow down execution.<br>
<br>
Best<br>
<br>
Marc<br>
<br>
<br>
<br>
On 23/06/2023 16:55, James Cussens wrote:<br>
> Hi all,<br>
> <br>
> I'm getting the following assert error when running in OPT=dbg mode <br>
> (everything else default compilation options):<br>
> <br>
> gobnilp: src/scip/lp.c:7820: SCIProwGetObjParallelism: Assertion <br>
> `SCIPsetIsSumLE(set, parallelism, 1.0)' failed.<br>
> <br>
> The relevant code from lp.c is:<br>
> <br>
> parallelism = SCIPsetIsPositive(set, prod) ? REALABS(row->objprod) / <br>
> SQRT(prod) : 0.0;<br>
> assert(SCIPsetIsSumGE(set, parallelism, 0.0));<br>
> assert(SCIPsetIsSumLE(set, parallelism, 1.0));<br>
> parallelism = MIN(parallelism, 1.0);<br>
> parallelism = MAX(parallelism, 0.0);<br>
> <br>
> If it is reasonable to assert that parallelism is <= 1.0, then why do we <br>
> need the "parallelism = MIN(parallelism, 1.0);" line?<br>
> <br>
> Here are the values that are causing the assert error:<br>
> [lp.c:7819] debug: <br>
> |row->objprod|=5.66927e+07,prod=7.62443e+14,parallelism=2.05316<br>
> <br>
> James<br>
> <br>
> James Cussens<br>
> Room MVB 3.26<br>
> Dept of Computer Science, University of Bristol<br>
> Phone: +44 (0)117 455 8723<br>
> <a href="https://jcussens.github.io/">https://jcussens.github.io/</a> <<a href="https://jcussens.github.io/">https://jcussens.github.io/</a>><br>
> Funded PhDs available in Bristol in the following areas: Data Science <br>
> <<a href="http://www.bristol.ac.uk/cdt/compass/">http://www.bristol.ac.uk/cdt/compass/</a>>, Interactive AI
<br>
> <<a href="http://www.bristol.ac.uk/cdt/interactive-ai/">http://www.bristol.ac.uk/cdt/interactive-ai/</a>>, Cyber Security
<br>
> <<a href="http://www.bristol.ac.uk/cdt/cyber-security/">http://www.bristol.ac.uk/cdt/cyber-security/</a>> or Digital Health
<br>
> <<a href="http://www.bristol.ac.uk/cdt/digital-health/">http://www.bristol.ac.uk/cdt/digital-health/</a>>.<br>
> <br>
> _______________________________________________<br>
> Scip mailing list<br>
> Scip@zib.de<br>
> <a href="https://listserv.zib.de/mailman/listinfo/scip">https://listserv.zib.de/mailman/listinfo/scip</a><br>
_______________________________________________<br>
Scip mailing list<br>
Scip@zib.de<br>
<a href="https://listserv.zib.de/mailman/listinfo/scip">https://listserv.zib.de/mailman/listinfo/scip</a><br>
</div>
</span></font></div>
</body>
</html>