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

0 8 11 
1 12 28 
2 14 18 
3 17 26 
4 6 23 
5 16 22 
7 13 24 
15 19 20