loading SCIP...
n: 40 m: 144 packed: 12 density: 92 nodes: 0 solverTime: 94 buildTime: 0 solved: false

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