Problem: P5-N5-I4 Solution: Bag1: P5 -- -- 06 -- -- 06 06 -- -- 06 06 -- -- 05 05 05 02 02 05 05 02 02 04 04 02 04 04 04 01 03 03 03 01 01 03 03 01 01 07 07 00 00 07 07 00 00 07 -- -- 00 -- -- Bag2: N5 -- -- 05 -- -- 05 05 -- -- 05 09 -- -- 05 09 0b 02 09 09 0b 02 09 0b 0b 02 02 0b 0a 08 02 0a 0a 08 08 0a 07 00 08 0a 07 00 08 07 07 00 00 07 -- -- 00 -- -- Bag3: I4 -- -- 11 -- -- 0f 11 -- -- 0f 11 -- -- 0f 11 13 0c 0f 10 13 0c 0e 10 13 0c 0e 10 13 0c 0e 10 12 00 0e 07 12 00 0d 07 12 00 0d 07 12 00 0d 07 -- -- 0d -- -- #squares: 40 #pieces: Bag1: 8 Bag2: 8 Bag3: 10 CPU Time: 19170.966s Optimum: unknown Board Size: 15x15 Threads: 16 Choices: 341599236 Conflicts: 260166215 Restarts: 229760 Variables: 11510 Constraints: 39527