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

0 6 28 
1 24 27 
2 3 25 
4 13 20 
5 8 18 
7 22 26 
9 14 15 
11 16 17