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

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