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

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