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

1 14 19 
3 20 27 
5 7 16 
13 24 28