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 8
--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-170 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:26 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/tmpd8278f.c /tmp/tmp553b11.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 = 493.112)
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.00664425 MB)
	 36 d(431) 
	 33 r(345,213) 
	 45 r(169,198) 
	 46 r(167,429) 
	 37 r(345,255) 
	 44 r(334,255) 
	 38 d(238) 
	 41 d(218) 
	 43 r(169,208) 
	 39 r(345,186) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000010/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000010/drd/drd_clientreq.c  r(165,186)  fails to compile
	  0 r(165,186) 
	 36 a(428,385) 
	 32 d(347) 
	 46 r(329,167) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000014/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000014/drd/drd_clientreq.c  r(166,254)  fails to compile
	  0 r(166,254) 
	 46 a(434,420) 
	 39 r(236,407) 
	 34 d(427) 
	 41 r(333,380) 
	 46 d(433) 
	 44 r(225,241) 
	 31 a(169,339) 
	 31 d(347) 
	 39 r(428,234) 
	 33 d(431) 
	 34 d(347) 
	 46 a(169,193) 
	 43 d(349) 
	 46 a(434,312) 
	 39 d(345) 
	 43 d(347) 
	 41 a(167,232) 
	 39 r(345,349) 
	 46 r(322,185) 
	 46 a(434,329) 
	 46 a(167,239) 
	 33 d(429) 
	 34 d(428) 
	 39 d(428) 
	 46 original
search: generation 1 (sizeof one variant = 0.3309 MB)
	 35 r(236,407) d(434) 
	 43 d(349) a(165,166) 
	 40 d(347) r(218,336) 
	 37 r(345,186) r(432,292) 
	 37 r(236,407) r(167,375) 
	 42 a(434,329) r(333,246) 
	 36 r(345,255) a(430,184) 
	 35 r(329,167) a(322,337) 
	 34 r(345,255) a(433,241) 
	 46 r(329,167) r(430,203) 
	 46 r(167,429) a(165,216) 
	 46 r(329,167) d(430) 
	 35 r(167,429) r(347,416) 
	 46 r(329,167) r(432,433) 
	 37 r(322,185) a(427,268) 
	 46 r(167,429) r(434,333) 
	 39 d(347) d(236) 
	 36 d(429) 
	 46 r(322,185) a(238,290) 
	 31 r(428,234) d(167) 
	/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  a(169,193) r(166,236)  fails to compile
	  0 a(169,193) r(166,236) 
	 38 r(167,429) r(426,296) 
	 46 a(167,239) a(426,184) 
	 39 d(428) r(169,371) 
	 37 d(431) r(428,256) 
	 34 d(345) r(430,333) 
	 43 r(334,255) d(169) 
	 35 r(428,234) d(240) 
	 37 r(334,255) d(347) 
	 41 r(428,234) a(166,191) 
	 35 d(347) d(166) 
	 36 r(345,186) d(218) 
	 40 a(434,420) d(165) 
	 46 r(322,185) a(218,254) 
	 46 a(434,420) d(433) 
	 44 r(322,185) r(225,212) 
	 37 r(236,407) r(218,409) 
	 46 a(434,420) d(426) 
	 42 d(349) r(334,234) 
	 33 d(345) r(431,191) 
	 27 d(349) d(428) 
	 38 d(345) a(334,318) 
	 36 r(347,184) 
	 38 r(169,198) r(427,241) 
	 46 a(238,219) 
	 37 d(428) r(427,421) 
	 34 a(429,244) 
	 41 d(428) r(430,251) 
	 37 a(169,193) r(333,312) 
	 37 d(218) r(238,274) 
	 34 a(434,329) r(430,266) 
	 46 r(322,185) a(347,420) 
search: generation 2 (sizeof one variant = 0.331009 MB)
	 36 r(322,185) r(349,312) 
	 38 d(347) d(236) a(427,268) d(329) 
	 37 r(322,185) a(427,268) d(347) 
	 37 d(347) d(236) r(432,426) 
	 41 r(322,185) a(334,318) a(225,218) 
	 38 d(345) a(238,290) a(333,213) 
	 40 r(322,185) a(238,290) r(345,218) 
	 38 d(345) a(334,318) d(347) 
	 40 r(329,167) r(430,203) d(236) 
	 42 r(322,185) a(347,420) d(240) 
	 35 r(329,167) r(430,203) d(218) 
	 37 r(322,185) a(347,420) r(431,423) 
	 32 r(236,407) d(434) a(433,192) 
	 36 a(434,420) d(426) d(165) 
	 40 d(428) d(218) d(426) 
	 40 r(345,186) r(427,421) r(169,274) 
	 37 d(428) r(427,421) r(349,409) 
	 38 r(345,186) d(218) r(238,349) 
	 46 a(434,420) d(329) 
	 39 a(238,219) d(165) d(322) 
	 40 a(434,420) d(165) d(347) 
	 39 a(238,219) a(430,434) 
	 40 r(345,255) a(430,184) a(432,237) 
	 46 a(434,420) d(433) d(169) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000115/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000115/drd/drd_clientreq.c  r(345,255) a(430,184) r(166,200)  fails to compile
	  0 r(345,255) a(430,184) r(166,200) 
	 35 a(434,420) d(433) d(333) 
	 37 d(428) r(169,371) d(240) 
	 46 r(167,429) r(434,333) d(434) 
	 37 d(349) a(165,166) a(426,317) 
	 39 a(434,420) d(433) a(238,276) 
	 36 r(329,167) r(430,203) d(428) 
	 42 r(329,167) d(430) r(218,254) 
	 36 r(236,407) r(218,409) a(165,239) 
	 45 d(347) d(166) d(166) 
	 36 r(322,185) r(434,411) 
	 37 r(428,234) d(240) a(218,254) r(426,380) 
	 37 r(322,185) a(218,254) d(238) 
	 37 r(428,234) d(240) r(322,315) 
	 32 d(428) r(430,251) d(167) 
	 39 a(434,420) d(165) r(429,205) 
	 38 r(428,234) a(166,191) d(225) 
	 46 r(322,185) a(347,420) a(429,241) 
	 37 d(428) r(430,251) d(429) 
	 36 a(434,329) r(333,246) d(432) 
	 40 d(347) r(334,234) a(347,249) 
	 39 d(349) r(218,336) d(434) 
	 38 d(347) r(218,336) r(225,314) 
	 37 d(349) r(334,234) d(240) 
	 35 r(345,186) d(218) r(236,246) 
	 36 r(345,255) a(430,184) d(429) 
	 45 r(329,167) r(225,213) 
	 37 r(322,185) a(218,254) r(430,203) r(238,345) 
	 44 r(329,167) r(430,203) r(433,290) 
	 46 r(322,185) a(218,254) r(169,165) 
	 35 r(167,429) r(426,296) r(333,246) d(430) 
	 37 a(434,329) r(428,407) 
	 37 r(167,429) r(426,296) r(334,185) 
	 36 a(434,329) r(333,246) r(429,239) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000149/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000149/drd/drd_clientreq.c  d(218) r(238,274) r(165,409)  fails to compile
	  0 d(218) r(238,274) r(165,409) 
	 38 a(434,420) d(165) a(345,417) 
	 38 d(218) r(238,274) d(334) 
	 37 a(434,420) d(165) r(240,429) 
search: generation 3 (sizeof one variant = 0.330985 MB)
	 46 r(329,167) r(430,203) d(334) 
	 35 r(428,234) d(240) a(218,254) r(426,380) d(236) d(333) 
	 40 r(329,167) r(430,203) d(236) a(428,213) 
	 33 r(428,234) d(240) a(218,254) r(426,380) a(240,184) 
	 34 r(329,167) d(430) r(218,254) r(333,186) 
	 38 a(238,219) d(165) d(322) a(165,237) 
	 40 r(322,185) a(347,420) a(429,241) r(345,329) 
	 39 d(347) r(334,234) a(347,249) d(238) 
	 37 a(434,420) d(433) d(333) a(218,231) 
	 43 r(329,167) r(430,203) d(236) d(349) 
	 37 a(434,420) d(433) d(333) a(429,274) 
	 37 r(329,167) r(430,203) d(236) d(426) 
	 37 d(345) a(238,290) a(333,213) r(236,339) 
	 42 a(238,219) d(165) d(322) a(426,422) 
	 40 r(329,167) r(430,203) d(428) r(218,254) d(429) 
	 39 r(329,167) d(430) r(333,403) 
	 39 r(329,167) r(430,203) d(428) r(225,249) 
	 38 r(329,167) d(430) r(218,254) r(426,318) 
	 38 d(428) d(167) 
	 35 r(345,255) a(430,184) a(432,237) r(169,371) d(240) d(426) 
	 39 d(428) r(169,371) d(240) r(347,434) 
	 36 r(345,255) a(430,184) a(432,237) d(426) 
	 40 a(434,420) d(165) r(240,429) d(240) r(322,317) 
	 33 r(322,185) a(347,420) d(165) 
	 41 a(434,420) d(165) r(240,429) r(240,167) 
	 43 r(322,185) a(347,420) d(240) a(426,429) 
	 32 d(347) d(169) 
	 31 d(347) d(236) r(432,426) d(236) a(427,268) d(329) d(238) 
	 32 d(347) d(236) a(427,268) d(329) d(347) 
	 39 d(347) d(236) r(432,426) a(218,288) 
	 38 a(434,420) d(433) d(169) a(225,322) 
	 35 r(345,186) r(427,421) r(169,274) d(427) 
	 46 a(434,420) d(433) d(169) d(166) 
	 40 d(347) r(334,234) a(347,249) d(429) 
	 37 d(345) a(238,290) a(333,213) d(430) 
	 37 d(345) a(334,318) d(347) r(349,262) 
	 45 r(322,185) a(218,254) r(430,203) r(334,185) d(334) 
	 34 r(167,429) r(426,296) r(238,345) a(322,165) 
	 39 r(322,185) a(218,254) r(430,203) r(238,345) d(427) 
	 37 r(167,429) r(426,296) r(334,185) d(218) 
	 36 r(345,255) a(430,184) a(432,237) d(218) 
	 35 r(345,186) r(427,421) r(169,274) d(434) 
	 32 r(428,234) d(240) r(322,315) a(347,249) 
	 41 r(428,234) d(240) r(322,315) d(238) 
	 38 r(428,234) d(240) r(322,315) r(240,430) 
	 42 r(428,234) d(240) r(322,315) a(165,211) 
	 39 a(434,420) r(430,203) d(236) d(430) 
	 37 r(329,167) d(329) a(345,418) 
	 46 a(434,420) d(329) a(434,421) 
	 40 r(329,167) r(430,203) d(236) r(169,310) 
	 46 a(434,420) a(225,416) 
	 35 r(329,167) r(430,203) r(433,290) d(433) a(238,276) d(165) 
	 42 a(434,420) d(433) a(238,276) r(431,249) 
	 45 r(329,167) r(430,203) r(433,290) a(165,169) 
	 36 r(428,234) a(430,434) a(428,429) 
	 46 a(238,219) a(166,191) d(225) a(434,423) 
	 35 r(428,234) a(166,191) d(225) d(322) 
	 36 a(238,219) a(430,434) r(329,288) 
	 45 r(329,167) r(430,203) r(433,290) a(426,241) 
	 43 r(329,167) r(225,213) r(329,296) 
	 40 r(428,234) a(166,191) d(225) d(238) 
	 36 r(428,234) d(240) r(322,315) d(349) 
search: generation 4 (sizeof one variant = 0.330419 MB)
	 42 r(322,185) a(347,420) d(240) a(426,429) d(225) 
	 34 r(428,234) a(166,191) d(225) d(322) d(238) 
	 37 d(347) r(225,207) 
	 41 r(329,167) r(430,203) d(236) d(349) r(334,234) a(347,249) d(238) r(329,252) 
	 38 d(347) r(334,234) a(347,249) d(238) a(218,246) 
	 37 r(329,167) r(430,203) d(236) d(349) a(218,251) 
	 39 a(434,420) d(165) r(240,429) r(240,167) d(433) 
	 39 a(434,420) d(433) a(238,276) r(431,249) r(167,238) 
	 35 d(347) r(334,234) a(347,249) d(238) r(333,207) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000224/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000224/drd/drd_clientreq.c  r(428,234) a(166,191) d(225) d(238) r(166,266)  fails to compile
	  0 r(428,234) a(166,191) d(225) d(238) r(166,266) 
	 38 r(322,185) a(218,254) r(430,203) r(334,185) d(334) r(428,219) 
	 38 r(345,186) r(427,421) r(169,274) d(427) r(426,429) 
	 42 a(434,420) d(240) a(426,429) r(349,433) 
	 42 r(322,185) a(347,420) a(225,416) a(225,274) 
	 38 a(434,420) a(225,416) r(238,240) 
	 41 r(322,185) a(347,420) d(240) a(426,429) d(236) 
	 38 r(329,167) r(430,203) d(427) r(225,274) 
	 37 r(322,185) a(218,254) r(430,203) r(238,345) d(236) a(428,213) d(434) 
	 35 r(329,167) r(430,203) d(236) a(428,213) d(430) 
	 37 r(322,185) a(218,254) r(430,203) r(238,345) d(427) r(322,206) 
	 42 r(428,234) d(240) r(322,315) d(238) d(240) 
	 36 r(428,234) a(166,191) d(225) d(238) r(240,250) 
	 34 r(428,234) a(166,191) d(225) d(238) r(431,339) 
	 45 r(329,167) r(430,203) r(433,290) a(165,169) a(167,347) 
	 42 r(329,167) d(240) r(322,317) d(240) 
	 40 a(434,420) d(165) r(240,429) r(430,203) r(433,290) a(426,241) d(322) 
	 42 r(329,167) r(430,203) r(433,290) a(426,241) r(238,423) 
	 39 a(434,420) d(165) r(240,429) d(240) r(322,317) r(167,417) 
	 35 r(322,185) a(432,237) d(218) d(429) 
	 38 r(345,255) a(430,184) a(218,254) r(430,203) r(238,345) d(427) a(430,416) 
	 37 r(322,185) a(218,254) r(430,203) r(238,345) d(427) a(433,191) 
	 35 r(345,255) a(430,184) a(432,237) d(218) r(329,365) 
	 37 a(434,420) d(433) a(238,276) r(431,249) d(430) 
	 40 d(347) d(236) r(432,426) a(218,288) d(432) 
	 32 d(428) d(240) a(218,254) r(426,380) a(240,184) r(426,359) 
	 35 r(428,234) d(167) r(347,264) 
	 35 d(428) d(167) a(426,212) 
	 38 r(428,234) d(240) a(218,254) r(426,380) a(240,184) a(166,173) 
	 38 r(329,167) r(430,203) d(428) r(426,415) 
	 36 r(329,167) r(430,203) d(236) r(169,310) r(225,249) d(434) 
	 40 r(329,167) r(430,203) d(428) r(225,249) r(240,337) 
	 36 r(329,167) r(430,203) d(236) r(169,310) r(347,429) 
	 36 r(428,234) a(166,191) d(225) d(238) r(225,207) 
	 41 a(434,420) d(165) r(240,429) r(240,167) r(225,361) 
	 36 r(329,167) r(431,385) 
	 38 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) 
	 29 r(329,167) r(430,203) d(236) r(169,310) d(433) 
	 43 r(329,167) r(430,203) d(236) d(349) r(322,416) 
	 35 d(345) a(238,290) r(169,310) r(434,421) 
	 42 r(329,167) r(430,203) d(236) a(333,213) r(236,339) a(165,191) 
	 36 d(345) a(238,290) a(333,213) r(236,339) d(433) 
	 34 r(329,167) r(430,203) d(236) r(169,310) d(166) 
	 39 a(434,420) d(433) a(347,249) d(429) d(334) 
	 37 d(347) r(334,234) a(238,276) r(431,249) a(236,208) 
	 39 a(434,420) d(433) a(238,276) r(431,249) r(426,211) 
	 37 d(347) r(334,234) a(347,249) d(429) d(236) 
	 46 a(434,420) d(430) r(169,173) 
	 38 d(345) a(238,290) a(333,213) a(225,416) d(429) 
	 46 a(434,420) a(225,416) r(322,241) 
	 40 d(345) a(238,290) a(333,213) d(430) d(433) 
	 42 r(329,167) r(430,203) r(433,290) a(165,169) r(345,329) a(167,236) 
	 46 r(322,185) a(347,420) a(429,241) d(432) 
	 45 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) 
	 41 r(322,185) a(347,420) a(429,241) r(345,329) d(329) 
search: generation 5 (sizeof one variant = 0.331016 MB)
	 40 a(434,420) a(225,416) r(238,240) r(431,434) 
	 44 r(329,167) d(240) r(322,317) d(240) a(240,241) 
	 34 r(329,167) r(430,203) r(433,290) a(166,191) d(225) d(238) r(431,339) a(431,363) 
	 37 r(428,234) a(426,241) r(238,423) r(430,418) 
	 39 r(329,167) r(430,203) r(433,290) a(426,241) r(238,423) r(167,422) 
	 37 r(428,234) a(166,191) d(225) d(238) r(431,339) r(240,365) 
	 40 r(428,234) d(240) r(322,315) d(238) d(240) d(430) 
	 40 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) 
	 45 a(434,420) d(240) a(426,429) r(349,433) d(347) 
	 33 r(345,255) a(430,184) a(218,254) r(430,203) r(238,345) d(427) a(430,416) d(428) 
	 43 r(329,167) r(430,203) r(433,290) a(165,169) a(167,347) r(433,290) a(165,169) a(167,347) a(167,434) 
	 46 r(329,167) r(430,203) d(426) 
	 46 r(329,167) r(430,203) r(433,290) a(165,169) a(167,347) d(167) 
	 38 r(329,167) r(430,203) r(433,290) a(165,169) a(167,347) d(345) 
	 35 a(434,420) d(433) a(347,249) d(429) a(169,239) 
	 33 r(428,234) d(240) a(218,254) r(426,380) a(240,184) a(166,173) d(334) d(169) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000295/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000295/drd/drd_clientreq.c  a(434,420) d(433) a(347,249) d(429) d(334) r(165,407)  fails to compile
	  0 a(434,420) d(433) a(347,249) d(429) d(334) r(165,407) 
	 39 r(428,234) d(240) a(218,254) r(426,380) a(240,184) a(166,173) r(427,192) 
	 36 r(329,167) r(430,203) d(428) r(225,249) r(240,337) d(433) a(238,276) r(431,249) r(167,238) r(345,250) 
	 37 a(434,420) a(218,322) 
	 34 r(329,167) r(430,203) d(428) r(225,249) r(240,337) d(434) 
	 34 a(434,420) d(433) a(238,276) r(431,249) r(167,238) d(429) 
	 44 r(322,185) r(167,405) 
	 42 d(345) a(238,290) a(333,213) a(225,416) d(429) a(347,420) a(225,416) a(225,274) a(433,418) 
	 42 r(322,185) a(347,420) a(225,416) a(225,274) d(434) 
	 37 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) 
	 44 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) r(169,405) 
	 37 r(428,234) d(240) r(322,315) d(238) d(240) r(322,192) 
	 37 r(329,167) r(430,203) d(236) d(349) r(334,234) a(347,249) d(238) r(329,252) d(426) 
	 43 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000309/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000309/drd/drd_clientreq.c  r(322,185) a(225,416) r(238,240) r(166,234)  fails to compile
	  0 r(322,185) a(225,416) r(238,240) r(166,234) 
	 41 a(434,420) a(347,420) d(240) a(426,429) d(225) r(429,427) 
	 41 r(322,185) a(347,420) d(240) a(426,429) d(225) r(329,169) 
	 35 a(434,420) a(225,416) r(238,240) a(167,418) 
	 42 r(329,167) r(430,203) r(433,290) a(426,241) r(238,423) r(322,375) 
	 35 d(347) d(236) r(432,426) a(218,288) d(432) r(329,434) 
	 33 d(345) a(238,290) a(333,213) d(430) d(433) a(430,428) 
	 36 r(322,185) a(347,420) a(429,241) r(345,329) d(329) d(333) 
	 38 a(434,420) d(165) r(240,429) r(240,167) d(433) d(345) 
	 35 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) a(334,365) 
	 37 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) r(430,203) d(428) r(225,249) r(240,337) r(427,169) 
	 35 r(329,167) a(433,380) 
	 39 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) r(431,231) 
	 36 r(329,167) r(430,203) d(428) r(225,249) r(240,337) r(225,252) 
	 41 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) 
	 32 r(345,186) r(427,421) r(169,274) d(427) r(426,429) a(218,432) 
	 36 d(345) a(238,290) a(333,213) d(334) 
	 32 r(428,234) d(240) r(322,315) d(238) d(240) d(430) d(433) d(225) 
	 38 d(345) a(238,290) a(333,213) d(430) d(433) a(426,339) 
	 35 r(428,234) d(240) r(322,315) d(238) d(240) d(169) 
	 40 a(434,420) d(433) a(238,276) r(431,249) r(426,211) a(432,262) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000330/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000330/drd/drd_clientreq.c  r(329,167) r(430,203) r(433,290) a(165,169) r(345,329) a(167,236) r(165,208)  fails to compile
	  0 r(329,167) r(430,203) r(433,290) a(165,169) r(345,329) a(167,236) r(165,208) 
	 39 a(434,420) d(430) r(430,203) d(236) a(333,213) r(236,339) a(165,191) a(167,336) 
	 38 r(329,167) r(169,173) a(433,315) 
	 36 a(434,420) d(430) r(169,173) r(169,385) 
	 37 r(329,167) r(430,203) d(236) a(333,213) r(236,339) a(165,191) d(236) 
	 46 a(434,420) d(225) 
	 37 a(434,420) d(240) a(426,429) r(349,433) d(433) a(238,276) r(431,249) r(167,238) d(322) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000337/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000337/drd/drd_clientreq.c  a(434,420) d(433) a(238,276) r(431,249) r(167,238) r(165,200)  fails to compile
	  0 a(434,420) d(433) a(238,276) r(431,249) r(167,238) r(165,200) 
	 43 a(434,420) d(240) a(426,429) r(349,433) a(345,256) 
search: generation 6 (sizeof one variant = 0.33109 MB)
	 38 a(434,420) d(165) r(240,429) r(240,167) d(433) d(345) d(166) 
	 36 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) r(165,237) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000341/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000341/drd/drd_clientreq.c  a(434,420) d(240) a(426,429) r(349,433) d(433) a(238,276) r(431,249) r(167,238) d(322) r(166,180)  fails to compile
	  0 a(434,420) d(240) a(426,429) r(349,433) d(433) a(238,276) r(431,249) r(167,238) d(322) r(166,180) 
	 37 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(431) 
	 39 r(329,167) r(430,203) d(165) r(240,429) r(240,167) d(433) d(345) a(329,426) 
	 38 a(434,420) r(433,290) a(426,241) r(238,423) r(322,375) d(432) 
	 40 r(329,167) r(430,203) r(433,290) a(426,241) r(238,423) r(322,375) d(426) 
	 39 a(434,420) d(165) r(240,429) r(240,167) d(433) d(345) r(240,244) 
	 42 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) d(165) a(334,365) r(334,294) 
	 39 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(166) 
	 36 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) d(428) 
	 37 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) a(334,365) r(428,387) 
	 36 r(428,234) a(426,241) r(433,290) a(165,169) a(166,167) r(431,231) a(431,278) 
	 42 r(329,167) r(430,203) r(238,423) r(430,418) d(169) 
	 37 r(428,234) a(426,241) r(238,423) r(430,418) a(166,167) 
	 33 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) r(431,231) d(434) 
	 33 r(329,167) r(430,203) d(236) a(333,213) r(236,339) a(165,191) d(236) d(434) 
	 37 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(426) 
	 35 r(329,167) r(430,203) r(433,290) a(165,169) a(167,347) r(433,290) a(165,169) a(167,347) a(167,434) d(238) 
	 36 r(329,167) r(430,203) r(433,290) a(165,169) a(167,347) r(433,290) a(165,169) a(167,347) a(167,434) a(432,270) 
	 46 r(322,185) r(167,405) a(434,417) 
	 31 r(329,167) r(430,203) r(433,290) a(166,191) d(225) d(238) r(431,339) a(431,363) a(426,418) 
	 40 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) a(240,420) 
	 39 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) r(428,378) 
	 40 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) d(431) 
	 40 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) 
	 44 a(434,420) d(225) d(166) 
	 38 r(428,234) d(240) r(322,315) d(238) d(240) d(169) a(433,345) 
	 32 r(329,167) r(430,203) r(433,290) a(426,241) r(238,423) r(322,375) a(225,213) 
	 41 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) a(334,365) d(225) 
	 33 a(434,420) a(225,416) r(238,240) a(167,418) r(225,432) 
	 38 d(345) a(238,290) a(333,213) a(225,416) d(429) a(347,420) a(225,416) a(225,274) a(433,418) d(167) 
	 40 a(434,420) d(165) r(240,429) r(240,167) d(433) d(345) a(333,380) 
	 43 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) d(434) 
	 40 d(345) a(238,290) a(333,213) d(334) a(432,337) 
	 33 d(345) a(238,290) a(333,213) a(225,416) d(429) a(347,420) a(225,416) a(225,274) a(433,418) a(426,292) 
	 34 d(345) a(238,290) a(333,213) a(225,416) d(429) a(347,420) a(225,416) a(225,274) a(433,418) d(334) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000376/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000376/drd/drd_clientreq.c  d(345) a(238,290) a(333,213) d(334) r(166,431)  fails to compile
	  0 d(345) a(238,290) a(333,213) d(334) r(166,431) 
	 32 r(329,167) r(430,203) r(433,290) a(165,169) a(167,347) d(167) r(430,232) 
	 39 r(428,234) d(240) a(218,254) r(426,380) a(240,184) a(166,173) r(427,192) d(345) 
	 35 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) r(431,231) r(240,317) 
	 41 r(322,185) a(347,420) a(225,416) a(225,274) d(434) d(426) 
	 40 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(345) 
	 40 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) 
	 39 d(345) a(238,290) a(333,213) d(430) d(433) a(426,339) r(167,314) 
	 44 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) r(169,405) a(218,166) 
	 39 a(434,420) d(240) a(426,429) r(349,433) a(345,256) d(165) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000386/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000386/drd/drd_clientreq.c  r(329,167) r(430,203) r(433,290) a(166,191) d(225) d(238) r(431,339) a(431,363) r(166,318)  fails to compile
	  0 r(329,167) r(430,203) r(433,290) a(166,191) d(225) d(238) r(431,339) a(431,363) r(166,318) 
	 42 a(434,420) a(347,420) d(240) a(426,429) d(225) r(329,169) a(165,216) 
	 36 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,427) r(431,262) 
	 45 a(434,420) a(347,420) d(240) a(426,429) d(225) r(429,427) d(349) 
	 38 r(322,185) a(347,420) d(240) a(426,429) d(225) r(329,169) r(345,179) 
search: generation 7 (sizeof one variant = 0.330823 MB)
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000391/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000391/drd/drd_clientreq.c  r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(426) r(165,417)  fails to compile
	  0 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(426) r(165,417) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000392/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000392/drd/drd_clientreq.c  r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(166,339)  fails to compile
	  0 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(166,339) 
	 33 a(434,420) d(240) a(426,429) r(349,433) a(345,256) d(165) a(433,418) 
	 32 a(434,420) a(347,420) d(240) a(426,429) d(225) r(429,427) d(349) r(428,426) 
	 37 r(329,167) r(430,203) r(433,290) a(433,418) d(167) r(238,231) 
	 33 d(345) a(238,290) a(333,213) a(225,416) d(429) a(347,420) a(225,416) a(225,274) a(165,169) a(166,167) d(225) d(218) d(167) 
	 35 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(345,219) 
	 40 d(345) a(238,290) a(333,213) a(225,416) d(429) a(347,420) a(225,416) a(225,274) a(433,418) d(167) a(333,415) 
	 35 a(434,420) d(240) a(426,429) r(433,290) a(426,241) r(238,423) r(322,375) d(432) d(432) 
	 43 a(434,420) r(349,433) a(345,256) a(166,166) d(430) 
	 42 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) 
	 41 a(434,420) r(433,290) a(426,241) r(238,423) r(322,375) d(432) d(347) 
	 39 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) a(334,365) d(225) d(238) 
	 42 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) d(165) a(334,365) r(334,294) d(426) 
	 38 a(434,420) d(240) a(426,429) r(349,433) a(345,256) d(431) 
	 39 a(434,420) d(225) d(166) a(166,166) r(167,345) 
	 42 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(347,336) 
	 46 a(434,420) d(225) d(166) d(433) 
	 35 r(329,167) r(430,203) r(238,423) r(430,418) d(169) d(433) 
	 43 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) 
	 38 a(434,420) d(165) r(240,429) r(240,167) d(433) d(345) a(333,380) r(429,186) 
	 35 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(345) r(434,255) 
	 33 r(329,167) r(430,203) r(433,290) r(169,310) d(165) a(334,365) d(225) d(322) 
	 39 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) a(165,169) a(166,167) d(225) d(218) d(433) 
	 37 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(238,179) 
	 38 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) a(334,365) d(225) r(334,314) 
	 38 d(345) a(238,290) a(333,213) d(225) r(429,336) a(240,420) r(169,317) 
	 34 r(322,185) a(347,420) d(240) a(426,429) d(430) d(433) a(426,339) r(167,314) d(218) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000419/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000419/drd/drd_clientreq.c  d(345) a(238,290) a(333,213) d(430) d(433) a(426,339) r(167,314) r(165,193)  fails to compile
	  0 d(345) a(238,290) a(333,213) d(430) d(433) a(426,339) r(167,314) r(165,193) 
	 36 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) a(240,420) a(347,363) 
	 37 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) r(431,231) r(240,317) d(426) 
	 42 r(322,185) a(347,420) d(240) a(426,429) d(225) r(329,169) r(345,179) r(429,387) 
	 35 a(434,420) a(347,420) d(240) a(426,429) d(225) a(165,169) a(166,167) d(225) r(428,378) a(426,428) 
	 45 r(329,167) r(430,203) r(433,290) r(329,169) a(165,216) a(225,258) 
	 44 a(434,420) a(347,420) d(240) a(426,429) d(225) r(329,169) a(165,216) d(225) 
	 38 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) r(428,378) a(428,387) 
	 36 r(322,185) a(347,420) a(225,416) a(225,274) d(434) d(426) r(427,363) 
	 37 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(345) r(431,389) 
	 38 r(329,167) a(333,380) r(333,421) 
	 41 a(434,420) d(165) r(240,429) r(240,167) d(433) d(345) r(430,203) r(238,423) r(430,418) d(169) a(218,173) 
	 35 r(329,167) r(430,203) r(238,423) r(430,418) d(169) d(429) 
	 38 a(434,420) d(165) r(240,429) r(240,167) d(433) d(345) a(333,380) d(430) 
	 37 a(434,420) a(347,420) d(240) a(426,429) d(225) r(329,169) a(165,216) d(345) d(428) 
	 38 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(333) 
	 40 a(434,420) a(347,420) d(240) a(426,429) d(225) r(329,169) a(165,216) d(238) 
	 37 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(345) r(167,237) 
	 42 a(434,420) a(347,420) d(240) a(426,429) d(225) r(429,427) d(349) d(334) 
	 38 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) r(428,378) r(333,296) 
	 36 r(322,185) a(347,420) a(225,416) a(225,274) d(434) d(426) a(167,218) 
	 38 a(434,420) d(240) a(426,429) r(349,433) a(345,256) d(165) a(432,191) 
	 41 d(345) a(238,290) a(333,213) a(225,416) d(429) d(240) a(426,429) d(225) r(429,336) r(165,237) r(167,232) 
	 41 r(322,185) a(347,420) r(429,218) d(165) a(334,365) r(334,294) r(431,219) 
	 40 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) d(165) a(334,365) r(334,294) r(434,173) 
	 39 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) r(165,237) r(169,389) 
	 36 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) a(238,290) a(333,213) d(334) a(432,337) d(329) 
	 40 d(345) d(434) r(169,431) 
	 39 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) d(434) d(432) 
	 36 d(345) a(238,290) a(333,213) d(334) a(432,337) a(434,250) 
	 37 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(345) a(225,203) 
	 36 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(345) a(169,339) 
search: generation 8 (sizeof one variant = 0.33095 MB)
	 36 a(434,420) d(240) a(426,429) r(349,433) a(345,256) d(431) d(238) 
	 38 a(434,420) d(240) a(426,429) r(349,433) a(345,256) d(431) r(429,434) 
	 42 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) r(169,431) d(329) 
	 34 d(345) d(434) a(434,334) 
	 45 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) d(329) 
	 42 d(345) d(434) r(169,431) d(240) 
	 36 a(434,420) d(225) d(166) a(166,166) r(167,345) a(428,314) 
	 36 r(322,185) a(347,420) d(240) a(426,429) d(225) r(329,169) r(345,179) r(429,387) r(167,434) 
	 38 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) a(334,365) d(225) r(334,314) a(238,173) 
	 39 a(434,420) d(165) r(240,429) r(240,167) d(433) d(345) r(430,203) r(238,423) r(430,418) d(169) a(218,173) r(429,262) 
	 40 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) d(329) r(333,433) d(333) d(433) 
	 41 r(322,185) a(347,420) a(429,241) r(345,329) d(165) a(334,365) r(334,294) r(434,173) d(428) 
	 37 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) d(165) a(334,365) r(334,294) r(434,173) a(347,361) 
	 39 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(333) r(236,180) 
	 39 r(322,185) a(347,420) a(225,416) a(225,274) d(434) d(426) a(167,218) d(426) 
	 39 a(434,420) a(347,420) d(240) a(426,429) d(225) r(329,169) a(165,216) d(238) a(427,198) 
	 44 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) 
	 39 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) d(433) 
	 39 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) r(167,207) 
	 39 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) 
	 34 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) a(334,365) d(225) r(334,314) r(240,167) d(433) d(345) r(430,203) r(238,423) r(430,418) d(169) a(218,173) d(349) 
	 38 a(434,420) d(165) r(240,429) d(167) 
	 38 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) a(334,365) d(225) r(334,314) d(434) 
	 37 a(434,420) d(165) r(240,429) r(240,167) d(433) d(345) r(430,203) r(238,423) r(430,418) d(169) a(218,173) a(349,255) 
	 35 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) a(334,365) d(225) d(238) r(430,218) 
	 37 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) r(165,237) r(169,389) d(166) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000477/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000477/drd/drd_clientreq.c  d(345) a(238,290) a(333,213) d(430) d(433) a(426,339) r(167,314) r(165,193) d(432)  fails to compile
	  0 d(345) a(238,290) a(333,213) d(430) d(433) a(426,339) r(167,314) r(165,193) d(432) 
	 36 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) r(428,378) a(428,387) d(240) 
	 38 r(329,167) r(430,203) r(433,290) r(329,169) a(165,216) a(225,258) d(166) d(433) d(218) 
	 40 a(434,420) d(225) d(238) 
	 46 r(329,167) r(430,203) r(433,290) r(329,169) a(165,216) a(225,258) d(432) 
	 46 a(434,420) d(225) d(166) d(433) r(433,206) 
	 44 a(434,420) r(349,433) a(345,256) a(166,166) d(430) a(240,359) 
	 35 r(322,185) a(347,420) d(240) a(426,429) d(225) r(329,169) r(345,179) r(429,387) d(428) 
	 37 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) a(165,169) a(166,167) d(225) d(218) d(433) d(334) 
	 32 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(333) a(238,203) 
	 29 a(434,420) r(433,290) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(345) a(169,339) r(345,218) 
	 40 r(322,185) a(426,241) r(238,423) r(322,375) d(432) d(347) d(349) 
	 39 a(434,420) r(433,290) a(426,241) r(238,423) r(322,375) d(432) d(347) r(434,371) 
	 30 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(345) a(169,339) d(432) 
	 32 a(434,420) d(225) a(334,365) d(225) d(238) a(218,288) 
	 37 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) d(166) d(433) d(428) 
	 44 a(434,420) d(225) d(166) d(433) a(329,278) 
	 37 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) a(334,365) d(225) d(238) r(322,258) 
	 38 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(238,179) a(240,207) 
	 39 r(322,185) a(347,420) d(240) a(426,429) d(225) r(329,169) r(345,179) r(429,387) r(434,337) 
	 38 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(345) r(431,389) r(429,288) 
	 39 d(345) d(434) r(169,431) d(347) 
	 38 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) a(240,420) a(347,363) r(167,225) 
	 37 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) d(225) d(218) r(345,219) d(169) 
	 38 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(345,219) d(432) 
	 36 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) a(240,420) a(347,363) d(431) 
	 32 d(345) a(238,290) r(428,409) 
	 37 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(333) a(333,213) a(225,416) d(429) r(429,218) d(165) a(334,365) r(334,294) d(426) r(218,339) 
	 40 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) d(165) a(334,365) r(334,294) d(426) r(329,389) 
	 32 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(333) r(349,387) 
	 36 d(345) a(238,290) a(333,213) d(225) r(429,336) a(240,420) r(169,317) d(322) 
	 35 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) a(165,169) a(166,167) d(225) d(218) d(433) r(426,298) 
search: generation 9 (sizeof one variant = 0.330959 MB)
	 40 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) d(165) a(334,365) r(334,294) d(426) r(329,389) a(322,383) 
	 34 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) d(329) r(431,246) 
	 43 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) d(430) 
	 42 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) d(433) d(433) 
	 34 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) a(240,420) a(347,363) d(431) r(167,405) 
	 37 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) d(225) d(218) r(345,219) d(169) r(426,258) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000515/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000515/drd/drd_clientreq.c  r(322,185) a(347,420) a(429,241) r(345,329) d(165) a(334,365) r(334,294) r(434,173) d(428) r(166,380)  fails to compile
	  0 r(322,185) a(347,420) a(429,241) r(345,329) d(165) a(334,365) r(334,294) r(434,173) d(428) r(166,380) 
	 44 d(345) d(434) r(169,431) d(240) a(238,219) 
	 41 a(434,420) d(165) r(240,429) r(240,167) a(429,241) r(345,329) d(329) r(333,433) d(333) r(236,180) a(345,292) 
	 39 r(322,185) a(347,420) d(433) d(345) r(430,203) r(238,423) r(430,418) d(169) a(218,173) r(429,262) a(433,365) 
	 35 a(434,420) d(165) r(240,429) r(240,167) d(433) d(345) r(430,203) r(238,423) r(430,418) d(169) a(218,173) r(429,262) d(167) 
	 39 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(333) r(236,180) a(426,420) 
	 35 r(322,185) a(347,420) d(240) a(426,429) d(225) a(240,207) r(428,218) 
	 37 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(238,179) r(429,336) r(165,237) r(169,389) d(166) d(225) 
	 37 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) r(165,237) r(169,389) d(166) a(431,312) 
	 41 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(238,179) a(240,207) d(165) 
	 36 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) a(240,420) a(347,363) d(431) d(236) 
	 39 r(322,185) a(347,420) a(225,416) a(225,274) d(434) d(426) a(167,218) d(426) d(427) 
	 36 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(349) r(427,276) 
	 39 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(165) a(334,365) d(225) r(334,314) d(434) d(433) 
	 43 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) a(334,365) d(225) r(334,314) d(434) r(334,368) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000530/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000530/drd/drd_clientreq.c  a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) r(165,430)  fails to compile
	  0 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) r(165,430) 
	 38 r(322,185) a(426,241) r(238,423) r(322,375) r(349,433) a(345,256) a(166,166) a(334,173) d(349) r(349,429) 
	 43 a(434,420) d(240) a(426,429) d(432) d(347) d(349) a(322,428) 
	 45 r(322,185) a(426,241) r(238,423) r(322,375) d(432) d(347) d(349) r(322,186) 
	 46 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) d(240) 
	 39 a(434,420) a(166,166) d(433) d(329) r(430,365) 
	 43 a(434,420) d(240) a(426,429) r(349,433) a(345,256) r(349,433) a(345,256) a(166,166) d(430) a(240,359) d(236) 
	 38 a(434,420) r(349,433) a(345,256) a(166,166) d(430) a(240,359) r(428,368) 
	 36 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) d(329) d(428) 
	 38 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) d(329) r(333,433) d(333) d(433) d(349) 
	 37 r(322,185) a(426,241) r(238,423) r(322,375) d(432) d(347) d(349) r(333,312) 
	 40 a(434,420) d(240) a(426,429) a(345,256) a(166,166) d(430) a(240,359) r(428,430) 
	 36 a(434,420) r(349,433) r(349,433) a(345,256) a(166,166) d(433) r(167,207) r(429,234) 
	 40 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) r(167,207) d(347) 
	 39 a(434,420) r(349,433) a(345,256) a(166,166) d(430) a(240,359) r(329,429) 
	 42 r(322,185) a(426,241) r(238,423) r(322,375) d(432) d(347) d(349) r(322,249) 
	 36 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(333) r(236,180) r(238,241) 
	 35 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) d(225) d(166) a(166,166) r(167,345) a(428,314) d(347) 
	 38 a(434,420) r(169,310) d(165) d(166) d(433) d(428) d(333) 
	 39 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) d(166) d(433) d(428) r(334,428) 
	 37 a(434,420) d(225) d(166) a(166,166) r(167,345) a(428,314) d(167) 
	 37 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) d(329) r(333,433) d(333) d(433) a(238,290) r(428,409) r(430,213) 
	 41 d(345) r(431,173) 
	 41 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) d(329) r(333,433) d(333) d(433) d(345) 
	 37 d(345) a(238,290) r(428,409) a(429,343) 
	 40 a(434,420) r(433,290) a(426,241) r(238,423) r(322,375) d(432) d(347) r(434,371) a(240,200) 
	 43 a(434,420) r(349,433) a(345,256) a(166,166) d(430) a(240,359) d(334) 
	 34 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) r(167,207) d(431) 
	 36 a(434,420) d(165) r(240,429) r(240,167) d(433) d(345) r(430,203) r(238,423) r(430,418) d(169) a(218,173) r(429,262) d(167) 
	 34 r(322,185) d(433) d(329) r(238,278) 
	 35 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(347,420) a(429,241) r(345,329) d(165) a(334,365) r(334,294) r(434,173) d(428) a(334,264) 
	 36 r(322,185) a(347,420) a(429,241) r(345,329) d(165) a(334,365) r(334,294) r(434,173) d(428) a(333,420) 
	 41 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) d(329) r(329,422) 
	 40 d(345) d(434) d(225) r(429,336) r(165,237) r(169,389) d(166) d(347) 
	 34 r(322,185) a(347,420) d(240) a(426,429) r(169,431) d(240) a(333,318) 
	 40 d(345) d(434) r(169,431) d(240) r(345,225) 
	 35 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) r(165,237) r(169,389) d(166) d(433) 
	 38 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(333) a(333,213) a(225,416) d(429) r(429,218) d(165) a(240,207) d(236) 
	 37 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(238,179) a(334,365) r(334,294) d(426) r(218,339) a(431,186) 
	 39 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(333) a(333,213) a(225,416) d(429) r(429,218) d(165) a(334,365) r(334,294) d(426) r(218,339) r(236,206) 
	 38 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(238,179) a(240,207) r(430,239) 
search: generation 10 (sizeof one variant = 0.330943 MB)
	 38 a(434,420) d(240) a(426,429) r(349,433) a(240,207) r(430,239) d(333) 
	 36 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(238,179) a(345,256) a(166,166) a(334,173) d(349) d(430) r(429,270) 
	 45 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) d(430) a(430,192) 
	 37 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(238,179) a(240,207) r(430,239) r(238,250) 
	 38 d(345) r(431,173) a(334,317) 
	 35 a(434,420) d(165) r(240,429) r(240,167) a(429,241) r(345,329) d(329) r(333,433) d(333) r(236,180) a(345,292) a(426,426) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000577/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000577/drd/drd_clientreq.c  d(345) r(169,431) d(240) a(238,219) r(166,260)  fails to compile
	  0 d(345) r(169,431) d(240) a(238,219) r(166,260) 
	 41 d(345) d(434) d(434) r(169,431) d(240) a(238,219) d(434) 
	 41 d(345) d(434) r(169,431) d(240) a(238,219) r(347,298) 
	 41 d(345) d(434) r(169,431) d(240) a(238,219) d(236) 
	 38 d(345) r(431,173) d(347) d(349) a(322,428) d(428) 
	 42 a(434,420) d(240) a(426,429) d(432) d(431) 
	 38 d(345) r(431,173) r(240,203) 
	 39 a(434,420) d(240) a(426,429) d(432) d(347) d(349) a(322,428) a(429,434) 
	 38 a(434,420) d(165) r(240,429) r(240,167) a(429,241) r(345,329) d(329) r(333,433) d(333) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) d(240) a(169,407) 
	 38 a(434,420) r(236,180) a(345,292) r(347,272) 
	 34 a(434,420) d(165) r(240,429) r(240,167) a(429,241) r(345,329) d(329) r(333,433) d(333) r(236,180) a(345,292) d(345) 
	 38 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) d(240) d(334) 
	 38 a(434,420) d(240) a(426,429) a(345,256) a(166,166) d(430) a(240,359) r(428,430) r(240,216) 
	 36 d(345) d(434) d(225) r(429,336) r(165,237) r(169,389) d(166) d(347) a(434,334) 
	 41 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(165) a(334,365) d(225) r(334,314) d(434) d(433) a(431,216) 
	 42 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) d(240) d(430) 
	 41 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) d(240) r(236,378) 
	 42 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(165) a(334,365) d(225) r(334,314) d(434) d(433) a(426,238) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000595/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000595/drd/drd_clientreq.c  a(434,420) d(240) a(426,429) r(349,433) a(345,256) r(349,433) a(345,256) a(166,166) d(430) a(240,359) d(236) r(165,361)  fails to compile
	  0 a(434,420) d(240) a(426,429) r(349,433) a(345,256) r(349,433) a(345,256) a(166,166) d(430) a(240,359) d(236) r(165,361) 
	 43 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) d(240) d(347) 
	 35 d(345) a(238,290) a(333,213) a(225,416) d(347) r(434,371) a(240,200) a(347,184) 
	 40 a(434,420) r(433,290) a(426,241) r(238,423) r(322,375) d(432) d(429) r(429,218) d(329) r(333,433) d(333) d(433) d(349) r(428,173) 
	 38 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) d(329) r(333,433) d(333) d(433) d(349) a(333,166) 
	 35 a(434,420) r(433,290) a(426,241) r(238,423) r(322,375) d(432) d(347) r(434,371) a(240,200) r(345,337) 
	 40 r(329,167) r(430,203) d(236) d(349) d(238) 
	 38 a(434,420) d(240) a(426,429) a(345,256) a(166,166) d(430) a(240,359) r(428,430) r(430,203) d(236) r(169,310) d(165) a(334,365) d(225) r(334,314) d(434) r(334,368) d(429) 
	 38 r(329,167) r(430,203) d(236) d(349) r(430,203) d(236) r(169,310) d(165) a(334,365) d(225) r(334,314) d(434) r(334,368) r(238,403) 
	 38 a(434,420) d(240) a(426,429) a(345,256) a(166,166) d(430) a(240,359) r(428,430) d(429) 
	 37 r(322,185) a(426,241) r(238,423) r(322,375) d(432) d(347) d(349) r(333,312) d(349) 
	 41 r(322,185) a(426,241) r(238,423) r(322,375) d(432) d(347) d(349) r(322,186) d(322) 
	 33 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) r(165,237) a(334,173) d(349) d(240) a(428,213) 
	 41 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) r(169,389) d(166) a(431,312) d(225) 
	/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000609/drd/drd_pthread_intercepts.c /root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-11613-11614/000609/drd/drd_clientreq.c  r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) r(165,237) r(169,389) d(166) a(431,312) r(166,314)  fails to compile
	  0 r(322,185) a(347,420) d(240) a(426,429) d(225) r(429,336) r(165,237) r(169,389) d(166) a(431,312) r(166,314) 
	 42 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) d(240) d(426) 
	 42 d(345) a(238,290) r(329,429) a(236,240) 
	 34 a(434,420) r(349,433) a(345,256) a(166,166) d(430) a(240,359) r(428,409) a(429,343) a(433,431) 
	 35 d(345) a(238,290) r(428,409) a(429,343) d(322) 
	 44 a(434,420) r(349,433) a(345,256) a(166,166) d(430) a(240,359) r(329,429) d(434) 
	 39 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) d(430) a(347,310) 
	 35 d(345) a(238,290) a(333,213) a(225,416) d(429) r(429,218) d(165) a(334,365) r(334,294) d(426) r(329,389) a(322,383) r(166,173) 
	 33 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(333) a(333,213) a(225,416) d(429) r(429,218) d(165) r(428,191) 
	 33 r(322,185) a(426,241) r(238,423) r(322,375) d(432) d(347) d(349) r(333,312) a(334,365) r(334,294) d(426) r(218,339) r(236,206) r(225,361) 
	 38 r(322,185) a(347,420) a(429,241) r(345,329) d(329) r(333,433) d(333) a(333,213) a(225,416) d(429) r(429,218) d(165) a(334,365) r(334,294) d(426) r(218,339) r(236,206) r(240,255) 
	 40 r(322,185) a(426,241) r(238,423) r(322,375) d(432) d(347) d(349) r(333,312) d(238) 
	 42 a(434,420) d(240) a(426,429) d(432) d(347) d(349) a(322,428) r(240,433) 
	 38 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(238,179) a(240,207) r(430,239) a(167,389) 
	 37 a(434,420) d(165) r(240,429) r(240,167) d(433) d(345) r(430,203) r(238,423) r(430,418) d(169) a(218,173) r(429,262) d(167) a(333,407) 
	 34 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) a(334,173) d(349) d(240) a(433,312) 
	 33 a(434,420) d(240) a(426,429) a(165,169) a(166,167) d(225) d(218) r(238,179) a(240,207) d(165) d(429) 
	 43 r(329,167) r(430,203) r(433,290) r(349,433) a(345,256) a(166,166) d(433) r(167,207) d(347) d(169) 
	 41 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) r(167,207) d(347) r(329,249) 
	 40 r(329,167) r(430,203) r(433,290) a(165,169) a(166,167) d(225) d(218) r(238,179) a(240,207) d(165) a(225,359) 
	 40 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) d(433) d(433) d(334) 
	 42 a(434,420) d(240) a(426,429) r(349,433) a(345,256) a(166,166) d(433) d(433) d(433) d(434) 
	 40 d(345) r(431,173) d(430) a(240,359) d(236) a(429,420) 
	 41 a(434,420) d(240) a(426,429) r(349,433) a(345,256) r(349,433) a(345,256) a(166,166) d(225) 
	 35 d(345) r(431,173) d(434) 
	 40 a(434,420) d(240) a(426,429) r(349,433) a(345,256) r(349,433) a(345,256) a(166,166) d(430) a(240,359) d(236) r(236,198) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 29599
"Test Suite Evaluations": 64.0671

Compile Failures: 22
Wall-Clock Seconds Elapsed: 38938.4
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             636 10835.951 = 27.9338%
  test                              28980 27955.316 = 72.0656%
  TOTAL                                   38791.471 = 99.6227% (avg CPU usage)
valgrind-bug-11613-11614.tar.gz
Fri Feb 14 02:39:26 EST 2014
shutting down
