Problem: V5-L5-Q4
Solution:
 Bag1: V5
  -- -- 01 03 03 03 -- -- -- -- 
  -- -- 01 03 05 05 05 07 -- -- 
  01 01 01 03 -- -- 05 07 -- -- 
  00 00 00 02 -- -- 05 07 07 07 
  -- -- 00 02 -- -- 04 06 06 06 
  -- -- 00 02 02 02 04 06 -- -- 
  -- -- -- -- 04 04 04 06 -- -- 
 Bag2: L5
  -- -- 09 09 09 09 -- -- -- -- 
  -- -- 09 01 05 05 05 05 -- -- 
  01 01 01 01 -- -- 0b 05 -- -- 
  00 00 00 00 -- -- 0b 0b 0b 0b 
  -- -- 08 00 -- -- 0a 0a 0a 0a 
  -- -- 08 08 08 08 0a 04 -- -- 
  -- -- -- -- 04 04 04 04 -- -- 
 Bag3: Q4
  -- -- 09 09 05 05 -- -- -- -- 
  -- -- 09 09 05 05 0f 0f -- -- 
  00 00 0c 0c -- -- 0f 0f -- -- 
  00 00 0c 0c -- -- 0e 0e 10 10 
  -- -- 08 08 -- -- 0e 0e 10 10 
  -- -- 08 08 04 04 0d 0d -- -- 
  -- -- -- -- 04 04 0d 0d -- -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 350.797s
Optimum: yes
Board Size: 30x30
Threads: 16
Choices: 10164668
Conflicts: 6488672
Restarts: 4670
Variables: 38535
Constraints: 130471