loading SCIP...
n: 30 m: 52 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false

0 5 6 
2 8 27 
7 12 29 
9 15 18 
11 20 26 
13 19 21 
14 22 28 
16 23 25