Problem: P5-N5-N4 Solution: Bag1: P5 03 -- 03 03 03 03 02 02 02 02 01 02 01 01 01 01 00 00 00 00 -- 00 Bag2: N5 05 -- 05 05 02 05 02 05 02 02 04 02 04 04 00 04 00 04 00 00 -- 00 Bag3: N4 05 -- 05 05 07 05 07 07 06 07 06 06 01 06 01 01 00 01 00 00 -- 00 #squares: 20 #pieces: Bag1: 4 Bag2: 4 Bag3: 5 CPU Time: 2390.501s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 72483580 Conflicts: 33645087 Restarts: 17663 Variables: 56006 Constraints: 191852