loading SCIP...
n: 40 m: 56 packed: 10 density: 76 nodes: 0 solverTime: 0 buildTime: 0 solved: false

0 14 15 
1 2 26 
4 32 39 
5 8 28 
7 17 27 
11 23 30 
13 21 31 
16 20 38 
18 22 34 
24 36 37