loading SCIP... n: 50 m: 53 packed: 10 density: 62 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 25 37 1 5 27 7 44 46 9 40 43 15 28 39 17 30 33 18 24 36 23 29 42 31 34 47 35 41 45