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

3 5 10 
11 23 25 
12 20 31 
15 24 34 
16 35 39