Adding timeout for SATTune
authorHamed Gorjiara <hgorjiar@uci.edu>
Sun, 24 Mar 2019 23:39:57 +0000 (16:39 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Sun, 24 Mar 2019 23:39:57 +0000 (16:39 -0700)
src/Tuner/basictuner.cc

index 6f0f5e0..122f4d3 100644 (file)
@@ -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);