loading SCIP... n: 50 m: 27 packed: 9 density: 56 nodes: 0 solverTime: 32 buildTime: 0 solved: false 6 31 49 7 15 18 8 30 34 10 25 36 11 39 40 12 16 33 14 28 47 17 26 27 19 35 42