search

scipopt / PySCIPOpt

Python interface for the SCIP Optimization Suite
https://pyscipopt.readthedocs.io/en/latest/
MIT License
810 stars 252 forks source link

getSols returns empty array #838

Closed cjrodriguez98 closed 4 months ago

cjrodriguez98 commented 6 months ago

Describe the bug I am trying to use the count feature. I correctly get the number of solutions but when I try to get the solutions an empty array is returned. I know this has previously been addressed in #248 and #549, I can see the merged changes in my sources thats why I am opening this issue.

To Reproduce The parameters I am ussing. model.setHeuristics(3) model.setBoolParam("constraints/countsols/collect", True) model.hideOutput()

Expected behavior Retrive an array of solutions.

System

Joao-Dionisio commented 6 months ago

Hello, @cjrodriguez98! Can you please share a minimal reproducible example, something small-ish that yields this error, so that we can try to fix it?

cjrodriguez98 commented 6 months ago

STATISTICS Problem name : MCS Variables : 568 (124 binary, 0 integer, 0 implicit integer, 444 continuous) Constraints : 0 initial, 676 maximal OBJECTIVE Sense : minimize VARIABLES [binary] : obj=2, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=3, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=3, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=3, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=3, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=3, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=2, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] CONSTRAINTS [linear] : [C] +[C] -[C] -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] +[C] +[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] -[C] +[C] >= 0; [linear] : -[C] +[C] +[C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] -[C] +[C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] -[C] +[C] >= 0; [linear] : -[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] +[C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] +[C] +[C] >= 0; [linear] : -[C] +[C] +[C] -[C] +[C] >= 0; [linear] : -[C] +[C] +[C] -[C] +[C] -[C] +[C] >= 0; [linear] : [C] +[C] -[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] >= 0; [linear] : -[C] +[C] +[C] +[C] -[C] >= 0; [linear] : -[C] +[C] +[C] -[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] -[C] >= 0; [linear] : -[C] +2[C] +[C] +[C] -[C] +[C] -[C] +[C] >= 0; [linear] : +2[C] -[C] -[C] +[C] >= 0; [linear] : -[C] +[C] +[C] -[C] +[C] -[C] +[C] +[C] +[C] >= 0; [linear] : [C] +3[C] -4[C] -[C] -[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] >= 0; [linear] : -[C] -[C] +[C] +[C] +[C] >= 0; [linear] : -[C] -[C] +[C] -[C] +[C] +[C] >= 0; [linear] : -0.2557[C] -4.9414[C] -59.81[C] +59.81[C] -3.547[C] +3.547[C] +13.0279[C] -13.0279[C] -1.496[C] -1.7867[C] -0.5191[C] +59.81[C] -2.8328[C] -0.8977[C] -3.7478[C] +59.81[C] +4.1182[C] -59.81[C] +3.7478[C] -0.361[C] -0.0709[C] -0.129[C] -0.205[C] -[C] >= 0; [linear] : [C] -[C] +[C] -[C] >= 0; [linear] : [C] -[C] +[C] +[C] +[C] >= 0; [linear] : -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] -[C] +[C] +[C] +[C] >= 0; [linear] : -[C] +[C] +[C] >= 0; [linear] : +2[C] -2[C] +[C] -[C] +[C] >= 0; [linear] : [C] -2[C] +2[C] -0.5[C] +[C] -[C] +[C] +[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] +[C] >= 0; [linear] : [C] -[C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] -[C] >= 0; [linear] : -[C] +[C] -[C] +[C] +[C] +[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] +[C] -[C] -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] +[C] -[C] +[C] >= 0; [linear] : +2[C] -2[C] +[C] -[C] -[C] +[C] +[C] +[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] +[C] >= 0; [linear] : -[C] -[C] +[C] +[C] +[C] >= 0; [linear] : -[C] +[C] +[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : -[C] >= 0; [linear] : [C] -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] +[C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] -[C] +[C] +[C] +[C] +[C] >= 0; [linear] : -[C] +[C] +[C] -[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] >= 0; [linear] : +2[C] -2[C] +[C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] +[C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] +[C] -[C] -[C] +[C] >= 0; [linear] : -[C] -[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] -[C] +[C] +[C] -[C] +[C] >= 0; [linear] : [C] -[C] -[C] +[C] +[C] +[C] -[C] +[C] +[C] +[C] >= 0; [linear] : -[C] -[C] +[C] -[C] +[C] +[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] +[C] >= 0; [linear] : -[C] +2[C] -[C] +[C] -[C] -[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] -[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] >= 0; [linear] : -[C] -[C] +[C] +[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] +[C] >= 0; [linear] : [C] -[C] -[C] +[C] +[C] +[C] >= 0; [linear] : -[C] -[C] +[C] +[C] -[C] +[C] +[C] >= 0; [linear] : +2[C] -2[C] +[C] -[C] +[C] >= 0; [linear] : [C] -[C] -[C] +[C] +[C] +[C] >= 0; [linear] : -[C] -[C] +[C] +[C] +[C] +[C] >= 0; [linear] : -[C] -[C] +[C] +[C] +[C] +[C] >= 0; [linear] : -4[C] +3[C] +[C] -[C] -[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] >= 0; [linear] : -[C] +[C] +[C] -[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] +[C] -[C] +[C] +[C] +[C] >= 0; [linear] : -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] +[C] +[C] +[C] >= 0; [linear] : [C] -[C] -[C] +[C] +[C] >= 0; [linear] : -[C] -[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] >= 0; [linear] : -2[C] +[C] +[C] +[C] >= 0; [linear] : -[C] -3[C] +4[C] +[C] +[C] -[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] +[C] >= 0; [linear] : [C] +[C] -[C] -[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] >= 0; [linear] : -[C] +[C] +[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] >= 0; [linear] : -[C] +[C] -[C] -[C] +[C] +[C] +[C] +[C] >= 0; [linear] : [C] -[C] -[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] -[C] +[C] >= 0; [linear] : [C] +[C] -[C] -[C] +[C] >= 0; [linear] : [C] -[C] +[C] >= 0; [linear] : [C] >= 0; [linear] : [C] >= 0; [linear] : [C] >= 0; [linear] : [C] >= 0; [linear] : [C] >= 0; [linear] : [C] >= 0; [linear] : [C] >= 0; [linear] : -[C] +[C] -[C] +[C] >= 0; [linear] : -[C] +[C] +[C] >= 0; [linear] : [C] -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] -[C] -[C] +[C] +[C] +[C] >= 0; [linear] : [C] +[C] -[C] +[C] -[C] -[C] -[C] +[C] >= 0; [linear] : -[C] +[C] -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] +[C] >= 0; [linear] : [C] +[C] -[C] -[C] -[C] +[C] >= 0; [linear] : -[C] +[C] +[C] -[C] -[C] +[C] >= 0; [linear] : -[C] +[C] +[C] -[C] -[C] +[C] >= 0; [linear] : -[C] +[C] +[C] >= 0; [linear] : -[C] +[C] +[C] +[C] +[C] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : -[B] +[B] >= 0; [linear] : +2[B] +[B] +[B] +[B] +[B] +[B] +3[B] +2[B] +2[B] +[B] +3[B] +[B] +2[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +2[B] +2[B] +2[B] +[B] +2[B] +[B] +2[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +2[B] +[B] +[B] +2[B] +[B] +3[B] +2[B] +2[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +3[B] +[B] +[B] +2[B] +[B] +[B] +[B] +[B] +3[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +2[B] +2[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +[B] +2[B] +[B] +[B] +[B] +[B] +[B] +[B] +2[B] +[B] <= 1; [linear] : -0.001[C] <= -0.001; [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] -[C] <= -1; [indicator] : = 1 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); [linear] : -[C] +[C] <= 0; [indicator] : = 0 -> = 0 (); END

cjrodriguez98 commented 6 months ago

I could not append the model.cip file, put I paste its content in here. Let me know if you can reproduce it with that.

To provide more context I am then performing count on this problem and while I obtain a solCount of 7 the solutions array is empty.

Opt-Mucca commented 6 months ago

For counting solutions: Have you simply tried getNSolsFound()? That is preferable to setting the parameter countsols and relying on the constraint handler.

Edit: After talking to a colleague: If you enable the countsols then SCIP is essentially hiding the solutions from itself. So it stores the solutions internally, and gives you a valid count of solutions found, but SCIP itself does not have access them (to do things like prune the search tree etc or terminate the search early). This will massively impact performance however, and provide a different solution path to default SCIP. So if you just want the umber of solutions found during the solve process, then use getNSolsFound().

Joao-Dionisio commented 6 months ago

Hey @cjrodriguez98! What's normally done to share cip files on github is to change its file extension to txt. Can you do that, please? I'm getting an unexpected end of file error....

I see that you have many indicator constraints. After looking at the getSols method, if I don't find anything I'll probably look into them, as Issue #717 shares some problems with them.

cjrodriguez98 commented 6 months ago

model.txt

Okay, many thanks @Joao-Dionisio

Joao-Dionisio commented 6 months ago

Hey @cjrodriguez98! Sorry for taking a while to answer. I cannot reproduce your problem, I'm able to get the solution:

image

Can you tell me which version of pyscipopt you are using? (There is the model.printVersion() function)

cjrodriguez98 commented 6 months ago

Hello @Joao-Dionisio! Thank you!

Yes, I can optimize() and get the solution. But I cannot get the solution array when using count().

I am using pyscipopt 5.0.0

from pyscipopt import Model

m = Model() m.readProblem('model.cip') m.setHeuristics(3) m.setBoolParam("constraints/countsols/collect", True) m.hideOutput()

m.count() print(m.printVersion()) print(m.getNCountedSols()) print(m.getSols())

Thanks in advance!

Joao-Dionisio commented 6 months ago

Ohh sorry, I didn't read your problem properly :) Yeah, I agree that something is strange. But can you elaborate on what you want to do? I'd never seen the count method, it might be quite old. Can you not achieve what you want with the getSols and getNSolsFound methods like Mark mentioned?

Looking at the documentation, I'm not even sure why we have the count method in the first place, it seems to be something for SCIP, not PySCIPOpt.

cjrodriguez98 commented 6 months ago

No worries!

From my understanding the count method it is the equivalent of populate in other commercial solvers. My problem requires that when a solution is found a restriction is added to remove that solution from the solution space so it cannot be part of a larger solution. To explain it breifly we try to find a set of solutions that must be minimal, so we are not interested in bigger sets if they contain the minimal solution therefore the added constraint. But as we add more constraints the problem becomes harder and harder. So with the count method we could encounter all the solutions of certain length at once, instead of finding them one by one. (I do not know if I explained myself)

In my expirience scip is doing a fenomenal job finding the correct number of solutions (7) but I cannot get the solutions.

Let me know if I could help you in any way or provide more context.

Thanks!

Joao-Dionisio commented 6 months ago

Ah okay, I think I understand what you're trying to do @cjrodriguez98. There would be alternatives if finding solutions 1 by 1 were a possibility (using event handlers, or setting the solution limit to 1 and then looping), but if you want access to all the vertices, then it seems like you do need the count method.

I don't think I'll be able to help out much, maybe @Opt-Mucca has some more insights, given your context.

Joao-Dionisio commented 5 months ago

Hello, @cjrodriguez98!

Did you take a look at this page? It says what one needs to do to get the solutions. It also says it only looks at the active variables. However, when disabling presolve with your problem, I get these errors:

image

I don't know what might be causing them. I know this doesn't fix anything, just trying to give you more information :)

cjrodriguez98 commented 5 months ago

Hey @Joao-Dionisio,

Yes, we have risen thin issue, (ELEAVE56) in another page of scip.

But yeah, I see that scip is calculating the number of solutions correctly but not returning the solution array.

Thanks anyway :)

Joao-Dionisio commented 5 months ago

Hey @cjrodriguez98! Did you end up getting an answer from that other page of SCIP?

Joao-Dionisio commented 4 months ago

I'm closing the issue because it's stale, but feel free to reopen if you believe it makes sense! Talking with Mark, it seems that the way the count method works makes it impossible to populate the solution pool. So probably this would have to be changed in SCIP to achieve what you want.