Log message

fwesselm · fwesselm · commit e62f998bddd9 · 2025-10-15T15:55:41.000+02:00
diff --git a/highs/presolve/HPresolve.cpp b/highs/presolve/HPresolve.cpp
@@ -1398,9 +1398,11 @@ HPresolve::Result HPresolve::dominatedColumns(
               mipsolver->mipdata_->cliquetable.numCliques(j, 1) > 0));
   }
 
-  if (numFixedCols)
+  if (numFixedCols > 0 || numBoundsModified > 0)
     highsLogDev(options->log_options, HighsLogType::kInfo,
-                "Fixed %d dominated columns\n", numFixedCols);
+                "Fixed %d dominated columns and strengthened %d bounds\n",
+                static_cast<int>(numFixedCols),
+                static_cast<int>(numBoundsModified));
 
   return Result::kOk;
 }

Original file line number	Diff line number	Diff line change
`@@ -1398,9 +1398,11 @@ HPresolve::Result HPresolve::dominatedColumns(`
`1398`	`1398`	`mipsolver->mipdata_->cliquetable.numCliques(j, 1) > 0));`
`1399`	`1399`	`}`
`1400`	`1400`
`1401`		`- if (numFixedCols)`
	`1401`	`+ if (numFixedCols > 0 \|\| numBoundsModified > 0)`
`1402`	`1402`	`highsLogDev(options->log_options, HighsLogType::kInfo,`
`1403`		`- "Fixed %d dominated columns\n", numFixedCols);`
	`1403`	`+ "Fixed %d dominated columns and strengthened %d bounds\n",`
	`1404`	`+ static_cast<int>(numFixedCols),`
	`1405`	`+ static_cast<int>(numBoundsModified));`
`1404`	`1406`
`1405`	`1407`	`return Result::kOk;`
`1406`	`1408`	`}`