2015-05-05T11:35:40.264604 status=4 elapsed 17547 msec-max 8000
root +  1496 +7768GI-0069KI+7978OU-6968KI+7877OU-0076GI+7786OU-7685GI+8677OU-0076FU+7787OU-7677TO+8777OU-0076FU+7787OU-0086FU+8798OU-8687TO+9887OU-7677TO+8777OU-8574GI+3342NK-0076FU+7788OU-7262OU+0053GI-6272OU+6574KI-7677TO+8877OU-0076GI+7786OU-7685GI+8677OU-8574GI+5674UM-0076KI (38 5) 15281k [4] 26.8s (9.3s)
  +7768GI -  1496 -0069KI+7978OU-6968KI+7877OU-0076GI+7786OU (37 4) 45018k 26.8s (9.3s)
    -0069KI +  1496 +7978OU-6968KI+7877OU-0076GI+7786OU-7685GI (36 3) 1097k 26.7s (9.4s)
      +7978OU -  1496 -6968KI+7877OU-0076GI+7786OU-7685GI+8677OU (35 2) 10737k [10] 9.4s (9.4s)
        -6968KI +  1496 +7877OU-0076GI+7786OU-7685GI+8677OU-0076FU (34 1) 6349k w1=11 9.4s (9.4s)
          +7877OU -  1496 -0076GI+7786OU-7685GI+8677OU-0076FU+7787OU (33 12) 660k [3] w0=3 (9.4s)
          others  +  1231 +7887OU-0076GI+8786OU-7685GI+8677OU-0076FU (23 15) 5689k [6] w0=6 (9.4s)
        others  -  3134 -7283OU+6877GI-0076FU+7786GI-0095KE+8695GI (14 13) 4387k [2] w0=2 (9.4s)
            alt -  3073 -5868UM+7887OU-0086GI+8798OU (20 13)
    -7151HI +  4137 +0069GI-0078FU+5678UM-0086KE+6958GI-8678NK (23 1) 31526k 17.5s (9.3s)
      +0069GI -  4137 -0078FU+5678UM-0086KE+6958GI-8678NK+7978OU (22 14) 9808k [5] w0=5 (17.5s)
      +6251NG -  3242 -0069KI+7978OU-6968KI+7877OU-0076GI+7786OU (31 3) 16329k 9.4s (9.3s)
        -0069KI +  3242 +7978OU-6968KI+7877OU-0076GI+7786OU-7685GI (30 2) 10747k 9.4s (9.3s)
          +7978OU -  3242 -6968KI+7877OU-0076GI+7786OU-7685GI+8677OU (29 1) 10747k 9.4s (9.3s)
            -6968KI +  3242 +7877OU-0076GI+7786OU-7685GI+8677OU-0076FU (28 13) 4415k [4] w0=4 (9.3s)
            others  -  4955 -5868UM+7887OU-0071GI+3342NK-0086FU+8776OU (18 13) 6332k [7] w0=7 (9.3s)
        others  -  5537 -0088KI+8988FU-8788TO+7988OU-0087FU+8898OU (39 13) 5581k [8] w0=8 (9.3s)
      others  +  3213 +0059GI-0069KI+7978OU-6968KI+5968GI-0086KE (17 14) 5387k [9] w0=9 (9.3s)
    others  -  4167 -7283OU+0069GI-0078FU+5678UM-0077FU+7877UM (30 15) 12394k [1] w0=1 (17.5s)
  others  + -29994 +7978OU-6877NG+7877OU (3 5) 3k [7] solved (26.7s)
P1-KY-KE-HI *  * -KI *  * -KY
P2 *  * -OU+GI * -KI *  *  * 
P3-FU *  * -FU *  * +NK+RY * 
P4 *  * +KE *  * +FU *  * -FU
P5 *  *  * +KI *  *  *  *  * 
P6 *  *  * +FU+UM *  *  *  * 
P7+FU-FU+GI * +FU *  *  * +FU
P8 *  *  * -GI-UM *  *  *  * 
P9+KY+FU+OU *  *  *  *  * +KY
P+00GI00FU00FU00FU
P-00KI00KE00FU00FU00FU00FU00FU
+
