[BUG] MIP heuristics does not always report a heuristic incumbent solution when found #985
Description
During the execution of the MIP solver where the heuristics and B&B run in parallel, an incumbent solution found by the heuristic solver is not always reported in the log. For instance, the following log reports a solution with an objective of 80508.113052, in a case where root relaxation times out after reaching 4000 sec. time limit, which means the reported solution is a heuristic solution. Yet this incumbent never appears in the log where it should be reported when discovered.
Time limit reached. Stopping the solver...
Explored 0 nodes in 4000.03s.
Absolute Gap inf Objective inf Lower Bound -inf
Root LP dual objective (last): 2.0356422844160581e+06
Solution objective: 80508.113052 , relative_mip_gap inf solution_bound -inf presolve_time 95.401792 total_solve_time 4000.915131 max constraint violation 0.000001 max int violation 0.000000 max var bounds violation 0.000004 nodes 0 simplex_iterations 341850
The expected behavior should be one where the heuristic solution 80508.113052 is reported in the log when it is discovered (during dual-simplex or later).
The mps and log files for this case are available internally.