loading SCIP...
n: 60 m: 10 packed: 5 density: 25 nodes: 0 solverTime: 15 buildTime: 0 solved: false

5 32 48 
11 24 25 
14 44 59 
29 47 53 
36 40 45