Problem: Q4-W5
Solution:
 Bag1: Q4
  -- -- 08 08 -- -- 0e 0e -- -- 
  03 03 08 08 0a 0a 0e 0e 13 13 
  03 03 07 07 0a 0a 0d 0d 13 13 
  02 02 07 07 -- -- 0d 0d 12 12 
  02 02 -- -- -- -- -- -- 12 12 
  -- 04 04 -- -- -- -- 0f 0f -- 
  -- 04 04 -- -- -- -- 0f 0f -- 
  01 01 -- -- -- -- -- -- 11 11 
  01 01 06 06 -- -- 0c 0c 11 11 
  00 00 06 06 09 09 0c 0c 10 10 
  00 00 05 05 09 09 0b 0b 10 10 
  -- -- 05 05 -- -- 0b 0b -- -- 
 Bag2: W5
  -- -- 16 16 -- -- 18 18 -- -- 
  03 15 15 16 16 18 18 0d 0d 1b 
  03 03 15 15 16 18 0d 0d 1b 1b 
  02 03 03 15 -- -- 0d 1b 1b 1a 
  02 02 -- -- -- -- -- -- 1a 1a 
  -- 02 02 -- -- -- -- 1a 1a -- 
  -- 01 01 -- -- -- -- 0f 0f -- 
  01 01 -- -- -- -- -- -- 0f 0f 
  01 00 00 14 -- -- 0c 19 19 0f 
  00 00 14 14 05 17 0c 0c 19 19 
  00 14 14 05 05 17 17 0c 0c 19 
  -- -- 05 05 -- -- 17 17 -- -- 
#squares: 80
#pieces:
 Bag1: 20
 Bag2: 16
CPU Time: 426.674s
Optimum: yes
Board Size: 20x20
Threads: 16
Choices: 11746183
Conflicts: 8774369
Restarts: 5327
Variables: 7236
Constraints: 22214