scipopt / soplex

Sequential object-oriented simPlex
Other
59 stars 18 forks source link

MILP with indicator condtrains in SCIP throws fixed variables in basis error in SoPlex #44

Open VonAlphaBisZulu opened 1 month ago

VonAlphaBisZulu commented 1 month ago

Hi,

This is issue is related to issue #23 in SCIP, in which solving a MILP throws:

ELEAVE56 ERROR! Tried to put a fixed column variable into the basis. idx=72, lower=0, upper=0
ELEAVE56 ERROR! Tried to put a fixed column variable into the basis. idx=72, lower=0, upper=0
ELEAVE56 ERROR! Tried to put a fixed column variable into the basis. idx=79, lower=0, upper=0

I put this here, since the error is thrown by SoPlex as SPxInternalCodeException("XLEAVE07 This should never happen.").

System: Ubuntu 22.04 - WSL2 SCIP 9.1.0 Soplex 7.1.0

Steps to reproduce: start scip read /path/to/scip_issue_23.mps or read /path/to/scip_issue_23.lp optimize

Problem files: scip_issue_23.zip