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

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