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

0 9 16 
2 4 22 
5 11 18 
6 12 29 
7 20 24 
8 21 28 
13 15 25