Problem: N5-L5-Q4 Solution: Bag1: N5 -- 0c 0c 0d 0d 0d 0e 0e 0f 0f 0f -- -- -- -- 03 0c 0c 0c 0d 0d 0e 0e 0e 0f 0f 0a -- 03 03 -- -- -- -- -- -- -- -- -- 0a 0a -- 03 02 -- -- -- -- -- -- -- -- -- 0a 0b -- 03 02 -- -- -- -- -- -- -- -- -- 0a 0b -- 02 02 -- -- -- -- -- -- -- -- -- -- 0b 0b 02 01 -- -- -- -- -- -- -- -- -- -- 09 0b 01 01 -- -- -- -- -- -- -- -- -- 09 09 -- 01 00 -- -- -- -- -- -- -- -- -- 09 08 -- 01 00 -- -- -- -- -- -- -- -- -- 09 08 -- 00 00 -- -- -- -- -- -- -- -- -- 08 08 -- 00 04 04 05 05 05 -- -- 07 07 07 08 -- -- -- -- 04 04 04 05 05 06 06 06 07 07 -- -- -- -- -- -- -- -- 06 06 -- -- -- -- -- -- Bag2: L5 -- 17 17 17 17 18 19 1a 1a 1a 1a -- -- -- -- 17 18 18 18 18 19 19 19 19 1a 0a 0a -- 11 11 -- -- -- -- -- -- -- -- -- 0a 0b -- 02 11 -- -- -- -- -- -- -- -- -- 0a 0b -- 02 11 -- -- -- -- -- -- -- -- -- 0a 0b -- 02 11 -- -- -- -- -- -- -- -- -- -- 0b 0b 02 02 -- -- -- -- -- -- -- -- -- -- 16 16 10 10 -- -- -- -- -- -- -- -- -- 15 16 -- 10 00 -- -- -- -- -- -- -- -- -- 15 16 -- 10 00 -- -- -- -- -- -- -- -- -- 15 16 -- 10 00 -- -- -- -- -- -- -- -- -- 15 15 -- 00 00 12 12 12 12 -- -- 07 07 07 07 -- -- -- -- 12 13 13 13 13 14 14 14 14 07 -- -- -- -- -- -- -- -- 13 14 -- -- -- -- -- -- Bag3: Q4 -- 17 17 1e 1e 20 20 21 21 23 23 -- -- -- -- 17 17 1e 1e 20 20 21 21 23 23 26 26 -- 1d 1d -- -- -- -- -- -- -- -- -- 26 26 -- 1d 1d -- -- -- -- -- -- -- -- -- 0a 0a -- 1c 1c -- -- -- -- -- -- -- -- -- 0a 0a -- 1c 1c -- -- -- -- -- -- -- -- -- -- 27 27 1b 1b -- -- -- -- -- -- -- -- -- -- 27 27 1b 1b -- -- -- -- -- -- -- -- -- 25 25 -- 01 01 -- -- -- -- -- -- -- -- -- 25 25 -- 01 01 -- -- -- -- -- -- -- -- -- 15 15 -- 00 00 -- -- -- -- -- -- -- -- -- 15 15 -- 00 00 12 12 1f 1f -- -- 22 22 24 24 -- -- -- -- 12 12 1f 1f 06 06 22 22 24 24 -- -- -- -- -- -- -- -- 06 06 -- -- -- -- -- -- #squares: 80 #pieces: Bag1: 16 Bag2: 16 Bag3: 20 CPU Time: 19168.752s Optimum: unknown Board Size: 15x15 Threads: 16 Choices: 236998355 Conflicts: 155065657 Restarts: 106261 Variables: 10738 Constraints: 36538