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

0 2 11 
1 17 26 
3 4 5 
6 20 21 
7 15 18 
8 13 25 
10 14 22 
16 28 29