From 85278f8212fb2d60c0e800e05ae3fae499f8e3f4 Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 17 Oct 2019 13:26:56 -0700
Subject: [PATCH] Limiting satune timeout
---
src/Tuner/basictuner.cc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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);
--
2.34.1