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

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