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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 664K
-rw-r--r-- 1 mcc users 9.4K Feb 26 13:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 13:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 13:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 13:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K 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 17K Feb 26 14:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Feb 26 14:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 14:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 14:06 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 1678793259582

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-S06J04T06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 11:27:42] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 11:27:42] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 11:27:42] [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 11:27:43] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 11:27:43] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 918 ms
[2023-03-14 11:27:43] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 632 PT places and 10560.0 transition bindings in 59 ms.
[2023-03-14 11:27:44] [INFO ] Unfolded HLPN to a Petri net with 632 places and 10500 transitions 88770 arcs in 364 ms.
[2023-03-14 11:27:44] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 8070 transitions
Reduce isomorphic transitions removed 8070 transitions.
[2023-03-14 11:27:44] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 632 places, 2430 transitions and 14880 arcs took 68 ms.
Total runtime 1991 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S06J04T06
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: 632 places, 2430 transitions, 14880 arcs.
AT ITER 0 NEW BEST:: SOT 908506 SOS 638989 HAS SOPS 628042 HAS SOUS 562263 HAS SOUPS 561025 WITH SCORE 561663.989
AT ITER 6 NEW BEST:: SOT 908353 SOS 638830 HAS SOPS 627970 HAS SOUS 562174 HAS SOUPS 560936 WITH SCORE 561574.83
AT ITER 7 NEW BEST:: SOT 908095 SOS 638572 HAS SOPS 627712 HAS SOUS 561766 HAS SOUPS 560528 WITH SCORE 561166.572
AT ITER 29 NEW BEST:: SOT 908003 SOS 638480 HAS SOPS 627640 HAS SOUS 561691 HAS SOUPS 560453 WITH SCORE 561091.48
AT ITER 34 NEW BEST:: SOT 908089 SOS 638663 HAS SOPS 627823 HAS SOUS 561609 HAS SOUPS 560371 WITH SCORE 561009.663
AT ITER 42 NEW BEST:: SOT 908066 SOS 638444 HAS SOPS 627604 HAS SOUS 561604 HAS SOUPS 560366 WITH SCORE 561004.444
AT ITER 44 NEW BEST:: SOT 907994 SOS 638228 HAS SOPS 627388 HAS SOUS 561522 HAS SOUPS 560284 WITH SCORE 560922.228
AT ITER 55 NEW BEST:: SOT 907842 SOS 638076 HAS SOPS 627316 HAS SOUS 561450 HAS SOUPS 560212 WITH SCORE 560850.076
AT ITER 74 NEW BEST:: SOT 907782 SOS 638016 HAS SOPS 627316 HAS SOUS 561448 HAS SOUPS 560210 WITH SCORE 560848.016
AT ITER 84 NEW BEST:: SOT 907830 SOS 636985 HAS SOPS 626285 HAS SOUS 561419 HAS SOUPS 560181 WITH SCORE 560817.985
AT ITER 89 NEW BEST:: SOT 907635 SOS 636865 HAS SOPS 626165 HAS SOUS 561403 HAS SOUPS 560165 WITH SCORE 560801.865
AT ITER 94 NEW BEST:: SOT 907206 SOS 636455 HAS SOPS 625926 HAS SOUS 561085 HAS SOUPS 559847 WITH SCORE 560483.455
AT ITER 96 NEW BEST:: SOT 907194 SOS 636425 HAS SOPS 625896 HAS SOUS 561067 HAS SOUPS 559829 WITH SCORE 560465.425
AT ITER 98 NEW BEST:: SOT 907223 SOS 636430 HAS SOPS 625901 HAS SOUS 560968 HAS SOUPS 559730 WITH SCORE 560366.43
AT ITER 101 NEW BEST:: SOT 907158 SOS 636255 HAS SOPS 625726 HAS SOUS 560793 HAS SOUPS 559555 WITH SCORE 560191.255
AT ITER 107 NEW BEST:: SOT 873618 SOS 603707 HAS SOPS 593178 HAS SOUS 528043 HAS SOUPS 526805 WITH SCORE 527408.707
AT ITER 124 NEW BEST:: SOT 873510 SOS 603569 HAS SOPS 593211 HAS SOUS 528039 HAS SOUPS 526801 WITH SCORE 527404.569
AT ITER 139 NEW BEST:: SOT 873473 SOS 603495 HAS SOPS 593137 HAS SOUS 528039 HAS SOUPS 526801 WITH SCORE 527404.495
AT ITER 145 NEW BEST:: SOT 873432 SOS 603413 HAS SOPS 593055 HAS SOUS 528039 HAS SOUPS 526801 WITH SCORE 527404.413
AT ITER 147 NEW BEST:: SOT 873357 SOS 603356 HAS SOPS 592998 HAS SOUS 527978 HAS SOUPS 526740 WITH SCORE 527343.356
AT ITER 158 NEW BEST:: SOT 872382 SOS 602896 HAS SOPS 592538 HAS SOUS 527378 HAS SOUPS 526140 WITH SCORE 526742.896
AT ITER 165 NEW BEST:: SOT 872407 SOS 602921 HAS SOPS 592513 HAS SOUS 527402 HAS SOUPS 526139 WITH SCORE 526741.921
AT ITER 179 NEW BEST:: SOT 872381 SOS 602895 HAS SOPS 592513 HAS SOUS 527396 HAS SOUPS 526133 WITH SCORE 526735.895
AT ITER 184 NEW BEST:: SOT 853323 SOS 583846 HAS SOPS 573464 HAS SOUS 508430 HAS SOUPS 507167 WITH SCORE 507750.846
AT ITER 185 NEW BEST:: SOT 852977 SOS 583619 HAS SOPS 573237 HAS SOUS 508048 HAS SOUPS 506785 WITH SCORE 507368.619
AT ITER 186 NEW BEST:: SOT 852967 SOS 583609 HAS SOPS 573227 HAS SOUS 508038 HAS SOUPS 506775 WITH SCORE 507358.609
AT ITER 199 NEW BEST:: SOT 852199 SOS 582836 HAS SOPS 572454 HAS SOUS 507265 HAS SOUPS 506002 WITH SCORE 506584.836
AT ITER 202 NEW BEST:: SOT 850334 SOS 581181 HAS SOPS 570799 HAS SOUS 505348 HAS SOUPS 504085 WITH SCORE 504666.181
AT ITER 204 NEW BEST:: SOT 849814 SOS 580661 HAS SOPS 570279 HAS SOUS 504818 HAS SOUPS 503555 WITH SCORE 504135.661
AT ITER 206 NEW BEST:: SOT 849467 SOS 580314 HAS SOPS 570052 HAS SOUS 504285 HAS SOUPS 503022 WITH SCORE 503602.314
AT ITER 220 NEW BEST:: SOT 849277 SOS 580271 HAS SOPS 570009 HAS SOUS 503970 HAS SOUPS 502707 WITH SCORE 503287.271
AT ITER 226 NEW BEST:: SOT 849156 SOS 580186 HAS SOPS 570000 HAS SOUS 503885 HAS SOUPS 502698 WITH SCORE 503278.186
AT ITER 236 NEW BEST:: SOT 849147 SOS 580177 HAS SOPS 570000 HAS SOUS 503882 HAS SOUPS 502695 WITH SCORE 503275.177
AT ITER 250 NEW BEST:: SOT 849141 SOS 580165 HAS SOPS 569988 HAS SOUS 503870 HAS SOUPS 502683 WITH SCORE 503263.165
AT ITER 257 NEW BEST:: SOT 848919 SOS 579943 HAS SOPS 569766 HAS SOUS 503608 HAS SOUPS 502421 WITH SCORE 503000.943
AT ITER 263 NEW BEST:: SOT 848798 SOS 579822 HAS SOPS 569721 HAS SOUS 503529 HAS SOUPS 502342 WITH SCORE 502921.822
AT ITER 268 NEW BEST:: SOT 844365 SOS 575287 HAS SOPS 565183 HAS SOUS 499285 HAS SOUPS 498098 WITH SCORE 498673.287
AT ITER 271 NEW BEST:: SOT 844302 SOS 575224 HAS SOPS 565151 HAS SOUS 499250 HAS SOUPS 498063 WITH SCORE 498638.224
AT ITER 277 NEW BEST:: SOT 844140 SOS 575117 HAS SOPS 565044 HAS SOUS 499166 HAS SOUPS 497979 WITH SCORE 498554.117
AT ITER 278 NEW BEST:: SOT 844221 SOS 575198 HAS SOPS 565125 HAS SOUS 499130 HAS SOUPS 497943 WITH SCORE 498518.198
AT ITER 284 NEW BEST:: SOT 843994 SOS 574971 HAS SOPS 564898 HAS SOUS 498888 HAS SOUPS 497701 WITH SCORE 498275.971
AT ITER 289 NEW BEST:: SOT 843778 SOS 574755 HAS SOPS 564682 HAS SOUS 498658 HAS SOUPS 497471 WITH SCORE 498045.755
AT ITER 298 NEW BEST:: SOT 843666 SOS 575179 HAS SOPS 565192 HAS SOUS 498636 HAS SOUPS 497449 WITH SCORE 498024.179
AT ITER 305 NEW BEST:: SOT 843480 SOS 574993 HAS SOPS 565006 HAS SOUS 498340 HAS SOUPS 497153 WITH SCORE 497727.993
AT ITER 306 NEW BEST:: SOT 843492 SOS 574999 HAS SOPS 565012 HAS SOUS 498322 HAS SOUPS 497135 WITH SCORE 497709.999
AT ITER 307 NEW BEST:: SOT 843302 SOS 574780 HAS SOPS 564823 HAS SOUS 497523 HAS SOUPS 496336 WITH SCORE 496910.78
AT ITER 315 NEW BEST:: SOT 843219 SOS 574661 HAS SOPS 564704 HAS SOUS 497392 HAS SOUPS 496205 WITH SCORE 496779.661
AT ITER 318 NEW BEST:: SOT 842847 SOS 574289 HAS SOPS 564470 HAS SOUS 496833 HAS SOUPS 495646 WITH SCORE 496220.289
AT ITER 320 NEW BEST:: SOT 842843 SOS 574289 HAS SOPS 564470 HAS SOUS 496829 HAS SOUPS 495642 WITH SCORE 496216.289
AT ITER 330 NEW BEST:: SOT 825386 SOS 556855 HAS SOPS 547036 HAS SOUS 479395 HAS SOUPS 478208 WITH SCORE 478764.855
AT ITER 344 NEW BEST:: SOT 825363 SOS 556832 HAS SOPS 547013 HAS SOUS 479362 HAS SOUPS 478175 WITH SCORE 478731.832
AT ITER 345 NEW BEST:: SOT 825323 SOS 556782 HAS SOPS 546963 HAS SOUS 479272 HAS SOUPS 478085 WITH SCORE 478641.782
AT ITER 367 NEW BEST:: SOT 825227 SOS 556686 HAS SOPS 546867 HAS SOUS 479038 HAS SOUPS 477851 WITH SCORE 478407.686
AT ITER 369 NEW BEST:: SOT 824853 SOS 556653 HAS SOPS 546834 HAS SOUS 478777 HAS SOUPS 477590 WITH SCORE 478146.653
AT ITER 373 NEW BEST:: SOT 824724 SOS 556620 HAS SOPS 546801 HAS SOUS 478756 HAS SOUPS 477569 WITH SCORE 478125.62
AT ITER 379 NEW BEST:: SOT 824714 SOS 556669 HAS SOPS 546850 HAS SOUS 478495 HAS SOUPS 477308 WITH SCORE 477864.669
AT ITER 381 NEW BEST:: SOT 824714 SOS 556643 HAS SOPS 546824 HAS SOUS 478495 HAS SOUPS 477308 WITH SCORE 477864.643
AT ITER 408 NEW BEST:: SOT 824679 SOS 556608 HAS SOPS 546824 HAS SOUS 478390 HAS SOUPS 477203 WITH SCORE 477759.608
AT ITER 420 NEW BEST:: SOT 824451 SOS 556380 HAS SOPS 546596 HAS SOUS 477934 HAS SOUPS 476747 WITH SCORE 477303.38
AT ITER 423 NEW BEST:: SOT 824387 SOS 557142 HAS SOPS 547355 HAS SOUS 477749 HAS SOUPS 476562 WITH SCORE 477119.142
AT ITER 424 NEW BEST:: SOT 824353 SOS 557108 HAS SOPS 547287 HAS SOUS 477702 HAS SOUPS 476494 WITH SCORE 477051.108
AT ITER 426 NEW BEST:: SOT 824520 SOS 557275 HAS SOPS 547539 HAS SOUS 477552 HAS SOUPS 476344 WITH SCORE 476901.275
AT ITER 432 NEW BEST:: SOT 824484 SOS 557196 HAS SOPS 547460 HAS SOUS 477438 HAS SOUPS 476230 WITH SCORE 476787.196
AT ITER 433 NEW BEST:: SOT 822975 SOS 575694 HAS SOPS 562704 HAS SOUS 477202 HAS SOUPS 475549 WITH SCORE 476124.694
AT ITER 435 NEW BEST:: SOT 822898 SOS 575540 HAS SOPS 562550 HAS SOUS 477048 HAS SOUPS 475395 WITH SCORE 475970.54
AT ITER 436 NEW BEST:: SOT 822344 SOS 574899 HAS SOPS 562078 HAS SOUS 476396 HAS SOUPS 474743 WITH SCORE 475317.899
AT ITER 450 NEW BEST:: SOT 822288 SOS 574747 HAS SOPS 561864 HAS SOUS 476228 HAS SOUPS 474573 WITH SCORE 475147.747
AT ITER 459 NEW BEST:: SOT 822114 SOS 560445 HAS SOPS 549650 HAS SOUS 475392 HAS SOUPS 473911 WITH SCORE 474471.445
AT ITER 463 NEW BEST:: SOT 821846 SOS 560220 HAS SOPS 549425 HAS SOUS 475385 HAS SOUPS 473904 WITH SCORE 474464.22
AT ITER 465 NEW BEST:: SOT 821754 SOS 560128 HAS SOPS 549379 HAS SOUS 475339 HAS SOUPS 473858 WITH SCORE 474418.128
AT ITER 469 NEW BEST:: SOT 821468 SOS 559936 HAS SOPS 549330 HAS SOUS 475195 HAS SOUPS 473714 WITH SCORE 474273.936
AT ITER 479 NEW BEST:: SOT 820923 SOS 560140 HAS SOPS 549427 HAS SOUS 475228 HAS SOUPS 473640 WITH SCORE 474200.14
AT ITER 481 NEW BEST:: SOT 820930 SOS 560408 HAS SOPS 549693 HAS SOUS 475126 HAS SOUPS 473538 WITH SCORE 474098.408
AT ITER 491 NEW BEST:: SOT 820765 SOS 559868 HAS SOPS 549153 HAS SOUS 475090 HAS SOUPS 473502 WITH SCORE 474061.868
AT ITER 503 NEW BEST:: SOT 633007 SOS 386202 HAS SOPS 375487 HAS SOUS 287452 HAS SOUPS 285864 WITH SCORE 286250.202
AT ITER 523 NEW BEST:: SOT 632999 SOS 386186 HAS SOPS 375471 HAS SOUS 287436 HAS SOUPS 285848 WITH SCORE 286234.186
AT ITER 524 NEW BEST:: SOT 632847 SOS 386034 HAS SOPS 375426 HAS SOUS 287391 HAS SOUPS 285803 WITH SCORE 286189.034
AT ITER 530 NEW BEST:: SOT 632847 SOS 386026 HAS SOPS 375418 HAS SOUS 287391 HAS SOUPS 285803 WITH SCORE 286189.026
AT ITER 540 NEW BEST:: SOT 632803 SOS 385982 HAS SOPS 375374 HAS SOUS 287337 HAS SOUPS 285749 WITH SCORE 286134.982
AT ITER 542 NEW BEST:: SOT 632731 SOS 385910 HAS SOPS 375302 HAS SOUS 287280 HAS SOUPS 285692 WITH SCORE 286077.91
AT ITER 543 NEW BEST:: SOT 632515 SOS 385694 HAS SOPS 375086 HAS SOUS 287189 HAS SOUPS 285601 WITH SCORE 285986.694
AT ITER 547 NEW BEST:: SOT 632450 SOS 385629 HAS SOPS 375024 HAS SOUS 287053 HAS SOUPS 285465 WITH SCORE 285850.629
AT ITER 549 NEW BEST:: SOT 593660 SOS 347114 HAS SOPS 336509 HAS SOUS 248368 HAS SOUPS 246780 WITH SCORE 247127.114
AT ITER 562 NEW BEST:: SOT 593610 SOS 347064 HAS SOPS 336434 HAS SOUS 248298 HAS SOUPS 246710 WITH SCORE 247057.064
AT ITER 563 NEW BEST:: SOT 593577 SOS 347031 HAS SOPS 336401 HAS SOUS 248265 HAS SOUPS 246677 WITH SCORE 247024.031
AT ITER 571 NEW BEST:: SOT 593355 SOS 346887 HAS SOPS 336257 HAS SOUS 248121 HAS SOUPS 246533 WITH SCORE 246879.887
AT ITER 578 NEW BEST:: SOT 593121 SOS 346732 HAS SOPS 336241 HAS SOUS 248001 HAS SOUPS 246413 WITH SCORE 246759.732
AT ITER 594 NEW BEST:: SOT 593057 SOS 346668 HAS SOPS 336209 HAS SOUS 247966 HAS SOUPS 246378 WITH SCORE 246724.668
AT ITER 597 NEW BEST:: SOT 592901 SOS 346512 HAS SOPS 336131 HAS SOUS 247728 HAS SOUPS 246159 WITH SCORE 246505.512
AT ITER 599 NEW BEST:: SOT 592254 SOS 345707 HAS SOPS 335323 HAS SOUS 246748 HAS SOUPS 245179 WITH SCORE 245524.707
AT ITER 600 NEW BEST:: SOT 592212 SOS 345665 HAS SOPS 335307 HAS SOUS 246716 HAS SOUPS 245147 WITH SCORE 245492.665
AT ITER 604 NEW BEST:: SOT 592158 SOS 345602 HAS SOPS 335244 HAS SOUS 246633 HAS SOUPS 245064 WITH SCORE 245409.602
AT ITER 611 NEW BEST:: SOT 592095 SOS 345413 HAS SOPS 335055 HAS SOUS 246507 HAS SOUPS 244938 WITH SCORE 245283.413
AT ITER 615 NEW BEST:: SOT 592198 SOS 345516 HAS SOPS 335096 HAS SOUS 246493 HAS SOUPS 244924 WITH SCORE 245269.516
AT ITER 618 NEW BEST:: SOT 591900 SOS 345259 HAS SOPS 334976 HAS SOUS 246001 HAS SOUPS 244432 WITH SCORE 244777.259
AT ITER 621 NEW BEST:: SOT 591716 SOS 344997 HAS SOPS 334864 HAS SOUS 245995 HAS SOUPS 244426 WITH SCORE 244770.997
AT ITER 625 NEW BEST:: SOT 591394 SOS 344663 HAS SOPS 334504 HAS SOUS 245732 HAS SOUPS 244163 WITH SCORE 244507.663
AT ITER 637 NEW BEST:: SOT 591276 SOS 344545 HAS SOPS 334386 HAS SOUS 245614 HAS SOUPS 244045 WITH SCORE 244389.545
AT ITER 643 NEW BEST:: SOT 591240 SOS 344508 HAS SOPS 334349 HAS SOUS 245543 HAS SOUPS 243974 WITH SCORE 244318.508
AT ITER 656 NEW BEST:: SOT 590932 SOS 344200 HAS SOPS 334130 HAS SOUS 245368 HAS SOUPS 243799 WITH SCORE 244143.2
AT ITER 663 NEW BEST:: SOT 590852 SOS 344120 HAS SOPS 334130 HAS SOUS 245368 HAS SOUPS 243799 WITH SCORE 244143.12
AT ITER 665 NEW BEST:: SOT 590818 SOS 344086 HAS SOPS 334096 HAS SOUS 245334 HAS SOUPS 243765 WITH SCORE 244109.086
AT ITER 686 NEW BEST:: SOT 590567 SOS 343755 HAS SOPS 333765 HAS SOUS 245147 HAS SOUPS 243578 WITH SCORE 243921.755
AT ITER 689 NEW BEST:: SOT 589686 SOS 342967 HAS SOPS 332977 HAS SOUS 244357 HAS SOUPS 242788 WITH SCORE 243130.967
AT ITER 690 NEW BEST:: SOT 589455 SOS 342850 HAS SOPS 332857 HAS SOUS 244276 HAS SOUPS 242707 WITH SCORE 243049.85
AT ITER 699 NEW BEST:: SOT 589223 SOS 342740 HAS SOPS 332744 HAS SOUS 244052 HAS SOUPS 242483 WITH SCORE 242825.74
AT ITER 713 NEW BEST:: SOT 589033 SOS 342550 HAS SOPS 332595 HAS SOUS 243705 HAS SOUPS 242136 WITH SCORE 242478.55
AT ITER 718 NEW BEST:: SOT 585271 SOS 339493 HAS SOPS 329538 HAS SOUS 240077 HAS SOUPS 238508 WITH SCORE 238847.493
AT ITER 719 NEW BEST:: SOT 585271 SOS 339327 HAS SOPS 329372 HAS SOUS 240036 HAS SOUPS 238467 WITH SCORE 238806.327
AT ITER 720 NEW BEST:: SOT 585261 SOS 339317 HAS SOPS 329366 HAS SOUS 240030 HAS SOUPS 238461 WITH SCORE 238800.317
AT ITER 739 NEW BEST:: SOT 585261 SOS 339257 HAS SOPS 329306 HAS SOUS 240030 HAS SOUPS 238461 WITH SCORE 238800.257
AT ITER 753 NEW BEST:: SOT 585157 SOS 339153 HAS SOPS 329202 HAS SOUS 239828 HAS SOUPS 238259 WITH SCORE 238598.153
AT ITER 756 NEW BEST:: SOT 585144 SOS 339047 HAS SOPS 329096 HAS SOUS 239785 HAS SOUPS 238216 WITH SCORE 238555.047
AT ITER 758 NEW BEST:: SOT 585144 SOS 339131 HAS SOPS 329180 HAS SOUS 239774 HAS SOUPS 238205 WITH SCORE 238544.131
AT ITER 759 NEW BEST:: SOT 584959 SOS 338881 HAS SOPS 328930 HAS SOUS 239340 HAS SOUPS 237771 WITH SCORE 238109.881
AT ITER 772 NEW BEST:: SOT 584876 SOS 338798 HAS SOPS 328847 HAS SOUS 239174 HAS SOUPS 237605 WITH SCORE 237943.798
AT ITER 784 NEW BEST:: SOT 584844 SOS 338558 HAS SOPS 328664 HAS SOUS 239109 HAS SOUPS 237540 WITH SCORE 237878.558
AT ITER 786 NEW BEST:: SOT 584844 SOS 338370 HAS SOPS 328476 HAS SOUS 239109 HAS SOUPS 237540 WITH SCORE 237878.37
AT ITER 789 NEW BEST:: SOT 584850 SOS 338370 HAS SOPS 328476 HAS SOUS 239079 HAS SOUPS 237510 WITH SCORE 237848.37
AT ITER 794 NEW BEST:: SOT 584804 SOS 338278 HAS SOPS 328384 HAS SOUS 238987 HAS SOUPS 237418 WITH SCORE 237756.278
AT ITER 814 NEW BEST:: SOT 584642 SOS 336927 HAS SOPS 327145 HAS SOUS 238933 HAS SOUPS 237364 WITH SCORE 237700.927
AT ITER 815 NEW BEST:: SOT 584583 SOS 336939 HAS SOPS 327157 HAS SOUS 238815 HAS SOUPS 237246 WITH SCORE 237582.939
AT ITER 818 NEW BEST:: SOT 584464 SOS 336804 HAS SOPS 327076 HAS SOUS 238780 HAS SOUPS 237211 WITH SCORE 237547.804
AT ITER 827 NEW BEST:: SOT 584425 SOS 336765 HAS SOPS 327037 HAS SOUS 238661 HAS SOUPS 237092 WITH SCORE 237428.765
AT ITER 835 NEW BEST:: SOT 584173 SOS 336513 HAS SOPS 326785 HAS SOUS 238159 HAS SOUPS 236590 WITH SCORE 236926.513
AT ITER 838 NEW BEST:: SOT 583943 SOS 336283 HAS SOPS 326670 HAS SOUS 237864 HAS SOUPS 236295 WITH SCORE 236631.283
AT ITER 856 NEW BEST:: SOT 583721 SOS 336061 HAS SOPS 326448 HAS SOUS 237606 HAS SOUPS 236037 WITH SCORE 236373.061
AT ITER 861 NEW BEST:: SOT 583704 SOS 336044 HAS SOPS 326431 HAS SOUS 237474 HAS SOUPS 235905 WITH SCORE 236241.044
AT ITER 862 NEW BEST:: SOT 583645 SOS 335961 HAS SOPS 326348 HAS SOUS 237409 HAS SOUPS 235840 WITH SCORE 236175.961
AT ITER 871 NEW BEST:: SOT 583645 SOS 335961 HAS SOPS 326348 HAS SOUS 237405 HAS SOUPS 235836 WITH SCORE 236171.961
AT ITER 873 NEW BEST:: SOT 579693 SOS 331267 HAS SOPS 321542 HAS SOUS 232985 HAS SOUPS 231416 WITH SCORE 231747.267
AT ITER 882 NEW BEST:: SOT 579600 SOS 331174 HAS SOPS 321356 HAS SOUS 232799 HAS SOUPS 231230 WITH SCORE 231561.174
AT ITER 885 NEW BEST:: SOT 579476 SOS 331050 HAS SOPS 321232 HAS SOUS 232643 HAS SOUPS 231074 WITH SCORE 231405.05
AT ITER 889 NEW BEST:: SOT 579311 SOS 331033 HAS SOPS 321215 HAS SOUS 232550 HAS SOUPS 230981 WITH SCORE 231312.033
AT ITER 890 NEW BEST:: SOT 579336 SOS 331101 HAS SOPS 321281 HAS SOUS 232418 HAS SOUPS 230849 WITH SCORE 231180.101
AT ITER 893 NEW BEST:: SOT 579066 SOS 330832 HAS SOPS 321012 HAS SOUS 232193 HAS SOUPS 230624 WITH SCORE 230954.832
AT ITER 898 NEW BEST:: SOT 579096 SOS 330862 HAS SOPS 321042 HAS SOUS 232077 HAS SOUPS 230508 WITH SCORE 230838.862
AT ITER 904 NEW BEST:: SOT 578801 SOS 330576 HAS SOPS 320756 HAS SOUS 231791 HAS SOUPS 230222 WITH SCORE 230552.576
AT ITER 929 NEW BEST:: SOT 578532 SOS 330256 HAS SOPS 320436 HAS SOUS 231575 HAS SOUPS 230006 WITH SCORE 230336.256
AT ITER 936 NEW BEST:: SOT 578454 SOS 330412 HAS SOPS 320592 HAS SOUS 231263 HAS SOUPS 229694 WITH SCORE 230024.412
AT ITER 949 NEW BEST:: SOT 578507 SOS 330465 HAS SOPS 320574 HAS SOUS 231154 HAS SOUPS 229585 WITH SCORE 229915.465
AT ITER 952 NEW BEST:: SOT 578489 SOS 330321 HAS SOPS 320448 HAS SOUS 231154 HAS SOUPS 229585 WITH SCORE 229915.321
AT ITER 970 NEW BEST:: SOT 578365 SOS 329389 HAS SOPS 319530 HAS SOUS 231092 HAS SOUPS 229523 WITH SCORE 229852.389
AT ITER 981 NEW BEST:: SOT 578365 SOS 329171 HAS SOPS 319312 HAS SOUS 231010 HAS SOUPS 229441 WITH SCORE 229770.171
AT ITER 995 NEW BEST:: SOT 578274 SOS 329030 HAS SOPS 319171 HAS SOUS 230783 HAS SOUPS 229214 WITH SCORE 229543.03
AT ITER 997 NEW BEST:: SOT 577863 SOS 327744 HAS SOPS 317863 HAS SOUS 230233 HAS SOUPS 228664 WITH SCORE 228991.744
AT ITER 1000 NEW BEST:: SOT 577847 SOS 327728 HAS SOPS 317847 HAS SOUS 230186 HAS SOUPS 228617 WITH SCORE 228944.728
AT ITER 1002 NEW BEST:: SOT 576637 SOS 328591 HAS SOPS 319047 HAS SOUS 229208 HAS SOUPS 227689 WITH SCORE 228017.591
AT ITER 1005 NEW BEST:: SOT 576536 SOS 328445 HAS SOPS 318901 HAS SOUS 229006 HAS SOUPS 227487 WITH SCORE 227815.445
AT ITER 1008 NEW BEST:: SOT 575628 SOS 346470 HAS SOPS 337928 HAS SOUS 228349 HAS SOUPS 226997 WITH SCORE 227343.47
AT ITER 1012 NEW BEST:: SOT 575628 SOS 346443 HAS SOPS 337901 HAS SOUS 228322 HAS SOUPS 226970 WITH SCORE 227316.443
AT ITER 1028 NEW BEST:: SOT 575448 SOS 346263 HAS SOPS 337721 HAS SOUS 228187 HAS SOUPS 226835 WITH SCORE 227181.263
AT ITER 1030 NEW BEST:: SOT 575420 SOS 346182 HAS SOPS 337640 HAS SOUS 227972 HAS SOUPS 226620 WITH SCORE 226966.182
AT ITER 1034 NEW BEST:: SOT 575227 SOS 345989 HAS SOPS 337447 HAS SOUS 227605 HAS SOUPS 226253 WITH SCORE 226598.989
AT ITER 1037 NEW BEST:: SOT 575206 SOS 345953 HAS SOPS 337432 HAS SOUS 227572 HAS SOUPS 226220 WITH SCORE 226565.953
AT ITER 1038 NEW BEST:: SOT 575118 SOS 345733 HAS SOPS 337212 HAS SOUS 227209 HAS SOUPS 225857 WITH SCORE 226202.733
AT ITER 1067 NEW BEST:: SOT 574779 SOS 345446 HAS SOPS 337123 HAS SOUS 227057 HAS SOUPS 225705 WITH SCORE 226050.446
AT ITER 1071 NEW BEST:: SOT 574657 SOS 345282 HAS SOPS 336959 HAS SOUS 226998 HAS SOUPS 225646 WITH SCORE 225991.282
AT ITER 1072 NEW BEST:: SOT 574642 SOS 345267 HAS SOPS 336944 HAS SOUS 226983 HAS SOUPS 225631 WITH SCORE 225976.267
AT ITER 1087 NEW BEST:: SOT 574642 SOS 345463 HAS SOPS 337140 HAS SOUS 226975 HAS SOUPS 225623 WITH SCORE 225968.463
AT ITER 1090 NEW BEST:: SOT 574587 SOS 345751 HAS SOPS 337428 HAS SOUS 226963 HAS SOUPS 225611 WITH SCORE 225956.751
AT ITER 1091 NEW BEST:: SOT 574549 SOS 346412 HAS SOPS 337390 HAS SOUS 226972 HAS SOUPS 225594 WITH SCORE 225940.412
AT ITER 1109 NEW BEST:: SOT 574516 SOS 346252 HAS SOPS 337230 HAS SOUS 226812 HAS SOUPS 225434 WITH SCORE 225780.252
AT ITER 1111 NEW BEST:: SOT 574431 SOS 346167 HAS SOPS 337230 HAS SOUS 226812 HAS SOUPS 225434 WITH SCORE 225780.167
AT ITER 1119 NEW BEST:: SOT 574279 SOS 346015 HAS SOPS 337078 HAS SOUS 226492 HAS SOUPS 225114 WITH SCORE 225460.015
AT ITER 1122 NEW BEST:: SOT 574083 SOS 345819 HAS SOPS 336882 HAS SOUS 226377 HAS SOUPS 224999 WITH SCORE 225344.819
AT ITER 1135 NEW BEST:: SOT 574009 SOS 345745 HAS SOPS 336845 HAS SOUS 226229 HAS SOUPS 224851 WITH SCORE 225196.745
AT ITER 1138 NEW BEST:: SOT 573872 SOS 345672 HAS SOPS 336772 HAS SOUS 226016 HAS SOUPS 224638 WITH SCORE 224983.672
AT ITER 1147 NEW BEST:: SOT 573827 SOS 345627 HAS SOPS 336727 HAS SOUS 225836 HAS SOUPS 224458 WITH SCORE 224803.627
AT ITER 1151 NEW BEST:: SOT 573677 SOS 345490 HAS SOPS 336590 HAS SOUS 225765 HAS SOUPS 224387 WITH SCORE 224732.49
AT ITER 1153 NEW BEST:: SOT 573676 SOS 345489 HAS SOPS 336589 HAS SOUS 225764 HAS SOUPS 224386 WITH SCORE 224731.489
AT ITER 1157 NEW BEST:: SOT 573651 SOS 345464 HAS SOPS 336579 HAS SOUS 225744 HAS SOUPS 224366 WITH SCORE 224711.464
AT ITER 1163 NEW BEST:: SOT 573514 SOS 345316 HAS SOPS 336431 HAS SOUS 225380 HAS SOUPS 224002 WITH SCORE 224347.316
AT ITER 1164 NEW BEST:: SOT 573469 SOS 345237 HAS SOPS 336352 HAS SOUS 225346 HAS SOUPS 223968 WITH SCORE 224313.237
AT ITER 1166 NEW BEST:: SOT 573407 SOS 345175 HAS SOPS 336322 HAS SOUS 225294 HAS SOUPS 223918 WITH SCORE 224263.175
AT ITER 1167 NEW BEST:: SOT 573407 SOS 345169 HAS SOPS 336316 HAS SOUS 225288 HAS SOUPS 223912 WITH SCORE 224257.169
AT ITER 1181 NEW BEST:: SOT 573013 SOS 344445 HAS SOPS 335754 HAS SOUS 224834 HAS SOUPS 223458 WITH SCORE 223802.445
AT ITER 1183 NEW BEST:: SOT 572725 SOS 344241 HAS SOPS 335627 HAS SOUS 224265 HAS SOUPS 222889 WITH SCORE 223233.241
AT ITER 1200 NEW BEST:: SOT 572476 SOS 343912 HAS SOPS 335331 HAS SOUS 223713 HAS SOUPS 222337 WITH SCORE 222680.912
AT ITER 1217 NEW BEST:: SOT 548921 SOS 320915 HAS SOPS 312334 HAS SOUS 200168 HAS SOUPS 198792 WITH SCORE 199112.915
AT ITER 1232 NEW BEST:: SOT 548893 SOS 320887 HAS SOPS 312306 HAS SOUS 200112 HAS SOUPS 198736 WITH SCORE 199056.887
AT ITER 1233 NEW BEST:: SOT 548746 SOS 320740 HAS SOPS 312227 HAS SOUS 199790 HAS SOUPS 198414 WITH SCORE 198734.74
AT ITER 1248 NEW BEST:: SOT 548727 SOS 320710 HAS SOPS 312197 HAS SOUS 199742 HAS SOUPS 198366 WITH SCORE 198686.71
AT ITER 1254 NEW BEST:: SOT 548752 SOS 320677 HAS SOPS 312164 HAS SOUS 199703 HAS SOUPS 198327 WITH SCORE 198647.677
AT ITER 1258 NEW BEST:: SOT 548792 SOS 320717 HAS SOPS 312204 HAS SOUS 199682 HAS SOUPS 198306 WITH SCORE 198626.717
AT ITER 1261 NEW BEST:: SOT 548800 SOS 320837 HAS SOPS 312316 HAS SOUS 199674 HAS SOUPS 198298 WITH SCORE 198618.837
AT ITER 1268 NEW BEST:: SOT 548787 SOS 320824 HAS SOPS 312303 HAS SOUS 199661 HAS SOUPS 198285 WITH SCORE 198605.824
AT ITER 1281 NEW BEST:: SOT 548781 SOS 320818 HAS SOPS 312297 HAS SOUS 199649 HAS SOUPS 198273 WITH SCORE 198593.818
AT ITER 1282 NEW BEST:: SOT 548501 SOS 320370 HAS SOPS 311849 HAS SOUS 199313 HAS SOUPS 197937 WITH SCORE 198257.37
AT ITER 1285 NEW BEST:: SOT 548585 SOS 320348 HAS SOPS 311827 HAS SOUS 199172 HAS SOUPS 197796 WITH SCORE 198116.348
AT ITER 1288 NEW BEST:: SOT 548585 SOS 320523 HAS SOPS 312014 HAS SOUS 199149 HAS SOUPS 197773 WITH SCORE 198093.523
AT ITER 1292 NEW BEST:: SOT 548436 SOS 320374 HAS SOPS 311865 HAS SOUS 199127 HAS SOUPS 197751 WITH SCORE 198071.374
AT ITER 1297 NEW BEST:: SOT 548518 SOS 320607 HAS SOPS 312098 HAS SOUS 199119 HAS SOUPS 197743 WITH SCORE 198063.607
AT ITER 1307 NEW BEST:: SOT 548522 SOS 321752 HAS SOPS 313243 HAS SOUS 199116 HAS SOUPS 197740 WITH SCORE 198061.752
AT ITER 1309 NEW BEST:: SOT 548522 SOS 321760 HAS SOPS 313251 HAS SOUS 199098 HAS SOUPS 197722 WITH SCORE 198043.76
AT ITER 1313 NEW BEST:: SOT 548522 SOS 321217 HAS SOPS 312708 HAS SOUS 199098 HAS SOUPS 197722 WITH SCORE 198043.217
AT ITER 1315 NEW BEST:: SOT 548534 SOS 321229 HAS SOPS 312720 HAS SOUS 198969 HAS SOUPS 197593 WITH SCORE 197914.229
AT ITER 1345 NEW BEST:: SOT 548534 SOS 322473 HAS SOPS 313964 HAS SOUS 198931 HAS SOUPS 197555 WITH SCORE 197877.473
AT ITER 1347 NEW BEST:: SOT 548431 SOS 322370 HAS SOPS 313825 HAS SOUS 198728 HAS SOUPS 197349 WITH SCORE 197671.37
AT ITER 1349 NEW BEST:: SOT 548415 SOS 322324 HAS SOPS 314107 HAS SOUS 198549 HAS SOUPS 197170 WITH SCORE 197492.324
AT ITER 1350 NEW BEST:: SOT 548409 SOS 322318 HAS SOPS 314101 HAS SOUS 198543 HAS SOUPS 197164 WITH SCORE 197486.318
AT ITER 1353 NEW BEST:: SOT 548316 SOS 322918 HAS SOPS 314723 HAS SOUS 198379 HAS SOUPS 197000 WITH SCORE 197322.918
AT ITER 1363 NEW BEST:: SOT 548213 SOS 322802 HAS SOPS 314624 HAS SOUS 198280 HAS SOUPS 196901 WITH SCORE 197223.802
AT ITER 1373 NEW BEST:: SOT 548256 SOS 322845 HAS SOPS 314667 HAS SOUS 198184 HAS SOUPS 196805 WITH SCORE 197127.845
AT ITER 1375 NEW BEST:: SOT 548256 SOS 322807 HAS SOPS 314629 HAS SOUS 198140 HAS SOUPS 196761 WITH SCORE 197083.807
AT ITER 1377 NEW BEST:: SOT 548256 SOS 322793 HAS SOPS 314615 HAS SOUS 198126 HAS SOUPS 196747 WITH SCORE 197069.793
AT ITER 1379 NEW BEST:: SOT 548201 SOS 322738 HAS SOPS 314561 HAS SOUS 198016 HAS SOUPS 196637 WITH SCORE 196959.738
AT ITER 1383 NEW BEST:: SOT 532053 SOS 306395 HAS SOPS 298218 HAS SOUS 181357 HAS SOUPS 179978 WITH SCORE 180284.395
AT ITER 1385 NEW BEST:: SOT 532003 SOS 306345 HAS SOPS 298168 HAS SOUS 181238 HAS SOUPS 179859 WITH SCORE 180165.345
AT ITER 1397 NEW BEST:: SOT 531953 SOS 306322 HAS SOPS 298168 HAS SOUS 181188 HAS SOUPS 179809 WITH SCORE 180115.322
AT ITER 1399 NEW BEST:: SOT 531450 SOS 306556 HAS SOPS 298489 HAS SOUS 180971 HAS SOUPS 179592 WITH SCORE 179898.556
AT ITER 1402 NEW BEST:: SOT 531748 SOS 306883 HAS SOPS 298765 HAS SOUS 180961 HAS SOUPS 179582 WITH SCORE 179888.883
AT ITER 1415 NEW BEST:: SOT 531757 SOS 307195 HAS SOPS 299077 HAS SOUS 180949 HAS SOUPS 179570 WITH SCORE 179877.195
AT ITER 1418 NEW BEST:: SOT 531636 SOS 306987 HAS SOPS 298869 HAS SOUS 180799 HAS SOUPS 179420 WITH SCORE 179726.987
AT ITER 1420 NEW BEST:: SOT 531379 SOS 307023 HAS SOPS 299034 HAS SOUS 180796 HAS SOUPS 179417 WITH SCORE 179724.023
AT ITER 1429 NEW BEST:: SOT 531253 SOS 306873 HAS SOPS 298884 HAS SOUS 180566 HAS SOUPS 179187 WITH SCORE 179493.873
AT ITER 1435 NEW BEST:: SOT 531253 SOS 306837 HAS SOPS 298848 HAS SOUS 180422 HAS SOUPS 179043 WITH SCORE 179349.837
AT ITER 1449 NEW BEST:: SOT 531071 SOS 306655 HAS SOPS 298694 HAS SOUS 180362 HAS SOUPS 178983 WITH SCORE 179289.655
AT ITER 1482 NEW BEST:: SOT 530838 SOS 306252 HAS SOPS 298291 HAS SOUS 179606 HAS SOUPS 178227 WITH SCORE 178533.252
AT ITER 1498 NEW BEST:: SOT 530638 SOS 306052 HAS SOPS 298091 HAS SOUS 179366 HAS SOUPS 177987 WITH SCORE 178293.052
AT ITER 1507 NEW BEST:: SOT 530638 SOS 306171 HAS SOPS 298210 HAS SOUS 179260 HAS SOUPS 177881 WITH SCORE 178187.171
AT ITER 1513 NEW BEST:: SOT 530218 SOS 306081 HAS SOPS 298120 HAS SOUS 178830 HAS SOUPS 177451 WITH SCORE 177757.081
AT ITER 1527 NEW BEST:: SOT 530029 SOS 305848 HAS SOPS 297887 HAS SOUS 178613 HAS SOUPS 177234 WITH SCORE 177539.848
AT ITER 1533 NEW BEST:: SOT 529964 SOS 305783 HAS SOPS 297885 HAS SOUS 178609 HAS SOUPS 177230 WITH SCORE 177535.783
AT ITER 1553 NEW BEST:: SOT 529890 SOS 305709 HAS SOPS 297781 HAS SOUS 178531 HAS SOUPS 177124 WITH SCORE 177429.709
AT ITER 1554 NEW BEST:: SOT 529885 SOS 305704 HAS SOPS 297776 HAS SOUS 178526 HAS SOUPS 177119 WITH SCORE 177424.704
AT ITER 1555 NEW BEST:: SOT 529838 SOS 305670 HAS SOPS 297742 HAS SOUS 178492 HAS SOUPS 177085 WITH SCORE 177390.67
AT ITER 1556 NEW BEST:: SOT 529673 SOS 304766 HAS SOPS 296935 HAS SOUS 178366 HAS SOUPS 176959 WITH SCORE 177263.766
AT ITER 1563 NEW BEST:: SOT 529379 SOS 304606 HAS SOPS 296826 HAS SOUS 178145 HAS SOUPS 176738 WITH SCORE 177042.606
AT ITER 1568 NEW BEST:: SOT 529219 SOS 303570 HAS SOPS 295372 HAS SOUS 177714 HAS SOUPS 176329 WITH SCORE 176632.57
AT ITER 1575 NEW BEST:: SOT 529143 SOS 303494 HAS SOPS 295296 HAS SOUS 177663 HAS SOUPS 176278 WITH SCORE 176581.494
AT ITER 1583 NEW BEST:: SOT 528958 SOS 303427 HAS SOPS 295353 HAS SOUS 177614 HAS SOUPS 176229 WITH SCORE 176532.427
AT ITER 1589 NEW BEST:: SOT 528765 SOS 303181 HAS SOPS 295319 HAS SOUS 177585 HAS SOUPS 176200 WITH SCORE 176503.181
AT ITER 1614 NEW BEST:: SOT 528733 SOS 303245 HAS SOPS 295383 HAS SOUS 177553 HAS SOUPS 176168 WITH SCORE 176471.245
AT ITER 1622 NEW BEST:: SOT 528573 SOS 302824 HAS SOPS 294962 HAS SOUS 177407 HAS SOUPS 176022 WITH SCORE 176324.824
AT ITER 1624 NEW BEST:: SOT 528517 SOS 302768 HAS SOPS 294906 HAS SOUS 177351 HAS SOUPS 175966 WITH SCORE 176268.768
AT ITER 1639 NEW BEST:: SOT 528255 SOS 302456 HAS SOPS 294594 HAS SOUS 177144 HAS SOUPS 175759 WITH SCORE 176061.456
AT ITER 1640 NEW BEST:: SOT 528243 SOS 302444 HAS SOPS 294582 HAS SOUS 177127 HAS SOUPS 175742 WITH SCORE 176044.444
AT ITER 1641 NEW BEST:: SOT 528218 SOS 302419 HAS SOPS 294557 HAS SOUS 177078 HAS SOUPS 175693 WITH SCORE 175995.419
AT ITER 1643 NEW BEST:: SOT 528170 SOS 302281 HAS SOPS 294460 HAS SOUS 177008 HAS SOUPS 175651 WITH SCORE 175953.281
AT ITER 1646 NEW BEST:: SOT 528102 SOS 302230 HAS SOPS 294409 HAS SOUS 176940 HAS SOUPS 175583 WITH SCORE 175885.23
AT ITER 1650 NEW BEST:: SOT 528096 SOS 302218 HAS SOPS 294397 HAS SOUS 176928 HAS SOUPS 175571 WITH SCORE 175873.218
AT ITER 1667 NEW BEST:: SOT 528107 SOS 301616 HAS SOPS 293769 HAS SOUS 176837 HAS SOUPS 175480 WITH SCORE 175781.616
AT ITER 1676 NEW BEST:: SOT 528099 SOS 301616 HAS SOPS 293769 HAS SOUS 176829 HAS SOUPS 175472 WITH SCORE 175773.616
AT ITER 1686 NEW BEST:: SOT 527739 SOS 301290 HAS SOPS 293369 HAS SOUS 176371 HAS SOUPS 175014 WITH SCORE 175315.29
AT ITER 1712 NEW BEST:: SOT 527624 SOS 301175 HAS SOPS 293254 HAS SOUS 176228 HAS SOUPS 174871 WITH SCORE 175172.175
AT ITER 1714 NEW BEST:: SOT 527570 SOS 301121 HAS SOPS 293200 HAS SOUS 176211 HAS SOUPS 174854 WITH SCORE 175155.121
AT ITER 1715 NEW BEST:: SOT 527675 SOS 302712 HAS SOPS 294725 HAS SOUS 176200 HAS SOUPS 174843 WITH SCORE 175145.712
AT ITER 1719 NEW BEST:: SOT 527642 SOS 302679 HAS SOPS 294692 HAS SOUS 176178 HAS SOUPS 174821 WITH SCORE 175123.679
AT ITER 1731 NEW BEST:: SOT 527642 SOS 302670 HAS SOPS 294683 HAS SOUS 176169 HAS SOUPS 174812 WITH SCORE 175114.67
AT ITER 1741 NEW BEST:: SOT 527632 SOS 302660 HAS SOPS 294683 HAS SOUS 176149 HAS SOUPS 174792 WITH SCORE 175094.66
AT ITER 1745 NEW BEST:: SOT 527673 SOS 302732 HAS SOPS 294702 HAS SOUS 176165 HAS SOUPS 174783 WITH SCORE 175085.732
AT ITER 1752 NEW BEST:: SOT 527514 SOS 302573 HAS SOPS 294543 HAS SOUS 175960 HAS SOUPS 174578 WITH SCORE 174880.573
AT ITER 1756 NEW BEST:: SOT 527482 SOS 302541 HAS SOPS 294511 HAS SOUS 175928 HAS SOUPS 174546 WITH SCORE 174848.541
AT ITER 1758 NEW BEST:: SOT 527482 SOS 302550 HAS SOPS 294520 HAS SOUS 175901 HAS SOUPS 174519 WITH SCORE 174821.55
AT ITER 1764 NEW BEST:: SOT 527478 SOS 302546 HAS SOPS 294516 HAS SOUS 175894 HAS SOUPS 174512 WITH SCORE 174814.546
AT ITER 1772 NEW BEST:: SOT 527385 SOS 302453 HAS SOPS 294375 HAS SOUS 175740 HAS SOUPS 174355 WITH SCORE 174657.453
AT ITER 1790 NEW BEST:: SOT 527359 SOS 302262 HAS SOPS 294184 HAS SOUS 175688 HAS SOUPS 174303 WITH SCORE 174605.262
AT ITER 1796 NEW BEST:: SOT 525708 SOS 301187 HAS SOPS 293109 HAS SOUS 173958 HAS SOUPS 172573 WITH SCORE 172874.187
AT ITER 1802 NEW BEST:: SOT 525708 SOS 301175 HAS SOPS 293097 HAS SOUS 173958 HAS SOUPS 172573 WITH SCORE 172874.175
AT ITER 1807 NEW BEST:: SOT 525552 SOS 301019 HAS SOPS 292941 HAS SOUS 173709 HAS SOUPS 172324 WITH SCORE 172625.019
AT ITER 1820 NEW BEST:: SOT 525552 SOS 301005 HAS SOPS 292927 HAS SOUS 173709 HAS SOUPS 172324 WITH SCORE 172625.005
AT ITER 1826 NEW BEST:: SOT 525637 SOS 301006 HAS SOPS 292928 HAS SOUS 173626 HAS SOUPS 172241 WITH SCORE 172542.006
AT ITER 1829 NEW BEST:: SOT 525634 SOS 301020 HAS SOPS 292942 HAS SOUS 173620 HAS SOUPS 172235 WITH SCORE 172536.02
AT ITER 1831 NEW BEST:: SOT 525538 SOS 300924 HAS SOPS 292846 HAS SOUS 173371 HAS SOUPS 171986 WITH SCORE 172286.924
AT ITER 1835 NEW BEST:: SOT 525493 SOS 300879 HAS SOPS 292801 HAS SOUS 173317 HAS SOUPS 171932 WITH SCORE 172232.879
AT ITER 1840 NEW BEST:: SOT 525484 SOS 300873 HAS SOPS 292795 HAS SOUS 173302 HAS SOUPS 171917 WITH SCORE 172217.873
AT ITER 1866 NEW BEST:: SOT 525493 SOS 301521 HAS SOPS 293443 HAS SOUS 173290 HAS SOUPS 171905 WITH SCORE 172206.521
AT ITER 1881 NEW BEST:: SOT 525272 SOS 301096 HAS SOPS 293082 HAS SOUS 173057 HAS SOUPS 171672 WITH SCORE 171973.096
AT ITER 1888 NEW BEST:: SOT 525314 SOS 301504 HAS SOPS 293490 HAS SOUS 173004 HAS SOUPS 171619 WITH SCORE 171920.504
AT ITER 1890 NEW BEST:: SOT 525280 SOS 301470 HAS SOPS 293456 HAS SOUS 172970 HAS SOUPS 171585 WITH SCORE 171886.47
AT ITER 1893 NEW BEST:: SOT 525304 SOS 301410 HAS SOPS 293396 HAS SOUS 172910 HAS SOUPS 171525 WITH SCORE 171826.41
AT ITER 1899 NEW BEST:: SOT 525375 SOS 301578 HAS SOPS 293538 HAS SOUS 172888 HAS SOUPS 171503 WITH SCORE 171804.578
AT ITER 1933 NEW BEST:: SOT 525429 SOS 301705 HAS SOPS 293665 HAS SOUS 172821 HAS SOUPS 171436 WITH SCORE 171737.705
AT ITER 1943 NEW BEST:: SOT 525197 SOS 301495 HAS SOPS 293455 HAS SOUS 172498 HAS SOUPS 171113 WITH SCORE 171414.495
AT ITER 1944 NEW BEST:: SOT 525168 SOS 301467 HAS SOPS 293427 HAS SOUS 172470 HAS SOUPS 171085 WITH SCORE 171386.467
AT ITER 1950 NEW BEST:: SOT 525163 SOS 301455 HAS SOPS 293403 HAS SOUS 172436 HAS SOUPS 171047 WITH SCORE 171348.455
AT ITER 1959 NEW BEST:: SOT 525167 SOS 301446 HAS SOPS 293394 HAS SOUS 172427 HAS SOUPS 171038 WITH SCORE 171339.446
AT ITER 1964 NEW BEST:: SOT 525164 SOS 301437 HAS SOPS 293385 HAS SOUS 172421 HAS SOUPS 171032 WITH SCORE 171333.437
AT ITER 1990 NEW BEST:: SOT 525158 SOS 301400 HAS SOPS 293348 HAS SOUS 172409 HAS SOUPS 171020 WITH SCORE 171321.4
AT ITER 2023 NEW BEST:: SOT 525237 SOS 301524 HAS SOPS 293472 HAS SOUS 172342 HAS SOUPS 170953 WITH SCORE 171254.524
AT ITER 2030 NEW BEST:: SOT 525089 SOS 301176 HAS SOPS 293176 HAS SOUS 172302 HAS SOUPS 170913 WITH SCORE 171214.176
AT ITER 2035 NEW BEST:: SOT 524927 SOS 300983 HAS SOPS 292983 HAS SOUS 172109 HAS SOUPS 170720 WITH SCORE 171020.983
AT ITER 2063 NEW BEST:: SOT 524781 SOS 300741 HAS SOPS 292741 HAS SOUS 172004 HAS SOUPS 170615 WITH SCORE 170915.741
AT ITER 2064 NEW BEST:: SOT 524773 SOS 300721 HAS SOPS 292721 HAS SOUS 171996 HAS SOUPS 170607 WITH SCORE 170907.721
AT ITER 2065 NEW BEST:: SOT 524752 SOS 300637 HAS SOPS 292658 HAS SOUS 171996 HAS SOUPS 170607 WITH SCORE 170907.637
AT ITER 2114 NEW BEST:: SOT 524749 SOS 300634 HAS SOPS 292655 HAS SOUS 171971 HAS SOUPS 170582 WITH SCORE 170882.634
AT ITER 2117 NEW BEST:: SOT 524749 SOS 300634 HAS SOPS 292655 HAS SOUS 171698 HAS SOUPS 170309 WITH SCORE 170609.634
AT ITER 2120 NEW BEST:: SOT 524741 SOS 300626 HAS SOPS 292647 HAS SOUS 171690 HAS SOUPS 170301 WITH SCORE 170601.626
AT ITER 2128 NEW BEST:: SOT 524790 SOS 300635 HAS SOPS 292626 HAS SOUS 171603 HAS SOUPS 170214 WITH SCORE 170514.635
AT ITER 2131 NEW BEST:: SOT 524701 SOS 300528 HAS SOPS 292519 HAS SOUS 171507 HAS SOUPS 170118 WITH SCORE 170418.528
AT ITER 2132 NEW BEST:: SOT 524719 SOS 300411 HAS SOPS 292436 HAS SOUS 171437 HAS SOUPS 170048 WITH SCORE 170348.411
AT ITER 2142 NEW BEST:: SOT 524731 SOS 300423 HAS SOPS 292448 HAS SOUS 171389 HAS SOUPS 170000 WITH SCORE 170300.423
AT ITER 2164 NEW BEST:: SOT 524726 SOS 300418 HAS SOPS 292443 HAS SOUS 171372 HAS SOUPS 169983 WITH SCORE 170283.418
AT ITER 2201 NEW BEST:: SOT 524693 SOS 300163 HAS SOPS 292188 HAS SOUS 171339 HAS SOUPS 169950 WITH SCORE 170250.163
AT ITER 2207 NEW BEST:: SOT 524687 SOS 300157 HAS SOPS 292182 HAS SOUS 171321 HAS SOUPS 169932 WITH SCORE 170232.157
AT ITER 2210 NEW BEST:: SOT 524680 SOS 300101 HAS SOPS 292126 HAS SOUS 171321 HAS SOUPS 169932 WITH SCORE 170232.101
AT ITER 2219 NEW BEST:: SOT 524675 SOS 300091 HAS SOPS 292116 HAS SOUS 171311 HAS SOUPS 169922 WITH SCORE 170222.091
AT ITER 2232 NEW BEST:: SOT 524680 SOS 300096 HAS SOPS 292121 HAS SOUS 171284 HAS SOUPS 169895 WITH SCORE 170195.096
AT ITER 2251 NEW BEST:: SOT 524560 SOS 299917 HAS SOPS 291942 HAS SOUS 171153 HAS SOUPS 169764 WITH SCORE 170063.917
AT ITER 2253 NEW BEST:: SOT 524598 SOS 299955 HAS SOPS 291980 HAS SOUS 171115 HAS SOUPS 169726 WITH SCORE 170025.955
AT ITER 2255 NEW BEST:: SOT 524371 SOS 299726 HAS SOPS 291751 HAS SOUS 171104 HAS SOUPS 169715 WITH SCORE 170014.726
AT ITER 2281 NEW BEST:: SOT 524366 SOS 299671 HAS SOPS 291696 HAS SOUS 171094 HAS SOUPS 169705 WITH SCORE 170004.671
AT ITER 2286 NEW BEST:: SOT 524366 SOS 299641 HAS SOPS 291666 HAS SOUS 171052 HAS SOUPS 169663 WITH SCORE 169962.641
AT ITER 2293 NEW BEST:: SOT 524380 SOS 299627 HAS SOPS 291652 HAS SOUS 171052 HAS SOUPS 169663 WITH SCORE 169962.627
AT ITER 2302 NEW BEST:: SOT 524483 SOS 300257 HAS SOPS 292216 HAS SOUS 171043 HAS SOUPS 169654 WITH SCORE 169954.257
AT ITER 2307 NEW BEST:: SOT 524262 SOS 300036 HAS SOPS 291995 HAS SOUS 170822 HAS SOUPS 169433 WITH SCORE 169733.036
AT ITER 2308 NEW BEST:: SOT 524192 SOS 299966 HAS SOPS 291925 HAS SOUS 170757 HAS SOUPS 169368 WITH SCORE 169667.966
AT ITER 2311 NEW BEST:: SOT 524065 SOS 299959 HAS SOPS 291918 HAS SOUS 170750 HAS SOUPS 169361 WITH SCORE 169660.959
AT ITER 2331 NEW BEST:: SOT 523865 SOS 299759 HAS SOPS 291718 HAS SOUS 170452 HAS SOUPS 169063 WITH SCORE 169362.759
AT ITER 2336 NEW BEST:: SOT 523860 SOS 299705 HAS SOPS 291664 HAS SOUS 170344 HAS SOUPS 168955 WITH SCORE 169254.705
AT ITER 2351 NEW BEST:: SOT 523645 SOS 299570 HAS SOPS 291529 HAS SOUS 170258 HAS SOUPS 168869 WITH SCORE 169168.57
AT ITER 2365 NEW BEST:: SOT 523381 SOS 297681 HAS SOPS 289640 HAS SOUS 169821 HAS SOUPS 168432 WITH SCORE 168729.681
AT ITER 2391 NEW BEST:: SOT 523381 SOS 297142 HAS SOPS 289112 HAS SOUS 169777 HAS SOUPS 168388 WITH SCORE 168685.142
AT ITER 2398 NEW BEST:: SOT 523309 SOS 297070 HAS SOPS 289040 HAS SOUS 169681 HAS SOUPS 168292 WITH SCORE 168589.07
AT ITER 2404 NEW BEST:: SOT 523264 SOS 297025 HAS SOPS 288995 HAS SOUS 169621 HAS SOUPS 168232 WITH SCORE 168529.025
AT ITER 2419 NEW BEST:: SOT 523237 SOS 297204 HAS SOPS 289174 HAS SOUS 169577 HAS SOUPS 168188 WITH SCORE 168485.204
AT ITER 2425 NEW BEST:: SOT 523093 SOS 296670 HAS SOPS 288640 HAS SOUS 169515 HAS SOUPS 168126 WITH SCORE 168422.67
AT ITER 2441 NEW BEST:: SOT 523295 SOS 296963 HAS SOPS 288933 HAS SOUS 169502 HAS SOUPS 168113 WITH SCORE 168409.963
AT ITER 2443 NEW BEST:: SOT 523235 SOS 296903 HAS SOPS 288873 HAS SOUS 169403 HAS SOUPS 168014 WITH SCORE 168310.903
AT ITER 2452 NEW BEST:: SOT 523269 SOS 297027 HAS SOPS 288997 HAS SOUS 169355 HAS SOUPS 167966 WITH SCORE 168263.027
AT ITER 2468 NEW BEST:: SOT 523158 SOS 296916 HAS SOPS 288886 HAS SOUS 169244 HAS SOUPS 167855 WITH SCORE 168151.916
AT ITER 2482 NEW BEST:: SOT 523148 SOS 296906 HAS SOPS 288876 HAS SOUS 169234 HAS SOUPS 167845 WITH SCORE 168141.906
AT ITER 2489 NEW BEST:: SOT 523110 SOS 296906 HAS SOPS 288876 HAS SOUS 169196 HAS SOUPS 167807 WITH SCORE 168103.906
AT ITER 2498 NEW BEST:: SOT 523082 SOS 296853 HAS SOPS 288823 HAS SOUS 169108 HAS SOUPS 167719 WITH SCORE 168015.853
AT ITER 2505 NEW BEST:: SOT 522999 SOS 296737 HAS SOPS 288707 HAS SOUS 168973 HAS SOUPS 167584 WITH SCORE 167880.737
AT ITER 2510 NEW BEST:: SOT 522975 SOS 296713 HAS SOPS 288683 HAS SOUS 168970 HAS SOUPS 167581 WITH SCORE 167877.713
AT ITER 2532 NEW BEST:: SOT 522972 SOS 296710 HAS SOPS 288680 HAS SOUS 168967 HAS SOUPS 167578 WITH SCORE 167874.71
AT ITER 2535 NEW BEST:: SOT 522958 SOS 296712 HAS SOPS 288682 HAS SOUS 168953 HAS SOUPS 167564 WITH SCORE 167860.712
AT ITER 2547 NEW BEST:: SOT 522934 SOS 296641 HAS SOPS 288611 HAS SOUS 168929 HAS SOUPS 167540 WITH SCORE 167836.641
AT ITER 2560 NEW BEST:: SOT 522934 SOS 296641 HAS SOPS 288596 HAS SOUS 168857 HAS SOUPS 167468 WITH SCORE 167764.641
AT ITER 2581 NEW BEST:: SOT 522931 SOS 296638 HAS SOPS 288593 HAS SOUS 168854 HAS SOUPS 167465 WITH SCORE 167761.638
AT ITER 2594 NEW BEST:: SOT 522856 SOS 296516 HAS SOPS 288471 HAS SOUS 168789 HAS SOUPS 167400 WITH SCORE 167696.516
AT ITER 2600 NEW BEST:: SOT 522694 SOS 296238 HAS SOPS 288187 HAS SOUS 168532 HAS SOUPS 167143 WITH SCORE 167439.238
AT ITER 2605 NEW BEST:: SOT 522694 SOS 295955 HAS SOPS 287904 HAS SOUS 168392 HAS SOUPS 167003 WITH SCORE 167298.955
AT ITER 2609 NEW BEST:: SOT 522646 SOS 295907 HAS SOPS 287888 HAS SOUS 168344 HAS SOUPS 166987 WITH SCORE 167282.907
AT ITER 2642 NEW BEST:: SOT 522646 SOS 295907 HAS SOPS 287888 HAS SOUS 168204 HAS SOUPS 166847 WITH SCORE 167142.907
AT ITER 2645 NEW BEST:: SOT 522646 SOS 295907 HAS SOPS 287888 HAS SOUS 168144 HAS SOUPS 166787 WITH SCORE 167082.907
AT ITER 2646 NEW BEST:: SOT 522646 SOS 295049 HAS SOPS 287030 HAS SOUS 168144 HAS SOUPS 166787 WITH SCORE 167082.049
AT ITER 2652 NEW BEST:: SOT 522688 SOS 294614 HAS SOPS 286595 HAS SOUS 167989 HAS SOUPS 166632 WITH SCORE 166926.614
AT ITER 2655 NEW BEST:: SOT 522828 SOS 294798 HAS SOPS 286779 HAS SOUS 167401 HAS SOUPS 166044 WITH SCORE 166338.798
AT ITER 2658 NEW BEST:: SOT 522820 SOS 294852 HAS SOPS 286833 HAS SOUS 167389 HAS SOUPS 166032 WITH SCORE 166326.852
AT ITER 2677 NEW BEST:: SOT 522702 SOS 294584 HAS SOPS 286737 HAS SOUS 167224 HAS SOUPS 165867 WITH SCORE 166161.584
AT ITER 2680 NEW BEST:: SOT 522643 SOS 294436 HAS SOPS 286589 HAS SOUS 167106 HAS SOUPS 165749 WITH SCORE 166043.436
AT ITER 2684 NEW BEST:: SOT 522681 SOS 294542 HAS SOPS 286695 HAS SOUS 167099 HAS SOUPS 165742 WITH SCORE 166036.542
AT ITER 2685 NEW BEST:: SOT 522529 SOS 294597 HAS SOPS 286750 HAS SOUS 167095 HAS SOUPS 165738 WITH SCORE 166032.597
AT ITER 2705 NEW BEST:: SOT 522498 SOS 294464 HAS SOPS 286617 HAS SOUS 167033 HAS SOUPS 165676 WITH SCORE 165970.464
AT ITER 2716 NEW BEST:: SOT 522461 SOS 294462 HAS SOPS 286615 HAS SOUS 166924 HAS SOUPS 165567 WITH SCORE 165861.462
AT ITER 2717 NEW BEST:: SOT 522503 SOS 295217 HAS SOPS 287370 HAS SOUS 166886 HAS SOUPS 165529 WITH SCORE 165824.217
AT ITER 2743 NEW BEST:: SOT 522581 SOS 295295 HAS SOPS 287448 HAS SOUS 166783 HAS SOUPS 165426 WITH SCORE 165721.295
AT ITER 2757 NEW BEST:: SOT 522567 SOS 295273 HAS SOPS 287434 HAS SOUS 166768 HAS SOUPS 165411 WITH SCORE 165706.273
AT ITER 2760 NEW BEST:: SOT 522585 SOS 295322 HAS SOPS 287457 HAS SOUS 166763 HAS SOUPS 165406 WITH SCORE 165701.322
AT ITER 2775 NEW BEST:: SOT 522570 SOS 295292 HAS SOPS 287427 HAS SOUS 166748 HAS SOUPS 165391 WITH SCORE 165686.292
AT ITER 2800 NEW BEST:: SOT 522492 SOS 295214 HAS SOPS 287349 HAS SOUS 166592 HAS SOUPS 165235 WITH SCORE 165530.214
AT ITER 2818 NEW BEST:: SOT 522475 SOS 295197 HAS SOPS 287332 HAS SOUS 166560 HAS SOUPS 165203 WITH SCORE 165498.197
AT ITER 2822 NEW BEST:: SOT 522431 SOS 295106 HAS SOPS 287241 HAS SOUS 166469 HAS SOUPS 165112 WITH SCORE 165407.106
AT ITER 2837 NEW BEST:: SOT 522330 SOS 295145 HAS SOPS 287332 HAS SOUS 166466 HAS SOUPS 165109 WITH SCORE 165404.145
AT ITER 2854 NEW BEST:: SOT 522324 SOS 295139 HAS SOPS 287326 HAS SOUS 166454 HAS SOUPS 165097 WITH SCORE 165392.139
AT ITER 2883 NEW BEST:: SOT 522301 SOS 295100 HAS SOPS 287265 HAS SOUS 166426 HAS SOUPS 165069 WITH SCORE 165364.1
AT ITER 2885 NEW BEST:: SOT 522272 SOS 295071 HAS SOPS 287236 HAS SOUS 166411 HAS SOUPS 165054 WITH SCORE 165349.071
AT ITER 2943 NEW BEST:: SOT 522272 SOS 295062 HAS SOPS 287227 HAS SOUS 166411 HAS SOUPS 165054 WITH SCORE 165349.062
AT ITER 2956 NEW BEST:: SOT 522260 SOS 295023 HAS SOPS 287188 HAS SOUS 166387 HAS SOUPS 165030 WITH SCORE 165325.023
AT ITER 2957 NEW BEST:: SOT 522183 SOS 294855 HAS SOPS 287020 HAS SOUS 166340 HAS SOUPS 164983 WITH SCORE 165277.855
AT ITER 2959 NEW BEST:: SOT 522126 SOS 294798 HAS SOPS 286963 HAS SOUS 166226 HAS SOUPS 164869 WITH SCORE 165163.798
AT ITER 2979 NEW BEST:: SOT 522133 SOS 294805 HAS SOPS 286970 HAS SOUS 166203 HAS SOUPS 164846 WITH SCORE 165140.805
AT ITER 2983 NEW BEST:: SOT 522057 SOS 293987 HAS SOPS 286152 HAS SOUS 166180 HAS SOUPS 164823 WITH SCORE 165116.987
AT ITER 2989 NEW BEST:: SOT 522057 SOS 293838 HAS SOPS 286003 HAS SOUS 166163 HAS SOUPS 164806 WITH SCORE 165099.838
AT ITER 2996 NEW BEST:: SOT 519556 SOS 291337 HAS SOPS 283502 HAS SOUS 163606 HAS SOUPS 162249 WITH SCORE 162540.337
AT ITER 3010 NEW BEST:: SOT 519544 SOS 291325 HAS SOPS 283490 HAS SOUS 163594 HAS SOUPS 162237 WITH SCORE 162528.325
AT ITER 3019 NEW BEST:: SOT 519384 SOS 291165 HAS SOPS 283330 HAS SOUS 163434 HAS SOUPS 162077 WITH SCORE 162368.165
AT ITER 3023 NEW BEST:: SOT 518040 SOS 290254 HAS SOPS 282419 HAS SOUS 162835 HAS SOUPS 161478 WITH SCORE 161768.254
AT ITER 3026 NEW BEST:: SOT 518105 SOS 290319 HAS SOPS 282484 HAS SOUS 162770 HAS SOUPS 161413 WITH SCORE 161703.319
AT ITER 3038 NEW BEST:: SOT 518095 SOS 289694 HAS SOPS 281859 HAS SOUS 162451 HAS SOUPS 161094 WITH SCORE 161383.694
AT ITER 3039 NEW BEST:: SOT 518081 SOS 289448 HAS SOPS 281613 HAS SOUS 162427 HAS SOUPS 161070 WITH SCORE 161359.448
AT ITER 3046 NEW BEST:: SOT 515673 SOS 287045 HAS SOPS 279210 HAS SOUS 160053 HAS SOUPS 158696 WITH SCORE 158983.045
AT ITER 3056 NEW BEST:: SOT 515667 SOS 287039 HAS SOPS 279204 HAS SOUS 160047 HAS SOUPS 158690 WITH SCORE 158977.039
AT ITER 3075 NEW BEST:: SOT 515708 SOS 287080 HAS SOPS 279215 HAS SOUS 160011 HAS SOUPS 158654 WITH SCORE 158941.08
AT ITER 3076 NEW BEST:: SOT 515418 SOS 286732 HAS SOPS 278867 HAS SOUS 159721 HAS SOUPS 158364 WITH SCORE 158650.732
AT ITER 3096 NEW BEST:: SOT 515269 SOS 286583 HAS SOPS 278718 HAS SOUS 159400 HAS SOUPS 158043 WITH SCORE 158329.583
AT ITER 3114 NEW BEST:: SOT 514974 SOS 286286 HAS SOPS 278421 HAS SOUS 159355 HAS SOUPS 157998 WITH SCORE 158284.286
AT ITER 3118 NEW BEST:: SOT 514972 SOS 286284 HAS SOPS 278419 HAS SOUS 159351 HAS SOUPS 157994 WITH SCORE 158280.284
AT ITER 3120 NEW BEST:: SOT 514941 SOS 285656 HAS SOPS 277791 HAS SOUS 159328 HAS SOUPS 157971 WITH SCORE 158256.656
AT ITER 3126 NEW BEST:: SOT 514929 SOS 285644 HAS SOPS 277779 HAS SOUS 159280 HAS SOUPS 157923 WITH SCORE 158208.644
AT ITER 3132 NEW BEST:: SOT 514958 SOS 285712 HAS SOPS 277847 HAS SOUS 159243 HAS SOUPS 157886 WITH SCORE 158171.712
AT ITER 3142 NEW BEST:: SOT 514996 SOS 285750 HAS SOPS 277885 HAS SOUS 159236 HAS SOUPS 157879 WITH SCORE 158164.75
AT ITER 3165 NEW BEST:: SOT 514930 SOS 286044 HAS SOPS 278179 HAS SOUS 159170 HAS SOUPS 157813 WITH SCORE 158099.044
AT ITER 3185 NEW BEST:: SOT 514839 SOS 285753 HAS SOPS 277888 HAS SOUS 158988 HAS SOUPS 157631 WITH SCORE 157916.753
AT ITER 3200 NEW BEST:: SOT 514657 SOS 285571 HAS SOPS 277706 HAS SOUS 158806 HAS SOUPS 157449 WITH SCORE 157734.571
AT ITER 3206 NEW BEST:: SOT 514646 SOS 285472 HAS SOPS 277607 HAS SOUS 158773 HAS SOUPS 157416 WITH SCORE 157701.472
AT ITER 3210 NEW BEST:: SOT 514633 SOS 285401 HAS SOPS 277536 HAS SOUS 158747 HAS SOUPS 157390 WITH SCORE 157675.401
AT ITER 3223 NEW BEST:: SOT 514596 SOS 285422 HAS SOPS 277557 HAS SOUS 158731 HAS SOUPS 157374 WITH SCORE 157659.422
AT ITER 3227 NEW BEST:: SOT 514576 SOS 285421 HAS SOPS 277556 HAS SOUS 158724 HAS SOUPS 157367 WITH SCORE 157652.421
AT ITER 3228 NEW BEST:: SOT 514576 SOS 285357 HAS SOPS 277492 HAS SOUS 158704 HAS SOUPS 157347 WITH SCORE 157632.357
AT ITER 3245 NEW BEST:: SOT 514561 SOS 285312 HAS SOPS 277447 HAS SOUS 158689 HAS SOUPS 157332 WITH SCORE 157617.312
AT ITER 3246 NEW BEST:: SOT 514589 SOS 285067 HAS SOPS 277202 HAS SOUS 158667 HAS SOUPS 157310 WITH SCORE 157595.067
AT ITER 3274 NEW BEST:: SOT 514533 SOS 285011 HAS SOPS 277146 HAS SOUS 158611 HAS SOUPS 157254 WITH SCORE 157539.011
AT ITER 3276 NEW BEST:: SOT 514245 SOS 284627 HAS SOPS 276762 HAS SOUS 158323 HAS SOUPS 156966 WITH SCORE 157250.627
AT ITER 3279 NEW BEST:: SOT 514153 SOS 284535 HAS SOPS 276670 HAS SOUS 158221 HAS SOUPS 156864 WITH SCORE 157148.535
AT ITER 3292 NEW BEST:: SOT 514130 SOS 284498 HAS SOPS 276560 HAS SOUS 157862 HAS SOUPS 156505 WITH SCORE 156789.498
AT ITER 3293 NEW BEST:: SOT 514065 SOS 284161 HAS SOPS 276155 HAS SOUS 157729 HAS SOUPS 156372 WITH SCORE 156656.161
AT ITER 3295 NEW BEST:: SOT 514138 SOS 284344 HAS SOPS 276338 HAS SOUS 157671 HAS SOUPS 156314 WITH SCORE 156598.344
AT ITER 3315 NEW BEST:: SOT 514234 SOS 284440 HAS SOPS 276434 HAS SOUS 157582 HAS SOUPS 156225 WITH SCORE 156509.44
AT ITER 3322 NEW BEST:: SOT 514133 SOS 284339 HAS SOPS 276333 HAS SOUS 157452 HAS SOUPS 156095 WITH SCORE 156379.339
AT ITER 3333 NEW BEST:: SOT 514131 SOS 284337 HAS SOPS 276333 HAS SOUS 157448 HAS SOUPS 156091 WITH SCORE 156375.337
AT ITER 3341 NEW BEST:: SOT 514144 SOS 284330 HAS SOPS 276326 HAS SOUS 157441 HAS SOUPS 156084 WITH SCORE 156368.33
AT ITER 3343 NEW BEST:: SOT 514144 SOS 284269 HAS SOPS 276265 HAS SOUS 157401 HAS SOUPS 156044 WITH SCORE 156328.269
AT ITER 3352 NEW BEST:: SOT 514116 SOS 284241 HAS SOPS 276237 HAS SOUS 157373 HAS SOUPS 156016 WITH SCORE 156300.241
AT ITER 3359 NEW BEST:: SOT 514092 SOS 284217 HAS SOPS 276229 HAS SOUS 157365 HAS SOUPS 156008 WITH SCORE 156292.217
AT ITER 3362 NEW BEST:: SOT 513872 SOS 283914 HAS SOPS 275926 HAS SOUS 157234 HAS SOUPS 155877 WITH SCORE 156160.914
AT ITER 3364 NEW BEST:: SOT 513698 SOS 283595 HAS SOPS 275607 HAS SOUS 157060 HAS SOUPS 155703 WITH SCORE 155986.595
AT ITER 3366 NEW BEST:: SOT 513698 SOS 283589 HAS SOPS 275601 HAS SOUS 157060 HAS SOUPS 155703 WITH SCORE 155986.589
AT ITER 3419 NEW BEST:: SOT 513592 SOS 283810 HAS SOPS 275528 HAS SOUS 156959 HAS SOUPS 155553 WITH SCORE 155836.81
AT ITER 3428 NEW BEST:: SOT 513493 SOS 283242 HAS SOPS 274979 HAS SOUS 156828 HAS SOUPS 155422 WITH SCORE 155705.242
AT ITER 3429 NEW BEST:: SOT 513474 SOS 283223 HAS SOPS 274960 HAS SOUS 156790 HAS SOUPS 155384 WITH SCORE 155667.223
AT ITER 3439 NEW BEST:: SOT 512839 SOS 282904 HAS SOPS 274641 HAS SOUS 156214 HAS SOUPS 154808 WITH SCORE 155090.904
AT ITER 3460 NEW BEST:: SOT 512825 SOS 282876 HAS SOPS 274613 HAS SOUS 156208 HAS SOUPS 154802 WITH SCORE 155084.876
AT ITER 3464 NEW BEST:: SOT 512789 SOS 282840 HAS SOPS 274577 HAS SOUS 156184 HAS SOUPS 154778 WITH SCORE 155060.84
AT ITER 3473 NEW BEST:: SOT 512697 SOS 282748 HAS SOPS 274485 HAS SOUS 156000 HAS SOUPS 154594 WITH SCORE 154876.748
AT ITER 3496 NEW BEST:: SOT 512791 SOS 283196 HAS SOPS 274844 HAS SOUS 155960 HAS SOUPS 154554 WITH SCORE 154837.196
AT ITER 3502 NEW BEST:: SOT 512803 SOS 283208 HAS SOPS 274856 HAS SOUS 155858 HAS SOUPS 154452 WITH SCORE 154735.208
AT ITER 3504 NEW BEST:: SOT 512668 SOS 284157 HAS SOPS 275805 HAS SOUS 155842 HAS SOUPS 154436 WITH SCORE 154720.157
AT ITER 3505 NEW BEST:: SOT 512656 SOS 284145 HAS SOPS 275793 HAS SOUS 155793 HAS SOUPS 154387 WITH SCORE 154671.145
AT ITER 3548 NEW BEST:: SOT 512531 SOS 283570 HAS SOPS 275203 HAS SOUS 155593 HAS SOUPS 154187 WITH SCORE 154470.57
AT ITER 3554 NEW BEST:: SOT 512498 SOS 283530 HAS SOPS 275163 HAS SOUS 155553 HAS SOUPS 154147 WITH SCORE 154430.53
AT ITER 3559 NEW BEST:: SOT 512446 SOS 283562 HAS SOPS 275195 HAS SOUS 155515 HAS SOUPS 154109 WITH SCORE 154392.562
AT ITER 3563 NEW BEST:: SOT 512399 SOS 283515 HAS SOPS 275148 HAS SOUS 155336 HAS SOUPS 153930 WITH SCORE 154213.515
AT ITER 3571 NEW BEST:: SOT 512400 SOS 283516 HAS SOPS 275149 HAS SOUS 155325 HAS SOUPS 153919 WITH SCORE 154202.516
AT ITER 3573 NEW BEST:: SOT 512336 SOS 283405 HAS SOPS 275013 HAS SOUS 155272 HAS SOUPS 153866 WITH SCORE 154149.405
AT ITER 3598 NEW BEST:: SOT 512103 SOS 283361 HAS SOPS 274969 HAS SOUS 155256 HAS SOUPS 153850 WITH SCORE 154133.361
AT ITER 3606 NEW BEST:: SOT 512075 SOS 283333 HAS SOPS 274941 HAS SOUS 155214 HAS SOUPS 153808 WITH SCORE 154091.333
AT ITER 3619 NEW BEST:: SOT 512043 SOS 283301 HAS SOPS 274912 HAS SOUS 155198 HAS SOUPS 153792 WITH SCORE 154075.301
AT ITER 3640 NEW BEST:: SOT 511975 SOS 283183 HAS SOPS 274794 HAS SOUS 155070 HAS SOUPS 153664 WITH SCORE 153947.183
AT ITER 3645 NEW BEST:: SOT 511924 SOS 283119 HAS SOPS 274730 HAS SOUS 154975 HAS SOUPS 153569 WITH SCORE 153852.119
AT ITER 3647 NEW BEST:: SOT 511904 SOS 283105 HAS SOPS 274716 HAS SOUS 154961 HAS SOUPS 153555 WITH SCORE 153838.105
AT ITER 3658 NEW BEST:: SOT 511873 SOS 283074 HAS SOPS 274685 HAS SOUS 154930 HAS SOUPS 153524 WITH SCORE 153807.074
AT ITER 3667 NEW BEST:: SOT 511652 SOS 282890 HAS SOPS 274501 HAS SOUS 154704 HAS SOUPS 153298 WITH SCORE 153580.89
AT ITER 3691 NEW BEST:: SOT 511540 SOS 282778 HAS SOPS 274389 HAS SOUS 154550 HAS SOUPS 153144 WITH SCORE 153426.778
AT ITER 3706 NEW BEST:: SOT 511372 SOS 282498 HAS SOPS 274109 HAS SOUS 154270 HAS SOUPS 152864 WITH SCORE 153146.498
AT ITER 3711 NEW BEST:: SOT 511240 SOS 282366 HAS SOPS 273977 HAS SOUS 154037 HAS SOUPS 152631 WITH SCORE 152913.366
AT ITER 3728 NEW BEST:: SOT 511040 SOS 282227 HAS SOPS 273838 HAS SOUS 153794 HAS SOUPS 152388 WITH SCORE 152670.227
AT ITER 3765 NEW BEST:: SOT 510911 SOS 282076 HAS SOPS 273687 HAS SOUS 153628 HAS SOUPS 152222 WITH SCORE 152504.076
AT ITER 3798 NEW BEST:: SOT 510898 SOS 282063 HAS SOPS 273674 HAS SOUS 153618 HAS SOUPS 152212 WITH SCORE 152494.063
AT ITER 3804 NEW BEST:: SOT 510882 SOS 282057 HAS SOPS 273668 HAS SOUS 153488 HAS SOUPS 152082 WITH SCORE 152364.057
AT ITER 3809 NEW BEST:: SOT 510881 SOS 282075 HAS SOPS 273686 HAS SOUS 153486 HAS SOUPS 152080 WITH SCORE 152362.075
AT ITER 3840 NEW BEST:: SOT 510812 SOS 281793 HAS SOPS 273404 HAS SOUS 153428 HAS SOUPS 152022 WITH SCORE 152303.793
AT ITER 3861 NEW BEST:: SOT 510812 SOS 281793 HAS SOPS 273400 HAS SOUS 153424 HAS SOUPS 152014 WITH SCORE 152295.793
AT ITER 3862 NEW BEST:: SOT 510771 SOS 281554 HAS SOPS 273161 HAS SOUS 153383 HAS SOUPS 151973 WITH SCORE 152254.554
AT ITER 3888 NEW BEST:: SOT 510734 SOS 281517 HAS SOPS 273124 HAS SOUS 153305 HAS SOUPS 151895 WITH SCORE 152176.517
AT ITER 3893 NEW BEST:: SOT 510768 SOS 281551 HAS SOPS 273158 HAS SOUS 153237 HAS SOUPS 151827 WITH SCORE 152108.551
AT ITER 3903 NEW BEST:: SOT 510768 SOS 281497 HAS SOPS 273104 HAS SOUS 153237 HAS SOUPS 151827 WITH SCORE 152108.497
AT ITER 3915 NEW BEST:: SOT 510719 SOS 281448 HAS SOPS 273055 HAS SOUS 153139 HAS SOUPS 151729 WITH SCORE 152010.448
AT ITER 3937 NEW BEST:: SOT 510659 SOS 281398 HAS SOPS 273005 HAS SOUS 153079 HAS SOUPS 151669 WITH SCORE 151950.398
AT ITER 3993 NEW BEST:: SOT 510636 SOS 281454 HAS SOPS 272958 HAS SOUS 152997 HAS SOUPS 151587 WITH SCORE 151868.454
AT ITER 4007 NEW BEST:: SOT 510514 SOS 281224 HAS SOPS 272848 HAS SOUS 152992 HAS SOUPS 151582 WITH SCORE 151863.224
AT ITER 4013 NEW BEST:: SOT 510485 SOS 281195 HAS SOPS 272819 HAS SOUS 152944 HAS SOUPS 151534 WITH SCORE 151815.195
AT ITER 4016 NEW BEST:: SOT 510480 SOS 281190 HAS SOPS 272814 HAS SOUS 152934 HAS SOUPS 151524 WITH SCORE 151805.19
AT ITER 4064 NEW BEST:: SOT 510410 SOS 281228 HAS SOPS 272789 HAS SOUS 152906 HAS SOUPS 151481 WITH SCORE 151762.228
AT ITER 4073 NEW BEST:: SOT 510385 SOS 281178 HAS SOPS 272739 HAS SOUS 152856 HAS SOUPS 151431 WITH SCORE 151712.178
AT ITER 4076 NEW BEST:: SOT 510352 SOS 280980 HAS SOPS 272541 HAS SOUS 152823 HAS SOUPS 151398 WITH SCORE 151678.98
AT ITER 4079 NEW BEST:: SOT 510286 SOS 280914 HAS SOPS 272475 HAS SOUS 152658 HAS SOUPS 151233 WITH SCORE 151513.914
AT ITER 4090 NEW BEST:: SOT 510282 SOS 280848 HAS SOPS 272467 HAS SOUS 152650 HAS SOUPS 151225 WITH SCORE 151505.848
AT ITER 4093 NEW BEST:: SOT 510274 SOS 280849 HAS SOPS 272468 HAS SOUS 152634 HAS SOUPS 151209 WITH SCORE 151489.849
AT ITER 4104 NEW BEST:: SOT 510207 SOS 280754 HAS SOPS 272345 HAS SOUS 152567 HAS SOUPS 151142 WITH SCORE 151422.754
AT ITER 4125 NEW BEST:: SOT 509911 SOS 280833 HAS SOPS 272424 HAS SOUS 152436 HAS SOUPS 151011 WITH SCORE 151291.833
AT ITER 4152 NEW BEST:: SOT 509897 SOS 280809 HAS SOPS 272400 HAS SOUS 152428 HAS SOUPS 151003 WITH SCORE 151283.809
AT ITER 4161 NEW BEST:: SOT 509897 SOS 280804 HAS SOPS 272380 HAS SOUS 152380 HAS SOUPS 150955 WITH SCORE 151235.804
AT ITER 4194 NEW BEST:: SOT 509872 SOS 280779 HAS SOPS 272355 HAS SOUS 152273 HAS SOUPS 150848 WITH SCORE 151128.779
AT ITER 4251 NEW BEST:: SOT 509716 SOS 280301 HAS SOPS 271952 HAS SOUS 152248 HAS SOUPS 150823 WITH SCORE 151103.301
AT ITER 4265 NEW BEST:: SOT 509748 SOS 280293 HAS SOPS 271944 HAS SOUS 152130 HAS SOUPS 150705 WITH SCORE 150985.293
AT ITER 4283 NEW BEST:: SOT 509736 SOS 280274 HAS SOPS 271925 HAS SOUS 152111 HAS SOUPS 150686 WITH SCORE 150966.274
AT ITER 4296 NEW BEST:: SOT 509581 SOS 280143 HAS SOPS 271794 HAS SOUS 151668 HAS SOUPS 150243 WITH SCORE 150523.143
AT ITER 4300 NEW BEST:: SOT 509686 SOS 280348 HAS SOPS 271999 HAS SOUS 151449 HAS SOUPS 150024 WITH SCORE 150304.348
AT ITER 4320 NEW BEST:: SOT 509656 SOS 280240 HAS SOPS 271917 HAS SOUS 151441 HAS SOUPS 150016 WITH SCORE 150296.24
AT ITER 4329 NEW BEST:: SOT 509744 SOS 280328 HAS SOPS 272005 HAS SOUS 151246 HAS SOUPS 149821 WITH SCORE 150101.328
AT ITER 4378 NEW BEST:: SOT 509744 SOS 280328 HAS SOPS 272005 HAS SOUS 151210 HAS SOUPS 149785 WITH SCORE 150065.328
AT ITER 4382 NEW BEST:: SOT 509745 SOS 280343 HAS SOPS 272020 HAS SOUS 151204 HAS SOUPS 149779 WITH SCORE 150059.343
AT ITER 4398 NEW BEST:: SOT 509734 SOS 280236 HAS SOPS 271913 HAS SOUS 151193 HAS SOUPS 149768 WITH SCORE 150048.236
AT ITER 4403 NEW BEST:: SOT 509586 SOS 280072 HAS SOPS 271749 HAS SOUS 150897 HAS SOUPS 149472 WITH SCORE 149752.072
AT ITER 4436 NEW BEST:: SOT 509779 SOS 280265 HAS SOPS 271942 HAS SOUS 150856 HAS SOUPS 149431 WITH SCORE 149711.265
AT ITER 4522 NEW BEST:: SOT 509672 SOS 276378 HAS SOPS 268055 HAS SOUS 150858 HAS SOUPS 149433 WITH SCORE 149709.378
AT ITER 4536 NEW BEST:: SOT 509659 SOS 276396 HAS SOPS 268073 HAS SOUS 150837 HAS SOUPS 149412 WITH SCORE 149688.396
AT ITER 4542 NEW BEST:: SOT 509462 SOS 276187 HAS SOPS 267951 HAS SOUS 150747 HAS SOUPS 149322 WITH SCORE 149598.187
AT ITER 4551 NEW BEST:: SOT 509450 SOS 276163 HAS SOPS 267927 HAS SOUS 150721 HAS SOUPS 149296 WITH SCORE 149572.163
AT ITER 4552 NEW BEST:: SOT 509450 SOS 276160 HAS SOPS 267924 HAS SOUS 150718 HAS SOUPS 149293 WITH SCORE 149569.16
AT ITER 4569 NEW BEST:: SOT 509444 SOS 276154 HAS SOPS 267918 HAS SOUS 150718 HAS SOUPS 149293 WITH SCORE 149569.154
AT ITER 4587 NEW BEST:: SOT 509444 SOS 276364 HAS SOPS 268128 HAS SOUS 150713 HAS SOUPS 149288 WITH SCORE 149564.364
AT ITER 4588 NEW BEST:: SOT 509418 SOS 276338 HAS SOPS 268102 HAS SOUS 150695 HAS SOUPS 149270 WITH SCORE 149546.338
AT ITER 4591 NEW BEST:: SOT 509383 SOS 276303 HAS SOPS 268067 HAS SOUS 150629 HAS SOUPS 149204 WITH SCORE 149480.303
AT ITER 4594 NEW BEST:: SOT 509349 SOS 276358 HAS SOPS 268029 HAS SOUS 150544 HAS SOUPS 149119 WITH SCORE 149395.358
AT ITER 4614 NEW BEST:: SOT 509220 SOS 276019 HAS SOPS 267722 HAS SOUS 150459 HAS SOUPS 149034 WITH SCORE 149310.019
AT ITER 4621 NEW BEST:: SOT 509134 SOS 276011 HAS SOPS 267714 HAS SOUS 150399 HAS SOUPS 148974 WITH SCORE 149250.011
AT ITER 4627 NEW BEST:: SOT 509154 SOS 276151 HAS SOPS 267854 HAS SOUS 150327 HAS SOUPS 148902 WITH SCORE 149178.151
AT ITER 4644 NEW BEST:: SOT 509148 SOS 276145 HAS SOPS 267848 HAS SOUS 150310 HAS SOUPS 148885 WITH SCORE 149161.145
AT ITER 4664 NEW BEST:: SOT 509129 SOS 276153 HAS SOPS 267844 HAS SOUS 150303 HAS SOUPS 148878 WITH SCORE 149154.153
AT ITER 4682 NEW BEST:: SOT 509109 SOS 276133 HAS SOPS 267824 HAS SOUS 150263 HAS SOUPS 148838 WITH SCORE 149114.133
AT ITER 4695 NEW BEST:: SOT 508840 SOS 275660 HAS SOPS 267351 HAS SOUS 149850 HAS SOUPS 148425 WITH SCORE 148700.66
AT ITER 4706 NEW BEST:: SOT 508806 SOS 275434 HAS SOPS 267125 HAS SOUS 149782 HAS SOUPS 148357 WITH SCORE 148632.434
AT ITER 4714 NEW BEST:: SOT 508794 SOS 275428 HAS SOPS 267119 HAS SOUS 149758 HAS SOUPS 148333 WITH SCORE 148608.428
AT ITER 4723 NEW BEST:: SOT 508819 SOS 275482 HAS SOPS 267144 HAS SOUS 149750 HAS SOUPS 148325 WITH SCORE 148600.482
AT ITER 4737 NEW BEST:: SOT 508813 SOS 275488 HAS SOPS 267150 HAS SOUS 149744 HAS SOUPS 148319 WITH SCORE 148594.488
AT ITER 4753 NEW BEST:: SOT 508804 SOS 275463 HAS SOPS 267125 HAS SOUS 149719 HAS SOUPS 148294 WITH SCORE 148569.463
AT ITER 4776 NEW BEST:: SOT 508783 SOS 275432 HAS SOPS 266080 HAS SOUS 149725 HAS SOUPS 148108 WITH SCORE 148383.432
AT ITER 4831 NEW BEST:: SOT 508877 SOS 275491 HAS SOPS 266165 HAS SOUS 149709 HAS SOUPS 148092 WITH SCORE 148367.491
AT ITER 4853 NEW BEST:: SOT 508867 SOS 275147 HAS SOPS 265821 HAS SOUS 149689 HAS SOUPS 148072 WITH SCORE 148347.147
AT ITER 4854 NEW BEST:: SOT 508855 SOS 275207 HAS SOPS 265881 HAS SOUS 149674 HAS SOUPS 148057 WITH SCORE 148332.207
AT ITER 4890 NEW BEST:: SOT 508855 SOS 275164 HAS SOPS 265838 HAS SOUS 149673 HAS SOUPS 148056 WITH SCORE 148331.164
AT ITER 4891 NEW BEST:: SOT 508787 SOS 274886 HAS SOPS 265560 HAS SOUS 149642 HAS SOUPS 148025 WITH SCORE 148299.886
AT ITER 4897 NEW BEST:: SOT 508783 SOS 274882 HAS SOPS 265558 HAS SOUS 149638 HAS SOUPS 148021 WITH SCORE 148295.882
AT ITER 4928 NEW BEST:: SOT 508978 SOS 275194 HAS SOPS 265870 HAS SOUS 149520 HAS SOUPS 147903 WITH SCORE 148178.194
AT ITER 4961 NEW BEST:: SOT 508959 SOS 275175 HAS SOPS 265851 HAS SOUS 149501 HAS SOUPS 147884 WITH SCORE 148159.175
AT ITER 4979 NEW BEST:: SOT 508976 SOS 275192 HAS SOPS 265868 HAS SOUS 149467 HAS SOUPS 147850 WITH SCORE 148125.192
AT ITER 4981 NEW BEST:: SOT 508976 SOS 275192 HAS SOPS 265868 HAS SOUS 149459 HAS SOUPS 147842 WITH SCORE 148117.192
AT ITER 5003 NEW BEST:: SOT 509005 SOS 275221 HAS SOPS 265897 HAS SOUS 149401 HAS SOUPS 147784 WITH SCORE 148059.221
AT ITER 5010 NEW BEST:: SOT 508953 SOS 275181 HAS SOPS 265857 HAS SOUS 149361 HAS SOUPS 147744 WITH SCORE 148019.181
AT ITER 5019 NEW BEST:: SOT 508856 SOS 275062 HAS SOPS 265738 HAS SOUS 149166 HAS SOUPS 147549 WITH SCORE 147824.062
AT ITER 5038 NEW BEST:: SOT 508849 SOS 275069 HAS SOPS 265703 HAS SOUS 149152 HAS SOUPS 147535 WITH SCORE 147810.069
AT ITER 5067 NEW BEST:: SOT 508826 SOS 275063 HAS SOPS 265697 HAS SOUS 149146 HAS SOUPS 147529 WITH SCORE 147804.063
AT ITER 5078 NEW BEST:: SOT 508822 SOS 275059 HAS SOPS 265693 HAS SOUS 149141 HAS SOUPS 147524 WITH SCORE 147799.059
AT ITER 5084 NEW BEST:: SOT 508642 SOS 274743 HAS SOPS 265500 HAS SOUS 149135 HAS SOUPS 147518 WITH SCORE 147792.743
AT ITER 5096 NEW BEST:: SOT 508624 SOS 274725 HAS SOPS 265482 HAS SOUS 149099 HAS SOUPS 147482 WITH SCORE 147756.725
AT ITER 5110 NEW BEST:: SOT 508558 SOS 274659 HAS SOPS 265416 HAS SOUS 148995 HAS SOUPS 147378 WITH SCORE 147652.659
AT ITER 5124 NEW BEST:: SOT 508434 SOS 274578 HAS SOPS 265335 HAS SOUS 148873 HAS SOUPS 147256 WITH SCORE 147530.578
AT ITER 5125 NEW BEST:: SOT 508344 SOS 274067 HAS SOPS 264824 HAS SOUS 148658 HAS SOUPS 147041 WITH SCORE 147315.067
AT ITER 5148 NEW BEST:: SOT 508332 SOS 274055 HAS SOPS 264812 HAS SOUS 148652 HAS SOUPS 147035 WITH SCORE 147309.055
AT ITER 5153 NEW BEST:: SOT 508201 SOS 273924 HAS SOPS 264681 HAS SOUS 148341 HAS SOUPS 146724 WITH SCORE 146997.924
AT ITER 5165 NEW BEST:: SOT 508198 SOS 273933 HAS SOPS 264690 HAS SOUS 148326 HAS SOUPS 146709 WITH SCORE 146982.933
AT ITER 5196 NEW BEST:: SOT 508187 SOS 273797 HAS SOPS 264554 HAS SOUS 148323 HAS SOUPS 146706 WITH SCORE 146979.797
AT ITER 5272 NEW BEST:: SOT 508167 SOS 273777 HAS SOPS 264534 HAS SOUS 148297 HAS SOUPS 146680 WITH SCORE 146953.777
AT ITER 5278 NEW BEST:: SOT 508136 SOS 273490 HAS SOPS 264247 HAS SOUS 148251 HAS SOUPS 146634 WITH SCORE 146907.49
AT ITER 5283 NEW BEST:: SOT 508130 SOS 273484 HAS SOPS 264241 HAS SOUS 148239 HAS SOUPS 146622 WITH SCORE 146895.484
AT ITER 5317 NEW BEST:: SOT 508130 SOS 273483 HAS SOPS 264240 HAS SOUS 148238 HAS SOUPS 146621 WITH SCORE 146894.483
AT ITER 5343 NEW BEST:: SOT 508121 SOS 273424 HAS SOPS 264181 HAS SOUS 148204 HAS SOUPS 146587 WITH SCORE 146860.424
AT ITER 5364 NEW BEST:: SOT 508010 SOS 273301 HAS SOPS 264058 HAS SOUS 147891 HAS SOUPS 146274 WITH SCORE 146547.301
AT ITER 5375 NEW BEST:: SOT 507838 SOS 273143 HAS SOPS 263900 HAS SOUS 147766 HAS SOUPS 146149 WITH SCORE 146422.143
AT ITER 5426 NEW BEST:: SOT 507721 SOS 272981 HAS SOPS 263738 HAS SOUS 147507 HAS SOUPS 145890 WITH SCORE 146162.981
AT ITER 5428 NEW BEST:: SOT 507710 SOS 272924 HAS SOPS 263681 HAS SOUS 147450 HAS SOUPS 145833 WITH SCORE 146105.924
AT ITER 5434 NEW BEST:: SOT 507612 SOS 272826 HAS SOPS 263583 HAS SOUS 147290 HAS SOUPS 145673 WITH SCORE 145945.826
AT ITER 5440 NEW BEST:: SOT 507582 SOS 272775 HAS SOPS 263532 HAS SOUS 147253 HAS SOUPS 145636 WITH SCORE 145908.775
AT ITER 5459 NEW BEST:: SOT 507582 SOS 272775 HAS SOPS 263532 HAS SOUS 147193 HAS SOUPS 145576 WITH SCORE 145848.775
AT ITER 5476 NEW BEST:: SOT 507608 SOS 272801 HAS SOPS 263536 HAS SOUS 147149 HAS SOUPS 145532 WITH SCORE 145804.801
AT ITER 5486 NEW BEST:: SOT 507586 SOS 272779 HAS SOPS 263514 HAS SOUS 147135 HAS SOUPS 145518 WITH SCORE 145790.779
AT ITER 5587 NEW BEST:: SOT 507586 SOS 272835 HAS SOPS 263570 HAS SOUS 147079 HAS SOUPS 145462 WITH SCORE 145734.835
AT ITER 5616 NEW BEST:: SOT 507586 SOS 272835 HAS SOPS 263570 HAS SOUS 147069 HAS SOUPS 145452 WITH SCORE 145724.835
AT ITER 5697 NEW BEST:: SOT 507522 SOS 272592 HAS SOPS 263300 HAS SOUS 146890 HAS SOUPS 145273 WITH SCORE 145545.592
AT ITER 5738 NEW BEST:: SOT 507514 SOS 272576 HAS SOPS 263291 HAS SOUS 146888 HAS SOUPS 145271 WITH SCORE 145543.576
AT ITER 5750 NEW BEST:: SOT 507514 SOS 272576 HAS SOPS 263291 HAS SOUS 146881 HAS SOUPS 145264 WITH SCORE 145536.576
AT ITER 5773 NEW BEST:: SOT 507440 SOS 272477 HAS SOPS 263192 HAS SOUS 146708 HAS SOUPS 145091 WITH SCORE 145363.477
AT ITER 5799 NEW BEST:: SOT 507440 SOS 272457 HAS SOPS 263172 HAS SOUS 146688 HAS SOUPS 145071 WITH SCORE 145343.457
AT ITER 5811 NEW BEST:: SOT 507378 SOS 272395 HAS SOPS 263143 HAS SOUS 146500 HAS SOUPS 144886 WITH SCORE 145158.395
AT ITER 5812 NEW BEST:: SOT 507275 SOS 272297 HAS SOPS 263045 HAS SOUS 146427 HAS SOUPS 144813 WITH SCORE 145085.297
AT ITER 5818 NEW BEST:: SOT 507275 SOS 272295 HAS SOPS 263043 HAS SOUS 146427 HAS SOUPS 144813 WITH SCORE 145085.295
AT ITER 5828 NEW BEST:: SOT 507278 SOS 272298 HAS SOPS 262997 HAS SOUS 146332 HAS SOUPS 144718 WITH SCORE 144990.298
AT ITER 5840 NEW BEST:: SOT 507273 SOS 272275 HAS SOPS 262938 HAS SOUS 146282 HAS SOUPS 144668 WITH SCORE 144940.275
AT ITER 5842 NEW BEST:: SOT 507265 SOS 272267 HAS SOPS 262930 HAS SOUS 146266 HAS SOUPS 144652 WITH SCORE 144924.267
AT ITER 5846 NEW BEST:: SOT 507250 SOS 272242 HAS SOPS 262905 HAS SOUS 146251 HAS SOUPS 144637 WITH SCORE 144909.242
AT ITER 5851 NEW BEST:: SOT 507146 SOS 272034 HAS SOPS 262697 HAS SOUS 146043 HAS SOUPS 144429 WITH SCORE 144701.034
AT ITER 5852 NEW BEST:: SOT 507068 SOS 271905 HAS SOPS 262568 HAS SOUS 145948 HAS SOUPS 144334 WITH SCORE 144605.905
AT ITER 5870 NEW BEST:: SOT 507045 SOS 271816 HAS SOPS 262496 HAS SOUS 145922 HAS SOUPS 144308 WITH SCORE 144579.816
AT ITER 5873 NEW BEST:: SOT 507015 SOS 271793 HAS SOPS 262473 HAS SOUS 145897 HAS SOUPS 144283 WITH SCORE 144554.793
AT ITER 5877 NEW BEST:: SOT 507005 SOS 271783 HAS SOPS 262463 HAS SOUS 145895 HAS SOUPS 144281 WITH SCORE 144552.783
AT ITER 5886 NEW BEST:: SOT 506951 SOS 271513 HAS SOPS 262193 HAS SOUS 145887 HAS SOUPS 144273 WITH SCORE 144544.513
AT ITER 5916 NEW BEST:: SOT 506973 SOS 271535 HAS SOPS 262158 HAS SOUS 145761 HAS SOUPS 144147 WITH SCORE 144418.535
AT ITER 5931 NEW BEST:: SOT 506876 SOS 271438 HAS SOPS 262061 HAS SOUS 145567 HAS SOUPS 143953 WITH SCORE 144224.438
AT ITER 5976 NEW BEST:: SOT 506858 SOS 270787 HAS SOPS 261994 HAS SOUS 145396 HAS SOUPS 143803 WITH SCORE 144073.787
AT ITER 5995 NEW BEST:: SOT 506858 SOS 270786 HAS SOPS 261993 HAS SOUS 145396 HAS SOUPS 143803 WITH SCORE 144073.786
AT ITER 6024 NEW BEST:: SOT 506858 SOS 270715 HAS SOPS 261922 HAS SOUS 145396 HAS SOUPS 143803 WITH SCORE 144073.715
AT ITER 6026 NEW BEST:: SOT 506858 SOS 270715 HAS SOPS 261922 HAS SOUS 145344 HAS SOUPS 143751 WITH SCORE 144021.715
AT ITER 6043 NEW BEST:: SOT 506834 SOS 270691 HAS SOPS 261898 HAS SOUS 145296 HAS SOUPS 143703 WITH SCORE 143973.691
AT ITER 6044 NEW BEST:: SOT 506831 SOS 270688 HAS SOPS 261895 HAS SOUS 145293 HAS SOUPS 143700 WITH SCORE 143970.688
AT ITER 6052 NEW BEST:: SOT 506840 SOS 270697 HAS SOPS 261904 HAS SOUS 145270 HAS SOUPS 143677 WITH SCORE 143947.697
AT ITER 6054 NEW BEST:: SOT 506616 SOS 270531 HAS SOPS 261738 HAS SOUS 145029 HAS SOUPS 143436 WITH SCORE 143706.531
AT ITER 6057 NEW BEST:: SOT 506601 SOS 270516 HAS SOPS 261691 HAS SOUS 144950 HAS SOUPS 143357 WITH SCORE 143627.516
AT ITER 6070 NEW BEST:: SOT 506534 SOS 270292 HAS SOPS 261467 HAS SOUS 144816 HAS SOUPS 143223 WITH SCORE 143493.292
AT ITER 6096 NEW BEST:: SOT 506528 SOS 270286 HAS SOPS 261461 HAS SOUS 144792 HAS SOUPS 143199 WITH SCORE 143469.286
AT ITER 6131 NEW BEST:: SOT 506508 SOS 270206 HAS SOPS 261401 HAS SOUS 144792 HAS SOUPS 143199 WITH SCORE 143469.206
AT ITER 6149 NEW BEST:: SOT 506499 SOS 270197 HAS SOPS 261392 HAS SOUS 144783 HAS SOUPS 143190 WITH SCORE 143460.197
AT ITER 6150 NEW BEST:: SOT 506526 SOS 270171 HAS SOPS 261366 HAS SOUS 144747 HAS SOUPS 143154 WITH SCORE 143424.171
AT ITER 6162 NEW BEST:: SOT 506520 SOS 270165 HAS SOPS 261360 HAS SOUS 144735 HAS SOUPS 143142 WITH SCORE 143412.165
AT ITER 6164 NEW BEST:: SOT 506526 SOS 270266 HAS SOPS 261461 HAS SOUS 144587 HAS SOUPS 142994 WITH SCORE 143264.266
AT ITER 6171 NEW BEST:: SOT 506477 SOS 270168 HAS SOPS 261363 HAS SOUS 144489 HAS SOUPS 142896 WITH SCORE 143166.168
AT ITER 6189 NEW BEST:: SOT 506494 SOS 270185 HAS SOPS 261380 HAS SOUS 144472 HAS SOUPS 142879 WITH SCORE 143149.185
AT ITER 6197 NEW BEST:: SOT 506446 SOS 270122 HAS SOPS 261317 HAS SOUS 144412 HAS SOUPS 142819 WITH SCORE 143089.122
AT ITER 6212 NEW BEST:: SOT 506314 SOS 269830 HAS SOPS 261025 HAS SOUS 144296 HAS SOUPS 142703 WITH SCORE 142972.83
AT ITER 6219 NEW BEST:: SOT 506406 SOS 269839 HAS SOPS 261034 HAS SOUS 144148 HAS SOUPS 142555 WITH SCORE 142824.839
AT ITER 6231 NEW BEST:: SOT 506351 SOS 269792 HAS SOPS 260987 HAS SOUS 144134 HAS SOUPS 142541 WITH SCORE 142810.792
AT ITER 6279 NEW BEST:: SOT 506329 SOS 269770 HAS SOPS 260965 HAS SOUS 144111 HAS SOUPS 142518 WITH SCORE 142787.77
AT ITER 6313 NEW BEST:: SOT 506300 SOS 269741 HAS SOPS 260936 HAS SOUS 144063 HAS SOUPS 142470 WITH SCORE 142739.741
AT ITER 6314 NEW BEST:: SOT 506289 SOS 269688 HAS SOPS 260883 HAS SOUS 144052 HAS SOUPS 142459 WITH SCORE 142728.688
AT ITER 6345 NEW BEST:: SOT 506246 SOS 269591 HAS SOPS 260797 HAS SOUS 143974 HAS SOUPS 142392 WITH SCORE 142661.591
AT ITER 6371 NEW BEST:: SOT 506239 SOS 269561 HAS SOPS 260767 HAS SOUS 143960 HAS SOUPS 142378 WITH SCORE 142647.561
AT ITER 6378 NEW BEST:: SOT 506239 SOS 269559 HAS SOPS 260765 HAS SOUS 143934 HAS SOUPS 142352 WITH SCORE 142621.559
AT ITER 6387 NEW BEST:: SOT 504496 SOS 267795 HAS SOPS 259001 HAS SOUS 142170 HAS SOUPS 140588 WITH SCORE 140855.795
AT ITER 6388 NEW BEST:: SOT 504499 SOS 267798 HAS SOPS 258997 HAS SOUS 142159 HAS SOUPS 140577 WITH SCORE 140844.798
AT ITER 6397 NEW BEST:: SOT 504512 SOS 267800 HAS SOPS 258973 HAS SOUS 142134 HAS SOUPS 140552 WITH SCORE 140819.8
AT ITER 6440 NEW BEST:: SOT 504491 SOS 267779 HAS SOPS 258952 HAS SOUS 142113 HAS SOUPS 140531 WITH SCORE 140798.779
AT ITER 6443 NEW BEST:: SOT 504427 SOS 267523 HAS SOPS 258760 HAS SOUS 142113 HAS SOUPS 140531 WITH SCORE 140798.523
AT ITER 6448 NEW BEST:: SOT 504424 SOS 267520 HAS SOPS 258757 HAS SOUS 142107 HAS SOUPS 140525 WITH SCORE 140792.52
AT ITER 6451 NEW BEST:: SOT 504439 SOS 267625 HAS SOPS 258830 HAS SOUS 142041 HAS SOUPS 140459 WITH SCORE 140726.625
AT ITER 6457 NEW BEST:: SOT 504432 SOS 267618 HAS SOPS 258823 HAS SOUS 142027 HAS SOUPS 140445 WITH SCORE 140712.618
AT ITER 6459 NEW BEST:: SOT 504553 SOS 267286 HAS SOPS 258491 HAS SOUS 141962 HAS SOUPS 140380 WITH SCORE 140647.286
AT ITER 6471 NEW BEST:: SOT 504482 SOS 267215 HAS SOPS 258420 HAS SOUS 141893 HAS SOUPS 140311 WITH SCORE 140578.215
AT ITER 6473 NEW BEST:: SOT 504468 SOS 267194 HAS SOPS 258399 HAS SOUS 141872 HAS SOUPS 140290 WITH SCORE 140557.194
AT ITER 6475 NEW BEST:: SOT 504453 SOS 267179 HAS SOPS 258384 HAS SOUS 141857 HAS SOUPS 140275 WITH SCORE 140542.179
AT ITER 6483 NEW BEST:: SOT 504454 SOS 267019 HAS SOPS 258224 HAS SOUS 141805 HAS SOUPS 140223 WITH SCORE 140490.019
AT ITER 6485 NEW BEST:: SOT 504449 SOS 267014 HAS SOPS 258219 HAS SOUS 141795 HAS SOUPS 140213 WITH SCORE 140480.014
AT ITER 6496 NEW BEST:: SOT 504294 SOS 266915 HAS SOPS 258120 HAS SOUS 140563 HAS SOUPS 138981 WITH SCORE 139247.915
AT ITER 6502 NEW BEST:: SOT 504284 SOS 266959 HAS SOPS 258080 HAS SOUS 140519 HAS SOUPS 138937 WITH SCORE 139203.959
AT ITER 6504 NEW BEST:: SOT 504248 SOS 266923 HAS SOPS 258006 HAS SOUS 140415 HAS SOUPS 138833 WITH SCORE 139099.923
AT ITER 6517 NEW BEST:: SOT 504245 SOS 266920 HAS SOPS 258003 HAS SOUS 140414 HAS SOUPS 138832 WITH SCORE 139098.92
AT ITER 6528 NEW BEST:: SOT 504080 SOS 267496 HAS SOPS 258082 HAS SOUS 140316 HAS SOUPS 138646 WITH SCORE 138913.496
AT ITER 6546 NEW BEST:: SOT 503876 SOS 267289 HAS SOPS 257875 HAS SOUS 140072 HAS SOUPS 138402 WITH SCORE 138669.289
AT ITER 6561 NEW BEST:: SOT 503863 SOS 267207 HAS SOPS 257793 HAS SOUS 140060 HAS SOUPS 138390 WITH SCORE 138657.207
AT ITER 6587 NEW BEST:: SOT 503801 SOS 265010 HAS SOPS 255596 HAS SOUS 139997 HAS SOUPS 138327 WITH SCORE 138592.01
AT ITER 6593 NEW BEST:: SOT 503801 SOS 264874 HAS SOPS 255460 HAS SOUS 139993 HAS SOUPS 138323 WITH SCORE 138587.874
AT ITER 6594 NEW BEST:: SOT 503652 SOS 264671 HAS SOPS 255257 HAS SOUS 139943 HAS SOUPS 138273 WITH SCORE 138537.671
AT ITER 6609 NEW BEST:: SOT 503461 SOS 264346 HAS SOPS 254932 HAS SOUS 139867 HAS SOUPS 138197 WITH SCORE 138461.346
AT ITER 6662 NEW BEST:: SOT 503453 SOS 264317 HAS SOPS 254936 HAS SOUS 139851 HAS SOUPS 138181 WITH SCORE 138445.317
AT ITER 6668 NEW BEST:: SOT 503430 SOS 264270 HAS SOPS 254853 HAS SOUS 139801 HAS SOUPS 138131 WITH SCORE 138395.27
AT ITER 6700 NEW BEST:: SOT 503409 SOS 263646 HAS SOPS 254229 HAS SOUS 139755 HAS SOUPS 138085 WITH SCORE 138348.646
AT ITER 6701 NEW BEST:: SOT 503402 SOS 263639 HAS SOPS 254208 HAS SOUS 139727 HAS SOUPS 138057 WITH SCORE 138320.639
AT ITER 6707 NEW BEST:: SOT 503294 SOS 263531 HAS SOPS 254100 HAS SOUS 139583 HAS SOUPS 137913 WITH SCORE 138176.531
AT ITER 6725 NEW BEST:: SOT 503294 SOS 263531 HAS SOPS 254100 HAS SOUS 139553 HAS SOUPS 137883 WITH SCORE 138146.531
AT ITER 6770 NEW BEST:: SOT 503233 SOS 263295 HAS SOPS 253897 HAS SOUS 139431 HAS SOUPS 137761 WITH SCORE 138024.295
AT ITER 6780 NEW BEST:: SOT 503220 SOS 263483 HAS SOPS 254085 HAS SOUS 139397 HAS SOUPS 137727 WITH SCORE 137990.483
AT ITER 6795 NEW BEST:: SOT 502984 SOS 262295 HAS SOPS 252987 HAS SOUS 139116 HAS SOUPS 137536 WITH SCORE 137798.295
AT ITER 6805 NEW BEST:: SOT 502792 SOS 262079 HAS SOPS 252771 HAS SOUS 138872 HAS SOUPS 137292 WITH SCORE 137554.079
AT ITER 6816 NEW BEST:: SOT 502634 SOS 261921 HAS SOPS 252613 HAS SOUS 138759 HAS SOUPS 137179 WITH SCORE 137440.921
AT ITER 6824 NEW BEST:: SOT 502628 SOS 261915 HAS SOPS 252607 HAS SOUS 138753 HAS SOUPS 137173 WITH SCORE 137434.915
AT ITER 6839 NEW BEST:: SOT 502594 SOS 261633 HAS SOPS 252325 HAS SOUS 138675 HAS SOUPS 137095 WITH SCORE 137356.633
AT ITER 6844 NEW BEST:: SOT 502681 SOS 261720 HAS SOPS 252412 HAS SOUS 138653 HAS SOUPS 137073 WITH SCORE 137334.72
AT ITER 6909 NEW BEST:: SOT 502665 SOS 261675 HAS SOPS 252367 HAS SOUS 138576 HAS SOUPS 136996 WITH SCORE 137257.675
AT ITER 6911 NEW BEST:: SOT 502650 SOS 261660 HAS SOPS 252406 HAS SOUS 138561 HAS SOUPS 136990 WITH SCORE 137251.66
AT ITER 6915 NEW BEST:: SOT 502649 SOS 261659 HAS SOPS 252405 HAS SOUS 138526 HAS SOUPS 136955 WITH SCORE 137216.659
AT ITER 6949 NEW BEST:: SOT 502638 SOS 261991 HAS SOPS 252737 HAS SOUS 138519 HAS SOUPS 136948 WITH SCORE 137209.991
AT ITER 6961 NEW BEST:: SOT 502599 SOS 262044 HAS SOPS 252790 HAS SOUS 138487 HAS SOUPS 136916 WITH SCORE 137178.044
AT ITER 6965 NEW BEST:: SOT 502553 SOS 261996 HAS SOPS 252742 HAS SOUS 138467 HAS SOUPS 136896 WITH SCORE 137157.996
AT ITER 6974 NEW BEST:: SOT 502802 SOS 261377 HAS SOPS 252247 HAS SOUS 138304 HAS SOUPS 136800 WITH SCORE 137061.377
AT ITER 6975 NEW BEST:: SOT 502811 SOS 261369 HAS SOPS 252228 HAS SOUS 138285 HAS SOUPS 136781 WITH SCORE 137042.369
AT ITER 6978 NEW BEST:: SOT 502811 SOS 261374 HAS SOPS 252233 HAS SOUS 138280 HAS SOUPS 136776 WITH SCORE 137037.374
AT ITER 6979 NEW BEST:: SOT 502691 SOS 261263 HAS SOPS 252122 HAS SOUS 138221 HAS SOUPS 136717 WITH SCORE 136978.263
AT ITER 7015 NEW BEST:: SOT 502683 SOS 261255 HAS SOPS 252114 HAS SOUS 138221 HAS SOUPS 136717 WITH SCORE 136978.255
AT ITER 7030 NEW BEST:: SOT 502627 SOS 261199 HAS SOPS 252058 HAS SOUS 138166 HAS SOUPS 136662 WITH SCORE 136923.199
AT ITER 7037 NEW BEST:: SOT 502627 SOS 261016 HAS SOPS 251875 HAS SOUS 138166 HAS SOUPS 136662 WITH SCORE 136923.016
AT ITER 7060 NEW BEST:: SOT 502627 SOS 261016 HAS SOPS 251875 HAS SOUS 138139 HAS SOUPS 136635 WITH SCORE 136896.016
AT ITER 7070 NEW BEST:: SOT 502627 SOS 261016 HAS SOPS 251875 HAS SOUS 138130 HAS SOUPS 136626 WITH SCORE 136887.016
AT ITER 7091 NEW BEST:: SOT 502576 SOS 260965 HAS SOPS 251824 HAS SOUS 138057 HAS SOUPS 136553 WITH SCORE 136813.965
AT ITER 7154 NEW BEST:: SOT 502556 SOS 260951 HAS SOPS 251810 HAS SOUS 138040 HAS SOUPS 136536 WITH SCORE 136796.951
AT ITER 7157 NEW BEST:: SOT 502536 SOS 260911 HAS SOPS 251770 HAS SOUS 138010 HAS SOUPS 136506 WITH SCORE 136766.911
AT ITER 7233 NEW BEST:: SOT 502505 SOS 260880 HAS SOPS 251739 HAS SOUS 137966 HAS SOUPS 136462 WITH SCORE 136722.88
AT ITER 7236 NEW BEST:: SOT 502505 SOS 260865 HAS SOPS 251724 HAS SOUS 137948 HAS SOUPS 136444 WITH SCORE 136704.865
AT ITER 7259 NEW BEST:: SOT 502479 SOS 260839 HAS SOPS 251698 HAS SOUS 137918 HAS SOUPS 136414 WITH SCORE 136674.839
AT ITER 7268 NEW BEST:: SOT 502481 SOS 260841 HAS SOPS 251700 HAS SOUS 137868 HAS SOUPS 136364 WITH SCORE 136624.841
AT ITER 7286 NEW BEST:: SOT 502436 SOS 260796 HAS SOPS 251655 HAS SOUS 137803 HAS SOUPS 136299 WITH SCORE 136559.796
AT ITER 7297 NEW BEST:: SOT 502477 SOS 260941 HAS SOPS 251800 HAS SOUS 137794 HAS SOUPS 136290 WITH SCORE 136550.941
AT ITER 7330 NEW BEST:: SOT 502458 SOS 260922 HAS SOPS 251781 HAS SOUS 137739 HAS SOUPS 136235 WITH SCORE 136495.922
AT ITER 7360 NEW BEST:: SOT 502341 SOS 260845 HAS SOPS 251704 HAS SOUS 137645 HAS SOUPS 136141 WITH SCORE 136401.845
AT ITER 7369 NEW BEST:: SOT 502315 SOS 260819 HAS SOPS 251678 HAS SOUS 137642 HAS SOUPS 136138 WITH SCORE 136398.819
AT ITER 7383 NEW BEST:: SOT 502297 SOS 260814 HAS SOPS 251673 HAS SOUS 137632 HAS SOUPS 136128 WITH SCORE 136388.814
AT ITER 7386 NEW BEST:: SOT 502297 SOS 260729 HAS SOPS 251588 HAS SOUS 137617 HAS SOUPS 136113 WITH SCORE 136373.729
AT ITER 7390 NEW BEST:: SOT 502298 SOS 260758 HAS SOPS 251617 HAS SOUS 137605 HAS SOUPS 136101 WITH SCORE 136361.758
AT ITER 7392 NEW BEST:: SOT 502298 SOS 260748 HAS SOPS 251607 HAS SOUS 137603 HAS SOUPS 136099 WITH SCORE 136359.748
AT ITER 7399 NEW BEST:: SOT 502287 SOS 260618 HAS SOPS 251477 HAS SOUS 137561 HAS SOUPS 136057 WITH SCORE 136317.618
AT ITER 7419 NEW BEST:: SOT 502262 SOS 260593 HAS SOPS 251452 HAS SOUS 137538 HAS SOUPS 136034 WITH SCORE 136294.593
AT ITER 7422 NEW BEST:: SOT 502308 SOS 260621 HAS SOPS 251480 HAS SOUS 137482 HAS SOUPS 135978 WITH SCORE 136238.621
AT ITER 7428 NEW BEST:: SOT 502329 SOS 260966 HAS SOPS 251825 HAS SOUS 137353 HAS SOUPS 135849 WITH SCORE 136109.966
AT ITER 7442 NEW BEST:: SOT 502321 SOS 260958 HAS SOPS 251817 HAS SOUS 137314 HAS SOUPS 135810 WITH SCORE 136070.958
AT ITER 7488 NEW BEST:: SOT 502307 SOS 260951 HAS SOPS 251810 HAS SOUS 137293 HAS SOUPS 135789 WITH SCORE 136049.951
AT ITER 7490 NEW BEST:: SOT 502299 SOS 260551 HAS SOPS 251410 HAS SOUS 137285 HAS SOUPS 135781 WITH SCORE 136041.551
AT ITER 7495 NEW BEST:: SOT 502303 SOS 260555 HAS SOPS 251429 HAS SOUS 137251 HAS SOUPS 135747 WITH SCORE 136007.555
AT ITER 7563 NEW BEST:: SOT 502207 SOS 260459 HAS SOPS 251315 HAS SOUS 137224 HAS SOUPS 135720 WITH SCORE 135980.459
AT ITER 7580 NEW BEST:: SOT 502207 SOS 260447 HAS SOPS 251303 HAS SOUS 137218 HAS SOUPS 135714 WITH SCORE 135974.447
AT ITER 7588 NEW BEST:: SOT 502195 SOS 260441 HAS SOPS 251297 HAS SOUS 137212 HAS SOUPS 135708 WITH SCORE 135968.441
AT ITER 7589 NEW BEST:: SOT 502199 SOS 260445 HAS SOPS 251281 HAS SOUS 137180 HAS SOUPS 135676 WITH SCORE 135936.445
AT ITER 7610 NEW BEST:: SOT 502307 SOS 260181 HAS SOPS 251017 HAS SOUS 137133 HAS SOUPS 135629 WITH SCORE 135889.181
AT ITER 7634 NEW BEST:: SOT 502208 SOS 260080 HAS SOPS 250916 HAS SOUS 137035 HAS SOUPS 135531 WITH SCORE 135791.08
AT ITER 7636 NEW BEST:: SOT 502204 SOS 260076 HAS SOPS 250907 HAS SOUS 137029 HAS SOUPS 135525 WITH SCORE 135785.076
AT ITER 7656 NEW BEST:: SOT 502201 SOS 260066 HAS SOPS 250851 HAS SOUS 136985 HAS SOUPS 135495 WITH SCORE 135755.066
AT ITER 7662 NEW BEST:: SOT 502201 SOS 260050 HAS SOPS 250835 HAS SOUS 136984 HAS SOUPS 135494 WITH SCORE 135754.05
AT ITER 7667 NEW BEST:: SOT 502158 SOS 260099 HAS SOPS 250865 HAS SOUS 136920 HAS SOUPS 135430 WITH SCORE 135690.099
AT ITER 7692 NEW BEST:: SOT 502154 SOS 260177 HAS SOPS 250905 HAS SOUS 136916 HAS SOUPS 135426 WITH SCORE 135686.177
AT ITER 7715 NEW BEST:: SOT 502141 SOS 260067 HAS SOPS 250795 HAS SOUS 136890 HAS SOUPS 135400 WITH SCORE 135660.067
AT ITER 7730 NEW BEST:: SOT 501726 SOS 259652 HAS SOPS 250380 HAS SOUS 136475 HAS SOUPS 134985 WITH SCORE 135244.652
AT ITER 7740 NEW BEST:: SOT 501791 SOS 259717 HAS SOPS 250384 HAS SOUS 136383 HAS SOUPS 134893 WITH SCORE 135152.717
AT ITER 7754 NEW BEST:: SOT 501887 SOS 259963 HAS SOPS 250531 HAS SOUS 136377 HAS SOUPS 134887 WITH SCORE 135146.963
AT ITER 7761 NEW BEST:: SOT 501725 SOS 259828 HAS SOPS 250396 HAS SOUS 136215 HAS SOUPS 134725 WITH SCORE 134984.828
AT ITER 7767 NEW BEST:: SOT 501725 SOS 259840 HAS SOPS 250408 HAS SOUS 135638 HAS SOUPS 134148 WITH SCORE 134407.84
AT ITER 7777 NEW BEST:: SOT 501734 SOS 259887 HAS SOPS 250446 HAS SOUS 135621 HAS SOUPS 134131 WITH SCORE 134390.887
AT ITER 7811 NEW BEST:: SOT 501734 SOS 259887 HAS SOPS 250446 HAS SOUS 135612 HAS SOUPS 134122 WITH SCORE 134381.887
AT ITER 7836 NEW BEST:: SOT 501614 SOS 259767 HAS SOPS 250446 HAS SOUS 135612 HAS SOUPS 134122 WITH SCORE 134381.767
AT ITER 7921 NEW BEST:: SOT 501612 SOS 259765 HAS SOPS 250444 HAS SOUS 135595 HAS SOUPS 134105 WITH SCORE 134364.765
AT ITER 7998 NEW BEST:: SOT 501547 SOS 259560 HAS SOPS 250407 HAS SOUS 135530 HAS SOUPS 134068 WITH SCORE 134327.56
AT ITER 8000 NEW BEST:: SOT 501511 SOS 259524 HAS SOPS 250371 HAS SOUS 135494 HAS SOUPS 134032 WITH SCORE 134291.524
AT ITER 8010 NEW BEST:: SOT 501496 SOS 259434 HAS SOPS 250281 HAS SOUS 135417 HAS SOUPS 133955 WITH SCORE 134214.434
AT ITER 8035 NEW BEST:: SOT 501480 SOS 259418 HAS SOPS 250265 HAS SOUS 135385 HAS SOUPS 133923 WITH SCORE 134182.418
AT ITER 8047 NEW BEST:: SOT 501453 SOS 259418 HAS SOPS 250265 HAS SOUS 135331 HAS SOUPS 133869 WITH SCORE 134128.418
AT ITER 8077 NEW BEST:: SOT 501435 SOS 259393 HAS SOPS 250240 HAS SOUS 135317 HAS SOUPS 133855 WITH SCORE 134114.393
AT ITER 8102 NEW BEST:: SOT 501363 SOS 259348 HAS SOPS 250195 HAS SOUS 135267 HAS SOUPS 133805 WITH SCORE 134064.348
AT ITER 8109 NEW BEST:: SOT 501193 SOS 258822 HAS SOPS 249669 HAS SOUS 135249 HAS SOUPS 133787 WITH SCORE 134045.822
AT ITER 8138 NEW BEST:: SOT 501155 SOS 258784 HAS SOPS 249631 HAS SOUS 135249 HAS SOUPS 133787 WITH SCORE 134045.784
AT ITER 8141 NEW BEST:: SOT 501127 SOS 258756 HAS SOPS 249603 HAS SOUS 135193 HAS SOUPS 133731 WITH SCORE 133989.756
AT ITER 8144 NEW BEST:: SOT 500947 SOS 258540 HAS SOPS 249387 HAS SOUS 134977 HAS SOUPS 133515 WITH SCORE 133773.54
AT ITER 8149 NEW BEST:: SOT 500896 SOS 258489 HAS SOPS 249336 HAS SOUS 134927 HAS SOUPS 133465 WITH SCORE 133723.489
AT ITER 8167 NEW BEST:: SOT 500881 SOS 258474 HAS SOPS 249321 HAS SOUS 134904 HAS SOUPS 133442 WITH SCORE 133700.474
AT ITER 8202 NEW BEST:: SOT 500879 SOS 258472 HAS SOPS 249319 HAS SOUS 134888 HAS SOUPS 133426 WITH SCORE 133684.472
AT ITER 8240 NEW BEST:: SOT 500873 SOS 258466 HAS SOPS 249313 HAS SOUS 134876 HAS SOUPS 133414 WITH SCORE 133672.466
AT ITER 8260 NEW BEST:: SOT 500779 SOS 253360 HAS SOPS 244207 HAS SOUS 134556 HAS SOUPS 133094 WITH SCORE 133347.36
AT ITER 8270 NEW BEST:: SOT 500703 SOS 253284 HAS SOPS 244147 HAS SOUS 134537 HAS SOUPS 133075 WITH SCORE 133328.284
AT ITER 8277 NEW BEST:: SOT 500697 SOS 253229 HAS SOPS 244092 HAS SOUS 134525 HAS SOUPS 133063 WITH SCORE 133316.229
AT ITER 8311 NEW BEST:: SOT 500622 SOS 253234 HAS SOPS 244097 HAS SOUS 134502 HAS SOUPS 133040 WITH SCORE 133293.234
AT ITER 8331 NEW BEST:: SOT 500603 SOS 253210 HAS SOPS 244073 HAS SOUS 134454 HAS SOUPS 132992 WITH SCORE 133245.21
AT ITER 8339 NEW BEST:: SOT 500604 SOS 253137 HAS SOPS 244000 HAS SOUS 134412 HAS SOUPS 132950 WITH SCORE 133203.137
AT ITER 8366 NEW BEST:: SOT 500562 SOS 253074 HAS SOPS 243958 HAS SOUS 134391 HAS SOUPS 132929 WITH SCORE 133182.074
AT ITER 8390 NEW BEST:: SOT 500548 SOS 253060 HAS SOPS 243954 HAS SOUS 134367 HAS SOUPS 132905 WITH SCORE 133158.06
AT ITER 8398 NEW BEST:: SOT 500543 SOS 253055 HAS SOPS 243944 HAS SOUS 134357 HAS SOUPS 132895 WITH SCORE 133148.055
AT ITER 8452 NEW BEST:: SOT 500563 SOS 253038 HAS SOPS 243927 HAS SOUS 134340 HAS SOUPS 132878 WITH SCORE 133131.038
AT ITER 8456 NEW BEST:: SOT 500555 SOS 253045 HAS SOPS 243934 HAS SOUS 134339 HAS SOUPS 132877 WITH SCORE 133130.045
AT ITER 8465 NEW BEST:: SOT 500525 SOS 253073 HAS SOPS 243964 HAS SOUS 134281 HAS SOUPS 132819 WITH SCORE 133072.073
AT ITER 8470 NEW BEST:: SOT 500480 SOS 253041 HAS SOPS 243932 HAS SOUS 134262 HAS SOUPS 132800 WITH SCORE 133053.041
AT ITER 8472 NEW BEST:: SOT 500475 SOS 253036 HAS SOPS 243927 HAS SOUS 134252 HAS SOUPS 132790 WITH SCORE 133043.036
AT ITER 8484 NEW BEST:: SOT 500469 SOS 253021 HAS SOPS 243912 HAS SOUS 134243 HAS SOUPS 132781 WITH SCORE 133034.021
AT ITER 8507 NEW BEST:: SOT 500465 SOS 253013 HAS SOPS 243904 HAS SOUS 134235 HAS SOUPS 132773 WITH SCORE 133026.013
AT ITER 8533 NEW BEST:: SOT 500455 SOS 253003 HAS SOPS 243894 HAS SOUS 134225 HAS SOUPS 132763 WITH SCORE 133016.003
AT ITER 8535 NEW BEST:: SOT 500466 SOS 253027 HAS SOPS 243908 HAS SOUS 134221 HAS SOUPS 132759 WITH SCORE 133012.027
AT ITER 8541 NEW BEST:: SOT 500182 SOS 252743 HAS SOPS 243624 HAS SOUS 133937 HAS SOUPS 132475 WITH SCORE 132727.743
AT ITER 8544 NEW BEST:: SOT 500191 SOS 252752 HAS SOPS 243633 HAS SOUS 133908 HAS SOUPS 132446 WITH SCORE 132698.752
AT ITER 8546 NEW BEST:: SOT 500191 SOS 252752 HAS SOPS 243633 HAS SOUS 133868 HAS SOUPS 132406 WITH SCORE 132658.752
AT ITER 8592 NEW BEST:: SOT 500160 SOS 252751 HAS SOPS 243632 HAS SOUS 133867 HAS SOUPS 132405 WITH SCORE 132657.751
AT ITER 8719 NEW BEST:: SOT 500167 SOS 252758 HAS SOPS 243639 HAS SOUS 133853 HAS SOUPS 132391 WITH SCORE 132643.758
AT ITER 8737 NEW BEST:: SOT 500080 SOS 252461 HAS SOPS 243349 HAS SOUS 133761 HAS SOUPS 132299 WITH SCORE 132551.461
AT ITER 8761 NEW BEST:: SOT 499846 SOS 252257 HAS SOPS 243145 HAS SOUS 133589 HAS SOUPS 132127 WITH SCORE 132379.257
AT ITER 8775 NEW BEST:: SOT 499828 SOS 252239 HAS SOPS 243127 HAS SOUS 133578 HAS SOUPS 132116 WITH SCORE 132368.239
AT ITER 8779 NEW BEST:: SOT 499751 SOS 252162 HAS SOPS 243050 HAS SOUS 133476 HAS SOUPS 132014 WITH SCORE 132266.162
AT ITER 8798 NEW BEST:: SOT 499750 SOS 252161 HAS SOPS 243049 HAS SOUS 133471 HAS SOUPS 132009 WITH SCORE 132261.161
AT ITER 8862 NEW BEST:: SOT 499752 SOS 251773 HAS SOPS 242661 HAS SOUS 133450 HAS SOUPS 131988 WITH SCORE 132239.773
AT ITER 8904 NEW BEST:: SOT 499652 SOS 251496 HAS SOPS 242384 HAS SOUS 133330 HAS SOUPS 131868 WITH SCORE 132119.496
AT ITER 9016 NEW BEST:: SOT 499528 SOS 251372 HAS SOPS 242234 HAS SOUS 133147 HAS SOUPS 131685 WITH SCORE 131936.372
AT ITER 9034 NEW BEST:: SOT 498008 SOS 250520 HAS SOPS 241382 HAS SOUS 132799 HAS SOUPS 131337 WITH SCORE 131587.52
AT ITER 9081 NEW BEST:: SOT 497994 SOS 250506 HAS SOPS 241368 HAS SOUS 132799 HAS SOUPS 131337 WITH SCORE 131587.506
AT ITER 9092 NEW BEST:: SOT 498004 SOS 250516 HAS SOPS 241378 HAS SOUS 132789 HAS SOUPS 131327 WITH SCORE 131577.516
AT ITER 9113 NEW BEST:: SOT 497848 SOS 250313 HAS SOPS 241218 HAS SOUS 132713 HAS SOUPS 131251 WITH SCORE 131501.313
AT ITER 9116 NEW BEST:: SOT 497827 SOS 250305 HAS SOPS 241210 HAS SOUS 132705 HAS SOUPS 131243 WITH SCORE 131493.305
AT ITER 9159 NEW BEST:: SOT 497800 SOS 250292 HAS SOPS 241197 HAS SOUS 132694 HAS SOUPS 131232 WITH SCORE 131482.292
AT ITER 9184 NEW BEST:: SOT 497805 SOS 250288 HAS SOPS 241193 HAS SOUS 132690 HAS SOUPS 131228 WITH SCORE 131478.288
AT ITER 9194 NEW BEST:: SOT 497805 SOS 250282 HAS SOPS 241205 HAS SOUS 132613 HAS SOUPS 131154 WITH SCORE 131404.282
AT ITER 9196 NEW BEST:: SOT 497700 SOS 250099 HAS SOPS 241022 HAS SOUS 132550 HAS SOUPS 131091 WITH SCORE 131341.099
AT ITER 9212 NEW BEST:: SOT 497695 SOS 250094 HAS SOPS 241021 HAS SOUS 132540 HAS SOUPS 131081 WITH SCORE 131331.094
AT ITER 9295 NEW BEST:: SOT 497624 SOS 250023 HAS SOPS 240950 HAS SOUS 132539 HAS SOUPS 131080 WITH SCORE 131330.023
AT ITER 9312 NEW BEST:: SOT 497618 SOS 250017 HAS SOPS 240944 HAS SOUS 132515 HAS SOUPS 131056 WITH SCORE 131306.017
AT ITER 9350 NEW BEST:: SOT 497616 SOS 250013 HAS SOPS 240940 HAS SOUS 132511 HAS SOUPS 131052 WITH SCORE 131302.013
AT ITER 9360 NEW BEST:: SOT 497609 SOS 250066 HAS SOPS 240993 HAS SOUS 132504 HAS SOUPS 131045 WITH SCORE 131295.066
AT ITER 9377 NEW BEST:: SOT 497609 SOS 250066 HAS SOPS 240993 HAS SOUS 132499 HAS SOUPS 131040 WITH SCORE 131290.066
AT ITER 9398 NEW BEST:: SOT 497590 SOS 250123 HAS SOPS 241050 HAS SOUS 132489 HAS SOUPS 131030 WITH SCORE 131280.123
AT ITER 9415 NEW BEST:: SOT 497590 SOS 249598 HAS SOPS 240525 HAS SOUS 132489 HAS SOUPS 131030 WITH SCORE 131279.598
AT ITER 9479 NEW BEST:: SOT 497589 SOS 249594 HAS SOPS 240521 HAS SOUS 132487 HAS SOUPS 131028 WITH SCORE 131277.594
AT ITER 9495 NEW BEST:: SOT 497615 SOS 249620 HAS SOPS 240523 HAS SOUS 132459 HAS SOUPS 131000 WITH SCORE 131249.62
AT ITER 9507 NEW BEST:: SOT 497504 SOS 249514 HAS SOPS 240417 HAS SOUS 132257 HAS SOUPS 130798 WITH SCORE 131047.514
AT ITER 9530 NEW BEST:: SOT 497513 SOS 249600 HAS SOPS 240503 HAS SOUS 132249 HAS SOUPS 130790 WITH SCORE 131039.6
AT ITER 9551 NEW BEST:: SOT 497512 SOS 249598 HAS SOPS 240501 HAS SOUS 132247 HAS SOUPS 130788 WITH SCORE 131037.598
AT ITER 9554 NEW BEST:: SOT 497499 SOS 249572 HAS SOPS 240475 HAS SOUS 132221 HAS SOUPS 130762 WITH SCORE 131011.572
AT ITER 9576 NEW BEST:: SOT 497637 SOS 249858 HAS SOPS 240761 HAS SOUS 132216 HAS SOUPS 130757 WITH SCORE 131006.858
AT ITER 9618 NEW BEST:: SOT 497631 SOS 249858 HAS SOPS 240761 HAS SOUS 132192 HAS SOUPS 130733 WITH SCORE 130982.858
AT ITER 9628 NEW BEST:: SOT 497629 SOS 249856 HAS SOPS 240759 HAS SOUS 132190 HAS SOUPS 130731 WITH SCORE 130980.856
AT ITER 9629 NEW BEST:: SOT 497625 SOS 249852 HAS SOPS 240755 HAS SOUS 132178 HAS SOUPS 130719 WITH SCORE 130968.852
AT ITER 9641 NEW BEST:: SOT 497600 SOS 249827 HAS SOPS 240730 HAS SOUS 132169 HAS SOUPS 130710 WITH SCORE 130959.827
AT ITER 9686 NEW BEST:: SOT 497566 SOS 249793 HAS SOPS 240696 HAS SOUS 132135 HAS SOUPS 130676 WITH SCORE 130925.793
AT ITER 9702 NEW BEST:: SOT 497465 SOS 249677 HAS SOPS 240580 HAS SOUS 132019 HAS SOUPS 130560 WITH SCORE 130809.677
AT ITER 9725 NEW BEST:: SOT 497438 SOS 249650 HAS SOPS 240553 HAS SOUS 131977 HAS SOUPS 130518 WITH SCORE 130767.65
AT ITER 9726 NEW BEST:: SOT 497438 SOS 249624 HAS SOPS 240527 HAS SOUS 131977 HAS SOUPS 130518 WITH SCORE 130767.624
AT ITER 9734 NEW BEST:: SOT 497451 SOS 249727 HAS SOPS 240602 HAS SOUS 131919 HAS SOUPS 130460 WITH SCORE 130709.727
AT ITER 9737 NEW BEST:: SOT 497439 SOS 249715 HAS SOPS 240590 HAS SOUS 131898 HAS SOUPS 130439 WITH SCORE 130688.715
AT ITER 9767 NEW BEST:: SOT 497371 SOS 249647 HAS SOPS 240522 HAS SOUS 131830 HAS SOUPS 130371 WITH SCORE 130620.647
AT ITER 9807 NEW BEST:: SOT 497348 SOS 249618 HAS SOPS 240493 HAS SOUS 131808 HAS SOUPS 130349 WITH SCORE 130598.618
AT ITER 9872 NEW BEST:: SOT 497346 SOS 249616 HAS SOPS 240492 HAS SOUS 131806 HAS SOUPS 130348 WITH SCORE 130597.616
AT ITER 9877 NEW BEST:: SOT 497395 SOS 249729 HAS SOPS 240605 HAS SOUS 131782 HAS SOUPS 130324 WITH SCORE 130573.729
AT ITER 9914 NEW BEST:: SOT 497366 SOS 249709 HAS SOPS 240585 HAS SOUS 131744 HAS SOUPS 130286 WITH SCORE 130535.709
AT ITER 9916 NEW BEST:: SOT 497358 SOS 249701 HAS SOPS 240577 HAS SOUS 131728 HAS SOUPS 130270 WITH SCORE 130519.701
AT ITER 9922 NEW BEST:: SOT 497315 SOS 249658 HAS SOPS 240491 HAS SOUS 131692 HAS SOUPS 130209 WITH SCORE 130458.658
AT ITER 9959 NEW BEST:: SOT 497136 SOS 249492 HAS SOPS 240325 HAS SOUS 131558 HAS SOUPS 130075 WITH SCORE 130324.492
AT ITER 9973 NEW BEST:: SOT 497052 SOS 249411 HAS SOPS 240244 HAS SOUS 131475 HAS SOUPS 129992 WITH SCORE 130241.411
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13507788 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16134172 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-S06J04T06"
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-S06J04T06, 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-167873942900456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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