Hello
The answer for Your first question is in Your question. Since Augmented lagrange method uses lagrangian multipliers and explicit method is based on mass matrix instead of stiffness matrix.
General contact is a contact interaction in which Abaqus treats every surface of a model as a contact surface. It takes more time for an analysis, but it's better in situations where there are many contact pairs and when user can't identify all posible contact surfaces.