Skip to content

Commit

Permalink
Added explicit reporting of FJ time
Browse files Browse the repository at this point in the history
  • Loading branch information
jajhall committed Jan 22, 2025
1 parent 04a38cf commit 3bf53ee
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 0 deletions.
1 change: 1 addition & 0 deletions src/mip/HighsMipAnalysis.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -158,4 +158,5 @@ void HighsMipAnalysis::reportMipTimer() {
HighsInt(node_search_time.size()), node_search_time);
analyseVectorValues(nullptr, "Dive time", HighsInt(dive_time.size()),
dive_time);
mip_timer.reportFjClock(this->model_name, mip_clocks);
}
9 changes: 9 additions & 0 deletions src/mip/MipTimer.h
Original file line number Diff line number Diff line change
Expand Up @@ -342,6 +342,15 @@ class MipTimer {
csvMipClockList(model_name, mip_clock_list, mip_timer_clock, kMipClockTotal,
header, end_line);
};
void reportFjClock(std::string& model,
const HighsTimerClock& mip_timer_clock) {
HighsTimer* timer_pointer = mip_timer_clock.timer_pointer_;
HighsInt iClock = mip_timer_clock.clock_[kMipClockFeasibilityJump];
printf("grepFK,%s,%s,%d,%g\n", model.c_str(),
timer_pointer->clock_names[iClock].c_str(),
int(timer_pointer->clock_num_call[iClock]),
timer_pointer->read(iClock));
}
};

#endif /* MIP_MIPTIMER_H_ */

0 comments on commit 3bf53ee

Please sign in to comment.