2015-05-05T13:30:07.648311 status=3 elapsed 8031 msec-max 8000
root - -7377 -0031KY+0035KE-0024KE+3626OU-5847UM+0083KE-4783UM+0025GI-5546KA+0044GI-4657UM+7574FU-8374UM+7677KI-7429UM+8689HI-0072GI+8959HI-5775UM+4453NG-7553UM+5953RY-6353KI (23 3) 39388k 25.3s (7.8s)
  -0031KY + -7377 +0035KE-0024KE+3626OU-5847UM+0083KE-4783UM (22 2) 15033k 7.8s (7.8s)
    others  + -7346 +0035GI-3135KY+3626OU-5847UM+0083KE-4783UM (20 14) 4524k [8] w0=8 (7.8s)
    +0035KE - -7377 -0024KE+3626OU-5847UM+0083KE-4783UM+0025GI (21 1) 10508k 7.8s (7.8s)
      -0024KE + -7377 +3626OU-5847UM+0083KE-4783UM+0025GI-5546KA (20 15) 3884k [4] w0=4 (7.8s)
      others  - -6408 -3135KY+3635OU-5847UM+0083KE-4783UM+7574FU (15 14) 6624k [9] w0=9 (7.8s)
  others  - -7340 -0033KY+0035KE-0024KE+3626OU-5847UM+0083KE (23 16) 6074k [2] w0=2 (7.8s)
  -0035FU + -7157 +3626OU-5847UM+0083KE-4783UM+0036KE-3536FU (22 1) 18280k 25.3s (7.8s)
    +3626OU - -7157 -5847UM+0083KE-4783UM+0036KE-3536FU+7574FU (21 15) 13942k [10] w0=10 (25.3s)
    others  + -9555 +3645OU-5876UM+0083KE-9182OU+0094KE-8283OU (14 15) 4337k [6] w0=6 (7.8s)
    +3635OU - -29984 -5544KA+3544OU-6864RY+4443OU-5876UM+8676HI (15 0) 0k solved 7.8s (7.8s)
P1-OU * -KI-FU *  *  *  * -KY
P2-FU *  *  *  *  *  * -KI * 
P3 *  * -FU-KI-FU *  * -FU-FU
P4 * -FU *  *  *  *  *  *  * 
P5-KY * +FU * -KA *  *  *  * 
P6 * +HI+KI *  * +FU+OU *  * 
P7 *  *  *  *  * +GI+FU+FU+FU
P8 *  *  * -HI-UM *  *  *  * 
P9 *  *  *  *  *  * +GI+KE+KY
P+00GI00GI00KE00KE
P-00KE00KY00FU00FU00FU00FU00FU00FU
-
