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

4 19 22 
5 17 28 
7 24 26 
8 11 23 
9 12 20 
14 15 39 
16 29 36