From acabd2946a9d2deee096d559e96a8164f067c83a Mon Sep 17 00:00:00 2001 From: Dominik Krupke Date: Tue, 23 Jul 2024 09:10:29 +0200 Subject: [PATCH] Small extension in logs --- README.md | 6 ++++++ understanding_the_log.md | 6 ++++++ 2 files changed, 12 insertions(+) diff --git a/README.md b/README.md index 0c5d4f6..63fd392 100644 --- a/README.md +++ b/README.md @@ -3682,6 +3682,12 @@ Now there comes a lot of information about the different subsolvers that are used. This is a very detailed part of the log and can be overwhelming. You already need to be rather deep into the details of CP-SAT to actually make any use of this information. It is primarily intended for the developers of CP-SAT. +It gives you insights into how the various subsolvers have been contributing to +the solution, how the otherwise hidden LP-techniques, including cutting planes, +have been used, and how the different heuristics have been applied. Based on +this data, you could try to tune the various parameters of CP-SAT for your +problem. However, note that you will probably need a lot of experience and +experiments to gain an advantage compared to the default settings. ``` Task timing n [ min, max] avg dev time n [ min, max] avg dev dtime diff --git a/understanding_the_log.md b/understanding_the_log.md index 6bbec36..c246d53 100644 --- a/understanding_the_log.md +++ b/understanding_the_log.md @@ -311,6 +311,12 @@ Now there comes a lot of information about the different subsolvers that are used. This is a very detailed part of the log and can be overwhelming. You already need to be rather deep into the details of CP-SAT to actually make any use of this information. It is primarily intended for the developers of CP-SAT. +It gives you insights into how the various subsolvers have been contributing to +the solution, how the otherwise hidden LP-techniques, including cutting planes, +have been used, and how the different heuristics have been applied. Based on +this data, you could try to tune the various parameters of CP-SAT for your +problem. However, note that you will probably need a lot of experience and +experiments to gain an advantage compared to the default settings. ``` Task timing n [ min, max] avg dev time n [ min, max] avg dev dtime