loading SCIP... n: 50 m: 31 packed: 9 density: 56 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 34 38 3 35 40 5 16 41 6 13 15 7 28 29 11 33 45 14 20 46 22 25 43 26 32 49