diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/run.sh')
-rwxr-xr-x | Tests/MODELS2020-CaseStudies/case.study.pledge.run/run.sh | 5 |
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 | ||
2 | NODE="$1" | ||
3 | shift | ||
4 | CPUS="$((NODE*3))-$((NODE*3+2))" | ||
5 | taskset -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 "$@" | ||