loading SCIP... n: 50 m: 22 packed: 9 density: 56 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 36 43 1 21 44 3 22 39 4 10 47 5 17 38 6 15 40 7 12 25 13 24 30 20 35 37