loading SCIP...
n: 30 m: 14 packed: 5 density: 50 nodes: 0 solverTime: 32 buildTime: 0 solved: false

0 19 27 
1 10 28 
2 18 22 
3 17 23 
7 8 25