2015-05-04T16:16:16.756934 status=4 elapsed 46497 msec-max 76300
root - 29969 -0062KE+0064KI-6372OU+4441RY-7564GI+5564KI-7283OU+4152RY-0081KI+5261RY-8191KI+0072KA-8384OU+0083KI (14 1) 3515k [5] 54.2s (36.3s)
  -0062KE + 29969 +0064KI-6372OU+4441RY-7564GI+5564KI-7283OU (13 20) 975k [1] solved (54.2s)
  -0064KE + 29972 +5564KI-7564GI+0075KE-6475GI+0074KA-6372OU (27 0) 0k solved 46.5s (46.5s)
  others  - 29978 -5748NK+3748GI-0027KE+3938OU-2739NK+4939KI (12 15) 1562k [3] (36.3s)
  -5747NK + 29978 +0074KA-6372OU+0082KI-7262OU+7452UM-6252OU (21 0) 0k solved 40.4s (40.4s)
  -6372OU + 29979 +4441RY-7283OU+4152RY-0027KE+3928OU-8394OU (10 2) 976k 36.3s (36.3s)
    others  + 29983 +0082KI-7262OU+4441RY-5748NK+4948KI-5222HI (11 12) 800k [2] solved (36.3s)
    +4441RY - 29979 -7283OU+4152RY-0027KE+3928OU-8394OU+0072KA (9 1) 9788k 36.3s (36.3s)
      -7283OU + 29979 +4152RY-0027KE+3928OU-8394OU+0072KA-9495OU (8 10) 73k [4] solved (36.3s)
      others  - 29988 -5262HI+0082KI-7263OU+0092KA-0083KE+0054KI (11 18) 9714k [6] w0=6 (36.3s)
  -5354FU + 29980 +4443RY-5253HI+4353RY-6374OU+5354RY-0064KE (19 0) 0k solved 38.4s (38.4s)
P1+GI *  * -FU * -KI *  * -KY
P2 *  * +FU * -HI *  *  *  * 
P3-FU * -KE-OU-FU * +NY-FU-FU
P4 *  *  *  *  * +HI-FU *  * 
P5 * -FU-GI * +KI-FU * +FU * 
P6 *  *  *  *  *  * +FU *  * 
P7+FU+FU * +GI-NK+FU+GI * +FU
P8 *  *  * -KA *  *  *  *  * 
P9+KY *  *  *  * +KI+OU+KE+KY
P+00KA00KI00FU
P-00KE00FU00FU
-
