loading SCIP... n: 50 m: 21 packed: 9 density: 56 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 8 23 2 17 35 7 12 32 9 14 30 16 19 22 18 29 39 21 26 47 33 38 43 34 40 42