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

1 23 24 
2 7 39 
3 28 36 
8 9 22 
10 27 38 
12 25 37 
14 21 35 
17 18 32