2015-05-04T15:00:53.924971 status=4 elapsed 34949 msec-max 45300
root +  2275 +6958OU-6667GI+5867OU-0032KI+2325RY-0024FU+2545RY-9955UM+4555RY-5455KY+6776OU-5557NY+0061HI-0067HI+0066GI-0073FU+7473KI-3242KI+7685OU (19 18) 67321k 17.5s (1.7s)
  +6958OU -  2275 -6667GI+5867OU-0032KI+2325RY-0024FU+2545RY (18 17) 33269k 17.5s (1.7s)
    -6667GI +  2275 +5867OU-0032KI+2325RY-0024FU+2545RY-9955UM (17 16) 5163k [2] sub 1.8s (1.7s)
      +5867OU -  1894 -0032GI+2325RY-0024FU+2565RY-9955UM+6555RY (15 1) 1379k 1.7s (1.7s)
        others  -  1894 -0032GI+2325RY-0024FU+2565RY-9955UM+6555RY (15 12) 865k [1] (1.7s)
        -0032KI +  2098 +2325RY-0024FU+2545RY-9989UM+6776OU-5457NY (13 11) 513k [4] (1.7s)
      others  +   696 +5848OU-0047FU+4838OU-0032GI+2325RY-5457NY (18 12) 794k [7] (1.7s)
    -6667NG +  2463 +5867OU-0032GI+2325RY-0024FU+2524RY-9933UM (21 1) 27680k 18.5s (18.5s)
      +5867OU -  2463 -0032GI+2325RY-0024FU+2524RY-9933UM+2433RY (20 16) 11627k [0] (18.5s)
      others  +   499 +5849OU-0032GI+2343RY-3243GI+7553UM-0042KI (27 17) 16053k [5] (18.5s)
    others  -  2463 -5457NY+6757KI-6675GI+0052GI-0032GI+5241NG (19 11) 425k [2] (1.7s)
    -6675GI + 29986 +0032GI-4132KI+2332RY-3132OU+0024KE-3233OU (13 0) 0k solved (17.5s)
  +6968OU -  1647 -7969TO+6858OU-6667NG+5867OU-0065GI+6758OU (12 2) 33532k 17.5s (17.5s)
    -7969TO +  1647 +6858OU-6667NG+5867OU-0065GI+6758OU-6574GI (11 1) 18275k 17.5s (17.5s)
      +6858OU -  1647 -6667NG+5867OU-0065GI+6758OU-6574GI+2343RY (10 14) 10859k [8] (17.5s)
      others  +   420 +6869OU-6667GI+0022GI-9922UM+2322RY-3122OU (30 18) 7416k [3] (17.5s)
    others  -  1676 -0022FU+2343RY-5457NY+6757KI-9977UM+6858OU (17 17) 15256k [6] (17.5s)
  +6979OU -   710 -6667NG+0022GI-9922UM+2322RY-3122OU+0062HI (16 12) 636k [8] NC sub
  others  +   630 +6979OU-6667GI+0022GI-9922UM+2322RY-3122OU (22 17) 7212k [9] (17.5s)
P1-KY *  *  *  * -KI-OU-KE-KY
P2 * +TO *  *  *  *  *  *  * 
P3 *  *  *  * -FU-KI * +RY-FU
P4-FU * +KI * -KY * -FU *  * 
P5 *  * +KA *  *  *  *  *  * 
P6 * +FU * -GI * +FU+FU *  * 
P7+FU *  * +KI+FU * +KE * +FU
P8 *  *  *  *  *  *  *  *  * 
P9-UM * -TO+OU *  *  *  * +KY
P+00HI00GI00GI00KE00KE00FU00FU00FU00FU00FU
P-00GI00FU
+
