Problem: W5-Z5-N4
Solution:
 Bag1: W5
  -- -- -- 09 09 -- -- -- -- 
  -- -- -- 08 09 09 -- -- -- 
  -- -- 05 08 08 09 -- -- -- 
  -- -- 05 05 08 08 0c -- -- 
  -- -- 04 05 05 0c 0c -- -- 
  -- 02 04 04 0c 0c 0e 0e 0f 
  -- 02 02 04 04 0e 0e 0f 0f 
  -- -- 02 02 -- 0e 0f 0f -- 
  -- 00 00 01 -- 0d 0d -- -- 
  00 00 01 01 0b 0b 0d 0d -- 
  00 01 01 03 03 0b 0b 0d -- 
  -- -- 03 03 0a 0a 0b -- -- 
  -- -- 03 07 07 0a 0a -- -- 
  -- -- -- 06 07 07 0a -- -- 
  -- -- -- 06 06 07 -- -- -- 
  -- -- -- -- 06 06 -- -- -- 
 Bag2: Z5
  -- -- -- 14 14 -- -- -- -- 
  -- -- -- 14 18 18 -- -- -- 
  -- -- 14 14 13 18 -- -- -- 
  -- -- 13 13 13 18 18 -- -- 
  -- -- 13 02 17 17 1a -- -- 
  -- 02 02 02 12 17 1a 1a 1a 
  -- 02 12 12 12 17 17 0d 1a 
  -- -- 12 10 -- 0d 0d 0d -- 
  -- 10 10 10 -- 0d 16 -- -- 
  00 10 11 11 16 16 16 19 -- 
  00 00 00 11 16 19 19 19 -- 
  -- -- 00 11 11 19 15 -- -- 
  -- -- 03 03 15 15 15 -- -- 
  -- -- -- 03 15 1b 1b -- -- 
  -- -- -- 03 03 1b -- -- -- 
  -- -- -- -- 1b 1b -- -- -- 
 Bag3: N4
  -- -- -- 09 09 -- -- -- -- 
  -- -- -- 05 09 09 -- -- -- 
  -- -- 05 05 1e 1e -- -- -- 
  -- -- 05 13 13 1e 1e -- -- 
  -- -- 13 13 0c 20 20 -- -- 
  -- 02 04 04 0c 0c 20 20 22 
  -- 02 02 04 04 0c 0d 22 22 
  -- -- 02 11 -- 0d 0d 22 -- 
  -- 00 11 11 -- 0d 21 -- -- 
  00 00 11 1c 0b 0b 21 21 -- 
  00 01 01 1c 1c 0b 0b 21 -- 
  -- -- 01 01 1c 1d 1d -- -- 
  -- -- 03 03 1d 1d 1f -- -- 
  -- -- -- 03 03 1f 1f -- -- 
  -- -- -- 06 06 1f -- -- -- 
  -- -- -- -- 06 06 -- -- -- 
#squares: 80
#pieces:
 Bag1: 16
 Bag2: 16
 Bag3: 20
CPU Time: 19163.555s
Optimum: unknown
Board Size: 20x20
Threads: 16
Choices: 301952846
Conflicts: 208614334
Restarts: 113925
Variables: 17298
Constraints: 54630