diff --git a/src/mip/HighsMipAnalysis.cpp b/src/mip/HighsMipAnalysis.cpp index 7a6ea2d486..fb6e77da80 100644 --- a/src/mip/HighsMipAnalysis.cpp +++ b/src/mip/HighsMipAnalysis.cpp @@ -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); } diff --git a/src/mip/MipTimer.h b/src/mip/MipTimer.h index 30516a57e1..3c395c3af5 100644 --- a/src/mip/MipTimer.h +++ b/src/mip/MipTimer.h @@ -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_ */