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/viatracbc.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/viatracbc.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); |