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

1 8 32 
2 17 20 
4 30 36 
5 12 34 
7 13 38 
10 23 28 
21 25 33 
26 27 37