X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTuner%2Fbasictuner.cc;h=30d729b2cb2c12d0a7842e78b4db45505fc0a6a5;hp=44cd2bc8b3eee8b0b7479e8a2062397946c4caf7;hb=85278f8212fb2d60c0e800e05ae3fae499f8e3f4;hpb=d30e92734019e5924caaaa9a2d20dea595f74e92;ds=sidebyside

diff --git a/src/Tuner/basictuner.cc b/src/Tuner/basictuner.cc
index 44cd2bc..30d729b 100644
--- a/src/Tuner/basictuner.cc
+++ b/src/Tuner/basictuner.cc
@@ -157,7 +157,7 @@ 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;
+	uint satuneTimeout = (2*maxtime < maxtime + 600)?2*maxtime: maxtime + 600;
 	//Do run
 	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);