2015-05-05T11:36:33.165477 status=4 elapsed 17748 msec-max 8000
root +   925 +7786OU-7685GI+8677OU-0076FU+7787OU-5869UM+0078FU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-0095KE+8798OU-8574GI+0073GI-8173KE+6273GI-7273OU+6574KI-7372OU+0083GI-7261OU+0072GI-7172HI+8372NG-6172OU+7463KI-7263OU+3342NK-0033KE+2333RY-0053GI+0083HI-0073GI+0075KE (47 20) 28778k 27.2s (5.6s)
  +7786OU -   925 -7685GI+8677OU-0076FU+7787OU-5869UM+0078FU (46 19) 28778k 27.2s (5.6s)
    -7685GI +   925 +8677OU-0076FU+7787OU-5869UM+0078FU-0086FU (45 18) 10916k 27.2s (5.6s)
      +8677OU -   925 -0076FU+7787OU-5869UM+0078FU-0086FU+8798OU (44 17) 13324k 7.4s (5.6s)
        -0076FU +   925 +7787OU-5869UM+0078FU-0086FU+8798OU-8687TO (43 16) 5621k 9.3s (5.6s)
          +7787OU -   925 -5869UM+0078FU-0086FU+8798OU-8687TO+9887OU (42 15) 10308k w1=11 9.3s (5.6s)
            -5869UM +   925 +0078FU-0086FU+8798OU-8687TO+9887OU-0086FU (41 14) 800k [6] sub 5.6s (5.6s)
              +0078FU -   847 -0086FU+8798OU-8687TO+9887OU-7677TO+8777OU (25 11) 90k [10] w0=10 (5.6s)
              others  + -29990 +0078GI-7677TO+8777OU-6878KI+5678UM-0076GI (7 8) 31k [3] solved (5.6s)
            others  -  1102 -7677TO+8777OU-0076FU+7788OU-0087FU+8887OU (36 14) 3849k [6] w0=6 (5.6s)
            -0086FU +  2337 +8798OU-8687TO+9887OU-0086FU+8798OU-8687TO (34 15) 5658k [1] w0=1 (9.3s)
        others  -  2598 -6878KI+7778OU-0077FU+7877OU-0076FU+7778OU (18 13) 3528k [9] w0=9 (5.6s)
        -7151HI +  2899 +6251GI-0076FU+7787OU-5869UM+0078FU-7677TO (25 1) 3383k 5.6s (5.6s)
          +6251GI -  2899 -0076FU+7787OU-5869UM+0078FU-7677TO+8777OU (24 11) 2343k [4] w0=4 (5.6s)
          others  +  2896 +6251NG-0076FU+7787OU-0086FU+8798OU-8687TO (23 12) 1039k [2] w0=2 (5.6s)
        -8574GI + 29987 +0073GI-8173KE+6273NG-7273OU+6574KI-7362OU (14 2) 791k solved 6.4s (6.4s)
      others  + -29994 +8675OU-5876UM+7584OU (3 5) 1k [6] solved (27.2s)
      +8675OU - -29999 -5876UM+7584OU-0092KE (3 2) 5741k solved 9.3s (9.3s)
    -7151HI + 29983 +0073FU-8173KE+6273NG-7273OU+0062GI-7384OU (14 1) 14532k solved 17.6s (17.5s)
    others  - 29986 -7283OU+0084GI-8384OU+6575KI-8494OU+0095GI (13 12) 3329k [2] solved (17.5s)
P1-KY-KE-HI *  * -KI *  * -KY
P2 *  * -OU+GI * -KI *  *  * 
P3-FU *  * -FU *  * +NK+RY * 
P4 *  * +KE *  * +FU *  * -FU
P5 *  *  * +KI *  *  *  *  * 
P6 *  * -GI+FU+UM *  *  *  * 
P7+FU-FU+OU * +FU *  *  * +FU
P8 *  *  * -KI-UM *  *  *  * 
P9+KY+FU *  *  *  *  *  * +KY
P+00GI00GI00FU00FU00FU
P-00KE00FU00FU00FU00FU00FU
+
