<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Dear Diego,<br>
<br>
the checkintegrality flag is meant to speed up the solution check in
case you are certain that the integrality restrictions are
satisfied, e.g., because a heuristic calls the check for a solution
it constructed which rounded all solution values. However, the
assert is there because you still should not sneak in infeasible
solutions (and if this happens, it is a bug most of the time).<br>
<br>
Thus, in your case, the best option would indeed be to build the
integer solution and pass that solution to SCIP.<br>
<br>
Cheers<br>
Gerald<br>
<br>
<div class="moz-cite-prefix">Am 08.04.19 um 23:31 schrieb
<a class="moz-txt-link-abbreviated" href="mailto:dponce@us.es">dponce@us.es</a>:<br>
</div>
<blockquote type="cite"
cite="mid:bb4794108f6902207f855a85c05be984@us.es">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<p>Dear SCIP,</p>
<p>the different behavior about the two computers is due to the
flag OPT=dbg during the installation. One option, in order to
continue debugging, is to build the integer solution. Any other
idea?</p>
<p>Diego.</p>
<p>El 08/04/2019 16:45, <a class="moz-txt-link-abbreviated" href="mailto:dponce@us.es">dponce@us.es</a> escribió:</p>
<blockquote type="cite" style="padding: 0 0.4em; border-left:
#1010ff 2px solid; margin: 0"><!-- html ignored --><!-- head ignored --><!-- meta ignored -->
<p>Dear SCIP,</p>
<p>Currently we are working on a problem for which a fractional
solution can be transformed into an integer one in some
situations, i.e. theoretically we can assure that the value of
the objective function for some fractional solutions could be
taken into account as a feasible integer solution.</p>
<p>When we are in the branching and that situation is
identified, we would like to save the solution (even it is
fractional) and the bound it gives to us. We have solved the
problem, but today we changed the code to another computer
(the second one with SCIP 6.0.1) and an assertion has
appeared. </p>
<p><strong>src/scip/cons_integral.c:209: consCheckIntegral:
Assertion `SCIPisFeasIntegral(scip, solval)' failed.</strong></p>
<p>Our way to take into account some fractional solutions is
using</p>
<p><span>SCIP_CALL(SCIPtryCurrentSol(scip,NULL,FALSE,FALSE,FALSE,FALSE,&success));</span></p>
<p><span>in the BRANCEXECLP callback. We thought
that checkintegrality=FALSE would be enough.</span></p>
<p><span>Any idea about what is going on?</span></p>
<p><span>Best.</span></p>
<p><span>Diego.</span></p>
<table style="font-family: Roboto; border-top: solid 1px #ddd;
padding-top: 15px;">
<tbody>
<tr>
<td width="360" valign="top"><img
src="https://sic.us.es/sites/default/files/servicios/correo/Archivos/us_logo.jpg"
moz-do-not-send="true"></td>
</tr>
</tbody>
</table>
<table style="font-family: Roboto; width: 360px;
background-color: #f3f3f3; margin-top: 15px; padding: 3px 3px
5px 3px; border-spacing: 5px; text-align: center;">
<tbody>
<tr>
<td width="215" valign="top"><a style="margin: 0 auto;
text-decoration: none; font-size: 16px;"
href="http://www.us.es/" target="_blank" rel="noopener
noreferrer" moz-do-not-send="true"> <span
style="color: #000; text-decoration: underline;">www.us.es</span>
</a></td>
</tr>
</tbody>
</table>
<table style="font-family: Roboto; width: 360px; font-size: 9px;
padding-top: 20px; border-spacing: 5px;">
<tbody>
<tr>
<td width="215" valign="top"><span style="color: #339966;">Por
favor considere el medio ambiente antes de imprimir
este correo electrónico. </span> <br>
-<br>
<span style="color: #999999;">Este correo electrónico y,
en su caso, cualquier fichero anexo al mismo, contiene
información de carácter confidencial exclusivamente
dirigida a su destinatario o destinatarios. Si no es
Vd. el destinatario del mensaje, le ruego lo destruya
sin hacer copia digital o física, comunicando al
emisor por esta misma vía la recepción del presente
mensaje. Gracias</span></td>
</tr>
</tbody>
</table>
<!-- html ignored --><br>
<div class="pre" style="margin: 0; padding: 0; font-family:
monospace">_______________________________________________<br>
Scip mailing list<br>
<a href="mailto:Scip@zib.de" moz-do-not-send="true">Scip@zib.de</a><br>
<a href="https://listserv.zib.de/mailman/listinfo/scip"
target="_blank" rel="noopener noreferrer"
moz-do-not-send="true">https://listserv.zib.de/mailman/listinfo/scip</a></div>
</blockquote>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<style>
@import url('https://fonts.googleapis.com/css?family=Roboto:400,700');
</style>
<table style="font-family:Roboto; border-top: solid 1px #ddd;
padding-top: 15px;">
<tbody>
<tr>
<td width="360" valign="top"> <img
src="https://sic.us.es/sites/default/files/servicios/correo/Archivos/us_logo.jpg"
moz-do-not-send="true"> </td>
</tr>
</tbody>
</table>
<table style="font-family:Roboto; width: 360px; background-color:
#f3f3f3; margin-top: 15px; padding: 3px 3px 5px 3px;
border-spacing: 5px; text-align: center;">
<tbody>
<tr>
<td width="215" valign="top"> <a href="http://www.us.es/"
target="_blank" style="margin: 0 auto; text-decoration:
none; font-size: 16px;" moz-do-not-send="true"> <span
style="color: #000; text-decoration: underline;">www.us.es</span>
</a> </td>
</tr>
</tbody>
</table>
<table style="font-family:Roboto; width: 360px; font-size: 9px;
padding-top: 20px; border-spacing: 5px;">
<tbody>
<tr>
<td width="215" valign="top"> <span style="color: #339966;">Por
favor considere el medio ambiente antes de imprimir este
correo electrónico. </span> <br>
-<br>
<span style="color: #999999;">Este correo electrónico y,
en su caso, cualquier fichero anexo al mismo, contiene
información de carácter confidencial exclusivamente
dirigida a su destinatario o destinatarios. Si no es Vd.
el destinatario del mensaje, le ruego lo destruya sin
hacer copia digital o física, comunicando al emisor por
esta misma vía la recepción del presente mensaje.
Gracias</span> </td>
</tr>
</tbody>
</table>
<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>