It pays to read the documentation before using a function:
attachInterrupt(0, encoder1svc, HIGH);
The correct 2nd argument to attachInterrupt is either:
LOW, CHANGE, FALLING or RISING. "HIGH" is meaningless in this context,
but by chance will behave as "CHANGE"
Using "LOW" will cause the interrupt to continuously retrigger while the pin is low,
the others fire just once for each appropriate event.