=== Solution ===
Appointment 1 ([CARDIOLOGY]): assigned resource IDs = [5]
Slots: 25 26
Appointment 2 ([NEUROLOGY]): assigned resource IDs = [14]
Slots: 27 28
Appointment 3 ([CARDIOLOGY]): assigned resource IDs = [0]
Slots: 29 30 31 32
=== Solution ===
Appointment 1 ([CARDIOLOGY]): assigned resource IDs = [5]
Slots: 25 26
Appointment 2 ([NEUROLOGY]): assigned resource IDs = [14]
Slots: 27 28
Appointment 3 ([CARDIOLOGY]): assigned resource IDs = [1]
Slots: 29 30 31 32
=== Solution ===
Appointment 1 ([CARDIOLOGY]): assigned resource IDs = [5]
Slots: 25 26
Appointment 2 ([NEUROLOGY]): assigned resource IDs = [14]
Slots: 27 28
Appointment 3 ([CARDIOLOGY]): assigned resource IDs = [2]
Slots: 29 30 31 32
** Choco 4.10.15 (2024-09) : Constraint Programming Solver, Copyright (c) 2010-2024
Model[MASSP] features:
Variables : 813
Constraints : 631
Building time : 0.310s
User-defined search strategy : no
Complementary search strategy : no
Complete search - 3 solution(s) found.
Model[MASSP]
Solutions: 3
MINIMIZE maxWorkload = 65,
Building time : 0.310s
Resolution time : 1.564s
Time to best solution : 0.426s
Nodes: 1,851 (1,183.6 n/s)
Backtracks: 3,697
Backjumps: 0
Fails: 1,846
Restarts: 0