2015-05-04T09:58:38.278734 status=3 elapsed 6798 msec-max 6750
root - -6269 -1917RY+1113RY-1716RY+2514OU-3113KA+6564FU-1331KA+6463TO-6263KI+0013GI-1626RY+0064KE-6364KI+0053KY-5253OU (15 3) 83206k 29.1s (8.5s)
  -1917RY + -6269 +1113RY-1716RY+2514OU-3113KA+6564FU-1331KA (14 2) 25643k [1] 17.2s (8.5s)
    +1113RY - -6269 -1716RY+2514OU-3113KA+6564FU-1331KA+6463TO (13 1) 13620k 8.5s (8.5s)
      -1716RY + -6269 +2514OU-3113KA+6564FU-1331KA+6463TO-6263KI (12 15) 5973k [2] w0=2 (8.5s)
          alt + -6985 +2514OU-3113KA+6564FU-1331KA (16 14)
          alt + -7170 +2534OU-1626RY+3423OU-3113KA (14 15)
      others  - -5692 -0033KE+2514OU-1726RY+6564FU-6364GI+0063FU (21 16) 7646k [9] w0=9 (8.5s)
    others  + -7234 +2534OU-1726RY+3423OU-0022GI+1122RY-3122KA (18 15) 3937k [8] w0=8 (8.5s)
        alt + -6478 +0064KE-6364GI+1113RY-1716RY (19 14)
    +0036KY - -29971 -0033KE+2534OU-1726RY+6564FU-2436KE+6463TO (25 1) 9246k solved 17.2s (17.2s)
  -1928RY + -5421 +2534OU-2826RY+3423OU-0022FU+2312OU-0023GI (22 1) 40484k [9] 16.4s (8.5s)
    others  + -5421 +2534OU-2826RY+3423OU-0022FU+2312OU-0023GI (22 17) 6129k [6] w0=6 (8.5s)
    +0027FU - -6119 -2827RY+0035KE-0033KI+1113RY-3113KA+6564FU (21 1) 25269k 16.4s (16.4s)
      -2827RY + -6119 +0035KE-0033KI+1113RY-3113KA+6564FU-6364GI (20 17) 10868k [1] w0=1 (16.4s)
          alt + -5815 +2534OU-0033KI+3445OU-2726RY (20 16)
      others  - -4247 -2817RY+2534OU-0033KI+3445OU-1727RY+0064KE (25 18) 14401k [7] w0=7 (16.4s)
    +0036KY - -6616 -3837KI+0038KE-3736KI+1113RY-3113KA+6564FU (25 1) 9086k 8.5s (8.5s)
      others  - -6616 -3837KI+0038KE-3736KI+1113RY-3113KA+6564FU (25 17) 6591k [3] w0=3 (8.5s)
      -2436KE + -6103 +0027FU-2827RY+2534OU-2726RY+3445OU-3648NK (12 15) 2494k [4] w0=4 (8.5s)
          alt + -5957 +2534OU-2826RY+3445OU-3648NK (12 14)
  others  - -3321 -7365KE+0064FU-1917RY+6463TO-6263KI+0035GI (23 17) 17078k [10] w0=10 (29.1s)
P1-KY *  *  *  *  * -KA * +RY
P2 *  *  * -KI-OU-GI *  *  * 
P3-FU * -KE-GI * -FU * -FU-FU
P4 *  * -FU * -FU * -FU-KE * 
P5 *  *  * +FU *  *  * +OU+FU
P6+FU+FU * +KI *  *  * +GI * 
P7 *  * +GI-FU+FU+FU+FU * +KE
P8 * +KA *  *  *  * -KI+FU * 
P9+KY *  *  *  *  *  *  * -RY
P+00KE00KY00FU00FU
P-00KI00KY
-
