exit in cbc if presolve finds infeasible

tobiass-sdl · Mar 24, 2022 · d8a6287 · d8a6287
1 parent 91058b5
commit d8a6287
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/ClpModel.hpp b/src/ClpModel.hpp
@@ -451,6 +451,7 @@ class CLPLIB_EXPORT ClpModel {
          8 - failed due to bad element check
          9 - status was 3 and stopped on time
 	 10 - status was 3 but stopped as primal feasible
+	 11 - status was 1/2 from presolve found infeasible or unbounded
          100 up - translation of enum from ClpEventHandler
      */
   inline int secondaryStatus() const

diff --git a/src/ClpSolve.cpp b/src/ClpSolve.cpp
@@ -991,6 +991,7 @@ int ClpSimplex::initialSolve(ClpSolve &options)
       model2 = this;
       eventHandler()->event(ClpEventHandler::presolveInfeasible);
       problemStatus_ = pinfo->presolveStatus();
+      secondaryStatus_ = 11;
       if (options.infeasibleReturn() || (moreSpecialOptions_ & 1) != 0) {
         delete pinfo;
         return -1;