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

3 17 18 
8 21 36 
9 33 38 
12 26 39 
13 16 20 
14 31 35 
15 19 24 
25 29 34