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

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