Problem: Y5-Z5-N4 Solution: Bag1: Y5 -- 00 02 -- -- -- 00 00 02 -- -- -- -- 00 02 02 -- -- -- 00 02 01 -- -- -- -- 01 01 01 01 -- -- 03 03 03 03 -- -- -- -- 03 -- Bag2: Z5 -- 04 04 -- -- -- 00 00 04 -- -- -- -- 00 04 04 -- -- -- 00 00 05 -- -- -- -- 03 05 05 05 -- -- 03 03 03 05 -- -- -- -- 03 -- Bag3: N4 -- 00 00 -- -- -- 00 00 06 -- -- -- -- 06 06 01 -- -- -- 06 01 01 -- -- -- -- 01 03 03 07 -- -- 03 03 07 07 -- -- -- -- 07 -- #squares: 20 #pieces: Bag1: 4 Bag2: 4 Bag3: 5 CPU Time: 167.598s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 5956149 Conflicts: 2734258 Restarts: 2275 Variables: 46871 Constraints: 156951