loading SCIP...
n: 30 m: 11 packed: 5 density: 50 nodes: 0 solverTime: 0 buildTime: 0 solved: false

1 17 18 
2 14 16 
4 6 7 
5 11 12 
19 20 21