Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.7M
-rw-r--r-- 1 mcc users 7.8K Feb 25 20:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 20:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 18:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 18:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 03:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 175K Feb 26 03:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 00:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Feb 26 00:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 6.2M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678252401663

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

Filename model.pnml
Petri model created: 2913 places, 23319 transitions, 92260 arcs.
AT ITER 0 NEW BEST:: SOT 38399308 SOS 33380144 HAS SOPS 15923184 HAS SOUS 1960571 HAS SOUPS 773184 WITH SCORE 806564.144
AT ITER 17 NEW BEST:: SOT 38396862 SOS 33389440 HAS SOPS 15924686 HAS SOUS 1958768 HAS SOUPS 771381 WITH SCORE 804770.44
AT ITER 31 NEW BEST:: SOT 38396520 SOS 33387381 HAS SOPS 15925102 HAS SOUS 1958199 HAS SOUPS 771087 WITH SCORE 804474.381
AT ITER 69 NEW BEST:: SOT 38396520 SOS 33387381 HAS SOPS 15925102 HAS SOUS 1957979 HAS SOUPS 770867 WITH SCORE 804254.381
AT ITER 95 NEW BEST:: SOT 38396520 SOS 33387381 HAS SOPS 15925102 HAS SOUS 1957829 HAS SOUPS 770717 WITH SCORE 804104.381
AT ITER 99 NEW BEST:: SOT 38396304 SOS 33385739 HAS SOPS 15923460 HAS SOUS 1957613 HAS SOUPS 770501 WITH SCORE 803886.7390000001
AT ITER 133 NEW BEST:: SOT 38396062 SOS 33385255 HAS SOPS 15924065 HAS SOUS 1957129 HAS SOUPS 770138 WITH SCORE 803523.255
AT ITER 185 NEW BEST:: SOT 38396431 SOS 33334403 HAS SOPS 15928555 HAS SOUS 1956707 HAS SOUPS 770185 WITH SCORE 803519.403
AT ITER 186 NEW BEST:: SOT 38396431 SOS 33334403 HAS SOPS 15928555 HAS SOUS 1956633 HAS SOUPS 770111 WITH SCORE 803445.403
AT ITER 199 NEW BEST:: SOT 38396431 SOS 33334403 HAS SOPS 15928555 HAS SOUS 1956529 HAS SOUPS 770007 WITH SCORE 803341.403
AT ITER 232 NEW BEST:: SOT 38396431 SOS 33334403 HAS SOPS 15928555 HAS SOUS 1956317 HAS SOUPS 769795 WITH SCORE 803129.403
AT ITER 237 NEW BEST:: SOT 38396431 SOS 33334403 HAS SOPS 15928555 HAS SOUS 1956113 HAS SOUPS 769591 WITH SCORE 802925.403
AT ITER 247 NEW BEST:: SOT 38395270 SOS 33337983 HAS SOPS 15926006 HAS SOUS 1955783 HAS SOUPS 769034 WITH SCORE 802371.983
AT ITER 262 NEW BEST:: SOT 38395098 SOS 33337639 HAS SOPS 15926436 HAS SOUS 1955439 HAS SOUPS 768776 WITH SCORE 802113.639
AT ITER 264 NEW BEST:: SOT 38395098 SOS 33337639 HAS SOPS 15926436 HAS SOUS 1955397 HAS SOUPS 768734 WITH SCORE 802071.639
AT ITER 287 NEW BEST:: SOT 38395098 SOS 33337639 HAS SOPS 15926436 HAS SOUS 1955177 HAS SOUPS 768514 WITH SCORE 801851.639
AT ITER 336 NEW BEST:: SOT 38395098 SOS 33337639 HAS SOPS 15926436 HAS SOUS 1954961 HAS SOUPS 768298 WITH SCORE 801635.639
AT ITER 341 NEW BEST:: SOT 38395098 SOS 33337639 HAS SOPS 15926436 HAS SOUS 1954741 HAS SOUPS 768078 WITH SCORE 801415.639
AT ITER 344 NEW BEST:: SOT 38394809 SOS 33334951 HAS SOPS 15927546 HAS SOUS 1954169 HAS SOUPS 767928 WITH SCORE 801262.951
AT ITER 348 NEW BEST:: SOT 38394809 SOS 33334951 HAS SOPS 15927546 HAS SOUS 1954009 HAS SOUPS 767768 WITH SCORE 801102.951
AT ITER 351 NEW BEST:: SOT 38392089 SOS 33356907 HAS SOPS 15936524 HAS SOUS 1952648 HAS SOUPS 766407 WITH SCORE 799763.907
AT ITER 373 NEW BEST:: SOT 38392061 SOS 33356851 HAS SOPS 15936468 HAS SOUS 1952606 HAS SOUPS 766365 WITH SCORE 799721.851
AT ITER 418 NEW BEST:: SOT 38391948 SOS 33356399 HAS SOPS 15936016 HAS SOUS 1952380 HAS SOUPS 766139 WITH SCORE 799495.399
AT ITER 480 NEW BEST:: SOT 38391616 SOS 33355735 HAS SOPS 15936846 HAS SOUS 1951716 HAS SOUPS 765641 WITH SCORE 798996.735
AT ITER 497 NEW BEST:: SOT 38391255 SOS 33355013 HAS SOPS 15940372 HAS SOUS 1950776 HAS SOUPS 765173 WITH SCORE 798528.013
AT ITER 504 NEW BEST:: SOT 38391255 SOS 33355013 HAS SOPS 15940372 HAS SOUS 1950556 HAS SOUPS 764953 WITH SCORE 798308.013
AT ITER 511 NEW BEST:: SOT 38391276 SOS 33355131 HAS SOPS 15940490 HAS SOUS 1950215 HAS SOUPS 764612 WITH SCORE 797967.131
AT ITER 530 NEW BEST:: SOT 38391276 SOS 33355131 HAS SOPS 15940490 HAS SOUS 1949995 HAS SOUPS 764392 WITH SCORE 797747.131
AT ITER 546 NEW BEST:: SOT 38390887 SOS 33354353 HAS SOPS 15943213 HAS SOUS 1949072 HAS SOUPS 763858 WITH SCORE 797212.353
AT ITER 559 NEW BEST:: SOT 38389247 SOS 33360593 HAS SOPS 15942109 HAS SOUS 1948214 HAS SOUPS 762728 WITH SCORE 796088.593
AT ITER 594 NEW BEST:: SOT 38388945 SOS 33358024 HAS SOPS 15943077 HAS SOUS 1947519 HAS SOUPS 762426 WITH SCORE 795784.024
AT ITER 636 NEW BEST:: SOT 38388112 SOS 33360295 HAS SOPS 15941919 HAS SOUS 1947039 HAS SOUPS 761819 WITH SCORE 795179.295
AT ITER 656 NEW BEST:: SOT 38386232 SOS 33369128 HAS SOPS 15941572 HAS SOUS 1946096 HAS SOUPS 760536 WITH SCORE 793905.128
AT ITER 731 NEW BEST:: SOT 38385822 SOS 33366818 HAS SOPS 15941944 HAS SOUS 1945388 HAS SOUPS 760126 WITH SCORE 793492.818
AT ITER 732 NEW BEST:: SOT 38383876 SOS 33309415 HAS SOPS 15948969 HAS SOUS 1943360 HAS SOUPS 758098 WITH SCORE 791407.415
AT ITER 753 NEW BEST:: SOT 38383393 SOS 33308449 HAS SOPS 15951369 HAS SOUS 1942232 HAS SOUPS 757344 WITH SCORE 790652.449
AT ITER 759 NEW BEST:: SOT 38380030 SOS 33244480 HAS SOPS 15959654 HAS SOUS 1941133 HAS SOUPS 756245 WITH SCORE 789489.48
AT ITER 773 NEW BEST:: SOT 38379734 SOS 33243148 HAS SOPS 15958322 HAS SOUS 1940837 HAS SOUPS 755949 WITH SCORE 789192.148
AT ITER 806 NEW BEST:: SOT 38379734 SOS 33243148 HAS SOPS 15958322 HAS SOUS 1940753 HAS SOUPS 755865 WITH SCORE 789108.148
AT ITER 873 NEW BEST:: SOT 38379624 SOS 33242653 HAS SOPS 15957827 HAS SOUS 1940643 HAS SOUPS 755755 WITH SCORE 788997.653
AT ITER 882 NEW BEST:: SOT 38379624 SOS 33242653 HAS SOPS 15957827 HAS SOUS 1940423 HAS SOUPS 755535 WITH SCORE 788777.653
AT ITER 884 NEW BEST:: SOT 38379169 SOS 33241743 HAS SOPS 15960670 HAS SOUS 1939372 HAS SOUPS 754901 WITH SCORE 788142.743
AT ITER 894 NEW BEST:: SOT 38379169 SOS 33241743 HAS SOPS 15960670 HAS SOUS 1939152 HAS SOUPS 754681 WITH SCORE 787922.743
AT ITER 921 NEW BEST:: SOT 38379169 SOS 33241743 HAS SOPS 15960670 HAS SOUS 1939006 HAS SOUPS 754535 WITH SCORE 787776.743
AT ITER 933 NEW BEST:: SOT 38377201 SOS 33233215 HAS SOPS 15958046 HAS SOUS 1935726 HAS SOUPS 751911 WITH SCORE 785144.215
AT ITER 935 NEW BEST:: SOT 38377201 SOS 33233215 HAS SOPS 15958046 HAS SOUS 1935560 HAS SOUPS 751745 WITH SCORE 784978.215
AT ITER 940 NEW BEST:: SOT 38377201 SOS 33233215 HAS SOPS 15958046 HAS SOUS 1935412 HAS SOUPS 751597 WITH SCORE 784830.215
AT ITER 948 NEW BEST:: SOT 38375013 SOS 33244178 HAS SOPS 15960315 HAS SOUS 1933956 HAS SOUPS 750141 WITH SCORE 783385.178
AT ITER 977 NEW BEST:: SOT 38372438 SOS 33256031 HAS SOPS 15963456 HAS SOUS 1931920 HAS SOUPS 748105 WITH SCORE 781361.031
AT ITER 980 NEW BEST:: SOT 38372302 SOS 33255759 HAS SOPS 15963184 HAS SOUS 1931716 HAS SOUPS 747901 WITH SCORE 781156.759
AT ITER 1024 NEW BEST:: SOT 38370165 SOS 33195811 HAS SOPS 15972396 HAS SOUS 1930935 HAS SOUPS 747120 WITH SCORE 780315.811
AT ITER 1031 NEW BEST:: SOT 38369976 SOS 33195433 HAS SOPS 15972018 HAS SOUS 1930719 HAS SOUPS 746904 WITH SCORE 780099.433
AT ITER 1040 NEW BEST:: SOT 38369976 SOS 33195433 HAS SOPS 15972018 HAS SOUS 1930645 HAS SOUPS 746830 WITH SCORE 780025.433
AT ITER 1109 NEW BEST:: SOT 38369960 SOS 33076613 HAS SOPS 15914676 HAS SOUS 1929319 HAS SOUPS 746025 WITH SCORE 779101.613
AT ITER 1112 NEW BEST:: SOT 38368069 SOS 33087322 HAS SOPS 15916979 HAS SOUS 1928238 HAS SOUPS 744944 WITH SCORE 778031.322
AT ITER 1119 NEW BEST:: SOT 38367721 SOS 33086626 HAS SOPS 15917849 HAS SOUS 1927542 HAS SOUPS 744422 WITH SCORE 777508.626
AT ITER 1132 NEW BEST:: SOT 38367292 SOS 33085768 HAS SOPS 15920150 HAS SOUS 1926582 HAS SOUPS 743813 WITH SCORE 776898.768
AT ITER 1206 NEW BEST:: SOT 38367292 SOS 33085768 HAS SOPS 15920150 HAS SOUS 1926362 HAS SOUPS 743593 WITH SCORE 776678.768
AT ITER 1213 NEW BEST:: SOT 38366754 SOS 33084692 HAS SOPS 15921495 HAS SOUS 1925286 HAS SOUPS 742786 WITH SCORE 775870.692
AT ITER 1217 NEW BEST:: SOT 38366506 SOS 33083576 HAS SOPS 15920379 HAS SOUS 1925038 HAS SOUPS 742538 WITH SCORE 775621.576
AT ITER 1234 NEW BEST:: SOT 38365673 SOS 33085599 HAS SOPS 15919189 HAS SOUS 1924562 HAS SOUPS 741943 WITH SCORE 775028.599
AT ITER 1253 NEW BEST:: SOT 38364840 SOS 33087622 HAS SOPS 15917999 HAS SOUS 1924086 HAS SOUPS 741348 WITH SCORE 774435.622
AT ITER 1277 NEW BEST:: SOT 38364793 SOS 33087528 HAS SOPS 15917905 HAS SOUS 1924039 HAS SOUPS 741301 WITH SCORE 774388.528
AT ITER 1295 NEW BEST:: SOT 38364793 SOS 33087528 HAS SOPS 15917905 HAS SOUS 1923919 HAS SOUPS 741181 WITH SCORE 774268.528
AT ITER 1332 NEW BEST:: SOT 38364735 SOS 33087673 HAS SOPS 15918050 HAS SOUS 1923860 HAS SOUPS 741122 WITH SCORE 774209.673
AT ITER 1337 NEW BEST:: SOT 38364244 SOS 33082704 HAS SOPS 15917068 HAS SOUS 1922680 HAS SOUPS 740385 WITH SCORE 773467.704
AT ITER 1348 NEW BEST:: SOT 38364244 SOS 33082704 HAS SOPS 15917068 HAS SOUS 1922482 HAS SOUPS 740187 WITH SCORE 773269.704
AT ITER 1354 NEW BEST:: SOT 38363906 SOS 33080533 HAS SOPS 15917588 HAS SOUS 1921905 HAS SOUPS 739909 WITH SCORE 772989.533
AT ITER 1364 NEW BEST:: SOT 38363906 SOS 33080533 HAS SOPS 15917588 HAS SOUS 1921855 HAS SOUPS 739859 WITH SCORE 772939.533
AT ITER 1367 NEW BEST:: SOT 38363670 SOS 33076861 HAS SOPS 15919676 HAS SOUS 1920979 HAS SOUPS 739623 WITH SCORE 772699.861
AT ITER 1380 NEW BEST:: SOT 38363670 SOS 33076861 HAS SOPS 15919676 HAS SOUS 1920767 HAS SOUPS 739411 WITH SCORE 772487.861
AT ITER 1478 NEW BEST:: SOT 38362587 SOS 33084579 HAS SOPS 15919672 HAS SOUS 1920109 HAS SOUPS 738467 WITH SCORE 771551.579
AT ITER 1484 NEW BEST:: SOT 38362587 SOS 33084579 HAS SOPS 15919672 HAS SOUS 1919774 HAS SOUPS 738465 WITH SCORE 771549.579
AT ITER 1488 NEW BEST:: SOT 38360779 SOS 33091048 HAS SOPS 15917285 HAS SOUS 1918636 HAS SOUPS 736999 WITH SCORE 770090.048
AT ITER 1501 NEW BEST:: SOT 38359757 SOS 33085427 HAS SOPS 15916263 HAS SOUS 1917103 HAS SOUPS 735977 WITH SCORE 769062.427
AT ITER 1511 NEW BEST:: SOT 38359757 SOS 33085427 HAS SOPS 15916263 HAS SOUS 1916899 HAS SOUPS 735773 WITH SCORE 768858.427
AT ITER 1529 NEW BEST:: SOT 38359791 SOS 33010907 HAS SOPS 15917617 HAS SOUS 1916273 HAS SOUPS 735790 WITH SCORE 768800.907
AT ITER 1531 NEW BEST:: SOT 38358323 SOS 33013951 HAS SOPS 15914451 HAS SOUS 1915277 HAS SOUPS 734564 WITH SCORE 767577.951
AT ITER 1538 NEW BEST:: SOT 38358323 SOS 33013951 HAS SOPS 15914451 HAS SOUS 1915217 HAS SOUPS 734504 WITH SCORE 767517.951
AT ITER 1551 NEW BEST:: SOT 38357885 SOS 33013075 HAS SOPS 15915753 HAS SOUS 1914324 HAS SOUPS 733853 WITH SCORE 766866.075
AT ITER 1560 NEW BEST:: SOT 38357885 SOS 33013075 HAS SOPS 15915753 HAS SOUS 1914184 HAS SOUPS 733713 WITH SCORE 766726.075
AT ITER 1568 NEW BEST:: SOT 38357885 SOS 33013075 HAS SOPS 15915753 HAS SOUS 1914048 HAS SOUPS 733577 WITH SCORE 766590.075
AT ITER 1569 NEW BEST:: SOT 38356628 SOS 33018283 HAS SOPS 15912942 HAS SOUS 1913088 HAS SOUPS 732320 WITH SCORE 765338.283
AT ITER 1570 NEW BEST:: SOT 38356628 SOS 33018283 HAS SOPS 15912942 HAS SOUS 1912868 HAS SOUPS 732100 WITH SCORE 765118.283
AT ITER 1572 NEW BEST:: SOT 38356628 SOS 33018283 HAS SOPS 15912942 HAS SOUS 1912648 HAS SOUPS 731880 WITH SCORE 764898.283
AT ITER 1584 NEW BEST:: SOT 38356418 SOS 33017338 HAS SOPS 15911997 HAS SOUS 1912438 HAS SOUPS 731670 WITH SCORE 764687.338
AT ITER 1599 NEW BEST:: SOT 38356418 SOS 33017338 HAS SOPS 15911997 HAS SOUS 1912430 HAS SOUPS 731662 WITH SCORE 764679.338
AT ITER 1602 NEW BEST:: SOT 38356019 SOS 33022392 HAS SOPS 15914657 HAS SOUS 1912296 HAS SOUPS 731528 WITH SCORE 764550.392
AT ITER 1622 NEW BEST:: SOT 38356019 SOS 33022392 HAS SOPS 15914657 HAS SOUS 1912286 HAS SOUPS 731518 WITH SCORE 764540.392
AT ITER 1623 NEW BEST:: SOT 38355246 SOS 33023628 HAS SOPS 15913004 HAS SOUS 1911834 HAS SOUPS 730959 WITH SCORE 763982.628
AT ITER 1643 NEW BEST:: SOT 38354838 SOS 33022812 HAS SOPS 15912188 HAS SOUS 1911732 HAS SOUPS 730857 WITH SCORE 763879.812
AT ITER 1649 NEW BEST:: SOT 38354838 SOS 33022812 HAS SOPS 15912188 HAS SOUS 1911588 HAS SOUPS 730713 WITH SCORE 763735.812
AT ITER 1659 NEW BEST:: SOT 38350823 SOS 33030549 HAS SOPS 15911159 HAS SOUS 1908536 HAS SOUPS 727661 WITH SCORE 760691.549
AT ITER 1686 NEW BEST:: SOT 38350719 SOS 33030341 HAS SOPS 15910951 HAS SOUS 1908432 HAS SOUPS 727557 WITH SCORE 760587.341
AT ITER 1699 NEW BEST:: SOT 38349116 SOS 33034077 HAS SOPS 15907478 HAS SOUS 1907336 HAS SOUPS 726194 WITH SCORE 759228.077
AT ITER 1703 NEW BEST:: SOT 38348812 SOS 33033469 HAS SOPS 15908238 HAS SOUS 1906728 HAS SOUPS 725738 WITH SCORE 758771.469
AT ITER 1752 NEW BEST:: SOT 38348812 SOS 33033469 HAS SOPS 15908238 HAS SOUS 1906588 HAS SOUPS 725598 WITH SCORE 758631.469
AT ITER 1762 NEW BEST:: SOT 38348812 SOS 33032884 HAS SOPS 15907653 HAS SOUS 1906588 HAS SOUPS 725598 WITH SCORE 758630.884
AT ITER 1784 NEW BEST:: SOT 38348812 SOS 33032884 HAS SOPS 15907653 HAS SOUS 1906534 HAS SOUPS 725544 WITH SCORE 758576.884
AT ITER 1803 NEW BEST:: SOT 38347589 SOS 33039153 HAS SOPS 15907199 HAS SOUS 1906047 HAS SOUPS 724808 WITH SCORE 757847.153
AT ITER 1842 NEW BEST:: SOT 38344771 SOS 33059784 HAS SOPS 15915122 HAS SOUS 1904360 HAS SOUPS 723121 WITH SCORE 756180.784
AT ITER 1853 NEW BEST:: SOT 38342157 SOS 33074546 HAS SOPS 15919858 HAS SOUS 1902325 HAS SOUPS 721086 WITH SCORE 754160.546
AT ITER 1883 NEW BEST:: SOT 38341293 SOS 33071593 HAS SOPS 15916905 HAS SOUS 1902196 HAS SOUPS 720957 WITH SCORE 754028.593
AT ITER 1887 NEW BEST:: SOT 38341239 SOS 33071485 HAS SOPS 15915177 HAS SOUS 1902322 HAS SOUPS 720903 WITH SCORE 753974.485
AT ITER 1895 NEW BEST:: SOT 38341063 SOS 33069528 HAS SOPS 15916109 HAS SOUS 1901921 HAS SOUPS 720823 WITH SCORE 753892.528
AT ITER 1920 NEW BEST:: SOT 38341031 SOS 33069464 HAS SOPS 15916045 HAS SOUS 1901889 HAS SOUPS 720791 WITH SCORE 753860.464
AT ITER 1961 NEW BEST:: SOT 38339959 SOS 33079400 HAS SOPS 15920509 HAS SOUS 1901082 HAS SOUPS 719984 WITH SCORE 753063.4
AT ITER 1971 NEW BEST:: SOT 38339615 SOS 33078712 HAS SOPS 15923331 HAS SOUS 1900231 HAS SOUPS 719523 WITH SCORE 752601.712
AT ITER 2007 NEW BEST:: SOT 38339039 SOS 33077560 HAS SOPS 15925239 HAS SOUS 1899041 HAS SOUPS 718673 WITH SCORE 751750.56
AT ITER 2014 NEW BEST:: SOT 38337531 SOS 33088962 HAS SOPS 15926435 HAS SOUS 1898685 HAS SOUPS 717939 WITH SCORE 751027.962
AT ITER 2029 NEW BEST:: SOT 38337117 SOS 33094206 HAS SOPS 15929195 HAS SOUS 1898409 HAS SOUPS 717663 WITH SCORE 750757.206
AT ITER 2040 NEW BEST:: SOT 38337117 SOS 33094206 HAS SOPS 15929195 HAS SOUS 1898361 HAS SOUPS 717615 WITH SCORE 750709.206
AT ITER 2075 NEW BEST:: SOT 38336217 SOS 33099402 HAS SOPS 15928667 HAS SOUS 1898123 HAS SOUPS 717165 WITH SCORE 750264.402
AT ITER 2089 NEW BEST:: SOT 38336217 SOS 33099402 HAS SOPS 15928667 HAS SOUS 1897903 HAS SOUPS 716945 WITH SCORE 750044.402
AT ITER 2097 NEW BEST:: SOT 38336217 SOS 33099402 HAS SOPS 15928667 HAS SOUS 1897899 HAS SOUPS 716941 WITH SCORE 750040.402
AT ITER 2114 NEW BEST:: SOT 38336217 SOS 33097755 HAS SOPS 15929522 HAS SOUS 1897593 HAS SOUPS 716913 WITH SCORE 750010.755
AT ITER 2119 NEW BEST:: SOT 38336217 SOS 33097755 HAS SOPS 15929522 HAS SOUS 1897405 HAS SOUPS 716725 WITH SCORE 749822.755
AT ITER 2149 NEW BEST:: SOT 38336223 SOS 33097959 HAS SOPS 15929510 HAS SOUS 1897408 HAS SOUPS 716704 WITH SCORE 749801.959
AT ITER 2158 NEW BEST:: SOT 38336223 SOS 33097959 HAS SOPS 15929510 HAS SOUS 1897188 HAS SOUPS 716484 WITH SCORE 749581.959
AT ITER 2172 NEW BEST:: SOT 38335999 SOS 33097511 HAS SOPS 15929062 HAS SOUS 1896852 HAS SOUPS 716148 WITH SCORE 749245.5109999999
AT ITER 2203 NEW BEST:: SOT 38334846 SOS 33129678 HAS SOPS 15940736 HAS SOUS 1897223 HAS SOUPS 715760 WITH SCORE 748889.678
AT ITER 2207 NEW BEST:: SOT 38334894 SOS 33127662 HAS SOPS 15940016 HAS SOUS 1897127 HAS SOUPS 715712 WITH SCORE 748839.662
AT ITER 2219 NEW BEST:: SOT 38333590 SOS 33138552 HAS SOPS 15945038 HAS SOUS 1896475 HAS SOUPS 715060 WITH SCORE 748198.552
AT ITER 2225 NEW BEST:: SOT 38333590 SOS 33138552 HAS SOPS 15945038 HAS SOUS 1896435 HAS SOUPS 715020 WITH SCORE 748158.552
AT ITER 2242 NEW BEST:: SOT 38333218 SOS 33137808 HAS SOPS 15944294 HAS SOUS 1896249 HAS SOUPS 714834 WITH SCORE 747971.808
AT ITER 2245 NEW BEST:: SOT 38329445 SOS 33166595 HAS SOPS 15952615 HAS SOUS 1896135 HAS SOUPS 713962 WITH SCORE 747128.595
AT ITER 2250 NEW BEST:: SOT 38329198 SOS 33164191 HAS SOPS 15953649 HAS SOUS 1895627 HAS SOUPS 713836 WITH SCORE 747000.191
AT ITER 2263 NEW BEST:: SOT 38327221 SOS 33179477 HAS SOPS 15959503 HAS SOUS 1894639 HAS SOUPS 712848 WITH SCORE 746027.477
AT ITER 2270 NEW BEST:: SOT 38327221 SOS 33179347 HAS SOPS 15959607 HAS SOUS 1894613 HAS SOUPS 712848 WITH SCORE 746027.347
AT ITER 2275 NEW BEST:: SOT 38326843 SOS 33177406 HAS SOPS 15957666 HAS SOUS 1894235 HAS SOUPS 712470 WITH SCORE 745647.406
AT ITER 2276 NEW BEST:: SOT 38326745 SOS 33177210 HAS SOPS 15957470 HAS SOUS 1894135 HAS SOUPS 712370 WITH SCORE 745547.21
AT ITER 2328 NEW BEST:: SOT 38326745 SOS 33177210 HAS SOPS 15957470 HAS SOUS 1893965 HAS SOUPS 712200 WITH SCORE 745377.21
AT ITER 2371 NEW BEST:: SOT 38326745 SOS 33177210 HAS SOPS 15957470 HAS SOUS 1893745 HAS SOUPS 711980 WITH SCORE 745157.21
AT ITER 2395 NEW BEST:: SOT 38323080 SOS 33192452 HAS SOPS 15961048 HAS SOUS 1891332 HAS SOUPS 709567 WITH SCORE 742759.452
AT ITER 2425 NEW BEST:: SOT 38323443 SOS 33111284 HAS SOPS 15963188 HAS SOUS 1889774 HAS SOUPS 708715 WITH SCORE 741826.284
AT ITER 2433 NEW BEST:: SOT 38323443 SOS 33111284 HAS SOPS 15963188 HAS SOUS 1889554 HAS SOUPS 708495 WITH SCORE 741606.284
AT ITER 2466 NEW BEST:: SOT 38323193 SOS 33110784 HAS SOPS 15964938 HAS SOUS 1889053 HAS SOUPS 708244 WITH SCORE 741354.784
AT ITER 2478 NEW BEST:: SOT 38323193 SOS 33110784 HAS SOPS 15964938 HAS SOUS 1888839 HAS SOUPS 708030 WITH SCORE 741140.784
AT ITER 2497 NEW BEST:: SOT 38322377 SOS 33113492 HAS SOPS 15963866 HAS SOUS 1888361 HAS SOUPS 707412 WITH SCORE 740525.492
AT ITER 2511 NEW BEST:: SOT 38321930 SOS 33109349 HAS SOPS 15962972 HAS SOUS 1887363 HAS SOUPS 706775 WITH SCORE 739884.349
AT ITER 2545 NEW BEST:: SOT 38321534 SOS 33114365 HAS SOPS 15965612 HAS SOUS 1887099 HAS SOUPS 706511 WITH SCORE 739625.365
AT ITER 2563 NEW BEST:: SOT 38321534 SOS 33114365 HAS SOPS 15965612 HAS SOUS 1886879 HAS SOUPS 706291 WITH SCORE 739405.365
AT ITER 2564 NEW BEST:: SOT 38321534 SOS 33114365 HAS SOPS 15965612 HAS SOUS 1886871 HAS SOUPS 706283 WITH SCORE 739397.365
AT ITER 2567 NEW BEST:: SOT 38321534 SOS 33113735 HAS SOPS 15964982 HAS SOUS 1886870 HAS SOUPS 706282 WITH SCORE 739395.735
AT ITER 2571 NEW BEST:: SOT 38321534 SOS 33113735 HAS SOPS 15964982 HAS SOUS 1886772 HAS SOUPS 706184 WITH SCORE 739297.735
AT ITER 2600 NEW BEST:: SOT 38321534 SOS 33113735 HAS SOPS 15964982 HAS SOUS 1886552 HAS SOUPS 705964 WITH SCORE 739077.735
AT ITER 2609 NEW BEST:: SOT 38321534 SOS 33113735 HAS SOPS 15964982 HAS SOUS 1886332 HAS SOUPS 705744 WITH SCORE 738857.735
AT ITER 2611 NEW BEST:: SOT 38321333 SOS 33113333 HAS SOPS 15964580 HAS SOUS 1886131 HAS SOUPS 705543 WITH SCORE 738656.333
AT ITER 2612 NEW BEST:: SOT 38321333 SOS 33113333 HAS SOPS 15964580 HAS SOUS 1886017 HAS SOUPS 705429 WITH SCORE 738542.333
AT ITER 2614 NEW BEST:: SOT 38321333 SOS 33113333 HAS SOPS 15964580 HAS SOUS 1885797 HAS SOUPS 705209 WITH SCORE 738322.333
AT ITER 2639 NEW BEST:: SOT 38321124 SOS 33112915 HAS SOPS 15964162 HAS SOUS 1885481 HAS SOUPS 704893 WITH SCORE 738005.915
AT ITER 2652 NEW BEST:: SOT 38321124 SOS 33112915 HAS SOPS 15964162 HAS SOUS 1885261 HAS SOUPS 704673 WITH SCORE 737785.915
AT ITER 2653 NEW BEST:: SOT 38320928 SOS 33112523 HAS SOPS 15964652 HAS SOUS 1884869 HAS SOUPS 704379 WITH SCORE 737491.523
AT ITER 2666 NEW BEST:: SOT 38318791 SOS 33126331 HAS SOPS 15967066 HAS SOUS 1884197 HAS SOUPS 703285 WITH SCORE 736411.331
AT ITER 2679 NEW BEST:: SOT 38318791 SOS 33126331 HAS SOPS 15967066 HAS SOUS 1883977 HAS SOUPS 703065 WITH SCORE 736191.331
AT ITER 2708 NEW BEST:: SOT 38318833 SOS 33126940 HAS SOPS 15966730 HAS SOUS 1883956 HAS SOUPS 702939 WITH SCORE 736065.94
AT ITER 2709 NEW BEST:: SOT 38316917 SOS 33121168 HAS SOPS 15964450 HAS SOUS 1882428 HAS SOUPS 701799 WITH SCORE 734920.168
AT ITER 2738 NEW BEST:: SOT 38317021 SOS 33120916 HAS SOPS 15964198 HAS SOUS 1882417 HAS SOUPS 701788 WITH SCORE 734908.916
AT ITER 2755 NEW BEST:: SOT 38316975 SOS 33120824 HAS SOPS 15964106 HAS SOUS 1882348 HAS SOUPS 701719 WITH SCORE 734839.824
AT ITER 2761 NEW BEST:: SOT 38316975 SOS 33120824 HAS SOPS 15964106 HAS SOUS 1882294 HAS SOUPS 701665 WITH SCORE 734785.824
AT ITER 2785 NEW BEST:: SOT 38316975 SOS 33120824 HAS SOPS 15964106 HAS SOUS 1882074 HAS SOUPS 701445 WITH SCORE 734565.824
AT ITER 2786 NEW BEST:: SOT 38316975 SOS 33120824 HAS SOPS 15964106 HAS SOUS 1881970 HAS SOUPS 701341 WITH SCORE 734461.824
AT ITER 2787 NEW BEST:: SOT 38314416 SOS 33131243 HAS SOPS 15965831 HAS SOUS 1880153 HAS SOUPS 699524 WITH SCORE 732655.243
AT ITER 2791 NEW BEST:: SOT 38308259 SOS 33119920 HAS SOPS 15961597 HAS SOUS 1879523 HAS SOUPS 699309 WITH SCORE 732428.92
AT ITER 2796 NEW BEST:: SOT 38307296 SOS 33127981 HAS SOPS 15965999 HAS SOUS 1879063 HAS SOUPS 698849 WITH SCORE 731976.981
AT ITER 2802 NEW BEST:: SOT 38307115 SOS 33127619 HAS SOPS 15967176 HAS SOUS 1878701 HAS SOUPS 698658 WITH SCORE 731785.619
AT ITER 2865 NEW BEST:: SOT 38307011 SOS 33124606 HAS SOPS 15969212 HAS SOUS 1878036 HAS SOUPS 698554 WITH SCORE 731678.606
AT ITER 2889 NEW BEST:: SOT 38304278 SOS 33150639 HAS SOPS 15975913 HAS SOUS 1877309 HAS SOUPS 697111 WITH SCORE 730261.639
AT ITER 2927 NEW BEST:: SOT 38304278 SOS 33150639 HAS SOPS 15975913 HAS SOUS 1877303 HAS SOUPS 697105 WITH SCORE 730255.639
AT ITER 2935 NEW BEST:: SOT 38304278 SOS 33150639 HAS SOPS 15975913 HAS SOUS 1877149 HAS SOUPS 696951 WITH SCORE 730101.639
AT ITER 2976 NEW BEST:: SOT 38304278 SOS 33150639 HAS SOPS 15975913 HAS SOUS 1877053 HAS SOUPS 696855 WITH SCORE 730005.639
AT ITER 3017 NEW BEST:: SOT 38304278 SOS 33150639 HAS SOPS 15975913 HAS SOUS 1877045 HAS SOUPS 696847 WITH SCORE 729997.639
AT ITER 3020 NEW BEST:: SOT 38304278 SOS 33150639 HAS SOPS 15975913 HAS SOUS 1876949 HAS SOUPS 696751 WITH SCORE 729901.639
AT ITER 3031 NEW BEST:: SOT 38304278 SOS 33150639 HAS SOPS 15975913 HAS SOUS 1876843 HAS SOUPS 696645 WITH SCORE 729795.639
AT ITER 3038 NEW BEST:: SOT 38304278 SOS 33150639 HAS SOPS 15975913 HAS SOUS 1876779 HAS SOUPS 696581 WITH SCORE 729731.639
AT ITER 3044 NEW BEST:: SOT 38303092 SOS 33181948 HAS SOPS 15986675 HAS SOUS 1877052 HAS SOUPS 696093 WITH SCORE 729274.948
AT ITER 3086 NEW BEST:: SOT 38303092 SOS 33181948 HAS SOPS 15986675 HAS SOUS 1876932 HAS SOUPS 695973 WITH SCORE 729154.948
AT ITER 3105 NEW BEST:: SOT 38303092 SOS 33181948 HAS SOPS 15986675 HAS SOUS 1876712 HAS SOUPS 695753 WITH SCORE 728934.948
AT ITER 3117 NEW BEST:: SOT 38302928 SOS 33181620 HAS SOPS 15986347 HAS SOUS 1876548 HAS SOUPS 695589 WITH SCORE 728770.62
AT ITER 3126 NEW BEST:: SOT 38301767 SOS 33183432 HAS SOPS 15983866 HAS SOUS 1875975 HAS SOUPS 694857 WITH SCORE 728040.432
AT ITER 3128 NEW BEST:: SOT 38300733 SOS 33186200 HAS SOPS 15981612 HAS SOUS 1875551 HAS SOUPS 694247 WITH SCORE 727433.2
AT ITER 3134 NEW BEST:: SOT 38299129 SOS 33198195 HAS SOPS 15983455 HAS SOUS 1875406 HAS SOUPS 693726 WITH SCORE 726924.195
AT ITER 3159 NEW BEST:: SOT 38298926 SOS 33199180 HAS SOPS 15983117 HAS SOUS 1875293 HAS SOUPS 693564 WITH SCORE 726763.18
AT ITER 3165 NEW BEST:: SOT 38298343 SOS 33198014 HAS SOPS 15985308 HAS SOUS 1874048 HAS SOUPS 692692 WITH SCORE 725890.014
AT ITER 3176 NEW BEST:: SOT 38298343 SOS 33198014 HAS SOPS 15985308 HAS SOUS 1873876 HAS SOUPS 692520 WITH SCORE 725718.014
AT ITER 3179 NEW BEST:: SOT 38298343 SOS 33198014 HAS SOPS 15985308 HAS SOUS 1873784 HAS SOUPS 692428 WITH SCORE 725626.014
AT ITER 3204 NEW BEST:: SOT 38298081 SOS 33197490 HAS SOPS 15988951 HAS SOUS 1873059 HAS SOUPS 692166 WITH SCORE 725363.49
AT ITER 3206 NEW BEST:: SOT 38297619 SOS 33195180 HAS SOPS 15986641 HAS SOUS 1872597 HAS SOUPS 691704 WITH SCORE 724899.18
AT ITER 3208 NEW BEST:: SOT 38295474 SOS 33206005 HAS SOPS 15986153 HAS SOUS 1871391 HAS SOUPS 690079 WITH SCORE 723285.005
AT ITER 3225 NEW BEST:: SOT 38295046 SOS 33205149 HAS SOPS 15987223 HAS SOUS 1870535 HAS SOUPS 689437 WITH SCORE 722642.149
AT ITER 3232 NEW BEST:: SOT 38295046 SOS 33205149 HAS SOPS 15987223 HAS SOUS 1870315 HAS SOUPS 689217 WITH SCORE 722422.149
AT ITER 3244 NEW BEST:: SOT 38295046 SOS 33205149 HAS SOPS 15987223 HAS SOUS 1870095 HAS SOUPS 688997 WITH SCORE 722202.149
AT ITER 3249 NEW BEST:: SOT 38294577 SOS 33204211 HAS SOPS 15990506 HAS SOUS 1868936 HAS SOUPS 688307 WITH SCORE 721511.211
AT ITER 3282 NEW BEST:: SOT 38294548 SOS 33217843 HAS SOPS 15993743 HAS SOUS 1868858 HAS SOUPS 687844 WITH SCORE 721061.843
AT ITER 3289 NEW BEST:: SOT 38294548 SOS 33217843 HAS SOPS 15993743 HAS SOUS 1868684 HAS SOUPS 687670 WITH SCORE 720887.843
AT ITER 3293 NEW BEST:: SOT 38294563 SOS 33217653 HAS SOPS 15993688 HAS SOUS 1868679 HAS SOUPS 687670 WITH SCORE 720887.653
AT ITER 3327 NEW BEST:: SOT 38293196 SOS 33232638 HAS SOPS 16012138 HAS SOUS 1866888 HAS SOUPS 686264 WITH SCORE 719496.638
AT ITER 3342 NEW BEST:: SOT 38293163 SOS 33232517 HAS SOPS 16012017 HAS SOUS 1866877 HAS SOUPS 686253 WITH SCORE 719485.517
AT ITER 3364 NEW BEST:: SOT 38292909 SOS 33232009 HAS SOPS 16011509 HAS SOUS 1866721 HAS SOUPS 686097 WITH SCORE 719329.009
AT ITER 3365 NEW BEST:: SOT 38292165 SOS 33237227 HAS SOPS 16011921 HAS SOUS 1866407 HAS SOUPS 685605 WITH SCORE 718842.227
AT ITER 3393 NEW BEST:: SOT 38292147 SOS 33234466 HAS SOPS 16009160 HAS SOUS 1865832 HAS SOUPS 685030 WITH SCORE 718264.466
AT ITER 3402 NEW BEST:: SOT 38292147 SOS 33234466 HAS SOPS 16009160 HAS SOUS 1865766 HAS SOUPS 684964 WITH SCORE 718198.466
AT ITER 3406 NEW BEST:: SOT 38292147 SOS 33234466 HAS SOPS 16009160 HAS SOUS 1865546 HAS SOUPS 684744 WITH SCORE 717978.466
AT ITER 3462 NEW BEST:: SOT 38292147 SOS 33234466 HAS SOPS 16009160 HAS SOUS 1865482 HAS SOUPS 684680 WITH SCORE 717914.466
AT ITER 3482 NEW BEST:: SOT 38291640 SOS 33232607 HAS SOPS 16008822 HAS SOUS 1865271 HAS SOUPS 684638 WITH SCORE 717870.607
AT ITER 3484 NEW BEST:: SOT 38291640 SOS 33232607 HAS SOPS 16008822 HAS SOUS 1865051 HAS SOUPS 684418 WITH SCORE 717650.607
AT ITER 3491 NEW BEST:: SOT 38291640 SOS 33232607 HAS SOPS 16008822 HAS SOUS 1864991 HAS SOUPS 684358 WITH SCORE 717590.607
AT ITER 3511 NEW BEST:: SOT 38291640 SOS 33232607 HAS SOPS 16008822 HAS SOUS 1864771 HAS SOUPS 684138 WITH SCORE 717370.607
AT ITER 3520 NEW BEST:: SOT 38285026 SOS 33220706 HAS SOPS 16003692 HAS SOUS 1864400 HAS SOUPS 683877 WITH SCORE 717097.706
AT ITER 3547 NEW BEST:: SOT 38282577 SOS 33243251 HAS SOPS 16013151 HAS SOUS 1863269 HAS SOUPS 682746 WITH SCORE 715989.251
AT ITER 3548 NEW BEST:: SOT 38282353 SOS 33242803 HAS SOPS 16016429 HAS SOUS 1862631 HAS SOUPS 682522 WITH SCORE 715764.803
AT ITER 3562 NEW BEST:: SOT 38281765 SOS 33244231 HAS SOPS 16015589 HAS SOUS 1862295 HAS SOUPS 682102 WITH SCORE 715346.231
AT ITER 3570 NEW BEST:: SOT 38281765 SOS 33244231 HAS SOPS 16015589 HAS SOUS 1862243 HAS SOUPS 682050 WITH SCORE 715294.231
AT ITER 3571 NEW BEST:: SOT 38281765 SOS 33244231 HAS SOPS 16015589 HAS SOUS 1862023 HAS SOUPS 681830 WITH SCORE 715074.231
AT ITER 3597 NEW BEST:: SOT 38281857 SOS 33247267 HAS SOPS 16016141 HAS SOUS 1861931 HAS SOUPS 681646 WITH SCORE 714893.267
AT ITER 3606 NEW BEST:: SOT 38280909 SOS 33250331 HAS SOPS 16014885 HAS SOUS 1861377 HAS SOUPS 680932 WITH SCORE 714182.331
AT ITER 3612 NEW BEST:: SOT 38280438 SOS 33246545 HAS SOPS 16013943 HAS SOUS 1860374 HAS SOUPS 680245 WITH SCORE 713491.545
AT ITER 3627 NEW BEST:: SOT 38280405 SOS 33247062 HAS SOPS 16014163 HAS SOUS 1860374 HAS SOUPS 680234 WITH SCORE 713481.062
AT ITER 3640 NEW BEST:: SOT 38280211 SOS 33246169 HAS SOPS 16013270 HAS SOUS 1860235 HAS SOUPS 680095 WITH SCORE 713341.169
AT ITER 3647 NEW BEST:: SOT 38280211 SOS 33246169 HAS SOPS 16013270 HAS SOUS 1860177 HAS SOUPS 680037 WITH SCORE 713283.169
AT ITER 3683 NEW BEST:: SOT 38280211 SOS 33246151 HAS SOPS 16013252 HAS SOUS 1860177 HAS SOUPS 680037 WITH SCORE 713283.151
AT ITER 3698 NEW BEST:: SOT 38280211 SOS 33246151 HAS SOPS 16013252 HAS SOUS 1860011 HAS SOUPS 679871 WITH SCORE 713117.151
AT ITER 3736 NEW BEST:: SOT 38280030 SOS 33245789 HAS SOPS 16012890 HAS SOUS 1859788 HAS SOUPS 679648 WITH SCORE 712893.789
AT ITER 3737 NEW BEST:: SOT 38276478 SOS 33260208 HAS SOPS 16016203 HAS SOUS 1856785 HAS SOUPS 676645 WITH SCORE 709905.208
AT ITER 3744 NEW BEST:: SOT 38276478 SOS 33260208 HAS SOPS 16016203 HAS SOUS 1856565 HAS SOUPS 676425 WITH SCORE 709685.208
AT ITER 3790 NEW BEST:: SOT 38276735 SOS 33232672 HAS SOPS 16016462 HAS SOUS 1856566 HAS SOUPS 676426 WITH SCORE 709658.672
AT ITER 3791 NEW BEST:: SOT 38276206 SOS 33231614 HAS SOPS 16018536 HAS SOUS 1855425 HAS SOUPS 675633 WITH SCORE 708864.6140000001
AT ITER 3799 NEW BEST:: SOT 38276206 SOS 33231614 HAS SOPS 16018536 HAS SOUS 1855205 HAS SOUPS 675413 WITH SCORE 708644.6140000001
AT ITER 3831 NEW BEST:: SOT 38276206 SOS 33231614 HAS SOPS 16018536 HAS SOUS 1855203 HAS SOUPS 675411 WITH SCORE 708642.6140000001
AT ITER 3847 NEW BEST:: SOT 38275758 SOS 33231022 HAS SOPS 16017944 HAS SOUS 1854982 HAS SOUPS 675190 WITH SCORE 708421.022
AT ITER 3852 NEW BEST:: SOT 38275758 SOS 33231022 HAS SOPS 16017944 HAS SOUS 1854762 HAS SOUPS 674970 WITH SCORE 708201.022
AT ITER 3863 NEW BEST:: SOT 38275418 SOS 33228862 HAS SOPS 16018448 HAS SOUS 1854126 HAS SOUPS 674630 WITH SCORE 707858.862
AT ITER 3946 NEW BEST:: SOT 38275214 SOS 33228454 HAS SOPS 16021469 HAS SOUS 1853612 HAS SOUPS 674497 WITH SCORE 707725.454
AT ITER 3979 NEW BEST:: SOT 38274609 SOS 33232421 HAS SOPS 16020927 HAS SOUS 1853078 HAS SOUPS 673796 WITH SCORE 707028.421
AT ITER 3994 NEW BEST:: SOT 38274099 SOS 33234747 HAS SOPS 16020715 HAS SOUS 1852998 HAS SOUPS 673622 WITH SCORE 706856.747
AT ITER 4009 NEW BEST:: SOT 38274630 SOS 33172674 HAS SOPS 16020572 HAS SOUS 1852117 HAS SOUPS 673191 WITH SCORE 706363.674
AT ITER 4011 NEW BEST:: SOT 38274345 SOS 33175429 HAS SOPS 16020762 HAS SOUS 1852117 HAS SOUPS 673096 WITH SCORE 706271.429
AT ITER 4014 NEW BEST:: SOT 38272383 SOS 33199210 HAS SOPS 16024941 HAS SOUS 1852227 HAS SOUPS 672480 WITH SCORE 705679.21
AT ITER 4051 NEW BEST:: SOT 38271150 SOS 33203533 HAS SOPS 16023351 HAS SOUS 1851501 HAS SOUPS 671535 WITH SCORE 704738.533
AT ITER 4054 NEW BEST:: SOT 38270752 SOS 33202737 HAS SOPS 16022555 HAS SOUS 1850791 HAS SOUPS 670825 WITH SCORE 704027.737
AT ITER 4059 NEW BEST:: SOT 38270592 SOS 33201697 HAS SOPS 16021515 HAS SOUS 1850551 HAS SOUPS 670585 WITH SCORE 703786.697
AT ITER 4071 NEW BEST:: SOT 38270592 SOS 33199861 HAS SOPS 16019679 HAS SOUS 1850551 HAS SOUPS 670585 WITH SCORE 703784.861
AT ITER 4072 NEW BEST:: SOT 38270354 SOS 33198685 HAS SOPS 16018503 HAS SOUS 1850313 HAS SOUPS 670347 WITH SCORE 703545.685
AT ITER 4104 NEW BEST:: SOT 38270354 SOS 33198685 HAS SOPS 16018503 HAS SOUS 1850243 HAS SOUPS 670277 WITH SCORE 703475.685
AT ITER 4111 NEW BEST:: SOT 38270245 SOS 33197405 HAS SOPS 16017223 HAS SOUS 1849907 HAS SOUPS 669941 WITH SCORE 703138.405
AT ITER 4116 NEW BEST:: SOT 38268881 SOS 33192867 HAS SOPS 16015943 HAS SOUS 1849417 HAS SOUPS 669813 WITH SCORE 703005.867
AT ITER 4139 NEW BEST:: SOT 38267964 SOS 33205348 HAS SOPS 16022358 HAS SOUS 1849324 HAS SOUPS 669720 WITH SCORE 702925.348
AT ITER 4165 NEW BEST:: SOT 38267527 SOS 33202719 HAS SOPS 16022888 HAS SOUS 1848793 HAS SOUPS 669540 WITH SCORE 702742.719
AT ITER 4188 NEW BEST:: SOT 38267527 SOS 33202719 HAS SOPS 16022888 HAS SOUS 1848713 HAS SOUPS 669460 WITH SCORE 702662.719
AT ITER 4213 NEW BEST:: SOT 38267527 SOS 33202719 HAS SOPS 16022888 HAS SOUS 1848613 HAS SOUPS 669360 WITH SCORE 702562.719
AT ITER 4259 NEW BEST:: SOT 38267450 SOS 33202565 HAS SOPS 16022734 HAS SOUS 1848536 HAS SOUPS 669283 WITH SCORE 702485.565
AT ITER 4262 NEW BEST:: SOT 38267054 SOS 33202873 HAS SOPS 16023042 HAS SOUS 1848140 HAS SOUPS 668887 WITH SCORE 702089.873
AT ITER 4278 NEW BEST:: SOT 38267054 SOS 33202873 HAS SOPS 16023042 HAS SOUS 1848020 HAS SOUPS 668767 WITH SCORE 701969.873
AT ITER 4305 NEW BEST:: SOT 38267054 SOS 33200123 HAS SOPS 16025242 HAS SOUS 1847470 HAS SOUPS 668767 WITH SCORE 701967.123
AT ITER 4308 NEW BEST:: SOT 38267054 SOS 33198763 HAS SOPS 16026330 HAS SOUS 1847198 HAS SOUPS 668767 WITH SCORE 701965.763
AT ITER 4327 NEW BEST:: SOT 38265540 SOS 33194275 HAS SOPS 16024470 HAS SOUS 1845976 HAS SOUPS 667837 WITH SCORE 701031.275
AT ITER 4479 NEW BEST:: SOT 38265540 SOS 33194275 HAS SOPS 16024470 HAS SOUS 1845918 HAS SOUPS 667779 WITH SCORE 700973.275
AT ITER 4485 NEW BEST:: SOT 38265540 SOS 33194275 HAS SOPS 16024470 HAS SOUS 1845698 HAS SOUPS 667559 WITH SCORE 700753.275
AT ITER 4504 NEW BEST:: SOT 38264875 SOS 33192945 HAS SOPS 16023140 HAS SOUS 1844498 HAS SOUPS 666359 WITH SCORE 699551.945
AT ITER 4527 NEW BEST:: SOT 38262987 SOS 33186699 HAS SOPS 16021340 HAS SOUS 1843610 HAS SOUPS 665965 WITH SCORE 699151.699
AT ITER 4535 NEW BEST:: SOT 38262386 SOS 33184622 HAS SOPS 16019263 HAS SOUS 1842708 HAS SOUPS 665063 WITH SCORE 698247.622
AT ITER 4543 NEW BEST:: SOT 38262386 SOS 33184622 HAS SOPS 16019263 HAS SOUS 1842532 HAS SOUPS 664887 WITH SCORE 698071.622
AT ITER 4577 NEW BEST:: SOT 38261988 SOS 33186492 HAS SOPS 16018811 HAS SOUS 1842290 HAS SOUPS 664559 WITH SCORE 697745.492
AT ITER 4579 NEW BEST:: SOT 38261571 SOS 33191423 HAS SOPS 16019989 HAS SOUS 1842290 HAS SOUPS 664420 WITH SCORE 697611.423
AT ITER 4618 NEW BEST:: SOT 38261571 SOS 33191423 HAS SOPS 16019989 HAS SOUS 1842268 HAS SOUPS 664398 WITH SCORE 697589.423
AT ITER 4635 NEW BEST:: SOT 38256596 SOS 33183357 HAS SOPS 16014277 HAS SOUS 1842333 HAS SOUPS 664278 WITH SCORE 697461.357
AT ITER 4724 NEW BEST:: SOT 38253573 SOS 33190108 HAS SOPS 16013558 HAS SOUS 1840033 HAS SOUPS 661978 WITH SCORE 695168.108
AT ITER 4798 NEW BEST:: SOT 38253573 SOS 33190108 HAS SOPS 16013558 HAS SOUS 1839957 HAS SOUPS 661902 WITH SCORE 695092.108
AT ITER 4806 NEW BEST:: SOT 38253555 SOS 33187952 HAS SOPS 16015218 HAS SOUS 1839515 HAS SOUPS 661884 WITH SCORE 695071.952
AT ITER 4819 NEW BEST:: SOT 38253555 SOS 33187952 HAS SOPS 16015218 HAS SOUS 1839295 HAS SOUPS 661664 WITH SCORE 694851.952
AT ITER 4833 NEW BEST:: SOT 38252192 SOS 33181135 HAS SOPS 16008401 HAS SOUS 1838682 HAS SOUPS 661051 WITH SCORE 694232.135
AT ITER 4860 NEW BEST:: SOT 38251572 SOS 33182469 HAS SOPS 16007062 HAS SOUS 1838416 HAS SOUPS 660686 WITH SCORE 693868.469
AT ITER 4866 NEW BEST:: SOT 38251260 SOS 33180965 HAS SOPS 16007142 HAS SOUS 1838162 HAS SOUPS 660608 WITH SCORE 693788.965
AT ITER 4879 NEW BEST:: SOT 38251291 SOS 33182267 HAS SOPS 16007607 HAS SOUS 1838162 HAS SOUPS 660577 WITH SCORE 693759.267
AT ITER 4882 NEW BEST:: SOT 38251291 SOS 33182267 HAS SOPS 16007607 HAS SOUS 1838142 HAS SOUPS 660557 WITH SCORE 693739.267
AT ITER 4889 NEW BEST:: SOT 38251291 SOS 33182267 HAS SOPS 16007607 HAS SOUS 1837946 HAS SOUPS 660361 WITH SCORE 693543.267
AT ITER 4892 NEW BEST:: SOT 38251291 SOS 33182267 HAS SOPS 16007058 HAS SOUS 1837946 HAS SOUPS 660300 WITH SCORE 693482.267
AT ITER 4913 NEW BEST:: SOT 38250971 SOS 33183611 HAS SOPS 16006674 HAS SOUS 1837690 HAS SOUPS 659980 WITH SCORE 693163.611
AT ITER 4917 NEW BEST:: SOT 38250971 SOS 33183611 HAS SOPS 16006674 HAS SOUS 1837524 HAS SOUPS 659814 WITH SCORE 692997.611
AT ITER 4929 NEW BEST:: SOT 38248604 SOS 33191640 HAS SOPS 16006945 HAS SOUS 1836969 HAS SOUPS 659259 WITH SCORE 692450.64
AT ITER 4947 NEW BEST:: SOT 38248603 SOS 33191647 HAS SOPS 16006943 HAS SOUS 1836969 HAS SOUPS 659258 WITH SCORE 692449.647
AT ITER 4948 NEW BEST:: SOT 38248359 SOS 33190549 HAS SOPS 16006943 HAS SOUS 1836603 HAS SOUPS 659014 WITH SCORE 692204.549
AT ITER 4973 NEW BEST:: SOT 38248167 SOS 33189325 HAS SOPS 16005719 HAS SOUS 1836411 HAS SOUPS 658822 WITH SCORE 692011.325
AT ITER 4997 NEW BEST:: SOT 38245898 SOS 33209534 HAS SOPS 16014696 HAS SOUS 1834672 HAS SOUPS 657083 WITH SCORE 690292.534
AT ITER 5036 NEW BEST:: SOT 38246029 SOS 33209796 HAS SOPS 16014958 HAS SOUS 1834653 HAS SOUPS 657064 WITH SCORE 690273.796
AT ITER 5059 NEW BEST:: SOT 38245827 SOS 33209392 HAS SOPS 16015769 HAS SOUS 1834316 HAS SOUPS 656862 WITH SCORE 690071.392
AT ITER 5090 NEW BEST:: SOT 38245827 SOS 33209392 HAS SOPS 16015769 HAS SOUS 1834096 HAS SOUPS 656642 WITH SCORE 689851.392
AT ITER 5095 NEW BEST:: SOT 38245586 SOS 33206111 HAS SOPS 16016610 HAS SOUS 1833153 HAS SOUPS 656157 WITH SCORE 689363.111
AT ITER 5100 NEW BEST:: SOT 38245586 SOS 33206111 HAS SOPS 16016610 HAS SOUS 1832933 HAS SOUPS 655937 WITH SCORE 689143.111
AT ITER 5102 NEW BEST:: SOT 38245586 SOS 33206111 HAS SOPS 16016610 HAS SOUS 1832713 HAS SOUPS 655717 WITH SCORE 688923.111
AT ITER 5147 NEW BEST:: SOT 38245198 SOS 33205335 HAS SOPS 16017580 HAS SOUS 1831937 HAS SOUPS 655135 WITH SCORE 688340.335
AT ITER 5149 NEW BEST:: SOT 38239054 SOS 33194337 HAS SOPS 16013107 HAS SOUS 1831205 HAS SOUPS 654526 WITH SCORE 687720.337
AT ITER 5184 NEW BEST:: SOT 38238742 SOS 33191004 HAS SOPS 16013698 HAS SOUS 1830511 HAS SOUPS 654268 WITH SCORE 687459.004
AT ITER 5189 NEW BEST:: SOT 38238546 SOS 33190612 HAS SOPS 16015070 HAS SOUS 1830119 HAS SOUPS 654072 WITH SCORE 687262.612
AT ITER 5211 NEW BEST:: SOT 38237741 SOS 33194196 HAS SOPS 16015756 HAS SOUS 1829426 HAS SOUPS 653379 WITH SCORE 686573.196
AT ITER 5214 NEW BEST:: SOT 38235568 SOS 33205078 HAS SOPS 16017566 HAS SOUS 1827842 HAS SOUPS 651795 WITH SCORE 685000.078
AT ITER 5222 NEW BEST:: SOT 38235568 SOS 33205078 HAS SOPS 16017566 HAS SOUS 1827758 HAS SOUPS 651711 WITH SCORE 684916.078
AT ITER 5289 NEW BEST:: SOT 38235568 SOS 33205078 HAS SOPS 16017566 HAS SOUS 1827558 HAS SOUPS 651511 WITH SCORE 684716.078
AT ITER 5346 NEW BEST:: SOT 38235510 SOS 33204962 HAS SOPS 16017450 HAS SOUS 1827500 HAS SOUPS 651453 WITH SCORE 684657.962
AT ITER 5354 NEW BEST:: SOT 38235432 SOS 33204611 HAS SOPS 16017099 HAS SOUS 1827422 HAS SOUPS 651375 WITH SCORE 684579.611
AT ITER 5369 NEW BEST:: SOT 38233725 SOS 33198787 HAS SOPS 16015613 HAS SOUS 1826662 HAS SOUPS 651097 WITH SCORE 684295.787
AT ITER 5398 NEW BEST:: SOT 38233661 SOS 33198659 HAS SOPS 16015485 HAS SOUS 1826598 HAS SOUPS 651033 WITH SCORE 684231.659
AT ITER 5422 NEW BEST:: SOT 38231068 SOS 33214549 HAS SOPS 16021133 HAS SOUS 1824710 HAS SOUPS 649145 WITH SCORE 682359.549
AT ITER 5465 NEW BEST:: SOT 38231068 SOS 33214549 HAS SOPS 16021133 HAS SOUS 1824558 HAS SOUPS 648993 WITH SCORE 682207.549
AT ITER 5467 NEW BEST:: SOT 38230791 SOS 33218118 HAS SOPS 16021111 HAS SOUS 1824445 HAS SOUPS 648747 WITH SCORE 681965.118
AT ITER 5524 NEW BEST:: SOT 38228383 SOS 33236906 HAS SOPS 16028181 HAS SOUS 1823477 HAS SOUPS 647779 WITH SCORE 681015.906
AT ITER 5566 NEW BEST:: SOT 38228176 SOS 33236492 HAS SOPS 16029630 HAS SOUS 1822965 HAS SOUPS 647474 WITH SCORE 680710.492
AT ITER 5585 NEW BEST:: SOT 38227969 SOS 33241505 HAS SOPS 16032375 HAS SOUS 1822884 HAS SOUPS 647393 WITH SCORE 680634.505
AT ITER 5608 NEW BEST:: SOT 38228223 SOS 33242588 HAS SOPS 16033458 HAS SOUS 1822678 HAS SOUPS 647187 WITH SCORE 680429.588
AT ITER 5647 NEW BEST:: SOT 38228137 SOS 33242416 HAS SOPS 16033286 HAS SOUS 1822592 HAS SOUPS 647101 WITH SCORE 680343.416
AT ITER 5663 NEW BEST:: SOT 38227747 SOS 33247846 HAS SOPS 16032929 HAS SOUS 1823013 HAS SOUPS 646879 WITH SCORE 680126.846
AT ITER 5674 NEW BEST:: SOT 38227687 SOS 33249103 HAS SOPS 16032584 HAS SOUS 1823131 HAS SOUPS 646819 WITH SCORE 680068.103
AT ITER 5761 NEW BEST:: SOT 38227029 SOS 33249871 HAS SOPS 16033352 HAS SOUS 1822276 HAS SOUPS 645964 WITH SCORE 679213.871
AT ITER 5764 NEW BEST:: SOT 38227029 SOS 33249871 HAS SOPS 16033352 HAS SOUS 1822202 HAS SOUPS 645890 WITH SCORE 679139.871
AT ITER 5824 NEW BEST:: SOT 38227029 SOS 33249871 HAS SOPS 16033352 HAS SOUS 1822042 HAS SOUPS 645730 WITH SCORE 678979.871
AT ITER 5853 NEW BEST:: SOT 38226994 SOS 33249801 HAS SOPS 16033282 HAS SOUS 1822007 HAS SOUPS 645695 WITH SCORE 678944.801
AT ITER 5864 NEW BEST:: SOT 38226994 SOS 33249801 HAS SOPS 16033282 HAS SOUS 1821999 HAS SOUPS 645687 WITH SCORE 678936.801
AT ITER 5887 NEW BEST:: SOT 38226994 SOS 33249801 HAS SOPS 16033282 HAS SOUS 1821975 HAS SOUPS 645663 WITH SCORE 678912.801
AT ITER 5906 NEW BEST:: SOT 38226649 SOS 33252676 HAS SOPS 16033052 HAS SOUS 1821745 HAS SOUPS 645318 WITH SCORE 678570.676
AT ITER 5930 NEW BEST:: SOT 38226423 SOS 33252638 HAS SOPS 16030782 HAS SOUS 1821565 HAS SOUPS 644890 WITH SCORE 678142.638
AT ITER 5938 NEW BEST:: SOT 38224146 SOS 33263974 HAS SOPS 16034270 HAS SOUS 1820149 HAS SOUPS 643474 WITH SCORE 676737.974
AT ITER 5950 NEW BEST:: SOT 38223690 SOS 33259993 HAS SOPS 16033358 HAS SOUS 1819118 HAS SOUPS 642784 WITH SCORE 676043.993
AT ITER 5959 NEW BEST:: SOT 38223690 SOS 33259993 HAS SOPS 16033358 HAS SOUS 1818898 HAS SOUPS 642564 WITH SCORE 675823.993
AT ITER 6009 NEW BEST:: SOT 38223690 SOS 33259993 HAS SOPS 16033358 HAS SOUS 1818862 HAS SOUPS 642528 WITH SCORE 675787.993
AT ITER 6027 NEW BEST:: SOT 38216814 SOS 33247841 HAS SOPS 16028659 HAS SOUS 1818397 HAS SOUPS 642221 WITH SCORE 675468.841
AT ITER 6032 NEW BEST:: SOT 38216968 SOS 33246429 HAS SOPS 16027247 HAS SOUS 1818207 HAS SOUPS 642031 WITH SCORE 675277.429
AT ITER 6035 NEW BEST:: SOT 38215953 SOS 33248032 HAS SOPS 16027245 HAS SOUS 1817476 HAS SOUPS 641300 WITH SCORE 674548.032
AT ITER 6056 NEW BEST:: SOT 38215849 SOS 33247824 HAS SOPS 16027505 HAS SOUS 1817268 HAS SOUPS 641144 WITH SCORE 674391.824
AT ITER 6112 NEW BEST:: SOT 38215574 SOS 33247274 HAS SOPS 16026955 HAS SOUS 1816993 HAS SOUPS 640869 WITH SCORE 674116.274
AT ITER 6114 NEW BEST:: SOT 38213601 SOS 33251709 HAS SOPS 16026080 HAS SOUS 1816168 HAS SOUPS 640044 WITH SCORE 673295.709
AT ITER 6131 NEW BEST:: SOT 38213601 SOS 33251709 HAS SOPS 16026080 HAS SOUS 1816132 HAS SOUPS 640008 WITH SCORE 673259.709
AT ITER 6169 NEW BEST:: SOT 38212181 SOS 33246664 HAS SOPS 16025004 HAS SOUS 1815479 HAS SOUPS 639796 WITH SCORE 673042.664
AT ITER 6216 NEW BEST:: SOT 38212121 SOS 33247204 HAS SOPS 16025139 HAS SOUS 1815449 HAS SOUPS 639751 WITH SCORE 672998.204
AT ITER 6243 NEW BEST:: SOT 38211109 SOS 33258101 HAS SOPS 16026964 HAS SOUS 1815576 HAS SOUPS 639542 WITH SCORE 672800.101
AT ITER 6250 NEW BEST:: SOT 38211109 SOS 33258101 HAS SOPS 16026964 HAS SOUS 1815372 HAS SOUPS 639338 WITH SCORE 672596.101
AT ITER 6257 NEW BEST:: SOT 38211022 SOS 33256052 HAS SOPS 16026877 HAS SOUS 1814934 HAS SOUPS 639118 WITH SCORE 672374.052
AT ITER 6265 NEW BEST:: SOT 38210779 SOS 33255566 HAS SOPS 16029685 HAS SOUS 1814325 HAS SOUPS 638875 WITH SCORE 672130.566
AT ITER 6324 NEW BEST:: SOT 38210334 SOS 33254676 HAS SOPS 16031324 HAS SOUS 1813377 HAS SOUPS 638208 WITH SCORE 671462.676
AT ITER 6330 NEW BEST:: SOT 38208351 SOS 33275979 HAS SOPS 16040099 HAS SOUS 1812486 HAS SOUPS 637317 WITH SCORE 670592.979
AT ITER 6340 NEW BEST:: SOT 38208047 SOS 33274711 HAS SOPS 16040019 HAS SOUS 1812268 HAS SOUPS 637231 WITH SCORE 670505.711
AT ITER 6356 NEW BEST:: SOT 38207459 SOS 33271630 HAS SOPS 16040367 HAS SOUS 1811593 HAS SOUPS 636937 WITH SCORE 670208.63
AT ITER 6387 NEW BEST:: SOT 38207429 SOS 33271570 HAS SOPS 16040577 HAS SOUS 1811563 HAS SOUPS 636937 WITH SCORE 670208.57
AT ITER 6401 NEW BEST:: SOT 38200280 SOS 33258672 HAS SOPS 16035861 HAS SOUS 1811090 HAS SOUPS 636906 WITH SCORE 670164.672
AT ITER 6416 NEW BEST:: SOT 38200280 SOS 33258672 HAS SOPS 16035861 HAS SOUS 1811068 HAS SOUPS 636884 WITH SCORE 670142.672
AT ITER 6436 NEW BEST:: SOT 38200280 SOS 33258672 HAS SOPS 16035861 HAS SOUS 1810930 HAS SOUPS 636746 WITH SCORE 670004.672
AT ITER 6495 NEW BEST:: SOT 38199358 SOS 33257665 HAS SOPS 16034854 HAS SOUS 1810884 HAS SOUPS 636700 WITH SCORE 669957.665
AT ITER 6504 NEW BEST:: SOT 38195975 SOS 33267943 HAS SOPS 16036378 HAS SOUS 1808807 HAS SOUPS 634697 WITH SCORE 667964.943
AT ITER 6531 NEW BEST:: SOT 38195975 SOS 33267943 HAS SOPS 16036378 HAS SOUS 1808721 HAS SOUPS 634611 WITH SCORE 667878.943
AT ITER 6652 NEW BEST:: SOT 38195511 SOS 33267015 HAS SOPS 16035450 HAS SOUS 1808489 HAS SOUPS 634379 WITH SCORE 667646.015
AT ITER 6672 NEW BEST:: SOT 38195415 SOS 33266823 HAS SOPS 16035258 HAS SOUS 1808054 HAS SOUPS 633944 WITH SCORE 667210.823
AT ITER 6673 NEW BEST:: SOT 38195415 SOS 33266823 HAS SOPS 16035258 HAS SOUS 1807868 HAS SOUPS 633758 WITH SCORE 667024.823
AT ITER 6727 NEW BEST:: SOT 38195357 SOS 33266707 HAS SOPS 16035142 HAS SOUS 1807810 HAS SOUPS 633700 WITH SCORE 666966.707
AT ITER 6739 NEW BEST:: SOT 38195357 SOS 33266707 HAS SOPS 16035142 HAS SOUS 1807590 HAS SOUPS 633480 WITH SCORE 666746.707
AT ITER 6792 NEW BEST:: SOT 38194489 SOS 33263816 HAS SOPS 16032251 HAS SOUS 1807283 HAS SOUPS 633173 WITH SCORE 666436.816
AT ITER 6811 NEW BEST:: SOT 38192848 SOS 33258889 HAS SOPS 16027324 HAS SOUS 1806300 HAS SOUPS 632190 WITH SCORE 665448.889
AT ITER 6823 NEW BEST:: SOT 38192932 SOS 33255361 HAS SOPS 16025308 HAS SOUS 1806300 HAS SOUPS 632190 WITH SCORE 665445.361
AT ITER 6840 NEW BEST:: SOT 38187780 SOS 33247227 HAS SOPS 16019220 HAS SOUS 1806465 HAS SOUPS 632046 WITH SCORE 665293.227
AT ITER 6845 NEW BEST:: SOT 38187724 SOS 33247115 HAS SOPS 16019108 HAS SOUS 1806353 HAS SOUPS 631934 WITH SCORE 665181.115
AT ITER 6887 NEW BEST:: SOT 38187131 SOS 33256594 HAS SOPS 16024051 HAS SOUS 1806227 HAS SOUPS 631808 WITH SCORE 665064.594
AT ITER 6897 NEW BEST:: SOT 38187131 SOS 33256594 HAS SOPS 16024051 HAS SOUS 1806047 HAS SOUPS 631628 WITH SCORE 664884.594
AT ITER 6904 NEW BEST:: SOT 38186138 SOS 33260042 HAS SOPS 16021856 HAS SOUS 1805263 HAS SOUPS 630635 WITH SCORE 663895.042
AT ITER 6987 NEW BEST:: SOT 38184748 SOS 33267065 HAS SOPS 16020671 HAS SOUS 1804820 HAS SOUPS 629888 WITH SCORE 663155.065
AT ITER 7037 NEW BEST:: SOT 38183328 SOS 33281444 HAS SOPS 16027310 HAS SOUS 1803830 HAS SOUPS 628898 WITH SCORE 662179.444
AT ITER 7062 NEW BEST:: SOT 38181904 SOS 33275041 HAS SOPS 16020907 HAS SOUS 1803155 HAS SOUPS 628223 WITH SCORE 661498.041
AT ITER 7093 NEW BEST:: SOT 38181904 SOS 33275041 HAS SOPS 16020907 HAS SOUS 1803151 HAS SOUPS 628219 WITH SCORE 661494.041
AT ITER 7100 NEW BEST:: SOT 38181949 SOS 33275131 HAS SOPS 16020043 HAS SOUS 1803220 HAS SOUPS 628182 WITH SCORE 661457.131
AT ITER 7172 NEW BEST:: SOT 38182525 SOS 33275707 HAS SOPS 16020331 HAS SOUS 1803172 HAS SOUPS 628134 WITH SCORE 661409.707
AT ITER 7175 NEW BEST:: SOT 38181985 SOS 33274177 HAS SOPS 16018801 HAS SOUS 1802812 HAS SOUPS 627774 WITH SCORE 661048.177
AT ITER 7176 NEW BEST:: SOT 38179617 SOS 33266861 HAS SOPS 16016129 HAS SOUS 1801116 HAS SOUPS 626594 WITH SCORE 659860.861
AT ITER 7200 NEW BEST:: SOT 38179617 SOS 33266861 HAS SOPS 16016129 HAS SOUS 1801016 HAS SOUPS 626494 WITH SCORE 659760.861
AT ITER 7211 NEW BEST:: SOT 38179598 SOS 33266823 HAS SOPS 16016091 HAS SOUS 1800997 HAS SOUPS 626475 WITH SCORE 659741.823
AT ITER 7258 NEW BEST:: SOT 38179451 SOS 33266529 HAS SOPS 16015797 HAS SOUS 1800850 HAS SOUPS 626328 WITH SCORE 659594.529
AT ITER 7283 NEW BEST:: SOT 38176757 SOS 33263053 HAS SOPS 16013519 HAS SOUS 1800876 HAS SOUPS 626236 WITH SCORE 659499.053
AT ITER 7292 NEW BEST:: SOT 38176792 SOS 33269013 HAS SOPS 16011635 HAS SOUS 1800735 HAS SOUPS 626177 WITH SCORE 659446.013
AT ITER 7302 NEW BEST:: SOT 38176792 SOS 33269013 HAS SOPS 16011635 HAS SOUS 1800701 HAS SOUPS 626143 WITH SCORE 659412.013
AT ITER 7312 NEW BEST:: SOT 38176487 SOS 33270294 HAS SOPS 16011269 HAS SOUS 1800701 HAS SOUPS 626082 WITH SCORE 659352.294
AT ITER 7321 NEW BEST:: SOT 38176487 SOS 33270294 HAS SOPS 16011269 HAS SOUS 1800481 HAS SOUPS 625862 WITH SCORE 659132.294
AT ITER 7330 NEW BEST:: SOT 38176487 SOS 33270294 HAS SOPS 16011269 HAS SOUS 1800261 HAS SOUPS 625642 WITH SCORE 658912.294
AT ITER 7385 NEW BEST:: SOT 38174413 SOS 33295038 HAS SOPS 16015655 HAS SOUS 1799808 HAS SOUPS 624435 WITH SCORE 657730.038
AT ITER 7393 NEW BEST:: SOT 38168129 SOS 33283874 HAS SOPS 16010893 HAS SOUS 1799402 HAS SOUPS 624221 WITH SCORE 657504.874
AT ITER 7398 NEW BEST:: SOT 38167991 SOS 33282248 HAS SOPS 16010617 HAS SOUS 1799126 HAS SOUPS 624095 WITH SCORE 657377.248
AT ITER 7423 NEW BEST:: SOT 38167991 SOS 33281653 HAS SOPS 16011093 HAS SOUS 1799007 HAS SOUPS 624095 WITH SCORE 657376.653
AT ITER 7437 NEW BEST:: SOT 38167991 SOS 33281653 HAS SOPS 16011093 HAS SOUS 1798787 HAS SOUPS 623875 WITH SCORE 657156.653
AT ITER 7455 NEW BEST:: SOT 38167991 SOS 33281653 HAS SOPS 16011093 HAS SOUS 1798757 HAS SOUPS 623845 WITH SCORE 657126.653
AT ITER 7472 NEW BEST:: SOT 38167182 SOS 33280035 HAS SOPS 16009475 HAS SOUS 1797743 HAS SOUPS 622831 WITH SCORE 656111.035
AT ITER 7477 NEW BEST:: SOT 38164018 SOS 33275873 HAS SOPS 16006229 HAS SOUS 1797833 HAS SOUPS 622743 WITH SCORE 656018.873
AT ITER 7483 NEW BEST:: SOT 38163768 SOS 33273153 HAS SOPS 16007505 HAS SOUS 1797139 HAS SOUPS 622493 WITH SCORE 655766.153
AT ITER 7495 NEW BEST:: SOT 38163768 SOS 33272523 HAS SOPS 16010052 HAS SOUS 1796786 HAS SOUPS 622493 WITH SCORE 655765.523
AT ITER 7506 NEW BEST:: SOT 38163768 SOS 33272793 HAS SOPS 16008234 HAS SOUS 1796907 HAS SOUPS 622382 WITH SCORE 655654.793
AT ITER 7516 NEW BEST:: SOT 38163768 SOS 33272793 HAS SOPS 16008234 HAS SOUS 1796817 HAS SOUPS 622292 WITH SCORE 655564.793
AT ITER 7527 NEW BEST:: SOT 38163101 SOS 33258670 HAS SOPS 16001158 HAS SOUS 1796351 HAS SOUPS 622087 WITH SCORE 655345.67
AT ITER 7556 NEW BEST:: SOT 38163101 SOS 33258670 HAS SOPS 16001158 HAS SOUS 1796131 HAS SOUPS 621867 WITH SCORE 655125.67
AT ITER 7563 NEW BEST:: SOT 38163101 SOS 33258670 HAS SOPS 16001158 HAS SOUS 1796041 HAS SOUPS 621777 WITH SCORE 655035.67
AT ITER 7586 NEW BEST:: SOT 38162911 SOS 33258726 HAS SOPS 16001214 HAS SOUS 1795959 HAS SOUPS 621695 WITH SCORE 654953.726
AT ITER 7601 NEW BEST:: SOT 38162911 SOS 33258726 HAS SOPS 16001214 HAS SOUS 1795957 HAS SOUPS 621693 WITH SCORE 654951.726
AT ITER 7690 NEW BEST:: SOT 38162911 SOS 33258726 HAS SOPS 16001214 HAS SOUS 1795815 HAS SOUPS 621551 WITH SCORE 654809.726
AT ITER 7706 NEW BEST:: SOT 38162975 SOS 33258422 HAS SOPS 16000910 HAS SOUS 1795625 HAS SOUPS 621361 WITH SCORE 654619.422
AT ITER 7743 NEW BEST:: SOT 38162975 SOS 33258197 HAS SOPS 16000685 HAS SOUS 1795625 HAS SOUPS 621361 WITH SCORE 654619.197
AT ITER 7745 NEW BEST:: SOT 38161792 SOS 33263636 HAS SOPS 16000103 HAS SOUS 1795109 HAS SOUPS 620622 WITH SCORE 653885.6359999999
AT ITER 7747 NEW BEST:: SOT 38161792 SOS 33263636 HAS SOPS 16000103 HAS SOUS 1794889 HAS SOUPS 620402 WITH SCORE 653665.6359999999
AT ITER 7765 NEW BEST:: SOT 38161699 SOS 33263450 HAS SOPS 15999917 HAS SOUS 1794796 HAS SOUPS 620309 WITH SCORE 653572.45
AT ITER 7772 NEW BEST:: SOT 38161699 SOS 33263450 HAS SOPS 15999917 HAS SOUS 1794774 HAS SOUPS 620287 WITH SCORE 653550.45
AT ITER 7787 NEW BEST:: SOT 38161625 SOS 33262636 HAS SOPS 15999103 HAS SOUS 1794413 HAS SOUPS 619926 WITH SCORE 653188.6359999999
AT ITER 7793 NEW BEST:: SOT 38161442 SOS 33262270 HAS SOPS 16000384 HAS SOUS 1793904 HAS SOUPS 619600 WITH SCORE 652862.27
AT ITER 7802 NEW BEST:: SOT 38160655 SOS 33259661 HAS SOPS 15999638 HAS SOUS 1793569 HAS SOUPS 619472 WITH SCORE 652731.661
AT ITER 7819 NEW BEST:: SOT 38160298 SOS 33258947 HAS SOPS 16002218 HAS SOUS 1792855 HAS SOUPS 619124 WITH SCORE 652382.947
AT ITER 7851 NEW BEST:: SOT 38156540 SOS 33252277 HAS SOPS 15999810 HAS SOUS 1792614 HAS SOUPS 619051 WITH SCORE 652303.277
AT ITER 7864 NEW BEST:: SOT 38156540 SOS 33252277 HAS SOPS 15999810 HAS SOUS 1792394 HAS SOUPS 618831 WITH SCORE 652083.277
AT ITER 7873 NEW BEST:: SOT 38156540 SOS 33252277 HAS SOPS 15999810 HAS SOUS 1792382 HAS SOUPS 618819 WITH SCORE 652071.277
AT ITER 7928 NEW BEST:: SOT 38156288 SOS 33251503 HAS SOPS 16002519 HAS SOUS 1791493 HAS SOUPS 618317 WITH SCORE 651568.503
AT ITER 8061 NEW BEST:: SOT 38156288 SOS 33251503 HAS SOPS 16002519 HAS SOUS 1791321 HAS SOUPS 618145 WITH SCORE 651396.503
AT ITER 8079 NEW BEST:: SOT 38156075 SOS 33251077 HAS SOPS 16005009 HAS SOUS 1790567 HAS SOUPS 617715 WITH SCORE 650966.077
AT ITER 8092 NEW BEST:: SOT 38156075 SOS 33251077 HAS SOPS 16005009 HAS SOUS 1790347 HAS SOUPS 617495 WITH SCORE 650746.077
AT ITER 8106 NEW BEST:: SOT 38156106 SOS 33249775 HAS SOPS 16004544 HAS SOUS 1790283 HAS SOUPS 617462 WITH SCORE 650711.775
AT ITER 8110 NEW BEST:: SOT 38148149 SOS 33235660 HAS SOPS 15999072 HAS SOUS 1789523 HAS SOUPS 616974 WITH SCORE 650209.66
AT ITER 8186 NEW BEST:: SOT 38148149 SOS 33234535 HAS SOPS 15997947 HAS SOUS 1789521 HAS SOUPS 616972 WITH SCORE 650206.535
AT ITER 8222 NEW BEST:: SOT 38148115 SOS 33234161 HAS SOPS 15997573 HAS SOUS 1789486 HAS SOUPS 616937 WITH SCORE 650171.161
AT ITER 8241 NEW BEST:: SOT 38146741 SOS 33249047 HAS SOPS 16004413 HAS SOUS 1789319 HAS SOUPS 616770 WITH SCORE 650019.047
AT ITER 8246 NEW BEST:: SOT 38146702 SOS 33249307 HAS SOPS 16004322 HAS SOUS 1789293 HAS SOUPS 616731 WITH SCORE 649980.307
AT ITER 8255 NEW BEST:: SOT 38145583 SOS 33316777 HAS SOPS 16003340 HAS SOUS 1788932 HAS SOUPS 616370 WITH SCORE 649686.777
AT ITER 8269 NEW BEST:: SOT 38144589 SOS 33322674 HAS SOPS 16004881 HAS SOUS 1788335 HAS SOUPS 615773 WITH SCORE 649095.674
AT ITER 8299 NEW BEST:: SOT 38144589 SOS 33322674 HAS SOPS 16004881 HAS SOUS 1788115 HAS SOUPS 615553 WITH SCORE 648875.674
AT ITER 8300 NEW BEST:: SOT 38144589 SOS 33322674 HAS SOPS 16004881 HAS SOUS 1787999 HAS SOUPS 615437 WITH SCORE 648759.674
AT ITER 8357 NEW BEST:: SOT 38144589 SOS 33322674 HAS SOPS 16004881 HAS SOUS 1787997 HAS SOUPS 615435 WITH SCORE 648757.674
AT ITER 8450 NEW BEST:: SOT 38144589 SOS 33322674 HAS SOPS 16004881 HAS SOUS 1787777 HAS SOUPS 615215 WITH SCORE 648537.674
AT ITER 8493 NEW BEST:: SOT 38137561 SOS 33310232 HAS SOPS 16000509 HAS SOUS 1787097 HAS SOUPS 615073 WITH SCORE 648383.232
AT ITER 8508 NEW BEST:: SOT 38134752 SOS 33346014 HAS SOPS 16000509 HAS SOUS 1785210 HAS SOUPS 614728 WITH SCORE 648074.014
AT ITER 8513 NEW BEST:: SOT 38134752 SOS 33346014 HAS SOPS 16000509 HAS SOUS 1785104 HAS SOUPS 614622 WITH SCORE 647968.014
AT ITER 8529 NEW BEST:: SOT 38130762 SOS 33339523 HAS SOPS 15995908 HAS SOUS 1784940 HAS SOUPS 614458 WITH SCORE 647797.523
AT ITER 8539 NEW BEST:: SOT 38130762 SOS 33339523 HAS SOPS 15995908 HAS SOUS 1784882 HAS SOUPS 614400 WITH SCORE 647739.523
AT ITER 8619 NEW BEST:: SOT 38130762 SOS 33339523 HAS SOPS 15995908 HAS SOUS 1784864 HAS SOUPS 614382 WITH SCORE 647721.523
AT ITER 8632 NEW BEST:: SOT 38127103 SOS 33332778 HAS SOPS 15993246 HAS SOUS 1784701 HAS SOUPS 614339 WITH SCORE 647671.778
AT ITER 8635 NEW BEST:: SOT 38127067 SOS 33332580 HAS SOPS 15993210 HAS SOUS 1784647 HAS SOUPS 614303 WITH SCORE 647635.58
AT ITER 8660 NEW BEST:: SOT 38126801 SOS 33332048 HAS SOPS 15994478 HAS SOUS 1784181 HAS SOUPS 614037 WITH SCORE 647369.048
AT ITER 8666 NEW BEST:: SOT 38124459 SOS 33352233 HAS SOPS 16003197 HAS SOUS 1782897 HAS SOUPS 612753 WITH SCORE 646105.233
AT ITER 8678 NEW BEST:: SOT 38124459 SOS 33352233 HAS SOPS 16003197 HAS SOUS 1782843 HAS SOUPS 612699 WITH SCORE 646051.233
AT ITER 8682 NEW BEST:: SOT 38124199 SOS 33355073 HAS SOPS 16003769 HAS SOUS 1782725 HAS SOUPS 612497 WITH SCORE 645852.073
AT ITER 8684 NEW BEST:: SOT 38123936 SOS 33354547 HAS SOPS 16003243 HAS SOUS 1782080 HAS SOUPS 611852 WITH SCORE 645206.547
AT ITER 8725 NEW BEST:: SOT 38123936 SOS 33354547 HAS SOPS 16003243 HAS SOUS 1781890 HAS SOUPS 611662 WITH SCORE 645016.547
AT ITER 8735 NEW BEST:: SOT 38123936 SOS 33354547 HAS SOPS 16003243 HAS SOUS 1781816 HAS SOUPS 611588 WITH SCORE 644942.547
AT ITER 8761 NEW BEST:: SOT 38123915 SOS 33354505 HAS SOPS 16003390 HAS SOUS 1781774 HAS SOUPS 611567 WITH SCORE 644921.505
AT ITER 8763 NEW BEST:: SOT 38123915 SOS 33354505 HAS SOPS 16003390 HAS SOUS 1781554 HAS SOUPS 611347 WITH SCORE 644701.505
AT ITER 8782 NEW BEST:: SOT 38123848 SOS 33354371 HAS SOPS 16003256 HAS SOUS 1781487 HAS SOUPS 611280 WITH SCORE 644634.371
AT ITER 8826 NEW BEST:: SOT 38123848 SOS 33354371 HAS SOPS 16003256 HAS SOUS 1781387 HAS SOUPS 611180 WITH SCORE 644534.371
AT ITER 8859 NEW BEST:: SOT 38123511 SOS 33356583 HAS SOPS 16003470 HAS SOUS 1781183 HAS SOUPS 610976 WITH SCORE 644332.583
AT ITER 8897 NEW BEST:: SOT 38119474 SOS 33352915 HAS SOPS 16000150 HAS SOUS 1781477 HAS SOUPS 610899 WITH SCORE 644251.915
AT ITER 8902 NEW BEST:: SOT 38119186 SOS 33351043 HAS SOPS 15999574 HAS SOUS 1780901 HAS SOUPS 610467 WITH SCORE 643818.043
AT ITER 8904 NEW BEST:: SOT 38118350 SOS 33354805 HAS SOPS 15999574 HAS SOUS 1780065 HAS SOUPS 609631 WITH SCORE 642985.805
AT ITER 8926 NEW BEST:: SOT 38117994 SOS 33352339 HAS SOPS 15997108 HAS SOUS 1779909 HAS SOUPS 609475 WITH SCORE 642827.339
AT ITER 8941 NEW BEST:: SOT 38117994 SOS 33352339 HAS SOPS 15997108 HAS SOUS 1779891 HAS SOUPS 609457 WITH SCORE 642809.339
AT ITER 8952 NEW BEST:: SOT 38118025 SOS 33353641 HAS SOPS 15997573 HAS SOUS 1779891 HAS SOUPS 609426 WITH SCORE 642779.6410000001
AT ITER 8961 NEW BEST:: SOT 38115186 SOS 33348965 HAS SOPS 15995315 HAS SOUS 1779637 HAS SOUPS 609172 WITH SCORE 642520.965
AT ITER 8982 NEW BEST:: SOT 38115186 SOS 33348965 HAS SOPS 15995315 HAS SOUS 1779597 HAS SOUPS 609132 WITH SCORE 642480.965
AT ITER 9007 NEW BEST:: SOT 38115209 SOS 33349724 HAS SOPS 15995453 HAS SOUS 1779597 HAS SOUPS 609109 WITH SCORE 642458.724
AT ITER 9082 NEW BEST:: SOT 38115174 SOS 33349654 HAS SOPS 15995698 HAS SOUS 1779562 HAS SOUPS 609109 WITH SCORE 642458.654
AT ITER 9120 NEW BEST:: SOT 38115169 SOS 33349599 HAS SOPS 15995643 HAS SOUS 1779557 HAS SOUPS 609104 WITH SCORE 642453.599
AT ITER 9146 NEW BEST:: SOT 38118520 SOS 33352904 HAS SOPS 15997318 HAS SOUS 1779350 HAS SOUPS 608943 WITH SCORE 642295.904
AT ITER 9182 NEW BEST:: SOT 38119066 SOS 33353296 HAS SOPS 15997710 HAS SOUS 1779196 HAS SOUPS 608789 WITH SCORE 642142.296
AT ITER 9249 NEW BEST:: SOT 38118940 SOS 33353044 HAS SOPS 15997458 HAS SOUS 1779181 HAS SOUPS 608774 WITH SCORE 642127.044
AT ITER 9273 NEW BEST:: SOT 38118852 SOS 33353786 HAS SOPS 15997282 HAS SOUS 1779093 HAS SOUPS 608584 WITH SCORE 641937.786
AT ITER 9278 NEW BEST:: SOT 38118268 SOS 33398818 HAS SOPS 15996534 HAS SOUS 1778310 HAS SOUPS 607801 WITH SCORE 641199.818
AT ITER 9313 NEW BEST:: SOT 38117757 SOS 33402725 HAS SOPS 15996148 HAS SOUS 1777958 HAS SOUPS 607290 WITH SCORE 640692.725
AT ITER 9385 NEW BEST:: SOT 38117319 SOS 33407543 HAS SOPS 15995053 HAS SOUS 1777958 HAS SOUPS 607071 WITH SCORE 640478.543
AT ITER 9391 NEW BEST:: SOT 38117270 SOS 33407445 HAS SOPS 15994955 HAS SOUS 1777875 HAS SOUPS 606988 WITH SCORE 640395.445
AT ITER 9421 NEW BEST:: SOT 38116927 SOS 33408285 HAS SOPS 15994472 HAS SOUS 1777805 HAS SOUPS 606869 WITH SCORE 640277.285
AT ITER 9496 NEW BEST:: SOT 38116927 SOS 33408285 HAS SOPS 15994472 HAS SOUS 1777719 HAS SOUPS 606783 WITH SCORE 640191.285
AT ITER 9517 NEW BEST:: SOT 38116212 SOS 33406855 HAS SOPS 15998073 HAS SOUS 1776214 HAS SOUPS 605837 WITH SCORE 639243.855
AT ITER 9533 NEW BEST:: SOT 38115986 SOS 33404486 HAS SOPS 15998206 HAS SOUS 1775710 HAS SOUPS 605611 WITH SCORE 639015.486
AT ITER 9555 NEW BEST:: SOT 38116358 SOS 33405137 HAS SOPS 15998392 HAS SOUS 1775679 HAS SOUPS 605549 WITH SCORE 638954.137
AT ITER 9559 NEW BEST:: SOT 38115866 SOS 33404153 HAS SOPS 16000873 HAS SOUS 1774691 HAS SOUPS 604946 WITH SCORE 638350.153
AT ITER 9571 NEW BEST:: SOT 38115866 SOS 33404153 HAS SOPS 16000873 HAS SOUS 1774649 HAS SOUPS 604904 WITH SCORE 638308.153
AT ITER 9594 NEW BEST:: SOT 38115866 SOS 33404153 HAS SOPS 16000873 HAS SOUS 1774603 HAS SOUPS 604858 WITH SCORE 638262.153
AT ITER 9655 NEW BEST:: SOT 38115866 SOS 33404153 HAS SOPS 16000873 HAS SOUS 1774601 HAS SOUPS 604856 WITH SCORE 638260.153
AT ITER 9671 NEW BEST:: SOT 38114653 SOS 33399292 HAS SOPS 16000395 HAS SOUS 1774095 HAS SOUPS 604837 WITH SCORE 638236.292
AT ITER 9677 NEW BEST:: SOT 38114503 SOS 33399092 HAS SOPS 16000195 HAS SOUS 1774074 HAS SOUPS 604816 WITH SCORE 638215.092
AT ITER 9703 NEW BEST:: SOT 38114503 SOS 33399092 HAS SOPS 16000195 HAS SOUS 1773968 HAS SOUPS 604710 WITH SCORE 638109.092
AT ITER 9707 NEW BEST:: SOT 38113754 SOS 33397945 HAS SOPS 15999839 HAS SOUS 1773432 HAS SOUPS 604359 WITH SCORE 637756.945
AT ITER 9712 NEW BEST:: SOT 38113658 SOS 33398086 HAS SOPS 15999980 HAS SOUS 1773277 HAS SOUPS 604204 WITH SCORE 637602.086
AT ITER 9763 NEW BEST:: SOT 38103490 SOS 33379802 HAS SOPS 15993313 HAS SOUS 1772403 HAS SOUPS 603960 WITH SCORE 637339.802
AT ITER 9774 NEW BEST:: SOT 38103368 SOS 33379558 HAS SOPS 15993069 HAS SOUS 1772281 HAS SOUPS 603838 WITH SCORE 637217.558
AT ITER 9808 NEW BEST:: SOT 38102985 SOS 33385216 HAS SOPS 15996099 HAS SOUS 1772044 HAS SOUPS 603601 WITH SCORE 636986.216
AT ITER 9883 NEW BEST:: SOT 38102985 SOS 33385216 HAS SOPS 15996099 HAS SOUS 1771966 HAS SOUPS 603523 WITH SCORE 636908.216
AT ITER 9971 NEW BEST:: SOT 38103415 SOS 33371147 HAS SOPS 15989860 HAS SOUS 1771649 HAS SOUPS 603496 WITH SCORE 636867.147
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 1526888 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16139128 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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