loading SCIP...
n: 40 m: 17 packed: 7 density: 53 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 25 37 
1 3 31 
2 8 14 
5 19 20 
11 28 39 
16 21 33 
17 18 34