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

3 20 26 
5 18 24 
8 14 22 
10 11 21 
12 19 29 
16 17 28