2015-05-05T11:36:05.797268 status=3 elapsed 8031 msec-max 8000
root -  2184 -6968KI+7877OU-0076GI+7786OU-7685GI+8677OU-0076FU+7787OU-5869UM+0078FU-7677TO+8777OU-0076FU+7787OU-6978UM+5678UM-0086FU+8798OU-8574GI+3342NK-7262OU+0095KA-0073KE+0053KI-6261OU+0062GI (26 2) 84900k [10] 34.9s (16.4s)
  -6968KI +  2184 +7877OU-0076GI+7786OU-7685GI+8677OU-0076FU (25 1) 44779k 34.9s (16.4s)
    +7877OU -  2184 -0076GI+7786OU-7685GI+8677OU-0076FU+7787OU (24 17) 18731k [3] w0=3 (34.9s)
    +7887OU -   835 -0076GI+8786OU-7685GI+8677OU-0076FU+7788OU (19 1) 26047k 16.4s (16.4s)
      others  -   835 -0076GI+8786OU-7685GI+8677OU-0076FU+7788OU (19 15) 8672k [5] w0=5 (16.4s)
      -0095KE +  1582 +8786OU-0085GI+8677OU-0076FU+7788OU-7677TO (29 16) 7681k [9] w0=9 (16.4s)
      -0086FU +  2002 +8786OU-0085GI+8677OU-0076FU+7788OU-0087FU (27 15) 9693k [1] w0=1 (16.4s)
  others  -  3434 -7151HI+5667UM-0077FU+6877GI-8788TO+8988FU (20 16) 11251k [2] w0=2 (17.4s)
      alt -  3623 -5868UM+7887OU-7283OU+6271NG (24 15)
  -7283OU +  4080 +6877GI-8788TO+8988FU-0076FU+7776GI-0084KE (32 2) 29055k 16.4s (16.4s)
    +6877GI -  4080 -8788TO+8988FU-0076FU+7776GI-0084KE+0077GI (31 1) 13710k 17.4s (17.4s)
      others  -  4080 -8788TO+8988FU-0076FU+7776GI-0084KE+0077GI (31 15) 13710k [7] w0=7 (17.4s)
      -0076FU + 29966 +7482NK-8382OU+6271GI-8271OU+0082GI-7182OU (33 0) 0k solved (17.4s)
    +6271NG -  3425 -6968KI+7877OU-6878KI+7778OU-0077FU+7877OU (26 13) 6502k [10] w0=10 (16.4s)
        alt -  3569 -5868UM+7887OU-0086GI+8798OU (13 12)
    others  +  2812 +6271GI-6968KI+7877OU-0076GI+7786OU-7685GI (29 14) 8842k [8] w0=8 (16.4s)
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+GI-UM *  *  *  * 
P9+KY+FU * -KI *  *  *  * +KY
P+00GI00GI00FU00FU00FU
P-00KE00FU00FU00FU00FU00FU
-
