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

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