assertion failed: solution.col(v.active) > 0.0

[Bastacyclop]

error: thread '<unnamed>' panicked at 'assertion failed: solution.col(v.active) > 0.0'
code location:

egg/src/lp_extract.rs

Line 190 in ab0692a

assert!(solution.col(v.active) > 0.0);

Is this a bug in LP extraction, what does hitting this assertion mean?

[mwillsey]

Can you show the results of this log line:

egg/src/lp_extract.rs

Line 173 in ab0692a

log::info!(

? I suspect that it failed to find a solution.

[Bastacyclop]

Hey, I just reproduced the error, and this is logged before the crash:
[INFO egg::lp_extract] CBC status Finished, LinearRelaxationInfeasible

It may be the same issue as #207

[khaki3]

FYI: I found that this can be caused by a short extraction time (with the StoppedOnTime status) as well. Setting a longer timeout might solve it sometimes.

Could be related: coin-or/Cbc#358