Problem: W5-V5-I4
Solution:
 Bag1: W5
  00 00 02 02 04 04 06 06 08 08 0a 0a -- -- 
  -- 00 00 02 02 04 04 06 06 08 08 0a 0a -- 
  -- 01 00 03 02 05 04 07 06 09 08 0b 0a -- 
  -- 01 01 03 03 05 05 07 07 09 09 0b 0b -- 
  -- -- 01 01 03 03 05 05 07 07 09 09 0b 0b 
 Bag2: V5
  00 00 00 0d 0d 0d 06 06 06 11 11 11 -- -- 
  -- 01 00 0d 0e 0e 0e 07 06 11 12 12 12 -- 
  -- 01 00 0d 0c 0f 0e 07 06 11 10 13 12 -- 
  -- 01 01 01 0c 0f 0e 07 07 07 10 13 12 -- 
  -- -- 0c 0c 0c 0f 0f 0f 10 10 10 13 13 13 
 Bag3: I4
  00 00 00 00 04 04 04 04 08 08 08 08 -- -- 
  -- 15 15 15 15 17 17 17 17 19 19 19 19 -- 
  -- 14 14 14 14 16 16 16 16 11 11 11 11 -- 
  -- 01 01 01 01 05 05 05 05 09 09 09 09 -- 
  -- -- 0c 0c 0c 0c 18 18 18 18 1a 1a 1a 1a 
#squares: 60
#pieces:
 Bag1: 12
 Bag2: 12
 Bag3: 15
CPU Time: 1763.169s
Optimum: yes
Board Size: 15x15
Threads: 16
Choices: 33901122
Conflicts: 25567683
Restarts: 13782
Variables: 8148
Constraints: 25636