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

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