2015-05-04T17:15:06.375861 status=3 elapsed 8028 msec-max 8000
root +  3410 +2625KY-0045GI+5162UM-0053KE+2524KY-4546GI+4746FU-0068GI+7968KI-7668NK+5868KI-8666RY+0045GI-5445KA+4645FU-4435OU+6253UM-3546OU+0038KE (19 2) 90751k 25.3s (8.0s)
  +2625KY -  3410 -0045GI+5162UM-0053KE+2524KY-4546GI+4746FU (18 1) 45993k 25.3s (8.0s)
    others  -  3410 -0045GI+5162UM-0053KE+2524KY-4546GI+4746FU (18 14) 5020k [7] w0=7 (8.0s)
        alt -  3511 -0027FU+2838HI-0036KE+2524KY (17 13)
    -8682RY +  3587 +2524KY-0037GI+0035KI-4453OU+4637GI-0027FU (23 2) 19269k 17.6s (17.6s)
      +2524KY -  3587 -0037GI+0035KI-4453OU+4637GI-0027FU+2818HI (22 1) 7857k 17.6s (17.6s)
        others  -  3587 -0037GI+0035KI-4453OU+4637GI-0027FU+2818HI (22 15) 7857k [5] w0=5 (17.6s)
        -8788TO + 29978 +0045GI-5445KA+4645GI-4445OU+0063KA-0054KE (21 0) 0k solved (17.6s)
      others  +  3342 +5124UM-4453OU+4655GI-8788TO+8988FU-0037GI (23 17) 11412k [3] w0=3 (17.6s)
    -0037GI +  3822 +5162UM-0053KE+2524KY-3746GI+4746FU-0068GI (19 1) 9433k 8.0s (8.0s)
      +5162UM -  3822 -0053KE+2524KY-3746GI+4746FU-0068GI+7968KI (18 15) 4046k [6] w0=6 (8.0s)
      others  +  3739 +4637GI-8682RY+2524KY-8788TO+8988FU-2133KE (11 15) 5387k [9] w0=9 (8.0s)
    -8675RY +  6171 +5162UM-4433OU+0034FU-3334OU+2524KY-0068GI (21 15) 12270k [0] w0=0 (25.3s)
        alt +  3310 +2524KY-4453OU+2421NY-0036KE (22 14)
  +5124UM -  2451 -4453OU+4655GI-5472KA+6665FU-5362OU+2435UM (24 2) 33440k 17.6s (17.6s)
    -4453OU +  2451 +4655GI-5472KA+6665FU-5362OU+2435UM-0044KE (23 1) 23289k 17.6s (17.6s)
      others  +  2475 +0045GI-5463KA+2435UM-0044GI+4544GI-4344FU (27 17) 14519k [8] w0=8 (17.6s)
      +4655GI -  2451 -5472KA+6665FU-5362OU+2435UM-0044KE+5544GI (22 16) 8769k [4] w0=4 (17.6s)
    others  -  3356 -0048GI+5848KI-4453OU+0045GI-5472KA+0077GI (9 14) 10151k [10] w0=10 (17.6s)
        alt -  3540 -8675RY+2435UM-4433OU+0034FU (18 13)
        alt -  3538 -8682RY+2435UM-4433OU+2625KY (18 14)
        alt -  3624 -0034GI+4655GI-4455OU+2434UM (10 13)
  others  +  1917 +0036FU-0034KE+5124UM-3446KE+2435UM-4433OU (12 15) 11317k [2] w0=2 (17.6s)
P1-KY-KE *  * +UM *  * -KE-KY
P2 *  *  *  *  *  * -KI *  * 
P3-FU *  *  *  * -FU *  *  * 
P4 *  *  * -FU-KA-OU * -GI * 
P5 *  * +FU * -FU *  * -FU+FU
P6 * -RY-KE+FU * +GI * +KY * 
P7 * -FU *  * +FU+FU *  *  * 
P8+FU * +GI * +KI *  * +HI * 
P9 * +FU+KI * +OU *  *  * +KY
P+00KI00FU00FU00FU00FU
P-00GI00KE00FU
+
