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

1 9 21 
2 12 27 
3 17 26 
5 6 7 
11 13 16 
22 23 28