Hi, is there a detailed description of the output of >dot -Tpdf problem.conflictgraph -oproblem_conflictgraph.pdf after SCIP> write conflictgraph problem.conflictgraph quit ? What do directed/undirected edges mean? What is the meaning of the colors of the vertices? ...? Best, Uwe