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

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