loading SCIP...
n: 30 m: 40 packed: 7 density: 70 nodes: 0 solverTime: 0 buildTime: 0 solved: false

1 11 14 
2 18 27 
3 7 13 
4 9 19 
6 10 23 
15 21 25 
16 20 26