resuming; already killed: [(24, 14, 14), (25, 14, 13), (25, 15, 12)]
n=52 t=306: feasible, implied L=307; phantom [((24, 15, 13), 7), ((18, 17, 17), 33)]
   tested (24, 15, 13) (slack 9): split (24,15,13) target 306: U=315; need L1>=14 (113 cands mod transl), L2>=7 (742900 cands); |R|=3 (2925 subsets)
   -> exact max 305 < t: KILLED
n=52: INFEASIBLE at L=306 after killing [(24, 14, 14), (24, 15, 13), (25, 14, 13), (25, 15, 12)] -> f(52) <= 305
