parallel,cores: set default to 2

Always try to use 2 cores. Signed-off-by: Norbert Manthey <[email protected]>
conp-solutions · Mar 23, 2023 · 532dbe1 · 532dbe1
1 parent 6410ca3
commit 532dbe1
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -32,7 +32,10 @@ jobs:
     - uses: actions/checkout@v1
 
     - name: mergesat build
-      run: make BUILD_TYPE=simp d r p sh lr ld lp lsh
+      run: make d r p sh lr ld lp lsh
+
+    - name: Check working help output
+      run: ./build/release/bin/mergesat --help
 
     - name: run CI script
       env:

diff --git a/minisat/parallel/ParSolver.cc b/minisat/parallel/ParSolver.cc
@@ -32,7 +32,7 @@ using namespace MERGESAT_NSPACE;
 static const char *_cat = "PAR";
 
 static IntOption
-opt_cores(_cat, "cores", "Number of solvers to use, 0 means each CPU, < 0 use CPU/-X", 1, IntRange(INT32_MIN, INT32_MAX));
+opt_cores(_cat, "cores", "Number of solvers to use, 0 means each CPU, < 0 use CPU/-X", 2, IntRange(INT32_MIN, INT32_MAX));
 static IntOption
 opt_min_cores(_cat, "min-auto-cores", "Only use parallelism if more than the given number of cores are available", 4, IntRange(1, INT32_MAX));
 static BoolOption opt_use_diversify(_cat, "diversify", "Diversify parallel configurations", true);