loading SCIP...
n: 40 m: 217 packed: 13 density: 100 nodes: 0 solverTime: 172 buildTime: 0 solved: true

1 12 23 
2 26 39 
3 16 20 
4 18 38 
5 11 28 
6 34 37 
7 8 25 
9 22 32 
10 17 21 
13 19 36 
14 29 31 
15 24 30 
27 33 35