Fast solution of NP-hard coloring problems on large random graphs