2015-05-05T11:36:58.947261 status=3 elapsed 8030 msec-max 8000
root -  2518 -0076FU+7787OU-7677TO+8777OU-0076FU+7788OU-0087FU+8887OU-0086FU+8798OU-8687TO+9887OU-0086FU+8798OU-8687TO+9887OU-5869UM+0078FU-6978UM+5678UM-0086FU+8798OU-8574GI+6574KI-7262OU+0095KA-0073KE+9586KA-6878KI+3342NK-0087GI+9887OU-7677TO+8677KA (34 3) 122126k 33.2s (8.0s)
  -0076FU +  2518 +7787OU-7677TO+8777OU-0076FU+7788OU-0087FU (33 2) 51724k 35.1s (8.0s)
    +7787OU -  2518 -7677TO+8777OU-0076FU+7788OU-0087FU+8887OU (32 1) 52371k 35.1s (8.0s)
      others  -  2518 -7677TO+8777OU-0076FU+7788OU-0087FU+8887OU (32 14) 5892k [6] w0=6 (8.0s)
      -5869UM +  2610 +0078FU-0086FU+8798OU-8687TO+9887OU-7677TO (39 1) 13584k 31.3s (31.3s)
        +0078FU -  2610 -0086FU+8798OU-8687TO+9887OU-7677TO+8777OU (38 14) 13553k [10] w0=10 (31.3s)
            alt -  2292 -7283OU+6271NG-8394OU+0095GI (8 13)
        others  + -29990 +0078GI-7677TO+8777OU-6878KI+5678UM-0076GI (7 8) 31k [3] solved (31.3s)
      -0086FU +  2704 +8798OU-8687TO+9887OU-0086FU+8798OU-8687TO (37 17) 21209k [1] w0=1 (35.1s)
      -7283OU +  3236 +6271GI-5869UM+0078FU-7677TO+8777OU-8394OU (21 1) 11684k 8.0s (8.0s)
        others  +  3236 +6271GI-5869UM+0078FU-7677TO+8777OU-8394OU (21 14) 6514k [7] w0=7 (8.0s)
        +6271NG -  2784 -0086FU+8798OU-8394OU+6575KI-0084KE+0083GI (12 13) 5170k [8] w0=8 (8.0s)
  -6867KI +  2763 +5667UM-5867UM+7767OU-8574GI+6271NG-7271OU (34 2) 16667k 17.6s (17.6s)
    +5667UM -  2763 -5867UM+7767OU-8574GI+6271NG-7271OU+6574KI (33 1) 19173k 17.6s (17.6s)
      others  -  2763 -5867UM+7767OU-8574GI+6271NG-7271OU+6574KI (33 14) 9944k [3] w0=3 (17.6s)
      -0076FU +  2918 +7778OU-8788TO+8988FU-5867UM+7867OU-8574GI (27 16) 9229k [5] w0=5 (17.6s)
    others  + -29994 +7787OU-5869UM+8798OU (3 5) 4k [7] solved (17.6s)
  others  -  2974 -7283OU+6271GI-0076FU+7787OU-0086FU+8798OU (28 15) 10413k [9] w0=9 (17.6s)
      alt -  3064 -6878KI+7778OU-0077FU+7877OU (28 15)
      alt -  3009 -7283OU+6271GI-0076FU+7787OU (26 14)
  -7151HI +  4089 +6251NG-0076FU+7787OU-0086FU+8798OU-8687TO (36 1) 42529k 31.3s (31.3s)
    others  +  4089 +6251NG-0076FU+7787OU-0086FU+8798OU-8687TO (36 17) 26665k [2] w0=2 (31.3s)
    +6251GI -  4014 -0076FU+7787OU-0086FU+8798OU-8687TO+9887OU (32 13) 15864k [4] w0=4 (31.3s)
  -8574GI + 29987 +0073GI-8173KE+6273NG-7273OU+6574KI-7362OU (14 2) 791k solved 32.2s (32.2s)
P1-KY-KE-HI *  * -KI *  * -KY
P2 *  * -OU+GI * -KI *  *  * 
P3-FU *  * -FU *  * +NK+RY * 
P4 *  * +KE *  * +FU *  * -FU
P5 * -GI * +KI *  *  *  *  * 
P6 *  *  * +FU+UM *  *  *  * 
P7+FU-FU+OU * +FU *  *  * +FU
P8 *  *  * -KI-UM *  *  *  * 
P9+KY+FU *  *  *  *  *  * +KY
P+00GI00GI00FU00FU00FU
P-00KE00FU00FU00FU00FU00FU
-
