Minor: improved message reporting in killer_solver.py.