loading SCIP... n: 60 m: 22 packed: 8 density: 40 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 31 53 1 13 30 3 22 44 8 19 21 14 39 54 17 49 56 18 51 55 24 29 37