2015-05-04T18:24:02.780062 status=4 elapsed 9757 msec-max 8000
root + -29976 +4857OU-9995RY+4746FU-9597RY+5747OU-0014KA+3736FU-9787RY+5857KY-7867NG+6567HI-1436KA+4736OU-8767RY+0051KA-5251KI+8573NK-0035HI (18 4) 8248k 7.8s (5.4s)
  +4857OU - -29976 -9995RY+4746FU-9597RY+5747OU-0014KA+3736FU (17 3) 24662k 6.8s (5.4s)
    -9995RY + -29976 +4746FU-9597RY+5747OU-0014KA+3736FU-9787RY (16 2) 2711k 6.4s (5.4s)
      +4746FU - -29976 -9597RY+5747OU-0014KA+3736FU-9787RY+5857KY (15 1) 8328k 5.4s (5.4s)
        -9597RY + -29976 +5747OU-0014KA+3736FU-9787RY+5857KY-7867NG (14 20) 410k [2] w0=2 w1=11 (5.4s)
        -9596RY + -29975 +5747OU-0014KA+3736FU-9687RY+5857KY-1436KA (15 1) 5348k 6.4s (6.4s)
          +5747OU - -29975 -0014KA+3736FU-9687RY+5857KY-1436KA+4736OU (14 18) 412k [1] solved (6.4s)
          others  + -29988 +4939KI-2839UM+5747OU-0048KI+4757OU-9687RY (11 13) 4935k [8] w0=8 (6.4s)
              alt + -29987 +6563RY-5263KI+0067FU-0069HI (4 12)
        others  - -7395 -0079KA+5747OU-0054KI+6555HI-5455KI+5655FU (17 16) 2570k [5] w0=5 (5.4s)
      others  + -29986 +8384TO-0079KA+5766OU-0067KI+6655OU-7935UM (10 16) 1596k [9] w0=9 (6.4s)
    -0054KI + -6170 +6568HI-9995RY+6878HI-9585RY+0088GI-8583RY (20 1) 8046k 6.8s (6.8s)
      +6568HI - -6170 -9995RY+6878HI-9585RY+0088GI-8583RY+5655FU (19 16) 3843k [4] w0=4 (6.8s)
      others  + -7081 +6566HI-9995RY+4746FU-0079KA+5747OU-9585RY (10 14) 4203k [3] w0=3 (6.8s)
          alt + -6990 +6567HI-9995RY+6768HI-9585RY (20 14)
          alt + -7402 +9577KA-9949RY+3849GI-5465KI (14 13)
    others  - -6098 -0064KI+9577KA-9949RY+3849GI-6465KI+0068HI (9 16) 5504k [7] w0=7 (6.8s)
        alt - -5191 -2819UM+9586KA-0064KY+8664KA (17 15)
    -0067KI + -6071 +6567HI-7867NG+5767OU-9995RY+8384TO-9584RY (18 1) 8603k 6.8s (6.8s)
      +6567HI - -6071 -7867NG+5767OU-9995RY+8384TO-9584RY+8786FU (17 13) 2886k [10] w0=10 (6.8s)
      others  + -7296 +5746OU-9995RY+8384TO-9584RY+5655FU-0079KA (18 17) 5717k [6] w0=6 (6.8s)
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 * +FU *  *  *  * 
P7 * +FU *  *  * +FU+FU+FU+FU
P8 *  * -GI * +KY+OU+GI-KA * 
P9-RY *  *  *  * +KI-GI+KE+KY
P-00KI00FU00FU00FU
+
