2015-05-04T16:09:44.806403 status=4 elapsed 22136 msec-max 65300
root -  1863 -3242KI+4152UM-4252KI+0041HI-4546FU+3746GI-0015KA+2937KE-3325KE+1716FU-1526KA+7271TO-0028KA (13 3) 169779k [2] 61.9s (20.2s)
  -3242KI +  1863 +4152UM-4252KI+0041HI-4546FU+3746GI-0015KA (12 2) 91364k 22.1s (20.2s)
    +4152UM -  1863 -4252KI+0041HI-4546FU+3746GI-0015KA+2937KE (11 1) 43863k 22.1s (20.2s)
      -4252KI +  1863 +0041HI-4546FU+3746GI-0015KA+2937KE-3325KE (10 16) 10420k [10] (22.1s)
      -6352OU +  2135 +8374NG-7576FU+6776GI-3325KE+7484NG-0027KA (15 1) 28627k 20.2s (20.2s)
        +8374NG -  2135 -7576FU+6776GI-3325KE+7484NG-0027KA+0038GI (14 17) 12773k [4] (20.2s)
        others  +  1709 +8374GI-7576FU+6776GI-3325KE+0021HI-2537KE (18 17) 15853k [3] (20.2s)
      others  - 29988 -6354OU+5242UM-5463OU+0043HI-0071KA+4241UM (10 17) 4953k [6] solved (20.2s)
    others  +  1102 +4123UM-0028FU+3728GI-9272HI+2333UM-4233KI (17 17) 15285k [2] (20.2s)
    +8374NG -   833 -6374OU+4152UM-4252KI+0081HI-0094KA+8161RY (21 1) 32214k 20.2s (20.2s)
      -6374OU +   833 +4152UM-4252KI+0081HI-0094KA+8161RY-5263KI (20 18) 15697k [7] (20.2s)
      others  -  4633 -6372OU+4152UM-4252KI+0083KI-7262OU+7484NG (25 17) 16517k [9] (20.2s)
          alt -  4720 -6354OU+4152UM-4252KI+0041HI (16 17)
  -0043KA +  2158 +8392GI-7576FU+9291NG-7677TO+7877KI-3242KI (27 1) 85236k 61.9s (61.9s)
    others  +  2170 +8392NG-9192KY+7271TO-3242KI+4152UM-4252KI (23 20) 50890k [8] w0=8 (61.9s)
    +8392GI -  2158 -7576FU+9291NG-7677TO+7877KI-3242KI+0044KY (26 19) 34345k [5] w0=5 (61.9s)
  others  -  2417 -7464KI+8392GI-4546FU+3746GI-3242KI+4152UM (20 18) 13543k [1] (22.1s)
P1-KY *  * -FU * +KA *  * -KY
P2-HI * +FU * -HI * -KI *  * 
P3-FU+GI-KE-OU-FU * -KE-FU-FU
P4 * -GI-KI *  *  * -FU *  * 
P5 * -FU-FU *  * -FU * +FU * 
P6 *  *  *  *  *  * +FU *  * 
P7+FU+FU+KE+GI+FU+FU+GI * +FU
P8 *  * +KI *  * +OU *  *  * 
P9+KY *  *  *  * +KI * +KE+KY
P-00KA00FU
-
