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

3 9 33 
5 22 24 
11 15 30 
12 31 38 
13 14 28 
19 34 37 
27 29 35