loading SCIP...
n: 30 m: 27 packed: 7 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 8 9 
2 20 24 
5 14 18 
7 19 21 
10 16 27 
13 22 25 
23 26 29