loading SCIP...
n: 40 m: 27 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false

0 24 25 
1 14 31 
2 6 37 
3 20 34 
8 30 36 
9 19 38 
11 12 29 
17 18 33