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

1 11 23 
2 7 17 
3 22 26 
6 13 24 
9 14 25 
16 20 27 
18 19 21