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.r107-tall-167814484400592.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 smartxred
Input is DLCflexbar-PT-7a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484400592
=====================================================================

--------------------
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 1678395665190

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-7a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 21:01:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 21:01:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 21:01:07] [INFO ] Load time of PNML (sax parser for PT used): 495 ms
[2023-03-09 21:01:07] [INFO ] Transformed 2913 places.
[2023-03-09 21:01:07] [INFO ] Transformed 23319 transitions.
[2023-03-09 21:01:07] [INFO ] Found NUPN structural information;
[2023-03-09 21:01:07] [INFO ] Parsed PT model containing 2913 places and 23319 transitions and 92260 arcs in 672 ms.
[2023-03-09 21:01:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2913 places, 23319 transitions and 92260 arcs took 148 ms.
Total runtime 865 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 7a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 27 NEW BEST:: SOT 38399308 SOS 33380144 HAS SOPS 15923184 HAS SOUS 1960351 HAS SOUPS 772964 WITH SCORE 806344.144
AT ITER 37 NEW BEST:: SOT 38399308 SOS 33380144 HAS SOPS 15923184 HAS SOUS 1960131 HAS SOUPS 772744 WITH SCORE 806124.144
AT ITER 50 NEW BEST:: SOT 38397124 SOS 33386531 HAS SOPS 15922929 HAS SOUS 1958474 HAS SOUPS 771087 WITH SCORE 804473.531
AT ITER 127 NEW BEST:: SOT 38396665 SOS 33385613 HAS SOPS 15925872 HAS SOUS 1957407 HAS SOUPS 770449 WITH SCORE 803834.613
AT ITER 147 NEW BEST:: SOT 38396665 SOS 33385613 HAS SOPS 15925872 HAS SOUS 1957289 HAS SOUPS 770331 WITH SCORE 803716.613
AT ITER 159 NEW BEST:: SOT 38396665 SOS 33385613 HAS SOPS 15925872 HAS SOUS 1957101 HAS SOUPS 770143 WITH SCORE 803528.613
AT ITER 164 NEW BEST:: SOT 38396665 SOS 33385613 HAS SOPS 15925872 HAS SOUS 1956965 HAS SOUPS 770007 WITH SCORE 803392.613
AT ITER 173 NEW BEST:: SOT 38396665 SOS 33385613 HAS SOPS 15925872 HAS SOUS 1956947 HAS SOUPS 769989 WITH SCORE 803374.613
AT ITER 198 NEW BEST:: SOT 38395041 SOS 33389710 HAS SOPS 15922463 HAS SOUS 1955955 HAS SOUPS 768719 WITH SCORE 802108.71
AT ITER 246 NEW BEST:: SOT 38393971 SOS 33392718 HAS SOPS 15920125 HAS SOUS 1955519 HAS SOUPS 768085 WITH SCORE 801477.718
AT ITER 272 NEW BEST:: SOT 38390849 SOS 33410661 HAS SOPS 15926080 HAS SOUS 1953525 HAS SOUPS 766091 WITH SCORE 799501.661
AT ITER 273 NEW BEST:: SOT 38390849 SOS 33410661 HAS SOPS 15926080 HAS SOUS 1953367 HAS SOUPS 765933 WITH SCORE 799343.661
AT ITER 299 NEW BEST:: SOT 38390849 SOS 33410661 HAS SOPS 15926080 HAS SOUS 1953147 HAS SOUPS 765713 WITH SCORE 799123.661
AT ITER 333 NEW BEST:: SOT 38390171 SOS 33413034 HAS SOPS 15925402 HAS SOUS 1952921 HAS SOUPS 765374 WITH SCORE 798787.034
AT ITER 337 NEW BEST:: SOT 38390171 SOS 33413034 HAS SOPS 15925402 HAS SOUS 1952745 HAS SOUPS 765198 WITH SCORE 798611.034
AT ITER 345 NEW BEST:: SOT 38389176 SOS 33417469 HAS SOPS 15926255 HAS SOUS 1951855 HAS SOUPS 764308 WITH SCORE 797725.469
AT ITER 356 NEW BEST:: SOT 38389176 SOS 33417469 HAS SOPS 15926255 HAS SOUS 1951667 HAS SOUPS 764120 WITH SCORE 797537.469
AT ITER 368 NEW BEST:: SOT 38388646 SOS 33416409 HAS SOPS 15927580 HAS SOUS 1950607 HAS SOUPS 763325 WITH SCORE 796741.409
AT ITER 379 NEW BEST:: SOT 38387008 SOS 33420361 HAS SOPS 15924026 HAS SOUS 1949485 HAS SOUPS 761925 WITH SCORE 795345.361
AT ITER 384 NEW BEST:: SOT 38386728 SOS 33419101 HAS SOPS 15924026 HAS SOUS 1949065 HAS SOUPS 761645 WITH SCORE 795064.101
AT ITER 386 NEW BEST:: SOT 38386514 SOS 33416333 HAS SOPS 15925470 HAS SOUS 1948559 HAS SOUPS 761607 WITH SCORE 795023.333
AT ITER 413 NEW BEST:: SOT 38386029 SOS 33415363 HAS SOPS 15927596 HAS SOUS 1947488 HAS SOUPS 760880 WITH SCORE 794295.363
AT ITER 424 NEW BEST:: SOT 38385572 SOS 33414449 HAS SOPS 15929499 HAS SOUS 1946495 HAS SOUPS 760200 WITH SCORE 793614.449
AT ITER 429 NEW BEST:: SOT 38383549 SOS 33355509 HAS SOPS 15937990 HAS SOUS 1944746 HAS SOUPS 758451 WITH SCORE 791806.509
AT ITER 435 NEW BEST:: SOT 38382051 SOS 33358597 HAS SOPS 15934760 HAS SOUS 1943722 HAS SOUPS 757193 WITH SCORE 790551.597
AT ITER 450 NEW BEST:: SOT 38382051 SOS 33358597 HAS SOPS 15934760 HAS SOUS 1943504 HAS SOUPS 756975 WITH SCORE 790333.597
AT ITER 452 NEW BEST:: SOT 38382051 SOS 33358597 HAS SOPS 15934760 HAS SOUS 1943330 HAS SOUPS 756801 WITH SCORE 790159.597
AT ITER 458 NEW BEST:: SOT 38378785 SOS 33376288 HAS SOPS 15940211 HAS SOUS 1941076 HAS SOUPS 754547 WITH SCORE 787923.288
AT ITER 491 NEW BEST:: SOT 38378785 SOS 33376288 HAS SOPS 15940211 HAS SOUS 1941036 HAS SOUPS 754507 WITH SCORE 787883.288
AT ITER 513 NEW BEST:: SOT 38378405 SOS 33375528 HAS SOPS 15941161 HAS SOUS 1940276 HAS SOUPS 753937 WITH SCORE 787312.528
AT ITER 522 NEW BEST:: SOT 38378405 SOS 33375528 HAS SOPS 15941161 HAS SOUS 1940164 HAS SOUPS 753825 WITH SCORE 787200.528
AT ITER 535 NEW BEST:: SOT 38369559 SOS 33359419 HAS SOPS 15935525 HAS SOUS 1939395 HAS SOUPS 753738 WITH SCORE 787097.419
AT ITER 581 NEW BEST:: SOT 38369187 SOS 33357745 HAS SOPS 15933851 HAS SOUS 1939023 HAS SOUPS 753366 WITH SCORE 786723.745
AT ITER 582 NEW BEST:: SOT 38368915 SOS 33354146 HAS SOPS 15935751 HAS SOUS 1938140 HAS SOUPS 753094 WITH SCORE 786448.146
AT ITER 595 NEW BEST:: SOT 38368915 SOS 33354146 HAS SOPS 15935751 HAS SOUS 1938078 HAS SOUPS 753032 WITH SCORE 786386.146
AT ITER 603 NEW BEST:: SOT 38368915 SOS 33354146 HAS SOPS 15935751 HAS SOUS 1937878 HAS SOUPS 752832 WITH SCORE 786186.146
AT ITER 610 NEW BEST:: SOT 38368915 SOS 33354146 HAS SOPS 15935751 HAS SOUS 1937658 HAS SOUPS 752612 WITH SCORE 785966.146
AT ITER 645 NEW BEST:: SOT 38367209 SOS 33358432 HAS SOPS 15932099 HAS SOUS 1936488 HAS SOUPS 751148 WITH SCORE 784506.432
AT ITER 647 NEW BEST:: SOT 38364754 SOS 33369930 HAS SOPS 15935677 HAS SOUS 1934860 HAS SOUPS 749520 WITH SCORE 782889.93
AT ITER 686 NEW BEST:: SOT 38364754 SOS 33369930 HAS SOPS 15935677 HAS SOUS 1934640 HAS SOUPS 749300 WITH SCORE 782669.93
AT ITER 720 NEW BEST:: SOT 38363265 SOS 33371554 HAS SOPS 15932522 HAS SOUS 1933682 HAS SOUPS 748165 WITH SCORE 781536.554
AT ITER 738 NEW BEST:: SOT 38360218 SOS 33387295 HAS SOPS 15937427 HAS SOUS 1931277 HAS SOUPS 745760 WITH SCORE 779147.295
AT ITER 740 NEW BEST:: SOT 38360218 SOS 33387295 HAS SOPS 15937427 HAS SOUS 1931057 HAS SOUPS 745540 WITH SCORE 778927.295
AT ITER 743 NEW BEST:: SOT 38360218 SOS 33387295 HAS SOPS 15937427 HAS SOUS 1930837 HAS SOUPS 745320 WITH SCORE 778707.295
AT ITER 784 NEW BEST:: SOT 38360218 SOS 33387295 HAS SOPS 15937427 HAS SOUS 1930735 HAS SOUPS 745218 WITH SCORE 778605.295
AT ITER 800 NEW BEST:: SOT 38358627 SOS 33382831 HAS SOPS 15932963 HAS SOUS 1928503 HAS SOUPS 742986 WITH SCORE 776368.831
AT ITER 831 NEW BEST:: SOT 38358904 SOS 33335315 HAS SOPS 15937013 HAS SOUS 1928009 HAS SOUPS 742929 WITH SCORE 776264.315
AT ITER 847 NEW BEST:: SOT 38356430 SOS 33349704 HAS SOPS 15941610 HAS SOUS 1926622 HAS SOUPS 741542 WITH SCORE 774891.704
AT ITER 850 NEW BEST:: SOT 38356430 SOS 33349704 HAS SOPS 15941610 HAS SOUS 1926402 HAS SOUPS 741322 WITH SCORE 774671.704
AT ITER 851 NEW BEST:: SOT 38356306 SOS 33349456 HAS SOPS 15940246 HAS SOUS 1926278 HAS SOUPS 741074 WITH SCORE 774423.456
AT ITER 873 NEW BEST:: SOT 38356296 SOS 33348256 HAS SOPS 15939046 HAS SOUS 1926268 HAS SOUPS 741064 WITH SCORE 774412.256
AT ITER 876 NEW BEST:: SOT 38356007 SOS 33347678 HAS SOPS 15942311 HAS SOUS 1925263 HAS SOUPS 740486 WITH SCORE 773833.678
AT ITER 882 NEW BEST:: SOT 38353210 SOS 33369971 HAS SOPS 15951248 HAS SOUS 1923582 HAS SOUPS 738805 WITH SCORE 772174.971
AT ITER 890 NEW BEST:: SOT 38350444 SOS 33386124 HAS SOPS 15956619 HAS SOUS 1921713 HAS SOUPS 736936 WITH SCORE 770322.124
AT ITER 895 NEW BEST:: SOT 38350444 SOS 33386124 HAS SOPS 15956619 HAS SOUS 1921493 HAS SOUPS 736716 WITH SCORE 770102.124
AT ITER 912 NEW BEST:: SOT 38349479 SOS 33388432 HAS SOPS 15954526 HAS SOUS 1921092 HAS SOUPS 736152 WITH SCORE 769540.432
AT ITER 925 NEW BEST:: SOT 38347887 SOS 33392437 HAS SOPS 15951187 HAS SOUS 1920018 HAS SOUPS 734806 WITH SCORE 768198.437
AT ITER 957 NEW BEST:: SOT 38346526 SOS 33409138 HAS SOPS 15953578 HAS SOUS 1920388 HAS SOUPS 734646 WITH SCORE 768055.138
AT ITER 989 NEW BEST:: SOT 38346526 SOS 33409138 HAS SOPS 15953578 HAS SOUS 1920168 HAS SOUPS 734426 WITH SCORE 767835.138
AT ITER 1018 NEW BEST:: SOT 38346526 SOS 33409138 HAS SOPS 15953578 HAS SOUS 1920036 HAS SOUPS 734294 WITH SCORE 767703.138
AT ITER 1051 NEW BEST:: SOT 38346051 SOS 33408188 HAS SOPS 15955049 HAS SOUS 1919055 HAS SOUPS 733582 WITH SCORE 766990.188
AT ITER 1069 NEW BEST:: SOT 38346051 SOS 33408188 HAS SOPS 15955049 HAS SOUS 1918917 HAS SOUPS 733444 WITH SCORE 766852.188
AT ITER 1120 NEW BEST:: SOT 38346051 SOS 33408188 HAS SOPS 15955049 HAS SOUS 1918787 HAS SOUPS 733314 WITH SCORE 766722.188
AT ITER 1127 NEW BEST:: SOT 38346935 SOS 33182075 HAS SOPS 15799097 HAS SOUS 1917802 HAS SOUPS 732329 WITH SCORE 765511.075
AT ITER 1134 NEW BEST:: SOT 38346935 SOS 33182048 HAS SOPS 15799070 HAS SOUS 1917801 HAS SOUPS 732328 WITH SCORE 765510.048
AT ITER 1148 NEW BEST:: SOT 38346935 SOS 33182048 HAS SOPS 15799070 HAS SOUS 1917581 HAS SOUPS 732108 WITH SCORE 765290.048
AT ITER 1156 NEW BEST:: SOT 38344152 SOS 33209656 HAS SOPS 15807427 HAS SOUS 1917595 HAS SOUPS 731409 WITH SCORE 764618.656
AT ITER 1202 NEW BEST:: SOT 38344152 SOS 33209656 HAS SOPS 15807427 HAS SOUS 1917405 HAS SOUPS 731219 WITH SCORE 764428.656
AT ITER 1203 NEW BEST:: SOT 38342850 SOS 33214176 HAS SOPS 15804549 HAS SOUS 1916891 HAS SOUPS 730431 WITH SCORE 763645.176
AT ITER 1209 NEW BEST:: SOT 38342494 SOS 33217308 HAS SOPS 15804333 HAS SOUS 1916651 HAS SOUPS 730067 WITH SCORE 763284.308
AT ITER 1230 NEW BEST:: SOT 38342494 SOS 33217308 HAS SOPS 15804333 HAS SOUS 1916497 HAS SOUPS 729913 WITH SCORE 763130.308
AT ITER 1237 NEW BEST:: SOT 38342494 SOS 33217308 HAS SOPS 15804333 HAS SOUS 1916277 HAS SOUPS 729693 WITH SCORE 762910.308
AT ITER 1238 NEW BEST:: SOT 38342080 SOS 33213770 HAS SOPS 15805673 HAS SOUS 1915321 HAS SOUPS 729279 WITH SCORE 762492.77
AT ITER 1263 NEW BEST:: SOT 38342080 SOS 33213770 HAS SOPS 15805673 HAS SOUS 1915165 HAS SOUPS 729123 WITH SCORE 762336.77
AT ITER 1264 NEW BEST:: SOT 38342018 SOS 33213646 HAS SOPS 15805549 HAS SOUS 1915092 HAS SOUPS 729050 WITH SCORE 762263.646
AT ITER 1265 NEW BEST:: SOT 38342018 SOS 33213646 HAS SOPS 15805549 HAS SOUS 1915042 HAS SOUPS 729000 WITH SCORE 762213.646
AT ITER 1283 NEW BEST:: SOT 38341681 SOS 33212972 HAS SOPS 15809024 HAS SOUS 1914150 HAS SOUPS 728569 WITH SCORE 761781.972
AT ITER 1350 NEW BEST:: SOT 38341681 SOS 33212972 HAS SOPS 15809024 HAS SOUS 1913980 HAS SOUPS 728399 WITH SCORE 761611.972
AT ITER 1359 NEW BEST:: SOT 38341285 SOS 33210875 HAS SOPS 15809276 HAS SOUS 1913323 HAS SOUPS 728003 WITH SCORE 761213.875
AT ITER 1369 NEW BEST:: SOT 38341417 SOS 33211466 HAS SOPS 15809867 HAS SOUS 1913192 HAS SOUPS 727872 WITH SCORE 761083.466
AT ITER 1380 NEW BEST:: SOT 38341082 SOS 33210796 HAS SOPS 15812347 HAS SOUS 1912347 HAS SOUPS 727377 WITH SCORE 760587.796
AT ITER 1406 NEW BEST:: SOT 38341082 SOS 33210796 HAS SOPS 15812347 HAS SOUS 1912127 HAS SOUPS 727157 WITH SCORE 760367.796
AT ITER 1417 NEW BEST:: SOT 38340854 SOS 33212696 HAS SOPS 15812195 HAS SOUS 1911975 HAS SOUPS 726929 WITH SCORE 760141.696
AT ITER 1423 NEW BEST:: SOT 38340242 SOS 33217127 HAS SOPS 15811118 HAS SOUS 1911791 HAS SOUPS 726541 WITH SCORE 759758.127
AT ITER 1436 NEW BEST:: SOT 38339226 SOS 33219775 HAS SOPS 15808906 HAS SOUS 1911373 HAS SOUPS 725943 WITH SCORE 759162.775
AT ITER 1462 NEW BEST:: SOT 38339226 SOS 33219775 HAS SOPS 15808906 HAS SOUS 1911153 HAS SOUPS 725723 WITH SCORE 758942.775
AT ITER 1464 NEW BEST:: SOT 38338484 SOS 33221577 HAS SOPS 15807846 HAS SOUS 1910729 HAS SOUPS 725193 WITH SCORE 758414.577
AT ITER 1482 NEW BEST:: SOT 38338484 SOS 33221577 HAS SOPS 15807846 HAS SOUS 1910569 HAS SOUPS 725033 WITH SCORE 758254.577
AT ITER 1494 NEW BEST:: SOT 38336415 SOS 33239085 HAS SOPS 15813060 HAS SOUS 1909734 HAS SOUPS 724198 WITH SCORE 757437.085
AT ITER 1504 NEW BEST:: SOT 38335197 SOS 33262048 HAS SOPS 15819310 HAS SOUS 1909065 HAS SOUPS 722910 WITH SCORE 756172.048
AT ITER 1520 NEW BEST:: SOT 38334875 SOS 33261404 HAS SOPS 15818666 HAS SOUS 1908582 HAS SOUPS 722427 WITH SCORE 755688.404
AT ITER 1550 NEW BEST:: SOT 38332663 SOS 33254220 HAS SOPS 15816450 HAS SOUS 1906880 HAS SOUPS 721277 WITH SCORE 754531.22
AT ITER 1552 NEW BEST:: SOT 38332214 SOS 33253322 HAS SOPS 15819476 HAS SOUS 1905771 HAS SOUPS 720604 WITH SCORE 753857.322
AT ITER 1585 NEW BEST:: SOT 38331345 SOS 33209383 HAS SOPS 15831229 HAS SOUS 1905402 HAS SOUPS 720235 WITH SCORE 753444.383
AT ITER 1590 NEW BEST:: SOT 38331345 SOS 33209239 HAS SOPS 15831085 HAS SOUS 1905386 HAS SOUPS 720219 WITH SCORE 753428.2390000001
AT ITER 1606 NEW BEST:: SOT 38331345 SOS 33209239 HAS SOPS 15831085 HAS SOUS 1905354 HAS SOUPS 720187 WITH SCORE 753396.2390000001
AT ITER 1616 NEW BEST:: SOT 38330806 SOS 33208161 HAS SOPS 15833166 HAS SOUS 1904197 HAS SOUPS 719381 WITH SCORE 752589.161
AT ITER 1630 NEW BEST:: SOT 38330187 SOS 33206923 HAS SOPS 15831928 HAS SOUS 1903440 HAS SOUPS 718624 WITH SCORE 751830.923
AT ITER 1634 NEW BEST:: SOT 38330187 SOS 33189873 HAS SOPS 15831773 HAS SOUS 1903384 HAS SOUPS 718568 WITH SCORE 751757.873
AT ITER 1649 NEW BEST:: SOT 38330187 SOS 33189873 HAS SOPS 15831773 HAS SOUS 1903336 HAS SOUPS 718520 WITH SCORE 751709.873
AT ITER 1672 NEW BEST:: SOT 38327246 SOS 33130204 HAS SOPS 15837988 HAS SOUS 1901276 HAS SOUPS 716460 WITH SCORE 749590.204
AT ITER 1679 NEW BEST:: SOT 38327246 SOS 33130204 HAS SOPS 15837988 HAS SOUS 1901056 HAS SOUPS 716240 WITH SCORE 749370.204
AT ITER 1699 NEW BEST:: SOT 38327246 SOS 33130246 HAS SOPS 15838030 HAS SOUS 1900977 HAS SOUPS 716161 WITH SCORE 749291.246
AT ITER 1728 NEW BEST:: SOT 38325989 SOS 33135882 HAS SOPS 15836025 HAS SOUS 1900496 HAS SOUPS 715397 WITH SCORE 748532.882
AT ITER 1745 NEW BEST:: SOT 38325561 SOS 33135026 HAS SOPS 15837815 HAS SOUS 1899581 HAS SOUPS 714776 WITH SCORE 747911.026
AT ITER 1747 NEW BEST:: SOT 38325465 SOS 33134834 HAS SOPS 15837623 HAS SOUS 1899484 HAS SOUPS 714679 WITH SCORE 747813.834
AT ITER 1770 NEW BEST:: SOT 38325465 SOS 33134834 HAS SOPS 15837623 HAS SOUS 1899264 HAS SOUPS 714459 WITH SCORE 747593.834
AT ITER 1776 NEW BEST:: SOT 38325014 SOS 33133932 HAS SOPS 15839763 HAS SOUS 1898250 HAS SOUPS 713783 WITH SCORE 746916.932
AT ITER 1824 NEW BEST:: SOT 38322732 SOS 33146941 HAS SOPS 15843466 HAS SOUS 1896698 HAS SOUPS 712231 WITH SCORE 745377.941
AT ITER 1826 NEW BEST:: SOT 38322168 SOS 33145813 HAS SOPS 15844876 HAS SOUS 1895570 HAS SOUPS 711385 WITH SCORE 744530.813
AT ITER 1828 NEW BEST:: SOT 38320637 SOS 33150826 HAS SOPS 15845551 HAS SOUS 1894618 HAS SOUPS 710433 WITH SCORE 743583.826
AT ITER 1829 NEW BEST:: SOT 38320625 SOS 33150802 HAS SOPS 15845527 HAS SOUS 1894606 HAS SOUPS 710421 WITH SCORE 743571.802
AT ITER 1882 NEW BEST:: SOT 38320521 SOS 33150594 HAS SOPS 15845319 HAS SOUS 1894450 HAS SOUPS 710265 WITH SCORE 743415.594
AT ITER 1887 NEW BEST:: SOT 38318769 SOS 33157380 HAS SOPS 15844167 HAS SOUS 1893523 HAS SOUPS 709044 WITH SCORE 742201.38
AT ITER 1895 NEW BEST:: SOT 38318590 SOS 33154937 HAS SOPS 15845477 HAS SOUS 1893078 HAS SOUPS 709016 WITH SCORE 742170.937
AT ITER 1931 NEW BEST:: SOT 38318481 SOS 33155700 HAS SOPS 15845259 HAS SOUS 1893077 HAS SOUPS 708906 WITH SCORE 742061.7
AT ITER 1946 NEW BEST:: SOT 38318378 SOS 33155494 HAS SOPS 15845053 HAS SOUS 1892961 HAS SOUPS 708790 WITH SCORE 741945.494
AT ITER 1969 NEW BEST:: SOT 38318378 SOS 33151615 HAS SOPS 15845053 HAS SOUS 1892287 HAS SOUPS 708547 WITH SCORE 741698.615
AT ITER 1979 NEW BEST:: SOT 38318354 SOS 33149947 HAS SOPS 15843385 HAS SOUS 1892263 HAS SOUPS 708523 WITH SCORE 741672.947
AT ITER 1981 NEW BEST:: SOT 38316954 SOS 33156649 HAS SOPS 15841771 HAS SOUS 1891815 HAS SOUPS 707767 WITH SCORE 740923.649
AT ITER 2014 NEW BEST:: SOT 38316438 SOS 33155617 HAS SOPS 15843061 HAS SOUS 1890783 HAS SOUPS 706993 WITH SCORE 740148.617
AT ITER 2015 NEW BEST:: SOT 38316438 SOS 33155617 HAS SOPS 15844114 HAS SOUS 1890549 HAS SOUPS 706876 WITH SCORE 740031.617
AT ITER 2021 NEW BEST:: SOT 38313531 SOS 33169429 HAS SOPS 15847666 HAS SOUS 1888414 HAS SOUPS 704741 WITH SCORE 737910.429
AT ITER 2023 NEW BEST:: SOT 38313531 SOS 33169429 HAS SOPS 15847666 HAS SOUS 1888344 HAS SOUPS 704671 WITH SCORE 737840.429
AT ITER 2047 NEW BEST:: SOT 38313531 SOS 33169429 HAS SOPS 15847666 HAS SOUS 1888256 HAS SOUPS 704583 WITH SCORE 737752.429
AT ITER 2054 NEW BEST:: SOT 38312710 SOS 33171848 HAS SOPS 15846548 HAS SOUS 1887780 HAS SOUPS 703976 WITH SCORE 737147.848
AT ITER 2059 NEW BEST:: SOT 38312329 SOS 33171086 HAS SOPS 15845786 HAS SOUS 1887018 HAS SOUPS 703214 WITH SCORE 736385.086
AT ITER 2075 NEW BEST:: SOT 38312329 SOS 33171086 HAS SOPS 15845786 HAS SOUS 1886910 HAS SOUPS 703106 WITH SCORE 736277.086
AT ITER 2103 NEW BEST:: SOT 38312329 SOS 33171086 HAS SOPS 15845786 HAS SOUS 1886804 HAS SOUPS 703000 WITH SCORE 736171.086
AT ITER 2111 NEW BEST:: SOT 38312093 SOS 33168189 HAS SOPS 15847254 HAS SOUS 1886083 HAS SOUPS 702764 WITH SCORE 735932.189
AT ITER 2132 NEW BEST:: SOT 38312093 SOS 33168189 HAS SOPS 15847254 HAS SOUS 1886019 HAS SOUPS 702700 WITH SCORE 735868.189
AT ITER 2143 NEW BEST:: SOT 38311472 SOS 33166947 HAS SOPS 15846012 HAS SOUS 1885281 HAS SOUPS 701962 WITH SCORE 735128.947
AT ITER 2148 NEW BEST:: SOT 38310566 SOS 33175437 HAS SOPS 15850236 HAS SOUS 1884612 HAS SOUPS 701293 WITH SCORE 734468.437
AT ITER 2151 NEW BEST:: SOT 38309553 SOS 33170921 HAS SOPS 15850202 HAS SOUS 1883714 HAS SOUPS 700893 WITH SCORE 734063.921
AT ITER 2170 NEW BEST:: SOT 38307487 SOS 33178781 HAS SOPS 15847478 HAS SOUS 1882480 HAS SOUPS 699267 WITH SCORE 732445.781
AT ITER 2178 NEW BEST:: SOT 38307153 SOS 33176610 HAS SOPS 15846810 HAS SOUS 1881811 HAS SOUPS 698765 WITH SCORE 731941.61
AT ITER 2190 NEW BEST:: SOT 38306729 SOS 33175126 HAS SOPS 15846280 HAS SOUS 1881175 HAS SOUPS 698235 WITH SCORE 731410.126
AT ITER 2191 NEW BEST:: SOT 38306668 SOS 33174808 HAS SOPS 15845962 HAS SOUS 1881137 HAS SOUPS 698197 WITH SCORE 731371.808
AT ITER 2203 NEW BEST:: SOT 38306668 SOS 33174808 HAS SOPS 15845962 HAS SOUS 1880917 HAS SOUPS 697977 WITH SCORE 731151.808
AT ITER 2204 NEW BEST:: SOT 38306502 SOS 33173720 HAS SOPS 15848204 HAS SOUS 1880357 HAS SOUPS 697787 WITH SCORE 730960.72
AT ITER 2280 NEW BEST:: SOT 38305901 SOS 33169386 HAS SOPS 15847002 HAS SOUS 1879108 HAS SOUPS 696886 WITH SCORE 730055.3859999999
AT ITER 2302 NEW BEST:: SOT 38305901 SOS 33164326 HAS SOPS 15846956 HAS SOUS 1879108 HAS SOUPS 696886 WITH SCORE 730050.326
AT ITER 2308 NEW BEST:: SOT 38305667 SOS 33166028 HAS SOPS 15846768 HAS SOUS 1878956 HAS SOUPS 696664 WITH SCORE 729830.028
AT ITER 2320 NEW BEST:: SOT 38305667 SOS 33166028 HAS SOPS 15846768 HAS SOUS 1878736 HAS SOUPS 696444 WITH SCORE 729610.028
AT ITER 2323 NEW BEST:: SOT 38305605 SOS 33165749 HAS SOPS 15846489 HAS SOUS 1878674 HAS SOUPS 696382 WITH SCORE 729547.749
AT ITER 2356 NEW BEST:: SOT 38305453 SOS 33165445 HAS SOPS 15846185 HAS SOUS 1878522 HAS SOUPS 696230 WITH SCORE 729395.445
AT ITER 2357 NEW BEST:: SOT 38302789 SOS 33176545 HAS SOPS 15847457 HAS SOUS 1876887 HAS SOUPS 694595 WITH SCORE 727771.545
AT ITER 2416 NEW BEST:: SOT 38302924 SOS 33126590 HAS SOPS 15844820 HAS SOUS 1876276 HAS SOUPS 694385 WITH SCORE 727511.59
AT ITER 2422 NEW BEST:: SOT 38302924 SOS 33126590 HAS SOPS 15844820 HAS SOUS 1876182 HAS SOUPS 694291 WITH SCORE 727417.59
AT ITER 2453 NEW BEST:: SOT 38303094 SOS 33123951 HAS SOPS 15842181 HAS SOUS 1876021 HAS SOUPS 694130 WITH SCORE 727253.951
AT ITER 2461 NEW BEST:: SOT 38303034 SOS 33123831 HAS SOPS 15842061 HAS SOUS 1875931 HAS SOUPS 694040 WITH SCORE 727163.831
AT ITER 2462 NEW BEST:: SOT 38300427 SOS 33134578 HAS SOPS 15844294 HAS SOUS 1874000 HAS SOUPS 692109 WITH SCORE 725243.578
AT ITER 2464 NEW BEST:: SOT 38299902 SOS 33135766 HAS SOPS 15843457 HAS SOUS 1873732 HAS SOUPS 691766 WITH SCORE 724901.7660000001
AT ITER 2468 NEW BEST:: SOT 38299902 SOS 33135766 HAS SOPS 15843457 HAS SOUS 1873594 HAS SOUPS 691628 WITH SCORE 724763.7660000001
AT ITER 2515 NEW BEST:: SOT 38299855 SOS 33135672 HAS SOPS 15843363 HAS SOUS 1873469 HAS SOUPS 691503 WITH SCORE 724638.672
AT ITER 2524 NEW BEST:: SOT 38299569 SOS 33133045 HAS SOPS 15844435 HAS SOUS 1872772 HAS SOUPS 691217 WITH SCORE 724350.045
AT ITER 2553 NEW BEST:: SOT 38299239 SOS 33132385 HAS SOPS 15845260 HAS SOUS 1872112 HAS SOUPS 690722 WITH SCORE 723854.385
AT ITER 2554 NEW BEST:: SOT 38298279 SOS 33136757 HAS SOPS 15845276 HAS SOUS 1871891 HAS SOUPS 690501 WITH SCORE 723637.757
AT ITER 2569 NEW BEST:: SOT 38298083 SOS 33137507 HAS SOPS 15845270 HAS SOUS 1871825 HAS SOUPS 690407 WITH SCORE 723544.507
AT ITER 2579 NEW BEST:: SOT 38296589 SOS 33133074 HAS SOPS 15843438 HAS SOUS 1870620 HAS SOUPS 689491 WITH SCORE 722624.074
AT ITER 2581 NEW BEST:: SOT 38296507 SOS 33132910 HAS SOPS 15843274 HAS SOUS 1870538 HAS SOUPS 689409 WITH SCORE 722541.91
AT ITER 2615 NEW BEST:: SOT 38296507 SOS 33132910 HAS SOPS 15843274 HAS SOUS 1870482 HAS SOUPS 689353 WITH SCORE 722485.91
AT ITER 2681 NEW BEST:: SOT 38296507 SOS 33132910 HAS SOPS 15843274 HAS SOUS 1870268 HAS SOUPS 689139 WITH SCORE 722271.91
AT ITER 2699 NEW BEST:: SOT 38296218 SOS 33132332 HAS SOPS 15844361 HAS SOUS 1869690 HAS SOUPS 688746 WITH SCORE 721878.332
AT ITER 2704 NEW BEST:: SOT 38296218 SOS 33132332 HAS SOPS 15844361 HAS SOUS 1869534 HAS SOUPS 688590 WITH SCORE 721722.332
AT ITER 2707 NEW BEST:: SOT 38294337 SOS 33143637 HAS SOPS 15847260 HAS SOUS 1868346 HAS SOUPS 687402 WITH SCORE 720545.637
AT ITER 2720 NEW BEST:: SOT 38294337 SOS 33143637 HAS SOPS 15847260 HAS SOUS 1868172 HAS SOUPS 687228 WITH SCORE 720371.637
AT ITER 2735 NEW BEST:: SOT 38292705 SOS 33168269 HAS SOPS 15860480 HAS SOUS 1867876 HAS SOUPS 686932 WITH SCORE 720100.269
AT ITER 2750 NEW BEST:: SOT 38292705 SOS 33166955 HAS SOPS 15860480 HAS SOUS 1867729 HAS SOUPS 686931 WITH SCORE 720097.955
AT ITER 2781 NEW BEST:: SOT 38292378 SOS 33171168 HAS SOPS 15860454 HAS SOUS 1867487 HAS SOUPS 686532 WITH SCORE 719703.168
AT ITER 2782 NEW BEST:: SOT 38292365 SOS 33171051 HAS SOPS 15860337 HAS SOUS 1867474 HAS SOUPS 686519 WITH SCORE 719690.051
AT ITER 2783 NEW BEST:: SOT 38292365 SOS 33171051 HAS SOPS 15860337 HAS SOUS 1867254 HAS SOUPS 686299 WITH SCORE 719470.051
AT ITER 2798 NEW BEST:: SOT 38292365 SOS 33171051 HAS SOPS 15860337 HAS SOUS 1867110 HAS SOUPS 686155 WITH SCORE 719326.051
AT ITER 2828 NEW BEST:: SOT 38292067 SOS 33170455 HAS SOPS 15862423 HAS SOUS 1866514 HAS SOUPS 685857 WITH SCORE 719027.455
AT ITER 2844 NEW BEST:: SOT 38291835 SOS 33169991 HAS SOPS 15863003 HAS SOUS 1866050 HAS SOUPS 685509 WITH SCORE 718678.991
AT ITER 2855 NEW BEST:: SOT 38291567 SOS 33168460 HAS SOPS 15863263 HAS SOUS 1865583 HAS SOUPS 685241 WITH SCORE 718409.46
AT ITER 2881 NEW BEST:: SOT 38291567 SOS 33168460 HAS SOPS 15863263 HAS SOUS 1865363 HAS SOUPS 685021 WITH SCORE 718189.46
AT ITER 2899 NEW BEST:: SOT 38290980 SOS 33167286 HAS SOPS 15865059 HAS SOUS 1864163 HAS SOUPS 684151 WITH SCORE 717318.286
AT ITER 2924 NEW BEST:: SOT 38290980 SOS 33167286 HAS SOPS 15865059 HAS SOUS 1864031 HAS SOUPS 684019 WITH SCORE 717186.286
AT ITER 2926 NEW BEST:: SOT 38290188 SOS 33165042 HAS SOPS 15864003 HAS SOUS 1863371 HAS SOUPS 683491 WITH SCORE 716656.042
AT ITER 2998 NEW BEST:: SOT 38290188 SOS 33165042 HAS SOPS 15864003 HAS SOUS 1863251 HAS SOUPS 683371 WITH SCORE 716536.042
AT ITER 3022 NEW BEST:: SOT 38290064 SOS 33164794 HAS SOPS 15864313 HAS SOUS 1863003 HAS SOUPS 683185 WITH SCORE 716349.794
AT ITER 3061 NEW BEST:: SOT 38289164 SOS 33179142 HAS SOPS 15872055 HAS SOUS 1862541 HAS SOUPS 682723 WITH SCORE 715902.142
AT ITER 3092 NEW BEST:: SOT 38289164 SOS 33179142 HAS SOPS 15872055 HAS SOUS 1862511 HAS SOUPS 682693 WITH SCORE 715872.142
AT ITER 3093 NEW BEST:: SOT 38289164 SOS 33179142 HAS SOPS 15872055 HAS SOUS 1862427 HAS SOUPS 682609 WITH SCORE 715788.142
AT ITER 3096 NEW BEST:: SOT 38287764 SOS 33174197 HAS SOPS 15870971 HAS SOUS 1861885 HAS SOUPS 682496 WITH SCORE 715670.197
AT ITER 3102 NEW BEST:: SOT 38286309 SOS 33177085 HAS SOPS 15867838 HAS SOUS 1860893 HAS SOUPS 681281 WITH SCORE 714458.085
AT ITER 3108 NEW BEST:: SOT 38286049 SOS 33175790 HAS SOPS 15866543 HAS SOUS 1860633 HAS SOUPS 681021 WITH SCORE 714196.79
AT ITER 3115 NEW BEST:: SOT 38285919 SOS 33175985 HAS SOPS 15866738 HAS SOUS 1860412 HAS SOUPS 680800 WITH SCORE 713975.985
AT ITER 3116 NEW BEST:: SOT 38284644 SOS 33193006 HAS SOPS 15873643 HAS SOUS 1859766 HAS SOUPS 680154 WITH SCORE 713347.006
AT ITER 3130 NEW BEST:: SOT 38282973 SOS 33203632 HAS SOPS 15874792 HAS SOUS 1859077 HAS SOUPS 679114 WITH SCORE 712317.632
AT ITER 3133 NEW BEST:: SOT 38281691 SOS 33198548 HAS SOPS 15874244 HAS SOUS 1858130 HAS SOUPS 678671 WITH SCORE 711869.548
AT ITER 3146 NEW BEST:: SOT 38281341 SOS 33196933 HAS SOPS 15872629 HAS SOUS 1857780 HAS SOUPS 678321 WITH SCORE 711517.933
AT ITER 3173 NEW BEST:: SOT 38280103 SOS 33203347 HAS SOPS 15872185 HAS SOUS 1857542 HAS SOUPS 677829 WITH SCORE 711032.347
AT ITER 3188 NEW BEST:: SOT 38279775 SOS 33132975 HAS SOPS 15872731 HAS SOUS 1856568 HAS SOUPS 677456 WITH SCORE 710588.975
AT ITER 3190 NEW BEST:: SOT 38279775 SOS 33132975 HAS SOPS 15872731 HAS SOUS 1856524 HAS SOUPS 677412 WITH SCORE 710544.975
AT ITER 3200 NEW BEST:: SOT 38278785 SOS 33135415 HAS SOPS 15872111 HAS SOUS 1855944 HAS SOUPS 676832 WITH SCORE 709967.415
AT ITER 3230 NEW BEST:: SOT 38278859 SOS 33136323 HAS SOPS 15872164 HAS SOUS 1855923 HAS SOUPS 676716 WITH SCORE 709852.323
AT ITER 3290 NEW BEST:: SOT 38276423 SOS 33148858 HAS SOPS 15876131 HAS SOUS 1853795 HAS SOUPS 674588 WITH SCORE 707736.858
AT ITER 3303 NEW BEST:: SOT 38276107 SOS 33147594 HAS SOPS 15874867 HAS SOUS 1853479 HAS SOUPS 674272 WITH SCORE 707419.594
AT ITER 3316 NEW BEST:: SOT 38276107 SOS 33147339 HAS SOPS 15875071 HAS SOUS 1853428 HAS SOUPS 674272 WITH SCORE 707419.339
AT ITER 3328 NEW BEST:: SOT 38276107 SOS 33146961 HAS SOPS 15874693 HAS SOUS 1853050 HAS SOUPS 673894 WITH SCORE 707040.961
AT ITER 3390 NEW BEST:: SOT 38276107 SOS 33146961 HAS SOPS 15874693 HAS SOUS 1852830 HAS SOUPS 673674 WITH SCORE 706820.961
AT ITER 3412 NEW BEST:: SOT 38276107 SOS 33146961 HAS SOPS 15874693 HAS SOUS 1852728 HAS SOUPS 673572 WITH SCORE 706718.961
AT ITER 3442 NEW BEST:: SOT 38275729 SOS 33147297 HAS SOPS 15874273 HAS SOUS 1852434 HAS SOUPS 673278 WITH SCORE 706425.297
AT ITER 3532 NEW BEST:: SOT 38275656 SOS 33147151 HAS SOPS 15874127 HAS SOUS 1852361 HAS SOUPS 673205 WITH SCORE 706352.151
AT ITER 3535 NEW BEST:: SOT 38279382 SOS 33153973 HAS SOPS 15878975 HAS SOUS 1851609 HAS SOUPS 672480 WITH SCORE 705633.973
AT ITER 3547 NEW BEST:: SOT 38279216 SOS 33153226 HAS SOPS 15878228 HAS SOUS 1851443 HAS SOUPS 672314 WITH SCORE 705467.226
AT ITER 3586 NEW BEST:: SOT 38276825 SOS 33291549 HAS SOPS 15959762 HAS SOUS 1851198 HAS SOUPS 672069 WITH SCORE 705360.549
AT ITER 3592 NEW BEST:: SOT 38274658 SOS 33296714 HAS SOPS 15956530 HAS SOUS 1849953 HAS SOUPS 670513 WITH SCORE 703809.714
AT ITER 3607 NEW BEST:: SOT 38273517 SOS 33303073 HAS SOPS 15958047 HAS SOUS 1848987 HAS SOUPS 669547 WITH SCORE 702850.073
AT ITER 3619 NEW BEST:: SOT 38273454 SOS 33302947 HAS SOPS 15958380 HAS SOUS 1848861 HAS SOUPS 669472 WITH SCORE 702774.947
AT ITER 3641 NEW BEST:: SOT 38273454 SOS 33302947 HAS SOPS 15958380 HAS SOUS 1848669 HAS SOUPS 669280 WITH SCORE 702582.947
AT ITER 3651 NEW BEST:: SOT 38271823 SOS 33309515 HAS SOPS 15955525 HAS SOUS 1847805 HAS SOUPS 668067 WITH SCORE 701376.515
AT ITER 3653 NEW BEST:: SOT 38271823 SOS 33309515 HAS SOPS 15955525 HAS SOUS 1847757 HAS SOUPS 668019 WITH SCORE 701328.515
AT ITER 3668 NEW BEST:: SOT 38270543 SOS 33316668 HAS SOPS 15955442 HAS SOUS 1847270 HAS SOUPS 667264 WITH SCORE 700580.668
AT ITER 3704 NEW BEST:: SOT 38269521 SOS 33313179 HAS SOPS 15951953 HAS SOUS 1847115 HAS SOUPS 667109 WITH SCORE 700422.179
AT ITER 3726 NEW BEST:: SOT 38269521 SOS 33313179 HAS SOPS 15951953 HAS SOUS 1846895 HAS SOUPS 666889 WITH SCORE 700202.179
AT ITER 3727 NEW BEST:: SOT 38269103 SOS 33312262 HAS SOPS 15951036 HAS SOUS 1846821 HAS SOUPS 666815 WITH SCORE 700127.262
AT ITER 3731 NEW BEST:: SOT 38268963 SOS 33311982 HAS SOPS 15954275 HAS SOUS 1846290 HAS SOUPS 666675 WITH SCORE 699986.982
AT ITER 3745 NEW BEST:: SOT 38268171 SOS 33310398 HAS SOPS 15952691 HAS SOUS 1844887 HAS SOUPS 665272 WITH SCORE 698582.398
AT ITER 3786 NEW BEST:: SOT 38268171 SOS 33309093 HAS SOPS 15952691 HAS SOUS 1844679 HAS SOUPS 665209 WITH SCORE 698518.093
AT ITER 3887 NEW BEST:: SOT 38268171 SOS 33309093 HAS SOPS 15952691 HAS SOUS 1844459 HAS SOUPS 664989 WITH SCORE 698298.093
AT ITER 3890 NEW BEST:: SOT 38266586 SOS 33316910 HAS SOPS 15954802 HAS SOUS 1843646 HAS SOUPS 664176 WITH SCORE 697492.91
AT ITER 3896 NEW BEST:: SOT 38266796 SOS 33285095 HAS SOPS 15932542 HAS SOUS 1843541 HAS SOUPS 664071 WITH SCORE 697356.095
AT ITER 3933 NEW BEST:: SOT 38266796 SOS 33285095 HAS SOPS 15932542 HAS SOUS 1843429 HAS SOUPS 663959 WITH SCORE 697244.095
AT ITER 3935 NEW BEST:: SOT 38266326 SOS 33284155 HAS SOPS 15933717 HAS SOUS 1842724 HAS SOUPS 663489 WITH SCORE 696773.155
AT ITER 3958 NEW BEST:: SOT 38265480 SOS 33288504 HAS SOPS 15933017 HAS SOUS 1842772 HAS SOUPS 663350 WITH SCORE 696638.504
AT ITER 3963 NEW BEST:: SOT 38265346 SOS 33288236 HAS SOPS 15932749 HAS SOUS 1842638 HAS SOUPS 663216 WITH SCORE 696504.236
AT ITER 3973 NEW BEST:: SOT 38264153 SOS 33296903 HAS SOPS 15936574 HAS SOUS 1841671 HAS SOUPS 662249 WITH SCORE 695545.903
AT ITER 3978 NEW BEST:: SOT 38264153 SOS 33296903 HAS SOPS 15936574 HAS SOUS 1841595 HAS SOUPS 662173 WITH SCORE 695469.903
AT ITER 3984 NEW BEST:: SOT 38263778 SOS 33299628 HAS SOPS 15935924 HAS SOUS 1841495 HAS SOUPS 661948 WITH SCORE 695247.628
AT ITER 3986 NEW BEST:: SOT 38263677 SOS 33298517 HAS SOPS 15935722 HAS SOUS 1841192 HAS SOUPS 661746 WITH SCORE 695044.517
AT ITER 3989 NEW BEST:: SOT 38263677 SOS 33298517 HAS SOPS 15935722 HAS SOUS 1840972 HAS SOUPS 661526 WITH SCORE 694824.517
AT ITER 3994 NEW BEST:: SOT 38263173 SOS 33297122 HAS SOPS 15934327 HAS SOUS 1840443 HAS SOUPS 660997 WITH SCORE 694294.122
AT ITER 3998 NEW BEST:: SOT 38263174 SOS 33297071 HAS SOPS 15934303 HAS SOUS 1840441 HAS SOUPS 660996 WITH SCORE 694293.071
AT ITER 4002 NEW BEST:: SOT 38263174 SOS 33297071 HAS SOPS 15934303 HAS SOUS 1840221 HAS SOUPS 660776 WITH SCORE 694073.071
AT ITER 4007 NEW BEST:: SOT 38262371 SOS 33302225 HAS SOPS 15934894 HAS SOUS 1839854 HAS SOUPS 660240 WITH SCORE 693542.225
AT ITER 4021 NEW BEST:: SOT 38262081 SOS 33300340 HAS SOPS 15934314 HAS SOUS 1839273 HAS SOUPS 659804 WITH SCORE 693104.34
AT ITER 4045 NEW BEST:: SOT 38262081 SOS 33300340 HAS SOPS 15934314 HAS SOUS 1839057 HAS SOUPS 659588 WITH SCORE 692888.34
AT ITER 4061 NEW BEST:: SOT 38262081 SOS 33300340 HAS SOPS 15934314 HAS SOUS 1839027 HAS SOUPS 659558 WITH SCORE 692858.34
AT ITER 4153 NEW BEST:: SOT 38262081 SOS 33300340 HAS SOPS 15934314 HAS SOUS 1839007 HAS SOUPS 659538 WITH SCORE 692838.34
AT ITER 4161 NEW BEST:: SOT 38263052 SOS 33307640 HAS SOPS 15941614 HAS SOUS 1838775 HAS SOUPS 659306 WITH SCORE 692613.64
AT ITER 4191 NEW BEST:: SOT 38263117 SOS 33302358 HAS SOPS 15938546 HAS SOUS 1838659 HAS SOUPS 659190 WITH SCORE 692492.358
AT ITER 4225 NEW BEST:: SOT 38259491 SOS 33322813 HAS SOPS 15946779 HAS SOUS 1835857 HAS SOUPS 656388 WITH SCORE 689710.813
AT ITER 4226 NEW BEST:: SOT 38258711 SOS 33321253 HAS SOPS 15945219 HAS SOUS 1834840 HAS SOUPS 655371 WITH SCORE 688692.253
AT ITER 4254 NEW BEST:: SOT 38257137 SOS 33316715 HAS SOPS 15940681 HAS SOUS 1834216 HAS SOUPS 654747 WITH SCORE 688063.715
AT ITER 4262 NEW BEST:: SOT 38257137 SOS 33316715 HAS SOPS 15940681 HAS SOUS 1833996 HAS SOUPS 654527 WITH SCORE 687843.715
AT ITER 4268 NEW BEST:: SOT 38257137 SOS 33312865 HAS SOPS 15940961 HAS SOUS 1833926 HAS SOUPS 654492 WITH SCORE 687804.865
AT ITER 4273 NEW BEST:: SOT 38256476 SOS 33311543 HAS SOPS 15939639 HAS SOUS 1833583 HAS SOUPS 654149 WITH SCORE 687460.543
AT ITER 4275 NEW BEST:: SOT 38255888 SOS 33317146 HAS SOPS 15941714 HAS SOUS 1833464 HAS SOUPS 654030 WITH SCORE 687347.146
AT ITER 4296 NEW BEST:: SOT 38255500 SOS 33314995 HAS SOPS 15942038 HAS SOUS 1832801 HAS SOUPS 653642 WITH SCORE 686956.995
AT ITER 4305 NEW BEST:: SOT 38255500 SOS 33314995 HAS SOPS 15942038 HAS SOUS 1832739 HAS SOUPS 653580 WITH SCORE 686894.995
AT ITER 4347 NEW BEST:: SOT 38254892 SOS 33308280 HAS SOPS 15941317 HAS SOUS 1831754 HAS SOUPS 653261 WITH SCORE 686569.28
AT ITER 4374 NEW BEST:: SOT 38253839 SOS 33315484 HAS SOPS 15943733 HAS SOUS 1830978 HAS SOUPS 652485 WITH SCORE 685800.484
AT ITER 4403 NEW BEST:: SOT 38253839 SOS 33315484 HAS SOPS 15943733 HAS SOUS 1830962 HAS SOUPS 652469 WITH SCORE 685784.484
AT ITER 4413 NEW BEST:: SOT 38252337 SOS 33310045 HAS SOPS 15942677 HAS SOUS 1830393 HAS SOUPS 652387 WITH SCORE 685697.045
AT ITER 4458 NEW BEST:: SOT 38252027 SOS 33309425 HAS SOPS 15943452 HAS SOUS 1829773 HAS SOUPS 651922 WITH SCORE 685231.425
AT ITER 4485 NEW BEST:: SOT 38251755 SOS 33310961 HAS SOPS 15942828 HAS SOUS 1829745 HAS SOUPS 651814 WITH SCORE 685124.961
AT ITER 4556 NEW BEST:: SOT 38250745 SOS 33313647 HAS SOPS 15940627 HAS SOUS 1829678 HAS SOUPS 651566 WITH SCORE 684879.647
AT ITER 4561 NEW BEST:: SOT 38250745 SOS 33313647 HAS SOPS 15940627 HAS SOUS 1829458 HAS SOUPS 651346 WITH SCORE 684659.647
AT ITER 4573 NEW BEST:: SOT 38250900 SOS 33313957 HAS SOPS 15944411 HAS SOUS 1829025 HAS SOUPS 651299 WITH SCORE 684612.957
AT ITER 4660 NEW BEST:: SOT 38248432 SOS 33331443 HAS SOPS 15944239 HAS SOUS 1828235 HAS SOUPS 649855 WITH SCORE 683186.443
AT ITER 4683 NEW BEST:: SOT 38247808 SOS 33330611 HAS SOPS 15943407 HAS SOUS 1827902 HAS SOUPS 649522 WITH SCORE 682852.611
AT ITER 4688 NEW BEST:: SOT 38247263 SOS 33334747 HAS SOPS 15943574 HAS SOUS 1827686 HAS SOUPS 649159 WITH SCORE 682493.747
AT ITER 4699 NEW BEST:: SOT 38247263 SOS 33334576 HAS SOPS 15943403 HAS SOUS 1827661 HAS SOUPS 649134 WITH SCORE 682468.576
AT ITER 4727 NEW BEST:: SOT 38247263 SOS 33334576 HAS SOPS 15943403 HAS SOUS 1827615 HAS SOUPS 649088 WITH SCORE 682422.576
AT ITER 4764 NEW BEST:: SOT 38247218 SOS 33332416 HAS SOPS 15945104 HAS SOUS 1827043 HAS SOUPS 648945 WITH SCORE 682277.416
AT ITER 4843 NEW BEST:: SOT 38247218 SOS 33331210 HAS SOPS 15947219 HAS SOUS 1826540 HAS SOUPS 648811 WITH SCORE 682142.21
AT ITER 4845 NEW BEST:: SOT 38243796 SOS 33344347 HAS SOPS 15949196 HAS SOUS 1826086 HAS SOUPS 648357 WITH SCORE 681701.347
AT ITER 4862 NEW BEST:: SOT 38243796 SOS 33344347 HAS SOPS 15949196 HAS SOUS 1825966 HAS SOUPS 648237 WITH SCORE 681581.347
AT ITER 4865 NEW BEST:: SOT 38242907 SOS 33352908 HAS SOPS 15953509 HAS SOUS 1825548 HAS SOUPS 647819 WITH SCORE 681171.908
AT ITER 4867 NEW BEST:: SOT 38242917 SOS 33352703 HAS SOPS 15956229 HAS SOUS 1825208 HAS SOUPS 647804 WITH SCORE 681156.703
AT ITER 4882 NEW BEST:: SOT 38242857 SOS 33350387 HAS SOPS 15953913 HAS SOUS 1825143 HAS SOUPS 647739 WITH SCORE 681089.387
AT ITER 4900 NEW BEST:: SOT 38241535 SOS 33363329 HAS SOPS 15959529 HAS SOUS 1824397 HAS SOUPS 646993 WITH SCORE 680356.329
AT ITER 5030 NEW BEST:: SOT 38241225 SOS 33362709 HAS SOPS 15960304 HAS SOUS 1823777 HAS SOUPS 646528 WITH SCORE 679890.709
AT ITER 5034 NEW BEST:: SOT 38240832 SOS 33373407 HAS SOPS 15966304 HAS SOUS 1823645 HAS SOUPS 646396 WITH SCORE 679769.407
AT ITER 5103 NEW BEST:: SOT 38238732 SOS 33391841 HAS SOPS 15973380 HAS SOUS 1822459 HAS SOUPS 645210 WITH SCORE 678601.841
AT ITER 5146 NEW BEST:: SOT 38238732 SOS 33391841 HAS SOPS 15973380 HAS SOUS 1822359 HAS SOUPS 645110 WITH SCORE 678501.841
AT ITER 5173 NEW BEST:: SOT 38239889 SOS 33395730 HAS SOPS 15977269 HAS SOUS 1822346 HAS SOUPS 645097 WITH SCORE 678492.73
AT ITER 5205 NEW BEST:: SOT 38237682 SOS 33403574 HAS SOPS 15977661 HAS SOUS 1820882 HAS SOUPS 643633 WITH SCORE 677036.574
AT ITER 5239 NEW BEST:: SOT 38236672 SOS 33400569 HAS SOPS 15976429 HAS SOUS 1820241 HAS SOUPS 643189 WITH SCORE 676589.569
AT ITER 5241 NEW BEST:: SOT 38236444 SOS 33401847 HAS SOPS 15976168 HAS SOUS 1820098 HAS SOUPS 642989 WITH SCORE 676390.847
AT ITER 5248 NEW BEST:: SOT 38236183 SOS 33405588 HAS SOPS 15977560 HAS SOUS 1820011 HAS SOUPS 642815 WITH SCORE 676220.588
AT ITER 5266 NEW BEST:: SOT 38236183 SOS 33406299 HAS SOPS 15978271 HAS SOUS 1819924 HAS SOUPS 642728 WITH SCORE 676134.299
AT ITER 5290 NEW BEST:: SOT 38235346 SOS 33402906 HAS SOPS 15978811 HAS SOUS 1818069 HAS SOUPS 641310 WITH SCORE 674712.906
AT ITER 5339 NEW BEST:: SOT 38235889 SOS 33385050 HAS SOPS 15974158 HAS SOUS 1817334 HAS SOUPS 641064 WITH SCORE 674449.05
AT ITER 5348 NEW BEST:: SOT 38234197 SOS 33389938 HAS SOPS 15975662 HAS SOUS 1816206 HAS SOUPS 639936 WITH SCORE 673325.938
AT ITER 5354 NEW BEST:: SOT 38234197 SOS 33389938 HAS SOPS 15975662 HAS SOUS 1816202 HAS SOUPS 639932 WITH SCORE 673321.938
AT ITER 5356 NEW BEST:: SOT 38232137 SOS 33383638 HAS SOPS 15973286 HAS SOUS 1814558 HAS SOUPS 638724 WITH SCORE 672107.638
AT ITER 5372 NEW BEST:: SOT 38232137 SOS 33383638 HAS SOPS 15973286 HAS SOUS 1814422 HAS SOUPS 638588 WITH SCORE 671971.638
AT ITER 5449 NEW BEST:: SOT 38232137 SOS 33382958 HAS SOPS 15973830 HAS SOUS 1814286 HAS SOUPS 638588 WITH SCORE 671970.958
AT ITER 5471 NEW BEST:: SOT 38230962 SOS 33381548 HAS SOPS 15972420 HAS SOUS 1813800 HAS SOUPS 638102 WITH SCORE 671483.548
AT ITER 5559 NEW BEST:: SOT 38230866 SOS 33381356 HAS SOPS 15974226 HAS SOUS 1813260 HAS SOUPS 637784 WITH SCORE 671165.356
AT ITER 5578 NEW BEST:: SOT 38227345 SOS 33393069 HAS SOPS 15974743 HAS SOUS 1812305 HAS SOUPS 636829 WITH SCORE 670222.069
AT ITER 5619 NEW BEST:: SOT 38227335 SOS 33393049 HAS SOPS 15974723 HAS SOUS 1812295 HAS SOUPS 636819 WITH SCORE 670212.049
AT ITER 5671 NEW BEST:: SOT 38226507 SOS 33390703 HAS SOPS 15973619 HAS SOUS 1811605 HAS SOUPS 636267 WITH SCORE 669657.703
AT ITER 5674 NEW BEST:: SOT 38226285 SOS 33390467 HAS SOPS 15973383 HAS SOUS 1811526 HAS SOUPS 636188 WITH SCORE 669578.467
AT ITER 5705 NEW BEST:: SOT 38225388 SOS 33354018 HAS SOPS 15981888 HAS SOUS 1810543 HAS SOUPS 635205 WITH SCORE 668559.018
AT ITER 5718 NEW BEST:: SOT 38225388 SOS 33354018 HAS SOPS 15981888 HAS SOUS 1810519 HAS SOUPS 635181 WITH SCORE 668535.018
AT ITER 5765 NEW BEST:: SOT 38225087 SOS 33354946 HAS SOPS 15981601 HAS SOUS 1810407 HAS SOUPS 635024 WITH SCORE 668378.946
AT ITER 5773 NEW BEST:: SOT 38225087 SOS 33354946 HAS SOPS 15981601 HAS SOUS 1810405 HAS SOUPS 635022 WITH SCORE 668376.946
AT ITER 5785 NEW BEST:: SOT 38223025 SOS 33301579 HAS SOPS 15988931 HAS SOUS 1808393 HAS SOUPS 633010 WITH SCORE 666311.579
AT ITER 5794 NEW BEST:: SOT 38223178 SOS 33295927 HAS SOPS 15987410 HAS SOUS 1808087 HAS SOUPS 632857 WITH SCORE 666152.927
AT ITER 5825 NEW BEST:: SOT 38223178 SOS 33295927 HAS SOPS 15987410 HAS SOUS 1807867 HAS SOUPS 632637 WITH SCORE 665932.927
AT ITER 5837 NEW BEST:: SOT 38223178 SOS 33295927 HAS SOPS 15987410 HAS SOUS 1807775 HAS SOUPS 632545 WITH SCORE 665840.927
AT ITER 5845 NEW BEST:: SOT 38223178 SOS 33295927 HAS SOPS 15987410 HAS SOUS 1807747 HAS SOUPS 632517 WITH SCORE 665812.927
AT ITER 5859 NEW BEST:: SOT 38223178 SOS 33295927 HAS SOPS 15987410 HAS SOUS 1807701 HAS SOUPS 632471 WITH SCORE 665766.927
AT ITER 5867 NEW BEST:: SOT 38223178 SOS 33295927 HAS SOPS 15987410 HAS SOUS 1807607 HAS SOUPS 632377 WITH SCORE 665672.927
AT ITER 5878 NEW BEST:: SOT 38223088 SOS 33295747 HAS SOPS 15986825 HAS SOUS 1807517 HAS SOUPS 632242 WITH SCORE 665537.747
AT ITER 5904 NEW BEST:: SOT 38222655 SOS 33292802 HAS SOPS 15987435 HAS SOUS 1806473 HAS SOUPS 631593 WITH SCORE 664885.802
AT ITER 5914 NEW BEST:: SOT 38222655 SOS 33292257 HAS SOPS 15986890 HAS SOUS 1806473 HAS SOUPS 631593 WITH SCORE 664885.257
AT ITER 5922 NEW BEST:: SOT 38222655 SOS 33292257 HAS SOPS 15986890 HAS SOUS 1806253 HAS SOUPS 631373 WITH SCORE 664665.257
AT ITER 5924 NEW BEST:: SOT 38222655 SOS 33292257 HAS SOPS 15986890 HAS SOUS 1806177 HAS SOUPS 631297 WITH SCORE 664589.257
AT ITER 5949 NEW BEST:: SOT 38222923 SOS 33275765 HAS SOPS 15977364 HAS SOUS 1806043 HAS SOUPS 631163 WITH SCORE 664438.765
AT ITER 5971 NEW BEST:: SOT 38222923 SOS 33275765 HAS SOPS 15977364 HAS SOUS 1806023 HAS SOUPS 631143 WITH SCORE 664418.765
AT ITER 5984 NEW BEST:: SOT 38222872 SOS 33275663 HAS SOPS 15981186 HAS SOUS 1805293 HAS SOUPS 630849 WITH SCORE 664124.663
AT ITER 6002 NEW BEST:: SOT 38222872 SOS 33275663 HAS SOPS 15981186 HAS SOUS 1805123 HAS SOUPS 630679 WITH SCORE 663954.663
AT ITER 6030 NEW BEST:: SOT 38222872 SOS 33275663 HAS SOPS 15981186 HAS SOUS 1805103 HAS SOUPS 630659 WITH SCORE 663934.663
AT ITER 6058 NEW BEST:: SOT 38222659 SOS 33273203 HAS SOPS 15981345 HAS SOUS 1804598 HAS SOUPS 630445 WITH SCORE 663718.203
AT ITER 6093 NEW BEST:: SOT 38222614 SOS 33273113 HAS SOPS 15981255 HAS SOUS 1804387 HAS SOUPS 630234 WITH SCORE 663507.113
AT ITER 6130 NEW BEST:: SOT 38222525 SOS 33272935 HAS SOPS 15981077 HAS SOUS 1804337 HAS SOUPS 630184 WITH SCORE 663456.935
AT ITER 6133 NEW BEST:: SOT 38222525 SOS 33272935 HAS SOPS 15981077 HAS SOUS 1804223 HAS SOUPS 630070 WITH SCORE 663342.935
AT ITER 6147 NEW BEST:: SOT 38222425 SOS 33272485 HAS SOPS 15980627 HAS SOUS 1804123 HAS SOUPS 629970 WITH SCORE 663242.485
AT ITER 6153 NEW BEST:: SOT 38216390 SOS 33261456 HAS SOPS 15976191 HAS SOUS 1803799 HAS SOUPS 629780 WITH SCORE 663041.456
AT ITER 6171 NEW BEST:: SOT 38216068 SOS 33260812 HAS SOPS 15974098 HAS SOUS 1803638 HAS SOUPS 629458 WITH SCORE 662718.812
AT ITER 6188 NEW BEST:: SOT 38213245 SOS 33271857 HAS SOPS 15975837 HAS SOUS 1801437 HAS SOUPS 627257 WITH SCORE 660528.857
AT ITER 6209 NEW BEST:: SOT 38213245 SOS 33271857 HAS SOPS 15975837 HAS SOUS 1801217 HAS SOUPS 627037 WITH SCORE 660308.857
AT ITER 6222 NEW BEST:: SOT 38213245 SOS 33271857 HAS SOPS 15975837 HAS SOUS 1801187 HAS SOUPS 627007 WITH SCORE 660278.857
AT ITER 6349 NEW BEST:: SOT 38213245 SOS 33271857 HAS SOPS 15975837 HAS SOUS 1801061 HAS SOUPS 626881 WITH SCORE 660152.857
AT ITER 6379 NEW BEST:: SOT 38212645 SOS 33271057 HAS SOPS 15975037 HAS SOUS 1800761 HAS SOUPS 626581 WITH SCORE 659852.057
AT ITER 6383 NEW BEST:: SOT 38210957 SOS 33275136 HAS SOPS 15975282 HAS SOUS 1799815 HAS SOUPS 625635 WITH SCORE 658910.1359999999
AT ITER 6417 NEW BEST:: SOT 38210765 SOS 33274752 HAS SOPS 15976626 HAS SOUS 1799431 HAS SOUPS 625443 WITH SCORE 658717.752
AT ITER 6443 NEW BEST:: SOT 38210765 SOS 33274752 HAS SOPS 15976626 HAS SOUS 1799315 HAS SOUPS 625327 WITH SCORE 658601.752
AT ITER 6464 NEW BEST:: SOT 38209151 SOS 33278664 HAS SOPS 15975030 HAS SOUS 1798412 HAS SOUPS 624220 WITH SCORE 657498.664
AT ITER 6500 NEW BEST:: SOT 38209151 SOS 33278664 HAS SOPS 15975030 HAS SOUS 1798392 HAS SOUPS 624200 WITH SCORE 657478.664
AT ITER 6518 NEW BEST:: SOT 38208700 SOS 33277762 HAS SOPS 15974128 HAS SOUS 1798243 HAS SOUPS 624051 WITH SCORE 657328.762
AT ITER 6529 NEW BEST:: SOT 38208700 SOS 33277762 HAS SOPS 15974128 HAS SOUS 1798189 HAS SOUPS 623997 WITH SCORE 657274.762
AT ITER 6540 NEW BEST:: SOT 38208007 SOS 33275256 HAS SOPS 15973638 HAS SOUS 1797935 HAS SOUPS 623967 WITH SCORE 657242.256
AT ITER 6586 NEW BEST:: SOT 38207362 SOS 33291830 HAS SOPS 15982904 HAS SOUS 1797789 HAS SOUPS 623821 WITH SCORE 657112.83
AT ITER 6611 NEW BEST:: SOT 38207362 SOS 33291610 HAS SOPS 15983080 HAS SOUS 1797745 HAS SOUPS 623821 WITH SCORE 657112.61
AT ITER 6639 NEW BEST:: SOT 38207362 SOS 33291610 HAS SOPS 15983080 HAS SOUS 1797683 HAS SOUPS 623759 WITH SCORE 657050.61
AT ITER 6650 NEW BEST:: SOT 38207362 SOS 33291610 HAS SOPS 15983080 HAS SOUS 1797583 HAS SOUPS 623659 WITH SCORE 656950.61
AT ITER 6656 NEW BEST:: SOT 38206802 SOS 33293402 HAS SOPS 15982856 HAS SOUS 1797023 HAS SOUPS 623099 WITH SCORE 656392.402
AT ITER 6675 NEW BEST:: SOT 38206673 SOS 33291983 HAS SOPS 15982598 HAS SOUS 1796755 HAS SOUPS 622960 WITH SCORE 656251.983
AT ITER 6686 NEW BEST:: SOT 38206145 SOS 33290267 HAS SOPS 15980882 HAS SOUS 1796491 HAS SOUPS 622696 WITH SCORE 655986.267
AT ITER 6771 NEW BEST:: SOT 38205658 SOS 33287061 HAS SOPS 15980205 HAS SOUS 1795504 HAS SOUPS 621990 WITH SCORE 655277.061
AT ITER 6789 NEW BEST:: SOT 38205646 SOS 33287037 HAS SOPS 15980181 HAS SOUS 1795492 HAS SOUPS 621978 WITH SCORE 655265.037
AT ITER 6802 NEW BEST:: SOT 38205331 SOS 33286407 HAS SOPS 15982773 HAS SOUS 1794757 HAS SOUPS 621601 WITH SCORE 654887.407
AT ITER 6841 NEW BEST:: SOT 38205301 SOS 33286482 HAS SOPS 15982848 HAS SOUS 1794712 HAS SOUPS 621556 WITH SCORE 654842.482
AT ITER 6871 NEW BEST:: SOT 38205064 SOS 33283380 HAS SOPS 15983409 HAS SOUS 1793915 HAS SOUPS 621166 WITH SCORE 654449.38
AT ITER 6880 NEW BEST:: SOT 38204654 SOS 33281957 HAS SOPS 15984758 HAS SOUS 1793017 HAS SOUPS 620576 WITH SCORE 653857.957
AT ITER 6899 NEW BEST:: SOT 38203983 SOS 33280615 HAS SOPS 15983416 HAS SOUS 1791566 HAS SOUPS 619125 WITH SCORE 652405.615
AT ITER 6904 NEW BEST:: SOT 38203739 SOS 33280127 HAS SOPS 15982928 HAS SOUS 1791347 HAS SOUPS 618906 WITH SCORE 652186.127
AT ITER 6916 NEW BEST:: SOT 38203669 SOS 33279069 HAS SOPS 15981870 HAS SOUS 1791073 HAS SOUPS 618632 WITH SCORE 651911.069
AT ITER 6921 NEW BEST:: SOT 38203669 SOS 33278943 HAS SOPS 15981870 HAS SOUS 1791059 HAS SOUPS 618632 WITH SCORE 651910.943
AT ITER 6922 NEW BEST:: SOT 38203638 SOS 33278881 HAS SOPS 15981808 HAS SOUS 1791028 HAS SOUPS 618601 WITH SCORE 651879.881
AT ITER 6941 NEW BEST:: SOT 38203570 SOS 33278745 HAS SOPS 15981672 HAS SOUS 1790948 HAS SOUPS 618521 WITH SCORE 651799.745
AT ITER 6943 NEW BEST:: SOT 38203226 SOS 33278556 HAS SOPS 15981483 HAS SOUS 1790755 HAS SOUPS 618328 WITH SCORE 651606.556
AT ITER 6947 NEW BEST:: SOT 38202554 SOS 33326462 HAS SOPS 15998023 HAS SOUS 1790357 HAS SOUPS 617930 WITH SCORE 651256.462
AT ITER 6962 NEW BEST:: SOT 38202197 SOS 33329437 HAS SOPS 15997785 HAS SOUS 1790119 HAS SOUPS 617573 WITH SCORE 650902.437
AT ITER 7009 NEW BEST:: SOT 38202197 SOS 33329320 HAS SOPS 15997785 HAS SOUS 1790106 HAS SOUPS 617573 WITH SCORE 650902.32
AT ITER 7063 NEW BEST:: SOT 38202173 SOS 33329212 HAS SOPS 15997785 HAS SOUS 1790094 HAS SOUPS 617573 WITH SCORE 650902.212
AT ITER 7083 NEW BEST:: SOT 38202078 SOS 33329022 HAS SOPS 15997595 HAS SOUS 1789999 HAS SOUPS 617478 WITH SCORE 650807.022
AT ITER 7118 NEW BEST:: SOT 38202078 SOS 33329022 HAS SOPS 15997595 HAS SOUS 1789831 HAS SOUPS 617310 WITH SCORE 650639.022
AT ITER 7127 NEW BEST:: SOT 38202326 SOS 33328830 HAS SOPS 15997403 HAS SOUS 1789746 HAS SOUPS 617225 WITH SCORE 650553.83
AT ITER 7176 NEW BEST:: SOT 38202333 SOS 33328536 HAS SOPS 15997298 HAS SOUS 1789739 HAS SOUPS 617225 WITH SCORE 650553.536
AT ITER 7183 NEW BEST:: SOT 38202333 SOS 33328536 HAS SOPS 15997298 HAS SOUS 1789581 HAS SOUPS 617067 WITH SCORE 650395.536
AT ITER 7197 NEW BEST:: SOT 38202253 SOS 33328456 HAS SOPS 15997218 HAS SOUS 1789501 HAS SOUPS 616987 WITH SCORE 650315.456
AT ITER 7211 NEW BEST:: SOT 38201969 SOS 33330732 HAS SOPS 15996650 HAS SOUS 1789429 HAS SOUPS 616599 WITH SCORE 649929.732
AT ITER 7212 NEW BEST:: SOT 38201238 SOS 33328580 HAS SOPS 15994498 HAS SOUS 1788974 HAS SOUPS 616144 WITH SCORE 649472.58
AT ITER 7219 NEW BEST:: SOT 38201222 SOS 33328548 HAS SOPS 15994466 HAS SOUS 1788942 HAS SOUPS 616112 WITH SCORE 649440.548
AT ITER 7237 NEW BEST:: SOT 38192075 SOS 33312224 HAS SOPS 15988867 HAS SOUS 1787987 HAS SOUPS 615816 WITH SCORE 649128.224
AT ITER 7251 NEW BEST:: SOT 38192039 SOS 33312152 HAS SOPS 15988795 HAS SOUS 1787951 HAS SOUPS 615780 WITH SCORE 649092.152
AT ITER 7266 NEW BEST:: SOT 38189949 SOS 33322810 HAS SOPS 15993243 HAS SOUS 1786444 HAS SOUPS 614273 WITH SCORE 647595.81
AT ITER 7270 NEW BEST:: SOT 38189803 SOS 33324970 HAS SOPS 15993432 HAS SOUS 1786465 HAS SOUPS 614221 WITH SCORE 647545.97
AT ITER 7299 NEW BEST:: SOT 38189597 SOS 33324558 HAS SOPS 15993020 HAS SOUS 1786076 HAS SOUPS 613832 WITH SCORE 647156.558
AT ITER 7309 NEW BEST:: SOT 38189597 SOS 33324558 HAS SOPS 15993020 HAS SOUS 1785900 HAS SOUPS 613656 WITH SCORE 646980.558
AT ITER 7353 NEW BEST:: SOT 38189597 SOS 33324558 HAS SOPS 15993020 HAS SOUS 1785686 HAS SOUPS 613442 WITH SCORE 646766.558
AT ITER 7381 NEW BEST:: SOT 38189597 SOS 33324558 HAS SOPS 15993551 HAS SOUS 1785626 HAS SOUPS 613441 WITH SCORE 646765.558
AT ITER 7386 NEW BEST:: SOT 38189108 SOS 33323580 HAS SOPS 15992573 HAS SOUS 1784848 HAS SOUPS 612663 WITH SCORE 645986.58
AT ITER 7387 NEW BEST:: SOT 38187972 SOS 33325239 HAS SOPS 15991604 HAS SOUS 1784035 HAS SOUPS 611850 WITH SCORE 645175.2390000001
AT ITER 7411 NEW BEST:: SOT 38187972 SOS 33325239 HAS SOPS 15991604 HAS SOUS 1783989 HAS SOUPS 611804 WITH SCORE 645129.2390000001
AT ITER 7421 NEW BEST:: SOT 38187972 SOS 33325239 HAS SOPS 15991604 HAS SOUS 1783897 HAS SOUPS 611712 WITH SCORE 645037.2390000001
AT ITER 7438 NEW BEST:: SOT 38184361 SOS 33318773 HAS SOPS 15989297 HAS SOUS 1783792 HAS SOUPS 611717 WITH SCORE 645035.773
AT ITER 7454 NEW BEST:: SOT 38184361 SOS 33318773 HAS SOPS 15989297 HAS SOUS 1783572 HAS SOUPS 611497 WITH SCORE 644815.773
AT ITER 7478 NEW BEST:: SOT 38184361 SOS 33318773 HAS SOPS 15989297 HAS SOUS 1783438 HAS SOUPS 611363 WITH SCORE 644681.773
AT ITER 7545 NEW BEST:: SOT 38184347 SOS 33318797 HAS SOPS 15989285 HAS SOUS 1783432 HAS SOUPS 611357 WITH SCORE 644675.797
AT ITER 7552 NEW BEST:: SOT 38184347 SOS 33318797 HAS SOPS 15989285 HAS SOUS 1783429 HAS SOUPS 611355 WITH SCORE 644673.797
AT ITER 7584 NEW BEST:: SOT 38184247 SOS 33318597 HAS SOPS 15989085 HAS SOUS 1783329 HAS SOUPS 611255 WITH SCORE 644573.597
AT ITER 7595 NEW BEST:: SOT 38183551 SOS 33316045 HAS SOPS 15988621 HAS SOUS 1782865 HAS SOUPS 611023 WITH SCORE 644339.045
AT ITER 7598 NEW BEST:: SOT 38183551 SOS 33316045 HAS SOPS 15988621 HAS SOUS 1782851 HAS SOUPS 611009 WITH SCORE 644325.045
AT ITER 7664 NEW BEST:: SOT 38183551 SOS 33316045 HAS SOPS 15988621 HAS SOUS 1782811 HAS SOUPS 610969 WITH SCORE 644285.045
AT ITER 7673 NEW BEST:: SOT 38182904 SOS 33323855 HAS SOPS 15992633 HAS SOUS 1782375 HAS SOUPS 610533 WITH SCORE 643856.855
AT ITER 7681 NEW BEST:: SOT 38182904 SOS 33323855 HAS SOPS 15992633 HAS SOUS 1782287 HAS SOUPS 610445 WITH SCORE 643768.855
AT ITER 7705 NEW BEST:: SOT 38182669 SOS 33325231 HAS SOPS 15992731 HAS SOUS 1782171 HAS SOUPS 610329 WITH SCORE 643654.231
AT ITER 7714 NEW BEST:: SOT 38179772 SOS 33337245 HAS SOPS 15994485 HAS SOUS 1779863 HAS SOUPS 608021 WITH SCORE 641358.245
AT ITER 7745 NEW BEST:: SOT 38178900 SOS 33334596 HAS SOPS 15993465 HAS SOUS 1779172 HAS SOUPS 607511 WITH SCORE 640845.596
AT ITER 7775 NEW BEST:: SOT 38178473 SOS 33333742 HAS SOPS 15992611 HAS SOUS 1778724 HAS SOUPS 607063 WITH SCORE 640396.742
AT ITER 7784 NEW BEST:: SOT 38178373 SOS 33333417 HAS SOPS 15992511 HAS SOUS 1778649 HAS SOUPS 607013 WITH SCORE 640346.417
AT ITER 7859 NEW BEST:: SOT 38178373 SOS 33333417 HAS SOPS 15992511 HAS SOUS 1778481 HAS SOUPS 606845 WITH SCORE 640178.417
AT ITER 7861 NEW BEST:: SOT 38178055 SOS 33332516 HAS SOPS 15992087 HAS SOUS 1778216 HAS SOUPS 606633 WITH SCORE 639965.5160000001
AT ITER 7896 NEW BEST:: SOT 38178043 SOS 33332492 HAS SOPS 15992063 HAS SOUS 1778204 HAS SOUPS 606621 WITH SCORE 639953.492
AT ITER 7907 NEW BEST:: SOT 38176665 SOS 33350510 HAS SOPS 15999101 HAS SOUS 1778138 HAS SOUPS 606555 WITH SCORE 639905.51
AT ITER 7921 NEW BEST:: SOT 38176665 SOS 33350510 HAS SOPS 15999101 HAS SOUS 1777940 HAS SOUPS 606357 WITH SCORE 639707.51
AT ITER 7941 NEW BEST:: SOT 38176666 SOS 33348424 HAS SOPS 15999139 HAS SOUS 1777906 HAS SOUPS 606341 WITH SCORE 639689.424
AT ITER 7948 NEW BEST:: SOT 38176666 SOS 33348424 HAS SOPS 15999139 HAS SOUS 1777724 HAS SOUPS 606159 WITH SCORE 639507.424
AT ITER 7998 NEW BEST:: SOT 38176666 SOS 33348424 HAS SOPS 15999139 HAS SOUS 1777624 HAS SOUPS 606059 WITH SCORE 639407.424
AT ITER 8024 NEW BEST:: SOT 38176308 SOS 33347654 HAS SOPS 16000988 HAS SOUS 1776877 HAS SOUPS 605603 WITH SCORE 638950.654
AT ITER 8030 NEW BEST:: SOT 38172476 SOS 33341458 HAS SOPS 15996348 HAS SOUS 1777029 HAS SOUPS 605537 WITH SCORE 638878.458
AT ITER 8031 NEW BEST:: SOT 38172140 SOS 33340076 HAS SOPS 15996244 HAS SOUS 1776775 HAS SOUPS 605425 WITH SCORE 638765.076
AT ITER 8053 NEW BEST:: SOT 38172140 SOS 33340076 HAS SOPS 15996244 HAS SOUS 1776563 HAS SOUPS 605213 WITH SCORE 638553.076
AT ITER 8092 NEW BEST:: SOT 38172140 SOS 33340076 HAS SOPS 15996244 HAS SOUS 1776560 HAS SOUPS 605211 WITH SCORE 638551.076
AT ITER 8094 NEW BEST:: SOT 38171682 SOS 33338989 HAS SOPS 15998379 HAS SOUS 1775744 HAS SOUPS 604753 WITH SCORE 638091.9890000001
AT ITER 8131 NEW BEST:: SOT 38171994 SOS 33342933 HAS SOPS 15998588 HAS SOUS 1775788 HAS SOUPS 604382 WITH SCORE 637724.933
AT ITER 8181 NEW BEST:: SOT 38171994 SOS 33342933 HAS SOPS 15998588 HAS SOUS 1775778 HAS SOUPS 604372 WITH SCORE 637714.933
AT ITER 8211 NEW BEST:: SOT 38171994 SOS 33342933 HAS SOPS 15998588 HAS SOUS 1775772 HAS SOUPS 604366 WITH SCORE 637708.933
AT ITER 8223 NEW BEST:: SOT 38171994 SOS 33342933 HAS SOPS 15998588 HAS SOUS 1775342 HAS SOUPS 603936 WITH SCORE 637278.933
AT ITER 8230 NEW BEST:: SOT 38171671 SOS 33347030 HAS SOPS 15998554 HAS SOUS 1775104 HAS SOUPS 603545 WITH SCORE 636892.03
AT ITER 8255 NEW BEST:: SOT 38171431 SOS 33347350 HAS SOPS 15998874 HAS SOUS 1774864 HAS SOUPS 603305 WITH SCORE 636652.35
AT ITER 8267 NEW BEST:: SOT 38171431 SOS 33347350 HAS SOPS 15998874 HAS SOUS 1774684 HAS SOUPS 603125 WITH SCORE 636472.35
AT ITER 8280 NEW BEST:: SOT 38171431 SOS 33347350 HAS SOPS 15998874 HAS SOUS 1774683 HAS SOUPS 603124 WITH SCORE 636471.35
AT ITER 8294 NEW BEST:: SOT 38171377 SOS 33347406 HAS SOPS 15998930 HAS SOUS 1774670 HAS SOUPS 603111 WITH SCORE 636458.406
AT ITER 8300 NEW BEST:: SOT 38171316 SOS 33346663 HAS SOPS 15998808 HAS SOUS 1774510 HAS SOUPS 603020 WITH SCORE 636366.663
AT ITER 8310 NEW BEST:: SOT 38171316 SOS 33346663 HAS SOPS 15998808 HAS SOUS 1774470 HAS SOUPS 602980 WITH SCORE 636326.663
AT ITER 8400 NEW BEST:: SOT 38171316 SOS 33346663 HAS SOPS 15998808 HAS SOUS 1774250 HAS SOUPS 602760 WITH SCORE 636106.663
AT ITER 8438 NEW BEST:: SOT 38171279 SOS 33346589 HAS SOPS 15998734 HAS SOUS 1774176 HAS SOUPS 602686 WITH SCORE 636032.589
AT ITER 8440 NEW BEST:: SOT 38171279 SOS 33346589 HAS SOPS 15998734 HAS SOUS 1774173 HAS SOUPS 602683 WITH SCORE 636029.589
AT ITER 8445 NEW BEST:: SOT 38171063 SOS 33345977 HAS SOPS 15998122 HAS SOUS 1774065 HAS SOUPS 602575 WITH SCORE 635920.977
AT ITER 8476 NEW BEST:: SOT 38170846 SOS 33298833 HAS SOPS 16004486 HAS SOUS 1773954 HAS SOUPS 602464 WITH SCORE 635762.833
AT ITER 8487 NEW BEST:: SOT 38170846 SOS 33298833 HAS SOPS 16005566 HAS SOUS 1773714 HAS SOUPS 602344 WITH SCORE 635642.833
AT ITER 8490 NEW BEST:: SOT 38169568 SOS 33297293 HAS SOPS 16004026 HAS SOUS 1773412 HAS SOUPS 602042 WITH SCORE 635339.293
AT ITER 8520 NEW BEST:: SOT 38169568 SOS 33296901 HAS SOPS 16003634 HAS SOUS 1773314 HAS SOUPS 601944 WITH SCORE 635240.901
AT ITER 8527 NEW BEST:: SOT 38169568 SOS 33296901 HAS SOPS 16003634 HAS SOUS 1773302 HAS SOUPS 601932 WITH SCORE 635228.901
AT ITER 8538 NEW BEST:: SOT 38169562 SOS 33296889 HAS SOPS 16003622 HAS SOUS 1773296 HAS SOUPS 601926 WITH SCORE 635222.889
AT ITER 8546 NEW BEST:: SOT 38169562 SOS 33296889 HAS SOPS 16003622 HAS SOUS 1773076 HAS SOUPS 601706 WITH SCORE 635002.889
AT ITER 8568 NEW BEST:: SOT 38169484 SOS 33296445 HAS SOPS 16003880 HAS SOUS 1772994 HAS SOUPS 601702 WITH SCORE 634998.445
AT ITER 8595 NEW BEST:: SOT 38168791 SOS 33304754 HAS SOPS 16007203 HAS SOUS 1772578 HAS SOUPS 601286 WITH SCORE 634590.754
AT ITER 8609 NEW BEST:: SOT 38167669 SOS 33300620 HAS SOPS 16006471 HAS SOUS 1771887 HAS SOUPS 600973 WITH SCORE 634273.62
AT ITER 8744 NEW BEST:: SOT 38167669 SOS 33300359 HAS SOPS 16006471 HAS SOUS 1771858 HAS SOUPS 600973 WITH SCORE 634273.359
AT ITER 8746 NEW BEST:: SOT 38167091 SOS 33353763 HAS SOPS 16005811 HAS SOUS 1771464 HAS SOUPS 600579 WITH SCORE 633932.763
AT ITER 8758 NEW BEST:: SOT 38166899 SOS 33354211 HAS SOPS 16005683 HAS SOUS 1771432 HAS SOUPS 600547 WITH SCORE 633901.211
AT ITER 8770 NEW BEST:: SOT 38166215 SOS 33379405 HAS SOPS 16018451 HAS SOUS 1771179 HAS SOUPS 600294 WITH SCORE 633673.405
AT ITER 8802 NEW BEST:: SOT 38166215 SOS 33379405 HAS SOPS 16018451 HAS SOUS 1771155 HAS SOUPS 600270 WITH SCORE 633649.405
AT ITER 8820 NEW BEST:: SOT 38166215 SOS 33379405 HAS SOPS 16018451 HAS SOUS 1770935 HAS SOUPS 600050 WITH SCORE 633429.405
AT ITER 8827 NEW BEST:: SOT 38164692 SOS 33389931 HAS SOPS 16018285 HAS SOUS 1770716 HAS SOUPS 599435 WITH SCORE 632824.931
AT ITER 8843 NEW BEST:: SOT 38164692 SOS 33389931 HAS SOPS 16018285 HAS SOUS 1770666 HAS SOUPS 599385 WITH SCORE 632774.931
AT ITER 8858 NEW BEST:: SOT 38164692 SOS 33387291 HAS SOPS 16016725 HAS SOUS 1770606 HAS SOUPS 599325 WITH SCORE 632712.291
AT ITER 8874 NEW BEST:: SOT 38164591 SOS 33375272 HAS SOPS 16016624 HAS SOUS 1770447 HAS SOUPS 599267 WITH SCORE 632642.272
AT ITER 8882 NEW BEST:: SOT 38164591 SOS 33374561 HAS SOPS 16015913 HAS SOUS 1770447 HAS SOUPS 599267 WITH SCORE 632641.561
AT ITER 8903 NEW BEST:: SOT 38164652 SOS 33372181 HAS SOPS 16017151 HAS SOUS 1770021 HAS SOUPS 599243 WITH SCORE 632615.181
AT ITER 8907 NEW BEST:: SOT 38164652 SOS 33372181 HAS SOPS 16017151 HAS SOUS 1769801 HAS SOUPS 599023 WITH SCORE 632395.181
AT ITER 8909 NEW BEST:: SOT 38164652 SOS 33372181 HAS SOPS 16017151 HAS SOUS 1769697 HAS SOUPS 598919 WITH SCORE 632291.181
AT ITER 8977 NEW BEST:: SOT 38164652 SOS 33372181 HAS SOPS 16017151 HAS SOUS 1769539 HAS SOUPS 598761 WITH SCORE 632133.181
AT ITER 9060 NEW BEST:: SOT 38164667 SOS 33364555 HAS SOPS 16017283 HAS SOUS 1769476 HAS SOUPS 598749 WITH SCORE 632113.555
AT ITER 9068 NEW BEST:: SOT 38164667 SOS 33364555 HAS SOPS 16017283 HAS SOUS 1769256 HAS SOUPS 598529 WITH SCORE 631893.555
AT ITER 9094 NEW BEST:: SOT 38164149 SOS 33361197 HAS SOPS 16016256 HAS SOUS 1768219 HAS SOUPS 597751 WITH SCORE 631112.197
AT ITER 9108 NEW BEST:: SOT 38162774 SOS 33355787 HAS SOPS 16010846 HAS SOUS 1767767 HAS SOUPS 597299 WITH SCORE 630654.787
AT ITER 9135 NEW BEST:: SOT 38163978 SOS 33358008 HAS SOPS 16011598 HAS SOUS 1767728 HAS SOUPS 597260 WITH SCORE 630618.008
AT ITER 9157 NEW BEST:: SOT 38161628 SOS 33378526 HAS SOPS 16020614 HAS SOUS 1767535 HAS SOUPS 597067 WITH SCORE 630445.526
AT ITER 9201 NEW BEST:: SOT 38161126 SOS 33376877 HAS SOPS 16020126 HAS SOUS 1767272 HAS SOUPS 596933 WITH SCORE 630309.877
AT ITER 9218 NEW BEST:: SOT 38161126 SOS 33376877 HAS SOPS 16020126 HAS SOUS 1767052 HAS SOUPS 596713 WITH SCORE 630089.877
AT ITER 9271 NEW BEST:: SOT 38160828 SOS 33377109 HAS SOPS 16020358 HAS SOUS 1766846 HAS SOUPS 596507 WITH SCORE 629884.109
AT ITER 9297 NEW BEST:: SOT 38158999 SOS 33373262 HAS SOPS 16016511 HAS SOUS 1766658 HAS SOUPS 596319 WITH SCORE 629692.262
AT ITER 9318 NEW BEST:: SOT 38158999 SOS 33373262 HAS SOPS 16016511 HAS SOUS 1766438 HAS SOUPS 596099 WITH SCORE 629472.262
AT ITER 9348 NEW BEST:: SOT 38158912 SOS 33370874 HAS SOPS 16016337 HAS SOUS 1766018 HAS SOUPS 595925 WITH SCORE 629295.874
AT ITER 9417 NEW BEST:: SOT 38157014 SOS 33393339 HAS SOPS 16026634 HAS SOUS 1765296 HAS SOUPS 595203 WITH SCORE 628596.339
AT ITER 9423 NEW BEST:: SOT 38156737 SOS 33392420 HAS SOPS 16025715 HAS SOUS 1765184 HAS SOUPS 595091 WITH SCORE 628483.42
AT ITER 9425 NEW BEST:: SOT 38156703 SOS 33391911 HAS SOPS 16025647 HAS SOUS 1765052 HAS SOUPS 595008 WITH SCORE 628399.911
AT ITER 9486 NEW BEST:: SOT 38156443 SOS 33395195 HAS SOPS 16026609 HAS SOUS 1764920 HAS SOUPS 594876 WITH SCORE 628271.195
AT ITER 9498 NEW BEST:: SOT 38156443 SOS 33395177 HAS SOPS 16026591 HAS SOUS 1764920 HAS SOUPS 594876 WITH SCORE 628271.177
AT ITER 9534 NEW BEST:: SOT 38156443 SOS 33396797 HAS SOPS 16026591 HAS SOUS 1765061 HAS SOUPS 594837 WITH SCORE 628233.797
AT ITER 9557 NEW BEST:: SOT 38156266 SOS 33396443 HAS SOPS 16026237 HAS SOUS 1764880 HAS SOUPS 594656 WITH SCORE 628052.443
AT ITER 9570 NEW BEST:: SOT 38154563 SOS 33401422 HAS SOPS 16023359 HAS SOUS 1763785 HAS SOUPS 593270 WITH SCORE 626671.422
AT ITER 9583 NEW BEST:: SOT 38154563 SOS 33401422 HAS SOPS 16023359 HAS SOUS 1763733 HAS SOUPS 593218 WITH SCORE 626619.422
AT ITER 9586 NEW BEST:: SOT 38139394 SOS 33386912 HAS SOPS 16016500 HAS SOUS 1763836 HAS SOUPS 593144 WITH SCORE 626530.912
AT ITER 9592 NEW BEST:: SOT 38139394 SOS 33386912 HAS SOPS 16016500 HAS SOUS 1763652 HAS SOUPS 592960 WITH SCORE 626346.912
AT ITER 9600 NEW BEST:: SOT 38139204 SOS 33381393 HAS SOPS 16016120 HAS SOUS 1762102 HAS SOUPS 591981 WITH SCORE 625362.393
AT ITER 9616 NEW BEST:: SOT 38139204 SOS 33381393 HAS SOPS 16016120 HAS SOUS 1761976 HAS SOUPS 591855 WITH SCORE 625236.393
AT ITER 9665 NEW BEST:: SOT 38139204 SOS 33381393 HAS SOPS 16016120 HAS SOUS 1761952 HAS SOUPS 591831 WITH SCORE 625212.393
AT ITER 9677 NEW BEST:: SOT 38138734 SOS 33379983 HAS SOPS 16015556 HAS SOUS 1761672 HAS SOUPS 591645 WITH SCORE 625024.983
AT ITER 9707 NEW BEST:: SOT 38138502 SOS 33379519 HAS SOPS 16015092 HAS SOUS 1761440 HAS SOUPS 591413 WITH SCORE 624792.519
AT ITER 9745 NEW BEST:: SOT 38138386 SOS 33379052 HAS SOPS 16014625 HAS SOUS 1761366 HAS SOUPS 591339 WITH SCORE 624718.052
AT ITER 9771 NEW BEST:: SOT 38138386 SOS 33379052 HAS SOPS 16014625 HAS SOUS 1761360 HAS SOUPS 591333 WITH SCORE 624712.052
AT ITER 9807 NEW BEST:: SOT 38137555 SOS 33389578 HAS SOPS 16020165 HAS SOUS 1760806 HAS SOUPS 590779 WITH SCORE 624168.578
AT ITER 9815 NEW BEST:: SOT 38136833 SOS 33397064 HAS SOPS 16021630 HAS SOUS 1760942 HAS SOUPS 590692 WITH SCORE 624089.064
AT ITER 9834 NEW BEST:: SOT 38136623 SOS 33394539 HAS SOPS 16022894 HAS SOUS 1760399 HAS SOUPS 590570 WITH SCORE 623964.539
AT ITER 9839 NEW BEST:: SOT 38136577 SOS 33394996 HAS SOPS 16022550 HAS SOUS 1760442 HAS SOUPS 590524 WITH SCORE 623918.996
AT ITER 9861 NEW BEST:: SOT 38135137 SOS 33390916 HAS SOPS 16020630 HAS SOUS 1759452 HAS SOUPS 589774 WITH SCORE 623164.916
AT ITER 9917 NEW BEST:: SOT 38134902 SOS 33391903 HAS SOPS 16020348 HAS SOUS 1759264 HAS SOUPS 589539 WITH SCORE 622930.903
AT ITER 9926 NEW BEST:: SOT 38134902 SOS 33391903 HAS SOPS 16020348 HAS SOUS 1759254 HAS SOUPS 589529 WITH SCORE 622920.903
AT ITER 9955 NEW BEST:: SOT 38134492 SOS 33389753 HAS SOPS 16020592 HAS SOUS 1758578 HAS SOUPS 589119 WITH SCORE 622508.753
AT ITER 9983 NEW BEST:: SOT 38134492 SOS 33389753 HAS SOPS 16020592 HAS SOUS 1758562 HAS SOUPS 589103 WITH SCORE 622492.753
AT ITER 9992 NEW BEST:: SOT 38134890 SOS 33373716 HAS SOPS 16012763 HAS SOUS 1758231 HAS SOUPS 588772 WITH SCORE 622145.716
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6423260 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16094324 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r107-tall-167814484400592"
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 ;