Conflict graphs in solving integer programming problems