Exact_solver now adopts the given log file.