2015-05-05T13:30:25.098312 status=3 elapsed 8031 msec-max 8000
root - -7414 -0044KE+3626OU-5847UM+0083KE-4783UM+0057GI-8347UM+0036GI-4757UM+8684HI-5739UM+3625GI-1314FU+2534GI-0015GI (15 3) 53562k 25.3s (4.2s)
  -0044KE + -7414 +3626OU-5847UM+0083KE-4783UM+0057GI-8347UM (14 2) 15301k 15.3s (4.2s)
    +3626OU - -7414 -5847UM+0083KE-4783UM+0057GI-8347UM+0036GI (13 1) 16052k 15.3s (15.3s)
      -5847UM + -7414 +0083KE-4783UM+0057GI-8347UM+0036GI-4757UM (12 13) 8235k [5] w0=5 (15.3s)
          alt + -6882 +0083KE-4783UM+0077GI-6869RY (10 12)
          alt + -7017 +0036GI-4436KE+3736FU-0015GI (8 12)
      others  - -2585 -1314FU+0083KE-9182OU+8684HI-5876UM+8371NK (24 17) 7816k [4] w0=4 (15.3s)
    +3625OU - -29980 -5847UM+0036KE-2324FU+2526OU-4736UM+3736FU (19 0) 0k solved 4.2s (4.2s)
  -0024KE + -7391 +3626OU-5847UM+0083KE-4783UM+0025GI-5546KA (18 2) 8282k [4] 17.3s (5.4s)
    +3626OU - -7391 -5847UM+0083KE-4783UM+0025GI-5546KA+0044GI (17 1) 8282k [2] 5.4s (5.4s)
      -5847UM + -7391 +0083KE-4783UM+0025GI-5546KA+0044GI-4657UM (16 14) 4216k [1] w0=1 (5.4s)
      others  - -5437 -5544KA+0083KE-9182OU+4758GI-4435KA+2615OU (29 15) 4065k [6] w0=6 (5.4s)
    +3625OU - -29984 -5847UM+0036KE-0034GI+2526OU-3435GI+2625OU (15 0) 0k solved 8.0s (8.0s)
    others  + -29996 +3645OU (1 5) 0k [6] solved (8.0s)
  -3135KY + -6897 +3626OU-5847UM+0083KE-4783UM+7574FU-5546KA (12 1) 16524k 17.3s (17.3s)
    others  + -6897 +3626OU-5847UM+0083KE-4783UM+7574FU-5546KA (12 16) 16524k [7] w0=7 (17.3s)
    +3635OU - -29984 -5544KA+3544OU-6864RY+4443OU-5876UM+8676HI (15 0) 0k solved 17.3s (17.3s)
  others  - -5164 -5876UM+0083KE-9182OU+8684HI-7675UM+8487HI (17 16) 13453k [9] w0=9 (15.3s)
P1-OU * -KI-FU *  * -KY * -KY
P2-FU *  *  *  *  *  * -KI * 
P3 *  * -FU-KI-FU *  * -FU-FU
P4 * -FU *  *  *  *  *  *  * 
P5-KY * +FU * -KA * +KE *  * 
P6 * +HI+KI *  * +FU+OU *  * 
P7 *  *  *  *  * +GI+FU+FU+FU
P8 *  *  * -HI-UM *  *  *  * 
P9 *  *  *  *  *  * +GI+KE+KY
P+00GI00GI00KE
P-00KE00FU00FU00FU00FU00FU00FU
-
