loading SCIP...
n: 40 m: 31 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 32 34 
1 26 39 
2 9 11 
4 14 25 
5 7 8 
10 15 27 
13 33 37 
18 22 36