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

About the Execution of Smart+red for PolyORBNT-PT-S10J30

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r299-tall-167873953400768.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is PolyORBNT-PT-S10J30, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953400768
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 20K Feb 26 00:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 00:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 973K Feb 26 00:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 3.4M Feb 26 00:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 98K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 306K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 50K Feb 26 01:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 245K Feb 26 01:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 343K Feb 26 01:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.4M Feb 26 01:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 14M 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 1679547927045

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBNT-PT-S10J30
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 05:05:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 05:05:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 05:05:29] [INFO ] Load time of PNML (sax parser for PT used): 603 ms
[2023-03-23 05:05:29] [INFO ] Transformed 664 places.
[2023-03-23 05:05:29] [INFO ] Transformed 12050 transitions.
[2023-03-23 05:05:29] [INFO ] Parsed PT model containing 664 places and 12050 transitions and 112559 arcs in 755 ms.
[2023-03-23 05:05:29] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 664 places, 12050 transitions and 112559 arcs took 135 ms.
Total runtime 918 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S10J30
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 664 places, 12050 transitions, 112559 arcs.
AT ITER 0 NEW BEST:: SOT 4569689 SOS 2089563 HAS SOPS 2089563 HAS SOUS 370217 HAS SOUPS 370217 WITH SCORE 372306.563
AT ITER 10 NEW BEST:: SOT 4569599 SOS 2089490 HAS SOPS 2089490 HAS SOUS 369145 HAS SOUPS 369145 WITH SCORE 371234.49
AT ITER 13 NEW BEST:: SOT 4570328 SOS 2090119 HAS SOPS 2090119 HAS SOUS 368880 HAS SOUPS 368880 WITH SCORE 370970.119
AT ITER 14 NEW BEST:: SOT 4570328 SOS 2090119 HAS SOPS 2090119 HAS SOUS 368837 HAS SOUPS 368837 WITH SCORE 370927.119
AT ITER 17 NEW BEST:: SOT 4570479 SOS 2090189 HAS SOPS 2090189 HAS SOUS 368182 HAS SOUPS 368182 WITH SCORE 370272.189
AT ITER 37 NEW BEST:: SOT 4570323 SOS 2090033 HAS SOPS 2090033 HAS SOUS 368026 HAS SOUPS 368026 WITH SCORE 370116.033
AT ITER 45 NEW BEST:: SOT 4570299 SOS 2090009 HAS SOPS 2090009 HAS SOUS 368002 HAS SOUPS 368002 WITH SCORE 370092.009
AT ITER 48 NEW BEST:: SOT 4570112 SOS 2089822 HAS SOPS 2089822 HAS SOUS 367815 HAS SOUPS 367815 WITH SCORE 369904.822
AT ITER 49 NEW BEST:: SOT 4570080 SOS 2089824 HAS SOPS 2089824 HAS SOUS 367800 HAS SOUPS 367800 WITH SCORE 369889.824
AT ITER 52 NEW BEST:: SOT 4570070 SOS 2089728 HAS SOPS 2089728 HAS SOUS 366968 HAS SOUPS 366968 WITH SCORE 369057.728
AT ITER 57 NEW BEST:: SOT 4570070 SOS 2089728 HAS SOPS 2089728 HAS SOUS 366886 HAS SOUPS 366886 WITH SCORE 368975.728
AT ITER 81 NEW BEST:: SOT 4570033 SOS 2089734 HAS SOPS 2089734 HAS SOUS 366867 HAS SOUPS 366867 WITH SCORE 368956.734
AT ITER 96 NEW BEST:: SOT 4570015 SOS 2089716 HAS SOPS 2089716 HAS SOUS 366849 HAS SOUPS 366849 WITH SCORE 368938.716
AT ITER 98 NEW BEST:: SOT 4570041 SOS 2089606 HAS SOPS 2089606 HAS SOUS 366739 HAS SOUPS 366739 WITH SCORE 368828.606
AT ITER 105 NEW BEST:: SOT 4570517 SOS 2089970 HAS SOPS 2089970 HAS SOUS 366318 HAS SOUPS 366318 WITH SCORE 368407.97
AT ITER 108 NEW BEST:: SOT 4570517 SOS 2089970 HAS SOPS 2089970 HAS SOUS 366219 HAS SOUPS 366219 WITH SCORE 368308.97
AT ITER 111 NEW BEST:: SOT 4570536 SOS 2089991 HAS SOPS 2089991 HAS SOUS 365965 HAS SOUPS 365965 WITH SCORE 368054.991
AT ITER 112 NEW BEST:: SOT 4568493 SOS 2110903 HAS SOPS 2110903 HAS SOUS 365456 HAS SOUPS 365456 WITH SCORE 367566.903
AT ITER 117 NEW BEST:: SOT 4568467 SOS 2110851 HAS SOPS 2110851 HAS SOUS 365222 HAS SOUPS 365222 WITH SCORE 367332.851
AT ITER 118 NEW BEST:: SOT 4568469 SOS 2110794 HAS SOPS 2110794 HAS SOUS 364641 HAS SOUPS 364641 WITH SCORE 366751.794
AT ITER 123 NEW BEST:: SOT 4568502 SOS 2110794 HAS SOPS 2110794 HAS SOUS 364344 HAS SOUPS 364344 WITH SCORE 366454.794
AT ITER 125 NEW BEST:: SOT 4568502 SOS 2110691 HAS SOPS 2110691 HAS SOUS 363447 HAS SOUPS 363447 WITH SCORE 365557.691
AT ITER 137 NEW BEST:: SOT 4568502 SOS 2110682 HAS SOPS 2110682 HAS SOUS 363357 HAS SOUPS 363357 WITH SCORE 365467.682
AT ITER 164 NEW BEST:: SOT 4568412 SOS 2110592 HAS SOPS 2110592 HAS SOUS 363267 HAS SOUPS 363267 WITH SCORE 365377.592
AT ITER 166 NEW BEST:: SOT 3194330 SOS 737082 HAS SOPS 737082 HAS SOUS 256945 HAS SOUPS 256945 WITH SCORE 257682.082
AT ITER 170 NEW BEST:: SOT 3194498 SOS 737161 HAS SOPS 737161 HAS SOUS 256119 HAS SOUPS 256119 WITH SCORE 256856.161
AT ITER 175 NEW BEST:: SOT 3194738 SOS 737401 HAS SOPS 737401 HAS SOUS 255394 HAS SOUPS 255394 WITH SCORE 256131.401
AT ITER 181 NEW BEST:: SOT 3194727 SOS 737368 HAS SOPS 737368 HAS SOUS 255185 HAS SOUPS 255185 WITH SCORE 255922.368
AT ITER 183 NEW BEST:: SOT 3194556 SOS 737197 HAS SOPS 737197 HAS SOUS 255014 HAS SOUPS 255014 WITH SCORE 255751.197
AT ITER 184 NEW BEST:: SOT 3194512 SOS 737087 HAS SOPS 737087 HAS SOUS 254100 HAS SOUPS 254100 WITH SCORE 254837.087
AT ITER 187 NEW BEST:: SOT 3194478 SOS 737053 HAS SOPS 737053 HAS SOUS 254066 HAS SOUPS 254066 WITH SCORE 254803.053
AT ITER 206 NEW BEST:: SOT 3194476 SOS 737049 HAS SOPS 737049 HAS SOUS 254062 HAS SOUPS 254062 WITH SCORE 254799.049
AT ITER 213 NEW BEST:: SOT 3194438 SOS 737011 HAS SOPS 737011 HAS SOUS 254024 HAS SOUPS 254024 WITH SCORE 254761.011
AT ITER 215 NEW BEST:: SOT 3194478 SOS 737024 HAS SOPS 737024 HAS SOUS 253895 HAS SOUPS 253895 WITH SCORE 254632.024
AT ITER 230 NEW BEST:: SOT 3194486 SOS 737134 HAS SOPS 737134 HAS SOUS 253774 HAS SOUPS 253774 WITH SCORE 254511.134
AT ITER 234 NEW BEST:: SOT 3194473 SOS 737121 HAS SOPS 737121 HAS SOUS 253761 HAS SOUPS 253761 WITH SCORE 254498.121
AT ITER 237 NEW BEST:: SOT 3194353 SOS 737001 HAS SOPS 737001 HAS SOUS 253641 HAS SOUPS 253641 WITH SCORE 254378.001
AT ITER 248 NEW BEST:: SOT 3194353 SOS 736858 HAS SOPS 736858 HAS SOUS 252420 HAS SOUPS 252420 WITH SCORE 253156.858
AT ITER 252 NEW BEST:: SOT 3194298 SOS 736803 HAS SOPS 736803 HAS SOUS 252365 HAS SOUPS 252365 WITH SCORE 253101.803
AT ITER 254 NEW BEST:: SOT 3194298 SOS 736741 HAS SOPS 736741 HAS SOUS 252363 HAS SOUPS 252363 WITH SCORE 253099.741
AT ITER 257 NEW BEST:: SOT 3194298 SOS 736741 HAS SOPS 736741 HAS SOUS 252287 HAS SOUPS 252287 WITH SCORE 253023.741
AT ITER 267 NEW BEST:: SOT 3194151 SOS 736594 HAS SOPS 736594 HAS SOUS 252140 HAS SOUPS 252140 WITH SCORE 252876.594
AT ITER 275 NEW BEST:: SOT 3194151 SOS 736594 HAS SOPS 736594 HAS SOUS 252038 HAS SOUPS 252038 WITH SCORE 252774.594
AT ITER 276 NEW BEST:: SOT 3194151 SOS 736594 HAS SOPS 736594 HAS SOUS 251879 HAS SOUPS 251879 WITH SCORE 252615.594
AT ITER 281 NEW BEST:: SOT 3152637 SOS 745326 HAS SOPS 745326 HAS SOUS 211199 HAS SOUPS 211199 WITH SCORE 211944.326
AT ITER 294 NEW BEST:: SOT 3152722 SOS 745411 HAS SOPS 745411 HAS SOUS 210829 HAS SOUPS 210829 WITH SCORE 211574.411
AT ITER 300 NEW BEST:: SOT 3153043 SOS 745729 HAS SOPS 745729 HAS SOUS 210507 HAS SOUPS 210507 WITH SCORE 211252.729
AT ITER 306 NEW BEST:: SOT 3153043 SOS 745729 HAS SOPS 745729 HAS SOUS 210388 HAS SOUPS 210388 WITH SCORE 211133.729
AT ITER 307 NEW BEST:: SOT 3152841 SOS 745527 HAS SOPS 745527 HAS SOUS 210186 HAS SOUPS 210186 WITH SCORE 210931.527
AT ITER 314 NEW BEST:: SOT 3152814 SOS 745474 HAS SOPS 745474 HAS SOUS 209882 HAS SOUPS 209882 WITH SCORE 210627.474
AT ITER 317 NEW BEST:: SOT 3152814 SOS 745474 HAS SOPS 745474 HAS SOUS 209823 HAS SOUPS 209823 WITH SCORE 210568.474
AT ITER 322 NEW BEST:: SOT 3152758 SOS 745426 HAS SOPS 745426 HAS SOUS 209735 HAS SOUPS 209735 WITH SCORE 210480.426
AT ITER 326 NEW BEST:: SOT 3152895 SOS 745555 HAS SOPS 745555 HAS SOUS 209422 HAS SOUPS 209422 WITH SCORE 210167.555
AT ITER 338 NEW BEST:: SOT 3152784 SOS 745414 HAS SOPS 745414 HAS SOUS 208181 HAS SOUPS 208181 WITH SCORE 208926.414
AT ITER 339 NEW BEST:: SOT 3152738 SOS 745368 HAS SOPS 745368 HAS SOUS 208060 HAS SOUPS 208060 WITH SCORE 208805.368
AT ITER 351 NEW BEST:: SOT 3152726 SOS 745356 HAS SOPS 745356 HAS SOUS 207992 HAS SOUPS 207992 WITH SCORE 208737.356
AT ITER 353 NEW BEST:: SOT 3153215 SOS 745845 HAS SOPS 745845 HAS SOUS 207760 HAS SOUPS 207760 WITH SCORE 208505.845
AT ITER 354 NEW BEST:: SOT 3153215 SOS 745845 HAS SOPS 745845 HAS SOUS 207618 HAS SOUPS 207618 WITH SCORE 208363.845
AT ITER 356 NEW BEST:: SOT 3154243 SOS 746873 HAS SOPS 746873 HAS SOUS 207398 HAS SOUPS 207398 WITH SCORE 208144.873
AT ITER 366 NEW BEST:: SOT 3154187 SOS 746861 HAS SOPS 746861 HAS SOUS 207289 HAS SOUPS 207289 WITH SCORE 208035.861
AT ITER 400 NEW BEST:: SOT 3154187 SOS 746861 HAS SOPS 746861 HAS SOUS 207159 HAS SOUPS 207159 WITH SCORE 207905.861
AT ITER 403 NEW BEST:: SOT 3154227 SOS 746901 HAS SOPS 746901 HAS SOUS 207008 HAS SOUPS 207008 WITH SCORE 207754.901
AT ITER 407 NEW BEST:: SOT 3154074 SOS 746748 HAS SOPS 746748 HAS SOUS 206855 HAS SOUPS 206855 WITH SCORE 207601.748
AT ITER 412 NEW BEST:: SOT 3154074 SOS 746748 HAS SOPS 746748 HAS SOUS 206849 HAS SOUPS 206849 WITH SCORE 207595.748
AT ITER 416 NEW BEST:: SOT 3153165 SOS 747714 HAS SOPS 747714 HAS SOUS 206790 HAS SOUPS 206790 WITH SCORE 207537.714
AT ITER 424 NEW BEST:: SOT 3153261 SOS 747775 HAS SOPS 747775 HAS SOUS 205948 HAS SOUPS 205948 WITH SCORE 206695.775
AT ITER 427 NEW BEST:: SOT 3153139 SOS 747653 HAS SOPS 747653 HAS SOUS 204585 HAS SOUPS 204585 WITH SCORE 205332.653
AT ITER 438 NEW BEST:: SOT 3153112 SOS 747383 HAS SOPS 747383 HAS SOUS 204449 HAS SOUPS 204449 WITH SCORE 205196.383
AT ITER 441 NEW BEST:: SOT 3153092 SOS 747379 HAS SOPS 747379 HAS SOUS 204429 HAS SOUPS 204429 WITH SCORE 205176.379
AT ITER 453 NEW BEST:: SOT 3153034 SOS 747321 HAS SOPS 747321 HAS SOUS 204371 HAS SOUPS 204371 WITH SCORE 205118.321
AT ITER 454 NEW BEST:: SOT 3152790 SOS 747077 HAS SOPS 747077 HAS SOUS 203787 HAS SOUPS 203787 WITH SCORE 204534.077
AT ITER 459 NEW BEST:: SOT 3152772 SOS 747059 HAS SOPS 747059 HAS SOUS 203607 HAS SOUPS 203607 WITH SCORE 204354.059
AT ITER 468 NEW BEST:: SOT 3152772 SOS 747059 HAS SOPS 747059 HAS SOUS 203595 HAS SOUPS 203595 WITH SCORE 204342.059
AT ITER 472 NEW BEST:: SOT 3152734 SOS 747021 HAS SOPS 747021 HAS SOUS 203557 HAS SOUPS 203557 WITH SCORE 204304.021
AT ITER 474 NEW BEST:: SOT 3152729 SOS 747117 HAS SOPS 747117 HAS SOUS 203554 HAS SOUPS 203554 WITH SCORE 204301.117
AT ITER 476 NEW BEST:: SOT 3152546 SOS 747067 HAS SOPS 747067 HAS SOUS 203473 HAS SOUPS 203473 WITH SCORE 204220.067
AT ITER 489 NEW BEST:: SOT 3152516 SOS 747037 HAS SOPS 747037 HAS SOUS 203443 HAS SOUPS 203443 WITH SCORE 204190.037
AT ITER 493 NEW BEST:: SOT 3152478 SOS 746999 HAS SOPS 746999 HAS SOUS 203405 HAS SOUPS 203405 WITH SCORE 204151.999
AT ITER 498 NEW BEST:: SOT 3152438 SOS 746959 HAS SOPS 746959 HAS SOUS 203365 HAS SOUPS 203365 WITH SCORE 204111.959
AT ITER 500 NEW BEST:: SOT 3152416 SOS 746937 HAS SOPS 746937 HAS SOUS 203343 HAS SOUPS 203343 WITH SCORE 204089.937
AT ITER 504 NEW BEST:: SOT 3152388 SOS 746836 HAS SOPS 746836 HAS SOUS 202685 HAS SOUPS 202685 WITH SCORE 203431.836
AT ITER 512 NEW BEST:: SOT 3152274 SOS 746722 HAS SOPS 746722 HAS SOUS 202571 HAS SOUPS 202571 WITH SCORE 203317.722
AT ITER 519 NEW BEST:: SOT 3152236 SOS 746758 HAS SOPS 746758 HAS SOUS 202552 HAS SOUPS 202552 WITH SCORE 203298.758
AT ITER 522 NEW BEST:: SOT 3152207 SOS 746729 HAS SOPS 746729 HAS SOUS 202523 HAS SOUPS 202523 WITH SCORE 203269.729
AT ITER 529 NEW BEST:: SOT 3152188 SOS 746710 HAS SOPS 746710 HAS SOUS 202504 HAS SOUPS 202504 WITH SCORE 203250.71
AT ITER 531 NEW BEST:: SOT 3152054 SOS 746566 HAS SOPS 746566 HAS SOUS 201700 HAS SOUPS 201700 WITH SCORE 202446.566
AT ITER 536 NEW BEST:: SOT 3152052 SOS 746688 HAS SOPS 746688 HAS SOUS 201489 HAS SOUPS 201489 WITH SCORE 202235.688
AT ITER 538 NEW BEST:: SOT 3152001 SOS 746637 HAS SOPS 746637 HAS SOUS 201438 HAS SOUPS 201438 WITH SCORE 202184.637
AT ITER 539 NEW BEST:: SOT 3152001 SOS 746637 HAS SOPS 746637 HAS SOUS 201367 HAS SOUPS 201367 WITH SCORE 202113.637
AT ITER 551 NEW BEST:: SOT 3151951 SOS 746587 HAS SOPS 746587 HAS SOUS 201317 HAS SOUPS 201317 WITH SCORE 202063.587
AT ITER 564 NEW BEST:: SOT 3151741 SOS 746377 HAS SOPS 746377 HAS SOUS 201033 HAS SOUPS 201033 WITH SCORE 201779.377
AT ITER 578 NEW BEST:: SOT 3151741 SOS 746377 HAS SOPS 746377 HAS SOUS 201030 HAS SOUPS 201030 WITH SCORE 201776.377
AT ITER 586 NEW BEST:: SOT 3151732 SOS 746423 HAS SOPS 746423 HAS SOUS 201021 HAS SOUPS 201021 WITH SCORE 201767.423
AT ITER 593 NEW BEST:: SOT 3151755 SOS 746446 HAS SOPS 746446 HAS SOUS 201016 HAS SOUPS 201016 WITH SCORE 201762.446
AT ITER 597 NEW BEST:: SOT 3151495 SOS 746186 HAS SOPS 746186 HAS SOUS 200456 HAS SOUPS 200456 WITH SCORE 201202.186
AT ITER 600 NEW BEST:: SOT 3151488 SOS 746179 HAS SOPS 746179 HAS SOUS 200449 HAS SOUPS 200449 WITH SCORE 201195.179
AT ITER 602 NEW BEST:: SOT 3151273 SOS 748912 HAS SOPS 747062 HAS SOUS 200463 HAS SOUPS 200278 WITH SCORE 201026.912
AT ITER 613 NEW BEST:: SOT 3151186 SOS 748825 HAS SOPS 746975 HAS SOUS 200376 HAS SOUPS 200191 WITH SCORE 200939.825
AT ITER 614 NEW BEST:: SOT 3151181 SOS 748908 HAS SOPS 747058 HAS SOUS 200374 HAS SOUPS 200189 WITH SCORE 200937.908
AT ITER 625 NEW BEST:: SOT 3151181 SOS 748908 HAS SOPS 747058 HAS SOUS 200359 HAS SOUPS 200174 WITH SCORE 200922.908
AT ITER 627 NEW BEST:: SOT 3151178 SOS 748905 HAS SOPS 747055 HAS SOUS 200353 HAS SOUPS 200168 WITH SCORE 200916.905
AT ITER 629 NEW BEST:: SOT 3151131 SOS 748823 HAS SOPS 746973 HAS SOUS 200271 HAS SOUPS 200086 WITH SCORE 200834.823
AT ITER 640 NEW BEST:: SOT 3151139 SOS 748907 HAS SOPS 747057 HAS SOUS 200106 HAS SOUPS 199921 WITH SCORE 200669.907
AT ITER 641 NEW BEST:: SOT 3150821 SOS 748589 HAS SOPS 746739 HAS SOUS 199470 HAS SOUPS 199285 WITH SCORE 200033.589
AT ITER 645 NEW BEST:: SOT 3150949 SOS 748716 HAS SOPS 746866 HAS SOUS 199037 HAS SOUPS 198852 WITH SCORE 199600.716
AT ITER 664 NEW BEST:: SOT 3150739 SOS 748506 HAS SOPS 746656 HAS SOUS 198827 HAS SOUPS 198642 WITH SCORE 199390.506
AT ITER 665 NEW BEST:: SOT 3150739 SOS 748506 HAS SOPS 746656 HAS SOUS 198796 HAS SOUPS 198611 WITH SCORE 199359.506
AT ITER 668 NEW BEST:: SOT 3150686 SOS 748453 HAS SOPS 746603 HAS SOUS 198743 HAS SOUPS 198558 WITH SCORE 199306.453
AT ITER 690 NEW BEST:: SOT 3150833 SOS 748600 HAS SOPS 746750 HAS SOUS 197759 HAS SOUPS 197574 WITH SCORE 198322.6
AT ITER 694 NEW BEST:: SOT 3150607 SOS 748361 HAS SOPS 746511 HAS SOUS 196773 HAS SOUPS 196588 WITH SCORE 197336.361
AT ITER 695 NEW BEST:: SOT 3150607 SOS 748151 HAS SOPS 746301 HAS SOUS 196769 HAS SOUPS 196584 WITH SCORE 197332.151
AT ITER 706 NEW BEST:: SOT 3150544 SOS 748088 HAS SOPS 746238 HAS SOUS 196706 HAS SOUPS 196521 WITH SCORE 197269.088
AT ITER 713 NEW BEST:: SOT 3150544 SOS 748087 HAS SOPS 746237 HAS SOUS 196706 HAS SOUPS 196521 WITH SCORE 197269.087
AT ITER 714 NEW BEST:: SOT 3151458 SOS 749001 HAS SOPS 747151 HAS SOUS 196654 HAS SOUPS 196469 WITH SCORE 197218.001
AT ITER 715 NEW BEST:: SOT 3151410 SOS 748942 HAS SOPS 747092 HAS SOUS 195968 HAS SOUPS 195783 WITH SCORE 196531.942
AT ITER 718 NEW BEST:: SOT 3151180 SOS 748712 HAS SOPS 746862 HAS SOUS 195609 HAS SOUPS 195424 WITH SCORE 196172.712
AT ITER 721 NEW BEST:: SOT 3151133 SOS 748665 HAS SOPS 746815 HAS SOUS 195562 HAS SOUPS 195377 WITH SCORE 196125.665
AT ITER 726 NEW BEST:: SOT 3151160 SOS 748692 HAS SOPS 746842 HAS SOUS 194900 HAS SOUPS 194715 WITH SCORE 195463.692
AT ITER 732 NEW BEST:: SOT 3151144 SOS 748676 HAS SOPS 746826 HAS SOUS 194504 HAS SOUPS 194319 WITH SCORE 195067.676
AT ITER 738 NEW BEST:: SOT 3151069 SOS 748601 HAS SOPS 746751 HAS SOUS 193639 HAS SOUPS 193454 WITH SCORE 194202.601
AT ITER 745 NEW BEST:: SOT 3151021 SOS 748553 HAS SOPS 746703 HAS SOUS 193554 HAS SOUPS 193369 WITH SCORE 194117.553
AT ITER 752 NEW BEST:: SOT 3150944 SOS 748399 HAS SOPS 746549 HAS SOUS 193400 HAS SOUPS 193215 WITH SCORE 193963.399
AT ITER 754 NEW BEST:: SOT 3150939 SOS 748394 HAS SOPS 746544 HAS SOUS 193395 HAS SOUPS 193210 WITH SCORE 193958.394
AT ITER 764 NEW BEST:: SOT 3150972 SOS 748427 HAS SOPS 746577 HAS SOUS 193221 HAS SOUPS 193036 WITH SCORE 193784.427
AT ITER 774 NEW BEST:: SOT 3150848 SOS 748303 HAS SOPS 746453 HAS SOUS 192893 HAS SOUPS 192708 WITH SCORE 193456.303
AT ITER 777 NEW BEST:: SOT 3150749 SOS 748204 HAS SOPS 746354 HAS SOUS 192794 HAS SOUPS 192609 WITH SCORE 193357.204
AT ITER 782 NEW BEST:: SOT 3150374 SOS 749588 HAS SOPS 747738 HAS SOUS 192555 HAS SOUPS 192370 WITH SCORE 193119.588
AT ITER 787 NEW BEST:: SOT 3150368 SOS 749582 HAS SOPS 747732 HAS SOUS 192549 HAS SOUPS 192364 WITH SCORE 193113.582
AT ITER 803 NEW BEST:: SOT 3150364 SOS 748624 HAS SOPS 747274 HAS SOUS 192491 HAS SOUPS 192356 WITH SCORE 193104.624
AT ITER 807 NEW BEST:: SOT 3150364 SOS 748624 HAS SOPS 747274 HAS SOUS 192470 HAS SOUPS 192335 WITH SCORE 193083.624
AT ITER 829 NEW BEST:: SOT 3150360 SOS 748620 HAS SOPS 747270 HAS SOUS 192466 HAS SOUPS 192331 WITH SCORE 193079.62
AT ITER 835 NEW BEST:: SOT 3150320 SOS 748566 HAS SOPS 747216 HAS SOUS 192412 HAS SOUPS 192277 WITH SCORE 193025.566
AT ITER 838 NEW BEST:: SOT 3150206 SOS 748452 HAS SOPS 747102 HAS SOUS 192216 HAS SOUPS 192081 WITH SCORE 192829.452
AT ITER 841 NEW BEST:: SOT 3150188 SOS 748434 HAS SOPS 747084 HAS SOUS 192198 HAS SOUPS 192063 WITH SCORE 192811.434
AT ITER 849 NEW BEST:: SOT 3150125 SOS 748371 HAS SOPS 747021 HAS SOUS 192135 HAS SOUPS 192000 WITH SCORE 192748.371
AT ITER 851 NEW BEST:: SOT 3150049 SOS 748295 HAS SOPS 746945 HAS SOUS 192029 HAS SOUPS 191894 WITH SCORE 192642.295
AT ITER 854 NEW BEST:: SOT 3150040 SOS 748303 HAS SOPS 746953 HAS SOUS 191699 HAS SOUPS 191564 WITH SCORE 192312.303
AT ITER 859 NEW BEST:: SOT 3094105 SOS 692620 HAS SOPS 691270 HAS SOUS 187139 HAS SOUPS 187004 WITH SCORE 187696.62
AT ITER 865 NEW BEST:: SOT 3093952 SOS 692467 HAS SOPS 691117 HAS SOUS 186902 HAS SOUPS 186767 WITH SCORE 187459.467
AT ITER 869 NEW BEST:: SOT 3093786 SOS 692301 HAS SOPS 690951 HAS SOUS 186715 HAS SOUPS 186580 WITH SCORE 187272.301
AT ITER 874 NEW BEST:: SOT 3093729 SOS 692244 HAS SOPS 690894 HAS SOUS 186658 HAS SOUPS 186523 WITH SCORE 187215.244
AT ITER 883 NEW BEST:: SOT 3093692 SOS 692207 HAS SOPS 690857 HAS SOUS 186621 HAS SOUPS 186486 WITH SCORE 187178.207
AT ITER 890 NEW BEST:: SOT 3093653 SOS 692004 HAS SOPS 690654 HAS SOUS 186582 HAS SOUPS 186447 WITH SCORE 187139.004
AT ITER 903 NEW BEST:: SOT 3093260 SOS 692190 HAS SOPS 690840 HAS SOUS 186133 HAS SOUPS 185998 WITH SCORE 186690.19
AT ITER 906 NEW BEST:: SOT 3093244 SOS 692174 HAS SOPS 690824 HAS SOUS 186117 HAS SOUPS 185982 WITH SCORE 186674.174
AT ITER 908 NEW BEST:: SOT 3093151 SOS 692081 HAS SOPS 690731 HAS SOUS 186024 HAS SOUPS 185889 WITH SCORE 186581.081
AT ITER 912 NEW BEST:: SOT 3093128 SOS 692035 HAS SOPS 690685 HAS SOUS 185978 HAS SOUPS 185843 WITH SCORE 186535.035
AT ITER 914 NEW BEST:: SOT 3093086 SOS 691993 HAS SOPS 690643 HAS SOUS 185919 HAS SOUPS 185784 WITH SCORE 186475.993
AT ITER 928 NEW BEST:: SOT 3092966 SOS 691873 HAS SOPS 690523 HAS SOUS 184828 HAS SOUPS 184693 WITH SCORE 185384.873
AT ITER 937 NEW BEST:: SOT 3093039 SOS 691946 HAS SOPS 690596 HAS SOUS 184534 HAS SOUPS 184399 WITH SCORE 185090.946
AT ITER 939 NEW BEST:: SOT 3093056 SOS 692196 HAS SOPS 690846 HAS SOUS 184485 HAS SOUPS 184350 WITH SCORE 185042.196
AT ITER 952 NEW BEST:: SOT 3093053 SOS 692178 HAS SOPS 690828 HAS SOUS 184470 HAS SOUPS 184335 WITH SCORE 185027.178
AT ITER 956 NEW BEST:: SOT 3093053 SOS 692216 HAS SOPS 690866 HAS SOUS 184403 HAS SOUPS 184268 WITH SCORE 184960.216
AT ITER 963 NEW BEST:: SOT 3093043 SOS 692206 HAS SOPS 690856 HAS SOUS 184393 HAS SOUPS 184258 WITH SCORE 184950.206
AT ITER 966 NEW BEST:: SOT 3093043 SOS 692206 HAS SOPS 690856 HAS SOUS 184382 HAS SOUPS 184247 WITH SCORE 184939.206
AT ITER 970 NEW BEST:: SOT 3093051 SOS 692361 HAS SOPS 691011 HAS SOUS 184238 HAS SOUPS 184103 WITH SCORE 184795.361
AT ITER 981 NEW BEST:: SOT 3093043 SOS 692353 HAS SOPS 691003 HAS SOUS 184230 HAS SOUPS 184095 WITH SCORE 184787.353
AT ITER 989 NEW BEST:: SOT 3093048 SOS 692705 HAS SOPS 691355 HAS SOUS 184208 HAS SOUPS 184073 WITH SCORE 184765.705
AT ITER 1001 NEW BEST:: SOT 3093065 SOS 692722 HAS SOPS 691372 HAS SOUS 184088 HAS SOUPS 183953 WITH SCORE 184645.722
AT ITER 1009 NEW BEST:: SOT 3092977 SOS 692634 HAS SOPS 691284 HAS SOUS 184000 HAS SOUPS 183865 WITH SCORE 184557.634
AT ITER 1020 NEW BEST:: SOT 3093056 SOS 692713 HAS SOPS 691363 HAS SOUS 183690 HAS SOUPS 183555 WITH SCORE 184247.713
AT ITER 1025 NEW BEST:: SOT 3093434 SOS 693091 HAS SOPS 691741 HAS SOUS 182696 HAS SOUPS 182561 WITH SCORE 183254.091
AT ITER 1050 NEW BEST:: SOT 3093319 SOS 692976 HAS SOPS 691626 HAS SOUS 182426 HAS SOUPS 182291 WITH SCORE 182983.976
AT ITER 1061 NEW BEST:: SOT 3093356 SOS 693013 HAS SOPS 691663 HAS SOUS 182076 HAS SOUPS 181941 WITH SCORE 182634.013
AT ITER 1074 NEW BEST:: SOT 3093308 SOS 693031 HAS SOPS 691681 HAS SOUS 181984 HAS SOUPS 181849 WITH SCORE 182542.031
AT ITER 1088 NEW BEST:: SOT 3093131 SOS 692854 HAS SOPS 691504 HAS SOUS 181789 HAS SOUPS 181654 WITH SCORE 182346.854
AT ITER 1089 NEW BEST:: SOT 3093196 SOS 692854 HAS SOPS 691504 HAS SOUS 181756 HAS SOUPS 181621 WITH SCORE 182313.854
AT ITER 1094 NEW BEST:: SOT 3093691 SOS 693349 HAS SOPS 691999 HAS SOUS 181434 HAS SOUPS 181299 WITH SCORE 181992.349
AT ITER 1095 NEW BEST:: SOT 3093660 SOS 693318 HAS SOPS 691968 HAS SOUS 181403 HAS SOUPS 181268 WITH SCORE 181961.318
AT ITER 1107 NEW BEST:: SOT 3093775 SOS 693419 HAS SOPS 692069 HAS SOUS 181031 HAS SOUPS 180896 WITH SCORE 181589.419
AT ITER 1109 NEW BEST:: SOT 3093702 SOS 693346 HAS SOPS 691996 HAS SOUS 180958 HAS SOUPS 180823 WITH SCORE 181516.346
AT ITER 1116 NEW BEST:: SOT 3093622 SOS 693266 HAS SOPS 691916 HAS SOUS 180906 HAS SOUPS 180771 WITH SCORE 181464.266
AT ITER 1127 NEW BEST:: SOT 3093408 SOS 693052 HAS SOPS 691702 HAS SOUS 180560 HAS SOUPS 180425 WITH SCORE 181118.052
AT ITER 1130 NEW BEST:: SOT 3093375 SOS 693019 HAS SOPS 691669 HAS SOUS 180527 HAS SOUPS 180392 WITH SCORE 181085.019
AT ITER 1164 NEW BEST:: SOT 3093361 SOS 693005 HAS SOPS 691655 HAS SOUS 180511 HAS SOUPS 180376 WITH SCORE 181069.005
AT ITER 1175 NEW BEST:: SOT 3093321 SOS 692965 HAS SOPS 691615 HAS SOUS 180471 HAS SOUPS 180336 WITH SCORE 181028.965
AT ITER 1191 NEW BEST:: SOT 3093321 SOS 692844 HAS SOPS 691494 HAS SOUS 180456 HAS SOUPS 180321 WITH SCORE 181013.844
AT ITER 1198 NEW BEST:: SOT 3093318 SOS 692841 HAS SOPS 691491 HAS SOUS 180426 HAS SOUPS 180291 WITH SCORE 180983.841
AT ITER 1202 NEW BEST:: SOT 3093228 SOS 692751 HAS SOPS 691401 HAS SOUS 180336 HAS SOUPS 180201 WITH SCORE 180893.751
AT ITER 1214 NEW BEST:: SOT 3093194 SOS 692832 HAS SOPS 691482 HAS SOUS 180332 HAS SOUPS 180197 WITH SCORE 180889.832
AT ITER 1232 NEW BEST:: SOT 3093194 SOS 693833 HAS SOPS 692483 HAS SOUS 180293 HAS SOUPS 180158 WITH SCORE 180851.833
AT ITER 1235 NEW BEST:: SOT 3093136 SOS 693717 HAS SOPS 692367 HAS SOUS 180177 HAS SOUPS 180042 WITH SCORE 180735.717
AT ITER 1237 NEW BEST:: SOT 3093110 SOS 693795 HAS SOPS 692445 HAS SOUS 180166 HAS SOUPS 180031 WITH SCORE 180724.795
AT ITER 1239 NEW BEST:: SOT 3093110 SOS 694362 HAS SOPS 693012 HAS SOUS 180155 HAS SOUPS 180020 WITH SCORE 180714.362
AT ITER 1267 NEW BEST:: SOT 3093088 SOS 694206 HAS SOPS 692856 HAS SOUS 180086 HAS SOUPS 179951 WITH SCORE 180645.206
AT ITER 1268 NEW BEST:: SOT 3093098 SOS 694258 HAS SOPS 692908 HAS SOUS 180082 HAS SOUPS 179947 WITH SCORE 180641.258
AT ITER 1269 NEW BEST:: SOT 3093036 SOS 694196 HAS SOPS 692846 HAS SOUS 179988 HAS SOUPS 179853 WITH SCORE 180547.196
AT ITER 1271 NEW BEST:: SOT 3093027 SOS 694187 HAS SOPS 692837 HAS SOUS 179979 HAS SOUPS 179844 WITH SCORE 180538.187
AT ITER 1278 NEW BEST:: SOT 3092877 SOS 694037 HAS SOPS 692687 HAS SOUS 179829 HAS SOUPS 179694 WITH SCORE 180388.037
AT ITER 1286 NEW BEST:: SOT 3092779 SOS 693939 HAS SOPS 692589 HAS SOUS 179112 HAS SOUPS 178977 WITH SCORE 179670.939
AT ITER 1297 NEW BEST:: SOT 3092781 SOS 693943 HAS SOPS 692593 HAS SOUS 179089 HAS SOUPS 178954 WITH SCORE 179647.943
AT ITER 1301 NEW BEST:: SOT 3092631 SOS 693793 HAS SOPS 692443 HAS SOUS 178791 HAS SOUPS 178656 WITH SCORE 179349.793
AT ITER 1304 NEW BEST:: SOT 3092582 SOS 693968 HAS SOPS 692618 HAS SOUS 178742 HAS SOUPS 178607 WITH SCORE 179300.968
AT ITER 1313 NEW BEST:: SOT 3092236 SOS 693622 HAS SOPS 692272 HAS SOUS 178189 HAS SOUPS 178054 WITH SCORE 178747.622
AT ITER 1327 NEW BEST:: SOT 3092691 SOS 694077 HAS SOPS 692727 HAS SOUS 178123 HAS SOUPS 177988 WITH SCORE 178682.077
AT ITER 1330 NEW BEST:: SOT 3092740 SOS 694126 HAS SOPS 692776 HAS SOUS 178100 HAS SOUPS 177965 WITH SCORE 178659.126
AT ITER 1331 NEW BEST:: SOT 3092752 SOS 694138 HAS SOPS 692788 HAS SOUS 177622 HAS SOUPS 177487 WITH SCORE 178181.138
AT ITER 1333 NEW BEST:: SOT 3092729 SOS 694115 HAS SOPS 692765 HAS SOUS 177599 HAS SOUPS 177464 WITH SCORE 178158.115
AT ITER 1339 NEW BEST:: SOT 3092679 SOS 694065 HAS SOPS 692715 HAS SOUS 177549 HAS SOUPS 177414 WITH SCORE 178108.065
AT ITER 1344 NEW BEST:: SOT 3092595 SOS 693981 HAS SOPS 692631 HAS SOUS 177423 HAS SOUPS 177288 WITH SCORE 177981.981
AT ITER 1404 NEW BEST:: SOT 3092514 SOS 693914 HAS SOPS 692564 HAS SOUS 177269 HAS SOUPS 177134 WITH SCORE 177827.914
AT ITER 1412 NEW BEST:: SOT 3092480 SOS 693880 HAS SOPS 692530 HAS SOUS 177194 HAS SOUPS 177059 WITH SCORE 177752.88
AT ITER 1429 NEW BEST:: SOT 3092411 SOS 693811 HAS SOPS 692461 HAS SOUS 177125 HAS SOUPS 176990 WITH SCORE 177683.811
AT ITER 1430 NEW BEST:: SOT 3092213 SOS 693768 HAS SOPS 692418 HAS SOUS 177066 HAS SOUPS 176931 WITH SCORE 177624.768
AT ITER 1433 NEW BEST:: SOT 3092000 SOS 693555 HAS SOPS 692205 HAS SOUS 176569 HAS SOUPS 176434 WITH SCORE 177127.555
AT ITER 1437 NEW BEST:: SOT 3092000 SOS 693546 HAS SOPS 692196 HAS SOUS 176560 HAS SOUPS 176425 WITH SCORE 177118.546
AT ITER 1443 NEW BEST:: SOT 3091958 SOS 693504 HAS SOPS 692154 HAS SOUS 176512 HAS SOUPS 176377 WITH SCORE 177070.504
AT ITER 1446 NEW BEST:: SOT 3091905 SOS 693451 HAS SOPS 692101 HAS SOUS 176035 HAS SOUPS 175900 WITH SCORE 176593.451
AT ITER 1469 NEW BEST:: SOT 3091952 SOS 693227 HAS SOPS 691877 HAS SOUS 175996 HAS SOUPS 175861 WITH SCORE 176554.227
AT ITER 1487 NEW BEST:: SOT 3091960 SOS 693235 HAS SOPS 691885 HAS SOUS 175780 HAS SOUPS 175645 WITH SCORE 176338.235
AT ITER 1490 NEW BEST:: SOT 3092650 SOS 693925 HAS SOPS 692575 HAS SOUS 175579 HAS SOUPS 175444 WITH SCORE 176137.925
AT ITER 1494 NEW BEST:: SOT 3092628 SOS 693975 HAS SOPS 692625 HAS SOUS 175536 HAS SOUPS 175401 WITH SCORE 176094.975
AT ITER 1499 NEW BEST:: SOT 3092628 SOS 696877 HAS SOPS 695527 HAS SOUS 175516 HAS SOUPS 175381 WITH SCORE 176077.877
AT ITER 1502 NEW BEST:: SOT 3092524 SOS 696773 HAS SOPS 695423 HAS SOUS 175412 HAS SOUPS 175277 WITH SCORE 175973.773
AT ITER 1508 NEW BEST:: SOT 3092482 SOS 696757 HAS SOPS 695407 HAS SOUS 175406 HAS SOUPS 175271 WITH SCORE 175967.757
AT ITER 1513 NEW BEST:: SOT 3092450 SOS 696719 HAS SOPS 695369 HAS SOUS 175368 HAS SOUPS 175233 WITH SCORE 175929.719
AT ITER 1523 NEW BEST:: SOT 3092425 SOS 696694 HAS SOPS 695344 HAS SOUS 174631 HAS SOUPS 174496 WITH SCORE 175192.694
AT ITER 1540 NEW BEST:: SOT 3092236 SOS 696505 HAS SOPS 695155 HAS SOUS 174442 HAS SOUPS 174307 WITH SCORE 175003.505
AT ITER 1551 NEW BEST:: SOT 3092225 SOS 696494 HAS SOPS 695144 HAS SOUS 174431 HAS SOUPS 174296 WITH SCORE 174992.494
AT ITER 1558 NEW BEST:: SOT 3092123 SOS 696392 HAS SOPS 695042 HAS SOUS 174329 HAS SOUPS 174194 WITH SCORE 174890.392
AT ITER 1559 NEW BEST:: SOT 3092113 SOS 696382 HAS SOPS 695032 HAS SOUS 174304 HAS SOUPS 174169 WITH SCORE 174865.382
AT ITER 1564 NEW BEST:: SOT 3092121 SOS 696390 HAS SOPS 695040 HAS SOUS 174303 HAS SOUPS 174168 WITH SCORE 174864.39
AT ITER 1568 NEW BEST:: SOT 3092122 SOS 696948 HAS SOPS 695598 HAS SOUS 174278 HAS SOUPS 174143 WITH SCORE 174839.948
AT ITER 1569 NEW BEST:: SOT 3092119 SOS 696945 HAS SOPS 695595 HAS SOUS 174269 HAS SOUPS 174134 WITH SCORE 174830.945
AT ITER 1586 NEW BEST:: SOT 3092006 SOS 696828 HAS SOPS 695478 HAS SOUS 174104 HAS SOUPS 173969 WITH SCORE 174665.828
AT ITER 1590 NEW BEST:: SOT 3091827 SOS 696649 HAS SOPS 695299 HAS SOUS 173863 HAS SOUPS 173728 WITH SCORE 174424.649
AT ITER 1594 NEW BEST:: SOT 3091846 SOS 696668 HAS SOPS 695318 HAS SOUS 173768 HAS SOUPS 173633 WITH SCORE 174329.668
AT ITER 1595 NEW BEST:: SOT 3091990 SOS 696812 HAS SOPS 695462 HAS SOUS 172637 HAS SOUPS 172502 WITH SCORE 173198.812
AT ITER 1598 NEW BEST:: SOT 3092280 SOS 697102 HAS SOPS 695752 HAS SOUS 172530 HAS SOUPS 172395 WITH SCORE 173092.102
AT ITER 1601 NEW BEST:: SOT 3092268 SOS 697090 HAS SOPS 695740 HAS SOUS 172518 HAS SOUPS 172383 WITH SCORE 173080.09
AT ITER 1603 NEW BEST:: SOT 3092234 SOS 697056 HAS SOPS 695706 HAS SOUS 172472 HAS SOUPS 172337 WITH SCORE 173034.056
AT ITER 1639 NEW BEST:: SOT 3092180 SOS 697002 HAS SOPS 695652 HAS SOUS 172359 HAS SOUPS 172224 WITH SCORE 172921.002
AT ITER 1653 NEW BEST:: SOT 3092099 SOS 696921 HAS SOPS 695571 HAS SOUS 172152 HAS SOUPS 172017 WITH SCORE 172713.921
AT ITER 1669 NEW BEST:: SOT 3092033 SOS 696855 HAS SOPS 695505 HAS SOUS 172064 HAS SOUPS 171929 WITH SCORE 172625.855
AT ITER 1674 NEW BEST:: SOT 3091877 SOS 696699 HAS SOPS 695349 HAS SOUS 171516 HAS SOUPS 171381 WITH SCORE 172077.699
AT ITER 1675 NEW BEST:: SOT 3091869 SOS 696691 HAS SOPS 695341 HAS SOUS 171500 HAS SOUPS 171365 WITH SCORE 172061.691
AT ITER 1678 NEW BEST:: SOT 3092319 SOS 697122 HAS SOPS 695772 HAS SOUS 171469 HAS SOUPS 171334 WITH SCORE 172031.122
AT ITER 1679 NEW BEST:: SOT 3092275 SOS 697078 HAS SOPS 695728 HAS SOUS 171425 HAS SOUPS 171290 WITH SCORE 171987.078
AT ITER 1681 NEW BEST:: SOT 3092179 SOS 696886 HAS SOPS 695536 HAS SOUS 171233 HAS SOUPS 171098 WITH SCORE 171794.886
AT ITER 1684 NEW BEST:: SOT 3092151 SOS 696858 HAS SOPS 695508 HAS SOUS 171188 HAS SOUPS 171053 WITH SCORE 171749.858
AT ITER 1689 NEW BEST:: SOT 3092085 SOS 696493 HAS SOPS 695143 HAS SOUS 171007 HAS SOUPS 170872 WITH SCORE 171568.493
AT ITER 1695 NEW BEST:: SOT 3092077 SOS 696485 HAS SOPS 695135 HAS SOUS 170999 HAS SOUPS 170864 WITH SCORE 171560.485
AT ITER 1711 NEW BEST:: SOT 3092073 SOS 696485 HAS SOPS 695135 HAS SOUS 170991 HAS SOUPS 170856 WITH SCORE 171552.485
AT ITER 1718 NEW BEST:: SOT 3092179 SOS 696597 HAS SOPS 695247 HAS SOUS 170945 HAS SOUPS 170810 WITH SCORE 171506.597
AT ITER 1732 NEW BEST:: SOT 3092195 SOS 696701 HAS SOPS 695351 HAS SOUS 170871 HAS SOUPS 170736 WITH SCORE 171432.701
AT ITER 1734 NEW BEST:: SOT 3092122 SOS 696628 HAS SOPS 695278 HAS SOUS 170721 HAS SOUPS 170586 WITH SCORE 171282.628
AT ITER 1745 NEW BEST:: SOT 3092108 SOS 696614 HAS SOPS 695264 HAS SOUS 170538 HAS SOUPS 170403 WITH SCORE 171099.614
AT ITER 1747 NEW BEST:: SOT 3092108 SOS 696544 HAS SOPS 695194 HAS SOUS 170529 HAS SOUPS 170394 WITH SCORE 171090.544
AT ITER 1772 NEW BEST:: SOT 3092057 SOS 696493 HAS SOPS 695143 HAS SOUS 170490 HAS SOUPS 170355 WITH SCORE 171051.493
AT ITER 1775 NEW BEST:: SOT 3092066 SOS 696502 HAS SOPS 695152 HAS SOUS 170481 HAS SOUPS 170346 WITH SCORE 171042.502
AT ITER 1780 NEW BEST:: SOT 3092005 SOS 696448 HAS SOPS 695098 HAS SOUS 170386 HAS SOUPS 170251 WITH SCORE 170947.448
AT ITER 1782 NEW BEST:: SOT 3091733 SOS 696176 HAS SOPS 694826 HAS SOUS 169929 HAS SOUPS 169794 WITH SCORE 170490.176
AT ITER 1802 NEW BEST:: SOT 3091613 SOS 696056 HAS SOPS 694706 HAS SOUS 169809 HAS SOUPS 169674 WITH SCORE 170370.056
AT ITER 1808 NEW BEST:: SOT 3091613 SOS 696056 HAS SOPS 694706 HAS SOUS 169783 HAS SOUPS 169648 WITH SCORE 170344.056
AT ITER 1811 NEW BEST:: SOT 3091607 SOS 696056 HAS SOPS 694706 HAS SOUS 169723 HAS SOUPS 169588 WITH SCORE 170284.056
AT ITER 1814 NEW BEST:: SOT 3091729 SOS 696288 HAS SOPS 694938 HAS SOUS 169422 HAS SOUPS 169287 WITH SCORE 169983.288
AT ITER 1820 NEW BEST:: SOT 3091681 SOS 696240 HAS SOPS 694890 HAS SOUS 168712 HAS SOUPS 168577 WITH SCORE 169273.24
AT ITER 1822 NEW BEST:: SOT 3091661 SOS 696220 HAS SOPS 694870 HAS SOUS 168572 HAS SOUPS 168437 WITH SCORE 169133.22
AT ITER 1850 NEW BEST:: SOT 3091661 SOS 696169 HAS SOPS 694819 HAS SOUS 168540 HAS SOUPS 168405 WITH SCORE 169101.169
AT ITER 1861 NEW BEST:: SOT 3091622 SOS 696130 HAS SOPS 694780 HAS SOUS 168501 HAS SOUPS 168366 WITH SCORE 169062.13
AT ITER 1862 NEW BEST:: SOT 3091378 SOS 695886 HAS SOPS 694536 HAS SOUS 168257 HAS SOUPS 168122 WITH SCORE 168817.886
AT ITER 1864 NEW BEST:: SOT 3091436 SOS 695944 HAS SOPS 694594 HAS SOUS 168063 HAS SOUPS 167928 WITH SCORE 168623.944
AT ITER 1877 NEW BEST:: SOT 3091302 SOS 695810 HAS SOPS 694460 HAS SOUS 167880 HAS SOUPS 167745 WITH SCORE 168440.81
AT ITER 1891 NEW BEST:: SOT 3091440 SOS 695948 HAS SOPS 694598 HAS SOUS 167275 HAS SOUPS 167140 WITH SCORE 167835.948
AT ITER 1892 NEW BEST:: SOT 3091438 SOS 695946 HAS SOPS 694596 HAS SOUS 167271 HAS SOUPS 167136 WITH SCORE 167831.946
AT ITER 1895 NEW BEST:: SOT 3091415 SOS 695923 HAS SOPS 694573 HAS SOUS 167118 HAS SOUPS 166983 WITH SCORE 167678.923
AT ITER 1903 NEW BEST:: SOT 3091408 SOS 695916 HAS SOPS 694566 HAS SOUS 167111 HAS SOUPS 166976 WITH SCORE 167671.916
AT ITER 1915 NEW BEST:: SOT 3091338 SOS 695846 HAS SOPS 694496 HAS SOUS 166946 HAS SOUPS 166811 WITH SCORE 167506.846
AT ITER 1945 NEW BEST:: SOT 3091320 SOS 695828 HAS SOPS 694478 HAS SOUS 166928 HAS SOUPS 166793 WITH SCORE 167488.828
AT ITER 1948 NEW BEST:: SOT 3091486 SOS 695994 HAS SOPS 694644 HAS SOUS 166463 HAS SOUPS 166328 WITH SCORE 167023.994
AT ITER 1952 NEW BEST:: SOT 3091430 SOS 695938 HAS SOPS 694588 HAS SOUS 166399 HAS SOUPS 166264 WITH SCORE 166959.938
AT ITER 1962 NEW BEST:: SOT 3091340 SOS 695848 HAS SOPS 694498 HAS SOUS 166309 HAS SOUPS 166174 WITH SCORE 166869.848
AT ITER 1981 NEW BEST:: SOT 3091340 SOS 695830 HAS SOPS 694480 HAS SOUS 166309 HAS SOUPS 166174 WITH SCORE 166869.83
AT ITER 2008 NEW BEST:: SOT 3091171 SOS 695661 HAS SOPS 694311 HAS SOUS 165972 HAS SOUPS 165837 WITH SCORE 166532.661
AT ITER 2009 NEW BEST:: SOT 3091141 SOS 695631 HAS SOPS 694281 HAS SOUS 165932 HAS SOUPS 165797 WITH SCORE 166492.631
AT ITER 2025 NEW BEST:: SOT 3091061 SOS 695551 HAS SOPS 694201 HAS SOUS 165852 HAS SOUPS 165717 WITH SCORE 166412.551
AT ITER 2026 NEW BEST:: SOT 3091050 SOS 695540 HAS SOPS 694190 HAS SOUS 165841 HAS SOUPS 165706 WITH SCORE 166401.54
AT ITER 2028 NEW BEST:: SOT 3090828 SOS 695318 HAS SOPS 693968 HAS SOUS 165257 HAS SOUPS 165122 WITH SCORE 165817.318
AT ITER 2046 NEW BEST:: SOT 3090828 SOS 695284 HAS SOPS 693934 HAS SOUS 165190 HAS SOUPS 165055 WITH SCORE 165750.284
AT ITER 2062 NEW BEST:: SOT 3091129 SOS 695585 HAS SOPS 694235 HAS SOUS 164463 HAS SOUPS 164328 WITH SCORE 165023.585
AT ITER 2069 NEW BEST:: SOT 3090776 SOS 695232 HAS SOPS 693882 HAS SOUS 164162 HAS SOUPS 164027 WITH SCORE 164722.232
AT ITER 2074 NEW BEST:: SOT 3090532 SOS 694988 HAS SOPS 693638 HAS SOUS 161627 HAS SOUPS 161492 WITH SCORE 162186.988
AT ITER 2082 NEW BEST:: SOT 3090515 SOS 695371 HAS SOPS 693651 HAS SOUS 161633 HAS SOUPS 161461 WITH SCORE 162156.371
AT ITER 2108 NEW BEST:: SOT 3090486 SOS 695342 HAS SOPS 693622 HAS SOUS 161614 HAS SOUPS 161442 WITH SCORE 162137.342
AT ITER 2109 NEW BEST:: SOT 3090403 SOS 695259 HAS SOPS 693539 HAS SOUS 161531 HAS SOUPS 161359 WITH SCORE 162054.259
AT ITER 2120 NEW BEST:: SOT 3090402 SOS 695257 HAS SOPS 693537 HAS SOUS 161529 HAS SOUPS 161357 WITH SCORE 162052.257
AT ITER 2124 NEW BEST:: SOT 3090390 SOS 695245 HAS SOPS 693525 HAS SOUS 161517 HAS SOUPS 161345 WITH SCORE 162040.245
AT ITER 2174 NEW BEST:: SOT 3090520 SOS 695375 HAS SOPS 693655 HAS SOUS 161493 HAS SOUPS 161321 WITH SCORE 162016.375
AT ITER 2189 NEW BEST:: SOT 3090817 SOS 695672 HAS SOPS 693952 HAS SOUS 160725 HAS SOUPS 160553 WITH SCORE 161248.672
AT ITER 2224 NEW BEST:: SOT 3090797 SOS 695652 HAS SOPS 693932 HAS SOUS 160685 HAS SOUPS 160513 WITH SCORE 161208.652
AT ITER 2226 NEW BEST:: SOT 3090753 SOS 695608 HAS SOPS 693888 HAS SOUS 160542 HAS SOUPS 160370 WITH SCORE 161065.608
AT ITER 2238 NEW BEST:: SOT 3090655 SOS 695558 HAS SOPS 693838 HAS SOUS 160409 HAS SOUPS 160237 WITH SCORE 160932.558
AT ITER 2241 NEW BEST:: SOT 3090637 SOS 695540 HAS SOPS 693820 HAS SOUS 160391 HAS SOUPS 160219 WITH SCORE 160914.54
AT ITER 2242 NEW BEST:: SOT 3090525 SOS 695428 HAS SOPS 693708 HAS SOUS 160279 HAS SOUPS 160107 WITH SCORE 160802.428
AT ITER 2261 NEW BEST:: SOT 3090209 SOS 695112 HAS SOPS 693392 HAS SOUS 159963 HAS SOUPS 159791 WITH SCORE 160486.112
AT ITER 2265 NEW BEST:: SOT 3090209 SOS 694936 HAS SOPS 693216 HAS SOUS 159931 HAS SOUPS 159759 WITH SCORE 160453.936
AT ITER 2270 NEW BEST:: SOT 3090207 SOS 694932 HAS SOPS 693212 HAS SOUS 159927 HAS SOUPS 159755 WITH SCORE 160449.932
AT ITER 2276 NEW BEST:: SOT 3089891 SOS 694616 HAS SOPS 692896 HAS SOUS 159443 HAS SOUPS 159271 WITH SCORE 159965.616
AT ITER 2280 NEW BEST:: SOT 3089723 SOS 694448 HAS SOPS 692728 HAS SOUS 159275 HAS SOUPS 159103 WITH SCORE 159797.448
AT ITER 2288 NEW BEST:: SOT 3089723 SOS 694421 HAS SOPS 692701 HAS SOUS 159248 HAS SOUPS 159076 WITH SCORE 159770.421
AT ITER 2292 NEW BEST:: SOT 3089650 SOS 694348 HAS SOPS 692628 HAS SOUS 159175 HAS SOUPS 159003 WITH SCORE 159697.348
AT ITER 2295 NEW BEST:: SOT 3089651 SOS 694349 HAS SOPS 692629 HAS SOUS 159166 HAS SOUPS 158994 WITH SCORE 159688.349
AT ITER 2297 NEW BEST:: SOT 3089655 SOS 694152 HAS SOPS 692432 HAS SOUS 159125 HAS SOUPS 158953 WITH SCORE 159647.152
AT ITER 2298 NEW BEST:: SOT 3089606 SOS 694103 HAS SOPS 692383 HAS SOUS 159046 HAS SOUPS 158874 WITH SCORE 159568.103
AT ITER 2308 NEW BEST:: SOT 3089490 SOS 693987 HAS SOPS 692267 HAS SOUS 158859 HAS SOUPS 158687 WITH SCORE 159380.987
AT ITER 2328 NEW BEST:: SOT 3089490 SOS 693987 HAS SOPS 692267 HAS SOUS 158855 HAS SOUPS 158683 WITH SCORE 159376.987
AT ITER 2356 NEW BEST:: SOT 3089435 SOS 693932 HAS SOPS 692212 HAS SOUS 158777 HAS SOUPS 158605 WITH SCORE 159298.932
AT ITER 2373 NEW BEST:: SOT 3089435 SOS 693923 HAS SOPS 692203 HAS SOUS 158768 HAS SOUPS 158596 WITH SCORE 159289.923
AT ITER 2379 NEW BEST:: SOT 3089435 SOS 693923 HAS SOPS 692203 HAS SOUS 158734 HAS SOUPS 158562 WITH SCORE 159255.923
AT ITER 2385 NEW BEST:: SOT 3089435 SOS 693901 HAS SOPS 692181 HAS SOUS 158690 HAS SOUPS 158518 WITH SCORE 159211.901
AT ITER 2386 NEW BEST:: SOT 3089413 SOS 693879 HAS SOPS 692159 HAS SOUS 158665 HAS SOUPS 158493 WITH SCORE 159186.879
AT ITER 2411 NEW BEST:: SOT 3089376 SOS 693842 HAS SOPS 692122 HAS SOUS 158628 HAS SOUPS 158456 WITH SCORE 159149.842
AT ITER 2423 NEW BEST:: SOT 3089336 SOS 693802 HAS SOPS 692082 HAS SOUS 158573 HAS SOUPS 158401 WITH SCORE 159094.802
AT ITER 2448 NEW BEST:: SOT 3089329 SOS 693795 HAS SOPS 692075 HAS SOUS 158566 HAS SOUPS 158394 WITH SCORE 159087.795
AT ITER 2450 NEW BEST:: SOT 3089347 SOS 693798 HAS SOPS 692078 HAS SOUS 158302 HAS SOUPS 158130 WITH SCORE 158823.798
AT ITER 2460 NEW BEST:: SOT 3089275 SOS 693726 HAS SOPS 692006 HAS SOUS 158184 HAS SOUPS 158012 WITH SCORE 158705.726
AT ITER 2469 NEW BEST:: SOT 3089271 SOS 693722 HAS SOPS 692002 HAS SOUS 158180 HAS SOUPS 158008 WITH SCORE 158701.722
AT ITER 2484 NEW BEST:: SOT 3089216 SOS 693667 HAS SOPS 691947 HAS SOUS 158125 HAS SOUPS 157953 WITH SCORE 158646.667
AT ITER 2491 NEW BEST:: SOT 3089102 SOS 693514 HAS SOPS 691794 HAS SOUS 158022 HAS SOUPS 157850 WITH SCORE 158543.514
AT ITER 2498 NEW BEST:: SOT 3089098 SOS 693510 HAS SOPS 691790 HAS SOUS 158014 HAS SOUPS 157842 WITH SCORE 158535.51
AT ITER 2500 NEW BEST:: SOT 3089098 SOS 693414 HAS SOPS 691694 HAS SOUS 157956 HAS SOUPS 157784 WITH SCORE 158477.414
AT ITER 2519 NEW BEST:: SOT 3089098 SOS 693408 HAS SOPS 691688 HAS SOUS 157956 HAS SOUPS 157784 WITH SCORE 158477.408
AT ITER 2525 NEW BEST:: SOT 3088955 SOS 693265 HAS SOPS 691545 HAS SOUS 157760 HAS SOUPS 157588 WITH SCORE 158281.265
AT ITER 2538 NEW BEST:: SOT 3088881 SOS 693191 HAS SOPS 691471 HAS SOUS 157528 HAS SOUPS 157356 WITH SCORE 158049.191
AT ITER 2539 NEW BEST:: SOT 3088877 SOS 693187 HAS SOPS 691467 HAS SOUS 157407 HAS SOUPS 157235 WITH SCORE 157928.187
AT ITER 2541 NEW BEST:: SOT 3088877 SOS 693064 HAS SOPS 691344 HAS SOUS 157284 HAS SOUPS 157112 WITH SCORE 157805.064
AT ITER 2549 NEW BEST:: SOT 3088826 SOS 692788 HAS SOPS 691068 HAS SOUS 157232 HAS SOUPS 157060 WITH SCORE 157752.788
AT ITER 2560 NEW BEST:: SOT 3088826 SOS 692788 HAS SOPS 691068 HAS SOUS 157220 HAS SOUPS 157048 WITH SCORE 157740.788
AT ITER 2566 NEW BEST:: SOT 3088781 SOS 692743 HAS SOPS 691023 HAS SOUS 157175 HAS SOUPS 157003 WITH SCORE 157695.743
AT ITER 2585 NEW BEST:: SOT 3088760 SOS 692705 HAS SOPS 690985 HAS SOUS 156929 HAS SOUPS 156757 WITH SCORE 157449.705
AT ITER 2586 NEW BEST:: SOT 3088691 SOS 692636 HAS SOPS 690916 HAS SOUS 156722 HAS SOUPS 156550 WITH SCORE 157242.636
AT ITER 2591 NEW BEST:: SOT 3088527 SOS 692472 HAS SOPS 690752 HAS SOUS 156492 HAS SOUPS 156320 WITH SCORE 157012.472
AT ITER 2592 NEW BEST:: SOT 3088385 SOS 692330 HAS SOPS 690610 HAS SOUS 156292 HAS SOUPS 156120 WITH SCORE 156812.33
AT ITER 2604 NEW BEST:: SOT 3088124 SOS 692069 HAS SOPS 690349 HAS SOUS 155733 HAS SOUPS 155561 WITH SCORE 156253.069
AT ITER 2608 NEW BEST:: SOT 3088110 SOS 692055 HAS SOPS 690335 HAS SOUS 155718 HAS SOUPS 155546 WITH SCORE 156238.055
AT ITER 2611 NEW BEST:: SOT 3088032 SOS 691977 HAS SOPS 690257 HAS SOUS 155515 HAS SOUPS 155343 WITH SCORE 156034.977
AT ITER 2623 NEW BEST:: SOT 3088029 SOS 691974 HAS SOPS 690254 HAS SOUS 155482 HAS SOUPS 155310 WITH SCORE 156001.974
AT ITER 2629 NEW BEST:: SOT 3088362 SOS 690966 HAS SOPS 689246 HAS SOUS 155336 HAS SOUPS 155164 WITH SCORE 155854.966
AT ITER 2636 NEW BEST:: SOT 3088345 SOS 690949 HAS SOPS 689229 HAS SOUS 155319 HAS SOUPS 155147 WITH SCORE 155837.949
AT ITER 2641 NEW BEST:: SOT 3088319 SOS 690923 HAS SOPS 689203 HAS SOUS 155241 HAS SOUPS 155069 WITH SCORE 155759.923
AT ITER 2642 NEW BEST:: SOT 3088377 SOS 690981 HAS SOPS 689261 HAS SOUS 155011 HAS SOUPS 154839 WITH SCORE 155529.981
AT ITER 2643 NEW BEST:: SOT 3088269 SOS 690873 HAS SOPS 689153 HAS SOUS 154935 HAS SOUPS 154763 WITH SCORE 155453.873
AT ITER 2645 NEW BEST:: SOT 3088342 SOS 690946 HAS SOPS 689226 HAS SOUS 153916 HAS SOUPS 153744 WITH SCORE 154434.946
AT ITER 2652 NEW BEST:: SOT 3088143 SOS 690548 HAS SOPS 688828 HAS SOUS 153518 HAS SOUPS 153346 WITH SCORE 154036.548
AT ITER 2688 NEW BEST:: SOT 3088079 SOS 690484 HAS SOPS 688764 HAS SOUS 153339 HAS SOUPS 153167 WITH SCORE 153857.484
AT ITER 2702 NEW BEST:: SOT 3088079 SOS 690458 HAS SOPS 688738 HAS SOUS 153323 HAS SOUPS 153151 WITH SCORE 153841.458
AT ITER 2707 NEW BEST:: SOT 3087999 SOS 690378 HAS SOPS 688658 HAS SOUS 153175 HAS SOUPS 153003 WITH SCORE 153693.378
AT ITER 2738 NEW BEST:: SOT 3087995 SOS 690372 HAS SOPS 688652 HAS SOUS 153153 HAS SOUPS 152981 WITH SCORE 153671.372
AT ITER 2742 NEW BEST:: SOT 3087791 SOS 690168 HAS SOPS 688448 HAS SOUS 152819 HAS SOUPS 152647 WITH SCORE 153337.168
AT ITER 2777 NEW BEST:: SOT 3087791 SOS 690168 HAS SOPS 688448 HAS SOUS 152788 HAS SOUPS 152616 WITH SCORE 153306.168
AT ITER 2780 NEW BEST:: SOT 3087770 SOS 690147 HAS SOPS 688427 HAS SOUS 152612 HAS SOUPS 152440 WITH SCORE 153130.147
AT ITER 2786 NEW BEST:: SOT 3087880 SOS 690257 HAS SOPS 688537 HAS SOUS 151980 HAS SOUPS 151808 WITH SCORE 152498.257
AT ITER 2817 NEW BEST:: SOT 3087880 SOS 690257 HAS SOPS 688537 HAS SOUS 151954 HAS SOUPS 151782 WITH SCORE 152472.257
AT ITER 2833 NEW BEST:: SOT 2916788 SOS 1195263 HAS SOPS 1193543 HAS SOUS 141013 HAS SOUPS 140841 WITH SCORE 142036.263
AT ITER 2838 NEW BEST:: SOT 2916788 SOS 1195220 HAS SOPS 1193500 HAS SOUS 141000 HAS SOUPS 140828 WITH SCORE 142023.22
AT ITER 2876 NEW BEST:: SOT 2916772 SOS 1195204 HAS SOPS 1193484 HAS SOUS 140846 HAS SOUPS 140674 WITH SCORE 141869.204
AT ITER 2878 NEW BEST:: SOT 2916854 SOS 1195337 HAS SOPS 1193617 HAS SOUS 140610 HAS SOUPS 140438 WITH SCORE 141633.337
AT ITER 2884 NEW BEST:: SOT 2916853 SOS 1195328 HAS SOPS 1193613 HAS SOUS 140587 HAS SOUPS 140415 WITH SCORE 141610.328
AT ITER 2905 NEW BEST:: SOT 2916853 SOS 1195328 HAS SOPS 1193613 HAS SOUS 140576 HAS SOUPS 140404 WITH SCORE 141599.328
AT ITER 2910 NEW BEST:: SOT 2916853 SOS 898209 HAS SOPS 896494 HAS SOUS 140339 HAS SOUPS 140167 WITH SCORE 141065.209
AT ITER 2914 NEW BEST:: SOT 2916761 SOS 898117 HAS SOPS 896402 HAS SOUS 140217 HAS SOUPS 140045 WITH SCORE 140943.117
AT ITER 2942 NEW BEST:: SOT 2916555 SOS 897911 HAS SOPS 896196 HAS SOUS 139864 HAS SOUPS 139692 WITH SCORE 140589.911
AT ITER 2957 NEW BEST:: SOT 2916624 SOS 897980 HAS SOPS 896265 HAS SOUS 139624 HAS SOUPS 139452 WITH SCORE 140349.98
AT ITER 2959 NEW BEST:: SOT 2916603 SOS 897959 HAS SOPS 896244 HAS SOUS 139603 HAS SOUPS 139431 WITH SCORE 140328.959
AT ITER 2962 NEW BEST:: SOT 2916565 SOS 897927 HAS SOPS 896212 HAS SOUS 139480 HAS SOUPS 139308 WITH SCORE 140205.927
AT ITER 2975 NEW BEST:: SOT 2916535 SOS 897897 HAS SOPS 896182 HAS SOUS 139450 HAS SOUPS 139278 WITH SCORE 140175.897
AT ITER 2992 NEW BEST:: SOT 2916530 SOS 897887 HAS SOPS 896172 HAS SOUS 139440 HAS SOUPS 139268 WITH SCORE 140165.887
AT ITER 2993 NEW BEST:: SOT 2916511 SOS 897868 HAS SOPS 896153 HAS SOUS 139421 HAS SOUPS 139249 WITH SCORE 140146.868
AT ITER 3000 NEW BEST:: SOT 2916408 SOS 897806 HAS SOPS 896091 HAS SOUS 139359 HAS SOUPS 139187 WITH SCORE 140084.806
AT ITER 3004 NEW BEST:: SOT 2916228 SOS 897626 HAS SOPS 895911 HAS SOUS 139016 HAS SOUPS 138844 WITH SCORE 139741.626
AT ITER 3011 NEW BEST:: SOT 2916099 SOS 897497 HAS SOPS 895782 HAS SOUS 138813 HAS SOUPS 138641 WITH SCORE 139538.497
AT ITER 3015 NEW BEST:: SOT 2916030 SOS 897428 HAS SOPS 895713 HAS SOUS 138744 HAS SOUPS 138572 WITH SCORE 139469.428
AT ITER 3024 NEW BEST:: SOT 2915877 SOS 897275 HAS SOPS 895560 HAS SOUS 138591 HAS SOUPS 138419 WITH SCORE 139316.275
AT ITER 3030 NEW BEST:: SOT 2915863 SOS 897261 HAS SOPS 895546 HAS SOUS 138479 HAS SOUPS 138307 WITH SCORE 139204.261
AT ITER 3034 NEW BEST:: SOT 2915863 SOS 897252 HAS SOPS 895537 HAS SOUS 138470 HAS SOUPS 138298 WITH SCORE 139195.252
AT ITER 3038 NEW BEST:: SOT 2915760 SOS 897149 HAS SOPS 895434 HAS SOUS 138432 HAS SOUPS 138260 WITH SCORE 139157.149
AT ITER 3041 NEW BEST:: SOT 2915598 SOS 896987 HAS SOPS 895272 HAS SOUS 138155 HAS SOUPS 137983 WITH SCORE 138879.987
AT ITER 3057 NEW BEST:: SOT 2915572 SOS 896961 HAS SOPS 895246 HAS SOUS 138113 HAS SOUPS 137941 WITH SCORE 138837.961
AT ITER 3061 NEW BEST:: SOT 2915551 SOS 896940 HAS SOPS 895225 HAS SOUS 138010 HAS SOUPS 137838 WITH SCORE 138734.94
AT ITER 3069 NEW BEST:: SOT 2915533 SOS 896922 HAS SOPS 895207 HAS SOUS 137992 HAS SOUPS 137820 WITH SCORE 138716.922
AT ITER 3074 NEW BEST:: SOT 2915528 SOS 896767 HAS SOPS 895052 HAS SOUS 137992 HAS SOUPS 137820 WITH SCORE 138716.767
AT ITER 3089 NEW BEST:: SOT 2915447 SOS 896686 HAS SOPS 894971 HAS SOUS 136894 HAS SOUPS 136722 WITH SCORE 137618.686
AT ITER 3093 NEW BEST:: SOT 2915347 SOS 896586 HAS SOPS 894871 HAS SOUS 136783 HAS SOUPS 136611 WITH SCORE 137507.586
AT ITER 3120 NEW BEST:: SOT 2915303 SOS 896542 HAS SOPS 894827 HAS SOUS 136739 HAS SOUPS 136567 WITH SCORE 137463.542
AT ITER 3130 NEW BEST:: SOT 2915301 SOS 896540 HAS SOPS 894825 HAS SOUS 136735 HAS SOUPS 136563 WITH SCORE 137459.54
AT ITER 3133 NEW BEST:: SOT 2915285 SOS 896524 HAS SOPS 894809 HAS SOUS 136719 HAS SOUPS 136547 WITH SCORE 137443.524
AT ITER 3137 NEW BEST:: SOT 2915159 SOS 896398 HAS SOPS 894683 HAS SOUS 136530 HAS SOUPS 136358 WITH SCORE 137254.398
AT ITER 3143 NEW BEST:: SOT 2914794 SOS 896033 HAS SOPS 894337 HAS SOUS 136487 HAS SOUPS 136315 WITH SCORE 137211.033
AT ITER 3159 NEW BEST:: SOT 2914828 SOS 896182 HAS SOPS 894486 HAS SOUS 136407 HAS SOUPS 136235 WITH SCORE 137131.182
AT ITER 3163 NEW BEST:: SOT 2914774 SOS 896128 HAS SOPS 894432 HAS SOUS 136353 HAS SOUPS 136181 WITH SCORE 137077.128
AT ITER 3189 NEW BEST:: SOT 2914774 SOS 896129 HAS SOPS 894433 HAS SOUS 136337 HAS SOUPS 136165 WITH SCORE 137061.129
AT ITER 3203 NEW BEST:: SOT 2914767 SOS 896122 HAS SOPS 894426 HAS SOUS 136305 HAS SOUPS 136133 WITH SCORE 137029.122
AT ITER 3211 NEW BEST:: SOT 2914726 SOS 896081 HAS SOPS 894385 HAS SOUS 136264 HAS SOUPS 136092 WITH SCORE 136988.081
AT ITER 3221 NEW BEST:: SOT 2914703 SOS 896058 HAS SOPS 894362 HAS SOUS 136236 HAS SOUPS 136064 WITH SCORE 136960.058
AT ITER 3225 NEW BEST:: SOT 2914738 SOS 896093 HAS SOPS 894397 HAS SOUS 136193 HAS SOUPS 136021 WITH SCORE 136917.093
AT ITER 3227 NEW BEST:: SOT 2914711 SOS 896066 HAS SOPS 894370 HAS SOUS 136153 HAS SOUPS 135981 WITH SCORE 136877.066
AT ITER 3243 NEW BEST:: SOT 2914611 SOS 895966 HAS SOPS 894270 HAS SOUS 136053 HAS SOUPS 135881 WITH SCORE 136776.966
AT ITER 3265 NEW BEST:: SOT 2914606 SOS 895961 HAS SOPS 894265 HAS SOUS 136048 HAS SOUPS 135876 WITH SCORE 136771.961
AT ITER 3266 NEW BEST:: SOT 2914606 SOS 895961 HAS SOPS 894265 HAS SOUS 136020 HAS SOUPS 135848 WITH SCORE 136743.961
AT ITER 3288 NEW BEST:: SOT 2914569 SOS 895924 HAS SOPS 894228 HAS SOUS 135983 HAS SOUPS 135811 WITH SCORE 136706.924
AT ITER 3321 NEW BEST:: SOT 2914566 SOS 895921 HAS SOPS 894225 HAS SOUS 135961 HAS SOUPS 135789 WITH SCORE 136684.921
AT ITER 3324 NEW BEST:: SOT 2914519 SOS 895874 HAS SOPS 894178 HAS SOUS 135818 HAS SOUPS 135646 WITH SCORE 136541.874
AT ITER 3327 NEW BEST:: SOT 2914519 SOS 895874 HAS SOPS 894178 HAS SOUS 135814 HAS SOUPS 135642 WITH SCORE 136537.874
AT ITER 3363 NEW BEST:: SOT 2914902 SOS 896257 HAS SOPS 894561 HAS SOUS 135756 HAS SOUPS 135584 WITH SCORE 136480.257
AT ITER 3370 NEW BEST:: SOT 2914839 SOS 896194 HAS SOPS 894498 HAS SOUS 135682 HAS SOUPS 135510 WITH SCORE 136406.194
AT ITER 3395 NEW BEST:: SOT 2914774 SOS 896129 HAS SOPS 894433 HAS SOUS 135639 HAS SOUPS 135467 WITH SCORE 136363.129
AT ITER 3397 NEW BEST:: SOT 2914742 SOS 896097 HAS SOPS 894401 HAS SOUS 135607 HAS SOUPS 135435 WITH SCORE 136331.097
AT ITER 3403 NEW BEST:: SOT 2914257 SOS 895524 HAS SOPS 893828 HAS SOUS 135255 HAS SOUPS 135083 WITH SCORE 135978.524
AT ITER 3412 NEW BEST:: SOT 2914210 SOS 895477 HAS SOPS 893781 HAS SOUS 134892 HAS SOUPS 134720 WITH SCORE 135615.477
AT ITER 3414 NEW BEST:: SOT 2913870 SOS 895137 HAS SOPS 893441 HAS SOUS 134246 HAS SOUPS 134074 WITH SCORE 134969.137
AT ITER 3423 NEW BEST:: SOT 2913847 SOS 895114 HAS SOPS 893418 HAS SOUS 134134 HAS SOUPS 133962 WITH SCORE 134857.114
AT ITER 3431 NEW BEST:: SOT 2913847 SOS 895057 HAS SOPS 893361 HAS SOUS 134069 HAS SOUPS 133897 WITH SCORE 134792.057
AT ITER 3438 NEW BEST:: SOT 2913811 SOS 895021 HAS SOPS 893325 HAS SOUS 134033 HAS SOUPS 133861 WITH SCORE 134756.021
AT ITER 3442 NEW BEST:: SOT 2913783 SOS 894993 HAS SOPS 893297 HAS SOUS 133991 HAS SOUPS 133819 WITH SCORE 134713.993
AT ITER 3475 NEW BEST:: SOT 2913607 SOS 894817 HAS SOPS 893121 HAS SOUS 133683 HAS SOUPS 133511 WITH SCORE 134405.817
AT ITER 3487 NEW BEST:: SOT 2913508 SOS 894718 HAS SOPS 893022 HAS SOUS 133584 HAS SOUPS 133412 WITH SCORE 134306.718
AT ITER 3499 NEW BEST:: SOT 2913480 SOS 894710 HAS SOPS 893014 HAS SOUS 133528 HAS SOUPS 133356 WITH SCORE 134250.71
AT ITER 3501 NEW BEST:: SOT 2913523 SOS 894647 HAS SOPS 892951 HAS SOUS 133517 HAS SOUPS 133345 WITH SCORE 134239.647
AT ITER 3516 NEW BEST:: SOT 2913465 SOS 894589 HAS SOPS 892893 HAS SOUS 133401 HAS SOUPS 133229 WITH SCORE 134123.589
AT ITER 3517 NEW BEST:: SOT 2913308 SOS 894432 HAS SOPS 892736 HAS SOUS 133244 HAS SOUPS 133072 WITH SCORE 133966.432
AT ITER 3520 NEW BEST:: SOT 2913308 SOS 894432 HAS SOPS 892736 HAS SOUS 133100 HAS SOUPS 132928 WITH SCORE 133822.432
AT ITER 3536 NEW BEST:: SOT 2913289 SOS 894413 HAS SOPS 892717 HAS SOUS 133081 HAS SOUPS 132909 WITH SCORE 133803.413
AT ITER 3550 NEW BEST:: SOT 2913273 SOS 894397 HAS SOPS 892701 HAS SOUS 133061 HAS SOUPS 132889 WITH SCORE 133783.397
AT ITER 3587 NEW BEST:: SOT 2913207 SOS 894331 HAS SOPS 892635 HAS SOUS 132997 HAS SOUPS 132825 WITH SCORE 133719.331
AT ITER 3594 NEW BEST:: SOT 2913178 SOS 894302 HAS SOPS 892606 HAS SOUS 132973 HAS SOUPS 132801 WITH SCORE 133695.302
AT ITER 3598 NEW BEST:: SOT 2913171 SOS 894295 HAS SOPS 892599 HAS SOUS 132966 HAS SOUPS 132794 WITH SCORE 133688.295
AT ITER 3624 NEW BEST:: SOT 2913090 SOS 894261 HAS SOPS 892565 HAS SOUS 132885 HAS SOUPS 132713 WITH SCORE 133607.261
AT ITER 3653 NEW BEST:: SOT 2912996 SOS 894167 HAS SOPS 892471 HAS SOUS 132633 HAS SOUPS 132461 WITH SCORE 133355.167
AT ITER 3658 NEW BEST:: SOT 2912879 SOS 894050 HAS SOPS 892354 HAS SOUS 132516 HAS SOUPS 132344 WITH SCORE 133238.05
AT ITER 3663 NEW BEST:: SOT 2912873 SOS 894044 HAS SOPS 892348 HAS SOUS 132510 HAS SOUPS 132338 WITH SCORE 133232.044
AT ITER 3694 NEW BEST:: SOT 2912842 SOS 893842 HAS SOPS 892146 HAS SOUS 132432 HAS SOUPS 132260 WITH SCORE 133153.842
AT ITER 3706 NEW BEST:: SOT 2912842 SOS 893803 HAS SOPS 892107 HAS SOUS 132406 HAS SOUPS 132234 WITH SCORE 133127.803
AT ITER 3715 NEW BEST:: SOT 2912876 SOS 893603 HAS SOPS 891907 HAS SOUS 132345 HAS SOUPS 132173 WITH SCORE 133066.603
AT ITER 3724 NEW BEST:: SOT 2912845 SOS 893603 HAS SOPS 891907 HAS SOUS 132314 HAS SOUPS 132142 WITH SCORE 133035.603
AT ITER 3738 NEW BEST:: SOT 2912809 SOS 893567 HAS SOPS 891871 HAS SOUS 132020 HAS SOUPS 131848 WITH SCORE 132741.567
AT ITER 3742 NEW BEST:: SOT 2912802 SOS 893560 HAS SOPS 891864 HAS SOUS 132013 HAS SOUPS 131841 WITH SCORE 132734.56
AT ITER 3756 NEW BEST:: SOT 2912675 SOS 893433 HAS SOPS 891737 HAS SOUS 131718 HAS SOUPS 131546 WITH SCORE 132439.433
AT ITER 3764 NEW BEST:: SOT 2912669 SOS 893427 HAS SOPS 891731 HAS SOUS 131709 HAS SOUPS 131537 WITH SCORE 132430.427
AT ITER 3779 NEW BEST:: SOT 2912654 SOS 893412 HAS SOPS 891716 HAS SOUS 131679 HAS SOUPS 131507 WITH SCORE 132400.412
AT ITER 3786 NEW BEST:: SOT 2912620 SOS 893514 HAS SOPS 891818 HAS SOUS 131613 HAS SOUPS 131441 WITH SCORE 132334.514
AT ITER 3793 NEW BEST:: SOT 2912519 SOS 893312 HAS SOPS 891616 HAS SOUS 131411 HAS SOUPS 131239 WITH SCORE 132132.312
AT ITER 3798 NEW BEST:: SOT 2912860 SOS 893653 HAS SOPS 891957 HAS SOUS 131179 HAS SOUPS 131007 WITH SCORE 131900.653
AT ITER 3801 NEW BEST:: SOT 2912911 SOS 893418 HAS SOPS 891722 HAS SOUS 131124 HAS SOUPS 130952 WITH SCORE 131845.418
AT ITER 3830 NEW BEST:: SOT 2912777 SOS 893284 HAS SOPS 891588 HAS SOUS 130964 HAS SOUPS 130792 WITH SCORE 131685.284
AT ITER 3840 NEW BEST:: SOT 2912762 SOS 893269 HAS SOPS 891573 HAS SOUS 130929 HAS SOUPS 130757 WITH SCORE 131650.269
AT ITER 3864 NEW BEST:: SOT 2912697 SOS 893204 HAS SOPS 891508 HAS SOUS 130913 HAS SOUPS 130741 WITH SCORE 131634.204
AT ITER 3884 NEW BEST:: SOT 2912805 SOS 893312 HAS SOPS 891616 HAS SOUS 130232 HAS SOUPS 130060 WITH SCORE 130953.312
AT ITER 3897 NEW BEST:: SOT 2912815 SOS 893322 HAS SOPS 891626 HAS SOUS 130218 HAS SOUPS 130046 WITH SCORE 130939.322
AT ITER 3908 NEW BEST:: SOT 2912815 SOS 893260 HAS SOPS 891564 HAS SOUS 130199 HAS SOUPS 130027 WITH SCORE 130920.26
AT ITER 3909 NEW BEST:: SOT 2912793 SOS 893238 HAS SOPS 891542 HAS SOUS 130177 HAS SOUPS 130005 WITH SCORE 130898.238
AT ITER 3933 NEW BEST:: SOT 2912759 SOS 893204 HAS SOPS 891508 HAS SOUS 130109 HAS SOUPS 129937 WITH SCORE 130830.204
AT ITER 3961 NEW BEST:: SOT 2912759 SOS 893204 HAS SOPS 891508 HAS SOUS 130091 HAS SOUPS 129919 WITH SCORE 130812.204
AT ITER 3972 NEW BEST:: SOT 2912701 SOS 893146 HAS SOPS 891450 HAS SOUS 130033 HAS SOUPS 129861 WITH SCORE 130754.146
AT ITER 3979 NEW BEST:: SOT 2912684 SOS 893129 HAS SOPS 891433 HAS SOUS 129999 HAS SOUPS 129827 WITH SCORE 130720.129
AT ITER 3986 NEW BEST:: SOT 2911425 SOS 891950 HAS SOPS 890254 HAS SOUS 128743 HAS SOUPS 128571 WITH SCORE 129462.95
AT ITER 3987 NEW BEST:: SOT 2911404 SOS 891929 HAS SOPS 890233 HAS SOUS 128722 HAS SOUPS 128550 WITH SCORE 129441.929
AT ITER 3988 NEW BEST:: SOT 2911418 SOS 891816 HAS SOPS 890120 HAS SOUS 128718 HAS SOUPS 128546 WITH SCORE 129437.816
AT ITER 3996 NEW BEST:: SOT 2911389 SOS 891787 HAS SOPS 890091 HAS SOUS 128629 HAS SOUPS 128457 WITH SCORE 129348.787
AT ITER 4003 NEW BEST:: SOT 2911297 SOS 891695 HAS SOPS 889999 HAS SOUS 128537 HAS SOUPS 128365 WITH SCORE 129256.695
AT ITER 4008 NEW BEST:: SOT 2911254 SOS 891652 HAS SOPS 889956 HAS SOUS 128507 HAS SOUPS 128335 WITH SCORE 129226.652
AT ITER 4020 NEW BEST:: SOT 2911171 SOS 891569 HAS SOPS 889873 HAS SOUS 128312 HAS SOUPS 128140 WITH SCORE 129031.569
AT ITER 4023 NEW BEST:: SOT 2911096 SOS 891494 HAS SOPS 889798 HAS SOUS 128237 HAS SOUPS 128065 WITH SCORE 128956.494
AT ITER 4034 NEW BEST:: SOT 2911030 SOS 891395 HAS SOPS 889699 HAS SOUS 127874 HAS SOUPS 127702 WITH SCORE 128593.395
AT ITER 4041 NEW BEST:: SOT 2911024 SOS 891389 HAS SOPS 889693 HAS SOUS 127868 HAS SOUPS 127696 WITH SCORE 128587.389
AT ITER 4054 NEW BEST:: SOT 2911192 SOS 891557 HAS SOPS 889861 HAS SOUS 127591 HAS SOUPS 127419 WITH SCORE 128310.557
AT ITER 4056 NEW BEST:: SOT 2911165 SOS 891530 HAS SOPS 889834 HAS SOUS 127564 HAS SOUPS 127392 WITH SCORE 128283.53
AT ITER 4084 NEW BEST:: SOT 2911179 SOS 891544 HAS SOPS 889848 HAS SOUS 127530 HAS SOUPS 127358 WITH SCORE 128249.544
AT ITER 4094 NEW BEST:: SOT 2911064 SOS 891429 HAS SOPS 889733 HAS SOUS 127255 HAS SOUPS 127083 WITH SCORE 127974.429
AT ITER 4104 NEW BEST:: SOT 2911445 SOS 891810 HAS SOPS 890114 HAS SOUS 127248 HAS SOUPS 127076 WITH SCORE 127967.81
AT ITER 4127 NEW BEST:: SOT 2911443 SOS 891808 HAS SOPS 890112 HAS SOUS 127246 HAS SOUPS 127074 WITH SCORE 127965.808
AT ITER 4134 NEW BEST:: SOT 2911439 SOS 891804 HAS SOPS 890108 HAS SOUS 127238 HAS SOUPS 127066 WITH SCORE 127957.804
AT ITER 4138 NEW BEST:: SOT 2911417 SOS 891782 HAS SOPS 890086 HAS SOUS 127216 HAS SOUPS 127044 WITH SCORE 127935.782
AT ITER 4150 NEW BEST:: SOT 2910889 SOS 891877 HAS SOPS 890181 HAS SOUS 126602 HAS SOUPS 126430 WITH SCORE 127321.877
AT ITER 4151 NEW BEST:: SOT 2910769 SOS 891757 HAS SOPS 890061 HAS SOUS 126422 HAS SOUPS 126250 WITH SCORE 127141.757
AT ITER 4168 NEW BEST:: SOT 2910709 SOS 891697 HAS SOPS 890001 HAS SOUS 126369 HAS SOUPS 126197 WITH SCORE 127088.697
AT ITER 4178 NEW BEST:: SOT 2910684 SOS 891672 HAS SOPS 889976 HAS SOUS 126319 HAS SOUPS 126147 WITH SCORE 127038.672
AT ITER 4188 NEW BEST:: SOT 2910674 SOS 891662 HAS SOPS 889966 HAS SOUS 126286 HAS SOUPS 126114 WITH SCORE 127005.662
AT ITER 4192 NEW BEST:: SOT 2910641 SOS 891629 HAS SOPS 889933 HAS SOUS 126061 HAS SOUPS 125889 WITH SCORE 126780.629
AT ITER 4209 NEW BEST:: SOT 2910571 SOS 891563 HAS SOPS 889867 HAS SOUS 125975 HAS SOUPS 125803 WITH SCORE 126694.563
AT ITER 4221 NEW BEST:: SOT 2910567 SOS 891559 HAS SOPS 889863 HAS SOUS 125971 HAS SOUPS 125799 WITH SCORE 126690.559
AT ITER 4222 NEW BEST:: SOT 2910437 SOS 891429 HAS SOPS 889733 HAS SOUS 125749 HAS SOUPS 125577 WITH SCORE 126468.429
AT ITER 4237 NEW BEST:: SOT 2910196 SOS 891188 HAS SOPS 889492 HAS SOUS 125268 HAS SOUPS 125096 WITH SCORE 125987.188
AT ITER 4241 NEW BEST:: SOT 2910194 SOS 891186 HAS SOPS 889490 HAS SOUS 125250 HAS SOUPS 125078 WITH SCORE 125969.186
AT ITER 4243 NEW BEST:: SOT 2910192 SOS 891039 HAS SOPS 889352 HAS SOUS 125165 HAS SOUPS 124993 WITH SCORE 125884.039
AT ITER 4244 NEW BEST:: SOT 2910100 SOS 890947 HAS SOPS 889260 HAS SOUS 124995 HAS SOUPS 124823 WITH SCORE 125713.947
AT ITER 4261 NEW BEST:: SOT 2910060 SOS 890907 HAS SOPS 889220 HAS SOUS 124927 HAS SOUPS 124755 WITH SCORE 125645.907
AT ITER 4267 NEW BEST:: SOT 2910028 SOS 890875 HAS SOPS 889188 HAS SOUS 124895 HAS SOUPS 124723 WITH SCORE 125613.875
AT ITER 4269 NEW BEST:: SOT 2910020 SOS 890871 HAS SOPS 889180 HAS SOUS 124883 HAS SOUPS 124711 WITH SCORE 125601.871
AT ITER 4279 NEW BEST:: SOT 2910059 SOS 890910 HAS SOPS 889219 HAS SOUS 124856 HAS SOUPS 124684 WITH SCORE 125574.91
AT ITER 4298 NEW BEST:: SOT 2910056 SOS 890907 HAS SOPS 889216 HAS SOUS 124853 HAS SOUPS 124681 WITH SCORE 125571.907
AT ITER 4301 NEW BEST:: SOT 2909916 SOS 890767 HAS SOPS 889076 HAS SOUS 124573 HAS SOUPS 124401 WITH SCORE 125291.767
AT ITER 4302 NEW BEST:: SOT 2909873 SOS 890724 HAS SOPS 889033 HAS SOUS 124491 HAS SOUPS 124319 WITH SCORE 125209.724
AT ITER 4309 NEW BEST:: SOT 2909866 SOS 890717 HAS SOPS 889026 HAS SOUS 124364 HAS SOUPS 124192 WITH SCORE 125082.717
AT ITER 4322 NEW BEST:: SOT 2909460 SOS 890311 HAS SOPS 888620 HAS SOUS 124014 HAS SOUPS 123842 WITH SCORE 124732.311
AT ITER 4328 NEW BEST:: SOT 2909423 SOS 890274 HAS SOPS 888583 HAS SOUS 123787 HAS SOUPS 123615 WITH SCORE 124505.274
AT ITER 4340 NEW BEST:: SOT 2909426 SOS 890266 HAS SOPS 888575 HAS SOUS 123782 HAS SOUPS 123610 WITH SCORE 124500.266
AT ITER 4376 NEW BEST:: SOT 2909025 SOS 889865 HAS SOPS 888174 HAS SOUS 123436 HAS SOUPS 123264 WITH SCORE 124153.865
AT ITER 4401 NEW BEST:: SOT 2909016 SOS 889856 HAS SOPS 888165 HAS SOUS 123427 HAS SOUPS 123255 WITH SCORE 124144.856
AT ITER 4421 NEW BEST:: SOT 2908993 SOS 889833 HAS SOPS 888142 HAS SOUS 123381 HAS SOUPS 123209 WITH SCORE 124098.833
AT ITER 4435 NEW BEST:: SOT 2908909 SOS 889665 HAS SOPS 887974 HAS SOUS 123213 HAS SOUPS 123041 WITH SCORE 123930.665
AT ITER 4442 NEW BEST:: SOT 2908905 SOS 889661 HAS SOPS 887970 HAS SOUS 123209 HAS SOUPS 123037 WITH SCORE 123926.661
AT ITER 4444 NEW BEST:: SOT 2908838 SOS 889594 HAS SOPS 887903 HAS SOUS 123142 HAS SOUPS 122970 WITH SCORE 123859.594
AT ITER 4445 NEW BEST:: SOT 2908838 SOS 889552 HAS SOPS 887861 HAS SOUS 123131 HAS SOUPS 122959 WITH SCORE 123848.552
AT ITER 4456 NEW BEST:: SOT 2908828 SOS 889542 HAS SOPS 887851 HAS SOUS 123120 HAS SOUPS 122948 WITH SCORE 123837.542
AT ITER 4461 NEW BEST:: SOT 2908828 SOS 889417 HAS SOPS 887726 HAS SOUS 123120 HAS SOUPS 122948 WITH SCORE 123837.417
AT ITER 4472 NEW BEST:: SOT 2909433 SOS 890022 HAS SOPS 888331 HAS SOUS 122409 HAS SOUPS 122237 WITH SCORE 123127.022
AT ITER 4488 NEW BEST:: SOT 2909381 SOS 889996 HAS SOPS 888305 HAS SOUS 122305 HAS SOUPS 122133 WITH SCORE 123022.996
AT ITER 4498 NEW BEST:: SOT 2909315 SOS 889946 HAS SOPS 888255 HAS SOUS 122239 HAS SOUPS 122067 WITH SCORE 122956.946
AT ITER 4515 NEW BEST:: SOT 2909307 SOS 889938 HAS SOPS 888247 HAS SOUS 122234 HAS SOUPS 122062 WITH SCORE 122951.938
AT ITER 4533 NEW BEST:: SOT 2909303 SOS 889934 HAS SOPS 888243 HAS SOUS 122226 HAS SOUPS 122054 WITH SCORE 122943.934
AT ITER 4540 NEW BEST:: SOT 2909328 SOS 889959 HAS SOPS 888268 HAS SOUS 122166 HAS SOUPS 121994 WITH SCORE 122883.959
AT ITER 4543 NEW BEST:: SOT 2909214 SOS 889913 HAS SOPS 888222 HAS SOUS 122112 HAS SOUPS 121940 WITH SCORE 122829.913
AT ITER 4562 NEW BEST:: SOT 2909178 SOS 889877 HAS SOPS 888186 HAS SOUS 122076 HAS SOUPS 121904 WITH SCORE 122793.877
AT ITER 4587 NEW BEST:: SOT 2909178 SOS 889867 HAS SOPS 888176 HAS SOUS 122062 HAS SOUPS 121890 WITH SCORE 122779.867
AT ITER 4622 NEW BEST:: SOT 2909148 SOS 889837 HAS SOPS 888146 HAS SOUS 122036 HAS SOUPS 121864 WITH SCORE 122753.837
AT ITER 4630 NEW BEST:: SOT 2909042 SOS 889731 HAS SOPS 888040 HAS SOUS 121930 HAS SOUPS 121758 WITH SCORE 122647.731
AT ITER 4632 NEW BEST:: SOT 2908976 SOS 889687 HAS SOPS 887996 HAS SOUS 121859 HAS SOUPS 121687 WITH SCORE 122576.687
AT ITER 4639 NEW BEST:: SOT 2908976 SOS 889574 HAS SOPS 887883 HAS SOUS 121789 HAS SOUPS 121617 WITH SCORE 122506.574
AT ITER 4640 NEW BEST:: SOT 2909069 SOS 889667 HAS SOPS 887976 HAS SOUS 121694 HAS SOUPS 121522 WITH SCORE 122411.667
AT ITER 4641 NEW BEST:: SOT 2909095 SOS 889523 HAS SOPS 887832 HAS SOUS 121671 HAS SOUPS 121499 WITH SCORE 122388.523
AT ITER 4653 NEW BEST:: SOT 2908906 SOS 889334 HAS SOPS 887643 HAS SOUS 121419 HAS SOUPS 121247 WITH SCORE 122136.334
AT ITER 4676 NEW BEST:: SOT 2908818 SOS 889246 HAS SOPS 887555 HAS SOUS 121331 HAS SOUPS 121159 WITH SCORE 122048.246
AT ITER 4699 NEW BEST:: SOT 2908784 SOS 889212 HAS SOPS 887521 HAS SOUS 121277 HAS SOUPS 121105 WITH SCORE 121994.212
AT ITER 4714 NEW BEST:: SOT 2908775 SOS 889227 HAS SOPS 887536 HAS SOUS 121259 HAS SOUPS 121087 WITH SCORE 121976.227
AT ITER 4716 NEW BEST:: SOT 2908771 SOS 889223 HAS SOPS 887532 HAS SOUS 121255 HAS SOUPS 121083 WITH SCORE 121972.223
AT ITER 4772 NEW BEST:: SOT 2908766 SOS 889218 HAS SOPS 887527 HAS SOUS 121250 HAS SOUPS 121078 WITH SCORE 121967.218
AT ITER 4793 NEW BEST:: SOT 2908763 SOS 889196 HAS SOPS 887505 HAS SOUS 121228 HAS SOUPS 121056 WITH SCORE 121945.196
AT ITER 4807 NEW BEST:: SOT 2908790 SOS 889223 HAS SOPS 887532 HAS SOUS 121168 HAS SOUPS 120996 WITH SCORE 121885.223
AT ITER 4813 NEW BEST:: SOT 2908700 SOS 889133 HAS SOPS 887442 HAS SOUS 120988 HAS SOUPS 120816 WITH SCORE 121705.133
AT ITER 4846 NEW BEST:: SOT 2908636 SOS 889069 HAS SOPS 887378 HAS SOUS 120861 HAS SOUPS 120689 WITH SCORE 121578.069
AT ITER 4859 NEW BEST:: SOT 2908679 SOS 889112 HAS SOPS 887421 HAS SOUS 120707 HAS SOUPS 120535 WITH SCORE 121424.112
AT ITER 4868 NEW BEST:: SOT 2908679 SOS 889112 HAS SOPS 887421 HAS SOUS 120671 HAS SOUPS 120499 WITH SCORE 121388.112
AT ITER 4874 NEW BEST:: SOT 2908670 SOS 889103 HAS SOPS 887412 HAS SOUS 120653 HAS SOUPS 120481 WITH SCORE 121370.103
AT ITER 4879 NEW BEST:: SOT 2908616 SOS 889049 HAS SOPS 887358 HAS SOUS 120491 HAS SOUPS 120319 WITH SCORE 121208.049
AT ITER 4887 NEW BEST:: SOT 2908562 SOS 889085 HAS SOPS 887394 HAS SOUS 120471 HAS SOUPS 120299 WITH SCORE 121188.085
AT ITER 4891 NEW BEST:: SOT 2908512 SOS 888841 HAS SOPS 887150 HAS SOUS 120355 HAS SOUPS 120183 WITH SCORE 121071.841
AT ITER 4902 NEW BEST:: SOT 2908425 SOS 888754 HAS SOPS 887063 HAS SOUS 120194 HAS SOUPS 120022 WITH SCORE 120910.754
AT ITER 4905 NEW BEST:: SOT 2908431 SOS 888760 HAS SOPS 887069 HAS SOUS 120152 HAS SOUPS 119980 WITH SCORE 120868.76
AT ITER 4917 NEW BEST:: SOT 2908500 SOS 888788 HAS SOPS 887097 HAS SOUS 120118 HAS SOUPS 119946 WITH SCORE 120834.788
AT ITER 4919 NEW BEST:: SOT 2908294 SOS 888582 HAS SOPS 886891 HAS SOUS 119932 HAS SOUPS 119760 WITH SCORE 120648.582
AT ITER 4935 NEW BEST:: SOT 2908259 SOS 888547 HAS SOPS 886856 HAS SOUS 119897 HAS SOUPS 119725 WITH SCORE 120613.547
AT ITER 4942 NEW BEST:: SOT 2908241 SOS 888529 HAS SOPS 886838 HAS SOUS 119879 HAS SOUPS 119707 WITH SCORE 120595.529
AT ITER 4959 NEW BEST:: SOT 2908228 SOS 888516 HAS SOPS 886825 HAS SOUS 119854 HAS SOUPS 119682 WITH SCORE 120570.516
AT ITER 4960 NEW BEST:: SOT 2908168 SOS 888456 HAS SOPS 886765 HAS SOUS 119794 HAS SOUPS 119622 WITH SCORE 120510.456
AT ITER 4962 NEW BEST:: SOT 2908128 SOS 888416 HAS SOPS 886725 HAS SOUS 119700 HAS SOUPS 119528 WITH SCORE 120416.416
AT ITER 4989 NEW BEST:: SOT 2908003 SOS 888291 HAS SOPS 886600 HAS SOUS 118931 HAS SOUPS 118759 WITH SCORE 119647.291
AT ITER 5024 NEW BEST:: SOT 2908000 SOS 888273 HAS SOPS 886590 HAS SOUS 118918 HAS SOUPS 118746 WITH SCORE 119634.273
AT ITER 5026 NEW BEST:: SOT 2907896 SOS 888169 HAS SOPS 886486 HAS SOUS 118710 HAS SOUPS 118538 WITH SCORE 119426.169
AT ITER 5040 NEW BEST:: SOT 2907884 SOS 888157 HAS SOPS 886474 HAS SOUS 118686 HAS SOUPS 118514 WITH SCORE 119402.157
AT ITER 5048 NEW BEST:: SOT 2907826 SOS 888099 HAS SOPS 886416 HAS SOUS 118628 HAS SOUPS 118456 WITH SCORE 119344.099
AT ITER 5057 NEW BEST:: SOT 2907766 SOS 888007 HAS SOPS 886324 HAS SOUS 118536 HAS SOUPS 118364 WITH SCORE 119252.007
AT ITER 5081 NEW BEST:: SOT 2907763 SOS 887980 HAS SOPS 886297 HAS SOUS 118521 HAS SOUPS 118349 WITH SCORE 119236.98
AT ITER 5105 NEW BEST:: SOT 2907761 SOS 887980 HAS SOPS 886295 HAS SOUS 118517 HAS SOUPS 118345 WITH SCORE 119232.98
AT ITER 5133 NEW BEST:: SOT 2907725 SOS 887908 HAS SOPS 886223 HAS SOUS 118445 HAS SOUPS 118273 WITH SCORE 119160.908
AT ITER 5140 NEW BEST:: SOT 2907716 SOS 887899 HAS SOPS 886214 HAS SOUS 118431 HAS SOUPS 118259 WITH SCORE 119146.899
AT ITER 5163 NEW BEST:: SOT 2907668 SOS 887827 HAS SOPS 886142 HAS SOUS 118335 HAS SOUPS 118163 WITH SCORE 119050.827
AT ITER 5167 NEW BEST:: SOT 2907637 SOS 887796 HAS SOPS 886111 HAS SOUS 118240 HAS SOUPS 118068 WITH SCORE 118955.796
AT ITER 5171 NEW BEST:: SOT 2907631 SOS 887790 HAS SOPS 886105 HAS SOUS 118174 HAS SOUPS 118002 WITH SCORE 118889.79
AT ITER 5189 NEW BEST:: SOT 2907562 SOS 887721 HAS SOPS 886036 HAS SOUS 118077 HAS SOUPS 117905 WITH SCORE 118792.721
AT ITER 5219 NEW BEST:: SOT 2907507 SOS 887697 HAS SOPS 886012 HAS SOUS 118029 HAS SOUPS 117857 WITH SCORE 118744.697
AT ITER 5233 NEW BEST:: SOT 2907507 SOS 887695 HAS SOPS 886010 HAS SOUS 118029 HAS SOUPS 117857 WITH SCORE 118744.695
AT ITER 5246 NEW BEST:: SOT 2907510 SOS 887698 HAS SOPS 886013 HAS SOUS 117447 HAS SOUPS 117275 WITH SCORE 118162.698
AT ITER 5284 NEW BEST:: SOT 2907428 SOS 887418 HAS SOPS 885733 HAS SOUS 117415 HAS SOUPS 117243 WITH SCORE 118130.418
AT ITER 5290 NEW BEST:: SOT 2907428 SOS 887412 HAS SOPS 885729 HAS SOUS 117392 HAS SOUPS 117220 WITH SCORE 118107.412
AT ITER 5297 NEW BEST:: SOT 2907425 SOS 887409 HAS SOPS 885726 HAS SOUS 117390 HAS SOUPS 117218 WITH SCORE 118105.409
AT ITER 5305 NEW BEST:: SOT 2907425 SOS 887409 HAS SOPS 885726 HAS SOUS 117379 HAS SOUPS 117207 WITH SCORE 118094.409
AT ITER 5310 NEW BEST:: SOT 2907386 SOS 887306 HAS SOPS 885623 HAS SOUS 117301 HAS SOUPS 117129 WITH SCORE 118016.306
AT ITER 5315 NEW BEST:: SOT 2907604 SOS 887524 HAS SOPS 885841 HAS SOUS 117245 HAS SOUPS 117073 WITH SCORE 117960.524
AT ITER 5322 NEW BEST:: SOT 2907584 SOS 887504 HAS SOPS 885821 HAS SOUS 117225 HAS SOUPS 117053 WITH SCORE 117940.504
AT ITER 5325 NEW BEST:: SOT 2907427 SOS 887347 HAS SOPS 885664 HAS SOUS 117097 HAS SOUPS 116925 WITH SCORE 117812.347
AT ITER 5337 NEW BEST:: SOT 2907357 SOS 887277 HAS SOPS 885594 HAS SOUS 116975 HAS SOUPS 116803 WITH SCORE 117690.277
AT ITER 5344 NEW BEST:: SOT 2907312 SOS 887232 HAS SOPS 885549 HAS SOUS 116930 HAS SOUPS 116758 WITH SCORE 117645.232
AT ITER 5345 NEW BEST:: SOT 2907336 SOS 887256 HAS SOPS 885573 HAS SOUS 116864 HAS SOUPS 116692 WITH SCORE 117579.256
AT ITER 5348 NEW BEST:: SOT 2907097 SOS 886778 HAS SOPS 885095 HAS SOUS 116386 HAS SOUPS 116214 WITH SCORE 117100.778
AT ITER 5350 NEW BEST:: SOT 2907033 SOS 886763 HAS SOPS 885080 HAS SOUS 116360 HAS SOUPS 116188 WITH SCORE 117074.763
AT ITER 5388 NEW BEST:: SOT 2906988 SOS 886752 HAS SOPS 885069 HAS SOUS 116333 HAS SOUPS 116161 WITH SCORE 117047.752
AT ITER 5406 NEW BEST:: SOT 2907015 SOS 886740 HAS SOPS 885057 HAS SOUS 116312 HAS SOUPS 116140 WITH SCORE 117026.74
AT ITER 5414 NEW BEST:: SOT 2906942 SOS 886725 HAS SOPS 885042 HAS SOUS 116281 HAS SOUPS 116109 WITH SCORE 116995.725
AT ITER 5433 NEW BEST:: SOT 2895247 SOS 929285 HAS SOPS 927624 HAS SOUS 115795 HAS SOUPS 115623 WITH SCORE 116552.285
AT ITER 5447 NEW BEST:: SOT 2895205 SOS 929243 HAS SOPS 927582 HAS SOUS 115678 HAS SOUPS 115506 WITH SCORE 116435.243
AT ITER 5461 NEW BEST:: SOT 2895196 SOS 929195 HAS SOPS 927561 HAS SOUS 115617 HAS SOUPS 115445 WITH SCORE 116374.195
AT ITER 5466 NEW BEST:: SOT 2895080 SOS 929079 HAS SOPS 927445 HAS SOUS 115500 HAS SOUPS 115328 WITH SCORE 116257.079
AT ITER 5469 NEW BEST:: SOT 2895025 SOS 929117 HAS SOPS 927483 HAS SOUS 115453 HAS SOUPS 115281 WITH SCORE 116210.117
AT ITER 5474 NEW BEST:: SOT 2895003 SOS 929095 HAS SOPS 927461 HAS SOUS 115431 HAS SOUPS 115259 WITH SCORE 116188.095
AT ITER 5475 NEW BEST:: SOT 2894878 SOS 928970 HAS SOPS 927336 HAS SOUS 115236 HAS SOUPS 115064 WITH SCORE 115992.97
AT ITER 5484 NEW BEST:: SOT 2894872 SOS 928964 HAS SOPS 927330 HAS SOUS 115230 HAS SOUPS 115058 WITH SCORE 115986.964
AT ITER 5490 NEW BEST:: SOT 2894866 SOS 928958 HAS SOPS 927324 HAS SOUS 115224 HAS SOUPS 115052 WITH SCORE 115980.958
AT ITER 5514 NEW BEST:: SOT 2894813 SOS 928905 HAS SOPS 927271 HAS SOUS 115171 HAS SOUPS 114999 WITH SCORE 115927.905
AT ITER 5520 NEW BEST:: SOT 2894787 SOS 928879 HAS SOPS 927245 HAS SOUS 115119 HAS SOUPS 114947 WITH SCORE 115875.879
AT ITER 5538 NEW BEST:: SOT 2886126 SOS 937168 HAS SOPS 935544 HAS SOUS 114802 HAS SOUPS 114630 WITH SCORE 115567.168
AT ITER 5556 NEW BEST:: SOT 2886090 SOS 937144 HAS SOPS 935520 HAS SOUS 114778 HAS SOUPS 114606 WITH SCORE 115543.144
AT ITER 5559 NEW BEST:: SOT 2886102 SOS 937156 HAS SOPS 935532 HAS SOUS 114522 HAS SOUPS 114350 WITH SCORE 115287.156
AT ITER 5601 NEW BEST:: SOT 2886093 SOS 937147 HAS SOPS 935523 HAS SOUS 114499 HAS SOUPS 114327 WITH SCORE 115264.147
AT ITER 5615 NEW BEST:: SOT 2886031 SOS 937085 HAS SOPS 935461 HAS SOUS 114437 HAS SOUPS 114265 WITH SCORE 115202.085
AT ITER 5616 NEW BEST:: SOT 2886027 SOS 937081 HAS SOPS 935457 HAS SOUS 114429 HAS SOUPS 114257 WITH SCORE 115194.081
AT ITER 5642 NEW BEST:: SOT 2886013 SOS 937067 HAS SOPS 935443 HAS SOUS 114411 HAS SOUPS 114239 WITH SCORE 115176.067
AT ITER 5673 NEW BEST:: SOT 2886045 SOS 937034 HAS SOPS 935410 HAS SOUS 114370 HAS SOUPS 114198 WITH SCORE 115135.034
AT ITER 5684 NEW BEST:: SOT 2886046 SOS 936891 HAS SOPS 935267 HAS SOUS 114360 HAS SOUPS 114188 WITH SCORE 115124.891
AT ITER 5696 NEW BEST:: SOT 2886038 SOS 936883 HAS SOPS 935259 HAS SOUS 114316 HAS SOUPS 114144 WITH SCORE 115080.883
AT ITER 5701 NEW BEST:: SOT 2886031 SOS 936949 HAS SOPS 935325 HAS SOUS 114302 HAS SOUPS 114130 WITH SCORE 115066.949
AT ITER 5704 NEW BEST:: SOT 2886007 SOS 936925 HAS SOPS 935301 HAS SOUS 114278 HAS SOUPS 114106 WITH SCORE 115042.925
AT ITER 5713 NEW BEST:: SOT 2885681 SOS 936599 HAS SOPS 934975 HAS SOUS 113968 HAS SOUPS 113796 WITH SCORE 114732.599
AT ITER 5731 NEW BEST:: SOT 2885759 SOS 936677 HAS SOPS 935053 HAS SOUS 113830 HAS SOUPS 113658 WITH SCORE 114594.677
AT ITER 5768 NEW BEST:: SOT 2885736 SOS 936654 HAS SOPS 935030 HAS SOUS 113750 HAS SOUPS 113578 WITH SCORE 114514.654
AT ITER 5773 NEW BEST:: SOT 2885736 SOS 936654 HAS SOPS 935030 HAS SOUS 113722 HAS SOUPS 113550 WITH SCORE 114486.654
AT ITER 5785 NEW BEST:: SOT 2885776 SOS 936694 HAS SOPS 935070 HAS SOUS 113685 HAS SOUPS 113513 WITH SCORE 114449.694
AT ITER 5798 NEW BEST:: SOT 2885762 SOS 936680 HAS SOPS 935056 HAS SOUS 113657 HAS SOUPS 113485 WITH SCORE 114421.68
AT ITER 5800 NEW BEST:: SOT 2885760 SOS 936678 HAS SOPS 935054 HAS SOUS 113529 HAS SOUPS 113357 WITH SCORE 114293.678
AT ITER 5818 NEW BEST:: SOT 2885759 SOS 936677 HAS SOPS 935053 HAS SOUS 113416 HAS SOUPS 113244 WITH SCORE 114180.677
AT ITER 5830 NEW BEST:: SOT 2885517 SOS 936435 HAS SOPS 934811 HAS SOUS 112917 HAS SOUPS 112745 WITH SCORE 113681.435
AT ITER 5849 NEW BEST:: SOT 2885420 SOS 936338 HAS SOPS 934714 HAS SOUS 112690 HAS SOUPS 112518 WITH SCORE 113454.338
AT ITER 5851 NEW BEST:: SOT 2885330 SOS 936248 HAS SOPS 934624 HAS SOUS 112485 HAS SOUPS 112313 WITH SCORE 113249.248
AT ITER 5854 NEW BEST:: SOT 2885226 SOS 936144 HAS SOPS 934520 HAS SOUS 112313 HAS SOUPS 112141 WITH SCORE 113077.144
AT ITER 5855 NEW BEST:: SOT 2885226 SOS 936144 HAS SOPS 934520 HAS SOUS 112307 HAS SOUPS 112135 WITH SCORE 113071.144
AT ITER 5877 NEW BEST:: SOT 2885212 SOS 936130 HAS SOPS 934506 HAS SOUS 112279 HAS SOUPS 112107 WITH SCORE 113043.13
AT ITER 5883 NEW BEST:: SOT 2885194 SOS 936112 HAS SOPS 934488 HAS SOUS 112099 HAS SOUPS 111927 WITH SCORE 112863.112
AT ITER 5906 NEW BEST:: SOT 2885186 SOS 936104 HAS SOPS 934480 HAS SOUS 112019 HAS SOUPS 111847 WITH SCORE 112783.104
AT ITER 5947 NEW BEST:: SOT 2885149 SOS 936067 HAS SOPS 934443 HAS SOUS 111982 HAS SOUPS 111810 WITH SCORE 112746.067
AT ITER 5955 NEW BEST:: SOT 2885219 SOS 936137 HAS SOPS 934513 HAS SOUS 111889 HAS SOUPS 111717 WITH SCORE 112653.137
AT ITER 5963 NEW BEST:: SOT 2885182 SOS 936100 HAS SOPS 934476 HAS SOUS 111827 HAS SOUPS 111655 WITH SCORE 112591.1
AT ITER 5979 NEW BEST:: SOT 2885181 SOS 936099 HAS SOPS 934475 HAS SOUS 111825 HAS SOUPS 111653 WITH SCORE 112589.099
AT ITER 5997 NEW BEST:: SOT 2885181 SOS 936099 HAS SOPS 934475 HAS SOUS 111807 HAS SOUPS 111635 WITH SCORE 112571.099
AT ITER 6004 NEW BEST:: SOT 2885150 SOS 936090 HAS SOPS 934466 HAS SOUS 111754 HAS SOUPS 111582 WITH SCORE 112518.09
AT ITER 6034 NEW BEST:: SOT 2885194 SOS 936143 HAS SOPS 934519 HAS SOUS 111719 HAS SOUPS 111547 WITH SCORE 112483.143
AT ITER 6045 NEW BEST:: SOT 2885197 SOS 936161 HAS SOPS 934537 HAS SOUS 111707 HAS SOUPS 111535 WITH SCORE 112471.161
AT ITER 6071 NEW BEST:: SOT 2885188 SOS 936161 HAS SOPS 934537 HAS SOUS 111689 HAS SOUPS 111517 WITH SCORE 112453.161
AT ITER 6074 NEW BEST:: SOT 2885138 SOS 936111 HAS SOPS 934487 HAS SOUS 111617 HAS SOUPS 111445 WITH SCORE 112381.111
AT ITER 6084 NEW BEST:: SOT 2885138 SOS 936490 HAS SOPS 934676 HAS SOUS 111617 HAS SOUPS 111426 WITH SCORE 112362.49
AT ITER 6106 NEW BEST:: SOT 2885050 SOS 936402 HAS SOPS 934588 HAS SOUS 111529 HAS SOUPS 111338 WITH SCORE 112274.402
AT ITER 6121 NEW BEST:: SOT 2885002 SOS 936354 HAS SOPS 934540 HAS SOUS 111481 HAS SOUPS 111290 WITH SCORE 112226.354
AT ITER 6144 NEW BEST:: SOT 2884999 SOS 960361 HAS SOPS 958590 HAS SOUS 111135 HAS SOUPS 110954 WITH SCORE 111914.361
AT ITER 6153 NEW BEST:: SOT 2885002 SOS 960314 HAS SOPS 958543 HAS SOUS 111111 HAS SOUPS 110930 WITH SCORE 111890.314
AT ITER 6156 NEW BEST:: SOT 2884962 SOS 960274 HAS SOPS 958503 HAS SOUS 111031 HAS SOUPS 110850 WITH SCORE 111810.274
AT ITER 6161 NEW BEST:: SOT 2884952 SOS 960264 HAS SOPS 958493 HAS SOUS 111011 HAS SOUPS 110830 WITH SCORE 111790.264
AT ITER 6218 NEW BEST:: SOT 2884948 SOS 960260 HAS SOPS 958489 HAS SOUS 111000 HAS SOUPS 110819 WITH SCORE 111779.26
AT ITER 6274 NEW BEST:: SOT 2884821 SOS 960133 HAS SOPS 958362 HAS SOUS 110873 HAS SOUPS 110692 WITH SCORE 111652.133
AT ITER 6291 NEW BEST:: SOT 2884759 SOS 960071 HAS SOPS 958300 HAS SOUS 110789 HAS SOUPS 110608 WITH SCORE 111568.071
AT ITER 6377 NEW BEST:: SOT 2884645 SOS 959957 HAS SOPS 958186 HAS SOUS 110604 HAS SOUPS 110423 WITH SCORE 111382.957
AT ITER 6385 NEW BEST:: SOT 2884637 SOS 959949 HAS SOPS 958178 HAS SOUS 110588 HAS SOUPS 110407 WITH SCORE 111366.949
AT ITER 6423 NEW BEST:: SOT 2884628 SOS 959931 HAS SOPS 958160 HAS SOUS 110570 HAS SOUPS 110389 WITH SCORE 111348.931
AT ITER 6432 NEW BEST:: SOT 2884623 SOS 959926 HAS SOPS 958155 HAS SOUS 110563 HAS SOUPS 110382 WITH SCORE 111341.926
AT ITER 6434 NEW BEST:: SOT 2884354 SOS 959640 HAS SOPS 957869 HAS SOUS 110277 HAS SOUPS 110096 WITH SCORE 111055.64
AT ITER 6437 NEW BEST:: SOT 2884354 SOS 959640 HAS SOPS 957869 HAS SOUS 110257 HAS SOUPS 110076 WITH SCORE 111035.64
AT ITER 6458 NEW BEST:: SOT 2884271 SOS 959614 HAS SOPS 957843 HAS SOUS 110170 HAS SOUPS 109989 WITH SCORE 110948.614
AT ITER 6472 NEW BEST:: SOT 2884249 SOS 959592 HAS SOPS 957821 HAS SOUS 110072 HAS SOUPS 109891 WITH SCORE 110850.592
AT ITER 6480 NEW BEST:: SOT 2884226 SOS 959569 HAS SOPS 957798 HAS SOUS 110026 HAS SOUPS 109845 WITH SCORE 110804.569
AT ITER 6500 NEW BEST:: SOT 2884226 SOS 959558 HAS SOPS 957787 HAS SOUS 110020 HAS SOUPS 109839 WITH SCORE 110798.558
AT ITER 6508 NEW BEST:: SOT 2866797 SOS 942114 HAS SOPS 940343 HAS SOUS 108766 HAS SOUPS 108585 WITH SCORE 109527.114
AT ITER 6560 NEW BEST:: SOT 2866797 SOS 942114 HAS SOPS 940343 HAS SOUS 108504 HAS SOUPS 108323 WITH SCORE 109265.114
AT ITER 6627 NEW BEST:: SOT 2866780 SOS 942080 HAS SOPS 940309 HAS SOUS 108487 HAS SOUPS 108306 WITH SCORE 109248.08
AT ITER 6629 NEW BEST:: SOT 2866598 SOS 941898 HAS SOPS 940127 HAS SOUS 108059 HAS SOUPS 107878 WITH SCORE 108819.898
AT ITER 6673 NEW BEST:: SOT 2866532 SOS 941832 HAS SOPS 940061 HAS SOUS 107993 HAS SOUPS 107812 WITH SCORE 108753.832
AT ITER 6679 NEW BEST:: SOT 2866463 SOS 941763 HAS SOPS 939992 HAS SOUS 107914 HAS SOUPS 107733 WITH SCORE 108674.763
AT ITER 6680 NEW BEST:: SOT 2866399 SOS 941699 HAS SOPS 939928 HAS SOUS 107763 HAS SOUPS 107582 WITH SCORE 108523.699
AT ITER 6684 NEW BEST:: SOT 2866173 SOS 941473 HAS SOPS 939702 HAS SOUS 107477 HAS SOUPS 107296 WITH SCORE 108237.473
AT ITER 6691 NEW BEST:: SOT 2866088 SOS 941388 HAS SOPS 939617 HAS SOUS 107223 HAS SOUPS 107042 WITH SCORE 107983.388
AT ITER 6693 NEW BEST:: SOT 2865984 SOS 941284 HAS SOPS 939513 HAS SOUS 107020 HAS SOUPS 106839 WITH SCORE 107780.284
AT ITER 6698 NEW BEST:: SOT 2865928 SOS 941228 HAS SOPS 939457 HAS SOUS 106964 HAS SOUPS 106783 WITH SCORE 107724.228
AT ITER 6738 NEW BEST:: SOT 2865899 SOS 941199 HAS SOPS 939428 HAS SOUS 106906 HAS SOUPS 106725 WITH SCORE 107666.199
AT ITER 6741 NEW BEST:: SOT 2865666 SOS 940966 HAS SOPS 939195 HAS SOUS 106489 HAS SOUPS 106308 WITH SCORE 107248.966
AT ITER 6745 NEW BEST:: SOT 2865696 SOS 940996 HAS SOPS 939225 HAS SOUS 106391 HAS SOUPS 106210 WITH SCORE 107150.996
AT ITER 6768 NEW BEST:: SOT 2865689 SOS 940898 HAS SOPS 939127 HAS SOUS 106361 HAS SOUPS 106180 WITH SCORE 107120.898
AT ITER 6787 NEW BEST:: SOT 2865641 SOS 940850 HAS SOPS 939079 HAS SOUS 106254 HAS SOUPS 106073 WITH SCORE 107013.85
AT ITER 6820 NEW BEST:: SOT 2865624 SOS 940833 HAS SOPS 939062 HAS SOUS 106237 HAS SOUPS 106056 WITH SCORE 106996.833
AT ITER 6841 NEW BEST:: SOT 2865624 SOS 940833 HAS SOPS 939062 HAS SOUS 106230 HAS SOUPS 106049 WITH SCORE 106989.833
AT ITER 6862 NEW BEST:: SOT 2865664 SOS 940873 HAS SOPS 939102 HAS SOUS 106075 HAS SOUPS 105894 WITH SCORE 106834.873
AT ITER 6871 NEW BEST:: SOT 2865664 SOS 940854 HAS SOPS 939083 HAS SOUS 106075 HAS SOUPS 105894 WITH SCORE 106834.854
AT ITER 6877 NEW BEST:: SOT 2865645 SOS 940835 HAS SOPS 939064 HAS SOUS 106056 HAS SOUPS 105875 WITH SCORE 106815.835
AT ITER 6882 NEW BEST:: SOT 2865603 SOS 940793 HAS SOPS 939022 HAS SOUS 106014 HAS SOUPS 105833 WITH SCORE 106773.793
AT ITER 6913 NEW BEST:: SOT 2865603 SOS 940815 HAS SOPS 939044 HAS SOUS 105993 HAS SOUPS 105812 WITH SCORE 106752.815
AT ITER 6915 NEW BEST:: SOT 2865580 SOS 940792 HAS SOPS 939021 HAS SOUS 105991 HAS SOUPS 105810 WITH SCORE 106750.792
AT ITER 6937 NEW BEST:: SOT 2865584 SOS 940795 HAS SOPS 939024 HAS SOUS 105949 HAS SOUPS 105768 WITH SCORE 106708.795
AT ITER 6939 NEW BEST:: SOT 2865569 SOS 940780 HAS SOPS 939009 HAS SOUS 105940 HAS SOUPS 105759 WITH SCORE 106699.78
AT ITER 6947 NEW BEST:: SOT 2865568 SOS 940779 HAS SOPS 939008 HAS SOUS 105938 HAS SOUPS 105757 WITH SCORE 106697.779
AT ITER 6952 NEW BEST:: SOT 2865564 SOS 925731 HAS SOPS 923960 HAS SOUS 105918 HAS SOUPS 105737 WITH SCORE 106662.731
AT ITER 6956 NEW BEST:: SOT 2865525 SOS 925692 HAS SOPS 923921 HAS SOUS 105879 HAS SOUPS 105698 WITH SCORE 106623.692
AT ITER 6972 NEW BEST:: SOT 2865522 SOS 925689 HAS SOPS 923918 HAS SOUS 105876 HAS SOUPS 105695 WITH SCORE 106620.689
AT ITER 6982 NEW BEST:: SOT 2865602 SOS 925769 HAS SOPS 923998 HAS SOUS 105647 HAS SOUPS 105466 WITH SCORE 106391.769
AT ITER 6985 NEW BEST:: SOT 2865624 SOS 925791 HAS SOPS 924020 HAS SOUS 105627 HAS SOUPS 105446 WITH SCORE 106371.791
AT ITER 7020 NEW BEST:: SOT 2865486 SOS 925653 HAS SOPS 923882 HAS SOUS 105334 HAS SOUPS 105153 WITH SCORE 106078.653
AT ITER 7033 NEW BEST:: SOT 2865463 SOS 925630 HAS SOPS 923859 HAS SOUS 105311 HAS SOUPS 105130 WITH SCORE 106055.63
AT ITER 7034 NEW BEST:: SOT 2865458 SOS 925625 HAS SOPS 923854 HAS SOUS 105306 HAS SOUPS 105125 WITH SCORE 106050.625
AT ITER 7061 NEW BEST:: SOT 2865436 SOS 925603 HAS SOPS 923832 HAS SOUS 105276 HAS SOUPS 105095 WITH SCORE 106020.603
AT ITER 7072 NEW BEST:: SOT 2865374 SOS 925541 HAS SOPS 923770 HAS SOUS 105187 HAS SOUPS 105006 WITH SCORE 105931.541
AT ITER 7115 NEW BEST:: SOT 2865324 SOS 925491 HAS SOPS 923720 HAS SOUS 105137 HAS SOUPS 104956 WITH SCORE 105881.491
AT ITER 7122 NEW BEST:: SOT 2865719 SOS 925759 HAS SOPS 923988 HAS SOUS 105128 HAS SOUPS 104947 WITH SCORE 105872.759
AT ITER 7134 NEW BEST:: SOT 2865665 SOS 925705 HAS SOPS 923934 HAS SOUS 105036 HAS SOUPS 104855 WITH SCORE 105780.705
AT ITER 7153 NEW BEST:: SOT 2865611 SOS 925651 HAS SOPS 923880 HAS SOUS 104946 HAS SOUPS 104765 WITH SCORE 105690.651
AT ITER 7173 NEW BEST:: SOT 2865540 SOS 925580 HAS SOPS 923809 HAS SOUS 104803 HAS SOUPS 104622 WITH SCORE 105547.58
AT ITER 7182 NEW BEST:: SOT 2865555 SOS 925610 HAS SOPS 923839 HAS SOUS 104683 HAS SOUPS 104502 WITH SCORE 105427.61
AT ITER 7193 NEW BEST:: SOT 2865555 SOS 925580 HAS SOPS 923815 HAS SOUS 104662 HAS SOUPS 104481 WITH SCORE 105406.58
AT ITER 7203 NEW BEST:: SOT 2865496 SOS 925736 HAS SOPS 923971 HAS SOUS 104544 HAS SOUPS 104363 WITH SCORE 105288.736
AT ITER 7204 NEW BEST:: SOT 2865484 SOS 925712 HAS SOPS 923947 HAS SOUS 104520 HAS SOUPS 104339 WITH SCORE 105264.712
AT ITER 7213 NEW BEST:: SOT 2865525 SOS 925921 HAS SOPS 924156 HAS SOUS 104490 HAS SOUPS 104309 WITH SCORE 105234.921
AT ITER 7221 NEW BEST:: SOT 2865521 SOS 925917 HAS SOPS 924152 HAS SOUS 104486 HAS SOUPS 104305 WITH SCORE 105230.917
AT ITER 7225 NEW BEST:: SOT 2865521 SOS 925917 HAS SOPS 924152 HAS SOUS 104482 HAS SOUPS 104301 WITH SCORE 105226.917
AT ITER 7240 NEW BEST:: SOT 2865491 SOS 925887 HAS SOPS 924122 HAS SOUS 104452 HAS SOUPS 104271 WITH SCORE 105196.887
AT ITER 7270 NEW BEST:: SOT 2865463 SOS 925859 HAS SOPS 924094 HAS SOUS 104396 HAS SOUPS 104215 WITH SCORE 105140.859
AT ITER 7274 NEW BEST:: SOT 2865457 SOS 925856 HAS SOPS 924091 HAS SOUS 104390 HAS SOUPS 104209 WITH SCORE 105134.856
AT ITER 7275 NEW BEST:: SOT 2865457 SOS 925856 HAS SOPS 924091 HAS SOUS 104371 HAS SOUPS 104190 WITH SCORE 105115.856
AT ITER 7284 NEW BEST:: SOT 2865460 SOS 925847 HAS SOPS 924082 HAS SOUS 104353 HAS SOUPS 104172 WITH SCORE 105097.847
AT ITER 7290 NEW BEST:: SOT 2865404 SOS 925791 HAS SOPS 924026 HAS SOUS 104208 HAS SOUPS 104027 WITH SCORE 104952.791
AT ITER 7309 NEW BEST:: SOT 2865378 SOS 925765 HAS SOPS 924000 HAS SOUS 104177 HAS SOUPS 103996 WITH SCORE 104921.765
AT ITER 7346 NEW BEST:: SOT 2865378 SOS 925765 HAS SOPS 924000 HAS SOUS 104165 HAS SOUPS 103984 WITH SCORE 104909.765
AT ITER 7352 NEW BEST:: SOT 2865338 SOS 925716 HAS SOPS 923951 HAS SOUS 104116 HAS SOUPS 103935 WITH SCORE 104860.716
AT ITER 7361 NEW BEST:: SOT 2865291 SOS 925715 HAS SOPS 923950 HAS SOUS 104063 HAS SOUPS 103882 WITH SCORE 104807.715
AT ITER 7367 NEW BEST:: SOT 2865115 SOS 925539 HAS SOPS 923774 HAS SOUS 103769 HAS SOUPS 103588 WITH SCORE 104513.539
AT ITER 7368 NEW BEST:: SOT 2865033 SOS 925512 HAS SOPS 923747 HAS SOUS 103666 HAS SOUPS 103485 WITH SCORE 104410.512
AT ITER 7378 NEW BEST:: SOT 2865143 SOS 925622 HAS SOPS 923857 HAS SOUS 103463 HAS SOUPS 103282 WITH SCORE 104207.622
AT ITER 7380 NEW BEST:: SOT 2865158 SOS 925637 HAS SOPS 923872 HAS SOUS 103446 HAS SOUPS 103265 WITH SCORE 104190.637
AT ITER 7393 NEW BEST:: SOT 2865110 SOS 925589 HAS SOPS 923824 HAS SOUS 103398 HAS SOUPS 103217 WITH SCORE 104142.589
AT ITER 7395 NEW BEST:: SOT 2865110 SOS 925537 HAS SOPS 923772 HAS SOUS 103394 HAS SOUPS 103213 WITH SCORE 104138.537
AT ITER 7444 NEW BEST:: SOT 2865244 SOS 925671 HAS SOPS 923906 HAS SOUS 103378 HAS SOUPS 103197 WITH SCORE 104122.671
AT ITER 7504 NEW BEST:: SOT 2864915 SOS 925370 HAS SOPS 923605 HAS SOUS 103077 HAS SOUPS 102896 WITH SCORE 103821.37
AT ITER 7518 NEW BEST:: SOT 2864908 SOS 925363 HAS SOPS 923598 HAS SOUS 103070 HAS SOUPS 102889 WITH SCORE 103814.363
AT ITER 7532 NEW BEST:: SOT 2864857 SOS 925312 HAS SOPS 923547 HAS SOUS 102949 HAS SOUPS 102768 WITH SCORE 103693.312
AT ITER 7539 NEW BEST:: SOT 2864726 SOS 925181 HAS SOPS 923416 HAS SOUS 102638 HAS SOUPS 102457 WITH SCORE 103382.181
AT ITER 7543 NEW BEST:: SOT 2864671 SOS 925126 HAS SOPS 923361 HAS SOUS 102583 HAS SOUPS 102402 WITH SCORE 103327.126
AT ITER 7547 NEW BEST:: SOT 2864658 SOS 925113 HAS SOPS 923348 HAS SOUS 102571 HAS SOUPS 102390 WITH SCORE 103315.113
AT ITER 7549 NEW BEST:: SOT 2864467 SOS 924922 HAS SOPS 923157 HAS SOUS 102308 HAS SOUPS 102127 WITH SCORE 103051.922
AT ITER 7557 NEW BEST:: SOT 2864467 SOS 924919 HAS SOPS 923154 HAS SOUS 102308 HAS SOUPS 102127 WITH SCORE 103051.919
AT ITER 7559 NEW BEST:: SOT 2864428 SOS 924880 HAS SOPS 923115 HAS SOUS 102243 HAS SOUPS 102062 WITH SCORE 102986.88
AT ITER 7561 NEW BEST:: SOT 2864417 SOS 924869 HAS SOPS 923104 HAS SOUS 102232 HAS SOUPS 102051 WITH SCORE 102975.869
AT ITER 7576 NEW BEST:: SOT 2864195 SOS 924647 HAS SOPS 922882 HAS SOUS 101816 HAS SOUPS 101635 WITH SCORE 102559.647
AT ITER 7593 NEW BEST:: SOT 2864195 SOS 924613 HAS SOPS 922848 HAS SOUS 101816 HAS SOUPS 101635 WITH SCORE 102559.613
AT ITER 7652 NEW BEST:: SOT 2864190 SOS 924608 HAS SOPS 922843 HAS SOUS 101809 HAS SOUPS 101628 WITH SCORE 102552.608
AT ITER 7672 NEW BEST:: SOT 2864111 SOS 924450 HAS SOPS 922685 HAS SOUS 101677 HAS SOUPS 101496 WITH SCORE 102420.45
AT ITER 7675 NEW BEST:: SOT 2864101 SOS 924440 HAS SOPS 922675 HAS SOUS 101667 HAS SOUPS 101486 WITH SCORE 102410.44
AT ITER 7683 NEW BEST:: SOT 2864109 SOS 924350 HAS SOPS 922585 HAS SOUS 101585 HAS SOUPS 101404 WITH SCORE 102328.35
AT ITER 7713 NEW BEST:: SOT 2864058 SOS 924299 HAS SOPS 922534 HAS SOUS 101493 HAS SOUPS 101312 WITH SCORE 102236.299
AT ITER 7740 NEW BEST:: SOT 2864120 SOS 924361 HAS SOPS 922596 HAS SOUS 101219 HAS SOUPS 101038 WITH SCORE 101962.361
AT ITER 7751 NEW BEST:: SOT 2864101 SOS 924342 HAS SOPS 922577 HAS SOUS 101200 HAS SOUPS 101019 WITH SCORE 101943.342
AT ITER 7791 NEW BEST:: SOT 2864081 SOS 924322 HAS SOPS 922557 HAS SOUS 101180 HAS SOUPS 100999 WITH SCORE 101923.322
AT ITER 7832 NEW BEST:: SOT 2864132 SOS 924373 HAS SOPS 922608 HAS SOUS 101142 HAS SOUPS 100961 WITH SCORE 101885.373
AT ITER 7835 NEW BEST:: SOT 2864110 SOS 924399 HAS SOPS 922634 HAS SOUS 101110 HAS SOUPS 100929 WITH SCORE 101853.399
AT ITER 7838 NEW BEST:: SOT 2864098 SOS 924387 HAS SOPS 922622 HAS SOUS 101079 HAS SOUPS 100898 WITH SCORE 101822.387
AT ITER 7852 NEW BEST:: SOT 2864054 SOS 924343 HAS SOPS 922578 HAS SOUS 101047 HAS SOUPS 100866 WITH SCORE 101790.343
AT ITER 7881 NEW BEST:: SOT 2864033 SOS 924322 HAS SOPS 922557 HAS SOUS 101026 HAS SOUPS 100845 WITH SCORE 101769.322
AT ITER 7896 NEW BEST:: SOT 2864019 SOS 924308 HAS SOPS 922543 HAS SOUS 101012 HAS SOUPS 100831 WITH SCORE 101755.308
AT ITER 7898 NEW BEST:: SOT 2863895 SOS 754984 HAS SOPS 753219 HAS SOUS 100719 HAS SOUPS 100538 WITH SCORE 101292.984
AT ITER 7923 NEW BEST:: SOT 2863859 SOS 754936 HAS SOPS 753171 HAS SOUS 100671 HAS SOUPS 100490 WITH SCORE 101244.936
AT ITER 7939 NEW BEST:: SOT 2863855 SOS 754932 HAS SOPS 753167 HAS SOUS 100631 HAS SOUPS 100450 WITH SCORE 101204.932
AT ITER 7989 NEW BEST:: SOT 2863850 SOS 754927 HAS SOPS 753162 HAS SOUS 100626 HAS SOUPS 100445 WITH SCORE 101199.927
AT ITER 8034 NEW BEST:: SOT 2863765 SOS 754842 HAS SOPS 753077 HAS SOUS 100480 HAS SOUPS 100299 WITH SCORE 101053.842
AT ITER 8123 NEW BEST:: SOT 2863724 SOS 754801 HAS SOPS 753036 HAS SOUS 100439 HAS SOUPS 100258 WITH SCORE 101012.801
AT ITER 8136 NEW BEST:: SOT 2863706 SOS 754783 HAS SOPS 753018 HAS SOUS 100391 HAS SOUPS 100210 WITH SCORE 100964.783
AT ITER 8155 NEW BEST:: SOT 2863670 SOS 754747 HAS SOPS 752982 HAS SOUS 100355 HAS SOUPS 100174 WITH SCORE 100928.747
AT ITER 8161 NEW BEST:: SOT 2863660 SOS 754747 HAS SOPS 752982 HAS SOUS 100335 HAS SOUPS 100154 WITH SCORE 100908.747
AT ITER 8200 NEW BEST:: SOT 2863668 SOS 754755 HAS SOPS 752990 HAS SOUS 100298 HAS SOUPS 100117 WITH SCORE 100871.755
AT ITER 8215 NEW BEST:: SOT 2863675 SOS 754755 HAS SOPS 752990 HAS SOUS 100296 HAS SOUPS 100115 WITH SCORE 100869.755
AT ITER 8233 NEW BEST:: SOT 2863671 SOS 754751 HAS SOPS 752986 HAS SOUS 100292 HAS SOUPS 100111 WITH SCORE 100865.751
AT ITER 8256 NEW BEST:: SOT 2863863 SOS 754943 HAS SOPS 753178 HAS SOUS 100110 HAS SOUPS 99929 WITH SCORE 100683.943
AT ITER 8275 NEW BEST:: SOT 2863814 SOS 754894 HAS SOPS 753129 HAS SOUS 100025 HAS SOUPS 99844 WITH SCORE 100598.894
AT ITER 8317 NEW BEST:: SOT 2863623 SOS 754703 HAS SOPS 752938 HAS SOUS 99468 HAS SOUPS 99287 WITH SCORE 100041.703
AT ITER 8333 NEW BEST:: SOT 2863611 SOS 754691 HAS SOPS 752926 HAS SOUS 99456 HAS SOUPS 99275 WITH SCORE 100029.691
AT ITER 8370 NEW BEST:: SOT 2863631 SOS 754711 HAS SOPS 752946 HAS SOUS 99359 HAS SOUPS 99178 WITH SCORE 99932.711
AT ITER 8423 NEW BEST:: SOT 2863683 SOS 754763 HAS SOPS 752998 HAS SOUS 99267 HAS SOUPS 99086 WITH SCORE 99840.763
AT ITER 8534 NEW BEST:: SOT 2863688 SOS 754768 HAS SOPS 753003 HAS SOUS 99264 HAS SOUPS 99083 WITH SCORE 99837.768
AT ITER 8539 NEW BEST:: SOT 2863647 SOS 754727 HAS SOPS 752962 HAS SOUS 99037 HAS SOUPS 98856 WITH SCORE 99610.727
AT ITER 8542 NEW BEST:: SOT 2863690 SOS 754712 HAS SOPS 752947 HAS SOUS 99013 HAS SOUPS 98832 WITH SCORE 99586.712
AT ITER 8579 NEW BEST:: SOT 2863712 SOS 754734 HAS SOPS 752969 HAS SOUS 98887 HAS SOUPS 98706 WITH SCORE 99460.734
AT ITER 8581 NEW BEST:: SOT 2863712 SOS 754734 HAS SOPS 752969 HAS SOUS 98885 HAS SOUPS 98704 WITH SCORE 99458.734
AT ITER 8583 NEW BEST:: SOT 2863686 SOS 754721 HAS SOPS 752956 HAS SOUS 98859 HAS SOUPS 98678 WITH SCORE 99432.721
AT ITER 8597 NEW BEST:: SOT 2863779 SOS 754852 HAS SOPS 753087 HAS SOUS 98741 HAS SOUPS 98560 WITH SCORE 99314.852
AT ITER 8601 NEW BEST:: SOT 2863686 SOS 754803 HAS SOPS 753038 HAS SOUS 98676 HAS SOUPS 98495 WITH SCORE 99249.803
AT ITER 8611 NEW BEST:: SOT 2863663 SOS 754780 HAS SOPS 753015 HAS SOUS 98653 HAS SOUPS 98472 WITH SCORE 99226.78
AT ITER 8624 NEW BEST:: SOT 2863638 SOS 754755 HAS SOPS 752990 HAS SOUS 98589 HAS SOUPS 98408 WITH SCORE 99162.755
AT ITER 8676 NEW BEST:: SOT 2863851 SOS 755035 HAS SOPS 753270 HAS SOUS 98539 HAS SOUPS 98358 WITH SCORE 99113.035
AT ITER 8691 NEW BEST:: SOT 2863845 SOS 755029 HAS SOPS 753264 HAS SOUS 98533 HAS SOUPS 98352 WITH SCORE 99107.029
AT ITER 8706 NEW BEST:: SOT 2863849 SOS 740344 HAS SOPS 738562 HAS SOUS 98532 HAS SOUPS 98347 WITH SCORE 99087.344
AT ITER 8713 NEW BEST:: SOT 2863849 SOS 740360 HAS SOPS 738578 HAS SOUS 98490 HAS SOUPS 98305 WITH SCORE 99045.36
AT ITER 8720 NEW BEST:: SOT 2863802 SOS 740313 HAS SOPS 738531 HAS SOUS 98416 HAS SOUPS 98231 WITH SCORE 98971.313
AT ITER 8761 NEW BEST:: SOT 2863592 SOS 740103 HAS SOPS 738321 HAS SOUS 98017 HAS SOUPS 97832 WITH SCORE 98572.103
AT ITER 8763 NEW BEST:: SOT 2863622 SOS 740133 HAS SOPS 738351 HAS SOUS 98010 HAS SOUPS 97825 WITH SCORE 98565.133
AT ITER 8781 NEW BEST:: SOT 2863622 SOS 740133 HAS SOPS 738351 HAS SOUS 98007 HAS SOUPS 97822 WITH SCORE 98562.133
AT ITER 8812 NEW BEST:: SOT 2863638 SOS 740149 HAS SOPS 738367 HAS SOUS 98006 HAS SOUPS 97821 WITH SCORE 98561.149
AT ITER 8828 NEW BEST:: SOT 2863626 SOS 740137 HAS SOPS 738355 HAS SOUS 97970 HAS SOUPS 97785 WITH SCORE 98525.137
AT ITER 8842 NEW BEST:: SOT 2863582 SOS 740093 HAS SOPS 738311 HAS SOUS 97913 HAS SOUPS 97728 WITH SCORE 98468.093
AT ITER 8848 NEW BEST:: SOT 2863558 SOS 740069 HAS SOPS 738287 HAS SOUS 97889 HAS SOUPS 97704 WITH SCORE 98444.069
AT ITER 8851 NEW BEST:: SOT 2863558 SOS 616137 HAS SOPS 614392 HAS SOUS 97728 HAS SOUPS 97543 WITH SCORE 98159.137
AT ITER 8871 NEW BEST:: SOT 2863478 SOS 616057 HAS SOPS 614312 HAS SOUS 97588 HAS SOUPS 97403 WITH SCORE 98019.057
AT ITER 8874 NEW BEST:: SOT 2863480 SOS 615993 HAS SOPS 614248 HAS SOUS 97580 HAS SOUPS 97395 WITH SCORE 98010.993
AT ITER 8880 NEW BEST:: SOT 2863494 SOS 615843 HAS SOPS 614098 HAS SOUS 97430 HAS SOUPS 97245 WITH SCORE 97860.843
AT ITER 8887 NEW BEST:: SOT 2863486 SOS 615835 HAS SOPS 614090 HAS SOUS 97402 HAS SOUPS 97217 WITH SCORE 97832.835
AT ITER 8894 NEW BEST:: SOT 2863533 SOS 615882 HAS SOPS 614137 HAS SOUS 97148 HAS SOUPS 96963 WITH SCORE 97578.882
AT ITER 8910 NEW BEST:: SOT 2863529 SOS 615878 HAS SOPS 614133 HAS SOUS 97144 HAS SOUPS 96959 WITH SCORE 97574.878
AT ITER 8913 NEW BEST:: SOT 2863447 SOS 615796 HAS SOPS 614051 HAS SOUS 97001 HAS SOUPS 96816 WITH SCORE 97431.796
AT ITER 8944 NEW BEST:: SOT 2863433 SOS 615782 HAS SOPS 614037 HAS SOUS 96959 HAS SOUPS 96774 WITH SCORE 97389.782
AT ITER 8953 NEW BEST:: SOT 2863425 SOS 615774 HAS SOPS 614029 HAS SOUS 96943 HAS SOUPS 96758 WITH SCORE 97373.774
AT ITER 9015 NEW BEST:: SOT 2863422 SOS 615771 HAS SOPS 614026 HAS SOUS 96940 HAS SOUPS 96755 WITH SCORE 97370.771
AT ITER 9057 NEW BEST:: SOT 2863413 SOS 615762 HAS SOPS 614017 HAS SOUS 96931 HAS SOUPS 96746 WITH SCORE 97361.762
AT ITER 9144 NEW BEST:: SOT 2863375 SOS 615879 HAS SOPS 614134 HAS SOUS 96870 HAS SOUPS 96685 WITH SCORE 97300.879
AT ITER 9198 NEW BEST:: SOT 2863353 SOS 615868 HAS SOPS 614123 HAS SOUS 96848 HAS SOUPS 96663 WITH SCORE 97278.868
AT ITER 9200 NEW BEST:: SOT 2863254 SOS 615769 HAS SOPS 614024 HAS SOUS 96749 HAS SOUPS 96564 WITH SCORE 97179.769
AT ITER 9211 NEW BEST:: SOT 2863162 SOS 615677 HAS SOPS 613932 HAS SOUS 96671 HAS SOUPS 96486 WITH SCORE 97101.677
AT ITER 9214 NEW BEST:: SOT 2863103 SOS 615618 HAS SOPS 613873 HAS SOUS 96591 HAS SOUPS 96406 WITH SCORE 97021.618
AT ITER 9225 NEW BEST:: SOT 2863065 SOS 615580 HAS SOPS 613835 HAS SOUS 96534 HAS SOUPS 96349 WITH SCORE 96964.58
AT ITER 9228 NEW BEST:: SOT 2863058 SOS 616160 HAS SOPS 614415 HAS SOUS 96527 HAS SOUPS 96342 WITH SCORE 96958.16
AT ITER 9240 NEW BEST:: SOT 2863002 SOS 616104 HAS SOPS 614359 HAS SOUS 96406 HAS SOUPS 96221 WITH SCORE 96837.104
AT ITER 9255 NEW BEST:: SOT 2863011 SOS 616113 HAS SOPS 614368 HAS SOUS 96377 HAS SOUPS 96192 WITH SCORE 96808.113
AT ITER 9291 NEW BEST:: SOT 2862916 SOS 616002 HAS SOPS 614257 HAS SOUS 96336 HAS SOUPS 96151 WITH SCORE 96767.002
AT ITER 9295 NEW BEST:: SOT 2862894 SOS 615980 HAS SOPS 614235 HAS SOUS 96296 HAS SOUPS 96111 WITH SCORE 96726.98
AT ITER 9307 NEW BEST:: SOT 2862894 SOS 614288 HAS SOPS 612543 HAS SOUS 96191 HAS SOUPS 96006 WITH SCORE 96620.288
AT ITER 9342 NEW BEST:: SOT 2862672 SOS 614066 HAS SOPS 612321 HAS SOUS 96169 HAS SOUPS 95984 WITH SCORE 96598.066
AT ITER 9399 NEW BEST:: SOT 2862618 SOS 614012 HAS SOPS 612267 HAS SOUS 96075 HAS SOUPS 95890 WITH SCORE 96504.012
AT ITER 9402 NEW BEST:: SOT 2862504 SOS 613898 HAS SOPS 612153 HAS SOUS 95997 HAS SOUPS 95812 WITH SCORE 96425.898
AT ITER 9466 NEW BEST:: SOT 2862494 SOS 613888 HAS SOPS 612143 HAS SOUS 95987 HAS SOUPS 95802 WITH SCORE 96415.888
AT ITER 9472 NEW BEST:: SOT 2862468 SOS 613862 HAS SOPS 612117 HAS SOUS 95946 HAS SOUPS 95761 WITH SCORE 96374.862
AT ITER 9476 NEW BEST:: SOT 2862447 SOS 613841 HAS SOPS 612096 HAS SOUS 95894 HAS SOUPS 95709 WITH SCORE 96322.841
AT ITER 9510 NEW BEST:: SOT 2862357 SOS 613751 HAS SOPS 612006 HAS SOUS 95714 HAS SOUPS 95529 WITH SCORE 96142.751
AT ITER 9564 NEW BEST:: SOT 2862339 SOS 613733 HAS SOPS 611988 HAS SOUS 95688 HAS SOUPS 95503 WITH SCORE 96116.733
AT ITER 9611 NEW BEST:: SOT 2862332 SOS 613726 HAS SOPS 611981 HAS SOUS 95664 HAS SOUPS 95479 WITH SCORE 96092.726
AT ITER 9619 NEW BEST:: SOT 2862324 SOS 613718 HAS SOPS 611973 HAS SOUS 95656 HAS SOUPS 95471 WITH SCORE 96084.718
AT ITER 9639 NEW BEST:: SOT 2862318 SOS 613715 HAS SOPS 611970 HAS SOUS 95650 HAS SOUPS 95465 WITH SCORE 96078.715
AT ITER 9682 NEW BEST:: SOT 2862300 SOS 613697 HAS SOPS 611952 HAS SOUS 95600 HAS SOUPS 95415 WITH SCORE 96028.697
AT ITER 9690 NEW BEST:: SOT 2862394 SOS 613774 HAS SOPS 612029 HAS SOUS 95485 HAS SOUPS 95300 WITH SCORE 95913.774
AT ITER 9701 NEW BEST:: SOT 2862374 SOS 613754 HAS SOPS 612009 HAS SOUS 95465 HAS SOUPS 95280 WITH SCORE 95893.754
AT ITER 9710 NEW BEST:: SOT 2862374 SOS 613704 HAS SOPS 611959 HAS SOUS 95465 HAS SOUPS 95280 WITH SCORE 95893.704
AT ITER 9725 NEW BEST:: SOT 2862374 SOS 613704 HAS SOPS 611955 HAS SOUS 95459 HAS SOUPS 95274 WITH SCORE 95887.704
AT ITER 9744 NEW BEST:: SOT 2862362 SOS 613692 HAS SOPS 611943 HAS SOUS 95444 HAS SOUPS 95259 WITH SCORE 95872.692
AT ITER 9750 NEW BEST:: SOT 2862401 SOS 613731 HAS SOPS 611982 HAS SOUS 95435 HAS SOUPS 95250 WITH SCORE 95863.731
AT ITER 9752 NEW BEST:: SOT 2862402 SOS 613713 HAS SOPS 611964 HAS SOUS 95430 HAS SOUPS 95245 WITH SCORE 95858.713
AT ITER 9754 NEW BEST:: SOT 2862392 SOS 613553 HAS SOPS 611804 HAS SOUS 95420 HAS SOUPS 95235 WITH SCORE 95848.553
AT ITER 9772 NEW BEST:: SOT 2862382 SOS 613503 HAS SOPS 611754 HAS SOUS 95420 HAS SOUPS 95235 WITH SCORE 95848.503
AT ITER 9783 NEW BEST:: SOT 2862303 SOS 613424 HAS SOPS 611675 HAS SOUS 95344 HAS SOUPS 95159 WITH SCORE 95772.424
AT ITER 9788 NEW BEST:: SOT 2862301 SOS 613422 HAS SOPS 611673 HAS SOUS 95336 HAS SOUPS 95151 WITH SCORE 95764.422
AT ITER 9820 NEW BEST:: SOT 2862257 SOS 613378 HAS SOPS 611629 HAS SOUS 95292 HAS SOUPS 95107 WITH SCORE 95720.378
AT ITER 9822 NEW BEST:: SOT 2862252 SOS 613373 HAS SOPS 611624 HAS SOUS 95287 HAS SOUPS 95102 WITH SCORE 95715.373
AT ITER 9846 NEW BEST:: SOT 2862275 SOS 613396 HAS SOPS 611647 HAS SOUS 95084 HAS SOUPS 94899 WITH SCORE 95512.396
AT ITER 9848 NEW BEST:: SOT 2862268 SOS 613389 HAS SOPS 611640 HAS SOUS 95077 HAS SOUPS 94892 WITH SCORE 95505.389
AT ITER 9856 NEW BEST:: SOT 2862228 SOS 613349 HAS SOPS 611600 HAS SOUS 95035 HAS SOUPS 94850 WITH SCORE 95463.349
AT ITER 9875 NEW BEST:: SOT 2862210 SOS 613331 HAS SOPS 611582 HAS SOUS 95017 HAS SOUPS 94832 WITH SCORE 95445.331
AT ITER 9883 NEW BEST:: SOT 2862186 SOS 613307 HAS SOPS 611558 HAS SOUS 94993 HAS SOUPS 94808 WITH SCORE 95421.307
AT ITER 9892 NEW BEST:: SOT 2862116 SOS 613296 HAS SOPS 611547 HAS SOUS 94969 HAS SOUPS 94784 WITH SCORE 95397.296
AT ITER 9909 NEW BEST:: SOT 2862110 SOS 613290 HAS SOPS 611541 HAS SOUS 94952 HAS SOUPS 94767 WITH SCORE 95380.29
AT ITER 9941 NEW BEST:: SOT 2862089 SOS 613269 HAS SOPS 611520 HAS SOUS 94931 HAS SOUPS 94746 WITH SCORE 95359.269
AT ITER 9946 NEW BEST:: SOT 2862082 SOS 613262 HAS SOPS 611513 HAS SOUS 94904 HAS SOUPS 94719 WITH SCORE 95332.262
AT ITER 9964 NEW BEST:: SOT 2862049 SOS 613229 HAS SOPS 611480 HAS SOUS 94878 HAS SOUPS 94693 WITH SCORE 95306.229
AT ITER 9966 NEW BEST:: SOT 2862028 SOS 613204 HAS SOPS 611455 HAS SOUS 94829 HAS SOUPS 94644 WITH SCORE 95257.204
AT ITER 9976 NEW BEST:: SOT 2862197 SOS 613373 HAS SOPS 611624 HAS SOUS 94735 HAS SOUPS 94550 WITH SCORE 95163.373
AT ITER 9989 NEW BEST:: SOT 2862183 SOS 613359 HAS SOPS 611610 HAS SOUS 94693 HAS SOUPS 94508 WITH SCORE 95121.359
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14288940 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16071648 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is PolyORBNT-PT-S10J30, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873953400768"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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