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