loading SCIP... n: 50 m: 75 packed: 12 density: 75 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 30 46 2 13 43 3 4 48 6 11 44 8 41 47 12 25 36 15 16 23 18 21 31 19 26 37 20 27 28 32 38 42 34 35 40