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

1 17 29 
2 8 24 
4 7 28 
5 20 26 
6 10 21 
11 13 19 
12 16 18 
14 25 27