Problem: F5-X5-N4 Solution: Bag1: F5 -- -- -- -- 04 -- -- -- -- -- 02 02 04 04 -- -- -- 02 02 04 04 06 -- -- -- 00 02 -- 06 06 06 -- 00 00 00 -- -- 07 06 -- -- 01 00 -- -- 07 07 07 -- 01 01 01 -- 05 07 -- -- -- 01 03 03 05 05 -- -- -- 03 03 05 05 -- -- -- -- -- 03 -- -- -- -- Bag2: X5 -- -- -- -- 08 -- -- -- -- -- 02 08 08 08 -- -- -- 02 02 02 08 06 -- -- -- 00 02 -- 06 06 06 -- 00 00 00 -- -- 06 07 -- -- 00 01 -- -- 07 07 07 -- 01 01 01 -- 09 07 -- -- -- 01 03 09 09 09 -- -- -- 03 03 03 09 -- -- -- -- -- 03 -- -- -- -- Bag3: N4 -- -- -- -- 0b -- -- -- -- -- 02 02 0b 0b -- -- -- 02 02 04 04 0b -- -- -- 00 00 -- 04 04 07 -- 00 00 01 -- -- 07 07 -- -- 01 01 -- -- 07 0c 0c -- 01 0a 0a -- 0c 0c -- -- -- 03 0a 0a 05 05 -- -- -- 03 03 05 05 -- -- -- -- -- 03 -- -- -- -- #squares: 40 #pieces: Bag1: 8 Bag2: 8 Bag3: 10 CPU Time: 313.575s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 9377765 Conflicts: 5404901 Restarts: 4186 Variables: 36753 Constraints: 124823