fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r523-tall-167987247500072
Last Updated
May 14, 2023

About the Execution of Smart+red for Anderson-PT-12

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
9046.403 3600000.00 3640867.00 12424.80 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r523-tall-167987247500072.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 smartxred
Input is Anderson-PT-12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247500072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 8.2K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 14K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Mar 23 15:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Mar 23 15:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 2.1M Mar 31 16:48 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 1680829093943

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Anderson-PT-12
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-07 00:58:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-07 00:58:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-07 00:58:16] [INFO ] Load time of PNML (sax parser for PT used): 273 ms
[2023-04-07 00:58:16] [INFO ] Transformed 889 places.
[2023-04-07 00:58:16] [INFO ] Transformed 4152 transitions.
[2023-04-07 00:58:16] [INFO ] Found NUPN structural information;
[2023-04-07 00:58:16] [INFO ] Parsed PT model containing 889 places and 4152 transitions and 16080 arcs in 371 ms.
[2023-04-07 00:58:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 889 places, 4152 transitions and 16080 arcs took 30 ms.
Total runtime 436 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 12
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 889 places, 4152 transitions, 16080 arcs.
AT ITER 0 NEW BEST:: SOT 2185505 SOS 1922007 HAS SOPS 1922006 HAS SOUS 322099 HAS SOUPS 322098 WITH SCORE 324020.007
AT ITER 5 NEW BEST:: SOT 2185256 SOS 1921758 HAS SOPS 1921757 HAS SOUS 321836 HAS SOUPS 321835 WITH SCORE 323756.758
AT ITER 10 NEW BEST:: SOT 2184959 SOS 1921736 HAS SOPS 1921735 HAS SOUS 321508 HAS SOUPS 321507 WITH SCORE 323428.736
AT ITER 15 NEW BEST:: SOT 2184654 SOS 1917729 HAS SOPS 1917728 HAS SOUS 320933 HAS SOUPS 320932 WITH SCORE 322849.729
AT ITER 18 NEW BEST:: SOT 2184376 SOS 1917451 HAS SOPS 1917450 HAS SOUS 320612 HAS SOUPS 320611 WITH SCORE 322528.451
AT ITER 35 NEW BEST:: SOT 2184376 SOS 1913641 HAS SOPS 1913640 HAS SOUS 320526 HAS SOUPS 320525 WITH SCORE 322438.641
AT ITER 39 NEW BEST:: SOT 2184183 SOS 1913448 HAS SOPS 1913447 HAS SOUS 320323 HAS SOUPS 320322 WITH SCORE 322235.448
AT ITER 44 NEW BEST:: SOT 2183710 SOS 1913058 HAS SOPS 1913057 HAS SOUS 319663 HAS SOUPS 319662 WITH SCORE 321575.058
AT ITER 45 NEW BEST:: SOT 2183584 SOS 1912932 HAS SOPS 1912931 HAS SOUS 319418 HAS SOUPS 319417 WITH SCORE 321329.932
AT ITER 48 NEW BEST:: SOT 2183584 SOS 1912859 HAS SOPS 1912858 HAS SOUS 319418 HAS SOUPS 319417 WITH SCORE 321329.859
AT ITER 53 NEW BEST:: SOT 2183414 SOS 1912546 HAS SOPS 1912545 HAS SOUS 319120 HAS SOUPS 319119 WITH SCORE 321031.546
AT ITER 55 NEW BEST:: SOT 2183059 SOS 1912270 HAS SOPS 1912269 HAS SOUS 318664 HAS SOUPS 318663 WITH SCORE 320575.27
AT ITER 60 NEW BEST:: SOT 2183059 SOS 1912270 HAS SOPS 1912269 HAS SOUS 318653 HAS SOUPS 318652 WITH SCORE 320564.27
AT ITER 64 NEW BEST:: SOT 2182841 SOS 1912052 HAS SOPS 1912051 HAS SOUS 318390 HAS SOUPS 318389 WITH SCORE 320301.052
AT ITER 76 NEW BEST:: SOT 2182761 SOS 1911972 HAS SOPS 1911971 HAS SOUS 318274 HAS SOUPS 318273 WITH SCORE 320184.972
AT ITER 81 NEW BEST:: SOT 2182415 SOS 1911626 HAS SOPS 1911625 HAS SOUS 317796 HAS SOUPS 317795 WITH SCORE 319706.626
AT ITER 90 NEW BEST:: SOT 2182372 SOS 1911583 HAS SOPS 1911582 HAS SOUS 317670 HAS SOUPS 317669 WITH SCORE 319580.583
AT ITER 129 NEW BEST:: SOT 2182372 SOS 1911525 HAS SOPS 1911524 HAS SOUS 317658 HAS SOUPS 317657 WITH SCORE 319568.525
AT ITER 136 NEW BEST:: SOT 2181900 SOS 1911053 HAS SOPS 1911052 HAS SOUS 316950 HAS SOUPS 316949 WITH SCORE 318860.053
AT ITER 140 NEW BEST:: SOT 2181718 SOS 1910871 HAS SOPS 1910870 HAS SOUS 316677 HAS SOUPS 316676 WITH SCORE 318586.871
AT ITER 144 NEW BEST:: SOT 2181509 SOS 1910662 HAS SOPS 1910661 HAS SOUS 316414 HAS SOUPS 316413 WITH SCORE 318323.662
AT ITER 151 NEW BEST:: SOT 2179393 SOS 1906559 HAS SOPS 1906558 HAS SOUS 316322 HAS SOUPS 316321 WITH SCORE 318227.559
AT ITER 152 NEW BEST:: SOT 2179324 SOS 1906490 HAS SOPS 1906489 HAS SOUS 316241 HAS SOUPS 316240 WITH SCORE 318146.49
AT ITER 156 NEW BEST:: SOT 2178986 SOS 1906448 HAS SOPS 1906447 HAS SOUS 315842 HAS SOUPS 315841 WITH SCORE 317747.448
AT ITER 157 NEW BEST:: SOT 2178617 SOS 1906198 HAS SOPS 1906197 HAS SOUS 315294 HAS SOUPS 315293 WITH SCORE 317199.198
AT ITER 167 NEW BEST:: SOT 2178436 SOS 1905874 HAS SOPS 1905873 HAS SOUS 315008 HAS SOUPS 315007 WITH SCORE 316912.874
AT ITER 168 NEW BEST:: SOT 2178436 SOS 1905874 HAS SOPS 1905873 HAS SOUS 314986 HAS SOUPS 314985 WITH SCORE 316890.874
AT ITER 182 NEW BEST:: SOT 2178164 SOS 1905612 HAS SOPS 1905611 HAS SOUS 314702 HAS SOUPS 314701 WITH SCORE 316606.612
AT ITER 183 NEW BEST:: SOT 2177856 SOS 1905530 HAS SOPS 1905529 HAS SOUS 314413 HAS SOUPS 314412 WITH SCORE 316317.53
AT ITER 185 NEW BEST:: SOT 2177725 SOS 1905522 HAS SOPS 1905521 HAS SOUS 314384 HAS SOUPS 314383 WITH SCORE 316288.522
AT ITER 186 NEW BEST:: SOT 2177547 SOS 1905832 HAS SOPS 1905831 HAS SOUS 314231 HAS SOUPS 314230 WITH SCORE 316135.832
AT ITER 189 NEW BEST:: SOT 2177383 SOS 1905668 HAS SOPS 1905667 HAS SOUS 314076 HAS SOUPS 314075 WITH SCORE 315980.668
AT ITER 191 NEW BEST:: SOT 2177309 SOS 1905594 HAS SOPS 1905593 HAS SOUS 313955 HAS SOUPS 313954 WITH SCORE 315859.594
AT ITER 192 NEW BEST:: SOT 2177265 SOS 1905594 HAS SOPS 1905593 HAS SOUS 313919 HAS SOUPS 313918 WITH SCORE 315823.594
AT ITER 196 NEW BEST:: SOT 2177209 SOS 1905538 HAS SOPS 1905537 HAS SOUS 313863 HAS SOUPS 313862 WITH SCORE 315767.538
AT ITER 206 NEW BEST:: SOT 2177045 SOS 1905374 HAS SOPS 1905373 HAS SOUS 313617 HAS SOUPS 313616 WITH SCORE 315521.374
AT ITER 207 NEW BEST:: SOT 2176715 SOS 1905124 HAS SOPS 1905123 HAS SOUS 313230 HAS SOUPS 313229 WITH SCORE 315134.124
AT ITER 213 NEW BEST:: SOT 2176706 SOS 1905115 HAS SOPS 1905114 HAS SOUS 313147 HAS SOUPS 313146 WITH SCORE 315051.115
AT ITER 218 NEW BEST:: SOT 2176600 SOS 1905009 HAS SOPS 1905008 HAS SOUS 312982 HAS SOUPS 312981 WITH SCORE 314886.009
AT ITER 220 NEW BEST:: SOT 2176627 SOS 1901459 HAS SOPS 1901458 HAS SOUS 312925 HAS SOUPS 312924 WITH SCORE 314825.459
AT ITER 235 NEW BEST:: SOT 2176560 SOS 1901392 HAS SOPS 1901391 HAS SOUS 312769 HAS SOUPS 312768 WITH SCORE 314669.392
AT ITER 241 NEW BEST:: SOT 2176560 SOS 1901392 HAS SOPS 1901391 HAS SOUS 312727 HAS SOUPS 312726 WITH SCORE 314627.392
AT ITER 242 NEW BEST:: SOT 2176384 SOS 1901478 HAS SOPS 1901477 HAS SOUS 312669 HAS SOUPS 312668 WITH SCORE 314569.478
AT ITER 247 NEW BEST:: SOT 2176379 SOS 1901473 HAS SOPS 1901472 HAS SOUS 312664 HAS SOUPS 312663 WITH SCORE 314564.473
AT ITER 251 NEW BEST:: SOT 2176267 SOS 1901361 HAS SOPS 1901360 HAS SOUS 312496 HAS SOUPS 312495 WITH SCORE 314396.361
AT ITER 256 NEW BEST:: SOT 2175914 SOS 1901069 HAS SOPS 1901068 HAS SOUS 312056 HAS SOUPS 312055 WITH SCORE 313956.069
AT ITER 264 NEW BEST:: SOT 2175711 SOS 1900866 HAS SOPS 1900865 HAS SOUS 311896 HAS SOUPS 311895 WITH SCORE 313795.866
AT ITER 270 NEW BEST:: SOT 2175598 SOS 1900769 HAS SOPS 1900768 HAS SOUS 311799 HAS SOUPS 311798 WITH SCORE 313698.769
AT ITER 276 NEW BEST:: SOT 2175157 SOS 1900371 HAS SOPS 1900370 HAS SOUS 311143 HAS SOUPS 311142 WITH SCORE 313042.371
AT ITER 288 NEW BEST:: SOT 2174985 SOS 1900219 HAS SOPS 1900218 HAS SOUS 310991 HAS SOUPS 310990 WITH SCORE 312890.219
AT ITER 291 NEW BEST:: SOT 2174924 SOS 1900158 HAS SOPS 1900157 HAS SOUS 310930 HAS SOUPS 310929 WITH SCORE 312829.158
AT ITER 292 NEW BEST:: SOT 2174823 SOS 1900057 HAS SOPS 1900056 HAS SOUS 310728 HAS SOUPS 310727 WITH SCORE 312627.057
AT ITER 294 NEW BEST:: SOT 2174822 SOS 1900079 HAS SOPS 1900078 HAS SOUS 310727 HAS SOUPS 310726 WITH SCORE 312626.079
AT ITER 304 NEW BEST:: SOT 2174454 SOS 1899456 HAS SOPS 1899455 HAS SOUS 310711 HAS SOUPS 310710 WITH SCORE 312609.456
AT ITER 308 NEW BEST:: SOT 2174288 SOS 1899290 HAS SOPS 1899289 HAS SOUS 310449 HAS SOUPS 310448 WITH SCORE 312347.29
AT ITER 330 NEW BEST:: SOT 2173945 SOS 1899062 HAS SOPS 1899061 HAS SOUS 309953 HAS SOUPS 309952 WITH SCORE 311851.062
AT ITER 332 NEW BEST:: SOT 2173683 SOS 1899012 HAS SOPS 1899011 HAS SOUS 309710 HAS SOUPS 309709 WITH SCORE 311608.012
AT ITER 339 NEW BEST:: SOT 2173666 SOS 1898978 HAS SOPS 1898977 HAS SOUS 309693 HAS SOUPS 309692 WITH SCORE 311590.978
AT ITER 344 NEW BEST:: SOT 2173666 SOS 1898978 HAS SOPS 1898977 HAS SOUS 309665 HAS SOUPS 309664 WITH SCORE 311562.978
AT ITER 357 NEW BEST:: SOT 2173613 SOS 1898925 HAS SOPS 1898924 HAS SOUS 309612 HAS SOUPS 309611 WITH SCORE 311509.925
AT ITER 359 NEW BEST:: SOT 2173466 SOS 1898778 HAS SOPS 1898777 HAS SOUS 309326 HAS SOUPS 309325 WITH SCORE 311223.778
AT ITER 361 NEW BEST:: SOT 2173144 SOS 1898456 HAS SOPS 1898455 HAS SOUS 308894 HAS SOUPS 308893 WITH SCORE 310791.456
AT ITER 368 NEW BEST:: SOT 2173117 SOS 1898402 HAS SOPS 1898401 HAS SOUS 308856 HAS SOUPS 308855 WITH SCORE 310753.402
AT ITER 378 NEW BEST:: SOT 2172839 SOS 1898124 HAS SOPS 1898123 HAS SOUS 308439 HAS SOUPS 308438 WITH SCORE 310336.124
AT ITER 382 NEW BEST:: SOT 2172528 SOS 1897998 HAS SOPS 1897997 HAS SOUS 308045 HAS SOUPS 308044 WITH SCORE 309941.998
AT ITER 396 NEW BEST:: SOT 2172472 SOS 1897942 HAS SOPS 1897941 HAS SOUS 307961 HAS SOUPS 307960 WITH SCORE 309857.942
AT ITER 398 NEW BEST:: SOT 2172459 SOS 1897929 HAS SOPS 1897928 HAS SOUS 307948 HAS SOUPS 307947 WITH SCORE 309844.929
AT ITER 405 NEW BEST:: SOT 2172396 SOS 1897803 HAS SOPS 1897802 HAS SOUS 307785 HAS SOUPS 307784 WITH SCORE 309681.803
AT ITER 412 NEW BEST:: SOT 2172352 SOS 1897759 HAS SOPS 1897758 HAS SOUS 307697 HAS SOUPS 307696 WITH SCORE 309593.759
AT ITER 428 NEW BEST:: SOT 2172294 SOS 1897701 HAS SOPS 1897700 HAS SOUS 307610 HAS SOUPS 307609 WITH SCORE 309506.701
AT ITER 435 NEW BEST:: SOT 2172106 SOS 1897513 HAS SOPS 1897512 HAS SOUS 307347 HAS SOUPS 307346 WITH SCORE 309243.513
AT ITER 436 NEW BEST:: SOT 2169484 SOS 1892869 HAS SOPS 1892868 HAS SOUS 307233 HAS SOUPS 307232 WITH SCORE 309124.869
AT ITER 441 NEW BEST:: SOT 2169475 SOS 1892860 HAS SOPS 1892859 HAS SOUS 307224 HAS SOUPS 307223 WITH SCORE 309115.86
AT ITER 472 NEW BEST:: SOT 2169251 SOS 1892636 HAS SOPS 1892635 HAS SOUS 306888 HAS SOUPS 306887 WITH SCORE 308779.636
AT ITER 483 NEW BEST:: SOT 2169051 SOS 1892812 HAS SOPS 1892811 HAS SOUS 306667 HAS SOUPS 306666 WITH SCORE 308558.812
AT ITER 491 NEW BEST:: SOT 2168969 SOS 1892648 HAS SOPS 1892647 HAS SOUS 306542 HAS SOUPS 306541 WITH SCORE 308433.648
AT ITER 492 NEW BEST:: SOT 2168732 SOS 1892844 HAS SOPS 1892843 HAS SOUS 306328 HAS SOUPS 306327 WITH SCORE 308219.844
AT ITER 495 NEW BEST:: SOT 2168732 SOS 1892922 HAS SOPS 1892921 HAS SOUS 306311 HAS SOUPS 306310 WITH SCORE 308202.922
AT ITER 501 NEW BEST:: SOT 2168586 SOS 1892776 HAS SOPS 1892775 HAS SOUS 306120 HAS SOUPS 306119 WITH SCORE 308011.776
AT ITER 507 NEW BEST:: SOT 2168311 SOS 1892748 HAS SOPS 1892747 HAS SOUS 305736 HAS SOUPS 305735 WITH SCORE 307627.748
AT ITER 514 NEW BEST:: SOT 2168170 SOS 1892748 HAS SOPS 1892747 HAS SOUS 305671 HAS SOUPS 305670 WITH SCORE 307562.748
AT ITER 521 NEW BEST:: SOT 2168117 SOS 1892642 HAS SOPS 1892641 HAS SOUS 305565 HAS SOUPS 305564 WITH SCORE 307456.642
AT ITER 523 NEW BEST:: SOT 2168097 SOS 1892642 HAS SOPS 1892641 HAS SOUS 305545 HAS SOUPS 305544 WITH SCORE 307436.642
AT ITER 529 NEW BEST:: SOT 2167978 SOS 1892404 HAS SOPS 1892403 HAS SOUS 305361 HAS SOUPS 305360 WITH SCORE 307252.404
AT ITER 539 NEW BEST:: SOT 2167859 SOS 1892338 HAS SOPS 1892337 HAS SOUS 305188 HAS SOUPS 305187 WITH SCORE 307079.338
AT ITER 542 NEW BEST:: SOT 2167843 SOS 1892322 HAS SOPS 1892321 HAS SOUS 305164 HAS SOUPS 305163 WITH SCORE 307055.322
AT ITER 543 NEW BEST:: SOT 2167843 SOS 1892297 HAS SOPS 1892296 HAS SOUS 305139 HAS SOUPS 305138 WITH SCORE 307030.297
AT ITER 550 NEW BEST:: SOT 2167823 SOS 1892257 HAS SOPS 1892256 HAS SOUS 305099 HAS SOUPS 305098 WITH SCORE 306990.257
AT ITER 555 NEW BEST:: SOT 2167765 SOS 1892199 HAS SOPS 1892198 HAS SOUS 305041 HAS SOUPS 305040 WITH SCORE 306932.199
AT ITER 556 NEW BEST:: SOT 2167612 SOS 1891893 HAS SOPS 1891892 HAS SOUS 304888 HAS SOUPS 304887 WITH SCORE 306778.893
AT ITER 558 NEW BEST:: SOT 2167612 SOS 1891893 HAS SOPS 1891892 HAS SOUS 304847 HAS SOUPS 304846 WITH SCORE 306737.893
AT ITER 560 NEW BEST:: SOT 2167470 SOS 1891633 HAS SOPS 1891632 HAS SOUS 304651 HAS SOUPS 304650 WITH SCORE 306541.633
AT ITER 567 NEW BEST:: SOT 2167009 SOS 1891179 HAS SOPS 1891178 HAS SOUS 303999 HAS SOUPS 303998 WITH SCORE 305889.179
AT ITER 573 NEW BEST:: SOT 2166995 SOS 1891151 HAS SOPS 1891150 HAS SOUS 303915 HAS SOUPS 303914 WITH SCORE 305805.151
AT ITER 578 NEW BEST:: SOT 2166894 SOS 1891034 HAS SOPS 1891033 HAS SOUS 303734 HAS SOUPS 303733 WITH SCORE 305624.034
AT ITER 588 NEW BEST:: SOT 2166894 SOS 1891033 HAS SOPS 1891032 HAS SOUS 303733 HAS SOUPS 303732 WITH SCORE 305623.033
AT ITER 607 NEW BEST:: SOT 2166471 SOS 1890683 HAS SOPS 1890682 HAS SOUS 303113 HAS SOUPS 303112 WITH SCORE 305002.683
AT ITER 620 NEW BEST:: SOT 2166206 SOS 1890575 HAS SOPS 1890574 HAS SOUS 302763 HAS SOUPS 302762 WITH SCORE 304652.575
AT ITER 627 NEW BEST:: SOT 2165792 SOS 1889779 HAS SOPS 1889778 HAS SOUS 302745 HAS SOUPS 302744 WITH SCORE 304633.779
AT ITER 629 NEW BEST:: SOT 2165579 SOS 1890023 HAS SOPS 1890022 HAS SOUS 302559 HAS SOUPS 302558 WITH SCORE 304448.023
AT ITER 631 NEW BEST:: SOT 2165572 SOS 1890016 HAS SOPS 1890015 HAS SOUS 302545 HAS SOUPS 302544 WITH SCORE 304434.016
AT ITER 632 NEW BEST:: SOT 2165422 SOS 1889838 HAS SOPS 1889837 HAS SOUS 302270 HAS SOUPS 302269 WITH SCORE 304158.838
AT ITER 633 NEW BEST:: SOT 2165411 SOS 1889816 HAS SOPS 1889815 HAS SOUS 302259 HAS SOUPS 302258 WITH SCORE 304147.816
AT ITER 642 NEW BEST:: SOT 2165200 SOS 1889766 HAS SOPS 1889765 HAS SOUS 301992 HAS SOUPS 301991 WITH SCORE 303880.766
AT ITER 645 NEW BEST:: SOT 2131881 SOS 1858672 HAS SOPS 1858671 HAS SOUS 268875 HAS SOUPS 268874 WITH SCORE 270732.672
AT ITER 648 NEW BEST:: SOT 2131770 SOS 1858561 HAS SOPS 1858560 HAS SOUS 268682 HAS SOUPS 268681 WITH SCORE 270539.561
AT ITER 659 NEW BEST:: SOT 2131765 SOS 1858561 HAS SOPS 1858560 HAS SOUS 268677 HAS SOUPS 268676 WITH SCORE 270534.561
AT ITER 664 NEW BEST:: SOT 2131664 SOS 1858561 HAS SOPS 1858560 HAS SOUS 268576 HAS SOUPS 268575 WITH SCORE 270433.561
AT ITER 665 NEW BEST:: SOT 2131538 SOS 1858435 HAS SOPS 1858434 HAS SOUS 268387 HAS SOUPS 268386 WITH SCORE 270244.435
AT ITER 666 NEW BEST:: SOT 2131483 SOS 1858325 HAS SOPS 1858324 HAS SOUS 268332 HAS SOUPS 268331 WITH SCORE 270189.325
AT ITER 668 NEW BEST:: SOT 2131132 SOS 1858185 HAS SOPS 1858184 HAS SOUS 267832 HAS SOUPS 267831 WITH SCORE 269689.185
AT ITER 675 NEW BEST:: SOT 2131043 SOS 1858127 HAS SOPS 1858126 HAS SOUS 267714 HAS SOUPS 267713 WITH SCORE 269571.127
AT ITER 683 NEW BEST:: SOT 2130809 SOS 1857893 HAS SOPS 1857892 HAS SOUS 267363 HAS SOUPS 267362 WITH SCORE 269219.893
AT ITER 705 NEW BEST:: SOT 2128854 SOS 1854901 HAS SOPS 1854900 HAS SOUS 267349 HAS SOUPS 267348 WITH SCORE 269202.901
AT ITER 722 NEW BEST:: SOT 2128725 SOS 1854772 HAS SOPS 1854771 HAS SOUS 267091 HAS SOUPS 267090 WITH SCORE 268944.772
AT ITER 723 NEW BEST:: SOT 2128692 SOS 1854739 HAS SOPS 1854738 HAS SOUS 267003 HAS SOUPS 267002 WITH SCORE 268856.739
AT ITER 727 NEW BEST:: SOT 2128646 SOS 1854693 HAS SOPS 1854692 HAS SOUS 266978 HAS SOUPS 266977 WITH SCORE 268831.693
AT ITER 732 NEW BEST:: SOT 2128240 SOS 1854289 HAS SOPS 1854288 HAS SOUS 266421 HAS SOUPS 266420 WITH SCORE 268274.289
AT ITER 735 NEW BEST:: SOT 2127935 SOS 1854211 HAS SOPS 1854210 HAS SOUS 265989 HAS SOUPS 265988 WITH SCORE 267842.211
AT ITER 755 NEW BEST:: SOT 2127920 SOS 1854196 HAS SOPS 1854195 HAS SOUS 265959 HAS SOUPS 265958 WITH SCORE 267812.196
AT ITER 756 NEW BEST:: SOT 2127744 SOS 1854020 HAS SOPS 1854019 HAS SOUS 265695 HAS SOUPS 265694 WITH SCORE 267548.02
AT ITER 766 NEW BEST:: SOT 2127728 SOS 1853988 HAS SOPS 1853987 HAS SOUS 265679 HAS SOUPS 265678 WITH SCORE 267531.988
AT ITER 770 NEW BEST:: SOT 2127406 SOS 1853796 HAS SOPS 1853795 HAS SOUS 265286 HAS SOUPS 265285 WITH SCORE 267138.796
AT ITER 774 NEW BEST:: SOT 2127229 SOS 1853796 HAS SOPS 1853795 HAS SOUS 265098 HAS SOUPS 265097 WITH SCORE 266950.796
AT ITER 775 NEW BEST:: SOT 2127146 SOS 1853646 HAS SOPS 1853645 HAS SOUS 265020 HAS SOUPS 265019 WITH SCORE 266872.646
AT ITER 776 NEW BEST:: SOT 2127016 SOS 1853516 HAS SOPS 1853515 HAS SOUS 264825 HAS SOUPS 264824 WITH SCORE 266677.516
AT ITER 777 NEW BEST:: SOT 2127016 SOS 1853508 HAS SOPS 1853507 HAS SOUS 264825 HAS SOUPS 264824 WITH SCORE 266677.508
AT ITER 780 NEW BEST:: SOT 2126932 SOS 1853424 HAS SOPS 1853423 HAS SOUS 264699 HAS SOUPS 264698 WITH SCORE 266551.424
AT ITER 786 NEW BEST:: SOT 2126886 SOS 1853378 HAS SOPS 1853377 HAS SOUS 264641 HAS SOUPS 264640 WITH SCORE 266493.378
AT ITER 788 NEW BEST:: SOT 2126758 SOS 1853264 HAS SOPS 1853263 HAS SOUS 264456 HAS SOUPS 264455 WITH SCORE 266308.264
AT ITER 796 NEW BEST:: SOT 2126758 SOS 1853228 HAS SOPS 1853227 HAS SOUS 264438 HAS SOUPS 264437 WITH SCORE 266290.228
AT ITER 797 NEW BEST:: SOT 2126744 SOS 1853200 HAS SOPS 1853199 HAS SOUS 264410 HAS SOUPS 264409 WITH SCORE 266262.2
AT ITER 802 NEW BEST:: SOT 2126727 SOS 1853166 HAS SOPS 1853165 HAS SOUS 264303 HAS SOUPS 264302 WITH SCORE 266155.166
AT ITER 816 NEW BEST:: SOT 2126695 SOS 1853102 HAS SOPS 1853101 HAS SOUS 264260 HAS SOUPS 264259 WITH SCORE 266112.102
AT ITER 820 NEW BEST:: SOT 2126675 SOS 1853062 HAS SOPS 1853061 HAS SOUS 264214 HAS SOUPS 264213 WITH SCORE 266066.062
AT ITER 822 NEW BEST:: SOT 2126660 SOS 1853032 HAS SOPS 1853031 HAS SOUS 264199 HAS SOUPS 264198 WITH SCORE 266051.032
AT ITER 823 NEW BEST:: SOT 2126590 SOS 1852892 HAS SOPS 1852891 HAS SOUS 264129 HAS SOUPS 264128 WITH SCORE 265980.892
AT ITER 832 NEW BEST:: SOT 2126544 SOS 1852800 HAS SOPS 1852799 HAS SOUS 264072 HAS SOUPS 264071 WITH SCORE 265923.8
AT ITER 836 NEW BEST:: SOT 2126457 SOS 1852713 HAS SOPS 1852712 HAS SOUS 263923 HAS SOUPS 263922 WITH SCORE 265774.713
AT ITER 850 NEW BEST:: SOT 2126429 SOS 1852395 HAS SOPS 1852394 HAS SOUS 263867 HAS SOUPS 263866 WITH SCORE 265718.395
AT ITER 851 NEW BEST:: SOT 2126372 SOS 1852281 HAS SOPS 1852280 HAS SOUS 263810 HAS SOUPS 263809 WITH SCORE 265661.281
AT ITER 860 NEW BEST:: SOT 2123747 SOS 1849656 HAS SOPS 1849655 HAS SOUS 263780 HAS SOUPS 263779 WITH SCORE 265628.656
AT ITER 865 NEW BEST:: SOT 2123726 SOS 1849614 HAS SOPS 1849613 HAS SOUS 263738 HAS SOUPS 263737 WITH SCORE 265586.614
AT ITER 885 NEW BEST:: SOT 2123720 SOS 1849602 HAS SOPS 1849601 HAS SOUS 263726 HAS SOUPS 263725 WITH SCORE 265574.602
AT ITER 896 NEW BEST:: SOT 2123694 SOS 1849576 HAS SOPS 1849575 HAS SOUS 263700 HAS SOUPS 263699 WITH SCORE 265548.576
AT ITER 897 NEW BEST:: SOT 2123676 SOS 1849558 HAS SOPS 1849557 HAS SOUS 263682 HAS SOUPS 263681 WITH SCORE 265530.558
AT ITER 899 NEW BEST:: SOT 2123590 SOS 1849558 HAS SOPS 1849557 HAS SOUS 263561 HAS SOUPS 263560 WITH SCORE 265409.558
AT ITER 931 NEW BEST:: SOT 2123206 SOS 1848786 HAS SOPS 1848785 HAS SOUS 263154 HAS SOUPS 263153 WITH SCORE 265001.786
AT ITER 934 NEW BEST:: SOT 2123099 SOS 1848679 HAS SOPS 1848678 HAS SOUS 262975 HAS SOUPS 262974 WITH SCORE 264822.679
AT ITER 936 NEW BEST:: SOT 2122652 SOS 1848345 HAS SOPS 1848344 HAS SOUS 262319 HAS SOUPS 262318 WITH SCORE 264166.345
AT ITER 947 NEW BEST:: SOT 2122592 SOS 1848225 HAS SOPS 1848224 HAS SOUS 262248 HAS SOUPS 262247 WITH SCORE 264095.225
AT ITER 951 NEW BEST:: SOT 2122592 SOS 1848209 HAS SOPS 1848208 HAS SOUS 262248 HAS SOUPS 262247 WITH SCORE 264095.209
AT ITER 952 NEW BEST:: SOT 2122478 SOS 1848095 HAS SOPS 1848094 HAS SOUS 262077 HAS SOUPS 262076 WITH SCORE 263924.095
AT ITER 976 NEW BEST:: SOT 2122413 SOS 1848140 HAS SOPS 1848139 HAS SOUS 262022 HAS SOUPS 262021 WITH SCORE 263869.14
AT ITER 981 NEW BEST:: SOT 2122413 SOS 1848125 HAS SOPS 1848124 HAS SOUS 262007 HAS SOUPS 262006 WITH SCORE 263854.125
AT ITER 982 NEW BEST:: SOT 2122249 SOS 1847961 HAS SOPS 1847960 HAS SOUS 261770 HAS SOUPS 261769 WITH SCORE 263616.961
AT ITER 993 NEW BEST:: SOT 2122326 SOS 1847829 HAS SOPS 1847828 HAS SOUS 261715 HAS SOUPS 261714 WITH SCORE 263561.829
AT ITER 995 NEW BEST:: SOT 2122281 SOS 1847829 HAS SOPS 1847828 HAS SOUS 261670 HAS SOUPS 261669 WITH SCORE 263516.829
AT ITER 1005 NEW BEST:: SOT 2122231 SOS 1847779 HAS SOPS 1847778 HAS SOUS 261532 HAS SOUPS 261531 WITH SCORE 263378.779
AT ITER 1041 NEW BEST:: SOT 2122131 SOS 1847679 HAS SOPS 1847678 HAS SOUS 261403 HAS SOUPS 261402 WITH SCORE 263249.679
AT ITER 1044 NEW BEST:: SOT 2121931 SOS 1847507 HAS SOPS 1847506 HAS SOUS 261158 HAS SOUPS 261157 WITH SCORE 263004.507
AT ITER 1048 NEW BEST:: SOT 2121832 SOS 1847408 HAS SOPS 1847407 HAS SOUS 260995 HAS SOUPS 260994 WITH SCORE 262841.408
AT ITER 1051 NEW BEST:: SOT 2121794 SOS 1847370 HAS SOPS 1847369 HAS SOUS 260957 HAS SOUPS 260956 WITH SCORE 262803.37
AT ITER 1067 NEW BEST:: SOT 2121634 SOS 1847658 HAS SOPS 1847657 HAS SOUS 260897 HAS SOUPS 260896 WITH SCORE 262743.658
AT ITER 1069 NEW BEST:: SOT 2121407 SOS 1847658 HAS SOPS 1847657 HAS SOUS 260670 HAS SOUPS 260669 WITH SCORE 262516.658
AT ITER 1101 NEW BEST:: SOT 2121238 SOS 1847647 HAS SOPS 1847646 HAS SOUS 260490 HAS SOUPS 260489 WITH SCORE 262336.647
AT ITER 1115 NEW BEST:: SOT 2121202 SOS 1847575 HAS SOPS 1847574 HAS SOUS 260414 HAS SOUPS 260413 WITH SCORE 262260.575
AT ITER 1131 NEW BEST:: SOT 2121180 SOS 1847553 HAS SOPS 1847552 HAS SOUS 260392 HAS SOUPS 260391 WITH SCORE 262238.553
AT ITER 1136 NEW BEST:: SOT 2121151 SOS 1847553 HAS SOPS 1847552 HAS SOUS 260363 HAS SOUPS 260362 WITH SCORE 262209.553
AT ITER 1138 NEW BEST:: SOT 2121034 SOS 1847436 HAS SOPS 1847435 HAS SOUS 260228 HAS SOUPS 260227 WITH SCORE 262074.436
AT ITER 1142 NEW BEST:: SOT 2120975 SOS 1846426 HAS SOPS 1846425 HAS SOUS 260128 HAS SOUPS 260127 WITH SCORE 261973.426
AT ITER 1165 NEW BEST:: SOT 2120957 SOS 1846390 HAS SOPS 1846389 HAS SOUS 260092 HAS SOUPS 260091 WITH SCORE 261937.39
AT ITER 1183 NEW BEST:: SOT 2120934 SOS 1846367 HAS SOPS 1846366 HAS SOUS 260069 HAS SOUPS 260068 WITH SCORE 261914.367
AT ITER 1184 NEW BEST:: SOT 2120912 SOS 1846345 HAS SOPS 1846344 HAS SOUS 260036 HAS SOUPS 260035 WITH SCORE 261881.345
AT ITER 1192 NEW BEST:: SOT 2120917 SOS 1846350 HAS SOPS 1846349 HAS SOUS 259998 HAS SOUPS 259997 WITH SCORE 261843.35
AT ITER 1200 NEW BEST:: SOT 2115788 SOS 1841261 HAS SOPS 1841260 HAS SOUS 260003 HAS SOUPS 260002 WITH SCORE 261843.261
AT ITER 1202 NEW BEST:: SOT 2115738 SOS 1841211 HAS SOPS 1841210 HAS SOUS 259960 HAS SOUPS 259959 WITH SCORE 261800.211
AT ITER 1215 NEW BEST:: SOT 2115727 SOS 1841189 HAS SOPS 1841188 HAS SOUS 259949 HAS SOUPS 259948 WITH SCORE 261789.189
AT ITER 1226 NEW BEST:: SOT 2115677 SOS 1841133 HAS SOPS 1841132 HAS SOUS 259849 HAS SOUPS 259848 WITH SCORE 261689.133
AT ITER 1239 NEW BEST:: SOT 2115636 SOS 1841092 HAS SOPS 1841091 HAS SOUS 259832 HAS SOUPS 259831 WITH SCORE 261672.092
AT ITER 1244 NEW BEST:: SOT 2115517 SOS 1840854 HAS SOPS 1840853 HAS SOUS 259702 HAS SOUPS 259701 WITH SCORE 261541.854
AT ITER 1265 NEW BEST:: SOT 2115520 SOS 1840857 HAS SOPS 1840856 HAS SOUS 259682 HAS SOUPS 259681 WITH SCORE 261521.857
AT ITER 1269 NEW BEST:: SOT 2115368 SOS 1840705 HAS SOPS 1840704 HAS SOUS 259454 HAS SOUPS 259453 WITH SCORE 261293.705
AT ITER 1275 NEW BEST:: SOT 2115361 SOS 1841295 HAS SOPS 1841294 HAS SOUS 259405 HAS SOUPS 259404 WITH SCORE 261245.295
AT ITER 1287 NEW BEST:: SOT 2115288 SOS 1841222 HAS SOPS 1841221 HAS SOUS 259259 HAS SOUPS 259258 WITH SCORE 261099.222
AT ITER 1291 NEW BEST:: SOT 2115073 SOS 1840792 HAS SOPS 1840791 HAS SOUS 258834 HAS SOUPS 258833 WITH SCORE 260673.792
AT ITER 1314 NEW BEST:: SOT 2115043 SOS 1840762 HAS SOPS 1840761 HAS SOUS 258740 HAS SOUPS 258739 WITH SCORE 260579.762
AT ITER 1315 NEW BEST:: SOT 2114738 SOS 1840457 HAS SOPS 1840456 HAS SOUS 258383 HAS SOUPS 258382 WITH SCORE 260222.457
AT ITER 1317 NEW BEST:: SOT 2114639 SOS 1840358 HAS SOPS 1840357 HAS SOUS 258221 HAS SOUPS 258220 WITH SCORE 260060.358
AT ITER 1320 NEW BEST:: SOT 2108486 SOS 1834205 HAS SOPS 1834204 HAS SOUS 258117 HAS SOUPS 258116 WITH SCORE 259950.205
AT ITER 1346 NEW BEST:: SOT 2108486 SOS 1834205 HAS SOPS 1834204 HAS SOUS 258087 HAS SOUPS 258086 WITH SCORE 259920.205
AT ITER 1369 NEW BEST:: SOT 2108016 SOS 1833845 HAS SOPS 1833844 HAS SOUS 257617 HAS SOUPS 257616 WITH SCORE 259449.845
AT ITER 1383 NEW BEST:: SOT 2107853 SOS 1833845 HAS SOPS 1833844 HAS SOUS 257454 HAS SOUPS 257453 WITH SCORE 259286.845
AT ITER 1398 NEW BEST:: SOT 2107700 SOS 1833845 HAS SOPS 1833844 HAS SOUS 257301 HAS SOUPS 257300 WITH SCORE 259133.845
AT ITER 1400 NEW BEST:: SOT 2107630 SOS 1833845 HAS SOPS 1833844 HAS SOUS 257231 HAS SOUPS 257230 WITH SCORE 259063.845
AT ITER 1401 NEW BEST:: SOT 2107630 SOS 1833803 HAS SOPS 1833802 HAS SOUS 257231 HAS SOUPS 257230 WITH SCORE 259063.803
AT ITER 1429 NEW BEST:: SOT 2107428 SOS 1833601 HAS SOPS 1833600 HAS SOUS 256928 HAS SOUPS 256927 WITH SCORE 258760.601
AT ITER 1433 NEW BEST:: SOT 2104107 SOS 1830445 HAS SOPS 1830279 HAS SOUS 253678 HAS SOUPS 253512 WITH SCORE 255342.445
AT ITER 1435 NEW BEST:: SOT 2104024 SOS 1830362 HAS SOPS 1830196 HAS SOUS 253512 HAS SOUPS 253346 WITH SCORE 255176.362
AT ITER 1441 NEW BEST:: SOT 2104024 SOS 1830004 HAS SOPS 1829838 HAS SOUS 253512 HAS SOUPS 253346 WITH SCORE 255176.004
AT ITER 1449 NEW BEST:: SOT 2104062 SOS 1827146 HAS SOPS 1826980 HAS SOUS 253496 HAS SOUPS 253330 WITH SCORE 255157.146
AT ITER 1458 NEW BEST:: SOT 2104005 SOS 1827032 HAS SOPS 1826866 HAS SOUS 253332 HAS SOUPS 253166 WITH SCORE 254993.032
AT ITER 1461 NEW BEST:: SOT 2103960 SOS 1826987 HAS SOPS 1826821 HAS SOUS 253215 HAS SOUPS 253049 WITH SCORE 254875.987
AT ITER 1470 NEW BEST:: SOT 2103912 SOS 1826891 HAS SOPS 1826725 HAS SOUS 253143 HAS SOUPS 252977 WITH SCORE 254803.891
AT ITER 1481 NEW BEST:: SOT 2103871 SOS 1826850 HAS SOPS 1826684 HAS SOUS 253113 HAS SOUPS 252947 WITH SCORE 254773.85
AT ITER 1501 NEW BEST:: SOT 2103858 SOS 1826824 HAS SOPS 1826658 HAS SOUS 253087 HAS SOUPS 252921 WITH SCORE 254747.824
AT ITER 1512 NEW BEST:: SOT 2103869 SOS 1826835 HAS SOPS 1826669 HAS SOUS 252979 HAS SOUPS 252813 WITH SCORE 254639.835
AT ITER 1516 NEW BEST:: SOT 2103678 SOS 1826915 HAS SOPS 1826749 HAS SOUS 252788 HAS SOUPS 252622 WITH SCORE 254448.915
AT ITER 1523 NEW BEST:: SOT 2103663 SOS 1826885 HAS SOPS 1826719 HAS SOUS 252758 HAS SOUPS 252592 WITH SCORE 254418.885
AT ITER 1535 NEW BEST:: SOT 2103618 SOS 1826795 HAS SOPS 1826629 HAS SOUS 252725 HAS SOUPS 252559 WITH SCORE 254385.795
AT ITER 1548 NEW BEST:: SOT 2103531 SOS 1826795 HAS SOPS 1826629 HAS SOUS 252638 HAS SOUPS 252472 WITH SCORE 254298.795
AT ITER 1554 NEW BEST:: SOT 2103477 SOS 1826741 HAS SOPS 1826575 HAS SOUS 252584 HAS SOUPS 252418 WITH SCORE 254244.741
AT ITER 1563 NEW BEST:: SOT 2103428 SOS 1826692 HAS SOPS 1826526 HAS SOUS 252531 HAS SOUPS 252365 WITH SCORE 254191.692
AT ITER 1568 NEW BEST:: SOT 2103311 SOS 1826865 HAS SOPS 1826699 HAS SOUS 252327 HAS SOUPS 252161 WITH SCORE 253987.865
AT ITER 1570 NEW BEST:: SOT 2102947 SOS 1826501 HAS SOPS 1826335 HAS SOUS 252054 HAS SOUPS 251888 WITH SCORE 253714.501
AT ITER 1591 NEW BEST:: SOT 2102914 SOS 1826527 HAS SOPS 1826361 HAS SOUS 251994 HAS SOUPS 251828 WITH SCORE 253654.527
AT ITER 1593 NEW BEST:: SOT 2102811 SOS 1826424 HAS SOPS 1826258 HAS SOUS 251788 HAS SOUPS 251622 WITH SCORE 253448.424
AT ITER 1595 NEW BEST:: SOT 2102739 SOS 1826262 HAS SOPS 1826096 HAS SOUS 251715 HAS SOUPS 251549 WITH SCORE 253375.262
AT ITER 1621 NEW BEST:: SOT 2102591 SOS 1826114 HAS SOPS 1825948 HAS SOUS 251493 HAS SOUPS 251327 WITH SCORE 253153.114
AT ITER 1629 NEW BEST:: SOT 2102579 SOS 1826125 HAS SOPS 1825959 HAS SOUS 251481 HAS SOUPS 251315 WITH SCORE 253141.125
AT ITER 1631 NEW BEST:: SOT 2102545 SOS 1825787 HAS SOPS 1825621 HAS SOUS 251447 HAS SOUPS 251281 WITH SCORE 253106.787
AT ITER 1636 NEW BEST:: SOT 2102438 SOS 1825680 HAS SOPS 1825514 HAS SOUS 251248 HAS SOUPS 251082 WITH SCORE 252907.68
AT ITER 1659 NEW BEST:: SOT 2102336 SOS 1825476 HAS SOPS 1825310 HAS SOUS 251096 HAS SOUPS 250930 WITH SCORE 252755.476
AT ITER 1667 NEW BEST:: SOT 2102330 SOS 1825470 HAS SOPS 1825304 HAS SOUS 251084 HAS SOUPS 250918 WITH SCORE 252743.47
AT ITER 1668 NEW BEST:: SOT 2102315 SOS 1825590 HAS SOPS 1825424 HAS SOUS 251067 HAS SOUPS 250901 WITH SCORE 252726.59
AT ITER 1676 NEW BEST:: SOT 2102322 SOS 1825597 HAS SOPS 1825431 HAS SOUS 251053 HAS SOUPS 250887 WITH SCORE 252712.597
AT ITER 1680 NEW BEST:: SOT 2102319 SOS 1825594 HAS SOPS 1825428 HAS SOUS 251047 HAS SOUPS 250881 WITH SCORE 252706.594
AT ITER 1684 NEW BEST:: SOT 2104894 SOS 1828235 HAS SOPS 1828069 HAS SOUS 250859 HAS SOUPS 250693 WITH SCORE 252521.235
AT ITER 1692 NEW BEST:: SOT 2104878 SOS 1828203 HAS SOPS 1828037 HAS SOUS 250827 HAS SOUPS 250661 WITH SCORE 252489.203
AT ITER 1716 NEW BEST:: SOT 2104852 SOS 1828151 HAS SOPS 1827985 HAS SOUS 250790 HAS SOUPS 250624 WITH SCORE 252452.151
AT ITER 1731 NEW BEST:: SOT 2104769 SOS 1828057 HAS SOPS 1827891 HAS SOUS 250624 HAS SOUPS 250458 WITH SCORE 252286.057
AT ITER 1747 NEW BEST:: SOT 2104592 SOS 1827703 HAS SOPS 1827537 HAS SOUS 250353 HAS SOUPS 250187 WITH SCORE 252014.703
AT ITER 1752 NEW BEST:: SOT 2104577 SOS 1827673 HAS SOPS 1827507 HAS SOUS 250350 HAS SOUPS 250184 WITH SCORE 252011.673
AT ITER 1764 NEW BEST:: SOT 2104439 SOS 1827771 HAS SOPS 1827605 HAS SOUS 250212 HAS SOUPS 250046 WITH SCORE 251873.771
AT ITER 1772 NEW BEST:: SOT 2101932 SOS 1825153 HAS SOPS 1824987 HAS SOUS 250149 HAS SOUPS 249983 WITH SCORE 251808.153
AT ITER 1778 NEW BEST:: SOT 2101879 SOS 1825258 HAS SOPS 1825092 HAS SOUS 249976 HAS SOUPS 249810 WITH SCORE 251635.258
AT ITER 1792 NEW BEST:: SOT 2101860 SOS 1825568 HAS SOPS 1825402 HAS SOUS 249957 HAS SOUPS 249791 WITH SCORE 251616.568
AT ITER 1798 NEW BEST:: SOT 2101857 SOS 1825562 HAS SOPS 1825396 HAS SOUS 249951 HAS SOUPS 249785 WITH SCORE 251610.562
AT ITER 1816 NEW BEST:: SOT 2101669 SOS 1825562 HAS SOPS 1825396 HAS SOUS 249763 HAS SOUPS 249597 WITH SCORE 251422.562
AT ITER 1821 NEW BEST:: SOT 2101640 SOS 1825504 HAS SOPS 1825338 HAS SOUS 249676 HAS SOUPS 249510 WITH SCORE 251335.504
AT ITER 1825 NEW BEST:: SOT 2101510 SOS 1825926 HAS SOPS 1825760 HAS SOUS 249571 HAS SOUPS 249405 WITH SCORE 251230.926
AT ITER 1828 NEW BEST:: SOT 2101476 SOS 1825892 HAS SOPS 1825726 HAS SOUS 249508 HAS SOUPS 249342 WITH SCORE 251167.892
AT ITER 1830 NEW BEST:: SOT 2101476 SOS 1825892 HAS SOPS 1825726 HAS SOUS 249507 HAS SOUPS 249341 WITH SCORE 251166.892
AT ITER 1878 NEW BEST:: SOT 2101498 SOS 1825914 HAS SOPS 1825748 HAS SOUS 249499 HAS SOUPS 249333 WITH SCORE 251158.914
AT ITER 1888 NEW BEST:: SOT 2101484 SOS 1825886 HAS SOPS 1825720 HAS SOUS 249485 HAS SOUPS 249319 WITH SCORE 251144.886
AT ITER 1893 NEW BEST:: SOT 2101466 SOS 1825850 HAS SOPS 1825684 HAS SOUS 249411 HAS SOUPS 249245 WITH SCORE 251070.85
AT ITER 1908 NEW BEST:: SOT 2101210 SOS 1825770 HAS SOPS 1825604 HAS SOUS 249113 HAS SOUPS 248947 WITH SCORE 250772.77
AT ITER 1913 NEW BEST:: SOT 2101146 SOS 1825514 HAS SOPS 1825348 HAS SOUS 249049 HAS SOUPS 248883 WITH SCORE 250708.514
AT ITER 1920 NEW BEST:: SOT 2101131 SOS 1825514 HAS SOPS 1825348 HAS SOUS 249034 HAS SOUPS 248868 WITH SCORE 250693.514
AT ITER 1922 NEW BEST:: SOT 2101061 SOS 1825444 HAS SOPS 1825278 HAS SOUS 248929 HAS SOUPS 248763 WITH SCORE 250588.444
AT ITER 1923 NEW BEST:: SOT 2101010 SOS 1825393 HAS SOPS 1825227 HAS SOUS 248870 HAS SOUPS 248704 WITH SCORE 250529.393
AT ITER 1924 NEW BEST:: SOT 2100958 SOS 1825341 HAS SOPS 1825175 HAS SOUS 248792 HAS SOUPS 248626 WITH SCORE 250451.341
AT ITER 1946 NEW BEST:: SOT 2100858 SOS 1825141 HAS SOPS 1824975 HAS SOUS 248679 HAS SOUPS 248513 WITH SCORE 250338.141
AT ITER 1947 NEW BEST:: SOT 2100837 SOS 1825133 HAS SOPS 1824967 HAS SOUS 248654 HAS SOUPS 248488 WITH SCORE 250313.133
AT ITER 1949 NEW BEST:: SOT 2100609 SOS 1852643 HAS SOPS 1852360 HAS SOUS 248706 HAS SOUPS 248423 WITH SCORE 250275.643
AT ITER 1961 NEW BEST:: SOT 2100635 SOS 1852669 HAS SOPS 1852386 HAS SOUS 248695 HAS SOUPS 248412 WITH SCORE 250264.669
AT ITER 1966 NEW BEST:: SOT 2100613 SOS 1852625 HAS SOPS 1852342 HAS SOUS 248673 HAS SOUPS 248390 WITH SCORE 250242.625
AT ITER 1984 NEW BEST:: SOT 2100606 SOS 1852618 HAS SOPS 1852335 HAS SOUS 248659 HAS SOUPS 248376 WITH SCORE 250228.618
AT ITER 1998 NEW BEST:: SOT 2100546 SOS 1852558 HAS SOPS 1852275 HAS SOUS 248569 HAS SOUPS 248286 WITH SCORE 250138.558
AT ITER 2008 NEW BEST:: SOT 2100530 SOS 1852558 HAS SOPS 1852275 HAS SOUS 248563 HAS SOUPS 248280 WITH SCORE 250132.558
AT ITER 2012 NEW BEST:: SOT 2100414 SOS 1852442 HAS SOPS 1852159 HAS SOUS 248403 HAS SOUPS 248120 WITH SCORE 249972.442
AT ITER 2034 NEW BEST:: SOT 2100321 SOS 1852386 HAS SOPS 1852103 HAS SOUS 248282 HAS SOUPS 247999 WITH SCORE 249851.386
AT ITER 2049 NEW BEST:: SOT 2100182 SOS 1852247 HAS SOPS 1851964 HAS SOUS 248092 HAS SOUPS 247809 WITH SCORE 249661.247
AT ITER 2075 NEW BEST:: SOT 2100196 SOS 1852217 HAS SOPS 1851934 HAS SOUS 248072 HAS SOUPS 247789 WITH SCORE 249641.217
AT ITER 2082 NEW BEST:: SOT 2100064 SOS 1852098 HAS SOPS 1851815 HAS SOUS 247848 HAS SOUPS 247565 WITH SCORE 249417.098
AT ITER 2093 NEW BEST:: SOT 2099985 SOS 1852019 HAS SOPS 1851736 HAS SOUS 247673 HAS SOUPS 247390 WITH SCORE 249242.019
AT ITER 2099 NEW BEST:: SOT 2099943 SOS 1851977 HAS SOPS 1851694 HAS SOUS 247631 HAS SOUPS 247348 WITH SCORE 249199.977
AT ITER 2105 NEW BEST:: SOT 2099935 SOS 1851977 HAS SOPS 1851694 HAS SOUS 247623 HAS SOUPS 247340 WITH SCORE 249191.977
AT ITER 2106 NEW BEST:: SOT 2099896 SOS 1851938 HAS SOPS 1851655 HAS SOUS 247545 HAS SOUPS 247262 WITH SCORE 249113.938
AT ITER 2107 NEW BEST:: SOT 2099867 SOS 1851909 HAS SOPS 1851626 HAS SOUS 247508 HAS SOUPS 247225 WITH SCORE 249076.909
AT ITER 2114 NEW BEST:: SOT 2099864 SOS 1851906 HAS SOPS 1851623 HAS SOUS 247502 HAS SOUPS 247219 WITH SCORE 249070.906
AT ITER 2126 NEW BEST:: SOT 2099996 SOS 1852038 HAS SOPS 1851755 HAS SOUS 247456 HAS SOUPS 247173 WITH SCORE 249025.038
AT ITER 2141 NEW BEST:: SOT 2099979 SOS 1852258 HAS SOPS 1851975 HAS SOUS 247439 HAS SOUPS 247156 WITH SCORE 249008.258
AT ITER 2148 NEW BEST:: SOT 2099979 SOS 1852248 HAS SOPS 1851965 HAS SOUS 247439 HAS SOUPS 247156 WITH SCORE 249008.248
AT ITER 2150 NEW BEST:: SOT 2099954 SOS 1852223 HAS SOPS 1851940 HAS SOUS 247405 HAS SOUPS 247122 WITH SCORE 248974.223
AT ITER 2151 NEW BEST:: SOT 2099923 SOS 1852192 HAS SOPS 1851909 HAS SOUS 247304 HAS SOUPS 247021 WITH SCORE 248873.192
AT ITER 2152 NEW BEST:: SOT 2099903 SOS 1852172 HAS SOPS 1851889 HAS SOUS 247268 HAS SOUPS 246985 WITH SCORE 248837.172
AT ITER 2162 NEW BEST:: SOT 2099885 SOS 1852282 HAS SOPS 1851999 HAS SOUS 247250 HAS SOUPS 246967 WITH SCORE 248819.282
AT ITER 2167 NEW BEST:: SOT 2099814 SOS 1852211 HAS SOPS 1851928 HAS SOUS 247125 HAS SOUPS 246842 WITH SCORE 248694.211
AT ITER 2198 NEW BEST:: SOT 2099863 SOS 1851789 HAS SOPS 1851506 HAS SOUS 247089 HAS SOUPS 246806 WITH SCORE 248657.789
AT ITER 2206 NEW BEST:: SOT 2099853 SOS 1851779 HAS SOPS 1851496 HAS SOUS 247079 HAS SOUPS 246796 WITH SCORE 248647.779
AT ITER 2223 NEW BEST:: SOT 2099819 SOS 1851711 HAS SOPS 1851428 HAS SOUS 247031 HAS SOUPS 246748 WITH SCORE 248599.711
AT ITER 2243 NEW BEST:: SOT 2096394 SOS 1848295 HAS SOPS 1848012 HAS SOUS 246988 HAS SOUPS 246705 WITH SCORE 248553.295
AT ITER 2253 NEW BEST:: SOT 2096367 SOS 1848268 HAS SOPS 1847985 HAS SOUS 246935 HAS SOUPS 246652 WITH SCORE 248500.268
AT ITER 2261 NEW BEST:: SOT 2096341 SOS 1848242 HAS SOPS 1847959 HAS SOUS 246883 HAS SOUPS 246600 WITH SCORE 248448.242
AT ITER 2281 NEW BEST:: SOT 2096128 SOS 1848029 HAS SOPS 1847746 HAS SOUS 246569 HAS SOUPS 246286 WITH SCORE 248134.029
AT ITER 2290 NEW BEST:: SOT 2096028 SOS 1848020 HAS SOPS 1847737 HAS SOUS 246419 HAS SOUPS 246136 WITH SCORE 247984.02
AT ITER 2298 NEW BEST:: SOT 2095960 SOS 1847952 HAS SOPS 1847669 HAS SOUS 246292 HAS SOUPS 246009 WITH SCORE 247856.952
AT ITER 2321 NEW BEST:: SOT 2095923 SOS 1847915 HAS SOPS 1847632 HAS SOUS 246255 HAS SOUPS 245972 WITH SCORE 247819.915
AT ITER 2322 NEW BEST:: SOT 2095903 SOS 1847895 HAS SOPS 1847612 HAS SOUS 246235 HAS SOUPS 245952 WITH SCORE 247799.895
AT ITER 2323 NEW BEST:: SOT 2095903 SOS 1847809 HAS SOPS 1847526 HAS SOUS 246235 HAS SOUPS 245952 WITH SCORE 247799.809
AT ITER 2347 NEW BEST:: SOT 2095854 SOS 1847711 HAS SOPS 1847428 HAS SOUS 246186 HAS SOUPS 245903 WITH SCORE 247750.711
AT ITER 2353 NEW BEST:: SOT 2095633 SOS 1847767 HAS SOPS 1847484 HAS SOUS 245965 HAS SOUPS 245682 WITH SCORE 247529.767
AT ITER 2354 NEW BEST:: SOT 2095554 SOS 1847688 HAS SOPS 1847405 HAS SOUS 245859 HAS SOUPS 245576 WITH SCORE 247423.688
AT ITER 2357 NEW BEST:: SOT 2095447 SOS 1847474 HAS SOPS 1847191 HAS SOUS 245693 HAS SOUPS 245410 WITH SCORE 247257.474
AT ITER 2395 NEW BEST:: SOT 2095435 SOS 1847450 HAS SOPS 1847167 HAS SOUS 245628 HAS SOUPS 245345 WITH SCORE 247192.45
AT ITER 2408 NEW BEST:: SOT 2095223 SOS 1847238 HAS SOPS 1846955 HAS SOUS 245281 HAS SOUPS 244998 WITH SCORE 246845.238
AT ITER 2409 NEW BEST:: SOT 2094773 SOS 1847203 HAS SOPS 1846920 HAS SOUS 244959 HAS SOUPS 244676 WITH SCORE 246523.203
AT ITER 2416 NEW BEST:: SOT 2094588 SOS 1846833 HAS SOPS 1846550 HAS SOUS 244436 HAS SOUPS 244153 WITH SCORE 245999.833
AT ITER 2424 NEW BEST:: SOT 2094555 SOS 1846800 HAS SOPS 1846517 HAS SOUS 244410 HAS SOUPS 244127 WITH SCORE 245973.8
AT ITER 2446 NEW BEST:: SOT 2094399 SOS 1846800 HAS SOPS 1846517 HAS SOUS 244254 HAS SOUPS 243971 WITH SCORE 245817.8
AT ITER 2447 NEW BEST:: SOT 2095852 SOS 1848239 HAS SOPS 1847956 HAS SOUS 244201 HAS SOUPS 243918 WITH SCORE 245766.239
AT ITER 2465 NEW BEST:: SOT 2096041 SOS 1848428 HAS SOPS 1848145 HAS SOUS 244174 HAS SOUPS 243891 WITH SCORE 245739.428
AT ITER 2467 NEW BEST:: SOT 2091894 SOS 1844175 HAS SOPS 1843892 HAS SOUS 244080 HAS SOUPS 243797 WITH SCORE 245641.175
AT ITER 2479 NEW BEST:: SOT 2091885 SOS 1844225 HAS SOPS 1843942 HAS SOUS 244071 HAS SOUPS 243788 WITH SCORE 245632.225
AT ITER 2497 NEW BEST:: SOT 2091790 SOS 1844220 HAS SOPS 1843937 HAS SOUS 243910 HAS SOUPS 243627 WITH SCORE 245471.22
AT ITER 2512 NEW BEST:: SOT 2091728 SOS 1844158 HAS SOPS 1843875 HAS SOUS 243817 HAS SOUPS 243534 WITH SCORE 245378.158
AT ITER 2513 NEW BEST:: SOT 2091722 SOS 1844152 HAS SOPS 1843869 HAS SOUS 243811 HAS SOUPS 243528 WITH SCORE 245372.152
AT ITER 2518 NEW BEST:: SOT 2091697 SOS 1844102 HAS SOPS 1843819 HAS SOUS 243786 HAS SOUPS 243503 WITH SCORE 245347.102
AT ITER 2522 NEW BEST:: SOT 2091559 SOS 1843964 HAS SOPS 1843681 HAS SOUS 243594 HAS SOUPS 243311 WITH SCORE 245154.964
AT ITER 2556 NEW BEST:: SOT 2091541 SOS 1843964 HAS SOPS 1843681 HAS SOUS 243581 HAS SOUPS 243298 WITH SCORE 245141.964
AT ITER 2571 NEW BEST:: SOT 2091525 SOS 1843895 HAS SOPS 1843612 HAS SOUS 243554 HAS SOUPS 243271 WITH SCORE 245114.895
AT ITER 2634 NEW BEST:: SOT 2091525 SOS 1843749 HAS SOPS 1843466 HAS SOUS 243554 HAS SOUPS 243271 WITH SCORE 245114.749
AT ITER 2646 NEW BEST:: SOT 2088305 SOS 1840529 HAS SOPS 1840246 HAS SOUS 243502 HAS SOUPS 243219 WITH SCORE 245059.529
AT ITER 2647 NEW BEST:: SOT 2088277 SOS 1840445 HAS SOPS 1840162 HAS SOUS 243474 HAS SOUPS 243191 WITH SCORE 245031.445
AT ITER 2649 NEW BEST:: SOT 2088269 SOS 1840437 HAS SOPS 1840154 HAS SOUS 243458 HAS SOUPS 243175 WITH SCORE 245015.437
AT ITER 2677 NEW BEST:: SOT 2088261 SOS 1840429 HAS SOPS 1840146 HAS SOUS 243458 HAS SOUPS 243175 WITH SCORE 245015.429
AT ITER 2761 NEW BEST:: SOT 2088257 SOS 1840421 HAS SOPS 1840138 HAS SOUS 243382 HAS SOUPS 243099 WITH SCORE 244939.421
AT ITER 2772 NEW BEST:: SOT 2088116 SOS 1840583 HAS SOPS 1840300 HAS SOUS 243245 HAS SOUPS 242962 WITH SCORE 244802.583
AT ITER 2780 NEW BEST:: SOT 2088085 SOS 1840601 HAS SOPS 1840318 HAS SOUS 243214 HAS SOUPS 242931 WITH SCORE 244771.601
AT ITER 2785 NEW BEST:: SOT 2088078 SOS 1840594 HAS SOPS 1840311 HAS SOUS 243200 HAS SOUPS 242917 WITH SCORE 244757.594
AT ITER 2787 NEW BEST:: SOT 2088078 SOS 1840594 HAS SOPS 1840311 HAS SOUS 243186 HAS SOUPS 242903 WITH SCORE 244743.594
AT ITER 2788 NEW BEST:: SOT 2088049 SOS 1840536 HAS SOPS 1840253 HAS SOUS 243110 HAS SOUPS 242827 WITH SCORE 244667.536
AT ITER 2789 NEW BEST:: SOT 2087819 SOS 1840330 HAS SOPS 1840047 HAS SOUS 242777 HAS SOUPS 242494 WITH SCORE 244334.33
AT ITER 2811 NEW BEST:: SOT 2087834 SOS 1840345 HAS SOPS 1840062 HAS SOUS 242776 HAS SOUPS 242493 WITH SCORE 244333.345
AT ITER 2813 NEW BEST:: SOT 2087667 SOS 1840559 HAS SOPS 1840276 HAS SOUS 242554 HAS SOUPS 242271 WITH SCORE 244111.559
AT ITER 2826 NEW BEST:: SOT 2087579 SOS 1840153 HAS SOPS 1839870 HAS SOUS 242297 HAS SOUPS 242014 WITH SCORE 243854.153
AT ITER 2834 NEW BEST:: SOT 2087515 SOS 1840089 HAS SOPS 1839806 HAS SOUS 242233 HAS SOUPS 241950 WITH SCORE 243790.089
AT ITER 2868 NEW BEST:: SOT 2087479 SOS 1840121 HAS SOPS 1839838 HAS SOUS 242197 HAS SOUPS 241914 WITH SCORE 243754.121
AT ITER 2918 NEW BEST:: SOT 2087461 SOS 1840085 HAS SOPS 1839802 HAS SOUS 242180 HAS SOUPS 241897 WITH SCORE 243737.085
AT ITER 2924 NEW BEST:: SOT 2087405 SOS 1840343 HAS SOPS 1840060 HAS SOUS 242111 HAS SOUPS 241828 WITH SCORE 243668.343
AT ITER 2953 NEW BEST:: SOT 2087300 SOS 1840289 HAS SOPS 1840006 HAS SOUS 241958 HAS SOUPS 241675 WITH SCORE 243515.289
AT ITER 2955 NEW BEST:: SOT 2087292 SOS 1840281 HAS SOPS 1839998 HAS SOUS 241942 HAS SOUPS 241659 WITH SCORE 243499.281
AT ITER 2992 NEW BEST:: SOT 2087166 SOS 1840155 HAS SOPS 1839872 HAS SOUS 241753 HAS SOUPS 241470 WITH SCORE 243310.155
AT ITER 2998 NEW BEST:: SOT 2087093 SOS 1840082 HAS SOPS 1839799 HAS SOUS 241607 HAS SOUPS 241324 WITH SCORE 243164.082
AT ITER 3027 NEW BEST:: SOT 2087058 SOS 1840047 HAS SOPS 1839764 HAS SOUS 241565 HAS SOUPS 241282 WITH SCORE 243122.047
AT ITER 3035 NEW BEST:: SOT 2087036 SOS 1840025 HAS SOPS 1839742 HAS SOUS 241521 HAS SOUPS 241238 WITH SCORE 243078.025
AT ITER 3054 NEW BEST:: SOT 2087000 SOS 1839989 HAS SOPS 1839706 HAS SOUS 241449 HAS SOUPS 241166 WITH SCORE 243005.989
AT ITER 3095 NEW BEST:: SOT 2086982 SOS 1839953 HAS SOPS 1839670 HAS SOUS 241413 HAS SOUPS 241130 WITH SCORE 242969.953
AT ITER 3097 NEW BEST:: SOT 2086963 SOS 1839934 HAS SOPS 1839651 HAS SOUS 241375 HAS SOUPS 241092 WITH SCORE 242931.934
AT ITER 3099 NEW BEST:: SOT 2086932 SOS 1839903 HAS SOPS 1839620 HAS SOUS 241313 HAS SOUPS 241030 WITH SCORE 242869.903
AT ITER 3100 NEW BEST:: SOT 2086879 SOS 1839797 HAS SOPS 1839514 HAS SOUS 241207 HAS SOUPS 240924 WITH SCORE 242763.797
AT ITER 3109 NEW BEST:: SOT 2086858 SOS 1839776 HAS SOPS 1839493 HAS SOUS 241173 HAS SOUPS 240890 WITH SCORE 242729.776
AT ITER 3122 NEW BEST:: SOT 2086858 SOS 1839776 HAS SOPS 1839493 HAS SOUS 241170 HAS SOUPS 240887 WITH SCORE 242726.776
AT ITER 3145 NEW BEST:: SOT 2087549 SOS 1840467 HAS SOPS 1840184 HAS SOUS 241135 HAS SOUPS 240852 WITH SCORE 242692.467
AT ITER 3150 NEW BEST:: SOT 2087549 SOS 1840043 HAS SOPS 1839760 HAS SOUS 241135 HAS SOUPS 240852 WITH SCORE 242692.043
AT ITER 3170 NEW BEST:: SOT 2087548 SOS 1840157 HAS SOPS 1839874 HAS SOUS 241133 HAS SOUPS 240850 WITH SCORE 242690.157
AT ITER 3174 NEW BEST:: SOT 2087453 SOS 1839967 HAS SOPS 1839684 HAS SOUS 240982 HAS SOUPS 240699 WITH SCORE 242538.967
AT ITER 3181 NEW BEST:: SOT 2087452 SOS 1839966 HAS SOPS 1839683 HAS SOUS 240981 HAS SOUPS 240698 WITH SCORE 242537.966
AT ITER 3199 NEW BEST:: SOT 2087433 SOS 1839947 HAS SOPS 1839664 HAS SOUS 240965 HAS SOUPS 240682 WITH SCORE 242521.947
AT ITER 3203 NEW BEST:: SOT 2087390 SOS 1839963 HAS SOPS 1839680 HAS SOUS 240930 HAS SOUPS 240647 WITH SCORE 242486.963
AT ITER 3212 NEW BEST:: SOT 2087331 SOS 1839904 HAS SOPS 1839621 HAS SOUS 240818 HAS SOUPS 240535 WITH SCORE 242374.904
AT ITER 3236 NEW BEST:: SOT 2087282 SOS 1839876 HAS SOPS 1839593 HAS SOUS 240790 HAS SOUPS 240507 WITH SCORE 242346.876
AT ITER 3258 NEW BEST:: SOT 2087188 SOS 1839688 HAS SOPS 1839405 HAS SOUS 240646 HAS SOUPS 240363 WITH SCORE 242202.688
AT ITER 3280 NEW BEST:: SOT 2087118 SOS 1839618 HAS SOPS 1839335 HAS SOUS 240506 HAS SOUPS 240223 WITH SCORE 242062.618
AT ITER 3314 NEW BEST:: SOT 2087111 SOS 1839611 HAS SOPS 1839328 HAS SOUS 240499 HAS SOUPS 240216 WITH SCORE 242055.611
AT ITER 3316 NEW BEST:: SOT 2087057 SOS 1839557 HAS SOPS 1839274 HAS SOUS 240445 HAS SOUPS 240162 WITH SCORE 242001.557
AT ITER 3343 NEW BEST:: SOT 2087116 SOS 1839616 HAS SOPS 1839333 HAS SOUS 240435 HAS SOUPS 240152 WITH SCORE 241991.616
AT ITER 3350 NEW BEST:: SOT 2087105 SOS 1839594 HAS SOPS 1839311 HAS SOUS 240424 HAS SOUPS 240141 WITH SCORE 241980.594
AT ITER 3355 NEW BEST:: SOT 2086720 SOS 1839254 HAS SOPS 1838926 HAS SOUS 240129 HAS SOUPS 239801 WITH SCORE 241640.254
AT ITER 3357 NEW BEST:: SOT 2086715 SOS 1839322 HAS SOPS 1838994 HAS SOUS 240124 HAS SOUPS 239796 WITH SCORE 241635.322
AT ITER 3361 NEW BEST:: SOT 2086726 SOS 1839344 HAS SOPS 1839016 HAS SOUS 240080 HAS SOUPS 239752 WITH SCORE 241591.344
AT ITER 3377 NEW BEST:: SOT 2086630 SOS 1839650 HAS SOPS 1839322 HAS SOUS 240037 HAS SOUPS 239709 WITH SCORE 241548.65
AT ITER 3383 NEW BEST:: SOT 2086629 SOS 1839648 HAS SOPS 1839320 HAS SOUS 240035 HAS SOUPS 239707 WITH SCORE 241546.648
AT ITER 3406 NEW BEST:: SOT 2086494 SOS 1839378 HAS SOPS 1839050 HAS SOUS 239900 HAS SOUPS 239572 WITH SCORE 241411.378
AT ITER 3413 NEW BEST:: SOT 2086379 SOS 1839378 HAS SOPS 1839050 HAS SOUS 239785 HAS SOUPS 239457 WITH SCORE 241296.378
AT ITER 3428 NEW BEST:: SOT 2086189 SOS 1839188 HAS SOPS 1838860 HAS SOUS 239500 HAS SOUPS 239172 WITH SCORE 241011.188
AT ITER 3470 NEW BEST:: SOT 2086189 SOS 1839128 HAS SOPS 1838800 HAS SOUS 239500 HAS SOUPS 239172 WITH SCORE 241011.128
AT ITER 3475 NEW BEST:: SOT 2086189 SOS 1839094 HAS SOPS 1838766 HAS SOUS 239500 HAS SOUPS 239172 WITH SCORE 241011.094
AT ITER 3504 NEW BEST:: SOT 2086166 SOS 1839048 HAS SOPS 1838720 HAS SOUS 239476 HAS SOUPS 239148 WITH SCORE 240987.048
AT ITER 3519 NEW BEST:: SOT 2086145 SOS 1839048 HAS SOPS 1838720 HAS SOUS 239455 HAS SOUPS 239127 WITH SCORE 240966.048
AT ITER 3541 NEW BEST:: SOT 2086105 SOS 1839008 HAS SOPS 1838680 HAS SOUS 239395 HAS SOUPS 239067 WITH SCORE 240906.008
AT ITER 3545 NEW BEST:: SOT 2086098 SOS 1839001 HAS SOPS 1838673 HAS SOUS 239381 HAS SOUPS 239053 WITH SCORE 240892.001
AT ITER 3546 NEW BEST:: SOT 2086008 SOS 1838911 HAS SOPS 1838583 HAS SOUS 239201 HAS SOUPS 238873 WITH SCORE 240711.911
AT ITER 3551 NEW BEST:: SOT 2085931 SOS 1839359 HAS SOPS 1839031 HAS SOUS 239114 HAS SOUPS 238786 WITH SCORE 240625.359
AT ITER 3563 NEW BEST:: SOT 2085893 SOS 1839321 HAS SOPS 1838993 HAS SOUS 239057 HAS SOUPS 238729 WITH SCORE 240568.321
AT ITER 3568 NEW BEST:: SOT 2084398 SOS 1837826 HAS SOPS 1837498 HAS SOUS 238969 HAS SOUPS 238641 WITH SCORE 240478.826
AT ITER 3573 NEW BEST:: SOT 2084435 SOS 1837690 HAS SOPS 1837362 HAS SOUS 238969 HAS SOUPS 238641 WITH SCORE 240478.69
AT ITER 3584 NEW BEST:: SOT 2084631 SOS 1837897 HAS SOPS 1837569 HAS SOUS 238923 HAS SOUPS 238595 WITH SCORE 240432.897
AT ITER 3589 NEW BEST:: SOT 2084618 SOS 1837871 HAS SOPS 1837543 HAS SOUS 238861 HAS SOUPS 238533 WITH SCORE 240370.871
AT ITER 3594 NEW BEST:: SOT 2084654 SOS 1837907 HAS SOPS 1837579 HAS SOUS 238841 HAS SOUPS 238513 WITH SCORE 240350.907
AT ITER 3597 NEW BEST:: SOT 2084638 SOS 1837907 HAS SOPS 1837579 HAS SOUS 238825 HAS SOUPS 238497 WITH SCORE 240334.907
AT ITER 3600 NEW BEST:: SOT 2084539 SOS 1837709 HAS SOPS 1837381 HAS SOUS 238726 HAS SOUPS 238398 WITH SCORE 240235.709
AT ITER 3636 NEW BEST:: SOT 2084775 SOS 1837263 HAS SOPS 1836763 HAS SOUS 238806 HAS SOUPS 238306 WITH SCORE 240143.263
AT ITER 3677 NEW BEST:: SOT 2084764 SOS 1837241 HAS SOPS 1836741 HAS SOUS 238795 HAS SOUPS 238295 WITH SCORE 240132.241
AT ITER 3685 NEW BEST:: SOT 2084738 SOS 1837215 HAS SOPS 1836715 HAS SOUS 238743 HAS SOUPS 238243 WITH SCORE 240080.215
AT ITER 3706 NEW BEST:: SOT 2084659 SOS 1837057 HAS SOPS 1836557 HAS SOUS 238585 HAS SOUPS 238085 WITH SCORE 239922.057
AT ITER 3719 NEW BEST:: SOT 2084656 SOS 1837054 HAS SOPS 1836554 HAS SOUS 238579 HAS SOUPS 238079 WITH SCORE 239916.054
AT ITER 3726 NEW BEST:: SOT 2084625 SOS 1837023 HAS SOPS 1836523 HAS SOUS 238548 HAS SOUPS 238048 WITH SCORE 239885.023
AT ITER 3731 NEW BEST:: SOT 2084545 SOS 1837019 HAS SOPS 1836519 HAS SOUS 238482 HAS SOUPS 237982 WITH SCORE 239819.019
AT ITER 3753 NEW BEST:: SOT 2084411 SOS 1836751 HAS SOPS 1836251 HAS SOUS 238241 HAS SOUPS 237741 WITH SCORE 239577.751
AT ITER 3771 NEW BEST:: SOT 2082019 SOS 1834359 HAS SOPS 1833859 HAS SOUS 238241 HAS SOUPS 237741 WITH SCORE 239575.359
AT ITER 3780 NEW BEST:: SOT 2082007 SOS 1834359 HAS SOPS 1833859 HAS SOUS 238229 HAS SOUPS 237729 WITH SCORE 239563.359
AT ITER 3783 NEW BEST:: SOT 2081985 SOS 1834291 HAS SOPS 1833791 HAS SOUS 238207 HAS SOUPS 237707 WITH SCORE 239541.291
AT ITER 3791 NEW BEST:: SOT 2081990 SOS 1834655 HAS SOPS 1834155 HAS SOUS 238189 HAS SOUPS 237689 WITH SCORE 239523.655
AT ITER 3793 NEW BEST:: SOT 2081772 SOS 1834219 HAS SOPS 1833719 HAS SOUS 237815 HAS SOUPS 237315 WITH SCORE 239149.219
AT ITER 3797 NEW BEST:: SOT 2081727 SOS 1834219 HAS SOPS 1833719 HAS SOUS 237770 HAS SOUPS 237270 WITH SCORE 239104.219
AT ITER 3804 NEW BEST:: SOT 2082426 SOS 1834885 HAS SOPS 1834385 HAS SOUS 237726 HAS SOUPS 237226 WITH SCORE 239060.885
AT ITER 3847 NEW BEST:: SOT 2082405 SOS 1834864 HAS SOPS 1834364 HAS SOUS 237721 HAS SOUPS 237221 WITH SCORE 239055.864
AT ITER 3853 NEW BEST:: SOT 2082385 SOS 1834844 HAS SOPS 1834344 HAS SOUS 237701 HAS SOUPS 237201 WITH SCORE 239035.844
AT ITER 3861 NEW BEST:: SOT 2082377 SOS 1835026 HAS SOPS 1834526 HAS SOUS 237693 HAS SOUPS 237193 WITH SCORE 239028.026
AT ITER 3871 NEW BEST:: SOT 2082355 SOS 1835004 HAS SOPS 1834504 HAS SOUS 237671 HAS SOUPS 237171 WITH SCORE 239006.004
AT ITER 3875 NEW BEST:: SOT 2079020 SOS 1831669 HAS SOPS 1831169 HAS SOUS 237526 HAS SOUPS 237026 WITH SCORE 238857.669
AT ITER 3876 NEW BEST:: SOT 2078999 SOS 1831648 HAS SOPS 1831148 HAS SOUS 237484 HAS SOUPS 236984 WITH SCORE 238815.648
AT ITER 3902 NEW BEST:: SOT 2078969 SOS 1831618 HAS SOPS 1831118 HAS SOUS 237424 HAS SOUPS 236924 WITH SCORE 238755.618
AT ITER 3906 NEW BEST:: SOT 2078966 SOS 1831640 HAS SOPS 1831140 HAS SOUS 237421 HAS SOUPS 236921 WITH SCORE 238752.64
AT ITER 3912 NEW BEST:: SOT 2078944 SOS 1831596 HAS SOPS 1831096 HAS SOUS 237399 HAS SOUPS 236899 WITH SCORE 238730.596
AT ITER 3917 NEW BEST:: SOT 2078923 SOS 1831575 HAS SOPS 1831075 HAS SOUS 237378 HAS SOUPS 236878 WITH SCORE 238709.575
AT ITER 3925 NEW BEST:: SOT 2078908 SOS 1831545 HAS SOPS 1831045 HAS SOUS 237363 HAS SOUPS 236863 WITH SCORE 238694.545
AT ITER 3932 NEW BEST:: SOT 2078830 SOS 1831467 HAS SOPS 1830967 HAS SOUS 237207 HAS SOUPS 236707 WITH SCORE 238538.467
AT ITER 3946 NEW BEST:: SOT 2078718 SOS 1831355 HAS SOPS 1830855 HAS SOUS 237039 HAS SOUPS 236539 WITH SCORE 238370.355
AT ITER 3968 NEW BEST:: SOT 2078639 SOS 1831276 HAS SOPS 1830776 HAS SOUS 236881 HAS SOUPS 236381 WITH SCORE 238212.276
AT ITER 3974 NEW BEST:: SOT 2078447 SOS 1831276 HAS SOPS 1830776 HAS SOUS 236689 HAS SOUPS 236189 WITH SCORE 238020.276
AT ITER 3981 NEW BEST:: SOT 2078420 SOS 1831249 HAS SOPS 1830749 HAS SOUS 236635 HAS SOUPS 236135 WITH SCORE 237966.249
AT ITER 3983 NEW BEST:: SOT 2078356 SOS 1831121 HAS SOPS 1830621 HAS SOUS 236560 HAS SOUPS 236060 WITH SCORE 237891.121
AT ITER 3989 NEW BEST:: SOT 2078356 SOS 1831121 HAS SOPS 1830621 HAS SOUS 236546 HAS SOUPS 236046 WITH SCORE 237877.121
AT ITER 3996 NEW BEST:: SOT 2078260 SOS 1831025 HAS SOPS 1830525 HAS SOUS 236461 HAS SOUPS 235961 WITH SCORE 237792.025
AT ITER 4006 NEW BEST:: SOT 2078240 SOS 1831013 HAS SOPS 1830513 HAS SOUS 236435 HAS SOUPS 235935 WITH SCORE 237766.013
AT ITER 4007 NEW BEST:: SOT 2078210 SOS 1830983 HAS SOPS 1830483 HAS SOUS 236405 HAS SOUPS 235905 WITH SCORE 237735.983
AT ITER 4021 NEW BEST:: SOT 2078192 SOS 1830965 HAS SOPS 1830465 HAS SOUS 236405 HAS SOUPS 235905 WITH SCORE 237735.965
AT ITER 4060 NEW BEST:: SOT 2078170 SOS 1830943 HAS SOPS 1830443 HAS SOUS 236361 HAS SOUPS 235861 WITH SCORE 237691.943
AT ITER 4066 NEW BEST:: SOT 2078024 SOS 1830848 HAS SOPS 1830348 HAS SOUS 236266 HAS SOUPS 235766 WITH SCORE 237596.848
AT ITER 4073 NEW BEST:: SOT 2078046 SOS 1830870 HAS SOPS 1830370 HAS SOUS 236244 HAS SOUPS 235744 WITH SCORE 237574.87
AT ITER 4115 NEW BEST:: SOT 2078045 SOS 1830868 HAS SOPS 1830368 HAS SOUS 236243 HAS SOUPS 235743 WITH SCORE 237573.868
AT ITER 4127 NEW BEST:: SOT 2078045 SOS 1830840 HAS SOPS 1830340 HAS SOUS 236243 HAS SOUPS 235743 WITH SCORE 237573.84
AT ITER 4131 NEW BEST:: SOT 2078068 SOS 1830628 HAS SOPS 1830128 HAS SOUS 236168 HAS SOUPS 235668 WITH SCORE 237498.628
AT ITER 4133 NEW BEST:: SOT 2078060 SOS 1830887 HAS SOPS 1830387 HAS SOUS 236150 HAS SOUPS 235650 WITH SCORE 237480.887
AT ITER 4143 NEW BEST:: SOT 2078053 SOS 1830873 HAS SOPS 1830373 HAS SOUS 236136 HAS SOUPS 235636 WITH SCORE 237466.873
AT ITER 4182 NEW BEST:: SOT 2077988 SOS 1830743 HAS SOPS 1830243 HAS SOUS 236064 HAS SOUPS 235564 WITH SCORE 237394.743
AT ITER 4203 NEW BEST:: SOT 2077973 SOS 1830728 HAS SOPS 1830228 HAS SOUS 236034 HAS SOUPS 235534 WITH SCORE 237364.728
AT ITER 4211 NEW BEST:: SOT 2077949 SOS 1830704 HAS SOPS 1830204 HAS SOUS 235986 HAS SOUPS 235486 WITH SCORE 237316.704
AT ITER 4215 NEW BEST:: SOT 2077915 SOS 1830564 HAS SOPS 1830064 HAS SOUS 235916 HAS SOUPS 235416 WITH SCORE 237246.564
AT ITER 4233 NEW BEST:: SOT 2077884 SOS 1830533 HAS SOPS 1830033 HAS SOUS 235854 HAS SOUPS 235354 WITH SCORE 237184.533
AT ITER 4235 NEW BEST:: SOT 2077872 SOS 1830521 HAS SOPS 1830021 HAS SOUS 235842 HAS SOUPS 235342 WITH SCORE 237172.521
AT ITER 4238 NEW BEST:: SOT 2077848 SOS 1830521 HAS SOPS 1830021 HAS SOUS 235818 HAS SOUPS 235318 WITH SCORE 237148.521
AT ITER 4241 NEW BEST:: SOT 2077836 SOS 1830509 HAS SOPS 1830009 HAS SOUS 235794 HAS SOUPS 235294 WITH SCORE 237124.509
AT ITER 4256 NEW BEST:: SOT 2077815 SOS 1830467 HAS SOPS 1829967 HAS SOUS 235752 HAS SOUPS 235252 WITH SCORE 237082.467
AT ITER 4258 NEW BEST:: SOT 2077812 SOS 1830464 HAS SOPS 1829964 HAS SOUS 235746 HAS SOUPS 235246 WITH SCORE 237076.464
AT ITER 4284 NEW BEST:: SOT 2077786 SOS 1830438 HAS SOPS 1829938 HAS SOUS 235695 HAS SOUPS 235195 WITH SCORE 237025.438
AT ITER 4290 NEW BEST:: SOT 2077786 SOS 1830438 HAS SOPS 1829938 HAS SOUS 235684 HAS SOUPS 235184 WITH SCORE 237014.438
AT ITER 4305 NEW BEST:: SOT 2077749 SOS 1830364 HAS SOPS 1829864 HAS SOUS 235610 HAS SOUPS 235110 WITH SCORE 236940.364
AT ITER 4333 NEW BEST:: SOT 2077690 SOS 1830364 HAS SOPS 1829864 HAS SOUS 235540 HAS SOUPS 235040 WITH SCORE 236870.364
AT ITER 4341 NEW BEST:: SOT 2077775 SOS 1830084 HAS SOPS 1829584 HAS SOUS 235496 HAS SOUPS 234996 WITH SCORE 236826.084
AT ITER 4342 NEW BEST:: SOT 2077680 SOS 1829897 HAS SOPS 1829397 HAS SOUS 235309 HAS SOUPS 234809 WITH SCORE 236638.897
AT ITER 4344 NEW BEST:: SOT 2077680 SOS 1829897 HAS SOPS 1829397 HAS SOUS 235303 HAS SOUPS 234803 WITH SCORE 236632.897
AT ITER 4369 NEW BEST:: SOT 2077575 SOS 1829687 HAS SOPS 1829187 HAS SOUS 235108 HAS SOUPS 234608 WITH SCORE 236437.687
AT ITER 4402 NEW BEST:: SOT 2077524 SOS 1829636 HAS SOPS 1829136 HAS SOUS 235006 HAS SOUPS 234506 WITH SCORE 236335.636
AT ITER 4410 NEW BEST:: SOT 2077436 SOS 1829548 HAS SOPS 1829048 HAS SOUS 234830 HAS SOUPS 234330 WITH SCORE 236159.548
AT ITER 4451 NEW BEST:: SOT 2077418 SOS 1829530 HAS SOPS 1829030 HAS SOUS 234794 HAS SOUPS 234294 WITH SCORE 236123.53
AT ITER 4479 NEW BEST:: SOT 2077404 SOS 1829502 HAS SOPS 1829002 HAS SOUS 234777 HAS SOUPS 234277 WITH SCORE 236106.502
AT ITER 4542 NEW BEST:: SOT 2077300 SOS 1829398 HAS SOPS 1828898 HAS SOUS 234621 HAS SOUPS 234121 WITH SCORE 235950.398
AT ITER 4568 NEW BEST:: SOT 2077268 SOS 1829366 HAS SOPS 1828866 HAS SOUS 234557 HAS SOUPS 234057 WITH SCORE 235886.366
AT ITER 4582 NEW BEST:: SOT 2077245 SOS 1829343 HAS SOPS 1828843 HAS SOUS 234556 HAS SOUPS 234056 WITH SCORE 235885.343
AT ITER 4585 NEW BEST:: SOT 2077188 SOS 1829229 HAS SOPS 1828729 HAS SOUS 234472 HAS SOUPS 233972 WITH SCORE 235801.229
AT ITER 4615 NEW BEST:: SOT 2077204 SOS 1829245 HAS SOPS 1828745 HAS SOUS 234413 HAS SOUPS 233913 WITH SCORE 235742.245
AT ITER 4628 NEW BEST:: SOT 2077179 SOS 1829195 HAS SOPS 1828695 HAS SOUS 234363 HAS SOUPS 233863 WITH SCORE 235692.195
AT ITER 4657 NEW BEST:: SOT 2077129 SOS 1829313 HAS SOPS 1828813 HAS SOUS 234360 HAS SOUPS 233860 WITH SCORE 235689.313
AT ITER 4690 NEW BEST:: SOT 2076986 SOS 1829170 HAS SOPS 1828670 HAS SOUS 234074 HAS SOUPS 233574 WITH SCORE 235403.17
AT ITER 4691 NEW BEST:: SOT 2076940 SOS 1829122 HAS SOPS 1828622 HAS SOUS 234074 HAS SOUPS 233574 WITH SCORE 235403.122
AT ITER 4742 NEW BEST:: SOT 2076773 SOS 1828957 HAS SOPS 1828629 HAS SOUS 233897 HAS SOUPS 233569 WITH SCORE 235397.957
AT ITER 4748 NEW BEST:: SOT 2076630 SOS 1828880 HAS SOPS 1828763 HAS SOUS 233677 HAS SOUPS 233560 WITH SCORE 235388.88
AT ITER 4759 NEW BEST:: SOT 2076624 SOS 1828874 HAS SOPS 1828757 HAS SOUS 233671 HAS SOUPS 233554 WITH SCORE 235382.874
AT ITER 4770 NEW BEST:: SOT 2076623 SOS 1828872 HAS SOPS 1828755 HAS SOUS 233668 HAS SOUPS 233551 WITH SCORE 235379.872
AT ITER 4790 NEW BEST:: SOT 2076604 SOS 1828853 HAS SOPS 1828736 HAS SOUS 233630 HAS SOUPS 233513 WITH SCORE 235341.853
AT ITER 4805 NEW BEST:: SOT 2076588 SOS 1828821 HAS SOPS 1828704 HAS SOUS 233614 HAS SOUPS 233497 WITH SCORE 235325.821
AT ITER 4812 NEW BEST:: SOT 2076562 SOS 1828795 HAS SOPS 1828678 HAS SOUS 233606 HAS SOUPS 233489 WITH SCORE 235317.795
AT ITER 4824 NEW BEST:: SOT 2076523 SOS 1828795 HAS SOPS 1828678 HAS SOUS 233567 HAS SOUPS 233450 WITH SCORE 235278.795
AT ITER 4842 NEW BEST:: SOT 2079270 SOS 1831677 HAS SOPS 1831560 HAS SOUS 233542 HAS SOUPS 233425 WITH SCORE 235256.677
AT ITER 4846 NEW BEST:: SOT 2079258 SOS 1831665 HAS SOPS 1831548 HAS SOUS 233530 HAS SOUPS 233413 WITH SCORE 235244.665
AT ITER 4852 NEW BEST:: SOT 2079221 SOS 1831591 HAS SOPS 1831474 HAS SOUS 233493 HAS SOUPS 233376 WITH SCORE 235207.591
AT ITER 4867 NEW BEST:: SOT 2079221 SOS 1831525 HAS SOPS 1831404 HAS SOUS 233427 HAS SOUPS 233306 WITH SCORE 235137.525
AT ITER 4876 NEW BEST:: SOT 2079215 SOS 1831513 HAS SOPS 1831392 HAS SOUS 233415 HAS SOUPS 233294 WITH SCORE 235125.513
AT ITER 4912 NEW BEST:: SOT 2079122 SOS 1831623 HAS SOPS 1831502 HAS SOUS 233356 HAS SOUPS 233235 WITH SCORE 235066.623
AT ITER 4914 NEW BEST:: SOT 2079105 SOS 1831589 HAS SOPS 1831468 HAS SOUS 233322 HAS SOUPS 233201 WITH SCORE 235032.589
AT ITER 4924 NEW BEST:: SOT 2079112 SOS 1831596 HAS SOPS 1831475 HAS SOUS 233319 HAS SOUPS 233198 WITH SCORE 235029.596
AT ITER 4927 NEW BEST:: SOT 2079110 SOS 1831592 HAS SOPS 1831471 HAS SOUS 233315 HAS SOUPS 233194 WITH SCORE 235025.592
AT ITER 4935 NEW BEST:: SOT 2078966 SOS 1831607 HAS SOPS 1831486 HAS SOUS 233038 HAS SOUPS 232917 WITH SCORE 234748.607
AT ITER 4984 NEW BEST:: SOT 2078807 SOS 1799223 HAS SOPS 1799102 HAS SOUS 232714 HAS SOUPS 232593 WITH SCORE 234392.223
AT ITER 5000 NEW BEST:: SOT 2078665 SOS 1799081 HAS SOPS 1798960 HAS SOUS 232571 HAS SOUPS 232450 WITH SCORE 234249.081
AT ITER 5009 NEW BEST:: SOT 2078651 SOS 1799070 HAS SOPS 1798953 HAS SOUS 232553 HAS SOUPS 232436 WITH SCORE 234235.07
AT ITER 5016 NEW BEST:: SOT 2078607 SOS 1799136 HAS SOPS 1799019 HAS SOUS 232542 HAS SOUPS 232425 WITH SCORE 234224.136
AT ITER 5067 NEW BEST:: SOT 2078607 SOS 1799136 HAS SOPS 1799019 HAS SOUS 232519 HAS SOUPS 232402 WITH SCORE 234201.136
AT ITER 5141 NEW BEST:: SOT 2078608 SOS 1798940 HAS SOPS 1798823 HAS SOUS 232453 HAS SOUPS 232336 WITH SCORE 234134.94
AT ITER 5165 NEW BEST:: SOT 2078661 SOS 1798838 HAS SOPS 1798721 HAS SOUS 232387 HAS SOUPS 232270 WITH SCORE 234068.838
AT ITER 5188 NEW BEST:: SOT 2078655 SOS 1798832 HAS SOPS 1798715 HAS SOUS 232377 HAS SOUPS 232260 WITH SCORE 234058.832
AT ITER 5228 NEW BEST:: SOT 2078652 SOS 1798826 HAS SOPS 1798709 HAS SOUS 232374 HAS SOUPS 232257 WITH SCORE 234055.826
AT ITER 5275 NEW BEST:: SOT 2078685 SOS 1798895 HAS SOPS 1798778 HAS SOUS 232164 HAS SOUPS 232047 WITH SCORE 233845.895
AT ITER 5292 NEW BEST:: SOT 2078587 SOS 1798797 HAS SOPS 1798680 HAS SOUS 232017 HAS SOUPS 231900 WITH SCORE 233698.797
AT ITER 5294 NEW BEST:: SOT 2078413 SOS 1799038 HAS SOPS 1798921 HAS SOUS 231910 HAS SOUPS 231793 WITH SCORE 233592.038
AT ITER 5301 NEW BEST:: SOT 2078304 SOS 1798820 HAS SOPS 1798703 HAS SOUS 231717 HAS SOUPS 231600 WITH SCORE 233398.82
AT ITER 5325 NEW BEST:: SOT 2078298 SOS 1798954 HAS SOPS 1798837 HAS SOUS 231668 HAS SOUPS 231551 WITH SCORE 233349.954
AT ITER 5331 NEW BEST:: SOT 2078253 SOS 1798864 HAS SOPS 1798747 HAS SOUS 231578 HAS SOUPS 231461 WITH SCORE 233259.864
AT ITER 5332 NEW BEST:: SOT 2078203 SOS 1798764 HAS SOPS 1798647 HAS SOUS 231559 HAS SOUPS 231442 WITH SCORE 233240.764
AT ITER 5340 NEW BEST:: SOT 2078145 SOS 1798677 HAS SOPS 1798560 HAS SOUS 231472 HAS SOUPS 231355 WITH SCORE 233153.677
AT ITER 5397 NEW BEST:: SOT 2078138 SOS 1798670 HAS SOPS 1798553 HAS SOUS 231465 HAS SOUPS 231348 WITH SCORE 233146.67
AT ITER 5403 NEW BEST:: SOT 2076597 SOS 1797129 HAS SOPS 1797012 HAS SOUS 231465 HAS SOUPS 231348 WITH SCORE 233145.129
AT ITER 5426 NEW BEST:: SOT 2076591 SOS 1797123 HAS SOPS 1797006 HAS SOUS 231444 HAS SOUPS 231327 WITH SCORE 233124.123
AT ITER 5445 NEW BEST:: SOT 2076562 SOS 1797094 HAS SOPS 1796977 HAS SOUS 231386 HAS SOUPS 231269 WITH SCORE 233066.094
AT ITER 5468 NEW BEST:: SOT 2076537 SOS 1797044 HAS SOPS 1796927 HAS SOUS 231354 HAS SOUPS 231237 WITH SCORE 233034.044
AT ITER 5510 NEW BEST:: SOT 2076422 SOS 1796929 HAS SOPS 1796812 HAS SOUS 231232 HAS SOUPS 231115 WITH SCORE 232911.929
AT ITER 5517 NEW BEST:: SOT 2076379 SOS 1796886 HAS SOPS 1796769 HAS SOUS 231189 HAS SOUPS 231072 WITH SCORE 232868.886
AT ITER 5529 NEW BEST:: SOT 2076343 SOS 1796814 HAS SOPS 1796697 HAS SOUS 231117 HAS SOUPS 231000 WITH SCORE 232796.814
AT ITER 5556 NEW BEST:: SOT 2074917 SOS 1795388 HAS SOPS 1795271 HAS SOUS 231117 HAS SOUPS 231000 WITH SCORE 232795.388
AT ITER 5582 NEW BEST:: SOT 2074917 SOS 1795388 HAS SOPS 1795271 HAS SOUS 231086 HAS SOUPS 230969 WITH SCORE 232764.388
AT ITER 5620 NEW BEST:: SOT 2074893 SOS 1795788 HAS SOPS 1795671 HAS SOUS 231062 HAS SOUPS 230945 WITH SCORE 232740.788
AT ITER 5621 NEW BEST:: SOT 2074869 SOS 1795764 HAS SOPS 1795647 HAS SOUS 231014 HAS SOUPS 230897 WITH SCORE 232692.764
AT ITER 5647 NEW BEST:: SOT 2074862 SOS 1795764 HAS SOPS 1795647 HAS SOUS 231007 HAS SOUPS 230890 WITH SCORE 232685.764
AT ITER 5650 NEW BEST:: SOT 2074856 SOS 1795758 HAS SOPS 1795641 HAS SOUS 230998 HAS SOUPS 230881 WITH SCORE 232676.758
AT ITER 5668 NEW BEST:: SOT 2074844 SOS 1795746 HAS SOPS 1795629 HAS SOUS 230987 HAS SOUPS 230870 WITH SCORE 232665.746
AT ITER 5670 NEW BEST:: SOT 2074778 SOS 1795614 HAS SOPS 1795497 HAS SOUS 230929 HAS SOUPS 230812 WITH SCORE 232607.614
AT ITER 5696 NEW BEST:: SOT 2074721 SOS 1795500 HAS SOPS 1795383 HAS SOUS 230815 HAS SOUPS 230698 WITH SCORE 232493.5
AT ITER 5748 NEW BEST:: SOT 2074695 SOS 1795448 HAS SOPS 1795331 HAS SOUS 230763 HAS SOUPS 230646 WITH SCORE 232441.448
AT ITER 5784 NEW BEST:: SOT 2074689 SOS 1795442 HAS SOPS 1795325 HAS SOUS 230683 HAS SOUPS 230566 WITH SCORE 232361.442
AT ITER 5787 NEW BEST:: SOT 2074689 SOS 1795007 HAS SOPS 1794890 HAS SOUS 230657 HAS SOUPS 230540 WITH SCORE 232335.007
AT ITER 5813 NEW BEST:: SOT 2074758 SOS 1795122 HAS SOPS 1795005 HAS SOUS 230583 HAS SOUPS 230466 WITH SCORE 232261.122
AT ITER 5831 NEW BEST:: SOT 2074051 SOS 1794415 HAS SOPS 1794298 HAS SOUS 230558 HAS SOUPS 230441 WITH SCORE 232235.415
AT ITER 5833 NEW BEST:: SOT 2074002 SOS 1794317 HAS SOPS 1794200 HAS SOUS 230485 HAS SOUPS 230368 WITH SCORE 232162.317
AT ITER 5846 NEW BEST:: SOT 2073923 SOS 1794435 HAS SOPS 1794318 HAS SOUS 230446 HAS SOUPS 230329 WITH SCORE 232123.435
AT ITER 5854 NEW BEST:: SOT 2073934 SOS 1794446 HAS SOPS 1794259 HAS SOUS 230468 HAS SOUPS 230281 WITH SCORE 232075.446
AT ITER 5872 NEW BEST:: SOT 2073928 SOS 1794440 HAS SOPS 1794253 HAS SOUS 230462 HAS SOUPS 230275 WITH SCORE 232069.44
AT ITER 5873 NEW BEST:: SOT 2073900 SOS 1794440 HAS SOPS 1794253 HAS SOUS 230434 HAS SOUPS 230247 WITH SCORE 232041.44
AT ITER 5886 NEW BEST:: SOT 2073880 SOS 1794420 HAS SOPS 1794233 HAS SOUS 230394 HAS SOUPS 230207 WITH SCORE 232001.42
AT ITER 5889 NEW BEST:: SOT 2073872 SOS 1794404 HAS SOPS 1794217 HAS SOUS 230378 HAS SOUPS 230191 WITH SCORE 231985.404
AT ITER 5950 NEW BEST:: SOT 2073855 SOS 1794370 HAS SOPS 1794183 HAS SOUS 230361 HAS SOUPS 230174 WITH SCORE 231968.37
AT ITER 5966 NEW BEST:: SOT 2073838 SOS 1794336 HAS SOPS 1794149 HAS SOUS 230333 HAS SOUPS 230146 WITH SCORE 231940.336
AT ITER 5996 NEW BEST:: SOT 2073790 SOS 1794240 HAS SOPS 1794053 HAS SOUS 230252 HAS SOUPS 230065 WITH SCORE 231859.24
AT ITER 6020 NEW BEST:: SOT 2073783 SOS 1794233 HAS SOPS 1794046 HAS SOUS 230245 HAS SOUPS 230058 WITH SCORE 231852.233
AT ITER 6028 NEW BEST:: SOT 2073777 SOS 1794227 HAS SOPS 1794040 HAS SOUS 230239 HAS SOUPS 230052 WITH SCORE 231846.227
AT ITER 6038 NEW BEST:: SOT 2073748 SOS 1794198 HAS SOPS 1794011 HAS SOUS 230209 HAS SOUPS 230022 WITH SCORE 231816.198
AT ITER 6045 NEW BEST:: SOT 2073729 SOS 1794160 HAS SOPS 1793973 HAS SOUS 230190 HAS SOUPS 230003 WITH SCORE 231797.16
AT ITER 6066 NEW BEST:: SOT 2073722 SOS 1794132 HAS SOPS 1793945 HAS SOUS 230176 HAS SOUPS 229989 WITH SCORE 231783.132
AT ITER 6128 NEW BEST:: SOT 2073704 SOS 1794096 HAS SOPS 1793909 HAS SOUS 230154 HAS SOUPS 229967 WITH SCORE 231761.096
AT ITER 6157 NEW BEST:: SOT 2073633 SOS 1794025 HAS SOPS 1793838 HAS SOUS 230083 HAS SOUPS 229896 WITH SCORE 231690.025
AT ITER 6169 NEW BEST:: SOT 2073613 SOS 1794005 HAS SOPS 1793818 HAS SOUS 230043 HAS SOUPS 229856 WITH SCORE 231650.005
AT ITER 6175 NEW BEST:: SOT 2073613 SOS 1794005 HAS SOPS 1793818 HAS SOUS 230034 HAS SOUPS 229847 WITH SCORE 231641.005
AT ITER 6181 NEW BEST:: SOT 2073626 SOS 1793923 HAS SOPS 1793675 HAS SOUS 229965 HAS SOUPS 229717 WITH SCORE 231510.923
AT ITER 6197 NEW BEST:: SOT 2073602 SOS 1793875 HAS SOPS 1793627 HAS SOUS 229917 HAS SOUPS 229669 WITH SCORE 231462.875
AT ITER 6230 NEW BEST:: SOT 2073602 SOS 1793753 HAS SOPS 1793505 HAS SOUS 229917 HAS SOUPS 229669 WITH SCORE 231462.753
AT ITER 6235 NEW BEST:: SOT 2073601 SOS 1793751 HAS SOPS 1793503 HAS SOUS 229858 HAS SOUPS 229610 WITH SCORE 231403.751
AT ITER 6255 NEW BEST:: SOT 2073597 SOS 1793743 HAS SOPS 1793495 HAS SOUS 229854 HAS SOUPS 229606 WITH SCORE 231399.743
AT ITER 6276 NEW BEST:: SOT 2073592 SOS 1793738 HAS SOPS 1793490 HAS SOUS 229844 HAS SOUPS 229596 WITH SCORE 231389.738
AT ITER 6313 NEW BEST:: SOT 2073585 SOS 1793724 HAS SOPS 1793476 HAS SOUS 229822 HAS SOUPS 229574 WITH SCORE 231367.724
AT ITER 6342 NEW BEST:: SOT 2073577 SOS 1793708 HAS SOPS 1793460 HAS SOUS 229806 HAS SOUPS 229558 WITH SCORE 231351.708
AT ITER 6396 NEW BEST:: SOT 2073547 SOS 1793681 HAS SOPS 1793430 HAS SOUS 229779 HAS SOUPS 229528 WITH SCORE 231321.681
AT ITER 6399 NEW BEST:: SOT 2073540 SOS 1793674 HAS SOPS 1793423 HAS SOUS 229765 HAS SOUPS 229514 WITH SCORE 231307.674
AT ITER 6411 NEW BEST:: SOT 2073519 SOS 1793659 HAS SOPS 1793408 HAS SOUS 229744 HAS SOUPS 229493 WITH SCORE 231286.659
AT ITER 6421 NEW BEST:: SOT 2073488 SOS 1793597 HAS SOPS 1793346 HAS SOUS 229682 HAS SOUPS 229431 WITH SCORE 231224.597
AT ITER 6437 NEW BEST:: SOT 2073465 SOS 1793574 HAS SOPS 1793323 HAS SOUS 229641 HAS SOUPS 229390 WITH SCORE 231183.574
AT ITER 6440 NEW BEST:: SOT 2073438 SOS 1793678 HAS SOPS 1793427 HAS SOUS 229614 HAS SOUPS 229363 WITH SCORE 231156.678
AT ITER 6473 NEW BEST:: SOT 2073421 SOS 1793678 HAS SOPS 1793427 HAS SOUS 229597 HAS SOUPS 229346 WITH SCORE 231139.678
AT ITER 6480 NEW BEST:: SOT 2073372 SOS 1793629 HAS SOPS 1793378 HAS SOUS 229520 HAS SOUPS 229269 WITH SCORE 231062.629
AT ITER 6531 NEW BEST:: SOT 2073359 SOS 1793616 HAS SOPS 1793365 HAS SOUS 229502 HAS SOUPS 229251 WITH SCORE 231044.616
AT ITER 6534 NEW BEST:: SOT 2073201 SOS 1793300 HAS SOPS 1793049 HAS SOUS 229188 HAS SOUPS 228937 WITH SCORE 230730.3
AT ITER 6568 NEW BEST:: SOT 2073201 SOS 1793300 HAS SOPS 1793049 HAS SOUS 229163 HAS SOUPS 228912 WITH SCORE 230705.3
AT ITER 6609 NEW BEST:: SOT 2073201 SOS 1793198 HAS SOPS 1792947 HAS SOUS 229163 HAS SOUPS 228912 WITH SCORE 230705.198
AT ITER 6619 NEW BEST:: SOT 2073236 SOS 1793233 HAS SOPS 1792982 HAS SOUS 229134 HAS SOUPS 228883 WITH SCORE 230676.233
AT ITER 6620 NEW BEST:: SOT 2073231 SOS 1793245 HAS SOPS 1792994 HAS SOUS 229129 HAS SOUPS 228878 WITH SCORE 230671.245
AT ITER 6632 NEW BEST:: SOT 2073216 SOS 1793230 HAS SOPS 1792979 HAS SOUS 229099 HAS SOUPS 228848 WITH SCORE 230641.23
AT ITER 6634 NEW BEST:: SOT 2073210 SOS 1793224 HAS SOPS 1792973 HAS SOUS 229090 HAS SOUPS 228839 WITH SCORE 230632.224
AT ITER 6636 NEW BEST:: SOT 2073187 SOS 1793201 HAS SOPS 1792950 HAS SOUS 229090 HAS SOUPS 228839 WITH SCORE 230632.201
AT ITER 6656 NEW BEST:: SOT 2073172 SOS 1793186 HAS SOPS 1792935 HAS SOUS 229060 HAS SOUPS 228809 WITH SCORE 230602.186
AT ITER 6715 NEW BEST:: SOT 2073129 SOS 1793143 HAS SOPS 1792892 HAS SOUS 228974 HAS SOUPS 228723 WITH SCORE 230516.143
AT ITER 6721 NEW BEST:: SOT 2073129 SOS 1793143 HAS SOPS 1792892 HAS SOUS 228954 HAS SOUPS 228703 WITH SCORE 230496.143
AT ITER 6731 NEW BEST:: SOT 2073103 SOS 1793091 HAS SOPS 1792840 HAS SOUS 228910 HAS SOUPS 228659 WITH SCORE 230452.091
AT ITER 6770 NEW BEST:: SOT 2073071 SOS 1793027 HAS SOPS 1792776 HAS SOUS 228867 HAS SOUPS 228616 WITH SCORE 230409.027
AT ITER 6798 NEW BEST:: SOT 2073053 SOS 1793019 HAS SOPS 1792768 HAS SOUS 228845 HAS SOUPS 228594 WITH SCORE 230387.019
AT ITER 6824 NEW BEST:: SOT 2073050 SOS 1793016 HAS SOPS 1792765 HAS SOUS 228839 HAS SOUPS 228588 WITH SCORE 230381.016
AT ITER 6829 NEW BEST:: SOT 2073021 SOS 1792987 HAS SOPS 1792736 HAS SOUS 228821 HAS SOUPS 228570 WITH SCORE 230362.987
AT ITER 6834 NEW BEST:: SOT 2074292 SOS 1794258 HAS SOPS 1794007 HAS SOUS 228684 HAS SOUPS 228433 WITH SCORE 230227.258
AT ITER 6845 NEW BEST:: SOT 2074859 SOS 1794825 HAS SOPS 1794574 HAS SOUS 228630 HAS SOUPS 228379 WITH SCORE 230173.825
AT ITER 6850 NEW BEST:: SOT 2074859 SOS 1794767 HAS SOPS 1794516 HAS SOUS 228630 HAS SOUPS 228379 WITH SCORE 230173.767
AT ITER 6913 NEW BEST:: SOT 2074825 SOS 1794733 HAS SOPS 1794482 HAS SOUS 228596 HAS SOUPS 228345 WITH SCORE 230139.733
AT ITER 6977 NEW BEST:: SOT 2074803 SOS 1794689 HAS SOPS 1794438 HAS SOUS 228558 HAS SOUPS 228307 WITH SCORE 230101.689
AT ITER 6994 NEW BEST:: SOT 2074780 SOS 1794734 HAS SOPS 1794483 HAS SOUS 228531 HAS SOUPS 228280 WITH SCORE 230074.734
AT ITER 7029 NEW BEST:: SOT 2074754 SOS 1794682 HAS SOPS 1794431 HAS SOUS 228479 HAS SOUPS 228228 WITH SCORE 230022.682
AT ITER 7141 NEW BEST:: SOT 2074724 SOS 1794652 HAS SOPS 1794401 HAS SOUS 228419 HAS SOUPS 228168 WITH SCORE 229962.652
AT ITER 7157 NEW BEST:: SOT 2074715 SOS 1794584 HAS SOPS 1794333 HAS SOUS 228385 HAS SOUPS 228134 WITH SCORE 229928.584
AT ITER 7179 NEW BEST:: SOT 2074724 SOS 1794593 HAS SOPS 1794342 HAS SOUS 228360 HAS SOUPS 228109 WITH SCORE 229903.593
AT ITER 7189 NEW BEST:: SOT 2074656 SOS 1794573 HAS SOPS 1794322 HAS SOUS 228282 HAS SOUPS 228031 WITH SCORE 229825.573
AT ITER 7190 NEW BEST:: SOT 2074653 SOS 1794570 HAS SOPS 1794319 HAS SOUS 228279 HAS SOUPS 228028 WITH SCORE 229822.57
AT ITER 7296 NEW BEST:: SOT 2074624 SOS 1794541 HAS SOPS 1794290 HAS SOUS 228233 HAS SOUPS 227982 WITH SCORE 229776.541
AT ITER 7307 NEW BEST:: SOT 2074490 SOS 1794433 HAS SOPS 1794156 HAS SOUS 228151 HAS SOUPS 227874 WITH SCORE 229668.433
AT ITER 7314 NEW BEST:: SOT 2073898 SOS 1793854 HAS SOPS 1793764 HAS SOUS 227455 HAS SOUPS 227365 WITH SCORE 229158.854
AT ITER 7326 NEW BEST:: SOT 2073894 SOS 1793850 HAS SOPS 1793760 HAS SOUS 227447 HAS SOUPS 227357 WITH SCORE 229150.85
AT ITER 7336 NEW BEST:: SOT 2073868 SOS 1793736 HAS SOPS 1793646 HAS SOUS 227387 HAS SOUPS 227297 WITH SCORE 229090.736
AT ITER 7368 NEW BEST:: SOT 2073798 SOS 1793596 HAS SOPS 1793506 HAS SOUS 227283 HAS SOUPS 227193 WITH SCORE 228986.596
AT ITER 7370 NEW BEST:: SOT 2073798 SOS 1793518 HAS SOPS 1793428 HAS SOUS 227244 HAS SOUPS 227154 WITH SCORE 228947.518
AT ITER 7371 NEW BEST:: SOT 2073796 SOS 1793516 HAS SOPS 1793426 HAS SOUS 227240 HAS SOUPS 227150 WITH SCORE 228943.516
AT ITER 7446 NEW BEST:: SOT 2073786 SOS 1793506 HAS SOPS 1793416 HAS SOUS 227220 HAS SOUPS 227130 WITH SCORE 228923.506
AT ITER 7508 NEW BEST:: SOT 2073769 SOS 1793506 HAS SOPS 1793416 HAS SOUS 227203 HAS SOUPS 227113 WITH SCORE 228906.506
AT ITER 7518 NEW BEST:: SOT 2073726 SOS 1793463 HAS SOPS 1793373 HAS SOUS 227117 HAS SOUPS 227027 WITH SCORE 228820.463
AT ITER 7524 NEW BEST:: SOT 2073696 SOS 1793395 HAS SOPS 1793305 HAS SOUS 227046 HAS SOUPS 226956 WITH SCORE 228749.395
AT ITER 7532 NEW BEST:: SOT 2073696 SOS 1793319 HAS SOPS 1793229 HAS SOUS 227046 HAS SOUPS 226956 WITH SCORE 228749.319
AT ITER 7560 NEW BEST:: SOT 2073696 SOS 1793319 HAS SOPS 1793229 HAS SOUS 227027 HAS SOUPS 226937 WITH SCORE 228730.319
AT ITER 7628 NEW BEST:: SOT 2073677 SOS 1793300 HAS SOPS 1793210 HAS SOUS 227008 HAS SOUPS 226918 WITH SCORE 228711.3
AT ITER 7632 NEW BEST:: SOT 2073668 SOS 1793291 HAS SOPS 1793201 HAS SOUS 226990 HAS SOUPS 226900 WITH SCORE 228693.291
AT ITER 7634 NEW BEST:: SOT 2073524 SOS 1793317 HAS SOPS 1793227 HAS SOUS 226846 HAS SOUPS 226756 WITH SCORE 228549.317
AT ITER 7638 NEW BEST:: SOT 2073524 SOS 1793299 HAS SOPS 1793209 HAS SOUS 226846 HAS SOUPS 226756 WITH SCORE 228549.299
AT ITER 7655 NEW BEST:: SOT 2073530 SOS 1793231 HAS SOPS 1793141 HAS SOUS 226823 HAS SOUPS 226733 WITH SCORE 228526.231
AT ITER 7671 NEW BEST:: SOT 2073517 SOS 1793218 HAS SOPS 1793128 HAS SOUS 226797 HAS SOUPS 226707 WITH SCORE 228500.218
AT ITER 7712 NEW BEST:: SOT 2073493 SOS 1793166 HAS SOPS 1793076 HAS SOUS 226766 HAS SOUPS 226676 WITH SCORE 228469.166
AT ITER 7726 NEW BEST:: SOT 2073487 SOS 1793160 HAS SOPS 1793070 HAS SOUS 226754 HAS SOUPS 226664 WITH SCORE 228457.16
AT ITER 7729 NEW BEST:: SOT 2073487 SOS 1793160 HAS SOPS 1793070 HAS SOUS 226731 HAS SOUPS 226641 WITH SCORE 228434.16
AT ITER 7753 NEW BEST:: SOT 2073750 SOS 1793428 HAS SOPS 1793338 HAS SOUS 226723 HAS SOUPS 226633 WITH SCORE 228426.428
AT ITER 7785 NEW BEST:: SOT 2073681 SOS 1793290 HAS SOPS 1793200 HAS SOUS 226654 HAS SOUPS 226564 WITH SCORE 228357.29
AT ITER 7788 NEW BEST:: SOT 2073549 SOS 1793158 HAS SOPS 1793068 HAS SOUS 226532 HAS SOUPS 226442 WITH SCORE 228235.158
AT ITER 7789 NEW BEST:: SOT 2073536 SOS 1793145 HAS SOPS 1793055 HAS SOUS 226506 HAS SOUPS 226416 WITH SCORE 228209.145
AT ITER 7809 NEW BEST:: SOT 2073508 SOS 1793089 HAS SOPS 1792999 HAS SOUS 226468 HAS SOUPS 226378 WITH SCORE 228171.089
AT ITER 7850 NEW BEST:: SOT 2073506 SOS 1793087 HAS SOPS 1792997 HAS SOUS 226378 HAS SOUPS 226288 WITH SCORE 228081.087
AT ITER 7876 NEW BEST:: SOT 2073481 SOS 1793279 HAS SOPS 1793189 HAS SOUS 226353 HAS SOUPS 226263 WITH SCORE 228056.279
AT ITER 7880 NEW BEST:: SOT 2073481 SOS 1793279 HAS SOPS 1793189 HAS SOUS 226349 HAS SOUPS 226259 WITH SCORE 228052.279
AT ITER 7901 NEW BEST:: SOT 2073455 SOS 1793253 HAS SOPS 1793163 HAS SOUS 226297 HAS SOUPS 226207 WITH SCORE 228000.253
AT ITER 7915 NEW BEST:: SOT 2073447 SOS 1793245 HAS SOPS 1793155 HAS SOUS 226281 HAS SOUPS 226191 WITH SCORE 227984.245
AT ITER 7918 NEW BEST:: SOT 2073419 SOS 1793189 HAS SOPS 1793099 HAS SOUS 226266 HAS SOUPS 226176 WITH SCORE 227969.189
AT ITER 7998 NEW BEST:: SOT 2073396 SOS 1793221 HAS SOPS 1793131 HAS SOUS 226243 HAS SOUPS 226153 WITH SCORE 227946.221
AT ITER 8012 NEW BEST:: SOT 2073383 SOS 1793208 HAS SOPS 1793118 HAS SOUS 226217 HAS SOUPS 226127 WITH SCORE 227920.208
AT ITER 8019 NEW BEST:: SOT 2073309 SOS 1793134 HAS SOPS 1793044 HAS SOUS 226114 HAS SOUPS 226024 WITH SCORE 227817.134
AT ITER 8060 NEW BEST:: SOT 2073295 SOS 1793106 HAS SOPS 1793016 HAS SOUS 226095 HAS SOUPS 226005 WITH SCORE 227798.106
AT ITER 8072 NEW BEST:: SOT 2073244 SOS 1793004 HAS SOPS 1792914 HAS SOUS 226033 HAS SOUPS 225943 WITH SCORE 227736.004
AT ITER 8114 NEW BEST:: SOT 2073126 SOS 1792768 HAS SOPS 1792678 HAS SOUS 225797 HAS SOUPS 225707 WITH SCORE 227499.768
AT ITER 8121 NEW BEST:: SOT 2073071 SOS 1792658 HAS SOPS 1792568 HAS SOUS 225788 HAS SOUPS 225698 WITH SCORE 227490.658
AT ITER 8122 NEW BEST:: SOT 2073108 SOS 1792695 HAS SOPS 1792605 HAS SOUS 225735 HAS SOUPS 225645 WITH SCORE 227437.695
AT ITER 8151 NEW BEST:: SOT 2073108 SOS 1792561 HAS SOPS 1792471 HAS SOUS 225735 HAS SOUPS 225645 WITH SCORE 227437.561
AT ITER 8153 NEW BEST:: SOT 2073018 SOS 1792471 HAS SOPS 1792381 HAS SOUS 225600 HAS SOUPS 225510 WITH SCORE 227302.471
AT ITER 8166 NEW BEST:: SOT 2073006 SOS 1792459 HAS SOPS 1792369 HAS SOUS 225598 HAS SOUPS 225508 WITH SCORE 227300.459
AT ITER 8192 NEW BEST:: SOT 2073003 SOS 1792453 HAS SOPS 1792363 HAS SOUS 225592 HAS SOUPS 225502 WITH SCORE 227294.453
AT ITER 8206 NEW BEST:: SOT 2073003 SOS 1792453 HAS SOPS 1792363 HAS SOUS 225590 HAS SOUPS 225500 WITH SCORE 227292.453
AT ITER 8214 NEW BEST:: SOT 2073003 SOS 1792453 HAS SOPS 1792363 HAS SOUS 225571 HAS SOUPS 225481 WITH SCORE 227273.453
AT ITER 8296 NEW BEST:: SOT 2072984 SOS 1792434 HAS SOPS 1792344 HAS SOUS 225547 HAS SOUPS 225457 WITH SCORE 227249.434
AT ITER 8313 NEW BEST:: SOT 2072956 SOS 1792428 HAS SOPS 1792338 HAS SOUS 225516 HAS SOUPS 225426 WITH SCORE 227218.428
AT ITER 8325 NEW BEST:: SOT 2072956 SOS 1792178 HAS SOPS 1792088 HAS SOUS 225516 HAS SOUPS 225426 WITH SCORE 227218.178
AT ITER 8390 NEW BEST:: SOT 2072953 SOS 1792172 HAS SOPS 1792082 HAS SOUS 225510 HAS SOUPS 225420 WITH SCORE 227212.172
AT ITER 8424 NEW BEST:: SOT 2072953 SOS 1792172 HAS SOPS 1792082 HAS SOUS 225457 HAS SOUPS 225367 WITH SCORE 227159.172
AT ITER 8426 NEW BEST:: SOT 2072950 SOS 1792146 HAS SOPS 1792056 HAS SOUS 225444 HAS SOUPS 225354 WITH SCORE 227146.146
AT ITER 8442 NEW BEST:: SOT 2072835 SOS 1791951 HAS SOPS 1791861 HAS SOUS 225439 HAS SOUPS 225349 WITH SCORE 227140.951
AT ITER 8469 NEW BEST:: SOT 2072891 SOS 1791703 HAS SOPS 1791613 HAS SOUS 225371 HAS SOUPS 225281 WITH SCORE 227072.703
AT ITER 8561 NEW BEST:: SOT 2072890 SOS 1791702 HAS SOPS 1791612 HAS SOUS 225369 HAS SOUPS 225279 WITH SCORE 227070.702
AT ITER 8563 NEW BEST:: SOT 2072807 SOS 1791619 HAS SOPS 1791529 HAS SOUS 225205 HAS SOUPS 225115 WITH SCORE 226906.619
AT ITER 8570 NEW BEST:: SOT 2072797 SOS 1791625 HAS SOPS 1791535 HAS SOUS 225195 HAS SOUPS 225105 WITH SCORE 226896.625
AT ITER 8598 NEW BEST:: SOT 2072778 SOS 1791587 HAS SOPS 1791497 HAS SOUS 225175 HAS SOUPS 225085 WITH SCORE 226876.587
AT ITER 8630 NEW BEST:: SOT 2072778 SOS 1791543 HAS SOPS 1791453 HAS SOUS 225175 HAS SOUPS 225085 WITH SCORE 226876.543
AT ITER 8653 NEW BEST:: SOT 2072746 SOS 1791603 HAS SOPS 1791513 HAS SOUS 225143 HAS SOUPS 225053 WITH SCORE 226844.603
AT ITER 8655 NEW BEST:: SOT 2073648 SOS 1792505 HAS SOPS 1792415 HAS SOUS 225110 HAS SOUPS 225020 WITH SCORE 226812.505
AT ITER 8706 NEW BEST:: SOT 2073611 SOS 1792431 HAS SOPS 1792341 HAS SOUS 225073 HAS SOUPS 224983 WITH SCORE 226775.431
AT ITER 8799 NEW BEST:: SOT 2073611 SOS 1792425 HAS SOPS 1792335 HAS SOUS 225070 HAS SOUPS 224980 WITH SCORE 226772.425
AT ITER 8828 NEW BEST:: SOT 2073583 SOS 1792397 HAS SOPS 1792307 HAS SOUS 225029 HAS SOUPS 224939 WITH SCORE 226731.397
AT ITER 8829 NEW BEST:: SOT 2073574 SOS 1792361 HAS SOPS 1792271 HAS SOUS 225011 HAS SOUPS 224921 WITH SCORE 226713.361
AT ITER 8844 NEW BEST:: SOT 2073591 SOS 1792395 HAS SOPS 1792305 HAS SOUS 225005 HAS SOUPS 224915 WITH SCORE 226707.395
AT ITER 8874 NEW BEST:: SOT 2073583 SOS 1792409 HAS SOPS 1792319 HAS SOUS 224997 HAS SOUPS 224907 WITH SCORE 226699.409
AT ITER 8902 NEW BEST:: SOT 2073574 SOS 1792391 HAS SOPS 1792301 HAS SOUS 224975 HAS SOUPS 224885 WITH SCORE 226677.391
AT ITER 8942 NEW BEST:: SOT 2073574 SOS 1792391 HAS SOPS 1792301 HAS SOUS 224934 HAS SOUPS 224844 WITH SCORE 226636.391
AT ITER 8965 NEW BEST:: SOT 2073567 SOS 1792377 HAS SOPS 1792287 HAS SOUS 224920 HAS SOUPS 224830 WITH SCORE 226622.377
AT ITER 8985 NEW BEST:: SOT 2075151 SOS 1793942 HAS SOPS 1793852 HAS SOUS 224857 HAS SOUPS 224767 WITH SCORE 226560.942
AT ITER 9015 NEW BEST:: SOT 2075107 SOS 1793854 HAS SOPS 1793764 HAS SOUS 224769 HAS SOUPS 224679 WITH SCORE 226472.854
AT ITER 9021 NEW BEST:: SOT 2075100 SOS 1793812 HAS SOPS 1793722 HAS SOUS 224748 HAS SOUPS 224658 WITH SCORE 226451.812
AT ITER 9063 NEW BEST:: SOT 2075055 SOS 1793722 HAS SOPS 1793632 HAS SOUS 224658 HAS SOUPS 224568 WITH SCORE 226361.722
AT ITER 9071 NEW BEST:: SOT 2075055 SOS 1793722 HAS SOPS 1793632 HAS SOUS 224649 HAS SOUPS 224559 WITH SCORE 226352.722
AT ITER 9077 NEW BEST:: SOT 2074373 SOS 1793040 HAS SOPS 1792950 HAS SOUS 224649 HAS SOUPS 224559 WITH SCORE 226352.04
AT ITER 9087 NEW BEST:: SOT 2072556 SOS 1790019 HAS SOPS 1789929 HAS SOUS 224570 HAS SOUPS 224480 WITH SCORE 226270.019
AT ITER 9090 NEW BEST:: SOT 2072563 SOS 1790026 HAS SOPS 1789936 HAS SOUS 224556 HAS SOUPS 224466 WITH SCORE 226256.026
AT ITER 9122 NEW BEST:: SOT 2072563 SOS 1789856 HAS SOPS 1789766 HAS SOUS 224556 HAS SOUPS 224466 WITH SCORE 226255.856
AT ITER 9123 NEW BEST:: SOT 2072560 SOS 1789850 HAS SOPS 1789760 HAS SOUS 224553 HAS SOUPS 224463 WITH SCORE 226252.85
AT ITER 9141 NEW BEST:: SOT 2072560 SOS 1789850 HAS SOPS 1789760 HAS SOUS 224550 HAS SOUPS 224460 WITH SCORE 226249.85
AT ITER 9148 NEW BEST:: SOT 2072534 SOS 1789850 HAS SOPS 1789760 HAS SOUS 224524 HAS SOUPS 224434 WITH SCORE 226223.85
AT ITER 9161 NEW BEST:: SOT 2072517 SOS 1789922 HAS SOPS 1789832 HAS SOUS 224504 HAS SOUPS 224414 WITH SCORE 226203.922
AT ITER 9176 NEW BEST:: SOT 2072495 SOS 1789900 HAS SOPS 1789810 HAS SOUS 224460 HAS SOUPS 224370 WITH SCORE 226159.9
AT ITER 9225 NEW BEST:: SOT 2072477 SOS 1789882 HAS SOPS 1789792 HAS SOUS 224424 HAS SOUPS 224334 WITH SCORE 226123.882
AT ITER 9258 NEW BEST:: SOT 2072583 SOS 1789988 HAS SOPS 1789898 HAS SOUS 224357 HAS SOUPS 224267 WITH SCORE 226056.988
AT ITER 9266 NEW BEST:: SOT 2072578 SOS 1789978 HAS SOPS 1789888 HAS SOUS 224347 HAS SOUPS 224257 WITH SCORE 226046.978
AT ITER 9275 NEW BEST:: SOT 2074484 SOS 1791966 HAS SOPS 1791876 HAS SOUS 224334 HAS SOUPS 224244 WITH SCORE 226035.966
AT ITER 9280 NEW BEST:: SOT 2074465 SOS 1791947 HAS SOPS 1791857 HAS SOUS 224299 HAS SOUPS 224209 WITH SCORE 226000.947
AT ITER 9290 NEW BEST:: SOT 2074465 SOS 1791947 HAS SOPS 1791857 HAS SOUS 224286 HAS SOUPS 224196 WITH SCORE 225987.947
AT ITER 9299 NEW BEST:: SOT 2074465 SOS 1791947 HAS SOPS 1791857 HAS SOUS 224280 HAS SOUPS 224190 WITH SCORE 225981.947
AT ITER 9300 NEW BEST:: SOT 2074458 SOS 1791933 HAS SOPS 1791843 HAS SOUS 224217 HAS SOUPS 224127 WITH SCORE 225918.933
AT ITER 9307 NEW BEST:: SOT 2074467 SOS 1791942 HAS SOPS 1791852 HAS SOUS 224214 HAS SOUPS 224124 WITH SCORE 225915.942
AT ITER 9320 NEW BEST:: SOT 2074462 SOS 1791932 HAS SOPS 1791842 HAS SOUS 224204 HAS SOUPS 224114 WITH SCORE 225905.932
AT ITER 9326 NEW BEST:: SOT 2074463 SOS 1791933 HAS SOPS 1791843 HAS SOUS 224202 HAS SOUPS 224112 WITH SCORE 225903.933
AT ITER 9363 NEW BEST:: SOT 2074463 SOS 1791933 HAS SOPS 1791786 HAS SOUS 224202 HAS SOUPS 224055 WITH SCORE 225846.933
AT ITER 9392 NEW BEST:: SOT 2074463 SOS 1791933 HAS SOPS 1791786 HAS SOUS 224183 HAS SOUPS 224036 WITH SCORE 225827.933
AT ITER 9397 NEW BEST:: SOT 2074456 SOS 1791926 HAS SOPS 1791779 HAS SOUS 224169 HAS SOUPS 224022 WITH SCORE 225813.926
AT ITER 9423 NEW BEST:: SOT 2074452 SOS 1791918 HAS SOPS 1791771 HAS SOUS 224165 HAS SOUPS 224018 WITH SCORE 225809.918
AT ITER 9425 NEW BEST:: SOT 2074430 SOS 1791874 HAS SOPS 1791727 HAS SOUS 224143 HAS SOUPS 223996 WITH SCORE 225787.874
AT ITER 9435 NEW BEST:: SOT 2074386 SOS 1791830 HAS SOPS 1791683 HAS SOUS 224055 HAS SOUPS 223908 WITH SCORE 225699.83
AT ITER 9438 NEW BEST:: SOT 2074314 SOS 1791781 HAS SOPS 1791611 HAS SOUS 224032 HAS SOUPS 223862 WITH SCORE 225653.781
AT ITER 9442 NEW BEST:: SOT 2074301 SOS 1791768 HAS SOPS 1791598 HAS SOUS 224006 HAS SOUPS 223836 WITH SCORE 225627.768
AT ITER 9471 NEW BEST:: SOT 2074291 SOS 1791758 HAS SOPS 1791588 HAS SOUS 223986 HAS SOUPS 223816 WITH SCORE 225607.758
AT ITER 9485 NEW BEST:: SOT 2071378 SOS 1788845 HAS SOPS 1788675 HAS SOUS 223933 HAS SOUPS 223763 WITH SCORE 225551.845
AT ITER 9514 NEW BEST:: SOT 2071366 SOS 1788833 HAS SOPS 1788663 HAS SOUS 223909 HAS SOUPS 223739 WITH SCORE 225527.833
AT ITER 9549 NEW BEST:: SOT 2071358 SOS 1788817 HAS SOPS 1788647 HAS SOUS 223893 HAS SOUPS 223723 WITH SCORE 225511.817
AT ITER 9563 NEW BEST:: SOT 2071341 SOS 1788800 HAS SOPS 1788630 HAS SOUS 223859 HAS SOUPS 223689 WITH SCORE 225477.8
AT ITER 9626 NEW BEST:: SOT 2071253 SOS 1788820 HAS SOPS 1788650 HAS SOUS 223702 HAS SOUPS 223532 WITH SCORE 225320.82
AT ITER 9658 NEW BEST:: SOT 2071253 SOS 1788820 HAS SOPS 1788650 HAS SOUS 223638 HAS SOUPS 223468 WITH SCORE 225256.82
AT ITER 9666 NEW BEST:: SOT 2071249 SOS 1788816 HAS SOPS 1788646 HAS SOUS 223634 HAS SOUPS 223464 WITH SCORE 225252.816
AT ITER 9682 NEW BEST:: SOT 2071243 SOS 1788810 HAS SOPS 1788640 HAS SOUS 223622 HAS SOUPS 223452 WITH SCORE 225240.81
AT ITER 9761 NEW BEST:: SOT 2071396 SOS 1788587 HAS SOPS 1788379 HAS SOUS 223625 HAS SOUPS 223417 WITH SCORE 225205.587
AT ITER 9775 NEW BEST:: SOT 2071381 SOS 1788572 HAS SOPS 1788364 HAS SOUS 223595 HAS SOUPS 223387 WITH SCORE 225175.572
AT ITER 9791 NEW BEST:: SOT 2071350 SOS 1788541 HAS SOPS 1788333 HAS SOUS 223533 HAS SOUPS 223325 WITH SCORE 225113.541
AT ITER 9793 NEW BEST:: SOT 2071282 SOS 1788405 HAS SOPS 1788197 HAS SOUS 223431 HAS SOUPS 223223 WITH SCORE 225011.405
AT ITER 9881 NEW BEST:: SOT 2071282 SOS 1788333 HAS SOPS 1788125 HAS SOUS 223431 HAS SOUPS 223223 WITH SCORE 225011.333
AT ITER 9922 NEW BEST:: SOT 2069982 SOS 1787033 HAS SOPS 1786825 HAS SOUS 223385 HAS SOUPS 223177 WITH SCORE 224964.033
AT ITER 9924 NEW BEST:: SOT 2069938 SOS 1786945 HAS SOPS 1786737 HAS SOUS 223297 HAS SOUPS 223089 WITH SCORE 224875.945
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7126136 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16126340 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="Anderson-PT-12"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is Anderson-PT-12, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r523-tall-167987247500072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Anderson-PT-12.tgz
mv Anderson-PT-12 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 ;