loading SCIP... n: 50 m: 20 packed: 9 density: 56 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 29 35 4 47 48 5 18 43 7 13 41 8 9 37 12 20 21 14 27 49 17 25 33 31 42 44