About the Execution of Smart+red for CloudReconfiguration-PT-315
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4235.775 | 3600000.00 | 3669424.00 | 8106.80 | [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-167814483800120.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-315, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483800120
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 7.4K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 11:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K 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.8K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 9.6K Feb 25 11:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 25 11:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 11:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K 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 1678332785888
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-315
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 03:33:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 03:33:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 03:33:07] [INFO ] Load time of PNML (sax parser for PT used): 120 ms
[2023-03-09 03:33:07] [INFO ] Transformed 2585 places.
[2023-03-09 03:33:07] [INFO ] Transformed 3095 transitions.
[2023-03-09 03:33:07] [INFO ] Found NUPN structural information;
[2023-03-09 03:33:07] [INFO ] Parsed PT model containing 2585 places and 3095 transitions and 6463 arcs in 202 ms.
[2023-03-09 03:33:07] [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 257 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 315
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 4443229 SOS 758851 HAS SOPS 758851 HAS SOUS 699873 HAS SOUPS 699873 WITH SCORE 700631.851
AT ITER 2 NEW BEST:: SOT 4443190 SOS 758773 HAS SOPS 758773 HAS SOUS 699795 HAS SOUPS 699795 WITH SCORE 700553.773
AT ITER 24 NEW BEST:: SOT 4443126 SOS 758214 HAS SOPS 758214 HAS SOUS 699547 HAS SOUPS 699547 WITH SCORE 700305.214
AT ITER 41 NEW BEST:: SOT 4443126 SOS 758118 HAS SOPS 758118 HAS SOUS 699546 HAS SOUPS 699546 WITH SCORE 700304.118
AT ITER 50 NEW BEST:: SOT 4443022 SOS 758040 HAS SOPS 758040 HAS SOUS 699468 HAS SOUPS 699468 WITH SCORE 700226.04
AT ITER 70 NEW BEST:: SOT 4442723 SOS 758078 HAS SOPS 758078 HAS SOUS 699328 HAS SOUPS 699328 WITH SCORE 700086.078
AT ITER 75 NEW BEST:: SOT 4442723 SOS 758078 HAS SOPS 758078 HAS SOUS 699172 HAS SOUPS 699172 WITH SCORE 699930.078
AT ITER 109 NEW BEST:: SOT 4442618 SOS 757938 HAS SOPS 757938 HAS SOUS 699032 HAS SOUPS 699032 WITH SCORE 699789.938
AT ITER 110 NEW BEST:: SOT 4442271 SOS 758210 HAS SOPS 758210 HAS SOUS 699007 HAS SOUPS 699007 WITH SCORE 699765.21
AT ITER 137 NEW BEST:: SOT 4442156 SOS 757980 HAS SOPS 757980 HAS SOUS 698892 HAS SOUPS 698892 WITH SCORE 699649.98
AT ITER 160 NEW BEST:: SOT 4442156 SOS 757803 HAS SOPS 757803 HAS SOUS 698715 HAS SOUPS 698715 WITH SCORE 699472.803
AT ITER 172 NEW BEST:: SOT 4442156 SOS 757803 HAS SOPS 757803 HAS SOUS 698499 HAS SOUPS 698499 WITH SCORE 699256.803
AT ITER 176 NEW BEST:: SOT 4442081 SOS 757728 HAS SOPS 757728 HAS SOUS 698424 HAS SOUPS 698424 WITH SCORE 699181.728
AT ITER 183 NEW BEST:: SOT 4442081 SOS 757669 HAS SOPS 757669 HAS SOUS 698423 HAS SOUPS 698423 WITH SCORE 699180.669
AT ITER 194 NEW BEST:: SOT 4441832 SOS 757171 HAS SOPS 757171 HAS SOUS 698251 HAS SOUPS 698251 WITH SCORE 699008.171
AT ITER 233 NEW BEST:: SOT 4440363 SOS 755705 HAS SOPS 755705 HAS SOUS 696820 HAS SOUPS 696820 WITH SCORE 697575.705
AT ITER 278 NEW BEST:: SOT 4440341 SOS 755887 HAS SOPS 755887 HAS SOUS 696713 HAS SOUPS 696713 WITH SCORE 697468.887
AT ITER 295 NEW BEST:: SOT 4440081 SOS 755554 HAS SOPS 755554 HAS SOUS 696373 HAS SOUPS 696373 WITH SCORE 697128.554
AT ITER 306 NEW BEST:: SOT 4440081 SOS 755551 HAS SOPS 755551 HAS SOUS 696373 HAS SOUPS 696373 WITH SCORE 697128.551
AT ITER 331 NEW BEST:: SOT 4440081 SOS 755259 HAS SOPS 755259 HAS SOUS 696372 HAS SOUPS 696372 WITH SCORE 697127.259
AT ITER 350 NEW BEST:: SOT 4440081 SOS 754761 HAS SOPS 754761 HAS SOUS 696123 HAS SOUPS 696123 WITH SCORE 696877.761
AT ITER 351 NEW BEST:: SOT 4440019 SOS 754761 HAS SOPS 754761 HAS SOUS 696092 HAS SOUPS 696092 WITH SCORE 696846.761
AT ITER 355 NEW BEST:: SOT 4439860 SOS 754626 HAS SOPS 754626 HAS SOUS 695933 HAS SOUPS 695933 WITH SCORE 696687.626
AT ITER 407 NEW BEST:: SOT 4439814 SOS 754263 HAS SOPS 754263 HAS SOUS 695616 HAS SOUPS 695616 WITH SCORE 696370.263
AT ITER 432 NEW BEST:: SOT 4439879 SOS 753881 HAS SOPS 753881 HAS SOUS 695425 HAS SOUPS 695425 WITH SCORE 696178.881
AT ITER 455 NEW BEST:: SOT 4439802 SOS 753727 HAS SOPS 753727 HAS SOUS 695271 HAS SOUPS 695271 WITH SCORE 696024.727
AT ITER 473 NEW BEST:: SOT 4439768 SOS 753693 HAS SOPS 753693 HAS SOUS 695270 HAS SOUPS 695270 WITH SCORE 696023.693
AT ITER 476 NEW BEST:: SOT 4438977 SOS 753946 HAS SOPS 753946 HAS SOUS 694748 HAS SOUPS 694748 WITH SCORE 695501.946
AT ITER 502 NEW BEST:: SOT 4438887 SOS 753766 HAS SOPS 753766 HAS SOUS 694568 HAS SOUPS 694568 WITH SCORE 695321.766
AT ITER 511 NEW BEST:: SOT 4438711 SOS 753610 HAS SOPS 753610 HAS SOUS 694412 HAS SOUPS 694412 WITH SCORE 695165.61
AT ITER 515 NEW BEST:: SOT 4438711 SOS 753382 HAS SOPS 753382 HAS SOUS 694411 HAS SOUPS 694411 WITH SCORE 695164.382
AT ITER 517 NEW BEST:: SOT 4438752 SOS 752998 HAS SOPS 752998 HAS SOUS 694219 HAS SOUPS 694219 WITH SCORE 694971.998
AT ITER 520 NEW BEST:: SOT 4438752 SOS 752998 HAS SOPS 752998 HAS SOUS 694218 HAS SOUPS 694218 WITH SCORE 694970.998
AT ITER 533 NEW BEST:: SOT 4438224 SOS 752470 HAS SOPS 752470 HAS SOUS 693690 HAS SOUPS 693690 WITH SCORE 694442.47
AT ITER 534 NEW BEST:: SOT 4438224 SOS 752354 HAS SOPS 752354 HAS SOUS 693690 HAS SOUPS 693690 WITH SCORE 694442.354
AT ITER 568 NEW BEST:: SOT 4438224 SOS 752354 HAS SOPS 752354 HAS SOUS 693639 HAS SOUPS 693639 WITH SCORE 694391.354
AT ITER 572 NEW BEST:: SOT 4438223 SOS 752352 HAS SOPS 752352 HAS SOUS 693637 HAS SOUPS 693637 WITH SCORE 694389.352
AT ITER 628 NEW BEST:: SOT 4438216 SOS 752368 HAS SOPS 752368 HAS SOUS 693630 HAS SOUPS 693630 WITH SCORE 694382.368
AT ITER 654 NEW BEST:: SOT 4438215 SOS 752366 HAS SOPS 752366 HAS SOUS 693628 HAS SOUPS 693628 WITH SCORE 694380.366
AT ITER 657 NEW BEST:: SOT 4437975 SOS 752216 HAS SOPS 752216 HAS SOUS 693477 HAS SOUPS 693477 WITH SCORE 694229.216
AT ITER 671 NEW BEST:: SOT 4437975 SOS 751788 HAS SOPS 751788 HAS SOUS 693049 HAS SOUPS 693049 WITH SCORE 693800.788
AT ITER 682 NEW BEST:: SOT 4437975 SOS 751629 HAS SOPS 751629 HAS SOUS 693049 HAS SOUPS 693049 WITH SCORE 693800.629
AT ITER 690 NEW BEST:: SOT 4437974 SOS 751627 HAS SOPS 751627 HAS SOUS 693047 HAS SOUPS 693047 WITH SCORE 693798.627
AT ITER 694 NEW BEST:: SOT 4437796 SOS 751598 HAS SOPS 751598 HAS SOUS 692944 HAS SOUPS 692944 WITH SCORE 693695.598
AT ITER 727 NEW BEST:: SOT 4437624 SOS 751426 HAS SOPS 751426 HAS SOUS 692772 HAS SOUPS 692772 WITH SCORE 693523.426
AT ITER 731 NEW BEST:: SOT 4437487 SOS 751602 HAS SOPS 751602 HAS SOUS 692743 HAS SOUPS 692743 WITH SCORE 693494.602
AT ITER 751 NEW BEST:: SOT 4437487 SOS 751602 HAS SOPS 751602 HAS SOUS 692742 HAS SOUPS 692742 WITH SCORE 693493.602
AT ITER 754 NEW BEST:: SOT 4437487 SOS 751562 HAS SOPS 751562 HAS SOUS 692741 HAS SOUPS 692741 WITH SCORE 693492.562
AT ITER 762 NEW BEST:: SOT 4437486 SOS 751560 HAS SOPS 751560 HAS SOUS 692740 HAS SOUPS 692740 WITH SCORE 693491.56
AT ITER 765 NEW BEST:: SOT 4437223 SOS 751034 HAS SOPS 751034 HAS SOUS 692723 HAS SOUPS 692723 WITH SCORE 693474.034
AT ITER 770 NEW BEST:: SOT 4437026 SOS 750837 HAS SOPS 750837 HAS SOUS 692526 HAS SOUPS 692526 WITH SCORE 693276.837
AT ITER 786 NEW BEST:: SOT 4437026 SOS 750579 HAS SOPS 750579 HAS SOUS 692526 HAS SOUPS 692526 WITH SCORE 693276.579
AT ITER 809 NEW BEST:: SOT 4436970 SOS 750467 HAS SOPS 750467 HAS SOUS 692414 HAS SOUPS 692414 WITH SCORE 693164.467
AT ITER 817 NEW BEST:: SOT 4437069 SOS 750189 HAS SOPS 750189 HAS SOUS 692268 HAS SOUPS 692268 WITH SCORE 693018.189
AT ITER 819 NEW BEST:: SOT 4437069 SOS 750130 HAS SOPS 750130 HAS SOUS 692268 HAS SOUPS 692268 WITH SCORE 693018.13
AT ITER 821 NEW BEST:: SOT 4437069 SOS 750030 HAS SOPS 750030 HAS SOUS 692267 HAS SOUPS 692267 WITH SCORE 693017.03
AT ITER 831 NEW BEST:: SOT 4437153 SOS 750198 HAS SOPS 750198 HAS SOUS 692118 HAS SOUPS 692118 WITH SCORE 692868.198
AT ITER 837 NEW BEST:: SOT 4436697 SOS 749742 HAS SOPS 749742 HAS SOUS 691434 HAS SOUPS 691434 WITH SCORE 692183.742
AT ITER 839 NEW BEST:: SOT 4436810 SOS 749298 HAS SOPS 749298 HAS SOUS 691268 HAS SOUPS 691268 WITH SCORE 692017.298
AT ITER 841 NEW BEST:: SOT 4436809 SOS 749296 HAS SOPS 749296 HAS SOUS 691266 HAS SOUPS 691266 WITH SCORE 692015.296
AT ITER 852 NEW BEST:: SOT 4436707 SOS 749092 HAS SOPS 749092 HAS SOUS 690951 HAS SOUPS 690951 WITH SCORE 691700.092
AT ITER 854 NEW BEST:: SOT 4436707 SOS 749086 HAS SOPS 749086 HAS SOUS 690945 HAS SOUPS 690945 WITH SCORE 691694.086
AT ITER 869 NEW BEST:: SOT 4436707 SOS 749041 HAS SOPS 749041 HAS SOUS 690945 HAS SOUPS 690945 WITH SCORE 691694.041
AT ITER 888 NEW BEST:: SOT 4436707 SOS 749041 HAS SOPS 749041 HAS SOUS 690944 HAS SOUPS 690944 WITH SCORE 691693.041
AT ITER 895 NEW BEST:: SOT 4436480 SOS 748897 HAS SOPS 748897 HAS SOUS 690676 HAS SOUPS 690676 WITH SCORE 691424.897
AT ITER 906 NEW BEST:: SOT 4436448 SOS 748997 HAS SOPS 748997 HAS SOUS 690644 HAS SOUPS 690644 WITH SCORE 691392.997
AT ITER 919 NEW BEST:: SOT 4436389 SOS 748879 HAS SOPS 748879 HAS SOUS 690526 HAS SOUPS 690526 WITH SCORE 691274.879
AT ITER 942 NEW BEST:: SOT 4436389 SOS 748879 HAS SOPS 748879 HAS SOUS 690460 HAS SOUPS 690460 WITH SCORE 691208.879
AT ITER 962 NEW BEST:: SOT 4436083 SOS 748605 HAS SOPS 748605 HAS SOUS 690154 HAS SOUPS 690154 WITH SCORE 690902.605
AT ITER 978 NEW BEST:: SOT 4436083 SOS 748311 HAS SOPS 748311 HAS SOUS 690154 HAS SOUPS 690154 WITH SCORE 690902.311
AT ITER 1003 NEW BEST:: SOT 4436082 SOS 748309 HAS SOPS 748309 HAS SOUS 690152 HAS SOUPS 690152 WITH SCORE 690900.309
AT ITER 1013 NEW BEST:: SOT 4435850 SOS 748176 HAS SOPS 748176 HAS SOUS 689999 HAS SOUPS 689999 WITH SCORE 690747.176
AT ITER 1029 NEW BEST:: SOT 4435745 SOS 747966 HAS SOPS 747966 HAS SOUS 689789 HAS SOUPS 689789 WITH SCORE 690536.966
AT ITER 1046 NEW BEST:: SOT 4435745 SOS 747872 HAS SOPS 747872 HAS SOUS 689789 HAS SOUPS 689789 WITH SCORE 690536.872
AT ITER 1065 NEW BEST:: SOT 4435568 SOS 747518 HAS SOPS 747518 HAS SOUS 689435 HAS SOUPS 689435 WITH SCORE 690182.518
AT ITER 1071 NEW BEST:: SOT 4435555 SOS 747492 HAS SOPS 747492 HAS SOUS 689409 HAS SOUPS 689409 WITH SCORE 690156.492
AT ITER 1076 NEW BEST:: SOT 4434601 SOS 747529 HAS SOPS 747529 HAS SOUS 688828 HAS SOUPS 688828 WITH SCORE 689575.529
AT ITER 1077 NEW BEST:: SOT 4434507 SOS 747435 HAS SOPS 747435 HAS SOUS 688734 HAS SOUPS 688734 WITH SCORE 689481.435
AT ITER 1078 NEW BEST:: SOT 4434482 SOS 747385 HAS SOPS 747385 HAS SOUS 688684 HAS SOUPS 688684 WITH SCORE 689431.385
AT ITER 1089 NEW BEST:: SOT 4434482 SOS 746839 HAS SOPS 746839 HAS SOUS 688411 HAS SOUPS 688411 WITH SCORE 689157.839
AT ITER 1093 NEW BEST:: SOT 4434425 SOS 746725 HAS SOPS 746725 HAS SOUS 688297 HAS SOUPS 688297 WITH SCORE 689043.725
AT ITER 1126 NEW BEST:: SOT 4434487 SOS 746849 HAS SOPS 746849 HAS SOUS 688285 HAS SOUPS 688285 WITH SCORE 689031.849
AT ITER 1130 NEW BEST:: SOT 4434574 SOS 747023 HAS SOPS 747023 HAS SOUS 688214 HAS SOUPS 688214 WITH SCORE 688961.023
AT ITER 1132 NEW BEST:: SOT 4434558 SOS 746991 HAS SOPS 746991 HAS SOUS 688213 HAS SOUPS 688213 WITH SCORE 688959.991
AT ITER 1145 NEW BEST:: SOT 4434558 SOS 746991 HAS SOPS 746991 HAS SOUS 688212 HAS SOUPS 688212 WITH SCORE 688958.991
AT ITER 1179 NEW BEST:: SOT 4434558 SOS 746731 HAS SOPS 746731 HAS SOUS 688212 HAS SOUPS 688212 WITH SCORE 688958.731
AT ITER 1180 NEW BEST:: SOT 4434548 SOS 746721 HAS SOPS 746721 HAS SOUS 688192 HAS SOUPS 688192 WITH SCORE 688938.721
AT ITER 1205 NEW BEST:: SOT 4434548 SOS 746473 HAS SOPS 746473 HAS SOUS 688191 HAS SOUPS 688191 WITH SCORE 688937.473
AT ITER 1228 NEW BEST:: SOT 4434312 SOS 746001 HAS SOPS 746001 HAS SOUS 687719 HAS SOUPS 687719 WITH SCORE 688465.001
AT ITER 1229 NEW BEST:: SOT 4434078 SOS 745533 HAS SOPS 745533 HAS SOUS 687251 HAS SOUPS 687251 WITH SCORE 687996.533
AT ITER 1236 NEW BEST:: SOT 4434078 SOS 745466 HAS SOPS 745466 HAS SOUS 687251 HAS SOUPS 687251 WITH SCORE 687996.466
AT ITER 1243 NEW BEST:: SOT 4433994 SOS 745298 HAS SOPS 745298 HAS SOUS 687224 HAS SOUPS 687224 WITH SCORE 687969.298
AT ITER 1251 NEW BEST:: SOT 4434028 SOS 745213 HAS SOPS 745213 HAS SOUS 687139 HAS SOUPS 687139 WITH SCORE 687884.213
AT ITER 1255 NEW BEST:: SOT 4434027 SOS 745211 HAS SOPS 745211 HAS SOUS 687137 HAS SOUPS 687137 WITH SCORE 687882.211
AT ITER 1264 NEW BEST:: SOT 4434059 SOS 744477 HAS SOPS 744477 HAS SOUS 686802 HAS SOUPS 686802 WITH SCORE 687546.477
AT ITER 1271 NEW BEST:: SOT 4434354 SOS 744708 HAS SOPS 744708 HAS SOUS 686771 HAS SOUPS 686771 WITH SCORE 687515.708
AT ITER 1288 NEW BEST:: SOT 4434348 SOS 744696 HAS SOPS 744696 HAS SOUS 686765 HAS SOUPS 686765 WITH SCORE 687509.696
AT ITER 1292 NEW BEST:: SOT 4433939 SOS 744397 HAS SOPS 744397 HAS SOUS 686387 HAS SOUPS 686387 WITH SCORE 687131.397
AT ITER 1294 NEW BEST:: SOT 4423820 SOS 780817 HAS SOPS 780817 HAS SOUS 678510 HAS SOUPS 678510 WITH SCORE 679290.817
AT ITER 1297 NEW BEST:: SOT 4423695 SOS 780408 HAS SOPS 780408 HAS SOUS 678226 HAS SOUPS 678226 WITH SCORE 679006.408
AT ITER 1315 NEW BEST:: SOT 4423605 SOS 780318 HAS SOPS 780318 HAS SOUS 678136 HAS SOUPS 678136 WITH SCORE 678916.318
AT ITER 1386 NEW BEST:: SOT 4423605 SOS 780311 HAS SOPS 780311 HAS SOUS 678129 HAS SOUPS 678129 WITH SCORE 678909.311
AT ITER 1447 NEW BEST:: SOT 4423253 SOS 780185 HAS SOPS 780185 HAS SOUS 677664 HAS SOUPS 677664 WITH SCORE 678444.185
AT ITER 1471 NEW BEST:: SOT 4422954 SOS 780181 HAS SOPS 780181 HAS SOUS 677286 HAS SOUPS 677286 WITH SCORE 678066.181
AT ITER 1472 NEW BEST:: SOT 4422954 SOS 780139 HAS SOPS 780139 HAS SOUS 677286 HAS SOUPS 677286 WITH SCORE 678066.139
AT ITER 1509 NEW BEST:: SOT 4423055 SOS 780341 HAS SOPS 780341 HAS SOUS 677215 HAS SOUPS 677215 WITH SCORE 677995.341
AT ITER 1549 NEW BEST:: SOT 4423009 SOS 780295 HAS SOPS 780295 HAS SOUS 677169 HAS SOUPS 677169 WITH SCORE 677949.295
AT ITER 1552 NEW BEST:: SOT 4422843 SOS 779963 HAS SOPS 779963 HAS SOUS 676837 HAS SOUPS 676837 WITH SCORE 677616.963
AT ITER 1571 NEW BEST:: SOT 4422746 SOS 779970 HAS SOPS 779970 HAS SOUS 676643 HAS SOUPS 676643 WITH SCORE 677422.97
AT ITER 1588 NEW BEST:: SOT 4422710 SOS 779934 HAS SOPS 779934 HAS SOUS 676607 HAS SOUPS 676607 WITH SCORE 677386.934
AT ITER 1615 NEW BEST:: SOT 4422636 SOS 779934 HAS SOPS 779934 HAS SOUS 676533 HAS SOUPS 676533 WITH SCORE 677312.934
AT ITER 1635 NEW BEST:: SOT 4422379 SOS 779814 HAS SOPS 779814 HAS SOUS 676413 HAS SOUPS 676413 WITH SCORE 677192.814
AT ITER 1650 NEW BEST:: SOT 4422379 SOS 779704 HAS SOPS 779704 HAS SOUS 676303 HAS SOUPS 676303 WITH SCORE 677082.704
AT ITER 1651 NEW BEST:: SOT 4418422 SOS 810363 HAS SOPS 810363 HAS SOUS 674027 HAS SOUPS 674027 WITH SCORE 674837.363
AT ITER 1678 NEW BEST:: SOT 4418343 SOS 810284 HAS SOPS 810284 HAS SOUS 673947 HAS SOUPS 673947 WITH SCORE 674757.284
AT ITER 1680 NEW BEST:: SOT 4418083 SOS 810284 HAS SOPS 810284 HAS SOUS 673817 HAS SOUPS 673817 WITH SCORE 674627.284
AT ITER 1686 NEW BEST:: SOT 4417970 SOS 810213 HAS SOPS 810213 HAS SOUS 673704 HAS SOUPS 673704 WITH SCORE 674514.213
AT ITER 1701 NEW BEST:: SOT 4417734 SOS 809859 HAS SOPS 809859 HAS SOUS 673350 HAS SOUPS 673350 WITH SCORE 674159.859
AT ITER 1717 NEW BEST:: SOT 4417734 SOS 809743 HAS SOPS 809743 HAS SOUS 673350 HAS SOUPS 673350 WITH SCORE 674159.743
AT ITER 1733 NEW BEST:: SOT 4417596 SOS 809467 HAS SOPS 809467 HAS SOUS 673074 HAS SOUPS 673074 WITH SCORE 673883.467
AT ITER 1741 NEW BEST:: SOT 4417399 SOS 809073 HAS SOPS 809073 HAS SOUS 672680 HAS SOUPS 672680 WITH SCORE 673489.073
AT ITER 1745 NEW BEST:: SOT 4417399 SOS 808886 HAS SOPS 808886 HAS SOUS 672680 HAS SOUPS 672680 WITH SCORE 673488.886
AT ITER 1766 NEW BEST:: SOT 4417399 SOS 808886 HAS SOPS 808886 HAS SOUS 672636 HAS SOUPS 672636 WITH SCORE 673444.886
AT ITER 1776 NEW BEST:: SOT 4417557 SOS 808620 HAS SOPS 808620 HAS SOUS 672590 HAS SOUPS 672590 WITH SCORE 673398.62
AT ITER 1810 NEW BEST:: SOT 4417557 SOS 808319 HAS SOPS 808319 HAS SOUS 672590 HAS SOUPS 672590 WITH SCORE 673398.319
AT ITER 1844 NEW BEST:: SOT 4417310 SOS 807424 HAS SOPS 807424 HAS SOUS 672012 HAS SOUPS 672012 WITH SCORE 672819.424
AT ITER 1864 NEW BEST:: SOT 4417309 SOS 807422 HAS SOPS 807422 HAS SOUS 672010 HAS SOUPS 672010 WITH SCORE 672817.422
AT ITER 1876 NEW BEST:: SOT 4417165 SOS 807062 HAS SOPS 807062 HAS SOUS 671794 HAS SOUPS 671794 WITH SCORE 672601.062
AT ITER 1895 NEW BEST:: SOT 4416892 SOS 806516 HAS SOPS 806516 HAS SOUS 671607 HAS SOUPS 671607 WITH SCORE 672413.516
AT ITER 1909 NEW BEST:: SOT 4416673 SOS 806078 HAS SOPS 806078 HAS SOUS 671169 HAS SOUPS 671169 WITH SCORE 671975.078
AT ITER 1933 NEW BEST:: SOT 4416545 SOS 807740 HAS SOPS 807740 HAS SOUS 671041 HAS SOUPS 671041 WITH SCORE 671848.74
AT ITER 1936 NEW BEST:: SOT 4416380 SOS 807597 HAS SOPS 807597 HAS SOUS 670894 HAS SOUPS 670894 WITH SCORE 671701.597
AT ITER 1979 NEW BEST:: SOT 4416115 SOS 807351 HAS SOPS 807351 HAS SOUS 670648 HAS SOUPS 670648 WITH SCORE 671455.351
AT ITER 1988 NEW BEST:: SOT 4415961 SOS 807131 HAS SOPS 807131 HAS SOUS 670409 HAS SOUPS 670409 WITH SCORE 671216.131
AT ITER 2002 NEW BEST:: SOT 4415961 SOS 806978 HAS SOPS 806978 HAS SOUS 670256 HAS SOUPS 670256 WITH SCORE 671062.978
AT ITER 2014 NEW BEST:: SOT 4415953 SOS 806962 HAS SOPS 806962 HAS SOUS 670248 HAS SOUPS 670248 WITH SCORE 671054.962
AT ITER 2015 NEW BEST:: SOT 4415953 SOS 806963 HAS SOPS 806963 HAS SOUS 670247 HAS SOUPS 670247 WITH SCORE 671053.963
AT ITER 2030 NEW BEST:: SOT 4415924 SOS 806934 HAS SOPS 806934 HAS SOUS 670218 HAS SOUPS 670218 WITH SCORE 671024.934
AT ITER 2073 NEW BEST:: SOT 4415884 SOS 806894 HAS SOPS 806894 HAS SOUS 670178 HAS SOUPS 670178 WITH SCORE 670984.894
AT ITER 2085 NEW BEST:: SOT 4415884 SOS 806495 HAS SOPS 806495 HAS SOUS 670178 HAS SOUPS 670178 WITH SCORE 670984.495
AT ITER 2107 NEW BEST:: SOT 4415864 SOS 806144 HAS SOPS 806144 HAS SOUS 670138 HAS SOUPS 670138 WITH SCORE 670944.144
AT ITER 2112 NEW BEST:: SOT 4415764 SOS 805944 HAS SOPS 805944 HAS SOUS 669938 HAS SOUPS 669938 WITH SCORE 670743.944
AT ITER 2124 NEW BEST:: SOT 4415764 SOS 805747 HAS SOPS 805747 HAS SOUS 669938 HAS SOUPS 669938 WITH SCORE 670743.747
AT ITER 2129 NEW BEST:: SOT 4415764 SOS 805725 HAS SOPS 805725 HAS SOUS 669938 HAS SOUPS 669938 WITH SCORE 670743.725
AT ITER 2133 NEW BEST:: SOT 4415591 SOS 805379 HAS SOPS 805379 HAS SOUS 669572 HAS SOUPS 669572 WITH SCORE 670377.379
AT ITER 2177 NEW BEST:: SOT 4415591 SOS 805271 HAS SOPS 805271 HAS SOUS 669572 HAS SOUPS 669572 WITH SCORE 670377.271
AT ITER 2180 NEW BEST:: SOT 4415407 SOS 804903 HAS SOPS 804903 HAS SOUS 669204 HAS SOUPS 669204 WITH SCORE 670008.903
AT ITER 2186 NEW BEST:: SOT 4415544 SOS 805177 HAS SOPS 805177 HAS SOUS 669199 HAS SOUPS 669199 WITH SCORE 670004.177
AT ITER 2188 NEW BEST:: SOT 4415544 SOS 804811 HAS SOPS 804811 HAS SOUS 668833 HAS SOUPS 668833 WITH SCORE 669637.811
AT ITER 2190 NEW BEST:: SOT 4415543 SOS 804809 HAS SOPS 804809 HAS SOUS 668831 HAS SOUPS 668831 WITH SCORE 669635.809
AT ITER 2199 NEW BEST:: SOT 4415482 SOS 804783 HAS SOPS 804783 HAS SOUS 668802 HAS SOUPS 668802 WITH SCORE 669606.783
AT ITER 2255 NEW BEST:: SOT 4415482 SOS 804766 HAS SOPS 804766 HAS SOUS 668801 HAS SOUPS 668801 WITH SCORE 669605.766
AT ITER 2309 NEW BEST:: SOT 4415563 SOS 804576 HAS SOPS 804576 HAS SOUS 668787 HAS SOUPS 668787 WITH SCORE 669591.576
AT ITER 2347 NEW BEST:: SOT 4415555 SOS 804560 HAS SOPS 804560 HAS SOUS 668771 HAS SOUPS 668771 WITH SCORE 669575.56
AT ITER 2453 NEW BEST:: SOT 4411980 SOS 800985 HAS SOPS 800985 HAS SOUS 665219 HAS SOUPS 665219 WITH SCORE 666019.985
AT ITER 2470 NEW BEST:: SOT 4411960 SOS 800945 HAS SOPS 800945 HAS SOUS 665199 HAS SOUPS 665199 WITH SCORE 665999.945
AT ITER 2479 NEW BEST:: SOT 4411959 SOS 800944 HAS SOPS 800944 HAS SOUS 665197 HAS SOUPS 665197 WITH SCORE 665997.944
AT ITER 2481 NEW BEST:: SOT 4411827 SOS 800680 HAS SOPS 800680 HAS SOUS 664933 HAS SOUPS 664933 WITH SCORE 665733.68
AT ITER 2526 NEW BEST:: SOT 4411827 SOS 800601 HAS SOPS 800601 HAS SOUS 664854 HAS SOUPS 664854 WITH SCORE 665654.601
AT ITER 2528 NEW BEST:: SOT 4411880 SOS 800707 HAS SOPS 800707 HAS SOUS 664812 HAS SOUPS 664812 WITH SCORE 665612.707
AT ITER 2555 NEW BEST:: SOT 4411880 SOS 800396 HAS SOPS 800396 HAS SOUS 664812 HAS SOUPS 664812 WITH SCORE 665612.396
AT ITER 2596 NEW BEST:: SOT 4411880 SOS 800181 HAS SOPS 800181 HAS SOUS 664812 HAS SOUPS 664812 WITH SCORE 665612.181
AT ITER 2685 NEW BEST:: SOT 4411870 SOS 800186 HAS SOPS 800186 HAS SOUS 664810 HAS SOUPS 664810 WITH SCORE 665610.186
AT ITER 2701 NEW BEST:: SOT 4411798 SOS 800114 HAS SOPS 800114 HAS SOUS 664809 HAS SOUPS 664809 WITH SCORE 665609.114
AT ITER 2705 NEW BEST:: SOT 4411740 SOS 799998 HAS SOPS 799998 HAS SOUS 664693 HAS SOUPS 664693 WITH SCORE 665492.998
AT ITER 2723 NEW BEST:: SOT 4411480 SOS 799676 HAS SOPS 799676 HAS SOUS 664371 HAS SOUPS 664371 WITH SCORE 665170.676
AT ITER 2733 NEW BEST:: SOT 4411480 SOS 799676 HAS SOPS 799676 HAS SOUS 664169 HAS SOUPS 664169 WITH SCORE 664968.676
AT ITER 2747 NEW BEST:: SOT 4411480 SOS 799562 HAS SOPS 799562 HAS SOUS 664169 HAS SOUPS 664169 WITH SCORE 664968.562
AT ITER 2812 NEW BEST:: SOT 4411480 SOS 799452 HAS SOPS 799452 HAS SOUS 664059 HAS SOUPS 664059 WITH SCORE 664858.452
AT ITER 2839 NEW BEST:: SOT 4411376 SOS 798804 HAS SOPS 798804 HAS SOUS 663851 HAS SOUPS 663851 WITH SCORE 664649.804
AT ITER 2878 NEW BEST:: SOT 4411231 SOS 799084 HAS SOPS 799084 HAS SOUS 663785 HAS SOUPS 663785 WITH SCORE 664584.084
AT ITER 2894 NEW BEST:: SOT 4411035 SOS 798888 HAS SOPS 798888 HAS SOUS 663589 HAS SOUPS 663589 WITH SCORE 664387.888
AT ITER 2896 NEW BEST:: SOT 4410895 SOS 798806 HAS SOPS 798806 HAS SOUS 663449 HAS SOUPS 663449 WITH SCORE 664247.806
AT ITER 2927 NEW BEST:: SOT 4410661 SOS 798572 HAS SOPS 798572 HAS SOUS 663215 HAS SOUPS 663215 WITH SCORE 664013.572
AT ITER 2956 NEW BEST:: SOT 4410661 SOS 798572 HAS SOPS 798572 HAS SOUS 663212 HAS SOUPS 663212 WITH SCORE 664010.572
AT ITER 2972 NEW BEST:: SOT 4410661 SOS 798368 HAS SOPS 798368 HAS SOUS 663211 HAS SOUPS 663211 WITH SCORE 664009.368
AT ITER 2974 NEW BEST:: SOT 4410594 SOS 798234 HAS SOPS 798234 HAS SOUS 662388 HAS SOUPS 662388 WITH SCORE 663186.234
AT ITER 2983 NEW BEST:: SOT 4410462 SOS 798102 HAS SOPS 798102 HAS SOUS 662387 HAS SOUPS 662387 WITH SCORE 663185.102
AT ITER 2986 NEW BEST:: SOT 4410416 SOS 798056 HAS SOPS 798056 HAS SOUS 662295 HAS SOUPS 662295 WITH SCORE 663093.056
AT ITER 3002 NEW BEST:: SOT 4410411 SOS 797484 HAS SOPS 797484 HAS SOUS 662009 HAS SOUPS 662009 WITH SCORE 662806.484
AT ITER 3019 NEW BEST:: SOT 4410406 SOS 797469 HAS SOPS 797469 HAS SOUS 661999 HAS SOUPS 661999 WITH SCORE 662796.469
AT ITER 3030 NEW BEST:: SOT 4410400 SOS 797457 HAS SOPS 797457 HAS SOUS 661993 HAS SOUPS 661993 WITH SCORE 662790.457
AT ITER 3039 NEW BEST:: SOT 4410264 SOS 797660 HAS SOPS 797660 HAS SOUS 661976 HAS SOUPS 661976 WITH SCORE 662773.66
AT ITER 3040 NEW BEST:: SOT 4410188 SOS 797508 HAS SOPS 797508 HAS SOUS 661824 HAS SOUPS 661824 WITH SCORE 662621.508
AT ITER 3049 NEW BEST:: SOT 4410017 SOS 797334 HAS SOPS 797334 HAS SOUS 661653 HAS SOUPS 661653 WITH SCORE 662450.334
AT ITER 3057 NEW BEST:: SOT 4410017 SOS 797137 HAS SOPS 797137 HAS SOUS 661653 HAS SOUPS 661653 WITH SCORE 662450.137
AT ITER 3062 NEW BEST:: SOT 4408515 SOS 795855 HAS SOPS 795855 HAS SOUS 660370 HAS SOUPS 660370 WITH SCORE 661165.855
AT ITER 3066 NEW BEST:: SOT 4408495 SOS 795777 HAS SOPS 795777 HAS SOUS 660330 HAS SOUPS 660330 WITH SCORE 661125.777
AT ITER 3228 NEW BEST:: SOT 4408418 SOS 795623 HAS SOPS 795623 HAS SOUS 660253 HAS SOUPS 660253 WITH SCORE 661048.623
AT ITER 3243 NEW BEST:: SOT 4408418 SOS 795563 HAS SOPS 795563 HAS SOUS 660253 HAS SOUPS 660253 WITH SCORE 661048.563
AT ITER 3249 NEW BEST:: SOT 4408296 SOS 795702 HAS SOPS 795702 HAS SOUS 660203 HAS SOUPS 660203 WITH SCORE 660998.702
AT ITER 3271 NEW BEST:: SOT 4408133 SOS 794921 HAS SOPS 794921 HAS SOUS 659877 HAS SOUPS 659877 WITH SCORE 660671.921
AT ITER 3282 NEW BEST:: SOT 4407935 SOS 795179 HAS SOPS 795179 HAS SOUS 659679 HAS SOUPS 659679 WITH SCORE 660474.179
AT ITER 3285 NEW BEST:: SOT 4408018 SOS 795345 HAS SOPS 795345 HAS SOUS 659534 HAS SOUPS 659534 WITH SCORE 660329.345
AT ITER 3310 NEW BEST:: SOT 4407814 SOS 795222 HAS SOPS 795222 HAS SOUS 659371 HAS SOUPS 659371 WITH SCORE 660166.222
AT ITER 3339 NEW BEST:: SOT 4407630 SOS 794854 HAS SOPS 794854 HAS SOUS 658938 HAS SOUPS 658938 WITH SCORE 659732.854
AT ITER 3369 NEW BEST:: SOT 4407630 SOS 794750 HAS SOPS 794750 HAS SOUS 658938 HAS SOUPS 658938 WITH SCORE 659732.75
AT ITER 3370 NEW BEST:: SOT 4407379 SOS 794610 HAS SOPS 794610 HAS SOUS 658562 HAS SOUPS 658562 WITH SCORE 659356.61
AT ITER 3398 NEW BEST:: SOT 4407126 SOS 794104 HAS SOPS 794104 HAS SOUS 658056 HAS SOUPS 658056 WITH SCORE 658850.104
AT ITER 3408 NEW BEST:: SOT 4407126 SOS 794104 HAS SOPS 794104 HAS SOUS 658055 HAS SOUPS 658055 WITH SCORE 658849.104
AT ITER 3415 NEW BEST:: SOT 4404359 SOS 804572 HAS SOPS 804572 HAS SOUS 655669 HAS SOUPS 655669 WITH SCORE 656473.572
AT ITER 3438 NEW BEST:: SOT 4404359 SOS 804395 HAS SOPS 804395 HAS SOUS 655669 HAS SOUPS 655669 WITH SCORE 656473.395
AT ITER 3462 NEW BEST:: SOT 4404169 SOS 804015 HAS SOPS 804015 HAS SOUS 655289 HAS SOUPS 655289 WITH SCORE 656093.015
AT ITER 3475 NEW BEST:: SOT 4404107 SOS 803643 HAS SOPS 803643 HAS SOUS 655165 HAS SOUPS 655165 WITH SCORE 655968.643
AT ITER 3476 NEW BEST:: SOT 4404106 SOS 803641 HAS SOPS 803641 HAS SOUS 655163 HAS SOUPS 655163 WITH SCORE 655966.641
AT ITER 3484 NEW BEST:: SOT 4403803 SOS 803359 HAS SOPS 803359 HAS SOUS 654871 HAS SOUPS 654871 WITH SCORE 655674.359
AT ITER 3489 NEW BEST:: SOT 4403803 SOS 803359 HAS SOPS 803359 HAS SOUS 654840 HAS SOUPS 654840 WITH SCORE 655643.359
AT ITER 3490 NEW BEST:: SOT 4404016 SOS 803568 HAS SOPS 803568 HAS SOUS 654836 HAS SOUPS 654836 WITH SCORE 655639.568
AT ITER 3500 NEW BEST:: SOT 4403753 SOS 803042 HAS SOPS 803042 HAS SOUS 654573 HAS SOUPS 654573 WITH SCORE 655376.042
AT ITER 3589 NEW BEST:: SOT 4403715 SOS 803004 HAS SOPS 803004 HAS SOUS 654573 HAS SOUPS 654573 WITH SCORE 655376.004
AT ITER 3645 NEW BEST:: SOT 4403528 SOS 803030 HAS SOPS 803030 HAS SOUS 654386 HAS SOUPS 654386 WITH SCORE 655189.03
AT ITER 3668 NEW BEST:: SOT 4403528 SOS 802821 HAS SOPS 802821 HAS SOUS 654386 HAS SOUPS 654386 WITH SCORE 655188.821
AT ITER 3741 NEW BEST:: SOT 4403527 SOS 802783 HAS SOPS 802783 HAS SOUS 654384 HAS SOUPS 654384 WITH SCORE 655186.783
AT ITER 3763 NEW BEST:: SOT 4403186 SOS 802101 HAS SOPS 802101 HAS SOUS 654337 HAS SOUPS 654337 WITH SCORE 655139.101
AT ITER 3765 NEW BEST:: SOT 4403186 SOS 801778 HAS SOPS 801778 HAS SOUS 654337 HAS SOUPS 654337 WITH SCORE 655138.778
AT ITER 3790 NEW BEST:: SOT 4403171 SOS 801748 HAS SOPS 801748 HAS SOUS 654322 HAS SOUPS 654322 WITH SCORE 655123.748
AT ITER 3799 NEW BEST:: SOT 4403171 SOS 801691 HAS SOPS 801691 HAS SOUS 654322 HAS SOUPS 654322 WITH SCORE 655123.691
AT ITER 3806 NEW BEST:: SOT 4403059 SOS 801734 HAS SOPS 801734 HAS SOUS 654218 HAS SOUPS 654218 WITH SCORE 655019.734
AT ITER 3816 NEW BEST:: SOT 4402812 SOS 801522 HAS SOPS 801522 HAS SOUS 653865 HAS SOUPS 653865 WITH SCORE 654666.522
AT ITER 3817 NEW BEST:: SOT 4402905 SOS 801310 HAS SOPS 801310 HAS SOUS 653607 HAS SOUPS 653607 WITH SCORE 654408.31
AT ITER 3872 NEW BEST:: SOT 4402782 SOS 801200 HAS SOPS 801200 HAS SOUS 653484 HAS SOUPS 653484 WITH SCORE 654285.2
AT ITER 3875 NEW BEST:: SOT 4402782 SOS 801009 HAS SOPS 801009 HAS SOUS 653293 HAS SOUPS 653293 WITH SCORE 654094.009
AT ITER 3885 NEW BEST:: SOT 4402758 SOS 800985 HAS SOPS 800985 HAS SOUS 653269 HAS SOUPS 653269 WITH SCORE 654069.985
AT ITER 3906 NEW BEST:: SOT 4402758 SOS 800985 HAS SOPS 800985 HAS SOUS 653203 HAS SOUPS 653203 WITH SCORE 654003.985
AT ITER 3951 NEW BEST:: SOT 4402619 SOS 800568 HAS SOPS 800568 HAS SOUS 652925 HAS SOUPS 652925 WITH SCORE 653725.568
AT ITER 3990 NEW BEST:: SOT 4402590 SOS 800539 HAS SOPS 800539 HAS SOUS 652896 HAS SOUPS 652896 WITH SCORE 653696.539
AT ITER 4002 NEW BEST:: SOT 4402673 SOS 800467 HAS SOPS 800467 HAS SOUS 652824 HAS SOUPS 652824 WITH SCORE 653624.467
AT ITER 4026 NEW BEST:: SOT 4402827 SOS 800027 HAS SOPS 800027 HAS SOUS 652709 HAS SOUPS 652709 WITH SCORE 653509.027
AT ITER 4055 NEW BEST:: SOT 4402770 SOS 799913 HAS SOPS 799913 HAS SOUS 652595 HAS SOUPS 652595 WITH SCORE 653394.913
AT ITER 4057 NEW BEST:: SOT 4402770 SOS 799913 HAS SOPS 799913 HAS SOUS 652474 HAS SOUPS 652474 WITH SCORE 653273.913
AT ITER 4064 NEW BEST:: SOT 4402790 SOS 799501 HAS SOPS 799501 HAS SOUS 652042 HAS SOUPS 652042 WITH SCORE 652841.501
AT ITER 4074 NEW BEST:: SOT 4402531 SOS 798983 HAS SOPS 798983 HAS SOUS 651783 HAS SOUPS 651783 WITH SCORE 652581.983
AT ITER 4103 NEW BEST:: SOT 4402442 SOS 798862 HAS SOPS 798862 HAS SOUS 651694 HAS SOUPS 651694 WITH SCORE 652492.862
AT ITER 4177 NEW BEST:: SOT 4402406 SOS 798790 HAS SOPS 798790 HAS SOUS 651622 HAS SOUPS 651622 WITH SCORE 652420.79
AT ITER 4179 NEW BEST:: SOT 4402386 SOS 798667 HAS SOPS 798667 HAS SOUS 651519 HAS SOUPS 651519 WITH SCORE 652317.667
AT ITER 4219 NEW BEST:: SOT 4402385 SOS 798665 HAS SOPS 798665 HAS SOUS 651517 HAS SOUPS 651517 WITH SCORE 652315.665
AT ITER 4268 NEW BEST:: SOT 4402346 SOS 798297 HAS SOPS 798297 HAS SOUS 651188 HAS SOUPS 651188 WITH SCORE 651986.297
AT ITER 4275 NEW BEST:: SOT 4402324 SOS 798253 HAS SOPS 798253 HAS SOUS 651166 HAS SOUPS 651166 WITH SCORE 651964.253
AT ITER 4282 NEW BEST:: SOT 4401964 SOS 797533 HAS SOPS 797533 HAS SOUS 650808 HAS SOUPS 650808 WITH SCORE 651605.533
AT ITER 4291 NEW BEST:: SOT 4401720 SOS 797303 HAS SOPS 797303 HAS SOUS 650512 HAS SOUPS 650512 WITH SCORE 651309.303
AT ITER 4342 NEW BEST:: SOT 4401694 SOS 797251 HAS SOPS 797251 HAS SOUS 650460 HAS SOUPS 650460 WITH SCORE 651257.251
AT ITER 4357 NEW BEST:: SOT 4401657 SOS 797177 HAS SOPS 797177 HAS SOUS 650386 HAS SOUPS 650386 WITH SCORE 651183.177
AT ITER 4378 NEW BEST:: SOT 4401646 SOS 797155 HAS SOPS 797155 HAS SOUS 650357 HAS SOUPS 650357 WITH SCORE 651154.155
AT ITER 4411 NEW BEST:: SOT 4401614 SOS 797091 HAS SOPS 797091 HAS SOUS 650323 HAS SOUPS 650323 WITH SCORE 651120.091
AT ITER 4418 NEW BEST:: SOT 4401801 SOS 797167 HAS SOPS 797167 HAS SOUS 650207 HAS SOUPS 650207 WITH SCORE 651004.167
AT ITER 4423 NEW BEST:: SOT 4401801 SOS 797142 HAS SOPS 797142 HAS SOUS 650207 HAS SOUPS 650207 WITH SCORE 651004.142
AT ITER 4458 NEW BEST:: SOT 4401609 SOS 796758 HAS SOPS 796758 HAS SOUS 649823 HAS SOUPS 649823 WITH SCORE 650619.758
AT ITER 4471 NEW BEST:: SOT 4401608 SOS 796756 HAS SOPS 796756 HAS SOUS 649821 HAS SOUPS 649821 WITH SCORE 650617.756
AT ITER 4488 NEW BEST:: SOT 4401525 SOS 796507 HAS SOPS 796507 HAS SOUS 649655 HAS SOUPS 649655 WITH SCORE 650451.507
AT ITER 4516 NEW BEST:: SOT 4401269 SOS 795995 HAS SOPS 795995 HAS SOUS 649143 HAS SOUPS 649143 WITH SCORE 649938.995
AT ITER 4527 NEW BEST:: SOT 4401156 SOS 795769 HAS SOPS 795769 HAS SOUS 648917 HAS SOUPS 648917 WITH SCORE 649712.769
AT ITER 4581 NEW BEST:: SOT 4401261 SOS 795979 HAS SOPS 795979 HAS SOUS 648773 HAS SOUPS 648773 WITH SCORE 649568.979
AT ITER 4632 NEW BEST:: SOT 4401259 SOS 795975 HAS SOPS 795975 HAS SOUS 648769 HAS SOUPS 648769 WITH SCORE 649564.975
AT ITER 4641 NEW BEST:: SOT 4401126 SOS 795709 HAS SOPS 795709 HAS SOUS 648503 HAS SOUPS 648503 WITH SCORE 649298.709
AT ITER 4645 NEW BEST:: SOT 4401126 SOS 795530 HAS SOPS 795530 HAS SOUS 648324 HAS SOUPS 648324 WITH SCORE 649119.53
AT ITER 4663 NEW BEST:: SOT 4401041 SOS 795360 HAS SOPS 795360 HAS SOUS 648324 HAS SOUPS 648324 WITH SCORE 649119.36
AT ITER 4718 NEW BEST:: SOT 4400810 SOS 794898 HAS SOPS 794898 HAS SOUS 647862 HAS SOUPS 647862 WITH SCORE 648656.898
AT ITER 4729 NEW BEST:: SOT 4400810 SOS 794898 HAS SOPS 794898 HAS SOUS 647585 HAS SOUPS 647585 WITH SCORE 648379.898
AT ITER 4730 NEW BEST:: SOT 4400764 SOS 794806 HAS SOPS 794806 HAS SOUS 647539 HAS SOUPS 647539 WITH SCORE 648333.806
AT ITER 4736 NEW BEST:: SOT 4400531 SOS 794573 HAS SOPS 794573 HAS SOUS 647538 HAS SOUPS 647538 WITH SCORE 648332.573
AT ITER 4757 NEW BEST:: SOT 4400427 SOS 794469 HAS SOPS 794469 HAS SOUS 647434 HAS SOUPS 647434 WITH SCORE 648228.469
AT ITER 4768 NEW BEST:: SOT 4400195 SOS 794005 HAS SOPS 794005 HAS SOUS 646970 HAS SOUPS 646970 WITH SCORE 647764.005
AT ITER 4774 NEW BEST:: SOT 4400117 SOS 793849 HAS SOPS 793849 HAS SOUS 646815 HAS SOUPS 646815 WITH SCORE 647608.849
AT ITER 4778 NEW BEST:: SOT 4399908 SOS 794530 HAS SOPS 794530 HAS SOUS 646763 HAS SOUPS 646763 WITH SCORE 647557.53
AT ITER 4786 NEW BEST:: SOT 4399908 SOS 794162 HAS SOPS 794162 HAS SOUS 646763 HAS SOUPS 646763 WITH SCORE 647557.162
AT ITER 4789 NEW BEST:: SOT 4399587 SOS 793167 HAS SOPS 793167 HAS SOUS 646121 HAS SOUPS 646121 WITH SCORE 646914.167
AT ITER 4798 NEW BEST:: SOT 4399576 SOS 793156 HAS SOPS 793156 HAS SOUS 646110 HAS SOUPS 646110 WITH SCORE 646903.156
AT ITER 4808 NEW BEST:: SOT 4399575 SOS 792925 HAS SOPS 792925 HAS SOUS 646109 HAS SOUPS 646109 WITH SCORE 646901.925
AT ITER 4821 NEW BEST:: SOT 4399481 SOS 792737 HAS SOPS 792737 HAS SOUS 646108 HAS SOUPS 646108 WITH SCORE 646900.737
AT ITER 4832 NEW BEST:: SOT 4399389 SOS 792553 HAS SOPS 792553 HAS SOUS 646016 HAS SOUPS 646016 WITH SCORE 646808.553
AT ITER 4841 NEW BEST:: SOT 4393520 SOS 791995 HAS SOPS 791995 HAS SOUS 640666 HAS SOUPS 640666 WITH SCORE 641457.995
AT ITER 4853 NEW BEST:: SOT 4393520 SOS 791779 HAS SOPS 791779 HAS SOUS 640450 HAS SOUPS 640450 WITH SCORE 641241.779
AT ITER 4867 NEW BEST:: SOT 4393520 SOS 791548 HAS SOPS 791548 HAS SOUS 640248 HAS SOUPS 640248 WITH SCORE 641039.548
AT ITER 4879 NEW BEST:: SOT 4384507 SOS 783386 HAS SOPS 783386 HAS SOUS 631567 HAS SOUPS 631567 WITH SCORE 632350.386
AT ITER 4885 NEW BEST:: SOT 4384396 SOS 783283 HAS SOPS 783283 HAS SOUS 631456 HAS SOUPS 631456 WITH SCORE 632239.283
AT ITER 4899 NEW BEST:: SOT 4384356 SOS 783203 HAS SOPS 783203 HAS SOUS 631455 HAS SOUPS 631455 WITH SCORE 632238.203
AT ITER 4905 NEW BEST:: SOT 4384824 SOS 784139 HAS SOPS 784139 HAS SOUS 631188 HAS SOUPS 631188 WITH SCORE 631972.139
AT ITER 4906 NEW BEST:: SOT 4384606 SOS 783921 HAS SOPS 783921 HAS SOUS 630970 HAS SOUPS 630970 WITH SCORE 631753.921
AT ITER 4929 NEW BEST:: SOT 4384581 SOS 783871 HAS SOPS 783871 HAS SOUS 630910 HAS SOUPS 630910 WITH SCORE 631693.871
AT ITER 4942 NEW BEST:: SOT 4384415 SOS 783755 HAS SOPS 783755 HAS SOUS 630757 HAS SOUPS 630757 WITH SCORE 631540.755
AT ITER 4950 NEW BEST:: SOT 4384382 SOS 783689 HAS SOPS 783689 HAS SOUS 630691 HAS SOUPS 630691 WITH SCORE 631474.689
AT ITER 4970 NEW BEST:: SOT 4384371 SOS 783667 HAS SOPS 783667 HAS SOUS 630680 HAS SOUPS 630680 WITH SCORE 631463.667
AT ITER 4985 NEW BEST:: SOT 4384082 SOS 783089 HAS SOPS 783089 HAS SOUS 630680 HAS SOUPS 630680 WITH SCORE 631463.089
AT ITER 5022 NEW BEST:: SOT 4384028 SOS 783035 HAS SOPS 783035 HAS SOUS 630626 HAS SOUPS 630626 WITH SCORE 631409.035
AT ITER 5025 NEW BEST:: SOT 4383840 SOS 782847 HAS SOPS 782847 HAS SOUS 630438 HAS SOUPS 630438 WITH SCORE 631220.847
AT ITER 5039 NEW BEST:: SOT 4383801 SOS 782769 HAS SOPS 782769 HAS SOUS 630360 HAS SOUPS 630360 WITH SCORE 631142.769
AT ITER 5056 NEW BEST:: SOT 4383704 SOS 782745 HAS SOPS 782745 HAS SOUS 630263 HAS SOUPS 630263 WITH SCORE 631045.745
AT ITER 5062 NEW BEST:: SOT 4383703 SOS 782744 HAS SOPS 782744 HAS SOUS 630262 HAS SOUPS 630262 WITH SCORE 631044.744
AT ITER 5069 NEW BEST:: SOT 4383703 SOS 782428 HAS SOPS 782428 HAS SOUS 630262 HAS SOUPS 630262 WITH SCORE 631044.428
AT ITER 5082 NEW BEST:: SOT 4383625 SOS 782442 HAS SOPS 782442 HAS SOUS 630204 HAS SOUPS 630204 WITH SCORE 630986.442
AT ITER 5089 NEW BEST:: SOT 4383471 SOS 782812 HAS SOPS 782812 HAS SOUS 630039 HAS SOUPS 630039 WITH SCORE 630821.812
AT ITER 5108 NEW BEST:: SOT 4383190 SOS 782250 HAS SOPS 782250 HAS SOUS 629777 HAS SOUPS 629777 WITH SCORE 630559.25
AT ITER 5117 NEW BEST:: SOT 4383072 SOS 782241 HAS SOPS 782241 HAS SOUS 629659 HAS SOUPS 629659 WITH SCORE 630441.241
AT ITER 5121 NEW BEST:: SOT 4383072 SOS 782122 HAS SOPS 782122 HAS SOUS 629540 HAS SOUPS 629540 WITH SCORE 630322.122
AT ITER 5125 NEW BEST:: SOT 4382957 SOS 781857 HAS SOPS 781857 HAS SOUS 629468 HAS SOUPS 629468 WITH SCORE 630249.857
AT ITER 5137 NEW BEST:: SOT 4382957 SOS 781857 HAS SOPS 781857 HAS SOUS 629467 HAS SOUPS 629467 WITH SCORE 630248.857
AT ITER 5145 NEW BEST:: SOT 4382871 SOS 781685 HAS SOPS 781685 HAS SOUS 629173 HAS SOUPS 629173 WITH SCORE 629954.685
AT ITER 5156 NEW BEST:: SOT 4382871 SOS 781685 HAS SOPS 781685 HAS SOUS 629117 HAS SOUPS 629117 WITH SCORE 629898.685
AT ITER 5163 NEW BEST:: SOT 4382715 SOS 781685 HAS SOPS 781685 HAS SOUS 628961 HAS SOUPS 628961 WITH SCORE 629742.685
AT ITER 5166 NEW BEST:: SOT 4382545 SOS 781103 HAS SOPS 781103 HAS SOUS 628621 HAS SOUPS 628621 WITH SCORE 629402.103
AT ITER 5169 NEW BEST:: SOT 4382509 SOS 781031 HAS SOPS 781031 HAS SOUS 628585 HAS SOUPS 628585 WITH SCORE 629366.031
AT ITER 5191 NEW BEST:: SOT 4382508 SOS 781029 HAS SOPS 781029 HAS SOUS 628583 HAS SOUPS 628583 WITH SCORE 629364.029
AT ITER 5193 NEW BEST:: SOT 4382473 SOS 780609 HAS SOPS 780609 HAS SOUS 628228 HAS SOUPS 628228 WITH SCORE 629008.609
AT ITER 5230 NEW BEST:: SOT 4382332 SOS 780327 HAS SOPS 780327 HAS SOUS 628086 HAS SOUPS 628086 WITH SCORE 628866.327
AT ITER 5238 NEW BEST:: SOT 4382088 SOS 779839 HAS SOPS 779839 HAS SOUS 627598 HAS SOUPS 627598 WITH SCORE 628377.839
AT ITER 5264 NEW BEST:: SOT 4382042 SOS 779747 HAS SOPS 779747 HAS SOUS 627506 HAS SOUPS 627506 WITH SCORE 628285.747
AT ITER 5275 NEW BEST:: SOT 4382038 SOS 779760 HAS SOPS 779760 HAS SOUS 627498 HAS SOUPS 627498 WITH SCORE 628277.76
AT ITER 5295 NEW BEST:: SOT 4381977 SOS 779699 HAS SOPS 779699 HAS SOUS 627376 HAS SOUPS 627376 WITH SCORE 628155.699
AT ITER 5311 NEW BEST:: SOT 4381975 SOS 779695 HAS SOPS 779695 HAS SOUS 627373 HAS SOUPS 627373 WITH SCORE 628152.695
AT ITER 5314 NEW BEST:: SOT 4381975 SOS 779400 HAS SOPS 779400 HAS SOUS 627078 HAS SOUPS 627078 WITH SCORE 627857.4
AT ITER 5347 NEW BEST:: SOT 4380765 SOS 778272 HAS SOPS 778272 HAS SOUS 625950 HAS SOUPS 625950 WITH SCORE 626728.272
AT ITER 5387 NEW BEST:: SOT 4380765 SOS 778014 HAS SOPS 778014 HAS SOUS 625950 HAS SOUPS 625950 WITH SCORE 626728.014
AT ITER 5393 NEW BEST:: SOT 4380825 SOS 778074 HAS SOPS 778074 HAS SOUS 625939 HAS SOUPS 625939 WITH SCORE 626717.074
AT ITER 5416 NEW BEST:: SOT 4380828 SOS 777984 HAS SOPS 777984 HAS SOUS 625849 HAS SOUPS 625849 WITH SCORE 626626.984
AT ITER 5423 NEW BEST:: SOT 4381305 SOS 778388 HAS SOPS 778388 HAS SOUS 625803 HAS SOUPS 625803 WITH SCORE 626581.388
AT ITER 5445 NEW BEST:: SOT 4380993 SOS 778232 HAS SOPS 778232 HAS SOUS 625647 HAS SOUPS 625647 WITH SCORE 626425.232
AT ITER 5457 NEW BEST:: SOT 4380601 SOS 777938 HAS SOPS 777938 HAS SOUS 625353 HAS SOUPS 625353 WITH SCORE 626130.938
AT ITER 5475 NEW BEST:: SOT 4380778 SOS 778292 HAS SOPS 778292 HAS SOUS 625351 HAS SOUPS 625351 WITH SCORE 626129.292
AT ITER 5502 NEW BEST:: SOT 4380757 SOS 778120 HAS SOPS 778120 HAS SOUS 625309 HAS SOUPS 625309 WITH SCORE 626087.12
AT ITER 5520 NEW BEST:: SOT 4380643 SOS 777892 HAS SOPS 777892 HAS SOUS 624903 HAS SOUPS 624903 WITH SCORE 625680.892
AT ITER 5543 NEW BEST:: SOT 4380387 SOS 777189 HAS SOPS 777189 HAS SOUS 624175 HAS SOUPS 624175 WITH SCORE 624952.189
AT ITER 5562 NEW BEST:: SOT 4380177 SOS 776979 HAS SOPS 776979 HAS SOUS 623965 HAS SOUPS 623965 WITH SCORE 624741.979
AT ITER 5606 NEW BEST:: SOT 4380177 SOS 776970 HAS SOPS 776970 HAS SOUS 623956 HAS SOUPS 623956 WITH SCORE 624732.97
AT ITER 5621 NEW BEST:: SOT 4380019 SOS 776654 HAS SOPS 776654 HAS SOUS 623762 HAS SOUPS 623762 WITH SCORE 624538.654
AT ITER 5695 NEW BEST:: SOT 4379995 SOS 776606 HAS SOPS 776606 HAS SOUS 623714 HAS SOUPS 623714 WITH SCORE 624490.606
AT ITER 5721 NEW BEST:: SOT 4379114 SOS 779344 HAS SOPS 779344 HAS SOUS 623425 HAS SOUPS 623425 WITH SCORE 624204.344
AT ITER 5727 NEW BEST:: SOT 4379114 SOS 779344 HAS SOPS 779344 HAS SOUS 623424 HAS SOUPS 623424 WITH SCORE 624203.344
AT ITER 5728 NEW BEST:: SOT 4378720 SOS 779228 HAS SOPS 779228 HAS SOUS 623254 HAS SOUPS 623254 WITH SCORE 624033.228
AT ITER 5734 NEW BEST:: SOT 4376985 SOS 777921 HAS SOPS 777921 HAS SOUS 621852 HAS SOUPS 621852 WITH SCORE 622629.921
AT ITER 5749 NEW BEST:: SOT 4376963 SOS 777877 HAS SOPS 777877 HAS SOUS 621808 HAS SOUPS 621808 WITH SCORE 622585.877
AT ITER 5768 NEW BEST:: SOT 4377110 SOS 777621 HAS SOPS 777621 HAS SOUS 621740 HAS SOUPS 621740 WITH SCORE 622517.621
AT ITER 5778 NEW BEST:: SOT 4377012 SOS 777425 HAS SOPS 777425 HAS SOUS 621544 HAS SOUPS 621544 WITH SCORE 622321.425
AT ITER 5787 NEW BEST:: SOT 4376917 SOS 777295 HAS SOPS 777295 HAS SOUS 621474 HAS SOUPS 621474 WITH SCORE 622251.295
AT ITER 5812 NEW BEST:: SOT 4376626 SOS 777337 HAS SOPS 777337 HAS SOUS 621204 HAS SOUPS 621204 WITH SCORE 621981.337
AT ITER 5823 NEW BEST:: SOT 4376595 SOS 777275 HAS SOPS 777275 HAS SOUS 621142 HAS SOUPS 621142 WITH SCORE 621919.275
AT ITER 5915 NEW BEST:: SOT 4376595 SOS 777259 HAS SOPS 777259 HAS SOUS 621142 HAS SOUPS 621142 WITH SCORE 621919.259
AT ITER 5922 NEW BEST:: SOT 4376595 SOS 777204 HAS SOPS 777204 HAS SOUS 621142 HAS SOUPS 621142 WITH SCORE 621919.204
AT ITER 5930 NEW BEST:: SOT 4376541 SOS 777096 HAS SOPS 777096 HAS SOUS 621034 HAS SOUPS 621034 WITH SCORE 621811.096
AT ITER 5931 NEW BEST:: SOT 4376378 SOS 776933 HAS SOPS 776933 HAS SOUS 621023 HAS SOUPS 621023 WITH SCORE 621799.933
AT ITER 5943 NEW BEST:: SOT 4376204 SOS 776700 HAS SOPS 776700 HAS SOUS 620790 HAS SOUPS 620790 WITH SCORE 621566.7
AT ITER 5945 NEW BEST:: SOT 4376122 SOS 776618 HAS SOPS 776618 HAS SOUS 620708 HAS SOUPS 620708 WITH SCORE 621484.618
AT ITER 5955 NEW BEST:: SOT 4375999 SOS 776520 HAS SOPS 776520 HAS SOUS 620597 HAS SOUPS 620597 WITH SCORE 621373.52
AT ITER 5970 NEW BEST:: SOT 4375998 SOS 776518 HAS SOPS 776518 HAS SOUS 620595 HAS SOUPS 620595 WITH SCORE 621371.518
AT ITER 5981 NEW BEST:: SOT 4375883 SOS 776288 HAS SOPS 776288 HAS SOUS 620431 HAS SOUPS 620431 WITH SCORE 621207.288
AT ITER 5991 NEW BEST:: SOT 4375655 SOS 775393 HAS SOPS 775393 HAS SOUS 619764 HAS SOUPS 619764 WITH SCORE 620539.393
AT ITER 6010 NEW BEST:: SOT 4375748 SOS 774947 HAS SOPS 774947 HAS SOUS 619587 HAS SOUPS 619587 WITH SCORE 620361.947
AT ITER 6015 NEW BEST:: SOT 4375634 SOS 774444 HAS SOPS 774444 HAS SOUS 619359 HAS SOUPS 619359 WITH SCORE 620133.444
AT ITER 6044 NEW BEST:: SOT 4375625 SOS 774426 HAS SOPS 774426 HAS SOUS 619341 HAS SOUPS 619341 WITH SCORE 620115.426
AT ITER 6049 NEW BEST:: SOT 4375625 SOS 774270 HAS SOPS 774270 HAS SOUS 619263 HAS SOUPS 619263 WITH SCORE 620037.27
AT ITER 6111 NEW BEST:: SOT 4375567 SOS 774154 HAS SOPS 774154 HAS SOUS 619147 HAS SOUPS 619147 WITH SCORE 619921.154
AT ITER 6163 NEW BEST:: SOT 4375439 SOS 774026 HAS SOPS 774026 HAS SOUS 619019 HAS SOUPS 619019 WITH SCORE 619793.026
AT ITER 6170 NEW BEST:: SOT 4375388 SOS 773924 HAS SOPS 773924 HAS SOUS 619012 HAS SOUPS 619012 WITH SCORE 619785.924
AT ITER 6208 NEW BEST:: SOT 4375381 SOS 773910 HAS SOPS 773910 HAS SOUS 618998 HAS SOUPS 618998 WITH SCORE 619771.91
AT ITER 6218 NEW BEST:: SOT 4375290 SOS 773728 HAS SOPS 773728 HAS SOUS 618907 HAS SOUPS 618907 WITH SCORE 619680.728
AT ITER 6231 NEW BEST:: SOT 4375106 SOS 773662 HAS SOPS 773662 HAS SOUS 618780 HAS SOUPS 618780 WITH SCORE 619553.662
AT ITER 6252 NEW BEST:: SOT 4375070 SOS 773625 HAS SOPS 773625 HAS SOUS 618743 HAS SOUPS 618743 WITH SCORE 619516.625
AT ITER 6259 NEW BEST:: SOT 4375049 SOS 773305 HAS SOPS 773305 HAS SOUS 618701 HAS SOUPS 618701 WITH SCORE 619474.305
AT ITER 6283 NEW BEST:: SOT 4374893 SOS 772993 HAS SOPS 772993 HAS SOUS 618545 HAS SOUPS 618545 WITH SCORE 619317.993
AT ITER 6342 NEW BEST:: SOT 4374797 SOS 772897 HAS SOPS 772897 HAS SOUS 618449 HAS SOUPS 618449 WITH SCORE 619221.897
AT ITER 6391 NEW BEST:: SOT 4374792 SOS 772630 HAS SOPS 772630 HAS SOUS 618439 HAS SOUPS 618439 WITH SCORE 619211.63
AT ITER 6398 NEW BEST:: SOT 4374753 SOS 772552 HAS SOPS 772552 HAS SOUS 618361 HAS SOUPS 618361 WITH SCORE 619133.552
AT ITER 6405 NEW BEST:: SOT 4374672 SOS 772471 HAS SOPS 772471 HAS SOUS 618280 HAS SOUPS 618280 WITH SCORE 619052.471
AT ITER 6437 NEW BEST:: SOT 4374672 SOS 772471 HAS SOPS 772471 HAS SOUS 618222 HAS SOUPS 618222 WITH SCORE 618994.471
AT ITER 6450 NEW BEST:: SOT 4374650 SOS 772449 HAS SOPS 772449 HAS SOUS 618178 HAS SOUPS 618178 WITH SCORE 618950.449
AT ITER 6461 NEW BEST:: SOT 4374214 SOS 772013 HAS SOPS 772013 HAS SOUS 617742 HAS SOUPS 617742 WITH SCORE 618514.013
AT ITER 6470 NEW BEST:: SOT 4374033 SOS 771651 HAS SOPS 771651 HAS SOUS 617380 HAS SOUPS 617380 WITH SCORE 618151.651
AT ITER 6482 NEW BEST:: SOT 4373846 SOS 771640 HAS SOPS 771640 HAS SOUS 617281 HAS SOUPS 617281 WITH SCORE 618052.64
AT ITER 6492 NEW BEST:: SOT 4373846 SOS 771640 HAS SOPS 771640 HAS SOUS 617046 HAS SOUPS 617046 WITH SCORE 617817.64
AT ITER 6526 NEW BEST:: SOT 4373857 SOS 771636 HAS SOPS 771636 HAS SOUS 617042 HAS SOUPS 617042 WITH SCORE 617813.636
AT ITER 6581 NEW BEST:: SOT 4373857 SOS 771607 HAS SOPS 771607 HAS SOUS 617042 HAS SOUPS 617042 WITH SCORE 617813.607
AT ITER 6584 NEW BEST:: SOT 4374241 SOS 771017 HAS SOPS 771017 HAS SOUS 616787 HAS SOUPS 616787 WITH SCORE 617558.017
AT ITER 6596 NEW BEST:: SOT 4374189 SOS 770913 HAS SOPS 770913 HAS SOUS 616683 HAS SOUPS 616683 WITH SCORE 617453.913
AT ITER 6610 NEW BEST:: SOT 4373431 SOS 773597 HAS SOPS 773597 HAS SOUS 616475 HAS SOUPS 616475 WITH SCORE 617248.597
AT ITER 6614 NEW BEST:: SOT 4373431 SOS 773597 HAS SOPS 773597 HAS SOUS 616386 HAS SOUPS 616386 WITH SCORE 617159.597
AT ITER 6626 NEW BEST:: SOT 4373310 SOS 773355 HAS SOPS 773355 HAS SOUS 616144 HAS SOUPS 616144 WITH SCORE 616917.355
AT ITER 6632 NEW BEST:: SOT 4373310 SOS 773355 HAS SOPS 773355 HAS SOUS 616140 HAS SOUPS 616140 WITH SCORE 616913.355
AT ITER 6640 NEW BEST:: SOT 4373305 SOS 773345 HAS SOPS 773345 HAS SOUS 616135 HAS SOUPS 616135 WITH SCORE 616908.345
AT ITER 6704 NEW BEST:: SOT 4373305 SOS 773197 HAS SOPS 773197 HAS SOUS 616135 HAS SOUPS 616135 WITH SCORE 616908.197
AT ITER 6718 NEW BEST:: SOT 4373276 SOS 773139 HAS SOPS 773139 HAS SOUS 616106 HAS SOUPS 616106 WITH SCORE 616879.139
AT ITER 6724 NEW BEST:: SOT 4373193 SOS 772973 HAS SOPS 772973 HAS SOUS 615985 HAS SOUPS 615985 WITH SCORE 616757.973
AT ITER 6749 NEW BEST:: SOT 4373192 SOS 772822 HAS SOPS 772822 HAS SOUS 615983 HAS SOUPS 615983 WITH SCORE 616755.822
AT ITER 6814 NEW BEST:: SOT 4373145 SOS 772728 HAS SOPS 772728 HAS SOUS 615842 HAS SOUPS 615842 WITH SCORE 616614.728
AT ITER 6820 NEW BEST:: SOT 4373109 SOS 772656 HAS SOPS 772656 HAS SOUS 615788 HAS SOUPS 615788 WITH SCORE 616560.656
AT ITER 6829 NEW BEST:: SOT 4373066 SOS 772570 HAS SOPS 772570 HAS SOUS 615745 HAS SOUPS 615745 WITH SCORE 616517.57
AT ITER 6832 NEW BEST:: SOT 4373170 SOS 772467 HAS SOPS 772467 HAS SOUS 615642 HAS SOUPS 615642 WITH SCORE 616414.467
AT ITER 6845 NEW BEST:: SOT 4372807 SOS 771396 HAS SOPS 771396 HAS SOUS 615060 HAS SOUPS 615060 WITH SCORE 615831.396
AT ITER 6854 NEW BEST:: SOT 4372682 SOS 771390 HAS SOPS 771390 HAS SOUS 614935 HAS SOUPS 614935 WITH SCORE 615706.39
AT ITER 6869 NEW BEST:: SOT 4372682 SOS 771351 HAS SOPS 771351 HAS SOUS 614917 HAS SOUPS 614917 WITH SCORE 615688.351
AT ITER 6892 NEW BEST:: SOT 4372352 SOS 771387 HAS SOPS 771387 HAS SOUS 614605 HAS SOUPS 614605 WITH SCORE 615376.387
AT ITER 6905 NEW BEST:: SOT 4372188 SOS 771321 HAS SOPS 771321 HAS SOUS 614539 HAS SOUPS 614539 WITH SCORE 615310.321
AT ITER 6910 NEW BEST:: SOT 4372087 SOS 771119 HAS SOPS 771119 HAS SOUS 614337 HAS SOUPS 614337 WITH SCORE 615108.119
AT ITER 6927 NEW BEST:: SOT 4372084 SOS 771113 HAS SOPS 771113 HAS SOUS 614334 HAS SOUPS 614334 WITH SCORE 615105.113
AT ITER 6935 NEW BEST:: SOT 4372083 SOS 771072 HAS SOPS 771072 HAS SOUS 614333 HAS SOUPS 614333 WITH SCORE 615104.072
AT ITER 6963 NEW BEST:: SOT 4371968 SOS 770842 HAS SOPS 770842 HAS SOUS 614186 HAS SOUPS 614186 WITH SCORE 614956.842
AT ITER 6993 NEW BEST:: SOT 4371913 SOS 770732 HAS SOPS 770732 HAS SOUS 614076 HAS SOUPS 614076 WITH SCORE 614846.732
AT ITER 6997 NEW BEST:: SOT 4371913 SOS 770732 HAS SOPS 770732 HAS SOUS 614073 HAS SOUPS 614073 WITH SCORE 614843.732
AT ITER 7022 NEW BEST:: SOT 4371635 SOS 770176 HAS SOPS 770176 HAS SOUS 613517 HAS SOUPS 613517 WITH SCORE 614287.176
AT ITER 7045 NEW BEST:: SOT 4371611 SOS 770204 HAS SOPS 770204 HAS SOUS 613493 HAS SOUPS 613493 WITH SCORE 614263.204
AT ITER 7055 NEW BEST:: SOT 4371534 SOS 770500 HAS SOPS 770500 HAS SOUS 613472 HAS SOUPS 613472 WITH SCORE 614242.5
AT ITER 7063 NEW BEST:: SOT 4371658 SOS 770748 HAS SOPS 770748 HAS SOUS 613415 HAS SOUPS 613415 WITH SCORE 614185.748
AT ITER 7083 NEW BEST:: SOT 4371483 SOS 770573 HAS SOPS 770573 HAS SOUS 613240 HAS SOUPS 613240 WITH SCORE 614010.573
AT ITER 7096 NEW BEST:: SOT 4371376 SOS 770359 HAS SOPS 770359 HAS SOUS 613026 HAS SOUPS 613026 WITH SCORE 613796.359
AT ITER 7117 NEW BEST:: SOT 4371433 SOS 770250 HAS SOPS 770250 HAS SOUS 612917 HAS SOUPS 612917 WITH SCORE 613687.25
AT ITER 7134 NEW BEST:: SOT 4371314 SOS 770012 HAS SOPS 770012 HAS SOUS 612798 HAS SOUPS 612798 WITH SCORE 613568.012
AT ITER 7136 NEW BEST:: SOT 4371313 SOS 770010 HAS SOPS 770010 HAS SOUS 612796 HAS SOUPS 612796 WITH SCORE 613566.01
AT ITER 7139 NEW BEST:: SOT 4370891 SOS 769166 HAS SOPS 769166 HAS SOUS 612241 HAS SOUPS 612241 WITH SCORE 613010.166
AT ITER 7258 NEW BEST:: SOT 4370231 SOS 770106 HAS SOPS 770106 HAS SOUS 611714 HAS SOUPS 611714 WITH SCORE 612484.106
AT ITER 7354 NEW BEST:: SOT 4370088 SOS 769820 HAS SOPS 769820 HAS SOUS 611571 HAS SOUPS 611571 WITH SCORE 612340.82
AT ITER 7360 NEW BEST:: SOT 4370018 SOS 769680 HAS SOPS 769680 HAS SOUS 611431 HAS SOUPS 611431 WITH SCORE 612200.68
AT ITER 7367 NEW BEST:: SOT 4369918 SOS 769480 HAS SOPS 769480 HAS SOUS 611231 HAS SOUPS 611231 WITH SCORE 612000.48
AT ITER 7413 NEW BEST:: SOT 4369726 SOS 769096 HAS SOPS 769096 HAS SOUS 610811 HAS SOUPS 610811 WITH SCORE 611580.096
AT ITER 7424 NEW BEST:: SOT 4369638 SOS 768834 HAS SOPS 768834 HAS SOUS 610809 HAS SOUPS 610809 WITH SCORE 611577.834
AT ITER 7425 NEW BEST:: SOT 4369769 SOS 768825 HAS SOPS 768825 HAS SOUS 610803 HAS SOUPS 610803 WITH SCORE 611571.825
AT ITER 7426 NEW BEST:: SOT 4369733 SOS 768753 HAS SOPS 768753 HAS SOUS 610731 HAS SOUPS 610731 WITH SCORE 611499.753
AT ITER 7447 NEW BEST:: SOT 4369119 SOS 768677 HAS SOPS 768677 HAS SOUS 610405 HAS SOUPS 610405 WITH SCORE 611173.677
AT ITER 7488 NEW BEST:: SOT 4369073 SOS 768585 HAS SOPS 768585 HAS SOUS 610359 HAS SOUPS 610359 WITH SCORE 611127.585
AT ITER 7492 NEW BEST:: SOT 4368625 SOS 768137 HAS SOPS 768137 HAS SOUS 609921 HAS SOUPS 609921 WITH SCORE 610689.137
AT ITER 7546 NEW BEST:: SOT 4368641 SOS 767769 HAS SOPS 767769 HAS SOUS 609553 HAS SOUPS 609553 WITH SCORE 610320.769
AT ITER 7608 NEW BEST:: SOT 4368603 SOS 767693 HAS SOPS 767693 HAS SOUS 609477 HAS SOUPS 609477 WITH SCORE 610244.693
AT ITER 7623 NEW BEST:: SOT 4368397 SOS 767543 HAS SOPS 767543 HAS SOUS 609327 HAS SOUPS 609327 WITH SCORE 610094.543
AT ITER 7631 NEW BEST:: SOT 4368221 SOS 767279 HAS SOPS 767279 HAS SOUS 609063 HAS SOUPS 609063 WITH SCORE 609830.279
AT ITER 7643 NEW BEST:: SOT 4368198 SOS 767233 HAS SOPS 767233 HAS SOUS 609017 HAS SOUPS 609017 WITH SCORE 609784.233
AT ITER 7714 NEW BEST:: SOT 4368197 SOS 766942 HAS SOPS 766942 HAS SOUS 609015 HAS SOUPS 609015 WITH SCORE 609781.942
AT ITER 7718 NEW BEST:: SOT 4368197 SOS 766893 HAS SOPS 766893 HAS SOUS 608966 HAS SOUPS 608966 WITH SCORE 609732.893
AT ITER 7726 NEW BEST:: SOT 4368197 SOS 766893 HAS SOPS 766893 HAS SOUS 608965 HAS SOUPS 608965 WITH SCORE 609731.893
AT ITER 7766 NEW BEST:: SOT 4367768 SOS 766433 HAS SOPS 766433 HAS SOUS 608325 HAS SOUPS 608325 WITH SCORE 609091.433
AT ITER 7811 NEW BEST:: SOT 4366477 SOS 766072 HAS SOPS 766072 HAS SOUS 607508 HAS SOUPS 607508 WITH SCORE 608274.072
AT ITER 7819 NEW BEST:: SOT 4366429 SOS 766072 HAS SOPS 766072 HAS SOUS 607484 HAS SOUPS 607484 WITH SCORE 608250.072
AT ITER 7854 NEW BEST:: SOT 4366218 SOS 765650 HAS SOPS 765650 HAS SOUS 607062 HAS SOUPS 607062 WITH SCORE 607827.65
AT ITER 7874 NEW BEST:: SOT 4366113 SOS 765223 HAS SOPS 765223 HAS SOUS 606852 HAS SOUPS 606852 WITH SCORE 607617.223
AT ITER 7889 NEW BEST:: SOT 4365939 SOS 764875 HAS SOPS 764875 HAS SOUS 606798 HAS SOUPS 606798 WITH SCORE 607562.875
AT ITER 7899 NEW BEST:: SOT 4365836 SOS 764669 HAS SOPS 764669 HAS SOUS 606530 HAS SOUPS 606530 WITH SCORE 607294.669
AT ITER 7904 NEW BEST:: SOT 4365816 SOS 764629 HAS SOPS 764629 HAS SOUS 606510 HAS SOUPS 606510 WITH SCORE 607274.629
AT ITER 7926 NEW BEST:: SOT 4365719 SOS 764435 HAS SOPS 764435 HAS SOUS 606413 HAS SOUPS 606413 WITH SCORE 607177.435
AT ITER 7930 NEW BEST:: SOT 4365673 SOS 764343 HAS SOPS 764343 HAS SOUS 606321 HAS SOUPS 606321 WITH SCORE 607085.343
AT ITER 7953 NEW BEST:: SOT 4365567 SOS 764567 HAS SOPS 764567 HAS SOUS 606242 HAS SOUPS 606242 WITH SCORE 607006.567
AT ITER 7960 NEW BEST:: SOT 4365205 SOS 763843 HAS SOPS 763843 HAS SOUS 605828 HAS SOUPS 605828 WITH SCORE 606591.843
AT ITER 7967 NEW BEST:: SOT 4365097 SOS 763777 HAS SOPS 763777 HAS SOUS 605731 HAS SOUPS 605731 WITH SCORE 606494.777
AT ITER 7980 NEW BEST:: SOT 4365097 SOS 763624 HAS SOPS 763624 HAS SOUS 605458 HAS SOUPS 605458 WITH SCORE 606221.624
AT ITER 8060 NEW BEST:: SOT 4365097 SOS 763151 HAS SOPS 763151 HAS SOUS 605339 HAS SOUPS 605339 WITH SCORE 606102.151
AT ITER 8062 NEW BEST:: SOT 4365175 SOS 763307 HAS SOPS 763307 HAS SOUS 605158 HAS SOUPS 605158 WITH SCORE 605921.307
AT ITER 8072 NEW BEST:: SOT 4365302 SOS 762763 HAS SOPS 762763 HAS SOUS 605068 HAS SOUPS 605068 WITH SCORE 605830.763
AT ITER 8080 NEW BEST:: SOT 4365273 SOS 762763 HAS SOPS 762763 HAS SOUS 604981 HAS SOUPS 604981 WITH SCORE 605743.763
AT ITER 8085 NEW BEST:: SOT 4365164 SOS 762545 HAS SOPS 762545 HAS SOUS 604752 HAS SOUPS 604752 WITH SCORE 605514.545
AT ITER 8114 NEW BEST:: SOT 4365164 SOS 762522 HAS SOPS 762522 HAS SOUS 604729 HAS SOUPS 604729 WITH SCORE 605491.522
AT ITER 8154 NEW BEST:: SOT 4365126 SOS 762446 HAS SOPS 762446 HAS SOUS 604691 HAS SOUPS 604691 WITH SCORE 605453.446
AT ITER 8188 NEW BEST:: SOT 4365098 SOS 762362 HAS SOPS 762362 HAS SOUS 604635 HAS SOUPS 604635 WITH SCORE 605397.362
AT ITER 8205 NEW BEST:: SOT 4364601 SOS 761879 HAS SOPS 761879 HAS SOUS 604152 HAS SOUPS 604152 WITH SCORE 604913.879
AT ITER 8207 NEW BEST:: SOT 4364690 SOS 761968 HAS SOPS 761968 HAS SOUS 604149 HAS SOUPS 604149 WITH SCORE 604910.968
AT ITER 8246 NEW BEST:: SOT 4364601 SOS 761790 HAS SOPS 761790 HAS SOUS 603971 HAS SOUPS 603971 WITH SCORE 604732.79
AT ITER 8251 NEW BEST:: SOT 4364415 SOS 762111 HAS SOPS 762111 HAS SOUS 603863 HAS SOUPS 603863 WITH SCORE 604625.111
AT ITER 8266 NEW BEST:: SOT 4364413 SOS 762107 HAS SOPS 762107 HAS SOUS 603859 HAS SOUPS 603859 WITH SCORE 604621.107
AT ITER 8268 NEW BEST:: SOT 4364642 SOS 759842 HAS SOPS 759842 HAS SOUS 603699 HAS SOUPS 603699 WITH SCORE 604458.842
AT ITER 8278 NEW BEST:: SOT 4364632 SOS 759832 HAS SOPS 759832 HAS SOUS 603689 HAS SOUPS 603689 WITH SCORE 604448.832
AT ITER 8319 NEW BEST:: SOT 4364632 SOS 759648 HAS SOPS 759648 HAS SOUS 603689 HAS SOUPS 603689 WITH SCORE 604448.648
AT ITER 8355 NEW BEST:: SOT 4364764 SOS 759634 HAS SOPS 759634 HAS SOUS 603675 HAS SOUPS 603675 WITH SCORE 604434.634
AT ITER 8362 NEW BEST:: SOT 4364358 SOS 758822 HAS SOPS 758822 HAS SOUS 603269 HAS SOUPS 603269 WITH SCORE 604027.822
AT ITER 8363 NEW BEST:: SOT 4364288 SOS 758682 HAS SOPS 758682 HAS SOUS 603129 HAS SOUPS 603129 WITH SCORE 603887.682
AT ITER 8367 NEW BEST:: SOT 4364288 SOS 758526 HAS SOPS 758526 HAS SOUS 603129 HAS SOUPS 603129 WITH SCORE 603887.526
AT ITER 8383 NEW BEST:: SOT 4364201 SOS 758568 HAS SOPS 758568 HAS SOUS 603078 HAS SOUPS 603078 WITH SCORE 603836.568
AT ITER 8424 NEW BEST:: SOT 4364189 SOS 758544 HAS SOPS 758544 HAS SOUS 603074 HAS SOUPS 603074 WITH SCORE 603832.544
AT ITER 8453 NEW BEST:: SOT 4364095 SOS 733292 HAS SOPS 733292 HAS SOUS 602886 HAS SOUPS 602886 WITH SCORE 603619.292
AT ITER 8460 NEW BEST:: SOT 4364068 SOS 733238 HAS SOPS 733238 HAS SOUS 602832 HAS SOUPS 602832 WITH SCORE 603565.238
AT ITER 8478 NEW BEST:: SOT 4363943 SOS 732988 HAS SOPS 732988 HAS SOUS 602582 HAS SOUPS 602582 WITH SCORE 603314.988
AT ITER 8569 NEW BEST:: SOT 4363695 SOS 732492 HAS SOPS 732492 HAS SOUS 602086 HAS SOUPS 602086 WITH SCORE 602818.492
AT ITER 8582 NEW BEST:: SOT 4363591 SOS 732336 HAS SOPS 732336 HAS SOUS 601930 HAS SOUPS 601930 WITH SCORE 602662.336
AT ITER 8592 NEW BEST:: SOT 4363307 SOS 732310 HAS SOPS 732310 HAS SOUS 601735 HAS SOUPS 601735 WITH SCORE 602467.31
AT ITER 8625 NEW BEST:: SOT 4363173 SOS 732914 HAS SOPS 732914 HAS SOUS 601601 HAS SOUPS 601601 WITH SCORE 602333.914
AT ITER 8628 NEW BEST:: SOT 4363147 SOS 733082 HAS SOPS 733082 HAS SOUS 601563 HAS SOUPS 601563 WITH SCORE 602296.082
AT ITER 8629 NEW BEST:: SOT 4363123 SOS 733034 HAS SOPS 733034 HAS SOUS 601539 HAS SOUPS 601539 WITH SCORE 602272.034
AT ITER 8645 NEW BEST:: SOT 4363028 SOS 732844 HAS SOPS 732844 HAS SOUS 601349 HAS SOUPS 601349 WITH SCORE 602081.844
AT ITER 8674 NEW BEST:: SOT 4363056 SOS 732641 HAS SOPS 732641 HAS SOUS 601333 HAS SOUPS 601333 WITH SCORE 602065.641
AT ITER 8706 NEW BEST:: SOT 4362949 SOS 732174 HAS SOPS 732174 HAS SOUS 601164 HAS SOUPS 601164 WITH SCORE 601896.174
AT ITER 8710 NEW BEST:: SOT 4362888 SOS 732052 HAS SOPS 732052 HAS SOUS 601103 HAS SOUPS 601103 WITH SCORE 601835.052
AT ITER 8739 NEW BEST:: SOT 4362727 SOS 731946 HAS SOPS 731946 HAS SOUS 600962 HAS SOUPS 600962 WITH SCORE 601693.946
AT ITER 8747 NEW BEST:: SOT 4362527 SOS 731546 HAS SOPS 731546 HAS SOUS 600562 HAS SOUPS 600562 WITH SCORE 601293.546
AT ITER 8751 NEW BEST:: SOT 4362403 SOS 731670 HAS SOPS 731670 HAS SOUS 600438 HAS SOUPS 600438 WITH SCORE 601169.67
AT ITER 8763 NEW BEST:: SOT 4362518 SOS 731704 HAS SOPS 731704 HAS SOUS 600357 HAS SOUPS 600357 WITH SCORE 601088.704
AT ITER 8773 NEW BEST:: SOT 4362518 SOS 731491 HAS SOPS 731491 HAS SOUS 600144 HAS SOUPS 600144 WITH SCORE 600875.491
AT ITER 8776 NEW BEST:: SOT 4362505 SOS 731452 HAS SOPS 731452 HAS SOUS 600118 HAS SOUPS 600118 WITH SCORE 600849.452
AT ITER 8823 NEW BEST:: SOT 4362393 SOS 730972 HAS SOPS 730972 HAS SOUS 600004 HAS SOUPS 600004 WITH SCORE 600734.972
AT ITER 8826 NEW BEST:: SOT 4362393 SOS 730919 HAS SOPS 730919 HAS SOUS 600004 HAS SOUPS 600004 WITH SCORE 600734.919
AT ITER 8827 NEW BEST:: SOT 4362210 SOS 730821 HAS SOPS 730821 HAS SOUS 599839 HAS SOUPS 599839 WITH SCORE 600569.821
AT ITER 8861 NEW BEST:: SOT 4362170 SOS 730741 HAS SOPS 730741 HAS SOUS 599799 HAS SOUPS 599799 WITH SCORE 600529.741
AT ITER 8862 NEW BEST:: SOT 4362163 SOS 730727 HAS SOPS 730727 HAS SOUS 599792 HAS SOUPS 599792 WITH SCORE 600522.727
AT ITER 8875 NEW BEST:: SOT 4362039 SOS 730603 HAS SOPS 730603 HAS SOUS 599668 HAS SOUPS 599668 WITH SCORE 600398.603
AT ITER 8894 NEW BEST:: SOT 4361876 SOS 730701 HAS SOPS 730701 HAS SOUS 599492 HAS SOUPS 599492 WITH SCORE 600222.701
AT ITER 8895 NEW BEST:: SOT 4361867 SOS 730683 HAS SOPS 730683 HAS SOUS 599474 HAS SOUPS 599474 WITH SCORE 600204.683
AT ITER 8902 NEW BEST:: SOT 4361867 SOS 730393 HAS SOPS 730393 HAS SOUS 599184 HAS SOUPS 599184 WITH SCORE 599914.393
AT ITER 8910 NEW BEST:: SOT 4361867 SOS 730351 HAS SOPS 730351 HAS SOUS 599142 HAS SOUPS 599142 WITH SCORE 599872.351
AT ITER 8915 NEW BEST:: SOT 4361867 SOS 730351 HAS SOPS 730351 HAS SOUS 599108 HAS SOUPS 599108 WITH SCORE 599838.351
AT ITER 8917 NEW BEST:: SOT 4361779 SOS 730175 HAS SOPS 730175 HAS SOUS 598927 HAS SOUPS 598927 WITH SCORE 599657.175
AT ITER 8932 NEW BEST:: SOT 4361301 SOS 729219 HAS SOPS 729219 HAS SOUS 598277 HAS SOUPS 598277 WITH SCORE 599006.219
AT ITER 8948 NEW BEST:: SOT 4361300 SOS 729217 HAS SOPS 729217 HAS SOUS 598275 HAS SOUPS 598275 WITH SCORE 599004.217
AT ITER 8955 NEW BEST:: SOT 4361180 SOS 729099 HAS SOPS 729099 HAS SOUS 598157 HAS SOUPS 598157 WITH SCORE 598886.099
AT ITER 8964 NEW BEST:: SOT 4360996 SOS 729191 HAS SOPS 729191 HAS SOUS 597978 HAS SOUPS 597978 WITH SCORE 598707.191
AT ITER 8987 NEW BEST:: SOT 4361276 SOS 728762 HAS SOPS 728762 HAS SOUS 597615 HAS SOUPS 597615 WITH SCORE 598343.762
AT ITER 8990 NEW BEST:: SOT 4361307 SOS 728706 HAS SOPS 728706 HAS SOUS 597559 HAS SOUPS 597559 WITH SCORE 598287.706
AT ITER 8995 NEW BEST:: SOT 4361307 SOS 728706 HAS SOPS 728706 HAS SOUS 597440 HAS SOUPS 597440 WITH SCORE 598168.706
AT ITER 9016 NEW BEST:: SOT 4361225 SOS 728598 HAS SOPS 728598 HAS SOUS 597317 HAS SOUPS 597317 WITH SCORE 598045.598
AT ITER 9025 NEW BEST:: SOT 4361039 SOS 728226 HAS SOPS 728226 HAS SOUS 596945 HAS SOUPS 596945 WITH SCORE 597673.226
AT ITER 9035 NEW BEST:: SOT 4360835 SOS 727818 HAS SOPS 727818 HAS SOUS 596537 HAS SOUPS 596537 WITH SCORE 597264.818
AT ITER 9036 NEW BEST:: SOT 4360686 SOS 727698 HAS SOPS 727698 HAS SOUS 596388 HAS SOUPS 596388 WITH SCORE 597115.698
AT ITER 9043 NEW BEST:: SOT 4360608 SOS 727638 HAS SOPS 727638 HAS SOUS 596328 HAS SOUPS 596328 WITH SCORE 597055.638
AT ITER 9053 NEW BEST:: SOT 4360595 SOS 727612 HAS SOPS 727612 HAS SOUS 596315 HAS SOUPS 596315 WITH SCORE 597042.612
AT ITER 9109 NEW BEST:: SOT 4360552 SOS 720581 HAS SOPS 720581 HAS SOUS 596009 HAS SOUPS 596009 WITH SCORE 596729.581
AT ITER 9135 NEW BEST:: SOT 4360713 SOS 720512 HAS SOPS 720512 HAS SOUS 595940 HAS SOUPS 595940 WITH SCORE 596660.512
AT ITER 9200 NEW BEST:: SOT 4360318 SOS 719473 HAS SOPS 719473 HAS SOUS 595308 HAS SOUPS 595308 WITH SCORE 596027.473
AT ITER 9202 NEW BEST:: SOT 4360344 SOS 719206 HAS SOPS 719206 HAS SOUS 595132 HAS SOUPS 595132 WITH SCORE 595851.206
AT ITER 9211 NEW BEST:: SOT 4360344 SOS 719022 HAS SOPS 719022 HAS SOUS 595040 HAS SOUPS 595040 WITH SCORE 595759.022
AT ITER 9216 NEW BEST:: SOT 4360344 SOS 718971 HAS SOPS 718971 HAS SOUS 595040 HAS SOUPS 595040 WITH SCORE 595758.971
AT ITER 9220 NEW BEST:: SOT 4360282 SOS 719071 HAS SOPS 719071 HAS SOUS 595024 HAS SOUPS 595024 WITH SCORE 595743.071
AT ITER 9235 NEW BEST:: SOT 4360216 SOS 718939 HAS SOPS 718939 HAS SOUS 594892 HAS SOUPS 594892 WITH SCORE 595610.939
AT ITER 9286 NEW BEST:: SOT 4360186 SOS 718939 HAS SOPS 718939 HAS SOUS 594862 HAS SOUPS 594862 WITH SCORE 595580.939
AT ITER 9307 NEW BEST:: SOT 4360151 SOS 718869 HAS SOPS 718869 HAS SOUS 594827 HAS SOUPS 594827 WITH SCORE 595545.869
AT ITER 9316 NEW BEST:: SOT 4360030 SOS 718627 HAS SOPS 718627 HAS SOUS 594585 HAS SOUPS 594585 WITH SCORE 595303.627
AT ITER 9368 NEW BEST:: SOT 4359908 SOS 718504 HAS SOPS 718504 HAS SOUS 594462 HAS SOUPS 594462 WITH SCORE 595180.504
AT ITER 9395 NEW BEST:: SOT 4359832 SOS 718292 HAS SOPS 718292 HAS SOUS 594250 HAS SOUPS 594250 WITH SCORE 594968.292
AT ITER 9428 NEW BEST:: SOT 4359867 SOS 718362 HAS SOPS 718362 HAS SOUS 594036 HAS SOUPS 594036 WITH SCORE 594754.362
AT ITER 9444 NEW BEST:: SOT 4359812 SOS 718252 HAS SOPS 718252 HAS SOUS 593926 HAS SOUPS 593926 WITH SCORE 594644.252
AT ITER 9474 NEW BEST:: SOT 4359532 SOS 717972 HAS SOPS 717972 HAS SOUS 593646 HAS SOUPS 593646 WITH SCORE 594363.972
AT ITER 9506 NEW BEST:: SOT 4359466 SOS 717840 HAS SOPS 717840 HAS SOUS 593636 HAS SOUPS 593636 WITH SCORE 594353.84
AT ITER 9524 NEW BEST:: SOT 4359466 SOS 717736 HAS SOPS 717736 HAS SOUS 593532 HAS SOUPS 593532 WITH SCORE 594249.736
AT ITER 9538 NEW BEST:: SOT 4359466 SOS 717645 HAS SOPS 717645 HAS SOUS 593532 HAS SOUPS 593532 WITH SCORE 594249.645
AT ITER 9542 NEW BEST:: SOT 4359339 SOS 717391 HAS SOPS 717391 HAS SOUS 593405 HAS SOUPS 593405 WITH SCORE 594122.391
AT ITER 9571 NEW BEST:: SOT 4359339 SOS 717391 HAS SOPS 717391 HAS SOUS 593245 HAS SOUPS 593245 WITH SCORE 593962.391
AT ITER 9592 NEW BEST:: SOT 4359140 SOS 716993 HAS SOPS 716993 HAS SOUS 592847 HAS SOUPS 592847 WITH SCORE 593563.993
AT ITER 9593 NEW BEST:: SOT 4359221 SOS 716503 HAS SOPS 716503 HAS SOUS 592736 HAS SOUPS 592736 WITH SCORE 593452.503
AT ITER 9618 NEW BEST:: SOT 4359221 SOS 716435 HAS SOPS 716435 HAS SOUS 592668 HAS SOUPS 592668 WITH SCORE 593384.435
AT ITER 9634 NEW BEST:: SOT 4359169 SOS 716331 HAS SOPS 716331 HAS SOUS 592564 HAS SOUPS 592564 WITH SCORE 593280.331
AT ITER 9642 NEW BEST:: SOT 4359083 SOS 716239 HAS SOPS 716239 HAS SOUS 592450 HAS SOUPS 592450 WITH SCORE 593166.239
AT ITER 9664 NEW BEST:: SOT 4358817 SOS 715707 HAS SOPS 715707 HAS SOUS 592313 HAS SOUPS 592313 WITH SCORE 593028.707
AT ITER 9685 NEW BEST:: SOT 4358654 SOS 715381 HAS SOPS 715381 HAS SOUS 592061 HAS SOUPS 592061 WITH SCORE 592776.381
AT ITER 9694 NEW BEST:: SOT 4358648 SOS 715363 HAS SOPS 715363 HAS SOUS 592055 HAS SOUPS 592055 WITH SCORE 592770.363
AT ITER 9695 NEW BEST:: SOT 4358712 SOS 715178 HAS SOPS 715178 HAS SOUS 591870 HAS SOUPS 591870 WITH SCORE 592585.178
AT ITER 9705 NEW BEST:: SOT 4358528 SOS 715072 HAS SOPS 715072 HAS SOUS 591764 HAS SOUPS 591764 WITH SCORE 592479.072
AT ITER 9756 NEW BEST:: SOT 4358528 SOS 715072 HAS SOPS 715072 HAS SOUS 591749 HAS SOUPS 591749 WITH SCORE 592464.072
AT ITER 9760 NEW BEST:: SOT 4358439 SOS 714894 HAS SOPS 714894 HAS SOUS 591571 HAS SOUPS 591571 WITH SCORE 592285.894
AT ITER 9785 NEW BEST:: SOT 4358439 SOS 714770 HAS SOPS 714770 HAS SOUS 591513 HAS SOUPS 591513 WITH SCORE 592227.77
AT ITER 9805 NEW BEST:: SOT 4358353 SOS 714598 HAS SOPS 714598 HAS SOUS 591341 HAS SOUPS 591341 WITH SCORE 592055.598
AT ITER 9835 NEW BEST:: SOT 4358352 SOS 714596 HAS SOPS 714596 HAS SOUS 591339 HAS SOUPS 591339 WITH SCORE 592053.596
AT ITER 9851 NEW BEST:: SOT 4358334 SOS 714560 HAS SOPS 714560 HAS SOUS 591234 HAS SOUPS 591234 WITH SCORE 591948.56
AT ITER 9868 NEW BEST:: SOT 4358295 SOS 714546 HAS SOPS 714546 HAS SOUS 591195 HAS SOUPS 591195 WITH SCORE 591909.546
AT ITER 9920 NEW BEST:: SOT 4358256 SOS 714468 HAS SOPS 714468 HAS SOUS 591117 HAS SOUPS 591117 WITH SCORE 591831.468
AT ITER 9922 NEW BEST:: SOT 4358148 SOS 714414 HAS SOPS 714414 HAS SOUS 591009 HAS SOUPS 591009 WITH SCORE 591723.414
AT ITER 9933 NEW BEST:: SOT 4357990 SOS 713823 HAS SOPS 713823 HAS SOUS 590622 HAS SOUPS 590622 WITH SCORE 591335.823
AT ITER 9959 NEW BEST:: SOT 4357874 SOS 713736 HAS SOPS 713736 HAS SOUS 590535 HAS SOUPS 590535 WITH SCORE 591248.736
AT ITER 9965 NEW BEST:: SOT 4357847 SOS 713516 HAS SOPS 713516 HAS SOUS 590376 HAS SOUPS 590376 WITH SCORE 591089.516
AT ITER 9969 NEW BEST:: SOT 4357822 SOS 713491 HAS SOPS 713491 HAS SOUS 590326 HAS SOUPS 590326 WITH SCORE 591039.491
AT ITER 9977 NEW BEST:: SOT 4357760 SOS 713367 HAS SOPS 713367 HAS SOUS 590202 HAS SOUPS 590202 WITH SCORE 590915.367
AT ITER 9983 NEW BEST:: SOT 4357760 SOS 713308 HAS SOPS 713308 HAS SOUS 590202 HAS SOUPS 590202 WITH SCORE 590915.308
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11935328 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125456 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-315"
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-315, 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-167814483800120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-315.tgz
mv CloudReconfiguration-PT-315 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 ;