Problem: W5-Y5-I4
Solution:
 Bag1: W5
  0a -- -- -- -- -- 
  0a 0a 0b 0b -- -- 
  01 0a 0a 0b 0b -- 
  01 01 06 06 0b -- 
  -- 01 01 06 06 -- 
  00 00 05 05 06 -- 
  -- 00 00 05 05 -- 
  -- 04 00 09 05 -- 
  -- 04 04 09 09 -- 
  -- 03 04 04 09 09 
  -- 03 03 08 08 -- 
  -- 02 03 03 08 08 
  -- 02 02 07 07 08 
  -- -- 02 02 07 07 
  -- -- -- -- -- 07 
 Bag2: Y5
  01 -- -- -- -- -- 
  01 01 0e 11 -- -- 
  01 0e 0e 11 11 -- 
  01 00 0e 11 10 -- 
  -- 00 0e 11 10 -- 
  00 00 0d 10 10 -- 
  -- 00 0d 0f 10 -- 
  -- 0d 0d 0f 0f -- 
  -- 0c 0d 0f 12 -- 
  -- 0c 0c 0f 12 12 
  -- 0c 02 13 12 -- 
  -- 0c 02 13 12 14 
  -- 02 02 13 13 14 
  -- -- 02 13 14 14 
  -- -- -- -- -- 14 
 Bag3: I4
  01 -- -- -- -- -- 
  01 16 19 11 -- -- 
  01 16 19 11 1a -- 
  01 16 19 11 1a -- 
  -- 16 19 11 1a -- 
  00 00 00 00 1a -- 
  -- 15 15 15 15 -- 
  -- 0d 0d 0d 0d -- 
  -- 04 04 04 04 -- 
  -- 02 18 18 18 18 
  -- 02 17 13 14 -- 
  -- 02 17 13 14 1b 
  -- 02 17 13 14 1b 
  -- -- 17 13 14 1b 
  -- -- -- -- -- 1b 
#squares: 60
#pieces:
 Bag1: 12
 Bag2: 12
 Bag3: 15
CPU Time: 19157.761s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 290823783
Conflicts: 221103178
Restarts: 154608
Variables: 9722
Constraints: 32130