Total ada 9.600 personel TNI yang diterjunkan, ditambah Polri dan instansi lainnya total mencapai 11.800 personel.
(Nanda Aria)