A execução do programa termina ao final da execução do método main. 

As threads são executadas em uma ordem determinística uma após a outra.

O método execute da classe ExecutorService cria uma nova thread a cada chamada e atribui um objeto que implementa a interface Runnable para cada uma dessas threads.

O método shutdown da classe ExecutorService notifica o objeto executor para parar de aceitar novas tarefas, mas continua executando as tarefas que já foram submetidas.