Problem: P5-X5-L4
Solution:
 Bag1: P5
  -- -- -- 06 -- -- -- 
  -- 01 01 06 06 -- -- 
  01 01 01 06 06 -- -- 
  -- 03 03 05 05 05 -- 
  -- 03 03 03 05 05 -- 
  -- 00 00 -- 07 07 07 
  00 00 00 -- 07 07 -- 
  -- 02 02 04 04 04 -- 
  -- 02 02 04 04 -- -- 
  -- -- 02 -- -- -- -- 
 Bag2: X5
  -- -- -- 08 -- -- -- 
  -- 01 08 08 08 -- -- 
  01 01 01 08 05 -- -- 
  -- 01 03 05 05 05 -- 
  -- 03 03 03 05 0a -- 
  -- 00 03 -- 0a 0a 0a 
  00 00 00 -- 09 0a -- 
  -- 00 02 09 09 09 -- 
  -- 02 02 02 09 -- -- 
  -- -- 02 -- -- -- -- 
 Bag3: L4
  -- -- -- 0c -- -- -- 
  -- 0c 0c 0c 10 -- -- 
  01 01 01 0f 10 -- -- 
  -- 0b 01 0f 10 10 -- 
  -- 0b 0f 0f 07 07 -- 
  -- 0b 0b -- 07 11 11 
  00 00 0e -- 07 11 -- 
  -- 00 0e 0e 0e 11 -- 
  -- 00 0d 0d 0d -- -- 
  -- -- 0d -- -- -- -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 1157.576s
Optimum: yes
Board Size: 30x30
Threads: 16
Choices: 25476940
Conflicts: 15367521
Restarts: 9366
Variables: 43262
Constraints: 151645