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

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