loading SCIP... n: 50 m: 48 packed: 10 density: 62 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 42 48 2 39 46 3 15 40 6 24 49 9 13 31 11 37 45 14 17 20 16 28 35 18 36 43 30 38 47