Problem: Y5-N5-N4 Solution: Bag1: Y5 -- 02 02 02 01 02 01 02 01 01 01 00 00 00 03 00 03 00 03 03 03 -- Bag2: N5 -- 05 05 05 05 01 05 01 01 01 01 04 04 04 04 03 04 03 03 03 03 -- Bag3: N4 -- 07 07 07 07 06 06 06 06 00 00 00 00 04 04 04 04 03 03 03 03 -- #squares: 20 #pieces: Bag1: 4 Bag2: 4 Bag3: 5 CPU Time: 853.514s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 27218474 Conflicts: 12480920 Restarts: 8389 Variables: 56555 Constraints: 191854