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

0 30 34 
2 10 14 
3 22 36 
5 17 28 
11 15 16 
12 27 39 
20 32 35 
31 37 38