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

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