loading SCIP...
n: 30 m: 20 packed: 6 density: 60 nodes: 0 solverTime: 0 buildTime: 0 solved: false

0 10 13 
1 15 19 
2 7 28 
3 6 9 
5 26 27 
16 17 18