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

2 23 26 
3 12 14 
5 8 28 
9 10 24 
11 16 18 
13 20 27