loading SCIP...
n: 40 m: 59 packed: 11 density: 84 nodes: 0 solverTime: 32 buildTime: 0 solved: false

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