loading SCIP...
n: 60 m: 13 packed: 6 density: 30 nodes: 0 solverTime: 16 buildTime: 0 solved: false

4 7 39 
6 37 40 
8 43 48 
18 31 57 
19 25 36 
38 46 52