From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Sun, 24 Mar 2019 23:39:57 +0000 (-0700)
Subject: Adding timeout for SATTune
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=cded0761f9debbceab093dcfc58682e129f95fc9

Adding timeout for SATTune
---

diff --git a/src/Tuner/basictuner.cc b/src/Tuner/basictuner.cc
index 6f0f5e0..122f4d3 100644
--- a/src/Tuner/basictuner.cc
+++ b/src/Tuner/basictuner.cc
@@ -157,9 +157,9 @@ long long BasicTuner::evaluate(Problem *problem, TunerRecord *tuner) {
 	uint timeinsecs = problem->getBestTime() / NANOSEC;
 	uint adaptive = (timeinsecs > 30) ? timeinsecs * 5 : 150;
 	uint maxtime = (adaptive < timeout) ? adaptive : timeout;
-
+	uint satuneTimeout = 2*maxtime;
 	//Do run
-	snprintf(buffer, sizeof(buffer), "./run.sh deserializerun %s %u tuner%u result%u > log%u", problem->getProblem(), maxtime, execnum, execnum, execnum);
+	snprintf(buffer, sizeof(buffer), "timeout %u ./run.sh deserializerun %s %u tuner%u result%u > log%u", satuneTimeout, problem->getProblem(), maxtime, execnum, execnum, execnum);
 	model_print("Running: %s\n", buffer);
 	int status = system(buffer);