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

1 9 11 
2 34 36 
8 16 35 
13 30 31 
15 17 37 
18 20 29 
19 25 27 
21 33 38