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

0 3 26 
1 24 29 
2 6 28 
4 11 17 
7 15 20 
8 22 27 
9 16 19 
10 14 18