minor changes in numUserProcess++ inside execute()