From db90fdef0661f0d458820e2689cc6795e470fb36 Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@google.com>
Date: Mon, 1 Jul 2019 15:54:04 +0200
Subject: [PATCH] fix

---
 ortools/sat/synchronization.cc | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/ortools/sat/synchronization.cc b/ortools/sat/synchronization.cc
index 12a63fbabd..a8bd0d7f9d 100644
--- a/ortools/sat/synchronization.cc
+++ b/ortools/sat/synchronization.cc
@@ -345,6 +345,14 @@ void SharedResponseManager::SetStatsFromModelInternal(Model* model) {
 
 bool SharedResponseManager::ProblemIsSolved() const {
   absl::MutexLock mutex_lock(&mutex_);
+
+  // TODO(user): Currently this work because we do not allow enumerate all
+  // solution in multithread.
+  if (!model_proto_.has_objective() &&
+      best_response_.status() == CpSolverStatus::FEASIBLE) {
+    return true;
+  }
+
   return best_response_.status() == CpSolverStatus::OPTIMAL ||
          best_response_.status() == CpSolverStatus::INFEASIBLE;
 }