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

0 5 27 
2 23 24 
3 8 29 
6 21 22 
7 13 14 
11 12 17 
16 18 28 
20 25 26