el_log_solving function

Log a short solver progress note