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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.5K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K 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 4.0K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K 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 1678333247163

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-316
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 03:40:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 03:40:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 03:40:49] [INFO ] Load time of PNML (sax parser for PT used): 146 ms
[2023-03-09 03:40:49] [INFO ] Transformed 2585 places.
[2023-03-09 03:40:49] [INFO ] Transformed 3095 transitions.
[2023-03-09 03:40:49] [INFO ] Found NUPN structural information;
[2023-03-09 03:40:49] [INFO ] Parsed PT model containing 2585 places and 3095 transitions and 6463 arcs in 438 ms.
[2023-03-09 03:40:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2585 places, 3095 transitions and 6463 arcs took 25 ms.
Total runtime 496 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 316
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4449380 SOS 709814 HAS SOPS 709814 HAS SOUS 687976 HAS SOUPS 687976 WITH SCORE 688685.814
AT ITER 12 NEW BEST:: SOT 4449379 SOS 709812 HAS SOPS 709812 HAS SOUS 687974 HAS SOUPS 687974 WITH SCORE 688683.812
AT ITER 24 NEW BEST:: SOT 4449267 SOS 709738 HAS SOPS 709738 HAS SOUS 687875 HAS SOUPS 687875 WITH SCORE 688584.738
AT ITER 63 NEW BEST:: SOT 4449124 SOS 709746 HAS SOPS 709746 HAS SOUS 687743 HAS SOUPS 687743 WITH SCORE 688452.746
AT ITER 86 NEW BEST:: SOT 4448994 SOS 709616 HAS SOPS 709616 HAS SOUS 687613 HAS SOUPS 687613 WITH SCORE 688322.616
AT ITER 107 NEW BEST:: SOT 4448844 SOS 709316 HAS SOPS 709316 HAS SOUS 687078 HAS SOUPS 687078 WITH SCORE 687787.316
AT ITER 121 NEW BEST:: SOT 4448819 SOS 709315 HAS SOPS 709315 HAS SOUS 687074 HAS SOUPS 687074 WITH SCORE 687783.315
AT ITER 137 NEW BEST:: SOT 4448654 SOS 708985 HAS SOPS 708985 HAS SOUS 686744 HAS SOUPS 686744 WITH SCORE 687452.985
AT ITER 142 NEW BEST:: SOT 4448654 SOS 708985 HAS SOPS 708985 HAS SOUS 686743 HAS SOUPS 686743 WITH SCORE 687451.985
AT ITER 150 NEW BEST:: SOT 4448479 SOS 708635 HAS SOPS 708635 HAS SOUS 686442 HAS SOUPS 686442 WITH SCORE 687150.635
AT ITER 199 NEW BEST:: SOT 4448479 SOS 708635 HAS SOPS 708635 HAS SOUS 686156 HAS SOUPS 686156 WITH SCORE 686864.635
AT ITER 206 NEW BEST:: SOT 4448328 SOS 708333 HAS SOPS 708333 HAS SOUS 685854 HAS SOUPS 685854 WITH SCORE 686562.333
AT ITER 220 NEW BEST:: SOT 4448328 SOS 708332 HAS SOPS 708332 HAS SOUS 685853 HAS SOUPS 685853 WITH SCORE 686561.332
AT ITER 230 NEW BEST:: SOT 4448211 SOS 708098 HAS SOPS 708098 HAS SOUS 685619 HAS SOUPS 685619 WITH SCORE 686327.098
AT ITER 253 NEW BEST:: SOT 4448194 SOS 708064 HAS SOPS 708064 HAS SOUS 685585 HAS SOUPS 685585 WITH SCORE 686293.064
AT ITER 263 NEW BEST:: SOT 4448178 SOS 708032 HAS SOPS 708032 HAS SOUS 685553 HAS SOUPS 685553 WITH SCORE 686261.032
AT ITER 265 NEW BEST:: SOT 4447870 SOS 707597 HAS SOPS 707597 HAS SOUS 685064 HAS SOUPS 685064 WITH SCORE 685771.597
AT ITER 277 NEW BEST:: SOT 4447870 SOS 707564 HAS SOPS 707564 HAS SOUS 685031 HAS SOUPS 685031 WITH SCORE 685738.564
AT ITER 332 NEW BEST:: SOT 4447870 SOS 707258 HAS SOPS 707258 HAS SOUS 684725 HAS SOUPS 684725 WITH SCORE 685432.258
AT ITER 391 NEW BEST:: SOT 4447877 SOS 707272 HAS SOPS 707272 HAS SOUS 684685 HAS SOUPS 684685 WITH SCORE 685392.272
AT ITER 392 NEW BEST:: SOT 4448023 SOS 707564 HAS SOPS 707564 HAS SOUS 684589 HAS SOUPS 684589 WITH SCORE 685296.564
AT ITER 409 NEW BEST:: SOT 4447940 SOS 707398 HAS SOPS 707398 HAS SOUS 684423 HAS SOUPS 684423 WITH SCORE 685130.398
AT ITER 451 NEW BEST:: SOT 4447771 SOS 707060 HAS SOPS 707060 HAS SOUS 684338 HAS SOUPS 684338 WITH SCORE 685045.06
AT ITER 456 NEW BEST:: SOT 4447714 SOS 706889 HAS SOPS 706889 HAS SOUS 684280 HAS SOUPS 684280 WITH SCORE 684986.889
AT ITER 472 NEW BEST:: SOT 4447589 SOS 706639 HAS SOPS 706639 HAS SOUS 684030 HAS SOUPS 684030 WITH SCORE 684736.639
AT ITER 476 NEW BEST:: SOT 4447110 SOS 706201 HAS SOPS 706201 HAS SOUS 683468 HAS SOUPS 683468 WITH SCORE 684174.201
AT ITER 488 NEW BEST:: SOT 4447110 SOS 706200 HAS SOPS 706200 HAS SOUS 683467 HAS SOUPS 683467 WITH SCORE 684173.2
AT ITER 502 NEW BEST:: SOT 4447110 SOS 706075 HAS SOPS 706075 HAS SOUS 683342 HAS SOUPS 683342 WITH SCORE 684048.075
AT ITER 503 NEW BEST:: SOT 4447110 SOS 706075 HAS SOPS 706075 HAS SOUS 683341 HAS SOUPS 683341 WITH SCORE 684047.075
AT ITER 505 NEW BEST:: SOT 4447161 SOS 706177 HAS SOPS 706177 HAS SOUS 683321 HAS SOUPS 683321 WITH SCORE 684027.177
AT ITER 535 NEW BEST:: SOT 4446781 SOS 706099 HAS SOPS 706099 HAS SOUS 682816 HAS SOUPS 682816 WITH SCORE 683522.099
AT ITER 536 NEW BEST:: SOT 4446681 SOS 705899 HAS SOPS 705899 HAS SOUS 682616 HAS SOUPS 682616 WITH SCORE 683321.899
AT ITER 540 NEW BEST:: SOT 4446489 SOS 705652 HAS SOPS 705652 HAS SOUS 682357 HAS SOUPS 682357 WITH SCORE 683062.652
AT ITER 548 NEW BEST:: SOT 4446208 SOS 705090 HAS SOPS 705090 HAS SOUS 681795 HAS SOUPS 681795 WITH SCORE 682500.09
AT ITER 558 NEW BEST:: SOT 4446220 SOS 705114 HAS SOPS 705114 HAS SOUS 681760 HAS SOUPS 681760 WITH SCORE 682465.114
AT ITER 567 NEW BEST:: SOT 4446165 SOS 705101 HAS SOPS 705101 HAS SOUS 681658 HAS SOUPS 681658 WITH SCORE 682363.101
AT ITER 582 NEW BEST:: SOT 4446165 SOS 705032 HAS SOPS 705032 HAS SOUS 681658 HAS SOUPS 681658 WITH SCORE 682363.032
AT ITER 613 NEW BEST:: SOT 4445946 SOS 705133 HAS SOPS 705133 HAS SOUS 681550 HAS SOUPS 681550 WITH SCORE 682255.133
AT ITER 657 NEW BEST:: SOT 4445637 SOS 704721 HAS SOPS 704721 HAS SOUS 681138 HAS SOUPS 681138 WITH SCORE 681842.721
AT ITER 665 NEW BEST:: SOT 4445567 SOS 704720 HAS SOPS 704720 HAS SOUS 681137 HAS SOUPS 681137 WITH SCORE 681841.72
AT ITER 670 NEW BEST:: SOT 4445285 SOS 705772 HAS SOPS 705772 HAS SOUS 681091 HAS SOUPS 681091 WITH SCORE 681796.772
AT ITER 725 NEW BEST:: SOT 4445367 SOS 705612 HAS SOPS 705612 HAS SOUS 680965 HAS SOUPS 680965 WITH SCORE 681670.612
AT ITER 738 NEW BEST:: SOT 4445353 SOS 705584 HAS SOPS 705584 HAS SOUS 680941 HAS SOUPS 680941 WITH SCORE 681646.584
AT ITER 747 NEW BEST:: SOT 4445131 SOS 705140 HAS SOPS 705140 HAS SOUS 680497 HAS SOUPS 680497 WITH SCORE 681202.14
AT ITER 765 NEW BEST:: SOT 4444955 SOS 705045 HAS SOPS 705045 HAS SOUS 680367 HAS SOUPS 680367 WITH SCORE 681072.045
AT ITER 832 NEW BEST:: SOT 4444955 SOS 705045 HAS SOPS 705045 HAS SOUS 680253 HAS SOUPS 680253 WITH SCORE 680958.045
AT ITER 846 NEW BEST:: SOT 4444755 SOS 704845 HAS SOPS 704845 HAS SOUS 680053 HAS SOUPS 680053 WITH SCORE 680757.845
AT ITER 858 NEW BEST:: SOT 4444690 SOS 704715 HAS SOPS 704715 HAS SOUS 679923 HAS SOUPS 679923 WITH SCORE 680627.715
AT ITER 887 NEW BEST:: SOT 4444352 SOS 704377 HAS SOPS 704377 HAS SOUS 679585 HAS SOUPS 679585 WITH SCORE 680289.377
AT ITER 894 NEW BEST:: SOT 4444143 SOS 704221 HAS SOPS 704221 HAS SOUS 679429 HAS SOUPS 679429 WITH SCORE 680133.221
AT ITER 896 NEW BEST:: SOT 4444143 SOS 704221 HAS SOPS 704221 HAS SOUS 679308 HAS SOUPS 679308 WITH SCORE 680012.221
AT ITER 938 NEW BEST:: SOT 4444142 SOS 704219 HAS SOPS 704219 HAS SOUS 679306 HAS SOUPS 679306 WITH SCORE 680010.219
AT ITER 946 NEW BEST:: SOT 4444125 SOS 704185 HAS SOPS 704185 HAS SOUS 679272 HAS SOUPS 679272 WITH SCORE 679976.185
AT ITER 970 NEW BEST:: SOT 4443603 SOS 704345 HAS SOPS 704345 HAS SOUS 678873 HAS SOUPS 678873 WITH SCORE 679577.345
AT ITER 972 NEW BEST:: SOT 4443350 SOS 703839 HAS SOPS 703839 HAS SOUS 678367 HAS SOUPS 678367 WITH SCORE 679070.839
AT ITER 1006 NEW BEST:: SOT 4443215 SOS 703569 HAS SOPS 703569 HAS SOUS 677948 HAS SOUPS 677948 WITH SCORE 678651.569
AT ITER 1049 NEW BEST:: SOT 4443214 SOS 703567 HAS SOPS 703567 HAS SOUS 677946 HAS SOUPS 677946 WITH SCORE 678649.567
AT ITER 1051 NEW BEST:: SOT 4443196 SOS 703555 HAS SOPS 703555 HAS SOUS 677934 HAS SOUPS 677934 WITH SCORE 678637.555
AT ITER 1065 NEW BEST:: SOT 4443143 SOS 703449 HAS SOPS 703449 HAS SOUS 677881 HAS SOUPS 677881 WITH SCORE 678584.449
AT ITER 1080 NEW BEST:: SOT 4442460 SOS 703592 HAS SOPS 703592 HAS SOUS 677678 HAS SOUPS 677678 WITH SCORE 678381.592
AT ITER 1081 NEW BEST:: SOT 4442335 SOS 703342 HAS SOPS 703342 HAS SOUS 677428 HAS SOUPS 677428 WITH SCORE 678131.342
AT ITER 1089 NEW BEST:: SOT 4442326 SOS 703451 HAS SOPS 703451 HAS SOUS 677416 HAS SOUPS 677416 WITH SCORE 678119.451
AT ITER 1103 NEW BEST:: SOT 4442241 SOS 703281 HAS SOPS 703281 HAS SOUS 677246 HAS SOUPS 677246 WITH SCORE 677949.281
AT ITER 1104 NEW BEST:: SOT 4442215 SOS 703255 HAS SOPS 703255 HAS SOUS 677194 HAS SOUPS 677194 WITH SCORE 677897.255
AT ITER 1107 NEW BEST:: SOT 4442118 SOS 703061 HAS SOPS 703061 HAS SOUS 676731 HAS SOUPS 676731 WITH SCORE 677434.061
AT ITER 1139 NEW BEST:: SOT 4442063 SOS 702951 HAS SOPS 702951 HAS SOUS 676621 HAS SOUPS 676621 WITH SCORE 677323.951
AT ITER 1157 NEW BEST:: SOT 4442045 SOS 702915 HAS SOPS 702915 HAS SOUS 676519 HAS SOUPS 676519 WITH SCORE 677221.915
AT ITER 1207 NEW BEST:: SOT 4441800 SOS 702712 HAS SOPS 702712 HAS SOUS 676273 HAS SOUPS 676273 WITH SCORE 676975.712
AT ITER 1235 NEW BEST:: SOT 4440714 SOS 702766 HAS SOPS 702766 HAS SOUS 675288 HAS SOUPS 675288 WITH SCORE 675990.766
AT ITER 1273 NEW BEST:: SOT 4440411 SOS 702160 HAS SOPS 702160 HAS SOUS 674682 HAS SOUPS 674682 WITH SCORE 675384.16
AT ITER 1294 NEW BEST:: SOT 4440369 SOS 702142 HAS SOPS 702142 HAS SOUS 674598 HAS SOUPS 674598 WITH SCORE 675300.142
AT ITER 1301 NEW BEST:: SOT 4440290 SOS 701826 HAS SOPS 701826 HAS SOUS 674519 HAS SOUPS 674519 WITH SCORE 675220.826
AT ITER 1308 NEW BEST:: SOT 4440087 SOS 701771 HAS SOPS 701771 HAS SOUS 674316 HAS SOUPS 674316 WITH SCORE 675017.771
AT ITER 1312 NEW BEST:: SOT 4439943 SOS 701663 HAS SOPS 701663 HAS SOUS 674208 HAS SOUPS 674208 WITH SCORE 674909.663
AT ITER 1318 NEW BEST:: SOT 4439209 SOS 701220 HAS SOPS 701220 HAS SOUS 673525 HAS SOUPS 673525 WITH SCORE 674226.22
AT ITER 1328 NEW BEST:: SOT 4439014 SOS 701343 HAS SOPS 701343 HAS SOUS 673460 HAS SOUPS 673460 WITH SCORE 674161.343
AT ITER 1336 NEW BEST:: SOT 4438973 SOS 701261 HAS SOPS 701261 HAS SOUS 673378 HAS SOUPS 673378 WITH SCORE 674079.261
AT ITER 1370 NEW BEST:: SOT 4438961 SOS 701237 HAS SOPS 701237 HAS SOUS 673366 HAS SOUPS 673366 WITH SCORE 674067.237
AT ITER 1375 NEW BEST:: SOT 4438961 SOS 701210 HAS SOPS 701210 HAS SOUS 673339 HAS SOUPS 673339 WITH SCORE 674040.21
AT ITER 1415 NEW BEST:: SOT 4438721 SOS 700730 HAS SOPS 700730 HAS SOUS 673166 HAS SOUPS 673166 WITH SCORE 673866.73
AT ITER 1431 NEW BEST:: SOT 4438631 SOS 700640 HAS SOPS 700640 HAS SOUS 673076 HAS SOUPS 673076 WITH SCORE 673776.64
AT ITER 1435 NEW BEST:: SOT 4438540 SOS 700458 HAS SOPS 700458 HAS SOUS 672894 HAS SOUPS 672894 WITH SCORE 673594.458
AT ITER 1457 NEW BEST:: SOT 4438315 SOS 700958 HAS SOPS 700958 HAS SOUS 672839 HAS SOUPS 672839 WITH SCORE 673539.958
AT ITER 1479 NEW BEST:: SOT 4438368 SOS 701064 HAS SOPS 701064 HAS SOUS 672628 HAS SOUPS 672628 WITH SCORE 673329.064
AT ITER 1496 NEW BEST:: SOT 4438098 SOS 700829 HAS SOPS 700829 HAS SOUS 672373 HAS SOUPS 672373 WITH SCORE 673073.829
AT ITER 1506 NEW BEST:: SOT 4438055 SOS 699951 HAS SOPS 699951 HAS SOUS 672050 HAS SOUPS 672050 WITH SCORE 672749.951
AT ITER 1520 NEW BEST:: SOT 4438060 SOS 699946 HAS SOPS 699946 HAS SOUS 672045 HAS SOUPS 672045 WITH SCORE 672744.946
AT ITER 1570 NEW BEST:: SOT 4437885 SOS 699596 HAS SOPS 699596 HAS SOUS 671695 HAS SOUPS 671695 WITH SCORE 672394.596
AT ITER 1647 NEW BEST:: SOT 4437883 SOS 699591 HAS SOPS 699591 HAS SOUS 671690 HAS SOUPS 671690 WITH SCORE 672389.591
AT ITER 1655 NEW BEST:: SOT 4437539 SOS 698903 HAS SOPS 698903 HAS SOUS 671233 HAS SOUPS 671233 WITH SCORE 671931.903
AT ITER 1687 NEW BEST:: SOT 4437371 SOS 698802 HAS SOPS 698802 HAS SOUS 671123 HAS SOUPS 671123 WITH SCORE 671821.802
AT ITER 1705 NEW BEST:: SOT 4437371 SOS 698787 HAS SOPS 698787 HAS SOUS 671123 HAS SOUPS 671123 WITH SCORE 671821.787
AT ITER 1719 NEW BEST:: SOT 4437371 SOS 698629 HAS SOPS 698629 HAS SOUS 670965 HAS SOUPS 670965 WITH SCORE 671663.629
AT ITER 1731 NEW BEST:: SOT 4436839 SOS 698097 HAS SOPS 698097 HAS SOUS 670300 HAS SOUPS 670300 WITH SCORE 670998.097
AT ITER 1750 NEW BEST:: SOT 4436839 SOS 698027 HAS SOPS 698027 HAS SOUS 670300 HAS SOUPS 670300 WITH SCORE 670998.027
AT ITER 1766 NEW BEST:: SOT 4436787 SOS 697923 HAS SOPS 697923 HAS SOUS 670196 HAS SOUPS 670196 WITH SCORE 670893.923
AT ITER 1767 NEW BEST:: SOT 4435551 SOS 698434 HAS SOPS 698434 HAS SOUS 669548 HAS SOUPS 669548 WITH SCORE 670246.434
AT ITER 1782 NEW BEST:: SOT 4435346 SOS 698024 HAS SOPS 698024 HAS SOUS 669176 HAS SOUPS 669176 WITH SCORE 669874.024
AT ITER 1820 NEW BEST:: SOT 4435278 SOS 697888 HAS SOPS 697888 HAS SOUS 669040 HAS SOUPS 669040 WITH SCORE 669737.888
AT ITER 1822 NEW BEST:: SOT 4435074 SOS 698132 HAS SOPS 698132 HAS SOUS 668910 HAS SOUPS 668910 WITH SCORE 669608.132
AT ITER 1845 NEW BEST:: SOT 4435048 SOS 698142 HAS SOPS 698142 HAS SOUS 668880 HAS SOUPS 668880 WITH SCORE 669578.142
AT ITER 1863 NEW BEST:: SOT 4433813 SOS 697170 HAS SOPS 697170 HAS SOUS 667513 HAS SOUPS 667513 WITH SCORE 668210.17
AT ITER 1979 NEW BEST:: SOT 4433813 SOS 697170 HAS SOPS 697170 HAS SOUS 667406 HAS SOUPS 667406 WITH SCORE 668103.17
AT ITER 1981 NEW BEST:: SOT 4433813 SOS 697170 HAS SOPS 697170 HAS SOUS 667405 HAS SOUPS 667405 WITH SCORE 668102.17
AT ITER 2048 NEW BEST:: SOT 4433775 SOS 697094 HAS SOPS 697094 HAS SOUS 667329 HAS SOUPS 667329 WITH SCORE 668026.094
AT ITER 2054 NEW BEST:: SOT 4433651 SOS 696846 HAS SOPS 696846 HAS SOUS 667235 HAS SOUPS 667235 WITH SCORE 667931.846
AT ITER 2073 NEW BEST:: SOT 4433465 SOS 696846 HAS SOPS 696846 HAS SOUS 667142 HAS SOUPS 667142 WITH SCORE 667838.846
AT ITER 2107 NEW BEST:: SOT 4433463 SOS 696842 HAS SOPS 696842 HAS SOUS 667140 HAS SOUPS 667140 WITH SCORE 667836.842
AT ITER 2115 NEW BEST:: SOT 4433298 SOS 696704 HAS SOPS 696704 HAS SOUS 666982 HAS SOUPS 666982 WITH SCORE 667678.704
AT ITER 2126 NEW BEST:: SOT 4432789 SOS 696100 HAS SOPS 696100 HAS SOUS 666349 HAS SOUPS 666349 WITH SCORE 667045.1
AT ITER 2138 NEW BEST:: SOT 4432788 SOS 696134 HAS SOPS 696134 HAS SOUS 666347 HAS SOUPS 666347 WITH SCORE 667043.134
AT ITER 2160 NEW BEST:: SOT 4432791 SOS 695874 HAS SOPS 695874 HAS SOUS 666087 HAS SOUPS 666087 WITH SCORE 666782.874
AT ITER 2162 NEW BEST:: SOT 4432590 SOS 695472 HAS SOPS 695472 HAS SOUS 665685 HAS SOUPS 665685 WITH SCORE 666380.472
AT ITER 2172 NEW BEST:: SOT 4432548 SOS 695388 HAS SOPS 695388 HAS SOUS 665643 HAS SOUPS 665643 WITH SCORE 666338.388
AT ITER 2181 NEW BEST:: SOT 4431780 SOS 694876 HAS SOPS 694876 HAS SOUS 665131 HAS SOUPS 665131 WITH SCORE 665825.876
AT ITER 2184 NEW BEST:: SOT 4431609 SOS 694534 HAS SOPS 694534 HAS SOUS 664607 HAS SOUPS 664607 WITH SCORE 665301.534
AT ITER 2199 NEW BEST:: SOT 4431583 SOS 694482 HAS SOPS 694482 HAS SOUS 664555 HAS SOUPS 664555 WITH SCORE 665249.482
AT ITER 2203 NEW BEST:: SOT 4431573 SOS 694462 HAS SOPS 694462 HAS SOUS 664535 HAS SOUPS 664535 WITH SCORE 665229.462
AT ITER 2205 NEW BEST:: SOT 4431419 SOS 694000 HAS SOPS 694000 HAS SOUS 664227 HAS SOUPS 664227 WITH SCORE 664921.0
AT ITER 2208 NEW BEST:: SOT 4431419 SOS 693958 HAS SOPS 693958 HAS SOUS 664213 HAS SOUPS 664213 WITH SCORE 664906.958
AT ITER 2219 NEW BEST:: SOT 4431349 SOS 693818 HAS SOPS 693818 HAS SOUS 664143 HAS SOUPS 664143 WITH SCORE 664836.818
AT ITER 2290 NEW BEST:: SOT 4431238 SOS 693596 HAS SOPS 693596 HAS SOUS 663982 HAS SOUPS 663982 WITH SCORE 664675.596
AT ITER 2293 NEW BEST:: SOT 4431194 SOS 693508 HAS SOPS 693508 HAS SOUS 663894 HAS SOUPS 663894 WITH SCORE 664587.508
AT ITER 2308 NEW BEST:: SOT 4431181 SOS 693482 HAS SOPS 693482 HAS SOUS 663868 HAS SOUPS 663868 WITH SCORE 664561.482
AT ITER 2330 NEW BEST:: SOT 4431181 SOS 693471 HAS SOPS 693471 HAS SOUS 663857 HAS SOUPS 663857 WITH SCORE 664550.471
AT ITER 2332 NEW BEST:: SOT 4431180 SOS 693049 HAS SOPS 693049 HAS SOUS 663763 HAS SOUPS 663763 WITH SCORE 664456.049
AT ITER 2355 NEW BEST:: SOT 4431161 SOS 693011 HAS SOPS 693011 HAS SOUS 663725 HAS SOUPS 663725 WITH SCORE 664418.011
AT ITER 2364 NEW BEST:: SOT 4430899 SOS 692749 HAS SOPS 692749 HAS SOUS 663463 HAS SOUPS 663463 WITH SCORE 664155.749
AT ITER 2365 NEW BEST:: SOT 4430576 SOS 692395 HAS SOPS 692395 HAS SOUS 662994 HAS SOUPS 662994 WITH SCORE 663686.395
AT ITER 2373 NEW BEST:: SOT 4430170 SOS 693495 HAS SOPS 693495 HAS SOUS 662668 HAS SOUPS 662668 WITH SCORE 663361.495
AT ITER 2409 NEW BEST:: SOT 4429940 SOS 693265 HAS SOPS 693265 HAS SOUS 662438 HAS SOUPS 662438 WITH SCORE 663131.265
AT ITER 2425 NEW BEST:: SOT 4429909 SOS 693203 HAS SOPS 693203 HAS SOUS 662407 HAS SOUPS 662407 WITH SCORE 663100.203
AT ITER 2441 NEW BEST:: SOT 4429909 SOS 693174 HAS SOPS 693174 HAS SOUS 662378 HAS SOUPS 662378 WITH SCORE 663071.174
AT ITER 2489 NEW BEST:: SOT 4429909 SOS 693058 HAS SOPS 693058 HAS SOUS 662262 HAS SOUPS 662262 WITH SCORE 662955.058
AT ITER 2492 NEW BEST:: SOT 4429509 SOS 692658 HAS SOPS 692658 HAS SOUS 661862 HAS SOUPS 661862 WITH SCORE 662554.658
AT ITER 2494 NEW BEST:: SOT 4429355 SOS 692196 HAS SOPS 692196 HAS SOUS 661554 HAS SOUPS 661554 WITH SCORE 662246.196
AT ITER 2499 NEW BEST:: SOT 4429208 SOS 692049 HAS SOPS 692049 HAS SOUS 661407 HAS SOUPS 661407 WITH SCORE 662099.049
AT ITER 2518 NEW BEST:: SOT 4429143 SOS 691984 HAS SOPS 691984 HAS SOUS 661342 HAS SOUPS 661342 WITH SCORE 662033.984
AT ITER 2545 NEW BEST:: SOT 4429143 SOS 691984 HAS SOPS 691984 HAS SOUS 661293 HAS SOUPS 661293 WITH SCORE 661984.984
AT ITER 2567 NEW BEST:: SOT 4429095 SOS 691964 HAS SOPS 691964 HAS SOUS 661273 HAS SOUPS 661273 WITH SCORE 661964.964
AT ITER 2576 NEW BEST:: SOT 4428786 SOS 690987 HAS SOPS 690987 HAS SOUS 660655 HAS SOUPS 660655 WITH SCORE 661345.987
AT ITER 2602 NEW BEST:: SOT 4428779 SOS 690973 HAS SOPS 690973 HAS SOUS 660647 HAS SOUPS 660647 WITH SCORE 661337.973
AT ITER 2603 NEW BEST:: SOT 4428716 SOS 690910 HAS SOPS 690910 HAS SOUS 660584 HAS SOUPS 660584 WITH SCORE 661274.91
AT ITER 2604 NEW BEST:: SOT 4428716 SOS 690910 HAS SOPS 690910 HAS SOUS 660550 HAS SOUPS 660550 WITH SCORE 661240.91
AT ITER 2609 NEW BEST:: SOT 4428461 SOS 690400 HAS SOPS 690400 HAS SOUS 660040 HAS SOUPS 660040 WITH SCORE 660730.4
AT ITER 2623 NEW BEST:: SOT 4428415 SOS 690354 HAS SOPS 690354 HAS SOUS 659994 HAS SOUPS 659994 WITH SCORE 660684.354
AT ITER 2624 NEW BEST:: SOT 4428075 SOS 690685 HAS SOPS 690685 HAS SOUS 659991 HAS SOUPS 659991 WITH SCORE 660681.685
AT ITER 2629 NEW BEST:: SOT 4428024 SOS 690583 HAS SOPS 690583 HAS SOUS 659889 HAS SOUPS 659889 WITH SCORE 660579.583
AT ITER 2639 NEW BEST:: SOT 4427971 SOS 690400 HAS SOPS 690400 HAS SOUS 659759 HAS SOUPS 659759 WITH SCORE 660449.4
AT ITER 2654 NEW BEST:: SOT 4427971 SOS 690400 HAS SOPS 690400 HAS SOUS 659568 HAS SOUPS 659568 WITH SCORE 660258.4
AT ITER 2668 NEW BEST:: SOT 4422998 SOS 716575 HAS SOPS 716575 HAS SOUS 655507 HAS SOUPS 655507 WITH SCORE 656223.575
AT ITER 2671 NEW BEST:: SOT 4422997 SOS 716573 HAS SOPS 716573 HAS SOUS 655506 HAS SOUPS 655506 WITH SCORE 656222.573
AT ITER 2683 NEW BEST:: SOT 4422997 SOS 716424 HAS SOPS 716424 HAS SOUS 655506 HAS SOUPS 655506 WITH SCORE 656222.424
AT ITER 2694 NEW BEST:: SOT 4423599 SOS 716342 HAS SOPS 716342 HAS SOUS 655465 HAS SOUPS 655465 WITH SCORE 656181.342
AT ITER 2710 NEW BEST:: SOT 4423499 SOS 716667 HAS SOPS 716667 HAS SOUS 655329 HAS SOUPS 655329 WITH SCORE 656045.667
AT ITER 2747 NEW BEST:: SOT 4423441 SOS 716551 HAS SOPS 716551 HAS SOUS 655213 HAS SOUPS 655213 WITH SCORE 655929.551
AT ITER 2761 NEW BEST:: SOT 4423441 SOS 716551 HAS SOPS 716551 HAS SOUS 654892 HAS SOUPS 654892 WITH SCORE 655608.551
AT ITER 2764 NEW BEST:: SOT 4423207 SOS 716083 HAS SOPS 716083 HAS SOUS 654424 HAS SOUPS 654424 WITH SCORE 655140.083
AT ITER 2768 NEW BEST:: SOT 4423214 SOS 716097 HAS SOPS 716097 HAS SOUS 654392 HAS SOUPS 654392 WITH SCORE 655108.097
AT ITER 2772 NEW BEST:: SOT 4423063 SOS 715995 HAS SOPS 715995 HAS SOUS 654290 HAS SOUPS 654290 WITH SCORE 655005.995
AT ITER 2777 NEW BEST:: SOT 4423063 SOS 715704 HAS SOPS 715704 HAS SOUS 653999 HAS SOUPS 653999 WITH SCORE 654714.704
AT ITER 2787 NEW BEST:: SOT 4423010 SOS 715598 HAS SOPS 715598 HAS SOUS 653893 HAS SOUPS 653893 WITH SCORE 654608.598
AT ITER 2814 NEW BEST:: SOT 4422591 SOS 715656 HAS SOPS 715656 HAS SOUS 653540 HAS SOUPS 653540 WITH SCORE 654255.656
AT ITER 2819 NEW BEST:: SOT 4422551 SOS 715576 HAS SOPS 715576 HAS SOUS 653460 HAS SOUPS 653460 WITH SCORE 654175.576
AT ITER 2823 NEW BEST:: SOT 4422550 SOS 715574 HAS SOPS 715574 HAS SOUS 653399 HAS SOUPS 653399 WITH SCORE 654114.574
AT ITER 2851 NEW BEST:: SOT 4422548 SOS 715570 HAS SOPS 715570 HAS SOUS 653395 HAS SOUPS 653395 WITH SCORE 654110.57
AT ITER 2866 NEW BEST:: SOT 4422548 SOS 715519 HAS SOPS 715519 HAS SOUS 653395 HAS SOUPS 653395 WITH SCORE 654110.519
AT ITER 2870 NEW BEST:: SOT 4422484 SOS 715467 HAS SOPS 715467 HAS SOUS 653331 HAS SOUPS 653331 WITH SCORE 654046.467
AT ITER 2873 NEW BEST:: SOT 4422441 SOS 715381 HAS SOPS 715381 HAS SOUS 653071 HAS SOUPS 653071 WITH SCORE 653786.381
AT ITER 2895 NEW BEST:: SOT 4422286 SOS 715071 HAS SOPS 715071 HAS SOUS 652761 HAS SOUPS 652761 WITH SCORE 653476.071
AT ITER 2915 NEW BEST:: SOT 4422225 SOS 715017 HAS SOPS 715017 HAS SOUS 652707 HAS SOUPS 652707 WITH SCORE 653422.017
AT ITER 2917 NEW BEST:: SOT 4421730 SOS 714457 HAS SOPS 714457 HAS SOUS 652048 HAS SOUPS 652048 WITH SCORE 652762.457
AT ITER 2936 NEW BEST:: SOT 4421634 SOS 714265 HAS SOPS 714265 HAS SOUS 651904 HAS SOUPS 651904 WITH SCORE 652618.265
AT ITER 2964 NEW BEST:: SOT 4421633 SOS 714263 HAS SOPS 714263 HAS SOUS 651902 HAS SOUPS 651902 WITH SCORE 652616.263
AT ITER 2978 NEW BEST:: SOT 4421593 SOS 714183 HAS SOPS 714183 HAS SOUS 651822 HAS SOUPS 651822 WITH SCORE 652536.183
AT ITER 2979 NEW BEST:: SOT 4421549 SOS 714095 HAS SOPS 714095 HAS SOUS 651734 HAS SOUPS 651734 WITH SCORE 652448.095
AT ITER 2984 NEW BEST:: SOT 4421549 SOS 713870 HAS SOPS 713870 HAS SOUS 651509 HAS SOUPS 651509 WITH SCORE 652222.87
AT ITER 2992 NEW BEST:: SOT 4421549 SOS 713801 HAS SOPS 713801 HAS SOUS 651440 HAS SOUPS 651440 WITH SCORE 652153.801
AT ITER 3026 NEW BEST:: SOT 4421549 SOS 713790 HAS SOPS 713790 HAS SOUS 651440 HAS SOUPS 651440 WITH SCORE 652153.79
AT ITER 3044 NEW BEST:: SOT 4421454 SOS 713811 HAS SOPS 713811 HAS SOUS 651134 HAS SOUPS 651134 WITH SCORE 651847.811
AT ITER 3054 NEW BEST:: SOT 4421432 SOS 713767 HAS SOPS 713767 HAS SOUS 651090 HAS SOUPS 651090 WITH SCORE 651803.767
AT ITER 3062 NEW BEST:: SOT 4421282 SOS 713693 HAS SOPS 713693 HAS SOUS 650940 HAS SOUPS 650940 WITH SCORE 651653.693
AT ITER 3067 NEW BEST:: SOT 4421282 SOS 713583 HAS SOPS 713583 HAS SOUS 650830 HAS SOUPS 650830 WITH SCORE 651543.583
AT ITER 3069 NEW BEST:: SOT 4421275 SOS 713569 HAS SOPS 713569 HAS SOUS 650822 HAS SOUPS 650822 WITH SCORE 651535.569
AT ITER 3094 NEW BEST:: SOT 4421077 SOS 713376 HAS SOPS 713376 HAS SOUS 650624 HAS SOUPS 650624 WITH SCORE 651337.376
AT ITER 3095 NEW BEST:: SOT 4421286 SOS 713794 HAS SOPS 713794 HAS SOUS 650494 HAS SOUPS 650494 WITH SCORE 651207.794
AT ITER 3098 NEW BEST:: SOT 4421138 SOS 713497 HAS SOPS 713497 HAS SOUS 650197 HAS SOUPS 650197 WITH SCORE 650910.497
AT ITER 3099 NEW BEST:: SOT 4420925 SOS 713284 HAS SOPS 713284 HAS SOUS 649984 HAS SOUPS 649984 WITH SCORE 650697.284
AT ITER 3120 NEW BEST:: SOT 4420837 SOS 713284 HAS SOPS 713284 HAS SOUS 649808 HAS SOUPS 649808 WITH SCORE 650521.284
AT ITER 3131 NEW BEST:: SOT 4420568 SOS 712746 HAS SOPS 712746 HAS SOUS 649270 HAS SOUPS 649270 WITH SCORE 649982.746
AT ITER 3136 NEW BEST:: SOT 4420421 SOS 712744 HAS SOPS 712744 HAS SOUS 649268 HAS SOUPS 649268 WITH SCORE 649980.744
AT ITER 3149 NEW BEST:: SOT 4420421 SOS 712743 HAS SOPS 712743 HAS SOUS 649266 HAS SOUPS 649266 WITH SCORE 649978.743
AT ITER 3162 NEW BEST:: SOT 4420205 SOS 712311 HAS SOPS 712311 HAS SOUS 648834 HAS SOUPS 648834 WITH SCORE 649546.311
AT ITER 3205 NEW BEST:: SOT 4420058 SOS 712164 HAS SOPS 712164 HAS SOUS 648609 HAS SOUPS 648609 WITH SCORE 649321.164
AT ITER 3225 NEW BEST:: SOT 4420023 SOS 712094 HAS SOPS 712094 HAS SOUS 648539 HAS SOUPS 648539 WITH SCORE 649251.094
AT ITER 3236 NEW BEST:: SOT 4419826 SOS 711700 HAS SOPS 711700 HAS SOUS 648339 HAS SOUPS 648339 WITH SCORE 649050.7
AT ITER 3243 NEW BEST:: SOT 4419826 SOS 711792 HAS SOPS 711792 HAS SOUS 648177 HAS SOUPS 648177 WITH SCORE 648888.792
AT ITER 3260 NEW BEST:: SOT 4419825 SOS 711790 HAS SOPS 711790 HAS SOUS 648175 HAS SOUPS 648175 WITH SCORE 648886.79
AT ITER 3290 NEW BEST:: SOT 4419728 SOS 711596 HAS SOPS 711596 HAS SOUS 648078 HAS SOUPS 648078 WITH SCORE 648789.596
AT ITER 3291 NEW BEST:: SOT 4419630 SOS 711400 HAS SOPS 711400 HAS SOUS 647882 HAS SOUPS 647882 WITH SCORE 648593.4
AT ITER 3313 NEW BEST:: SOT 4419509 SOS 711158 HAS SOPS 711158 HAS SOUS 647640 HAS SOUPS 647640 WITH SCORE 648351.158
AT ITER 3315 NEW BEST:: SOT 4419509 SOS 711158 HAS SOPS 711158 HAS SOUS 647496 HAS SOUPS 647496 WITH SCORE 648207.158
AT ITER 3324 NEW BEST:: SOT 4419509 SOS 711157 HAS SOPS 711157 HAS SOUS 647495 HAS SOUPS 647495 WITH SCORE 648206.157
AT ITER 3354 NEW BEST:: SOT 4419469 SOS 711077 HAS SOPS 711077 HAS SOUS 647455 HAS SOUPS 647455 WITH SCORE 648166.077
AT ITER 3356 NEW BEST:: SOT 4419457 SOS 711053 HAS SOPS 711053 HAS SOUS 647431 HAS SOUPS 647431 WITH SCORE 648142.053
AT ITER 3368 NEW BEST:: SOT 4419384 SOS 710787 HAS SOPS 710787 HAS SOUS 647380 HAS SOUPS 647380 WITH SCORE 648090.787
AT ITER 3384 NEW BEST:: SOT 4419356 SOS 710731 HAS SOPS 710731 HAS SOUS 647324 HAS SOUPS 647324 WITH SCORE 648034.731
AT ITER 3405 NEW BEST:: SOT 4419218 SOS 710455 HAS SOPS 710455 HAS SOUS 647041 HAS SOUPS 647041 WITH SCORE 647751.455
AT ITER 3434 NEW BEST:: SOT 4419218 SOS 710442 HAS SOPS 710442 HAS SOUS 647028 HAS SOUPS 647028 WITH SCORE 647738.442
AT ITER 3438 NEW BEST:: SOT 4419009 SOS 710024 HAS SOPS 710024 HAS SOUS 646610 HAS SOUPS 646610 WITH SCORE 647320.024
AT ITER 3446 NEW BEST:: SOT 4419035 SOS 710076 HAS SOPS 710076 HAS SOUS 646428 HAS SOUPS 646428 WITH SCORE 647138.076
AT ITER 3467 NEW BEST:: SOT 4418843 SOS 709459 HAS SOPS 709459 HAS SOUS 646044 HAS SOUPS 646044 WITH SCORE 646753.459
AT ITER 3479 NEW BEST:: SOT 4418859 SOS 709491 HAS SOPS 709491 HAS SOUS 646033 HAS SOUPS 646033 WITH SCORE 646742.491
AT ITER 3483 NEW BEST:: SOT 4418850 SOS 709473 HAS SOPS 709473 HAS SOUS 646024 HAS SOUPS 646024 WITH SCORE 646733.473
AT ITER 3512 NEW BEST:: SOT 4418430 SOS 708966 HAS SOPS 708966 HAS SOUS 645517 HAS SOUPS 645517 WITH SCORE 646225.966
AT ITER 3515 NEW BEST:: SOT 4418395 SOS 708896 HAS SOPS 708896 HAS SOUS 645482 HAS SOUPS 645482 WITH SCORE 646190.896
AT ITER 3527 NEW BEST:: SOT 4418395 SOS 708896 HAS SOPS 708896 HAS SOUS 645481 HAS SOUPS 645481 WITH SCORE 646189.896
AT ITER 3549 NEW BEST:: SOT 4418442 SOS 708517 HAS SOPS 708517 HAS SOUS 645055 HAS SOUPS 645055 WITH SCORE 645763.517
AT ITER 3584 NEW BEST:: SOT 4418333 SOS 708702 HAS SOPS 708702 HAS SOUS 645046 HAS SOUPS 645046 WITH SCORE 645754.702
AT ITER 3590 NEW BEST:: SOT 4417912 SOS 708932 HAS SOPS 708932 HAS SOUS 644953 HAS SOUPS 644953 WITH SCORE 645661.932
AT ITER 3615 NEW BEST:: SOT 4417911 SOS 708930 HAS SOPS 708930 HAS SOUS 644951 HAS SOUPS 644951 WITH SCORE 645659.93
AT ITER 3622 NEW BEST:: SOT 4417740 SOS 708588 HAS SOPS 708588 HAS SOUS 644609 HAS SOUPS 644609 WITH SCORE 645317.588
AT ITER 3649 NEW BEST:: SOT 4417594 SOS 708888 HAS SOPS 708888 HAS SOUS 644490 HAS SOUPS 644490 WITH SCORE 645198.888
AT ITER 3652 NEW BEST:: SOT 4417309 SOS 708939 HAS SOPS 708939 HAS SOUS 644229 HAS SOUPS 644229 WITH SCORE 644937.939
AT ITER 3670 NEW BEST:: SOT 4417309 SOS 708856 HAS SOPS 708856 HAS SOUS 644229 HAS SOUPS 644229 WITH SCORE 644937.856
AT ITER 3671 NEW BEST:: SOT 4417260 SOS 708758 HAS SOPS 708758 HAS SOUS 644180 HAS SOUPS 644180 WITH SCORE 644888.758
AT ITER 3673 NEW BEST:: SOT 4417235 SOS 708708 HAS SOPS 708708 HAS SOUS 644130 HAS SOUPS 644130 WITH SCORE 644838.708
AT ITER 3687 NEW BEST:: SOT 4417107 SOS 708580 HAS SOPS 708580 HAS SOUS 644002 HAS SOUPS 644002 WITH SCORE 644710.58
AT ITER 3688 NEW BEST:: SOT 4416719 SOS 708425 HAS SOPS 708425 HAS SOUS 643675 HAS SOUPS 643675 WITH SCORE 644383.425
AT ITER 3699 NEW BEST:: SOT 4416549 SOS 708085 HAS SOPS 708085 HAS SOUS 643587 HAS SOUPS 643587 WITH SCORE 644295.085
AT ITER 3726 NEW BEST:: SOT 4416524 SOS 708035 HAS SOPS 708035 HAS SOUS 643551 HAS SOUPS 643551 WITH SCORE 644259.035
AT ITER 3737 NEW BEST:: SOT 4416523 SOS 708033 HAS SOPS 708033 HAS SOUS 643549 HAS SOUPS 643549 WITH SCORE 644257.033
AT ITER 3738 NEW BEST:: SOT 4416523 SOS 707979 HAS SOPS 707979 HAS SOUS 643495 HAS SOUPS 643495 WITH SCORE 644202.979
AT ITER 3748 NEW BEST:: SOT 4416271 SOS 707475 HAS SOPS 707475 HAS SOUS 642991 HAS SOUPS 642991 WITH SCORE 643698.475
AT ITER 3753 NEW BEST:: SOT 4416180 SOS 707384 HAS SOPS 707384 HAS SOUS 642900 HAS SOUPS 642900 WITH SCORE 643607.384
AT ITER 3766 NEW BEST:: SOT 4416159 SOS 707341 HAS SOPS 707341 HAS SOUS 642857 HAS SOUPS 642857 WITH SCORE 643564.341
AT ITER 3775 NEW BEST:: SOT 4416112 SOS 707247 HAS SOPS 707247 HAS SOUS 642810 HAS SOUPS 642810 WITH SCORE 643517.247
AT ITER 3781 NEW BEST:: SOT 4416012 SOS 706947 HAS SOPS 706947 HAS SOUS 642610 HAS SOUPS 642610 WITH SCORE 643316.947
AT ITER 3782 NEW BEST:: SOT 4415985 SOS 707019 HAS SOPS 707019 HAS SOUS 642586 HAS SOUPS 642586 WITH SCORE 643293.019
AT ITER 3796 NEW BEST:: SOT 4415969 SOS 707002 HAS SOPS 707002 HAS SOUS 642569 HAS SOUPS 642569 WITH SCORE 643276.002
AT ITER 3803 NEW BEST:: SOT 4415939 SOS 706942 HAS SOPS 706942 HAS SOUS 642509 HAS SOUPS 642509 WITH SCORE 643215.942
AT ITER 3818 NEW BEST:: SOT 4415933 SOS 707330 HAS SOPS 707330 HAS SOUS 642436 HAS SOUPS 642436 WITH SCORE 643143.33
AT ITER 3836 NEW BEST:: SOT 4415714 SOS 706891 HAS SOPS 706891 HAS SOUS 641997 HAS SOUPS 641997 WITH SCORE 642703.891
AT ITER 3837 NEW BEST:: SOT 4415538 SOS 706720 HAS SOPS 706720 HAS SOUS 641821 HAS SOUPS 641821 WITH SCORE 642527.72
AT ITER 3846 NEW BEST:: SOT 4415238 SOS 705701 HAS SOPS 705701 HAS SOUS 641221 HAS SOUPS 641221 WITH SCORE 641926.701
AT ITER 3849 NEW BEST:: SOT 4415189 SOS 705603 HAS SOPS 705603 HAS SOUS 641172 HAS SOUPS 641172 WITH SCORE 641877.603
AT ITER 3883 NEW BEST:: SOT 4415075 SOS 705375 HAS SOPS 705375 HAS SOUS 640944 HAS SOUPS 640944 WITH SCORE 641649.375
AT ITER 3911 NEW BEST:: SOT 4414928 SOS 705443 HAS SOPS 705443 HAS SOUS 640893 HAS SOUPS 640893 WITH SCORE 641598.443
AT ITER 3915 NEW BEST:: SOT 4414583 SOS 706660 HAS SOPS 706660 HAS SOUS 640777 HAS SOUPS 640777 WITH SCORE 641483.66
AT ITER 3934 NEW BEST:: SOT 4414583 SOS 706594 HAS SOPS 706594 HAS SOUS 640711 HAS SOUPS 640711 WITH SCORE 641417.594
AT ITER 3942 NEW BEST:: SOT 4414530 SOS 706488 HAS SOPS 706488 HAS SOUS 640658 HAS SOUPS 640658 WITH SCORE 641364.488
AT ITER 3945 NEW BEST:: SOT 4414276 SOS 705980 HAS SOPS 705980 HAS SOUS 640404 HAS SOUPS 640404 WITH SCORE 641109.98
AT ITER 3946 NEW BEST:: SOT 4414322 SOS 705978 HAS SOPS 705978 HAS SOUS 640402 HAS SOUPS 640402 WITH SCORE 641107.978
AT ITER 3948 NEW BEST:: SOT 4414375 SOS 705960 HAS SOPS 705960 HAS SOUS 640384 HAS SOUPS 640384 WITH SCORE 641089.96
AT ITER 3950 NEW BEST:: SOT 4414373 SOS 705956 HAS SOPS 705956 HAS SOUS 640380 HAS SOUPS 640380 WITH SCORE 641085.956
AT ITER 3978 NEW BEST:: SOT 4414398 SOS 705837 HAS SOPS 705837 HAS SOUS 640236 HAS SOUPS 640236 WITH SCORE 640941.837
AT ITER 4004 NEW BEST:: SOT 4414398 SOS 705837 HAS SOPS 705837 HAS SOUS 640225 HAS SOUPS 640225 WITH SCORE 640930.837
AT ITER 4008 NEW BEST:: SOT 4414398 SOS 705748 HAS SOPS 705748 HAS SOUS 640225 HAS SOUPS 640225 WITH SCORE 640930.748
AT ITER 4024 NEW BEST:: SOT 4414385 SOS 705722 HAS SOPS 705722 HAS SOUS 640173 HAS SOUPS 640173 WITH SCORE 640878.722
AT ITER 4029 NEW BEST:: SOT 4414286 SOS 705721 HAS SOPS 705721 HAS SOUS 640172 HAS SOUPS 640172 WITH SCORE 640877.721
AT ITER 4066 NEW BEST:: SOT 4413835 SOS 706359 HAS SOPS 706359 HAS SOUS 640170 HAS SOUPS 640170 WITH SCORE 640876.359
AT ITER 4074 NEW BEST:: SOT 4413702 SOS 706573 HAS SOPS 706573 HAS SOUS 640155 HAS SOUPS 640155 WITH SCORE 640861.573
AT ITER 4079 NEW BEST:: SOT 4413620 SOS 706409 HAS SOPS 706409 HAS SOUS 639991 HAS SOUPS 639991 WITH SCORE 640697.409
AT ITER 4115 NEW BEST:: SOT 4413410 SOS 706199 HAS SOPS 706199 HAS SOUS 639781 HAS SOUPS 639781 WITH SCORE 640487.199
AT ITER 4128 NEW BEST:: SOT 4412735 SOS 706133 HAS SOPS 706133 HAS SOUS 639045 HAS SOUPS 639045 WITH SCORE 639751.133
AT ITER 4157 NEW BEST:: SOT 4412716 SOS 706095 HAS SOPS 706095 HAS SOUS 639026 HAS SOUPS 639026 WITH SCORE 639732.095
AT ITER 4246 NEW BEST:: SOT 4412601 SOS 705865 HAS SOPS 705865 HAS SOUS 638598 HAS SOUPS 638598 WITH SCORE 639303.865
AT ITER 4275 NEW BEST:: SOT 4412601 SOS 705700 HAS SOPS 705700 HAS SOUS 638598 HAS SOUPS 638598 WITH SCORE 639303.7
AT ITER 4281 NEW BEST:: SOT 4412500 SOS 705498 HAS SOPS 705498 HAS SOUS 638396 HAS SOUPS 638396 WITH SCORE 639101.498
AT ITER 4291 NEW BEST:: SOT 4412416 SOS 705414 HAS SOPS 705414 HAS SOUS 638312 HAS SOUPS 638312 WITH SCORE 639017.414
AT ITER 4324 NEW BEST:: SOT 4412226 SOS 705224 HAS SOPS 705224 HAS SOUS 638122 HAS SOUPS 638122 WITH SCORE 638827.224
AT ITER 4330 NEW BEST:: SOT 4412159 SOS 705316 HAS SOPS 705316 HAS SOUS 638101 HAS SOUPS 638101 WITH SCORE 638806.316
AT ITER 4382 NEW BEST:: SOT 4411743 SOS 704484 HAS SOPS 704484 HAS SOUS 637877 HAS SOUPS 637877 WITH SCORE 638581.484
AT ITER 4409 NEW BEST:: SOT 4411235 SOS 703144 HAS SOPS 703144 HAS SOUS 637045 HAS SOUPS 637045 WITH SCORE 637748.144
AT ITER 4417 NEW BEST:: SOT 4411216 SOS 703105 HAS SOPS 703105 HAS SOUS 637006 HAS SOUPS 637006 WITH SCORE 637709.105
AT ITER 4427 NEW BEST:: SOT 4411230 SOS 703095 HAS SOPS 703095 HAS SOUS 637001 HAS SOUPS 637001 WITH SCORE 637704.095
AT ITER 4435 NEW BEST:: SOT 4411221 SOS 702734 HAS SOPS 702734 HAS SOUS 636692 HAS SOUPS 636692 WITH SCORE 637394.734
AT ITER 4446 NEW BEST:: SOT 4409027 SOS 740388 HAS SOPS 740388 HAS SOUS 636014 HAS SOUPS 636014 WITH SCORE 636754.388
AT ITER 4475 NEW BEST:: SOT 4409026 SOS 740386 HAS SOPS 740386 HAS SOUS 636012 HAS SOUPS 636012 WITH SCORE 636752.386
AT ITER 4484 NEW BEST:: SOT 4408899 SOS 740259 HAS SOPS 740259 HAS SOUS 635885 HAS SOUPS 635885 WITH SCORE 636625.259
AT ITER 4495 NEW BEST:: SOT 4408335 SOS 739131 HAS SOPS 739131 HAS SOUS 635817 HAS SOUPS 635817 WITH SCORE 636556.131
AT ITER 4496 NEW BEST:: SOT 4408274 SOS 739009 HAS SOPS 739009 HAS SOUS 635755 HAS SOUPS 635755 WITH SCORE 636494.009
AT ITER 4514 NEW BEST:: SOT 4408161 SOS 738783 HAS SOPS 738783 HAS SOUS 635529 HAS SOUPS 635529 WITH SCORE 636267.783
AT ITER 4521 NEW BEST:: SOT 4408015 SOS 738491 HAS SOPS 738491 HAS SOUS 635237 HAS SOUPS 635237 WITH SCORE 635975.491
AT ITER 4530 NEW BEST:: SOT 4407906 SOS 738273 HAS SOPS 738273 HAS SOUS 635019 HAS SOUPS 635019 WITH SCORE 635757.273
AT ITER 4568 NEW BEST:: SOT 4407906 SOS 738272 HAS SOPS 738272 HAS SOUS 635018 HAS SOUPS 635018 WITH SCORE 635756.272
AT ITER 4583 NEW BEST:: SOT 4407679 SOS 737818 HAS SOPS 737818 HAS SOUS 634564 HAS SOUPS 634564 WITH SCORE 635301.818
AT ITER 4588 NEW BEST:: SOT 4407735 SOS 737802 HAS SOPS 737802 HAS SOUS 634548 HAS SOUPS 634548 WITH SCORE 635285.802
AT ITER 4625 NEW BEST:: SOT 4407583 SOS 737498 HAS SOPS 737498 HAS SOUS 634244 HAS SOUPS 634244 WITH SCORE 634981.498
AT ITER 4627 NEW BEST:: SOT 4407452 SOS 737367 HAS SOPS 737367 HAS SOUS 634113 HAS SOUPS 634113 WITH SCORE 634850.367
AT ITER 4629 NEW BEST:: SOT 4407272 SOS 737187 HAS SOPS 737187 HAS SOUS 633933 HAS SOUPS 633933 WITH SCORE 634670.187
AT ITER 4639 NEW BEST:: SOT 4407072 SOS 736787 HAS SOPS 736787 HAS SOUS 633731 HAS SOUPS 633731 WITH SCORE 634467.787
AT ITER 4649 NEW BEST:: SOT 4407072 SOS 736766 HAS SOPS 736766 HAS SOUS 633710 HAS SOUPS 633710 WITH SCORE 634446.766
AT ITER 4661 NEW BEST:: SOT 4407072 SOS 736766 HAS SOPS 736766 HAS SOUS 633623 HAS SOUPS 633623 WITH SCORE 634359.766
AT ITER 4674 NEW BEST:: SOT 4407000 SOS 736694 HAS SOPS 736694 HAS SOUS 633551 HAS SOUPS 633551 WITH SCORE 634287.694
AT ITER 4677 NEW BEST:: SOT 4407000 SOS 736662 HAS SOPS 736662 HAS SOUS 633519 HAS SOUPS 633519 WITH SCORE 634255.662
AT ITER 4711 NEW BEST:: SOT 4407278 SOS 737218 HAS SOPS 737218 HAS SOUS 633459 HAS SOUPS 633459 WITH SCORE 634196.218
AT ITER 4719 NEW BEST:: SOT 4407130 SOS 736922 HAS SOPS 736922 HAS SOUS 633174 HAS SOUPS 633174 WITH SCORE 633910.922
AT ITER 4724 NEW BEST:: SOT 4407217 SOS 737096 HAS SOPS 737096 HAS SOUS 633160 HAS SOUPS 633160 WITH SCORE 633897.096
AT ITER 4778 NEW BEST:: SOT 4407071 SOS 737224 HAS SOPS 737224 HAS SOUS 633088 HAS SOUPS 633088 WITH SCORE 633825.224
AT ITER 4785 NEW BEST:: SOT 4407081 SOS 737171 HAS SOPS 737171 HAS SOUS 633035 HAS SOUPS 633035 WITH SCORE 633772.171
AT ITER 4791 NEW BEST:: SOT 4407065 SOS 737172 HAS SOPS 737172 HAS SOUS 633019 HAS SOUPS 633019 WITH SCORE 633756.172
AT ITER 4816 NEW BEST:: SOT 4407018 SOS 737078 HAS SOPS 737078 HAS SOUS 632972 HAS SOUPS 632972 WITH SCORE 633709.078
AT ITER 4819 NEW BEST:: SOT 4407018 SOS 737078 HAS SOPS 737078 HAS SOUS 632968 HAS SOUPS 632968 WITH SCORE 633705.078
AT ITER 4820 NEW BEST:: SOT 4406932 SOS 737554 HAS SOPS 737554 HAS SOUS 632882 HAS SOUPS 632882 WITH SCORE 633619.554
AT ITER 4825 NEW BEST:: SOT 4406633 SOS 736956 HAS SOPS 736956 HAS SOUS 632856 HAS SOUPS 632856 WITH SCORE 633592.956
AT ITER 4829 NEW BEST:: SOT 4406570 SOS 736830 HAS SOPS 736830 HAS SOUS 632730 HAS SOUPS 632730 WITH SCORE 633466.83
AT ITER 4847 NEW BEST:: SOT 4406570 SOS 736830 HAS SOPS 736830 HAS SOUS 632329 HAS SOUPS 632329 WITH SCORE 633065.83
AT ITER 4877 NEW BEST:: SOT 4406570 SOS 736518 HAS SOPS 736518 HAS SOUS 632017 HAS SOUPS 632017 WITH SCORE 632753.518
AT ITER 4878 NEW BEST:: SOT 4406540 SOS 736458 HAS SOPS 736458 HAS SOUS 631957 HAS SOUPS 631957 WITH SCORE 632693.458
AT ITER 4882 NEW BEST:: SOT 4406447 SOS 736272 HAS SOPS 736272 HAS SOUS 631860 HAS SOUPS 631860 WITH SCORE 632596.272
AT ITER 4912 NEW BEST:: SOT 4406161 SOS 735801 HAS SOPS 735801 HAS SOUS 631675 HAS SOUPS 631675 WITH SCORE 632410.801
AT ITER 4997 NEW BEST:: SOT 4406005 SOS 735676 HAS SOPS 735676 HAS SOUS 631532 HAS SOUPS 631532 WITH SCORE 632267.676
AT ITER 5002 NEW BEST:: SOT 4405956 SOS 735578 HAS SOPS 735578 HAS SOUS 631434 HAS SOUPS 631434 WITH SCORE 632169.578
AT ITER 5050 NEW BEST:: SOT 4405816 SOS 735298 HAS SOPS 735298 HAS SOUS 631224 HAS SOUPS 631224 WITH SCORE 631959.298
AT ITER 5053 NEW BEST:: SOT 4405754 SOS 735174 HAS SOPS 735174 HAS SOUS 631062 HAS SOUPS 631062 WITH SCORE 631797.174
AT ITER 5079 NEW BEST:: SOT 4405754 SOS 735103 HAS SOPS 735103 HAS SOUS 630991 HAS SOUPS 630991 WITH SCORE 631726.103
AT ITER 5084 NEW BEST:: SOT 4405891 SOS 735377 HAS SOPS 735377 HAS SOUS 630915 HAS SOUPS 630915 WITH SCORE 631650.377
AT ITER 5094 NEW BEST:: SOT 4405881 SOS 735367 HAS SOPS 735367 HAS SOUS 630905 HAS SOUPS 630905 WITH SCORE 631640.367
AT ITER 5121 NEW BEST:: SOT 4405872 SOS 735349 HAS SOPS 735349 HAS SOUS 630887 HAS SOUPS 630887 WITH SCORE 631622.349
AT ITER 5127 NEW BEST:: SOT 4405740 SOS 735117 HAS SOPS 735117 HAS SOUS 630886 HAS SOUPS 630886 WITH SCORE 631621.117
AT ITER 5144 NEW BEST:: SOT 4405581 SOS 734799 HAS SOPS 734799 HAS SOUS 630568 HAS SOUPS 630568 WITH SCORE 631302.799
AT ITER 5156 NEW BEST:: SOT 4405558 SOS 734778 HAS SOPS 734778 HAS SOUS 630547 HAS SOUPS 630547 WITH SCORE 631281.778
AT ITER 5159 NEW BEST:: SOT 4405456 SOS 734573 HAS SOPS 734573 HAS SOUS 630175 HAS SOUPS 630175 WITH SCORE 630909.573
AT ITER 5162 NEW BEST:: SOT 4405182 SOS 734299 HAS SOPS 734299 HAS SOUS 629901 HAS SOUPS 629901 WITH SCORE 630635.299
AT ITER 5186 NEW BEST:: SOT 4405052 SOS 734038 HAS SOPS 734038 HAS SOUS 629640 HAS SOUPS 629640 WITH SCORE 630374.038
AT ITER 5209 NEW BEST:: SOT 4404865 SOS 733664 HAS SOPS 733664 HAS SOUS 629266 HAS SOUPS 629266 WITH SCORE 629999.664
AT ITER 5237 NEW BEST:: SOT 4404722 SOS 733460 HAS SOPS 733460 HAS SOUS 629143 HAS SOUPS 629143 WITH SCORE 629876.46
AT ITER 5264 NEW BEST:: SOT 4404597 SOS 733475 HAS SOPS 733475 HAS SOUS 629065 HAS SOUPS 629065 WITH SCORE 629798.475
AT ITER 5300 NEW BEST:: SOT 4404311 SOS 733012 HAS SOPS 733012 HAS SOUS 628793 HAS SOUPS 628793 WITH SCORE 629526.012
AT ITER 5301 NEW BEST:: SOT 4404410 SOS 716974 HAS SOPS 716974 HAS SOUS 628595 HAS SOUPS 628595 WITH SCORE 629311.974
AT ITER 5316 NEW BEST:: SOT 4404034 SOS 708508 HAS SOPS 708508 HAS SOUS 628219 HAS SOUPS 628219 WITH SCORE 628927.508
AT ITER 5317 NEW BEST:: SOT 4403999 SOS 708438 HAS SOPS 708438 HAS SOUS 628186 HAS SOUPS 628186 WITH SCORE 628894.438
AT ITER 5321 NEW BEST:: SOT 4403940 SOS 708320 HAS SOPS 708320 HAS SOUS 628127 HAS SOUPS 628127 WITH SCORE 628835.32
AT ITER 5350 NEW BEST:: SOT 4403903 SOS 708283 HAS SOPS 708283 HAS SOUS 628090 HAS SOUPS 628090 WITH SCORE 628798.283
AT ITER 5370 NEW BEST:: SOT 4403771 SOS 708195 HAS SOPS 708195 HAS SOUS 627958 HAS SOUPS 627958 WITH SCORE 628666.195
AT ITER 5382 NEW BEST:: SOT 4403491 SOS 707268 HAS SOPS 707268 HAS SOUS 627313 HAS SOUPS 627313 WITH SCORE 628020.268
AT ITER 5393 NEW BEST:: SOT 4403427 SOS 707140 HAS SOPS 707140 HAS SOUS 627185 HAS SOUPS 627185 WITH SCORE 627892.14
AT ITER 5410 NEW BEST:: SOT 4403141 SOS 706665 HAS SOPS 706665 HAS SOUS 627011 HAS SOUPS 627011 WITH SCORE 627717.665
AT ITER 5426 NEW BEST:: SOT 4402983 SOS 706507 HAS SOPS 706507 HAS SOUS 626853 HAS SOUPS 626853 WITH SCORE 627559.507
AT ITER 5494 NEW BEST:: SOT 4402978 SOS 706497 HAS SOPS 706497 HAS SOUS 626843 HAS SOUPS 626843 WITH SCORE 627549.497
AT ITER 5501 NEW BEST:: SOT 4402893 SOS 706327 HAS SOPS 706327 HAS SOUS 626756 HAS SOUPS 626756 WITH SCORE 627462.327
AT ITER 5514 NEW BEST:: SOT 4402879 SOS 706299 HAS SOPS 706299 HAS SOUS 626728 HAS SOUPS 626728 WITH SCORE 627434.299
AT ITER 5518 NEW BEST:: SOT 4402854 SOS 706298 HAS SOPS 706298 HAS SOUS 626727 HAS SOUPS 626727 WITH SCORE 627433.298
AT ITER 5521 NEW BEST:: SOT 4402546 SOS 705682 HAS SOPS 705682 HAS SOUS 626111 HAS SOUPS 626111 WITH SCORE 626816.682
AT ITER 5537 NEW BEST:: SOT 4402546 SOS 705682 HAS SOPS 705682 HAS SOUS 626110 HAS SOUPS 626110 WITH SCORE 626815.682
AT ITER 5547 NEW BEST:: SOT 4402409 SOS 704937 HAS SOPS 704937 HAS SOUS 625836 HAS SOUPS 625836 WITH SCORE 626540.937
AT ITER 5550 NEW BEST:: SOT 4402409 SOS 704711 HAS SOPS 704711 HAS SOUS 625723 HAS SOUPS 625723 WITH SCORE 626427.711
AT ITER 5553 NEW BEST:: SOT 4402375 SOS 704643 HAS SOPS 704643 HAS SOUS 625655 HAS SOUPS 625655 WITH SCORE 626359.643
AT ITER 5569 NEW BEST:: SOT 4402329 SOS 704505 HAS SOPS 704505 HAS SOUS 625563 HAS SOUPS 625563 WITH SCORE 626267.505
AT ITER 5619 NEW BEST:: SOT 4402329 SOS 704505 HAS SOPS 704505 HAS SOUS 625539 HAS SOUPS 625539 WITH SCORE 626243.505
AT ITER 5622 NEW BEST:: SOT 4402322 SOS 704893 HAS SOPS 704893 HAS SOUS 625532 HAS SOUPS 625532 WITH SCORE 626236.893
AT ITER 5631 NEW BEST:: SOT 4402322 SOS 704732 HAS SOPS 704732 HAS SOUS 625532 HAS SOUPS 625532 WITH SCORE 626236.732
AT ITER 5641 NEW BEST:: SOT 4402236 SOS 704560 HAS SOPS 704560 HAS SOUS 625360 HAS SOUPS 625360 WITH SCORE 626064.56
AT ITER 5664 NEW BEST:: SOT 4401568 SOS 704700 HAS SOPS 704700 HAS SOUS 624994 HAS SOUPS 624994 WITH SCORE 625698.7
AT ITER 5704 NEW BEST:: SOT 4401546 SOS 713339 HAS SOPS 713339 HAS SOUS 624972 HAS SOUPS 624972 WITH SCORE 625685.339
AT ITER 5711 NEW BEST:: SOT 4401474 SOS 713333 HAS SOPS 713333 HAS SOUS 624966 HAS SOUPS 624966 WITH SCORE 625679.333
AT ITER 5792 NEW BEST:: SOT 4401474 SOS 713332 HAS SOPS 713332 HAS SOUS 624965 HAS SOUPS 624965 WITH SCORE 625678.332
AT ITER 5813 NEW BEST:: SOT 4401525 SOS 713192 HAS SOPS 713192 HAS SOUS 624825 HAS SOUPS 624825 WITH SCORE 625538.192
AT ITER 5864 NEW BEST:: SOT 4401578 SOS 713127 HAS SOPS 713127 HAS SOUS 624583 HAS SOUPS 624583 WITH SCORE 625296.127
AT ITER 5895 NEW BEST:: SOT 4401464 SOS 712899 HAS SOPS 712899 HAS SOUS 624469 HAS SOUPS 624469 WITH SCORE 625181.899
AT ITER 5896 NEW BEST:: SOT 4401464 SOS 712675 HAS SOPS 712675 HAS SOUS 624441 HAS SOUPS 624441 WITH SCORE 625153.675
AT ITER 5909 NEW BEST:: SOT 4401459 SOS 712665 HAS SOPS 712665 HAS SOUS 624436 HAS SOUPS 624436 WITH SCORE 625148.665
AT ITER 5911 NEW BEST:: SOT 4401459 SOS 712590 HAS SOPS 712590 HAS SOUS 624361 HAS SOUPS 624361 WITH SCORE 625073.59
AT ITER 5923 NEW BEST:: SOT 4401364 SOS 712400 HAS SOPS 712400 HAS SOUS 624266 HAS SOUPS 624266 WITH SCORE 624978.4
AT ITER 5955 NEW BEST:: SOT 4401213 SOS 712098 HAS SOPS 712098 HAS SOUS 623964 HAS SOUPS 623964 WITH SCORE 624676.098
AT ITER 5996 NEW BEST:: SOT 4401260 SOS 711607 HAS SOPS 711607 HAS SOUS 623893 HAS SOUPS 623893 WITH SCORE 624604.607
AT ITER 6029 NEW BEST:: SOT 4400779 SOS 711093 HAS SOPS 711093 HAS SOUS 623283 HAS SOUPS 623283 WITH SCORE 623994.093
AT ITER 6033 NEW BEST:: SOT 4400746 SOS 711027 HAS SOPS 711027 HAS SOUS 623250 HAS SOUPS 623250 WITH SCORE 623961.027
AT ITER 6061 NEW BEST:: SOT 4400479 SOS 710493 HAS SOPS 710493 HAS SOUS 622890 HAS SOUPS 622890 WITH SCORE 623600.493
AT ITER 6067 NEW BEST:: SOT 4400528 SOS 710504 HAS SOPS 710504 HAS SOUS 622747 HAS SOUPS 622747 WITH SCORE 623457.504
AT ITER 6069 NEW BEST:: SOT 4400790 SOS 710596 HAS SOPS 710596 HAS SOUS 622746 HAS SOUPS 622746 WITH SCORE 623456.596
AT ITER 6079 NEW BEST:: SOT 4400735 SOS 710486 HAS SOPS 710486 HAS SOUS 622691 HAS SOUPS 622691 WITH SCORE 623401.486
AT ITER 6115 NEW BEST:: SOT 4400802 SOS 710309 HAS SOPS 710309 HAS SOUS 622645 HAS SOUPS 622645 WITH SCORE 623355.309
AT ITER 6167 NEW BEST:: SOT 4400710 SOS 710307 HAS SOPS 710307 HAS SOUS 622599 HAS SOUPS 622599 WITH SCORE 623309.307
AT ITER 6182 NEW BEST:: SOT 4400536 SOS 710202 HAS SOPS 710202 HAS SOUS 622459 HAS SOUPS 622459 WITH SCORE 623169.202
AT ITER 6186 NEW BEST:: SOT 4400137 SOS 710012 HAS SOPS 710012 HAS SOUS 622269 HAS SOUPS 622269 WITH SCORE 622979.012
AT ITER 6194 NEW BEST:: SOT 4399953 SOS 709736 HAS SOPS 709736 HAS SOUS 621993 HAS SOUPS 621993 WITH SCORE 622702.736
AT ITER 6204 NEW BEST:: SOT 4399706 SOS 709242 HAS SOPS 709242 HAS SOUS 621499 HAS SOUPS 621499 WITH SCORE 622208.242
AT ITER 6223 NEW BEST:: SOT 4399675 SOS 709180 HAS SOPS 709180 HAS SOUS 621437 HAS SOUPS 621437 WITH SCORE 622146.18
AT ITER 6237 NEW BEST:: SOT 4399814 SOS 708324 HAS SOPS 708324 HAS SOUS 621198 HAS SOUPS 621198 WITH SCORE 621906.324
AT ITER 6262 NEW BEST:: SOT 4399736 SOS 708168 HAS SOPS 708168 HAS SOUS 621042 HAS SOUPS 621042 WITH SCORE 621750.168
AT ITER 6282 NEW BEST:: SOT 4399603 SOS 708035 HAS SOPS 708035 HAS SOUS 621012 HAS SOUPS 621012 WITH SCORE 621720.035
AT ITER 6288 NEW BEST:: SOT 4399556 SOS 707941 HAS SOPS 707941 HAS SOUS 620918 HAS SOUPS 620918 WITH SCORE 621625.941
AT ITER 6292 NEW BEST:: SOT 4399556 SOS 707941 HAS SOPS 707941 HAS SOUS 620899 HAS SOUPS 620899 WITH SCORE 621606.941
AT ITER 6295 NEW BEST:: SOT 4399872 SOS 708243 HAS SOPS 708243 HAS SOUS 620885 HAS SOUPS 620885 WITH SCORE 621593.243
AT ITER 6302 NEW BEST:: SOT 4399711 SOS 708082 HAS SOPS 708082 HAS SOUS 620724 HAS SOUPS 620724 WITH SCORE 621432.082
AT ITER 6330 NEW BEST:: SOT 4399711 SOS 707737 HAS SOPS 707737 HAS SOUS 620379 HAS SOUPS 620379 WITH SCORE 621086.737
AT ITER 6365 NEW BEST:: SOT 4399629 SOS 707699 HAS SOPS 707699 HAS SOUS 620296 HAS SOUPS 620296 WITH SCORE 621003.699
AT ITER 6383 NEW BEST:: SOT 4399292 SOS 707254 HAS SOPS 707254 HAS SOUS 619772 HAS SOUPS 619772 WITH SCORE 620479.254
AT ITER 6422 NEW BEST:: SOT 4399288 SOS 707250 HAS SOPS 707250 HAS SOUS 619769 HAS SOUPS 619769 WITH SCORE 620476.25
AT ITER 6460 NEW BEST:: SOT 4399244 SOS 707206 HAS SOPS 707206 HAS SOUS 619725 HAS SOUPS 619725 WITH SCORE 620432.206
AT ITER 6465 NEW BEST:: SOT 4399244 SOS 707206 HAS SOPS 707206 HAS SOUS 619637 HAS SOUPS 619637 WITH SCORE 620344.206
AT ITER 6478 NEW BEST:: SOT 4399169 SOS 707056 HAS SOPS 707056 HAS SOUS 619487 HAS SOUPS 619487 WITH SCORE 620194.056
AT ITER 6495 NEW BEST:: SOT 4399137 SOS 707024 HAS SOPS 707024 HAS SOUS 619486 HAS SOUPS 619486 WITH SCORE 620193.024
AT ITER 6516 NEW BEST:: SOT 4399106 SOS 706962 HAS SOPS 706962 HAS SOUS 619321 HAS SOUPS 619321 WITH SCORE 620027.962
AT ITER 6538 NEW BEST:: SOT 4398963 SOS 706676 HAS SOPS 706676 HAS SOUS 619180 HAS SOUPS 619180 WITH SCORE 619886.676
AT ITER 6584 NEW BEST:: SOT 4398750 SOS 706250 HAS SOPS 706250 HAS SOUS 618822 HAS SOUPS 618822 WITH SCORE 619528.25
AT ITER 6585 NEW BEST:: SOT 4398746 SOS 706367 HAS SOPS 706367 HAS SOUS 618754 HAS SOUPS 618754 WITH SCORE 619460.367
AT ITER 6593 NEW BEST:: SOT 4398484 SOS 706105 HAS SOPS 706105 HAS SOUS 618492 HAS SOUPS 618492 WITH SCORE 619198.105
AT ITER 6604 NEW BEST:: SOT 4398359 SOS 705355 HAS SOPS 705355 HAS SOUS 618242 HAS SOUPS 618242 WITH SCORE 618947.355
AT ITER 6627 NEW BEST:: SOT 4397861 SOS 705010 HAS SOPS 705010 HAS SOUS 617777 HAS SOUPS 617777 WITH SCORE 618482.01
AT ITER 6645 NEW BEST:: SOT 4397861 SOS 704808 HAS SOPS 704808 HAS SOUS 617575 HAS SOUPS 617575 WITH SCORE 618279.808
AT ITER 6655 NEW BEST:: SOT 4397861 SOS 704808 HAS SOPS 704808 HAS SOUS 617380 HAS SOUPS 617380 WITH SCORE 618084.808
AT ITER 6662 NEW BEST:: SOT 4397831 SOS 704748 HAS SOPS 704748 HAS SOUS 617244 HAS SOUPS 617244 WITH SCORE 617948.748
AT ITER 6665 NEW BEST:: SOT 4397795 SOS 704676 HAS SOPS 704676 HAS SOUS 616983 HAS SOUPS 616983 WITH SCORE 617687.676
AT ITER 6667 NEW BEST:: SOT 4397795 SOS 704676 HAS SOPS 704676 HAS SOUS 616977 HAS SOUPS 616977 WITH SCORE 617681.676
AT ITER 6669 NEW BEST:: SOT 4397887 SOS 704432 HAS SOPS 704432 HAS SOUS 616855 HAS SOUPS 616855 WITH SCORE 617559.432
AT ITER 6710 NEW BEST:: SOT 4397845 SOS 704389 HAS SOPS 704389 HAS SOUS 616813 HAS SOUPS 616813 WITH SCORE 617517.389
AT ITER 6724 NEW BEST:: SOT 4397762 SOS 704223 HAS SOPS 704223 HAS SOUS 616647 HAS SOUPS 616647 WITH SCORE 617351.223
AT ITER 6773 NEW BEST:: SOT 4397761 SOS 704221 HAS SOPS 704221 HAS SOUS 616645 HAS SOUPS 616645 WITH SCORE 617349.221
AT ITER 6793 NEW BEST:: SOT 4397667 SOS 704221 HAS SOPS 704221 HAS SOUS 616558 HAS SOUPS 616558 WITH SCORE 617262.221
AT ITER 6794 NEW BEST:: SOT 4397574 SOS 704035 HAS SOPS 704035 HAS SOUS 616088 HAS SOUPS 616088 WITH SCORE 616792.035
AT ITER 6814 NEW BEST:: SOT 4397574 SOS 704035 HAS SOPS 704035 HAS SOUS 616063 HAS SOUPS 616063 WITH SCORE 616767.035
AT ITER 6829 NEW BEST:: SOT 4397442 SOS 703771 HAS SOPS 703771 HAS SOUS 616002 HAS SOUPS 616002 WITH SCORE 616705.771
AT ITER 6877 NEW BEST:: SOT 4397374 SOS 703635 HAS SOPS 703635 HAS SOUS 615866 HAS SOUPS 615866 WITH SCORE 616569.635
AT ITER 6898 NEW BEST:: SOT 4397060 SOS 703719 HAS SOPS 703719 HAS SOUS 615751 HAS SOUPS 615751 WITH SCORE 616454.719
AT ITER 6915 NEW BEST:: SOT 4397060 SOS 703664 HAS SOPS 703664 HAS SOUS 615696 HAS SOUPS 615696 WITH SCORE 616399.664
AT ITER 6919 NEW BEST:: SOT 4397049 SOS 703500 HAS SOPS 703500 HAS SOUS 615675 HAS SOUPS 615675 WITH SCORE 616378.5
AT ITER 6938 NEW BEST:: SOT 4397026 SOS 703454 HAS SOPS 703454 HAS SOUS 615629 HAS SOUPS 615629 WITH SCORE 616332.454
AT ITER 6961 NEW BEST:: SOT 4397004 SOS 703154 HAS SOPS 703154 HAS SOUS 615491 HAS SOUPS 615491 WITH SCORE 616194.154
AT ITER 6985 NEW BEST:: SOT 4396975 SOS 703096 HAS SOPS 703096 HAS SOUS 615433 HAS SOUPS 615433 WITH SCORE 616136.096
AT ITER 7027 NEW BEST:: SOT 4396738 SOS 703044 HAS SOPS 703044 HAS SOUS 615215 HAS SOUPS 615215 WITH SCORE 615918.044
AT ITER 7032 NEW BEST:: SOT 4396738 SOS 703042 HAS SOPS 703042 HAS SOUS 615215 HAS SOUPS 615215 WITH SCORE 615918.042
AT ITER 7077 NEW BEST:: SOT 4396738 SOS 703042 HAS SOPS 703042 HAS SOUS 615214 HAS SOUPS 615214 WITH SCORE 615917.042
AT ITER 7081 NEW BEST:: SOT 4396333 SOS 702637 HAS SOPS 702637 HAS SOUS 614809 HAS SOUPS 614809 WITH SCORE 615511.637
AT ITER 7115 NEW BEST:: SOT 4396260 SOS 702377 HAS SOPS 702377 HAS SOUS 614622 HAS SOUPS 614622 WITH SCORE 615324.377
AT ITER 7129 NEW BEST:: SOT 4396040 SOS 702222 HAS SOPS 702222 HAS SOUS 614402 HAS SOUPS 614402 WITH SCORE 615104.222
AT ITER 7157 NEW BEST:: SOT 4395547 SOS 701739 HAS SOPS 701739 HAS SOUS 614124 HAS SOUPS 614124 WITH SCORE 614825.739
AT ITER 7158 NEW BEST:: SOT 4395547 SOS 701588 HAS SOPS 701588 HAS SOUS 614124 HAS SOUPS 614124 WITH SCORE 614825.588
AT ITER 7168 NEW BEST:: SOT 4395547 SOS 702546 HAS SOPS 702546 HAS SOUS 613980 HAS SOUPS 613980 WITH SCORE 614682.546
AT ITER 7188 NEW BEST:: SOT 4395293 SOS 702165 HAS SOPS 702165 HAS SOUS 613599 HAS SOUPS 613599 WITH SCORE 614301.165
AT ITER 7195 NEW BEST:: SOT 4395263 SOS 702075 HAS SOPS 702075 HAS SOUS 613539 HAS SOUPS 613539 WITH SCORE 614241.075
AT ITER 7196 NEW BEST:: SOT 4395203 SOS 701955 HAS SOPS 701955 HAS SOUS 613479 HAS SOUPS 613479 WITH SCORE 614180.955
AT ITER 7224 NEW BEST:: SOT 4395065 SOS 701501 HAS SOPS 701501 HAS SOUS 613472 HAS SOUPS 613472 WITH SCORE 614173.501
AT ITER 7236 NEW BEST:: SOT 4394906 SOS 702072 HAS SOPS 702072 HAS SOUS 613440 HAS SOUPS 613440 WITH SCORE 614142.072
AT ITER 7245 NEW BEST:: SOT 4394749 SOS 701418 HAS SOPS 701418 HAS SOUS 612994 HAS SOUPS 612994 WITH SCORE 613695.418
AT ITER 7263 NEW BEST:: SOT 4394666 SOS 701427 HAS SOPS 701427 HAS SOUS 612868 HAS SOUPS 612868 WITH SCORE 613569.427
AT ITER 7268 NEW BEST:: SOT 4394338 SOS 701356 HAS SOPS 701356 HAS SOUS 612605 HAS SOUPS 612605 WITH SCORE 613306.356
AT ITER 7290 NEW BEST:: SOT 4394337 SOS 701354 HAS SOPS 701354 HAS SOUS 612603 HAS SOUPS 612603 WITH SCORE 613304.354
AT ITER 7338 NEW BEST:: SOT 4393884 SOS 700834 HAS SOPS 700834 HAS SOUS 612014 HAS SOUPS 612014 WITH SCORE 612714.834
AT ITER 7380 NEW BEST:: SOT 4393817 SOS 700700 HAS SOPS 700700 HAS SOUS 611880 HAS SOUPS 611880 WITH SCORE 612580.7
AT ITER 7390 NEW BEST:: SOT 4393807 SOS 700700 HAS SOPS 700700 HAS SOUS 611870 HAS SOUPS 611870 WITH SCORE 612570.7
AT ITER 7392 NEW BEST:: SOT 4393718 SOS 700522 HAS SOPS 700522 HAS SOUS 611692 HAS SOUPS 611692 WITH SCORE 612392.522
AT ITER 7409 NEW BEST:: SOT 4393489 SOS 700520 HAS SOPS 700520 HAS SOUS 611577 HAS SOUPS 611577 WITH SCORE 612277.52
AT ITER 7445 NEW BEST:: SOT 4393249 SOS 700040 HAS SOPS 700040 HAS SOUS 611337 HAS SOUPS 611337 WITH SCORE 612037.04
AT ITER 7446 NEW BEST:: SOT 4393260 SOS 700062 HAS SOPS 700062 HAS SOUS 611242 HAS SOUPS 611242 WITH SCORE 611942.062
AT ITER 7486 NEW BEST:: SOT 4393147 SOS 699836 HAS SOPS 699836 HAS SOUS 611108 HAS SOUPS 611108 WITH SCORE 611807.836
AT ITER 7488 NEW BEST:: SOT 4393129 SOS 699836 HAS SOPS 699836 HAS SOUS 611072 HAS SOUPS 611072 WITH SCORE 611771.836
AT ITER 7528 NEW BEST:: SOT 4393114 SOS 699806 HAS SOPS 699806 HAS SOUS 611042 HAS SOUPS 611042 WITH SCORE 611741.806
AT ITER 7551 NEW BEST:: SOT 4393176 SOS 699530 HAS SOPS 699530 HAS SOUS 610843 HAS SOUPS 610843 WITH SCORE 611542.53
AT ITER 7601 NEW BEST:: SOT 4393154 SOS 699486 HAS SOPS 699486 HAS SOUS 610799 HAS SOUPS 610799 WITH SCORE 611498.486
AT ITER 7606 NEW BEST:: SOT 4393170 SOS 699518 HAS SOPS 699518 HAS SOUS 610574 HAS SOUPS 610574 WITH SCORE 611273.518
AT ITER 7631 NEW BEST:: SOT 4393061 SOS 699300 HAS SOPS 699300 HAS SOUS 610465 HAS SOUPS 610465 WITH SCORE 611164.3
AT ITER 7656 NEW BEST:: SOT 4392890 SOS 699294 HAS SOPS 699294 HAS SOUS 610459 HAS SOUPS 610459 WITH SCORE 611158.294
AT ITER 7661 NEW BEST:: SOT 4392879 SOS 699288 HAS SOPS 699288 HAS SOUS 610453 HAS SOUPS 610453 WITH SCORE 611152.288
AT ITER 7676 NEW BEST:: SOT 4392809 SOS 699148 HAS SOPS 699148 HAS SOUS 610361 HAS SOUPS 610361 WITH SCORE 611060.148
AT ITER 7693 NEW BEST:: SOT 4392856 SOS 699360 HAS SOPS 699360 HAS SOUS 610350 HAS SOUPS 610350 WITH SCORE 611049.36
AT ITER 7694 NEW BEST:: SOT 4392782 SOS 699212 HAS SOPS 699212 HAS SOUS 610202 HAS SOUPS 610202 WITH SCORE 610901.212
AT ITER 7788 NEW BEST:: SOT 4392605 SOS 699016 HAS SOPS 699016 HAS SOUS 610006 HAS SOUPS 610006 WITH SCORE 610705.016
AT ITER 7791 NEW BEST:: SOT 4392587 SOS 698671 HAS SOPS 698671 HAS SOUS 609796 HAS SOUPS 609796 WITH SCORE 610494.671
AT ITER 7798 NEW BEST:: SOT 4392587 SOS 698671 HAS SOPS 698671 HAS SOUS 609790 HAS SOUPS 609790 WITH SCORE 610488.671
AT ITER 7824 NEW BEST:: SOT 4392587 SOS 698608 HAS SOPS 698608 HAS SOUS 609727 HAS SOUPS 609727 WITH SCORE 610425.608
AT ITER 7842 NEW BEST:: SOT 4392227 SOS 698128 HAS SOPS 698128 HAS SOUS 609247 HAS SOUPS 609247 WITH SCORE 609945.128
AT ITER 7875 NEW BEST:: SOT 4392227 SOS 698015 HAS SOPS 698015 HAS SOUS 609134 HAS SOUPS 609134 WITH SCORE 609832.015
AT ITER 7887 NEW BEST:: SOT 4392202 SOS 697805 HAS SOPS 697805 HAS SOUS 609084 HAS SOUPS 609084 WITH SCORE 609781.805
AT ITER 7930 NEW BEST:: SOT 4392182 SOS 697785 HAS SOPS 697785 HAS SOUS 609074 HAS SOUPS 609074 WITH SCORE 609771.785
AT ITER 7941 NEW BEST:: SOT 4392182 SOS 697785 HAS SOPS 697785 HAS SOUS 608983 HAS SOUPS 608983 WITH SCORE 609680.785
AT ITER 7942 NEW BEST:: SOT 4392149 SOS 697719 HAS SOPS 697719 HAS SOUS 608917 HAS SOUPS 608917 WITH SCORE 609614.719
AT ITER 8004 NEW BEST:: SOT 4392071 SOS 697291 HAS SOPS 697291 HAS SOUS 608567 HAS SOUPS 608567 WITH SCORE 609264.291
AT ITER 8031 NEW BEST:: SOT 4392068 SOS 697282 HAS SOPS 697282 HAS SOUS 608564 HAS SOUPS 608564 WITH SCORE 609261.282
AT ITER 8042 NEW BEST:: SOT 4392035 SOS 697216 HAS SOPS 697216 HAS SOUS 608423 HAS SOUPS 608423 WITH SCORE 609120.216
AT ITER 8057 NEW BEST:: SOT 4392035 SOS 697126 HAS SOPS 697126 HAS SOUS 608378 HAS SOUPS 608378 WITH SCORE 609075.126
AT ITER 8073 NEW BEST:: SOT 4391892 SOS 696840 HAS SOPS 696840 HAS SOUS 608235 HAS SOUPS 608235 WITH SCORE 608931.84
AT ITER 8144 NEW BEST:: SOT 4391782 SOS 696775 HAS SOPS 696775 HAS SOUS 608170 HAS SOUPS 608170 WITH SCORE 608866.775
AT ITER 8152 NEW BEST:: SOT 4391752 SOS 696685 HAS SOPS 696685 HAS SOUS 608110 HAS SOUPS 608110 WITH SCORE 608806.685
AT ITER 8223 NEW BEST:: SOT 4391676 SOS 696533 HAS SOPS 696533 HAS SOUS 608034 HAS SOUPS 608034 WITH SCORE 608730.533
AT ITER 8295 NEW BEST:: SOT 4391745 SOS 696671 HAS SOPS 696671 HAS SOUS 607931 HAS SOUPS 607931 WITH SCORE 608627.671
AT ITER 8316 NEW BEST:: SOT 4391745 SOS 696651 HAS SOPS 696651 HAS SOUS 607921 HAS SOUPS 607921 WITH SCORE 608617.651
AT ITER 8318 NEW BEST:: SOT 4391713 SOS 696587 HAS SOPS 696587 HAS SOUS 607857 HAS SOUPS 607857 WITH SCORE 608553.587
AT ITER 8321 NEW BEST:: SOT 4391590 SOS 696341 HAS SOPS 696341 HAS SOUS 607611 HAS SOUPS 607611 WITH SCORE 608307.341
AT ITER 8324 NEW BEST:: SOT 4391589 SOS 696339 HAS SOPS 696339 HAS SOUS 607609 HAS SOUPS 607609 WITH SCORE 608305.339
AT ITER 8342 NEW BEST:: SOT 4391585 SOS 696331 HAS SOPS 696331 HAS SOUS 607590 HAS SOUPS 607590 WITH SCORE 608286.331
AT ITER 8356 NEW BEST:: SOT 4391604 SOS 696295 HAS SOPS 696295 HAS SOUS 607554 HAS SOUPS 607554 WITH SCORE 608250.295
AT ITER 8371 NEW BEST:: SOT 4391477 SOS 695914 HAS SOPS 695914 HAS SOUS 607173 HAS SOUPS 607173 WITH SCORE 607868.914
AT ITER 8395 NEW BEST:: SOT 4391459 SOS 695878 HAS SOPS 695878 HAS SOUS 607155 HAS SOUPS 607155 WITH SCORE 607850.878
AT ITER 8416 NEW BEST:: SOT 4391459 SOS 695866 HAS SOPS 695866 HAS SOUS 607155 HAS SOUPS 607155 WITH SCORE 607850.866
AT ITER 8442 NEW BEST:: SOT 4391281 SOS 695777 HAS SOPS 695777 HAS SOUS 607066 HAS SOUPS 607066 WITH SCORE 607761.777
AT ITER 8447 NEW BEST:: SOT 4391267 SOS 695711 HAS SOPS 695711 HAS SOUS 607033 HAS SOUPS 607033 WITH SCORE 607728.711
AT ITER 8474 NEW BEST:: SOT 4391256 SOS 695689 HAS SOPS 695689 HAS SOUS 607022 HAS SOUPS 607022 WITH SCORE 607717.689
AT ITER 8510 NEW BEST:: SOT 4391105 SOS 695387 HAS SOPS 695387 HAS SOUS 606720 HAS SOUPS 606720 WITH SCORE 607415.387
AT ITER 8521 NEW BEST:: SOT 4391127 SOS 695340 HAS SOPS 695340 HAS SOUS 606652 HAS SOUPS 606652 WITH SCORE 607347.34
AT ITER 8555 NEW BEST:: SOT 4391127 SOS 695144 HAS SOPS 695144 HAS SOUS 606456 HAS SOUPS 606456 WITH SCORE 607151.144
AT ITER 8586 NEW BEST:: SOT 4391127 SOS 695093 HAS SOPS 695093 HAS SOUS 606456 HAS SOUPS 606456 WITH SCORE 607151.093
AT ITER 8610 NEW BEST:: SOT 4391033 SOS 694905 HAS SOPS 694905 HAS SOUS 606268 HAS SOUPS 606268 WITH SCORE 606962.905
AT ITER 8650 NEW BEST:: SOT 4390795 SOS 694681 HAS SOPS 694681 HAS SOUS 606037 HAS SOUPS 606037 WITH SCORE 606731.681
AT ITER 8654 NEW BEST:: SOT 4390691 SOS 694525 HAS SOPS 694525 HAS SOUS 605881 HAS SOUPS 605881 WITH SCORE 606575.525
AT ITER 8707 NEW BEST:: SOT 4390411 SOS 693965 HAS SOPS 693965 HAS SOUS 605321 HAS SOUPS 605321 WITH SCORE 606014.965
AT ITER 8743 NEW BEST:: SOT 4390302 SOS 693953 HAS SOPS 693953 HAS SOUS 605252 HAS SOUPS 605252 WITH SCORE 605945.953
AT ITER 8766 NEW BEST:: SOT 4390268 SOS 693885 HAS SOPS 693885 HAS SOUS 605184 HAS SOUPS 605184 WITH SCORE 605877.885
AT ITER 8769 NEW BEST:: SOT 4390268 SOS 693885 HAS SOPS 693885 HAS SOUS 605183 HAS SOUPS 605183 WITH SCORE 605876.885
AT ITER 8771 NEW BEST:: SOT 4390268 SOS 693884 HAS SOPS 693884 HAS SOUS 605183 HAS SOUPS 605183 WITH SCORE 605876.884
AT ITER 8804 NEW BEST:: SOT 4390275 SOS 693871 HAS SOPS 693871 HAS SOUS 605170 HAS SOUPS 605170 WITH SCORE 605863.871
AT ITER 8811 NEW BEST:: SOT 4390275 SOS 693871 HAS SOPS 693871 HAS SOUS 605163 HAS SOUPS 605163 WITH SCORE 605856.871
AT ITER 8829 NEW BEST:: SOT 4390138 SOS 693597 HAS SOPS 693597 HAS SOUS 604889 HAS SOUPS 604889 WITH SCORE 605582.597
AT ITER 8840 NEW BEST:: SOT 4390138 SOS 693589 HAS SOPS 693589 HAS SOUS 604839 HAS SOUPS 604839 WITH SCORE 605532.589
AT ITER 8853 NEW BEST:: SOT 4388788 SOS 701285 HAS SOPS 701285 HAS SOUS 603873 HAS SOUPS 603873 WITH SCORE 604574.285
AT ITER 8896 NEW BEST:: SOT 4388775 SOS 701259 HAS SOPS 701259 HAS SOUS 603847 HAS SOUPS 603847 WITH SCORE 604548.259
AT ITER 8899 NEW BEST:: SOT 4388704 SOS 701117 HAS SOPS 701117 HAS SOUS 603705 HAS SOUPS 603705 WITH SCORE 604406.117
AT ITER 8900 NEW BEST:: SOT 4388765 SOS 701239 HAS SOPS 701239 HAS SOUS 603561 HAS SOUPS 603561 WITH SCORE 604262.239
AT ITER 8954 NEW BEST:: SOT 4388760 SOS 701229 HAS SOPS 701229 HAS SOUS 603507 HAS SOUPS 603507 WITH SCORE 604208.229
AT ITER 8993 NEW BEST:: SOT 4388760 SOS 700977 HAS SOPS 700977 HAS SOUS 603255 HAS SOUPS 603255 WITH SCORE 603955.977
AT ITER 9003 NEW BEST:: SOT 4388626 SOS 700827 HAS SOPS 700827 HAS SOUS 603156 HAS SOUPS 603156 WITH SCORE 603856.827
AT ITER 9020 NEW BEST:: SOT 4388593 SOS 700761 HAS SOPS 700761 HAS SOUS 603123 HAS SOUPS 603123 WITH SCORE 603823.761
AT ITER 9087 NEW BEST:: SOT 4388561 SOS 700760 HAS SOPS 700760 HAS SOUS 603122 HAS SOUPS 603122 WITH SCORE 603822.76
AT ITER 9089 NEW BEST:: SOT 4388451 SOS 700155 HAS SOPS 700155 HAS SOUS 602902 HAS SOUPS 602902 WITH SCORE 603602.155
AT ITER 9115 NEW BEST:: SOT 4388348 SOS 700150 HAS SOPS 700150 HAS SOUS 602799 HAS SOUPS 602799 WITH SCORE 603499.15
AT ITER 9130 NEW BEST:: SOT 4388348 SOS 700150 HAS SOPS 700150 HAS SOUS 602719 HAS SOUPS 602719 WITH SCORE 603419.15
AT ITER 9144 NEW BEST:: SOT 4388306 SOS 700066 HAS SOPS 700066 HAS SOUS 602635 HAS SOUPS 602635 WITH SCORE 603335.066
AT ITER 9156 NEW BEST:: SOT 4387983 SOS 699605 HAS SOPS 699605 HAS SOUS 602257 HAS SOUPS 602257 WITH SCORE 602956.605
AT ITER 9158 NEW BEST:: SOT 4387875 SOS 699173 HAS SOPS 699173 HAS SOUS 602041 HAS SOUPS 602041 WITH SCORE 602740.173
AT ITER 9162 NEW BEST:: SOT 4387692 SOS 698807 HAS SOPS 698807 HAS SOUS 601858 HAS SOUPS 601858 WITH SCORE 602556.807
AT ITER 9176 NEW BEST:: SOT 4387586 SOS 698712 HAS SOPS 698712 HAS SOUS 601858 HAS SOUPS 601858 WITH SCORE 602556.712
AT ITER 9190 NEW BEST:: SOT 4385436 SOS 713987 HAS SOPS 713987 HAS SOUS 600362 HAS SOUPS 600362 WITH SCORE 601075.987
AT ITER 9197 NEW BEST:: SOT 4385525 SOS 713892 HAS SOPS 713892 HAS SOUS 600267 HAS SOUPS 600267 WITH SCORE 600980.892
AT ITER 9233 NEW BEST:: SOT 4385462 SOS 713766 HAS SOPS 713766 HAS SOUS 600141 HAS SOUPS 600141 WITH SCORE 600854.766
AT ITER 9235 NEW BEST:: SOT 4385462 SOS 713766 HAS SOPS 713766 HAS SOUS 600124 HAS SOUPS 600124 WITH SCORE 600837.766
AT ITER 9242 NEW BEST:: SOT 4385426 SOS 713694 HAS SOPS 713694 HAS SOUS 600086 HAS SOUPS 600086 WITH SCORE 600799.694
AT ITER 9264 NEW BEST:: SOT 4385283 SOS 712920 HAS SOPS 712920 HAS SOUS 599800 HAS SOUPS 599800 WITH SCORE 600512.92
AT ITER 9285 NEW BEST:: SOT 4385131 SOS 712913 HAS SOPS 712913 HAS SOUS 599783 HAS SOUPS 599783 WITH SCORE 600495.913
AT ITER 9305 NEW BEST:: SOT 4385112 SOS 712875 HAS SOPS 712875 HAS SOUS 599783 HAS SOUPS 599783 WITH SCORE 600495.875
AT ITER 9311 NEW BEST:: SOT 4385110 SOS 712871 HAS SOPS 712871 HAS SOUS 599779 HAS SOUPS 599779 WITH SCORE 600491.871
AT ITER 9319 NEW BEST:: SOT 4385085 SOS 712903 HAS SOPS 712903 HAS SOUS 599729 HAS SOUPS 599729 WITH SCORE 600441.903
AT ITER 9369 NEW BEST:: SOT 4385069 SOS 712871 HAS SOPS 712871 HAS SOUS 599607 HAS SOUPS 599607 WITH SCORE 600319.871
AT ITER 9375 NEW BEST:: SOT 4385048 SOS 712856 HAS SOPS 712856 HAS SOUS 599592 HAS SOUPS 599592 WITH SCORE 600304.856
AT ITER 9380 NEW BEST:: SOT 4385100 SOS 712960 HAS SOPS 712960 HAS SOUS 599547 HAS SOUPS 599547 WITH SCORE 600259.96
AT ITER 9383 NEW BEST:: SOT 4385096 SOS 712956 HAS SOPS 712956 HAS SOUS 599542 HAS SOUPS 599542 WITH SCORE 600254.956
AT ITER 9396 NEW BEST:: SOT 4384745 SOS 713162 HAS SOPS 713162 HAS SOUS 599362 HAS SOUPS 599362 WITH SCORE 600075.162
AT ITER 9410 NEW BEST:: SOT 4384494 SOS 712964 HAS SOPS 712964 HAS SOUS 599164 HAS SOUPS 599164 WITH SCORE 599876.964
AT ITER 9413 NEW BEST:: SOT 4384487 SOS 712950 HAS SOPS 712950 HAS SOUS 599158 HAS SOUPS 599158 WITH SCORE 599870.95
AT ITER 9417 NEW BEST:: SOT 4384425 SOS 712826 HAS SOPS 712826 HAS SOUS 599034 HAS SOUPS 599034 WITH SCORE 599746.826
AT ITER 9418 NEW BEST:: SOT 4384422 SOS 712817 HAS SOPS 712817 HAS SOUS 599028 HAS SOUPS 599028 WITH SCORE 599740.817
AT ITER 9420 NEW BEST:: SOT 4384411 SOS 712795 HAS SOPS 712795 HAS SOUS 599006 HAS SOUPS 599006 WITH SCORE 599718.795
AT ITER 9428 NEW BEST:: SOT 4384355 SOS 712683 HAS SOPS 712683 HAS SOUS 598950 HAS SOUPS 598950 WITH SCORE 599662.683
AT ITER 9443 NEW BEST:: SOT 4384332 SOS 712655 HAS SOPS 712655 HAS SOUS 598922 HAS SOUPS 598922 WITH SCORE 599634.655
AT ITER 9444 NEW BEST:: SOT 4384433 SOS 712756 HAS SOPS 712756 HAS SOUS 598888 HAS SOUPS 598888 WITH SCORE 599600.756
AT ITER 9455 NEW BEST:: SOT 4383176 SOS 711444 HAS SOPS 711444 HAS SOUS 597640 HAS SOUPS 597640 WITH SCORE 598351.444
AT ITER 9458 NEW BEST:: SOT 4382996 SOS 711084 HAS SOPS 711084 HAS SOUS 597280 HAS SOUPS 597280 WITH SCORE 597991.084
AT ITER 9490 NEW BEST:: SOT 4382996 SOS 711084 HAS SOPS 711084 HAS SOUS 597228 HAS SOUPS 597228 WITH SCORE 597939.084
AT ITER 9493 NEW BEST:: SOT 4382871 SOS 710834 HAS SOPS 710834 HAS SOUS 596978 HAS SOUPS 596978 WITH SCORE 597688.834
AT ITER 9495 NEW BEST:: SOT 4382848 SOS 710788 HAS SOPS 710788 HAS SOUS 596788 HAS SOUPS 596788 WITH SCORE 597498.788
AT ITER 9522 NEW BEST:: SOT 4382587 SOS 710266 HAS SOPS 710266 HAS SOUS 596266 HAS SOUPS 596266 WITH SCORE 596976.266
AT ITER 9549 NEW BEST:: SOT 4382135 SOS 710210 HAS SOPS 710210 HAS SOUS 596024 HAS SOUPS 596024 WITH SCORE 596734.21
AT ITER 9551 NEW BEST:: SOT 4382135 SOS 710162 HAS SOPS 710162 HAS SOUS 596024 HAS SOUPS 596024 WITH SCORE 596734.162
AT ITER 9554 NEW BEST:: SOT 4381937 SOS 709766 HAS SOPS 709766 HAS SOUS 595930 HAS SOUPS 595930 WITH SCORE 596639.766
AT ITER 9565 NEW BEST:: SOT 4381937 SOS 709766 HAS SOPS 709766 HAS SOUS 595913 HAS SOUPS 595913 WITH SCORE 596622.766
AT ITER 9567 NEW BEST:: SOT 4381793 SOS 709877 HAS SOPS 709877 HAS SOUS 595821 HAS SOUPS 595821 WITH SCORE 596530.877
AT ITER 9615 NEW BEST:: SOT 4381659 SOS 709567 HAS SOPS 709567 HAS SOUS 595587 HAS SOUPS 595587 WITH SCORE 596296.567
AT ITER 9625 NEW BEST:: SOT 4381580 SOS 709567 HAS SOPS 709567 HAS SOUS 595508 HAS SOUPS 595508 WITH SCORE 596217.567
AT ITER 9633 NEW BEST:: SOT 4381521 SOS 709449 HAS SOPS 709449 HAS SOUS 595435 HAS SOUPS 595435 WITH SCORE 596144.449
AT ITER 9676 NEW BEST:: SOT 4381521 SOS 709311 HAS SOPS 709311 HAS SOUS 595297 HAS SOUPS 595297 WITH SCORE 596006.311
AT ITER 9702 NEW BEST:: SOT 4381390 SOS 709049 HAS SOPS 709049 HAS SOUS 595035 HAS SOUPS 595035 WITH SCORE 595744.049
AT ITER 9726 NEW BEST:: SOT 4380890 SOS 708049 HAS SOPS 708049 HAS SOUS 594489 HAS SOUPS 594489 WITH SCORE 595197.049
AT ITER 9740 NEW BEST:: SOT 4380890 SOS 708049 HAS SOPS 708049 HAS SOUS 594440 HAS SOUPS 594440 WITH SCORE 595148.049
AT ITER 9752 NEW BEST:: SOT 4380877 SOS 707896 HAS SOPS 707896 HAS SOUS 594294 HAS SOUPS 594294 WITH SCORE 595001.896
AT ITER 9823 NEW BEST:: SOT 4380504 SOS 707150 HAS SOPS 707150 HAS SOUS 593864 HAS SOUPS 593864 WITH SCORE 594571.15
AT ITER 9874 NEW BEST:: SOT 4380495 SOS 707147 HAS SOPS 707147 HAS SOUS 593861 HAS SOUPS 593861 WITH SCORE 594568.147
AT ITER 9911 NEW BEST:: SOT 4380509 SOS 707175 HAS SOPS 707175 HAS SOUS 593790 HAS SOUPS 593790 WITH SCORE 594497.175
AT ITER 9925 NEW BEST:: SOT 4380507 SOS 703643 HAS SOPS 703643 HAS SOUS 593704 HAS SOUPS 593704 WITH SCORE 594407.643
AT ITER 9926 NEW BEST:: SOT 4380302 SOS 703233 HAS SOPS 703233 HAS SOUS 593294 HAS SOUPS 593294 WITH SCORE 593997.233
AT ITER 9941 NEW BEST:: SOT 4380221 SOS 703071 HAS SOPS 703071 HAS SOUS 593211 HAS SOUPS 593211 WITH SCORE 593914.071
AT ITER 9943 NEW BEST:: SOT 4380146 SOS 702921 HAS SOPS 702921 HAS SOUS 593016 HAS SOUPS 593016 WITH SCORE 593718.921
AT ITER 9950 NEW BEST:: SOT 4380038 SOS 702963 HAS SOPS 702963 HAS SOUS 593013 HAS SOUPS 593013 WITH SCORE 593715.963
AT ITER 9965 NEW BEST:: SOT 4380102 SOS 702952 HAS SOPS 702952 HAS SOUS 593001 HAS SOUPS 593001 WITH SCORE 593703.952
AT ITER 9971 NEW BEST:: SOT 4379864 SOS 702769 HAS SOPS 702769 HAS SOUS 592811 HAS SOUPS 592811 WITH SCORE 593513.769
AT ITER 9979 NEW BEST:: SOT 4379863 SOS 702767 HAS SOPS 702767 HAS SOUS 592809 HAS SOUPS 592809 WITH SCORE 593511.767
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12366492 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121604 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="CloudReconfiguration-PT-316"
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-316, 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-167814483800128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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