• No truck is overloaded: the total weight of all boxes in each truck is less or equal to
w.
• The order of arrivals is preserved: if the box b is sent before the box b (i.e. box b is assigned to truck x, box b is assigned to truck y, and x < y) then it must be the case that b has arrived to the company earlier than b (i.e. i