resuming; already killed: [(23, 14, 14), (24, 14, 13), (24, 15, 12), (25, 13, 13), (25, 14, 12), (26, 13, 12), (26, 14, 11)]
n=51 t=290: feasible, implied L=2611/9; phantom [((25, 15, 11), 4), ((23, 15, 13), 1), ((22, 15, 14), 1), ((17, 17, 17), 34)]
   tested (25, 15, 11) (slack 3): split (25,15,11) target 290: U=293; need L1>=20 (25 cands mod transl), L2>=10 (6773 cands); |R|=2 (351 subsets)
   -> exact max -1 < t: KILLED
n=51: INFEASIBLE at L=290 after killing [(23, 14, 14), (24, 14, 13), (24, 15, 12), (25, 13, 13), (25, 14, 12), (25, 15, 11), (26, 13, 12), (26, 14, 11)] -> f(51) <= 289
