loading SCIP...
n: 40 m: 11 packed: 6 density: 46 nodes: 0 solverTime: 31 buildTime: 0 solved: false

0 17 33 
1 35 38 
2 13 34 
3 6 14 
9 12 37 
10 16 36