{"a": 4, "t": 1, "k": 3, "N": 4, "part": 0, "nparts": 1, "total_vectors": 31321, "processed": 31321, "forced_only": 0, "packing": 0, "branch_and_bound": 0, "bb_nodes": 105066, "n_failures": 0, "seconds": 18.6, "hist_nu": {"4": 4, "6": 118, "7": 948, "8": 1800, "None": 28451}, "min_nu": 4}
