Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538800480.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S02D1C1A10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538800480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.3M
-rw-r--r-- 1 mcc users 4.4K May 14 04:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 04:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K May 13 22:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 22:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.1K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.8K May 13 15:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 15:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K May 13 11:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 11:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 8.1M May 12 20:42 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 1590473502221

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

Filename model.pnml
Petri model created: 8189 places, 10235 transitions, 22517 arcs.
AT ITER 0 NEW BEST:: SOT 52392964 SOS 14691318 HAS SOPS 14691318 HAS SOUS 9100961 HAS SOUPS 9100961 WITH SCORE 9115652.318
AT ITER 4 NEW BEST:: SOT 52390318 SOS 14687348 HAS SOPS 14687348 HAS SOUS 9100958 HAS SOUPS 9100958 WITH SCORE 9115645.348
AT ITER 22 NEW BEST:: SOT 52388710 SOS 14684936 HAS SOPS 14684936 HAS SOUS 9100958 HAS SOUPS 9100958 WITH SCORE 9115642.936
AT ITER 29 NEW BEST:: SOT 52387468 SOS 14683073 HAS SOPS 14683073 HAS SOUS 9100958 HAS SOUPS 9100958 WITH SCORE 9115641.073
AT ITER 38 NEW BEST:: SOT 52386327 SOS 14681607 HAS SOPS 14681607 HAS SOUS 9100633 HAS SOUPS 9100633 WITH SCORE 9115314.607
AT ITER 49 NEW BEST:: SOT 52383025 SOS 14677462 HAS SOPS 14677462 HAS SOUS 9099788 HAS SOUPS 9099788 WITH SCORE 9114465.462
AT ITER 62 NEW BEST:: SOT 52380844 SOS 14674553 HAS SOPS 14674553 HAS SOUS 9099058 HAS SOUPS 9099058 WITH SCORE 9113732.553
AT ITER 71 NEW BEST:: SOT 52380328 SOS 14673958 HAS SOPS 14673958 HAS SOUS 9099033 HAS SOUPS 9099033 WITH SCORE 9113706.958
AT ITER 74 NEW BEST:: SOT 52377786 SOS 14670144 HAS SOPS 14670144 HAS SOUS 9099030 HAS SOUPS 9099030 WITH SCORE 9113700.144
AT ITER 79 NEW BEST:: SOT 52376850 SOS 14668895 HAS SOPS 14668895 HAS SOUS 9098715 HAS SOUPS 9098715 WITH SCORE 9113383.895
AT ITER 86 NEW BEST:: SOT 52374170 SOS 14664875 HAS SOPS 14664875 HAS SOUS 9098715 HAS SOUPS 9098715 WITH SCORE 9113379.875
AT ITER 105 NEW BEST:: SOT 52371574 SOS 14660980 HAS SOPS 14660980 HAS SOUS 9098712 HAS SOUPS 9098712 WITH SCORE 9113372.98
AT ITER 133 NEW BEST:: SOT 52370076 SOS 14658733 HAS SOPS 14658733 HAS SOUS 9098712 HAS SOUPS 9098712 WITH SCORE 9113370.733
AT ITER 140 NEW BEST:: SOT 52368242 SOS 14655981 HAS SOPS 14655981 HAS SOUS 9098709 HAS SOUPS 9098709 WITH SCORE 9113364.981
AT ITER 150 NEW BEST:: SOT 52364928 SOS 14651009 HAS SOPS 14651009 HAS SOUS 9098706 HAS SOUPS 9098706 WITH SCORE 9113357.009
AT ITER 172 NEW BEST:: SOT 52361643 SOS 14647166 HAS SOPS 14647166 HAS SOUS 9098195 HAS SOUPS 9098195 WITH SCORE 9112842.166
AT ITER 212 NEW BEST:: SOT 52359793 SOS 14644391 HAS SOPS 14644391 HAS SOUS 9098195 HAS SOUPS 9098195 WITH SCORE 9112839.391
AT ITER 215 NEW BEST:: SOT 52357267 SOS 14641023 HAS SOPS 14641023 HAS SOUS 9097353 HAS SOUPS 9097353 WITH SCORE 9111994.023
AT ITER 253 NEW BEST:: SOT 52355913 SOS 14638992 HAS SOPS 14638992 HAS SOUS 9097353 HAS SOUPS 9097353 WITH SCORE 9111991.992
AT ITER 257 NEW BEST:: SOT 52352393 SOS 14633711 HAS SOPS 14633711 HAS SOUS 9097350 HAS SOUPS 9097350 WITH SCORE 9111983.711
AT ITER 279 NEW BEST:: SOT 52351430 SOS 14632426 HAS SOPS 14632426 HAS SOUS 9097026 HAS SOUPS 9097026 WITH SCORE 9111658.426
AT ITER 305 NEW BEST:: SOT 52348074 SOS 14628792 HAS SOPS 14628792 HAS SOUS 9096872 HAS SOUPS 9096872 WITH SCORE 9111500.792
AT ITER 350 NEW BEST:: SOT 52346434 SOS 14626332 HAS SOPS 14626332 HAS SOUS 9096872 HAS SOUPS 9096872 WITH SCORE 9111498.332
AT ITER 352 NEW BEST:: SOT 52344792 SOS 14623869 HAS SOPS 14623869 HAS SOUS 9096872 HAS SOUPS 9096872 WITH SCORE 9111495.869
AT ITER 361 NEW BEST:: SOT 52342104 SOS 14620770 HAS SOPS 14620770 HAS SOUS 9096495 HAS SOUPS 9096495 WITH SCORE 9111115.77
AT ITER 371 NEW BEST:: SOT 52339132 SOS 14616311 HAS SOPS 14616311 HAS SOUS 9096492 HAS SOUPS 9096492 WITH SCORE 9111108.311
AT ITER 409 NEW BEST:: SOT 52337154 SOS 14613740 HAS SOPS 14613740 HAS SOUS 9095937 HAS SOUPS 9095937 WITH SCORE 9110550.74
AT ITER 416 NEW BEST:: SOT 52335842 SOS 14611772 HAS SOPS 14611772 HAS SOUS 9095937 HAS SOUPS 9095937 WITH SCORE 9110548.772
AT ITER 457 NEW BEST:: SOT 52333760 SOS 14608996 HAS SOPS 14608996 HAS SOUS 9095243 HAS SOUPS 9095243 WITH SCORE 9109851.996
AT ITER 458 NEW BEST:: SOT 52332586 SOS 14607235 HAS SOPS 14607235 HAS SOUS 9095243 HAS SOUPS 9095243 WITH SCORE 9109850.235
AT ITER 460 NEW BEST:: SOT 52329936 SOS 14603260 HAS SOPS 14603260 HAS SOUS 9095243 HAS SOUPS 9095243 WITH SCORE 9109846.26
AT ITER 488 NEW BEST:: SOT 52328238 SOS 14600712 HAS SOPS 14600712 HAS SOUS 9095240 HAS SOUPS 9095240 WITH SCORE 9109840.712
AT ITER 500 NEW BEST:: SOT 52326604 SOS 14598260 HAS SOPS 14598260 HAS SOUS 9095237 HAS SOUPS 9095237 WITH SCORE 9109835.26
AT ITER 518 NEW BEST:: SOT 52325009 SOS 14596286 HAS SOPS 14596286 HAS SOUS 9094858 HAS SOUPS 9094858 WITH SCORE 9109454.286
AT ITER 547 NEW BEST:: SOT 52323896 SOS 14594801 HAS SOPS 14594801 HAS SOUS 9094484 HAS SOUPS 9094484 WITH SCORE 9109078.801
AT ITER 555 NEW BEST:: SOT 52322735 SOS 14593253 HAS SOPS 14593253 HAS SOUS 9094097 HAS SOUPS 9094097 WITH SCORE 9108690.253
AT ITER 557 NEW BEST:: SOT 52321529 SOS 14591645 HAS SOPS 14591645 HAS SOUS 9093695 HAS SOUPS 9093695 WITH SCORE 9108286.645
AT ITER 583 NEW BEST:: SOT 52319975 SOS 14589573 HAS SOPS 14589573 HAS SOUS 9093177 HAS SOUPS 9093177 WITH SCORE 9107766.573
AT ITER 652 NEW BEST:: SOT 52317386 SOS 14586304 HAS SOPS 14586304 HAS SOUS 9092495 HAS SOUPS 9092495 WITH SCORE 9107081.304
AT ITER 669 NEW BEST:: SOT 52315240 SOS 14583084 HAS SOPS 14583084 HAS SOUS 9092492 HAS SOUPS 9092492 WITH SCORE 9107075.084
AT ITER 678 NEW BEST:: SOT 52314236 SOS 14581577 HAS SOPS 14581577 HAS SOUS 9092489 HAS SOUPS 9092489 WITH SCORE 9107070.577
AT ITER 705 NEW BEST:: SOT 52312980 SOS 14579995 HAS SOPS 14579995 HAS SOUS 9092218 HAS SOUPS 9092218 WITH SCORE 9106797.995
AT ITER 709 NEW BEST:: SOT 52311234 SOS 14577667 HAS SOPS 14577667 HAS SOUS 9091636 HAS SOUPS 9091636 WITH SCORE 9106213.667
AT ITER 720 NEW BEST:: SOT 52308862 SOS 14574109 HAS SOPS 14574109 HAS SOUS 9091636 HAS SOUPS 9091636 WITH SCORE 9106210.109
AT ITER 764 NEW BEST:: SOT 52306146 SOS 14570035 HAS SOPS 14570035 HAS SOUS 9091636 HAS SOUPS 9091636 WITH SCORE 9106206.035
AT ITER 772 NEW BEST:: SOT 52303407 SOS 14566383 HAS SOPS 14566383 HAS SOUS 9090723 HAS SOUPS 9090723 WITH SCORE 9105289.383
AT ITER 785 NEW BEST:: SOT 52301997 SOS 14564268 HAS SOPS 14564268 HAS SOUS 9090723 HAS SOUPS 9090723 WITH SCORE 9105287.268
AT ITER 838 NEW BEST:: SOT 52299420 SOS 14561040 HAS SOPS 14561040 HAS SOUS 9090072 HAS SOUPS 9090072 WITH SCORE 9104633.04
AT ITER 841 NEW BEST:: SOT 52297352 SOS 14557937 HAS SOPS 14557937 HAS SOUS 9090069 HAS SOUPS 9090069 WITH SCORE 9104626.937
AT ITER 852 NEW BEST:: SOT 52293750 SOS 14553855 HAS SOPS 14553855 HAS SOUS 9089683 HAS SOUPS 9089683 WITH SCORE 9104236.855
AT ITER 855 NEW BEST:: SOT 52291466 SOS 14550429 HAS SOPS 14550429 HAS SOUS 9089683 HAS SOUPS 9089683 WITH SCORE 9104233.429
AT ITER 865 NEW BEST:: SOT 52290696 SOS 14549273 HAS SOPS 14549273 HAS SOUS 9089680 HAS SOUPS 9089680 WITH SCORE 9104229.273
AT ITER 889 NEW BEST:: SOT 52287816 SOS 14544953 HAS SOPS 14544953 HAS SOUS 9089680 HAS SOUPS 9089680 WITH SCORE 9104224.953
AT ITER 913 NEW BEST:: SOT 52286055 SOS 14542605 HAS SOPS 14542605 HAS SOUS 9089093 HAS SOUPS 9089093 WITH SCORE 9103635.605
AT ITER 915 NEW BEST:: SOT 52282339 SOS 14538275 HAS SOPS 14538275 HAS SOUS 9088549 HAS SOUPS 9088549 WITH SCORE 9103087.275
AT ITER 916 NEW BEST:: SOT 52281351 SOS 14536793 HAS SOPS 14536793 HAS SOUS 9088549 HAS SOUPS 9088549 WITH SCORE 9103085.793
AT ITER 923 NEW BEST:: SOT 52278650 SOS 14533426 HAS SOPS 14533426 HAS SOUS 9087881 HAS SOUPS 9087881 WITH SCORE 9102414.426
AT ITER 940 NEW BEST:: SOT 52276748 SOS 14530890 HAS SOPS 14530890 HAS SOUS 9087247 HAS SOUPS 9087247 WITH SCORE 9101777.89
AT ITER 945 NEW BEST:: SOT 52273592 SOS 14526922 HAS SOPS 14526922 HAS SOUS 9086435 HAS SOUPS 9086435 WITH SCORE 9100961.922
AT ITER 972 NEW BEST:: SOT 52271639 SOS 14524318 HAS SOPS 14524318 HAS SOUS 9085784 HAS SOUPS 9085784 WITH SCORE 9100308.318
AT ITER 973 NEW BEST:: SOT 52269884 SOS 14521978 HAS SOPS 14521978 HAS SOUS 9085199 HAS SOUPS 9085199 WITH SCORE 9099720.978
AT ITER 975 NEW BEST:: SOT 52269465 SOS 14521451 HAS SOPS 14521451 HAS SOUS 9085089 HAS SOUPS 9085089 WITH SCORE 9099610.451
AT ITER 1023 NEW BEST:: SOT 52267061 SOS 14517844 HAS SOPS 14517844 HAS SOUS 9085086 HAS SOUPS 9085086 WITH SCORE 9099603.844
AT ITER 1056 NEW BEST:: SOT 52263170 SOS 14513217 HAS SOPS 14513217 HAS SOUS 9084403 HAS SOUPS 9084403 WITH SCORE 9098916.217
AT ITER 1098 NEW BEST:: SOT 52261388 SOS 14510543 HAS SOPS 14510543 HAS SOUS 9084400 HAS SOUPS 9084400 WITH SCORE 9098910.543
AT ITER 1119 NEW BEST:: SOT 52259424 SOS 14507597 HAS SOPS 14507597 HAS SOUS 9084400 HAS SOUPS 9084400 WITH SCORE 9098907.597
AT ITER 1124 NEW BEST:: SOT 52255829 SOS 14501498 HAS SOPS 14501498 HAS SOUS 9081786 HAS SOUPS 9081786 WITH SCORE 9096287.498
AT ITER 1160 NEW BEST:: SOT 52252302 SOS 14497172 HAS SOPS 14497172 HAS SOUS 9080995 HAS SOUPS 9080995 WITH SCORE 9095492.172
AT ITER 1173 NEW BEST:: SOT 52251785 SOS 14496503 HAS SOPS 14496503 HAS SOUS 9080841 HAS SOUPS 9080841 WITH SCORE 9095337.503
AT ITER 1202 NEW BEST:: SOT 52249681 SOS 14493347 HAS SOPS 14493347 HAS SOUS 9080841 HAS SOUPS 9080841 WITH SCORE 9095334.347
AT ITER 1217 NEW BEST:: SOT 52247310 SOS 14490615 HAS SOPS 14490615 HAS SOUS 9080737 HAS SOUPS 9080737 WITH SCORE 9095227.615
AT ITER 1218 NEW BEST:: SOT 52245390 SOS 14487734 HAS SOPS 14487734 HAS SOUS 9080734 HAS SOUPS 9080734 WITH SCORE 9095221.734
AT ITER 1221 NEW BEST:: SOT 52243484 SOS 14484875 HAS SOPS 14484875 HAS SOUS 9080734 HAS SOUPS 9080734 WITH SCORE 9095218.875
AT ITER 1242 NEW BEST:: SOT 52242272 SOS 14483056 HAS SOPS 14483056 HAS SOUS 9080731 HAS SOUPS 9080731 WITH SCORE 9095214.056
AT ITER 1259 NEW BEST:: SOT 52240076 SOS 14479761 HAS SOPS 14479761 HAS SOUS 9080728 HAS SOUPS 9080728 WITH SCORE 9095207.761
AT ITER 1317 NEW BEST:: SOT 52237566 SOS 14475996 HAS SOPS 14475996 HAS SOUS 9080728 HAS SOUPS 9080728 WITH SCORE 9095203.996
AT ITER 1318 NEW BEST:: SOT 52235502 SOS 14472899 HAS SOPS 14472899 HAS SOUS 9080725 HAS SOUPS 9080725 WITH SCORE 9095197.899
AT ITER 1332 NEW BEST:: SOT 52235502 SOS 14472898 HAS SOPS 14472898 HAS SOUS 9080722 HAS SOUPS 9080722 WITH SCORE 9095194.898
AT ITER 1338 NEW BEST:: SOT 52233879 SOS 14470733 HAS SOPS 14470733 HAS SOUS 9080178 HAS SOUPS 9080178 WITH SCORE 9094648.733
AT ITER 1348 NEW BEST:: SOT 52233041 SOS 14469475 HAS SOPS 14469475 HAS SOUS 9080175 HAS SOUPS 9080175 WITH SCORE 9094644.475
AT ITER 1360 NEW BEST:: SOT 52230212 SOS 14465312 HAS SOPS 14465312 HAS SOUS 9077675 HAS SOUPS 9077675 WITH SCORE 9092140.312
AT ITER 1452 NEW BEST:: SOT 52227776 SOS 14462064 HAS SOPS 14462064 HAS SOUS 9076863 HAS SOUPS 9076863 WITH SCORE 9091325.064
AT ITER 1472 NEW BEST:: SOT 52224630 SOS 14457345 HAS SOPS 14457345 HAS SOUS 9076863 HAS SOUPS 9076863 WITH SCORE 9091320.345
AT ITER 1484 NEW BEST:: SOT 52222152 SOS 14453215 HAS SOPS 14453215 HAS SOUS 9073559 HAS SOUPS 9073559 WITH SCORE 9088012.215
AT ITER 1512 NEW BEST:: SOT 52220152 SOS 14450214 HAS SOPS 14450214 HAS SOUS 9073556 HAS SOUPS 9073556 WITH SCORE 9088006.214
AT ITER 1513 NEW BEST:: SOT 52217170 SOS 14446238 HAS SOPS 14446238 HAS SOUS 9072562 HAS SOUPS 9072562 WITH SCORE 9087008.238
AT ITER 1532 NEW BEST:: SOT 52215243 SOS 14442950 HAS SOPS 14442950 HAS SOUS 9071184 HAS SOUPS 9071184 WITH SCORE 9085626.95
AT ITER 1551 NEW BEST:: SOT 52213071 SOS 14439691 HAS SOPS 14439691 HAS SOUS 9071181 HAS SOUPS 9071181 WITH SCORE 9085620.691
AT ITER 1568 NEW BEST:: SOT 52210925 SOS 14436472 HAS SOPS 14436472 HAS SOUS 9071181 HAS SOUPS 9071181 WITH SCORE 9085617.472
AT ITER 1621 NEW BEST:: SOT 52209939 SOS 14435485 HAS SOPS 14435485 HAS SOUS 9071178 HAS SOUPS 9071178 WITH SCORE 9085613.485
AT ITER 1626 NEW BEST:: SOT 52207795 SOS 14432269 HAS SOPS 14432269 HAS SOUS 9071178 HAS SOUPS 9071178 WITH SCORE 9085610.269
AT ITER 1650 NEW BEST:: SOT 52207087 SOS 14431207 HAS SOPS 14431207 HAS SOUS 9071178 HAS SOUPS 9071178 WITH SCORE 9085609.207
AT ITER 1666 NEW BEST:: SOT 52205713 SOS 14429146 HAS SOPS 14429146 HAS SOUS 9071178 HAS SOUPS 9071178 WITH SCORE 9085607.146
AT ITER 1676 NEW BEST:: SOT 52203075 SOS 14425907 HAS SOPS 14425907 HAS SOUS 9070575 HAS SOUPS 9070575 WITH SCORE 9085000.907
AT ITER 1729 NEW BEST:: SOT 52201853 SOS 14424364 HAS SOPS 14424364 HAS SOUS 9070304 HAS SOUPS 9070304 WITH SCORE 9084728.364
AT ITER 1730 NEW BEST:: SOT 52201415 SOS 14423707 HAS SOPS 14423707 HAS SOUS 9070304 HAS SOUPS 9070304 WITH SCORE 9084727.707
AT ITER 1736 NEW BEST:: SOT 52201279 SOS 14423503 HAS SOPS 14423503 HAS SOUS 9070304 HAS SOUPS 9070304 WITH SCORE 9084727.503
AT ITER 1762 NEW BEST:: SOT 52198257 SOS 14418970 HAS SOPS 14418970 HAS SOUS 9070304 HAS SOUPS 9070304 WITH SCORE 9084722.97
AT ITER 1766 NEW BEST:: SOT 52194625 SOS 14413522 HAS SOPS 14413522 HAS SOUS 9070304 HAS SOUPS 9070304 WITH SCORE 9084717.522
AT ITER 1776 NEW BEST:: SOT 52191975 SOS 14409547 HAS SOPS 14409547 HAS SOUS 9070304 HAS SOUPS 9070304 WITH SCORE 9084713.547
AT ITER 1783 NEW BEST:: SOT 52191077 SOS 14408359 HAS SOPS 14408359 HAS SOUS 9070019 HAS SOUPS 9070019 WITH SCORE 9084427.359
AT ITER 1784 NEW BEST:: SOT 52188331 SOS 14404240 HAS SOPS 14404240 HAS SOUS 9070019 HAS SOUPS 9070019 WITH SCORE 9084423.24
AT ITER 1844 NEW BEST:: SOT 52186965 SOS 14402186 HAS SOPS 14402186 HAS SOUS 9067975 HAS SOUPS 9067975 WITH SCORE 9082377.186
AT ITER 1864 NEW BEST:: SOT 52184707 SOS 14398799 HAS SOPS 14398799 HAS SOUS 9067975 HAS SOUPS 9067975 WITH SCORE 9082373.799
AT ITER 1869 NEW BEST:: SOT 52182679 SOS 14396188 HAS SOPS 14396188 HAS SOUS 9067446 HAS SOUPS 9067446 WITH SCORE 9081842.188
AT ITER 1871 NEW BEST:: SOT 52181763 SOS 14394813 HAS SOPS 14394813 HAS SOUS 9067443 HAS SOUPS 9067443 WITH SCORE 9081837.813
AT ITER 1891 NEW BEST:: SOT 52179630 SOS 14392209 HAS SOPS 14392209 HAS SOUS 9066972 HAS SOUPS 9066972 WITH SCORE 9081364.209
AT ITER 2029 NEW BEST:: SOT 52176915 SOS 14389126 HAS SOPS 14389126 HAS SOUS 9066651 HAS SOUPS 9066651 WITH SCORE 9081040.126
AT ITER 2039 NEW BEST:: SOT 52175103 SOS 14386408 HAS SOPS 14386408 HAS SOUS 9066651 HAS SOUPS 9066651 WITH SCORE 9081037.408
AT ITER 2040 NEW BEST:: SOT 52172315 SOS 14382951 HAS SOPS 14382951 HAS SOUS 9065980 HAS SOUPS 9065980 WITH SCORE 9080362.951
AT ITER 2044 NEW BEST:: SOT 52168869 SOS 14377782 HAS SOPS 14377782 HAS SOUS 9065980 HAS SOUPS 9065980 WITH SCORE 9080357.782
AT ITER 2063 NEW BEST:: SOT 52168007 SOS 14376488 HAS SOPS 14376488 HAS SOUS 9065977 HAS SOUPS 9065977 WITH SCORE 9080353.488
AT ITER 2094 NEW BEST:: SOT 52166321 SOS 14373958 HAS SOPS 14373958 HAS SOUS 9065974 HAS SOUPS 9065974 WITH SCORE 9080347.958
AT ITER 2095 NEW BEST:: SOT 52165358 SOS 14372674 HAS SOPS 14372674 HAS SOUS 9065653 HAS SOUPS 9065653 WITH SCORE 9080025.674
AT ITER 2103 NEW BEST:: SOT 52163406 SOS 14370201 HAS SOPS 14370201 HAS SOUS 9065130 HAS SOUPS 9065130 WITH SCORE 9079500.201
AT ITER 2105 NEW BEST:: SOT 52161194 SOS 14366883 HAS SOPS 14366883 HAS SOUS 9065130 HAS SOUPS 9065130 WITH SCORE 9079496.883
AT ITER 2123 NEW BEST:: SOT 52160480 SOS 14366169 HAS SOPS 14366169 HAS SOUS 9065130 HAS SOUPS 9065130 WITH SCORE 9079496.169
AT ITER 2139 NEW BEST:: SOT 52159139 SOS 14364484 HAS SOPS 14364484 HAS SOUS 9064784 HAS SOUPS 9064784 WITH SCORE 9079148.484
AT ITER 2142 NEW BEST:: SOT 52157450 SOS 14362442 HAS SOPS 14362442 HAS SOUS 9064440 HAS SOUPS 9064440 WITH SCORE 9078802.442
AT ITER 2153 NEW BEST:: SOT 52157264 SOS 14362163 HAS SOPS 14362163 HAS SOUS 9064440 HAS SOUPS 9064440 WITH SCORE 9078802.163
AT ITER 2154 NEW BEST:: SOT 52154911 SOS 14359295 HAS SOPS 14359295 HAS SOUS 9063925 HAS SOUPS 9063925 WITH SCORE 9078284.295
AT ITER 2160 NEW BEST:: SOT 52154503 SOS 14358750 HAS SOPS 14358750 HAS SOUS 9063786 HAS SOUPS 9063786 WITH SCORE 9078144.75
AT ITER 2162 NEW BEST:: SOT 52152037 SOS 14355461 HAS SOPS 14355461 HAS SOUS 9062961 HAS SOUPS 9062961 WITH SCORE 9077316.461
AT ITER 2173 NEW BEST:: SOT 52151441 SOS 14354865 HAS SOPS 14354865 HAS SOUS 9062961 HAS SOUPS 9062961 WITH SCORE 9077315.865
AT ITER 2179 NEW BEST:: SOT 52150335 SOS 14353758 HAS SOPS 14353758 HAS SOUS 9062958 HAS SOUPS 9062958 WITH SCORE 9077311.758
AT ITER 2186 NEW BEST:: SOT 52148991 SOS 14352052 HAS SOPS 14352052 HAS SOUS 9062596 HAS SOUPS 9062596 WITH SCORE 9076948.052
AT ITER 2190 NEW BEST:: SOT 52148757 SOS 14351748 HAS SOPS 14351748 HAS SOUS 9062526 HAS SOUPS 9062526 WITH SCORE 9076877.748
AT ITER 2215 NEW BEST:: SOT 52148757 SOS 14351747 HAS SOPS 14351747 HAS SOUS 9062523 HAS SOUPS 9062523 WITH SCORE 9076874.747
AT ITER 2238 NEW BEST:: SOT 52145677 SOS 14347871 HAS SOPS 14347871 HAS SOUS 9061727 HAS SOUPS 9061727 WITH SCORE 9076074.871
AT ITER 2248 NEW BEST:: SOT 52145063 SOS 14347084 HAS SOPS 14347084 HAS SOUS 9061552 HAS SOUPS 9061552 WITH SCORE 9075899.084
AT ITER 2274 NEW BEST:: SOT 52143403 SOS 14344593 HAS SOPS 14344593 HAS SOUS 9061549 HAS SOUPS 9061549 WITH SCORE 9075893.593
AT ITER 2292 NEW BEST:: SOT 52140595 SOS 14341382 HAS SOPS 14341382 HAS SOUS 9061192 HAS SOUPS 9061192 WITH SCORE 9075533.382
AT ITER 2293 NEW BEST:: SOT 52136897 SOS 14337292 HAS SOPS 14337292 HAS SOUS 9060924 HAS SOUPS 9060924 WITH SCORE 9075261.292
AT ITER 2299 NEW BEST:: SOT 52135598 SOS 14335560 HAS SOPS 14335560 HAS SOUS 9060491 HAS SOUPS 9060491 WITH SCORE 9074826.56
AT ITER 2303 NEW BEST:: SOT 52133030 SOS 14331713 HAS SOPS 14331713 HAS SOUS 9059823 HAS SOUPS 9059823 WITH SCORE 9074154.713
AT ITER 2308 NEW BEST:: SOT 52130093 SOS 14327176 HAS SOPS 14327176 HAS SOUS 9058656 HAS SOUPS 9058656 WITH SCORE 9072983.176
AT ITER 2317 NEW BEST:: SOT 52128095 SOS 14324179 HAS SOPS 14324179 HAS SOUS 9058656 HAS SOUPS 9058656 WITH SCORE 9072980.179
AT ITER 2342 NEW BEST:: SOT 52124953 SOS 14319465 HAS SOPS 14319465 HAS SOUS 9058653 HAS SOUPS 9058653 WITH SCORE 9072972.465
AT ITER 2343 NEW BEST:: SOT 52122289 SOS 14315469 HAS SOPS 14315469 HAS SOUS 9058653 HAS SOUPS 9058653 WITH SCORE 9072968.469
AT ITER 2394 NEW BEST:: SOT 52120133 SOS 14312817 HAS SOPS 14312817 HAS SOUS 9058290 HAS SOUPS 9058290 WITH SCORE 9072602.817
AT ITER 2401 NEW BEST:: SOT 52117526 SOS 14310310 HAS SOPS 14310310 HAS SOUS 9057886 HAS SOUPS 9057886 WITH SCORE 9072196.31
AT ITER 2450 NEW BEST:: SOT 52114024 SOS 14305908 HAS SOPS 14305908 HAS SOUS 9056986 HAS SOUPS 9056986 WITH SCORE 9071291.908
AT ITER 2467 NEW BEST:: SOT 52112596 SOS 14304112 HAS SOPS 14304112 HAS SOUS 9056618 HAS SOUPS 9056618 WITH SCORE 9070922.112
AT ITER 2479 NEW BEST:: SOT 52110177 SOS 14301163 HAS SOPS 14301163 HAS SOUS 9056086 HAS SOUPS 9056086 WITH SCORE 9070387.163
AT ITER 2481 NEW BEST:: SOT 52107493 SOS 14297825 HAS SOPS 14297825 HAS SOUS 9055432 HAS SOUPS 9055432 WITH SCORE 9069729.825
AT ITER 2504 NEW BEST:: SOT 52105297 SOS 14293715 HAS SOPS 14293715 HAS SOUS 9052984 HAS SOUPS 9052984 WITH SCORE 9067277.715
AT ITER 2507 NEW BEST:: SOT 52103927 SOS 14291660 HAS SOPS 14291660 HAS SOUS 9052984 HAS SOUPS 9052984 WITH SCORE 9067275.66
AT ITER 2532 NEW BEST:: SOT 52102005 SOS 14289560 HAS SOPS 14289560 HAS SOUS 9052890 HAS SOUPS 9052890 WITH SCORE 9067179.56
AT ITER 2534 NEW BEST:: SOT 52100331 SOS 14287048 HAS SOPS 14287048 HAS SOUS 9052887 HAS SOUPS 9052887 WITH SCORE 9067174.048
AT ITER 2607 NEW BEST:: SOT 52099019 SOS 14285385 HAS SOPS 14285385 HAS SOUS 9052586 HAS SOUPS 9052586 WITH SCORE 9066871.385
AT ITER 2613 NEW BEST:: SOT 52098739 SOS 14284965 HAS SOPS 14284965 HAS SOUS 9052586 HAS SOUPS 9052586 WITH SCORE 9066870.965
AT ITER 2620 NEW BEST:: SOT 52098045 SOS 14283924 HAS SOPS 14283924 HAS SOUS 9052586 HAS SOUPS 9052586 WITH SCORE 9066869.924
AT ITER 2635 NEW BEST:: SOT 52094741 SOS 14278967 HAS SOPS 14278967 HAS SOUS 9052583 HAS SOUPS 9052583 WITH SCORE 9066861.967
AT ITER 2637 NEW BEST:: SOT 52094741 SOS 14278966 HAS SOPS 14278966 HAS SOUS 9052580 HAS SOUPS 9052580 WITH SCORE 9066858.966
AT ITER 2640 NEW BEST:: SOT 52092913 SOS 14276224 HAS SOPS 14276224 HAS SOUS 9052580 HAS SOUPS 9052580 WITH SCORE 9066856.224
AT ITER 2674 NEW BEST:: SOT 52090348 SOS 14272952 HAS SOPS 14272952 HAS SOUS 9051873 HAS SOUPS 9051873 WITH SCORE 9066145.952
AT ITER 2700 NEW BEST:: SOT 52089925 SOS 14272419 HAS SOPS 14272419 HAS SOUS 9051761 HAS SOUPS 9051761 WITH SCORE 9066033.419
AT ITER 2708 NEW BEST:: SOT 52086555 SOS 14267364 HAS SOPS 14267364 HAS SOUS 9051761 HAS SOUPS 9051761 WITH SCORE 9066028.364
AT ITER 2720 NEW BEST:: SOT 52083397 SOS 14263574 HAS SOPS 14263574 HAS SOUS 9051148 HAS SOUPS 9051148 WITH SCORE 9065411.574
AT ITER 2772 NEW BEST:: SOT 52083003 SOS 14263115 HAS SOPS 14263115 HAS SOUS 9051087 HAS SOUPS 9051087 WITH SCORE 9065350.115
AT ITER 2775 NEW BEST:: SOT 52082333 SOS 14261775 HAS SOPS 14261775 HAS SOUS 9050417 HAS SOUPS 9050417 WITH SCORE 9064678.775
AT ITER 2779 NEW BEST:: SOT 52079801 SOS 14257977 HAS SOPS 14257977 HAS SOUS 9050417 HAS SOUPS 9050417 WITH SCORE 9064674.977
AT ITER 2842 NEW BEST:: SOT 52077830 SOS 14255349 HAS SOPS 14255349 HAS SOUS 9049760 HAS SOUPS 9049760 WITH SCORE 9064015.349
AT ITER 2851 NEW BEST:: SOT 52076316 SOS 14253077 HAS SOPS 14253077 HAS SOUS 9049757 HAS SOUPS 9049757 WITH SCORE 9064010.077
AT ITER 2880 NEW BEST:: SOT 52075680 SOS 14252228 HAS SOPS 14252228 HAS SOUS 9049542 HAS SOUPS 9049542 WITH SCORE 9063794.228
AT ITER 2884 NEW BEST:: SOT 52074607 SOS 14250591 HAS SOPS 14250591 HAS SOUS 9047960 HAS SOUPS 9047960 WITH SCORE 9062210.591
AT ITER 2892 NEW BEST:: SOT 52072091 SOS 14246816 HAS SOPS 14246816 HAS SOUS 9047957 HAS SOUPS 9047957 WITH SCORE 9062203.816
AT ITER 2895 NEW BEST:: SOT 52071696 SOS 14246331 HAS SOPS 14246331 HAS SOUS 9047865 HAS SOUPS 9047865 WITH SCORE 9062111.331
AT ITER 2914 NEW BEST:: SOT 52070694 SOS 14244994 HAS SOPS 14244994 HAS SOUS 9047528 HAS SOUPS 9047528 WITH SCORE 9061772.994
AT ITER 2920 NEW BEST:: SOT 52069196 SOS 14243099 HAS SOPS 14243099 HAS SOUS 9047129 HAS SOUPS 9047129 WITH SCORE 9061372.099
AT ITER 2924 NEW BEST:: SOT 52066454 SOS 14239852 HAS SOPS 14239852 HAS SOUS 9046639 HAS SOUPS 9046639 WITH SCORE 9060878.852
AT ITER 2941 NEW BEST:: SOT 52062788 SOS 14234353 HAS SOPS 14234353 HAS SOUS 9046639 HAS SOUPS 9046639 WITH SCORE 9060873.353
AT ITER 2968 NEW BEST:: SOT 52060428 SOS 14229633 HAS SOPS 14229633 HAS SOUS 9043099 HAS SOUPS 9043099 WITH SCORE 9057328.633
AT ITER 2971 NEW BEST:: SOT 52058465 SOS 14227132 HAS SOPS 14227132 HAS SOUS 9042559 HAS SOUPS 9042559 WITH SCORE 9056786.132
AT ITER 2993 NEW BEST:: SOT 52056354 SOS 14224453 HAS SOPS 14224453 HAS SOUS 9041989 HAS SOUPS 9041989 WITH SCORE 9056213.453
AT ITER 3015 NEW BEST:: SOT 52055558 SOS 14223258 HAS SOPS 14223258 HAS SOUS 9041986 HAS SOUPS 9041986 WITH SCORE 9056209.258
AT ITER 3023 NEW BEST:: SOT 52053344 SOS 14219936 HAS SOPS 14219936 HAS SOUS 9041983 HAS SOUPS 9041983 WITH SCORE 9056202.936
AT ITER 3054 NEW BEST:: SOT 52050990 SOS 14216850 HAS SOPS 14216850 HAS SOUS 9041282 HAS SOUPS 9041282 WITH SCORE 9055498.85
AT ITER 3066 NEW BEST:: SOT 52048812 SOS 14212790 HAS SOPS 14212790 HAS SOUS 9039103 HAS SOUPS 9039103 WITH SCORE 9053315.79
AT ITER 3084 NEW BEST:: SOT 52047092 SOS 14210210 HAS SOPS 14210210 HAS SOUS 9039103 HAS SOUPS 9039103 WITH SCORE 9053313.21
AT ITER 3101 NEW BEST:: SOT 52046072 SOS 14208679 HAS SOPS 14208679 HAS SOUS 9039100 HAS SOUPS 9039100 WITH SCORE 9053308.679
AT ITER 3116 NEW BEST:: SOT 52042492 SOS 14203309 HAS SOPS 14203309 HAS SOUS 9039100 HAS SOUPS 9039100 WITH SCORE 9053303.309
AT ITER 3141 NEW BEST:: SOT 52039729 SOS 14199832 HAS SOPS 14199832 HAS SOUS 9038384 HAS SOUPS 9038384 WITH SCORE 9052583.832
AT ITER 3143 NEW BEST:: SOT 52037770 SOS 14196478 HAS SOPS 14196478 HAS SOUS 9036862 HAS SOUPS 9036862 WITH SCORE 9051058.478
AT ITER 3145 NEW BEST:: SOT 52035512 SOS 14193091 HAS SOPS 14193091 HAS SOUS 9036862 HAS SOUPS 9036862 WITH SCORE 9051055.091
AT ITER 3147 NEW BEST:: SOT 52033076 SOS 14188537 HAS SOPS 14188537 HAS SOUS 9034009 HAS SOUPS 9034009 WITH SCORE 9048197.537
AT ITER 3148 NEW BEST:: SOT 52031054 SOS 14185167 HAS SOPS 14185167 HAS SOUS 9031313 HAS SOUPS 9031313 WITH SCORE 9045498.167
AT ITER 3150 NEW BEST:: SOT 52029298 SOS 14182532 HAS SOPS 14182532 HAS SOUS 9031310 HAS SOUPS 9031310 WITH SCORE 9045492.532
AT ITER 3155 NEW BEST:: SOT 52028461 SOS 14181416 HAS SOPS 14181416 HAS SOUS 9031031 HAS SOUPS 9031031 WITH SCORE 9045212.416
AT ITER 3173 NEW BEST:: SOT 52027379 SOS 14179793 HAS SOPS 14179793 HAS SOUS 9031031 HAS SOUPS 9031031 WITH SCORE 9045210.793
AT ITER 3188 NEW BEST:: SOT 52025713 SOS 14177294 HAS SOPS 14177294 HAS SOUS 9031031 HAS SOUPS 9031031 WITH SCORE 9045208.294
AT ITER 3202 NEW BEST:: SOT 52022539 SOS 14172533 HAS SOPS 14172533 HAS SOUS 9031031 HAS SOUPS 9031031 WITH SCORE 9045203.533
AT ITER 3204 NEW BEST:: SOT 52019689 SOS 14168732 HAS SOPS 14168732 HAS SOUS 9030078 HAS SOUPS 9030078 WITH SCORE 9044246.732
AT ITER 3224 NEW BEST:: SOT 52015998 SOS 14164120 HAS SOPS 14164120 HAS SOUS 9029157 HAS SOUPS 9029157 WITH SCORE 9043321.12
AT ITER 3233 NEW BEST:: SOT 52013902 SOS 14161480 HAS SOPS 14161480 HAS SOUS 9028613 HAS SOUPS 9028613 WITH SCORE 9042774.48
AT ITER 3268 NEW BEST:: SOT 52012428 SOS 14159190 HAS SOPS 14159190 HAS SOUS 9026481 HAS SOUPS 9026481 WITH SCORE 9040640.19
AT ITER 3285 NEW BEST:: SOT 52010118 SOS 14156246 HAS SOPS 14156246 HAS SOUS 9025847 HAS SOUPS 9025847 WITH SCORE 9040003.246
AT ITER 3361 NEW BEST:: SOT 52007438 SOS 14152226 HAS SOPS 14152226 HAS SOUS 9025847 HAS SOUPS 9025847 WITH SCORE 9039999.226
AT ITER 3362 NEW BEST:: SOT 52005384 SOS 14149757 HAS SOPS 14149757 HAS SOUS 9025592 HAS SOUPS 9025592 WITH SCORE 9039741.757
AT ITER 3412 NEW BEST:: SOT 52003842 SOS 14147444 HAS SOPS 14147444 HAS SOUS 9025592 HAS SOUPS 9025592 WITH SCORE 9039739.444
AT ITER 3424 NEW BEST:: SOT 52002598 SOS 14144956 HAS SOPS 14144956 HAS SOUS 9023726 HAS SOUPS 9023726 WITH SCORE 9037870.956
AT ITER 3455 NEW BEST:: SOT 52000987 SOS 14142981 HAS SOPS 14142981 HAS SOUS 9023360 HAS SOUPS 9023360 WITH SCORE 9037502.981
AT ITER 3486 NEW BEST:: SOT 51999307 SOS 14140460 HAS SOPS 14140460 HAS SOUS 9023357 HAS SOUPS 9023357 WITH SCORE 9037497.46
AT ITER 3488 NEW BEST:: SOT 51997711 SOS 14138066 HAS SOPS 14138066 HAS SOUS 9023357 HAS SOUPS 9023357 WITH SCORE 9037495.066
AT ITER 3506 NEW BEST:: SOT 51994755 SOS 14133631 HAS SOPS 14133631 HAS SOUS 9023354 HAS SOUPS 9023354 WITH SCORE 9037487.631
AT ITER 3529 NEW BEST:: SOT 51993192 SOS 14131620 HAS SOPS 14131620 HAS SOUS 9022948 HAS SOUPS 9022948 WITH SCORE 9037079.62
AT ITER 3537 NEW BEST:: SOT 51991832 SOS 14129579 HAS SOPS 14129579 HAS SOUS 9022945 HAS SOUPS 9022945 WITH SCORE 9037074.579
AT ITER 3547 NEW BEST:: SOT 51991283 SOS 14128846 HAS SOPS 14128846 HAS SOUS 9022759 HAS SOUPS 9022759 WITH SCORE 9036887.846
AT ITER 3559 NEW BEST:: SOT 51990866 SOS 14128289 HAS SOPS 14128289 HAS SOUS 9022617 HAS SOUPS 9022617 WITH SCORE 9036745.289
AT ITER 3566 NEW BEST:: SOT 51987531 SOS 14124267 HAS SOPS 14124267 HAS SOUS 9021950 HAS SOUPS 9021950 WITH SCORE 9036074.267
AT ITER 3578 NEW BEST:: SOT 51984677 SOS 14119985 HAS SOPS 14119985 HAS SOUS 9021947 HAS SOUPS 9021947 WITH SCORE 9036066.985
AT ITER 3585 NEW BEST:: SOT 51981769 SOS 14115623 HAS SOPS 14115623 HAS SOUS 9021947 HAS SOUPS 9021947 WITH SCORE 9036062.623
AT ITER 3589 NEW BEST:: SOT 51979783 SOS 14112974 HAS SOPS 14112974 HAS SOUS 9021282 HAS SOUPS 9021282 WITH SCORE 9035394.974
AT ITER 3610 NEW BEST:: SOT 51976691 SOS 14108336 HAS SOPS 14108336 HAS SOUS 9021282 HAS SOUPS 9021282 WITH SCORE 9035390.336
AT ITER 3617 NEW BEST:: SOT 51975432 SOS 14106734 HAS SOPS 14106734 HAS SOUS 9020939 HAS SOUPS 9020939 WITH SCORE 9035045.734
AT ITER 3624 NEW BEST:: SOT 51974080 SOS 14104705 HAS SOPS 14104705 HAS SOUS 9020936 HAS SOUPS 9020936 WITH SCORE 9035040.705
AT ITER 3625 NEW BEST:: SOT 51972116 SOS 14101759 HAS SOPS 14101759 HAS SOUS 9020936 HAS SOUPS 9020936 WITH SCORE 9035037.759
AT ITER 3632 NEW BEST:: SOT 51970913 SOS 14100154 HAS SOPS 14100154 HAS SOUS 9020532 HAS SOUPS 9020532 WITH SCORE 9034632.154
AT ITER 3672 NEW BEST:: SOT 51967071 SOS 14095371 HAS SOPS 14095371 HAS SOUS 9019589 HAS SOUPS 9019589 WITH SCORE 9033684.371
AT ITER 3711 NEW BEST:: SOT 51964164 SOS 14092200 HAS SOPS 14092200 HAS SOUS 9019414 HAS SOUPS 9019414 WITH SCORE 9033506.2
AT ITER 3712 NEW BEST:: SOT 51960795 SOS 14086998 HAS SOPS 14086998 HAS SOUS 9015384 HAS SOUPS 9015384 WITH SCORE 9029470.998
AT ITER 3715 NEW BEST:: SOT 51960405 SOS 14086477 HAS SOPS 14086477 HAS SOUS 9015251 HAS SOUPS 9015251 WITH SCORE 9029337.477
AT ITER 3760 NEW BEST:: SOT 51959103 SOS 14084524 HAS SOPS 14084524 HAS SOUS 9015251 HAS SOUPS 9015251 WITH SCORE 9029335.524
AT ITER 3763 NEW BEST:: SOT 51957205 SOS 14082042 HAS SOPS 14082042 HAS SOUS 9014667 HAS SOUPS 9014667 WITH SCORE 9028749.042
AT ITER 3779 NEW BEST:: SOT 51954217 SOS 14077559 HAS SOPS 14077559 HAS SOUS 9014664 HAS SOUPS 9014664 WITH SCORE 9028741.559
AT ITER 3783 NEW BEST:: SOT 51952223 SOS 14073616 HAS SOPS 14073616 HAS SOUS 9011808 HAS SOUPS 9011808 WITH SCORE 9025881.616
AT ITER 3785 NEW BEST:: SOT 51952223 SOS 14073615 HAS SOPS 14073615 HAS SOUS 9011805 HAS SOUPS 9011805 WITH SCORE 9025878.615
AT ITER 3806 NEW BEST:: SOT 51950891 SOS 14071855 HAS SOPS 14071855 HAS SOUS 9011386 HAS SOUPS 9011386 WITH SCORE 9025457.855
AT ITER 3808 NEW BEST:: SOT 51950489 SOS 14071357 HAS SOPS 14071357 HAS SOUS 9011290 HAS SOUPS 9011290 WITH SCORE 9025361.357
AT ITER 3820 NEW BEST:: SOT 51948027 SOS 14068284 HAS SOPS 14068284 HAS SOUS 9010803 HAS SOUPS 9010803 WITH SCORE 9024871.284
AT ITER 3840 NEW BEST:: SOT 51944456 SOS 14063832 HAS SOPS 14063832 HAS SOUS 9009922 HAS SOUPS 9009922 WITH SCORE 9023985.832
AT ITER 3853 NEW BEST:: SOT 51943100 SOS 14062107 HAS SOPS 14062107 HAS SOUS 9009551 HAS SOUPS 9009551 WITH SCORE 9023613.107
AT ITER 3860 NEW BEST:: SOT 51940436 SOS 14059678 HAS SOPS 14059678 HAS SOUS 9009300 HAS SOUPS 9009300 WITH SCORE 9023359.678
AT ITER 3863 NEW BEST:: SOT 51939076 SOS 14057637 HAS SOPS 14057637 HAS SOUS 9009297 HAS SOUPS 9009297 WITH SCORE 9023354.637
AT ITER 3867 NEW BEST:: SOT 51937052 SOS 14053589 HAS SOPS 14053589 HAS SOUS 9006261 HAS SOUPS 9006261 WITH SCORE 9020314.589
AT ITER 3913 NEW BEST:: SOT 51936689 SOS 14053104 HAS SOPS 14053104 HAS SOUS 9006137 HAS SOUPS 9006137 WITH SCORE 9020190.104
AT ITER 3927 NEW BEST:: SOT 51935105 SOS 14050992 HAS SOPS 14050992 HAS SOUS 9005609 HAS SOUPS 9005609 WITH SCORE 9019659.992
AT ITER 3928 NEW BEST:: SOT 51933779 SOS 14049003 HAS SOPS 14049003 HAS SOUS 9005609 HAS SOUPS 9005609 WITH SCORE 9019658.003
AT ITER 3958 NEW BEST:: SOT 51931795 SOS 14046027 HAS SOPS 14046027 HAS SOUS 9005609 HAS SOUPS 9005609 WITH SCORE 9019655.027
AT ITER 4069 NEW BEST:: SOT 51929411 SOS 14042451 HAS SOPS 14042451 HAS SOUS 9005609 HAS SOUPS 9005609 WITH SCORE 9019651.451
AT ITER 4071 NEW BEST:: SOT 51929264 SOS 14042254 HAS SOPS 14042254 HAS SOUS 9005557 HAS SOUPS 9005557 WITH SCORE 9019599.254
AT ITER 4086 NEW BEST:: SOT 51928096 SOS 14040926 HAS SOPS 14040926 HAS SOUS 9005534 HAS SOUPS 9005534 WITH SCORE 9019574.926
AT ITER 4091 NEW BEST:: SOT 51925427 SOS 14037699 HAS SOPS 14037699 HAS SOUS 9004974 HAS SOUPS 9004974 WITH SCORE 9019011.699
AT ITER 4105 NEW BEST:: SOT 51923960 SOS 14035743 HAS SOPS 14035743 HAS SOUS 9004485 HAS SOUPS 9004485 WITH SCORE 9018520.743
AT ITER 4117 NEW BEST:: SOT 51922376 SOS 14033367 HAS SOPS 14033367 HAS SOUS 9004485 HAS SOUPS 9004485 WITH SCORE 9018518.367
AT ITER 4176 NEW BEST:: SOT 51922376 SOS 14033366 HAS SOPS 14033366 HAS SOUS 9004482 HAS SOUPS 9004482 WITH SCORE 9018515.366
AT ITER 4216 NEW BEST:: SOT 51920072 SOS 14029910 HAS SOPS 14029910 HAS SOUS 9004482 HAS SOUPS 9004482 WITH SCORE 9018511.91
AT ITER 4243 NEW BEST:: SOT 51916272 SOS 14023312 HAS SOPS 14023312 HAS SOUS 9001493 HAS SOUPS 9001493 WITH SCORE 9015516.312
AT ITER 4258 NEW BEST:: SOT 51915082 SOS 14022121 HAS SOPS 14022121 HAS SOUS 9001491 HAS SOUPS 9001491 WITH SCORE 9015513.121
AT ITER 4270 NEW BEST:: SOT 51914728 SOS 14021648 HAS SOPS 14021648 HAS SOUS 9001370 HAS SOUPS 9001370 WITH SCORE 9015391.648
AT ITER 4301 NEW BEST:: SOT 51911986 SOS 14017992 HAS SOPS 14017992 HAS SOUS 9000456 HAS SOUPS 9000456 WITH SCORE 9014473.992
AT ITER 4327 NEW BEST:: SOT 51910663 SOS 14016228 HAS SOPS 14016228 HAS SOUS 9000015 HAS SOUPS 9000015 WITH SCORE 9014031.228
AT ITER 4333 NEW BEST:: SOT 51907413 SOS 14011352 HAS SOPS 14011352 HAS SOUS 9000012 HAS SOUPS 9000012 WITH SCORE 9014023.352
AT ITER 4335 NEW BEST:: SOT 51906601 SOS 14009779 HAS SOPS 14009779 HAS SOUS 8998947 HAS SOUPS 8998947 WITH SCORE 9012956.779
AT ITER 4351 NEW BEST:: SOT 51903792 SOS 14005170 HAS SOPS 14005170 HAS SOUS 8997400 HAS SOUPS 8997400 WITH SCORE 9011405.17
AT ITER 4361 NEW BEST:: SOT 51903436 SOS 14004636 HAS SOPS 14004636 HAS SOUS 8997400 HAS SOUPS 8997400 WITH SCORE 9011404.636
AT ITER 4363 NEW BEST:: SOT 51903131 SOS 14004026 HAS SOPS 14004026 HAS SOUS 8997095 HAS SOUPS 8997095 WITH SCORE 9011099.026
AT ITER 4374 NEW BEST:: SOT 51902383 SOS 14002903 HAS SOPS 14002903 HAS SOUS 8997092 HAS SOUPS 8997092 WITH SCORE 9011094.903
AT ITER 4382 NEW BEST:: SOT 51901398 SOS 14001861 HAS SOPS 14001861 HAS SOUS 8997035 HAS SOUPS 8997035 WITH SCORE 9011036.861
AT ITER 4399 NEW BEST:: SOT 51900194 SOS 14000054 HAS SOPS 14000054 HAS SOUS 8997032 HAS SOUPS 8997032 WITH SCORE 9011032.054
AT ITER 4402 NEW BEST:: SOT 51899507 SOS 13999138 HAS SOPS 13999138 HAS SOUS 8996803 HAS SOUPS 8996803 WITH SCORE 9010802.138
AT ITER 4412 NEW BEST:: SOT 51899491 SOS 13999106 HAS SOPS 13999106 HAS SOUS 8996787 HAS SOUPS 8996787 WITH SCORE 9010786.106
AT ITER 4422 NEW BEST:: SOT 51898854 SOS 13997832 HAS SOPS 13997832 HAS SOUS 8996275 HAS SOUPS 8996275 WITH SCORE 9010272.832
AT ITER 4425 NEW BEST:: SOT 51895580 SOS 13992920 HAS SOPS 13992920 HAS SOUS 8996272 HAS SOUPS 8996272 WITH SCORE 9010264.92
AT ITER 4426 NEW BEST:: SOT 51893564 SOS 13989838 HAS SOPS 13989838 HAS SOUS 8994226 HAS SOUPS 8994226 WITH SCORE 9008215.838
AT ITER 4427 NEW BEST:: SOT 51892057 SOS 13988035 HAS SOPS 13988035 HAS SOUS 8993937 HAS SOUPS 8993937 WITH SCORE 9007925.035
AT ITER 4430 NEW BEST:: SOT 51889835 SOS 13985702 HAS SOPS 13985702 HAS SOUS 8993808 HAS SOUPS 8993808 WITH SCORE 9007793.702
AT ITER 4464 NEW BEST:: SOT 51888753 SOS 13984319 HAS SOPS 13984319 HAS SOUS 8993505 HAS SOUPS 8993505 WITH SCORE 9007489.319
AT ITER 4477 NEW BEST:: SOT 51888363 SOS 13983799 HAS SOPS 13983799 HAS SOUS 8993375 HAS SOUPS 8993375 WITH SCORE 9007358.799
AT ITER 4499 NEW BEST:: SOT 51885804 SOS 13980565 HAS SOPS 13980565 HAS SOUS 8992700 HAS SOUPS 8992700 WITH SCORE 9006680.565
AT ITER 4516 NEW BEST:: SOT 51883181 SOS 13977214 HAS SOPS 13977214 HAS SOUS 8991970 HAS SOUPS 8991970 WITH SCORE 9005947.214
AT ITER 4520 NEW BEST:: SOT 51882770 SOS 13976666 HAS SOPS 13976666 HAS SOUS 8991833 HAS SOUPS 8991833 WITH SCORE 9005809.666
AT ITER 4561 NEW BEST:: SOT 51880418 SOS 13973138 HAS SOPS 13973138 HAS SOUS 8991833 HAS SOUPS 8991833 WITH SCORE 9005806.138
AT ITER 4586 NEW BEST:: SOT 51878708 SOS 13970549 HAS SOPS 13970549 HAS SOUS 8991434 HAS SOUPS 8991434 WITH SCORE 9005404.549
AT ITER 4637 NEW BEST:: SOT 51875794 SOS 13967375 HAS SOPS 13967375 HAS SOUS 8991174 HAS SOUPS 8991174 WITH SCORE 9005141.375
AT ITER 4698 NEW BEST:: SOT 51873416 SOS 13963039 HAS SOPS 13963039 HAS SOUS 8988693 HAS SOUPS 8988693 WITH SCORE 9002656.039
AT ITER 4720 NEW BEST:: SOT 51873092 SOS 13962607 HAS SOPS 13962607 HAS SOUS 8988585 HAS SOUPS 8988585 WITH SCORE 9002547.607
AT ITER 4736 NEW BEST:: SOT 51872079 SOS 13961318 HAS SOPS 13961318 HAS SOUS 8988307 HAS SOUPS 8988307 WITH SCORE 9002268.318
AT ITER 4830 NEW BEST:: SOT 51869590 SOS 13958213 HAS SOPS 13958213 HAS SOUS 8987689 HAS SOUPS 8987689 WITH SCORE 9001647.213
AT ITER 4850 NEW BEST:: SOT 51866070 SOS 13953858 HAS SOPS 13953858 HAS SOUS 8986852 HAS SOUPS 8986852 WITH SCORE 9000805.858
AT ITER 4864 NEW BEST:: SOT 51863058 SOS 13949842 HAS SOPS 13949842 HAS SOUS 8985848 HAS SOUPS 8985848 WITH SCORE 8999797.842
AT ITER 4877 NEW BEST:: SOT 51859024 SOS 13943791 HAS SOPS 13943791 HAS SOUS 8985848 HAS SOUPS 8985848 WITH SCORE 8999791.791
AT ITER 4907 NEW BEST:: SOT 51859166 SOS 13943677 HAS SOPS 13943677 HAS SOUS 8984725 HAS SOUPS 8984725 WITH SCORE 8998668.677
AT ITER 4921 NEW BEST:: SOT 51855681 SOS 13938430 HAS SOPS 13938430 HAS SOUS 8984094 HAS SOUPS 8984094 WITH SCORE 8998032.43
AT ITER 4999 NEW BEST:: SOT 51853967 SOS 13936611 HAS SOPS 13936611 HAS SOUS 8984061 HAS SOUPS 8984061 WITH SCORE 8997997.611
AT ITER 5020 NEW BEST:: SOT 51850965 SOS 13932107 HAS SOPS 13932107 HAS SOUS 8984058 HAS SOUPS 8984058 WITH SCORE 8997990.107
AT ITER 5027 NEW BEST:: SOT 51850251 SOS 13931227 HAS SOPS 13931227 HAS SOUS 8983892 HAS SOUPS 8983892 WITH SCORE 8997823.227
AT ITER 5028 NEW BEST:: SOT 51850251 SOS 13931226 HAS SOPS 13931226 HAS SOUS 8983889 HAS SOUPS 8983889 WITH SCORE 8997820.226
AT ITER 5051 NEW BEST:: SOT 51849509 SOS 13930112 HAS SOPS 13930112 HAS SOUS 8983886 HAS SOUPS 8983886 WITH SCORE 8997816.112
AT ITER 5107 NEW BEST:: SOT 51847293 SOS 13926787 HAS SOPS 13926787 HAS SOUS 8983883 HAS SOUPS 8983883 WITH SCORE 8997809.787
AT ITER 5146 NEW BEST:: SOT 51846767 SOS 13925998 HAS SOPS 13925998 HAS SOUS 8983883 HAS SOUPS 8983883 WITH SCORE 8997808.998
AT ITER 5183 NEW BEST:: SOT 51844904 SOS 13923582 HAS SOPS 13923582 HAS SOUS 8983330 HAS SOUPS 8983330 WITH SCORE 8997253.582
AT ITER 5194 NEW BEST:: SOT 51844154 SOS 13922457 HAS SOPS 13922457 HAS SOUS 8983330 HAS SOUPS 8983330 WITH SCORE 8997252.457
AT ITER 5214 NEW BEST:: SOT 51842319 SOS 13920173 HAS SOPS 13920173 HAS SOUS 8982881 HAS SOUPS 8982881 WITH SCORE 8996801.173
AT ITER 5222 NEW BEST:: SOT 51840649 SOS 13917668 HAS SOPS 13917668 HAS SOUS 8982881 HAS SOUPS 8982881 WITH SCORE 8996798.668
AT ITER 5228 NEW BEST:: SOT 51838279 SOS 13914714 HAS SOPS 13914714 HAS SOUS 8982420 HAS SOUPS 8982420 WITH SCORE 8996334.714
AT ITER 5262 NEW BEST:: SOT 51838129 SOS 13914513 HAS SOPS 13914513 HAS SOUS 8982367 HAS SOUPS 8982367 WITH SCORE 8996281.513
AT ITER 5269 NEW BEST:: SOT 51836389 SOS 13911903 HAS SOPS 13911903 HAS SOUS 8982367 HAS SOUPS 8982367 WITH SCORE 8996278.903
AT ITER 5273 NEW BEST:: SOT 51834841 SOS 13909581 HAS SOPS 13909581 HAS SOUS 8982367 HAS SOUPS 8982367 WITH SCORE 8996276.581
AT ITER 5300 NEW BEST:: SOT 51833053 SOS 13906898 HAS SOPS 13906898 HAS SOUS 8982364 HAS SOUPS 8982364 WITH SCORE 8996270.898
AT ITER 5320 NEW BEST:: SOT 51831262 SOS 13904510 HAS SOPS 13904510 HAS SOUS 8981767 HAS SOUPS 8981767 WITH SCORE 8995671.51
AT ITER 5327 NEW BEST:: SOT 51830564 SOS 13903463 HAS SOPS 13903463 HAS SOUS 8981767 HAS SOUPS 8981767 WITH SCORE 8995670.463
AT ITER 5340 NEW BEST:: SOT 51828692 SOS 13901419 HAS SOPS 13901419 HAS SOUS 8981595 HAS SOUPS 8981595 WITH SCORE 8995496.419
AT ITER 5348 NEW BEST:: SOT 51827164 SOS 13899127 HAS SOPS 13899127 HAS SOUS 8981595 HAS SOUPS 8981595 WITH SCORE 8995494.127
AT ITER 5356 NEW BEST:: SOT 51826378 SOS 13897947 HAS SOPS 13897947 HAS SOUS 8981592 HAS SOUPS 8981592 WITH SCORE 8995489.947
AT ITER 5360 NEW BEST:: SOT 51823805 SOS 13895165 HAS SOPS 13895165 HAS SOUS 8981459 HAS SOUPS 8981459 WITH SCORE 8995354.165
AT ITER 5366 NEW BEST:: SOT 51822743 SOS 13894103 HAS SOPS 13894103 HAS SOUS 8980928 HAS SOUPS 8980928 WITH SCORE 8994822.103
AT ITER 5372 NEW BEST:: SOT 51819921 SOS 13889869 HAS SOPS 13889869 HAS SOUS 8980925 HAS SOUPS 8980925 WITH SCORE 8994814.869
AT ITER 5373 NEW BEST:: SOT 51819073 SOS 13888596 HAS SOPS 13888596 HAS SOUS 8980922 HAS SOUPS 8980922 WITH SCORE 8994810.596
AT ITER 5383 NEW BEST:: SOT 51818213 SOS 13887668 HAS SOPS 13887668 HAS SOUS 8980284 HAS SOUPS 8980284 WITH SCORE 8994171.668
AT ITER 5384 NEW BEST:: SOT 51818016 SOS 13887274 HAS SOPS 13887274 HAS SOUS 8979989 HAS SOUPS 8979989 WITH SCORE 8993876.274
AT ITER 5390 NEW BEST:: SOT 51816245 SOS 13885049 HAS SOPS 13885049 HAS SOUS 8979533 HAS SOUPS 8979533 WITH SCORE 8993418.049
AT ITER 5427 NEW BEST:: SOT 51813780 SOS 13881664 HAS SOPS 13881664 HAS SOUS 8977525 HAS SOUPS 8977525 WITH SCORE 8991406.664
AT ITER 5448 NEW BEST:: SOT 51813255 SOS 13880964 HAS SOPS 13880964 HAS SOUS 8977350 HAS SOUPS 8977350 WITH SCORE 8991230.964
AT ITER 5459 NEW BEST:: SOT 51811987 SOS 13879695 HAS SOPS 13879695 HAS SOUS 8977347 HAS SOUPS 8977347 WITH SCORE 8991226.695
AT ITER 5480 NEW BEST:: SOT 51809501 SOS 13875966 HAS SOPS 13875966 HAS SOUS 8977347 HAS SOUPS 8977347 WITH SCORE 8991222.966
AT ITER 5488 NEW BEST:: SOT 51807336 SOS 13873412 HAS SOPS 13873412 HAS SOUS 8977157 HAS SOUPS 8977157 WITH SCORE 8991030.412
AT ITER 5503 NEW BEST:: SOT 51805769 SOS 13871031 HAS SOPS 13871031 HAS SOUS 8975460 HAS SOUPS 8975460 WITH SCORE 8989331.031
AT ITER 5531 NEW BEST:: SOT 51802696 SOS 13865896 HAS SOPS 13865896 HAS SOUS 8973575 HAS SOUPS 8973575 WITH SCORE 8987440.896
AT ITER 5578 NEW BEST:: SOT 51800398 SOS 13862449 HAS SOPS 13862449 HAS SOUS 8973575 HAS SOUPS 8973575 WITH SCORE 8987437.449
AT ITER 5591 NEW BEST:: SOT 51800230 SOS 13862225 HAS SOPS 13862225 HAS SOUS 8973519 HAS SOUPS 8973519 WITH SCORE 8987381.225
AT ITER 5655 NEW BEST:: SOT 51800230 SOS 13862224 HAS SOPS 13862224 HAS SOUS 8973516 HAS SOUPS 8973516 WITH SCORE 8987378.224
AT ITER 5668 NEW BEST:: SOT 51797560 SOS 13856884 HAS SOPS 13856884 HAS SOUS 8969511 HAS SOUPS 8969511 WITH SCORE 8983367.884
AT ITER 5676 NEW BEST:: SOT 51796800 SOS 13855744 HAS SOPS 13855744 HAS SOUS 8969511 HAS SOUPS 8969511 WITH SCORE 8983366.744
AT ITER 5697 NEW BEST:: SOT 51794134 SOS 13851835 HAS SOPS 13851835 HAS SOUS 8966949 HAS SOUPS 8966949 WITH SCORE 8980800.835
AT ITER 5702 NEW BEST:: SOT 51791284 SOS 13846879 HAS SOPS 13846879 HAS SOUS 8964633 HAS SOUPS 8964633 WITH SCORE 8978479.879
AT ITER 5708 NEW BEST:: SOT 51788477 SOS 13843549 HAS SOPS 13843549 HAS SOUS 8964357 HAS SOUPS 8964357 WITH SCORE 8978200.549
AT ITER 5712 NEW BEST:: SOT 51785703 SOS 13840046 HAS SOPS 13840046 HAS SOUS 8963626 HAS SOUPS 8963626 WITH SCORE 8977466.046
AT ITER 5720 NEW BEST:: SOT 51785660 SOS 13840020 HAS SOPS 13840020 HAS SOUS 8963626 HAS SOUPS 8963626 WITH SCORE 8977466.02
AT ITER 5721 NEW BEST:: SOT 51782708 SOS 13836361 HAS SOPS 13836361 HAS SOUS 8962917 HAS SOUPS 8962917 WITH SCORE 8976753.361
AT ITER 5749 NEW BEST:: SOT 51780300 SOS 13832749 HAS SOPS 13832749 HAS SOUS 8962917 HAS SOUPS 8962917 WITH SCORE 8976749.749
AT ITER 5752 NEW BEST:: SOT 51778662 SOS 13830292 HAS SOPS 13830292 HAS SOUS 8962917 HAS SOUPS 8962917 WITH SCORE 8976747.292
AT ITER 5765 NEW BEST:: SOT 51777980 SOS 13829269 HAS SOPS 13829269 HAS SOUS 8962917 HAS SOUPS 8962917 WITH SCORE 8976746.269
AT ITER 5774 NEW BEST:: SOT 51776900 SOS 13827649 HAS SOPS 13827649 HAS SOUS 8962917 HAS SOUPS 8962917 WITH SCORE 8976744.649
AT ITER 5801 NEW BEST:: SOT 51775038 SOS 13824855 HAS SOPS 13824855 HAS SOUS 8962914 HAS SOUPS 8962914 WITH SCORE 8976738.855
AT ITER 5810 NEW BEST:: SOT 51773326 SOS 13821431 HAS SOPS 13821431 HAS SOUS 8960346 HAS SOUPS 8960346 WITH SCORE 8974167.431
AT ITER 5811 NEW BEST:: SOT 51771961 SOS 13819611 HAS SOPS 13819611 HAS SOUS 8959891 HAS SOUPS 8959891 WITH SCORE 8973710.611
AT ITER 5821 NEW BEST:: SOT 51768253 SOS 13815100 HAS SOPS 13815100 HAS SOUS 8959016 HAS SOUPS 8959016 WITH SCORE 8972831.1
AT ITER 5878 NEW BEST:: SOT 51767751 SOS 13814096 HAS SOPS 13814096 HAS SOUS 8959016 HAS SOUPS 8959016 WITH SCORE 8972830.096
AT ITER 5906 NEW BEST:: SOT 51766055 SOS 13812643 HAS SOPS 13812643 HAS SOUS 8958850 HAS SOUPS 8958850 WITH SCORE 8972662.643
AT ITER 5925 NEW BEST:: SOT 51766055 SOS 13812391 HAS SOPS 13812391 HAS SOUS 8958094 HAS SOUPS 8958094 WITH SCORE 8971906.391
AT ITER 5967 NEW BEST:: SOT 51761651 SOS 13804770 HAS SOPS 13804770 HAS SOUS 8954579 HAS SOUPS 8954579 WITH SCORE 8968383.77
AT ITER 5969 NEW BEST:: SOT 51760423 SOS 13803256 HAS SOPS 13803256 HAS SOUS 8954293 HAS SOUPS 8954293 WITH SCORE 8968096.256
AT ITER 5988 NEW BEST:: SOT 51760185 SOS 13802780 HAS SOPS 13802780 HAS SOUS 8954041 HAS SOUPS 8954041 WITH SCORE 8967843.78
AT ITER 5997 NEW BEST:: SOT 51758641 SOS 13801044 HAS SOPS 13801044 HAS SOUS 8953849 HAS SOUPS 8953849 WITH SCORE 8967650.044
AT ITER 6006 NEW BEST:: SOT 51756385 SOS 13798199 HAS SOPS 13798199 HAS SOUS 8953356 HAS SOUPS 8953356 WITH SCORE 8967154.199
AT ITER 6018 NEW BEST:: SOT 51753491 SOS 13794594 HAS SOPS 13794594 HAS SOUS 8952643 HAS SOUPS 8952643 WITH SCORE 8966437.594
AT ITER 6032 NEW BEST:: SOT 51751726 SOS 13793143 HAS SOPS 13793143 HAS SOUS 8952569 HAS SOUPS 8952569 WITH SCORE 8966362.143
AT ITER 6040 NEW BEST:: SOT 51751426 SOS 13792542 HAS SOPS 13792542 HAS SOUS 8952337 HAS SOUPS 8952337 WITH SCORE 8966129.542
AT ITER 6044 NEW BEST:: SOT 51751092 SOS 13792260 HAS SOPS 13792260 HAS SOUS 8952337 HAS SOUPS 8952337 WITH SCORE 8966129.26
AT ITER 6047 NEW BEST:: SOT 51750187 SOS 13789735 HAS SOPS 13789735 HAS SOUS 8949869 HAS SOUPS 8949869 WITH SCORE 8963658.735
AT ITER 6059 NEW BEST:: SOT 51749824 SOS 13789250 HAS SOPS 13789250 HAS SOUS 8949745 HAS SOUPS 8949745 WITH SCORE 8963534.25
AT ITER 6060 NEW BEST:: SOT 51746916 SOS 13784888 HAS SOPS 13784888 HAS SOUS 8949745 HAS SOUPS 8949745 WITH SCORE 8963529.888
AT ITER 6083 NEW BEST:: SOT 51745154 SOS 13782599 HAS SOPS 13782599 HAS SOUS 8949216 HAS SOUPS 8949216 WITH SCORE 8962998.599
AT ITER 6101 NEW BEST:: SOT 51742944 SOS 13779284 HAS SOPS 13779284 HAS SOUS 8949216 HAS SOUPS 8949216 WITH SCORE 8962995.284
AT ITER 6168 NEW BEST:: SOT 51740530 SOS 13776266 HAS SOPS 13776266 HAS SOUS 8948612 HAS SOUPS 8948612 WITH SCORE 8962388.266
AT ITER 6169 NEW BEST:: SOT 51739891 SOS 13775414 HAS SOPS 13775414 HAS SOUS 8948399 HAS SOUPS 8948399 WITH SCORE 8962174.414
AT ITER 6176 NEW BEST:: SOT 51736505 SOS 13770334 HAS SOPS 13770334 HAS SOUS 8948396 HAS SOUPS 8948396 WITH SCORE 8962166.334
AT ITER 6194 NEW BEST:: SOT 51733715 SOS 13766149 HAS SOPS 13766149 HAS SOUS 8948396 HAS SOUPS 8948396 WITH SCORE 8962162.149
AT ITER 6209 NEW BEST:: SOT 51733367 SOS 13765627 HAS SOPS 13765627 HAS SOUS 8948396 HAS SOUPS 8948396 WITH SCORE 8962161.627
AT ITER 6217 NEW BEST:: SOT 51733023 SOS 13765111 HAS SOPS 13765111 HAS SOUS 8948052 HAS SOUPS 8948052 WITH SCORE 8961817.111
AT ITER 6237 NEW BEST:: SOT 51730344 SOS 13761963 HAS SOPS 13761963 HAS SOUS 8947664 HAS SOUPS 8947664 WITH SCORE 8961425.963
AT ITER 6263 NEW BEST:: SOT 51728106 SOS 13758978 HAS SOPS 13758978 HAS SOUS 8946915 HAS SOUPS 8946915 WITH SCORE 8960673.978
AT ITER 6291 NEW BEST:: SOT 51724458 SOS 13753506 HAS SOPS 13753506 HAS SOUS 8946915 HAS SOUPS 8946915 WITH SCORE 8960668.506
AT ITER 6294 NEW BEST:: SOT 51723673 SOS 13751936 HAS SOPS 13751936 HAS SOUS 8945753 HAS SOUPS 8945753 WITH SCORE 8959504.936
AT ITER 6317 NEW BEST:: SOT 51722243 SOS 13749790 HAS SOPS 13749790 HAS SOUS 8945750 HAS SOUPS 8945750 WITH SCORE 8959499.79
AT ITER 6331 NEW BEST:: SOT 51722243 SOS 13749789 HAS SOPS 13749789 HAS SOUS 8945747 HAS SOUPS 8945747 WITH SCORE 8959496.789
AT ITER 6377 NEW BEST:: SOT 51720718 SOS 13747969 HAS SOPS 13747969 HAS SOUS 8945452 HAS SOUPS 8945452 WITH SCORE 8959199.969
AT ITER 6392 NEW BEST:: SOT 51717042 SOS 13742454 HAS SOPS 13742454 HAS SOUS 8945449 HAS SOUPS 8945449 WITH SCORE 8959191.454
AT ITER 6394 NEW BEST:: SOT 51716091 SOS 13741185 HAS SOPS 13741185 HAS SOUS 8945129 HAS SOUPS 8945129 WITH SCORE 8958870.185
AT ITER 6418 NEW BEST:: SOT 51714995 SOS 13740085 HAS SOPS 13740085 HAS SOUS 8945125 HAS SOUPS 8945125 WITH SCORE 8958865.085
AT ITER 6443 NEW BEST:: SOT 51712939 SOS 13737646 HAS SOPS 13737646 HAS SOUS 8944676 HAS SOUPS 8944676 WITH SCORE 8958413.646
AT ITER 6446 NEW BEST:: SOT 51710579 SOS 13734106 HAS SOPS 13734106 HAS SOUS 8944676 HAS SOUPS 8944676 WITH SCORE 8958410.106
AT ITER 6455 NEW BEST:: SOT 51709905 SOS 13733094 HAS SOPS 13733094 HAS SOUS 8944673 HAS SOUPS 8944673 WITH SCORE 8958406.094
AT ITER 6460 NEW BEST:: SOT 51707464 SOS 13730312 HAS SOPS 13730312 HAS SOUS 8944615 HAS SOUPS 8944615 WITH SCORE 8958345.312
AT ITER 6469 NEW BEST:: SOT 51705979 SOS 13728441 HAS SOPS 13728441 HAS SOUS 8944227 HAS SOUPS 8944227 WITH SCORE 8957955.441
AT ITER 6473 NEW BEST:: SOT 51704221 SOS 13726097 HAS SOPS 13726097 HAS SOUS 8943641 HAS SOUPS 8943641 WITH SCORE 8957367.097
AT ITER 6482 NEW BEST:: SOT 51702813 SOS 13724483 HAS SOPS 13724483 HAS SOUS 8943435 HAS SOUPS 8943435 WITH SCORE 8957159.483
AT ITER 6491 NEW BEST:: SOT 51701275 SOS 13722176 HAS SOPS 13722176 HAS SOUS 8943435 HAS SOUPS 8943435 WITH SCORE 8957157.176
AT ITER 6498 NEW BEST:: SOT 51698448 SOS 13717711 HAS SOPS 13717711 HAS SOUS 8941937 HAS SOUPS 8941937 WITH SCORE 8955654.711
AT ITER 6501 NEW BEST:: SOT 51697758 SOS 13716790 HAS SOPS 13716790 HAS SOUS 8941704 HAS SOUPS 8941704 WITH SCORE 8955420.79
AT ITER 6514 NEW BEST:: SOT 51697758 SOS 13716789 HAS SOPS 13716789 HAS SOUS 8941701 HAS SOUPS 8941701 WITH SCORE 8955417.789
AT ITER 6524 NEW BEST:: SOT 51697287 SOS 13716160 HAS SOPS 13716160 HAS SOUS 8941541 HAS SOUPS 8941541 WITH SCORE 8955257.16
AT ITER 6527 NEW BEST:: SOT 51696729 SOS 13715044 HAS SOPS 13715044 HAS SOUS 8941029 HAS SOUPS 8941029 WITH SCORE 8954744.044
AT ITER 6528 NEW BEST:: SOT 51694888 SOS 13712791 HAS SOPS 13712791 HAS SOUS 8940422 HAS SOUPS 8940422 WITH SCORE 8954134.791
AT ITER 6537 NEW BEST:: SOT 51691465 SOS 13706954 HAS SOPS 13706954 HAS SOUS 8937867 HAS SOUPS 8937867 WITH SCORE 8951573.954
AT ITER 6564 NEW BEST:: SOT 51691137 SOS 13706492 HAS SOPS 13706492 HAS SOUS 8937765 HAS SOUPS 8937765 WITH SCORE 8951471.492
AT ITER 6579 NEW BEST:: SOT 51690893 SOS 13706004 HAS SOPS 13706004 HAS SOUS 8937521 HAS SOUPS 8937521 WITH SCORE 8951227.004
AT ITER 6593 NEW BEST:: SOT 51687453 SOS 13700843 HAS SOPS 13700843 HAS SOUS 8937518 HAS SOUPS 8937518 WITH SCORE 8951218.843
AT ITER 6613 NEW BEST:: SOT 51687060 SOS 13700319 HAS SOPS 13700319 HAS SOUS 8937387 HAS SOUPS 8937387 WITH SCORE 8951087.319
AT ITER 6616 NEW BEST:: SOT 51686624 SOS 13699664 HAS SOPS 13699664 HAS SOUS 8937384 HAS SOUPS 8937384 WITH SCORE 8951083.664
AT ITER 6629 NEW BEST:: SOT 51684318 SOS 13696204 HAS SOPS 13696204 HAS SOUS 8937381 HAS SOUPS 8937381 WITH SCORE 8951077.204
AT ITER 6639 NEW BEST:: SOT 51683612 SOS 13694927 HAS SOPS 13694927 HAS SOUS 8936663 HAS SOUPS 8936663 WITH SCORE 8950357.927
AT ITER 6641 NEW BEST:: SOT 51681160 SOS 13691825 HAS SOPS 13691825 HAS SOUS 8936013 HAS SOUPS 8936013 WITH SCORE 8949704.825
AT ITER 6648 NEW BEST:: SOT 51677919 SOS 13687030 HAS SOPS 13687030 HAS SOUS 8935540 HAS SOUPS 8935540 WITH SCORE 8949227.03
AT ITER 6652 NEW BEST:: SOT 51675954 SOS 13685696 HAS SOPS 13685696 HAS SOUS 8935540 HAS SOUPS 8935540 WITH SCORE 8949225.696
AT ITER 6655 NEW BEST:: SOT 51672721 SOS 13681814 HAS SOPS 13681814 HAS SOUS 8934912 HAS SOUPS 8934912 WITH SCORE 8948593.814
AT ITER 6703 NEW BEST:: SOT 51672451 SOS 13681408 HAS SOPS 13681408 HAS SOUS 8934909 HAS SOUPS 8934909 WITH SCORE 8948590.408
AT ITER 6729 NEW BEST:: SOT 51668637 SOS 13674743 HAS SOPS 13674743 HAS SOUS 8931695 HAS SOUPS 8931695 WITH SCORE 8945369.743
AT ITER 6757 NEW BEST:: SOT 51666775 SOS 13671950 HAS SOPS 13671950 HAS SOUS 8931695 HAS SOUPS 8931695 WITH SCORE 8945366.95
AT ITER 6784 NEW BEST:: SOT 51664258 SOS 13668788 HAS SOPS 13668788 HAS SOUS 8931050 HAS SOUPS 8931050 WITH SCORE 8944718.788
AT ITER 6787 NEW BEST:: SOT 51663006 SOS 13667202 HAS SOPS 13667202 HAS SOUS 8930716 HAS SOUPS 8930716 WITH SCORE 8944383.202
AT ITER 6795 NEW BEST:: SOT 51661943 SOS 13665076 HAS SOPS 13665076 HAS SOUS 8929653 HAS SOUPS 8929653 WITH SCORE 8943318.076
AT ITER 6802 NEW BEST:: SOT 51659747 SOS 13661782 HAS SOPS 13661782 HAS SOUS 8929653 HAS SOUPS 8929653 WITH SCORE 8943314.782
AT ITER 6804 NEW BEST:: SOT 51657191 SOS 13657947 HAS SOPS 13657947 HAS SOUS 8929650 HAS SOUPS 8929650 WITH SCORE 8943307.947
AT ITER 6815 NEW BEST:: SOT 51655599 SOS 13655558 HAS SOPS 13655558 HAS SOUS 8929647 HAS SOUPS 8929647 WITH SCORE 8943302.558
AT ITER 6824 NEW BEST:: SOT 51654647 SOS 13654129 HAS SOPS 13654129 HAS SOUS 8929644 HAS SOUPS 8929644 WITH SCORE 8943298.129
AT ITER 6828 NEW BEST:: SOT 51654647 SOS 13654035 HAS SOPS 13654035 HAS SOUS 8929362 HAS SOUPS 8929362 WITH SCORE 8943016.035
AT ITER 6851 NEW BEST:: SOT 51652417 SOS 13650690 HAS SOPS 13650690 HAS SOUS 8929362 HAS SOUPS 8929362 WITH SCORE 8943012.69
AT ITER 6887 NEW BEST:: SOT 51652057 SOS 13649970 HAS SOPS 13649970 HAS SOUS 8929002 HAS SOUPS 8929002 WITH SCORE 8942651.97
AT ITER 6888 NEW BEST:: SOT 51650928 SOS 13648725 HAS SOPS 13648725 HAS SOUS 8928674 HAS SOUPS 8928674 WITH SCORE 8942322.725
AT ITER 6891 NEW BEST:: SOT 51650284 SOS 13648081 HAS SOPS 13648081 HAS SOUS 8928674 HAS SOUPS 8928674 WITH SCORE 8942322.081
AT ITER 6915 NEW BEST:: SOT 51647519 SOS 13644008 HAS SOPS 13644008 HAS SOUS 8927935 HAS SOUPS 8927935 WITH SCORE 8941579.008
AT ITER 6970 NEW BEST:: SOT 51647519 SOS 13644007 HAS SOPS 13644007 HAS SOUS 8927932 HAS SOUPS 8927932 WITH SCORE 8941576.007
AT ITER 6986 NEW BEST:: SOT 51645473 SOS 13641278 HAS SOPS 13641278 HAS SOUS 8927247 HAS SOUPS 8927247 WITH SCORE 8940888.278
AT ITER 7001 NEW BEST:: SOT 51643175 SOS 13637830 HAS SOPS 13637830 HAS SOUS 8927244 HAS SOUPS 8927244 WITH SCORE 8940881.83
AT ITER 7034 NEW BEST:: SOT 51641177 SOS 13634832 HAS SOPS 13634832 HAS SOUS 8927241 HAS SOUPS 8927241 WITH SCORE 8940875.832
AT ITER 7037 NEW BEST:: SOT 51637874 SOS 13630753 HAS SOPS 13630753 HAS SOUS 8924702 HAS SOUPS 8924702 WITH SCORE 8938332.753
AT ITER 7060 NEW BEST:: SOT 51636115 SOS 13628045 HAS SOPS 13628045 HAS SOUS 8922535 HAS SOUPS 8922535 WITH SCORE 8936163.045
AT ITER 7061 NEW BEST:: SOT 51634246 SOS 13626137 HAS SOPS 13626137 HAS SOUS 8922496 HAS SOUPS 8922496 WITH SCORE 8936122.137
AT ITER 7070 NEW BEST:: SOT 51632302 SOS 13623544 HAS SOPS 13623544 HAS SOUS 8921845 HAS SOUPS 8921845 WITH SCORE 8935468.544
AT ITER 7086 NEW BEST:: SOT 51631957 SOS 13623083 HAS SOPS 13623083 HAS SOUS 8921727 HAS SOUPS 8921727 WITH SCORE 8935350.083
AT ITER 7096 NEW BEST:: SOT 51631063 SOS 13621891 HAS SOPS 13621891 HAS SOUS 8921429 HAS SOUPS 8921429 WITH SCORE 8935050.891
AT ITER 7106 NEW BEST:: SOT 51629837 SOS 13620052 HAS SOPS 13620052 HAS SOUS 8921429 HAS SOUPS 8921429 WITH SCORE 8935049.052
AT ITER 7116 NEW BEST:: SOT 51629837 SOS 13620051 HAS SOPS 13620051 HAS SOUS 8921426 HAS SOUPS 8921426 WITH SCORE 8935046.051
AT ITER 7133 NEW BEST:: SOT 51627056 SOS 13616515 HAS SOPS 13616515 HAS SOUS 8920671 HAS SOUPS 8920671 WITH SCORE 8934287.515
AT ITER 7143 NEW BEST:: SOT 51625080 SOS 13613551 HAS SOPS 13613551 HAS SOUS 8920671 HAS SOUPS 8920671 WITH SCORE 8934284.551
AT ITER 7146 NEW BEST:: SOT 51624150 SOS 13612625 HAS SOPS 13612625 HAS SOUS 8919770 HAS SOUPS 8919770 WITH SCORE 8933382.625
AT ITER 7153 NEW BEST:: SOT 51621489 SOS 13608306 HAS SOPS 13608306 HAS SOUS 8916454 HAS SOUPS 8916454 WITH SCORE 8930062.306
AT ITER 7180 NEW BEST:: SOT 51620619 SOS 13607548 HAS SOPS 13607548 HAS SOUS 8916454 HAS SOUPS 8916454 WITH SCORE 8930061.548
AT ITER 7185 NEW BEST:: SOT 51619995 SOS 13606716 HAS SOPS 13606716 HAS SOUS 8916246 HAS SOUPS 8916246 WITH SCORE 8929852.716
AT ITER 7191 NEW BEST:: SOT 51619641 SOS 13606126 HAS SOPS 13606126 HAS SOUS 8915774 HAS SOUPS 8915774 WITH SCORE 8929380.126
AT ITER 7208 NEW BEST:: SOT 51618162 SOS 13603168 HAS SOPS 13603168 HAS SOUS 8913556 HAS SOUPS 8913556 WITH SCORE 8927159.168
AT ITER 7228 NEW BEST:: SOT 51616608 SOS 13600837 HAS SOPS 13600837 HAS SOUS 8913556 HAS SOUPS 8913556 WITH SCORE 8927156.837
AT ITER 7253 NEW BEST:: SOT 51616558 SOS 13600737 HAS SOPS 13600737 HAS SOUS 8913531 HAS SOUPS 8913531 WITH SCORE 8927131.737
AT ITER 7274 NEW BEST:: SOT 51616558 SOS 13600736 HAS SOPS 13600736 HAS SOUS 8913528 HAS SOUPS 8913528 WITH SCORE 8927128.736
AT ITER 7324 NEW BEST:: SOT 51614052 SOS 13596535 HAS SOPS 13596535 HAS SOUS 8912102 HAS SOUPS 8912102 WITH SCORE 8925698.535
AT ITER 7340 NEW BEST:: SOT 51611853 SOS 13593602 HAS SOPS 13593602 HAS SOUS 8911366 HAS SOUPS 8911366 WITH SCORE 8924959.602
AT ITER 7344 NEW BEST:: SOT 51609845 SOS 13590589 HAS SOPS 13590589 HAS SOUS 8911363 HAS SOUPS 8911363 WITH SCORE 8924953.589
AT ITER 7368 NEW BEST:: SOT 51609845 SOS 13590413 HAS SOPS 13590413 HAS SOUS 8910835 HAS SOUPS 8910835 WITH SCORE 8924425.413
AT ITER 7396 NEW BEST:: SOT 51608859 SOS 13588934 HAS SOPS 13588934 HAS SOUS 8910835 HAS SOUPS 8910835 WITH SCORE 8924423.934
AT ITER 7401 NEW BEST:: SOT 51606121 SOS 13584826 HAS SOPS 13584826 HAS SOUS 8910832 HAS SOUPS 8910832 WITH SCORE 8924416.826
AT ITER 7405 NEW BEST:: SOT 51601934 SOS 13577755 HAS SOPS 13577755 HAS SOUS 8907758 HAS SOUPS 8907758 WITH SCORE 8921335.755
AT ITER 7422 NEW BEST:: SOT 51600815 SOS 13575517 HAS SOPS 13575517 HAS SOUS 8906734 HAS SOUPS 8906734 WITH SCORE 8920309.517
AT ITER 7449 NEW BEST:: SOT 51598865 SOS 13572591 HAS SOPS 13572591 HAS SOUS 8906731 HAS SOUPS 8906731 WITH SCORE 8920303.591
AT ITER 7464 NEW BEST:: SOT 51598040 SOS 13571490 HAS SOPS 13571490 HAS SOUS 8906453 HAS SOUPS 8906453 WITH SCORE 8920024.49
AT ITER 7470 NEW BEST:: SOT 51597240 SOS 13570290 HAS SOPS 13570290 HAS SOUS 8906453 HAS SOUPS 8906453 WITH SCORE 8920023.29
AT ITER 7477 NEW BEST:: SOT 51596661 SOS 13569517 HAS SOPS 13569517 HAS SOUS 8906257 HAS SOUPS 8906257 WITH SCORE 8919826.517
AT ITER 7482 NEW BEST:: SOT 51594048 SOS 13566666 HAS SOPS 13566666 HAS SOUS 8906090 HAS SOUPS 8906090 WITH SCORE 8919656.666
AT ITER 7531 NEW BEST:: SOT 51591796 SOS 13563288 HAS SOPS 13563288 HAS SOUS 8906090 HAS SOUPS 8906090 WITH SCORE 8919653.288
AT ITER 7575 NEW BEST:: SOT 51589522 SOS 13559152 HAS SOPS 13559152 HAS SOUS 8903835 HAS SOUPS 8903835 WITH SCORE 8917394.152
AT ITER 7589 NEW BEST:: SOT 51588559 SOS 13558189 HAS SOPS 13558189 HAS SOUS 8903834 HAS SOUPS 8903834 WITH SCORE 8917392.189
AT ITER 7616 NEW BEST:: SOT 51588509 SOS 13558089 HAS SOPS 13558089 HAS SOUS 8903784 HAS SOUPS 8903784 WITH SCORE 8917342.089
AT ITER 7627 NEW BEST:: SOT 51588509 SOS 13558088 HAS SOPS 13558088 HAS SOUS 8903781 HAS SOUPS 8903781 WITH SCORE 8917339.088
AT ITER 7629 NEW BEST:: SOT 51588329 SOS 13557847 HAS SOPS 13557847 HAS SOUS 8903718 HAS SOUPS 8903718 WITH SCORE 8917275.847
AT ITER 7650 NEW BEST:: SOT 51586587 SOS 13555957 HAS SOPS 13555957 HAS SOUS 8903570 HAS SOUPS 8903570 WITH SCORE 8917125.957
AT ITER 7723 NEW BEST:: SOT 51584708 SOS 13553606 HAS SOPS 13553606 HAS SOUS 8903096 HAS SOUPS 8903096 WITH SCORE 8916649.606
AT ITER 7725 NEW BEST:: SOT 51584049 SOS 13552926 HAS SOPS 13552926 HAS SOUS 8903075 HAS SOUPS 8903075 WITH SCORE 8916627.926
AT ITER 7735 NEW BEST:: SOT 51583427 SOS 13551682 HAS SOPS 13551682 HAS SOUS 8902453 HAS SOUPS 8902453 WITH SCORE 8916004.682
AT ITER 7744 NEW BEST:: SOT 51581483 SOS 13548766 HAS SOPS 13548766 HAS SOUS 8902453 HAS SOUPS 8902453 WITH SCORE 8916001.766
AT ITER 7783 NEW BEST:: SOT 51581483 SOS 13548765 HAS SOPS 13548765 HAS SOUS 8902450 HAS SOUPS 8902450 WITH SCORE 8915998.765
AT ITER 7842 NEW BEST:: SOT 51578000 SOS 13544770 HAS SOPS 13544770 HAS SOUS 8902013 HAS SOUPS 8902013 WITH SCORE 8915557.77
AT ITER 7860 NEW BEST:: SOT 51576582 SOS 13541934 HAS SOPS 13541934 HAS SOUS 8899886 HAS SOUPS 8899886 WITH SCORE 8913427.934
AT ITER 7867 NEW BEST:: SOT 51574150 SOS 13537838 HAS SOPS 13537838 HAS SOUS 8898389 HAS SOUPS 8898389 WITH SCORE 8911926.838
AT ITER 7873 NEW BEST:: SOT 51573520 SOS 13536997 HAS SOPS 13536997 HAS SOUS 8898176 HAS SOUPS 8898176 WITH SCORE 8911712.997
AT ITER 7882 NEW BEST:: SOT 51570702 SOS 13532770 HAS SOPS 13532770 HAS SOUS 8898176 HAS SOUPS 8898176 WITH SCORE 8911708.77
AT ITER 7907 NEW BEST:: SOT 51570500 SOS 13532466 HAS SOPS 13532466 HAS SOUS 8898173 HAS SOUPS 8898173 WITH SCORE 8911705.466
AT ITER 7920 NEW BEST:: SOT 51570280 SOS 13532245 HAS SOPS 13532245 HAS SOUS 8898060 HAS SOUPS 8898060 WITH SCORE 8911592.245
AT ITER 7940 NEW BEST:: SOT 51568840 SOS 13530468 HAS SOPS 13530468 HAS SOUS 8897807 HAS SOUPS 8897807 WITH SCORE 8911337.468
AT ITER 7959 NEW BEST:: SOT 51567130 SOS 13527903 HAS SOPS 13527903 HAS SOUS 8897807 HAS SOUPS 8897807 WITH SCORE 8911334.903
AT ITER 7992 NEW BEST:: SOT 51565554 SOS 13525538 HAS SOPS 13525538 HAS SOUS 8897804 HAS SOUPS 8897804 WITH SCORE 8911329.538
AT ITER 7999 NEW BEST:: SOT 51562261 SOS 13522084 HAS SOPS 13522084 HAS SOUS 8897791 HAS SOUPS 8897791 WITH SCORE 8911313.084
AT ITER 8048 NEW BEST:: SOT 51562141 SOS 13521963 HAS SOPS 13521963 HAS SOUS 8897788 HAS SOUPS 8897788 WITH SCORE 8911309.963
AT ITER 8051 NEW BEST:: SOT 51561473 SOS 13520961 HAS SOPS 13520961 HAS SOUS 8897788 HAS SOUPS 8897788 WITH SCORE 8911308.961
AT ITER 8070 NEW BEST:: SOT 51559911 SOS 13519589 HAS SOPS 13519589 HAS SOUS 8897780 HAS SOUPS 8897780 WITH SCORE 8911299.589
AT ITER 8071 NEW BEST:: SOT 51557686 SOS 13516625 HAS SOPS 13516625 HAS SOUS 8897042 HAS SOUPS 8897042 WITH SCORE 8910558.625
AT ITER 8076 NEW BEST:: SOT 51554644 SOS 13512062 HAS SOPS 13512062 HAS SOUS 8897042 HAS SOUPS 8897042 WITH SCORE 8910554.062
AT ITER 8080 NEW BEST:: SOT 51551754 SOS 13507727 HAS SOPS 13507727 HAS SOUS 8897042 HAS SOUPS 8897042 WITH SCORE 8910549.727
AT ITER 8101 NEW BEST:: SOT 51550196 SOS 13506072 HAS SOPS 13506072 HAS SOUS 8897006 HAS SOUPS 8897006 WITH SCORE 8910512.072
AT ITER 8109 NEW BEST:: SOT 51547509 SOS 13502802 HAS SOPS 13502802 HAS SOUS 8896610 HAS SOUPS 8896610 WITH SCORE 8910112.802
AT ITER 8166 NEW BEST:: SOT 51546649 SOS 13501850 HAS SOPS 13501850 HAS SOUS 8896518 HAS SOUPS 8896518 WITH SCORE 8910019.85
AT ITER 8187 NEW BEST:: SOT 51545847 SOS 13500246 HAS SOPS 13500246 HAS SOUS 8894714 HAS SOUPS 8894714 WITH SCORE 8908214.246
AT ITER 8191 NEW BEST:: SOT 51544865 SOS 13498773 HAS SOPS 13498773 HAS SOUS 8894714 HAS SOUPS 8894714 WITH SCORE 8908212.773
AT ITER 8201 NEW BEST:: SOT 51542967 SOS 13495065 HAS SOPS 13495065 HAS SOUS 8892131 HAS SOUPS 8892131 WITH SCORE 8905626.065
AT ITER 8211 NEW BEST:: SOT 51542316 SOS 13494196 HAS SOPS 13494196 HAS SOUS 8891911 HAS SOUPS 8891911 WITH SCORE 8905405.196
AT ITER 8212 NEW BEST:: SOT 51542316 SOS 13493971 HAS SOPS 13493971 HAS SOUS 8891461 HAS SOUPS 8891461 WITH SCORE 8904954.971
AT ITER 8214 NEW BEST:: SOT 51539846 SOS 13489194 HAS SOPS 13489194 HAS SOUS 8888245 HAS SOUPS 8888245 WITH SCORE 8901734.194
AT ITER 8216 NEW BEST:: SOT 51536428 SOS 13484066 HAS SOPS 13484066 HAS SOUS 8888242 HAS SOUPS 8888242 WITH SCORE 8901726.066
AT ITER 8225 NEW BEST:: SOT 51535477 SOS 13483314 HAS SOPS 13483314 HAS SOUS 8888212 HAS SOUPS 8888212 WITH SCORE 8901695.314
AT ITER 8239 NEW BEST:: SOT 51534915 SOS 13482752 HAS SOPS 13482752 HAS SOUS 8888212 HAS SOUPS 8888212 WITH SCORE 8901694.752
AT ITER 8294 NEW BEST:: SOT 51531837 SOS 13478134 HAS SOPS 13478134 HAS SOUS 8888209 HAS SOUPS 8888209 WITH SCORE 8901687.134
AT ITER 8299 NEW BEST:: SOT 51531729 SOS 13477918 HAS SOPS 13477918 HAS SOUS 8888101 HAS SOUPS 8888101 WITH SCORE 8901578.918
AT ITER 8308 NEW BEST:: SOT 51528921 SOS 13473706 HAS SOPS 13473706 HAS SOUS 8888101 HAS SOUPS 8888101 WITH SCORE 8901574.706
AT ITER 8333 NEW BEST:: SOT 51528266 SOS 13472890 HAS SOPS 13472890 HAS SOUS 8887940 HAS SOUPS 8887940 WITH SCORE 8901412.89
AT ITER 8357 NEW BEST:: SOT 51526807 SOS 13471348 HAS SOPS 13471348 HAS SOUS 8887857 HAS SOUPS 8887857 WITH SCORE 8901328.348
AT ITER 8358 NEW BEST:: SOT 51526807 SOS 13471347 HAS SOPS 13471347 HAS SOUS 8887854 HAS SOUPS 8887854 WITH SCORE 8901325.347
AT ITER 8362 NEW BEST:: SOT 51524483 SOS 13467861 HAS SOPS 13467861 HAS SOUS 8887854 HAS SOUPS 8887854 WITH SCORE 8901321.861
AT ITER 8369 NEW BEST:: SOT 51523757 SOS 13467134 HAS SOPS 13467134 HAS SOUS 8887851 HAS SOUPS 8887851 WITH SCORE 8901318.134
AT ITER 8388 NEW BEST:: SOT 51519878 SOS 13461398 HAS SOPS 13461398 HAS SOUS 8884168 HAS SOUPS 8884168 WITH SCORE 8897629.398
AT ITER 8393 NEW BEST:: SOT 51518249 SOS 13459452 HAS SOPS 13459452 HAS SOUS 8883986 HAS SOUPS 8883986 WITH SCORE 8897445.452
AT ITER 8471 NEW BEST:: SOT 51516226 SOS 13456881 HAS SOPS 13456881 HAS SOUS 8883436 HAS SOUPS 8883436 WITH SCORE 8896892.881
AT ITER 8501 NEW BEST:: SOT 51515218 SOS 13455368 HAS SOPS 13455368 HAS SOUS 8883433 HAS SOUPS 8883433 WITH SCORE 8896888.368
AT ITER 8502 NEW BEST:: SOT 51514906 SOS 13455043 HAS SOPS 13455043 HAS SOUS 8883407 HAS SOUPS 8883407 WITH SCORE 8896862.043
AT ITER 8520 NEW BEST:: SOT 51513752 SOS 13453311 HAS SOPS 13453311 HAS SOUS 8883404 HAS SOUPS 8883404 WITH SCORE 8896857.311
AT ITER 8534 NEW BEST:: SOT 51512206 SOS 13451568 HAS SOPS 13451568 HAS SOUS 8883242 HAS SOUPS 8883242 WITH SCORE 8896693.568
AT ITER 8537 NEW BEST:: SOT 51510896 SOS 13449602 HAS SOPS 13449602 HAS SOUS 8883239 HAS SOUPS 8883239 WITH SCORE 8896688.602
AT ITER 8598 NEW BEST:: SOT 51510896 SOS 13449601 HAS SOPS 13449601 HAS SOUS 8883236 HAS SOUPS 8883236 WITH SCORE 8896685.601
AT ITER 8627 NEW BEST:: SOT 51508153 SOS 13445517 HAS SOPS 13445517 HAS SOUS 8882553 HAS SOUPS 8882553 WITH SCORE 8895998.517
AT ITER 8632 NEW BEST:: SOT 51508075 SOS 13445361 HAS SOPS 13445361 HAS SOUS 8882199 HAS SOUPS 8882199 WITH SCORE 8895644.361
AT ITER 8663 NEW BEST:: SOT 51508957 SOS 13446393 HAS SOPS 13446393 HAS SOUS 8881163 HAS SOUPS 8881163 WITH SCORE 8894609.393
AT ITER 8664 NEW BEST:: SOT 51506589 SOS 13442840 HAS SOPS 13442840 HAS SOUS 8881160 HAS SOUPS 8881160 WITH SCORE 8894602.84
AT ITER 8667 NEW BEST:: SOT 51503909 SOS 13438385 HAS SOPS 13438385 HAS SOUS 8879638 HAS SOUPS 8879638 WITH SCORE 8893076.385
AT ITER 8670 NEW BEST:: SOT 51503503 SOS 13437573 HAS SOPS 13437573 HAS SOUS 8879232 HAS SOUPS 8879232 WITH SCORE 8892669.573
AT ITER 8698 NEW BEST:: SOT 51501864 SOS 13434431 HAS SOPS 13434431 HAS SOUS 8877023 HAS SOUPS 8877023 WITH SCORE 8890457.431
AT ITER 8700 NEW BEST:: SOT 51501170 SOS 13433390 HAS SOPS 13433390 HAS SOUS 8877023 HAS SOUPS 8877023 WITH SCORE 8890456.39
AT ITER 8713 NEW BEST:: SOT 51499276 SOS 13431719 HAS SOPS 13431719 HAS SOUS 8876843 HAS SOUPS 8876843 WITH SCORE 8890274.719
AT ITER 8720 NEW BEST:: SOT 51496342 SOS 13428228 HAS SOPS 13428228 HAS SOUS 8876304 HAS SOUPS 8876304 WITH SCORE 8889732.228
AT ITER 8740 NEW BEST:: SOT 51496084 SOS 13427840 HAS SOPS 13427840 HAS SOUS 8876301 HAS SOUPS 8876301 WITH SCORE 8889728.84
AT ITER 8742 NEW BEST:: SOT 51494647 SOS 13425445 HAS SOPS 13425445 HAS SOUS 8874385 HAS SOUPS 8874385 WITH SCORE 8887810.445
AT ITER 8746 NEW BEST:: SOT 51494537 SOS 13425225 HAS SOPS 13425225 HAS SOUS 8874275 HAS SOUPS 8874275 WITH SCORE 8887700.225
AT ITER 8779 NEW BEST:: SOT 51491727 SOS 13421696 HAS SOPS 13421696 HAS SOUS 8873554 HAS SOUPS 8873554 WITH SCORE 8886975.696
AT ITER 8816 NEW BEST:: SOT 51491605 SOS 13421606 HAS SOPS 13421606 HAS SOUS 8873554 HAS SOUPS 8873554 WITH SCORE 8886975.606
AT ITER 8832 NEW BEST:: SOT 51491045 SOS 13420486 HAS SOPS 13420486 HAS SOUS 8873042 HAS SOUPS 8873042 WITH SCORE 8886462.486
AT ITER 8856 NEW BEST:: SOT 51490371 SOS 13419475 HAS SOPS 13419475 HAS SOUS 8873042 HAS SOUPS 8873042 WITH SCORE 8886461.475
AT ITER 8868 NEW BEST:: SOT 51488491 SOS 13416654 HAS SOPS 13416654 HAS SOUS 8873039 HAS SOUPS 8873039 WITH SCORE 8886455.654
AT ITER 8876 NEW BEST:: SOT 51485892 SOS 13413498 HAS SOPS 13413498 HAS SOUS 8872667 HAS SOUPS 8872667 WITH SCORE 8886080.498
AT ITER 8907 NEW BEST:: SOT 51484303 SOS 13411482 HAS SOPS 13411482 HAS SOUS 8870651 HAS SOUPS 8870651 WITH SCORE 8884062.482
AT ITER 8955 NEW BEST:: SOT 51483631 SOS 13410474 HAS SOPS 13410474 HAS SOUS 8870651 HAS SOUPS 8870651 WITH SCORE 8884061.474
AT ITER 8964 NEW BEST:: SOT 51482673 SOS 13409434 HAS SOPS 13409434 HAS SOUS 8870569 HAS SOUPS 8870569 WITH SCORE 8883978.434
AT ITER 8987 NEW BEST:: SOT 51482251 SOS 13408801 HAS SOPS 13408801 HAS SOUS 8870569 HAS SOUPS 8870569 WITH SCORE 8883977.801
AT ITER 9001 NEW BEST:: SOT 51480687 SOS 13406455 HAS SOPS 13406455 HAS SOUS 8870569 HAS SOUPS 8870569 WITH SCORE 8883975.455
AT ITER 9024 NEW BEST:: SOT 51479621 SOS 13404855 HAS SOPS 13404855 HAS SOUS 8870566 HAS SOUPS 8870566 WITH SCORE 8883970.855
AT ITER 9041 NEW BEST:: SOT 51479487 SOS 13404654 HAS SOPS 13404654 HAS SOUS 8870566 HAS SOUPS 8870566 WITH SCORE 8883970.654
AT ITER 9049 NEW BEST:: SOT 51478967 SOS 13403873 HAS SOPS 13403873 HAS SOUS 8870563 HAS SOUPS 8870563 WITH SCORE 8883966.873
AT ITER 9079 NEW BEST:: SOT 51478511 SOS 13403265 HAS SOPS 13403265 HAS SOUS 8870411 HAS SOUPS 8870411 WITH SCORE 8883814.265
AT ITER 9089 NEW BEST:: SOT 51474643 SOS 13396784 HAS SOPS 13396784 HAS SOUS 8867872 HAS SOUPS 8867872 WITH SCORE 8881268.784
AT ITER 9147 NEW BEST:: SOT 51474451 SOS 13396495 HAS SOPS 13396495 HAS SOUS 8867869 HAS SOUPS 8867869 WITH SCORE 8881265.495
AT ITER 9169 NEW BEST:: SOT 51473869 SOS 13395718 HAS SOPS 13395718 HAS SOUS 8867672 HAS SOUPS 8867672 WITH SCORE 8881067.718
AT ITER 9198 NEW BEST:: SOT 51473869 SOS 13395004 HAS SOPS 13395004 HAS SOUS 8865530 HAS SOUPS 8865530 WITH SCORE 8878925.004
AT ITER 9210 NEW BEST:: SOT 51473745 SOS 13394139 HAS SOPS 13394139 HAS SOUS 8864163 HAS SOUPS 8864163 WITH SCORE 8877557.139
AT ITER 9219 NEW BEST:: SOT 51472458 SOS 13392422 HAS SOPS 13392422 HAS SOUS 8863731 HAS SOUPS 8863731 WITH SCORE 8877123.422
AT ITER 9245 NEW BEST:: SOT 51470036 SOS 13388788 HAS SOPS 13388788 HAS SOUS 8863728 HAS SOUPS 8863728 WITH SCORE 8877116.788
AT ITER 9269 NEW BEST:: SOT 51467067 SOS 13384919 HAS SOPS 13384919 HAS SOUS 8862880 HAS SOUPS 8862880 WITH SCORE 8876264.919
AT ITER 9271 NEW BEST:: SOT 51464791 SOS 13382129 HAS SOPS 13382129 HAS SOUS 8862366 HAS SOUPS 8862366 WITH SCORE 8875748.129
AT ITER 9311 NEW BEST:: SOT 51463215 SOS 13379765 HAS SOPS 13379765 HAS SOUS 8862366 HAS SOUPS 8862366 WITH SCORE 8875745.765
AT ITER 9317 NEW BEST:: SOT 51460861 SOS 13376233 HAS SOPS 13376233 HAS SOUS 8862363 HAS SOUPS 8862363 WITH SCORE 8875739.233
AT ITER 9355 NEW BEST:: SOT 51460641 SOS 13375902 HAS SOPS 13375902 HAS SOUS 8862360 HAS SOUPS 8862360 WITH SCORE 8875735.902
AT ITER 9356 NEW BEST:: SOT 51459648 SOS 13374577 HAS SOPS 13374577 HAS SOUS 8862026 HAS SOUPS 8862026 WITH SCORE 8875400.577
AT ITER 9359 NEW BEST:: SOT 51456926 SOS 13370493 HAS SOPS 13370493 HAS SOUS 8862023 HAS SOUPS 8862023 WITH SCORE 8875393.493
AT ITER 9397 NEW BEST:: SOT 51456426 SOS 13369566 HAS SOPS 13369566 HAS SOUS 8861742 HAS SOUPS 8861742 WITH SCORE 8875111.566
AT ITER 9450 NEW BEST:: SOT 51454127 SOS 13367281 HAS SOPS 13367281 HAS SOUS 8861421 HAS SOUPS 8861421 WITH SCORE 8874788.281
AT ITER 9469 NEW BEST:: SOT 51453221 SOS 13365922 HAS SOPS 13365922 HAS SOUS 8861421 HAS SOUPS 8861421 WITH SCORE 8874786.922
AT ITER 9473 NEW BEST:: SOT 51451628 SOS 13364020 HAS SOPS 13364020 HAS SOUS 8861124 HAS SOUPS 8861124 WITH SCORE 8874488.02
AT ITER 9494 NEW BEST:: SOT 51450746 SOS 13362844 HAS SOPS 13362844 HAS SOUS 8860830 HAS SOUPS 8860830 WITH SCORE 8874192.844
AT ITER 9507 NEW BEST:: SOT 51449149 SOS 13360881 HAS SOPS 13360881 HAS SOUS 8860462 HAS SOUPS 8860462 WITH SCORE 8873822.881
AT ITER 9522 NEW BEST:: SOT 51448323 SOS 13359642 HAS SOPS 13359642 HAS SOUS 8860462 HAS SOUPS 8860462 WITH SCORE 8873821.642
AT ITER 9524 NEW BEST:: SOT 51447612 SOS 13358220 HAS SOPS 13358220 HAS SOUS 8859040 HAS SOUPS 8859040 WITH SCORE 8872398.22
AT ITER 9553 NEW BEST:: SOT 51446619 SOS 13356896 HAS SOPS 13356896 HAS SOUS 8858709 HAS SOUPS 8858709 WITH SCORE 8872065.896
AT ITER 9593 NEW BEST:: SOT 51445992 SOS 13355642 HAS SOPS 13355642 HAS SOUS 8857769 HAS SOUPS 8857769 WITH SCORE 8871124.642
AT ITER 9610 NEW BEST:: SOT 51444009 SOS 13352337 HAS SOPS 13352337 HAS SOUS 8855125 HAS SOUPS 8855125 WITH SCORE 8868477.337
AT ITER 9625 NEW BEST:: SOT 51443575 SOS 13351903 HAS SOPS 13351903 HAS SOUS 8855125 HAS SOUPS 8855125 WITH SCORE 8868476.903
AT ITER 9645 NEW BEST:: SOT 51443170 SOS 13351093 HAS SOPS 13351093 HAS SOUS 8854469 HAS SOUPS 8854469 WITH SCORE 8867820.093
AT ITER 9680 NEW BEST:: SOT 51442728 SOS 13350651 HAS SOPS 13350651 HAS SOUS 8854469 HAS SOUPS 8854469 WITH SCORE 8867819.651
AT ITER 9691 NEW BEST:: SOT 51442381 SOS 13349957 HAS SOPS 13349957 HAS SOUS 8854122 HAS SOUPS 8854122 WITH SCORE 8867471.957
AT ITER 9707 NEW BEST:: SOT 51439437 SOS 13347229 HAS SOPS 13347229 HAS SOUS 8853930 HAS SOUPS 8853930 WITH SCORE 8867277.229
AT ITER 9708 NEW BEST:: SOT 51438441 SOS 13345734 HAS SOPS 13345734 HAS SOUS 8853927 HAS SOUPS 8853927 WITH SCORE 8867272.734
AT ITER 9717 NEW BEST:: SOT 51437075 SOS 13343956 HAS SOPS 13343956 HAS SOUS 8852366 HAS SOUPS 8852366 WITH SCORE 8865709.956
AT ITER 9726 NEW BEST:: SOT 51436439 SOS 13342932 HAS SOPS 13342932 HAS SOUS 8851626 HAS SOUPS 8851626 WITH SCORE 8864968.932
AT ITER 9727 NEW BEST:: SOT 51433041 SOS 13337835 HAS SOPS 13337835 HAS SOUS 8851626 HAS SOUPS 8851626 WITH SCORE 8864963.835
AT ITER 9759 NEW BEST:: SOT 51431779 SOS 13336365 HAS SOPS 13336365 HAS SOUS 8851545 HAS SOUPS 8851545 WITH SCORE 8864881.365
AT ITER 9781 NEW BEST:: SOT 51428057 SOS 13332235 HAS SOPS 13332235 HAS SOUS 8851259 HAS SOUPS 8851259 WITH SCORE 8864591.235
AT ITER 9793 NEW BEST:: SOT 51425229 SOS 13329245 HAS SOPS 13329245 HAS SOUS 8851172 HAS SOUPS 8851172 WITH SCORE 8864501.245
AT ITER 9801 NEW BEST:: SOT 51422560 SOS 13325988 HAS SOPS 13325988 HAS SOUS 8850582 HAS SOUPS 8850582 WITH SCORE 8863907.988
AT ITER 9864 NEW BEST:: SOT 51421460 SOS 13324337 HAS SOPS 13324337 HAS SOUS 8850579 HAS SOUPS 8850579 WITH SCORE 8863903.337
AT ITER 9868 NEW BEST:: SOT 51418898 SOS 13321554 HAS SOPS 13321554 HAS SOUS 8850429 HAS SOUPS 8850429 WITH SCORE 8863750.554
AT ITER 9957 NEW BEST:: SOT 51418260 SOS 13320278 HAS SOPS 13320278 HAS SOUS 8849472 HAS SOUPS 8849472 WITH SCORE 8862792.278
AT ITER 9967 NEW BEST:: SOT 51415487 SOS 13316783 HAS SOPS 13316783 HAS SOUS 8848748 HAS SOUPS 8848748 WITH SCORE 8862064.783
AT ITER 9978 NEW BEST:: SOT 51415464 SOS 13316737 HAS SOPS 13316737 HAS SOUS 8848748 HAS SOUPS 8848748 WITH SCORE 8862064.737

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="ViralEpidemic-PT-S02D1C1A10"
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 ViralEpidemic-PT-S02D1C1A10, 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 r224-oct2-159033538800480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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