loading SCIP... n: 50 m: 31 packed: 9 density: 56 nodes: 0 solverTime: 32 buildTime: 0 solved: false 3 20 43 9 26 27 11 21 42 14 22 41 16 30 46 18 39 44 19 23 32 28 29 33 31 38 45