{"a": 3, "t": 2, "k": 4, "N": 10, "part": 0, "nparts": 2, "total_vectors": 297955, "processed": 148978, "forced_only": 147087, "packing": 1890, "branch_and_bound": 1, "bb_nodes": 1, "n_failures": 1, "seconds": 191.7}
