2015-05-05T14:33:03.736827 status=3 elapsed 8030 msec-max 8000
root - -29969 -4332GI+5779KA-7879RY+0042KI-4142OU+2615KA-0033KE+1533UM-3233GI+6452NK-4252OU+5958OU-0029KA+0044KE-3344GI+7574GI-6768TO+6968FU-0069KA (19 3) 35086k 24.5s (8.0s)
  -4332GI + -29969 +5779KA-7879RY+0042KI-4142OU+2615KA-0033KE (18 2) 29448k 16.5s (8.0s)
    +5779KA - -29969 -7879RY+0042KI-4142OU+2615KA-0033KE+1533UM (17 1) 16639k solved 17.5s (17.5s)
    +0052KI - -29969 -4131OU+5779KA-0047KE+3647GI-7879RY+5242KI (27 3) 2274k 16.4s (16.4s)
      -4131OU + -29969 +5779KA-0047KE+3647GI-7879RY+5242KI-3142OU (26 2) 2274k 16.4s (16.4s)
        +5779KA - -29969 -0047KE+3647GI-7879RY+5242KI-3142OU+0034KE (25 1) 1718k solved 16.4s (16.4s)
        others  + -29974 +5242KI-3142OU+2615KA-0033KE+1533UM-3233GI (14 14) 629k [8] w0=8 (16.4s)
    others  + -29978 +0042KI-4142OU+2615KA-0033KE+6968FU-6768TO (19 12) 1729k [10] solved (8.0s)
    +0051KI - -29981 -4131OU+5779KA-7879RY+5141KI-3241GI+5958OU (11 1) 1469k solved 8.0s (8.0s)
    +6452NK - -29983 -4152OU+5779KA-7879RY+0042KI-5242OU+2615KA (15 2) 12680k 11.7s (11.7s)
      -4152OU + -29983 +5779KA-7879RY+0042KI-5242OU+2615KA-4252OU (14 1) 2511k 11.7s (11.7s)
        others  + -29976 +0042KI-5242OU+2615KA-0033KE+6968FU-6768TO (16 15) 906k [4] w0=4 (11.7s)
        +5779KA - -29983 -7879RY+0042KI-5242OU+2615KA-4252OU+1551UM (13 17) 1605k [9] solved (11.7s)
      others  - -4730 -4131OU+5779KA-7879RY+5242NK-3142OU+2615KA (21 16) 10168k [1] w0=1 (11.7s)
  -4132OU + -29965 +5779KA-0047KE+3647GI-7879RY+0042KI-3242OU (16 2) 8835k [5] 17.5s (17.5s)
    +5779KA - -29965 -0047KE+3647GI-7879RY+0042KI-3242OU+6452NK (15 1) 5717k solved 17.5s (17.5s)
    others  + -29966 +0033KI-3233OU+3534FU-4334GI+2644KA-3344OU (26 20) 3117k [6] w0=6 (17.5s)
  others  - 29990 -4151OU+2615KA-0024KI+1524KA-2124HI+0042KI (7 11) 406k [8] solved (17.5s)
P1 *  *  *  *  * -OU * -HI-KY
P2 *  *  *  *  *  * +NK *  * 
P3 *  * -FU * -FU-GI *  * -FU
P4 *  * -KE+KE-GI *  *  *  * 
P5 * +KE+GI *  *  * +FU+FU * 
P6 * +FU+KY * +FU+FU+GI+KA * 
P7-NY *  * -FU+KA *  *  * +FU
P8 *  * -HI *  * +KI *  *  * 
P9 *  * -TO+FU+OU * -KI * +KY
P+00KI00FU00FU00FU00FU00FU00FU
P-00KI
-
