diff --git a/src/Conjure/UI/SolveStats.hs b/src/Conjure/UI/SolveStats.hs index 3c4d2590e..2edc2b71d 100644 --- 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