Problem: W5-I5-L4
Solution:
 Bag1: W5
  -- -- -- -- -- -- 07 09 09 0c 0c -- -- -- 
  -- -- -- -- -- -- 07 07 09 09 0c 0c -- -- 
  -- -- -- -- -- -- 05 07 07 09 0b 0c 0f 0f 
  -- 00 00 02 02 05 05 06 06 0b 0b 0f 0f 0e 
  00 00 02 02 05 05 06 06 0b 0b -- 0f 0e 0e 
  00 01 02 03 04 04 06 08 0a 0a -- 0e 0e 0d 
  -- 01 01 03 03 04 04 08 08 0a 0a -- 0d 0d 
  -- -- 01 01 03 03 04 -- 08 08 0a 0d 0d -- 
 Bag2: I5
  -- -- -- -- -- -- 18 18 18 18 18 -- -- -- 
  -- -- -- -- -- -- 07 07 07 07 07 0e -- -- 
  -- -- -- -- -- -- 17 17 17 17 17 0e 1a 1b 
  -- 11 11 11 11 11 16 16 16 16 16 0e 1a 1b 
  10 10 10 10 10 14 14 14 14 14 -- 0e 1a 1b 
  00 00 00 00 00 13 13 13 13 13 -- 0e 1a 1b 
  -- 01 01 01 01 01 15 15 15 15 15 -- 1a 1b 
  -- -- 12 12 12 12 12 -- 19 19 19 19 19 -- 
 Bag3: L4
  -- -- -- -- -- -- 07 07 07 0c 0c -- -- -- 
  -- -- -- -- -- -- 07 1f 1f 1f 0c 23 -- -- 
  -- -- -- -- -- -- 1c 1f 20 20 0c 23 23 23 
  -- 11 11 11 1c 1c 1c 1e 1e 20 22 22 24 24 
  00 00 00 11 02 14 14 1e 08 20 -- 22 24 1a 
  00 01 02 02 02 1d 14 1e 08 19 -- 22 24 1a 
  -- 01 01 01 12 1d 14 08 08 19 21 -- 1a 1a 
  -- -- 12 12 12 1d 1d -- 19 19 21 21 21 -- 
#squares: 80
#pieces:
 Bag1: 16
 Bag2: 16
 Bag3: 20
CPU Time: 19197.716s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 292684661
Conflicts: 222567405
Restarts: 154568
Variables: 9425
Constraints: 30808