From 92b1ff62ba97e51fa7d3a3e5828d375774aaf4ee Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Wed, 12 Sep 2018 14:05:23 +0200
Subject: [PATCH] use wall clock time for timeout in SCIP
---
.../java/de/tudresden/inf/st/mquat/solving/ilp/SCIPSolver.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/SCIPSolver.java b/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/SCIPSolver.java
index 3c30913..b09c00a 100644
--- a/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/SCIPSolver.java
+++ b/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/SCIPSolver.java
@@ -31,7 +31,7 @@ public class SCIPSolver extends ILPExternalSolver {
@Override
protected String[] getCommand(Path lp, Path solution, long remainingTimeForSolvingInMillis) {
- String[] command = {"scip", "-c", "read " + lp.toAbsolutePath() + " set limit time " + remainingTimeForSolvingInMillis/1000 + " optimize write solution " + solution.toAbsolutePath() + " quit"};
+ String[] command = {"scip", "-c", "read " + lp.toAbsolutePath() + " set timing clocktype 2 set limit time " + remainingTimeForSolvingInMillis/1000 + " optimize write solution " + solution.toAbsolutePath() + " quit"};
return command;
}
--
GitLab