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.r291-tall-167873943100584.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 PolyORBLF-PT-S04J06T10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943100584
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.9M
-rw-r--r-- 1 mcc users 26K Feb 26 14:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 146K Feb 26 14:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Feb 26 14:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 148K Feb 26 14:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 144K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 480K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 47K Feb 26 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 248K Feb 26 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 38K Feb 26 14:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 195K Feb 26 14:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.6K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 4.3M Mar 5 18:23 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 1678803312496

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=PolyORBLF-PT-S04J06T10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J06T10
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: 966 places, 5354 transitions, 36134 arcs.
AT ITER 0 NEW BEST:: SOT 3317360 SOS 1953480 HAS SOPS 1934443 HAS SOUS 633161 HAS SOUPS 632369 WITH SCORE 634322.48
AT ITER 5 NEW BEST:: SOT 3316772 SOS 1952909 HAS SOPS 1933872 HAS SOUS 632535 HAS SOUPS 631743 WITH SCORE 633695.909
AT ITER 6 NEW BEST:: SOT 3316754 SOS 1952873 HAS SOPS 1933836 HAS SOUS 632525 HAS SOUPS 631733 WITH SCORE 633685.873
AT ITER 7 NEW BEST:: SOT 3316266 SOS 1952388 HAS SOPS 1933351 HAS SOUS 632159 HAS SOUPS 631367 WITH SCORE 633319.388
AT ITER 9 NEW BEST:: SOT 3306864 SOS 1942903 HAS SOPS 1923588 HAS SOUS 622630 HAS SOUPS 621719 WITH SCORE 623661.903
AT ITER 22 NEW BEST:: SOT 3306440 SOS 1942373 HAS SOPS 1923058 HAS SOUS 622185 HAS SOUPS 621274 WITH SCORE 623216.373
AT ITER 23 NEW BEST:: SOT 3306262 SOS 1942195 HAS SOPS 1922978 HAS SOUS 622117 HAS SOUPS 621204 WITH SCORE 623146.195
AT ITER 28 NEW BEST:: SOT 3358016 SOS 2081221 HAS SOPS 2073945 HAS SOUS 618851 HAS SOUPS 618192 WITH SCORE 620273.221
AT ITER 30 NEW BEST:: SOT 3357584 SOS 2080805 HAS SOPS 2073529 HAS SOUS 617238 HAS SOUPS 616579 WITH SCORE 618659.805
AT ITER 32 NEW BEST:: SOT 3357363 SOS 2080461 HAS SOPS 2073185 HAS SOUS 617034 HAS SOUPS 616375 WITH SCORE 618455.461
AT ITER 36 NEW BEST:: SOT 3355801 SOS 2079066 HAS SOPS 2071790 HAS SOUS 615499 HAS SOUPS 614840 WITH SCORE 616919.066
AT ITER 43 NEW BEST:: SOT 3355370 SOS 2078654 HAS SOPS 2071378 HAS SOUS 613823 HAS SOUPS 613164 WITH SCORE 615242.654
AT ITER 61 NEW BEST:: SOT 3354901 SOS 2077789 HAS SOPS 2070953 HAS SOUS 613442 HAS SOUPS 612827 WITH SCORE 614904.789
AT ITER 66 NEW BEST:: SOT 3353486 SOS 2076707 HAS SOPS 2069871 HAS SOUS 612865 HAS SOUPS 612250 WITH SCORE 614326.707
AT ITER 76 NEW BEST:: SOT 3353486 SOS 2077149 HAS SOPS 2070313 HAS SOUS 612005 HAS SOUPS 611390 WITH SCORE 613467.149
AT ITER 80 NEW BEST:: SOT 3353446 SOS 2077109 HAS SOPS 2070233 HAS SOUS 611945 HAS SOUPS 611300 WITH SCORE 613377.109
AT ITER 82 NEW BEST:: SOT 3353446 SOS 2010314 HAS SOPS 2003438 HAS SOUS 611871 HAS SOUPS 611226 WITH SCORE 613236.314
AT ITER 85 NEW BEST:: SOT 3354667 SOS 2011878 HAS SOPS 2005002 HAS SOUS 611861 HAS SOUPS 611216 WITH SCORE 613227.878
AT ITER 90 NEW BEST:: SOT 3322945 SOS 1980311 HAS SOPS 1973435 HAS SOUS 604683 HAS SOUPS 604038 WITH SCORE 606018.311
AT ITER 98 NEW BEST:: SOT 3322926 SOS 1980292 HAS SOPS 1973416 HAS SOUS 604664 HAS SOUPS 604019 WITH SCORE 605999.292
AT ITER 100 NEW BEST:: SOT 3322785 SOS 1980154 HAS SOPS 1973558 HAS SOUS 604380 HAS SOUPS 603926 WITH SCORE 605906.154
AT ITER 102 NEW BEST:: SOT 3321948 SOS 1979472 HAS SOPS 1972876 HAS SOUS 603698 HAS SOUPS 603244 WITH SCORE 605223.472
AT ITER 107 NEW BEST:: SOT 3321444 SOS 1979040 HAS SOPS 1972444 HAS SOUS 602308 HAS SOUPS 601854 WITH SCORE 603833.04
AT ITER 119 NEW BEST:: SOT 3321144 SOS 1978763 HAS SOPS 1972167 HAS SOUS 600874 HAS SOUPS 600420 WITH SCORE 602398.763
AT ITER 131 NEW BEST:: SOT 3319679 SOS 1977604 HAS SOPS 1971008 HAS SOUS 599963 HAS SOUPS 599509 WITH SCORE 601486.604
AT ITER 136 NEW BEST:: SOT 3318255 SOS 1976324 HAS SOPS 1969728 HAS SOUS 598655 HAS SOUPS 598201 WITH SCORE 600177.324
AT ITER 148 NEW BEST:: SOT 3318255 SOS 1976324 HAS SOPS 1969728 HAS SOUS 598593 HAS SOUPS 598139 WITH SCORE 600115.324
AT ITER 150 NEW BEST:: SOT 3318294 SOS 1976383 HAS SOPS 1969787 HAS SOUS 596288 HAS SOUPS 595834 WITH SCORE 597810.383
AT ITER 162 NEW BEST:: SOT 3318096 SOS 1976135 HAS SOPS 1969674 HAS SOUS 596228 HAS SOUPS 595774 WITH SCORE 597750.135
AT ITER 176 NEW BEST:: SOT 3318048 SOS 1975774 HAS SOPS 1969313 HAS SOUS 596132 HAS SOUPS 595678 WITH SCORE 597653.774
AT ITER 182 NEW BEST:: SOT 3248669 SOS 1933030 HAS SOPS 1926569 HAS SOUS 587888 HAS SOUPS 587434 WITH SCORE 589367.03
AT ITER 184 NEW BEST:: SOT 3172627 SOS 1877439 HAS SOPS 1870978 HAS SOUS 576134 HAS SOUPS 575680 WITH SCORE 577557.439
AT ITER 214 NEW BEST:: SOT 3172627 SOS 1877439 HAS SOPS 1870978 HAS SOUS 575990 HAS SOUPS 575536 WITH SCORE 577413.439
AT ITER 222 NEW BEST:: SOT 3172627 SOS 1874865 HAS SOPS 1868404 HAS SOUS 575992 HAS SOUPS 575538 WITH SCORE 577412.865
AT ITER 223 NEW BEST:: SOT 3172415 SOS 1874675 HAS SOPS 1868214 HAS SOUS 575663 HAS SOUPS 575209 WITH SCORE 577083.675
AT ITER 228 NEW BEST:: SOT 3085719 SOS 1811158 HAS SOPS 1804697 HAS SOUS 560882 HAS SOUPS 560428 WITH SCORE 562239.158
AT ITER 230 NEW BEST:: SOT 3085722 SOS 1811161 HAS SOPS 1804700 HAS SOUS 560525 HAS SOUPS 560071 WITH SCORE 561882.161
AT ITER 235 NEW BEST:: SOT 3084944 SOS 1810485 HAS SOPS 1804024 HAS SOUS 559849 HAS SOUPS 559395 WITH SCORE 561205.485
AT ITER 236 NEW BEST:: SOT 3084521 SOS 1810110 HAS SOPS 1803649 HAS SOUS 559817 HAS SOUPS 559363 WITH SCORE 561173.11
AT ITER 270 NEW BEST:: SOT 3084044 SOS 1809640 HAS SOPS 1803179 HAS SOUS 558196 HAS SOUPS 557742 WITH SCORE 559551.64
AT ITER 273 NEW BEST:: SOT 3084027 SOS 1809572 HAS SOPS 1803111 HAS SOUS 558162 HAS SOUPS 557708 WITH SCORE 559517.572
AT ITER 274 NEW BEST:: SOT 3083508 SOS 1808880 HAS SOPS 1802419 HAS SOUS 555265 HAS SOUPS 554811 WITH SCORE 556619.88
AT ITER 279 NEW BEST:: SOT 3083074 SOS 1808458 HAS SOPS 1801997 HAS SOUS 555090 HAS SOUPS 554636 WITH SCORE 556444.458
AT ITER 284 NEW BEST:: SOT 3082198 SOS 1807773 HAS SOPS 1801312 HAS SOUS 554279 HAS SOUPS 553825 WITH SCORE 555632.773
AT ITER 313 NEW BEST:: SOT 3081903 SOS 1807315 HAS SOPS 1800854 HAS SOUS 553858 HAS SOUPS 553404 WITH SCORE 555211.315
AT ITER 320 NEW BEST:: SOT 3081890 SOS 1807350 HAS SOPS 1800889 HAS SOUS 553832 HAS SOUPS 553378 WITH SCORE 555185.35
AT ITER 323 NEW BEST:: SOT 3081709 SOS 1807173 HAS SOPS 1800714 HAS SOUS 553772 HAS SOUPS 553318 WITH SCORE 555125.173
AT ITER 329 NEW BEST:: SOT 3081509 SOS 1806994 HAS SOPS 1800535 HAS SOUS 552202 HAS SOUPS 551748 WITH SCORE 553554.994
AT ITER 331 NEW BEST:: SOT 3080717 SOS 1806228 HAS SOPS 1799769 HAS SOUS 551165 HAS SOUPS 550711 WITH SCORE 552517.228
AT ITER 340 NEW BEST:: SOT 3079855 SOS 1805551 HAS SOPS 1799092 HAS SOUS 549996 HAS SOUPS 549542 WITH SCORE 551347.551
AT ITER 341 NEW BEST:: SOT 3077390 SOS 1803213 HAS SOPS 1796754 HAS SOUS 547676 HAS SOUPS 547222 WITH SCORE 549025.213
AT ITER 346 NEW BEST:: SOT 3009635 SOS 1735631 HAS SOPS 1729172 HAS SOUS 534766 HAS SOUPS 534312 WITH SCORE 536047.631
AT ITER 350 NEW BEST:: SOT 3009426 SOS 1735444 HAS SOPS 1728985 HAS SOUS 534703 HAS SOUPS 534249 WITH SCORE 535984.444
AT ITER 354 NEW BEST:: SOT 3009358 SOS 1735366 HAS SOPS 1728907 HAS SOUS 534567 HAS SOUPS 534113 WITH SCORE 535848.366
AT ITER 355 NEW BEST:: SOT 3009354 SOS 1735362 HAS SOPS 1728903 HAS SOUS 534543 HAS SOUPS 534089 WITH SCORE 535824.362
AT ITER 362 NEW BEST:: SOT 3009326 SOS 1735334 HAS SOPS 1728847 HAS SOUS 534487 HAS SOUPS 534033 WITH SCORE 535768.334
AT ITER 369 NEW BEST:: SOT 3012189 SOS 1738486 HAS SOPS 1731999 HAS SOUS 533901 HAS SOUPS 533447 WITH SCORE 535185.486
AT ITER 384 NEW BEST:: SOT 3012279 SOS 1738666 HAS SOPS 1732179 HAS SOUS 533891 HAS SOUPS 533437 WITH SCORE 535175.666
AT ITER 389 NEW BEST:: SOT 3011214 SOS 1737801 HAS SOPS 1731314 HAS SOUS 532561 HAS SOUPS 532107 WITH SCORE 533844.801
AT ITER 390 NEW BEST:: SOT 3010898 SOS 1737504 HAS SOPS 1731017 HAS SOUS 530681 HAS SOUPS 530227 WITH SCORE 531964.504
AT ITER 397 NEW BEST:: SOT 3010898 SOS 1737279 HAS SOPS 1730042 HAS SOUS 530680 HAS SOUPS 530151 WITH SCORE 531888.279
AT ITER 398 NEW BEST:: SOT 3011068 SOS 1737553 HAS SOPS 1730316 HAS SOUS 530445 HAS SOUPS 529916 WITH SCORE 531653.553
AT ITER 402 NEW BEST:: SOT 3010999 SOS 1737497 HAS SOPS 1730260 HAS SOUS 529260 HAS SOUPS 528731 WITH SCORE 530468.497
AT ITER 407 NEW BEST:: SOT 3003620 SOS 1758939 HAS SOPS 1751702 HAS SOUS 528709 HAS SOUPS 528180 WITH SCORE 529938.939
AT ITER 415 NEW BEST:: SOT 3002376 SOS 1757315 HAS SOPS 1750078 HAS SOUS 527355 HAS SOUPS 526826 WITH SCORE 528583.315
AT ITER 432 NEW BEST:: SOT 3002659 SOS 1741424 HAS SOPS 1725670 HAS SOUS 527275 HAS SOUPS 526571 WITH SCORE 528312.424
AT ITER 444 NEW BEST:: SOT 3002509 SOS 1741291 HAS SOPS 1725537 HAS SOUS 526911 HAS SOUPS 526207 WITH SCORE 527948.291
AT ITER 446 NEW BEST:: SOT 3002470 SOS 1741405 HAS SOPS 1725671 HAS SOUS 526880 HAS SOUPS 526177 WITH SCORE 527918.405
AT ITER 461 NEW BEST:: SOT 3002470 SOS 1741378 HAS SOPS 1725644 HAS SOUS 526853 HAS SOUPS 526150 WITH SCORE 527891.378
AT ITER 469 NEW BEST:: SOT 3002470 SOS 1741378 HAS SOPS 1725644 HAS SOUS 526744 HAS SOUPS 526041 WITH SCORE 527782.378
AT ITER 473 NEW BEST:: SOT 3002085 SOS 1741014 HAS SOPS 1725280 HAS SOUS 526378 HAS SOUPS 525675 WITH SCORE 527416.014
AT ITER 477 NEW BEST:: SOT 3001629 SOS 1740406 HAS SOPS 1724672 HAS SOUS 522578 HAS SOUPS 521875 WITH SCORE 523615.406
AT ITER 483 NEW BEST:: SOT 3001102 SOS 1739591 HAS SOPS 1723857 HAS SOUS 522040 HAS SOUPS 521337 WITH SCORE 523076.591
AT ITER 488 NEW BEST:: SOT 3001102 SOS 1739591 HAS SOPS 1723857 HAS SOUS 521949 HAS SOUPS 521246 WITH SCORE 522985.591
AT ITER 495 NEW BEST:: SOT 3001102 SOS 1739589 HAS SOPS 1723855 HAS SOUS 521949 HAS SOUPS 521246 WITH SCORE 522985.589
AT ITER 497 NEW BEST:: SOT 3001091 SOS 1739594 HAS SOPS 1723860 HAS SOUS 521705 HAS SOUPS 521002 WITH SCORE 522741.594
AT ITER 499 NEW BEST:: SOT 2998131 SOS 1736780 HAS SOPS 1721046 HAS SOUS 519019 HAS SOUPS 518316 WITH SCORE 520052.78
AT ITER 503 NEW BEST:: SOT 2996831 SOS 1735644 HAS SOPS 1719910 HAS SOUS 517184 HAS SOUPS 516481 WITH SCORE 518216.644
AT ITER 514 NEW BEST:: SOT 2996780 SOS 1736243 HAS SOPS 1720383 HAS SOUS 517055 HAS SOUPS 516317 WITH SCORE 518053.243
AT ITER 519 NEW BEST:: SOT 2899685 SOS 1667157 HAS SOPS 1651297 HAS SOUS 499769 HAS SOUPS 499031 WITH SCORE 500698.157
AT ITER 533 NEW BEST:: SOT 2899531 SOS 1666932 HAS SOPS 1651072 HAS SOUS 499604 HAS SOUPS 498866 WITH SCORE 500532.932
AT ITER 537 NEW BEST:: SOT 2899479 SOS 1666807 HAS SOPS 1650947 HAS SOUS 499427 HAS SOUPS 498689 WITH SCORE 500355.807
AT ITER 554 NEW BEST:: SOT 2899485 SOS 1666813 HAS SOPS 1650998 HAS SOUS 499391 HAS SOUPS 498650 WITH SCORE 500316.813
AT ITER 559 NEW BEST:: SOT 2899424 SOS 1666752 HAS SOPS 1650899 HAS SOUS 499292 HAS SOUPS 498551 WITH SCORE 500217.752
AT ITER 593 NEW BEST:: SOT 2899348 SOS 1666676 HAS SOPS 1650864 HAS SOUS 499278 HAS SOUPS 498537 WITH SCORE 500203.676
AT ITER 594 NEW BEST:: SOT 2899343 SOS 1666671 HAS SOPS 1650818 HAS SOUS 499153 HAS SOUPS 498412 WITH SCORE 500078.671
AT ITER 596 NEW BEST:: SOT 2899275 SOS 1666311 HAS SOPS 1650458 HAS SOUS 499153 HAS SOUPS 498412 WITH SCORE 500078.311
AT ITER 597 NEW BEST:: SOT 2899164 SOS 1666200 HAS SOPS 1650347 HAS SOUS 499133 HAS SOUPS 498392 WITH SCORE 500058.2
AT ITER 605 NEW BEST:: SOT 2892168 SOS 1659064 HAS SOPS 1643211 HAS SOUS 498282 HAS SOUPS 497541 WITH SCORE 499200.064
AT ITER 609 NEW BEST:: SOT 2892132 SOS 1658948 HAS SOPS 1643095 HAS SOUS 498268 HAS SOUPS 497527 WITH SCORE 499185.948
AT ITER 616 NEW BEST:: SOT 2892104 SOS 1658920 HAS SOPS 1643067 HAS SOUS 498184 HAS SOUPS 497443 WITH SCORE 499101.92
AT ITER 617 NEW BEST:: SOT 2891916 SOS 1658969 HAS SOPS 1643120 HAS SOUS 498035 HAS SOUPS 497294 WITH SCORE 498952.969
AT ITER 621 NEW BEST:: SOT 2891897 SOS 1658931 HAS SOPS 1643082 HAS SOUS 497957 HAS SOUPS 497216 WITH SCORE 498874.931
AT ITER 626 NEW BEST:: SOT 2891788 SOS 1658766 HAS SOPS 1642672 HAS SOUS 497712 HAS SOUPS 496971 WITH SCORE 498629.766
AT ITER 636 NEW BEST:: SOT 2892952 SOS 1660490 HAS SOPS 1644396 HAS SOUS 497246 HAS SOUPS 496505 WITH SCORE 498165.49
AT ITER 638 NEW BEST:: SOT 2892911 SOS 1660449 HAS SOPS 1644355 HAS SOUS 497164 HAS SOUPS 496423 WITH SCORE 498083.449
AT ITER 644 NEW BEST:: SOT 2892792 SOS 1660773 HAS SOPS 1644903 HAS SOUS 497145 HAS SOUPS 496404 WITH SCORE 498064.773
AT ITER 646 NEW BEST:: SOT 2892792 SOS 1660921 HAS SOPS 1645051 HAS SOUS 497042 HAS SOUPS 496301 WITH SCORE 497961.921
AT ITER 650 NEW BEST:: SOT 2892736 SOS 1660585 HAS SOPS 1644715 HAS SOUS 497042 HAS SOUPS 496301 WITH SCORE 497961.585
AT ITER 661 NEW BEST:: SOT 2892651 SOS 1660548 HAS SOPS 1644676 HAS SOUS 496872 HAS SOUPS 496131 WITH SCORE 497791.548
AT ITER 662 NEW BEST:: SOT 2892619 SOS 1660516 HAS SOPS 1644628 HAS SOUS 496812 HAS SOUPS 496071 WITH SCORE 497731.516
AT ITER 680 NEW BEST:: SOT 2892691 SOS 1660904 HAS SOPS 1645016 HAS SOUS 496708 HAS SOUPS 495967 WITH SCORE 497627.904
AT ITER 683 NEW BEST:: SOT 2892663 SOS 1660612 HAS SOPS 1644826 HAS SOUS 496551 HAS SOUPS 495810 WITH SCORE 497470.612
AT ITER 687 NEW BEST:: SOT 2892527 SOS 1660476 HAS SOPS 1644690 HAS SOUS 496411 HAS SOUPS 495670 WITH SCORE 497330.476
AT ITER 727 NEW BEST:: SOT 2892478 SOS 1660871 HAS SOPS 1645322 HAS SOUS 495159 HAS SOUPS 494418 WITH SCORE 496078.871
AT ITER 744 NEW BEST:: SOT 2851318 SOS 1626565 HAS SOPS 1611016 HAS SOUS 490087 HAS SOUPS 489346 WITH SCORE 490972.565
AT ITER 760 NEW BEST:: SOT 2851266 SOS 1626513 HAS SOPS 1610964 HAS SOUS 490014 HAS SOUPS 489273 WITH SCORE 490899.513
AT ITER 771 NEW BEST:: SOT 2851340 SOS 1626627 HAS SOPS 1611078 HAS SOUS 489771 HAS SOUPS 489030 WITH SCORE 490656.627
AT ITER 816 NEW BEST:: SOT 2848572 SOS 1623859 HAS SOPS 1608310 HAS SOUS 489599 HAS SOUPS 488858 WITH SCORE 490481.859
AT ITER 819 NEW BEST:: SOT 2848657 SOS 1624128 HAS SOPS 1608579 HAS SOUS 489571 HAS SOUPS 488830 WITH SCORE 490454.128
AT ITER 823 NEW BEST:: SOT 2848688 SOS 1624159 HAS SOPS 1608570 HAS SOUS 489491 HAS SOUPS 488750 WITH SCORE 490374.159
AT ITER 833 NEW BEST:: SOT 2848679 SOS 1624147 HAS SOPS 1608558 HAS SOUS 489416 HAS SOUPS 488675 WITH SCORE 490299.147
AT ITER 834 NEW BEST:: SOT 2847826 SOS 1623258 HAS SOPS 1607669 HAS SOUS 488897 HAS SOUPS 488156 WITH SCORE 489779.258
AT ITER 844 NEW BEST:: SOT 2846624 SOS 1622124 HAS SOPS 1606535 HAS SOUS 487698 HAS SOUPS 486957 WITH SCORE 488579.124
AT ITER 853 NEW BEST:: SOT 2846413 SOS 1621759 HAS SOPS 1606170 HAS SOUS 487391 HAS SOUPS 486650 WITH SCORE 488271.759
AT ITER 854 NEW BEST:: SOT 2846275 SOS 1622424 HAS SOPS 1606848 HAS SOUS 487211 HAS SOUPS 486470 WITH SCORE 488092.424
AT ITER 869 NEW BEST:: SOT 2846275 SOS 1607508 HAS SOPS 1591932 HAS SOUS 487211 HAS SOUPS 486470 WITH SCORE 488077.508
AT ITER 879 NEW BEST:: SOT 2846261 SOS 1607494 HAS SOPS 1591918 HAS SOUS 487197 HAS SOUPS 486456 WITH SCORE 488063.494
AT ITER 887 NEW BEST:: SOT 2846341 SOS 1607574 HAS SOPS 1591958 HAS SOUS 487187 HAS SOUPS 486441 WITH SCORE 488048.574
AT ITER 888 NEW BEST:: SOT 2846318 SOS 1607551 HAS SOPS 1591895 HAS SOUS 487049 HAS SOUPS 486303 WITH SCORE 487910.551
AT ITER 894 NEW BEST:: SOT 2846317 SOS 1607550 HAS SOPS 1591894 HAS SOUS 487048 HAS SOUPS 486302 WITH SCORE 487909.55
AT ITER 900 NEW BEST:: SOT 2846317 SOS 1607544 HAS SOPS 1591888 HAS SOUS 487042 HAS SOUPS 486296 WITH SCORE 487903.544
AT ITER 906 NEW BEST:: SOT 2845973 SOS 1607136 HAS SOPS 1591480 HAS SOUS 484890 HAS SOUPS 484144 WITH SCORE 485751.136
AT ITER 909 NEW BEST:: SOT 2845947 SOS 1607084 HAS SOPS 1591428 HAS SOUS 484838 HAS SOUPS 484092 WITH SCORE 485699.084
AT ITER 914 NEW BEST:: SOT 2845406 SOS 1606612 HAS SOPS 1590956 HAS SOUS 484068 HAS SOUPS 483322 WITH SCORE 484928.612
AT ITER 915 NEW BEST:: SOT 2845358 SOS 1606516 HAS SOPS 1590860 HAS SOUS 483924 HAS SOUPS 483178 WITH SCORE 484784.516
AT ITER 918 NEW BEST:: SOT 2845304 SOS 1606462 HAS SOPS 1590806 HAS SOUS 483870 HAS SOUPS 483124 WITH SCORE 484730.462
AT ITER 931 NEW BEST:: SOT 2846189 SOS 1607601 HAS SOPS 1591945 HAS SOUS 483790 HAS SOUPS 483044 WITH SCORE 484651.601
AT ITER 938 NEW BEST:: SOT 2846179 SOS 1607443 HAS SOPS 1591787 HAS SOUS 483770 HAS SOUPS 483024 WITH SCORE 484631.443
AT ITER 942 NEW BEST:: SOT 2846170 SOS 1608540 HAS SOPS 1592756 HAS SOUS 483685 HAS SOUPS 482939 WITH SCORE 484547.54
AT ITER 943 NEW BEST:: SOT 2846182 SOS 1607687 HAS SOPS 1591903 HAS SOUS 483663 HAS SOUPS 482917 WITH SCORE 484524.687
AT ITER 973 NEW BEST:: SOT 2846380 SOS 1607951 HAS SOPS 1592167 HAS SOUS 482739 HAS SOUPS 481993 WITH SCORE 483600.951
AT ITER 978 NEW BEST:: SOT 2846314 SOS 1607885 HAS SOPS 1592135 HAS SOUS 482523 HAS SOUPS 481777 WITH SCORE 483384.885
AT ITER 982 NEW BEST:: SOT 2846059 SOS 1607457 HAS SOPS 1591963 HAS SOUS 482380 HAS SOUPS 481634 WITH SCORE 483241.457
AT ITER 997 NEW BEST:: SOT 2846059 SOS 1607457 HAS SOPS 1591963 HAS SOUS 482375 HAS SOUPS 481629 WITH SCORE 483236.457
AT ITER 1002 NEW BEST:: SOT 2766443 SOS 1591421 HAS SOPS 1575927 HAS SOUS 470812 HAS SOUPS 470066 WITH SCORE 471657.421
AT ITER 1007 NEW BEST:: SOT 2766363 SOS 1591261 HAS SOPS 1575767 HAS SOUS 470677 HAS SOUPS 469931 WITH SCORE 471522.261
AT ITER 1008 NEW BEST:: SOT 2766204 SOS 1591020 HAS SOPS 1575524 HAS SOUS 470326 HAS SOUPS 469580 WITH SCORE 471171.02
AT ITER 1019 NEW BEST:: SOT 2765790 SOS 1590675 HAS SOPS 1575179 HAS SOUS 469774 HAS SOUPS 469028 WITH SCORE 470618.675
AT ITER 1029 NEW BEST:: SOT 2764374 SOS 1589259 HAS SOPS 1573763 HAS SOUS 467592 HAS SOUPS 466846 WITH SCORE 468435.259
AT ITER 1034 NEW BEST:: SOT 2764327 SOS 1589212 HAS SOPS 1573716 HAS SOUS 467531 HAS SOUPS 466785 WITH SCORE 468374.212
AT ITER 1056 NEW BEST:: SOT 2764526 SOS 1589500 HAS SOPS 1574004 HAS SOUS 467514 HAS SOUPS 466768 WITH SCORE 468357.5
AT ITER 1058 NEW BEST:: SOT 2764519 SOS 1589806 HAS SOPS 1574317 HAS SOUS 467027 HAS SOUPS 466281 WITH SCORE 467870.806
AT ITER 1072 NEW BEST:: SOT 2764299 SOS 1589686 HAS SOPS 1574199 HAS SOUS 466893 HAS SOUPS 466147 WITH SCORE 467736.686
AT ITER 1074 NEW BEST:: SOT 2764269 SOS 1589646 HAS SOPS 1574159 HAS SOUS 466833 HAS SOUPS 466087 WITH SCORE 467676.646
AT ITER 1081 NEW BEST:: SOT 2686192 SOS 1511910 HAS SOPS 1496423 HAS SOUS 452242 HAS SOUPS 451496 WITH SCORE 453007.91
AT ITER 1091 NEW BEST:: SOT 2686971 SOS 1513810 HAS SOPS 1498323 HAS SOUS 451789 HAS SOUPS 451043 WITH SCORE 452556.81
AT ITER 1092 NEW BEST:: SOT 2685910 SOS 1512970 HAS SOPS 1497483 HAS SOUS 451408 HAS SOUPS 450662 WITH SCORE 452174.97
AT ITER 1095 NEW BEST:: SOT 2685482 SOS 1513411 HAS SOPS 1497924 HAS SOUS 450829 HAS SOUPS 450083 WITH SCORE 451596.411
AT ITER 1106 NEW BEST:: SOT 2686936 SOS 1514865 HAS SOPS 1499378 HAS SOUS 450365 HAS SOUPS 449619 WITH SCORE 451133.865
AT ITER 1126 NEW BEST:: SOT 2686392 SOS 1514113 HAS SOPS 1498626 HAS SOUS 449673 HAS SOUPS 448927 WITH SCORE 450441.113
AT ITER 1131 NEW BEST:: SOT 2686327 SOS 1513984 HAS SOPS 1498497 HAS SOUS 448455 HAS SOUPS 447709 WITH SCORE 449222.984
AT ITER 1148 NEW BEST:: SOT 2685424 SOS 1513244 HAS SOPS 1497757 HAS SOUS 447712 HAS SOUPS 446966 WITH SCORE 448479.244
AT ITER 1151 NEW BEST:: SOT 2685374 SOS 1513194 HAS SOPS 1497675 HAS SOUS 447612 HAS SOUPS 446866 WITH SCORE 448379.194
AT ITER 1154 NEW BEST:: SOT 2685417 SOS 1513151 HAS SOPS 1497632 HAS SOUS 447606 HAS SOUPS 446860 WITH SCORE 448373.151
AT ITER 1168 NEW BEST:: SOT 2685387 SOS 1513136 HAS SOPS 1497617 HAS SOUS 447591 HAS SOUPS 446845 WITH SCORE 448358.136
AT ITER 1193 NEW BEST:: SOT 2677195 SOS 1515944 HAS SOPS 1500425 HAS SOUS 446875 HAS SOUPS 446129 WITH SCORE 447644.944
AT ITER 1203 NEW BEST:: SOT 2677145 SOS 1515911 HAS SOPS 1499942 HAS SOUS 446842 HAS SOUPS 445646 WITH SCORE 447161.911
AT ITER 1205 NEW BEST:: SOT 2676907 SOS 1515673 HAS SOPS 1499704 HAS SOUS 446842 HAS SOUPS 445646 WITH SCORE 447161.673
AT ITER 1215 NEW BEST:: SOT 2676827 SOS 1515593 HAS SOPS 1499604 HAS SOUS 446684 HAS SOUPS 445488 WITH SCORE 447003.593
AT ITER 1218 NEW BEST:: SOT 2676719 SOS 1515485 HAS SOPS 1499456 HAS SOUS 446547 HAS SOUPS 445351 WITH SCORE 446866.485
AT ITER 1232 NEW BEST:: SOT 2676700 SOS 1515466 HAS SOPS 1499437 HAS SOUS 446528 HAS SOUPS 445332 WITH SCORE 446847.466
AT ITER 1236 NEW BEST:: SOT 2665302 SOS 1504068 HAS SOPS 1488039 HAS SOUS 445021 HAS SOUPS 443825 WITH SCORE 445329.068
AT ITER 1256 NEW BEST:: SOT 2665297 SOS 1504026 HAS SOPS 1487997 HAS SOUS 444992 HAS SOUPS 443796 WITH SCORE 445300.026
AT ITER 1257 NEW BEST:: SOT 2665309 SOS 1504038 HAS SOPS 1488061 HAS SOUS 444926 HAS SOUPS 443728 WITH SCORE 445232.038
AT ITER 1317 NEW BEST:: SOT 2665370 SOS 1504288 HAS SOPS 1488311 HAS SOUS 444923 HAS SOUPS 443725 WITH SCORE 445229.288
AT ITER 1325 NEW BEST:: SOT 2664996 SOS 1504036 HAS SOPS 1488059 HAS SOUS 444671 HAS SOUPS 443473 WITH SCORE 444977.036
AT ITER 1332 NEW BEST:: SOT 2664963 SOS 1503992 HAS SOPS 1488015 HAS SOUS 444480 HAS SOUPS 443282 WITH SCORE 444785.992
AT ITER 1336 NEW BEST:: SOT 2662686 SOS 1501843 HAS SOPS 1485866 HAS SOUS 442582 HAS SOUPS 441384 WITH SCORE 442885.843
AT ITER 1344 NEW BEST:: SOT 2662634 SOS 1501769 HAS SOPS 1485792 HAS SOUS 442544 HAS SOUPS 441346 WITH SCORE 442847.769
AT ITER 1364 NEW BEST:: SOT 2662516 SOS 1501511 HAS SOPS 1485534 HAS SOUS 442286 HAS SOUPS 441088 WITH SCORE 442589.511
AT ITER 1368 NEW BEST:: SOT 2662436 SOS 1501431 HAS SOPS 1485443 HAS SOUS 442165 HAS SOUPS 440967 WITH SCORE 442468.431
AT ITER 1391 NEW BEST:: SOT 2662435 SOS 1501429 HAS SOPS 1485441 HAS SOUS 442165 HAS SOUPS 440967 WITH SCORE 442468.429
AT ITER 1412 NEW BEST:: SOT 2661397 SOS 1500649 HAS SOPS 1484661 HAS SOUS 441423 HAS SOUPS 440225 WITH SCORE 441725.649
AT ITER 1416 NEW BEST:: SOT 2661172 SOS 1500580 HAS SOPS 1484594 HAS SOUS 441227 HAS SOUPS 440029 WITH SCORE 441529.58
AT ITER 1423 NEW BEST:: SOT 2661171 SOS 1500579 HAS SOPS 1484585 HAS SOUS 441225 HAS SOUPS 440027 WITH SCORE 441527.579
AT ITER 1426 NEW BEST:: SOT 2661171 SOS 1500811 HAS SOPS 1484817 HAS SOUS 441167 HAS SOUPS 439969 WITH SCORE 441469.811
AT ITER 1435 NEW BEST:: SOT 2661166 SOS 1500806 HAS SOPS 1484812 HAS SOUS 441162 HAS SOUPS 439964 WITH SCORE 441464.806
AT ITER 1436 NEW BEST:: SOT 2661122 SOS 1500784 HAS SOPS 1484790 HAS SOUS 441153 HAS SOUPS 439955 WITH SCORE 441455.784
AT ITER 1473 NEW BEST:: SOT 2660906 SOS 1500346 HAS SOPS 1484590 HAS SOUS 440866 HAS SOUPS 439668 WITH SCORE 441168.346
AT ITER 1477 NEW BEST:: SOT 2660788 SOS 1501451 HAS SOPS 1485712 HAS SOUS 440329 HAS SOUPS 439131 WITH SCORE 440632.451
AT ITER 1496 NEW BEST:: SOT 2660778 SOS 1501441 HAS SOPS 1485702 HAS SOUS 440309 HAS SOUPS 439111 WITH SCORE 440612.441
AT ITER 1498 NEW BEST:: SOT 2660768 SOS 1501907 HAS SOPS 1486182 HAS SOUS 440303 HAS SOUPS 439105 WITH SCORE 440606.907
AT ITER 1513 NEW BEST:: SOT 2660285 SOS 1501585 HAS SOPS 1485860 HAS SOUS 439981 HAS SOUPS 438783 WITH SCORE 440284.585
AT ITER 1521 NEW BEST:: SOT 2660285 SOS 1501585 HAS SOPS 1485860 HAS SOUS 439960 HAS SOUPS 438762 WITH SCORE 440263.585
AT ITER 1533 NEW BEST:: SOT 2660202 SOS 1501371 HAS SOPS 1485857 HAS SOUS 439907 HAS SOUPS 438709 WITH SCORE 440210.371
AT ITER 1541 NEW BEST:: SOT 2659460 SOS 1500797 HAS SOPS 1485283 HAS SOUS 439084 HAS SOUPS 437886 WITH SCORE 439386.797
AT ITER 1549 NEW BEST:: SOT 2659022 SOS 1500359 HAS SOPS 1484845 HAS SOUS 438646 HAS SOUPS 437448 WITH SCORE 438948.359
AT ITER 1552 NEW BEST:: SOT 2659022 SOS 1500387 HAS SOPS 1484873 HAS SOUS 438645 HAS SOUPS 437447 WITH SCORE 438947.387
AT ITER 1558 NEW BEST:: SOT 2659029 SOS 1500394 HAS SOPS 1484880 HAS SOUS 438536 HAS SOUPS 437338 WITH SCORE 438838.394
AT ITER 1574 NEW BEST:: SOT 2659005 SOS 1500346 HAS SOPS 1484832 HAS SOUS 438488 HAS SOUPS 437290 WITH SCORE 438790.346
AT ITER 1576 NEW BEST:: SOT 2659039 SOS 1500380 HAS SOPS 1484866 HAS SOUS 438338 HAS SOUPS 437140 WITH SCORE 438640.38
AT ITER 1591 NEW BEST:: SOT 2658256 SOS 1499683 HAS SOPS 1484169 HAS SOUS 437501 HAS SOUPS 436303 WITH SCORE 437802.683
AT ITER 1594 NEW BEST:: SOT 2658265 SOS 1499655 HAS SOPS 1484141 HAS SOUS 437494 HAS SOUPS 436296 WITH SCORE 437795.655
AT ITER 1596 NEW BEST:: SOT 2657909 SOS 1495891 HAS SOPS 1480377 HAS SOUS 437118 HAS SOUPS 435920 WITH SCORE 437415.891
AT ITER 1607 NEW BEST:: SOT 2657877 SOS 1495843 HAS SOPS 1480329 HAS SOUS 437070 HAS SOUPS 435872 WITH SCORE 437367.843
AT ITER 1608 NEW BEST:: SOT 2658026 SOS 1495951 HAS SOPS 1480437 HAS SOUS 436911 HAS SOUPS 435713 WITH SCORE 437208.951
AT ITER 1631 NEW BEST:: SOT 2658151 SOS 1496015 HAS SOPS 1480501 HAS SOUS 436841 HAS SOUPS 435643 WITH SCORE 437139.015
AT ITER 1638 NEW BEST:: SOT 2657965 SOS 1493251 HAS SOPS 1477737 HAS SOUS 436619 HAS SOUPS 435421 WITH SCORE 436914.251
AT ITER 1641 NEW BEST:: SOT 2657551 SOS 1492217 HAS SOPS 1476703 HAS SOUS 436112 HAS SOUPS 434914 WITH SCORE 436406.217
AT ITER 1645 NEW BEST:: SOT 2657707 SOS 1492681 HAS SOPS 1477167 HAS SOUS 436032 HAS SOUPS 434834 WITH SCORE 436326.681
AT ITER 1658 NEW BEST:: SOT 2582720 SOS 1460470 HAS SOPS 1444956 HAS SOUS 423301 HAS SOUPS 422103 WITH SCORE 423563.47
AT ITER 1662 NEW BEST:: SOT 2582670 SOS 1460420 HAS SOPS 1444906 HAS SOUS 423231 HAS SOUPS 422033 WITH SCORE 423493.42
AT ITER 1672 NEW BEST:: SOT 2582233 SOS 1460104 HAS SOPS 1444590 HAS SOUS 422988 HAS SOUPS 421790 WITH SCORE 423250.104
AT ITER 1721 NEW BEST:: SOT 2581687 SOS 1459237 HAS SOPS 1443723 HAS SOUS 422310 HAS SOUPS 421112 WITH SCORE 422571.237
AT ITER 1728 NEW BEST:: SOT 2581620 SOS 1459461 HAS SOPS 1443947 HAS SOUS 422158 HAS SOUPS 420960 WITH SCORE 422419.461
AT ITER 1742 NEW BEST:: SOT 2581620 SOS 1459424 HAS SOPS 1443910 HAS SOUS 422084 HAS SOUPS 420886 WITH SCORE 422345.424
AT ITER 1750 NEW BEST:: SOT 2581408 SOS 1459750 HAS SOPS 1444450 HAS SOUS 421849 HAS SOUPS 420626 WITH SCORE 422085.75
AT ITER 1762 NEW BEST:: SOT 2581096 SOS 1459590 HAS SOPS 1444290 HAS SOUS 421696 HAS SOUPS 420473 WITH SCORE 421932.59
AT ITER 1766 NEW BEST:: SOT 2581112 SOS 1459606 HAS SOPS 1444306 HAS SOUS 421534 HAS SOUPS 420311 WITH SCORE 421770.606
AT ITER 1769 NEW BEST:: SOT 2580618 SOS 1459112 HAS SOPS 1443812 HAS SOUS 421522 HAS SOUPS 420299 WITH SCORE 421758.112
AT ITER 1778 NEW BEST:: SOT 2580397 SOS 1458891 HAS SOPS 1443591 HAS SOUS 421301 HAS SOUPS 420078 WITH SCORE 421536.891
AT ITER 1779 NEW BEST:: SOT 2580367 SOS 1458858 HAS SOPS 1443558 HAS SOUS 421238 HAS SOUPS 420015 WITH SCORE 421473.858
AT ITER 1780 NEW BEST:: SOT 2582125 SOS 1449616 HAS SOPS 1434316 HAS SOUS 420437 HAS SOUPS 419214 WITH SCORE 420663.616
AT ITER 1791 NEW BEST:: SOT 2582860 SOS 1450411 HAS SOPS 1435212 HAS SOUS 420137 HAS SOUPS 418914 WITH SCORE 420364.411
AT ITER 1795 NEW BEST:: SOT 2582811 SOS 1450313 HAS SOPS 1435114 HAS SOUS 420039 HAS SOUPS 418816 WITH SCORE 420266.313
AT ITER 1806 NEW BEST:: SOT 2581710 SOS 1449370 HAS SOPS 1434171 HAS SOUS 418771 HAS SOUPS 417548 WITH SCORE 418997.37
AT ITER 1810 NEW BEST:: SOT 2522740 SOS 1390378 HAS SOPS 1375179 HAS SOUS 409282 HAS SOUPS 408059 WITH SCORE 409449.378
AT ITER 1814 NEW BEST:: SOT 2522773 SOS 1390663 HAS SOPS 1375464 HAS SOUS 409276 HAS SOUPS 408053 WITH SCORE 409443.663
AT ITER 1819 NEW BEST:: SOT 2522738 SOS 1390861 HAS SOPS 1375674 HAS SOUS 409253 HAS SOUPS 408030 WITH SCORE 409420.861
AT ITER 1821 NEW BEST:: SOT 2522665 SOS 1374728 HAS SOPS 1359541 HAS SOUS 408596 HAS SOUPS 407373 WITH SCORE 408747.728
AT ITER 1858 NEW BEST:: SOT 2523521 SOS 1375556 HAS SOPS 1360369 HAS SOUS 407995 HAS SOUPS 406772 WITH SCORE 408147.556
AT ITER 1880 NEW BEST:: SOT 2523351 SOS 1375389 HAS SOPS 1360202 HAS SOUS 407896 HAS SOUPS 406673 WITH SCORE 408048.389
AT ITER 1888 NEW BEST:: SOT 2523308 SOS 1375303 HAS SOPS 1360116 HAS SOUS 407810 HAS SOUPS 406587 WITH SCORE 407962.303
AT ITER 1892 NEW BEST:: SOT 2523306 SOS 1375301 HAS SOPS 1360113 HAS SOUS 407806 HAS SOUPS 406583 WITH SCORE 407958.301
AT ITER 1908 NEW BEST:: SOT 2523343 SOS 1375306 HAS SOPS 1360118 HAS SOUS 407676 HAS SOUPS 406453 WITH SCORE 407828.306
AT ITER 1919 NEW BEST:: SOT 2523062 SOS 1375089 HAS SOPS 1359861 HAS SOUS 407359 HAS SOUPS 406133 WITH SCORE 407508.089
AT ITER 1929 NEW BEST:: SOT 2523062 SOS 1375074 HAS SOPS 1359846 HAS SOUS 407359 HAS SOUPS 406133 WITH SCORE 407508.074
AT ITER 1931 NEW BEST:: SOT 2522705 SOS 1374717 HAS SOPS 1359489 HAS SOUS 406768 HAS SOUPS 405542 WITH SCORE 406916.717
AT ITER 1933 NEW BEST:: SOT 2522651 SOS 1374663 HAS SOPS 1359435 HAS SOUS 406682 HAS SOUPS 405456 WITH SCORE 406830.663
AT ITER 1935 NEW BEST:: SOT 2522509 SOS 1374521 HAS SOPS 1359293 HAS SOUS 406307 HAS SOUPS 405081 WITH SCORE 406455.521
AT ITER 1938 NEW BEST:: SOT 2500736 SOS 1352748 HAS SOPS 1337520 HAS SOUS 403803 HAS SOUPS 402577 WITH SCORE 403929.748
AT ITER 1976 NEW BEST:: SOT 2500736 SOS 1352882 HAS SOPS 1337654 HAS SOUS 403736 HAS SOUPS 402510 WITH SCORE 403862.882
AT ITER 1981 NEW BEST:: SOT 2500586 SOS 1352294 HAS SOPS 1337066 HAS SOUS 403509 HAS SOUPS 402283 WITH SCORE 403635.294
AT ITER 1982 NEW BEST:: SOT 2457187 SOS 1347052 HAS SOPS 1331824 HAS SOUS 399407 HAS SOUPS 398181 WITH SCORE 399528.052
AT ITER 1985 NEW BEST:: SOT 2457187 SOS 1347052 HAS SOPS 1331813 HAS SOUS 399396 HAS SOUPS 398170 WITH SCORE 399517.052
AT ITER 1992 NEW BEST:: SOT 2456153 SOS 1345969 HAS SOPS 1330730 HAS SOUS 397898 HAS SOUPS 396672 WITH SCORE 398017.969
AT ITER 2004 NEW BEST:: SOT 2456208 SOS 1346675 HAS SOPS 1331713 HAS SOUS 396715 HAS SOUPS 395489 WITH SCORE 396835.675
AT ITER 2008 NEW BEST:: SOT 2456227 SOS 1346812 HAS SOPS 1331850 HAS SOUS 396579 HAS SOUPS 395353 WITH SCORE 396699.812
AT ITER 2014 NEW BEST:: SOT 2456107 SOS 1346612 HAS SOPS 1331650 HAS SOUS 396379 HAS SOUPS 395153 WITH SCORE 396499.612
AT ITER 2021 NEW BEST:: SOT 2457091 SOS 1348208 HAS SOPS 1333246 HAS SOUS 396138 HAS SOUPS 394912 WITH SCORE 396260.208
AT ITER 2028 NEW BEST:: SOT 2457201 SOS 1348318 HAS SOPS 1333316 HAS SOUS 396111 HAS SOUPS 394885 WITH SCORE 396233.318
AT ITER 2030 NEW BEST:: SOT 2457233 SOS 1346070 HAS SOPS 1331068 HAS SOUS 395303 HAS SOUPS 394077 WITH SCORE 395423.07
AT ITER 2039 NEW BEST:: SOT 2457175 SOS 1346012 HAS SOPS 1331044 HAS SOUS 395301 HAS SOUPS 394075 WITH SCORE 395421.012
AT ITER 2043 NEW BEST:: SOT 2456625 SOS 1345548 HAS SOPS 1330580 HAS SOUS 395031 HAS SOUPS 393805 WITH SCORE 395150.548
AT ITER 2047 NEW BEST:: SOT 2456466 SOS 1345390 HAS SOPS 1330422 HAS SOUS 394837 HAS SOUPS 393611 WITH SCORE 394956.39
AT ITER 2054 NEW BEST:: SOT 2456356 SOS 1345280 HAS SOPS 1330312 HAS SOUS 394714 HAS SOUPS 393488 WITH SCORE 394833.28
AT ITER 2069 NEW BEST:: SOT 2456438 SOS 1345362 HAS SOPS 1330394 HAS SOUS 394498 HAS SOUPS 393272 WITH SCORE 394617.362
AT ITER 2077 NEW BEST:: SOT 2456426 SOS 1345350 HAS SOPS 1330382 HAS SOUS 394486 HAS SOUPS 393260 WITH SCORE 394605.35
AT ITER 2108 NEW BEST:: SOT 2456264 SOS 1345047 HAS SOPS 1330079 HAS SOUS 394316 HAS SOUPS 393090 WITH SCORE 394435.047
AT ITER 2113 NEW BEST:: SOT 2456213 SOS 1344996 HAS SOPS 1330028 HAS SOUS 394214 HAS SOUPS 392988 WITH SCORE 394332.996
AT ITER 2117 NEW BEST:: SOT 2456437 SOS 1344780 HAS SOPS 1329515 HAS SOUS 394173 HAS SOUPS 392930 WITH SCORE 394274.78
AT ITER 2125 NEW BEST:: SOT 2455890 SOS 1344233 HAS SOPS 1328968 HAS SOUS 393418 HAS SOUPS 392175 WITH SCORE 393519.233
AT ITER 2129 NEW BEST:: SOT 2455815 SOS 1344083 HAS SOPS 1328818 HAS SOUS 393164 HAS SOUPS 391921 WITH SCORE 393265.083
AT ITER 2137 NEW BEST:: SOT 2458820 SOS 1283508 HAS SOPS 1268243 HAS SOUS 391427 HAS SOUPS 390184 WITH SCORE 391467.508
AT ITER 2149 NEW BEST:: SOT 2458732 SOS 1283398 HAS SOPS 1268133 HAS SOUS 391317 HAS SOUPS 390074 WITH SCORE 391357.398
AT ITER 2165 NEW BEST:: SOT 2458678 SOS 1283344 HAS SOPS 1268079 HAS SOUS 391156 HAS SOUPS 389913 WITH SCORE 391196.344
AT ITER 2169 NEW BEST:: SOT 2458657 SOS 1283358 HAS SOPS 1268093 HAS SOUS 391131 HAS SOUPS 389888 WITH SCORE 391171.358
AT ITER 2170 NEW BEST:: SOT 2459248 SOS 1283760 HAS SOPS 1268495 HAS SOUS 388638 HAS SOUPS 387395 WITH SCORE 388678.76
AT ITER 2178 NEW BEST:: SOT 2459394 SOS 1283998 HAS SOPS 1268733 HAS SOUS 388625 HAS SOUPS 387382 WITH SCORE 388665.998
AT ITER 2182 NEW BEST:: SOT 2459300 SOS 1283869 HAS SOPS 1268604 HAS SOUS 388297 HAS SOUPS 387054 WITH SCORE 388337.869
AT ITER 2186 NEW BEST:: SOT 2459291 SOS 1283860 HAS SOPS 1268595 HAS SOUS 388288 HAS SOUPS 387045 WITH SCORE 388328.86
AT ITER 2189 NEW BEST:: SOT 2459268 SOS 1283914 HAS SOPS 1268649 HAS SOUS 388092 HAS SOUPS 386849 WITH SCORE 388132.914
AT ITER 2194 NEW BEST:: SOT 2459149 SOS 1283795 HAS SOPS 1268530 HAS SOUS 387837 HAS SOUPS 386594 WITH SCORE 387877.795
AT ITER 2206 NEW BEST:: SOT 2457535 SOS 1282247 HAS SOPS 1266982 HAS SOUS 387149 HAS SOUPS 385906 WITH SCORE 387188.247
AT ITER 2213 NEW BEST:: SOT 2457467 SOS 1282322 HAS SOPS 1267076 HAS SOUS 387119 HAS SOUPS 385877 WITH SCORE 387159.322
AT ITER 2218 NEW BEST:: SOT 2457394 SOS 1282249 HAS SOPS 1267003 HAS SOUS 386973 HAS SOUPS 385731 WITH SCORE 387013.249
AT ITER 2220 NEW BEST:: SOT 2457083 SOS 1281704 HAS SOPS 1266458 HAS SOUS 386764 HAS SOUPS 385522 WITH SCORE 386803.704
AT ITER 2227 NEW BEST:: SOT 2457075 SOS 1281696 HAS SOPS 1266450 HAS SOUS 386756 HAS SOUPS 385514 WITH SCORE 386795.696
AT ITER 2237 NEW BEST:: SOT 2456269 SOS 1280810 HAS SOPS 1265564 HAS SOUS 386284 HAS SOUPS 385042 WITH SCORE 386322.81
AT ITER 2244 NEW BEST:: SOT 2456159 SOS 1283087 HAS SOPS 1267841 HAS SOUS 386131 HAS SOUPS 384889 WITH SCORE 386172.087
AT ITER 2247 NEW BEST:: SOT 2456139 SOS 1283018 HAS SOPS 1267772 HAS SOUS 386062 HAS SOUPS 384820 WITH SCORE 386103.018
AT ITER 2252 NEW BEST:: SOT 2456136 SOS 1283016 HAS SOPS 1267770 HAS SOUS 386059 HAS SOUPS 384817 WITH SCORE 386100.016
AT ITER 2255 NEW BEST:: SOT 2456072 SOS 1282952 HAS SOPS 1267776 HAS SOUS 385932 HAS SOUPS 384675 WITH SCORE 385957.952
AT ITER 2262 NEW BEST:: SOT 2456019 SOS 1282899 HAS SOPS 1267739 HAS SOUS 385778 HAS SOUPS 384521 WITH SCORE 385803.899
AT ITER 2264 NEW BEST:: SOT 2455888 SOS 1282596 HAS SOPS 1267436 HAS SOUS 385704 HAS SOUPS 384447 WITH SCORE 385729.596
AT ITER 2267 NEW BEST:: SOT 2455925 SOS 1282633 HAS SOPS 1267433 HAS SOUS 385610 HAS SOUPS 384353 WITH SCORE 385635.633
AT ITER 2271 NEW BEST:: SOT 2450242 SOS 1276883 HAS SOPS 1261683 HAS SOUS 384952 HAS SOUPS 383695 WITH SCORE 384971.883
AT ITER 2277 NEW BEST:: SOT 2451475 SOS 1278636 HAS SOPS 1263436 HAS SOUS 383511 HAS SOUPS 382254 WITH SCORE 383532.636
AT ITER 2287 NEW BEST:: SOT 2451389 SOS 1278426 HAS SOPS 1263226 HAS SOUS 383301 HAS SOUPS 382044 WITH SCORE 383322.426
AT ITER 2295 NEW BEST:: SOT 2451337 SOS 1278374 HAS SOPS 1263174 HAS SOUS 383210 HAS SOUPS 381953 WITH SCORE 383231.374
AT ITER 2298 NEW BEST:: SOT 2451514 SOS 1278551 HAS SOPS 1263336 HAS SOUS 383081 HAS SOUPS 381824 WITH SCORE 383102.551
AT ITER 2301 NEW BEST:: SOT 2451424 SOS 1278425 HAS SOPS 1263210 HAS SOUS 382901 HAS SOUPS 381644 WITH SCORE 382922.425
AT ITER 2302 NEW BEST:: SOT 2451187 SOS 1257448 HAS SOPS 1242233 HAS SOUS 382758 HAS SOUPS 381501 WITH SCORE 382758.448
AT ITER 2304 NEW BEST:: SOT 2451217 SOS 1257478 HAS SOPS 1242263 HAS SOUS 382755 HAS SOUPS 381498 WITH SCORE 382755.478
AT ITER 2327 NEW BEST:: SOT 2449220 SOS 1255481 HAS SOPS 1240266 HAS SOUS 381193 HAS SOUPS 379936 WITH SCORE 381191.481
AT ITER 2338 NEW BEST:: SOT 2348677 SOS 1331859 HAS SOPS 1314694 HAS SOUS 367997 HAS SOUPS 366545 WITH SCORE 367876.859
AT ITER 2354 NEW BEST:: SOT 2348654 SOS 1331830 HAS SOPS 1314665 HAS SOUS 367954 HAS SOUPS 366502 WITH SCORE 367833.83
AT ITER 2359 NEW BEST:: SOT 2348588 SOS 1331786 HAS SOPS 1314621 HAS SOUS 367888 HAS SOUPS 366436 WITH SCORE 367767.786
AT ITER 2361 NEW BEST:: SOT 2348426 SOS 1331705 HAS SOPS 1314540 HAS SOUS 367807 HAS SOUPS 366355 WITH SCORE 367686.705
AT ITER 2374 NEW BEST:: SOT 2348396 SOS 1331675 HAS SOPS 1314510 HAS SOUS 367777 HAS SOUPS 366325 WITH SCORE 367656.675
AT ITER 2377 NEW BEST:: SOT 2347865 SOS 1330672 HAS SOPS 1313507 HAS SOUS 366520 HAS SOUPS 365068 WITH SCORE 366398.672
AT ITER 2384 NEW BEST:: SOT 2330298 SOS 1314018 HAS SOPS 1296853 HAS SOUS 365350 HAS SOUPS 363898 WITH SCORE 365212.018
AT ITER 2388 NEW BEST:: SOT 2330259 SOS 1313940 HAS SOPS 1296775 HAS SOUS 365233 HAS SOUPS 363781 WITH SCORE 365094.94
AT ITER 2391 NEW BEST:: SOT 2330171 SOS 1313830 HAS SOPS 1296665 HAS SOUS 365035 HAS SOUPS 363583 WITH SCORE 364896.83
AT ITER 2401 NEW BEST:: SOT 2330073 SOS 1313733 HAS SOPS 1296568 HAS SOUS 364872 HAS SOUPS 363420 WITH SCORE 364733.733
AT ITER 2403 NEW BEST:: SOT 2329812 SOS 1313183 HAS SOPS 1296018 HAS SOUS 364712 HAS SOUPS 363260 WITH SCORE 364573.183
AT ITER 2409 NEW BEST:: SOT 2329637 SOS 1312560 HAS SOPS 1295381 HAS SOUS 364561 HAS SOUPS 363109 WITH SCORE 364421.56
AT ITER 2440 NEW BEST:: SOT 2329408 SOS 1312481 HAS SOPS 1295302 HAS SOUS 364319 HAS SOUPS 362867 WITH SCORE 364179.481
AT ITER 2443 NEW BEST:: SOT 2329298 SOS 1312371 HAS SOPS 1295192 HAS SOUS 364140 HAS SOUPS 362688 WITH SCORE 364000.371
AT ITER 2453 NEW BEST:: SOT 2330483 SOS 1313636 HAS SOPS 1296457 HAS SOUS 363523 HAS SOUPS 362071 WITH SCORE 363384.636
AT ITER 2493 NEW BEST:: SOT 2330459 SOS 1313588 HAS SOPS 1296409 HAS SOUS 363499 HAS SOUPS 362047 WITH SCORE 363360.588
AT ITER 2499 NEW BEST:: SOT 2330120 SOS 1313127 HAS SOPS 1295948 HAS SOUS 362846 HAS SOUPS 361394 WITH SCORE 362707.127
AT ITER 2504 NEW BEST:: SOT 2330120 SOS 1313058 HAS SOPS 1295879 HAS SOUS 362721 HAS SOUPS 361269 WITH SCORE 362582.058
AT ITER 2508 NEW BEST:: SOT 2330120 SOS 1313050 HAS SOPS 1295879 HAS SOUS 362721 HAS SOUPS 361269 WITH SCORE 362582.05
AT ITER 2509 NEW BEST:: SOT 2330100 SOS 1312790 HAS SOPS 1295619 HAS SOUS 362661 HAS SOUPS 361209 WITH SCORE 362521.79
AT ITER 2511 NEW BEST:: SOT 2329948 SOS 1312638 HAS SOPS 1295467 HAS SOUS 361712 HAS SOUPS 360260 WITH SCORE 361572.638
AT ITER 2543 NEW BEST:: SOT 2329944 SOS 1312470 HAS SOPS 1295295 HAS SOUS 361620 HAS SOUPS 360168 WITH SCORE 361480.47
AT ITER 2546 NEW BEST:: SOT 2329944 SOS 1312491 HAS SOPS 1295316 HAS SOUS 361557 HAS SOUPS 360105 WITH SCORE 361417.491
AT ITER 2557 NEW BEST:: SOT 2329810 SOS 1312367 HAS SOPS 1295192 HAS SOUS 361472 HAS SOUPS 360020 WITH SCORE 361332.367
AT ITER 2568 NEW BEST:: SOT 2329237 SOS 1311371 HAS SOPS 1294196 HAS SOUS 360650 HAS SOUPS 359198 WITH SCORE 360509.371
AT ITER 2575 NEW BEST:: SOT 2328429 SOS 1310582 HAS SOPS 1293407 HAS SOUS 359805 HAS SOUPS 358353 WITH SCORE 359663.582
AT ITER 2582 NEW BEST:: SOT 2328277 SOS 1310512 HAS SOPS 1293337 HAS SOUS 359501 HAS SOUPS 358049 WITH SCORE 359359.512
AT ITER 2607 NEW BEST:: SOT 2328268 SOS 1310807 HAS SOPS 1293632 HAS SOUS 359381 HAS SOUPS 357929 WITH SCORE 359239.807
AT ITER 2609 NEW BEST:: SOT 2328277 SOS 1310870 HAS SOPS 1293695 HAS SOUS 359282 HAS SOUPS 357830 WITH SCORE 359140.87
AT ITER 2614 NEW BEST:: SOT 2328262 SOS 1310855 HAS SOPS 1293680 HAS SOUS 359252 HAS SOUPS 357800 WITH SCORE 359110.855
AT ITER 2623 NEW BEST:: SOT 2328255 SOS 1310841 HAS SOPS 1293666 HAS SOUS 359238 HAS SOUPS 357786 WITH SCORE 359096.841
AT ITER 2625 NEW BEST:: SOT 2328334 SOS 1310920 HAS SOPS 1293637 HAS SOUS 359182 HAS SOUPS 357656 WITH SCORE 358966.92
AT ITER 2627 NEW BEST:: SOT 2328289 SOS 1310875 HAS SOPS 1293592 HAS SOUS 359092 HAS SOUPS 357566 WITH SCORE 358876.875
AT ITER 2634 NEW BEST:: SOT 2327849 SOS 1310435 HAS SOPS 1293152 HAS SOUS 358491 HAS SOUPS 356965 WITH SCORE 358275.435
AT ITER 2642 NEW BEST:: SOT 2327791 SOS 1310853 HAS SOPS 1293584 HAS SOUS 358449 HAS SOUPS 356923 WITH SCORE 358233.853
AT ITER 2644 NEW BEST:: SOT 2327714 SOS 1310776 HAS SOPS 1293507 HAS SOUS 358386 HAS SOUPS 356860 WITH SCORE 358170.776
AT ITER 2646 NEW BEST:: SOT 2327522 SOS 1310584 HAS SOPS 1293315 HAS SOUS 358079 HAS SOUPS 356553 WITH SCORE 357863.584
AT ITER 2663 NEW BEST:: SOT 2327833 SOS 1310895 HAS SOPS 1293606 HAS SOUS 358065 HAS SOUPS 356539 WITH SCORE 357849.895
AT ITER 2665 NEW BEST:: SOT 2327833 SOS 1310769 HAS SOPS 1293480 HAS SOUS 358050 HAS SOUPS 356524 WITH SCORE 357834.769
AT ITER 2669 NEW BEST:: SOT 2327917 SOS 1310505 HAS SOPS 1292935 HAS SOUS 357970 HAS SOUPS 356444 WITH SCORE 357754.505
AT ITER 2674 NEW BEST:: SOT 2327898 SOS 1310465 HAS SOPS 1292895 HAS SOUS 357930 HAS SOUPS 356404 WITH SCORE 357714.465
AT ITER 2692 NEW BEST:: SOT 2327964 SOS 1310700 HAS SOPS 1293130 HAS SOUS 357856 HAS SOUPS 356330 WITH SCORE 357640.7
AT ITER 2715 NEW BEST:: SOT 2328136 SOS 1310954 HAS SOPS 1293384 HAS SOUS 357827 HAS SOUPS 356301 WITH SCORE 357611.954
AT ITER 2719 NEW BEST:: SOT 2328165 SOS 1311023 HAS SOPS 1293453 HAS SOUS 357758 HAS SOUPS 356232 WITH SCORE 357543.023
AT ITER 2720 NEW BEST:: SOT 2328105 SOS 1310956 HAS SOPS 1293386 HAS SOUS 357244 HAS SOUPS 355718 WITH SCORE 357028.956
AT ITER 2722 NEW BEST:: SOT 2325627 SOS 1308544 HAS SOPS 1290974 HAS SOUS 354992 HAS SOUPS 353466 WITH SCORE 354774.544
AT ITER 2723 NEW BEST:: SOT 2325305 SOS 1308580 HAS SOPS 1291215 HAS SOUS 354555 HAS SOUPS 353029 WITH SCORE 354337.58
AT ITER 2724 NEW BEST:: SOT 2325329 SOS 1308867 HAS SOPS 1291502 HAS SOUS 354391 HAS SOUPS 352865 WITH SCORE 354173.867
AT ITER 2761 NEW BEST:: SOT 2326696 SOS 1310234 HAS SOPS 1292869 HAS SOUS 353616 HAS SOUPS 352090 WITH SCORE 353400.234
AT ITER 2772 NEW BEST:: SOT 2326694 SOS 1310278 HAS SOPS 1292913 HAS SOUS 353504 HAS SOUPS 351978 WITH SCORE 353288.278
AT ITER 2775 NEW BEST:: SOT 2327219 SOS 1311069 HAS SOPS 1293704 HAS SOUS 353065 HAS SOUPS 351539 WITH SCORE 352850.069
AT ITER 2783 NEW BEST:: SOT 2327268 SOS 1311118 HAS SOPS 1293753 HAS SOUS 353016 HAS SOUPS 351490 WITH SCORE 352801.118
AT ITER 2785 NEW BEST:: SOT 2327152 SOS 1311002 HAS SOPS 1293686 HAS SOUS 352942 HAS SOUPS 351465 WITH SCORE 352776.002
AT ITER 2827 NEW BEST:: SOT 2326874 SOS 1310705 HAS SOPS 1293389 HAS SOUS 352735 HAS SOUPS 351258 WITH SCORE 352568.705
AT ITER 2855 NEW BEST:: SOT 2326801 SOS 1310655 HAS SOPS 1293339 HAS SOUS 352685 HAS SOUPS 351208 WITH SCORE 352518.655
AT ITER 2865 NEW BEST:: SOT 2326832 SOS 1310686 HAS SOPS 1293370 HAS SOUS 352596 HAS SOUPS 351119 WITH SCORE 352429.686
AT ITER 2882 NEW BEST:: SOT 2326827 SOS 1310681 HAS SOPS 1293365 HAS SOUS 352571 HAS SOUPS 351094 WITH SCORE 352404.681
AT ITER 2897 NEW BEST:: SOT 2326709 SOS 1284058 HAS SOPS 1266742 HAS SOUS 349312 HAS SOUPS 347835 WITH SCORE 349119.058
AT ITER 2898 NEW BEST:: SOT 2326645 SOS 1284071 HAS SOPS 1266755 HAS SOUS 349231 HAS SOUPS 347754 WITH SCORE 349038.071
AT ITER 2941 NEW BEST:: SOT 2326554 SOS 1283982 HAS SOPS 1266758 HAS SOUS 349144 HAS SOUPS 347667 WITH SCORE 348950.982
AT ITER 2951 NEW BEST:: SOT 2326470 SOS 1283898 HAS SOPS 1266674 HAS SOUS 349026 HAS SOUPS 347549 WITH SCORE 348832.898
AT ITER 2960 NEW BEST:: SOT 2326434 SOS 1283862 HAS SOPS 1266638 HAS SOUS 348990 HAS SOUPS 347513 WITH SCORE 348796.862
AT ITER 2969 NEW BEST:: SOT 2326487 SOS 1284069 HAS SOPS 1266626 HAS SOUS 348734 HAS SOUPS 347257 WITH SCORE 348541.069
AT ITER 2981 NEW BEST:: SOT 2326413 SOS 1283921 HAS SOPS 1266478 HAS SOUS 348586 HAS SOUPS 347109 WITH SCORE 348392.921
AT ITER 2989 NEW BEST:: SOT 2326299 SOS 1283807 HAS SOPS 1266364 HAS SOUS 348488 HAS SOUPS 347011 WITH SCORE 348294.807
AT ITER 2998 NEW BEST:: SOT 2325796 SOS 1283415 HAS SOPS 1265972 HAS SOUS 348049 HAS SOUPS 346572 WITH SCORE 347855.415
AT ITER 3004 NEW BEST:: SOT 2325132 SOS 1282751 HAS SOPS 1265308 HAS SOUS 347589 HAS SOUPS 346112 WITH SCORE 347394.751
AT ITER 3017 NEW BEST:: SOT 2325125 SOS 1282737 HAS SOPS 1265294 HAS SOUS 347568 HAS SOUPS 346091 WITH SCORE 347373.737
AT ITER 3029 NEW BEST:: SOT 2325113 SOS 1282725 HAS SOPS 1265282 HAS SOUS 347556 HAS SOUPS 346079 WITH SCORE 347361.725
AT ITER 3034 NEW BEST:: SOT 2324694 SOS 1280806 HAS SOPS 1263363 HAS SOUS 347168 HAS SOUPS 345691 WITH SCORE 346971.806
AT ITER 3036 NEW BEST:: SOT 2324195 SOS 1280220 HAS SOPS 1262777 HAS SOUS 346864 HAS SOUPS 345387 WITH SCORE 346667.22
AT ITER 3037 NEW BEST:: SOT 2323928 SOS 1280050 HAS SOPS 1262607 HAS SOUS 346860 HAS SOUPS 345383 WITH SCORE 346663.05
AT ITER 3038 NEW BEST:: SOT 2323898 SOS 1280190 HAS SOPS 1262777 HAS SOUS 346830 HAS SOUPS 345353 WITH SCORE 346633.19
AT ITER 3050 NEW BEST:: SOT 2322260 SOS 1278669 HAS SOPS 1261256 HAS SOUS 345480 HAS SOUPS 344003 WITH SCORE 345281.669
AT ITER 3052 NEW BEST:: SOT 2322003 SOS 1278412 HAS SOPS 1260999 HAS SOUS 345100 HAS SOUPS 343623 WITH SCORE 344901.412
AT ITER 3053 NEW BEST:: SOT 2322003 SOS 1278409 HAS SOPS 1260996 HAS SOUS 345100 HAS SOUPS 343623 WITH SCORE 344901.409
AT ITER 3057 NEW BEST:: SOT 2321946 SOS 1278352 HAS SOPS 1260939 HAS SOUS 344986 HAS SOUPS 343509 WITH SCORE 344787.352
AT ITER 3088 NEW BEST:: SOT 2321887 SOS 1278290 HAS SOPS 1260877 HAS SOUS 344980 HAS SOUPS 343503 WITH SCORE 344781.29
AT ITER 3092 NEW BEST:: SOT 2321921 SOS 1278324 HAS SOPS 1260828 HAS SOUS 344895 HAS SOUPS 343418 WITH SCORE 344696.324
AT ITER 3108 NEW BEST:: SOT 2321921 SOS 1278350 HAS SOPS 1260854 HAS SOUS 344882 HAS SOUPS 343405 WITH SCORE 344683.35
AT ITER 3115 NEW BEST:: SOT 2321953 SOS 1278297 HAS SOPS 1260801 HAS SOUS 344843 HAS SOUPS 343366 WITH SCORE 344644.297
AT ITER 3161 NEW BEST:: SOT 2321939 SOS 1278283 HAS SOPS 1260773 HAS SOUS 344815 HAS SOUPS 343338 WITH SCORE 344616.283
AT ITER 3170 NEW BEST:: SOT 2321922 SOS 1278266 HAS SOPS 1260756 HAS SOUS 344693 HAS SOUPS 343216 WITH SCORE 344494.266
AT ITER 3190 NEW BEST:: SOT 2321894 SOS 1278238 HAS SOPS 1260686 HAS SOUS 344658 HAS SOUPS 343181 WITH SCORE 344459.238
AT ITER 3196 NEW BEST:: SOT 2321854 SOS 1278198 HAS SOPS 1260646 HAS SOUS 344618 HAS SOUPS 343141 WITH SCORE 344419.198
AT ITER 3210 NEW BEST:: SOT 2320617 SOS 1277083 HAS SOPS 1259531 HAS SOUS 344331 HAS SOUPS 342854 WITH SCORE 344131.083
AT ITER 3270 NEW BEST:: SOT 2320253 SOS 1276795 HAS SOPS 1259243 HAS SOUS 343770 HAS SOUPS 342293 WITH SCORE 343569.795
AT ITER 3273 NEW BEST:: SOT 2319971 SOS 1276513 HAS SOPS 1258961 HAS SOUS 343347 HAS SOUPS 341870 WITH SCORE 343146.513
AT ITER 3274 NEW BEST:: SOT 2319969 SOS 1276511 HAS SOPS 1258959 HAS SOUS 343343 HAS SOUPS 341866 WITH SCORE 343142.511
AT ITER 3276 NEW BEST:: SOT 2317850 SOS 1294045 HAS SOPS 1272876 HAS SOUS 341599 HAS SOUPS 339738 WITH SCORE 341032.045
AT ITER 3320 NEW BEST:: SOT 2317801 SOS 1293996 HAS SOPS 1272827 HAS SOUS 341550 HAS SOUPS 339689 WITH SCORE 340982.996
AT ITER 3346 NEW BEST:: SOT 2317707 SOS 1293902 HAS SOPS 1272733 HAS SOUS 341434 HAS SOUPS 339573 WITH SCORE 340866.902
AT ITER 3348 NEW BEST:: SOT 2317435 SOS 1293661 HAS SOPS 1272492 HAS SOUS 340890 HAS SOUPS 339029 WITH SCORE 340322.661
AT ITER 3364 NEW BEST:: SOT 2316995 SOS 1293357 HAS SOPS 1272188 HAS SOUS 340642 HAS SOUPS 338781 WITH SCORE 340074.357
AT ITER 3370 NEW BEST:: SOT 2316626 SOS 1292953 HAS SOPS 1271784 HAS SOUS 340508 HAS SOUPS 338647 WITH SCORE 339939.953
AT ITER 3374 NEW BEST:: SOT 2316580 SOS 1293078 HAS SOPS 1271909 HAS SOUS 340245 HAS SOUPS 338384 WITH SCORE 339677.078
AT ITER 3382 NEW BEST:: SOT 2316560 SOS 1293058 HAS SOPS 1271889 HAS SOUS 340210 HAS SOUPS 338349 WITH SCORE 339642.058
AT ITER 3402 NEW BEST:: SOT 2315572 SOS 1292018 HAS SOPS 1270849 HAS SOUS 340152 HAS SOUPS 338291 WITH SCORE 339583.018
AT ITER 3409 NEW BEST:: SOT 2315273 SOS 1291499 HAS SOPS 1270330 HAS SOUS 339633 HAS SOUPS 337772 WITH SCORE 339063.499
AT ITER 3420 NEW BEST:: SOT 2315071 SOS 1291095 HAS SOPS 1269926 HAS SOUS 339229 HAS SOUPS 337368 WITH SCORE 338659.095
AT ITER 3426 NEW BEST:: SOT 2314895 SOS 1290919 HAS SOPS 1269750 HAS SOUS 338778 HAS SOUPS 336917 WITH SCORE 338207.919
AT ITER 3434 NEW BEST:: SOT 2314438 SOS 1289822 HAS SOPS 1268653 HAS SOUS 338388 HAS SOUPS 336527 WITH SCORE 337816.822
AT ITER 3436 NEW BEST:: SOT 2314465 SOS 1289849 HAS SOPS 1268680 HAS SOUS 338335 HAS SOUPS 336474 WITH SCORE 337763.849
AT ITER 3438 NEW BEST:: SOT 2314465 SOS 1289842 HAS SOPS 1268666 HAS SOUS 338328 HAS SOUPS 336467 WITH SCORE 337756.842
AT ITER 3459 NEW BEST:: SOT 2314233 SOS 1289484 HAS SOPS 1268308 HAS SOUS 338033 HAS SOUPS 336172 WITH SCORE 337461.484
AT ITER 3477 NEW BEST:: SOT 2312862 SOS 1288113 HAS SOPS 1266937 HAS SOUS 337831 HAS SOUPS 335970 WITH SCORE 337258.113
AT ITER 3478 NEW BEST:: SOT 2312538 SOS 1287869 HAS SOPS 1266693 HAS SOUS 337750 HAS SOUPS 335889 WITH SCORE 337176.869
AT ITER 3480 NEW BEST:: SOT 2312506 SOS 1287837 HAS SOPS 1266661 HAS SOUS 337710 HAS SOUPS 335849 WITH SCORE 337136.837
AT ITER 3491 NEW BEST:: SOT 2312138 SOS 1287347 HAS SOPS 1266171 HAS SOUS 337220 HAS SOUPS 335359 WITH SCORE 336646.347
AT ITER 3509 NEW BEST:: SOT 2301035 SOS 1276244 HAS SOPS 1255068 HAS SOUS 335921 HAS SOUPS 334060 WITH SCORE 335336.244
AT ITER 3511 NEW BEST:: SOT 2300827 SOS 1276045 HAS SOPS 1254869 HAS SOUS 335641 HAS SOUPS 333780 WITH SCORE 335056.045
AT ITER 3526 NEW BEST:: SOT 2271682 SOS 1247194 HAS SOPS 1226018 HAS SOUS 329873 HAS SOUPS 328012 WITH SCORE 329259.194
AT ITER 3536 NEW BEST:: SOT 2271598 SOS 1247138 HAS SOPS 1225962 HAS SOUS 329789 HAS SOUPS 327928 WITH SCORE 329175.138
AT ITER 3582 NEW BEST:: SOT 2271661 SOS 1247201 HAS SOPS 1225980 HAS SOUS 329750 HAS SOUPS 327889 WITH SCORE 329136.201
AT ITER 3597 NEW BEST:: SOT 2271653 SOS 1247189 HAS SOPS 1225968 HAS SOUS 329738 HAS SOUPS 327877 WITH SCORE 329124.189
AT ITER 3607 NEW BEST:: SOT 2271871 SOS 1247456 HAS SOPS 1226235 HAS SOUS 329659 HAS SOUPS 327798 WITH SCORE 329045.456
AT ITER 3622 NEW BEST:: SOT 2272156 SOS 1247803 HAS SOPS 1226582 HAS SOUS 329434 HAS SOUPS 327573 WITH SCORE 328820.803
AT ITER 3625 NEW BEST:: SOT 2271719 SOS 1229385 HAS SOPS 1210672 HAS SOUS 329146 HAS SOUPS 327538 WITH SCORE 328767.385
AT ITER 3646 NEW BEST:: SOT 2271780 SOS 1229507 HAS SOPS 1210794 HAS SOUS 329085 HAS SOUPS 327477 WITH SCORE 328706.507
AT ITER 3652 NEW BEST:: SOT 2271517 SOS 1229244 HAS SOPS 1210531 HAS SOUS 328806 HAS SOUPS 327198 WITH SCORE 328427.244
AT ITER 3664 NEW BEST:: SOT 2271502 SOS 1229229 HAS SOPS 1210508 HAS SOUS 328776 HAS SOUPS 327168 WITH SCORE 328397.229
AT ITER 3669 NEW BEST:: SOT 2271459 SOS 1229209 HAS SOPS 1210488 HAS SOUS 328495 HAS SOUPS 326887 WITH SCORE 328116.209
AT ITER 3675 NEW BEST:: SOT 2271348 SOS 1229098 HAS SOPS 1210377 HAS SOUS 328396 HAS SOUPS 326788 WITH SCORE 328017.098
AT ITER 3676 NEW BEST:: SOT 2271168 SOS 1228558 HAS SOPS 1209837 HAS SOUS 328036 HAS SOUPS 326428 WITH SCORE 327656.558
AT ITER 3696 NEW BEST:: SOT 2271222 SOS 1228606 HAS SOPS 1209885 HAS SOUS 327954 HAS SOUPS 326346 WITH SCORE 327574.606
AT ITER 3705 NEW BEST:: SOT 2247413 SOS 1204797 HAS SOPS 1186076 HAS SOUS 323701 HAS SOUPS 322093 WITH SCORE 323297.797
AT ITER 3724 NEW BEST:: SOT 2247330 SOS 1204714 HAS SOPS 1185993 HAS SOUS 323640 HAS SOUPS 322032 WITH SCORE 323236.714
AT ITER 3734 NEW BEST:: SOT 2246968 SOS 1204419 HAS SOPS 1185698 HAS SOUS 323521 HAS SOUPS 321913 WITH SCORE 323117.419
AT ITER 3765 NEW BEST:: SOT 2246665 SOS 1203800 HAS SOPS 1185079 HAS SOUS 322902 HAS SOUPS 321294 WITH SCORE 322497.8
AT ITER 3775 NEW BEST:: SOT 2246697 SOS 1203824 HAS SOPS 1185103 HAS SOUS 322878 HAS SOUPS 321270 WITH SCORE 322473.824
AT ITER 3799 NEW BEST:: SOT 2246627 SOS 1203754 HAS SOPS 1185033 HAS SOUS 322788 HAS SOUPS 321180 WITH SCORE 322383.754
AT ITER 3805 NEW BEST:: SOT 2246607 SOS 1203734 HAS SOPS 1185013 HAS SOUS 322748 HAS SOUPS 321140 WITH SCORE 322343.734
AT ITER 3808 NEW BEST:: SOT 2246590 SOS 1203717 HAS SOPS 1184996 HAS SOUS 322735 HAS SOUPS 321127 WITH SCORE 322330.717
AT ITER 3815 NEW BEST:: SOT 2246420 SOS 1203547 HAS SOPS 1184826 HAS SOUS 322565 HAS SOUPS 320957 WITH SCORE 322160.547
AT ITER 3826 NEW BEST:: SOT 2246153 SOS 1202460 HAS SOPS 1183739 HAS SOUS 322298 HAS SOUPS 320690 WITH SCORE 321892.46
AT ITER 3847 NEW BEST:: SOT 2246090 SOS 1202392 HAS SOPS 1183671 HAS SOUS 322240 HAS SOUPS 320632 WITH SCORE 321834.392
AT ITER 3852 NEW BEST:: SOT 2246162 SOS 1202464 HAS SOPS 1183702 HAS SOUS 322214 HAS SOUPS 320606 WITH SCORE 321808.464
AT ITER 3888 NEW BEST:: SOT 2246120 SOS 1202422 HAS SOPS 1183660 HAS SOUS 322172 HAS SOUPS 320564 WITH SCORE 321766.422
AT ITER 3899 NEW BEST:: SOT 2246089 SOS 1202391 HAS SOPS 1183680 HAS SOUS 322142 HAS SOUPS 320534 WITH SCORE 321736.391
AT ITER 3901 NEW BEST:: SOT 2246086 SOS 1202388 HAS SOPS 1183677 HAS SOUS 322136 HAS SOUPS 320528 WITH SCORE 321730.388
AT ITER 3904 NEW BEST:: SOT 2245902 SOS 1202204 HAS SOPS 1183493 HAS SOUS 322122 HAS SOUPS 320514 WITH SCORE 321716.204
AT ITER 3923 NEW BEST:: SOT 2245910 SOS 1203049 HAS SOPS 1184349 HAS SOUS 322095 HAS SOUPS 320487 WITH SCORE 321690.049
AT ITER 3927 NEW BEST:: SOT 2245851 SOS 1202990 HAS SOPS 1184290 HAS SOUS 322036 HAS SOUPS 320428 WITH SCORE 321630.99
AT ITER 3940 NEW BEST:: SOT 2245828 SOS 1202917 HAS SOPS 1184217 HAS SOUS 321672 HAS SOUPS 320064 WITH SCORE 321266.917
AT ITER 3948 NEW BEST:: SOT 2245828 SOS 1203066 HAS SOPS 1184366 HAS SOUS 321225 HAS SOUPS 319617 WITH SCORE 320820.066
AT ITER 3950 NEW BEST:: SOT 2245828 SOS 1203031 HAS SOPS 1184305 HAS SOUS 321164 HAS SOUPS 319556 WITH SCORE 320759.031
AT ITER 3961 NEW BEST:: SOT 2245704 SOS 1202910 HAS SOPS 1184184 HAS SOUS 321102 HAS SOUPS 319494 WITH SCORE 320696.91
AT ITER 3967 NEW BEST:: SOT 2245635 SOS 1202831 HAS SOPS 1184105 HAS SOUS 320964 HAS SOUPS 319356 WITH SCORE 320558.831
AT ITER 3971 NEW BEST:: SOT 2244993 SOS 1202268 HAS SOPS 1183542 HAS SOUS 320842 HAS SOUPS 319234 WITH SCORE 320436.268
AT ITER 3999 NEW BEST:: SOT 2244657 SOS 1202015 HAS SOPS 1183289 HAS SOUS 320502 HAS SOUPS 318894 WITH SCORE 320096.015
AT ITER 4015 NEW BEST:: SOT 2244158 SOS 1200769 HAS SOPS 1182043 HAS SOUS 320003 HAS SOUPS 318395 WITH SCORE 319595.769
AT ITER 4022 NEW BEST:: SOT 2244887 SOS 1201637 HAS SOPS 1182911 HAS SOUS 318999 HAS SOUPS 317391 WITH SCORE 318592.637
AT ITER 4028 NEW BEST:: SOT 2244585 SOS 1201392 HAS SOPS 1182666 HAS SOUS 318752 HAS SOUPS 317144 WITH SCORE 318345.392
AT ITER 4030 NEW BEST:: SOT 2244585 SOS 1201392 HAS SOPS 1182666 HAS SOUS 318686 HAS SOUPS 317078 WITH SCORE 318279.392
AT ITER 4032 NEW BEST:: SOT 2244585 SOS 1200834 HAS SOPS 1182108 HAS SOUS 318686 HAS SOUPS 317078 WITH SCORE 318278.834
AT ITER 4040 NEW BEST:: SOT 2244553 SOS 1200884 HAS SOPS 1182158 HAS SOUS 318674 HAS SOUPS 317066 WITH SCORE 318266.884
AT ITER 4041 NEW BEST:: SOT 2244382 SOS 1200713 HAS SOPS 1181961 HAS SOUS 318432 HAS SOUPS 316824 WITH SCORE 318024.713
AT ITER 4042 NEW BEST:: SOT 2233770 SOS 1192207 HAS SOPS 1173455 HAS SOUS 317791 HAS SOUPS 316183 WITH SCORE 317375.207
AT ITER 4053 NEW BEST:: SOT 2233770 SOS 1190767 HAS SOPS 1172015 HAS SOUS 317791 HAS SOUPS 316183 WITH SCORE 317373.767
AT ITER 4054 NEW BEST:: SOT 2233315 SOS 1190148 HAS SOPS 1171396 HAS SOUS 317099 HAS SOUPS 315491 WITH SCORE 316681.148
AT ITER 4071 NEW BEST:: SOT 2232786 SOS 1189240 HAS SOPS 1170488 HAS SOUS 316284 HAS SOUPS 314676 WITH SCORE 315865.24
AT ITER 4072 NEW BEST:: SOT 2232601 SOS 1188987 HAS SOPS 1170235 HAS SOUS 316118 HAS SOUPS 314510 WITH SCORE 315698.987
AT ITER 4088 NEW BEST:: SOT 2232618 SOS 1188997 HAS SOPS 1170245 HAS SOUS 316065 HAS SOUPS 314457 WITH SCORE 315645.997
AT ITER 4099 NEW BEST:: SOT 2232368 SOS 1188774 HAS SOPS 1170022 HAS SOUS 315659 HAS SOUPS 314051 WITH SCORE 315239.774
AT ITER 4104 NEW BEST:: SOT 2229241 SOS 1185647 HAS SOPS 1166895 HAS SOUS 314947 HAS SOUPS 313339 WITH SCORE 314524.647
AT ITER 4140 NEW BEST:: SOT 2229223 SOS 1185623 HAS SOPS 1166871 HAS SOUS 314923 HAS SOUPS 313315 WITH SCORE 314500.623
AT ITER 4142 NEW BEST:: SOT 2229017 SOS 1185417 HAS SOPS 1166665 HAS SOUS 314609 HAS SOUPS 313001 WITH SCORE 314186.417
AT ITER 4154 NEW BEST:: SOT 2229017 SOS 1185368 HAS SOPS 1166616 HAS SOUS 314560 HAS SOUPS 312952 WITH SCORE 314137.368
AT ITER 4165 NEW BEST:: SOT 2229017 SOS 1183696 HAS SOPS 1164944 HAS SOUS 314275 HAS SOUPS 312667 WITH SCORE 313850.696
AT ITER 4171 NEW BEST:: SOT 2229017 SOS 1188856 HAS SOPS 1170104 HAS SOUS 314146 HAS SOUPS 312538 WITH SCORE 313726.856
AT ITER 4175 NEW BEST:: SOT 2228810 SOS 1187908 HAS SOPS 1169156 HAS SOUS 313855 HAS SOUPS 312247 WITH SCORE 313434.908
AT ITER 4178 NEW BEST:: SOT 2228809 SOS 1187907 HAS SOPS 1169238 HAS SOUS 313758 HAS SOUPS 312150 WITH SCORE 313337.907
AT ITER 4190 NEW BEST:: SOT 2228799 SOS 1187881 HAS SOPS 1169234 HAS SOUS 313740 HAS SOUPS 312150 WITH SCORE 313337.881
AT ITER 4199 NEW BEST:: SOT 2228803 SOS 1187283 HAS SOPS 1168636 HAS SOUS 313677 HAS SOUPS 312087 WITH SCORE 313274.283
AT ITER 4219 NEW BEST:: SOT 2228677 SOS 1187157 HAS SOPS 1168510 HAS SOUS 313457 HAS SOUPS 311867 WITH SCORE 313054.157
AT ITER 4221 NEW BEST:: SOT 2228508 SOS 1186939 HAS SOPS 1168292 HAS SOUS 313059 HAS SOUPS 311469 WITH SCORE 312655.939
AT ITER 4223 NEW BEST:: SOT 2226308 SOS 1184739 HAS SOPS 1166092 HAS SOUS 312547 HAS SOUPS 310957 WITH SCORE 312141.739
AT ITER 4226 NEW BEST:: SOT 2225825 SOS 1184233 HAS SOPS 1165586 HAS SOUS 312041 HAS SOUPS 310451 WITH SCORE 311635.233
AT ITER 4235 NEW BEST:: SOT 2225797 SOS 1183215 HAS SOPS 1164568 HAS SOUS 311803 HAS SOUPS 310213 WITH SCORE 311396.215
AT ITER 4241 NEW BEST:: SOT 2225743 SOS 1183107 HAS SOPS 1164460 HAS SOUS 311677 HAS SOUPS 310087 WITH SCORE 311270.107
AT ITER 4242 NEW BEST:: SOT 2225142 SOS 1182592 HAS SOPS 1163945 HAS SOUS 311070 HAS SOUPS 309480 WITH SCORE 310662.592
AT ITER 4283 NEW BEST:: SOT 2225139 SOS 1182589 HAS SOPS 1163939 HAS SOUS 311058 HAS SOUPS 309468 WITH SCORE 310650.589
AT ITER 4286 NEW BEST:: SOT 2225180 SOS 1182519 HAS SOPS 1163664 HAS SOUS 310944 HAS SOUPS 309354 WITH SCORE 310536.519
AT ITER 4287 NEW BEST:: SOT 2225172 SOS 1182511 HAS SOPS 1163656 HAS SOUS 310928 HAS SOUPS 309338 WITH SCORE 310520.511
AT ITER 4290 NEW BEST:: SOT 2224716 SOS 1182055 HAS SOPS 1163200 HAS SOUS 310489 HAS SOUPS 308899 WITH SCORE 310081.055
AT ITER 4295 NEW BEST:: SOT 2224528 SOS 1181773 HAS SOPS 1162918 HAS SOUS 310207 HAS SOUPS 308617 WITH SCORE 309798.773
AT ITER 4307 NEW BEST:: SOT 2224506 SOS 1181729 HAS SOPS 1162874 HAS SOUS 310163 HAS SOUPS 308573 WITH SCORE 309754.729
AT ITER 4323 NEW BEST:: SOT 2224496 SOS 1181713 HAS SOPS 1162858 HAS SOUS 310143 HAS SOUPS 308553 WITH SCORE 309734.713
AT ITER 4344 NEW BEST:: SOT 2223168 SOS 1180369 HAS SOPS 1161514 HAS SOUS 310031 HAS SOUPS 308441 WITH SCORE 309621.369
AT ITER 4380 NEW BEST:: SOT 2223168 SOS 1180402 HAS SOPS 1161547 HAS SOUS 309937 HAS SOUPS 308347 WITH SCORE 309527.402
AT ITER 4386 NEW BEST:: SOT 2223230 SOS 1180603 HAS SOPS 1161748 HAS SOUS 309879 HAS SOUPS 308289 WITH SCORE 309469.603
AT ITER 4388 NEW BEST:: SOT 2223230 SOS 1180571 HAS SOPS 1161716 HAS SOUS 309847 HAS SOUPS 308257 WITH SCORE 309437.571
AT ITER 4395 NEW BEST:: SOT 2223255 SOS 1180621 HAS SOPS 1161766 HAS SOUS 309822 HAS SOUPS 308232 WITH SCORE 309412.621
AT ITER 4405 NEW BEST:: SOT 2223063 SOS 1180487 HAS SOPS 1161632 HAS SOUS 309483 HAS SOUPS 307893 WITH SCORE 309073.487
AT ITER 4410 NEW BEST:: SOT 2223031 SOS 1178710 HAS SOPS 1159855 HAS SOUS 309234 HAS SOUPS 307644 WITH SCORE 308822.71
AT ITER 4414 NEW BEST:: SOT 2222942 SOS 1178621 HAS SOPS 1159766 HAS SOUS 309056 HAS SOUPS 307466 WITH SCORE 308644.621
AT ITER 4419 NEW BEST:: SOT 2222942 SOS 1178147 HAS SOPS 1159292 HAS SOUS 309056 HAS SOUPS 307466 WITH SCORE 308644.147
AT ITER 4457 NEW BEST:: SOT 2222768 SOS 1177937 HAS SOPS 1159082 HAS SOUS 308850 HAS SOUPS 307260 WITH SCORE 308437.937
AT ITER 4458 NEW BEST:: SOT 2222533 SOS 1177781 HAS SOPS 1158926 HAS SOUS 308635 HAS SOUPS 307045 WITH SCORE 308222.781
AT ITER 4469 NEW BEST:: SOT 2222784 SOS 1178528 HAS SOPS 1159673 HAS SOUS 308374 HAS SOUPS 306784 WITH SCORE 307962.528
AT ITER 4494 NEW BEST:: SOT 2222790 SOS 1178534 HAS SOPS 1159599 HAS SOUS 308257 HAS SOUPS 306667 WITH SCORE 307845.534
AT ITER 4500 NEW BEST:: SOT 2222320 SOS 1177921 HAS SOPS 1158986 HAS SOUS 307575 HAS SOUPS 305985 WITH SCORE 307162.921
AT ITER 4520 NEW BEST:: SOT 2222320 SOS 1177906 HAS SOPS 1158971 HAS SOUS 307545 HAS SOUPS 305955 WITH SCORE 307132.906
AT ITER 4523 NEW BEST:: SOT 2222072 SOS 1177586 HAS SOPS 1158651 HAS SOUS 307015 HAS SOUPS 305425 WITH SCORE 306602.586
AT ITER 4571 NEW BEST:: SOT 2221712 SOS 1177193 HAS SOPS 1158258 HAS SOUS 306910 HAS SOUPS 305320 WITH SCORE 306497.193
AT ITER 4586 NEW BEST:: SOT 2221708 SOS 1177189 HAS SOPS 1158254 HAS SOUS 306906 HAS SOUPS 305316 WITH SCORE 306493.189
AT ITER 4588 NEW BEST:: SOT 2221608 SOS 1177039 HAS SOPS 1158104 HAS SOUS 306706 HAS SOUPS 305116 WITH SCORE 306293.039
AT ITER 4606 NEW BEST:: SOT 2221857 SOS 1177884 HAS SOPS 1158949 HAS SOUS 306520 HAS SOUPS 304930 WITH SCORE 306107.884
AT ITER 4633 NEW BEST:: SOT 2221833 SOS 1177852 HAS SOPS 1158917 HAS SOUS 306472 HAS SOUPS 304882 WITH SCORE 306059.852
AT ITER 4651 NEW BEST:: SOT 2221806 SOS 1177825 HAS SOPS 1158890 HAS SOUS 306418 HAS SOUPS 304828 WITH SCORE 306005.825
AT ITER 4654 NEW BEST:: SOT 2221536 SOS 1177351 HAS SOPS 1158416 HAS SOUS 306112 HAS SOUPS 304522 WITH SCORE 305699.351
AT ITER 4672 NEW BEST:: SOT 2221527 SOS 1177342 HAS SOPS 1158409 HAS SOUS 306105 HAS SOUPS 304515 WITH SCORE 305692.342
AT ITER 4675 NEW BEST:: SOT 2221514 SOS 1177340 HAS SOPS 1158407 HAS SOUS 305851 HAS SOUPS 304261 WITH SCORE 305438.34
AT ITER 4730 NEW BEST:: SOT 2221514 SOS 1174600 HAS SOPS 1155667 HAS SOUS 305847 HAS SOUPS 304257 WITH SCORE 305431.6
AT ITER 4740 NEW BEST:: SOT 2221446 SOS 1174464 HAS SOPS 1155599 HAS SOUS 305847 HAS SOUPS 304257 WITH SCORE 305431.464
AT ITER 4766 NEW BEST:: SOT 2221386 SOS 1174404 HAS SOPS 1155539 HAS SOUS 305723 HAS SOUPS 304133 WITH SCORE 305307.404
AT ITER 4778 NEW BEST:: SOT 2221380 SOS 1174392 HAS SOPS 1155527 HAS SOUS 305711 HAS SOUPS 304121 WITH SCORE 305295.392
AT ITER 4812 NEW BEST:: SOT 2221214 SOS 1173568 HAS SOPS 1154703 HAS SOUS 305606 HAS SOUPS 304016 WITH SCORE 305189.568
AT ITER 4822 NEW BEST:: SOT 2221265 SOS 1192659 HAS SOPS 1173794 HAS SOUS 305540 HAS SOUPS 303950 WITH SCORE 305142.659
AT ITER 4850 NEW BEST:: SOT 2221203 SOS 1192597 HAS SOPS 1173772 HAS SOUS 305336 HAS SOUPS 303746 WITH SCORE 304938.597
AT ITER 4865 NEW BEST:: SOT 2221203 SOS 1192388 HAS SOPS 1173410 HAS SOUS 305127 HAS SOUPS 303537 WITH SCORE 304729.388
AT ITER 4884 NEW BEST:: SOT 2221100 SOS 1192411 HAS SOPS 1173433 HAS SOUS 304921 HAS SOUPS 303331 WITH SCORE 304523.411
AT ITER 4891 NEW BEST:: SOT 2221100 SOS 1187131 HAS SOPS 1168153 HAS SOUS 304743 HAS SOUPS 303153 WITH SCORE 304340.131
AT ITER 4893 NEW BEST:: SOT 2221004 SOS 1187025 HAS SOPS 1168047 HAS SOUS 304627 HAS SOUPS 303037 WITH SCORE 304224.025
AT ITER 4896 NEW BEST:: SOT 2220980 SOS 1187001 HAS SOPS 1168023 HAS SOUS 304579 HAS SOUPS 302989 WITH SCORE 304176.001
AT ITER 4909 NEW BEST:: SOT 2220995 SOS 1187016 HAS SOPS 1168038 HAS SOUS 304523 HAS SOUPS 302933 WITH SCORE 304120.016
AT ITER 4914 NEW BEST:: SOT 2220839 SOS 1186847 HAS SOPS 1167869 HAS SOUS 304471 HAS SOUPS 302881 WITH SCORE 304067.847
AT ITER 4932 NEW BEST:: SOT 2220772 SOS 1186780 HAS SOPS 1167802 HAS SOUS 304366 HAS SOUPS 302776 WITH SCORE 303962.78
AT ITER 4939 NEW BEST:: SOT 2220756 SOS 1186772 HAS SOPS 1167794 HAS SOUS 304334 HAS SOUPS 302744 WITH SCORE 303930.772
AT ITER 4946 NEW BEST:: SOT 2220576 SOS 1186494 HAS SOPS 1167516 HAS SOUS 303939 HAS SOUPS 302349 WITH SCORE 303535.494
AT ITER 4951 NEW BEST:: SOT 2220450 SOS 1186517 HAS SOPS 1167674 HAS SOUS 303813 HAS SOUPS 302223 WITH SCORE 303409.517
AT ITER 4981 NEW BEST:: SOT 2220570 SOS 1186586 HAS SOPS 1167743 HAS SOUS 303153 HAS SOUPS 301563 WITH SCORE 302749.586
AT ITER 4997 NEW BEST:: SOT 2220450 SOS 1186466 HAS SOPS 1167623 HAS SOUS 302988 HAS SOUPS 301398 WITH SCORE 302584.466
AT ITER 5012 NEW BEST:: SOT 2220339 SOS 1186466 HAS SOPS 1167625 HAS SOUS 302965 HAS SOUPS 301375 WITH SCORE 302561.466
AT ITER 5058 NEW BEST:: SOT 2204608 SOS 1170735 HAS SOPS 1151894 HAS SOUS 300298 HAS SOUPS 298708 WITH SCORE 299878.735
AT ITER 5066 NEW BEST:: SOT 2204401 SOS 1168958 HAS SOPS 1150260 HAS SOUS 300197 HAS SOUPS 298607 WITH SCORE 299775.958
AT ITER 5067 NEW BEST:: SOT 2204401 SOS 1168564 HAS SOPS 1149866 HAS SOUS 300197 HAS SOUPS 298607 WITH SCORE 299775.564
AT ITER 5090 NEW BEST:: SOT 2204361 SOS 1168524 HAS SOPS 1149826 HAS SOUS 300117 HAS SOUPS 298527 WITH SCORE 299695.524
AT ITER 5138 NEW BEST:: SOT 2204341 SOS 1168514 HAS SOPS 1149816 HAS SOUS 300107 HAS SOUPS 298517 WITH SCORE 299685.514
AT ITER 5144 NEW BEST:: SOT 2204191 SOS 1168113 HAS SOPS 1149415 HAS SOUS 299807 HAS SOUPS 298217 WITH SCORE 299385.113
AT ITER 5148 NEW BEST:: SOT 2192724 SOS 1158314 HAS SOPS 1139616 HAS SOUS 299101 HAS SOUPS 297511 WITH SCORE 298669.314
AT ITER 5155 NEW BEST:: SOT 2193149 SOS 1158678 HAS SOPS 1139980 HAS SOUS 298663 HAS SOUPS 297073 WITH SCORE 298231.678
AT ITER 5181 NEW BEST:: SOT 2193122 SOS 1158651 HAS SOPS 1139953 HAS SOUS 298618 HAS SOUPS 297028 WITH SCORE 298186.651
AT ITER 5186 NEW BEST:: SOT 2193106 SOS 1158635 HAS SOPS 1139937 HAS SOUS 298586 HAS SOUPS 296996 WITH SCORE 298154.635
AT ITER 5190 NEW BEST:: SOT 2192969 SOS 1158505 HAS SOPS 1139807 HAS SOUS 298512 HAS SOUPS 296922 WITH SCORE 298080.505
AT ITER 5213 NEW BEST:: SOT 2193110 SOS 1158746 HAS SOPS 1140008 HAS SOUS 298462 HAS SOUPS 296872 WITH SCORE 298030.746
AT ITER 5224 NEW BEST:: SOT 2193102 SOS 1158725 HAS SOPS 1139987 HAS SOUS 298273 HAS SOUPS 296683 WITH SCORE 297841.725
AT ITER 5249 NEW BEST:: SOT 2193087 SOS 1158746 HAS SOPS 1140012 HAS SOUS 298235 HAS SOUPS 296645 WITH SCORE 297803.746
AT ITER 5256 NEW BEST:: SOT 2193004 SOS 1158568 HAS SOPS 1139796 HAS SOUS 298152 HAS SOUPS 296562 WITH SCORE 297720.568
AT ITER 5263 NEW BEST:: SOT 2192453 SOS 1157952 HAS SOPS 1139180 HAS SOUS 298042 HAS SOUPS 296452 WITH SCORE 297609.952
AT ITER 5267 NEW BEST:: SOT 2191736 SOS 1159024 HAS SOPS 1145958 HAS SOUS 297859 HAS SOUPS 296417 WITH SCORE 297576.024
AT ITER 5268 NEW BEST:: SOT 2191657 SOS 1158904 HAS SOPS 1145854 HAS SOUS 297777 HAS SOUPS 296335 WITH SCORE 297493.904
AT ITER 5270 NEW BEST:: SOT 2191656 SOS 1158914 HAS SOPS 1145864 HAS SOUS 297775 HAS SOUPS 296333 WITH SCORE 297491.914
AT ITER 5297 NEW BEST:: SOT 2191594 SOS 1158820 HAS SOPS 1145770 HAS SOUS 297651 HAS SOUPS 296209 WITH SCORE 297367.82
AT ITER 5338 NEW BEST:: SOT 2191582 SOS 1158808 HAS SOPS 1145746 HAS SOUS 297627 HAS SOUPS 296185 WITH SCORE 297343.808
AT ITER 5354 NEW BEST:: SOT 2191558 SOS 1158722 HAS SOPS 1145660 HAS SOUS 297541 HAS SOUPS 296099 WITH SCORE 297257.722
AT ITER 5360 NEW BEST:: SOT 2191620 SOS 1158784 HAS SOPS 1145722 HAS SOUS 297540 HAS SOUPS 296098 WITH SCORE 297256.784
AT ITER 5373 NEW BEST:: SOT 2191575 SOS 1158688 HAS SOPS 1145626 HAS SOUS 297444 HAS SOUPS 296002 WITH SCORE 297160.688
AT ITER 5376 NEW BEST:: SOT 2191462 SOS 1157952 HAS SOPS 1144890 HAS SOUS 297389 HAS SOUPS 295947 WITH SCORE 297104.952
AT ITER 5391 NEW BEST:: SOT 2191528 SOS 1158018 HAS SOPS 1144956 HAS SOUS 297356 HAS SOUPS 295914 WITH SCORE 297072.018
AT ITER 5429 NEW BEST:: SOT 2191528 SOS 1155519 HAS SOPS 1142457 HAS SOUS 297356 HAS SOUPS 295914 WITH SCORE 297069.519
AT ITER 5436 NEW BEST:: SOT 2191552 SOS 1155687 HAS SOPS 1142625 HAS SOUS 297355 HAS SOUPS 295913 WITH SCORE 297068.687
AT ITER 5467 NEW BEST:: SOT 2191539 SOS 1155631 HAS SOPS 1142569 HAS SOUS 297299 HAS SOUPS 295857 WITH SCORE 297012.631
AT ITER 5476 NEW BEST:: SOT 2191191 SOS 1155351 HAS SOPS 1142289 HAS SOUS 296875 HAS SOUPS 295433 WITH SCORE 296588.351
AT ITER 5481 NEW BEST:: SOT 2191167 SOS 1155293 HAS SOPS 1142231 HAS SOUS 296759 HAS SOUPS 295317 WITH SCORE 296472.293
AT ITER 5507 NEW BEST:: SOT 2191123 SOS 1155249 HAS SOPS 1142189 HAS SOUS 296740 HAS SOUPS 295298 WITH SCORE 296453.249
AT ITER 5527 NEW BEST:: SOT 2190908 SOS 1155050 HAS SOPS 1141990 HAS SOUS 296472 HAS SOUPS 295030 WITH SCORE 296185.05
AT ITER 5537 NEW BEST:: SOT 2190542 SOS 1154720 HAS SOPS 1141660 HAS SOUS 296080 HAS SOUPS 294638 WITH SCORE 295792.72
AT ITER 5538 NEW BEST:: SOT 2190282 SOS 1154366 HAS SOPS 1141306 HAS SOUS 295581 HAS SOUPS 294139 WITH SCORE 295293.366
AT ITER 5542 NEW BEST:: SOT 2190273 SOS 1154357 HAS SOPS 1141297 HAS SOUS 295572 HAS SOUPS 294130 WITH SCORE 295284.357
AT ITER 5560 NEW BEST:: SOT 2189445 SOS 1153575 HAS SOPS 1140515 HAS SOUS 295370 HAS SOUPS 293928 WITH SCORE 295081.575
AT ITER 5564 NEW BEST:: SOT 2189420 SOS 1153550 HAS SOPS 1140490 HAS SOUS 295320 HAS SOUPS 293878 WITH SCORE 295031.55
AT ITER 5578 NEW BEST:: SOT 2189419 SOS 1153549 HAS SOPS 1140489 HAS SOUS 295314 HAS SOUPS 293872 WITH SCORE 295025.549
AT ITER 5582 NEW BEST:: SOT 2190119 SOS 1154249 HAS SOPS 1141189 HAS SOUS 294976 HAS SOUPS 293534 WITH SCORE 294688.249
AT ITER 5585 NEW BEST:: SOT 2190007 SOS 1156195 HAS SOPS 1143147 HAS SOUS 294854 HAS SOUPS 293412 WITH SCORE 294568.195
AT ITER 5593 NEW BEST:: SOT 2190007 SOS 1156279 HAS SOPS 1143231 HAS SOUS 294791 HAS SOUPS 293349 WITH SCORE 294505.279
AT ITER 5601 NEW BEST:: SOT 2189941 SOS 1156192 HAS SOPS 1143144 HAS SOUS 294681 HAS SOUPS 293239 WITH SCORE 294395.192
AT ITER 5616 NEW BEST:: SOT 2189900 SOS 1156171 HAS SOPS 1143123 HAS SOUS 294359 HAS SOUPS 292917 WITH SCORE 294073.171
AT ITER 5617 NEW BEST:: SOT 2189882 SOS 1156144 HAS SOPS 1143096 HAS SOUS 294314 HAS SOUPS 292872 WITH SCORE 294028.144
AT ITER 5630 NEW BEST:: SOT 2189849 SOS 1156111 HAS SOPS 1143063 HAS SOUS 294248 HAS SOUPS 292806 WITH SCORE 293962.111
AT ITER 5631 NEW BEST:: SOT 2189558 SOS 1155820 HAS SOPS 1142772 HAS SOUS 293743 HAS SOUPS 292301 WITH SCORE 293456.82
AT ITER 5649 NEW BEST:: SOT 2189564 SOS 1155824 HAS SOPS 1142776 HAS SOUS 293701 HAS SOUPS 292259 WITH SCORE 293414.824
AT ITER 5662 NEW BEST:: SOT 2189232 SOS 1155492 HAS SOPS 1142444 HAS SOUS 293501 HAS SOUPS 292059 WITH SCORE 293214.492
AT ITER 5683 NEW BEST:: SOT 2188938 SOS 1155229 HAS SOPS 1142181 HAS SOUS 293245 HAS SOUPS 291803 WITH SCORE 292958.229
AT ITER 5685 NEW BEST:: SOT 2188713 SOS 1155004 HAS SOPS 1141956 HAS SOUS 292876 HAS SOUPS 291434 WITH SCORE 292589.004
AT ITER 5729 NEW BEST:: SOT 2187910 SOS 1154006 HAS SOPS 1140958 HAS SOUS 292849 HAS SOUPS 291407 WITH SCORE 292561.006
AT ITER 5747 NEW BEST:: SOT 2187583 SOS 1153689 HAS SOPS 1140641 HAS SOUS 292532 HAS SOUPS 291090 WITH SCORE 292243.689
AT ITER 5792 NEW BEST:: SOT 2187560 SOS 1153666 HAS SOPS 1140618 HAS SOUS 292486 HAS SOUPS 291044 WITH SCORE 292197.666
AT ITER 5794 NEW BEST:: SOT 2187433 SOS 1153539 HAS SOPS 1140491 HAS SOUS 292245 HAS SOUPS 290803 WITH SCORE 291956.539
AT ITER 5795 NEW BEST:: SOT 2187433 SOS 1153533 HAS SOPS 1140485 HAS SOUS 292239 HAS SOUPS 290797 WITH SCORE 291950.533
AT ITER 5805 NEW BEST:: SOT 2186973 SOS 1153243 HAS SOPS 1140195 HAS SOUS 292183 HAS SOUPS 290741 WITH SCORE 291894.243
AT ITER 5840 NEW BEST:: SOT 2186918 SOS 1153188 HAS SOPS 1140114 HAS SOUS 292125 HAS SOUPS 290683 WITH SCORE 291836.188
AT ITER 5854 NEW BEST:: SOT 2186863 SOS 1153078 HAS SOPS 1140004 HAS SOUS 292125 HAS SOUPS 290683 WITH SCORE 291836.078
AT ITER 5857 NEW BEST:: SOT 2186847 SOS 1153062 HAS SOPS 1139980 HAS SOUS 292100 HAS SOUPS 290658 WITH SCORE 291811.062
AT ITER 5858 NEW BEST:: SOT 2186779 SOS 1152994 HAS SOPS 1139912 HAS SOUS 291992 HAS SOUPS 290550 WITH SCORE 291702.994
AT ITER 5868 NEW BEST:: SOT 2186745 SOS 1152960 HAS SOPS 1139759 HAS SOUS 291656 HAS SOUPS 290214 WITH SCORE 291366.96
AT ITER 5871 NEW BEST:: SOT 2185596 SOS 1151811 HAS SOPS 1138610 HAS SOUS 291296 HAS SOUPS 289854 WITH SCORE 291005.811
AT ITER 5872 NEW BEST:: SOT 2185551 SOS 1151721 HAS SOPS 1138520 HAS SOUS 291206 HAS SOUPS 289764 WITH SCORE 290915.721
AT ITER 5895 NEW BEST:: SOT 2185257 SOS 1151282 HAS SOPS 1138081 HAS SOUS 290680 HAS SOUPS 289238 WITH SCORE 290389.282
AT ITER 5931 NEW BEST:: SOT 2185269 SOS 1151675 HAS SOPS 1138383 HAS SOUS 290599 HAS SOUPS 289157 WITH SCORE 290308.675
AT ITER 5953 NEW BEST:: SOT 2183687 SOS 1150654 HAS SOPS 1137362 HAS SOUS 290128 HAS SOUPS 288686 WITH SCORE 289836.654
AT ITER 5960 NEW BEST:: SOT 2183693 SOS 1150660 HAS SOPS 1137348 HAS SOUS 290137 HAS SOUPS 288675 WITH SCORE 289825.66
AT ITER 5963 NEW BEST:: SOT 2183601 SOS 1150353 HAS SOPS 1137041 HAS SOUS 289866 HAS SOUPS 288404 WITH SCORE 289554.353
AT ITER 5967 NEW BEST:: SOT 2183223 SOS 1149572 HAS SOPS 1136260 HAS SOUS 289394 HAS SOUPS 287932 WITH SCORE 289081.572
AT ITER 5983 NEW BEST:: SOT 2182359 SOS 1148708 HAS SOPS 1135396 HAS SOUS 289370 HAS SOUPS 287908 WITH SCORE 289056.708
AT ITER 6091 NEW BEST:: SOT 2182394 SOS 1147881 HAS SOPS 1134569 HAS SOUS 289276 HAS SOUPS 287814 WITH SCORE 288961.881
AT ITER 6116 NEW BEST:: SOT 2182390 SOS 1147364 HAS SOPS 1132658 HAS SOUS 289198 HAS SOUPS 287702 WITH SCORE 288849.364
AT ITER 6120 NEW BEST:: SOT 2182230 SOS 1147243 HAS SOPS 1132537 HAS SOUS 289147 HAS SOUPS 287651 WITH SCORE 288798.243
AT ITER 6144 NEW BEST:: SOT 2182143 SOS 1147156 HAS SOPS 1132410 HAS SOUS 288973 HAS SOUPS 287477 WITH SCORE 288624.156
AT ITER 6191 NEW BEST:: SOT 2182143 SOS 1145516 HAS SOPS 1130770 HAS SOUS 288973 HAS SOUPS 287477 WITH SCORE 288622.516
AT ITER 6195 NEW BEST:: SOT 2182143 SOS 1145488 HAS SOPS 1130742 HAS SOUS 288945 HAS SOUPS 287449 WITH SCORE 288594.488
AT ITER 6233 NEW BEST:: SOT 2182144 SOS 1145390 HAS SOPS 1130644 HAS SOUS 288938 HAS SOUPS 287442 WITH SCORE 288587.39
AT ITER 6246 NEW BEST:: SOT 2182053 SOS 1145249 HAS SOPS 1130503 HAS SOUS 288613 HAS SOUPS 287117 WITH SCORE 288262.249
AT ITER 6284 NEW BEST:: SOT 2181960 SOS 1145216 HAS SOPS 1130448 HAS SOUS 288624 HAS SOUPS 287117 WITH SCORE 288262.216
AT ITER 6289 NEW BEST:: SOT 2181970 SOS 1145226 HAS SOPS 1130458 HAS SOUS 288584 HAS SOUPS 287077 WITH SCORE 288222.226
AT ITER 6300 NEW BEST:: SOT 2181951 SOS 1145207 HAS SOPS 1130408 HAS SOUS 288546 HAS SOUPS 287039 WITH SCORE 288184.207
AT ITER 6323 NEW BEST:: SOT 2181972 SOS 1145228 HAS SOPS 1130416 HAS SOUS 288520 HAS SOUPS 287013 WITH SCORE 288158.228
AT ITER 6329 NEW BEST:: SOT 2181937 SOS 1145096 HAS SOPS 1130284 HAS SOUS 288388 HAS SOUPS 286881 WITH SCORE 288026.096
AT ITER 6337 NEW BEST:: SOT 2181886 SOS 1144851 HAS SOPS 1130039 HAS SOUS 288286 HAS SOUPS 286779 WITH SCORE 287923.851
AT ITER 6349 NEW BEST:: SOT 2181841 SOS 1144666 HAS SOPS 1129854 HAS SOUS 288227 HAS SOUPS 286720 WITH SCORE 287864.666
AT ITER 6357 NEW BEST:: SOT 2181787 SOS 1144576 HAS SOPS 1129746 HAS SOUS 288137 HAS SOUPS 286630 WITH SCORE 287774.576
AT ITER 6372 NEW BEST:: SOT 2181779 SOS 1144552 HAS SOPS 1129722 HAS SOUS 288137 HAS SOUPS 286630 WITH SCORE 287774.552
AT ITER 6390 NEW BEST:: SOT 2181327 SOS 1144248 HAS SOPS 1129418 HAS SOUS 288130 HAS SOUPS 286623 WITH SCORE 287767.248
AT ITER 6393 NEW BEST:: SOT 2181244 SOS 1144037 HAS SOPS 1129207 HAS SOUS 287919 HAS SOUPS 286412 WITH SCORE 287556.037
AT ITER 6410 NEW BEST:: SOT 2181072 SOS 1144071 HAS SOPS 1129241 HAS SOUS 287747 HAS SOUPS 286240 WITH SCORE 287384.071
AT ITER 6414 NEW BEST:: SOT 2181048 SOS 1144023 HAS SOPS 1129193 HAS SOUS 287699 HAS SOUPS 286192 WITH SCORE 287336.023
AT ITER 6420 NEW BEST:: SOT 2180996 SOS 1143949 HAS SOPS 1129141 HAS SOUS 287636 HAS SOUPS 286140 WITH SCORE 287283.949
AT ITER 6427 NEW BEST:: SOT 2180657 SOS 1143648 HAS SOPS 1128840 HAS SOUS 287289 HAS SOUPS 285793 WITH SCORE 286936.648
AT ITER 6443 NEW BEST:: SOT 2180511 SOS 1143338 HAS SOPS 1128530 HAS SOUS 287077 HAS SOUPS 285581 WITH SCORE 286724.338
AT ITER 6451 NEW BEST:: SOT 2180504 SOS 1143331 HAS SOPS 1128523 HAS SOUS 287068 HAS SOUPS 285572 WITH SCORE 286715.331
AT ITER 6453 NEW BEST:: SOT 2180445 SOS 1143272 HAS SOPS 1128464 HAS SOUS 286939 HAS SOUPS 285443 WITH SCORE 286586.272
AT ITER 6466 NEW BEST:: SOT 2180445 SOS 1143252 HAS SOPS 1128424 HAS SOUS 286919 HAS SOUPS 285423 WITH SCORE 286566.252
AT ITER 6474 NEW BEST:: SOT 2180330 SOS 1143022 HAS SOPS 1128194 HAS SOUS 286689 HAS SOUPS 285193 WITH SCORE 286336.022
AT ITER 6488 NEW BEST:: SOT 2180182 SOS 1142874 HAS SOPS 1128046 HAS SOUS 286557 HAS SOUPS 285061 WITH SCORE 286203.874
AT ITER 6500 NEW BEST:: SOT 2180164 SOS 1142856 HAS SOPS 1128028 HAS SOUS 286557 HAS SOUPS 285061 WITH SCORE 286203.856
AT ITER 6507 NEW BEST:: SOT 2180172 SOS 1142809 HAS SOPS 1127981 HAS SOUS 286480 HAS SOUPS 284984 WITH SCORE 286126.809
AT ITER 6528 NEW BEST:: SOT 2180091 SOS 1142724 HAS SOPS 1127896 HAS SOUS 286385 HAS SOUPS 284889 WITH SCORE 286031.724
AT ITER 6554 NEW BEST:: SOT 2180091 SOS 1142740 HAS SOPS 1127912 HAS SOUS 286321 HAS SOUPS 284825 WITH SCORE 285967.74
AT ITER 6575 NEW BEST:: SOT 2180025 SOS 1142674 HAS SOPS 1127846 HAS SOUS 286233 HAS SOUPS 284737 WITH SCORE 285879.674
AT ITER 6576 NEW BEST:: SOT 2180038 SOS 1142687 HAS SOPS 1127820 HAS SOUS 286181 HAS SOUPS 284685 WITH SCORE 285827.687
AT ITER 6586 NEW BEST:: SOT 2180038 SOS 1142416 HAS SOPS 1127549 HAS SOUS 286181 HAS SOUPS 284685 WITH SCORE 285827.416
AT ITER 6602 NEW BEST:: SOT 2179993 SOS 1142416 HAS SOPS 1127549 HAS SOUS 286171 HAS SOUPS 284675 WITH SCORE 285817.416
AT ITER 6609 NEW BEST:: SOT 2179968 SOS 1142391 HAS SOPS 1127524 HAS SOUS 286141 HAS SOUPS 284645 WITH SCORE 285787.391
AT ITER 6610 NEW BEST:: SOT 2179305 SOS 1141894 HAS SOPS 1127027 HAS SOUS 285457 HAS SOUPS 283961 WITH SCORE 285102.894
AT ITER 6613 NEW BEST:: SOT 2179103 SOS 1141260 HAS SOPS 1126393 HAS SOUS 285038 HAS SOUPS 283542 WITH SCORE 284683.26
AT ITER 6624 NEW BEST:: SOT 2179071 SOS 1141228 HAS SOPS 1126361 HAS SOUS 285006 HAS SOUPS 283510 WITH SCORE 284651.228
AT ITER 6652 NEW BEST:: SOT 2178928 SOS 1141034 HAS SOPS 1126167 HAS SOUS 284651 HAS SOUPS 283155 WITH SCORE 284296.034
AT ITER 6657 NEW BEST:: SOT 2178918 SOS 1140792 HAS SOPS 1126014 HAS SOUS 284631 HAS SOUPS 283135 WITH SCORE 284275.792
AT ITER 6666 NEW BEST:: SOT 2178721 SOS 1140648 HAS SOPS 1125870 HAS SOUS 284387 HAS SOUPS 282891 WITH SCORE 284031.648
AT ITER 6695 NEW BEST:: SOT 2178470 SOS 1140439 HAS SOPS 1125714 HAS SOUS 284224 HAS SOUPS 282728 WITH SCORE 283868.439
AT ITER 6702 NEW BEST:: SOT 2178496 SOS 1140465 HAS SOPS 1125740 HAS SOUS 284220 HAS SOUPS 282724 WITH SCORE 283864.465
AT ITER 6706 NEW BEST:: SOT 2178496 SOS 1140334 HAS SOPS 1125609 HAS SOUS 284220 HAS SOUPS 282724 WITH SCORE 283864.334
AT ITER 6734 NEW BEST:: SOT 2178451 SOS 1140303 HAS SOPS 1125578 HAS SOUS 284064 HAS SOUPS 282568 WITH SCORE 283708.303
AT ITER 6750 NEW BEST:: SOT 2178439 SOS 1140291 HAS SOPS 1125566 HAS SOUS 284040 HAS SOUPS 282544 WITH SCORE 283684.291
AT ITER 6770 NEW BEST:: SOT 2178436 SOS 1140288 HAS SOPS 1125563 HAS SOUS 284037 HAS SOUPS 282541 WITH SCORE 283681.288
AT ITER 6779 NEW BEST:: SOT 2178426 SOS 1140268 HAS SOPS 1125543 HAS SOUS 284017 HAS SOUPS 282521 WITH SCORE 283661.268
AT ITER 6787 NEW BEST:: SOT 2178383 SOS 1140225 HAS SOPS 1125500 HAS SOUS 283974 HAS SOUPS 282478 WITH SCORE 283618.225
AT ITER 6795 NEW BEST:: SOT 2178176 SOS 1140126 HAS SOPS 1125401 HAS SOUS 283806 HAS SOUPS 282310 WITH SCORE 283450.126
AT ITER 6800 NEW BEST:: SOT 2183192 SOS 1145101 HAS SOPS 1130376 HAS SOUS 282387 HAS SOUPS 280891 WITH SCORE 282036.101
AT ITER 6802 NEW BEST:: SOT 2183248 SOS 1145157 HAS SOPS 1130432 HAS SOUS 282360 HAS SOUPS 280864 WITH SCORE 282009.157
AT ITER 6803 NEW BEST:: SOT 2183195 SOS 1145114 HAS SOPS 1130389 HAS SOUS 282254 HAS SOUPS 280758 WITH SCORE 281903.114
AT ITER 6806 NEW BEST:: SOT 2157385 SOS 1119995 HAS SOPS 1105270 HAS SOUS 280061 HAS SOUPS 278565 WITH SCORE 279684.995
AT ITER 6840 NEW BEST:: SOT 2157362 SOS 1119972 HAS SOPS 1105247 HAS SOUS 280061 HAS SOUPS 278565 WITH SCORE 279684.972
AT ITER 6850 NEW BEST:: SOT 2157387 SOS 1119997 HAS SOPS 1105272 HAS SOUS 279993 HAS SOUPS 278497 WITH SCORE 279616.997
AT ITER 6867 NEW BEST:: SOT 2157614 SOS 1122268 HAS SOPS 1107543 HAS SOUS 279987 HAS SOUPS 278491 WITH SCORE 279613.268
AT ITER 6880 NEW BEST:: SOT 2157614 SOS 1122268 HAS SOPS 1107543 HAS SOUS 279939 HAS SOUPS 278443 WITH SCORE 279565.268
AT ITER 6898 NEW BEST:: SOT 2157502 SOS 1122156 HAS SOPS 1107431 HAS SOUS 279827 HAS SOUPS 278331 WITH SCORE 279453.156
AT ITER 6907 NEW BEST:: SOT 2157432 SOS 1122076 HAS SOPS 1107351 HAS SOUS 279687 HAS SOUPS 278191 WITH SCORE 279313.076
AT ITER 6909 NEW BEST:: SOT 2167417 SOS 1131297 HAS SOPS 1116572 HAS SOUS 279512 HAS SOUPS 278016 WITH SCORE 279147.297
AT ITER 6912 NEW BEST:: SOT 2167390 SOS 1131270 HAS SOPS 1116545 HAS SOUS 279458 HAS SOUPS 277962 WITH SCORE 279093.27
AT ITER 6920 NEW BEST:: SOT 2167377 SOS 1131244 HAS SOPS 1116519 HAS SOUS 279432 HAS SOUPS 277936 WITH SCORE 279067.244
AT ITER 6921 NEW BEST:: SOT 2167352 SOS 1131194 HAS SOPS 1116469 HAS SOUS 279382 HAS SOUPS 277886 WITH SCORE 279017.194
AT ITER 6931 NEW BEST:: SOT 2167287 SOS 1131129 HAS SOPS 1116404 HAS SOUS 279252 HAS SOUPS 277756 WITH SCORE 278887.129
AT ITER 6934 NEW BEST:: SOT 2167270 SOS 1131221 HAS SOPS 1116496 HAS SOUS 279208 HAS SOUPS 277712 WITH SCORE 278843.221
AT ITER 6981 NEW BEST:: SOT 2167438 SOS 1130800 HAS SOPS 1116075 HAS SOUS 278915 HAS SOUPS 277419 WITH SCORE 278549.8
AT ITER 6983 NEW BEST:: SOT 2167402 SOS 1130728 HAS SOPS 1116003 HAS SOUS 278874 HAS SOUPS 277378 WITH SCORE 278508.728
AT ITER 6984 NEW BEST:: SOT 2167424 SOS 1130750 HAS SOPS 1116025 HAS SOUS 278831 HAS SOUPS 277335 WITH SCORE 278465.75
AT ITER 6988 NEW BEST:: SOT 2167217 SOS 1130589 HAS SOPS 1115864 HAS SOUS 278327 HAS SOUPS 276831 WITH SCORE 277961.589
AT ITER 7007 NEW BEST:: SOT 2167119 SOS 1130491 HAS SOPS 1115766 HAS SOUS 278312 HAS SOUPS 276816 WITH SCORE 277946.491
AT ITER 7022 NEW BEST:: SOT 2167142 SOS 1130514 HAS SOPS 1115759 HAS SOUS 278272 HAS SOUPS 276776 WITH SCORE 277906.514
AT ITER 7077 NEW BEST:: SOT 2167129 SOS 1130527 HAS SOPS 1115772 HAS SOUS 278259 HAS SOUPS 276763 WITH SCORE 277893.527
AT ITER 7104 NEW BEST:: SOT 2167112 SOS 1130476 HAS SOPS 1115721 HAS SOUS 278259 HAS SOUPS 276763 WITH SCORE 277893.476
AT ITER 7127 NEW BEST:: SOT 2167042 SOS 1130756 HAS SOPS 1116010 HAS SOUS 278210 HAS SOUPS 276714 WITH SCORE 277844.756
AT ITER 7142 NEW BEST:: SOT 2167127 SOS 1131030 HAS SOPS 1116284 HAS SOUS 278203 HAS SOUPS 276707 WITH SCORE 277838.03
AT ITER 7154 NEW BEST:: SOT 2167577 SOS 1131507 HAS SOPS 1116761 HAS SOUS 278076 HAS SOUPS 276580 WITH SCORE 277711.507
AT ITER 7194 NEW BEST:: SOT 2167396 SOS 1131326 HAS SOPS 1116580 HAS SOUS 277895 HAS SOUPS 276399 WITH SCORE 277530.326
AT ITER 7197 NEW BEST:: SOT 2167107 SOS 1131020 HAS SOPS 1116274 HAS SOUS 277522 HAS SOUPS 276026 WITH SCORE 277157.02
AT ITER 7202 NEW BEST:: SOT 2167106 SOS 1131019 HAS SOPS 1116273 HAS SOUS 277520 HAS SOUPS 276024 WITH SCORE 277155.019
AT ITER 7206 NEW BEST:: SOT 2167152 SOS 1131460 HAS SOPS 1116714 HAS SOUS 277498 HAS SOUPS 276002 WITH SCORE 277133.46
AT ITER 7212 NEW BEST:: SOT 2167152 SOS 1131428 HAS SOPS 1116682 HAS SOUS 277482 HAS SOUPS 275986 WITH SCORE 277117.428
AT ITER 7229 NEW BEST:: SOT 2166882 SOS 1131096 HAS SOPS 1116350 HAS SOUS 277024 HAS SOUPS 275528 WITH SCORE 276659.096
AT ITER 7235 NEW BEST:: SOT 2166921 SOS 1131137 HAS SOPS 1116391 HAS SOUS 277021 HAS SOUPS 275525 WITH SCORE 276656.137
AT ITER 7236 NEW BEST:: SOT 2166897 SOS 1131113 HAS SOPS 1116367 HAS SOUS 276997 HAS SOUPS 275501 WITH SCORE 276632.113
AT ITER 7250 NEW BEST:: SOT 2166783 SOS 1130968 HAS SOPS 1116222 HAS SOUS 276852 HAS SOUPS 275356 WITH SCORE 276486.968
AT ITER 7274 NEW BEST:: SOT 2166770 SOS 1130851 HAS SOPS 1116105 HAS SOUS 276852 HAS SOUPS 275356 WITH SCORE 276486.851
AT ITER 7278 NEW BEST:: SOT 2166720 SOS 1130872 HAS SOPS 1116126 HAS SOUS 276824 HAS SOUPS 275328 WITH SCORE 276458.872
AT ITER 7293 NEW BEST:: SOT 2166684 SOS 1130836 HAS SOPS 1116090 HAS SOUS 276736 HAS SOUPS 275240 WITH SCORE 276370.836
AT ITER 7315 NEW BEST:: SOT 2166416 SOS 1130452 HAS SOPS 1115706 HAS SOUS 276110 HAS SOUPS 274614 WITH SCORE 275744.452
AT ITER 7328 NEW BEST:: SOT 2166400 SOS 1130432 HAS SOPS 1115686 HAS SOUS 276074 HAS SOUPS 274578 WITH SCORE 275708.432
AT ITER 7363 NEW BEST:: SOT 2166425 SOS 1130457 HAS SOPS 1115711 HAS SOUS 275969 HAS SOUPS 274473 WITH SCORE 275603.457
AT ITER 7395 NEW BEST:: SOT 2166394 SOS 1130438 HAS SOPS 1115692 HAS SOUS 275950 HAS SOUPS 274454 WITH SCORE 275584.438
AT ITER 7461 NEW BEST:: SOT 2166394 SOS 1130248 HAS SOPS 1115407 HAS SOUS 275883 HAS SOUPS 274387 WITH SCORE 275517.248
AT ITER 7470 NEW BEST:: SOT 2166309 SOS 1129993 HAS SOPS 1115152 HAS SOUS 275883 HAS SOUPS 274387 WITH SCORE 275516.993
AT ITER 7472 NEW BEST:: SOT 2166391 SOS 1130199 HAS SOPS 1115290 HAS SOUS 275787 HAS SOUPS 274291 WITH SCORE 275421.199
AT ITER 7490 NEW BEST:: SOT 2166328 SOS 1130136 HAS SOPS 1115227 HAS SOUS 275733 HAS SOUPS 274237 WITH SCORE 275367.136
AT ITER 7511 NEW BEST:: SOT 2166328 SOS 1130124 HAS SOPS 1115215 HAS SOUS 275711 HAS SOUPS 274215 WITH SCORE 275345.124
AT ITER 7523 NEW BEST:: SOT 2166362 SOS 1130158 HAS SOPS 1115229 HAS SOUS 275671 HAS SOUPS 274175 WITH SCORE 275305.158
AT ITER 7564 NEW BEST:: SOT 2166334 SOS 1130130 HAS SOPS 1115201 HAS SOUS 275615 HAS SOUPS 274119 WITH SCORE 275249.13
AT ITER 7572 NEW BEST:: SOT 2166321 SOS 1130127 HAS SOPS 1115198 HAS SOUS 275615 HAS SOUPS 274119 WITH SCORE 275249.127
AT ITER 7606 NEW BEST:: SOT 2166351 SOS 1130157 HAS SOPS 1115125 HAS SOUS 275405 HAS SOUPS 273909 WITH SCORE 275039.157
AT ITER 7618 NEW BEST:: SOT 2169453 SOS 1133341 HAS SOPS 1118309 HAS SOUS 274868 HAS SOUPS 273372 WITH SCORE 274505.341
AT ITER 7624 NEW BEST:: SOT 2169279 SOS 1133247 HAS SOPS 1118215 HAS SOUS 274701 HAS SOUPS 273205 WITH SCORE 274338.247
AT ITER 7654 NEW BEST:: SOT 2169243 SOS 1133199 HAS SOPS 1118167 HAS SOUS 274641 HAS SOUPS 273145 WITH SCORE 274278.199
AT ITER 7658 NEW BEST:: SOT 2169256 SOS 1133250 HAS SOPS 1118218 HAS SOUS 274629 HAS SOUPS 273133 WITH SCORE 274266.25
AT ITER 7674 NEW BEST:: SOT 2169112 SOS 1132942 HAS SOPS 1117910 HAS SOUS 274321 HAS SOUPS 272825 WITH SCORE 273957.942
AT ITER 7738 NEW BEST:: SOT 2169118 SOS 1132948 HAS SOPS 1117916 HAS SOUS 274293 HAS SOUPS 272797 WITH SCORE 273929.948
AT ITER 7751 NEW BEST:: SOT 2169043 SOS 1132873 HAS SOPS 1117841 HAS SOUS 273783 HAS SOUPS 272287 WITH SCORE 273419.873
AT ITER 7755 NEW BEST:: SOT 2169064 SOS 1132894 HAS SOPS 1117819 HAS SOUS 273639 HAS SOUPS 272143 WITH SCORE 273275.894
AT ITER 7790 NEW BEST:: SOT 2168821 SOS 1132613 HAS SOPS 1117538 HAS SOUS 273358 HAS SOUPS 271862 WITH SCORE 272994.613
AT ITER 7797 NEW BEST:: SOT 2167921 SOS 1131411 HAS SOPS 1116336 HAS SOUS 272878 HAS SOUPS 271382 WITH SCORE 272513.411
AT ITER 7830 NEW BEST:: SOT 2167878 SOS 1131325 HAS SOPS 1116250 HAS SOUS 272792 HAS SOUPS 271296 WITH SCORE 272427.325
AT ITER 7838 NEW BEST:: SOT 2167833 SOS 1128445 HAS SOPS 1113370 HAS SOUS 271757 HAS SOUPS 270261 WITH SCORE 271389.445
AT ITER 7849 NEW BEST:: SOT 2167809 SOS 1128415 HAS SOPS 1113340 HAS SOUS 271703 HAS SOUPS 270207 WITH SCORE 271335.415
AT ITER 7856 NEW BEST:: SOT 2167809 SOS 1128397 HAS SOPS 1113322 HAS SOUS 271685 HAS SOUPS 270189 WITH SCORE 271317.397
AT ITER 7857 NEW BEST:: SOT 2167802 SOS 1128390 HAS SOPS 1113309 HAS SOUS 271671 HAS SOUPS 270175 WITH SCORE 271303.39
AT ITER 7873 NEW BEST:: SOT 2167702 SOS 1128190 HAS SOPS 1113109 HAS SOUS 271471 HAS SOUPS 269975 WITH SCORE 271103.19
AT ITER 7886 NEW BEST:: SOT 2167571 SOS 1128059 HAS SOPS 1112978 HAS SOUS 271275 HAS SOUPS 269779 WITH SCORE 270907.059
AT ITER 7895 NEW BEST:: SOT 2167571 SOS 1128059 HAS SOPS 1112946 HAS SOUS 271243 HAS SOUPS 269747 WITH SCORE 270875.059
AT ITER 7904 NEW BEST:: SOT 2167571 SOS 1128049 HAS SOPS 1112936 HAS SOUS 271233 HAS SOUPS 269737 WITH SCORE 270865.049
AT ITER 7918 NEW BEST:: SOT 2167545 SOS 1128023 HAS SOPS 1112910 HAS SOUS 271179 HAS SOUPS 269683 WITH SCORE 270811.023
AT ITER 7923 NEW BEST:: SOT 2167458 SOS 1127936 HAS SOPS 1112823 HAS SOUS 271072 HAS SOUPS 269576 WITH SCORE 270703.936
AT ITER 7980 NEW BEST:: SOT 2167454 SOS 1127936 HAS SOPS 1112823 HAS SOUS 271068 HAS SOUPS 269572 WITH SCORE 270699.936
AT ITER 7992 NEW BEST:: SOT 2167139 SOS 1127293 HAS SOPS 1112180 HAS SOUS 271005 HAS SOUPS 269509 WITH SCORE 270636.293
AT ITER 8006 NEW BEST:: SOT 2167062 SOS 1127186 HAS SOPS 1112019 HAS SOUS 270887 HAS SOUPS 269348 WITH SCORE 270475.186
AT ITER 8010 NEW BEST:: SOT 2167074 SOS 1127198 HAS SOPS 1112031 HAS SOUS 270829 HAS SOUPS 269290 WITH SCORE 270417.198
AT ITER 8105 NEW BEST:: SOT 2166962 SOS 1127086 HAS SOPS 1111919 HAS SOUS 270575 HAS SOUPS 269036 WITH SCORE 270163.086
AT ITER 8115 NEW BEST:: SOT 2173933 SOS 1134061 HAS SOPS 1118894 HAS SOUS 270288 HAS SOUPS 268749 WITH SCORE 269883.061
AT ITER 8131 NEW BEST:: SOT 2173729 SOS 1133894 HAS SOPS 1118727 HAS SOUS 270028 HAS SOUPS 268489 WITH SCORE 269622.894
AT ITER 8136 NEW BEST:: SOT 2173321 SOS 1133491 HAS SOPS 1118324 HAS SOUS 269523 HAS SOUPS 267984 WITH SCORE 269117.491
AT ITER 8137 NEW BEST:: SOT 2173060 SOS 1133056 HAS SOPS 1117889 HAS SOUS 269049 HAS SOUPS 267510 WITH SCORE 268643.056
AT ITER 8146 NEW BEST:: SOT 2173060 SOS 1133045 HAS SOPS 1117878 HAS SOUS 268938 HAS SOUPS 267399 WITH SCORE 268532.045
AT ITER 8156 NEW BEST:: SOT 2172995 SOS 1132963 HAS SOPS 1117796 HAS SOUS 268862 HAS SOUPS 267323 WITH SCORE 268455.963
AT ITER 8200 NEW BEST:: SOT 2172810 SOS 1133089 HAS SOPS 1117821 HAS SOUS 268613 HAS SOUPS 267074 WITH SCORE 268207.089
AT ITER 8203 NEW BEST:: SOT 2172800 SOS 1133643 HAS SOPS 1118391 HAS SOUS 268587 HAS SOUPS 267064 WITH SCORE 268197.643
AT ITER 8212 NEW BEST:: SOT 2172750 SOS 1133593 HAS SOPS 1118341 HAS SOUS 268437 HAS SOUPS 266914 WITH SCORE 268047.593
AT ITER 8265 NEW BEST:: SOT 2172767 SOS 1133552 HAS SOPS 1118300 HAS SOUS 268413 HAS SOUPS 266890 WITH SCORE 268023.552
AT ITER 8268 NEW BEST:: SOT 2172767 SOS 1133807 HAS SOPS 1118555 HAS SOUS 268243 HAS SOUPS 266720 WITH SCORE 267853.807
AT ITER 8276 NEW BEST:: SOT 2173045 SOS 1134051 HAS SOPS 1118799 HAS SOUS 268187 HAS SOUPS 266664 WITH SCORE 267798.051
AT ITER 8277 NEW BEST:: SOT 2173076 SOS 1134082 HAS SOPS 1118830 HAS SOUS 268109 HAS SOUPS 266586 WITH SCORE 267720.082
AT ITER 8298 NEW BEST:: SOT 2173123 SOS 1134129 HAS SOPS 1118877 HAS SOUS 268093 HAS SOUPS 266570 WITH SCORE 267704.129
AT ITER 8325 NEW BEST:: SOT 2173041 SOS 1134170 HAS SOPS 1118918 HAS SOUS 268069 HAS SOUPS 266546 WITH SCORE 267680.17
AT ITER 8337 NEW BEST:: SOT 2172920 SOS 1132283 HAS SOPS 1117201 HAS SOUS 267948 HAS SOUPS 266425 WITH SCORE 267557.283
AT ITER 8347 NEW BEST:: SOT 2172669 SOS 1132111 HAS SOPS 1117029 HAS SOUS 267677 HAS SOUPS 266154 WITH SCORE 267286.111
AT ITER 8363 NEW BEST:: SOT 2172412 SOS 1131603 HAS SOPS 1116521 HAS SOUS 267430 HAS SOUPS 265907 WITH SCORE 267038.603
AT ITER 8364 NEW BEST:: SOT 2171248 SOS 1130322 HAS SOPS 1115240 HAS SOUS 267186 HAS SOUPS 265663 WITH SCORE 266793.322
AT ITER 8377 NEW BEST:: SOT 2171182 SOS 1130234 HAS SOPS 1115152 HAS SOUS 267067 HAS SOUPS 265544 WITH SCORE 266674.234
AT ITER 8398 NEW BEST:: SOT 2171146 SOS 1130194 HAS SOPS 1115112 HAS SOUS 267027 HAS SOUPS 265504 WITH SCORE 266634.194
AT ITER 8399 NEW BEST:: SOT 2170905 SOS 1129462 HAS SOPS 1114424 HAS SOUS 266687 HAS SOUPS 265207 WITH SCORE 266336.462
AT ITER 8414 NEW BEST:: SOT 2170831 SOS 1129300 HAS SOPS 1114262 HAS SOUS 266681 HAS SOUPS 265201 WITH SCORE 266330.3
AT ITER 8418 NEW BEST:: SOT 2170831 SOS 1129251 HAS SOPS 1114213 HAS SOUS 266681 HAS SOUPS 265201 WITH SCORE 266330.251
AT ITER 8426 NEW BEST:: SOT 2170825 SOS 1129212 HAS SOPS 1114174 HAS SOUS 266631 HAS SOUPS 265151 WITH SCORE 266280.212
AT ITER 8440 NEW BEST:: SOT 2163597 SOS 1121651 HAS SOPS 1104093 HAS SOUS 265926 HAS SOUPS 264194 WITH SCORE 265315.651
AT ITER 8444 NEW BEST:: SOT 2163594 SOS 1121648 HAS SOPS 1104090 HAS SOUS 265920 HAS SOUPS 264188 WITH SCORE 265309.648
AT ITER 8450 NEW BEST:: SOT 2163552 SOS 1121606 HAS SOPS 1104048 HAS SOUS 265836 HAS SOUPS 264104 WITH SCORE 265225.606
AT ITER 8495 NEW BEST:: SOT 2163611 SOS 1121921 HAS SOPS 1104363 HAS SOUS 265609 HAS SOUPS 263877 WITH SCORE 264998.921
AT ITER 8564 NEW BEST:: SOT 2163604 SOS 1121914 HAS SOPS 1104356 HAS SOUS 265595 HAS SOUPS 263863 WITH SCORE 264984.914
AT ITER 8575 NEW BEST:: SOT 2163583 SOS 1121803 HAS SOPS 1104245 HAS SOUS 265553 HAS SOUPS 263821 WITH SCORE 264942.803
AT ITER 8593 NEW BEST:: SOT 2163618 SOS 1121838 HAS SOPS 1104272 HAS SOUS 265537 HAS SOUPS 263805 WITH SCORE 264926.838
AT ITER 8640 NEW BEST:: SOT 2163485 SOS 1121787 HAS SOPS 1104221 HAS SOUS 265523 HAS SOUPS 263791 WITH SCORE 264912.787
AT ITER 8645 NEW BEST:: SOT 2163398 SOS 1121090 HAS SOPS 1103524 HAS SOUS 265463 HAS SOUPS 263731 WITH SCORE 264852.09
AT ITER 8646 NEW BEST:: SOT 2163511 SOS 1121203 HAS SOPS 1103629 HAS SOUS 265450 HAS SOUPS 263718 WITH SCORE 264839.203
AT ITER 8659 NEW BEST:: SOT 2163406 SOS 1121133 HAS SOPS 1103559 HAS SOUS 265275 HAS SOUPS 263543 WITH SCORE 264664.133
AT ITER 8662 NEW BEST:: SOT 2163399 SOS 1121126 HAS SOPS 1103545 HAS SOUS 265261 HAS SOUPS 263529 WITH SCORE 264650.126
AT ITER 8669 NEW BEST:: SOT 2163396 SOS 1121098 HAS SOPS 1103517 HAS SOUS 265255 HAS SOUPS 263523 WITH SCORE 264644.098
AT ITER 8707 NEW BEST:: SOT 2163396 SOS 1121098 HAS SOPS 1103515 HAS SOUS 265249 HAS SOUPS 263517 WITH SCORE 264638.098
AT ITER 8708 NEW BEST:: SOT 2163408 SOS 1121110 HAS SOPS 1103525 HAS SOUS 265217 HAS SOUPS 263485 WITH SCORE 264606.11
AT ITER 8709 NEW BEST:: SOT 2163018 SOS 1120500 HAS SOPS 1102915 HAS SOUS 264670 HAS SOUPS 262938 WITH SCORE 264058.5
AT ITER 8715 NEW BEST:: SOT 2162955 SOS 1120437 HAS SOPS 1102852 HAS SOUS 264664 HAS SOUPS 262932 WITH SCORE 264052.437
AT ITER 8722 NEW BEST:: SOT 2162899 SOS 1120381 HAS SOPS 1102796 HAS SOUS 264565 HAS SOUPS 262833 WITH SCORE 263953.381
AT ITER 8730 NEW BEST:: SOT 2162734 SOS 1120216 HAS SOPS 1102631 HAS SOUS 264422 HAS SOUPS 262690 WITH SCORE 263810.216
AT ITER 8740 NEW BEST:: SOT 2162572 SOS 1120054 HAS SOPS 1102469 HAS SOUS 264098 HAS SOUPS 262366 WITH SCORE 263486.054
AT ITER 8756 NEW BEST:: SOT 2162562 SOS 1120040 HAS SOPS 1102455 HAS SOUS 264078 HAS SOUPS 262346 WITH SCORE 263466.04
AT ITER 8774 NEW BEST:: SOT 2162544 SOS 1119919 HAS SOPS 1102424 HAS SOUS 264058 HAS SOUPS 262335 WITH SCORE 263454.919
AT ITER 8778 NEW BEST:: SOT 2162401 SOS 1119821 HAS SOPS 1102326 HAS SOUS 263970 HAS SOUPS 262247 WITH SCORE 263366.821
AT ITER 8792 NEW BEST:: SOT 2162182 SOS 1119602 HAS SOPS 1102107 HAS SOUS 263532 HAS SOUPS 261809 WITH SCORE 262928.602
AT ITER 8803 NEW BEST:: SOT 2162173 SOS 1119593 HAS SOPS 1102032 HAS SOUS 263382 HAS SOUPS 261659 WITH SCORE 262778.593
AT ITER 8814 NEW BEST:: SOT 2162190 SOS 1119610 HAS SOPS 1102049 HAS SOUS 263375 HAS SOUPS 261652 WITH SCORE 262771.61
AT ITER 8818 NEW BEST:: SOT 2162190 SOS 1119610 HAS SOPS 1102049 HAS SOUS 263264 HAS SOUPS 261541 WITH SCORE 262660.61
AT ITER 8829 NEW BEST:: SOT 2162038 SOS 1119306 HAS SOPS 1101745 HAS SOUS 262960 HAS SOUPS 261237 WITH SCORE 262356.306
AT ITER 8845 NEW BEST:: SOT 2162015 SOS 1119275 HAS SOPS 1101714 HAS SOUS 262929 HAS SOUPS 261206 WITH SCORE 262325.275
AT ITER 8854 NEW BEST:: SOT 2161951 SOS 1119211 HAS SOPS 1101643 HAS SOUS 262851 HAS SOUPS 261128 WITH SCORE 262247.211
AT ITER 8855 NEW BEST:: SOT 2161928 SOS 1119165 HAS SOPS 1101597 HAS SOUS 262805 HAS SOUPS 261082 WITH SCORE 262201.165
AT ITER 8926 NEW BEST:: SOT 2161930 SOS 1119095 HAS SOPS 1101527 HAS SOUS 262735 HAS SOUPS 261012 WITH SCORE 262131.095
AT ITER 8968 NEW BEST:: SOT 2162050 SOS 1119164 HAS SOPS 1101596 HAS SOUS 262684 HAS SOUPS 260961 WITH SCORE 262080.164
AT ITER 8987 NEW BEST:: SOT 2161993 SOS 1119112 HAS SOPS 1101544 HAS SOUS 262659 HAS SOUPS 260936 WITH SCORE 262055.112
AT ITER 8994 NEW BEST:: SOT 2162119 SOS 1119799 HAS SOPS 1102231 HAS SOUS 262655 HAS SOUPS 260932 WITH SCORE 262051.799
AT ITER 9033 NEW BEST:: SOT 2162105 SOS 1119799 HAS SOPS 1102231 HAS SOUS 262627 HAS SOUPS 260904 WITH SCORE 262023.799
AT ITER 9049 NEW BEST:: SOT 2162109 SOS 1119803 HAS SOPS 1102235 HAS SOUS 262609 HAS SOUPS 260886 WITH SCORE 262005.803
AT ITER 9055 NEW BEST:: SOT 2161746 SOS 1119342 HAS SOPS 1101774 HAS SOUS 262230 HAS SOUPS 260507 WITH SCORE 261626.342
AT ITER 9057 NEW BEST:: SOT 2161740 SOS 1119330 HAS SOPS 1101762 HAS SOUS 262218 HAS SOUPS 260495 WITH SCORE 261614.33
AT ITER 9062 NEW BEST:: SOT 2161730 SOS 1119310 HAS SOPS 1101742 HAS SOUS 262178 HAS SOUPS 260455 WITH SCORE 261574.31
AT ITER 9073 NEW BEST:: SOT 2161710 SOS 1119290 HAS SOPS 1101722 HAS SOUS 262158 HAS SOUPS 260435 WITH SCORE 261554.29
AT ITER 9082 NEW BEST:: SOT 2152010 SOS 1109590 HAS SOPS 1092022 HAS SOUS 260860 HAS SOUPS 259137 WITH SCORE 260246.59
AT ITER 9094 NEW BEST:: SOT 2151942 SOS 1109368 HAS SOPS 1091800 HAS SOUS 260638 HAS SOUPS 258915 WITH SCORE 260024.368
AT ITER 9101 NEW BEST:: SOT 2151864 SOS 1109200 HAS SOPS 1091587 HAS SOUS 260527 HAS SOUPS 258804 WITH SCORE 259913.2
AT ITER 9125 NEW BEST:: SOT 2151790 SOS 1109093 HAS SOPS 1091480 HAS SOUS 260450 HAS SOUPS 258727 WITH SCORE 259836.093
AT ITER 9174 NEW BEST:: SOT 2151748 SOS 1109014 HAS SOPS 1091401 HAS SOUS 260440 HAS SOUPS 258717 WITH SCORE 259826.014
AT ITER 9180 NEW BEST:: SOT 2151702 SOS 1108840 HAS SOPS 1091227 HAS SOUS 260242 HAS SOUPS 258519 WITH SCORE 259627.84
AT ITER 9283 NEW BEST:: SOT 2151697 SOS 1108835 HAS SOPS 1091222 HAS SOUS 260232 HAS SOUPS 258509 WITH SCORE 259617.835
AT ITER 9304 NEW BEST:: SOT 2151477 SOS 1108399 HAS SOPS 1090786 HAS SOUS 259846 HAS SOUPS 258123 WITH SCORE 259231.399
AT ITER 9306 NEW BEST:: SOT 2151439 SOS 1108361 HAS SOPS 1090748 HAS SOUS 259846 HAS SOUPS 258123 WITH SCORE 259231.361
AT ITER 9316 NEW BEST:: SOT 2151367 SOS 1108296 HAS SOPS 1090676 HAS SOUS 259792 HAS SOUPS 258062 WITH SCORE 259170.296
AT ITER 9329 NEW BEST:: SOT 2151263 SOS 1108118 HAS SOPS 1090498 HAS SOUS 259688 HAS SOUPS 257958 WITH SCORE 259066.118
AT ITER 9334 NEW BEST:: SOT 2151546 SOS 1108401 HAS SOPS 1090781 HAS SOUS 259643 HAS SOUPS 257913 WITH SCORE 259021.401
AT ITER 9353 NEW BEST:: SOT 2151164 SOS 1108200 HAS SOPS 1090580 HAS SOUS 259110 HAS SOUPS 257380 WITH SCORE 258488.2
AT ITER 9373 NEW BEST:: SOT 2151182 SOS 1108236 HAS SOPS 1090616 HAS SOUS 258906 HAS SOUPS 257176 WITH SCORE 258284.236
AT ITER 9377 NEW BEST:: SOT 2151129 SOS 1108572 HAS SOPS 1090952 HAS SOUS 258853 HAS SOUPS 257123 WITH SCORE 258231.572
AT ITER 9379 NEW BEST:: SOT 2151118 SOS 1108572 HAS SOPS 1090952 HAS SOUS 258842 HAS SOUPS 257112 WITH SCORE 258220.572
AT ITER 9396 NEW BEST:: SOT 2151087 SOS 1108510 HAS SOPS 1090890 HAS SOUS 258780 HAS SOUPS 257050 WITH SCORE 258158.51
AT ITER 9400 NEW BEST:: SOT 2150982 SOS 1108479 HAS SOPS 1090859 HAS SOUS 258656 HAS SOUPS 256926 WITH SCORE 258034.479
AT ITER 9417 NEW BEST:: SOT 2150980 SOS 1108477 HAS SOPS 1090857 HAS SOUS 258652 HAS SOUPS 256922 WITH SCORE 258030.477
AT ITER 9428 NEW BEST:: SOT 2151042 SOS 1108529 HAS SOPS 1090909 HAS SOUS 258596 HAS SOUPS 256866 WITH SCORE 257974.529
AT ITER 9493 NEW BEST:: SOT 2150974 SOS 1108393 HAS SOPS 1090841 HAS SOUS 258596 HAS SOUPS 256866 WITH SCORE 257974.393
AT ITER 9527 NEW BEST:: SOT 2150587 SOS 1108188 HAS SOPS 1090636 HAS SOUS 258356 HAS SOUPS 256626 WITH SCORE 257734.188
AT ITER 9541 NEW BEST:: SOT 2150575 SOS 1108188 HAS SOPS 1090636 HAS SOUS 258080 HAS SOUPS 256350 WITH SCORE 257458.188
AT ITER 9548 NEW BEST:: SOT 2164037 SOS 1121874 HAS SOPS 1104322 HAS SOUS 257699 HAS SOUPS 255969 WITH SCORE 257090.874
AT ITER 9551 NEW BEST:: SOT 2164373 SOS 1122120 HAS SOPS 1104568 HAS SOUS 256325 HAS SOUPS 254595 WITH SCORE 255717.12
AT ITER 9562 NEW BEST:: SOT 2164344 SOS 1122091 HAS SOPS 1104539 HAS SOUS 256296 HAS SOUPS 254566 WITH SCORE 255688.091
AT ITER 9568 NEW BEST:: SOT 2164344 SOS 1122091 HAS SOPS 1104539 HAS SOUS 256257 HAS SOUPS 254527 WITH SCORE 255649.091
AT ITER 9572 NEW BEST:: SOT 2164344 SOS 1122105 HAS SOPS 1104553 HAS SOUS 256227 HAS SOUPS 254497 WITH SCORE 255619.105
AT ITER 9608 NEW BEST:: SOT 2164297 SOS 1122076 HAS SOPS 1104524 HAS SOUS 256227 HAS SOUPS 254497 WITH SCORE 255619.076
AT ITER 9617 NEW BEST:: SOT 2164297 SOS 1122022 HAS SOPS 1104470 HAS SOUS 256173 HAS SOUPS 254443 WITH SCORE 255565.022
AT ITER 9619 NEW BEST:: SOT 2164312 SOS 1122037 HAS SOPS 1104420 HAS SOUS 256106 HAS SOUPS 254336 WITH SCORE 255458.037
AT ITER 9623 NEW BEST:: SOT 2164218 SOS 1122005 HAS SOPS 1104388 HAS SOUS 256048 HAS SOUPS 254278 WITH SCORE 255400.005
AT ITER 9634 NEW BEST:: SOT 2164181 SOS 1121968 HAS SOPS 1104351 HAS SOUS 256011 HAS SOUPS 254241 WITH SCORE 255362.968
AT ITER 9641 NEW BEST:: SOT 2164004 SOS 1121696 HAS SOPS 1104079 HAS SOUS 255895 HAS SOUPS 254125 WITH SCORE 255246.696
AT ITER 9680 NEW BEST:: SOT 2164004 SOS 1121706 HAS SOPS 1104079 HAS SOUS 255885 HAS SOUPS 254115 WITH SCORE 255236.706
AT ITER 9729 NEW BEST:: SOT 2163930 SOS 1121632 HAS SOPS 1104005 HAS SOUS 255796 HAS SOUPS 254026 WITH SCORE 255147.632
AT ITER 9732 NEW BEST:: SOT 2163956 SOS 1121684 HAS SOPS 1104057 HAS SOUS 255754 HAS SOUPS 253984 WITH SCORE 255105.684
AT ITER 9750 NEW BEST:: SOT 2163975 SOS 1121703 HAS SOPS 1104076 HAS SOUS 255748 HAS SOUPS 253978 WITH SCORE 255099.703
AT ITER 9757 NEW BEST:: SOT 2163975 SOS 1121703 HAS SOPS 1104064 HAS SOUS 255724 HAS SOUPS 253954 WITH SCORE 255075.703
AT ITER 9769 NEW BEST:: SOT 2163891 SOS 1121583 HAS SOPS 1103944 HAS SOUS 255604 HAS SOUPS 253834 WITH SCORE 254955.583
AT ITER 9792 NEW BEST:: SOT 2163358 SOS 1121193 HAS SOPS 1103554 HAS SOUS 254945 HAS SOUPS 253175 WITH SCORE 254296.193
AT ITER 9794 NEW BEST:: SOT 2163347 SOS 1121169 HAS SOPS 1103530 HAS SOUS 254923 HAS SOUPS 253153 WITH SCORE 254274.169
AT ITER 9805 NEW BEST:: SOT 2162777 SOS 1120377 HAS SOPS 1102738 HAS SOUS 254010 HAS SOUPS 252240 WITH SCORE 253360.377
AT ITER 9844 NEW BEST:: SOT 2162626 SOS 1120226 HAS SOPS 1102587 HAS SOUS 253989 HAS SOUPS 252219 WITH SCORE 253339.226
AT ITER 9845 NEW BEST:: SOT 2161800 SOS 1119480 HAS SOPS 1101841 HAS SOUS 253393 HAS SOUPS 251623 WITH SCORE 252742.48
AT ITER 9879 NEW BEST:: SOT 2161785 SOS 1119451 HAS SOPS 1101825 HAS SOUS 253391 HAS SOUPS 251621 WITH SCORE 252740.451
AT ITER 9895 NEW BEST:: SOT 2161784 SOS 1119449 HAS SOPS 1101823 HAS SOUS 253389 HAS SOUPS 251619 WITH SCORE 252738.449
AT ITER 9903 NEW BEST:: SOT 2161746 SOS 1119506 HAS SOPS 1101880 HAS SOUS 253356 HAS SOUPS 251586 WITH SCORE 252705.506
AT ITER 9905 NEW BEST:: SOT 2161746 SOS 1119636 HAS SOPS 1102010 HAS SOUS 253226 HAS SOUPS 251456 WITH SCORE 252575.636
AT ITER 9967 NEW BEST:: SOT 2161870 SOS 1119771 HAS SOPS 1102024 HAS SOUS 253173 HAS SOUPS 251403 WITH SCORE 252522.771
AT ITER 9969 NEW BEST:: SOT 2161862 SOS 1119755 HAS SOPS 1102008 HAS SOUS 253157 HAS SOUPS 251387 WITH SCORE 252506.755
AT ITER 9970 NEW BEST:: SOT 2161763 SOS 1119656 HAS SOPS 1101909 HAS SOUS 253058 HAS SOUPS 251288 WITH SCORE 252407.656
AT ITER 9974 NEW BEST:: SOT 2161862 SOS 1120010 HAS SOPS 1102263 HAS SOUS 253024 HAS SOUPS 251254 WITH SCORE 252374.01
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12693652 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16140364 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="PolyORBLF-PT-S04J06T10"
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 PolyORBLF-PT-S04J06T10, 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 r291-tall-167873943100584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S04J06T10.tgz
mv PolyORBLF-PT-S04J06T10 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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;