loading SCIP... n: 50 m: 44 packed: 9 density: 56 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 22 47 1 2 4 5 8 36 7 18 48 11 28 30 12 39 46 14 29 35 15 20 45 27 31 49