2015-05-05T11:34:54.897278 status=3 elapsed 8029 msec-max 8000
root -   486 -6172OU+7877KI-8677NG+6877GI-0068GI+7768GI-0069KI+7978OU-6968KI+7877OU-0076GI+7786OU-7685GI+8677OU-0076FU+7787OU-0095KE+8798OU-8574GI+0073GI-8173KE+6273GI-7273OU+6574KI-7372OU+0083GI-7261OU+0072GI-7172HI+8372NG-6172OU+7483KI-7261OU+0073KE-6162OU+0082HI (36 4) 15238k [8] 7.9s (6.8s)
  -6172OU +   486 +7877KI-8677NG+6877GI-0068GI+7768GI-0069KI (35 3) 31944k 6.8s (6.8s)
    +7877KI -   486 -8677NG+6877GI-0068GI+7768GI-0069KI+7978OU (34 2) 21674k 6.8s (6.8s)
      -8677NG +   486 +6877GI-0068GI+7768GI-0069KI+7978OU-6968KI (33 1) 6468k 6.8s (6.8s)
        others  +   486 +6877GI-0068GI+7768GI-0069KI+7978OU-6968KI (33 14) 2614k [9] w0=9 (6.8s)
            alt +  -113 +6877GI-0068GI+7768GI-0069KI (22 13)
            alt +    -3 +0073FU-7283OU+6877GI-0078FU (11 14)
        +6271NG -  -496 -7273OU+7172NG-7384OU+0086HI-0085GI+8685HI (17 17) 3853k [5] w0=5 (6.8s)
      -8677GI +   660 +6877GI-0068GI+7768GI-0069KI+7978OU-6968KI (41 1) 6299k 7.8s (7.8s)
        +6877GI -   660 -0068GI+7768GI-0069KI+7978OU-6968KI+7877OU (40 15) 4139k [3] w0=3 (7.8s)
        others  +   492 +6271NG-7273OU+7172NG-7384OU+6575KI-8475OU (24 13) 2159k [7] w0=7 (7.8s)
      others  -  2375 -0078FU+7778KI-0077FU+6271NG-7273OU+3342NK (23 14) 4751k [6] w0=6 (6.8s)
          alt -  2693 -0059GI+6271NG-7273OU+7172NG (17 14)
          alt -  2490 -0088GI+8988FU-8788TO+7988OU (27 14)
      -0076KE +  2876 +6271NG-7273OU+0072HI-7384OU+7282RY-8494OU (33 17) 4428k [8] w0=8 (6.8s)
    +6271NG -   -82 -7273OU+7172NG-7384OU+7877KI-8677GI+6575KI (33 2) 7594k 6.8s (6.8s)
      -7273OU +   -82 +7172NG-7384OU+7877KI-8677GI+6575KI-8475OU (32 1) 4512k 6.8s (6.8s)
        +7172NG -   -82 -7384OU+7877KI-8677GI+6575KI-8475OU+5665UM (31 13) 793k [10] w0=10 w1=11 (6.8s)
        others  +  -345 +6877GI-8677GI+7172NG-7384OU+0067HI-7778GI (19 14) 3719k [1] w0=1 (6.8s)
            alt +  -643 +7877KI-8677GI+0072HI-7384OU (42 14)
      others  -  3737 -7283OU+7482NK-8394OU+6877GI-8677GI+0074HI (18 15) 3828k [4] w0=4 (6.8s)
    others  + -1057 +6877GI-8677GI+6271NG-7273OU+7172NG-7384OU (18 13) 2675k [2] w0=2 (6.8s)
  others  - 29996 -6152OU+4443TO-4243KI (3 5) 2k [6] solved (7.8s)
P1-KY-KE-HI-OU * -KI *  * -KY
P2 *  *  * +GI * -KI *  *  * 
P3-FU *  * -FU *  * +NK+RY * 
P4 *  * +KE *  * +FU *  * -FU
P5 *  *  * +KI *  *  *  *  * 
P6 * -GI * +FU+UM *  *  *  * 
P7+FU-FU-TO * +FU *  *  * +FU
P8 *  * +KI+GI-UM *  *  *  * 
P9+KY+FU+OU *  *  *  *  * +KY
P+00FU00FU
P-00GI00KE00FU00FU00FU00FU00FU
-
