About the Execution of Smart for DLCflexbar-PT-8b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 385.151 | 3600000.00 | 3600060.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472600616.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DLCflexbar-PT-8b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472600616
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 7.6K Feb 25 14:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 14:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 14:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 14:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 25 15:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 15:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 14:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 14:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 20M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678254736842
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-8b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 8b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 47560 places, 76160 transitions, 216499 arcs.
AT ITER 0 NEW BEST:: SOT -1837963823 SOS 584606968 HAS SOPS 584606968 HAS SOUS 326578184 HAS SOUPS 326578184 WITH SCORE 3.27162790968E8
AT ITER 10 NEW BEST:: SOT -1837970209 SOS 584605077 HAS SOPS 584605077 HAS SOUS 326576293 HAS SOUPS 326576293 WITH SCORE 3.27160898077E8
AT ITER 17 NEW BEST:: SOT -1837970209 SOS 584601699 HAS SOPS 584601699 HAS SOUS 326576293 HAS SOUPS 326576293 WITH SCORE 3.27160894699E8
AT ITER 21 NEW BEST:: SOT -1837973405 SOS 584595307 HAS SOPS 584595307 HAS SOUS 326569901 HAS SOUPS 326569901 WITH SCORE 3.27154496307E8
AT ITER 63 NEW BEST:: SOT -1837982076 SOS 584587933 HAS SOPS 584587933 HAS SOUS 326562527 HAS SOUPS 326562527 WITH SCORE 3.27147114933E8
AT ITER 68 NEW BEST:: SOT -1837982076 SOS 584574466 HAS SOPS 584574466 HAS SOUS 326562527 HAS SOUPS 326562527 WITH SCORE 3.27147101466E8
AT ITER 126 NEW BEST:: SOT -1837982076 SOS 584574466 HAS SOPS 584574466 HAS SOUS 326562526 HAS SOUPS 326562526 WITH SCORE 3.27147100466E8
AT ITER 145 NEW BEST:: SOT -1837987436 SOS 584558386 HAS SOPS 584558386 HAS SOUS 326554621 HAS SOUPS 326554621 WITH SCORE 3.27139179386E8
AT ITER 203 NEW BEST:: SOT -1837989861 SOS 584553536 HAS SOPS 584553536 HAS SOUS 326549771 HAS SOUPS 326549771 WITH SCORE 3.27134324536E8
AT ITER 229 NEW BEST:: SOT -1838002718 SOS 584527822 HAS SOPS 584527822 HAS SOUS 326524057 HAS SOUPS 326524057 WITH SCORE 3.27108584822E8
AT ITER 249 NEW BEST:: SOT -1838005869 SOS 584521520 HAS SOPS 584521520 HAS SOUS 326523115 HAS SOUPS 326523115 WITH SCORE 3.2710763652E8
AT ITER 256 NEW BEST:: SOT -1838005869 SOS 584521520 HAS SOPS 584521520 HAS SOUS 326523114 HAS SOUPS 326523114 WITH SCORE 3.2710763552E8
AT ITER 263 NEW BEST:: SOT -1838005869 SOS 584552410 HAS SOPS 584552410 HAS SOUS 326520180 HAS SOUPS 326520180 WITH SCORE 3.2710473241E8
AT ITER 271 NEW BEST:: SOT -1838005869 SOS 584551407 HAS SOPS 584551407 HAS SOUS 326520180 HAS SOUPS 326520180 WITH SCORE 3.27104731407E8
AT ITER 280 NEW BEST:: SOT -1838007640 SOS 584554945 HAS SOPS 584554945 HAS SOUS 326518408 HAS SOUPS 326518408 WITH SCORE 3.27102962945E8
AT ITER 288 NEW BEST:: SOT -1838007640 SOS 584542450 HAS SOPS 584542450 HAS SOUS 326518407 HAS SOUPS 326518407 WITH SCORE 3.2710294945E8
AT ITER 290 NEW BEST:: SOT -1838007640 SOS 584540396 HAS SOPS 584540396 HAS SOUS 326517380 HAS SOUPS 326517380 WITH SCORE 3.27101920396E8
AT ITER 296 NEW BEST:: SOT -1838007640 SOS 584528633 HAS SOPS 584528633 HAS SOUS 326517379 HAS SOUPS 326517379 WITH SCORE 3.27101907633E8
AT ITER 298 NEW BEST:: SOT -1838007640 SOS 584528633 HAS SOPS 584528633 HAS SOUS 326517378 HAS SOUPS 326517378 WITH SCORE 3.27101906633E8
AT ITER 310 NEW BEST:: SOT -1838007640 SOS 584528633 HAS SOPS 584528633 HAS SOUS 326517377 HAS SOUPS 326517377 WITH SCORE 3.27101905633E8
AT ITER 319 NEW BEST:: SOT -1838007640 SOS 584528633 HAS SOPS 584528633 HAS SOUS 326517376 HAS SOUPS 326517376 WITH SCORE 3.27101904633E8
AT ITER 320 NEW BEST:: SOT -1838012201 SOS 584537747 HAS SOPS 584537747 HAS SOUS 326512813 HAS SOUPS 326512813 WITH SCORE 3.27097350747E8
AT ITER 325 NEW BEST:: SOT -1838011891 SOS 584537127 HAS SOPS 584537127 HAS SOUS 326512813 HAS SOUPS 326512813 WITH SCORE 3.27097350127E8
AT ITER 367 NEW BEST:: SOT -1838019498 SOS 584552638 HAS SOPS 584552638 HAS SOUS 326496679 HAS SOUPS 326496679 WITH SCORE 3.27081231638E8
AT ITER 418 NEW BEST:: SOT -1838032923 SOS 584539203 HAS SOPS 584539203 HAS SOUS 326483253 HAS SOUPS 326483253 WITH SCORE 3.27067792203E8
AT ITER 432 NEW BEST:: SOT -1838032923 SOS 584521797 HAS SOPS 584521797 HAS SOUS 326483252 HAS SOUPS 326483252 WITH SCORE 3.27067773797E8
AT ITER 433 NEW BEST:: SOT -1838032924 SOS 584521795 HAS SOPS 584521795 HAS SOUS 326483250 HAS SOUPS 326483250 WITH SCORE 3.27067771795E8
AT ITER 460 NEW BEST:: SOT -1838034567 SOS 584518510 HAS SOPS 584518510 HAS SOUS 326479965 HAS SOUPS 326479965 WITH SCORE 3.2706448351E8
AT ITER 514 NEW BEST:: SOT -1838040875 SOS 584505894 HAS SOPS 584505894 HAS SOUS 326467349 HAS SOUPS 326467349 WITH SCORE 3.27051854894E8
AT ITER 571 NEW BEST:: SOT -1838040878 SOS 584505888 HAS SOPS 584505888 HAS SOUS 326467343 HAS SOUPS 326467343 WITH SCORE 3.27051848888E8
AT ITER 572 NEW BEST:: SOT -1838041068 SOS 584505508 HAS SOPS 584505508 HAS SOUS 326463622 HAS SOUPS 326463622 WITH SCORE 3.27048127508E8
AT ITER 640 NEW BEST:: SOT -1838041634 SOS 584504372 HAS SOPS 584504372 HAS SOUS 326462489 HAS SOUPS 326462489 WITH SCORE 3.27046993372E8
AT ITER 648 NEW BEST:: SOT -1838043252 SOS 584507604 HAS SOPS 584507604 HAS SOUS 326460870 HAS SOUPS 326460870 WITH SCORE 3.27045377604E8
AT ITER 686 NEW BEST:: SOT -1838052518 SOS 584498334 HAS SOPS 584498334 HAS SOUS 326451603 HAS SOUPS 326451603 WITH SCORE 3.27036101334E8
AT ITER 701 NEW BEST:: SOT -1838052518 SOS 584493987 HAS SOPS 584493987 HAS SOUS 326450154 HAS SOUPS 326450154 WITH SCORE 3.27034647987E8
AT ITER 758 NEW BEST:: SOT -1838068147 SOS 584478358 HAS SOPS 584478358 HAS SOUS 326434525 HAS SOUPS 326434525 WITH SCORE 3.27019003358E8
AT ITER 790 NEW BEST:: SOT -1838068147 SOS 584477898 HAS SOPS 584477898 HAS SOUS 326434065 HAS SOUPS 326434065 WITH SCORE 3.27018542898E8
AT ITER 792 NEW BEST:: SOT -1838075454 SOS 584470591 HAS SOPS 584470591 HAS SOUS 326426758 HAS SOUPS 326426758 WITH SCORE 3.27011228591E8
AT ITER 795 NEW BEST:: SOT -1838075454 SOS 584469245 HAS SOPS 584469245 HAS SOUS 326426085 HAS SOUPS 326426085 WITH SCORE 3.27010554245E8
AT ITER 831 NEW BEST:: SOT -1838085863 SOS 584462359 HAS SOPS 584462359 HAS SOUS 326419199 HAS SOUPS 326419199 WITH SCORE 3.27003661359E8
AT ITER 832 NEW BEST:: SOT -1838089046 SOS 584459176 HAS SOPS 584459176 HAS SOUS 326412833 HAS SOUPS 326412833 WITH SCORE 3.26997292176E8
AT ITER 835 NEW BEST:: SOT -1838089046 SOS 584459176 HAS SOPS 584459176 HAS SOUS 326412832 HAS SOUPS 326412832 WITH SCORE 3.26997291176E8
AT ITER 953 NEW BEST:: SOT -1838091554 SOS 584456668 HAS SOPS 584456668 HAS SOUS 326410324 HAS SOUPS 326410324 WITH SCORE 3.26994780668E8
AT ITER 979 NEW BEST:: SOT -1838102065 SOS 584464887 HAS SOPS 584464887 HAS SOUS 326409560 HAS SOUPS 326409560 WITH SCORE 3.26994024887E8
AT ITER 984 NEW BEST:: SOT -1838110591 SOS 584456361 HAS SOPS 584456361 HAS SOUS 326401034 HAS SOUPS 326401034 WITH SCORE 3.26985490361E8
AT ITER 991 NEW BEST:: SOT -1838118567 SOS 584448385 HAS SOPS 584448385 HAS SOUS 326393058 HAS SOUPS 326393058 WITH SCORE 3.26977506385E8
AT ITER 1043 NEW BEST:: SOT -1838118568 SOS 584448383 HAS SOPS 584448383 HAS SOUS 326393056 HAS SOUPS 326393056 WITH SCORE 3.26977504383E8
AT ITER 1055 NEW BEST:: SOT -1838135241 SOS 584431710 HAS SOPS 584431710 HAS SOUS 326376383 HAS SOUPS 326376383 WITH SCORE 3.2696081471E8
AT ITER 1073 NEW BEST:: SOT -1838144716 SOS 584447088 HAS SOPS 584447088 HAS SOUS 326357432 HAS SOUPS 326357432 WITH SCORE 3.26941879088E8
AT ITER 1091 NEW BEST:: SOT -1838146202 SOS 584445601 HAS SOPS 584445601 HAS SOUS 326357414 HAS SOUPS 326357414 WITH SCORE 3.26941859601E8
AT ITER 1092 NEW BEST:: SOT -1838159476 SOS 584438964 HAS SOPS 584438964 HAS SOUS 326350777 HAS SOUPS 326350777 WITH SCORE 3.26935215964E8
AT ITER 1098 NEW BEST:: SOT -1838159476 SOS 584438964 HAS SOPS 584438964 HAS SOUS 326350776 HAS SOUPS 326350776 WITH SCORE 3.26935214964E8
AT ITER 1109 NEW BEST:: SOT -1838161627 SOS 584451291 HAS SOPS 584451291 HAS SOUS 326349736 HAS SOUPS 326349736 WITH SCORE 3.26934187291E8
AT ITER 1117 NEW BEST:: SOT -1838163496 SOS 584447553 HAS SOPS 584447553 HAS SOUS 326339741 HAS SOUPS 326339741 WITH SCORE 3.26924188553E8
AT ITER 1120 NEW BEST:: SOT -1838164741 SOS 584442573 HAS SOPS 584442573 HAS SOUS 326338496 HAS SOUPS 326338496 WITH SCORE 3.26922938573E8
AT ITER 1145 NEW BEST:: SOT -1838166710 SOS 584438635 HAS SOPS 584438635 HAS SOUS 326334558 HAS SOUPS 326334558 WITH SCORE 3.26918996635E8
AT ITER 1169 NEW BEST:: SOT -1838176022 SOS 584432510 HAS SOPS 584432510 HAS SOUS 326328433 HAS SOUPS 326328433 WITH SCORE 3.2691286551E8
AT ITER 1179 NEW BEST:: SOT -1838182235 SOS 584426293 HAS SOPS 584426293 HAS SOUS 326322219 HAS SOUPS 326322219 WITH SCORE 3.26906645293E8
AT ITER 1184 NEW BEST:: SOT -1838182235 SOS 584445846 HAS SOPS 584445846 HAS SOUS 326315699 HAS SOUPS 326315699 WITH SCORE 3.26900144846E8
AT ITER 1196 NEW BEST:: SOT -1838182235 SOS 584462726 HAS SOPS 584462726 HAS SOUS 326310070 HAS SOUPS 326310070 WITH SCORE 3.26894532726E8
AT ITER 1223 NEW BEST:: SOT -1838183645 SOS 584459906 HAS SOPS 584459906 HAS SOUS 326307250 HAS SOUPS 326307250 WITH SCORE 3.26891709906E8
AT ITER 1226 NEW BEST:: SOT -1838183645 SOS 584453855 HAS SOPS 584453855 HAS SOUS 326305233 HAS SOUPS 326305233 WITH SCORE 3.26889686855E8
AT ITER 1269 NEW BEST:: SOT -1838190553 SOS 584450254 HAS SOPS 584450254 HAS SOUS 326301632 HAS SOUPS 326301632 WITH SCORE 3.26886082254E8
AT ITER 1279 NEW BEST:: SOT -1838190553 SOS 584448956 HAS SOPS 584448956 HAS SOUS 326300983 HAS SOUPS 326300983 WITH SCORE 3.26885431956E8
AT ITER 1347 NEW BEST:: SOT -1838190554 SOS 584448954 HAS SOPS 584448954 HAS SOUS 326300981 HAS SOUPS 326300981 WITH SCORE 3.26885429954E8
AT ITER 1356 NEW BEST:: SOT -1838198126 SOS 584456522 HAS SOPS 584456522 HAS SOUS 326285836 HAS SOUPS 326285836 WITH SCORE 3.26870292522E8
AT ITER 1373 NEW BEST:: SOT -1838201662 SOS 584487249 HAS SOPS 584487249 HAS SOUS 326284439 HAS SOUPS 326284439 WITH SCORE 3.26868926249E8
AT ITER 1385 NEW BEST:: SOT -1838201663 SOS 584487247 HAS SOPS 584487247 HAS SOUS 326284437 HAS SOUPS 326284437 WITH SCORE 3.26868924247E8
AT ITER 1388 NEW BEST:: SOT -1838203358 SOS 584490637 HAS SOPS 584490637 HAS SOUS 326282742 HAS SOUPS 326282742 WITH SCORE 3.26867232637E8
AT ITER 1422 NEW BEST:: SOT -1838203360 SOS 584490633 HAS SOPS 584490633 HAS SOUS 326282738 HAS SOUPS 326282738 WITH SCORE 3.26867228633E8
AT ITER 1423 NEW BEST:: SOT -1838214017 SOS 584486149 HAS SOPS 584486149 HAS SOUS 326277691 HAS SOUPS 326277691 WITH SCORE 3.26862177149E8
AT ITER 1424 NEW BEST:: SOT -1838214795 SOS 584484593 HAS SOPS 584484593 HAS SOUS 326276135 HAS SOUPS 326276135 WITH SCORE 3.26860619593E8
AT ITER 1434 NEW BEST:: SOT -1838214795 SOS 584475878 HAS SOPS 584475878 HAS SOUS 326273230 HAS SOUPS 326273230 WITH SCORE 3.26857705878E8
AT ITER 1468 NEW BEST:: SOT -1838215184 SOS 584475100 HAS SOPS 584475100 HAS SOUS 326272841 HAS SOUPS 326272841 WITH SCORE 3.268573161E8
AT ITER 1546 NEW BEST:: SOT -1838215184 SOS 584461609 HAS SOPS 584461609 HAS SOUS 326272840 HAS SOUPS 326272840 WITH SCORE 3.26857301609E8
AT ITER 1598 NEW BEST:: SOT -1838215184 SOS 584461609 HAS SOPS 584461609 HAS SOUS 326272839 HAS SOUPS 326272839 WITH SCORE 3.26857300609E8
AT ITER 1600 NEW BEST:: SOT -1838215184 SOS 584461609 HAS SOPS 584461609 HAS SOUS 326261637 HAS SOUPS 326261637 WITH SCORE 3.26846098609E8
AT ITER 1605 NEW BEST:: SOT -1838215184 SOS 584459818 HAS SOPS 584459818 HAS SOUS 326259845 HAS SOUPS 326259845 WITH SCORE 3.26844304818E8
AT ITER 1642 NEW BEST:: SOT -1838215184 SOS 584456122 HAS SOPS 584456122 HAS SOUS 326258613 HAS SOUPS 326258613 WITH SCORE 3.26843069122E8
AT ITER 1654 NEW BEST:: SOT -1838214071 SOS 584458348 HAS SOPS 584458348 HAS SOUS 326256241 HAS SOUPS 326256241 WITH SCORE 3.26840699348E8
AT ITER 1681 NEW BEST:: SOT -1838229306 SOS 584443113 HAS SOPS 584443113 HAS SOUS 326241006 HAS SOUPS 326241006 WITH SCORE 3.26825449113E8
AT ITER 1713 NEW BEST:: SOT -1838233938 SOS 584433849 HAS SOPS 584433849 HAS SOUS 326231742 HAS SOUPS 326231742 WITH SCORE 3.26816175849E8
AT ITER 1762 NEW BEST:: SOT -1838233938 SOS 584432801 HAS SOPS 584432801 HAS SOUS 326231218 HAS SOUPS 326231218 WITH SCORE 3.26815650801E8
AT ITER 1767 NEW BEST:: SOT -1838243202 SOS 584434817 HAS SOPS 584434817 HAS SOUS 326231033 HAS SOUPS 326231033 WITH SCORE 3.26815467817E8
AT ITER 1795 NEW BEST:: SOT -1838250867 SOS 584434807 HAS SOPS 584434807 HAS SOUS 326226280 HAS SOUPS 326226280 WITH SCORE 3.26810714807E8
AT ITER 1801 NEW BEST:: SOT -1838260305 SOS 584425369 HAS SOPS 584425369 HAS SOUS 326216842 HAS SOUPS 326216842 WITH SCORE 3.26801267369E8
AT ITER 1810 NEW BEST:: SOT -1838269451 SOS 584425366 HAS SOPS 584425366 HAS SOUS 326198549 HAS SOUPS 326198549 WITH SCORE 3.26782974366E8
AT ITER 1839 NEW BEST:: SOT -1838269451 SOS 584421799 HAS SOPS 584421799 HAS SOUS 326197360 HAS SOUPS 326197360 WITH SCORE 3.26781781799E8
AT ITER 1859 NEW BEST:: SOT -1838267551 SOS 584425599 HAS SOPS 584425599 HAS SOUS 326193319 HAS SOUPS 326193319 WITH SCORE 3.26777744599E8
AT ITER 1869 NEW BEST:: SOT -1838271601 SOS 584421549 HAS SOPS 584421549 HAS SOUS 326189269 HAS SOUPS 326189269 WITH SCORE 3.26773690549E8
AT ITER 1884 NEW BEST:: SOT -1838273638 SOS 584427688 HAS SOPS 584427688 HAS SOUS 326187231 HAS SOUPS 326187231 WITH SCORE 3.26771658688E8
AT ITER 1962 NEW BEST:: SOT -1838283672 SOS 584407620 HAS SOPS 584407620 HAS SOUS 326167163 HAS SOUPS 326167163 WITH SCORE 3.2675157062E8
AT ITER 1967 NEW BEST:: SOT -1838295886 SOS 584383192 HAS SOPS 584383192 HAS SOUS 326154949 HAS SOUPS 326154949 WITH SCORE 3.26739332192E8
AT ITER 1990 NEW BEST:: SOT -1838300623 SOS 584387925 HAS SOPS 584387925 HAS SOUS 326152335 HAS SOUPS 326152335 WITH SCORE 3.26736722925E8
AT ITER 1991 NEW BEST:: SOT -1838304691 SOS 584456009 HAS SOPS 584456009 HAS SOUS 326144198 HAS SOUPS 326144198 WITH SCORE 3.26728654009E8
AT ITER 2021 NEW BEST:: SOT -1838304692 SOS 584456007 HAS SOPS 584456007 HAS SOUS 326144196 HAS SOUPS 326144196 WITH SCORE 3.26728652007E8
AT ITER 2027 NEW BEST:: SOT -1838313524 SOS 584447591 HAS SOPS 584447591 HAS SOUS 326135780 HAS SOUPS 326135780 WITH SCORE 3.26720227591E8
AT ITER 2039 NEW BEST:: SOT -1838315090 SOS 584447588 HAS SOPS 584447588 HAS SOUS 326135779 HAS SOUPS 326135779 WITH SCORE 3.26720226588E8
AT ITER 2047 NEW BEST:: SOT -1838310311 SOS 584431436 HAS SOPS 584431436 HAS SOUS 326134377 HAS SOUPS 326134377 WITH SCORE 3.26718808436E8
AT ITER 2132 NEW BEST:: SOT -1838311924 SOS 584431753 HAS SOPS 584431753 HAS SOUS 326134333 HAS SOUPS 326134333 WITH SCORE 3.26718764753E8
AT ITER 2135 NEW BEST:: SOT -1838312013 SOS 584431842 HAS SOPS 584431842 HAS SOUS 326134244 HAS SOUPS 326134244 WITH SCORE 3.26718675842E8
AT ITER 2137 NEW BEST:: SOT -1838319581 SOS 584429879 HAS SOPS 584429879 HAS SOUS 326132281 HAS SOUPS 326132281 WITH SCORE 3.26716710879E8
AT ITER 2140 NEW BEST:: SOT -1838319581 SOS 584425631 HAS SOPS 584425631 HAS SOUS 326130157 HAS SOUPS 326130157 WITH SCORE 3.26714582631E8
AT ITER 2177 NEW BEST:: SOT -1838328927 SOS 584420958 HAS SOPS 584420958 HAS SOUS 326125484 HAS SOUPS 326125484 WITH SCORE 3.26709904958E8
AT ITER 2218 NEW BEST:: SOT -1838332550 SOS 584413712 HAS SOPS 584413712 HAS SOUS 326118238 HAS SOUPS 326118238 WITH SCORE 3.26702651712E8
AT ITER 2220 NEW BEST:: SOT -1838335996 SOS 584406820 HAS SOPS 584406820 HAS SOUS 326111346 HAS SOUPS 326111346 WITH SCORE 3.2669575282E8
AT ITER 2284 NEW BEST:: SOT -1838335996 SOS 584405071 HAS SOPS 584405071 HAS SOUS 326110763 HAS SOUPS 326110763 WITH SCORE 3.26695168071E8
AT ITER 2289 NEW BEST:: SOT -1838335996 SOS 584392111 HAS SOPS 584392111 HAS SOUS 326110763 HAS SOUPS 326110763 WITH SCORE 3.26695155111E8
AT ITER 2295 NEW BEST:: SOT -1838337174 SOS 584389755 HAS SOPS 584389755 HAS SOUS 326109584 HAS SOUPS 326109584 WITH SCORE 3.26693973755E8
AT ITER 2314 NEW BEST:: SOT -1838338098 SOS 584387907 HAS SOPS 584387907 HAS SOUS 326107736 HAS SOUPS 326107736 WITH SCORE 3.26692123907E8
AT ITER 2345 NEW BEST:: SOT -1838344106 SOS 584378976 HAS SOPS 584378976 HAS SOUS 326098643 HAS SOUPS 326098643 WITH SCORE 3.26683021976E8
AT ITER 2372 NEW BEST:: SOT -1838346442 SOS 584374304 HAS SOPS 584374304 HAS SOUS 326093078 HAS SOUPS 326093078 WITH SCORE 3.26677452304E8
AT ITER 2374 NEW BEST:: SOT -1838346442 SOS 584363450 HAS SOPS 584363450 HAS SOUS 326089460 HAS SOUPS 326089460 WITH SCORE 3.2667382345E8
AT ITER 2391 NEW BEST:: SOT -1838359736 SOS 584356803 HAS SOPS 584356803 HAS SOUS 326082813 HAS SOUPS 326082813 WITH SCORE 3.26667169803E8
AT ITER 2398 NEW BEST:: SOT -1838370438 SOS 584346097 HAS SOPS 584346097 HAS SOUS 326072110 HAS SOUPS 326072110 WITH SCORE 3.26656456097E8
AT ITER 2452 NEW BEST:: SOT -1838372472 SOS 584344063 HAS SOPS 584344063 HAS SOUS 326070076 HAS SOUPS 326070076 WITH SCORE 3.26654420063E8
AT ITER 2454 NEW BEST:: SOT -1838372472 SOS 584341330 HAS SOPS 584341330 HAS SOUS 326069165 HAS SOUPS 326069165 WITH SCORE 3.2665350633E8
AT ITER 2468 NEW BEST:: SOT -1838375958 SOS 584334358 HAS SOPS 584334358 HAS SOUS 326065678 HAS SOUPS 326065678 WITH SCORE 3.26650012358E8
AT ITER 2477 NEW BEST:: SOT -1838375958 SOS 584324461 HAS SOPS 584324461 HAS SOUS 326062379 HAS SOUPS 326062379 WITH SCORE 3.26646703461E8
AT ITER 2481 NEW BEST:: SOT -1838378643 SOS 584319091 HAS SOPS 584319091 HAS SOUS 326057009 HAS SOUPS 326057009 WITH SCORE 3.26641328091E8
AT ITER 2483 NEW BEST:: SOT -1838383434 SOS 584309509 HAS SOPS 584309509 HAS SOUS 326052218 HAS SOUPS 326052218 WITH SCORE 3.26636527509E8
AT ITER 2488 NEW BEST:: SOT -1838389599 SOS 584315667 HAS SOPS 584315667 HAS SOUS 326046051 HAS SOUPS 326046051 WITH SCORE 3.26630366667E8
AT ITER 2506 NEW BEST:: SOT -1838391584 SOS 584316722 HAS SOPS 584316722 HAS SOUS 326045741 HAS SOUPS 326045741 WITH SCORE 3.26630057722E8
AT ITER 2512 NEW BEST:: SOT -1838400188 SOS 584273702 HAS SOPS 584273702 HAS SOUS 326037137 HAS SOUPS 326037137 WITH SCORE 3.26621410702E8
AT ITER 2548 NEW BEST:: SOT -1838403120 SOS 584267838 HAS SOPS 584267838 HAS SOUS 326030080 HAS SOUPS 326030080 WITH SCORE 3.26614347838E8
AT ITER 2561 NEW BEST:: SOT -1838400319 SOS 584273440 HAS SOPS 584273440 HAS SOUS 326029162 HAS SOUPS 326029162 WITH SCORE 3.2661343544E8
AT ITER 2584 NEW BEST:: SOT -1838412011 SOS 584263762 HAS SOPS 584263762 HAS SOUS 326019224 HAS SOUPS 326019224 WITH SCORE 3.26603487762E8
AT ITER 2612 NEW BEST:: SOT -1838423869 SOS 584272033 HAS SOPS 584272033 HAS SOUS 325995507 HAS SOUPS 325995507 WITH SCORE 3.26579779033E8
AT ITER 2635 NEW BEST:: SOT -1838423870 SOS 584272031 HAS SOPS 584272031 HAS SOUS 325995505 HAS SOUPS 325995505 WITH SCORE 3.26579777031E8
AT ITER 2664 NEW BEST:: SOT -1838424408 SOS 584270955 HAS SOPS 584270955 HAS SOUS 325994429 HAS SOUPS 325994429 WITH SCORE 3.26578699955E8
AT ITER 2682 NEW BEST:: SOT -1838423116 SOS 584270021 HAS SOPS 584270021 HAS SOUS 325986340 HAS SOUPS 325986340 WITH SCORE 3.26570610021E8
AT ITER 2698 NEW BEST:: SOT -1838423116 SOS 584264243 HAS SOPS 584264243 HAS SOUS 325984414 HAS SOUPS 325984414 WITH SCORE 3.26568678243E8
AT ITER 2702 NEW BEST:: SOT -1838424389 SOS 584261698 HAS SOPS 584261698 HAS SOUS 325981869 HAS SOUPS 325981869 WITH SCORE 3.26566130698E8
AT ITER 2723 NEW BEST:: SOT -1838427437 SOS 584255602 HAS SOPS 584255602 HAS SOUS 325981713 HAS SOUPS 325981713 WITH SCORE 3.26565968602E8
AT ITER 2733 NEW BEST:: SOT -1838434721 SOS 584219182 HAS SOPS 584219182 HAS SOUS 325967145 HAS SOUPS 325967145 WITH SCORE 3.26551364182E8
AT ITER 2751 NEW BEST:: SOT -1838445289 SOS 584219181 HAS SOPS 584219181 HAS SOUS 325967144 HAS SOUPS 325967144 WITH SCORE 3.26551363181E8
AT ITER 2753 NEW BEST:: SOT -1838450692 SOS 584224584 HAS SOPS 584224584 HAS SOUS 325958108 HAS SOUPS 325958108 WITH SCORE 3.26542332584E8
AT ITER 2758 NEW BEST:: SOT -1838460963 SOS 584214312 HAS SOPS 584214312 HAS SOUS 325947836 HAS SOUPS 325947836 WITH SCORE 3.26532050312E8
AT ITER 2766 NEW BEST:: SOT -1838460963 SOS 584209218 HAS SOPS 584209218 HAS SOUS 325946138 HAS SOUPS 325946138 WITH SCORE 3.26530347218E8
AT ITER 2767 NEW BEST:: SOT -1838460965 SOS 584209214 HAS SOPS 584209214 HAS SOUS 325946134 HAS SOUPS 325946134 WITH SCORE 3.26530343214E8
AT ITER 2778 NEW BEST:: SOT -1838460965 SOS 584196509 HAS SOPS 584196509 HAS SOUS 325941899 HAS SOUPS 325941899 WITH SCORE 3.26526095509E8
AT ITER 2807 NEW BEST:: SOT -1838464838 SOS 584196505 HAS SOPS 584196505 HAS SOUS 325941898 HAS SOUPS 325941898 WITH SCORE 3.26526094505E8
AT ITER 2809 NEW BEST:: SOT -1838468153 SOS 584196501 HAS SOPS 584196501 HAS SOUS 325939529 HAS SOUPS 325939529 WITH SCORE 3.26523725501E8
AT ITER 2836 NEW BEST:: SOT -1838468153 SOS 584194438 HAS SOPS 584194438 HAS SOUS 325939529 HAS SOUPS 325939529 WITH SCORE 3.26523723438E8
AT ITER 2851 NEW BEST:: SOT -1838474185 SOS 584236662 HAS SOPS 584236662 HAS SOUS 325933497 HAS SOUPS 325933497 WITH SCORE 3.26517733662E8
AT ITER 2897 NEW BEST:: SOT -1838479659 SOS 584225714 HAS SOPS 584225714 HAS SOUS 325922549 HAS SOUPS 325922549 WITH SCORE 3.26506774714E8
AT ITER 2924 NEW BEST:: SOT -1838490440 SOS 584221471 HAS SOPS 584221471 HAS SOUS 325917541 HAS SOUPS 325917541 WITH SCORE 3.26501762471E8
AT ITER 2952 NEW BEST:: SOT -1838495009 SOS 584212333 HAS SOPS 584212333 HAS SOUS 325912972 HAS SOUPS 325912972 WITH SCORE 3.26497184333E8
AT ITER 2962 NEW BEST:: SOT -1838500589 SOS 584210534 HAS SOPS 584210534 HAS SOUS 325911176 HAS SOUPS 325911176 WITH SCORE 3.26495386534E8
AT ITER 2977 NEW BEST:: SOT -1838500589 SOS 584207294 HAS SOPS 584207294 HAS SOUS 325909556 HAS SOUPS 325909556 WITH SCORE 3.26493763294E8
AT ITER 2985 NEW BEST:: SOT -1838505264 SOS 584233010 HAS SOPS 584233010 HAS SOUS 325897846 HAS SOUPS 325897846 WITH SCORE 3.2648207901E8
AT ITER 3044 NEW BEST:: SOT -1838514524 SOS 584297830 HAS SOPS 584297830 HAS SOUS 325888586 HAS SOUPS 325888586 WITH SCORE 3.2647288383E8
AT ITER 3048 NEW BEST:: SOT -1838514524 SOS 584282857 HAS SOPS 584282857 HAS SOUS 325888585 HAS SOUPS 325888585 WITH SCORE 3.26472867857E8
AT ITER 3060 NEW BEST:: SOT -1838514524 SOS 584264428 HAS SOPS 584264428 HAS SOUS 325888585 HAS SOUPS 325888585 WITH SCORE 3.26472849428E8
AT ITER 3063 NEW BEST:: SOT -1838518963 SOS 584273298 HAS SOPS 584273298 HAS SOUS 325884144 HAS SOUPS 325884144 WITH SCORE 3.26468417298E8
AT ITER 3073 NEW BEST:: SOT -1838520835 SOS 584275170 HAS SOPS 584275170 HAS SOUS 325882272 HAS SOUPS 325882272 WITH SCORE 3.2646654717E8
AT ITER 3122 NEW BEST:: SOT -1838525877 SOS 584275166 HAS SOPS 584275166 HAS SOUS 325879191 HAS SOUPS 325879191 WITH SCORE 3.26463466166E8
AT ITER 3138 NEW BEST:: SOT -1838536400 SOS 584264726 HAS SOPS 584264726 HAS SOUS 325868719 HAS SOUPS 325868719 WITH SCORE 3.26452983726E8
AT ITER 3144 NEW BEST:: SOT -1838547604 SOS 584275673 HAS SOPS 584275673 HAS SOUS 325846310 HAS SOUPS 325846310 WITH SCORE 3.26430585673E8
AT ITER 3145 NEW BEST:: SOT -1838557270 SOS 584266003 HAS SOPS 584266003 HAS SOUS 325836643 HAS SOUPS 325836643 WITH SCORE 3.26420909003E8
AT ITER 3159 NEW BEST:: SOT -1838557270 SOS 584294667 HAS SOPS 584294667 HAS SOUS 325833456 HAS SOUPS 325833456 WITH SCORE 3.26417750667E8
AT ITER 3180 NEW BEST:: SOT -1838557824 SOS 584295221 HAS SOPS 584295221 HAS SOUS 325832902 HAS SOUPS 325832902 WITH SCORE 3.26417197221E8
AT ITER 3183 NEW BEST:: SOT -1838558471 SOS 584293927 HAS SOPS 584293927 HAS SOUS 325831608 HAS SOUPS 325831608 WITH SCORE 3.26415901927E8
AT ITER 3197 NEW BEST:: SOT -1838558471 SOS 584290935 HAS SOPS 584290935 HAS SOUS 325828616 HAS SOUPS 325828616 WITH SCORE 3.26412906935E8
AT ITER 3224 NEW BEST:: SOT -1838563736 SOS 584280405 HAS SOPS 584280405 HAS SOUS 325818086 HAS SOUPS 325818086 WITH SCORE 3.26402366405E8
AT ITER 3244 NEW BEST:: SOT -1838574320 SOS 584275113 HAS SOPS 584275113 HAS SOUS 325812794 HAS SOUPS 325812794 WITH SCORE 3.26397069113E8
AT ITER 3253 NEW BEST:: SOT -1838580154 SOS 584257611 HAS SOPS 584257611 HAS SOUS 325805125 HAS SOUPS 325805125 WITH SCORE 3.26389382611E8
AT ITER 3303 NEW BEST:: SOT -1838582456 SOS 584253007 HAS SOPS 584253007 HAS SOUS 325800521 HAS SOUPS 325800521 WITH SCORE 3.26384774007E8
AT ITER 3361 NEW BEST:: SOT -1838578419 SOS 584261081 HAS SOPS 584261081 HAS SOUS 325795798 HAS SOUPS 325795798 WITH SCORE 3.26380059081E8
AT ITER 3380 NEW BEST:: SOT -1838578419 SOS 584249441 HAS SOPS 584249441 HAS SOUS 325791918 HAS SOUPS 325791918 WITH SCORE 3.26376167441E8
AT ITER 3387 NEW BEST:: SOT -1838600109 SOS 584225341 HAS SOPS 584225341 HAS SOUS 325784937 HAS SOUPS 325784937 WITH SCORE 3.26369162341E8
AT ITER 3389 NEW BEST:: SOT -1838601938 SOS 584221683 HAS SOPS 584221683 HAS SOUS 325781279 HAS SOUPS 325781279 WITH SCORE 3.26365500683E8
AT ITER 3398 NEW BEST:: SOT -1838605518 SOS 584221679 HAS SOPS 584221679 HAS SOUS 325779488 HAS SOUPS 325779488 WITH SCORE 3.26363709679E8
AT ITER 3448 NEW BEST:: SOT -1838614865 SOS 584243532 HAS SOPS 584243532 HAS SOUS 325760793 HAS SOUPS 325760793 WITH SCORE 3.26345036532E8
AT ITER 3479 NEW BEST:: SOT -1838624099 SOS 584253047 HAS SOPS 584253047 HAS SOUS 325742290 HAS SOUPS 325742290 WITH SCORE 3.26326543047E8
AT ITER 3508 NEW BEST:: SOT -1838633192 SOS 584243950 HAS SOPS 584243950 HAS SOUS 325733196 HAS SOUPS 325733196 WITH SCORE 3.2631743995E8
AT ITER 3537 NEW BEST:: SOT -1838634598 SOS 584241139 HAS SOPS 584241139 HAS SOUS 325730385 HAS SOUPS 325730385 WITH SCORE 3.26314626139E8
AT ITER 3575 NEW BEST:: SOT -1838632775 SOS 584244785 HAS SOPS 584244785 HAS SOUS 325728230 HAS SOUPS 325728230 WITH SCORE 3.26312474785E8
AT ITER 3579 NEW BEST:: SOT -1838643698 SOS 584233858 HAS SOPS 584233858 HAS SOUS 325717306 HAS SOUPS 325717306 WITH SCORE 3.26301539858E8
AT ITER 3592 NEW BEST:: SOT -1838643698 SOS 584240785 HAS SOPS 584240785 HAS SOUS 325715752 HAS SOUPS 325715752 WITH SCORE 3.26299992785E8
AT ITER 3594 NEW BEST:: SOT -1838643699 SOS 584240783 HAS SOPS 584240783 HAS SOUS 325715750 HAS SOUPS 325715750 WITH SCORE 3.26299990783E8
AT ITER 3612 NEW BEST:: SOT -1838668537 SOS 584222719 HAS SOPS 584222719 HAS SOUS 325711234 HAS SOUPS 325711234 WITH SCORE 3.26295456719E8
AT ITER 3619 NEW BEST:: SOT -1838672679 SOS 584214435 HAS SOPS 584214435 HAS SOUS 325707092 HAS SOUPS 325707092 WITH SCORE 3.26291306435E8
AT ITER 3633 NEW BEST:: SOT -1838673153 SOS 584213487 HAS SOPS 584213487 HAS SOUS 325706144 HAS SOUPS 325706144 WITH SCORE 3.26290357487E8
AT ITER 3636 NEW BEST:: SOT -1838673153 SOS 584213487 HAS SOPS 584213487 HAS SOUS 325701798 HAS SOUPS 325701798 WITH SCORE 3.26286011487E8
AT ITER 3684 NEW BEST:: SOT -1838676551 SOS 584206691 HAS SOPS 584206691 HAS SOUS 325695002 HAS SOUPS 325695002 WITH SCORE 3.26279208691E8
AT ITER 3726 NEW BEST:: SOT -1838677018 SOS 584204823 HAS SOPS 584204823 HAS SOUS 325694535 HAS SOUPS 325694535 WITH SCORE 3.26278739823E8
AT ITER 3747 NEW BEST:: SOT -1838678663 SOS 584204822 HAS SOPS 584204822 HAS SOUS 325694534 HAS SOUPS 325694534 WITH SCORE 3.26278738822E8
AT ITER 3782 NEW BEST:: SOT -1838692449 SOS 584203578 HAS SOPS 584203578 HAS SOUS 325687435 HAS SOUPS 325687435 WITH SCORE 3.26271638578E8
AT ITER 3811 NEW BEST:: SOT -1838697534 SOS 584208659 HAS SOPS 584208659 HAS SOUS 325684407 HAS SOUPS 325684407 WITH SCORE 3.26268615659E8
AT ITER 3833 NEW BEST:: SOT -1838698632 SOS 584206463 HAS SOPS 584206463 HAS SOUS 325683309 HAS SOUPS 325683309 WITH SCORE 3.26267515463E8
AT ITER 3847 NEW BEST:: SOT -1838707447 SOS 584198066 HAS SOPS 584198066 HAS SOUS 325674912 HAS SOUPS 325674912 WITH SCORE 3.26259110066E8
AT ITER 3851 NEW BEST:: SOT -1838711147 SOS 584205462 HAS SOPS 584205462 HAS SOUS 325671211 HAS SOUPS 325671211 WITH SCORE 3.26255416462E8
AT ITER 3875 NEW BEST:: SOT -1838713808 SOS 584216049 HAS SOPS 584216049 HAS SOUS 325669071 HAS SOUPS 325669071 WITH SCORE 3.26253287049E8
AT ITER 3891 NEW BEST:: SOT -1838710413 SOS 584197864 HAS SOPS 584197864 HAS SOUS 325666474 HAS SOUPS 325666474 WITH SCORE 3.26250671864E8
AT ITER 3911 NEW BEST:: SOT -1838716096 SOS 584197860 HAS SOPS 584197860 HAS SOUS 325660790 HAS SOUPS 325660790 WITH SCORE 3.2624498786E8
AT ITER 3915 NEW BEST:: SOT -1838719146 SOS 584191760 HAS SOPS 584191760 HAS SOUS 325654690 HAS SOUPS 325654690 WITH SCORE 3.2623888176E8
AT ITER 3917 NEW BEST:: SOT -1838721894 SOS 584186264 HAS SOPS 584186264 HAS SOUS 325649194 HAS SOUPS 325649194 WITH SCORE 3.26233380264E8
AT ITER 3919 NEW BEST:: SOT -1838715521 SOS 584186262 HAS SOPS 584186262 HAS SOUS 325649193 HAS SOUPS 325649193 WITH SCORE 3.26233379262E8
AT ITER 3921 NEW BEST:: SOT -1838717778 SOS 584181748 HAS SOPS 584181748 HAS SOUS 325644679 HAS SOUPS 325644679 WITH SCORE 3.26228860748E8
AT ITER 3931 NEW BEST:: SOT -1838723906 SOS 584187872 HAS SOPS 584187872 HAS SOUS 325642268 HAS SOUPS 325642268 WITH SCORE 3.26226455872E8
AT ITER 3937 NEW BEST:: SOT -1838730134 SOS 584194096 HAS SOPS 584194096 HAS SOUS 325639893 HAS SOUPS 325639893 WITH SCORE 3.26224087096E8
AT ITER 3948 NEW BEST:: SOT -1838730406 SOS 584193960 HAS SOPS 584193960 HAS SOUS 325639757 HAS SOUPS 325639757 WITH SCORE 3.2622395096E8
AT ITER 3967 NEW BEST:: SOT -1838730406 SOS 584187849 HAS SOPS 584187849 HAS SOUS 325637720 HAS SOUPS 325637720 WITH SCORE 3.26221907849E8
AT ITER 4024 NEW BEST:: SOT -1838730406 SOS 584181264 HAS SOPS 584181264 HAS SOUS 325637041 HAS SOUPS 325637041 WITH SCORE 3.26221222264E8
AT ITER 4032 NEW BEST:: SOT -1838734981 SOS 584190406 HAS SOPS 584190406 HAS SOUS 325632464 HAS SOUPS 325632464 WITH SCORE 3.26216654406E8
AT ITER 4036 NEW BEST:: SOT -1838737795 SOS 584184778 HAS SOPS 584184778 HAS SOUS 325620306 HAS SOUPS 325620306 WITH SCORE 3.26204490778E8
AT ITER 4071 NEW BEST:: SOT -1838737795 SOS 584177821 HAS SOPS 584177821 HAS SOUS 325618834 HAS SOUPS 325618834 WITH SCORE 3.26203011821E8
AT ITER 4090 NEW BEST:: SOT -1838740457 SOS 584183141 HAS SOPS 584183141 HAS SOUS 325616171 HAS SOUPS 325616171 WITH SCORE 3.26200354141E8
AT ITER 4100 NEW BEST:: SOT -1838745480 SOS 584213730 HAS SOPS 584213730 HAS SOUS 325615408 HAS SOUPS 325615408 WITH SCORE 3.2619962173E8
AT ITER 4101 NEW BEST:: SOT -1838746616 SOS 584211458 HAS SOPS 584211458 HAS SOUS 325613136 HAS SOUPS 325613136 WITH SCORE 3.26197347458E8
AT ITER 4125 NEW BEST:: SOT -1838749454 SOS 584222270 HAS SOPS 584222270 HAS SOUS 325610298 HAS SOUPS 325610298 WITH SCORE 3.2619452027E8
AT ITER 4133 NEW BEST:: SOT -1838752289 SOS 584227932 HAS SOPS 584227932 HAS SOUS 325607461 HAS SOUPS 325607461 WITH SCORE 3.26191688932E8
AT ITER 4144 NEW BEST:: SOT -1838755003 SOS 584200655 HAS SOPS 584200655 HAS SOUS 325602033 HAS SOUPS 325602033 WITH SCORE 3.26186233655E8
AT ITER 4146 NEW BEST:: SOT -1838756456 SOS 584203561 HAS SOPS 584203561 HAS SOUS 325600580 HAS SOUPS 325600580 WITH SCORE 3.26184783561E8
AT ITER 4151 NEW BEST:: SOT -1838756456 SOS 584203561 HAS SOPS 584203561 HAS SOUS 325600579 HAS SOUPS 325600579 WITH SCORE 3.26184782561E8
AT ITER 4162 NEW BEST:: SOT -1838762130 SOS 584209231 HAS SOPS 584209231 HAS SOUS 325598164 HAS SOUPS 325598164 WITH SCORE 3.26182373231E8
AT ITER 4166 NEW BEST:: SOT -1838765103 SOS 584215169 HAS SOPS 584215169 HAS SOUS 325595189 HAS SOUPS 325595189 WITH SCORE 3.26179404169E8
AT ITER 4213 NEW BEST:: SOT -1838774071 SOS 584093643 HAS SOPS 584093643 HAS SOUS 325577253 HAS SOUPS 325577253 WITH SCORE 3.26161346643E8
AT ITER 4226 NEW BEST:: SOT -1838775165 SOS 584093640 HAS SOPS 584093640 HAS SOUS 325576305 HAS SOUPS 325576305 WITH SCORE 3.2616039864E8
AT ITER 4232 NEW BEST:: SOT -1838775704 SOS 584091484 HAS SOPS 584091484 HAS SOUS 325575766 HAS SOUPS 325575766 WITH SCORE 3.26159857484E8
AT ITER 4237 NEW BEST:: SOT -1838779231 SOS 584089718 HAS SOPS 584089718 HAS SOUS 325574002 HAS SOUPS 325574002 WITH SCORE 3.26158091718E8
AT ITER 4256 NEW BEST:: SOT -1839037897 SOS 587546242 HAS SOPS 587546242 HAS SOUS 325349174 HAS SOUPS 325349174 WITH SCORE 3.25936720242E8
AT ITER 4283 NEW BEST:: SOT -1839041193 SOS 587552830 HAS SOPS 587552830 HAS SOUS 325345877 HAS SOUPS 325345877 WITH SCORE 3.2593342983E8
AT ITER 4284 NEW BEST:: SOT -1839053432 SOS 587588105 HAS SOPS 587588105 HAS SOUS 325333720 HAS SOUPS 325333720 WITH SCORE 3.25921308105E8
AT ITER 4289 NEW BEST:: SOT -1839056463 SOS 587582043 HAS SOPS 587582043 HAS SOUS 325327658 HAS SOUPS 325327658 WITH SCORE 3.25915240043E8
AT ITER 4293 NEW BEST:: SOT -1839056465 SOS 587582039 HAS SOPS 587582039 HAS SOUS 325327654 HAS SOUPS 325327654 WITH SCORE 3.25915236039E8
AT ITER 4315 NEW BEST:: SOT -1839065050 SOS 587579692 HAS SOPS 587579692 HAS SOUS 325325307 HAS SOUPS 325325307 WITH SCORE 3.25912886692E8
AT ITER 4329 NEW BEST:: SOT -1839068641 SOS 587572510 HAS SOPS 587572510 HAS SOUS 325322883 HAS SOUPS 325322883 WITH SCORE 3.2591045551E8
AT ITER 4338 NEW BEST:: SOT -1839068641 SOS 587590695 HAS SOPS 587590695 HAS SOUS 325316819 HAS SOUPS 325316819 WITH SCORE 3.25904409695E8
AT ITER 4412 NEW BEST:: SOT -1839077433 SOS 587582339 HAS SOPS 587582339 HAS SOUS 325308463 HAS SOUPS 325308463 WITH SCORE 3.25896045339E8
AT ITER 4439 NEW BEST:: SOT -1839077433 SOS 587574636 HAS SOPS 587574636 HAS SOUS 325308463 HAS SOUPS 325308463 WITH SCORE 3.25896037636E8
AT ITER 4443 NEW BEST:: SOT -1839084687 SOS 587567382 HAS SOPS 587567382 HAS SOUS 325301209 HAS SOUPS 325301209 WITH SCORE 3.25888776382E8
AT ITER 4447 NEW BEST:: SOT -1839092160 SOS 587559905 HAS SOPS 587559905 HAS SOUS 325293735 HAS SOUPS 325293735 WITH SCORE 3.25881294905E8
AT ITER 4448 NEW BEST:: SOT -1839094369 SOS 587555487 HAS SOPS 587555487 HAS SOUS 325289317 HAS SOUPS 325289317 WITH SCORE 3.25876872487E8
AT ITER 4449 NEW BEST:: SOT -1839097256 SOS 587549712 HAS SOPS 587549712 HAS SOUS 325281258 HAS SOUPS 325281258 WITH SCORE 3.25868807712E8
AT ITER 4470 NEW BEST:: SOT -1839100771 SOS 587542682 HAS SOPS 587542682 HAS SOUS 325277743 HAS SOUPS 325277743 WITH SCORE 3.25865285682E8
AT ITER 4497 NEW BEST:: SOT -1839119204 SOS 587537430 HAS SOPS 587537430 HAS SOUS 325259310 HAS SOUPS 325259310 WITH SCORE 3.2584684743E8
AT ITER 4503 NEW BEST:: SOT -1839119204 SOS 587537430 HAS SOPS 587537430 HAS SOUS 325259309 HAS SOUPS 325259309 WITH SCORE 3.2584684643E8
AT ITER 4507 NEW BEST:: SOT -1839120273 SOS 587536691 HAS SOPS 587536691 HAS SOUS 325258406 HAS SOUPS 325258406 WITH SCORE 3.25845942691E8
AT ITER 4566 NEW BEST:: SOT -1839129616 SOS 587546034 HAS SOPS 587546034 HAS SOUS 325245445 HAS SOUPS 325245445 WITH SCORE 3.25832991034E8
AT ITER 4582 NEW BEST:: SOT -1839129616 SOS 587534733 HAS SOPS 587534733 HAS SOUS 325241678 HAS SOUPS 325241678 WITH SCORE 3.25829212733E8
AT ITER 4603 NEW BEST:: SOT -1839136100 SOS 587541213 HAS SOPS 587541213 HAS SOUS 325228709 HAS SOUPS 325228709 WITH SCORE 3.25816250213E8
AT ITER 4604 NEW BEST:: SOT -1839141098 SOS 587540189 HAS SOPS 587540189 HAS SOUS 325225954 HAS SOUPS 325225954 WITH SCORE 3.25813494189E8
AT ITER 4621 NEW BEST:: SOT -1839141098 SOS 587538446 HAS SOPS 587538446 HAS SOUS 325225954 HAS SOUPS 325225954 WITH SCORE 3.25813492446E8
AT ITER 4657 NEW BEST:: SOT -1839152466 SOS 587549814 HAS SOPS 587549814 HAS SOUS 325214586 HAS SOUPS 325214586 WITH SCORE 3.25802135814E8
AT ITER 4682 NEW BEST:: SOT -1839152466 SOS 587549814 HAS SOPS 587549814 HAS SOUS 325214585 HAS SOUPS 325214585 WITH SCORE 3.25802134814E8
AT ITER 4710 NEW BEST:: SOT -1839163994 SOS 587539002 HAS SOPS 587539002 HAS SOUS 325203773 HAS SOUPS 325203773 WITH SCORE 3.25791312002E8
AT ITER 4738 NEW BEST:: SOT -1839163994 SOS 587540062 HAS SOPS 587540062 HAS SOUS 325203771 HAS SOUPS 325203771 WITH SCORE 3.25791311062E8
AT ITER 4746 NEW BEST:: SOT -1839165218 SOS 587539450 HAS SOPS 587539450 HAS SOUS 325203159 HAS SOUPS 325203159 WITH SCORE 3.2579069845E8
AT ITER 4763 NEW BEST:: SOT -1839165219 SOS 587539448 HAS SOPS 587539448 HAS SOUS 325203157 HAS SOUPS 325203157 WITH SCORE 3.25790696448E8
AT ITER 4766 NEW BEST:: SOT -1839166804 SOS 587536278 HAS SOPS 587536278 HAS SOUS 325199987 HAS SOUPS 325199987 WITH SCORE 3.25787523278E8
AT ITER 4880 NEW BEST:: SOT -1839170100 SOS 587529686 HAS SOPS 587529686 HAS SOUS 325196691 HAS SOUPS 325196691 WITH SCORE 3.25784220686E8
AT ITER 4882 NEW BEST:: SOT -1839184553 SOS 587544139 HAS SOPS 587544139 HAS SOUS 325177596 HAS SOUPS 325177596 WITH SCORE 3.25765140139E8
AT ITER 4890 NEW BEST:: SOT -1839190686 SOS 587531873 HAS SOPS 587531873 HAS SOUS 325165330 HAS SOUPS 325165330 WITH SCORE 3.25752861873E8
AT ITER 4929 NEW BEST:: SOT -1839194902 SOS 587536089 HAS SOPS 587536089 HAS SOUS 325161114 HAS SOUPS 325161114 WITH SCORE 3.25748650089E8
AT ITER 4930 NEW BEST:: SOT -1839203610 SOS 587530054 HAS SOPS 587530054 HAS SOUS 325153510 HAS SOUPS 325153510 WITH SCORE 3.25741040054E8
AT ITER 4937 NEW BEST:: SOT -1839210494 SOS 587526456 HAS SOPS 587526456 HAS SOUS 325149912 HAS SOUPS 325149912 WITH SCORE 3.25737438456E8
AT ITER 4942 NEW BEST:: SOT -1839217616 SOS 587547444 HAS SOPS 587547444 HAS SOUS 325140476 HAS SOUPS 325140476 WITH SCORE 3.25728023444E8
AT ITER 4952 NEW BEST:: SOT -1839217616 SOS 587547444 HAS SOPS 587547444 HAS SOUS 325140475 HAS SOUPS 325140475 WITH SCORE 3.25728022444E8
AT ITER 4993 NEW BEST:: SOT -1839217616 SOS 587539558 HAS SOPS 587539558 HAS SOUS 325140475 HAS SOUPS 325140475 WITH SCORE 3.25728014558E8
AT ITER 5012 NEW BEST:: SOT -1839218659 SOS 587538515 HAS SOPS 587538515 HAS SOUS 325139432 HAS SOUPS 325139432 WITH SCORE 3.25726970515E8
AT ITER 5045 NEW BEST:: SOT -1839228287 SOS 587529800 HAS SOPS 587529800 HAS SOUS 325130296 HAS SOUPS 325130296 WITH SCORE 3.257178258E8
AT ITER 5054 NEW BEST:: SOT -1839238156 SOS 587519930 HAS SOPS 587519930 HAS SOUS 325120426 HAS SOUPS 325120426 WITH SCORE 3.2570794593E8
AT ITER 5070 NEW BEST:: SOT -1839250848 SOS 587481854 HAS SOPS 587481854 HAS SOUS 325101388 HAS SOUPS 325101388 WITH SCORE 3.25688869854E8
AT ITER 5083 NEW BEST:: SOT -1839254741 SOS 587480084 HAS SOPS 587480084 HAS SOUS 325099618 HAS SOUPS 325099618 WITH SCORE 3.25687098084E8
AT ITER 5108 NEW BEST:: SOT -1839254741 SOS 587467067 HAS SOPS 587467067 HAS SOUS 325099617 HAS SOUPS 325099617 WITH SCORE 3.25687084067E8
AT ITER 5141 NEW BEST:: SOT -1839257905 SOS 587460739 HAS SOPS 587460739 HAS SOUS 325092249 HAS SOUPS 325092249 WITH SCORE 3.25679709739E8
AT ITER 5146 NEW BEST:: SOT -1839257905 SOS 587448175 HAS SOPS 587448175 HAS SOUS 325092248 HAS SOUPS 325092248 WITH SCORE 3.25679696175E8
AT ITER 5174 NEW BEST:: SOT -1839257905 SOS 587429392 HAS SOPS 587429392 HAS SOUS 325092248 HAS SOUPS 325092248 WITH SCORE 3.25679677392E8
AT ITER 5178 NEW BEST:: SOT -1839264864 SOS 587394597 HAS SOPS 587394597 HAS SOUS 325078330 HAS SOUPS 325078330 WITH SCORE 3.25665724597E8
AT ITER 5180 NEW BEST:: SOT -1839284357 SOS 587373659 HAS SOPS 587373659 HAS SOUS 325075290 HAS SOUPS 325075290 WITH SCORE 3.25662663659E8
AT ITER 5217 NEW BEST:: SOT -1839284358 SOS 587373657 HAS SOPS 587373657 HAS SOUS 325075288 HAS SOUPS 325075288 WITH SCORE 3.25662661657E8
AT ITER 5234 NEW BEST:: SOT -1839293606 SOS 587397733 HAS SOPS 587397733 HAS SOUS 325056791 HAS SOUPS 325056791 WITH SCORE 3.25644188733E8
AT ITER 5276 NEW BEST:: SOT -1839301026 SOS 587390309 HAS SOPS 587390309 HAS SOUS 325049370 HAS SOUPS 325049370 WITH SCORE 3.25636760309E8
AT ITER 5289 NEW BEST:: SOT -1839301026 SOS 587412008 HAS SOPS 587412008 HAS SOUS 325044508 HAS SOUPS 325044508 WITH SCORE 3.25631920008E8
AT ITER 5317 NEW BEST:: SOT -1839310654 SOS 587402380 HAS SOPS 587402380 HAS SOUS 325034880 HAS SOUPS 325034880 WITH SCORE 3.2562228238E8
AT ITER 5332 NEW BEST:: SOT -1839315890 SOS 587391908 HAS SOPS 587391908 HAS SOUS 325029644 HAS SOUPS 325029644 WITH SCORE 3.25617035908E8
AT ITER 5353 NEW BEST:: SOT -1839335117 SOS 587372738 HAS SOPS 587372738 HAS SOUS 325010417 HAS SOUPS 325010417 WITH SCORE 3.25597789738E8
AT ITER 5367 NEW BEST:: SOT -1839336475 SOS 587372735 HAS SOPS 587372735 HAS SOUS 325010416 HAS SOUPS 325010416 WITH SCORE 3.25597788735E8
AT ITER 5373 NEW BEST:: SOT -1839336475 SOS 587367596 HAS SOPS 587367596 HAS SOUS 325008703 HAS SOUPS 325008703 WITH SCORE 3.25596070596E8
AT ITER 5389 NEW BEST:: SOT -1839336475 SOS 587365138 HAS SOPS 587365138 HAS SOUS 325007474 HAS SOUPS 325007474 WITH SCORE 3.25594839138E8
AT ITER 5442 NEW BEST:: SOT -1839341809 SOS 587354470 HAS SOPS 587354470 HAS SOUS 325002140 HAS SOUPS 325002140 WITH SCORE 3.2558949447E8
AT ITER 5452 NEW BEST:: SOT -1839342608 SOS 587352872 HAS SOPS 587352872 HAS SOUS 325000542 HAS SOUPS 325000542 WITH SCORE 3.25587894872E8
AT ITER 5464 NEW BEST:: SOT -1839347763 SOS 587354167 HAS SOPS 587354167 HAS SOUS 324999822 HAS SOUPS 324999822 WITH SCORE 3.25587176167E8
AT ITER 5477 NEW BEST:: SOT -1839357480 SOS 587344446 HAS SOPS 587344446 HAS SOUS 324990104 HAS SOUPS 324990104 WITH SCORE 3.25577448446E8
AT ITER 5484 NEW BEST:: SOT -1839355343 SOS 587324750 HAS SOPS 587324750 HAS SOUS 324985319 HAS SOUPS 324985319 WITH SCORE 3.2557264375E8
AT ITER 5488 NEW BEST:: SOT -1839355343 SOS 587324746 HAS SOPS 587324746 HAS SOUS 324983435 HAS SOUPS 324983435 WITH SCORE 3.25570759746E8
AT ITER 5569 NEW BEST:: SOT -1839367755 SOS 587297105 HAS SOPS 587297105 HAS SOUS 324949490 HAS SOUPS 324949490 WITH SCORE 3.25536787105E8
AT ITER 5590 NEW BEST:: SOT -1839367755 SOS 587297105 HAS SOPS 587297105 HAS SOUS 324949489 HAS SOUPS 324949489 WITH SCORE 3.25536786105E8
AT ITER 5610 NEW BEST:: SOT -1839367755 SOS 587295731 HAS SOPS 587295731 HAS SOUS 324949031 HAS SOUPS 324949031 WITH SCORE 3.25536326731E8
AT ITER 5612 NEW BEST:: SOT -1839370105 SOS 587291031 HAS SOPS 587291031 HAS SOUS 324944331 HAS SOUPS 324944331 WITH SCORE 3.25531622031E8
AT ITER 5631 NEW BEST:: SOT -1839370105 SOS 587281728 HAS SOPS 587281728 HAS SOUS 324941230 HAS SOUPS 324941230 WITH SCORE 3.25528511728E8
AT ITER 5663 NEW BEST:: SOT -1839371846 SOS 587278246 HAS SOPS 587278246 HAS SOUS 324937748 HAS SOUPS 324937748 WITH SCORE 3.25525026246E8
AT ITER 5673 NEW BEST:: SOT -1839373650 SOS 587277344 HAS SOPS 587277344 HAS SOUS 324936846 HAS SOUPS 324936846 WITH SCORE 3.25524123344E8
AT ITER 5704 NEW BEST:: SOT -1839375476 SOS 587280992 HAS SOPS 587280992 HAS SOUS 324935019 HAS SOUPS 324935019 WITH SCORE 3.25522299992E8
AT ITER 5705 NEW BEST:: SOT -1839375476 SOS 587280992 HAS SOPS 587280992 HAS SOUS 324921097 HAS SOUPS 324921097 WITH SCORE 3.25508377992E8
AT ITER 5722 NEW BEST:: SOT -1839385168 SOS 587276146 HAS SOPS 587276146 HAS SOUS 324916251 HAS SOUPS 324916251 WITH SCORE 3.25503527146E8
AT ITER 5735 NEW BEST:: SOT -1839385168 SOS 587274922 HAS SOPS 587274922 HAS SOUS 324915639 HAS SOUPS 324915639 WITH SCORE 3.25502913922E8
AT ITER 5812 NEW BEST:: SOT -1839392695 SOS 587273044 HAS SOPS 587273044 HAS SOUS 324913761 HAS SOUPS 324913761 WITH SCORE 3.25501034044E8
AT ITER 5838 NEW BEST:: SOT -1839392695 SOS 587273044 HAS SOPS 587273044 HAS SOUS 324902770 HAS SOUPS 324902770 WITH SCORE 3.25490043044E8
AT ITER 5854 NEW BEST:: SOT -1839401385 SOS 587264546 HAS SOPS 587264546 HAS SOUS 324894272 HAS SOUPS 324894272 WITH SCORE 3.25481536546E8
AT ITER 5857 NEW BEST:: SOT -1839398815 SOS 587279383 HAS SOPS 587279383 HAS SOUS 324893577 HAS SOUPS 324893577 WITH SCORE 3.25480856383E8
AT ITER 5913 NEW BEST:: SOT -1839401162 SOS 587274689 HAS SOPS 587274689 HAS SOUS 324888883 HAS SOUPS 324888883 WITH SCORE 3.25476157689E8
AT ITER 6012 NEW BEST:: SOT -1839409878 SOS 587274687 HAS SOPS 587274687 HAS SOUS 324888881 HAS SOUPS 324888881 WITH SCORE 3.25476155687E8
AT ITER 6021 NEW BEST:: SOT -1839415529 SOS 587277206 HAS SOPS 587277206 HAS SOUS 324888105 HAS SOUPS 324888105 WITH SCORE 3.25475382206E8
AT ITER 6055 NEW BEST:: SOT -1839418908 SOS 587297863 HAS SOPS 587297863 HAS SOUS 324877074 HAS SOUPS 324877074 WITH SCORE 3.25464371863E8
AT ITER 6085 NEW BEST:: SOT -1839418910 SOS 587297859 HAS SOPS 587297859 HAS SOUS 324877070 HAS SOUPS 324877070 WITH SCORE 3.25464367859E8
AT ITER 6097 NEW BEST:: SOT -1839421059 SOS 587297859 HAS SOPS 587297859 HAS SOUS 324872772 HAS SOUPS 324872772 WITH SCORE 3.25460069859E8
AT ITER 6115 NEW BEST:: SOT -1839425643 SOS 587288691 HAS SOPS 587288691 HAS SOUS 324863604 HAS SOUPS 324863604 WITH SCORE 3.25450892691E8
AT ITER 6127 NEW BEST:: SOT -1839425643 SOS 587278428 HAS SOPS 587278428 HAS SOUS 324863603 HAS SOUPS 324863603 WITH SCORE 3.25450881428E8
AT ITER 6202 NEW BEST:: SOT -1839428883 SOS 587271948 HAS SOPS 587271948 HAS SOUS 324857123 HAS SOUPS 324857123 WITH SCORE 3.25444394948E8
AT ITER 6235 NEW BEST:: SOT -1839428965 SOS 587271784 HAS SOPS 587271784 HAS SOUS 324854087 HAS SOUPS 324854087 WITH SCORE 3.25441358784E8
AT ITER 6289 NEW BEST:: SOT -1839429412 SOS 587270890 HAS SOPS 587270890 HAS SOUS 324853193 HAS SOUPS 324853193 WITH SCORE 3.2544046389E8
AT ITER 6290 NEW BEST:: SOT -1839431770 SOS 587270886 HAS SOPS 587270886 HAS SOUS 324851245 HAS SOUPS 324851245 WITH SCORE 3.25438515886E8
AT ITER 6326 NEW BEST:: SOT -1839431770 SOS 587263328 HAS SOPS 587263328 HAS SOUS 324851245 HAS SOUPS 324851245 WITH SCORE 3.25438508328E8
AT ITER 6329 NEW BEST:: SOT -1839431770 SOS 587281601 HAS SOPS 587281601 HAS SOUS 324847215 HAS SOUPS 324847215 WITH SCORE 3.25434496601E8
AT ITER 6400 NEW BEST:: SOT -1839431770 SOS 587276399 HAS SOPS 587276399 HAS SOUS 324845481 HAS SOUPS 324845481 WITH SCORE 3.25432757399E8
AT ITER 6419 NEW BEST:: SOT -1839431770 SOS 587270657 HAS SOPS 587270657 HAS SOUS 324843567 HAS SOUPS 324843567 WITH SCORE 3.25430837657E8
AT ITER 6440 NEW BEST:: SOT -1839432142 SOS 587214857 HAS SOPS 587214857 HAS SOUS 324842823 HAS SOUPS 324842823 WITH SCORE 3.25430037857E8
AT ITER 6454 NEW BEST:: SOT -1839433183 SOS 587212775 HAS SOPS 587212775 HAS SOUS 324840741 HAS SOUPS 324840741 WITH SCORE 3.25427953775E8
AT ITER 6461 NEW BEST:: SOT -1839433183 SOS 587212775 HAS SOPS 587212775 HAS SOUS 324840740 HAS SOUPS 324840740 WITH SCORE 3.25427952775E8
AT ITER 6486 NEW BEST:: SOT -1839432934 SOS 587216053 HAS SOPS 587216053 HAS SOUS 324831368 HAS SOUPS 324831368 WITH SCORE 3.25418584053E8
AT ITER 6498 NEW BEST:: SOT -1839448914 SOS 587200073 HAS SOPS 587200073 HAS SOUS 324815388 HAS SOUPS 324815388 WITH SCORE 3.25402588073E8
AT ITER 6522 NEW BEST:: SOT -1839448915 SOS 587200071 HAS SOPS 587200071 HAS SOUS 324815386 HAS SOUPS 324815386 WITH SCORE 3.25402586071E8
AT ITER 6537 NEW BEST:: SOT -1839448916 SOS 587200069 HAS SOPS 587200069 HAS SOUS 324815384 HAS SOUPS 324815384 WITH SCORE 3.25402584069E8
AT ITER 6543 NEW BEST:: SOT -1839448916 SOS 587197565 HAS SOPS 587197565 HAS SOUS 324815384 HAS SOUPS 324815384 WITH SCORE 3.25402581565E8
AT ITER 6572 NEW BEST:: SOT -1839448916 SOS 587191097 HAS SOPS 587191097 HAS SOUS 324813228 HAS SOUPS 324813228 WITH SCORE 3.25400419097E8
AT ITER 6581 NEW BEST:: SOT -1839462686 SOS 587204867 HAS SOPS 587204867 HAS SOUS 324796198 HAS SOUPS 324796198 WITH SCORE 3.25383402867E8
AT ITER 6583 NEW BEST:: SOT -1839464690 SOS 587208871 HAS SOPS 587208871 HAS SOUS 324794193 HAS SOUPS 324794193 WITH SCORE 3.25381401871E8
AT ITER 6584 NEW BEST:: SOT -1839466043 SOS 587206155 HAS SOPS 587206155 HAS SOUS 324791486 HAS SOUPS 324791486 WITH SCORE 3.25378692155E8
AT ITER 6599 NEW BEST:: SOT -1839466043 SOS 587206155 HAS SOPS 587206155 HAS SOUS 324791485 HAS SOUPS 324791485 WITH SCORE 3.25378691155E8
AT ITER 6617 NEW BEST:: SOT -1839466428 SOS 587205385 HAS SOPS 587205385 HAS SOUS 324791100 HAS SOUPS 324791100 WITH SCORE 3.25378305385E8
AT ITER 6662 NEW BEST:: SOT -1839472442 SOS 587211395 HAS SOPS 587211395 HAS SOUS 324788885 HAS SOUPS 324788885 WITH SCORE 3.25376096395E8
AT ITER 6677 NEW BEST:: SOT -1839474569 SOS 587211394 HAS SOPS 587211394 HAS SOUS 324788884 HAS SOUPS 324788884 WITH SCORE 3.25376095394E8
AT ITER 6695 NEW BEST:: SOT -1839474569 SOS 587198323 HAS SOPS 587198323 HAS SOUS 324784527 HAS SOUPS 324784527 WITH SCORE 3.25371725323E8
AT ITER 6738 NEW BEST:: SOT -1839472923 SOS 587201615 HAS SOPS 587201615 HAS SOUS 324771399 HAS SOUPS 324771399 WITH SCORE 3.25358600615E8
AT ITER 6741 NEW BEST:: SOT -1839475082 SOS 587201611 HAS SOPS 587201611 HAS SOUS 324769619 HAS SOUPS 324769619 WITH SCORE 3.25356820611E8
AT ITER 6748 NEW BEST:: SOT -1839475082 SOS 587201611 HAS SOPS 587201611 HAS SOUS 324769618 HAS SOUPS 324769618 WITH SCORE 3.25356819611E8
AT ITER 6763 NEW BEST:: SOT -1839478906 SOS 587193963 HAS SOPS 587193963 HAS SOUS 324766532 HAS SOUPS 324766532 WITH SCORE 3.25353725963E8
AT ITER 6768 NEW BEST:: SOT -1839479092 SOS 587193591 HAS SOPS 587193591 HAS SOUS 324766160 HAS SOUPS 324766160 WITH SCORE 3.25353353591E8
AT ITER 6810 NEW BEST:: SOT -1839479093 SOS 587193589 HAS SOPS 587193589 HAS SOUS 324766158 HAS SOUPS 324766158 WITH SCORE 3.25353351589E8
AT ITER 6890 NEW BEST:: SOT -1839480227 SOS 587174999 HAS SOPS 587174999 HAS SOUS 324763889 HAS SOUPS 324763889 WITH SCORE 3.25351063999E8
AT ITER 6937 NEW BEST:: SOT -1839480227 SOS 587168084 HAS SOPS 587168084 HAS SOUS 324761584 HAS SOUPS 324761584 WITH SCORE 3.25348752084E8
AT ITER 6964 NEW BEST:: SOT -1839480559 SOS 587167420 HAS SOPS 587167420 HAS SOUS 324760920 HAS SOUPS 324760920 WITH SCORE 3.2534808742E8
AT ITER 7028 NEW BEST:: SOT -1839482033 SOS 587164473 HAS SOPS 587164473 HAS SOUS 324757973 HAS SOUPS 324757973 WITH SCORE 3.25345137473E8
AT ITER 7032 NEW BEST:: SOT -1839489322 SOS 587162984 HAS SOPS 587162984 HAS SOUS 324756484 HAS SOUPS 324756484 WITH SCORE 3.25343646984E8
AT ITER 7121 NEW BEST:: SOT -1839498091 SOS 587156398 HAS SOPS 587156398 HAS SOUS 324749898 HAS SOUPS 324749898 WITH SCORE 3.25337054398E8
AT ITER 7208 NEW BEST:: SOT -1839503641 SOS 587161948 HAS SOPS 587161948 HAS SOUS 324747939 HAS SOUPS 324747939 WITH SCORE 3.25335100948E8
AT ITER 7224 NEW BEST:: SOT -1839506594 SOS 587168384 HAS SOPS 587168384 HAS SOUS 324744986 HAS SOUPS 324744986 WITH SCORE 3.25332154384E8
AT ITER 7273 NEW BEST:: SOT -1839515195 SOS 587160269 HAS SOPS 587160269 HAS SOUS 324736871 HAS SOUPS 324736871 WITH SCORE 3.25324031269E8
AT ITER 7288 NEW BEST:: SOT -1839516412 SOS 587160266 HAS SOPS 587160266 HAS SOUS 324736870 HAS SOUPS 324736870 WITH SCORE 3.25324030266E8
AT ITER 7291 NEW BEST:: SOT -1839516413 SOS 587160264 HAS SOPS 587160264 HAS SOUS 324736868 HAS SOUPS 324736868 WITH SCORE 3.25324028264E8
AT ITER 7307 NEW BEST:: SOT -1839522924 SOS 587179716 HAS SOPS 587179716 HAS SOUS 324722354 HAS SOUPS 324722354 WITH SCORE 3.25309533716E8
AT ITER 7364 NEW BEST:: SOT -1839525780 SOS 587177826 HAS SOPS 587177826 HAS SOUS 324720464 HAS SOUPS 324720464 WITH SCORE 3.25307641826E8
AT ITER 7381 NEW BEST:: SOT -1839526753 SOS 587175880 HAS SOPS 587175880 HAS SOUS 324719490 HAS SOUPS 324719490 WITH SCORE 3.2530666588E8
AT ITER 7410 NEW BEST:: SOT -1839536095 SOS 587171209 HAS SOPS 587171209 HAS SOUS 324714819 HAS SOUPS 324714819 WITH SCORE 3.25301990209E8
AT ITER 7418 NEW BEST:: SOT -1839536459 SOS 587170481 HAS SOPS 587170481 HAS SOUS 324714091 HAS SOUPS 324714091 WITH SCORE 3.25301261481E8
AT ITER 7449 NEW BEST:: SOT -1839541019 SOS 587161361 HAS SOPS 587161361 HAS SOUS 324704971 HAS SOUPS 324704971 WITH SCORE 3.25292132361E8
AT ITER 7455 NEW BEST:: SOT -1839543537 SOS 587156325 HAS SOPS 587156325 HAS SOUS 324702452 HAS SOUPS 324702452 WITH SCORE 3.25289608325E8
AT ITER 7458 NEW BEST:: SOT -1839546360 SOS 587164968 HAS SOPS 587164968 HAS SOUS 324699629 HAS SOUPS 324699629 WITH SCORE 3.25286793968E8
AT ITER 7468 NEW BEST:: SOT -1839546360 SOS 587133188 HAS SOPS 587133188 HAS SOUS 324699628 HAS SOUPS 324699628 WITH SCORE 3.25286761188E8
AT ITER 7486 NEW BEST:: SOT -1839556826 SOS 587122722 HAS SOPS 587122722 HAS SOUS 324689162 HAS SOUPS 324689162 WITH SCORE 3.25276284722E8
AT ITER 7509 NEW BEST:: SOT -1839556826 SOS 587122307 HAS SOPS 587122307 HAS SOUS 324688747 HAS SOUPS 324688747 WITH SCORE 3.25275869307E8
AT ITER 7511 NEW BEST:: SOT -1839556826 SOS 587114264 HAS SOPS 587114264 HAS SOUS 324686066 HAS SOUPS 324686066 WITH SCORE 3.25273180264E8
AT ITER 7540 NEW BEST:: SOT -1839559190 SOS 587118988 HAS SOPS 587118988 HAS SOUS 324683701 HAS SOUPS 324683701 WITH SCORE 3.25270819988E8
AT ITER 7584 NEW BEST:: SOT -1839559190 SOS 587102923 HAS SOPS 587102923 HAS SOUS 324683701 HAS SOUPS 324683701 WITH SCORE 3.25270803923E8
AT ITER 7597 NEW BEST:: SOT -1839563415 SOS 587123207 HAS SOPS 587123207 HAS SOUS 324681732 HAS SOUPS 324681732 WITH SCORE 3.25268855207E8
AT ITER 7600 NEW BEST:: SOT -1839564532 SOS 587120973 HAS SOPS 587120973 HAS SOUS 324672444 HAS SOUPS 324672444 WITH SCORE 3.25259564973E8
AT ITER 7681 NEW BEST:: SOT -1839564533 SOS 587120971 HAS SOPS 587120971 HAS SOUS 324672442 HAS SOUPS 324672442 WITH SCORE 3.25259562971E8
AT ITER 7693 NEW BEST:: SOT -1839567463 SOS 587127822 HAS SOPS 587127822 HAS SOUS 324669512 HAS SOUPS 324669512 WITH SCORE 3.25256639822E8
AT ITER 7696 NEW BEST:: SOT -1839569977 SOS 587115252 HAS SOPS 587115252 HAS SOUS 324664484 HAS SOUPS 324664484 WITH SCORE 3.25251599252E8
AT ITER 7717 NEW BEST:: SOT -1839569979 SOS 587115248 HAS SOPS 587115248 HAS SOUS 324664480 HAS SOUPS 324664480 WITH SCORE 3.25251595248E8
AT ITER 7761 NEW BEST:: SOT -1839578962 SOS 587115238 HAS SOPS 587115238 HAS SOUS 324661023 HAS SOUPS 324661023 WITH SCORE 3.25248138238E8
AT ITER 7805 NEW BEST:: SOT -1839577903 SOS 587102452 HAS SOPS 587102452 HAS SOUS 324657643 HAS SOUPS 324657643 WITH SCORE 3.25244745452E8
AT ITER 7811 NEW BEST:: SOT -1839585402 SOS 587094953 HAS SOPS 587094953 HAS SOUS 324650144 HAS SOUPS 324650144 WITH SCORE 3.25237238953E8
AT ITER 7814 NEW BEST:: SOT -1839588790 SOS 587088177 HAS SOPS 587088177 HAS SOUS 324646756 HAS SOUPS 324646756 WITH SCORE 3.25233844177E8
AT ITER 7827 NEW BEST:: SOT -1839588790 SOS 587084805 HAS SOPS 587084805 HAS SOUS 324646756 HAS SOUPS 324646756 WITH SCORE 3.25233840805E8
AT ITER 7840 NEW BEST:: SOT -1839597442 SOS 587077499 HAS SOPS 587077499 HAS SOUS 324639450 HAS SOUPS 324639450 WITH SCORE 3.25226527499E8
AT ITER 7863 NEW BEST:: SOT -1839597442 SOS 587078769 HAS SOPS 587078769 HAS SOUS 324639448 HAS SOUPS 324639448 WITH SCORE 3.25226526769E8
AT ITER 7864 NEW BEST:: SOT -1839597442 SOS 587075034 HAS SOPS 587075034 HAS SOUS 324638203 HAS SOUPS 324638203 WITH SCORE 3.25225278034E8
AT ITER 7893 NEW BEST:: SOT -1839597531 SOS 587074856 HAS SOPS 587074856 HAS SOUS 324638114 HAS SOUPS 324638114 WITH SCORE 3.25225188856E8
AT ITER 7910 NEW BEST:: SOT -1839604484 SOS 587060950 HAS SOPS 587060950 HAS SOUS 324624208 HAS SOUPS 324624208 WITH SCORE 3.2521126895E8
AT ITER 7931 NEW BEST:: SOT -1839603882 SOS 587077830 HAS SOPS 587077830 HAS SOUS 324615583 HAS SOUPS 324615583 WITH SCORE 3.2520266083E8
AT ITER 7987 NEW BEST:: SOT -1839605665 SOS 587074264 HAS SOPS 587074264 HAS SOUS 324612017 HAS SOUPS 324612017 WITH SCORE 3.25199091264E8
AT ITER 8003 NEW BEST:: SOT -1839608278 SOS 587079490 HAS SOPS 587079490 HAS SOUS 324609404 HAS SOUPS 324609404 WITH SCORE 3.2519648349E8
AT ITER 8020 NEW BEST:: SOT -1839610767 SOS 587074512 HAS SOPS 587074512 HAS SOUS 324604426 HAS SOUPS 324604426 WITH SCORE 3.25191500512E8
AT ITER 8034 NEW BEST:: SOT -1839610767 SOS 587055498 HAS SOPS 587055498 HAS SOUS 324604425 HAS SOUPS 324604425 WITH SCORE 3.25191480498E8
AT ITER 8046 NEW BEST:: SOT -1839612114 SOS 587055497 HAS SOPS 587055497 HAS SOUS 324604424 HAS SOUPS 324604424 WITH SCORE 3.25191479497E8
AT ITER 8053 NEW BEST:: SOT -1839612314 SOS 587055397 HAS SOPS 587055397 HAS SOUS 324604324 HAS SOUPS 324604324 WITH SCORE 3.25191379397E8
AT ITER 8059 NEW BEST:: SOT -1839617806 SOS 587060889 HAS SOPS 587060889 HAS SOUS 324601593 HAS SOUPS 324601593 WITH SCORE 3.25188653889E8
AT ITER 8098 NEW BEST:: SOT -1839617806 SOS 587060889 HAS SOPS 587060889 HAS SOUS 324601592 HAS SOUPS 324601592 WITH SCORE 3.25188652889E8
AT ITER 8099 NEW BEST:: SOT -1839620090 SOS 587056321 HAS SOPS 587056321 HAS SOUS 324597024 HAS SOUPS 324597024 WITH SCORE 3.25184080321E8
AT ITER 8156 NEW BEST:: SOT -1839623033 SOS 587063125 HAS SOPS 587063125 HAS SOUS 324594081 HAS SOUPS 324594081 WITH SCORE 3.25181144125E8
AT ITER 8168 NEW BEST:: SOT -1839631145 SOS 587061259 HAS SOPS 587061259 HAS SOUS 324592215 HAS SOUPS 324592215 WITH SCORE 3.25179276259E8
AT ITER 8192 NEW BEST:: SOT -1839633493 SOS 587056563 HAS SOPS 587056563 HAS SOUS 324587519 HAS SOUPS 324587519 WITH SCORE 3.25174575563E8
AT ITER 8207 NEW BEST:: SOT -1839633493 SOS 587054650 HAS SOPS 587054650 HAS SOUS 324585606 HAS SOUPS 324585606 WITH SCORE 3.2517266065E8
AT ITER 8229 NEW BEST:: SOT -1839636243 SOS 587049150 HAS SOPS 587049150 HAS SOUS 324573530 HAS SOUPS 324573530 WITH SCORE 3.2516057915E8
AT ITER 8233 NEW BEST:: SOT -1839633109 SOS 587055418 HAS SOPS 587055418 HAS SOUS 324571319 HAS SOUPS 324571319 WITH SCORE 3.25158374418E8
AT ITER 8236 NEW BEST:: SOT -1839650720 SOS 587042610 HAS SOPS 587042610 HAS SOUS 324568117 HAS SOUPS 324568117 WITH SCORE 3.2515515961E8
AT ITER 8274 NEW BEST:: SOT -1839656370 SOS 587095497 HAS SOPS 587095497 HAS SOUS 324556816 HAS SOUPS 324556816 WITH SCORE 3.25143911497E8
AT ITER 8293 NEW BEST:: SOT -1839665732 SOS 587086134 HAS SOPS 587086134 HAS SOUS 324547453 HAS SOUPS 324547453 WITH SCORE 3.25134539134E8
AT ITER 8334 NEW BEST:: SOT -1839673757 SOS 587082331 HAS SOPS 587082331 HAS SOUS 324541119 HAS SOUPS 324541119 WITH SCORE 3.25128201331E8
AT ITER 8349 NEW BEST:: SOT -1839674223 SOS 587081865 HAS SOPS 587081865 HAS SOUS 324540187 HAS SOUPS 324540187 WITH SCORE 3.25127268865E8
AT ITER 8388 NEW BEST:: SOT -1839675430 SOS 587082661 HAS SOPS 587082661 HAS SOUS 324536473 HAS SOUPS 324536473 WITH SCORE 3.25123555661E8
AT ITER 8393 NEW BEST:: SOT -1839686382 SOS 587085157 HAS SOPS 587085157 HAS SOUS 324535015 HAS SOUPS 324535015 WITH SCORE 3.25122100157E8
AT ITER 8397 NEW BEST:: SOT -1839686026 SOS 587085869 HAS SOPS 587085869 HAS SOUS 324524846 HAS SOUPS 324524846 WITH SCORE 3.25111931869E8
AT ITER 8444 NEW BEST:: SOT -1839690968 SOS 587075985 HAS SOPS 587075985 HAS SOUS 324519904 HAS SOUPS 324519904 WITH SCORE 3.25106979985E8
AT ITER 8465 NEW BEST:: SOT -1839690968 SOS 587062929 HAS SOPS 587062929 HAS SOUS 324519903 HAS SOUPS 324519903 WITH SCORE 3.25106965929E8
AT ITER 8514 NEW BEST:: SOT -1839690968 SOS 587049615 HAS SOPS 587049615 HAS SOUS 324519902 HAS SOUPS 324519902 WITH SCORE 3.25106951615E8
AT ITER 8519 NEW BEST:: SOT -1839694152 SOS 587043247 HAS SOPS 587043247 HAS SOUS 324513534 HAS SOUPS 324513534 WITH SCORE 3.25100577247E8
AT ITER 8524 NEW BEST:: SOT -1839695738 SOS 587040075 HAS SOPS 587040075 HAS SOUS 324511948 HAS SOUPS 324511948 WITH SCORE 3.25098988075E8
AT ITER 8546 NEW BEST:: SOT -1839698015 SOS 587040071 HAS SOPS 587040071 HAS SOUS 324510134 HAS SOUPS 324510134 WITH SCORE 3.25097174071E8
AT ITER 8563 NEW BEST:: SOT -1839699010 SOS 587038081 HAS SOPS 587038081 HAS SOUS 324509901 HAS SOUPS 324509901 WITH SCORE 3.25096939081E8
AT ITER 8628 NEW BEST:: SOT -1839707281 SOS 587030226 HAS SOPS 587030226 HAS SOUS 324502046 HAS SOUPS 324502046 WITH SCORE 3.25089076226E8
AT ITER 8629 NEW BEST:: SOT -1839709817 SOS 587029332 HAS SOPS 587029332 HAS SOUS 324501152 HAS SOUPS 324501152 WITH SCORE 3.25088181332E8
AT ITER 8647 NEW BEST:: SOT -1839715741 SOS 587055578 HAS SOPS 587055578 HAS SOUS 324493908 HAS SOUPS 324493908 WITH SCORE 3.25080963578E8
AT ITER 8656 NEW BEST:: SOT -1839715741 SOS 587050031 HAS SOPS 587050031 HAS SOUS 324492059 HAS SOUPS 324492059 WITH SCORE 3.25079109031E8
AT ITER 8658 NEW BEST:: SOT -1839709564 SOS 587038697 HAS SOPS 587038697 HAS SOUS 324491357 HAS SOUPS 324491357 WITH SCORE 3.25078395697E8
AT ITER 8675 NEW BEST:: SOT -1839717114 SOS 587031147 HAS SOPS 587031147 HAS SOUS 324483807 HAS SOUPS 324483807 WITH SCORE 3.25070838147E8
AT ITER 8748 NEW BEST:: SOT -1839719930 SOS 587040704 HAS SOPS 587040704 HAS SOUS 324480991 HAS SOUPS 324480991 WITH SCORE 3.25068031704E8
AT ITER 8800 NEW BEST:: SOT -1839720564 SOS 587038168 HAS SOPS 587038168 HAS SOUS 324480357 HAS SOUPS 324480357 WITH SCORE 3.25067395168E8
AT ITER 8811 NEW BEST:: SOT -1839721045 SOS 587037206 HAS SOPS 587037206 HAS SOUS 324479395 HAS SOUPS 324479395 WITH SCORE 3.25066432206E8
AT ITER 8824 NEW BEST:: SOT -1839723166 SOS 587024000 HAS SOPS 587024000 HAS SOUS 324474286 HAS SOUPS 324474286 WITH SCORE 3.2506131E8
AT ITER 8855 NEW BEST:: SOT -1839725326 SOS 587021840 HAS SOPS 587021840 HAS SOUS 324472126 HAS SOUPS 324472126 WITH SCORE 3.2505914784E8
AT ITER 8895 NEW BEST:: SOT -1839725326 SOS 587034554 HAS SOPS 587034554 HAS SOUS 324468928 HAS SOUPS 324468928 WITH SCORE 3.25055962554E8
AT ITER 8917 NEW BEST:: SOT -1839736492 SOS 587023388 HAS SOPS 587023388 HAS SOUS 324457762 HAS SOUPS 324457762 WITH SCORE 3.25044785388E8
AT ITER 8949 NEW BEST:: SOT -1839736492 SOS 587007194 HAS SOPS 587007194 HAS SOUS 324457762 HAS SOUPS 324457762 WITH SCORE 3.25044769194E8
AT ITER 9019 NEW BEST:: SOT -1839737942 SOS 587008644 HAS SOPS 587008644 HAS SOUS 324456312 HAS SOUPS 324456312 WITH SCORE 3.25043320644E8
AT ITER 9024 NEW BEST:: SOT -1839743480 SOS 587031377 HAS SOPS 587031377 HAS SOUS 324443278 HAS SOUPS 324443278 WITH SCORE 3.25030309377E8
AT ITER 9081 NEW BEST:: SOT -1839743480 SOS 587018651 HAS SOPS 587018651 HAS SOUS 324439036 HAS SOUPS 324439036 WITH SCORE 3.25026054651E8
AT ITER 9111 NEW BEST:: SOT -1839743480 SOS 587034740 HAS SOPS 587034740 HAS SOUS 324430989 HAS SOUPS 324430989 WITH SCORE 3.2501802374E8
AT ITER 9116 NEW BEST:: SOT -1839743480 SOS 587032481 HAS SOPS 587032481 HAS SOUS 324430989 HAS SOUPS 324430989 WITH SCORE 3.25018021481E8
AT ITER 9149 NEW BEST:: SOT -1839743480 SOS 587032481 HAS SOPS 587032481 HAS SOUS 324413228 HAS SOUPS 324413228 WITH SCORE 3.25000260481E8
AT ITER 9161 NEW BEST:: SOT -1839743695 SOS 587032051 HAS SOPS 587032051 HAS SOUS 324412798 HAS SOUPS 324412798 WITH SCORE 3.24999830051E8
AT ITER 9192 NEW BEST:: SOT -1839750881 SOS 587017679 HAS SOPS 587017679 HAS SOUS 324398426 HAS SOUPS 324398426 WITH SCORE 3.24985443679E8
AT ITER 9251 NEW BEST:: SOT -1839759232 SOS 587026030 HAS SOPS 587026030 HAS SOUS 324396167 HAS SOUPS 324396167 WITH SCORE 3.2498319303E8
AT ITER 9288 NEW BEST:: SOT -1839762340 SOS 587031673 HAS SOPS 587031673 HAS SOUS 324393059 HAS SOUPS 324393059 WITH SCORE 3.24980090673E8
AT ITER 9295 NEW BEST:: SOT -1839767934 SOS 587020485 HAS SOPS 587020485 HAS SOUS 324381871 HAS SOUPS 324381871 WITH SCORE 3.24968891485E8
AT ITER 9312 NEW BEST:: SOT -1839768495 SOS 587131241 HAS SOPS 587131241 HAS SOUS 324380748 HAS SOUPS 324380748 WITH SCORE 3.24967879241E8
AT ITER 9317 NEW BEST:: SOT -1839768495 SOS 587117597 HAS SOPS 587117597 HAS SOUS 324380747 HAS SOUPS 324380747 WITH SCORE 3.24967864597E8
AT ITER 9338 NEW BEST:: SOT -1839768661 SOS 587117265 HAS SOPS 587117265 HAS SOUS 324380581 HAS SOUPS 324380581 WITH SCORE 3.24967698265E8
AT ITER 9343 NEW BEST:: SOT -1839768661 SOS 587113859 HAS SOPS 587113859 HAS SOUS 324378878 HAS SOUPS 324378878 WITH SCORE 3.24965991859E8
AT ITER 9364 NEW BEST:: SOT -1839772641 SOS 587105899 HAS SOPS 587105899 HAS SOUS 324370918 HAS SOUPS 324370918 WITH SCORE 3.24958023899E8
AT ITER 9398 NEW BEST:: SOT -1839773001 SOS 587105539 HAS SOPS 587105539 HAS SOUS 324370558 HAS SOUPS 324370558 WITH SCORE 3.24957663539E8
AT ITER 9413 NEW BEST:: SOT -1839771446 SOS 587108649 HAS SOPS 587108649 HAS SOUS 324355717 HAS SOUPS 324355717 WITH SCORE 3.24942825649E8
AT ITER 9434 NEW BEST:: SOT -1839771446 SOS 587098155 HAS SOPS 587098155 HAS SOUS 324355716 HAS SOUPS 324355716 WITH SCORE 3.24942814155E8
AT ITER 9439 NEW BEST:: SOT -1839771446 SOS 587081694 HAS SOPS 587081694 HAS SOUS 324355715 HAS SOUPS 324355715 WITH SCORE 3.24942796694E8
AT ITER 9503 NEW BEST:: SOT -1839778647 SOS 587081684 HAS SOPS 587081684 HAS SOUS 324350548 HAS SOUPS 324350548 WITH SCORE 3.24937629684E8
AT ITER 9517 NEW BEST:: SOT -1839778647 SOS 587061770 HAS SOPS 587061770 HAS SOUS 324343910 HAS SOUPS 324343910 WITH SCORE 3.2493097177E8
AT ITER 9535 NEW BEST:: SOT -1839778647 SOS 587058722 HAS SOPS 587058722 HAS SOUS 324343910 HAS SOUPS 324343910 WITH SCORE 3.24930968722E8
AT ITER 9569 NEW BEST:: SOT -1839778647 SOS 587039699 HAS SOPS 587039699 HAS SOUS 324343910 HAS SOUPS 324343910 WITH SCORE 3.24930949699E8
AT ITER 9577 NEW BEST:: SOT -1839780561 SOS 587035871 HAS SOPS 587035871 HAS SOUS 324340082 HAS SOUPS 324340082 WITH SCORE 3.24927117871E8
AT ITER 9579 NEW BEST:: SOT -1839780561 SOS 587034562 HAS SOPS 587034562 HAS SOUS 324337418 HAS SOUPS 324337418 WITH SCORE 3.24924452562E8
AT ITER 9589 NEW BEST:: SOT -1839790956 SOS 586984291 HAS SOPS 586984291 HAS SOUS 324317054 HAS SOUPS 324317054 WITH SCORE 3.24904038291E8
AT ITER 9597 NEW BEST:: SOT -1839790956 SOS 586967038 HAS SOPS 586967038 HAS SOUS 324317054 HAS SOUPS 324317054 WITH SCORE 3.24904021038E8
AT ITER 9639 NEW BEST:: SOT -1839796171 SOS 586972246 HAS SOPS 586972246 HAS SOUS 324311837 HAS SOUPS 324311837 WITH SCORE 3.24898809246E8
AT ITER 9643 NEW BEST:: SOT -1839796171 SOS 586985331 HAS SOPS 586985331 HAS SOUS 324307473 HAS SOUPS 324307473 WITH SCORE 3.24894458331E8
AT ITER 9646 NEW BEST:: SOT -1839796172 SOS 586985329 HAS SOPS 586985329 HAS SOUS 324307471 HAS SOUPS 324307471 WITH SCORE 3.24894456329E8
AT ITER 9663 NEW BEST:: SOT -1839802246 SOS 586991399 HAS SOPS 586991399 HAS SOUS 324295322 HAS SOUPS 324295322 WITH SCORE 3.24882313399E8
AT ITER 9715 NEW BEST:: SOT -1839807147 SOS 586994000 HAS SOPS 586994000 HAS SOUS 324287159 HAS SOUPS 324287159 WITH SCORE 3.24874153E8
AT ITER 9740 NEW BEST:: SOT -1839807147 SOS 586983479 HAS SOPS 586983479 HAS SOUS 324287158 HAS SOUPS 324287158 WITH SCORE 3.24874141479E8
AT ITER 9743 NEW BEST:: SOT -1839824186 SOS 586949401 HAS SOPS 586949401 HAS SOUS 324253080 HAS SOUPS 324253080 WITH SCORE 3.24840029401E8
AT ITER 9754 NEW BEST:: SOT -1839824186 SOS 586943210 HAS SOPS 586943210 HAS SOUS 324253080 HAS SOUPS 324253080 WITH SCORE 3.2484002321E8
AT ITER 9756 NEW BEST:: SOT -1839824186 SOS 586959512 HAS SOPS 586959512 HAS SOUS 324250407 HAS SOUPS 324250407 WITH SCORE 3.24837366512E8
AT ITER 9768 NEW BEST:: SOT -1839829785 SOS 586942715 HAS SOPS 586942715 HAS SOUS 324242436 HAS SOUPS 324242436 WITH SCORE 3.24829378715E8
AT ITER 9798 NEW BEST:: SOT -1839833361 SOS 586935563 HAS SOPS 586935563 HAS SOUS 324240324 HAS SOUPS 324240324 WITH SCORE 3.24827259563E8
AT ITER 9820 NEW BEST:: SOT -1839833361 SOS 586960845 HAS SOPS 586960845 HAS SOUS 324238442 HAS SOUPS 324238442 WITH SCORE 3.24825402845E8
AT ITER 9844 NEW BEST:: SOT -1839834503 SOS 586958561 HAS SOPS 586958561 HAS SOUS 324236158 HAS SOUPS 324236158 WITH SCORE 3.24823116561E8
AT ITER 9853 NEW BEST:: SOT -1839834503 SOS 586958561 HAS SOPS 586958561 HAS SOUS 324219684 HAS SOUPS 324219684 WITH SCORE 3.24806642561E8
AT ITER 9856 NEW BEST:: SOT -1839836618 SOS 586962783 HAS SOPS 586962783 HAS SOUS 324217567 HAS SOUPS 324217567 WITH SCORE 3.24804529783E8
AT ITER 9916 NEW BEST:: SOT -1839836618 SOS 586953645 HAS SOPS 586953645 HAS SOUS 324217567 HAS SOUPS 324217567 WITH SCORE 3.24804520645E8
AT ITER 9924 NEW BEST:: SOT -1839850229 SOS 586926423 HAS SOPS 586926423 HAS SOUS 324190345 HAS SOUPS 324190345 WITH SCORE 3.24777271423E8
AT ITER 9935 NEW BEST:: SOT -1839850230 SOS 586926421 HAS SOPS 586926421 HAS SOUS 324190343 HAS SOUPS 324190343 WITH SCORE 3.24777269421E8
AT ITER 9956 NEW BEST:: SOT -1839856080 SOS 586914721 HAS SOPS 586914721 HAS SOUS 324178643 HAS SOUPS 324178643 WITH SCORE 3.24765557721E8
AT ITER 9966 NEW BEST:: SOT -1839856080 SOS 586959493 HAS SOPS 586959493 HAS SOUS 324173455 HAS SOUPS 324173455 WITH SCORE 3.24760414493E8
AT ITER 9967 NEW BEST:: SOT -1839858858 SOS 586969300 HAS SOPS 586969300 HAS SOUS 324170677 HAS SOUPS 324170677 WITH SCORE 3.247576463E8
AT ITER 9968 NEW BEST:: SOT -1839860320 SOS 586972220 HAS SOPS 586972220 HAS SOUS 324169214 HAS SOUPS 324169214 WITH SCORE 3.2475618622E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15772696 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16106988 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-8b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DLCflexbar-PT-8b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472600616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-8b.tgz
mv DLCflexbar-PT-8b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;