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

About the Execution of Smart for PolyORBLF-PT-S04J06T08

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

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.0M
-rw-r--r-- 1 mcc users 20K Feb 26 14:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 26 14:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 74K Feb 26 14:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 338K Feb 26 14:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 133K Feb 26 14:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 583K Feb 26 14:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.3K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 3.5M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678803044681

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-PT-S04J06T08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J06T08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 792 places, 4268 transitions, 28832 arcs.
AT ITER 0 NEW BEST:: SOT 2182365 SOS 1271407 HAS SOPS 1258917 HAS SOUS 414316 HAS SOUPS 413668 WITH SCORE 414939.407
AT ITER 4 NEW BEST:: SOT 2180817 SOS 1270103 HAS SOPS 1257613 HAS SOUS 413160 HAS SOUPS 412512 WITH SCORE 413782.103
AT ITER 5 NEW BEST:: SOT 2180404 SOS 1269749 HAS SOPS 1257259 HAS SOUS 412586 HAS SOUPS 411938 WITH SCORE 413207.749
AT ITER 24 NEW BEST:: SOT 2179779 SOS 1269263 HAS SOPS 1256773 HAS SOUS 412058 HAS SOUPS 411410 WITH SCORE 412679.263
AT ITER 25 NEW BEST:: SOT 2179619 SOS 1269103 HAS SOPS 1256613 HAS SOUS 411938 HAS SOUPS 411290 WITH SCORE 412559.103
AT ITER 35 NEW BEST:: SOT 2082036 SOS 1234576 HAS SOPS 1222086 HAS SOUS 396326 HAS SOUPS 395678 WITH SCORE 396912.576
AT ITER 37 NEW BEST:: SOT 2081934 SOS 1234474 HAS SOPS 1221984 HAS SOUS 396265 HAS SOUPS 395617 WITH SCORE 396851.474
AT ITER 39 NEW BEST:: SOT 2081602 SOS 1234193 HAS SOPS 1221703 HAS SOUS 396043 HAS SOUPS 395395 WITH SCORE 396629.193
AT ITER 46 NEW BEST:: SOT 2080789 SOS 1233478 HAS SOPS 1220988 HAS SOUS 395214 HAS SOUPS 394566 WITH SCORE 395799.478
AT ITER 48 NEW BEST:: SOT 2080503 SOS 1233832 HAS SOPS 1221342 HAS SOUS 395122 HAS SOUPS 394474 WITH SCORE 395707.832
AT ITER 53 NEW BEST:: SOT 2080470 SOS 1233799 HAS SOPS 1221309 HAS SOUS 395089 HAS SOUPS 394441 WITH SCORE 395674.799
AT ITER 54 NEW BEST:: SOT 2080470 SOS 1233958 HAS SOPS 1221465 HAS SOUS 395040 HAS SOUPS 394392 WITH SCORE 395625.958
AT ITER 56 NEW BEST:: SOT 2079302 SOS 1233075 HAS SOPS 1220582 HAS SOUS 394662 HAS SOUPS 394014 WITH SCORE 395247.075
AT ITER 72 NEW BEST:: SOT 2079238 SOS 1233078 HAS SOPS 1220585 HAS SOUS 394186 HAS SOUPS 393538 WITH SCORE 394771.078
AT ITER 76 NEW BEST:: SOT 2078531 SOS 1232538 HAS SOPS 1220045 HAS SOUS 393629 HAS SOUPS 392981 WITH SCORE 394213.538
AT ITER 77 NEW BEST:: SOT 2078939 SOS 1233017 HAS SOPS 1220524 HAS SOUS 393178 HAS SOUPS 392530 WITH SCORE 393763.017
AT ITER 84 NEW BEST:: SOT 2078990 SOS 1233068 HAS SOPS 1220575 HAS SOUS 393103 HAS SOUPS 392455 WITH SCORE 393688.068
AT ITER 89 NEW BEST:: SOT 2076787 SOS 1230801 HAS SOPS 1218308 HAS SOUS 391291 HAS SOUPS 390643 WITH SCORE 391873.801
AT ITER 94 NEW BEST:: SOT 2076460 SOS 1230256 HAS SOPS 1217763 HAS SOUS 390472 HAS SOUPS 389824 WITH SCORE 391054.256
AT ITER 96 NEW BEST:: SOT 2075988 SOS 1229801 HAS SOPS 1217308 HAS SOUS 389933 HAS SOUPS 389285 WITH SCORE 390514.801
AT ITER 97 NEW BEST:: SOT 2074910 SOS 1228970 HAS SOPS 1216477 HAS SOUS 389327 HAS SOUPS 388679 WITH SCORE 389907.97
AT ITER 119 NEW BEST:: SOT 2074709 SOS 1228796 HAS SOPS 1216303 HAS SOUS 389117 HAS SOUPS 388469 WITH SCORE 389697.796
AT ITER 126 NEW BEST:: SOT 2072625 SOS 1226793 HAS SOPS 1214300 HAS SOUS 388100 HAS SOUPS 387452 WITH SCORE 388678.793
AT ITER 127 NEW BEST:: SOT 2072620 SOS 1226778 HAS SOPS 1214285 HAS SOUS 388095 HAS SOUPS 387447 WITH SCORE 388673.778
AT ITER 134 NEW BEST:: SOT 2071344 SOS 1225640 HAS SOPS 1213147 HAS SOUS 386339 HAS SOUPS 385691 WITH SCORE 386916.64
AT ITER 137 NEW BEST:: SOT 2071228 SOS 1225343 HAS SOPS 1213049 HAS SOUS 386168 HAS SOUPS 385520 WITH SCORE 386745.343
AT ITER 144 NEW BEST:: SOT 2071219 SOS 1225334 HAS SOPS 1213040 HAS SOUS 386159 HAS SOUPS 385511 WITH SCORE 386736.334
AT ITER 145 NEW BEST:: SOT 2070939 SOS 1224914 HAS SOPS 1212620 HAS SOUS 385598 HAS SOUPS 384950 WITH SCORE 386174.914
AT ITER 147 NEW BEST:: SOT 2070861 SOS 1225363 HAS SOPS 1213082 HAS SOUS 385450 HAS SOUPS 384802 WITH SCORE 386027.363
AT ITER 155 NEW BEST:: SOT 2070907 SOS 1225315 HAS SOPS 1213034 HAS SOUS 385430 HAS SOUPS 384782 WITH SCORE 386007.315
AT ITER 160 NEW BEST:: SOT 2070843 SOS 1225251 HAS SOPS 1212948 HAS SOUS 385438 HAS SOUPS 384760 WITH SCORE 385985.251
AT ITER 177 NEW BEST:: SOT 2070797 SOS 1225205 HAS SOPS 1212986 HAS SOUS 385406 HAS SOUPS 384726 WITH SCORE 385951.205
AT ITER 204 NEW BEST:: SOT 2070627 SOS 1225035 HAS SOPS 1212808 HAS SOUS 385120 HAS SOUPS 384437 WITH SCORE 385662.035
AT ITER 216 NEW BEST:: SOT 2070627 SOS 1224523 HAS SOPS 1212296 HAS SOUS 385118 HAS SOUPS 384435 WITH SCORE 385659.523
AT ITER 221 NEW BEST:: SOT 2070540 SOS 1224436 HAS SOPS 1212180 HAS SOUS 385060 HAS SOUPS 384377 WITH SCORE 385601.436
AT ITER 223 NEW BEST:: SOT 2069763 SOS 1223795 HAS SOPS 1211539 HAS SOUS 384356 HAS SOUPS 383673 WITH SCORE 384896.795
AT ITER 234 NEW BEST:: SOT 1994829 SOS 1207144 HAS SOPS 1194888 HAS SOUS 371383 HAS SOUPS 370700 WITH SCORE 371907.144
AT ITER 242 NEW BEST:: SOT 1994165 SOS 1209726 HAS SOPS 1197470 HAS SOUS 371050 HAS SOUPS 370367 WITH SCORE 371576.726
AT ITER 256 NEW BEST:: SOT 1994168 SOS 1209683 HAS SOPS 1197427 HAS SOUS 371007 HAS SOUPS 370324 WITH SCORE 371533.683
AT ITER 257 NEW BEST:: SOT 1994204 SOS 1209708 HAS SOPS 1197592 HAS SOUS 370955 HAS SOUPS 370272 WITH SCORE 371481.708
AT ITER 261 NEW BEST:: SOT 1994190 SOS 1211226 HAS SOPS 1199110 HAS SOUS 370940 HAS SOUPS 370257 WITH SCORE 371468.226
AT ITER 262 NEW BEST:: SOT 1993910 SOS 1210914 HAS SOPS 1198798 HAS SOUS 370748 HAS SOUPS 370065 WITH SCORE 371275.914
AT ITER 266 NEW BEST:: SOT 1993222 SOS 1210394 HAS SOPS 1198278 HAS SOUS 370449 HAS SOUPS 369766 WITH SCORE 370976.394
AT ITER 270 NEW BEST:: SOT 1936774 SOS 1154114 HAS SOPS 1141998 HAS SOUS 359674 HAS SOUPS 358991 WITH SCORE 360145.114
AT ITER 278 NEW BEST:: SOT 1936752 SOS 1154092 HAS SOPS 1141965 HAS SOUS 359663 HAS SOUPS 358980 WITH SCORE 360134.092
AT ITER 282 NEW BEST:: SOT 1936703 SOS 1153978 HAS SOPS 1141851 HAS SOUS 359549 HAS SOUPS 358866 WITH SCORE 360019.978
AT ITER 283 NEW BEST:: SOT 1936703 SOS 1154090 HAS SOPS 1142411 HAS SOUS 359356 HAS SOUPS 358729 WITH SCORE 359883.09
AT ITER 298 NEW BEST:: SOT 1934655 SOS 1152042 HAS SOPS 1140363 HAS SOUS 357252 HAS SOUPS 356625 WITH SCORE 357777.042
AT ITER 304 NEW BEST:: SOT 1934086 SOS 1151602 HAS SOPS 1139923 HAS SOUS 357014 HAS SOUPS 356387 WITH SCORE 357538.602
AT ITER 321 NEW BEST:: SOT 1933361 SOS 1151039 HAS SOPS 1139360 HAS SOUS 356246 HAS SOUPS 355619 WITH SCORE 356770.039
AT ITER 333 NEW BEST:: SOT 1932824 SOS 1150583 HAS SOPS 1138904 HAS SOUS 355794 HAS SOUPS 355167 WITH SCORE 356317.583
AT ITER 358 NEW BEST:: SOT 1932732 SOS 1150459 HAS SOPS 1138780 HAS SOUS 355760 HAS SOUPS 355133 WITH SCORE 356283.459
AT ITER 368 NEW BEST:: SOT 1931977 SOS 1149875 HAS SOPS 1138196 HAS SOUS 354582 HAS SOUPS 353955 WITH SCORE 355104.875
AT ITER 370 NEW BEST:: SOT 1931553 SOS 1149618 HAS SOPS 1137939 HAS SOUS 354489 HAS SOUPS 353862 WITH SCORE 355011.618
AT ITER 382 NEW BEST:: SOT 1848253 SOS 1066579 HAS SOPS 1054900 HAS SOUS 342178 HAS SOUPS 341551 WITH SCORE 342617.579
AT ITER 393 NEW BEST:: SOT 1848211 SOS 1066747 HAS SOPS 1055082 HAS SOUS 342150 HAS SOUPS 341523 WITH SCORE 342589.747
AT ITER 394 NEW BEST:: SOT 1843972 SOS 1062759 HAS SOPS 1051094 HAS SOUS 340446 HAS SOUPS 339819 WITH SCORE 340881.759
AT ITER 400 NEW BEST:: SOT 1843689 SOS 1062516 HAS SOPS 1050851 HAS SOUS 340339 HAS SOUPS 339712 WITH SCORE 340774.516
AT ITER 403 NEW BEST:: SOT 1843631 SOS 1062458 HAS SOPS 1050793 HAS SOUS 340310 HAS SOUPS 339683 WITH SCORE 340745.458
AT ITER 408 NEW BEST:: SOT 1843631 SOS 1062438 HAS SOPS 1050773 HAS SOUS 340133 HAS SOUPS 339506 WITH SCORE 340568.438
AT ITER 411 NEW BEST:: SOT 1843351 SOS 1062178 HAS SOPS 1050513 HAS SOUS 338890 HAS SOUPS 338263 WITH SCORE 339325.178
AT ITER 423 NEW BEST:: SOT 1843043 SOS 1061412 HAS SOPS 1049747 HAS SOUS 338582 HAS SOUPS 337955 WITH SCORE 339016.412
AT ITER 432 NEW BEST:: SOT 1842955 SOS 1061300 HAS SOPS 1049635 HAS SOUS 338449 HAS SOUPS 337822 WITH SCORE 338883.3
AT ITER 447 NEW BEST:: SOT 1842948 SOS 1061293 HAS SOPS 1049628 HAS SOUS 338438 HAS SOUPS 337811 WITH SCORE 338872.293
AT ITER 463 NEW BEST:: SOT 1842621 SOS 1060712 HAS SOPS 1049047 HAS SOUS 337619 HAS SOUPS 336992 WITH SCORE 338052.712
AT ITER 466 NEW BEST:: SOT 1842385 SOS 1060380 HAS SOPS 1048715 HAS SOUS 337287 HAS SOUPS 336660 WITH SCORE 337720.38
AT ITER 468 NEW BEST:: SOT 1842290 SOS 1060360 HAS SOPS 1048695 HAS SOUS 337215 HAS SOUPS 336588 WITH SCORE 337648.36
AT ITER 477 NEW BEST:: SOT 1841510 SOS 1059504 HAS SOPS 1047839 HAS SOUS 336375 HAS SOUPS 335748 WITH SCORE 336807.504
AT ITER 484 NEW BEST:: SOT 1841510 SOS 1059492 HAS SOPS 1047827 HAS SOUS 336363 HAS SOUPS 335736 WITH SCORE 336795.492
AT ITER 493 NEW BEST:: SOT 1841510 SOS 1059492 HAS SOPS 1047827 HAS SOUS 336360 HAS SOUPS 335733 WITH SCORE 336792.492
AT ITER 495 NEW BEST:: SOT 1841528 SOS 1059510 HAS SOPS 1047763 HAS SOUS 336341 HAS SOUPS 335701 WITH SCORE 336760.51
AT ITER 496 NEW BEST:: SOT 1841520 SOS 1059446 HAS SOPS 1047699 HAS SOUS 336277 HAS SOUPS 335637 WITH SCORE 336696.446
AT ITER 507 NEW BEST:: SOT 1844826 SOS 1062773 HAS SOPS 1051026 HAS SOUS 335835 HAS SOUPS 335195 WITH SCORE 336257.773
AT ITER 520 NEW BEST:: SOT 1844826 SOS 1062814 HAS SOPS 1051067 HAS SOUS 335771 HAS SOUPS 335131 WITH SCORE 336193.814
AT ITER 535 NEW BEST:: SOT 1844336 SOS 1062471 HAS SOPS 1050724 HAS SOUS 335490 HAS SOUPS 334850 WITH SCORE 335912.471
AT ITER 537 NEW BEST:: SOT 1844313 SOS 1062448 HAS SOPS 1050701 HAS SOUS 335199 HAS SOUPS 334559 WITH SCORE 335621.448
AT ITER 560 NEW BEST:: SOT 1844313 SOS 1062467 HAS SOPS 1050720 HAS SOUS 335184 HAS SOUPS 334544 WITH SCORE 335606.467
AT ITER 563 NEW BEST:: SOT 1844198 SOS 1062320 HAS SOPS 1050573 HAS SOUS 335032 HAS SOUPS 334392 WITH SCORE 335454.32
AT ITER 613 NEW BEST:: SOT 1844198 SOS 1062264 HAS SOPS 1050517 HAS SOUS 335032 HAS SOUPS 334392 WITH SCORE 335454.264
AT ITER 625 NEW BEST:: SOT 1844105 SOS 1062273 HAS SOPS 1050526 HAS SOUS 334930 HAS SOUPS 334290 WITH SCORE 335352.273
AT ITER 635 NEW BEST:: SOT 1844102 SOS 1062792 HAS SOPS 1051060 HAS SOUS 334853 HAS SOUPS 334213 WITH SCORE 335275.792
AT ITER 640 NEW BEST:: SOT 1843858 SOS 1062444 HAS SOPS 1050712 HAS SOUS 334569 HAS SOUPS 333929 WITH SCORE 334991.444
AT ITER 642 NEW BEST:: SOT 1843852 SOS 1062438 HAS SOPS 1050706 HAS SOUS 334562 HAS SOUPS 333922 WITH SCORE 334984.438
AT ITER 651 NEW BEST:: SOT 1843852 SOS 1062438 HAS SOPS 1050775 HAS SOUS 334540 HAS SOUPS 333900 WITH SCORE 334962.438
AT ITER 654 NEW BEST:: SOT 1843859 SOS 1062204 HAS SOPS 1050526 HAS SOUS 334500 HAS SOUPS 333860 WITH SCORE 334922.204
AT ITER 660 NEW BEST:: SOT 1822559 SOS 1040840 HAS SOPS 1029162 HAS SOUS 333193 HAS SOUPS 332553 WITH SCORE 333593.84
AT ITER 664 NEW BEST:: SOT 1822430 SOS 1040668 HAS SOPS 1028990 HAS SOUS 333021 HAS SOUPS 332381 WITH SCORE 333421.668
AT ITER 671 NEW BEST:: SOT 1822052 SOS 1040164 HAS SOPS 1028486 HAS SOUS 330502 HAS SOUPS 329862 WITH SCORE 330902.164
AT ITER 677 NEW BEST:: SOT 1811391 SOS 1032728 HAS SOPS 1026862 HAS SOUS 321415 HAS SOUPS 320959 WITH SCORE 321991.728
AT ITER 683 NEW BEST:: SOT 1761411 SOS 982736 HAS SOPS 976870 HAS SOUS 310708 HAS SOUPS 310252 WITH SCORE 311234.736
AT ITER 705 NEW BEST:: SOT 1761411 SOS 982224 HAS SOPS 976358 HAS SOUS 310708 HAS SOUPS 310252 WITH SCORE 311234.224
AT ITER 706 NEW BEST:: SOT 1761411 SOS 982224 HAS SOPS 976358 HAS SOUS 310691 HAS SOUPS 310235 WITH SCORE 311217.224
AT ITER 707 NEW BEST:: SOT 1761208 SOS 982021 HAS SOPS 976155 HAS SOUS 310197 HAS SOUPS 309741 WITH SCORE 310723.021
AT ITER 719 NEW BEST:: SOT 1761201 SOS 982014 HAS SOPS 976148 HAS SOUS 310190 HAS SOUPS 309734 WITH SCORE 310716.014
AT ITER 720 NEW BEST:: SOT 1760504 SOS 981532 HAS SOPS 975666 HAS SOUS 309886 HAS SOUPS 309430 WITH SCORE 310411.532
AT ITER 727 NEW BEST:: SOT 1760536 SOS 981663 HAS SOPS 975797 HAS SOUS 309883 HAS SOUPS 309427 WITH SCORE 310408.663
AT ITER 736 NEW BEST:: SOT 1760505 SOS 981663 HAS SOPS 975797 HAS SOUS 309865 HAS SOUPS 309409 WITH SCORE 310390.663
AT ITER 740 NEW BEST:: SOT 1759927 SOS 980990 HAS SOPS 975124 HAS SOUS 309275 HAS SOUPS 308819 WITH SCORE 309799.99
AT ITER 747 NEW BEST:: SOT 1759618 SOS 980688 HAS SOPS 974822 HAS SOUS 308399 HAS SOUPS 307943 WITH SCORE 308923.688
AT ITER 778 NEW BEST:: SOT 1759618 SOS 980688 HAS SOPS 974822 HAS SOUS 308372 HAS SOUPS 307916 WITH SCORE 308896.688
AT ITER 782 NEW BEST:: SOT 1699646 SOS 920903 HAS SOPS 915037 HAS SOUS 296855 HAS SOUPS 296399 WITH SCORE 297319.903
AT ITER 784 NEW BEST:: SOT 1699616 SOS 920879 HAS SOPS 915013 HAS SOUS 296819 HAS SOUPS 296363 WITH SCORE 297283.879
AT ITER 786 NEW BEST:: SOT 1699616 SOS 923259 HAS SOPS 917393 HAS SOUS 296694 HAS SOUPS 296238 WITH SCORE 297161.259
AT ITER 796 NEW BEST:: SOT 1699476 SOS 923172 HAS SOPS 917306 HAS SOUS 296628 HAS SOUPS 296172 WITH SCORE 297095.172
AT ITER 815 NEW BEST:: SOT 1699486 SOS 923043 HAS SOPS 917177 HAS SOUS 296511 HAS SOUPS 296055 WITH SCORE 296978.043
AT ITER 818 NEW BEST:: SOT 1699422 SOS 922979 HAS SOPS 917087 HAS SOUS 296421 HAS SOUPS 295965 WITH SCORE 296887.979
AT ITER 829 NEW BEST:: SOT 1699189 SOS 922787 HAS SOPS 916895 HAS SOUS 296183 HAS SOUPS 295727 WITH SCORE 296649.787
AT ITER 842 NEW BEST:: SOT 1698920 SOS 922428 HAS SOPS 916536 HAS SOUS 296103 HAS SOUPS 295647 WITH SCORE 296569.428
AT ITER 851 NEW BEST:: SOT 1699143 SOS 922485 HAS SOPS 916593 HAS SOUS 293932 HAS SOUPS 293476 WITH SCORE 294398.485
AT ITER 857 NEW BEST:: SOT 1698879 SOS 922261 HAS SOPS 916369 HAS SOUS 293637 HAS SOUPS 293181 WITH SCORE 294103.261
AT ITER 859 NEW BEST:: SOT 1697788 SOS 921336 HAS SOPS 915444 HAS SOUS 292668 HAS SOUPS 292212 WITH SCORE 293133.336
AT ITER 862 NEW BEST:: SOT 1619376 SOS 876048 HAS SOPS 870156 HAS SOUS 277804 HAS SOUPS 277348 WITH SCORE 278224.048
AT ITER 883 NEW BEST:: SOT 1619106 SOS 875697 HAS SOPS 869805 HAS SOUS 277453 HAS SOUPS 276997 WITH SCORE 277872.697
AT ITER 900 NEW BEST:: SOT 1619550 SOS 876934 HAS SOPS 871042 HAS SOUS 277345 HAS SOUPS 276889 WITH SCORE 277765.934
AT ITER 921 NEW BEST:: SOT 1619384 SOS 876802 HAS SOPS 870910 HAS SOUS 277160 HAS SOUPS 276704 WITH SCORE 277580.802
AT ITER 946 NEW BEST:: SOT 1619057 SOS 876478 HAS SOPS 870586 HAS SOUS 276065 HAS SOUPS 275609 WITH SCORE 276485.478
AT ITER 963 NEW BEST:: SOT 1619076 SOS 876497 HAS SOPS 870602 HAS SOUS 276062 HAS SOUPS 275605 WITH SCORE 276481.497
AT ITER 964 NEW BEST:: SOT 1619015 SOS 876436 HAS SOPS 870603 HAS SOUS 275682 HAS SOUPS 275225 WITH SCORE 276101.436
AT ITER 968 NEW BEST:: SOT 1618780 SOS 876241 HAS SOPS 870408 HAS SOUS 275637 HAS SOUPS 275180 WITH SCORE 276056.241
AT ITER 974 NEW BEST:: SOT 1618780 SOS 876010 HAS SOPS 870177 HAS SOUS 275417 HAS SOUPS 274960 WITH SCORE 275836.01
AT ITER 989 NEW BEST:: SOT 1618721 SOS 875951 HAS SOPS 870056 HAS SOUS 275248 HAS SOUPS 274791 WITH SCORE 275666.951
AT ITER 990 NEW BEST:: SOT 1618721 SOS 845311 HAS SOPS 839416 HAS SOUS 275144 HAS SOUPS 274687 WITH SCORE 275532.311
AT ITER 1023 NEW BEST:: SOT 1618708 SOS 845298 HAS SOPS 839390 HAS SOUS 275118 HAS SOUPS 274661 WITH SCORE 275506.298
AT ITER 1038 NEW BEST:: SOT 1618708 SOS 845298 HAS SOPS 839390 HAS SOUS 275100 HAS SOUPS 274643 WITH SCORE 275488.298
AT ITER 1055 NEW BEST:: SOT 1618692 SOS 845282 HAS SOPS 839374 HAS SOUS 275068 HAS SOUPS 274611 WITH SCORE 275456.282
AT ITER 1056 NEW BEST:: SOT 1618692 SOS 844852 HAS SOPS 838944 HAS SOUS 275050 HAS SOUPS 274593 WITH SCORE 275437.852
AT ITER 1057 NEW BEST:: SOT 1618692 SOS 844664 HAS SOPS 838756 HAS SOUS 275050 HAS SOUPS 274593 WITH SCORE 275437.664
AT ITER 1070 NEW BEST:: SOT 1616430 SOS 842554 HAS SOPS 836646 HAS SOUS 274509 HAS SOUPS 274052 WITH SCORE 274894.554
AT ITER 1105 NEW BEST:: SOT 1616334 SOS 842458 HAS SOPS 836601 HAS SOUS 274482 HAS SOUPS 274025 WITH SCORE 274867.458
AT ITER 1116 NEW BEST:: SOT 1615980 SOS 841868 HAS SOPS 836011 HAS SOUS 273892 HAS SOUPS 273435 WITH SCORE 274276.868
AT ITER 1118 NEW BEST:: SOT 1615907 SOS 841762 HAS SOPS 835905 HAS SOUS 273142 HAS SOUPS 272685 WITH SCORE 273526.762
AT ITER 1124 NEW BEST:: SOT 1615885 SOS 841740 HAS SOPS 835909 HAS SOUS 273074 HAS SOUPS 272617 WITH SCORE 273458.74
AT ITER 1126 NEW BEST:: SOT 1615917 SOS 841804 HAS SOPS 835973 HAS SOUS 273042 HAS SOUPS 272585 WITH SCORE 273426.804
AT ITER 1140 NEW BEST:: SOT 1615946 SOS 841849 HAS SOPS 836018 HAS SOUS 272958 HAS SOUPS 272501 WITH SCORE 273342.849
AT ITER 1147 NEW BEST:: SOT 1615702 SOS 841645 HAS SOPS 835814 HAS SOUS 272881 HAS SOUPS 272424 WITH SCORE 273265.645
AT ITER 1155 NEW BEST:: SOT 1615605 SOS 841548 HAS SOPS 835717 HAS SOUS 272699 HAS SOUPS 272242 WITH SCORE 273083.548
AT ITER 1156 NEW BEST:: SOT 1615576 SOS 841598 HAS SOPS 835784 HAS SOUS 272683 HAS SOUPS 272228 WITH SCORE 273069.598
AT ITER 1158 NEW BEST:: SOT 1615563 SOS 841585 HAS SOPS 835771 HAS SOUS 272670 HAS SOUPS 272215 WITH SCORE 273056.585
AT ITER 1162 NEW BEST:: SOT 1615436 SOS 841484 HAS SOPS 835670 HAS SOUS 272326 HAS SOUPS 271871 WITH SCORE 272712.484
AT ITER 1168 NEW BEST:: SOT 1615436 SOS 841585 HAS SOPS 835771 HAS SOUS 272018 HAS SOUPS 271563 WITH SCORE 272404.585
AT ITER 1172 NEW BEST:: SOT 1615345 SOS 841279 HAS SOPS 835516 HAS SOUS 271991 HAS SOUPS 271536 WITH SCORE 272377.279
AT ITER 1179 NEW BEST:: SOT 1615176 SOS 841058 HAS SOPS 835295 HAS SOUS 271653 HAS SOUPS 271198 WITH SCORE 272039.058
AT ITER 1184 NEW BEST:: SOT 1615188 SOS 841070 HAS SOPS 835275 HAS SOUS 271581 HAS SOUPS 271126 WITH SCORE 271967.07
AT ITER 1227 NEW BEST:: SOT 1615188 SOS 841128 HAS SOPS 835333 HAS SOUS 271493 HAS SOUPS 271038 WITH SCORE 271879.128
AT ITER 1231 NEW BEST:: SOT 1615174 SOS 841114 HAS SOPS 835305 HAS SOUS 271465 HAS SOUPS 271010 WITH SCORE 271851.114
AT ITER 1234 NEW BEST:: SOT 1615096 SOS 840793 HAS SOPS 834984 HAS SOUS 271153 HAS SOUPS 270698 WITH SCORE 271538.793
AT ITER 1239 NEW BEST:: SOT 1614500 SOS 839995 HAS SOPS 834186 HAS SOUS 267643 HAS SOUPS 267188 WITH SCORE 268027.995
AT ITER 1240 NEW BEST:: SOT 1614506 SOS 840006 HAS SOPS 834200 HAS SOUS 267559 HAS SOUPS 267104 WITH SCORE 267944.006
AT ITER 1247 NEW BEST:: SOT 1614460 SOS 839880 HAS SOPS 834108 HAS SOUS 267507 HAS SOUPS 267052 WITH SCORE 267891.88
AT ITER 1248 NEW BEST:: SOT 1614440 SOS 839860 HAS SOPS 834088 HAS SOUS 267483 HAS SOUPS 267028 WITH SCORE 267867.86
AT ITER 1269 NEW BEST:: SOT 1614176 SOS 839564 HAS SOPS 833792 HAS SOUS 267304 HAS SOUPS 266849 WITH SCORE 267688.564
AT ITER 1272 NEW BEST:: SOT 1614040 SOS 839292 HAS SOPS 833520 HAS SOUS 267067 HAS SOUPS 266612 WITH SCORE 267451.292
AT ITER 1274 NEW BEST:: SOT 1613996 SOS 839248 HAS SOPS 833476 HAS SOUS 266979 HAS SOUPS 266524 WITH SCORE 267363.248
AT ITER 1278 NEW BEST:: SOT 1613959 SOS 839211 HAS SOPS 833439 HAS SOUS 266931 HAS SOUPS 266476 WITH SCORE 267315.211
AT ITER 1283 NEW BEST:: SOT 1613559 SOS 838859 HAS SOPS 833087 HAS SOUS 266740 HAS SOUPS 266285 WITH SCORE 267123.859
AT ITER 1289 NEW BEST:: SOT 1613221 SOS 838641 HAS SOPS 832869 HAS SOUS 266642 HAS SOUPS 266187 WITH SCORE 267025.641
AT ITER 1290 NEW BEST:: SOT 1613221 SOS 838260 HAS SOPS 832488 HAS SOUS 266642 HAS SOUPS 266187 WITH SCORE 267025.26
AT ITER 1302 NEW BEST:: SOT 1613209 SOS 838236 HAS SOPS 832464 HAS SOUS 266618 HAS SOUPS 266163 WITH SCORE 267001.236
AT ITER 1323 NEW BEST:: SOT 1613201 SOS 838228 HAS SOPS 832456 HAS SOUS 266610 HAS SOUPS 266155 WITH SCORE 266993.228
AT ITER 1327 NEW BEST:: SOT 1612893 SOS 837843 HAS SOPS 832071 HAS SOUS 264685 HAS SOUPS 264230 WITH SCORE 265067.843
AT ITER 1346 NEW BEST:: SOT 1613142 SOS 837991 HAS SOPS 832219 HAS SOUS 263468 HAS SOUPS 263013 WITH SCORE 263850.991
AT ITER 1348 NEW BEST:: SOT 1605858 SOS 830766 HAS SOPS 824994 HAS SOUS 261740 HAS SOUPS 261285 WITH SCORE 262115.766
AT ITER 1351 NEW BEST:: SOT 1605735 SOS 830631 HAS SOPS 824859 HAS SOUS 261494 HAS SOUPS 261039 WITH SCORE 261869.631
AT ITER 1353 NEW BEST:: SOT 1605701 SOS 830563 HAS SOPS 824791 HAS SOUS 261460 HAS SOUPS 261005 WITH SCORE 261835.563
AT ITER 1354 NEW BEST:: SOT 1605701 SOS 830563 HAS SOPS 824791 HAS SOUS 261458 HAS SOUPS 261003 WITH SCORE 261833.563
AT ITER 1355 NEW BEST:: SOT 1530953 SOS 777424 HAS SOPS 771652 HAS SOUS 249286 HAS SOUPS 248831 WITH SCORE 249608.424
AT ITER 1363 NEW BEST:: SOT 1530604 SOS 777159 HAS SOPS 771387 HAS SOUS 248923 HAS SOUPS 248468 WITH SCORE 249245.159
AT ITER 1367 NEW BEST:: SOT 1530313 SOS 776868 HAS SOPS 771096 HAS SOUS 248341 HAS SOUPS 247886 WITH SCORE 248662.868
AT ITER 1377 NEW BEST:: SOT 1530336 SOS 776891 HAS SOPS 771100 HAS SOUS 248354 HAS SOUPS 247880 WITH SCORE 248656.891
AT ITER 1383 NEW BEST:: SOT 1530374 SOS 776929 HAS SOPS 771006 HAS SOUS 248345 HAS SOUPS 247813 WITH SCORE 248589.929
AT ITER 1389 NEW BEST:: SOT 1530370 SOS 776925 HAS SOPS 771006 HAS SOUS 248329 HAS SOUPS 247797 WITH SCORE 248573.925
AT ITER 1391 NEW BEST:: SOT 1530333 SOS 776823 HAS SOPS 770904 HAS SOUS 248227 HAS SOUPS 247695 WITH SCORE 248471.823
AT ITER 1393 NEW BEST:: SOT 1530306 SOS 776796 HAS SOPS 770877 HAS SOUS 248173 HAS SOUPS 247641 WITH SCORE 248417.796
AT ITER 1431 NEW BEST:: SOT 1530306 SOS 776789 HAS SOPS 770870 HAS SOUS 248173 HAS SOUPS 247641 WITH SCORE 248417.789
AT ITER 1435 NEW BEST:: SOT 1530277 SOS 776731 HAS SOPS 770812 HAS SOUS 248093 HAS SOUPS 247561 WITH SCORE 248337.731
AT ITER 1439 NEW BEST:: SOT 1530350 SOS 760255 HAS SOPS 754336 HAS SOUS 247518 HAS SOUPS 246986 WITH SCORE 247746.255
AT ITER 1459 NEW BEST:: SOT 1529970 SOS 759577 HAS SOPS 753658 HAS SOUS 247296 HAS SOUPS 246764 WITH SCORE 247523.577
AT ITER 1461 NEW BEST:: SOT 1529881 SOS 759488 HAS SOPS 753569 HAS SOUS 246887 HAS SOUPS 246355 WITH SCORE 247114.488
AT ITER 1464 NEW BEST:: SOT 1529881 SOS 759488 HAS SOPS 753569 HAS SOUS 246874 HAS SOUPS 246342 WITH SCORE 247101.488
AT ITER 1485 NEW BEST:: SOT 1529819 SOS 759427 HAS SOPS 753508 HAS SOUS 246816 HAS SOUPS 246284 WITH SCORE 247043.427
AT ITER 1499 NEW BEST:: SOT 1529646 SOS 759254 HAS SOPS 753335 HAS SOUS 246666 HAS SOUPS 246134 WITH SCORE 246893.254
AT ITER 1517 NEW BEST:: SOT 1529630 SOS 759238 HAS SOPS 753319 HAS SOUS 246521 HAS SOUPS 245989 WITH SCORE 246748.238
AT ITER 1521 NEW BEST:: SOT 1529282 SOS 758872 HAS SOPS 752953 HAS SOUS 246078 HAS SOUPS 245546 WITH SCORE 246304.872
AT ITER 1525 NEW BEST:: SOT 1529200 SOS 758760 HAS SOPS 752841 HAS SOUS 245966 HAS SOUPS 245434 WITH SCORE 246192.76
AT ITER 1535 NEW BEST:: SOT 1529169 SOS 758729 HAS SOPS 752810 HAS SOUS 245904 HAS SOUPS 245372 WITH SCORE 246130.729
AT ITER 1556 NEW BEST:: SOT 1529097 SOS 758657 HAS SOPS 752738 HAS SOUS 245756 HAS SOUPS 245224 WITH SCORE 245982.657
AT ITER 1565 NEW BEST:: SOT 1529081 SOS 758641 HAS SOPS 752722 HAS SOUS 245740 HAS SOUPS 245208 WITH SCORE 245966.641
AT ITER 1567 NEW BEST:: SOT 1528891 SOS 757796 HAS SOPS 751877 HAS SOUS 245680 HAS SOUPS 245148 WITH SCORE 245905.796
AT ITER 1591 NEW BEST:: SOT 1528705 SOS 757610 HAS SOPS 751691 HAS SOUS 245203 HAS SOUPS 244671 WITH SCORE 245428.61
AT ITER 1608 NEW BEST:: SOT 1528765 SOS 757670 HAS SOPS 751717 HAS SOUS 245159 HAS SOUPS 244627 WITH SCORE 245384.67
AT ITER 1627 NEW BEST:: SOT 1528704 SOS 757609 HAS SOPS 751656 HAS SOUS 244961 HAS SOUPS 244429 WITH SCORE 245186.609
AT ITER 1642 NEW BEST:: SOT 1528680 SOS 757593 HAS SOPS 751640 HAS SOUS 244945 HAS SOUPS 244413 WITH SCORE 245170.593
AT ITER 1647 NEW BEST:: SOT 1528652 SOS 757565 HAS SOPS 751584 HAS SOUS 244880 HAS SOUPS 244348 WITH SCORE 245105.565
AT ITER 1696 NEW BEST:: SOT 1528652 SOS 757695 HAS SOPS 751714 HAS SOUS 244879 HAS SOUPS 244347 WITH SCORE 245104.695
AT ITER 1711 NEW BEST:: SOT 1528669 SOS 758780 HAS SOPS 752799 HAS SOUS 244581 HAS SOUPS 244049 WITH SCORE 244807.78
AT ITER 1716 NEW BEST:: SOT 1528653 SOS 758736 HAS SOPS 752787 HAS SOUS 244310 HAS SOUPS 243782 WITH SCORE 244540.736
AT ITER 1719 NEW BEST:: SOT 1528238 SOS 758238 HAS SOPS 752289 HAS SOUS 243919 HAS SOUPS 243391 WITH SCORE 244149.238
AT ITER 1732 NEW BEST:: SOT 1527863 SOS 757957 HAS SOPS 752008 HAS SOUS 243792 HAS SOUPS 243264 WITH SCORE 244021.957
AT ITER 1735 NEW BEST:: SOT 1527827 SOS 757921 HAS SOPS 751972 HAS SOUS 243720 HAS SOUPS 243192 WITH SCORE 243949.921
AT ITER 1738 NEW BEST:: SOT 1527972 SOS 758066 HAS SOPS 752117 HAS SOUS 243663 HAS SOUPS 243135 WITH SCORE 243893.066
AT ITER 1785 NEW BEST:: SOT 1527997 SOS 758091 HAS SOPS 752142 HAS SOUS 243654 HAS SOUPS 243126 WITH SCORE 243884.091
AT ITER 1792 NEW BEST:: SOT 1527999 SOS 758290 HAS SOPS 752422 HAS SOUS 243267 HAS SOUPS 242739 WITH SCORE 243497.29
AT ITER 1821 NEW BEST:: SOT 1527969 SOS 758240 HAS SOPS 752372 HAS SOUS 243227 HAS SOUPS 242699 WITH SCORE 243457.24
AT ITER 1822 NEW BEST:: SOT 1527969 SOS 758263 HAS SOPS 752395 HAS SOUS 243181 HAS SOUPS 242653 WITH SCORE 243411.263
AT ITER 1835 NEW BEST:: SOT 1527952 SOS 758246 HAS SOPS 752378 HAS SOUS 243116 HAS SOUPS 242588 WITH SCORE 243346.246
AT ITER 1840 NEW BEST:: SOT 1527952 SOS 758246 HAS SOPS 752378 HAS SOUS 243097 HAS SOUPS 242569 WITH SCORE 243327.246
AT ITER 1841 NEW BEST:: SOT 1527948 SOS 758242 HAS SOPS 752374 HAS SOUS 243094 HAS SOUPS 242566 WITH SCORE 243324.242
AT ITER 1843 NEW BEST:: SOT 1527792 SOS 758149 HAS SOPS 752389 HAS SOUS 243017 HAS SOUPS 242489 WITH SCORE 243247.149
AT ITER 1860 NEW BEST:: SOT 1527568 SOS 757803 HAS SOPS 752043 HAS SOUS 242746 HAS SOUPS 242218 WITH SCORE 242975.803
AT ITER 1872 NEW BEST:: SOT 1527560 SOS 757787 HAS SOPS 752027 HAS SOUS 242730 HAS SOUPS 242202 WITH SCORE 242959.787
AT ITER 1882 NEW BEST:: SOT 1527644 SOS 757908 HAS SOPS 752148 HAS SOUS 242610 HAS SOUPS 242082 WITH SCORE 242839.908
AT ITER 1894 NEW BEST:: SOT 1527623 SOS 757887 HAS SOPS 752127 HAS SOUS 242589 HAS SOUPS 242061 WITH SCORE 242818.887
AT ITER 1903 NEW BEST:: SOT 1527623 SOS 753172 HAS SOPS 747412 HAS SOUS 242559 HAS SOUPS 242031 WITH SCORE 242784.172
AT ITER 1919 NEW BEST:: SOT 1527470 SOS 753049 HAS SOPS 747289 HAS SOUS 242358 HAS SOUPS 241830 WITH SCORE 242583.049
AT ITER 1945 NEW BEST:: SOT 1527229 SOS 752808 HAS SOPS 747048 HAS SOUS 242085 HAS SOUPS 241557 WITH SCORE 242309.808
AT ITER 1967 NEW BEST:: SOT 1527229 SOS 752808 HAS SOPS 747045 HAS SOUS 242082 HAS SOUPS 241554 WITH SCORE 242306.808
AT ITER 1978 NEW BEST:: SOT 1527240 SOS 752819 HAS SOPS 747056 HAS SOUS 242072 HAS SOUPS 241544 WITH SCORE 242296.819
AT ITER 1980 NEW BEST:: SOT 1527449 SOS 753028 HAS SOPS 747358 HAS SOUS 241957 HAS SOUPS 241429 WITH SCORE 242182.028
AT ITER 1997 NEW BEST:: SOT 1527427 SOS 750319 HAS SOPS 744649 HAS SOUS 241951 HAS SOUPS 241423 WITH SCORE 242173.319
AT ITER 1999 NEW BEST:: SOT 1527471 SOS 750363 HAS SOPS 744693 HAS SOUS 241944 HAS SOUPS 241416 WITH SCORE 242166.363
AT ITER 2009 NEW BEST:: SOT 1527420 SOS 750295 HAS SOPS 744625 HAS SOUS 241842 HAS SOUPS 241314 WITH SCORE 242064.295
AT ITER 2014 NEW BEST:: SOT 1527410 SOS 750300 HAS SOPS 744630 HAS SOUS 241818 HAS SOUPS 241290 WITH SCORE 242040.3
AT ITER 2050 NEW BEST:: SOT 1527372 SOS 750262 HAS SOPS 744592 HAS SOUS 241794 HAS SOUPS 241266 WITH SCORE 242016.262
AT ITER 2071 NEW BEST:: SOT 1527356 SOS 750246 HAS SOPS 744509 HAS SOUS 241722 HAS SOUPS 241154 WITH SCORE 241904.246
AT ITER 2096 NEW BEST:: SOT 1527348 SOS 750184 HAS SOPS 744487 HAS SOUS 241712 HAS SOUPS 241149 WITH SCORE 241899.184
AT ITER 2103 NEW BEST:: SOT 1527347 SOS 750183 HAS SOPS 744486 HAS SOUS 241711 HAS SOUPS 241148 WITH SCORE 241898.183
AT ITER 2104 NEW BEST:: SOT 1527476 SOS 750312 HAS SOPS 744583 HAS SOUS 241705 HAS SOUPS 241142 WITH SCORE 241892.312
AT ITER 2115 NEW BEST:: SOT 1527476 SOS 750316 HAS SOPS 744587 HAS SOUS 241628 HAS SOUPS 241065 WITH SCORE 241815.316
AT ITER 2118 NEW BEST:: SOT 1527222 SOS 746197 HAS SOPS 740468 HAS SOUS 241419 HAS SOUPS 240856 WITH SCORE 241602.197
AT ITER 2119 NEW BEST:: SOT 1525924 SOS 745014 HAS SOPS 739285 HAS SOUS 240722 HAS SOUPS 240159 WITH SCORE 240904.014
AT ITER 2123 NEW BEST:: SOT 1525924 SOS 744985 HAS SOPS 739256 HAS SOUS 240722 HAS SOUPS 240159 WITH SCORE 240903.985
AT ITER 2139 NEW BEST:: SOT 1525870 SOS 744931 HAS SOPS 739202 HAS SOUS 240668 HAS SOUPS 240105 WITH SCORE 240849.931
AT ITER 2149 NEW BEST:: SOT 1525648 SOS 744608 HAS SOPS 738879 HAS SOUS 240377 HAS SOUPS 239814 WITH SCORE 240558.608
AT ITER 2158 NEW BEST:: SOT 1525635 SOS 744582 HAS SOPS 738853 HAS SOUS 240351 HAS SOUPS 239788 WITH SCORE 240532.582
AT ITER 2180 NEW BEST:: SOT 1525630 SOS 744578 HAS SOPS 738849 HAS SOUS 240344 HAS SOUPS 239781 WITH SCORE 240525.578
AT ITER 2181 NEW BEST:: SOT 1525029 SOS 743888 HAS SOPS 738159 HAS SOUS 239798 HAS SOUPS 239235 WITH SCORE 239978.888
AT ITER 2186 NEW BEST:: SOT 1524876 SOS 743775 HAS SOPS 738046 HAS SOUS 239532 HAS SOUPS 238969 WITH SCORE 239712.775
AT ITER 2187 NEW BEST:: SOT 1524815 SOS 743583 HAS SOPS 737854 HAS SOUS 239410 HAS SOUPS 238847 WITH SCORE 239590.583
AT ITER 2188 NEW BEST:: SOT 1523784 SOS 742552 HAS SOPS 736823 HAS SOUS 238297 HAS SOUPS 237734 WITH SCORE 238476.552
AT ITER 2191 NEW BEST:: SOT 1524015 SOS 742574 HAS SOPS 736845 HAS SOUS 238034 HAS SOUPS 237471 WITH SCORE 238213.574
AT ITER 2205 NEW BEST:: SOT 1523778 SOS 742413 HAS SOPS 736684 HAS SOUS 237900 HAS SOUPS 237337 WITH SCORE 238079.413
AT ITER 2212 NEW BEST:: SOT 1523930 SOS 742565 HAS SOPS 736836 HAS SOUS 237643 HAS SOUPS 237080 WITH SCORE 237822.565
AT ITER 2254 NEW BEST:: SOT 1523902 SOS 742537 HAS SOPS 736824 HAS SOUS 237600 HAS SOUPS 237053 WITH SCORE 237795.537
AT ITER 2261 NEW BEST:: SOT 1523997 SOS 742719 HAS SOPS 737006 HAS SOUS 237485 HAS SOUPS 236938 WITH SCORE 237680.719
AT ITER 2268 NEW BEST:: SOT 1523954 SOS 742617 HAS SOPS 736904 HAS SOUS 237383 HAS SOUPS 236836 WITH SCORE 237578.617
AT ITER 2274 NEW BEST:: SOT 1523829 SOS 742608 HAS SOPS 736916 HAS SOUS 237158 HAS SOUPS 236611 WITH SCORE 237353.608
AT ITER 2284 NEW BEST:: SOT 1523813 SOS 742592 HAS SOPS 736884 HAS SOUS 237126 HAS SOUPS 236579 WITH SCORE 237321.592
AT ITER 2295 NEW BEST:: SOT 1523697 SOS 742605 HAS SOPS 736897 HAS SOUS 237028 HAS SOUPS 236481 WITH SCORE 237223.605
AT ITER 2303 NEW BEST:: SOT 1523666 SOS 742574 HAS SOPS 736866 HAS SOUS 236997 HAS SOUPS 236450 WITH SCORE 237192.574
AT ITER 2306 NEW BEST:: SOT 1523687 SOS 742571 HAS SOPS 736863 HAS SOUS 236907 HAS SOUPS 236360 WITH SCORE 237102.571
AT ITER 2333 NEW BEST:: SOT 1523687 SOS 742569 HAS SOPS 736863 HAS SOUS 236881 HAS SOUPS 236334 WITH SCORE 237076.569
AT ITER 2338 NEW BEST:: SOT 1523528 SOS 742393 HAS SOPS 736687 HAS SOUS 236754 HAS SOUPS 236207 WITH SCORE 236949.393
AT ITER 2360 NEW BEST:: SOT 1523093 SOS 742077 HAS SOPS 736371 HAS SOUS 236520 HAS SOUPS 235973 WITH SCORE 236715.077
AT ITER 2361 NEW BEST:: SOT 1522952 SOS 741967 HAS SOPS 736261 HAS SOUS 236430 HAS SOUPS 235883 WITH SCORE 236624.967
AT ITER 2362 NEW BEST:: SOT 1523011 SOS 741938 HAS SOPS 736232 HAS SOUS 236430 HAS SOUPS 235883 WITH SCORE 236624.938
AT ITER 2365 NEW BEST:: SOT 1522445 SOS 741494 HAS SOPS 735788 HAS SOUS 235666 HAS SOUPS 235119 WITH SCORE 235860.494
AT ITER 2371 NEW BEST:: SOT 1522433 SOS 741490 HAS SOPS 735784 HAS SOUS 235658 HAS SOUPS 235111 WITH SCORE 235852.49
AT ITER 2396 NEW BEST:: SOT 1522433 SOS 741487 HAS SOPS 735781 HAS SOUS 235616 HAS SOUPS 235069 WITH SCORE 235810.487
AT ITER 2408 NEW BEST:: SOT 1522335 SOS 741431 HAS SOPS 735725 HAS SOUS 235560 HAS SOUPS 235013 WITH SCORE 235754.431
AT ITER 2418 NEW BEST:: SOT 1522290 SOS 741436 HAS SOPS 735730 HAS SOUS 235547 HAS SOUPS 235000 WITH SCORE 235741.436
AT ITER 2425 NEW BEST:: SOT 1521718 SOS 740729 HAS SOPS 735023 HAS SOUS 234922 HAS SOUPS 234375 WITH SCORE 235115.729
AT ITER 2442 NEW BEST:: SOT 1521624 SOS 740541 HAS SOPS 734835 HAS SOUS 234789 HAS SOUPS 234242 WITH SCORE 234982.541
AT ITER 2444 NEW BEST:: SOT 1521620 SOS 740537 HAS SOPS 734831 HAS SOUS 234787 HAS SOUPS 234240 WITH SCORE 234980.537
AT ITER 2447 NEW BEST:: SOT 1521906 SOS 741116 HAS SOPS 735410 HAS SOUS 234715 HAS SOUPS 234168 WITH SCORE 234909.116
AT ITER 2450 NEW BEST:: SOT 1521635 SOS 740845 HAS SOPS 735139 HAS SOUS 234496 HAS SOUPS 233949 WITH SCORE 234689.845
AT ITER 2465 NEW BEST:: SOT 1521411 SOS 740502 HAS SOPS 734796 HAS SOUS 234065 HAS SOUPS 233518 WITH SCORE 234258.502
AT ITER 2467 NEW BEST:: SOT 1521373 SOS 740423 HAS SOPS 734717 HAS SOUS 233983 HAS SOUPS 233436 WITH SCORE 234176.423
AT ITER 2492 NEW BEST:: SOT 1521345 SOS 740395 HAS SOPS 734689 HAS SOUS 233949 HAS SOUPS 233402 WITH SCORE 234142.395
AT ITER 2505 NEW BEST:: SOT 1521125 SOS 740175 HAS SOPS 734469 HAS SOUS 233815 HAS SOUPS 233268 WITH SCORE 234008.175
AT ITER 2510 NEW BEST:: SOT 1520817 SOS 739825 HAS SOPS 734119 HAS SOUS 233479 HAS SOUPS 232932 WITH SCORE 233671.825
AT ITER 2518 NEW BEST:: SOT 1520718 SOS 739671 HAS SOPS 733965 HAS SOUS 233267 HAS SOUPS 232720 WITH SCORE 233459.671
AT ITER 2522 NEW BEST:: SOT 1520710 SOS 739663 HAS SOPS 733957 HAS SOUS 233259 HAS SOUPS 232712 WITH SCORE 233451.663
AT ITER 2539 NEW BEST:: SOT 1520674 SOS 739603 HAS SOPS 733897 HAS SOUS 233247 HAS SOUPS 232700 WITH SCORE 233439.603
AT ITER 2550 NEW BEST:: SOT 1520559 SOS 739479 HAS SOPS 733794 HAS SOUS 233050 HAS SOUPS 232503 WITH SCORE 233242.479
AT ITER 2557 NEW BEST:: SOT 1520602 SOS 739522 HAS SOPS 733786 HAS SOUS 232970 HAS SOUPS 232423 WITH SCORE 233162.522
AT ITER 2560 NEW BEST:: SOT 1520578 SOS 739450 HAS SOPS 733714 HAS SOUS 232730 HAS SOUPS 232183 WITH SCORE 232922.45
AT ITER 2564 NEW BEST:: SOT 1520548 SOS 739420 HAS SOPS 733684 HAS SOUS 232160 HAS SOUPS 231613 WITH SCORE 232352.42
AT ITER 2570 NEW BEST:: SOT 1520527 SOS 739399 HAS SOPS 733663 HAS SOUS 232118 HAS SOUPS 231571 WITH SCORE 232310.399
AT ITER 2582 NEW BEST:: SOT 1520509 SOS 739295 HAS SOPS 733559 HAS SOUS 232100 HAS SOUPS 231553 WITH SCORE 232292.295
AT ITER 2592 NEW BEST:: SOT 1520519 SOS 739163 HAS SOPS 733427 HAS SOUS 231977 HAS SOUPS 231430 WITH SCORE 232169.163
AT ITER 2609 NEW BEST:: SOT 1521653 SOS 740400 HAS SOPS 734664 HAS SOUS 231434 HAS SOUPS 230887 WITH SCORE 231627.4
AT ITER 2635 NEW BEST:: SOT 1521601 SOS 740326 HAS SOPS 734590 HAS SOUS 231330 HAS SOUPS 230783 WITH SCORE 231523.326
AT ITER 2656 NEW BEST:: SOT 1521555 SOS 740280 HAS SOPS 734544 HAS SOUS 231284 HAS SOUPS 230737 WITH SCORE 231477.28
AT ITER 2671 NEW BEST:: SOT 1521524 SOS 740249 HAS SOPS 734521 HAS SOUS 231261 HAS SOUPS 230714 WITH SCORE 231454.249
AT ITER 2684 NEW BEST:: SOT 1521388 SOS 740079 HAS SOPS 734351 HAS SOUS 230962 HAS SOUPS 230415 WITH SCORE 231155.079
AT ITER 2688 NEW BEST:: SOT 1521276 SOS 739845 HAS SOPS 734178 HAS SOUS 230772 HAS SOUPS 230265 WITH SCORE 231004.845
AT ITER 2689 NEW BEST:: SOT 1521115 SOS 739684 HAS SOPS 734017 HAS SOUS 230633 HAS SOUPS 230126 WITH SCORE 230865.684
AT ITER 2703 NEW BEST:: SOT 1521068 SOS 739637 HAS SOPS 733967 HAS SOUS 230594 HAS SOUPS 230087 WITH SCORE 230826.637
AT ITER 2709 NEW BEST:: SOT 1521115 SOS 739654 HAS SOPS 733984 HAS SOUS 230380 HAS SOUPS 229873 WITH SCORE 230612.654
AT ITER 2715 NEW BEST:: SOT 1521111 SOS 739646 HAS SOPS 733976 HAS SOUS 230372 HAS SOUPS 229865 WITH SCORE 230604.646
AT ITER 2723 NEW BEST:: SOT 1521111 SOS 739646 HAS SOPS 733976 HAS SOUS 230369 HAS SOUPS 229862 WITH SCORE 230601.646
AT ITER 2727 NEW BEST:: SOT 1521103 SOS 739638 HAS SOPS 733968 HAS SOUS 230369 HAS SOUPS 229862 WITH SCORE 230601.638
AT ITER 2731 NEW BEST:: SOT 1520824 SOS 739359 HAS SOPS 733689 HAS SOUS 230328 HAS SOUPS 229821 WITH SCORE 230560.359
AT ITER 2734 NEW BEST:: SOT 1520789 SOS 739324 HAS SOPS 733654 HAS SOUS 230293 HAS SOUPS 229786 WITH SCORE 230525.324
AT ITER 2743 NEW BEST:: SOT 1520788 SOS 739323 HAS SOPS 733653 HAS SOUS 230291 HAS SOUPS 229784 WITH SCORE 230523.323
AT ITER 2770 NEW BEST:: SOT 1520763 SOS 739298 HAS SOPS 733628 HAS SOUS 230270 HAS SOUPS 229763 WITH SCORE 230502.298
AT ITER 2824 NEW BEST:: SOT 1520461 SOS 739115 HAS SOPS 733445 HAS SOUS 230123 HAS SOUPS 229616 WITH SCORE 230355.115
AT ITER 2832 NEW BEST:: SOT 1520377 SOS 739031 HAS SOPS 733361 HAS SOUS 230039 HAS SOUPS 229532 WITH SCORE 230271.031
AT ITER 2836 NEW BEST:: SOT 1520401 SOS 739003 HAS SOPS 733333 HAS SOUS 229975 HAS SOUPS 229468 WITH SCORE 230207.003
AT ITER 2838 NEW BEST:: SOT 1520145 SOS 738734 HAS SOPS 733064 HAS SOUS 229514 HAS SOUPS 229007 WITH SCORE 229745.734
AT ITER 2842 NEW BEST:: SOT 1520058 SOS 738589 HAS SOPS 732919 HAS SOUS 229427 HAS SOUPS 228920 WITH SCORE 229658.589
AT ITER 2856 NEW BEST:: SOT 1519899 SOS 738594 HAS SOPS 732924 HAS SOUS 229345 HAS SOUPS 228838 WITH SCORE 229576.594
AT ITER 2864 NEW BEST:: SOT 1519868 SOS 738563 HAS SOPS 732862 HAS SOUS 229271 HAS SOUPS 228764 WITH SCORE 229502.563
AT ITER 2885 NEW BEST:: SOT 1519856 SOS 738551 HAS SOPS 732850 HAS SOUS 229259 HAS SOUPS 228752 WITH SCORE 229490.551
AT ITER 2888 NEW BEST:: SOT 1519851 SOS 738546 HAS SOPS 732845 HAS SOUS 229248 HAS SOUPS 228741 WITH SCORE 229479.546
AT ITER 2900 NEW BEST:: SOT 1519706 SOS 738284 HAS SOPS 732583 HAS SOUS 229055 HAS SOUPS 228548 WITH SCORE 229286.284
AT ITER 2908 NEW BEST:: SOT 1519621 SOS 718684 HAS SOPS 712983 HAS SOUS 228860 HAS SOUPS 228353 WITH SCORE 229071.684
AT ITER 2915 NEW BEST:: SOT 1519393 SOS 718370 HAS SOPS 712669 HAS SOUS 228288 HAS SOUPS 227781 WITH SCORE 228499.37
AT ITER 2923 NEW BEST:: SOT 1519378 SOS 718355 HAS SOPS 712654 HAS SOUS 228258 HAS SOUPS 227751 WITH SCORE 228469.355
AT ITER 2927 NEW BEST:: SOT 1515482 SOS 727408 HAS SOPS 718964 HAS SOUS 225085 HAS SOUPS 224185 WITH SCORE 224912.408
AT ITER 2934 NEW BEST:: SOT 1515387 SOS 727313 HAS SOPS 718876 HAS SOUS 225012 HAS SOUPS 224112 WITH SCORE 224839.313
AT ITER 2937 NEW BEST:: SOT 1514915 SOS 727040 HAS SOPS 718603 HAS SOUS 224507 HAS SOUPS 223607 WITH SCORE 224334.04
AT ITER 2942 NEW BEST:: SOT 1514975 SOS 724163 HAS SOPS 715726 HAS SOUS 224009 HAS SOUPS 223109 WITH SCORE 223833.163
AT ITER 2952 NEW BEST:: SOT 1514975 SOS 723993 HAS SOPS 715556 HAS SOUS 223993 HAS SOUPS 223093 WITH SCORE 223816.993
AT ITER 2957 NEW BEST:: SOT 1514905 SOS 723764 HAS SOPS 715327 HAS SOUS 223906 HAS SOUPS 223006 WITH SCORE 223729.764
AT ITER 2962 NEW BEST:: SOT 1514857 SOS 723716 HAS SOPS 715279 HAS SOUS 223874 HAS SOUPS 222974 WITH SCORE 223697.716
AT ITER 2973 NEW BEST:: SOT 1514857 SOS 659324 HAS SOPS 650887 HAS SOUS 223845 HAS SOUPS 222945 WITH SCORE 223604.324
AT ITER 2979 NEW BEST:: SOT 1514815 SOS 659268 HAS SOPS 650831 HAS SOUS 223788 HAS SOUPS 222888 WITH SCORE 223547.268
AT ITER 2984 NEW BEST:: SOT 1501343 SOS 645796 HAS SOPS 637359 HAS SOUS 222031 HAS SOUPS 221131 WITH SCORE 221776.796
AT ITER 2985 NEW BEST:: SOT 1501114 SOS 645524 HAS SOPS 637087 HAS SOUS 222002 HAS SOUPS 221102 WITH SCORE 221747.524
AT ITER 2991 NEW BEST:: SOT 1501044 SOS 645340 HAS SOPS 636903 HAS SOUS 221844 HAS SOUPS 220944 WITH SCORE 221589.34
AT ITER 3004 NEW BEST:: SOT 1501042 SOS 645338 HAS SOPS 636901 HAS SOUS 221487 HAS SOUPS 220587 WITH SCORE 221232.338
AT ITER 3023 NEW BEST:: SOT 1500317 SOS 644575 HAS SOPS 636138 HAS SOUS 221045 HAS SOUPS 220145 WITH SCORE 220789.575
AT ITER 3040 NEW BEST:: SOT 1500291 SOS 644562 HAS SOPS 636125 HAS SOUS 221006 HAS SOUPS 220106 WITH SCORE 220750.562
AT ITER 3043 NEW BEST:: SOT 1500291 SOS 644026 HAS SOPS 635653 HAS SOUS 220998 HAS SOUPS 220106 WITH SCORE 220750.026
AT ITER 3051 NEW BEST:: SOT 1500303 SOS 643970 HAS SOPS 635597 HAS SOUS 220958 HAS SOUPS 220066 WITH SCORE 220709.97
AT ITER 3054 NEW BEST:: SOT 1500118 SOS 643803 HAS SOPS 635430 HAS SOUS 220798 HAS SOUPS 219906 WITH SCORE 220549.803
AT ITER 3060 NEW BEST:: SOT 1500007 SOS 643692 HAS SOPS 635319 HAS SOUS 220687 HAS SOUPS 219795 WITH SCORE 220438.692
AT ITER 3077 NEW BEST:: SOT 1499608 SOS 643293 HAS SOPS 634920 HAS SOUS 220544 HAS SOUPS 219652 WITH SCORE 220295.293
AT ITER 3095 NEW BEST:: SOT 1499543 SOS 643301 HAS SOPS 634928 HAS SOUS 220461 HAS SOUPS 219569 WITH SCORE 220212.301
AT ITER 3099 NEW BEST:: SOT 1499620 SOS 643378 HAS SOPS 634976 HAS SOUS 220415 HAS SOUPS 219523 WITH SCORE 220166.378
AT ITER 3109 NEW BEST:: SOT 1499609 SOS 643361 HAS SOPS 634959 HAS SOUS 220393 HAS SOUPS 219501 WITH SCORE 220144.361
AT ITER 3111 NEW BEST:: SOT 1499609 SOS 643361 HAS SOPS 634959 HAS SOUS 220328 HAS SOUPS 219436 WITH SCORE 220079.361
AT ITER 3122 NEW BEST:: SOT 1499597 SOS 643349 HAS SOPS 634947 HAS SOUS 220305 HAS SOUPS 219413 WITH SCORE 220056.349
AT ITER 3128 NEW BEST:: SOT 1499501 SOS 643259 HAS SOPS 634857 HAS SOUS 220192 HAS SOUPS 219300 WITH SCORE 219943.259
AT ITER 3132 NEW BEST:: SOT 1499558 SOS 643316 HAS SOPS 634893 HAS SOUS 220167 HAS SOUPS 219275 WITH SCORE 219918.316
AT ITER 3138 NEW BEST:: SOT 1499417 SOS 643085 HAS SOPS 634662 HAS SOUS 220006 HAS SOUPS 219114 WITH SCORE 219757.085
AT ITER 3155 NEW BEST:: SOT 1499417 SOS 643070 HAS SOPS 634647 HAS SOUS 219946 HAS SOUPS 219054 WITH SCORE 219697.07
AT ITER 3160 NEW BEST:: SOT 1499729 SOS 643458 HAS SOPS 635035 HAS SOUS 219619 HAS SOUPS 218727 WITH SCORE 219370.458
AT ITER 3172 NEW BEST:: SOT 1499291 SOS 642297 HAS SOPS 633874 HAS SOUS 219004 HAS SOUPS 218112 WITH SCORE 218754.297
AT ITER 3177 NEW BEST:: SOT 1498230 SOS 641252 HAS SOPS 632829 HAS SOUS 218611 HAS SOUPS 217719 WITH SCORE 218360.252
AT ITER 3184 NEW BEST:: SOT 1497935 SOS 640942 HAS SOPS 632527 HAS SOUS 218285 HAS SOUPS 217395 WITH SCORE 218035.942
AT ITER 3194 NEW BEST:: SOT 1497909 SOS 640913 HAS SOPS 632498 HAS SOUS 218233 HAS SOUPS 217343 WITH SCORE 217983.913
AT ITER 3196 NEW BEST:: SOT 1497845 SOS 640785 HAS SOPS 632370 HAS SOUS 218105 HAS SOUPS 217215 WITH SCORE 217855.785
AT ITER 3212 NEW BEST:: SOT 1497835 SOS 640775 HAS SOPS 632360 HAS SOUS 218095 HAS SOUPS 217205 WITH SCORE 217845.775
AT ITER 3215 NEW BEST:: SOT 1497580 SOS 640520 HAS SOPS 632105 HAS SOUS 217863 HAS SOUPS 216973 WITH SCORE 217613.52
AT ITER 3243 NEW BEST:: SOT 1497511 SOS 640451 HAS SOPS 632036 HAS SOUS 217794 HAS SOUPS 216904 WITH SCORE 217544.451
AT ITER 3276 NEW BEST:: SOT 1497505 SOS 640450 HAS SOPS 632035 HAS SOUS 217653 HAS SOUPS 216763 WITH SCORE 217403.45
AT ITER 3282 NEW BEST:: SOT 1497443 SOS 640259 HAS SOPS 631844 HAS SOUS 217469 HAS SOUPS 216579 WITH SCORE 217219.259
AT ITER 3287 NEW BEST:: SOT 1497337 SOS 639855 HAS SOPS 629264 HAS SOUS 217342 HAS SOUPS 216180 WITH SCORE 216819.855
AT ITER 3291 NEW BEST:: SOT 1497304 SOS 639799 HAS SOPS 629208 HAS SOUS 217322 HAS SOUPS 216160 WITH SCORE 216799.799
AT ITER 3304 NEW BEST:: SOT 1497051 SOS 639512 HAS SOPS 628921 HAS SOUS 217281 HAS SOUPS 216119 WITH SCORE 216758.512
AT ITER 3308 NEW BEST:: SOT 1497032 SOS 639493 HAS SOPS 628883 HAS SOUS 217243 HAS SOUPS 216081 WITH SCORE 216720.493
AT ITER 3318 NEW BEST:: SOT 1498167 SOS 640750 HAS SOPS 630140 HAS SOUS 216778 HAS SOUPS 215616 WITH SCORE 216256.75
AT ITER 3328 NEW BEST:: SOT 1498167 SOS 640776 HAS SOPS 630166 HAS SOUS 216752 HAS SOUPS 215590 WITH SCORE 216230.776
AT ITER 3340 NEW BEST:: SOT 1497612 SOS 639917 HAS SOPS 629307 HAS SOUS 216227 HAS SOUPS 215065 WITH SCORE 215704.917
AT ITER 3348 NEW BEST:: SOT 1497662 SOS 639902 HAS SOPS 629292 HAS SOUS 216171 HAS SOUPS 215009 WITH SCORE 215648.902
AT ITER 3354 NEW BEST:: SOT 1497704 SOS 639944 HAS SOPS 629334 HAS SOUS 216168 HAS SOUPS 215006 WITH SCORE 215645.944
AT ITER 3369 NEW BEST:: SOT 1497401 SOS 639517 HAS SOPS 628907 HAS SOUS 216022 HAS SOUPS 214860 WITH SCORE 215499.517
AT ITER 3383 NEW BEST:: SOT 1497401 SOS 638365 HAS SOPS 627755 HAS SOUS 216022 HAS SOUPS 214860 WITH SCORE 215498.365
AT ITER 3414 NEW BEST:: SOT 1497351 SOS 638459 HAS SOPS 627849 HAS SOUS 215972 HAS SOUPS 214810 WITH SCORE 215448.459
AT ITER 3421 NEW BEST:: SOT 1495347 SOS 638030 HAS SOPS 627420 HAS SOUS 213394 HAS SOUPS 212232 WITH SCORE 212870.03
AT ITER 3433 NEW BEST:: SOT 1495323 SOS 637982 HAS SOPS 627372 HAS SOUS 213346 HAS SOUPS 212184 WITH SCORE 212821.982
AT ITER 3437 NEW BEST:: SOT 1495284 SOS 637904 HAS SOPS 627294 HAS SOUS 213208 HAS SOUPS 212046 WITH SCORE 212683.904
AT ITER 3456 NEW BEST:: SOT 1495274 SOS 637813 HAS SOPS 627203 HAS SOUS 213151 HAS SOUPS 211989 WITH SCORE 212626.813
AT ITER 3465 NEW BEST:: SOT 1495161 SOS 637663 HAS SOPS 627053 HAS SOUS 212931 HAS SOUPS 211769 WITH SCORE 212406.663
AT ITER 3487 NEW BEST:: SOT 1495155 SOS 637651 HAS SOPS 627041 HAS SOUS 212919 HAS SOUPS 211757 WITH SCORE 212394.651
AT ITER 3522 NEW BEST:: SOT 1496046 SOS 638686 HAS SOPS 628076 HAS SOUS 212917 HAS SOUPS 211755 WITH SCORE 212393.686
AT ITER 3524 NEW BEST:: SOT 1496025 SOS 638609 HAS SOPS 627999 HAS SOUS 212903 HAS SOUPS 211741 WITH SCORE 212379.609
AT ITER 3530 NEW BEST:: SOT 1496072 SOS 638656 HAS SOPS 628046 HAS SOUS 212881 HAS SOUPS 211719 WITH SCORE 212357.656
AT ITER 3570 NEW BEST:: SOT 1496061 SOS 638645 HAS SOPS 628035 HAS SOUS 212870 HAS SOUPS 211708 WITH SCORE 212346.645
AT ITER 3585 NEW BEST:: SOT 1495986 SOS 638519 HAS SOPS 627909 HAS SOUS 212774 HAS SOUPS 211612 WITH SCORE 212250.519
AT ITER 3586 NEW BEST:: SOT 1495940 SOS 638395 HAS SOPS 627785 HAS SOUS 212771 HAS SOUPS 211609 WITH SCORE 212247.395
AT ITER 3597 NEW BEST:: SOT 1495912 SOS 638374 HAS SOPS 627764 HAS SOUS 212736 HAS SOUPS 211574 WITH SCORE 212212.374
AT ITER 3601 NEW BEST:: SOT 1495680 SOS 637830 HAS SOPS 627220 HAS SOUS 212465 HAS SOUPS 211303 WITH SCORE 211940.83
AT ITER 3613 NEW BEST:: SOT 1495656 SOS 637750 HAS SOPS 627204 HAS SOUS 212441 HAS SOUPS 211287 WITH SCORE 211924.75
AT ITER 3619 NEW BEST:: SOT 1495640 SOS 637734 HAS SOPS 627238 HAS SOUS 212381 HAS SOUPS 211227 WITH SCORE 211864.734
AT ITER 3646 NEW BEST:: SOT 1495697 SOS 637791 HAS SOPS 627295 HAS SOUS 212380 HAS SOUPS 211226 WITH SCORE 211863.791
AT ITER 3647 NEW BEST:: SOT 1495603 SOS 637697 HAS SOPS 627201 HAS SOUS 212243 HAS SOUPS 211089 WITH SCORE 211726.697
AT ITER 3663 NEW BEST:: SOT 1495521 SOS 637615 HAS SOPS 627119 HAS SOUS 212084 HAS SOUPS 210930 WITH SCORE 211567.615
AT ITER 3664 NEW BEST:: SOT 1495375 SOS 637516 HAS SOPS 627020 HAS SOUS 211034 HAS SOUPS 209880 WITH SCORE 210517.516
AT ITER 3669 NEW BEST:: SOT 1495042 SOS 637183 HAS SOPS 626687 HAS SOUS 210578 HAS SOUPS 209424 WITH SCORE 210061.183
AT ITER 3682 NEW BEST:: SOT 1494962 SOS 637103 HAS SOPS 626607 HAS SOUS 210498 HAS SOUPS 209344 WITH SCORE 209981.103
AT ITER 3685 NEW BEST:: SOT 1494958 SOS 637095 HAS SOPS 626599 HAS SOUS 210490 HAS SOUPS 209336 WITH SCORE 209973.095
AT ITER 3686 NEW BEST:: SOT 1494945 SOS 637086 HAS SOPS 626585 HAS SOUS 210461 HAS SOUPS 209288 WITH SCORE 209925.086
AT ITER 3691 NEW BEST:: SOT 1495264 SOS 637539 HAS SOPS 627038 HAS SOUS 210336 HAS SOUPS 209163 WITH SCORE 209800.539
AT ITER 3692 NEW BEST:: SOT 1495016 SOS 637278 HAS SOPS 626777 HAS SOUS 210165 HAS SOUPS 208992 WITH SCORE 209629.278
AT ITER 3705 NEW BEST:: SOT 1495016 SOS 637103 HAS SOPS 626602 HAS SOUS 210126 HAS SOUPS 208953 WITH SCORE 209590.103
AT ITER 3736 NEW BEST:: SOT 1494380 SOS 636500 HAS SOPS 625999 HAS SOUS 209429 HAS SOUPS 208256 WITH SCORE 208892.5
AT ITER 3737 NEW BEST:: SOT 1494368 SOS 636651 HAS SOPS 626150 HAS SOUS 209401 HAS SOUPS 208228 WITH SCORE 208864.651
AT ITER 3755 NEW BEST:: SOT 1494355 SOS 636638 HAS SOPS 626124 HAS SOUS 209375 HAS SOUPS 208202 WITH SCORE 208838.638
AT ITER 3765 NEW BEST:: SOT 1494354 SOS 636637 HAS SOPS 626123 HAS SOUS 209373 HAS SOUPS 208200 WITH SCORE 208836.637
AT ITER 3766 NEW BEST:: SOT 1494354 SOS 636610 HAS SOPS 626096 HAS SOUS 209305 HAS SOUPS 208132 WITH SCORE 208768.61
AT ITER 3777 NEW BEST:: SOT 1494343 SOS 636599 HAS SOPS 626085 HAS SOUS 208660 HAS SOUPS 207487 WITH SCORE 208123.599
AT ITER 3780 NEW BEST:: SOT 1494219 SOS 636499 HAS SOPS 625985 HAS SOUS 208548 HAS SOUPS 207375 WITH SCORE 208011.499
AT ITER 3783 NEW BEST:: SOT 1494219 SOS 636382 HAS SOPS 625985 HAS SOUS 208548 HAS SOUPS 207375 WITH SCORE 208011.382
AT ITER 3810 NEW BEST:: SOT 1493858 SOS 635118 HAS SOPS 625753 HAS SOUS 208282 HAS SOUPS 207238 WITH SCORE 207873.118
AT ITER 3812 NEW BEST:: SOT 1492712 SOS 640191 HAS SOPS 630826 HAS SOUS 207759 HAS SOUPS 206715 WITH SCORE 207355.191
AT ITER 3842 NEW BEST:: SOT 1492584 SOS 639885 HAS SOPS 630520 HAS SOUS 207710 HAS SOUPS 206666 WITH SCORE 207305.885
AT ITER 3859 NEW BEST:: SOT 1492580 SOS 639877 HAS SOPS 630512 HAS SOUS 207702 HAS SOUPS 206658 WITH SCORE 207297.877
AT ITER 3879 NEW BEST:: SOT 1492577 SOS 639874 HAS SOPS 630509 HAS SOUS 207675 HAS SOUPS 206631 WITH SCORE 207270.874
AT ITER 3895 NEW BEST:: SOT 1492587 SOS 639992 HAS SOPS 630627 HAS SOUS 207537 HAS SOUPS 206493 WITH SCORE 207132.992
AT ITER 3899 NEW BEST:: SOT 1492537 SOS 639929 HAS SOPS 630551 HAS SOUS 207474 HAS SOUPS 206430 WITH SCORE 207069.929
AT ITER 3911 NEW BEST:: SOT 1492400 SOS 639735 HAS SOPS 630371 HAS SOUS 207316 HAS SOUPS 206272 WITH SCORE 206911.735
AT ITER 3913 NEW BEST:: SOT 1492252 SOS 639587 HAS SOPS 630223 HAS SOUS 207020 HAS SOUPS 205976 WITH SCORE 206615.587
AT ITER 3918 NEW BEST:: SOT 1492249 SOS 639584 HAS SOPS 630220 HAS SOUS 206976 HAS SOUPS 205932 WITH SCORE 206571.584
AT ITER 3929 NEW BEST:: SOT 1491178 SOS 638003 HAS SOPS 628639 HAS SOUS 205803 HAS SOUPS 204759 WITH SCORE 205397.003
AT ITER 3957 NEW BEST:: SOT 1491066 SOS 637891 HAS SOPS 628527 HAS SOUS 205506 HAS SOUPS 204462 WITH SCORE 205099.891
AT ITER 3962 NEW BEST:: SOT 1491046 SOS 637875 HAS SOPS 628511 HAS SOUS 205442 HAS SOUPS 204398 WITH SCORE 205035.875
AT ITER 3971 NEW BEST:: SOT 1490973 SOS 637802 HAS SOPS 628438 HAS SOUS 205429 HAS SOUPS 204385 WITH SCORE 205022.802
AT ITER 3974 NEW BEST:: SOT 1491030 SOS 637859 HAS SOPS 628283 HAS SOUS 205530 HAS SOUPS 204316 WITH SCORE 204953.859
AT ITER 3986 NEW BEST:: SOT 1491092 SOS 637747 HAS SOPS 628171 HAS SOUS 205418 HAS SOUPS 204204 WITH SCORE 204841.747
AT ITER 3996 NEW BEST:: SOT 1491076 SOS 637731 HAS SOPS 628155 HAS SOUS 205237 HAS SOUPS 204023 WITH SCORE 204660.731
AT ITER 4004 NEW BEST:: SOT 1491064 SOS 637707 HAS SOPS 628131 HAS SOUS 205213 HAS SOUPS 203999 WITH SCORE 204636.707
AT ITER 4019 NEW BEST:: SOT 1478611 SOS 625254 HAS SOPS 615678 HAS SOUS 203400 HAS SOUPS 202186 WITH SCORE 202811.254
AT ITER 4046 NEW BEST:: SOT 1478619 SOS 625195 HAS SOPS 615619 HAS SOUS 203353 HAS SOUPS 202139 WITH SCORE 202764.195
AT ITER 4056 NEW BEST:: SOT 1478658 SOS 625122 HAS SOPS 615658 HAS SOUS 203334 HAS SOUPS 202134 WITH SCORE 202759.122
AT ITER 4064 NEW BEST:: SOT 1478658 SOS 623394 HAS SOPS 613930 HAS SOUS 203332 HAS SOUPS 202132 WITH SCORE 202755.394
AT ITER 4071 NEW BEST:: SOT 1478650 SOS 623382 HAS SOPS 613918 HAS SOUS 203314 HAS SOUPS 202114 WITH SCORE 202737.382
AT ITER 4073 NEW BEST:: SOT 1478656 SOS 623939 HAS SOPS 614475 HAS SOUS 203311 HAS SOUPS 202111 WITH SCORE 202734.939
AT ITER 4097 NEW BEST:: SOT 1478685 SOS 625058 HAS SOPS 614434 HAS SOUS 203295 HAS SOUPS 201950 WITH SCORE 202575.058
AT ITER 4104 NEW BEST:: SOT 1478375 SOS 624659 HAS SOPS 614035 HAS SOUS 203231 HAS SOUPS 201886 WITH SCORE 202510.659
AT ITER 4136 NEW BEST:: SOT 1478341 SOS 624676 HAS SOPS 614052 HAS SOUS 203174 HAS SOUPS 201829 WITH SCORE 202453.676
AT ITER 4141 NEW BEST:: SOT 1469491 SOS 615905 HAS SOPS 605281 HAS SOUS 201431 HAS SOUPS 200086 WITH SCORE 200701.905
AT ITER 4149 NEW BEST:: SOT 1469519 SOS 615894 HAS SOPS 605270 HAS SOUS 201381 HAS SOUPS 200036 WITH SCORE 200651.894
AT ITER 4150 NEW BEST:: SOT 1469677 SOS 615980 HAS SOPS 605356 HAS SOUS 201342 HAS SOUPS 199997 WITH SCORE 200612.98
AT ITER 4165 NEW BEST:: SOT 1469661 SOS 615964 HAS SOPS 605340 HAS SOUS 201329 HAS SOUPS 199984 WITH SCORE 200599.964
AT ITER 4166 NEW BEST:: SOT 1469695 SOS 616049 HAS SOPS 605425 HAS SOUS 201297 HAS SOUPS 199952 WITH SCORE 200568.049
AT ITER 4199 NEW BEST:: SOT 1469663 SOS 616017 HAS SOPS 605393 HAS SOUS 201258 HAS SOUPS 199913 WITH SCORE 200529.017
AT ITER 4201 NEW BEST:: SOT 1468950 SOS 614935 HAS SOPS 604311 HAS SOUS 200363 HAS SOUPS 199018 WITH SCORE 199632.935
AT ITER 4203 NEW BEST:: SOT 1468760 SOS 614726 HAS SOPS 604102 HAS SOUS 200209 HAS SOUPS 198864 WITH SCORE 199478.726
AT ITER 4207 NEW BEST:: SOT 1468658 SOS 614624 HAS SOPS 604000 HAS SOUS 200149 HAS SOUPS 198804 WITH SCORE 199418.624
AT ITER 4209 NEW BEST:: SOT 1468658 SOS 614624 HAS SOPS 604000 HAS SOUS 200101 HAS SOUPS 198756 WITH SCORE 199370.624
AT ITER 4216 NEW BEST:: SOT 1468649 SOS 614588 HAS SOPS 603964 HAS SOUS 200065 HAS SOUPS 198720 WITH SCORE 199334.588
AT ITER 4218 NEW BEST:: SOT 1468539 SOS 614431 HAS SOPS 603807 HAS SOUS 199908 HAS SOUPS 198563 WITH SCORE 199177.431
AT ITER 4225 NEW BEST:: SOT 1468533 SOS 614425 HAS SOPS 603801 HAS SOUS 199908 HAS SOUPS 198563 WITH SCORE 199177.425
AT ITER 4230 NEW BEST:: SOT 1468517 SOS 614393 HAS SOPS 603753 HAS SOUS 199908 HAS SOUPS 198563 WITH SCORE 199177.393
AT ITER 4241 NEW BEST:: SOT 1468512 SOS 614388 HAS SOPS 603748 HAS SOUS 199894 HAS SOUPS 198549 WITH SCORE 199163.388
AT ITER 4242 NEW BEST:: SOT 1468292 SOS 614001 HAS SOPS 603361 HAS SOUS 199670 HAS SOUPS 198325 WITH SCORE 198939.001
AT ITER 4267 NEW BEST:: SOT 1468290 SOS 613997 HAS SOPS 603357 HAS SOUS 199666 HAS SOUPS 198321 WITH SCORE 198934.997
AT ITER 4296 NEW BEST:: SOT 1468265 SOS 613947 HAS SOPS 603307 HAS SOUS 199616 HAS SOUPS 198271 WITH SCORE 198884.947
AT ITER 4304 NEW BEST:: SOT 1468256 SOS 614288 HAS SOPS 603658 HAS SOUS 199571 HAS SOUPS 198226 WITH SCORE 198840.288
AT ITER 4305 NEW BEST:: SOT 1468220 SOS 614244 HAS SOPS 603614 HAS SOUS 199499 HAS SOUPS 198154 WITH SCORE 198768.244
AT ITER 4315 NEW BEST:: SOT 1468160 SOS 614201 HAS SOPS 603571 HAS SOUS 199469 HAS SOUPS 198124 WITH SCORE 198738.201
AT ITER 4343 NEW BEST:: SOT 1468209 SOS 614654 HAS SOPS 603981 HAS SOUS 199449 HAS SOUPS 198104 WITH SCORE 198718.654
AT ITER 4355 NEW BEST:: SOT 1468049 SOS 614494 HAS SOPS 603821 HAS SOUS 199289 HAS SOUPS 197944 WITH SCORE 198558.494
AT ITER 4356 NEW BEST:: SOT 1467881 SOS 614272 HAS SOPS 603599 HAS SOUS 199031 HAS SOUPS 197686 WITH SCORE 198300.272
AT ITER 4368 NEW BEST:: SOT 1467826 SOS 614217 HAS SOPS 603544 HAS SOUS 198943 HAS SOUPS 197598 WITH SCORE 198212.217
AT ITER 4391 NEW BEST:: SOT 1467323 SOS 613843 HAS SOPS 603170 HAS SOUS 198383 HAS SOUPS 197038 WITH SCORE 197651.843
AT ITER 4394 NEW BEST:: SOT 1462183 SOS 608684 HAS SOPS 598011 HAS SOUS 197287 HAS SOUPS 195942 WITH SCORE 196550.684
AT ITER 4404 NEW BEST:: SOT 1462102 SOS 608630 HAS SOPS 597957 HAS SOUS 197125 HAS SOUPS 195780 WITH SCORE 196388.63
AT ITER 4438 NEW BEST:: SOT 1462023 SOS 608528 HAS SOPS 597855 HAS SOUS 196923 HAS SOUPS 195578 WITH SCORE 196186.528
AT ITER 4445 NEW BEST:: SOT 1461986 SOS 608491 HAS SOPS 597818 HAS SOUS 196849 HAS SOUPS 195504 WITH SCORE 196112.491
AT ITER 4473 NEW BEST:: SOT 1461860 SOS 608289 HAS SOPS 597616 HAS SOUS 196609 HAS SOUPS 195264 WITH SCORE 195872.289
AT ITER 4495 NEW BEST:: SOT 1461824 SOS 608228 HAS SOPS 597555 HAS SOUS 196512 HAS SOUPS 195167 WITH SCORE 195775.228
AT ITER 4507 NEW BEST:: SOT 1461798 SOS 608202 HAS SOPS 597529 HAS SOUS 196433 HAS SOUPS 195088 WITH SCORE 195696.202
AT ITER 4525 NEW BEST:: SOT 1461818 SOS 608209 HAS SOPS 597536 HAS SOUS 196252 HAS SOUPS 194907 WITH SCORE 195515.209
AT ITER 4529 NEW BEST:: SOT 1452879 SOS 599208 HAS SOPS 588535 HAS SOUS 195162 HAS SOUPS 193817 WITH SCORE 194416.208
AT ITER 4533 NEW BEST:: SOT 1452819 SOS 599095 HAS SOPS 588422 HAS SOUS 195103 HAS SOUPS 193758 WITH SCORE 194357.095
AT ITER 4547 NEW BEST:: SOT 1452554 SOS 598931 HAS SOPS 588258 HAS SOUS 194975 HAS SOUPS 193630 WITH SCORE 194228.931
AT ITER 4555 NEW BEST:: SOT 1452492 SOS 598869 HAS SOPS 588196 HAS SOUS 194924 HAS SOUPS 193579 WITH SCORE 194177.869
AT ITER 4572 NEW BEST:: SOT 1452443 SOS 598820 HAS SOPS 588147 HAS SOUS 194702 HAS SOUPS 193357 WITH SCORE 193955.82
AT ITER 4601 NEW BEST:: SOT 1452443 SOS 598813 HAS SOPS 588106 HAS SOUS 194661 HAS SOUPS 193316 WITH SCORE 193914.813
AT ITER 4624 NEW BEST:: SOT 1452392 SOS 598762 HAS SOPS 588055 HAS SOUS 194550 HAS SOUPS 193205 WITH SCORE 193803.762
AT ITER 4642 NEW BEST:: SOT 1451929 SOS 598476 HAS SOPS 587769 HAS SOUS 194280 HAS SOUPS 192935 WITH SCORE 193533.476
AT ITER 4650 NEW BEST:: SOT 1452711 SOS 599137 HAS SOPS 588430 HAS SOUS 193512 HAS SOUPS 192167 WITH SCORE 192766.137
AT ITER 4659 NEW BEST:: SOT 1452653 SOS 599079 HAS SOPS 588372 HAS SOUS 193472 HAS SOUPS 192127 WITH SCORE 192726.079
AT ITER 4672 NEW BEST:: SOT 1452525 SOS 598997 HAS SOPS 588290 HAS SOUS 193303 HAS SOUPS 191958 WITH SCORE 192556.997
AT ITER 4673 NEW BEST:: SOT 1452525 SOS 598997 HAS SOPS 588290 HAS SOUS 193258 HAS SOUPS 191913 WITH SCORE 192511.997
AT ITER 4679 NEW BEST:: SOT 1452475 SOS 598947 HAS SOPS 588240 HAS SOUS 193166 HAS SOUPS 191821 WITH SCORE 192419.947
AT ITER 4705 NEW BEST:: SOT 1452421 SOS 598893 HAS SOPS 588186 HAS SOUS 193077 HAS SOUPS 191732 WITH SCORE 192330.893
AT ITER 4710 NEW BEST:: SOT 1452239 SOS 598711 HAS SOPS 587993 HAS SOUS 192870 HAS SOUPS 191525 WITH SCORE 192123.711
AT ITER 4736 NEW BEST:: SOT 1451927 SOS 598399 HAS SOPS 587681 HAS SOUS 192487 HAS SOUPS 191142 WITH SCORE 191740.399
AT ITER 4741 NEW BEST:: SOT 1451876 SOS 598295 HAS SOPS 587577 HAS SOUS 192383 HAS SOUPS 191038 WITH SCORE 191636.295
AT ITER 4775 NEW BEST:: SOT 1451845 SOS 597969 HAS SOPS 587251 HAS SOUS 192383 HAS SOUPS 191038 WITH SCORE 191635.969
AT ITER 4791 NEW BEST:: SOT 1451895 SOS 598073 HAS SOPS 587483 HAS SOUS 192231 HAS SOUPS 190886 WITH SCORE 191484.073
AT ITER 4792 NEW BEST:: SOT 1451849 SOS 597939 HAS SOPS 587349 HAS SOUS 192139 HAS SOUPS 190794 WITH SCORE 191391.939
AT ITER 4801 NEW BEST:: SOT 1451869 SOS 597959 HAS SOPS 587369 HAS SOUS 192103 HAS SOUPS 190758 WITH SCORE 191355.959
AT ITER 4804 NEW BEST:: SOT 1451804 SOS 597858 HAS SOPS 587268 HAS SOUS 192081 HAS SOUPS 190736 WITH SCORE 191333.858
AT ITER 4821 NEW BEST:: SOT 1451770 SOS 597417 HAS SOPS 586827 HAS SOUS 191916 HAS SOUPS 190571 WITH SCORE 191168.417
AT ITER 4822 NEW BEST:: SOT 1451765 SOS 597412 HAS SOPS 586822 HAS SOUS 191906 HAS SOUPS 190561 WITH SCORE 191158.412
AT ITER 4824 NEW BEST:: SOT 1451751 SOS 597370 HAS SOPS 586780 HAS SOUS 191878 HAS SOUPS 190533 WITH SCORE 191130.37
AT ITER 4834 NEW BEST:: SOT 1451567 SOS 597186 HAS SOPS 586596 HAS SOUS 191660 HAS SOUPS 190315 WITH SCORE 190912.186
AT ITER 4835 NEW BEST:: SOT 1451327 SOS 597100 HAS SOPS 586510 HAS SOUS 191514 HAS SOUPS 190169 WITH SCORE 190766.1
AT ITER 4836 NEW BEST:: SOT 1451180 SOS 596829 HAS SOPS 586392 HAS SOUS 191489 HAS SOUPS 190144 WITH SCORE 190740.829
AT ITER 4853 NEW BEST:: SOT 1451167 SOS 596816 HAS SOPS 586379 HAS SOUS 191463 HAS SOUPS 190118 WITH SCORE 190714.816
AT ITER 4855 NEW BEST:: SOT 1449761 SOS 595228 HAS SOPS 584791 HAS SOUS 191133 HAS SOUPS 189788 WITH SCORE 190383.228
AT ITER 4862 NEW BEST:: SOT 1449648 SOS 595115 HAS SOPS 584678 HAS SOUS 190963 HAS SOUPS 189618 WITH SCORE 190213.115
AT ITER 4887 NEW BEST:: SOT 1449538 SOS 595005 HAS SOPS 584568 HAS SOUS 190238 HAS SOUPS 188893 WITH SCORE 189488.005
AT ITER 4909 NEW BEST:: SOT 1449385 SOS 594843 HAS SOPS 584333 HAS SOUS 190221 HAS SOUPS 188876 WITH SCORE 189470.843
AT ITER 4910 NEW BEST:: SOT 1449286 SOS 594744 HAS SOPS 584234 HAS SOUS 190153 HAS SOUPS 188808 WITH SCORE 189402.744
AT ITER 4913 NEW BEST:: SOT 1449160 SOS 594618 HAS SOPS 584108 HAS SOUS 189890 HAS SOUPS 188545 WITH SCORE 189139.618
AT ITER 4937 NEW BEST:: SOT 1449159 SOS 594499 HAS SOPS 583989 HAS SOUS 189771 HAS SOUPS 188426 WITH SCORE 189020.499
AT ITER 5000 NEW BEST:: SOT 1449086 SOS 594361 HAS SOPS 582731 HAS SOUS 189720 HAS SOUPS 188235 WITH SCORE 188829.361
AT ITER 5033 NEW BEST:: SOT 1449017 SOS 594292 HAS SOPS 582662 HAS SOUS 189651 HAS SOUPS 188166 WITH SCORE 188760.292
AT ITER 5039 NEW BEST:: SOT 1449003 SOS 594271 HAS SOPS 582641 HAS SOUS 189623 HAS SOUPS 188138 WITH SCORE 188732.271
AT ITER 5055 NEW BEST:: SOT 1448760 SOS 594028 HAS SOPS 582398 HAS SOUS 189224 HAS SOUPS 187739 WITH SCORE 188333.028
AT ITER 5085 NEW BEST:: SOT 1448836 SOS 594104 HAS SOPS 582474 HAS SOUS 189222 HAS SOUPS 187737 WITH SCORE 188331.104
AT ITER 5090 NEW BEST:: SOT 1448788 SOS 594178 HAS SOPS 582548 HAS SOUS 189177 HAS SOUPS 187692 WITH SCORE 188286.178
AT ITER 5204 NEW BEST:: SOT 1448777 SOS 594176 HAS SOPS 582546 HAS SOUS 188415 HAS SOUPS 186930 WITH SCORE 187524.176
AT ITER 5233 NEW BEST:: SOT 1448745 SOS 594128 HAS SOPS 582490 HAS SOUS 188367 HAS SOUPS 186882 WITH SCORE 187476.128
AT ITER 5239 NEW BEST:: SOT 1448126 SOS 593509 HAS SOPS 581871 HAS SOUS 187718 HAS SOUPS 186233 WITH SCORE 186826.509
AT ITER 5253 NEW BEST:: SOT 1448144 SOS 593527 HAS SOPS 581889 HAS SOUS 187717 HAS SOUPS 186232 WITH SCORE 186825.527
AT ITER 5300 NEW BEST:: SOT 1448144 SOS 593527 HAS SOPS 581889 HAS SOUS 187704 HAS SOUPS 186219 WITH SCORE 186812.527
AT ITER 5318 NEW BEST:: SOT 1447973 SOS 593350 HAS SOPS 581712 HAS SOUS 187486 HAS SOUPS 186001 WITH SCORE 186594.35
AT ITER 5334 NEW BEST:: SOT 1447666 SOS 593024 HAS SOPS 581386 HAS SOUS 187200 HAS SOUPS 185715 WITH SCORE 186308.024
AT ITER 5338 NEW BEST:: SOT 1447626 SOS 592984 HAS SOPS 581362 HAS SOUS 187160 HAS SOUPS 185691 WITH SCORE 186283.984
AT ITER 5339 NEW BEST:: SOT 1447608 SOS 592957 HAS SOPS 581335 HAS SOUS 187133 HAS SOUPS 185664 WITH SCORE 186256.957
AT ITER 5365 NEW BEST:: SOT 1447608 SOS 592950 HAS SOPS 581328 HAS SOUS 187133 HAS SOUPS 185664 WITH SCORE 186256.95
AT ITER 5373 NEW BEST:: SOT 1447583 SOS 592950 HAS SOPS 581328 HAS SOUS 187108 HAS SOUPS 185639 WITH SCORE 186231.95
AT ITER 5374 NEW BEST:: SOT 1447452 SOS 592819 HAS SOPS 581197 HAS SOUS 186977 HAS SOUPS 185508 WITH SCORE 186100.819
AT ITER 5377 NEW BEST:: SOT 1447455 SOS 592822 HAS SOPS 581200 HAS SOUS 186970 HAS SOUPS 185501 WITH SCORE 186093.822
AT ITER 5385 NEW BEST:: SOT 1447373 SOS 592740 HAS SOPS 581118 HAS SOUS 186834 HAS SOUPS 185365 WITH SCORE 185957.74
AT ITER 5398 NEW BEST:: SOT 1447373 SOS 592046 HAS SOPS 580424 HAS SOUS 186834 HAS SOUPS 185365 WITH SCORE 185957.046
AT ITER 5420 NEW BEST:: SOT 1447366 SOS 592039 HAS SOPS 580417 HAS SOUS 186827 HAS SOUPS 185358 WITH SCORE 185950.039
AT ITER 5430 NEW BEST:: SOT 1447229 SOS 591871 HAS SOPS 580249 HAS SOUS 186718 HAS SOUPS 185249 WITH SCORE 185840.871
AT ITER 5451 NEW BEST:: SOT 1447160 SOS 591779 HAS SOPS 580157 HAS SOUS 186603 HAS SOUPS 185134 WITH SCORE 185725.779
AT ITER 5484 NEW BEST:: SOT 1447067 SOS 591643 HAS SOPS 580021 HAS SOUS 186503 HAS SOUPS 185034 WITH SCORE 185625.643
AT ITER 5552 NEW BEST:: SOT 1447050 SOS 591626 HAS SOPS 580004 HAS SOUS 186486 HAS SOUPS 185017 WITH SCORE 185608.626
AT ITER 5562 NEW BEST:: SOT 1447049 SOS 591625 HAS SOPS 580003 HAS SOUS 186474 HAS SOUPS 185005 WITH SCORE 185596.625
AT ITER 5581 NEW BEST:: SOT 1447012 SOS 591551 HAS SOPS 579929 HAS SOUS 186400 HAS SOUPS 184931 WITH SCORE 185522.551
AT ITER 5590 NEW BEST:: SOT 1447059 SOS 591598 HAS SOPS 579976 HAS SOUS 186390 HAS SOUPS 184921 WITH SCORE 185512.598
AT ITER 5597 NEW BEST:: SOT 1447015 SOS 591490 HAS SOPS 579868 HAS SOUS 186282 HAS SOUPS 184813 WITH SCORE 185404.49
AT ITER 5616 NEW BEST:: SOT 1446874 SOS 591301 HAS SOPS 579679 HAS SOUS 186177 HAS SOUPS 184708 WITH SCORE 185299.301
AT ITER 5617 NEW BEST:: SOT 1446573 SOS 590804 HAS SOPS 579182 HAS SOUS 185787 HAS SOUPS 184318 WITH SCORE 184908.804
AT ITER 5624 NEW BEST:: SOT 1446480 SOS 590680 HAS SOPS 579058 HAS SOUS 185570 HAS SOUPS 184101 WITH SCORE 184691.68
AT ITER 5637 NEW BEST:: SOT 1446734 SOS 591249 HAS SOPS 579766 HAS SOUS 185542 HAS SOUPS 184073 WITH SCORE 184664.249
AT ITER 5669 NEW BEST:: SOT 1446856 SOS 591349 HAS SOPS 579866 HAS SOUS 185412 HAS SOUPS 183943 WITH SCORE 184534.349
AT ITER 5676 NEW BEST:: SOT 1446867 SOS 591342 HAS SOPS 579859 HAS SOUS 185310 HAS SOUPS 183841 WITH SCORE 184432.342
AT ITER 5684 NEW BEST:: SOT 1446882 SOS 591357 HAS SOPS 579874 HAS SOUS 185305 HAS SOUPS 183836 WITH SCORE 184427.357
AT ITER 5723 NEW BEST:: SOT 1446790 SOS 591265 HAS SOPS 579748 HAS SOUS 185155 HAS SOUPS 183686 WITH SCORE 184277.265
AT ITER 5728 NEW BEST:: SOT 1446694 SOS 591169 HAS SOPS 579652 HAS SOUS 185027 HAS SOUPS 183558 WITH SCORE 184149.169
AT ITER 5760 NEW BEST:: SOT 1446566 SOS 591041 HAS SOPS 579524 HAS SOUS 184662 HAS SOUPS 183193 WITH SCORE 183784.041
AT ITER 5769 NEW BEST:: SOT 1446558 SOS 591033 HAS SOPS 579516 HAS SOUS 184646 HAS SOUPS 183177 WITH SCORE 183768.033
AT ITER 5776 NEW BEST:: SOT 1446548 SOS 591023 HAS SOPS 579516 HAS SOUS 184626 HAS SOUPS 183157 WITH SCORE 183748.023
AT ITER 5777 NEW BEST:: SOT 1446568 SOS 591003 HAS SOPS 579496 HAS SOUS 184626 HAS SOUPS 183157 WITH SCORE 183748.003
AT ITER 5835 NEW BEST:: SOT 1446568 SOS 590990 HAS SOPS 579067 HAS SOUS 184639 HAS SOUPS 183118 WITH SCORE 183708.99
AT ITER 5841 NEW BEST:: SOT 1446309 SOS 590507 HAS SOPS 578584 HAS SOUS 184547 HAS SOUPS 183026 WITH SCORE 183616.507
AT ITER 5897 NEW BEST:: SOT 1446198 SOS 590285 HAS SOPS 578362 HAS SOUS 184388 HAS SOUPS 182867 WITH SCORE 183457.285
AT ITER 5970 NEW BEST:: SOT 1446108 SOS 590195 HAS SOPS 578272 HAS SOUS 184296 HAS SOUPS 182775 WITH SCORE 183365.195
AT ITER 5998 NEW BEST:: SOT 1445538 SOS 570161 HAS SOPS 558238 HAS SOUS 184186 HAS SOUPS 182665 WITH SCORE 183235.161
AT ITER 6038 NEW BEST:: SOT 1446748 SOS 571371 HAS SOPS 559448 HAS SOUS 183691 HAS SOUPS 182170 WITH SCORE 182741.371
AT ITER 6039 NEW BEST:: SOT 1446734 SOS 571356 HAS SOPS 559433 HAS SOUS 183663 HAS SOUPS 182142 WITH SCORE 182713.356
AT ITER 6061 NEW BEST:: SOT 1446638 SOS 571260 HAS SOPS 559337 HAS SOUS 183519 HAS SOUPS 181998 WITH SCORE 182569.26
AT ITER 6066 NEW BEST:: SOT 1446657 SOS 571279 HAS SOPS 559333 HAS SOUS 183478 HAS SOUPS 181952 WITH SCORE 182523.279
AT ITER 6136 NEW BEST:: SOT 1446668 SOS 571228 HAS SOPS 559282 HAS SOUS 183470 HAS SOUPS 181944 WITH SCORE 182515.228
AT ITER 6140 NEW BEST:: SOT 1443123 SOS 567497 HAS SOPS 555551 HAS SOUS 182739 HAS SOUPS 181213 WITH SCORE 181780.497
AT ITER 6149 NEW BEST:: SOT 1443078 SOS 567403 HAS SOPS 555457 HAS SOUS 182692 HAS SOUPS 181166 WITH SCORE 181733.403
AT ITER 6184 NEW BEST:: SOT 1443078 SOS 567403 HAS SOPS 555448 HAS SOUS 182683 HAS SOUPS 181157 WITH SCORE 181724.403
AT ITER 6194 NEW BEST:: SOT 1442960 SOS 567287 HAS SOPS 555332 HAS SOUS 182567 HAS SOUPS 181041 WITH SCORE 181608.287
AT ITER 6195 NEW BEST:: SOT 1442711 SOS 566477 HAS SOPS 554522 HAS SOUS 182322 HAS SOUPS 180796 WITH SCORE 181362.477
AT ITER 6228 NEW BEST:: SOT 1442711 SOS 566379 HAS SOPS 554424 HAS SOUS 182322 HAS SOUPS 180796 WITH SCORE 181362.379
AT ITER 6240 NEW BEST:: SOT 1442711 SOS 566379 HAS SOPS 554424 HAS SOUS 182305 HAS SOUPS 180779 WITH SCORE 181345.379
AT ITER 6280 NEW BEST:: SOT 1442537 SOS 566031 HAS SOPS 554076 HAS SOUS 181957 HAS SOUPS 180431 WITH SCORE 180997.031
AT ITER 6295 NEW BEST:: SOT 1442516 SOS 566003 HAS SOPS 553824 HAS SOUS 181936 HAS SOUPS 180382 WITH SCORE 180948.003
AT ITER 6311 NEW BEST:: SOT 1442458 SOS 566456 HAS SOPS 554277 HAS SOUS 181866 HAS SOUPS 180312 WITH SCORE 180878.456
AT ITER 6341 NEW BEST:: SOT 1442237 SOS 565999 HAS SOPS 553820 HAS SOUS 181527 HAS SOUPS 179973 WITH SCORE 180538.999
AT ITER 6360 NEW BEST:: SOT 1442171 SOS 565933 HAS SOPS 553754 HAS SOUS 181413 HAS SOUPS 179859 WITH SCORE 180424.933
AT ITER 6369 NEW BEST:: SOT 1442171 SOS 565887 HAS SOPS 553708 HAS SOUS 181413 HAS SOUPS 179859 WITH SCORE 180424.887
AT ITER 6382 NEW BEST:: SOT 1442076 SOS 565753 HAS SOPS 553574 HAS SOUS 181335 HAS SOUPS 179781 WITH SCORE 180346.753
AT ITER 6404 NEW BEST:: SOT 1442028 SOS 565480 HAS SOPS 553301 HAS SOUS 181167 HAS SOUPS 179613 WITH SCORE 180178.48
AT ITER 6468 NEW BEST:: SOT 1442020 SOS 565472 HAS SOPS 553293 HAS SOUS 181143 HAS SOUPS 179589 WITH SCORE 180154.472
AT ITER 6479 NEW BEST:: SOT 1441978 SOS 565388 HAS SOPS 553209 HAS SOUS 181059 HAS SOUPS 179505 WITH SCORE 180070.388
AT ITER 6491 NEW BEST:: SOT 1441978 SOS 565388 HAS SOPS 553209 HAS SOUS 181051 HAS SOUPS 179497 WITH SCORE 180062.388
AT ITER 6502 NEW BEST:: SOT 1441948 SOS 565358 HAS SOPS 553179 HAS SOUS 180991 HAS SOUPS 179437 WITH SCORE 180002.358
AT ITER 6506 NEW BEST:: SOT 1441948 SOS 565326 HAS SOPS 553115 HAS SOUS 180959 HAS SOUPS 179405 WITH SCORE 179970.326
AT ITER 6510 NEW BEST:: SOT 1441948 SOS 565258 HAS SOPS 553047 HAS SOUS 180959 HAS SOUPS 179405 WITH SCORE 179970.258
AT ITER 6539 NEW BEST:: SOT 1430792 SOS 554143 HAS SOPS 541932 HAS SOUS 178682 HAS SOUPS 177128 WITH SCORE 177682.143
AT ITER 6554 NEW BEST:: SOT 1430851 SOS 554202 HAS SOPS 541991 HAS SOUS 178659 HAS SOUPS 177105 WITH SCORE 177659.202
AT ITER 6591 NEW BEST:: SOT 1430851 SOS 554202 HAS SOPS 541977 HAS SOUS 178666 HAS SOUPS 177098 WITH SCORE 177652.202
AT ITER 6609 NEW BEST:: SOT 1430795 SOS 554146 HAS SOPS 541921 HAS SOUS 178601 HAS SOUPS 177033 WITH SCORE 177587.146
AT ITER 6636 NEW BEST:: SOT 1430795 SOS 554043 HAS SOPS 541818 HAS SOUS 178498 HAS SOUPS 176930 WITH SCORE 177484.043
AT ITER 6701 NEW BEST:: SOT 1430856 SOS 554380 HAS SOPS 542260 HAS SOUS 178236 HAS SOUPS 176668 WITH SCORE 177222.38
AT ITER 6712 NEW BEST:: SOT 1430736 SOS 554307 HAS SOPS 542187 HAS SOUS 178220 HAS SOUPS 176652 WITH SCORE 177206.307
AT ITER 6739 NEW BEST:: SOT 1430932 SOS 554291 HAS SOPS 541975 HAS SOUS 178151 HAS SOUPS 176577 WITH SCORE 177131.291
AT ITER 6754 NEW BEST:: SOT 1430975 SOS 554230 HAS SOPS 541914 HAS SOUS 178115 HAS SOUPS 176541 WITH SCORE 177095.23
AT ITER 6756 NEW BEST:: SOT 1430926 SOS 554150 HAS SOPS 541834 HAS SOUS 178021 HAS SOUPS 176447 WITH SCORE 177001.15
AT ITER 6763 NEW BEST:: SOT 1430648 SOS 553941 HAS SOPS 541625 HAS SOUS 177868 HAS SOUPS 176294 WITH SCORE 176847.941
AT ITER 6790 NEW BEST:: SOT 1430598 SOS 553923 HAS SOPS 541607 HAS SOUS 177859 HAS SOUPS 176285 WITH SCORE 176838.923
AT ITER 6820 NEW BEST:: SOT 1430481 SOS 553806 HAS SOPS 541490 HAS SOUS 177743 HAS SOUPS 176169 WITH SCORE 176722.806
AT ITER 6825 NEW BEST:: SOT 1430481 SOS 554256 HAS SOPS 541940 HAS SOUS 177733 HAS SOUPS 176159 WITH SCORE 176713.256
AT ITER 6838 NEW BEST:: SOT 1430446 SOS 554221 HAS SOPS 541905 HAS SOUS 177703 HAS SOUPS 176129 WITH SCORE 176683.221
AT ITER 6844 NEW BEST:: SOT 1430298 SOS 554021 HAS SOPS 541668 HAS SOUS 177481 HAS SOUPS 175907 WITH SCORE 176461.021
AT ITER 6845 NEW BEST:: SOT 1430234 SOS 553946 HAS SOPS 541593 HAS SOUS 177439 HAS SOUPS 175865 WITH SCORE 176418.946
AT ITER 6850 NEW BEST:: SOT 1430222 SOS 553934 HAS SOPS 541581 HAS SOUS 177415 HAS SOUPS 175841 WITH SCORE 176394.934
AT ITER 6872 NEW BEST:: SOT 1430776 SOS 554408 HAS SOPS 542135 HAS SOUS 177270 HAS SOUPS 175706 WITH SCORE 176260.408
AT ITER 6875 NEW BEST:: SOT 1430685 SOS 554282 HAS SOPS 542009 HAS SOUS 177185 HAS SOUPS 175621 WITH SCORE 176175.282
AT ITER 6885 NEW BEST:: SOT 1430647 SOS 554273 HAS SOPS 542000 HAS SOUS 177138 HAS SOUPS 175574 WITH SCORE 176128.273
AT ITER 6898 NEW BEST:: SOT 1430687 SOS 554034 HAS SOPS 541776 HAS SOUS 177129 HAS SOUPS 175565 WITH SCORE 176119.034
AT ITER 6905 NEW BEST:: SOT 1430684 SOS 554031 HAS SOPS 541773 HAS SOUS 177126 HAS SOUPS 175562 WITH SCORE 176116.031
AT ITER 6915 NEW BEST:: SOT 1430791 SOS 554138 HAS SOPS 541820 HAS SOUS 177011 HAS SOUPS 175447 WITH SCORE 176001.138
AT ITER 6957 NEW BEST:: SOT 1429541 SOS 552888 HAS SOPS 540570 HAS SOUS 176876 HAS SOUPS 175312 WITH SCORE 175864.888
AT ITER 6970 NEW BEST:: SOT 1429516 SOS 552878 HAS SOPS 540560 HAS SOUS 176873 HAS SOUPS 175309 WITH SCORE 175861.878
AT ITER 6978 NEW BEST:: SOT 1429516 SOS 552874 HAS SOPS 540556 HAS SOUS 176869 HAS SOUPS 175305 WITH SCORE 175857.874
AT ITER 6981 NEW BEST:: SOT 1429454 SOS 552812 HAS SOPS 540494 HAS SOUS 176807 HAS SOUPS 175243 WITH SCORE 175795.812
AT ITER 7009 NEW BEST:: SOT 1429352 SOS 552658 HAS SOPS 540340 HAS SOUS 176562 HAS SOUPS 174998 WITH SCORE 175550.658
AT ITER 7029 NEW BEST:: SOT 1429398 SOS 547109 HAS SOPS 534791 HAS SOUS 176535 HAS SOUPS 174971 WITH SCORE 175518.109
AT ITER 7082 NEW BEST:: SOT 1429338 SOS 546863 HAS SOPS 534616 HAS SOUS 176484 HAS SOUPS 174920 WITH SCORE 175466.863
AT ITER 7092 NEW BEST:: SOT 1429239 SOS 546740 HAS SOPS 534518 HAS SOUS 176467 HAS SOUPS 174903 WITH SCORE 175449.74
AT ITER 7106 NEW BEST:: SOT 1429216 SOS 546741 HAS SOPS 534495 HAS SOUS 176445 HAS SOUPS 174878 WITH SCORE 175424.741
AT ITER 7117 NEW BEST:: SOT 1429216 SOS 546741 HAS SOPS 534495 HAS SOUS 176439 HAS SOUPS 174872 WITH SCORE 175418.741
AT ITER 7137 NEW BEST:: SOT 1428994 SOS 546519 HAS SOPS 534273 HAS SOUS 176217 HAS SOUPS 174650 WITH SCORE 175196.519
AT ITER 7180 NEW BEST:: SOT 1429010 SOS 546371 HAS SOPS 534125 HAS SOUS 176190 HAS SOUPS 174623 WITH SCORE 175169.371
AT ITER 7221 NEW BEST:: SOT 1428714 SOS 546091 HAS SOPS 533845 HAS SOUS 175817 HAS SOUPS 174250 WITH SCORE 174796.091
AT ITER 7223 NEW BEST:: SOT 1428676 SOS 546567 HAS SOPS 534321 HAS SOUS 175732 HAS SOUPS 174165 WITH SCORE 174711.567
AT ITER 7234 NEW BEST:: SOT 1428611 SOS 546435 HAS SOPS 534215 HAS SOUS 175691 HAS SOUPS 174124 WITH SCORE 174670.435
AT ITER 7237 NEW BEST:: SOT 1428537 SOS 546361 HAS SOPS 534141 HAS SOUS 175506 HAS SOUPS 173939 WITH SCORE 174485.361
AT ITER 7246 NEW BEST:: SOT 1428546 SOS 546370 HAS SOPS 534150 HAS SOUS 175494 HAS SOUPS 173927 WITH SCORE 174473.37
AT ITER 7253 NEW BEST:: SOT 1428323 SOS 545997 HAS SOPS 533777 HAS SOUS 175399 HAS SOUPS 173832 WITH SCORE 174377.997
AT ITER 7255 NEW BEST:: SOT 1425664 SOS 543338 HAS SOPS 531118 HAS SOUS 174960 HAS SOUPS 173393 WITH SCORE 173936.338
AT ITER 7287 NEW BEST:: SOT 1425624 SOS 543294 HAS SOPS 531074 HAS SOUS 174880 HAS SOUPS 173313 WITH SCORE 173856.294
AT ITER 7288 NEW BEST:: SOT 1425661 SOS 544266 HAS SOPS 531678 HAS SOUS 174886 HAS SOUPS 173273 WITH SCORE 173817.266
AT ITER 7289 NEW BEST:: SOT 1425533 SOS 544138 HAS SOPS 531550 HAS SOUS 174790 HAS SOUPS 173177 WITH SCORE 173721.138
AT ITER 7314 NEW BEST:: SOT 1425533 SOS 544138 HAS SOPS 531550 HAS SOUS 174781 HAS SOUPS 173168 WITH SCORE 173712.138
AT ITER 7342 NEW BEST:: SOT 1425063 SOS 543636 HAS SOPS 531048 HAS SOUS 174506 HAS SOUPS 172893 WITH SCORE 173436.636
AT ITER 7348 NEW BEST:: SOT 1425156 SOS 543561 HAS SOPS 530911 HAS SOUS 174487 HAS SOUPS 172874 WITH SCORE 173417.561
AT ITER 7353 NEW BEST:: SOT 1425156 SOS 543055 HAS SOPS 530405 HAS SOUS 174417 HAS SOUPS 172804 WITH SCORE 173347.055
AT ITER 7394 NEW BEST:: SOT 1424727 SOS 542626 HAS SOPS 529976 HAS SOUS 173742 HAS SOUPS 172129 WITH SCORE 172671.626
AT ITER 7410 NEW BEST:: SOT 1424689 SOS 542679 HAS SOPS 529943 HAS SOUS 173699 HAS SOUPS 172086 WITH SCORE 172628.679
AT ITER 7432 NEW BEST:: SOT 1424586 SOS 542576 HAS SOPS 529840 HAS SOUS 173524 HAS SOUPS 171911 WITH SCORE 172453.576
AT ITER 7485 NEW BEST:: SOT 1424579 SOS 542532 HAS SOPS 529796 HAS SOUS 173473 HAS SOUPS 171860 WITH SCORE 172402.532
AT ITER 7488 NEW BEST:: SOT 1424588 SOS 542541 HAS SOPS 529826 HAS SOUS 173470 HAS SOUPS 171857 WITH SCORE 172399.541
AT ITER 7495 NEW BEST:: SOT 1424519 SOS 542472 HAS SOPS 529757 HAS SOUS 173350 HAS SOUPS 171737 WITH SCORE 172279.472
AT ITER 7496 NEW BEST:: SOT 1424480 SOS 542433 HAS SOPS 529718 HAS SOUS 173272 HAS SOUPS 171659 WITH SCORE 172201.433
AT ITER 7501 NEW BEST:: SOT 1424524 SOS 542435 HAS SOPS 529753 HAS SOUS 173248 HAS SOUPS 171635 WITH SCORE 172177.435
AT ITER 7524 NEW BEST:: SOT 1424269 SOS 542027 HAS SOPS 529345 HAS SOUS 172891 HAS SOUPS 171278 WITH SCORE 171820.027
AT ITER 7528 NEW BEST:: SOT 1424104 SOS 541862 HAS SOPS 529180 HAS SOUS 172616 HAS SOUPS 171003 WITH SCORE 171544.862
AT ITER 7532 NEW BEST:: SOT 1424104 SOS 541919 HAS SOPS 529214 HAS SOUS 172593 HAS SOUPS 170980 WITH SCORE 171521.919
AT ITER 7537 NEW BEST:: SOT 1424177 SOS 542383 HAS SOPS 529678 HAS SOUS 172587 HAS SOUPS 170974 WITH SCORE 171516.383
AT ITER 7538 NEW BEST:: SOT 1404072 SOS 523550 HAS SOPS 510845 HAS SOUS 170327 HAS SOUPS 168714 WITH SCORE 169237.55
AT ITER 7543 NEW BEST:: SOT 1404174 SOS 523685 HAS SOPS 510980 HAS SOUS 170318 HAS SOUPS 168705 WITH SCORE 169228.685
AT ITER 7559 NEW BEST:: SOT 1405310 SOS 524850 HAS SOPS 512145 HAS SOUS 169893 HAS SOUPS 168280 WITH SCORE 168804.85
AT ITER 7568 NEW BEST:: SOT 1405188 SOS 524606 HAS SOPS 511901 HAS SOUS 169649 HAS SOUPS 168036 WITH SCORE 168560.606
AT ITER 7570 NEW BEST:: SOT 1405226 SOS 524852 HAS SOPS 512147 HAS SOUS 169569 HAS SOUPS 167956 WITH SCORE 168480.852
AT ITER 7571 NEW BEST:: SOT 1405256 SOS 524872 HAS SOPS 512167 HAS SOUS 169439 HAS SOUPS 167826 WITH SCORE 168350.872
AT ITER 7572 NEW BEST:: SOT 1405272 SOS 524888 HAS SOPS 512183 HAS SOUS 169423 HAS SOUPS 167810 WITH SCORE 168334.888
AT ITER 7578 NEW BEST:: SOT 1405258 SOS 524874 HAS SOPS 512169 HAS SOUS 169382 HAS SOUPS 167769 WITH SCORE 168293.874
AT ITER 7626 NEW BEST:: SOT 1405258 SOS 524874 HAS SOPS 512169 HAS SOUS 169352 HAS SOUPS 167739 WITH SCORE 168263.874
AT ITER 7648 NEW BEST:: SOT 1405258 SOS 524874 HAS SOPS 512169 HAS SOUS 169346 HAS SOUPS 167733 WITH SCORE 168257.874
AT ITER 7671 NEW BEST:: SOT 1405148 SOS 524764 HAS SOPS 512059 HAS SOUS 169291 HAS SOUPS 167678 WITH SCORE 168202.764
AT ITER 7682 NEW BEST:: SOT 1404977 SOS 524593 HAS SOPS 511888 HAS SOUS 169063 HAS SOUPS 167450 WITH SCORE 167974.593
AT ITER 7735 NEW BEST:: SOT 1405027 SOS 524726 HAS SOPS 512021 HAS SOUS 169052 HAS SOUPS 167439 WITH SCORE 167963.726
AT ITER 7739 NEW BEST:: SOT 1405001 SOS 524357 HAS SOPS 511652 HAS SOUS 168977 HAS SOUPS 167364 WITH SCORE 167888.357
AT ITER 7765 NEW BEST:: SOT 1405001 SOS 524181 HAS SOPS 511476 HAS SOUS 168977 HAS SOUPS 167364 WITH SCORE 167888.181
AT ITER 7770 NEW BEST:: SOT 1404918 SOS 524021 HAS SOPS 511316 HAS SOUS 168811 HAS SOUPS 167198 WITH SCORE 167722.021
AT ITER 7785 NEW BEST:: SOT 1404908 SOS 524011 HAS SOPS 511306 HAS SOUS 168771 HAS SOUPS 167158 WITH SCORE 167682.011
AT ITER 7822 NEW BEST:: SOT 1404927 SOS 524030 HAS SOPS 511325 HAS SOUS 168733 HAS SOUPS 167120 WITH SCORE 167644.03
AT ITER 7839 NEW BEST:: SOT 1404871 SOS 523974 HAS SOPS 511269 HAS SOUS 168238 HAS SOUPS 166625 WITH SCORE 167148.974
AT ITER 7850 NEW BEST:: SOT 1404871 SOS 523974 HAS SOPS 511269 HAS SOUS 168235 HAS SOUPS 166622 WITH SCORE 167145.974
AT ITER 7853 NEW BEST:: SOT 1404775 SOS 523953 HAS SOPS 511262 HAS SOUS 168100 HAS SOUPS 166487 WITH SCORE 167010.953
AT ITER 7898 NEW BEST:: SOT 1404773 SOS 523951 HAS SOPS 511260 HAS SOUS 168096 HAS SOUPS 166483 WITH SCORE 167006.951
AT ITER 7906 NEW BEST:: SOT 1404535 SOS 523661 HAS SOPS 510970 HAS SOUS 167741 HAS SOUPS 166128 WITH SCORE 166651.661
AT ITER 7907 NEW BEST:: SOT 1404403 SOS 523472 HAS SOPS 510781 HAS SOUS 167552 HAS SOUPS 165939 WITH SCORE 166462.472
AT ITER 7908 NEW BEST:: SOT 1404391 SOS 523460 HAS SOPS 510769 HAS SOUS 167528 HAS SOUPS 165915 WITH SCORE 166438.46
AT ITER 7916 NEW BEST:: SOT 1404322 SOS 524199 HAS SOPS 511500 HAS SOUS 167459 HAS SOUPS 165846 WITH SCORE 166370.199
AT ITER 7936 NEW BEST:: SOT 1404188 SOS 524180 HAS SOPS 511481 HAS SOUS 167440 HAS SOUPS 165827 WITH SCORE 166351.18
AT ITER 7938 NEW BEST:: SOT 1403949 SOS 523941 HAS SOPS 511242 HAS SOUS 167164 HAS SOUPS 165551 WITH SCORE 166074.941
AT ITER 7947 NEW BEST:: SOT 1403866 SOS 523666 HAS SOPS 510967 HAS SOUS 167094 HAS SOUPS 165481 WITH SCORE 166004.666
AT ITER 7956 NEW BEST:: SOT 1403850 SOS 523646 HAS SOPS 510947 HAS SOUS 167070 HAS SOUPS 165457 WITH SCORE 165980.646
AT ITER 7983 NEW BEST:: SOT 1403834 SOS 523630 HAS SOPS 510903 HAS SOUS 166970 HAS SOUPS 165357 WITH SCORE 165880.63
AT ITER 8016 NEW BEST:: SOT 1403814 SOS 523886 HAS SOPS 511159 HAS SOUS 166802 HAS SOUPS 165189 WITH SCORE 165712.886
AT ITER 8025 NEW BEST:: SOT 1403799 SOS 523871 HAS SOPS 511144 HAS SOUS 166772 HAS SOUPS 165159 WITH SCORE 165682.871
AT ITER 8030 NEW BEST:: SOT 1403795 SOS 523867 HAS SOPS 511140 HAS SOUS 166768 HAS SOUPS 165155 WITH SCORE 165678.867
AT ITER 8050 NEW BEST:: SOT 1403682 SOS 523784 HAS SOPS 511057 HAS SOUS 166678 HAS SOUPS 165065 WITH SCORE 165588.784
AT ITER 8056 NEW BEST:: SOT 1403511 SOS 523613 HAS SOPS 510886 HAS SOUS 166515 HAS SOUPS 164902 WITH SCORE 165425.613
AT ITER 8078 NEW BEST:: SOT 1403406 SOS 523936 HAS SOPS 511224 HAS SOUS 166375 HAS SOUPS 164762 WITH SCORE 165285.936
AT ITER 8085 NEW BEST:: SOT 1403406 SOS 523936 HAS SOPS 511224 HAS SOUS 166318 HAS SOUPS 164705 WITH SCORE 165228.936
AT ITER 8101 NEW BEST:: SOT 1403364 SOS 523894 HAS SOPS 511182 HAS SOUS 166202 HAS SOUPS 164589 WITH SCORE 165112.894
AT ITER 8112 NEW BEST:: SOT 1403364 SOS 523840 HAS SOPS 511128 HAS SOUS 166202 HAS SOUPS 164589 WITH SCORE 165112.84
AT ITER 8121 NEW BEST:: SOT 1403358 SOS 523819 HAS SOPS 511107 HAS SOUS 166181 HAS SOUPS 164568 WITH SCORE 165091.819
AT ITER 8136 NEW BEST:: SOT 1403347 SOS 523862 HAS SOPS 511146 HAS SOUS 166180 HAS SOUPS 164567 WITH SCORE 165090.862
AT ITER 8148 NEW BEST:: SOT 1403227 SOS 524148 HAS SOPS 511432 HAS SOUS 165940 HAS SOUPS 164327 WITH SCORE 164851.148
AT ITER 8204 NEW BEST:: SOT 1403227 SOS 524148 HAS SOPS 511432 HAS SOUS 165927 HAS SOUPS 164314 WITH SCORE 164838.148
AT ITER 8230 NEW BEST:: SOT 1403215 SOS 524136 HAS SOPS 511420 HAS SOUS 165903 HAS SOUPS 164290 WITH SCORE 164814.136
AT ITER 8278 NEW BEST:: SOT 1403200 SOS 524121 HAS SOPS 511405 HAS SOUS 165892 HAS SOUPS 164279 WITH SCORE 164803.121
AT ITER 8357 NEW BEST:: SOT 1403165 SOS 524191 HAS SOPS 511475 HAS SOUS 165752 HAS SOUPS 164139 WITH SCORE 164663.191
AT ITER 8362 NEW BEST:: SOT 1403154 SOS 524194 HAS SOPS 511478 HAS SOUS 165751 HAS SOUPS 164138 WITH SCORE 164662.194
AT ITER 8393 NEW BEST:: SOT 1403139 SOS 524179 HAS SOPS 511463 HAS SOUS 165721 HAS SOUPS 164108 WITH SCORE 164632.179
AT ITER 8408 NEW BEST:: SOT 1403131 SOS 524136 HAS SOPS 511420 HAS SOUS 165696 HAS SOUPS 164083 WITH SCORE 164607.136
AT ITER 8442 NEW BEST:: SOT 1403247 SOS 524350 HAS SOPS 511634 HAS SOUS 165653 HAS SOUPS 164040 WITH SCORE 164564.35
AT ITER 8446 NEW BEST:: SOT 1403293 SOS 524396 HAS SOPS 511662 HAS SOUS 165617 HAS SOUPS 164004 WITH SCORE 164528.396
AT ITER 8448 NEW BEST:: SOT 1403237 SOS 524322 HAS SOPS 511541 HAS SOUS 165549 HAS SOUPS 163936 WITH SCORE 164460.322
AT ITER 8463 NEW BEST:: SOT 1403193 SOS 524285 HAS SOPS 511504 HAS SOUS 165509 HAS SOUPS 163896 WITH SCORE 164420.285
AT ITER 8477 NEW BEST:: SOT 1403228 SOS 524322 HAS SOPS 511541 HAS SOUS 165477 HAS SOUPS 163864 WITH SCORE 164388.322
AT ITER 8523 NEW BEST:: SOT 1403226 SOS 524335 HAS SOPS 511554 HAS SOUS 165476 HAS SOUPS 163863 WITH SCORE 164387.335
AT ITER 8526 NEW BEST:: SOT 1403167 SOS 524276 HAS SOPS 511495 HAS SOUS 165430 HAS SOUPS 163817 WITH SCORE 164341.276
AT ITER 8541 NEW BEST:: SOT 1403164 SOS 524273 HAS SOPS 511492 HAS SOUS 165424 HAS SOUPS 163811 WITH SCORE 164335.273
AT ITER 8624 NEW BEST:: SOT 1403117 SOS 524226 HAS SOPS 511445 HAS SOUS 165345 HAS SOUPS 163732 WITH SCORE 164256.226
AT ITER 8628 NEW BEST:: SOT 1403057 SOS 524166 HAS SOPS 511385 HAS SOUS 165299 HAS SOUPS 163686 WITH SCORE 164210.166
AT ITER 8636 NEW BEST:: SOT 1402999 SOS 524152 HAS SOPS 511371 HAS SOUS 165183 HAS SOUPS 163570 WITH SCORE 164094.152
AT ITER 8648 NEW BEST:: SOT 1402987 SOS 524128 HAS SOPS 511347 HAS SOUS 165159 HAS SOUPS 163546 WITH SCORE 164070.128
AT ITER 8655 NEW BEST:: SOT 1402966 SOS 524107 HAS SOPS 511326 HAS SOUS 165135 HAS SOUPS 163522 WITH SCORE 164046.107
AT ITER 8677 NEW BEST:: SOT 1402805 SOS 524003 HAS SOPS 511195 HAS SOUS 164844 HAS SOUPS 163231 WITH SCORE 163755.003
AT ITER 8706 NEW BEST:: SOT 1402851 SOS 524049 HAS SOPS 511231 HAS SOUS 164826 HAS SOUPS 163213 WITH SCORE 163737.049
AT ITER 8730 NEW BEST:: SOT 1403830 SOS 525028 HAS SOPS 512210 HAS SOUS 164225 HAS SOUPS 162612 WITH SCORE 163137.028
AT ITER 8736 NEW BEST:: SOT 1403614 SOS 524812 HAS SOPS 511994 HAS SOUS 163943 HAS SOUPS 162330 WITH SCORE 162854.812
AT ITER 8761 NEW BEST:: SOT 1403594 SOS 524772 HAS SOPS 511954 HAS SOUS 163903 HAS SOUPS 162290 WITH SCORE 162814.772
AT ITER 8778 NEW BEST:: SOT 1403400 SOS 524245 HAS SOPS 511427 HAS SOUS 163761 HAS SOUPS 162148 WITH SCORE 162672.245
AT ITER 8780 NEW BEST:: SOT 1403360 SOS 524195 HAS SOPS 511377 HAS SOUS 163721 HAS SOUPS 162108 WITH SCORE 162632.195
AT ITER 8785 NEW BEST:: SOT 1403280 SOS 524115 HAS SOPS 511297 HAS SOUS 163561 HAS SOUPS 161948 WITH SCORE 162472.115
AT ITER 8803 NEW BEST:: SOT 1403260 SOS 524196 HAS SOPS 511378 HAS SOUS 163522 HAS SOUPS 161909 WITH SCORE 162433.196
AT ITER 8817 NEW BEST:: SOT 1403260 SOS 524188 HAS SOPS 511370 HAS SOUS 163514 HAS SOUPS 161901 WITH SCORE 162425.188
AT ITER 8837 NEW BEST:: SOT 1403257 SOS 524167 HAS SOPS 509621 HAS SOUS 163532 HAS SOUPS 161703 WITH SCORE 162227.167
AT ITER 8851 NEW BEST:: SOT 1403257 SOS 524155 HAS SOPS 509609 HAS SOUS 163520 HAS SOUPS 161691 WITH SCORE 162215.155
AT ITER 8885 NEW BEST:: SOT 1403223 SOS 524124 HAS SOPS 509567 HAS SOUS 163462 HAS SOUPS 161633 WITH SCORE 162157.124
AT ITER 8895 NEW BEST:: SOT 1403146 SOS 524054 HAS SOPS 509490 HAS SOUS 163373 HAS SOUPS 161544 WITH SCORE 162068.054
AT ITER 8907 NEW BEST:: SOT 1403033 SOS 523941 HAS SOPS 509377 HAS SOUS 163190 HAS SOUPS 161361 WITH SCORE 161884.941
AT ITER 8969 NEW BEST:: SOT 1403274 SOS 524243 HAS SOPS 509679 HAS SOUS 163130 HAS SOUPS 161301 WITH SCORE 161825.243
AT ITER 9008 NEW BEST:: SOT 1403136 SOS 524158 HAS SOPS 509740 HAS SOUS 163130 HAS SOUPS 161301 WITH SCORE 161825.158
AT ITER 9028 NEW BEST:: SOT 1403167 SOS 524189 HAS SOPS 509714 HAS SOUS 163014 HAS SOUPS 161184 WITH SCORE 161708.189
AT ITER 9044 NEW BEST:: SOT 1403129 SOS 524134 HAS SOPS 509659 HAS SOUS 162989 HAS SOUPS 161159 WITH SCORE 161683.134
AT ITER 9088 NEW BEST:: SOT 1403128 SOS 524165 HAS SOPS 509690 HAS SOUS 162987 HAS SOUPS 161157 WITH SCORE 161681.165
AT ITER 9108 NEW BEST:: SOT 1403051 SOS 524049 HAS SOPS 509597 HAS SOUS 162972 HAS SOUPS 161142 WITH SCORE 161666.049
AT ITER 9112 NEW BEST:: SOT 1403039 SOS 524063 HAS SOPS 509611 HAS SOUS 162856 HAS SOUPS 161026 WITH SCORE 161550.063
AT ITER 9130 NEW BEST:: SOT 1402740 SOS 523378 HAS SOPS 508926 HAS SOUS 162467 HAS SOUPS 160637 WITH SCORE 161160.378
AT ITER 9143 NEW BEST:: SOT 1402596 SOS 523137 HAS SOPS 508685 HAS SOUS 162252 HAS SOUPS 160422 WITH SCORE 160945.137
AT ITER 9176 NEW BEST:: SOT 1402422 SOS 522761 HAS SOPS 508309 HAS SOUS 162080 HAS SOUPS 160250 WITH SCORE 160772.761
AT ITER 9205 NEW BEST:: SOT 1402415 SOS 522747 HAS SOPS 508295 HAS SOUS 162066 HAS SOUPS 160236 WITH SCORE 160758.747
AT ITER 9212 NEW BEST:: SOT 1402367 SOS 522699 HAS SOPS 508247 HAS SOUS 162045 HAS SOUPS 160215 WITH SCORE 160737.699
AT ITER 9227 NEW BEST:: SOT 1402392 SOS 522724 HAS SOPS 508272 HAS SOUS 162033 HAS SOUPS 160203 WITH SCORE 160725.724
AT ITER 9231 NEW BEST:: SOT 1402370 SOS 522702 HAS SOPS 508250 HAS SOUS 162010 HAS SOUPS 160180 WITH SCORE 160702.702
AT ITER 9250 NEW BEST:: SOT 1402362 SOS 522694 HAS SOPS 508242 HAS SOUS 162002 HAS SOUPS 160172 WITH SCORE 160694.694
AT ITER 9253 NEW BEST:: SOT 1402320 SOS 522589 HAS SOPS 508137 HAS SOUS 161918 HAS SOUPS 160088 WITH SCORE 160610.589
AT ITER 9259 NEW BEST:: SOT 1402091 SOS 522209 HAS SOPS 507757 HAS SOUS 161616 HAS SOUPS 159786 WITH SCORE 160308.209
AT ITER 9264 NEW BEST:: SOT 1401925 SOS 521961 HAS SOPS 507509 HAS SOUS 161394 HAS SOUPS 159564 WITH SCORE 160085.961
AT ITER 9301 NEW BEST:: SOT 1401925 SOS 521961 HAS SOPS 507506 HAS SOUS 161382 HAS SOUPS 159552 WITH SCORE 160073.961
AT ITER 9319 NEW BEST:: SOT 1401891 SOS 521893 HAS SOPS 507438 HAS SOUS 161314 HAS SOUPS 159484 WITH SCORE 160005.893
AT ITER 9340 NEW BEST:: SOT 1401891 SOS 521893 HAS SOPS 507438 HAS SOUS 161311 HAS SOUPS 159481 WITH SCORE 160002.893
AT ITER 9345 NEW BEST:: SOT 1401838 SOS 521817 HAS SOPS 507362 HAS SOUS 161256 HAS SOUPS 159426 WITH SCORE 159947.817
AT ITER 9347 NEW BEST:: SOT 1401832 SOS 521817 HAS SOPS 507362 HAS SOUS 161226 HAS SOUPS 159396 WITH SCORE 159917.817
AT ITER 9359 NEW BEST:: SOT 1401831 SOS 521816 HAS SOPS 507360 HAS SOUS 161223 HAS SOUPS 159393 WITH SCORE 159914.816
AT ITER 9390 NEW BEST:: SOT 1401831 SOS 521801 HAS SOPS 507345 HAS SOUS 161223 HAS SOUPS 159393 WITH SCORE 159914.801
AT ITER 9400 NEW BEST:: SOT 1401695 SOS 521665 HAS SOPS 507209 HAS SOUS 161078 HAS SOUPS 159248 WITH SCORE 159769.665
AT ITER 9483 NEW BEST:: SOT 1401683 SOS 521647 HAS SOPS 507191 HAS SOUS 161060 HAS SOUPS 159230 WITH SCORE 159751.647
AT ITER 9494 NEW BEST:: SOT 1401679 SOS 521639 HAS SOPS 507183 HAS SOUS 161047 HAS SOUPS 159217 WITH SCORE 159738.639
AT ITER 9502 NEW BEST:: SOT 1401679 SOS 521630 HAS SOPS 507174 HAS SOUS 161038 HAS SOUPS 159208 WITH SCORE 159729.63
AT ITER 9581 NEW BEST:: SOT 1401768 SOS 522135 HAS SOPS 507679 HAS SOUS 161004 HAS SOUPS 159174 WITH SCORE 159696.135
AT ITER 9584 NEW BEST:: SOT 1401819 SOS 523210 HAS SOPS 508754 HAS SOUS 160764 HAS SOUPS 158934 WITH SCORE 159457.21
AT ITER 9633 NEW BEST:: SOT 1401696 SOS 523087 HAS SOPS 508631 HAS SOUS 160559 HAS SOUPS 158729 WITH SCORE 159252.087
AT ITER 9638 NEW BEST:: SOT 1401521 SOS 522696 HAS SOPS 508240 HAS SOUS 160209 HAS SOUPS 158379 WITH SCORE 158901.696
AT ITER 9640 NEW BEST:: SOT 1401521 SOS 522684 HAS SOPS 508228 HAS SOUS 160196 HAS SOUPS 158366 WITH SCORE 158888.684
AT ITER 9652 NEW BEST:: SOT 1401375 SOS 522462 HAS SOPS 508006 HAS SOUS 160018 HAS SOUPS 158188 WITH SCORE 158710.462
AT ITER 9664 NEW BEST:: SOT 1401245 SOS 522332 HAS SOPS 507876 HAS SOUS 159888 HAS SOUPS 158058 WITH SCORE 158580.332
AT ITER 9703 NEW BEST:: SOT 1401245 SOS 522332 HAS SOPS 507876 HAS SOUS 159885 HAS SOUPS 158055 WITH SCORE 158577.332
AT ITER 9740 NEW BEST:: SOT 1401277 SOS 522364 HAS SOPS 507908 HAS SOUS 159870 HAS SOUPS 158040 WITH SCORE 158562.364
AT ITER 9742 NEW BEST:: SOT 1401147 SOS 522287 HAS SOPS 507831 HAS SOUS 159746 HAS SOUPS 157916 WITH SCORE 158438.287
AT ITER 9778 NEW BEST:: SOT 1401071 SOS 522101 HAS SOPS 507645 HAS SOUS 159736 HAS SOUPS 157906 WITH SCORE 158428.101
AT ITER 9783 NEW BEST:: SOT 1400937 SOS 522170 HAS SOPS 507714 HAS SOUS 159701 HAS SOUPS 157871 WITH SCORE 158393.17
AT ITER 9785 NEW BEST:: SOT 1400924 SOS 522145 HAS SOPS 507689 HAS SOUS 159675 HAS SOUPS 157845 WITH SCORE 158367.145
AT ITER 9793 NEW BEST:: SOT 1400909 SOS 522130 HAS SOPS 507674 HAS SOUS 159663 HAS SOUPS 157833 WITH SCORE 158355.13
AT ITER 9820 NEW BEST:: SOT 1400900 SOS 522121 HAS SOPS 507665 HAS SOUS 159648 HAS SOUPS 157818 WITH SCORE 158340.121
AT ITER 9843 NEW BEST:: SOT 1400887 SOS 522134 HAS SOPS 507678 HAS SOUS 159622 HAS SOUPS 157792 WITH SCORE 158314.134
AT ITER 9847 NEW BEST:: SOT 1400880 SOS 522127 HAS SOPS 507671 HAS SOUS 159587 HAS SOUPS 157757 WITH SCORE 158279.127
AT ITER 9848 NEW BEST:: SOT 1400839 SOS 522044 HAS SOPS 507588 HAS SOUS 159421 HAS SOUPS 157591 WITH SCORE 158113.044
AT ITER 9902 NEW BEST:: SOT 1400120 SOS 521409 HAS SOPS 506953 HAS SOUS 159275 HAS SOUPS 157445 WITH SCORE 157966.409
AT ITER 9924 NEW BEST:: SOT 1400042 SOS 521331 HAS SOPS 506875 HAS SOUS 159221 HAS SOUPS 157391 WITH SCORE 157912.331
AT ITER 9938 NEW BEST:: SOT 1400042 SOS 520707 HAS SOPS 506251 HAS SOUS 159217 HAS SOUPS 157387 WITH SCORE 157907.707
AT ITER 9939 NEW BEST:: SOT 1399858 SOS 520523 HAS SOPS 506067 HAS SOUS 158895 HAS SOUPS 157065 WITH SCORE 157585.523
AT ITER 9959 NEW BEST:: SOT 1399834 SOS 520445 HAS SOPS 505989 HAS SOUS 158672 HAS SOUPS 156842 WITH SCORE 157362.445
AT ITER 9967 NEW BEST:: SOT 1399727 SOS 520338 HAS SOPS 505882 HAS SOUS 158477 HAS SOUPS 156647 WITH SCORE 157167.338
AT ITER 9996 NEW BEST:: SOT 1399270 SOS 519829 HAS SOPS 505373 HAS SOUS 158216 HAS SOUPS 156386 WITH SCORE 156905.829
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11607768 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16145232 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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