loading SCIP...
n: 40 m: 10 packed: 6 density: 46 nodes: 0 solverTime: 31 buildTime: 0 solved: false

4 7 20 
6 27 31 
9 22 23 
12 24 25 
14 28 33 
18 21 35