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

0 1 16 
2 8 17 
3 20 22 
10 12 21 
11 27 29 
18 25 26