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

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