Problem: I4-T5
Solution:
 Bag1: I4
  -- 04 -- -- 
  -- 04 -- -- 
  01 04 07 09 
  01 04 07 09 
  01 03 07 09 
  01 03 07 09 
  -- 03 06 -- 
  -- 03 06 -- 
  00 02 06 08 
  00 02 06 08 
  00 02 05 08 
  00 02 05 08 
  -- -- 05 -- 
  -- -- 05 -- 
 Bag2: T5
  -- 0b -- -- 
  -- 0b -- -- 
  0b 0b 0b 04 
  01 04 04 04 
  01 01 01 04 
  01 0d 0d 0d 
  -- 0a 0d -- 
  -- 0a 0d -- 
  0a 0a 0a 0c 
  00 0c 0c 0c 
  00 00 00 0c 
  00 02 02 02 
  -- -- 02 -- 
  -- -- 02 -- 
#squares: 40
#pieces:
 Bag1: 10
 Bag2: 8
CPU Time: 5513.912s
Optimum: yes
Board Size: 15x15
Threads: 16
Choices: 195957048
Conflicts: 149329047
Restarts: 100275
Variables: 4318
Constraints: 13641