resuming; already killed: [(25, 14, 13)]
n=52 t=306: feasible, implied L=2789/9; phantom [((24, 14, 14), 7), ((20, 16, 16), 1), ((19, 17, 16), 1), ((18, 17, 17), 31)]
   tested (24, 14, 14) (slack 9): split (24,14,14) target 306: U=315; need L1>=10 (127 cands mod transl), L2>=10 (742900 cands); |R|=3 (2925 subsets)
   -> exact max 305 < t: KILLED
n=52 t=306: feasible, implied L=2768/9; phantom [((25, 15, 12), 5), ((20, 16, 16), 1), ((19, 17, 16), 1), ((18, 18, 16), 1), ((18, 17, 17), 32)]
   tested (25, 15, 12) (slack 3): split (25,15,12) target 306: U=309; need L1>=20 (25 cands mod transl), L2>=11 (63492 cands); |R|=2 (351 subsets)
   -> exact max 303 < t: KILLED
n=52 t=306: feasible, implied L=307; phantom [((24, 15, 13), 7), ((18, 17, 17), 33)]
