Skip to content

Commit

Permalink
Added some time reporting to HighsMipSolver::run() when not submip
Browse files Browse the repository at this point in the history
  • Loading branch information
jajhall committed Jul 10, 2024
1 parent abcce09 commit 6096006
Showing 1 changed file with 22 additions and 0 deletions.
22 changes: 22 additions & 0 deletions src/mip/HighsMipSolver.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -115,6 +115,10 @@ void HighsMipSolver::run() {
mipdata_ = decltype(mipdata_)(new HighsMipSolverData(*this));
mipdata_->init();
mipdata_->runPresolve(options_mip_->presolve_reduction_limit);
if (!submip)
highsLogUser(options_mip_->log_options, HighsLogType::kInfo,
"MIP-Timing: After %6.4fs - completed mipdata_->runPresolve\n",
timer_.read(timer_.solve_clock));
// Identify whether time limit has been reached (in presolve)
if (modelstatus_ == HighsModelStatus::kNotset &&
timer_.read(timer_.solve_clock) >= options_mip_->time_limit)
Expand All @@ -134,15 +138,33 @@ void HighsMipSolver::run() {
return;
}

if (!submip)
highsLogUser(options_mip_->log_options, HighsLogType::kInfo,
"MIP-Timing: After %6.4fs - reached mipdata_->runSetup()\n",
timer_.read(timer_.solve_clock));
mipdata_->runSetup();
if (!submip)
highsLogUser(options_mip_->log_options, HighsLogType::kInfo,
"MIP-Timing: After %6.4fs - completed mipdata_->runSetup()\n",
timer_.read(timer_.solve_clock));
restart:
if (modelstatus_ == HighsModelStatus::kNotset) {
// Check limits have not been reached before evaluating root node
if (mipdata_->checkLimits()) {
cleanupSolve();
return;
}
if (!submip)
highsLogUser(
options_mip_->log_options, HighsLogType::kInfo,
"MIP-Timing: After %6.4fs - reached mipdata_->evaluateRootNode()\n",
timer_.read(timer_.solve_clock));
mipdata_->evaluateRootNode();
if (!submip)
highsLogUser(
options_mip_->log_options, HighsLogType::kInfo,
"MIP-Timing: After %6.4fs - completed mipdata_->evaluateRootNode()\n",
timer_.read(timer_.solve_clock));
// age 5 times to remove stored but never violated cuts after root
// separation
mipdata_->cutpool.performAging();
Expand Down

0 comments on commit 6096006

Please sign in to comment.