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

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