[SCIP] checkintegrality assertion

[Gerald Gamrath]

Dear Diego,

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).

Thus, in your case, the best option would indeed be to build the integer 
solution and pass that solution to SCIP.

Cheers
Gerald

Am 08.04.19 um 23:31 schrieb dponce at us.es:
>
> Dear SCIP,
>
> 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?
>
> Diego.
>
> El 08/04/2019 16:45, dponce at us.es escribió:
>
>> Dear SCIP,
>>
>> 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.
>>
>> 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.
>>
>> *src/scip/cons_integral.c:209: consCheckIntegral: Assertion 
>> `SCIPisFeasIntegral(scip, solval)' failed.*
>>
>> Our way to take into account some fractional solutions is using
>>
>> SCIP_CALL(SCIPtryCurrentSol(scip,NULL,FALSE,FALSE,FALSE,FALSE,&success));
>>
>> in the BRANCEXECLP callback. We thought that checkintegrality=FALSE 
>> would be enough.
>>
>> Any idea about what is going on?
>>
>> Best.
>>
>> Diego.
>>
>> www.us.es <http://www.us.es/>
>>
>> Por favor considere el medio ambiente antes de imprimir este correo 
>> electrónico.
>> -
>> 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
>>
>>
>> _______________________________________________
>> Scip mailing list
>> Scip at zib.de <mailto:Scip at zib.de>
>> https://listserv.zib.de/mailman/listinfo/scip
>
> www.us.es <http://www.us.es/>
>
> Por favor considere el medio ambiente antes de imprimir este correo 
> electrónico.
> -
> 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
>
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20190409/a1dcb679/attachment.html>