loading SCIP... n: 50 m: 46 packed: 10 density: 62 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 21 38 1 3 35 4 17 33 5 8 15 6 26 40 10 41 46 13 18 29 19 43 48 25 27 34 28 32 45