loading SCIP...
n: 40 m: 54 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false

0 26 36 
1 24 32 
3 13 35 
4 6 20 
7 25 33 
9 23 34 
10 21 39 
11 29 30 
31 37 38