loading SCIP...
n: 30 m: 86 packed: 9 density: 90 nodes: 0 solverTime: 0 buildTime: 0 solved: false

0 1 10 
2 16 20 
3 4 18 
5 6 7 
8 25 29 
9 15 23 
11 21 22 
12 24 28 
14 26 27