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

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