Problem: W5-U5-I4
Solution:
 Bag1: W5
  -- 01 01 03 05 07 07 -- 
  01 01 03 03 05 05 07 07 
  01 03 03 -- -- 05 05 07 
  00 02 02 -- -- 04 04 06 
  00 00 02 02 04 04 06 06 
  -- 00 00 02 04 06 06 -- 
 Bag2: U5
  -- 09 09 09 05 05 05 -- 
  01 09 01 09 05 0b 05 0b 
  01 01 01 -- -- 0b 0b 0b 
  00 00 00 -- -- 0a 0a 0a 
  00 08 00 08 04 0a 04 0a 
  -- 08 08 08 04 04 04 -- 
 Bag3: I4
  -- 0c 0c 0c 0c 10 11 -- 
  00 09 09 09 09 10 11 12 
  00 08 0d -- -- 10 11 12 
  00 08 0d -- -- 10 11 12 
  00 08 0d 0f 0f 0f 0f 12 
  -- 08 0d 0e 0e 0e 0e -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 7747.655s
Optimum: yes
Board Size: 30x30
Threads: 16
Choices: 101625512
Conflicts: 76209054
Restarts: 40435
Variables: 38480
Constraints: 119987