Print statistics after Ctrl-C and simple decomposition for Lex constraint.