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

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