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

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