loading SCIP...
n: 30 m: 46 packed: 7 density: 70 nodes: 0 solverTime: 32 buildTime: 0 solved: false

0 23 24 
1 10 21 
3 13 25 
4 11 15 
6 8 19 
7 16 20 
17 18 27