2015-05-04T18:23:43.898559 status=3 elapsed 8026 msec-max 8000
root - -6702 -8899RY+4746FU-0039GI+4847OU-9995RY+8384TO-9584RY+8786FU-0077KA+1716FU-0054KI+6525HI-2425KY+2917KE-2819UM+1725KE-0069HI+1615FU-3928GI (19 3) 32329k 6.7s (5.2s)
  -8899RY + -6702 +4746FU-0039GI+4847OU-9995RY+8384TO-9584RY (18 2) 14067k 6.8s (6.8s)
    +4746FU - -6702 -0039GI+4847OU-9995RY+8384TO-9584RY+8786FU (17 1) 13379k 7.8s (7.8s)
      -0039GI + -6702 +4847OU-9995RY+8384TO-9584RY+8786FU-0077KA (16 16) 5386k [1] w0=1 (7.8s)
      others  - -6088 -9995RY+2726FU-0077KA+2625FU-0054GI+2524FU (19 18) 7993k [8] w0=8 (7.8s)
    +5756FU - -29965 -0039GI+4857OU-9995RY+4746FU-9598RY+5747OU (17 24) 2498k [7] solved (6.8s)
    others  + -29988 +9559KA-0039GI+4939KI-2839UM+4839OU-9959RY (10 9) 165k [10] solved (6.8s)
  -8889RY + -5719 +4746FU-0039GI+4847OU-2819UM+9559KA-3928NG (14 3) 13858k 5.2s (5.2s)
    +4746FU - -5719 -0039GI+4847OU-2819UM+9559KA-3928NG+8373TO (13 2) 7994k 6.7s (6.7s)
      -0039GI + -5719 +4847OU-2819UM+9559KA-3928NG+8373TO-2838NG (12 1) 3319k 6.7s (6.7s)
        +4847OU - -5719 -2819UM+9559KA-3928NG+8373TO-2838NG+4938KI (11 14) 3301k [4] w0=4 (6.7s)
        others  + -29976 +4939KI-2839UM+4847OU-0048KI+4736OU-3938UM (16 14) 17k [6] w0=6 (6.7s)
      others  - -5592 -2427NY+6525HI-2738NY+4938KI-2819UM+8372TO (24 16) 4674k [2] w0=2 (6.7s)
    others  + -7045 +5756FU-0039GI+4857OU-8987RY+5746OU-0054KI (22 16) 2968k [5] w0=5 (5.2s)
    +9551UM - -7699 -5251KI+4746FU-0054GI+6563RY-5463GI+8373TO (18 17) 2895k [3] w0=3 (5.2s)
  others  - -5497 -8879RY+5756FU-0067KI+4746FU-2819UM+8573NK (23 17) 4895k [9] w0=9 (6.7s)
P1 * -KE *  *  *  * -GI-KE-KY
P2 *  *  *  * -KI-OU-KI *  * 
P3 * +TO * -FU-FU-FU * -FU * 
P4 *  * -FU *  *  * -FU-KY * 
P5+KA+KE * +HI *  *  *  * -FU
P6 *  * +FU *  *  *  *  *  * 
P7 * +FU *  * +FU+FU+FU+FU+FU
P8 * -RY-GI * +KY+OU+GI-KA * 
P9 *  *  *  *  * +KI * +KE+KY
P-00KI00GI00FU00FU00FU
-
