Problem: F5-L5-N4 Solution: Bag1: F5 -- -- -- -- 01 -- -- 00 01 01 01 -- 00 00 00 01 -- -- -- -- 00 02 -- -- -- -- 03 02 02 02 -- 03 03 03 02 -- -- 03 -- -- -- -- Bag2: L5 -- -- -- -- 04 -- -- 04 04 04 04 -- 00 00 00 00 -- -- -- -- 05 00 -- -- -- -- 05 05 05 05 -- 03 03 03 03 -- -- 03 -- -- -- -- Bag3: N4 -- -- -- -- 08 -- -- 00 00 08 08 -- 00 00 06 08 -- -- -- -- 06 06 -- -- -- -- 03 06 07 07 -- 03 03 07 07 -- -- 03 -- -- -- -- #squares: 20 #pieces: Bag1: 4 Bag2: 4 Bag3: 5 CPU Time: 2344.546s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 63722671 Conflicts: 34120355 Restarts: 20623 Variables: 53090 Constraints: 185000