Problem: Y5-I5-N4 Solution: Bag1: Y5 02 -- 02 02 02 01 02 01 01 01 00 01 00 00 00 03 00 03 03 03 -- 03 Bag2: I5 01 -- 01 05 01 05 01 05 01 05 03 05 03 04 03 04 03 04 03 04 -- 04 Bag3: N4 08 -- 08 08 02 08 02 02 07 02 07 07 06 07 06 06 03 06 03 03 -- 03 #squares: 20 #pieces: Bag1: 4 Bag2: 4 Bag3: 5 CPU Time: 121.300s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 4394839 Conflicts: 1946106 Restarts: 1602 Variables: 41688 Constraints: 139858