[Opt-Mucca]

Description

Enables parallel MIP by default

Checklist

• I have read the contributing guidelines
• This PR targets the latest branch
• Tests are passing
• Documentation was updated where relevant
• This PR is not primarily AI-generated (per the AI contributions policy in CONTRIBUTING.md)

[codecov]

Codecov Report

❌ Patch coverage is 46.66667% with 8 lines in your changes missing coverage. Please review.
✅ Project coverage is 75.00%. Comparing base (65de4dc) to head (be81f43).
⚠️ Report is 11 commits behind head on latest.

Files with missing lines	Patch %	Lines
highs/mip/HighsMipSolver.cpp	42.85%	8 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           latest    #3406      +/-   ##
==========================================
+ Coverage   74.97%   75.00%   +0.03%     
==========================================
  Files         460      460              
  Lines      111712   111781      +69     
  Branches    17770    17769       -1     
==========================================
+ Hits        83755    83843      +88     
+ Misses      27675    27656      -19     
  Partials      282      282              

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[Opt-Mucca]

@fwesselm This PR also now includes a small bug-fix. We were missing the case where a non-synced cut could be propagated and prove infeasibility during the worker-domain-sync phase. The result was some extra unnecessary work in release mode and a crash in debug mode.

[fwesselm]

Thanks, @Opt-Mucca! Is there a plan to update documentation that now setting parallel to choose actually means on?

[Opt-Mucca]

Thanks, @Opt-Mucca! Is there a plan to update documentation that now setting parallel to choose actually means on?

Very good suggestion. That's another thing I missed..... I can update the documentation in this PR.