loading SCIP... n: 50 m: 35 packed: 9 density: 56 nodes: 0 solverTime: 31 buildTime: 0 solved: false 1 13 45 4 11 27 7 22 43 9 10 34 14 16 37 17 46 47 18 33 39 24 30 44 32 35 38