Problem: P5-T5-L4
Solution:
 Bag1: P5
  01 01 01 -- 03 05 05 05 -- -- 
  -- 01 01 03 03 05 05 07 07 07 
  -- 00 00 03 03 04 04 07 07 -- 
  00 00 00 02 02 04 04 06 06 -- 
  -- -- 02 02 02 04 -- 06 06 06 
 Bag2: T5
  01 01 01 -- 09 09 09 07 -- -- 
  -- 01 08 08 08 09 0b 07 07 07 
  -- 01 00 08 0a 09 0b 07 06 -- 
  00 00 00 08 0a 0b 0b 0b 06 -- 
  -- -- 00 0a 0a 0a -- 06 06 06 
 Bag3: L4
  01 01 08 -- 09 09 09 0e -- -- 
  -- 01 08 08 08 0b 09 0e 0f 0f 
  -- 01 0c 0c 0d 0b 0e 0e 0f -- 
  00 00 00 0c 0d 0b 0b 06 0f -- 
  -- -- 00 0c 0d 0d -- 06 06 06 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 19167.242s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 330753584
Conflicts: 243538305
Restarts: 156965
Variables: 12018
Constraints: 41383