2015-05-05T09:57:21.655911 status=4 elapsed 9881 msec-max 8000
root - -5052 -6364OU+2924HI-0054KE+0069KI-6455OU+0059KE-6778NG+6978KI-4758NK+0047GI-0057KA+7988OU-5735UM+4756GI-5556OU+2427HI-0066KE (17 2) 14698k 11.1s (1.6s)
  -6364OU + -5052 +2924HI-0054KE+0069KI-6455OU+0059KE-6778NG (16 1) 4065k [4] 6.8s (1.6s)
    +2924HI - -5052 -0054KE+0069KI-6455OU+0059KE-6778NG+6978KI (15 13) 1661k [10] w0=10 (6.8s)
    others  + -5953 +7867KI-5667GI+0056KE-6455OU+0046GI-5556OU (13 12) 482k [9] w0=9 (1.6s)
        alt + -5965 +0089KI-0066KE+2969HI-6778NG (16 11)
    +0068KI - -6012 -8187RY+5563NK-5263KI+0076KE-6473OU+7887KI (11 1) 1921k w1=11 1.6s (1.6s)
      others  - -6012 -8187RY+5563NK-5263KI+0076KE-6473OU+7887KI (11 13) 997k [6] w0=6 (1.6s)
          alt - -6000 -6778NG+6878KI-0066KE+0089GI (21 12)
      -6768NG + -5757 +7868KI-0067KE+7978OU-0079GI+2979HI-6779NK (20 1) 923k 1.6s (1.6s)
        +7868KI - -5757 -0067KE+7978OU-0079GI+2979HI-6779NK+7879OU (19 12) 851k [2] w0=2 (1.6s)
        others  + -29988 +7968OU-4758NK+6879OU-0068KI+7868KI-5868NK (7 13) 72k [8] w0=8 (1.6s)
  -6373OU + -4585 +0088KI-0068KA+7989OU-6778NG+8878KI-8187RY (14 15) 3380k 9.8s (1.8s)
    +0088KI - -4585 -0068KA+7989OU-6778NG+8878KI-8187RY+7887KI (13 14) 2461k [1] sub 1.8s (1.8s)
      -0068KA + -4572 +7989OU-6778NG+8878KI-0067GI+6472NK-7372OU (16 1) 181k 1.8s (1.8s)
        +7989OU - -4572 -6778NG+8878KI-0067GI+6472NK-7372OU+0063GI (15 9) 115k [5] (1.8s)
        others  + -29986 +7868KI-6768NG+7968OU-0067GI+6879OU-0068KI (8 11) 66k [7] (1.8s)
      others  - -3981 -7364OU+0068KE-6455OU+6856KE-6756NG+2924HI (10 9) 132k [4] (1.8s)
    others  + -4838 +0063KI-5263KI+7867KI-5667NG+5563NK-7363OU (14 11) 919k [1] (1.8s)
        alt + -4715 +6472NK-7372OU+7867KI-5667NG (17 10)
    +0069KI - -29970 -0068KA+6968KI-6768NG+7868KI-0089KI+7989OU (29 0) 0k solved 9.8s (9.8s)
  others  - -3966 -6354OU+0069KI-5464OU+0068KE-6778NG+6978KI (19 16) 7252k [3] (9.7s)
P1-KY-HI *  *  *  *  *  * -KY
P2 *  *  *  * -KI *  *  *  * 
P3 *  *  * -OU-FU-FU *  *  * 
P4-FU * -FU+KE *  *  * -FU-FU
P5 *  *  *  * +KE * +GI *  * 
P6 *  *  *  * -GI *  *  *  * 
P7+FU+FU+FU-GI * -NK *  * +FU
P8 *  * +KI * +FU *  *  *  * 
P9+KY * +OU *  *  *  * +HI+KY
P+00KI00KE
P-00KA00KA00KI00GI00FU00FU00FU00FU00FU00FU00FU
-
