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 true
--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 false
--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 461
--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 6
--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 true
--variants-exchanged 50
uname -a: Linux ip-172-31-44-173 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Thu Feb 13 15:50:19 EST 2014
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/tmp27a9a8.c /tmp/tmpcff151.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)
	p19: true (1)
	p20: true (1)
	p21: true (1)
	p22: true (1)
	p23: true (1)
	p24: true (1)
	p25: true (1)
	p26: true (1)
	p27: true (1)
	p28: true (1)
	p29: true (1)
	p30: true (1)
	p31: true (1)
	p32: true (1)
	p33: true (1)
	p34: true (1)
	p35: true (1)
	p36: true (1)
	p37: true (1)
	p38: true (1)
	p39: true (1)
	p40: true (1)
	p41: true (1)
	p42: true (1)
	p43: true (1)
	p44: true (1)
	p45: true (1)
	p46: true (1)
	p47: true (1)
	p48: true (1)
	p49: true (1)
	p50: true (1)
	p51: true (1)
	p52: true (1)
	p53: true (1)
	p54: true (1)
	p55: true (1)
	p56: true (1)
	p57: true (1)
	p58: true (1)
	p59: true (1)
	p60: true (1)
	p61: true (1)
	p62: true (1)
	p63: true (1)
	p64: true (1)
	p65: true (1)
	p66: true (1)
	p67: true (1)
	p68: true (1)
	p69: true (1)
	p70: true (1)
	p71: true (1)
	p72: true (1)
	p73: true (1)
	p74: true (1)
	p75: true (1)
	p76: true (1)
	p77: true (1)
	p78: true (1)
	p79: true (1)
	p80: true (1)
	p81: true (1)
	p82: true (1)
	p83: true (1)
	p84: true (1)
	p85: true (1)
	p86: true (1)
	p87: true (1)
	p88: true (1)
	p89: true (1)
	p90: true (1)
	p91: true (1)
	p92: true (1)
	p93: true (1)
	p94: true (1)
	p95: true (1)
	p96: true (1)
	p97: true (1)
	p98: true (1)
	p99: true (1)
	p100: true (1)
	p101: true (1)
	p102: true (1)
	p103: true (1)
	p104: true (1)
	p105: true (1)
	p106: true (1)
	p107: true (1)
	p108: true (1)
	p109: true (1)
	p110: true (1)
	p111: true (1)
	p112: true (1)
	p113: true (1)
	p114: true (1)
	p115: true (1)
	p116: true (1)
	p117: true (1)
	p118: true (1)
	p119: true (1)
	p120: true (1)
	p121: true (1)
	p122: true (1)
	p123: true (1)
	p124: true (1)
	p125: true (1)
	p126: true (1)
	p127: true (1)
	p128: true (1)
	p129: true (1)
	p130: true (1)
	p131: true (1)
	p132: true (1)
	p133: true (1)
	p134: true (1)
	p135: true (1)
	p136: true (1)
	p137: true (1)
	p138: true (1)
	p139: true (1)
	p140: true (1)
	p141: true (1)
	p142: true (1)
	p143: true (1)
	p144: true (1)
	p145: true (1)
	p146: true (1)
	p147: true (1)
	p148: true (1)
	p149: true (1)
	p150: true (1)
	p151: true (1)
	p152: true (1)
	p153: true (1)
	p154: true (1)
	p155: true (1)
	p156: true (1)
	p157: true (1)
	p158: true (1)
	p159: true (1)
	p160: true (1)
	p161: true (1)
	p162: true (1)
	p163: true (1)
	p164: true (1)
	p165: true (1)
	p166: true (1)
	p167: true (1)
	p168: true (1)
	p169: true (1)
	p170: true (1)
	p171: true (1)
	p172: true (1)
	p173: true (1)
	p174: true (1)
	p175: true (1)
	p176: true (1)
	p177: true (1)
	p178: true (1)
	p179: true (1)
	p180: true (1)
	p181: true (1)
	p182: true (1)
	p183: true (1)
	p184: true (1)
	p185: true (1)
	p186: true (1)
	p187: true (1)
	p188: true (1)
	p189: true (1)
	p190: true (1)
	p191: true (1)
	p192: true (1)
	p193: true (1)
	p194: true (1)
	p195: true (1)
	p196: true (1)
	p197: true (1)
	p198: true (1)
	p199: true (1)
	p200: true (1)
	p201: true (1)
	p202: true (1)
	p203: true (1)
	p204: true (1)
	p205: true (1)
	p206: true (1)
	p207: true (1)
	p208: true (1)
	p209: true (1)
	p210: true (1)
	p211: true (1)
	p212: true (1)
	p213: true (1)
	p214: true (1)
	p215: true (1)
	p216: true (1)
	p217: true (1)
	p218: true (1)
	p219: true (1)
	p220: true (1)
	p221: true (1)
	p222: true (1)
	p223: true (1)
	p224: true (1)
	p225: true (1)
	p226: true (1)
	p227: true (1)
	p228: true (1)
	p229: true (1)
	p230: true (1)
	p231: true (1)
	p232: true (1)
	p233: true (1)
	p234: true (1)
	p235: true (1)
	p236: true (1)
	p237: true (1)
	p238: true (1)
	p239: true (1)
	p240: true (1)
	p241: true (1)
	p242: true (1)
	p243: true (1)
	p244: true (1)
	p245: true (1)
	p246: true (1)
	p247: true (1)
	p248: true (1)
	p249: true (1)
	p250: true (1)
	p251: true (1)
	p252: true (1)
	p253: true (1)
	p254: true (1)
	p255: true (1)
	p256: true (1)
	p257: true (1)
	p258: true (1)
	p259: true (1)
	p260: true (1)
	p261: true (1)
	p262: true (1)
	p263: true (1)
	p264: true (1)
	p265: true (1)
	p266: true (1)
	p267: true (1)
	p268: true (1)
	p269: true (1)
	p270: true (1)
	p271: true (1)
	p272: true (1)
	p273: true (1)
	p274: true (1)
	p275: true (1)
	p276: true (1)
	p277: true (1)
	p278: true (1)
	p279: true (1)
	p280: true (1)
	p281: true (1)
	p282: true (1)
	p283: true (1)
	p284: true (1)
	p285: true (1)
	p286: true (1)
	p287: true (1)
	p288: true (1)
	p289: true (1)
	p290: true (1)
	p291: true (1)
	p292: true (1)
	p293: true (1)
	p294: true (1)
	p295: true (1)
	p296: true (1)
	p297: true (1)
	p298: true (1)
	p299: true (1)
	p300: true (1)
	p301: true (1)
	p302: true (1)
	p303: true (1)
	p304: true (1)
	p305: true (1)
	p306: true (1)
	p307: true (1)
	p308: true (1)
	p309: true (1)
	p310: true (1)
	p311: true (1)
	p312: true (1)
	p313: true (1)
	p314: true (1)
	p315: true (1)
	p316: true (1)
	p317: true (1)
	p318: true (1)
	p319: true (1)
	p320: true (1)
	p321: true (1)
	p322: true (1)
	p323: true (1)
	p324: true (1)
	p325: true (1)
	p326: true (1)
	p327: true (1)
	p328: true (1)
	p329: true (1)
	p330: true (1)
	p331: true (1)
	p332: true (1)
	p333: true (1)
	p334: true (1)
	p335: true (1)
	p336: true (1)
	p337: true (1)
	p338: true (1)
	p339: true (1)
	p340: true (1)
	p341: true (1)
	p342: true (1)
	p343: true (1)
	p344: true (1)
	p345: true (1)
	p346: true (1)
	p347: true (1)
	p348: true (1)
	p349: true (1)
	p350: true (1)
	p351: true (1)
	p352: true (1)
	p353: true (1)
	p354: true (1)
	p355: true (1)
	p356: true (1)
	p357: true (1)
	p358: true (1)
	p359: true (1)
	p360: true (1)
	p361: true (1)
	p362: true (1)
	p363: true (1)
	p364: true (1)
	p365: true (1)
	p366: true (1)
	p367: true (1)
	p368: true (1)
	p369: true (1)
	p370: true (1)
	p371: true (1)
	p372: true (1)
	p373: true (1)
	p374: true (1)
	p375: true (1)
	p376: true (1)
	p377: true (1)
	p378: true (1)
	p379: true (1)
	p380: true (1)
	p381: true (1)
	p382: true (1)
	p383: true (1)
	p384: true (1)
	p385: true (1)
	p386: true (1)
	p387: true (1)
	p388: true (1)
	p389: true (1)
	p390: true (1)
	p391: true (1)
	p392: true (1)
	p393: true (1)
	p394: true (1)
	p395: true (1)
	p396: true (1)
	p397: true (1)
	p398: true (1)
	p399: true (1)
	p400: true (1)
	p401: true (1)
	p402: true (1)
	p403: true (1)
	p404: true (1)
	p405: true (1)
	p406: true (1)
	p407: true (1)
	p408: true (1)
	p409: true (1)
	p410: true (1)
	p411: true (1)
	p412: true (1)
	p413: true (1)
	p414: true (1)
	p415: true (1)
	p416: true (1)
	p417: true (1)
	p418: true (1)
	p419: true (1)
	p420: true (1)
	p421: true (1)
	p422: true (1)
	p423: true (1)
	p424: true (1)
	p425: true (1)
	p426: true (1)
	p427: true (1)
	p428: true (1)
	p429: true (1)
	p430: true (1)
	p431: true (1)
	p432: true (1)
	p433: true (1)
	p434: true (1)
	p435: true (1)
	p436: true (1)
	p437: true (1)
	p438: true (1)
	p439: true (1)
	p440: true (1)
	p441: true (1)
	p442: true (1)
	p443: true (1)
	p444: true (1)
	p445: true (1)
	p446: true (1)
	p447: true (1)
	p448: true (1)
	p449: true (1)
	p450: true (1)
	p451: true (1)
	p452: true (1)
	p453: true (1)
	p454: true (1)
	p455: true (1)
	p456: true (1)
	p457: true (1)
	p458: true (1)
	p459: true (1)
	p460: true (1)
	p461: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 495.29)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1784
cilRep: stmts in weighted_path = 25
cilRep: total weight = 16.25
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: drd/drd_clientreq.c (code bank/base file; atoms [1,434])
cilRep: drd/drd_pthread_intercepts.c (code bank/base file; atoms [435,1784])
cilRep: 2 file(s) total in representation
search: genetic algorithm begins (|original| = 0.330846 MB)
search: initial population (sizeof one variant = 0.00660992 MB)
	 36 r(433,383) 
	 46 d(167) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000002/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000002/drd/drd_clientreq.c  r(165,270)  fails to compile
	  0 r(165,270) 
	 46 a(434,169) 
	 46 d(322) 
	 33 a(167,270) 
	 46 d(433) 
	 46 r(432,258) 
	 46 a(165,198) 
	 41 d(333) 
	 35 d(165) 
	 37 a(430,205) 
	 38 r(434,207) 
	 35 r(434,218) 
	 43 a(169,347) 
	 33 r(428,430) 
	 46 a(426,433) 
	 42 r(432,347) 
	 46 a(433,248) 
	 39 r(167,166) 
	 38 d(240) 
	 36 r(428,216) 
	 46 a(240,433) 
	 44 r(349,203) 
	 33 r(429,179) 
	 37 r(240,355) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000026/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000026/drd/drd_clientreq.c  r(166,238)  fails to compile
	  0 r(166,238) 
	 40 r(238,427) 
	 41 d(333) 
	 46 a(431,389) 
	 35 d(238) 
	 38 r(428,236) 
	 44 d(225) 
	 46 r(322,167) 
	 39 d(165) 
	 36 a(345,385) 
	 46 d(169) 
	 38 r(429,298) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000038/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000038/drd/drd_clientreq.c  r(166,387)  fails to compile
	  0 r(166,387) 
	 46 original
search: generation 1 (sizeof one variant = 0.330975 MB)
	 39 d(433) d(428) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000040/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000040/drd/drd_clientreq.c  a(434,169) r(166,266)  fails to compile
	  0 a(434,169) r(166,266) 
	 33 d(433) a(432,246) 
	 46 a(434,169) a(329,314) 
	 38 a(433,248) r(334,363) 
	 34 d(165) d(427) 
	 38 a(433,248) d(427) 
	 41 d(165) a(322,231) 
	 35 r(345,417) 
	 38 d(169) d(431) 
	 46 d(426) 
	 46 d(169) d(432) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000051/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000051/drd/drd_clientreq.c  a(433,248) r(166,389)  fails to compile
	  0 a(433,248) r(166,389) 
	 37 a(430,205) d(427) 
	 39 a(433,248) d(428) 
	 39 a(430,205) d(345) 
	 38 a(165,198) r(345,333) 
	 46 a(426,433) a(428,219) 
	 46 a(165,198) d(169) 
	 46 a(426,433) a(434,257) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000059/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000059/drd/drd_clientreq.c  d(433) r(166,225)  fails to compile
	  0 d(433) r(166,225) 
	 36 d(169) a(429,423) 
	 41 a(434,169) r(428,213) 
	 37 d(333) r(428,433) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000063/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000063/drd/drd_clientreq.c  d(322) r(165,378)  fails to compile
	  0 d(322) r(165,378) 
	 44 r(432,347) d(349) 
	 40 d(322) d(218) 
	 40 r(432,347) a(426,423) 
	 46 d(322) r(334,258) 
	 39 d(167) d(427) 
	 35 d(322) r(169,236) 
	 46 d(167) d(433) 
	 46 d(167) 
	 41 a(431,389) r(349,198) 
	 38 r(428,430) d(433) 
	 37 d(333) a(426,363) 
	 38 r(428,430) d(434) 
	 38 d(333) a(426,246) 
	 36 d(169) d(429) 
	 46 r(432,258) a(333,355) 
	 40 d(165) r(169,375) 
	 46 a(433,248) r(169,185) 
	 39 a(431,389) d(427) 
	 32 d(169) r(427,212) 
	 38 r(238,427) a(169,421) 
	 40 a(434,169) d(238) 
	 34 a(431,389) a(218,246) 
	 35 d(240) d(218) 
	 36 a(431,389) d(345) 
	 37 d(240) a(345,266) 
	 35 r(238,427) d(166) 
	 41 a(169,347) d(167) 
	 39 d(218) 
	 36 d(433) d(345) 
	 44 r(238,427) d(240) 
	 34 r(429,298) a(166,237) 
	 41 r(238,427) d(347) 
	 41 r(429,298) d(430) 
	 40 a(431,389) d(333) 
	 36 d(169) a(329,180) 
search: generation 2 (sizeof one variant = 0.330972 MB)
	 39 a(430,205) d(427) r(347,211) 
	 38 a(169,347) d(167) a(169,387) 
	 33 a(433,248) d(428) a(334,336) 
	 37 r(238,427) a(169,421) d(428) 
	 41 a(433,248) d(428) r(429,192) 
	 37 r(238,427) a(169,421) d(429) 
	 39 a(434,169) r(428,213) d(167) 
	 39 d(333) a(426,246) a(433,276) 
	 38 a(434,169) r(428,213) d(429) 
	 37 d(333) a(426,246) d(334) 
	 35 a(430,205) d(345) a(236,380) 
	 38 d(165) a(322,231) d(347) 
	 45 a(426,433) a(428,219) r(329,433) 
	 44 r(432,258) a(333,355) d(334) 
	 46 a(426,433) a(428,219) d(426) 
	 46 r(432,258) a(333,355) a(426,431) 
	 38 a(431,389) d(333) a(345,218) 
	 46 a(169,347) d(167) d(169) 
	 41 a(434,169) r(329,234) 
	 46 d(426) a(329,314) r(169,200) 
	 37 a(434,169) a(329,314) d(218) 
	 46 d(426) a(345,219) 
	 37 a(433,248) a(428,219) d(428) 
	 36 a(426,433) r(334,363) d(345) 
	 41 a(433,248) r(334,363) d(426) 
	 38 a(426,433) a(428,219) a(426,365) 
	 36 a(431,389) r(347,218) 
	 39 d(433) d(428) d(427) d(432) 
	 37 a(431,389) d(427) d(167) 
	 41 d(433) d(428) d(431) 
	 45 d(167) a(165,198) 
	 42 d(167) d(433) d(433) d(240) 
	 46 d(167) d(433) r(433,430) 
	 46 d(167) d(433) a(169,250) 
	 37 a(431,389) a(218,246) a(236,193) 
	 42 d(169) d(431) d(218) 
	 39 d(433) d(428) r(428,359) 
	 39 d(165) r(169,375) r(345,225) 
	 46 d(426) d(329) 
	 46 a(165,198) d(169) d(434) 
	 40 d(426) r(322,423) 
	 46 a(165,198) d(169) r(433,167) 
	 46 a(426,433) a(428,219) d(167) d(434) 
	 43 a(169,347) d(240) 
	 46 a(426,433) a(428,219) d(426) 
	 44 a(169,347) d(167) d(238) 
	 41 a(433,248) r(218,431) 
	 36 a(434,169) a(329,314) r(334,363) d(169) 
	 40 a(433,248) r(334,363) a(169,420) 
	 46 a(434,169) a(329,314) r(167,165) 
	 35 a(431,389) a(218,246) d(166) 
	 40 d(322) r(334,258) d(431) 
	 38 a(431,389) a(218,246) d(427) 
	 41 d(322) r(334,258) d(349) 
	 37 a(426,433) a(428,219) r(238,191) 
	 34 a(433,248) r(334,363) d(428) 
	 35 r(238,427) d(347) r(431,256) 
	 37 r(238,427) d(166) r(334,236) 
	 38 d(169) d(431) d(428) 
	 39 r(428,430) d(433) r(345,343) 
	 36 d(433) d(428) r(428,264) 
	 36 a(165,198) r(345,333) r(225,213) 
search: generation 3 (sizeof one variant = 0.330946 MB)
	 39 d(165) a(322,231) d(347) d(349) 
	 41 a(169,347) d(240) a(240,385) 
	 35 d(167) d(433) r(433,430) a(347,385) 
	 37 a(434,169) r(428,213) d(167) r(169,349) 
	 39 d(433) d(428) r(428,359) r(345,355) 
	 43 a(165,198) d(169) d(434) a(334,322) 
	 37 r(432,258) d(329) d(428) 
	 39 d(426) a(333,355) d(334) r(428,371) 
	 33 r(432,258) a(333,355) d(334) r(347,315) 
	 42 d(426) d(329) a(225,270) 
	 46 a(426,433) a(428,219) r(329,433) a(166,169) 
	 35 a(426,433) a(428,219) r(329,433) r(334,274) 
	 37 a(426,433) a(428,219) r(329,433) a(347,383) 
	 41 a(426,433) a(428,219) r(329,433) r(322,329) 
	 38 d(167) d(433) a(169,250) a(347,375) 
	 37 a(431,389) a(218,246) d(427) a(165,239) 
	 34 d(433) d(428) a(333,211) 
	 38 a(169,347) d(167) a(169,387) d(431) d(322) 
	 38 d(433) d(428) d(431) d(430) 
	 38 a(169,347) d(167) a(169,387) r(430,237) 
	 38 a(165,198) r(218,244) 
	 42 d(322) r(334,258) d(349) d(169) d(434) r(432,213) 
	 46 a(165,198) d(169) d(434) r(434,211) 
	 40 d(322) r(334,258) d(349) a(240,359) 
	 36 a(431,389) a(218,246) a(236,193) d(236) 
	 44 d(167) d(433) a(169,250) d(225) 
	 46 d(426) d(329) d(430) 
	 37 d(165) r(169,375) r(345,225) d(329) 
	 37 r(238,427) d(166) r(334,236) r(240,199) 
	 36 d(322) r(334,258) d(431) d(166) 
	 38 a(434,169) r(329,234) d(165) 
	 37 a(434,169) r(428,213) d(429) a(167,264) 
	 37 a(434,169) r(428,213) d(429) d(431) 
	 43 a(434,169) r(329,234) d(433) 
	 34 a(165,198) d(169) a(345,276) 
	 36 a(431,389) d(333) a(345,218) r(433,167) d(218) 
	 46 a(165,198) d(169) r(433,167) r(329,203) 
	 38 a(431,389) d(333) a(345,218) d(433) 
	 37 d(426) r(322,423) r(240,380) 
	 40 d(426) d(329) r(329,337) 
	 35 a(433,248) r(334,363) a(169,420) d(428) 
	 46 d(167) d(433) a(169,250) a(322,248) 
	 32 d(433) d(428) r(428,359) r(218,405) 
	 34 a(434,169) r(329,234) a(345,252) 
	 35 d(426) r(322,423) d(430) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000206/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000206/drd/drd_clientreq.c  a(165,198) d(169) r(433,167) r(166,256)  fails to compile
	  0 a(165,198) d(169) r(433,167) r(166,256) 
	 41 a(165,198) d(169) d(434) a(167,347) 
	 35 d(426) a(329,314) r(169,200) r(345,180) 
	 38 a(169,347) d(347) 
	 33 a(169,347) d(167) a(169,387) d(167) a(169,387) r(433,288) 
	 37 a(169,347) d(167) a(169,387) d(428) 
	 33 a(169,347) d(167) a(169,387) r(430,278) 
	 40 r(432,258) a(333,355) a(426,431) d(169) r(333,294) 
	 37 a(169,347) d(167) d(240) 
	 43 r(432,258) a(333,355) a(426,431) d(349) 
	 46 a(169,347) d(167) d(169) a(427,294) 
search: generation 4 (sizeof one variant = 0.330807 MB)
	 37 a(433,248) r(334,363) a(169,420) d(428) r(322,423) r(240,380) d(169) 
	 39 d(426) d(333) 
	 37 a(433,248) r(334,363) a(169,420) d(428) d(429) 
	 40 d(426) r(322,423) r(240,380) r(238,315) 
	 36 a(434,169) r(428,213) d(429) a(167,264) r(426,266) 
	 46 d(426) d(329) d(430) a(427,256) 
	 38 d(433) d(428) d(432) 
	 37 r(432,258) d(329) d(428) r(428,359) r(345,355) r(322,179) 
	 32 d(433) d(428) r(428,359) r(345,355) d(329) 
	 38 r(432,258) d(329) d(428) r(334,428) 
	 33 d(165) a(322,231) d(347) a(333,355) a(426,431) d(349) d(166) 
	 37 r(432,258) d(349) a(427,359) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000229/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000229/drd/drd_clientreq.c  d(165) a(322,231) d(347) d(349) r(165,180)  fails to compile
	  0 d(165) a(322,231) d(347) d(349) r(165,180) 
	 42 r(432,258) a(333,355) a(426,431) d(349) d(432) 
	 38 a(434,169) r(428,213) d(167) r(169,349) a(333,355) a(426,431) d(349) d(166) 
	 39 r(432,258) d(333) 
	 32 a(434,169) r(428,213) d(167) r(169,349) r(333,315) 
	 36 r(432,258) a(333,355) a(426,431) d(349) d(218) 
	 40 a(431,389) d(333) a(345,218) d(433) d(426) 
	 31 a(165,198) d(169) a(345,276) d(428) 
	 39 d(426) a(333,355) d(334) r(428,371) d(430) 
	 46 a(169,347) d(167) d(169) a(427,294) a(329,193) 
	 39 a(165,198) d(169) r(433,167) r(329,203) d(238) 
	 38 a(169,347) d(347) d(166) 
	 33 d(322) r(334,258) d(349) d(169) d(434) r(432,213) d(334) r(428,371) d(427) 
	 42 d(426) a(333,355) r(349,389) 
	 38 d(322) r(334,258) d(349) d(169) d(434) r(432,213) r(427,420) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000244/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000244/drd/drd_clientreq.c  d(426) a(333,355) d(334) r(428,371) r(166,418)  fails to compile
	  0 d(426) a(333,355) d(334) r(428,371) r(166,418) 
	 42 d(167) d(433) a(169,250) d(225) r(167,193) 
	 46 d(167) d(433) a(169,250) a(322,248) a(238,169) 
	 45 d(426) d(329) d(169) 
	 40 d(426) d(329) d(430) r(329,337) d(218) 
	 37 d(426) d(329) r(329,337) d(433) 
	 46 d(426) d(329) d(430) d(169) 
	 46 d(426) d(329) d(430) d(434) 
	 39 d(426) r(322,423) d(430) r(333,417) 
	 44 r(432,258) a(333,355) a(426,431) d(349) d(169) 
	 43 a(434,169) r(329,234) d(165) d(240) 
	 36 a(165,198) d(169) d(434) a(334,322) r(434,415) 
	 40 a(434,169) r(329,234) d(433) a(347,255) 
	 34 a(169,347) d(167) d(169) a(427,294) a(347,418) 
	 32 a(165,198) d(169) a(345,276) a(434,378) 
	 33 d(167) d(433) a(169,250) a(347,375) a(334,368) 
	 36 d(322) r(334,258) d(431) d(166) r(426,169) 
	 46 a(165,198) d(169) d(434) r(434,211) d(433) 
	 37 d(426) r(322,423) r(240,380) d(432) 
	 38 a(169,347) d(167) a(169,387) d(349) a(430,290) 
	 40 d(165) a(322,231) d(347) d(428) d(349) 
	 40 a(169,347) d(167) a(169,387) d(428) d(236) 
	 37 d(165) a(322,231) d(347) d(349) d(166) 
	 40 d(426) r(322,423) r(240,380) r(333,423) 
	 38 a(434,169) r(329,234) d(165) d(165) 
	 41 d(426) d(329) d(430) d(428) a(345,334) 
	 40 a(433,248) r(334,363) a(169,420) a(434,359) 
	 38 d(426) d(329) d(430) d(238) 
	 36 a(433,248) r(334,363) a(169,420) d(428) a(238,186) 
search: generation 5 (sizeof one variant = 0.331033 MB)
	 34 a(434,169) r(329,234) d(433) a(347,255) d(428) 
	 33 r(432,258) a(333,355) a(426,431) d(349) d(218) r(349,322) 
	 31 d(426) r(322,423) r(240,380) r(238,315) d(432) 
	 32 r(432,258) a(333,355) a(426,431) d(349) d(218) r(236,363) 
	 36 d(433) d(428) r(167,418) 
	 37 d(426) d(329) d(430) a(427,256) d(432) r(218,296) 
	 36 d(433) d(428) d(432) d(169) 
	 38 d(426) d(329) d(430) a(427,256) d(428) 
	 46 d(426) d(329) a(349,173) 
	 32 d(433) d(428) d(432) d(430) d(434) d(329) 
	 46 d(426) d(329) d(430) d(434) d(430) 
	 38 d(433) d(428) d(432) a(236,270) 
	 37 d(426) r(322,423) r(240,380) r(238,315) r(240,380) r(333,423) a(334,186) 
	 38 d(426) r(322,423) r(432,216) 
	 35 d(426) r(322,423) r(240,380) r(238,315) d(322) 
	 41 d(426) r(322,423) r(240,380) r(333,423) d(426) 
	 36 a(434,169) r(329,234) d(165) d(165) r(236,343) 
	 39 d(426) r(322,423) r(240,380) r(333,423) r(433,241) 
	 46 a(434,169) r(329,234) d(433) a(347,255) d(329) 
	 35 d(426) a(333,355) r(349,389) r(345,368) 
	 45 d(426) d(329) d(430) a(427,256) r(329,378) 
	 39 d(426) d(329) d(430) r(329,337) d(218) d(169) 
	 33 d(426) d(329) d(430) r(329,337) d(218) a(236,411) 
	 39 d(426) d(329) d(430) a(427,256) r(434,365) 
	 37 d(426) d(329) d(430) r(329,337) d(218) d(349) 
	 44 d(426) d(329) d(430) d(169) d(225) 
	 36 a(165,198) r(238,315) d(349) 
	 35 d(426) r(322,423) r(240,380) d(169) d(434) r(434,211) d(433) d(426) 
	 35 a(165,198) d(169) d(434) r(434,211) d(433) r(429,173) 
	 40 d(426) r(322,423) r(240,380) r(238,315) a(333,422) 
	 37 a(433,248) r(334,363) a(169,420) d(428) d(429) r(428,430) 
	 31 a(169,347) d(167) a(169,387) d(428) d(236) d(432) 
	 43 d(165) a(322,231) d(347) d(428) d(349) d(426) 
	 40 d(426) d(329) d(430) d(434) r(322,423) 
	 37 a(431,389) d(333) a(431,234) 
	 37 r(432,258) a(333,355) a(426,431) d(349) d(169) a(345,218) d(433) d(426) d(225) 
	 38 a(431,389) d(333) a(345,218) d(433) d(426) d(165) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000310/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000310/drd/drd_clientreq.c  r(432,258) a(333,355) a(426,431) d(349) d(169) r(165,276)  fails to compile
	  0 r(432,258) a(333,355) a(426,431) d(349) d(169) r(165,276) 
	 42 a(169,347) d(167) a(169,387) d(349) a(430,290) a(428,434) 
	 46 d(426) d(329) d(430) d(434) d(426) 
	 34 a(433,248) r(334,363) a(169,420) d(428) r(322,423) r(240,380) d(169) d(166) 
	 46 d(167) d(433) a(169,250) a(322,248) a(238,169) d(434) 
	 38 d(426) d(329) d(430) d(428) a(345,334) a(225,185) 
	 41 d(167) d(433) a(169,250) d(225) r(167,193) r(225,257) 
	 40 d(165) a(322,231) d(347) d(428) r(329,203) d(238) r(334,218) 
	 38 a(165,198) d(169) r(433,167) d(349) a(322,234) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000319/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000319/drd/drd_clientreq.c  d(165) a(322,231) d(347) d(428) d(349) r(165,417)  fails to compile
	  0 d(165) a(322,231) d(347) d(428) d(349) r(165,417) 
	 34 a(165,198) d(169) r(433,167) r(329,203) d(238) a(349,427) 
	 39 a(434,169) r(329,234) d(433) d(430) d(238) d(167) 
	 36 d(426) d(329) a(347,255) r(430,246) 
	 38 a(434,169) r(329,234) d(433) a(347,255) d(427) 
	 40 d(426) d(329) d(430) d(238) d(166) 
	 39 d(426) d(329) d(430) d(169) r(428,339) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000326/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000326/drd/drd_clientreq.c  r(432,258) d(329) d(428) r(428,359) r(345,355) r(322,179) r(165,416)  fails to compile
	  0 r(432,258) d(329) d(428) r(428,359) r(345,355) r(322,179) r(165,416) 
	 35 a(169,347) d(347) d(166) r(167,251) 
	 35 d(165) a(322,231) d(347) d(428) d(349) r(218,337) 
search: generation 6 (sizeof one variant = 0.331031 MB)
	 36 d(165) a(322,231) d(347) d(428) d(349) d(426) d(428) 
	 37 d(165) a(322,231) d(347) d(428) d(349) r(218,337) d(165) 
	 41 d(165) a(322,231) d(347) d(428) d(349) r(218,337) d(169) 
	 38 d(165) a(322,231) d(347) d(428) d(349) d(426) d(169) 
	 40 d(167) d(433) a(169,250) d(225) r(167,193) r(225,257) d(169) 
	 46 d(426) d(329) a(349,173) d(432) 
	 40 a(431,389) d(333) d(430) d(434) r(322,423) d(426) 
	 39 d(426) d(329) a(345,218) d(433) d(426) d(165) d(169) 
	 41 a(431,389) d(333) a(345,218) d(433) d(426) d(165) d(238) 
	 33 d(426) d(329) d(430) d(434) r(322,423) d(432) 
	 41 d(426) d(329) d(430) d(434) r(322,423) a(426,205) 
	 42 d(426) r(322,423) r(432,216) a(430,237) 
	 37 d(433) d(428) d(432) a(236,270) r(218,246) 
	 33 a(434,169) r(329,234) d(433) a(347,255) d(329) r(434,380) 
	 41 d(426) r(322,423) r(240,380) r(238,315) r(240,380) r(333,423) a(334,186) d(428) 
	 34 d(426) r(322,423) r(240,380) r(333,423) d(426) a(429,380) 
	 37 d(426) d(329) d(430) d(169) r(428,339) a(333,315) 
	 46 d(426) d(329) d(430) d(434) d(426) d(169) 
	 30 d(167) d(433) a(169,250) d(225) r(167,193) r(225,257) d(345) 
	 41 d(426) d(329) d(430) a(427,256) r(329,378) a(236,252) 
	 37 d(167) d(433) a(169,250) d(225) r(167,193) r(225,257) d(165) 
	 46 d(426) d(329) d(430) a(427,256) r(329,378) r(432,200) 
	 38 a(165,198) d(433) a(169,250) d(225) r(167,193) r(225,257) d(347) 
	 36 d(167) d(169) r(433,167) d(349) a(322,234) a(431,262) 
	 39 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) 
	 43 d(167) d(433) a(169,250) d(225) r(167,193) r(225,257) a(236,389) 
	 46 a(434,169) d(434) d(430) a(322,290) 
	 45 d(426) d(329) d(430) r(329,234) d(433) a(347,255) d(329) r(349,241) 
	 38 a(434,169) r(329,234) d(433) a(347,255) d(329) a(169,339) 
	 36 d(426) d(329) d(430) d(434) d(430) d(345) 
	 40 d(426) d(329) d(430) r(329,337) d(218) d(434) d(426) 
	 33 d(167) d(433) a(169,250) a(322,248) a(238,169) d(169) d(431) 
	 38 d(426) d(329) d(430) r(329,337) d(218) d(169) r(218,257) 
	 36 d(167) d(433) a(169,250) a(322,248) a(238,169) d(434) r(349,334) 
	 46 d(426) d(329) a(349,173) r(329,432) 
	 39 a(165,198) r(238,315) d(349) r(428,407) 
	 35 d(165) a(322,231) d(347) d(428) d(349) d(426) d(329) 
	 34 d(433) d(428) r(167,418) d(329) 
	 40 a(165,198) d(169) r(433,167) r(329,203) d(238) a(349,427) a(166,241) 
	 45 d(426) d(329) d(430) d(169) d(225) r(167,200) 
	 36 d(167) d(433) a(169,250) a(322,248) a(238,169) d(434) r(218,361) 
	 42 d(426) d(329) d(430) r(329,337) d(218) d(349) a(165,216) 
	 40 d(165) a(322,231) d(347) d(428) r(329,203) d(238) r(334,218) r(240,380) r(333,423) d(426) r(347,206) 
	 39 d(426) r(322,423) d(434) 
	 33 d(165) a(322,231) d(347) d(428) r(329,203) d(238) r(334,218) d(225) 
	 37 d(426) r(322,423) r(240,380) r(333,423) d(426) r(218,294) 
	 32 d(426) r(322,423) r(240,380) r(333,423) d(426) a(169,246) 
	 40 a(434,169) r(329,234) d(433) a(347,255) d(427) a(225,248) 
	 39 d(165) a(322,231) d(347) d(428) r(329,203) d(329) d(430) d(169) d(225) d(431) 
	 37 d(426) d(238) r(334,218) d(428) 
	 41 d(165) a(322,231) d(347) d(428) r(329,203) d(238) r(334,218) r(434,225) 
	 41 d(426) d(329) d(430) d(169) d(225) d(240) 
	 38 a(434,169) r(329,234) d(433) a(347,255) d(428) r(434,173) 
	 40 d(426) a(333,355) r(349,389) r(345,368) d(431) 
	 36 a(431,389) d(333) a(345,218) d(430) a(427,256) r(329,378) d(334) 
	 36 d(426) d(329) d(433) d(426) d(165) d(428) 
	 34 a(431,389) d(333) a(345,218) d(433) d(426) d(165) d(165) 
	 45 d(426) d(329) d(430) a(427,256) r(329,378) a(322,203) 
search: generation 7 (sizeof one variant = 0.330801 MB)
	 34 d(426) d(329) d(430) r(329,337) d(218) d(434) d(426) r(236,422) 
	 37 d(165) a(322,231) d(347) d(428) d(349) r(218,337) d(169) r(345,262) 
	 44 d(426) d(329) d(430) a(427,256) r(329,378) r(432,200) a(426,405) 
	 36 a(165,198) d(169) r(433,167) r(329,203) d(238) a(349,427) a(166,241) d(322) 
	 38 d(426) r(322,423) r(240,380) r(238,315) r(240,380) r(333,423) a(334,186) d(428) a(238,298) 
	 38 d(426) d(329) a(349,173) d(432) r(345,268) 
	 36 d(426) r(322,423) r(240,380) r(238,315) r(240,380) r(333,423) a(334,186) d(428) r(431,237) 
	 46 d(426) d(329) a(349,173) d(432) a(427,258) 
	 32 d(426) d(329) d(430) r(329,234) d(433) a(347,255) d(329) r(349,241) d(347) d(428) r(329,203) d(329) d(430) d(169) d(225) d(431) d(322) 
	 32 d(165) a(322,231) d(169) 
	 42 d(426) d(329) d(430) r(329,234) d(433) a(347,255) d(329) r(349,241) a(430,298) 
	 40 d(165) a(322,231) d(347) d(428) r(329,203) d(329) d(430) d(169) d(225) d(431) d(225) 
	 45 d(426) d(329) d(430) a(427,256) r(329,378) r(432,200) a(169,333) 
	 34 d(426) d(329) d(430) d(434) d(430) d(345) d(322) 
	 44 d(426) d(329) d(430) d(169) d(225) d(240) d(429) 
	 31 d(426) d(329) a(349,173) d(432) a(167,270) 
	 42 d(426) d(329) d(430) r(329,337) d(218) d(349) r(433,167) d(349) a(322,234) r(225,254) a(329,430) 
	 39 a(165,198) d(169) a(165,216) r(432,236) 
	 34 d(426) d(329) d(430) r(329,337) d(218) d(349) a(165,216) d(432) 
	 35 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000407/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000407/drd/drd_clientreq.c  d(167) r(165,336)  fails to compile
	  0 d(167) r(165,336) 
	 40 d(426) d(329) a(349,173) r(329,432) d(433) a(169,250) d(225) r(167,193) r(225,257) d(169) r(225,251) 
	 37 d(167) d(433) a(169,250) d(225) r(167,193) r(225,257) d(169) r(428,270) 
	 46 d(426) d(329) a(349,173) r(329,432) r(329,314) 
	 35 d(426) a(333,355) r(433,167) d(349) a(322,234) a(431,262) r(329,314) 
	 41 d(167) d(169) r(349,389) r(345,368) d(431) r(169,218) 
	 33 d(426) a(333,355) r(349,389) r(345,368) d(431) d(329) 
	 39 d(167) d(169) r(433,167) d(349) a(322,234) a(431,262) d(169) 
	 37 d(426) r(322,423) r(432,216) a(322,203) d(238) 
	 41 d(426) d(329) d(430) a(427,256) r(329,378) a(430,237) d(428) 
	 37 d(426) r(322,423) r(432,216) a(430,237) r(427,251) 
	 44 d(426) d(329) d(430) a(427,256) r(329,378) a(322,203) a(329,186) 
	 42 a(431,389) d(333) d(430) d(434) r(322,423) d(426) r(432,375) 
	 46 d(426) d(329) a(349,173) d(432) r(225,237) 
	 36 d(426) d(329) a(349,173) d(432) d(236) 
	 33 d(426) d(329) d(430) a(427,256) r(329,378) a(236,252) d(427) 
	 39 d(426) r(322,423) r(240,380) r(333,423) d(426) a(429,380) a(333,363) 
	 46 a(434,169) d(434) d(430) a(322,290) r(169,184) 
	 42 a(434,169) d(434) d(430) a(322,290) d(240) 
	 39 a(165,198) d(433) a(169,250) d(225) r(167,193) r(225,257) d(347) d(169) 
	 37 d(426) d(329) d(430) r(329,234) d(433) a(347,255) d(329) r(349,241) r(347,407) 
	 41 d(426) a(333,355) r(349,389) r(345,368) d(431) d(236) 
	 36 d(426) d(433) a(169,250) d(225) r(167,193) r(225,257) d(347) d(225) 
	 40 a(165,198) d(329) d(430) r(329,337) d(218) d(169) r(218,257) a(218,278) 
	 39 d(426) d(329) d(430) r(329,337) d(218) d(169) r(218,257) d(225) 
	 36 a(165,198) d(433) a(169,250) d(225) r(167,193) r(225,257) d(347) r(347,431) 
	 39 a(431,389) d(333) a(345,218) d(433) d(333) d(430) d(434) r(322,423) d(426) d(333) 
	 38 a(431,389) d(426) d(165) d(238) r(236,433) 
	 38 a(431,389) d(333) a(345,218) d(433) d(426) d(165) d(238) r(169,294) 
	 39 a(431,389) d(333) d(430) d(434) r(322,423) d(426) a(433,418) 
	 36 d(426) d(329) d(430) a(427,256) r(329,378) a(236,252) r(218,361) d(334) 
	 42 d(167) d(433) a(169,250) a(322,248) a(238,169) d(434) d(225) 
	 38 d(426) d(329) d(430) a(427,256) r(329,378) a(236,252) d(432) 
	 42 d(167) d(433) a(169,250) a(322,248) a(238,169) d(434) r(218,361) d(165) 
	 37 a(165,198) r(238,315) d(349) r(428,407) d(431) 
	 38 d(426) d(329) d(430) d(169) d(225) r(167,200) r(434,423) 
	 39 a(165,198) r(238,315) d(349) r(428,407) d(169) 
	 40 a(434,169) r(329,234) d(433) a(347,255) d(427) a(225,248) r(238,278) 
search: generation 8 (sizeof one variant = 0.331006 MB)
	 37 d(426) d(329) a(349,173) d(432) r(225,237) r(329,378) a(236,252) d(432) a(429,345) 
	 38 d(426) d(329) d(430) a(427,256) a(169,231) 
	 40 d(426) d(329) a(349,173) d(432) r(225,237) d(165) 
	 34 d(426) d(329) d(430) a(427,256) r(329,378) a(236,252) d(432) r(431,254) 
	 37 d(426) d(329) d(430) d(238) 
	 39 d(426) d(329) a(349,173) d(432) r(225,237) d(434) d(430) d(345) d(322) d(349) 
	 38 d(426) d(329) d(430) d(434) d(430) d(345) d(322) d(427) 
	 40 d(426) d(329) a(349,173) d(432) r(225,237) r(218,240) 
	 37 d(426) d(329) a(349,173) d(432) a(427,258) d(427) 
	 38 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) r(430,254) 
	 31 d(426) d(329) d(430) a(427,256) r(329,378) a(433,418) r(333,371) 
	 42 a(431,389) d(333) d(430) d(434) r(322,423) d(426) a(322,203) a(329,186) a(428,184) 
	 45 d(426) d(329) d(430) a(427,256) r(329,378) a(322,203) a(329,186) d(167) 
	 36 a(431,389) d(333) d(430) d(434) r(322,423) d(426) a(433,418) d(169) 
	 36 a(434,169) d(434) d(430) a(322,290) r(169,184) d(345) 
	 46 d(426) d(329) a(349,173) r(329,432) r(329,314) d(426) 
	 29 d(426) d(329) d(430) d(169) d(225) d(240) d(429) d(349) r(218,337) d(169) r(345,262) d(329) 
	 35 d(165) a(322,231) d(347) d(428) d(347) 
	 39 d(426) d(329) d(430) d(169) d(225) d(240) d(429) d(166) 
	 31 d(165) a(322,231) d(347) d(428) d(349) r(218,337) d(169) r(345,262) r(429,241) 
	 37 d(426) d(433) a(169,250) d(225) r(167,193) r(225,257) d(347) d(169) a(349,415) 
	 46 a(165,198) d(329) a(349,173) d(432) a(427,258) d(434) 
	 46 d(426) d(329) a(349,173) d(432) a(427,258) a(218,427) 
	 34 a(165,198) d(433) a(169,250) d(225) r(167,193) r(225,257) d(347) d(169) d(347) 
	 42 d(426) d(329) a(349,173) d(432) r(225,237) r(431,203) 
	 46 d(426) d(329) a(349,173) d(432) a(427,258) a(333,212) 
	 40 d(167) d(433) a(169,250) a(322,248) d(333) d(430) d(434) r(322,423) d(426) d(333) a(218,298) 
	 36 a(431,389) d(333) a(345,218) d(433) a(238,169) d(434) r(218,361) d(165) r(431,426) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000473/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000473/drd/drd_clientreq.c  d(167) d(433) a(169,250) a(322,248) a(238,169) d(434) r(218,361) d(165) r(165,254)  fails to compile
	  0 d(167) d(433) a(169,250) a(322,248) a(238,169) d(434) r(218,361) d(165) r(165,254) 
	 43 a(431,389) d(333) a(345,218) d(433) d(333) d(430) d(434) r(322,423) d(426) d(333) r(426,423) 
	 43 d(426) a(333,355) r(349,389) r(345,368) d(431) d(236) r(433,236) 
	 35 d(426) r(322,423) r(240,380) r(238,315) r(240,380) r(333,423) a(334,186) d(428) a(238,298) d(334) 
	 46 d(426) a(334,430) 
	 36 d(426) d(329) d(430) d(169) d(225) r(167,200) r(434,423) r(322,423) r(240,380) r(238,315) r(240,380) r(333,423) a(334,186) d(428) a(238,298) d(329) 
	 33 d(426) r(322,423) r(240,380) r(238,315) r(240,380) r(333,423) a(334,186) d(428) a(238,298) d(434) 
	 36 d(426) d(329) d(430) d(169) d(225) r(167,200) r(434,423) r(322,418) 
	 46 d(426) d(167) 
	 39 d(426) d(329) d(430) d(169) d(225) d(240) d(429) d(329) d(430) a(427,256) r(329,378) r(432,200) a(426,405) r(430,420) 
	 44 d(426) d(329) d(430) a(427,256) r(329,378) r(432,200) a(426,405) d(429) 
	 36 d(426) d(329) d(430) d(169) d(225) d(240) d(429) r(429,322) 
	 35 d(426) d(329) r(428,407) d(431) d(431) 
	 37 a(165,198) r(238,315) d(349) d(430) d(169) d(225) d(240) d(429) a(347,298) 
	 40 d(426) d(329) d(430) d(169) d(225) d(240) d(429) r(431,246) 
	 39 a(165,198) r(238,315) d(349) r(428,407) d(431) d(329) 
	 36 d(426) d(329) d(430) a(427,256) a(345,218) d(433) d(333) d(430) d(434) r(322,423) d(426) d(333) r(240,334) 
	 38 a(431,389) d(333) r(329,378) a(236,252) d(432) d(225) 
	 37 d(426) d(329) d(430) a(427,256) r(329,378) a(236,252) d(432) r(166,184) 
	 37 a(431,389) d(333) a(345,218) d(433) d(333) d(430) d(434) r(322,423) d(426) d(333) r(429,200) 
	 42 a(434,169) d(434) d(430) d(169) a(165,216) r(432,236) d(429) 
	 46 a(165,198) a(322,290) r(169,184) d(329) 
	 38 a(434,169) d(434) d(430) a(322,290) r(169,184) r(345,186) 
	 36 a(165,198) d(169) a(165,216) r(432,236) r(236,248) 
	 46 d(426) d(329) a(349,173) d(432) a(427,258) a(322,191) 
	 33 d(167) d(169) r(349,389) r(345,368) d(431) r(169,218) d(240) 
	 40 d(426) d(329) d(430) r(329,337) d(218) d(169) r(218,257) d(225) r(428,268) 
	 38 a(431,389) d(333) a(345,218) d(433) d(333) d(430) d(434) r(322,423) d(426) d(333) d(322) 
	 35 d(167) d(433) a(169,250) a(322,248) a(238,169) d(434) r(218,361) d(329) d(430) a(427,256) r(329,378) r(432,200) a(169,333) r(167,345) 
	 38 d(426) d(165) r(349,213) 
	 38 d(167) d(433) a(169,250) a(322,248) a(238,169) d(434) r(218,361) d(165) r(428,268) 
	 46 d(426) d(329) d(430) a(427,256) r(329,378) r(432,200) a(169,333) a(169,205) 
	 37 a(434,169) d(434) d(430) a(322,290) d(240) r(240,407) 
	 38 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) r(333,349) 
	 36 d(426) d(329) d(430) a(427,256) r(329,378) a(322,203) a(329,186) r(426,329) 
	 40 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) d(167) 
search: generation 9 (sizeof one variant = 0.331095 MB)
	 40 d(426) a(349,173) d(432) r(225,237) d(434) d(430) d(345) d(322) d(349) d(225) 
	 37 d(426) d(329) a(333,355) r(349,389) r(345,368) d(431) d(236) r(433,236) d(432) 
	 35 d(426) a(333,355) r(349,389) r(345,368) d(431) d(236) r(433,236) r(432,270) 
	 37 d(426) d(329) a(349,173) d(432) r(225,237) d(434) d(430) d(345) d(322) d(349) r(434,418) 
	 37 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(349,173) d(432) a(427,258) d(434) r(432,246) 
	 46 a(165,198) d(329) a(238,237) d(167) a(322,434) 
	 38 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) d(167) d(167) 
	 46 a(165,198) d(329) a(349,173) d(432) a(427,258) d(434) a(165,191) 
	 45 a(434,169) d(434) d(430) a(322,290) d(240) r(240,407) r(345,200) 
	 40 a(165,198) r(238,315) d(349) d(430) d(169) d(225) d(240) d(429) a(347,298) d(240) 
	 30 d(426) d(329) d(430) d(169) d(225) d(240) d(429) d(329) d(430) a(427,256) r(329,378) r(432,200) a(426,405) r(430,420) r(426,407) 
	 36 d(426) d(329) d(430) d(434) d(430) d(345) d(322) d(427) d(432) 
	 38 a(431,389) d(333) a(345,218) d(433) a(238,169) d(434) r(218,361) d(165) r(431,426) d(333) 
	 40 d(426) d(329) d(430) d(169) d(225) d(240) d(429) d(329) d(430) a(427,256) r(329,378) r(432,200) a(426,405) r(430,420) a(431,169) 
	 39 d(426) d(329) a(349,173) r(329,378) r(432,200) a(169,333) a(169,205) a(236,363) 
	 39 d(426) d(329) d(430) a(427,256) d(432) r(225,237) d(434) d(430) d(345) d(322) d(349) r(218,288) 
	 36 d(426) d(329) a(349,173) d(432) r(225,237) d(434) d(430) d(345) d(322) d(349) d(333) 
	 45 d(426) d(329) d(430) a(427,256) r(329,378) r(432,200) a(169,333) a(169,205) r(225,171) 
	 40 a(431,389) d(333) d(430) d(434) r(322,423) d(426) a(322,203) d(165) 
	 37 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) r(333,349) a(329,186) a(428,184) d(238) 
	 32 a(431,389) d(333) d(430) d(434) r(322,423) d(426) a(322,203) a(329,186) a(428,184) a(430,268) 
	 40 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) r(333,349) a(427,333) 
	 42 d(426) d(329) d(430) d(169) d(225) d(240) r(329,378) r(432,200) a(426,405) d(429) d(238) 
	 46 d(426) d(329) d(430) a(427,256) d(429) d(166) r(430,199) 
	 37 d(426) d(329) d(430) d(169) d(225) d(240) d(429) d(166) r(349,365) 
	 42 d(426) d(329) d(430) a(427,256) r(329,378) r(432,200) a(426,405) d(429) d(432) 
	 42 d(426) d(329) a(349,173) r(329,432) r(329,314) d(426) r(240,409) 
	 32 a(434,169) d(434) d(430) a(322,290) r(169,184) r(345,186) a(169,347) 
	 36 d(426) d(329) d(430) d(169) d(225) r(167,200) r(434,423) r(322,423) r(240,380) r(238,315) r(240,380) r(333,423) a(334,186) d(428) a(238,298) d(329) a(225,166) 
	 38 d(426) d(329) a(349,173) d(432) a(427,258) a(333,212) r(427,361) 
	 34 a(165,198) d(329) a(349,173) d(432) a(427,258) a(169,250) a(322,248) a(238,169) d(434) r(218,361) d(329) d(430) a(427,256) r(329,378) r(432,200) a(169,333) r(167,345) r(225,216) 
	 38 d(167) d(433) d(434) r(238,417) 
	 45 a(165,198) d(329) a(349,173) d(432) a(427,258) d(434) d(166) 
	 36 d(167) d(433) a(169,250) a(322,248) a(238,169) d(434) r(218,361) d(329) d(430) a(427,256) r(329,378) r(432,200) a(169,333) r(167,345) a(169,211) 
	 32 d(426) d(165) r(349,213) d(432) r(225,237) r(329,378) a(236,252) d(432) a(429,345) d(434) 
	 44 d(426) d(329) a(349,173) r(434,258) 
	 35 d(426) d(165) r(349,213) d(167) 
	 36 d(426) d(329) a(349,173) d(432) r(225,237) r(329,378) a(236,252) d(432) a(429,345) d(347) 
	 37 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) d(167) d(240) 
	 40 d(426) d(329) d(430) d(169) d(225) d(240) d(429) d(166) a(434,232) 
	 46 d(426) d(167) d(433) 
	 40 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) d(167) a(329,422) 
	 37 d(426) d(167) r(428,333) 
	 37 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) d(167) r(429,343) 
	 37 a(431,389) a(349,173) d(432) r(225,237) r(329,378) a(236,252) d(432) a(429,345) r(322,403) 
	 38 d(426) d(329) d(333) a(345,218) d(433) d(333) d(430) d(434) r(322,423) d(426) d(333) r(426,423) r(427,310) 
	 35 a(431,389) d(333) a(345,218) d(433) d(333) d(430) d(434) r(322,423) d(426) d(333) r(426,423) a(347,219) 
	 40 d(426) d(329) a(349,173) d(432) r(225,237) r(329,378) a(236,252) d(432) a(429,345) d(428) 
	 41 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) d(167) d(238) 
	 36 d(426) d(165) r(349,213) r(169,218) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000559/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000559/drd/drd_clientreq.c  d(426) d(167) d(333) d(430) d(434) r(322,423) d(426) a(433,418) d(169) r(165,171)  fails to compile
	  0 d(426) d(167) d(333) d(430) d(434) r(322,423) d(426) a(433,418) d(169) r(165,171) 
	 42 a(431,389) r(240,333) 
	 46 d(426) d(167) a(322,420) 
	 38 a(431,389) d(333) d(430) d(434) r(322,423) d(426) a(433,418) d(169) r(169,361) 
	 39 d(426) d(329) a(349,173) d(432) r(225,237) a(169,250) a(322,248) a(238,169) d(434) r(218,361) d(165) r(428,268) d(169) 
	 39 d(167) d(433) d(434) d(430) d(345) d(322) d(349) a(430,185) 
	 39 d(426) d(329) a(349,173) d(432) r(225,237) d(434) d(430) d(345) d(322) d(349) d(333) 
	 41 d(167) d(433) a(169,250) a(322,248) a(238,169) d(434) r(218,361) d(165) r(428,268) d(238) 
	 38 a(431,389) d(333) a(345,218) d(433) a(238,169) a(427,219) 
	 39 d(426) d(329) a(349,173) d(432) r(225,237) r(431,203) d(434) r(218,361) d(165) r(431,426) d(322) 
	 36 a(431,389) d(333) a(345,218) d(433) a(238,169) d(434) r(218,361) d(165) r(431,426) a(240,433) 
	 37 d(426) d(329) a(349,173) d(432) r(225,237) r(431,203) r(334,252) 
	 41 a(431,389) d(333) a(345,218) d(433) d(333) d(430) d(434) r(322,423) d(426) d(333) d(322) a(167,266) 
	 33 a(165,198) r(238,315) d(349) d(430) d(169) d(225) d(240) d(429) a(347,298) r(322,385) 
search: generation 10 (sizeof one variant = 0.330297 MB)
	 43 d(426) d(329) d(430) a(427,256) r(329,378) r(432,200) a(169,333) a(169,205) r(225,171) d(426) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000574/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000574/drd/drd_clientreq.c  a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) d(167) d(167) r(166,248)  fails to compile
	  0 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) d(167) d(167) r(166,248) 
	 38 d(426) d(329) a(349,173) d(432) r(225,237) r(329,378) a(236,252) d(432) a(429,345) d(428) r(334,415) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000576/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000576/drd/drd_clientreq.c  a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) d(167) d(238) r(165,213)  fails to compile
	  0 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) d(167) d(238) r(165,213) 
	 46 d(426) d(167) a(322,420) d(432) 
	 34 a(165,198) r(238,315) d(349) d(430) d(169) d(225) d(240) d(429) a(347,298) d(240) a(238,429) 
	 40 d(426) d(329) a(349,173) d(432) r(225,237) r(431,203) d(434) r(218,361) d(165) r(431,426) d(322) r(349,359) 
	 30 d(426) d(329) a(349,173) r(329,432) r(329,314) d(426) r(240,409) r(167,312) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000581/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000581/drd/drd_clientreq.c  d(426) d(329) a(349,173) d(432) r(225,237) r(431,203) d(434) r(218,361) d(165) r(431,426) a(349,173) d(432) a(427,258) d(434) d(166) r(166,334)  fails to compile
	  0 d(426) d(329) a(349,173) d(432) r(225,237) r(431,203) d(434) r(218,361) d(165) r(431,426) a(349,173) d(432) a(427,258) d(434) d(166) r(166,334) 
	 39 a(165,198) d(329) d(322) d(218) 
	 36 d(426) d(329) a(349,173) d(432) r(225,237) r(431,203) d(434) r(218,361) d(165) r(431,426) d(322) d(225) 
	 46 a(165,198) d(329) a(349,173) d(432) a(427,258) d(434) d(166) a(240,237) 
	 39 d(426) d(165) r(349,213) d(329) d(430) a(427,256) r(329,378) r(432,200) a(426,405) r(430,420) a(431,169) r(236,371) 
	 38 d(426) d(329) d(430) d(169) d(225) d(240) d(429) d(167) a(333,363) 
	 36 d(426) d(165) r(349,213) d(167) d(322) 
	 41 d(426) d(329) d(430) d(169) d(225) d(240) d(429) d(329) d(430) a(427,256) r(329,378) r(432,200) a(426,405) r(430,420) a(431,169) a(218,361) 
	 42 d(426) d(329) a(349,173) r(434,258) a(225,315) 
	 37 a(431,389) d(333) d(430) d(434) r(322,423) d(426) a(322,203) d(165) d(169) 
	 41 d(426) d(329) d(430) d(169) d(225) d(240) d(429) r(432,200) a(426,405) d(429) d(432) d(430) 
	 45 d(426) d(329) d(430) a(427,256) r(329,378) d(166) a(434,232) d(169) 
	 42 d(426) d(329) d(430) d(169) d(225) d(240) d(429) d(166) a(434,232) r(429,206) 
	 38 d(426) d(329) d(430) a(427,256) r(329,378) r(432,200) a(426,405) d(429) d(432) d(333) 
	 38 d(426) d(329) a(349,173) d(432) r(225,237) d(434) d(430) d(345) d(322) d(349) d(333) r(427,192) 
	 38 a(165,198) d(169) r(433,167) d(349) a(322,234) r(225,254) a(238,237) d(167) a(329,422) r(345,213) 
	 34 d(167) d(433) d(434) d(430) d(345) d(322) a(238,237) d(167) a(322,434) d(434) 
	 46 a(165,198) d(329) d(349) a(430,185) a(167,167) 
	 42 d(167) d(433) d(434) d(430) d(345) d(322) d(349) a(430,185) d(333) 
	 43 a(165,198) d(329) a(238,237) d(167) a(322,434) d(349) 
	 41 d(426) d(329) a(349,173) d(432) r(225,237) d(434) d(430) d(345) d(322) d(349) d(333) d(165) 
	 29 a(165,198) d(329) a(349,173) d(432) a(427,258) d(434) a(165,191) d(427) 
	 32 d(426) d(329) a(349,173) r(329,378) d(429) d(238) r(345,375) 
	 39 d(426) d(329) d(430) d(169) d(225) d(240) r(329,378) r(432,200) a(426,405) r(432,200) a(169,333) a(169,205) a(236,363) d(167) 
	 34 d(426) d(329) a(349,173) r(329,378) r(432,200) a(169,333) a(169,205) a(236,363) r(218,236) 
	 41 d(426) d(329) d(430) d(169) d(225) d(240) r(329,378) r(432,200) a(426,405) d(429) d(238) r(169,343) 
	 38 a(165,198) d(329) a(238,237) d(167) a(322,434) d(433) d(434) r(238,417) a(218,317) 
	 36 d(167) a(218,315) 
	 40 a(165,198) d(329) a(238,237) d(167) a(322,434) d(165) 
	 40 d(167) d(433) d(434) r(238,417) a(165,239) 
	 46 d(426) d(329) d(430) a(427,256) d(429) d(166) r(430,199) r(430,248) 
	 36 d(426) d(329) a(333,355) r(349,389) r(345,368) d(431) d(236) r(433,236) d(432) r(347,365) 
	 33 d(426) d(329) a(349,173) r(329,432) r(329,314) d(426) r(240,409) d(429) 
	 38 d(426) d(329) a(349,173) d(432) r(225,237) a(169,250) a(322,248) a(238,169) d(434) r(218,361) d(165) r(428,268) d(169) r(334,329) 
	 40 d(426) d(329) a(349,173) d(432) r(225,237) d(434) d(430) d(345) d(322) d(349) r(434,418) d(329) 
	 37 d(426) d(329) d(430) d(169) d(225) d(240) r(329,378) r(432,200) a(426,405) d(429) d(238) a(329,334) 
	 41 d(426) d(329) d(430) d(169) d(225) d(240) r(329,378) r(432,200) a(426,405) d(429) d(238) d(431) 
	 46 d(426) d(167) a(322,420) d(322) 
	 41 a(165,198) d(329) r(322,403) r(218,380) 
	 39 a(431,389) a(349,173) d(432) r(225,237) r(329,378) a(236,252) d(432) a(429,345) a(349,173) d(432) a(427,258) d(434) a(165,191) d(169) 
	 40 a(165,198) d(329) a(349,173) d(432) a(427,258) d(434) a(165,191) a(429,179) 
	 36 a(431,389) a(349,173) d(432) r(225,237) r(329,378) a(236,252) d(432) a(429,345) r(322,403) a(218,216) 
	 43 a(431,389) d(333) a(345,218) d(433) a(238,169) r(322,423) d(426) d(333) r(426,423) a(347,219) d(433) 
	 35 a(431,389) d(333) a(345,218) d(433) d(333) d(430) d(434) a(427,219) d(434) 
	 37 a(431,389) d(333) a(345,218) d(433) a(238,169) a(427,219) d(426) 
	 37 a(431,389) d(333) a(345,218) d(433) d(333) d(430) d(434) r(322,423) d(426) d(333) r(426,423) a(347,219) r(429,266) 
	 43 d(426) d(329) d(430) a(427,256) r(329,378) r(432,200) r(432,200) a(169,333) a(169,205) r(225,171) d(433) 
	 46 d(426) d(329) d(430) a(427,256) r(329,378) a(426,405) d(429) d(432) r(426,239) 
	 38 d(426) d(329) d(430) a(427,256) r(329,378) r(432,200) a(426,405) d(429) d(432) d(218) 
	 36 d(426) d(329) d(430) a(427,256) r(329,378) r(432,200) a(169,333) a(169,205) r(225,171) d(427) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 29470
"Test Suite Evaluations": 63.7879

Compile Failures: 19
Wall-Clock Seconds Elapsed: 41319.3
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             632 12908.433 = 31.3468%
  test                              28992 28270.480 = 68.6519%
  TOTAL                                   41179.446 = 99.6615% (avg CPU usage)
valgrind-bug-11613-11614.tar.gz
Fri Feb 14 03:19:03 EST 2014
shutting down
