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

3 13 36 
5 7 26 
10 19 28 
12 14 20 
16 32 38 
18 23 35 
22 24 37