2015-05-05T11:36:23.447284 status=3 elapsed 8030 msec-max 8000
root -  2117 -0076GI+7786OU-7685GI+8677OU-0076FU+7787OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-7677TO+8777OU-8574GI+6271NG-7271OU+6574KI-0076GI+7788OU-4252KI+0082GI-7182OU+0083GI-8271OU+0072GI (36 4) 39366k 16.5s (7.8s)
  -0076GI +  2117 +7786OU-7685GI+8677OU-0076FU+7787OU-0086FU (35 3) 21311k 17.5s (7.8s)
    +7786OU -  2117 -7685GI+8677OU-0076FU+7787OU-0086FU+8798OU (34 2) 21311k 17.5s (7.8s)
      -7685GI +  2117 +8677OU-0076FU+7787OU-0086FU+8798OU-8687TO (33 1) 9469k 17.5s (17.5s)
        +8677OU -  2117 -0076FU+7787OU-0086FU+8798OU-8687TO+9887OU (32 14) 9467k [4] w0=4 (17.5s)
        others  + -29994 +8675OU-5876UM+7584OU (3 5) 1k [6] solved (17.5s)
      -7151HI + 29983 +0073FU-8173KE+6273NG-7273OU+0062GI-7384OU (14 1) 8513k solved 7.8s (7.8s)
      others  - 29986 -7283OU+0084GI-8384OU+6575KI-8494OU+0095GI (13 12) 3329k [2] solved (7.8s)
  others  -  3194 -7283OU+6271NG-6878KI+7778OU-0077FU+7877OU (26 13) 2160k [10] w0=10 (7.8s)
      alt -  3548 -0073GI+3342NK-7362GI+0082KI (8 12)
  -6878KI +  3217 +7778OU-0077FU+7877OU-0076GI+7786OU-7685GI (33 2) 10523k 7.8s (7.8s)
    +7778OU -  3217 -0077FU+7877OU-0076GI+7786OU-7685GI+8677OU (32 1) 10129k 7.8s (7.8s)
      -0077FU +  3217 +7877OU-0076GI+7786OU-7685GI+8677OU-0076FU (31 16) 4733k [3] w0=3 (7.8s)
      others  -  4400 -8788TO+7888OU-0087FU+8898OU-8788TO+8988FU (32 15) 5395k [6] w0=6 (7.8s)
    others  +  1763 +5678UM-0076GI+7786OU-7685GI+8687OU-0086FU (29 13) 394k [9] w0=9 (7.8s)
  -0085KE + 29965 +7786OU-7151HI+6251NG-5876UM+8676OU-8577NK (25 18) 5369k [8] solved (16.5s)
  -7151HI + 29970 +0073FU-8173KE+0061GI-7283OU+7482NK-8382OU (29 0) 0k solved (16.5s)
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+OU * +FU *  *  * +FU
P8 *  *  * -KI-UM *  *  *  * 
P9+KY+FU *  *  *  *  *  * +KY
P+00GI00GI00FU00FU00FU
P-00GI00KE00FU00FU00FU00FU00FU
-
