2015-05-05T11:36:15.415546 status=4 elapsed 17649 msec-max 8000
root +  1865 +7877OU-0076GI+7786OU-7685GI+8677OU-0076FU+7787OU-5869UM+0078FU-0086FU+8798OU-8687TO+9887OU-7677TO+8777OU-0076FU+7787OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-0095KE+8798OU-8574GI+0073GI-8173KE+6273GI-7273OU+6574KI-7362OU+0054KE-6272OU+0073GI (37 5) 54314k 44.5s (6.7s)
  +7877OU -  1865 -0076GI+7786OU-7685GI+8677OU-0076FU+7787OU (36 4) 15424k 8.4s (8.4s)
    -0076GI +  1865 +7786OU-7685GI+8677OU-0076FU+7787OU-5869UM (35 3) 8927k 9.5s (9.5s)
      +7786OU -  1865 -7685GI+8677OU-0076FU+7787OU-5869UM+0078FU (34 2) 9737k 9.5s (9.5s)
        -7685GI +  1865 +8677OU-0076FU+7787OU-5869UM+0078FU-0086FU (33 1) 4169k 9.5s (9.5s)
          +8677OU -  1865 -0076FU+7787OU-5869UM+0078FU-0086FU+8798OU (32 13) 4167k [4] w0=4 (9.5s)
          others  + -29994 +8675OU-5876UM+7584OU (3 5) 1k [6] solved (9.5s)
        others  -  2975 -7151HI+6575KI-7685GI+7585KI-0094KE+8696OU (12 14) 5568k [2] w0=2 (9.5s)
    others  -  2792 -6878KI+7778OU-0077FU+7887OU-0086FU+8777OU (24 13) 1694k [10] w0=10 (8.4s)
    -0085KE +  9871 +7786OU-7151HI+6251NG-5876UM+8676OU-8577NK (25 16) 4802k [8] w0=8 (8.4s)
    -7151HI + 29970 +0073FU-8173KE+0061GI-7283OU+7482NK-8382OU (29 0) 0k solved (8.4s)
  +7887OU -  1739 -0095KE+8786OU-0085GI+8677OU-0076FU+7788OU (39 1) 42426k 26.0s (6.7s)
    -0095KE +  1739 +8786OU-0085GI+8677OU-0076FU+7788OU-7677TO (38 18) 13731k [9] (26.0s)
    others  -  1964 -7283OU+6575KI-0076GI+7576KI-5876UM+8776OU (16 13) 2300k [5] (6.7s)
    -0086FU +  2266 +8786OU-0085FU+8677OU-0076FU+7788OU-7677TO (26 16) 17550k [1] (26.0s)
    -0076GI +  2340 +8786OU-7685GI+8677OU-0076FU+7787OU-0086FU (41 2) 8844k 6.7s (6.7s)
      +8786OU -  2340 -7685GI+8677OU-0076FU+7787OU-0086FU+8798OU (40 1) 9067k 6.7s (6.7s)
        -7685GI +  2340 +8677OU-0076FU+7787OU-0086FU+8798OU-8687TO (39 15) 3904k [3] (6.7s)
        others  -  2355 -7283OU+6271GI-7685GI+8677OU-0076FU+7788OU (20 14) 5163k [6] (6.7s)
            alt -  2458 -7151HI+6251NG-7685GI+8677OU (24 14)
      others  + -29984 +8798OU-0086KE+9888OU-6878KI+5678UM-8678NK (19 8) 21k [7] solved (6.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 *  * +FU *  *  * +FU
P8 *  * +OU-KI-UM *  *  *  * 
P9+KY+FU *  *  *  *  *  * +KY
P+00GI00GI00FU00FU00FU
P-00GI00KE00FU00FU00FU00FU00FU
+
