loading SCIP...
n: 60 m: 21 packed: 8 density: 40 nodes: 0 solverTime: 0 buildTime: 0 solved: false

4 51 58 
8 12 57 
9 27 37 
10 29 31 
11 40 48 
16 26 46 
17 19 43 
18 22 38