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