2015-05-05T13:31:29.398314 status=3 elapsed 1581 msec-max 7352
root - -29994 -8293OU+9182GI-7182KI+2726FU-1415FU+1627OU-4637UM+2937KE (8 3) 1431k solved 0.5s (0.3s)
  -8293OU + -29994 +9182GI-7182KI+2726FU-1415FU+1627OU-4637UM (7 2) 83k solved 1.3s (1.3s)
  -8281OU + -29980 +8371NK-8171OU+9182GI-7182OU+8684HI-0083FU (14 15) 834k [8] w1=11 sub 0.5s (0.5s)
    +8371NK - -7675 -8171OU+9182GI-7182OU+8684HI-0083FU+8483RY (16 1) 35k 0.5s (0.5s)
      -8171OU + -7675 +9182GI-7182OU+8684HI-0083FU+8483RY-4783UM (15 11) 35k [3] w0=3 (0.5s)
    others  + -29994 +1625OU-0024GI+2516OU (3 5) 22k [5] solved (0.5s)
  others  - -7820 -8272OU+8371NK-7271OU+9182NG-7182OU+8684HI (17 10) 174k [1] w0=1 (0.5s)
  -8283OU + -6049 +9182NG-8382OU+8684HI-0083FU+8444HI-0015GI (7 1) 338k p 3 (0.3s)
    others  + -6049 +9182NG-8382OU+8684HI-0083FU+8444HI-0015GI (7 4) 26k [4] w0=4 NC
    +8684HI - -29994 -8384OU+0085FU-8494OU+2726FU-1415FU+1627OU (8 3) 254k solved 0.5s (0.3s)
    +1626OU - -29997 -0015GI+2625OU (2 5) 45k [8] NC
    +3647GI - -29997 -0015GI+1625OU (2 5) 11k [9] NC
P1+GI * -KI-FU *  * -KY * -KY
P2-FU-OU *  *  *  *  * -KI * 
P3 * +KE-FU-KI-FU *  * -FU * 
P4 * -FU *  *  * -KE *  * -FU
P5-KY * +FU *  *  * +KE *  * 
P6 * +HI+KI *  * -KA+GI * +OU
P7 *  *  *  *  * -UM+FU+FU+FU
P8 *  *  * -HI *  *  *  *  * 
P9 *  *  *  *  *  * +GI+KE+KY
P-00GI00FU00FU00FU00FU00FU00FU00FU
-
