2015-05-04T14:13:13.745965 status=3 elapsed 8525 msec-max 8500
root +  5452 +0011HI-6475GI+0041KA-5261OU+4185UM-0021FU+1613NY-2213KI+1113RY-7566GI+0064KE-6667NG+8567UM-6263GI+6472NK-6172OU+0064FU-6364GI+2423RY-0036KE+2736GI-3536FU+6794UM-0083KY+0084KE-7273OU+0074FU (27 2) 27607k 7.3s (6.3s)
  +0011HI -  5452 -6475GI+0041KA-5261OU+4185UM-0021FU+1613NY (26 1) 21349k 6.3s (6.3s)
    -6475GI +  5452 +0041KA-5261OU+4185UM-0021FU+1613NY-2213KI (25 14) 2725k [5] w0=5 (6.3s)
    others  -  5557 -3536FU+1613NY-2213KI+1113RY-8899UM+2423RY (17 15) 3851k [9] w0=9 (6.3s)
        alt -  5581 -6263GI+1613NY-2213KI+1113RY (22 14)
    -8899UM +  5793 +1613NY-2213KI+0061KA-5263OU+1113RY-6475GI (18 1) 5868k 6.3s (6.3s)
      +1613NY -  5793 -2213KI+0061KA-5263OU+1113RY-6475GI+0065KI (17 14) 2510k [3] w0=3 w1=11 (6.3s)
      others  +  5622 +0061KA-5263OU+1141RY-4251GI+4144RY-6273GI (19 14) 3357k [1] w0=1 (6.3s)
    -4445FU + 29983 +0044KE-5263OU+1181RY-6475GI+0052KA-6373OU (7 1) 9509k solved 6.3s (6.3s)
  others  +  5425 +0085KA-6263GI+0011HI-8899UM+1613NY-2213KI (22 15) 6258k [8] w0=8 (7.3s)
P1 * -KE *  *  *  *  *  *  * 
P2 *  * -KI-GI-OU-GI * -KI * 
P3 *  *  *  * -FU *  * -KE-FU
P4-KY *  * -GI * -FU+FU+HI * 
P5-FU * +FU *  *  * -FU *  * 
P6 *  *  * +FU * +KE *  * +KY
P7+FU+FU * +KI * +FU * +GI * 
P8 * -KA *  *  * +OU+KI *  * 
P9+KY *  *  * +KY *  *  *  * 
P+00HI00KA00KE00FU00FU00FU00FU00FU00FU
P-00FU
+
