loading SCIP...
n: 30 m: 193 packed: 10 density: 100 nodes: 0 solverTime: 688 buildTime: 0 solved: true

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