2015-05-05T11:35:30.747257 status=3 elapsed 8030 msec-max 8000
root -  1012 -0068GI+7768GI-0069KI+7978OU-6968KI+7877OU-0076GI+7786OU-7685GI+8677OU-0076FU+7787OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-5869UM+0078FU-0095KE+8798OU-8574GI+0073GI-8173KE+6273GI-7273OU+6574KI-7372OU+0083GI-7261OU+0072GI-7172HI+8372NG-6172OU+7483KI-7261OU+5634UM-0043KE+0073KE (50 4) 56207k 26.1s (8.0s)
  -0068GI +  1012 +7768GI-0069KI+7978OU-6968KI+7877OU-0076GI (49 3) 16280k [4] 17.2s (8.0s)
    +7768GI -  1012 -0069KI+7978OU-6968KI+7877OU-0076GI+7786OU (48 2) 20025k 17.2s (8.0s)
      -0069KI +  1012 +7978OU-6968KI+7877OU-0076GI+7786OU-7685GI (47 1) 6441k 17.2s (17.2s)
        +7978OU -  1012 -6968KI+7877OU-0076GI+7786OU-7685GI+8677OU (46 14) 6441k [10] w0=10 (17.2s)
      -7151HI +  3843 +0069GI-0078FU+5678UM-0077FU+7877UM-0078FU (23 1) 8617k w1=11 8.0s (8.0s)
        +0069GI -  3843 -0078FU+5678UM-0077FU+7877UM-0078FU+7778UM (22 13) 4051k [5] w0=5 (8.0s)
            alt -  4038 -4233KI+6251NG-0088KI+8988FU (14 12)
            alt -  3947 -0078FU+5678UM-0077FU+7877UM (21 12)
        others  +  3360 +6251NG-0069KI+7978OU-6968KI+7877OU-6878KI (29 13) 4566k [9] w0=9 (8.0s)
      others  -  3991 -7283OU+0069GI-0088KI+8988FU-8788TO+7988OU (16 14) 4966k [1] w0=1 (8.0s)
    others  + -29994 +7978OU-6877NG+7877OU (3 5) 3k [7] solved (17.2s)
  -7283OU +  2689 +6271NG-8394OU+0068HI-0076FU+6858HI-7677TO (25 1) 9268k 8.0s (8.0s)
    +6271NG -  2689 -8394OU+0068HI-0076FU+6858HI-7677TO+3342NK (24 12) 2970k [4] w0=4 (8.0s)
    others  +  1845 +6271GI-0068GI+7768GI-0069KI+7978OU-6968KI (29 14) 6298k [7] w0=7 (8.0s)
  others  -  3279 -0078FU+5678UM-0073GI+6271NG-7271OU+3342NK (16 12) 3592k [2] w0=2 (8.0s)
      alt -  2857 -0069KI+7978OU-0073GI+6271NG (9 11)
      alt -  2857 -0078FU+5678UM-7283OU+6271NG (16 11)
  -7151HI +  3411 +6251NG-0068GI+7768GI-0069KI+7978OU-6968KI (27 1) 29352k 17.2s (17.2s)
    others  +  3411 +6251NG-0068GI+7768GI-0069KI+7978OU-6968KI (27 13) 5994k [8] w0=8 (17.2s)
    +6251GI -  3175 -0068GI+7768GI-0069KI+7978OU-6968KI+7877OU (38 1) 25077k 17.2s (17.2s)
      -0068GI +  3175 +7768GI-0069KI+7978OU-6968KI+7877OU-0076GI (37 14) 10623k [3] w0=3 (17.2s)
      others  -  4642 -0078FU+5678UM-0071GI+5162NG-7273OU+3342NK (20 14) 14453k [6] w0=6 (17.2s)
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 *  *  *  * -UM *  *  *  * 
P9+KY+FU+OU *  *  *  *  * +KY
P+00GI00FU00FU00FU
P-00KI00GI00KE00FU00FU00FU00FU00FU
-
