resuming; already killed: [(25, 13, 13), (25, 14, 12), (26, 13, 12), (26, 14, 11)]
n=51 t=290: feasible, implied L=887/3; phantom [((24, 14, 13), 6), ((23, 14, 14), 1), ((19, 16, 16), 2), ((17, 17, 17), 31)]
   tested (24, 14, 13) (slack 8): split (24,14,13) target 290: U=298; need L1>=11 (124 cands mod transl), L2>=8 (741652 cands); |R|=3 (2925 subsets)
   -> exact max 289 < t: KILLED
n=51 t=290: feasible, implied L=877/3; phantom [((24, 15, 12), 1), ((23, 14, 14), 8), ((17, 17, 17), 31)]
   tested (24, 15, 12) (slack 8): split (24,15,12) target 290: U=298; need L1>=15 (112 cands mod transl), L2>=6 (641238 cands); |R|=3 (2925 subsets)
   -> exact max 288 < t: KILLED
n=51 t=290: feasible, implied L=877/3; phantom [((23, 14, 14), 9), ((21, 15, 15), 1), ((17, 17, 17), 30)]