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

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