loading SCIP...
n: 40 m: 21 packed: 8 density: 61 nodes: 0 solverTime: 31 buildTime: 0 solved: false

3 10 33 
5 36 38 
7 20 34 
8 28 39 
9 13 19 
12 23 29 
16 21 26 
22 30 31