add TOTO comment.
output elapsed time even when a resolution fails.
cosmetic change.
properly propagate an error #.