loading SCIP...
n: 40 m: 17 packed: 5 density: 38 nodes: 0 solverTime: 15 buildTime: 0 solved: false

1 28 30 
3 4 17 
5 29 35 
6 8 10 
12 21 24