Problem: P5-I5-N4 Solution: Bag1: P5 -- 03 03 03 03 03 02 02 02 02 02 01 01 01 01 01 00 00 00 00 00 -- Bag2: I5 -- 05 02 05 02 05 02 05 02 05 02 04 00 04 00 04 00 04 00 04 00 -- Bag3: N4 -- 03 03 03 03 08 08 08 08 07 07 07 07 06 06 06 06 00 00 00 00 -- #squares: 20 #pieces: Bag1: 4 Bag2: 4 Bag3: 5 CPU Time: 70.359s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 3512117 Conflicts: 1465516 Restarts: 1311 Variables: 41139 Constraints: 139856