Problem: W5-Y5-Q4
Solution:
 Bag1: W5
  -- 05 05 07 07 -- -- 09 09 -- -- 
  -- 04 05 05 07 07 09 09 0c 0c 0f 
  02 04 04 05 -- 07 09 0c 0c 0f 0f 
  02 02 04 04 -- -- -- 0c 0f 0f 0e 
  -- 02 02 -- -- -- -- -- -- 0e 0e 
  -- 01 01 -- -- -- -- -- 0e 0e -- 
  01 01 -- -- -- -- -- -- 0d 0d -- 
  01 00 00 03 -- -- -- 0b 0b 0d 0d 
  00 00 03 03 06 08 -- 0a 0b 0b 0d 
  00 03 03 06 06 08 08 0a 0a 0b -- 
  -- -- 06 06 -- -- 08 08 0a 0a -- 
 Bag2: Y5
  -- 05 05 05 05 -- -- 09 0f -- -- 
  -- 10 05 12 12 12 12 09 0f 0f 14 
  10 10 10 10 -- 12 09 09 0f 14 14 
  02 02 02 02 -- -- -- 09 0f 0e 14 
  -- 11 02 -- -- -- -- -- -- 0e 14 
  -- 11 11 -- -- -- -- -- 0e 0e -- 
  00 11 -- -- -- -- -- -- 0b 0e -- 
  00 11 03 16 -- -- -- 0b 0b 0b 0b 
  00 00 03 16 16 15 -- 13 13 13 13 
  00 03 03 16 15 15 15 15 17 13 -- 
  -- -- 03 16 -- -- 17 17 17 17 -- 
 Bag3: Q4
  -- 19 19 12 12 -- -- 1d 1d -- -- 
  -- 19 19 12 12 1c 1c 1d 1d 14 14 
  02 02 1b 1b -- 1c 1c 0c 0c 14 14 
  02 02 1b 1b -- -- -- 0c 0c 20 20 
  -- 18 18 -- -- -- -- -- -- 20 20 
  -- 18 18 -- -- -- -- -- 0d 0d -- 
  01 01 -- -- -- -- -- -- 0d 0d -- 
  01 01 1a 1a -- -- -- 13 13 1f 1f 
  00 00 1a 1a 15 15 -- 13 13 1f 1f 
  00 00 06 06 15 15 17 17 1e 1e -- 
  -- -- 06 06 -- -- 17 17 1e 1e -- 
#squares: 80
#pieces:
 Bag1: 16
 Bag2: 16
 Bag3: 20
CPU Time: 11816.764s
Optimum: yes
Board Size: 30x30
Threads: 16
Choices: 118336183
Conflicts: 83746686
Restarts: 38885
Variables: 39454
Constraints: 132432