loading SCIP... n: 50 m: 30 packed: 9 density: 56 nodes: 0 solverTime: 31 buildTime: 0 solved: false 4 18 31 5 24 49 6 20 22 7 12 43 9 19 28 11 32 45 13 40 48 25 39 42 34 38 41