Skip to content

Commit

Permalink
Added logging to Feasibility Jump
Browse files Browse the repository at this point in the history
  • Loading branch information
jajhall committed Dec 2, 2024
1 parent 5eed012 commit ebdeb9a
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions src/mip/HighsFeasibilityJump.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,7 @@
void HighsMipSolverData::feasibilityJump() {
// This is the (presolved) model being solved
const HighsLp* model = this->mipsolver.model_;
const HighsLogOptions& log_options = mipsolver.options_mip_->log_options;
printf("HighsMipSolverData::feasibilityJump called with primal bound of %g\n",
lower_bound);

Expand Down Expand Up @@ -92,6 +93,7 @@ void HighsMipSolverData::feasibilityJump() {
[=, &col_value, &found_integer_feasible_solution,
&objective_function_value](external_feasibilityjump::FJStatus status)
-> external_feasibilityjump::CallbackControlFlow {
highsLogUser(log_options, HighsLogType::kInfo, "From Feasibility Jump callback\n");
if (status.solution != nullptr) {
found_integer_feasible_solution = true;
col_value = std::vector<double>(status.solution,
Expand All @@ -111,7 +113,11 @@ void HighsMipSolverData::feasibilityJump() {
if (found_integer_feasible_solution) {
// Feasibility jump has found a solution, so call addIncumbent to
// (possibly) update the incumbent
highsLogUser(log_options, HighsLogType::kInfo, "Feasibility Jump has found an integer feasible solution with objective value %g\n",
objective_function_value);
addIncumbent(col_value, objective_function_value,
kSolutionSourceFeasibilityJump);
} else {
highsLogUser(log_options, HighsLogType::kInfo, "Feasibility Jump has not found an integer feasible solution\n");
}
}

0 comments on commit ebdeb9a

Please sign in to comment.