Improved user logging for dependent equations search, and parallel simplex - #3238
Merged
Conversation
…ogging to explain why parallel=on does not result in parallel dual simplex being run
Codecov Report❌ Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## latest #3238 +/- ##
=======================================
Coverage 73.21% 73.22%
=======================================
Files 445 445
Lines 107993 108053 +60
Branches 17316 17320 +4
=======================================
+ Hits 79069 79121 +52
- Misses 28648 28656 +8
Partials 276 276 ☔ View full report in Codecov by Harness. 🚀 New features to boost your workflow:
|
filikat
approved these changes
Aug 26, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Description
Dependent equations search in presolve produced a logging line that is only relevant to developers, so logging has been rationalised so that a simple line is given via
highsLogUserand the original line is given viahighsLogDev(whenlog_dev_level > 0).Prompted by testing #3233, I realised that we give no explanation why
parallel=ondoes not result in parallel dual simplex being run. It used to trigger the use of parallel dual simplex ifsimplex_strategy=kSimplexStrategyDualorsimplex_strategy=kSimplexStrategyChoose, but now parallel simplex is only used ifsimplex_strategy=kSimplexStrategyDualTasksorsimplex_strategy=kSimplexStrategyDualMulti. This is because users will be settingparallel=onto get the parallel MIP solver, and we don't want them running parallel dual simplex as a result - since it's less robust and typically is little faster than serial. Hence a logging line has been added to flag up the change in behaviour.Checklist
latestbranch