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

0 9 26 
2 4 19 
3 15 27 
8 21 23 
12 20 25 
14 22 29 
16 24 28