Problem: W5-T5-L4
Solution:
 Bag1: W5
  -- -- -- -- -- -- 08 08 0c 0c -- -- 
  -- -- -- -- 05 08 08 0c 0c -- -- -- 
  01 -- -- 05 05 08 09 0c 0d -- -- -- 
  01 01 05 05 04 -- 09 09 0d 0d -- -- 
  00 01 01 04 04 -- -- 09 09 0d 0d -- 
  00 00 04 04 -- -- -- -- -- 0f 0f -- 
  -- 00 00 -- -- -- -- -- 0b 0b 0f 0f 
  -- 02 02 06 06 -- -- 0b 0b 0e 0e 0f 
  -- -- 02 02 06 06 -- 0b 0a 0a 0e 0e 
  -- -- -- 02 03 06 07 0a 0a -- -- 0e 
  -- -- -- 03 03 07 07 0a -- -- -- -- 
  -- -- 03 03 07 07 -- -- -- -- -- -- 
 Bag2: T5
  -- -- -- -- -- -- 15 18 18 18 -- -- 
  -- -- -- -- 15 15 15 09 18 -- -- -- 
  10 -- -- 14 14 14 15 09 18 -- -- -- 
  10 10 10 11 14 -- 09 09 09 17 -- -- 
  10 11 11 11 14 -- -- 17 17 17 1b -- 
  00 00 00 11 -- -- -- -- -- 17 1b -- 
  -- 00 12 -- -- -- -- -- 19 1b 1b 1b 
  -- 00 12 12 12 -- -- 16 19 19 19 1a 
  -- -- 12 13 13 13 -- 16 19 1a 1a 1a 
  -- -- -- 03 13 1c 16 16 16 -- -- 1a 
  -- -- -- 03 13 1c 1c 1c -- -- -- -- 
  -- -- 03 03 03 1c -- -- -- -- -- -- 
 Bag3: L4
  -- -- -- -- -- -- 15 22 22 22 -- -- 
  -- -- -- -- 15 15 15 22 0d -- -- -- 
  10 -- -- 1d 20 20 20 17 0d -- -- -- 
  10 1d 1d 1d 1f -- 20 17 0d 0d -- -- 
  10 10 1f 1f 1f -- -- 17 17 24 26 -- 
  00 00 1e 1e -- -- -- -- -- 24 26 -- 
  -- 00 1e -- -- -- -- -- 24 24 26 26 
  -- 00 1e 06 06 -- -- 0b 0b 0b 25 25 
  -- -- 12 12 06 21 -- 0b 23 23 23 25 
  -- -- -- 12 06 21 21 21 23 -- -- 25 
  -- -- -- 12 03 1c 1c 1c -- -- -- -- 
  -- -- 03 03 03 1c -- -- -- -- -- -- 
#squares: 80
#pieces:
 Bag1: 16
 Bag2: 16
 Bag3: 20
CPU Time: 1801.727s
Optimum: yes
Board Size: 15x15
Threads: 16
Choices: 28495489
Conflicts: 19340873
Restarts: 13278
Variables: 10664
Constraints: 34854