Using overconstraint with way more shifts than people can handle seems to make hard constraints unusable

[athoik]

Dear TimefoldAI,

Describe the bug
I created a basic demonstration of a timeshift employee schedule.
It uses overconstraint in order to leave unassinged shifts.
But having extra shifts, way more that people can handle,
the hard constraint consecutive_employee_shift_assignments breaks
without written on the solver summary.

Expected behavior
In the uploaded sample available here https://github.com/athoik/timefold I am creating more shifts than employees can handle.
Having a hard constraint applied we expect some shifts to stay unassigned, taking into consideration that overconstraint is enabled too.

Actual behavior
All employes are getting shifts, without hard contraint consecutive_employee_shift_assignments complaining.

To Reproduce
Here is a sample to reproduce issue https://github.com/athoik/timefold

Environment

Timefold Solver Version or Git ref:

timefold 1.16.0b0

Output of java -version:

java version "23.0.1" 2024-10-15
Java(TM) SE Runtime Environment (build 23.0.1+11-39)
Java HotSpot(TM) 64-Bit Server VM (build 23.0.1+11-39, mixed mode, sharing)

Output of uname -a or ver:

Linux PC 5.15.167.4-microsoft-standard-WSL2 #1 SMP Tue Nov 5 00:21:55 UTC 2024 x86_64 GNU/Linux

Thank you for your great support!

Regards,
Athanasios

[triceo]

Hello @athoik, and thanks for reporting!
What you're reporting looks like a bug - we'll look into it when time permits.