SCIP.jl icon indicating copy to clipboard operation
SCIP.jl copied to clipboard

Published 20 hours ago • verified publisher icon scipopt

SCIP optimizer status likely ser incorrectly.

Open jd-lara opened this issue 1 year ago • 4 comments

JuMP can't retrieve the result of a successful optimize! call giving the result below. It might be a case that the status is set incorrectly in the MOI wrapper.

image

jd-lara avatar Mar 10 '24 00:03 jd-lara

The problem goes away if direct_mode isn't used. So far I tried to reproduce in a small problem and didn't happen.

jd-lara avatar Mar 10 '24 00:03 jd-lara

are you sture this is SCIP-related? It seems like a JuMP error no?

matbesancon avatar Apr 15 '24 15:04 matbesancon

cc @odow

matbesancon avatar Apr 20 '24 07:04 matbesancon

We need a reproducible example, or the output of JuMP.solution_summary(model).

We only throw this error if the termination status is MOI.OPTIMIZE_NOT_CALLED: https://github.com/jump-dev/JuMP.jl/blob/509ab616192bc90891c329010e2205f414c8cf94/src/optimizer_interface.jl#L716-L719

SCIP maps SCIP_STATUS_UNKNOWN to MOI.OPTIMIZE_NOT_CALLED: https://github.com/scipopt/SCIP.jl/blob/2d3897668d4f718f8a04e4a8d708ac938df48a93/src/MOI_wrapper/results.jl#L9

So perhaps the fix probably needs to happen in SCIP.jl. I don't know why the status would be unknown; it looks like the solver found a solution.

odow avatar Apr 21 '24 08:04 odow