loading SCIP... n: 50 m: 25 packed: 9 density: 56 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 31 48 1 15 33 6 20 43 8 23 26 9 35 36 10 22 45 14 40 41 18 44 46 24 42 47