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

0 18 31 
1 23 33 
2 20 22 
3 24 34 
5 8 39 
12 25 27 
17 26 32 
19 21 30