loading SCIP...
n: 40 m: 22 packed: 7 density: 53 nodes: 0 solverTime: 15 buildTime: 0 solved: false

1 10 24 
3 11 18 
6 7 21 
8 25 29 
9 19 33 
15 30 34 
26 27 39