[SCIP] calling <SCIPcutoffNode> in presolving stage

[Stefan Vigerske]

Hi,

looks like a bug to me.
The attached patch should help. It removes the call of SCIPcutoffNode in 
cons_logicor, but should still signal infeasibility to the SCIP core.

Stefan

On 11/06/2023 11:47, James Cussens wrote:
> Hi all,
> 
> I'm getting the following problem when running in debug mode:
> 
> [debug.c:2345] ERROR: cannot call method <SCIPcutoffNode> in presolving stage
> [scip_tree.c:430] ERROR: Error <-8> in function call
> [presolve.c:1312] ERROR: Error <-8> in function call
> [cons_logicor.c:3287] ERROR: Error <-8> in function call
> [cons_logicor.c:4689] ERROR: Error <-8> in function call
> [cons.c:4063] ERROR: Error <-8> in function call
> [scip_solve.c:997] ERROR: Error <-8> in function call
> [scip_solve.c:1207] ERROR: Error <-8> in function call
> [scip_solve.c:1207] ERROR: Error <-8> in function call
> [scip_solve.c:1373] ERROR: Error <-8> in function call
> [scip_solve.c:2484] ERROR: Error <-8> in function call
> [scip_solve.c:2722] ERROR: Error <-8> in function call
> [data_bnsl.c:1486] ERROR: Error <-8> in function call
> [data_bnsl.c:2579] ERROR: Error <-8> in function call
> [data_bnsl.c:3952] ERROR: Error <-8> in function call
> [data_bnsl.c:4246] ERROR: Error <-8> in function call
> 
> The problem seems to be that when global infeasibility is deduced in presolving, specifically via the function SCIPshrinkDisjunctiveVarSet
> there is a call:
> 
>     SCIP_CALL( SCIPcutoffNode(scip, SCIPgetRootNode(scip)) );
> 
> but it seems that using SCIPcutoffNode in presolving is not allowed. Is this perhaps a bug? If so, is there a fix?
> 
> Best wishes,
> 
> James
> 
> James Cussens
> Room MVB 3.26
> Dept of Computer Science, University of Bristol
> Phone: +44 (0)117 455 8723
> https://jcussens.github.io/
> Funded PhDs available in Bristol in the following areas: Data Science<http://www.bristol.ac.uk/cdt/compass/>, Interactive AI<http://www.bristol.ac.uk/cdt/interactive-ai/>, Cyber Security<http://www.bristol.ac.uk/cdt/cyber-security/> or Digital Health<http://www.bristol.ac.uk/cdt/digital-health/>.
> 
> 
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip
-------------- next part --------------
A non-text attachment was scrubbed...
Name: shrink.patch
Type: text/x-patch
Size: 2278 bytes
Desc: not available
URL: <http://listserv.zib.de/pipermail/scip/attachments/20230611/6d019d93/attachment.bin>