WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.5
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "one"
--crossp 0.5
--delp 0.85
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exclude-edits ""
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 1
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code false
--ignore-equiv-appends false
--ignore-standard-headers false
--ignore-string-equiv-fixes false
--ignore-untyped-returns false
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov 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 286
--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 2
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-184-64-125 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Mon Sep 23 17:34:39 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU E5-2650 0 @ 2.00GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp870c98.c /tmp/tmp179a6a.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)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 313.895)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1064
cilRep: stmts in weighted_path = 205
cilRep: total weight = 128.15
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: Modules/selectmodule.c (code bank/base file; atoms [1,1064])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.344706 MB)
search: initial population (sizeof one variant = 0.0113239 MB)
	 28 d(458) 
	 28 d(511) 
	 28 d(505) 
	 26 r(1038,1054) 
	 28 d(418) 
	 26 r(473,474) 
	 27 d(445) 
	 28 r(510,758) 
	 27 d(442) 
	 28 d(442) 
	 28 d(459) 
	 27 r(544,493) 
	 28 a(508,979) 
	 28 r(498,503) 
	 28 a(1048,743) 
	 28 d(498) 
	 27 d(558) 
	 28 a(449,505) 
	 27 d(542) 
	 28 r(1032,1053) 
	 28 a(389,491) 
	 28 d(439) 
	 28 d(1047) 
	 26 d(403) 
	 28 r(409,414) 
	 28 d(471) 
	 28 r(1060,1035) 
	 28 a(1063,646) 
	 26 d(408) 
	 28 d(384) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: DIDNT WORK, DYING 
	/root/mountpoint-genprog/genprog-many-bugs/python-bug-69223-69224/000030/Modules/selectmodule.c  r(1028,1031)  fails to compile
	  0 r(1028,1031) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	 27 a(537,927) 
	 28 d(1041) 
	 28 r(426,401) 
	 28 d(505) 
	 28 d(388) 
	 26 a(510,373) 
	 28 d(520) 
	 26 d(404) 
	 28 original
search: generation 1 (sizeof one variant = 0.345025 MB)
	 27 r(426,401) d(408) 
	 26 r(1060,1035) r(380,396) 
	 28 r(426,401) d(522) 
	 27 r(1060,1035) r(433,408) 
	 28 a(1048,743) d(1032) 
	 27 d(445) d(1054) 
	 28 a(1048,743) d(543) 
	 28 d(445) d(389) 
	 28 d(505) d(398) 
	 27 d(403) d(370) 
	 27 d(505) d(404) 
	 27 d(403) d(522) 
	 28 r(498,503) a(366,488) 
	 28 r(510,758) a(420,737) 
	 28 r(498,503) d(495) 
	 28 r(510,758) r(365,363) 
	 27 a(537,927) d(428) 
	 28 r(510,758) d(548) 
	 27 d(403) r(551,534) 
	 28 r(1060,1035) a(549,731) 
	 28 d(384) r(533,502) 
	 27 r(1032,1053) a(534,672) 
	 28 d(384) r(400,403) 
	 28 r(1032,1053) d(411) 
	 28 a(508,979) a(1056,376) 
	 27 d(505) r(366,363) 
	 28 d(498) a(1042,357) 
	 28 d(542) d(397) 
	 28 a(508,979) r(503,539) 
	 28 r(510,758) a(456,733) 
	 28 a(508,979) d(500) 
	 28 r(510,758) r(462,464) 
	 27 d(442) d(372) 
	 28 a(508,979) a(1063,504) 
	 26 d(442) d(530) 
	 28 a(508,979) d(411) 
	 27 d(1047) r(542,503) 
	 28 d(418) r(417,430) 
	 28 d(1047) d(426) 
	 28 d(418) d(1061) 
	 28 d(505) d(500) 
	 28 r(1032,1053) d(1049) 
	 28 d(458) r(463,460) 
	 28 d(418) d(1055) 
	 28 d(458) d(430) 
	 28 d(418) d(488) 
	 28 a(389,491) a(498,453) 
	 28 r(402,426) 
	 28 a(389,491) d(517) 
	 28 r(1050,1023) 
	 28 d(442) r(457,474) 
	 28 r(510,758) d(441) 
	 28 d(418) r(425,390) 
	 28 d(520) d(449) 
	 28 d(459) r(529,530) 
	 27 a(1063,646) a(534,627) 
	 28 d(418) d(508) 
	 26 d(476) 
	 28 r(1032,1053) r(488,674) 
	 28 d(442) d(529) 
	 28 r(1032,1053) d(422) 
	 28 d(442) d(500) 
search: generation 2 (sizeof one variant = 0.345887 MB)
	 27 d(442) r(457,474) r(550,555) 
	 27 r(426,401) d(408) r(447,464) 
	 28 d(418) r(417,430) d(472) 
	 27 a(389,491) d(517) d(552) 
	 28 d(418) r(425,390) a(517,420) 
	 28 a(1048,743) d(543) d(522) 
	 28 d(505) d(398) r(476,447) 
	 28 d(458) d(430) d(399) 
	 28 d(458) r(463,460) a(1040,749) 
	 27 d(1047) d(426) r(430,397) 
	 28 r(510,758) d(406) 
	 26 d(384) r(533,502) a(456,733) d(380) 
	 27 r(510,758) a(456,733) d(516) 
	 28 d(384) r(533,502) r(446,476) 
	 28 a(508,979) r(408,418) 
	 28 r(1050,1023) a(1063,504) d(1025) 
	 27 a(508,979) a(1063,504) r(478,463) 
	 28 r(1050,1023) d(520) 
	 28 r(510,758) r(365,363) a(541,889) 
	 28 a(508,979) d(500) d(524) 
	 28 r(1060,1035) d(510) 
	 28 r(1032,1053) r(488,674) a(549,731) a(533,942) 
	 28 r(1060,1035) a(549,731) a(457,473) 
	 28 r(1032,1053) r(488,674) r(1049,1034) 
	 26 d(442) d(529) d(529) 
	 27 d(442) d(500) r(459,457) 
	  0 d(442) d(500) a(1033,511) 
	 28 d(442) d(529) d(376) 
	 28 r(402,426) d(508) a(488,908) 
	 28 d(418) d(1032) 
	 27 r(402,426) a(1032,1043) 
	 28 d(418) d(508) d(1059) 
	 27 a(537,927) d(428) r(404,430) 
	 27 r(1050,1023) d(435) 
	 28 d(505) a(400,889) 
	 28 r(426,401) d(522) r(366,363) r(408,417) 
	 28 d(505) r(366,363) r(435,419) 
	 28 r(426,401) d(522) a(1038,703) 
	 27 a(508,979) d(411) r(503,556) 
	 27 d(418) d(508) d(400) 
	 27 r(510,758) d(422) r(1059,1046) 
	 28 r(1032,1053) r(462,464) r(540,498) 
	 28 r(510,758) r(462,464) r(428,409) 
	 28 r(1032,1053) d(422) r(412,427) 
	 28 a(508,979) a(1063,504) r(382,871) 
	 28 r(1032,1053) d(422) r(380,436) 
	 28 d(505) d(500) r(532,491) 
	 28 d(1047) d(426) a(526,743) 
	 28 r(498,503) d(495) r(423,418) 
	 27 r(1032,1053) d(411) r(457,446) 
	 28 r(498,503) d(495) a(455,869) 
	 28 r(1032,1053) d(411) d(452) 
	 28 a(508,979) r(503,539) r(369,359) 
	 26 d(445) d(1054) r(1057,1054) 
	 28 a(508,979) r(503,539) r(502,525) 
	 27 d(445) d(1054) d(540) 
	 26 r(1032,1053) d(1049) d(398) r(437,404) 
	 28 d(505) a(359,387) 
	 28 r(1032,1053) d(1049) a(402,505) 
	 28 d(505) d(398) d(419) 
search: generation 3 (sizeof one variant = 0.346343 MB)
	 28 d(418) d(1032) r(382,571) 
	 26 d(442) d(529) d(376) a(530,860) 
	 27 d(418) d(1032) r(546,529) 
	 28 d(442) d(529) d(376) d(365) 
	 28 a(508,979) d(500) a(470,683) 
	 26 d(505) r(366,363) r(435,419) d(524) d(498) 
	 28 a(508,979) d(500) d(524) r(513,548) 
	 28 d(505) r(366,363) r(435,419) a(477,948) 
	 28 r(1032,1053) a(1040,749) d(399) 
	 27 d(458) r(463,460) d(1049) a(402,505) r(493,556) 
	 28 r(1032,1053) d(1049) a(402,505) r(399,433) 
	 27 d(458) r(463,460) a(1040,749) d(376) 
	 27 r(498,503) d(495) a(455,869) r(429,408) 
	 27 a(508,979) r(408,418) r(405,393) 
	 27 d(442) d(500) r(462,464) r(428,409) a(368,906) 
	 27 r(510,758) r(459,457) d(513) 
	 28 d(442) d(500) r(459,457) d(1031) 
	 28 r(510,758) r(462,464) r(428,409) d(550) 
	 28 r(498,503) a(397,796) 
	 28 d(505) d(500) r(532,491) d(495) r(423,418) d(535) 
	 28 r(498,503) d(495) r(423,418) a(1027,382) 
	 28 d(505) d(500) r(532,491) a(547,696) 
	 26 a(508,979) r(408,418) r(389,390) 
	 28 r(498,503) d(495) r(423,418) r(427,398) 
	 26 a(508,979) r(408,418) d(458) 
	 26 r(498,503) d(495) r(423,418) r(1031,1008) 
	 28 r(1032,1053) r(488,674) d(508) a(488,908) d(1045) 
	 27 r(402,426) r(1049,1034) r(433,414) 
	 27 r(1032,1053) r(488,674) r(1049,1034) r(1037,1027) 
	 28 r(402,426) d(508) a(488,908) r(426,397) 
	 25 r(498,503) a(400,889) d(1034) 
	 27 d(505) d(495) a(455,869) a(502,420) 
	 28 r(498,503) d(495) a(455,869) r(551,518) 
	 28 d(505) a(400,889) r(450,893) 
	 28 d(458) r(463,460) a(458,894) 
	 28 d(505) a(400,889) a(1040,749) d(495) 
	 26 d(458) r(463,460) a(1040,749) d(417) 
	 28 d(505) a(400,889) r(494,514) 
	 28 r(426,401) d(522) r(366,363) r(408,417) r(434,428) 
	 28 d(505) d(398) d(419) a(1030,994) 
	 26 r(426,401) d(522) r(366,363) r(408,417) d(548) 
	 28 d(505) d(398) d(419) d(1042) 
	 27 d(418) r(408,418) r(1050,1043) 
	 28 a(508,979) d(1032) a(475,845) 
	 27 d(418) d(1032) d(527) 
	 27 a(508,979) r(408,418) d(1055) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: DIDNT WORK, DYING 
	/root/mountpoint-genprog/genprog-many-bugs/python-bug-69223-69224/000207/Modules/selectmodule.c  d(1047) d(426) r(430,397) r(1048,1041)  fails to compile
	  0 d(1047) d(426) r(430,397) r(1048,1041) 
	 28 d(418) d(508) d(1059) d(1033) 
	 26 d(1047) d(426) r(430,397) d(427) 
	 27 d(418) d(508) d(1059) r(538,556) 
	 28 d(505) d(398) r(462,464) r(540,498) a(449,488) 
	 27 r(1032,1053) r(476,447) d(1050) 
	 27 d(505) d(398) r(476,447) r(434,429) 
	 28 r(1032,1053) r(462,464) r(540,498) d(557) 
	 27 d(442) r(532,491) a(453,444) 
	 27 d(505) d(500) d(529) d(376) d(380) 
	 27 d(442) d(529) d(376) r(401,380) 
	 26 d(505) d(500) r(532,491) r(430,436) 
	 28 r(1032,1053) d(411) r(457,446) a(359,387) r(444,464) 
	 27 d(505) r(447,474) 
	 27 r(1032,1053) d(411) r(457,446) r(531,521) 
	 28 d(505) a(359,387) a(372,957) 
	 28 r(510,758) r(365,363) a(541,889) d(1032) d(382) 
	 28 d(418) a(408,890) 
	 28 r(510,758) r(365,363) a(541,889) d(474) 
	 28 d(418) d(1032) a(1061,796) 
	 28 r(498,503) d(495) r(423,418) r(452,941) 
	 28 d(418) r(425,390) a(517,420) r(1056,1049) 
	 28 d(505) d(398) d(419) a(1046,449) 
	 26 d(505) r(366,363) r(435,419) d(1051) 
	 28 d(505) r(366,363) r(435,419) a(471,409) 
	 28 a(508,979) r(408,418) a(432,934) 
	 25 d(505) r(366,363) r(435,419) a(1039,1040) 
	 26 a(508,979) r(408,418) d(526) 
search: generation 4 (sizeof one variant = 0.346657 MB)
	 28 r(510,758) r(365,363) a(541,889) d(474) r(465,473) 
	 28 r(1032,1053) a(1040,749) d(399) r(473,447) 
	 26 r(510,758) r(459,457) d(513) r(423,418) r(427,398) r(436,392) 
	 28 r(498,503) d(495) r(408,430) 
	 28 r(510,758) r(459,457) d(513) d(369) 
	 28 r(498,503) d(495) r(423,418) r(427,398) d(1050) 
	 28 r(510,758) r(365,363) a(541,889) d(1032) d(382) d(492) 
	 27 r(1032,1053) d(411) r(457,446) a(359,387) r(444,464) d(458) 
	 28 a(508,979) d(500) r(428,409) a(368,906) r(429,380) 
	 28 d(442) d(500) r(462,464) d(524) r(513,548) r(506,838) 
	 27 a(508,979) d(500) d(524) r(513,548) r(1036,1032) 
	 28 d(442) d(500) r(462,464) r(428,409) a(368,906) d(528) 
	 28 d(418) d(1032) a(1061,796) r(402,439) 
	  0 d(418) d(1032) r(382,571) d(1028) 
	 28 d(505) a(400,889) r(494,514) a(436,426) 
	 27 d(505) a(400,889) a(1040,749) d(495) d(1041) 
	 28 d(505) a(400,889) a(1040,749) d(495) a(1036,488) 
	 28 d(505) a(400,889) r(494,514) d(1052) 
	 28 a(508,979) d(1032) r(382,571) r(398,397) 
	 28 d(418) d(1032) a(475,845) d(514) 
	 28 a(508,979) d(1032) a(475,845) d(380) 
	 28 d(418) d(1032) r(382,571) r(459,442) 
	 28 d(505) a(400,889) a(455,869) r(551,518) d(389) 
	 28 r(498,503) d(495) r(494,514) d(505) 
	 28 d(505) a(400,889) r(494,514) d(424) 
	 28 r(498,503) d(495) a(455,869) r(551,518) r(403,394) 
	 26 d(418) a(408,890) a(508,1025) 
	 28 d(505) a(400,889) r(450,893) a(472,481) 
	 28 r(498,503) d(495) r(423,418) r(452,941) r(551,539) 
	 28 d(442) d(529) d(376) d(365) a(1052,935) 
	 27 r(498,503) d(495) r(423,418) r(452,941) d(500) 
	 28 r(498,503) d(495) a(455,869) r(551,518) d(475) 
	 28 r(498,503) d(495) a(455,869) r(551,518) r(424,380) 
	 28 r(498,503) d(495) r(423,418) r(452,941) a(496,927) 
	 28 d(505) d(398) r(462,464) r(540,498) a(449,488) d(368) 
	 28 d(418) d(1032) r(382,571) d(529) 
	 28 r(510,758) r(365,363) a(541,889) d(474) r(524,533) 
	 28 d(418) a(408,890) r(452,712) 
	 26 r(498,503) d(1032) a(1061,796) r(1038,1029) 
	 28 d(418) d(495) r(423,418) r(427,398) a(403,956) 
	 28 r(498,503) d(495) r(423,418) r(427,398) a(1038,452) 
	 27 d(418) d(1032) a(1061,796) r(553,514) 
	 26 d(418) d(1032) r(546,529) r(357,362) 
	 28 d(458) r(463,460) a(458,894) r(497,516) 
	 27 d(418) d(1032) r(546,529) r(544,491) 
	 27 d(458) r(463,460) a(458,894) d(403) 
	 28 d(442) d(529) d(376) d(365) r(447,472) 
	 27 d(505) a(400,889) r(494,514) a(527,934) 
	 28 d(505) r(405,393) r(459,441) 
	 28 a(508,979) r(408,418) d(398) d(419) a(1030,994) d(544) 
	 28 d(505) d(398) d(419) a(1030,994) a(433,725) 
	 28 a(508,979) r(408,418) r(405,393) a(445,360) 
	 27 r(510,758) r(365,363) a(541,889) d(474) r(434,429) a(365,371) 
	 26 d(505) d(398) r(476,447) a(483,510) 
	 27 r(510,758) r(365,363) a(541,889) d(474) d(1027) 
	 27 d(505) d(398) r(476,447) r(434,429) a(545,868) 
	 27 a(508,979) r(408,418) a(432,934) d(500) d(529) d(376) d(380) r(540,557) 
	 28 d(505) d(549) 
	 27 a(508,979) r(408,418) a(432,934) d(554) 
	 27 d(505) d(500) d(529) d(376) d(380) d(435) 
	 25 d(418) r(408,418) r(1050,1043) a(1046,1033) 
	 28 r(510,758) r(459,457) d(513) d(500) 
search: generation 5 (sizeof one variant = 0.346987 MB)
	 28 d(505) a(400,889) r(494,514) d(1052) d(495) r(423,418) r(427,398) d(1050) r(487,510) 
	 28 r(498,503) d(534) 
	 27 d(505) a(400,889) r(494,514) d(1052) a(461,441) 
	 28 r(498,503) d(495) r(423,418) r(427,398) d(1050) r(555,495) 
	 28 a(508,979) r(408,418) d(398) d(419) a(1030,994) d(544) d(430) 
	 26 r(510,758) r(365,363) a(541,889) d(474) r(524,533) d(1039) 
	 25 d(418) a(455,869) r(551,518) d(389) a(513,492) 
	 28 d(505) a(400,889) d(1032) a(475,845) d(514) r(544,498) 
	  0 d(418) d(1032) a(475,845) d(514) a(1028,927) 
	 28 d(505) a(400,889) a(455,869) r(551,518) d(389) r(542,543) 
	 28 d(505) a(400,889) a(1040,749) d(495) a(1036,488) d(434) 
	 28 r(510,758) r(365,363) a(541,889) d(474) r(465,473) a(518,683) 
	 27 r(498,503) d(495) r(408,430) r(369,358) 
	 26 d(505) r(405,393) r(459,441) d(1033) 
	 28 a(508,979) d(1032) a(475,845) d(380) d(411) 
	 27 a(508,979) d(1032) a(475,845) d(380) r(442,470) 
	 28 d(418) d(419) a(1030,994) d(544) a(433,709) 
	 28 a(508,979) r(408,418) d(398) a(408,890) r(452,712) r(538,492) 
	 28 d(418) a(408,890) r(452,712) d(537) 
	 26 a(508,979) r(408,418) d(398) d(419) a(1030,994) d(544) r(1059,1028) 
	 28 r(510,758) r(459,457) d(513) d(1032) r(382,571) r(459,442) d(553) 
	 25 d(418) d(369) a(535,848) 
	 27 r(510,758) r(459,457) d(513) d(369) d(1045) 
	 28 d(418) d(1032) r(382,571) r(459,442) d(496) 
	 27 d(418) d(1032) r(427,398) a(403,956) r(366,359) 
	 26 d(418) d(495) r(423,418) r(382,571) r(459,442) r(1038,1063) 
	 27 d(418) d(1032) r(382,571) r(459,442) r(435,436) 
	 28 d(418) d(495) r(423,418) r(427,398) a(403,956) d(534) 
	 28 d(442) d(529) d(376) d(365) r(447,472) r(423,430) 
	 24 d(442) d(529) d(376) d(365) a(1052,935) d(374) 
	 28 a(508,979) r(408,418) d(398) d(419) a(1030,994) d(544) r(405,407) 
	 28 d(505) d(398) r(476,447) a(483,510) r(424,425) 
	 28 d(505) a(400,889) a(1040,749) d(495) a(1036,488) a(502,606) 
	 26 d(505) a(400,889) r(494,514) a(436,426) r(454,465) 
	 28 d(418) d(495) r(423,418) a(541,889) d(1032) d(382) d(492) r(517,527) 
	 27 r(510,758) r(365,363) r(427,398) a(403,956) r(1030,1043) 
	 27 d(418) d(495) r(423,418) r(427,398) a(403,956) d(548) 
	 28 r(510,758) r(365,363) a(541,889) d(1032) d(382) d(492) d(492) 
	  1 r(1032,1053) a(1040,749) d(399) r(473,447) r(427,398) d(1050) a(1043,907) 
	 28 r(498,503) d(495) r(423,418) r(483,502) 
	 27 r(1032,1053) a(1040,749) d(399) r(473,447) r(371,364) 
	 28 r(498,503) d(495) r(423,418) r(427,398) d(1050) d(1029) 
	 28 r(510,758) r(365,363) a(541,889) d(1032) r(429,380) d(436) 
	 28 a(508,979) d(500) r(428,409) a(368,906) d(382) d(492) a(517,521) 
	 27 r(510,758) r(365,363) a(541,889) d(1032) d(382) d(492) r(424,411) 
	 28 a(508,979) d(500) r(428,409) a(368,906) r(429,380) a(418,417) 
	 28 d(418) d(1032) r(382,571) r(452,941) r(551,539) r(393,430) 
	 28 r(498,503) d(495) r(423,418) d(529) a(404,393) 
	 28 d(418) d(1032) r(382,571) d(529) d(506) 
	 28 r(498,503) d(495) r(423,418) r(452,941) r(551,539) d(470) 
	 27 d(505) d(398) r(402,439) a(499,453) 
	 28 d(418) d(1032) a(1061,796) d(419) a(1030,994) a(433,725) r(1032,1050) 
	 28 d(505) d(398) d(419) a(1030,994) a(433,725) r(374,407) 
	 27 d(418) d(1032) a(1061,796) r(402,439) d(426) 
	 27 d(458) r(463,460) a(458,894) r(497,516) r(459,441) d(1045) 
	 28 d(505) r(405,393) d(517) 
	 28 d(458) r(463,460) a(458,894) r(497,516) r(1059,1051) 
	 28 d(505) r(405,393) r(459,441) d(1046) 
	 27 r(498,503) d(495) r(423,418) r(452,941) a(496,927) r(508,907) 
	 27 r(510,758) r(459,457) d(513) d(500) d(1028) 
	 27 a(508,979) r(408,418) d(398) d(419) d(529) a(374,401) 
	 27 d(418) d(1032) r(382,571) a(1030,994) d(544) a(505,650) 
	 26 a(508,979) r(408,418) d(398) d(419) a(1030,994) d(544) d(1025) 
	 28 d(418) d(1032) r(382,571) d(529) r(371,359) 
search: generation 6 (sizeof one variant = 0.347139 MB)
	 28 d(505) d(419) a(1030,994) d(544) r(405,407) d(538) 
	 27 a(508,979) r(408,418) d(398) r(405,393) d(517) d(369) 
	 28 d(505) r(405,393) d(517) r(511,963) 
	 25 a(508,979) r(408,418) d(398) d(419) a(1030,994) d(544) r(405,407) d(452) 
	 28 d(505) d(398) d(419) r(371,359) d(1042) 
	 28 d(418) d(1032) r(382,571) d(529) a(1030,994) a(433,725) r(374,407) r(483,522) 
	 27 d(505) d(398) d(419) a(1030,994) a(433,725) r(374,407) r(458,457) 
	 28 d(418) d(1032) r(382,571) d(529) r(371,359) r(388,414) 
	 28 d(418) d(1032) r(427,398) a(403,956) r(366,359) d(1029) 
	 28 d(418) d(1032) r(382,571) r(459,442) r(435,436) d(456) 
	 28 d(418) d(1032) r(382,571) r(459,442) r(435,436) r(463,454) 
	 26 d(418) d(1032) r(427,398) a(403,956) r(366,359) d(461) 
	 28 d(505) r(405,393) r(459,441) d(1046) a(1036,522) 
	 28 r(498,503) d(495) r(423,418) r(427,398) d(1050) d(1029) d(384) 
	 28 d(505) a(403,956) d(534) r(406,408) 
	 28 d(418) d(495) r(423,418) r(427,398) a(400,889) r(494,514) d(1052) a(461,441) d(1058) 
	 27 d(505) a(400,889) r(494,514) d(1052) a(461,441) r(463,457) 
	 28 d(418) d(495) r(423,418) r(427,398) a(403,956) d(534) a(1030,1044) 
	 28 r(510,758) r(365,363) a(541,889) d(1032) r(429,380) d(436) r(501,502) 
	 28 d(442) d(529) d(376) d(365) r(447,472) r(423,430) d(416) 
	 26 a(508,979) r(408,418) d(500) r(428,409) a(368,906) r(429,380) a(418,417) r(476,472) 
	 27 a(508,979) d(398) d(419) a(1030,994) d(544) d(430) d(437) 
	 27 a(508,979) r(408,418) d(398) d(419) a(1030,994) d(544) d(430) r(1059,1056) 
	 28 a(508,979) d(500) r(428,409) a(368,906) r(429,380) a(418,417) a(397,428) 
	 28 a(508,979) d(500) r(428,409) a(368,906) d(382) d(492) a(517,521) r(414,1004) 
	 28 d(418) d(1032) r(382,571) r(452,941) r(551,539) r(393,430) a(497,646) 
	 27 d(418) d(419) a(1030,994) d(544) a(433,709) r(513,502) 
	 26 d(418) d(1032) r(382,571) r(459,442) r(435,436) r(370,365) 
	 28 d(505) a(400,889) a(1040,749) d(495) d(518) 
	 28 d(442) d(529) d(376) d(365) r(447,472) r(423,430) a(1036,488) a(502,606) d(521) 
	 28 d(505) a(400,889) a(1040,749) d(495) a(1036,488) a(502,606) r(449,962) 
	 28 d(442) d(529) d(376) d(365) r(447,472) r(423,430) a(530,880) 
	 27 r(498,503) d(495) r(408,430) r(369,358) d(365) a(1052,935) d(374) d(423) 
	 27 d(442) d(529) d(376) r(549,499) 
*** 720m timeout
python-bug-69223-69224.tar.gz
Tue Sep 24 05:31:36 EDT 2013
shutting down
