Change the number of threads to 16.

Change the number of threads to 16 in the PBS DBM solver script.
shlomif · May 27, 2012 · 64346f1 · 64346f1
1 parent f0cf84c
commit 64346f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/fc-solve/source/scripts/prepare_pbs_dbm_solver_self_contained_package.pl b/fc-solve/source/scripts/prepare_pbs_dbm_solver_self_contained_package.pl
@@ -122,7 +122,7 @@
 DEALS_DUMPS = \$(patsubst %,%.dump,\$(DEALS))
 DEALS_BOARDS = \$(patsubst %,%.board,\$(DEALS))
 
-THREADS = 12
+THREADS = 16
 
 CFLAGS = -O3 -march=native -fomit-frame-pointer $more_cflags -DFCS_DBM_WITHOUT_CACHES=1 -DFCS_DBM_USE_LIBAVL=1 -DFCS_LIBAVL_STORE_WHOLE_KEYS=1 -DFCS_DBM_RECORD_POINTER_REPR=1 -I. -I./libavl
 MODULES = @modules