loading SCIP... n: 50 m: 33 packed: 9 density: 56 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 16 21 2 18 43 4 6 8 5 26 40 11 15 41 13 17 36 19 38 48 22 42 47 30 31 44