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-167814483700032.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 CloudReconfiguration-PT-304, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483700032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 9.5K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 660K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678314295962

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=CloudReconfiguration-PT-304
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-08 22:24:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-08 22:24:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 22:24:57] [INFO ] Load time of PNML (sax parser for PT used): 125 ms
[2023-03-08 22:24:57] [INFO ] Transformed 2584 places.
[2023-03-08 22:24:57] [INFO ] Transformed 3094 transitions.
[2023-03-08 22:24:57] [INFO ] Found NUPN structural information;
[2023-03-08 22:24:57] [INFO ] Parsed PT model containing 2584 places and 3094 transitions and 6459 arcs in 200 ms.
[2023-03-08 22:24:57] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2584 places, 3094 transitions and 6459 arcs took 26 ms.
Total runtime 255 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 304
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: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4439073 SOS 755786 HAS SOPS 755786 HAS SOUS 697225 HAS SOUPS 697225 WITH SCORE 697980.786
AT ITER 4 NEW BEST:: SOT 4439073 SOS 755752 HAS SOPS 755752 HAS SOUS 697191 HAS SOUPS 697191 WITH SCORE 697946.752
AT ITER 6 NEW BEST:: SOT 4437307 SOS 759808 HAS SOPS 759808 HAS SOUS 696424 HAS SOUPS 696424 WITH SCORE 697183.808
AT ITER 13 NEW BEST:: SOT 4437307 SOS 759808 HAS SOPS 759808 HAS SOUS 696249 HAS SOUPS 696249 WITH SCORE 697008.808
AT ITER 15 NEW BEST:: SOT 4437172 SOS 759672 HAS SOPS 759672 HAS SOUS 696113 HAS SOUPS 696113 WITH SCORE 696872.672
AT ITER 27 NEW BEST:: SOT 4436992 SOS 759312 HAS SOPS 759312 HAS SOUS 695753 HAS SOUPS 695753 WITH SCORE 696512.312
AT ITER 35 NEW BEST:: SOT 4436956 SOS 759240 HAS SOPS 759240 HAS SOUS 695529 HAS SOUPS 695529 WITH SCORE 696288.24
AT ITER 38 NEW BEST:: SOT 4435977 SOS 758492 HAS SOPS 758492 HAS SOUS 694591 HAS SOUPS 694591 WITH SCORE 695349.492
AT ITER 48 NEW BEST:: SOT 4435873 SOS 758284 HAS SOPS 758284 HAS SOUS 694383 HAS SOUPS 694383 WITH SCORE 695141.284
AT ITER 71 NEW BEST:: SOT 4435873 SOS 758284 HAS SOPS 758284 HAS SOUS 694362 HAS SOUPS 694362 WITH SCORE 695120.284
AT ITER 72 NEW BEST:: SOT 4428458 SOS 805000 HAS SOPS 805000 HAS SOUS 689964 HAS SOUPS 689964 WITH SCORE 690769.0
AT ITER 107 NEW BEST:: SOT 4428272 SOS 804929 HAS SOPS 804929 HAS SOUS 689843 HAS SOUPS 689843 WITH SCORE 690647.929
AT ITER 150 NEW BEST:: SOT 4427383 SOS 803753 HAS SOPS 803753 HAS SOUS 688693 HAS SOUPS 688693 WITH SCORE 689496.753
AT ITER 153 NEW BEST:: SOT 4427293 SOS 803573 HAS SOPS 803573 HAS SOUS 688363 HAS SOUPS 688363 WITH SCORE 689166.573
AT ITER 155 NEW BEST:: SOT 4427216 SOS 803419 HAS SOPS 803419 HAS SOUS 688209 HAS SOUPS 688209 WITH SCORE 689012.419
AT ITER 159 NEW BEST:: SOT 4427216 SOS 803419 HAS SOPS 803419 HAS SOUS 688204 HAS SOUPS 688204 WITH SCORE 689007.419
AT ITER 160 NEW BEST:: SOT 4427216 SOS 803399 HAS SOPS 803399 HAS SOUS 688184 HAS SOUPS 688184 WITH SCORE 688987.399
AT ITER 165 NEW BEST:: SOT 4427219 SOS 803505 HAS SOPS 803505 HAS SOUS 688139 HAS SOUPS 688139 WITH SCORE 688942.505
AT ITER 177 NEW BEST:: SOT 4427016 SOS 803099 HAS SOPS 803099 HAS SOUS 687811 HAS SOUPS 687811 WITH SCORE 688614.099
AT ITER 217 NEW BEST:: SOT 4427016 SOS 802995 HAS SOPS 802995 HAS SOUS 687811 HAS SOUPS 687811 WITH SCORE 688613.995
AT ITER 256 NEW BEST:: SOT 4427016 SOS 802747 HAS SOPS 802747 HAS SOUS 687563 HAS SOUPS 687563 WITH SCORE 688365.747
AT ITER 280 NEW BEST:: SOT 4426950 SOS 802615 HAS SOPS 802615 HAS SOUS 687431 HAS SOUPS 687431 WITH SCORE 688233.615
AT ITER 286 NEW BEST:: SOT 4426951 SOS 802156 HAS SOPS 802156 HAS SOUS 687123 HAS SOUPS 687123 WITH SCORE 687925.156
AT ITER 301 NEW BEST:: SOT 4426878 SOS 802147 HAS SOPS 802147 HAS SOUS 687062 HAS SOUPS 687062 WITH SCORE 687864.147
AT ITER 303 NEW BEST:: SOT 4427002 SOS 802395 HAS SOPS 802395 HAS SOUS 687049 HAS SOUPS 687049 WITH SCORE 687851.395
AT ITER 304 NEW BEST:: SOT 4427002 SOS 802203 HAS SOPS 802203 HAS SOUS 687048 HAS SOUPS 687048 WITH SCORE 687850.203
AT ITER 313 NEW BEST:: SOT 4426890 SOS 802091 HAS SOPS 802091 HAS SOUS 686824 HAS SOUPS 686824 WITH SCORE 687626.091
AT ITER 319 NEW BEST:: SOT 4426690 SOS 802033 HAS SOPS 802033 HAS SOUS 686647 HAS SOUPS 686647 WITH SCORE 687449.033
AT ITER 336 NEW BEST:: SOT 4425952 SOS 801712 HAS SOPS 801712 HAS SOUS 686140 HAS SOUPS 686140 WITH SCORE 686941.712
AT ITER 340 NEW BEST:: SOT 4425798 SOS 801836 HAS SOPS 801836 HAS SOUS 686081 HAS SOUPS 686081 WITH SCORE 686882.836
AT ITER 341 NEW BEST:: SOT 4425773 SOS 801786 HAS SOPS 801786 HAS SOUS 686056 HAS SOUPS 686056 WITH SCORE 686857.786
AT ITER 354 NEW BEST:: SOT 4425772 SOS 801711 HAS SOPS 801711 HAS SOUS 686054 HAS SOUPS 686054 WITH SCORE 686855.711
AT ITER 356 NEW BEST:: SOT 4425772 SOS 801459 HAS SOPS 801459 HAS SOUS 686054 HAS SOUPS 686054 WITH SCORE 686855.459
AT ITER 382 NEW BEST:: SOT 4425831 SOS 801577 HAS SOPS 801577 HAS SOUS 686024 HAS SOUPS 686024 WITH SCORE 686825.577
AT ITER 394 NEW BEST:: SOT 4424099 SOS 801933 HAS SOPS 801933 HAS SOUS 683982 HAS SOUPS 683982 WITH SCORE 684783.933
AT ITER 395 NEW BEST:: SOT 4424029 SOS 801793 HAS SOPS 801793 HAS SOUS 683842 HAS SOUPS 683842 WITH SCORE 684643.793
AT ITER 396 NEW BEST:: SOT 4423985 SOS 801510 HAS SOPS 801510 HAS SOUS 683603 HAS SOUPS 683603 WITH SCORE 684404.51
AT ITER 411 NEW BEST:: SOT 4423741 SOS 801878 HAS SOPS 801878 HAS SOUS 683573 HAS SOUPS 683573 WITH SCORE 684374.878
AT ITER 417 NEW BEST:: SOT 4423582 SOS 801026 HAS SOPS 801026 HAS SOUS 682920 HAS SOUPS 682920 WITH SCORE 683721.026
AT ITER 421 NEW BEST:: SOT 4423582 SOS 800626 HAS SOPS 800626 HAS SOUS 682720 HAS SOUPS 682720 WITH SCORE 683520.626
AT ITER 423 NEW BEST:: SOT 4423582 SOS 800420 HAS SOPS 800420 HAS SOUS 682720 HAS SOUPS 682720 WITH SCORE 683520.42
AT ITER 440 NEW BEST:: SOT 4423186 SOS 800200 HAS SOPS 800200 HAS SOUS 682375 HAS SOUPS 682375 WITH SCORE 683175.2
AT ITER 463 NEW BEST:: SOT 4422977 SOS 800200 HAS SOPS 800200 HAS SOUS 682166 HAS SOUPS 682166 WITH SCORE 682966.2
AT ITER 556 NEW BEST:: SOT 4422735 SOS 799716 HAS SOPS 799716 HAS SOUS 681682 HAS SOUPS 681682 WITH SCORE 682481.716
AT ITER 582 NEW BEST:: SOT 4422735 SOS 799610 HAS SOPS 799610 HAS SOUS 681576 HAS SOUPS 681576 WITH SCORE 682375.61
AT ITER 592 NEW BEST:: SOT 4422468 SOS 799076 HAS SOPS 799076 HAS SOUS 681416 HAS SOUPS 681416 WITH SCORE 682215.076
AT ITER 600 NEW BEST:: SOT 4422462 SOS 799064 HAS SOPS 799064 HAS SOUS 681404 HAS SOUPS 681404 WITH SCORE 682203.064
AT ITER 602 NEW BEST:: SOT 4422461 SOS 799062 HAS SOPS 799062 HAS SOUS 681402 HAS SOUPS 681402 WITH SCORE 682201.062
AT ITER 604 NEW BEST:: SOT 4422167 SOS 800150 HAS SOPS 800150 HAS SOUS 681108 HAS SOUPS 681108 WITH SCORE 681908.15
AT ITER 653 NEW BEST:: SOT 4422229 SOS 800274 HAS SOPS 800274 HAS SOUS 680874 HAS SOUPS 680874 WITH SCORE 681674.274
AT ITER 654 NEW BEST:: SOT 4422229 SOS 800089 HAS SOPS 800089 HAS SOUS 680873 HAS SOUPS 680873 WITH SCORE 681673.089
AT ITER 658 NEW BEST:: SOT 4422174 SOS 799979 HAS SOPS 799979 HAS SOUS 680763 HAS SOUPS 680763 WITH SCORE 681562.979
AT ITER 661 NEW BEST:: SOT 4422173 SOS 799977 HAS SOPS 799977 HAS SOUS 680761 HAS SOUPS 680761 WITH SCORE 681560.977
AT ITER 667 NEW BEST:: SOT 4422125 SOS 799929 HAS SOPS 799929 HAS SOUS 680713 HAS SOUPS 680713 WITH SCORE 681512.929
AT ITER 669 NEW BEST:: SOT 4421431 SOS 799477 HAS SOPS 799477 HAS SOUS 680143 HAS SOUPS 680143 WITH SCORE 680942.477
AT ITER 691 NEW BEST:: SOT 4421682 SOS 799979 HAS SOPS 799979 HAS SOUS 680135 HAS SOUPS 680135 WITH SCORE 680934.979
AT ITER 698 NEW BEST:: SOT 4421682 SOS 799713 HAS SOPS 799713 HAS SOUS 680002 HAS SOUPS 680002 WITH SCORE 680801.713
AT ITER 700 NEW BEST:: SOT 4420928 SOS 799270 HAS SOPS 799270 HAS SOUS 679461 HAS SOUPS 679461 WITH SCORE 680260.27
AT ITER 716 NEW BEST:: SOT 4420647 SOS 799524 HAS SOPS 799524 HAS SOUS 679384 HAS SOUPS 679384 WITH SCORE 680183.524
AT ITER 723 NEW BEST:: SOT 4419564 SOS 799878 HAS SOPS 799878 HAS SOUS 678545 HAS SOUPS 678545 WITH SCORE 679344.878
AT ITER 730 NEW BEST:: SOT 4419564 SOS 799830 HAS SOPS 799830 HAS SOUS 678497 HAS SOUPS 678497 WITH SCORE 679296.83
AT ITER 741 NEW BEST:: SOT 4419165 SOS 799468 HAS SOPS 799468 HAS SOUS 678315 HAS SOUPS 678315 WITH SCORE 679114.468
AT ITER 752 NEW BEST:: SOT 4419328 SOS 799361 HAS SOPS 799361 HAS SOUS 678298 HAS SOUPS 678298 WITH SCORE 679097.361
AT ITER 770 NEW BEST:: SOT 4419328 SOS 799361 HAS SOPS 799361 HAS SOUS 678078 HAS SOUPS 678078 WITH SCORE 678877.361
AT ITER 803 NEW BEST:: SOT 4419171 SOS 799295 HAS SOPS 799295 HAS SOUS 677943 HAS SOUPS 677943 WITH SCORE 678742.295
AT ITER 847 NEW BEST:: SOT 4417516 SOS 798511 HAS SOPS 798511 HAS SOUS 676468 HAS SOUPS 676468 WITH SCORE 677266.511
AT ITER 866 NEW BEST:: SOT 4417426 SOS 798714 HAS SOPS 798714 HAS SOUS 676353 HAS SOUPS 676353 WITH SCORE 677151.714
AT ITER 872 NEW BEST:: SOT 4417285 SOS 798432 HAS SOPS 798432 HAS SOUS 676071 HAS SOUPS 676071 WITH SCORE 676869.432
AT ITER 875 NEW BEST:: SOT 4412156 SOS 816095 HAS SOPS 816095 HAS SOUS 671085 HAS SOUPS 671085 WITH SCORE 671901.095
AT ITER 883 NEW BEST:: SOT 4412156 SOS 816095 HAS SOPS 816095 HAS SOUS 671032 HAS SOUPS 671032 WITH SCORE 671848.095
AT ITER 888 NEW BEST:: SOT 4412219 SOS 816221 HAS SOPS 816221 HAS SOUS 671012 HAS SOUPS 671012 WITH SCORE 671828.221
AT ITER 909 NEW BEST:: SOT 4412219 SOS 816129 HAS SOPS 816129 HAS SOUS 671012 HAS SOUPS 671012 WITH SCORE 671828.129
AT ITER 941 NEW BEST:: SOT 4412219 SOS 816129 HAS SOPS 816129 HAS SOUS 670866 HAS SOUPS 670866 WITH SCORE 671682.129
AT ITER 942 NEW BEST:: SOT 4412012 SOS 815922 HAS SOPS 815922 HAS SOUS 670659 HAS SOUPS 670659 WITH SCORE 671474.922
AT ITER 1032 NEW BEST:: SOT 4412012 SOS 815902 HAS SOPS 815902 HAS SOUS 670656 HAS SOUPS 670656 WITH SCORE 671471.902
AT ITER 1063 NEW BEST:: SOT 4412012 SOS 815828 HAS SOPS 815828 HAS SOUS 670655 HAS SOUPS 670655 WITH SCORE 671470.828
AT ITER 1177 NEW BEST:: SOT 4410760 SOS 819705 HAS SOPS 819705 HAS SOUS 670556 HAS SOUPS 670556 WITH SCORE 671375.705
AT ITER 1178 NEW BEST:: SOT 4405025 SOS 853628 HAS SOPS 853628 HAS SOUS 666949 HAS SOUPS 666949 WITH SCORE 667802.628
AT ITER 1192 NEW BEST:: SOT 4405025 SOS 853423 HAS SOPS 853423 HAS SOUS 666744 HAS SOUPS 666744 WITH SCORE 667597.423
AT ITER 1199 NEW BEST:: SOT 4404928 SOS 853090 HAS SOPS 853090 HAS SOUS 666546 HAS SOUPS 666546 WITH SCORE 667399.09
AT ITER 1216 NEW BEST:: SOT 4404928 SOS 852996 HAS SOPS 852996 HAS SOUS 666546 HAS SOUPS 666546 WITH SCORE 667398.996
AT ITER 1217 NEW BEST:: SOT 4404928 SOS 852668 HAS SOPS 852668 HAS SOUS 666546 HAS SOUPS 666546 WITH SCORE 667398.668
AT ITER 1250 NEW BEST:: SOT 4404736 SOS 852476 HAS SOPS 852476 HAS SOUS 666354 HAS SOUPS 666354 WITH SCORE 667206.476
AT ITER 1263 NEW BEST:: SOT 4404736 SOS 852304 HAS SOPS 852304 HAS SOUS 666354 HAS SOUPS 666354 WITH SCORE 667206.304
AT ITER 1264 NEW BEST:: SOT 4404699 SOS 852193 HAS SOPS 852193 HAS SOUS 666280 HAS SOUPS 666280 WITH SCORE 667132.193
AT ITER 1268 NEW BEST:: SOT 4404692 SOS 852179 HAS SOPS 852179 HAS SOUS 666266 HAS SOUPS 666266 WITH SCORE 667118.179
AT ITER 1286 NEW BEST:: SOT 4404692 SOS 852144 HAS SOPS 852144 HAS SOUS 666266 HAS SOUPS 666266 WITH SCORE 667118.144
AT ITER 1337 NEW BEST:: SOT 4404445 SOS 851948 HAS SOPS 851948 HAS SOUS 666019 HAS SOUPS 666019 WITH SCORE 666870.948
AT ITER 1451 NEW BEST:: SOT 4404556 SOS 851920 HAS SOPS 851920 HAS SOUS 665974 HAS SOUPS 665974 WITH SCORE 666825.92
AT ITER 1457 NEW BEST:: SOT 4404255 SOS 851730 HAS SOPS 851730 HAS SOUS 665731 HAS SOUPS 665731 WITH SCORE 666582.73
AT ITER 1465 NEW BEST:: SOT 4404206 SOS 851632 HAS SOPS 851632 HAS SOUS 665633 HAS SOUPS 665633 WITH SCORE 666484.632
AT ITER 1480 NEW BEST:: SOT 4404008 SOS 851236 HAS SOPS 851236 HAS SOUS 665237 HAS SOUPS 665237 WITH SCORE 666088.236
AT ITER 1540 NEW BEST:: SOT 4403834 SOS 851102 HAS SOPS 851102 HAS SOUS 665076 HAS SOUPS 665076 WITH SCORE 665927.102
AT ITER 1544 NEW BEST:: SOT 4403512 SOS 850458 HAS SOPS 850458 HAS SOUS 664432 HAS SOUPS 664432 WITH SCORE 665282.458
AT ITER 1549 NEW BEST:: SOT 4403372 SOS 850318 HAS SOPS 850318 HAS SOUS 664292 HAS SOUPS 664292 WITH SCORE 665142.318
AT ITER 1552 NEW BEST:: SOT 4403070 SOS 850508 HAS SOPS 850508 HAS SOUS 664023 HAS SOUPS 664023 WITH SCORE 664873.508
AT ITER 1558 NEW BEST:: SOT 4403069 SOS 849974 HAS SOPS 849974 HAS SOUS 664022 HAS SOUPS 664022 WITH SCORE 664871.974
AT ITER 1574 NEW BEST:: SOT 4401972 SOS 852295 HAS SOPS 852295 HAS SOUS 663847 HAS SOUPS 663847 WITH SCORE 664699.295
AT ITER 1597 NEW BEST:: SOT 4401972 SOS 852295 HAS SOPS 852295 HAS SOUS 663818 HAS SOUPS 663818 WITH SCORE 664670.295
AT ITER 1601 NEW BEST:: SOT 4401669 SOS 851970 HAS SOPS 851970 HAS SOUS 663309 HAS SOUPS 663309 WITH SCORE 664160.97
AT ITER 1615 NEW BEST:: SOT 4401648 SOS 851788 HAS SOPS 851788 HAS SOUS 663287 HAS SOUPS 663287 WITH SCORE 664138.788
AT ITER 1622 NEW BEST:: SOT 4400951 SOS 850803 HAS SOPS 850803 HAS SOUS 662246 HAS SOUPS 662246 WITH SCORE 663096.803
AT ITER 1630 NEW BEST:: SOT 4400851 SOS 850803 HAS SOPS 850803 HAS SOUS 662146 HAS SOUPS 662146 WITH SCORE 662996.803
AT ITER 1653 NEW BEST:: SOT 4400790 SOS 850681 HAS SOPS 850681 HAS SOUS 662024 HAS SOUPS 662024 WITH SCORE 662874.681
AT ITER 1669 NEW BEST:: SOT 4400535 SOS 850171 HAS SOPS 850171 HAS SOUS 661769 HAS SOUPS 661769 WITH SCORE 662619.171
AT ITER 1691 NEW BEST:: SOT 4400535 SOS 849905 HAS SOPS 849905 HAS SOUS 661768 HAS SOUPS 661768 WITH SCORE 662617.905
AT ITER 1729 NEW BEST:: SOT 4400440 SOS 849050 HAS SOPS 849050 HAS SOUS 661578 HAS SOUPS 661578 WITH SCORE 662427.05
AT ITER 1761 NEW BEST:: SOT 4400439 SOS 849048 HAS SOPS 849048 HAS SOUS 661576 HAS SOUPS 661576 WITH SCORE 662425.048
AT ITER 1828 NEW BEST:: SOT 4400439 SOS 849030 HAS SOPS 849030 HAS SOUS 661576 HAS SOUPS 661576 WITH SCORE 662425.03
AT ITER 1830 NEW BEST:: SOT 4400332 SOS 849028 HAS SOPS 849028 HAS SOUS 661574 HAS SOUPS 661574 WITH SCORE 662423.028
AT ITER 1852 NEW BEST:: SOT 4400331 SOS 849015 HAS SOPS 849015 HAS SOUS 661572 HAS SOUPS 661572 WITH SCORE 662421.015
AT ITER 1855 NEW BEST:: SOT 4400302 SOS 848957 HAS SOPS 848957 HAS SOUS 661514 HAS SOUPS 661514 WITH SCORE 662362.957
AT ITER 1856 NEW BEST:: SOT 4399883 SOS 848955 HAS SOPS 848955 HAS SOUS 661397 HAS SOUPS 661397 WITH SCORE 662245.955
AT ITER 1859 NEW BEST:: SOT 4399852 SOS 848893 HAS SOPS 848893 HAS SOUS 661334 HAS SOUPS 661334 WITH SCORE 662182.893
AT ITER 1873 NEW BEST:: SOT 4399858 SOS 848537 HAS SOPS 848537 HAS SOUS 661121 HAS SOUPS 661121 WITH SCORE 661969.537
AT ITER 1880 NEW BEST:: SOT 4399858 SOS 848456 HAS SOPS 848456 HAS SOUS 661067 HAS SOUPS 661067 WITH SCORE 661915.456
AT ITER 1889 NEW BEST:: SOT 4399602 SOS 846408 HAS SOPS 846408 HAS SOUS 660555 HAS SOUPS 660555 WITH SCORE 661401.408
AT ITER 1920 NEW BEST:: SOT 4399258 SOS 845720 HAS SOPS 845720 HAS SOUS 660253 HAS SOUPS 660253 WITH SCORE 661098.72
AT ITER 1929 NEW BEST:: SOT 4399190 SOS 845584 HAS SOPS 845584 HAS SOUS 660117 HAS SOUPS 660117 WITH SCORE 660962.584
AT ITER 1936 NEW BEST:: SOT 4399190 SOS 845208 HAS SOPS 845208 HAS SOUS 660108 HAS SOUPS 660108 WITH SCORE 660953.208
AT ITER 1948 NEW BEST:: SOT 4398834 SOS 845208 HAS SOPS 845208 HAS SOUS 659930 HAS SOUPS 659930 WITH SCORE 660775.208
AT ITER 1958 NEW BEST:: SOT 4398834 SOS 845208 HAS SOPS 845208 HAS SOUS 659891 HAS SOUPS 659891 WITH SCORE 660736.208
AT ITER 1964 NEW BEST:: SOT 4399080 SOS 844955 HAS SOPS 844955 HAS SOUS 659756 HAS SOUPS 659756 WITH SCORE 660600.955
AT ITER 1971 NEW BEST:: SOT 4399079 SOS 844731 HAS SOPS 844731 HAS SOUS 659754 HAS SOUPS 659754 WITH SCORE 660598.731
AT ITER 1975 NEW BEST:: SOT 4399061 SOS 844695 HAS SOPS 844695 HAS SOUS 659718 HAS SOUPS 659718 WITH SCORE 660562.695
AT ITER 1979 NEW BEST:: SOT 4398872 SOS 844506 HAS SOPS 844506 HAS SOUS 659529 HAS SOUPS 659529 WITH SCORE 660373.506
AT ITER 1981 NEW BEST:: SOT 4398872 SOS 844506 HAS SOPS 844506 HAS SOUS 659311 HAS SOUPS 659311 WITH SCORE 660155.506
AT ITER 1986 NEW BEST:: SOT 4398814 SOS 844390 HAS SOPS 844390 HAS SOUS 659195 HAS SOUPS 659195 WITH SCORE 660039.39
AT ITER 2000 NEW BEST:: SOT 4398814 SOS 844389 HAS SOPS 844389 HAS SOUS 659195 HAS SOUPS 659195 WITH SCORE 660039.389
AT ITER 2017 NEW BEST:: SOT 4398772 SOS 844305 HAS SOPS 844305 HAS SOUS 659153 HAS SOUPS 659153 WITH SCORE 659997.305
AT ITER 2031 NEW BEST:: SOT 4398772 SOS 843929 HAS SOPS 843929 HAS SOUS 658965 HAS SOUPS 658965 WITH SCORE 659808.929
AT ITER 2035 NEW BEST:: SOT 4398772 SOS 843701 HAS SOPS 843701 HAS SOUS 658965 HAS SOUPS 658965 WITH SCORE 659808.701
AT ITER 2045 NEW BEST:: SOT 4398842 SOS 843558 HAS SOPS 843558 HAS SOUS 658822 HAS SOUPS 658822 WITH SCORE 659665.558
AT ITER 2059 NEW BEST:: SOT 4398816 SOS 843506 HAS SOPS 843506 HAS SOUS 658770 HAS SOUPS 658770 WITH SCORE 659613.506
AT ITER 2068 NEW BEST:: SOT 4395471 SOS 872255 HAS SOPS 872255 HAS SOUS 657412 HAS SOUPS 657412 WITH SCORE 658284.255
AT ITER 2089 NEW BEST:: SOT 4395234 SOS 871781 HAS SOPS 871781 HAS SOUS 656959 HAS SOUPS 656959 WITH SCORE 657830.781
AT ITER 2095 NEW BEST:: SOT 4395234 SOS 871488 HAS SOPS 871488 HAS SOUS 656666 HAS SOUPS 656666 WITH SCORE 657537.488
AT ITER 2097 NEW BEST:: SOT 4395229 SOS 871478 HAS SOPS 871478 HAS SOUS 656656 HAS SOUPS 656656 WITH SCORE 657527.478
AT ITER 2130 NEW BEST:: SOT 4395044 SOS 871108 HAS SOPS 871108 HAS SOUS 656286 HAS SOUPS 656286 WITH SCORE 657157.108
AT ITER 2131 NEW BEST:: SOT 4395118 SOS 870706 HAS SOPS 870706 HAS SOUS 656085 HAS SOUPS 656085 WITH SCORE 656955.706
AT ITER 2151 NEW BEST:: SOT 4395117 SOS 870704 HAS SOPS 870704 HAS SOUS 656083 HAS SOUPS 656083 WITH SCORE 656953.704
AT ITER 2161 NEW BEST:: SOT 4395087 SOS 870644 HAS SOPS 870644 HAS SOUS 656053 HAS SOUPS 656053 WITH SCORE 656923.644
AT ITER 2162 NEW BEST:: SOT 4394986 SOS 870886 HAS SOPS 870886 HAS SOUS 656043 HAS SOUPS 656043 WITH SCORE 656913.886
AT ITER 2183 NEW BEST:: SOT 4394221 SOS 870548 HAS SOPS 870548 HAS SOUS 655350 HAS SOUPS 655350 WITH SCORE 656220.548
AT ITER 2224 NEW BEST:: SOT 4394220 SOS 870313 HAS SOPS 870313 HAS SOUS 655348 HAS SOUPS 655348 WITH SCORE 656218.313
AT ITER 2252 NEW BEST:: SOT 4394220 SOS 870255 HAS SOPS 870255 HAS SOUS 655348 HAS SOUPS 655348 WITH SCORE 656218.255
AT ITER 2259 NEW BEST:: SOT 4393940 SOS 869975 HAS SOPS 869975 HAS SOUS 655068 HAS SOUPS 655068 WITH SCORE 655937.975
AT ITER 2267 NEW BEST:: SOT 4393345 SOS 872160 HAS SOPS 872160 HAS SOUS 654944 HAS SOUPS 654944 WITH SCORE 655816.16
AT ITER 2353 NEW BEST:: SOT 4393054 SOS 871578 HAS SOPS 871578 HAS SOUS 654362 HAS SOUPS 654362 WITH SCORE 655233.578
AT ITER 2368 NEW BEST:: SOT 4392850 SOS 871764 HAS SOPS 871764 HAS SOUS 654325 HAS SOUPS 654325 WITH SCORE 655196.764
AT ITER 2381 NEW BEST:: SOT 4392838 SOS 871740 HAS SOPS 871740 HAS SOUS 654313 HAS SOUPS 654313 WITH SCORE 655184.74
AT ITER 2393 NEW BEST:: SOT 4392561 SOS 871186 HAS SOPS 871186 HAS SOUS 653759 HAS SOUPS 653759 WITH SCORE 654630.186
AT ITER 2395 NEW BEST:: SOT 4392466 SOS 870996 HAS SOPS 870996 HAS SOUS 653568 HAS SOUPS 653568 WITH SCORE 654438.996
AT ITER 2414 NEW BEST:: SOT 4392458 SOS 870980 HAS SOPS 870980 HAS SOUS 653556 HAS SOUPS 653556 WITH SCORE 654426.98
AT ITER 2418 NEW BEST:: SOT 4392313 SOS 870690 HAS SOPS 870690 HAS SOUS 653411 HAS SOUPS 653411 WITH SCORE 654281.69
AT ITER 2430 NEW BEST:: SOT 4392180 SOS 869992 HAS SOPS 869992 HAS SOUS 653116 HAS SOUPS 653116 WITH SCORE 653985.992
AT ITER 2446 NEW BEST:: SOT 4392318 SOS 856337 HAS SOPS 856337 HAS SOUS 652766 HAS SOUPS 652766 WITH SCORE 653622.337
AT ITER 2447 NEW BEST:: SOT 4392153 SOS 854761 HAS SOPS 854761 HAS SOUS 652492 HAS SOUPS 652492 WITH SCORE 653346.761
AT ITER 2472 NEW BEST:: SOT 4392152 SOS 854679 HAS SOPS 854679 HAS SOUS 652490 HAS SOUPS 652490 WITH SCORE 653344.679
AT ITER 2476 NEW BEST:: SOT 4392045 SOS 854465 HAS SOPS 854465 HAS SOUS 652276 HAS SOUPS 652276 WITH SCORE 653130.465
AT ITER 2495 NEW BEST:: SOT 4391859 SOS 854093 HAS SOPS 854093 HAS SOUS 652090 HAS SOUPS 652090 WITH SCORE 652944.093
AT ITER 2514 NEW BEST:: SOT 4391697 SOS 854081 HAS SOPS 854081 HAS SOUS 652005 HAS SOUPS 652005 WITH SCORE 652859.081
AT ITER 2544 NEW BEST:: SOT 4391293 SOS 854551 HAS SOPS 854551 HAS SOUS 651838 HAS SOUPS 651838 WITH SCORE 652692.551
AT ITER 2545 NEW BEST:: SOT 4391208 SOS 854381 HAS SOPS 854381 HAS SOUS 651668 HAS SOUPS 651668 WITH SCORE 652522.381
AT ITER 2597 NEW BEST:: SOT 4391162 SOS 852449 HAS SOPS 852449 HAS SOUS 651576 HAS SOUPS 651576 WITH SCORE 652428.449
AT ITER 2610 NEW BEST:: SOT 4391098 SOS 852559 HAS SOPS 852559 HAS SOUS 651563 HAS SOUPS 651563 WITH SCORE 652415.559
AT ITER 2637 NEW BEST:: SOT 4391117 SOS 852400 HAS SOPS 852400 HAS SOUS 651404 HAS SOUPS 651404 WITH SCORE 652256.4
AT ITER 2652 NEW BEST:: SOT 4391128 SOS 852422 HAS SOPS 852422 HAS SOUS 651243 HAS SOUPS 651243 WITH SCORE 652095.422
AT ITER 2660 NEW BEST:: SOT 4391128 SOS 852422 HAS SOPS 852422 HAS SOUS 651242 HAS SOUPS 651242 WITH SCORE 652094.422
AT ITER 2690 NEW BEST:: SOT 4391006 SOS 852369 HAS SOPS 852369 HAS SOUS 651189 HAS SOUPS 651189 WITH SCORE 652041.369
AT ITER 2699 NEW BEST:: SOT 4390596 SOS 852375 HAS SOPS 852375 HAS SOUS 650954 HAS SOUPS 650954 WITH SCORE 651806.375
AT ITER 2724 NEW BEST:: SOT 4390354 SOS 852133 HAS SOPS 852133 HAS SOUS 650712 HAS SOUPS 650712 WITH SCORE 651564.133
AT ITER 2735 NEW BEST:: SOT 4390283 SOS 851991 HAS SOPS 851991 HAS SOUS 650570 HAS SOUPS 650570 WITH SCORE 651421.991
AT ITER 2738 NEW BEST:: SOT 4390173 SOS 851826 HAS SOPS 851826 HAS SOUS 650460 HAS SOUPS 650460 WITH SCORE 651311.826
AT ITER 2752 NEW BEST:: SOT 4390084 SOS 851737 HAS SOPS 851737 HAS SOUS 650371 HAS SOUPS 650371 WITH SCORE 651222.737
AT ITER 2765 NEW BEST:: SOT 4390062 SOS 851693 HAS SOPS 851693 HAS SOUS 650327 HAS SOUPS 650327 WITH SCORE 651178.693
AT ITER 2776 NEW BEST:: SOT 4390061 SOS 851563 HAS SOPS 851563 HAS SOUS 650198 HAS SOUPS 650198 WITH SCORE 651049.563
AT ITER 2803 NEW BEST:: SOT 4389992 SOS 851425 HAS SOPS 851425 HAS SOUS 649997 HAS SOUPS 649997 WITH SCORE 650848.425
AT ITER 2818 NEW BEST:: SOT 4389932 SOS 851305 HAS SOPS 851305 HAS SOUS 649937 HAS SOUPS 649937 WITH SCORE 650788.305
AT ITER 2828 NEW BEST:: SOT 4389932 SOS 851047 HAS SOPS 851047 HAS SOUS 649937 HAS SOUPS 649937 WITH SCORE 650788.047
AT ITER 2836 NEW BEST:: SOT 4389888 SOS 850959 HAS SOPS 850959 HAS SOUS 649846 HAS SOUPS 649846 WITH SCORE 650696.959
AT ITER 2866 NEW BEST:: SOT 4389718 SOS 850789 HAS SOPS 850789 HAS SOUS 649676 HAS SOUPS 649676 WITH SCORE 650526.789
AT ITER 2878 NEW BEST:: SOT 4389570 SOS 850493 HAS SOPS 850493 HAS SOUS 649380 HAS SOUPS 649380 WITH SCORE 650230.493
AT ITER 2922 NEW BEST:: SOT 4389326 SOS 850005 HAS SOPS 850005 HAS SOUS 649135 HAS SOUPS 649135 WITH SCORE 649985.005
AT ITER 2950 NEW BEST:: SOT 4389215 SOS 849783 HAS SOPS 849783 HAS SOUS 649024 HAS SOUPS 649024 WITH SCORE 649873.783
AT ITER 2952 NEW BEST:: SOT 4389392 SOS 849133 HAS SOPS 849133 HAS SOUS 648876 HAS SOUPS 648876 WITH SCORE 649725.133
AT ITER 2993 NEW BEST:: SOT 4389331 SOS 849011 HAS SOPS 849011 HAS SOUS 648656 HAS SOUPS 648656 WITH SCORE 649505.011
AT ITER 2995 NEW BEST:: SOT 4386481 SOS 862043 HAS SOPS 862043 HAS SOUS 646346 HAS SOUPS 646346 WITH SCORE 647208.043
AT ITER 3022 NEW BEST:: SOT 4386480 SOS 862041 HAS SOPS 862041 HAS SOUS 646344 HAS SOUPS 646344 WITH SCORE 647206.041
AT ITER 3069 NEW BEST:: SOT 4386123 SOS 842529 HAS SOPS 842529 HAS SOUS 645987 HAS SOUPS 645987 WITH SCORE 646829.529
AT ITER 3081 NEW BEST:: SOT 4386122 SOS 842528 HAS SOPS 842528 HAS SOUS 645985 HAS SOUPS 645985 WITH SCORE 646827.528
AT ITER 3141 NEW BEST:: SOT 4385834 SOS 842240 HAS SOPS 842240 HAS SOUS 645697 HAS SOUPS 645697 WITH SCORE 646539.24
AT ITER 3143 NEW BEST:: SOT 4385824 SOS 796999 HAS SOPS 796999 HAS SOUS 645677 HAS SOUPS 645677 WITH SCORE 646473.999
AT ITER 3157 NEW BEST:: SOT 4385649 SOS 796649 HAS SOPS 796649 HAS SOUS 645579 HAS SOUPS 645579 WITH SCORE 646375.649
AT ITER 3188 NEW BEST:: SOT 4385649 SOS 796235 HAS SOPS 796235 HAS SOUS 645579 HAS SOUPS 645579 WITH SCORE 646375.235
AT ITER 3191 NEW BEST:: SOT 4385620 SOS 796148 HAS SOPS 796148 HAS SOUS 645521 HAS SOUPS 645521 WITH SCORE 646317.148
AT ITER 3225 NEW BEST:: SOT 4385567 SOS 796148 HAS SOPS 796148 HAS SOUS 645468 HAS SOUPS 645468 WITH SCORE 646264.148
AT ITER 3271 NEW BEST:: SOT 4385567 SOS 796029 HAS SOPS 796029 HAS SOUS 645468 HAS SOUPS 645468 WITH SCORE 646264.029
AT ITER 3308 NEW BEST:: SOT 4385541 SOS 795977 HAS SOPS 795977 HAS SOUS 645296 HAS SOUPS 645296 WITH SCORE 646091.977
AT ITER 3312 NEW BEST:: SOT 4385529 SOS 795953 HAS SOPS 795953 HAS SOUS 645284 HAS SOUPS 645284 WITH SCORE 646079.953
AT ITER 3326 NEW BEST:: SOT 4385547 SOS 795989 HAS SOPS 795989 HAS SOUS 645111 HAS SOUPS 645111 WITH SCORE 645906.989
AT ITER 3327 NEW BEST:: SOT 4385404 SOS 796019 HAS SOPS 796019 HAS SOUS 645057 HAS SOUPS 645057 WITH SCORE 645853.019
AT ITER 3337 NEW BEST:: SOT 4385360 SOS 795931 HAS SOPS 795931 HAS SOUS 645013 HAS SOUPS 645013 WITH SCORE 645808.931
AT ITER 3349 NEW BEST:: SOT 4385360 SOS 795931 HAS SOPS 795931 HAS SOUS 644944 HAS SOUPS 644944 WITH SCORE 645739.931
AT ITER 3382 NEW BEST:: SOT 4385033 SOS 795564 HAS SOPS 795564 HAS SOUS 644579 HAS SOUPS 644579 WITH SCORE 645374.564
AT ITER 3400 NEW BEST:: SOT 4385142 SOS 795782 HAS SOPS 795782 HAS SOUS 644499 HAS SOUPS 644499 WITH SCORE 645294.782
AT ITER 3475 NEW BEST:: SOT 4385136 SOS 795774 HAS SOPS 795774 HAS SOUS 644493 HAS SOUPS 644493 WITH SCORE 645288.774
AT ITER 3496 NEW BEST:: SOT 4384941 SOS 795384 HAS SOPS 795384 HAS SOUS 644474 HAS SOUPS 644474 WITH SCORE 645269.384
AT ITER 3527 NEW BEST:: SOT 4384941 SOS 795335 HAS SOPS 795335 HAS SOUS 644474 HAS SOUPS 644474 WITH SCORE 645269.335
AT ITER 3528 NEW BEST:: SOT 4384812 SOS 795077 HAS SOPS 795077 HAS SOUS 644216 HAS SOUPS 644216 WITH SCORE 645011.077
AT ITER 3539 NEW BEST:: SOT 4384854 SOS 795035 HAS SOPS 795035 HAS SOUS 644216 HAS SOUPS 644216 WITH SCORE 645011.035
AT ITER 3548 NEW BEST:: SOT 4384769 SOS 794865 HAS SOPS 794865 HAS SOUS 644131 HAS SOUPS 644131 WITH SCORE 644925.865
AT ITER 3549 NEW BEST:: SOT 4384731 SOS 794789 HAS SOPS 794789 HAS SOUS 644055 HAS SOUPS 644055 WITH SCORE 644849.789
AT ITER 3554 NEW BEST:: SOT 4384541 SOS 794409 HAS SOPS 794409 HAS SOUS 643865 HAS SOUPS 643865 WITH SCORE 644659.409
AT ITER 3559 NEW BEST:: SOT 4384345 SOS 794297 HAS SOPS 794297 HAS SOUS 643745 HAS SOUPS 643745 WITH SCORE 644539.297
AT ITER 3569 NEW BEST:: SOT 4384182 SOS 793971 HAS SOPS 793971 HAS SOUS 643419 HAS SOUPS 643419 WITH SCORE 644212.971
AT ITER 3573 NEW BEST:: SOT 4384034 SOS 793223 HAS SOPS 793223 HAS SOUS 643123 HAS SOUPS 643123 WITH SCORE 643916.223
AT ITER 3600 NEW BEST:: SOT 4384002 SOS 793159 HAS SOPS 793159 HAS SOUS 643059 HAS SOUPS 643059 WITH SCORE 643852.159
AT ITER 3603 NEW BEST:: SOT 4384034 SOS 792893 HAS SOPS 792893 HAS SOUS 643013 HAS SOUPS 643013 WITH SCORE 643805.893
AT ITER 3631 NEW BEST:: SOT 4384018 SOS 792861 HAS SOPS 792861 HAS SOUS 642981 HAS SOUPS 642981 WITH SCORE 643773.861
AT ITER 3632 NEW BEST:: SOT 4383641 SOS 792507 HAS SOPS 792507 HAS SOUS 642649 HAS SOUPS 642649 WITH SCORE 643441.507
AT ITER 3637 NEW BEST:: SOT 4383535 SOS 792295 HAS SOPS 792295 HAS SOUS 642437 HAS SOUPS 642437 WITH SCORE 643229.295
AT ITER 3658 NEW BEST:: SOT 4383390 SOS 792005 HAS SOPS 792005 HAS SOUS 642147 HAS SOUPS 642147 WITH SCORE 642939.005
AT ITER 3709 NEW BEST:: SOT 4383389 SOS 792003 HAS SOPS 792003 HAS SOUS 642145 HAS SOUPS 642145 WITH SCORE 642937.003
AT ITER 3713 NEW BEST:: SOT 4383478 SOS 792181 HAS SOPS 792181 HAS SOUS 642050 HAS SOUPS 642050 WITH SCORE 642842.181
AT ITER 3720 NEW BEST:: SOT 4383453 SOS 792131 HAS SOPS 792131 HAS SOUS 642000 HAS SOUPS 642000 WITH SCORE 642792.131
AT ITER 3755 NEW BEST:: SOT 4383416 SOS 792094 HAS SOPS 792094 HAS SOUS 641926 HAS SOUPS 641926 WITH SCORE 642718.094
AT ITER 3769 NEW BEST:: SOT 4383416 SOS 791981 HAS SOPS 791981 HAS SOUS 641926 HAS SOUPS 641926 WITH SCORE 642717.981
AT ITER 3772 NEW BEST:: SOT 4383393 SOS 791480 HAS SOPS 791480 HAS SOUS 641880 HAS SOUPS 641880 WITH SCORE 642671.48
AT ITER 3775 NEW BEST:: SOT 4383241 SOS 791176 HAS SOPS 791176 HAS SOUS 641742 HAS SOUPS 641742 WITH SCORE 642533.176
AT ITER 3781 NEW BEST:: SOT 4383042 SOS 790778 HAS SOPS 790778 HAS SOUS 641344 HAS SOUPS 641344 WITH SCORE 642134.778
AT ITER 3784 NEW BEST:: SOT 4383040 SOS 790774 HAS SOPS 790774 HAS SOUS 641344 HAS SOUPS 641344 WITH SCORE 642134.774
AT ITER 3787 NEW BEST:: SOT 4383040 SOS 790774 HAS SOPS 790774 HAS SOUS 641206 HAS SOUPS 641206 WITH SCORE 641996.774
AT ITER 3795 NEW BEST:: SOT 4383063 SOS 791382 HAS SOPS 791382 HAS SOUS 641145 HAS SOUPS 641145 WITH SCORE 641936.382
AT ITER 3796 NEW BEST:: SOT 4382910 SOS 791076 HAS SOPS 791076 HAS SOUS 640992 HAS SOUPS 640992 WITH SCORE 641783.076
AT ITER 3797 NEW BEST:: SOT 4383132 SOS 791088 HAS SOPS 791088 HAS SOUS 640888 HAS SOUPS 640888 WITH SCORE 641679.088
AT ITER 3800 NEW BEST:: SOT 4383131 SOS 791352 HAS SOPS 791352 HAS SOUS 640886 HAS SOUPS 640886 WITH SCORE 641677.352
AT ITER 3858 NEW BEST:: SOT 4382890 SOS 790870 HAS SOPS 790870 HAS SOUS 640404 HAS SOUPS 640404 WITH SCORE 641194.87
AT ITER 3916 NEW BEST:: SOT 4382890 SOS 790870 HAS SOPS 790870 HAS SOUS 640170 HAS SOUPS 640170 WITH SCORE 640960.87
AT ITER 3919 NEW BEST:: SOT 4382890 SOS 790572 HAS SOPS 790572 HAS SOUS 640170 HAS SOUPS 640170 WITH SCORE 640960.572
AT ITER 3924 NEW BEST:: SOT 4382799 SOS 790500 HAS SOPS 790500 HAS SOUS 640098 HAS SOUPS 640098 WITH SCORE 640888.5
AT ITER 3944 NEW BEST:: SOT 4382798 SOS 790498 HAS SOPS 790498 HAS SOUS 640096 HAS SOUPS 640096 WITH SCORE 640886.498
AT ITER 3976 NEW BEST:: SOT 4382798 SOS 789956 HAS SOPS 789956 HAS SOUS 640096 HAS SOUPS 640096 WITH SCORE 640885.956
AT ITER 3996 NEW BEST:: SOT 4382798 SOS 789757 HAS SOPS 789757 HAS SOUS 640096 HAS SOUPS 640096 WITH SCORE 640885.757
AT ITER 4022 NEW BEST:: SOT 4382797 SOS 789513 HAS SOPS 789513 HAS SOUS 639907 HAS SOUPS 639907 WITH SCORE 640696.513
AT ITER 4050 NEW BEST:: SOT 4383179 SOS 789622 HAS SOPS 789622 HAS SOUS 639886 HAS SOUPS 639886 WITH SCORE 640675.622
AT ITER 4064 NEW BEST:: SOT 4383118 SOS 789560 HAS SOPS 789560 HAS SOUS 639824 HAS SOUPS 639824 WITH SCORE 640613.56
AT ITER 4081 NEW BEST:: SOT 4383011 SOS 789453 HAS SOPS 789453 HAS SOUS 639717 HAS SOUPS 639717 WITH SCORE 640506.453
AT ITER 4096 NEW BEST:: SOT 4373904 SOS 815675 HAS SOPS 815675 HAS SOUS 632091 HAS SOUPS 632091 WITH SCORE 632906.675
AT ITER 4117 NEW BEST:: SOT 4373908 SOS 815647 HAS SOPS 815647 HAS SOUS 632064 HAS SOUPS 632064 WITH SCORE 632879.647
AT ITER 4126 NEW BEST:: SOT 4373765 SOS 815505 HAS SOPS 815505 HAS SOUS 631994 HAS SOUPS 631994 WITH SCORE 632809.505
AT ITER 4171 NEW BEST:: SOT 4373730 SOS 815470 HAS SOPS 815470 HAS SOUS 631959 HAS SOUPS 631959 WITH SCORE 632774.47
AT ITER 4186 NEW BEST:: SOT 4373725 SOS 815486 HAS SOPS 815486 HAS SOUS 631954 HAS SOUPS 631954 WITH SCORE 632769.486
AT ITER 4189 NEW BEST:: SOT 4373712 SOS 815460 HAS SOPS 815460 HAS SOUS 631952 HAS SOUPS 631952 WITH SCORE 632767.46
AT ITER 4191 NEW BEST:: SOT 4373667 SOS 815370 HAS SOPS 815370 HAS SOUS 631880 HAS SOUPS 631880 WITH SCORE 632695.37
AT ITER 4193 NEW BEST:: SOT 4373524 SOS 815253 HAS SOPS 815253 HAS SOUS 631737 HAS SOUPS 631737 WITH SCORE 632552.253
AT ITER 4209 NEW BEST:: SOT 4373055 SOS 783573 HAS SOPS 783573 HAS SOUS 630799 HAS SOUPS 630799 WITH SCORE 631582.573
AT ITER 4219 NEW BEST:: SOT 4372808 SOS 783418 HAS SOPS 783418 HAS SOUS 630733 HAS SOUPS 630733 WITH SCORE 631516.418
AT ITER 4223 NEW BEST:: SOT 4372732 SOS 783266 HAS SOPS 783266 HAS SOUS 630480 HAS SOUPS 630480 WITH SCORE 631263.266
AT ITER 4239 NEW BEST:: SOT 4372310 SOS 783266 HAS SOPS 783266 HAS SOUS 630269 HAS SOUPS 630269 WITH SCORE 631052.266
AT ITER 4245 NEW BEST:: SOT 4372146 SOS 783454 HAS SOPS 783454 HAS SOUS 630177 HAS SOUPS 630177 WITH SCORE 630960.454
AT ITER 4250 NEW BEST:: SOT 4372146 SOS 783454 HAS SOPS 783454 HAS SOUS 629989 HAS SOUPS 629989 WITH SCORE 630772.454
AT ITER 4274 NEW BEST:: SOT 4371834 SOS 783523 HAS SOPS 783523 HAS SOUS 629805 HAS SOUPS 629805 WITH SCORE 630588.523
AT ITER 4302 NEW BEST:: SOT 4371833 SOS 783521 HAS SOPS 783521 HAS SOUS 629803 HAS SOUPS 629803 WITH SCORE 630586.521
AT ITER 4359 NEW BEST:: SOT 4371576 SOS 783007 HAS SOPS 783007 HAS SOUS 629636 HAS SOUPS 629636 WITH SCORE 630419.007
AT ITER 4364 NEW BEST:: SOT 4371547 SOS 782920 HAS SOPS 782920 HAS SOUS 629578 HAS SOUPS 629578 WITH SCORE 630360.92
AT ITER 4368 NEW BEST:: SOT 4371146 SOS 788250 HAS SOPS 788250 HAS SOUS 629177 HAS SOUPS 629177 WITH SCORE 629965.25
AT ITER 4400 NEW BEST:: SOT 4370846 SOS 787650 HAS SOPS 787650 HAS SOUS 628577 HAS SOUPS 628577 WITH SCORE 629364.65
AT ITER 4444 NEW BEST:: SOT 4370846 SOS 787316 HAS SOPS 787316 HAS SOUS 628410 HAS SOUPS 628410 WITH SCORE 629197.316
AT ITER 4448 NEW BEST:: SOT 4370875 SOS 787374 HAS SOPS 787374 HAS SOUS 628339 HAS SOUPS 628339 WITH SCORE 629126.374
AT ITER 4466 NEW BEST:: SOT 4370784 SOS 787192 HAS SOPS 787192 HAS SOUS 628157 HAS SOUPS 628157 WITH SCORE 628944.192
AT ITER 4489 NEW BEST:: SOT 4370669 SOS 786722 HAS SOPS 786722 HAS SOUS 627802 HAS SOUPS 627802 WITH SCORE 628588.722
AT ITER 4494 NEW BEST:: SOT 4370668 SOS 786720 HAS SOPS 786720 HAS SOUS 627800 HAS SOUPS 627800 WITH SCORE 628586.72
AT ITER 4499 NEW BEST:: SOT 4370499 SOS 786711 HAS SOPS 786711 HAS SOUS 627359 HAS SOUPS 627359 WITH SCORE 628145.711
AT ITER 4537 NEW BEST:: SOT 4370377 SOS 786467 HAS SOPS 786467 HAS SOUS 627115 HAS SOUPS 627115 WITH SCORE 627901.467
AT ITER 4558 NEW BEST:: SOT 4370357 SOS 786427 HAS SOPS 786427 HAS SOUS 627075 HAS SOUPS 627075 WITH SCORE 627861.427
AT ITER 4566 NEW BEST:: SOT 4370428 SOS 786261 HAS SOPS 786261 HAS SOUS 626992 HAS SOUPS 626992 WITH SCORE 627778.261
AT ITER 4616 NEW BEST:: SOT 4370340 SOS 786085 HAS SOPS 786085 HAS SOUS 626903 HAS SOUPS 626903 WITH SCORE 627689.085
AT ITER 4618 NEW BEST:: SOT 4370340 SOS 785820 HAS SOPS 785820 HAS SOUS 626903 HAS SOUPS 626903 WITH SCORE 627688.82
AT ITER 4637 NEW BEST:: SOT 4370129 SOS 785756 HAS SOPS 785756 HAS SOUS 626776 HAS SOUPS 626776 WITH SCORE 627561.756
AT ITER 4645 NEW BEST:: SOT 4370105 SOS 785708 HAS SOPS 785708 HAS SOUS 626728 HAS SOUPS 626728 WITH SCORE 627513.708
AT ITER 4657 NEW BEST:: SOT 4369869 SOS 785236 HAS SOPS 785236 HAS SOUS 626256 HAS SOUPS 626256 WITH SCORE 627041.236
AT ITER 4669 NEW BEST:: SOT 4369733 SOS 784964 HAS SOPS 784964 HAS SOUS 625984 HAS SOUPS 625984 WITH SCORE 626768.964
AT ITER 4698 NEW BEST:: SOT 4369732 SOS 784962 HAS SOPS 784962 HAS SOUS 625982 HAS SOUPS 625982 WITH SCORE 626766.962
AT ITER 4699 NEW BEST:: SOT 4369732 SOS 784880 HAS SOPS 784880 HAS SOUS 625900 HAS SOUPS 625900 WITH SCORE 626684.88
AT ITER 4716 NEW BEST:: SOT 4369639 SOS 784601 HAS SOPS 784601 HAS SOUS 625714 HAS SOUPS 625714 WITH SCORE 626498.601
AT ITER 4722 NEW BEST:: SOT 4369698 SOS 784719 HAS SOPS 784719 HAS SOUS 625526 HAS SOUPS 625526 WITH SCORE 626310.719
AT ITER 4723 NEW BEST:: SOT 4369488 SOS 784541 HAS SOPS 784541 HAS SOUS 625316 HAS SOUPS 625316 WITH SCORE 626100.541
AT ITER 4726 NEW BEST:: SOT 4369435 SOS 784435 HAS SOPS 784435 HAS SOUS 625091 HAS SOUPS 625091 WITH SCORE 625875.435
AT ITER 4743 NEW BEST:: SOT 4369332 SOS 784229 HAS SOPS 784229 HAS SOUS 624885 HAS SOUPS 624885 WITH SCORE 625669.229
AT ITER 4776 NEW BEST:: SOT 4369273 SOS 784464 HAS SOPS 784464 HAS SOUS 624873 HAS SOUPS 624873 WITH SCORE 625657.464
AT ITER 4790 NEW BEST:: SOT 4368916 SOS 783750 HAS SOPS 783750 HAS SOUS 624293 HAS SOUPS 624293 WITH SCORE 625076.75
AT ITER 4794 NEW BEST:: SOT 4368916 SOS 783572 HAS SOPS 783572 HAS SOUS 624293 HAS SOUPS 624293 WITH SCORE 625076.572
AT ITER 4808 NEW BEST:: SOT 4368801 SOS 783342 HAS SOPS 783342 HAS SOUS 624173 HAS SOUPS 624173 WITH SCORE 624956.342
AT ITER 4819 NEW BEST:: SOT 4368488 SOS 782716 HAS SOPS 782716 HAS SOUS 623547 HAS SOUPS 623547 WITH SCORE 624329.716
AT ITER 4867 NEW BEST:: SOT 4368487 SOS 782714 HAS SOPS 782714 HAS SOUS 623545 HAS SOUPS 623545 WITH SCORE 624327.714
AT ITER 4868 NEW BEST:: SOT 4368354 SOS 782448 HAS SOPS 782448 HAS SOUS 623279 HAS SOUPS 623279 WITH SCORE 624061.448
AT ITER 4889 NEW BEST:: SOT 4368241 SOS 782222 HAS SOPS 782222 HAS SOUS 623166 HAS SOUPS 623166 WITH SCORE 623948.222
AT ITER 4896 NEW BEST:: SOT 4368095 SOS 782130 HAS SOPS 782130 HAS SOUS 623020 HAS SOUPS 623020 WITH SCORE 623802.13
AT ITER 4911 NEW BEST:: SOT 4367874 SOS 781909 HAS SOPS 781909 HAS SOUS 623020 HAS SOUPS 623020 WITH SCORE 623801.909
AT ITER 4913 NEW BEST:: SOT 4367874 SOS 781694 HAS SOPS 781694 HAS SOUS 623020 HAS SOUPS 623020 WITH SCORE 623801.694
AT ITER 4977 NEW BEST:: SOT 4367915 SOS 781515 HAS SOPS 781515 HAS SOUS 622906 HAS SOUPS 622906 WITH SCORE 623687.515
AT ITER 4993 NEW BEST:: SOT 4367737 SOS 781159 HAS SOPS 781159 HAS SOUS 622620 HAS SOUPS 622620 WITH SCORE 623401.159
AT ITER 5025 NEW BEST:: SOT 4367674 SOS 781033 HAS SOPS 781033 HAS SOUS 622494 HAS SOUPS 622494 WITH SCORE 623275.033
AT ITER 5027 NEW BEST:: SOT 4367611 SOS 780907 HAS SOPS 780907 HAS SOUS 622368 HAS SOUPS 622368 WITH SCORE 623148.907
AT ITER 5073 NEW BEST:: SOT 4367528 SOS 780228 HAS SOPS 780228 HAS SOUS 622098 HAS SOUPS 622098 WITH SCORE 622878.228
AT ITER 5112 NEW BEST:: SOT 4367427 SOS 780026 HAS SOPS 780026 HAS SOUS 621896 HAS SOUPS 621896 WITH SCORE 622676.026
AT ITER 5133 NEW BEST:: SOT 4367415 SOS 780002 HAS SOPS 780002 HAS SOUS 621872 HAS SOUPS 621872 WITH SCORE 622652.002
AT ITER 5138 NEW BEST:: SOT 4367415 SOS 779919 HAS SOPS 779919 HAS SOUS 621872 HAS SOUPS 621872 WITH SCORE 622651.919
AT ITER 5155 NEW BEST:: SOT 4367270 SOS 779629 HAS SOPS 779629 HAS SOUS 621582 HAS SOUPS 621582 WITH SCORE 622361.629
AT ITER 5173 NEW BEST:: SOT 4367183 SOS 779455 HAS SOPS 779455 HAS SOUS 621408 HAS SOUPS 621408 WITH SCORE 622187.455
AT ITER 5188 NEW BEST:: SOT 4366944 SOS 780339 HAS SOPS 780339 HAS SOUS 621373 HAS SOUPS 621373 WITH SCORE 622153.339
AT ITER 5209 NEW BEST:: SOT 4366727 SOS 780245 HAS SOPS 780245 HAS SOUS 621200 HAS SOUPS 621200 WITH SCORE 621980.245
AT ITER 5211 NEW BEST:: SOT 4366727 SOS 779977 HAS SOPS 779977 HAS SOUS 621200 HAS SOUPS 621200 WITH SCORE 621979.977
AT ITER 5227 NEW BEST:: SOT 4366649 SOS 779494 HAS SOPS 779494 HAS SOUS 621000 HAS SOUPS 621000 WITH SCORE 621779.494
AT ITER 5276 NEW BEST:: SOT 4366435 SOS 779066 HAS SOPS 779066 HAS SOUS 620786 HAS SOUPS 620786 WITH SCORE 621565.066
AT ITER 5296 NEW BEST:: SOT 4366311 SOS 778942 HAS SOPS 778942 HAS SOUS 620662 HAS SOUPS 620662 WITH SCORE 621440.942
AT ITER 5303 NEW BEST:: SOT 4366292 SOS 778904 HAS SOPS 778904 HAS SOUS 620624 HAS SOUPS 620624 WITH SCORE 621402.904
AT ITER 5306 NEW BEST:: SOT 4366330 SOS 778502 HAS SOPS 778502 HAS SOUS 620506 HAS SOUPS 620506 WITH SCORE 621284.502
AT ITER 5339 NEW BEST:: SOT 4366329 SOS 778500 HAS SOPS 778500 HAS SOUS 620504 HAS SOUPS 620504 WITH SCORE 621282.5
AT ITER 5345 NEW BEST:: SOT 4366263 SOS 778368 HAS SOPS 778368 HAS SOUS 620372 HAS SOUPS 620372 WITH SCORE 621150.368
AT ITER 5352 NEW BEST:: SOT 4366262 SOS 778367 HAS SOPS 778367 HAS SOUS 620370 HAS SOUPS 620370 WITH SCORE 621148.367
AT ITER 5365 NEW BEST:: SOT 4366223 SOS 778289 HAS SOPS 778289 HAS SOUS 620331 HAS SOUPS 620331 WITH SCORE 621109.289
AT ITER 5369 NEW BEST:: SOT 4366155 SOS 778153 HAS SOPS 778153 HAS SOUS 620195 HAS SOUPS 620195 WITH SCORE 620973.153
AT ITER 5375 NEW BEST:: SOT 4366050 SOS 777943 HAS SOPS 777943 HAS SOUS 619985 HAS SOUPS 619985 WITH SCORE 620762.943
AT ITER 5417 NEW BEST:: SOT 4366044 SOS 777931 HAS SOPS 777931 HAS SOUS 619979 HAS SOUPS 619979 WITH SCORE 620756.931
AT ITER 5422 NEW BEST:: SOT 4365997 SOS 777893 HAS SOPS 777893 HAS SOUS 619932 HAS SOUPS 619932 WITH SCORE 620709.893
AT ITER 5435 NEW BEST:: SOT 4365997 SOS 777825 HAS SOPS 777825 HAS SOUS 619864 HAS SOUPS 619864 WITH SCORE 620641.825
AT ITER 5442 NEW BEST:: SOT 4365932 SOS 777695 HAS SOPS 777695 HAS SOUS 619734 HAS SOUPS 619734 WITH SCORE 620511.695
AT ITER 5458 NEW BEST:: SOT 4365913 SOS 777752 HAS SOPS 777752 HAS SOUS 619715 HAS SOUPS 619715 WITH SCORE 620492.752
AT ITER 5466 NEW BEST:: SOT 4365639 SOS 777204 HAS SOPS 777204 HAS SOUS 619167 HAS SOUPS 619167 WITH SCORE 619944.204
AT ITER 5467 NEW BEST:: SOT 4365635 SOS 777089 HAS SOPS 777089 HAS SOUS 619163 HAS SOUPS 619163 WITH SCORE 619940.089
AT ITER 5479 NEW BEST:: SOT 4365617 SOS 777071 HAS SOPS 777071 HAS SOUS 619145 HAS SOUPS 619145 WITH SCORE 619922.071
AT ITER 5486 NEW BEST:: SOT 4365482 SOS 776801 HAS SOPS 776801 HAS SOUS 619010 HAS SOUPS 619010 WITH SCORE 619786.801
AT ITER 5542 NEW BEST:: SOT 4365374 SOS 777141 HAS SOPS 777141 HAS SOUS 618991 HAS SOUPS 618991 WITH SCORE 619768.141
AT ITER 5552 NEW BEST:: SOT 4365378 SOS 777101 HAS SOPS 777101 HAS SOUS 618950 HAS SOUPS 618950 WITH SCORE 619727.101
AT ITER 5576 NEW BEST:: SOT 4365357 SOS 777059 HAS SOPS 777059 HAS SOUS 618908 HAS SOUPS 618908 WITH SCORE 619685.059
AT ITER 5579 NEW BEST:: SOT 4365357 SOS 777059 HAS SOPS 777059 HAS SOUS 618844 HAS SOUPS 618844 WITH SCORE 619621.059
AT ITER 5587 NEW BEST:: SOT 4365077 SOS 776499 HAS SOPS 776499 HAS SOUS 618491 HAS SOUPS 618491 WITH SCORE 619267.499
AT ITER 5599 NEW BEST:: SOT 4364997 SOS 776291 HAS SOPS 776291 HAS SOUS 618331 HAS SOUPS 618331 WITH SCORE 619107.291
AT ITER 5603 NEW BEST:: SOT 4364445 SOS 775187 HAS SOPS 775187 HAS SOUS 617544 HAS SOUPS 617544 WITH SCORE 618319.187
AT ITER 5629 NEW BEST:: SOT 4364247 SOS 774989 HAS SOPS 774989 HAS SOUS 617346 HAS SOUPS 617346 WITH SCORE 618120.989
AT ITER 5634 NEW BEST:: SOT 4364231 SOS 774957 HAS SOPS 774957 HAS SOUS 617314 HAS SOUPS 617314 WITH SCORE 618088.957
AT ITER 5641 NEW BEST:: SOT 4364069 SOS 774183 HAS SOPS 774183 HAS SOUS 617183 HAS SOUPS 617183 WITH SCORE 617957.183
AT ITER 5646 NEW BEST:: SOT 4364381 SOS 774239 HAS SOPS 774239 HAS SOUS 617118 HAS SOUPS 617118 WITH SCORE 617892.239
AT ITER 5677 NEW BEST:: SOT 4364380 SOS 774237 HAS SOPS 774237 HAS SOUS 617116 HAS SOUPS 617116 WITH SCORE 617890.237
AT ITER 5705 NEW BEST:: SOT 4364231 SOS 774118 HAS SOPS 774118 HAS SOUS 616997 HAS SOUPS 616997 WITH SCORE 617771.118
AT ITER 5721 NEW BEST:: SOT 4364194 SOS 774044 HAS SOPS 774044 HAS SOUS 616932 HAS SOUPS 616932 WITH SCORE 617706.044
AT ITER 5776 NEW BEST:: SOT 4364193 SOS 774042 HAS SOPS 774042 HAS SOUS 616930 HAS SOUPS 616930 WITH SCORE 617704.042
AT ITER 5777 NEW BEST:: SOT 4363977 SOS 773826 HAS SOPS 773826 HAS SOUS 616829 HAS SOUPS 616829 WITH SCORE 617602.826
AT ITER 5791 NEW BEST:: SOT 4363926 SOS 773724 HAS SOPS 773724 HAS SOUS 616727 HAS SOUPS 616727 WITH SCORE 617500.724
AT ITER 5793 NEW BEST:: SOT 4363880 SOS 773632 HAS SOPS 773632 HAS SOUS 616635 HAS SOUPS 616635 WITH SCORE 617408.632
AT ITER 5815 NEW BEST:: SOT 4363832 SOS 773560 HAS SOPS 773560 HAS SOUS 616563 HAS SOUPS 616563 WITH SCORE 617336.56
AT ITER 5861 NEW BEST:: SOT 4363826 SOS 773548 HAS SOPS 773548 HAS SOUS 616551 HAS SOUPS 616551 WITH SCORE 617324.548
AT ITER 5866 NEW BEST:: SOT 4363779 SOS 773501 HAS SOPS 773501 HAS SOUS 616551 HAS SOUPS 616551 WITH SCORE 617324.501
AT ITER 5891 NEW BEST:: SOT 4363465 SOS 773884 HAS SOPS 773884 HAS SOUS 616547 HAS SOUPS 616547 WITH SCORE 617320.884
AT ITER 5906 NEW BEST:: SOT 4363548 SOS 774050 HAS SOPS 774050 HAS SOUS 616485 HAS SOUPS 616485 WITH SCORE 617259.05
AT ITER 5923 NEW BEST:: SOT 4363481 SOS 773916 HAS SOPS 773916 HAS SOUS 616418 HAS SOUPS 616418 WITH SCORE 617191.916
AT ITER 5943 NEW BEST:: SOT 4363480 SOS 773796 HAS SOPS 773796 HAS SOUS 616299 HAS SOUPS 616299 WITH SCORE 617072.796
AT ITER 5950 NEW BEST:: SOT 4363516 SOS 773724 HAS SOPS 773724 HAS SOUS 616299 HAS SOUPS 616299 WITH SCORE 617072.724
AT ITER 5992 NEW BEST:: SOT 4363325 SOS 773342 HAS SOPS 773342 HAS SOUS 615916 HAS SOUPS 615916 WITH SCORE 616689.342
AT ITER 6035 NEW BEST:: SOT 4363325 SOS 773342 HAS SOPS 773342 HAS SOUS 615845 HAS SOUPS 615845 WITH SCORE 616618.342
AT ITER 6070 NEW BEST:: SOT 4363220 SOS 773132 HAS SOPS 773132 HAS SOUS 615635 HAS SOUPS 615635 WITH SCORE 616408.132
AT ITER 6071 NEW BEST:: SOT 4363088 SOS 773429 HAS SOPS 773429 HAS SOUS 615503 HAS SOUPS 615503 WITH SCORE 616276.429
AT ITER 6072 NEW BEST:: SOT 4363038 SOS 773379 HAS SOPS 773379 HAS SOUS 615453 HAS SOUPS 615453 WITH SCORE 616226.379
AT ITER 6105 NEW BEST:: SOT 4362928 SOS 773159 HAS SOPS 773159 HAS SOUS 615233 HAS SOUPS 615233 WITH SCORE 616006.159
AT ITER 6134 NEW BEST:: SOT 4362848 SOS 773176 HAS SOPS 773176 HAS SOUS 615206 HAS SOUPS 615206 WITH SCORE 615979.176
AT ITER 6147 NEW BEST:: SOT 4362690 SOS 772939 HAS SOPS 772939 HAS SOUS 614969 HAS SOUPS 614969 WITH SCORE 615741.939
AT ITER 6162 NEW BEST:: SOT 4362538 SOS 772635 HAS SOPS 772635 HAS SOUS 614868 HAS SOUPS 614868 WITH SCORE 615640.635
AT ITER 6182 NEW BEST:: SOT 4362532 SOS 772623 HAS SOPS 772623 HAS SOUS 614856 HAS SOUPS 614856 WITH SCORE 615628.623
AT ITER 6184 NEW BEST:: SOT 4362432 SOS 772946 HAS SOPS 772946 HAS SOUS 614792 HAS SOUPS 614792 WITH SCORE 615564.946
AT ITER 6221 NEW BEST:: SOT 4362432 SOS 772996 HAS SOPS 772996 HAS SOUS 614741 HAS SOUPS 614741 WITH SCORE 615513.996
AT ITER 6227 NEW BEST:: SOT 4362353 SOS 772709 HAS SOPS 772709 HAS SOUS 614579 HAS SOUPS 614579 WITH SCORE 615351.709
AT ITER 6247 NEW BEST:: SOT 4361970 SOS 771943 HAS SOPS 771943 HAS SOUS 614578 HAS SOUPS 614578 WITH SCORE 615349.943
AT ITER 6267 NEW BEST:: SOT 4361930 SOS 771863 HAS SOPS 771863 HAS SOUS 614498 HAS SOUPS 614498 WITH SCORE 615269.863
AT ITER 6270 NEW BEST:: SOT 4361891 SOS 771785 HAS SOPS 771785 HAS SOUS 614420 HAS SOUPS 614420 WITH SCORE 615191.785
AT ITER 6322 NEW BEST:: SOT 4361826 SOS 771655 HAS SOPS 771655 HAS SOUS 614355 HAS SOUPS 614355 WITH SCORE 615126.655
AT ITER 6347 NEW BEST:: SOT 4361696 SOS 771568 HAS SOPS 771568 HAS SOUS 614268 HAS SOUPS 614268 WITH SCORE 615039.568
AT ITER 6463 NEW BEST:: SOT 4361630 SOS 771436 HAS SOPS 771436 HAS SOUS 614136 HAS SOUPS 614136 WITH SCORE 614907.436
AT ITER 6475 NEW BEST:: SOT 4361600 SOS 771439 HAS SOPS 771439 HAS SOUS 614125 HAS SOUPS 614125 WITH SCORE 614896.439
AT ITER 6482 NEW BEST:: SOT 4361499 SOS 771237 HAS SOPS 771237 HAS SOUS 613923 HAS SOUPS 613923 WITH SCORE 614694.237
AT ITER 6483 NEW BEST:: SOT 4361482 SOS 771203 HAS SOPS 771203 HAS SOUS 613889 HAS SOUPS 613889 WITH SCORE 614660.203
AT ITER 6492 NEW BEST:: SOT 4361468 SOS 771176 HAS SOPS 771176 HAS SOUS 613874 HAS SOUPS 613874 WITH SCORE 614645.176
AT ITER 6555 NEW BEST:: SOT 4361463 SOS 771166 HAS SOPS 771166 HAS SOUS 613856 HAS SOUPS 613856 WITH SCORE 614627.166
AT ITER 6556 NEW BEST:: SOT 4361253 SOS 770962 HAS SOPS 770962 HAS SOUS 613544 HAS SOUPS 613544 WITH SCORE 614314.962
AT ITER 6568 NEW BEST:: SOT 4361252 SOS 770961 HAS SOPS 770961 HAS SOUS 613543 HAS SOUPS 613543 WITH SCORE 614313.961
AT ITER 6577 NEW BEST:: SOT 4361212 SOS 770881 HAS SOPS 770881 HAS SOUS 613463 HAS SOUPS 613463 WITH SCORE 614233.881
AT ITER 6586 NEW BEST:: SOT 4361179 SOS 770815 HAS SOPS 770815 HAS SOUS 613397 HAS SOUPS 613397 WITH SCORE 614167.815
AT ITER 6608 NEW BEST:: SOT 4361139 SOS 770735 HAS SOPS 770735 HAS SOUS 613317 HAS SOUPS 613317 WITH SCORE 614087.735
AT ITER 6609 NEW BEST:: SOT 4361093 SOS 770643 HAS SOPS 770643 HAS SOUS 613225 HAS SOUPS 613225 WITH SCORE 613995.643
AT ITER 6616 NEW BEST:: SOT 4360919 SOS 770469 HAS SOPS 770469 HAS SOUS 613051 HAS SOUPS 613051 WITH SCORE 613821.469
AT ITER 6617 NEW BEST:: SOT 4360838 SOS 770150 HAS SOPS 770150 HAS SOUS 612970 HAS SOUPS 612970 WITH SCORE 613740.15
AT ITER 6634 NEW BEST:: SOT 4360665 SOS 770188 HAS SOPS 770188 HAS SOUS 612797 HAS SOUPS 612797 WITH SCORE 613567.188
AT ITER 6641 NEW BEST:: SOT 4360665 SOS 770188 HAS SOPS 770188 HAS SOUS 612796 HAS SOUPS 612796 WITH SCORE 613566.188
AT ITER 6715 NEW BEST:: SOT 4360660 SOS 770178 HAS SOPS 770178 HAS SOUS 612786 HAS SOUPS 612786 WITH SCORE 613556.178
AT ITER 6765 NEW BEST:: SOT 4360660 SOS 769934 HAS SOPS 769934 HAS SOUS 612786 HAS SOUPS 612786 WITH SCORE 613555.934
AT ITER 6769 NEW BEST:: SOT 4360646 SOS 769906 HAS SOPS 769906 HAS SOUS 612765 HAS SOUPS 612765 WITH SCORE 613534.906
AT ITER 6770 NEW BEST:: SOT 4360700 SOS 769699 HAS SOPS 769699 HAS SOUS 612610 HAS SOUPS 612610 WITH SCORE 613379.699
AT ITER 6773 NEW BEST:: SOT 4360616 SOS 769531 HAS SOPS 769531 HAS SOUS 612526 HAS SOUPS 612526 WITH SCORE 613295.531
AT ITER 6774 NEW BEST:: SOT 4360603 SOS 769492 HAS SOPS 769492 HAS SOUS 612500 HAS SOUPS 612500 WITH SCORE 613269.492
AT ITER 6775 NEW BEST:: SOT 4360544 SOS 769374 HAS SOPS 769374 HAS SOUS 612441 HAS SOUPS 612441 WITH SCORE 613210.374
AT ITER 6786 NEW BEST:: SOT 4360446 SOS 769178 HAS SOPS 769178 HAS SOUS 612245 HAS SOUPS 612245 WITH SCORE 613014.178
AT ITER 6811 NEW BEST:: SOT 4360446 SOS 769153 HAS SOPS 769153 HAS SOUS 612245 HAS SOUPS 612245 WITH SCORE 613014.153
AT ITER 6813 NEW BEST:: SOT 4360224 SOS 768931 HAS SOPS 768931 HAS SOUS 612023 HAS SOUPS 612023 WITH SCORE 612791.931
AT ITER 6823 NEW BEST:: SOT 4360042 SOS 768749 HAS SOPS 768749 HAS SOUS 611841 HAS SOUPS 611841 WITH SCORE 612609.749
AT ITER 6826 NEW BEST:: SOT 4359904 SOS 768749 HAS SOPS 768749 HAS SOUS 611772 HAS SOUPS 611772 WITH SCORE 612540.749
AT ITER 6834 NEW BEST:: SOT 4359684 SOS 768309 HAS SOPS 768309 HAS SOUS 611552 HAS SOUPS 611552 WITH SCORE 612320.309
AT ITER 6848 NEW BEST:: SOT 4359912 SOS 768330 HAS SOPS 768330 HAS SOUS 611508 HAS SOUPS 611508 WITH SCORE 612276.33
AT ITER 6878 NEW BEST:: SOT 4359764 SOS 768034 HAS SOPS 768034 HAS SOUS 611286 HAS SOUPS 611286 WITH SCORE 612054.034
AT ITER 6880 NEW BEST:: SOT 4359579 SOS 767849 HAS SOPS 767849 HAS SOUS 611286 HAS SOUPS 611286 WITH SCORE 612053.849
AT ITER 6881 NEW BEST:: SOT 4359435 SOS 767661 HAS SOPS 767661 HAS SOUS 611092 HAS SOUPS 611092 WITH SCORE 611859.661
AT ITER 6927 NEW BEST:: SOT 4359368 SOS 767772 HAS SOPS 767772 HAS SOUS 611025 HAS SOUPS 611025 WITH SCORE 611792.772
AT ITER 6934 NEW BEST:: SOT 4359350 SOS 767736 HAS SOPS 767736 HAS SOUS 611007 HAS SOUPS 611007 WITH SCORE 611774.736
AT ITER 6972 NEW BEST:: SOT 4359294 SOS 767568 HAS SOPS 767568 HAS SOUS 610895 HAS SOUPS 610895 WITH SCORE 611662.568
AT ITER 6984 NEW BEST:: SOT 4359293 SOS 767566 HAS SOPS 767566 HAS SOUS 610893 HAS SOUPS 610893 WITH SCORE 611660.566
AT ITER 6999 NEW BEST:: SOT 4359192 SOS 767221 HAS SOPS 767221 HAS SOUS 610673 HAS SOUPS 610673 WITH SCORE 611440.221
AT ITER 7017 NEW BEST:: SOT 4359144 SOS 767125 HAS SOPS 767125 HAS SOUS 610577 HAS SOUPS 610577 WITH SCORE 611344.125
AT ITER 7022 NEW BEST:: SOT 4358886 SOS 766609 HAS SOPS 766609 HAS SOUS 610401 HAS SOUPS 610401 WITH SCORE 611167.609
AT ITER 7043 NEW BEST:: SOT 4358780 SOS 766397 HAS SOPS 766397 HAS SOUS 610301 HAS SOUPS 610301 WITH SCORE 611067.397
AT ITER 7089 NEW BEST:: SOT 4358754 SOS 766345 HAS SOPS 766345 HAS SOUS 610275 HAS SOUPS 610275 WITH SCORE 611041.345
AT ITER 7104 NEW BEST:: SOT 4358666 SOS 766169 HAS SOPS 766169 HAS SOUS 610143 HAS SOUPS 610143 WITH SCORE 610909.169
AT ITER 7106 NEW BEST:: SOT 4358321 SOS 746369 HAS SOPS 746369 HAS SOUS 609343 HAS SOUPS 609343 WITH SCORE 610089.369
AT ITER 7108 NEW BEST:: SOT 4358122 SOS 745374 HAS SOPS 745374 HAS SOUS 609144 HAS SOUPS 609144 WITH SCORE 609889.374
AT ITER 7113 NEW BEST:: SOT 4357907 SOS 745242 HAS SOPS 745242 HAS SOUS 609012 HAS SOUPS 609012 WITH SCORE 609757.242
AT ITER 7133 NEW BEST:: SOT 4357952 SOS 745034 HAS SOPS 745034 HAS SOUS 608953 HAS SOUPS 608953 WITH SCORE 609698.034
AT ITER 7138 NEW BEST:: SOT 4357952 SOS 745034 HAS SOPS 745034 HAS SOUS 608839 HAS SOUPS 608839 WITH SCORE 609584.034
AT ITER 7145 NEW BEST:: SOT 4357952 SOS 744927 HAS SOPS 744927 HAS SOUS 608823 HAS SOUPS 608823 WITH SCORE 609567.927
AT ITER 7198 NEW BEST:: SOT 4357969 SOS 744961 HAS SOPS 744961 HAS SOUS 608726 HAS SOUPS 608726 WITH SCORE 609470.961
AT ITER 7199 NEW BEST:: SOT 4357838 SOS 744699 HAS SOPS 744699 HAS SOUS 608337 HAS SOUPS 608337 WITH SCORE 609081.699
AT ITER 7226 NEW BEST:: SOT 4357789 SOS 744761 HAS SOPS 744761 HAS SOUS 608309 HAS SOUPS 608309 WITH SCORE 609053.761
AT ITER 7227 NEW BEST:: SOT 4357478 SOS 744139 HAS SOPS 744139 HAS SOUS 608183 HAS SOUPS 608183 WITH SCORE 608927.139
AT ITER 7231 NEW BEST:: SOT 4357525 SOS 744333 HAS SOPS 744333 HAS SOUS 608177 HAS SOUPS 608177 WITH SCORE 608921.333
AT ITER 7236 NEW BEST:: SOT 4357516 SOS 744315 HAS SOPS 744315 HAS SOUS 608024 HAS SOUPS 608024 WITH SCORE 608768.315
AT ITER 7254 NEW BEST:: SOT 4357416 SOS 744115 HAS SOPS 744115 HAS SOUS 607824 HAS SOUPS 607824 WITH SCORE 608568.115
AT ITER 7261 NEW BEST:: SOT 4357368 SOS 744083 HAS SOPS 744083 HAS SOUS 607789 HAS SOUPS 607789 WITH SCORE 608533.083
AT ITER 7292 NEW BEST:: SOT 4357099 SOS 744861 HAS SOPS 744861 HAS SOUS 607708 HAS SOUPS 607708 WITH SCORE 608452.861
AT ITER 7293 NEW BEST:: SOT 4356759 SOS 744181 HAS SOPS 744181 HAS SOUS 607448 HAS SOUPS 607448 WITH SCORE 608192.181
AT ITER 7302 NEW BEST:: SOT 4356603 SOS 743947 HAS SOPS 743947 HAS SOUS 607292 HAS SOUPS 607292 WITH SCORE 608035.947
AT ITER 7305 NEW BEST:: SOT 4356474 SOS 743598 HAS SOPS 743598 HAS SOUS 607072 HAS SOUPS 607072 WITH SCORE 607815.598
AT ITER 7328 NEW BEST:: SOT 4356473 SOS 743725 HAS SOPS 743725 HAS SOUS 607070 HAS SOUPS 607070 WITH SCORE 607813.725
AT ITER 7331 NEW BEST:: SOT 4356472 SOS 743723 HAS SOPS 743723 HAS SOUS 607068 HAS SOUPS 607068 WITH SCORE 607811.723
AT ITER 7343 NEW BEST:: SOT 4356219 SOS 743217 HAS SOPS 743217 HAS SOUS 606711 HAS SOUPS 606711 WITH SCORE 607454.217
AT ITER 7367 NEW BEST:: SOT 4356061 SOS 743059 HAS SOPS 743059 HAS SOUS 606553 HAS SOUPS 606553 WITH SCORE 607296.059
AT ITER 7422 NEW BEST:: SOT 4356055 SOS 743047 HAS SOPS 743047 HAS SOUS 606541 HAS SOUPS 606541 WITH SCORE 607284.047
AT ITER 7517 NEW BEST:: SOT 4355687 SOS 742311 HAS SOPS 742311 HAS SOUS 605805 HAS SOUPS 605805 WITH SCORE 606547.311
AT ITER 7527 NEW BEST:: SOT 4355641 SOS 742265 HAS SOPS 742265 HAS SOUS 605759 HAS SOUPS 605759 WITH SCORE 606501.265
AT ITER 7572 NEW BEST:: SOT 4355630 SOS 742030 HAS SOPS 742030 HAS SOUS 605677 HAS SOUPS 605677 WITH SCORE 606419.03
AT ITER 7598 NEW BEST:: SOT 4355870 SOS 741970 HAS SOPS 741970 HAS SOUS 605655 HAS SOUPS 605655 WITH SCORE 606396.97
AT ITER 7600 NEW BEST:: SOT 4355826 SOS 741882 HAS SOPS 741882 HAS SOUS 605567 HAS SOUPS 605567 WITH SCORE 606308.882
AT ITER 7604 NEW BEST:: SOT 4355825 SOS 741881 HAS SOPS 741881 HAS SOUS 605565 HAS SOUPS 605565 WITH SCORE 606306.881
AT ITER 7621 NEW BEST:: SOT 4355697 SOS 741753 HAS SOPS 741753 HAS SOUS 605437 HAS SOUPS 605437 WITH SCORE 606178.753
AT ITER 7631 NEW BEST:: SOT 4355128 SOS 741255 HAS SOPS 741255 HAS SOUS 604789 HAS SOUPS 604789 WITH SCORE 605530.255
AT ITER 7644 NEW BEST:: SOT 4355106 SOS 741233 HAS SOPS 741233 HAS SOUS 604767 HAS SOUPS 604767 WITH SCORE 605508.233
AT ITER 7664 NEW BEST:: SOT 4354818 SOS 740657 HAS SOPS 740657 HAS SOUS 604191 HAS SOUPS 604191 WITH SCORE 604931.657
AT ITER 7687 NEW BEST:: SOT 4354958 SOS 740433 HAS SOPS 740433 HAS SOUS 604079 HAS SOUPS 604079 WITH SCORE 604819.433
AT ITER 7701 NEW BEST:: SOT 4354768 SOS 739784 HAS SOPS 739784 HAS SOUS 603699 HAS SOUPS 603699 WITH SCORE 604438.784
AT ITER 7776 NEW BEST:: SOT 4354499 SOS 738907 HAS SOPS 738907 HAS SOUS 603161 HAS SOUPS 603161 WITH SCORE 603899.907
AT ITER 7782 NEW BEST:: SOT 4354481 SOS 738871 HAS SOPS 738871 HAS SOUS 603074 HAS SOUPS 603074 WITH SCORE 603812.871
AT ITER 7829 NEW BEST:: SOT 4354319 SOS 738547 HAS SOPS 738547 HAS SOUS 602750 HAS SOUPS 602750 WITH SCORE 603488.547
AT ITER 7835 NEW BEST:: SOT 4354123 SOS 738155 HAS SOPS 738155 HAS SOUS 602554 HAS SOUPS 602554 WITH SCORE 603292.155
AT ITER 7843 NEW BEST:: SOT 4354092 SOS 738093 HAS SOPS 738093 HAS SOUS 602492 HAS SOUPS 602492 WITH SCORE 603230.093
AT ITER 7845 NEW BEST:: SOT 4353947 SOS 739603 HAS SOPS 739603 HAS SOUS 602347 HAS SOUPS 602347 WITH SCORE 603086.603
AT ITER 7848 NEW BEST:: SOT 4353946 SOS 739602 HAS SOPS 739602 HAS SOUS 602346 HAS SOUPS 602346 WITH SCORE 603085.602
AT ITER 7849 NEW BEST:: SOT 4353610 SOS 739300 HAS SOPS 739300 HAS SOUS 602044 HAS SOUPS 602044 WITH SCORE 602783.3
AT ITER 7851 NEW BEST:: SOT 4353583 SOS 739219 HAS SOPS 739219 HAS SOUS 601990 HAS SOUPS 601990 WITH SCORE 602729.219
AT ITER 7898 NEW BEST:: SOT 4353397 SOS 739033 HAS SOPS 739033 HAS SOUS 601804 HAS SOUPS 601804 WITH SCORE 602543.033
AT ITER 7907 NEW BEST:: SOT 4353195 SOS 738412 HAS SOPS 738412 HAS SOUS 601400 HAS SOUPS 601400 WITH SCORE 602138.412
AT ITER 7929 NEW BEST:: SOT 4352761 SOS 738354 HAS SOPS 738354 HAS SOUS 601072 HAS SOUPS 601072 WITH SCORE 601810.354
AT ITER 7936 NEW BEST:: SOT 4352682 SOS 738354 HAS SOPS 738354 HAS SOUS 600993 HAS SOUPS 600993 WITH SCORE 601731.354
AT ITER 7953 NEW BEST:: SOT 4352673 SOS 738336 HAS SOPS 738336 HAS SOUS 600984 HAS SOUPS 600984 WITH SCORE 601722.336
AT ITER 7963 NEW BEST:: SOT 4352287 SOS 737564 HAS SOPS 737564 HAS SOUS 600470 HAS SOUPS 600470 WITH SCORE 601207.564
AT ITER 7989 NEW BEST:: SOT 4352243 SOS 737583 HAS SOPS 737583 HAS SOUS 600382 HAS SOUPS 600382 WITH SCORE 601119.583
AT ITER 7993 NEW BEST:: SOT 4352243 SOS 737563 HAS SOPS 737563 HAS SOUS 600362 HAS SOUPS 600362 WITH SCORE 601099.563
AT ITER 8000 NEW BEST:: SOT 4352243 SOS 737535 HAS SOPS 737535 HAS SOUS 600362 HAS SOUPS 600362 WITH SCORE 601099.535
AT ITER 8027 NEW BEST:: SOT 4352107 SOS 737331 HAS SOPS 737331 HAS SOUS 600226 HAS SOUPS 600226 WITH SCORE 600963.331
AT ITER 8033 NEW BEST:: SOT 4352075 SOS 737267 HAS SOPS 737267 HAS SOUS 600162 HAS SOUPS 600162 WITH SCORE 600899.267
AT ITER 8037 NEW BEST:: SOT 4352039 SOS 737195 HAS SOPS 737195 HAS SOUS 600090 HAS SOUPS 600090 WITH SCORE 600827.195
AT ITER 8038 NEW BEST:: SOT 4351766 SOS 736649 HAS SOPS 736649 HAS SOUS 600040 HAS SOUPS 600040 WITH SCORE 600776.649
AT ITER 8055 NEW BEST:: SOT 4351709 SOS 736535 HAS SOPS 736535 HAS SOUS 599926 HAS SOUPS 599926 WITH SCORE 600662.535
AT ITER 8083 NEW BEST:: SOT 4351544 SOS 736205 HAS SOPS 736205 HAS SOUS 599596 HAS SOUPS 599596 WITH SCORE 600332.205
AT ITER 8104 NEW BEST:: SOT 4351465 SOS 736137 HAS SOPS 736137 HAS SOUS 599522 HAS SOUPS 599522 WITH SCORE 600258.137
AT ITER 8141 NEW BEST:: SOT 4351198 SOS 735870 HAS SOPS 735870 HAS SOUS 599255 HAS SOUPS 599255 WITH SCORE 599990.87
AT ITER 8156 NEW BEST:: SOT 4351198 SOS 735866 HAS SOPS 735866 HAS SOUS 599253 HAS SOUPS 599253 WITH SCORE 599988.866
AT ITER 8159 NEW BEST:: SOT 4350254 SOS 738226 HAS SOPS 738226 HAS SOUS 598781 HAS SOUPS 598781 WITH SCORE 599519.226
AT ITER 8239 NEW BEST:: SOT 4349614 SOS 737413 HAS SOPS 737413 HAS SOUS 598363 HAS SOUPS 598363 WITH SCORE 599100.413
AT ITER 8251 NEW BEST:: SOT 4349489 SOS 737163 HAS SOPS 737163 HAS SOUS 597981 HAS SOUPS 597981 WITH SCORE 598718.163
AT ITER 8298 NEW BEST:: SOT 4349489 SOS 737043 HAS SOPS 737043 HAS SOUS 597981 HAS SOUPS 597981 WITH SCORE 598718.043
AT ITER 8317 NEW BEST:: SOT 4349489 SOS 737041 HAS SOPS 737041 HAS SOUS 597980 HAS SOUPS 597980 WITH SCORE 598717.041
AT ITER 8325 NEW BEST:: SOT 4349514 SOS 737037 HAS SOPS 737037 HAS SOUS 597976 HAS SOUPS 597976 WITH SCORE 598713.037
AT ITER 8328 NEW BEST:: SOT 4349632 SOS 737110 HAS SOPS 737110 HAS SOUS 597928 HAS SOUPS 597928 WITH SCORE 598665.11
AT ITER 8329 NEW BEST:: SOT 4349466 SOS 736612 HAS SOPS 736612 HAS SOUS 597596 HAS SOUPS 597596 WITH SCORE 598332.612
AT ITER 8350 NEW BEST:: SOT 4349466 SOS 736457 HAS SOPS 736457 HAS SOUS 597596 HAS SOUPS 597596 WITH SCORE 598332.457
AT ITER 8387 NEW BEST:: SOT 4349413 SOS 736351 HAS SOPS 736351 HAS SOUS 597542 HAS SOUPS 597542 WITH SCORE 598278.351
AT ITER 8393 NEW BEST:: SOT 4348682 SOS 735395 HAS SOPS 735395 HAS SOUS 596569 HAS SOUPS 596569 WITH SCORE 597304.395
AT ITER 8399 NEW BEST:: SOT 4348673 SOS 735378 HAS SOPS 735378 HAS SOUS 596551 HAS SOUPS 596551 WITH SCORE 597286.378
AT ITER 8417 NEW BEST:: SOT 4348714 SOS 735460 HAS SOPS 735460 HAS SOUS 596550 HAS SOUPS 596550 WITH SCORE 597285.46
AT ITER 8457 NEW BEST:: SOT 4348636 SOS 734954 HAS SOPS 734954 HAS SOUS 596394 HAS SOUPS 596394 WITH SCORE 597128.954
AT ITER 8466 NEW BEST:: SOT 4348396 SOS 734474 HAS SOPS 734474 HAS SOUS 596394 HAS SOUPS 596394 WITH SCORE 597128.474
AT ITER 8468 NEW BEST:: SOT 4348390 SOS 734468 HAS SOPS 734468 HAS SOUS 596388 HAS SOUPS 596388 WITH SCORE 597122.468
AT ITER 8500 NEW BEST:: SOT 4348456 SOS 734600 HAS SOPS 734600 HAS SOUS 596325 HAS SOUPS 596325 WITH SCORE 597059.6
AT ITER 8527 NEW BEST:: SOT 4348519 SOS 734537 HAS SOPS 734537 HAS SOUS 596325 HAS SOUPS 596325 WITH SCORE 597059.537
AT ITER 8530 NEW BEST:: SOT 4348242 SOS 734899 HAS SOPS 734899 HAS SOUS 596277 HAS SOUPS 596277 WITH SCORE 597011.899
AT ITER 8540 NEW BEST:: SOT 4348198 SOS 734811 HAS SOPS 734811 HAS SOUS 596186 HAS SOUPS 596186 WITH SCORE 596920.811
AT ITER 8552 NEW BEST:: SOT 4347280 SOS 732975 HAS SOPS 732975 HAS SOUS 594932 HAS SOUPS 594932 WITH SCORE 595664.975
AT ITER 8558 NEW BEST:: SOT 4347263 SOS 732975 HAS SOPS 732975 HAS SOUS 594915 HAS SOUPS 594915 WITH SCORE 595647.975
AT ITER 8590 NEW BEST:: SOT 4347003 SOS 732585 HAS SOPS 732585 HAS SOUS 594525 HAS SOUPS 594525 WITH SCORE 595257.585
AT ITER 8593 NEW BEST:: SOT 4346530 SOS 732683 HAS SOPS 732683 HAS SOUS 594313 HAS SOUPS 594313 WITH SCORE 595045.683
AT ITER 8600 NEW BEST:: SOT 4346346 SOS 732315 HAS SOPS 732315 HAS SOUS 594129 HAS SOUPS 594129 WITH SCORE 594861.315
AT ITER 8616 NEW BEST:: SOT 4346345 SOS 732313 HAS SOPS 732313 HAS SOUS 594127 HAS SOUPS 594127 WITH SCORE 594859.313
AT ITER 8619 NEW BEST:: SOT 4346291 SOS 732301 HAS SOPS 732301 HAS SOUS 594095 HAS SOUPS 594095 WITH SCORE 594827.301
AT ITER 8628 NEW BEST:: SOT 4346289 SOS 732297 HAS SOPS 732297 HAS SOUS 594042 HAS SOUPS 594042 WITH SCORE 594774.297
AT ITER 8673 NEW BEST:: SOT 4345945 SOS 731953 HAS SOPS 731953 HAS SOUS 593698 HAS SOUPS 593698 WITH SCORE 594429.953
AT ITER 8678 NEW BEST:: SOT 4345971 SOS 732005 HAS SOPS 732005 HAS SOUS 593575 HAS SOUPS 593575 WITH SCORE 594307.005
AT ITER 8714 NEW BEST:: SOT 4345986 SOS 732035 HAS SOPS 732035 HAS SOUS 593551 HAS SOUPS 593551 WITH SCORE 594283.035
AT ITER 8729 NEW BEST:: SOT 4345842 SOS 731747 HAS SOPS 731747 HAS SOUS 593263 HAS SOUPS 593263 WITH SCORE 593994.747
AT ITER 8735 NEW BEST:: SOT 4345841 SOS 731745 HAS SOPS 731745 HAS SOUS 593261 HAS SOUPS 593261 WITH SCORE 593992.745
AT ITER 8742 NEW BEST:: SOT 4345712 SOS 731487 HAS SOPS 731487 HAS SOUS 593003 HAS SOUPS 593003 WITH SCORE 593734.487
AT ITER 8792 NEW BEST:: SOT 4345563 SOS 731357 HAS SOPS 731357 HAS SOUS 592999 HAS SOUPS 592999 WITH SCORE 593730.357
AT ITER 8794 NEW BEST:: SOT 4345562 SOS 731355 HAS SOPS 731355 HAS SOUS 592998 HAS SOUPS 592998 WITH SCORE 593729.355
AT ITER 8813 NEW BEST:: SOT 4345291 SOS 731084 HAS SOPS 731084 HAS SOUS 592998 HAS SOUPS 592998 WITH SCORE 593729.084
AT ITER 8828 NEW BEST:: SOT 4345276 SOS 731039 HAS SOPS 731039 HAS SOUS 592968 HAS SOUPS 592968 WITH SCORE 593699.039
AT ITER 8901 NEW BEST:: SOT 4345033 SOS 730553 HAS SOPS 730553 HAS SOUS 592586 HAS SOUPS 592586 WITH SCORE 593316.553
AT ITER 8910 NEW BEST:: SOT 4345030 SOS 730547 HAS SOPS 730547 HAS SOUS 592583 HAS SOUPS 592583 WITH SCORE 593313.547
AT ITER 8912 NEW BEST:: SOT 4344984 SOS 730366 HAS SOPS 730366 HAS SOUS 592491 HAS SOUPS 592491 WITH SCORE 593221.366
AT ITER 8913 NEW BEST:: SOT 4344964 SOS 730346 HAS SOPS 730346 HAS SOUS 592471 HAS SOUPS 592471 WITH SCORE 593201.346
AT ITER 8941 NEW BEST:: SOT 4344746 SOS 730202 HAS SOPS 730202 HAS SOUS 592327 HAS SOUPS 592327 WITH SCORE 593057.202
AT ITER 8953 NEW BEST:: SOT 4344745 SOS 730200 HAS SOPS 730200 HAS SOUS 592325 HAS SOUPS 592325 WITH SCORE 593055.2
AT ITER 8988 NEW BEST:: SOT 4344262 SOS 729234 HAS SOPS 729234 HAS SOUS 591929 HAS SOUPS 591929 WITH SCORE 592658.234
AT ITER 9032 NEW BEST:: SOT 4344021 SOS 728752 HAS SOPS 728752 HAS SOUS 591455 HAS SOUPS 591455 WITH SCORE 592183.752
AT ITER 9039 NEW BEST:: SOT 4343948 SOS 728606 HAS SOPS 728606 HAS SOUS 591306 HAS SOUPS 591306 WITH SCORE 592034.606
AT ITER 9058 NEW BEST:: SOT 4343873 SOS 728328 HAS SOPS 728328 HAS SOUS 591156 HAS SOUPS 591156 WITH SCORE 591884.328
AT ITER 9095 NEW BEST:: SOT 4343876 SOS 728188 HAS SOPS 728188 HAS SOUS 591102 HAS SOUPS 591102 WITH SCORE 591830.188
AT ITER 9134 NEW BEST:: SOT 4343819 SOS 728074 HAS SOPS 728074 HAS SOUS 590988 HAS SOUPS 590988 WITH SCORE 591716.074
AT ITER 9146 NEW BEST:: SOT 4343757 SOS 727950 HAS SOPS 727950 HAS SOUS 590894 HAS SOUPS 590894 WITH SCORE 591621.95
AT ITER 9149 NEW BEST:: SOT 4343771 SOS 727909 HAS SOPS 727909 HAS SOUS 590883 HAS SOUPS 590883 WITH SCORE 591610.909
AT ITER 9208 NEW BEST:: SOT 4343613 SOS 727593 HAS SOPS 727593 HAS SOUS 590721 HAS SOUPS 590721 WITH SCORE 591448.593
AT ITER 9228 NEW BEST:: SOT 4343647 SOS 727529 HAS SOPS 727529 HAS SOUS 590657 HAS SOUPS 590657 WITH SCORE 591384.529
AT ITER 9268 NEW BEST:: SOT 4343634 SOS 727476 HAS SOPS 727476 HAS SOUS 590631 HAS SOUPS 590631 WITH SCORE 591358.476
AT ITER 9295 NEW BEST:: SOT 4343634 SOS 727291 HAS SOPS 727291 HAS SOUS 590631 HAS SOUPS 590631 WITH SCORE 591358.291
AT ITER 9310 NEW BEST:: SOT 4343631 SOS 727285 HAS SOPS 727285 HAS SOUS 590602 HAS SOUPS 590602 WITH SCORE 591329.285
AT ITER 9322 NEW BEST:: SOT 4343560 SOS 727214 HAS SOPS 727214 HAS SOUS 590531 HAS SOUPS 590531 WITH SCORE 591258.214
AT ITER 9329 NEW BEST:: SOT 4343599 SOS 727292 HAS SOPS 727292 HAS SOUS 590177 HAS SOUPS 590177 WITH SCORE 590904.292
AT ITER 9362 NEW BEST:: SOT 4343633 SOS 727085 HAS SOPS 727085 HAS SOUS 589970 HAS SOUPS 589970 WITH SCORE 590697.085
AT ITER 9385 NEW BEST:: SOT 4343722 SOS 727263 HAS SOPS 727263 HAS SOUS 589886 HAS SOUPS 589886 WITH SCORE 590613.263
AT ITER 9475 NEW BEST:: SOT 4343771 SOS 727244 HAS SOPS 727244 HAS SOUS 589842 HAS SOUPS 589842 WITH SCORE 590569.244
AT ITER 9524 NEW BEST:: SOT 4343714 SOS 727130 HAS SOPS 727130 HAS SOUS 589618 HAS SOUPS 589618 WITH SCORE 590345.13
AT ITER 9546 NEW BEST:: SOT 4343714 SOS 727130 HAS SOPS 727130 HAS SOUS 589590 HAS SOUPS 589590 WITH SCORE 590317.13
AT ITER 9570 NEW BEST:: SOT 4343643 SOS 726988 HAS SOPS 726988 HAS SOUS 589448 HAS SOUPS 589448 WITH SCORE 590174.988
AT ITER 9573 NEW BEST:: SOT 4343716 SOS 727134 HAS SOPS 727134 HAS SOUS 589321 HAS SOUPS 589321 WITH SCORE 590048.134
AT ITER 9590 NEW BEST:: SOT 4343716 SOS 727116 HAS SOPS 727116 HAS SOUS 589321 HAS SOUPS 589321 WITH SCORE 590048.116
AT ITER 9597 NEW BEST:: SOT 4343647 SOS 726978 HAS SOPS 726978 HAS SOUS 589183 HAS SOUPS 589183 WITH SCORE 589909.978
AT ITER 9616 NEW BEST:: SOT 4343615 SOS 726914 HAS SOPS 726914 HAS SOUS 589119 HAS SOUPS 589119 WITH SCORE 589845.914
AT ITER 9666 NEW BEST:: SOT 4343615 SOS 726902 HAS SOPS 726902 HAS SOUS 589107 HAS SOUPS 589107 WITH SCORE 589833.902
AT ITER 9669 NEW BEST:: SOT 4343615 SOS 726859 HAS SOPS 726859 HAS SOUS 589063 HAS SOUPS 589063 WITH SCORE 589789.859
AT ITER 9718 NEW BEST:: SOT 4343488 SOS 726592 HAS SOPS 726592 HAS SOUS 588809 HAS SOUPS 588809 WITH SCORE 589535.592
AT ITER 9762 NEW BEST:: SOT 4343359 SOS 726715 HAS SOPS 726715 HAS SOUS 588807 HAS SOUPS 588807 WITH SCORE 589533.715
AT ITER 9763 NEW BEST:: SOT 4343358 SOS 726652 HAS SOPS 726652 HAS SOUS 588805 HAS SOUPS 588805 WITH SCORE 589531.652
AT ITER 9765 NEW BEST:: SOT 4343352 SOS 726640 HAS SOPS 726640 HAS SOUS 588793 HAS SOUPS 588793 WITH SCORE 589519.64
AT ITER 9774 NEW BEST:: SOT 4343352 SOS 726640 HAS SOPS 726640 HAS SOUS 588753 HAS SOUPS 588753 WITH SCORE 589479.64
AT ITER 9776 NEW BEST:: SOT 4343213 SOS 726798 HAS SOPS 726798 HAS SOUS 588722 HAS SOUPS 588722 WITH SCORE 589448.798
AT ITER 9782 NEW BEST:: SOT 4343169 SOS 726710 HAS SOPS 726710 HAS SOUS 588677 HAS SOUPS 588677 WITH SCORE 589403.71
AT ITER 9803 NEW BEST:: SOT 4343274 SOS 726920 HAS SOPS 726920 HAS SOUS 588665 HAS SOUPS 588665 WITH SCORE 589391.92
AT ITER 9842 NEW BEST:: SOT 4343067 SOS 726713 HAS SOPS 726713 HAS SOUS 588458 HAS SOUPS 588458 WITH SCORE 589184.713
AT ITER 9870 NEW BEST:: SOT 4342849 SOS 726277 HAS SOPS 726277 HAS SOUS 588102 HAS SOUPS 588102 WITH SCORE 588828.277
AT ITER 9873 NEW BEST:: SOT 4342659 SOS 726285 HAS SOPS 726285 HAS SOUS 587912 HAS SOUPS 587912 WITH SCORE 588638.285
AT ITER 9904 NEW BEST:: SOT 4342659 SOS 726271 HAS SOPS 726271 HAS SOUS 587912 HAS SOUPS 587912 WITH SCORE 588638.271
AT ITER 9919 NEW BEST:: SOT 4342841 SOS 726362 HAS SOPS 726362 HAS SOUS 587872 HAS SOUPS 587872 WITH SCORE 588598.362
AT ITER 9931 NEW BEST:: SOT 4342850 SOS 726215 HAS SOPS 726215 HAS SOUS 587782 HAS SOUPS 587782 WITH SCORE 588508.215
AT ITER 9964 NEW BEST:: SOT 4342830 SOS 726165 HAS SOPS 726165 HAS SOUS 587752 HAS SOUPS 587752 WITH SCORE 588478.165
AT ITER 9966 NEW BEST:: SOT 4342603 SOS 725711 HAS SOPS 725711 HAS SOUS 587276 HAS SOUPS 587276 WITH SCORE 588001.711
AT ITER 9973 NEW BEST:: SOT 4342467 SOS 725439 HAS SOPS 725439 HAS SOUS 587004 HAS SOUPS 587004 WITH SCORE 587729.439
AT ITER 9979 NEW BEST:: SOT 4342448 SOS 725401 HAS SOPS 725401 HAS SOUS 586966 HAS SOUPS 586966 WITH SCORE 587691.401
AT ITER 9981 NEW BEST:: SOT 4341980 SOS 725152 HAS SOPS 725152 HAS SOUS 586575 HAS SOUPS 586575 WITH SCORE 587300.152
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10989344 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125408 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="CloudReconfiguration-PT-304"
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 CloudReconfiguration-PT-304, 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-167814483700032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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