2015-05-04T10:44:35.665232 status=4 elapsed 23217 msec-max 8500
root - -4018 -1324OU+0035GI-2414OU+1615KY-1415OU+0016FU-1716TO+2716GI-1916RY+5342UM-3242KI+0059KY-0019KA+3748OU-0029GI (15 5) 45094k 13.2s (3.5s)
  -1324OU + -4018 +0035GI-2414OU+1615KY-1415OU+0016FU-1716TO (14 4) 22880k 12.1s (3.5s)
    +0035GI - -4018 -2414OU+1615KY-1415OU+0016FU-1716TO+2716GI (13 3) 14416k w1=11 13.2s (3.5s)
      -2414OU + -4018 +1615KY-1415OU+0016FU-1716TO+2716GI-1916RY (12 2) 14414k 13.2s (3.5s)
        +1615KY - -4018 -1415OU+0016FU-1716TO+2716GI-1916RY+5342UM (11 1) 9988k 13.2s (13.2s)
          -1415OU + -4018 +0016FU-1716TO+2716GI-1916RY+5342UM-3242KI (10 13) 9988k [8] w0=8 (13.2s)
        +2513NK - -4761 -1413OU+1615KY-1322OU+1513NY-2213OU+0014FU (19 13) 3141k [9] sub 3.5s (3.5s)
          -1413OU + -4634 +0014FU-1322OU+1413TO-2213OU+1615KY-1322OU (17 1) 2214k 3.5s (3.5s)
            others  + -4634 +0014FU-1322OU+1413TO-2213OU+1615KY-1322OU (17 11) 1107k [1] w0=1 (3.5s)
                alt + -4194 +0059FU-1516FU+2716GI-0028GI (16 10)
            +1615KY - -4990 -1322OU+1513NY-2213OU+0014FU-1312OU+3748OU (16 1) 1804k 3.5s (3.5s)
              -1322OU + -4990 +1513NY-2213OU+0014FU-1312OU+3748OU-1727TO (15 10) 475k [4] w0=4 (3.5s)
                  alt + -5014 +0059FU-1727TO+3727OU-0016KA (14 9)
              others  - -4376 -0014FU+0059FU-3435FU+1514KY-1322OU+1413NY (19 12) 1328k [3] w0=3 (3.5s)
        others  + -5067 +3748OU-1727TO+1615KY-1415OU+5342UM-3242KI (20 11) 1284k [9] w0=9 (3.5s)
      others  - 29996 -3435FU+5335UM-2414OU (3 5) 2k [4] solved (13.2s)
    others  + -4151 +0013GI-2414OU+1615KY-1415OU+0016FU-1514OU (24 13) 8463k [7] w0=7 (12.1s)
    +0059FU - -29976 -0028GI+3748OU-0037KA+3837KI-2837NG+4858OU (23 0) 0k solved (12.1s)
  -1314OU + -3477 +1615KY-1424OU+0035GI-3435FU+5335UM-2415OU (22 2) 22153k 13.2s (5.6s)
    +1615KY - -3477 -1424OU+0035GI-3435FU+5335UM-2415OU+0016FU (21 1) 20977k 14.2s (14.2s)
      -1424OU + -3477 +0035GI-3435FU+5335UM-2415OU+0016FU-1716TO (20 14) 9443k [2] (14.2s)
          alt + -3852 +0013GI-2415OU+0016FU-1716TO (14 13)
      others  - -3016 -1415OU+0016FU-1716TO+2716GI-1916RY+9131RY (35 16) 11533k [6] (14.2s)
    others  + -4254 +0059GI-1727TO+3727OU-1516FU+2737OU-0049GI (22 13) 1176k [10] (5.6s)
        alt + -4238 +3635FU-1727TO+3827KI-1939RY (20 12)
    +5386UM - -29974 -1727TO+3727OU-0035KE+2737OU-3547NK+3747OU (25 0) 0k solved 5.6s (5.6s)
    +0059FU - -29980 -1727TO+3727OU-0018GI+2737OU-0028GI+3748OU (19 0) 0k solved (13.2s)
  others  - 29986 -1322OU+0033GI-3233KI+2533NK-2212OU+1615KY (13 6) 60k [1] solved (13.2s)
P1+RY *  *  *  *  * -KI *  * 
P2 *  *  *  *  * -KY-KI *  * 
P3-FU * -KE-FU+KA-FU * -FU-OU
P4 *  *  *  * -FU * -FU *  * 
P5 * -FU *  * -GI *  * +KE-FU
P6 *  *  *  *  * +KY+FU+FU+KY
P7+FU+FU * +KI * +FU+OU+GI-TO
P8 *  * +FU *  *  * +KI *  * 
P9 *  *  *  *  *  *  *  * -RY
P+00GI00FU
P-00KA00GI00KE00KE00KY00FU00FU
-
