Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542400624.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCround-PT-13b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400624
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 3.4K Mar 30 21:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 21:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 11:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 11:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 28 07:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 07:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 01:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 27 01:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.1M Mar 24 05:37 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 1590869274367

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 13b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 5343 places, 8727 transitions, 24849 arcs.
AT ITER 0 NEW BEST:: SOT 30665414 SOS 7539059 HAS SOPS 7539059 HAS SOUS 3929360 HAS SOUPS 3929360 WITH SCORE 3936899.059
AT ITER 15 NEW BEST:: SOT 30665331 SOS 7538893 HAS SOPS 7538893 HAS SOUS 3929194 HAS SOUPS 3929194 WITH SCORE 3936732.893
AT ITER 37 NEW BEST:: SOT 30665119 SOS 7538469 HAS SOPS 7538469 HAS SOUS 3928577 HAS SOUPS 3928577 WITH SCORE 3936115.469
AT ITER 44 NEW BEST:: SOT 30664053 SOS 7538764 HAS SOPS 7538764 HAS SOUS 3928320 HAS SOUPS 3928320 WITH SCORE 3935858.764
AT ITER 55 NEW BEST:: SOT 30662658 SOS 7538788 HAS SOPS 7538788 HAS SOUS 3927839 HAS SOUPS 3927839 WITH SCORE 3935377.788
AT ITER 68 NEW BEST:: SOT 30662658 SOS 7540507 HAS SOPS 7540507 HAS SOUS 3927625 HAS SOUPS 3927625 WITH SCORE 3935165.507
AT ITER 77 NEW BEST:: SOT 30661628 SOS 7539094 HAS SOPS 7539094 HAS SOUS 3926595 HAS SOUPS 3926595 WITH SCORE 3934134.094
AT ITER 102 NEW BEST:: SOT 30661109 SOS 7538572 HAS SOPS 7538572 HAS SOUS 3926075 HAS SOUPS 3926075 WITH SCORE 3933613.572
AT ITER 108 NEW BEST:: SOT 30661026 SOS 7538406 HAS SOPS 7538406 HAS SOUS 3925992 HAS SOUPS 3925992 WITH SCORE 3933530.406
AT ITER 126 NEW BEST:: SOT 30661026 SOS 7536567 HAS SOPS 7536567 HAS SOUS 3925991 HAS SOUPS 3925991 WITH SCORE 3933527.567
AT ITER 139 NEW BEST:: SOT 30660967 SOS 7536623 HAS SOPS 7536623 HAS SOUS 3925931 HAS SOUPS 3925931 WITH SCORE 3933467.623
AT ITER 146 NEW BEST:: SOT 30660967 SOS 7535915 HAS SOPS 7535915 HAS SOUS 3925695 HAS SOUPS 3925695 WITH SCORE 3933230.915
AT ITER 164 NEW BEST:: SOT 30660233 SOS 7534447 HAS SOPS 7534447 HAS SOUS 3924961 HAS SOUPS 3924961 WITH SCORE 3932495.447
AT ITER 178 NEW BEST:: SOT 30659766 SOS 7533513 HAS SOPS 7533513 HAS SOUS 3924027 HAS SOUPS 3924027 WITH SCORE 3931560.513
AT ITER 227 NEW BEST:: SOT 30659406 SOS 7534044 HAS SOPS 7534044 HAS SOUS 3923667 HAS SOUPS 3923667 WITH SCORE 3931201.044
AT ITER 239 NEW BEST:: SOT 30659405 SOS 7534042 HAS SOPS 7534042 HAS SOUS 3923665 HAS SOUPS 3923665 WITH SCORE 3931199.042
AT ITER 244 NEW BEST:: SOT 30658940 SOS 7533577 HAS SOPS 7533577 HAS SOUS 3923200 HAS SOUPS 3923200 WITH SCORE 3930733.577
AT ITER 259 NEW BEST:: SOT 30658939 SOS 7533575 HAS SOPS 7533575 HAS SOUS 3923198 HAS SOUPS 3923198 WITH SCORE 3930731.575
AT ITER 263 NEW BEST:: SOT 30659266 SOS 7534229 HAS SOPS 7534229 HAS SOUS 3922422 HAS SOUPS 3922422 WITH SCORE 3929956.229
AT ITER 265 NEW BEST:: SOT 30659266 SOS 7533895 HAS SOPS 7533895 HAS SOUS 3922088 HAS SOUPS 3922088 WITH SCORE 3929621.895
AT ITER 313 NEW BEST:: SOT 30659097 SOS 7533805 HAS SOPS 7533805 HAS SOUS 3921998 HAS SOUPS 3921998 WITH SCORE 3929531.805
AT ITER 329 NEW BEST:: SOT 30658046 SOS 7532931 HAS SOPS 7532931 HAS SOUS 3921124 HAS SOUPS 3921124 WITH SCORE 3928656.931
AT ITER 333 NEW BEST:: SOT 30657870 SOS 7532843 HAS SOPS 7532843 HAS SOUS 3921036 HAS SOUPS 3921036 WITH SCORE 3928568.843
AT ITER 336 NEW BEST:: SOT 30657337 SOS 7532695 HAS SOPS 7532695 HAS SOUS 3920888 HAS SOUPS 3920888 WITH SCORE 3928420.695
AT ITER 354 NEW BEST:: SOT 30655369 SOS 7530727 HAS SOPS 7530727 HAS SOUS 3918920 HAS SOUPS 3918920 WITH SCORE 3926450.727
AT ITER 360 NEW BEST:: SOT 30655369 SOS 7531319 HAS SOPS 7531319 HAS SOUS 3918919 HAS SOUPS 3918919 WITH SCORE 3926450.319
AT ITER 361 NEW BEST:: SOT 30655261 SOS 7532163 HAS SOPS 7532163 HAS SOUS 3918809 HAS SOUPS 3918809 WITH SCORE 3926341.163
AT ITER 419 NEW BEST:: SOT 30654707 SOS 7532159 HAS SOPS 7532159 HAS SOUS 3918254 HAS SOUPS 3918254 WITH SCORE 3925786.159
AT ITER 422 NEW BEST:: SOT 30654367 SOS 7534539 HAS SOPS 7534539 HAS SOUS 3917914 HAS SOUPS 3917914 WITH SCORE 3925448.539
AT ITER 426 NEW BEST:: SOT 30653797 SOS 7533978 HAS SOPS 7533978 HAS SOUS 3917344 HAS SOUPS 3917344 WITH SCORE 3924877.978
AT ITER 434 NEW BEST:: SOT 30654538 SOS 7533237 HAS SOPS 7533237 HAS SOUS 3917344 HAS SOUPS 3917344 WITH SCORE 3924877.237
AT ITER 472 NEW BEST:: SOT 30654538 SOS 7531338 HAS SOPS 7531338 HAS SOUS 3917344 HAS SOUPS 3917344 WITH SCORE 3924875.338
AT ITER 519 NEW BEST:: SOT 30652708 SOS 7529901 HAS SOPS 7529901 HAS SOUS 3915514 HAS SOUPS 3915514 WITH SCORE 3923043.901
AT ITER 521 NEW BEST:: SOT 30652708 SOS 7531671 HAS SOPS 7531671 HAS SOUS 3915292 HAS SOUPS 3915292 WITH SCORE 3922823.671
AT ITER 523 NEW BEST:: SOT 30653103 SOS 7536069 HAS SOPS 7536069 HAS SOUS 3914877 HAS SOUPS 3914877 WITH SCORE 3922413.069
AT ITER 524 NEW BEST:: SOT 30653103 SOS 7537123 HAS SOPS 7537123 HAS SOUS 3914875 HAS SOUPS 3914875 WITH SCORE 3922412.123
AT ITER 537 NEW BEST:: SOT 30650104 SOS 7535129 HAS SOPS 7535129 HAS SOUS 3912124 HAS SOUPS 3912124 WITH SCORE 3919659.129
AT ITER 548 NEW BEST:: SOT 30649232 SOS 7535119 HAS SOPS 7535119 HAS SOUS 3911518 HAS SOUPS 3911518 WITH SCORE 3919053.119
AT ITER 573 NEW BEST:: SOT 30649143 SOS 7534941 HAS SOPS 7534941 HAS SOUS 3911340 HAS SOUPS 3911340 WITH SCORE 3918874.941
AT ITER 594 NEW BEST:: SOT 30648711 SOS 7534293 HAS SOPS 7534293 HAS SOUS 3910182 HAS SOUPS 3910182 WITH SCORE 3917716.293
AT ITER 603 NEW BEST:: SOT 30647944 SOS 7551018 HAS SOPS 7551018 HAS SOUS 3909894 HAS SOUPS 3909894 WITH SCORE 3917445.018
AT ITER 678 NEW BEST:: SOT 30647944 SOS 7551552 HAS SOPS 7551552 HAS SOUS 3909893 HAS SOUPS 3909893 WITH SCORE 3917444.552
AT ITER 691 NEW BEST:: SOT 30647944 SOS 7551552 HAS SOPS 7551552 HAS SOUS 3909889 HAS SOUPS 3909889 WITH SCORE 3917440.552
AT ITER 703 NEW BEST:: SOT 30647843 SOS 7551504 HAS SOPS 7551504 HAS SOUS 3909841 HAS SOUPS 3909841 WITH SCORE 3917392.504
AT ITER 704 NEW BEST:: SOT 30647288 SOS 7550394 HAS SOPS 7550394 HAS SOUS 3909371 HAS SOUPS 3909371 WITH SCORE 3916921.394
AT ITER 706 NEW BEST:: SOT 30646186 SOS 7549292 HAS SOPS 7549292 HAS SOUS 3908269 HAS SOUPS 3908269 WITH SCORE 3915818.292
AT ITER 713 NEW BEST:: SOT 30645878 SOS 7549282 HAS SOPS 7549282 HAS SOUS 3908114 HAS SOUPS 3908114 WITH SCORE 3915663.282
AT ITER 714 NEW BEST:: SOT 30645742 SOS 7550360 HAS SOPS 7550360 HAS SOUS 3907977 HAS SOUPS 3907977 WITH SCORE 3915527.36
AT ITER 731 NEW BEST:: SOT 30645742 SOS 7551318 HAS SOPS 7551318 HAS SOUS 3907976 HAS SOUPS 3907976 WITH SCORE 3915527.318
AT ITER 764 NEW BEST:: SOT 30645742 SOS 7549854 HAS SOPS 7549854 HAS SOUS 3907975 HAS SOUPS 3907975 WITH SCORE 3915524.854
AT ITER 765 NEW BEST:: SOT 30645466 SOS 7550130 HAS SOPS 7550130 HAS SOUS 3907699 HAS SOUPS 3907699 WITH SCORE 3915249.13
AT ITER 775 NEW BEST:: SOT 30645466 SOS 7550130 HAS SOPS 7550130 HAS SOUS 3907698 HAS SOUPS 3907698 WITH SCORE 3915248.13
AT ITER 784 NEW BEST:: SOT 30644571 SOS 7552465 HAS SOPS 7552465 HAS SOUS 3906802 HAS SOUPS 3906802 WITH SCORE 3914354.465
AT ITER 806 NEW BEST:: SOT 30644011 SOS 7553429 HAS SOPS 7553429 HAS SOUS 3905872 HAS SOUPS 3905872 WITH SCORE 3913425.429
AT ITER 837 NEW BEST:: SOT 30643810 SOS 7553295 HAS SOPS 7553295 HAS SOUS 3905738 HAS SOUPS 3905738 WITH SCORE 3913291.295
AT ITER 861 NEW BEST:: SOT 30643810 SOS 7554840 HAS SOPS 7554840 HAS SOUS 3905147 HAS SOUPS 3905147 WITH SCORE 3912701.84
AT ITER 890 NEW BEST:: SOT 30642946 SOS 7554507 HAS SOPS 7554507 HAS SOUS 3904283 HAS SOUPS 3904283 WITH SCORE 3911837.507
AT ITER 904 NEW BEST:: SOT 30642079 SOS 7554497 HAS SOPS 7554497 HAS SOUS 3903684 HAS SOUPS 3903684 WITH SCORE 3911238.497
AT ITER 935 NEW BEST:: SOT 30642079 SOS 7554497 HAS SOPS 7554497 HAS SOUS 3903683 HAS SOUPS 3903683 WITH SCORE 3911237.497
AT ITER 974 NEW BEST:: SOT 30642077 SOS 7557867 HAS SOPS 7557867 HAS SOUS 3903678 HAS SOUPS 3903678 WITH SCORE 3911235.867
AT ITER 979 NEW BEST:: SOT 30642254 SOS 7555895 HAS SOPS 7555895 HAS SOUS 3903167 HAS SOUPS 3903167 WITH SCORE 3910722.895
AT ITER 980 NEW BEST:: SOT 30641668 SOS 7555592 HAS SOPS 7555592 HAS SOUS 3902612 HAS SOUPS 3902612 WITH SCORE 3910167.592
AT ITER 982 NEW BEST:: SOT 30639441 SOS 7571690 HAS SOPS 7571690 HAS SOUS 3902390 HAS SOUPS 3902390 WITH SCORE 3909961.69
AT ITER 983 NEW BEST:: SOT 30639441 SOS 7569911 HAS SOPS 7569911 HAS SOUS 3901797 HAS SOUPS 3901797 WITH SCORE 3909366.911
AT ITER 985 NEW BEST:: SOT 30639441 SOS 7572442 HAS SOPS 7572442 HAS SOUS 3900529 HAS SOUPS 3900529 WITH SCORE 3908101.442
AT ITER 1003 NEW BEST:: SOT 30639162 SOS 7573635 HAS SOPS 7573635 HAS SOUS 3900248 HAS SOUPS 3900248 WITH SCORE 3907821.635
AT ITER 1018 NEW BEST:: SOT 30638871 SOS 7573344 HAS SOPS 7573344 HAS SOUS 3900248 HAS SOUPS 3900248 WITH SCORE 3907821.344
AT ITER 1019 NEW BEST:: SOT 30638871 SOS 7571565 HAS SOPS 7571565 HAS SOUS 3900248 HAS SOUPS 3900248 WITH SCORE 3907819.565
AT ITER 1025 NEW BEST:: SOT 30638871 SOS 7571565 HAS SOPS 7571565 HAS SOUS 3900247 HAS SOUPS 3900247 WITH SCORE 3907818.565
AT ITER 1083 NEW BEST:: SOT 30637482 SOS 7570911 HAS SOPS 7570911 HAS SOUS 3899566 HAS SOUPS 3899566 WITH SCORE 3907136.911
AT ITER 1112 NEW BEST:: SOT 30634855 SOS 7568865 HAS SOPS 7568865 HAS SOUS 3895617 HAS SOUPS 3895617 WITH SCORE 3903185.865
AT ITER 1181 NEW BEST:: SOT 30633259 SOS 7567269 HAS SOPS 7567269 HAS SOUS 3892425 HAS SOUPS 3892425 WITH SCORE 3899992.269
AT ITER 1213 NEW BEST:: SOT 30633176 SOS 7567186 HAS SOPS 7567186 HAS SOUS 3892424 HAS SOUPS 3892424 WITH SCORE 3899991.186
AT ITER 1226 NEW BEST:: SOT 30632316 SOS 7566326 HAS SOPS 7566326 HAS SOUS 3891564 HAS SOUPS 3891564 WITH SCORE 3899130.326
AT ITER 1250 NEW BEST:: SOT 30629340 SOS 7563696 HAS SOPS 7563696 HAS SOUS 3887598 HAS SOUPS 3887598 WITH SCORE 3895161.696
AT ITER 1257 NEW BEST:: SOT 30628309 SOS 7570913 HAS SOPS 7570913 HAS SOUS 3886567 HAS SOUPS 3886567 WITH SCORE 3894137.913
AT ITER 1258 NEW BEST:: SOT 30628010 SOS 7570305 HAS SOPS 7570305 HAS SOUS 3885968 HAS SOUPS 3885968 WITH SCORE 3893538.305
AT ITER 1284 NEW BEST:: SOT 30626653 SOS 7568948 HAS SOPS 7568948 HAS SOUS 3884611 HAS SOUPS 3884611 WITH SCORE 3892179.948
AT ITER 1307 NEW BEST:: SOT 30626373 SOS 7569225 HAS SOPS 7569225 HAS SOUS 3884330 HAS SOUPS 3884330 WITH SCORE 3891899.225
AT ITER 1341 NEW BEST:: SOT 30626195 SOS 7568869 HAS SOPS 7568869 HAS SOUS 3883912 HAS SOUPS 3883912 WITH SCORE 3891480.869
AT ITER 1354 NEW BEST:: SOT 30626648 SOS 7567066 HAS SOPS 7567066 HAS SOUS 3883711 HAS SOUPS 3883711 WITH SCORE 3891278.066
AT ITER 1356 NEW BEST:: SOT 30626224 SOS 7567900 HAS SOPS 7567900 HAS SOUS 3883285 HAS SOUPS 3883285 WITH SCORE 3890852.9
AT ITER 1359 NEW BEST:: SOT 30625834 SOS 7567120 HAS SOPS 7567120 HAS SOUS 3882895 HAS SOUPS 3882895 WITH SCORE 3890462.12
AT ITER 1415 NEW BEST:: SOT 30625834 SOS 7566774 HAS SOPS 7566774 HAS SOUS 3882722 HAS SOUPS 3882722 WITH SCORE 3890288.774
AT ITER 1426 NEW BEST:: SOT 30625347 SOS 7567258 HAS SOPS 7567258 HAS SOUS 3882234 HAS SOUPS 3882234 WITH SCORE 3889801.258
AT ITER 1462 NEW BEST:: SOT 30625096 SOS 7567750 HAS SOPS 7567750 HAS SOUS 3882233 HAS SOUPS 3882233 WITH SCORE 3889800.75
AT ITER 1474 NEW BEST:: SOT 30624365 SOS 7567740 HAS SOPS 7567740 HAS SOUS 3881668 HAS SOUPS 3881668 WITH SCORE 3889235.74
AT ITER 1478 NEW BEST:: SOT 30624173 SOS 7567548 HAS SOPS 7567548 HAS SOUS 3881476 HAS SOUPS 3881476 WITH SCORE 3889043.548
AT ITER 1486 NEW BEST:: SOT 30623087 SOS 7565376 HAS SOPS 7565376 HAS SOUS 3879304 HAS SOUPS 3879304 WITH SCORE 3886869.376
AT ITER 1488 NEW BEST:: SOT 30623087 SOS 7565319 HAS SOPS 7565319 HAS SOUS 3879246 HAS SOUPS 3879246 WITH SCORE 3886811.319
AT ITER 1515 NEW BEST:: SOT 30622157 SOS 7564389 HAS SOPS 7564389 HAS SOUS 3877386 HAS SOUPS 3877386 WITH SCORE 3884950.389
AT ITER 1538 NEW BEST:: SOT 30620888 SOS 7565658 HAS SOPS 7565658 HAS SOUS 3875889 HAS SOUPS 3875889 WITH SCORE 3883454.658
AT ITER 1551 NEW BEST:: SOT 30620275 SOS 7566069 HAS SOPS 7566069 HAS SOUS 3874455 HAS SOUPS 3874455 WITH SCORE 3882021.069
AT ITER 1570 NEW BEST:: SOT 30619581 SOS 7565371 HAS SOPS 7565371 HAS SOUS 3873760 HAS SOUPS 3873760 WITH SCORE 3881325.371
AT ITER 1577 NEW BEST:: SOT 30618337 SOS 7565960 HAS SOPS 7565960 HAS SOUS 3871271 HAS SOUPS 3871271 WITH SCORE 3878836.96
AT ITER 1581 NEW BEST:: SOT 30616537 SOS 7565440 HAS SOPS 7565440 HAS SOUS 3869471 HAS SOUPS 3869471 WITH SCORE 3877036.44
AT ITER 1582 NEW BEST:: SOT 30615807 SOS 7565437 HAS SOPS 7565437 HAS SOUS 3868010 HAS SOUPS 3868010 WITH SCORE 3875575.437
AT ITER 1596 NEW BEST:: SOT 30615006 SOS 7565063 HAS SOPS 7565063 HAS SOUS 3867636 HAS SOUPS 3867636 WITH SCORE 3875201.063
AT ITER 1635 NEW BEST:: SOT 30615006 SOS 7565485 HAS SOPS 7565485 HAS SOUS 3867635 HAS SOUPS 3867635 WITH SCORE 3875200.485
AT ITER 1642 NEW BEST:: SOT 30614790 SOS 7565482 HAS SOPS 7565482 HAS SOUS 3867634 HAS SOUPS 3867634 WITH SCORE 3875199.482
AT ITER 1675 NEW BEST:: SOT 30614790 SOS 7565422 HAS SOPS 7565422 HAS SOUS 3867634 HAS SOUPS 3867634 WITH SCORE 3875199.422
AT ITER 1699 NEW BEST:: SOT 30614373 SOS 7565005 HAS SOPS 7565005 HAS SOUS 3867217 HAS SOUPS 3867217 WITH SCORE 3874782.005
AT ITER 1701 NEW BEST:: SOT 30613578 SOS 7567431 HAS SOPS 7567431 HAS SOUS 3865626 HAS SOUPS 3865626 WITH SCORE 3873193.431
AT ITER 1706 NEW BEST:: SOT 30613151 SOS 7567448 HAS SOPS 7567448 HAS SOUS 3865047 HAS SOUPS 3865047 WITH SCORE 3872614.448
AT ITER 1735 NEW BEST:: SOT 30613313 SOS 7567350 HAS SOPS 7567350 HAS SOUS 3864789 HAS SOUPS 3864789 WITH SCORE 3872356.35
AT ITER 1762 NEW BEST:: SOT 30612347 SOS 7565418 HAS SOPS 7565418 HAS SOUS 3862857 HAS SOUPS 3862857 WITH SCORE 3870422.418
AT ITER 1776 NEW BEST:: SOT 30612151 SOS 7565806 HAS SOPS 7565806 HAS SOUS 3862856 HAS SOUPS 3862856 WITH SCORE 3870421.806
AT ITER 1788 NEW BEST:: SOT 30612000 SOS 7565655 HAS SOPS 7565655 HAS SOUS 3862705 HAS SOUPS 3862705 WITH SCORE 3870270.655
AT ITER 1798 NEW BEST:: SOT 30611513 SOS 7564681 HAS SOPS 7564681 HAS SOUS 3861526 HAS SOUPS 3861526 WITH SCORE 3869090.681
AT ITER 1803 NEW BEST:: SOT 30611205 SOS 7564270 HAS SOPS 7564270 HAS SOUS 3861115 HAS SOUPS 3861115 WITH SCORE 3868679.27
AT ITER 1816 NEW BEST:: SOT 30610547 SOS 7564928 HAS SOPS 7564928 HAS SOUS 3860231 HAS SOUPS 3860231 WITH SCORE 3867795.928
AT ITER 1830 NEW BEST:: SOT 30610413 SOS 7564392 HAS SOPS 7564392 HAS SOUS 3859963 HAS SOUPS 3859963 WITH SCORE 3867527.392
AT ITER 1855 NEW BEST:: SOT 30610413 SOS 7563962 HAS SOPS 7563962 HAS SOUS 3859748 HAS SOUPS 3859748 WITH SCORE 3867311.962
AT ITER 1891 NEW BEST:: SOT 30610139 SOS 7563959 HAS SOPS 7563959 HAS SOUS 3859747 HAS SOUPS 3859747 WITH SCORE 3867310.959
AT ITER 1899 NEW BEST:: SOT 30609736 SOS 7560731 HAS SOPS 7560731 HAS SOUS 3858940 HAS SOUPS 3858940 WITH SCORE 3866500.731
AT ITER 1909 NEW BEST:: SOT 30609664 SOS 7560587 HAS SOPS 7560587 HAS SOUS 3858859 HAS SOUPS 3858859 WITH SCORE 3866419.587
AT ITER 1929 NEW BEST:: SOT 30609193 SOS 7560583 HAS SOPS 7560583 HAS SOUS 3858858 HAS SOUPS 3858858 WITH SCORE 3866418.583
AT ITER 1961 NEW BEST:: SOT 30609192 SOS 7562172 HAS SOPS 7562172 HAS SOUS 3858855 HAS SOUPS 3858855 WITH SCORE 3866417.172
AT ITER 1983 NEW BEST:: SOT 30609062 SOS 7562042 HAS SOPS 7562042 HAS SOUS 3858725 HAS SOUPS 3858725 WITH SCORE 3866287.042
AT ITER 1987 NEW BEST:: SOT 30608976 SOS 7561870 HAS SOPS 7561870 HAS SOUS 3858553 HAS SOUPS 3858553 WITH SCORE 3866114.87
AT ITER 2013 NEW BEST:: SOT 30608949 SOS 7561816 HAS SOPS 7561816 HAS SOUS 3858499 HAS SOUPS 3858499 WITH SCORE 3866060.816
AT ITER 2060 NEW BEST:: SOT 30607879 SOS 7559676 HAS SOPS 7559676 HAS SOUS 3856086 HAS SOUPS 3856086 WITH SCORE 3863645.676
AT ITER 2148 NEW BEST:: SOT 30606958 SOS 7558919 HAS SOPS 7558919 HAS SOUS 3855165 HAS SOUPS 3855165 WITH SCORE 3862723.919
AT ITER 2170 NEW BEST:: SOT 30604264 SOS 7556627 HAS SOPS 7556627 HAS SOUS 3852873 HAS SOUPS 3852873 WITH SCORE 3860429.627
AT ITER 2176 NEW BEST:: SOT 30604264 SOS 7556627 HAS SOPS 7556627 HAS SOUS 3851382 HAS SOUPS 3851382 WITH SCORE 3858938.627
AT ITER 2179 NEW BEST:: SOT 30604229 SOS 7556862 HAS SOPS 7556862 HAS SOUS 3851311 HAS SOUPS 3851311 WITH SCORE 3858867.862
AT ITER 2197 NEW BEST:: SOT 30602567 SOS 7556031 HAS SOPS 7556031 HAS SOUS 3850480 HAS SOUPS 3850480 WITH SCORE 3858036.031
AT ITER 2206 NEW BEST:: SOT 30601845 SOS 7556021 HAS SOPS 7556021 HAS SOUS 3850303 HAS SOUPS 3850303 WITH SCORE 3857859.021
AT ITER 2220 NEW BEST:: SOT 30601844 SOS 7556019 HAS SOPS 7556019 HAS SOUS 3850301 HAS SOUPS 3850301 WITH SCORE 3857857.019
AT ITER 2226 NEW BEST:: SOT 30601806 SOS 7555830 HAS SOPS 7555830 HAS SOUS 3850112 HAS SOUPS 3850112 WITH SCORE 3857667.83
AT ITER 2251 NEW BEST:: SOT 30601307 SOS 7543510 HAS SOPS 7543510 HAS SOUS 3849114 HAS SOUPS 3849114 WITH SCORE 3856657.51
AT ITER 2255 NEW BEST:: SOT 30601699 SOS 7542726 HAS SOPS 7542726 HAS SOUS 3849114 HAS SOUPS 3849114 WITH SCORE 3856656.726
AT ITER 2282 NEW BEST:: SOT 30601511 SOS 7541974 HAS SOPS 7541974 HAS SOUS 3848738 HAS SOUPS 3848738 WITH SCORE 3856279.974
AT ITER 2285 NEW BEST:: SOT 30600738 SOS 7541201 HAS SOPS 7541201 HAS SOUS 3847965 HAS SOUPS 3847965 WITH SCORE 3855506.201
AT ITER 2288 NEW BEST:: SOT 30599984 SOS 7541952 HAS SOPS 7541952 HAS SOUS 3847210 HAS SOUPS 3847210 WITH SCORE 3854751.952
AT ITER 2366 NEW BEST:: SOT 30599806 SOS 7540524 HAS SOPS 7540524 HAS SOUS 3846853 HAS SOUPS 3846853 WITH SCORE 3854393.524
AT ITER 2388 NEW BEST:: SOT 30597273 SOS 7537439 HAS SOPS 7537439 HAS SOUS 3844320 HAS SOUPS 3844320 WITH SCORE 3851857.439
AT ITER 2406 NEW BEST:: SOT 30597273 SOS 7537701 HAS SOPS 7537701 HAS SOUS 3844319 HAS SOUPS 3844319 WITH SCORE 3851856.701
AT ITER 2412 NEW BEST:: SOT 30596928 SOS 7538757 HAS SOPS 7538757 HAS SOUS 3843931 HAS SOUPS 3843931 WITH SCORE 3851469.757
AT ITER 2428 NEW BEST:: SOT 30596926 SOS 7538753 HAS SOPS 7538753 HAS SOUS 3843927 HAS SOUPS 3843927 WITH SCORE 3851465.753
AT ITER 2438 NEW BEST:: SOT 30595973 SOS 7538750 HAS SOPS 7538750 HAS SOUS 3842020 HAS SOUPS 3842020 WITH SCORE 3849558.75
AT ITER 2440 NEW BEST:: SOT 30595237 SOS 7539524 HAS SOPS 7539524 HAS SOUS 3840880 HAS SOUPS 3840880 WITH SCORE 3848419.524
AT ITER 2457 NEW BEST:: SOT 30595381 SOS 7539812 HAS SOPS 7539812 HAS SOUS 3839927 HAS SOUPS 3839927 WITH SCORE 3847466.812
AT ITER 2478 NEW BEST:: SOT 30594704 SOS 7539131 HAS SOPS 7539131 HAS SOUS 3839249 HAS SOUPS 3839249 WITH SCORE 3846788.131
AT ITER 2479 NEW BEST:: SOT 30594823 SOS 7539369 HAS SOPS 7539369 HAS SOUS 3838304 HAS SOUPS 3838304 WITH SCORE 3845843.369
AT ITER 2482 NEW BEST:: SOT 30590983 SOS 7535529 HAS SOPS 7535529 HAS SOUS 3835424 HAS SOUPS 3835424 WITH SCORE 3842959.529
AT ITER 2497 NEW BEST:: SOT 30590929 SOS 7535907 HAS SOPS 7535907 HAS SOUS 3835316 HAS SOUPS 3835316 WITH SCORE 3842851.907
AT ITER 2507 NEW BEST:: SOT 30590798 SOS 7535907 HAS SOPS 7535907 HAS SOUS 3835185 HAS SOUPS 3835185 WITH SCORE 3842720.907
AT ITER 2527 NEW BEST:: SOT 30589838 SOS 7534944 HAS SOPS 7534944 HAS SOUS 3834224 HAS SOUPS 3834224 WITH SCORE 3841758.944
AT ITER 2538 NEW BEST:: SOT 30588767 SOS 7532802 HAS SOPS 7532802 HAS SOUS 3832082 HAS SOUPS 3832082 WITH SCORE 3839614.802
AT ITER 2543 NEW BEST:: SOT 30588635 SOS 7532801 HAS SOPS 7532801 HAS SOUS 3832081 HAS SOUPS 3832081 WITH SCORE 3839613.801
AT ITER 2562 NEW BEST:: SOT 30588635 SOS 7531811 HAS SOPS 7531811 HAS SOUS 3831751 HAS SOUPS 3831751 WITH SCORE 3839282.811
AT ITER 2573 NEW BEST:: SOT 30588635 SOS 7533484 HAS SOPS 7533484 HAS SOUS 3831747 HAS SOUPS 3831747 WITH SCORE 3839280.484
AT ITER 2578 NEW BEST:: SOT 30588635 SOS 7531888 HAS SOPS 7531888 HAS SOUS 3831747 HAS SOUPS 3831747 WITH SCORE 3839278.888
AT ITER 2597 NEW BEST:: SOT 30588430 SOS 7531973 HAS SOPS 7531973 HAS SOUS 3831047 HAS SOUPS 3831047 WITH SCORE 3838578.973
AT ITER 2599 NEW BEST:: SOT 30588251 SOS 7531615 HAS SOPS 7531615 HAS SOUS 3830689 HAS SOUPS 3830689 WITH SCORE 3838220.615
AT ITER 2606 NEW BEST:: SOT 30588251 SOS 7532970 HAS SOPS 7532970 HAS SOUS 3830687 HAS SOUPS 3830687 WITH SCORE 3838219.97
AT ITER 2628 NEW BEST:: SOT 30588251 SOS 7533552 HAS SOPS 7533552 HAS SOUS 3830685 HAS SOUPS 3830685 WITH SCORE 3838218.552
AT ITER 2633 NEW BEST:: SOT 30588227 SOS 7533591 HAS SOPS 7533591 HAS SOUS 3830661 HAS SOUPS 3830661 WITH SCORE 3838194.591
AT ITER 2679 NEW BEST:: SOT 30588043 SOS 7533588 HAS SOPS 7533588 HAS SOUS 3830660 HAS SOUPS 3830660 WITH SCORE 3838193.588
AT ITER 2680 NEW BEST:: SOT 30587425 SOS 7532658 HAS SOPS 7532658 HAS SOUS 3830041 HAS SOUPS 3830041 WITH SCORE 3837573.658
AT ITER 2681 NEW BEST:: SOT 30586274 SOS 7530356 HAS SOPS 7530356 HAS SOUS 3828108 HAS SOUPS 3828108 WITH SCORE 3835638.356
AT ITER 2704 NEW BEST:: SOT 30585412 SOS 7529784 HAS SOPS 7529784 HAS SOUS 3827536 HAS SOUPS 3827536 WITH SCORE 3835065.784
AT ITER 2707 NEW BEST:: SOT 30584524 SOS 7527772 HAS SOPS 7527772 HAS SOUS 3826367 HAS SOUPS 3826367 WITH SCORE 3833894.772
AT ITER 2714 NEW BEST:: SOT 30584492 SOS 7527708 HAS SOPS 7527708 HAS SOUS 3826335 HAS SOUPS 3826335 WITH SCORE 3833862.708
AT ITER 2733 NEW BEST:: SOT 30582888 SOS 7527525 HAS SOPS 7527525 HAS SOUS 3826152 HAS SOUPS 3826152 WITH SCORE 3833679.525
AT ITER 2747 NEW BEST:: SOT 30582825 SOS 7527502 HAS SOPS 7527502 HAS SOUS 3826129 HAS SOUPS 3826129 WITH SCORE 3833656.502
AT ITER 2753 NEW BEST:: SOT 30582825 SOS 7525954 HAS SOPS 7525954 HAS SOUS 3826129 HAS SOUPS 3826129 WITH SCORE 3833654.954
AT ITER 2798 NEW BEST:: SOT 30581052 SOS 7524181 HAS SOPS 7524181 HAS SOUS 3824356 HAS SOUPS 3824356 WITH SCORE 3831880.181
AT ITER 2802 NEW BEST:: SOT 30580856 SOS 7523789 HAS SOPS 7523789 HAS SOUS 3824159 HAS SOUPS 3824159 WITH SCORE 3831682.789
AT ITER 2828 NEW BEST:: SOT 30580049 SOS 7523459 HAS SOPS 7523459 HAS SOUS 3823829 HAS SOUPS 3823829 WITH SCORE 3831352.459
AT ITER 2830 NEW BEST:: SOT 30579977 SOS 7523411 HAS SOPS 7523411 HAS SOUS 3823781 HAS SOUPS 3823781 WITH SCORE 3831304.411
AT ITER 2832 NEW BEST:: SOT 30578989 SOS 7522419 HAS SOPS 7522419 HAS SOUS 3822792 HAS SOUPS 3822792 WITH SCORE 3830314.419
AT ITER 2837 NEW BEST:: SOT 30579221 SOS 7520641 HAS SOPS 7520641 HAS SOUS 3822135 HAS SOUPS 3822135 WITH SCORE 3829655.641
AT ITER 2840 NEW BEST:: SOT 30578648 SOS 7519495 HAS SOPS 7519495 HAS SOUS 3821388 HAS SOUPS 3821388 WITH SCORE 3828907.495
AT ITER 2841 NEW BEST:: SOT 30576606 SOS 7521438 HAS SOPS 7521438 HAS SOUS 3820792 HAS SOUPS 3820792 WITH SCORE 3828313.438
AT ITER 2842 NEW BEST:: SOT 30576519 SOS 7522134 HAS SOPS 7522134 HAS SOUS 3820705 HAS SOUPS 3820705 WITH SCORE 3828227.134
AT ITER 2863 NEW BEST:: SOT 30575808 SOS 7520643 HAS SOPS 7520643 HAS SOUS 3820333 HAS SOUPS 3820333 WITH SCORE 3827853.643
AT ITER 2870 NEW BEST:: SOT 30575808 SOS 7520602 HAS SOPS 7520602 HAS SOUS 3820292 HAS SOUPS 3820292 WITH SCORE 3827812.602
AT ITER 2880 NEW BEST:: SOT 30575795 SOS 7520576 HAS SOPS 7520576 HAS SOUS 3820279 HAS SOUPS 3820279 WITH SCORE 3827799.576
AT ITER 2945 NEW BEST:: SOT 30576231 SOS 7520285 HAS SOPS 7520285 HAS SOUS 3819988 HAS SOUPS 3819988 WITH SCORE 3827508.285
AT ITER 2955 NEW BEST:: SOT 30575607 SOS 7520899 HAS SOPS 7520899 HAS SOUS 3819423 HAS SOUPS 3819423 WITH SCORE 3826943.899
AT ITER 2956 NEW BEST:: SOT 30574685 SOS 7520899 HAS SOPS 7520899 HAS SOUS 3817950 HAS SOUPS 3817950 WITH SCORE 3825470.899
AT ITER 2967 NEW BEST:: SOT 30574685 SOS 7522737 HAS SOPS 7522737 HAS SOUS 3817335 HAS SOUPS 3817335 WITH SCORE 3824857.737
AT ITER 3004 NEW BEST:: SOT 30574062 SOS 7523360 HAS SOPS 7523360 HAS SOUS 3816712 HAS SOUPS 3816712 WITH SCORE 3824235.36
AT ITER 3005 NEW BEST:: SOT 30573591 SOS 7523831 HAS SOPS 7523831 HAS SOUS 3816241 HAS SOUPS 3816241 WITH SCORE 3823764.831
AT ITER 3011 NEW BEST:: SOT 30573591 SOS 7522727 HAS SOPS 7522727 HAS SOUS 3815873 HAS SOUPS 3815873 WITH SCORE 3823395.727
AT ITER 3014 NEW BEST:: SOT 30573591 SOS 7523204 HAS SOPS 7523204 HAS SOUS 3815872 HAS SOUPS 3815872 WITH SCORE 3823395.204
AT ITER 3027 NEW BEST:: SOT 30573297 SOS 7525048 HAS SOPS 7525048 HAS SOUS 3815543 HAS SOUPS 3815543 WITH SCORE 3823068.048
AT ITER 3043 NEW BEST:: SOT 30571402 SOS 7526474 HAS SOPS 7526474 HAS SOUS 3814070 HAS SOUPS 3814070 WITH SCORE 3821596.474
AT ITER 3066 NEW BEST:: SOT 30571402 SOS 7524920 HAS SOPS 7524920 HAS SOUS 3813552 HAS SOUPS 3813552 WITH SCORE 3821076.92
AT ITER 3068 NEW BEST:: SOT 30571126 SOS 7524368 HAS SOPS 7524368 HAS SOUS 3813275 HAS SOUPS 3813275 WITH SCORE 3820799.368
AT ITER 3078 NEW BEST:: SOT 30570780 SOS 7524714 HAS SOPS 7524714 HAS SOUS 3812929 HAS SOUPS 3812929 WITH SCORE 3820453.714
AT ITER 3087 NEW BEST:: SOT 30570779 SOS 7524712 HAS SOPS 7524712 HAS SOUS 3812927 HAS SOUPS 3812927 WITH SCORE 3820451.712
AT ITER 3095 NEW BEST:: SOT 30570779 SOS 7524712 HAS SOPS 7524712 HAS SOUS 3812465 HAS SOUPS 3812465 WITH SCORE 3819989.712
AT ITER 3117 NEW BEST:: SOT 30570599 SOS 7524892 HAS SOPS 7524892 HAS SOUS 3812285 HAS SOUPS 3812285 WITH SCORE 3819809.892
AT ITER 3124 NEW BEST:: SOT 30570599 SOS 7523623 HAS SOPS 7523623 HAS SOUS 3812284 HAS SOUPS 3812284 WITH SCORE 3819807.623
AT ITER 3152 NEW BEST:: SOT 30570720 SOS 7523381 HAS SOPS 7523381 HAS SOUS 3812163 HAS SOUPS 3812163 WITH SCORE 3819686.381
AT ITER 3179 NEW BEST:: SOT 30570720 SOS 7523831 HAS SOPS 7523831 HAS SOUS 3812161 HAS SOUPS 3812161 WITH SCORE 3819684.831
AT ITER 3192 NEW BEST:: SOT 30570720 SOS 7523702 HAS SOPS 7523702 HAS SOUS 3812161 HAS SOUPS 3812161 WITH SCORE 3819684.702
AT ITER 3193 NEW BEST:: SOT 30570720 SOS 7523054 HAS SOPS 7523054 HAS SOUS 3811513 HAS SOUPS 3811513 WITH SCORE 3819036.054
AT ITER 3204 NEW BEST:: SOT 30569240 SOS 7520094 HAS SOPS 7520094 HAS SOUS 3808553 HAS SOUPS 3808553 WITH SCORE 3816073.094
AT ITER 3211 NEW BEST:: SOT 30569240 SOS 7520091 HAS SOPS 7520091 HAS SOUS 3808552 HAS SOUPS 3808552 WITH SCORE 3816072.091
AT ITER 3227 NEW BEST:: SOT 30569240 SOS 7524464 HAS SOPS 7524464 HAS SOUS 3808520 HAS SOUPS 3808520 WITH SCORE 3816044.464
AT ITER 3239 NEW BEST:: SOT 30568894 SOS 7524118 HAS SOPS 7524118 HAS SOUS 3808174 HAS SOUPS 3808174 WITH SCORE 3815698.118
AT ITER 3271 NEW BEST:: SOT 30566913 SOS 7516132 HAS SOPS 7516132 HAS SOUS 3804212 HAS SOUPS 3804212 WITH SCORE 3811728.132
AT ITER 3280 NEW BEST:: SOT 30566210 SOS 7521187 HAS SOPS 7521187 HAS SOUS 3802805 HAS SOUPS 3802805 WITH SCORE 3810326.187
AT ITER 3284 NEW BEST:: SOT 30566049 SOS 7520704 HAS SOPS 7520704 HAS SOUS 3802483 HAS SOUPS 3802483 WITH SCORE 3810003.704
AT ITER 3291 NEW BEST:: SOT 30566078 SOS 7520034 HAS SOPS 7520034 HAS SOUS 3801784 HAS SOUPS 3801784 WITH SCORE 3809304.034
AT ITER 3297 NEW BEST:: SOT 30565232 SOS 7519185 HAS SOPS 7519185 HAS SOUS 3800937 HAS SOUPS 3800937 WITH SCORE 3808456.185
AT ITER 3318 NEW BEST:: SOT 30564217 SOS 7518169 HAS SOPS 7518169 HAS SOUS 3799921 HAS SOUPS 3799921 WITH SCORE 3807439.169
AT ITER 3331 NEW BEST:: SOT 30563413 SOS 7521626 HAS SOPS 7521626 HAS SOUS 3799282 HAS SOUPS 3799282 WITH SCORE 3806803.626
AT ITER 3336 NEW BEST:: SOT 30563413 SOS 7521510 HAS SOPS 7521510 HAS SOUS 3799166 HAS SOUPS 3799166 WITH SCORE 3806687.51
AT ITER 3351 NEW BEST:: SOT 30563349 SOS 7521378 HAS SOPS 7521378 HAS SOUS 3799037 HAS SOUPS 3799037 WITH SCORE 3806558.378
AT ITER 3364 NEW BEST:: SOT 30562750 SOS 7520814 HAS SOPS 7520814 HAS SOUS 3798473 HAS SOUPS 3798473 WITH SCORE 3805993.814
AT ITER 3388 NEW BEST:: SOT 30562417 SOS 7517496 HAS SOPS 7517496 HAS SOUS 3798137 HAS SOUPS 3798137 WITH SCORE 3805654.496
AT ITER 3393 NEW BEST:: SOT 30562417 SOS 7517495 HAS SOPS 7517495 HAS SOUS 3798135 HAS SOUPS 3798135 WITH SCORE 3805652.495
AT ITER 3395 NEW BEST:: SOT 30562205 SOS 7517492 HAS SOPS 7517492 HAS SOUS 3798134 HAS SOUPS 3798134 WITH SCORE 3805651.492
AT ITER 3401 NEW BEST:: SOT 30561739 SOS 7516560 HAS SOPS 7516560 HAS SOUS 3796568 HAS SOUPS 3796568 WITH SCORE 3804084.56
AT ITER 3403 NEW BEST:: SOT 30560926 SOS 7514934 HAS SOPS 7514934 HAS SOUS 3794942 HAS SOUPS 3794942 WITH SCORE 3802456.934
AT ITER 3408 NEW BEST:: SOT 30560466 SOS 7514704 HAS SOPS 7514704 HAS SOUS 3794712 HAS SOUPS 3794712 WITH SCORE 3802226.704
AT ITER 3423 NEW BEST:: SOT 30560239 SOS 7503189 HAS SOPS 7503189 HAS SOUS 3794272 HAS SOUPS 3794272 WITH SCORE 3801775.189
AT ITER 3460 NEW BEST:: SOT 30560238 SOS 7503187 HAS SOPS 7503187 HAS SOUS 3794270 HAS SOUPS 3794270 WITH SCORE 3801773.187
AT ITER 3480 NEW BEST:: SOT 30559968 SOS 7502647 HAS SOPS 7502647 HAS SOUS 3793730 HAS SOUPS 3793730 WITH SCORE 3801232.647
AT ITER 3517 NEW BEST:: SOT 30559938 SOS 7502677 HAS SOPS 7502677 HAS SOUS 3793700 HAS SOUPS 3793700 WITH SCORE 3801202.677
AT ITER 3519 NEW BEST:: SOT 30559938 SOS 7502318 HAS SOPS 7502318 HAS SOUS 3793341 HAS SOUPS 3793341 WITH SCORE 3800843.318
AT ITER 3521 NEW BEST:: SOT 30559884 SOS 7502308 HAS SOPS 7502308 HAS SOUS 3793340 HAS SOUPS 3793340 WITH SCORE 3800842.308
AT ITER 3525 NEW BEST:: SOT 30558927 SOS 7501609 HAS SOPS 7501609 HAS SOUS 3792383 HAS SOUPS 3792383 WITH SCORE 3799884.609
AT ITER 3567 NEW BEST:: SOT 30558318 SOS 7499173 HAS SOPS 7499173 HAS SOUS 3791773 HAS SOUPS 3791773 WITH SCORE 3799272.173
AT ITER 3576 NEW BEST:: SOT 30557117 SOS 7499081 HAS SOPS 7499081 HAS SOUS 3791681 HAS SOUPS 3791681 WITH SCORE 3799180.081
AT ITER 3591 NEW BEST:: SOT 30556383 SOS 7498134 HAS SOPS 7498134 HAS SOUS 3790734 HAS SOUPS 3790734 WITH SCORE 3798232.134
AT ITER 3606 NEW BEST:: SOT 30555566 SOS 7497313 HAS SOPS 7497313 HAS SOUS 3789916 HAS SOUPS 3789916 WITH SCORE 3797413.313
AT ITER 3643 NEW BEST:: SOT 30552844 SOS 7500714 HAS SOPS 7500714 HAS SOUS 3787305 HAS SOUPS 3787305 WITH SCORE 3794805.714
AT ITER 3666 NEW BEST:: SOT 30552717 SOS 7500587 HAS SOPS 7500587 HAS SOUS 3787178 HAS SOUPS 3787178 WITH SCORE 3794678.587
AT ITER 3682 NEW BEST:: SOT 30552277 SOS 7500460 HAS SOPS 7500460 HAS SOUS 3787051 HAS SOUPS 3787051 WITH SCORE 3794551.46
AT ITER 3703 NEW BEST:: SOT 30552277 SOS 7498579 HAS SOPS 7498579 HAS SOUS 3786439 HAS SOUPS 3786439 WITH SCORE 3793937.579
AT ITER 3717 NEW BEST:: SOT 30552331 SOS 7501926 HAS SOPS 7501926 HAS SOUS 3785256 HAS SOUPS 3785256 WITH SCORE 3792757.926
AT ITER 3718 NEW BEST:: SOT 30551218 SOS 7502181 HAS SOPS 7502181 HAS SOUS 3782759 HAS SOUPS 3782759 WITH SCORE 3790261.181
AT ITER 3746 NEW BEST:: SOT 30549033 SOS 7498928 HAS SOPS 7498928 HAS SOUS 3779476 HAS SOUPS 3779476 WITH SCORE 3786974.928
AT ITER 3764 NEW BEST:: SOT 30548811 SOS 7498903 HAS SOPS 7498903 HAS SOUS 3779253 HAS SOUPS 3779253 WITH SCORE 3786751.903
AT ITER 3767 NEW BEST:: SOT 30548795 SOS 7498871 HAS SOPS 7498871 HAS SOUS 3778542 HAS SOUPS 3778542 WITH SCORE 3786040.871
AT ITER 3771 NEW BEST:: SOT 30547284 SOS 7498867 HAS SOPS 7498867 HAS SOUS 3778037 HAS SOUPS 3778037 WITH SCORE 3785535.867
AT ITER 3775 NEW BEST:: SOT 30546954 SOS 7498207 HAS SOPS 7498207 HAS SOUS 3777707 HAS SOUPS 3777707 WITH SCORE 3785205.207
AT ITER 3829 NEW BEST:: SOT 30546954 SOS 7498080 HAS SOPS 7498080 HAS SOUS 3777707 HAS SOUPS 3777707 WITH SCORE 3785205.08
AT ITER 3833 NEW BEST:: SOT 30545981 SOS 7497105 HAS SOPS 7497105 HAS SOUS 3777703 HAS SOUPS 3777703 WITH SCORE 3785200.105
AT ITER 3847 NEW BEST:: SOT 30545768 SOS 7497782 HAS SOPS 7497782 HAS SOUS 3777489 HAS SOUPS 3777489 WITH SCORE 3784986.782
AT ITER 3850 NEW BEST:: SOT 30545768 SOS 7497772 HAS SOPS 7497772 HAS SOUS 3777488 HAS SOUPS 3777488 WITH SCORE 3784985.772
AT ITER 3851 NEW BEST:: SOT 30545799 SOS 7497831 HAS SOPS 7497831 HAS SOUS 3777487 HAS SOUPS 3777487 WITH SCORE 3784984.831
AT ITER 3867 NEW BEST:: SOT 30545488 SOS 7496567 HAS SOPS 7496567 HAS SOUS 3775892 HAS SOUPS 3775892 WITH SCORE 3783388.567
AT ITER 3886 NEW BEST:: SOT 30544835 SOS 7496725 HAS SOPS 7496725 HAS SOUS 3775651 HAS SOUPS 3775651 WITH SCORE 3783147.725
AT ITER 3897 NEW BEST:: SOT 30544801 SOS 7496657 HAS SOPS 7496657 HAS SOUS 3775583 HAS SOUPS 3775583 WITH SCORE 3783079.657
AT ITER 3939 NEW BEST:: SOT 30544907 SOS 7497370 HAS SOPS 7497370 HAS SOUS 3775399 HAS SOUPS 3775399 WITH SCORE 3782896.37
AT ITER 3974 NEW BEST:: SOT 30544886 SOS 7497391 HAS SOPS 7497391 HAS SOUS 3775378 HAS SOUPS 3775378 WITH SCORE 3782875.391
AT ITER 3999 NEW BEST:: SOT 30543360 SOS 7495865 HAS SOPS 7495865 HAS SOUS 3773852 HAS SOUPS 3773852 WITH SCORE 3781347.865
AT ITER 4007 NEW BEST:: SOT 30543819 SOS 7494947 HAS SOPS 7494947 HAS SOUS 3773852 HAS SOUPS 3773852 WITH SCORE 3781346.947
AT ITER 4054 NEW BEST:: SOT 30543819 SOS 7497013 HAS SOPS 7497013 HAS SOUS 3773505 HAS SOUPS 3773505 WITH SCORE 3781002.013
AT ITER 4055 NEW BEST:: SOT 30543819 SOS 7496959 HAS SOPS 7496959 HAS SOUS 3773397 HAS SOUPS 3773397 WITH SCORE 3780893.959
AT ITER 4084 NEW BEST:: SOT 30543819 SOS 7496959 HAS SOPS 7496959 HAS SOUS 3773396 HAS SOUPS 3773396 WITH SCORE 3780892.959
AT ITER 4085 NEW BEST:: SOT 30542205 SOS 7496158 HAS SOPS 7496158 HAS SOUS 3772591 HAS SOUPS 3772591 WITH SCORE 3780087.158
AT ITER 4133 NEW BEST:: SOT 30542205 SOS 7496118 HAS SOPS 7496118 HAS SOUS 3772551 HAS SOUPS 3772551 WITH SCORE 3780047.118
AT ITER 4141 NEW BEST:: SOT 30541923 SOS 7493862 HAS SOPS 7493862 HAS SOUS 3772551 HAS SOUPS 3772551 WITH SCORE 3780044.862
AT ITER 4150 NEW BEST:: SOT 30541804 SOS 7493624 HAS SOPS 7493624 HAS SOUS 3772313 HAS SOUPS 3772313 WITH SCORE 3779806.624
AT ITER 4161 NEW BEST:: SOT 30541804 SOS 7493620 HAS SOPS 7493620 HAS SOUS 3772309 HAS SOUPS 3772309 WITH SCORE 3779802.62
AT ITER 4162 NEW BEST:: SOT 30541721 SOS 7493288 HAS SOPS 7493288 HAS SOUS 3772226 HAS SOUPS 3772226 WITH SCORE 3779719.288
AT ITER 4166 NEW BEST:: SOT 30541623 SOS 7495272 HAS SOPS 7495272 HAS SOUS 3772029 HAS SOUPS 3772029 WITH SCORE 3779524.272
AT ITER 4190 NEW BEST:: SOT 30540506 SOS 7494998 HAS SOPS 7494998 HAS SOUS 3771755 HAS SOUPS 3771755 WITH SCORE 3779249.998
AT ITER 4215 NEW BEST:: SOT 30540543 SOS 7495195 HAS SOPS 7495195 HAS SOUS 3771238 HAS SOUPS 3771238 WITH SCORE 3778733.195
AT ITER 4245 NEW BEST:: SOT 30540611 SOS 7494948 HAS SOPS 7494948 HAS SOUS 3770991 HAS SOUPS 3770991 WITH SCORE 3778485.948
AT ITER 4262 NEW BEST:: SOT 30538763 SOS 7494006 HAS SOPS 7494006 HAS SOUS 3769608 HAS SOUPS 3769608 WITH SCORE 3777102.006
AT ITER 4265 NEW BEST:: SOT 30537678 SOS 7493572 HAS SOPS 7493572 HAS SOUS 3768741 HAS SOUPS 3768741 WITH SCORE 3776234.572
AT ITER 4297 NEW BEST:: SOT 30537678 SOS 7493144 HAS SOPS 7493144 HAS SOUS 3768313 HAS SOUPS 3768313 WITH SCORE 3775806.144
AT ITER 4314 NEW BEST:: SOT 30537628 SOS 7492744 HAS SOPS 7492744 HAS SOUS 3768213 HAS SOUPS 3768213 WITH SCORE 3775705.744
AT ITER 4339 NEW BEST:: SOT 30537431 SOS 7492547 HAS SOPS 7492547 HAS SOUS 3768016 HAS SOUPS 3768016 WITH SCORE 3775508.547
AT ITER 4341 NEW BEST:: SOT 30537251 SOS 7492187 HAS SOPS 7492187 HAS SOUS 3767836 HAS SOUPS 3767836 WITH SCORE 3775328.187
AT ITER 4343 NEW BEST:: SOT 30535982 SOS 7489649 HAS SOPS 7489649 HAS SOUS 3766378 HAS SOUPS 3766378 WITH SCORE 3773867.649
AT ITER 4353 NEW BEST:: SOT 30535617 SOS 7488189 HAS SOPS 7488189 HAS SOUS 3765648 HAS SOUPS 3765648 WITH SCORE 3773136.189
AT ITER 4358 NEW BEST:: SOT 30535652 SOS 7486858 HAS SOPS 7486858 HAS SOUS 3765233 HAS SOUPS 3765233 WITH SCORE 3772719.858
AT ITER 4393 NEW BEST:: SOT 30535652 SOS 7485736 HAS SOPS 7485736 HAS SOUS 3764859 HAS SOUPS 3764859 WITH SCORE 3772344.736
AT ITER 4419 NEW BEST:: SOT 30535415 SOS 7485733 HAS SOPS 7485733 HAS SOUS 3764858 HAS SOUPS 3764858 WITH SCORE 3772343.733
AT ITER 4440 NEW BEST:: SOT 30535624 SOS 7486151 HAS SOPS 7486151 HAS SOUS 3763558 HAS SOUPS 3763558 WITH SCORE 3771044.151
AT ITER 4454 NEW BEST:: SOT 30535455 SOS 7485813 HAS SOPS 7485813 HAS SOUS 3763389 HAS SOUPS 3763389 WITH SCORE 3770874.813
AT ITER 4455 NEW BEST:: SOT 30535274 SOS 7485631 HAS SOPS 7485631 HAS SOUS 3763357 HAS SOUPS 3763357 WITH SCORE 3770842.631
AT ITER 4483 NEW BEST:: SOT 30534570 SOS 7484876 HAS SOPS 7484876 HAS SOUS 3761874 HAS SOUPS 3761874 WITH SCORE 3769358.876
AT ITER 4512 NEW BEST:: SOT 30534570 SOS 7486767 HAS SOPS 7486767 HAS SOUS 3760926 HAS SOUPS 3760926 WITH SCORE 3768412.767
AT ITER 4527 NEW BEST:: SOT 30534466 SOS 7486663 HAS SOPS 7486663 HAS SOUS 3760822 HAS SOUPS 3760822 WITH SCORE 3768308.663
AT ITER 4556 NEW BEST:: SOT 30534268 SOS 7487209 HAS SOPS 7487209 HAS SOUS 3760426 HAS SOUPS 3760426 WITH SCORE 3767913.209
AT ITER 4573 NEW BEST:: SOT 30534349 SOS 7487371 HAS SOPS 7487371 HAS SOUS 3760180 HAS SOUPS 3760180 WITH SCORE 3767667.371
AT ITER 4574 NEW BEST:: SOT 30534349 SOS 7487371 HAS SOPS 7487371 HAS SOUS 3760090 HAS SOUPS 3760090 WITH SCORE 3767577.371
AT ITER 4605 NEW BEST:: SOT 30534086 SOS 7486841 HAS SOPS 7486841 HAS SOUS 3759826 HAS SOUPS 3759826 WITH SCORE 3767312.841
AT ITER 4606 NEW BEST:: SOT 30533883 SOS 7486434 HAS SOPS 7486434 HAS SOUS 3758742 HAS SOUPS 3758742 WITH SCORE 3766228.434
AT ITER 4610 NEW BEST:: SOT 30533883 SOS 7486632 HAS SOPS 7486632 HAS SOUS 3758741 HAS SOUPS 3758741 WITH SCORE 3766227.632
AT ITER 4637 NEW BEST:: SOT 30533500 SOS 7489313 HAS SOPS 7489313 HAS SOUS 3758358 HAS SOUPS 3758358 WITH SCORE 3765847.313
AT ITER 4644 NEW BEST:: SOT 30532492 SOS 7488305 HAS SOPS 7488305 HAS SOUS 3757350 HAS SOUPS 3757350 WITH SCORE 3764838.305
AT ITER 4664 NEW BEST:: SOT 30532492 SOS 7486928 HAS SOPS 7486928 HAS SOUS 3757349 HAS SOUPS 3757349 WITH SCORE 3764835.928
AT ITER 4674 NEW BEST:: SOT 30532447 SOS 7493578 HAS SOPS 7493578 HAS SOUS 3756655 HAS SOUPS 3756655 WITH SCORE 3764148.578
AT ITER 4680 NEW BEST:: SOT 30532447 SOS 7493050 HAS SOPS 7493050 HAS SOUS 3756655 HAS SOUPS 3756655 WITH SCORE 3764148.05
AT ITER 4695 NEW BEST:: SOT 30530714 SOS 7497289 HAS SOPS 7497289 HAS SOUS 3756088 HAS SOUPS 3756088 WITH SCORE 3763585.289
AT ITER 4711 NEW BEST:: SOT 30531187 SOS 7497733 HAS SOPS 7497733 HAS SOUS 3756060 HAS SOUPS 3756060 WITH SCORE 3763557.733
AT ITER 4751 NEW BEST:: SOT 30530499 SOS 7496357 HAS SOPS 7496357 HAS SOUS 3754674 HAS SOUPS 3754674 WITH SCORE 3762170.357
AT ITER 4766 NEW BEST:: SOT 30530024 SOS 7496828 HAS SOPS 7496828 HAS SOUS 3753723 HAS SOUPS 3753723 WITH SCORE 3761219.828
AT ITER 4781 NEW BEST:: SOT 30530024 SOS 7497514 HAS SOPS 7497514 HAS SOUS 3753721 HAS SOUPS 3753721 WITH SCORE 3761218.514
AT ITER 4785 NEW BEST:: SOT 30528829 SOS 7496210 HAS SOPS 7496210 HAS SOUS 3751440 HAS SOUPS 3751440 WITH SCORE 3758936.21
AT ITER 4788 NEW BEST:: SOT 30529157 SOS 7496866 HAS SOPS 7496866 HAS SOUS 3750727 HAS SOUPS 3750727 WITH SCORE 3758223.866
AT ITER 4795 NEW BEST:: SOT 30528629 SOS 7497384 HAS SOPS 7497384 HAS SOUS 3750198 HAS SOUPS 3750198 WITH SCORE 3757695.384
AT ITER 4817 NEW BEST:: SOT 30528629 SOS 7496160 HAS SOPS 7496160 HAS SOUS 3750197 HAS SOUPS 3750197 WITH SCORE 3757693.16
AT ITER 4847 NEW BEST:: SOT 30528629 SOS 7494894 HAS SOPS 7494894 HAS SOUS 3749775 HAS SOUPS 3749775 WITH SCORE 3757269.894
AT ITER 4848 NEW BEST:: SOT 30528071 SOS 7494057 HAS SOPS 7494057 HAS SOUS 3748938 HAS SOUPS 3748938 WITH SCORE 3756432.057
AT ITER 4871 NEW BEST:: SOT 30527767 SOS 7493449 HAS SOPS 7493449 HAS SOUS 3748330 HAS SOUPS 3748330 WITH SCORE 3755823.449
AT ITER 4895 NEW BEST:: SOT 30527766 SOS 7493447 HAS SOPS 7493447 HAS SOUS 3748328 HAS SOUPS 3748328 WITH SCORE 3755821.447
AT ITER 4899 NEW BEST:: SOT 30528426 SOS 7494767 HAS SOPS 7494767 HAS SOUS 3747460 HAS SOUPS 3747460 WITH SCORE 3754954.767
AT ITER 4944 NEW BEST:: SOT 30528095 SOS 7494105 HAS SOPS 7494105 HAS SOUS 3747129 HAS SOUPS 3747129 WITH SCORE 3754623.105
AT ITER 4986 NEW BEST:: SOT 30525716 SOS 7492136 HAS SOPS 7492136 HAS SOUS 3745160 HAS SOUPS 3745160 WITH SCORE 3752652.136
AT ITER 4992 NEW BEST:: SOT 30525716 SOS 7492567 HAS SOPS 7492567 HAS SOUS 3745159 HAS SOUPS 3745159 WITH SCORE 3752651.567
AT ITER 5005 NEW BEST:: SOT 30525417 SOS 7491670 HAS SOPS 7491670 HAS SOUS 3744561 HAS SOUPS 3744561 WITH SCORE 3752052.67
AT ITER 5018 NEW BEST:: SOT 30525417 SOS 7491489 HAS SOPS 7491489 HAS SOUS 3744380 HAS SOUPS 3744380 WITH SCORE 3751871.489
AT ITER 5068 NEW BEST:: SOT 30524457 SOS 7498209 HAS SOPS 7498209 HAS SOUS 3743420 HAS SOUPS 3743420 WITH SCORE 3750918.209
AT ITER 5090 NEW BEST:: SOT 30524287 SOS 7498199 HAS SOPS 7498199 HAS SOUS 3743283 HAS SOUPS 3743283 WITH SCORE 3750781.199
AT ITER 5102 NEW BEST:: SOT 30524328 SOS 7503739 HAS SOPS 7503739 HAS SOUS 3743113 HAS SOUPS 3743113 WITH SCORE 3750616.739
AT ITER 5109 NEW BEST:: SOT 30523497 SOS 7503490 HAS SOPS 7503490 HAS SOUS 3742608 HAS SOUPS 3742608 WITH SCORE 3750111.49
AT ITER 5110 NEW BEST:: SOT 30523605 SOS 7503702 HAS SOPS 7503702 HAS SOUS 3742607 HAS SOUPS 3742607 WITH SCORE 3750110.702
AT ITER 5164 NEW BEST:: SOT 30523326 SOS 7503143 HAS SOPS 7503143 HAS SOUS 3742048 HAS SOUPS 3742048 WITH SCORE 3749551.143
AT ITER 5211 NEW BEST:: SOT 30523326 SOS 7500973 HAS SOPS 7500973 HAS SOUS 3741921 HAS SOUPS 3741921 WITH SCORE 3749421.973
AT ITER 5216 NEW BEST:: SOT 30523326 SOS 7502377 HAS SOPS 7502377 HAS SOUS 3741869 HAS SOUPS 3741869 WITH SCORE 3749371.377
AT ITER 5218 NEW BEST:: SOT 30522677 SOS 7502360 HAS SOPS 7502360 HAS SOUS 3741220 HAS SOUPS 3741220 WITH SCORE 3748722.36
AT ITER 5236 NEW BEST:: SOT 30521950 SOS 7517767 HAS SOPS 7517767 HAS SOUS 3739766 HAS SOUPS 3739766 WITH SCORE 3747283.767
AT ITER 5255 NEW BEST:: SOT 30522560 SOS 7517157 HAS SOPS 7517157 HAS SOUS 3739766 HAS SOUPS 3739766 WITH SCORE 3747283.157
AT ITER 5261 NEW BEST:: SOT 30522255 SOS 7516547 HAS SOPS 7516547 HAS SOUS 3739456 HAS SOUPS 3739456 WITH SCORE 3746972.547
AT ITER 5288 NEW BEST:: SOT 30521632 SOS 7516006 HAS SOPS 7516006 HAS SOUS 3738915 HAS SOUPS 3738915 WITH SCORE 3746431.006
AT ITER 5289 NEW BEST:: SOT 30521316 SOS 7515374 HAS SOPS 7515374 HAS SOUS 3737221 HAS SOUPS 3737221 WITH SCORE 3744736.374
AT ITER 5300 NEW BEST:: SOT 30520304 SOS 7514773 HAS SOPS 7514773 HAS SOUS 3736620 HAS SOUPS 3736620 WITH SCORE 3744134.773
AT ITER 5301 NEW BEST:: SOT 30520345 SOS 7514965 HAS SOPS 7514965 HAS SOUS 3736551 HAS SOUPS 3736551 WITH SCORE 3744065.965
AT ITER 5302 NEW BEST:: SOT 30520345 SOS 7514965 HAS SOPS 7514965 HAS SOUS 3736550 HAS SOUPS 3736550 WITH SCORE 3744064.965
AT ITER 5341 NEW BEST:: SOT 30519849 SOS 7514441 HAS SOPS 7514441 HAS SOUS 3736233 HAS SOUPS 3736233 WITH SCORE 3743747.441
AT ITER 5358 NEW BEST:: SOT 30519857 SOS 7514457 HAS SOPS 7514457 HAS SOUS 3735948 HAS SOUPS 3735948 WITH SCORE 3743462.457
AT ITER 5361 NEW BEST:: SOT 30519172 SOS 7514816 HAS SOPS 7514816 HAS SOUS 3734577 HAS SOUPS 3734577 WITH SCORE 3742091.816
AT ITER 5376 NEW BEST:: SOT 30518924 SOS 7514568 HAS SOPS 7514568 HAS SOUS 3734329 HAS SOUPS 3734329 WITH SCORE 3741843.568
AT ITER 5412 NEW BEST:: SOT 30517925 SOS 7515477 HAS SOPS 7515477 HAS SOUS 3734295 HAS SOUPS 3734295 WITH SCORE 3741810.477
AT ITER 5436 NEW BEST:: SOT 30517925 SOS 7514660 HAS SOPS 7514660 HAS SOUS 3732920 HAS SOUPS 3732920 WITH SCORE 3740434.66
AT ITER 5438 NEW BEST:: SOT 30517925 SOS 7514525 HAS SOPS 7514525 HAS SOUS 3732785 HAS SOUPS 3732785 WITH SCORE 3740299.525
AT ITER 5451 NEW BEST:: SOT 30516902 SOS 7514522 HAS SOPS 7514522 HAS SOUS 3730738 HAS SOUPS 3730738 WITH SCORE 3738252.522
AT ITER 5465 NEW BEST:: SOT 30516971 SOS 7514450 HAS SOPS 7514450 HAS SOUS 3730666 HAS SOUPS 3730666 WITH SCORE 3738180.45
AT ITER 5473 NEW BEST:: SOT 30516692 SOS 7516403 HAS SOPS 7516403 HAS SOUS 3730387 HAS SOUPS 3730387 WITH SCORE 3737903.403
AT ITER 5481 NEW BEST:: SOT 30516636 SOS 7516347 HAS SOPS 7516347 HAS SOUS 3730331 HAS SOUPS 3730331 WITH SCORE 3737847.347
AT ITER 5497 NEW BEST:: SOT 30516052 SOS 7518094 HAS SOPS 7518094 HAS SOUS 3729076 HAS SOUPS 3729076 WITH SCORE 3736594.094
AT ITER 5500 NEW BEST:: SOT 30515682 SOS 7518440 HAS SOPS 7518440 HAS SOUS 3728706 HAS SOUPS 3728706 WITH SCORE 3736224.44
AT ITER 5502 NEW BEST:: SOT 30515743 SOS 7521135 HAS SOPS 7521135 HAS SOUS 3727968 HAS SOUPS 3727968 WITH SCORE 3735489.135
AT ITER 5541 NEW BEST:: SOT 30515390 SOS 7520782 HAS SOPS 7520782 HAS SOUS 3727614 HAS SOUPS 3727614 WITH SCORE 3735134.782
AT ITER 5543 NEW BEST:: SOT 30515598 SOS 7521198 HAS SOPS 7521198 HAS SOUS 3727607 HAS SOUPS 3727607 WITH SCORE 3735128.198
AT ITER 5569 NEW BEST:: SOT 30515562 SOS 7521174 HAS SOPS 7521174 HAS SOUS 3727583 HAS SOUPS 3727583 WITH SCORE 3735104.174
AT ITER 5575 NEW BEST:: SOT 30515562 SOS 7521164 HAS SOPS 7521164 HAS SOUS 3727582 HAS SOUPS 3727582 WITH SCORE 3735103.164
AT ITER 5576 NEW BEST:: SOT 30515562 SOS 7519610 HAS SOPS 7519610 HAS SOUS 3727064 HAS SOUPS 3727064 WITH SCORE 3734583.61
AT ITER 5583 NEW BEST:: SOT 30515016 SOS 7519064 HAS SOPS 7519064 HAS SOUS 3726518 HAS SOUPS 3726518 WITH SCORE 3734037.064
AT ITER 5587 NEW BEST:: SOT 30514237 SOS 7518677 HAS SOPS 7518677 HAS SOUS 3726131 HAS SOUPS 3726131 WITH SCORE 3733649.677
AT ITER 5596 NEW BEST:: SOT 30514237 SOS 7519531 HAS SOPS 7519531 HAS SOUS 3726129 HAS SOUPS 3726129 WITH SCORE 3733648.531
AT ITER 5607 NEW BEST:: SOT 30514191 SOS 7519439 HAS SOPS 7519439 HAS SOUS 3726037 HAS SOUPS 3726037 WITH SCORE 3733556.439
AT ITER 5617 NEW BEST:: SOT 30514191 SOS 7513238 HAS SOPS 7513238 HAS SOUS 3725348 HAS SOUPS 3725348 WITH SCORE 3732861.238
AT ITER 5634 NEW BEST:: SOT 30514191 SOS 7513841 HAS SOPS 7513841 HAS SOUS 3725347 HAS SOUPS 3725347 WITH SCORE 3732860.841
AT ITER 5647 NEW BEST:: SOT 30514087 SOS 7515372 HAS SOPS 7515372 HAS SOUS 3725189 HAS SOUPS 3725189 WITH SCORE 3732704.372
AT ITER 5656 NEW BEST:: SOT 30514087 SOS 7516021 HAS SOPS 7516021 HAS SOUS 3724848 HAS SOUPS 3724848 WITH SCORE 3732364.021
AT ITER 5665 NEW BEST:: SOT 30514082 SOS 7517955 HAS SOPS 7517955 HAS SOUS 3724843 HAS SOUPS 3724843 WITH SCORE 3732360.955
AT ITER 5669 NEW BEST:: SOT 30514082 SOS 7516755 HAS SOPS 7516755 HAS SOUS 3724842 HAS SOUPS 3724842 WITH SCORE 3732358.755
AT ITER 5697 NEW BEST:: SOT 30514081 SOS 7518360 HAS SOPS 7518360 HAS SOUS 3724839 HAS SOUPS 3724839 WITH SCORE 3732357.36
AT ITER 5699 NEW BEST:: SOT 30513915 SOS 7518194 HAS SOPS 7518194 HAS SOUS 3724673 HAS SOUPS 3724673 WITH SCORE 3732191.194
AT ITER 5725 NEW BEST:: SOT 30512741 SOS 7518351 HAS SOPS 7518351 HAS SOUS 3724660 HAS SOUPS 3724660 WITH SCORE 3732178.351
AT ITER 5729 NEW BEST:: SOT 30512145 SOS 7517797 HAS SOPS 7517797 HAS SOUS 3724106 HAS SOUPS 3724106 WITH SCORE 3731623.797
AT ITER 5730 NEW BEST:: SOT 30512145 SOS 7518444 HAS SOPS 7518444 HAS SOUS 3724105 HAS SOUPS 3724105 WITH SCORE 3731623.444
AT ITER 5759 NEW BEST:: SOT 30512145 SOS 7518444 HAS SOPS 7518444 HAS SOUS 3724104 HAS SOUPS 3724104 WITH SCORE 3731622.444
AT ITER 5766 NEW BEST:: SOT 30512145 SOS 7518441 HAS SOPS 7518441 HAS SOUS 3723445 HAS SOUPS 3723445 WITH SCORE 3730963.441
AT ITER 5803 NEW BEST:: SOT 30511958 SOS 7519750 HAS SOPS 7519750 HAS SOUS 3723258 HAS SOUPS 3723258 WITH SCORE 3730777.75
AT ITER 5819 NEW BEST:: SOT 30512116 SOS 7519733 HAS SOPS 7519733 HAS SOUS 3723225 HAS SOUPS 3723225 WITH SCORE 3730744.733
AT ITER 5823 NEW BEST:: SOT 30511544 SOS 7519161 HAS SOPS 7519161 HAS SOUS 3722653 HAS SOUPS 3722653 WITH SCORE 3730172.161
AT ITER 5834 NEW BEST:: SOT 30511232 SOS 7526073 HAS SOPS 7526073 HAS SOUS 3721870 HAS SOUPS 3721870 WITH SCORE 3729396.073
AT ITER 5839 NEW BEST:: SOT 30511659 SOS 7536610 HAS SOPS 7536610 HAS SOUS 3721646 HAS SOUPS 3721646 WITH SCORE 3729182.61
AT ITER 5845 NEW BEST:: SOT 30511646 SOS 7536584 HAS SOPS 7536584 HAS SOUS 3721620 HAS SOUPS 3721620 WITH SCORE 3729156.584
AT ITER 5857 NEW BEST:: SOT 30511087 SOS 7535466 HAS SOPS 7535466 HAS SOUS 3720502 HAS SOUPS 3720502 WITH SCORE 3728037.466
AT ITER 5863 NEW BEST:: SOT 30511087 SOS 7535651 HAS SOPS 7535651 HAS SOUS 3720501 HAS SOUPS 3720501 WITH SCORE 3728036.651
AT ITER 5887 NEW BEST:: SOT 30510530 SOS 7527085 HAS SOPS 7527085 HAS SOUS 3719387 HAS SOUPS 3719387 WITH SCORE 3726914.085
AT ITER 5895 NEW BEST:: SOT 30510529 SOS 7527083 HAS SOPS 7527083 HAS SOUS 3719385 HAS SOUPS 3719385 WITH SCORE 3726912.083
AT ITER 5898 NEW BEST:: SOT 30510140 SOS 7526305 HAS SOPS 7526305 HAS SOUS 3718607 HAS SOUPS 3718607 WITH SCORE 3726133.305
AT ITER 5916 NEW BEST:: SOT 30509870 SOS 7525777 HAS SOPS 7525777 HAS SOUS 3718079 HAS SOUPS 3718079 WITH SCORE 3725604.777
AT ITER 5920 NEW BEST:: SOT 30509600 SOS 7526044 HAS SOPS 7526044 HAS SOUS 3717808 HAS SOUPS 3717808 WITH SCORE 3725334.044
AT ITER 5946 NEW BEST:: SOT 30509539 SOS 7526012 HAS SOPS 7526012 HAS SOUS 3717776 HAS SOUPS 3717776 WITH SCORE 3725302.012
AT ITER 5951 NEW BEST:: SOT 30509449 SOS 7525832 HAS SOPS 7525832 HAS SOUS 3717596 HAS SOUPS 3717596 WITH SCORE 3725121.832
AT ITER 5972 NEW BEST:: SOT 30509433 SOS 7531764 HAS SOPS 7531764 HAS SOUS 3717564 HAS SOUPS 3717564 WITH SCORE 3725095.764
AT ITER 5982 NEW BEST:: SOT 30509443 SOS 7531648 HAS SOPS 7531648 HAS SOUS 3717448 HAS SOUPS 3717448 WITH SCORE 3724979.648
AT ITER 6004 NEW BEST:: SOT 30509263 SOS 7531567 HAS SOPS 7531567 HAS SOUS 3717367 HAS SOUPS 3717367 WITH SCORE 3724898.567
AT ITER 6034 NEW BEST:: SOT 30509263 SOS 7531563 HAS SOPS 7531563 HAS SOUS 3717366 HAS SOUPS 3717366 WITH SCORE 3724897.563
AT ITER 6036 NEW BEST:: SOT 30508441 SOS 7531560 HAS SOPS 7531560 HAS SOUS 3715721 HAS SOUPS 3715721 WITH SCORE 3723252.56
AT ITER 6038 NEW BEST:: SOT 30508441 SOS 7530694 HAS SOPS 7530694 HAS SOUS 3715721 HAS SOUPS 3715721 WITH SCORE 3723251.694
AT ITER 6041 NEW BEST:: SOT 30507287 SOS 7529511 HAS SOPS 7529511 HAS SOUS 3714567 HAS SOUPS 3714567 WITH SCORE 3722096.511
AT ITER 6052 NEW BEST:: SOT 30506931 SOS 7528799 HAS SOPS 7528799 HAS SOUS 3713855 HAS SOUPS 3713855 WITH SCORE 3721383.799
AT ITER 6085 NEW BEST:: SOT 30506931 SOS 7528799 HAS SOPS 7528799 HAS SOUS 3713854 HAS SOUPS 3713854 WITH SCORE 3721382.799
AT ITER 6103 NEW BEST:: SOT 30506931 SOS 7528789 HAS SOPS 7528789 HAS SOUS 3713832 HAS SOUPS 3713832 WITH SCORE 3721360.789
AT ITER 6110 NEW BEST:: SOT 30506931 SOS 7528621 HAS SOPS 7528621 HAS SOUS 3713664 HAS SOUPS 3713664 WITH SCORE 3721192.621
AT ITER 6232 NEW BEST:: SOT 30506520 SOS 7528583 HAS SOPS 7528583 HAS SOUS 3713001 HAS SOUPS 3713001 WITH SCORE 3720529.583
AT ITER 6258 NEW BEST:: SOT 30506492 SOS 7529463 HAS SOPS 7529463 HAS SOUS 3712944 HAS SOUPS 3712944 WITH SCORE 3720473.463
AT ITER 6273 NEW BEST:: SOT 30506492 SOS 7529459 HAS SOPS 7529459 HAS SOUS 3712943 HAS SOUPS 3712943 WITH SCORE 3720472.459
AT ITER 6311 NEW BEST:: SOT 30506261 SOS 7524215 HAS SOPS 7524215 HAS SOUS 3711637 HAS SOUPS 3711637 WITH SCORE 3719161.215
AT ITER 6314 NEW BEST:: SOT 30506286 SOS 7523705 HAS SOPS 7523705 HAS SOUS 3711382 HAS SOUPS 3711382 WITH SCORE 3718905.705
AT ITER 6321 NEW BEST:: SOT 30505668 SOS 7523205 HAS SOPS 7523205 HAS SOUS 3710882 HAS SOUPS 3710882 WITH SCORE 3718405.205
AT ITER 6328 NEW BEST:: SOT 30505634 SOS 7522946 HAS SOPS 7522946 HAS SOUS 3710848 HAS SOUPS 3710848 WITH SCORE 3718370.946
AT ITER 6329 NEW BEST:: SOT 30505634 SOS 7524487 HAS SOPS 7524487 HAS SOUS 3710825 HAS SOUPS 3710825 WITH SCORE 3718349.487
AT ITER 6330 NEW BEST:: SOT 30505634 SOS 7525170 HAS SOPS 7525170 HAS SOUS 3710823 HAS SOUPS 3710823 WITH SCORE 3718348.17
AT ITER 6332 NEW BEST:: SOT 30505993 SOS 7524922 HAS SOPS 7524922 HAS SOUS 3710768 HAS SOUPS 3710768 WITH SCORE 3718292.922
AT ITER 6334 NEW BEST:: SOT 30505993 SOS 7525471 HAS SOPS 7525471 HAS SOUS 3710764 HAS SOUPS 3710764 WITH SCORE 3718289.471
AT ITER 6367 NEW BEST:: SOT 30505993 SOS 7525102 HAS SOPS 7525102 HAS SOUS 3710027 HAS SOUPS 3710027 WITH SCORE 3717552.102
AT ITER 6410 NEW BEST:: SOT 30504727 SOS 7523836 HAS SOPS 7523836 HAS SOUS 3708761 HAS SOUPS 3708761 WITH SCORE 3716284.836
AT ITER 6422 NEW BEST:: SOT 30504335 SOS 7526580 HAS SOPS 7526580 HAS SOUS 3708369 HAS SOUPS 3708369 WITH SCORE 3715895.58
AT ITER 6492 NEW BEST:: SOT 30504239 SOS 7526484 HAS SOPS 7526484 HAS SOUS 3708273 HAS SOUPS 3708273 WITH SCORE 3715799.484
AT ITER 6499 NEW BEST:: SOT 30504670 SOS 7525847 HAS SOPS 7525847 HAS SOUS 3707874 HAS SOUPS 3707874 WITH SCORE 3715399.847
AT ITER 6505 NEW BEST:: SOT 30504670 SOS 7525673 HAS SOPS 7525673 HAS SOUS 3707787 HAS SOUPS 3707787 WITH SCORE 3715312.673
AT ITER 6506 NEW BEST:: SOT 30504670 SOS 7525615 HAS SOPS 7525615 HAS SOUS 3707729 HAS SOUPS 3707729 WITH SCORE 3715254.615
AT ITER 6510 NEW BEST:: SOT 30504670 SOS 7526005 HAS SOPS 7526005 HAS SOUS 3707728 HAS SOUPS 3707728 WITH SCORE 3715254.005
AT ITER 6596 NEW BEST:: SOT 30504667 SOS 7527846 HAS SOPS 7527846 HAS SOUS 3707721 HAS SOUPS 3707721 WITH SCORE 3715248.846
AT ITER 6614 NEW BEST:: SOT 30504178 SOS 7527376 HAS SOPS 7527376 HAS SOUS 3707239 HAS SOUPS 3707239 WITH SCORE 3714766.376
AT ITER 6631 NEW BEST:: SOT 30504112 SOS 7527244 HAS SOPS 7527244 HAS SOUS 3707023 HAS SOUPS 3707023 WITH SCORE 3714550.244
AT ITER 6645 NEW BEST:: SOT 30503868 SOS 7526756 HAS SOPS 7526756 HAS SOUS 3706779 HAS SOUPS 3706779 WITH SCORE 3714305.756
AT ITER 6663 NEW BEST:: SOT 30503461 SOS 7523093 HAS SOPS 7523093 HAS SOUS 3706345 HAS SOUPS 3706345 WITH SCORE 3713868.093
AT ITER 6669 NEW BEST:: SOT 30503311 SOS 7522783 HAS SOPS 7522783 HAS SOUS 3706044 HAS SOUPS 3706044 WITH SCORE 3713566.783
AT ITER 6743 NEW BEST:: SOT 30503311 SOS 7522783 HAS SOPS 7522783 HAS SOUS 3705999 HAS SOUPS 3705999 WITH SCORE 3713521.783
AT ITER 6762 NEW BEST:: SOT 30502880 SOS 7521921 HAS SOPS 7521921 HAS SOUS 3705568 HAS SOUPS 3705568 WITH SCORE 3713089.921
AT ITER 6800 NEW BEST:: SOT 30502513 SOS 7521918 HAS SOPS 7521918 HAS SOUS 3705300 HAS SOUPS 3705300 WITH SCORE 3712821.918
AT ITER 6806 NEW BEST:: SOT 30502482 SOS 7521856 HAS SOPS 7521856 HAS SOUS 3705238 HAS SOUPS 3705238 WITH SCORE 3712759.856
AT ITER 6811 NEW BEST:: SOT 30502482 SOS 7521802 HAS SOPS 7521802 HAS SOUS 3705238 HAS SOUPS 3705238 WITH SCORE 3712759.802
AT ITER 6824 NEW BEST:: SOT 30502418 SOS 7521618 HAS SOPS 7521618 HAS SOUS 3705054 HAS SOUPS 3705054 WITH SCORE 3712575.618
AT ITER 6857 NEW BEST:: SOT 30502418 SOS 7521567 HAS SOPS 7521567 HAS SOUS 3705054 HAS SOUPS 3705054 WITH SCORE 3712575.567
AT ITER 6901 NEW BEST:: SOT 30502152 SOS 7521035 HAS SOPS 7521035 HAS SOUS 3704655 HAS SOUPS 3704655 WITH SCORE 3712176.035
AT ITER 6902 NEW BEST:: SOT 30501986 SOS 7521035 HAS SOPS 7521035 HAS SOUS 3704489 HAS SOUPS 3704489 WITH SCORE 3712010.035
AT ITER 6911 NEW BEST:: SOT 30501775 SOS 7520980 HAS SOPS 7520980 HAS SOUS 3704434 HAS SOUPS 3704434 WITH SCORE 3711954.98
AT ITER 6912 NEW BEST:: SOT 30500975 SOS 7518224 HAS SOPS 7518224 HAS SOUS 3703056 HAS SOUPS 3703056 WITH SCORE 3710574.224
AT ITER 6914 NEW BEST:: SOT 30499707 SOS 7517131 HAS SOPS 7517131 HAS SOUS 3701963 HAS SOUPS 3701963 WITH SCORE 3709480.131
AT ITER 6929 NEW BEST:: SOT 30500083 SOS 7517883 HAS SOPS 7517883 HAS SOUS 3701857 HAS SOUPS 3701857 WITH SCORE 3709374.883
AT ITER 6939 NEW BEST:: SOT 30499942 SOS 7517872 HAS SOPS 7517872 HAS SOUS 3701851 HAS SOUPS 3701851 WITH SCORE 3709368.872
AT ITER 6940 NEW BEST:: SOT 30500072 SOS 7517588 HAS SOPS 7517588 HAS SOUS 3701567 HAS SOUPS 3701567 WITH SCORE 3709084.588
AT ITER 6979 NEW BEST:: SOT 30500072 SOS 7517301 HAS SOPS 7517301 HAS SOUS 3701567 HAS SOUPS 3701567 WITH SCORE 3709084.301
AT ITER 6986 NEW BEST:: SOT 30499850 SOS 7516857 HAS SOPS 7516857 HAS SOUS 3701123 HAS SOUPS 3701123 WITH SCORE 3708639.857
AT ITER 7005 NEW BEST:: SOT 30499523 SOS 7516854 HAS SOPS 7516854 HAS SOUS 3701122 HAS SOUPS 3701122 WITH SCORE 3708638.854
AT ITER 7023 NEW BEST:: SOT 30499522 SOS 7516852 HAS SOPS 7516852 HAS SOUS 3701120 HAS SOUPS 3701120 WITH SCORE 3708636.852
AT ITER 7086 NEW BEST:: SOT 30499095 SOS 7514189 HAS SOPS 7514189 HAS SOUS 3700266 HAS SOUPS 3700266 WITH SCORE 3707780.189
AT ITER 7095 NEW BEST:: SOT 30499703 SOS 7519601 HAS SOPS 7519601 HAS SOUS 3700081 HAS SOUPS 3700081 WITH SCORE 3707600.601
AT ITER 7096 NEW BEST:: SOT 30499828 SOS 7520845 HAS SOPS 7520845 HAS SOUS 3699410 HAS SOUPS 3699410 WITH SCORE 3706930.845
AT ITER 7110 NEW BEST:: SOT 30499292 SOS 7520309 HAS SOPS 7520309 HAS SOUS 3698874 HAS SOUPS 3698874 WITH SCORE 3706394.309
AT ITER 7111 NEW BEST:: SOT 30499082 SOS 7519889 HAS SOPS 7519889 HAS SOUS 3698454 HAS SOUPS 3698454 WITH SCORE 3705973.889
AT ITER 7127 NEW BEST:: SOT 30498878 SOS 7519481 HAS SOPS 7519481 HAS SOUS 3698250 HAS SOUPS 3698250 WITH SCORE 3705769.481
AT ITER 7129 NEW BEST:: SOT 30499216 SOS 7517595 HAS SOPS 7517595 HAS SOUS 3697307 HAS SOUPS 3697307 WITH SCORE 3704824.595
AT ITER 7182 NEW BEST:: SOT 30498839 SOS 7515260 HAS SOPS 7515260 HAS SOUS 3697080 HAS SOUPS 3697080 WITH SCORE 3704595.26
AT ITER 7208 NEW BEST:: SOT 30498975 SOS 7515124 HAS SOPS 7515124 HAS SOUS 3697080 HAS SOUPS 3697080 WITH SCORE 3704595.124
AT ITER 7226 NEW BEST:: SOT 30498481 SOS 7515615 HAS SOPS 7515615 HAS SOUS 3696585 HAS SOUPS 3696585 WITH SCORE 3704100.615
AT ITER 7230 NEW BEST:: SOT 30498095 SOS 7515300 HAS SOPS 7515300 HAS SOUS 3696547 HAS SOUPS 3696547 WITH SCORE 3704062.3
AT ITER 7232 NEW BEST:: SOT 30497584 SOS 7515811 HAS SOPS 7515811 HAS SOUS 3695842 HAS SOUPS 3695842 WITH SCORE 3703357.811
AT ITER 7245 NEW BEST:: SOT 30497046 SOS 7515807 HAS SOPS 7515807 HAS SOUS 3695841 HAS SOUPS 3695841 WITH SCORE 3703356.807
AT ITER 7257 NEW BEST:: SOT 30496763 SOS 7515241 HAS SOPS 7515241 HAS SOUS 3695096 HAS SOUPS 3695096 WITH SCORE 3702611.241
AT ITER 7268 NEW BEST:: SOT 30496763 SOS 7515585 HAS SOPS 7515585 HAS SOUS 3695094 HAS SOUPS 3695094 WITH SCORE 3702609.585
AT ITER 7310 NEW BEST:: SOT 30496763 SOS 7515450 HAS SOPS 7515450 HAS SOUS 3695049 HAS SOUPS 3695049 WITH SCORE 3702564.45
AT ITER 7388 NEW BEST:: SOT 30496763 SOS 7515740 HAS SOPS 7515740 HAS SOUS 3695048 HAS SOUPS 3695048 WITH SCORE 3702563.74
AT ITER 7425 NEW BEST:: SOT 30496763 SOS 7515740 HAS SOPS 7515740 HAS SOUS 3694787 HAS SOUPS 3694787 WITH SCORE 3702302.74
AT ITER 7428 NEW BEST:: SOT 30496684 SOS 7516214 HAS SOPS 7516214 HAS SOUS 3694708 HAS SOUPS 3694708 WITH SCORE 3702224.214
AT ITER 7458 NEW BEST:: SOT 30496684 SOS 7518617 HAS SOPS 7518617 HAS SOUS 3694441 HAS SOUPS 3694441 WITH SCORE 3701959.617
AT ITER 7512 NEW BEST:: SOT 30496684 SOS 7518424 HAS SOPS 7518424 HAS SOUS 3694248 HAS SOUPS 3694248 WITH SCORE 3701766.424
AT ITER 7525 NEW BEST:: SOT 30496684 SOS 7517158 HAS SOPS 7517158 HAS SOUS 3693615 HAS SOUPS 3693615 WITH SCORE 3701132.158
AT ITER 7553 NEW BEST:: SOT 30496529 SOS 7516848 HAS SOPS 7516848 HAS SOUS 3693263 HAS SOUPS 3693263 WITH SCORE 3700779.848
AT ITER 7620 NEW BEST:: SOT 30496526 SOS 7518888 HAS SOPS 7518888 HAS SOUS 3693257 HAS SOUPS 3693257 WITH SCORE 3700775.888
AT ITER 7627 NEW BEST:: SOT 30496526 SOS 7521330 HAS SOPS 7521330 HAS SOUS 3693175 HAS SOUPS 3693175 WITH SCORE 3700696.33
AT ITER 7631 NEW BEST:: SOT 30496526 SOS 7526648 HAS SOPS 7526648 HAS SOUS 3692582 HAS SOUPS 3692582 WITH SCORE 3700108.648
AT ITER 7635 NEW BEST:: SOT 30495671 SOS 7524148 HAS SOPS 7524148 HAS SOUS 3692332 HAS SOUPS 3692332 WITH SCORE 3699856.148
AT ITER 7669 NEW BEST:: SOT 30494841 SOS 7524138 HAS SOPS 7524138 HAS SOUS 3691767 HAS SOUPS 3691767 WITH SCORE 3699291.138
AT ITER 7678 NEW BEST:: SOT 30494131 SOS 7523428 HAS SOPS 7523428 HAS SOUS 3691057 HAS SOUPS 3691057 WITH SCORE 3698580.428
AT ITER 7699 NEW BEST:: SOT 30494131 SOS 7518057 HAS SOPS 7518057 HAS SOUS 3690804 HAS SOUPS 3690804 WITH SCORE 3698322.057
AT ITER 7719 NEW BEST:: SOT 30494131 SOS 7517245 HAS SOPS 7517245 HAS SOUS 3690398 HAS SOUPS 3690398 WITH SCORE 3697915.245
AT ITER 7755 NEW BEST:: SOT 30494135 SOS 7517253 HAS SOPS 7517253 HAS SOUS 3690078 HAS SOUPS 3690078 WITH SCORE 3697595.253
AT ITER 7764 NEW BEST:: SOT 30494135 SOS 7521572 HAS SOPS 7521572 HAS SOUS 3689725 HAS SOUPS 3689725 WITH SCORE 3697246.572
AT ITER 7788 NEW BEST:: SOT 30494068 SOS 7521438 HAS SOPS 7521438 HAS SOUS 3689591 HAS SOUPS 3689591 WITH SCORE 3697112.438
AT ITER 7802 NEW BEST:: SOT 30493866 SOS 7521034 HAS SOPS 7521034 HAS SOUS 3689187 HAS SOUPS 3689187 WITH SCORE 3696708.034
AT ITER 7812 NEW BEST:: SOT 30493855 SOS 7521012 HAS SOPS 7521012 HAS SOUS 3689165 HAS SOUPS 3689165 WITH SCORE 3696686.012
AT ITER 7833 NEW BEST:: SOT 30493783 SOS 7521102 HAS SOPS 7521102 HAS SOUS 3689093 HAS SOUPS 3689093 WITH SCORE 3696614.102
AT ITER 7896 NEW BEST:: SOT 30493783 SOS 7520820 HAS SOPS 7520820 HAS SOUS 3689093 HAS SOUPS 3689093 WITH SCORE 3696613.82
AT ITER 7915 NEW BEST:: SOT 30493059 SOS 7520820 HAS SOPS 7520820 HAS SOUS 3687645 HAS SOUPS 3687645 WITH SCORE 3695165.82
AT ITER 7918 NEW BEST:: SOT 30493058 SOS 7519298 HAS SOPS 7519298 HAS SOUS 3687643 HAS SOUPS 3687643 WITH SCORE 3695162.298
AT ITER 7924 NEW BEST:: SOT 30492829 SOS 7519670 HAS SOPS 7519670 HAS SOUS 3686999 HAS SOUPS 3686999 WITH SCORE 3694518.67
AT ITER 7941 NEW BEST:: SOT 30492761 SOS 7519568 HAS SOPS 7519568 HAS SOUS 3686931 HAS SOUPS 3686931 WITH SCORE 3694450.568
AT ITER 7953 NEW BEST:: SOT 30491583 SOS 7518443 HAS SOPS 7518443 HAS SOUS 3685815 HAS SOUPS 3685815 WITH SCORE 3693333.443
AT ITER 7975 NEW BEST:: SOT 30491583 SOS 7518147 HAS SOPS 7518147 HAS SOUS 3685815 HAS SOUPS 3685815 WITH SCORE 3693333.147
AT ITER 7995 NEW BEST:: SOT 30491583 SOS 7519809 HAS SOPS 7519809 HAS SOUS 3685813 HAS SOUPS 3685813 WITH SCORE 3693332.809
AT ITER 8005 NEW BEST:: SOT 30491291 SOS 7519517 HAS SOPS 7519517 HAS SOUS 3685229 HAS SOUPS 3685229 WITH SCORE 3692748.517
AT ITER 8037 NEW BEST:: SOT 30491291 SOS 7518531 HAS SOPS 7518531 HAS SOUS 3684946 HAS SOUPS 3684946 WITH SCORE 3692464.531
AT ITER 8040 NEW BEST:: SOT 30491291 SOS 7518578 HAS SOPS 7518578 HAS SOUS 3684794 HAS SOUPS 3684794 WITH SCORE 3692312.578
AT ITER 8044 NEW BEST:: SOT 30488497 SOS 7516024 HAS SOPS 7516024 HAS SOUS 3682013 HAS SOUPS 3682013 WITH SCORE 3689529.024
AT ITER 8047 NEW BEST:: SOT 30488496 SOS 7517245 HAS SOPS 7517245 HAS SOUS 3682010 HAS SOUPS 3682010 WITH SCORE 3689527.245
AT ITER 8057 NEW BEST:: SOT 30489088 SOS 7518429 HAS SOPS 7518429 HAS SOUS 3681909 HAS SOUPS 3681909 WITH SCORE 3689427.429
AT ITER 8071 NEW BEST:: SOT 30487886 SOS 7518617 HAS SOPS 7518617 HAS SOUS 3681355 HAS SOUPS 3681355 WITH SCORE 3688873.617
AT ITER 8093 NEW BEST:: SOT 30488284 SOS 7519413 HAS SOPS 7519413 HAS SOUS 3681032 HAS SOUPS 3681032 WITH SCORE 3688551.413
AT ITER 8094 NEW BEST:: SOT 30488284 SOS 7520096 HAS SOPS 7520096 HAS SOUS 3681031 HAS SOUPS 3681031 WITH SCORE 3688551.096
AT ITER 8116 NEW BEST:: SOT 30488244 SOS 7520016 HAS SOPS 7520016 HAS SOUS 3680951 HAS SOUPS 3680951 WITH SCORE 3688471.016
AT ITER 8141 NEW BEST:: SOT 30488009 SOS 7520251 HAS SOPS 7520251 HAS SOUS 3680716 HAS SOUPS 3680716 WITH SCORE 3688236.251
AT ITER 8149 NEW BEST:: SOT 30488009 SOS 7520784 HAS SOPS 7520784 HAS SOUS 3680437 HAS SOUPS 3680437 WITH SCORE 3687957.784
AT ITER 8194 NEW BEST:: SOT 30487549 SOS 7519864 HAS SOPS 7519864 HAS SOUS 3679977 HAS SOUPS 3679977 WITH SCORE 3687496.864
AT ITER 8206 NEW BEST:: SOT 30487499 SOS 7519814 HAS SOPS 7519814 HAS SOUS 3679927 HAS SOUPS 3679927 WITH SCORE 3687446.814
AT ITER 8232 NEW BEST:: SOT 30486832 SOS 7527624 HAS SOPS 7527624 HAS SOUS 3679260 HAS SOUPS 3679260 WITH SCORE 3686787.624
AT ITER 8235 NEW BEST:: SOT 30486474 SOS 7527266 HAS SOPS 7527266 HAS SOUS 3678902 HAS SOUPS 3678902 WITH SCORE 3686429.266
AT ITER 8258 NEW BEST:: SOT 30486474 SOS 7526947 HAS SOPS 7526947 HAS SOUS 3678583 HAS SOUPS 3678583 WITH SCORE 3686109.947
AT ITER 8291 NEW BEST:: SOT 30486173 SOS 7519300 HAS SOPS 7519300 HAS SOUS 3677620 HAS SOUPS 3677620 WITH SCORE 3685139.3
AT ITER 8310 NEW BEST:: SOT 30486286 SOS 7519269 HAS SOPS 7519269 HAS SOUS 3677589 HAS SOUPS 3677589 WITH SCORE 3685108.269
AT ITER 8312 NEW BEST:: SOT 30486286 SOS 7518441 HAS SOPS 7518441 HAS SOUS 3677585 HAS SOUPS 3677585 WITH SCORE 3685103.441
AT ITER 8358 NEW BEST:: SOT 30486414 SOS 7518404 HAS SOPS 7518404 HAS SOUS 3677548 HAS SOUPS 3677548 WITH SCORE 3685066.404
AT ITER 8373 NEW BEST:: SOT 30486276 SOS 7523752 HAS SOPS 7523752 HAS SOUS 3677079 HAS SOUPS 3677079 WITH SCORE 3684602.752
AT ITER 8380 NEW BEST:: SOT 30485327 SOS 7521854 HAS SOPS 7521854 HAS SOUS 3676167 HAS SOUPS 3676167 WITH SCORE 3683688.854
AT ITER 8392 NEW BEST:: SOT 30484938 SOS 7521629 HAS SOPS 7521629 HAS SOUS 3675778 HAS SOUPS 3675778 WITH SCORE 3683299.629
AT ITER 8402 NEW BEST:: SOT 30484609 SOS 7520197 HAS SOPS 7520197 HAS SOUS 3675120 HAS SOUPS 3675120 WITH SCORE 3682640.197
AT ITER 8451 NEW BEST:: SOT 30484437 SOS 7519853 HAS SOPS 7519853 HAS SOUS 3674776 HAS SOUPS 3674776 WITH SCORE 3682295.853
AT ITER 8465 NEW BEST:: SOT 30483814 SOS 7519220 HAS SOPS 7519220 HAS SOUS 3674152 HAS SOUPS 3674152 WITH SCORE 3681671.22
AT ITER 8498 NEW BEST:: SOT 30481998 SOS 7517645 HAS SOPS 7517645 HAS SOUS 3672577 HAS SOUPS 3672577 WITH SCORE 3680094.645
AT ITER 8521 NEW BEST:: SOT 30481328 SOS 7516305 HAS SOPS 7516305 HAS SOUS 3672075 HAS SOUPS 3672075 WITH SCORE 3679591.305
AT ITER 8562 NEW BEST:: SOT 30479174 SOS 7513074 HAS SOPS 7513074 HAS SOUS 3668844 HAS SOUPS 3668844 WITH SCORE 3676357.074
AT ITER 8572 NEW BEST:: SOT 30478997 SOS 7513071 HAS SOPS 7513071 HAS SOUS 3668666 HAS SOUPS 3668666 WITH SCORE 3676179.071
AT ITER 8582 NEW BEST:: SOT 30478765 SOS 7512607 HAS SOPS 7512607 HAS SOUS 3668202 HAS SOUPS 3668202 WITH SCORE 3675714.607
AT ITER 8588 NEW BEST:: SOT 30478715 SOS 7512557 HAS SOPS 7512557 HAS SOUS 3668152 HAS SOUPS 3668152 WITH SCORE 3675664.557
AT ITER 8592 NEW BEST:: SOT 30478715 SOS 7512533 HAS SOPS 7512533 HAS SOUS 3668152 HAS SOUPS 3668152 WITH SCORE 3675664.533
AT ITER 8597 NEW BEST:: SOT 30478557 SOS 7511877 HAS SOPS 7511877 HAS SOUS 3667666 HAS SOUPS 3667666 WITH SCORE 3675177.877
AT ITER 8598 NEW BEST:: SOT 30477854 SOS 7517653 HAS SOPS 7517653 HAS SOUS 3666260 HAS SOUPS 3666260 WITH SCORE 3673777.653
AT ITER 8601 NEW BEST:: SOT 30478179 SOS 7523559 HAS SOPS 7523559 HAS SOUS 3666078 HAS SOUPS 3666078 WITH SCORE 3673601.559
AT ITER 8613 NEW BEST:: SOT 30478179 SOS 7523556 HAS SOPS 7523556 HAS SOUS 3666077 HAS SOUPS 3666077 WITH SCORE 3673600.556
AT ITER 8661 NEW BEST:: SOT 30477769 SOS 7522736 HAS SOPS 7522736 HAS SOUS 3665257 HAS SOUPS 3665257 WITH SCORE 3672779.736
AT ITER 8670 NEW BEST:: SOT 30477143 SOS 7521995 HAS SOPS 7521995 HAS SOUS 3664516 HAS SOUPS 3664516 WITH SCORE 3672037.995
AT ITER 8677 NEW BEST:: SOT 30477143 SOS 7521580 HAS SOPS 7521580 HAS SOUS 3664101 HAS SOUPS 3664101 WITH SCORE 3671622.58
AT ITER 8703 NEW BEST:: SOT 30477143 SOS 7521580 HAS SOPS 7521580 HAS SOUS 3664100 HAS SOUPS 3664100 WITH SCORE 3671621.58
AT ITER 8710 NEW BEST:: SOT 30477006 SOS 7520739 HAS SOPS 7520739 HAS SOUS 3664011 HAS SOUPS 3664011 WITH SCORE 3671531.739
AT ITER 8723 NEW BEST:: SOT 30475710 SOS 7521259 HAS SOPS 7521259 HAS SOUS 3663741 HAS SOUPS 3663741 WITH SCORE 3671262.259
AT ITER 8772 NEW BEST:: SOT 30475174 SOS 7520187 HAS SOPS 7520187 HAS SOUS 3663402 HAS SOUPS 3663402 WITH SCORE 3670922.187
AT ITER 8802 NEW BEST:: SOT 30475174 SOS 7520186 HAS SOPS 7520186 HAS SOUS 3663401 HAS SOUPS 3663401 WITH SCORE 3670921.186
AT ITER 8831 NEW BEST:: SOT 30475257 SOS 7520352 HAS SOPS 7520352 HAS SOUS 3663391 HAS SOUPS 3663391 WITH SCORE 3670911.352
AT ITER 8848 NEW BEST:: SOT 30475197 SOS 7519749 HAS SOPS 7519749 HAS SOUS 3662848 HAS SOUPS 3662848 WITH SCORE 3670367.749
AT ITER 8879 NEW BEST:: SOT 30475197 SOS 7519672 HAS SOPS 7519672 HAS SOUS 3662771 HAS SOUPS 3662771 WITH SCORE 3670290.672
AT ITER 8900 NEW BEST:: SOT 30475145 SOS 7519982 HAS SOPS 7519982 HAS SOUS 3662667 HAS SOUPS 3662667 WITH SCORE 3670186.982
AT ITER 8920 NEW BEST:: SOT 30475220 SOS 7519316 HAS SOPS 7519316 HAS SOUS 3662502 HAS SOUPS 3662502 WITH SCORE 3670021.316
AT ITER 8923 NEW BEST:: SOT 30472090 SOS 7519521 HAS SOPS 7519521 HAS SOUS 3659189 HAS SOUPS 3659189 WITH SCORE 3666708.521
AT ITER 8991 NEW BEST:: SOT 30472097 SOS 7519686 HAS SOPS 7519686 HAS SOUS 3659052 HAS SOUPS 3659052 WITH SCORE 3666571.686
AT ITER 9000 NEW BEST:: SOT 30472097 SOS 7523304 HAS SOPS 7523304 HAS SOUS 3658924 HAS SOUPS 3658924 WITH SCORE 3666447.304
AT ITER 9002 NEW BEST:: SOT 30472097 SOS 7523001 HAS SOPS 7523001 HAS SOUS 3658823 HAS SOUPS 3658823 WITH SCORE 3666346.001
AT ITER 9009 NEW BEST:: SOT 30471488 SOS 7522388 HAS SOPS 7522388 HAS SOUS 3658213 HAS SOUPS 3658213 WITH SCORE 3665735.388
AT ITER 9024 NEW BEST:: SOT 30471362 SOS 7522325 HAS SOPS 7522325 HAS SOUS 3658087 HAS SOUPS 3658087 WITH SCORE 3665609.325
AT ITER 9028 NEW BEST:: SOT 30470834 SOS 7520525 HAS SOPS 7520525 HAS SOUS 3657128 HAS SOUPS 3657128 WITH SCORE 3664648.525
AT ITER 9031 NEW BEST:: SOT 30470897 SOS 7519805 HAS SOPS 7519805 HAS SOUS 3656349 HAS SOUPS 3656349 WITH SCORE 3663868.805
AT ITER 9032 NEW BEST:: SOT 30470801 SOS 7519517 HAS SOPS 7519517 HAS SOUS 3656253 HAS SOUPS 3656253 WITH SCORE 3663772.517
AT ITER 9053 NEW BEST:: SOT 30470743 SOS 7519401 HAS SOPS 7519401 HAS SOUS 3656137 HAS SOUPS 3656137 WITH SCORE 3663656.401
AT ITER 9141 NEW BEST:: SOT 30470403 SOS 7518721 HAS SOPS 7518721 HAS SOUS 3655457 HAS SOUPS 3655457 WITH SCORE 3662975.721
AT ITER 9146 NEW BEST:: SOT 30469942 SOS 7517338 HAS SOPS 7517338 HAS SOUS 3654660 HAS SOUPS 3654660 WITH SCORE 3662177.338
AT ITER 9148 NEW BEST:: SOT 30469942 SOS 7517710 HAS SOPS 7517710 HAS SOUS 3654659 HAS SOUPS 3654659 WITH SCORE 3662176.71
AT ITER 9156 NEW BEST:: SOT 30469942 SOS 7516538 HAS SOPS 7516538 HAS SOUS 3654659 HAS SOUPS 3654659 WITH SCORE 3662175.538
AT ITER 9195 NEW BEST:: SOT 30469919 SOS 7516515 HAS SOPS 7516515 HAS SOUS 3654636 HAS SOUPS 3654636 WITH SCORE 3662152.515
AT ITER 9198 NEW BEST:: SOT 30469919 SOS 7516402 HAS SOPS 7516402 HAS SOUS 3654523 HAS SOUPS 3654523 WITH SCORE 3662039.402
AT ITER 9204 NEW BEST:: SOT 30469094 SOS 7516204 HAS SOPS 7516204 HAS SOUS 3653923 HAS SOUPS 3653923 WITH SCORE 3661439.204
AT ITER 9253 NEW BEST:: SOT 30469094 SOS 7515824 HAS SOPS 7515824 HAS SOUS 3653923 HAS SOUPS 3653923 WITH SCORE 3661438.824
AT ITER 9255 NEW BEST:: SOT 30468505 SOS 7515235 HAS SOPS 7515235 HAS SOUS 3653334 HAS SOUPS 3653334 WITH SCORE 3660849.235
AT ITER 9277 NEW BEST:: SOT 30467863 SOS 7514474 HAS SOPS 7514474 HAS SOUS 3652573 HAS SOUPS 3652573 WITH SCORE 3660087.474
AT ITER 9290 NEW BEST:: SOT 30467863 SOS 7514004 HAS SOPS 7514004 HAS SOUS 3652338 HAS SOUPS 3652338 WITH SCORE 3659852.004
AT ITER 9316 NEW BEST:: SOT 30467889 SOS 7514056 HAS SOPS 7514056 HAS SOUS 3650916 HAS SOUPS 3650916 WITH SCORE 3658430.056
AT ITER 9322 NEW BEST:: SOT 30467831 SOS 7514114 HAS SOPS 7514114 HAS SOUS 3650858 HAS SOUPS 3650858 WITH SCORE 3658372.114
AT ITER 9325 NEW BEST:: SOT 30467087 SOS 7507930 HAS SOPS 7507930 HAS SOUS 3649256 HAS SOUPS 3649256 WITH SCORE 3656763.93
AT ITER 9378 NEW BEST:: SOT 30466695 SOS 7507770 HAS SOPS 7507770 HAS SOUS 3648864 HAS SOUPS 3648864 WITH SCORE 3656371.77
AT ITER 9414 NEW BEST:: SOT 30466468 SOS 7507316 HAS SOPS 7507316 HAS SOUS 3648244 HAS SOUPS 3648244 WITH SCORE 3655751.316
AT ITER 9426 NEW BEST:: SOT 30466380 SOS 7507155 HAS SOPS 7507155 HAS SOUS 3648083 HAS SOUPS 3648083 WITH SCORE 3655590.155
AT ITER 9427 NEW BEST:: SOT 30466380 SOS 7507155 HAS SOPS 7507155 HAS SOUS 3648082 HAS SOUPS 3648082 WITH SCORE 3655589.155
AT ITER 9442 NEW BEST:: SOT 30466222 SOS 7506149 HAS SOPS 7506149 HAS SOUS 3647924 HAS SOUPS 3647924 WITH SCORE 3655430.149
AT ITER 9479 NEW BEST:: SOT 30464738 SOS 7504665 HAS SOPS 7504665 HAS SOUS 3646440 HAS SOUPS 3646440 WITH SCORE 3653944.665
AT ITER 9480 NEW BEST:: SOT 30464126 SOS 7505640 HAS SOPS 7505640 HAS SOUS 3646334 HAS SOUPS 3646334 WITH SCORE 3653839.64
AT ITER 9528 NEW BEST:: SOT 30460779 SOS 7508083 HAS SOPS 7508083 HAS SOUS 3644121 HAS SOUPS 3644121 WITH SCORE 3651629.083
AT ITER 9531 NEW BEST:: SOT 30460779 SOS 7508068 HAS SOPS 7508068 HAS SOUS 3644121 HAS SOUPS 3644121 WITH SCORE 3651629.068
AT ITER 9549 NEW BEST:: SOT 30458139 SOS 7505263 HAS SOPS 7505263 HAS SOUS 3642932 HAS SOUPS 3642932 WITH SCORE 3650437.263
AT ITER 9550 NEW BEST:: SOT 30458296 SOS 7505577 HAS SOPS 7505577 HAS SOUS 3642860 HAS SOUPS 3642860 WITH SCORE 3650365.577
AT ITER 9562 NEW BEST:: SOT 30458119 SOS 7505400 HAS SOPS 7505400 HAS SOUS 3642683 HAS SOUPS 3642683 WITH SCORE 3650188.4
AT ITER 9577 NEW BEST:: SOT 30458119 SOS 7505258 HAS SOPS 7505258 HAS SOUS 3642612 HAS SOUPS 3642612 WITH SCORE 3650117.258
AT ITER 9584 NEW BEST:: SOT 30456921 SOS 7504551 HAS SOPS 7504551 HAS SOUS 3641905 HAS SOUPS 3641905 WITH SCORE 3649409.551
AT ITER 9610 NEW BEST:: SOT 30456938 SOS 7504496 HAS SOPS 7504496 HAS SOUS 3641850 HAS SOUPS 3641850 WITH SCORE 3649354.496
AT ITER 9644 NEW BEST:: SOT 30456864 SOS 7504348 HAS SOPS 7504348 HAS SOUS 3641774 HAS SOUPS 3641774 WITH SCORE 3649278.348
AT ITER 9667 NEW BEST:: SOT 30456172 SOS 7498120 HAS SOPS 7498120 HAS SOUS 3641774 HAS SOUPS 3641774 WITH SCORE 3649272.12
AT ITER 9673 NEW BEST:: SOT 30456172 SOS 7499477 HAS SOPS 7499477 HAS SOUS 3641340 HAS SOUPS 3641340 WITH SCORE 3648839.477
AT ITER 9697 NEW BEST:: SOT 30456060 SOS 7499253 HAS SOPS 7499253 HAS SOUS 3641226 HAS SOUPS 3641226 WITH SCORE 3648725.253
AT ITER 9716 NEW BEST:: SOT 30455964 SOS 7499157 HAS SOPS 7499157 HAS SOUS 3641130 HAS SOUPS 3641130 WITH SCORE 3648629.157
AT ITER 9772 NEW BEST:: SOT 30456064 SOS 7499507 HAS SOPS 7499507 HAS SOUS 3640661 HAS SOUPS 3640661 WITH SCORE 3648160.507
AT ITER 9782 NEW BEST:: SOT 30455707 SOS 7498793 HAS SOPS 7498793 HAS SOUS 3639454 HAS SOUPS 3639454 WITH SCORE 3646952.793
AT ITER 9784 NEW BEST:: SOT 30456166 SOS 7499711 HAS SOPS 7499711 HAS SOUS 3639299 HAS SOUPS 3639299 WITH SCORE 3646798.711
AT ITER 9803 NEW BEST:: SOT 30456166 SOS 7499708 HAS SOPS 7499708 HAS SOUS 3639298 HAS SOUPS 3639298 WITH SCORE 3646797.708
AT ITER 9805 NEW BEST:: SOT 30455906 SOS 7499542 HAS SOPS 7499542 HAS SOUS 3639132 HAS SOUPS 3639132 WITH SCORE 3646631.542
AT ITER 9813 NEW BEST:: SOT 30455906 SOS 7498196 HAS SOPS 7498196 HAS SOUS 3639005 HAS SOUPS 3639005 WITH SCORE 3646503.196
AT ITER 9883 NEW BEST:: SOT 30455351 SOS 7498592 HAS SOPS 7498592 HAS SOUS 3638952 HAS SOUPS 3638952 WITH SCORE 3646450.592
AT ITER 9891 NEW BEST:: SOT 30455350 SOS 7498590 HAS SOPS 7498590 HAS SOUS 3638920 HAS SOUPS 3638920 WITH SCORE 3646418.59
AT ITER 9893 NEW BEST:: SOT 30455350 SOS 7498282 HAS SOPS 7498282 HAS SOUS 3638612 HAS SOUPS 3638612 WITH SCORE 3646110.282
AT ITER 9897 NEW BEST:: SOT 30453904 SOS 7497799 HAS SOPS 7497799 HAS SOUS 3638034 HAS SOUPS 3638034 WITH SCORE 3645531.799
AT ITER 9903 NEW BEST:: SOT 30453612 SOS 7497384 HAS SOPS 7497384 HAS SOUS 3637619 HAS SOUPS 3637619 WITH SCORE 3645116.384
AT ITER 9912 NEW BEST:: SOT 30453243 SOS 7497484 HAS SOPS 7497484 HAS SOUS 3637358 HAS SOUPS 3637358 WITH SCORE 3644855.484
AT ITER 9934 NEW BEST:: SOT 30453243 SOS 7497325 HAS SOPS 7497325 HAS SOUS 3636955 HAS SOUPS 3636955 WITH SCORE 3644452.325
AT ITER 9940 NEW BEST:: SOT 30453243 SOS 7497827 HAS SOPS 7497827 HAS SOUS 3636953 HAS SOUPS 3636953 WITH SCORE 3644450.827
AT ITER 9947 NEW BEST:: SOT 30453103 SOS 7497547 HAS SOPS 7497547 HAS SOUS 3636812 HAS SOUPS 3636812 WITH SCORE 3644309.547
AT ITER 9948 NEW BEST:: SOT 30453025 SOS 7497391 HAS SOPS 7497391 HAS SOUS 3636605 HAS SOUPS 3636605 WITH SCORE 3644102.391
AT ITER 9966 NEW BEST:: SOT 30452859 SOS 7497059 HAS SOPS 7497059 HAS SOUS 3636415 HAS SOUPS 3636415 WITH SCORE 3643912.059

BK_TIME_CONFINEMENT_REACHED

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

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="DLCround-PT-13b"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is DLCround-PT-13b, 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 r048-ebro-158902542400624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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