{"a": 3, "t": 2, "k": 4, "N": 9, "part": 0, "nparts": 2, "total_vectors": 297955, "processed": 148978, "forced_only": 147089, "packing": 1889, "branch_and_bound": 0, "bb_nodes": 0, "n_failures": 0, "seconds": 192.7}
