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

7 24 27 
10 31 47 
11 39 54 
13 48 52 
16 41 44 
22 42 49 
30 35 56 
34 46 53