projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
BUGFIX: change runbench script when the SAT Solver crashes
[satune.git]
/
src
/
Scripts
/
runbench.sh
diff --git
a/src/Scripts/runbench.sh
b/src/Scripts/runbench.sh
index 9affb0bd2660f86df2417061d11e8edf797db9e7..44e52bfc6c077db49636863f9e5a84e1589e870e 100755
(executable)
--- a/
src/Scripts/runbench.sh
+++ b/
src/Scripts/runbench.sh
@@
-4,7
+4,6
@@
# ./runbench.sh [nqueens] [timeout] [tuner.conf]
# ./runbench.sh [sudoku-csolver] [timeout] [tuner.conf]
# ./runbench.sh [killerSudoku] [timeout] [tuner.conf]
# ./runbench.sh [nqueens] [timeout] [tuner.conf]
# ./runbench.sh [sudoku-csolver] [timeout] [tuner.conf]
# ./runbench.sh [killerSudoku] [timeout] [tuner.conf]
-set -e
if [ "$#" -lt 3 ]; then
echo "Illegal number of argument"
if [ "$#" -lt 3 ]; then
echo "Illegal number of argument"
@@
-20,6
+19,13
@@
for d in $DUMP; do
if [[ $d = *$1* ]]; then
echo "Running: ./run.sh tunerrun "."$d $2 $3 out.out"
./run.sh tunerrun "."$d $2 $3 out.out
if [[ $d = *$1* ]]; then
echo "Running: ./run.sh tunerrun "."$d $2 $3 out.out"
./run.sh tunerrun "."$d $2 $3 out.out
+ echo "Return code: $?"
+ if [ $? -eq 141 ]; then #Dump info when SAT Solver gets killed by OS ....
+ echo "Satune got out of memory"
+ echo "deserializing $d ..."
+ echo "SAT Solving time: 400000000.0"
+ echo "CSOLVER solve time: 400000000.0"
+ fi
echo "Best tuner"
fi
done
echo "Best tuner"
fi
done