loading SCIP... n: 50 m: 32 packed: 9 density: 56 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 1 34 2 27 41 3 17 28 8 20 42 13 22 35 14 16 37 18 29 36 31 38 45 32 46 47