fixed incorrect reporting of an infeasible solution due to timeout

nguidotti · nguidotti · commit 5b235541e410 · 2025-10-29T16:39:54.000+01:00
diff --git a/cpp/src/dual_simplex/branch_and_bound.cpp b/cpp/src/dual_simplex/branch_and_bound.cpp
@@ -485,11 +485,13 @@ mip_status_t branch_and_bound_t<i_t, f_t>::set_final_solution(mip_solution_t<i_t
     }
   }
 
-  if (stats_.nodes_explored > 0 && stats_.nodes_unexplored == 0 && upper_bound == inf) {
-    settings_.log.printf("Integer infeasible.\n");
-    mip_status = mip_status_t::INFEASIBLE;
-    if (settings_.heuristic_preemption_callback != nullptr) {
-      settings_.heuristic_preemption_callback();
+  if (status_ == mip_exploration_status_t::COMPLETED) {
+    if (stats_.nodes_explored > 0 && stats_.nodes_unexplored == 0 && upper_bound == inf) {
+      settings_.log.printf("Integer infeasible.\n");
+      mip_status = mip_status_t::INFEASIBLE;
+      if (settings_.heuristic_preemption_callback != nullptr) {
+        settings_.heuristic_preemption_callback();
+      }
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -485,11 +485,13 @@ mip_status_t branch_and_bound_t<i_t, f_t>::set_final_solution(mip_solution_t<i_t`
`485`	`485`	`}`
`486`	`486`	`}`
`487`	`487`
`488`		`- if (stats_.nodes_explored > 0 && stats_.nodes_unexplored == 0 && upper_bound == inf) {`
`489`		`- settings_.log.printf("Integer infeasible.\n");`
`490`		`- mip_status = mip_status_t::INFEASIBLE;`
`491`		`- if (settings_.heuristic_preemption_callback != nullptr) {`
`492`		`- settings_.heuristic_preemption_callback();`
	`488`	`+ if (status_ == mip_exploration_status_t::COMPLETED) {`
	`489`	`+ if (stats_.nodes_explored > 0 && stats_.nodes_unexplored == 0 && upper_bound == inf) {`
	`490`	`+ settings_.log.printf("Integer infeasible.\n");`
	`491`	`+ mip_status = mip_status_t::INFEASIBLE;`
	`492`	`+ if (settings_.heuristic_preemption_callback != nullptr) {`
	`493`	`+ settings_.heuristic_preemption_callback();`
	`494`	`+ }`
`493`	`495`	`}`
`494`	`496`	`}`
`495`	`497`