2015-05-04T09:58:49.278770 status=4 elapsed 8892 msec-max 6800
root + -29985 +2534OU-1626RY+0064KE-6364GI+4746FU-0033KY+3423OU-2416KE (8 3) 1071k 7.2s (0.7s)
  +2534OU - -29985 -1626RY+0064KE-6364GI+4746FU-0033KY+3423OU (7 2) 7580k 6.2s (0.7s)
    -1626RY + -29985 +0064KE-6364GI+4746FU-0033KY+3423OU-2416KE (6 1) 480k 7.2s (1.7s)
      others  + -29976 +3423OU-2635RY+0044KE-4344FU+1131RY-3531RY (10 15) 178k [7] w0=7 (1.7s)
      +0064KE - -29985 -6364GI+4746FU-0033KY+3423OU-2416KE (5 13) 75k [2] solved (7.2s)
      +4746FU - -29990 -2635RY+3435OU-0044KI+3526OU-0025KY (5 15) 226k [7] w1=11 sub 1.7s (1.7s)
        -2635RY + -29993 +3435OU-0044KI+3526OU-0025KY+2625OU (5 1) 19k solved 1.7s (1.7s)
        others  - -29987 -0033KI+3445OU-2635RY+4556OU-0058GI+0044KE (9 12) 31k [1] solved (1.7s)
    -0022KY + -4896 +0064KE-6364GI+1122RY-3122KA+6564FU-0033HI (15 1) 1961k 0.7s (0.7s)
      others  + -4896 +0064KE-6364GI+1122RY-3122KA+6564FU-0033HI (15 11) 163k [5] w0=5 (0.7s)
          alt + -4818 +3445OU-1626RY+0036KE-3837KI (12 10)
      +1122RY - -5025 -3122KA+3423OU-2244KA+3532NY-0031KE+2334OU (13 12) 216k [5] w0=6 sub (0.7s)
      +0036KE - -5241 -1626RY+6564FU-6364GI+0063FU-0033FU+3445OU (20 1) 1582k 1.7s (1.7s)
        -1626RY + -5241 +6564FU-6364GI+0063FU-0033FU+3445OU-2635RY (19 12) 651k [2] w0=2 (1.7s)
        others  - -5008 -6768TO+1131RY-4231GI+0021KA-3142GI+2132UM (16 14) 930k [9] w0=9 (1.7s)
    -0033KI + -4312 +3445OU-0044KY+4556OU-1626RY+5667OU-2635RY (22 16) 4694k [8] w0=8 (6.2s)
    others  - -3822 -0022KI+0064KE-6364GI+6564FU-1626RY+0046GI (17 12) 442k [10] w0=10 (1.7s)
P1-KY *  *  *  *  * -KA * +RY
P2 *  *  * -KI-OU-GI *  *  * 
P3-FU * -KE-GI * -FU * -FU-FU
P4 *  * -FU * -FU * -FU-KE * 
P5 *  *  * +FU *  * +KY+OU+FU
P6+FU+FU * +KI *  *  * +GI-RY
P7 *  * +GI-FU+FU+FU+FU *  * 
P8 * +KA *  *  *  * -KI+FU * 
P9+KY *  *  *  *  *  *  *  * 
P+00KE00FU00FU
P-00KI00KE00KY
+
