loading SCIP...
n: 30 m: 63 packed: 8 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false

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