Problem: F5-N5-N4 Solution: Bag1: F5 -- 01 -- -- 01 01 01 -- 00 00 01 -- -- 00 00 -- -- 00 03 -- -- 03 03 03 -- 02 02 03 -- -- 02 02 -- -- 02 -- Bag2: N5 -- 04 -- -- 00 04 04 -- 00 00 04 -- -- 00 04 -- -- 00 05 -- -- 02 05 05 -- 02 02 05 -- -- 02 05 -- -- 02 -- Bag3: N4 -- 04 -- -- 00 04 04 -- 00 00 04 -- -- 00 03 -- -- 03 03 -- -- 03 02 02 -- 02 02 06 -- -- 06 06 -- -- 06 -- #squares: 20 #pieces: Bag1: 4 Bag2: 4 Bag3: 5 CPU Time: 4529.821s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 113051045 Conflicts: 59503843 Restarts: 33556 Variables: 55387 Constraints: 189606