Problem: T4-V5
Solution:
 Bag1: T4
  -- 05 05 05 
  -- 04 05 -- 
  -- 04 04 08 
  02 04 08 08 
  02 02 07 08 
  02 01 07 07 
  01 01 07 06 
  00 01 06 06 
  00 00 03 06 
  00 03 03 -- 
  -- 09 03 -- 
  09 09 09 -- 
 Bag2: V5
  -- 0e 0e 0e 
  -- 0e 0a -- 
  -- 0e 0a 0d 
  0a 0a 0a 0d 
  01 0d 0d 0d 
  01 0c 0c 0c 
  01 01 01 0c 
  00 00 00 0c 
  00 0b 0b 0b 
  00 0b 09 -- 
  -- 0b 09 -- 
  09 09 09 -- 
#squares: 40
#pieces:
 Bag1: 10
 Bag2: 8
CPU Time: 9599.915s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 285364771
Conflicts: 214845818
Restarts: 135564
Variables: 5710
Constraints: 17621