{"a": 3, "t": 2, "k": 4, "N": 9, "part": 1, "nparts": 2, "total_vectors": 297955, "processed": 148977, "forced_only": 147091, "packing": 1886, "branch_and_bound": 0, "bb_nodes": 0, "n_failures": 0, "seconds": 190.9}
