<!DOCTYPE html>
<html data-lt-installed="true">
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body style="padding-bottom: 1px;">
<p>Dear SCIP community,</p>
<p>I am working on a Benders Decomposition where I also implement a
propagator that tries to fix some variables by solving probing
LPs. For many instances this works without problem but sometimes,
the assertion `assert(lp->validsollp == stat->lpcount);` of
the function SCIPlpRemoveRedundantRows in line 15956 of `lp.c` is
triggered. This happens after my propagator was called, when SCIP
resumes solving the current node LP, but not every time. It does
not seem to indicate any big problems, as I seem to get correct
solutions when I ignore the assertion. If I do not use my
propagator, the error does not seem to occur.<br>
</p>
<p>In any case, I wonder if someone has an idea what is going wrong
and if it may have negative consequences.</p>
<p>All the best,<br>
Alex<br>
</p>
<pre class="moz-signature" cols="72">--
Alexander Helber
Research and Teaching Assistant
Chair of Operations Research
RWTH Aachen University
Kackertstrasse 7
52072 Aachen
Germany
Web: or.rwth-aachen.de
Mail: <a class="moz-txt-link-abbreviated" href="mailto:helber@or.rwth-aachen.de">helber@or.rwth-aachen.de</a></pre>
</body>
<lt-container></lt-container>
</html>