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

0 16 23 
1 12 15 
2 17 27 
4 5 8 
6 22 25 
11 20 28 
13 18 29 
14 19 24