cpsat_logutils
