From 5424f8372d4578e3f890939c83324215e26a60ca Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Wed, 12 Sep 2018 14:07:48 +0200
Subject: [PATCH] include reading time in SCIP timout
---
.../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 b09c00a..19fd228 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 timing clocktype 2 set limit time " + remainingTimeForSolvingInMillis/1000 + " optimize write solution " + solution.toAbsolutePath() + " quit"};
+ String[] command = {"scip", "-c", "read " + lp.toAbsolutePath() + " set timing reading true set timing clocktype 2 set limit time " + remainingTimeForSolvingInMillis/1000 + " optimize write solution " + solution.toAbsolutePath() + " quit"};
return command;
}
--
GitLab