-fixed bug where --max-fails just produced an aborted solve.