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

1 21 27 
2 10 36 
4 25 26 
8 9 37 
14 34 38 
16 24 28 
18 33 35 
29 30 31