diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-07-29 15:36:28 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-07-29 15:36:28 +0200 |
| commit | 83f8384f66ddb1d86567c928bdb102174c70cba0 (patch) | |
| tree | cc65238c275b6ae1accc26de3a4e2fd1c973973d /Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp | |
| parent | Make CbcPolyhedronSolver more robust (diff) | |
| download | VIATRA-Generator-83f8384f66ddb1d86567c928bdb102174c70cba0.tar.gz VIATRA-Generator-83f8384f66ddb1d86567c928bdb102174c70cba0.tar.zst VIATRA-Generator-83f8384f66ddb1d86567c928bdb102174c70cba0.zip | |
Fix CBC timeout
Diffstat (limited to 'Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp')
| -rw-r--r-- | Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/viatracbc.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/viatracbc.cpp b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/viatracbc.cpp index ffd35759..34cab1dd 100644 --- a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/viatracbc.cpp +++ b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/viatracbc.cpp | |||
| @@ -154,7 +154,9 @@ jint SolveModel(CoinModel &build, jdouble timeoutSeconds, jboolean silent, jdoub | |||
| 154 | solver.loadFromCoinModel(build); | 154 | solver.loadFromCoinModel(build); |
| 155 | CbcModel model{solver}; | 155 | CbcModel model{solver}; |
| 156 | 156 | ||
| 157 | model.setDblParam(CbcModel::CbcMaximumSeconds, timeoutSeconds); | 157 | if (timeoutSeconds >= 0) { |
| 158 | model.setDblParam(CbcModel::CbcMaximumSeconds, timeoutSeconds); | ||
| 159 | } | ||
| 158 | if (silent == JNI_FALSE) { | 160 | if (silent == JNI_FALSE) { |
| 159 | model.messageHandler()->setLogLevel(2); | 161 | model.messageHandler()->setLogLevel(2); |
| 160 | model.solver()->messageHandler()->setLogLevel(1); | 162 | model.solver()->messageHandler()->setLogLevel(1); |