use wall clock time for timeout in SCIP

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;
   }