From 8b6e2584186a0f9bfd7b9678d99e92e2ea1a5584 Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Tue, 22 Oct 2019 16:35:24 -0700
Subject: [PATCH 1/1] BUGFIX: change runbench script when the SAT Solver
 crashes

---
 src/Scripts/runbench.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/Scripts/runbench.sh b/src/Scripts/runbench.sh
index 9affb0b..44e52bf 100755
--- 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]
-set -e
 
 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
+		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
-- 
2.34.1