logs work on solver