Problem: T4-U5
Solution:
 Bag1: T4
  -- -- -- -- -- -- 06 06 06 -- 
  01 01 01 -- 04 04 04 06 08 -- 
  -- 01 02 02 02 04 05 08 08 08 
  00 00 00 02 03 05 05 05 07 -- 
  -- 00 09 03 03 03 -- 07 07 07 
  -- 09 09 09 -- -- -- -- -- -- 
 Bag2: U5
  -- -- -- -- -- -- 0d 0d 0d -- 
  00 00 02 -- 02 0c 0d 0c 0d -- 
  -- 00 02 02 02 0c 0c 0c 0e 0e 
  00 00 0a 0a 0a 0b 0b 0b 0e -- 
  -- 09 0a 09 0a 0b -- 0b 0e 0e 
  -- 09 09 09 -- -- -- -- -- -- 
#squares: 40
#pieces:
 Bag1: 10
 Bag2: 8
CPU Time: 7717.276s
Optimum: yes
Board Size: 15x15
Threads: 16
Choices: 178822032
Conflicts: 145947695
Restarts: 87641
Variables: 6282
Constraints: 19077