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

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