New Characterizations and Efficient Local Search for General Integer Linear Programming