Problem: W5-L5-Q4
Solution:
 Bag1: W5
  -- -- 07 07 -- -- 09 09 -- -- 
  03 05 05 07 07 09 09 0b 0b 0f 
  03 03 05 05 07 09 0b 0b 0f 0f 
  02 03 03 05 -- -- 0b 0f 0f 0e 
  02 02 -- -- -- -- -- -- 0e 0e 
  -- 02 02 -- -- -- -- 0e 0e -- 
  -- 01 01 -- -- -- -- 0d 0d -- 
  01 01 -- -- -- -- -- -- 0d 0d 
  01 00 00 04 -- -- 0a 0c 0c 0d 
  00 00 04 04 06 08 0a 0a 0c 0c 
  00 04 04 06 06 08 08 0a 0a 0c 
  -- -- 06 06 -- -- 08 08 -- -- 
 Bag2: L5
  -- -- 12 16 -- -- 18 18 -- -- 
  02 02 12 16 16 16 16 18 1a 1a 
  02 11 12 15 15 15 15 18 0e 1a 
  02 11 12 12 -- -- 15 18 0e 1a 
  02 11 -- -- -- -- -- -- 0e 1a 
  -- 11 11 -- -- -- -- 0e 0e -- 
  -- 10 10 -- -- -- -- 0d 0d -- 
  00 10 -- -- -- -- -- -- 0d 19 
  00 10 06 14 -- -- 17 17 0d 19 
  00 10 06 14 14 14 14 17 0d 19 
  00 00 06 13 13 13 13 17 19 19 
  -- -- 06 06 -- -- 13 17 -- -- 
 Bag3: Q4
  -- -- 1d 1d -- -- 21 21 -- -- 
  03 03 1d 1d 1f 1f 21 21 24 24 
  03 03 12 12 1f 1f 0b 0b 24 24 
  02 02 12 12 -- -- 0b 0b 23 23 
  02 02 -- -- -- -- -- -- 23 23 
  -- 1b 1b -- -- -- -- 0d 0d -- 
  -- 1b 1b -- -- -- -- 0d 0d -- 
  01 01 -- -- -- -- -- -- 22 22 
  01 01 1c 1c -- -- 0a 0a 22 22 
  00 00 1c 1c 1e 1e 0a 0a 19 19 
  00 00 06 06 1e 1e 20 20 19 19 
  -- -- 06 06 -- -- 20 20 -- -- 
#squares: 80
#pieces:
 Bag1: 16
 Bag2: 16
 Bag3: 20
CPU Time: 8913.492s
Optimum: yes
Board Size: 25x25
Threads: 16
Choices: 102836127
Conflicts: 75845721
Restarts: 32697
Variables: 26801
Constraints: 89849