Example job scripts

examples/storm_dft_jobs.txt

+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/and_approx.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/and_approx_param.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/and.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/and_param.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/approx.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/be_fail.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/be_nonfail2.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/be_nonfail.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/cardiac.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/cas.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/cm2.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/cm4.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/cps.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/deathegg.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/dont_care.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/fdep2.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/fdep3.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/fdep4.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/fdep5.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/fdep6.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/fdep.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/ftpp_complex.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/ftpp_large.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/ftpp_standard.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/mas.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/mcs.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/mdcs2.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/mdcs.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/mp.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/mutex2.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/mutex3.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/mutex.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/nonmonoton.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/nonmonoton_param.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/or.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/pand.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/pand_param.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/pdep2.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/pdep3.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/pdep4.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/pdep.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/pdep_symmetry.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/por.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/seq2.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/seq3.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/seq4.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/seq5.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/seq6.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/seq.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/seq_fdep.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/spare2.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/spare3.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/spare4.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/spare5.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/spare6.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/spare7.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/spare8.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/spare_cold.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/spare.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/spare_overlapping.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/spare_param.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/spare_symmetry.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/spare_two_modules.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/symmetry2.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/symmetry3.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/symmetry4.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/symmetry5.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/symmetry.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/symmetry_param.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/symmetry_shared.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/tripple_and1.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/tripple_and2_c.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/tripple_and2.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/tripple_and_c.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/tripple_or2_c.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/tripple_or2.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/tripple_or_c.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/tripple_or.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/tripple_pand2_c.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/tripple_pand2.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/tripple_pand_c.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/tripple_pand.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/voting2.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/voting3.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/voting4.dft -mttf
+./develop/storm/build/bin/storm-dft -dft examples/dft-examples/toy/voting.dft -mttf

examples/storm_dft_toy.sh

+#!/usr/bin/env zsh
+
+### Job name
+#SBATCH --job-name=benchmax
+
+### Output file name
+#SBATCH -o /home/mv852328/output/JOB.%A_%a.out
+
+### Error file
+#SBATCH -e /home/mv852328/output/JOB.%A_%a.err
+
+### Timelimit in hours:minutes:seconds
+#SBATCH -t 00:25:00
+
+### Memory per CPU
+#SBATCH --mem-per-cpu=5120M
+
+### Load the module system configuration, necessary to load dependent libraries
+source /home/mv852328/scripts/hpc-scripts/prepareEnvironmentGcc.sh 
+
+### Change Directory to your working directory (binaries, etc)
+cd /home/mv852328/
+
+### For Array Job striping - the slicesize is the number of jobs executed in a single slice (running process) in serial
+min=$SLURM_ARRAY_TASK_MIN
+max=$SLURM_ARRAY_TASK_MAX
+cur=$SLURM_ARRAY_TASK_ID
+slicesize=1
+start=$(( (cur - 1) * slicesize + 1 ))
+end=$(( start + slicesize - 1 ))
+for i in `seq ${start} ${end}`; do
+	echo $ENV
+	echo $PATH
+        ls /lib64/ | grep "libxerces" 
+	# Jobs are in a text file where each line contains one Storm call
+        cmd=$(time sed -n "${i}p" < /home/mv852328/scripts/hpc-scripts/examples/storm_dft_jobs.txt)
+        echo "Executing $cmd"
+        echo "# START ${i} #"
+        echo "# START ${i} #" >&2
+        start=`date +"%s%3N"`
+        ulimit -c 0 && ulimit -S -v 4194304 && ulimit -S -t 300 && eval time $cmd ; rc=$?
+        end=`date +"%s%3N"`
+        echo "# END ${i} #"
+        echo "# END ${i} #" 1>&2
+        echo "time: $(( end - start ))"
+        echo "exitcode: $rc"
+        echo "# END DATA ${i} #"
+done
+
+### Ulimit:
+###  -c 0: No core dumps (important!)
+###  -v N: Limit to N kilobytes of memory
+###  -t N: Limit of CPU time for this subprocess