loading SCIP...
n: 40 m: 20 packed: 6 density: 46 nodes: 0 solverTime: 15 buildTime: 0 solved: false

5 9 32 
6 22 34 
11 15 23 
12 24 36 
13 14 39 
17 20 30