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

0 7 25 
1 6 27 
2 4 11 
8 15 23 
9 10 28 
18 19 26