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

0 25 29 
1 9 27 
2 6 20 
3 8 28 
4 15 17 
5 10 12 
7 11 16 
21 24 26