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

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