loading SCIP... n: 50 m: 56 packed: 12 density: 75 nodes: 0 solverTime: 47 buildTime: 0 solved: false 2 25 36 3 12 26 5 8 41 6 20 38 7 10 28 9 34 47 14 40 45 15 17 43 16 29 39 19 21 33 22 37 42 30 32 46