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

3 19 35 
6 8 26 
7 13 33 
9 12 21 
10 22 24 
15 18 38 
16 32 36