3ns+1: done proc2
3ns+2: done proc1
