--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 2
--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 144
--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 3
--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-123 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:07:11 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-2651 v2 @ 1.80GHz
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/tmp6bfd37.c /tmp/tmp2d4199.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/mpz/gcdext.c: parsing
cilRep: preprocessed/mpz/gcdext.c: parsed (0.127402 MB)
cilrep: from_source: post: stmt_count: 557
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)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 123.269)
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 = 557
cilRep: stmts in weighted_path = 154
cilRep: total weight = 99.5
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: mpz/gcdext.c (code bank/base file; atoms [1,557])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.00754166 MB)
search: initial population (sizeof one variant = 0.00973606 MB)
	  0 d(231) 
	  0 r(507,530) 
	  0 a(493,499) 
	  0 r(410,472) 
	  0 d(481) 
	  0 d(551) 
	  0 r(469,482) 
	  0 r(439,539) 
	  0 d(451) 
	  0 d(513) 
	  0 r(452,468) 
	  0 a(533,533) 
	  0 r(525,406) 
	/root/mountpoint-genprog/genprog-many-bugs/gmp-bug-14166-14167/000013/mpz/gcdext.c  a(424,531)  fails to compile
	  0 a(424,531) 
	  0 d(481) 
	  0 a(508,231) 
	  0 d(471) 
	  0 a(470,509) 
	  0 r(538,420) 
	  0 r(455,484) 
	  0 d(522) 
	  0 r(468,417) 
	  0 a(432,419) 
	  0 r(557,523) 
	  0 a(454,413) 
	  0 a(429,448) 
	  0 r(465,455) 
	  0 d(432) 
	  0 d(529) 
	  0 r(512,524) 
	  0 r(539,467) 
	  0 r(541,420) 
	  0 r(444,523) 
	  0 a(468,433) 
	  0 r(422,520) 
	  0 r(421,547) 
	  0 r(486,550) 
	  0 d(450) 
	  0 a(518,515) 
	  0 d(436) 
	  0 a(241,501) 
	  0 d(433) 
	  0 a(502,525) 
	  0 r(507,544) 
	  0 r(505,513) 
	  0 d(499) 
	/root/mountpoint-genprog/genprog-many-bugs/gmp-bug-14166-14167/000045/mpz/gcdext.c  r(490,237)  fails to compile
	  0 r(490,237) 
	  0 d(468) 
	  0 r(506,430) 
	  0 r(505,510) 
	  0 d(491) 
	  0 d(557) 
	  0 d(455) 
	  0 a(528,538) 
	  0 r(555,520) 
	  0 a(526,466) 
	  0 a(463,412) 
	  0 d(430) 
	  0 d(453) 
	  0 d(512) 
	  0 r(486,501) 
	  0 a(524,500) 
	  0 d(406) 
	  0 r(539,552) 
	  0 a(470,509) 
	  0 a(493,439) 
	  0 a(228,463) 
	  0 a(553,474) 
	  0 a(537,492) 
	  0 r(428,500) 
	  0 a(517,495) 
	  0 r(525,445) 
	  0 a(557,435) 
	  0 a(426,493) 
	  0 d(531) 
	  0 d(451) 
	  0 d(528) 
	  0 r(497,489) 
	  0 d(426) 
	  0 r(531,508) 
	  0 a(551,447) 
	  0 a(452,477) 
	  0 d(409) 
	  0 d(413) 
	  0 a(425,530) 
	  0 r(506,511) 
	  0 d(470) 
	  0 a(523,410) 
	  0 r(556,533) 
	145 r(237,229) 

Repair Found: r(237,229)
Repair Name: r(237,229) 
Test Condition: 0
Test Cases Skipped: ""
Current Time: 1418415508.640375
Rep: saving test cache

Variant Test Case Queries: 234
"Test Suite Evaluations": 1.61379

Compile Failures: 2
Wall-Clock Seconds Elapsed: 677.641
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.262 = 0.0438171%
  compile                              87 275.009 = 45.9855%
  test                                373 322.763 = 53.9707%
  TOTAL                                   598.034 = 88.2513% (avg CPU usage)
