loading SCIP...
n: 30 m: 18 packed: 7 density: 70 nodes: 0 solverTime: 31 buildTime: 0 solved: false

1 5 9 
2 6 8 
3 16 20 
4 10 18 
7 17 26 
13 23 27 
14 21 24