2015-05-04T17:15:16.097025 status=4 elapsed 17749 msec-max 8000
root -  3592 -0034FU+2524KY-8682RY+2421NY-8788TO+8988FU-0042GI+5141UM-7688NK+4132UM-8879NK+0045GI-5445KA+4645GI-4453OU+0054KI-5352OU+3242UM-5242OU+2822RY-0032KI (21 1) 104094k 35.0s (8.6s)
  others  -  3592 -0034FU+2524KY-8682RY+2421NY-8788TO+8988FU (21 11) 7154k [7] (9.6s)
      alt -  3347 -1115KY+2524KY-0034FU+2421NY (10 10)
      alt -  3347 -0034FU+2524KY-1115KY+2421NY (10 10)
      alt -  3419 -0027GI+2524KY-8675RY+0045GI (18 10)
  -8682RY +  3687 +2524KY-0037GI+0035KI-4453OU+4637GI-0027FU (25 2) 31097k 27.3s (27.3s)
    +2524KY -  3687 -0037GI+0035KI-4453OU+4637GI-0027FU+2818HI (24 1) 14926k 27.3s (27.3s)
      others  -  3687 -0037GI+0035KI-4453OU+4637GI-0027FU+2818HI (24 16) 14926k [5] w0=5 (27.3s)
          alt -  3733 -0037GI+0035KI-4453OU+4637GI (20 15)
          alt -  3869 -0042GI+5141UM-8788TO+8988FU (12 15)
      -8788TO + 29978 +0045GI-5445KA+4645GI-4445OU+0063KA-0054KE (21 0) 0k solved (27.3s)
    others  +  3470 +5124UM-4453OU+4655GI-8788TO+8988FU-0037GI (23 17) 16170k [3] w0=3 (27.3s)
  -0037GI +  4028 +5162UM-0053KE+2524KY-3746GI+4746FU-0034GI (19 1) 23342k 17.7s (17.7s)
    +5162UM -  4028 -0053KE+2524KY-3746GI+4746FU-0034GI+2421NY (18 16) 9969k [6] (17.7s)
    others  +  3907 +4637GI-8682RY+2524KY-0027FU+2838HI-2728TO (13 16) 13372k [9] (17.7s)
  -0045GI +  4745 +5162UM-0053KE+4655GI-4455OU+6253UM-0056FU (23 2) 25444k 8.6s (8.6s)
    +5162UM -  4745 -0053KE+4655GI-4455OU+6253UM-0056FU+5756FU (22 1) 14540k 9.6s (9.6s)
      -0053KE +  4745 +4655GI-4455OU+6253UM-0056FU+5756FU-4556GI (21 14) 6482k [2] (9.6s)
      others  -  6717 -4434OU+2524KY-0067KE+7867GI-7668NK+7968KI (19 15) 8057k [8] (9.6s)
          alt -  6912 -4433OU+2524KY-0026FU+2826HI (14 14)
    others  +  3695 +2524KY-4546GI+4746FU-0036KE+2825HI-8682RY (18 14) 5059k [4] (8.6s)
    +4645GI -  3616 -5445KA+0046GI-0034GI+4645GI-3445GI+0071KA (26 15) 5844k [10] (8.6s)
  -8675RY +  7179 +5162UM-4433OU+0034FU-3342OU+2524KY-0068GI (25 16) 17056k [0] (35.0s)
P1-KY-KE *  * +UM *  * -KE-KY
P2 *  *  *  *  *  * -KI *  * 
P3-FU *  *  *  * -FU *  *  * 
P4 *  *  * -FU-KA-OU * -GI * 
P5 *  * +FU * -FU *  * +KY+FU
P6 * -RY-KE+FU * +GI *  *  * 
P7 * -FU *  * +FU+FU *  *  * 
P8+FU * +GI * +KI *  * +HI * 
P9 * +FU+KI * +OU *  *  * +KY
P+00KI00FU00FU00FU00FU00FU
P-00GI00KE00FU
-
