Problem: X5-Y5-N4 Solution: Bag1: X5 -- -- -- -- 04 -- -- -- -- -- 02 04 04 04 -- -- -- 02 02 02 04 06 -- -- -- 00 02 -- 06 06 06 -- 00 00 00 -- -- 06 07 -- -- 00 01 -- -- 07 07 07 -- 01 01 01 -- 05 07 -- -- -- 01 03 05 05 05 -- -- -- 03 03 03 05 -- -- -- -- -- 03 -- -- -- -- Bag2: Y5 -- -- -- -- 09 -- -- -- -- -- 09 09 09 09 -- -- -- 02 02 02 02 06 -- -- -- 00 02 -- 06 06 0b -- 00 00 08 -- -- 06 0b -- -- 00 08 -- -- 06 0b 0b -- 00 08 08 -- 0a 0b -- -- -- 08 0a 0a 0a 0a -- -- -- 03 03 03 03 -- -- -- -- -- 03 -- -- -- -- Bag3: N4 -- -- -- -- 0f -- -- -- -- -- 02 02 0f 0f -- -- -- 02 02 0d 0d 0f -- -- -- 00 00 -- 0d 0d 07 -- 00 00 01 -- -- 07 07 -- -- 01 01 -- -- 07 10 10 -- 01 0c 0c -- 10 10 -- -- -- 03 0c 0c 0e 0e -- -- -- 03 03 0e 0e -- -- -- -- -- 03 -- -- -- -- #squares: 40 #pieces: Bag1: 8 Bag2: 8 Bag3: 10 CPU Time: 51.212s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 2941585 Conflicts: 1219824 Restarts: 1351 Variables: 37876 Constraints: 126939