Problem: F5-X5-T4
Solution:
 Bag1: F5
  -- -- -- 02 -- -- -- -- -- -- 
  -- 00 02 02 02 -- 06 -- -- -- 
  00 00 00 04 02 06 06 07 07 -- 
  -- 01 00 04 04 04 06 06 07 07 
  -- 01 01 01 04 -- 05 -- 07 -- 
  -- -- 01 -- 03 03 05 05 -- -- 
  -- -- -- 03 03 05 05 -- -- -- 
  -- -- -- -- 03 -- -- -- -- -- 
 Bag2: X5
  -- -- -- 02 -- -- -- -- -- -- 
  -- 00 02 02 02 -- 06 -- -- -- 
  00 00 00 02 04 06 06 06 09 -- 
  -- 00 01 04 04 04 06 09 09 09 
  -- 01 01 01 04 -- 08 -- 09 -- 
  -- -- 01 -- 03 08 08 08 -- -- 
  -- -- -- 03 03 03 08 -- -- -- 
  -- -- -- -- 03 -- -- -- -- -- 
 Bag3: T4
  -- -- -- 02 -- -- -- -- -- -- 
  -- 00 02 02 02 -- 06 -- -- -- 
  00 00 0a 0a 0a 06 06 06 0d -- 
  -- 00 01 0a 0b 0c 0c 0c 0d 0d 
  -- 01 01 0b 0b -- 0c -- 0d -- 
  -- -- 01 -- 0b 08 08 08 -- -- 
  -- -- -- 03 03 03 08 -- -- -- 
  -- -- -- -- 03 -- -- -- -- -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 829.120s
Optimum: yes
Board Size: 30x30
Threads: 16
Choices: 21665687
Conflicts: 11741025
Restarts: 7873
Variables: 36811
Constraints: 124935