WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.5
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "one"
--crossp 0.5
--delp 0.85
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exclude-edits ""
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 1
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code false
--ignore-equiv-appends false
--ignore-standard-headers false
--ignore-string-equiv-fixes false
--ignore-untyped-returns false
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov true
--multiopt-minimize false
--multiopt-no-inf false
--neg-tests 1
--neg-weight 0.35
--negative-test-weight 2
--neutral-walk-max-size 0
--neutral-walk-weight ""
--nht-id "global"
--nht-port 51000
--nht-server ""
--no-rep-cache false
--no-test-cache false
--num-comps 2
--num-objectives 2
--oracle-genome ""
--popsize 40
--port 60000
--pos-tests 18
--pos-weight 0.65
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0.75
--samp-strat "variant"
--sample 0.1
--sample-runs 100
--sanity "yes"
--search "ga"
--seed 5
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-166-38-177 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Fri Sep 20 15:28:19 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU E5-2650 0 @ 2.00GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp510927.c /tmp/tmpe72abd.c
cilRep: done preprocessing IO function signatures
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cachingRep: default.cache: loaded
faultlocRep: default.cache: loaded
cilRep: default.cache: loaded
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	p6: true (1)
	p7: true (1)
	p8: true (1)
	p9: true (1)
	p10: true (1)
	p11: true (1)
	p12: true (1)
	p13: true (1)
	p14: true (1)
	p15: true (1)
	p16: true (1)
	p17: true (1)
	p18: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 29.8339)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 683
cilRep: stmts in weighted_path = 209
cilRep: total weight = 107.65
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: src/mod_secure_download.c (code bank/base file; atoms [1,683])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.538465 MB)
search: initial population (sizeof one variant = 0.00881386 MB)
	  0 r(678,676) 
	  1 d(478) 
	  1 a(470,477) 
	  1 a(433,476) 
	  1 a(638,507) 
	  1 d(390) 
	  1 d(428) 
	  1 r(649,652) 
	  1 d(486) 
	  1 d(477) 
	  0 a(445,615) 
	  1 d(380) 
	  1 a(412,410) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000013/src/mod_secure_download.c  r(604,407)  fails to compile
	  0 r(604,407) 
	  1 a(468,465) 
	  1 d(439) 
	  1 a(420,441) 
	  1 a(486,400) 
	  1 r(658,511) 
	  1 r(469,406) 
	  1 r(562,515) 
	  1 r(397,385) 
	  1 d(644) 
	  1 r(521,562) 
	  1 a(421,380) 
	  1 a(441,419) 
	  1 r(681,677) 
	  1 d(383) 
	  1 d(426) 
	  1 d(414) 
	  1 a(655,615) 
	  1 a(393,383) 
	  1 a(428,453) 
	  1 r(568,672) 
	  1 a(411,407) 
	  1 d(454) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000036/src/mod_secure_download.c  r(456,633)  fails to compile
	  0 r(456,633) 
	  1 d(633) 
	  0 d(683) 
	  1 original
search: generation 1 (sizeof one variant = 0.538884 MB)
	  1 d(478) d(498) 
	  1 d(477) r(606,666) 
	  0 a(412,410) d(677) 
	  1 r(649,652) a(640,633) 
	  1 a(412,410) a(463,403) 
	  1 r(649,652) r(383,380) 
	  1 d(454) d(420) 
	  0 a(470,477) a(431,437) 
	  1 d(633) d(396) 
	  1 d(439) d(522) 
	  0 d(478) d(442) 
	  1 d(454) r(407,427) 
	  1 d(478) r(417,415) 
	  1 d(428) a(418,435) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000053/src/mod_secure_download.c  a(441,419) r(453,386)  fails to compile
	  0 a(441,419) r(453,386) 
	  1 r(681,677) d(634) 
	  1 a(638,507) r(422,406) 
	  1 d(644) r(499,478) 
	  1 a(441,419) a(431,507) 
	  1 a(421,380) r(391,380) 
	  1 a(441,419) r(465,453) 
	  1 a(421,380) r(412,411) 
	  1 d(428) r(471,397) 
	  1 a(486,400) d(660) 
	  1 d(428) r(395,398) 
	  1 a(486,400) r(413,439) 
	  0 d(390) d(419) 
	  1 r(681,677) a(388,403) 
	  1 r(469,406) r(480,478) 
	  1 d(439) d(400) 
	  0 r(469,406) r(405,418) 
	  1 d(439) r(628,671) 
	  1 d(454) d(643) 
	  1 r(658,511) r(438,420) 
	  1 a(468,465) d(656) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000074/src/mod_secure_download.c  r(398,566)  fails to compile
	  0 r(398,566) 
	  1 a(468,465) d(639) 
	  1 r(380,384) 
	  0 d(486) r(637,665) 
	  1 a(411,407) a(444,400) 
	  1 d(486) r(390,395) 
	  1 a(411,407) d(651) 
	  1 r(658,511) r(611,633) 
	  1 d(383) r(653,666) 
	  1 a(470,477) d(429) 
	  1 a(433,476) a(410,440) 
	  1 a(428,453) r(407,403) 
	  0 a(638,507) d(429) 
	  1 a(486,400) r(515,669) 
	  1 r(649,652) d(425) 
	  0 a(486,400) r(375,377) 
	  1 a(420,441) r(426,418) 
search: generation 2 (sizeof one variant = 0.539412 MB)
	  1 r(649,652) d(425) a(472,497) 
	  1 r(649,652) a(640,633) a(677,582) 
	  1 r(658,511) r(611,633) a(384,505) 
	  1 d(486) r(390,395) a(518,669) 
	  1 d(439) r(628,671) d(478) 
	  1 d(486) r(390,395) a(438,430) 
	  1 a(486,400) r(413,439) d(498) a(486,448) 
	  1 d(478) r(388,386) 
	  1 a(486,400) r(413,439) r(433,429) 
	  1 d(478) d(498) r(421,433) 
	  1 d(644) r(499,478) d(437) 
	  1 d(478) r(417,415) d(680) 
	  1 d(383) r(653,666) d(667) 
	  1 d(486) r(390,395) a(451,450) 
	  1 a(638,507) r(422,406) r(383,380) r(396,394) 
	  1 r(649,652) r(471,381) 
	  1 a(638,507) r(422,406) d(498) 
	  1 r(649,652) r(383,380) d(441) 
	  1 d(477) r(606,666) r(499,478) r(388,384) 
	  1 d(644) a(502,448) 
	  1 d(477) r(606,666) d(648) 
	  1 d(644) r(499,478) r(430,417) 
	  1 d(454) r(493,503) 
	  1 r(380,384) d(643) r(401,433) 
	  1 d(454) d(643) a(645,664) 
	  1 r(380,384) d(607) 
	  1 d(486) r(390,395) r(628,671) d(401) 
	  1 d(439) r(409,422) 
	  1 d(486) r(390,395) r(388,386) 
	  1 d(439) r(628,671) d(659) 
	  1 d(633) d(396) r(642,518) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000122/src/mod_secure_download.c  d(486) r(390,395) r(683,658)  fails to compile
	  0 d(486) r(390,395) r(683,658) 
	  1 a(486,400) d(660) r(391,380) d(470) 
	  1 a(421,380) r(479,503) 
	  1 a(486,400) d(660) r(649,614) 
	  1 a(421,380) r(391,380) a(425,439) 
	  1 a(486,400) r(515,669) d(426) 
	  0 a(412,410) d(677) d(483) 
	  1 d(454) d(420) r(482,485) 
	  1 a(441,419) a(431,507) a(490,499) 
	  1 d(454) d(420) d(430) 
	  1 a(441,419) a(431,507) d(642) 
	  1 a(468,465) d(639) a(637,571) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000134/src/mod_secure_download.c  r(398,566) r(433,427)  fails to compile
	  0 r(398,566) r(433,427) 
	  1 a(638,507) r(422,406) d(656) d(444) 
	  1 a(468,465) d(377) 
	  1 a(638,507) r(422,406) d(476) 
	  1 a(468,465) d(656) d(433) 
	  1 d(428) a(410,440) a(446,675) 
	  1 a(433,476) r(395,398) a(604,470) 
	  1 d(428) r(395,398) r(427,442) 
	  1 a(433,476) a(410,440) a(518,610) 
	  1 r(469,406) r(480,478) a(615,644) 
	  1 a(486,400) r(413,439) a(501,476) 
	  0 r(469,406) r(480,478) r(445,403) 
	  1 a(486,400) r(413,439) r(664,616) 
	  1 d(644) r(499,478) d(681) 
	  0 d(633) d(396) d(415) 
	  1 a(411,407) a(444,400) r(632,650) 
	  1 a(468,465) d(639) r(387,397) 
search: generation 3 (sizeof one variant = 0.54054 MB)
	  1 a(411,407) a(444,400) r(632,650) r(393,396) 
	  1 a(468,465) d(639) r(387,397) r(426,442) 
	  0 a(486,400) r(413,439) r(664,616) d(495) 
	  1 a(638,507) r(422,406) d(656) d(444) d(410) 
	  0 a(486,400) r(413,439) d(498) a(486,448) r(441,407) 
	  1 a(441,419) a(431,507) d(642) a(507,562) 
	  0 d(454) d(496) 
	  1 a(486,400) d(660) r(649,614) d(643) a(645,664) a(407,409) 
	  1 d(454) d(643) a(645,664) d(407) 
	  1 a(486,400) d(660) r(649,614) d(485) 
	  1 a(486,400) r(413,439) a(501,476) r(498,469) 
	  0 a(468,465) d(377) r(405,426) 
	  1 d(486) r(390,395) r(628,671) d(401) a(501,448) 
	  1 d(439) r(409,422) d(397) 
	  1 a(411,407) a(444,400) r(632,650) d(382) 
	  1 d(644) r(499,478) d(681) a(389,456) 
	  0 a(411,407) a(444,400) r(632,650) r(435,411) 
	  1 d(644) r(499,478) d(681) a(426,439) 
	  1 r(649,652) a(427,449) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000170/src/mod_secure_download.c  a(486,400) r(413,439) a(501,476) r(383,380) d(441) r(476,422)  fails to compile
	  0 a(486,400) r(413,439) a(501,476) r(383,380) d(441) r(476,422) 
	  1 r(649,652) r(383,380) d(441) a(453,471) 
	  1 a(486,400) r(413,439) a(501,476) a(636,674) 
	  1 d(454) d(420) d(430) d(430) 
	  1 a(421,380) r(479,503) d(471) 
	  1 d(454) d(420) r(664,616) a(385,395) 
	  1 a(486,400) r(413,439) d(430) r(436,427) 
	  1 d(454) d(420) d(430) a(611,641) 
	  0 a(486,400) r(413,439) r(664,616) d(680) 
	  1 r(380,384) a(604,470) r(669,615) 
	  1 a(433,476) r(395,398) d(607) a(414,431) 
	  1 r(380,384) d(607) a(390,503) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) 
	  0 d(478) r(417,415) d(680) d(426) 
	  0 d(477) r(606,666) r(499,478) r(388,384) d(418) 
	  1 d(478) r(417,415) d(680) r(429,441) 
	  1 d(477) r(606,666) r(499,478) r(388,384) r(478,490) 
	  1 a(638,507) r(422,406) d(498) a(470,616) 
	  1 d(486) r(390,395) r(388,386) d(411) 
	  0 r(658,511) d(446) 
	  1 d(454) d(643) a(645,664) r(611,633) a(384,505) d(671) 
	  1 r(658,511) r(611,633) a(384,505) r(667,583) 
	  1 d(454) d(643) a(645,664) r(515,449) 
	  1 a(433,476) a(410,440) r(388,386) r(476,561) 
	  1 d(478) a(518,610) r(469,639) 
	  0 a(433,476) a(410,440) a(518,610) d(683) 
	  1 d(478) r(388,386) a(492,380) 
	  1 d(439) r(628,671) r(390,395) a(451,450) d(650) 
	  0 d(486) d(478) r(678,681) 
	  1 d(439) r(628,671) d(478) d(567) 
	  1 d(486) r(390,395) a(451,450) a(451,615) 
	  1 d(644) d(470) r(426,421) 
	  1 a(486,400) d(660) r(391,380) a(502,448) a(385,391) 
	  0 d(644) a(502,448) r(680,681) 
	  1 a(486,400) d(660) r(391,380) d(470) d(611) 
	  1 r(380,384) d(643) a(645,664) r(378,375) 
	  1 d(454) d(607) r(462,463) 
	  0 r(380,384) d(607) d(375) 
	  1 d(454) d(643) a(645,664) a(462,471) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) 
	  1 a(638,507) d(430) d(412) 
	  1 d(454) d(420) d(430) d(408) 
	  1 a(638,507) r(422,406) r(383,380) r(396,394) d(423) 
	  1 d(644) r(499,478) d(377) d(632) 
	  1 a(468,465) d(681) r(664,605) 
	  0 d(644) r(499,478) d(681) a(424,445) 
	  1 a(468,465) d(377) r(651,561) 
search: generation 4 (sizeof one variant = 0.540305 MB)
	  1 d(454) d(643) a(645,664) a(462,471) d(393) 
	  1 a(638,507) r(422,406) r(383,380) r(396,394) d(423) a(389,384) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000219/src/mod_secure_download.c  a(433,476) r(395,398) a(492,380) r(470,564)  fails to compile
	  0 a(433,476) r(395,398) a(492,380) r(470,564) 
	  1 d(478) r(388,386) a(604,470) a(452,582) d(609) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(439) 
	  0 d(478) r(388,386) a(492,380) d(406) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000223/src/mod_secure_download.c  a(638,507) r(383,380) r(396,394) r(377,378) r(561,677)  fails to compile
	  0 a(638,507) r(383,380) r(396,394) r(377,378) r(561,677) 
	  1 d(454) d(420) r(422,406) r(422,406) d(498) a(470,616) d(505) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000225/src/mod_secure_download.c  a(638,507) r(422,406) d(498) a(470,616) r(448,424)  fails to compile
	  0 a(638,507) r(422,406) d(498) a(470,616) r(448,424) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) 
	  1 r(658,511) r(611,633) a(384,505) r(667,583) r(421,431) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(507) 
	  1 d(644) d(470) r(422,406) r(383,380) r(396,394) d(423) a(561,453) 
	  1 a(638,507) r(426,421) a(405,405) 
	  1 d(644) d(470) r(426,421) a(497,496) 
	  1 a(638,507) r(422,406) r(383,380) r(396,394) d(423) r(431,406) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) d(407) r(469,632) 
	  0 d(454) d(643) a(645,664) r(377,378) r(429,412) 
	  0 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(414) 
	  1 d(454) d(643) a(645,664) d(407) d(467) 
	  0 a(421,380) r(479,503) d(471) d(406) 
	  1 d(454) d(643) a(645,664) r(611,633) a(384,505) d(671) d(660) 
	  1 r(380,384) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) 
	  0 d(454) r(378,375) r(489,483) 
	  1 r(380,384) d(643) a(645,664) r(378,375) r(485,479) 
	  1 d(454) d(643) a(645,664) r(515,449) r(501,497) 
	  0 a(433,476) r(395,398) d(607) a(414,431) a(452,582) d(680) 
	  1 a(433,476) r(395,398) a(604,470) d(433) 
	  1 a(433,476) r(395,398) d(607) a(414,431) a(398,401) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) r(461,454) 
	  0 a(441,419) a(431,507) d(642) a(507,562) d(496) 
	  1 a(638,507) r(422,406) r(383,380) r(396,394) d(423) r(567,672) 
	  1 d(486) r(390,395) r(628,671) d(401) a(501,448) a(408,427) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) a(522,656) 
	  0 a(411,407) a(444,400) r(632,650) d(382) r(680,679) 
	  1 a(433,476) a(410,440) r(388,386) r(476,561) a(445,675) 
	  1 d(478) r(417,415) d(680) r(429,441) d(507) 
	  0 d(486) r(390,395) r(388,386) d(411) r(676,679) 
	  1 a(468,465) d(377) r(651,561) r(393,388) 
	  1 d(486) r(390,395) r(628,671) d(401) a(501,448) d(646) 
	  1 d(454) d(607) r(462,463) d(652) 
	  1 d(644) r(499,478) d(377) d(632) d(428) 
	  1 a(433,476) r(395,398) d(607) a(414,431) d(516) 
	  1 d(454) d(420) d(430) a(611,641) a(454,615) 
	  1 a(486,400) d(660) r(649,614) d(643) a(645,664) a(407,409) r(427,414) 
	  1 a(486,400) d(660) a(451,450) d(650) d(421) 
	  1 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) 
	  1 a(486,400) d(660) r(649,614) d(485) r(671,608) 
	  1 d(439) r(628,671) r(390,395) a(451,450) d(650) a(448,446) 
	  1 a(486,400) d(660) r(391,380) d(470) d(611) d(678) 
	  1 a(486,400) d(660) r(649,614) d(485) r(667,566) 
	  0 r(649,652) r(383,380) d(441) a(453,471) r(445,434) 
	  1 r(380,384) d(643) a(645,664) r(378,375) r(655,516) 
search: generation 5 (sizeof one variant = 0.54042 MB)
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) 
	  1 d(439) r(426,421) a(497,496) a(438,420) 
	  1 d(644) d(470) r(426,421) a(497,496) r(485,480) 
	  1 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) a(409,470) 
	  1 r(380,384) d(643) a(645,664) r(378,375) r(485,479) r(611,515) 
	  1 d(454) d(643) a(645,664) r(515,449) r(501,497) d(407) 
	  1 a(486,400) d(660) r(391,380) d(470) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) d(483) 
	  0 r(380,384) d(611) d(678) d(430) 
	  0 a(486,400) d(660) r(391,380) d(470) d(611) d(678) a(480,451) 
	  1 r(380,384) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) r(609,544) 
	  0 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(507) d(611) d(678) r(387,395) 
	  1 a(486,400) d(660) r(391,380) d(470) d(494) 
	  0 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(507) d(683) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000284/src/mod_secure_download.c  a(486,400) d(660) r(391,380) d(470) d(611) d(678) r(505,438)  fails to compile
	  0 a(486,400) d(660) r(391,380) d(470) d(611) d(678) r(505,438) 
	  0 a(638,507) r(422,406) d(485) r(671,608) d(418) 
	  1 a(486,400) d(660) r(649,614) r(383,380) r(396,394) d(423) r(431,406) a(610,608) 
	  1 a(638,507) r(422,406) r(383,380) r(396,394) d(423) r(431,406) d(485) 
	  1 a(486,400) d(660) r(649,614) d(485) r(671,608) a(386,380) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) 
	  1 a(486,400) d(660) r(649,614) d(485) r(667,566) a(405,505) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) d(423) a(561,453) a(464,582) 
	  1 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) 
	  0 d(644) d(470) r(422,406) r(383,380) r(396,394) d(423) a(561,453) r(429,408) 
	  0 d(486) r(390,395) r(628,671) d(401) a(501,448) a(408,427) r(415,401) 
	  1 d(478) r(388,386) a(604,470) a(452,582) d(609) d(419) 
	  1 r(380,384) d(643) a(645,664) r(378,375) r(655,516) d(638) 
	  1 a(433,476) r(395,398) a(604,470) d(433) d(476) 
	  1 a(433,476) a(410,440) r(388,386) r(476,561) r(461,454) d(377) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) a(445,675) a(445,436) 
	  1 a(433,476) a(410,440) r(388,386) r(476,561) a(445,675) a(435,443) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) r(461,454) r(465,452) 
	  1 d(439) r(628,671) r(390,395) a(451,450) d(650) a(448,446) d(421) 
	  0 a(638,507) r(426,421) a(405,405) d(405) 
	  1 d(454) d(643) a(645,664) r(611,633) a(384,505) a(452,582) r(461,454) a(431,405) 
	  0 a(433,476) r(395,398) a(604,470) d(671) d(660) r(429,425) 
	  1 d(454) d(643) a(645,664) r(611,633) a(384,505) d(671) d(660) d(445) 
	  0 a(433,476) r(395,398) a(604,470) a(452,582) r(461,454) r(405,406) 
	  1 d(478) r(388,386) a(604,470) a(452,582) d(609) d(663) 
	  1 a(486,400) d(660) r(649,614) d(485) r(671,608) a(566,674) 
	  0 d(454) d(607) r(462,463) d(652) d(442) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(439) d(386) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) 
	  0 d(644) d(470) r(422,406) r(383,380) r(515,449) d(668) d(442) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) 
	  1 d(644) d(470) r(422,406) r(383,380) r(396,394) d(423) a(561,453) a(422,453) 
	  1 a(486,400) d(660) r(649,614) r(671,608) d(637) 
	  1 a(486,400) d(660) r(649,614) d(485) d(485) r(667,566) a(411,418) 
	  1 a(486,400) d(660) r(649,614) d(485) r(667,566) a(488,470) 
	  1 a(486,400) d(660) r(649,614) d(485) r(671,608) r(433,429) 
	  1 d(644) d(470) r(422,406) r(383,380) r(396,394) d(423) a(561,453) r(441,405) 
	  1 r(380,384) d(643) a(645,664) r(378,375) r(655,516) d(668) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(663,566) 
	  0 d(454) d(643) a(645,664) r(515,449) d(668) d(640) 
	  1 r(380,384) d(643) a(645,664) r(378,375) r(655,516) a(679,449) 
	  1 a(486,400) d(660) r(649,614) d(643) a(645,664) a(407,409) r(427,414) d(507) 
	  1 a(486,400) d(660) r(649,614) d(485) r(667,566) d(409) 
	  1 r(380,384) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) d(413) 
search: generation 6 (sizeof one variant = 0.540967 MB)
	  1 d(439) r(426,421) d(643) a(645,664) r(515,449) d(668) r(389,387) a(678,676) 
	  0 d(454) a(497,496) a(438,420) d(496) 
	  1 d(439) r(426,421) a(497,496) a(438,420) d(486) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(454) 
	  0 d(454) d(643) a(645,664) r(611,633) a(384,505) d(671) d(660) d(445) a(567,568) 
	  1 a(638,507) r(422,406) r(383,380) r(396,394) d(423) r(431,406) d(485) a(562,469) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) r(486,469) 
	  1 d(644) a(656,476) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(470) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) a(605,661) 
	  0 a(433,476) r(395,398) a(604,470) a(452,582) r(461,454) r(405,406) r(412,400) 
	  1 a(433,476) a(410,440) r(388,386) r(476,561) a(445,675) a(435,443) r(655,662) 
	  0 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) r(390,395) r(649,614) d(485) d(500) a(409,470) r(638,665) 
	  1 d(439) r(628,671) d(404) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) 
	  1 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) a(409,470) r(431,440) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) d(640) a(416,428) 
	  1 d(486) r(390,395) r(628,671) d(401) a(501,448) a(408,427) r(415,401) d(407) 
	  1 a(486,400) d(660) r(391,380) d(470) d(643) a(645,664) d(643) a(393,383) 
	  1 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) a(645,664) r(515,449) d(637) d(483) a(437,440) 
	  1 a(486,400) d(660) r(391,380) d(470) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) d(483) r(437,427) 
	  0 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) d(405) 
	  1 a(486,400) d(660) r(649,614) d(485) r(671,608) a(386,380) d(493) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) a(445,675) a(445,436) d(473) 
	  1 a(486,400) d(660) r(649,614) r(671,608) d(637) d(382) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) d(423) a(561,453) a(464,582) d(518) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) d(423) a(561,453) a(467,515) a(389,385) 
	  1 d(454) d(643) a(645,664) d(398) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) d(638) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(681) 
	  1 a(486,400) d(660) r(649,614) d(485) r(671,608) r(378,375) r(655,516) d(638) d(571) 
	  1 r(380,384) d(643) a(645,664) a(566,674) r(497,479) 
	  1 a(486,400) d(660) r(649,614) d(485) r(671,608) a(566,674) a(609,627) 
	  1 r(380,384) d(643) a(645,664) r(378,375) r(655,516) d(638) r(616,656) 
	  0 d(478) r(388,386) a(604,470) a(452,582) d(609) d(419) d(495) 
	  1 d(478) r(388,386) a(604,470) a(452,582) d(609) d(663) r(634,664) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) 
	  1 d(454) d(439) d(386) r(522,628) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(439) d(386) a(673,582) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(452) 
	  1 a(433,476) d(643) a(645,664) r(515,449) d(668) r(389,387) d(543) 
	  0 d(454) r(395,398) a(604,470) d(671) d(660) r(429,425) r(440,421) 
	  0 a(433,476) r(395,398) a(604,470) d(671) d(660) r(429,425) r(407,415) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(679) 
	  0 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(645,664) r(611,633) a(384,505) d(671) d(660) d(445) r(383,394) 
	  1 d(454) d(643) a(467,515) r(440,416) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(381) 
	  0 d(454) d(643) a(645,664) r(611,633) a(384,505) d(671) d(660) d(445) d(429) 
	  1 d(478) r(388,386) d(660) r(649,614) d(485) r(671,608) r(433,429) d(481) 
	  1 a(486,400) a(604,470) a(452,582) d(609) d(663) d(670) 
	  1 d(478) r(388,386) a(604,470) a(452,582) d(609) d(663) d(679) 
	  1 a(486,400) d(660) r(649,614) d(485) r(671,608) r(433,429) d(417) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) r(518,642) r(476,442) 
	  0 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(411,403) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(637) 
	  1 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) r(488,503) 
	  0 a(486,400) d(660) r(649,614) d(485) r(667,566) a(488,470) d(489) 
	  1 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) a(409,470) r(651,665) 
	  1 d(454) d(660) r(649,614) d(485) r(667,566) d(409) d(639) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000388/src/mod_secure_download.c  a(486,400) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(663,566) r(400,637)  fails to compile
	  0 a(486,400) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(663,566) r(400,637) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(663,566) r(390,383) 
	  1 a(486,400) d(660) r(649,614) d(485) r(667,566) d(409) a(679,470) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) 
	  1 a(486,400) d(660) r(649,614) d(485) r(667,566) a(405,505) a(407,404) 
search: generation 7 (sizeof one variant = 0.540862 MB)
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) r(377,378) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) d(423) a(561,453) a(467,515) a(389,385) a(467,515) d(397) r(457,452) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) r(391,393) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) d(423) a(561,453) a(467,515) a(389,385) r(385,389) 
	  1 a(486,400) d(660) r(649,614) d(485) r(667,566) a(405,505) a(407,404) r(682,678) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(637) d(450) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(470) a(444,435) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(381) r(544,628) 
	  1 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) r(488,503) d(397) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) d(423) a(561,453) a(467,515) a(389,385) d(454) 
	  1 d(439) r(628,671) d(404) r(420,437) 
	  1 d(439) r(628,671) d(404) r(670,615) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(609) d(663) d(679) a(463,465) 
	  1 d(478) r(388,386) a(604,470) a(452,582) d(397) r(616,666) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) a(436,417) 
	  1 d(478) r(388,386) a(604,470) a(452,582) d(609) d(663) d(679) r(381,617) 
	  0 d(454) d(643) a(645,664) r(515,449) d(668) d(640) d(643) a(645,664) r(515,449) d(668) r(389,387) r(518,642) r(476,442) a(410,426) 
	  1 d(454) a(416,428) r(396,397) 
	  0 d(454) d(643) a(645,664) r(515,449) d(668) d(640) a(416,428) d(657) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) r(518,642) r(476,442) a(417,425) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) r(486,469) r(560,469) 
	  0 d(454) r(395,398) a(604,470) d(671) d(660) r(429,425) r(440,421) r(438,410) 
	  1 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) a(409,470) r(651,665) a(375,583) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) d(425) 
	  1 d(454) d(664) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) d(660) r(649,614) d(485) r(667,566) d(409) d(639) d(637) 
	  1 d(454) d(660) r(649,614) d(485) r(667,566) d(409) d(639) a(431,424) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) a(493,487) 
	  1 a(433,476) d(643) a(645,664) r(655,662) a(424,403) 
	  1 a(433,476) a(410,440) r(388,386) r(476,561) a(445,675) a(435,443) r(515,449) d(668) r(389,387) d(543) r(436,441) 
	  1 a(433,476) d(643) a(645,664) r(515,449) d(668) r(389,387) d(543) d(652) 
	  1 a(433,476) a(410,440) r(388,386) r(476,561) a(445,675) a(435,443) r(655,662) d(582) 
	  0 d(454) d(660) r(649,614) d(485) r(667,566) d(409) d(639) a(428,408) 
	  1 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) a(409,470) r(651,665) a(677,682) 
	  1 a(486,400) d(660) r(649,614) d(485) r(671,608) r(433,429) d(417) d(417) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) r(518,642) r(476,442) a(566,564) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(382,397) 
	  0 r(380,384) d(643) a(645,664) a(566,674) r(497,479) r(401,482) 
	  1 d(644) d(470) r(391,380) d(470) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) d(483) r(437,427) d(441) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) d(400) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000434/src/mod_secure_download.c  a(486,400) d(660) r(391,380) d(470) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) d(483) r(437,427) r(403,676)  fails to compile
	  0 a(486,400) d(660) r(391,380) d(470) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) d(483) r(437,427) r(403,676) 
	  1 r(380,384) d(643) a(645,664) r(378,375) r(655,516) d(638) r(616,656) d(407) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(681) r(463,449) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) d(423) a(561,453) a(467,515) a(389,385) d(411) 
	  0 r(380,384) d(643) a(645,664) r(378,375) r(655,516) d(638) r(616,656) a(561,453) a(645,664) r(611,633) a(384,505) d(671) d(660) d(445) r(383,394) d(418) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) d(643) 
	  1 r(380,384) d(643) a(645,664) r(378,375) r(655,516) d(638) r(616,656) d(469) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(645,664) r(611,633) a(384,505) d(671) d(660) d(445) r(383,394) r(439,429) 
	  0 d(454) d(643) a(645,664) r(515,449) d(668) d(640) a(416,428) r(383,393) 
	  1 a(486,400) a(604,470) a(452,582) d(609) d(663) d(670) d(483) 
	  1 d(644) d(470) d(668) d(640) a(416,428) d(633) 
	  1 d(454) d(643) a(645,664) r(515,449) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) d(405) d(417) 
	  1 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) d(405) d(486) 
	  0 d(454) d(643) a(645,664) r(515,449) d(668) d(640) a(416,428) r(423,403) 
search: generation 8 (sizeof one variant = 0.540903 MB)
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) d(503) 
	  0 d(478) r(388,386) a(604,470) a(452,582) d(397) r(616,666) r(393,390) d(658) d(400) r(415,427) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) d(400) a(422,432) 
	  1 d(478) r(388,386) a(604,470) a(452,582) d(397) r(616,666) d(435) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) a(493,487) d(470) 
	  0 d(439) r(628,671) d(404) r(420,437) d(418) 
	  1 d(454) d(420) r(422,406) d(479) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) r(411,416) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) a(671,570) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(467,466) 
	  1 d(644) d(470) d(660) r(649,614) d(485) r(667,566) a(405,505) a(407,404) r(682,678) a(610,381) 
	  1 a(486,400) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) r(488,503) d(397) a(383,387) 
	  1 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) r(488,503) d(397) d(376) 
	  1 a(486,400) d(660) r(649,614) d(485) r(667,566) a(405,505) a(407,404) r(682,678) d(675) 
	  1 a(486,400) d(660) r(649,614) d(485) r(671,608) r(433,429) d(417) d(417) a(640,644) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) d(423) a(561,453) a(467,515) a(389,385) r(385,389) r(407,417) 
	  1 d(644) d(470) r(391,380) d(470) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) d(483) r(437,427) d(441) d(428) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) d(439) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000467/src/mod_secure_download.c  d(454) a(416,428) r(396,397) r(448,643)  fails to compile
	  0 d(454) a(416,428) r(396,397) r(448,643) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) d(400) r(461,468) 
	  1 a(433,476) r(395,398) a(604,470) r(515,449) d(668) r(389,387) d(637) d(450) d(682) 
	  1 d(454) d(643) a(645,664) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) r(391,393) d(646) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) r(391,393) r(568,505) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(637) d(450) d(394) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) d(423) a(561,453) a(467,515) a(389,385) d(411) d(571) 
	  1 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) d(405) d(486) r(416,418) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) r(391,393) d(408) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(609) d(663) d(679) a(463,465) d(433) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(417) d(417) r(426,428) 
	  1 a(486,400) d(660) r(649,614) d(485) r(671,608) r(433,429) d(637) d(450) d(462) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(637) d(450) d(490) 
	  1 a(486,400) d(660) r(649,614) d(485) r(671,608) r(433,429) d(417) d(417) d(425) 
	  1 a(433,476) d(643) a(645,664) a(375,583) a(375,401) 
	  1 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) a(409,470) r(651,665) r(515,449) d(668) r(389,387) d(543) d(652) d(449) 
	  1 a(433,476) d(643) a(645,664) r(515,449) d(668) r(389,387) d(543) d(652) d(410) 
	  0 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) a(409,470) r(651,665) a(375,583) a(427,411) 
	  1 d(644) d(470) d(423) a(561,453) a(467,515) a(389,385) r(385,389) a(391,511) 
	/root/mountpoint-genprog/genprog-many-bugs/lighttpd-bug-2254-2259/000486/src/mod_secure_download.c  a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) r(391,380) d(470) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) d(483) r(437,427) d(441) r(446,671)  fails to compile
	  0 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) r(391,380) d(470) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) d(483) r(437,427) d(441) r(446,671) 
	  1 d(644) d(470) r(391,380) d(470) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) d(483) r(437,427) d(441) d(488) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) d(423) a(561,453) a(467,515) a(389,385) r(385,389) r(430,427) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(637) d(450) r(609,674) 
	  0 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(645,664) r(611,633) a(384,505) d(671) d(660) d(445) r(383,394) r(439,429) d(675) 
	  1 d(439) r(628,671) r(390,395) r(649,614) a(645,664) r(396,394) d(423) d(643) a(441,449) 
	  1 d(454) d(643) d(485) d(500) a(409,470) r(651,665) a(677,682) d(503) 
	  1 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) a(409,470) r(651,665) a(677,682) a(484,380) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) d(643) d(660) 
	  1 d(439) r(628,671) d(404) r(670,615) d(382) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(645,664) r(611,633) a(384,505) d(671) d(660) d(445) r(383,394) r(439,429) d(490) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(499,473) 
	  1 d(454) d(664) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(609) d(663) d(679) a(463,465) d(395) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(609) d(663) d(679) a(463,465) a(444,469) 
	  1 d(454) d(664) r(393,389) 
	  1 d(439) r(393,390) d(658) d(400) d(664) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(628,671) d(404) r(420,437) a(443,470) 
	  1 d(439) r(628,671) d(404) r(420,437) a(645,674) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) d(400) d(676) 
	  0 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) r(488,503) d(443) 
	  1 a(433,476) d(643) a(645,664) r(655,662) a(424,403) d(397) d(400) 
	  1 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) r(488,503) d(397) a(543,607) 
	  1 a(433,476) d(643) a(645,664) r(655,662) a(424,403) d(582) 
	  0 a(486,400) d(660) r(649,614) d(485) r(671,608) r(429,425) r(440,421) r(438,410) r(452,451) 
	  1 d(454) r(395,398) a(604,470) d(671) d(660) r(433,429) d(417) d(417) a(492,403) 
	  1 a(486,400) d(660) r(649,614) d(485) r(671,608) r(433,429) d(417) d(417) d(568) 
	  0 d(454) r(395,398) a(604,470) d(671) d(660) r(429,425) r(440,421) r(438,410) r(472,496) 
search: generation 9 (sizeof one variant = 0.541288 MB)
	  1 a(433,476) d(643) a(645,664) r(655,662) a(424,403) d(397) d(400) a(410,604) 
	  1 a(433,476) d(643) a(645,664) a(375,583) a(375,401) r(440,435) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) d(400) r(461,468) r(435,419) 
	  1 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) r(488,503) d(397) a(543,607) r(483,497) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(637) d(450) d(490) a(562,380) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) d(423) a(561,453) a(467,515) a(389,385) d(411) d(571) d(431) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(628,671) d(404) r(420,437) a(443,470) r(520,653) 
	  1 d(644) d(470) d(660) r(649,614) d(485) r(667,566) a(405,505) a(407,404) r(682,678) a(610,381) d(644) 
	  0 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(390,395) r(649,614) d(485) d(500) a(409,470) r(651,665) a(375,583) a(427,411) r(435,409) 
	  1 d(439) r(628,671) r(396,394) d(423) a(561,453) a(467,515) d(397) r(391,393) r(568,505) r(384,398) 
	  0 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) r(391,393) r(568,505) r(432,445) 
	  0 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) a(409,470) r(651,665) a(375,583) a(427,411) a(640,503) 
	  1 d(439) r(628,671) d(404) r(670,615) d(382) r(450,454) 
	  1 a(486,400) d(660) r(649,614) d(485) r(667,566) a(405,505) a(407,404) r(682,678) d(675) a(380,605) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) d(423) a(561,453) a(467,515) a(389,385) d(411) d(571) d(497) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(417) d(417) r(426,428) d(582) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) d(423) a(561,453) a(467,515) d(609) d(663) d(679) a(463,465) d(433) d(382) 
	  0 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) a(413,428) r(424,442) r(435,422) r(411,416) d(636) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) r(411,416) a(449,468) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(609) d(663) d(679) a(463,465) d(433) a(661,583) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(645,664) r(611,633) a(384,505) d(671) d(660) r(424,442) r(435,422) r(411,416) a(499,506) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) a(413,428) d(445) r(383,394) r(439,429) d(490) a(391,384) 
	  0 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(645,664) r(611,633) a(384,505) d(671) d(660) d(445) r(383,394) r(439,429) d(490) d(674) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) r(411,416) r(461,449) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) a(671,570) r(377,378) d(522) a(413,428) r(424,442) r(435,422) d(439) r(492,491) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) d(376) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) a(671,570) d(376) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) d(439) a(496,380) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(467,466) r(483,486) 
	  1 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) a(409,470) r(651,665) r(515,449) d(668) r(389,387) d(543) d(652) d(449) d(630) 
	  1 a(433,476) d(643) a(645,664) a(375,583) a(375,401) r(520,507) 
	  0 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) d(400) a(422,432) d(677) 
	  1 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) d(433) r(645,654) 
	  0 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(609) d(663) d(679) a(463,465) a(409,470) r(651,665) a(677,682) a(484,380) d(375) 
	  1 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) a(409,470) r(651,665) a(677,682) a(484,380) d(615) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(609) d(663) d(679) a(463,465) d(433) d(681) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) d(400) a(422,432) d(487) 
	  1 a(433,476) d(643) a(645,664) r(655,662) a(424,403) d(582) r(662,544) 
	  1 d(454) d(420) r(422,406) d(479) a(395,403) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) d(423) a(561,453) a(467,515) a(389,385) r(385,389) r(407,417) r(611,630) 
	  1 d(454) d(664) r(393,389) d(637) d(450) d(682) r(627,470) 
	  1 a(433,476) r(395,398) a(604,470) r(515,449) d(668) r(389,387) r(486,499) 
	  1 d(454) d(664) r(393,389) r(452,453) 
	  1 a(433,476) r(395,398) a(604,470) r(515,449) d(668) r(389,387) d(637) d(450) d(682) a(440,419) 
	  1 a(433,476) d(643) a(645,664) a(375,583) a(375,401) r(438,420) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(609) d(663) d(679) a(463,465) a(444,469) d(642) 
	  1 d(454) d(490) d(606) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(637) d(450) d(643) a(645,664) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) r(391,393) d(646) d(464) 
	  1 d(454) d(643) a(645,664) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) r(391,393) d(646) d(498) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(637) d(450) d(490) a(407,616) 
	  0 a(433,476) r(395,398) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) d(400) a(422,432) r(484,483) 
	  1 d(644) d(470) r(628,671) a(604,470) a(452,582) d(643) a(499,473) a(650,568) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(499,473) d(642) 
	  0 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) d(400) a(422,432) r(636,658) 
	  1 d(644) d(470) r(391,380) d(470) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) d(483) r(437,427) d(441) d(488) d(604) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) a(493,487) d(470) d(505) 
search: generation 10 (sizeof one variant = 0.540858 MB)
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) d(439) a(496,380) r(544,661) 
	  1 a(433,476) d(643) a(645,664) a(375,583) a(375,401) r(520,507) d(422) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) r(411,416) a(449,468) r(410,442) 
	  0 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) d(400) r(461,468) r(435,419) d(496) 
	  0 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) a(413,428) d(445) r(383,394) r(439,429) d(490) a(391,384) d(489) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(400) r(461,468) r(435,419) r(655,673) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) d(400) r(461,468) r(435,419) d(650) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) a(413,428) d(445) r(383,394) r(439,429) d(490) a(391,384) d(507) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(637) d(450) d(643) a(645,664) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) r(391,393) d(646) d(464) a(437,469) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(417) d(417) r(426,428) d(582) a(683,505) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) d(439) a(496,380) r(498,469) 
	  0 d(439) r(628,671) r(390,395) r(649,614) d(485) d(500) a(409,470) r(651,665) a(677,682) a(484,380) d(615) r(484,477) 
	  0 a(433,476) d(643) a(645,664) r(655,662) a(424,403) d(397) r(391,393) r(568,505) r(432,445) d(639) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) d(400) a(410,604) r(652,639) 
	  1 a(433,476) d(643) a(645,664) r(655,662) a(424,403) d(397) d(400) a(410,604) a(566,644) 
	  0 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) r(391,393) r(568,505) r(432,445) a(679,511) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) d(423) a(561,453) a(467,515) a(389,385) r(385,389) r(407,417) r(611,630) a(395,615) 
	  1 a(433,476) d(643) a(645,664) r(655,662) a(424,403) d(397) d(400) a(410,604) d(446) 
	  1 a(433,476) d(643) a(413,428) r(424,442) r(435,422) r(411,416) a(449,468) d(442) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) a(645,664) a(375,583) a(375,401) r(520,507) d(404) 
	  1 a(433,476) d(643) a(645,664) a(375,583) a(375,401) r(520,507) d(456) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) r(411,416) a(449,468) d(442) 
	  1 d(454) d(664) d(479) a(395,403) d(387) 
	  1 d(454) d(420) r(422,406) r(393,389) d(637) d(450) d(682) r(627,470) a(485,571) 
	  1 d(454) d(664) r(393,389) d(637) d(450) d(682) r(627,470) d(682) 
	  1 d(454) d(420) r(422,406) d(479) a(395,403) d(483) 
	  1 d(439) r(628,671) r(396,394) d(423) a(561,453) a(467,515) d(397) r(391,393) r(568,505) r(384,398) a(475,515) 
	  1 a(486,400) d(660) r(649,614) d(485) r(667,566) a(405,505) a(407,404) r(682,678) d(675) a(380,605) a(400,434) 
	  1 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) r(488,503) d(397) a(543,607) r(483,497) d(652) 
	  0 d(644) d(470) r(422,406) r(383,380) r(396,394) r(377,378) d(522) r(518,642) r(488,503) d(397) a(543,607) r(483,497) d(429) 
	  1 a(433,476) d(643) a(645,664) r(655,662) a(424,403) d(397) d(400) a(410,604) a(391,582) 
	  1 d(454) d(420) r(422,406) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) a(493,487) d(470) d(505) d(411) 
	  1 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(645,664) r(611,633) a(384,505) d(671) d(660) r(424,442) r(435,422) d(483) r(437,427) d(441) d(488) d(604) a(671,634) 
	  1 d(644) d(470) r(391,380) d(470) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) r(411,416) a(499,506) r(681,682) 
	  0 d(454) d(643) a(645,664) r(396,394) d(423) a(561,453) a(645,664) r(611,633) a(384,505) d(671) d(660) r(424,442) r(435,422) r(411,416) a(499,506) a(443,683) 
	  1 d(644) d(470) r(391,380) d(470) d(643) a(645,664) d(643) a(645,664) r(515,449) d(637) d(483) r(437,427) d(441) d(488) d(604) d(417) 
	  0 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) r(411,416) r(461,449) d(443) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(609) d(663) d(679) a(463,465) a(444,469) d(642) a(494,484) 
	  1 a(433,476) r(395,398) a(604,470) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) r(411,416) r(461,449) a(456,380) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(515,449) d(668) r(389,387) r(486,499) d(643) 
	  1 a(433,476) r(395,398) a(604,470) r(515,449) d(668) r(389,387) r(486,499) a(494,503) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) r(411,416) r(461,449) d(437) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(637) d(450) d(643) a(645,664) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) r(391,393) d(646) d(464) d(428) 
	  1 d(454) d(643) a(645,664) r(515,449) d(668) r(389,387) d(417) d(417) r(426,428) d(582) a(639,400) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(628,671) d(404) r(420,437) a(443,470) r(520,653) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(609) d(663) d(679) a(463,465) d(433) a(661,583) d(583) 
	  1 a(433,476) r(395,398) r(637,630) 
	  1 d(644) d(470) r(628,671) r(390,395) r(649,614) d(485) d(500) r(628,671) d(404) r(420,437) a(443,470) r(520,653) d(426) 
	  1 a(433,476) r(395,398) a(604,470) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(609) d(663) d(679) a(463,465) d(433) a(661,583) r(409,425) 
	  1 a(468,465) d(377) r(651,561) r(393,388) r(560,632) r(396,394) d(423) a(561,453) a(467,515) a(389,385) r(385,389) r(407,417) r(611,630) r(479,500) 
	  1 d(644) d(470) r(628,671) a(604,470) a(452,582) d(643) a(499,473) a(650,568) a(521,636) 
	  1 a(433,476) d(643) a(645,664) a(375,583) a(375,401) r(520,507) a(437,616) 
	  1 d(454) d(643) a(645,664) a(452,582) d(643) a(645,664) r(396,394) d(423) a(561,453) a(467,515) d(397) r(391,393) d(646) d(498) a(520,655) 
	  1 d(644) d(470) r(628,671) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) r(411,416) r(461,449) r(568,561) 
	  1 a(486,400) a(604,470) a(452,582) d(643) a(499,473) a(650,568) d(403) 
	  1 d(644) d(470) r(628,671) a(604,470) a(452,582) d(643) a(499,473) a(650,568) r(434,416) 
	  1 a(486,400) d(660) r(628,671) r(390,395) r(649,614) d(485) d(500) r(393,390) d(658) r(500,499) r(383,380) r(396,394) r(377,378) d(522) a(413,428) r(424,442) r(435,422) r(411,416) r(461,449) r(671,648) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1218
"Test Suite Evaluations": 64.1053

Compile Failures: 15
Wall-Clock Seconds Elapsed: 5268.76
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             626 691.819 = 14.8905%
  test                               1206 3954.010 = 85.1047%
  TOTAL                                   4646.053 = 88.181% (avg CPU usage)
lighttpd-bug-2254-2259.tar.gz
Fri Sep 20 16:56:11 EDT 2013
shutting down
