loading SCIP...
n: 30 m: 85 packed: 9 density: 90 nodes: 0 solverTime: 31 buildTime: 0 solved: false

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