how to use log with choco solver