With a common preprocessing time, the prefix sum of constraint (6) counts the selected jobs up to $j$ and Condition 1 becomes $|{i ≤ j} ∩ Z| ≤ ⌊s_j/p⌋$; constraint (7) is Condition 2 tested at the start times, which is enough by the depth characterization.