loading SCIP...
n: 60 m: 7 packed: 4 density: 20 nodes: 0 solverTime: 32 buildTime: 0 solved: false

4 41 58 
7 25 56 
8 29 51 
20 30 46