About the Execution of Smart+red for CloudReconfiguration-PT-309
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4529.027 | 3600000.00 | 3633104.00 | 11207.40 | [undef] | Time out reached |
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-167814483700072.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-309, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483700072
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 7.8K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 11:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 25 11:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:47 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 8.0K Feb 25 11:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 11:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 25 11:51 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 1678321942043
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-309
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 00:32:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 00:32:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 00:32:23] [INFO ] Load time of PNML (sax parser for PT used): 117 ms
[2023-03-09 00:32:23] [INFO ] Transformed 2585 places.
[2023-03-09 00:32:23] [INFO ] Transformed 3095 transitions.
[2023-03-09 00:32:23] [INFO ] Found NUPN structural information;
[2023-03-09 00:32:23] [INFO ] Parsed PT model containing 2585 places and 3095 transitions and 6463 arcs in 191 ms.
[2023-03-09 00:32:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2585 places, 3095 transitions and 6463 arcs took 24 ms.
Total runtime 242 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 309
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 4443228 SOS 758806 HAS SOPS 758806 HAS SOUS 699828 HAS SOUPS 699828 WITH SCORE 700586.806
AT ITER 15 NEW BEST:: SOT 4443228 SOS 758776 HAS SOPS 758776 HAS SOUS 699828 HAS SOUPS 699828 WITH SCORE 700586.776
AT ITER 24 NEW BEST:: SOT 4443029 SOS 757934 HAS SOPS 757934 HAS SOUS 699307 HAS SOUPS 699307 WITH SCORE 700064.934
AT ITER 27 NEW BEST:: SOT 4443023 SOS 757922 HAS SOPS 757922 HAS SOUS 699239 HAS SOUPS 699239 WITH SCORE 699996.922
AT ITER 28 NEW BEST:: SOT 4443023 SOS 757813 HAS SOPS 757813 HAS SOUS 699239 HAS SOUPS 699239 WITH SCORE 699996.813
AT ITER 55 NEW BEST:: SOT 4442933 SOS 757633 HAS SOPS 757633 HAS SOUS 699059 HAS SOUPS 699059 WITH SCORE 699816.633
AT ITER 72 NEW BEST:: SOT 4442932 SOS 757626 HAS SOPS 757626 HAS SOUS 699057 HAS SOUPS 699057 WITH SCORE 699814.626
AT ITER 107 NEW BEST:: SOT 4442899 SOS 757560 HAS SOPS 757560 HAS SOUS 698991 HAS SOUPS 698991 WITH SCORE 699748.56
AT ITER 138 NEW BEST:: SOT 4442825 SOS 757486 HAS SOPS 757486 HAS SOUS 698917 HAS SOUPS 698917 WITH SCORE 699674.486
AT ITER 145 NEW BEST:: SOT 4442615 SOS 757344 HAS SOPS 757344 HAS SOUS 698707 HAS SOUPS 698707 WITH SCORE 699464.344
AT ITER 149 NEW BEST:: SOT 4442519 SOS 757152 HAS SOPS 757152 HAS SOUS 698515 HAS SOUPS 698515 WITH SCORE 699272.152
AT ITER 151 NEW BEST:: SOT 4442518 SOS 757150 HAS SOPS 757150 HAS SOUS 698513 HAS SOUPS 698513 WITH SCORE 699270.15
AT ITER 156 NEW BEST:: SOT 4441050 SOS 785579 HAS SOPS 785579 HAS SOUS 698185 HAS SOUPS 698185 WITH SCORE 698970.579
AT ITER 173 NEW BEST:: SOT 4431007 SOS 776249 HAS SOPS 776249 HAS SOUS 688462 HAS SOUPS 688462 WITH SCORE 689238.249
AT ITER 193 NEW BEST:: SOT 4431007 SOS 776180 HAS SOPS 776180 HAS SOUS 688462 HAS SOUPS 688462 WITH SCORE 689238.18
AT ITER 222 NEW BEST:: SOT 4431006 SOS 776178 HAS SOPS 776178 HAS SOUS 688460 HAS SOUPS 688460 WITH SCORE 689236.178
AT ITER 284 NEW BEST:: SOT 4431006 SOS 776178 HAS SOPS 776178 HAS SOUS 688303 HAS SOUPS 688303 WITH SCORE 689079.178
AT ITER 324 NEW BEST:: SOT 4430805 SOS 775776 HAS SOPS 775776 HAS SOUS 687901 HAS SOUPS 687901 WITH SCORE 688676.776
AT ITER 337 NEW BEST:: SOT 4430423 SOS 775478 HAS SOPS 775478 HAS SOUS 687519 HAS SOUPS 687519 WITH SCORE 688294.478
AT ITER 367 NEW BEST:: SOT 4429937 SOS 774992 HAS SOPS 774992 HAS SOUS 687033 HAS SOUPS 687033 WITH SCORE 687807.992
AT ITER 379 NEW BEST:: SOT 4430016 SOS 774863 HAS SOPS 774863 HAS SOUS 686904 HAS SOUPS 686904 WITH SCORE 687678.863
AT ITER 408 NEW BEST:: SOT 4429934 SOS 774699 HAS SOPS 774699 HAS SOUS 686740 HAS SOUPS 686740 WITH SCORE 687514.699
AT ITER 412 NEW BEST:: SOT 4429775 SOS 774568 HAS SOPS 774568 HAS SOUS 686592 HAS SOUPS 686592 WITH SCORE 687366.568
AT ITER 413 NEW BEST:: SOT 4429775 SOS 774419 HAS SOPS 774419 HAS SOUS 686592 HAS SOUPS 686592 WITH SCORE 687366.419
AT ITER 421 NEW BEST:: SOT 4429606 SOS 774272 HAS SOPS 774272 HAS SOUS 686356 HAS SOUPS 686356 WITH SCORE 687130.272
AT ITER 443 NEW BEST:: SOT 4429495 SOS 774171 HAS SOPS 774171 HAS SOUS 686245 HAS SOUPS 686245 WITH SCORE 687019.171
AT ITER 445 NEW BEST:: SOT 4428901 SOS 773478 HAS SOPS 773478 HAS SOUS 685552 HAS SOUPS 685552 WITH SCORE 686325.478
AT ITER 486 NEW BEST:: SOT 4428901 SOS 773345 HAS SOPS 773345 HAS SOUS 685551 HAS SOUPS 685551 WITH SCORE 686324.345
AT ITER 524 NEW BEST:: SOT 4428665 SOS 773313 HAS SOPS 773313 HAS SOUS 685384 HAS SOUPS 685384 WITH SCORE 686157.313
AT ITER 525 NEW BEST:: SOT 4428631 SOS 773000 HAS SOPS 773000 HAS SOUS 685090 HAS SOUPS 685090 WITH SCORE 685863.0
AT ITER 537 NEW BEST:: SOT 4428590 SOS 772918 HAS SOPS 772918 HAS SOUS 684880 HAS SOUPS 684880 WITH SCORE 685652.918
AT ITER 572 NEW BEST:: SOT 4428367 SOS 772472 HAS SOPS 772472 HAS SOUS 684434 HAS SOUPS 684434 WITH SCORE 685206.472
AT ITER 577 NEW BEST:: SOT 4421726 SOS 774458 HAS SOPS 774458 HAS SOUS 678467 HAS SOUPS 678467 WITH SCORE 679241.458
AT ITER 587 NEW BEST:: SOT 4421725 SOS 774456 HAS SOPS 774456 HAS SOUS 678465 HAS SOUPS 678465 WITH SCORE 679239.456
AT ITER 609 NEW BEST:: SOT 4421724 SOS 774342 HAS SOPS 774342 HAS SOUS 678352 HAS SOUPS 678352 WITH SCORE 679126.342
AT ITER 640 NEW BEST:: SOT 4421627 SOS 774342 HAS SOPS 774342 HAS SOUS 678255 HAS SOUPS 678255 WITH SCORE 679029.342
AT ITER 649 NEW BEST:: SOT 4421497 SOS 774354 HAS SOPS 774354 HAS SOUS 678159 HAS SOUPS 678159 WITH SCORE 678933.354
AT ITER 651 NEW BEST:: SOT 4421356 SOS 774213 HAS SOPS 774213 HAS SOUS 678158 HAS SOUPS 678158 WITH SCORE 678932.213
AT ITER 668 NEW BEST:: SOT 4421318 SOS 774175 HAS SOPS 774175 HAS SOUS 678120 HAS SOUPS 678120 WITH SCORE 678894.175
AT ITER 692 NEW BEST:: SOT 4421318 SOS 773938 HAS SOPS 773938 HAS SOUS 678119 HAS SOUPS 678119 WITH SCORE 678892.938
AT ITER 697 NEW BEST:: SOT 4421307 SOS 773916 HAS SOPS 773916 HAS SOUS 678097 HAS SOUPS 678097 WITH SCORE 678870.916
AT ITER 699 NEW BEST:: SOT 4421202 SOS 773811 HAS SOPS 773811 HAS SOUS 677992 HAS SOUPS 677992 WITH SCORE 678765.811
AT ITER 709 NEW BEST:: SOT 4420656 SOS 773289 HAS SOPS 773289 HAS SOUS 677457 HAS SOUPS 677457 WITH SCORE 678230.289
AT ITER 733 NEW BEST:: SOT 4420639 SOS 773576 HAS SOPS 773576 HAS SOUS 677453 HAS SOUPS 677453 WITH SCORE 678226.576
AT ITER 738 NEW BEST:: SOT 4420355 SOS 773292 HAS SOPS 773292 HAS SOUS 677169 HAS SOUPS 677169 WITH SCORE 677942.292
AT ITER 742 NEW BEST:: SOT 4420516 SOS 774076 HAS SOPS 774076 HAS SOUS 677038 HAS SOUPS 677038 WITH SCORE 677812.076
AT ITER 779 NEW BEST:: SOT 4420255 SOS 773815 HAS SOPS 773815 HAS SOUS 676777 HAS SOUPS 676777 WITH SCORE 677550.815
AT ITER 792 NEW BEST:: SOT 4420255 SOS 773648 HAS SOPS 773648 HAS SOUS 676777 HAS SOUPS 676777 WITH SCORE 677550.648
AT ITER 803 NEW BEST:: SOT 4420049 SOS 773042 HAS SOPS 773042 HAS SOUS 676377 HAS SOUPS 676377 WITH SCORE 677150.042
AT ITER 817 NEW BEST:: SOT 4420049 SOS 772710 HAS SOPS 772710 HAS SOUS 675998 HAS SOUPS 675998 WITH SCORE 676770.71
AT ITER 837 NEW BEST:: SOT 4420049 SOS 772547 HAS SOPS 772547 HAS SOUS 675998 HAS SOUPS 675998 WITH SCORE 676770.547
AT ITER 863 NEW BEST:: SOT 4420002 SOS 772500 HAS SOPS 772500 HAS SOUS 675951 HAS SOUPS 675951 WITH SCORE 676723.5
AT ITER 870 NEW BEST:: SOT 4419833 SOS 772162 HAS SOPS 772162 HAS SOUS 675613 HAS SOUPS 675613 WITH SCORE 676385.162
AT ITER 897 NEW BEST:: SOT 4419616 SOS 771728 HAS SOPS 771728 HAS SOUS 675179 HAS SOUPS 675179 WITH SCORE 675950.728
AT ITER 908 NEW BEST:: SOT 4419615 SOS 771726 HAS SOPS 771726 HAS SOUS 675177 HAS SOUPS 675177 WITH SCORE 675948.726
AT ITER 956 NEW BEST:: SOT 4419424 SOS 771344 HAS SOPS 771344 HAS SOUS 674795 HAS SOUPS 674795 WITH SCORE 675566.344
AT ITER 971 NEW BEST:: SOT 4419424 SOS 771262 HAS SOPS 771262 HAS SOUS 674795 HAS SOUPS 674795 WITH SCORE 675566.262
AT ITER 994 NEW BEST:: SOT 4419424 SOS 770928 HAS SOPS 770928 HAS SOUS 674628 HAS SOUPS 674628 WITH SCORE 675398.928
AT ITER 1018 NEW BEST:: SOT 4419485 SOS 771220 HAS SOPS 771220 HAS SOUS 674598 HAS SOUPS 674598 WITH SCORE 675369.22
AT ITER 1054 NEW BEST:: SOT 4419139 SOS 770528 HAS SOPS 770528 HAS SOUS 674387 HAS SOUPS 674387 WITH SCORE 675157.528
AT ITER 1055 NEW BEST:: SOT 4419136 SOS 770525 HAS SOPS 770525 HAS SOUS 674384 HAS SOUPS 674384 WITH SCORE 675154.525
AT ITER 1058 NEW BEST:: SOT 4418899 SOS 770325 HAS SOPS 770325 HAS SOUS 674147 HAS SOUPS 674147 WITH SCORE 674917.325
AT ITER 1059 NEW BEST:: SOT 4418899 SOS 770325 HAS SOPS 770325 HAS SOUS 674102 HAS SOUPS 674102 WITH SCORE 674872.325
AT ITER 1077 NEW BEST:: SOT 4418852 SOS 770231 HAS SOPS 770231 HAS SOUS 674055 HAS SOUPS 674055 WITH SCORE 674825.231
AT ITER 1099 NEW BEST:: SOT 4418796 SOS 770119 HAS SOPS 770119 HAS SOUS 673781 HAS SOUPS 673781 WITH SCORE 674551.119
AT ITER 1104 NEW BEST:: SOT 4418796 SOS 770076 HAS SOPS 770076 HAS SOUS 673738 HAS SOUPS 673738 WITH SCORE 674508.076
AT ITER 1108 NEW BEST:: SOT 4418728 SOS 769940 HAS SOPS 769940 HAS SOUS 673602 HAS SOUPS 673602 WITH SCORE 674371.94
AT ITER 1112 NEW BEST:: SOT 4418728 SOS 769747 HAS SOPS 769747 HAS SOUS 673602 HAS SOUPS 673602 WITH SCORE 674371.747
AT ITER 1113 NEW BEST:: SOT 4418728 SOS 769726 HAS SOPS 769726 HAS SOUS 673601 HAS SOUPS 673601 WITH SCORE 674370.726
AT ITER 1119 NEW BEST:: SOT 4418728 SOS 769417 HAS SOPS 769417 HAS SOUS 673469 HAS SOUPS 673469 WITH SCORE 674238.417
AT ITER 1124 NEW BEST:: SOT 4418728 SOS 769243 HAS SOPS 769243 HAS SOUS 673469 HAS SOUPS 673469 WITH SCORE 674238.243
AT ITER 1144 NEW BEST:: SOT 4418549 SOS 769063 HAS SOPS 769063 HAS SOUS 673290 HAS SOUPS 673290 WITH SCORE 674059.063
AT ITER 1190 NEW BEST:: SOT 4418485 SOS 769063 HAS SOPS 769063 HAS SOUS 673258 HAS SOUPS 673258 WITH SCORE 674027.063
AT ITER 1222 NEW BEST:: SOT 4418485 SOS 768965 HAS SOPS 768965 HAS SOUS 673258 HAS SOUPS 673258 WITH SCORE 674026.965
AT ITER 1227 NEW BEST:: SOT 4418443 SOS 768923 HAS SOPS 768923 HAS SOUS 673216 HAS SOUPS 673216 WITH SCORE 673984.923
AT ITER 1231 NEW BEST:: SOT 4418443 SOS 768843 HAS SOPS 768843 HAS SOUS 673136 HAS SOUPS 673136 WITH SCORE 673904.843
AT ITER 1253 NEW BEST:: SOT 4418442 SOS 768640 HAS SOPS 768640 HAS SOUS 673132 HAS SOUPS 673132 WITH SCORE 673900.64
AT ITER 1259 NEW BEST:: SOT 4418241 SOS 768037 HAS SOPS 768037 HAS SOUS 672730 HAS SOUPS 672730 WITH SCORE 673498.037
AT ITER 1293 NEW BEST:: SOT 4418220 SOS 767995 HAS SOPS 767995 HAS SOUS 672688 HAS SOUPS 672688 WITH SCORE 673455.995
AT ITER 1313 NEW BEST:: SOT 4418095 SOS 767745 HAS SOPS 767745 HAS SOUS 672438 HAS SOUPS 672438 WITH SCORE 673205.745
AT ITER 1315 NEW BEST:: SOT 4418173 SOS 767901 HAS SOPS 767901 HAS SOUS 672285 HAS SOUPS 672285 WITH SCORE 673052.901
AT ITER 1325 NEW BEST:: SOT 4417836 SOS 767669 HAS SOPS 767669 HAS SOUS 671948 HAS SOUPS 671948 WITH SCORE 672715.669
AT ITER 1339 NEW BEST:: SOT 4417318 SOS 767151 HAS SOPS 767151 HAS SOUS 671430 HAS SOUPS 671430 WITH SCORE 672197.151
AT ITER 1350 NEW BEST:: SOT 4417247 SOS 767275 HAS SOPS 767275 HAS SOUS 671394 HAS SOUPS 671394 WITH SCORE 672161.275
AT ITER 1403 NEW BEST:: SOT 4417247 SOS 767275 HAS SOPS 767275 HAS SOUS 671393 HAS SOUPS 671393 WITH SCORE 672160.275
AT ITER 1430 NEW BEST:: SOT 4416923 SOS 766866 HAS SOPS 766866 HAS SOUS 671069 HAS SOUPS 671069 WITH SCORE 671835.866
AT ITER 1442 NEW BEST:: SOT 4417211 SOS 766924 HAS SOPS 766924 HAS SOUS 670959 HAS SOUPS 670959 WITH SCORE 671725.924
AT ITER 1453 NEW BEST:: SOT 4417127 SOS 767072 HAS SOPS 767072 HAS SOUS 670856 HAS SOUPS 670856 WITH SCORE 671623.072
AT ITER 1455 NEW BEST:: SOT 4417032 SOS 767159 HAS SOPS 767159 HAS SOUS 670618 HAS SOUPS 670618 WITH SCORE 671385.159
AT ITER 1475 NEW BEST:: SOT 4416830 SOS 766957 HAS SOPS 766957 HAS SOUS 670416 HAS SOUPS 670416 WITH SCORE 671182.957
AT ITER 1484 NEW BEST:: SOT 4416786 SOS 766869 HAS SOPS 766869 HAS SOUS 670328 HAS SOUPS 670328 WITH SCORE 671094.869
AT ITER 1487 NEW BEST:: SOT 4416739 SOS 766775 HAS SOPS 766775 HAS SOUS 670281 HAS SOUPS 670281 WITH SCORE 671047.775
AT ITER 1513 NEW BEST:: SOT 4416325 SOS 766361 HAS SOPS 766361 HAS SOUS 669867 HAS SOUPS 669867 WITH SCORE 670633.361
AT ITER 1525 NEW BEST:: SOT 4416188 SOS 766181 HAS SOPS 766181 HAS SOUS 669687 HAS SOUPS 669687 WITH SCORE 670453.181
AT ITER 1587 NEW BEST:: SOT 4416052 SOS 765909 HAS SOPS 765909 HAS SOUS 669415 HAS SOUPS 669415 WITH SCORE 670180.909
AT ITER 1588 NEW BEST:: SOT 4416028 SOS 765861 HAS SOPS 765861 HAS SOUS 669377 HAS SOUPS 669377 WITH SCORE 670142.861
AT ITER 1591 NEW BEST:: SOT 4416028 SOS 765812 HAS SOPS 765812 HAS SOUS 669377 HAS SOUPS 669377 WITH SCORE 670142.812
AT ITER 1617 NEW BEST:: SOT 4415861 SOS 765706 HAS SOPS 765706 HAS SOUS 669241 HAS SOUPS 669241 WITH SCORE 670006.706
AT ITER 1639 NEW BEST:: SOT 4415915 SOS 765588 HAS SOPS 765588 HAS SOUS 669123 HAS SOUPS 669123 WITH SCORE 669888.588
AT ITER 1646 NEW BEST:: SOT 4415604 SOS 764966 HAS SOPS 764966 HAS SOUS 668918 HAS SOUPS 668918 WITH SCORE 669682.966
AT ITER 1674 NEW BEST:: SOT 4415619 SOS 764996 HAS SOPS 764996 HAS SOUS 668898 HAS SOUPS 668898 WITH SCORE 669662.996
AT ITER 1675 NEW BEST:: SOT 4415521 SOS 764996 HAS SOPS 764996 HAS SOUS 668849 HAS SOUPS 668849 WITH SCORE 669613.996
AT ITER 1700 NEW BEST:: SOT 4415513 SOS 764972 HAS SOPS 764972 HAS SOUS 668832 HAS SOUPS 668832 WITH SCORE 669596.972
AT ITER 1713 NEW BEST:: SOT 4415457 SOS 764860 HAS SOPS 764860 HAS SOUS 668720 HAS SOUPS 668720 WITH SCORE 669484.86
AT ITER 1734 NEW BEST:: SOT 4415446 SOS 764838 HAS SOPS 764838 HAS SOUS 668708 HAS SOUPS 668708 WITH SCORE 669472.838
AT ITER 1736 NEW BEST:: SOT 4415654 SOS 764630 HAS SOPS 764630 HAS SOUS 668708 HAS SOUPS 668708 WITH SCORE 669472.63
AT ITER 1768 NEW BEST:: SOT 4415653 SOS 764398 HAS SOPS 764398 HAS SOUS 668706 HAS SOUPS 668706 WITH SCORE 669470.398
AT ITER 1823 NEW BEST:: SOT 4415620 SOS 764221 HAS SOPS 764221 HAS SOUS 668562 HAS SOUPS 668562 WITH SCORE 669326.221
AT ITER 1825 NEW BEST:: SOT 4415620 SOS 764221 HAS SOPS 764221 HAS SOUS 668145 HAS SOUPS 668145 WITH SCORE 668909.221
AT ITER 1838 NEW BEST:: SOT 4415578 SOS 764137 HAS SOPS 764137 HAS SOUS 668061 HAS SOUPS 668061 WITH SCORE 668825.137
AT ITER 1850 NEW BEST:: SOT 4415578 SOS 764001 HAS SOPS 764001 HAS SOUS 668061 HAS SOUPS 668061 WITH SCORE 668825.001
AT ITER 1859 NEW BEST:: SOT 4415533 SOS 764048 HAS SOPS 764048 HAS SOUS 668016 HAS SOUPS 668016 WITH SCORE 668780.048
AT ITER 1860 NEW BEST:: SOT 4415465 SOS 763980 HAS SOPS 763980 HAS SOUS 667948 HAS SOUPS 667948 WITH SCORE 668711.98
AT ITER 1865 NEW BEST:: SOT 4415463 SOS 763976 HAS SOPS 763976 HAS SOUS 667946 HAS SOUPS 667946 WITH SCORE 668709.976
AT ITER 1879 NEW BEST:: SOT 4415397 SOS 763844 HAS SOPS 763844 HAS SOUS 667671 HAS SOUPS 667671 WITH SCORE 668434.844
AT ITER 1900 NEW BEST:: SOT 4415393 SOS 763836 HAS SOPS 763836 HAS SOUS 667663 HAS SOUPS 667663 WITH SCORE 668426.836
AT ITER 1911 NEW BEST:: SOT 4415270 SOS 763464 HAS SOPS 763464 HAS SOUS 667539 HAS SOUPS 667539 WITH SCORE 668302.464
AT ITER 1917 NEW BEST:: SOT 4415270 SOS 763464 HAS SOPS 763464 HAS SOUS 667379 HAS SOUPS 667379 WITH SCORE 668142.464
AT ITER 1919 NEW BEST:: SOT 4415147 SOS 763218 HAS SOPS 763218 HAS SOUS 667133 HAS SOUPS 667133 WITH SCORE 667896.218
AT ITER 1932 NEW BEST:: SOT 4415053 SOS 763124 HAS SOPS 763124 HAS SOUS 667039 HAS SOUPS 667039 WITH SCORE 667802.124
AT ITER 1934 NEW BEST:: SOT 4406811 SOS 833664 HAS SOPS 833664 HAS SOUS 662534 HAS SOUPS 662534 WITH SCORE 663367.664
AT ITER 1958 NEW BEST:: SOT 4406811 SOS 833563 HAS SOPS 833563 HAS SOUS 662433 HAS SOUPS 662433 WITH SCORE 663266.563
AT ITER 1970 NEW BEST:: SOT 4406810 SOS 833450 HAS SOPS 833450 HAS SOUS 662432 HAS SOUPS 662432 WITH SCORE 663265.45
AT ITER 2022 NEW BEST:: SOT 4406859 SOS 833091 HAS SOPS 833091 HAS SOUS 662198 HAS SOUPS 662198 WITH SCORE 663031.091
AT ITER 2038 NEW BEST:: SOT 4406302 SOS 833047 HAS SOPS 833047 HAS SOUS 661729 HAS SOUPS 661729 WITH SCORE 662562.047
AT ITER 2053 NEW BEST:: SOT 4406301 SOS 832334 HAS SOPS 832334 HAS SOUS 661727 HAS SOUPS 661727 WITH SCORE 662559.334
AT ITER 2059 NEW BEST:: SOT 4406281 SOS 832294 HAS SOPS 832294 HAS SOUS 661707 HAS SOUPS 661707 WITH SCORE 662539.294
AT ITER 2087 NEW BEST:: SOT 4406036 SOS 831804 HAS SOPS 831804 HAS SOUS 661217 HAS SOUPS 661217 WITH SCORE 662048.804
AT ITER 2088 NEW BEST:: SOT 4405819 SOS 831370 HAS SOPS 831370 HAS SOUS 661132 HAS SOUPS 661132 WITH SCORE 661963.37
AT ITER 2111 NEW BEST:: SOT 4405964 SOS 830124 HAS SOPS 830124 HAS SOUS 660990 HAS SOUPS 660990 WITH SCORE 661820.124
AT ITER 2128 NEW BEST:: SOT 4405938 SOS 830072 HAS SOPS 830072 HAS SOUS 660720 HAS SOUPS 660720 WITH SCORE 661550.072
AT ITER 2135 NEW BEST:: SOT 4405880 SOS 829956 HAS SOPS 829956 HAS SOUS 660604 HAS SOUPS 660604 WITH SCORE 661433.956
AT ITER 2149 NEW BEST:: SOT 4405880 SOS 829758 HAS SOPS 829758 HAS SOUS 660604 HAS SOUPS 660604 WITH SCORE 661433.758
AT ITER 2150 NEW BEST:: SOT 4405755 SOS 829693 HAS SOPS 829693 HAS SOUS 660478 HAS SOUPS 660478 WITH SCORE 661307.693
AT ITER 2165 NEW BEST:: SOT 4405449 SOS 829693 HAS SOPS 829693 HAS SOUS 660325 HAS SOUPS 660325 WITH SCORE 661154.693
AT ITER 2174 NEW BEST:: SOT 4405248 SOS 829291 HAS SOPS 829291 HAS SOUS 660124 HAS SOUPS 660124 WITH SCORE 660953.291
AT ITER 2180 NEW BEST:: SOT 4405267 SOS 829329 HAS SOPS 829329 HAS SOUS 659822 HAS SOUPS 659822 WITH SCORE 660651.329
AT ITER 2192 NEW BEST:: SOT 4405217 SOS 829279 HAS SOPS 829279 HAS SOUS 659822 HAS SOUPS 659822 WITH SCORE 660651.279
AT ITER 2222 NEW BEST:: SOT 4405168 SOS 829181 HAS SOPS 829181 HAS SOUS 659724 HAS SOUPS 659724 WITH SCORE 660553.181
AT ITER 2231 NEW BEST:: SOT 4404826 SOS 828913 HAS SOPS 828913 HAS SOUS 659408 HAS SOUPS 659408 WITH SCORE 660236.913
AT ITER 2243 NEW BEST:: SOT 4404698 SOS 828817 HAS SOPS 828817 HAS SOUS 659312 HAS SOUPS 659312 WITH SCORE 660140.817
AT ITER 2264 NEW BEST:: SOT 4404698 SOS 828817 HAS SOPS 828817 HAS SOUS 659282 HAS SOUPS 659282 WITH SCORE 660110.817
AT ITER 2282 NEW BEST:: SOT 4404603 SOS 828627 HAS SOPS 828627 HAS SOUS 659111 HAS SOUPS 659111 WITH SCORE 659939.627
AT ITER 2295 NEW BEST:: SOT 4404564 SOS 828549 HAS SOPS 828549 HAS SOUS 659033 HAS SOUPS 659033 WITH SCORE 659861.549
AT ITER 2306 NEW BEST:: SOT 4404074 SOS 828239 HAS SOPS 828239 HAS SOUS 658626 HAS SOUPS 658626 WITH SCORE 659454.239
AT ITER 2311 NEW BEST:: SOT 4403891 SOS 827873 HAS SOPS 827873 HAS SOUS 658262 HAS SOUPS 658262 WITH SCORE 659089.873
AT ITER 2359 NEW BEST:: SOT 4403891 SOS 827604 HAS SOPS 827604 HAS SOUS 658261 HAS SOUPS 658261 WITH SCORE 659088.604
AT ITER 2361 NEW BEST:: SOT 4403891 SOS 827537 HAS SOPS 827537 HAS SOUS 658194 HAS SOUPS 658194 WITH SCORE 659021.537
AT ITER 2383 NEW BEST:: SOT 4404239 SOS 827716 HAS SOPS 827716 HAS SOUS 658025 HAS SOUPS 658025 WITH SCORE 658852.716
AT ITER 2396 NEW BEST:: SOT 4404054 SOS 827346 HAS SOPS 827346 HAS SOUS 657655 HAS SOUPS 657655 WITH SCORE 658482.346
AT ITER 2407 NEW BEST:: SOT 4404015 SOS 827177 HAS SOPS 827177 HAS SOUS 657525 HAS SOUPS 657525 WITH SCORE 658352.177
AT ITER 2431 NEW BEST:: SOT 4404015 SOS 827177 HAS SOPS 827177 HAS SOUS 657248 HAS SOUPS 657248 WITH SCORE 658075.177
AT ITER 2435 NEW BEST:: SOT 4403984 SOS 827115 HAS SOPS 827115 HAS SOUS 657186 HAS SOUPS 657186 WITH SCORE 658013.115
AT ITER 2461 NEW BEST:: SOT 4403945 SOS 827076 HAS SOPS 827076 HAS SOUS 657147 HAS SOUPS 657147 WITH SCORE 657974.076
AT ITER 2515 NEW BEST:: SOT 4403894 SOS 826974 HAS SOPS 826974 HAS SOUS 657051 HAS SOUPS 657051 WITH SCORE 657877.974
AT ITER 2520 NEW BEST:: SOT 4403822 SOS 826939 HAS SOPS 826939 HAS SOUS 656998 HAS SOUPS 656998 WITH SCORE 657824.939
AT ITER 2551 NEW BEST:: SOT 4403682 SOS 826659 HAS SOPS 826659 HAS SOUS 656718 HAS SOUPS 656718 WITH SCORE 657544.659
AT ITER 2553 NEW BEST:: SOT 4403267 SOS 826627 HAS SOPS 826627 HAS SOUS 656569 HAS SOUPS 656569 WITH SCORE 657395.627
AT ITER 2558 NEW BEST:: SOT 4403596 SOS 826846 HAS SOPS 826846 HAS SOUS 656459 HAS SOUPS 656459 WITH SCORE 657285.846
AT ITER 2584 NEW BEST:: SOT 4403569 SOS 826792 HAS SOPS 826792 HAS SOUS 656405 HAS SOUPS 656405 WITH SCORE 657231.792
AT ITER 2587 NEW BEST:: SOT 4403383 SOS 826792 HAS SOPS 826792 HAS SOUS 656312 HAS SOUPS 656312 WITH SCORE 657138.792
AT ITER 2589 NEW BEST:: SOT 4403185 SOS 826594 HAS SOPS 826594 HAS SOUS 656015 HAS SOUPS 656015 WITH SCORE 656841.594
AT ITER 2607 NEW BEST:: SOT 4403001 SOS 826226 HAS SOPS 826226 HAS SOUS 655647 HAS SOUPS 655647 WITH SCORE 656473.226
AT ITER 2623 NEW BEST:: SOT 4402973 SOS 826170 HAS SOPS 826170 HAS SOUS 655619 HAS SOUPS 655619 WITH SCORE 656445.17
AT ITER 2644 NEW BEST:: SOT 4402814 SOS 825765 HAS SOPS 825765 HAS SOUS 655460 HAS SOUPS 655460 WITH SCORE 656285.765
AT ITER 2645 NEW BEST:: SOT 4402793 SOS 825569 HAS SOPS 825569 HAS SOUS 655418 HAS SOUPS 655418 WITH SCORE 656243.569
AT ITER 2658 NEW BEST:: SOT 4402659 SOS 825631 HAS SOPS 825631 HAS SOUS 655323 HAS SOUPS 655323 WITH SCORE 656148.631
AT ITER 2690 NEW BEST:: SOT 4402658 SOS 825629 HAS SOPS 825629 HAS SOUS 655321 HAS SOUPS 655321 WITH SCORE 656146.629
AT ITER 2701 NEW BEST:: SOT 4402658 SOS 825603 HAS SOPS 825603 HAS SOUS 655320 HAS SOUPS 655320 WITH SCORE 656145.603
AT ITER 2713 NEW BEST:: SOT 4402658 SOS 825567 HAS SOPS 825567 HAS SOUS 655320 HAS SOUPS 655320 WITH SCORE 656145.567
AT ITER 2718 NEW BEST:: SOT 4402457 SOS 825165 HAS SOPS 825165 HAS SOUS 654918 HAS SOUPS 654918 WITH SCORE 655743.165
AT ITER 2786 NEW BEST:: SOT 4402322 SOS 824686 HAS SOPS 824686 HAS SOUS 654662 HAS SOUPS 654662 WITH SCORE 655486.686
AT ITER 2826 NEW BEST:: SOT 4402281 SOS 824604 HAS SOPS 824604 HAS SOUS 654386 HAS SOUPS 654386 WITH SCORE 655210.604
AT ITER 2827 NEW BEST:: SOT 4402178 SOS 824501 HAS SOPS 824501 HAS SOUS 654386 HAS SOUPS 654386 WITH SCORE 655210.501
AT ITER 2831 NEW BEST:: SOT 4402052 SOS 824249 HAS SOPS 824249 HAS SOUS 654134 HAS SOUPS 654134 WITH SCORE 654958.249
AT ITER 2841 NEW BEST:: SOT 4401972 SOS 824169 HAS SOPS 824169 HAS SOUS 654011 HAS SOUPS 654011 WITH SCORE 654835.169
AT ITER 2932 NEW BEST:: SOT 4401962 SOS 824121 HAS SOPS 824121 HAS SOUS 653987 HAS SOUPS 653987 WITH SCORE 654811.121
AT ITER 2961 NEW BEST:: SOT 4401768 SOS 824025 HAS SOPS 824025 HAS SOUS 653890 HAS SOUPS 653890 WITH SCORE 654714.025
AT ITER 2967 NEW BEST:: SOT 4401736 SOS 823961 HAS SOPS 823961 HAS SOUS 653826 HAS SOUPS 653826 WITH SCORE 654649.961
AT ITER 2975 NEW BEST:: SOT 4401874 SOS 824237 HAS SOPS 824237 HAS SOUS 653716 HAS SOUPS 653716 WITH SCORE 654540.237
AT ITER 3033 NEW BEST:: SOT 4401874 SOS 824237 HAS SOPS 824237 HAS SOUS 653715 HAS SOUPS 653715 WITH SCORE 654539.237
AT ITER 3037 NEW BEST:: SOT 4401667 SOS 824030 HAS SOPS 824030 HAS SOUS 653508 HAS SOUPS 653508 WITH SCORE 654332.03
AT ITER 3043 NEW BEST:: SOT 4401598 SOS 823892 HAS SOPS 823892 HAS SOUS 653370 HAS SOUPS 653370 WITH SCORE 654193.892
AT ITER 3065 NEW BEST:: SOT 4401595 SOS 823965 HAS SOPS 823965 HAS SOUS 653367 HAS SOUPS 653367 WITH SCORE 654190.965
AT ITER 3096 NEW BEST:: SOT 4401412 SOS 823599 HAS SOPS 823599 HAS SOUS 653259 HAS SOUPS 653259 WITH SCORE 654082.599
AT ITER 3128 NEW BEST:: SOT 4401339 SOS 823453 HAS SOPS 823453 HAS SOUS 653040 HAS SOUPS 653040 WITH SCORE 653863.453
AT ITER 3172 NEW BEST:: SOT 4401323 SOS 823421 HAS SOPS 823421 HAS SOUS 653008 HAS SOUPS 653008 WITH SCORE 653831.421
AT ITER 3179 NEW BEST:: SOT 4401325 SOS 823050 HAS SOPS 823050 HAS SOUS 652793 HAS SOUPS 652793 WITH SCORE 653616.05
AT ITER 3211 NEW BEST:: SOT 4401325 SOS 822894 HAS SOPS 822894 HAS SOUS 652793 HAS SOUPS 652793 WITH SCORE 653615.894
AT ITER 3233 NEW BEST:: SOT 4401325 SOS 822894 HAS SOPS 822894 HAS SOUS 652618 HAS SOUPS 652618 WITH SCORE 653440.894
AT ITER 3244 NEW BEST:: SOT 4401325 SOS 822795 HAS SOPS 822795 HAS SOUS 652617 HAS SOUPS 652617 WITH SCORE 653439.795
AT ITER 3282 NEW BEST:: SOT 4401295 SOS 822764 HAS SOPS 822764 HAS SOUS 652582 HAS SOUPS 652582 WITH SCORE 653404.764
AT ITER 3294 NEW BEST:: SOT 4400935 SOS 822879 HAS SOPS 822879 HAS SOUS 652389 HAS SOUPS 652389 WITH SCORE 653211.879
AT ITER 3304 NEW BEST:: SOT 4400844 SOS 822697 HAS SOPS 822697 HAS SOUS 652207 HAS SOUPS 652207 WITH SCORE 653029.697
AT ITER 3322 NEW BEST:: SOT 4400844 SOS 822674 HAS SOPS 822674 HAS SOUS 652207 HAS SOUPS 652207 WITH SCORE 653029.674
AT ITER 3331 NEW BEST:: SOT 4400813 SOS 822519 HAS SOPS 822519 HAS SOUS 652176 HAS SOUPS 652176 WITH SCORE 652998.519
AT ITER 3349 NEW BEST:: SOT 4400359 SOS 821888 HAS SOPS 821888 HAS SOUS 651545 HAS SOUPS 651545 WITH SCORE 652366.888
AT ITER 3350 NEW BEST:: SOT 4400246 SOS 821662 HAS SOPS 821662 HAS SOUS 651432 HAS SOUPS 651432 WITH SCORE 652253.662
AT ITER 3385 NEW BEST:: SOT 4399996 SOS 821162 HAS SOPS 821162 HAS SOUS 650932 HAS SOUPS 650932 WITH SCORE 651753.162
AT ITER 3391 NEW BEST:: SOT 4399996 SOS 820913 HAS SOPS 820913 HAS SOUS 650932 HAS SOUPS 650932 WITH SCORE 651752.913
AT ITER 3411 NEW BEST:: SOT 4399638 SOS 820197 HAS SOPS 820197 HAS SOUS 650696 HAS SOUPS 650696 WITH SCORE 651516.197
AT ITER 3432 NEW BEST:: SOT 4399554 SOS 820029 HAS SOPS 820029 HAS SOUS 650612 HAS SOUPS 650612 WITH SCORE 651432.029
AT ITER 3448 NEW BEST:: SOT 4399554 SOS 819824 HAS SOPS 819824 HAS SOUS 650612 HAS SOUPS 650612 WITH SCORE 651431.824
AT ITER 3449 NEW BEST:: SOT 4399370 SOS 819824 HAS SOPS 819824 HAS SOUS 650520 HAS SOUPS 650520 WITH SCORE 651339.824
AT ITER 3451 NEW BEST:: SOT 4399443 SOS 819710 HAS SOPS 819710 HAS SOUS 650489 HAS SOUPS 650489 WITH SCORE 651308.71
AT ITER 3457 NEW BEST:: SOT 4399377 SOS 819578 HAS SOPS 819578 HAS SOUS 650423 HAS SOUPS 650423 WITH SCORE 651242.578
AT ITER 3463 NEW BEST:: SOT 4399298 SOS 819420 HAS SOPS 819420 HAS SOUS 650265 HAS SOUPS 650265 WITH SCORE 651084.42
AT ITER 3467 NEW BEST:: SOT 4399291 SOS 819353 HAS SOPS 819353 HAS SOUS 650205 HAS SOUPS 650205 WITH SCORE 651024.353
AT ITER 3494 NEW BEST:: SOT 4398969 SOS 819353 HAS SOPS 819353 HAS SOUS 650044 HAS SOUPS 650044 WITH SCORE 650863.353
AT ITER 3511 NEW BEST:: SOT 4399063 SOS 819541 HAS SOPS 819541 HAS SOUS 649952 HAS SOUPS 649952 WITH SCORE 650771.541
AT ITER 3525 NEW BEST:: SOT 4398841 SOS 819685 HAS SOPS 819685 HAS SOUS 649734 HAS SOUPS 649734 WITH SCORE 650553.685
AT ITER 3536 NEW BEST:: SOT 4398834 SOS 819671 HAS SOPS 819671 HAS SOUS 649720 HAS SOUPS 649720 WITH SCORE 650539.671
AT ITER 3567 NEW BEST:: SOT 4398562 SOS 819404 HAS SOPS 819404 HAS SOUS 649176 HAS SOUPS 649176 WITH SCORE 649995.404
AT ITER 3569 NEW BEST:: SOT 4398377 SOS 819219 HAS SOPS 819219 HAS SOUS 648991 HAS SOUPS 648991 WITH SCORE 649810.219
AT ITER 3589 NEW BEST:: SOT 4398377 SOS 819219 HAS SOPS 819219 HAS SOUS 648860 HAS SOUPS 648860 WITH SCORE 649679.219
AT ITER 3590 NEW BEST:: SOT 4398377 SOS 819163 HAS SOPS 819163 HAS SOUS 648831 HAS SOUPS 648831 WITH SCORE 649650.163
AT ITER 3598 NEW BEST:: SOT 4398111 SOS 818631 HAS SOPS 818631 HAS SOUS 648565 HAS SOUPS 648565 WITH SCORE 649383.631
AT ITER 3616 NEW BEST:: SOT 4397892 SOS 818193 HAS SOPS 818193 HAS SOUS 648468 HAS SOUPS 648468 WITH SCORE 649286.193
AT ITER 3626 NEW BEST:: SOT 4397616 SOS 817641 HAS SOPS 817641 HAS SOUS 647916 HAS SOUPS 647916 WITH SCORE 648733.641
AT ITER 3642 NEW BEST:: SOT 4397616 SOS 817391 HAS SOPS 817391 HAS SOUS 647666 HAS SOUPS 647666 WITH SCORE 648483.391
AT ITER 3675 NEW BEST:: SOT 4393720 SOS 823861 HAS SOPS 823861 HAS SOUS 643821 HAS SOUPS 643821 WITH SCORE 644644.861
AT ITER 3682 NEW BEST:: SOT 4393720 SOS 823775 HAS SOPS 823775 HAS SOUS 643821 HAS SOUPS 643821 WITH SCORE 644644.775
AT ITER 3700 NEW BEST:: SOT 4393565 SOS 823620 HAS SOPS 823620 HAS SOUS 643666 HAS SOUPS 643666 WITH SCORE 644489.62
AT ITER 3712 NEW BEST:: SOT 4393565 SOS 823366 HAS SOPS 823366 HAS SOUS 643458 HAS SOUPS 643458 WITH SCORE 644281.366
AT ITER 3719 NEW BEST:: SOT 4393298 SOS 823106 HAS SOPS 823106 HAS SOUS 643198 HAS SOUPS 643198 WITH SCORE 644021.106
AT ITER 3728 NEW BEST:: SOT 4393298 SOS 823106 HAS SOPS 823106 HAS SOUS 643043 HAS SOUPS 643043 WITH SCORE 643866.106
AT ITER 3734 NEW BEST:: SOT 4393287 SOS 823084 HAS SOPS 823084 HAS SOUS 643032 HAS SOUPS 643032 WITH SCORE 643855.084
AT ITER 3741 NEW BEST:: SOT 4393226 SOS 822901 HAS SOPS 822901 HAS SOUS 642948 HAS SOUPS 642948 WITH SCORE 643770.901
AT ITER 3793 NEW BEST:: SOT 4393226 SOS 822893 HAS SOPS 822893 HAS SOUS 642940 HAS SOUPS 642940 WITH SCORE 643762.893
AT ITER 3806 NEW BEST:: SOT 4393226 SOS 822839 HAS SOPS 822839 HAS SOUS 642886 HAS SOUPS 642886 WITH SCORE 643708.839
AT ITER 3835 NEW BEST:: SOT 4393203 SOS 822793 HAS SOPS 822793 HAS SOUS 642840 HAS SOUPS 642840 WITH SCORE 643662.793
AT ITER 3838 NEW BEST:: SOT 4393158 SOS 822852 HAS SOPS 822852 HAS SOUS 642795 HAS SOUPS 642795 WITH SCORE 643617.852
AT ITER 3843 NEW BEST:: SOT 4393113 SOS 822661 HAS SOPS 822661 HAS SOUS 642649 HAS SOUPS 642649 WITH SCORE 643471.661
AT ITER 3856 NEW BEST:: SOT 4393113 SOS 822567 HAS SOPS 822567 HAS SOUS 642649 HAS SOUPS 642649 WITH SCORE 643471.567
AT ITER 3873 NEW BEST:: SOT 4393112 SOS 822565 HAS SOPS 822565 HAS SOUS 642647 HAS SOUPS 642647 WITH SCORE 643469.565
AT ITER 3979 NEW BEST:: SOT 4392966 SOS 822273 HAS SOPS 822273 HAS SOUS 642355 HAS SOUPS 642355 WITH SCORE 643177.273
AT ITER 3991 NEW BEST:: SOT 4392973 SOS 821721 HAS SOPS 821721 HAS SOUS 641984 HAS SOUPS 641984 WITH SCORE 642805.721
AT ITER 4007 NEW BEST:: SOT 4392422 SOS 771143 HAS SOPS 771143 HAS SOUS 640851 HAS SOUPS 640851 WITH SCORE 641622.143
AT ITER 4009 NEW BEST:: SOT 4392329 SOS 770957 HAS SOPS 770957 HAS SOUS 640665 HAS SOUPS 640665 WITH SCORE 641435.957
AT ITER 4010 NEW BEST:: SOT 4391924 SOS 770757 HAS SOPS 770757 HAS SOUS 640315 HAS SOUPS 640315 WITH SCORE 641085.757
AT ITER 4017 NEW BEST:: SOT 4392032 SOS 770973 HAS SOPS 770973 HAS SOUS 640307 HAS SOUPS 640307 WITH SCORE 641077.973
AT ITER 4028 NEW BEST:: SOT 4391987 SOS 770679 HAS SOPS 770679 HAS SOUS 640217 HAS SOUPS 640217 WITH SCORE 640987.679
AT ITER 4049 NEW BEST:: SOT 4391810 SOS 770611 HAS SOPS 770611 HAS SOUS 640084 HAS SOUPS 640084 WITH SCORE 640854.611
AT ITER 4083 NEW BEST:: SOT 4391735 SOS 770461 HAS SOPS 770461 HAS SOUS 639934 HAS SOUPS 639934 WITH SCORE 640704.461
AT ITER 4084 NEW BEST:: SOT 4391525 SOS 770293 HAS SOPS 770293 HAS SOUS 639724 HAS SOUPS 639724 WITH SCORE 640494.293
AT ITER 4094 NEW BEST:: SOT 4391445 SOS 770133 HAS SOPS 770133 HAS SOUS 639564 HAS SOUPS 639564 WITH SCORE 640334.133
AT ITER 4106 NEW BEST:: SOT 4391111 SOS 769955 HAS SOPS 769955 HAS SOUS 639287 HAS SOUPS 639287 WITH SCORE 640056.955
AT ITER 4156 NEW BEST:: SOT 4390821 SOS 769375 HAS SOPS 769375 HAS SOUS 638707 HAS SOUPS 638707 WITH SCORE 639476.375
AT ITER 4188 NEW BEST:: SOT 4390678 SOS 769089 HAS SOPS 769089 HAS SOUS 638421 HAS SOUPS 638421 WITH SCORE 639190.089
AT ITER 4198 NEW BEST:: SOT 4390608 SOS 768885 HAS SOPS 768885 HAS SOUS 638281 HAS SOUPS 638281 WITH SCORE 639049.885
AT ITER 4208 NEW BEST:: SOT 4390264 SOS 768197 HAS SOPS 768197 HAS SOUS 637989 HAS SOUPS 637989 WITH SCORE 638757.197
AT ITER 4209 NEW BEST:: SOT 4390065 SOS 767799 HAS SOPS 767799 HAS SOUS 637790 HAS SOUPS 637790 WITH SCORE 638557.799
AT ITER 4242 NEW BEST:: SOT 4389581 SOS 767546 HAS SOPS 767546 HAS SOUS 637347 HAS SOUPS 637347 WITH SCORE 638114.546
AT ITER 4293 NEW BEST:: SOT 4389485 SOS 767354 HAS SOPS 767354 HAS SOUS 637251 HAS SOUPS 637251 WITH SCORE 638018.354
AT ITER 4295 NEW BEST:: SOT 4389527 SOS 767217 HAS SOPS 767217 HAS SOUS 637115 HAS SOUPS 637115 WITH SCORE 637882.217
AT ITER 4305 NEW BEST:: SOT 4389301 SOS 767217 HAS SOPS 767217 HAS SOUS 637114 HAS SOUPS 637114 WITH SCORE 637881.217
AT ITER 4316 NEW BEST:: SOT 4389180 SOS 756937 HAS SOPS 756937 HAS SOUS 636867 HAS SOUPS 636867 WITH SCORE 637623.937
AT ITER 4334 NEW BEST:: SOT 4389066 SOS 756709 HAS SOPS 756709 HAS SOUS 636639 HAS SOUPS 636639 WITH SCORE 637395.709
AT ITER 4349 NEW BEST:: SOT 4388310 SOS 755988 HAS SOPS 755988 HAS SOUS 635918 HAS SOUPS 635918 WITH SCORE 636673.988
AT ITER 4357 NEW BEST:: SOT 4388310 SOS 755988 HAS SOPS 755988 HAS SOUS 635659 HAS SOUPS 635659 WITH SCORE 636414.988
AT ITER 4375 NEW BEST:: SOT 4385867 SOS 753622 HAS SOPS 753622 HAS SOUS 633236 HAS SOUPS 633236 WITH SCORE 633989.622
AT ITER 4390 NEW BEST:: SOT 4385952 SOS 753792 HAS SOPS 753792 HAS SOUS 633204 HAS SOUPS 633204 WITH SCORE 633957.792
AT ITER 4401 NEW BEST:: SOT 4385796 SOS 753480 HAS SOPS 753480 HAS SOUS 632892 HAS SOUPS 632892 WITH SCORE 633645.48
AT ITER 4418 NEW BEST:: SOT 4385669 SOS 753226 HAS SOPS 753226 HAS SOUS 632613 HAS SOUPS 632613 WITH SCORE 633366.226
AT ITER 4479 NEW BEST:: SOT 4385668 SOS 753224 HAS SOPS 753224 HAS SOUS 632611 HAS SOUPS 632611 WITH SCORE 633364.224
AT ITER 4484 NEW BEST:: SOT 4385261 SOS 752565 HAS SOPS 752565 HAS SOUS 632430 HAS SOUPS 632430 WITH SCORE 633182.565
AT ITER 4498 NEW BEST:: SOT 4385261 SOS 752565 HAS SOPS 752565 HAS SOUS 632295 HAS SOUPS 632295 WITH SCORE 633047.565
AT ITER 4506 NEW BEST:: SOT 4384913 SOS 752217 HAS SOPS 752217 HAS SOUS 632294 HAS SOUPS 632294 WITH SCORE 633046.217
AT ITER 4531 NEW BEST:: SOT 4384848 SOS 752152 HAS SOPS 752152 HAS SOUS 632229 HAS SOUPS 632229 WITH SCORE 632981.152
AT ITER 4540 NEW BEST:: SOT 4384777 SOS 752081 HAS SOPS 752081 HAS SOUS 632158 HAS SOUPS 632158 WITH SCORE 632910.081
AT ITER 4593 NEW BEST:: SOT 4384721 SOS 752025 HAS SOPS 752025 HAS SOUS 632074 HAS SOUPS 632074 WITH SCORE 632826.025
AT ITER 4595 NEW BEST:: SOT 4384538 SOS 751659 HAS SOPS 751659 HAS SOUS 631707 HAS SOUPS 631707 WITH SCORE 632458.659
AT ITER 4621 NEW BEST:: SOT 4384533 SOS 751649 HAS SOPS 751649 HAS SOUS 631697 HAS SOUPS 631697 WITH SCORE 632448.649
AT ITER 4646 NEW BEST:: SOT 4384533 SOS 751615 HAS SOPS 751615 HAS SOUS 631697 HAS SOUPS 631697 WITH SCORE 632448.615
AT ITER 4649 NEW BEST:: SOT 4384600 SOS 751749 HAS SOPS 751749 HAS SOUS 631695 HAS SOUPS 631695 WITH SCORE 632446.749
AT ITER 4666 NEW BEST:: SOT 4384543 SOS 751635 HAS SOPS 751635 HAS SOUS 631581 HAS SOUPS 631581 WITH SCORE 632332.635
AT ITER 4677 NEW BEST:: SOT 4384317 SOS 751306 HAS SOPS 751306 HAS SOUS 631252 HAS SOUPS 631252 WITH SCORE 632003.306
AT ITER 4684 NEW BEST:: SOT 4384311 SOS 751294 HAS SOPS 751294 HAS SOUS 631240 HAS SOUPS 631240 WITH SCORE 631991.294
AT ITER 4708 NEW BEST:: SOT 4384285 SOS 751242 HAS SOPS 751242 HAS SOUS 631188 HAS SOUPS 631188 WITH SCORE 631939.242
AT ITER 4717 NEW BEST:: SOT 4384268 SOS 751276 HAS SOPS 751276 HAS SOUS 631103 HAS SOUPS 631103 WITH SCORE 631854.276
AT ITER 4734 NEW BEST:: SOT 4384257 SOS 751254 HAS SOPS 751254 HAS SOUS 631081 HAS SOUPS 631081 WITH SCORE 631832.254
AT ITER 4762 NEW BEST:: SOT 4384423 SOS 750896 HAS SOPS 750896 HAS SOUS 631068 HAS SOUPS 631068 WITH SCORE 631818.896
AT ITER 4763 NEW BEST:: SOT 4384351 SOS 750070 HAS SOPS 750070 HAS SOUS 630924 HAS SOUPS 630924 WITH SCORE 631674.07
AT ITER 4796 NEW BEST:: SOT 4384206 SOS 750081 HAS SOPS 750081 HAS SOUS 630875 HAS SOUPS 630875 WITH SCORE 631625.081
AT ITER 4800 NEW BEST:: SOT 4384204 SOS 750077 HAS SOPS 750077 HAS SOUS 630872 HAS SOUPS 630872 WITH SCORE 631622.077
AT ITER 4803 NEW BEST:: SOT 4384203 SOS 749911 HAS SOPS 749911 HAS SOUS 630707 HAS SOUPS 630707 WITH SCORE 631456.911
AT ITER 4828 NEW BEST:: SOT 4384121 SOS 749747 HAS SOPS 749747 HAS SOUS 630543 HAS SOUPS 630543 WITH SCORE 631292.747
AT ITER 4850 NEW BEST:: SOT 4384033 SOS 749571 HAS SOPS 749571 HAS SOUS 630367 HAS SOUPS 630367 WITH SCORE 631116.571
AT ITER 4866 NEW BEST:: SOT 4384003 SOS 749666 HAS SOPS 749666 HAS SOUS 630336 HAS SOUPS 630336 WITH SCORE 631085.666
AT ITER 4870 NEW BEST:: SOT 4383874 SOS 749408 HAS SOPS 749408 HAS SOUS 630207 HAS SOUPS 630207 WITH SCORE 630956.408
AT ITER 4877 NEW BEST:: SOT 4383733 SOS 749126 HAS SOPS 749126 HAS SOUS 629925 HAS SOUPS 629925 WITH SCORE 630674.126
AT ITER 4888 NEW BEST:: SOT 4383684 SOS 749028 HAS SOPS 749028 HAS SOUS 629827 HAS SOUPS 629827 WITH SCORE 630576.028
AT ITER 4895 NEW BEST:: SOT 4383493 SOS 748646 HAS SOPS 748646 HAS SOUS 629330 HAS SOUPS 629330 WITH SCORE 630078.646
AT ITER 4902 NEW BEST:: SOT 4383241 SOS 748394 HAS SOPS 748394 HAS SOUS 629078 HAS SOUPS 629078 WITH SCORE 629826.394
AT ITER 4903 NEW BEST:: SOT 4383196 SOS 748364 HAS SOPS 748364 HAS SOUS 629048 HAS SOUPS 629048 WITH SCORE 629796.364
AT ITER 4922 NEW BEST:: SOT 4383303 SOS 748187 HAS SOPS 748187 HAS SOUS 628871 HAS SOUPS 628871 WITH SCORE 629619.187
AT ITER 4924 NEW BEST:: SOT 4383289 SOS 748159 HAS SOPS 748159 HAS SOUS 628843 HAS SOUPS 628843 WITH SCORE 629591.159
AT ITER 4944 NEW BEST:: SOT 4383288 SOS 748157 HAS SOPS 748157 HAS SOUS 628841 HAS SOUPS 628841 WITH SCORE 629589.157
AT ITER 4974 NEW BEST:: SOT 4383167 SOS 747915 HAS SOPS 747915 HAS SOUS 628599 HAS SOUPS 628599 WITH SCORE 629346.915
AT ITER 4984 NEW BEST:: SOT 4382991 SOS 747563 HAS SOPS 747563 HAS SOUS 628247 HAS SOUPS 628247 WITH SCORE 628994.563
AT ITER 4994 NEW BEST:: SOT 4382991 SOS 747541 HAS SOPS 747541 HAS SOUS 628225 HAS SOUPS 628225 WITH SCORE 628972.541
AT ITER 5039 NEW BEST:: SOT 4382880 SOS 747319 HAS SOPS 747319 HAS SOUS 628114 HAS SOUPS 628114 WITH SCORE 628861.319
AT ITER 5045 NEW BEST:: SOT 4382880 SOS 747243 HAS SOPS 747243 HAS SOUS 628114 HAS SOUPS 628114 WITH SCORE 628861.243
AT ITER 5049 NEW BEST:: SOT 4382676 SOS 746835 HAS SOPS 746835 HAS SOUS 627706 HAS SOUPS 627706 WITH SCORE 628452.835
AT ITER 5072 NEW BEST:: SOT 4382314 SOS 746111 HAS SOPS 746111 HAS SOUS 627163 HAS SOUPS 627163 WITH SCORE 627909.111
AT ITER 5074 NEW BEST:: SOT 4382105 SOS 745572 HAS SOPS 745572 HAS SOUS 626769 HAS SOUPS 626769 WITH SCORE 627514.572
AT ITER 5082 NEW BEST:: SOT 4381979 SOS 745059 HAS SOPS 745059 HAS SOUS 626385 HAS SOUPS 626385 WITH SCORE 627130.059
AT ITER 5114 NEW BEST:: SOT 4381967 SOS 745035 HAS SOPS 745035 HAS SOUS 626361 HAS SOUPS 626361 WITH SCORE 627106.035
AT ITER 5118 NEW BEST:: SOT 4381967 SOS 745035 HAS SOPS 745035 HAS SOUS 626354 HAS SOUPS 626354 WITH SCORE 627099.035
AT ITER 5141 NEW BEST:: SOT 4381967 SOS 744878 HAS SOPS 744878 HAS SOUS 626197 HAS SOUPS 626197 WITH SCORE 626941.878
AT ITER 5191 NEW BEST:: SOT 4381967 SOS 744862 HAS SOPS 744862 HAS SOUS 626197 HAS SOUPS 626197 WITH SCORE 626941.862
AT ITER 5200 NEW BEST:: SOT 4381936 SOS 744800 HAS SOPS 744800 HAS SOUS 626135 HAS SOUPS 626135 WITH SCORE 626879.8
AT ITER 5202 NEW BEST:: SOT 4381836 SOS 744700 HAS SOPS 744700 HAS SOUS 626135 HAS SOUPS 626135 WITH SCORE 626879.7
AT ITER 5211 NEW BEST:: SOT 4381731 SOS 744595 HAS SOPS 744595 HAS SOUS 626030 HAS SOUPS 626030 WITH SCORE 626774.595
AT ITER 5219 NEW BEST:: SOT 4381527 SOS 744187 HAS SOPS 744187 HAS SOUS 625950 HAS SOUPS 625950 WITH SCORE 626694.187
AT ITER 5227 NEW BEST:: SOT 4381443 SOS 744103 HAS SOPS 744103 HAS SOUS 625866 HAS SOUPS 625866 WITH SCORE 626610.103
AT ITER 5230 NEW BEST:: SOT 4381286 SOS 743789 HAS SOPS 743789 HAS SOUS 625709 HAS SOUPS 625709 WITH SCORE 626452.789
AT ITER 5239 NEW BEST:: SOT 4381286 SOS 743327 HAS SOPS 743327 HAS SOUS 625478 HAS SOUPS 625478 WITH SCORE 626221.327
AT ITER 5243 NEW BEST:: SOT 4381286 SOS 743147 HAS SOPS 743147 HAS SOUS 625433 HAS SOUPS 625433 WITH SCORE 626176.147
AT ITER 5258 NEW BEST:: SOT 4381203 SOS 742981 HAS SOPS 742981 HAS SOUS 625267 HAS SOUPS 625267 WITH SCORE 626009.981
AT ITER 5276 NEW BEST:: SOT 4381085 SOS 742745 HAS SOPS 742745 HAS SOUS 625031 HAS SOUPS 625031 WITH SCORE 625773.745
AT ITER 5290 NEW BEST:: SOT 4381056 SOS 742687 HAS SOPS 742687 HAS SOUS 624973 HAS SOUPS 624973 WITH SCORE 625715.687
AT ITER 5345 NEW BEST:: SOT 4381039 SOS 742653 HAS SOPS 742653 HAS SOUS 624939 HAS SOUPS 624939 WITH SCORE 625681.653
AT ITER 5368 NEW BEST:: SOT 4380573 SOS 742685 HAS SOPS 742685 HAS SOUS 624714 HAS SOUPS 624714 WITH SCORE 625456.685
AT ITER 5369 NEW BEST:: SOT 4380269 SOS 742268 HAS SOPS 742268 HAS SOUS 624297 HAS SOUPS 624297 WITH SCORE 625039.268
AT ITER 5403 NEW BEST:: SOT 4380239 SOS 742238 HAS SOPS 742238 HAS SOUS 624267 HAS SOUPS 624267 WITH SCORE 625009.238
AT ITER 5430 NEW BEST:: SOT 4380385 SOS 742233 HAS SOPS 742233 HAS SOUS 624126 HAS SOUPS 624126 WITH SCORE 624868.233
AT ITER 5461 NEW BEST:: SOT 4380299 SOS 742233 HAS SOPS 742233 HAS SOUS 624040 HAS SOUPS 624040 WITH SCORE 624782.233
AT ITER 5467 NEW BEST:: SOT 4380268 SOS 742171 HAS SOPS 742171 HAS SOUS 623978 HAS SOUPS 623978 WITH SCORE 624720.171
AT ITER 5468 NEW BEST:: SOT 4380267 SOS 742025 HAS SOPS 742025 HAS SOUS 623976 HAS SOUPS 623976 WITH SCORE 624718.025
AT ITER 5479 NEW BEST:: SOT 4380279 SOS 742049 HAS SOPS 742049 HAS SOUS 623966 HAS SOUPS 623966 WITH SCORE 624708.049
AT ITER 5501 NEW BEST:: SOT 4380144 SOS 741779 HAS SOPS 741779 HAS SOUS 623696 HAS SOUPS 623696 WITH SCORE 624437.779
AT ITER 5513 NEW BEST:: SOT 4380143 SOS 741637 HAS SOPS 741637 HAS SOUS 623694 HAS SOUPS 623694 WITH SCORE 624435.637
AT ITER 5531 NEW BEST:: SOT 4379880 SOS 741570 HAS SOPS 741570 HAS SOUS 623429 HAS SOUPS 623429 WITH SCORE 624170.57
AT ITER 5559 NEW BEST:: SOT 4379879 SOS 741318 HAS SOPS 741318 HAS SOUS 623427 HAS SOUPS 623427 WITH SCORE 624168.318
AT ITER 5574 NEW BEST:: SOT 4379826 SOS 741212 HAS SOPS 741212 HAS SOUS 623374 HAS SOUPS 623374 WITH SCORE 624115.212
AT ITER 5589 NEW BEST:: SOT 4379596 SOS 740752 HAS SOPS 740752 HAS SOUS 622914 HAS SOUPS 622914 WITH SCORE 623654.752
AT ITER 5595 NEW BEST:: SOT 4379554 SOS 740668 HAS SOPS 740668 HAS SOUS 622830 HAS SOUPS 622830 WITH SCORE 623570.668
AT ITER 5625 NEW BEST:: SOT 4379659 SOS 740571 HAS SOPS 740571 HAS SOUS 622733 HAS SOUPS 622733 WITH SCORE 623473.571
AT ITER 5631 NEW BEST:: SOT 4379293 SOS 740227 HAS SOPS 740227 HAS SOUS 622366 HAS SOUPS 622366 WITH SCORE 623106.227
AT ITER 5634 NEW BEST:: SOT 4379094 SOS 739829 HAS SOPS 739829 HAS SOUS 621968 HAS SOUPS 621968 WITH SCORE 622707.829
AT ITER 5670 NEW BEST:: SOT 4379094 SOS 739787 HAS SOPS 739787 HAS SOUS 621926 HAS SOUPS 621926 WITH SCORE 622665.787
AT ITER 5685 NEW BEST:: SOT 4379004 SOS 739697 HAS SOPS 739697 HAS SOUS 621836 HAS SOUPS 621836 WITH SCORE 622575.697
AT ITER 5702 NEW BEST:: SOT 4378949 SOS 739587 HAS SOPS 739587 HAS SOUS 621629 HAS SOUPS 621629 WITH SCORE 622368.587
AT ITER 5703 NEW BEST:: SOT 4378151 SOS 740413 HAS SOPS 740413 HAS SOUS 621310 HAS SOUPS 621310 WITH SCORE 622050.413
AT ITER 5705 NEW BEST:: SOT 4378029 SOS 739960 HAS SOPS 739960 HAS SOUS 621066 HAS SOUPS 621066 WITH SCORE 621805.96
AT ITER 5714 NEW BEST:: SOT 4378024 SOS 739950 HAS SOPS 739950 HAS SOUS 621056 HAS SOUPS 621056 WITH SCORE 621795.95
AT ITER 5735 NEW BEST:: SOT 4377972 SOS 739846 HAS SOPS 739846 HAS SOUS 620952 HAS SOUPS 620952 WITH SCORE 621691.846
AT ITER 5752 NEW BEST:: SOT 4377972 SOS 739476 HAS SOPS 739476 HAS SOUS 620767 HAS SOUPS 620767 WITH SCORE 621506.476
AT ITER 5754 NEW BEST:: SOT 4377972 SOS 739476 HAS SOPS 739476 HAS SOUS 620507 HAS SOUPS 620507 WITH SCORE 621246.476
AT ITER 5758 NEW BEST:: SOT 4377858 SOS 739248 HAS SOPS 739248 HAS SOUS 620279 HAS SOUPS 620279 WITH SCORE 621018.248
AT ITER 5764 NEW BEST:: SOT 4377849 SOS 739230 HAS SOPS 739230 HAS SOUS 620270 HAS SOUPS 620270 WITH SCORE 621009.23
AT ITER 5772 NEW BEST:: SOT 4377849 SOS 739188 HAS SOPS 739188 HAS SOUS 620228 HAS SOUPS 620228 WITH SCORE 620967.188
AT ITER 5779 NEW BEST:: SOT 4377723 SOS 738936 HAS SOPS 738936 HAS SOUS 620040 HAS SOUPS 620040 WITH SCORE 620778.936
AT ITER 5797 NEW BEST:: SOT 4377405 SOS 738300 HAS SOPS 738300 HAS SOUS 619674 HAS SOUPS 619674 WITH SCORE 620412.3
AT ITER 5818 NEW BEST:: SOT 4377406 SOS 738280 HAS SOPS 738280 HAS SOUS 619653 HAS SOUPS 619653 WITH SCORE 620391.28
AT ITER 5848 NEW BEST:: SOT 4377358 SOS 738277 HAS SOPS 738277 HAS SOUS 619621 HAS SOUPS 619621 WITH SCORE 620359.277
AT ITER 5886 NEW BEST:: SOT 4377201 SOS 738119 HAS SOPS 738119 HAS SOUS 619463 HAS SOUPS 619463 WITH SCORE 620201.119
AT ITER 5954 NEW BEST:: SOT 4377270 SOS 737705 HAS SOPS 737705 HAS SOUS 619463 HAS SOUPS 619463 WITH SCORE 620200.705
AT ITER 5977 NEW BEST:: SOT 4377187 SOS 737539 HAS SOPS 737539 HAS SOUS 619297 HAS SOUPS 619297 WITH SCORE 620034.539
AT ITER 5992 NEW BEST:: SOT 4377034 SOS 737438 HAS SOPS 737438 HAS SOUS 619195 HAS SOUPS 619195 WITH SCORE 619932.438
AT ITER 6002 NEW BEST:: SOT 4376951 SOS 737202 HAS SOPS 737202 HAS SOUS 618959 HAS SOUPS 618959 WITH SCORE 619696.202
AT ITER 6035 NEW BEST:: SOT 4377014 SOS 737328 HAS SOPS 737328 HAS SOUS 618726 HAS SOUPS 618726 WITH SCORE 619463.328
AT ITER 6048 NEW BEST:: SOT 4375914 SOS 738726 HAS SOPS 738726 HAS SOUS 618284 HAS SOUPS 618284 WITH SCORE 619022.726
AT ITER 6080 NEW BEST:: SOT 4375875 SOS 738648 HAS SOPS 738648 HAS SOUS 618206 HAS SOUPS 618206 WITH SCORE 618944.648
AT ITER 6114 NEW BEST:: SOT 4375874 SOS 738646 HAS SOPS 738646 HAS SOUS 618204 HAS SOUPS 618204 WITH SCORE 618942.646
AT ITER 6158 NEW BEST:: SOT 4375855 SOS 738627 HAS SOPS 738627 HAS SOUS 618185 HAS SOUPS 618185 WITH SCORE 618923.627
AT ITER 6188 NEW BEST:: SOT 4375776 SOS 738469 HAS SOPS 738469 HAS SOUS 618094 HAS SOUPS 618094 WITH SCORE 618832.469
AT ITER 6203 NEW BEST:: SOT 4375774 SOS 738465 HAS SOPS 738465 HAS SOUS 618092 HAS SOUPS 618092 WITH SCORE 618830.465
AT ITER 6229 NEW BEST:: SOT 4375722 SOS 738361 HAS SOPS 738361 HAS SOUS 617988 HAS SOUPS 617988 WITH SCORE 618726.361
AT ITER 6241 NEW BEST:: SOT 4375663 SOS 738361 HAS SOPS 738361 HAS SOUS 617929 HAS SOUPS 617929 WITH SCORE 618667.361
AT ITER 6387 NEW BEST:: SOT 4375451 SOS 737937 HAS SOPS 737937 HAS SOUS 617717 HAS SOUPS 617717 WITH SCORE 618454.937
AT ITER 6388 NEW BEST:: SOT 4375436 SOS 737892 HAS SOPS 737892 HAS SOUS 617687 HAS SOUPS 617687 WITH SCORE 618424.892
AT ITER 6442 NEW BEST:: SOT 4375160 SOS 737639 HAS SOPS 737639 HAS SOUS 617422 HAS SOUPS 617422 WITH SCORE 618159.639
AT ITER 6448 NEW BEST:: SOT 4375030 SOS 737379 HAS SOPS 737379 HAS SOUS 617162 HAS SOUPS 617162 WITH SCORE 617899.379
AT ITER 6454 NEW BEST:: SOT 4374967 SOS 737190 HAS SOPS 737190 HAS SOUS 617036 HAS SOUPS 617036 WITH SCORE 617773.19
AT ITER 6456 NEW BEST:: SOT 4374919 SOS 737094 HAS SOPS 737094 HAS SOUS 616988 HAS SOUPS 616988 WITH SCORE 617725.094
AT ITER 6458 NEW BEST:: SOT 4374883 SOS 737022 HAS SOPS 737022 HAS SOUS 616916 HAS SOUPS 616916 WITH SCORE 617653.022
AT ITER 6462 NEW BEST:: SOT 4374883 SOS 736934 HAS SOPS 736934 HAS SOUS 616660 HAS SOUPS 616660 WITH SCORE 617396.934
AT ITER 6470 NEW BEST:: SOT 4374869 SOS 736920 HAS SOPS 736920 HAS SOUS 616646 HAS SOUPS 616646 WITH SCORE 617382.92
AT ITER 6504 NEW BEST:: SOT 4374869 SOS 736920 HAS SOPS 736920 HAS SOUS 616645 HAS SOUPS 616645 WITH SCORE 617381.92
AT ITER 6523 NEW BEST:: SOT 4374743 SOS 736668 HAS SOPS 736668 HAS SOUS 616393 HAS SOUPS 616393 WITH SCORE 617129.668
AT ITER 6532 NEW BEST:: SOT 4370543 SOS 751176 HAS SOPS 751176 HAS SOUS 613147 HAS SOUPS 613147 WITH SCORE 613898.176
AT ITER 6539 NEW BEST:: SOT 4370502 SOS 751135 HAS SOPS 751135 HAS SOUS 613065 HAS SOUPS 613065 WITH SCORE 613816.135
AT ITER 6577 NEW BEST:: SOT 4370464 SOS 751021 HAS SOPS 751021 HAS SOUS 612951 HAS SOUPS 612951 WITH SCORE 613702.021
AT ITER 6594 NEW BEST:: SOT 4370337 SOS 750767 HAS SOPS 750767 HAS SOUS 612697 HAS SOUPS 612697 WITH SCORE 613447.767
AT ITER 6609 NEW BEST:: SOT 4370385 SOS 750706 HAS SOPS 750706 HAS SOUS 612636 HAS SOUPS 612636 WITH SCORE 613386.706
AT ITER 6616 NEW BEST:: SOT 4370396 SOS 750343 HAS SOPS 750343 HAS SOUS 612531 HAS SOUPS 612531 WITH SCORE 613281.343
AT ITER 6621 NEW BEST:: SOT 4370200 SOS 749951 HAS SOPS 749951 HAS SOUS 612139 HAS SOUPS 612139 WITH SCORE 612888.951
AT ITER 6624 NEW BEST:: SOT 4368571 SOS 748772 HAS SOPS 748772 HAS SOUS 610663 HAS SOUPS 610663 WITH SCORE 611411.772
AT ITER 6634 NEW BEST:: SOT 4368488 SOS 748766 HAS SOPS 748766 HAS SOUS 610580 HAS SOUPS 610580 WITH SCORE 611328.766
AT ITER 6643 NEW BEST:: SOT 4368460 SOS 748710 HAS SOPS 748710 HAS SOUS 610524 HAS SOUPS 610524 WITH SCORE 611272.71
AT ITER 6670 NEW BEST:: SOT 4368383 SOS 748797 HAS SOPS 748797 HAS SOUS 610447 HAS SOUPS 610447 WITH SCORE 611195.797
AT ITER 6775 NEW BEST:: SOT 4368309 SOS 748538 HAS SOPS 748538 HAS SOUS 610299 HAS SOUPS 610299 WITH SCORE 611047.538
AT ITER 6827 NEW BEST:: SOT 4368439 SOS 748386 HAS SOPS 748386 HAS SOUS 610298 HAS SOUPS 610298 WITH SCORE 611046.386
AT ITER 6837 NEW BEST:: SOT 4368407 SOS 748322 HAS SOPS 748322 HAS SOUS 610234 HAS SOUPS 610234 WITH SCORE 610982.322
AT ITER 6960 NEW BEST:: SOT 4368391 SOS 748306 HAS SOPS 748306 HAS SOUS 610218 HAS SOUPS 610218 WITH SCORE 610966.306
AT ITER 7025 NEW BEST:: SOT 4368374 SOS 748272 HAS SOPS 748272 HAS SOUS 610124 HAS SOUPS 610124 WITH SCORE 610872.272
AT ITER 7114 NEW BEST:: SOT 4368129 SOS 748034 HAS SOPS 748034 HAS SOUS 609879 HAS SOUPS 609879 WITH SCORE 610627.034
AT ITER 7126 NEW BEST:: SOT 4368044 SOS 747864 HAS SOPS 747864 HAS SOUS 609709 HAS SOUPS 609709 WITH SCORE 610456.864
AT ITER 7135 NEW BEST:: SOT 4367833 SOS 747442 HAS SOPS 747442 HAS SOUS 609287 HAS SOUPS 609287 WITH SCORE 610034.442
AT ITER 7149 NEW BEST:: SOT 4367786 SOS 747348 HAS SOPS 747348 HAS SOUS 609240 HAS SOUPS 609240 WITH SCORE 609987.348
AT ITER 7161 NEW BEST:: SOT 4367767 SOS 747310 HAS SOPS 747310 HAS SOUS 609202 HAS SOUPS 609202 WITH SCORE 609949.31
AT ITER 7199 NEW BEST:: SOT 4366851 SOS 746898 HAS SOPS 746898 HAS SOUS 608570 HAS SOUPS 608570 WITH SCORE 609316.898
AT ITER 7204 NEW BEST:: SOT 4366851 SOS 746898 HAS SOPS 746898 HAS SOUS 608556 HAS SOUPS 608556 WITH SCORE 609302.898
AT ITER 7213 NEW BEST:: SOT 4366533 SOS 746580 HAS SOPS 746580 HAS SOUS 608238 HAS SOUPS 608238 WITH SCORE 608984.58
AT ITER 7216 NEW BEST:: SOT 4366313 SOS 746140 HAS SOPS 746140 HAS SOUS 607798 HAS SOUPS 607798 WITH SCORE 608544.14
AT ITER 7225 NEW BEST:: SOT 4366263 SOS 745906 HAS SOPS 745906 HAS SOUS 607614 HAS SOUPS 607614 WITH SCORE 608359.906
AT ITER 7236 NEW BEST:: SOT 4366262 SOS 745904 HAS SOPS 745904 HAS SOUS 607612 HAS SOUPS 607612 WITH SCORE 608357.904
AT ITER 7241 NEW BEST:: SOT 4366004 SOS 745388 HAS SOPS 745388 HAS SOUS 607390 HAS SOUPS 607390 WITH SCORE 608135.388
AT ITER 7249 NEW BEST:: SOT 4365967 SOS 745314 HAS SOPS 745314 HAS SOUS 607316 HAS SOUPS 607316 WITH SCORE 608061.314
AT ITER 7260 NEW BEST:: SOT 4366112 SOS 744852 HAS SOPS 744852 HAS SOUS 607228 HAS SOUPS 607228 WITH SCORE 607972.852
AT ITER 7276 NEW BEST:: SOT 4366083 SOS 744794 HAS SOPS 744794 HAS SOUS 607170 HAS SOUPS 607170 WITH SCORE 607914.794
AT ITER 7281 NEW BEST:: SOT 4365983 SOS 744694 HAS SOPS 744694 HAS SOUS 607149 HAS SOUPS 607149 WITH SCORE 607893.694
AT ITER 7282 NEW BEST:: SOT 4365895 SOS 744518 HAS SOPS 744518 HAS SOUS 606973 HAS SOUPS 606973 WITH SCORE 607717.518
AT ITER 7283 NEW BEST:: SOT 4365839 SOS 744406 HAS SOPS 744406 HAS SOUS 606883 HAS SOUPS 606883 WITH SCORE 607627.406
AT ITER 7311 NEW BEST:: SOT 4365813 SOS 744354 HAS SOPS 744354 HAS SOUS 606857 HAS SOUPS 606857 WITH SCORE 607601.354
AT ITER 7314 NEW BEST:: SOT 4365754 SOS 744236 HAS SOPS 744236 HAS SOUS 606798 HAS SOUPS 606798 WITH SCORE 607542.236
AT ITER 7365 NEW BEST:: SOT 4365574 SOS 744176 HAS SOPS 744176 HAS SOUS 606678 HAS SOUPS 606678 WITH SCORE 607422.176
AT ITER 7386 NEW BEST:: SOT 4365517 SOS 744062 HAS SOPS 744062 HAS SOUS 606564 HAS SOUPS 606564 WITH SCORE 607308.062
AT ITER 7450 NEW BEST:: SOT 4365439 SOS 743906 HAS SOPS 743906 HAS SOUS 606378 HAS SOUPS 606378 WITH SCORE 607121.906
AT ITER 7476 NEW BEST:: SOT 4365409 SOS 743846 HAS SOPS 743846 HAS SOUS 606318 HAS SOUPS 606318 WITH SCORE 607061.846
AT ITER 7494 NEW BEST:: SOT 4365478 SOS 743812 HAS SOPS 743812 HAS SOUS 606301 HAS SOUPS 606301 WITH SCORE 607044.812
AT ITER 7501 NEW BEST:: SOT 4365478 SOS 729813 HAS SOPS 729813 HAS SOUS 606301 HAS SOUPS 606301 WITH SCORE 607030.813
AT ITER 7526 NEW BEST:: SOT 4365441 SOS 729739 HAS SOPS 729739 HAS SOUS 606227 HAS SOUPS 606227 WITH SCORE 606956.739
AT ITER 7552 NEW BEST:: SOT 4365389 SOS 729635 HAS SOPS 729635 HAS SOUS 606175 HAS SOUPS 606175 WITH SCORE 606904.635
AT ITER 7557 NEW BEST:: SOT 4365384 SOS 729625 HAS SOPS 729625 HAS SOUS 606165 HAS SOUPS 606165 WITH SCORE 606894.625
AT ITER 7567 NEW BEST:: SOT 4365384 SOS 729625 HAS SOPS 729625 HAS SOUS 606163 HAS SOUPS 606163 WITH SCORE 606892.625
AT ITER 7573 NEW BEST:: SOT 4365383 SOS 729624 HAS SOPS 729624 HAS SOUS 606161 HAS SOUPS 606161 WITH SCORE 606890.624
AT ITER 7583 NEW BEST:: SOT 4365322 SOS 729418 HAS SOPS 729418 HAS SOUS 606100 HAS SOUPS 606100 WITH SCORE 606829.418
AT ITER 7599 NEW BEST:: SOT 4365317 SOS 729408 HAS SOPS 729408 HAS SOUS 606095 HAS SOUPS 606095 WITH SCORE 606824.408
AT ITER 7606 NEW BEST:: SOT 4364953 SOS 729139 HAS SOPS 729139 HAS SOUS 605775 HAS SOUPS 605775 WITH SCORE 606504.139
AT ITER 7620 NEW BEST:: SOT 4364872 SOS 729098 HAS SOPS 729098 HAS SOUS 605694 HAS SOUPS 605694 WITH SCORE 606423.098
AT ITER 7643 NEW BEST:: SOT 4364800 SOS 728954 HAS SOPS 728954 HAS SOUS 605550 HAS SOUPS 605550 WITH SCORE 606278.954
AT ITER 7644 NEW BEST:: SOT 4364755 SOS 728666 HAS SOPS 728666 HAS SOUS 605262 HAS SOUPS 605262 WITH SCORE 605990.666
AT ITER 7650 NEW BEST:: SOT 4364814 SOS 728526 HAS SOPS 728526 HAS SOUS 605059 HAS SOUPS 605059 WITH SCORE 605787.526
AT ITER 7669 NEW BEST:: SOT 4364814 SOS 728377 HAS SOPS 728377 HAS SOUS 604884 HAS SOUPS 604884 WITH SCORE 605612.377
AT ITER 7683 NEW BEST:: SOT 4364774 SOS 728297 HAS SOPS 728297 HAS SOUS 604804 HAS SOUPS 604804 WITH SCORE 605532.297
AT ITER 7684 NEW BEST:: SOT 4364620 SOS 728495 HAS SOPS 728495 HAS SOUS 604671 HAS SOUPS 604671 WITH SCORE 605399.495
AT ITER 7700 NEW BEST:: SOT 4364605 SOS 728465 HAS SOPS 728465 HAS SOUS 604641 HAS SOUPS 604641 WITH SCORE 605369.465
AT ITER 7752 NEW BEST:: SOT 4364605 SOS 728448 HAS SOPS 728448 HAS SOUS 604641 HAS SOUPS 604641 WITH SCORE 605369.448
AT ITER 7756 NEW BEST:: SOT 4364605 SOS 728379 HAS SOPS 728379 HAS SOUS 604641 HAS SOUPS 604641 WITH SCORE 605369.379
AT ITER 7775 NEW BEST:: SOT 4364517 SOS 728115 HAS SOPS 728115 HAS SOUS 604553 HAS SOUPS 604553 WITH SCORE 605281.115
AT ITER 7836 NEW BEST:: SOT 4364516 SOS 728113 HAS SOPS 728113 HAS SOUS 604551 HAS SOUPS 604551 WITH SCORE 605279.113
AT ITER 7866 NEW BEST:: SOT 4364472 SOS 728025 HAS SOPS 728025 HAS SOUS 604507 HAS SOUPS 604507 WITH SCORE 605235.025
AT ITER 7879 NEW BEST:: SOT 4364472 SOS 728025 HAS SOPS 728025 HAS SOUS 604485 HAS SOUPS 604485 WITH SCORE 605213.025
AT ITER 7907 NEW BEST:: SOT 4364334 SOS 727890 HAS SOPS 727890 HAS SOUS 604337 HAS SOUPS 604337 WITH SCORE 605064.89
AT ITER 7977 NEW BEST:: SOT 4363948 SOS 727606 HAS SOPS 727606 HAS SOUS 604053 HAS SOUPS 604053 WITH SCORE 604780.606
AT ITER 7996 NEW BEST:: SOT 4363865 SOS 727548 HAS SOPS 727548 HAS SOUS 603995 HAS SOUPS 603995 WITH SCORE 604722.548
AT ITER 8001 NEW BEST:: SOT 4363576 SOS 727735 HAS SOPS 727735 HAS SOUS 603928 HAS SOUPS 603928 WITH SCORE 604655.735
AT ITER 8006 NEW BEST:: SOT 4363681 SOS 727395 HAS SOPS 727395 HAS SOUS 603863 HAS SOUPS 603863 WITH SCORE 604590.395
AT ITER 8011 NEW BEST:: SOT 4363517 SOS 727067 HAS SOPS 727067 HAS SOUS 603699 HAS SOUPS 603699 WITH SCORE 604426.067
AT ITER 8022 NEW BEST:: SOT 4363582 SOS 726412 HAS SOPS 726412 HAS SOUS 602445 HAS SOUPS 602445 WITH SCORE 603171.412
AT ITER 8024 NEW BEST:: SOT 4363582 SOS 726355 HAS SOPS 726355 HAS SOUS 602445 HAS SOUPS 602445 WITH SCORE 603171.355
AT ITER 8154 NEW BEST:: SOT 4363581 SOS 726353 HAS SOPS 726353 HAS SOUS 602443 HAS SOUPS 602443 WITH SCORE 603169.353
AT ITER 8160 NEW BEST:: SOT 4363397 SOS 726169 HAS SOPS 726169 HAS SOUS 602259 HAS SOUPS 602259 WITH SCORE 602985.169
AT ITER 8168 NEW BEST:: SOT 4363235 SOS 725845 HAS SOPS 725845 HAS SOUS 601935 HAS SOUPS 601935 WITH SCORE 602660.845
AT ITER 8192 NEW BEST:: SOT 4363221 SOS 725817 HAS SOPS 725817 HAS SOUS 601919 HAS SOUPS 601919 WITH SCORE 602644.817
AT ITER 8242 NEW BEST:: SOT 4363330 SOS 725736 HAS SOPS 725736 HAS SOUS 601838 HAS SOUPS 601838 WITH SCORE 602563.736
AT ITER 8255 NEW BEST:: SOT 4363268 SOS 725612 HAS SOPS 725612 HAS SOUS 601776 HAS SOUPS 601776 WITH SCORE 602501.612
AT ITER 8266 NEW BEST:: SOT 4362964 SOS 725156 HAS SOPS 725156 HAS SOUS 601320 HAS SOUPS 601320 WITH SCORE 602045.156
AT ITER 8278 NEW BEST:: SOT 4362874 SOS 724281 HAS SOPS 724281 HAS SOUS 600914 HAS SOUPS 600914 WITH SCORE 601638.281
AT ITER 8279 NEW BEST:: SOT 4362873 SOS 723919 HAS SOPS 723919 HAS SOUS 600912 HAS SOUPS 600912 WITH SCORE 601635.919
AT ITER 8283 NEW BEST:: SOT 4362910 SOS 723918 HAS SOPS 723918 HAS SOUS 600911 HAS SOUPS 600911 WITH SCORE 601634.918
AT ITER 8301 NEW BEST:: SOT 4362909 SOS 723916 HAS SOPS 723916 HAS SOUS 600909 HAS SOUPS 600909 WITH SCORE 601632.916
AT ITER 8313 NEW BEST:: SOT 4362892 SOS 723882 HAS SOPS 723882 HAS SOUS 600665 HAS SOUPS 600665 WITH SCORE 601388.882
AT ITER 8331 NEW BEST:: SOT 4362892 SOS 723882 HAS SOPS 723882 HAS SOUS 600615 HAS SOUPS 600615 WITH SCORE 601338.882
AT ITER 8332 NEW BEST:: SOT 4362882 SOS 723862 HAS SOPS 723862 HAS SOUS 600595 HAS SOUPS 600595 WITH SCORE 601318.862
AT ITER 8366 NEW BEST:: SOT 4362785 SOS 723765 HAS SOPS 723765 HAS SOUS 600498 HAS SOUPS 600498 WITH SCORE 601221.765
AT ITER 8412 NEW BEST:: SOT 4362785 SOS 723723 HAS SOPS 723723 HAS SOUS 600498 HAS SOUPS 600498 WITH SCORE 601221.723
AT ITER 8463 NEW BEST:: SOT 4362715 SOS 723583 HAS SOPS 723583 HAS SOUS 600223 HAS SOUPS 600223 WITH SCORE 600946.583
AT ITER 8468 NEW BEST:: SOT 4362771 SOS 723563 HAS SOPS 723563 HAS SOUS 600203 HAS SOUPS 600203 WITH SCORE 600926.563
AT ITER 8488 NEW BEST:: SOT 4362765 SOS 723551 HAS SOPS 723551 HAS SOUS 600191 HAS SOUPS 600191 WITH SCORE 600914.551
AT ITER 8500 NEW BEST:: SOT 4362846 SOS 723713 HAS SOPS 723713 HAS SOUS 599971 HAS SOUPS 599971 WITH SCORE 600694.713
AT ITER 8505 NEW BEST:: SOT 4362726 SOS 723364 HAS SOPS 723364 HAS SOUS 599830 HAS SOUPS 599830 WITH SCORE 600553.364
AT ITER 8506 NEW BEST:: SOT 4362634 SOS 723180 HAS SOPS 723180 HAS SOUS 599646 HAS SOUPS 599646 WITH SCORE 600369.18
AT ITER 8508 NEW BEST:: SOT 4362634 SOS 723180 HAS SOPS 723180 HAS SOUS 599643 HAS SOUPS 599643 WITH SCORE 600366.18
AT ITER 8510 NEW BEST:: SOT 4362552 SOS 723078 HAS SOPS 723078 HAS SOUS 599541 HAS SOUPS 599541 WITH SCORE 600264.078
AT ITER 8520 NEW BEST:: SOT 4362391 SOS 722756 HAS SOPS 722756 HAS SOUS 599219 HAS SOUPS 599219 WITH SCORE 599941.756
AT ITER 8532 NEW BEST:: SOT 4362263 SOS 722500 HAS SOPS 722500 HAS SOUS 598963 HAS SOUPS 598963 WITH SCORE 599685.5
AT ITER 8534 NEW BEST:: SOT 4362263 SOS 722500 HAS SOPS 722500 HAS SOUS 598862 HAS SOUPS 598862 WITH SCORE 599584.5
AT ITER 8540 NEW BEST:: SOT 4362104 SOS 722182 HAS SOPS 722182 HAS SOUS 598703 HAS SOUPS 598703 WITH SCORE 599425.182
AT ITER 8555 NEW BEST:: SOT 4362048 SOS 722070 HAS SOPS 722070 HAS SOUS 598591 HAS SOUPS 598591 WITH SCORE 599313.07
AT ITER 8587 NEW BEST:: SOT 4361935 SOS 721844 HAS SOPS 721844 HAS SOUS 598365 HAS SOUPS 598365 WITH SCORE 599086.844
AT ITER 8593 NEW BEST:: SOT 4361882 SOS 721672 HAS SOPS 721672 HAS SOUS 598255 HAS SOUPS 598255 WITH SCORE 598976.672
AT ITER 8630 NEW BEST:: SOT 4361626 SOS 721147 HAS SOPS 721147 HAS SOUS 597730 HAS SOUPS 597730 WITH SCORE 598451.147
AT ITER 8657 NEW BEST:: SOT 4361626 SOS 721009 HAS SOPS 721009 HAS SOUS 597592 HAS SOUPS 597592 WITH SCORE 598313.009
AT ITER 8703 NEW BEST:: SOT 4361567 SOS 720891 HAS SOPS 720891 HAS SOUS 597533 HAS SOUPS 597533 WITH SCORE 598253.891
AT ITER 8742 NEW BEST:: SOT 4361416 SOS 720273 HAS SOPS 720273 HAS SOUS 597066 HAS SOUPS 597066 WITH SCORE 597786.273
AT ITER 8748 NEW BEST:: SOT 4361692 SOS 719873 HAS SOPS 719873 HAS SOUS 597014 HAS SOUPS 597014 WITH SCORE 597733.873
AT ITER 8757 NEW BEST:: SOT 4361692 SOS 719734 HAS SOPS 719734 HAS SOUS 597011 HAS SOUPS 597011 WITH SCORE 597730.734
AT ITER 8774 NEW BEST:: SOT 4361692 SOS 719668 HAS SOPS 719668 HAS SOUS 597011 HAS SOUPS 597011 WITH SCORE 597730.668
AT ITER 8776 NEW BEST:: SOT 4361690 SOS 719472 HAS SOPS 719472 HAS SOUS 596865 HAS SOUPS 596865 WITH SCORE 597584.472
AT ITER 8784 NEW BEST:: SOT 4361669 SOS 719430 HAS SOPS 719430 HAS SOUS 596823 HAS SOUPS 596823 WITH SCORE 597542.43
AT ITER 8788 NEW BEST:: SOT 4361669 SOS 719148 HAS SOPS 719148 HAS SOUS 596823 HAS SOUPS 596823 WITH SCORE 597542.148
AT ITER 8789 NEW BEST:: SOT 4361669 SOS 719053 HAS SOPS 719053 HAS SOUS 596728 HAS SOUPS 596728 WITH SCORE 597447.053
AT ITER 8838 NEW BEST:: SOT 4361363 SOS 718747 HAS SOPS 718747 HAS SOUS 596422 HAS SOUPS 596422 WITH SCORE 597140.747
AT ITER 8871 NEW BEST:: SOT 4361181 SOS 718201 HAS SOPS 718201 HAS SOUS 596058 HAS SOUPS 596058 WITH SCORE 596776.201
AT ITER 8928 NEW BEST:: SOT 4361290 SOS 718185 HAS SOPS 718185 HAS SOUS 596042 HAS SOUPS 596042 WITH SCORE 596760.185
AT ITER 8931 NEW BEST:: SOT 4361200 SOS 718152 HAS SOPS 718152 HAS SOUS 595952 HAS SOUPS 595952 WITH SCORE 596670.152
AT ITER 8932 NEW BEST:: SOT 4361181 SOS 718095 HAS SOPS 718095 HAS SOUS 595932 HAS SOUPS 595932 WITH SCORE 596650.095
AT ITER 8935 NEW BEST:: SOT 4361181 SOS 718095 HAS SOPS 718095 HAS SOUS 595809 HAS SOUPS 595809 WITH SCORE 596527.095
AT ITER 8946 NEW BEST:: SOT 4361181 SOS 718004 HAS SOPS 718004 HAS SOUS 595809 HAS SOUPS 595809 WITH SCORE 596527.004
AT ITER 8949 NEW BEST:: SOT 4361124 SOS 717890 HAS SOPS 717890 HAS SOUS 595744 HAS SOUPS 595744 WITH SCORE 596461.89
AT ITER 8982 NEW BEST:: SOT 4360752 SOS 717822 HAS SOPS 717822 HAS SOUS 595541 HAS SOUPS 595541 WITH SCORE 596258.822
AT ITER 9005 NEW BEST:: SOT 4360742 SOS 717802 HAS SOPS 717802 HAS SOUS 595521 HAS SOUPS 595521 WITH SCORE 596238.802
AT ITER 9047 NEW BEST:: SOT 4360724 SOS 717766 HAS SOPS 717766 HAS SOUS 595167 HAS SOUPS 595167 WITH SCORE 595884.766
AT ITER 9059 NEW BEST:: SOT 4360723 SOS 717657 HAS SOPS 717657 HAS SOUS 595165 HAS SOUPS 595165 WITH SCORE 595882.657
AT ITER 9079 NEW BEST:: SOT 4360281 SOS 716773 HAS SOPS 716773 HAS SOUS 594956 HAS SOUPS 594956 WITH SCORE 595672.773
AT ITER 9092 NEW BEST:: SOT 4360104 SOS 716419 HAS SOPS 716419 HAS SOUS 594837 HAS SOUPS 594837 WITH SCORE 595553.419
AT ITER 9097 NEW BEST:: SOT 4359989 SOS 716189 HAS SOPS 716189 HAS SOUS 594607 HAS SOUPS 594607 WITH SCORE 595323.189
AT ITER 9143 NEW BEST:: SOT 4359880 SOS 716377 HAS SOPS 716377 HAS SOUS 594550 HAS SOUPS 594550 WITH SCORE 595266.377
AT ITER 9158 NEW BEST:: SOT 4359929 SOS 716475 HAS SOPS 716475 HAS SOUS 594523 HAS SOUPS 594523 WITH SCORE 595239.475
AT ITER 9187 NEW BEST:: SOT 4359648 SOS 716313 HAS SOPS 716313 HAS SOUS 594261 HAS SOUPS 594261 WITH SCORE 594977.313
AT ITER 9198 NEW BEST:: SOT 4359608 SOS 716233 HAS SOPS 716233 HAS SOUS 594221 HAS SOUPS 594221 WITH SCORE 594937.233
AT ITER 9206 NEW BEST:: SOT 4359608 SOS 716128 HAS SOPS 716128 HAS SOUS 594221 HAS SOUPS 594221 WITH SCORE 594937.128
AT ITER 9215 NEW BEST:: SOT 4359618 SOS 716148 HAS SOPS 716148 HAS SOUS 594173 HAS SOUPS 594173 WITH SCORE 594889.148
AT ITER 9222 NEW BEST:: SOT 4359615 SOS 716063 HAS SOPS 716063 HAS SOUS 594163 HAS SOUPS 594163 WITH SCORE 594879.063
AT ITER 9245 NEW BEST:: SOT 4359615 SOS 715971 HAS SOPS 715971 HAS SOUS 594071 HAS SOUPS 594071 WITH SCORE 594786.971
AT ITER 9259 NEW BEST:: SOT 4359471 SOS 715214 HAS SOPS 715214 HAS SOUS 593783 HAS SOUPS 593783 WITH SCORE 594498.214
AT ITER 9260 NEW BEST:: SOT 4359471 SOS 714974 HAS SOPS 714974 HAS SOUS 593783 HAS SOUPS 593783 WITH SCORE 594497.974
AT ITER 9278 NEW BEST:: SOT 4359471 SOS 714974 HAS SOPS 714974 HAS SOUS 593782 HAS SOUPS 593782 WITH SCORE 594496.974
AT ITER 9326 NEW BEST:: SOT 4359454 SOS 714940 HAS SOPS 714940 HAS SOUS 593748 HAS SOUPS 593748 WITH SCORE 594462.94
AT ITER 9329 NEW BEST:: SOT 4359289 SOS 714610 HAS SOPS 714610 HAS SOUS 593583 HAS SOUPS 593583 WITH SCORE 594297.61
AT ITER 9387 NEW BEST:: SOT 4359289 SOS 714487 HAS SOPS 714487 HAS SOUS 593460 HAS SOUPS 593460 WITH SCORE 594174.487
AT ITER 9389 NEW BEST:: SOT 4359214 SOS 714563 HAS SOPS 714563 HAS SOUS 593437 HAS SOUPS 593437 WITH SCORE 594151.563
AT ITER 9396 NEW BEST:: SOT 4359163 SOS 715650 HAS SOPS 715650 HAS SOUS 593386 HAS SOUPS 593386 WITH SCORE 594101.65
AT ITER 9409 NEW BEST:: SOT 4359134 SOS 715650 HAS SOPS 715650 HAS SOUS 593357 HAS SOUPS 593357 WITH SCORE 594072.65
AT ITER 9420 NEW BEST:: SOT 4359081 SOS 715544 HAS SOPS 715544 HAS SOUS 593278 HAS SOUPS 593278 WITH SCORE 593993.544
AT ITER 9454 NEW BEST:: SOT 4358977 SOS 712863 HAS SOPS 712863 HAS SOUS 593144 HAS SOUPS 593144 WITH SCORE 593856.863
AT ITER 9461 NEW BEST:: SOT 4358974 SOS 712860 HAS SOPS 712860 HAS SOUS 593141 HAS SOUPS 593141 WITH SCORE 593853.86
AT ITER 9514 NEW BEST:: SOT 4358973 SOS 712858 HAS SOPS 712858 HAS SOUS 593139 HAS SOUPS 593139 WITH SCORE 593851.858
AT ITER 9528 NEW BEST:: SOT 4358946 SOS 712777 HAS SOPS 712777 HAS SOUS 593085 HAS SOUPS 593085 WITH SCORE 593797.777
AT ITER 9530 NEW BEST:: SOT 4358933 SOS 712751 HAS SOPS 712751 HAS SOUS 593059 HAS SOUPS 593059 WITH SCORE 593771.751
AT ITER 9558 NEW BEST:: SOT 4358933 SOS 712544 HAS SOPS 712544 HAS SOUS 593059 HAS SOUPS 593059 WITH SCORE 593771.544
AT ITER 9580 NEW BEST:: SOT 4358997 SOS 712608 HAS SOPS 712608 HAS SOUS 592959 HAS SOUPS 592959 WITH SCORE 593671.608
AT ITER 9675 NEW BEST:: SOT 4358950 SOS 712514 HAS SOPS 712514 HAS SOUS 592912 HAS SOUPS 592912 WITH SCORE 593624.514
AT ITER 9681 NEW BEST:: SOT 4358950 SOS 712228 HAS SOPS 712228 HAS SOUS 592912 HAS SOUPS 592912 WITH SCORE 593624.228
AT ITER 9689 NEW BEST:: SOT 4359029 SOS 711961 HAS SOPS 711961 HAS SOUS 592645 HAS SOUPS 592645 WITH SCORE 593356.961
AT ITER 9749 NEW BEST:: SOT 4359125 SOS 712153 HAS SOPS 712153 HAS SOUS 592459 HAS SOUPS 592459 WITH SCORE 593171.153
AT ITER 9765 NEW BEST:: SOT 4358985 SOS 711873 HAS SOPS 711873 HAS SOUS 592179 HAS SOUPS 592179 WITH SCORE 592890.873
AT ITER 9774 NEW BEST:: SOT 4359001 SOS 711649 HAS SOPS 711649 HAS SOUS 592067 HAS SOUPS 592067 WITH SCORE 592778.649
AT ITER 9786 NEW BEST:: SOT 4358776 SOS 711199 HAS SOPS 711199 HAS SOUS 591988 HAS SOUPS 591988 WITH SCORE 592699.199
AT ITER 9867 NEW BEST:: SOT 4358727 SOS 711052 HAS SOPS 711052 HAS SOUS 591890 HAS SOUPS 591890 WITH SCORE 592601.052
AT ITER 9967 NEW BEST:: SOT 4358520 SOS 711102 HAS SOPS 711102 HAS SOUS 591799 HAS SOUPS 591799 WITH SCORE 592510.102
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 11641436 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16121844 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-309"
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-309, 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-167814483700072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-309.tgz
mv CloudReconfiguration-PT-309 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 '
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 ;