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

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