loading SCIP... n: 50 m: 176 packed: 15 density: 93 nodes: 0 solverTime: 172 buildTime: 0 solved: false 1 10 31 2 9 24 3 13 20 4 29 41 5 22 39 6 11 44 7 14 15 8 26 36 12 23 45 17 21 42 18 32 40 19 34 48 25 35 43 28 30 37 38 46 47