Commit 5424f837 authored by Johannes Mey's avatar Johannes Mey
Browse files

include reading time in SCIP timout

parent 92b1ff62
......@@ -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;
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment