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

1 36 46 
2 26 56 
4 38 43 
8 18 35 
13 15 40 
33 44 59 
34 45 55