default free search model in flatzinc CP-SAT

2019-09-03 15:43:26 +02:00
parent a7a1b70dde
commit 68eaab91e9
1 changed files with 4 additions and 0 deletions
--- a/ortools/flatzinc/cp_model_fz_solver.cc
+++ b/ortools/flatzinc/cp_model_fz_solver.cc
@@ -998,6 +998,10 @@ void SolveFzWithCpModelProto(const fz::Model& fz_model,
  }
  if (p.use_free_search) {
    m.parameters.set_search_branching(SatParameters::AUTOMATIC_SEARCH);
+    if (p.number_of_threads == 1) {
+      m.parameters.set_interleave_search(true);
+      m.parameters.set_reduce_memory_usage_in_interleave_mode(true);
+    }
  } else {
    m.parameters.set_search_branching(SatParameters::FIXED_SEARCH);
  }