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 b09c00a1c4bb803037e88be1a67b507ef1785825..19fd228ea9c4cd75eedb0425951c61ec87b15868 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; }