loading SCIP...
n: 60 m: 16 packed: 7 density: 35 nodes: 0 solverTime: 31 buildTime: 0 solved: false

4 22 46 
5 8 49 
10 12 28 
11 20 51 
16 44 52 
19 30 47 
40 48 58