2015-05-04T17:14:58.346396 status=4 elapsed 17368 msec-max 7603
root -  3386 -4232KI+2625KY-0037GI+5162UM-0053KE+2524KY-3746GI+4746FU-0068GI+7968KI-7668NK+5868KI-8666RY+2421NY-6646RY+0058KE-4637RY+0024GI-0034FU (19 3) 57550k [6] 17.3s (9.5s)
  -4232KI +  3386 +2625KY-0037GI+5162UM-0053KE+2524KY-3746GI (18 2) 44265k 17.3s (9.5s)
    +2625KY -  3386 -0037GI+5162UM-0053KE+2524KY-3746GI+4746FU (17 1) 22728k 17.3s (9.5s)
      others  -  3386 -0037GI+5162UM-0053KE+2524KY-3746GI+4746FU (17 13) 5815k [7] w0=7 (9.5s)
          alt -  3448 -8788TO+2524KY-8682RY+8988FU (16 13)
          alt -  3106 -0045GI+5162UM-4433OU+2524KY (13 12)
      -8682RY +  3701 +2524KY-0042GI+5141UM-8788TO+8988FU-0026FU (9 2) 9509k 9.6s (9.5s)
        +2524KY -  3701 -0042GI+5141UM-8788TO+8988FU-0026FU+2838HI (8 1) 3615k 9.5s (9.5s)
          others  -  3701 -0042GI+5141UM-8788TO+8988FU-0026FU+2838HI (8 13) 3615k [5] w0=5 (9.5s)
          -8788TO + 29978 +0045GI-5445KA+4645GI-4445OU+0063KA-0054KE (21 0) 0k solved (9.5s)
        others  +  3232 +5124UM-4453OU+4655GI-8788TO+8988FU-0037GI (13 16) 5893k [3] w0=3 (9.5s)
      -8675RY +  4994 +5162UM-0053GI+0035KI-2435GI+4635GI-4435OU (11 14) 7403k [0] w0=0 (17.2s)
          alt +  3310 +2524KY-4453OU+2421NY-0036KE (22 14)
    +5124UM -  2411 -4453OU+4655GI-5472KA+6665FU-5362OU+2435UM (18 2) 16034k 9.6s (9.6s)
      -4453OU +  2411 +4655GI-5472KA+6665FU-5362OU+2435UM-0044KE (17 1) 11575k 9.6s (9.6s)
        +4655GI -  2411 -5472KA+6665FU-5362OU+2435UM-0044KE+5544GI (16 14) 4140k [4] w0=4 (9.6s)
        others  +  2252 +0045GI-5463KA+2435UM-0044GI+4544GI-4344FU (20 15) 7434k [8] w0=8 (9.6s)
      others  -  3428 -8682RY+2435UM-4433OU+2625KY-0023FU+0034FU (10 13) 4459k [10] w0=10 (9.6s)
    others  +  1913 +0036FU-8788TO+2625KY-8878TO+2524KY-7868TO (13 14) 5502k [2] w0=2 (9.5s)
  others  -  3734 -0067KE+5867KI-4232KI+5124UM-4453OU+0045KE (8 15) 13285k [9] (17.2s)
      alt -  3649 -8682RY+5142UM-8242RY+3242NG (20 15)
P1-KY-KE *  * +UM *  * -KE-KY
P2 *  *  *  *  * -KI+NG *  * 
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-00KE00FU
-
