loading SCIP... n: 50 m: 32 packed: 9 density: 56 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 22 24 2 3 47 9 13 26 11 31 38 12 46 48 14 21 43 16 18 20 25 29 40 37 41 42