Fix #1071

chocoteam · Jun 27, 2024 · c6fc18a · c6fc18a
1 parent d9e67ef
commit c6fc18a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/parsers/src/main/java/org/chocosolver/parser/flatzinc/ast/Datas.java b/parsers/src/main/java/org/chocosolver/parser/flatzinc/ast/Datas.java
@@ -317,6 +317,7 @@ public void doFinalOutPut(boolean complete) {
             solver.log().printf("%%%%%%mzn-stat: nodes=%d%n", solver.getNodeCount());
             solver.log().printf("%%%%%%mzn-stat: failures=%d%n", solver.getFailCount());
             solver.log().printf("%%%%%%mzn-stat: restarts=%d%n", solver.getRestartCount());
+            solver.log().printf("%%%%%%mzn-stat: max depth=%d%n", solver.getMaxDepth());
             solver.log().println("%%%mzn-stat-end");
         }
     }