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

0 6 14 
2 4 27 
3 17 29 
7 11 23 
8 15 25 
9 12 13 
24 26 28