Forum Discussion

FICO's avatar
FICO
Community Manager
3 years ago

addmipsol: the solution is loaded correctly, but not evaluated and used in the heuristic procedure

Hi everyone!

I am solving a MILP with many binary variables.

With some heuristic I created a feasible solution ( I know that it's feasible because I have a check inside mosel which guarantess the correctness ) and I add it partially to the optimizer.

In the log (see below) it says that the solution is feasible, but it is not evaluated and used throughout the branch and bound procedure.

" Its Type  BestSoln  BestBound  Sols  Add  Del   Gap   GInf  Time

User solution (HeurSol) searched: Found feasible solution through local search.

Optimiser loaded solution 'HeurSol' status=3

Heuristic search started

R     3135551.099 9286.707352   2         99.70%    0  110"

On the other side, if I add a solution from a previous run, it is considered and used (e.g., see the new logs)

" Its Type   BestSoln   BestBound  Sols   Add   Del    Gap    GInf  Time

User solution (HeurSol) searched: Found feasible solution through local search.

U        194798.6239 9286.707352     2                95.23%      0   129

Heuristic search started

Heuristic R running (50000 LP iterations in  43.3 seconds)

R        194576.3239 9286.707352     3                95.23%      0   211"

I wanted to know how the heuristic search in the root node behaves and why the first solution is not considered, since I know that its value is similar to the latter solution provided.

Thanks for helping!

No RepliesBe the first to reply