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

2 4 32 
7 29 37 
8 12 19 
14 21 33 
18 36 38 
23 25 30