catch a runsolver memout message

conjure-cp · Apr 2, 2024 · e042221 · e042221
1 parent 4870b33
commit e042221
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Conjure/UI/SolveStats.hs b/src/Conjure/UI/SolveStats.hs
@@ -86,7 +86,8 @@ mkSolveStats Solve {..} (exitCodeSR, stdoutSR, stderrSR) savilerowInfoText runso
                     "kissat: fatal error: maximum arena capacity", -- kissat
                     "Error: syntax error, unexpected ]]", -- cplex
                     "*** Check failure stack trace: ***", -- or-tools
-                    "Error: evaluation error: Index set mismatch."
+                    "Error: evaluation error: Index set mismatch.",
+                    "Maximum memory exceeded" -- for when runsolver prints this message but won't set MEMOUT=true for some reason
                   ]
             ] =
             Error