Problem: W5-Z5-L4
Solution:
 Bag1: W5
  -- -- -- -- -- -- -- -- -- -- 0d 0d 0e -- 
  -- -- -- -- -- -- 07 07 09 0d 0d 0e 0e -- 
  -- -- -- -- -- 07 07 09 09 0d 0e 0e 0f 0f 
  -- -- -- -- 03 07 09 09 0b 0b -- 0f 0f -- 
  -- -- -- 03 03 05 05 0b 0b 0a -- 0f -- -- 
  -- -- 03 03 05 05 04 0b 0a 0a 0c 0c -- -- 
  -- -- 00 -- 05 04 04 0a 0a 0c 0c -- -- -- 
  -- 00 00 -- 04 04 06 06 08 0c -- -- -- -- 
  00 00 01 01 02 06 06 08 08 -- -- -- -- -- 
  -- 01 01 02 02 06 08 08 -- -- -- -- -- -- 
  -- 01 02 02 -- -- -- -- -- -- -- -- -- -- 
 Bag2: Z5
  -- -- -- -- -- -- -- -- -- -- 18 1b 1b -- 
  -- -- -- -- -- -- 16 16 18 18 18 19 1b -- 
  -- -- -- -- -- 14 14 16 18 19 19 19 1b 1b 
  -- -- -- -- 12 12 14 16 16 19 -- 1a 1a -- 
  -- -- -- 11 11 12 14 14 17 17 -- 1a -- -- 
  -- -- 10 10 11 12 12 0b 0b 17 1a 1a -- -- 
  -- -- 10 -- 11 11 15 15 0b 17 17 -- -- -- 
  -- 10 10 -- 1c 13 13 15 0b 0b -- -- -- -- 
  00 00 1c 1c 1c 1d 13 15 15 -- -- -- -- -- 
  -- 00 1c 1d 1d 1d 13 13 -- -- -- -- -- -- 
  -- 00 00 1d -- -- -- -- -- -- -- -- -- -- 
 Bag3: L4
  -- -- -- -- -- -- -- -- -- -- 0e 0e 26 -- 
  -- -- -- -- -- -- 16 16 16 23 0e 25 26 -- 
  -- -- -- -- -- 14 14 14 16 23 0e 25 26 26 
  -- -- -- -- 12 12 12 14 23 23 -- 25 25 -- 
  -- -- -- 11 11 11 12 0b 0b 0b -- 24 -- -- 
  -- -- 1e 1e 1e 11 05 0b 22 24 24 24 -- -- 
  -- -- 1e -- 05 05 05 21 22 22 22 -- -- -- 
  -- 10 10 -- 1f 1f 20 21 21 21 -- -- -- -- 
  00 00 10 02 1f 06 20 20 20 -- -- -- -- -- 
  -- 00 10 02 1f 06 06 06 -- -- -- -- -- -- 
  -- 00 02 02 -- -- -- -- -- -- -- -- -- -- 
#squares: 80
#pieces:
 Bag1: 16
 Bag2: 16
 Bag3: 20
CPU Time: 19159.134s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 269088900
Conflicts: 187447979
Restarts: 116824
Variables: 10663
Constraints: 34851