loading SCIP...
n: 40 m: 4 packed: 3 density: 23 nodes: 0 solverTime: 0 buildTime: 0 solved: false

3 32 38 
8 10 30 
15 17 36