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

1 9 10 
2 3 6 
4 19 23 
7 17 26 
11 15 29 
12 14 22 
13 25 27 
21 24 28