Fored Moves:  While we are doing clique coloring we are also doing forced moves (using updateState) which will give further improvements.