loading SCIP...
n: 40 m: 40 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false

1 33 34 
2 24 39 
3 4 13 
5 15 17 
6 11 36 
8 14 26 
10 19 35 
18 27 29 
21 25 32 
22 23 31