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

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