loading SCIP... n: 50 m: 40 packed: 9 density: 56 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 27 39 1 2 9 8 30 36 10 22 46 14 20 38 18 23 26 24 28 43 25 44 47 32 45 49