Changeset 2145 for stable/2.9/Cbc/src/CbcModel.cpp

Timestamp:

Feb 27, 2015 10:36:43 AM (5 years ago)

Author:

forrest

Message:

check integer from all slack (normally)

File:

• stable/2.9/Cbc/src/CbcModel.cpp (modified) (3 diffs)

stable/2.9/Cbc/src/CbcModel.cpp

@@ -12363 +12363 @@
         // We can switch off check
         if ((specialOptions_&4) == 0 && (moreSpecialOptions2_&10) != 8) {
-            if ((specialOptions_&2) == 0 && solverCharacteristics_->warmStart()) {
+            // Be on safe side - unless very few integers and large
+            bool allSlack = (specialOptions_&2) == 0 && solverCharacteristics_->warmStart();
+            if (numberIntegers_*4>solver_->getNumCols()||solver_->getNumCols()<10000)
+              allSlack = true;
+            if (allSlack) {
                 /*
                   Remove any existing warm start information to be sure there is no
@@ -12415 +12419 @@
                 //OsiHintStrength saveStrength;
                 //bool savePrintHint;
-                //solver_->writeMps("infeas");
+                solver_->writeMpsNative("infeas.mps", NULL, NULL, 2);
                 //bool gotHint = (solver_->getHintParam(OsiDoReducePrint,savePrintHint,saveStrength));
                 //gotHint = (solver_->getHintParam(OsiDoScale,saveTakeHint,saveStrength));
@@ -12644 +12648 @@
 #if CBC_FEASIBILITY_INVESTIGATE==0
                 }
+#else
+                solver_->writeMpsNative("BFeasible.mps",NULL,NULL,2);
 #endif
                 //if (fabs(objValue-objectiveValue)>1.0e-7*fabs(objectiveValue)) {