loading SCIP...
n: 40 m: 7 packed: 4 density: 30 nodes: 0 solverTime: 31 buildTime: 0 solved: false

2 5 33 
13 15 27 
17 29 32 
23 24 38