outputvertexColoring*.txt
