Problem: L5-Z5-Q4
Solution:
 Bag1: L5
  -- -- 05 05 05 05 -- -- -- -- 0b 0b 0b 0b -- -- 
  01 03 03 03 03 05 08 08 08 08 0b 0d 0d 0d 0d 0f 
  01 01 01 01 03 06 06 06 06 08 09 0d 0f 0f 0f 0f 
  00 02 02 02 02 06 07 09 09 09 09 0c 0e 0e 0e 0e 
  00 00 00 00 02 04 07 07 07 07 0a 0c 0c 0c 0c 0e 
  -- -- 04 04 04 04 -- -- -- -- 0a 0a 0a 0a -- -- 
 Bag2: Z5
  -- -- 01 10 10 12 -- -- -- -- 13 15 15 16 -- -- 
  01 01 01 10 11 12 12 12 13 13 13 15 0f 16 16 16 
  01 02 10 10 11 11 11 12 13 14 15 15 0f 0f 0f 16 
  00 02 02 02 17 17 11 18 19 14 14 14 1a 1a 0f 1b 
  00 00 00 02 17 18 18 18 19 19 19 14 1a 1b 1b 1b 
  -- -- 00 17 17 18 -- -- -- -- 19 1a 1a 1b -- -- 
 Bag3: Q4
  -- -- 1d 1d 20 20 -- -- -- -- 0b 0b 24 24 -- -- 
  01 01 1d 1d 20 20 21 21 13 13 0b 0b 24 24 26 26 
  01 01 1c 1c 1f 1f 21 21 13 13 22 22 0e 0e 26 26 
  00 00 1c 1c 1f 1f 07 07 19 19 22 22 0e 0e 25 25 
  00 00 04 04 1e 1e 07 07 19 19 0a 0a 23 23 25 25 
  -- -- 04 04 1e 1e -- -- -- -- 0a 0a 23 23 -- -- 
#squares: 80
#pieces:
 Bag1: 16
 Bag2: 16
 Bag3: 20
CPU Time: 3694.874s
Optimum: yes
Board Size: 20x20
Threads: 16
Choices: 45421559
Conflicts: 32560225
Restarts: 17103
Variables: 16044
Constraints: 54420