2015-05-04T16:06:59.441932 status=3 elapsed 17034 msec-max 63300
root +  1374 +7667GI-4445FU+4655KA-3242KI+4152UM-6352OU+0081HI-5354FU+5533UM-2133KE+0083GI-3325KE+8374GI-0066FU+6766GI-2537NK+2937KE-4546FU+4746FU-0069KA+0064KE-5243OU+8184RY-0047GI+4839OU-6978UM+8473RY-4332OU+0044KE-3222OU (30 2) 87966k 16.0s (16.0s)
  +7667GI -  1374 -4445FU+4655KA-3242KI+4152UM-6352OU+0081HI (29 1) 41512k 16.0s (16.0s)
    -4445FU +  1374 +4655KA-3242KI+4152UM-6352OU+0081HI-5354FU (28 18) 8830k [6] w0=6 (16.0s)
    -3242KI +  1392 +4152UM-6352OU+0081HI-4445FU+4655KA-5354FU (17 1) 25354k 17.0s (17.0s)
      +4152UM -  1392 -6352OU+0081HI-4445FU+4655KA-5354FU+5533UM (16 19) 11322k [2] w0=2 (17.0s)
      others  +   253 +4673UM-7473KI+4152UM-6352OU+7271TO-5241OU (26 18) 14031k [9] w0=9 (17.0s)
    others  -  1477 -3231KI+4152UM-6352OU+0081HI-3342GI+2524FU (29 17) 7327k [10] w0=10 (16.0s)
  others  +  1285 +7785KE-3242KI+4152UM-4252KI+8573NK-8473GI (20 19) 12806k [8] w0=8 (16.0s)
  +7685GI -  1164 -7385KE+0064FU-6362OU+7271TO-8577NK+7877KI (7 2) 26860k 16.0s (16.0s)
    -7385KE +  1164 +0064FU-6362OU+7271TO-8577NK+7877KI-6251OU (6 1) 22367k 16.0s (16.0s)
      +0064FU -  1164 -6362OU+7271TO-8577NK+7877KI-6251OU (5 18) 11136k [3] w0=3 (16.0s)
      others  +  1022 +7785KE-3242KI+0064FU-6372OU+4152UM-4252KI (26 17) 11230k [1] w0=1 (16.0s)
          alt +   705 +2524FU-8577NK+7877KI-3242KI (14 17)
          alt +   610 +7785KE-3242KI+0064FU-6372OU (16 16)
    others  -  2894 -8485GI+0064FU-6362OU+7785KE-6251OU+6463TO (17 16) 5672k [4] w0=4 (16.0s)
  +4152UM -  1049 -6352OU+7667GI-7576FU+6776GI-0054KA+0081HI (23 1) 7252k 16.0s (16.0s)
    -6352OU +  1049 +7667GI-7576FU+6776GI-0054KA+0081HI-5476KA (22 19) 7179k [5] w0=5 (16.0s)
    others  - 29992 -6372OU+0062HI-7283OU+5261UM-9272HI+6172UM (7 13) 73k [7] solved (16.0s)
P1-KY *  *  *  * +KA * -KE-KY
P2-HI * +FU * -HI * -KI *  * 
P3-FU * -KE-OU-FU * -GI-FU-FU
P4 * -GI-KI *  * -FU-FU *  * 
P5 * -FU-FU *  *  *  * +FU * 
P6 *  * +GI *  * +KA+FU *  * 
P7+FU+FU+KE * +FU+FU+GI * +FU
P8 *  * +KI *  * +OU *  *  * 
P9+KY *  *  *  * +KI * +KE+KY
P-00FU00FU
+
