2015-05-05T11:37:17.097268 status=3 elapsed 8030 msec-max 8000
root -  2031 -5869UM+0078FU-7677TO+8777OU-0076FU+7787OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-6978UM+5678UM-0086FU+8798OU-8574GI+6574KI-7262OU+0095KA-0073KE+0054GI-0087GI+7887UM-8687TO+9887OU-0078KA+8798OU-4253KI+3334NK-5354KI+7463KI-6251OU (35 3) 133885k 53.2s (17.4s)
  -5869UM +  2031 +0078FU-7677TO+8777OU-0076FU+7787OU-0086FU (34 2) 19779k 49.5s (17.4s)
    +0078FU -  2031 -7677TO+8777OU-0076FU+7787OU-0086FU+8798OU (33 1) 21117k [10] 17.4s (17.4s)
      others  -  2031 -7677TO+8777OU-0076FU+7787OU-0086FU+8798OU (33 16) 9862k [9] w0=9 (17.4s)
      -0086FU +  2514 +8798OU-8687TO+9887OU-0086FU+8798OU-8687TO (29 16) 11255k [4] w0=4 (17.4s)
    others  + -29990 +0078GI-7677TO+8777OU-6878KI+5678UM-0076GI (7 8) 31k [3] solved (49.5s)
  -7677TO +  2761 +8777OU-0076FU+7788OU-6878KI+8878OU-7677TO (26 3) 28502k 17.4s (17.4s)
    +8777OU -  2761 -0076FU+7788OU-6878KI+8878OU-7677TO+7877OU (25 2) 28731k 17.4s (17.4s)
      -0076FU +  2761 +7788OU-6878KI+8878OU-7677TO+7877OU-0076FU (24 1) 17135k 17.4s (17.4s)
        +7788OU -  2761 -6878KI+8878OU-7677TO+7877OU-0076FU+7778OU (23 15) 8493k [5] w0=5 (17.4s)
            alt -  2991 -6878KI+8878OU-7677TO+7877OU (26 14)
            alt -  3033 -7283OU+6271NG-0087FU+8887OU (23 15)
        others  +  1471 +7787OU-7677TO+8777OU-0076FU+7788OU-0087FU (25 13) 8642k [2] w0=2 (17.4s)
      others  -  2897 -6867KI+5667UM-0076FU+7778OU-5867UM+7867OU (33 15) 11595k [3] w0=3 (17.4s)
  -0086FU +  2802 +8798OU-8687TO+9887OU-0086FU+8798OU-8687TO (45 17) 33914k [1] w0=1 (53.2s)
  others  -  3044 -0095KE+8798OU-9587NK+9887OU-0086FU+8798OU (32 15) 13500k [6] w0=6 (17.4s)
      alt -  3191 -7151HI+6251GI-0086FU+8798OU (26 15)
      alt -  3182 -0095KE+8798OU-9587NK+9887OU (30 14)
  -7283OU +  3595 +6271GI-0086FU+8798OU-8394OU+6575KI-8687TO (33 1) 38189k 26.1s (26.1s)
    others  +  3595 +6271GI-0086FU+8798OU-8394OU+6575KI-8687TO (33 17) 21005k [7] w0=7 (26.1s)
    +6271NG -  3348 -0086FU+8798OU-8687TO+9887OU-0086FU+8798OU (24 14) 17184k [8] w0=8 (26.1s)
P1-KY-KE-HI *  * -KI *  * -KY
P2 *  * -OU+GI * -KI *  *  * 
P3-FU *  * -FU *  * +NK+RY * 
P4 *  * +KE *  * +FU *  * -FU
P5 * -GI * +KI *  *  *  *  * 
P6 *  * -FU+FU+UM *  *  *  * 
P7+FU+OU *  * +FU *  *  * +FU
P8 *  *  * -KI-UM *  *  *  * 
P9+KY+FU *  *  *  *  *  * +KY
P+00GI00GI00FU00FU00FU00FU
P-00KE00FU00FU00FU00FU
-
