Problem: N5-I5-I4 Solution: Bag1: N5 -- -- -- -- 06 06 07 07 07 -- -- -- -- -- 05 06 06 06 07 07 -- -- -- -- 05 05 -- -- -- -- -- -- -- -- 04 05 -- -- -- -- -- -- -- -- 04 05 -- -- -- -- -- -- -- -- 04 04 -- -- -- -- -- -- -- -- 03 04 -- -- -- -- -- -- -- -- 03 03 -- -- -- -- -- -- -- -- 02 03 -- -- -- -- -- -- -- -- 02 03 -- -- -- -- -- -- -- -- 02 02 -- -- -- -- 00 00 01 01 01 02 -- -- -- -- -- 00 00 00 01 01 -- -- -- -- Bag2: I5 -- -- -- -- 06 06 06 06 06 -- -- -- -- -- 04 0b 0b 0b 0b 0b -- -- -- -- 04 0a -- -- -- -- -- -- -- -- 04 0a -- -- -- -- -- -- -- -- 04 0a -- -- -- -- -- -- -- -- 04 0a -- -- -- -- -- -- -- -- 02 0a -- -- -- -- -- -- -- -- 02 09 -- -- -- -- -- -- -- -- 02 09 -- -- -- -- -- -- -- -- 02 09 -- -- -- -- -- -- -- -- 02 09 -- -- -- -- 00 00 00 00 00 09 -- -- -- -- -- 08 08 08 08 08 -- -- -- -- Bag3: I4 -- -- -- -- 0d 12 12 12 12 -- -- -- -- -- 0d 10 11 11 11 11 -- -- -- -- 0d 10 -- -- -- -- -- -- -- -- 0d 10 -- -- -- -- -- -- -- -- 03 10 -- -- -- -- -- -- -- -- 03 0f -- -- -- -- -- -- -- -- 03 0f -- -- -- -- -- -- -- -- 03 0f -- -- -- -- -- -- -- -- 0c 0f -- -- -- -- -- -- -- -- 0c 0e -- -- -- -- -- -- -- -- 0c 0e -- -- -- -- 00 00 00 00 0c 0e -- -- -- -- -- 08 08 08 08 0e -- -- -- -- #squares: 40 #pieces: Bag1: 8 Bag2: 8 Bag3: 10 CPU Time: 13279.058s Optimum: yes Board Size: 15x15 Threads: 16 Choices: 275170922 Conflicts: 210221278 Restarts: 168244 Variables: 8606 Constraints: 28331