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

About the Execution of Smart for PolyORBLF-COL-S06J06T06

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4309.292 3600000.00 3598981.00 1109.70 [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.r291-tall-167873942900480.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PolyORBLF-COL-S06J06T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942900480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 7.6K Feb 26 13:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 26 13:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 13:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 13:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 14:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 14:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 14:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678795684270

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S06J06T06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 12:08:07] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 12:08:07] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 12:08:07] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 12:08:07] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 12:08:08] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 956 ms
[2023-03-14 12:08:08] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 700 PT places and 10800.0 transition bindings in 69 ms.
[2023-03-14 12:08:08] [INFO ] Unfolded HLPN to a Petri net with 700 places and 10740 transitions 89778 arcs in 338 ms.
[2023-03-14 12:08:08] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 8070 transitions
Reduce isomorphic transitions removed 8070 transitions.
[2023-03-14 12:08:09] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 700 places, 2670 transitions and 15888 arcs took 66 ms.
Total runtime 2030 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S06J06T06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 700 places, 2670 transitions, 15888 arcs.
AT ITER 0 NEW BEST:: SOT 1000480 SOS 694430 HAS SOPS 688777 HAS SOUS 596246 HAS SOUPS 595454 WITH SCORE 596148.43
AT ITER 6 NEW BEST:: SOT 1000365 SOS 694370 HAS SOPS 688717 HAS SOUS 596186 HAS SOUPS 595394 WITH SCORE 596088.37
AT ITER 7 NEW BEST:: SOT 1000365 SOS 694350 HAS SOPS 688697 HAS SOUS 596163 HAS SOUPS 595371 WITH SCORE 596065.35
AT ITER 10 NEW BEST:: SOT 1000365 SOS 694350 HAS SOPS 688663 HAS SOUS 596161 HAS SOUPS 595337 WITH SCORE 596031.35
AT ITER 12 NEW BEST:: SOT 999498 SOS 693650 HAS SOPS 687963 HAS SOUS 595449 HAS SOUPS 594625 WITH SCORE 595318.65
AT ITER 19 NEW BEST:: SOT 999492 SOS 694087 HAS SOPS 688397 HAS SOUS 595448 HAS SOUPS 594624 WITH SCORE 595318.087
AT ITER 24 NEW BEST:: SOT 999489 SOS 694081 HAS SOPS 688391 HAS SOUS 595442 HAS SOUPS 594618 WITH SCORE 595312.081
AT ITER 27 NEW BEST:: SOT 998715 SOS 693131 HAS SOPS 687441 HAS SOUS 595336 HAS SOUPS 594512 WITH SCORE 595205.131
AT ITER 30 NEW BEST:: SOT 998403 SOS 692857 HAS SOPS 687167 HAS SOUS 595260 HAS SOUPS 594436 WITH SCORE 595128.857
AT ITER 31 NEW BEST:: SOT 998403 SOS 693029 HAS SOPS 687339 HAS SOUS 595182 HAS SOUPS 594358 WITH SCORE 595051.029
AT ITER 36 NEW BEST:: SOT 998063 SOS 692662 HAS SOPS 686969 HAS SOUS 594771 HAS SOUPS 593947 WITH SCORE 594639.662
AT ITER 38 NEW BEST:: SOT 996912 SOS 691417 HAS SOPS 685724 HAS SOUS 593546 HAS SOUPS 592722 WITH SCORE 593413.417
AT ITER 41 NEW BEST:: SOT 996732 SOS 691286 HAS SOPS 685726 HAS SOUS 593490 HAS SOUPS 592698 WITH SCORE 593389.286
AT ITER 43 NEW BEST:: SOT 996617 SOS 691056 HAS SOPS 685496 HAS SOUS 593473 HAS SOUPS 592681 WITH SCORE 593372.056
AT ITER 44 NEW BEST:: SOT 996092 SOS 690531 HAS SOPS 684971 HAS SOUS 593048 HAS SOUPS 592256 WITH SCORE 592946.531
AT ITER 54 NEW BEST:: SOT 996092 SOS 689694 HAS SOPS 684134 HAS SOUS 592991 HAS SOUPS 592199 WITH SCORE 592888.694
AT ITER 55 NEW BEST:: SOT 995597 SOS 684748 HAS SOPS 679188 HAS SOUS 592380 HAS SOUPS 591588 WITH SCORE 592272.748
AT ITER 62 NEW BEST:: SOT 995556 SOS 684660 HAS SOPS 679100 HAS SOUS 592292 HAS SOUPS 591500 WITH SCORE 592184.66
AT ITER 66 NEW BEST:: SOT 993881 SOS 683130 HAS SOPS 677570 HAS SOUS 590720 HAS SOUPS 589928 WITH SCORE 590611.13
AT ITER 70 NEW BEST:: SOT 994403 SOS 683628 HAS SOPS 678068 HAS SOUS 586019 HAS SOUPS 585227 WITH SCORE 585910.628
AT ITER 74 NEW BEST:: SOT 994224 SOS 683557 HAS SOPS 678071 HAS SOUS 585860 HAS SOUPS 585068 WITH SCORE 585751.557
AT ITER 76 NEW BEST:: SOT 994193 SOS 683526 HAS SOPS 678009 HAS SOUS 585799 HAS SOUPS 585006 WITH SCORE 585689.526
AT ITER 84 NEW BEST:: SOT 994193 SOS 683526 HAS SOPS 678009 HAS SOUS 585749 HAS SOUPS 584956 WITH SCORE 585639.526
AT ITER 85 NEW BEST:: SOT 994106 SOS 683500 HAS SOPS 677983 HAS SOUS 585723 HAS SOUPS 584930 WITH SCORE 585613.5
AT ITER 99 NEW BEST:: SOT 992518 SOS 682067 HAS SOPS 676550 HAS SOUS 583151 HAS SOUPS 582358 WITH SCORE 583040.067
AT ITER 102 NEW BEST:: SOT 992491 SOS 682007 HAS SOPS 676490 HAS SOUS 583091 HAS SOUPS 582298 WITH SCORE 582980.007
AT ITER 107 NEW BEST:: SOT 991855 SOS 681557 HAS SOPS 676040 HAS SOUS 582431 HAS SOUPS 581638 WITH SCORE 582319.557
AT ITER 111 NEW BEST:: SOT 991701 SOS 681359 HAS SOPS 675842 HAS SOUS 582277 HAS SOUPS 581484 WITH SCORE 582165.359
AT ITER 112 NEW BEST:: SOT 991677 SOS 681287 HAS SOPS 675770 HAS SOUS 582223 HAS SOUPS 581430 WITH SCORE 582111.287
AT ITER 118 NEW BEST:: SOT 991688 SOS 681274 HAS SOPS 675757 HAS SOUS 582210 HAS SOUPS 581417 WITH SCORE 582098.274
AT ITER 119 NEW BEST:: SOT 990875 SOS 680403 HAS SOPS 674886 HAS SOUS 581389 HAS SOUPS 580596 WITH SCORE 581276.403
AT ITER 123 NEW BEST:: SOT 990637 SOS 680234 HAS SOPS 674717 HAS SOUS 581220 HAS SOUPS 580427 WITH SCORE 581107.234
AT ITER 132 NEW BEST:: SOT 990637 SOS 680266 HAS SOPS 674749 HAS SOUS 580564 HAS SOUPS 579771 WITH SCORE 580451.266
AT ITER 133 NEW BEST:: SOT 990604 SOS 680268 HAS SOPS 674751 HAS SOUS 580538 HAS SOUPS 579745 WITH SCORE 580425.268
AT ITER 135 NEW BEST:: SOT 990604 SOS 680228 HAS SOPS 674711 HAS SOUS 580230 HAS SOUPS 579437 WITH SCORE 580117.228
AT ITER 137 NEW BEST:: SOT 990604 SOS 680108 HAS SOPS 674591 HAS SOUS 580225 HAS SOUPS 579432 WITH SCORE 580112.108
AT ITER 141 NEW BEST:: SOT 991006 SOS 680574 HAS SOPS 675057 HAS SOUS 579052 HAS SOUPS 578259 WITH SCORE 578939.574
AT ITER 151 NEW BEST:: SOT 991116 SOS 685454 HAS SOPS 679937 HAS SOUS 578677 HAS SOUPS 577884 WITH SCORE 578569.454
AT ITER 153 NEW BEST:: SOT 990550 SOS 684760 HAS SOPS 679243 HAS SOUS 578435 HAS SOUPS 577642 WITH SCORE 578326.76
AT ITER 154 NEW BEST:: SOT 989694 SOS 683662 HAS SOPS 678145 HAS SOUS 577599 HAS SOUPS 576806 WITH SCORE 577489.662
AT ITER 165 NEW BEST:: SOT 989030 SOS 683128 HAS SOPS 677611 HAS SOUS 576935 HAS SOUPS 576142 WITH SCORE 576825.128
AT ITER 167 NEW BEST:: SOT 989000 SOS 683098 HAS SOPS 677581 HAS SOUS 576935 HAS SOUPS 576142 WITH SCORE 576825.098
AT ITER 172 NEW BEST:: SOT 988946 SOS 683044 HAS SOPS 677527 HAS SOUS 576881 HAS SOUPS 576088 WITH SCORE 576771.044
AT ITER 174 NEW BEST:: SOT 990052 SOS 684277 HAS SOPS 678760 HAS SOUS 573720 HAS SOUPS 572927 WITH SCORE 573611.277
AT ITER 175 NEW BEST:: SOT 990039 SOS 684251 HAS SOPS 678734 HAS SOUS 573694 HAS SOUPS 572901 WITH SCORE 573585.251
AT ITER 176 NEW BEST:: SOT 989947 SOS 684159 HAS SOPS 678688 HAS SOUS 573567 HAS SOUPS 572774 WITH SCORE 573458.159
AT ITER 180 NEW BEST:: SOT 989754 SOS 684053 HAS SOPS 678647 HAS SOUS 573309 HAS SOUPS 572516 WITH SCORE 573200.053
AT ITER 182 NEW BEST:: SOT 989719 SOS 684018 HAS SOPS 678577 HAS SOUS 573245 HAS SOUPS 572446 WITH SCORE 573130.018
AT ITER 189 NEW BEST:: SOT 989627 SOS 684136 HAS SOPS 678485 HAS SOUS 573211 HAS SOUPS 572377 WITH SCORE 573061.136
AT ITER 192 NEW BEST:: SOT 989502 SOS 683911 HAS SOPS 678260 HAS SOUS 573111 HAS SOUPS 572277 WITH SCORE 572960.911
AT ITER 195 NEW BEST:: SOT 994810 SOS 689550 HAS SOPS 683899 HAS SOUS 555432 HAS SOUPS 554598 WITH SCORE 555287.55
AT ITER 199 NEW BEST:: SOT 994411 SOS 689166 HAS SOPS 682201 HAS SOUS 555048 HAS SOUPS 553980 WITH SCORE 554669.166
AT ITER 200 NEW BEST:: SOT 995073 SOS 689856 HAS SOPS 682891 HAS SOUS 544302 HAS SOUPS 543234 WITH SCORE 543923.856
AT ITER 201 NEW BEST:: SOT 992652 SOS 688902 HAS SOPS 681937 HAS SOUS 542193 HAS SOUPS 541125 WITH SCORE 541813.902
AT ITER 208 NEW BEST:: SOT 992609 SOS 688315 HAS SOPS 681350 HAS SOUS 542088 HAS SOUPS 541020 WITH SCORE 541708.315
AT ITER 211 NEW BEST:: SOT 991759 SOS 687820 HAS SOPS 680855 HAS SOUS 541165 HAS SOUPS 540097 WITH SCORE 540784.82
AT ITER 212 NEW BEST:: SOT 991663 SOS 687861 HAS SOPS 680965 HAS SOUS 541097 HAS SOUPS 540029 WITH SCORE 540716.861
AT ITER 213 NEW BEST:: SOT 991632 SOS 687839 HAS SOPS 680943 HAS SOUS 541075 HAS SOUPS 540007 WITH SCORE 540694.839
AT ITER 214 NEW BEST:: SOT 991596 SOS 687437 HAS SOPS 680541 HAS SOUS 540994 HAS SOUPS 539926 WITH SCORE 540613.437
AT ITER 220 NEW BEST:: SOT 991500 SOS 687335 HAS SOPS 680439 HAS SOUS 540894 HAS SOUPS 539826 WITH SCORE 540513.335
AT ITER 222 NEW BEST:: SOT 993264 SOS 704166 HAS SOPS 697270 HAS SOUS 539777 HAS SOUPS 538709 WITH SCORE 539413.166
AT ITER 233 NEW BEST:: SOT 992963 SOS 702014 HAS SOPS 695118 HAS SOUS 538508 HAS SOUPS 537440 WITH SCORE 538142.014
AT ITER 235 NEW BEST:: SOT 992788 SOS 702096 HAS SOPS 695200 HAS SOUS 538165 HAS SOUPS 537097 WITH SCORE 537799.096
AT ITER 237 NEW BEST:: SOT 992788 SOS 702514 HAS SOPS 695615 HAS SOUS 538069 HAS SOUPS 537001 WITH SCORE 537703.514
AT ITER 238 NEW BEST:: SOT 992788 SOS 702474 HAS SOPS 695575 HAS SOUS 538029 HAS SOUPS 536961 WITH SCORE 537663.474
AT ITER 243 NEW BEST:: SOT 992788 SOS 702474 HAS SOPS 695575 HAS SOUS 537855 HAS SOUPS 536787 WITH SCORE 537489.474
AT ITER 244 NEW BEST:: SOT 992774 SOS 702403 HAS SOPS 695504 HAS SOUS 537705 HAS SOUPS 536637 WITH SCORE 537339.403
AT ITER 248 NEW BEST:: SOT 992774 SOS 702645 HAS SOPS 695746 HAS SOUS 535952 HAS SOUPS 534884 WITH SCORE 535586.645
AT ITER 253 NEW BEST:: SOT 992060 SOS 701829 HAS SOPS 694930 HAS SOUS 535136 HAS SOUPS 534068 WITH SCORE 534769.829
AT ITER 255 NEW BEST:: SOT 992021 SOS 699987 HAS SOPS 693088 HAS SOUS 534524 HAS SOUPS 533456 WITH SCORE 534155.987
AT ITER 262 NEW BEST:: SOT 992196 SOS 700276 HAS SOPS 693377 HAS SOUS 534274 HAS SOUPS 533206 WITH SCORE 533906.276
AT ITER 268 NEW BEST:: SOT 992164 SOS 699604 HAS SOPS 692694 HAS SOUS 533976 HAS SOUPS 532908 WITH SCORE 533607.604
AT ITER 271 NEW BEST:: SOT 992154 SOS 699594 HAS SOPS 692684 HAS SOUS 533976 HAS SOUPS 532908 WITH SCORE 533607.594
AT ITER 282 NEW BEST:: SOT 994338 SOS 701616 HAS SOPS 694706 HAS SOUS 527639 HAS SOUPS 526571 WITH SCORE 527272.616
AT ITER 288 NEW BEST:: SOT 994434 SOS 701659 HAS SOPS 694749 HAS SOUS 527521 HAS SOUPS 526453 WITH SCORE 527154.659
AT ITER 291 NEW BEST:: SOT 994434 SOS 702007 HAS SOPS 695097 HAS SOUS 527480 HAS SOUPS 526412 WITH SCORE 527114.007
AT ITER 293 NEW BEST:: SOT 994362 SOS 701577 HAS SOPS 694667 HAS SOUS 527336 HAS SOUPS 526268 WITH SCORE 526969.577
AT ITER 295 NEW BEST:: SOT 994388 SOS 701640 HAS SOPS 694730 HAS SOUS 527278 HAS SOUPS 526210 WITH SCORE 526911.64
AT ITER 301 NEW BEST:: SOT 994390 SOS 687008 HAS SOPS 680098 HAS SOUS 527191 HAS SOUPS 526123 WITH SCORE 526810.008
AT ITER 302 NEW BEST:: SOT 1014606 SOS 707445 HAS SOPS 700535 HAS SOUS 527168 HAS SOUPS 526100 WITH SCORE 526807.445
AT ITER 309 NEW BEST:: SOT 1014200 SOS 707125 HAS SOPS 700215 HAS SOUS 526842 HAS SOUPS 525774 WITH SCORE 526481.125
AT ITER 313 NEW BEST:: SOT 1014200 SOS 707061 HAS SOPS 700151 HAS SOUS 526323 HAS SOUPS 525255 WITH SCORE 525962.061
AT ITER 316 NEW BEST:: SOT 1014083 SOS 707118 HAS SOPS 700208 HAS SOUS 525989 HAS SOUPS 524921 WITH SCORE 525628.118
AT ITER 317 NEW BEST:: SOT 1014006 SOS 706868 HAS SOPS 699958 HAS SOUS 517703 HAS SOUPS 516635 WITH SCORE 517341.868
AT ITER 318 NEW BEST:: SOT 1013765 SOS 706590 HAS SOPS 699680 HAS SOUS 517461 HAS SOUPS 516393 WITH SCORE 517099.59
AT ITER 327 NEW BEST:: SOT 1013725 SOS 706454 HAS SOPS 699544 HAS SOUS 517360 HAS SOUPS 516292 WITH SCORE 516998.454
AT ITER 332 NEW BEST:: SOT 994618 SOS 687347 HAS SOPS 680437 HAS SOUS 501273 HAS SOUPS 500205 WITH SCORE 500892.347
AT ITER 335 NEW BEST:: SOT 995359 SOS 687634 HAS SOPS 680724 HAS SOUS 485871 HAS SOUPS 484803 WITH SCORE 485490.634
AT ITER 339 NEW BEST:: SOT 995359 SOS 687532 HAS SOPS 680622 HAS SOUS 485845 HAS SOUPS 484777 WITH SCORE 485464.532
AT ITER 348 NEW BEST:: SOT 995334 SOS 687558 HAS SOPS 680648 HAS SOUS 485563 HAS SOUPS 484495 WITH SCORE 485182.558
AT ITER 349 NEW BEST:: SOT 995334 SOS 687547 HAS SOPS 680637 HAS SOUS 485563 HAS SOUPS 484495 WITH SCORE 485182.547
AT ITER 351 NEW BEST:: SOT 995222 SOS 687323 HAS SOPS 680413 HAS SOUS 485435 HAS SOUPS 484367 WITH SCORE 485054.323
AT ITER 353 NEW BEST:: SOT 995109 SOS 687338 HAS SOPS 680516 HAS SOUS 485400 HAS SOUPS 484332 WITH SCORE 485019.338
AT ITER 369 NEW BEST:: SOT 994441 SOS 686606 HAS SOPS 679784 HAS SOUS 484555 HAS SOUPS 483487 WITH SCORE 484173.606
AT ITER 373 NEW BEST:: SOT 994101 SOS 686262 HAS SOPS 679440 HAS SOUS 484211 HAS SOUPS 483143 WITH SCORE 483829.262
AT ITER 379 NEW BEST:: SOT 993861 SOS 686007 HAS SOPS 679185 HAS SOUS 483922 HAS SOUPS 482854 WITH SCORE 483540.007
AT ITER 381 NEW BEST:: SOT 993173 SOS 685469 HAS SOPS 678647 HAS SOUS 483369 HAS SOUPS 482301 WITH SCORE 482986.469
AT ITER 382 NEW BEST:: SOT 993151 SOS 685415 HAS SOPS 678593 HAS SOUS 482303 HAS SOUPS 481235 WITH SCORE 481920.415
AT ITER 390 NEW BEST:: SOT 993145 SOS 685377 HAS SOPS 678555 HAS SOUS 482265 HAS SOUPS 481197 WITH SCORE 481882.377
AT ITER 391 NEW BEST:: SOT 992871 SOS 686219 HAS SOPS 679397 HAS SOUS 482256 HAS SOUPS 481188 WITH SCORE 481874.219
AT ITER 400 NEW BEST:: SOT 992880 SOS 686228 HAS SOPS 679406 HAS SOUS 482184 HAS SOUPS 481116 WITH SCORE 481802.228
AT ITER 407 NEW BEST:: SOT 992850 SOS 686198 HAS SOPS 679346 HAS SOUS 482127 HAS SOUPS 481056 WITH SCORE 481742.198
AT ITER 409 NEW BEST:: SOT 992746 SOS 686035 HAS SOPS 679183 HAS SOUS 481915 HAS SOUPS 480844 WITH SCORE 481530.035
AT ITER 416 NEW BEST:: SOT 995113 SOS 688906 HAS SOPS 682054 HAS SOUS 477446 HAS SOUPS 476375 WITH SCORE 477063.906
AT ITER 417 NEW BEST:: SOT 995989 SOS 691037 HAS SOPS 684185 HAS SOUS 462297 HAS SOUPS 461226 WITH SCORE 461917.037
AT ITER 427 NEW BEST:: SOT 995801 SOS 690928 HAS SOPS 684166 HAS SOUS 462035 HAS SOUPS 460964 WITH SCORE 461654.928
AT ITER 428 NEW BEST:: SOT 995706 SOS 690833 HAS SOPS 684071 HAS SOUS 461883 HAS SOUPS 460812 WITH SCORE 461502.833
AT ITER 436 NEW BEST:: SOT 995706 SOS 690905 HAS SOPS 684143 HAS SOUS 461811 HAS SOUPS 460740 WITH SCORE 461430.905
AT ITER 439 NEW BEST:: SOT 995681 SOS 690842 HAS SOPS 684080 HAS SOUS 461672 HAS SOUPS 460601 WITH SCORE 461291.842
AT ITER 443 NEW BEST:: SOT 995703 SOS 690832 HAS SOPS 684070 HAS SOUS 461662 HAS SOUPS 460591 WITH SCORE 461281.832
AT ITER 452 NEW BEST:: SOT 995535 SOS 690664 HAS SOPS 683902 HAS SOUS 461643 HAS SOUPS 460572 WITH SCORE 461262.664
AT ITER 453 NEW BEST:: SOT 996454 SOS 691847 HAS SOPS 685085 HAS SOUS 450748 HAS SOUPS 449677 WITH SCORE 450368.847
AT ITER 455 NEW BEST:: SOT 996958 SOS 691615 HAS SOPS 684853 HAS SOUS 441400 HAS SOUPS 440329 WITH SCORE 441020.615
AT ITER 456 NEW BEST:: SOT 996218 SOS 690836 HAS SOPS 684074 HAS SOUS 440846 HAS SOUPS 439775 WITH SCORE 440465.836
AT ITER 457 NEW BEST:: SOT 995846 SOS 690234 HAS SOPS 683472 HAS SOUS 440244 HAS SOUPS 439173 WITH SCORE 439863.234
AT ITER 458 NEW BEST:: SOT 995775 SOS 690107 HAS SOPS 683345 HAS SOUS 440113 HAS SOUPS 439042 WITH SCORE 439732.107
AT ITER 460 NEW BEST:: SOT 995775 SOS 687974 HAS SOPS 681212 HAS SOUS 435621 HAS SOUPS 434550 WITH SCORE 435237.974
AT ITER 462 NEW BEST:: SOT 995775 SOS 687959 HAS SOPS 681197 HAS SOUS 435606 HAS SOUPS 434535 WITH SCORE 435222.959
AT ITER 463 NEW BEST:: SOT 995139 SOS 687672 HAS SOPS 680910 HAS SOUS 435362 HAS SOUPS 434291 WITH SCORE 434978.672
AT ITER 470 NEW BEST:: SOT 993762 SOS 686390 HAS SOPS 679628 HAS SOUS 434240 HAS SOUPS 433169 WITH SCORE 433855.39
AT ITER 471 NEW BEST:: SOT 993588 SOS 686214 HAS SOPS 679452 HAS SOUS 433893 HAS SOUPS 432822 WITH SCORE 433508.214
AT ITER 474 NEW BEST:: SOT 993406 SOS 685949 HAS SOPS 679187 HAS SOUS 433872 HAS SOUPS 432801 WITH SCORE 433486.949
AT ITER 480 NEW BEST:: SOT 1003699 SOS 696432 HAS SOPS 689670 HAS SOUS 427829 HAS SOUPS 426758 WITH SCORE 427454.432
AT ITER 491 NEW BEST:: SOT 1003699 SOS 696355 HAS SOPS 689571 HAS SOUS 427827 HAS SOUPS 426736 WITH SCORE 427432.355
AT ITER 500 NEW BEST:: SOT 1003601 SOS 696186 HAS SOPS 689402 HAS SOUS 427569 HAS SOUPS 426478 WITH SCORE 427174.186
AT ITER 507 NEW BEST:: SOT 1003603 SOS 696200 HAS SOPS 689416 HAS SOUS 427565 HAS SOUPS 426474 WITH SCORE 427170.2
AT ITER 510 NEW BEST:: SOT 1003575 SOS 690172 HAS SOPS 683388 HAS SOUS 426883 HAS SOUPS 425792 WITH SCORE 426482.172
AT ITER 514 NEW BEST:: SOT 1003635 SOS 688840 HAS SOPS 682056 HAS SOUS 424491 HAS SOUPS 423400 WITH SCORE 424088.84
AT ITER 516 NEW BEST:: SOT 1003427 SOS 688718 HAS SOPS 681934 HAS SOUS 424443 HAS SOUPS 423352 WITH SCORE 424040.718
AT ITER 531 NEW BEST:: SOT 1003301 SOS 688587 HAS SOPS 681803 HAS SOUS 424333 HAS SOUPS 423242 WITH SCORE 423930.587
AT ITER 534 NEW BEST:: SOT 1003300 SOS 688586 HAS SOPS 681801 HAS SOUS 424331 HAS SOUPS 423240 WITH SCORE 423928.586
AT ITER 535 NEW BEST:: SOT 1002664 SOS 688069 HAS SOPS 681284 HAS SOUS 423673 HAS SOUPS 422582 WITH SCORE 423270.069
AT ITER 542 NEW BEST:: SOT 1002429 SOS 687794 HAS SOPS 681009 HAS SOUS 423476 HAS SOUPS 422385 WITH SCORE 423072.794
AT ITER 544 NEW BEST:: SOT 1002372 SOS 687715 HAS SOPS 680965 HAS SOUS 423432 HAS SOUPS 422341 WITH SCORE 423028.715
AT ITER 548 NEW BEST:: SOT 1002353 SOS 687677 HAS SOPS 680927 HAS SOUS 423394 HAS SOUPS 422303 WITH SCORE 422990.677
AT ITER 550 NEW BEST:: SOT 1013384 SOS 701885 HAS SOPS 695135 HAS SOUS 422003 HAS SOUPS 420912 WITH SCORE 421613.885
AT ITER 561 NEW BEST:: SOT 1013200 SOS 701825 HAS SOPS 695157 HAS SOUS 421761 HAS SOUPS 420670 WITH SCORE 421371.825
AT ITER 562 NEW BEST:: SOT 1012420 SOS 701190 HAS SOPS 694522 HAS SOUS 420134 HAS SOUPS 419043 WITH SCORE 419744.19
AT ITER 566 NEW BEST:: SOT 1012091 SOS 700796 HAS SOPS 694128 HAS SOUS 419557 HAS SOUPS 418466 WITH SCORE 419166.796
AT ITER 570 NEW BEST:: SOT 1012091 SOS 701248 HAS SOPS 694580 HAS SOUS 419499 HAS SOUPS 418408 WITH SCORE 419109.248
AT ITER 581 NEW BEST:: SOT 1011991 SOS 701233 HAS SOPS 694565 HAS SOUS 419161 HAS SOUPS 418070 WITH SCORE 418771.233
AT ITER 586 NEW BEST:: SOT 1011765 SOS 701493 HAS SOPS 694751 HAS SOUS 419125 HAS SOUPS 417997 WITH SCORE 418698.493
AT ITER 590 NEW BEST:: SOT 1011341 SOS 701331 HAS SOPS 694589 HAS SOUS 418939 HAS SOUPS 417811 WITH SCORE 418512.331
AT ITER 602 NEW BEST:: SOT 1011335 SOS 701325 HAS SOPS 694583 HAS SOUS 418927 HAS SOUPS 417799 WITH SCORE 418500.325
AT ITER 604 NEW BEST:: SOT 1011298 SOS 701127 HAS SOPS 694385 HAS SOUS 418791 HAS SOUPS 417663 WITH SCORE 418364.127
AT ITER 607 NEW BEST:: SOT 1011298 SOS 698237 HAS SOPS 691495 HAS SOUS 418755 HAS SOUPS 417627 WITH SCORE 418325.237
AT ITER 608 NEW BEST:: SOT 1011605 SOS 697611 HAS SOPS 690869 HAS SOUS 413858 HAS SOUPS 412730 WITH SCORE 413427.611
AT ITER 609 NEW BEST:: SOT 1011511 SOS 697478 HAS SOPS 690821 HAS SOUS 413774 HAS SOUPS 412646 WITH SCORE 413343.478
AT ITER 612 NEW BEST:: SOT 1011518 SOS 696058 HAS SOPS 689401 HAS SOUS 413583 HAS SOUPS 412455 WITH SCORE 413151.058
AT ITER 620 NEW BEST:: SOT 1011216 SOS 695756 HAS SOPS 689099 HAS SOUS 413402 HAS SOUPS 412274 WITH SCORE 412969.756
AT ITER 627 NEW BEST:: SOT 1011192 SOS 695732 HAS SOPS 689075 HAS SOUS 413330 HAS SOUPS 412202 WITH SCORE 412897.732
AT ITER 628 NEW BEST:: SOT 1011164 SOS 695732 HAS SOPS 689075 HAS SOUS 412305 HAS SOUPS 411177 WITH SCORE 411872.732
AT ITER 629 NEW BEST:: SOT 1010851 SOS 695473 HAS SOPS 688815 HAS SOUS 411938 HAS SOUPS 410810 WITH SCORE 411505.473
AT ITER 632 NEW BEST:: SOT 1010840 SOS 695462 HAS SOPS 688804 HAS SOUS 411927 HAS SOUPS 410799 WITH SCORE 411494.462
AT ITER 642 NEW BEST:: SOT 1011416 SOS 696471 HAS SOPS 689813 HAS SOUS 411709 HAS SOUPS 410581 WITH SCORE 411277.471
AT ITER 643 NEW BEST:: SOT 1011281 SOS 696363 HAS SOPS 689705 HAS SOUS 411601 HAS SOUPS 410473 WITH SCORE 411169.363
AT ITER 645 NEW BEST:: SOT 1011556 SOS 696129 HAS SOPS 689471 HAS SOUS 400490 HAS SOUPS 399362 WITH SCORE 400058.129
AT ITER 657 NEW BEST:: SOT 1011495 SOS 696128 HAS SOPS 689415 HAS SOUS 400489 HAS SOUPS 399306 WITH SCORE 400002.128
AT ITER 664 NEW BEST:: SOT 1011491 SOS 696120 HAS SOPS 689407 HAS SOUS 400481 HAS SOUPS 399298 WITH SCORE 399994.12
AT ITER 665 NEW BEST:: SOT 1010896 SOS 695699 HAS SOPS 688986 HAS SOUS 400121 HAS SOUPS 398938 WITH SCORE 399633.699
AT ITER 671 NEW BEST:: SOT 1009964 SOS 694285 HAS SOPS 687572 HAS SOUS 399495 HAS SOUPS 398312 WITH SCORE 399006.285
AT ITER 676 NEW BEST:: SOT 1009930 SOS 694258 HAS SOPS 687545 HAS SOUS 399446 HAS SOUPS 398263 WITH SCORE 398957.258
AT ITER 680 NEW BEST:: SOT 1009801 SOS 694026 HAS SOPS 687313 HAS SOUS 399322 HAS SOUPS 398139 WITH SCORE 398833.026
AT ITER 690 NEW BEST:: SOT 1009634 SOS 693870 HAS SOPS 687157 HAS SOUS 399152 HAS SOUPS 397969 WITH SCORE 398662.87
AT ITER 695 NEW BEST:: SOT 1000095 SOS 684318 HAS SOPS 677605 HAS SOUS 397747 HAS SOUPS 396564 WITH SCORE 397248.318
AT ITER 701 NEW BEST:: SOT 1000021 SOS 684365 HAS SOPS 677652 HAS SOUS 397530 HAS SOUPS 396347 WITH SCORE 397031.365
AT ITER 707 NEW BEST:: SOT 1000035 SOS 682740 HAS SOPS 676027 HAS SOUS 396571 HAS SOUPS 395388 WITH SCORE 396070.74
AT ITER 708 NEW BEST:: SOT 999132 SOS 681927 HAS SOPS 675214 HAS SOUS 396002 HAS SOUPS 394819 WITH SCORE 395500.927
AT ITER 714 NEW BEST:: SOT 998277 SOS 682999 HAS SOPS 676562 HAS SOUS 395425 HAS SOUPS 394279 WITH SCORE 394961.999
AT ITER 717 NEW BEST:: SOT 998343 SOS 662803 HAS SOPS 656366 HAS SOUS 395096 HAS SOUPS 393950 WITH SCORE 394612.803
AT ITER 729 NEW BEST:: SOT 998167 SOS 662627 HAS SOPS 656190 HAS SOUS 394812 HAS SOUPS 393666 WITH SCORE 394328.627
AT ITER 733 NEW BEST:: SOT 997950 SOS 662497 HAS SOPS 656060 HAS SOUS 394771 HAS SOUPS 393625 WITH SCORE 394287.497
AT ITER 741 NEW BEST:: SOT 997442 SOS 662015 HAS SOPS 655578 HAS SOUS 394380 HAS SOUPS 393234 WITH SCORE 393896.015
AT ITER 750 NEW BEST:: SOT 997442 SOS 661970 HAS SOPS 655533 HAS SOUS 394242 HAS SOUPS 393096 WITH SCORE 393757.97
AT ITER 764 NEW BEST:: SOT 996814 SOS 661176 HAS SOPS 654739 HAS SOUS 393606 HAS SOUPS 392460 WITH SCORE 393121.176
AT ITER 765 NEW BEST:: SOT 996801 SOS 661163 HAS SOPS 654726 HAS SOUS 393606 HAS SOUPS 392460 WITH SCORE 393121.163
AT ITER 766 NEW BEST:: SOT 996843 SOS 656259 HAS SOPS 649822 HAS SOUS 392304 HAS SOUPS 391158 WITH SCORE 391814.259
AT ITER 768 NEW BEST:: SOT 996941 SOS 656350 HAS SOPS 649968 HAS SOUS 392221 HAS SOUPS 391075 WITH SCORE 391731.35
AT ITER 771 NEW BEST:: SOT 996808 SOS 656217 HAS SOPS 649835 HAS SOUS 392145 HAS SOUPS 390999 WITH SCORE 391655.217
AT ITER 779 NEW BEST:: SOT 996808 SOS 656214 HAS SOPS 649832 HAS SOUS 392144 HAS SOUPS 390998 WITH SCORE 391654.214
AT ITER 796 NEW BEST:: SOT 996736 SOS 656159 HAS SOPS 649777 HAS SOUS 392107 HAS SOUPS 390961 WITH SCORE 391617.159
AT ITER 803 NEW BEST:: SOT 996747 SOS 655885 HAS SOPS 649419 HAS SOUS 391682 HAS SOUPS 390536 WITH SCORE 391191.885
AT ITER 813 NEW BEST:: SOT 996479 SOS 655688 HAS SOPS 649324 HAS SOUS 391269 HAS SOUPS 390123 WITH SCORE 390778.688
AT ITER 819 NEW BEST:: SOT 996398 SOS 655620 HAS SOPS 649256 HAS SOUS 391200 HAS SOUPS 390054 WITH SCORE 390709.62
AT ITER 836 NEW BEST:: SOT 996398 SOS 655924 HAS SOPS 649560 HAS SOUS 391197 HAS SOUPS 390051 WITH SCORE 390706.924
AT ITER 839 NEW BEST:: SOT 1004296 SOS 663952 HAS SOPS 657588 HAS SOUS 389541 HAS SOUPS 388395 WITH SCORE 389058.952
AT ITER 840 NEW BEST:: SOT 1004331 SOS 663952 HAS SOPS 657588 HAS SOUS 389457 HAS SOUPS 388311 WITH SCORE 388974.952
AT ITER 841 NEW BEST:: SOT 1008287 SOS 666114 HAS SOPS 659750 HAS SOUS 381981 HAS SOUPS 380835 WITH SCORE 381501.114
AT ITER 849 NEW BEST:: SOT 1008566 SOS 666363 HAS SOPS 659999 HAS SOUS 381674 HAS SOUPS 380528 WITH SCORE 381194.363
AT ITER 854 NEW BEST:: SOT 1008482 SOS 666279 HAS SOPS 659915 HAS SOUS 381590 HAS SOUPS 380444 WITH SCORE 381110.279
AT ITER 855 NEW BEST:: SOT 1008317 SOS 665974 HAS SOPS 659610 HAS SOUS 381558 HAS SOUPS 380412 WITH SCORE 381077.974
AT ITER 858 NEW BEST:: SOT 1008376 SOS 667426 HAS SOPS 661062 HAS SOUS 380962 HAS SOUPS 379816 WITH SCORE 380483.426
AT ITER 865 NEW BEST:: SOT 1007737 SOS 666916 HAS SOPS 660396 HAS SOUS 380322 HAS SOUPS 379150 WITH SCORE 379816.916
AT ITER 866 NEW BEST:: SOT 1007712 SOS 666891 HAS SOPS 660371 HAS SOUS 380225 HAS SOUPS 379053 WITH SCORE 379719.891
AT ITER 884 NEW BEST:: SOT 1007675 SOS 666839 HAS SOPS 660319 HAS SOUS 380151 HAS SOUPS 378979 WITH SCORE 379645.839
AT ITER 885 NEW BEST:: SOT 1007631 SOS 666795 HAS SOPS 660275 HAS SOUS 380069 HAS SOUPS 378897 WITH SCORE 379563.795
AT ITER 894 NEW BEST:: SOT 1007620 SOS 666919 HAS SOPS 660399 HAS SOUS 380047 HAS SOUPS 378875 WITH SCORE 379541.919
AT ITER 897 NEW BEST:: SOT 1007620 SOS 666900 HAS SOPS 660380 HAS SOUS 380032 HAS SOUPS 378860 WITH SCORE 379526.9
AT ITER 913 NEW BEST:: SOT 1007016 SOS 666158 HAS SOPS 659716 HAS SOUS 379397 HAS SOUPS 378238 WITH SCORE 378904.158
AT ITER 918 NEW BEST:: SOT 1009077 SOS 668219 HAS SOPS 661777 HAS SOUS 373476 HAS SOUPS 372317 WITH SCORE 372985.219
AT ITER 939 NEW BEST:: SOT 1008707 SOS 667743 HAS SOPS 661301 HAS SOUS 373045 HAS SOUPS 371886 WITH SCORE 372553.743
AT ITER 940 NEW BEST:: SOT 1008796 SOS 667862 HAS SOPS 661420 HAS SOUS 372519 HAS SOUPS 371360 WITH SCORE 372027.862
AT ITER 949 NEW BEST:: SOT 1008695 SOS 667795 HAS SOPS 661353 HAS SOUS 372204 HAS SOUPS 371045 WITH SCORE 371712.795
AT ITER 959 NEW BEST:: SOT 1008661 SOS 667761 HAS SOPS 661319 HAS SOUS 371723 HAS SOUPS 370564 WITH SCORE 371231.761
AT ITER 967 NEW BEST:: SOT 1008661 SOS 667656 HAS SOPS 661214 HAS SOUS 368161 HAS SOUPS 367002 WITH SCORE 367669.656
AT ITER 968 NEW BEST:: SOT 1008639 SOS 663807 HAS SOPS 657365 HAS SOUS 365801 HAS SOUPS 364642 WITH SCORE 365305.807
AT ITER 970 NEW BEST:: SOT 1009023 SOS 667477 HAS SOPS 661035 HAS SOUS 365741 HAS SOUPS 364582 WITH SCORE 365249.477
AT ITER 987 NEW BEST:: SOT 1007344 SOS 665860 HAS SOPS 659418 HAS SOUS 364686 HAS SOUPS 363527 WITH SCORE 364192.86
AT ITER 989 NEW BEST:: SOT 1007314 SOS 665824 HAS SOPS 659435 HAS SOUS 364679 HAS SOUPS 363520 WITH SCORE 364185.824
AT ITER 992 NEW BEST:: SOT 1007293 SOS 665803 HAS SOPS 659414 HAS SOUS 364637 HAS SOUPS 363478 WITH SCORE 364143.803
AT ITER 996 NEW BEST:: SOT 1007142 SOS 665789 HAS SOPS 659400 HAS SOUS 364494 HAS SOUPS 363335 WITH SCORE 364000.789
AT ITER 1008 NEW BEST:: SOT 1007286 SOS 665991 HAS SOPS 659602 HAS SOUS 363363 HAS SOUPS 362204 WITH SCORE 362869.991
AT ITER 1023 NEW BEST:: SOT 1007155 SOS 665816 HAS SOPS 659427 HAS SOUS 363172 HAS SOUPS 362013 WITH SCORE 362678.816
AT ITER 1035 NEW BEST:: SOT 1007031 SOS 665693 HAS SOPS 659304 HAS SOUS 363113 HAS SOUPS 361954 WITH SCORE 362619.693
AT ITER 1039 NEW BEST:: SOT 1006954 SOS 665611 HAS SOPS 659222 HAS SOUS 362882 HAS SOUPS 361723 WITH SCORE 362388.611
AT ITER 1046 NEW BEST:: SOT 1006954 SOS 665617 HAS SOPS 659228 HAS SOUS 362746 HAS SOUPS 361587 WITH SCORE 362252.617
AT ITER 1047 NEW BEST:: SOT 1006395 SOS 661738 HAS SOPS 655349 HAS SOUS 361874 HAS SOUPS 360715 WITH SCORE 361376.738
AT ITER 1048 NEW BEST:: SOT 1006133 SOS 662313 HAS SOPS 656017 HAS SOUS 361462 HAS SOUPS 360303 WITH SCORE 360965.313
AT ITER 1056 NEW BEST:: SOT 1005527 SOS 661844 HAS SOPS 655548 HAS SOUS 361088 HAS SOUPS 359929 WITH SCORE 360590.844
AT ITER 1059 NEW BEST:: SOT 1005527 SOS 661858 HAS SOPS 655562 HAS SOUS 361082 HAS SOUPS 359923 WITH SCORE 360584.858
AT ITER 1060 NEW BEST:: SOT 1005476 SOS 661798 HAS SOPS 655502 HAS SOUS 360943 HAS SOUPS 359784 WITH SCORE 360445.798
AT ITER 1065 NEW BEST:: SOT 1005476 SOS 661798 HAS SOPS 655502 HAS SOUS 360847 HAS SOUPS 359688 WITH SCORE 360349.798
AT ITER 1069 NEW BEST:: SOT 1005421 SOS 657154 HAS SOPS 650858 HAS SOUS 359266 HAS SOUPS 358107 WITH SCORE 358764.154
AT ITER 1070 NEW BEST:: SOT 1005421 SOS 656873 HAS SOPS 650577 HAS SOUS 359205 HAS SOUPS 358046 WITH SCORE 358702.873
AT ITER 1083 NEW BEST:: SOT 1005094 SOS 646472 HAS SOPS 640176 HAS SOUS 358432 HAS SOUPS 357273 WITH SCORE 357919.472
AT ITER 1084 NEW BEST:: SOT 1004329 SOS 645707 HAS SOPS 639411 HAS SOUS 357667 HAS SOUPS 356508 WITH SCORE 357153.707
AT ITER 1104 NEW BEST:: SOT 1004329 SOS 645689 HAS SOPS 639393 HAS SOUS 357667 HAS SOUPS 356508 WITH SCORE 357153.689
AT ITER 1108 NEW BEST:: SOT 1004317 SOS 645677 HAS SOPS 639381 HAS SOUS 357645 HAS SOUPS 356486 WITH SCORE 357131.677
AT ITER 1113 NEW BEST:: SOT 1004229 SOS 645639 HAS SOPS 639343 HAS SOUS 357632 HAS SOUPS 356473 WITH SCORE 357118.639
AT ITER 1115 NEW BEST:: SOT 1004233 SOS 645433 HAS SOPS 639206 HAS SOUS 357495 HAS SOUPS 356336 WITH SCORE 356981.433
AT ITER 1119 NEW BEST:: SOT 1004181 SOS 645381 HAS SOPS 639154 HAS SOUS 357487 HAS SOUPS 356328 WITH SCORE 356973.381
AT ITER 1127 NEW BEST:: SOT 1004157 SOS 645357 HAS SOPS 639130 HAS SOUS 357373 HAS SOUPS 356214 WITH SCORE 356859.357
AT ITER 1131 NEW BEST:: SOT 1004003 SOS 645275 HAS SOPS 639093 HAS SOUS 357130 HAS SOUPS 355971 WITH SCORE 356616.275
AT ITER 1138 NEW BEST:: SOT 1003832 SOS 644926 HAS SOPS 638744 HAS SOUS 356788 HAS SOUPS 355629 WITH SCORE 356273.926
AT ITER 1139 NEW BEST:: SOT 1003823 SOS 644908 HAS SOPS 638726 HAS SOUS 356770 HAS SOUPS 355611 WITH SCORE 356255.908
AT ITER 1140 NEW BEST:: SOT 1003809 SOS 644880 HAS SOPS 638698 HAS SOUS 356728 HAS SOUPS 355569 WITH SCORE 356213.88
AT ITER 1145 NEW BEST:: SOT 1003809 SOS 642535 HAS SOPS 636353 HAS SOUS 356491 HAS SOUPS 355332 WITH SCORE 355974.535
AT ITER 1149 NEW BEST:: SOT 1003768 SOS 642488 HAS SOPS 636364 HAS SOUS 356478 HAS SOUPS 355319 WITH SCORE 355961.488
AT ITER 1157 NEW BEST:: SOT 1003782 SOS 642554 HAS SOPS 636322 HAS SOUS 356492 HAS SOUPS 355225 WITH SCORE 355867.554
AT ITER 1159 NEW BEST:: SOT 1003421 SOS 642346 HAS SOPS 636114 HAS SOUS 356200 HAS SOUPS 354933 WITH SCORE 355575.346
AT ITER 1161 NEW BEST:: SOT 998540 SOS 637465 HAS SOPS 631233 HAS SOUS 354889 HAS SOUPS 353622 WITH SCORE 354259.465
AT ITER 1163 NEW BEST:: SOT 998348 SOS 637179 HAS SOPS 630947 HAS SOUS 354840 HAS SOUPS 353573 WITH SCORE 354210.179
AT ITER 1168 NEW BEST:: SOT 998348 SOS 637205 HAS SOPS 630973 HAS SOUS 354827 HAS SOUPS 353560 WITH SCORE 354197.205
AT ITER 1178 NEW BEST:: SOT 998322 SOS 637128 HAS SOPS 630896 HAS SOUS 354750 HAS SOUPS 353483 WITH SCORE 354120.128
AT ITER 1179 NEW BEST:: SOT 998322 SOS 637128 HAS SOPS 630896 HAS SOUS 354645 HAS SOUPS 353378 WITH SCORE 354015.128
AT ITER 1193 NEW BEST:: SOT 998411 SOS 637284 HAS SOPS 630938 HAS SOUS 354488 HAS SOUPS 353221 WITH SCORE 353858.284
AT ITER 1195 NEW BEST:: SOT 999341 SOS 634460 HAS SOPS 628114 HAS SOUS 350155 HAS SOUPS 348888 WITH SCORE 349522.46
AT ITER 1197 NEW BEST:: SOT 999926 SOS 634885 HAS SOPS 628539 HAS SOUS 347833 HAS SOUPS 346566 WITH SCORE 347200.885
AT ITER 1202 NEW BEST:: SOT 999256 SOS 634215 HAS SOPS 627869 HAS SOUS 347214 HAS SOUPS 345947 WITH SCORE 346581.215
AT ITER 1208 NEW BEST:: SOT 999288 SOS 633429 HAS SOPS 627083 HAS SOUS 346959 HAS SOUPS 345692 WITH SCORE 346325.429
AT ITER 1220 NEW BEST:: SOT 999262 SOS 633403 HAS SOPS 627057 HAS SOUS 346935 HAS SOUPS 345668 WITH SCORE 346301.403
AT ITER 1243 NEW BEST:: SOT 997380 SOS 673379 HAS SOPS 660852 HAS SOUS 346859 HAS SOUPS 344908 WITH SCORE 345581.379
AT ITER 1265 NEW BEST:: SOT 997354 SOS 673353 HAS SOPS 660826 HAS SOUS 346782 HAS SOUPS 344831 WITH SCORE 345504.353
AT ITER 1267 NEW BEST:: SOT 997388 SOS 673588 HAS SOPS 661061 HAS SOUS 346352 HAS SOUPS 344401 WITH SCORE 345074.588
AT ITER 1268 NEW BEST:: SOT 997334 SOS 673388 HAS SOPS 660861 HAS SOUS 346222 HAS SOUPS 344271 WITH SCORE 344944.388
AT ITER 1281 NEW BEST:: SOT 997319 SOS 673388 HAS SOPS 660861 HAS SOUS 346177 HAS SOUPS 344226 WITH SCORE 344899.388
AT ITER 1282 NEW BEST:: SOT 997467 SOS 673536 HAS SOPS 661009 HAS SOUS 343328 HAS SOUPS 341377 WITH SCORE 342050.536
AT ITER 1297 NEW BEST:: SOT 997923 SOS 674011 HAS SOPS 661484 HAS SOUS 340311 HAS SOUPS 338360 WITH SCORE 339034.011
AT ITER 1300 NEW BEST:: SOT 998687 SOS 674829 HAS SOPS 662302 HAS SOUS 328878 HAS SOUPS 326927 WITH SCORE 327601.829
AT ITER 1302 NEW BEST:: SOT 998097 SOS 674365 HAS SOPS 661838 HAS SOUS 328436 HAS SOUPS 326485 WITH SCORE 327159.365
AT ITER 1303 NEW BEST:: SOT 996871 SOS 673294 HAS SOPS 660767 HAS SOUS 327130 HAS SOUPS 325179 WITH SCORE 325852.294
AT ITER 1304 NEW BEST:: SOT 996326 SOS 672867 HAS SOPS 660340 HAS SOUS 326963 HAS SOUPS 325012 WITH SCORE 325684.867
AT ITER 1309 NEW BEST:: SOT 994648 SOS 671601 HAS SOPS 658396 HAS SOUS 325190 HAS SOUPS 323126 WITH SCORE 323797.601
AT ITER 1310 NEW BEST:: SOT 994685 SOS 671638 HAS SOPS 658433 HAS SOUS 322856 HAS SOUPS 320792 WITH SCORE 321463.638
AT ITER 1315 NEW BEST:: SOT 994645 SOS 671598 HAS SOPS 658415 HAS SOUS 322816 HAS SOUPS 320774 WITH SCORE 321445.598
AT ITER 1325 NEW BEST:: SOT 994622 SOS 671575 HAS SOPS 658392 HAS SOUS 322787 HAS SOUPS 320745 WITH SCORE 321416.575
AT ITER 1351 NEW BEST:: SOT 995046 SOS 671982 HAS SOPS 658799 HAS SOUS 322780 HAS SOUPS 320738 WITH SCORE 321409.982
AT ITER 1354 NEW BEST:: SOT 995026 SOS 671942 HAS SOPS 658769 HAS SOUS 322760 HAS SOUPS 320718 WITH SCORE 321389.942
AT ITER 1356 NEW BEST:: SOT 994958 SOS 671834 HAS SOPS 658661 HAS SOUS 322624 HAS SOUPS 320582 WITH SCORE 321253.834
AT ITER 1361 NEW BEST:: SOT 994955 SOS 672458 HAS SOPS 659285 HAS SOUS 322532 HAS SOUPS 320490 WITH SCORE 321162.458
AT ITER 1366 NEW BEST:: SOT 994955 SOS 672173 HAS SOPS 659000 HAS SOUS 322490 HAS SOUPS 320448 WITH SCORE 321120.173
AT ITER 1367 NEW BEST:: SOT 994955 SOS 672073 HAS SOPS 658900 HAS SOUS 322490 HAS SOUPS 320448 WITH SCORE 321120.073
AT ITER 1370 NEW BEST:: SOT 994798 SOS 671916 HAS SOPS 658605 HAS SOUS 322116 HAS SOUPS 320074 WITH SCORE 320745.916
AT ITER 1377 NEW BEST:: SOT 995624 SOS 673238 HAS SOPS 659927 HAS SOUS 312441 HAS SOUPS 310399 WITH SCORE 311072.238
AT ITER 1401 NEW BEST:: SOT 995627 SOS 673151 HAS SOPS 659840 HAS SOUS 312441 HAS SOUPS 310399 WITH SCORE 311072.151
AT ITER 1406 NEW BEST:: SOT 995455 SOS 672923 HAS SOPS 659612 HAS SOUS 312298 HAS SOUPS 310256 WITH SCORE 310928.923
AT ITER 1413 NEW BEST:: SOT 995381 SOS 672775 HAS SOPS 659464 HAS SOUS 312150 HAS SOUPS 310108 WITH SCORE 310780.775
AT ITER 1416 NEW BEST:: SOT 995786 SOS 673295 HAS SOPS 659984 HAS SOUS 309422 HAS SOUPS 307380 WITH SCORE 308053.295
AT ITER 1418 NEW BEST:: SOT 995583 SOS 673136 HAS SOPS 659825 HAS SOUS 309131 HAS SOUPS 307089 WITH SCORE 307762.136
AT ITER 1419 NEW BEST:: SOT 995583 SOS 665438 HAS SOPS 654059 HAS SOUS 308855 HAS SOUPS 306974 WITH SCORE 307639.438
AT ITER 1427 NEW BEST:: SOT 995542 SOS 665397 HAS SOPS 654046 HAS SOUS 308825 HAS SOUPS 306944 WITH SCORE 307609.397
AT ITER 1431 NEW BEST:: SOT 995123 SOS 665177 HAS SOPS 653826 HAS SOUS 308252 HAS SOUPS 306371 WITH SCORE 307036.177
AT ITER 1439 NEW BEST:: SOT 995123 SOS 664662 HAS SOPS 653311 HAS SOUS 308246 HAS SOUPS 306365 WITH SCORE 307029.662
AT ITER 1440 NEW BEST:: SOT 995000 SOS 664539 HAS SOPS 653188 HAS SOUS 308123 HAS SOUPS 306242 WITH SCORE 306906.539
AT ITER 1445 NEW BEST:: SOT 994948 SOS 664289 HAS SOPS 652938 HAS SOUS 307878 HAS SOUPS 305997 WITH SCORE 306661.289
AT ITER 1451 NEW BEST:: SOT 994924 SOS 664261 HAS SOPS 652910 HAS SOUS 307843 HAS SOUPS 305962 WITH SCORE 306626.261
AT ITER 1456 NEW BEST:: SOT 994924 SOS 664459 HAS SOPS 653108 HAS SOUS 307645 HAS SOUPS 305764 WITH SCORE 306428.459
AT ITER 1467 NEW BEST:: SOT 994610 SOS 664168 HAS SOPS 652817 HAS SOUS 307157 HAS SOUPS 305276 WITH SCORE 305940.168
AT ITER 1478 NEW BEST:: SOT 994464 SOS 663739 HAS SOPS 652388 HAS SOUS 306854 HAS SOUPS 304973 WITH SCORE 305636.739
AT ITER 1482 NEW BEST:: SOT 994538 SOS 663783 HAS SOPS 652432 HAS SOUS 306730 HAS SOUPS 304849 WITH SCORE 305512.783
AT ITER 1490 NEW BEST:: SOT 994534 SOS 663779 HAS SOPS 652428 HAS SOUS 306723 HAS SOUPS 304842 WITH SCORE 305505.779
AT ITER 1494 NEW BEST:: SOT 994518 SOS 663248 HAS SOPS 651897 HAS SOUS 306639 HAS SOUPS 304758 WITH SCORE 305421.248
AT ITER 1511 NEW BEST:: SOT 994469 SOS 663199 HAS SOPS 651812 HAS SOUS 306545 HAS SOUPS 304660 WITH SCORE 305323.199
AT ITER 1515 NEW BEST:: SOT 1001018 SOS 669886 HAS SOPS 658499 HAS SOUS 305782 HAS SOUPS 303897 WITH SCORE 304566.886
AT ITER 1519 NEW BEST:: SOT 1001132 SOS 669920 HAS SOPS 658467 HAS SOUS 305781 HAS SOUPS 303896 WITH SCORE 304565.92
AT ITER 1521 NEW BEST:: SOT 1000892 SOS 669680 HAS SOPS 658227 HAS SOUS 305493 HAS SOUPS 303608 WITH SCORE 304277.68
AT ITER 1526 NEW BEST:: SOT 1000868 SOS 669656 HAS SOPS 658203 HAS SOUS 305416 HAS SOUPS 303531 WITH SCORE 304200.656
AT ITER 1531 NEW BEST:: SOT 1000935 SOS 669751 HAS SOPS 658298 HAS SOUS 305410 HAS SOUPS 303525 WITH SCORE 304194.751
AT ITER 1535 NEW BEST:: SOT 1000872 SOS 669620 HAS SOPS 658167 HAS SOUS 305279 HAS SOUPS 303394 WITH SCORE 304063.62
AT ITER 1543 NEW BEST:: SOT 1000679 SOS 666520 HAS SOPS 655067 HAS SOUS 304334 HAS SOUPS 302449 WITH SCORE 303115.52
AT ITER 1550 NEW BEST:: SOT 1000681 SOS 666522 HAS SOPS 655069 HAS SOUS 304326 HAS SOUPS 302441 WITH SCORE 303107.522
AT ITER 1551 NEW BEST:: SOT 1000513 SOS 666262 HAS SOPS 654756 HAS SOUS 303990 HAS SOUPS 302105 WITH SCORE 302771.262
AT ITER 1554 NEW BEST:: SOT 1000392 SOS 666194 HAS SOPS 654688 HAS SOUS 303907 HAS SOUPS 302022 WITH SCORE 302688.194
AT ITER 1556 NEW BEST:: SOT 1000449 SOS 666470 HAS SOPS 654964 HAS SOUS 303373 HAS SOUPS 301488 WITH SCORE 302154.47
AT ITER 1557 NEW BEST:: SOT 1000449 SOS 666386 HAS SOPS 654880 HAS SOUS 303373 HAS SOUPS 301488 WITH SCORE 302154.386
AT ITER 1558 NEW BEST:: SOT 1000403 SOS 666298 HAS SOPS 654792 HAS SOUS 303239 HAS SOUPS 301354 WITH SCORE 302020.298
AT ITER 1566 NEW BEST:: SOT 1000266 SOS 666095 HAS SOPS 654679 HAS SOUS 303145 HAS SOUPS 301260 WITH SCORE 301926.095
AT ITER 1571 NEW BEST:: SOT 1000266 SOS 666106 HAS SOPS 654690 HAS SOUS 303134 HAS SOUPS 301249 WITH SCORE 301915.106
AT ITER 1576 NEW BEST:: SOT 1000114 SOS 665959 HAS SOPS 654543 HAS SOUS 302993 HAS SOUPS 301108 WITH SCORE 301773.959
AT ITER 1579 NEW BEST:: SOT 992830 SOS 658608 HAS SOPS 647192 HAS SOUS 296353 HAS SOUPS 294468 WITH SCORE 295126.608
AT ITER 1592 NEW BEST:: SOT 992822 SOS 658346 HAS SOPS 646930 HAS SOUS 296284 HAS SOUPS 294399 WITH SCORE 295057.346
AT ITER 1595 NEW BEST:: SOT 992774 SOS 658298 HAS SOPS 646882 HAS SOUS 296155 HAS SOUPS 294270 WITH SCORE 294928.298
AT ITER 1603 NEW BEST:: SOT 992569 SOS 658042 HAS SOPS 646626 HAS SOUS 295984 HAS SOUPS 294099 WITH SCORE 294757.042
AT ITER 1607 NEW BEST:: SOT 992563 SOS 658036 HAS SOPS 646620 HAS SOUS 295978 HAS SOUPS 294093 WITH SCORE 294751.036
AT ITER 1613 NEW BEST:: SOT 992273 SOS 657536 HAS SOPS 646120 HAS SOUS 295866 HAS SOUPS 293981 WITH SCORE 294638.536
AT ITER 1614 NEW BEST:: SOT 992408 SOS 657775 HAS SOPS 646359 HAS SOUS 294861 HAS SOUPS 292976 WITH SCORE 293633.775
AT ITER 1621 NEW BEST:: SOT 991055 SOS 656289 HAS SOPS 644873 HAS SOUS 293988 HAS SOUPS 292103 WITH SCORE 292759.289
AT ITER 1623 NEW BEST:: SOT 991039 SOS 656270 HAS SOPS 644854 HAS SOUS 293969 HAS SOUPS 292084 WITH SCORE 292740.27
AT ITER 1637 NEW BEST:: SOT 990990 SOS 656221 HAS SOPS 644789 HAS SOUS 293904 HAS SOUPS 292019 WITH SCORE 292675.221
AT ITER 1654 NEW BEST:: SOT 990851 SOS 656082 HAS SOPS 644667 HAS SOUS 293732 HAS SOUPS 291847 WITH SCORE 292503.082
AT ITER 1658 NEW BEST:: SOT 990795 SOS 656008 HAS SOPS 644593 HAS SOUS 293599 HAS SOUPS 291714 WITH SCORE 292370.008
AT ITER 1665 NEW BEST:: SOT 990794 SOS 655980 HAS SOPS 644565 HAS SOUS 293569 HAS SOUPS 291684 WITH SCORE 292339.98
AT ITER 1672 NEW BEST:: SOT 990646 SOS 655783 HAS SOPS 644368 HAS SOUS 292969 HAS SOUPS 291084 WITH SCORE 291739.783
AT ITER 1682 NEW BEST:: SOT 990646 SOS 655663 HAS SOPS 644248 HAS SOUS 292957 HAS SOUPS 291072 WITH SCORE 291727.663
AT ITER 1685 NEW BEST:: SOT 990614 SOS 655695 HAS SOPS 644280 HAS SOUS 292887 HAS SOUPS 291002 WITH SCORE 291657.695
AT ITER 1691 NEW BEST:: SOT 990534 SOS 655615 HAS SOPS 644200 HAS SOUS 292807 HAS SOUPS 290922 WITH SCORE 291577.615
AT ITER 1697 NEW BEST:: SOT 990486 SOS 655561 HAS SOPS 644110 HAS SOUS 292717 HAS SOUPS 290832 WITH SCORE 291487.561
AT ITER 1702 NEW BEST:: SOT 990486 SOS 655504 HAS SOPS 644106 HAS SOUS 292633 HAS SOUPS 290801 WITH SCORE 291456.504
AT ITER 1705 NEW BEST:: SOT 990715 SOS 655666 HAS SOPS 644268 HAS SOUS 292572 HAS SOUPS 290740 WITH SCORE 291395.666
AT ITER 1707 NEW BEST:: SOT 990576 SOS 655527 HAS SOPS 644129 HAS SOUS 292376 HAS SOUPS 290544 WITH SCORE 291199.527
AT ITER 1709 NEW BEST:: SOT 990576 SOS 655521 HAS SOPS 644123 HAS SOUS 292376 HAS SOUPS 290544 WITH SCORE 291199.521
AT ITER 1716 NEW BEST:: SOT 990359 SOS 655304 HAS SOPS 643906 HAS SOUS 291961 HAS SOUPS 290129 WITH SCORE 290784.304
AT ITER 1718 NEW BEST:: SOT 990347 SOS 655430 HAS SOPS 644032 HAS SOUS 291952 HAS SOUPS 290120 WITH SCORE 290775.43
AT ITER 1725 NEW BEST:: SOT 990358 SOS 655441 HAS SOPS 644071 HAS SOUS 291923 HAS SOUPS 290091 WITH SCORE 290746.441
AT ITER 1733 NEW BEST:: SOT 990448 SOS 655615 HAS SOPS 644245 HAS SOUS 291866 HAS SOUPS 290034 WITH SCORE 290689.615
AT ITER 1735 NEW BEST:: SOT 994282 SOS 657466 HAS SOPS 646096 HAS SOUS 290309 HAS SOUPS 288477 WITH SCORE 289134.466
AT ITER 1741 NEW BEST:: SOT 993955 SOS 657208 HAS SOPS 645838 HAS SOUS 289766 HAS SOUPS 287934 WITH SCORE 288591.208
AT ITER 1748 NEW BEST:: SOT 993875 SOS 657128 HAS SOPS 645758 HAS SOUS 289680 HAS SOUPS 287848 WITH SCORE 288505.128
AT ITER 1764 NEW BEST:: SOT 993875 SOS 657113 HAS SOPS 645743 HAS SOUS 289680 HAS SOUPS 287848 WITH SCORE 288505.113
AT ITER 1773 NEW BEST:: SOT 993809 SOS 657061 HAS SOPS 645691 HAS SOUS 289572 HAS SOUPS 287740 WITH SCORE 288397.061
AT ITER 1776 NEW BEST:: SOT 993875 SOS 656764 HAS SOPS 645394 HAS SOUS 289196 HAS SOUPS 287364 WITH SCORE 288020.764
AT ITER 1779 NEW BEST:: SOT 993691 SOS 655566 HAS SOPS 644196 HAS SOUS 288917 HAS SOUPS 287085 WITH SCORE 287740.566
AT ITER 1791 NEW BEST:: SOT 993691 SOS 655607 HAS SOPS 644237 HAS SOUS 288721 HAS SOUPS 286889 WITH SCORE 287544.607
AT ITER 1801 NEW BEST:: SOT 993712 SOS 655885 HAS SOPS 644515 HAS SOUS 288527 HAS SOUPS 286695 WITH SCORE 287350.885
AT ITER 1802 NEW BEST:: SOT 993637 SOS 655835 HAS SOPS 644465 HAS SOUS 288477 HAS SOUPS 286645 WITH SCORE 287300.835
AT ITER 1835 NEW BEST:: SOT 993630 SOS 655828 HAS SOPS 644458 HAS SOUS 288466 HAS SOUPS 286634 WITH SCORE 287289.828
AT ITER 1852 NEW BEST:: SOT 993630 SOS 655950 HAS SOPS 644580 HAS SOUS 288327 HAS SOUPS 286495 WITH SCORE 287150.95
AT ITER 1856 NEW BEST:: SOT 993597 SOS 655917 HAS SOPS 644547 HAS SOUS 288256 HAS SOUPS 286424 WITH SCORE 287079.917
AT ITER 1859 NEW BEST:: SOT 993593 SOS 655909 HAS SOPS 644539 HAS SOUS 288248 HAS SOUPS 286416 WITH SCORE 287071.909
AT ITER 1868 NEW BEST:: SOT 993593 SOS 655891 HAS SOPS 644521 HAS SOUS 288230 HAS SOUPS 286398 WITH SCORE 287053.891
AT ITER 1874 NEW BEST:: SOT 993587 SOS 655873 HAS SOPS 644503 HAS SOUS 288218 HAS SOUPS 286386 WITH SCORE 287041.873
AT ITER 1895 NEW BEST:: SOT 993587 SOS 655821 HAS SOPS 644451 HAS SOUS 288166 HAS SOUPS 286334 WITH SCORE 286989.821
AT ITER 1936 NEW BEST:: SOT 993676 SOS 653363 HAS SOPS 641993 HAS SOUS 281385 HAS SOUPS 279553 WITH SCORE 280206.363
AT ITER 1943 NEW BEST:: SOT 993046 SOS 652733 HAS SOPS 641363 HAS SOUS 280930 HAS SOUPS 279098 WITH SCORE 279750.733
AT ITER 1945 NEW BEST:: SOT 992725 SOS 652411 HAS SOPS 641041 HAS SOUS 280637 HAS SOUPS 278805 WITH SCORE 279457.411
AT ITER 1948 NEW BEST:: SOT 992585 SOS 652386 HAS SOPS 641016 HAS SOUS 280624 HAS SOUPS 278792 WITH SCORE 279444.386
AT ITER 1970 NEW BEST:: SOT 992517 SOS 652307 HAS SOPS 640937 HAS SOUS 280547 HAS SOUPS 278715 WITH SCORE 279367.307
AT ITER 1979 NEW BEST:: SOT 992197 SOS 652391 HAS SOPS 641021 HAS SOUS 280353 HAS SOUPS 278521 WITH SCORE 279173.391
AT ITER 1984 NEW BEST:: SOT 992169 SOS 652345 HAS SOPS 640975 HAS SOUS 280317 HAS SOUPS 278485 WITH SCORE 279137.345
AT ITER 2003 NEW BEST:: SOT 992161 SOS 652337 HAS SOPS 640967 HAS SOUS 280309 HAS SOUPS 278477 WITH SCORE 279129.337
AT ITER 2010 NEW BEST:: SOT 992476 SOS 652746 HAS SOPS 641376 HAS SOUS 280024 HAS SOUPS 278192 WITH SCORE 278844.746
AT ITER 2021 NEW BEST:: SOT 992475 SOS 652741 HAS SOPS 641371 HAS SOUS 280022 HAS SOUPS 278190 WITH SCORE 278842.741
AT ITER 2036 NEW BEST:: SOT 992475 SOS 652741 HAS SOPS 641344 HAS SOUS 279995 HAS SOUPS 278163 WITH SCORE 278815.741
AT ITER 2037 NEW BEST:: SOT 992125 SOS 653525 HAS SOPS 642128 HAS SOUS 279452 HAS SOUPS 277620 WITH SCORE 278273.525
AT ITER 2044 NEW BEST:: SOT 992114 SOS 653503 HAS SOPS 642106 HAS SOUS 279430 HAS SOUPS 277598 WITH SCORE 278251.503
AT ITER 2053 NEW BEST:: SOT 992194 SOS 653583 HAS SOPS 642186 HAS SOUS 279280 HAS SOUPS 277448 WITH SCORE 278101.583
AT ITER 2069 NEW BEST:: SOT 992194 SOS 653642 HAS SOPS 642245 HAS SOUS 279221 HAS SOUPS 277389 WITH SCORE 278042.642
AT ITER 2073 NEW BEST:: SOT 992371 SOS 653819 HAS SOPS 642422 HAS SOUS 278359 HAS SOUPS 276527 WITH SCORE 277180.819
AT ITER 2091 NEW BEST:: SOT 992309 SOS 653646 HAS SOPS 642249 HAS SOUS 278203 HAS SOUPS 276371 WITH SCORE 277024.646
AT ITER 2103 NEW BEST:: SOT 992295 SOS 653659 HAS SOPS 642262 HAS SOUS 278187 HAS SOUPS 276355 WITH SCORE 277008.659
AT ITER 2111 NEW BEST:: SOT 992269 SOS 653633 HAS SOPS 642236 HAS SOUS 278128 HAS SOUPS 276296 WITH SCORE 276949.633
AT ITER 2123 NEW BEST:: SOT 992467 SOS 654228 HAS SOPS 642831 HAS SOUS 278027 HAS SOUPS 276195 WITH SCORE 276849.228
AT ITER 2137 NEW BEST:: SOT 992467 SOS 654138 HAS SOPS 642808 HAS SOUS 278027 HAS SOUPS 276195 WITH SCORE 276849.138
AT ITER 2140 NEW BEST:: SOT 991646 SOS 653137 HAS SOPS 641807 HAS SOUS 277355 HAS SOUPS 275523 WITH SCORE 276176.137
AT ITER 2153 NEW BEST:: SOT 991680 SOS 653171 HAS SOPS 641841 HAS SOUS 277103 HAS SOUPS 275271 WITH SCORE 275924.171
AT ITER 2156 NEW BEST:: SOT 991642 SOS 652965 HAS SOPS 641670 HAS SOUS 277020 HAS SOUPS 275188 WITH SCORE 275840.965
AT ITER 2159 NEW BEST:: SOT 991171 SOS 652423 HAS SOPS 641128 HAS SOUS 276629 HAS SOUPS 274797 WITH SCORE 275449.423
AT ITER 2163 NEW BEST:: SOT 991197 SOS 652412 HAS SOPS 641117 HAS SOUS 276618 HAS SOUPS 274786 WITH SCORE 275438.412
AT ITER 2164 NEW BEST:: SOT 991085 SOS 652292 HAS SOPS 640997 HAS SOUS 276589 HAS SOUPS 274757 WITH SCORE 275409.292
AT ITER 2178 NEW BEST:: SOT 991175 SOS 652412 HAS SOPS 641117 HAS SOUS 276557 HAS SOUPS 274725 WITH SCORE 275377.412
AT ITER 2194 NEW BEST:: SOT 991205 SOS 652373 HAS SOPS 641078 HAS SOUS 276518 HAS SOUPS 274686 WITH SCORE 275338.373
AT ITER 2197 NEW BEST:: SOT 991768 SOS 652890 HAS SOPS 641595 HAS SOUS 276340 HAS SOUPS 274508 WITH SCORE 275160.89
AT ITER 2203 NEW BEST:: SOT 991752 SOS 652884 HAS SOPS 641589 HAS SOUS 276301 HAS SOUPS 274469 WITH SCORE 275121.884
AT ITER 2210 NEW BEST:: SOT 991303 SOS 654235 HAS SOPS 643150 HAS SOUS 276063 HAS SOUPS 274266 WITH SCORE 274920.235
AT ITER 2211 NEW BEST:: SOT 991207 SOS 654139 HAS SOPS 643054 HAS SOUS 275522 HAS SOUPS 273725 WITH SCORE 274379.139
AT ITER 2232 NEW BEST:: SOT 991260 SOS 654485 HAS SOPS 643400 HAS SOUS 275468 HAS SOUPS 273671 WITH SCORE 274325.485
AT ITER 2242 NEW BEST:: SOT 991256 SOS 654473 HAS SOPS 643388 HAS SOUS 275468 HAS SOUPS 273671 WITH SCORE 274325.473
AT ITER 2258 NEW BEST:: SOT 991101 SOS 654460 HAS SOPS 643375 HAS SOUS 275185 HAS SOUPS 273388 WITH SCORE 274042.46
AT ITER 2277 NEW BEST:: SOT 991118 SOS 654644 HAS SOPS 643559 HAS SOUS 274994 HAS SOUPS 273197 WITH SCORE 273851.644
AT ITER 2281 NEW BEST:: SOT 991352 SOS 654878 HAS SOPS 643793 HAS SOUS 273980 HAS SOUPS 272183 WITH SCORE 272837.878
AT ITER 2284 NEW BEST:: SOT 991352 SOS 654878 HAS SOPS 643793 HAS SOUS 273968 HAS SOUPS 272171 WITH SCORE 272825.878
AT ITER 2294 NEW BEST:: SOT 991151 SOS 654677 HAS SOPS 643592 HAS SOUS 273774 HAS SOUPS 271977 WITH SCORE 272631.677
AT ITER 2297 NEW BEST:: SOT 991151 SOS 654498 HAS SOPS 643413 HAS SOUS 273766 HAS SOUPS 271969 WITH SCORE 272623.498
AT ITER 2307 NEW BEST:: SOT 990630 SOS 654034 HAS SOPS 642949 HAS SOUS 273302 HAS SOUPS 271505 WITH SCORE 272159.034
AT ITER 2309 NEW BEST:: SOT 990304 SOS 653708 HAS SOPS 642623 HAS SOUS 272927 HAS SOUPS 271130 WITH SCORE 271783.708
AT ITER 2327 NEW BEST:: SOT 990295 SOS 653699 HAS SOPS 642614 HAS SOUS 272918 HAS SOUPS 271121 WITH SCORE 271774.699
AT ITER 2343 NEW BEST:: SOT 990458 SOS 654066 HAS SOPS 642981 HAS SOUS 272812 HAS SOUPS 271015 WITH SCORE 271669.066
AT ITER 2346 NEW BEST:: SOT 990433 SOS 654066 HAS SOPS 642981 HAS SOUS 272762 HAS SOUPS 270965 WITH SCORE 271619.066
AT ITER 2363 NEW BEST:: SOT 990391 SOS 654053 HAS SOPS 642968 HAS SOUS 272665 HAS SOUPS 270868 WITH SCORE 271522.053
AT ITER 2391 NEW BEST:: SOT 990381 SOS 654043 HAS SOPS 642958 HAS SOUS 272655 HAS SOUPS 270858 WITH SCORE 271512.043
AT ITER 2393 NEW BEST:: SOT 990329 SOS 653991 HAS SOPS 642940 HAS SOUS 272637 HAS SOUPS 270840 WITH SCORE 271493.991
AT ITER 2404 NEW BEST:: SOT 990336 SOS 653983 HAS SOPS 642932 HAS SOUS 272629 HAS SOUPS 270832 WITH SCORE 271485.983
AT ITER 2428 NEW BEST:: SOT 990309 SOS 653956 HAS SOPS 642851 HAS SOUS 272539 HAS SOUPS 270742 WITH SCORE 271395.956
AT ITER 2429 NEW BEST:: SOT 990165 SOS 653812 HAS SOPS 642707 HAS SOUS 272359 HAS SOUPS 270562 WITH SCORE 271215.812
AT ITER 2432 NEW BEST:: SOT 990148 SOS 653844 HAS SOPS 642739 HAS SOUS 272322 HAS SOUPS 270525 WITH SCORE 271178.844
AT ITER 2439 NEW BEST:: SOT 990142 SOS 653845 HAS SOPS 642751 HAS SOUS 272318 HAS SOUPS 270521 WITH SCORE 271174.845
AT ITER 2442 NEW BEST:: SOT 990117 SOS 653820 HAS SOPS 642751 HAS SOUS 272318 HAS SOUPS 270521 WITH SCORE 271174.82
AT ITER 2443 NEW BEST:: SOT 990117 SOS 653834 HAS SOPS 642765 HAS SOUS 272304 HAS SOUPS 270507 WITH SCORE 271160.834
AT ITER 2447 NEW BEST:: SOT 990117 SOS 653806 HAS SOPS 642737 HAS SOUS 272276 HAS SOUPS 270479 WITH SCORE 271132.806
AT ITER 2453 NEW BEST:: SOT 991345 SOS 661927 HAS SOPS 650858 HAS SOUS 269612 HAS SOUPS 267815 WITH SCORE 268476.927
AT ITER 2456 NEW BEST:: SOT 991051 SOS 662038 HAS SOPS 650483 HAS SOUS 269063 HAS SOUPS 267185 WITH SCORE 267847.038
AT ITER 2457 NEW BEST:: SOT 991051 SOS 662038 HAS SOPS 650483 HAS SOUS 269040 HAS SOUPS 267162 WITH SCORE 267824.038
AT ITER 2458 NEW BEST:: SOT 991051 SOS 662038 HAS SOPS 650483 HAS SOUS 268975 HAS SOUPS 267097 WITH SCORE 267759.038
AT ITER 2467 NEW BEST:: SOT 990803 SOS 661669 HAS SOPS 650114 HAS SOUS 268570 HAS SOUPS 266692 WITH SCORE 267353.669
AT ITER 2468 NEW BEST:: SOT 990759 SOS 661661 HAS SOPS 650106 HAS SOUS 268352 HAS SOUPS 266474 WITH SCORE 267135.661
AT ITER 2471 NEW BEST:: SOT 990722 SOS 661699 HAS SOPS 650144 HAS SOUS 268319 HAS SOUPS 266441 WITH SCORE 267102.699
AT ITER 2478 NEW BEST:: SOT 990661 SOS 661715 HAS SOPS 650160 HAS SOUS 268208 HAS SOUPS 266330 WITH SCORE 266991.715
AT ITER 2485 NEW BEST:: SOT 989960 SOS 660810 HAS SOPS 649255 HAS SOUS 267477 HAS SOUPS 265599 WITH SCORE 266259.81
AT ITER 2486 NEW BEST:: SOT 989871 SOS 660644 HAS SOPS 649157 HAS SOUS 267379 HAS SOUPS 265501 WITH SCORE 266161.644
AT ITER 2502 NEW BEST:: SOT 989583 SOS 660459 HAS SOPS 648972 HAS SOUS 267223 HAS SOUPS 265345 WITH SCORE 266005.459
AT ITER 2514 NEW BEST:: SOT 989565 SOS 660477 HAS SOPS 648990 HAS SOUS 267187 HAS SOUPS 265309 WITH SCORE 265969.477
AT ITER 2543 NEW BEST:: SOT 989444 SOS 660337 HAS SOPS 648850 HAS SOUS 267013 HAS SOUPS 265135 WITH SCORE 265795.337
AT ITER 2566 NEW BEST:: SOT 989259 SOS 659951 HAS SOPS 648464 HAS SOUS 266075 HAS SOUPS 264197 WITH SCORE 264856.951
AT ITER 2572 NEW BEST:: SOT 989193 SOS 659885 HAS SOPS 648398 HAS SOUS 265912 HAS SOUPS 264034 WITH SCORE 264693.885
AT ITER 2583 NEW BEST:: SOT 989192 SOS 659851 HAS SOPS 648364 HAS SOUS 265910 HAS SOUPS 264032 WITH SCORE 264691.851
AT ITER 2590 NEW BEST:: SOT 989191 SOS 659850 HAS SOPS 648363 HAS SOUS 265909 HAS SOUPS 264031 WITH SCORE 264690.85
AT ITER 2599 NEW BEST:: SOT 989019 SOS 659687 HAS SOPS 648147 HAS SOUS 265746 HAS SOUPS 263815 WITH SCORE 264474.687
AT ITER 2600 NEW BEST:: SOT 988984 SOS 659120 HAS SOPS 647580 HAS SOUS 265731 HAS SOUPS 263800 WITH SCORE 264459.12
AT ITER 2615 NEW BEST:: SOT 988702 SOS 659014 HAS SOPS 647556 HAS SOUS 265533 HAS SOUPS 263602 WITH SCORE 264261.014
AT ITER 2631 NEW BEST:: SOT 988712 SOS 659024 HAS SOPS 647566 HAS SOUS 265191 HAS SOUPS 263260 WITH SCORE 263919.024
AT ITER 2640 NEW BEST:: SOT 988580 SOS 658892 HAS SOPS 647434 HAS SOUS 265122 HAS SOUPS 263191 WITH SCORE 263849.892
AT ITER 2641 NEW BEST:: SOT 988580 SOS 658874 HAS SOPS 647416 HAS SOUS 265122 HAS SOUPS 263191 WITH SCORE 263849.874
AT ITER 2651 NEW BEST:: SOT 988582 SOS 658930 HAS SOPS 647472 HAS SOUS 265112 HAS SOUPS 263181 WITH SCORE 263839.93
AT ITER 2662 NEW BEST:: SOT 988489 SOS 658920 HAS SOPS 647462 HAS SOUS 264008 HAS SOUPS 262077 WITH SCORE 262735.92
AT ITER 2665 NEW BEST:: SOT 991554 SOS 662142 HAS SOPS 650684 HAS SOUS 263618 HAS SOUPS 261687 WITH SCORE 262349.142
AT ITER 2671 NEW BEST:: SOT 991740 SOS 662358 HAS SOPS 650900 HAS SOUS 263590 HAS SOUPS 261659 WITH SCORE 262321.358
AT ITER 2695 NEW BEST:: SOT 991728 SOS 662346 HAS SOPS 650888 HAS SOUS 263588 HAS SOUPS 261657 WITH SCORE 262319.346
AT ITER 2709 NEW BEST:: SOT 991822 SOS 662381 HAS SOPS 650923 HAS SOUS 263049 HAS SOUPS 261118 WITH SCORE 261780.381
AT ITER 2721 NEW BEST:: SOT 991728 SOS 662256 HAS SOPS 650798 HAS SOUS 262924 HAS SOUPS 260993 WITH SCORE 261655.256
AT ITER 2734 NEW BEST:: SOT 991461 SOS 661980 HAS SOPS 650522 HAS SOUS 262498 HAS SOUPS 260567 WITH SCORE 261228.98
AT ITER 2735 NEW BEST:: SOT 991644 SOS 662164 HAS SOPS 650706 HAS SOUS 262167 HAS SOUPS 260236 WITH SCORE 260898.164
AT ITER 2736 NEW BEST:: SOT 991236 SOS 661601 HAS SOPS 650143 HAS SOUS 261797 HAS SOUPS 259866 WITH SCORE 260527.601
AT ITER 2753 NEW BEST:: SOT 991439 SOS 661831 HAS SOPS 650373 HAS SOUS 260030 HAS SOUPS 258099 WITH SCORE 258760.831
AT ITER 2761 NEW BEST:: SOT 991284 SOS 655451 HAS SOPS 644893 HAS SOUS 259716 HAS SOUPS 257860 WITH SCORE 258515.451
AT ITER 2774 NEW BEST:: SOT 990680 SOS 654835 HAS SOPS 644277 HAS SOUS 259048 HAS SOUPS 257192 WITH SCORE 257846.835
AT ITER 2795 NEW BEST:: SOT 990757 SOS 654968 HAS SOPS 644410 HAS SOUS 258968 HAS SOUPS 257112 WITH SCORE 257766.968
AT ITER 2805 NEW BEST:: SOT 990440 SOS 654761 HAS SOPS 644203 HAS SOUS 258861 HAS SOUPS 257005 WITH SCORE 257659.761
AT ITER 2811 NEW BEST:: SOT 990023 SOS 654416 HAS SOPS 643858 HAS SOUS 258425 HAS SOUPS 256569 WITH SCORE 257223.416
AT ITER 2812 NEW BEST:: SOT 990097 SOS 654623 HAS SOPS 644065 HAS SOUS 258421 HAS SOUPS 256565 WITH SCORE 257219.623
AT ITER 2821 NEW BEST:: SOT 990078 SOS 654554 HAS SOPS 643996 HAS SOUS 258405 HAS SOUPS 256549 WITH SCORE 257203.554
AT ITER 2834 NEW BEST:: SOT 990051 SOS 654500 HAS SOPS 643942 HAS SOUS 258322 HAS SOUPS 256466 WITH SCORE 257120.5
AT ITER 2835 NEW BEST:: SOT 990051 SOS 654480 HAS SOPS 643922 HAS SOUS 258318 HAS SOUPS 256462 WITH SCORE 257116.48
AT ITER 2858 NEW BEST:: SOT 990415 SOS 653113 HAS SOPS 642555 HAS SOUS 255942 HAS SOUPS 254086 WITH SCORE 254739.113
AT ITER 2869 NEW BEST:: SOT 990462 SOS 652973 HAS SOPS 642415 HAS SOUS 255849 HAS SOUPS 253993 WITH SCORE 254645.973
AT ITER 2872 NEW BEST:: SOT 990463 SOS 652994 HAS SOPS 642436 HAS SOUS 253992 HAS SOUPS 252136 WITH SCORE 252788.994
AT ITER 2882 NEW BEST:: SOT 990394 SOS 652897 HAS SOPS 642339 HAS SOUS 253809 HAS SOUPS 251953 WITH SCORE 252605.897
AT ITER 2890 NEW BEST:: SOT 990851 SOS 657917 HAS SOPS 647359 HAS SOUS 253369 HAS SOUPS 251513 WITH SCORE 252170.917
AT ITER 2891 NEW BEST:: SOT 990772 SOS 657838 HAS SOPS 647268 HAS SOUS 253231 HAS SOUPS 251363 WITH SCORE 252020.838
AT ITER 2892 NEW BEST:: SOT 990832 SOS 658014 HAS SOPS 647444 HAS SOUS 253061 HAS SOUPS 251193 WITH SCORE 251851.014
AT ITER 2895 NEW BEST:: SOT 990621 SOS 657803 HAS SOPS 647233 HAS SOUS 252639 HAS SOUPS 250771 WITH SCORE 251428.803
AT ITER 2897 NEW BEST:: SOT 990594 SOS 657810 HAS SOPS 647240 HAS SOUS 252585 HAS SOUPS 250717 WITH SCORE 251374.81
AT ITER 2899 NEW BEST:: SOT 990262 SOS 657478 HAS SOPS 646908 HAS SOUS 252508 HAS SOUPS 250640 WITH SCORE 251297.478
AT ITER 2909 NEW BEST:: SOT 990269 SOS 657485 HAS SOPS 646915 HAS SOUS 252386 HAS SOUPS 250518 WITH SCORE 251175.485
AT ITER 2924 NEW BEST:: SOT 990097 SOS 657257 HAS SOPS 646659 HAS SOUS 252158 HAS SOUPS 250290 WITH SCORE 250947.257
AT ITER 2930 NEW BEST:: SOT 990057 SOS 657217 HAS SOPS 646599 HAS SOUS 252078 HAS SOUPS 250210 WITH SCORE 250867.217
AT ITER 2942 NEW BEST:: SOT 989989 SOS 657162 HAS SOPS 646544 HAS SOUS 252023 HAS SOUPS 250155 WITH SCORE 250812.162
AT ITER 2947 NEW BEST:: SOT 989597 SOS 656868 HAS SOPS 646250 HAS SOUS 251481 HAS SOUPS 249613 WITH SCORE 250269.868
AT ITER 2950 NEW BEST:: SOT 989626 SOS 656897 HAS SOPS 646279 HAS SOUS 251474 HAS SOUPS 249606 WITH SCORE 250262.897
AT ITER 2952 NEW BEST:: SOT 988807 SOS 656329 HAS SOPS 645711 HAS SOUS 250350 HAS SOUPS 248482 WITH SCORE 249138.329
AT ITER 2959 NEW BEST:: SOT 988790 SOS 656312 HAS SOPS 645694 HAS SOUS 250316 HAS SOUPS 248448 WITH SCORE 249104.312
AT ITER 2969 NEW BEST:: SOT 988823 SOS 656346 HAS SOPS 645728 HAS SOUS 249886 HAS SOUPS 248018 WITH SCORE 248674.346
AT ITER 2984 NEW BEST:: SOT 988567 SOS 656090 HAS SOPS 645472 HAS SOUS 249607 HAS SOUPS 247739 WITH SCORE 248395.09
AT ITER 2993 NEW BEST:: SOT 988574 SOS 656097 HAS SOPS 645479 HAS SOUS 249593 HAS SOUPS 247725 WITH SCORE 248381.097
AT ITER 3000 NEW BEST:: SOT 988396 SOS 655554 HAS SOPS 644936 HAS SOUS 249531 HAS SOUPS 247663 WITH SCORE 248318.554
AT ITER 3004 NEW BEST:: SOT 988189 SOS 655380 HAS SOPS 644762 HAS SOUS 249126 HAS SOUPS 247258 WITH SCORE 247913.38
AT ITER 3020 NEW BEST:: SOT 988129 SOS 655320 HAS SOPS 644702 HAS SOUS 249066 HAS SOUPS 247198 WITH SCORE 247853.32
AT ITER 3025 NEW BEST:: SOT 988121 SOS 655312 HAS SOPS 644694 HAS SOUS 249050 HAS SOUPS 247182 WITH SCORE 247837.312
AT ITER 3044 NEW BEST:: SOT 987827 SOS 655018 HAS SOPS 644400 HAS SOUS 248672 HAS SOUPS 246804 WITH SCORE 247459.018
AT ITER 3052 NEW BEST:: SOT 987901 SOS 655011 HAS SOPS 644297 HAS SOUS 248455 HAS SOUPS 246587 WITH SCORE 247242.011
AT ITER 3055 NEW BEST:: SOT 987467 SOS 654479 HAS SOPS 643765 HAS SOUS 247985 HAS SOUPS 246117 WITH SCORE 246771.479
AT ITER 3057 NEW BEST:: SOT 987484 SOS 654479 HAS SOPS 643765 HAS SOUS 247934 HAS SOUPS 246066 WITH SCORE 246720.479
AT ITER 3066 NEW BEST:: SOT 987340 SOS 654226 HAS SOPS 643512 HAS SOUS 247681 HAS SOUPS 245813 WITH SCORE 246467.226
AT ITER 3068 NEW BEST:: SOT 987412 SOS 654225 HAS SOPS 643438 HAS SOUS 247680 HAS SOUPS 245812 WITH SCORE 246466.225
AT ITER 3077 NEW BEST:: SOT 987334 SOS 654247 HAS SOPS 643460 HAS SOUS 247316 HAS SOUPS 245448 WITH SCORE 246102.247
AT ITER 3079 NEW BEST:: SOT 987366 SOS 654595 HAS SOPS 643808 HAS SOUS 247026 HAS SOUPS 245158 WITH SCORE 245812.595
AT ITER 3090 NEW BEST:: SOT 987201 SOS 654226 HAS SOPS 643439 HAS SOUS 246900 HAS SOUPS 245032 WITH SCORE 245686.226
AT ITER 3112 NEW BEST:: SOT 987658 SOS 654699 HAS SOPS 643912 HAS SOUS 242871 HAS SOUPS 241003 WITH SCORE 241657.699
AT ITER 3127 NEW BEST:: SOT 987295 SOS 653527 HAS SOPS 642740 HAS SOUS 242202 HAS SOUPS 240334 WITH SCORE 240987.527
AT ITER 3137 NEW BEST:: SOT 984397 SOS 650629 HAS SOPS 639842 HAS SOUS 239304 HAS SOUPS 237436 WITH SCORE 238086.629
AT ITER 3141 NEW BEST:: SOT 983433 SOS 649797 HAS SOPS 639010 HAS SOUS 239028 HAS SOUPS 237160 WITH SCORE 237809.797
AT ITER 3165 NEW BEST:: SOT 983426 SOS 649790 HAS SOPS 639003 HAS SOUS 239014 HAS SOUPS 237146 WITH SCORE 237795.79
AT ITER 3179 NEW BEST:: SOT 983490 SOS 649808 HAS SOPS 639003 HAS SOUS 238950 HAS SOUPS 237082 WITH SCORE 237731.808
AT ITER 3180 NEW BEST:: SOT 983481 SOS 649859 HAS SOPS 639054 HAS SOUS 238864 HAS SOUPS 236996 WITH SCORE 237645.859
AT ITER 3181 NEW BEST:: SOT 983438 SOS 649849 HAS SOPS 639105 HAS SOUS 238864 HAS SOUPS 236996 WITH SCORE 237645.849
AT ITER 3187 NEW BEST:: SOT 983330 SOS 649798 HAS SOPS 639054 HAS SOUS 238735 HAS SOUPS 236867 WITH SCORE 237516.798
AT ITER 3203 NEW BEST:: SOT 983253 SOS 649763 HAS SOPS 639019 HAS SOUS 238671 HAS SOUPS 236803 WITH SCORE 237452.763
AT ITER 3206 NEW BEST:: SOT 983245 SOS 649755 HAS SOPS 639011 HAS SOUS 238580 HAS SOUPS 236712 WITH SCORE 237361.755
AT ITER 3218 NEW BEST:: SOT 983024 SOS 649640 HAS SOPS 638896 HAS SOUS 237959 HAS SOUPS 236091 WITH SCORE 236740.64
AT ITER 3233 NEW BEST:: SOT 983005 SOS 649582 HAS SOPS 638780 HAS SOUS 237826 HAS SOUPS 235958 WITH SCORE 236607.582
AT ITER 3239 NEW BEST:: SOT 982951 SOS 649420 HAS SOPS 638618 HAS SOUS 237826 HAS SOUPS 235958 WITH SCORE 236607.42
AT ITER 3240 NEW BEST:: SOT 982977 SOS 649462 HAS SOPS 638324 HAS SOUS 237868 HAS SOUPS 235904 WITH SCORE 236553.462
AT ITER 3265 NEW BEST:: SOT 983988 SOS 650545 HAS SOPS 639407 HAS SOUS 237699 HAS SOUPS 235735 WITH SCORE 236385.545
AT ITER 3274 NEW BEST:: SOT 983988 SOS 650558 HAS SOPS 639420 HAS SOUS 237656 HAS SOUPS 235692 WITH SCORE 236342.558
AT ITER 3283 NEW BEST:: SOT 984091 SOS 650661 HAS SOPS 639523 HAS SOUS 237653 HAS SOUPS 235689 WITH SCORE 236339.661
AT ITER 3290 NEW BEST:: SOT 984091 SOS 650661 HAS SOPS 639523 HAS SOUS 237611 HAS SOUPS 235647 WITH SCORE 236297.661
AT ITER 3305 NEW BEST:: SOT 984004 SOS 650546 HAS SOPS 639408 HAS SOUS 237466 HAS SOUPS 235502 WITH SCORE 236152.546
AT ITER 3311 NEW BEST:: SOT 983963 SOS 650505 HAS SOPS 639369 HAS SOUS 237426 HAS SOUPS 235462 WITH SCORE 236112.505
AT ITER 3354 NEW BEST:: SOT 983252 SOS 649552 HAS SOPS 638416 HAS SOUS 236691 HAS SOUPS 234727 WITH SCORE 235376.552
AT ITER 3401 NEW BEST:: SOT 982730 SOS 649030 HAS SOPS 637894 HAS SOUS 236025 HAS SOUPS 234061 WITH SCORE 234710.03
AT ITER 3402 NEW BEST:: SOT 982782 SOS 649097 HAS SOPS 637961 HAS SOUS 236021 HAS SOUPS 234057 WITH SCORE 234706.097
AT ITER 3411 NEW BEST:: SOT 982871 SOS 649116 HAS SOPS 637980 HAS SOUS 235919 HAS SOUPS 233955 WITH SCORE 234604.116
AT ITER 3417 NEW BEST:: SOT 982944 SOS 649189 HAS SOPS 638053 HAS SOUS 235810 HAS SOUPS 233846 WITH SCORE 234495.189
AT ITER 3419 NEW BEST:: SOT 982989 SOS 649234 HAS SOPS 638098 HAS SOUS 235780 HAS SOUPS 233816 WITH SCORE 234465.234
AT ITER 3430 NEW BEST:: SOT 982038 SOS 648283 HAS SOPS 637147 HAS SOUS 234814 HAS SOUPS 232850 WITH SCORE 233498.283
AT ITER 3431 NEW BEST:: SOT 981943 SOS 648188 HAS SOPS 637052 HAS SOUS 234794 HAS SOUPS 232830 WITH SCORE 233478.188
AT ITER 3443 NEW BEST:: SOT 981857 SOS 648123 HAS SOPS 636987 HAS SOUS 234775 HAS SOUPS 232811 WITH SCORE 233459.123
AT ITER 3479 NEW BEST:: SOT 981935 SOS 648376 HAS SOPS 637240 HAS SOUS 234535 HAS SOUPS 232571 WITH SCORE 233219.376
AT ITER 3482 NEW BEST:: SOT 981359 SOS 648041 HAS SOPS 636905 HAS SOUS 234347 HAS SOUPS 232383 WITH SCORE 233031.041
AT ITER 3485 NEW BEST:: SOT 981340 SOS 648374 HAS SOPS 637238 HAS SOUS 233676 HAS SOUPS 231712 WITH SCORE 232360.374
AT ITER 3488 NEW BEST:: SOT 981316 SOS 644466 HAS SOPS 633330 HAS SOUS 232650 HAS SOUPS 230686 WITH SCORE 231330.466
AT ITER 3491 NEW BEST:: SOT 981263 SOS 644653 HAS SOPS 633517 HAS SOUS 232623 HAS SOUPS 230659 WITH SCORE 231303.653
AT ITER 3498 NEW BEST:: SOT 981255 SOS 644643 HAS SOPS 633507 HAS SOUS 232611 HAS SOUPS 230647 WITH SCORE 231291.643
AT ITER 3501 NEW BEST:: SOT 981034 SOS 644492 HAS SOPS 633483 HAS SOUS 232543 HAS SOUPS 230595 WITH SCORE 231239.492
AT ITER 3504 NEW BEST:: SOT 980986 SOS 644420 HAS SOPS 633411 HAS SOUS 232471 HAS SOUPS 230523 WITH SCORE 231167.42
AT ITER 3524 NEW BEST:: SOT 980968 SOS 644651 HAS SOPS 633642 HAS SOUS 232439 HAS SOUPS 230491 WITH SCORE 231135.651
AT ITER 3526 NEW BEST:: SOT 980936 SOS 644619 HAS SOPS 633610 HAS SOUS 232382 HAS SOUPS 230434 WITH SCORE 231078.619
AT ITER 3531 NEW BEST:: SOT 980926 SOS 644594 HAS SOPS 633585 HAS SOUS 232357 HAS SOUPS 230409 WITH SCORE 231053.594
AT ITER 3561 NEW BEST:: SOT 980881 SOS 644402 HAS SOPS 633393 HAS SOUS 232236 HAS SOUPS 230288 WITH SCORE 230932.402
AT ITER 3581 NEW BEST:: SOT 980379 SOS 657379 HAS SOPS 647120 HAS SOUS 232082 HAS SOUPS 230259 WITH SCORE 230916.379
AT ITER 3587 NEW BEST:: SOT 980406 SOS 657406 HAS SOPS 647147 HAS SOUS 231746 HAS SOUPS 229923 WITH SCORE 230580.406
AT ITER 3617 NEW BEST:: SOT 980406 SOS 657406 HAS SOPS 647147 HAS SOUS 231722 HAS SOUPS 229899 WITH SCORE 230556.406
AT ITER 3637 NEW BEST:: SOT 980358 SOS 657358 HAS SOPS 647099 HAS SOUS 231580 HAS SOUPS 229757 WITH SCORE 230414.358
AT ITER 3651 NEW BEST:: SOT 980385 SOS 657385 HAS SOPS 647126 HAS SOUS 231570 HAS SOUPS 229747 WITH SCORE 230404.385
AT ITER 3652 NEW BEST:: SOT 980291 SOS 657354 HAS SOPS 647095 HAS SOUS 231563 HAS SOUPS 229740 WITH SCORE 230397.354
AT ITER 3665 NEW BEST:: SOT 980594 SOS 657377 HAS SOPS 646998 HAS SOUS 231561 HAS SOUPS 229729 WITH SCORE 230386.377
AT ITER 3676 NEW BEST:: SOT 983281 SOS 660504 HAS SOPS 650125 HAS SOUS 229828 HAS SOUPS 227996 WITH SCORE 228656.504
AT ITER 3678 NEW BEST:: SOT 983161 SOS 660384 HAS SOPS 650005 HAS SOUS 229210 HAS SOUPS 227378 WITH SCORE 228038.384
AT ITER 3680 NEW BEST:: SOT 983468 SOS 660610 HAS SOPS 650231 HAS SOUS 228991 HAS SOUPS 227159 WITH SCORE 227819.61
AT ITER 3683 NEW BEST:: SOT 983458 SOS 660656 HAS SOPS 650277 HAS SOUS 228977 HAS SOUPS 227145 WITH SCORE 227805.656
AT ITER 3689 NEW BEST:: SOT 983441 SOS 660586 HAS SOPS 650207 HAS SOUS 228873 HAS SOUPS 227041 WITH SCORE 227701.586
AT ITER 3697 NEW BEST:: SOT 983306 SOS 660594 HAS SOPS 650302 HAS SOUS 228826 HAS SOUPS 226994 WITH SCORE 227654.594
AT ITER 3702 NEW BEST:: SOT 983242 SOS 660456 HAS SOPS 650164 HAS SOUS 228726 HAS SOUPS 226894 WITH SCORE 227554.456
AT ITER 3720 NEW BEST:: SOT 983214 SOS 660428 HAS SOPS 650115 HAS SOUS 228677 HAS SOUPS 226845 WITH SCORE 227505.428
AT ITER 3734 NEW BEST:: SOT 983130 SOS 660344 HAS SOPS 650031 HAS SOUS 228499 HAS SOUPS 226667 WITH SCORE 227327.344
AT ITER 3756 NEW BEST:: SOT 983269 SOS 660651 HAS SOPS 650338 HAS SOUS 228491 HAS SOUPS 226659 WITH SCORE 227319.651
AT ITER 3766 NEW BEST:: SOT 983358 SOS 660740 HAS SOPS 650472 HAS SOUS 228474 HAS SOUPS 226651 WITH SCORE 227311.74
AT ITER 3771 NEW BEST:: SOT 983350 SOS 660732 HAS SOPS 650464 HAS SOUS 228466 HAS SOUPS 226643 WITH SCORE 227303.732
AT ITER 3774 NEW BEST:: SOT 983346 SOS 660728 HAS SOPS 650460 HAS SOUS 228451 HAS SOUPS 226628 WITH SCORE 227288.728
AT ITER 3781 NEW BEST:: SOT 983284 SOS 660542 HAS SOPS 650274 HAS SOUS 228451 HAS SOUPS 226628 WITH SCORE 227288.542
AT ITER 3790 NEW BEST:: SOT 983244 SOS 660502 HAS SOPS 650234 HAS SOUS 228411 HAS SOUPS 226588 WITH SCORE 227248.502
AT ITER 3797 NEW BEST:: SOT 983013 SOS 660424 HAS SOPS 650156 HAS SOUS 228295 HAS SOUPS 226472 WITH SCORE 227132.424
AT ITER 3800 NEW BEST:: SOT 982984 SOS 660441 HAS SOPS 650173 HAS SOUS 228200 HAS SOUPS 226377 WITH SCORE 227037.441
AT ITER 3805 NEW BEST:: SOT 982238 SOS 659695 HAS SOPS 649427 HAS SOUS 227620 HAS SOUPS 225797 WITH SCORE 226456.695
AT ITER 3816 NEW BEST:: SOT 982301 SOS 660035 HAS SOPS 649767 HAS SOUS 227536 HAS SOUPS 225713 WITH SCORE 226373.035
AT ITER 3824 NEW BEST:: SOT 982314 SOS 660048 HAS SOPS 649780 HAS SOUS 227460 HAS SOUPS 225637 WITH SCORE 226297.048
AT ITER 3830 NEW BEST:: SOT 982719 SOS 660637 HAS SOPS 650369 HAS SOUS 224445 HAS SOUPS 222622 WITH SCORE 223282.637
AT ITER 3831 NEW BEST:: SOT 982804 SOS 660824 HAS SOPS 650556 HAS SOUS 224243 HAS SOUPS 222420 WITH SCORE 223080.824
AT ITER 3855 NEW BEST:: SOT 982804 SOS 660932 HAS SOPS 650664 HAS SOUS 224215 HAS SOUPS 222392 WITH SCORE 223052.932
AT ITER 3862 NEW BEST:: SOT 982737 SOS 660865 HAS SOPS 650597 HAS SOUS 224122 HAS SOUPS 222299 WITH SCORE 222959.865
AT ITER 3873 NEW BEST:: SOT 982501 SOS 660629 HAS SOPS 650361 HAS SOUS 223813 HAS SOUPS 221990 WITH SCORE 222650.629
AT ITER 3876 NEW BEST:: SOT 982576 SOS 660704 HAS SOPS 650506 HAS SOUS 223809 HAS SOUPS 221986 WITH SCORE 222646.704
AT ITER 3901 NEW BEST:: SOT 982576 SOS 660704 HAS SOPS 650506 HAS SOUS 223710 HAS SOUPS 221887 WITH SCORE 222547.704
AT ITER 3910 NEW BEST:: SOT 982630 SOS 665294 HAS SOPS 654448 HAS SOUS 223602 HAS SOUPS 221725 WITH SCORE 222390.294
AT ITER 3911 NEW BEST:: SOT 982630 SOS 665294 HAS SOPS 654440 HAS SOUS 223598 HAS SOUPS 221721 WITH SCORE 222386.294
AT ITER 3922 NEW BEST:: SOT 982630 SOS 665294 HAS SOPS 654440 HAS SOUS 223597 HAS SOUPS 221720 WITH SCORE 222385.294
AT ITER 3924 NEW BEST:: SOT 982595 SOS 665302 HAS SOPS 654403 HAS SOUS 223527 HAS SOUPS 221650 WITH SCORE 222315.302
AT ITER 3927 NEW BEST:: SOT 982595 SOS 665146 HAS SOPS 654247 HAS SOUS 223518 HAS SOUPS 221641 WITH SCORE 222306.146
AT ITER 3934 NEW BEST:: SOT 982595 SOS 665413 HAS SOPS 654514 HAS SOUS 223507 HAS SOUPS 221630 WITH SCORE 222295.413
AT ITER 3942 NEW BEST:: SOT 982304 SOS 665122 HAS SOPS 654223 HAS SOUS 223269 HAS SOUPS 221392 WITH SCORE 222057.122
AT ITER 3945 NEW BEST:: SOT 982180 SOS 664910 HAS SOPS 654031 HAS SOUS 223129 HAS SOUPS 221252 WITH SCORE 221916.91
AT ITER 3951 NEW BEST:: SOT 982132 SOS 664724 HAS SOPS 653845 HAS SOUS 222902 HAS SOUPS 221025 WITH SCORE 221689.724
AT ITER 3956 NEW BEST:: SOT 982131 SOS 664725 HAS SOPS 653846 HAS SOUS 222900 HAS SOUPS 221023 WITH SCORE 221687.725
AT ITER 3994 NEW BEST:: SOT 981508 SOS 650185 HAS SOPS 641570 HAS SOUS 222103 HAS SOUPS 220417 WITH SCORE 221067.185
AT ITER 3996 NEW BEST:: SOT 981256 SOS 649861 HAS SOPS 641246 HAS SOUS 221779 HAS SOUPS 220093 WITH SCORE 220742.861
AT ITER 3997 NEW BEST:: SOT 981158 SOS 649763 HAS SOPS 641148 HAS SOUS 221541 HAS SOUPS 219855 WITH SCORE 220504.763
AT ITER 4009 NEW BEST:: SOT 981118 SOS 649723 HAS SOPS 641108 HAS SOUS 221461 HAS SOUPS 219775 WITH SCORE 220424.723
AT ITER 4066 NEW BEST:: SOT 981092 SOS 649697 HAS SOPS 641082 HAS SOUS 220391 HAS SOUPS 218705 WITH SCORE 219354.697
AT ITER 4096 NEW BEST:: SOT 981044 SOS 649905 HAS SOPS 641290 HAS SOUS 220089 HAS SOUPS 218403 WITH SCORE 219052.905
AT ITER 4097 NEW BEST:: SOT 981083 SOS 649957 HAS SOPS 641342 HAS SOUS 219535 HAS SOUPS 217849 WITH SCORE 218498.957
AT ITER 4135 NEW BEST:: SOT 981066 SOS 649940 HAS SOPS 641339 HAS SOUS 219473 HAS SOUPS 217787 WITH SCORE 218436.94
AT ITER 4138 NEW BEST:: SOT 981028 SOS 649686 HAS SOPS 641085 HAS SOUS 219435 HAS SOUPS 217749 WITH SCORE 218398.686
AT ITER 4145 NEW BEST:: SOT 981059 SOS 649707 HAS SOPS 641106 HAS SOUS 219374 HAS SOUPS 217688 WITH SCORE 218337.707
AT ITER 4152 NEW BEST:: SOT 980895 SOS 649554 HAS SOPS 640953 HAS SOUS 218933 HAS SOUPS 217247 WITH SCORE 217896.554
AT ITER 4156 NEW BEST:: SOT 980940 SOS 649728 HAS SOPS 641085 HAS SOUS 218897 HAS SOUPS 217211 WITH SCORE 217860.728
AT ITER 4159 NEW BEST:: SOT 980679 SOS 649467 HAS SOPS 640824 HAS SOUS 218597 HAS SOUPS 216911 WITH SCORE 217560.467
AT ITER 4161 NEW BEST:: SOT 980923 SOS 653340 HAS SOPS 644697 HAS SOUS 218366 HAS SOUPS 216680 WITH SCORE 217333.34
AT ITER 4185 NEW BEST:: SOT 980783 SOS 653200 HAS SOPS 644557 HAS SOUS 218299 HAS SOUPS 216613 WITH SCORE 217266.2
AT ITER 4200 NEW BEST:: SOT 980783 SOS 653018 HAS SOPS 644375 HAS SOUS 218232 HAS SOUPS 216546 WITH SCORE 217199.018
AT ITER 4201 NEW BEST:: SOT 980819 SOS 653591 HAS SOPS 644948 HAS SOUS 218135 HAS SOUPS 216449 WITH SCORE 217102.591
AT ITER 4228 NEW BEST:: SOT 980880 SOS 653652 HAS SOPS 645068 HAS SOUS 218058 HAS SOUPS 216372 WITH SCORE 217025.652
AT ITER 4251 NEW BEST:: SOT 980872 SOS 653640 HAS SOPS 645060 HAS SOUS 218050 HAS SOUPS 216364 WITH SCORE 217017.64
AT ITER 4255 NEW BEST:: SOT 980794 SOS 653562 HAS SOPS 644982 HAS SOUS 217894 HAS SOUPS 216208 WITH SCORE 216861.562
AT ITER 4260 NEW BEST:: SOT 980794 SOS 653561 HAS SOPS 644980 HAS SOUS 217893 HAS SOUPS 216207 WITH SCORE 216860.561
AT ITER 4264 NEW BEST:: SOT 980793 SOS 653560 HAS SOPS 644979 HAS SOUS 217864 HAS SOUPS 216178 WITH SCORE 216831.56
AT ITER 4265 NEW BEST:: SOT 980776 SOS 653543 HAS SOPS 644962 HAS SOUS 217847 HAS SOUPS 216161 WITH SCORE 216814.543
AT ITER 4271 NEW BEST:: SOT 980776 SOS 653475 HAS SOPS 644939 HAS SOUS 217688 HAS SOUPS 216002 WITH SCORE 216655.475
AT ITER 4296 NEW BEST:: SOT 980809 SOS 653508 HAS SOPS 644972 HAS SOUS 217605 HAS SOUPS 215919 WITH SCORE 216572.508
AT ITER 4297 NEW BEST:: SOT 980868 SOS 653613 HAS SOPS 645077 HAS SOUS 217484 HAS SOUPS 215798 WITH SCORE 216451.613
AT ITER 4300 NEW BEST:: SOT 980775 SOS 653707 HAS SOPS 645171 HAS SOUS 217334 HAS SOUPS 215648 WITH SCORE 216301.707
AT ITER 4359 NEW BEST:: SOT 975315 SOS 648210 HAS SOPS 639642 HAS SOUS 211805 HAS SOUPS 210119 WITH SCORE 210767.21
AT ITER 4386 NEW BEST:: SOT 974801 SOS 647899 HAS SOPS 639331 HAS SOUS 211458 HAS SOUPS 209772 WITH SCORE 210419.899
AT ITER 4389 NEW BEST:: SOT 974793 SOS 647891 HAS SOPS 639323 HAS SOUS 211442 HAS SOUPS 209756 WITH SCORE 210403.891
AT ITER 4397 NEW BEST:: SOT 974817 SOS 647915 HAS SOPS 639347 HAS SOUS 211415 HAS SOUPS 209729 WITH SCORE 210376.915
AT ITER 4404 NEW BEST:: SOT 974638 SOS 648110 HAS SOPS 639542 HAS SOUS 211135 HAS SOUPS 209449 WITH SCORE 210097.11
AT ITER 4405 NEW BEST:: SOT 974463 SOS 647935 HAS SOPS 639367 HAS SOUS 210960 HAS SOUPS 209274 WITH SCORE 209921.935
AT ITER 4419 NEW BEST:: SOT 974461 SOS 647933 HAS SOPS 639365 HAS SOUS 210958 HAS SOUPS 209272 WITH SCORE 209919.933
AT ITER 4447 NEW BEST:: SOT 974436 SOS 647908 HAS SOPS 639340 HAS SOUS 210908 HAS SOUPS 209222 WITH SCORE 209869.908
AT ITER 4463 NEW BEST:: SOT 974333 SOS 647878 HAS SOPS 639310 HAS SOUS 210702 HAS SOUPS 209016 WITH SCORE 209663.878
AT ITER 4468 NEW BEST:: SOT 974141 SOS 647805 HAS SOPS 639237 HAS SOUS 210650 HAS SOUPS 208964 WITH SCORE 209611.805
AT ITER 4499 NEW BEST:: SOT 974066 SOS 647770 HAS SOPS 639202 HAS SOUS 210236 HAS SOUPS 208550 WITH SCORE 209197.77
AT ITER 4515 NEW BEST:: SOT 974029 SOS 647733 HAS SOPS 639165 HAS SOUS 210199 HAS SOUPS 208513 WITH SCORE 209160.733
AT ITER 4519 NEW BEST:: SOT 974002 SOS 647706 HAS SOPS 639112 HAS SOUS 210160 HAS SOUPS 208459 WITH SCORE 209106.706
AT ITER 4521 NEW BEST:: SOT 973645 SOS 647188 HAS SOPS 638594 HAS SOUS 209909 HAS SOUPS 208208 WITH SCORE 208855.188
AT ITER 4529 NEW BEST:: SOT 973615 SOS 648163 HAS SOPS 639569 HAS SOUS 209848 HAS SOUPS 208147 WITH SCORE 208795.163
AT ITER 4566 NEW BEST:: SOT 973567 SOS 648239 HAS SOPS 639645 HAS SOUS 209782 HAS SOUPS 208081 WITH SCORE 208729.239
AT ITER 4570 NEW BEST:: SOT 973014 SOS 647438 HAS SOPS 638844 HAS SOUS 209026 HAS SOUPS 207325 WITH SCORE 207972.438
AT ITER 4574 NEW BEST:: SOT 972800 SOS 647224 HAS SOPS 638630 HAS SOUS 208990 HAS SOUPS 207289 WITH SCORE 207936.224
AT ITER 4585 NEW BEST:: SOT 972790 SOS 647185 HAS SOPS 638591 HAS SOUS 208946 HAS SOUPS 207245 WITH SCORE 207892.185
AT ITER 4615 NEW BEST:: SOT 972752 SOS 647147 HAS SOPS 638553 HAS SOUS 208837 HAS SOUPS 207136 WITH SCORE 207783.147
AT ITER 4619 NEW BEST:: SOT 972661 SOS 647056 HAS SOPS 638462 HAS SOUS 208746 HAS SOUPS 207045 WITH SCORE 207692.056
AT ITER 4624 NEW BEST:: SOT 972683 SOS 647024 HAS SOPS 638430 HAS SOUS 208628 HAS SOUPS 206927 WITH SCORE 207574.024
AT ITER 4632 NEW BEST:: SOT 972683 SOS 647018 HAS SOPS 638424 HAS SOUS 208628 HAS SOUPS 206927 WITH SCORE 207574.018
AT ITER 4656 NEW BEST:: SOT 972524 SOS 646859 HAS SOPS 638265 HAS SOUS 208431 HAS SOUPS 206730 WITH SCORE 207376.859
AT ITER 4661 NEW BEST:: SOT 972500 SOS 646835 HAS SOPS 638241 HAS SOUS 208383 HAS SOUPS 206682 WITH SCORE 207328.835
AT ITER 4666 NEW BEST:: SOT 972552 SOS 646783 HAS SOPS 638137 HAS SOUS 208383 HAS SOUPS 206682 WITH SCORE 207328.783
AT ITER 4673 NEW BEST:: SOT 972370 SOS 646601 HAS SOPS 637955 HAS SOUS 208274 HAS SOUPS 206573 WITH SCORE 207219.601
AT ITER 4678 NEW BEST:: SOT 972397 SOS 646614 HAS SOPS 637955 HAS SOUS 208220 HAS SOUPS 206519 WITH SCORE 207165.614
AT ITER 4680 NEW BEST:: SOT 972202 SOS 646419 HAS SOPS 637760 HAS SOUS 208123 HAS SOUPS 206422 WITH SCORE 207068.419
AT ITER 4685 NEW BEST:: SOT 972112 SOS 646342 HAS SOPS 637760 HAS SOUS 208123 HAS SOUPS 206422 WITH SCORE 207068.342
AT ITER 4687 NEW BEST:: SOT 972097 SOS 648248 HAS SOPS 639666 HAS SOUS 208085 HAS SOUPS 206384 WITH SCORE 207032.248
AT ITER 4694 NEW BEST:: SOT 971892 SOS 647935 HAS SOPS 639353 HAS SOUS 207672 HAS SOUPS 205971 WITH SCORE 206618.935
AT ITER 4706 NEW BEST:: SOT 965580 SOS 632295 HAS SOPS 623383 HAS SOUS 201199 HAS SOUPS 199443 WITH SCORE 200075.295
AT ITER 4710 NEW BEST:: SOT 965599 SOS 632219 HAS SOPS 623307 HAS SOUS 201123 HAS SOUPS 199367 WITH SCORE 199999.219
AT ITER 4733 NEW BEST:: SOT 965371 SOS 631951 HAS SOPS 623039 HAS SOUS 201058 HAS SOUPS 199302 WITH SCORE 199933.951
AT ITER 4757 NEW BEST:: SOT 965324 SOS 631763 HAS SOPS 622892 HAS SOUS 201022 HAS SOUPS 199266 WITH SCORE 199897.763
AT ITER 4760 NEW BEST:: SOT 965348 SOS 631733 HAS SOPS 622862 HAS SOUS 201016 HAS SOUPS 199260 WITH SCORE 199891.733
AT ITER 4775 NEW BEST:: SOT 965298 SOS 631683 HAS SOPS 622852 HAS SOUS 200799 HAS SOUPS 199043 WITH SCORE 199674.683
AT ITER 4778 NEW BEST:: SOT 965298 SOS 631714 HAS SOPS 622883 HAS SOUS 200798 HAS SOUPS 199042 WITH SCORE 199673.714
AT ITER 4779 NEW BEST:: SOT 965298 SOS 631711 HAS SOPS 622863 HAS SOUS 200788 HAS SOUPS 199032 WITH SCORE 199663.711
AT ITER 4802 NEW BEST:: SOT 965289 SOS 631705 HAS SOPS 622857 HAS SOUS 200773 HAS SOUPS 199017 WITH SCORE 199648.705
AT ITER 4803 NEW BEST:: SOT 965289 SOS 631523 HAS SOPS 622651 HAS SOUS 200723 HAS SOUPS 198967 WITH SCORE 199598.523
AT ITER 4806 NEW BEST:: SOT 964893 SOS 631172 HAS SOPS 622300 HAS SOUS 200384 HAS SOUPS 198628 WITH SCORE 199259.172
AT ITER 4811 NEW BEST:: SOT 964883 SOS 631164 HAS SOPS 622292 HAS SOUS 200370 HAS SOUPS 198614 WITH SCORE 199245.164
AT ITER 4816 NEW BEST:: SOT 964811 SOS 630968 HAS SOPS 622096 HAS SOUS 200286 HAS SOUPS 198530 WITH SCORE 199160.968
AT ITER 4824 NEW BEST:: SOT 964463 SOS 630424 HAS SOPS 621552 HAS SOUS 199824 HAS SOUPS 198068 WITH SCORE 198698.424
AT ITER 4825 NEW BEST:: SOT 964442 SOS 630286 HAS SOPS 621414 HAS SOUS 199791 HAS SOUPS 198035 WITH SCORE 198665.286
AT ITER 4839 NEW BEST:: SOT 964394 SOS 630238 HAS SOPS 621366 HAS SOUS 199634 HAS SOUPS 197878 WITH SCORE 198508.238
AT ITER 4840 NEW BEST:: SOT 964466 SOS 630310 HAS SOPS 621438 HAS SOUS 199404 HAS SOUPS 197648 WITH SCORE 198278.31
AT ITER 4863 NEW BEST:: SOT 964418 SOS 630278 HAS SOPS 621406 HAS SOUS 199308 HAS SOUPS 197552 WITH SCORE 198182.278
AT ITER 4881 NEW BEST:: SOT 964364 SOS 630224 HAS SOPS 621352 HAS SOUS 199046 HAS SOUPS 197290 WITH SCORE 197920.224
AT ITER 4886 NEW BEST:: SOT 964369 SOS 630201 HAS SOPS 621329 HAS SOUS 199023 HAS SOUPS 197267 WITH SCORE 197897.201
AT ITER 4892 NEW BEST:: SOT 964277 SOS 629925 HAS SOPS 621053 HAS SOUS 199023 HAS SOUPS 197267 WITH SCORE 197896.925
AT ITER 4895 NEW BEST:: SOT 964277 SOS 631232 HAS SOPS 622360 HAS SOUS 198957 HAS SOUPS 197201 WITH SCORE 197832.232
AT ITER 4951 NEW BEST:: SOT 964257 SOS 631212 HAS SOPS 622340 HAS SOUS 198917 HAS SOUPS 197161 WITH SCORE 197792.212
AT ITER 4965 NEW BEST:: SOT 964285 SOS 631247 HAS SOPS 622375 HAS SOUS 198817 HAS SOUPS 197061 WITH SCORE 197692.247
AT ITER 4973 NEW BEST:: SOT 964037 SOS 630999 HAS SOPS 622127 HAS SOUS 198623 HAS SOUPS 196867 WITH SCORE 197497.999
AT ITER 4997 NEW BEST:: SOT 964005 SOS 630990 HAS SOPS 622118 HAS SOUS 198559 HAS SOUPS 196803 WITH SCORE 197433.99
AT ITER 5005 NEW BEST:: SOT 963830 SOS 630898 HAS SOPS 622026 HAS SOUS 198406 HAS SOUPS 196650 WITH SCORE 197280.898
AT ITER 5009 NEW BEST:: SOT 963665 SOS 630854 HAS SOPS 622030 HAS SOUS 198383 HAS SOUPS 196627 WITH SCORE 197257.854
AT ITER 5016 NEW BEST:: SOT 963665 SOS 630854 HAS SOPS 622030 HAS SOUS 198353 HAS SOUPS 196597 WITH SCORE 197227.854
AT ITER 5041 NEW BEST:: SOT 963665 SOS 631082 HAS SOPS 621952 HAS SOUS 198302 HAS SOUPS 196495 WITH SCORE 197126.082
AT ITER 5044 NEW BEST:: SOT 963705 SOS 631449 HAS SOPS 622319 HAS SOUS 198268 HAS SOUPS 196461 WITH SCORE 197092.449
AT ITER 5075 NEW BEST:: SOT 963973 SOS 631717 HAS SOPS 622587 HAS SOUS 196995 HAS SOUPS 195188 WITH SCORE 195819.717
AT ITER 5077 NEW BEST:: SOT 963099 SOS 630830 HAS SOPS 621700 HAS SOUS 196006 HAS SOUPS 194199 WITH SCORE 194829.83
AT ITER 5079 NEW BEST:: SOT 963085 SOS 630807 HAS SOPS 621677 HAS SOUS 195983 HAS SOUPS 194176 WITH SCORE 194806.807
AT ITER 5083 NEW BEST:: SOT 963085 SOS 630810 HAS SOPS 621680 HAS SOUS 195980 HAS SOUPS 194173 WITH SCORE 194803.81
AT ITER 5088 NEW BEST:: SOT 963085 SOS 630851 HAS SOPS 621721 HAS SOUS 195947 HAS SOUPS 194140 WITH SCORE 194770.851
AT ITER 5137 NEW BEST:: SOT 962911 SOS 630677 HAS SOPS 621547 HAS SOUS 195835 HAS SOUPS 194028 WITH SCORE 194658.677
AT ITER 5145 NEW BEST:: SOT 962927 SOS 630680 HAS SOPS 621522 HAS SOUS 195769 HAS SOUPS 193962 WITH SCORE 194592.68
AT ITER 5147 NEW BEST:: SOT 962927 SOS 630680 HAS SOPS 621522 HAS SOUS 195763 HAS SOUPS 193956 WITH SCORE 194586.68
AT ITER 5162 NEW BEST:: SOT 962751 SOS 630431 HAS SOPS 621273 HAS SOUS 195328 HAS SOUPS 193521 WITH SCORE 194151.431
AT ITER 5186 NEW BEST:: SOT 962743 SOS 630423 HAS SOPS 621265 HAS SOUS 195176 HAS SOUPS 193369 WITH SCORE 193999.423
AT ITER 5190 NEW BEST:: SOT 962726 SOS 630255 HAS SOPS 621097 HAS SOUS 195118 HAS SOUPS 193311 WITH SCORE 193941.255
AT ITER 5192 NEW BEST:: SOT 962578 SOS 630261 HAS SOPS 621103 HAS SOUS 194901 HAS SOUPS 193094 WITH SCORE 193724.261
AT ITER 5213 NEW BEST:: SOT 962578 SOS 630570 HAS SOPS 621412 HAS SOUS 194877 HAS SOUPS 193070 WITH SCORE 193700.57
AT ITER 5241 NEW BEST:: SOT 962578 SOS 630570 HAS SOPS 621412 HAS SOUS 194791 HAS SOUPS 192984 WITH SCORE 193614.57
AT ITER 5256 NEW BEST:: SOT 961552 SOS 629505 HAS SOPS 620347 HAS SOUS 194769 HAS SOUPS 192962 WITH SCORE 193591.505
AT ITER 5262 NEW BEST:: SOT 960568 SOS 628505 HAS SOPS 619347 HAS SOUS 193769 HAS SOUPS 191962 WITH SCORE 192590.505
AT ITER 5269 NEW BEST:: SOT 960585 SOS 628432 HAS SOPS 619274 HAS SOUS 193607 HAS SOUPS 191800 WITH SCORE 192428.432
AT ITER 5272 NEW BEST:: SOT 960579 SOS 628426 HAS SOPS 619262 HAS SOUS 193607 HAS SOUPS 191800 WITH SCORE 192428.426
AT ITER 5292 NEW BEST:: SOT 960206 SOS 628188 HAS SOPS 619024 HAS SOUS 193385 HAS SOUPS 191578 WITH SCORE 192206.188
AT ITER 5305 NEW BEST:: SOT 960196 SOS 628184 HAS SOPS 619020 HAS SOUS 193368 HAS SOUPS 191561 WITH SCORE 192189.184
AT ITER 5320 NEW BEST:: SOT 960170 SOS 628158 HAS SOPS 618994 HAS SOUS 193266 HAS SOUPS 191459 WITH SCORE 192087.158
AT ITER 5337 NEW BEST:: SOT 959707 SOS 626734 HAS SOPS 617570 HAS SOUS 192622 HAS SOUPS 190815 WITH SCORE 191441.734
AT ITER 5344 NEW BEST:: SOT 959778 SOS 626847 HAS SOPS 617704 HAS SOUS 192499 HAS SOUPS 190692 WITH SCORE 191318.847
AT ITER 5350 NEW BEST:: SOT 959745 SOS 626352 HAS SOPS 617539 HAS SOUS 192436 HAS SOUPS 190684 WITH SCORE 191310.352
AT ITER 5351 NEW BEST:: SOT 959753 SOS 626414 HAS SOPS 617601 HAS SOUS 192327 HAS SOUPS 190575 WITH SCORE 191201.414
AT ITER 5359 NEW BEST:: SOT 959624 SOS 626365 HAS SOPS 617553 HAS SOUS 192220 HAS SOUPS 190468 WITH SCORE 191094.365
AT ITER 5365 NEW BEST:: SOT 959598 SOS 626339 HAS SOPS 617527 HAS SOUS 192170 HAS SOUPS 190418 WITH SCORE 191044.339
AT ITER 5392 NEW BEST:: SOT 959657 SOS 626469 HAS SOPS 617657 HAS SOUS 192150 HAS SOUPS 190398 WITH SCORE 191024.469
AT ITER 5405 NEW BEST:: SOT 959593 SOS 626405 HAS SOPS 617593 HAS SOUS 191586 HAS SOUPS 189834 WITH SCORE 190460.405
AT ITER 5423 NEW BEST:: SOT 959593 SOS 626631 HAS SOPS 617819 HAS SOUS 191502 HAS SOUPS 189750 WITH SCORE 190376.631
AT ITER 5424 NEW BEST:: SOT 959601 SOS 626255 HAS SOPS 617395 HAS SOUS 191494 HAS SOUPS 189734 WITH SCORE 190360.255
AT ITER 5455 NEW BEST:: SOT 959648 SOS 626302 HAS SOPS 617442 HAS SOUS 190237 HAS SOUPS 188477 WITH SCORE 189103.302
AT ITER 5456 NEW BEST:: SOT 959683 SOS 626337 HAS SOPS 617477 HAS SOUS 190029 HAS SOUPS 188269 WITH SCORE 188895.337
AT ITER 5477 NEW BEST:: SOT 959753 SOS 627254 HAS SOPS 618394 HAS SOUS 189351 HAS SOUPS 187591 WITH SCORE 188218.254
AT ITER 5480 NEW BEST:: SOT 959703 SOS 627204 HAS SOPS 618344 HAS SOUS 188907 HAS SOUPS 187147 WITH SCORE 187774.204
AT ITER 5501 NEW BEST:: SOT 959688 SOS 627707 HAS SOPS 618847 HAS SOUS 188903 HAS SOUPS 187143 WITH SCORE 187770.707
AT ITER 5530 NEW BEST:: SOT 959711 SOS 627799 HAS SOPS 618939 HAS SOUS 188718 HAS SOUPS 186958 WITH SCORE 187585.799
AT ITER 5532 NEW BEST:: SOT 959669 SOS 625113 HAS SOPS 616747 HAS SOUS 188588 HAS SOUPS 186870 WITH SCORE 187495.113
AT ITER 5561 NEW BEST:: SOT 959768 SOS 625167 HAS SOPS 616801 HAS SOUS 188505 HAS SOUPS 186787 WITH SCORE 187412.167
AT ITER 5571 NEW BEST:: SOT 959505 SOS 624906 HAS SOPS 616540 HAS SOUS 187893 HAS SOUPS 186175 WITH SCORE 186799.906
AT ITER 5575 NEW BEST:: SOT 959428 SOS 624829 HAS SOPS 616533 HAS SOUS 187846 HAS SOUPS 186128 WITH SCORE 186752.829
AT ITER 5578 NEW BEST:: SOT 956991 SOS 622392 HAS SOPS 614096 HAS SOUS 187100 HAS SOUPS 185382 WITH SCORE 186004.392
AT ITER 5580 NEW BEST:: SOT 956970 SOS 624362 HAS SOPS 616066 HAS SOUS 187053 HAS SOUPS 185335 WITH SCORE 185959.362
AT ITER 5586 NEW BEST:: SOT 956961 SOS 623889 HAS SOPS 615593 HAS SOUS 187018 HAS SOUPS 185300 WITH SCORE 185923.889
AT ITER 5588 NEW BEST:: SOT 957074 SOS 623987 HAS SOPS 615691 HAS SOUS 186977 HAS SOUPS 185259 WITH SCORE 185882.987
AT ITER 5612 NEW BEST:: SOT 957122 SOS 624035 HAS SOPS 615739 HAS SOUS 186975 HAS SOUPS 185257 WITH SCORE 185881.035
AT ITER 5616 NEW BEST:: SOT 957122 SOS 624035 HAS SOPS 615739 HAS SOUS 186971 HAS SOUPS 185253 WITH SCORE 185877.035
AT ITER 5654 NEW BEST:: SOT 957117 SOS 624035 HAS SOPS 615739 HAS SOUS 186966 HAS SOUPS 185248 WITH SCORE 185872.035
AT ITER 5659 NEW BEST:: SOT 957117 SOS 624101 HAS SOPS 615805 HAS SOUS 186960 HAS SOUPS 185242 WITH SCORE 185866.101
AT ITER 5665 NEW BEST:: SOT 957086 SOS 624070 HAS SOPS 615797 HAS SOUS 186944 HAS SOUPS 185226 WITH SCORE 185850.07
AT ITER 5680 NEW BEST:: SOT 957009 SOS 623993 HAS SOPS 615720 HAS SOUS 186860 HAS SOUPS 185142 WITH SCORE 185765.993
AT ITER 5695 NEW BEST:: SOT 956983 SOS 623962 HAS SOPS 615689 HAS SOUS 186831 HAS SOUPS 185113 WITH SCORE 185736.962
AT ITER 5707 NEW BEST:: SOT 956833 SOS 623787 HAS SOPS 615514 HAS SOUS 186598 HAS SOUPS 184880 WITH SCORE 185503.787
AT ITER 5739 NEW BEST:: SOT 956698 SOS 623652 HAS SOPS 615379 HAS SOUS 186486 HAS SOUPS 184768 WITH SCORE 185391.652
AT ITER 5740 NEW BEST:: SOT 956680 SOS 623634 HAS SOPS 615361 HAS SOUS 186468 HAS SOUPS 184750 WITH SCORE 185373.634
AT ITER 5747 NEW BEST:: SOT 956693 SOS 623647 HAS SOPS 615374 HAS SOUS 186445 HAS SOUPS 184727 WITH SCORE 185350.647
AT ITER 5765 NEW BEST:: SOT 956678 SOS 623632 HAS SOPS 615359 HAS SOUS 186394 HAS SOUPS 184676 WITH SCORE 185299.632
AT ITER 5768 NEW BEST:: SOT 956676 SOS 623630 HAS SOPS 615357 HAS SOUS 186392 HAS SOUPS 184674 WITH SCORE 185297.63
AT ITER 5769 NEW BEST:: SOT 956676 SOS 623773 HAS SOPS 615500 HAS SOUS 186379 HAS SOUPS 184661 WITH SCORE 185284.773
AT ITER 5774 NEW BEST:: SOT 956506 SOS 623528 HAS SOPS 615255 HAS SOUS 186360 HAS SOUPS 184642 WITH SCORE 185265.528
AT ITER 5857 NEW BEST:: SOT 955942 SOS 623175 HAS SOPS 614902 HAS SOUS 185991 HAS SOUPS 184273 WITH SCORE 184896.175
AT ITER 5885 NEW BEST:: SOT 955903 SOS 623136 HAS SOPS 614863 HAS SOUS 185991 HAS SOUPS 184273 WITH SCORE 184896.136
AT ITER 5922 NEW BEST:: SOT 955903 SOS 623136 HAS SOPS 614863 HAS SOUS 185964 HAS SOUPS 184246 WITH SCORE 184869.136
AT ITER 6007 NEW BEST:: SOT 955903 SOS 619316 HAS SOPS 611943 HAS SOUS 185391 HAS SOUPS 183788 WITH SCORE 184407.316
AT ITER 6009 NEW BEST:: SOT 955909 SOS 619345 HAS SOPS 611972 HAS SOUS 185249 HAS SOUPS 183646 WITH SCORE 184265.345
AT ITER 6031 NEW BEST:: SOT 955909 SOS 619345 HAS SOPS 611972 HAS SOUS 185195 HAS SOUPS 183592 WITH SCORE 184211.345
AT ITER 6041 NEW BEST:: SOT 955877 SOS 619313 HAS SOPS 611905 HAS SOUS 185143 HAS SOUPS 183535 WITH SCORE 184154.313
AT ITER 6056 NEW BEST:: SOT 955851 SOS 619287 HAS SOPS 611879 HAS SOUS 185075 HAS SOUPS 183467 WITH SCORE 184086.287
AT ITER 6060 NEW BEST:: SOT 955863 SOS 619321 HAS SOPS 611913 HAS SOUS 185069 HAS SOUPS 183461 WITH SCORE 184080.321
AT ITER 6098 NEW BEST:: SOT 955489 SOS 618947 HAS SOPS 611539 HAS SOUS 184432 HAS SOUPS 182824 WITH SCORE 183442.947
AT ITER 6104 NEW BEST:: SOT 954981 SOS 609847 HAS SOPS 602439 HAS SOUS 183929 HAS SOUPS 182321 WITH SCORE 182930.847
AT ITER 6119 NEW BEST:: SOT 954975 SOS 609845 HAS SOPS 602443 HAS SOUS 183921 HAS SOUPS 182313 WITH SCORE 182922.845
AT ITER 6125 NEW BEST:: SOT 954958 SOS 609814 HAS SOPS 602412 HAS SOUS 183918 HAS SOUPS 182310 WITH SCORE 182919.814
AT ITER 6136 NEW BEST:: SOT 954884 SOS 609730 HAS SOPS 602328 HAS SOUS 183893 HAS SOUPS 182285 WITH SCORE 182894.73
AT ITER 6181 NEW BEST:: SOT 954885 SOS 609731 HAS SOPS 602329 HAS SOUS 183884 HAS SOUPS 182276 WITH SCORE 182885.731
AT ITER 6187 NEW BEST:: SOT 954948 SOS 610029 HAS SOPS 602627 HAS SOUS 183784 HAS SOUPS 182176 WITH SCORE 182786.029
AT ITER 6188 NEW BEST:: SOT 954948 SOS 610029 HAS SOPS 602627 HAS SOUS 183640 HAS SOUPS 182032 WITH SCORE 182642.029
AT ITER 6196 NEW BEST:: SOT 954565 SOS 609646 HAS SOPS 602244 HAS SOUS 183330 HAS SOUPS 181722 WITH SCORE 182331.646
AT ITER 6200 NEW BEST:: SOT 954489 SOS 609535 HAS SOPS 602133 HAS SOUS 183230 HAS SOUPS 181622 WITH SCORE 182231.535
AT ITER 6206 NEW BEST:: SOT 954318 SOS 609429 HAS SOPS 602027 HAS SOUS 183124 HAS SOUPS 181516 WITH SCORE 182125.429
AT ITER 6256 NEW BEST:: SOT 954351 SOS 609462 HAS SOPS 602060 HAS SOUS 183067 HAS SOUPS 181459 WITH SCORE 182068.462
AT ITER 6297 NEW BEST:: SOT 954177 SOS 609332 HAS SOPS 601930 HAS SOUS 182851 HAS SOUPS 181243 WITH SCORE 181852.332
AT ITER 6330 NEW BEST:: SOT 953891 SOS 609049 HAS SOPS 601647 HAS SOUS 182281 HAS SOUPS 180673 WITH SCORE 181282.049
AT ITER 6347 NEW BEST:: SOT 953781 SOS 608977 HAS SOPS 601575 HAS SOUS 182251 HAS SOUPS 180643 WITH SCORE 181251.977
AT ITER 6374 NEW BEST:: SOT 953665 SOS 609141 HAS SOPS 601739 HAS SOUS 182175 HAS SOUPS 180567 WITH SCORE 181176.141
AT ITER 6376 NEW BEST:: SOT 953574 SOS 609090 HAS SOPS 601688 HAS SOUS 182120 HAS SOUPS 180512 WITH SCORE 181121.09
AT ITER 6383 NEW BEST:: SOT 953572 SOS 609088 HAS SOPS 601686 HAS SOUS 182119 HAS SOUPS 180511 WITH SCORE 181120.088
AT ITER 6384 NEW BEST:: SOT 953626 SOS 608936 HAS SOPS 601534 HAS SOUS 181970 HAS SOUPS 180362 WITH SCORE 180970.936
AT ITER 6393 NEW BEST:: SOT 953689 SOS 608999 HAS SOPS 601597 HAS SOUS 181843 HAS SOUPS 180235 WITH SCORE 180843.999
AT ITER 6418 NEW BEST:: SOT 953646 SOS 608956 HAS SOPS 601554 HAS SOUS 181715 HAS SOUPS 180107 WITH SCORE 180715.956
AT ITER 6423 NEW BEST:: SOT 953538 SOS 608830 HAS SOPS 601428 HAS SOUS 181589 HAS SOUPS 179981 WITH SCORE 180589.83
AT ITER 6430 NEW BEST:: SOT 953433 SOS 608725 HAS SOPS 601323 HAS SOUS 181183 HAS SOUPS 179575 WITH SCORE 180183.725
AT ITER 6431 NEW BEST:: SOT 953177 SOS 608431 HAS SOPS 601029 HAS SOUS 180761 HAS SOUPS 179153 WITH SCORE 179761.431
AT ITER 6441 NEW BEST:: SOT 953152 SOS 608526 HAS SOPS 601084 HAS SOUS 180747 HAS SOUPS 179139 WITH SCORE 179747.526
AT ITER 6442 NEW BEST:: SOT 953146 SOS 608520 HAS SOPS 601078 HAS SOUS 180744 HAS SOUPS 179136 WITH SCORE 179744.52
AT ITER 6445 NEW BEST:: SOT 953146 SOS 608886 HAS SOPS 601444 HAS SOUS 180737 HAS SOUPS 179129 WITH SCORE 179737.886
AT ITER 6462 NEW BEST:: SOT 953119 SOS 608859 HAS SOPS 601417 HAS SOUS 180682 HAS SOUPS 179074 WITH SCORE 179682.859
AT ITER 6484 NEW BEST:: SOT 953009 SOS 608747 HAS SOPS 601305 HAS SOUS 180567 HAS SOUPS 178959 WITH SCORE 179567.747
AT ITER 6485 NEW BEST:: SOT 953009 SOS 608747 HAS SOPS 601305 HAS SOUS 180548 HAS SOUPS 178940 WITH SCORE 179548.747
AT ITER 6492 NEW BEST:: SOT 952997 SOS 608741 HAS SOPS 601299 HAS SOUS 180524 HAS SOUPS 178916 WITH SCORE 179524.741
AT ITER 6500 NEW BEST:: SOT 952717 SOS 608961 HAS SOPS 601567 HAS SOUS 180332 HAS SOUPS 178724 WITH SCORE 179332.961
AT ITER 6501 NEW BEST:: SOT 952060 SOS 608463 HAS SOPS 601069 HAS SOUS 179192 HAS SOUPS 177584 WITH SCORE 178192.463
AT ITER 6520 NEW BEST:: SOT 951569 SOS 607972 HAS SOPS 600578 HAS SOUS 179044 HAS SOUPS 177436 WITH SCORE 178043.972
AT ITER 6521 NEW BEST:: SOT 951568 SOS 607971 HAS SOPS 600577 HAS SOUS 179043 HAS SOUPS 177435 WITH SCORE 178042.971
AT ITER 6553 NEW BEST:: SOT 951503 SOS 607786 HAS SOPS 600392 HAS SOUS 178926 HAS SOUPS 177318 WITH SCORE 177925.786
AT ITER 6564 NEW BEST:: SOT 951514 SOS 607797 HAS SOPS 600403 HAS SOUS 178516 HAS SOUPS 176908 WITH SCORE 177515.797
AT ITER 6630 NEW BEST:: SOT 951452 SOS 607735 HAS SOPS 600341 HAS SOUS 178500 HAS SOUPS 176892 WITH SCORE 177499.735
AT ITER 6679 NEW BEST:: SOT 951277 SOS 607560 HAS SOPS 600166 HAS SOUS 178430 HAS SOUPS 176822 WITH SCORE 177429.56
AT ITER 6684 NEW BEST:: SOT 950854 SOS 607209 HAS SOPS 599815 HAS SOUS 177851 HAS SOUPS 176243 WITH SCORE 176850.209
AT ITER 6691 NEW BEST:: SOT 950854 SOS 607125 HAS SOPS 599731 HAS SOUS 177823 HAS SOUPS 176215 WITH SCORE 176822.125
AT ITER 6706 NEW BEST:: SOT 950854 SOS 607125 HAS SOPS 599731 HAS SOUS 177821 HAS SOUPS 176213 WITH SCORE 176820.125
AT ITER 6721 NEW BEST:: SOT 950842 SOS 607087 HAS SOPS 599693 HAS SOUS 177769 HAS SOUPS 176161 WITH SCORE 176768.087
AT ITER 6727 NEW BEST:: SOT 950803 SOS 607061 HAS SOPS 599667 HAS SOUS 177743 HAS SOUPS 176135 WITH SCORE 176742.061
AT ITER 6733 NEW BEST:: SOT 950677 SOS 606935 HAS SOPS 599541 HAS SOUS 177539 HAS SOUPS 175931 WITH SCORE 176537.935
AT ITER 6758 NEW BEST:: SOT 950676 SOS 606934 HAS SOPS 599540 HAS SOUS 177522 HAS SOUPS 175914 WITH SCORE 176520.934
AT ITER 6782 NEW BEST:: SOT 950539 SOS 606797 HAS SOPS 599403 HAS SOUS 177403 HAS SOUPS 175795 WITH SCORE 176401.797
AT ITER 6801 NEW BEST:: SOT 950339 SOS 606597 HAS SOPS 599203 HAS SOUS 177269 HAS SOUPS 175661 WITH SCORE 176267.597
AT ITER 6806 NEW BEST:: SOT 950339 SOS 606597 HAS SOPS 599203 HAS SOUS 177218 HAS SOUPS 175610 WITH SCORE 176216.597
AT ITER 6808 NEW BEST:: SOT 950329 SOS 606587 HAS SOPS 599193 HAS SOUS 177198 HAS SOUPS 175590 WITH SCORE 176196.587
AT ITER 6813 NEW BEST:: SOT 950329 SOS 606777 HAS SOPS 599155 HAS SOUS 177160 HAS SOUPS 175514 WITH SCORE 176120.777
AT ITER 6824 NEW BEST:: SOT 950324 SOS 606762 HAS SOPS 599140 HAS SOUS 177105 HAS SOUPS 175459 WITH SCORE 176065.762
AT ITER 6835 NEW BEST:: SOT 950324 SOS 607306 HAS SOPS 599684 HAS SOUS 177028 HAS SOUPS 175382 WITH SCORE 175989.306
AT ITER 6843 NEW BEST:: SOT 950290 SOS 607328 HAS SOPS 599706 HAS SOUS 177005 HAS SOUPS 175359 WITH SCORE 175966.328
AT ITER 6862 NEW BEST:: SOT 950262 SOS 607300 HAS SOPS 599678 HAS SOUS 176968 HAS SOUPS 175322 WITH SCORE 175929.3
AT ITER 6874 NEW BEST:: SOT 950269 SOS 607348 HAS SOPS 599726 HAS SOUS 176962 HAS SOUPS 175316 WITH SCORE 175923.348
AT ITER 6906 NEW BEST:: SOT 950264 SOS 607380 HAS SOPS 599758 HAS SOUS 176950 HAS SOUPS 175304 WITH SCORE 175911.38
AT ITER 6916 NEW BEST:: SOT 950255 SOS 607347 HAS SOPS 599725 HAS SOUS 176932 HAS SOUPS 175286 WITH SCORE 175893.347
AT ITER 6921 NEW BEST:: SOT 950249 SOS 607341 HAS SOPS 599719 HAS SOUS 176920 HAS SOUPS 175274 WITH SCORE 175881.341
AT ITER 6924 NEW BEST:: SOT 950245 SOS 607337 HAS SOPS 599715 HAS SOUS 176916 HAS SOUPS 175270 WITH SCORE 175877.337
AT ITER 6932 NEW BEST:: SOT 950168 SOS 607302 HAS SOPS 599680 HAS SOUS 176862 HAS SOUPS 175216 WITH SCORE 175823.302
AT ITER 6934 NEW BEST:: SOT 950136 SOS 607326 HAS SOPS 599736 HAS SOUS 176858 HAS SOUPS 175212 WITH SCORE 175819.326
AT ITER 6962 NEW BEST:: SOT 950128 SOS 607318 HAS SOPS 599728 HAS SOUS 176850 HAS SOUPS 175204 WITH SCORE 175811.318
AT ITER 6966 NEW BEST:: SOT 949928 SOS 607118 HAS SOPS 599528 HAS SOUS 176583 HAS SOUPS 174937 WITH SCORE 175544.118
AT ITER 7026 NEW BEST:: SOT 949852 SOS 607048 HAS SOPS 599458 HAS SOUS 176501 HAS SOUPS 174855 WITH SCORE 175462.048
AT ITER 7029 NEW BEST:: SOT 949814 SOS 607010 HAS SOPS 599420 HAS SOUS 176425 HAS SOUPS 174779 WITH SCORE 175386.01
AT ITER 7053 NEW BEST:: SOT 949780 SOS 606902 HAS SOPS 599312 HAS SOUS 176301 HAS SOUPS 174655 WITH SCORE 175261.902
AT ITER 7086 NEW BEST:: SOT 949779 SOS 606901 HAS SOPS 599312 HAS SOUS 176300 HAS SOUPS 174654 WITH SCORE 175260.901
AT ITER 7092 NEW BEST:: SOT 949911 SOS 606965 HAS SOPS 599376 HAS SOUS 176298 HAS SOUPS 174652 WITH SCORE 175258.965
AT ITER 7106 NEW BEST:: SOT 950044 SOS 607220 HAS SOPS 599469 HAS SOUS 176211 HAS SOUPS 174565 WITH SCORE 175172.22
AT ITER 7118 NEW BEST:: SOT 949813 SOS 605807 HAS SOPS 598056 HAS SOUS 176042 HAS SOUPS 174396 WITH SCORE 175001.807
AT ITER 7145 NEW BEST:: SOT 950047 SOS 606041 HAS SOPS 598290 HAS SOUS 176027 HAS SOUPS 174381 WITH SCORE 174987.041
AT ITER 7147 NEW BEST:: SOT 950023 SOS 606025 HAS SOPS 598274 HAS SOUS 175995 HAS SOUPS 174349 WITH SCORE 174955.025
AT ITER 7163 NEW BEST:: SOT 950048 SOS 606025 HAS SOPS 598274 HAS SOUS 175985 HAS SOUPS 174339 WITH SCORE 174945.025
AT ITER 7164 NEW BEST:: SOT 950033 SOS 605966 HAS SOPS 598215 HAS SOUS 175766 HAS SOUPS 174120 WITH SCORE 174725.966
AT ITER 7167 NEW BEST:: SOT 949955 SOS 605786 HAS SOPS 598035 HAS SOUS 175680 HAS SOUPS 174034 WITH SCORE 174639.786
AT ITER 7193 NEW BEST:: SOT 949955 SOS 605596 HAS SOPS 597845 HAS SOUS 175665 HAS SOUPS 174019 WITH SCORE 174624.596
AT ITER 7215 NEW BEST:: SOT 949872 SOS 605513 HAS SOPS 597762 HAS SOUS 175646 HAS SOUPS 174000 WITH SCORE 174605.513
AT ITER 7216 NEW BEST:: SOT 949842 SOS 605543 HAS SOPS 597792 HAS SOUS 175623 HAS SOUPS 173977 WITH SCORE 174582.543
AT ITER 7244 NEW BEST:: SOT 949635 SOS 605435 HAS SOPS 597684 HAS SOUS 175457 HAS SOUPS 173811 WITH SCORE 174416.435
AT ITER 7284 NEW BEST:: SOT 949625 SOS 605415 HAS SOPS 597664 HAS SOUS 175454 HAS SOUPS 173808 WITH SCORE 174413.415
AT ITER 7290 NEW BEST:: SOT 949670 SOS 605312 HAS SOPS 597600 HAS SOUS 175382 HAS SOUPS 173759 WITH SCORE 174364.312
AT ITER 7297 NEW BEST:: SOT 949321 SOS 604963 HAS SOPS 597251 HAS SOUS 175128 HAS SOUPS 173505 WITH SCORE 174109.963
AT ITER 7301 NEW BEST:: SOT 949325 SOS 604988 HAS SOPS 597276 HAS SOUS 175094 HAS SOUPS 173471 WITH SCORE 174075.988
AT ITER 7329 NEW BEST:: SOT 949082 SOS 604664 HAS SOPS 596952 HAS SOUS 174770 HAS SOUPS 173147 WITH SCORE 173751.664
AT ITER 7330 NEW BEST:: SOT 949188 SOS 604770 HAS SOPS 597058 HAS SOUS 174062 HAS SOUPS 172439 WITH SCORE 173043.77
AT ITER 7359 NEW BEST:: SOT 949194 SOS 604770 HAS SOPS 597058 HAS SOUS 174044 HAS SOUPS 172421 WITH SCORE 173025.77
AT ITER 7361 NEW BEST:: SOT 949188 SOS 604764 HAS SOPS 597052 HAS SOUS 174026 HAS SOUPS 172403 WITH SCORE 173007.764
AT ITER 7366 NEW BEST:: SOT 949229 SOS 604928 HAS SOPS 597175 HAS SOUS 174005 HAS SOUPS 172382 WITH SCORE 172986.928
AT ITER 7394 NEW BEST:: SOT 949229 SOS 604978 HAS SOPS 597225 HAS SOUS 173905 HAS SOUPS 172282 WITH SCORE 172886.978
AT ITER 7405 NEW BEST:: SOT 949125 SOS 604900 HAS SOPS 597147 HAS SOUS 173801 HAS SOUPS 172178 WITH SCORE 172782.9
AT ITER 7414 NEW BEST:: SOT 948873 SOS 604681 HAS SOPS 596928 HAS SOUS 173738 HAS SOUPS 172115 WITH SCORE 172719.681
AT ITER 7425 NEW BEST:: SOT 948883 SOS 604696 HAS SOPS 596943 HAS SOUS 173698 HAS SOUPS 172075 WITH SCORE 172679.696
AT ITER 7432 NEW BEST:: SOT 948883 SOS 607469 HAS SOPS 599716 HAS SOUS 173687 HAS SOUPS 172064 WITH SCORE 172671.469
AT ITER 7481 NEW BEST:: SOT 948850 SOS 607353 HAS SOPS 599600 HAS SOUS 173640 HAS SOUPS 172017 WITH SCORE 172624.353
AT ITER 7518 NEW BEST:: SOT 948781 SOS 607438 HAS SOPS 599685 HAS SOUS 173617 HAS SOUPS 171994 WITH SCORE 172601.438
AT ITER 7553 NEW BEST:: SOT 948761 SOS 607418 HAS SOPS 599658 HAS SOUS 173604 HAS SOUPS 171981 WITH SCORE 172588.418
AT ITER 7560 NEW BEST:: SOT 948761 SOS 607530 HAS SOPS 599770 HAS SOUS 173602 HAS SOUPS 171979 WITH SCORE 172586.53
AT ITER 7565 NEW BEST:: SOT 948755 SOS 607538 HAS SOPS 599778 HAS SOUS 173590 HAS SOUPS 171967 WITH SCORE 172574.538
AT ITER 7582 NEW BEST:: SOT 948749 SOS 607532 HAS SOPS 599772 HAS SOUS 173578 HAS SOUPS 171955 WITH SCORE 172562.532
AT ITER 7583 NEW BEST:: SOT 948749 SOS 607265 HAS SOPS 599505 HAS SOUS 173533 HAS SOUPS 171910 WITH SCORE 172517.265
AT ITER 7590 NEW BEST:: SOT 948749 SOS 607265 HAS SOPS 599505 HAS SOUS 173519 HAS SOUPS 171896 WITH SCORE 172503.265
AT ITER 7591 NEW BEST:: SOT 949205 SOS 607721 HAS SOPS 599961 HAS SOUS 173506 HAS SOUPS 171883 WITH SCORE 172490.721
AT ITER 7595 NEW BEST:: SOT 949253 SOS 607673 HAS SOPS 599884 HAS SOUS 173521 HAS SOUPS 171869 WITH SCORE 172476.673
AT ITER 7601 NEW BEST:: SOT 949230 SOS 607650 HAS SOPS 599861 HAS SOUS 173176 HAS SOUPS 171524 WITH SCORE 172131.65
AT ITER 7614 NEW BEST:: SOT 949208 SOS 607650 HAS SOPS 599861 HAS SOUS 173161 HAS SOUPS 171509 WITH SCORE 172116.65
AT ITER 7637 NEW BEST:: SOT 949206 SOS 607648 HAS SOPS 599859 HAS SOUS 173159 HAS SOUPS 171507 WITH SCORE 172114.648
AT ITER 7646 NEW BEST:: SOT 949203 SOS 607645 HAS SOPS 599853 HAS SOUS 173137 HAS SOUPS 171485 WITH SCORE 172092.645
AT ITER 7649 NEW BEST:: SOT 949054 SOS 607535 HAS SOPS 599743 HAS SOUS 172995 HAS SOUPS 171343 WITH SCORE 171950.535
AT ITER 7651 NEW BEST:: SOT 949042 SOS 607520 HAS SOPS 599728 HAS SOUS 172983 HAS SOUPS 171331 WITH SCORE 171938.52
AT ITER 7652 NEW BEST:: SOT 949016 SOS 607494 HAS SOPS 599702 HAS SOUS 172947 HAS SOUPS 171295 WITH SCORE 171902.494
AT ITER 7654 NEW BEST:: SOT 949140 SOS 607634 HAS SOPS 599842 HAS SOUS 172886 HAS SOUPS 171234 WITH SCORE 171841.634
AT ITER 7656 NEW BEST:: SOT 949094 SOS 607671 HAS SOPS 599879 HAS SOUS 172816 HAS SOUPS 171164 WITH SCORE 171771.671
AT ITER 7667 NEW BEST:: SOT 948974 SOS 607551 HAS SOPS 599759 HAS SOUS 172654 HAS SOUPS 171002 WITH SCORE 171609.551
AT ITER 7690 NEW BEST:: SOT 948543 SOS 606916 HAS SOPS 599124 HAS SOUS 172276 HAS SOUPS 170624 WITH SCORE 171230.916
AT ITER 7699 NEW BEST:: SOT 948499 SOS 606872 HAS SOPS 599080 HAS SOUS 172172 HAS SOUPS 170520 WITH SCORE 171126.872
AT ITER 7707 NEW BEST:: SOT 948501 SOS 606881 HAS SOPS 599089 HAS SOUS 172160 HAS SOUPS 170508 WITH SCORE 171114.881
AT ITER 7716 NEW BEST:: SOT 948237 SOS 606617 HAS SOPS 598825 HAS SOUS 171231 HAS SOUPS 169579 WITH SCORE 170185.617
AT ITER 7737 NEW BEST:: SOT 948207 SOS 606597 HAS SOPS 598805 HAS SOUS 171214 HAS SOUPS 169562 WITH SCORE 170168.597
AT ITER 7740 NEW BEST:: SOT 948202 SOS 606602 HAS SOPS 598810 HAS SOUS 171204 HAS SOUPS 169552 WITH SCORE 170158.602
AT ITER 7780 NEW BEST:: SOT 947944 SOS 606515 HAS SOPS 598723 HAS SOUS 171039 HAS SOUPS 169387 WITH SCORE 169993.515
AT ITER 7787 NEW BEST:: SOT 947939 SOS 606510 HAS SOPS 598718 HAS SOUS 171029 HAS SOUPS 169377 WITH SCORE 169983.51
AT ITER 7793 NEW BEST:: SOT 947925 SOS 606514 HAS SOPS 598722 HAS SOUS 171018 HAS SOUPS 169366 WITH SCORE 169972.514
AT ITER 7797 NEW BEST:: SOT 947923 SOS 606512 HAS SOPS 598720 HAS SOUS 171014 HAS SOUPS 169362 WITH SCORE 169968.512
AT ITER 7816 NEW BEST:: SOT 947874 SOS 606463 HAS SOPS 598671 HAS SOUS 170325 HAS SOUPS 168673 WITH SCORE 169279.463
AT ITER 7820 NEW BEST:: SOT 947622 SOS 606187 HAS SOPS 598395 HAS SOUS 170261 HAS SOUPS 168609 WITH SCORE 169215.187
AT ITER 7824 NEW BEST:: SOT 947689 SOS 606171 HAS SOPS 598319 HAS SOUS 170246 HAS SOUPS 168594 WITH SCORE 169200.171
AT ITER 7847 NEW BEST:: SOT 947636 SOS 606134 HAS SOPS 598282 HAS SOUS 170172 HAS SOUPS 168520 WITH SCORE 169126.134
AT ITER 7914 NEW BEST:: SOT 948021 SOS 606698 HAS SOPS 598846 HAS SOUS 169845 HAS SOUPS 168193 WITH SCORE 168799.698
AT ITER 7922 NEW BEST:: SOT 948045 SOS 606722 HAS SOPS 598870 HAS SOUS 169806 HAS SOUPS 168154 WITH SCORE 168760.722
AT ITER 7923 NEW BEST:: SOT 947647 SOS 606324 HAS SOPS 598472 HAS SOUS 169634 HAS SOUPS 167982 WITH SCORE 168588.324
AT ITER 7925 NEW BEST:: SOT 947740 SOS 606524 HAS SOPS 598672 HAS SOUS 169565 HAS SOUPS 167913 WITH SCORE 168519.524
AT ITER 7942 NEW BEST:: SOT 947688 SOS 606472 HAS SOPS 598547 HAS SOUS 169498 HAS SOUPS 167846 WITH SCORE 168452.472
AT ITER 7945 NEW BEST:: SOT 947687 SOS 606471 HAS SOPS 598545 HAS SOUS 169497 HAS SOUPS 167844 WITH SCORE 168450.471
AT ITER 7979 NEW BEST:: SOT 947595 SOS 606379 HAS SOPS 598453 HAS SOUS 169346 HAS SOUPS 167693 WITH SCORE 168299.379
AT ITER 7989 NEW BEST:: SOT 947427 SOS 606136 HAS SOPS 598240 HAS SOUS 169231 HAS SOUPS 167578 WITH SCORE 168184.136
AT ITER 8022 NEW BEST:: SOT 947427 SOS 606136 HAS SOPS 598240 HAS SOUS 169185 HAS SOUPS 167532 WITH SCORE 168138.136
AT ITER 8052 NEW BEST:: SOT 947426 SOS 606135 HAS SOPS 598239 HAS SOUS 169184 HAS SOUPS 167531 WITH SCORE 168137.135
AT ITER 8055 NEW BEST:: SOT 947391 SOS 606100 HAS SOPS 598204 HAS SOUS 169179 HAS SOUPS 167526 WITH SCORE 168132.1
AT ITER 8100 NEW BEST:: SOT 947227 SOS 605846 HAS SOPS 597950 HAS SOUS 168874 HAS SOUPS 167221 WITH SCORE 167826.846
AT ITER 8110 NEW BEST:: SOT 947219 SOS 605867 HAS SOPS 597971 HAS SOUS 167895 HAS SOUPS 166242 WITH SCORE 166847.867
AT ITER 8126 NEW BEST:: SOT 947385 SOS 606099 HAS SOPS 598203 HAS SOUS 167764 HAS SOUPS 166111 WITH SCORE 166717.099
AT ITER 8127 NEW BEST:: SOT 947310 SOS 606024 HAS SOPS 598128 HAS SOUS 167532 HAS SOUPS 165879 WITH SCORE 166485.024
AT ITER 8161 NEW BEST:: SOT 947298 SOS 606012 HAS SOPS 598116 HAS SOUS 167509 HAS SOUPS 165856 WITH SCORE 166462.012
AT ITER 8166 NEW BEST:: SOT 947290 SOS 606004 HAS SOPS 598108 HAS SOUS 167501 HAS SOUPS 165848 WITH SCORE 166454.004
AT ITER 8188 NEW BEST:: SOT 947286 SOS 606003 HAS SOPS 598107 HAS SOUS 167493 HAS SOUPS 165840 WITH SCORE 166446.003
AT ITER 8193 NEW BEST:: SOT 947281 SOS 605966 HAS SOPS 598070 HAS SOUS 167488 HAS SOUPS 165835 WITH SCORE 166440.966
AT ITER 8200 NEW BEST:: SOT 947093 SOS 605867 HAS SOPS 597971 HAS SOUS 167242 HAS SOUPS 165589 WITH SCORE 166194.867
AT ITER 8205 NEW BEST:: SOT 947093 SOS 605867 HAS SOPS 597971 HAS SOUS 166713 HAS SOUPS 165060 WITH SCORE 165665.867
AT ITER 8207 NEW BEST:: SOT 947086 SOS 605860 HAS SOPS 597952 HAS SOUS 166698 HAS SOUPS 165045 WITH SCORE 165650.86
AT ITER 8210 NEW BEST:: SOT 947007 SOS 605781 HAS SOPS 597873 HAS SOUS 166624 HAS SOUPS 164971 WITH SCORE 165576.781
AT ITER 8219 NEW BEST:: SOT 946652 SOS 605513 HAS SOPS 597605 HAS SOUS 166009 HAS SOUPS 164356 WITH SCORE 164961.513
AT ITER 8234 NEW BEST:: SOT 946652 SOS 605173 HAS SOPS 597265 HAS SOUS 165953 HAS SOUPS 164300 WITH SCORE 164905.173
AT ITER 8239 NEW BEST:: SOT 946590 SOS 605141 HAS SOPS 597233 HAS SOUS 165913 HAS SOUPS 164260 WITH SCORE 164865.141
AT ITER 8244 NEW BEST:: SOT 946615 SOS 605176 HAS SOPS 597268 HAS SOUS 165763 HAS SOUPS 164110 WITH SCORE 164715.176
AT ITER 8271 NEW BEST:: SOT 946610 SOS 605166 HAS SOPS 597258 HAS SOUS 165734 HAS SOUPS 164081 WITH SCORE 164686.166
AT ITER 8323 NEW BEST:: SOT 946602 SOS 605158 HAS SOPS 597250 HAS SOUS 165718 HAS SOUPS 164065 WITH SCORE 164670.158
AT ITER 8327 NEW BEST:: SOT 946221 SOS 604765 HAS SOPS 596857 HAS SOUS 165253 HAS SOUPS 163600 WITH SCORE 164204.765
AT ITER 8346 NEW BEST:: SOT 946111 SOS 604655 HAS SOPS 596747 HAS SOUS 165085 HAS SOUPS 163432 WITH SCORE 164036.655
AT ITER 8401 NEW BEST:: SOT 946069 SOS 604613 HAS SOPS 596705 HAS SOUS 164853 HAS SOUPS 163200 WITH SCORE 163804.613
AT ITER 8434 NEW BEST:: SOT 945915 SOS 604459 HAS SOPS 596551 HAS SOUS 164569 HAS SOUPS 162916 WITH SCORE 163520.459
AT ITER 8435 NEW BEST:: SOT 945893 SOS 604448 HAS SOPS 596540 HAS SOUS 164492 HAS SOUPS 162839 WITH SCORE 163443.448
AT ITER 8466 NEW BEST:: SOT 945906 SOS 604423 HAS SOPS 596495 HAS SOUS 164437 HAS SOUPS 162784 WITH SCORE 163388.423
AT ITER 8468 NEW BEST:: SOT 945850 SOS 604367 HAS SOPS 596439 HAS SOUS 163905 HAS SOUPS 162252 WITH SCORE 162856.367
AT ITER 8483 NEW BEST:: SOT 945815 SOS 604367 HAS SOPS 596404 HAS SOUS 163870 HAS SOUPS 162217 WITH SCORE 162821.367
AT ITER 8487 NEW BEST:: SOT 945764 SOS 604213 HAS SOPS 596250 HAS SOUS 163794 HAS SOUPS 162141 WITH SCORE 162745.213
AT ITER 8498 NEW BEST:: SOT 945553 SOS 604002 HAS SOPS 596039 HAS SOUS 163356 HAS SOUPS 161703 WITH SCORE 162307.002
AT ITER 8513 NEW BEST:: SOT 945522 SOS 603810 HAS SOPS 595785 HAS SOUS 162974 HAS SOUPS 161321 WITH SCORE 161924.81
AT ITER 8589 NEW BEST:: SOT 945587 SOS 603819 HAS SOPS 595794 HAS SOUS 162912 HAS SOUPS 161259 WITH SCORE 161862.819
AT ITER 8607 NEW BEST:: SOT 945587 SOS 603804 HAS SOPS 595779 HAS SOUS 162912 HAS SOUPS 161259 WITH SCORE 161862.804
AT ITER 8611 NEW BEST:: SOT 945414 SOS 603631 HAS SOPS 595606 HAS SOUS 162794 HAS SOUPS 161141 WITH SCORE 161744.631
AT ITER 8619 NEW BEST:: SOT 945373 SOS 603599 HAS SOPS 595574 HAS SOUS 162787 HAS SOUPS 161134 WITH SCORE 161737.599
AT ITER 8631 NEW BEST:: SOT 945344 SOS 603566 HAS SOPS 595541 HAS SOUS 162775 HAS SOUPS 161122 WITH SCORE 161725.566
AT ITER 8704 NEW BEST:: SOT 945326 SOS 603548 HAS SOPS 595523 HAS SOUS 162739 HAS SOUPS 161086 WITH SCORE 161689.548
AT ITER 8710 NEW BEST:: SOT 945326 SOS 603483 HAS SOPS 595458 HAS SOUS 162739 HAS SOUPS 161086 WITH SCORE 161689.483
AT ITER 8712 NEW BEST:: SOT 945295 SOS 603435 HAS SOPS 595393 HAS SOUS 162725 HAS SOUPS 161072 WITH SCORE 161675.435
AT ITER 8719 NEW BEST:: SOT 945239 SOS 603796 HAS SOPS 595754 HAS SOUS 162641 HAS SOUPS 160988 WITH SCORE 161591.796
AT ITER 8727 NEW BEST:: SOT 945250 SOS 603794 HAS SOPS 595752 HAS SOUS 162620 HAS SOUPS 160967 WITH SCORE 161570.794
AT ITER 8731 NEW BEST:: SOT 945417 SOS 603883 HAS SOPS 595841 HAS SOUS 162553 HAS SOUPS 160900 WITH SCORE 161503.883
AT ITER 8750 NEW BEST:: SOT 945411 SOS 603877 HAS SOPS 595835 HAS SOUS 162529 HAS SOUPS 160876 WITH SCORE 161479.877
AT ITER 8777 NEW BEST:: SOT 945385 SOS 603838 HAS SOPS 595796 HAS SOUS 162478 HAS SOUPS 160825 WITH SCORE 161428.838
AT ITER 8778 NEW BEST:: SOT 945385 SOS 603823 HAS SOPS 595781 HAS SOUS 162478 HAS SOUPS 160825 WITH SCORE 161428.823
AT ITER 8798 NEW BEST:: SOT 945191 SOS 603629 HAS SOPS 595587 HAS SOUS 162340 HAS SOUPS 160687 WITH SCORE 161290.629
AT ITER 8802 NEW BEST:: SOT 945148 SOS 603594 HAS SOPS 595552 HAS SOUS 162288 HAS SOUPS 160635 WITH SCORE 161238.594
AT ITER 8827 NEW BEST:: SOT 945148 SOS 603610 HAS SOPS 595568 HAS SOUS 162064 HAS SOUPS 160411 WITH SCORE 161014.61
AT ITER 8835 NEW BEST:: SOT 945170 SOS 603610 HAS SOPS 595568 HAS SOUS 162061 HAS SOUPS 160408 WITH SCORE 161011.61
AT ITER 8838 NEW BEST:: SOT 945142 SOS 603582 HAS SOPS 595540 HAS SOUS 161365 HAS SOUPS 159712 WITH SCORE 160315.582
AT ITER 8878 NEW BEST:: SOT 944862 SOS 602866 HAS SOPS 594824 HAS SOUS 160945 HAS SOUPS 159292 WITH SCORE 159894.866
AT ITER 8885 NEW BEST:: SOT 944794 SOS 602518 HAS SOPS 594476 HAS SOUS 160837 HAS SOUPS 159184 WITH SCORE 159786.518
AT ITER 8916 NEW BEST:: SOT 944428 SOS 602000 HAS SOPS 593958 HAS SOUS 160402 HAS SOUPS 158749 WITH SCORE 159351.0
AT ITER 8917 NEW BEST:: SOT 944426 SOS 601986 HAS SOPS 593944 HAS SOUS 160398 HAS SOUPS 158745 WITH SCORE 159346.986
AT ITER 8929 NEW BEST:: SOT 944317 SOS 601877 HAS SOPS 593835 HAS SOUS 160180 HAS SOUPS 158527 WITH SCORE 159128.877
AT ITER 8946 NEW BEST:: SOT 944317 SOS 601877 HAS SOPS 593835 HAS SOUS 160174 HAS SOUPS 158521 WITH SCORE 159122.877
AT ITER 8948 NEW BEST:: SOT 944083 SOS 601775 HAS SOPS 593733 HAS SOUS 159947 HAS SOUPS 158294 WITH SCORE 158895.775
AT ITER 9004 NEW BEST:: SOT 944080 SOS 601775 HAS SOPS 593733 HAS SOUS 159938 HAS SOUPS 158285 WITH SCORE 158886.775
AT ITER 9080 NEW BEST:: SOT 944047 SOS 601856 HAS SOPS 593814 HAS SOUS 159711 HAS SOUPS 158058 WITH SCORE 158659.856
AT ITER 9103 NEW BEST:: SOT 944024 SOS 601833 HAS SOPS 593821 HAS SOUS 159679 HAS SOUPS 158026 WITH SCORE 158627.833
AT ITER 9104 NEW BEST:: SOT 944017 SOS 601826 HAS SOPS 593814 HAS SOUS 159679 HAS SOUPS 158026 WITH SCORE 158627.826
AT ITER 9150 NEW BEST:: SOT 943870 SOS 601612 HAS SOPS 593600 HAS SOUS 159422 HAS SOUPS 157769 WITH SCORE 158370.612
AT ITER 9162 NEW BEST:: SOT 943870 SOS 601612 HAS SOPS 593600 HAS SOUS 159418 HAS SOUPS 157765 WITH SCORE 158366.612
AT ITER 9198 NEW BEST:: SOT 943970 SOS 601832 HAS SOPS 593820 HAS SOUS 159378 HAS SOUPS 157725 WITH SCORE 158326.832
AT ITER 9227 NEW BEST:: SOT 943965 SOS 601827 HAS SOPS 593815 HAS SOUS 159378 HAS SOUPS 157725 WITH SCORE 158326.827
AT ITER 9253 NEW BEST:: SOT 943955 SOS 601817 HAS SOPS 593801 HAS SOUS 159364 HAS SOUPS 157711 WITH SCORE 158312.817
AT ITER 9258 NEW BEST:: SOT 943589 SOS 601451 HAS SOPS 593435 HAS SOUS 159280 HAS SOUPS 157627 WITH SCORE 158228.451
AT ITER 9260 NEW BEST:: SOT 943544 SOS 601431 HAS SOPS 593415 HAS SOUS 159227 HAS SOUPS 157574 WITH SCORE 158175.431
AT ITER 9272 NEW BEST:: SOT 943513 SOS 601429 HAS SOPS 593427 HAS SOUS 159165 HAS SOUPS 157512 WITH SCORE 158113.429
AT ITER 9276 NEW BEST:: SOT 943439 SOS 601384 HAS SOPS 593382 HAS SOUS 159120 HAS SOUPS 157467 WITH SCORE 158068.384
AT ITER 9279 NEW BEST:: SOT 943477 SOS 601383 HAS SOPS 593381 HAS SOUS 159119 HAS SOUPS 157466 WITH SCORE 158067.383
AT ITER 9301 NEW BEST:: SOT 943475 SOS 601381 HAS SOPS 593379 HAS SOUS 159115 HAS SOUPS 157462 WITH SCORE 158063.381
AT ITER 9302 NEW BEST:: SOT 943475 SOS 601355 HAS SOPS 593353 HAS SOUS 159115 HAS SOUPS 157462 WITH SCORE 158063.355
AT ITER 9308 NEW BEST:: SOT 943438 SOS 601316 HAS SOPS 593314 HAS SOUS 159114 HAS SOUPS 157461 WITH SCORE 158062.316
AT ITER 9309 NEW BEST:: SOT 943408 SOS 601224 HAS SOPS 593222 HAS SOUS 158952 HAS SOUPS 157299 WITH SCORE 157900.224
AT ITER 9317 NEW BEST:: SOT 943401 SOS 601189 HAS SOPS 593187 HAS SOUS 158924 HAS SOUPS 157271 WITH SCORE 157872.189
AT ITER 9319 NEW BEST:: SOT 943386 SOS 601174 HAS SOPS 593172 HAS SOUS 158913 HAS SOUPS 157260 WITH SCORE 157861.174
AT ITER 9342 NEW BEST:: SOT 943344 SOS 601126 HAS SOPS 593124 HAS SOUS 158879 HAS SOUPS 157226 WITH SCORE 157827.126
AT ITER 9354 NEW BEST:: SOT 943326 SOS 601109 HAS SOPS 593107 HAS SOUS 158844 HAS SOUPS 157191 WITH SCORE 157792.109
AT ITER 9356 NEW BEST:: SOT 943326 SOS 601285 HAS SOPS 593283 HAS SOUS 158805 HAS SOUPS 157152 WITH SCORE 157753.285
AT ITER 9358 NEW BEST:: SOT 943053 SOS 601012 HAS SOPS 593010 HAS SOUS 158531 HAS SOUPS 156878 WITH SCORE 157479.012
AT ITER 9359 NEW BEST:: SOT 943000 SOS 600959 HAS SOPS 592957 HAS SOUS 158391 HAS SOUPS 156738 WITH SCORE 157338.959
AT ITER 9362 NEW BEST:: SOT 942988 SOS 600947 HAS SOPS 592945 HAS SOUS 158379 HAS SOUPS 156726 WITH SCORE 157326.947
AT ITER 9505 NEW BEST:: SOT 943043 SOS 600980 HAS SOPS 592850 HAS SOUS 158153 HAS SOUPS 156500 WITH SCORE 157100.98
AT ITER 9525 NEW BEST:: SOT 943023 SOS 600948 HAS SOPS 592818 HAS SOUS 158101 HAS SOUPS 156448 WITH SCORE 157048.948
AT ITER 9542 NEW BEST:: SOT 942963 SOS 600888 HAS SOPS 592758 HAS SOUS 158041 HAS SOUPS 156388 WITH SCORE 156988.888
AT ITER 9543 NEW BEST:: SOT 942950 SOS 600875 HAS SOPS 592745 HAS SOUS 157882 HAS SOUPS 156229 WITH SCORE 156829.875
AT ITER 9565 NEW BEST:: SOT 943016 SOS 600905 HAS SOPS 592811 HAS SOUS 157786 HAS SOUPS 156139 WITH SCORE 156739.905
AT ITER 9572 NEW BEST:: SOT 942996 SOS 600890 HAS SOPS 592796 HAS SOUS 157761 HAS SOUPS 156114 WITH SCORE 156714.89
AT ITER 9582 NEW BEST:: SOT 942982 SOS 600820 HAS SOPS 592726 HAS SOUS 157747 HAS SOUPS 156100 WITH SCORE 156700.82
AT ITER 9583 NEW BEST:: SOT 942977 SOS 600782 HAS SOPS 592688 HAS SOUS 157737 HAS SOUPS 156090 WITH SCORE 156690.782
AT ITER 9585 NEW BEST:: SOT 942967 SOS 600772 HAS SOPS 592678 HAS SOUS 157715 HAS SOUPS 156068 WITH SCORE 156668.772
AT ITER 9587 NEW BEST:: SOT 942651 SOS 600456 HAS SOPS 592362 HAS SOUS 156916 HAS SOUPS 155269 WITH SCORE 155869.456
AT ITER 9588 NEW BEST:: SOT 942637 SOS 600469 HAS SOPS 592348 HAS SOUS 156898 HAS SOUPS 155250 WITH SCORE 155850.469
AT ITER 9611 NEW BEST:: SOT 942653 SOS 600617 HAS SOPS 592496 HAS SOUS 156867 HAS SOUPS 155219 WITH SCORE 155819.617
AT ITER 9654 NEW BEST:: SOT 942643 SOS 600607 HAS SOPS 592486 HAS SOUS 156851 HAS SOUPS 155203 WITH SCORE 155803.607
AT ITER 9661 NEW BEST:: SOT 942411 SOS 600295 HAS SOPS 592174 HAS SOUS 156531 HAS SOUPS 154883 WITH SCORE 155483.295
AT ITER 9671 NEW BEST:: SOT 942411 SOS 600142 HAS SOPS 592021 HAS SOUS 156512 HAS SOUPS 154864 WITH SCORE 155464.142
AT ITER 9672 NEW BEST:: SOT 942389 SOS 600120 HAS SOPS 591999 HAS SOUS 156468 HAS SOUPS 154820 WITH SCORE 155420.12
AT ITER 9725 NEW BEST:: SOT 942389 SOS 600100 HAS SOPS 591979 HAS SOUS 156448 HAS SOUPS 154800 WITH SCORE 155400.1
AT ITER 9779 NEW BEST:: SOT 942389 SOS 600053 HAS SOPS 591932 HAS SOUS 156401 HAS SOUPS 154753 WITH SCORE 155353.053
AT ITER 9790 NEW BEST:: SOT 942362 SOS 598590 HAS SOPS 590469 HAS SOUS 156399 HAS SOUPS 154751 WITH SCORE 155349.59
AT ITER 9824 NEW BEST:: SOT 941946 SOS 598206 HAS SOPS 590085 HAS SOUS 155990 HAS SOUPS 154342 WITH SCORE 154940.206
AT ITER 9828 NEW BEST:: SOT 941924 SOS 598184 HAS SOPS 590063 HAS SOUS 155949 HAS SOUPS 154301 WITH SCORE 154899.184
AT ITER 9837 NEW BEST:: SOT 941922 SOS 598182 HAS SOPS 590061 HAS SOUS 155947 HAS SOUPS 154299 WITH SCORE 154897.182
AT ITER 9850 NEW BEST:: SOT 941906 SOS 597160 HAS SOPS 589039 HAS SOUS 155915 HAS SOUPS 154267 WITH SCORE 154864.16
AT ITER 9860 NEW BEST:: SOT 941878 SOS 597139 HAS SOPS 589018 HAS SOUS 155867 HAS SOUPS 154219 WITH SCORE 154816.139
AT ITER 9865 NEW BEST:: SOT 941881 SOS 597110 HAS SOPS 588989 HAS SOUS 155804 HAS SOUPS 154156 WITH SCORE 154753.11
AT ITER 9912 NEW BEST:: SOT 941659 SOS 597049 HAS SOPS 588928 HAS SOUS 155521 HAS SOUPS 153873 WITH SCORE 154470.049
AT ITER 9915 NEW BEST:: SOT 941575 SOS 597009 HAS SOPS 588888 HAS SOUS 155481 HAS SOUPS 153833 WITH SCORE 154430.009
AT ITER 9932 NEW BEST:: SOT 941492 SOS 596926 HAS SOPS 588805 HAS SOUS 155356 HAS SOUPS 153708 WITH SCORE 154304.926
AT ITER 9998 NEW BEST:: SOT 941492 SOS 596790 HAS SOPS 588669 HAS SOUS 155346 HAS SOUPS 153698 WITH SCORE 154294.79
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11867684 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16133976 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S06J06T06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PolyORBLF-COL-S06J06T06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873942900480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S06J06T06.tgz
mv PolyORBLF-COL-S06J06T06 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 ;