Also dumping the solve() commands to the log

Adding tests to check for it