Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 8.1K Mar 23 15:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Mar 23 15:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Mar 23 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 83K Mar 23 15:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 9.0K Mar 23 15:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Mar 23 15:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Mar 23 15:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Mar 23 15:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 1.7M Mar 31 16:48 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1680815047999

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=EisenbergMcGuire-PT-08
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 21:04:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 21:04:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 21:04:10] [INFO ] Load time of PNML (sax parser for PT used): 160 ms
[2023-04-06 21:04:10] [INFO ] Transformed 712 places.
[2023-04-06 21:04:10] [INFO ] Transformed 2816 transitions.
[2023-04-06 21:04:10] [INFO ] Found NUPN structural information;
[2023-04-06 21:04:10] [INFO ] Parsed PT model containing 712 places and 2816 transitions and 13440 arcs in 343 ms.
[2023-04-06 21:04:10] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 712 places, 2816 transitions and 13440 arcs took 32 ms.
Total runtime 408 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 08
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: 712 places, 2816 transitions, 13440 arcs.
AT ITER 0 NEW BEST:: SOT 1550433 SOS 753126 HAS SOPS 495465 HAS SOUS 297266 HAS SOUPS 288392 WITH SCORE 289145.126
AT ITER 3 NEW BEST:: SOT 1550381 SOS 750774 HAS SOPS 493113 HAS SOUS 297162 HAS SOUPS 288288 WITH SCORE 289038.774
AT ITER 14 NEW BEST:: SOT 1550326 SOS 750172 HAS SOPS 492511 HAS SOUS 297052 HAS SOUPS 288178 WITH SCORE 288928.172
AT ITER 15 NEW BEST:: SOT 1550326 SOS 749990 HAS SOPS 492329 HAS SOUS 297052 HAS SOUPS 288178 WITH SCORE 288927.99
AT ITER 22 NEW BEST:: SOT 1550122 SOS 749218 HAS SOPS 491557 HAS SOUS 296644 HAS SOUPS 287770 WITH SCORE 288519.218
AT ITER 41 NEW BEST:: SOT 1549965 SOS 748677 HAS SOPS 491016 HAS SOUS 296323 HAS SOUPS 287449 WITH SCORE 288197.677
AT ITER 43 NEW BEST:: SOT 1549826 SOS 748592 HAS SOPS 491077 HAS SOUS 296272 HAS SOUPS 287398 WITH SCORE 288146.592
AT ITER 47 NEW BEST:: SOT 1549557 SOS 748146 HAS SOPS 490498 HAS SOUS 295996 HAS SOUPS 286986 WITH SCORE 287734.146
AT ITER 51 NEW BEST:: SOT 1546267 SOS 773880 HAS SOPS 487903 HAS SOUS 293956 HAS SOUPS 284432 WITH SCORE 285205.88
AT ITER 52 NEW BEST:: SOT 1546267 SOS 773682 HAS SOPS 487705 HAS SOUS 293956 HAS SOUPS 284432 WITH SCORE 285205.682
AT ITER 54 NEW BEST:: SOT 1546267 SOS 773682 HAS SOPS 485833 HAS SOUS 292084 HAS SOUPS 282560 WITH SCORE 283333.682
AT ITER 61 NEW BEST:: SOT 1546251 SOS 773618 HAS SOPS 485769 HAS SOUS 292052 HAS SOUPS 282528 WITH SCORE 283301.618
AT ITER 63 NEW BEST:: SOT 1546233 SOS 773698 HAS SOPS 485831 HAS SOUS 292124 HAS SOUPS 282502 WITH SCORE 283275.698
AT ITER 66 NEW BEST:: SOT 1545822 SOS 772876 HAS SOPS 482543 HAS SOUS 288973 HAS SOUPS 279351 WITH SCORE 280123.876
AT ITER 68 NEW BEST:: SOT 1545598 SOS 772175 HAS SOPS 481811 HAS SOUS 288517 HAS SOUPS 278895 WITH SCORE 279667.175
AT ITER 70 NEW BEST:: SOT 1545598 SOS 771710 HAS SOPS 481346 HAS SOUS 288388 HAS SOUPS 278766 WITH SCORE 279537.71
AT ITER 77 NEW BEST:: SOT 1545598 SOS 771242 HAS SOPS 480878 HAS SOUS 288388 HAS SOUPS 278766 WITH SCORE 279537.242
AT ITER 80 NEW BEST:: SOT 1545598 SOS 771008 HAS SOPS 480644 HAS SOUS 288388 HAS SOUPS 278766 WITH SCORE 279537.008
AT ITER 82 NEW BEST:: SOT 1545389 SOS 769938 HAS SOPS 479574 HAS SOUS 288211 HAS SOUPS 278589 WITH SCORE 279358.938
AT ITER 85 NEW BEST:: SOT 1545302 SOS 769862 HAS SOPS 479914 HAS SOUS 288105 HAS SOUPS 278483 WITH SCORE 279252.862
AT ITER 87 NEW BEST:: SOT 1545302 SOS 769860 HAS SOPS 479912 HAS SOUS 288103 HAS SOUPS 278481 WITH SCORE 279250.86
AT ITER 90 NEW BEST:: SOT 1544976 SOS 769522 HAS SOPS 479579 HAS SOUS 287770 HAS SOUPS 278148 WITH SCORE 278917.522
AT ITER 93 NEW BEST:: SOT 1545009 SOS 769463 HAS SOPS 479093 HAS SOUS 287733 HAS SOUPS 278089 WITH SCORE 278858.463
AT ITER 94 NEW BEST:: SOT 1544964 SOS 769321 HAS SOPS 478951 HAS SOUS 287636 HAS SOUPS 277992 WITH SCORE 278761.321
AT ITER 97 NEW BEST:: SOT 1544921 SOS 769235 HAS SOPS 478865 HAS SOUS 287550 HAS SOUPS 277906 WITH SCORE 278675.235
AT ITER 99 NEW BEST:: SOT 1544826 SOS 768718 HAS SOPS 478348 HAS SOUS 287360 HAS SOUPS 277716 WITH SCORE 278484.718
AT ITER 100 NEW BEST:: SOT 1544842 SOS 768048 HAS SOPS 477678 HAS SOUS 287275 HAS SOUPS 277631 WITH SCORE 278399.048
AT ITER 103 NEW BEST:: SOT 1544794 SOS 767952 HAS SOPS 477582 HAS SOUS 287179 HAS SOUPS 277535 WITH SCORE 278302.952
AT ITER 108 NEW BEST:: SOT 1544703 SOS 767770 HAS SOPS 477400 HAS SOUS 287179 HAS SOUPS 277535 WITH SCORE 278302.77
AT ITER 109 NEW BEST:: SOT 1544414 SOS 767465 HAS SOPS 477153 HAS SOUS 286932 HAS SOUPS 277288 WITH SCORE 278055.465
AT ITER 113 NEW BEST:: SOT 1544293 SOS 767586 HAS SOPS 477274 HAS SOUS 286694 HAS SOUPS 277050 WITH SCORE 277817.586
AT ITER 122 NEW BEST:: SOT 1544184 SOS 767477 HAS SOPS 477165 HAS SOUS 286476 HAS SOUPS 276832 WITH SCORE 277599.477
AT ITER 124 NEW BEST:: SOT 1544184 SOS 767427 HAS SOPS 477115 HAS SOUS 286476 HAS SOUPS 276832 WITH SCORE 277599.427
AT ITER 125 NEW BEST:: SOT 1543577 SOS 766314 HAS SOPS 475886 HAS SOUS 285553 HAS SOUPS 275772 WITH SCORE 276538.314
AT ITER 126 NEW BEST:: SOT 1543577 SOS 764730 HAS SOPS 474302 HAS SOUS 285553 HAS SOUPS 275772 WITH SCORE 276536.73
AT ITER 129 NEW BEST:: SOT 1543519 SOS 764505 HAS SOPS 474077 HAS SOUS 285437 HAS SOUPS 275656 WITH SCORE 276420.505
AT ITER 133 NEW BEST:: SOT 1543512 SOS 764491 HAS SOPS 474063 HAS SOUS 285423 HAS SOUPS 275642 WITH SCORE 276406.491
AT ITER 137 NEW BEST:: SOT 1543461 SOS 764389 HAS SOPS 473961 HAS SOUS 285321 HAS SOUPS 275540 WITH SCORE 276304.389
AT ITER 138 NEW BEST:: SOT 1543461 SOS 763318 HAS SOPS 472890 HAS SOUS 285321 HAS SOUPS 275540 WITH SCORE 276303.318
AT ITER 140 NEW BEST:: SOT 1543461 SOS 763273 HAS SOPS 472845 HAS SOUS 285321 HAS SOUPS 275540 WITH SCORE 276303.273
AT ITER 142 NEW BEST:: SOT 1543286 SOS 762923 HAS SOPS 472495 HAS SOUS 285204 HAS SOUPS 275423 WITH SCORE 276185.923
AT ITER 143 NEW BEST:: SOT 1543234 SOS 762871 HAS SOPS 472391 HAS SOUS 285106 HAS SOUPS 275319 WITH SCORE 276081.871
AT ITER 148 NEW BEST:: SOT 1543223 SOS 763017 HAS SOPS 472369 HAS SOUS 285252 HAS SOUPS 275297 WITH SCORE 276060.017
AT ITER 149 NEW BEST:: SOT 1543215 SOS 762883 HAS SOPS 472235 HAS SOUS 285236 HAS SOUPS 275281 WITH SCORE 276043.883
AT ITER 153 NEW BEST:: SOT 1542944 SOS 763413 HAS SOPS 472519 HAS SOUS 285111 HAS SOUPS 275156 WITH SCORE 275919.413
AT ITER 154 NEW BEST:: SOT 1542865 SOS 763334 HAS SOPS 472440 HAS SOUS 285032 HAS SOUPS 275077 WITH SCORE 275840.334
AT ITER 156 NEW BEST:: SOT 1542861 SOS 763244 HAS SOPS 472432 HAS SOUS 285024 HAS SOUPS 275069 WITH SCORE 275832.244
AT ITER 157 NEW BEST:: SOT 1542574 SOS 762912 HAS SOPS 472253 HAS SOUS 284845 HAS SOUPS 274890 WITH SCORE 275652.912
AT ITER 160 NEW BEST:: SOT 1542564 SOS 762885 HAS SOPS 472226 HAS SOUS 284818 HAS SOUPS 274863 WITH SCORE 275625.885
AT ITER 164 NEW BEST:: SOT 1542012 SOS 762491 HAS SOPS 471832 HAS SOUS 284356 HAS SOUPS 274401 WITH SCORE 275163.491
AT ITER 167 NEW BEST:: SOT 1541774 SOS 762219 HAS SOPS 471288 HAS SOUS 284322 HAS SOUPS 274367 WITH SCORE 275129.219
AT ITER 168 NEW BEST:: SOT 1514593 SOS 759921 HAS SOPS 475874 HAS SOUS 260269 HAS SOUPS 250314 WITH SCORE 251073.921
AT ITER 172 NEW BEST:: SOT 1514552 SOS 759298 HAS SOPS 475393 HAS SOUS 260045 HAS SOUPS 250232 WITH SCORE 250991.298
AT ITER 177 NEW BEST:: SOT 1514478 SOS 759150 HAS SOPS 475245 HAS SOUS 259897 HAS SOUPS 250084 WITH SCORE 250843.15
AT ITER 178 NEW BEST:: SOT 1514478 SOS 758626 HAS SOPS 474721 HAS SOUS 259897 HAS SOUPS 250084 WITH SCORE 250842.626
AT ITER 179 NEW BEST:: SOT 1514310 SOS 758242 HAS SOPS 474337 HAS SOUS 259873 HAS SOUPS 250060 WITH SCORE 250818.242
AT ITER 186 NEW BEST:: SOT 1513733 SOS 758423 HAS SOPS 474645 HAS SOUS 259810 HAS SOUPS 249997 WITH SCORE 250755.423
AT ITER 188 NEW BEST:: SOT 1513589 SOS 757847 HAS SOPS 474069 HAS SOUS 259666 HAS SOUPS 249853 WITH SCORE 250610.847
AT ITER 190 NEW BEST:: SOT 1514107 SOS 758347 HAS SOPS 474541 HAS SOUS 259472 HAS SOUPS 249659 WITH SCORE 250417.347
AT ITER 194 NEW BEST:: SOT 1513951 SOS 758035 HAS SOPS 474229 HAS SOUS 259160 HAS SOUPS 249347 WITH SCORE 250105.035
AT ITER 197 NEW BEST:: SOT 1513894 SOS 757807 HAS SOPS 474001 HAS SOUS 259046 HAS SOUPS 249233 WITH SCORE 249990.807
AT ITER 204 NEW BEST:: SOT 1513736 SOS 757647 HAS SOPS 473724 HAS SOUS 258978 HAS SOUPS 249040 WITH SCORE 249797.647
AT ITER 207 NEW BEST:: SOT 1513736 SOS 757640 HAS SOPS 473717 HAS SOUS 258978 HAS SOUPS 249040 WITH SCORE 249797.64
AT ITER 218 NEW BEST:: SOT 1513675 SOS 757578 HAS SOPS 473655 HAS SOUS 258850 HAS SOUPS 248912 WITH SCORE 249669.578
AT ITER 224 NEW BEST:: SOT 1513482 SOS 758471 HAS SOPS 474548 HAS SOUS 258602 HAS SOUPS 248664 WITH SCORE 249422.471
AT ITER 235 NEW BEST:: SOT 1513273 SOS 757698 HAS SOPS 473775 HAS SOUS 258452 HAS SOUPS 248514 WITH SCORE 249271.698
AT ITER 236 NEW BEST:: SOT 1513283 SOS 757708 HAS SOPS 473783 HAS SOUS 258448 HAS SOUPS 248510 WITH SCORE 249267.708
AT ITER 237 NEW BEST:: SOT 1513283 SOS 757584 HAS SOPS 473659 HAS SOUS 258448 HAS SOUPS 248510 WITH SCORE 249267.584
AT ITER 245 NEW BEST:: SOT 1513089 SOS 757196 HAS SOPS 473271 HAS SOUS 257964 HAS SOUPS 248026 WITH SCORE 248783.196
AT ITER 246 NEW BEST:: SOT 1513089 SOS 757120 HAS SOPS 473195 HAS SOUS 257921 HAS SOUPS 247983 WITH SCORE 248740.12
AT ITER 248 NEW BEST:: SOT 1512927 SOS 756796 HAS SOPS 472871 HAS SOUS 257804 HAS SOUPS 247866 WITH SCORE 248622.796
AT ITER 249 NEW BEST:: SOT 1512723 SOS 756003 HAS SOPS 472078 HAS SOUS 257647 HAS SOUPS 247709 WITH SCORE 248465.003
AT ITER 253 NEW BEST:: SOT 1512723 SOS 755601 HAS SOPS 471676 HAS SOUS 257647 HAS SOUPS 247709 WITH SCORE 248464.601
AT ITER 263 NEW BEST:: SOT 1512567 SOS 755495 HAS SOPS 471735 HAS SOUS 257606 HAS SOUPS 247668 WITH SCORE 248423.495
AT ITER 274 NEW BEST:: SOT 1512552 SOS 755096 HAS SOPS 471336 HAS SOUS 257480 HAS SOUPS 247542 WITH SCORE 248297.096
AT ITER 275 NEW BEST:: SOT 1512552 SOS 755061 HAS SOPS 471301 HAS SOUS 257480 HAS SOUPS 247542 WITH SCORE 248297.061
AT ITER 277 NEW BEST:: SOT 1512552 SOS 754753 HAS SOPS 470993 HAS SOUS 257480 HAS SOUPS 247542 WITH SCORE 248296.753
AT ITER 287 NEW BEST:: SOT 1512536 SOS 754764 HAS SOPS 471004 HAS SOUS 257448 HAS SOUPS 247510 WITH SCORE 248264.764
AT ITER 293 NEW BEST:: SOT 1512490 SOS 754764 HAS SOPS 470866 HAS SOUS 257406 HAS SOUPS 247372 WITH SCORE 248126.764
AT ITER 295 NEW BEST:: SOT 1512315 SOS 756559 HAS SOPS 472661 HAS SOUS 257231 HAS SOUPS 247197 WITH SCORE 247953.559
AT ITER 299 NEW BEST:: SOT 1512315 SOS 756143 HAS SOPS 472245 HAS SOUS 257231 HAS SOUPS 247197 WITH SCORE 247953.143
AT ITER 301 NEW BEST:: SOT 1512213 SOS 755939 HAS SOPS 472041 HAS SOUS 256925 HAS SOUPS 246891 WITH SCORE 247646.939
AT ITER 302 NEW BEST:: SOT 1512213 SOS 755917 HAS SOPS 472019 HAS SOUS 256925 HAS SOUPS 246891 WITH SCORE 247646.917
AT ITER 311 NEW BEST:: SOT 1512213 SOS 755902 HAS SOPS 472004 HAS SOUS 256925 HAS SOUPS 246891 WITH SCORE 247646.902
AT ITER 312 NEW BEST:: SOT 1512213 SOS 755730 HAS SOPS 471832 HAS SOUS 256839 HAS SOUPS 246805 WITH SCORE 247560.73
AT ITER 316 NEW BEST:: SOT 1512213 SOS 755472 HAS SOPS 471574 HAS SOUS 256839 HAS SOUPS 246805 WITH SCORE 247560.472
AT ITER 320 NEW BEST:: SOT 1512197 SOS 755424 HAS SOPS 471574 HAS SOUS 256775 HAS SOUPS 246741 WITH SCORE 247496.424
AT ITER 322 NEW BEST:: SOT 1511795 SOS 755400 HAS SOPS 471550 HAS SOUS 256739 HAS SOUPS 246705 WITH SCORE 247460.4
AT ITER 333 NEW BEST:: SOT 1511661 SOS 755132 HAS SOPS 471282 HAS SOUS 256471 HAS SOUPS 246437 WITH SCORE 247192.132
AT ITER 338 NEW BEST:: SOT 1511046 SOS 754475 HAS SOPS 470562 HAS SOUS 256471 HAS SOUPS 246374 WITH SCORE 247128.475
AT ITER 340 NEW BEST:: SOT 1510873 SOS 754191 HAS SOPS 470391 HAS SOUS 256300 HAS SOUPS 246203 WITH SCORE 246957.191
AT ITER 342 NEW BEST:: SOT 1510873 SOS 754191 HAS SOPS 470391 HAS SOUS 256292 HAS SOUPS 246195 WITH SCORE 246949.191
AT ITER 350 NEW BEST:: SOT 1510859 SOS 755083 HAS SOPS 471244 HAS SOUS 256278 HAS SOUPS 246181 WITH SCORE 246936.083
AT ITER 359 NEW BEST:: SOT 1510859 SOS 754765 HAS SOPS 470926 HAS SOUS 256278 HAS SOUPS 246181 WITH SCORE 246935.765
AT ITER 367 NEW BEST:: SOT 1510604 SOS 753874 HAS SOPS 470035 HAS SOUS 256027 HAS SOUPS 245930 WITH SCORE 246683.874
AT ITER 368 NEW BEST:: SOT 1510584 SOS 753834 HAS SOPS 469995 HAS SOUS 255987 HAS SOUPS 245890 WITH SCORE 246643.834
AT ITER 375 NEW BEST:: SOT 1510619 SOS 752812 HAS SOPS 468973 HAS SOUS 255980 HAS SOUPS 245883 WITH SCORE 246635.812
AT ITER 377 NEW BEST:: SOT 1510607 SOS 752788 HAS SOPS 468949 HAS SOUS 255956 HAS SOUPS 245859 WITH SCORE 246611.788
AT ITER 378 NEW BEST:: SOT 1510579 SOS 751479 HAS SOPS 467640 HAS SOUS 255900 HAS SOUPS 245803 WITH SCORE 246554.479
AT ITER 379 NEW BEST:: SOT 1510549 SOS 751398 HAS SOPS 467559 HAS SOUS 255819 HAS SOUPS 245722 WITH SCORE 246473.398
AT ITER 381 NEW BEST:: SOT 1509893 SOS 750742 HAS SOPS 466778 HAS SOUS 255399 HAS SOUPS 245189 WITH SCORE 245939.742
AT ITER 391 NEW BEST:: SOT 1509903 SOS 750977 HAS SOPS 467013 HAS SOUS 255379 HAS SOUPS 245169 WITH SCORE 245919.977
AT ITER 394 NEW BEST:: SOT 1508951 SOS 750025 HAS SOPS 466829 HAS SOUS 255191 HAS SOUPS 244985 WITH SCORE 245735.025
AT ITER 396 NEW BEST:: SOT 1508951 SOS 749883 HAS SOPS 466545 HAS SOUS 254907 HAS SOUPS 244701 WITH SCORE 245450.883
AT ITER 401 NEW BEST:: SOT 1508949 SOS 749873 HAS SOPS 466535 HAS SOUS 254905 HAS SOUPS 244699 WITH SCORE 245448.873
AT ITER 406 NEW BEST:: SOT 1508653 SOS 749540 HAS SOPS 465499 HAS SOUS 254085 HAS SOUPS 243879 WITH SCORE 244628.54
AT ITER 415 NEW BEST:: SOT 1508653 SOS 749196 HAS SOPS 465155 HAS SOUS 253968 HAS SOUPS 243762 WITH SCORE 244511.196
AT ITER 429 NEW BEST:: SOT 1508499 SOS 748457 HAS SOPS 464416 HAS SOUS 253660 HAS SOUPS 243454 WITH SCORE 244202.457
AT ITER 432 NEW BEST:: SOT 1508499 SOS 748505 HAS SOPS 464464 HAS SOUS 253612 HAS SOUPS 243406 WITH SCORE 244154.505
AT ITER 437 NEW BEST:: SOT 1508460 SOS 748453 HAS SOPS 464386 HAS SOUS 253534 HAS SOUPS 243328 WITH SCORE 244076.453
AT ITER 443 NEW BEST:: SOT 1508528 SOS 748335 HAS SOPS 464329 HAS SOUS 253477 HAS SOUPS 243271 WITH SCORE 244019.335
AT ITER 461 NEW BEST:: SOT 1508438 SOS 748245 HAS SOPS 464239 HAS SOUS 253387 HAS SOUPS 243136 WITH SCORE 243884.245
AT ITER 463 NEW BEST:: SOT 1508417 SOS 748287 HAS SOPS 464281 HAS SOUS 253366 HAS SOUPS 243115 WITH SCORE 243863.287
AT ITER 468 NEW BEST:: SOT 1508417 SOS 748358 HAS SOPS 464112 HAS SOUS 253375 HAS SOUPS 242946 WITH SCORE 243694.358
AT ITER 490 NEW BEST:: SOT 1508409 SOS 746278 HAS SOPS 462032 HAS SOUS 253359 HAS SOUPS 242930 WITH SCORE 243676.278
AT ITER 491 NEW BEST:: SOT 1508409 SOS 745958 HAS SOPS 461712 HAS SOUS 253359 HAS SOUPS 242930 WITH SCORE 243675.958
AT ITER 497 NEW BEST:: SOT 1508388 SOS 745486 HAS SOPS 461240 HAS SOUS 253317 HAS SOUPS 242888 WITH SCORE 243633.486
AT ITER 499 NEW BEST:: SOT 1508388 SOS 745277 HAS SOPS 461031 HAS SOUS 253317 HAS SOUPS 242888 WITH SCORE 243633.277
AT ITER 503 NEW BEST:: SOT 1500926 SOS 822079 HAS SOPS 459456 HAS SOUS 251709 HAS SOUPS 240415 WITH SCORE 241237.079
AT ITER 509 NEW BEST:: SOT 1500842 SOS 821995 HAS SOPS 459372 HAS SOUS 251617 HAS SOUPS 240323 WITH SCORE 241144.995
AT ITER 518 NEW BEST:: SOT 1500842 SOS 821849 HAS SOPS 459226 HAS SOUS 251617 HAS SOUPS 240323 WITH SCORE 241144.849
AT ITER 521 NEW BEST:: SOT 1487855 SOS 810589 HAS SOPS 442389 HAS SOUS 235758 HAS SOUPS 223765 WITH SCORE 224575.589
AT ITER 525 NEW BEST:: SOT 1487788 SOS 808496 HAS SOPS 440296 HAS SOUS 235561 HAS SOUPS 223568 WITH SCORE 224376.496
AT ITER 533 NEW BEST:: SOT 1487640 SOS 808273 HAS SOPS 440075 HAS SOUS 235338 HAS SOUPS 223347 WITH SCORE 224155.273
AT ITER 538 NEW BEST:: SOT 1487613 SOS 808346 HAS SOPS 440148 HAS SOUS 235317 HAS SOUPS 223326 WITH SCORE 224134.346
AT ITER 542 NEW BEST:: SOT 1487583 SOS 808136 HAS SOPS 439938 HAS SOUS 235257 HAS SOUPS 223266 WITH SCORE 224074.136
AT ITER 548 NEW BEST:: SOT 1487583 SOS 807944 HAS SOPS 439746 HAS SOUS 235257 HAS SOUPS 223266 WITH SCORE 224073.944
AT ITER 549 NEW BEST:: SOT 1487461 SOS 807574 HAS SOPS 439376 HAS SOUS 235212 HAS SOUPS 223221 WITH SCORE 224028.574
AT ITER 563 NEW BEST:: SOT 1487293 SOS 807406 HAS SOPS 439016 HAS SOUS 235317 HAS SOUPS 223175 WITH SCORE 223982.406
AT ITER 574 NEW BEST:: SOT 1487232 SOS 807345 HAS SOPS 438955 HAS SOUS 235256 HAS SOUPS 223114 WITH SCORE 223921.345
AT ITER 576 NEW BEST:: SOT 1487158 SOS 807243 HAS SOPS 438853 HAS SOUS 235108 HAS SOUPS 222966 WITH SCORE 223773.243
AT ITER 577 NEW BEST:: SOT 1487041 SOS 807009 HAS SOPS 438619 HAS SOUS 234991 HAS SOUPS 222849 WITH SCORE 223656.009
AT ITER 583 NEW BEST:: SOT 1486922 SOS 806677 HAS SOPS 438287 HAS SOUS 234634 HAS SOUPS 222492 WITH SCORE 223298.677
AT ITER 587 NEW BEST:: SOT 1486922 SOS 806677 HAS SOPS 438242 HAS SOUS 234610 HAS SOUPS 222447 WITH SCORE 223253.677
AT ITER 592 NEW BEST:: SOT 1486847 SOS 806271 HAS SOPS 437836 HAS SOUS 234460 HAS SOUPS 222297 WITH SCORE 223103.271
AT ITER 603 NEW BEST:: SOT 1486823 SOS 806007 HAS SOPS 437572 HAS SOUS 234436 HAS SOUPS 222273 WITH SCORE 223079.007
AT ITER 607 NEW BEST:: SOT 1486761 SOS 805883 HAS SOPS 437448 HAS SOUS 234374 HAS SOUPS 222211 WITH SCORE 223016.883
AT ITER 610 NEW BEST:: SOT 1486734 SOS 805885 HAS SOPS 437450 HAS SOUS 234320 HAS SOUPS 222157 WITH SCORE 222962.885
AT ITER 618 NEW BEST:: SOT 1486850 SOS 805492 HAS SOPS 437147 HAS SOUS 234295 HAS SOUPS 222058 WITH SCORE 222863.492
AT ITER 637 NEW BEST:: SOT 1486719 SOS 805361 HAS SOPS 437016 HAS SOUS 234116 HAS SOUPS 221879 WITH SCORE 222684.361
AT ITER 640 NEW BEST:: SOT 1485873 SOS 806970 HAS SOPS 436232 HAS SOUS 233691 HAS SOUPS 221365 WITH SCORE 222171.97
AT ITER 647 NEW BEST:: SOT 1485860 SOS 806868 HAS SOPS 436130 HAS SOUS 233589 HAS SOUPS 221263 WITH SCORE 222069.868
AT ITER 653 NEW BEST:: SOT 1485720 SOS 806728 HAS SOPS 435830 HAS SOUS 233474 HAS SOUPS 221103 WITH SCORE 221909.728
AT ITER 656 NEW BEST:: SOT 1485697 SOS 806774 HAS SOPS 435784 HAS SOUS 233567 HAS SOUPS 221060 WITH SCORE 221866.774
AT ITER 666 NEW BEST:: SOT 1485599 SOS 806676 HAS SOPS 435686 HAS SOUS 233459 HAS SOUPS 220952 WITH SCORE 221758.676
AT ITER 682 NEW BEST:: SOT 1485599 SOS 806654 HAS SOPS 435664 HAS SOUS 233444 HAS SOUPS 220937 WITH SCORE 221743.654
AT ITER 692 NEW BEST:: SOT 1485611 SOS 806666 HAS SOPS 435648 HAS SOUS 233428 HAS SOUPS 220921 WITH SCORE 221727.666
AT ITER 696 NEW BEST:: SOT 1485590 SOS 806647 HAS SOPS 435651 HAS SOUS 233407 HAS SOUPS 220900 WITH SCORE 221706.647
AT ITER 698 NEW BEST:: SOT 1485607 SOS 806537 HAS SOPS 435541 HAS SOUS 233381 HAS SOUPS 220874 WITH SCORE 221680.537
AT ITER 708 NEW BEST:: SOT 1485571 SOS 805289 HAS SOPS 434293 HAS SOUS 233309 HAS SOUPS 220802 WITH SCORE 221607.289
AT ITER 726 NEW BEST:: SOT 1484911 SOS 804268 HAS SOPS 433255 HAS SOUS 232813 HAS SOUPS 220262 WITH SCORE 221066.268
AT ITER 729 NEW BEST:: SOT 1484721 SOS 803522 HAS SOPS 432509 HAS SOUS 232721 HAS SOUPS 220170 WITH SCORE 220973.522
AT ITER 738 NEW BEST:: SOT 1484632 SOS 803446 HAS SOPS 432331 HAS SOUS 232543 HAS SOUPS 219992 WITH SCORE 220795.446
AT ITER 741 NEW BEST:: SOT 1483727 SOS 802420 HAS SOPS 431198 HAS SOUS 232252 HAS SOUPS 219701 WITH SCORE 220503.42
AT ITER 749 NEW BEST:: SOT 1483679 SOS 802232 HAS SOPS 431010 HAS SOUS 232156 HAS SOUPS 219605 WITH SCORE 220407.232
AT ITER 754 NEW BEST:: SOT 1483677 SOS 802226 HAS SOPS 431000 HAS SOUS 232154 HAS SOUPS 219603 WITH SCORE 220405.226
AT ITER 766 NEW BEST:: SOT 1482377 SOS 800945 HAS SOPS 430248 HAS SOUS 232144 HAS SOUPS 219593 WITH SCORE 220393.945
AT ITER 768 NEW BEST:: SOT 1482377 SOS 800937 HAS SOPS 430240 HAS SOUS 232144 HAS SOUPS 219593 WITH SCORE 220393.937
AT ITER 782 NEW BEST:: SOT 1482376 SOS 800722 HAS SOPS 430025 HAS SOUS 232142 HAS SOUPS 219591 WITH SCORE 220391.722
AT ITER 786 NEW BEST:: SOT 1482349 SOS 800695 HAS SOPS 429998 HAS SOUS 232115 HAS SOUPS 219564 WITH SCORE 220364.695
AT ITER 799 NEW BEST:: SOT 1482252 SOS 800501 HAS SOPS 427864 HAS SOUS 230272 HAS SOUPS 217721 WITH SCORE 218521.501
AT ITER 816 NEW BEST:: SOT 1482239 SOS 800238 HAS SOPS 427601 HAS SOUS 230167 HAS SOUPS 217616 WITH SCORE 218416.238
AT ITER 821 NEW BEST:: SOT 1482219 SOS 800022 HAS SOPS 427385 HAS SOUS 230147 HAS SOUPS 217596 WITH SCORE 218396.022
AT ITER 842 NEW BEST:: SOT 1482126 SOS 799916 HAS SOPS 426702 HAS SOUS 229932 HAS SOUPS 217080 WITH SCORE 217879.916
AT ITER 847 NEW BEST:: SOT 1482060 SOS 800215 HAS SOPS 427001 HAS SOUS 229800 HAS SOUPS 216948 WITH SCORE 217748.215
AT ITER 853 NEW BEST:: SOT 1482031 SOS 799977 HAS SOPS 426763 HAS SOUS 229760 HAS SOUPS 216908 WITH SCORE 217707.977
AT ITER 866 NEW BEST:: SOT 1481933 SOS 799781 HAS SOPS 426581 HAS SOUS 229760 HAS SOUPS 216908 WITH SCORE 217707.781
AT ITER 869 NEW BEST:: SOT 1481887 SOS 799606 HAS SOPS 425390 HAS SOUS 229717 HAS SOUPS 216816 WITH SCORE 217615.606
AT ITER 871 NEW BEST:: SOT 1481747 SOS 800532 HAS SOPS 426316 HAS SOUS 229437 HAS SOUPS 216536 WITH SCORE 217336.532
AT ITER 887 NEW BEST:: SOT 1481685 SOS 800371 HAS SOPS 426155 HAS SOUS 229129 HAS SOUPS 216228 WITH SCORE 217028.371
AT ITER 889 NEW BEST:: SOT 1481658 SOS 799155 HAS SOPS 424939 HAS SOUS 229075 HAS SOUPS 216174 WITH SCORE 216973.155
AT ITER 890 NEW BEST:: SOT 1481658 SOS 798552 HAS SOPS 424336 HAS SOUS 229075 HAS SOUPS 216174 WITH SCORE 216972.552
AT ITER 892 NEW BEST:: SOT 1481071 SOS 797795 HAS SOPS 424674 HAS SOUS 228385 HAS SOUPS 215484 WITH SCORE 216281.795
AT ITER 910 NEW BEST:: SOT 1480975 SOS 798179 HAS SOPS 425058 HAS SOUS 228289 HAS SOUPS 215388 WITH SCORE 216186.179
AT ITER 915 NEW BEST:: SOT 1480755 SOS 797826 HAS SOPS 424705 HAS SOUS 228104 HAS SOUPS 215203 WITH SCORE 216000.826
AT ITER 931 NEW BEST:: SOT 1480848 SOS 797296 HAS SOPS 423772 HAS SOUS 227831 HAS SOUPS 214930 WITH SCORE 215727.296
AT ITER 936 NEW BEST:: SOT 1480831 SOS 797279 HAS SOPS 423755 HAS SOUS 227797 HAS SOUPS 214896 WITH SCORE 215693.279
AT ITER 940 NEW BEST:: SOT 1480359 SOS 796807 HAS SOPS 423238 HAS SOUS 227325 HAS SOUPS 214379 WITH SCORE 215175.807
AT ITER 942 NEW BEST:: SOT 1480339 SOS 796767 HAS SOPS 423198 HAS SOUS 227285 HAS SOUPS 214339 WITH SCORE 215135.767
AT ITER 944 NEW BEST:: SOT 1480293 SOS 796711 HAS SOPS 423142 HAS SOUS 227193 HAS SOUPS 214247 WITH SCORE 215043.711
AT ITER 946 NEW BEST:: SOT 1480084 SOS 796553 HAS SOPS 423131 HAS SOUS 227070 HAS SOUPS 214124 WITH SCORE 214920.553
AT ITER 947 NEW BEST:: SOT 1478501 SOS 801201 HAS SOPS 421352 HAS SOUS 227228 HAS SOUPS 214100 WITH SCORE 214901.201
AT ITER 956 NEW BEST:: SOT 1478369 SOS 802807 HAS SOPS 422958 HAS SOUS 227193 HAS SOUPS 214065 WITH SCORE 214867.807
AT ITER 965 NEW BEST:: SOT 1478305 SOS 802743 HAS SOPS 422894 HAS SOUS 227129 HAS SOUPS 214001 WITH SCORE 214803.743
AT ITER 970 NEW BEST:: SOT 1478269 SOS 802707 HAS SOPS 422498 HAS SOUS 226751 HAS SOUPS 213623 WITH SCORE 214425.707
AT ITER 971 NEW BEST:: SOT 1478053 SOS 802468 HAS SOPS 422213 HAS SOUS 226650 HAS SOUPS 213522 WITH SCORE 214324.468
AT ITER 973 NEW BEST:: SOT 1478014 SOS 800789 HAS SOPS 420534 HAS SOUS 226567 HAS SOUPS 213439 WITH SCORE 214239.789
AT ITER 978 NEW BEST:: SOT 1477752 SOS 800505 HAS SOPS 420358 HAS SOUS 226293 HAS SOUPS 213165 WITH SCORE 213965.505
AT ITER 983 NEW BEST:: SOT 1477742 SOS 800485 HAS SOPS 420338 HAS SOUS 226283 HAS SOUPS 213155 WITH SCORE 213955.485
AT ITER 986 NEW BEST:: SOT 1478012 SOS 800755 HAS SOPS 420608 HAS SOUS 226281 HAS SOUPS 213153 WITH SCORE 213953.755
AT ITER 1000 NEW BEST:: SOT 1477856 SOS 800599 HAS SOPS 420452 HAS SOUS 226125 HAS SOUPS 212997 WITH SCORE 213797.599
AT ITER 1001 NEW BEST:: SOT 1477359 SOS 800000 HAS SOPS 419838 HAS SOUS 225581 HAS SOUPS 212443 WITH SCORE 213243.0
AT ITER 1003 NEW BEST:: SOT 1477219 SOS 800881 HAS SOPS 420719 HAS SOUS 225301 HAS SOUPS 212163 WITH SCORE 212963.881
AT ITER 1008 NEW BEST:: SOT 1477190 SOS 800910 HAS SOPS 420748 HAS SOUS 225272 HAS SOUPS 212134 WITH SCORE 212934.91
AT ITER 1010 NEW BEST:: SOT 1477078 SOS 800738 HAS SOPS 420550 HAS SOUS 225127 HAS SOUPS 211982 WITH SCORE 212782.738
AT ITER 1016 NEW BEST:: SOT 1477176 SOS 800836 HAS SOPS 420534 HAS SOUS 225111 HAS SOUPS 211966 WITH SCORE 212766.836
AT ITER 1028 NEW BEST:: SOT 1477176 SOS 800755 HAS SOPS 420453 HAS SOUS 225058 HAS SOUPS 211913 WITH SCORE 212713.755
AT ITER 1040 NEW BEST:: SOT 1477141 SOS 797389 HAS SOPS 420667 HAS SOUS 224611 HAS SOUPS 211824 WITH SCORE 212621.389
AT ITER 1042 NEW BEST:: SOT 1477098 SOS 797339 HAS SOPS 420617 HAS SOUS 224561 HAS SOUPS 211774 WITH SCORE 212571.339
AT ITER 1049 NEW BEST:: SOT 1477098 SOS 797323 HAS SOPS 420601 HAS SOUS 224561 HAS SOUPS 211774 WITH SCORE 212571.323
AT ITER 1054 NEW BEST:: SOT 1474882 SOS 795083 HAS SOPS 418361 HAS SOUS 222975 HAS SOUPS 210188 WITH SCORE 210983.083
AT ITER 1068 NEW BEST:: SOT 1474872 SOS 795073 HAS SOPS 418281 HAS SOUS 222965 HAS SOUPS 210178 WITH SCORE 210973.073
AT ITER 1070 NEW BEST:: SOT 1474837 SOS 795102 HAS SOPS 418310 HAS SOUS 222895 HAS SOUPS 210108 WITH SCORE 210903.102
AT ITER 1074 NEW BEST:: SOT 1474772 SOS 795008 HAS SOPS 417629 HAS SOUS 222243 HAS SOUPS 209456 WITH SCORE 210251.008
AT ITER 1082 NEW BEST:: SOT 1474541 SOS 794777 HAS SOPS 417134 HAS SOUS 222111 HAS SOUPS 209192 WITH SCORE 209986.777
AT ITER 1083 NEW BEST:: SOT 1474687 SOS 794923 HAS SOPS 417112 HAS SOUS 222393 HAS SOUPS 209170 WITH SCORE 209964.923
AT ITER 1086 NEW BEST:: SOT 1474687 SOS 794758 HAS SOPS 416947 HAS SOUS 222393 HAS SOUPS 209170 WITH SCORE 209964.758
AT ITER 1089 NEW BEST:: SOT 1474630 SOS 794701 HAS SOPS 416890 HAS SOUS 222279 HAS SOUPS 209056 WITH SCORE 209850.701
AT ITER 1100 NEW BEST:: SOT 1474551 SOS 794589 HAS SOPS 416778 HAS SOUS 222167 HAS SOUPS 208944 WITH SCORE 209738.589
AT ITER 1101 NEW BEST:: SOT 1474551 SOS 794561 HAS SOPS 416750 HAS SOUS 222167 HAS SOUPS 208944 WITH SCORE 209738.561
AT ITER 1130 NEW BEST:: SOT 1474121 SOS 794069 HAS SOPS 416216 HAS SOUS 222109 HAS SOUPS 208886 WITH SCORE 209680.069
AT ITER 1132 NEW BEST:: SOT 1474038 SOS 793978 HAS SOPS 416125 HAS SOUS 222044 HAS SOUPS 208821 WITH SCORE 209614.978
AT ITER 1141 NEW BEST:: SOT 1473171 SOS 793070 HAS SOPS 415752 HAS SOUS 221645 HAS SOUPS 208448 WITH SCORE 209241.07
AT ITER 1147 NEW BEST:: SOT 1473171 SOS 792862 HAS SOPS 415544 HAS SOUS 221610 HAS SOUPS 208413 WITH SCORE 209205.862
AT ITER 1154 NEW BEST:: SOT 1472980 SOS 792662 HAS SOPS 416604 HAS SOUS 221601 HAS SOUPS 208404 WITH SCORE 209196.662
AT ITER 1178 NEW BEST:: SOT 1472932 SOS 792567 HAS SOPS 416509 HAS SOUS 221518 HAS SOUPS 208321 WITH SCORE 209113.567
AT ITER 1180 NEW BEST:: SOT 1472881 SOS 792271 HAS SOPS 416213 HAS SOUS 221416 HAS SOUPS 208219 WITH SCORE 209011.271
AT ITER 1192 NEW BEST:: SOT 1472845 SOS 792199 HAS SOPS 416141 HAS SOUS 221344 HAS SOUPS 208147 WITH SCORE 208939.199
AT ITER 1193 NEW BEST:: SOT 1472811 SOS 792074 HAS SOPS 416472 HAS SOUS 221333 HAS SOUPS 208136 WITH SCORE 208928.074
AT ITER 1195 NEW BEST:: SOT 1472710 SOS 791714 HAS SOPS 416112 HAS SOUS 221074 HAS SOUPS 207877 WITH SCORE 208668.714
AT ITER 1209 NEW BEST:: SOT 1472710 SOS 791654 HAS SOPS 416052 HAS SOUS 221074 HAS SOUPS 207877 WITH SCORE 208668.654
AT ITER 1212 NEW BEST:: SOT 1472710 SOS 791649 HAS SOPS 416047 HAS SOUS 221069 HAS SOUPS 207872 WITH SCORE 208663.649
AT ITER 1217 NEW BEST:: SOT 1472710 SOS 791592 HAS SOPS 415990 HAS SOUS 221069 HAS SOUPS 207872 WITH SCORE 208663.592
AT ITER 1226 NEW BEST:: SOT 1473095 SOS 792078 HAS SOPS 416890 HAS SOUS 221023 HAS SOUPS 207826 WITH SCORE 208618.078
AT ITER 1235 NEW BEST:: SOT 1473088 SOS 792071 HAS SOPS 416883 HAS SOUS 221016 HAS SOUPS 207819 WITH SCORE 208611.071
AT ITER 1239 NEW BEST:: SOT 1473081 SOS 792050 HAS SOPS 416862 HAS SOUS 221002 HAS SOUPS 207805 WITH SCORE 208597.05
AT ITER 1241 NEW BEST:: SOT 1473081 SOS 792018 HAS SOPS 416830 HAS SOUS 220985 HAS SOUPS 207788 WITH SCORE 208580.018
AT ITER 1247 NEW BEST:: SOT 1473179 SOS 792395 HAS SOPS 417207 HAS SOUS 220954 HAS SOUPS 207757 WITH SCORE 208549.395
AT ITER 1255 NEW BEST:: SOT 1472979 SOS 791754 HAS SOPS 416566 HAS SOUS 220554 HAS SOUPS 207357 WITH SCORE 208148.754
AT ITER 1256 NEW BEST:: SOT 1472969 SOS 791664 HAS SOPS 416476 HAS SOUS 220544 HAS SOUPS 207347 WITH SCORE 208138.664
AT ITER 1258 NEW BEST:: SOT 1472969 SOS 791656 HAS SOPS 416468 HAS SOUS 220544 HAS SOUPS 207347 WITH SCORE 208138.656
AT ITER 1267 NEW BEST:: SOT 1473023 SOS 791710 HAS SOPS 416522 HAS SOUS 220515 HAS SOUPS 207318 WITH SCORE 208109.71
AT ITER 1270 NEW BEST:: SOT 1472907 SOS 791162 HAS SOPS 415974 HAS SOUS 220441 HAS SOUPS 207244 WITH SCORE 208035.162
AT ITER 1280 NEW BEST:: SOT 1472907 SOS 790148 HAS SOPS 414960 HAS SOUS 220410 HAS SOUPS 207213 WITH SCORE 208003.148
AT ITER 1285 NEW BEST:: SOT 1472907 SOS 790118 HAS SOPS 414930 HAS SOUS 220410 HAS SOUPS 207213 WITH SCORE 208003.118
AT ITER 1294 NEW BEST:: SOT 1472907 SOS 789971 HAS SOPS 414783 HAS SOUS 220410 HAS SOUPS 207213 WITH SCORE 208002.971
AT ITER 1304 NEW BEST:: SOT 1472806 SOS 789769 HAS SOPS 414581 HAS SOUS 220208 HAS SOUPS 207011 WITH SCORE 207800.769
AT ITER 1306 NEW BEST:: SOT 1472771 SOS 789438 HAS SOPS 414250 HAS SOUS 220110 HAS SOUPS 206913 WITH SCORE 207702.438
AT ITER 1312 NEW BEST:: SOT 1472714 SOS 789223 HAS SOPS 414035 HAS SOUS 219952 HAS SOUPS 206755 WITH SCORE 207544.223
AT ITER 1321 NEW BEST:: SOT 1472700 SOS 789279 HAS SOPS 414091 HAS SOUS 219924 HAS SOUPS 206727 WITH SCORE 207516.279
AT ITER 1323 NEW BEST:: SOT 1471889 SOS 788468 HAS SOPS 413770 HAS SOUS 219746 HAS SOUPS 206406 WITH SCORE 207194.468
AT ITER 1327 NEW BEST:: SOT 1468230 SOS 784636 HAS SOPS 433964 HAS SOUS 219358 HAS SOUPS 206018 WITH SCORE 206802.636
AT ITER 1332 NEW BEST:: SOT 1468012 SOS 784426 HAS SOPS 433925 HAS SOUS 219189 HAS SOUPS 205849 WITH SCORE 206633.426
AT ITER 1348 NEW BEST:: SOT 1468012 SOS 784381 HAS SOPS 433880 HAS SOUS 219189 HAS SOUPS 205849 WITH SCORE 206633.381
AT ITER 1355 NEW BEST:: SOT 1468150 SOS 784606 HAS SOPS 433807 HAS SOUS 219174 HAS SOUPS 205834 WITH SCORE 206618.606
AT ITER 1374 NEW BEST:: SOT 1468128 SOS 784584 HAS SOPS 433785 HAS SOUS 219152 HAS SOUPS 205812 WITH SCORE 206596.584
AT ITER 1377 NEW BEST:: SOT 1468110 SOS 784512 HAS SOPS 433713 HAS SOUS 219134 HAS SOUPS 205794 WITH SCORE 206578.512
AT ITER 1378 NEW BEST:: SOT 1467855 SOS 785280 HAS SOPS 434793 HAS SOUS 219094 HAS SOUPS 205754 WITH SCORE 206539.28
AT ITER 1386 NEW BEST:: SOT 1467855 SOS 785131 HAS SOPS 434644 HAS SOUS 219087 HAS SOUPS 205747 WITH SCORE 206532.131
AT ITER 1395 NEW BEST:: SOT 1467855 SOS 784779 HAS SOPS 434292 HAS SOUS 219087 HAS SOUPS 205747 WITH SCORE 206531.779
AT ITER 1397 NEW BEST:: SOT 1467850 SOS 784769 HAS SOPS 434282 HAS SOUS 219077 HAS SOUPS 205737 WITH SCORE 206521.769
AT ITER 1403 NEW BEST:: SOT 1467399 SOS 784638 HAS SOPS 434317 HAS SOUS 218654 HAS SOUPS 205314 WITH SCORE 206098.638
AT ITER 1411 NEW BEST:: SOT 1467822 SOS 785061 HAS SOPS 434684 HAS SOUS 218574 HAS SOUPS 205234 WITH SCORE 206019.061
AT ITER 1417 NEW BEST:: SOT 1467822 SOS 785053 HAS SOPS 434676 HAS SOUS 218570 HAS SOUPS 205230 WITH SCORE 206015.053
AT ITER 1419 NEW BEST:: SOT 1467879 SOS 785110 HAS SOPS 434736 HAS SOUS 218568 HAS SOUPS 205228 WITH SCORE 206013.11
AT ITER 1427 NEW BEST:: SOT 1466798 SOS 804435 HAS SOPS 434991 HAS SOUS 218640 HAS SOUPS 204976 WITH SCORE 205780.435
AT ITER 1441 NEW BEST:: SOT 1466441 SOS 803959 HAS SOPS 432135 HAS SOUS 215903 HAS SOUPS 202239 WITH SCORE 203042.959
AT ITER 1455 NEW BEST:: SOT 1466439 SOS 803955 HAS SOPS 432131 HAS SOUS 215901 HAS SOUPS 202237 WITH SCORE 203040.955
AT ITER 1469 NEW BEST:: SOT 1467350 SOS 804594 HAS SOPS 432517 HAS SOUS 215337 HAS SOUPS 201673 WITH SCORE 202477.594
AT ITER 1477 NEW BEST:: SOT 1467244 SOS 804424 HAS SOPS 432231 HAS SOUS 215051 HAS SOUPS 201387 WITH SCORE 202191.424
AT ITER 1491 NEW BEST:: SOT 1467233 SOS 804443 HAS SOPS 432217 HAS SOUS 215004 HAS SOUPS 201340 WITH SCORE 202144.443
AT ITER 1502 NEW BEST:: SOT 1467216 SOS 804402 HAS SOPS 432176 HAS SOUS 214927 HAS SOUPS 201263 WITH SCORE 202067.402
AT ITER 1521 NEW BEST:: SOT 1467203 SOS 804593 HAS SOPS 432367 HAS SOUS 214901 HAS SOUPS 201237 WITH SCORE 202041.593
AT ITER 1536 NEW BEST:: SOT 1467173 SOS 804343 HAS SOPS 432117 HAS SOUS 214841 HAS SOUPS 201177 WITH SCORE 201981.343
AT ITER 1544 NEW BEST:: SOT 1467145 SOS 804259 HAS SOPS 432033 HAS SOUS 214813 HAS SOUPS 201149 WITH SCORE 201953.259
AT ITER 1546 NEW BEST:: SOT 1466996 SOS 803939 HAS SOPS 431713 HAS SOUS 214493 HAS SOUPS 200829 WITH SCORE 201632.939
AT ITER 1553 NEW BEST:: SOT 1466996 SOS 803883 HAS SOPS 431657 HAS SOUS 214493 HAS SOUPS 200829 WITH SCORE 201632.883
AT ITER 1556 NEW BEST:: SOT 1466906 SOS 803883 HAS SOPS 431657 HAS SOUS 214313 HAS SOUPS 200649 WITH SCORE 201452.883
AT ITER 1574 NEW BEST:: SOT 1466859 SOS 803802 HAS SOPS 431576 HAS SOUS 214253 HAS SOUPS 200589 WITH SCORE 201392.802
AT ITER 1581 NEW BEST:: SOT 1466656 SOS 803570 HAS SOPS 431344 HAS SOUS 214224 HAS SOUPS 200560 WITH SCORE 201363.57
AT ITER 1590 NEW BEST:: SOT 1466656 SOS 803543 HAS SOPS 431317 HAS SOUS 214215 HAS SOUPS 200551 WITH SCORE 201354.543
AT ITER 1595 NEW BEST:: SOT 1466656 SOS 803450 HAS SOPS 431224 HAS SOUS 214185 HAS SOUPS 200521 WITH SCORE 201324.45
AT ITER 1605 NEW BEST:: SOT 1466612 SOS 803619 HAS SOPS 431393 HAS SOUS 214097 HAS SOUPS 200433 WITH SCORE 201236.619
AT ITER 1612 NEW BEST:: SOT 1466595 SOS 802731 HAS SOPS 430505 HAS SOUS 214063 HAS SOUPS 200399 WITH SCORE 201201.731
AT ITER 1626 NEW BEST:: SOT 1466483 SOS 802605 HAS SOPS 430365 HAS SOUS 214035 HAS SOUPS 200371 WITH SCORE 201173.605
AT ITER 1629 NEW BEST:: SOT 1466483 SOS 802383 HAS SOPS 430365 HAS SOUS 213900 HAS SOUPS 200349 WITH SCORE 201151.383
AT ITER 1632 NEW BEST:: SOT 1466578 SOS 802306 HAS SOPS 429935 HAS SOUS 213718 HAS SOUPS 200167 WITH SCORE 200969.306
AT ITER 1684 NEW BEST:: SOT 1466524 SOS 802360 HAS SOPS 429989 HAS SOUS 213664 HAS SOUPS 200113 WITH SCORE 200915.36
AT ITER 1689 NEW BEST:: SOT 1466577 SOS 800371 HAS SOPS 427241 HAS SOUS 213628 HAS SOUPS 200077 WITH SCORE 200877.371
AT ITER 1700 NEW BEST:: SOT 1466126 SOS 799861 HAS SOPS 426731 HAS SOUS 213615 HAS SOUPS 200064 WITH SCORE 200863.861
AT ITER 1702 NEW BEST:: SOT 1464994 SOS 799042 HAS SOPS 425891 HAS SOUS 212715 HAS SOUPS 199164 WITH SCORE 199963.042
AT ITER 1710 NEW BEST:: SOT 1464914 SOS 798760 HAS SOPS 425337 HAS SOUS 212498 HAS SOUPS 198916 WITH SCORE 199714.76
AT ITER 1715 NEW BEST:: SOT 1464906 SOS 798752 HAS SOPS 425385 HAS SOUS 212498 HAS SOUPS 198916 WITH SCORE 199714.752
AT ITER 1734 NEW BEST:: SOT 1464967 SOS 798408 HAS SOPS 425001 HAS SOUS 212413 HAS SOUPS 198831 WITH SCORE 199629.408
AT ITER 1748 NEW BEST:: SOT 1464920 SOS 798462 HAS SOPS 425055 HAS SOUS 212319 HAS SOUPS 198737 WITH SCORE 199535.462
AT ITER 1750 NEW BEST:: SOT 1464920 SOS 762476 HAS SOPS 422085 HAS SOUS 211867 HAS SOUPS 198429 WITH SCORE 199191.476
AT ITER 1752 NEW BEST:: SOT 1464799 SOS 762297 HAS SOPS 421959 HAS SOUS 211688 HAS SOUPS 198303 WITH SCORE 199065.297
AT ITER 1755 NEW BEST:: SOT 1464862 SOS 762486 HAS SOPS 422148 HAS SOUS 211289 HAS SOUPS 197904 WITH SCORE 198666.486
AT ITER 1757 NEW BEST:: SOT 1464862 SOS 762454 HAS SOPS 422116 HAS SOUS 211289 HAS SOUPS 197904 WITH SCORE 198666.454
AT ITER 1761 NEW BEST:: SOT 1464679 SOS 762439 HAS SOPS 422874 HAS SOUS 210695 HAS SOUPS 197310 WITH SCORE 198072.439
AT ITER 1780 NEW BEST:: SOT 1464402 SOS 762225 HAS SOPS 422825 HAS SOUS 210566 HAS SOUPS 197181 WITH SCORE 197943.225
AT ITER 1791 NEW BEST:: SOT 1464405 SOS 762131 HAS SOPS 422731 HAS SOUS 210528 HAS SOUPS 197143 WITH SCORE 197905.131
AT ITER 1814 NEW BEST:: SOT 1464323 SOS 762117 HAS SOPS 422635 HAS SOUS 210398 HAS SOUPS 197013 WITH SCORE 197775.117
AT ITER 1839 NEW BEST:: SOT 1464372 SOS 762166 HAS SOPS 422582 HAS SOUS 210500 HAS SOUPS 196960 WITH SCORE 197722.166
AT ITER 1857 NEW BEST:: SOT 1464398 SOS 761741 HAS SOPS 422157 HAS SOUS 210435 HAS SOUPS 196895 WITH SCORE 197656.741
AT ITER 1883 NEW BEST:: SOT 1464444 SOS 761830 HAS SOPS 421906 HAS SOUS 210221 HAS SOUPS 196644 WITH SCORE 197405.83
AT ITER 1884 NEW BEST:: SOT 1464336 SOS 761733 HAS SOPS 421615 HAS SOUS 209930 HAS SOUPS 196353 WITH SCORE 197114.733
AT ITER 1901 NEW BEST:: SOT 1464362 SOS 761475 HAS SOPS 421116 HAS SOUS 209689 HAS SOUPS 196112 WITH SCORE 196873.475
AT ITER 1911 NEW BEST:: SOT 1464276 SOS 761505 HAS SOPS 421503 HAS SOUS 209636 HAS SOUPS 196059 WITH SCORE 196820.505
AT ITER 1914 NEW BEST:: SOT 1466247 SOS 764045 HAS SOPS 419330 HAS SOUS 206849 HAS SOUPS 193143 WITH SCORE 193907.045
AT ITER 1944 NEW BEST:: SOT 1465921 SOS 763670 HAS SOPS 419315 HAS SOUS 206829 HAS SOUPS 193128 WITH SCORE 193891.67
AT ITER 1949 NEW BEST:: SOT 1465921 SOS 763633 HAS SOPS 419278 HAS SOUS 206792 HAS SOUPS 193091 WITH SCORE 193854.633
AT ITER 1952 NEW BEST:: SOT 1465580 SOS 763246 HAS SOPS 418826 HAS SOUS 206681 HAS SOUPS 192980 WITH SCORE 193743.246
AT ITER 1956 NEW BEST:: SOT 1465538 SOS 763306 HAS SOPS 418886 HAS SOUS 206669 HAS SOUPS 192968 WITH SCORE 193731.306
AT ITER 1961 NEW BEST:: SOT 1465414 SOS 763161 HAS SOPS 418741 HAS SOUS 206501 HAS SOUPS 192800 WITH SCORE 193563.161
AT ITER 1963 NEW BEST:: SOT 1465438 SOS 763047 HAS SOPS 418765 HAS SOUS 206498 HAS SOUPS 192800 WITH SCORE 193563.047
AT ITER 1965 NEW BEST:: SOT 1465400 SOS 762964 HAS SOPS 418682 HAS SOUS 206486 HAS SOUPS 192788 WITH SCORE 193550.964
AT ITER 1978 NEW BEST:: SOT 1465399 SOS 762682 HAS SOPS 418400 HAS SOUS 206484 HAS SOUPS 192786 WITH SCORE 193548.682
AT ITER 1981 NEW BEST:: SOT 1465385 SOS 762555 HAS SOPS 418273 HAS SOUS 206429 HAS SOUPS 192731 WITH SCORE 193493.555
AT ITER 1986 NEW BEST:: SOT 1464966 SOS 762136 HAS SOPS 418191 HAS SOUS 206454 HAS SOUPS 192649 WITH SCORE 193411.136
AT ITER 1991 NEW BEST:: SOT 1464832 SOS 762041 HAS SOPS 418216 HAS SOUS 206399 HAS SOUPS 192594 WITH SCORE 193356.041
AT ITER 2000 NEW BEST:: SOT 1464076 SOS 761067 HAS SOPS 417185 HAS SOUS 206287 HAS SOUPS 192482 WITH SCORE 193243.067
AT ITER 2019 NEW BEST:: SOT 1463777 SOS 760589 HAS SOPS 415195 HAS SOUS 205701 HAS SOUPS 191884 WITH SCORE 192644.589
AT ITER 2022 NEW BEST:: SOT 1463751 SOS 760563 HAS SOPS 415143 HAS SOUS 205688 HAS SOUPS 191832 WITH SCORE 192592.563
AT ITER 2027 NEW BEST:: SOT 1463687 SOS 760435 HAS SOPS 415015 HAS SOUS 205560 HAS SOUPS 191704 WITH SCORE 192464.435
AT ITER 2037 NEW BEST:: SOT 1463639 SOS 760201 HAS SOPS 414994 HAS SOUS 205539 HAS SOUPS 191683 WITH SCORE 192443.201
AT ITER 2049 NEW BEST:: SOT 1463632 SOS 760180 HAS SOPS 414973 HAS SOUS 205525 HAS SOUPS 191669 WITH SCORE 192429.18
AT ITER 2050 NEW BEST:: SOT 1463387 SOS 759935 HAS SOPS 414679 HAS SOUS 205274 HAS SOUPS 191418 WITH SCORE 192177.935
AT ITER 2051 NEW BEST:: SOT 1463242 SOS 759500 HAS SOPS 414244 HAS SOUS 205129 HAS SOUPS 191273 WITH SCORE 192032.5
AT ITER 2052 NEW BEST:: SOT 1463120 SOS 759367 HAS SOPS 414111 HAS SOUS 205016 HAS SOUPS 191160 WITH SCORE 191919.367
AT ITER 2089 NEW BEST:: SOT 1463105 SOS 759337 HAS SOPS 414081 HAS SOUS 204986 HAS SOUPS 191130 WITH SCORE 191889.337
AT ITER 2104 NEW BEST:: SOT 1463105 SOS 759407 HAS SOPS 414151 HAS SOUS 204916 HAS SOUPS 191060 WITH SCORE 191819.407
AT ITER 2107 NEW BEST:: SOT 1463073 SOS 759375 HAS SOPS 414119 HAS SOUS 204884 HAS SOUPS 191028 WITH SCORE 191787.375
AT ITER 2115 NEW BEST:: SOT 1463073 SOS 759375 HAS SOPS 414119 HAS SOUS 204864 HAS SOUPS 191008 WITH SCORE 191767.375
AT ITER 2132 NEW BEST:: SOT 1463029 SOS 759250 HAS SOPS 413752 HAS SOUS 204562 HAS SOUPS 190706 WITH SCORE 191465.25
AT ITER 2137 NEW BEST:: SOT 1463016 SOS 759256 HAS SOPS 413758 HAS SOUS 204512 HAS SOUPS 190656 WITH SCORE 191415.256
AT ITER 2142 NEW BEST:: SOT 1462973 SOS 759205 HAS SOPS 413707 HAS SOUS 204426 HAS SOUPS 190570 WITH SCORE 191329.205
AT ITER 2145 NEW BEST:: SOT 1462989 SOS 759189 HAS SOPS 413691 HAS SOUS 204426 HAS SOUPS 190570 WITH SCORE 191329.189
AT ITER 2149 NEW BEST:: SOT 1463030 SOS 759442 HAS SOPS 413944 HAS SOUS 204337 HAS SOUPS 190481 WITH SCORE 191240.442
AT ITER 2158 NEW BEST:: SOT 1462982 SOS 759370 HAS SOPS 413872 HAS SOUS 204289 HAS SOUPS 190433 WITH SCORE 191192.37
AT ITER 2167 NEW BEST:: SOT 1462982 SOS 759299 HAS SOPS 413835 HAS SOUS 204289 HAS SOUPS 190433 WITH SCORE 191192.299
AT ITER 2169 NEW BEST:: SOT 1462982 SOS 759291 HAS SOPS 413827 HAS SOUS 204289 HAS SOUPS 190433 WITH SCORE 191192.291
AT ITER 2170 NEW BEST:: SOT 1462970 SOS 759667 HAS SOPS 414203 HAS SOUS 204265 HAS SOUPS 190409 WITH SCORE 191168.667
AT ITER 2175 NEW BEST:: SOT 1462958 SOS 759667 HAS SOPS 414179 HAS SOUS 204248 HAS SOUPS 190385 WITH SCORE 191144.667
AT ITER 2186 NEW BEST:: SOT 1462691 SOS 759266 HAS SOPS 413972 HAS SOUS 203775 HAS SOUPS 190167 WITH SCORE 190926.266
AT ITER 2187 NEW BEST:: SOT 1462691 SOS 759448 HAS SOPS 413881 HAS SOUS 203736 HAS SOUPS 189985 WITH SCORE 190744.448
AT ITER 2188 NEW BEST:: SOT 1462678 SOS 759422 HAS SOPS 413855 HAS SOUS 203706 HAS SOUPS 189955 WITH SCORE 190714.422
AT ITER 2190 NEW BEST:: SOT 1462603 SOS 759572 HAS SOPS 414005 HAS SOUS 203557 HAS SOUPS 189806 WITH SCORE 190565.572
AT ITER 2191 NEW BEST:: SOT 1462562 SOS 759662 HAS SOPS 414095 HAS SOUS 203475 HAS SOUPS 189724 WITH SCORE 190483.662
AT ITER 2195 NEW BEST:: SOT 1462562 SOS 759467 HAS SOPS 413900 HAS SOUS 203388 HAS SOUPS 189637 WITH SCORE 190396.467
AT ITER 2204 NEW BEST:: SOT 1462809 SOS 759714 HAS SOPS 414166 HAS SOUS 203386 HAS SOUPS 189635 WITH SCORE 190394.714
AT ITER 2211 NEW BEST:: SOT 1462598 SOS 759501 HAS SOPS 413953 HAS SOUS 203173 HAS SOUPS 189422 WITH SCORE 190181.501
AT ITER 2227 NEW BEST:: SOT 1462598 SOS 759474 HAS SOPS 413926 HAS SOUS 203146 HAS SOUPS 189395 WITH SCORE 190154.474
AT ITER 2256 NEW BEST:: SOT 1462575 SOS 759497 HAS SOPS 413949 HAS SOUS 203123 HAS SOUPS 189372 WITH SCORE 190131.497
AT ITER 2262 NEW BEST:: SOT 1462546 SOS 759420 HAS SOPS 413795 HAS SOUS 202969 HAS SOUPS 189218 WITH SCORE 189977.42
AT ITER 2282 NEW BEST:: SOT 1462440 SOS 759262 HAS SOPS 413637 HAS SOUS 202960 HAS SOUPS 189209 WITH SCORE 189968.262
AT ITER 2284 NEW BEST:: SOT 1462408 SOS 759122 HAS SOPS 413409 HAS SOUS 202838 HAS SOUPS 189087 WITH SCORE 189846.122
AT ITER 2295 NEW BEST:: SOT 1462162 SOS 758473 HAS SOPS 412760 HAS SOUS 202831 HAS SOUPS 189080 WITH SCORE 189838.473
AT ITER 2296 NEW BEST:: SOT 1462016 SOS 758279 HAS SOPS 412468 HAS SOUS 202637 HAS SOUPS 188886 WITH SCORE 189644.279
AT ITER 2313 NEW BEST:: SOT 1462141 SOS 758426 HAS SOPS 412542 HAS SOUS 202576 HAS SOUPS 188825 WITH SCORE 189583.426
AT ITER 2321 NEW BEST:: SOT 1462141 SOS 758426 HAS SOPS 412540 HAS SOUS 202578 HAS SOUPS 188823 WITH SCORE 189581.426
AT ITER 2325 NEW BEST:: SOT 1462141 SOS 758426 HAS SOPS 412535 HAS SOUS 202573 HAS SOUPS 188818 WITH SCORE 189576.426
AT ITER 2337 NEW BEST:: SOT 1462141 SOS 758176 HAS SOPS 412285 HAS SOUS 202572 HAS SOUPS 188817 WITH SCORE 189575.176
AT ITER 2343 NEW BEST:: SOT 1462133 SOS 758164 HAS SOPS 412269 HAS SOUS 202556 HAS SOUPS 188801 WITH SCORE 189559.164
AT ITER 2350 NEW BEST:: SOT 1462127 SOS 758110 HAS SOPS 412215 HAS SOUS 202544 HAS SOUPS 188789 WITH SCORE 189547.11
AT ITER 2357 NEW BEST:: SOT 1462114 SOS 758084 HAS SOPS 412189 HAS SOUS 202518 HAS SOUPS 188763 WITH SCORE 189521.084
AT ITER 2363 NEW BEST:: SOT 1461967 SOS 757967 HAS SOPS 412072 HAS SOUS 202371 HAS SOUPS 188616 WITH SCORE 189373.967
AT ITER 2373 NEW BEST:: SOT 1461845 SOS 757491 HAS SOPS 411596 HAS SOUS 202249 HAS SOUPS 188494 WITH SCORE 189251.491
AT ITER 2378 NEW BEST:: SOT 1461792 SOS 757589 HAS SOPS 411694 HAS SOUS 202247 HAS SOUPS 188492 WITH SCORE 189249.589
AT ITER 2380 NEW BEST:: SOT 1461676 SOS 757361 HAS SOPS 411462 HAS SOUS 202032 HAS SOUPS 188260 WITH SCORE 189017.361
AT ITER 2416 NEW BEST:: SOT 1461676 SOS 757465 HAS SOPS 411566 HAS SOUS 202021 HAS SOUPS 188249 WITH SCORE 189006.465
AT ITER 2420 NEW BEST:: SOT 1461580 SOS 757357 HAS SOPS 411374 HAS SOUS 201997 HAS SOUPS 188225 WITH SCORE 188982.357
AT ITER 2426 NEW BEST:: SOT 1461569 SOS 757313 HAS SOPS 411330 HAS SOUS 201975 HAS SOUPS 188203 WITH SCORE 188960.313
AT ITER 2433 NEW BEST:: SOT 1461569 SOS 757277 HAS SOPS 411294 HAS SOUS 201975 HAS SOUPS 188203 WITH SCORE 188960.277
AT ITER 2442 NEW BEST:: SOT 1461655 SOS 757284 HAS SOPS 411301 HAS SOUS 201865 HAS SOUPS 188093 WITH SCORE 188850.284
AT ITER 2450 NEW BEST:: SOT 1461383 SOS 756978 HAS SOPS 410995 HAS SOUS 201559 HAS SOUPS 187787 WITH SCORE 188543.978
AT ITER 2452 NEW BEST:: SOT 1461314 SOS 756901 HAS SOPS 410930 HAS SOUS 201477 HAS SOUPS 187705 WITH SCORE 188461.901
AT ITER 2466 NEW BEST:: SOT 1461307 SOS 756536 HAS SOPS 410565 HAS SOUS 201434 HAS SOUPS 187662 WITH SCORE 188418.536
AT ITER 2468 NEW BEST:: SOT 1461307 SOS 756331 HAS SOPS 410360 HAS SOUS 201229 HAS SOUPS 187457 WITH SCORE 188213.331
AT ITER 2481 NEW BEST:: SOT 1460780 SOS 755913 HAS SOPS 410586 HAS SOUS 200817 HAS SOUPS 187045 WITH SCORE 187800.913
AT ITER 2486 NEW BEST:: SOT 1458780 SOS 753792 HAS SOPS 408384 HAS SOUS 200735 HAS SOUPS 186963 WITH SCORE 187716.792
AT ITER 2500 NEW BEST:: SOT 1458749 SOS 753735 HAS SOPS 407807 HAS SOUS 200241 HAS SOUPS 186469 WITH SCORE 187222.735
AT ITER 2509 NEW BEST:: SOT 1458688 SOS 753567 HAS SOPS 407595 HAS SOUS 200199 HAS SOUPS 186427 WITH SCORE 187180.567
AT ITER 2513 NEW BEST:: SOT 1458634 SOS 753513 HAS SOPS 407571 HAS SOUS 200175 HAS SOUPS 186403 WITH SCORE 187156.513
AT ITER 2530 NEW BEST:: SOT 1457884 SOS 752763 HAS SOPS 406543 HAS SOUS 200074 HAS SOUPS 186262 WITH SCORE 187014.763
AT ITER 2532 NEW BEST:: SOT 1457867 SOS 753380 HAS SOPS 407160 HAS SOUS 200040 HAS SOUPS 186228 WITH SCORE 186981.38
AT ITER 2537 NEW BEST:: SOT 1457814 SOS 752903 HAS SOPS 406683 HAS SOUS 199934 HAS SOUPS 186122 WITH SCORE 186874.903
AT ITER 2539 NEW BEST:: SOT 1457681 SOS 752746 HAS SOPS 406433 HAS SOUS 199760 HAS SOUPS 185948 WITH SCORE 186700.746
AT ITER 2549 NEW BEST:: SOT 1457686 SOS 752751 HAS SOPS 406426 HAS SOUS 199753 HAS SOUPS 185941 WITH SCORE 186693.751
AT ITER 2552 NEW BEST:: SOT 1457686 SOS 752749 HAS SOPS 406426 HAS SOUS 199753 HAS SOUPS 185941 WITH SCORE 186693.749
AT ITER 2560 NEW BEST:: SOT 1457679 SOS 752742 HAS SOPS 406419 HAS SOUS 199752 HAS SOUPS 185940 WITH SCORE 186692.742
AT ITER 2567 NEW BEST:: SOT 1456521 SOS 751584 HAS SOPS 405204 HAS SOUS 199722 HAS SOUPS 185907 WITH SCORE 186658.584
AT ITER 2571 NEW BEST:: SOT 1456580 SOS 751499 HAS SOPS 405057 HAS SOUS 199719 HAS SOUPS 185904 WITH SCORE 186655.499
AT ITER 2576 NEW BEST:: SOT 1456397 SOS 751347 HAS SOPS 404877 HAS SOUS 199544 HAS SOUPS 185724 WITH SCORE 186475.347
AT ITER 2607 NEW BEST:: SOT 1456368 SOS 751399 HAS SOPS 404929 HAS SOUS 199486 HAS SOUPS 185666 WITH SCORE 186417.399
AT ITER 2612 NEW BEST:: SOT 1456306 SOS 751337 HAS SOPS 404681 HAS SOUS 199238 HAS SOUPS 185418 WITH SCORE 186169.337
AT ITER 2615 NEW BEST:: SOT 1455914 SOS 750821 HAS SOPS 404001 HAS SOUS 199067 HAS SOUPS 185247 WITH SCORE 185997.821
AT ITER 2621 NEW BEST:: SOT 1455928 SOS 751305 HAS SOPS 404485 HAS SOUS 199038 HAS SOUPS 185218 WITH SCORE 185969.305
AT ITER 2622 NEW BEST:: SOT 1455928 SOS 751085 HAS SOPS 404265 HAS SOUS 199038 HAS SOUPS 185218 WITH SCORE 185969.085
AT ITER 2638 NEW BEST:: SOT 1455928 SOS 751080 HAS SOPS 404260 HAS SOUS 199033 HAS SOUPS 185213 WITH SCORE 185964.08
AT ITER 2658 NEW BEST:: SOT 1454286 SOS 762043 HAS SOPS 402271 HAS SOUS 199143 HAS SOUPS 185066 WITH SCORE 185828.043
AT ITER 2680 NEW BEST:: SOT 1454595 SOS 762352 HAS SOPS 402553 HAS SOUS 198993 HAS SOUPS 184916 WITH SCORE 185678.352
AT ITER 2685 NEW BEST:: SOT 1454582 SOS 762178 HAS SOPS 402381 HAS SOUS 198990 HAS SOUPS 184913 WITH SCORE 185675.178
AT ITER 2709 NEW BEST:: SOT 1454296 SOS 761873 HAS SOPS 401904 HAS SOUS 198688 HAS SOUPS 184611 WITH SCORE 185372.873
AT ITER 2760 NEW BEST:: SOT 1454382 SOS 761967 HAS SOPS 401836 HAS SOUS 198620 HAS SOUPS 184543 WITH SCORE 185304.967
AT ITER 2761 NEW BEST:: SOT 1454436 SOS 761535 HAS SOPS 401116 HAS SOUS 198570 HAS SOUPS 184493 WITH SCORE 185254.535
AT ITER 2768 NEW BEST:: SOT 1454436 SOS 761493 HAS SOPS 401074 HAS SOUS 198570 HAS SOUPS 184493 WITH SCORE 185254.493
AT ITER 2771 NEW BEST:: SOT 1454356 SOS 761287 HAS SOPS 400964 HAS SOUS 198448 HAS SOUPS 184371 WITH SCORE 185132.287
AT ITER 2775 NEW BEST:: SOT 1454272 SOS 761206 HAS SOPS 400883 HAS SOUS 198368 HAS SOUPS 184291 WITH SCORE 185052.206
AT ITER 2787 NEW BEST:: SOT 1453503 SOS 760378 HAS SOPS 400133 HAS SOUS 198263 HAS SOUPS 184186 WITH SCORE 184946.378
AT ITER 2806 NEW BEST:: SOT 1453469 SOS 760344 HAS SOPS 400029 HAS SOUS 198229 HAS SOUPS 184082 WITH SCORE 184842.344
AT ITER 2809 NEW BEST:: SOT 1453251 SOS 760115 HAS SOPS 399799 HAS SOUS 198231 HAS SOUPS 184062 WITH SCORE 184822.115
AT ITER 2815 NEW BEST:: SOT 1453094 SOS 760064 HAS SOPS 399748 HAS SOUS 197968 HAS SOUPS 183799 WITH SCORE 184559.064
AT ITER 2816 NEW BEST:: SOT 1452819 SOS 759730 HAS SOPS 399852 HAS SOUS 197825 HAS SOUPS 183656 WITH SCORE 184415.73
AT ITER 2818 NEW BEST:: SOT 1452363 SOS 759217 HAS SOPS 398598 HAS SOUS 196628 HAS SOUPS 182459 WITH SCORE 183218.217
AT ITER 2819 NEW BEST:: SOT 1452510 SOS 759293 HAS SOPS 398566 HAS SOUS 196623 HAS SOUPS 182454 WITH SCORE 183213.293
AT ITER 2820 NEW BEST:: SOT 1452510 SOS 759233 HAS SOPS 398506 HAS SOUS 196623 HAS SOUPS 182454 WITH SCORE 183213.233
AT ITER 2838 NEW BEST:: SOT 1452504 SOS 759221 HAS SOPS 398494 HAS SOUS 196617 HAS SOUPS 182448 WITH SCORE 183207.221
AT ITER 2841 NEW BEST:: SOT 1452368 SOS 759206 HAS SOPS 398448 HAS SOUS 196458 HAS SOUPS 182289 WITH SCORE 183048.206
AT ITER 2857 NEW BEST:: SOT 1452290 SOS 759167 HAS SOPS 398449 HAS SOUS 196404 HAS SOUPS 182235 WITH SCORE 182994.167
AT ITER 2858 NEW BEST:: SOT 1452293 SOS 759055 HAS SOPS 398333 HAS SOUS 196288 HAS SOUPS 182119 WITH SCORE 182878.055
AT ITER 2868 NEW BEST:: SOT 1452253 SOS 759052 HAS SOPS 398330 HAS SOUS 196208 HAS SOUPS 182039 WITH SCORE 182798.052
AT ITER 2870 NEW BEST:: SOT 1452234 SOS 759016 HAS SOPS 398314 HAS SOUS 196190 HAS SOUPS 182021 WITH SCORE 182780.016
AT ITER 2871 NEW BEST:: SOT 1452236 SOS 759103 HAS SOPS 398382 HAS SOUS 196162 HAS SOUPS 181993 WITH SCORE 182752.103
AT ITER 2877 NEW BEST:: SOT 1452100 SOS 758979 HAS SOPS 398258 HAS SOUS 195890 HAS SOUPS 181721 WITH SCORE 182479.979
AT ITER 2888 NEW BEST:: SOT 1452100 SOS 758944 HAS SOPS 398223 HAS SOUS 195890 HAS SOUPS 181721 WITH SCORE 182479.944
AT ITER 2895 NEW BEST:: SOT 1451962 SOS 756730 HAS SOPS 396009 HAS SOUS 195765 HAS SOUPS 181596 WITH SCORE 182352.73
AT ITER 2903 NEW BEST:: SOT 1451930 SOS 756699 HAS SOPS 395978 HAS SOUS 195701 HAS SOUPS 181532 WITH SCORE 182288.699
AT ITER 2907 NEW BEST:: SOT 1451930 SOS 756643 HAS SOPS 395922 HAS SOUS 195701 HAS SOUPS 181532 WITH SCORE 182288.643
AT ITER 2918 NEW BEST:: SOT 1451894 SOS 756607 HAS SOPS 395850 HAS SOUS 195665 HAS SOUPS 181496 WITH SCORE 182252.607
AT ITER 2919 NEW BEST:: SOT 1451852 SOS 756565 HAS SOPS 395388 HAS SOUS 195224 HAS SOUPS 181055 WITH SCORE 181811.565
AT ITER 2932 NEW BEST:: SOT 1451784 SOS 756438 HAS SOPS 395252 HAS SOUS 195065 HAS SOUPS 180919 WITH SCORE 181675.438
AT ITER 2948 NEW BEST:: SOT 1451724 SOS 756358 HAS SOPS 395132 HAS SOUS 194945 HAS SOUPS 180799 WITH SCORE 181555.358
AT ITER 2949 NEW BEST:: SOT 1451573 SOS 756155 HAS SOPS 394236 HAS SOUS 194118 HAS SOUPS 179972 WITH SCORE 180728.155
AT ITER 2956 NEW BEST:: SOT 1451566 SOS 756141 HAS SOPS 394222 HAS SOUS 194104 HAS SOUPS 179958 WITH SCORE 180714.141
AT ITER 2971 NEW BEST:: SOT 1451566 SOS 755843 HAS SOPS 393924 HAS SOUS 194086 HAS SOUPS 179940 WITH SCORE 180695.843
AT ITER 2974 NEW BEST:: SOT 1451566 SOS 755807 HAS SOPS 393924 HAS SOUS 194069 HAS SOUPS 179940 WITH SCORE 180695.807
AT ITER 2976 NEW BEST:: SOT 1451566 SOS 755794 HAS SOPS 393911 HAS SOUS 194069 HAS SOUPS 179940 WITH SCORE 180695.794
AT ITER 2981 NEW BEST:: SOT 1452079 SOS 756434 HAS SOPS 395248 HAS SOUS 193911 HAS SOUPS 179782 WITH SCORE 180538.434
AT ITER 3007 NEW BEST:: SOT 1452067 SOS 756410 HAS SOPS 395224 HAS SOUS 193899 HAS SOUPS 179770 WITH SCORE 180526.41
AT ITER 3018 NEW BEST:: SOT 1452067 SOS 756159 HAS SOPS 394973 HAS SOUS 193848 HAS SOUPS 179719 WITH SCORE 180475.159
AT ITER 3025 NEW BEST:: SOT 1452024 SOS 755930 HAS SOPS 393850 HAS SOUS 193757 HAS SOUPS 179628 WITH SCORE 180383.93
AT ITER 3038 NEW BEST:: SOT 1450897 SOS 754761 HAS SOPS 400339 HAS SOUS 193744 HAS SOUPS 179615 WITH SCORE 180369.761
AT ITER 3045 NEW BEST:: SOT 1450897 SOS 754761 HAS SOPS 400259 HAS SOUS 193664 HAS SOUPS 179535 WITH SCORE 180289.761
AT ITER 3046 NEW BEST:: SOT 1450460 SOS 754324 HAS SOPS 402703 HAS SOUS 193609 HAS SOUPS 179480 WITH SCORE 180234.324
AT ITER 3060 NEW BEST:: SOT 1450401 SOS 754027 HAS SOPS 402406 HAS SOUS 193478 HAS SOUPS 179349 WITH SCORE 180103.027
AT ITER 3065 NEW BEST:: SOT 1450201 SOS 753432 HAS SOPS 400884 HAS SOUS 193314 HAS SOUPS 179131 WITH SCORE 179884.432
AT ITER 3083 NEW BEST:: SOT 1450146 SOS 753462 HAS SOPS 400914 HAS SOUS 193204 HAS SOUPS 179021 WITH SCORE 179774.462
AT ITER 3096 NEW BEST:: SOT 1449885 SOS 753201 HAS SOPS 400767 HAS SOUS 193176 HAS SOUPS 178993 WITH SCORE 179746.201
AT ITER 3100 NEW BEST:: SOT 1449897 SOS 753090 HAS SOPS 400656 HAS SOUS 193155 HAS SOUPS 178972 WITH SCORE 179725.09
AT ITER 3105 NEW BEST:: SOT 1449441 SOS 752634 HAS SOPS 400200 HAS SOUS 193147 HAS SOUPS 178964 WITH SCORE 179716.634
AT ITER 3118 NEW BEST:: SOT 1449432 SOS 752616 HAS SOPS 400182 HAS SOUS 193129 HAS SOUPS 178946 WITH SCORE 179698.616
AT ITER 3130 NEW BEST:: SOT 1449432 SOS 752159 HAS SOPS 399725 HAS SOUS 193080 HAS SOUPS 178897 WITH SCORE 179649.159
AT ITER 3135 NEW BEST:: SOT 1449432 SOS 752159 HAS SOPS 399725 HAS SOUS 193077 HAS SOUPS 178894 WITH SCORE 179646.159
AT ITER 3162 NEW BEST:: SOT 1449407 SOS 752059 HAS SOPS 399625 HAS SOUS 193027 HAS SOUPS 178844 WITH SCORE 179596.059
AT ITER 3170 NEW BEST:: SOT 1449357 SOS 752009 HAS SOPS 399575 HAS SOUS 192977 HAS SOUPS 178794 WITH SCORE 179546.009
AT ITER 3181 NEW BEST:: SOT 1449078 SOS 751730 HAS SOPS 399190 HAS SOUS 192592 HAS SOUPS 178409 WITH SCORE 179160.73
AT ITER 3186 NEW BEST:: SOT 1450842 SOS 753396 HAS SOPS 401052 HAS SOUS 192494 HAS SOUPS 178311 WITH SCORE 179064.396
AT ITER 3193 NEW BEST:: SOT 1450841 SOS 753393 HAS SOPS 401049 HAS SOUS 192493 HAS SOUPS 178310 WITH SCORE 179063.393
AT ITER 3197 NEW BEST:: SOT 1450872 SOS 753486 HAS SOPS 401154 HAS SOUS 192490 HAS SOUPS 178307 WITH SCORE 179060.486
AT ITER 3198 NEW BEST:: SOT 1450872 SOS 753408 HAS SOPS 401076 HAS SOUS 192412 HAS SOUPS 178229 WITH SCORE 178982.408
AT ITER 3203 NEW BEST:: SOT 1450872 SOS 753408 HAS SOPS 401037 HAS SOUS 192374 HAS SOUPS 178190 WITH SCORE 178943.408
AT ITER 3204 NEW BEST:: SOT 1450872 SOS 753363 HAS SOPS 400992 HAS SOUS 192374 HAS SOUPS 178190 WITH SCORE 178943.363
AT ITER 3208 NEW BEST:: SOT 1450807 SOS 753063 HAS SOPS 400692 HAS SOUS 192244 HAS SOUPS 178060 WITH SCORE 178813.063
AT ITER 3218 NEW BEST:: SOT 1450779 SOS 752964 HAS SOPS 400636 HAS SOUS 192188 HAS SOUPS 178004 WITH SCORE 178756.964
AT ITER 3230 NEW BEST:: SOT 1450779 SOS 752885 HAS SOPS 400557 HAS SOUS 192145 HAS SOUPS 177961 WITH SCORE 178713.885
AT ITER 3235 NEW BEST:: SOT 1450722 SOS 752577 HAS SOPS 400249 HAS SOUS 192031 HAS SOUPS 177847 WITH SCORE 178599.577
AT ITER 3250 NEW BEST:: SOT 1450767 SOS 752671 HAS SOPS 400343 HAS SOUS 191813 HAS SOUPS 177629 WITH SCORE 178381.671
AT ITER 3257 NEW BEST:: SOT 1450761 SOS 752665 HAS SOPS 400337 HAS SOUS 191807 HAS SOUPS 177623 WITH SCORE 178375.665
AT ITER 3260 NEW BEST:: SOT 1450724 SOS 752554 HAS SOPS 400226 HAS SOUS 191770 HAS SOUPS 177586 WITH SCORE 178338.554
AT ITER 3261 NEW BEST:: SOT 1450724 SOS 752533 HAS SOPS 400205 HAS SOUS 191770 HAS SOUPS 177586 WITH SCORE 178338.533
AT ITER 3287 NEW BEST:: SOT 1451140 SOS 752949 HAS SOPS 400634 HAS SOUS 191701 HAS SOUPS 177517 WITH SCORE 178269.949
AT ITER 3295 NEW BEST:: SOT 1451140 SOS 752923 HAS SOPS 400608 HAS SOUS 191688 HAS SOUPS 177504 WITH SCORE 178256.923
AT ITER 3310 NEW BEST:: SOT 1451129 SOS 752901 HAS SOPS 400586 HAS SOUS 191666 HAS SOUPS 177482 WITH SCORE 178234.901
AT ITER 3316 NEW BEST:: SOT 1450554 SOS 752300 HAS SOPS 403599 HAS SOUS 191588 HAS SOUPS 177404 WITH SCORE 178156.3
AT ITER 3334 NEW BEST:: SOT 1450530 SOS 751507 HAS SOPS 402815 HAS SOUS 191540 HAS SOUPS 177356 WITH SCORE 178107.507
AT ITER 3339 NEW BEST:: SOT 1449487 SOS 751033 HAS SOPS 401613 HAS SOUS 191715 HAS SOUPS 177333 WITH SCORE 178084.033
AT ITER 3399 NEW BEST:: SOT 1449436 SOS 750931 HAS SOPS 401511 HAS SOUS 191694 HAS SOUPS 177312 WITH SCORE 178062.931
AT ITER 3404 NEW BEST:: SOT 1449364 SOS 750859 HAS SOPS 401439 HAS SOUS 191622 HAS SOUPS 177240 WITH SCORE 177990.859
AT ITER 3406 NEW BEST:: SOT 1449281 SOS 751021 HAS SOPS 401453 HAS SOUS 191513 HAS SOUPS 177131 WITH SCORE 177882.021
AT ITER 3409 NEW BEST:: SOT 1449245 SOS 750979 HAS SOPS 401417 HAS SOUS 191513 HAS SOUPS 177131 WITH SCORE 177881.979
AT ITER 3410 NEW BEST:: SOT 1449245 SOS 750524 HAS SOPS 400962 HAS SOUS 191513 HAS SOUPS 177131 WITH SCORE 177881.524
AT ITER 3416 NEW BEST:: SOT 1449187 SOS 750466 HAS SOPS 400880 HAS SOUS 191455 HAS SOUPS 177073 WITH SCORE 177823.466
AT ITER 3443 NEW BEST:: SOT 1449187 SOS 750895 HAS SOPS 401309 HAS SOUS 191369 HAS SOUPS 176987 WITH SCORE 177737.895
AT ITER 3452 NEW BEST:: SOT 1448846 SOS 750592 HAS SOPS 400790 HAS SOUS 190857 HAS SOUPS 176475 WITH SCORE 177225.592
AT ITER 3464 NEW BEST:: SOT 1448762 SOS 750425 HAS SOPS 400467 HAS SOUS 190564 HAS SOUPS 176182 WITH SCORE 176932.425
AT ITER 3465 NEW BEST:: SOT 1448324 SOS 749937 HAS SOPS 398991 HAS SOUS 189476 HAS SOUPS 175094 WITH SCORE 175843.937
AT ITER 3473 NEW BEST:: SOT 1448382 SOS 750053 HAS SOPS 399107 HAS SOUS 189467 HAS SOUPS 175085 WITH SCORE 175835.053
AT ITER 3480 NEW BEST:: SOT 1448137 SOS 749808 HAS SOPS 398752 HAS SOUS 189222 HAS SOUPS 174897 WITH SCORE 175646.808
AT ITER 3484 NEW BEST:: SOT 1448011 SOS 749630 HAS SOPS 398574 HAS SOUS 189004 HAS SOUPS 174679 WITH SCORE 175428.63
AT ITER 3486 NEW BEST:: SOT 1447914 SOS 749436 HAS SOPS 398380 HAS SOUS 189004 HAS SOUPS 174679 WITH SCORE 175428.436
AT ITER 3493 NEW BEST:: SOT 1447914 SOS 749411 HAS SOPS 398355 HAS SOUS 189004 HAS SOUPS 174679 WITH SCORE 175428.411
AT ITER 3499 NEW BEST:: SOT 1447746 SOS 749195 HAS SOPS 398331 HAS SOUS 189004 HAS SOUPS 174679 WITH SCORE 175428.195
AT ITER 3506 NEW BEST:: SOT 1447734 SOS 749171 HAS SOPS 398307 HAS SOUS 188980 HAS SOUPS 174655 WITH SCORE 175404.171
AT ITER 3520 NEW BEST:: SOT 1447392 SOS 748145 HAS SOPS 397965 HAS SOUS 188784 HAS SOUPS 174535 WITH SCORE 175283.145
AT ITER 3527 NEW BEST:: SOT 1447392 SOS 748020 HAS SOPS 397840 HAS SOUS 188721 HAS SOUPS 174472 WITH SCORE 175220.02
AT ITER 3530 NEW BEST:: SOT 1446761 SOS 750156 HAS SOPS 397261 HAS SOUS 188599 HAS SOUPS 174256 WITH SCORE 175006.156
AT ITER 3536 NEW BEST:: SOT 1446761 SOS 750162 HAS SOPS 397267 HAS SOUS 188597 HAS SOUPS 174254 WITH SCORE 175004.162
AT ITER 3551 NEW BEST:: SOT 1445884 SOS 749285 HAS SOPS 395838 HAS SOUS 188597 HAS SOUPS 174254 WITH SCORE 175003.285
AT ITER 3571 NEW BEST:: SOT 1445875 SOS 749258 HAS SOPS 395820 HAS SOUS 188570 HAS SOUPS 174236 WITH SCORE 174985.258
AT ITER 3584 NEW BEST:: SOT 1445841 SOS 749055 HAS SOPS 394807 HAS SOUS 188552 HAS SOUPS 174168 WITH SCORE 174917.055
AT ITER 3599 NEW BEST:: SOT 1445820 SOS 749196 HAS SOPS 394939 HAS SOUS 188510 HAS SOUPS 174126 WITH SCORE 174875.196
AT ITER 3600 NEW BEST:: SOT 1445820 SOS 748857 HAS SOPS 394600 HAS SOUS 188510 HAS SOUPS 174126 WITH SCORE 174874.857
AT ITER 3644 NEW BEST:: SOT 1445259 SOS 749038 HAS SOPS 394072 HAS SOUS 188612 HAS SOUPS 174124 WITH SCORE 174873.038
AT ITER 3651 NEW BEST:: SOT 1445199 SOS 748901 HAS SOPS 393935 HAS SOUS 188595 HAS SOUPS 174107 WITH SCORE 174855.901
AT ITER 3654 NEW BEST:: SOT 1445192 SOS 748887 HAS SOPS 393921 HAS SOUS 188581 HAS SOUPS 174093 WITH SCORE 174841.887
AT ITER 3662 NEW BEST:: SOT 1445010 SOS 748705 HAS SOPS 393713 HAS SOUS 188573 HAS SOUPS 174085 WITH SCORE 174833.705
AT ITER 3665 NEW BEST:: SOT 1444987 SOS 748500 HAS SOPS 393508 HAS SOUS 188474 HAS SOUPS 173986 WITH SCORE 174734.5
AT ITER 3669 NEW BEST:: SOT 1444980 SOS 748486 HAS SOPS 393494 HAS SOUS 188460 HAS SOUPS 173972 WITH SCORE 174720.486
AT ITER 3703 NEW BEST:: SOT 1444895 SOS 748638 HAS SOPS 393646 HAS SOUS 188396 HAS SOUPS 173908 WITH SCORE 174656.638
AT ITER 3717 NEW BEST:: SOT 1444835 SOS 748562 HAS SOPS 393570 HAS SOUS 188396 HAS SOUPS 173908 WITH SCORE 174656.562
AT ITER 3721 NEW BEST:: SOT 1444832 SOS 748312 HAS SOPS 393320 HAS SOUS 188362 HAS SOUPS 173874 WITH SCORE 174622.312
AT ITER 3723 NEW BEST:: SOT 1444935 SOS 748557 HAS SOPS 393494 HAS SOUS 188306 HAS SOUPS 173818 WITH SCORE 174566.557
AT ITER 3724 NEW BEST:: SOT 1445000 SOS 748687 HAS SOPS 393461 HAS SOUS 188273 HAS SOUPS 173785 WITH SCORE 174533.687
AT ITER 3734 NEW BEST:: SOT 1444991 SOS 748700 HAS SOPS 393474 HAS SOUS 188255 HAS SOUPS 173767 WITH SCORE 174515.7
AT ITER 3743 NEW BEST:: SOT 1445073 SOS 748820 HAS SOPS 393412 HAS SOUS 188276 HAS SOUPS 173705 WITH SCORE 174453.82
AT ITER 3753 NEW BEST:: SOT 1444860 SOS 748604 HAS SOPS 390306 HAS SOUS 185228 HAS SOUPS 170657 WITH SCORE 171405.604
AT ITER 3764 NEW BEST:: SOT 1444853 SOS 748597 HAS SOPS 390285 HAS SOUS 185207 HAS SOUPS 170636 WITH SCORE 171384.597
AT ITER 3765 NEW BEST:: SOT 1444853 SOS 748546 HAS SOPS 390285 HAS SOUS 185206 HAS SOUPS 170636 WITH SCORE 171384.546
AT ITER 3772 NEW BEST:: SOT 1444810 SOS 748460 HAS SOPS 390199 HAS SOUS 185156 HAS SOUPS 170586 WITH SCORE 171334.46
AT ITER 3781 NEW BEST:: SOT 1445284 SOS 748934 HAS SOPS 390679 HAS SOUS 185120 HAS SOUPS 170540 WITH SCORE 171288.934
AT ITER 3786 NEW BEST:: SOT 1445262 SOS 748912 HAS SOPS 390657 HAS SOUS 185098 HAS SOUPS 170518 WITH SCORE 171266.912
AT ITER 3788 NEW BEST:: SOT 1445033 SOS 748715 HAS SOPS 390540 HAS SOUS 184996 HAS SOUPS 170401 WITH SCORE 171149.715
AT ITER 3790 NEW BEST:: SOT 1445033 SOS 748561 HAS SOPS 390386 HAS SOUS 184996 HAS SOUPS 170401 WITH SCORE 171149.561
AT ITER 3794 NEW BEST:: SOT 1445029 SOS 748547 HAS SOPS 390372 HAS SOUS 184988 HAS SOUPS 170393 WITH SCORE 171141.547
AT ITER 3799 NEW BEST:: SOT 1444861 SOS 748211 HAS SOPS 389868 HAS SOUS 184484 HAS SOUPS 169889 WITH SCORE 170637.211
AT ITER 3822 NEW BEST:: SOT 1444861 SOS 748251 HAS SOPS 389908 HAS SOUS 184481 HAS SOUPS 169886 WITH SCORE 170634.251
AT ITER 3840 NEW BEST:: SOT 1444853 SOS 748369 HAS SOPS 389900 HAS SOUS 184481 HAS SOUPS 169884 WITH SCORE 170632.369
AT ITER 3854 NEW BEST:: SOT 1444832 SOS 748450 HAS SOPS 390002 HAS SOUS 184460 HAS SOUPS 169863 WITH SCORE 170611.45
AT ITER 3859 NEW BEST:: SOT 1444832 SOS 748348 HAS SOPS 389900 HAS SOUS 184426 HAS SOUPS 169829 WITH SCORE 170577.348
AT ITER 3860 NEW BEST:: SOT 1444711 SOS 748135 HAS SOPS 389687 HAS SOUS 184257 HAS SOUPS 169660 WITH SCORE 170408.135
AT ITER 3864 NEW BEST:: SOT 1444679 SOS 748160 HAS SOPS 389712 HAS SOUS 184225 HAS SOUPS 169628 WITH SCORE 170376.16
AT ITER 3866 NEW BEST:: SOT 1444359 SOS 747988 HAS SOPS 389568 HAS SOUS 184059 HAS SOUPS 169462 WITH SCORE 170209.988
AT ITER 3867 NEW BEST:: SOT 1444397 SOS 747973 HAS SOPS 389553 HAS SOUS 184052 HAS SOUPS 169455 WITH SCORE 170202.973
AT ITER 3875 NEW BEST:: SOT 1444351 SOS 746856 HAS SOPS 389643 HAS SOUS 183824 HAS SOUPS 169363 WITH SCORE 170109.856
AT ITER 3890 NEW BEST:: SOT 1444075 SOS 746724 HAS SOPS 389349 HAS SOUS 183565 HAS SOUPS 169069 WITH SCORE 169815.724
AT ITER 3897 NEW BEST:: SOT 1444069 SOS 746724 HAS SOPS 389349 HAS SOUS 183559 HAS SOUPS 169063 WITH SCORE 169809.724
AT ITER 3905 NEW BEST:: SOT 1444082 SOS 746638 HAS SOPS 389263 HAS SOUS 183529 HAS SOUPS 169033 WITH SCORE 169779.638
AT ITER 3924 NEW BEST:: SOT 1444082 SOS 746638 HAS SOPS 389105 HAS SOUS 183371 HAS SOUPS 168875 WITH SCORE 169621.638
AT ITER 3965 NEW BEST:: SOT 1444012 SOS 746561 HAS SOPS 389021 HAS SOUS 183343 HAS SOUPS 168847 WITH SCORE 169593.561
AT ITER 3980 NEW BEST:: SOT 1443607 SOS 746098 HAS SOPS 388306 HAS SOUS 182755 HAS SOUPS 168132 WITH SCORE 168878.098
AT ITER 3984 NEW BEST:: SOT 1443602 SOS 746003 HAS SOPS 388296 HAS SOUS 182745 HAS SOUPS 168122 WITH SCORE 168868.003
AT ITER 4032 NEW BEST:: SOT 1443330 SOS 745719 HAS SOPS 387942 HAS SOUS 182657 HAS SOUPS 168034 WITH SCORE 168779.719
AT ITER 4069 NEW BEST:: SOT 1443330 SOS 745521 HAS SOPS 387744 HAS SOUS 182657 HAS SOUPS 168034 WITH SCORE 168779.521
AT ITER 4114 NEW BEST:: SOT 1443278 SOS 745461 HAS SOPS 387698 HAS SOUS 182568 HAS SOUPS 167988 WITH SCORE 168733.461
AT ITER 4115 NEW BEST:: SOT 1442852 SOS 745035 HAS SOPS 386828 HAS SOUS 182076 HAS SOUPS 167496 WITH SCORE 168241.035
AT ITER 4121 NEW BEST:: SOT 1442852 SOS 744976 HAS SOPS 386769 HAS SOUS 182061 HAS SOUPS 167481 WITH SCORE 168225.976
AT ITER 4133 NEW BEST:: SOT 1442822 SOS 744940 HAS SOPS 386727 HAS SOUS 182031 HAS SOUPS 167451 WITH SCORE 168195.94
AT ITER 4172 NEW BEST:: SOT 1442812 SOS 744930 HAS SOPS 386727 HAS SOUS 182031 HAS SOUPS 167451 WITH SCORE 168195.93
AT ITER 4185 NEW BEST:: SOT 1444357 SOS 746475 HAS SOPS 389057 HAS SOUS 181627 HAS SOUPS 167053 WITH SCORE 167799.475
AT ITER 4189 NEW BEST:: SOT 1444357 SOS 746192 HAS SOPS 388774 HAS SOUS 181627 HAS SOUPS 167053 WITH SCORE 167799.192
AT ITER 4190 NEW BEST:: SOT 1444322 SOS 746778 HAS SOPS 389360 HAS SOUS 181557 HAS SOUPS 166983 WITH SCORE 167729.778
AT ITER 4195 NEW BEST:: SOT 1444288 SOS 746693 HAS SOPS 389275 HAS SOUS 181550 HAS SOUPS 166976 WITH SCORE 167722.693
AT ITER 4196 NEW BEST:: SOT 1444209 SOS 746559 HAS SOPS 389217 HAS SOUS 181492 HAS SOUPS 166918 WITH SCORE 167664.559
AT ITER 4201 NEW BEST:: SOT 1444839 SOS 747189 HAS SOPS 389847 HAS SOUS 181387 HAS SOUPS 166813 WITH SCORE 167560.189
AT ITER 4205 NEW BEST:: SOT 1444839 SOS 747147 HAS SOPS 389805 HAS SOUS 181387 HAS SOUPS 166813 WITH SCORE 167560.147
AT ITER 4208 NEW BEST:: SOT 1444710 SOS 746973 HAS SOPS 389379 HAS SOUS 181045 HAS SOUPS 166471 WITH SCORE 167217.973
AT ITER 4212 NEW BEST:: SOT 1444692 SOS 746992 HAS SOPS 389398 HAS SOUS 181009 HAS SOUPS 166435 WITH SCORE 167181.992
AT ITER 4213 NEW BEST:: SOT 1444674 SOS 746984 HAS SOPS 389182 HAS SOUS 180793 HAS SOUPS 166219 WITH SCORE 166965.984
AT ITER 4237 NEW BEST:: SOT 1444453 SOS 747488 HAS SOPS 388947 HAS SOUS 180825 HAS SOUPS 166192 WITH SCORE 166939.488
AT ITER 4238 NEW BEST:: SOT 1443770 SOS 746757 HAS SOPS 388141 HAS SOUS 180722 HAS SOUPS 166089 WITH SCORE 166835.757
AT ITER 4246 NEW BEST:: SOT 1443686 SOS 746841 HAS SOPS 388225 HAS SOUS 180554 HAS SOUPS 165921 WITH SCORE 166667.841
AT ITER 4256 NEW BEST:: SOT 1443573 SOS 746647 HAS SOPS 387907 HAS SOUS 180360 HAS SOUPS 165603 WITH SCORE 166349.647
AT ITER 4270 NEW BEST:: SOT 1443556 SOS 746751 HAS SOPS 388011 HAS SOUS 180343 HAS SOUPS 165586 WITH SCORE 166332.751
AT ITER 4278 NEW BEST:: SOT 1443488 SOS 746581 HAS SOPS 387841 HAS SOUS 180264 HAS SOUPS 165507 WITH SCORE 166253.581
AT ITER 4279 NEW BEST:: SOT 1443499 SOS 746544 HAS SOPS 387804 HAS SOUS 180227 HAS SOUPS 165470 WITH SCORE 166216.544
AT ITER 4281 NEW BEST:: SOT 1443475 SOS 746520 HAS SOPS 387776 HAS SOUS 180203 HAS SOUPS 165446 WITH SCORE 166192.52
AT ITER 4282 NEW BEST:: SOT 1443452 SOS 746497 HAS SOPS 387753 HAS SOUS 180180 HAS SOUPS 165423 WITH SCORE 166169.497
AT ITER 4286 NEW BEST:: SOT 1443281 SOS 746326 HAS SOPS 387544 HAS SOUS 180123 HAS SOUPS 165366 WITH SCORE 166112.326
AT ITER 4346 NEW BEST:: SOT 1443280 SOS 746324 HAS SOPS 387542 HAS SOUS 180121 HAS SOUPS 165364 WITH SCORE 166110.324
AT ITER 4356 NEW BEST:: SOT 1442953 SOS 746514 HAS SOPS 388364 HAS SOUS 179742 HAS SOUPS 164985 WITH SCORE 165731.514
AT ITER 4381 NEW BEST:: SOT 1442827 SOS 746388 HAS SOPS 388238 HAS SOUS 179616 HAS SOUPS 164859 WITH SCORE 165605.388
AT ITER 4400 NEW BEST:: SOT 1442681 SOS 746563 HAS SOPS 388146 HAS SOUS 179263 HAS SOUPS 164506 WITH SCORE 165252.563
AT ITER 4428 NEW BEST:: SOT 1442673 SOS 746469 HAS SOPS 388130 HAS SOUS 179247 HAS SOUPS 164490 WITH SCORE 165236.469
AT ITER 4431 NEW BEST:: SOT 1442681 SOS 746628 HAS SOPS 387979 HAS SOUS 179096 HAS SOUPS 164339 WITH SCORE 165085.628
AT ITER 4433 NEW BEST:: SOT 1442679 SOS 746626 HAS SOPS 387975 HAS SOUS 179092 HAS SOUPS 164335 WITH SCORE 165081.626
AT ITER 4436 NEW BEST:: SOT 1442661 SOS 746536 HAS SOPS 387885 HAS SOUS 179056 HAS SOUPS 164299 WITH SCORE 165045.536
AT ITER 4450 NEW BEST:: SOT 1442734 SOS 748825 HAS SOPS 390174 HAS SOUS 179011 HAS SOUPS 164254 WITH SCORE 165002.825
AT ITER 4451 NEW BEST:: SOT 1440880 SOS 757012 HAS SOPS 388272 HAS SOUS 179242 HAS SOUPS 164244 WITH SCORE 165001.012
AT ITER 4452 NEW BEST:: SOT 1441616 SOS 757748 HAS SOPS 369658 HAS SOUS 177604 HAS SOUPS 162606 WITH SCORE 163363.748
AT ITER 4457 NEW BEST:: SOT 1441463 SOS 757595 HAS SOPS 369488 HAS SOUS 177553 HAS SOUPS 162555 WITH SCORE 163312.595
AT ITER 4494 NEW BEST:: SOT 1441403 SOS 757535 HAS SOPS 369368 HAS SOUS 177433 HAS SOUPS 162435 WITH SCORE 163192.535
AT ITER 4495 NEW BEST:: SOT 1440981 SOS 757073 HAS SOPS 368851 HAS SOUS 177377 HAS SOUPS 162379 WITH SCORE 163136.073
AT ITER 4514 NEW BEST:: SOT 1440629 SOS 756705 HAS SOPS 368483 HAS SOUS 177233 HAS SOUPS 162235 WITH SCORE 162991.705
AT ITER 4519 NEW BEST:: SOT 1440570 SOS 756645 HAS SOPS 368423 HAS SOUS 177162 HAS SOUPS 162164 WITH SCORE 162920.645
AT ITER 4535 NEW BEST:: SOT 1440570 SOS 742530 HAS SOPS 367379 HAS SOUS 176861 HAS SOUPS 161921 WITH SCORE 162663.53
AT ITER 4541 NEW BEST:: SOT 1440380 SOS 742321 HAS SOPS 367132 HAS SOUS 176766 HAS SOUPS 161826 WITH SCORE 162568.321
AT ITER 4565 NEW BEST:: SOT 1440350 SOS 734214 HAS SOPS 358107 HAS SOUS 176553 HAS SOUPS 161613 WITH SCORE 162347.214
AT ITER 4566 NEW BEST:: SOT 1440336 SOS 734200 HAS SOPS 358100 HAS SOUS 176546 HAS SOUPS 161606 WITH SCORE 162340.2
AT ITER 4571 NEW BEST:: SOT 1440282 SOS 734140 HAS SOPS 358040 HAS SOUS 176534 HAS SOUPS 161594 WITH SCORE 162328.14
AT ITER 4600 NEW BEST:: SOT 1440282 SOS 733380 HAS SOPS 357280 HAS SOUS 176534 HAS SOUPS 161594 WITH SCORE 162327.38
AT ITER 4606 NEW BEST:: SOT 1439898 SOS 732812 HAS SOPS 356355 HAS SOUS 176153 HAS SOUPS 161213 WITH SCORE 161945.812
AT ITER 4618 NEW BEST:: SOT 1439770 SOS 732606 HAS SOPS 356423 HAS SOUS 175925 HAS SOUPS 160985 WITH SCORE 161717.606
AT ITER 4623 NEW BEST:: SOT 1440490 SOS 733326 HAS SOPS 357143 HAS SOUS 175889 HAS SOUPS 160949 WITH SCORE 161682.326
AT ITER 4637 NEW BEST:: SOT 1440229 SOS 732978 HAS SOPS 356824 HAS SOUS 175802 HAS SOUPS 160862 WITH SCORE 161594.978
AT ITER 4642 NEW BEST:: SOT 1440457 SOS 731318 HAS SOPS 357364 HAS SOUS 175718 HAS SOUPS 160817 WITH SCORE 161548.318
AT ITER 4658 NEW BEST:: SOT 1440421 SOS 731282 HAS SOPS 357256 HAS SOUS 175610 HAS SOUPS 160709 WITH SCORE 161440.282
AT ITER 4670 NEW BEST:: SOT 1440417 SOS 731232 HAS SOPS 357206 HAS SOUS 175602 HAS SOUPS 160701 WITH SCORE 161432.232
AT ITER 4673 NEW BEST:: SOT 1440417 SOS 729459 HAS SOPS 355433 HAS SOUS 175445 HAS SOUPS 160544 WITH SCORE 161273.459
AT ITER 4675 NEW BEST:: SOT 1440324 SOS 729273 HAS SOPS 355247 HAS SOUS 175259 HAS SOUPS 160358 WITH SCORE 161087.273
AT ITER 4717 NEW BEST:: SOT 1440324 SOS 729273 HAS SOPS 355202 HAS SOUS 175347 HAS SOUPS 160313 WITH SCORE 161042.273
AT ITER 4725 NEW BEST:: SOT 1440593 SOS 729189 HAS SOPS 354564 HAS SOUS 175200 HAS SOUPS 160166 WITH SCORE 160895.189
AT ITER 4729 NEW BEST:: SOT 1440515 SOS 729090 HAS SOPS 354465 HAS SOUS 175159 HAS SOUPS 160125 WITH SCORE 160854.09
AT ITER 4733 NEW BEST:: SOT 1440515 SOS 729090 HAS SOPS 354425 HAS SOUS 175119 HAS SOUPS 160085 WITH SCORE 160814.09
AT ITER 4735 NEW BEST:: SOT 1440586 SOS 729352 HAS SOPS 354392 HAS SOUS 175050 HAS SOUPS 159962 WITH SCORE 160691.352
AT ITER 4738 NEW BEST:: SOT 1440586 SOS 729211 HAS SOPS 354251 HAS SOUS 175005 HAS SOUPS 159917 WITH SCORE 160646.211
AT ITER 4745 NEW BEST:: SOT 1440600 SOS 728006 HAS SOPS 352393 HAS SOUS 174701 HAS SOUPS 159613 WITH SCORE 160341.006
AT ITER 4758 NEW BEST:: SOT 1440588 SOS 728090 HAS SOPS 352477 HAS SOUS 174689 HAS SOUPS 159601 WITH SCORE 160329.09
AT ITER 4760 NEW BEST:: SOT 1440588 SOS 727978 HAS SOPS 352477 HAS SOUS 174689 HAS SOUPS 159601 WITH SCORE 160328.978
AT ITER 4761 NEW BEST:: SOT 1440420 SOS 727810 HAS SOPS 352309 HAS SOUS 174521 HAS SOUPS 159433 WITH SCORE 160160.81
AT ITER 4765 NEW BEST:: SOT 1440405 SOS 727795 HAS SOPS 352591 HAS SOUS 174454 HAS SOUPS 159366 WITH SCORE 160093.795
AT ITER 4798 NEW BEST:: SOT 1440443 SOS 727765 HAS SOPS 352561 HAS SOUS 174435 HAS SOUPS 159347 WITH SCORE 160074.765
AT ITER 4808 NEW BEST:: SOT 1440443 SOS 727127 HAS SOPS 352501 HAS SOUS 174417 HAS SOUPS 159332 WITH SCORE 160059.127
AT ITER 4815 NEW BEST:: SOT 1440346 SOS 726986 HAS SOPS 352360 HAS SOUS 174378 HAS SOUPS 159293 WITH SCORE 160019.986
AT ITER 4857 NEW BEST:: SOT 1440295 SOS 726935 HAS SOPS 352309 HAS SOUS 174276 HAS SOUPS 159191 WITH SCORE 159917.935
AT ITER 4866 NEW BEST:: SOT 1440201 SOS 729952 HAS SOPS 352501 HAS SOUS 174266 HAS SOUPS 159131 WITH SCORE 159860.952
AT ITER 4871 NEW BEST:: SOT 1439915 SOS 729653 HAS SOPS 353996 HAS SOUS 174253 HAS SOUPS 159092 WITH SCORE 159821.653
AT ITER 4879 NEW BEST:: SOT 1439899 SOS 729469 HAS SOPS 353812 HAS SOUS 174221 HAS SOUPS 159060 WITH SCORE 159789.469
AT ITER 4885 NEW BEST:: SOT 1439503 SOS 729073 HAS SOPS 353002 HAS SOUS 173825 HAS SOUPS 158628 WITH SCORE 159357.073
AT ITER 4927 NEW BEST:: SOT 1439522 SOS 729111 HAS SOPS 352962 HAS SOUS 173785 HAS SOUPS 158588 WITH SCORE 159317.111
AT ITER 4952 NEW BEST:: SOT 1439540 SOS 729004 HAS SOPS 352855 HAS SOUS 173678 HAS SOUPS 158481 WITH SCORE 159210.004
AT ITER 4954 NEW BEST:: SOT 1439523 SOS 729028 HAS SOPS 352879 HAS SOUS 173673 HAS SOUPS 158476 WITH SCORE 159205.028
AT ITER 4982 NEW BEST:: SOT 1438961 SOS 728444 HAS SOPS 355248 HAS SOUS 173551 HAS SOUPS 158354 WITH SCORE 159082.444
AT ITER 4991 NEW BEST:: SOT 1439591 SOS 729074 HAS SOPS 355878 HAS SOUS 173446 HAS SOUPS 158249 WITH SCORE 158978.074
AT ITER 4992 NEW BEST:: SOT 1439615 SOS 728938 HAS SOPS 355562 HAS SOUS 173220 HAS SOUPS 158023 WITH SCORE 158751.938
AT ITER 4997 NEW BEST:: SOT 1439608 SOS 728924 HAS SOPS 355548 HAS SOUS 173206 HAS SOUPS 158009 WITH SCORE 158737.924
AT ITER 4999 NEW BEST:: SOT 1440561 SOS 729934 HAS SOPS 355634 HAS SOUS 172316 HAS SOUPS 157119 WITH SCORE 157848.934
AT ITER 5000 NEW BEST:: SOT 1440553 SOS 729873 HAS SOPS 355205 HAS SOUS 172268 HAS SOUPS 157103 WITH SCORE 157832.873
AT ITER 5007 NEW BEST:: SOT 1440553 SOS 729843 HAS SOPS 355175 HAS SOUS 172229 HAS SOUPS 157064 WITH SCORE 157793.843
AT ITER 5015 NEW BEST:: SOT 1440321 SOS 729480 HAS SOPS 354961 HAS SOUS 171898 HAS SOUPS 156733 WITH SCORE 157462.48
AT ITER 5068 NEW BEST:: SOT 1440308 SOS 729448 HAS SOPS 354912 HAS SOUS 171849 HAS SOUPS 156684 WITH SCORE 157413.448
AT ITER 5088 NEW BEST:: SOT 1440308 SOS 729336 HAS SOPS 354800 HAS SOUS 171835 HAS SOUPS 156670 WITH SCORE 157399.336
AT ITER 5102 NEW BEST:: SOT 1440241 SOS 729244 HAS SOPS 354708 HAS SOUS 171826 HAS SOUPS 156661 WITH SCORE 157390.244
AT ITER 5125 NEW BEST:: SOT 1440223 SOS 729327 HAS SOPS 354791 HAS SOUS 171792 HAS SOUPS 156627 WITH SCORE 157356.327
AT ITER 5132 NEW BEST:: SOT 1440225 SOS 729356 HAS SOPS 354808 HAS SOUS 171783 HAS SOUPS 156618 WITH SCORE 157347.356
AT ITER 5138 NEW BEST:: SOT 1440225 SOS 729236 HAS SOPS 354688 HAS SOUS 171738 HAS SOUPS 156573 WITH SCORE 157302.236
AT ITER 5143 NEW BEST:: SOT 1440181 SOS 728928 HAS SOPS 354590 HAS SOUS 171678 HAS SOUPS 156513 WITH SCORE 157241.928
AT ITER 5172 NEW BEST:: SOT 1440166 SOS 728852 HAS SOPS 354514 HAS SOUS 171648 HAS SOUPS 156483 WITH SCORE 157211.852
AT ITER 5215 NEW BEST:: SOT 1440166 SOS 728720 HAS SOPS 354382 HAS SOUS 171648 HAS SOUPS 156483 WITH SCORE 157211.72
AT ITER 5225 NEW BEST:: SOT 1440166 SOS 719240 HAS SOPS 341502 HAS SOUS 171247 HAS SOUPS 156082 WITH SCORE 156801.24
AT ITER 5227 NEW BEST:: SOT 1440101 SOS 718824 HAS SOPS 340825 HAS SOUS 171049 HAS SOUPS 155884 WITH SCORE 156602.824
AT ITER 5255 NEW BEST:: SOT 1439965 SOS 720558 HAS SOPS 343549 HAS SOUS 171044 HAS SOUPS 155879 WITH SCORE 156599.558
AT ITER 5261 NEW BEST:: SOT 1439965 SOS 720584 HAS SOPS 343575 HAS SOUS 171018 HAS SOUPS 155853 WITH SCORE 156573.584
AT ITER 5270 NEW BEST:: SOT 1439928 SOS 720614 HAS SOPS 343416 HAS SOUS 170859 HAS SOUPS 155694 WITH SCORE 156414.614
AT ITER 5286 NEW BEST:: SOT 1438832 SOS 719518 HAS SOPS 342383 HAS SOUS 170802 HAS SOUPS 155637 WITH SCORE 156356.518
AT ITER 5300 NEW BEST:: SOT 1438059 SOS 718755 HAS SOPS 341580 HAS SOUS 170599 HAS SOUPS 155394 WITH SCORE 156112.755
AT ITER 5301 NEW BEST:: SOT 1437392 SOS 722097 HAS SOPS 340983 HAS SOUS 170432 HAS SOUPS 155157 WITH SCORE 155879.097
AT ITER 5311 NEW BEST:: SOT 1437527 SOS 722129 HAS SOPS 340381 HAS SOUS 170415 HAS SOUPS 155140 WITH SCORE 155862.129
AT ITER 5318 NEW BEST:: SOT 1437477 SOS 721906 HAS SOPS 340141 HAS SOUS 170287 HAS SOUPS 155012 WITH SCORE 155733.906
AT ITER 5322 NEW BEST:: SOT 1437423 SOS 721771 HAS SOPS 340060 HAS SOUS 170233 HAS SOUPS 154958 WITH SCORE 155679.771
AT ITER 5339 NEW BEST:: SOT 1437318 SOS 721842 HAS SOPS 340352 HAS SOUS 170212 HAS SOUPS 154937 WITH SCORE 155658.842
AT ITER 5349 NEW BEST:: SOT 1437297 SOS 721757 HAS SOPS 340267 HAS SOUS 170106 HAS SOUPS 154831 WITH SCORE 155552.757
AT ITER 5353 NEW BEST:: SOT 1437365 SOS 721893 HAS SOPS 340255 HAS SOUS 170094 HAS SOUPS 154819 WITH SCORE 155540.893
AT ITER 5376 NEW BEST:: SOT 1437365 SOS 721908 HAS SOPS 340255 HAS SOUS 170063 HAS SOUPS 154788 WITH SCORE 155509.908
AT ITER 5378 NEW BEST:: SOT 1437326 SOS 722081 HAS SOPS 340428 HAS SOUS 170050 HAS SOUPS 154775 WITH SCORE 155497.081
AT ITER 5385 NEW BEST:: SOT 1437311 SOS 722051 HAS SOPS 340398 HAS SOUS 170020 HAS SOUPS 154745 WITH SCORE 155467.051
AT ITER 5401 NEW BEST:: SOT 1437175 SOS 722190 HAS SOPS 340368 HAS SOUS 169680 HAS SOUPS 154405 WITH SCORE 155127.19
AT ITER 5409 NEW BEST:: SOT 1437175 SOS 722166 HAS SOPS 340332 HAS SOUS 169668 HAS SOUPS 154393 WITH SCORE 155115.166
AT ITER 5411 NEW BEST:: SOT 1437148 SOS 721419 HAS SOPS 339585 HAS SOUS 169614 HAS SOUPS 154339 WITH SCORE 155060.419
AT ITER 5419 NEW BEST:: SOT 1437142 SOS 721419 HAS SOPS 339585 HAS SOUS 169608 HAS SOUPS 154333 WITH SCORE 155054.419
AT ITER 5422 NEW BEST:: SOT 1437095 SOS 721325 HAS SOPS 339491 HAS SOUS 169569 HAS SOUPS 154294 WITH SCORE 155015.325
AT ITER 5425 NEW BEST:: SOT 1437192 SOS 721422 HAS SOPS 339323 HAS SOUS 169401 HAS SOUPS 154126 WITH SCORE 154847.422
AT ITER 5428 NEW BEST:: SOT 1436935 SOS 721129 HAS SOPS 339025 HAS SOUS 169391 HAS SOUPS 154116 WITH SCORE 154837.129
AT ITER 5435 NEW BEST:: SOT 1437047 SOS 721269 HAS SOPS 338952 HAS SOUS 169318 HAS SOUPS 154043 WITH SCORE 154764.269
AT ITER 5502 NEW BEST:: SOT 1436960 SOS 721055 HAS SOPS 338738 HAS SOUS 169231 HAS SOUPS 153956 WITH SCORE 154677.055
AT ITER 5543 NEW BEST:: SOT 1436922 SOS 721017 HAS SOPS 338662 HAS SOUS 169155 HAS SOUPS 153880 WITH SCORE 154601.017
AT ITER 5576 NEW BEST:: SOT 1436975 SOS 721071 HAS SOPS 338652 HAS SOUS 169145 HAS SOUPS 153870 WITH SCORE 154591.071
AT ITER 5598 NEW BEST:: SOT 1436946 SOS 721051 HAS SOPS 338652 HAS SOUS 169145 HAS SOUPS 153870 WITH SCORE 154591.051
AT ITER 5631 NEW BEST:: SOT 1436935 SOS 720847 HAS SOPS 338448 HAS SOUS 169123 HAS SOUPS 153848 WITH SCORE 154568.847
AT ITER 5632 NEW BEST:: SOT 1436918 SOS 720820 HAS SOPS 338431 HAS SOUS 169106 HAS SOUPS 153831 WITH SCORE 154551.82
AT ITER 5641 NEW BEST:: SOT 1436953 SOS 720698 HAS SOPS 338317 HAS SOUS 169084 HAS SOUPS 153809 WITH SCORE 154529.698
AT ITER 5671 NEW BEST:: SOT 1436877 SOS 719747 HAS SOPS 337037 HAS SOUS 169028 HAS SOUPS 153753 WITH SCORE 154472.747
AT ITER 5677 NEW BEST:: SOT 1436865 SOS 719723 HAS SOPS 337013 HAS SOUS 169004 HAS SOUPS 153729 WITH SCORE 154448.723
AT ITER 5694 NEW BEST:: SOT 1436712 SOS 719553 HAS SOPS 336707 HAS SOUS 168945 HAS SOUPS 153670 WITH SCORE 154389.553
AT ITER 5695 NEW BEST:: SOT 1437285 SOS 720126 HAS SOPS 337499 HAS SOUS 168463 HAS SOUPS 153244 WITH SCORE 153964.126
AT ITER 5697 NEW BEST:: SOT 1437279 SOS 720147 HAS SOPS 337520 HAS SOUS 168398 HAS SOUPS 153179 WITH SCORE 153899.147
AT ITER 5719 NEW BEST:: SOT 1436779 SOS 719647 HAS SOPS 336970 HAS SOUS 168373 HAS SOUPS 153154 WITH SCORE 153873.647
AT ITER 5725 NEW BEST:: SOT 1436771 SOS 719754 HAS SOPS 336964 HAS SOUS 168370 HAS SOUPS 153149 WITH SCORE 153868.754
AT ITER 5746 NEW BEST:: SOT 1436664 SOS 719500 HAS SOPS 336463 HAS SOUS 167970 HAS SOUPS 152749 WITH SCORE 153468.5
AT ITER 5750 NEW BEST:: SOT 1436664 SOS 719519 HAS SOPS 336463 HAS SOUS 167951 HAS SOUPS 152730 WITH SCORE 153449.519
AT ITER 5755 NEW BEST:: SOT 1436689 SOS 719498 HAS SOPS 336416 HAS SOUS 167938 HAS SOUPS 152717 WITH SCORE 153436.498
AT ITER 5806 NEW BEST:: SOT 1434756 SOS 717511 HAS SOPS 334429 HAS SOUS 167211 HAS SOUPS 151990 WITH SCORE 152707.511
AT ITER 5809 NEW BEST:: SOT 1434599 SOS 717284 HAS SOPS 333765 HAS SOUS 167194 HAS SOUPS 151973 WITH SCORE 152690.284
AT ITER 5815 NEW BEST:: SOT 1434579 SOS 717264 HAS SOPS 333725 HAS SOUS 167214 HAS SOUPS 151933 WITH SCORE 152650.264
AT ITER 5830 NEW BEST:: SOT 1434551 SOS 717880 HAS SOPS 333725 HAS SOUS 167198 HAS SOUPS 151907 WITH SCORE 152624.88
AT ITER 5833 NEW BEST:: SOT 1434550 SOS 717268 HAS SOPS 333113 HAS SOUS 167197 HAS SOUPS 151906 WITH SCORE 152623.268
AT ITER 5852 NEW BEST:: SOT 1434493 SOS 717154 HAS SOPS 332999 HAS SOUS 167083 HAS SOUPS 151792 WITH SCORE 152509.154
AT ITER 5894 NEW BEST:: SOT 1434391 SOS 716975 HAS SOPS 332853 HAS SOUS 166937 HAS SOUPS 151646 WITH SCORE 152362.975
AT ITER 5901 NEW BEST:: SOT 1434726 SOS 717460 HAS SOPS 333256 HAS SOUS 166895 HAS SOUPS 151604 WITH SCORE 152321.46
AT ITER 5924 NEW BEST:: SOT 1434724 SOS 717458 HAS SOPS 333256 HAS SOUS 166895 HAS SOUPS 151604 WITH SCORE 152321.458
AT ITER 5958 NEW BEST:: SOT 1434624 SOS 717392 HAS SOPS 333256 HAS SOUS 166895 HAS SOUPS 151604 WITH SCORE 152321.392
AT ITER 5963 NEW BEST:: SOT 1434623 SOS 717438 HAS SOPS 333302 HAS SOUS 166894 HAS SOUPS 151603 WITH SCORE 152320.438
AT ITER 5967 NEW BEST:: SOT 1434526 SOS 717388 HAS SOPS 333252 HAS SOUS 166894 HAS SOUPS 151603 WITH SCORE 152320.388
AT ITER 6035 NEW BEST:: SOT 1434526 SOS 717376 HAS SOPS 333228 HAS SOUS 166870 HAS SOUPS 151579 WITH SCORE 152296.376
AT ITER 6052 NEW BEST:: SOT 1434512 SOS 717369 HAS SOPS 333221 HAS SOUS 166856 HAS SOUPS 151565 WITH SCORE 152282.369
AT ITER 6071 NEW BEST:: SOT 1434512 SOS 717235 HAS SOPS 333087 HAS SOUS 166856 HAS SOUPS 151565 WITH SCORE 152282.235
AT ITER 6127 NEW BEST:: SOT 1434130 SOS 716679 HAS SOPS 332179 HAS SOUS 166852 HAS SOUPS 151561 WITH SCORE 152277.679
AT ITER 6129 NEW BEST:: SOT 1434115 SOS 716664 HAS SOPS 332164 HAS SOUS 166822 HAS SOUPS 151531 WITH SCORE 152247.664
AT ITER 6131 NEW BEST:: SOT 1434115 SOS 716574 HAS SOPS 332074 HAS SOUS 166781 HAS SOUPS 151490 WITH SCORE 152206.574
AT ITER 6183 NEW BEST:: SOT 1433928 SOS 716348 HAS SOPS 331970 HAS SOUS 166668 HAS SOUPS 151377 WITH SCORE 152093.348
AT ITER 6223 NEW BEST:: SOT 1433964 SOS 716392 HAS SOPS 331958 HAS SOUS 166656 HAS SOUPS 151365 WITH SCORE 152081.392
AT ITER 6231 NEW BEST:: SOT 1433971 SOS 716378 HAS SOPS 331958 HAS SOUS 166558 HAS SOUPS 151267 WITH SCORE 151983.378
AT ITER 6253 NEW BEST:: SOT 1433971 SOS 716378 HAS SOPS 331958 HAS SOUS 166542 HAS SOUPS 151251 WITH SCORE 151967.378
AT ITER 6279 NEW BEST:: SOT 1433937 SOS 716344 HAS SOPS 331890 HAS SOUS 166508 HAS SOUPS 151217 WITH SCORE 151933.344
AT ITER 6311 NEW BEST:: SOT 1433740 SOS 716147 HAS SOPS 331483 HAS SOUS 166372 HAS SOUPS 151081 WITH SCORE 151797.147
AT ITER 6356 NEW BEST:: SOT 1433730 SOS 716127 HAS SOPS 331463 HAS SOUS 166352 HAS SOUPS 151061 WITH SCORE 151777.127
AT ITER 6362 NEW BEST:: SOT 1433734 SOS 715991 HAS SOPS 331327 HAS SOUS 166312 HAS SOUPS 151021 WITH SCORE 151736.991
AT ITER 6400 NEW BEST:: SOT 1433734 SOS 715951 HAS SOPS 331287 HAS SOUS 166312 HAS SOUPS 151021 WITH SCORE 151736.951
AT ITER 6412 NEW BEST:: SOT 1433722 SOS 715951 HAS SOPS 331263 HAS SOUS 166288 HAS SOUPS 150997 WITH SCORE 151712.951
AT ITER 6431 NEW BEST:: SOT 1433723 SOS 715951 HAS SOPS 331263 HAS SOUS 166264 HAS SOUPS 150973 WITH SCORE 151688.951
AT ITER 6447 NEW BEST:: SOT 1433790 SOS 715841 HAS SOPS 331127 HAS SOUS 166251 HAS SOUPS 150960 WITH SCORE 151675.841
AT ITER 6453 NEW BEST:: SOT 1433168 SOS 715194 HAS SOPS 330495 HAS SOUS 166205 HAS SOUPS 150929 WITH SCORE 151644.194
AT ITER 6458 NEW BEST:: SOT 1433168 SOS 715518 HAS SOPS 330819 HAS SOUS 166145 HAS SOUPS 150869 WITH SCORE 151584.518
AT ITER 6511 NEW BEST:: SOT 1433144 SOS 715426 HAS SOPS 330727 HAS SOUS 166121 HAS SOUPS 150845 WITH SCORE 151560.426
AT ITER 6512 NEW BEST:: SOT 1433009 SOS 715276 HAS SOPS 330577 HAS SOUS 166091 HAS SOUPS 150815 WITH SCORE 151530.276
AT ITER 6521 NEW BEST:: SOT 1432268 SOS 715291 HAS SOPS 329746 HAS SOUS 165416 HAS SOUPS 149984 WITH SCORE 150699.291
AT ITER 6534 NEW BEST:: SOT 1432237 SOS 715251 HAS SOPS 329706 HAS SOUS 165386 HAS SOUPS 149954 WITH SCORE 150669.251
AT ITER 6544 NEW BEST:: SOT 1432185 SOS 715189 HAS SOPS 329602 HAS SOUS 165282 HAS SOUPS 149850 WITH SCORE 150565.189
AT ITER 6557 NEW BEST:: SOT 1432083 SOS 714934 HAS SOPS 329347 HAS SOUS 165129 HAS SOUPS 149697 WITH SCORE 150411.934
AT ITER 6564 NEW BEST:: SOT 1431887 SOS 714710 HAS SOPS 329123 HAS SOUS 164905 HAS SOUPS 149473 WITH SCORE 150187.71
AT ITER 6567 NEW BEST:: SOT 1431775 SOS 714598 HAS SOPS 329011 HAS SOUS 164889 HAS SOUPS 149457 WITH SCORE 150171.598
AT ITER 6632 NEW BEST:: SOT 1431785 SOS 714618 HAS SOPS 329031 HAS SOUS 164784 HAS SOUPS 149352 WITH SCORE 150066.618
AT ITER 6637 NEW BEST:: SOT 1431711 SOS 714547 HAS SOPS 328960 HAS SOUS 164745 HAS SOUPS 149313 WITH SCORE 150027.547
AT ITER 6642 NEW BEST:: SOT 1431689 SOS 714486 HAS SOPS 328899 HAS SOUS 164741 HAS SOUPS 149309 WITH SCORE 150023.486
AT ITER 6646 NEW BEST:: SOT 1431702 SOS 715734 HAS SOPS 330413 HAS SOUS 164712 HAS SOUPS 149280 WITH SCORE 149995.734
AT ITER 6649 NEW BEST:: SOT 1431702 SOS 715734 HAS SOPS 330189 HAS SOUS 164684 HAS SOUPS 149252 WITH SCORE 149967.734
AT ITER 6661 NEW BEST:: SOT 1431694 SOS 715734 HAS SOPS 330189 HAS SOUS 164668 HAS SOUPS 149236 WITH SCORE 149951.734
AT ITER 6670 NEW BEST:: SOT 1431685 SOS 715734 HAS SOPS 330189 HAS SOUS 164664 HAS SOUPS 149232 WITH SCORE 149947.734
AT ITER 6675 NEW BEST:: SOT 1431617 SOS 715645 HAS SOPS 330176 HAS SOUS 164650 HAS SOUPS 149218 WITH SCORE 149933.645
AT ITER 6706 NEW BEST:: SOT 1431592 SOS 715591 HAS SOPS 329951 HAS SOUS 164325 HAS SOUPS 148993 WITH SCORE 149708.591
AT ITER 6729 NEW BEST:: SOT 1431526 SOS 715389 HAS SOPS 329819 HAS SOUS 164193 HAS SOUPS 148861 WITH SCORE 149576.389
AT ITER 6738 NEW BEST:: SOT 1431514 SOS 715806 HAS SOPS 330236 HAS SOUS 164169 HAS SOUPS 148837 WITH SCORE 149552.806
AT ITER 6739 NEW BEST:: SOT 1431491 SOS 715737 HAS SOPS 330190 HAS SOUS 164146 HAS SOUPS 148814 WITH SCORE 149529.737
AT ITER 6768 NEW BEST:: SOT 1431417 SOS 715639 HAS SOPS 330092 HAS SOUS 164023 HAS SOUPS 148716 WITH SCORE 149431.639
AT ITER 6814 NEW BEST:: SOT 1431417 SOS 715639 HAS SOPS 330092 HAS SOUS 164022 HAS SOUPS 148715 WITH SCORE 149430.639
AT ITER 6816 NEW BEST:: SOT 1431251 SOS 715473 HAS SOPS 329900 HAS SOUS 163968 HAS SOUPS 148661 WITH SCORE 149376.473
AT ITER 6819 NEW BEST:: SOT 1431260 SOS 715491 HAS SOPS 329888 HAS SOUS 163956 HAS SOUPS 148649 WITH SCORE 149364.491
AT ITER 6822 NEW BEST:: SOT 1431195 SOS 715426 HAS SOPS 329823 HAS SOUS 163956 HAS SOUPS 148649 WITH SCORE 149364.426
AT ITER 6853 NEW BEST:: SOT 1430859 SOS 715042 HAS SOPS 329823 HAS SOUS 163956 HAS SOUPS 148649 WITH SCORE 149364.042
AT ITER 6880 NEW BEST:: SOT 1430818 SOS 714985 HAS SOPS 329766 HAS SOUS 163907 HAS SOUPS 148600 WITH SCORE 149314.985
AT ITER 6890 NEW BEST:: SOT 1430806 SOS 714961 HAS SOPS 329742 HAS SOUS 163883 HAS SOUPS 148576 WITH SCORE 149290.961
AT ITER 6895 NEW BEST:: SOT 1430843 SOS 714918 HAS SOPS 329619 HAS SOUS 163840 HAS SOUPS 148533 WITH SCORE 149247.918
AT ITER 6911 NEW BEST:: SOT 1430833 SOS 714328 HAS SOPS 329029 HAS SOUS 163820 HAS SOUPS 148513 WITH SCORE 149227.328
AT ITER 6946 NEW BEST:: SOT 1430818 SOS 714298 HAS SOPS 328999 HAS SOUS 163805 HAS SOUPS 148483 WITH SCORE 149197.298
AT ITER 6983 NEW BEST:: SOT 1430818 SOS 714325 HAS SOPS 324679 HAS SOUS 163238 HAS SOUPS 147916 WITH SCORE 148630.325
AT ITER 7007 NEW BEST:: SOT 1431110 SOS 713671 HAS SOPS 319513 HAS SOUS 162993 HAS SOUPS 147671 WITH SCORE 148384.671
AT ITER 7019 NEW BEST:: SOT 1431098 SOS 713577 HAS SOPS 319384 HAS SOUS 162969 HAS SOUPS 147647 WITH SCORE 148360.577
AT ITER 7074 NEW BEST:: SOT 1430547 SOS 713026 HAS SOPS 318804 HAS SOUS 162955 HAS SOUPS 147633 WITH SCORE 148346.026
AT ITER 7103 NEW BEST:: SOT 1430541 SOS 713131 HAS SOPS 318930 HAS SOUS 162943 HAS SOUPS 147621 WITH SCORE 148334.131
AT ITER 7137 NEW BEST:: SOT 1430541 SOS 713131 HAS SOPS 318362 HAS SOUS 162931 HAS SOUPS 147550 WITH SCORE 148263.131
AT ITER 7209 NEW BEST:: SOT 1430260 SOS 712931 HAS SOPS 318270 HAS SOUS 162806 HAS SOUPS 147425 WITH SCORE 148137.931
AT ITER 7214 NEW BEST:: SOT 1430188 SOS 712848 HAS SOPS 318203 HAS SOUS 162805 HAS SOUPS 147424 WITH SCORE 148136.848
AT ITER 7241 NEW BEST:: SOT 1430174 SOS 712820 HAS SOPS 318147 HAS SOUS 162749 HAS SOUPS 147368 WITH SCORE 148080.82
AT ITER 7242 NEW BEST:: SOT 1430153 SOS 712747 HAS SOPS 318074 HAS SOUS 162698 HAS SOUPS 147317 WITH SCORE 148029.747
AT ITER 7248 NEW BEST:: SOT 1430079 SOS 712673 HAS SOPS 317937 HAS SOUS 162547 HAS SOUPS 147166 WITH SCORE 147878.673
AT ITER 7254 NEW BEST:: SOT 1430072 SOS 712638 HAS SOPS 317902 HAS SOUS 162540 HAS SOUPS 147159 WITH SCORE 147871.638
AT ITER 7256 NEW BEST:: SOT 1429232 SOS 711714 HAS SOPS 317062 HAS SOUS 162498 HAS SOUPS 147117 WITH SCORE 147828.714
AT ITER 7260 NEW BEST:: SOT 1429190 SOS 711672 HAS SOPS 317102 HAS SOUS 162456 HAS SOUPS 147075 WITH SCORE 147786.672
AT ITER 7261 NEW BEST:: SOT 1429345 SOS 711672 HAS SOPS 317088 HAS SOUS 162442 HAS SOUPS 147061 WITH SCORE 147772.672
AT ITER 7262 NEW BEST:: SOT 1429345 SOS 711468 HAS SOPS 316884 HAS SOUS 162350 HAS SOUPS 146969 WITH SCORE 147680.468
AT ITER 7267 NEW BEST:: SOT 1429296 SOS 711410 HAS SOPS 316850 HAS SOUS 162316 HAS SOUPS 146935 WITH SCORE 147646.41
AT ITER 7268 NEW BEST:: SOT 1429143 SOS 711081 HAS SOPS 316521 HAS SOUS 162016 HAS SOUPS 146635 WITH SCORE 147346.081
AT ITER 7286 NEW BEST:: SOT 1429045 SOS 710983 HAS SOPS 316519 HAS SOUS 162014 HAS SOUPS 146633 WITH SCORE 147343.983
AT ITER 7317 NEW BEST:: SOT 1429052 SOS 711010 HAS SOPS 316533 HAS SOUS 162008 HAS SOUPS 146627 WITH SCORE 147338.01
AT ITER 7360 NEW BEST:: SOT 1428800 SOS 710746 HAS SOPS 316269 HAS SOUS 161996 HAS SOUPS 146615 WITH SCORE 147325.746
AT ITER 7367 NEW BEST:: SOT 1428843 SOS 710463 HAS SOPS 315986 HAS SOUS 161972 HAS SOUPS 146591 WITH SCORE 147301.463
AT ITER 7373 NEW BEST:: SOT 1428810 SOS 710817 HAS SOPS 316340 HAS SOUS 161939 HAS SOUPS 146558 WITH SCORE 147268.817
AT ITER 7377 NEW BEST:: SOT 1428810 SOS 710807 HAS SOPS 316330 HAS SOUS 161939 HAS SOUPS 146558 WITH SCORE 147268.807
AT ITER 7382 NEW BEST:: SOT 1428773 SOS 710811 HAS SOPS 316334 HAS SOUS 161891 HAS SOUPS 146510 WITH SCORE 147220.811
AT ITER 7384 NEW BEST:: SOT 1428515 SOS 710553 HAS SOPS 316082 HAS SOUS 161817 HAS SOUPS 146436 WITH SCORE 147146.553
AT ITER 7401 NEW BEST:: SOT 1428462 SOS 710596 HAS SOPS 316125 HAS SOUS 161712 HAS SOUPS 146331 WITH SCORE 147041.596
AT ITER 7405 NEW BEST:: SOT 1428462 SOS 710585 HAS SOPS 316114 HAS SOUS 161712 HAS SOUPS 146331 WITH SCORE 147041.585
AT ITER 7411 NEW BEST:: SOT 1428444 SOS 710696 HAS SOPS 316347 HAS SOUS 161680 HAS SOUPS 146299 WITH SCORE 147009.696
AT ITER 7417 NEW BEST:: SOT 1428502 SOS 710726 HAS SOPS 316109 HAS SOUS 161632 HAS SOUPS 146061 WITH SCORE 146771.726
AT ITER 7433 NEW BEST:: SOT 1428489 SOS 710700 HAS SOPS 316097 HAS SOUS 161620 HAS SOUPS 146049 WITH SCORE 146759.7
AT ITER 7438 NEW BEST:: SOT 1428351 SOS 708701 HAS SOPS 314098 HAS SOUS 161301 HAS SOUPS 145730 WITH SCORE 146438.701
AT ITER 7448 NEW BEST:: SOT 1428349 SOS 708711 HAS SOPS 314108 HAS SOUS 161297 HAS SOUPS 145726 WITH SCORE 146434.711
AT ITER 7479 NEW BEST:: SOT 1428325 SOS 708543 HAS SOPS 313940 HAS SOUS 161273 HAS SOUPS 145702 WITH SCORE 146410.543
AT ITER 7536 NEW BEST:: SOT 1428280 SOS 708509 HAS SOPS 313892 HAS SOUS 161239 HAS SOUPS 145654 WITH SCORE 146362.509
AT ITER 7547 NEW BEST:: SOT 1428237 SOS 708521 HAS SOPS 313904 HAS SOUS 161153 HAS SOUPS 145568 WITH SCORE 146276.521
AT ITER 7568 NEW BEST:: SOT 1428219 SOS 708503 HAS SOPS 313868 HAS SOUS 161127 HAS SOUPS 145542 WITH SCORE 146250.503
AT ITER 7569 NEW BEST:: SOT 1427957 SOS 708299 HAS SOPS 313498 HAS SOUS 160824 HAS SOUPS 145172 WITH SCORE 145880.299
AT ITER 7575 NEW BEST:: SOT 1427949 SOS 708379 HAS SOPS 313578 HAS SOUS 160808 HAS SOUPS 145156 WITH SCORE 145864.379
AT ITER 7577 NEW BEST:: SOT 1428089 SOS 708519 HAS SOPS 313679 HAS SOUS 160782 HAS SOUPS 145130 WITH SCORE 145838.519
AT ITER 7578 NEW BEST:: SOT 1427320 SOS 707727 HAS SOPS 312713 HAS SOUS 160607 HAS SOUPS 144955 WITH SCORE 145662.727
AT ITER 7608 NEW BEST:: SOT 1427168 SOS 707593 HAS SOPS 312409 HAS SOUS 160303 HAS SOUPS 144651 WITH SCORE 145358.593
AT ITER 7646 NEW BEST:: SOT 1427150 SOS 707575 HAS SOPS 312391 HAS SOUS 160285 HAS SOUPS 144633 WITH SCORE 145340.575
AT ITER 7669 NEW BEST:: SOT 1427139 SOS 707542 HAS SOPS 312358 HAS SOUS 160263 HAS SOUPS 144611 WITH SCORE 145318.542
AT ITER 7673 NEW BEST:: SOT 1427136 SOS 707400 HAS SOPS 312352 HAS SOUS 160309 HAS SOUPS 144605 WITH SCORE 145312.4
AT ITER 7680 NEW BEST:: SOT 1427136 SOS 707391 HAS SOPS 312343 HAS SOUS 160309 HAS SOUPS 144605 WITH SCORE 145312.391
AT ITER 7691 NEW BEST:: SOT 1427115 SOS 707307 HAS SOPS 312259 HAS SOUS 160246 HAS SOUPS 144542 WITH SCORE 145249.307
AT ITER 7704 NEW BEST:: SOT 1427173 SOS 706820 HAS SOPS 311772 HAS SOUS 160237 HAS SOUPS 144533 WITH SCORE 145239.82
AT ITER 7711 NEW BEST:: SOT 1427167 SOS 706796 HAS SOPS 311748 HAS SOUS 160231 HAS SOUPS 144527 WITH SCORE 145233.796
AT ITER 7722 NEW BEST:: SOT 1427157 SOS 706776 HAS SOPS 311728 HAS SOUS 160216 HAS SOUPS 144512 WITH SCORE 145218.776
AT ITER 7734 NEW BEST:: SOT 1427133 SOS 706740 HAS SOPS 311692 HAS SOUS 160180 HAS SOUPS 144476 WITH SCORE 145182.74
AT ITER 7739 NEW BEST:: SOT 1427054 SOS 706661 HAS SOPS 311425 HAS SOUS 159913 HAS SOUPS 144209 WITH SCORE 144915.661
AT ITER 7743 NEW BEST:: SOT 1427059 SOS 706665 HAS SOPS 311414 HAS SOUS 159902 HAS SOUPS 144198 WITH SCORE 144904.665
AT ITER 7797 NEW BEST:: SOT 1427059 SOS 706652 HAS SOPS 311388 HAS SOUS 159889 HAS SOUPS 144185 WITH SCORE 144891.652
AT ITER 7799 NEW BEST:: SOT 1427052 SOS 706638 HAS SOPS 311374 HAS SOUS 159875 HAS SOUPS 144171 WITH SCORE 144877.638
AT ITER 7815 NEW BEST:: SOT 1427026 SOS 706404 HAS SOPS 311140 HAS SOUS 159836 HAS SOUPS 144132 WITH SCORE 144838.404
AT ITER 7831 NEW BEST:: SOT 1426894 SOS 706254 HAS SOPS 311140 HAS SOUS 159836 HAS SOUPS 144132 WITH SCORE 144838.254
AT ITER 7843 NEW BEST:: SOT 1426894 SOS 706330 HAS SOPS 311174 HAS SOUS 159828 HAS SOUPS 144124 WITH SCORE 144830.33
AT ITER 7878 NEW BEST:: SOT 1426924 SOS 706360 HAS SOPS 311168 HAS SOUS 159822 HAS SOUPS 144118 WITH SCORE 144824.36
AT ITER 7883 NEW BEST:: SOT 1426901 SOS 706387 HAS SOPS 311195 HAS SOUS 159818 HAS SOUPS 144114 WITH SCORE 144820.387
AT ITER 7921 NEW BEST:: SOT 1426836 SOS 706263 HAS SOPS 310953 HAS SOUS 159576 HAS SOUPS 143872 WITH SCORE 144578.263
AT ITER 7923 NEW BEST:: SOT 1426832 SOS 706247 HAS SOPS 310941 HAS SOUS 159572 HAS SOUPS 143868 WITH SCORE 144574.247
AT ITER 7970 NEW BEST:: SOT 1426788 SOS 706291 HAS SOPS 310853 HAS SOUS 159464 HAS SOUPS 143780 WITH SCORE 144486.291
AT ITER 7981 NEW BEST:: SOT 1426788 SOS 706237 HAS SOPS 310799 HAS SOUS 159454 HAS SOUPS 143770 WITH SCORE 144476.237
AT ITER 8006 NEW BEST:: SOT 1426788 SOS 706237 HAS SOPS 310795 HAS SOUS 159450 HAS SOUPS 143766 WITH SCORE 144472.237
AT ITER 8016 NEW BEST:: SOT 1426710 SOS 706516 HAS SOPS 311074 HAS SOUS 159334 HAS SOUPS 143650 WITH SCORE 144356.516
AT ITER 8018 NEW BEST:: SOT 1426736 SOS 706518 HAS SOPS 311141 HAS SOUS 159309 HAS SOUPS 143635 WITH SCORE 144341.518
AT ITER 8022 NEW BEST:: SOT 1426710 SOS 706492 HAS SOPS 311115 HAS SOUS 159270 HAS SOUPS 143596 WITH SCORE 144302.492
AT ITER 8030 NEW BEST:: SOT 1426708 SOS 706492 HAS SOPS 311113 HAS SOUS 159268 HAS SOUPS 143594 WITH SCORE 144300.492
AT ITER 8032 NEW BEST:: SOT 1426659 SOS 706394 HAS SOPS 311015 HAS SOUS 159170 HAS SOUPS 143496 WITH SCORE 144202.394
AT ITER 8072 NEW BEST:: SOT 1426653 SOS 706486 HAS SOPS 311107 HAS SOUS 159158 HAS SOUPS 143484 WITH SCORE 144190.486
AT ITER 8087 NEW BEST:: SOT 1426671 SOS 706530 HAS SOPS 311151 HAS SOUS 159083 HAS SOUPS 143409 WITH SCORE 144115.53
AT ITER 8112 NEW BEST:: SOT 1426573 SOS 706432 HAS SOPS 310661 HAS SOUS 158985 HAS SOUPS 143262 WITH SCORE 143968.432
AT ITER 8121 NEW BEST:: SOT 1426573 SOS 706411 HAS SOPS 310661 HAS SOUS 158985 HAS SOUPS 143262 WITH SCORE 143968.411
AT ITER 8143 NEW BEST:: SOT 1426533 SOS 706179 HAS SOPS 310429 HAS SOUS 158945 HAS SOUPS 143222 WITH SCORE 143928.179
AT ITER 8170 NEW BEST:: SOT 1426106 SOS 705701 HAS SOPS 309983 HAS SOUS 158887 HAS SOUPS 143164 WITH SCORE 143869.701
AT ITER 8182 NEW BEST:: SOT 1426106 SOS 705701 HAS SOPS 309983 HAS SOUS 158877 HAS SOUPS 143154 WITH SCORE 143859.701
AT ITER 8218 NEW BEST:: SOT 1425844 SOS 705422 HAS SOPS 309782 HAS SOUS 158816 HAS SOUPS 143093 WITH SCORE 143798.422
AT ITER 8224 NEW BEST:: SOT 1425793 SOS 705028 HAS SOPS 309422 HAS SOUS 158757 HAS SOUPS 143034 WITH SCORE 143739.028
AT ITER 8238 NEW BEST:: SOT 1425694 SOS 704900 HAS SOPS 309294 HAS SOUS 158757 HAS SOUPS 143034 WITH SCORE 143738.9
AT ITER 8251 NEW BEST:: SOT 1425679 SOS 704982 HAS SOPS 309230 HAS SOUS 158693 HAS SOUPS 142970 WITH SCORE 143674.982
AT ITER 8285 NEW BEST:: SOT 1425676 SOS 704958 HAS SOPS 309206 HAS SOUS 158611 HAS SOUPS 142888 WITH SCORE 143592.958
AT ITER 8303 NEW BEST:: SOT 1425668 SOS 704648 HAS SOPS 308896 HAS SOUS 158595 HAS SOUPS 142872 WITH SCORE 143576.648
AT ITER 8315 NEW BEST:: SOT 1425662 SOS 704636 HAS SOPS 308884 HAS SOUS 158583 HAS SOUPS 142860 WITH SCORE 143564.636
AT ITER 8317 NEW BEST:: SOT 1425660 SOS 704728 HAS SOPS 308976 HAS SOUS 158579 HAS SOUPS 142856 WITH SCORE 143560.728
AT ITER 8342 NEW BEST:: SOT 1425518 SOS 704596 HAS SOPS 308766 HAS SOUS 158369 HAS SOUPS 142646 WITH SCORE 143350.596
AT ITER 8345 NEW BEST:: SOT 1425511 SOS 704589 HAS SOPS 308752 HAS SOUS 158350 HAS SOUPS 142627 WITH SCORE 143331.589
AT ITER 8356 NEW BEST:: SOT 1425535 SOS 704613 HAS SOPS 308748 HAS SOUS 158350 HAS SOUPS 142623 WITH SCORE 143327.613
AT ITER 8362 NEW BEST:: SOT 1425774 SOS 704530 HAS SOPS 308665 HAS SOUS 158274 HAS SOUPS 142547 WITH SCORE 143251.53
AT ITER 8374 NEW BEST:: SOT 1425774 SOS 704523 HAS SOPS 308658 HAS SOUS 158267 HAS SOUPS 142540 WITH SCORE 143244.523
AT ITER 8377 NEW BEST:: SOT 1425669 SOS 704418 HAS SOPS 309248 HAS SOUS 158237 HAS SOUPS 142540 WITH SCORE 143244.418
AT ITER 8412 NEW BEST:: SOT 1425525 SOS 704946 HAS SOPS 309128 HAS SOUS 158177 HAS SOUPS 142468 WITH SCORE 143172.946
AT ITER 8417 NEW BEST:: SOT 1425451 SOS 705558 HAS SOPS 309740 HAS SOUS 158136 HAS SOUPS 142427 WITH SCORE 143132.558
AT ITER 8439 NEW BEST:: SOT 1425448 SOS 705555 HAS SOPS 309734 HAS SOUS 158133 HAS SOUPS 142424 WITH SCORE 143129.555
AT ITER 8444 NEW BEST:: SOT 1425195 SOS 705342 HAS SOPS 309521 HAS SOUS 158105 HAS SOUPS 142396 WITH SCORE 143101.342
AT ITER 8489 NEW BEST:: SOT 1425190 SOS 705332 HAS SOPS 309511 HAS SOUS 158100 HAS SOUPS 142391 WITH SCORE 143096.332
AT ITER 8497 NEW BEST:: SOT 1425190 SOS 705332 HAS SOPS 309454 HAS SOUS 158043 HAS SOUPS 142334 WITH SCORE 143039.332
AT ITER 8530 NEW BEST:: SOT 1425190 SOS 705240 HAS SOPS 309362 HAS SOUS 158043 HAS SOUPS 142334 WITH SCORE 143039.24
AT ITER 8533 NEW BEST:: SOT 1425150 SOS 705131 HAS SOPS 309253 HAS SOUS 157979 HAS SOUPS 142270 WITH SCORE 142975.131
AT ITER 8538 NEW BEST:: SOT 1425149 SOS 704219 HAS SOPS 308341 HAS SOUS 157977 HAS SOUPS 142268 WITH SCORE 142972.219
AT ITER 8544 NEW BEST:: SOT 1425042 SOS 703776 HAS SOPS 307662 HAS SOUS 157629 HAS SOUPS 141920 WITH SCORE 142623.776
AT ITER 8547 NEW BEST:: SOT 1425042 SOS 703772 HAS SOPS 307662 HAS SOUS 157633 HAS SOUPS 141920 WITH SCORE 142623.772
AT ITER 8559 NEW BEST:: SOT 1424948 SOS 703657 HAS SOPS 307568 HAS SOUS 157519 HAS SOUPS 141806 WITH SCORE 142509.657
AT ITER 8564 NEW BEST:: SOT 1424732 SOS 703408 HAS SOPS 307367 HAS SOUS 157460 HAS SOUPS 141747 WITH SCORE 142450.408
AT ITER 8579 NEW BEST:: SOT 1424711 SOS 703144 HAS SOPS 307117 HAS SOUS 157444 HAS SOUPS 141731 WITH SCORE 142434.144
AT ITER 8597 NEW BEST:: SOT 1424677 SOS 703110 HAS SOPS 307083 HAS SOUS 157410 HAS SOUPS 141697 WITH SCORE 142400.11
AT ITER 8613 NEW BEST:: SOT 1424677 SOS 703110 HAS SOPS 307050 HAS SOUS 157377 HAS SOUPS 141664 WITH SCORE 142367.11
AT ITER 8660 NEW BEST:: SOT 1424750 SOS 703291 HAS SOPS 307015 HAS SOUS 157320 HAS SOUPS 141607 WITH SCORE 142310.291
AT ITER 8664 NEW BEST:: SOT 1424264 SOS 702776 HAS SOPS 306523 HAS SOUS 157287 HAS SOUPS 141574 WITH SCORE 142276.776
AT ITER 8724 NEW BEST:: SOT 1424264 SOS 702767 HAS SOPS 306514 HAS SOUS 157287 HAS SOUPS 141574 WITH SCORE 142276.767
AT ITER 8738 NEW BEST:: SOT 1424248 SOS 702581 HAS SOPS 306328 HAS SOUS 157255 HAS SOUPS 141542 WITH SCORE 142244.581
AT ITER 8751 NEW BEST:: SOT 1424236 SOS 702605 HAS SOPS 306352 HAS SOUS 157243 HAS SOUPS 141530 WITH SCORE 142232.605
AT ITER 8760 NEW BEST:: SOT 1424042 SOS 702186 HAS SOPS 305933 HAS SOUS 157198 HAS SOUPS 141485 WITH SCORE 142187.186
AT ITER 8779 NEW BEST:: SOT 1424013 SOS 702244 HAS SOPS 305991 HAS SOUS 157181 HAS SOUPS 141468 WITH SCORE 142170.244
AT ITER 8782 NEW BEST:: SOT 1423939 SOS 702170 HAS SOPS 305991 HAS SOUS 157144 HAS SOUPS 141468 WITH SCORE 142170.17
AT ITER 8785 NEW BEST:: SOT 1423939 SOS 702164 HAS SOPS 305985 HAS SOUS 157144 HAS SOUPS 141468 WITH SCORE 142170.164
AT ITER 8810 NEW BEST:: SOT 1423938 SOS 702170 HAS SOPS 305990 HAS SOUS 157142 HAS SOUPS 141466 WITH SCORE 142168.17
AT ITER 8836 NEW BEST:: SOT 1423335 SOS 701432 HAS SOPS 305116 HAS SOUS 156893 HAS SOUPS 141217 WITH SCORE 141918.432
AT ITER 8849 NEW BEST:: SOT 1423334 SOS 701430 HAS SOPS 305114 HAS SOUS 156891 HAS SOUPS 141215 WITH SCORE 141916.43
AT ITER 8858 NEW BEST:: SOT 1423219 SOS 701531 HAS SOPS 304963 HAS SOUS 156787 HAS SOUPS 141075 WITH SCORE 141776.531
AT ITER 8871 NEW BEST:: SOT 1423191 SOS 698243 HAS SOPS 304627 HAS SOUS 156687 HAS SOUPS 140989 WITH SCORE 141687.243
AT ITER 8889 NEW BEST:: SOT 1423256 SOS 698035 HAS SOPS 303927 HAS SOUS 156678 HAS SOUPS 140980 WITH SCORE 141678.035
AT ITER 8891 NEW BEST:: SOT 1423245 SOS 697992 HAS SOPS 303884 HAS SOUS 156656 HAS SOUPS 140958 WITH SCORE 141655.992
AT ITER 8893 NEW BEST:: SOT 1423259 SOS 698007 HAS SOPS 303899 HAS SOUS 156650 HAS SOUPS 140952 WITH SCORE 141650.007
AT ITER 8905 NEW BEST:: SOT 1423204 SOS 697930 HAS SOPS 303822 HAS SOUS 156595 HAS SOUPS 140897 WITH SCORE 141594.93
AT ITER 8934 NEW BEST:: SOT 1423415 SOS 698141 HAS SOPS 303977 HAS SOUS 156547 HAS SOUPS 140849 WITH SCORE 141547.141
AT ITER 8946 NEW BEST:: SOT 1423306 SOS 697998 HAS SOPS 303834 HAS SOUS 156529 HAS SOUPS 140831 WITH SCORE 141528.998
AT ITER 8955 NEW BEST:: SOT 1423304 SOS 697994 HAS SOPS 303830 HAS SOUS 156525 HAS SOUPS 140827 WITH SCORE 141524.994
AT ITER 8958 NEW BEST:: SOT 1423291 SOS 697912 HAS SOPS 303776 HAS SOUS 156499 HAS SOUPS 140801 WITH SCORE 141498.912
AT ITER 8961 NEW BEST:: SOT 1423290 SOS 697901 HAS SOPS 303765 HAS SOUS 156496 HAS SOUPS 140798 WITH SCORE 141495.901
AT ITER 8992 NEW BEST:: SOT 1423005 SOS 697661 HAS SOPS 303525 HAS SOUS 156378 HAS SOUPS 140680 WITH SCORE 141377.661
AT ITER 9115 NEW BEST:: SOT 1422842 SOS 697154 HAS SOPS 302697 HAS SOUS 155852 HAS SOUPS 140154 WITH SCORE 140851.154
AT ITER 9125 NEW BEST:: SOT 1422802 SOS 697096 HAS SOPS 302693 HAS SOUS 155848 HAS SOUPS 140150 WITH SCORE 140847.096
AT ITER 9130 NEW BEST:: SOT 1422794 SOS 697114 HAS SOPS 302711 HAS SOUS 155832 HAS SOUPS 140134 WITH SCORE 140831.114
AT ITER 9132 NEW BEST:: SOT 1422781 SOS 697224 HAS SOPS 302821 HAS SOUS 155806 HAS SOUPS 140108 WITH SCORE 140805.224
AT ITER 9137 NEW BEST:: SOT 1422771 SOS 697204 HAS SOPS 302821 HAS SOUS 155806 HAS SOUPS 140108 WITH SCORE 140805.204
AT ITER 9145 NEW BEST:: SOT 1422747 SOS 697156 HAS SOPS 302773 HAS SOUS 155775 HAS SOUPS 140077 WITH SCORE 140774.156
AT ITER 9184 NEW BEST:: SOT 1422725 SOS 697174 HAS SOPS 302822 HAS SOUS 155762 HAS SOUPS 140064 WITH SCORE 140761.174
AT ITER 9187 NEW BEST:: SOT 1422717 SOS 697166 HAS SOPS 302654 HAS SOUS 155594 HAS SOUPS 139896 WITH SCORE 140593.166
AT ITER 9217 NEW BEST:: SOT 1422717 SOS 697130 HAS SOPS 302618 HAS SOUS 155558 HAS SOUPS 139860 WITH SCORE 140557.13
AT ITER 9235 NEW BEST:: SOT 1422716 SOS 697138 HAS SOPS 302626 HAS SOUS 155556 HAS SOUPS 139858 WITH SCORE 140555.138
AT ITER 9242 NEW BEST:: SOT 1422694 SOS 697024 HAS SOPS 302259 HAS SOUS 155397 HAS SOUPS 139699 WITH SCORE 140396.024
AT ITER 9251 NEW BEST:: SOT 1422694 SOS 696376 HAS SOPS 301611 HAS SOUS 155397 HAS SOUPS 139699 WITH SCORE 140395.376
AT ITER 9270 NEW BEST:: SOT 1422690 SOS 696368 HAS SOPS 301603 HAS SOUS 155389 HAS SOUPS 139691 WITH SCORE 140387.368
AT ITER 9272 NEW BEST:: SOT 1422700 SOS 696356 HAS SOPS 301579 HAS SOUS 155365 HAS SOUPS 139667 WITH SCORE 140363.356
AT ITER 9276 NEW BEST:: SOT 1422747 SOS 695720 HAS SOPS 300791 HAS SOUS 155361 HAS SOUPS 139663 WITH SCORE 140358.72
AT ITER 9312 NEW BEST:: SOT 1422739 SOS 695704 HAS SOPS 300791 HAS SOUS 155359 HAS SOUPS 139663 WITH SCORE 140358.704
AT ITER 9358 NEW BEST:: SOT 1422710 SOS 695668 HAS SOPS 300774 HAS SOUS 155342 HAS SOUPS 139646 WITH SCORE 140341.668
AT ITER 9360 NEW BEST:: SOT 1422664 SOS 695622 HAS SOPS 300728 HAS SOUS 155250 HAS SOUPS 139554 WITH SCORE 140249.622
AT ITER 9397 NEW BEST:: SOT 1422475 SOS 695424 HAS SOPS 300458 HAS SOUS 155241 HAS SOUPS 139536 WITH SCORE 140231.424
AT ITER 9457 NEW BEST:: SOT 1422415 SOS 695364 HAS SOPS 300318 HAS SOUS 155171 HAS SOUPS 139466 WITH SCORE 140161.364
AT ITER 9461 NEW BEST:: SOT 1422415 SOS 695364 HAS SOPS 300292 HAS SOUS 155145 HAS SOUPS 139440 WITH SCORE 140135.364
AT ITER 9477 NEW BEST:: SOT 1422415 SOS 695328 HAS SOPS 300256 HAS SOUS 155145 HAS SOUPS 139440 WITH SCORE 140135.328
AT ITER 9491 NEW BEST:: SOT 1422415 SOS 695287 HAS SOPS 300256 HAS SOUS 155143 HAS SOUPS 139438 WITH SCORE 140133.287
AT ITER 9502 NEW BEST:: SOT 1422407 SOS 695271 HAS SOPS 300240 HAS SOUS 155108 HAS SOUPS 139403 WITH SCORE 140098.271
AT ITER 9519 NEW BEST:: SOT 1422407 SOS 695244 HAS SOPS 300213 HAS SOUS 155108 HAS SOUPS 139403 WITH SCORE 140098.244
AT ITER 9523 NEW BEST:: SOT 1422404 SOS 695259 HAS SOPS 300228 HAS SOUS 155102 HAS SOUPS 139397 WITH SCORE 140092.259
AT ITER 9527 NEW BEST:: SOT 1422402 SOS 695257 HAS SOPS 300224 HAS SOUS 155098 HAS SOUPS 139393 WITH SCORE 140088.257
AT ITER 9546 NEW BEST:: SOT 1421876 SOS 694731 HAS SOPS 299712 HAS SOUS 155053 HAS SOUPS 139338 WITH SCORE 140032.731
AT ITER 9561 NEW BEST:: SOT 1422704 SOS 695559 HAS SOPS 300570 HAS SOUS 155029 HAS SOUPS 139314 WITH SCORE 140009.559
AT ITER 9563 NEW BEST:: SOT 1422593 SOS 695520 HAS SOPS 300466 HAS SOUS 155031 HAS SOUPS 139290 WITH SCORE 139985.52
AT ITER 9567 NEW BEST:: SOT 1422570 SOS 695497 HAS SOPS 300397 HAS SOUS 154962 HAS SOUPS 139221 WITH SCORE 139916.497
AT ITER 9591 NEW BEST:: SOT 1422183 SOS 695110 HAS SOPS 299967 HAS SOUS 154876 HAS SOUPS 139135 WITH SCORE 139830.11
AT ITER 9632 NEW BEST:: SOT 1422108 SOS 695814 HAS SOPS 300671 HAS SOUS 154831 HAS SOUPS 139090 WITH SCORE 139785.814
AT ITER 9665 NEW BEST:: SOT 1422108 SOS 695802 HAS SOPS 300659 HAS SOUS 154819 HAS SOUPS 139078 WITH SCORE 139773.802
AT ITER 9705 NEW BEST:: SOT 1422201 SOS 695936 HAS SOPS 300735 HAS SOUS 154785 HAS SOUPS 139044 WITH SCORE 139739.936
AT ITER 9716 NEW BEST:: SOT 1422077 SOS 695672 HAS SOPS 300671 HAS SOUS 154722 HAS SOUPS 138980 WITH SCORE 139675.672
AT ITER 9735 NEW BEST:: SOT 1422057 SOS 695612 HAS SOPS 300611 HAS SOUS 154682 HAS SOUPS 138940 WITH SCORE 139635.612
AT ITER 9766 NEW BEST:: SOT 1422135 SOS 695690 HAS SOPS 300681 HAS SOUS 154640 HAS SOUPS 138898 WITH SCORE 139593.69
AT ITER 9786 NEW BEST:: SOT 1422069 SOS 695536 HAS SOPS 300459 HAS SOUS 154486 HAS SOUPS 138676 WITH SCORE 139371.536
AT ITER 9820 NEW BEST:: SOT 1422062 SOS 695515 HAS SOPS 300438 HAS SOUS 154472 HAS SOUPS 138662 WITH SCORE 139357.515
AT ITER 9829 NEW BEST:: SOT 1422041 SOS 695499 HAS SOPS 300422 HAS SOUS 154430 HAS SOUPS 138620 WITH SCORE 139315.499
AT ITER 9841 NEW BEST:: SOT 1422020 SOS 695478 HAS SOPS 300399 HAS SOUS 154407 HAS SOUPS 138597 WITH SCORE 139292.478
AT ITER 9851 NEW BEST:: SOT 1422020 SOS 695229 HAS SOPS 300150 HAS SOUS 154324 HAS SOUPS 138514 WITH SCORE 139209.229
AT ITER 9861 NEW BEST:: SOT 1422002 SOS 695149 HAS SOPS 300070 HAS SOUS 154310 HAS SOUPS 138500 WITH SCORE 139195.149
AT ITER 9869 NEW BEST:: SOT 1422002 SOS 695083 HAS SOPS 300004 HAS SOUS 154244 HAS SOUPS 138434 WITH SCORE 139129.083
AT ITER 9874 NEW BEST:: SOT 1422002 SOS 695083 HAS SOPS 299788 HAS SOUS 154244 HAS SOUPS 138407 WITH SCORE 139102.083
AT ITER 9883 NEW BEST:: SOT 1421860 SOS 694941 HAS SOPS 299646 HAS SOUS 154228 HAS SOUPS 138391 WITH SCORE 139085.941
AT ITER 9885 NEW BEST:: SOT 1421851 SOS 694932 HAS SOPS 299637 HAS SOUS 154219 HAS SOUPS 138382 WITH SCORE 139076.932
AT ITER 9892 NEW BEST:: SOT 1421730 SOS 696181 HAS SOPS 299570 HAS SOUS 154251 HAS SOUPS 138375 WITH SCORE 139071.181
AT ITER 9907 NEW BEST:: SOT 1421727 SOS 696166 HAS SOPS 299555 HAS SOUS 154245 HAS SOUPS 138369 WITH SCORE 139065.166
AT ITER 9910 NEW BEST:: SOT 1421727 SOS 696176 HAS SOPS 299565 HAS SOUS 154239 HAS SOUPS 138363 WITH SCORE 139059.176
AT ITER 9926 NEW BEST:: SOT 1421612 SOS 697492 HAS SOPS 299464 HAS SOUS 154258 HAS SOUPS 138360 WITH SCORE 139057.492
AT ITER 9930 NEW BEST:: SOT 1421600 SOS 697480 HAS SOPS 299428 HAS SOUS 154222 HAS SOUPS 138324 WITH SCORE 139021.48
AT ITER 9939 NEW BEST:: SOT 1421589 SOS 697469 HAS SOPS 299406 HAS SOUS 154200 HAS SOUPS 138302 WITH SCORE 138999.469
AT ITER 9946 NEW BEST:: SOT 1421594 SOS 697395 HAS SOPS 299332 HAS SOUS 154126 HAS SOUPS 138228 WITH SCORE 138925.395
AT ITER 9981 NEW BEST:: SOT 1421594 SOS 697423 HAS SOPS 299360 HAS SOUS 154098 HAS SOUPS 138200 WITH SCORE 138897.423
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6014136 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124108 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="EisenbergMcGuire-PT-08"
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 EisenbergMcGuire-PT-08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r523-tall-167987247800264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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