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

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