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

3 7 25 
4 16 30 
6 28 29 
8 9 36 
12 19 33 
18 31 39 
22 27 32