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

1 25 29 
2 17 24 
3 19 22 
5 14 27 
7 9 15 
8 13 20 
11 18 23 
16 21 28