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

1 19 27 
2 24 28 
3 11 25 
4 8 14 
7 10 26 
13 23 29 
15 16 20