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

0 12 13 
2 4 29 
3 9 18 
5 8 11 
6 10 27 
7 17 25 
15 20 23 
21 26 28