Problem: F5-U5-T4 Solution: Bag1: F5 -- -- -- -- -- -- -- 07 08 -- -- -- -- -- -- -- -- -- -- 07 07 07 08 08 -- -- -- -- -- -- -- -- 06 06 07 08 08 0a -- -- -- -- -- -- -- -- 03 06 06 -- 0a 0a 0a 0c -- -- -- 01 03 03 03 06 -- -- -- -- 0a 0c 0c -- 01 01 01 03 -- -- -- -- -- -- 0c 0c 0e -- 00 00 01 -- -- -- -- -- -- -- -- 0e 0e -- -- 00 00 -- -- -- -- -- -- -- -- 0d 0e 0e -- 00 02 02 -- -- -- -- -- -- 0b 0d 0d 0d -- 02 02 04 -- -- -- -- -- -- 0b 0b 0d -- -- -- 02 04 04 04 -- -- 09 0b 0b -- -- -- -- -- -- -- 04 05 05 0f 09 09 09 -- -- -- -- -- -- -- 05 05 0f 0f 0f 09 -- -- -- -- -- -- -- -- -- 05 0f -- -- -- -- -- -- -- Bag2: U5 -- -- -- -- -- -- -- 08 08 -- -- -- -- -- -- -- -- -- -- 14 14 08 0a 0a -- -- -- -- -- -- -- -- 12 12 14 08 08 0a -- -- -- -- -- -- -- -- 12 14 14 -- 0a 0a 0c 0c -- -- -- 10 10 10 12 12 -- -- -- -- 0c 0e 0e -- 00 10 00 10 -- -- -- -- -- -- 0c 0c 0e -- 00 00 00 -- -- -- -- -- -- -- -- 0e 0e -- -- 02 02 -- -- -- -- -- -- -- -- 0d 0d 0d -- 02 11 11 -- -- -- -- -- -- 16 0d 16 0d -- 02 02 11 -- -- -- -- -- -- 16 16 16 -- -- -- 11 11 05 05 -- -- 09 09 09 -- -- -- -- -- -- -- 05 13 13 15 09 15 09 -- -- -- -- -- -- -- 05 05 13 15 15 15 -- -- -- -- -- -- -- -- -- 13 13 -- -- -- -- -- -- -- Bag3: T4 -- -- -- -- -- -- -- 19 1b -- -- -- -- -- -- -- -- -- -- 06 19 19 1b 1b -- -- -- -- -- -- -- -- 06 06 06 19 1b 0a -- -- -- -- -- -- -- -- 18 18 18 -- 0a 0a 0a 1e -- -- -- 01 03 03 03 18 -- -- -- -- 1e 1e 1e -- 01 01 01 03 -- -- -- -- -- -- 0c 0c 0c -- 00 00 00 -- -- -- -- -- -- -- -- 0c 1f -- -- 00 17 -- -- -- -- -- -- -- -- 1f 1f 1f -- 17 17 17 -- -- -- -- -- -- 1d 0d 0d 0d -- 02 02 02 -- -- -- -- -- -- 1d 1d 0d -- -- -- 02 04 04 04 -- -- 1a 1c 1d -- -- -- -- -- -- -- 04 05 0f 1a 1a 1c 1c -- -- -- -- -- -- -- 05 05 0f 0f 1a 1c -- -- -- -- -- -- -- -- -- 05 0f -- -- -- -- -- -- -- #squares: 80 #pieces: Bag1: 16 Bag2: 16 Bag3: 20 CPU Time: 19173.820s Optimum: unknown Board Size: 15x15 Threads: 16 Choices: 221695404 Conflicts: 141072693 Restarts: 101726 Variables: 11047 Constraints: 36347