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

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