use squeue by default, rcr should use 23 cores, 24th core will be a traverser

diff --git a/Robust/src/Benchmarks/oooJava/master-makefile b/Robust/src/Benchmarks/oooJava/master-makefile
index e2270e8edfbdb9a7b59985ae81db1cc0038c58cf..0b11a873219740742f1cb053634d5ab71b9af388 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/master-makefile
+++ b/Robust/src/Benchmarks/oooJava/master-makefile
@@ -31,8 +31,8 @@ USECOREPROF= #-coreprof $(COREPROFOVERFLOW) \
 #      -coreprof-enable cpe_taskstallmem
 
 
-USEOOO= -ooojava 24 2  -ooodebug #-squeue -ooodebug-disable-task-mem-pool
-USERCR= -ooojava 24 2 -rcr -ooodebug
+USEOOO= -ooojava 24 2  -ooodebug -squeue #-ooodebug-disable-task-mem-pool
+USERCR= -ooojava 23 2 -rcr -ooodebug -squeue
 BSFLAGS= -64bit -mainclass $(PROGRAM)  -heapsize-mb 8000 -garbagestats -joptimize -noloop -optimize -debug #-nooptimize #src-after-pp #-debug
 
 DRELEASEMODE=-disjoint-release-mode -disjoint-dvisit-stack-callees-on-top -disjoint-alias-file aliases.txt tabbed