loading SCIP... n: 60 m: 31 packed: 10 density: 50 nodes: 0 solverTime: 31 buildTime: 0 solved: false 2 8 18 10 38 43 13 33 52 15 27 31 17 32 41 19 46 47 22 56 58 24 40 53 35 39 45 36 37 54