loading SCIP... n: 50 m: 37 packed: 9 density: 56 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 47 49 2 8 35 3 7 13 11 21 25 12 26 36 15 41 46 16 39 42 18 32 44 22 27 28