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

6 21 28 
8 9 15 
10 12 24 
23 26 27