[SCIP] calling <SCIPcutoffNode> in presolving stage

[James Cussens]

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/>.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20230611/9c2bb6c7/attachment.html>