loading SCIP... n: 50 m: 54 packed: 11 density: 68 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 8 13 2 24 28 3 19 48 5 42 47 6 38 39 10 16 45 14 33 43 17 31 37 18 27 34 23 35 44 30 36 40