diff options
author | 2021-01-05 04:13:26 +0100 | |
---|---|---|
committer | 2021-01-05 04:13:26 +0100 | |
commit | 873aeb05180afbedae494282ef360cacd69e2d84 (patch) | |
tree | 11ff5ac3bb7df668479f364bfd9bafe379286969 /Tests/MODELS2020-CaseStudies/case.study.pledge.run | |
parent | Clean up MODELS20 files (diff) | |
download | VIATRA-Generator-873aeb05180afbedae494282ef360cacd69e2d84.tar.gz VIATRA-Generator-873aeb05180afbedae494282ef360cacd69e2d84.tar.zst VIATRA-Generator-873aeb05180afbedae494282ef360cacd69e2d84.zip |
add models20 measuement setup from VM
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run')
8 files changed, 40 insertions, 28 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/SMTEndMeasurements.bat b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/SMTEndMeasurements.bat deleted file mode 100644 index 37adbbe1..00000000 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/SMTEndMeasurements.bat +++ /dev/null | |||
@@ -1,5 +0,0 @@ | |||
1 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTEnd -lb 20 -rt 350 | ||
2 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTEnd -lb 40 -rt 350 | ||
3 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTEnd -lb 60 -rt 350 | ||
4 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTEnd -lb 80 -rt 350 | ||
5 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTEnd -lb 100 -rt 350 | ||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/SMTQualMeasurements.bat b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/SMTQualMeasurements.bat deleted file mode 100644 index c76fc2d8..00000000 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/SMTQualMeasurements.bat +++ /dev/null | |||
@@ -1,5 +0,0 @@ | |||
1 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTQual -lb 20 -rt 350 | ||
2 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTQual -lb 40 -rt 350 | ||
3 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTQual -lb 60 -rt 350 | ||
4 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTQual -lb 80 -rt 350 | ||
5 | java -Xms12G -jar gencache.jar -d FamilyTreeSMTQual -lb 100 -rt 350 | ||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/officialMeasurementsSetup.bat b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/officialMeasurementsSetup.bat deleted file mode 100644 index e7817090..00000000 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/officialMeasurementsSetup.bat +++ /dev/null | |||
@@ -1,18 +0,0 @@ | |||
1 | java -Xms12G -jar gencache.jar -d Taxation -lb 20 -hh 1 | ||
2 | java -Xms12G -jar gencache.jar -d Satellite -lb 20 | ||
3 | REM java -Xms12G -jar gencache.jar -d FamilyTree -lb 20 | ||
4 | |||
5 | java -Xms12G -jar gencache.jar -d Taxation -lb 40 -hh 2 | ||
6 | java -Xms12G -jar gencache.jar -d Satellite -lb 40 | ||
7 | REM java -Xms12G -jar gencache.jar -d FamilyTree -lb 40 | ||
8 | |||
9 | java -Xms12G -jar gencache.jar -d Satellite -lb 60 | ||
10 | java -Xms12G -jar gencache.jar -d FamilyTree -lb 60 | ||
11 | java -Xms12G -jar gencache.jar -d Satellite -lb 80 | ||
12 | java -Xms12G -jar gencache.jar -d FamilyTree -lb 80 | ||
13 | java -Xms12G -jar gencache.jar -d Satellite -lb 100 | ||
14 | java -Xms12G -jar gencache.jar -d FamilyTree -lb 100 | ||
15 | |||
16 | java -Xms12G -jar gencache.jar -d Taxation -lb 60 -hh 3 | ||
17 | java -Xms12G -jar gencache.jar -d Taxation -lb 80 -hh 4 | ||
18 | java -Xms12G -jar gencache.jar -d Taxation -lb 100 -hh 5 | ||
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 "$@" | ||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh new file mode 100755 index 00000000..5895ff6a --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh | |||
@@ -0,0 +1,7 @@ | |||
1 | #!/usr/bin/bash | ||
2 | NODE="$1" | ||
3 | ./run.sh "${NODE}" -d FamilyTree -lb 20 -nm 10 -rt 3600 | ||
4 | ./run.sh "${NODE}" -d FamilyTree -lb 40 -nm 10 -rt 3600 | ||
5 | ./run.sh "${NODE}" -d FamilyTree -lb 60 -nm 10 -rt 3600 | ||
6 | ./run.sh "${NODE}" -d FamilyTree -lb 80 -nm 10 -rt 3600 | ||
7 | ./run.sh "${NODE}" -d FamilyTree -lb 100 -nm 10 -rt 3600 | ||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree_exact.sh b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree_exact.sh new file mode 100755 index 00000000..3d4a4755 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree_exact.sh | |||
@@ -0,0 +1,14 @@ | |||
1 | #!/usr/bin/bash | ||
2 | NODE="$1" | ||
3 | VERSION="$2" | ||
4 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 5 -ub 5 -nm 1 -rt 300 | ||
5 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 6 -ub 6 -nm 1 -rt 300 | ||
6 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 7 -ub 7 -nm 1 -rt 300 | ||
7 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 8 -ub 8 -nm 1 -rt 300 | ||
8 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 9 -ub 9 -nm 1 -rt 300 | ||
9 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 10 -ub 10 -nm 1 -rt 300 | ||
10 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 20 -ub 20 -nm 1 -rt 300 | ||
11 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 40 -ub 40 -nm 1 -rt 300 | ||
12 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 60 -ub 60 -nm 1 -rt 300 | ||
13 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 80 -ub 80 -nm 1 -rt 300 | ||
14 | ./run.sh "${NODE}" -d "FamilyTree${VERSION}" -lb 100 -ub 100 -nm 1 -rt 300 | ||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runSatellite.sh b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runSatellite.sh new file mode 100755 index 00000000..f5eee8a3 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runSatellite.sh | |||
@@ -0,0 +1,7 @@ | |||
1 | #!/usr/bin/bash | ||
2 | NODE="$1" | ||
3 | ./run.sh "${NODE}" -d Satellite -lb 20 -nm 10 -rt 3600 | ||
4 | ./run.sh "${NODE}" -d Satellite -lb 40 -nm 10 -rt 3600 | ||
5 | ./run.sh "${NODE}" -d Satellite -lb 60 -nm 10 -rt 3600 | ||
6 | ./run.sh "${NODE}" -d Satellite -lb 80 -nm 10 -rt 3600 | ||
7 | ./run.sh "${NODE}" -d Satellite -lb 100 -nm 10 -rt 3600 | ||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runTaxation.sh b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runTaxation.sh new file mode 100755 index 00000000..75080359 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runTaxation.sh | |||
@@ -0,0 +1,7 @@ | |||
1 | #!/usr/bin/bash | ||
2 | NODE="$1" | ||
3 | ./run.sh "${NODE}" -d Taxation -lb 20 -nm 10 -rt 3600 -hh 1 | ||
4 | ./run.sh "${NODE}" -d Taxation -lb 40 -nm 10 -rt 3600 -hh 2 | ||
5 | ./run.sh "${NODE}" -d Taxation -lb 60 -nm 10 -rt 3600 -hh 3 | ||
6 | ./run.sh "${NODE}" -d Taxation -lb 80 -nm 10 -rt 3600 -hh 4 | ||
7 | ./run.sh "${NODE}" -d Taxation -lb 100 -nm 10 -rt 3600 -hh 5 | ||