Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

MIP analysis #2026

Merged
merged 49 commits into from
Nov 4, 2024
Merged

MIP analysis #2026

merged 49 commits into from
Nov 4, 2024

Conversation

jajhall
Copy link
Member

@jajhall jajhall commented Nov 4, 2024

Added various measures to aid analysis of the MIP solver

  • partial MIP profiling (switched off by default)
  • tracking of maximum sub-MIP depth
  • count of LPs solved to repair IFS not feasible on original space, iteration count and number eventually feasible
  • improving MIP solution source now handled via enum MipSolutionSource, enabling clearer logging and key to source

@jajhall
Created HighsMipAnalysis class
2f62f03
@jajhall
Removed unnecessary includes from HighsSimplexAnalysis.h/cpp
a4e423a
@jajhall
Added HighsMipTimer.h
6c11b7f
@jajhall
Sets up a clock
fb77442
@jajhall
Total MIP solver time now reported using MipAnalysis
2fc4a98
@jajhall
Formatted
a26eb24
@jajhall
Now to remove unnecessary timer_.start(timer_.solve_clock); calls
06bd1ef
@jajhall
Now using total_clock in MIP solver, and using solve_clock only for s…
bf78875 
…olve!
@jajhall
MIP core profiling using fundamental clocks and being reported
f321644
@jajhall
Added ../src/mip/HighsMipAnalysis.cpp ../src/mip/HighsMipAnalysis.h .…
81f442a 
…./src/mip/MipTimer.h !
@jajhall
In HighsMipSolver::cleanupSolve, only stopping solve clock if its run…
9293b72 
…ning
@jajhall
Added kHighsAnalysisLevelMipData + kHighsAnalysisLevelMipTime to enum…
f8b01c8 
… HighsAnalysisLevel and using kHighsAnalysisLevelMipTime
@jajhall
Added documentation on the use of presolve when solving an incumbent …
b1a8a8c 
…model, and clarifying the use of the method .
@jajhall
Have to expand some of the MIP code to insert timing calls
4f59f22
@jajhall
OK so far
4fe0837
@jajhall
Now to split existing clocks
13de96f
@jajhall
Not catching all time in search or dive
351e8ac
@jajhall
Name "MIP search" - > "Search
53fa7d9
@jajhall
Now to account for more of Search time
5dc14ee
@jajhall
Need to distinguish MIP presolve/solve/postsolve from HiGHS presolve/…
d496ddd 
…solve/postsolve
@jajhall
Now switching to MIP solver clocks from HiGHS total/presolve/solve/po…
e0b85ed 
…stsolve clocks in MIP solver
@jajhall
Now to switch off definition of profiling clocks in sub-MIPs
44117f0
@jajhall
Now not analysing submips
2abf359
@jajhall
Formatted
7915f29
@jajhall
Added return values to HighsMipAnalysis::mipTimerRunning and HighsMip…
5df6b4c 
…Analysis::mipTimerRead
@jajhall
Accounted for Search with lseu
f54cde8
@jajhall
Added 1-line output for grep to CSV
00327b6
@jajhall
Added RunPresolve to csv profile output
444ba34
@jajhall
Added separation timer
8c592f5
@jajhall
Working through Evaluate root node
64846f6
@jajhall
Fixed error
13138ee
@jajhall
Tming the LP solves, but analyse the results better
8d8569d
@jajhall
Now collecting data on simplex solve cost with/without basis
7946326
@jajhall
Split sub-MIP clock into RootReducedCost, RENS and RINS
544cd9e
@jajhall
Now timing probing, and no duplicate (no) basis LP solve timing
750f51c
@jajhall
Added MIP-Timing: stage timing printing when analyse_mip_time is true
0d125d8
@jajhall
Possibly not compute analytic centre
fc9439b
@jajhall
Formatted
11886c2
@jajhall
Formatted
a2581be
@jajhall
Clang format 18 frig
6de46ff
@jajhall
Merged latest into this branch
763c5b5
@jajhall
Merge branch 'latest' into mip-analysis
0c85add
@jajhall
Merged latest into this branch
a129aa7
@jajhall
Added solutionSourceToString, printSolutionSourceKey and enum MipSolu…
bb2f057 
…tionSource
@jajhall
Now handling improving solution origin via enum MipSolutionSource
9f4e9e1
@jajhall
Added maximum sub-MIP depth statistic
9cb35ae
@jajhall
highs_analysis_level default reset to zero
cbf36ea
@jajhall
Silenced unit tests
38c1828
@jajhall
Formatted
cdecfdd
@jajhall jajhall merged commit 1fb0fe4 into latest Nov 4, 2024
250 checks passed
@jajhall jajhall deleted the mip-analysis branch November 4, 2024 14:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@jajhall