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

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