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

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