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

0 19 28 
2 12 21 
3 13 27 
5 8 17 
7 11 14 
9 10 25 
16 18 20