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

1 11 13 
2 14 19 
4 7 10 
6 16 27 
9 18 26 
15 24 28 
17 20 23