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.r099-tall-167814472000120.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CloudReconfiguration-PT-315, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472000120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 7.4K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 11:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 11:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 11:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 25 11:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 11:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 11:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 660K Mar 5 18:22 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 1678226132564

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

Filename model.pnml
Petri model created: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4443229 SOS 758851 HAS SOPS 758851 HAS SOUS 699873 HAS SOUPS 699873 WITH SCORE 700631.851
AT ITER 69 NEW BEST:: SOT 4443078 SOS 758834 HAS SOPS 758834 HAS SOUS 699811 HAS SOUPS 699811 WITH SCORE 700569.834
AT ITER 110 NEW BEST:: SOT 4443159 SOS 758358 HAS SOPS 758358 HAS SOUS 699613 HAS SOUPS 699613 WITH SCORE 700371.358
AT ITER 132 NEW BEST:: SOT 4442891 SOS 757822 HAS SOPS 757822 HAS SOUS 699077 HAS SOUPS 699077 WITH SCORE 699834.822
AT ITER 143 NEW BEST:: SOT 4442858 SOS 757818 HAS SOPS 757818 HAS SOUS 699044 HAS SOUPS 699044 WITH SCORE 699801.818
AT ITER 145 NEW BEST:: SOT 4442858 SOS 757818 HAS SOPS 757818 HAS SOUS 698884 HAS SOUPS 698884 WITH SCORE 699641.818
AT ITER 156 NEW BEST:: SOT 4442858 SOS 757448 HAS SOPS 757448 HAS SOUS 698883 HAS SOUPS 698883 WITH SCORE 699640.448
AT ITER 159 NEW BEST:: SOT 4442857 SOS 757446 HAS SOPS 757446 HAS SOUS 698881 HAS SOUPS 698881 WITH SCORE 699638.446
AT ITER 212 NEW BEST:: SOT 4442856 SOS 757444 HAS SOPS 757444 HAS SOUS 698879 HAS SOUPS 698879 WITH SCORE 699636.444
AT ITER 214 NEW BEST:: SOT 4442701 SOS 757031 HAS SOPS 757031 HAS SOUS 698471 HAS SOUPS 698471 WITH SCORE 699228.031
AT ITER 216 NEW BEST:: SOT 4442700 SOS 757029 HAS SOPS 757029 HAS SOUS 698469 HAS SOUPS 698469 WITH SCORE 699226.029
AT ITER 223 NEW BEST:: SOT 4442552 SOS 756900 HAS SOPS 756900 HAS SOUS 698321 HAS SOUPS 698321 WITH SCORE 699077.9
AT ITER 241 NEW BEST:: SOT 4442552 SOS 756848 HAS SOPS 756848 HAS SOUS 698321 HAS SOUPS 698321 WITH SCORE 699077.848
AT ITER 249 NEW BEST:: SOT 4442501 SOS 756797 HAS SOPS 756797 HAS SOUS 698270 HAS SOUPS 698270 WITH SCORE 699026.797
AT ITER 330 NEW BEST:: SOT 4442501 SOS 756381 HAS SOPS 756381 HAS SOUS 697850 HAS SOUPS 697850 WITH SCORE 698606.381
AT ITER 340 NEW BEST:: SOT 4442501 SOS 756291 HAS SOPS 756291 HAS SOUS 697849 HAS SOUPS 697849 WITH SCORE 698605.291
AT ITER 341 NEW BEST:: SOT 4442323 SOS 756373 HAS SOPS 756373 HAS SOUS 697759 HAS SOUPS 697759 WITH SCORE 698515.373
AT ITER 358 NEW BEST:: SOT 4442108 SOS 755943 HAS SOPS 755943 HAS SOUS 697329 HAS SOUPS 697329 WITH SCORE 698084.943
AT ITER 365 NEW BEST:: SOT 4442169 SOS 756065 HAS SOPS 756065 HAS SOUS 697220 HAS SOUPS 697220 WITH SCORE 697976.065
AT ITER 371 NEW BEST:: SOT 4441920 SOS 755567 HAS SOPS 755567 HAS SOUS 696722 HAS SOUPS 696722 WITH SCORE 697477.567
AT ITER 393 NEW BEST:: SOT 4441848 SOS 755519 HAS SOPS 755519 HAS SOUS 696650 HAS SOUPS 696650 WITH SCORE 697405.519
AT ITER 394 NEW BEST:: SOT 4441848 SOS 755519 HAS SOPS 755519 HAS SOUS 696419 HAS SOUPS 696419 WITH SCORE 697174.519
AT ITER 399 NEW BEST:: SOT 4437033 SOS 752007 HAS SOPS 752007 HAS SOUS 692090 HAS SOUPS 692090 WITH SCORE 692842.007
AT ITER 404 NEW BEST:: SOT 4436886 SOS 751890 HAS SOPS 751890 HAS SOUS 691943 HAS SOUPS 691943 WITH SCORE 692694.89
AT ITER 422 NEW BEST:: SOT 4436886 SOS 751890 HAS SOPS 751890 HAS SOUS 691942 HAS SOUPS 691942 WITH SCORE 692693.89
AT ITER 429 NEW BEST:: SOT 4436654 SOS 751682 HAS SOPS 751682 HAS SOUS 691710 HAS SOUPS 691710 WITH SCORE 692461.682
AT ITER 433 NEW BEST:: SOT 4436334 SOS 751202 HAS SOPS 751202 HAS SOUS 691230 HAS SOUPS 691230 WITH SCORE 691981.202
AT ITER 439 NEW BEST:: SOT 4436181 SOS 751048 HAS SOPS 751048 HAS SOUS 691076 HAS SOUPS 691076 WITH SCORE 691827.048
AT ITER 442 NEW BEST:: SOT 4436201 SOS 750855 HAS SOPS 750855 HAS SOUS 690683 HAS SOUPS 690683 WITH SCORE 691433.855
AT ITER 448 NEW BEST:: SOT 4436036 SOS 750525 HAS SOPS 750525 HAS SOUS 690353 HAS SOUPS 690353 WITH SCORE 691103.525
AT ITER 453 NEW BEST:: SOT 4436035 SOS 750523 HAS SOPS 750523 HAS SOUS 690351 HAS SOUPS 690351 WITH SCORE 691101.523
AT ITER 483 NEW BEST:: SOT 4435946 SOS 750434 HAS SOPS 750434 HAS SOUS 690173 HAS SOUPS 690173 WITH SCORE 690923.434
AT ITER 491 NEW BEST:: SOT 4435946 SOS 750360 HAS SOPS 750360 HAS SOUS 690173 HAS SOUPS 690173 WITH SCORE 690923.36
AT ITER 509 NEW BEST:: SOT 4435946 SOS 750360 HAS SOPS 750360 HAS SOUS 689940 HAS SOUPS 689940 WITH SCORE 690690.36
AT ITER 519 NEW BEST:: SOT 4435932 SOS 750332 HAS SOPS 750332 HAS SOUS 689919 HAS SOUPS 689919 WITH SCORE 690669.332
AT ITER 522 NEW BEST:: SOT 4435931 SOS 749947 HAS SOPS 749947 HAS SOUS 689917 HAS SOUPS 689917 WITH SCORE 690666.947
AT ITER 531 NEW BEST:: SOT 4435821 SOS 749837 HAS SOPS 749837 HAS SOUS 689807 HAS SOUPS 689807 WITH SCORE 690556.837
AT ITER 532 NEW BEST:: SOT 4435562 SOS 749319 HAS SOPS 749319 HAS SOUS 689289 HAS SOUPS 689289 WITH SCORE 690038.319
AT ITER 537 NEW BEST:: SOT 4435562 SOS 749200 HAS SOPS 749200 HAS SOUS 689288 HAS SOUPS 689288 WITH SCORE 690037.2
AT ITER 543 NEW BEST:: SOT 4435269 SOS 748614 HAS SOPS 748614 HAS SOUS 688702 HAS SOUPS 688702 WITH SCORE 689450.614
AT ITER 551 NEW BEST:: SOT 4434833 SOS 748554 HAS SOPS 748554 HAS SOUS 688515 HAS SOUPS 688515 WITH SCORE 689263.554
AT ITER 565 NEW BEST:: SOT 4434787 SOS 748416 HAS SOPS 748416 HAS SOUS 688423 HAS SOUPS 688423 WITH SCORE 689171.416
AT ITER 588 NEW BEST:: SOT 4434645 SOS 748132 HAS SOPS 748132 HAS SOUS 688281 HAS SOUPS 688281 WITH SCORE 689029.132
AT ITER 590 NEW BEST:: SOT 4434407 SOS 747904 HAS SOPS 747904 HAS SOUS 688047 HAS SOUPS 688047 WITH SCORE 688794.904
AT ITER 603 NEW BEST:: SOT 4434268 SOS 747728 HAS SOPS 747728 HAS SOUS 687857 HAS SOUPS 687857 WITH SCORE 688604.728
AT ITER 606 NEW BEST:: SOT 4434145 SOS 747646 HAS SOPS 747646 HAS SOUS 687734 HAS SOUPS 687734 WITH SCORE 688481.646
AT ITER 608 NEW BEST:: SOT 4434145 SOS 747646 HAS SOPS 747646 HAS SOUS 687733 HAS SOUPS 687733 WITH SCORE 688480.646
AT ITER 628 NEW BEST:: SOT 4434145 SOS 747555 HAS SOPS 747555 HAS SOUS 687731 HAS SOUPS 687731 WITH SCORE 688478.555
AT ITER 689 NEW BEST:: SOT 4429534 SOS 796850 HAS SOPS 796850 HAS SOUS 685935 HAS SOUPS 685935 WITH SCORE 686731.85
AT ITER 703 NEW BEST:: SOT 4429534 SOS 796673 HAS SOPS 796673 HAS SOUS 685935 HAS SOUPS 685935 WITH SCORE 686731.673
AT ITER 711 NEW BEST:: SOT 4429462 SOS 796828 HAS SOPS 796828 HAS SOUS 685928 HAS SOUPS 685928 WITH SCORE 686724.828
AT ITER 775 NEW BEST:: SOT 4427672 SOS 799366 HAS SOPS 799366 HAS SOUS 684652 HAS SOUPS 684652 WITH SCORE 685451.366
AT ITER 802 NEW BEST:: SOT 4427720 SOS 799462 HAS SOPS 799462 HAS SOUS 684537 HAS SOUPS 684537 WITH SCORE 685336.462
AT ITER 807 NEW BEST:: SOT 4427607 SOS 799390 HAS SOPS 799390 HAS SOUS 684465 HAS SOUPS 684465 WITH SCORE 685264.39
AT ITER 824 NEW BEST:: SOT 4427064 SOS 798744 HAS SOPS 798744 HAS SOUS 684008 HAS SOUPS 684008 WITH SCORE 684806.744
AT ITER 846 NEW BEST:: SOT 4427057 SOS 798490 HAS SOPS 798490 HAS SOUS 683881 HAS SOUPS 683881 WITH SCORE 684679.49
AT ITER 872 NEW BEST:: SOT 4427057 SOS 798425 HAS SOPS 798425 HAS SOUS 683881 HAS SOUPS 683881 WITH SCORE 684679.425
AT ITER 873 NEW BEST:: SOT 4427057 SOS 798222 HAS SOPS 798222 HAS SOUS 683881 HAS SOUPS 683881 WITH SCORE 684679.222
AT ITER 893 NEW BEST:: SOT 4427164 SOS 798436 HAS SOPS 798436 HAS SOUS 683869 HAS SOUPS 683869 WITH SCORE 684667.436
AT ITER 903 NEW BEST:: SOT 4427163 SOS 798243 HAS SOPS 798243 HAS SOUS 683867 HAS SOUPS 683867 WITH SCORE 684665.243
AT ITER 909 NEW BEST:: SOT 4426990 SOS 798070 HAS SOPS 798070 HAS SOUS 683521 HAS SOUPS 683521 WITH SCORE 684319.07
AT ITER 910 NEW BEST:: SOT 4426903 SOS 797983 HAS SOPS 797983 HAS SOUS 683434 HAS SOUPS 683434 WITH SCORE 684231.983
AT ITER 912 NEW BEST:: SOT 4426776 SOS 797602 HAS SOPS 797602 HAS SOUS 683180 HAS SOUPS 683180 WITH SCORE 683977.602
AT ITER 918 NEW BEST:: SOT 4426600 SOS 797250 HAS SOPS 797250 HAS SOUS 683032 HAS SOUPS 683032 WITH SCORE 683829.25
AT ITER 931 NEW BEST:: SOT 4426526 SOS 797204 HAS SOPS 797204 HAS SOUS 682958 HAS SOUPS 682958 WITH SCORE 683755.204
AT ITER 940 NEW BEST:: SOT 4426421 SOS 797190 HAS SOPS 797190 HAS SOUS 682944 HAS SOUPS 682944 WITH SCORE 683741.19
AT ITER 945 NEW BEST:: SOT 4426365 SOS 797078 HAS SOPS 797078 HAS SOUS 682832 HAS SOUPS 682832 WITH SCORE 683629.078
AT ITER 946 NEW BEST:: SOT 4426256 SOS 796860 HAS SOPS 796860 HAS SOUS 682614 HAS SOUPS 682614 WITH SCORE 683410.86
AT ITER 985 NEW BEST:: SOT 4426256 SOS 796803 HAS SOPS 796803 HAS SOUS 682557 HAS SOUPS 682557 WITH SCORE 683353.803
AT ITER 1032 NEW BEST:: SOT 4426185 SOS 796661 HAS SOPS 796661 HAS SOUS 682486 HAS SOUPS 682486 WITH SCORE 683282.661
AT ITER 1045 NEW BEST:: SOT 4426185 SOS 796614 HAS SOPS 796614 HAS SOUS 682486 HAS SOUPS 682486 WITH SCORE 683282.614
AT ITER 1068 NEW BEST:: SOT 4426030 SOS 796699 HAS SOPS 796699 HAS SOUS 682403 HAS SOUPS 682403 WITH SCORE 683199.699
AT ITER 1114 NEW BEST:: SOT 4425845 SOS 796802 HAS SOPS 796802 HAS SOUS 682216 HAS SOUPS 682216 WITH SCORE 683012.802
AT ITER 1126 NEW BEST:: SOT 4425844 SOS 796800 HAS SOPS 796800 HAS SOUS 682214 HAS SOUPS 682214 WITH SCORE 683010.8
AT ITER 1146 NEW BEST:: SOT 4425844 SOS 796800 HAS SOPS 796800 HAS SOUS 682168 HAS SOUPS 682168 WITH SCORE 682964.8
AT ITER 1167 NEW BEST:: SOT 4425844 SOS 796791 HAS SOPS 796791 HAS SOUS 682168 HAS SOUPS 682168 WITH SCORE 682964.791
AT ITER 1211 NEW BEST:: SOT 4425843 SOS 796464 HAS SOPS 796464 HAS SOUS 682166 HAS SOUPS 682166 WITH SCORE 682962.464
AT ITER 1223 NEW BEST:: SOT 4425842 SOS 796462 HAS SOPS 796462 HAS SOUS 682164 HAS SOUPS 682164 WITH SCORE 682960.462
AT ITER 1224 NEW BEST:: SOT 4425722 SOS 796342 HAS SOPS 796342 HAS SOUS 682044 HAS SOUPS 682044 WITH SCORE 682840.342
AT ITER 1252 NEW BEST:: SOT 4425406 SOS 795710 HAS SOPS 795710 HAS SOUS 681412 HAS SOUPS 681412 WITH SCORE 682207.71
AT ITER 1264 NEW BEST:: SOT 4425406 SOS 795630 HAS SOPS 795630 HAS SOUS 681337 HAS SOUPS 681337 WITH SCORE 682132.63
AT ITER 1290 NEW BEST:: SOT 4425412 SOS 795642 HAS SOPS 795642 HAS SOUS 681174 HAS SOUPS 681174 WITH SCORE 681969.642
AT ITER 1301 NEW BEST:: SOT 4425294 SOS 795524 HAS SOPS 795524 HAS SOUS 681056 HAS SOUPS 681056 WITH SCORE 681851.524
AT ITER 1371 NEW BEST:: SOT 4425131 SOS 795198 HAS SOPS 795198 HAS SOUS 680730 HAS SOUPS 680730 WITH SCORE 681525.198
AT ITER 1380 NEW BEST:: SOT 4424585 SOS 794561 HAS SOPS 794561 HAS SOUS 680093 HAS SOUPS 680093 WITH SCORE 680887.561
AT ITER 1409 NEW BEST:: SOT 4424577 SOS 794545 HAS SOPS 794545 HAS SOUS 680077 HAS SOUPS 680077 WITH SCORE 680871.545
AT ITER 1430 NEW BEST:: SOT 4424479 SOS 794349 HAS SOPS 794349 HAS SOUS 679881 HAS SOUPS 679881 WITH SCORE 680675.349
AT ITER 1432 NEW BEST:: SOT 4424284 SOS 793959 HAS SOPS 793959 HAS SOUS 679559 HAS SOUPS 679559 WITH SCORE 680352.959
AT ITER 1433 NEW BEST:: SOT 4424139 SOS 793379 HAS SOPS 793379 HAS SOUS 679269 HAS SOUPS 679269 WITH SCORE 680062.379
AT ITER 1434 NEW BEST:: SOT 4423494 SOS 792740 HAS SOPS 792740 HAS SOUS 678630 HAS SOUPS 678630 WITH SCORE 679422.74
AT ITER 1475 NEW BEST:: SOT 4423490 SOS 792583 HAS SOPS 792583 HAS SOUS 678622 HAS SOUPS 678622 WITH SCORE 679414.583
AT ITER 1479 NEW BEST:: SOT 4423347 SOS 792297 HAS SOPS 792297 HAS SOUS 678336 HAS SOUPS 678336 WITH SCORE 679128.297
AT ITER 1496 NEW BEST:: SOT 4423336 SOS 792275 HAS SOPS 792275 HAS SOUS 678314 HAS SOUPS 678314 WITH SCORE 679106.275
AT ITER 1500 NEW BEST:: SOT 4423088 SOS 792619 HAS SOPS 792619 HAS SOUS 678283 HAS SOUPS 678283 WITH SCORE 679075.619
AT ITER 1507 NEW BEST:: SOT 4423088 SOS 792372 HAS SOPS 792372 HAS SOUS 678283 HAS SOUPS 678283 WITH SCORE 679075.372
AT ITER 1513 NEW BEST:: SOT 4423088 SOS 792372 HAS SOPS 792372 HAS SOUS 678282 HAS SOUPS 678282 WITH SCORE 679074.372
AT ITER 1541 NEW BEST:: SOT 4422849 SOS 791894 HAS SOPS 791894 HAS SOUS 677804 HAS SOUPS 677804 WITH SCORE 678595.894
AT ITER 1555 NEW BEST:: SOT 4422724 SOS 791480 HAS SOPS 791480 HAS SOUS 677515 HAS SOUPS 677515 WITH SCORE 678306.48
AT ITER 1563 NEW BEST:: SOT 4422724 SOS 791280 HAS SOPS 791280 HAS SOUS 677514 HAS SOUPS 677514 WITH SCORE 678305.28
AT ITER 1572 NEW BEST:: SOT 4422805 SOS 791442 HAS SOPS 791442 HAS SOUS 677466 HAS SOUPS 677466 WITH SCORE 678257.442
AT ITER 1582 NEW BEST:: SOT 4422221 SOS 791111 HAS SOPS 791111 HAS SOUS 676882 HAS SOUPS 676882 WITH SCORE 677673.111
AT ITER 1592 NEW BEST:: SOT 4422221 SOS 791095 HAS SOPS 791095 HAS SOUS 676882 HAS SOUPS 676882 WITH SCORE 677673.095
AT ITER 1613 NEW BEST:: SOT 4422088 SOS 790829 HAS SOPS 790829 HAS SOUS 676616 HAS SOUPS 676616 WITH SCORE 677406.829
AT ITER 1616 NEW BEST:: SOT 4422087 SOS 790644 HAS SOPS 790644 HAS SOUS 676614 HAS SOUPS 676614 WITH SCORE 677404.644
AT ITER 1657 NEW BEST:: SOT 4422101 SOS 790672 HAS SOPS 790672 HAS SOUS 676593 HAS SOUPS 676593 WITH SCORE 677383.672
AT ITER 1664 NEW BEST:: SOT 4422010 SOS 790581 HAS SOPS 790581 HAS SOUS 676411 HAS SOUPS 676411 WITH SCORE 677201.581
AT ITER 1665 NEW BEST:: SOT 4422010 SOS 790522 HAS SOPS 790522 HAS SOUS 676352 HAS SOUPS 676352 WITH SCORE 677142.522
AT ITER 1699 NEW BEST:: SOT 4422209 SOS 790920 HAS SOPS 790920 HAS SOUS 676348 HAS SOUPS 676348 WITH SCORE 677138.92
AT ITER 1742 NEW BEST:: SOT 4422201 SOS 790904 HAS SOPS 790904 HAS SOUS 676340 HAS SOUPS 676340 WITH SCORE 677130.904
AT ITER 1768 NEW BEST:: SOT 4421915 SOS 790332 HAS SOPS 790332 HAS SOUS 675768 HAS SOUPS 675768 WITH SCORE 676558.332
AT ITER 1771 NEW BEST:: SOT 4421915 SOS 790264 HAS SOPS 790264 HAS SOUS 675768 HAS SOUPS 675768 WITH SCORE 676558.264
AT ITER 1774 NEW BEST:: SOT 4421915 SOS 790187 HAS SOPS 790187 HAS SOUS 675691 HAS SOUPS 675691 WITH SCORE 676481.187
AT ITER 1780 NEW BEST:: SOT 4421860 SOS 790022 HAS SOPS 790022 HAS SOUS 675581 HAS SOUPS 675581 WITH SCORE 676371.022
AT ITER 1802 NEW BEST:: SOT 4421860 SOS 790022 HAS SOPS 790022 HAS SOUS 675293 HAS SOUPS 675293 WITH SCORE 676083.022
AT ITER 1809 NEW BEST:: SOT 4421860 SOS 789733 HAS SOPS 789733 HAS SOUS 675004 HAS SOUPS 675004 WITH SCORE 675793.733
AT ITER 1825 NEW BEST:: SOT 4419555 SOS 810323 HAS SOPS 810323 HAS SOUS 673626 HAS SOUPS 673626 WITH SCORE 674436.323
AT ITER 1839 NEW BEST:: SOT 4419555 SOS 810130 HAS SOPS 810130 HAS SOUS 673626 HAS SOUPS 673626 WITH SCORE 674436.13
AT ITER 1899 NEW BEST:: SOT 4419446 SOS 810190 HAS SOPS 810190 HAS SOUS 673606 HAS SOUPS 673606 WITH SCORE 674416.19
AT ITER 1910 NEW BEST:: SOT 4419393 SOS 810084 HAS SOPS 810084 HAS SOUS 673500 HAS SOUPS 673500 WITH SCORE 674310.084
AT ITER 1921 NEW BEST:: SOT 4419488 SOS 809562 HAS SOPS 809562 HAS SOUS 673334 HAS SOUPS 673334 WITH SCORE 674143.562
AT ITER 1935 NEW BEST:: SOT 4419488 SOS 809562 HAS SOPS 809562 HAS SOUS 673330 HAS SOUPS 673330 WITH SCORE 674139.562
AT ITER 1973 NEW BEST:: SOT 4419488 SOS 809497 HAS SOPS 809497 HAS SOUS 673265 HAS SOUPS 673265 WITH SCORE 674074.497
AT ITER 1975 NEW BEST:: SOT 4419352 SOS 809225 HAS SOPS 809225 HAS SOUS 672993 HAS SOUPS 672993 WITH SCORE 673802.225
AT ITER 1986 NEW BEST:: SOT 4419300 SOS 809121 HAS SOPS 809121 HAS SOUS 672869 HAS SOUPS 672869 WITH SCORE 673678.121
AT ITER 1997 NEW BEST:: SOT 4415490 SOS 857151 HAS SOPS 857151 HAS SOUS 671297 HAS SOUPS 671297 WITH SCORE 672154.151
AT ITER 2000 NEW BEST:: SOT 4415323 SOS 856817 HAS SOPS 856817 HAS SOUS 671130 HAS SOUPS 671130 WITH SCORE 671986.817
AT ITER 2003 NEW BEST:: SOT 4415205 SOS 856581 HAS SOPS 856581 HAS SOUS 670894 HAS SOUPS 670894 WITH SCORE 671750.581
AT ITER 2009 NEW BEST:: SOT 4415175 SOS 856551 HAS SOPS 856551 HAS SOUS 670864 HAS SOUPS 670864 WITH SCORE 671720.551
AT ITER 2011 NEW BEST:: SOT 4415175 SOS 856484 HAS SOPS 856484 HAS SOUS 670864 HAS SOUPS 670864 WITH SCORE 671720.484
AT ITER 2012 NEW BEST:: SOT 4415175 SOS 856484 HAS SOPS 856484 HAS SOUS 670863 HAS SOUPS 670863 WITH SCORE 671719.484
AT ITER 2033 NEW BEST:: SOT 4415069 SOS 856272 HAS SOPS 856272 HAS SOUS 670651 HAS SOUPS 670651 WITH SCORE 671507.272
AT ITER 2062 NEW BEST:: SOT 4415069 SOS 856218 HAS SOPS 856218 HAS SOUS 670596 HAS SOUPS 670596 WITH SCORE 671452.218
AT ITER 2074 NEW BEST:: SOT 4415070 SOS 855814 HAS SOPS 855814 HAS SOUS 670248 HAS SOUPS 670248 WITH SCORE 671103.814
AT ITER 2095 NEW BEST:: SOT 4415070 SOS 855683 HAS SOPS 855683 HAS SOUS 669986 HAS SOUPS 669986 WITH SCORE 670841.683
AT ITER 2102 NEW BEST:: SOT 4414928 SOS 855399 HAS SOPS 855399 HAS SOUS 669844 HAS SOUPS 669844 WITH SCORE 670699.399
AT ITER 2110 NEW BEST:: SOT 4414940 SOS 855255 HAS SOPS 855255 HAS SOUS 669700 HAS SOUPS 669700 WITH SCORE 670555.255
AT ITER 2133 NEW BEST:: SOT 4414936 SOS 855247 HAS SOPS 855247 HAS SOUS 669692 HAS SOUPS 669692 WITH SCORE 670547.247
AT ITER 2135 NEW BEST:: SOT 4414936 SOS 855247 HAS SOPS 855247 HAS SOUS 669689 HAS SOUPS 669689 WITH SCORE 670544.247
AT ITER 2189 NEW BEST:: SOT 4414515 SOS 854405 HAS SOPS 854405 HAS SOUS 669294 HAS SOUPS 669294 WITH SCORE 670148.405
AT ITER 2223 NEW BEST:: SOT 4414442 SOS 854259 HAS SOPS 854259 HAS SOUS 669148 HAS SOUPS 669148 WITH SCORE 670002.259
AT ITER 2236 NEW BEST:: SOT 4414410 SOS 854227 HAS SOPS 854227 HAS SOUS 669116 HAS SOUPS 669116 WITH SCORE 669970.227
AT ITER 2238 NEW BEST:: SOT 4414302 SOS 854151 HAS SOPS 854151 HAS SOUS 669036 HAS SOUPS 669036 WITH SCORE 669890.151
AT ITER 2254 NEW BEST:: SOT 4405352 SOS 857258 HAS SOPS 857258 HAS SOUS 660901 HAS SOUPS 660901 WITH SCORE 661758.258
AT ITER 2266 NEW BEST:: SOT 4405292 SOS 857253 HAS SOPS 857253 HAS SOUS 660841 HAS SOUPS 660841 WITH SCORE 661698.253
AT ITER 2280 NEW BEST:: SOT 4405023 SOS 856715 HAS SOPS 856715 HAS SOUS 660303 HAS SOUPS 660303 WITH SCORE 661159.715
AT ITER 2298 NEW BEST:: SOT 4404792 SOS 855295 HAS SOPS 855295 HAS SOUS 659841 HAS SOUPS 659841 WITH SCORE 660696.295
AT ITER 2325 NEW BEST:: SOT 4404449 SOS 854804 HAS SOPS 854804 HAS SOUS 659350 HAS SOUPS 659350 WITH SCORE 660204.804
AT ITER 2335 NEW BEST:: SOT 4404444 SOS 854794 HAS SOPS 854794 HAS SOUS 659340 HAS SOUPS 659340 WITH SCORE 660194.794
AT ITER 2340 NEW BEST:: SOT 4404416 SOS 854738 HAS SOPS 854738 HAS SOUS 659312 HAS SOUPS 659312 WITH SCORE 660166.738
AT ITER 2363 NEW BEST:: SOT 4404351 SOS 854673 HAS SOPS 854673 HAS SOUS 659247 HAS SOUPS 659247 WITH SCORE 660101.673
AT ITER 2377 NEW BEST:: SOT 4404291 SOS 854673 HAS SOPS 854673 HAS SOUS 659217 HAS SOUPS 659217 WITH SCORE 660071.673
AT ITER 2385 NEW BEST:: SOT 4404212 SOS 854615 HAS SOPS 854615 HAS SOUS 659159 HAS SOUPS 659159 WITH SCORE 660013.615
AT ITER 2390 NEW BEST:: SOT 4403637 SOS 853465 HAS SOPS 853465 HAS SOUS 658928 HAS SOUPS 658928 WITH SCORE 659781.465
AT ITER 2392 NEW BEST:: SOT 4403383 SOS 853211 HAS SOPS 853211 HAS SOUS 658674 HAS SOUPS 658674 WITH SCORE 659527.211
AT ITER 2403 NEW BEST:: SOT 4403400 SOS 853245 HAS SOPS 853245 HAS SOUS 658616 HAS SOUPS 658616 WITH SCORE 659469.245
AT ITER 2406 NEW BEST:: SOT 4403400 SOS 853245 HAS SOPS 853245 HAS SOUS 658565 HAS SOUPS 658565 WITH SCORE 659418.245
AT ITER 2413 NEW BEST:: SOT 4403115 SOS 852675 HAS SOPS 852675 HAS SOUS 657995 HAS SOUPS 657995 WITH SCORE 658847.675
AT ITER 2484 NEW BEST:: SOT 4402993 SOS 852589 HAS SOPS 852589 HAS SOUS 657909 HAS SOUPS 657909 WITH SCORE 658761.589
AT ITER 2485 NEW BEST:: SOT 4402952 SOS 852507 HAS SOPS 852507 HAS SOUS 657726 HAS SOUPS 657726 WITH SCORE 658578.507
AT ITER 2489 NEW BEST:: SOT 4402813 SOS 852577 HAS SOPS 852577 HAS SOUS 657691 HAS SOUPS 657691 WITH SCORE 658543.577
AT ITER 2518 NEW BEST:: SOT 4402779 SOS 852543 HAS SOPS 852543 HAS SOUS 657623 HAS SOUPS 657623 WITH SCORE 658475.543
AT ITER 2521 NEW BEST:: SOT 4402179 SOS 852223 HAS SOPS 852223 HAS SOUS 657243 HAS SOUPS 657243 WITH SCORE 658095.223
AT ITER 2523 NEW BEST:: SOT 4402119 SOS 852155 HAS SOPS 852155 HAS SOUS 657131 HAS SOUPS 657131 WITH SCORE 657983.155
AT ITER 2541 NEW BEST:: SOT 4402232 SOS 811977 HAS SOPS 811977 HAS SOUS 657020 HAS SOUPS 657020 WITH SCORE 657831.977
AT ITER 2546 NEW BEST:: SOT 4401043 SOS 810986 HAS SOPS 810986 HAS SOUS 656028 HAS SOUPS 656028 WITH SCORE 656838.986
AT ITER 2591 NEW BEST:: SOT 4400973 SOS 811071 HAS SOPS 811071 HAS SOUS 655985 HAS SOUPS 655985 WITH SCORE 656796.071
AT ITER 2592 NEW BEST:: SOT 4400712 SOS 810549 HAS SOPS 810549 HAS SOUS 655463 HAS SOUPS 655463 WITH SCORE 656273.549
AT ITER 2624 NEW BEST:: SOT 4400710 SOS 810523 HAS SOPS 810523 HAS SOUS 655459 HAS SOUPS 655459 WITH SCORE 656269.523
AT ITER 2632 NEW BEST:: SOT 4400709 SOS 803814 HAS SOPS 803814 HAS SOUS 655301 HAS SOUPS 655301 WITH SCORE 656104.814
AT ITER 2648 NEW BEST:: SOT 4400770 SOS 803936 HAS SOPS 803936 HAS SOUS 655244 HAS SOUPS 655244 WITH SCORE 656047.936
AT ITER 2693 NEW BEST:: SOT 4401013 SOS 803882 HAS SOPS 803882 HAS SOUS 655217 HAS SOUPS 655217 WITH SCORE 656020.882
AT ITER 2697 NEW BEST:: SOT 4400915 SOS 803686 HAS SOPS 803686 HAS SOUS 655022 HAS SOUPS 655022 WITH SCORE 655825.686
AT ITER 2729 NEW BEST:: SOT 4400663 SOS 803686 HAS SOPS 803686 HAS SOUS 654896 HAS SOUPS 654896 WITH SCORE 655699.686
AT ITER 2781 NEW BEST:: SOT 4400590 SOS 803540 HAS SOPS 803540 HAS SOUS 654823 HAS SOUPS 654823 WITH SCORE 655626.54
AT ITER 2821 NEW BEST:: SOT 4400513 SOS 803386 HAS SOPS 803386 HAS SOUS 654669 HAS SOUPS 654669 WITH SCORE 655472.386
AT ITER 2831 NEW BEST:: SOT 4400594 SOS 803203 HAS SOPS 803203 HAS SOUS 654651 HAS SOUPS 654651 WITH SCORE 655454.203
AT ITER 2862 NEW BEST:: SOT 4400594 SOS 802875 HAS SOPS 802875 HAS SOUS 654651 HAS SOUPS 654651 WITH SCORE 655453.875
AT ITER 2863 NEW BEST:: SOT 4400590 SOS 802867 HAS SOPS 802867 HAS SOUS 654643 HAS SOUPS 654643 WITH SCORE 655445.867
AT ITER 2867 NEW BEST:: SOT 4400590 SOS 802854 HAS SOPS 802854 HAS SOUS 654631 HAS SOUPS 654631 WITH SCORE 655433.854
AT ITER 2904 NEW BEST:: SOT 4400574 SOS 802822 HAS SOPS 802822 HAS SOUS 654615 HAS SOUPS 654615 WITH SCORE 655417.822
AT ITER 2912 NEW BEST:: SOT 4400572 SOS 802617 HAS SOPS 802617 HAS SOUS 654578 HAS SOUPS 654578 WITH SCORE 655380.617
AT ITER 2913 NEW BEST:: SOT 4400494 SOS 802090 HAS SOPS 802090 HAS SOUS 654183 HAS SOUPS 654183 WITH SCORE 654985.09
AT ITER 2925 NEW BEST:: SOT 4400471 SOS 802044 HAS SOPS 802044 HAS SOUS 654137 HAS SOUPS 654137 WITH SCORE 654939.044
AT ITER 2987 NEW BEST:: SOT 4400663 SOS 801878 HAS SOPS 801878 HAS SOUS 654054 HAS SOUPS 654054 WITH SCORE 654855.878
AT ITER 3009 NEW BEST:: SOT 4400196 SOS 801276 HAS SOPS 801276 HAS SOUS 653439 HAS SOUPS 653439 WITH SCORE 654240.276
AT ITER 3016 NEW BEST:: SOT 4400196 SOS 801276 HAS SOPS 801276 HAS SOUS 653309 HAS SOUPS 653309 WITH SCORE 654110.276
AT ITER 3070 NEW BEST:: SOT 4400195 SOS 801246 HAS SOPS 801246 HAS SOUS 653307 HAS SOUPS 653307 WITH SCORE 654108.246
AT ITER 3071 NEW BEST:: SOT 4400220 SOS 801236 HAS SOPS 801236 HAS SOUS 653297 HAS SOUPS 653297 WITH SCORE 654098.236
AT ITER 3080 NEW BEST:: SOT 4399966 SOS 801716 HAS SOPS 801716 HAS SOUS 653290 HAS SOUPS 653290 WITH SCORE 654091.716
AT ITER 3106 NEW BEST:: SOT 4399987 SOS 801758 HAS SOPS 801758 HAS SOUS 653136 HAS SOUPS 653136 WITH SCORE 653937.758
AT ITER 3112 NEW BEST:: SOT 4399887 SOS 801558 HAS SOPS 801558 HAS SOUS 652986 HAS SOUPS 652986 WITH SCORE 653787.558
AT ITER 3114 NEW BEST:: SOT 4399566 SOS 800916 HAS SOPS 800916 HAS SOUS 652884 HAS SOUPS 652884 WITH SCORE 653684.916
AT ITER 3125 NEW BEST:: SOT 4399528 SOS 800840 HAS SOPS 800840 HAS SOUS 652808 HAS SOUPS 652808 WITH SCORE 653608.84
AT ITER 3143 NEW BEST:: SOT 4399527 SOS 800838 HAS SOPS 800838 HAS SOUS 652806 HAS SOUPS 652806 WITH SCORE 653606.838
AT ITER 3168 NEW BEST:: SOT 4399527 SOS 800838 HAS SOPS 800838 HAS SOUS 652805 HAS SOUPS 652805 WITH SCORE 653605.838
AT ITER 3181 NEW BEST:: SOT 4399526 SOS 800837 HAS SOPS 800837 HAS SOUS 652803 HAS SOUPS 652803 WITH SCORE 653603.837
AT ITER 3189 NEW BEST:: SOT 4398825 SOS 801694 HAS SOPS 801694 HAS SOUS 652415 HAS SOUPS 652415 WITH SCORE 653216.694
AT ITER 3195 NEW BEST:: SOT 4398791 SOS 801626 HAS SOPS 801626 HAS SOUS 652388 HAS SOUPS 652388 WITH SCORE 653189.626
AT ITER 3210 NEW BEST:: SOT 4398760 SOS 801564 HAS SOPS 801564 HAS SOUS 652274 HAS SOUPS 652274 WITH SCORE 653075.564
AT ITER 3212 NEW BEST:: SOT 4398314 SOS 801230 HAS SOPS 801230 HAS SOUS 651681 HAS SOUPS 651681 WITH SCORE 652482.23
AT ITER 3220 NEW BEST:: SOT 4398196 SOS 800994 HAS SOPS 800994 HAS SOUS 651445 HAS SOUPS 651445 WITH SCORE 652245.994
AT ITER 3242 NEW BEST:: SOT 4398044 SOS 800690 HAS SOPS 800690 HAS SOUS 651141 HAS SOUPS 651141 WITH SCORE 651941.69
AT ITER 3250 NEW BEST:: SOT 4397793 SOS 800688 HAS SOPS 800688 HAS SOUS 650904 HAS SOUPS 650904 WITH SCORE 651704.688
AT ITER 3267 NEW BEST:: SOT 4397421 SOS 800646 HAS SOPS 800646 HAS SOUS 650705 HAS SOUPS 650705 WITH SCORE 651505.646
AT ITER 3290 NEW BEST:: SOT 4396694 SOS 799192 HAS SOPS 799192 HAS SOUS 649251 HAS SOUPS 649251 WITH SCORE 650050.192
AT ITER 3293 NEW BEST:: SOT 4396680 SOS 795116 HAS SOPS 795116 HAS SOUS 648841 HAS SOUPS 648841 WITH SCORE 649636.116
AT ITER 3308 NEW BEST:: SOT 4396594 SOS 795041 HAS SOPS 795041 HAS SOUS 648766 HAS SOUPS 648766 WITH SCORE 649561.041
AT ITER 3333 NEW BEST:: SOT 4396266 SOS 794713 HAS SOPS 794713 HAS SOUS 648438 HAS SOUPS 648438 WITH SCORE 649232.713
AT ITER 3352 NEW BEST:: SOT 4387619 SOS 861671 HAS SOPS 861671 HAS SOUS 643747 HAS SOUPS 643747 WITH SCORE 644608.671
AT ITER 3362 NEW BEST:: SOT 4387556 SOS 861472 HAS SOPS 861472 HAS SOUS 643548 HAS SOUPS 643548 WITH SCORE 644409.472
AT ITER 3394 NEW BEST:: SOT 4387517 SOS 861339 HAS SOPS 861339 HAS SOUS 643454 HAS SOUPS 643454 WITH SCORE 644315.339
AT ITER 3416 NEW BEST:: SOT 4387392 SOS 861317 HAS SOPS 861317 HAS SOUS 643432 HAS SOUPS 643432 WITH SCORE 644293.317
AT ITER 3427 NEW BEST:: SOT 4387309 SOS 861317 HAS SOPS 861317 HAS SOUS 643349 HAS SOUPS 643349 WITH SCORE 644210.317
AT ITER 3443 NEW BEST:: SOT 4387233 SOS 861241 HAS SOPS 861241 HAS SOUS 643273 HAS SOUPS 643273 WITH SCORE 644134.241
AT ITER 3455 NEW BEST:: SOT 4387070 SOS 861163 HAS SOPS 861163 HAS SOUS 643110 HAS SOUPS 643110 WITH SCORE 643971.163
AT ITER 3477 NEW BEST:: SOT 4387088 SOS 860926 HAS SOPS 860926 HAS SOUS 643059 HAS SOUPS 643059 WITH SCORE 643919.926
AT ITER 3478 NEW BEST:: SOT 4387254 SOS 861030 HAS SOPS 861030 HAS SOUS 642997 HAS SOUPS 642997 WITH SCORE 643858.03
AT ITER 3507 NEW BEST:: SOT 4387250 SOS 861022 HAS SOPS 861022 HAS SOUS 642977 HAS SOUPS 642977 WITH SCORE 643838.022
AT ITER 3586 NEW BEST:: SOT 4387250 SOS 860849 HAS SOPS 860849 HAS SOUS 642976 HAS SOUPS 642976 WITH SCORE 643836.849
AT ITER 3620 NEW BEST:: SOT 4387175 SOS 860699 HAS SOPS 860699 HAS SOUS 642901 HAS SOUPS 642901 WITH SCORE 643761.699
AT ITER 3663 NEW BEST:: SOT 4387174 SOS 860697 HAS SOPS 860697 HAS SOUS 642899 HAS SOUPS 642899 WITH SCORE 643759.697
AT ITER 3709 NEW BEST:: SOT 4387124 SOS 860597 HAS SOPS 860597 HAS SOUS 642799 HAS SOUPS 642799 WITH SCORE 643659.597
AT ITER 3736 NEW BEST:: SOT 4387213 SOS 860775 HAS SOPS 860775 HAS SOUS 642677 HAS SOUPS 642677 WITH SCORE 643537.775
AT ITER 3740 NEW BEST:: SOT 4387249 SOS 860652 HAS SOPS 860652 HAS SOUS 642554 HAS SOUPS 642554 WITH SCORE 643414.652
AT ITER 3744 NEW BEST:: SOT 4387098 SOS 860350 HAS SOPS 860350 HAS SOUS 642252 HAS SOUPS 642252 WITH SCORE 643112.35
AT ITER 3764 NEW BEST:: SOT 4387007 SOS 860350 HAS SOPS 860350 HAS SOUS 642161 HAS SOUPS 642161 WITH SCORE 643021.35
AT ITER 3769 NEW BEST:: SOT 4386708 SOS 859730 HAS SOPS 859730 HAS SOUS 641559 HAS SOUPS 641559 WITH SCORE 642418.73
AT ITER 3832 NEW BEST:: SOT 4386708 SOS 859701 HAS SOPS 859701 HAS SOUS 641530 HAS SOUPS 641530 WITH SCORE 642389.701
AT ITER 3907 NEW BEST:: SOT 4386604 SOS 859493 HAS SOPS 859493 HAS SOUS 641322 HAS SOUPS 641322 WITH SCORE 642181.493
AT ITER 3915 NEW BEST:: SOT 4386429 SOS 859143 HAS SOPS 859143 HAS SOUS 641147 HAS SOUPS 641147 WITH SCORE 642006.143
AT ITER 3940 NEW BEST:: SOT 4385982 SOS 860679 HAS SOPS 860679 HAS SOUS 640786 HAS SOUPS 640786 WITH SCORE 641646.679
AT ITER 3977 NEW BEST:: SOT 4386063 SOS 860841 HAS SOPS 860841 HAS SOUS 640777 HAS SOUPS 640777 WITH SCORE 641637.841
AT ITER 3998 NEW BEST:: SOT 4386062 SOS 860931 HAS SOPS 860931 HAS SOUS 640775 HAS SOUPS 640775 WITH SCORE 641635.931
AT ITER 4024 NEW BEST:: SOT 4385929 SOS 860665 HAS SOPS 860665 HAS SOUS 640642 HAS SOUPS 640642 WITH SCORE 641502.665
AT ITER 4026 NEW BEST:: SOT 4385930 SOS 860667 HAS SOPS 860667 HAS SOUS 640628 HAS SOUPS 640628 WITH SCORE 641488.667
AT ITER 4043 NEW BEST:: SOT 4385930 SOS 860301 HAS SOPS 860301 HAS SOUS 640628 HAS SOUPS 640628 WITH SCORE 641488.301
AT ITER 4045 NEW BEST:: SOT 4385516 SOS 860928 HAS SOPS 860928 HAS SOUS 640410 HAS SOUPS 640410 WITH SCORE 641270.928
AT ITER 4050 NEW BEST:: SOT 4385445 SOS 860786 HAS SOPS 860786 HAS SOUS 640268 HAS SOUPS 640268 WITH SCORE 641128.786
AT ITER 4053 NEW BEST:: SOT 4385475 SOS 860846 HAS SOPS 860846 HAS SOUS 640173 HAS SOUPS 640173 WITH SCORE 641033.846
AT ITER 4058 NEW BEST:: SOT 4385379 SOS 861001 HAS SOPS 861001 HAS SOUS 640112 HAS SOUPS 640112 WITH SCORE 640973.001
AT ITER 4062 NEW BEST:: SOT 4385330 SOS 860903 HAS SOPS 860903 HAS SOUS 640014 HAS SOUPS 640014 WITH SCORE 640874.903
AT ITER 4074 NEW BEST:: SOT 4385263 SOS 860769 HAS SOPS 860769 HAS SOUS 639717 HAS SOUPS 639717 WITH SCORE 640577.769
AT ITER 4077 NEW BEST:: SOT 4385241 SOS 860725 HAS SOPS 860725 HAS SOUS 639673 HAS SOUPS 639673 WITH SCORE 640533.725
AT ITER 4085 NEW BEST:: SOT 4385197 SOS 860637 HAS SOPS 860637 HAS SOUS 639631 HAS SOUPS 639631 WITH SCORE 640491.637
AT ITER 4089 NEW BEST:: SOT 4385164 SOS 860571 HAS SOPS 860571 HAS SOUS 639565 HAS SOUPS 639565 WITH SCORE 640425.571
AT ITER 4132 NEW BEST:: SOT 4385070 SOS 860383 HAS SOPS 860383 HAS SOUS 639424 HAS SOUPS 639424 WITH SCORE 640284.383
AT ITER 4143 NEW BEST:: SOT 4385040 SOS 860383 HAS SOPS 860383 HAS SOUS 639409 HAS SOUPS 639409 WITH SCORE 640269.383
AT ITER 4157 NEW BEST:: SOT 4385040 SOS 860080 HAS SOPS 860080 HAS SOUS 639409 HAS SOUPS 639409 WITH SCORE 640269.08
AT ITER 4158 NEW BEST:: SOT 4384673 SOS 859908 HAS SOPS 859908 HAS SOUS 639042 HAS SOUPS 639042 WITH SCORE 639901.908
AT ITER 4201 NEW BEST:: SOT 4384541 SOS 859736 HAS SOPS 859736 HAS SOUS 638870 HAS SOUPS 638870 WITH SCORE 639729.736
AT ITER 4208 NEW BEST:: SOT 4384516 SOS 859686 HAS SOPS 859686 HAS SOUS 638845 HAS SOUPS 638845 WITH SCORE 639704.686
AT ITER 4212 NEW BEST:: SOT 4384466 SOS 859536 HAS SOPS 859536 HAS SOUS 638745 HAS SOUPS 638745 WITH SCORE 639604.536
AT ITER 4214 NEW BEST:: SOT 4384507 SOS 859344 HAS SOPS 859344 HAS SOUS 638553 HAS SOUPS 638553 WITH SCORE 639412.344
AT ITER 4224 NEW BEST:: SOT 4384507 SOS 859213 HAS SOPS 859213 HAS SOUS 638422 HAS SOUPS 638422 WITH SCORE 639281.213
AT ITER 4226 NEW BEST:: SOT 4384325 SOS 858849 HAS SOPS 858849 HAS SOUS 638058 HAS SOUPS 638058 WITH SCORE 638916.849
AT ITER 4233 NEW BEST:: SOT 4383698 SOS 858241 HAS SOPS 858241 HAS SOUS 637225 HAS SOUPS 637225 WITH SCORE 638083.241
AT ITER 4235 NEW BEST:: SOT 4383598 SOS 858141 HAS SOPS 858141 HAS SOUS 637125 HAS SOUPS 637125 WITH SCORE 637983.141
AT ITER 4270 NEW BEST:: SOT 4383163 SOS 857934 HAS SOPS 857934 HAS SOUS 636691 HAS SOUPS 636691 WITH SCORE 637548.934
AT ITER 4300 NEW BEST:: SOT 4383019 SOS 857787 HAS SOPS 857787 HAS SOUS 636516 HAS SOUPS 636516 WITH SCORE 637373.787
AT ITER 4343 NEW BEST:: SOT 4382963 SOS 857731 HAS SOPS 857731 HAS SOUS 636460 HAS SOUPS 636460 WITH SCORE 637317.731
AT ITER 4359 NEW BEST:: SOT 4382462 SOS 857733 HAS SOPS 857733 HAS SOUS 636210 HAS SOUPS 636210 WITH SCORE 637067.733
AT ITER 4366 NEW BEST:: SOT 4382265 SOS 857339 HAS SOPS 857339 HAS SOUS 635816 HAS SOUPS 635816 WITH SCORE 636673.339
AT ITER 4455 NEW BEST:: SOT 4382033 SOS 856875 HAS SOPS 856875 HAS SOUS 635584 HAS SOUPS 635584 WITH SCORE 636440.875
AT ITER 4459 NEW BEST:: SOT 4381881 SOS 856571 HAS SOPS 856571 HAS SOUS 635280 HAS SOUPS 635280 WITH SCORE 636136.571
AT ITER 4468 NEW BEST:: SOT 4381852 SOS 856513 HAS SOPS 856513 HAS SOUS 635222 HAS SOUPS 635222 WITH SCORE 636078.513
AT ITER 4495 NEW BEST:: SOT 4381872 SOS 856495 HAS SOPS 856495 HAS SOUS 635213 HAS SOUPS 635213 WITH SCORE 636069.495
AT ITER 4535 NEW BEST:: SOT 4381493 SOS 855737 HAS SOPS 855737 HAS SOUS 634975 HAS SOUPS 634975 WITH SCORE 635830.737
AT ITER 4542 NEW BEST:: SOT 4381485 SOS 855731 HAS SOPS 855731 HAS SOUS 634967 HAS SOUPS 634967 WITH SCORE 635822.731
AT ITER 4544 NEW BEST:: SOT 4381424 SOS 855670 HAS SOPS 855670 HAS SOUS 634906 HAS SOUPS 634906 WITH SCORE 635761.67
AT ITER 4545 NEW BEST:: SOT 4381424 SOS 855410 HAS SOPS 855410 HAS SOUS 634646 HAS SOUPS 634646 WITH SCORE 635501.41
AT ITER 4562 NEW BEST:: SOT 4381424 SOS 855410 HAS SOPS 855410 HAS SOUS 634645 HAS SOUPS 634645 WITH SCORE 635500.41
AT ITER 4615 NEW BEST:: SOT 4381424 SOS 855410 HAS SOPS 855410 HAS SOUS 634488 HAS SOUPS 634488 WITH SCORE 635343.41
AT ITER 4616 NEW BEST:: SOT 4381210 SOS 841164 HAS SOPS 841164 HAS SOUS 634060 HAS SOUPS 634060 WITH SCORE 634901.164
AT ITER 4635 NEW BEST:: SOT 4381041 SOS 840657 HAS SOPS 840657 HAS SOUS 633553 HAS SOUPS 633553 WITH SCORE 634393.657
AT ITER 4637 NEW BEST:: SOT 4380830 SOS 840849 HAS SOPS 840849 HAS SOUS 633179 HAS SOUPS 633179 WITH SCORE 634019.849
AT ITER 4643 NEW BEST:: SOT 4380756 SOS 840701 HAS SOPS 840701 HAS SOUS 633170 HAS SOUPS 633170 WITH SCORE 634010.701
AT ITER 4678 NEW BEST:: SOT 4380756 SOS 840701 HAS SOPS 840701 HAS SOUS 633092 HAS SOUPS 633092 WITH SCORE 633932.701
AT ITER 4679 NEW BEST:: SOT 4380756 SOS 840701 HAS SOPS 840701 HAS SOUS 632925 HAS SOUPS 632925 WITH SCORE 633765.701
AT ITER 4685 NEW BEST:: SOT 4379344 SOS 839873 HAS SOPS 839873 HAS SOUS 632025 HAS SOUPS 632025 WITH SCORE 632864.873
AT ITER 4687 NEW BEST:: SOT 4379344 SOS 839873 HAS SOPS 839873 HAS SOUS 631898 HAS SOUPS 631898 WITH SCORE 632737.873
AT ITER 4689 NEW BEST:: SOT 4379343 SOS 839784 HAS SOPS 839784 HAS SOUS 631852 HAS SOUPS 631852 WITH SCORE 632691.784
AT ITER 4699 NEW BEST:: SOT 4379316 SOS 839730 HAS SOPS 839730 HAS SOUS 631817 HAS SOUPS 631817 WITH SCORE 632656.73
AT ITER 4708 NEW BEST:: SOT 4379289 SOS 839676 HAS SOPS 839676 HAS SOUS 631763 HAS SOUPS 631763 WITH SCORE 632602.676
AT ITER 4717 NEW BEST:: SOT 4379148 SOS 839632 HAS SOPS 839632 HAS SOUS 631719 HAS SOUPS 631719 WITH SCORE 632558.632
AT ITER 4778 NEW BEST:: SOT 4379033 SOS 839402 HAS SOPS 839402 HAS SOUS 631489 HAS SOUPS 631489 WITH SCORE 632328.402
AT ITER 4782 NEW BEST:: SOT 4378953 SOS 839402 HAS SOPS 839402 HAS SOUS 631449 HAS SOUPS 631449 WITH SCORE 632288.402
AT ITER 4795 NEW BEST:: SOT 4378957 SOS 839402 HAS SOPS 839402 HAS SOUS 631445 HAS SOUPS 631445 WITH SCORE 632284.402
AT ITER 4813 NEW BEST:: SOT 4378935 SOS 839358 HAS SOPS 839358 HAS SOUS 631423 HAS SOUPS 631423 WITH SCORE 632262.358
AT ITER 4822 NEW BEST:: SOT 4378935 SOS 839208 HAS SOPS 839208 HAS SOUS 631423 HAS SOUPS 631423 WITH SCORE 632262.208
AT ITER 4841 NEW BEST:: SOT 4378818 SOS 838974 HAS SOPS 838974 HAS SOUS 631189 HAS SOUPS 631189 WITH SCORE 632027.974
AT ITER 4848 NEW BEST:: SOT 4378818 SOS 838935 HAS SOPS 838935 HAS SOUS 631150 HAS SOUPS 631150 WITH SCORE 631988.935
AT ITER 4852 NEW BEST:: SOT 4378819 SOS 839081 HAS SOPS 839081 HAS SOUS 631146 HAS SOUPS 631146 WITH SCORE 631985.081
AT ITER 4859 NEW BEST:: SOT 4378547 SOS 838812 HAS SOPS 838812 HAS SOUS 630877 HAS SOUPS 630877 WITH SCORE 631715.812
AT ITER 4865 NEW BEST:: SOT 4378406 SOS 838530 HAS SOPS 838530 HAS SOUS 630867 HAS SOUPS 630867 WITH SCORE 631705.53
AT ITER 4881 NEW BEST:: SOT 4378264 SOS 838602 HAS SOPS 838602 HAS SOUS 630725 HAS SOUPS 630725 WITH SCORE 631563.602
AT ITER 4891 NEW BEST:: SOT 4378202 SOS 838798 HAS SOPS 838798 HAS SOUS 630529 HAS SOUPS 630529 WITH SCORE 631367.798
AT ITER 4906 NEW BEST:: SOT 4378169 SOS 838379 HAS SOPS 838379 HAS SOUS 630175 HAS SOUPS 630175 WITH SCORE 631013.379
AT ITER 4912 NEW BEST:: SOT 4378168 SOS 838377 HAS SOPS 838377 HAS SOUS 630174 HAS SOUPS 630174 WITH SCORE 631012.377
AT ITER 4918 NEW BEST:: SOT 4378167 SOS 838097 HAS SOPS 838097 HAS SOUS 630172 HAS SOUPS 630172 WITH SCORE 631010.097
AT ITER 4961 NEW BEST:: SOT 4378017 SOS 838022 HAS SOPS 838022 HAS SOUS 630097 HAS SOUPS 630097 WITH SCORE 630935.022
AT ITER 4982 NEW BEST:: SOT 4377957 SOS 837992 HAS SOPS 837992 HAS SOUS 630065 HAS SOUPS 630065 WITH SCORE 630902.992
AT ITER 4989 NEW BEST:: SOT 4377949 SOS 837976 HAS SOPS 837976 HAS SOUS 630052 HAS SOUPS 630052 WITH SCORE 630889.976
AT ITER 4996 NEW BEST:: SOT 4377949 SOS 837732 HAS SOPS 837732 HAS SOUS 630052 HAS SOUPS 630052 WITH SCORE 630889.732
AT ITER 5006 NEW BEST:: SOT 4377718 SOS 837598 HAS SOPS 837598 HAS SOUS 629829 HAS SOUPS 629829 WITH SCORE 630666.598
AT ITER 5036 NEW BEST:: SOT 4377629 SOS 837313 HAS SOPS 837313 HAS SOUS 629740 HAS SOUPS 629740 WITH SCORE 630577.313
AT ITER 5053 NEW BEST:: SOT 4377625 SOS 837305 HAS SOPS 837305 HAS SOUS 629734 HAS SOUPS 629734 WITH SCORE 630571.305
AT ITER 5062 NEW BEST:: SOT 4377620 SOS 837295 HAS SOPS 837295 HAS SOUS 629724 HAS SOUPS 629724 WITH SCORE 630561.295
AT ITER 5085 NEW BEST:: SOT 4377608 SOS 837271 HAS SOPS 837271 HAS SOUS 629700 HAS SOUPS 629700 WITH SCORE 630537.271
AT ITER 5087 NEW BEST:: SOT 4377355 SOS 836765 HAS SOPS 836765 HAS SOUS 629194 HAS SOUPS 629194 WITH SCORE 630030.765
AT ITER 5093 NEW BEST:: SOT 4377345 SOS 836711 HAS SOPS 836711 HAS SOUS 629116 HAS SOUPS 629116 WITH SCORE 629952.711
AT ITER 5099 NEW BEST:: SOT 4377227 SOS 836534 HAS SOPS 836534 HAS SOUS 628998 HAS SOUPS 628998 WITH SCORE 629834.534
AT ITER 5110 NEW BEST:: SOT 4375846 SOS 835417 HAS SOPS 835417 HAS SOUS 627861 HAS SOUPS 627861 WITH SCORE 628696.417
AT ITER 5125 NEW BEST:: SOT 4375303 SOS 834906 HAS SOPS 834906 HAS SOUS 627350 HAS SOUPS 627350 WITH SCORE 628184.906
AT ITER 5154 NEW BEST:: SOT 4375081 SOS 834684 HAS SOPS 834684 HAS SOUS 627128 HAS SOUPS 627128 WITH SCORE 627962.684
AT ITER 5156 NEW BEST:: SOT 4375079 SOS 834447 HAS SOPS 834447 HAS SOUS 627124 HAS SOUPS 627124 WITH SCORE 627958.447
AT ITER 5159 NEW BEST:: SOT 4374852 SOS 833993 HAS SOPS 833993 HAS SOUS 626670 HAS SOUPS 626670 WITH SCORE 627503.993
AT ITER 5201 NEW BEST:: SOT 4374852 SOS 833993 HAS SOPS 833993 HAS SOUS 626589 HAS SOUPS 626589 WITH SCORE 627422.993
AT ITER 5212 NEW BEST:: SOT 4374764 SOS 834113 HAS SOPS 834113 HAS SOUS 626534 HAS SOUPS 626534 WITH SCORE 627368.113
AT ITER 5238 NEW BEST:: SOT 4374672 SOS 833865 HAS SOPS 833865 HAS SOUS 626378 HAS SOUPS 626378 WITH SCORE 627211.865
AT ITER 5241 NEW BEST:: SOT 4374672 SOS 833865 HAS SOPS 833865 HAS SOUS 626377 HAS SOUPS 626377 WITH SCORE 627210.865
AT ITER 5255 NEW BEST:: SOT 4374836 SOS 833733 HAS SOPS 833733 HAS SOUS 626311 HAS SOUPS 626311 WITH SCORE 627144.733
AT ITER 5268 NEW BEST:: SOT 4374836 SOS 833733 HAS SOPS 833733 HAS SOUS 626246 HAS SOUPS 626246 WITH SCORE 627079.733
AT ITER 5270 NEW BEST:: SOT 4374836 SOS 833135 HAS SOPS 833135 HAS SOUS 625947 HAS SOUPS 625947 WITH SCORE 626780.135
AT ITER 5276 NEW BEST:: SOT 4374835 SOS 833101 HAS SOPS 833101 HAS SOUS 625945 HAS SOUPS 625945 WITH SCORE 626778.101
AT ITER 5277 NEW BEST:: SOT 4374835 SOS 833101 HAS SOPS 833101 HAS SOUS 625846 HAS SOUPS 625846 WITH SCORE 626679.101
AT ITER 5283 NEW BEST:: SOT 4374743 SOS 833101 HAS SOPS 833101 HAS SOUS 625800 HAS SOUPS 625800 WITH SCORE 626633.101
AT ITER 5284 NEW BEST:: SOT 4374630 SOS 832875 HAS SOPS 832875 HAS SOUS 625574 HAS SOUPS 625574 WITH SCORE 626406.875
AT ITER 5291 NEW BEST:: SOT 4374616 SOS 832847 HAS SOPS 832847 HAS SOUS 625546 HAS SOUPS 625546 WITH SCORE 626378.847
AT ITER 5305 NEW BEST:: SOT 4374513 SOS 832641 HAS SOPS 832641 HAS SOUS 625443 HAS SOUPS 625443 WITH SCORE 626275.641
AT ITER 5315 NEW BEST:: SOT 4374483 SOS 832641 HAS SOPS 832641 HAS SOUS 625428 HAS SOUPS 625428 WITH SCORE 626260.641
AT ITER 5330 NEW BEST:: SOT 4374450 SOS 832681 HAS SOPS 832681 HAS SOUS 625362 HAS SOUPS 625362 WITH SCORE 626194.681
AT ITER 5334 NEW BEST:: SOT 4374427 SOS 832635 HAS SOPS 832635 HAS SOUS 625339 HAS SOUPS 625339 WITH SCORE 626171.635
AT ITER 5361 NEW BEST:: SOT 4374388 SOS 832596 HAS SOPS 832596 HAS SOUS 625300 HAS SOUPS 625300 WITH SCORE 626132.596
AT ITER 5397 NEW BEST:: SOT 4374202 SOS 832546 HAS SOPS 832546 HAS SOUS 625171 HAS SOUPS 625171 WITH SCORE 626003.546
AT ITER 5420 NEW BEST:: SOT 4374482 SOS 831656 HAS SOPS 831656 HAS SOUS 625136 HAS SOUPS 625136 WITH SCORE 625967.656
AT ITER 5432 NEW BEST:: SOT 4374379 SOS 831553 HAS SOPS 831553 HAS SOUS 625033 HAS SOUPS 625033 WITH SCORE 625864.553
AT ITER 5442 NEW BEST:: SOT 4374400 SOS 831150 HAS SOPS 831150 HAS SOUS 624818 HAS SOUPS 624818 WITH SCORE 625649.15
AT ITER 5450 NEW BEST:: SOT 4374464 SOS 831278 HAS SOPS 831278 HAS SOUS 624673 HAS SOUPS 624673 WITH SCORE 625504.278
AT ITER 5484 NEW BEST:: SOT 4374463 SOS 831276 HAS SOPS 831276 HAS SOUS 624672 HAS SOUPS 624672 WITH SCORE 625503.276
AT ITER 5490 NEW BEST:: SOT 4374343 SOS 830597 HAS SOPS 830597 HAS SOUS 624365 HAS SOUPS 624365 WITH SCORE 625195.597
AT ITER 5505 NEW BEST:: SOT 4374250 SOS 830411 HAS SOPS 830411 HAS SOUS 624179 HAS SOUPS 624179 WITH SCORE 625009.411
AT ITER 5558 NEW BEST:: SOT 4374238 SOS 830387 HAS SOPS 830387 HAS SOUS 624155 HAS SOUPS 624155 WITH SCORE 624985.387
AT ITER 5613 NEW BEST:: SOT 4373962 SOS 830111 HAS SOPS 830111 HAS SOUS 623879 HAS SOUPS 623879 WITH SCORE 624709.111
AT ITER 5645 NEW BEST:: SOT 4373962 SOS 829990 HAS SOPS 829990 HAS SOUS 623879 HAS SOUPS 623879 WITH SCORE 624708.99
AT ITER 5648 NEW BEST:: SOT 4374000 SOS 829865 HAS SOPS 829865 HAS SOUS 623612 HAS SOUPS 623612 WITH SCORE 624441.865
AT ITER 5653 NEW BEST:: SOT 4373947 SOS 829580 HAS SOPS 829580 HAS SOUS 623499 HAS SOUPS 623499 WITH SCORE 624328.58
AT ITER 5654 NEW BEST:: SOT 4373947 SOS 829580 HAS SOPS 829580 HAS SOUS 623381 HAS SOUPS 623381 WITH SCORE 624210.58
AT ITER 5667 NEW BEST:: SOT 4373946 SOS 829578 HAS SOPS 829578 HAS SOUS 623379 HAS SOUPS 623379 WITH SCORE 624208.578
AT ITER 5670 NEW BEST:: SOT 4373946 SOS 829525 HAS SOPS 829525 HAS SOUS 623379 HAS SOUPS 623379 WITH SCORE 624208.525
AT ITER 5688 NEW BEST:: SOT 4373833 SOS 829408 HAS SOPS 829408 HAS SOUS 623318 HAS SOUPS 623318 WITH SCORE 624147.408
AT ITER 5751 NEW BEST:: SOT 4373646 SOS 829221 HAS SOPS 829221 HAS SOUS 623131 HAS SOUPS 623131 WITH SCORE 623960.221
AT ITER 5780 NEW BEST:: SOT 4373648 SOS 829225 HAS SOPS 829225 HAS SOUS 623106 HAS SOUPS 623106 WITH SCORE 623935.225
AT ITER 5785 NEW BEST:: SOT 4373627 SOS 829200 HAS SOPS 829200 HAS SOUS 623098 HAS SOUPS 623098 WITH SCORE 623927.2
AT ITER 5792 NEW BEST:: SOT 4373723 SOS 828968 HAS SOPS 828968 HAS SOUS 623028 HAS SOUPS 623028 WITH SCORE 623856.968
AT ITER 5800 NEW BEST:: SOT 4373691 SOS 828904 HAS SOPS 828904 HAS SOUS 622964 HAS SOUPS 622964 WITH SCORE 623792.904
AT ITER 5835 NEW BEST:: SOT 4373651 SOS 828958 HAS SOPS 828958 HAS SOUS 622937 HAS SOUPS 622937 WITH SCORE 623765.958
AT ITER 5850 NEW BEST:: SOT 4373585 SOS 828675 HAS SOPS 828675 HAS SOUS 622805 HAS SOUPS 622805 WITH SCORE 623633.675
AT ITER 5856 NEW BEST:: SOT 4373475 SOS 828699 HAS SOPS 828699 HAS SOUS 622756 HAS SOUPS 622756 WITH SCORE 623584.699
AT ITER 5868 NEW BEST:: SOT 4373447 SOS 828643 HAS SOPS 828643 HAS SOUS 622728 HAS SOUPS 622728 WITH SCORE 623556.643
AT ITER 5957 NEW BEST:: SOT 4373431 SOS 828132 HAS SOPS 828132 HAS SOUS 622533 HAS SOUPS 622533 WITH SCORE 623361.132
AT ITER 5970 NEW BEST:: SOT 4373431 SOS 828162 HAS SOPS 828162 HAS SOUS 622529 HAS SOUPS 622529 WITH SCORE 623357.162
AT ITER 6003 NEW BEST:: SOT 4373431 SOS 827871 HAS SOPS 827871 HAS SOUS 622529 HAS SOUPS 622529 WITH SCORE 623356.871
AT ITER 6015 NEW BEST:: SOT 4373351 SOS 827475 HAS SOPS 827475 HAS SOUS 622448 HAS SOUPS 622448 WITH SCORE 623275.475
AT ITER 6024 NEW BEST:: SOT 4373332 SOS 827437 HAS SOPS 827437 HAS SOUS 622410 HAS SOUPS 622410 WITH SCORE 623237.437
AT ITER 6025 NEW BEST:: SOT 4373330 SOS 827433 HAS SOPS 827433 HAS SOUS 622409 HAS SOUPS 622409 WITH SCORE 623236.433
AT ITER 6028 NEW BEST:: SOT 4372897 SOS 827275 HAS SOPS 827275 HAS SOUS 621794 HAS SOUPS 621794 WITH SCORE 622621.275
AT ITER 6029 NEW BEST:: SOT 4372863 SOS 827207 HAS SOPS 827207 HAS SOUS 621726 HAS SOUPS 621726 WITH SCORE 622553.207
AT ITER 6035 NEW BEST:: SOT 4372863 SOS 827207 HAS SOPS 827207 HAS SOUS 621625 HAS SOUPS 621625 WITH SCORE 622452.207
AT ITER 6039 NEW BEST:: SOT 4372800 SOS 827207 HAS SOPS 827207 HAS SOUS 621562 HAS SOUPS 621562 WITH SCORE 622389.207
AT ITER 6048 NEW BEST:: SOT 4372608 SOS 826380 HAS SOPS 826380 HAS SOUS 621370 HAS SOUPS 621370 WITH SCORE 622196.38
AT ITER 6080 NEW BEST:: SOT 4372607 SOS 826368 HAS SOPS 826368 HAS SOUS 621359 HAS SOUPS 621359 WITH SCORE 622185.368
AT ITER 6089 NEW BEST:: SOT 4372441 SOS 826036 HAS SOPS 826036 HAS SOUS 621027 HAS SOUPS 621027 WITH SCORE 621853.036
AT ITER 6109 NEW BEST:: SOT 4372441 SOS 826036 HAS SOPS 826036 HAS SOUS 620924 HAS SOUPS 620924 WITH SCORE 621750.036
AT ITER 6112 NEW BEST:: SOT 4372143 SOS 825440 HAS SOPS 825440 HAS SOUS 620328 HAS SOUPS 620328 WITH SCORE 621153.44
AT ITER 6127 NEW BEST:: SOT 4372054 SOS 825262 HAS SOPS 825262 HAS SOUS 620093 HAS SOUPS 620093 WITH SCORE 620918.262
AT ITER 6133 NEW BEST:: SOT 4371977 SOS 825108 HAS SOPS 825108 HAS SOUS 620016 HAS SOUPS 620016 WITH SCORE 620841.108
AT ITER 6138 NEW BEST:: SOT 4372229 SOS 825120 HAS SOPS 825120 HAS SOUS 619986 HAS SOUPS 619986 WITH SCORE 620811.12
AT ITER 6147 NEW BEST:: SOT 4372224 SOS 825110 HAS SOPS 825110 HAS SOUS 619976 HAS SOUPS 619976 WITH SCORE 620801.11
AT ITER 6151 NEW BEST:: SOT 4371927 SOS 813830 HAS SOPS 813830 HAS SOUS 619532 HAS SOUPS 619532 WITH SCORE 620345.83
AT ITER 6213 NEW BEST:: SOT 4371927 SOS 813830 HAS SOPS 813830 HAS SOUS 619381 HAS SOUPS 619381 WITH SCORE 620194.83
AT ITER 6224 NEW BEST:: SOT 4371983 SOS 813517 HAS SOPS 813517 HAS SOUS 619091 HAS SOUPS 619091 WITH SCORE 619904.517
AT ITER 6228 NEW BEST:: SOT 4371302 SOS 812155 HAS SOPS 812155 HAS SOUS 617729 HAS SOUPS 617729 WITH SCORE 618541.155
AT ITER 6264 NEW BEST:: SOT 4371225 SOS 812277 HAS SOPS 812277 HAS SOUS 617652 HAS SOUPS 617652 WITH SCORE 618464.277
AT ITER 6279 NEW BEST:: SOT 4371225 SOS 812019 HAS SOPS 812019 HAS SOUS 617394 HAS SOUPS 617394 WITH SCORE 618206.019
AT ITER 6284 NEW BEST:: SOT 4371168 SOS 811905 HAS SOPS 811905 HAS SOUS 617280 HAS SOUPS 617280 WITH SCORE 618091.905
AT ITER 6310 NEW BEST:: SOT 4371167 SOS 811903 HAS SOPS 811903 HAS SOUS 617278 HAS SOUPS 617278 WITH SCORE 618089.903
AT ITER 6314 NEW BEST:: SOT 4371124 SOS 811870 HAS SOPS 811870 HAS SOUS 617245 HAS SOUPS 617245 WITH SCORE 618056.87
AT ITER 6353 NEW BEST:: SOT 4371261 SOS 811710 HAS SOPS 811710 HAS SOUS 617125 HAS SOUPS 617125 WITH SCORE 617936.71
AT ITER 6370 NEW BEST:: SOT 4371261 SOS 811249 HAS SOPS 811249 HAS SOUS 617125 HAS SOUPS 617125 WITH SCORE 617936.249
AT ITER 6374 NEW BEST:: SOT 4370942 SOS 810611 HAS SOPS 810611 HAS SOUS 616723 HAS SOUPS 616723 WITH SCORE 617533.611
AT ITER 6388 NEW BEST:: SOT 4370857 SOS 810441 HAS SOPS 810441 HAS SOUS 616553 HAS SOUPS 616553 WITH SCORE 617363.441
AT ITER 6391 NEW BEST:: SOT 4370785 SOS 810297 HAS SOPS 810297 HAS SOUS 616481 HAS SOUPS 616481 WITH SCORE 617291.297
AT ITER 6416 NEW BEST:: SOT 4370821 SOS 810301 HAS SOPS 810301 HAS SOUS 616373 HAS SOUPS 616373 WITH SCORE 617183.301
AT ITER 6422 NEW BEST:: SOT 4370821 SOS 810301 HAS SOPS 810301 HAS SOUS 616312 HAS SOUPS 616312 WITH SCORE 617122.301
AT ITER 6459 NEW BEST:: SOT 4370821 SOS 809832 HAS SOPS 809832 HAS SOUS 616312 HAS SOUPS 616312 WITH SCORE 617121.832
AT ITER 6474 NEW BEST:: SOT 4370788 SOS 809707 HAS SOPS 809707 HAS SOUS 616279 HAS SOUPS 616279 WITH SCORE 617088.707
AT ITER 6504 NEW BEST:: SOT 4370770 SOS 809671 HAS SOPS 809671 HAS SOUS 616261 HAS SOUPS 616261 WITH SCORE 617070.671
AT ITER 6519 NEW BEST:: SOT 4370610 SOS 809534 HAS SOPS 809534 HAS SOUS 616112 HAS SOUPS 616112 WITH SCORE 616921.534
AT ITER 6532 NEW BEST:: SOT 4370536 SOS 809312 HAS SOPS 809312 HAS SOUS 615964 HAS SOUPS 615964 WITH SCORE 616773.312
AT ITER 6533 NEW BEST:: SOT 4370564 SOS 809368 HAS SOPS 809368 HAS SOUS 615894 HAS SOUPS 615894 WITH SCORE 616703.368
AT ITER 6534 NEW BEST:: SOT 4370141 SOS 808522 HAS SOPS 808522 HAS SOUS 615308 HAS SOUPS 615308 WITH SCORE 616116.522
AT ITER 6599 NEW BEST:: SOT 4370141 SOS 808317 HAS SOPS 808317 HAS SOUS 615308 HAS SOUPS 615308 WITH SCORE 616116.317
AT ITER 6609 NEW BEST:: SOT 4370118 SOS 808271 HAS SOPS 808271 HAS SOUS 615285 HAS SOUPS 615285 WITH SCORE 616093.271
AT ITER 6619 NEW BEST:: SOT 4370118 SOS 808008 HAS SOPS 808008 HAS SOUS 615285 HAS SOUPS 615285 WITH SCORE 616093.008
AT ITER 6633 NEW BEST:: SOT 4370034 SOS 807924 HAS SOPS 807924 HAS SOUS 615201 HAS SOUPS 615201 WITH SCORE 616008.924
AT ITER 6640 NEW BEST:: SOT 4369614 SOS 807084 HAS SOPS 807084 HAS SOUS 614781 HAS SOUPS 614781 WITH SCORE 615588.084
AT ITER 6675 NEW BEST:: SOT 4369613 SOS 807252 HAS SOPS 807252 HAS SOUS 614780 HAS SOUPS 614780 WITH SCORE 615587.252
AT ITER 6695 NEW BEST:: SOT 4369317 SOS 807020 HAS SOPS 807020 HAS SOUS 614548 HAS SOUPS 614548 WITH SCORE 615355.02
AT ITER 6700 NEW BEST:: SOT 4369317 SOS 807020 HAS SOPS 807020 HAS SOUS 614440 HAS SOUPS 614440 WITH SCORE 615247.02
AT ITER 6705 NEW BEST:: SOT 4369213 SOS 806916 HAS SOPS 806916 HAS SOUS 614336 HAS SOUPS 614336 WITH SCORE 615142.916
AT ITER 6758 NEW BEST:: SOT 4368706 SOS 806466 HAS SOPS 806466 HAS SOUS 613857 HAS SOUPS 613857 WITH SCORE 614663.466
AT ITER 6804 NEW BEST:: SOT 4368642 SOS 806338 HAS SOPS 806338 HAS SOUS 613729 HAS SOUPS 613729 WITH SCORE 614535.338
AT ITER 6824 NEW BEST:: SOT 4368565 SOS 806184 HAS SOPS 806184 HAS SOUS 613528 HAS SOUPS 613528 WITH SCORE 614334.184
AT ITER 6832 NEW BEST:: SOT 4368552 SOS 806158 HAS SOPS 806158 HAS SOUS 613502 HAS SOUPS 613502 WITH SCORE 614308.158
AT ITER 6841 NEW BEST:: SOT 4368439 SOS 805932 HAS SOPS 805932 HAS SOUS 613389 HAS SOUPS 613389 WITH SCORE 614194.932
AT ITER 6896 NEW BEST:: SOT 4368350 SOS 805543 HAS SOPS 805543 HAS SOUS 613119 HAS SOUPS 613119 WITH SCORE 613924.543
AT ITER 6919 NEW BEST:: SOT 4368302 SOS 805447 HAS SOPS 805447 HAS SOUS 613023 HAS SOUPS 613023 WITH SCORE 613828.447
AT ITER 6971 NEW BEST:: SOT 4368216 SOS 805275 HAS SOPS 805275 HAS SOUS 612937 HAS SOUPS 612937 WITH SCORE 613742.275
AT ITER 7078 NEW BEST:: SOT 4368216 SOS 805275 HAS SOPS 805275 HAS SOUS 612737 HAS SOUPS 612737 WITH SCORE 613542.275
AT ITER 7101 NEW BEST:: SOT 4368162 SOS 805167 HAS SOPS 805167 HAS SOUS 612683 HAS SOUPS 612683 WITH SCORE 613488.167
AT ITER 7104 NEW BEST:: SOT 4367953 SOS 805103 HAS SOPS 805103 HAS SOUS 612587 HAS SOUPS 612587 WITH SCORE 613392.103
AT ITER 7124 NEW BEST:: SOT 4367701 SOS 774908 HAS SOPS 774908 HAS SOUS 612123 HAS SOUPS 612123 WITH SCORE 612897.908
AT ITER 7165 NEW BEST:: SOT 4367748 SOS 774953 HAS SOPS 774953 HAS SOUS 612121 HAS SOUPS 612121 WITH SCORE 612895.953
AT ITER 7175 NEW BEST:: SOT 4367687 SOS 774831 HAS SOPS 774831 HAS SOUS 612009 HAS SOUPS 612009 WITH SCORE 612783.831
AT ITER 7188 NEW BEST:: SOT 4367617 SOS 774691 HAS SOPS 774691 HAS SOUS 611974 HAS SOUPS 611974 WITH SCORE 612748.691
AT ITER 7212 NEW BEST:: SOT 4367570 SOS 774597 HAS SOPS 774597 HAS SOUS 611880 HAS SOUPS 611880 WITH SCORE 612654.597
AT ITER 7225 NEW BEST:: SOT 4367398 SOS 774561 HAS SOPS 774561 HAS SOUS 611768 HAS SOUPS 611768 WITH SCORE 612542.561
AT ITER 7227 NEW BEST:: SOT 4367398 SOS 774561 HAS SOPS 774561 HAS SOUS 611680 HAS SOUPS 611680 WITH SCORE 612454.561
AT ITER 7230 NEW BEST:: SOT 4367251 SOS 774267 HAS SOPS 774267 HAS SOUS 611503 HAS SOUPS 611503 WITH SCORE 612277.267
AT ITER 7238 NEW BEST:: SOT 4366888 SOS 773541 HAS SOPS 773541 HAS SOUS 610777 HAS SOUPS 610777 WITH SCORE 611550.541
AT ITER 7248 NEW BEST:: SOT 4366820 SOS 773405 HAS SOPS 773405 HAS SOUS 610551 HAS SOUPS 610551 WITH SCORE 611324.405
AT ITER 7254 NEW BEST:: SOT 4366787 SOS 773385 HAS SOPS 773385 HAS SOUS 610531 HAS SOUPS 610531 WITH SCORE 611304.385
AT ITER 7276 NEW BEST:: SOT 4366777 SOS 773365 HAS SOPS 773365 HAS SOUS 610521 HAS SOUPS 610521 WITH SCORE 611294.365
AT ITER 7292 NEW BEST:: SOT 4366738 SOS 773326 HAS SOPS 773326 HAS SOUS 610482 HAS SOUPS 610482 WITH SCORE 611255.326
AT ITER 7294 NEW BEST:: SOT 4366737 SOS 773045 HAS SOPS 773045 HAS SOUS 610480 HAS SOUPS 610480 WITH SCORE 611253.045
AT ITER 7296 NEW BEST:: SOT 4366701 SOS 772867 HAS SOPS 772867 HAS SOUS 610338 HAS SOUPS 610338 WITH SCORE 611110.867
AT ITER 7319 NEW BEST:: SOT 4366551 SOS 772718 HAS SOPS 772718 HAS SOUS 610189 HAS SOUPS 610189 WITH SCORE 610961.718
AT ITER 7356 NEW BEST:: SOT 4366423 SOS 772189 HAS SOPS 772189 HAS SOUS 609880 HAS SOUPS 609880 WITH SCORE 610652.189
AT ITER 7391 NEW BEST:: SOT 4366444 SOS 772231 HAS SOPS 772231 HAS SOUS 609720 HAS SOUPS 609720 WITH SCORE 610492.231
AT ITER 7396 NEW BEST:: SOT 4365930 SOS 770175 HAS SOPS 770175 HAS SOUS 608730 HAS SOUPS 608730 WITH SCORE 609500.175
AT ITER 7423 NEW BEST:: SOT 4365894 SOS 770103 HAS SOPS 770103 HAS SOUS 608676 HAS SOUPS 608676 WITH SCORE 609446.103
AT ITER 7442 NEW BEST:: SOT 4365836 SOS 769987 HAS SOPS 769987 HAS SOUS 608560 HAS SOUPS 608560 WITH SCORE 609329.987
AT ITER 7443 NEW BEST:: SOT 4365818 SOS 769951 HAS SOPS 769951 HAS SOUS 608304 HAS SOUPS 608304 WITH SCORE 609073.951
AT ITER 7448 NEW BEST:: SOT 4365767 SOS 769849 HAS SOPS 769849 HAS SOUS 608255 HAS SOUPS 608255 WITH SCORE 609024.849
AT ITER 7458 NEW BEST:: SOT 4365767 SOS 769815 HAS SOPS 769815 HAS SOUS 608238 HAS SOUPS 608238 WITH SCORE 609007.815
AT ITER 7472 NEW BEST:: SOT 4365506 SOS 769698 HAS SOPS 769698 HAS SOUS 607986 HAS SOUPS 607986 WITH SCORE 608755.698
AT ITER 7473 NEW BEST:: SOT 4365506 SOS 769698 HAS SOPS 769698 HAS SOUS 607670 HAS SOUPS 607670 WITH SCORE 608439.698
AT ITER 7476 NEW BEST:: SOT 4365346 SOS 769378 HAS SOPS 769378 HAS SOUS 607525 HAS SOUPS 607525 WITH SCORE 608294.378
AT ITER 7487 NEW BEST:: SOT 4365296 SOS 769328 HAS SOPS 769328 HAS SOUS 607475 HAS SOUPS 607475 WITH SCORE 608244.328
AT ITER 7489 NEW BEST:: SOT 4365162 SOS 769060 HAS SOPS 769060 HAS SOUS 607207 HAS SOUPS 607207 WITH SCORE 607976.06
AT ITER 7510 NEW BEST:: SOT 4365117 SOS 768970 HAS SOPS 768970 HAS SOUS 607117 HAS SOUPS 607117 WITH SCORE 607885.97
AT ITER 7519 NEW BEST:: SOT 4364658 SOS 768052 HAS SOPS 768052 HAS SOUS 606305 HAS SOUPS 606305 WITH SCORE 607073.052
AT ITER 7529 NEW BEST:: SOT 4364664 SOS 767889 HAS SOPS 767889 HAS SOUS 606282 HAS SOUPS 606282 WITH SCORE 607049.889
AT ITER 7534 NEW BEST:: SOT 4364620 SOS 767801 HAS SOPS 767801 HAS SOUS 606194 HAS SOUPS 606194 WITH SCORE 606961.801
AT ITER 7567 NEW BEST:: SOT 4364706 SOS 767973 HAS SOPS 767973 HAS SOUS 606191 HAS SOUPS 606191 WITH SCORE 606958.973
AT ITER 7573 NEW BEST:: SOT 4364667 SOS 767895 HAS SOPS 767895 HAS SOUS 606113 HAS SOUPS 606113 WITH SCORE 606880.895
AT ITER 7585 NEW BEST:: SOT 4364578 SOS 767806 HAS SOPS 767806 HAS SOUS 605935 HAS SOUPS 605935 WITH SCORE 606702.806
AT ITER 7587 NEW BEST:: SOT 4364481 SOS 767612 HAS SOPS 767612 HAS SOUS 605741 HAS SOUPS 605741 WITH SCORE 606508.612
AT ITER 7610 NEW BEST:: SOT 4364122 SOS 756595 HAS SOPS 756595 HAS SOUS 605170 HAS SOUPS 605170 WITH SCORE 605926.595
AT ITER 7614 NEW BEST:: SOT 4364008 SOS 756367 HAS SOPS 756367 HAS SOUS 604942 HAS SOUPS 604942 WITH SCORE 605698.367
AT ITER 7620 NEW BEST:: SOT 4364002 SOS 756355 HAS SOPS 756355 HAS SOUS 604930 HAS SOUPS 604930 WITH SCORE 605686.355
AT ITER 7651 NEW BEST:: SOT 4363885 SOS 756121 HAS SOPS 756121 HAS SOUS 604793 HAS SOUPS 604793 WITH SCORE 605549.121
AT ITER 7674 NEW BEST:: SOT 4363885 SOS 756064 HAS SOPS 756064 HAS SOUS 604736 HAS SOUPS 604736 WITH SCORE 605492.064
AT ITER 7707 NEW BEST:: SOT 4363857 SOS 756036 HAS SOPS 756036 HAS SOUS 604708 HAS SOUPS 604708 WITH SCORE 605464.036
AT ITER 7725 NEW BEST:: SOT 4363842 SOS 756006 HAS SOPS 756006 HAS SOUS 604693 HAS SOUPS 604693 WITH SCORE 605449.006
AT ITER 7729 NEW BEST:: SOT 4364035 SOS 755509 HAS SOPS 755509 HAS SOUS 604196 HAS SOUPS 604196 WITH SCORE 604951.509
AT ITER 7743 NEW BEST:: SOT 4363861 SOS 755161 HAS SOPS 755161 HAS SOUS 603729 HAS SOUPS 603729 WITH SCORE 604484.161
AT ITER 7764 NEW BEST:: SOT 4363861 SOS 754932 HAS SOPS 754932 HAS SOUS 603729 HAS SOUPS 603729 WITH SCORE 604483.932
AT ITER 7769 NEW BEST:: SOT 4363395 SOS 736318 HAS SOPS 736318 HAS SOUS 602842 HAS SOUPS 602842 WITH SCORE 603578.318
AT ITER 7775 NEW BEST:: SOT 4363351 SOS 736230 HAS SOPS 736230 HAS SOUS 602754 HAS SOUPS 602754 WITH SCORE 603490.23
AT ITER 7815 NEW BEST:: SOT 4363299 SOS 736126 HAS SOPS 736126 HAS SOUS 602650 HAS SOUPS 602650 WITH SCORE 603386.126
AT ITER 7829 NEW BEST:: SOT 4363225 SOS 735691 HAS SOPS 735691 HAS SOUS 602502 HAS SOUPS 602502 WITH SCORE 603237.691
AT ITER 7839 NEW BEST:: SOT 4362446 SOS 737675 HAS SOPS 737675 HAS SOUS 602302 HAS SOUPS 602302 WITH SCORE 603039.675
AT ITER 7851 NEW BEST:: SOT 4362384 SOS 737551 HAS SOPS 737551 HAS SOUS 602034 HAS SOUPS 602034 WITH SCORE 602771.551
AT ITER 7863 NEW BEST:: SOT 4362384 SOS 737551 HAS SOPS 737551 HAS SOUS 601990 HAS SOUPS 601990 WITH SCORE 602727.551
AT ITER 7870 NEW BEST:: SOT 4362478 SOS 737739 HAS SOPS 737739 HAS SOUS 601943 HAS SOUPS 601943 WITH SCORE 602680.739
AT ITER 7874 NEW BEST:: SOT 4362478 SOS 737739 HAS SOPS 737739 HAS SOUS 601938 HAS SOUPS 601938 WITH SCORE 602675.739
AT ITER 7875 NEW BEST:: SOT 4362425 SOS 737633 HAS SOPS 737633 HAS SOUS 601832 HAS SOUPS 601832 WITH SCORE 602569.633
AT ITER 7897 NEW BEST:: SOT 4362226 SOS 737346 HAS SOPS 737346 HAS SOUS 601522 HAS SOUPS 601522 WITH SCORE 602259.346
AT ITER 7911 NEW BEST:: SOT 4362209 SOS 737312 HAS SOPS 737312 HAS SOUS 601228 HAS SOUPS 601228 WITH SCORE 601965.312
AT ITER 7921 NEW BEST:: SOT 4362209 SOS 737276 HAS SOPS 737276 HAS SOUS 601192 HAS SOUPS 601192 WITH SCORE 601929.276
AT ITER 7935 NEW BEST:: SOT 4361819 SOS 736700 HAS SOPS 736700 HAS SOUS 600820 HAS SOUPS 600820 WITH SCORE 601556.7
AT ITER 7938 NEW BEST:: SOT 4361761 SOS 736584 HAS SOPS 736584 HAS SOUS 600794 HAS SOUPS 600794 WITH SCORE 601530.584
AT ITER 7945 NEW BEST:: SOT 4361551 SOS 736514 HAS SOPS 736514 HAS SOUS 600654 HAS SOUPS 600654 WITH SCORE 601390.514
AT ITER 7946 NEW BEST:: SOT 4361540 SOS 736492 HAS SOPS 736492 HAS SOUS 600535 HAS SOUPS 600535 WITH SCORE 601271.492
AT ITER 7978 NEW BEST:: SOT 4361260 SOS 735932 HAS SOPS 735932 HAS SOUS 599975 HAS SOUPS 599975 WITH SCORE 600710.932
AT ITER 7994 NEW BEST:: SOT 4361260 SOS 735796 HAS SOPS 735796 HAS SOUS 599975 HAS SOUPS 599975 WITH SCORE 600710.796
AT ITER 8000 NEW BEST:: SOT 4361260 SOS 735735 HAS SOPS 735735 HAS SOUS 599975 HAS SOUPS 599975 WITH SCORE 600710.735
AT ITER 8030 NEW BEST:: SOT 4361224 SOS 735607 HAS SOPS 735607 HAS SOUS 599903 HAS SOUPS 599903 WITH SCORE 600638.607
AT ITER 8038 NEW BEST:: SOT 4361122 SOS 735301 HAS SOPS 735301 HAS SOUS 599699 HAS SOUPS 599699 WITH SCORE 600434.301
AT ITER 8045 NEW BEST:: SOT 4361122 SOS 735294 HAS SOPS 735294 HAS SOUS 599699 HAS SOUPS 599699 WITH SCORE 600434.294
AT ITER 8152 NEW BEST:: SOT 4361021 SOS 735305 HAS SOPS 735305 HAS SOUS 599659 HAS SOUPS 599659 WITH SCORE 600394.305
AT ITER 8165 NEW BEST:: SOT 4361045 SOS 735244 HAS SOPS 735244 HAS SOUS 599598 HAS SOUPS 599598 WITH SCORE 600333.244
AT ITER 8166 NEW BEST:: SOT 4360925 SOS 735244 HAS SOPS 735244 HAS SOUS 599538 HAS SOUPS 599538 WITH SCORE 600273.244
AT ITER 8175 NEW BEST:: SOT 4360925 SOS 735244 HAS SOPS 735244 HAS SOUS 599496 HAS SOUPS 599496 WITH SCORE 600231.244
AT ITER 8201 NEW BEST:: SOT 4360655 SOS 735142 HAS SOPS 735142 HAS SOUS 599342 HAS SOUPS 599342 WITH SCORE 600077.142
AT ITER 8208 NEW BEST:: SOT 4360556 SOS 734944 HAS SOPS 734944 HAS SOUS 599235 HAS SOUPS 599235 WITH SCORE 599969.944
AT ITER 8213 NEW BEST:: SOT 4360475 SOS 734626 HAS SOPS 734626 HAS SOUS 599009 HAS SOUPS 599009 WITH SCORE 599743.626
AT ITER 8215 NEW BEST:: SOT 4360471 SOS 734709 HAS SOPS 734709 HAS SOUS 598988 HAS SOUPS 598988 WITH SCORE 599722.709
AT ITER 8224 NEW BEST:: SOT 4360433 SOS 734633 HAS SOPS 734633 HAS SOUS 598954 HAS SOUPS 598954 WITH SCORE 599688.633
AT ITER 8236 NEW BEST:: SOT 4360423 SOS 734613 HAS SOPS 734613 HAS SOUS 598934 HAS SOUPS 598934 WITH SCORE 599668.613
AT ITER 8258 NEW BEST:: SOT 4360422 SOS 734628 HAS SOPS 734628 HAS SOUS 598933 HAS SOUPS 598933 WITH SCORE 599667.628
AT ITER 8301 NEW BEST:: SOT 4360111 SOS 744254 HAS SOPS 744254 HAS SOUS 598866 HAS SOUPS 598866 WITH SCORE 599610.254
AT ITER 8302 NEW BEST:: SOT 4360145 SOS 744322 HAS SOPS 744322 HAS SOUS 598808 HAS SOUPS 598808 WITH SCORE 599552.322
AT ITER 8350 NEW BEST:: SOT 4360145 SOS 744227 HAS SOPS 744227 HAS SOUS 598713 HAS SOUPS 598713 WITH SCORE 599457.227
AT ITER 8362 NEW BEST:: SOT 4359992 SOS 744123 HAS SOPS 744123 HAS SOUS 598584 HAS SOUPS 598584 WITH SCORE 599328.123
AT ITER 8369 NEW BEST:: SOT 4359972 SOS 744083 HAS SOPS 744083 HAS SOUS 598544 HAS SOUPS 598544 WITH SCORE 599288.083
AT ITER 8403 NEW BEST:: SOT 4359971 SOS 743754 HAS SOPS 743754 HAS SOUS 598542 HAS SOUPS 598542 WITH SCORE 599285.754
AT ITER 8444 NEW BEST:: SOT 4359957 SOS 743726 HAS SOPS 743726 HAS SOUS 598514 HAS SOUPS 598514 WITH SCORE 599257.726
AT ITER 8466 NEW BEST:: SOT 4359912 SOS 743636 HAS SOPS 743636 HAS SOUS 598469 HAS SOUPS 598469 WITH SCORE 599212.636
AT ITER 8471 NEW BEST:: SOT 4359912 SOS 743591 HAS SOPS 743591 HAS SOUS 598469 HAS SOUPS 598469 WITH SCORE 599212.591
AT ITER 8481 NEW BEST:: SOT 4359814 SOS 743345 HAS SOPS 743345 HAS SOUS 598321 HAS SOUPS 598321 WITH SCORE 599064.345
AT ITER 8494 NEW BEST:: SOT 4359738 SOS 743091 HAS SOPS 743091 HAS SOUS 598159 HAS SOUPS 598159 WITH SCORE 598902.091
AT ITER 8499 NEW BEST:: SOT 4359738 SOS 742972 HAS SOPS 742972 HAS SOUS 598159 HAS SOUPS 598159 WITH SCORE 598901.972
AT ITER 8508 NEW BEST:: SOT 4359733 SOS 742952 HAS SOPS 742952 HAS SOUS 598144 HAS SOUPS 598144 WITH SCORE 598886.952
AT ITER 8517 NEW BEST:: SOT 4359750 SOS 742986 HAS SOPS 742986 HAS SOUS 598086 HAS SOUPS 598086 WITH SCORE 598828.986
AT ITER 8518 NEW BEST:: SOT 4359705 SOS 742896 HAS SOPS 742896 HAS SOUS 598041 HAS SOUPS 598041 WITH SCORE 598783.896
AT ITER 8572 NEW BEST:: SOT 4359720 SOS 742866 HAS SOPS 742866 HAS SOUS 598041 HAS SOUPS 598041 WITH SCORE 598783.866
AT ITER 8618 NEW BEST:: SOT 4359383 SOS 742192 HAS SOPS 742192 HAS SOUS 597618 HAS SOUPS 597618 WITH SCORE 598360.192
AT ITER 8656 NEW BEST:: SOT 4359309 SOS 742044 HAS SOPS 742044 HAS SOUS 597544 HAS SOUPS 597544 WITH SCORE 598286.044
AT ITER 8661 NEW BEST:: SOT 4359309 SOS 741985 HAS SOPS 741985 HAS SOUS 597544 HAS SOUPS 597544 WITH SCORE 598285.985
AT ITER 8669 NEW BEST:: SOT 4359253 SOS 741150 HAS SOPS 741150 HAS SOUS 597430 HAS SOUPS 597430 WITH SCORE 598171.15
AT ITER 8690 NEW BEST:: SOT 4359307 SOS 741258 HAS SOPS 741258 HAS SOUS 597329 HAS SOUPS 597329 WITH SCORE 598070.258
AT ITER 8709 NEW BEST:: SOT 4359260 SOS 741164 HAS SOPS 741164 HAS SOUS 597235 HAS SOUPS 597235 WITH SCORE 597976.164
AT ITER 8711 NEW BEST:: SOT 4359245 SOS 741134 HAS SOPS 741134 HAS SOUS 597219 HAS SOUPS 597219 WITH SCORE 597960.134
AT ITER 8723 NEW BEST:: SOT 4359174 SOS 740921 HAS SOPS 740921 HAS SOUS 597148 HAS SOUPS 597148 WITH SCORE 597888.921
AT ITER 8739 NEW BEST:: SOT 4359170 SOS 740884 HAS SOPS 740884 HAS SOUS 597078 HAS SOUPS 597078 WITH SCORE 597818.884
AT ITER 8741 NEW BEST:: SOT 4359170 SOS 740688 HAS SOPS 740688 HAS SOUS 597078 HAS SOUPS 597078 WITH SCORE 597818.688
AT ITER 8742 NEW BEST:: SOT 4359124 SOS 740596 HAS SOPS 740596 HAS SOUS 597018 HAS SOUPS 597018 WITH SCORE 597758.596
AT ITER 8772 NEW BEST:: SOT 4358999 SOS 740346 HAS SOPS 740346 HAS SOUS 596768 HAS SOUPS 596768 WITH SCORE 597508.346
AT ITER 8777 NEW BEST:: SOT 4358999 SOS 740102 HAS SOPS 740102 HAS SOUS 596768 HAS SOUPS 596768 WITH SCORE 597508.102
AT ITER 8784 NEW BEST:: SOT 4358869 SOS 739972 HAS SOPS 739972 HAS SOUS 596638 HAS SOUPS 596638 WITH SCORE 597377.972
AT ITER 8801 NEW BEST:: SOT 4358647 SOS 739810 HAS SOPS 739810 HAS SOUS 596176 HAS SOUPS 596176 WITH SCORE 596915.81
AT ITER 8814 NEW BEST:: SOT 4358627 SOS 739770 HAS SOPS 739770 HAS SOUS 596136 HAS SOUPS 596136 WITH SCORE 596875.77
AT ITER 8837 NEW BEST:: SOT 4358858 SOS 738696 HAS SOPS 738696 HAS SOUS 595599 HAS SOUPS 595599 WITH SCORE 596337.696
AT ITER 8855 NEW BEST:: SOT 4358858 SOS 738696 HAS SOPS 738696 HAS SOUS 595598 HAS SOUPS 595598 WITH SCORE 596336.696
AT ITER 8888 NEW BEST:: SOT 4358786 SOS 738552 HAS SOPS 738552 HAS SOUS 595454 HAS SOUPS 595454 WITH SCORE 596192.552
AT ITER 8945 NEW BEST:: SOT 4358833 SOS 738429 HAS SOPS 738429 HAS SOUS 595444 HAS SOUPS 595444 WITH SCORE 596182.429
AT ITER 8961 NEW BEST:: SOT 4358801 SOS 738365 HAS SOPS 738365 HAS SOUS 595380 HAS SOUPS 595380 WITH SCORE 596118.365
AT ITER 8974 NEW BEST:: SOT 4358796 SOS 738355 HAS SOPS 738355 HAS SOUS 595374 HAS SOUPS 595374 WITH SCORE 596112.355
AT ITER 8975 NEW BEST:: SOT 4358511 SOS 737619 HAS SOPS 737619 HAS SOUS 594923 HAS SOUPS 594923 WITH SCORE 595660.619
AT ITER 8977 NEW BEST:: SOT 4358493 SOS 737583 HAS SOPS 737583 HAS SOUS 594905 HAS SOUPS 594905 WITH SCORE 595642.583
AT ITER 9041 NEW BEST:: SOT 4358455 SOS 737507 HAS SOPS 737507 HAS SOUS 594739 HAS SOUPS 594739 WITH SCORE 595476.507
AT ITER 9111 NEW BEST:: SOT 4358065 SOS 736927 HAS SOPS 736927 HAS SOUS 594349 HAS SOUPS 594349 WITH SCORE 595085.927
AT ITER 9122 NEW BEST:: SOT 4358065 SOS 736927 HAS SOPS 736927 HAS SOUS 594346 HAS SOUPS 594346 WITH SCORE 595082.927
AT ITER 9156 NEW BEST:: SOT 4357999 SOS 736795 HAS SOPS 736795 HAS SOUS 594214 HAS SOUPS 594214 WITH SCORE 594950.795
AT ITER 9188 NEW BEST:: SOT 4357999 SOS 736400 HAS SOPS 736400 HAS SOUS 594214 HAS SOUPS 594214 WITH SCORE 594950.4
AT ITER 9227 NEW BEST:: SOT 4357901 SOS 736326 HAS SOPS 736326 HAS SOUS 594140 HAS SOUPS 594140 WITH SCORE 594876.326
AT ITER 9263 NEW BEST:: SOT 4357901 SOS 735980 HAS SOPS 735980 HAS SOUS 594140 HAS SOUPS 594140 WITH SCORE 594875.98
AT ITER 9277 NEW BEST:: SOT 4357901 SOS 735980 HAS SOPS 735980 HAS SOUS 594138 HAS SOUPS 594138 WITH SCORE 594873.98
AT ITER 9302 NEW BEST:: SOT 4357854 SOS 735932 HAS SOPS 735932 HAS SOUS 594090 HAS SOUPS 594090 WITH SCORE 594825.932
AT ITER 9309 NEW BEST:: SOT 4357854 SOS 735817 HAS SOPS 735817 HAS SOUS 594090 HAS SOUPS 594090 WITH SCORE 594825.817
AT ITER 9347 NEW BEST:: SOT 4357854 SOS 735736 HAS SOPS 735736 HAS SOUS 594090 HAS SOUPS 594090 WITH SCORE 594825.736
AT ITER 9377 NEW BEST:: SOT 4357989 SOS 735708 HAS SOPS 735708 HAS SOUS 593927 HAS SOUPS 593927 WITH SCORE 594662.708
AT ITER 9382 NEW BEST:: SOT 4357823 SOS 735107 HAS SOPS 735107 HAS SOUS 593492 HAS SOUPS 593492 WITH SCORE 594227.107
AT ITER 9410 NEW BEST:: SOT 4357856 SOS 734826 HAS SOPS 734826 HAS SOUS 593308 HAS SOUPS 593308 WITH SCORE 594042.826
AT ITER 9423 NEW BEST:: SOT 4357724 SOS 734606 HAS SOPS 734606 HAS SOUS 593132 HAS SOUPS 593132 WITH SCORE 593866.606
AT ITER 9438 NEW BEST:: SOT 4357504 SOS 734386 HAS SOPS 734386 HAS SOUS 593131 HAS SOUPS 593131 WITH SCORE 593865.386
AT ITER 9458 NEW BEST:: SOT 4357396 SOS 734178 HAS SOPS 734178 HAS SOUS 592915 HAS SOUPS 592915 WITH SCORE 593649.178
AT ITER 9474 NEW BEST:: SOT 4357422 SOS 734204 HAS SOPS 734204 HAS SOUS 592862 HAS SOUPS 592862 WITH SCORE 593596.204
AT ITER 9480 NEW BEST:: SOT 4357539 SOS 734058 HAS SOPS 734058 HAS SOUS 592837 HAS SOUPS 592837 WITH SCORE 593571.058
AT ITER 9485 NEW BEST:: SOT 4357415 SOS 733810 HAS SOPS 733810 HAS SOUS 592589 HAS SOUPS 592589 WITH SCORE 593322.81
AT ITER 9498 NEW BEST:: SOT 4357202 SOS 733504 HAS SOPS 733504 HAS SOUS 592283 HAS SOUPS 592283 WITH SCORE 593016.504
AT ITER 9531 NEW BEST:: SOT 4357182 SOS 733809 HAS SOPS 733809 HAS SOUS 592263 HAS SOUPS 592263 WITH SCORE 592996.809
AT ITER 9550 NEW BEST:: SOT 4357225 SOS 733895 HAS SOPS 733895 HAS SOUS 592206 HAS SOUPS 592206 WITH SCORE 592939.895
AT ITER 9609 NEW BEST:: SOT 4357225 SOS 733853 HAS SOPS 733853 HAS SOUS 592164 HAS SOUPS 592164 WITH SCORE 592897.853
AT ITER 9646 NEW BEST:: SOT 4357211 SOS 733839 HAS SOPS 733839 HAS SOUS 592136 HAS SOUPS 592136 WITH SCORE 592869.839
AT ITER 9677 NEW BEST:: SOT 4357211 SOS 733713 HAS SOPS 733713 HAS SOUS 592010 HAS SOUPS 592010 WITH SCORE 592743.713
AT ITER 9685 NEW BEST:: SOT 4357345 SOS 733847 HAS SOPS 733847 HAS SOUS 591852 HAS SOUPS 591852 WITH SCORE 592585.847
AT ITER 9687 NEW BEST:: SOT 4357197 SOS 733551 HAS SOPS 733551 HAS SOUS 591556 HAS SOUPS 591556 WITH SCORE 592289.551
AT ITER 9688 NEW BEST:: SOT 4357116 SOS 733454 HAS SOPS 733454 HAS SOUS 591459 HAS SOUPS 591459 WITH SCORE 592192.454
AT ITER 9706 NEW BEST:: SOT 4357115 SOS 733447 HAS SOPS 733447 HAS SOUS 591457 HAS SOUPS 591457 WITH SCORE 592190.447
AT ITER 9724 NEW BEST:: SOT 4357115 SOS 733405 HAS SOPS 733405 HAS SOUS 591456 HAS SOUPS 591456 WITH SCORE 592189.405
AT ITER 9743 NEW BEST:: SOT 4357115 SOS 733343 HAS SOPS 733343 HAS SOUS 591394 HAS SOUPS 591394 WITH SCORE 592127.343
AT ITER 9753 NEW BEST:: SOT 4357057 SOS 733227 HAS SOPS 733227 HAS SOUS 591262 HAS SOUPS 591262 WITH SCORE 591995.227
AT ITER 9810 NEW BEST:: SOT 4357057 SOS 733227 HAS SOPS 733227 HAS SOUS 591212 HAS SOUPS 591212 WITH SCORE 591945.227
AT ITER 9816 NEW BEST:: SOT 4357057 SOS 733227 HAS SOPS 733227 HAS SOUS 591211 HAS SOUPS 591211 WITH SCORE 591944.227
AT ITER 9849 NEW BEST:: SOT 4357010 SOS 733075 HAS SOPS 733075 HAS SOUS 591164 HAS SOUPS 591164 WITH SCORE 591897.075
AT ITER 9885 NEW BEST:: SOT 4357010 SOS 733059 HAS SOPS 733059 HAS SOUS 591148 HAS SOUPS 591148 WITH SCORE 591881.059
AT ITER 9909 NEW BEST:: SOT 4356956 SOS 732951 HAS SOPS 732951 HAS SOUS 591057 HAS SOUPS 591057 WITH SCORE 591789.951
AT ITER 9910 NEW BEST:: SOT 4357158 SOS 732895 HAS SOPS 732895 HAS SOUS 591001 HAS SOUPS 591001 WITH SCORE 591733.895
AT ITER 9932 NEW BEST:: SOT 4357150 SOS 732866 HAS SOPS 732866 HAS SOUS 590972 HAS SOUPS 590972 WITH SCORE 591704.866
AT ITER 9974 NEW BEST:: SOT 4357137 SOS 732840 HAS SOPS 732840 HAS SOUS 590946 HAS SOUPS 590946 WITH SCORE 591678.84
AT ITER 9997 NEW BEST:: SOT 4356728 SOS 732022 HAS SOPS 732022 HAS SOUS 590566 HAS SOUPS 590566 WITH SCORE 591298.022
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11972984 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152696 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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