formatting and comments

Author: galabovaa

highs/mip/HighsDomain.cpp

@@ -2060,8 +2060,8 @@ void HighsDomain::changeBound(HighsDomainChange boundchg, Reason reason) {
     // tried to only modify cliquetable before the dive
     // but when I try the condition below breaks lseu and I don't know why yet
     // if (mipsolver->mipdata_->workers.size() <= 1)
-      mipsolver->mipdata_->cliquetable.addImplications(
-          *this, boundchg.column, col_lower_[boundchg.column] > 0.5);
+    mipsolver->mipdata_->cliquetable.addImplications(
+        *this, boundchg.column, col_lower_[boundchg.column] > 0.5);
 }
 
 void HighsDomain::setDomainChangeStack(

highs/mip/HighsMipSolver.cpp

@@ -324,6 +324,7 @@ void HighsMipSolver::run() {
     size_t plungestart = mipdata_->num_nodes;
     bool limit_reached = false;
 
+    // atm heuristics in the dive break lseu debug64
     // bool considerHeuristics = true;
     bool considerHeuristics = false;
 

highs/mip/HighsMipWorker.cpp

@@ -40,25 +40,28 @@ HighsMipWorker::HighsMipWorker(const HighsMipSolver& mipsolver__,
   search_ptr_->getLocalDomain().addConflictPool(conflictpool_);
 
   // printf(
-  //     "lprelax_ parameter address in constructor of mipworker %p, %d columns, "
-  //     "and "
+  //     "lprelax_ parameter address in constructor of mipworker %p, %d columns,
+  //     " "and "
   //     "%d rows\n",
   //     (void*)&lprelax_, int(lprelax_.getLpSolver().getNumCol()),
   //     int(lprelax_.getLpSolver().getNumRow()));
 
   // printf(
-  //     "lprelaxation_ address in constructor of mipworker %p, %d columns, and "
+  //     "lprelaxation_ address in constructor of mipworker %p, %d columns, and
+  //     "
   //     "%d rows\n",
   //     (void*)&lprelaxation_, int(lprelaxation_.getLpSolver().getNumCol()),
   //     int(lprelaxation_.getLpSolver().getNumRow()));
 
   // HighsSearch has its own relaxation initialized no nullptr.
+
   search_ptr_->setLpRelaxation(&lprelaxation_);
 
   // printf(
   //     "Search has lp member in constructor of mipworker with address %p, %d "
   //     "columns, and %d rows\n",
-  //     (void*)&search_ptr_->lp, int(search_ptr_->lp->getLpSolver().getNumCol()),
+  //     (void*)&search_ptr_->lp,
+  //     int(search_ptr_->lp->getLpSolver().getNumCol()),
   //     int(search_ptr_->lp->getLpSolver().getNumRow()));
 }