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.WARNING: the argument --mutp is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.5
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "subset"
--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"
--first-failure-fitness true
--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 0
--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 400
--port 60000
--pos-tests 469
--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 1
--sample-runs 100
--sanity "yes"
--search "ga"
--seed 8
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests true
--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__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-172-31-41-36 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Fri Dec 12 15:06:56 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
repair.cache: file format 4 expected, 3 found (skipping)cilRep: preprocessing IO function signatures: /tmp/tmp2787e2.c /tmp/tmp5d0c9e.c
cilRep: done preprocessing IO function signatures
cilRep: default.cache has old version
Exception in loading: Failure("version mismatch")
cilrep: from_source: pre: stmt_count = 1
cilRep: preprocessed/src/rtlib/libfb_str_midassign.c: parsing
cilRep: preprocessed/src/rtlib/libfb_str_midassign.c: parsed (0.301728 MB)
cilrep: from_source: post: stmt_count: 465
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)
	p462: true (1)
	p463: true (1)
	p464: true (1)
	p465: true (1)
	p466: true (1)
	p467: true (1)
	p468: true (1)
	p469: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 85.6782)
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 465
cilRep: stmts in weighted_path = 28
cilRep: total weight = 17
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: src/rtlib/libfb_str_midassign.c (code bank/base file; atoms [1,465])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.00579643 MB)
search: initial population (sizeof one variant = 0.00622082 MB)
	  0 d(451) 
	  0 a(457,459) 
	  0 r(445,442) 
	  0 a(426,462) 
	  0 r(445,425) 
	  0 a(456,465) 
	  0 r(426,448) 
	  0 a(464,445) 
	  0 d(463) 
	  0 a(449,425) 
	237 r(459,443) 
	  0 d(457) 
	  0 d(457) 
	  0 a(464,440) 
	  0 d(442) 
	  0 r(456,425) 
	  1 r(461,445) 
	  0 r(445,453) 
	  0 r(425,442) 
	  0 d(453) 
	  1 r(452,448) 
	  0 r(464,452) 
	  0 a(440,441) 
	  0 r(445,425) 
	  0 a(425,449) 
	  0 d(449) 
	  0 a(426,447) 
	  0 d(465) 
	  1 r(460,442) 
	  0 r(464,443) 
	  1 r(460,464) 
	  0 d(456) 
	  0 d(440) 
	  0 r(448,459) 
	  0 r(451,456) 
	  0 d(456) 
	  0 a(449,441) 
	  0 d(462) 
	  1 r(460,463) 
	  1 d(461) 
	  0 d(441) 
	  0 d(462) 
	  0 r(450,454) 
	  0 a(444,441) 
	  0 a(451,456) 
	  0 d(448) 
	  0 d(426) 
	  0 r(463,456) 
	  0 a(459,447) 
	  0 d(444) 
	  0 d(440) 
	  0 d(457) 
	  0 d(463) 
	  0 a(447,454) 
	  0 r(448,441) 
	  0 a(458,460) 
	  1 d(460) 
	  0 d(426) 
	  0 a(454,441) 
	  0 r(462,454) 
	  1 d(460) 
	  0 a(427,426) 
	  0 d(446) 
	  0 d(446) 
	  0 r(451,460) 
	  0 r(446,449) 
	  0 a(443,443) 
	  0 d(441) 
	  0 a(450,462) 
	  0 a(440,445) 
	  1 d(459) 
	  0 r(465,425) 
	  0 r(463,454) 
	  0 d(425) 
	  0 d(462) 
	  0 r(462,440) 
	  1 r(459,448) 
	  0 r(425,447) 
	  0 r(450,465) 
	  0 a(462,444) 
	  0 d(425) 
	  0 r(447,460) 
	  0 r(443,449) 
	  1 d(459) 
	  1 d(454) 
	  0 r(425,451) 
	  0 d(443) 
	  1 r(459,427) 
	  0 d(446) 
	  0 a(441,457) 
	  0 a(426,427) 
	  0 r(451,463) 
	  0 d(447) 
	  0 d(458) 
	  0 r(440,465) 
	  0 a(454,450) 
	  0 a(441,452) 
	  0 d(458) 
	  0 a(446,443) 
	  0 r(448,425) 
	  0 r(464,447) 
	  0 d(447) 
	  0 a(446,449) 
	  0 a(451,450) 
	  0 a(461,440) 
	  0 r(465,453) 
	  0 d(463) 
	  0 r(462,447) 
	  0 r(458,449) 
	  0 d(458) 
	  0 d(456) 
	  0 r(462,460) 
	  0 a(451,445) 
	  0 a(459,457) 
	  0 d(440) 
	  0 a(453,426) 
	  0 r(453,459) 
	  0 r(442,427) 
	  0 d(463) 
	  0 r(456,460) 
	  0 d(447) 
	  0 a(452,446) 
	  0 d(458) 
	  0 r(442,456) 
	  0 d(462) 
	  0 r(463,445) 
	  0 a(427,454) 
	  0 r(464,463) 
	  0 r(462,458) 
	  0 d(442) 
	  0 r(462,460) 
	  0 r(441,427) 
	  1 d(461) 
	  0 d(427) 
	  0 r(445,447) 
	  0 d(444) 
	  0 a(440,446) 
	  1 r(461,444) 
	  0 a(425,427) 
	  0 r(427,440) 
	  0 d(427) 
	  0 d(449) 
	  0 r(464,444) 
	  0 d(445) 
	  0 d(449) 
	  1 r(452,450) 
	  0 d(465) 
	  0 d(465) 
	  0 d(458) 
	  0 d(442) 
	  0 a(452,464) 
	  1 r(461,425) 
	  1 d(459) 
	  0 d(457) 
	  0 d(463) 
	  1 d(460) 
	  1 d(452) 
	  1 r(460,441) 
	  0 d(463) 
	  0 r(464,446) 
	  0 a(464,448) 
	  0 d(456) 
	  0 d(458) 
	  0 r(458,460) 
	  0 r(442,452) 
	  0 d(442) 
	  1 r(454,456) 
	  0 r(447,459) 
	  0 a(449,447) 
	  0 r(462,448) 
	  0 r(446,444) 
	  0 r(464,442) 
	  0 r(444,449) 
	  0 d(448) 
	  1 r(452,462) 
	  0 a(425,451) 
	  0 a(448,440) 
	  0 a(451,442) 
	  0 a(459,446) 
	  1 d(454) 
	  0 r(465,454) 
	  0 r(462,450) 
	  0 d(445) 
	  0 d(463) 
	  0 r(441,445) 
	  0 d(425) 
	  0 d(464) 
	  0 r(443,449) 
	  1 d(452) 
	  0 d(451) 
	  0 a(444,456) 
	  0 d(426) 
	  1 r(452,463) 
	  0 d(445) 
	  0 r(425,465) 
	  0 r(442,440) 
	  0 a(450,441) 
	  0 d(463) 
	  0 d(426) 
	  0 r(425,452) 
	  0 r(465,454) 
	  0 r(464,449) 
	  0 a(427,465) 
	  0 r(451,454) 
	  1 r(461,440) 
	  0 r(441,427) 
	  0 a(460,453) 
	  0 a(426,447) 
	  0 r(425,440) 
	  0 r(425,464) 
	  0 r(440,462) 
	  0 a(443,461) 
	  0 d(449) 
	  0 r(425,451) 
	  0 r(440,447) 
	  0 d(451) 
	  1 r(461,449) 
	  0 d(451) 
	  0 r(448,453) 
	  0 a(462,441) 
	  0 r(443,451) 
	  0 a(440,452) 
	  0 a(449,447) 
	  0 d(453) 
	  1 d(452) 
	  0 r(447,464) 
	  0 r(441,464) 
	  0 d(425) 
	  0 d(426) 
	  0 a(441,457) 
	  0 r(456,459) 
	  0 a(460,443) 
	  0 r(426,444) 
	  0 d(451) 
	  0 d(445) 
	  0 r(453,426) 
	  0 d(443) 
	  1 r(452,447) 
	  0 r(449,440) 
	  0 r(456,425) 
	  0 d(426) 
	  0 r(456,446) 
	  0 d(441) 
	  0 d(456) 
	  0 a(443,445) 
	  0 d(458) 
	  0 a(461,442) 
	  0 r(465,426) 
	  0 d(440) 
	  0 a(426,426) 
	  0 d(457) 
	  0 r(426,460) 
	  0 d(450) 
	  0 d(462) 
	  0 d(448) 
	  0 a(464,444) 
	  1 d(452) 
	  0 r(426,427) 
	  0 a(426,425) 
	  0 a(459,446) 
	  0 r(458,440) 
	  0 r(463,448) 
	  0 r(457,464) 
	  0 r(449,427) 
	  0 d(457) 
	  0 d(426) 
	  0 d(440) 
	  0 d(427) 
	  0 r(425,427) 
	  1 d(460) 
	  0 r(441,465) 
	  0 d(425) 
	  0 d(465) 
	  0 a(443,453) 
	  0 d(441) 
	  0 a(451,442) 
	  0 d(444) 
	  0 d(463) 
	  0 a(463,464) 
	  0 d(456) 
	  0 r(456,454) 
	  0 d(448) 
	  0 d(456) 
	  0 a(458,440) 
	  0 d(450) 
	  0 r(451,425) 
	  1 d(452) 
	  0 d(458) 
	  1 r(454,425) 
	  0 r(440,447) 
	  0 r(425,459) 
	  0 d(427) 
	  1 d(459) 
	  0 r(450,427) 
	  1 r(452,456) 
	  1 d(459) 
	  0 r(440,458) 
	  0 r(444,463) 
	  0 r(442,464) 
	  0 a(444,465) 
	  0 d(451) 
	  0 r(443,452) 
	  0 r(442,441) 
	  0 d(446) 
	  0 a(425,444) 
	  0 d(451) 
	  1 r(454,443) 
	  0 a(450,446) 
	  1 d(452) 
	  0 r(450,458) 
	  0 d(444) 
	  0 d(440) 
	  0 d(442) 
	  0 a(442,463) 
	  0 d(458) 
	  1 d(459) 
	  0 a(444,443) 
	  0 d(447) 
	  0 d(451) 
	  0 r(456,440) 
	  0 a(450,453) 
	  0 a(463,454) 
	  0 a(444,461) 
	  1 d(460) 
	  0 d(441) 
	  0 d(447) 
	  1 r(461,427) 
	  0 d(425) 
	  0 r(426,462) 
	  0 r(427,448) 
	  0 a(462,461) 
	  1 d(452) 
	  0 d(449) 
	  0 a(443,446) 
	  0 r(462,457) 
	  0 r(444,443) 
	  0 r(444,445) 
	  0 d(458) 
	  0 d(426) 
	  0 r(427,451) 
	  0 d(447) 
	  0 d(443) 
	  0 a(449,427) 
	  0 a(449,454) 
	  0 d(458) 
	  0 a(464,456) 
	  0 a(449,447) 
	  0 r(451,426) 
	  0 r(443,446) 
	  0 d(457) 
	  0 a(457,457) 
	  0 a(441,450) 
	  0 a(441,440) 
	  0 d(446) 
	  0 r(456,453) 
	  0 d(453) 
	  1 r(452,464) 
	  0 d(451) 
	  0 a(426,457) 
	  0 a(461,443) 
	  0 d(426) 
	  1 r(454,443) 
	  0 r(465,464) 
	  0 r(446,448) 
	  1 r(454,457) 
	  0 r(449,427) 
	  1 d(452) 
	  0 d(464) 
	  0 r(465,456) 
	  1 r(454,447) 
	  0 r(453,463) 
	  0 a(442,440) 
	  1 d(461) 
	  0 r(443,451) 
	  0 r(445,451) 
	  0 a(456,460) 
	  0 r(462,452) 
	  0 d(440) 
	  0 r(449,457) 
	  0 d(457) 
	  0 r(463,454) 
	  0 a(465,460) 
	  1 d(460) 
	  0 r(442,459) 
	  0 d(426) 
	  1 d(461) 
	  0 a(446,465) 
	  1 d(460) 
	  0 a(456,448) 
	  1 d(454) 
	  1 d(461) 
	  0 a(446,461) 
	  1 r(454,442) 
	  0 r(451,448) 
	  0 a(456,440) 
	  0 a(445,425) 
	  0 d(458) 
	  0 d(442) 
	  0 d(442) 
	  0 original
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 692
"Test Suite Evaluations": 1.47234

Compile Failures: 0
Wall-Clock Seconds Elapsed: 978.607
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.173 = 0.0189993%
  test                                945 172.479 = 18.9155%
  compile                             215 739.188 = 81.0654%
  TOTAL                                   911.841 = 93.1766% (avg CPU usage)
fbc-bug-5458-5459.tar.gz
Fri Dec 12 15:23:15 EST 2014
shutting down
