loading SCIP...
n: 30 m: 86 packed: 9 density: 90 nodes: 0 solverTime: 31 buildTime: 0 solved: false

0 13 17 
1 11 22 
2 7 16 
3 12 21 
5 14 15 
6 19 23 
8 10 26 
9 20 24 
18 25 27