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