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

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