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

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