Fix minor bugs. Comment out confusing code"

Author: Opt-Mucca

highs/mip/HighsDomain.cpp

@@ -2065,10 +2065,11 @@ void HighsDomain::changeBound(HighsDomainChange boundchg, Reason reason) {
     // but when I try the condition below breaks lseu and I don't know why yet
     // MT: This code should be alright. It only uses the clique table.
     // (It doesn't modify anything but the domain?)
-    // if (mipsolver->mipdata_->workers.size() <= 1)
-    // TODO: Parallel lock should not be needed here..... Tests fail though.
-    mipsolver->mipdata_->cliquetable.addImplications(
-        *this, boundchg.column, col_lower_[boundchg.column] > 0.5);
+    if (mipsolver->mipdata_->workers.size() <= 1) {
+      // TODO: Parallel lock should not be needed here..... Tests fail though.
+      mipsolver->mipdata_->cliquetable.addImplications(
+          *this, boundchg.column, col_lower_[boundchg.column] > 0.5);
+    }
 }
 
 void HighsDomain::setDomainChangeStack(

highs/mip/HighsMipSolver.cpp

@@ -591,10 +591,6 @@ void HighsMipSolver::run() {
               mipdata_->workers[search_indices[i]].search_ptr_->evaluateNode();
         });
       } else {
-        mipdata_->debugSolution.resetDomain(
-            mipdata_->workers[search_indices[i]].search_ptr_->getLocalDomain());
-        mipdata_->debugSolution.registerDomain(
-            mipdata_->workers[search_indices[i]].search_ptr_->getLocalDomain());
         search_results[i] =
             mipdata_->workers[search_indices[i]].search_ptr_->evaluateNode();
       }
@@ -937,6 +933,10 @@ void HighsMipSolver::run() {
               mipdata_->workers[i].search_ptr_->currentNodePruned()) {
             dive_times[i] = -1;
           } else {
+            mipdata_->debugSolution.resetDomain(
+                mipdata_->workers[i].search_ptr_->getLocalDomain());
+            mipdata_->debugSolution.registerDomain(
+                mipdata_->workers[i].search_ptr_->getLocalDomain());
             dive_results[i] = mipdata_->workers[i].search_ptr_->dive();
             dive_times[i] += analysis_.mipTimerRead(kMipClockNodeSearch);
           }
@@ -947,7 +947,7 @@ void HighsMipSolver::run() {
           dive_times[i] = -1;
         } else {
           mipdata_->debugSolution.resetDomain(
-                mipdata_->workers[i].search_ptr_->getLocalDomain());
+              mipdata_->workers[i].search_ptr_->getLocalDomain());
           mipdata_->debugSolution.resetDomain(
               mipdata_->workers[i].search_ptr_->getLocalDomain());
           dive_results[i] = mipdata_->workers[i].search_ptr_->dive();
@@ -1244,7 +1244,13 @@ void HighsMipSolver::run() {
       if (limit_or_infeas.first) limit_reached = true;
       if (limit_or_infeas.first || limit_or_infeas.second) break;
       // TODO MT: If everything was pruned then do a global sync!
-      if (search_indices.empty()) continue;
+      if (search_indices.empty()) {
+        if (mipdata_->hasMultipleWorkers()) {
+          resetWorkerDomains();
+          resetGlobalDomain();
+        }
+        continue;
+      }
 
       bool infeasible = separateAndStoreBasis(search_indices);
       if (infeasible) break;