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

0 13 32 
12 44 46 
21 40 58 
25 50 53 
27 31 33 
52 54 57