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

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