
Problem: 
- Name: unknown
  Lower bound: 2.0
  Upper bound: 2.0
  Number of objectives: 1
  Number of constraints: 22
  Number of variables: 12
  Number of nonzeros: 39
  Sense: minimize
Solver: 
- Status: ok
  Termination condition: optimal
  Statistics: 
    Branch and bound: 
      Number of bounded subproblems: 7
      Number of created subproblems: 7
  Error rc: 0
  Time: 0.006493806838989258
Solution: 
- number of solutions: 0
  number of solutions displayed: 0

verify_scont.py: OK: result validated
