From 03cc8e971bf25ef6966ade49b9ada99d200739e7 Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Tue, 19 Nov 2019 09:05:01 -0800
Subject: [PATCH] Timeout for running benchmarks

---
 src/Scripts/runbench.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Scripts/runbench.sh b/src/Scripts/runbench.sh
index db570df..0d536c7 100755
--- a/src/Scripts/runbench.sh
+++ b/src/Scripts/runbench.sh
@@ -18,7 +18,7 @@ cd $BIN
 for d in $DUMP; do
 	if [[ $d = *$1* ]] && [[ $d = *learningset* ]]; then
 		echo "Running: ./run.sh tunerrun "."$d $2 $3 out.out"
-		./run.sh tunerrun "."$d $2 $3 out.out
+		./run.sh timeout $2 tunerrun "."$d $2 $3 out.out
 		RETCODE=$?
 		echo "Return code: $RETCODE"
 		if [ $RETCODE -eq 141 ]; then #Dump info when SAT Solver gets killed by OS ....
-- 
2.34.1