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-167814472000096.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-312, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472000096
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 7.8K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 11:49 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 24K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 11:50 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 1678222507987

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-312
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 312
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 4443289 SOS 758943 HAS SOPS 758943 HAS SOUS 699965 HAS SOUPS 699965 WITH SCORE 700723.943
AT ITER 11 NEW BEST:: SOT 4443135 SOS 758635 HAS SOPS 758635 HAS SOUS 699657 HAS SOUPS 699657 WITH SCORE 700415.635
AT ITER 17 NEW BEST:: SOT 4443135 SOS 758535 HAS SOPS 758535 HAS SOUS 699657 HAS SOUPS 699657 WITH SCORE 700415.535
AT ITER 18 NEW BEST:: SOT 4442965 SOS 758365 HAS SOPS 758365 HAS SOUS 699487 HAS SOUPS 699487 WITH SCORE 700245.365
AT ITER 20 NEW BEST:: SOT 4442964 SOS 758363 HAS SOPS 758363 HAS SOUS 699485 HAS SOUPS 699485 WITH SCORE 700243.363
AT ITER 26 NEW BEST:: SOT 4442964 SOS 758239 HAS SOPS 758239 HAS SOUS 699485 HAS SOUPS 699485 WITH SCORE 700243.239
AT ITER 33 NEW BEST:: SOT 4443016 SOS 758017 HAS SOPS 758017 HAS SOUS 699263 HAS SOUPS 699263 WITH SCORE 700021.017
AT ITER 34 NEW BEST:: SOT 4442866 SOS 757817 HAS SOPS 757817 HAS SOUS 699063 HAS SOUPS 699063 WITH SCORE 699820.817
AT ITER 38 NEW BEST:: SOT 4442866 SOS 757431 HAS SOPS 757431 HAS SOUS 698870 HAS SOUPS 698870 WITH SCORE 699627.431
AT ITER 44 NEW BEST:: SOT 4442857 SOS 757413 HAS SOPS 757413 HAS SOUS 698772 HAS SOUPS 698772 WITH SCORE 699529.413
AT ITER 53 NEW BEST:: SOT 4442385 SOS 757054 HAS SOPS 757054 HAS SOUS 698331 HAS SOUPS 698331 WITH SCORE 699088.054
AT ITER 56 NEW BEST:: SOT 4442220 SOS 757127 HAS SOPS 757127 HAS SOUS 698231 HAS SOUPS 698231 WITH SCORE 698988.127
AT ITER 108 NEW BEST:: SOT 4442220 SOS 757015 HAS SOPS 757015 HAS SOUS 698231 HAS SOUPS 698231 WITH SCORE 698988.015
AT ITER 125 NEW BEST:: SOT 4441804 SOS 756450 HAS SOPS 756450 HAS SOUS 697581 HAS SOUPS 697581 WITH SCORE 698337.45
AT ITER 130 NEW BEST:: SOT 4441801 SOS 756444 HAS SOPS 756444 HAS SOUS 697575 HAS SOUPS 697575 WITH SCORE 698331.444
AT ITER 146 NEW BEST:: SOT 4441508 SOS 756177 HAS SOPS 756177 HAS SOUS 697308 HAS SOUPS 697308 WITH SCORE 698064.177
AT ITER 153 NEW BEST:: SOT 4441399 SOS 755959 HAS SOPS 755959 HAS SOUS 697090 HAS SOUPS 697090 WITH SCORE 697845.959
AT ITER 162 NEW BEST:: SOT 4441179 SOS 755137 HAS SOPS 755137 HAS SOUS 696488 HAS SOUPS 696488 WITH SCORE 697243.137
AT ITER 169 NEW BEST:: SOT 4441003 SOS 754785 HAS SOPS 754785 HAS SOUS 696312 HAS SOUPS 696312 WITH SCORE 697066.785
AT ITER 173 NEW BEST:: SOT 4440759 SOS 754631 HAS SOPS 754631 HAS SOUS 696128 HAS SOUPS 696128 WITH SCORE 696882.631
AT ITER 181 NEW BEST:: SOT 4440817 SOS 754476 HAS SOPS 754476 HAS SOUS 695973 HAS SOUPS 695973 WITH SCORE 696727.476
AT ITER 199 NEW BEST:: SOT 4440787 SOS 754446 HAS SOPS 754446 HAS SOUS 695943 HAS SOUPS 695943 WITH SCORE 696697.446
AT ITER 254 NEW BEST:: SOT 4440786 SOS 754444 HAS SOPS 754444 HAS SOUS 695941 HAS SOUPS 695941 WITH SCORE 696695.444
AT ITER 258 NEW BEST:: SOT 4440513 SOS 754194 HAS SOPS 754194 HAS SOUS 695668 HAS SOUPS 695668 WITH SCORE 696422.194
AT ITER 267 NEW BEST:: SOT 4440445 SOS 754058 HAS SOPS 754058 HAS SOUS 695600 HAS SOUPS 695600 WITH SCORE 696354.058
AT ITER 271 NEW BEST:: SOT 4440445 SOS 753975 HAS SOPS 753975 HAS SOUS 695600 HAS SOUPS 695600 WITH SCORE 696353.975
AT ITER 286 NEW BEST:: SOT 4440367 SOS 753741 HAS SOPS 753741 HAS SOUS 695444 HAS SOUPS 695444 WITH SCORE 696197.741
AT ITER 293 NEW BEST:: SOT 4440304 SOS 753615 HAS SOPS 753615 HAS SOUS 695168 HAS SOUPS 695168 WITH SCORE 695921.615
AT ITER 319 NEW BEST:: SOT 4440113 SOS 753233 HAS SOPS 753233 HAS SOUS 694716 HAS SOUPS 694716 WITH SCORE 695469.233
AT ITER 327 NEW BEST:: SOT 4439872 SOS 752751 HAS SOPS 752751 HAS SOUS 694234 HAS SOUPS 694234 WITH SCORE 694986.751
AT ITER 361 NEW BEST:: SOT 4439872 SOS 752737 HAS SOPS 752737 HAS SOUS 694234 HAS SOUPS 694234 WITH SCORE 694986.737
AT ITER 371 NEW BEST:: SOT 4439566 SOS 752533 HAS SOPS 752533 HAS SOUS 694030 HAS SOUPS 694030 WITH SCORE 694782.533
AT ITER 374 NEW BEST:: SOT 4439280 SOS 752276 HAS SOPS 752276 HAS SOUS 693758 HAS SOUPS 693758 WITH SCORE 694510.276
AT ITER 392 NEW BEST:: SOT 4439267 SOS 752263 HAS SOPS 752263 HAS SOUS 693745 HAS SOUPS 693745 WITH SCORE 694497.263
AT ITER 399 NEW BEST:: SOT 4439266 SOS 751990 HAS SOPS 751990 HAS SOUS 693473 HAS SOUPS 693473 WITH SCORE 694224.99
AT ITER 408 NEW BEST:: SOT 4439266 SOS 751540 HAS SOPS 751540 HAS SOUS 693248 HAS SOUPS 693248 WITH SCORE 693999.54
AT ITER 410 NEW BEST:: SOT 4438961 SOS 751297 HAS SOPS 751297 HAS SOUS 692956 HAS SOUPS 692956 WITH SCORE 693707.297
AT ITER 435 NEW BEST:: SOT 4438929 SOS 751233 HAS SOPS 751233 HAS SOUS 692923 HAS SOUPS 692923 WITH SCORE 693674.233
AT ITER 452 NEW BEST:: SOT 4438380 SOS 750499 HAS SOPS 750499 HAS SOUS 692112 HAS SOUPS 692112 WITH SCORE 692862.499
AT ITER 471 NEW BEST:: SOT 4438329 SOS 750397 HAS SOPS 750397 HAS SOUS 692010 HAS SOUPS 692010 WITH SCORE 692760.397
AT ITER 481 NEW BEST:: SOT 4438295 SOS 750363 HAS SOPS 750363 HAS SOUS 691976 HAS SOUPS 691976 WITH SCORE 692726.363
AT ITER 483 NEW BEST:: SOT 4437795 SOS 749863 HAS SOPS 749863 HAS SOUS 691476 HAS SOUPS 691476 WITH SCORE 692225.863
AT ITER 495 NEW BEST:: SOT 4437684 SOS 749752 HAS SOPS 749752 HAS SOUS 691365 HAS SOUPS 691365 WITH SCORE 692114.752
AT ITER 499 NEW BEST:: SOT 4434383 SOS 767372 HAS SOPS 767372 HAS SOUS 689438 HAS SOUPS 689438 WITH SCORE 690205.372
AT ITER 508 NEW BEST:: SOT 4434383 SOS 767141 HAS SOPS 767141 HAS SOUS 689437 HAS SOUPS 689437 WITH SCORE 690204.141
AT ITER 520 NEW BEST:: SOT 4434182 SOS 766739 HAS SOPS 766739 HAS SOUS 689035 HAS SOUPS 689035 WITH SCORE 689801.739
AT ITER 523 NEW BEST:: SOT 4434140 SOS 766697 HAS SOPS 766697 HAS SOUS 688993 HAS SOUPS 688993 WITH SCORE 689759.697
AT ITER 533 NEW BEST:: SOT 4434057 SOS 766531 HAS SOPS 766531 HAS SOUS 688827 HAS SOUPS 688827 WITH SCORE 689593.531
AT ITER 542 NEW BEST:: SOT 4434054 SOS 766525 HAS SOPS 766525 HAS SOUS 688821 HAS SOUPS 688821 WITH SCORE 689587.525
AT ITER 549 NEW BEST:: SOT 4434027 SOS 766471 HAS SOPS 766471 HAS SOUS 688767 HAS SOUPS 688767 WITH SCORE 689533.471
AT ITER 562 NEW BEST:: SOT 4433981 SOS 766379 HAS SOPS 766379 HAS SOUS 688658 HAS SOUPS 688658 WITH SCORE 689424.379
AT ITER 570 NEW BEST:: SOT 4433687 SOS 766151 HAS SOPS 766151 HAS SOUS 688364 HAS SOUPS 688364 WITH SCORE 689130.151
AT ITER 573 NEW BEST:: SOT 4433645 SOS 766109 HAS SOPS 766109 HAS SOUS 688322 HAS SOUPS 688322 WITH SCORE 689088.109
AT ITER 598 NEW BEST:: SOT 4433645 SOS 765930 HAS SOPS 765930 HAS SOUS 688321 HAS SOUPS 688321 WITH SCORE 689086.93
AT ITER 644 NEW BEST:: SOT 4433645 SOS 765880 HAS SOPS 765880 HAS SOUS 688321 HAS SOUPS 688321 WITH SCORE 689086.88
AT ITER 655 NEW BEST:: SOT 4433607 SOS 765766 HAS SOPS 765766 HAS SOUS 688245 HAS SOUPS 688245 WITH SCORE 689010.766
AT ITER 668 NEW BEST:: SOT 4433869 SOS 765600 HAS SOPS 765600 HAS SOUS 688162 HAS SOUPS 688162 WITH SCORE 688927.6
AT ITER 671 NEW BEST:: SOT 4433564 SOS 765944 HAS SOPS 765944 HAS SOUS 688023 HAS SOUPS 688023 WITH SCORE 688788.944
AT ITER 677 NEW BEST:: SOT 4433477 SOS 765770 HAS SOPS 765770 HAS SOUS 687849 HAS SOUPS 687849 WITH SCORE 688614.77
AT ITER 703 NEW BEST:: SOT 4433477 SOS 765740 HAS SOPS 765740 HAS SOUS 687849 HAS SOUPS 687849 WITH SCORE 688614.74
AT ITER 714 NEW BEST:: SOT 4433481 SOS 765748 HAS SOPS 765748 HAS SOUS 687662 HAS SOUPS 687662 WITH SCORE 688427.748
AT ITER 751 NEW BEST:: SOT 4433188 SOS 765529 HAS SOPS 765529 HAS SOUS 687425 HAS SOUPS 687425 WITH SCORE 688190.529
AT ITER 757 NEW BEST:: SOT 4433112 SOS 765643 HAS SOPS 765643 HAS SOUS 687411 HAS SOUPS 687411 WITH SCORE 688176.643
AT ITER 758 NEW BEST:: SOT 4432880 SOS 765179 HAS SOPS 765179 HAS SOUS 686929 HAS SOUPS 686929 WITH SCORE 687694.179
AT ITER 761 NEW BEST:: SOT 4432585 SOS 764589 HAS SOPS 764589 HAS SOUS 686339 HAS SOUPS 686339 WITH SCORE 687103.589
AT ITER 770 NEW BEST:: SOT 4432573 SOS 764565 HAS SOPS 764565 HAS SOUS 686315 HAS SOUPS 686315 WITH SCORE 687079.565
AT ITER 781 NEW BEST:: SOT 4432327 SOS 764349 HAS SOPS 764349 HAS SOUS 686089 HAS SOUPS 686089 WITH SCORE 686853.349
AT ITER 800 NEW BEST:: SOT 4432326 SOS 764028 HAS SOPS 764028 HAS SOUS 686087 HAS SOUPS 686087 WITH SCORE 686851.028
AT ITER 818 NEW BEST:: SOT 4432051 SOS 763478 HAS SOPS 763478 HAS SOUS 685537 HAS SOUPS 685537 WITH SCORE 686300.478
AT ITER 844 NEW BEST:: SOT 4431859 SOS 763094 HAS SOPS 763094 HAS SOUS 685345 HAS SOUPS 685345 WITH SCORE 686108.094
AT ITER 854 NEW BEST:: SOT 4431646 SOS 762968 HAS SOPS 762968 HAS SOUS 685176 HAS SOUPS 685176 WITH SCORE 685938.968
AT ITER 880 NEW BEST:: SOT 4429712 SOS 790620 HAS SOPS 790620 HAS SOUS 683387 HAS SOUPS 683387 WITH SCORE 684177.62
AT ITER 884 NEW BEST:: SOT 4429379 SOS 789954 HAS SOPS 789954 HAS SOUS 683233 HAS SOUPS 683233 WITH SCORE 684022.954
AT ITER 916 NEW BEST:: SOT 4429379 SOS 789853 HAS SOPS 789853 HAS SOUS 683233 HAS SOUPS 683233 WITH SCORE 684022.853
AT ITER 940 NEW BEST:: SOT 4429379 SOS 789853 HAS SOPS 789853 HAS SOUS 683030 HAS SOUPS 683030 WITH SCORE 683819.853
AT ITER 943 NEW BEST:: SOT 4429379 SOS 789818 HAS SOPS 789818 HAS SOUS 682995 HAS SOUPS 682995 WITH SCORE 683784.818
AT ITER 949 NEW BEST:: SOT 4428938 SOS 790038 HAS SOPS 790038 HAS SOUS 682925 HAS SOUPS 682925 WITH SCORE 683715.038
AT ITER 1002 NEW BEST:: SOT 4428938 SOS 790038 HAS SOPS 790038 HAS SOUS 682868 HAS SOUPS 682868 WITH SCORE 683658.038
AT ITER 1008 NEW BEST:: SOT 4428814 SOS 789914 HAS SOPS 789914 HAS SOUS 682744 HAS SOUPS 682744 WITH SCORE 683533.914
AT ITER 1009 NEW BEST:: SOT 4428776 SOS 789838 HAS SOPS 789838 HAS SOUS 682668 HAS SOUPS 682668 WITH SCORE 683457.838
AT ITER 1011 NEW BEST:: SOT 4427353 SOS 788540 HAS SOPS 788540 HAS SOUS 681283 HAS SOUPS 681283 WITH SCORE 682071.54
AT ITER 1025 NEW BEST:: SOT 4427353 SOS 788483 HAS SOPS 788483 HAS SOUS 681282 HAS SOUPS 681282 WITH SCORE 682070.483
AT ITER 1052 NEW BEST:: SOT 4425201 SOS 786639 HAS SOPS 786639 HAS SOUS 679437 HAS SOUPS 679437 WITH SCORE 680223.639
AT ITER 1070 NEW BEST:: SOT 4425139 SOS 786515 HAS SOPS 786515 HAS SOUS 679249 HAS SOUPS 679249 WITH SCORE 680035.515
AT ITER 1081 NEW BEST:: SOT 4414587 SOS 778483 HAS SOPS 778483 HAS SOUS 669001 HAS SOUPS 669001 WITH SCORE 669779.483
AT ITER 1117 NEW BEST:: SOT 4414580 SOS 778345 HAS SOPS 778345 HAS SOUS 668927 HAS SOUPS 668927 WITH SCORE 669705.345
AT ITER 1118 NEW BEST:: SOT 4414489 SOS 778163 HAS SOPS 778163 HAS SOUS 668745 HAS SOUPS 668745 WITH SCORE 669523.163
AT ITER 1125 NEW BEST:: SOT 4414227 SOS 777639 HAS SOPS 777639 HAS SOUS 668221 HAS SOUPS 668221 WITH SCORE 668998.639
AT ITER 1127 NEW BEST:: SOT 4413302 SOS 778133 HAS SOPS 778133 HAS SOUS 667726 HAS SOUPS 667726 WITH SCORE 668504.133
AT ITER 1154 NEW BEST:: SOT 4413242 SOS 778133 HAS SOPS 778133 HAS SOUS 667696 HAS SOUPS 667696 WITH SCORE 668474.133
AT ITER 1176 NEW BEST:: SOT 4413240 SOS 777795 HAS SOPS 777795 HAS SOUS 667376 HAS SOUPS 667376 WITH SCORE 668153.795
AT ITER 1208 NEW BEST:: SOT 4413240 SOS 777795 HAS SOPS 777795 HAS SOUS 667079 HAS SOUPS 667079 WITH SCORE 667856.795
AT ITER 1224 NEW BEST:: SOT 4413091 SOS 777497 HAS SOPS 777497 HAS SOUS 666781 HAS SOUPS 666781 WITH SCORE 667558.497
AT ITER 1246 NEW BEST:: SOT 4412883 SOS 776726 HAS SOPS 776726 HAS SOUS 666365 HAS SOUPS 666365 WITH SCORE 667141.726
AT ITER 1253 NEW BEST:: SOT 4412597 SOS 776154 HAS SOPS 776154 HAS SOUS 666181 HAS SOUPS 666181 WITH SCORE 666957.154
AT ITER 1285 NEW BEST:: SOT 4405626 SOS 782354 HAS SOPS 782354 HAS SOUS 660132 HAS SOUPS 660132 WITH SCORE 660914.354
AT ITER 1298 NEW BEST:: SOT 4405625 SOS 782352 HAS SOPS 782352 HAS SOUS 660130 HAS SOUPS 660130 WITH SCORE 660912.352
AT ITER 1319 NEW BEST:: SOT 4405509 SOS 782352 HAS SOPS 782352 HAS SOUS 660072 HAS SOUPS 660072 WITH SCORE 660854.352
AT ITER 1400 NEW BEST:: SOT 4405509 SOS 782216 HAS SOPS 782216 HAS SOUS 660072 HAS SOUPS 660072 WITH SCORE 660854.216
AT ITER 1403 NEW BEST:: SOT 4404254 SOS 783513 HAS SOPS 783513 HAS SOUS 659233 HAS SOUPS 659233 WITH SCORE 660016.513
AT ITER 1407 NEW BEST:: SOT 4404254 SOS 783340 HAS SOPS 783340 HAS SOUS 659233 HAS SOUPS 659233 WITH SCORE 660016.34
AT ITER 1416 NEW BEST:: SOT 4404244 SOS 783320 HAS SOPS 783320 HAS SOUS 659213 HAS SOUPS 659213 WITH SCORE 659996.32
AT ITER 1418 NEW BEST:: SOT 4404244 SOS 783320 HAS SOPS 783320 HAS SOUS 658901 HAS SOUPS 658901 WITH SCORE 659684.32
AT ITER 1423 NEW BEST:: SOT 4403788 SOS 782782 HAS SOPS 782782 HAS SOUS 658414 HAS SOUPS 658414 WITH SCORE 659196.782
AT ITER 1428 NEW BEST:: SOT 4403788 SOS 782517 HAS SOPS 782517 HAS SOUS 658414 HAS SOUPS 658414 WITH SCORE 659196.517
AT ITER 1440 NEW BEST:: SOT 4403788 SOS 782254 HAS SOPS 782254 HAS SOUS 658414 HAS SOUPS 658414 WITH SCORE 659196.254
AT ITER 1461 NEW BEST:: SOT 4403495 SOS 782198 HAS SOPS 782198 HAS SOUS 658211 HAS SOUPS 658211 WITH SCORE 658993.198
AT ITER 1470 NEW BEST:: SOT 4403495 SOS 782198 HAS SOPS 782198 HAS SOUS 658200 HAS SOUPS 658200 WITH SCORE 658982.198
AT ITER 1479 NEW BEST:: SOT 4403416 SOS 782040 HAS SOPS 782040 HAS SOUS 658095 HAS SOUPS 658095 WITH SCORE 658877.04
AT ITER 1487 NEW BEST:: SOT 4403298 SOS 781804 HAS SOPS 781804 HAS SOUS 657859 HAS SOUPS 657859 WITH SCORE 658640.804
AT ITER 1521 NEW BEST:: SOT 4403092 SOS 781735 HAS SOPS 781735 HAS SOUS 657722 HAS SOUPS 657722 WITH SCORE 658503.735
AT ITER 1539 NEW BEST:: SOT 4403092 SOS 781735 HAS SOPS 781735 HAS SOUS 657608 HAS SOUPS 657608 WITH SCORE 658389.735
AT ITER 1557 NEW BEST:: SOT 4403006 SOS 781563 HAS SOPS 781563 HAS SOUS 657522 HAS SOUPS 657522 WITH SCORE 658303.563
AT ITER 1564 NEW BEST:: SOT 4402965 SOS 781522 HAS SOPS 781522 HAS SOUS 657481 HAS SOUPS 657481 WITH SCORE 658262.522
AT ITER 1595 NEW BEST:: SOT 4402579 SOS 781136 HAS SOPS 781136 HAS SOUS 657480 HAS SOUPS 657480 WITH SCORE 658261.136
AT ITER 1601 NEW BEST:: SOT 4402744 SOS 781048 HAS SOPS 781048 HAS SOUS 657438 HAS SOUPS 657438 WITH SCORE 658219.048
AT ITER 1618 NEW BEST:: SOT 4402561 SOS 780943 HAS SOPS 780943 HAS SOUS 657279 HAS SOUPS 657279 WITH SCORE 658059.943
AT ITER 1628 NEW BEST:: SOT 4402462 SOS 780852 HAS SOPS 780852 HAS SOUS 657183 HAS SOUPS 657183 WITH SCORE 657963.852
AT ITER 1643 NEW BEST:: SOT 4402407 SOS 780868 HAS SOPS 780868 HAS SOUS 657164 HAS SOUPS 657164 WITH SCORE 657944.868
AT ITER 1651 NEW BEST:: SOT 4402312 SOS 780678 HAS SOPS 780678 HAS SOUS 657069 HAS SOUPS 657069 WITH SCORE 657849.678
AT ITER 1653 NEW BEST:: SOT 4402249 SOS 780552 HAS SOPS 780552 HAS SOUS 656930 HAS SOUPS 656930 WITH SCORE 657710.552
AT ITER 1668 NEW BEST:: SOT 4402102 SOS 780258 HAS SOPS 780258 HAS SOUS 656782 HAS SOUPS 656782 WITH SCORE 657562.258
AT ITER 1682 NEW BEST:: SOT 4402078 SOS 780210 HAS SOPS 780210 HAS SOUS 656758 HAS SOUPS 656758 WITH SCORE 657538.21
AT ITER 1717 NEW BEST:: SOT 4402075 SOS 779951 HAS SOPS 779951 HAS SOUS 656563 HAS SOUPS 656563 WITH SCORE 657342.951
AT ITER 1721 NEW BEST:: SOT 4402002 SOS 779805 HAS SOPS 779805 HAS SOUS 656489 HAS SOUPS 656489 WITH SCORE 657268.805
AT ITER 1726 NEW BEST:: SOT 4402069 SOS 779609 HAS SOPS 779609 HAS SOUS 656458 HAS SOUPS 656458 WITH SCORE 657237.609
AT ITER 1769 NEW BEST:: SOT 4401951 SOS 779255 HAS SOPS 779255 HAS SOUS 656222 HAS SOUPS 656222 WITH SCORE 657001.255
AT ITER 1776 NEW BEST:: SOT 4401818 SOS 778989 HAS SOPS 778989 HAS SOUS 655956 HAS SOUPS 655956 WITH SCORE 656734.989
AT ITER 1785 NEW BEST:: SOT 4401768 SOS 778889 HAS SOPS 778889 HAS SOUS 655856 HAS SOUPS 655856 WITH SCORE 656634.889
AT ITER 1800 NEW BEST:: SOT 4401767 SOS 778887 HAS SOPS 778887 HAS SOUS 655854 HAS SOUPS 655854 WITH SCORE 656632.887
AT ITER 1804 NEW BEST:: SOT 4401767 SOS 778887 HAS SOPS 778887 HAS SOUS 655853 HAS SOUPS 655853 WITH SCORE 656631.887
AT ITER 1809 NEW BEST:: SOT 4401983 SOS 779098 HAS SOPS 779098 HAS SOUS 655848 HAS SOUPS 655848 WITH SCORE 656627.098
AT ITER 1825 NEW BEST:: SOT 4401972 SOS 779143 HAS SOPS 779143 HAS SOUS 655840 HAS SOUPS 655840 WITH SCORE 656619.143
AT ITER 1843 NEW BEST:: SOT 4401804 SOS 778807 HAS SOPS 778807 HAS SOUS 655508 HAS SOUPS 655508 WITH SCORE 656286.807
AT ITER 1859 NEW BEST:: SOT 4401908 SOS 778367 HAS SOPS 778367 HAS SOUS 655288 HAS SOUPS 655288 WITH SCORE 656066.367
AT ITER 1887 NEW BEST:: SOT 4401449 SOS 779206 HAS SOPS 779206 HAS SOUS 655019 HAS SOUPS 655019 WITH SCORE 655798.206
AT ITER 1906 NEW BEST:: SOT 4401232 SOS 778772 HAS SOPS 778772 HAS SOUS 654727 HAS SOUPS 654727 WITH SCORE 655505.772
AT ITER 1954 NEW BEST:: SOT 4401232 SOS 778772 HAS SOPS 778772 HAS SOUS 654695 HAS SOUPS 654695 WITH SCORE 655473.772
AT ITER 1967 NEW BEST:: SOT 4400969 SOS 778246 HAS SOPS 778246 HAS SOUS 654678 HAS SOUPS 654678 WITH SCORE 655456.246
AT ITER 1985 NEW BEST:: SOT 4400711 SOS 777730 HAS SOPS 777730 HAS SOUS 654162 HAS SOUPS 654162 WITH SCORE 654939.73
AT ITER 1986 NEW BEST:: SOT 4400710 SOS 777728 HAS SOPS 777728 HAS SOUS 654160 HAS SOUPS 654160 WITH SCORE 654937.728
AT ITER 2005 NEW BEST:: SOT 4400539 SOS 777573 HAS SOPS 777573 HAS SOUS 653989 HAS SOUPS 653989 WITH SCORE 654766.573
AT ITER 2009 NEW BEST:: SOT 4400377 SOS 777153 HAS SOPS 777153 HAS SOUS 653664 HAS SOUPS 653664 WITH SCORE 654441.153
AT ITER 2014 NEW BEST:: SOT 4400593 SOS 777184 HAS SOPS 777184 HAS SOUS 653532 HAS SOUPS 653532 WITH SCORE 654309.184
AT ITER 2028 NEW BEST:: SOT 4400593 SOS 776664 HAS SOPS 776664 HAS SOUS 653272 HAS SOUPS 653272 WITH SCORE 654048.664
AT ITER 2044 NEW BEST:: SOT 4398665 SOS 817539 HAS SOPS 817539 HAS SOUS 653071 HAS SOUPS 653071 WITH SCORE 653888.539
AT ITER 2045 NEW BEST:: SOT 4398508 SOS 817225 HAS SOPS 817225 HAS SOUS 652835 HAS SOUPS 652835 WITH SCORE 653652.225
AT ITER 2047 NEW BEST:: SOT 4398447 SOS 817103 HAS SOPS 817103 HAS SOUS 652697 HAS SOUPS 652697 WITH SCORE 653514.103
AT ITER 2060 NEW BEST:: SOT 4398399 SOS 817007 HAS SOPS 817007 HAS SOUS 652649 HAS SOUPS 652649 WITH SCORE 653466.007
AT ITER 2063 NEW BEST:: SOT 4398345 SOS 816899 HAS SOPS 816899 HAS SOUS 652541 HAS SOUPS 652541 WITH SCORE 653357.899
AT ITER 2065 NEW BEST:: SOT 4398283 SOS 815566 HAS SOPS 815566 HAS SOUS 652448 HAS SOUPS 652448 WITH SCORE 653263.566
AT ITER 2066 NEW BEST:: SOT 4398056 SOS 815112 HAS SOPS 815112 HAS SOUS 651994 HAS SOUPS 651994 WITH SCORE 652809.112
AT ITER 2092 NEW BEST:: SOT 4398048 SOS 815096 HAS SOPS 815096 HAS SOUS 651978 HAS SOUPS 651978 WITH SCORE 652793.096
AT ITER 2128 NEW BEST:: SOT 4398030 SOS 815060 HAS SOPS 815060 HAS SOUS 651960 HAS SOUPS 651960 WITH SCORE 652775.06
AT ITER 2132 NEW BEST:: SOT 4397985 SOS 814970 HAS SOPS 814970 HAS SOUS 651840 HAS SOUPS 651840 WITH SCORE 652654.97
AT ITER 2136 NEW BEST:: SOT 4398072 SOS 814804 HAS SOPS 814804 HAS SOUS 651674 HAS SOUPS 651674 WITH SCORE 652488.804
AT ITER 2148 NEW BEST:: SOT 4398071 SOS 814802 HAS SOPS 814802 HAS SOUS 651672 HAS SOUPS 651672 WITH SCORE 652486.802
AT ITER 2199 NEW BEST:: SOT 4398071 SOS 814651 HAS SOPS 814651 HAS SOUS 651672 HAS SOUPS 651672 WITH SCORE 652486.651
AT ITER 2210 NEW BEST:: SOT 4398044 SOS 814570 HAS SOPS 814570 HAS SOUS 651618 HAS SOUPS 651618 WITH SCORE 652432.57
AT ITER 2246 NEW BEST:: SOT 4397572 SOS 814012 HAS SOPS 814012 HAS SOUS 650760 HAS SOUPS 650760 WITH SCORE 651574.012
AT ITER 2303 NEW BEST:: SOT 4397572 SOS 814012 HAS SOPS 814012 HAS SOUS 650661 HAS SOUPS 650661 WITH SCORE 651475.012
AT ITER 2324 NEW BEST:: SOT 4397572 SOS 814012 HAS SOPS 814012 HAS SOUS 650647 HAS SOUPS 650647 WITH SCORE 651461.012
AT ITER 2354 NEW BEST:: SOT 4397679 SOS 813456 HAS SOPS 813456 HAS SOUS 650476 HAS SOUPS 650476 WITH SCORE 651289.456
AT ITER 2425 NEW BEST:: SOT 4397541 SOS 813180 HAS SOPS 813180 HAS SOUS 650200 HAS SOUPS 650200 WITH SCORE 651013.18
AT ITER 2439 NEW BEST:: SOT 4397537 SOS 813172 HAS SOPS 813172 HAS SOUS 650192 HAS SOUPS 650192 WITH SCORE 651005.172
AT ITER 2452 NEW BEST:: SOT 4391870 SOS 829703 HAS SOPS 829703 HAS SOUS 645705 HAS SOUPS 645705 WITH SCORE 646534.703
AT ITER 2457 NEW BEST:: SOT 4391639 SOS 829241 HAS SOPS 829241 HAS SOUS 645243 HAS SOUPS 645243 WITH SCORE 646072.241
AT ITER 2477 NEW BEST:: SOT 4391639 SOS 829045 HAS SOPS 829045 HAS SOUS 645243 HAS SOUPS 645243 WITH SCORE 646072.045
AT ITER 2480 NEW BEST:: SOT 4391493 SOS 828753 HAS SOPS 828753 HAS SOUS 645019 HAS SOUPS 645019 WITH SCORE 645847.753
AT ITER 2500 NEW BEST:: SOT 4391258 SOS 828455 HAS SOPS 828455 HAS SOUS 644653 HAS SOUPS 644653 WITH SCORE 645481.455
AT ITER 2517 NEW BEST:: SOT 4391257 SOS 828453 HAS SOPS 828453 HAS SOUS 644651 HAS SOUPS 644651 WITH SCORE 645479.453
AT ITER 2524 NEW BEST:: SOT 4391049 SOS 828276 HAS SOPS 828276 HAS SOUS 644466 HAS SOUPS 644466 WITH SCORE 645294.276
AT ITER 2559 NEW BEST:: SOT 4390910 SOS 827998 HAS SOPS 827998 HAS SOUS 644188 HAS SOUPS 644188 WITH SCORE 645015.998
AT ITER 2644 NEW BEST:: SOT 4390879 SOS 827936 HAS SOPS 827936 HAS SOUS 644113 HAS SOUPS 644113 WITH SCORE 644940.936
AT ITER 2648 NEW BEST:: SOT 4390879 SOS 827842 HAS SOPS 827842 HAS SOUS 644113 HAS SOUPS 644113 WITH SCORE 644940.842
AT ITER 2676 NEW BEST:: SOT 4390879 SOS 811922 HAS SOPS 811922 HAS SOUS 644113 HAS SOUPS 644113 WITH SCORE 644924.922
AT ITER 2689 NEW BEST:: SOT 4390859 SOS 811882 HAS SOPS 811882 HAS SOUS 644089 HAS SOUPS 644089 WITH SCORE 644900.882
AT ITER 2718 NEW BEST:: SOT 4390830 SOS 811869 HAS SOPS 811869 HAS SOUS 644015 HAS SOUPS 644015 WITH SCORE 644826.869
AT ITER 2719 NEW BEST:: SOT 4390662 SOS 811662 HAS SOPS 811662 HAS SOUS 643793 HAS SOUPS 643793 WITH SCORE 644604.662
AT ITER 2722 NEW BEST:: SOT 4390539 SOS 810865 HAS SOPS 810865 HAS SOUS 643524 HAS SOUPS 643524 WITH SCORE 644334.865
AT ITER 2739 NEW BEST:: SOT 4390514 SOS 810815 HAS SOPS 810815 HAS SOUS 643474 HAS SOUPS 643474 WITH SCORE 644284.815
AT ITER 2773 NEW BEST:: SOT 4390311 SOS 810684 HAS SOPS 810684 HAS SOUS 643271 HAS SOUPS 643271 WITH SCORE 644081.684
AT ITER 2783 NEW BEST:: SOT 4390296 SOS 810654 HAS SOPS 810654 HAS SOUS 643256 HAS SOUPS 643256 WITH SCORE 644066.654
AT ITER 2793 NEW BEST:: SOT 4390217 SOS 810653 HAS SOPS 810653 HAS SOUS 643255 HAS SOUPS 643255 WITH SCORE 644065.653
AT ITER 2848 NEW BEST:: SOT 4390324 SOS 810867 HAS SOPS 810867 HAS SOUS 643180 HAS SOUPS 643180 WITH SCORE 643990.867
AT ITER 2864 NEW BEST:: SOT 4390324 SOS 810815 HAS SOPS 810815 HAS SOUS 643180 HAS SOUPS 643180 WITH SCORE 643990.815
AT ITER 2939 NEW BEST:: SOT 4390159 SOS 810650 HAS SOPS 810650 HAS SOUS 643015 HAS SOUPS 643015 WITH SCORE 643825.65
AT ITER 2969 NEW BEST:: SOT 4390159 SOS 810617 HAS SOPS 810617 HAS SOUS 642982 HAS SOUPS 642982 WITH SCORE 643792.617
AT ITER 2974 NEW BEST:: SOT 4390089 SOS 810477 HAS SOPS 810477 HAS SOUS 642982 HAS SOUPS 642982 WITH SCORE 643792.477
AT ITER 2977 NEW BEST:: SOT 4390043 SOS 810385 HAS SOPS 810385 HAS SOUS 642890 HAS SOUPS 642890 WITH SCORE 643700.385
AT ITER 2993 NEW BEST:: SOT 4389587 SOS 809473 HAS SOPS 809473 HAS SOUS 642434 HAS SOUPS 642434 WITH SCORE 643243.473
AT ITER 3000 NEW BEST:: SOT 4389559 SOS 809389 HAS SOPS 809389 HAS SOUS 642378 HAS SOUPS 642378 WITH SCORE 643187.389
AT ITER 3029 NEW BEST:: SOT 4389527 SOS 809810 HAS SOPS 809810 HAS SOUS 642331 HAS SOUPS 642331 WITH SCORE 643140.81
AT ITER 3034 NEW BEST:: SOT 4389497 SOS 809750 HAS SOPS 809750 HAS SOUS 642271 HAS SOUPS 642271 WITH SCORE 643080.75
AT ITER 3069 NEW BEST:: SOT 4389496 SOS 809539 HAS SOPS 809539 HAS SOUS 642269 HAS SOUPS 642269 WITH SCORE 643078.539
AT ITER 3083 NEW BEST:: SOT 4389445 SOS 809437 HAS SOPS 809437 HAS SOUS 642218 HAS SOUPS 642218 WITH SCORE 643027.437
AT ITER 3096 NEW BEST:: SOT 4389307 SOS 809299 HAS SOPS 809299 HAS SOUS 642080 HAS SOUPS 642080 WITH SCORE 642889.299
AT ITER 3100 NEW BEST:: SOT 4389216 SOS 809117 HAS SOPS 809117 HAS SOUS 641898 HAS SOUPS 641898 WITH SCORE 642707.117
AT ITER 3127 NEW BEST:: SOT 4389215 SOS 809024 HAS SOPS 809024 HAS SOUS 641896 HAS SOUPS 641896 WITH SCORE 642705.024
AT ITER 3135 NEW BEST:: SOT 4389208 SOS 809017 HAS SOPS 809017 HAS SOUS 641889 HAS SOUPS 641889 WITH SCORE 642698.017
AT ITER 3137 NEW BEST:: SOT 4388575 SOS 808319 HAS SOPS 808319 HAS SOUS 640688 HAS SOUPS 640688 WITH SCORE 641496.319
AT ITER 3141 NEW BEST:: SOT 4388304 SOS 808105 HAS SOPS 808105 HAS SOUS 640470 HAS SOUPS 640470 WITH SCORE 641278.105
AT ITER 3175 NEW BEST:: SOT 4388210 SOS 807917 HAS SOPS 807917 HAS SOUS 640376 HAS SOUPS 640376 WITH SCORE 641183.917
AT ITER 3214 NEW BEST:: SOT 4388209 SOS 807915 HAS SOPS 807915 HAS SOUS 640374 HAS SOUPS 640374 WITH SCORE 641181.915
AT ITER 3218 NEW BEST:: SOT 4388207 SOS 807911 HAS SOPS 807911 HAS SOUS 640370 HAS SOUPS 640370 WITH SCORE 641177.911
AT ITER 3231 NEW BEST:: SOT 4386665 SOS 808579 HAS SOPS 808579 HAS SOUS 639382 HAS SOUPS 639382 WITH SCORE 640190.579
AT ITER 3246 NEW BEST:: SOT 4386665 SOS 808388 HAS SOPS 808388 HAS SOUS 639191 HAS SOUPS 639191 WITH SCORE 639999.388
AT ITER 3265 NEW BEST:: SOT 4386615 SOS 808238 HAS SOPS 808238 HAS SOUS 639091 HAS SOUPS 639091 WITH SCORE 639899.238
AT ITER 3275 NEW BEST:: SOT 4386407 SOS 807822 HAS SOPS 807822 HAS SOUS 638883 HAS SOUPS 638883 WITH SCORE 639690.822
AT ITER 3305 NEW BEST:: SOT 4386301 SOS 807610 HAS SOPS 807610 HAS SOUS 638671 HAS SOUPS 638671 WITH SCORE 639478.61
AT ITER 3308 NEW BEST:: SOT 4386027 SOS 807062 HAS SOPS 807062 HAS SOUS 638488 HAS SOUPS 638488 WITH SCORE 639295.062
AT ITER 3336 NEW BEST:: SOT 4385966 SOS 806940 HAS SOPS 806940 HAS SOUS 638156 HAS SOUPS 638156 WITH SCORE 638962.94
AT ITER 3344 NEW BEST:: SOT 4385966 SOS 806655 HAS SOPS 806655 HAS SOUS 637871 HAS SOUPS 637871 WITH SCORE 638677.655
AT ITER 3350 NEW BEST:: SOT 4385950 SOS 806623 HAS SOPS 806623 HAS SOUS 637839 HAS SOUPS 637839 WITH SCORE 638645.623
AT ITER 3361 NEW BEST:: SOT 4385678 SOS 806079 HAS SOPS 806079 HAS SOUS 637644 HAS SOUPS 637644 WITH SCORE 638450.079
AT ITER 3369 NEW BEST:: SOT 4385366 SOS 805817 HAS SOPS 805817 HAS SOUS 637352 HAS SOUPS 637352 WITH SCORE 638157.817
AT ITER 3370 NEW BEST:: SOT 4385458 SOS 805643 HAS SOPS 805643 HAS SOUS 637174 HAS SOUPS 637174 WITH SCORE 637979.643
AT ITER 3393 NEW BEST:: SOT 4385305 SOS 805674 HAS SOPS 805674 HAS SOUS 636976 HAS SOUPS 636976 WITH SCORE 637781.674
AT ITER 3437 NEW BEST:: SOT 4385275 SOS 805614 HAS SOPS 805614 HAS SOUS 636946 HAS SOUPS 636946 WITH SCORE 637751.614
AT ITER 3483 NEW BEST:: SOT 4385207 SOS 805478 HAS SOPS 805478 HAS SOUS 636878 HAS SOUPS 636878 WITH SCORE 637683.478
AT ITER 3501 NEW BEST:: SOT 4384991 SOS 805477 HAS SOPS 805477 HAS SOUS 636876 HAS SOUPS 636876 WITH SCORE 637681.477
AT ITER 3515 NEW BEST:: SOT 4385001 SOS 805373 HAS SOPS 805373 HAS SOUS 636818 HAS SOUPS 636818 WITH SCORE 637623.373
AT ITER 3517 NEW BEST:: SOT 4384978 SOS 805350 HAS SOPS 805350 HAS SOUS 636795 HAS SOUPS 636795 WITH SCORE 637600.35
AT ITER 3519 NEW BEST:: SOT 4384771 SOS 804936 HAS SOPS 804936 HAS SOUS 636588 HAS SOUPS 636588 WITH SCORE 637392.936
AT ITER 3527 NEW BEST:: SOT 4384771 SOS 804765 HAS SOPS 804765 HAS SOUS 636588 HAS SOUPS 636588 WITH SCORE 637392.765
AT ITER 3535 NEW BEST:: SOT 4384452 SOS 804127 HAS SOPS 804127 HAS SOUS 635950 HAS SOUPS 635950 WITH SCORE 636754.127
AT ITER 3542 NEW BEST:: SOT 4384415 SOS 804053 HAS SOPS 804053 HAS SOUS 635913 HAS SOUPS 635913 WITH SCORE 636717.053
AT ITER 3543 NEW BEST:: SOT 4384480 SOS 804183 HAS SOPS 804183 HAS SOUS 635855 HAS SOUPS 635855 WITH SCORE 636659.183
AT ITER 3601 NEW BEST:: SOT 4384479 SOS 804097 HAS SOPS 804097 HAS SOUS 635853 HAS SOUPS 635853 WITH SCORE 636657.097
AT ITER 3634 NEW BEST:: SOT 4384479 SOS 804097 HAS SOPS 804097 HAS SOUS 635852 HAS SOUPS 635852 WITH SCORE 636656.097
AT ITER 3650 NEW BEST:: SOT 4384479 SOS 804060 HAS SOPS 804060 HAS SOUS 635815 HAS SOUPS 635815 WITH SCORE 636619.06
AT ITER 3658 NEW BEST:: SOT 4384215 SOS 804018 HAS SOPS 804018 HAS SOUS 635760 HAS SOUPS 635760 WITH SCORE 636564.018
AT ITER 3663 NEW BEST:: SOT 4384201 SOS 803990 HAS SOPS 803990 HAS SOUS 635732 HAS SOUPS 635732 WITH SCORE 636535.99
AT ITER 3678 NEW BEST:: SOT 4384194 SOS 803976 HAS SOPS 803976 HAS SOUS 635725 HAS SOUPS 635725 WITH SCORE 636528.976
AT ITER 3683 NEW BEST:: SOT 4384132 SOS 803852 HAS SOPS 803852 HAS SOUS 635601 HAS SOUPS 635601 WITH SCORE 636404.852
AT ITER 3686 NEW BEST:: SOT 4384132 SOS 803544 HAS SOPS 803544 HAS SOUS 635447 HAS SOUPS 635447 WITH SCORE 636250.544
AT ITER 3698 NEW BEST:: SOT 4384203 SOS 803420 HAS SOPS 803420 HAS SOUS 635445 HAS SOUPS 635445 WITH SCORE 636248.42
AT ITER 3700 NEW BEST:: SOT 4384054 SOS 803122 HAS SOPS 803122 HAS SOUS 635147 HAS SOUPS 635147 WITH SCORE 635950.122
AT ITER 3701 NEW BEST:: SOT 4383971 SOS 802956 HAS SOPS 802956 HAS SOUS 634981 HAS SOUPS 634981 WITH SCORE 635783.956
AT ITER 3745 NEW BEST:: SOT 4383922 SOS 802858 HAS SOPS 802858 HAS SOUS 634932 HAS SOUPS 634932 WITH SCORE 635734.858
AT ITER 3755 NEW BEST:: SOT 4383825 SOS 802761 HAS SOPS 802761 HAS SOUS 634835 HAS SOUPS 634835 WITH SCORE 635637.761
AT ITER 3789 NEW BEST:: SOT 4383825 SOS 802562 HAS SOPS 802562 HAS SOUS 634636 HAS SOUPS 634636 WITH SCORE 635438.562
AT ITER 3821 NEW BEST:: SOT 4383825 SOS 802394 HAS SOPS 802394 HAS SOUS 634594 HAS SOUPS 634594 WITH SCORE 635396.394
AT ITER 3823 NEW BEST:: SOT 4383594 SOS 801932 HAS SOPS 801932 HAS SOUS 634132 HAS SOUPS 634132 WITH SCORE 634933.932
AT ITER 3829 NEW BEST:: SOT 4383593 SOS 801931 HAS SOPS 801931 HAS SOUS 634130 HAS SOUPS 634130 WITH SCORE 634931.931
AT ITER 3863 NEW BEST:: SOT 4383587 SOS 801919 HAS SOPS 801919 HAS SOUS 634124 HAS SOUPS 634124 WITH SCORE 634925.919
AT ITER 3875 NEW BEST:: SOT 4383510 SOS 801657 HAS SOPS 801657 HAS SOUS 633970 HAS SOUPS 633970 WITH SCORE 634771.657
AT ITER 3894 NEW BEST:: SOT 4383510 SOS 801657 HAS SOPS 801657 HAS SOUS 633840 HAS SOUPS 633840 WITH SCORE 634641.657
AT ITER 3917 NEW BEST:: SOT 4382942 SOS 801436 HAS SOPS 801436 HAS SOUS 633408 HAS SOUPS 633408 WITH SCORE 634209.436
AT ITER 3932 NEW BEST:: SOT 4382894 SOS 801340 HAS SOPS 801340 HAS SOUS 633312 HAS SOUPS 633312 WITH SCORE 634113.34
AT ITER 3947 NEW BEST:: SOT 4382162 SOS 800730 HAS SOPS 800730 HAS SOUS 632702 HAS SOUPS 632702 WITH SCORE 633502.73
AT ITER 3994 NEW BEST:: SOT 4382098 SOS 800666 HAS SOPS 800666 HAS SOUS 632669 HAS SOUPS 632669 WITH SCORE 633469.666
AT ITER 3998 NEW BEST:: SOT 4382075 SOS 800620 HAS SOPS 800620 HAS SOUS 632646 HAS SOUPS 632646 WITH SCORE 633446.62
AT ITER 3999 NEW BEST:: SOT 4381841 SOS 801058 HAS SOPS 801058 HAS SOUS 632412 HAS SOUPS 632412 WITH SCORE 633213.058
AT ITER 4000 NEW BEST:: SOT 4381841 SOS 800958 HAS SOPS 800958 HAS SOUS 632362 HAS SOUPS 632362 WITH SCORE 633162.958
AT ITER 4008 NEW BEST:: SOT 4381798 SOS 800872 HAS SOPS 800872 HAS SOUS 632319 HAS SOUPS 632319 WITH SCORE 633119.872
AT ITER 4024 NEW BEST:: SOT 4381769 SOS 800785 HAS SOPS 800785 HAS SOUS 632261 HAS SOUPS 632261 WITH SCORE 633061.785
AT ITER 4030 NEW BEST:: SOT 4381713 SOS 800576 HAS SOPS 800576 HAS SOUS 632108 HAS SOUPS 632108 WITH SCORE 632908.576
AT ITER 4071 NEW BEST:: SOT 4381569 SOS 800288 HAS SOPS 800288 HAS SOUS 631820 HAS SOUPS 631820 WITH SCORE 632620.288
AT ITER 4078 NEW BEST:: SOT 4381439 SOS 800288 HAS SOPS 800288 HAS SOUS 631755 HAS SOUPS 631755 WITH SCORE 632555.288
AT ITER 4130 NEW BEST:: SOT 4381102 SOS 799614 HAS SOPS 799614 HAS SOUS 631602 HAS SOUPS 631602 WITH SCORE 632401.614
AT ITER 4142 NEW BEST:: SOT 4380786 SOS 799298 HAS SOPS 799298 HAS SOUS 631286 HAS SOUPS 631286 WITH SCORE 632085.298
AT ITER 4181 NEW BEST:: SOT 4380601 SOS 798928 HAS SOPS 798928 HAS SOUS 630902 HAS SOUPS 630902 WITH SCORE 631700.928
AT ITER 4202 NEW BEST:: SOT 4380573 SOS 798900 HAS SOPS 798900 HAS SOUS 630874 HAS SOUPS 630874 WITH SCORE 631672.9
AT ITER 4213 NEW BEST:: SOT 4380573 SOS 798900 HAS SOPS 798900 HAS SOUS 630760 HAS SOUPS 630760 WITH SCORE 631558.9
AT ITER 4221 NEW BEST:: SOT 4380550 SOS 798854 HAS SOPS 798854 HAS SOUS 630737 HAS SOUPS 630737 WITH SCORE 631535.854
AT ITER 4254 NEW BEST:: SOT 4380550 SOS 798685 HAS SOPS 798685 HAS SOUS 630737 HAS SOUPS 630737 WITH SCORE 631535.685
AT ITER 4341 NEW BEST:: SOT 4380139 SOS 799175 HAS SOPS 799175 HAS SOUS 630373 HAS SOUPS 630373 WITH SCORE 631172.175
AT ITER 4368 NEW BEST:: SOT 4379851 SOS 798934 HAS SOPS 798934 HAS SOUS 630085 HAS SOUPS 630085 WITH SCORE 630883.934
AT ITER 4374 NEW BEST:: SOT 4379753 SOS 798738 HAS SOPS 798738 HAS SOUS 629987 HAS SOUPS 629987 WITH SCORE 630785.738
AT ITER 4396 NEW BEST:: SOT 4379491 SOS 798214 HAS SOPS 798214 HAS SOUS 629908 HAS SOUPS 629908 WITH SCORE 630706.214
AT ITER 4399 NEW BEST:: SOT 4378677 SOS 798491 HAS SOPS 798491 HAS SOUS 629258 HAS SOUPS 629258 WITH SCORE 630056.491
AT ITER 4404 NEW BEST:: SOT 4378328 SOS 797793 HAS SOPS 797793 HAS SOUS 628948 HAS SOUPS 628948 WITH SCORE 629745.793
AT ITER 4406 NEW BEST:: SOT 4378060 SOS 797257 HAS SOPS 797257 HAS SOUS 628412 HAS SOUPS 628412 WITH SCORE 629209.257
AT ITER 4443 NEW BEST:: SOT 4377977 SOS 797091 HAS SOPS 797091 HAS SOUS 628246 HAS SOUPS 628246 WITH SCORE 629043.091
AT ITER 4455 NEW BEST:: SOT 4377929 SOS 796995 HAS SOPS 796995 HAS SOUS 628150 HAS SOUPS 628150 WITH SCORE 628946.995
AT ITER 4463 NEW BEST:: SOT 4377675 SOS 796487 HAS SOPS 796487 HAS SOUS 627642 HAS SOUPS 627642 WITH SCORE 628438.487
AT ITER 4465 NEW BEST:: SOT 4377617 SOS 796139 HAS SOPS 796139 HAS SOUS 627526 HAS SOUPS 627526 WITH SCORE 628322.139
AT ITER 4482 NEW BEST:: SOT 4377539 SOS 795983 HAS SOPS 795983 HAS SOUS 627370 HAS SOUPS 627370 WITH SCORE 628165.983
AT ITER 4502 NEW BEST:: SOT 4377240 SOS 796789 HAS SOPS 796789 HAS SOUS 627223 HAS SOUPS 627223 WITH SCORE 628019.789
AT ITER 4568 NEW BEST:: SOT 4377246 SOS 796669 HAS SOPS 796669 HAS SOUS 627164 HAS SOUPS 627164 WITH SCORE 627960.669
AT ITER 4589 NEW BEST:: SOT 4375398 SOS 797922 HAS SOPS 797922 HAS SOUS 626006 HAS SOUPS 626006 WITH SCORE 626803.922
AT ITER 4593 NEW BEST:: SOT 4375368 SOS 797862 HAS SOPS 797862 HAS SOUS 625976 HAS SOUPS 625976 WITH SCORE 626773.862
AT ITER 4611 NEW BEST:: SOT 4375261 SOS 797648 HAS SOPS 797648 HAS SOUS 625942 HAS SOUPS 625942 WITH SCORE 626739.648
AT ITER 4643 NEW BEST:: SOT 4375351 SOS 797828 HAS SOPS 797828 HAS SOUS 625739 HAS SOUPS 625739 WITH SCORE 626536.828
AT ITER 4649 NEW BEST:: SOT 4375086 SOS 797870 HAS SOPS 797870 HAS SOUS 625424 HAS SOUPS 625424 WITH SCORE 626221.87
AT ITER 4694 NEW BEST:: SOT 4375086 SOS 797550 HAS SOPS 797550 HAS SOUS 625104 HAS SOUPS 625104 WITH SCORE 625901.55
AT ITER 4727 NEW BEST:: SOT 4374881 SOS 797140 HAS SOPS 797140 HAS SOUS 624904 HAS SOUPS 624904 WITH SCORE 625701.14
AT ITER 4742 NEW BEST:: SOT 4375089 SOS 796406 HAS SOPS 796406 HAS SOUS 624882 HAS SOUPS 624882 WITH SCORE 625678.406
AT ITER 4776 NEW BEST:: SOT 4375036 SOS 796300 HAS SOPS 796300 HAS SOUS 624829 HAS SOUPS 624829 WITH SCORE 625625.3
AT ITER 4794 NEW BEST:: SOT 4375033 SOS 796294 HAS SOPS 796294 HAS SOUS 624823 HAS SOUPS 624823 WITH SCORE 625619.294
AT ITER 4806 NEW BEST:: SOT 4375033 SOS 796195 HAS SOPS 796195 HAS SOUS 624823 HAS SOUPS 624823 WITH SCORE 625619.195
AT ITER 4809 NEW BEST:: SOT 4374926 SOS 795981 HAS SOPS 795981 HAS SOUS 624519 HAS SOUPS 624519 WITH SCORE 625314.981
AT ITER 4836 NEW BEST:: SOT 4374972 SOS 796052 HAS SOPS 796052 HAS SOUS 624371 HAS SOUPS 624371 WITH SCORE 625167.052
AT ITER 4841 NEW BEST:: SOT 4375237 SOS 796582 HAS SOPS 796582 HAS SOUS 624267 HAS SOUPS 624267 WITH SCORE 625063.582
AT ITER 4853 NEW BEST:: SOT 4374935 SOS 795978 HAS SOPS 795978 HAS SOUS 623663 HAS SOUPS 623663 WITH SCORE 624458.978
AT ITER 4890 NEW BEST:: SOT 4374935 SOS 795702 HAS SOPS 795702 HAS SOUS 623663 HAS SOUPS 623663 WITH SCORE 624458.702
AT ITER 4912 NEW BEST:: SOT 4374766 SOS 795186 HAS SOPS 795186 HAS SOUS 623316 HAS SOUPS 623316 WITH SCORE 624111.186
AT ITER 4919 NEW BEST:: SOT 4374806 SOS 795226 HAS SOPS 795226 HAS SOUS 623203 HAS SOUPS 623203 WITH SCORE 623998.226
AT ITER 4921 NEW BEST:: SOT 4374635 SOS 795055 HAS SOPS 795055 HAS SOUS 623032 HAS SOUPS 623032 WITH SCORE 623827.055
AT ITER 4923 NEW BEST:: SOT 4374635 SOS 794755 HAS SOPS 794755 HAS SOUS 622882 HAS SOUPS 622882 WITH SCORE 623676.755
AT ITER 4973 NEW BEST:: SOT 4374634 SOS 794754 HAS SOPS 794754 HAS SOUS 622880 HAS SOUPS 622880 WITH SCORE 623674.754
AT ITER 4991 NEW BEST:: SOT 4374346 SOS 794680 HAS SOPS 794680 HAS SOUS 622603 HAS SOUPS 622603 WITH SCORE 623397.68
AT ITER 5006 NEW BEST:: SOT 4374344 SOS 794605 HAS SOPS 794605 HAS SOUS 622599 HAS SOUPS 622599 WITH SCORE 623393.605
AT ITER 5008 NEW BEST:: SOT 4374275 SOS 794401 HAS SOPS 794401 HAS SOUS 622461 HAS SOUPS 622461 WITH SCORE 623255.401
AT ITER 5010 NEW BEST:: SOT 4374265 SOS 794381 HAS SOPS 794381 HAS SOUS 622441 HAS SOUPS 622441 WITH SCORE 623235.381
AT ITER 5029 NEW BEST:: SOT 4374264 SOS 794363 HAS SOPS 794363 HAS SOUS 622439 HAS SOUPS 622439 WITH SCORE 623233.363
AT ITER 5054 NEW BEST:: SOT 4374309 SOS 794325 HAS SOPS 794325 HAS SOUS 622356 HAS SOUPS 622356 WITH SCORE 623150.325
AT ITER 5091 NEW BEST:: SOT 4374284 SOS 794275 HAS SOPS 794275 HAS SOUS 622306 HAS SOUPS 622306 WITH SCORE 623100.275
AT ITER 5110 NEW BEST:: SOT 4374242 SOS 794191 HAS SOPS 794191 HAS SOUS 622222 HAS SOUPS 622222 WITH SCORE 623016.191
AT ITER 5128 NEW BEST:: SOT 4374065 SOS 793837 HAS SOPS 793837 HAS SOUS 622151 HAS SOUPS 622151 WITH SCORE 622944.837
AT ITER 5159 NEW BEST:: SOT 4374015 SOS 793982 HAS SOPS 793982 HAS SOUS 621875 HAS SOUPS 621875 WITH SCORE 622668.982
AT ITER 5160 NEW BEST:: SOT 4374000 SOS 793952 HAS SOPS 793952 HAS SOUS 621845 HAS SOUPS 621845 WITH SCORE 622638.952
AT ITER 5161 NEW BEST:: SOT 4373910 SOS 793772 HAS SOPS 793772 HAS SOUS 621665 HAS SOUPS 621665 WITH SCORE 622458.772
AT ITER 5162 NEW BEST:: SOT 4373758 SOS 793468 HAS SOPS 793468 HAS SOUS 621361 HAS SOUPS 621361 WITH SCORE 622154.468
AT ITER 5240 NEW BEST:: SOT 4373649 SOS 793332 HAS SOPS 793332 HAS SOUS 621170 HAS SOUPS 621170 WITH SCORE 621963.332
AT ITER 5251 NEW BEST:: SOT 4373648 SOS 793330 HAS SOPS 793330 HAS SOUS 621168 HAS SOUPS 621168 WITH SCORE 621961.33
AT ITER 5253 NEW BEST:: SOT 4373396 SOS 793155 HAS SOPS 793155 HAS SOUS 620916 HAS SOUPS 620916 WITH SCORE 621709.155
AT ITER 5274 NEW BEST:: SOT 4373502 SOS 793367 HAS SOPS 793367 HAS SOUS 620867 HAS SOUPS 620867 WITH SCORE 621660.367
AT ITER 5286 NEW BEST:: SOT 4373299 SOS 793314 HAS SOPS 793314 HAS SOUS 620706 HAS SOUPS 620706 WITH SCORE 621499.314
AT ITER 5312 NEW BEST:: SOT 4373216 SOS 793148 HAS SOPS 793148 HAS SOUS 620623 HAS SOUPS 620623 WITH SCORE 621416.148
AT ITER 5313 NEW BEST:: SOT 4372897 SOS 792510 HAS SOPS 792510 HAS SOUS 619985 HAS SOUPS 619985 WITH SCORE 620777.51
AT ITER 5317 NEW BEST:: SOT 4372878 SOS 792472 HAS SOPS 792472 HAS SOUS 619947 HAS SOUPS 619947 WITH SCORE 620739.472
AT ITER 5336 NEW BEST:: SOT 4372736 SOS 792188 HAS SOPS 792188 HAS SOUS 619751 HAS SOUPS 619751 WITH SCORE 620543.188
AT ITER 5368 NEW BEST:: SOT 4372437 SOS 791590 HAS SOPS 791590 HAS SOUS 619751 HAS SOUPS 619751 WITH SCORE 620542.59
AT ITER 5385 NEW BEST:: SOT 4372395 SOS 791163 HAS SOPS 791163 HAS SOUS 619709 HAS SOUPS 619709 WITH SCORE 620500.163
AT ITER 5451 NEW BEST:: SOT 4372386 SOS 791145 HAS SOPS 791145 HAS SOUS 619691 HAS SOUPS 619691 WITH SCORE 620482.145
AT ITER 5481 NEW BEST:: SOT 4372167 SOS 790336 HAS SOPS 790336 HAS SOUS 619198 HAS SOUPS 619198 WITH SCORE 619988.336
AT ITER 5500 NEW BEST:: SOT 4372167 SOS 790336 HAS SOPS 790336 HAS SOUS 619129 HAS SOUPS 619129 WITH SCORE 619919.336
AT ITER 5501 NEW BEST:: SOT 4372005 SOS 790304 HAS SOPS 790304 HAS SOUS 618869 HAS SOUPS 618869 WITH SCORE 619659.304
AT ITER 5544 NEW BEST:: SOT 4371673 SOS 789978 HAS SOPS 789978 HAS SOUS 618528 HAS SOUPS 618528 WITH SCORE 619317.978
AT ITER 5552 NEW BEST:: SOT 4371481 SOS 789594 HAS SOPS 789594 HAS SOUS 618461 HAS SOUPS 618461 WITH SCORE 619250.594
AT ITER 5554 NEW BEST:: SOT 4371445 SOS 789522 HAS SOPS 789522 HAS SOUS 618425 HAS SOUPS 618425 WITH SCORE 619214.522
AT ITER 5557 NEW BEST:: SOT 4371445 SOS 789522 HAS SOPS 789522 HAS SOUS 618317 HAS SOUPS 618317 WITH SCORE 619106.522
AT ITER 5560 NEW BEST:: SOT 4371397 SOS 789426 HAS SOPS 789426 HAS SOUS 618221 HAS SOUPS 618221 WITH SCORE 619010.426
AT ITER 5567 NEW BEST:: SOT 4371440 SOS 789406 HAS SOPS 789406 HAS SOUS 618201 HAS SOUPS 618201 WITH SCORE 618990.406
AT ITER 5571 NEW BEST:: SOT 4371386 SOS 789298 HAS SOPS 789298 HAS SOUS 618093 HAS SOUPS 618093 WITH SCORE 618882.298
AT ITER 5623 NEW BEST:: SOT 4371374 SOS 789274 HAS SOPS 789274 HAS SOUS 618069 HAS SOUPS 618069 WITH SCORE 618858.274
AT ITER 5627 NEW BEST:: SOT 4371374 SOS 789274 HAS SOPS 789274 HAS SOUS 617945 HAS SOUPS 617945 WITH SCORE 618734.274
AT ITER 5657 NEW BEST:: SOT 4371575 SOS 789676 HAS SOPS 789676 HAS SOUS 617850 HAS SOUPS 617850 WITH SCORE 618639.676
AT ITER 5697 NEW BEST:: SOT 4371420 SOS 783166 HAS SOPS 783166 HAS SOUS 617695 HAS SOUPS 617695 WITH SCORE 618478.166
AT ITER 5707 NEW BEST:: SOT 4371048 SOS 781833 HAS SOPS 781833 HAS SOUS 616948 HAS SOUPS 616948 WITH SCORE 617729.833
AT ITER 5742 NEW BEST:: SOT 4370955 SOS 781790 HAS SOPS 781790 HAS SOUS 616855 HAS SOUPS 616855 WITH SCORE 617636.79
AT ITER 5747 NEW BEST:: SOT 4370691 SOS 781734 HAS SOPS 781734 HAS SOUS 616576 HAS SOUPS 616576 WITH SCORE 617357.734
AT ITER 5766 NEW BEST:: SOT 4370487 SOS 781559 HAS SOPS 781559 HAS SOUS 616401 HAS SOUPS 616401 WITH SCORE 617182.559
AT ITER 5768 NEW BEST:: SOT 4370487 SOS 781036 HAS SOPS 781036 HAS SOUS 616401 HAS SOUPS 616401 WITH SCORE 617182.036
AT ITER 5792 NEW BEST:: SOT 4370448 SOS 780958 HAS SOPS 780958 HAS SOUS 616323 HAS SOUPS 616323 WITH SCORE 617103.958
AT ITER 5816 NEW BEST:: SOT 4370218 SOS 780802 HAS SOPS 780802 HAS SOUS 616167 HAS SOUPS 616167 WITH SCORE 616947.802
AT ITER 5837 NEW BEST:: SOT 4370242 SOS 780647 HAS SOPS 780647 HAS SOUS 616012 HAS SOUPS 616012 WITH SCORE 616792.647
AT ITER 5840 NEW BEST:: SOT 4370242 SOS 780514 HAS SOPS 780514 HAS SOUS 615879 HAS SOUPS 615879 WITH SCORE 616659.514
AT ITER 5843 NEW BEST:: SOT 4370260 SOS 780550 HAS SOPS 780550 HAS SOUS 615848 HAS SOUPS 615848 WITH SCORE 616628.55
AT ITER 5849 NEW BEST:: SOT 4370068 SOS 780166 HAS SOPS 780166 HAS SOUS 615799 HAS SOUPS 615799 WITH SCORE 616579.166
AT ITER 5883 NEW BEST:: SOT 4370067 SOS 780150 HAS SOPS 780150 HAS SOUS 615797 HAS SOUPS 615797 WITH SCORE 616577.15
AT ITER 5956 NEW BEST:: SOT 4369981 SOS 779978 HAS SOPS 779978 HAS SOUS 615625 HAS SOUPS 615625 WITH SCORE 616404.978
AT ITER 5994 NEW BEST:: SOT 4369981 SOS 779978 HAS SOPS 779978 HAS SOUS 615597 HAS SOUPS 615597 WITH SCORE 616376.978
AT ITER 6012 NEW BEST:: SOT 4369980 SOS 779976 HAS SOPS 779976 HAS SOUS 615595 HAS SOUPS 615595 WITH SCORE 616374.976
AT ITER 6019 NEW BEST:: SOT 4369700 SOS 779696 HAS SOPS 779696 HAS SOUS 615315 HAS SOUPS 615315 WITH SCORE 616094.696
AT ITER 6039 NEW BEST:: SOT 4369604 SOS 779504 HAS SOPS 779504 HAS SOUS 615282 HAS SOUPS 615282 WITH SCORE 616061.504
AT ITER 6050 NEW BEST:: SOT 4369574 SOS 779474 HAS SOPS 779474 HAS SOUS 615252 HAS SOUPS 615252 WITH SCORE 616031.474
AT ITER 6059 NEW BEST:: SOT 4369676 SOS 779216 HAS SOPS 779216 HAS SOUS 615179 HAS SOUPS 615179 WITH SCORE 615958.216
AT ITER 6087 NEW BEST:: SOT 4369515 SOS 779458 HAS SOPS 779458 HAS SOUS 615154 HAS SOUPS 615154 WITH SCORE 615933.458
AT ITER 6091 NEW BEST:: SOT 4369487 SOS 779402 HAS SOPS 779402 HAS SOUS 615098 HAS SOUPS 615098 WITH SCORE 615877.402
AT ITER 6095 NEW BEST:: SOT 4369225 SOS 778878 HAS SOPS 778878 HAS SOUS 614914 HAS SOUPS 614914 WITH SCORE 615692.878
AT ITER 6099 NEW BEST:: SOT 4369058 SOS 778544 HAS SOPS 778544 HAS SOUS 614580 HAS SOUPS 614580 WITH SCORE 615358.544
AT ITER 6101 NEW BEST:: SOT 4369018 SOS 778464 HAS SOPS 778464 HAS SOUS 614500 HAS SOUPS 614500 WITH SCORE 615278.464
AT ITER 6105 NEW BEST:: SOT 4368895 SOS 778432 HAS SOPS 778432 HAS SOUS 614415 HAS SOUPS 614415 WITH SCORE 615193.432
AT ITER 6110 NEW BEST:: SOT 4368611 SOS 777864 HAS SOPS 777864 HAS SOUS 614131 HAS SOUPS 614131 WITH SCORE 614908.864
AT ITER 6114 NEW BEST:: SOT 4368253 SOS 777386 HAS SOPS 777386 HAS SOUS 613867 HAS SOUPS 613867 WITH SCORE 614644.386
AT ITER 6115 NEW BEST:: SOT 4368253 SOS 777301 HAS SOPS 777301 HAS SOUS 613782 HAS SOUPS 613782 WITH SCORE 614559.301
AT ITER 6136 NEW BEST:: SOT 4368252 SOS 777299 HAS SOPS 777299 HAS SOUS 613780 HAS SOUPS 613780 WITH SCORE 614557.299
AT ITER 6141 NEW BEST:: SOT 4368251 SOS 777371 HAS SOPS 777371 HAS SOUS 613778 HAS SOUPS 613778 WITH SCORE 614555.371
AT ITER 6150 NEW BEST:: SOT 4368264 SOS 777397 HAS SOPS 777397 HAS SOUS 613618 HAS SOUPS 613618 WITH SCORE 614395.397
AT ITER 6151 NEW BEST:: SOT 4368264 SOS 777337 HAS SOPS 777337 HAS SOUS 613618 HAS SOUPS 613618 WITH SCORE 614395.337
AT ITER 6153 NEW BEST:: SOT 4368264 SOS 777305 HAS SOPS 777305 HAS SOUS 613586 HAS SOUPS 613586 WITH SCORE 614363.305
AT ITER 6156 NEW BEST:: SOT 4368255 SOS 777287 HAS SOPS 777287 HAS SOUS 613564 HAS SOUPS 613564 WITH SCORE 614341.287
AT ITER 6173 NEW BEST:: SOT 4368001 SOS 777033 HAS SOPS 777033 HAS SOUS 613310 HAS SOUPS 613310 WITH SCORE 614087.033
AT ITER 6181 NEW BEST:: SOT 4368059 SOS 776675 HAS SOPS 776675 HAS SOUS 613189 HAS SOUPS 613189 WITH SCORE 613965.675
AT ITER 6195 NEW BEST:: SOT 4367642 SOS 776258 HAS SOPS 776258 HAS SOUS 612840 HAS SOUPS 612840 WITH SCORE 613616.258
AT ITER 6219 NEW BEST:: SOT 4367344 SOS 775662 HAS SOPS 775662 HAS SOUS 612244 HAS SOUPS 612244 WITH SCORE 613019.662
AT ITER 6228 NEW BEST:: SOT 4367328 SOS 775630 HAS SOPS 775630 HAS SOUS 612212 HAS SOUPS 612212 WITH SCORE 612987.63
AT ITER 6235 NEW BEST:: SOT 4367281 SOS 775536 HAS SOPS 775536 HAS SOUS 612165 HAS SOUPS 612165 WITH SCORE 612940.536
AT ITER 6245 NEW BEST:: SOT 4367197 SOS 775368 HAS SOPS 775368 HAS SOUS 611997 HAS SOUPS 611997 WITH SCORE 612772.368
AT ITER 6246 NEW BEST:: SOT 4366965 SOS 775134 HAS SOPS 775134 HAS SOUS 611763 HAS SOUPS 611763 WITH SCORE 612538.134
AT ITER 6259 NEW BEST:: SOT 4366965 SOS 775134 HAS SOPS 775134 HAS SOUS 611690 HAS SOUPS 611690 WITH SCORE 612465.134
AT ITER 6268 NEW BEST:: SOT 4367063 SOS 774970 HAS SOPS 774970 HAS SOUS 611584 HAS SOUPS 611584 WITH SCORE 612358.97
AT ITER 6278 NEW BEST:: SOT 4366733 SOS 774530 HAS SOPS 774530 HAS SOUS 611144 HAS SOUPS 611144 WITH SCORE 611918.53
AT ITER 6280 NEW BEST:: SOT 4366630 SOS 774427 HAS SOPS 774427 HAS SOUS 611041 HAS SOUPS 611041 WITH SCORE 611815.427
AT ITER 6281 NEW BEST:: SOT 4366726 SOS 774619 HAS SOPS 774619 HAS SOUS 610974 HAS SOUPS 610974 WITH SCORE 611748.619
AT ITER 6284 NEW BEST:: SOT 4366725 SOS 774617 HAS SOPS 774617 HAS SOUS 610972 HAS SOUPS 610972 WITH SCORE 611746.617
AT ITER 6333 NEW BEST:: SOT 4366623 SOS 774311 HAS SOPS 774311 HAS SOUS 610768 HAS SOUPS 610768 WITH SCORE 611542.311
AT ITER 6339 NEW BEST:: SOT 4366221 SOS 773105 HAS SOPS 773105 HAS SOUS 610242 HAS SOUPS 610242 WITH SCORE 611015.105
AT ITER 6359 NEW BEST:: SOT 4365984 SOS 772631 HAS SOPS 772631 HAS SOUS 610117 HAS SOUPS 610117 WITH SCORE 610889.631
AT ITER 6400 NEW BEST:: SOT 4365965 SOS 772563 HAS SOPS 772563 HAS SOUS 610079 HAS SOUPS 610079 WITH SCORE 610851.563
AT ITER 6428 NEW BEST:: SOT 4365903 SOS 772501 HAS SOPS 772501 HAS SOUS 610007 HAS SOUPS 610007 WITH SCORE 610779.501
AT ITER 6430 NEW BEST:: SOT 4365796 SOS 772722 HAS SOPS 772722 HAS SOUS 609793 HAS SOUPS 609793 WITH SCORE 610565.722
AT ITER 6443 NEW BEST:: SOT 4365599 SOS 772328 HAS SOPS 772328 HAS SOUS 609399 HAS SOUPS 609399 WITH SCORE 610171.328
AT ITER 6450 NEW BEST:: SOT 4365545 SOS 772220 HAS SOPS 772220 HAS SOUS 609345 HAS SOUPS 609345 WITH SCORE 610117.22
AT ITER 6460 NEW BEST:: SOT 4365502 SOS 772134 HAS SOPS 772134 HAS SOUS 609259 HAS SOUPS 609259 WITH SCORE 610031.134
AT ITER 6490 NEW BEST:: SOT 4365502 SOS 772111 HAS SOPS 772111 HAS SOUS 609245 HAS SOUPS 609245 WITH SCORE 610017.111
AT ITER 6493 NEW BEST:: SOT 4365281 SOS 771669 HAS SOPS 771669 HAS SOUS 608992 HAS SOUPS 608992 WITH SCORE 609763.669
AT ITER 6522 NEW BEST:: SOT 4365282 SOS 771603 HAS SOPS 771603 HAS SOUS 608926 HAS SOUPS 608926 WITH SCORE 609697.603
AT ITER 6523 NEW BEST:: SOT 4365322 SOS 771464 HAS SOPS 771464 HAS SOUS 608787 HAS SOUPS 608787 WITH SCORE 609558.464
AT ITER 6531 NEW BEST:: SOT 4365322 SOS 771464 HAS SOPS 771464 HAS SOUS 608780 HAS SOUPS 608780 WITH SCORE 609551.464
AT ITER 6535 NEW BEST:: SOT 4365050 SOS 771324 HAS SOPS 771324 HAS SOUS 608555 HAS SOUPS 608555 WITH SCORE 609326.324
AT ITER 6544 NEW BEST:: SOT 4364258 SOS 770535 HAS SOPS 770535 HAS SOUS 607766 HAS SOUPS 607766 WITH SCORE 608536.535
AT ITER 6566 NEW BEST:: SOT 4364178 SOS 770375 HAS SOPS 770375 HAS SOUS 607617 HAS SOUPS 607617 WITH SCORE 608387.375
AT ITER 6569 NEW BEST:: SOT 4364071 SOS 770241 HAS SOPS 770241 HAS SOUS 607563 HAS SOUPS 607563 WITH SCORE 608333.241
AT ITER 6589 NEW BEST:: SOT 4364071 SOS 770241 HAS SOPS 770241 HAS SOUS 607523 HAS SOUPS 607523 WITH SCORE 608293.241
AT ITER 6592 NEW BEST:: SOT 4364057 SOS 770213 HAS SOPS 770213 HAS SOUS 607495 HAS SOUPS 607495 WITH SCORE 608265.213
AT ITER 6610 NEW BEST:: SOT 4364039 SOS 770177 HAS SOPS 770177 HAS SOUS 607454 HAS SOUPS 607454 WITH SCORE 608224.177
AT ITER 6641 NEW BEST:: SOT 4364004 SOS 770142 HAS SOPS 770142 HAS SOUS 607419 HAS SOUPS 607419 WITH SCORE 608189.142
AT ITER 6707 NEW BEST:: SOT 4363989 SOS 770112 HAS SOPS 770112 HAS SOUS 607389 HAS SOUPS 607389 WITH SCORE 608159.112
AT ITER 6726 NEW BEST:: SOT 4364102 SOS 769857 HAS SOPS 769857 HAS SOUS 607332 HAS SOUPS 607332 WITH SCORE 608101.857
AT ITER 6758 NEW BEST:: SOT 4364083 SOS 769819 HAS SOPS 769819 HAS SOUS 607294 HAS SOUPS 607294 WITH SCORE 608063.819
AT ITER 6785 NEW BEST:: SOT 4363847 SOS 769711 HAS SOPS 769711 HAS SOUS 607161 HAS SOUPS 607161 WITH SCORE 607930.711
AT ITER 6809 NEW BEST:: SOT 4363833 SOS 769683 HAS SOPS 769683 HAS SOUS 607133 HAS SOUPS 607133 WITH SCORE 607902.683
AT ITER 6826 NEW BEST:: SOT 4363632 SOS 769841 HAS SOPS 769841 HAS SOUS 606932 HAS SOUPS 606932 WITH SCORE 607701.841
AT ITER 6831 NEW BEST:: SOT 4362948 SOS 769157 HAS SOPS 769157 HAS SOUS 606248 HAS SOUPS 606248 WITH SCORE 607017.157
AT ITER 6886 NEW BEST:: SOT 4362877 SOS 769395 HAS SOPS 769395 HAS SOUS 606231 HAS SOUPS 606231 WITH SCORE 607000.395
AT ITER 6909 NEW BEST:: SOT 4362748 SOS 769137 HAS SOPS 769137 HAS SOUS 605973 HAS SOUPS 605973 WITH SCORE 606742.137
AT ITER 6915 NEW BEST:: SOT 4362699 SOS 769039 HAS SOPS 769039 HAS SOUS 605875 HAS SOUPS 605875 WITH SCORE 606644.039
AT ITER 6930 NEW BEST:: SOT 4362575 SOS 768791 HAS SOPS 768791 HAS SOUS 605828 HAS SOUPS 605828 WITH SCORE 606596.791
AT ITER 6940 NEW BEST:: SOT 4362515 SOS 768671 HAS SOPS 768671 HAS SOUS 605768 HAS SOUPS 605768 WITH SCORE 606536.671
AT ITER 6970 NEW BEST:: SOT 4362492 SOS 768751 HAS SOPS 768751 HAS SOUS 605745 HAS SOUPS 605745 WITH SCORE 606513.751
AT ITER 6973 NEW BEST:: SOT 4362443 SOS 768482 HAS SOPS 768482 HAS SOUS 605696 HAS SOUPS 605696 WITH SCORE 606464.482
AT ITER 6974 NEW BEST:: SOT 4362296 SOS 768188 HAS SOPS 768188 HAS SOUS 605549 HAS SOUPS 605549 WITH SCORE 606317.188
AT ITER 7022 NEW BEST:: SOT 4362133 SOS 767862 HAS SOPS 767862 HAS SOUS 605223 HAS SOUPS 605223 WITH SCORE 605990.862
AT ITER 7033 NEW BEST:: SOT 4362069 SOS 767734 HAS SOPS 767734 HAS SOUS 605095 HAS SOUPS 605095 WITH SCORE 605862.734
AT ITER 7050 NEW BEST:: SOT 4361928 SOS 767452 HAS SOPS 767452 HAS SOUS 604674 HAS SOUPS 604674 WITH SCORE 605441.452
AT ITER 7075 NEW BEST:: SOT 4361838 SOS 767347 HAS SOPS 767347 HAS SOUS 604569 HAS SOUPS 604569 WITH SCORE 605336.347
AT ITER 7089 NEW BEST:: SOT 4361721 SOS 767113 HAS SOPS 767113 HAS SOUS 604335 HAS SOUPS 604335 WITH SCORE 605102.113
AT ITER 7097 NEW BEST:: SOT 4361618 SOS 766907 HAS SOPS 766907 HAS SOUS 604225 HAS SOUPS 604225 WITH SCORE 604991.907
AT ITER 7111 NEW BEST:: SOT 4361617 SOS 766784 HAS SOPS 766784 HAS SOUS 604162 HAS SOUPS 604162 WITH SCORE 604928.784
AT ITER 7113 NEW BEST:: SOT 4361566 SOS 766682 HAS SOPS 766682 HAS SOUS 604060 HAS SOUPS 604060 WITH SCORE 604826.682
AT ITER 7130 NEW BEST:: SOT 4361328 SOS 766116 HAS SOPS 766116 HAS SOUS 603850 HAS SOUPS 603850 WITH SCORE 604616.116
AT ITER 7150 NEW BEST:: SOT 4361199 SOS 765858 HAS SOPS 765858 HAS SOUS 603461 HAS SOUPS 603461 WITH SCORE 604226.858
AT ITER 7154 NEW BEST:: SOT 4361027 SOS 765686 HAS SOPS 765686 HAS SOUS 603289 HAS SOUPS 603289 WITH SCORE 604054.686
AT ITER 7165 NEW BEST:: SOT 4361107 SOS 765846 HAS SOPS 765846 HAS SOUS 603247 HAS SOUPS 603247 WITH SCORE 604012.846
AT ITER 7170 NEW BEST:: SOT 4361026 SOS 765908 HAS SOPS 765908 HAS SOUS 603203 HAS SOUPS 603203 WITH SCORE 603968.908
AT ITER 7195 NEW BEST:: SOT 4361025 SOS 765907 HAS SOPS 765907 HAS SOUS 603201 HAS SOUPS 603201 WITH SCORE 603966.907
AT ITER 7208 NEW BEST:: SOT 4361024 SOS 765905 HAS SOPS 765905 HAS SOUS 603199 HAS SOUPS 603199 WITH SCORE 603964.905
AT ITER 7252 NEW BEST:: SOT 4361024 SOS 765849 HAS SOPS 765849 HAS SOUS 603191 HAS SOUPS 603191 WITH SCORE 603956.849
AT ITER 7272 NEW BEST:: SOT 4361024 SOS 765761 HAS SOPS 765761 HAS SOUS 603191 HAS SOUPS 603191 WITH SCORE 603956.761
AT ITER 7280 NEW BEST:: SOT 4361024 SOS 765761 HAS SOPS 765761 HAS SOUS 603163 HAS SOUPS 603163 WITH SCORE 603928.761
AT ITER 7317 NEW BEST:: SOT 4360911 SOS 765535 HAS SOPS 765535 HAS SOUS 603163 HAS SOUPS 603163 WITH SCORE 603928.535
AT ITER 7326 NEW BEST:: SOT 4360750 SOS 765350 HAS SOPS 765350 HAS SOUS 602870 HAS SOUPS 602870 WITH SCORE 603635.35
AT ITER 7330 NEW BEST:: SOT 4360612 SOS 764847 HAS SOPS 764847 HAS SOUS 602594 HAS SOUPS 602594 WITH SCORE 603358.847
AT ITER 7338 NEW BEST:: SOT 4360448 SOS 764978 HAS SOPS 764978 HAS SOUS 602266 HAS SOUPS 602266 WITH SCORE 603030.978
AT ITER 7365 NEW BEST:: SOT 4360448 SOS 764689 HAS SOPS 764689 HAS SOUS 602266 HAS SOUPS 602266 WITH SCORE 603030.689
AT ITER 7366 NEW BEST:: SOT 4360427 SOS 764647 HAS SOPS 764647 HAS SOUS 602224 HAS SOUPS 602224 WITH SCORE 602988.647
AT ITER 7374 NEW BEST:: SOT 4360480 SOS 764275 HAS SOPS 764275 HAS SOUS 601852 HAS SOUPS 601852 WITH SCORE 602616.275
AT ITER 7387 NEW BEST:: SOT 4360337 SOS 764151 HAS SOPS 764151 HAS SOUS 601647 HAS SOUPS 601647 WITH SCORE 602411.151
AT ITER 7404 NEW BEST:: SOT 4360407 SOS 764291 HAS SOPS 764291 HAS SOUS 601534 HAS SOUPS 601534 WITH SCORE 602298.291
AT ITER 7437 NEW BEST:: SOT 4360394 SOS 764113 HAS SOPS 764113 HAS SOUS 601508 HAS SOUPS 601508 WITH SCORE 602272.113
AT ITER 7449 NEW BEST:: SOT 4360393 SOS 764438 HAS SOPS 764438 HAS SOUS 601507 HAS SOUPS 601507 WITH SCORE 602271.438
AT ITER 7453 NEW BEST:: SOT 4360403 SOS 764458 HAS SOPS 764458 HAS SOUS 601057 HAS SOUPS 601057 WITH SCORE 601821.458
AT ITER 7456 NEW BEST:: SOT 4360247 SOS 764146 HAS SOPS 764146 HAS SOUS 600745 HAS SOUPS 600745 WITH SCORE 601509.146
AT ITER 7501 NEW BEST:: SOT 4360313 SOS 764144 HAS SOPS 764144 HAS SOUS 600743 HAS SOUPS 600743 WITH SCORE 601507.144
AT ITER 7504 NEW BEST:: SOT 4360319 SOS 763427 HAS SOPS 763427 HAS SOUS 600532 HAS SOUPS 600532 WITH SCORE 601295.427
AT ITER 7511 NEW BEST:: SOT 4360333 SOS 763387 HAS SOPS 763387 HAS SOUS 600526 HAS SOUPS 600526 WITH SCORE 601289.387
AT ITER 7530 NEW BEST:: SOT 4359761 SOS 765589 HAS SOPS 765589 HAS SOUS 600412 HAS SOUPS 600412 WITH SCORE 601177.589
AT ITER 7532 NEW BEST:: SOT 4359889 SOS 765345 HAS SOPS 765345 HAS SOUS 600290 HAS SOUPS 600290 WITH SCORE 601055.345
AT ITER 7556 NEW BEST:: SOT 4359911 SOS 765261 HAS SOPS 765261 HAS SOUS 600248 HAS SOUPS 600248 WITH SCORE 601013.261
AT ITER 7597 NEW BEST:: SOT 4359854 SOS 765147 HAS SOPS 765147 HAS SOUS 600191 HAS SOUPS 600191 WITH SCORE 600956.147
AT ITER 7599 NEW BEST:: SOT 4359739 SOS 764917 HAS SOPS 764917 HAS SOUS 599961 HAS SOUPS 599961 WITH SCORE 600725.917
AT ITER 7631 NEW BEST:: SOT 4359463 SOS 765317 HAS SOPS 765317 HAS SOUS 599923 HAS SOUPS 599923 WITH SCORE 600688.317
AT ITER 7648 NEW BEST:: SOT 4359463 SOS 765317 HAS SOPS 765317 HAS SOUS 599894 HAS SOUPS 599894 WITH SCORE 600659.317
AT ITER 7655 NEW BEST:: SOT 4359441 SOS 746199 HAS SOPS 746199 HAS SOUS 599850 HAS SOUPS 599850 WITH SCORE 600596.199
AT ITER 7689 NEW BEST:: SOT 4359215 SOS 745747 HAS SOPS 745747 HAS SOUS 599550 HAS SOUPS 599550 WITH SCORE 600295.747
AT ITER 7709 NEW BEST:: SOT 4359202 SOS 745468 HAS SOPS 745468 HAS SOUS 599271 HAS SOUPS 599271 WITH SCORE 600016.468
AT ITER 7744 NEW BEST:: SOT 4359200 SOS 745464 HAS SOPS 745464 HAS SOUS 599267 HAS SOUPS 599267 WITH SCORE 600012.464
AT ITER 7784 NEW BEST:: SOT 4358915 SOS 744894 HAS SOPS 744894 HAS SOUS 599044 HAS SOUPS 599044 WITH SCORE 599788.894
AT ITER 7816 NEW BEST:: SOT 4358947 SOS 744827 HAS SOPS 744827 HAS SOUS 598977 HAS SOUPS 598977 WITH SCORE 599721.827
AT ITER 7819 NEW BEST:: SOT 4358947 SOS 744817 HAS SOPS 744817 HAS SOUS 598972 HAS SOUPS 598972 WITH SCORE 599716.817
AT ITER 7833 NEW BEST:: SOT 4358916 SOS 744724 HAS SOPS 744724 HAS SOUS 598879 HAS SOUPS 598879 WITH SCORE 599623.724
AT ITER 7838 NEW BEST:: SOT 4358804 SOS 744724 HAS SOPS 744724 HAS SOUS 598823 HAS SOUPS 598823 WITH SCORE 599567.724
AT ITER 7940 NEW BEST:: SOT 4358176 SOS 754414 HAS SOPS 754414 HAS SOUS 598487 HAS SOUPS 598487 WITH SCORE 599241.414
AT ITER 7957 NEW BEST:: SOT 4358127 SOS 754316 HAS SOPS 754316 HAS SOUS 598389 HAS SOUPS 598389 WITH SCORE 599143.316
AT ITER 7981 NEW BEST:: SOT 4358080 SOS 754269 HAS SOPS 754269 HAS SOUS 598342 HAS SOUPS 598342 WITH SCORE 599096.269
AT ITER 7991 NEW BEST:: SOT 4358080 SOS 754255 HAS SOPS 754255 HAS SOUS 598328 HAS SOUPS 598328 WITH SCORE 599082.255
AT ITER 7996 NEW BEST:: SOT 4358079 SOS 754253 HAS SOPS 754253 HAS SOUS 598314 HAS SOUPS 598314 WITH SCORE 599068.253
AT ITER 8042 NEW BEST:: SOT 4358036 SOS 754167 HAS SOPS 754167 HAS SOUS 598228 HAS SOUPS 598228 WITH SCORE 598982.167
AT ITER 8046 NEW BEST:: SOT 4357870 SOS 754001 HAS SOPS 754001 HAS SOUS 598062 HAS SOUPS 598062 WITH SCORE 598816.001
AT ITER 8064 NEW BEST:: SOT 4357831 SOS 747833 HAS SOPS 747833 HAS SOUS 597878 HAS SOUPS 597878 WITH SCORE 598625.833
AT ITER 8097 NEW BEST:: SOT 4357711 SOS 747875 HAS SOPS 747875 HAS SOUS 597839 HAS SOUPS 597839 WITH SCORE 598586.875
AT ITER 8104 NEW BEST:: SOT 4357387 SOS 747557 HAS SOPS 747557 HAS SOUS 597521 HAS SOUPS 597521 WITH SCORE 598268.557
AT ITER 8165 NEW BEST:: SOT 4357386 SOS 747556 HAS SOPS 747556 HAS SOUS 597519 HAS SOUPS 597519 WITH SCORE 598266.556
AT ITER 8202 NEW BEST:: SOT 4357224 SOS 746772 HAS SOPS 746772 HAS SOUS 597129 HAS SOUPS 597129 WITH SCORE 597875.772
AT ITER 8217 NEW BEST:: SOT 4357180 SOS 746728 HAS SOPS 746728 HAS SOUS 597085 HAS SOUPS 597085 WITH SCORE 597831.728
AT ITER 8228 NEW BEST:: SOT 4357302 SOS 746774 HAS SOPS 746774 HAS SOUS 597080 HAS SOUPS 597080 WITH SCORE 597826.774
AT ITER 8236 NEW BEST:: SOT 4357258 SOS 746686 HAS SOPS 746686 HAS SOUS 596992 HAS SOUPS 596992 WITH SCORE 597738.686
AT ITER 8246 NEW BEST:: SOT 4357066 SOS 746521 HAS SOPS 746521 HAS SOUS 596800 HAS SOUPS 596800 WITH SCORE 597546.521
AT ITER 8254 NEW BEST:: SOT 4357056 SOS 746413 HAS SOPS 746413 HAS SOUS 596753 HAS SOUPS 596753 WITH SCORE 597499.413
AT ITER 8259 NEW BEST:: SOT 4356740 SOS 745781 HAS SOPS 745781 HAS SOUS 596735 HAS SOUPS 596735 WITH SCORE 597480.781
AT ITER 8271 NEW BEST:: SOT 4356740 SOS 745637 HAS SOPS 745637 HAS SOUS 596687 HAS SOUPS 596687 WITH SCORE 597432.637
AT ITER 8279 NEW BEST:: SOT 4356740 SOS 745637 HAS SOPS 745637 HAS SOUS 596563 HAS SOUPS 596563 WITH SCORE 597308.637
AT ITER 8281 NEW BEST:: SOT 4356686 SOS 745529 HAS SOPS 745529 HAS SOUS 596509 HAS SOUPS 596509 WITH SCORE 597254.529
AT ITER 8325 NEW BEST:: SOT 4356685 SOS 745528 HAS SOPS 745528 HAS SOUS 596507 HAS SOUPS 596507 WITH SCORE 597252.528
AT ITER 8338 NEW BEST:: SOT 4356625 SOS 745468 HAS SOPS 745468 HAS SOUS 596447 HAS SOUPS 596447 WITH SCORE 597192.468
AT ITER 8402 NEW BEST:: SOT 4356582 SOS 745470 HAS SOPS 745470 HAS SOUS 596341 HAS SOUPS 596341 WITH SCORE 597086.47
AT ITER 8406 NEW BEST:: SOT 4356550 SOS 745468 HAS SOPS 745468 HAS SOUS 596339 HAS SOUPS 596339 WITH SCORE 597084.468
AT ITER 8412 NEW BEST:: SOT 4356429 SOS 745427 HAS SOPS 745427 HAS SOUS 596298 HAS SOUPS 596298 WITH SCORE 597043.427
AT ITER 8426 NEW BEST:: SOT 4356574 SOS 745572 HAS SOPS 745572 HAS SOUS 596256 HAS SOUPS 596256 WITH SCORE 597001.572
AT ITER 8447 NEW BEST:: SOT 4356548 SOS 745520 HAS SOPS 745520 HAS SOUS 596228 HAS SOUPS 596228 WITH SCORE 596973.52
AT ITER 8455 NEW BEST:: SOT 4356276 SOS 744976 HAS SOPS 744976 HAS SOUS 595684 HAS SOUPS 595684 WITH SCORE 596428.976
AT ITER 8495 NEW BEST:: SOT 4356219 SOS 744805 HAS SOPS 744805 HAS SOUS 595570 HAS SOUPS 595570 WITH SCORE 596314.805
AT ITER 8503 NEW BEST:: SOT 4356623 SOS 744211 HAS SOPS 744211 HAS SOUS 595500 HAS SOUPS 595500 WITH SCORE 596244.211
AT ITER 8504 NEW BEST:: SOT 4356331 SOS 743795 HAS SOPS 743795 HAS SOUS 595208 HAS SOUPS 595208 WITH SCORE 595951.795
AT ITER 8538 NEW BEST:: SOT 4356235 SOS 743603 HAS SOPS 743603 HAS SOUS 595104 HAS SOUPS 595104 WITH SCORE 595847.603
AT ITER 8542 NEW BEST:: SOT 4356191 SOS 743153 HAS SOPS 743153 HAS SOUS 594887 HAS SOUPS 594887 WITH SCORE 595630.153
AT ITER 8549 NEW BEST:: SOT 4356132 SOS 743035 HAS SOPS 743035 HAS SOUS 594769 HAS SOUPS 594769 WITH SCORE 595512.035
AT ITER 8562 NEW BEST:: SOT 4355917 SOS 734967 HAS SOPS 734967 HAS SOUS 594540 HAS SOUPS 594540 WITH SCORE 595274.967
AT ITER 8575 NEW BEST:: SOT 4355913 SOS 734955 HAS SOPS 734955 HAS SOUS 594532 HAS SOUPS 594532 WITH SCORE 595266.955
AT ITER 8611 NEW BEST:: SOT 4355885 SOS 734927 HAS SOPS 734927 HAS SOUS 594476 HAS SOUPS 594476 WITH SCORE 595210.927
AT ITER 8620 NEW BEST:: SOT 4355885 SOS 734921 HAS SOPS 734921 HAS SOUS 594476 HAS SOUPS 594476 WITH SCORE 595210.921
AT ITER 8635 NEW BEST:: SOT 4355869 SOS 734889 HAS SOPS 734889 HAS SOUS 594460 HAS SOUPS 594460 WITH SCORE 595194.889
AT ITER 8652 NEW BEST:: SOT 4355869 SOS 734691 HAS SOPS 734691 HAS SOUS 594460 HAS SOUPS 594460 WITH SCORE 595194.691
AT ITER 8715 NEW BEST:: SOT 4355835 SOS 734623 HAS SOPS 734623 HAS SOUS 594392 HAS SOUPS 594392 WITH SCORE 595126.623
AT ITER 8736 NEW BEST:: SOT 4355835 SOS 734592 HAS SOPS 734592 HAS SOUS 594392 HAS SOUPS 594392 WITH SCORE 595126.592
AT ITER 8739 NEW BEST:: SOT 4355783 SOS 734488 HAS SOPS 734488 HAS SOUS 594288 HAS SOUPS 594288 WITH SCORE 595022.488
AT ITER 8750 NEW BEST:: SOT 4355741 SOS 734404 HAS SOPS 734404 HAS SOUS 594204 HAS SOUPS 594204 WITH SCORE 594938.404
AT ITER 8767 NEW BEST:: SOT 4355776 SOS 734474 HAS SOPS 734474 HAS SOUS 594186 HAS SOUPS 594186 WITH SCORE 594920.474
AT ITER 8776 NEW BEST:: SOT 4355563 SOS 734048 HAS SOPS 734048 HAS SOUS 594164 HAS SOUPS 594164 WITH SCORE 594898.048
AT ITER 8782 NEW BEST:: SOT 4355535 SOS 734048 HAS SOPS 734048 HAS SOUS 594136 HAS SOUPS 594136 WITH SCORE 594870.048
AT ITER 8786 NEW BEST:: SOT 4355265 SOS 733778 HAS SOPS 733778 HAS SOUS 593866 HAS SOUPS 593866 WITH SCORE 594599.778
AT ITER 8804 NEW BEST:: SOT 4355165 SOS 733578 HAS SOPS 733578 HAS SOUS 593766 HAS SOUPS 593766 WITH SCORE 594499.578
AT ITER 8817 NEW BEST:: SOT 4354878 SOS 733291 HAS SOPS 733291 HAS SOUS 593325 HAS SOUPS 593325 WITH SCORE 594058.291
AT ITER 8821 NEW BEST:: SOT 4354733 SOS 732917 HAS SOPS 732917 HAS SOUS 592962 HAS SOUPS 592962 WITH SCORE 593694.917
AT ITER 8834 NEW BEST:: SOT 4354733 SOS 732712 HAS SOPS 732712 HAS SOUS 592962 HAS SOUPS 592962 WITH SCORE 593694.712
AT ITER 8845 NEW BEST:: SOT 4354760 SOS 732540 HAS SOPS 732540 HAS SOUS 592790 HAS SOUPS 592790 WITH SCORE 593522.54
AT ITER 8860 NEW BEST:: SOT 4354530 SOS 732540 HAS SOPS 732540 HAS SOUS 592788 HAS SOUPS 592788 WITH SCORE 593520.54
AT ITER 8870 NEW BEST:: SOT 4354292 SOS 732064 HAS SOPS 732064 HAS SOUS 592241 HAS SOUPS 592241 WITH SCORE 592973.064
AT ITER 8873 NEW BEST:: SOT 4354389 SOS 731773 HAS SOPS 731773 HAS SOUS 592241 HAS SOUPS 592241 WITH SCORE 592972.773
AT ITER 8908 NEW BEST:: SOT 4354389 SOS 731735 HAS SOPS 731735 HAS SOUS 592241 HAS SOUPS 592241 WITH SCORE 592972.735
AT ITER 8931 NEW BEST:: SOT 4354378 SOS 731260 HAS SOPS 731260 HAS SOUS 592079 HAS SOUPS 592079 WITH SCORE 592810.26
AT ITER 8964 NEW BEST:: SOT 4354403 SOS 731161 HAS SOPS 731161 HAS SOUS 591952 HAS SOUPS 591952 WITH SCORE 592683.161
AT ITER 8984 NEW BEST:: SOT 4354103 SOS 730248 HAS SOPS 730248 HAS SOUS 591507 HAS SOUPS 591507 WITH SCORE 592237.248
AT ITER 8997 NEW BEST:: SOT 4354065 SOS 730210 HAS SOPS 730210 HAS SOUS 591469 HAS SOUPS 591469 WITH SCORE 592199.21
AT ITER 9043 NEW BEST:: SOT 4354041 SOS 730162 HAS SOPS 730162 HAS SOUS 591116 HAS SOUPS 591116 WITH SCORE 591846.162
AT ITER 9052 NEW BEST:: SOT 4353946 SOS 729824 HAS SOPS 729824 HAS SOUS 590926 HAS SOUPS 590926 WITH SCORE 591655.824
AT ITER 9074 NEW BEST:: SOT 4353942 SOS 729857 HAS SOPS 729857 HAS SOUS 590922 HAS SOUPS 590922 WITH SCORE 591651.857
AT ITER 9078 NEW BEST:: SOT 4353716 SOS 729405 HAS SOPS 729405 HAS SOUS 590509 HAS SOUPS 590509 WITH SCORE 591238.405
AT ITER 9148 NEW BEST:: SOT 4353635 SOS 729243 HAS SOPS 729243 HAS SOUS 590402 HAS SOUPS 590402 WITH SCORE 591131.243
AT ITER 9166 NEW BEST:: SOT 4353386 SOS 729205 HAS SOPS 729205 HAS SOUS 590364 HAS SOUPS 590364 WITH SCORE 591093.205
AT ITER 9169 NEW BEST:: SOT 4353315 SOS 728583 HAS SOPS 728583 HAS SOUS 590293 HAS SOUPS 590293 WITH SCORE 591021.583
AT ITER 9183 NEW BEST:: SOT 4353243 SOS 728439 HAS SOPS 728439 HAS SOUS 590185 HAS SOUPS 590185 WITH SCORE 590913.439
AT ITER 9216 NEW BEST:: SOT 4353529 SOS 728407 HAS SOPS 728407 HAS SOUS 590037 HAS SOUPS 590037 WITH SCORE 590765.407
AT ITER 9268 NEW BEST:: SOT 4353508 SOS 728365 HAS SOPS 728365 HAS SOUS 589999 HAS SOUPS 589999 WITH SCORE 590727.365
AT ITER 9290 NEW BEST:: SOT 4353508 SOS 728246 HAS SOPS 728246 HAS SOUS 589999 HAS SOUPS 589999 WITH SCORE 590727.246
AT ITER 9297 NEW BEST:: SOT 4353485 SOS 728940 HAS SOPS 728940 HAS SOUS 589976 HAS SOUPS 589976 WITH SCORE 590704.94
AT ITER 9320 NEW BEST:: SOT 4352923 SOS 728544 HAS SOPS 728544 HAS SOUS 589443 HAS SOUPS 589443 WITH SCORE 590171.544
AT ITER 9356 NEW BEST:: SOT 4352853 SOS 728334 HAS SOPS 728334 HAS SOUS 589303 HAS SOUPS 589303 WITH SCORE 590031.334
AT ITER 9364 NEW BEST:: SOT 4352780 SOS 728283 HAS SOPS 728283 HAS SOUS 589229 HAS SOUPS 589229 WITH SCORE 589957.283
AT ITER 9365 NEW BEST:: SOT 4352358 SOS 727861 HAS SOPS 727861 HAS SOUS 588807 HAS SOUPS 588807 WITH SCORE 589534.861
AT ITER 9403 NEW BEST:: SOT 4352338 SOS 727821 HAS SOPS 727821 HAS SOUS 588787 HAS SOUPS 588787 WITH SCORE 589514.821
AT ITER 9434 NEW BEST:: SOT 4352337 SOS 727591 HAS SOPS 727591 HAS SOUS 588786 HAS SOUPS 588786 WITH SCORE 589513.591
AT ITER 9452 NEW BEST:: SOT 4352196 SOS 727175 HAS SOPS 727175 HAS SOUS 588458 HAS SOUPS 588458 WITH SCORE 589185.175
AT ITER 9492 NEW BEST:: SOT 4352195 SOS 727173 HAS SOPS 727173 HAS SOUS 588456 HAS SOUPS 588456 WITH SCORE 589183.173
AT ITER 9493 NEW BEST:: SOT 4352549 SOS 727881 HAS SOPS 727881 HAS SOUS 588337 HAS SOUPS 588337 WITH SCORE 589064.881
AT ITER 9504 NEW BEST:: SOT 4352443 SOS 727425 HAS SOPS 727425 HAS SOUS 588120 HAS SOUPS 588120 WITH SCORE 588847.425
AT ITER 9505 NEW BEST:: SOT 4352635 SOS 727809 HAS SOPS 727809 HAS SOUS 588075 HAS SOUPS 588075 WITH SCORE 588802.809
AT ITER 9540 NEW BEST:: SOT 4352633 SOS 727813 HAS SOPS 727813 HAS SOUS 588073 HAS SOUPS 588073 WITH SCORE 588800.813
AT ITER 9550 NEW BEST:: SOT 4352548 SOS 727643 HAS SOPS 727643 HAS SOUS 587914 HAS SOUPS 587914 WITH SCORE 588641.643
AT ITER 9603 NEW BEST:: SOT 4352548 SOS 727624 HAS SOPS 727624 HAS SOUS 587914 HAS SOUPS 587914 WITH SCORE 588641.624
AT ITER 9609 NEW BEST:: SOT 4352638 SOS 727415 HAS SOPS 727415 HAS SOUS 587847 HAS SOUPS 587847 WITH SCORE 588574.415
AT ITER 9642 NEW BEST:: SOT 4352661 SOS 727025 HAS SOPS 727025 HAS SOUS 587475 HAS SOUPS 587475 WITH SCORE 588202.025
AT ITER 9649 NEW BEST:: SOT 4352660 SOS 727023 HAS SOPS 727023 HAS SOUS 587473 HAS SOUPS 587473 WITH SCORE 588200.023
AT ITER 9669 NEW BEST:: SOT 4352660 SOS 726796 HAS SOPS 726796 HAS SOUS 587246 HAS SOUPS 587246 WITH SCORE 587972.796
AT ITER 9678 NEW BEST:: SOT 4352573 SOS 726622 HAS SOPS 726622 HAS SOUS 587072 HAS SOUPS 587072 WITH SCORE 587798.622
AT ITER 9684 NEW BEST:: SOT 4352450 SOS 726376 HAS SOPS 726376 HAS SOUS 586826 HAS SOUPS 586826 WITH SCORE 587552.376
AT ITER 9729 NEW BEST:: SOT 4352314 SOS 726240 HAS SOPS 726240 HAS SOUS 586690 HAS SOUPS 586690 WITH SCORE 587416.24
AT ITER 9742 NEW BEST:: SOT 4352302 SOS 726216 HAS SOPS 726216 HAS SOUS 586666 HAS SOUPS 586666 WITH SCORE 587392.216
AT ITER 9751 NEW BEST:: SOT 4352098 SOS 726165 HAS SOPS 726165 HAS SOUS 586577 HAS SOUPS 586577 WITH SCORE 587303.165
AT ITER 9790 NEW BEST:: SOT 4351967 SOS 725903 HAS SOPS 725903 HAS SOUS 586315 HAS SOUPS 586315 WITH SCORE 587040.903
AT ITER 9813 NEW BEST:: SOT 4351990 SOS 725926 HAS SOPS 725926 HAS SOUS 586077 HAS SOUPS 586077 WITH SCORE 586802.926
AT ITER 9815 NEW BEST:: SOT 4351990 SOS 725926 HAS SOPS 725926 HAS SOUS 586039 HAS SOUPS 586039 WITH SCORE 586764.926
AT ITER 9854 NEW BEST:: SOT 4351813 SOS 725116 HAS SOPS 725116 HAS SOUS 585685 HAS SOUPS 585685 WITH SCORE 586410.116
AT ITER 9856 NEW BEST:: SOT 4351804 SOS 725098 HAS SOPS 725098 HAS SOUS 585667 HAS SOUPS 585667 WITH SCORE 586392.098
AT ITER 9875 NEW BEST:: SOT 4351767 SOS 725024 HAS SOPS 725024 HAS SOUS 585593 HAS SOUPS 585593 WITH SCORE 586318.024
AT ITER 9891 NEW BEST:: SOT 4351734 SOS 724958 HAS SOPS 724958 HAS SOUS 585527 HAS SOUPS 585527 WITH SCORE 586251.958
AT ITER 9897 NEW BEST:: SOT 4351672 SOS 724834 HAS SOPS 724834 HAS SOUS 585297 HAS SOUPS 585297 WITH SCORE 586021.834
AT ITER 9969 NEW BEST:: SOT 4351592 SOS 724748 HAS SOPS 724748 HAS SOUS 585211 HAS SOUPS 585211 WITH SCORE 585935.748
AT ITER 9982 NEW BEST:: SOT 4351555 SOS 724711 HAS SOPS 724711 HAS SOUS 585174 HAS SOUPS 585174 WITH SCORE 585898.711
AT ITER 9999 NEW BEST:: SOT 4351119 SOS 725211 HAS SOPS 725211 HAS SOUS 585081 HAS SOUPS 585081 WITH SCORE 585806.211
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11886260 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154564 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-312"
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-312, 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-167814472000096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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