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

1 7 38 
2 29 30 
5 8 34 
6 31 36 
9 12 21 
13 20 27 
15 35 39