loading SCIP... n: 60 m: 21 packed: 8 density: 40 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 23 41 1 40 46 4 7 16 10 12 37 17 28 50 20 26 56 24 47 51 25 31 43