loading SCIP... n: 50 m: 52 packed: 11 density: 68 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 17 40 1 15 33 3 25 32 4 6 10 5 38 43 8 11 45 16 31 39 18 41 48 19 20 30 21 28 47 34 37 44