loading SCIP...
n: 30 m: 46 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false

0 13 16 
1 9 26 
2 8 11 
3 22 28 
4 5 27 
6 14 25 
7 20 23 
18 19 21