projects
/
satune.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
b0e243e
)
Adding timeout for SATTune
author
Hamed Gorjiara
<hgorjiar@uci.edu>
Sun, 24 Mar 2019 23:39:57 +0000
(16:39 -0700)
committer
Hamed Gorjiara
<hgorjiar@uci.edu>
Sun, 24 Mar 2019 23:39:57 +0000
(16:39 -0700)
src/Tuner/basictuner.cc
patch
|
blob
|
history
diff --git
a/src/Tuner/basictuner.cc
b/src/Tuner/basictuner.cc
index 6f0f5e0283f9c4b1c2fe230a263d010bcfd4bb5d..122f4d332c1915163997c1e8b45378e3dd91cbc5 100644
(file)
--- 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 timeinsecs = problem->getBestTime() / NANOSEC;
uint adaptive = (timeinsecs > 30) ? timeinsecs * 5 : 150;
uint maxtime = (adaptive < timeout) ? adaptive : timeout;
-
+ uint satuneTimeout = 2*maxtime;
//Do run
//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);
model_print("Running: %s\n", buffer);
int status = system(buffer);