loading SCIP... n: 50 m: 47 packed: 12 density: 75 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 8 27 1 22 40 2 16 23 4 45 48 5 17 28 7 24 38 9 31 32 14 33 43 15 39 41 20 29 35 25 36 46 30 37 49