Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 24K Feb 26 13:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 141K Feb 26 13:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 47K Feb 26 13:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 238K Feb 26 13:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 40K Feb 26 14:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 196K Feb 26 14:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 262K Feb 26 14:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.2M Feb 26 14:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.8K 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 11M 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 1679518325913

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

Filename model.pnml
Petri model created: 632 places, 10500 transitions, 88770 arcs.
AT ITER 0 NEW BEST:: SOT 2927118 SOS 2633652 HAS SOPS 2627939 HAS SOUS 452257 HAS SOUPS 451461 WITH SCORE 454094.652
AT ITER 1 NEW BEST:: SOT 2927492 SOS 2633892 HAS SOPS 2628179 HAS SOUS 451523 HAS SOUPS 450727 WITH SCORE 453360.892
AT ITER 12 NEW BEST:: SOT 2927492 SOS 2633740 HAS SOPS 2628027 HAS SOUS 447566 HAS SOUPS 446770 WITH SCORE 449403.74
AT ITER 24 NEW BEST:: SOT 2926956 SOS 2635239 HAS SOPS 2629526 HAS SOUS 446916 HAS SOUPS 446120 WITH SCORE 448755.239
AT ITER 25 NEW BEST:: SOT 2926956 SOS 2635582 HAS SOPS 2629869 HAS SOUS 446290 HAS SOUPS 445494 WITH SCORE 448129.582
AT ITER 28 NEW BEST:: SOT 2926946 SOS 2635577 HAS SOPS 2629864 HAS SOUS 446281 HAS SOUPS 445485 WITH SCORE 448120.577
AT ITER 31 NEW BEST:: SOT 2926475 SOS 2634984 HAS SOPS 2629271 HAS SOUS 445833 HAS SOUPS 445037 WITH SCORE 447671.984
AT ITER 39 NEW BEST:: SOT 2926285 SOS 2634794 HAS SOPS 2629179 HAS SOUS 445710 HAS SOUPS 444914 WITH SCORE 447548.794
AT ITER 40 NEW BEST:: SOT 2926227 SOS 2634649 HAS SOPS 2629034 HAS SOUS 445652 HAS SOUPS 444856 WITH SCORE 447490.649
AT ITER 41 NEW BEST:: SOT 2926027 SOS 2634661 HAS SOPS 2629002 HAS SOUS 445657 HAS SOUPS 444820 WITH SCORE 447454.661
AT ITER 42 NEW BEST:: SOT 2925258 SOS 2635890 HAS SOPS 2630231 HAS SOUS 445240 HAS SOUPS 444403 WITH SCORE 447038.89
AT ITER 46 NEW BEST:: SOT 2925620 SOS 2636224 HAS SOPS 2630565 HAS SOUS 444126 HAS SOUPS 443289 WITH SCORE 445925.224
AT ITER 50 NEW BEST:: SOT 2925324 SOS 2636036 HAS SOPS 2630377 HAS SOUS 443937 HAS SOUPS 443100 WITH SCORE 445736.036
AT ITER 55 NEW BEST:: SOT 2925143 SOS 2635855 HAS SOPS 2630196 HAS SOUS 443778 HAS SOUPS 442941 WITH SCORE 445576.855
AT ITER 57 NEW BEST:: SOT 2925121 SOS 2635833 HAS SOPS 2630174 HAS SOUS 443756 HAS SOUPS 442919 WITH SCORE 445554.833
AT ITER 69 NEW BEST:: SOT 2925112 SOS 2635806 HAS SOPS 2630147 HAS SOUS 443729 HAS SOUPS 442892 WITH SCORE 445527.806
AT ITER 72 NEW BEST:: SOT 2924445 SOS 2634971 HAS SOPS 2629312 HAS SOUS 443605 HAS SOUPS 442768 WITH SCORE 445402.971
AT ITER 76 NEW BEST:: SOT 2924411 SOS 2634937 HAS SOPS 2629244 HAS SOUS 443537 HAS SOUPS 442700 WITH SCORE 445334.937
AT ITER 77 NEW BEST:: SOT 2924334 SOS 2634860 HAS SOPS 2629167 HAS SOUS 443437 HAS SOUPS 442600 WITH SCORE 445234.86
AT ITER 79 NEW BEST:: SOT 2924312 SOS 2634816 HAS SOPS 2629123 HAS SOUS 443393 HAS SOUPS 442556 WITH SCORE 445190.816
AT ITER 85 NEW BEST:: SOT 2922996 SOS 2634640 HAS SOPS 2627807 HAS SOUS 442257 HAS SOUPS 441230 WITH SCORE 443864.64
AT ITER 87 NEW BEST:: SOT 2922590 SOS 2634143 HAS SOPS 2627310 HAS SOUS 441886 HAS SOUPS 440859 WITH SCORE 443493.143
AT ITER 94 NEW BEST:: SOT 2919378 SOS 2631046 HAS SOPS 2624098 HAS SOUS 438681 HAS SOUPS 437539 WITH SCORE 440170.046
AT ITER 96 NEW BEST:: SOT 2919322 SOS 2630877 HAS SOPS 2624033 HAS SOUS 438388 HAS SOUPS 437249 WITH SCORE 439879.877
AT ITER 97 NEW BEST:: SOT 2916564 SOS 2628189 HAS SOPS 2621345 HAS SOUS 438031 HAS SOUPS 436892 WITH SCORE 439520.189
AT ITER 104 NEW BEST:: SOT 2916511 SOS 2628120 HAS SOPS 2621303 HAS SOUS 437972 HAS SOUPS 436833 WITH SCORE 439461.12
AT ITER 109 NEW BEST:: SOT 2916248 SOS 2627887 HAS SOPS 2621070 HAS SOUS 437899 HAS SOUPS 436760 WITH SCORE 439387.887
AT ITER 110 NEW BEST:: SOT 2916456 SOS 2628453 HAS SOPS 2621636 HAS SOUS 437073 HAS SOUPS 435934 WITH SCORE 438562.453
AT ITER 111 NEW BEST:: SOT 2916456 SOS 2628369 HAS SOPS 2621552 HAS SOUS 436989 HAS SOUPS 435850 WITH SCORE 438478.369
AT ITER 114 NEW BEST:: SOT 2916426 SOS 2628309 HAS SOPS 2621492 HAS SOUS 436839 HAS SOUPS 435700 WITH SCORE 438328.309
AT ITER 116 NEW BEST:: SOT 2916503 SOS 2628771 HAS SOPS 2622163 HAS SOUS 436719 HAS SOUPS 435580 WITH SCORE 438208.771
AT ITER 120 NEW BEST:: SOT 2916503 SOS 2627707 HAS SOPS 2621099 HAS SOUS 436690 HAS SOUPS 435551 WITH SCORE 438178.707
AT ITER 124 NEW BEST:: SOT 2916502 SOS 2627705 HAS SOPS 2621097 HAS SOUS 436688 HAS SOUPS 435549 WITH SCORE 438176.705
AT ITER 127 NEW BEST:: SOT 2916481 SOS 2627650 HAS SOPS 2621042 HAS SOUS 436633 HAS SOUPS 435494 WITH SCORE 438121.65
AT ITER 128 NEW BEST:: SOT 2916544 SOS 2627708 HAS SOPS 2621100 HAS SOUS 429765 HAS SOUPS 428626 WITH SCORE 431253.708
AT ITER 142 NEW BEST:: SOT 2916390 SOS 2627607 HAS SOPS 2620999 HAS SOUS 429723 HAS SOUPS 428584 WITH SCORE 431211.607
AT ITER 147 NEW BEST:: SOT 2916222 SOS 2627344 HAS SOPS 2620736 HAS SOUS 429439 HAS SOUPS 428300 WITH SCORE 430927.344
AT ITER 148 NEW BEST:: SOT 2916722 SOS 2627833 HAS SOPS 2621225 HAS SOUS 428308 HAS SOUPS 427169 WITH SCORE 429796.833
AT ITER 158 NEW BEST:: SOT 2916690 SOS 2627931 HAS SOPS 2621323 HAS SOUS 428298 HAS SOUPS 427159 WITH SCORE 429786.931
AT ITER 168 NEW BEST:: SOT 2916647 SOS 2627845 HAS SOPS 2621237 HAS SOUS 428074 HAS SOUPS 426935 WITH SCORE 429562.845
AT ITER 171 NEW BEST:: SOT 2917101 SOS 2628770 HAS SOPS 2622162 HAS SOUS 412906 HAS SOUPS 411767 WITH SCORE 414395.77
AT ITER 178 NEW BEST:: SOT 2988448 SOS 2700746 HAS SOPS 2694412 HAS SOUS 409932 HAS SOUPS 408793 WITH SCORE 411493.746
AT ITER 185 NEW BEST:: SOT 2988428 SOS 2700766 HAS SOPS 2694432 HAS SOUS 409912 HAS SOUPS 408773 WITH SCORE 411473.766
AT ITER 201 NEW BEST:: SOT 2988311 SOS 2699731 HAS SOPS 2693395 HAS SOUS 409650 HAS SOUPS 408511 WITH SCORE 411210.731
AT ITER 210 NEW BEST:: SOT 2978568 SOS 2690161 HAS SOPS 2683825 HAS SOUS 409637 HAS SOUPS 408498 WITH SCORE 411188.161
AT ITER 218 NEW BEST:: SOT 2978280 SOS 2689776 HAS SOPS 2683440 HAS SOUS 409432 HAS SOUPS 408293 WITH SCORE 410982.776
AT ITER 233 NEW BEST:: SOT 2978279 SOS 2689780 HAS SOPS 2683444 HAS SOUS 409417 HAS SOUPS 408278 WITH SCORE 410967.78
AT ITER 245 NEW BEST:: SOT 2978279 SOS 2689429 HAS SOPS 2683093 HAS SOUS 409147 HAS SOUPS 408008 WITH SCORE 410697.429
AT ITER 249 NEW BEST:: SOT 2978231 SOS 2689301 HAS SOPS 2682965 HAS SOUS 409091 HAS SOUPS 407952 WITH SCORE 410641.301
AT ITER 256 NEW BEST:: SOT 2978095 SOS 2689165 HAS SOPS 2682829 HAS SOUS 408955 HAS SOUPS 407816 WITH SCORE 410505.165
AT ITER 265 NEW BEST:: SOT 2978172 SOS 2689224 HAS SOPS 2682888 HAS SOUS 403707 HAS SOUPS 402568 WITH SCORE 405257.224
AT ITER 269 NEW BEST:: SOT 2977542 SOS 2688468 HAS SOPS 2682132 HAS SOUS 402951 HAS SOUPS 401812 WITH SCORE 404500.468
AT ITER 273 NEW BEST:: SOT 2977500 SOS 2688378 HAS SOPS 2682042 HAS SOUS 402861 HAS SOUPS 401722 WITH SCORE 404410.378
AT ITER 279 NEW BEST:: SOT 3034607 SOS 2745505 HAS SOPS 2739169 HAS SOUS 397335 HAS SOUPS 396196 WITH SCORE 398941.505
AT ITER 287 NEW BEST:: SOT 3035070 SOS 2746248 HAS SOPS 2739912 HAS SOUS 387749 HAS SOUPS 386610 WITH SCORE 389356.248
AT ITER 291 NEW BEST:: SOT 3034788 SOS 2746061 HAS SOPS 2739847 HAS SOUS 387508 HAS SOUPS 386369 WITH SCORE 389115.061
AT ITER 294 NEW BEST:: SOT 3034774 SOS 2746033 HAS SOPS 2739819 HAS SOUS 387234 HAS SOUPS 386095 WITH SCORE 388841.033
AT ITER 308 NEW BEST:: SOT 3166406 SOS 2878332 HAS SOPS 2872118 HAS SOUS 386634 HAS SOUPS 385495 WITH SCORE 388373.332
AT ITER 316 NEW BEST:: SOT 3166125 SOS 2878102 HAS SOPS 2871977 HAS SOUS 386258 HAS SOUPS 385119 WITH SCORE 387997.102
AT ITER 318 NEW BEST:: SOT 3165889 SOS 2877866 HAS SOPS 2871833 HAS SOUS 385967 HAS SOUPS 384828 WITH SCORE 387705.866
AT ITER 320 NEW BEST:: SOT 3172925 SOS 2886791 HAS SOPS 2880758 HAS SOUS 385651 HAS SOUPS 384512 WITH SCORE 387398.791
AT ITER 337 NEW BEST:: SOT 3172784 SOS 2886697 HAS SOPS 2880785 HAS SOUS 385573 HAS SOUPS 384445 WITH SCORE 387331.697
AT ITER 341 NEW BEST:: SOT 3172746 SOS 2886659 HAS SOPS 2880747 HAS SOUS 385516 HAS SOUPS 384388 WITH SCORE 387274.659
AT ITER 346 NEW BEST:: SOT 3172754 SOS 2886611 HAS SOPS 2880671 HAS SOUS 385509 HAS SOUPS 384381 WITH SCORE 387267.611
AT ITER 349 NEW BEST:: SOT 3169322 SOS 2884531 HAS SOPS 2877241 HAS SOUS 385162 HAS SOUPS 383809 WITH SCORE 386693.531
AT ITER 352 NEW BEST:: SOT 3169257 SOS 2884545 HAS SOPS 2877255 HAS SOUS 384402 HAS SOUPS 383049 WITH SCORE 385933.545
AT ITER 356 NEW BEST:: SOT 3169029 SOS 2884405 HAS SOPS 2877184 HAS SOUS 384112 HAS SOUPS 382759 WITH SCORE 385643.405
AT ITER 357 NEW BEST:: SOT 3168993 SOS 2884369 HAS SOPS 2877148 HAS SOUS 384052 HAS SOUPS 382699 WITH SCORE 385583.369
AT ITER 368 NEW BEST:: SOT 3169009 SOS 2884229 HAS SOPS 2877008 HAS SOUS 383912 HAS SOUPS 382559 WITH SCORE 385443.229
AT ITER 375 NEW BEST:: SOT 3169045 SOS 2884265 HAS SOPS 2877044 HAS SOUS 383848 HAS SOUPS 382495 WITH SCORE 385379.265
AT ITER 379 NEW BEST:: SOT 3168958 SOS 2884160 HAS SOPS 2876998 HAS SOUS 383775 HAS SOUPS 382422 WITH SCORE 385306.16
AT ITER 382 NEW BEST:: SOT 3168964 SOS 2884177 HAS SOPS 2877015 HAS SOUS 383745 HAS SOUPS 382392 WITH SCORE 385276.177
AT ITER 384 NEW BEST:: SOT 3168914 SOS 2884125 HAS SOPS 2877011 HAS SOUS 383739 HAS SOUPS 382386 WITH SCORE 385270.125
AT ITER 386 NEW BEST:: SOT 3168584 SOS 2883813 HAS SOPS 2876699 HAS SOUS 383427 HAS SOUPS 382074 WITH SCORE 384957.813
AT ITER 389 NEW BEST:: SOT 3168584 SOS 2882648 HAS SOPS 2875534 HAS SOUS 383011 HAS SOUPS 381658 WITH SCORE 384540.648
AT ITER 392 NEW BEST:: SOT 3168554 SOS 2882817 HAS SOPS 2875703 HAS SOUS 382951 HAS SOUPS 381598 WITH SCORE 384480.817
AT ITER 396 NEW BEST:: SOT 3168374 SOS 2882883 HAS SOPS 2875769 HAS SOUS 382807 HAS SOUPS 381454 WITH SCORE 384336.883
AT ITER 397 NEW BEST:: SOT 3168309 SOS 2882698 HAS SOPS 2875584 HAS SOUS 382622 HAS SOUPS 381269 WITH SCORE 384151.698
AT ITER 403 NEW BEST:: SOT 3167959 SOS 2882348 HAS SOPS 2875234 HAS SOUS 382272 HAS SOUPS 380919 WITH SCORE 383801.348
AT ITER 405 NEW BEST:: SOT 3167939 SOS 2882328 HAS SOPS 2875214 HAS SOUS 382264 HAS SOUPS 380911 WITH SCORE 383793.328
AT ITER 413 NEW BEST:: SOT 3168030 SOS 2882503 HAS SOPS 2875389 HAS SOUS 380815 HAS SOUPS 379462 WITH SCORE 382344.503
AT ITER 422 NEW BEST:: SOT 3168025 SOS 2882498 HAS SOPS 2875384 HAS SOUS 380815 HAS SOUPS 379462 WITH SCORE 382344.498
AT ITER 437 NEW BEST:: SOT 3168070 SOS 2882676 HAS SOPS 2875562 HAS SOUS 380603 HAS SOUPS 379250 WITH SCORE 382132.676
AT ITER 440 NEW BEST:: SOT 3168032 SOS 2882600 HAS SOPS 2875486 HAS SOUS 380187 HAS SOUPS 378834 WITH SCORE 381716.6
AT ITER 459 NEW BEST:: SOT 3288527 SOS 3003100 HAS SOPS 2996045 HAS SOUS 375556 HAS SOUPS 374203 WITH SCORE 377206.1
AT ITER 461 NEW BEST:: SOT 3288226 SOS 3002920 HAS SOPS 2995865 HAS SOUS 375358 HAS SOUPS 374005 WITH SCORE 377007.92
AT ITER 462 NEW BEST:: SOT 3287718 SOS 3002540 HAS SOPS 2995485 HAS SOUS 374482 HAS SOUPS 373129 WITH SCORE 376131.54
AT ITER 466 NEW BEST:: SOT 3287718 SOS 3002540 HAS SOPS 2995485 HAS SOUS 374446 HAS SOUPS 373093 WITH SCORE 376095.54
AT ITER 477 NEW BEST:: SOT 3287267 SOS 3001754 HAS SOPS 2994699 HAS SOUS 373726 HAS SOUPS 372373 WITH SCORE 375374.754
AT ITER 484 NEW BEST:: SOT 3286943 SOS 3001481 HAS SOPS 2994426 HAS SOUS 373394 HAS SOUPS 372041 WITH SCORE 375042.481
AT ITER 485 NEW BEST:: SOT 3287211 SOS 3001731 HAS SOPS 2994676 HAS SOUS 366428 HAS SOUPS 365075 WITH SCORE 368076.731
AT ITER 493 NEW BEST:: SOT 3287206 SOS 3001726 HAS SOPS 2994671 HAS SOUS 366413 HAS SOUPS 365060 WITH SCORE 368061.726
AT ITER 494 NEW BEST:: SOT 3287170 SOS 3001326 HAS SOPS 2994271 HAS SOUS 366228 HAS SOUPS 364875 WITH SCORE 367876.326
AT ITER 495 NEW BEST:: SOT 3287170 SOS 3001231 HAS SOPS 2994176 HAS SOUS 366073 HAS SOUPS 364720 WITH SCORE 367721.231
AT ITER 503 NEW BEST:: SOT 3287170 SOS 3001279 HAS SOPS 2994224 HAS SOUS 366041 HAS SOUPS 364688 WITH SCORE 367689.279
AT ITER 506 NEW BEST:: SOT 3287142 SOS 3001251 HAS SOPS 2994232 HAS SOUS 366004 HAS SOUPS 364651 WITH SCORE 367652.251
AT ITER 509 NEW BEST:: SOT 3286991 SOS 3001064 HAS SOPS 2994133 HAS SOUS 365881 HAS SOUPS 364528 WITH SCORE 367529.064
AT ITER 513 NEW BEST:: SOT 3286500 SOS 3000947 HAS SOPS 2994016 HAS SOUS 357662 HAS SOUPS 356309 WITH SCORE 359309.947
AT ITER 517 NEW BEST:: SOT 3351894 SOS 3066976 HAS SOPS 3060045 HAS SOUS 355853 HAS SOUPS 354500 WITH SCORE 357566.976
AT ITER 520 NEW BEST:: SOT 3351852 SOS 3066925 HAS SOPS 3059994 HAS SOUS 355780 HAS SOUPS 354427 WITH SCORE 357493.925
AT ITER 527 NEW BEST:: SOT 3351293 SOS 3066536 HAS SOPS 3059605 HAS SOUS 355265 HAS SOUPS 353912 WITH SCORE 356978.536
AT ITER 531 NEW BEST:: SOT 3351205 SOS 3066448 HAS SOPS 3059517 HAS SOUS 355183 HAS SOUPS 353830 WITH SCORE 356896.448
AT ITER 541 NEW BEST:: SOT 3351205 SOS 3067578 HAS SOPS 3060647 HAS SOUS 354781 HAS SOUPS 353428 WITH SCORE 356495.578
AT ITER 543 NEW BEST:: SOT 3351203 SOS 3067104 HAS SOPS 3060173 HAS SOUS 349826 HAS SOUPS 348473 WITH SCORE 351540.104
AT ITER 568 NEW BEST:: SOT 3351493 SOS 3069067 HAS SOPS 3062136 HAS SOUS 349788 HAS SOUPS 348435 WITH SCORE 351504.067
AT ITER 570 NEW BEST:: SOT 3351305 SOS 3068691 HAS SOPS 3061760 HAS SOUS 349412 HAS SOUPS 348059 WITH SCORE 351127.691
AT ITER 587 NEW BEST:: SOT 3351310 SOS 3068711 HAS SOPS 3061780 HAS SOUS 349407 HAS SOUPS 348054 WITH SCORE 351122.711
AT ITER 590 NEW BEST:: SOT 3351314 SOS 3068534 HAS SOPS 3061603 HAS SOUS 347056 HAS SOUPS 345703 WITH SCORE 348771.534
AT ITER 596 NEW BEST:: SOT 3351285 SOS 3068510 HAS SOPS 3061577 HAS SOUS 346958 HAS SOUPS 345605 WITH SCORE 348673.51
AT ITER 602 NEW BEST:: SOT 3351266 SOS 3068618 HAS SOPS 3061685 HAS SOUS 346755 HAS SOUPS 345402 WITH SCORE 348470.618
AT ITER 613 NEW BEST:: SOT 3351254 SOS 3068588 HAS SOPS 3061655 HAS SOUS 346746 HAS SOUPS 345393 WITH SCORE 348461.588
AT ITER 615 NEW BEST:: SOT 3351275 SOS 3068609 HAS SOPS 3061625 HAS SOUS 346714 HAS SOUPS 345339 WITH SCORE 348407.609
AT ITER 626 NEW BEST:: SOT 3351281 SOS 3068469 HAS SOPS 3061485 HAS SOUS 344816 HAS SOUPS 343441 WITH SCORE 346509.469
AT ITER 629 NEW BEST:: SOT 3351261 SOS 3068455 HAS SOPS 3061471 HAS SOUS 344802 HAS SOUPS 343427 WITH SCORE 346495.455
AT ITER 630 NEW BEST:: SOT 3367944 SOS 3085403 HAS SOPS 3078419 HAS SOUS 342252 HAS SOUPS 340877 WITH SCORE 343962.403
AT ITER 634 NEW BEST:: SOT 3367927 SOS 3085369 HAS SOPS 3078385 HAS SOUS 342218 HAS SOUPS 340843 WITH SCORE 343928.369
AT ITER 636 NEW BEST:: SOT 3364180 SOS 3081512 HAS SOPS 3074528 HAS SOUS 341684 HAS SOUPS 340309 WITH SCORE 343390.512
AT ITER 646 NEW BEST:: SOT 3364174 SOS 3081506 HAS SOPS 3074522 HAS SOUS 341666 HAS SOUPS 340291 WITH SCORE 343372.506
AT ITER 652 NEW BEST:: SOT 3364139 SOS 3081381 HAS SOPS 3074397 HAS SOUS 341541 HAS SOUPS 340166 WITH SCORE 343247.381
AT ITER 654 NEW BEST:: SOT 3364051 SOS 3081293 HAS SOPS 3074309 HAS SOUS 341324 HAS SOUPS 339949 WITH SCORE 343030.293
AT ITER 660 NEW BEST:: SOT 3354415 SOS 3071613 HAS SOPS 3064629 HAS SOUS 339774 HAS SOUPS 338399 WITH SCORE 341470.613
AT ITER 674 NEW BEST:: SOT 3354415 SOS 3071605 HAS SOPS 3064621 HAS SOUS 339773 HAS SOUPS 338398 WITH SCORE 341469.605
AT ITER 715 NEW BEST:: SOT 3354038 SOS 3071236 HAS SOPS 3064252 HAS SOUS 339277 HAS SOUPS 337902 WITH SCORE 340973.236
AT ITER 728 NEW BEST:: SOT 3352649 SOS 3069737 HAS SOPS 3062753 HAS SOUS 338234 HAS SOUPS 336859 WITH SCORE 339928.737
AT ITER 729 NEW BEST:: SOT 3352451 SOS 3069670 HAS SOPS 3062686 HAS SOUS 337595 HAS SOUPS 336220 WITH SCORE 339289.67
AT ITER 730 NEW BEST:: SOT 3352248 SOS 3069467 HAS SOPS 3062483 HAS SOUS 337361 HAS SOUPS 335986 WITH SCORE 339055.467
AT ITER 731 NEW BEST:: SOT 3352210 SOS 3069327 HAS SOPS 3062343 HAS SOUS 337323 HAS SOUPS 335948 WITH SCORE 339017.327
AT ITER 732 NEW BEST:: SOT 3352327 SOS 3069457 HAS SOPS 3062556 HAS SOUS 337317 HAS SOUPS 335942 WITH SCORE 339011.457
AT ITER 735 NEW BEST:: SOT 3352274 SOS 3069390 HAS SOPS 3062489 HAS SOUS 336761 HAS SOUPS 335386 WITH SCORE 338455.39
AT ITER 742 NEW BEST:: SOT 3352252 SOS 3069368 HAS SOPS 3062467 HAS SOUS 336725 HAS SOUPS 335350 WITH SCORE 338419.368
AT ITER 744 NEW BEST:: SOT 3300868 SOS 3017984 HAS SOPS 3011083 HAS SOUS 330241 HAS SOUPS 328866 WITH SCORE 331883.984
AT ITER 748 NEW BEST:: SOT 3300737 SOS 3017451 HAS SOPS 3010550 HAS SOUS 329876 HAS SOUPS 328501 WITH SCORE 331518.451
AT ITER 751 NEW BEST:: SOT 3300737 SOS 3017793 HAS SOPS 3010889 HAS SOUS 329827 HAS SOUPS 328452 WITH SCORE 331469.793
AT ITER 752 NEW BEST:: SOT 3300896 SOS 3019980 HAS SOPS 3013076 HAS SOUS 329692 HAS SOUPS 328317 WITH SCORE 331336.98
AT ITER 754 NEW BEST:: SOT 3300865 SOS 3019754 HAS SOPS 3012850 HAS SOUS 329415 HAS SOUPS 328040 WITH SCORE 331059.754
AT ITER 755 NEW BEST:: SOT 3300841 SOS 3019682 HAS SOPS 3012778 HAS SOUS 329367 HAS SOUPS 327992 WITH SCORE 331011.682
AT ITER 766 NEW BEST:: SOT 3300776 SOS 3019852 HAS SOPS 3012948 HAS SOUS 329271 HAS SOUPS 327896 WITH SCORE 330915.852
AT ITER 772 NEW BEST:: SOT 3341857 SOS 3061548 HAS SOPS 3054845 HAS SOUS 329095 HAS SOUPS 327720 WITH SCORE 330781.548
AT ITER 773 NEW BEST:: SOT 3341612 SOS 3061488 HAS SOPS 3054785 HAS SOUS 329074 HAS SOUPS 327699 WITH SCORE 330760.488
AT ITER 776 NEW BEST:: SOT 3341610 SOS 3061486 HAS SOPS 3054783 HAS SOUS 329071 HAS SOUPS 327696 WITH SCORE 330757.486
AT ITER 796 NEW BEST:: SOT 3301066 SOS 3020942 HAS SOPS 3014239 HAS SOUS 325923 HAS SOUPS 324548 WITH SCORE 327568.942
AT ITER 800 NEW BEST:: SOT 3301064 SOS 3020940 HAS SOPS 3014237 HAS SOUS 325921 HAS SOUPS 324546 WITH SCORE 327566.94
AT ITER 808 NEW BEST:: SOT 3301048 SOS 3020987 HAS SOPS 3014284 HAS SOUS 325890 HAS SOUPS 324515 WITH SCORE 327535.987
AT ITER 814 NEW BEST:: SOT 3300819 SOS 3020758 HAS SOPS 3014154 HAS SOUS 325618 HAS SOUPS 324243 WITH SCORE 327263.758
AT ITER 815 NEW BEST:: SOT 3300523 SOS 3020548 HAS SOPS 3013944 HAS SOUS 325393 HAS SOUPS 324018 WITH SCORE 327038.548
AT ITER 823 NEW BEST:: SOT 3300411 SOS 3020398 HAS SOPS 3013794 HAS SOUS 325176 HAS SOUPS 323801 WITH SCORE 326821.398
AT ITER 825 NEW BEST:: SOT 3292831 SOS 3012818 HAS SOPS 3006214 HAS SOUS 324588 HAS SOUPS 323213 WITH SCORE 326225.818
AT ITER 830 NEW BEST:: SOT 3292651 SOS 3012602 HAS SOPS 3005998 HAS SOUS 324372 HAS SOUPS 322997 WITH SCORE 326009.602
AT ITER 833 NEW BEST:: SOT 3292709 SOS 3011082 HAS SOPS 3004536 HAS SOUS 324286 HAS SOUPS 322911 WITH SCORE 325922.082
AT ITER 834 NEW BEST:: SOT 3292711 SOS 3011084 HAS SOPS 3004534 HAS SOUS 324284 HAS SOUPS 322909 WITH SCORE 325920.084
AT ITER 840 NEW BEST:: SOT 3292525 SOS 3010929 HAS SOPS 3004379 HAS SOUS 324194 HAS SOUPS 322819 WITH SCORE 325829.929
AT ITER 845 NEW BEST:: SOT 3292481 SOS 3010885 HAS SOPS 3004357 HAS SOUS 324156 HAS SOUPS 322781 WITH SCORE 325791.885
AT ITER 854 NEW BEST:: SOT 3292481 SOS 3010695 HAS SOPS 3004167 HAS SOUS 323098 HAS SOUPS 321723 WITH SCORE 324733.695
AT ITER 865 NEW BEST:: SOT 3292326 SOS 3010502 HAS SOPS 3003999 HAS SOUS 322949 HAS SOUPS 321574 WITH SCORE 324584.502
AT ITER 874 NEW BEST:: SOT 3292421 SOS 3010616 HAS SOPS 3004113 HAS SOUS 322779 HAS SOUPS 321404 WITH SCORE 324414.616
AT ITER 878 NEW BEST:: SOT 3292421 SOS 3010550 HAS SOPS 3004047 HAS SOUS 322713 HAS SOUPS 321338 WITH SCORE 324348.55
AT ITER 882 NEW BEST:: SOT 3292209 SOS 3010358 HAS SOPS 3003855 HAS SOUS 322612 HAS SOUPS 321237 WITH SCORE 324247.358
AT ITER 883 NEW BEST:: SOT 3292209 SOS 3010349 HAS SOPS 3003846 HAS SOUS 322585 HAS SOUPS 321210 WITH SCORE 324220.349
AT ITER 887 NEW BEST:: SOT 3287463 SOS 3005648 HAS SOPS 2999145 HAS SOUS 321949 HAS SOUPS 320574 WITH SCORE 323579.648
AT ITER 890 NEW BEST:: SOT 3287463 SOS 3005640 HAS SOPS 2999137 HAS SOUS 321941 HAS SOUPS 320566 WITH SCORE 323571.64
AT ITER 907 NEW BEST:: SOT 3287450 SOS 3005627 HAS SOPS 2999124 HAS SOUS 321941 HAS SOUPS 320566 WITH SCORE 323571.627
AT ITER 909 NEW BEST:: SOT 3287320 SOS 3005541 HAS SOPS 2999146 HAS SOUS 321890 HAS SOUPS 320515 WITH SCORE 323520.541
AT ITER 919 NEW BEST:: SOT 3287318 SOS 3005539 HAS SOPS 2999144 HAS SOUS 321888 HAS SOUPS 320513 WITH SCORE 323518.539
AT ITER 921 NEW BEST:: SOT 3287310 SOS 3005470 HAS SOPS 2999075 HAS SOUS 321819 HAS SOUPS 320444 WITH SCORE 323449.47
AT ITER 926 NEW BEST:: SOT 3287140 SOS 3005388 HAS SOPS 2998993 HAS SOUS 321677 HAS SOUPS 320302 WITH SCORE 323307.388
AT ITER 927 NEW BEST:: SOT 3287140 SOS 3005372 HAS SOPS 2998977 HAS SOUS 321597 HAS SOUPS 320222 WITH SCORE 323227.372
AT ITER 928 NEW BEST:: SOT 3287220 SOS 3004502 HAS SOPS 2998088 HAS SOUS 321505 HAS SOUPS 320130 WITH SCORE 323134.502
AT ITER 940 NEW BEST:: SOT 3287220 SOS 3004499 HAS SOPS 2998085 HAS SOUS 321502 HAS SOUPS 320127 WITH SCORE 323131.499
AT ITER 942 NEW BEST:: SOT 3287168 SOS 3004538 HAS SOPS 2998124 HAS SOUS 321282 HAS SOUPS 319907 WITH SCORE 322911.538
AT ITER 944 NEW BEST:: SOT 3287107 SOS 3003967 HAS SOPS 2997553 HAS SOUS 319461 HAS SOUPS 318086 WITH SCORE 321089.967
AT ITER 951 NEW BEST:: SOT 3287082 SOS 3003746 HAS SOPS 2997332 HAS SOUS 319411 HAS SOUPS 318036 WITH SCORE 321039.746
AT ITER 958 NEW BEST:: SOT 3287066 SOS 3003715 HAS SOPS 2997301 HAS SOUS 319380 HAS SOUPS 318005 WITH SCORE 321008.715
AT ITER 961 NEW BEST:: SOT 3287079 SOS 3003655 HAS SOPS 2997241 HAS SOUS 319320 HAS SOUPS 317945 WITH SCORE 320948.655
AT ITER 969 NEW BEST:: SOT 3287185 SOS 3003839 HAS SOPS 2997425 HAS SOUS 319142 HAS SOUPS 317767 WITH SCORE 320770.839
AT ITER 970 NEW BEST:: SOT 3287451 SOS 3003764 HAS SOPS 2997350 HAS SOUS 318951 HAS SOUPS 317576 WITH SCORE 320579.764
AT ITER 980 NEW BEST:: SOT 3287312 SOS 3003722 HAS SOPS 2997308 HAS SOUS 318902 HAS SOUPS 317527 WITH SCORE 320530.722
AT ITER 983 NEW BEST:: SOT 3287299 SOS 3003696 HAS SOPS 2997282 HAS SOUS 318509 HAS SOUPS 317134 WITH SCORE 320137.696
AT ITER 987 NEW BEST:: SOT 3287320 SOS 3003717 HAS SOPS 2997272 HAS SOUS 318494 HAS SOUPS 317119 WITH SCORE 320122.717
AT ITER 988 NEW BEST:: SOT 3287301 SOS 3003698 HAS SOPS 2997253 HAS SOUS 318403 HAS SOUPS 317028 WITH SCORE 320031.698
AT ITER 992 NEW BEST:: SOT 3287121 SOS 3003482 HAS SOPS 2997037 HAS SOUS 318187 HAS SOUPS 316812 WITH SCORE 319815.482
AT ITER 994 NEW BEST:: SOT 3287097 SOS 3003501 HAS SOPS 2997056 HAS SOUS 316408 HAS SOUPS 315033 WITH SCORE 318036.501
AT ITER 998 NEW BEST:: SOT 3287035 SOS 3003439 HAS SOPS 2996994 HAS SOUS 316346 HAS SOUPS 314971 WITH SCORE 317974.439
AT ITER 1002 NEW BEST:: SOT 3286995 SOS 3003479 HAS SOPS 2997034 HAS SOUS 316066 HAS SOUPS 314691 WITH SCORE 317694.479
AT ITER 1008 NEW BEST:: SOT 3286952 SOS 3002927 HAS SOPS 2996482 HAS SOUS 315988 HAS SOUPS 314613 WITH SCORE 317615.927
AT ITER 1012 NEW BEST:: SOT 3286828 SOS 3002853 HAS SOPS 2996408 HAS SOUS 315978 HAS SOUPS 314603 WITH SCORE 317605.853
AT ITER 1027 NEW BEST:: SOT 3286748 SOS 3002783 HAS SOPS 2996338 HAS SOUS 315818 HAS SOUPS 314443 WITH SCORE 317445.783
AT ITER 1031 NEW BEST:: SOT 3286910 SOS 3003228 HAS SOPS 2996783 HAS SOUS 315111 HAS SOUPS 313736 WITH SCORE 316739.228
AT ITER 1033 NEW BEST:: SOT 3286910 SOS 3003182 HAS SOPS 2996737 HAS SOUS 315065 HAS SOUPS 313690 WITH SCORE 316693.182
AT ITER 1039 NEW BEST:: SOT 3286756 SOS 3003135 HAS SOPS 2996690 HAS SOUS 314867 HAS SOUPS 313492 WITH SCORE 316495.135
AT ITER 1041 NEW BEST:: SOT 3286737 SOS 3003633 HAS SOPS 2997185 HAS SOUS 314699 HAS SOUPS 313324 WITH SCORE 316327.633
AT ITER 1052 NEW BEST:: SOT 3286976 SOS 2774421 HAS SOPS 2767973 HAS SOUS 313997 HAS SOUPS 312622 WITH SCORE 315396.421
AT ITER 1060 NEW BEST:: SOT 3286929 SOS 2774580 HAS SOPS 2768014 HAS SOUS 313912 HAS SOUPS 312480 WITH SCORE 315254.58
AT ITER 1061 NEW BEST:: SOT 3286908 SOS 2774514 HAS SOPS 2767948 HAS SOUS 313891 HAS SOUPS 312459 WITH SCORE 315233.514
AT ITER 1067 NEW BEST:: SOT 3286840 SOS 2774462 HAS SOPS 2767896 HAS SOUS 313864 HAS SOUPS 312432 WITH SCORE 315206.462
AT ITER 1071 NEW BEST:: SOT 3286840 SOS 2774511 HAS SOPS 2767896 HAS SOUS 313859 HAS SOUPS 312383 WITH SCORE 315157.511
AT ITER 1073 NEW BEST:: SOT 3286819 SOS 2774486 HAS SOPS 2767871 HAS SOUS 313838 HAS SOUPS 312362 WITH SCORE 315136.486
AT ITER 1092 NEW BEST:: SOT 3286784 SOS 2774451 HAS SOPS 2767836 HAS SOUS 313801 HAS SOUPS 312325 WITH SCORE 315099.451
AT ITER 1093 NEW BEST:: SOT 3286772 SOS 2774427 HAS SOPS 2767812 HAS SOUS 313777 HAS SOUPS 312301 WITH SCORE 315075.427
AT ITER 1102 NEW BEST:: SOT 3286591 SOS 2774194 HAS SOPS 2767579 HAS SOUS 313531 HAS SOUPS 312055 WITH SCORE 314829.194
AT ITER 1123 NEW BEST:: SOT 3286834 SOS 2774774 HAS SOPS 2768159 HAS SOUS 303535 HAS SOUPS 302059 WITH SCORE 304833.774
AT ITER 1125 NEW BEST:: SOT 3265184 SOS 2753124 HAS SOPS 2746509 HAS SOUS 301205 HAS SOUPS 299729 WITH SCORE 302482.124
AT ITER 1128 NEW BEST:: SOT 3265274 SOS 2753183 HAS SOPS 2746568 HAS SOUS 301109 HAS SOUPS 299633 WITH SCORE 302386.183
AT ITER 1139 NEW BEST:: SOT 3265112 SOS 2752884 HAS SOPS 2746354 HAS SOUS 301073 HAS SOUPS 299597 WITH SCORE 302349.884
AT ITER 1154 NEW BEST:: SOT 3265108 SOS 2752880 HAS SOPS 2746350 HAS SOUS 301069 HAS SOUPS 299593 WITH SCORE 302345.88
AT ITER 1158 NEW BEST:: SOT 3265041 SOS 2752813 HAS SOPS 2746283 HAS SOUS 301002 HAS SOUPS 299526 WITH SCORE 302278.813
AT ITER 1159 NEW BEST:: SOT 3265008 SOS 2752875 HAS SOPS 2746345 HAS SOUS 300874 HAS SOUPS 299398 WITH SCORE 302150.875
AT ITER 1163 NEW BEST:: SOT 3264822 SOS 2752701 HAS SOPS 2746171 HAS SOUS 300803 HAS SOUPS 299327 WITH SCORE 302079.701
AT ITER 1165 NEW BEST:: SOT 3264974 SOS 2752853 HAS SOPS 2746323 HAS SOUS 297763 HAS SOUPS 296287 WITH SCORE 299039.853
AT ITER 1191 NEW BEST:: SOT 3264431 SOS 2752270 HAS SOPS 2745740 HAS SOUS 297193 HAS SOUPS 295717 WITH SCORE 298469.27
AT ITER 1193 NEW BEST:: SOT 3264729 SOS 2748872 HAS SOPS 2742342 HAS SOUS 294874 HAS SOUPS 293398 WITH SCORE 296146.872
AT ITER 1213 NEW BEST:: SOT 3264664 SOS 2748793 HAS SOPS 2742263 HAS SOUS 294842 HAS SOUPS 293366 WITH SCORE 296114.793
AT ITER 1235 NEW BEST:: SOT 3264695 SOS 2748878 HAS SOPS 2742348 HAS SOUS 294796 HAS SOUPS 293320 WITH SCORE 296068.878
AT ITER 1238 NEW BEST:: SOT 3264679 SOS 2748830 HAS SOPS 2742300 HAS SOUS 294748 HAS SOUPS 293272 WITH SCORE 296020.83
AT ITER 1259 NEW BEST:: SOT 3264431 SOS 2748522 HAS SOPS 2741992 HAS SOUS 294689 HAS SOUPS 293213 WITH SCORE 295961.522
AT ITER 1260 NEW BEST:: SOT 3264462 SOS 2748425 HAS SOPS 2741864 HAS SOUS 294634 HAS SOUPS 293158 WITH SCORE 295906.425
AT ITER 1266 NEW BEST:: SOT 3275146 SOS 2759341 HAS SOPS 2752780 HAS SOUS 288762 HAS SOUPS 287286 WITH SCORE 290045.341
AT ITER 1286 NEW BEST:: SOT 3275283 SOS 2759525 HAS SOPS 2752964 HAS SOUS 288566 HAS SOUPS 287090 WITH SCORE 289849.525
AT ITER 1296 NEW BEST:: SOT 3275646 SOS 2720190 HAS SOPS 2713629 HAS SOUS 284956 HAS SOUPS 283480 WITH SCORE 286200.19
AT ITER 1301 NEW BEST:: SOT 3275786 SOS 2720745 HAS SOPS 2714184 HAS SOUS 284810 HAS SOUPS 283334 WITH SCORE 286054.745
AT ITER 1305 NEW BEST:: SOT 3275756 SOS 2720715 HAS SOPS 2714154 HAS SOUS 284750 HAS SOUPS 283274 WITH SCORE 285994.715
AT ITER 1308 NEW BEST:: SOT 3141048 SOS 2585568 HAS SOPS 2579007 HAS SOUS 276049 HAS SOUPS 274573 WITH SCORE 277158.568
AT ITER 1315 NEW BEST:: SOT 3140982 SOS 2585494 HAS SOPS 2578965 HAS SOUS 276013 HAS SOUPS 274537 WITH SCORE 277122.494
AT ITER 1316 NEW BEST:: SOT 3140982 SOS 2583066 HAS SOPS 2576537 HAS SOUS 274963 HAS SOUPS 273487 WITH SCORE 276070.066
AT ITER 1320 NEW BEST:: SOT 3140975 SOS 2583059 HAS SOPS 2576530 HAS SOUS 274956 HAS SOUPS 273480 WITH SCORE 276063.059
AT ITER 1322 NEW BEST:: SOT 3140920 SOS 2583004 HAS SOPS 2576475 HAS SOUS 274806 HAS SOUPS 273330 WITH SCORE 275913.004
AT ITER 1336 NEW BEST:: SOT 3140601 SOS 2582725 HAS SOPS 2576263 HAS SOUS 274429 HAS SOUPS 272953 WITH SCORE 275535.725
AT ITER 1360 NEW BEST:: SOT 3140602 SOS 2582726 HAS SOPS 2576289 HAS SOUS 274427 HAS SOUPS 272951 WITH SCORE 275533.726
AT ITER 1370 NEW BEST:: SOT 3140415 SOS 2582560 HAS SOPS 2576216 HAS SOUS 274287 HAS SOUPS 272811 WITH SCORE 275393.56
AT ITER 1376 NEW BEST:: SOT 3140463 SOS 2582608 HAS SOPS 2576264 HAS SOUS 273286 HAS SOUPS 271810 WITH SCORE 274392.608
AT ITER 1379 NEW BEST:: SOT 3140623 SOS 2582800 HAS SOPS 2576456 HAS SOUS 271278 HAS SOUPS 269802 WITH SCORE 272384.8
AT ITER 1386 NEW BEST:: SOT 3140573 SOS 2582750 HAS SOPS 2576406 HAS SOUS 271226 HAS SOUPS 269750 WITH SCORE 272332.75
AT ITER 1392 NEW BEST:: SOT 3140567 SOS 2582744 HAS SOPS 2576400 HAS SOUS 271218 HAS SOUPS 269742 WITH SCORE 272324.744
AT ITER 1393 NEW BEST:: SOT 3140567 SOS 2582744 HAS SOPS 2576400 HAS SOUS 270980 HAS SOUPS 269504 WITH SCORE 272086.744
AT ITER 1395 NEW BEST:: SOT 3140574 SOS 2582934 HAS SOPS 2576590 HAS SOUS 270750 HAS SOUPS 269274 WITH SCORE 271856.934
AT ITER 1397 NEW BEST:: SOT 3140571 SOS 2583107 HAS SOPS 2576763 HAS SOUS 270524 HAS SOUPS 269048 WITH SCORE 271631.107
AT ITER 1405 NEW BEST:: SOT 3140505 SOS 2583029 HAS SOPS 2576685 HAS SOUS 270446 HAS SOUPS 268970 WITH SCORE 271553.029
AT ITER 1412 NEW BEST:: SOT 3140443 SOS 2582967 HAS SOPS 2576623 HAS SOUS 270377 HAS SOUPS 268901 WITH SCORE 271483.967
AT ITER 1418 NEW BEST:: SOT 3140461 SOS 2583105 HAS SOPS 2576761 HAS SOUS 270013 HAS SOUPS 268537 WITH SCORE 271120.105
AT ITER 1423 NEW BEST:: SOT 3140310 SOS 2583044 HAS SOPS 2576779 HAS SOUS 269901 HAS SOUPS 268425 WITH SCORE 271008.044
AT ITER 1424 NEW BEST:: SOT 3140214 SOS 2582485 HAS SOPS 2576220 HAS SOUS 269709 HAS SOUPS 268233 WITH SCORE 270815.485
AT ITER 1428 NEW BEST:: SOT 3140395 SOS 2583797 HAS SOPS 2577532 HAS SOUS 269652 HAS SOUPS 268176 WITH SCORE 270759.797
AT ITER 1438 NEW BEST:: SOT 3140383 SOS 2583797 HAS SOPS 2577532 HAS SOUS 269628 HAS SOUPS 268152 WITH SCORE 270735.797
AT ITER 1447 NEW BEST:: SOT 3144978 SOS 2589372 HAS SOPS 2583107 HAS SOUS 268797 HAS SOUPS 267321 WITH SCORE 269910.372
AT ITER 1450 NEW BEST:: SOT 3144910 SOS 2589304 HAS SOPS 2583039 HAS SOUS 268746 HAS SOUPS 267270 WITH SCORE 269859.304
AT ITER 1454 NEW BEST:: SOT 3145466 SOS 2566585 HAS SOPS 2560320 HAS SOUS 261581 HAS SOUPS 260105 WITH SCORE 262671.585
AT ITER 1473 NEW BEST:: SOT 3145437 SOS 2566556 HAS SOPS 2560291 HAS SOUS 261524 HAS SOUPS 260048 WITH SCORE 262614.556
AT ITER 1474 NEW BEST:: SOT 3145308 SOS 2566288 HAS SOPS 2560024 HAS SOUS 261512 HAS SOUPS 260036 WITH SCORE 262602.288
AT ITER 1478 NEW BEST:: SOT 3145023 SOS 2565928 HAS SOPS 2559664 HAS SOUS 261238 HAS SOUPS 259762 WITH SCORE 262327.928
AT ITER 1491 NEW BEST:: SOT 3144998 SOS 2565872 HAS SOPS 2559645 HAS SOUS 261231 HAS SOUPS 259760 WITH SCORE 262325.872
AT ITER 1496 NEW BEST:: SOT 3144962 SOS 2565836 HAS SOPS 2559609 HAS SOUS 261195 HAS SOUPS 259724 WITH SCORE 262289.836
AT ITER 1499 NEW BEST:: SOT 3144954 SOS 2564535 HAS SOPS 2558644 HAS SOUS 259507 HAS SOUPS 258092 WITH SCORE 260656.535
AT ITER 1510 NEW BEST:: SOT 3144943 SOS 2564819 HAS SOPS 2558630 HAS SOUS 259493 HAS SOUPS 258078 WITH SCORE 260642.819
AT ITER 1514 NEW BEST:: SOT 3144833 SOS 2564709 HAS SOPS 2558520 HAS SOUS 259397 HAS SOUPS 257982 WITH SCORE 260546.709
AT ITER 1526 NEW BEST:: SOT 3144793 SOS 2564528 HAS SOPS 2558328 HAS SOUS 259346 HAS SOUPS 257931 WITH SCORE 260495.528
AT ITER 1528 NEW BEST:: SOT 3144570 SOS 2564305 HAS SOPS 2558080 HAS SOUS 259054 HAS SOUPS 257639 WITH SCORE 260203.305
AT ITER 1538 NEW BEST:: SOT 3144578 SOS 2564162 HAS SOPS 2557937 HAS SOUS 259036 HAS SOUPS 257621 WITH SCORE 260185.162
AT ITER 1541 NEW BEST:: SOT 3144521 SOS 2564105 HAS SOPS 2557840 HAS SOUS 258939 HAS SOUPS 257524 WITH SCORE 260088.105
AT ITER 1543 NEW BEST:: SOT 3144495 SOS 2564436 HAS SOPS 2558171 HAS SOUS 258828 HAS SOUPS 257413 WITH SCORE 259977.436
AT ITER 1544 NEW BEST:: SOT 3144404 SOS 2565095 HAS SOPS 2558830 HAS SOUS 258646 HAS SOUPS 257231 WITH SCORE 259796.095
AT ITER 1550 NEW BEST:: SOT 3144401 SOS 2565089 HAS SOPS 2558824 HAS SOUS 258643 HAS SOUPS 257228 WITH SCORE 259793.089
AT ITER 1556 NEW BEST:: SOT 3144381 SOS 2565069 HAS SOPS 2558799 HAS SOUS 258613 HAS SOUPS 257198 WITH SCORE 259763.069
AT ITER 1558 NEW BEST:: SOT 3144225 SOS 2564757 HAS SOPS 2558487 HAS SOUS 258379 HAS SOUPS 256964 WITH SCORE 259528.757
AT ITER 1562 NEW BEST:: SOT 3144426 SOS 2564062 HAS SOPS 2557920 HAS SOUS 258300 HAS SOUPS 256936 WITH SCORE 259500.062
AT ITER 1568 NEW BEST:: SOT 3144483 SOS 2564107 HAS SOPS 2557965 HAS SOUS 258270 HAS SOUPS 256906 WITH SCORE 259470.107
AT ITER 1578 NEW BEST:: SOT 3144471 SOS 2564091 HAS SOPS 2557949 HAS SOUS 258246 HAS SOUPS 256882 WITH SCORE 259446.091
AT ITER 1579 NEW BEST:: SOT 3155799 SOS 2576013 HAS SOPS 2568791 HAS SOUS 253267 HAS SOUPS 251723 WITH SCORE 254299.013
AT ITER 1582 NEW BEST:: SOT 3155998 SOS 2576010 HAS SOPS 2568788 HAS SOUS 252940 HAS SOUPS 251396 WITH SCORE 253972.01
AT ITER 1590 NEW BEST:: SOT 3155998 SOS 2573364 HAS SOPS 2566142 HAS SOUS 252938 HAS SOUPS 251394 WITH SCORE 253967.364
AT ITER 1594 NEW BEST:: SOT 3155969 SOS 2573357 HAS SOPS 2566135 HAS SOUS 252812 HAS SOUPS 251268 WITH SCORE 253841.357
AT ITER 1596 NEW BEST:: SOT 3155969 SOS 2572990 HAS SOPS 2565768 HAS SOUS 252812 HAS SOUPS 251268 WITH SCORE 253840.99
AT ITER 1603 NEW BEST:: SOT 3155909 SOS 2572930 HAS SOPS 2565708 HAS SOUS 252767 HAS SOUPS 251223 WITH SCORE 253795.93
AT ITER 1609 NEW BEST:: SOT 3155872 SOS 2572893 HAS SOPS 2565671 HAS SOUS 252693 HAS SOUPS 251149 WITH SCORE 253721.893
AT ITER 1630 NEW BEST:: SOT 3155863 SOS 2572884 HAS SOPS 2565662 HAS SOUS 252681 HAS SOUPS 251137 WITH SCORE 253709.884
AT ITER 1640 NEW BEST:: SOT 3155869 SOS 2569254 HAS SOPS 2562032 HAS SOUS 252648 HAS SOUPS 251104 WITH SCORE 253673.254
AT ITER 1641 NEW BEST:: SOT 3155815 SOS 2569268 HAS SOPS 2562046 HAS SOUS 252533 HAS SOUPS 250989 WITH SCORE 253558.268
AT ITER 1645 NEW BEST:: SOT 3155784 SOS 2569259 HAS SOPS 2562048 HAS SOUS 252524 HAS SOUPS 250980 WITH SCORE 253549.259
AT ITER 1679 NEW BEST:: SOT 3155784 SOS 2569354 HAS SOPS 2562108 HAS SOUS 252489 HAS SOUPS 250945 WITH SCORE 253514.354
AT ITER 1694 NEW BEST:: SOT 3155636 SOS 2569306 HAS SOPS 2562060 HAS SOUS 252259 HAS SOUPS 250715 WITH SCORE 253284.306
AT ITER 1716 NEW BEST:: SOT 3155681 SOS 2569351 HAS SOPS 2562105 HAS SOUS 252174 HAS SOUPS 250630 WITH SCORE 253199.351
AT ITER 1721 NEW BEST:: SOT 3155594 SOS 2569087 HAS SOPS 2561751 HAS SOUS 251956 HAS SOUPS 250366 WITH SCORE 252935.087
AT ITER 1726 NEW BEST:: SOT 3155490 SOS 2568919 HAS SOPS 2561583 HAS SOUS 251831 HAS SOUPS 250241 WITH SCORE 252809.919
AT ITER 1732 NEW BEST:: SOT 3155283 SOS 2568512 HAS SOPS 2560976 HAS SOUS 251819 HAS SOUPS 250229 WITH SCORE 252797.512
AT ITER 1737 NEW BEST:: SOT 3155244 SOS 2568428 HAS SOPS 2560892 HAS SOUS 251735 HAS SOUPS 250145 WITH SCORE 252713.428
AT ITER 1739 NEW BEST:: SOT 3155196 SOS 2568398 HAS SOPS 2560862 HAS SOUS 251675 HAS SOUPS 250085 WITH SCORE 252653.398
AT ITER 1741 NEW BEST:: SOT 3155201 SOS 2568788 HAS SOPS 2561249 HAS SOUS 251630 HAS SOUPS 250040 WITH SCORE 252608.788
AT ITER 1742 NEW BEST:: SOT 3154869 SOS 2568456 HAS SOPS 2560917 HAS SOUS 251339 HAS SOUPS 249749 WITH SCORE 252317.456
AT ITER 1743 NEW BEST:: SOT 3154900 SOS 2568487 HAS SOPS 2560948 HAS SOUS 251290 HAS SOUPS 249700 WITH SCORE 252268.487
AT ITER 1745 NEW BEST:: SOT 3154708 SOS 2568194 HAS SOPS 2560655 HAS SOUS 250502 HAS SOUPS 248912 WITH SCORE 251480.194
AT ITER 1755 NEW BEST:: SOT 3154711 SOS 2568200 HAS SOPS 2560661 HAS SOUS 250496 HAS SOUPS 248906 WITH SCORE 251474.2
AT ITER 1764 NEW BEST:: SOT 3154886 SOS 2568445 HAS SOPS 2560906 HAS SOUS 247801 HAS SOUPS 246211 WITH SCORE 248779.445
AT ITER 1765 NEW BEST:: SOT 3155167 SOS 2569751 HAS SOPS 2562212 HAS SOUS 247761 HAS SOUPS 246171 WITH SCORE 248740.751
AT ITER 1776 NEW BEST:: SOT 3155280 SOS 2569864 HAS SOPS 2562325 HAS SOUS 247741 HAS SOUPS 246151 WITH SCORE 248720.864
AT ITER 1777 NEW BEST:: SOT 3155276 SOS 2569866 HAS SOPS 2562376 HAS SOUS 247734 HAS SOUPS 246144 WITH SCORE 248713.866
AT ITER 1794 NEW BEST:: SOT 3155246 SOS 2569823 HAS SOPS 2562303 HAS SOUS 247669 HAS SOUPS 246079 WITH SCORE 248648.823
AT ITER 1807 NEW BEST:: SOT 3155093 SOS 2569700 HAS SOPS 2562180 HAS SOUS 247626 HAS SOUPS 246036 WITH SCORE 248605.7
AT ITER 1822 NEW BEST:: SOT 3155073 SOS 2569640 HAS SOPS 2562120 HAS SOUS 247446 HAS SOUPS 245856 WITH SCORE 248425.64
AT ITER 1829 NEW BEST:: SOT 3155077 SOS 2569616 HAS SOPS 2562096 HAS SOUS 247446 HAS SOUPS 245856 WITH SCORE 248425.616
AT ITER 1837 NEW BEST:: SOT 3155076 SOS 2569581 HAS SOPS 2562061 HAS SOUS 247411 HAS SOUPS 245821 WITH SCORE 248390.581
AT ITER 1848 NEW BEST:: SOT 3155068 SOS 2569573 HAS SOPS 2562053 HAS SOUS 247403 HAS SOUPS 245813 WITH SCORE 248382.573
AT ITER 1850 NEW BEST:: SOT 3155438 SOS 2570345 HAS SOPS 2562899 HAS SOUS 243333 HAS SOUPS 241743 WITH SCORE 244313.345
AT ITER 1854 NEW BEST:: SOT 3155432 SOS 2570221 HAS SOPS 2562775 HAS SOUS 243227 HAS SOUPS 241637 WITH SCORE 244207.221
AT ITER 1870 NEW BEST:: SOT 3155340 SOS 2570129 HAS SOPS 2562683 HAS SOUS 243178 HAS SOUPS 241588 WITH SCORE 244158.129
AT ITER 1882 NEW BEST:: SOT 3155340 SOS 2569910 HAS SOPS 2562464 HAS SOUS 243065 HAS SOUPS 241475 WITH SCORE 244044.91
AT ITER 1892 NEW BEST:: SOT 3155339 SOS 2569909 HAS SOPS 2562462 HAS SOUS 243063 HAS SOUPS 241473 WITH SCORE 244042.909
AT ITER 1902 NEW BEST:: SOT 3155339 SOS 2569854 HAS SOPS 2562407 HAS SOUS 243048 HAS SOUPS 241458 WITH SCORE 244027.854
AT ITER 1903 NEW BEST:: SOT 3155486 SOS 2569603 HAS SOPS 2562156 HAS SOUS 242993 HAS SOUPS 241403 WITH SCORE 243972.603
AT ITER 1913 NEW BEST:: SOT 3155477 SOS 2569687 HAS SOPS 2562136 HAS SOUS 243009 HAS SOUPS 241383 WITH SCORE 243952.687
AT ITER 1916 NEW BEST:: SOT 3155494 SOS 2569693 HAS SOPS 2562142 HAS SOUS 242741 HAS SOUPS 241115 WITH SCORE 243684.693
AT ITER 1935 NEW BEST:: SOT 3155370 SOS 2569578 HAS SOPS 2562027 HAS SOUS 242644 HAS SOUPS 241018 WITH SCORE 243587.578
AT ITER 1936 NEW BEST:: SOT 3155366 SOS 2569570 HAS SOPS 2562015 HAS SOUS 242632 HAS SOUPS 241006 WITH SCORE 243575.57
AT ITER 1945 NEW BEST:: SOT 3155348 SOS 2569550 HAS SOPS 2561992 HAS SOUS 242581 HAS SOUPS 240955 WITH SCORE 243524.55
AT ITER 1953 NEW BEST:: SOT 3154524 SOS 2570458 HAS SOPS 2563158 HAS SOUS 241912 HAS SOUPS 240317 WITH SCORE 242887.458
AT ITER 1971 NEW BEST:: SOT 3154604 SOS 2571319 HAS SOPS 2564019 HAS SOUS 241770 HAS SOUPS 240175 WITH SCORE 242746.319
AT ITER 1979 NEW BEST:: SOT 3154497 SOS 2571241 HAS SOPS 2563992 HAS SOUS 241737 HAS SOUPS 240142 WITH SCORE 242713.241
AT ITER 1983 NEW BEST:: SOT 3154473 SOS 2571229 HAS SOPS 2563980 HAS SOUS 241725 HAS SOUPS 240130 WITH SCORE 242701.229
AT ITER 1990 NEW BEST:: SOT 3154402 SOS 2571158 HAS SOPS 2563909 HAS SOUS 241551 HAS SOUPS 239956 WITH SCORE 242527.158
AT ITER 2010 NEW BEST:: SOT 3154234 SOS 2570945 HAS SOPS 2563696 HAS SOUS 241338 HAS SOUPS 239743 WITH SCORE 242313.945
AT ITER 2016 NEW BEST:: SOT 3154195 SOS 2570661 HAS SOPS 2563412 HAS SOUS 241252 HAS SOUPS 239657 WITH SCORE 242227.661
AT ITER 2021 NEW BEST:: SOT 3153825 SOS 2570467 HAS SOPS 2563218 HAS SOUS 241051 HAS SOUPS 239456 WITH SCORE 242026.467
AT ITER 2043 NEW BEST:: SOT 3153410 SOS 2570203 HAS SOPS 2562954 HAS SOUS 240769 HAS SOUPS 239174 WITH SCORE 241744.203
AT ITER 2050 NEW BEST:: SOT 3153347 SOS 2570083 HAS SOPS 2562834 HAS SOUS 240649 HAS SOUPS 239054 WITH SCORE 241624.083
AT ITER 2074 NEW BEST:: SOT 3153121 SOS 2569932 HAS SOPS 2562683 HAS SOUS 240420 HAS SOUPS 238825 WITH SCORE 241394.932
AT ITER 2077 NEW BEST:: SOT 3153053 SOS 2570002 HAS SOPS 2562743 HAS SOUS 240360 HAS SOUPS 238765 WITH SCORE 241335.002
AT ITER 2078 NEW BEST:: SOT 3153107 SOS 2570021 HAS SOPS 2562762 HAS SOUS 240310 HAS SOUPS 238715 WITH SCORE 241285.021
AT ITER 2085 NEW BEST:: SOT 3153107 SOS 2543131 HAS SOPS 2535872 HAS SOUS 239347 HAS SOUPS 237752 WITH SCORE 240295.131
AT ITER 2092 NEW BEST:: SOT 3152948 SOS 2543105 HAS SOPS 2535921 HAS SOUS 239149 HAS SOUPS 237554 WITH SCORE 240097.105
AT ITER 2099 NEW BEST:: SOT 3152939 SOS 2543087 HAS SOPS 2535903 HAS SOUS 239131 HAS SOUPS 237536 WITH SCORE 240079.087
AT ITER 2101 NEW BEST:: SOT 3152933 SOS 2543081 HAS SOPS 2535897 HAS SOUS 239129 HAS SOUPS 237534 WITH SCORE 240077.081
AT ITER 2102 NEW BEST:: SOT 3152900 SOS 2543048 HAS SOPS 2535864 HAS SOUS 239063 HAS SOUPS 237468 WITH SCORE 240011.048
AT ITER 2107 NEW BEST:: SOT 3152875 SOS 2543018 HAS SOPS 2535834 HAS SOUS 239033 HAS SOUPS 237438 WITH SCORE 239981.018
AT ITER 2115 NEW BEST:: SOT 3153267 SOS 2542334 HAS SOPS 2535150 HAS SOUS 237099 HAS SOUPS 235504 WITH SCORE 238046.334
AT ITER 2129 NEW BEST:: SOT 3153560 SOS 2542742 HAS SOPS 2535558 HAS SOUS 232853 HAS SOUPS 231258 WITH SCORE 233800.742
AT ITER 2132 NEW BEST:: SOT 3128231 SOS 2517380 HAS SOPS 2510196 HAS SOUS 230261 HAS SOUPS 228666 WITH SCORE 231183.38
AT ITER 2141 NEW BEST:: SOT 3128648 SOS 2518005 HAS SOPS 2510821 HAS SOUS 230051 HAS SOUPS 228456 WITH SCORE 230974.005
AT ITER 2145 NEW BEST:: SOT 3128632 SOS 2517985 HAS SOPS 2510801 HAS SOUS 230031 HAS SOUPS 228436 WITH SCORE 230953.985
AT ITER 2149 NEW BEST:: SOT 3128736 SOS 2518115 HAS SOPS 2510931 HAS SOUS 229569 HAS SOUPS 227974 WITH SCORE 230492.115
AT ITER 2150 NEW BEST:: SOT 3128782 SOS 2518161 HAS SOPS 2510977 HAS SOUS 229497 HAS SOUPS 227902 WITH SCORE 230420.161
AT ITER 2159 NEW BEST:: SOT 3128986 SOS 2518383 HAS SOPS 2511199 HAS SOUS 229164 HAS SOUPS 227569 WITH SCORE 230087.383
AT ITER 2166 NEW BEST:: SOT 3128963 SOS 2518360 HAS SOPS 2511176 HAS SOUS 229159 HAS SOUPS 227564 WITH SCORE 230082.36
AT ITER 2168 NEW BEST:: SOT 3128796 SOS 2517989 HAS SOPS 2510762 HAS SOUS 229089 HAS SOUPS 227494 WITH SCORE 230011.989
AT ITER 2173 NEW BEST:: SOT 3128757 SOS 2518001 HAS SOPS 2510774 HAS SOUS 229018 HAS SOUPS 227423 WITH SCORE 229941.001
AT ITER 2180 NEW BEST:: SOT 3128515 SOS 2517613 HAS SOPS 2510386 HAS SOUS 228564 HAS SOUPS 226969 WITH SCORE 229486.613
AT ITER 2189 NEW BEST:: SOT 3128677 SOS 2517472 HAS SOPS 2510245 HAS SOUS 228484 HAS SOUPS 226889 WITH SCORE 229406.472
AT ITER 2192 NEW BEST:: SOT 3128629 SOS 2517342 HAS SOPS 2510115 HAS SOUS 228408 HAS SOUPS 226813 WITH SCORE 229330.342
AT ITER 2217 NEW BEST:: SOT 3128629 SOS 2489602 HAS SOPS 2482375 HAS SOUS 228386 HAS SOUPS 226791 WITH SCORE 229280.602
AT ITER 2219 NEW BEST:: SOT 3128648 SOS 2489497 HAS SOPS 2482230 HAS SOUS 228352 HAS SOUPS 226757 WITH SCORE 229246.497
AT ITER 2234 NEW BEST:: SOT 3128622 SOS 2490452 HAS SOPS 2483188 HAS SOUS 228329 HAS SOUPS 226734 WITH SCORE 229224.452
AT ITER 2245 NEW BEST:: SOT 3128593 SOS 2490452 HAS SOPS 2483188 HAS SOUS 228260 HAS SOUPS 226665 WITH SCORE 229155.452
AT ITER 2255 NEW BEST:: SOT 3128593 SOS 2490439 HAS SOPS 2483166 HAS SOUS 228223 HAS SOUPS 226628 WITH SCORE 229118.439
AT ITER 2261 NEW BEST:: SOT 3128313 SOS 2490214 HAS SOPS 2483050 HAS SOUS 228014 HAS SOUPS 226419 WITH SCORE 228909.214
AT ITER 2272 NEW BEST:: SOT 3128313 SOS 2490214 HAS SOPS 2483050 HAS SOUS 228012 HAS SOUPS 226417 WITH SCORE 228907.214
AT ITER 2277 NEW BEST:: SOT 3128313 SOS 2490157 HAS SOPS 2482993 HAS SOUS 227955 HAS SOUPS 226360 WITH SCORE 228850.157
AT ITER 2283 NEW BEST:: SOT 3128298 SOS 2490704 HAS SOPS 2483540 HAS SOUS 227798 HAS SOUPS 226203 WITH SCORE 228693.704
AT ITER 2292 NEW BEST:: SOT 3128293 SOS 2490699 HAS SOPS 2483535 HAS SOUS 227783 HAS SOUPS 226188 WITH SCORE 228678.699
AT ITER 2298 NEW BEST:: SOT 3128026 SOS 2490561 HAS SOPS 2483490 HAS SOUS 227541 HAS SOUPS 225946 WITH SCORE 228436.561
AT ITER 2306 NEW BEST:: SOT 3127871 SOS 2490417 HAS SOPS 2483346 HAS SOUS 227477 HAS SOUPS 225882 WITH SCORE 228372.417
AT ITER 2309 NEW BEST:: SOT 3056512 SOS 2419058 HAS SOPS 2411987 HAS SOUS 224991 HAS SOUPS 223396 WITH SCORE 225815.058
AT ITER 2310 NEW BEST:: SOT 3056325 SOS 2418607 HAS SOPS 2411536 HAS SOUS 224621 HAS SOUPS 223026 WITH SCORE 225444.607
AT ITER 2316 NEW BEST:: SOT 3056229 SOS 2418642 HAS SOPS 2411637 HAS SOUS 224615 HAS SOUPS 223020 WITH SCORE 225438.642
AT ITER 2325 NEW BEST:: SOT 2947357 SOS 2327927 HAS SOPS 2320922 HAS SOUS 218158 HAS SOUPS 216563 WITH SCORE 218890.927
AT ITER 2335 NEW BEST:: SOT 2947234 SOS 2327804 HAS SOPS 2320799 HAS SOUS 218139 HAS SOUPS 216544 WITH SCORE 218871.804
AT ITER 2349 NEW BEST:: SOT 2947184 SOS 2327610 HAS SOPS 2320605 HAS SOUS 217988 HAS SOUPS 216393 WITH SCORE 218720.61
AT ITER 2350 NEW BEST:: SOT 2947121 SOS 2327458 HAS SOPS 2320435 HAS SOUS 217752 HAS SOUPS 216157 WITH SCORE 218484.458
AT ITER 2355 NEW BEST:: SOT 2965473 SOS 2323427 HAS SOPS 2316404 HAS SOUS 212410 HAS SOUPS 210815 WITH SCORE 213138.427
AT ITER 2367 NEW BEST:: SOT 2965455 SOS 2322554 HAS SOPS 2315531 HAS SOUS 212374 HAS SOUPS 210779 WITH SCORE 213101.554
AT ITER 2372 NEW BEST:: SOT 2965438 SOS 2322545 HAS SOPS 2315522 HAS SOUS 212365 HAS SOUPS 210770 WITH SCORE 213092.545
AT ITER 2390 NEW BEST:: SOT 2965116 SOS 2322223 HAS SOPS 2315200 HAS SOUS 212043 HAS SOUPS 210448 WITH SCORE 212770.223
AT ITER 2412 NEW BEST:: SOT 2965146 SOS 2280530 HAS SOPS 2273507 HAS SOUS 211724 HAS SOUPS 210129 WITH SCORE 212409.53
AT ITER 2415 NEW BEST:: SOT 2965149 SOS 2280533 HAS SOPS 2273510 HAS SOUS 211709 HAS SOUPS 210114 WITH SCORE 212394.533
AT ITER 2432 NEW BEST:: SOT 2965306 SOS 2281216 HAS SOPS 2274288 HAS SOUS 211632 HAS SOUPS 210037 WITH SCORE 212318.216
AT ITER 2435 NEW BEST:: SOT 2965306 SOS 2281517 HAS SOPS 2274589 HAS SOUS 211601 HAS SOUPS 210006 WITH SCORE 212287.517
AT ITER 2441 NEW BEST:: SOT 2965277 SOS 2281488 HAS SOPS 2274560 HAS SOUS 211497 HAS SOUPS 209902 WITH SCORE 212183.488
AT ITER 2474 NEW BEST:: SOT 2965209 SOS 2281420 HAS SOPS 2274492 HAS SOUS 211395 HAS SOUPS 209800 WITH SCORE 212081.42
AT ITER 2475 NEW BEST:: SOT 2965143 SOS 2280838 HAS SOPS 2273910 HAS SOUS 208718 HAS SOUPS 207123 WITH SCORE 209403.838
AT ITER 2491 NEW BEST:: SOT 2965134 SOS 2280829 HAS SOPS 2273901 HAS SOUS 208702 HAS SOUPS 207107 WITH SCORE 209387.829
AT ITER 2532 NEW BEST:: SOT 2965242 SOS 2280945 HAS SOPS 2274017 HAS SOUS 208558 HAS SOUPS 206963 WITH SCORE 209243.945
AT ITER 2545 NEW BEST:: SOT 2965207 SOS 2280938 HAS SOPS 2274010 HAS SOUS 208544 HAS SOUPS 206949 WITH SCORE 209229.938
AT ITER 2547 NEW BEST:: SOT 2965018 SOS 2280806 HAS SOPS 2273992 HAS SOUS 208468 HAS SOUPS 206873 WITH SCORE 209153.806
AT ITER 2549 NEW BEST:: SOT 2964477 SOS 2280265 HAS SOPS 2273451 HAS SOUS 207807 HAS SOUPS 206212 WITH SCORE 208492.265
AT ITER 2559 NEW BEST:: SOT 2964315 SOS 2280183 HAS SOPS 2273419 HAS SOUS 207730 HAS SOUPS 206135 WITH SCORE 208415.183
AT ITER 2560 NEW BEST:: SOT 2964355 SOS 2280223 HAS SOPS 2273459 HAS SOUS 207664 HAS SOUPS 206069 WITH SCORE 208349.223
AT ITER 2564 NEW BEST:: SOT 2964354 SOS 2280222 HAS SOPS 2273458 HAS SOUS 207662 HAS SOUPS 206067 WITH SCORE 208347.222
AT ITER 2568 NEW BEST:: SOT 2964091 SOS 2279893 HAS SOPS 2273063 HAS SOUS 207334 HAS SOUPS 205739 WITH SCORE 208018.893
AT ITER 2575 NEW BEST:: SOT 2963939 SOS 2279741 HAS SOPS 2272985 HAS SOUS 207219 HAS SOUPS 205661 WITH SCORE 207940.741
AT ITER 2579 NEW BEST:: SOT 2964321 SOS 2280123 HAS SOPS 2273367 HAS SOUS 206774 HAS SOUPS 205216 WITH SCORE 207496.123
AT ITER 2591 NEW BEST:: SOT 2964363 SOS 2280165 HAS SOPS 2273409 HAS SOUS 206732 HAS SOUPS 205174 WITH SCORE 207454.165
AT ITER 2594 NEW BEST:: SOT 2964363 SOS 2279859 HAS SOPS 2273103 HAS SOUS 206658 HAS SOUPS 205100 WITH SCORE 207379.859
AT ITER 2600 NEW BEST:: SOT 2964362 SOS 2279858 HAS SOPS 2273101 HAS SOUS 206656 HAS SOUPS 205098 WITH SCORE 207377.858
AT ITER 2604 NEW BEST:: SOT 2964312 SOS 2279711 HAS SOPS 2272954 HAS SOUS 206406 HAS SOUPS 204848 WITH SCORE 207127.711
AT ITER 2624 NEW BEST:: SOT 2963974 SOS 2279376 HAS SOPS 2272619 HAS SOUS 206203 HAS SOUPS 204645 WITH SCORE 206924.376
AT ITER 2631 NEW BEST:: SOT 2963750 SOS 2279334 HAS SOPS 2272616 HAS SOUS 205999 HAS SOUPS 204441 WITH SCORE 206720.334
AT ITER 2632 NEW BEST:: SOT 2963658 SOS 2279348 HAS SOPS 2272630 HAS SOUS 205981 HAS SOUPS 204423 WITH SCORE 206702.348
AT ITER 2633 NEW BEST:: SOT 2963640 SOS 2279330 HAS SOPS 2272612 HAS SOUS 205981 HAS SOUPS 204423 WITH SCORE 206702.33
AT ITER 2635 NEW BEST:: SOT 2963641 SOS 2279447 HAS SOPS 2272729 HAS SOUS 205771 HAS SOUPS 204213 WITH SCORE 206492.447
AT ITER 2638 NEW BEST:: SOT 2963794 SOS 2279600 HAS SOPS 2272882 HAS SOUS 204618 HAS SOUPS 203060 WITH SCORE 205339.6
AT ITER 2648 NEW BEST:: SOT 2963794 SOS 2280532 HAS SOPS 2273346 HAS SOUS 204594 HAS SOUPS 202958 WITH SCORE 205238.532
AT ITER 2670 NEW BEST:: SOT 2963792 SOS 2280530 HAS SOPS 2273344 HAS SOUS 204590 HAS SOUPS 202954 WITH SCORE 205234.53
AT ITER 2674 NEW BEST:: SOT 2963748 SOS 2280486 HAS SOPS 2273300 HAS SOUS 204544 HAS SOUPS 202908 WITH SCORE 205188.486
AT ITER 2690 NEW BEST:: SOT 2963632 SOS 2280287 HAS SOPS 2273101 HAS SOUS 204461 HAS SOUPS 202825 WITH SCORE 205105.287
AT ITER 2692 NEW BEST:: SOT 2963597 SOS 2280163 HAS SOPS 2272977 HAS SOUS 204337 HAS SOUPS 202701 WITH SCORE 204981.163
AT ITER 2693 NEW BEST:: SOT 2963597 SOS 2280163 HAS SOPS 2272977 HAS SOUS 204323 HAS SOUPS 202687 WITH SCORE 204967.163
AT ITER 2708 NEW BEST:: SOT 2963464 SOS 2279964 HAS SOPS 2272778 HAS SOUS 204086 HAS SOUPS 202450 WITH SCORE 204729.964
AT ITER 2711 NEW BEST:: SOT 2963457 SOS 2279971 HAS SOPS 2272785 HAS SOUS 204079 HAS SOUPS 202443 WITH SCORE 204722.971
AT ITER 2712 NEW BEST:: SOT 2963440 SOS 2279954 HAS SOPS 2272768 HAS SOUS 204077 HAS SOUPS 202441 WITH SCORE 204720.954
AT ITER 2714 NEW BEST:: SOT 2963407 SOS 2279882 HAS SOPS 2272696 HAS SOUS 204057 HAS SOUPS 202421 WITH SCORE 204700.882
AT ITER 2715 NEW BEST:: SOT 2963683 SOS 2244123 HAS SOPS 2236937 HAS SOUS 203832 HAS SOUPS 202196 WITH SCORE 204440.123
AT ITER 2724 NEW BEST:: SOT 2963530 SOS 2243970 HAS SOPS 2236784 HAS SOUS 203700 HAS SOUPS 202064 WITH SCORE 204307.97
AT ITER 2725 NEW BEST:: SOT 2963915 SOS 2245892 HAS SOPS 2238706 HAS SOUS 203603 HAS SOUPS 201967 WITH SCORE 204212.892
AT ITER 2734 NEW BEST:: SOT 2963908 SOS 2245878 HAS SOPS 2238692 HAS SOUS 203578 HAS SOUPS 201942 WITH SCORE 204187.878
AT ITER 2735 NEW BEST:: SOT 2963888 SOS 2245821 HAS SOPS 2238635 HAS SOUS 203451 HAS SOUPS 201815 WITH SCORE 204060.821
AT ITER 2740 NEW BEST:: SOT 2963690 SOS 2243973 HAS SOPS 2236787 HAS SOUS 203171 HAS SOUPS 201535 WITH SCORE 203778.973
AT ITER 2766 NEW BEST:: SOT 2963928 SOS 2244183 HAS SOPS 2236997 HAS SOUS 203164 HAS SOUPS 201528 WITH SCORE 203772.183
AT ITER 2771 NEW BEST:: SOT 2963980 SOS 2244339 HAS SOPS 2237153 HAS SOUS 203139 HAS SOUPS 201503 WITH SCORE 203747.339
AT ITER 2778 NEW BEST:: SOT 2963969 SOS 2244306 HAS SOPS 2237120 HAS SOUS 203106 HAS SOUPS 201470 WITH SCORE 203714.306
AT ITER 2824 NEW BEST:: SOT 2963886 SOS 2244087 HAS SOPS 2236901 HAS SOUS 202992 HAS SOUPS 201356 WITH SCORE 203600.087
AT ITER 2826 NEW BEST:: SOT 2963780 SOS 2243819 HAS SOPS 2236633 HAS SOUS 202909 HAS SOUPS 201273 WITH SCORE 203516.819
AT ITER 2831 NEW BEST:: SOT 2963827 SOS 2243943 HAS SOPS 2236757 HAS SOUS 202804 HAS SOUPS 201168 WITH SCORE 203411.943
AT ITER 2846 NEW BEST:: SOT 2963844 SOS 2244038 HAS SOPS 2236852 HAS SOUS 202783 HAS SOUPS 201147 WITH SCORE 203391.038
AT ITER 2870 NEW BEST:: SOT 2963814 SOS 2244023 HAS SOPS 2236837 HAS SOUS 202768 HAS SOUPS 201132 WITH SCORE 203376.023
AT ITER 2882 NEW BEST:: SOT 2963634 SOS 2243988 HAS SOPS 2236802 HAS SOUS 202767 HAS SOUPS 201131 WITH SCORE 203374.988
AT ITER 2892 NEW BEST:: SOT 2963634 SOS 2223720 HAS SOPS 2216534 HAS SOUS 202575 HAS SOUPS 200939 WITH SCORE 203162.72
AT ITER 2902 NEW BEST:: SOT 2963498 SOS 2223662 HAS SOPS 2216476 HAS SOUS 202437 HAS SOUPS 200801 WITH SCORE 203024.662
AT ITER 2904 NEW BEST:: SOT 2963549 SOS 2223464 HAS SOPS 2216278 HAS SOUS 202239 HAS SOUPS 200603 WITH SCORE 202826.464
AT ITER 2919 NEW BEST:: SOT 2963590 SOS 2223616 HAS SOPS 2216430 HAS SOUS 202123 HAS SOUPS 200487 WITH SCORE 202710.616
AT ITER 2921 NEW BEST:: SOT 2963587 SOS 2223610 HAS SOPS 2216424 HAS SOUS 201971 HAS SOUPS 200335 WITH SCORE 202558.61
AT ITER 2922 NEW BEST:: SOT 2963580 SOS 2223611 HAS SOPS 2216425 HAS SOUS 201958 HAS SOUPS 200322 WITH SCORE 202545.611
AT ITER 2954 NEW BEST:: SOT 2964569 SOS 2224715 HAS SOPS 2217529 HAS SOUS 197264 HAS SOUPS 195628 WITH SCORE 197852.715
AT ITER 2957 NEW BEST:: SOT 2964563 SOS 2224891 HAS SOPS 2217705 HAS SOUS 197238 HAS SOUPS 195602 WITH SCORE 197826.891
AT ITER 2958 NEW BEST:: SOT 2964555 SOS 2224883 HAS SOPS 2217693 HAS SOUS 197218 HAS SOUPS 195582 WITH SCORE 197806.883
AT ITER 2968 NEW BEST:: SOT 2964500 SOS 2224588 HAS SOPS 2217398 HAS SOUS 197108 HAS SOUPS 195472 WITH SCORE 197696.588
AT ITER 2985 NEW BEST:: SOT 2964451 SOS 2224569 HAS SOPS 2217379 HAS SOUS 197077 HAS SOUPS 195441 WITH SCORE 197665.569
AT ITER 2986 NEW BEST:: SOT 2964427 SOS 2224545 HAS SOPS 2217379 HAS SOUS 197045 HAS SOUPS 195409 WITH SCORE 197633.545
AT ITER 3019 NEW BEST:: SOT 2964373 SOS 2224467 HAS SOPS 2217301 HAS SOUS 196967 HAS SOUPS 195331 WITH SCORE 197555.467
AT ITER 3020 NEW BEST:: SOT 2980532 SOS 2223560 HAS SOPS 2216638 HAS SOUS 195547 HAS SOUPS 193911 WITH SCORE 196134.56
AT ITER 3034 NEW BEST:: SOT 2980477 SOS 2223391 HAS SOPS 2216469 HAS SOUS 195475 HAS SOUPS 193839 WITH SCORE 196062.391
AT ITER 3038 NEW BEST:: SOT 3005756 SOS 2248670 HAS SOPS 2241748 HAS SOUS 195428 HAS SOUPS 193792 WITH SCORE 196040.67
AT ITER 3067 NEW BEST:: SOT 3005756 SOS 2248670 HAS SOPS 2241748 HAS SOUS 195218 HAS SOUPS 193582 WITH SCORE 195830.67
AT ITER 3073 NEW BEST:: SOT 3005600 SOS 2156021 HAS SOPS 2149099 HAS SOUS 194498 HAS SOUPS 192862 WITH SCORE 195018.021
AT ITER 3095 NEW BEST:: SOT 3005586 SOS 2155993 HAS SOPS 2149071 HAS SOUS 194470 HAS SOUPS 192834 WITH SCORE 194989.993
AT ITER 3102 NEW BEST:: SOT 2980938 SOS 2131345 HAS SOPS 2124423 HAS SOUS 192967 HAS SOUPS 191331 WITH SCORE 193462.345
AT ITER 3104 NEW BEST:: SOT 2980589 SOS 2130884 HAS SOPS 2123962 HAS SOUS 192738 HAS SOUPS 191102 WITH SCORE 193232.884
AT ITER 3106 NEW BEST:: SOT 2980590 SOS 2130885 HAS SOPS 2123963 HAS SOUS 192735 HAS SOUPS 191099 WITH SCORE 193229.885
AT ITER 3107 NEW BEST:: SOT 2980286 SOS 2131286 HAS SOPS 2124313 HAS SOUS 192736 HAS SOUPS 191097 WITH SCORE 193228.286
AT ITER 3111 NEW BEST:: SOT 2980250 SOS 2131232 HAS SOPS 2124259 HAS SOUS 192682 HAS SOUPS 191043 WITH SCORE 193174.232
AT ITER 3118 NEW BEST:: SOT 2980243 SOS 2131159 HAS SOPS 2124186 HAS SOUS 192639 HAS SOUPS 191000 WITH SCORE 193131.159
AT ITER 3134 NEW BEST:: SOT 2980243 SOS 2131606 HAS SOPS 2124633 HAS SOUS 192526 HAS SOUPS 190887 WITH SCORE 193018.606
AT ITER 3139 NEW BEST:: SOT 2980231 SOS 2131594 HAS SOPS 2124621 HAS SOUS 192514 HAS SOUPS 190875 WITH SCORE 193006.594
AT ITER 3144 NEW BEST:: SOT 2980221 SOS 2131584 HAS SOPS 2124611 HAS SOUS 192504 HAS SOUPS 190865 WITH SCORE 192996.584
AT ITER 3149 NEW BEST:: SOT 2980226 SOS 2102222 HAS SOPS 2095249 HAS SOUS 192144 HAS SOUPS 190505 WITH SCORE 192607.222
AT ITER 3156 NEW BEST:: SOT 2979695 SOS 2101313 HAS SOPS 2094340 HAS SOUS 191420 HAS SOUPS 189781 WITH SCORE 191882.313
AT ITER 3167 NEW BEST:: SOT 2979671 SOS 2101289 HAS SOPS 2094316 HAS SOUS 191303 HAS SOUPS 189664 WITH SCORE 191765.289
AT ITER 3174 NEW BEST:: SOT 2979671 SOS 2101163 HAS SOPS 2094244 HAS SOUS 191294 HAS SOUPS 189664 WITH SCORE 191765.163
AT ITER 3181 NEW BEST:: SOT 2979669 SOS 2101161 HAS SOPS 2094242 HAS SOUS 191214 HAS SOUPS 189584 WITH SCORE 191685.161
AT ITER 3221 NEW BEST:: SOT 2979603 SOS 2101128 HAS SOPS 2094209 HAS SOUS 191181 HAS SOUPS 189551 WITH SCORE 191652.128
AT ITER 3225 NEW BEST:: SOT 2979577 SOS 2101102 HAS SOPS 2094149 HAS SOUS 191127 HAS SOUPS 189497 WITH SCORE 191598.102
AT ITER 3226 NEW BEST:: SOT 2979522 SOS 2101187 HAS SOPS 2094216 HAS SOUS 191084 HAS SOUPS 189474 WITH SCORE 191575.187
AT ITER 3242 NEW BEST:: SOT 2979522 SOS 2101229 HAS SOPS 2094258 HAS SOUS 191042 HAS SOUPS 189432 WITH SCORE 191533.229
AT ITER 3245 NEW BEST:: SOT 2979485 SOS 2101456 HAS SOPS 2094485 HAS SOUS 190774 HAS SOUPS 189164 WITH SCORE 191265.456
AT ITER 3282 NEW BEST:: SOT 2979476 SOS 2101449 HAS SOPS 2094462 HAS SOUS 190760 HAS SOUPS 189150 WITH SCORE 191251.449
AT ITER 3284 NEW BEST:: SOT 2979476 SOS 2101460 HAS SOPS 2094473 HAS SOUS 190749 HAS SOUPS 189139 WITH SCORE 191240.46
AT ITER 3286 NEW BEST:: SOT 2979470 SOS 2101442 HAS SOPS 2094455 HAS SOUS 190740 HAS SOUPS 189130 WITH SCORE 191231.442
AT ITER 3290 NEW BEST:: SOT 2979517 SOS 2101489 HAS SOPS 2094502 HAS SOUS 190153 HAS SOUPS 188543 WITH SCORE 190644.489
AT ITER 3310 NEW BEST:: SOT 2979684 SOS 2101656 HAS SOPS 2094669 HAS SOUS 189281 HAS SOUPS 187671 WITH SCORE 189772.656
AT ITER 3312 NEW BEST:: SOT 2979810 SOS 2056281 HAS SOPS 2049294 HAS SOUS 188633 HAS SOUPS 187023 WITH SCORE 189079.281
AT ITER 3318 NEW BEST:: SOT 2979785 SOS 2056256 HAS SOPS 2049269 HAS SOUS 188530 HAS SOUPS 186920 WITH SCORE 188976.256
AT ITER 3352 NEW BEST:: SOT 2979871 SOS 2056342 HAS SOPS 2049355 HAS SOUS 188389 HAS SOUPS 186779 WITH SCORE 188835.342
AT ITER 3357 NEW BEST:: SOT 2979852 SOS 2056323 HAS SOPS 2049336 HAS SOUS 188370 HAS SOUPS 186760 WITH SCORE 188816.323
AT ITER 3363 NEW BEST:: SOT 2979850 SOS 2056319 HAS SOPS 2049334 HAS SOUS 188368 HAS SOUPS 186758 WITH SCORE 188814.319
AT ITER 3370 NEW BEST:: SOT 2975040 SOS 2051523 HAS SOPS 2044496 HAS SOUS 188354 HAS SOUPS 186730 WITH SCORE 188781.523
AT ITER 3374 NEW BEST:: SOT 2975085 SOS 2051573 HAS SOPS 2044573 HAS SOUS 188338 HAS SOUPS 186714 WITH SCORE 188765.573
AT ITER 3382 NEW BEST:: SOT 2981558 SOS 2058844 HAS SOPS 2052288 HAS SOUS 187753 HAS SOUPS 186277 WITH SCORE 188335.844
AT ITER 3389 NEW BEST:: SOT 2981574 SOS 2058860 HAS SOPS 2052304 HAS SOUS 187721 HAS SOUPS 186245 WITH SCORE 188303.86
AT ITER 3390 NEW BEST:: SOT 2981571 SOS 2058857 HAS SOPS 2052301 HAS SOUS 187716 HAS SOUPS 186240 WITH SCORE 188298.857
AT ITER 3415 NEW BEST:: SOT 2981143 SOS 2058433 HAS SOPS 2051877 HAS SOUS 187484 HAS SOUPS 186008 WITH SCORE 188066.433
AT ITER 3436 NEW BEST:: SOT 2981131 SOS 2058415 HAS SOPS 2051859 HAS SOUS 187454 HAS SOUPS 185978 WITH SCORE 188036.415
AT ITER 3437 NEW BEST:: SOT 2981131 SOS 2058410 HAS SOPS 2051854 HAS SOUS 187454 HAS SOUPS 185978 WITH SCORE 188036.41
AT ITER 3446 NEW BEST:: SOT 2980946 SOS 2058262 HAS SOPS 2051706 HAS SOUS 187306 HAS SOUPS 185830 WITH SCORE 187888.262
AT ITER 3486 NEW BEST:: SOT 2980934 SOS 2058214 HAS SOPS 2051658 HAS SOUS 187282 HAS SOUPS 185806 WITH SCORE 187864.214
AT ITER 3488 NEW BEST:: SOT 2980927 SOS 2058295 HAS SOPS 2051738 HAS SOUS 187259 HAS SOUPS 185783 WITH SCORE 187841.295
AT ITER 3496 NEW BEST:: SOT 2980920 SOS 2058256 HAS SOPS 2051706 HAS SOUS 187221 HAS SOUPS 185745 WITH SCORE 187803.256
AT ITER 3498 NEW BEST:: SOT 2980615 SOS 2057937 HAS SOPS 2051387 HAS SOUS 187170 HAS SOUPS 185694 WITH SCORE 187751.937
AT ITER 3508 NEW BEST:: SOT 2980591 SOS 2057913 HAS SOPS 2051363 HAS SOUS 187122 HAS SOUPS 185646 WITH SCORE 187703.913
AT ITER 3544 NEW BEST:: SOT 2980573 SOS 2057895 HAS SOPS 2051335 HAS SOUS 187100 HAS SOUPS 185624 WITH SCORE 187681.895
AT ITER 3549 NEW BEST:: SOT 2980609 SOS 2057988 HAS SOPS 2051371 HAS SOUS 187079 HAS SOUPS 185603 WITH SCORE 187660.988
AT ITER 3552 NEW BEST:: SOT 2979966 SOS 2057311 HAS SOPS 2050694 HAS SOUS 186199 HAS SOUPS 184723 WITH SCORE 186780.311
AT ITER 3568 NEW BEST:: SOT 2979865 SOS 2057248 HAS SOPS 2050631 HAS SOUS 186177 HAS SOUPS 184701 WITH SCORE 186758.248
AT ITER 3572 NEW BEST:: SOT 2979864 SOS 2057230 HAS SOPS 2050613 HAS SOUS 186176 HAS SOUPS 184700 WITH SCORE 186757.23
AT ITER 3582 NEW BEST:: SOT 2979952 SOS 2057470 HAS SOPS 2050853 HAS SOUS 185917 HAS SOUPS 184441 WITH SCORE 186498.47
AT ITER 3584 NEW BEST:: SOT 2979751 SOS 2057290 HAS SOPS 2050743 HAS SOUS 185698 HAS SOUPS 184222 WITH SCORE 186279.29
AT ITER 3595 NEW BEST:: SOT 2979760 SOS 2055813 HAS SOPS 2049266 HAS SOUS 185694 HAS SOUPS 184218 WITH SCORE 186273.813
AT ITER 3600 NEW BEST:: SOT 2979732 SOS 2055866 HAS SOPS 2049319 HAS SOUS 185667 HAS SOUPS 184191 WITH SCORE 186246.866
AT ITER 3608 NEW BEST:: SOT 2979732 SOS 2055869 HAS SOPS 2049296 HAS SOUS 185639 HAS SOUPS 184163 WITH SCORE 186218.869
AT ITER 3622 NEW BEST:: SOT 2979860 SOS 2055890 HAS SOPS 2049317 HAS SOUS 185613 HAS SOUPS 184137 WITH SCORE 186192.89
AT ITER 3638 NEW BEST:: SOT 2980118 SOS 2055374 HAS SOPS 2048801 HAS SOUS 185613 HAS SOUPS 184137 WITH SCORE 186192.374
AT ITER 3641 NEW BEST:: SOT 2980098 SOS 2055354 HAS SOPS 2048781 HAS SOUS 185589 HAS SOUPS 184113 WITH SCORE 186168.354
AT ITER 3679 NEW BEST:: SOT 2980043 SOS 2055266 HAS SOPS 2048693 HAS SOUS 185523 HAS SOUPS 184047 WITH SCORE 186102.266
AT ITER 3691 NEW BEST:: SOT 2979770 SOS 2054993 HAS SOPS 2048420 HAS SOUS 185274 HAS SOUPS 183798 WITH SCORE 185852.993
AT ITER 3695 NEW BEST:: SOT 2979770 SOS 2052915 HAS SOPS 2046342 HAS SOUS 185218 HAS SOUPS 183742 WITH SCORE 185794.915
AT ITER 3700 NEW BEST:: SOT 2979820 SOS 2030217 HAS SOPS 2023903 HAS SOUS 184616 HAS SOUPS 183201 WITH SCORE 185231.217
AT ITER 3707 NEW BEST:: SOT 2979728 SOS 2030116 HAS SOPS 2023802 HAS SOUS 184527 HAS SOUPS 183112 WITH SCORE 185142.116
AT ITER 3724 NEW BEST:: SOT 2979739 SOS 2030127 HAS SOPS 2023813 HAS SOUS 184506 HAS SOUPS 183091 WITH SCORE 185121.127
AT ITER 3742 NEW BEST:: SOT 2979703 SOS 2030091 HAS SOPS 2023777 HAS SOUS 184481 HAS SOUPS 183066 WITH SCORE 185096.091
AT ITER 3753 NEW BEST:: SOT 2979717 SOS 2030159 HAS SOPS 2023845 HAS SOUS 184358 HAS SOUPS 182943 WITH SCORE 184973.159
AT ITER 3757 NEW BEST:: SOT 2979673 SOS 2030149 HAS SOPS 2023835 HAS SOUS 184345 HAS SOUPS 182930 WITH SCORE 184960.149
AT ITER 3762 NEW BEST:: SOT 2979833 SOS 2030318 HAS SOPS 2023913 HAS SOUS 184285 HAS SOUPS 182870 WITH SCORE 184900.318
AT ITER 3775 NEW BEST:: SOT 2980303 SOS 2030744 HAS SOPS 2024339 HAS SOUS 183667 HAS SOUPS 182252 WITH SCORE 184282.744
AT ITER 3778 NEW BEST:: SOT 2980165 SOS 2030644 HAS SOPS 2024239 HAS SOUS 183519 HAS SOUPS 182104 WITH SCORE 184134.644
AT ITER 3786 NEW BEST:: SOT 2980189 SOS 2030668 HAS SOPS 2024263 HAS SOUS 183489 HAS SOUPS 182074 WITH SCORE 184104.668
AT ITER 3824 NEW BEST:: SOT 2980159 SOS 2028193 HAS SOPS 2021788 HAS SOUS 183365 HAS SOUPS 181950 WITH SCORE 183978.193
AT ITER 3831 NEW BEST:: SOT 2980140 SOS 2028174 HAS SOPS 2021733 HAS SOUS 183316 HAS SOUPS 181901 WITH SCORE 183929.174
AT ITER 3839 NEW BEST:: SOT 2979134 SOS 2032270 HAS SOPS 2026153 HAS SOUS 183095 HAS SOUPS 181734 WITH SCORE 183766.27
AT ITER 3852 NEW BEST:: SOT 2979021 SOS 2032262 HAS SOPS 2026145 HAS SOUS 182949 HAS SOUPS 181588 WITH SCORE 183620.262
AT ITER 3864 NEW BEST:: SOT 2979036 SOS 2033043 HAS SOPS 2026926 HAS SOUS 182904 HAS SOUPS 181543 WITH SCORE 183576.043
AT ITER 3911 NEW BEST:: SOT 2979036 SOS 2033039 HAS SOPS 2026922 HAS SOUS 182900 HAS SOUPS 181539 WITH SCORE 183572.039
AT ITER 3924 NEW BEST:: SOT 2979036 SOS 2033013 HAS SOPS 2026896 HAS SOUS 182848 HAS SOUPS 181487 WITH SCORE 183520.013
AT ITER 3926 NEW BEST:: SOT 2978939 SOS 2030560 HAS SOPS 2025319 HAS SOUS 182649 HAS SOUPS 181434 WITH SCORE 183464.56
AT ITER 3932 NEW BEST:: SOT 2979400 SOS 1873372 HAS SOPS 1868131 HAS SOUS 182288 HAS SOUPS 181073 WITH SCORE 182946.372
AT ITER 3933 NEW BEST:: SOT 2979622 SOS 1862970 HAS SOPS 1857729 HAS SOUS 181447 HAS SOUPS 180232 WITH SCORE 182094.97
AT ITER 3957 NEW BEST:: SOT 2979396 SOS 1862819 HAS SOPS 1857578 HAS SOUS 181359 HAS SOUPS 180144 WITH SCORE 182006.819
AT ITER 3968 NEW BEST:: SOT 2979392 SOS 1862571 HAS SOPS 1857330 HAS SOUS 181330 HAS SOUPS 180115 WITH SCORE 181977.571
AT ITER 3996 NEW BEST:: SOT 2979445 SOS 1814685 HAS SOPS 1809444 HAS SOUS 181322 HAS SOUPS 180107 WITH SCORE 181921.685
AT ITER 4009 NEW BEST:: SOT 2979442 SOS 1814542 HAS SOPS 1809301 HAS SOUS 181278 HAS SOUPS 180063 WITH SCORE 181877.542
AT ITER 4020 NEW BEST:: SOT 2979332 SOS 1814361 HAS SOPS 1809120 HAS SOUS 181147 HAS SOUPS 179932 WITH SCORE 181746.361
AT ITER 4034 NEW BEST:: SOT 2979332 SOS 1814247 HAS SOPS 1809006 HAS SOUS 181094 HAS SOUPS 179879 WITH SCORE 181693.247
AT ITER 4044 NEW BEST:: SOT 2979251 SOS 1814222 HAS SOPS 1809039 HAS SOUS 180923 HAS SOUPS 179708 WITH SCORE 181522.222
AT ITER 4071 NEW BEST:: SOT 2979245 SOS 1814216 HAS SOPS 1809033 HAS SOUS 180911 HAS SOUPS 179696 WITH SCORE 181510.216
AT ITER 4083 NEW BEST:: SOT 2979211 SOS 1814182 HAS SOPS 1808999 HAS SOUS 180707 HAS SOUPS 179492 WITH SCORE 181306.182
AT ITER 4091 NEW BEST:: SOT 3014176 SOS 1794180 HAS SOPS 1788997 HAS SOUS 180613 HAS SOUPS 179398 WITH SCORE 181192.18
AT ITER 4129 NEW BEST:: SOT 3014176 SOS 1794160 HAS SOPS 1788977 HAS SOUS 180585 HAS SOUPS 179370 WITH SCORE 181164.16
AT ITER 4167 NEW BEST:: SOT 3014005 SOS 1794096 HAS SOPS 1788806 HAS SOUS 180449 HAS SOUPS 179199 WITH SCORE 180993.096
AT ITER 4172 NEW BEST:: SOT 3014005 SOS 1794145 HAS SOPS 1788855 HAS SOUS 180323 HAS SOUPS 179073 WITH SCORE 180867.145
AT ITER 4233 NEW BEST:: SOT 3013983 SOS 1794123 HAS SOPS 1788806 HAS SOUS 180279 HAS SOUPS 179029 WITH SCORE 180823.123
AT ITER 4241 NEW BEST:: SOT 3014092 SOS 1794132 HAS SOPS 1788752 HAS SOUS 180225 HAS SOUPS 178975 WITH SCORE 180769.132
AT ITER 4254 NEW BEST:: SOT 3013764 SOS 1793801 HAS SOPS 1788421 HAS SOUS 179894 HAS SOUPS 178644 WITH SCORE 180437.801
AT ITER 4260 NEW BEST:: SOT 3013745 SOS 1793801 HAS SOPS 1788414 HAS SOUS 179868 HAS SOUPS 178618 WITH SCORE 180411.801
AT ITER 4261 NEW BEST:: SOT 3013742 SOS 1793804 HAS SOPS 1788417 HAS SOUS 179865 HAS SOUPS 178615 WITH SCORE 180408.804
AT ITER 4291 NEW BEST:: SOT 2979321 SOS 1759383 HAS SOPS 1753996 HAS SOUS 177472 HAS SOUPS 176222 WITH SCORE 177981.383
AT ITER 4299 NEW BEST:: SOT 2979314 SOS 1759684 HAS SOPS 1754297 HAS SOUS 177458 HAS SOUPS 176208 WITH SCORE 177967.684
AT ITER 4304 NEW BEST:: SOT 2979385 SOS 1760036 HAS SOPS 1754612 HAS SOUS 177351 HAS SOUPS 176101 WITH SCORE 177861.036
AT ITER 4330 NEW BEST:: SOT 2979215 SOS 1759866 HAS SOPS 1754442 HAS SOUS 177113 HAS SOUPS 175863 WITH SCORE 177622.866
AT ITER 4357 NEW BEST:: SOT 2979215 SOS 1759736 HAS SOPS 1754312 HAS SOUS 177100 HAS SOUPS 175850 WITH SCORE 177609.736
AT ITER 4362 NEW BEST:: SOT 2979102 SOS 1759776 HAS SOPS 1754389 HAS SOUS 177018 HAS SOUPS 175768 WITH SCORE 177527.776
AT ITER 4364 NEW BEST:: SOT 2978921 SOS 2017817 HAS SOPS 2012430 HAS SOUS 175360 HAS SOUPS 174110 WITH SCORE 176127.817
AT ITER 4372 NEW BEST:: SOT 2978894 SOS 2017860 HAS SOPS 2012480 HAS SOUS 175306 HAS SOUPS 174056 WITH SCORE 176073.86
AT ITER 4378 NEW BEST:: SOT 2978888 SOS 2017856 HAS SOPS 2012476 HAS SOUS 175284 HAS SOUPS 174034 WITH SCORE 176051.856
AT ITER 4384 NEW BEST:: SOT 2978884 SOS 2017852 HAS SOPS 2012472 HAS SOUS 175280 HAS SOUPS 174030 WITH SCORE 176047.852
AT ITER 4398 NEW BEST:: SOT 2978737 SOS 2016474 HAS SOPS 2011094 HAS SOUS 175107 HAS SOUPS 173857 WITH SCORE 175873.474
AT ITER 4401 NEW BEST:: SOT 2978737 SOS 2016474 HAS SOPS 2011094 HAS SOUS 175106 HAS SOUPS 173856 WITH SCORE 175872.474
AT ITER 4405 NEW BEST:: SOT 2969513 SOS 2007250 HAS SOPS 2001870 HAS SOUS 174162 HAS SOUPS 172912 WITH SCORE 174919.25
AT ITER 4410 NEW BEST:: SOT 2969504 SOS 2007208 HAS SOPS 2001828 HAS SOUS 174049 HAS SOUPS 172799 WITH SCORE 174806.208
AT ITER 4416 NEW BEST:: SOT 2969568 SOS 2007272 HAS SOPS 2001892 HAS SOUS 173960 HAS SOUPS 172710 WITH SCORE 174717.272
AT ITER 4423 NEW BEST:: SOT 2969581 SOS 2007288 HAS SOPS 2001908 HAS SOUS 173850 HAS SOUPS 172600 WITH SCORE 174607.288
AT ITER 4424 NEW BEST:: SOT 2969517 SOS 2007192 HAS SOPS 2001812 HAS SOUS 173818 HAS SOUPS 172568 WITH SCORE 174575.192
AT ITER 4429 NEW BEST:: SOT 2969448 SOS 2006334 HAS SOPS 2000954 HAS SOUS 173780 HAS SOUPS 172530 WITH SCORE 174536.334
AT ITER 4432 NEW BEST:: SOT 2969379 SOS 2006265 HAS SOPS 2000885 HAS SOUS 173701 HAS SOUPS 172451 WITH SCORE 174457.265
AT ITER 4450 NEW BEST:: SOT 2969510 SOS 2006453 HAS SOPS 2001301 HAS SOUS 173581 HAS SOUPS 172331 WITH SCORE 174337.453
AT ITER 4453 NEW BEST:: SOT 2969571 SOS 1953531 HAS SOPS 1948379 HAS SOUS 173573 HAS SOUPS 172323 WITH SCORE 174276.531
AT ITER 4467 NEW BEST:: SOT 2969495 SOS 1953767 HAS SOPS 1948381 HAS SOUS 173379 HAS SOUPS 172090 WITH SCORE 174043.767
AT ITER 4471 NEW BEST:: SOT 2969531 SOS 1953956 HAS SOPS 1948570 HAS SOUS 173222 HAS SOUPS 171933 WITH SCORE 173886.956
AT ITER 4479 NEW BEST:: SOT 2969506 SOS 1953798 HAS SOPS 1948412 HAS SOUS 173191 HAS SOUPS 171902 WITH SCORE 173855.798
AT ITER 4484 NEW BEST:: SOT 2969506 SOS 1953730 HAS SOPS 1948344 HAS SOUS 173123 HAS SOUPS 171834 WITH SCORE 173787.73
AT ITER 4490 NEW BEST:: SOT 2969535 SOS 1953738 HAS SOPS 1948341 HAS SOUS 173120 HAS SOUPS 171831 WITH SCORE 173784.738
AT ITER 4495 NEW BEST:: SOT 2969503 SOS 1953706 HAS SOPS 1948309 HAS SOUS 173112 HAS SOUPS 171823 WITH SCORE 173776.706
AT ITER 4510 NEW BEST:: SOT 2969394 SOS 1953597 HAS SOPS 1948200 HAS SOUS 172896 HAS SOUPS 171607 WITH SCORE 173560.597
AT ITER 4514 NEW BEST:: SOT 2969150 SOS 1953453 HAS SOPS 1948056 HAS SOUS 172848 HAS SOUPS 171559 WITH SCORE 173512.453
AT ITER 4524 NEW BEST:: SOT 2969417 SOS 1953578 HAS SOPS 1948181 HAS SOUS 172444 HAS SOUPS 171155 WITH SCORE 173108.578
AT ITER 4560 NEW BEST:: SOT 2969412 SOS 1953587 HAS SOPS 1948190 HAS SOUS 172431 HAS SOUPS 171142 WITH SCORE 173095.587
AT ITER 4563 NEW BEST:: SOT 2969420 SOS 1953403 HAS SOPS 1948006 HAS SOUS 172426 HAS SOUPS 171137 WITH SCORE 173090.403
AT ITER 4572 NEW BEST:: SOT 2969420 SOS 1953388 HAS SOPS 1947991 HAS SOUS 172426 HAS SOUPS 171137 WITH SCORE 173090.388
AT ITER 4589 NEW BEST:: SOT 2969420 SOS 1953375 HAS SOPS 1947978 HAS SOUS 172355 HAS SOUPS 171066 WITH SCORE 173019.375
AT ITER 4590 NEW BEST:: SOT 2969385 SOS 1953384 HAS SOPS 1947987 HAS SOUS 171984 HAS SOUPS 170695 WITH SCORE 172648.384
AT ITER 4595 NEW BEST:: SOT 2969319 SOS 1953279 HAS SOPS 1947882 HAS SOUS 171862 HAS SOUPS 170573 WITH SCORE 172526.279
AT ITER 4609 NEW BEST:: SOT 2969075 SOS 1953035 HAS SOPS 1947638 HAS SOUS 171395 HAS SOUPS 170106 WITH SCORE 172059.035
AT ITER 4610 NEW BEST:: SOT 2969071 SOS 1953031 HAS SOPS 1947634 HAS SOUS 171391 HAS SOUPS 170102 WITH SCORE 172055.031
AT ITER 4618 NEW BEST:: SOT 2975516 SOS 1959549 HAS SOPS 1954152 HAS SOUS 170763 HAS SOUPS 169474 WITH SCORE 171433.549
AT ITER 4638 NEW BEST:: SOT 2975516 SOS 1959549 HAS SOPS 1954152 HAS SOUS 170731 HAS SOUPS 169442 WITH SCORE 171401.549
AT ITER 4656 NEW BEST:: SOT 2975514 SOS 1959520 HAS SOPS 1954123 HAS SOUS 170727 HAS SOUPS 169438 WITH SCORE 171397.52
AT ITER 4670 NEW BEST:: SOT 2975464 SOS 1959860 HAS SOPS 1954463 HAS SOUS 170404 HAS SOUPS 169115 WITH SCORE 171074.86
AT ITER 4678 NEW BEST:: SOT 2975217 SOS 1959613 HAS SOPS 1954216 HAS SOUS 169999 HAS SOUPS 168710 WITH SCORE 170669.613
AT ITER 4684 NEW BEST:: SOT 2975212 SOS 1959608 HAS SOPS 1954211 HAS SOUS 169997 HAS SOUPS 168708 WITH SCORE 170667.608
AT ITER 4688 NEW BEST:: SOT 2974827 SOS 1962813 HAS SOPS 1957602 HAS SOUS 169813 HAS SOUPS 168555 WITH SCORE 170517.813
AT ITER 4699 NEW BEST:: SOT 2975040 SOS 1963092 HAS SOPS 1957881 HAS SOUS 169790 HAS SOUPS 168532 WITH SCORE 170495.092
AT ITER 4719 NEW BEST:: SOT 2975078 SOS 1963310 HAS SOPS 1958099 HAS SOUS 169759 HAS SOUPS 168501 WITH SCORE 170464.31
AT ITER 4731 NEW BEST:: SOT 2975090 SOS 1963318 HAS SOPS 1958107 HAS SOUS 169755 HAS SOUPS 168497 WITH SCORE 170460.318
AT ITER 4761 NEW BEST:: SOT 2974812 SOS 1962917 HAS SOPS 1957706 HAS SOUS 169477 HAS SOUPS 168219 WITH SCORE 170181.917
AT ITER 4771 NEW BEST:: SOT 2974821 SOS 1924889 HAS SOPS 1919678 HAS SOUS 169189 HAS SOUPS 167931 WITH SCORE 169855.889
AT ITER 4774 NEW BEST:: SOT 2974799 SOS 1924867 HAS SOPS 1919656 HAS SOUS 169090 HAS SOUPS 167832 WITH SCORE 169756.867
AT ITER 4776 NEW BEST:: SOT 2974808 SOS 1924767 HAS SOPS 1919561 HAS SOUS 169055 HAS SOUPS 167797 WITH SCORE 169721.767
AT ITER 4798 NEW BEST:: SOT 2974889 SOS 1925062 HAS SOPS 1919856 HAS SOUS 168846 HAS SOUPS 167588 WITH SCORE 169513.062
AT ITER 4807 NEW BEST:: SOT 2974906 SOS 1925125 HAS SOPS 1919919 HAS SOUS 168835 HAS SOUPS 167577 WITH SCORE 169502.125
AT ITER 4816 NEW BEST:: SOT 2975096 SOS 1924794 HAS SOPS 1919588 HAS SOUS 168583 HAS SOUPS 167325 WITH SCORE 169249.794
AT ITER 4822 NEW BEST:: SOT 2974876 SOS 1924521 HAS SOPS 1919315 HAS SOUS 168242 HAS SOUPS 166984 WITH SCORE 168908.521
AT ITER 4825 NEW BEST:: SOT 2974804 SOS 1924946 HAS SOPS 1919740 HAS SOUS 168027 HAS SOUPS 166769 WITH SCORE 168693.946
AT ITER 4858 NEW BEST:: SOT 2974785 SOS 1924927 HAS SOPS 1919721 HAS SOUS 167951 HAS SOUPS 166693 WITH SCORE 168617.927
AT ITER 4877 NEW BEST:: SOT 2974785 SOS 1924723 HAS SOPS 1919517 HAS SOUS 167951 HAS SOUPS 166693 WITH SCORE 168617.723
AT ITER 4889 NEW BEST:: SOT 2974657 SOS 1924653 HAS SOPS 1919447 HAS SOUS 167822 HAS SOUPS 166564 WITH SCORE 168488.653
AT ITER 4893 NEW BEST:: SOT 2974674 SOS 1924483 HAS SOPS 1919277 HAS SOUS 167652 HAS SOUPS 166394 WITH SCORE 168318.483
AT ITER 4899 NEW BEST:: SOT 2974674 SOS 1924428 HAS SOPS 1919222 HAS SOUS 167606 HAS SOUPS 166348 WITH SCORE 168272.428
AT ITER 4900 NEW BEST:: SOT 2974687 SOS 1924441 HAS SOPS 1919235 HAS SOUS 167596 HAS SOUPS 166338 WITH SCORE 168262.441
AT ITER 4907 NEW BEST:: SOT 2974658 SOS 1924523 HAS SOPS 1919317 HAS SOUS 167440 HAS SOUPS 166182 WITH SCORE 168106.523
AT ITER 4929 NEW BEST:: SOT 2974684 SOS 1924541 HAS SOPS 1919335 HAS SOUS 167389 HAS SOUPS 166131 WITH SCORE 168055.541
AT ITER 4940 NEW BEST:: SOT 2974677 SOS 1924717 HAS SOPS 1919511 HAS SOUS 167375 HAS SOUPS 166117 WITH SCORE 168041.717
AT ITER 4949 NEW BEST:: SOT 2974752 SOS 1924821 HAS SOPS 1919615 HAS SOUS 166974 HAS SOUPS 165716 WITH SCORE 167640.821
AT ITER 4955 NEW BEST:: SOT 2974752 SOS 1924597 HAS SOPS 1919391 HAS SOUS 166974 HAS SOUPS 165716 WITH SCORE 167640.597
AT ITER 4959 NEW BEST:: SOT 2974789 SOS 1924634 HAS SOPS 1919428 HAS SOUS 166967 HAS SOUPS 165709 WITH SCORE 167633.634
AT ITER 4960 NEW BEST:: SOT 2974734 SOS 1924579 HAS SOPS 1919373 HAS SOUS 166833 HAS SOUPS 165575 WITH SCORE 167499.579
AT ITER 4995 NEW BEST:: SOT 2974763 SOS 1924655 HAS SOPS 1919449 HAS SOUS 166817 HAS SOUPS 165559 WITH SCORE 167483.655
AT ITER 5004 NEW BEST:: SOT 2974763 SOS 1924599 HAS SOPS 1919393 HAS SOUS 166817 HAS SOUPS 165559 WITH SCORE 167483.599
AT ITER 5007 NEW BEST:: SOT 2974805 SOS 1924598 HAS SOPS 1919392 HAS SOUS 166816 HAS SOUPS 165558 WITH SCORE 167482.598
AT ITER 5008 NEW BEST:: SOT 2974798 SOS 1924584 HAS SOPS 1919378 HAS SOUS 166802 HAS SOUPS 165544 WITH SCORE 167468.584
AT ITER 5031 NEW BEST:: SOT 2974768 SOS 1924746 HAS SOPS 1919540 HAS SOUS 166587 HAS SOUPS 165329 WITH SCORE 167253.746
AT ITER 5059 NEW BEST:: SOT 2974728 SOS 1924726 HAS SOPS 1919520 HAS SOUS 166560 HAS SOUPS 165302 WITH SCORE 167226.726
AT ITER 5060 NEW BEST:: SOT 2974593 SOS 1924591 HAS SOPS 1919385 HAS SOUS 166248 HAS SOUPS 164990 WITH SCORE 166914.591
AT ITER 5074 NEW BEST:: SOT 2974569 SOS 1924567 HAS SOPS 1919361 HAS SOUS 166203 HAS SOUPS 164945 WITH SCORE 166869.567
AT ITER 5110 NEW BEST:: SOT 2974545 SOS 1924430 HAS SOPS 1919224 HAS SOUS 166117 HAS SOUPS 164859 WITH SCORE 166783.43
AT ITER 5112 NEW BEST:: SOT 2974502 SOS 1924294 HAS SOPS 1919088 HAS SOUS 166031 HAS SOUPS 164773 WITH SCORE 166697.294
AT ITER 5127 NEW BEST:: SOT 2974490 SOS 1924282 HAS SOPS 1919076 HAS SOUS 166024 HAS SOUPS 164766 WITH SCORE 166690.282
AT ITER 5179 NEW BEST:: SOT 2974375 SOS 1924168 HAS SOPS 1918962 HAS SOUS 165994 HAS SOUPS 164736 WITH SCORE 166660.168
AT ITER 5199 NEW BEST:: SOT 2974375 SOS 1924090 HAS SOPS 1918884 HAS SOUS 165968 HAS SOUPS 164710 WITH SCORE 166634.09
AT ITER 5201 NEW BEST:: SOT 2974117 SOS 1923864 HAS SOPS 1918658 HAS SOUS 165780 HAS SOUPS 164522 WITH SCORE 166445.864
AT ITER 5214 NEW BEST:: SOT 2974098 SOS 1923788 HAS SOPS 1918582 HAS SOUS 165753 HAS SOUPS 164495 WITH SCORE 166418.788
AT ITER 5226 NEW BEST:: SOT 2974092 SOS 1923759 HAS SOPS 1918536 HAS SOUS 165730 HAS SOUPS 164472 WITH SCORE 166395.759
AT ITER 5246 NEW BEST:: SOT 2974072 SOS 1923735 HAS SOPS 1918512 HAS SOUS 165714 HAS SOUPS 164456 WITH SCORE 166379.735
AT ITER 5247 NEW BEST:: SOT 2974072 SOS 1923638 HAS SOPS 1918415 HAS SOUS 165658 HAS SOUPS 164400 WITH SCORE 166323.638
AT ITER 5259 NEW BEST:: SOT 2974024 SOS 1923551 HAS SOPS 1918328 HAS SOUS 165534 HAS SOUPS 164276 WITH SCORE 166199.551
AT ITER 5267 NEW BEST:: SOT 2973968 SOS 1923495 HAS SOPS 1918272 HAS SOUS 165484 HAS SOUPS 164226 WITH SCORE 166149.495
AT ITER 5271 NEW BEST:: SOT 2963957 SOS 1913484 HAS SOPS 1908261 HAS SOUS 164280 HAS SOUPS 163022 WITH SCORE 164935.484
AT ITER 5280 NEW BEST:: SOT 2963968 SOS 1913495 HAS SOPS 1908249 HAS SOUS 164256 HAS SOUPS 162998 WITH SCORE 164911.495
AT ITER 5300 NEW BEST:: SOT 2963997 SOS 1913524 HAS SOPS 1908311 HAS SOUS 164234 HAS SOUPS 162976 WITH SCORE 164889.524
AT ITER 5316 NEW BEST:: SOT 2963963 SOS 1913422 HAS SOPS 1908209 HAS SOUS 164132 HAS SOUPS 162874 WITH SCORE 164787.422
AT ITER 5321 NEW BEST:: SOT 2964354 SOS 1913813 HAS SOPS 1908600 HAS SOUS 162413 HAS SOUPS 161155 WITH SCORE 163068.813
AT ITER 5325 NEW BEST:: SOT 2964354 SOS 1913832 HAS SOPS 1908619 HAS SOUS 162389 HAS SOUPS 161131 WITH SCORE 163044.832
AT ITER 5335 NEW BEST:: SOT 2964334 SOS 1913812 HAS SOPS 1908599 HAS SOUS 162349 HAS SOUPS 161091 WITH SCORE 163004.812
AT ITER 5338 NEW BEST:: SOT 2964282 SOS 1913897 HAS SOPS 1908713 HAS SOUS 162344 HAS SOUPS 161086 WITH SCORE 162999.897
AT ITER 5343 NEW BEST:: SOT 2964280 SOS 1913895 HAS SOPS 1908712 HAS SOUS 162340 HAS SOUPS 161082 WITH SCORE 162995.895
AT ITER 5390 NEW BEST:: SOT 2964241 SOS 1913159 HAS SOPS 1907927 HAS SOUS 161779 HAS SOUPS 160521 WITH SCORE 162434.159
AT ITER 5391 NEW BEST:: SOT 2964211 SOS 1913129 HAS SOPS 1907897 HAS SOUS 161719 HAS SOUPS 160461 WITH SCORE 162374.129
AT ITER 5415 NEW BEST:: SOT 2964124 SOS 1913042 HAS SOPS 1907810 HAS SOUS 161655 HAS SOUPS 160397 WITH SCORE 162310.042
AT ITER 5453 NEW BEST:: SOT 2963253 SOS 2044527 HAS SOPS 2039295 HAS SOUS 161165 HAS SOUPS 159907 WITH SCORE 161951.527
AT ITER 5469 NEW BEST:: SOT 2963231 SOS 2044409 HAS SOPS 2039177 HAS SOUS 161116 HAS SOUPS 159858 WITH SCORE 161902.409
AT ITER 5478 NEW BEST:: SOT 2963363 SOS 2044673 HAS SOPS 2039441 HAS SOUS 161110 HAS SOUPS 159852 WITH SCORE 161896.673
AT ITER 5488 NEW BEST:: SOT 2963529 SOS 2044919 HAS SOPS 2039687 HAS SOUS 161021 HAS SOUPS 159763 WITH SCORE 161807.919
AT ITER 5492 NEW BEST:: SOT 2963517 SOS 2044931 HAS SOPS 2039706 HAS SOUS 161016 HAS SOUPS 159758 WITH SCORE 161802.931
AT ITER 5495 NEW BEST:: SOT 2963214 SOS 2045609 HAS SOPS 2040384 HAS SOUS 160846 HAS SOUPS 159588 WITH SCORE 161633.609
AT ITER 5515 NEW BEST:: SOT 2963191 SOS 2045821 HAS SOPS 2040596 HAS SOUS 160780 HAS SOUPS 159522 WITH SCORE 161567.821
AT ITER 5541 NEW BEST:: SOT 2963422 SOS 2045916 HAS SOPS 2040691 HAS SOUS 160694 HAS SOUPS 159436 WITH SCORE 161481.916
AT ITER 5542 NEW BEST:: SOT 2963404 SOS 2045898 HAS SOPS 2040691 HAS SOUS 160694 HAS SOUPS 159436 WITH SCORE 161481.898
AT ITER 5545 NEW BEST:: SOT 2963339 SOS 2045833 HAS SOPS 2040626 HAS SOUS 160549 HAS SOUPS 159291 WITH SCORE 161336.833
AT ITER 5583 NEW BEST:: SOT 2963272 SOS 2045766 HAS SOPS 2040533 HAS SOUS 160474 HAS SOUPS 159216 WITH SCORE 161261.766
AT ITER 5589 NEW BEST:: SOT 2963272 SOS 2045850 HAS SOPS 2040617 HAS SOUS 160334 HAS SOUPS 159076 WITH SCORE 161121.85
AT ITER 5608 NEW BEST:: SOT 2963245 SOS 2045823 HAS SOPS 2040590 HAS SOUS 160308 HAS SOUPS 159050 WITH SCORE 161095.823
AT ITER 5636 NEW BEST:: SOT 2963245 SOS 2045745 HAS SOPS 2040512 HAS SOUS 160308 HAS SOUPS 159050 WITH SCORE 161095.745
AT ITER 5658 NEW BEST:: SOT 2963252 SOS 2045715 HAS SOPS 2040482 HAS SOUS 160305 HAS SOUPS 159047 WITH SCORE 161092.715
AT ITER 5660 NEW BEST:: SOT 2963240 SOS 2045703 HAS SOPS 2040470 HAS SOUS 160286 HAS SOUPS 159028 WITH SCORE 161073.703
AT ITER 5665 NEW BEST:: SOT 2963216 SOS 2045487 HAS SOPS 2040326 HAS SOUS 160274 HAS SOUPS 159028 WITH SCORE 161073.487
AT ITER 5668 NEW BEST:: SOT 2963216 SOS 2045487 HAS SOPS 2040326 HAS SOUS 160263 HAS SOUPS 159017 WITH SCORE 161062.487
AT ITER 5676 NEW BEST:: SOT 2963211 SOS 2045482 HAS SOPS 2040321 HAS SOUS 160144 HAS SOUPS 158898 WITH SCORE 160943.482
AT ITER 5689 NEW BEST:: SOT 2963181 SOS 2045408 HAS SOPS 2040247 HAS SOUS 160142 HAS SOUPS 158896 WITH SCORE 160941.408
AT ITER 5703 NEW BEST:: SOT 2963178 SOS 2045405 HAS SOPS 2040221 HAS SOUS 160128 HAS SOUPS 158882 WITH SCORE 160927.405
AT ITER 5707 NEW BEST:: SOT 2963538 SOS 2045765 HAS SOPS 2040581 HAS SOUS 159960 HAS SOUPS 158714 WITH SCORE 160759.765
AT ITER 5732 NEW BEST:: SOT 2963487 SOS 2045731 HAS SOPS 2040547 HAS SOUS 159926 HAS SOUPS 158680 WITH SCORE 160725.731
AT ITER 5740 NEW BEST:: SOT 2963427 SOS 2045671 HAS SOPS 2040487 HAS SOUS 159900 HAS SOUPS 158654 WITH SCORE 160699.671
AT ITER 5759 NEW BEST:: SOT 2963369 SOS 2045613 HAS SOPS 2040429 HAS SOUS 159806 HAS SOUPS 158560 WITH SCORE 160605.613
AT ITER 5771 NEW BEST:: SOT 2963369 SOS 2045597 HAS SOPS 2040413 HAS SOUS 159806 HAS SOUPS 158560 WITH SCORE 160605.597
AT ITER 5779 NEW BEST:: SOT 2963349 SOS 2045601 HAS SOPS 2040405 HAS SOUS 159762 HAS SOUPS 158516 WITH SCORE 160561.601
AT ITER 5790 NEW BEST:: SOT 2963349 SOS 2045563 HAS SOPS 2040367 HAS SOUS 159717 HAS SOUPS 158471 WITH SCORE 160516.563
AT ITER 5826 NEW BEST:: SOT 2963167 SOS 2045404 HAS SOPS 2040339 HAS SOUS 159549 HAS SOUPS 158434 WITH SCORE 160479.404
AT ITER 5860 NEW BEST:: SOT 2963188 SOS 2045383 HAS SOPS 2040318 HAS SOUS 159549 HAS SOUPS 158434 WITH SCORE 160479.383
AT ITER 5870 NEW BEST:: SOT 2963188 SOS 2045390 HAS SOPS 2040280 HAS SOUS 159542 HAS SOUPS 158427 WITH SCORE 160472.39
AT ITER 5915 NEW BEST:: SOT 2963188 SOS 2045372 HAS SOPS 2040262 HAS SOUS 159542 HAS SOUPS 158427 WITH SCORE 160472.372
AT ITER 5919 NEW BEST:: SOT 2963188 SOS 2045381 HAS SOPS 2040271 HAS SOUS 159539 HAS SOUPS 158424 WITH SCORE 160469.381
AT ITER 5951 NEW BEST:: SOT 2963192 SOS 2045389 HAS SOPS 2040279 HAS SOUS 159517 HAS SOUPS 158402 WITH SCORE 160447.389
AT ITER 5961 NEW BEST:: SOT 2963166 SOS 2045363 HAS SOPS 2040253 HAS SOUS 159491 HAS SOUPS 158376 WITH SCORE 160421.363
AT ITER 5982 NEW BEST:: SOT 2963124 SOS 2045321 HAS SOPS 2040226 HAS SOUS 159482 HAS SOUPS 158367 WITH SCORE 160412.321
AT ITER 5984 NEW BEST:: SOT 2963018 SOS 2045182 HAS SOPS 2040087 HAS SOUS 159082 HAS SOUPS 157967 WITH SCORE 160012.182
AT ITER 5985 NEW BEST:: SOT 2963035 SOS 2045277 HAS SOPS 2040182 HAS SOUS 158960 HAS SOUPS 157845 WITH SCORE 159890.277
AT ITER 6000 NEW BEST:: SOT 2963030 SOS 2045267 HAS SOPS 2040172 HAS SOUS 158950 HAS SOUPS 157835 WITH SCORE 159880.267
AT ITER 6016 NEW BEST:: SOT 2962963 SOS 2045200 HAS SOPS 2040105 HAS SOUS 158915 HAS SOUPS 157800 WITH SCORE 159845.2
AT ITER 6019 NEW BEST:: SOT 2962910 SOS 2045134 HAS SOPS 2040039 HAS SOUS 158849 HAS SOUPS 157734 WITH SCORE 159779.134
AT ITER 6040 NEW BEST:: SOT 2962865 SOS 2045080 HAS SOPS 2039985 HAS SOUS 158795 HAS SOUPS 157680 WITH SCORE 159725.08
AT ITER 6050 NEW BEST:: SOT 2962856 SOS 2045071 HAS SOPS 2039976 HAS SOUS 158786 HAS SOUPS 157671 WITH SCORE 159716.071
AT ITER 6053 NEW BEST:: SOT 2962856 SOS 2044958 HAS SOPS 2039863 HAS SOUS 158786 HAS SOUPS 157671 WITH SCORE 159715.958
AT ITER 6054 NEW BEST:: SOT 2962747 SOS 2044935 HAS SOPS 2039870 HAS SOUS 158743 HAS SOUPS 157628 WITH SCORE 159672.935
AT ITER 6058 NEW BEST:: SOT 2962948 SOS 2045133 HAS SOPS 2040068 HAS SOUS 158690 HAS SOUPS 157575 WITH SCORE 159620.133
AT ITER 6060 NEW BEST:: SOT 2962931 SOS 2045099 HAS SOPS 2040034 HAS SOUS 158626 HAS SOUPS 157511 WITH SCORE 159556.099
AT ITER 6101 NEW BEST:: SOT 2962961 SOS 2045260 HAS SOPS 2040195 HAS SOUS 158603 HAS SOUPS 157488 WITH SCORE 159533.26
AT ITER 6104 NEW BEST:: SOT 2962879 SOS 2044903 HAS SOPS 2039838 HAS SOUS 158601 HAS SOUPS 157486 WITH SCORE 159530.903
AT ITER 6110 NEW BEST:: SOT 2962895 SOS 2044927 HAS SOPS 2039862 HAS SOUS 158277 HAS SOUPS 157162 WITH SCORE 159206.927
AT ITER 6117 NEW BEST:: SOT 2962895 SOS 2044851 HAS SOPS 2039881 HAS SOUS 158087 HAS SOUPS 156991 WITH SCORE 159035.851
AT ITER 6118 NEW BEST:: SOT 2962799 SOS 2044767 HAS SOPS 2039797 HAS SOUS 157927 HAS SOUPS 156831 WITH SCORE 158875.767
AT ITER 6131 NEW BEST:: SOT 2962725 SOS 2044545 HAS SOPS 2039575 HAS SOUS 157779 HAS SOUPS 156683 WITH SCORE 158727.545
AT ITER 6144 NEW BEST:: SOT 2962544 SOS 2044364 HAS SOPS 2039394 HAS SOUS 157598 HAS SOUPS 156502 WITH SCORE 158546.364
AT ITER 6145 NEW BEST:: SOT 2962500 SOS 2044320 HAS SOPS 2039350 HAS SOUS 157537 HAS SOUPS 156441 WITH SCORE 158485.32
AT ITER 6150 NEW BEST:: SOT 2962548 SOS 2044380 HAS SOPS 2039410 HAS SOUS 157345 HAS SOUPS 156249 WITH SCORE 158293.38
AT ITER 6163 NEW BEST:: SOT 2962518 SOS 2044297 HAS SOPS 2039327 HAS SOUS 157279 HAS SOUPS 156183 WITH SCORE 158227.297
AT ITER 6188 NEW BEST:: SOT 2962474 SOS 2044074 HAS SOPS 2039104 HAS SOUS 157181 HAS SOUPS 156085 WITH SCORE 158129.074
AT ITER 6190 NEW BEST:: SOT 2962359 SOS 2043978 HAS SOPS 2039053 HAS SOUS 157038 HAS SOUPS 155942 WITH SCORE 157985.978
AT ITER 6219 NEW BEST:: SOT 2962345 SOS 2043638 HAS SOPS 2038711 HAS SOUS 156976 HAS SOUPS 155880 WITH SCORE 157923.638
AT ITER 6221 NEW BEST:: SOT 2962322 SOS 2043802 HAS SOPS 2038875 HAS SOUS 156795 HAS SOUPS 155699 WITH SCORE 157742.802
AT ITER 6251 NEW BEST:: SOT 2962112 SOS 2043541 HAS SOPS 2038614 HAS SOUS 156402 HAS SOUPS 155306 WITH SCORE 157349.541
AT ITER 6263 NEW BEST:: SOT 2956687 SOS 2038116 HAS SOPS 2033189 HAS SOUS 155807 HAS SOUPS 154711 WITH SCORE 156749.116
AT ITER 6301 NEW BEST:: SOT 2956663 SOS 2039373 HAS SOPS 2034446 HAS SOUS 155784 HAS SOUPS 154688 WITH SCORE 156727.373
AT ITER 6329 NEW BEST:: SOT 2955445 SOS 2038155 HAS SOPS 2033228 HAS SOUS 155520 HAS SOUPS 154424 WITH SCORE 156462.155
AT ITER 6336 NEW BEST:: SOT 2955444 SOS 2038154 HAS SOPS 2033227 HAS SOUS 155520 HAS SOUPS 154424 WITH SCORE 156462.154
AT ITER 6343 NEW BEST:: SOT 2955444 SOS 2038113 HAS SOPS 2033186 HAS SOUS 155520 HAS SOUPS 154424 WITH SCORE 156462.113
AT ITER 6355 NEW BEST:: SOT 2954700 SOS 2037258 HAS SOPS 2032331 HAS SOUS 155262 HAS SOUPS 154166 WITH SCORE 156203.258
AT ITER 6373 NEW BEST:: SOT 2954748 SOS 2037282 HAS SOPS 2032355 HAS SOUS 155240 HAS SOUPS 154144 WITH SCORE 156181.282
AT ITER 6383 NEW BEST:: SOT 2954721 SOS 2037255 HAS SOPS 2032300 HAS SOUS 155186 HAS SOUPS 154090 WITH SCORE 156127.255
AT ITER 6397 NEW BEST:: SOT 2954718 SOS 2037061 HAS SOPS 2032106 HAS SOUS 155111 HAS SOUPS 154015 WITH SCORE 156052.061
AT ITER 6403 NEW BEST:: SOT 2954794 SOS 2037036 HAS SOPS 2032081 HAS SOUS 154907 HAS SOUPS 153811 WITH SCORE 155848.036
AT ITER 6414 NEW BEST:: SOT 2954804 SOS 2037051 HAS SOPS 2032096 HAS SOUS 154837 HAS SOUPS 153741 WITH SCORE 155778.051
AT ITER 6417 NEW BEST:: SOT 2954804 SOS 2037031 HAS SOPS 2032076 HAS SOUS 154837 HAS SOUPS 153741 WITH SCORE 155778.031
AT ITER 6418 NEW BEST:: SOT 2954781 SOS 2036983 HAS SOPS 2032028 HAS SOUS 154791 HAS SOUPS 153695 WITH SCORE 155731.983
AT ITER 6433 NEW BEST:: SOT 2954781 SOS 2036967 HAS SOPS 2032012 HAS SOUS 154775 HAS SOUPS 153679 WITH SCORE 155715.967
AT ITER 6437 NEW BEST:: SOT 2954773 SOS 2036931 HAS SOPS 2031976 HAS SOUS 154763 HAS SOUPS 153667 WITH SCORE 155703.931
AT ITER 6446 NEW BEST:: SOT 2954729 SOS 2036711 HAS SOPS 2031756 HAS SOUS 154763 HAS SOUPS 153667 WITH SCORE 155703.711
AT ITER 6466 NEW BEST:: SOT 2954721 SOS 2036686 HAS SOPS 2031731 HAS SOUS 154738 HAS SOUPS 153642 WITH SCORE 155678.686
AT ITER 6479 NEW BEST:: SOT 2954676 SOS 2036817 HAS SOPS 2031825 HAS SOUS 154648 HAS SOUPS 153552 WITH SCORE 155588.817
AT ITER 6492 NEW BEST:: SOT 2954612 SOS 2036753 HAS SOPS 2031735 HAS SOUS 154624 HAS SOUPS 153528 WITH SCORE 155564.753
AT ITER 6495 NEW BEST:: SOT 2954544 SOS 2036649 HAS SOPS 2031645 HAS SOUS 154577 HAS SOUPS 153481 WITH SCORE 155517.649
AT ITER 6498 NEW BEST:: SOT 2954542 SOS 2036647 HAS SOPS 2031643 HAS SOUS 154573 HAS SOUPS 153477 WITH SCORE 155513.647
AT ITER 6501 NEW BEST:: SOT 2954609 SOS 2036761 HAS SOPS 2031757 HAS SOUS 154499 HAS SOUPS 153403 WITH SCORE 155439.761
AT ITER 6503 NEW BEST:: SOT 2954530 SOS 2036682 HAS SOPS 2031678 HAS SOUS 154475 HAS SOUPS 153379 WITH SCORE 155415.682
AT ITER 6504 NEW BEST:: SOT 2954615 SOS 2036656 HAS SOPS 2031598 HAS SOUS 154431 HAS SOUPS 153335 WITH SCORE 155371.656
AT ITER 6534 NEW BEST:: SOT 2954595 SOS 2036596 HAS SOPS 2031538 HAS SOUS 154389 HAS SOUPS 153293 WITH SCORE 155329.596
AT ITER 6554 NEW BEST:: SOT 2954595 SOS 2037219 HAS SOPS 2032161 HAS SOUS 154386 HAS SOUPS 153290 WITH SCORE 155327.219
AT ITER 6579 NEW BEST:: SOT 2954595 SOS 2037203 HAS SOPS 2032145 HAS SOUS 154386 HAS SOUPS 153290 WITH SCORE 155327.203
AT ITER 6584 NEW BEST:: SOT 2954670 SOS 2037071 HAS SOPS 2032030 HAS SOUS 154315 HAS SOUPS 153219 WITH SCORE 155256.071
AT ITER 6608 NEW BEST:: SOT 2954692 SOS 2037126 HAS SOPS 2032085 HAS SOUS 154243 HAS SOUPS 153147 WITH SCORE 155184.126
AT ITER 6636 NEW BEST:: SOT 2954693 SOS 2037085 HAS SOPS 2032044 HAS SOUS 154218 HAS SOUPS 153122 WITH SCORE 155159.085
AT ITER 6669 NEW BEST:: SOT 2954831 SOS 2037223 HAS SOPS 2032182 HAS SOUS 154140 HAS SOUPS 153044 WITH SCORE 155081.223
AT ITER 6701 NEW BEST:: SOT 2954818 SOS 2037210 HAS SOPS 2032169 HAS SOUS 154123 HAS SOUPS 153027 WITH SCORE 155064.21
AT ITER 6709 NEW BEST:: SOT 2954906 SOS 2037298 HAS SOPS 2032257 HAS SOUS 153837 HAS SOUPS 152741 WITH SCORE 154778.298
AT ITER 6713 NEW BEST:: SOT 2954900 SOS 2037292 HAS SOPS 2032251 HAS SOUS 153833 HAS SOUPS 152737 WITH SCORE 154774.292
AT ITER 6716 NEW BEST:: SOT 2954854 SOS 2037246 HAS SOPS 2032205 HAS SOUS 153787 HAS SOUPS 152691 WITH SCORE 154728.246
AT ITER 6732 NEW BEST:: SOT 2954854 SOS 2037246 HAS SOPS 2032205 HAS SOUS 153784 HAS SOUPS 152688 WITH SCORE 154725.246
AT ITER 6755 NEW BEST:: SOT 2954854 SOS 2037294 HAS SOPS 2032253 HAS SOUS 153742 HAS SOUPS 152646 WITH SCORE 154683.294
AT ITER 6760 NEW BEST:: SOT 2954845 SOS 2037363 HAS SOPS 2032322 HAS SOUS 153733 HAS SOUPS 152637 WITH SCORE 154674.363
AT ITER 6769 NEW BEST:: SOT 2954607 SOS 2037207 HAS SOPS 2032166 HAS SOUS 153556 HAS SOUPS 152460 WITH SCORE 154497.207
AT ITER 6774 NEW BEST:: SOT 2954610 SOS 2037210 HAS SOPS 2032169 HAS SOUS 153457 HAS SOUPS 152361 WITH SCORE 154398.21
AT ITER 6797 NEW BEST:: SOT 2954539 SOS 2037559 HAS SOPS 2032520 HAS SOUS 153384 HAS SOUPS 152288 WITH SCORE 154325.559
AT ITER 6827 NEW BEST:: SOT 2954537 SOS 2037557 HAS SOPS 2032518 HAS SOUS 153382 HAS SOUPS 152286 WITH SCORE 154323.557
AT ITER 6837 NEW BEST:: SOT 2954509 SOS 2037529 HAS SOPS 2032490 HAS SOUS 153278 HAS SOUPS 152182 WITH SCORE 154219.529
AT ITER 6845 NEW BEST:: SOT 2954464 SOS 2037484 HAS SOPS 2032440 HAS SOUS 153188 HAS SOUPS 152092 WITH SCORE 154129.484
AT ITER 6859 NEW BEST:: SOT 2954314 SOS 2037379 HAS SOPS 2032335 HAS SOUS 153099 HAS SOUPS 152003 WITH SCORE 154040.379
AT ITER 6871 NEW BEST:: SOT 2954288 SOS 2037353 HAS SOPS 2032309 HAS SOUS 153083 HAS SOUPS 151987 WITH SCORE 154024.353
AT ITER 6890 NEW BEST:: SOT 2952498 SOS 2035552 HAS SOPS 2030508 HAS SOUS 152762 HAS SOUPS 151666 WITH SCORE 153701.552
AT ITER 6906 NEW BEST:: SOT 2952492 SOS 2035546 HAS SOPS 2030502 HAS SOUS 152759 HAS SOUPS 151663 WITH SCORE 153698.546
AT ITER 6911 NEW BEST:: SOT 2952425 SOS 2035115 HAS SOPS 2030071 HAS SOUS 152638 HAS SOUPS 151542 WITH SCORE 153577.115
AT ITER 6921 NEW BEST:: SOT 2952464 SOS 2035154 HAS SOPS 2030110 HAS SOUS 152466 HAS SOUPS 151370 WITH SCORE 153405.154
AT ITER 6931 NEW BEST:: SOT 2952358 SOS 2035164 HAS SOPS 2030120 HAS SOUS 152353 HAS SOUPS 151257 WITH SCORE 153292.164
AT ITER 6986 NEW BEST:: SOT 2952304 SOS 2035110 HAS SOPS 2030066 HAS SOUS 152019 HAS SOUPS 150923 WITH SCORE 152958.11
AT ITER 6996 NEW BEST:: SOT 2952304 SOS 2035056 HAS SOPS 2030012 HAS SOUS 151965 HAS SOUPS 150869 WITH SCORE 152904.056
AT ITER 7058 NEW BEST:: SOT 2952260 SOS 2034598 HAS SOPS 2029554 HAS SOUS 151911 HAS SOUPS 150815 WITH SCORE 152849.598
AT ITER 7080 NEW BEST:: SOT 2952232 SOS 2034570 HAS SOPS 2029526 HAS SOUS 151883 HAS SOUPS 150787 WITH SCORE 152821.57
AT ITER 7089 NEW BEST:: SOT 2952194 SOS 2034571 HAS SOPS 2029527 HAS SOUS 151845 HAS SOUPS 150749 WITH SCORE 152783.571
AT ITER 7090 NEW BEST:: SOT 2952149 SOS 2034486 HAS SOPS 2029442 HAS SOUS 151823 HAS SOUPS 150727 WITH SCORE 152761.486
AT ITER 7111 NEW BEST:: SOT 2952143 SOS 2034480 HAS SOPS 2029436 HAS SOUS 151811 HAS SOUPS 150715 WITH SCORE 152749.48
AT ITER 7115 NEW BEST:: SOT 2952209 SOS 2034949 HAS SOPS 2029905 HAS SOUS 151780 HAS SOUPS 150684 WITH SCORE 152718.949
AT ITER 7138 NEW BEST:: SOT 2952223 SOS 2034963 HAS SOPS 2029919 HAS SOUS 151776 HAS SOUPS 150680 WITH SCORE 152714.963
AT ITER 7150 NEW BEST:: SOT 2952100 SOS 2032841 HAS SOPS 2027797 HAS SOUS 151662 HAS SOUPS 150566 WITH SCORE 152598.841
AT ITER 7169 NEW BEST:: SOT 2952100 SOS 2032819 HAS SOPS 2027775 HAS SOUS 151662 HAS SOUPS 150566 WITH SCORE 152598.819
AT ITER 7207 NEW BEST:: SOT 2952155 SOS 2032358 HAS SOPS 2027314 HAS SOUS 151656 HAS SOUPS 150560 WITH SCORE 152592.358
AT ITER 7213 NEW BEST:: SOT 2952137 SOS 2032376 HAS SOPS 2027332 HAS SOUS 151638 HAS SOUPS 150542 WITH SCORE 152574.376
AT ITER 7215 NEW BEST:: SOT 2952137 SOS 2032371 HAS SOPS 2027327 HAS SOUS 151633 HAS SOUPS 150537 WITH SCORE 152569.371
AT ITER 7226 NEW BEST:: SOT 2952135 SOS 2032369 HAS SOPS 2027329 HAS SOUS 151629 HAS SOUPS 150533 WITH SCORE 152565.369
AT ITER 7286 NEW BEST:: SOT 2952158 SOS 2032397 HAS SOPS 2027357 HAS SOUS 151595 HAS SOUPS 150499 WITH SCORE 152531.397
AT ITER 7295 NEW BEST:: SOT 2952158 SOS 2032397 HAS SOPS 2027357 HAS SOUS 151223 HAS SOUPS 150127 WITH SCORE 152159.397
AT ITER 7303 NEW BEST:: SOT 2952156 SOS 2032395 HAS SOPS 2027356 HAS SOUS 151221 HAS SOUPS 150125 WITH SCORE 152157.395
AT ITER 7331 NEW BEST:: SOT 2952079 SOS 2032318 HAS SOPS 2027334 HAS SOUS 151177 HAS SOUPS 150081 WITH SCORE 152113.318
AT ITER 7341 NEW BEST:: SOT 2939290 SOS 2019483 HAS SOPS 2014499 HAS SOUS 150160 HAS SOUPS 149064 WITH SCORE 151083.483
AT ITER 7375 NEW BEST:: SOT 2939255 SOS 2019399 HAS SOPS 2014415 HAS SOUS 150118 HAS SOUPS 149022 WITH SCORE 151041.399
AT ITER 7389 NEW BEST:: SOT 2939248 SOS 2019392 HAS SOPS 2014412 HAS SOUS 150112 HAS SOUPS 149016 WITH SCORE 151035.392
AT ITER 7422 NEW BEST:: SOT 2939246 SOS 2019390 HAS SOPS 2014412 HAS SOUS 150110 HAS SOUPS 149014 WITH SCORE 151033.39
AT ITER 7436 NEW BEST:: SOT 2939202 SOS 2019304 HAS SOPS 2014326 HAS SOUS 150029 HAS SOUPS 148933 WITH SCORE 150952.304
AT ITER 7458 NEW BEST:: SOT 2939229 SOS 2019331 HAS SOPS 2014337 HAS SOUS 150019 HAS SOUPS 148923 WITH SCORE 150942.331
AT ITER 7487 NEW BEST:: SOT 2943335 SOS 2023437 HAS SOPS 2018443 HAS SOUS 149240 HAS SOUPS 148144 WITH SCORE 150167.437
AT ITER 7510 NEW BEST:: SOT 2943330 SOS 2023437 HAS SOPS 2018443 HAS SOUS 149235 HAS SOUPS 148139 WITH SCORE 150162.437
AT ITER 7533 NEW BEST:: SOT 2943311 SOS 2023437 HAS SOPS 2018443 HAS SOUS 149216 HAS SOUPS 148120 WITH SCORE 150143.437
AT ITER 7558 NEW BEST:: SOT 2940534 SOS 2020660 HAS SOPS 2015666 HAS SOUS 148638 HAS SOUPS 147542 WITH SCORE 149562.66
AT ITER 7591 NEW BEST:: SOT 2940525 SOS 2020648 HAS SOPS 2015654 HAS SOUS 148614 HAS SOUPS 147518 WITH SCORE 149538.648
AT ITER 7604 NEW BEST:: SOT 2940551 SOS 2020632 HAS SOPS 2015638 HAS SOUS 148539 HAS SOUPS 147443 WITH SCORE 149463.632
AT ITER 7612 NEW BEST:: SOT 2940553 SOS 2020711 HAS SOPS 2015717 HAS SOUS 148508 HAS SOUPS 147412 WITH SCORE 149432.711
AT ITER 7615 NEW BEST:: SOT 2940517 SOS 2020639 HAS SOPS 2015645 HAS SOUS 148400 HAS SOUPS 147304 WITH SCORE 149324.639
AT ITER 7637 NEW BEST:: SOT 2940434 SOS 2020703 HAS SOPS 2015719 HAS SOUS 148358 HAS SOUPS 147262 WITH SCORE 149282.703
AT ITER 7646 NEW BEST:: SOT 2940459 SOS 2020728 HAS SOPS 2015744 HAS SOUS 148242 HAS SOUPS 147146 WITH SCORE 149166.728
AT ITER 7652 NEW BEST:: SOT 2940459 SOS 2020723 HAS SOPS 2015729 HAS SOUS 148232 HAS SOUPS 147126 WITH SCORE 149146.723
AT ITER 7678 NEW BEST:: SOT 2940394 SOS 2020638 HAS SOPS 2015644 HAS SOUS 148230 HAS SOUPS 147124 WITH SCORE 149144.638
AT ITER 7695 NEW BEST:: SOT 2940394 SOS 2020868 HAS SOPS 2015874 HAS SOUS 148092 HAS SOUPS 146986 WITH SCORE 149006.868
AT ITER 7697 NEW BEST:: SOT 2940394 SOS 2020849 HAS SOPS 2015855 HAS SOUS 148073 HAS SOUPS 146967 WITH SCORE 148987.849
AT ITER 7701 NEW BEST:: SOT 2940388 SOS 2020861 HAS SOPS 2015867 HAS SOUS 148067 HAS SOUPS 146961 WITH SCORE 148981.861
AT ITER 7712 NEW BEST:: SOT 2940207 SOS 2020751 HAS SOPS 2015757 HAS SOUS 148039 HAS SOUPS 146933 WITH SCORE 148953.751
AT ITER 7722 NEW BEST:: SOT 2940414 SOS 2020846 HAS SOPS 2015852 HAS SOUS 147975 HAS SOUPS 146869 WITH SCORE 148889.846
AT ITER 7724 NEW BEST:: SOT 2940376 SOS 2020831 HAS SOPS 2015837 HAS SOUS 147880 HAS SOUPS 146774 WITH SCORE 148794.831
AT ITER 7730 NEW BEST:: SOT 2940376 SOS 2020708 HAS SOPS 2015714 HAS SOUS 147880 HAS SOUPS 146774 WITH SCORE 148794.708
AT ITER 7779 NEW BEST:: SOT 2940376 SOS 2020450 HAS SOPS 2015456 HAS SOUS 147837 HAS SOUPS 146731 WITH SCORE 148751.45
AT ITER 7785 NEW BEST:: SOT 2940375 SOS 2020422 HAS SOPS 2015323 HAS SOUS 147589 HAS SOUPS 146483 WITH SCORE 148503.422
AT ITER 7841 NEW BEST:: SOT 2940375 SOS 2020422 HAS SOPS 2015324 HAS SOUS 147588 HAS SOUPS 146482 WITH SCORE 148502.422
AT ITER 7845 NEW BEST:: SOT 2940368 SOS 2020436 HAS SOPS 2015338 HAS SOUS 147574 HAS SOUPS 146468 WITH SCORE 148488.436
AT ITER 7851 NEW BEST:: SOT 2940354 SOS 2020422 HAS SOPS 2015324 HAS SOUS 147551 HAS SOUPS 146445 WITH SCORE 148465.422
AT ITER 7867 NEW BEST:: SOT 2940321 SOS 2020389 HAS SOPS 2015291 HAS SOUS 147518 HAS SOUPS 146412 WITH SCORE 148432.389
AT ITER 7886 NEW BEST:: SOT 2940321 SOS 2020227 HAS SOPS 2015129 HAS SOUS 147518 HAS SOUPS 146412 WITH SCORE 148432.227
AT ITER 7890 NEW BEST:: SOT 2933497 SOS 2013403 HAS SOPS 2008305 HAS SOUS 147382 HAS SOUPS 146276 WITH SCORE 148289.403
AT ITER 7921 NEW BEST:: SOT 2933401 SOS 2013228 HAS SOPS 2008130 HAS SOUS 147303 HAS SOUPS 146197 WITH SCORE 148210.228
AT ITER 7957 NEW BEST:: SOT 2929081 SOS 2008900 HAS SOPS 2003802 HAS SOUS 146826 HAS SOUPS 145720 WITH SCORE 147728.9
AT ITER 7971 NEW BEST:: SOT 2929006 SOS 2008651 HAS SOPS 2003553 HAS SOUS 146674 HAS SOUPS 145568 WITH SCORE 147576.651
AT ITER 7993 NEW BEST:: SOT 2936554 SOS 2016258 HAS SOPS 2011160 HAS SOUS 146469 HAS SOUPS 145363 WITH SCORE 147379.258
AT ITER 8046 NEW BEST:: SOT 2936551 SOS 2016236 HAS SOPS 2011138 HAS SOUS 146432 HAS SOUPS 145326 WITH SCORE 147342.236
AT ITER 8062 NEW BEST:: SOT 2936601 SOS 2016463 HAS SOPS 2011365 HAS SOUS 146424 HAS SOUPS 145318 WITH SCORE 147334.463
AT ITER 8108 NEW BEST:: SOT 2936558 SOS 2016363 HAS SOPS 2011265 HAS SOUS 146414 HAS SOUPS 145308 WITH SCORE 147324.363
AT ITER 8112 NEW BEST:: SOT 2936499 SOS 2016304 HAS SOPS 2011206 HAS SOUS 146355 HAS SOUPS 145249 WITH SCORE 147265.304
AT ITER 8119 NEW BEST:: SOT 2936506 SOS 2016311 HAS SOPS 2011213 HAS SOUS 146326 HAS SOUPS 145220 WITH SCORE 147236.311
AT ITER 8165 NEW BEST:: SOT 2936621 SOS 2016486 HAS SOPS 2011388 HAS SOUS 145873 HAS SOUPS 144767 WITH SCORE 146783.486
AT ITER 8180 NEW BEST:: SOT 2936795 SOS 2016615 HAS SOPS 2011517 HAS SOUS 145716 HAS SOUPS 144610 WITH SCORE 146626.615
AT ITER 8207 NEW BEST:: SOT 2936795 SOS 2016570 HAS SOPS 2011472 HAS SOUS 145671 HAS SOUPS 144565 WITH SCORE 146581.57
AT ITER 8210 NEW BEST:: SOT 2936769 SOS 2016468 HAS SOPS 2011370 HAS SOUS 145632 HAS SOUPS 144526 WITH SCORE 146542.468
AT ITER 8219 NEW BEST:: SOT 2936724 SOS 2016423 HAS SOPS 2011325 HAS SOUS 145617 HAS SOUPS 144511 WITH SCORE 146527.423
AT ITER 8228 NEW BEST:: SOT 2936724 SOS 2016538 HAS SOPS 2011440 HAS SOUS 145607 HAS SOUPS 144501 WITH SCORE 146517.538
AT ITER 8241 NEW BEST:: SOT 2936724 SOS 2016250 HAS SOPS 2011152 HAS SOUS 145607 HAS SOUPS 144501 WITH SCORE 146517.25
AT ITER 8281 NEW BEST:: SOT 2936731 SOS 2016005 HAS SOPS 2010881 HAS SOUS 145605 HAS SOUPS 144499 WITH SCORE 146515.005
AT ITER 8290 NEW BEST:: SOT 2936731 SOS 2015960 HAS SOPS 2010836 HAS SOUS 145575 HAS SOUPS 144469 WITH SCORE 146484.96
AT ITER 8315 NEW BEST:: SOT 2936731 SOS 2015700 HAS SOPS 2010576 HAS SOUS 145575 HAS SOUPS 144469 WITH SCORE 146484.7
AT ITER 8335 NEW BEST:: SOT 2936555 SOS 2015524 HAS SOPS 2010400 HAS SOUS 145159 HAS SOUPS 144053 WITH SCORE 146068.524
AT ITER 8338 NEW BEST:: SOT 2936501 SOS 2015861 HAS SOPS 2010755 HAS SOUS 145018 HAS SOUPS 143912 WITH SCORE 145927.861
AT ITER 8361 NEW BEST:: SOT 2936656 SOS 2016016 HAS SOPS 2010910 HAS SOUS 144814 HAS SOUPS 143708 WITH SCORE 145724.016
AT ITER 8438 NEW BEST:: SOT 2936656 SOS 2016097 HAS SOPS 2010991 HAS SOUS 144760 HAS SOUPS 143654 WITH SCORE 145670.097
AT ITER 8448 NEW BEST:: SOT 2936713 SOS 2016139 HAS SOPS 2011033 HAS SOUS 144607 HAS SOUPS 143501 WITH SCORE 145517.139
AT ITER 8472 NEW BEST:: SOT 2936731 SOS 2016157 HAS SOPS 2011051 HAS SOUS 144590 HAS SOUPS 143484 WITH SCORE 145500.157
AT ITER 8502 NEW BEST:: SOT 2936731 SOS 2016085 HAS SOPS 2010979 HAS SOUS 144590 HAS SOUPS 143484 WITH SCORE 145500.085
AT ITER 8520 NEW BEST:: SOT 2936731 SOS 2016077 HAS SOPS 2010963 HAS SOUS 144582 HAS SOUPS 143476 WITH SCORE 145492.077
AT ITER 8527 NEW BEST:: SOT 2936616 SOS 2015962 HAS SOPS 2010848 HAS SOUS 144378 HAS SOUPS 143272 WITH SCORE 145287.962
AT ITER 8538 NEW BEST:: SOT 2936616 SOS 2015954 HAS SOPS 2010840 HAS SOUS 144378 HAS SOUPS 143272 WITH SCORE 145287.954
AT ITER 8544 NEW BEST:: SOT 2936620 SOS 2015950 HAS SOPS 2010836 HAS SOUS 144378 HAS SOUPS 143272 WITH SCORE 145287.95
AT ITER 8550 NEW BEST:: SOT 2936616 SOS 2015946 HAS SOPS 2010832 HAS SOUS 144374 HAS SOUPS 143268 WITH SCORE 145283.946
AT ITER 8572 NEW BEST:: SOT 2936712 SOS 2016140 HAS SOPS 2011026 HAS SOUS 144280 HAS SOUPS 143174 WITH SCORE 145190.14
AT ITER 8586 NEW BEST:: SOT 2936696 SOS 2016124 HAS SOPS 2011010 HAS SOUS 144251 HAS SOUPS 143145 WITH SCORE 145161.124
AT ITER 8600 NEW BEST:: SOT 2936665 SOS 2016093 HAS SOPS 2010979 HAS SOUS 144158 HAS SOUPS 143052 WITH SCORE 145068.093
AT ITER 8627 NEW BEST:: SOT 2936615 SOS 2016043 HAS SOPS 2010929 HAS SOUS 144102 HAS SOUPS 142996 WITH SCORE 145012.043
AT ITER 8636 NEW BEST:: SOT 2936615 SOS 2016041 HAS SOPS 2010927 HAS SOUS 144102 HAS SOUPS 142996 WITH SCORE 145012.041
AT ITER 8676 NEW BEST:: SOT 2936567 SOS 2016096 HAS SOPS 2010982 HAS SOUS 144042 HAS SOUPS 142936 WITH SCORE 144952.096
AT ITER 8693 NEW BEST:: SOT 2936567 SOS 2016111 HAS SOPS 2011033 HAS SOUS 143952 HAS SOUPS 142875 WITH SCORE 144891.111
AT ITER 8709 NEW BEST:: SOT 2936383 SOS 2019091 HAS SOPS 2014163 HAS SOUS 143844 HAS SOUPS 142792 WITH SCORE 144811.091
AT ITER 8715 NEW BEST:: SOT 2936251 SOS 2018913 HAS SOPS 2013985 HAS SOUS 143689 HAS SOUPS 142637 WITH SCORE 144655.913
AT ITER 8723 NEW BEST:: SOT 2936231 SOS 2018893 HAS SOPS 2013965 HAS SOUS 143675 HAS SOUPS 142623 WITH SCORE 144641.893
AT ITER 8752 NEW BEST:: SOT 2936228 SOS 2018890 HAS SOPS 2013960 HAS SOUS 143669 HAS SOUPS 142617 WITH SCORE 144635.89
AT ITER 8758 NEW BEST:: SOT 2936216 SOS 2018878 HAS SOPS 2013960 HAS SOUS 143669 HAS SOUPS 142617 WITH SCORE 144635.878
AT ITER 8759 NEW BEST:: SOT 2936090 SOS 2018753 HAS SOPS 2013835 HAS SOUS 143455 HAS SOUPS 142403 WITH SCORE 144421.753
AT ITER 8771 NEW BEST:: SOT 2936346 SOS 2019009 HAS SOPS 2014091 HAS SOUS 143333 HAS SOUPS 142281 WITH SCORE 144300.009
AT ITER 8807 NEW BEST:: SOT 2936282 SOS 2018929 HAS SOPS 2013995 HAS SOUS 143269 HAS SOUPS 142201 WITH SCORE 144219.929
AT ITER 8821 NEW BEST:: SOT 2936250 SOS 2018897 HAS SOPS 2013963 HAS SOUS 143221 HAS SOUPS 142153 WITH SCORE 144171.897
AT ITER 8829 NEW BEST:: SOT 2936248 SOS 2018770 HAS SOPS 2013836 HAS SOUS 143025 HAS SOUPS 141957 WITH SCORE 143975.77
AT ITER 8838 NEW BEST:: SOT 2936211 SOS 2018733 HAS SOPS 2013799 HAS SOUS 142978 HAS SOUPS 141910 WITH SCORE 143928.733
AT ITER 8875 NEW BEST:: SOT 2936194 SOS 2018716 HAS SOPS 2013794 HAS SOUS 142972 HAS SOUPS 141908 WITH SCORE 143926.716
AT ITER 8889 NEW BEST:: SOT 2936188 SOS 2018710 HAS SOPS 2013788 HAS SOUS 142961 HAS SOUPS 141897 WITH SCORE 143915.71
AT ITER 8909 NEW BEST:: SOT 2936180 SOS 2018694 HAS SOPS 2013772 HAS SOUS 142920 HAS SOUPS 141856 WITH SCORE 143874.694
AT ITER 8917 NEW BEST:: SOT 2936052 SOS 2018479 HAS SOPS 2013594 HAS SOUS 142856 HAS SOUPS 141792 WITH SCORE 143810.479
AT ITER 8963 NEW BEST:: SOT 2936039 SOS 2018466 HAS SOPS 2013581 HAS SOUS 142843 HAS SOUPS 141779 WITH SCORE 143797.466
AT ITER 8978 NEW BEST:: SOT 2936039 SOS 2018453 HAS SOPS 2013568 HAS SOUS 142843 HAS SOUPS 141779 WITH SCORE 143797.453
AT ITER 8988 NEW BEST:: SOT 2936035 SOS 2018445 HAS SOPS 2013560 HAS SOUS 142835 HAS SOUPS 141771 WITH SCORE 143789.445
AT ITER 8991 NEW BEST:: SOT 2936038 SOS 2018448 HAS SOPS 2013563 HAS SOUS 142805 HAS SOUPS 141741 WITH SCORE 143759.448
AT ITER 9004 NEW BEST:: SOT 2935951 SOS 2018390 HAS SOPS 2013505 HAS SOUS 142776 HAS SOUPS 141712 WITH SCORE 143730.39
AT ITER 9010 NEW BEST:: SOT 2935947 SOS 2018374 HAS SOPS 2013489 HAS SOUS 142776 HAS SOUPS 141712 WITH SCORE 143730.374
AT ITER 9014 NEW BEST:: SOT 2935947 SOS 2018304 HAS SOPS 2013419 HAS SOUS 142748 HAS SOUPS 141684 WITH SCORE 143702.304
AT ITER 9017 NEW BEST:: SOT 2935939 SOS 2018365 HAS SOPS 2013480 HAS SOUS 142743 HAS SOUPS 141679 WITH SCORE 143697.365
AT ITER 9054 NEW BEST:: SOT 2935928 SOS 2018343 HAS SOPS 2013469 HAS SOUS 142743 HAS SOUPS 141679 WITH SCORE 143697.343
AT ITER 9058 NEW BEST:: SOT 2935868 SOS 2018223 HAS SOPS 2013349 HAS SOUS 142683 HAS SOUPS 141619 WITH SCORE 143637.223
AT ITER 9084 NEW BEST:: SOT 2935837 SOS 2018208 HAS SOPS 2013334 HAS SOUS 142654 HAS SOUPS 141590 WITH SCORE 143608.208
AT ITER 9086 NEW BEST:: SOT 2935826 SOS 2018197 HAS SOPS 2013323 HAS SOUS 142616 HAS SOUPS 141552 WITH SCORE 143570.197
AT ITER 9116 NEW BEST:: SOT 2935826 SOS 2018186 HAS SOPS 2013312 HAS SOUS 142605 HAS SOUPS 141541 WITH SCORE 143559.186
AT ITER 9134 NEW BEST:: SOT 2935826 SOS 2018113 HAS SOPS 2013239 HAS SOUS 142605 HAS SOUPS 141541 WITH SCORE 143559.113
AT ITER 9136 NEW BEST:: SOT 2937732 SOS 2020076 HAS SOPS 2015202 HAS SOUS 141980 HAS SOUPS 140916 WITH SCORE 142936.076
AT ITER 9141 NEW BEST:: SOT 2937732 SOS 2020063 HAS SOPS 2015189 HAS SOUS 141954 HAS SOUPS 140890 WITH SCORE 142910.063
AT ITER 9151 NEW BEST:: SOT 2937732 SOS 2020021 HAS SOPS 2015147 HAS SOUS 141954 HAS SOUPS 140890 WITH SCORE 142910.021
AT ITER 9153 NEW BEST:: SOT 2937726 SOS 2020006 HAS SOPS 2015132 HAS SOUS 141952 HAS SOUPS 140888 WITH SCORE 142908.006
AT ITER 9171 NEW BEST:: SOT 2937725 SOS 2020004 HAS SOPS 2015130 HAS SOUS 141951 HAS SOUPS 140887 WITH SCORE 142907.004
AT ITER 9176 NEW BEST:: SOT 2937325 SOS 2019604 HAS SOPS 2014730 HAS SOUS 141792 HAS SOUPS 140728 WITH SCORE 142747.604
AT ITER 9187 NEW BEST:: SOT 2937288 SOS 2019417 HAS SOPS 2014543 HAS SOUS 141647 HAS SOUPS 140583 WITH SCORE 142602.417
AT ITER 9191 NEW BEST:: SOT 2937288 SOS 2019415 HAS SOPS 2014541 HAS SOUS 141645 HAS SOUPS 140581 WITH SCORE 142600.415
AT ITER 9231 NEW BEST:: SOT 2937297 SOS 2019424 HAS SOPS 2014550 HAS SOUS 141620 HAS SOUPS 140556 WITH SCORE 142575.424
AT ITER 9289 NEW BEST:: SOT 2937454 SOS 2019587 HAS SOPS 2014713 HAS SOUS 141527 HAS SOUPS 140463 WITH SCORE 142482.587
AT ITER 9344 NEW BEST:: SOT 2937396 SOS 2019379 HAS SOPS 2014505 HAS SOUS 141444 HAS SOUPS 140380 WITH SCORE 142399.379
AT ITER 9347 NEW BEST:: SOT 2937379 SOS 2019362 HAS SOPS 2014473 HAS SOUS 141414 HAS SOUPS 140350 WITH SCORE 142369.362
AT ITER 9348 NEW BEST:: SOT 2937457 SOS 2019528 HAS SOPS 2014545 HAS SOUS 141384 HAS SOUPS 140320 WITH SCORE 142339.528
AT ITER 9362 NEW BEST:: SOT 2937449 SOS 2019512 HAS SOPS 2014529 HAS SOUS 141376 HAS SOUPS 140312 WITH SCORE 142331.512
AT ITER 9383 NEW BEST:: SOT 2936997 SOS 2019111 HAS SOPS 2014128 HAS SOUS 140422 HAS SOUPS 139358 WITH SCORE 141377.111
AT ITER 9398 NEW BEST:: SOT 2937029 SOS 2019159 HAS SOPS 2014176 HAS SOUS 140343 HAS SOUPS 139279 WITH SCORE 141298.159
AT ITER 9399 NEW BEST:: SOT 2936976 SOS 2019117 HAS SOPS 2014134 HAS SOUS 140333 HAS SOUPS 139269 WITH SCORE 141288.117
AT ITER 9402 NEW BEST:: SOT 2936936 SOS 2018475 HAS SOPS 2013492 HAS SOUS 140280 HAS SOUPS 139216 WITH SCORE 141234.475
AT ITER 9412 NEW BEST:: SOT 2936920 SOS 2018459 HAS SOPS 2013476 HAS SOUS 140264 HAS SOUPS 139200 WITH SCORE 141218.459
AT ITER 9439 NEW BEST:: SOT 2936887 SOS 2018426 HAS SOPS 2013443 HAS SOUS 140231 HAS SOUPS 139167 WITH SCORE 141185.426
AT ITER 9441 NEW BEST:: SOT 2936890 SOS 2018295 HAS SOPS 2013312 HAS SOUS 140228 HAS SOUPS 139164 WITH SCORE 141182.295
AT ITER 9460 NEW BEST:: SOT 2936798 SOS 2018249 HAS SOPS 2013266 HAS SOUS 140176 HAS SOUPS 139112 WITH SCORE 141130.249
AT ITER 9464 NEW BEST:: SOT 2936757 SOS 2018349 HAS SOPS 2013366 HAS SOUS 140166 HAS SOUPS 139102 WITH SCORE 141120.349
AT ITER 9481 NEW BEST:: SOT 2936757 SOS 2018217 HAS SOPS 2013234 HAS SOUS 140166 HAS SOUPS 139102 WITH SCORE 141120.217
AT ITER 9484 NEW BEST:: SOT 2936750 SOS 2017842 HAS SOPS 2013037 HAS SOUS 140110 HAS SOUPS 139073 WITH SCORE 141090.842
AT ITER 9515 NEW BEST:: SOT 2936772 SOS 2017864 HAS SOPS 2013043 HAS SOUS 140079 HAS SOUPS 139042 WITH SCORE 141059.864
AT ITER 9544 NEW BEST:: SOT 2936776 SOS 2017864 HAS SOPS 2013043 HAS SOUS 140075 HAS SOUPS 139038 WITH SCORE 141055.864
AT ITER 9596 NEW BEST:: SOT 2936766 SOS 2017844 HAS SOPS 2013023 HAS SOUS 139936 HAS SOUPS 138899 WITH SCORE 140916.844
AT ITER 9617 NEW BEST:: SOT 2936776 SOS 2017854 HAS SOPS 2013033 HAS SOUS 139906 HAS SOUPS 138869 WITH SCORE 140886.854
AT ITER 9619 NEW BEST:: SOT 2936737 SOS 2017901 HAS SOPS 2013080 HAS SOUS 139736 HAS SOUPS 138699 WITH SCORE 140716.901
AT ITER 9635 NEW BEST:: SOT 2936723 SOS 2017821 HAS SOPS 2013000 HAS SOUS 139678 HAS SOUPS 138641 WITH SCORE 140658.821
AT ITER 9729 NEW BEST:: SOT 2936626 SOS 2017620 HAS SOPS 2012799 HAS SOUS 139510 HAS SOUPS 138473 WITH SCORE 140490.62
AT ITER 9737 NEW BEST:: SOT 2936560 SOS 2017489 HAS SOPS 2012668 HAS SOUS 139448 HAS SOUPS 138411 WITH SCORE 140428.489
AT ITER 9763 NEW BEST:: SOT 2936560 SOS 2017475 HAS SOPS 2012654 HAS SOUS 139448 HAS SOUPS 138411 WITH SCORE 140428.475
AT ITER 9828 NEW BEST:: SOT 2936548 SOS 2017463 HAS SOPS 2012642 HAS SOUS 139436 HAS SOUPS 138399 WITH SCORE 140416.463
AT ITER 9833 NEW BEST:: SOT 2936555 SOS 2017595 HAS SOPS 2012774 HAS SOUS 139408 HAS SOUPS 138371 WITH SCORE 140388.595
AT ITER 9890 NEW BEST:: SOT 2936543 SOS 2017583 HAS SOPS 2012762 HAS SOUS 139319 HAS SOUPS 138282 WITH SCORE 140299.583
AT ITER 9899 NEW BEST:: SOT 2936556 SOS 2017438 HAS SOPS 2012617 HAS SOUS 139307 HAS SOUPS 138270 WITH SCORE 140287.438
AT ITER 9908 NEW BEST:: SOT 2936556 SOS 2017246 HAS SOPS 2012425 HAS SOUS 139307 HAS SOUPS 138270 WITH SCORE 140287.246
AT ITER 9910 NEW BEST:: SOT 2936530 SOS 2017220 HAS SOPS 2012386 HAS SOUS 139255 HAS SOUPS 138218 WITH SCORE 140235.22
AT ITER 9936 NEW BEST:: SOT 2936488 SOS 2017178 HAS SOPS 2012344 HAS SOUS 139206 HAS SOUPS 138169 WITH SCORE 140186.178
AT ITER 9952 NEW BEST:: SOT 2936491 SOS 2017181 HAS SOPS 2012347 HAS SOUS 139205 HAS SOUPS 138168 WITH SCORE 140185.181
AT ITER 9973 NEW BEST:: SOT 2936477 SOS 2017139 HAS SOPS 2012305 HAS SOUS 139163 HAS SOUPS 138126 WITH SCORE 140143.139
AT ITER 9989 NEW BEST:: SOT 2936471 SOS 2017180 HAS SOPS 2012346 HAS SOUS 139114 HAS SOUPS 138077 WITH SCORE 140094.18
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13821128 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16085924 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S06J04T06.tgz
mv PolyORBLF-PT-S06J04T06 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;