loading SCIP... n: 50 m: 29 packed: 9 density: 56 nodes: 0 solverTime: 0 buildTime: 0 solved: false 1 35 37 3 13 24 4 12 30 11 15 21 14 27 28 16 23 40 18 31 32 19 29 33 39 43 46