loading SCIP...
n: 30 m: 10 packed: 6 density: 60 nodes: 0 solverTime: 32 buildTime: 0 solved: false

0 4 6 
2 11 16 
3 18 25 
5 12 26 
7 9 27 
22 28 29