loading SCIP...
n: 30 m: 24 packed: 6 density: 60 nodes: 0 solverTime: 16 buildTime: 0 solved: false

3 25 27 
8 15 16 
9 19 29 
10 18 21 
12 23 24 
14 20 22