2015-05-04T17:15:24.125869 status=3 elapsed 8027 msec-max 8000
root +  3833 +2524KY-0042GI+5141UM-8788TO+8988FU-4453OU+2421NY-7688NK+0083FU-8252RY+4152UM-5352OU+7988KI-0027FU+0082HI-0062KE+2838HI-0037FU+3837HI-0026KA+0074KE-2637UM+4637GI (23 2) 32219k 35.3s (6.9s)
  +2524KY -  3833 -0042GI+5141UM-8788TO+8988FU-4453OU+2421NY (22 1) 13445k 35.3s (7.9s)
    others  -  3833 -0042GI+5141UM-8788TO+8988FU-4453OU+2421NY (22 15) 3622k [5] w0=5 (7.9s)
    -0037GI +  4011 +4637GI-0027FU+2838HI-2728TO+3728GI-8788TO (15 1) 9822k 7.9s (7.9s)
      others  +  4011 +4637GI-0027FU+2838HI-2728TO+3728GI-8788TO (15 16) 5199k [9] w0=9 (7.9s)
      +0035KI -  3716 -4453OU+4637GI-0027FU+2818HI-2133KE+3746GI (19 1) 4623k 7.9s (7.9s)
        -4453OU +  3716 +4637GI-0027FU+2818HI-2133KE+3746GI-8271RY (18 15) 4623k [4] w0=4 (7.9s)
    -8788TO + 29978 +0045GI-5445KA+4645GI-4445OU+0063KA-0054KE (21 0) 0k solved (35.3s)
  +5124UM -  3406 -4453OU+4655GI-8788TO+8988FU-5445KA+5564GI (20 2) 15126k 6.9s (6.9s)
    -4453OU +  3406 +4655GI-8788TO+8988FU-5445KA+5564GI-5362OU (19 1) 10600k w1=11 7.9s (7.9s)
      +4655GI -  3406 -8788TO+8988FU-5445KA+5564GI-5362OU+0063GI (18 14) 4385k [2] w0=2 (7.9s)
      others  +  3019 +0045GI-5445KA+4645GI-8788TO+8988FU-5352OU (18 15) 6215k [8] w0=8 (7.9s)
    others  -  3911 -0023FU+0045GI-5445KA+2435UM-4433OU+3545UM (18 13) 2547k [6] w0=6 (6.9s)
    -8788TO + 29971 +2435UM-4433OU+0053GI-0068GI+7968KI-7668NK (19 19) 1979k [7] solved (6.9s)
  others  +  2594 +5756FU-0042GI+4655GI-4453OU+0052KI-5363OU (22 14) 4128k [3] w0=3 (7.9s)
P1-KY-KE *  * +UM *  * -KE-KY
P2 * -RY *  *  *  * -KI *  * 
P3-FU *  *  *  * -FU *  *  * 
P4 *  *  * -FU-KA-OU * -GI * 
P5 *  * +FU * -FU *  * +KY+FU
P6 *  * -KE+FU * +GI *  *  * 
P7 * -FU *  * +FU+FU *  *  * 
P8+FU * +GI * +KI *  * +HI * 
P9 * +FU+KI * +OU *  *  * +KY
P+00KI00FU00FU00FU00FU00FU
P-00GI00KE00FU
+
