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

1 16 36 
2 31 39 
3 23 35 
4 14 28 
5 10 15 
9 30 32 
11 26 37 
12 18 25 
17 19 29 
22 24 34