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

6 23 28 
7 17 38 
9 18 35 
10 30 33 
11 22 37 
14 29 36 
20 26 31