loading SCIP...
n: 30 m: 27 packed: 6 density: 60 nodes: 0 solverTime: 31 buildTime: 0 solved: false

1 17 20 
2 21 22 
4 7 8 
6 23 26 
14 16 28 
18 24 27