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

1 33 34 
3 12 13 
4 15 24 
5 37 39 
8 17 29 
11 18 20 
21 36 38 
28 31 32