The kept jobs alive at $t$ are covered by the intervals $[dd - pp, dd)$ with $dd ∈ (t, t + p_max]$ and $pp ∈ [1, p_max]$, and each such interval keeps at most $m$ jobs per machine.