This procedure dumps some statistics about the search process (time elapsed, number of nodes, depth, number of backtracks and total time spent in callbacks) into a CSV-format file, overwriting any existing contents of the specified file.

cp_show_stats cp_show_prob cp_show_var