Problem: Y5-Z5-T4
Solution:
 Bag1: Y5
  -- 01 -- -- -- -- 07 07 07 07 -- -- -- -- -- -- 
  01 01 01 01 04 04 04 04 07 09 09 09 09 -- -- -- 
  00 00 00 00 03 04 06 06 06 06 09 0a 0a 0a 0a -- 
  -- 00 02 03 03 03 03 06 05 08 08 08 08 0a 0b -- 
  -- 02 02 02 02 0c 05 05 05 05 0d 08 0b 0b 0b 0b 
  -- -- -- 0c 0c 0c 0c 0f 0d 0d 0d 0d 0e 0e 0e 0e 
  -- -- -- -- -- -- 0f 0f 0f 0f -- -- -- -- 0e -- 
 Bag2: Z5
  -- 10 -- -- -- -- 11 15 15 09 -- -- -- -- -- -- 
  00 10 10 10 11 11 11 13 15 09 09 09 17 -- -- -- 
  00 00 00 10 11 13 13 13 15 15 16 09 17 17 17 -- 
  -- 02 00 03 03 13 14 14 16 16 16 1a 1a 18 17 -- 
  -- 02 02 02 03 12 12 14 16 19 19 1a 0e 18 18 18 
  -- -- -- 02 03 03 12 14 14 19 1a 1a 0e 0e 0e 18 
  -- -- -- -- -- -- 12 12 19 19 -- -- -- -- 0e -- 
 Bag3: T4
  -- 01 -- -- -- -- 07 07 07 1d -- -- -- -- -- -- 
  01 01 01 03 04 04 04 07 1d 1d 1f 1f 1f -- -- -- 
  00 00 00 03 03 04 06 06 06 1d 08 1f 17 17 17 -- 
  -- 00 02 03 1b 1b 1b 06 1c 08 08 08 20 17 18 -- 
  -- 02 02 02 0c 1b 0f 1c 1c 1c 1e 20 20 18 18 18 
  -- -- -- 0c 0c 0c 0f 0f 22 1e 1e 1e 20 21 21 21 
  -- -- -- -- -- -- 0f 22 22 22 -- -- -- -- 21 -- 
#squares: 80
#pieces:
 Bag1: 16
 Bag2: 16
 Bag3: 20
CPU Time: 19157.557s
Optimum: unknown
Board Size: 20x20
Threads: 16
Choices: 263167638
Conflicts: 179785883
Restarts: 109001
Variables: 19907
Constraints: 66223