aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/run.sh
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/run.sh')
-rwxr-xr-xTests/MODELS2020-CaseStudies/case.study.pledge.run/run.sh5
1 files changed, 5 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/run.sh b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/run.sh
new file mode 100755
index 00000000..0b0c560e
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/run.sh
@@ -0,0 +1,5 @@
1#!/usr/bin/env bash
2NODE="$1"
3shift
4CPUS="$((NODE*3))-$((NODE*3+2))"
5taskset -c "${CPUS}" env LD_LIBRARY_PATH=/home/models/VIATRA-Generator/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/lib:/home/models/VIATRA-Generator/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib java -Xmx2g -Xms2g -XX:+UseG1GC -XX:ParallelGCThreads=3 -XX:ConcGCThreads=1 -XX:G1ConcRefinementThreads=3 -jar RunGeneratorConfig.jar "$@"