propertize all solver status and objective values
doc layout tweak