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

1 21 22 
2 24 25 
4 8 16 
5 17 39 
7 19 36 
9 23 33 
15 37 38 
20 27 32