diff --git a/gui/batcher.sh b/gui/batcher.sh new file mode 100755 index 0000000..b6ea59a --- /dev/null +++ b/gui/batcher.sh @@ -0,0 +1,29 @@ +#!/bin/sh +# +# batcher.sh +# +# usage: ./batcher.sh TEST_MPA_ARGUMENTS +# +# Tries to parallellize the jobs, and sends a mail afterwards + +AWKSCRIPT=" { srand(); print int(1000000 * rand()) } " +RND=`echo | awk "$AWKSCRIPT"` + +JOBNAME="test$RND" +JSONFILE="$PWD/$JOBNAME.json" +BATCHFILE="$PWD/$JOBNAME.sh" + +echo $JOBNAME +echo $JSONFILE +echo $BATCHFILE + +bsub -I -N -W 8:00 -J $JOBNAME ./test-mpa.py --pickle $JSONFILE $* +# Each verification has a time limit of 600 seconds = 10 minutes +# To fit in the one hour queue, that means 5 jobs maximum. +bsub -I -N -W 8:00 -J $JOBNAME -oo $BATCHFILE ./make-bsub.py $JSONFILE 5 -W 1:00 -J $JOBNAME +# Due to pending etc. the below may take a while. +sleep 10 +bash $BATCHFILE +bsub -I -N -W 8:00 -J after$JOBNAME -w "ended($JOBNAME)" ./test-mpa.py $* + +