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

2 25 30 
11 31 39 
12 13 35 
14 17 29 
28 36 37