loading SCIP... n: 50 m: 30 packed: 9 density: 56 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 31 47 2 10 17 4 11 19 7 13 29 14 23 27 16 36 42 18 33 34 22 38 41 25 43 46