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

3 7 26 
4 22 29 
8 21 28 
10 20 37 
12 31 39 
13 19 27 
15 24 25