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

1 4 10 
2 3 6 
7 16 38 
8 11 27 
9 24 34 
13 20 30 
17 35 37 
18 28 31