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

1 4 13 
3 31 51 
9 46 48 
15 37 43 
19 39 44 
24 28 49 
27 45 57