← Back to branch summary

~tapaal-dist-ctl/verifypn/verifypnTestFramework

« back to all changes in this revision

Viewing changes to testFramework/slurm_conf/distczero-5-CTLCardinality-DFS-HouseConstruction-PT-005-2016-04-28T09:42.sh

  • Committer: tobiasj1991 at gmail
  • Date: 2016-04-28 10:42:22 UTC
  • Revision ID: tobiasj1991@gmail.com-20160428104222-6vcahq0z3xnzncje
Cleaning up

Show diffs side-by-side

added added

removed removed

Lines of Context:
testFramework/slurm_conf/distczero-5-CTLCardinality-DFS-HouseConstruction-PT-005-2016-04-28T09:42.sh
1
 
#!/bin/sh
2
 
#BATCH --nodes None
3
 
#SBATCH --partition=production
4
 
#SBATCH -n 1
5
 
#SBATCH --mail-type=ALL # Type of email notification- BEGIN,END,FAIL,ALL
6
 
#SBATCH --mail-user={d803f16@cs.aau.dk}
7
 
 
8
 
OUTPUTFILE=HouseConstruction-PT-005-CTLCardinality-5-DFS.log
9
 
 
10
 
ulimit -S -v unlimited
11
 
 
12
 
{ timeout 60 mpirun -np 4 ~/launchpad/verifypn-dist-ctl/verifypn-linux64 -ctl dist /user/smni12/launchpad/verifypnTestFramework/testFramework/completeModelDB/HouseConstruction-PT-005/model.pnml /user/smni12/launchpad/verifypnTestFramework/testFramework/completeModelDB/HouseConstruction-PT-005/CTLCardinality.xml; } >> $OUTPUTFILE 2>&1
13
 
 
14
 
ulimit -S -v unlimited
15
 
echo Exitcode: $? >> $OUTPUTFILE 2>&1
16
 
echo Run Complete!
17
 
mkdir testResults/dist-test-testmodelconf-2016-04-28T09:42-distczero-Munlimited-T60
18
 
mv $OUTPUTFILE testResults/dist-test-testmodelconf-2016-04-28T09:42-distczero-Munlimited-T60/$OUTPUTFILE
19
 
echo Successful result move
20
 
echo $SLURM_NODELIST
21
 
echo $SLURM_NPROCS
22
 
pwd
23
 
hostname
24
 
rm -- "$0"
25
 
~                                                                                                                                                                                                                  
26
 
~                                                                                                                                                                                                                  
27
 
~