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

0 7 29 
2 3 9 
4 17 21 
5 8 23 
6 11 15 
12 13 26 
14 16 19 
20 24 28