Problem: V5-T5-T4
Solution:
 Bag1: V5
  -- -- -- 04 04 04 -- -- 
  -- -- -- 04 02 07 07 07 
  -- -- -- 04 02 07 06 -- 
  -- -- 02 02 02 07 06 -- 
  -- 01 01 01 06 06 06 -- 
  -- 01 00 03 03 03 -- -- 
  -- 01 00 -- 05 03 -- -- 
  00 00 00 -- 05 03 -- -- 
  -- -- -- -- 05 05 05 -- 
 Bag2: T5
  -- -- -- 09 09 09 -- -- 
  -- -- -- 02 09 0a 0a 0a 
  -- -- -- 02 09 06 0a -- 
  -- -- 02 02 02 06 0a -- 
  -- 08 08 08 06 06 06 -- 
  -- 00 08 03 03 03 -- -- 
  -- 00 08 -- 03 05 -- -- 
  00 00 00 -- 03 05 -- -- 
  -- -- -- -- 05 05 05 -- 
 Bag3: T4
  -- -- -- 09 09 09 -- -- 
  -- -- -- 0c 09 0a 0a 0a 
  -- -- -- 0c 0c 0e 0a -- 
  -- -- 08 0c 0e 0e 0e -- 
  -- 08 08 08 06 06 06 -- 
  -- 0b 0b 0b 0d 06 -- -- 
  -- 00 0b -- 0d 0d -- -- 
  00 00 00 -- 0d 05 -- -- 
  -- -- -- -- 05 05 05 -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 14138.222s
Optimum: yes
Board Size: 20x20
Threads: 16
Choices: 225388214
Conflicts: 162707332
Restarts: 71083
Variables: 16994
Constraints: 53952