loading SCIP... n: 50 m: 47 packed: 12 density: 75 nodes: 0 solverTime: 31 buildTime: 0 solved: false 4 12 39 6 20 31 7 42 43 13 17 34 14 19 27 15 22 45 16 18 30 21 41 47 26 44 48 29 32 36 33 37 38 35 40 46