Commits

Shlomi Fish committed 64346f1

Change the number of threads to 16.

Change the number of threads to 16 in the PBS DBM solver script.

Comments (0)

Files changed (1)

fc-solve/source/scripts/prepare_pbs_dbm_solver_self_contained_package.pl

 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