About the Execution of Smart+red for CloudReconfiguration-PT-303
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
3531.359 | 3600000.00 | 3637524.00 | 9237.60 | [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-167814483700024.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-303, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483700024
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 5.7K Feb 25 11:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Feb 25 11:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 11:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 11:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 25 11:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 100K Feb 25 11:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:46 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:46 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 1678314105123
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-303
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-08 22:21:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-08 22:21:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 22:21:46] [INFO ] Load time of PNML (sax parser for PT used): 120 ms
[2023-03-08 22:21:46] [INFO ] Transformed 2584 places.
[2023-03-08 22:21:46] [INFO ] Transformed 3094 transitions.
[2023-03-08 22:21:46] [INFO ] Found NUPN structural information;
[2023-03-08 22:21:46] [INFO ] Parsed PT model containing 2584 places and 3094 transitions and 6459 arcs in 333 ms.
[2023-03-08 22:21:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2584 places, 3094 transitions and 6459 arcs took 31 ms.
Total runtime 494 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 303
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4445607 SOS 744324 HAS SOPS 744324 HAS SOUS 686655 HAS SOUPS 686655 WITH SCORE 687399.324
AT ITER 46 NEW BEST:: SOT 4445079 SOS 743629 HAS SOPS 743629 HAS SOUS 685890 HAS SOUPS 685890 WITH SCORE 686633.629
AT ITER 57 NEW BEST:: SOT 4444904 SOS 743479 HAS SOPS 743479 HAS SOUS 685740 HAS SOUPS 685740 WITH SCORE 686483.479
AT ITER 89 NEW BEST:: SOT 4444706 SOS 743401 HAS SOPS 743401 HAS SOUS 685603 HAS SOUPS 685603 WITH SCORE 686346.401
AT ITER 91 NEW BEST:: SOT 4444578 SOS 743427 HAS SOPS 743427 HAS SOUS 685567 HAS SOUPS 685567 WITH SCORE 686310.427
AT ITER 99 NEW BEST:: SOT 4444578 SOS 743183 HAS SOPS 743183 HAS SOUS 685566 HAS SOUPS 685566 WITH SCORE 686309.183
AT ITER 104 NEW BEST:: SOT 4444297 SOS 742621 HAS SOPS 742621 HAS SOUS 685004 HAS SOUPS 685004 WITH SCORE 685746.621
AT ITER 113 NEW BEST:: SOT 4444139 SOS 742463 HAS SOPS 742463 HAS SOUS 684843 HAS SOUPS 684843 WITH SCORE 685585.463
AT ITER 116 NEW BEST:: SOT 4444139 SOS 742343 HAS SOPS 742343 HAS SOUS 684843 HAS SOUPS 684843 WITH SCORE 685585.343
AT ITER 131 NEW BEST:: SOT 4444034 SOS 742133 HAS SOPS 742133 HAS SOUS 684633 HAS SOUPS 684633 WITH SCORE 685375.133
AT ITER 139 NEW BEST:: SOT 4444229 SOS 742523 HAS SOPS 742523 HAS SOUS 684617 HAS SOUPS 684617 WITH SCORE 685359.523
AT ITER 140 NEW BEST:: SOT 4443893 SOS 742187 HAS SOPS 742187 HAS SOUS 684281 HAS SOUPS 684281 WITH SCORE 685023.187
AT ITER 170 NEW BEST:: SOT 4443892 SOS 742185 HAS SOPS 742185 HAS SOUS 684279 HAS SOUPS 684279 WITH SCORE 685021.185
AT ITER 216 NEW BEST:: SOT 4443681 SOS 741928 HAS SOPS 741928 HAS SOUS 683922 HAS SOUPS 683922 WITH SCORE 684663.928
AT ITER 232 NEW BEST:: SOT 4443393 SOS 741684 HAS SOPS 741684 HAS SOUS 683634 HAS SOUPS 683634 WITH SCORE 684375.684
AT ITER 253 NEW BEST:: SOT 4442946 SOS 741910 HAS SOPS 741910 HAS SOUS 683288 HAS SOUPS 683288 WITH SCORE 684029.91
AT ITER 276 NEW BEST:: SOT 4442893 SOS 741804 HAS SOPS 741804 HAS SOUS 683182 HAS SOUPS 683182 WITH SCORE 683923.804
AT ITER 282 NEW BEST:: SOT 4442892 SOS 741802 HAS SOPS 741802 HAS SOUS 683180 HAS SOUPS 683180 WITH SCORE 683921.802
AT ITER 308 NEW BEST:: SOT 4442873 SOS 741764 HAS SOPS 741764 HAS SOUS 683142 HAS SOUPS 683142 WITH SCORE 683883.764
AT ITER 337 NEW BEST:: SOT 4442631 SOS 741522 HAS SOPS 741522 HAS SOUS 682900 HAS SOUPS 682900 WITH SCORE 683641.522
AT ITER 352 NEW BEST:: SOT 4442555 SOS 741446 HAS SOPS 741446 HAS SOUS 682823 HAS SOUPS 682823 WITH SCORE 683564.446
AT ITER 413 NEW BEST:: SOT 4442553 SOS 741448 HAS SOPS 741448 HAS SOUS 682821 HAS SOUPS 682821 WITH SCORE 683562.448
AT ITER 419 NEW BEST:: SOT 4442451 SOS 741630 HAS SOPS 741630 HAS SOUS 682565 HAS SOUPS 682565 WITH SCORE 683306.63
AT ITER 444 NEW BEST:: SOT 4442451 SOS 741630 HAS SOPS 741630 HAS SOUS 682508 HAS SOUPS 682508 WITH SCORE 683249.63
AT ITER 448 NEW BEST:: SOT 4442340 SOS 741297 HAS SOPS 741297 HAS SOUS 682286 HAS SOUPS 682286 WITH SCORE 683027.297
AT ITER 467 NEW BEST:: SOT 4442219 SOS 741331 HAS SOPS 741331 HAS SOUS 682243 HAS SOUPS 682243 WITH SCORE 682984.331
AT ITER 480 NEW BEST:: SOT 4441710 SOS 740903 HAS SOPS 740903 HAS SOUS 681762 HAS SOUPS 681762 WITH SCORE 682502.903
AT ITER 485 NEW BEST:: SOT 4441465 SOS 740225 HAS SOPS 740225 HAS SOUS 681087 HAS SOUPS 681087 WITH SCORE 681827.225
AT ITER 493 NEW BEST:: SOT 4441448 SOS 740618 HAS SOPS 740618 HAS SOUS 680995 HAS SOUPS 680995 WITH SCORE 681735.618
AT ITER 527 NEW BEST:: SOT 4441448 SOS 740618 HAS SOPS 740618 HAS SOUS 680905 HAS SOUPS 680905 WITH SCORE 681645.618
AT ITER 528 NEW BEST:: SOT 4441216 SOS 740154 HAS SOPS 740154 HAS SOUS 680441 HAS SOUPS 680441 WITH SCORE 681181.154
AT ITER 543 NEW BEST:: SOT 4441117 SOS 739956 HAS SOPS 739956 HAS SOUS 680243 HAS SOUPS 680243 WITH SCORE 680982.956
AT ITER 544 NEW BEST:: SOT 4441052 SOS 739826 HAS SOPS 739826 HAS SOUS 680113 HAS SOUPS 680113 WITH SCORE 680852.826
AT ITER 557 NEW BEST:: SOT 4440956 SOS 739730 HAS SOPS 739730 HAS SOUS 680017 HAS SOUPS 680017 WITH SCORE 680756.73
AT ITER 602 NEW BEST:: SOT 4440956 SOS 739730 HAS SOPS 739730 HAS SOUS 679897 HAS SOUPS 679897 WITH SCORE 680636.73
AT ITER 603 NEW BEST:: SOT 4440996 SOS 739650 HAS SOPS 739650 HAS SOUS 679876 HAS SOUPS 679876 WITH SCORE 680615.65
AT ITER 635 NEW BEST:: SOT 4440996 SOS 739616 HAS SOPS 739616 HAS SOUS 679842 HAS SOUPS 679842 WITH SCORE 680581.616
AT ITER 659 NEW BEST:: SOT 4440893 SOS 739513 HAS SOPS 739513 HAS SOUS 679842 HAS SOUPS 679842 WITH SCORE 680581.513
AT ITER 664 NEW BEST:: SOT 4440702 SOS 739322 HAS SOPS 739322 HAS SOUS 679651 HAS SOUPS 679651 WITH SCORE 680390.322
AT ITER 681 NEW BEST:: SOT 4440708 SOS 739334 HAS SOPS 739334 HAS SOUS 679642 HAS SOUPS 679642 WITH SCORE 680381.334
AT ITER 692 NEW BEST:: SOT 4440708 SOS 739258 HAS SOPS 739258 HAS SOUS 679641 HAS SOUPS 679641 WITH SCORE 680380.258
AT ITER 717 NEW BEST:: SOT 4440256 SOS 738670 HAS SOPS 738670 HAS SOUS 679031 HAS SOUPS 679031 WITH SCORE 679769.67
AT ITER 751 NEW BEST:: SOT 4440477 SOS 739112 HAS SOPS 739112 HAS SOUS 679014 HAS SOUPS 679014 WITH SCORE 679753.112
AT ITER 758 NEW BEST:: SOT 4440271 SOS 738803 HAS SOPS 738803 HAS SOUS 678705 HAS SOUPS 678705 WITH SCORE 679443.803
AT ITER 777 NEW BEST:: SOT 4440271 SOS 738803 HAS SOPS 738803 HAS SOUS 678550 HAS SOUPS 678550 WITH SCORE 679288.803
AT ITER 787 NEW BEST:: SOT 4440270 SOS 738801 HAS SOPS 738801 HAS SOUS 678548 HAS SOUPS 678548 WITH SCORE 679286.801
AT ITER 799 NEW BEST:: SOT 4440210 SOS 738725 HAS SOPS 738725 HAS SOUS 678446 HAS SOUPS 678446 WITH SCORE 679184.725
AT ITER 802 NEW BEST:: SOT 4440167 SOS 738639 HAS SOPS 738639 HAS SOUS 678360 HAS SOUPS 678360 WITH SCORE 679098.639
AT ITER 811 NEW BEST:: SOT 4440166 SOS 738637 HAS SOPS 738637 HAS SOUS 678358 HAS SOUPS 678358 WITH SCORE 679096.637
AT ITER 829 NEW BEST:: SOT 4439983 SOS 738474 HAS SOPS 738474 HAS SOUS 678175 HAS SOUPS 678175 WITH SCORE 678913.474
AT ITER 838 NEW BEST:: SOT 4439821 SOS 738150 HAS SOPS 738150 HAS SOUS 677851 HAS SOUPS 677851 WITH SCORE 678589.15
AT ITER 844 NEW BEST:: SOT 4439821 SOS 738083 HAS SOPS 738083 HAS SOUS 677851 HAS SOUPS 677851 WITH SCORE 678589.083
AT ITER 854 NEW BEST:: SOT 4439805 SOS 737651 HAS SOPS 737651 HAS SOUS 677529 HAS SOUPS 677529 WITH SCORE 678266.651
AT ITER 859 NEW BEST:: SOT 4439681 SOS 737725 HAS SOPS 737725 HAS SOUS 677321 HAS SOUPS 677321 WITH SCORE 678058.725
AT ITER 890 NEW BEST:: SOT 4439681 SOS 737725 HAS SOPS 737725 HAS SOUS 677286 HAS SOUPS 677286 WITH SCORE 678023.725
AT ITER 908 NEW BEST:: SOT 4438648 SOS 740594 HAS SOPS 740594 HAS SOUS 677015 HAS SOUPS 677015 WITH SCORE 677755.594
AT ITER 934 NEW BEST:: SOT 4438608 SOS 740514 HAS SOPS 740514 HAS SOUS 676662 HAS SOUPS 676662 WITH SCORE 677402.514
AT ITER 942 NEW BEST:: SOT 4438423 SOS 740329 HAS SOPS 740329 HAS SOUS 676477 HAS SOUPS 676477 WITH SCORE 677217.329
AT ITER 1000 NEW BEST:: SOT 4438391 SOS 740265 HAS SOPS 740265 HAS SOUS 676445 HAS SOUPS 676445 WITH SCORE 677185.265
AT ITER 1001 NEW BEST:: SOT 4438433 SOS 740085 HAS SOPS 740085 HAS SOUS 676337 HAS SOUPS 676337 WITH SCORE 677077.085
AT ITER 1002 NEW BEST:: SOT 4438195 SOS 739609 HAS SOPS 739609 HAS SOUS 675739 HAS SOUPS 675739 WITH SCORE 676478.609
AT ITER 1005 NEW BEST:: SOT 4438133 SOS 740011 HAS SOPS 740011 HAS SOUS 675529 HAS SOUPS 675529 WITH SCORE 676269.011
AT ITER 1009 NEW BEST:: SOT 4437973 SOS 739851 HAS SOPS 739851 HAS SOUS 675368 HAS SOUPS 675368 WITH SCORE 676107.851
AT ITER 1010 NEW BEST:: SOT 4438196 SOS 739669 HAS SOPS 739669 HAS SOUS 675277 HAS SOUPS 675277 WITH SCORE 676016.669
AT ITER 1018 NEW BEST:: SOT 4437897 SOS 739440 HAS SOPS 739440 HAS SOUS 674757 HAS SOUPS 674757 WITH SCORE 675496.44
AT ITER 1026 NEW BEST:: SOT 4437548 SOS 738742 HAS SOPS 738742 HAS SOUS 674059 HAS SOUPS 674059 WITH SCORE 674797.742
AT ITER 1027 NEW BEST:: SOT 4437486 SOS 738685 HAS SOPS 738685 HAS SOUS 674000 HAS SOUPS 674000 WITH SCORE 674738.685
AT ITER 1037 NEW BEST:: SOT 4437106 SOS 738564 HAS SOPS 738564 HAS SOUS 673787 HAS SOUPS 673787 WITH SCORE 674525.564
AT ITER 1049 NEW BEST:: SOT 4437194 SOS 738392 HAS SOPS 738392 HAS SOUS 673654 HAS SOUPS 673654 WITH SCORE 674392.392
AT ITER 1086 NEW BEST:: SOT 4437050 SOS 738104 HAS SOPS 738104 HAS SOUS 673366 HAS SOUPS 673366 WITH SCORE 674104.104
AT ITER 1129 NEW BEST:: SOT 4437050 SOS 738104 HAS SOPS 738104 HAS SOUS 673044 HAS SOUPS 673044 WITH SCORE 673782.104
AT ITER 1140 NEW BEST:: SOT 4436997 SOS 737998 HAS SOPS 737998 HAS SOUS 672938 HAS SOUPS 672938 WITH SCORE 673675.998
AT ITER 1165 NEW BEST:: SOT 4436754 SOS 737836 HAS SOPS 737836 HAS SOUS 672776 HAS SOUPS 672776 WITH SCORE 673513.836
AT ITER 1168 NEW BEST:: SOT 4436659 SOS 737646 HAS SOPS 737646 HAS SOUS 672681 HAS SOUPS 672681 WITH SCORE 673418.646
AT ITER 1178 NEW BEST:: SOT 4436658 SOS 737644 HAS SOPS 737644 HAS SOUS 672679 HAS SOUPS 672679 WITH SCORE 673416.644
AT ITER 1199 NEW BEST:: SOT 4436031 SOS 737226 HAS SOPS 737226 HAS SOUS 672052 HAS SOUPS 672052 WITH SCORE 672789.226
AT ITER 1220 NEW BEST:: SOT 4436031 SOS 737226 HAS SOPS 737226 HAS SOUS 672050 HAS SOUPS 672050 WITH SCORE 672787.226
AT ITER 1240 NEW BEST:: SOT 4435991 SOS 737146 HAS SOPS 737146 HAS SOUS 671990 HAS SOUPS 671990 WITH SCORE 672727.146
AT ITER 1273 NEW BEST:: SOT 4435991 SOS 736780 HAS SOPS 736780 HAS SOUS 671990 HAS SOUPS 671990 WITH SCORE 672726.78
AT ITER 1281 NEW BEST:: SOT 4435890 SOS 736578 HAS SOPS 736578 HAS SOUS 671788 HAS SOUPS 671788 WITH SCORE 672524.578
AT ITER 1284 NEW BEST:: SOT 4435820 SOS 736438 HAS SOPS 736438 HAS SOUS 671718 HAS SOUPS 671718 WITH SCORE 672454.438
AT ITER 1290 NEW BEST:: SOT 4435749 SOS 736063 HAS SOPS 736063 HAS SOUS 671576 HAS SOUPS 671576 WITH SCORE 672312.063
AT ITER 1304 NEW BEST:: SOT 4435605 SOS 735946 HAS SOPS 735946 HAS SOUS 671434 HAS SOUPS 671434 WITH SCORE 672169.946
AT ITER 1307 NEW BEST:: SOT 4435459 SOS 736039 HAS SOPS 736039 HAS SOUS 671390 HAS SOUPS 671390 WITH SCORE 672126.039
AT ITER 1320 NEW BEST:: SOT 4435560 SOS 735659 HAS SOPS 735659 HAS SOUS 671200 HAS SOUPS 671200 WITH SCORE 671935.659
AT ITER 1341 NEW BEST:: SOT 4435643 SOS 735589 HAS SOPS 735589 HAS SOUS 671142 HAS SOUPS 671142 WITH SCORE 671877.589
AT ITER 1373 NEW BEST:: SOT 4435577 SOS 735424 HAS SOPS 735424 HAS SOUS 671043 HAS SOUPS 671043 WITH SCORE 671778.424
AT ITER 1379 NEW BEST:: SOT 4435803 SOS 735646 HAS SOPS 735646 HAS SOUS 670924 HAS SOUPS 670924 WITH SCORE 671659.646
AT ITER 1410 NEW BEST:: SOT 4435816 SOS 735672 HAS SOPS 735672 HAS SOUS 670870 HAS SOUPS 670870 WITH SCORE 671605.672
AT ITER 1415 NEW BEST:: SOT 4435770 SOS 735580 HAS SOPS 735580 HAS SOUS 670824 HAS SOUPS 670824 WITH SCORE 671559.58
AT ITER 1427 NEW BEST:: SOT 4435809 SOS 734997 HAS SOPS 734997 HAS SOUS 670371 HAS SOUPS 670371 WITH SCORE 671105.997
AT ITER 1430 NEW BEST:: SOT 4435699 SOS 734989 HAS SOPS 734989 HAS SOUS 670315 HAS SOUPS 670315 WITH SCORE 671049.989
AT ITER 1432 NEW BEST:: SOT 4435483 SOS 734773 HAS SOPS 734773 HAS SOUS 670099 HAS SOUPS 670099 WITH SCORE 670833.773
AT ITER 1434 NEW BEST:: SOT 4435294 SOS 734584 HAS SOPS 734584 HAS SOUS 669910 HAS SOUPS 669910 WITH SCORE 670644.584
AT ITER 1447 NEW BEST:: SOT 4435294 SOS 734419 HAS SOPS 734419 HAS SOUS 669909 HAS SOUPS 669909 WITH SCORE 670643.419
AT ITER 1450 NEW BEST:: SOT 4435063 SOS 734340 HAS SOPS 734340 HAS SOUS 669830 HAS SOUPS 669830 WITH SCORE 670564.34
AT ITER 1453 NEW BEST:: SOT 4435063 SOS 734340 HAS SOPS 734340 HAS SOUS 669571 HAS SOUPS 669571 WITH SCORE 670305.34
AT ITER 1454 NEW BEST:: SOT 4435062 SOS 734338 HAS SOPS 734338 HAS SOUS 669569 HAS SOUPS 669569 WITH SCORE 670303.338
AT ITER 1458 NEW BEST:: SOT 4434975 SOS 734164 HAS SOPS 734164 HAS SOUS 669395 HAS SOUPS 669395 WITH SCORE 670129.164
AT ITER 1465 NEW BEST:: SOT 4434974 SOS 734101 HAS SOPS 734101 HAS SOUS 669393 HAS SOUPS 669393 WITH SCORE 670127.101
AT ITER 1469 NEW BEST:: SOT 4434974 SOS 734086 HAS SOPS 734086 HAS SOUS 669391 HAS SOUPS 669391 WITH SCORE 670125.086
AT ITER 1470 NEW BEST:: SOT 4434821 SOS 733933 HAS SOPS 733933 HAS SOUS 669237 HAS SOUPS 669237 WITH SCORE 669970.933
AT ITER 1472 NEW BEST:: SOT 4434789 SOS 733901 HAS SOPS 733901 HAS SOUS 669236 HAS SOUPS 669236 WITH SCORE 669969.901
AT ITER 1482 NEW BEST:: SOT 4434666 SOS 733655 HAS SOPS 733655 HAS SOUS 669052 HAS SOUPS 669052 WITH SCORE 669785.655
AT ITER 1499 NEW BEST:: SOT 4434651 SOS 733625 HAS SOPS 733625 HAS SOUS 669046 HAS SOUPS 669046 WITH SCORE 669779.625
AT ITER 1517 NEW BEST:: SOT 4434286 SOS 733347 HAS SOPS 733347 HAS SOUS 668729 HAS SOUPS 668729 WITH SCORE 669462.347
AT ITER 1534 NEW BEST:: SOT 4434288 SOS 733314 HAS SOPS 733314 HAS SOUS 668696 HAS SOUPS 668696 WITH SCORE 669429.314
AT ITER 1542 NEW BEST:: SOT 4434274 SOS 733286 HAS SOPS 733286 HAS SOUS 668682 HAS SOUPS 668682 WITH SCORE 669415.286
AT ITER 1550 NEW BEST:: SOT 4434274 SOS 733225 HAS SOPS 733225 HAS SOUS 668621 HAS SOUPS 668621 WITH SCORE 669354.225
AT ITER 1572 NEW BEST:: SOT 4434244 SOS 733205 HAS SOPS 733205 HAS SOUS 668591 HAS SOUPS 668591 WITH SCORE 669324.205
AT ITER 1580 NEW BEST:: SOT 4434162 SOS 733041 HAS SOPS 733041 HAS SOUS 668427 HAS SOUPS 668427 WITH SCORE 669160.041
AT ITER 1603 NEW BEST:: SOT 4433972 SOS 732851 HAS SOPS 732851 HAS SOUS 668237 HAS SOUPS 668237 WITH SCORE 668969.851
AT ITER 1606 NEW BEST:: SOT 4431918 SOS 756875 HAS SOPS 756875 HAS SOUS 667863 HAS SOUPS 667863 WITH SCORE 668619.875
AT ITER 1620 NEW BEST:: SOT 4431876 SOS 756791 HAS SOPS 756791 HAS SOUS 667779 HAS SOUPS 667779 WITH SCORE 668535.791
AT ITER 1623 NEW BEST:: SOT 4431938 SOS 756915 HAS SOPS 756915 HAS SOUS 667773 HAS SOUPS 667773 WITH SCORE 668529.915
AT ITER 1651 NEW BEST:: SOT 4431938 SOS 756763 HAS SOPS 756763 HAS SOUS 667773 HAS SOUPS 667773 WITH SCORE 668529.763
AT ITER 1703 NEW BEST:: SOT 4431805 SOS 756971 HAS SOPS 756971 HAS SOUS 667728 HAS SOUPS 667728 WITH SCORE 668484.971
AT ITER 1708 NEW BEST:: SOT 4431766 SOS 756952 HAS SOPS 756952 HAS SOUS 667670 HAS SOUPS 667670 WITH SCORE 668426.952
AT ITER 1721 NEW BEST:: SOT 4431637 SOS 756694 HAS SOPS 756694 HAS SOUS 667412 HAS SOUPS 667412 WITH SCORE 668168.694
AT ITER 1748 NEW BEST:: SOT 4431637 SOS 756694 HAS SOPS 756694 HAS SOUS 667411 HAS SOUPS 667411 WITH SCORE 668167.694
AT ITER 1769 NEW BEST:: SOT 4431564 SOS 756749 HAS SOPS 756749 HAS SOUS 667338 HAS SOUPS 667338 WITH SCORE 668094.749
AT ITER 1770 NEW BEST:: SOT 4431491 SOS 756670 HAS SOPS 756670 HAS SOUS 667279 HAS SOUPS 667279 WITH SCORE 668035.67
AT ITER 1774 NEW BEST:: SOT 4431295 SOS 756278 HAS SOPS 756278 HAS SOUS 666887 HAS SOUPS 666887 WITH SCORE 667643.278
AT ITER 1792 NEW BEST:: SOT 4431058 SOS 756324 HAS SOPS 756324 HAS SOUS 666691 HAS SOUPS 666691 WITH SCORE 667447.324
AT ITER 1806 NEW BEST:: SOT 4431058 SOS 756272 HAS SOPS 756272 HAS SOUS 666677 HAS SOUPS 666677 WITH SCORE 667433.272
AT ITER 1808 NEW BEST:: SOT 4431021 SOS 756235 HAS SOPS 756235 HAS SOUS 666660 HAS SOUPS 666660 WITH SCORE 667416.235
AT ITER 1847 NEW BEST:: SOT 4430952 SOS 755835 HAS SOPS 755835 HAS SOUS 666180 HAS SOUPS 666180 WITH SCORE 666935.835
AT ITER 1866 NEW BEST:: SOT 4430608 SOS 755319 HAS SOPS 755319 HAS SOUS 665664 HAS SOUPS 665664 WITH SCORE 666419.319
AT ITER 1875 NEW BEST:: SOT 4429180 SOS 753891 HAS SOPS 753891 HAS SOUS 664236 HAS SOUPS 664236 WITH SCORE 664989.891
AT ITER 1886 NEW BEST:: SOT 4427715 SOS 753845 HAS SOPS 753845 HAS SOUS 663180 HAS SOUPS 663180 WITH SCORE 663933.845
AT ITER 1892 NEW BEST:: SOT 4427715 SOS 753845 HAS SOPS 753845 HAS SOUS 663179 HAS SOUPS 663179 WITH SCORE 663932.845
AT ITER 1921 NEW BEST:: SOT 4427614 SOS 728686 HAS SOPS 728686 HAS SOUS 662616 HAS SOUPS 662616 WITH SCORE 663344.686
AT ITER 1930 NEW BEST:: SOT 4427603 SOS 728653 HAS SOPS 728653 HAS SOUS 662594 HAS SOUPS 662594 WITH SCORE 663322.653
AT ITER 1937 NEW BEST:: SOT 4426855 SOS 729496 HAS SOPS 729496 HAS SOUS 662373 HAS SOUPS 662373 WITH SCORE 663102.496
AT ITER 1968 NEW BEST:: SOT 4426660 SOS 729698 HAS SOPS 729698 HAS SOUS 662184 HAS SOUPS 662184 WITH SCORE 662913.698
AT ITER 1979 NEW BEST:: SOT 4426733 SOS 729844 HAS SOPS 729844 HAS SOUS 662005 HAS SOUPS 662005 WITH SCORE 662734.844
AT ITER 1993 NEW BEST:: SOT 4426632 SOS 729642 HAS SOPS 729642 HAS SOUS 661609 HAS SOUPS 661609 WITH SCORE 662338.642
AT ITER 2016 NEW BEST:: SOT 4426085 SOS 729544 HAS SOPS 729544 HAS SOUS 661216 HAS SOUPS 661216 WITH SCORE 661945.544
AT ITER 2037 NEW BEST:: SOT 4426000 SOS 729211 HAS SOPS 729211 HAS SOUS 661012 HAS SOUPS 661012 WITH SCORE 661741.211
AT ITER 2044 NEW BEST:: SOT 4425863 SOS 729074 HAS SOPS 729074 HAS SOUS 660947 HAS SOUPS 660947 WITH SCORE 661676.074
AT ITER 2057 NEW BEST:: SOT 4425863 SOS 729007 HAS SOPS 729007 HAS SOUS 660946 HAS SOUPS 660946 WITH SCORE 661675.007
AT ITER 2063 NEW BEST:: SOT 4425863 SOS 719658 HAS SOPS 719658 HAS SOUS 660946 HAS SOUPS 660946 WITH SCORE 661665.658
AT ITER 2098 NEW BEST:: SOT 4425758 SOS 719448 HAS SOPS 719448 HAS SOUS 660832 HAS SOUPS 660832 WITH SCORE 661551.448
AT ITER 2134 NEW BEST:: SOT 4425467 SOS 719961 HAS SOPS 719961 HAS SOUS 660760 HAS SOUPS 660760 WITH SCORE 661479.961
AT ITER 2195 NEW BEST:: SOT 4425467 SOS 719961 HAS SOPS 719961 HAS SOUS 660741 HAS SOUPS 660741 WITH SCORE 661460.961
AT ITER 2235 NEW BEST:: SOT 4425446 SOS 719919 HAS SOPS 719919 HAS SOUS 660719 HAS SOUPS 660719 WITH SCORE 661438.919
AT ITER 2237 NEW BEST:: SOT 4425210 SOS 719683 HAS SOPS 719683 HAS SOUS 660483 HAS SOUPS 660483 WITH SCORE 661202.683
AT ITER 2238 NEW BEST:: SOT 4425119 SOS 719628 HAS SOPS 719628 HAS SOUS 660265 HAS SOUPS 660265 WITH SCORE 660984.628
AT ITER 2248 NEW BEST:: SOT 4424984 SOS 719358 HAS SOPS 719358 HAS SOUS 659995 HAS SOUPS 659995 WITH SCORE 660714.358
AT ITER 2253 NEW BEST:: SOT 4424911 SOS 719212 HAS SOPS 719212 HAS SOUS 659943 HAS SOUPS 659943 WITH SCORE 660662.212
AT ITER 2262 NEW BEST:: SOT 4424445 SOS 718650 HAS SOPS 718650 HAS SOUS 659294 HAS SOUPS 659294 WITH SCORE 660012.65
AT ITER 2264 NEW BEST:: SOT 4424436 SOS 718632 HAS SOPS 718632 HAS SOUS 659276 HAS SOUPS 659276 WITH SCORE 659994.632
AT ITER 2272 NEW BEST:: SOT 4424394 SOS 718548 HAS SOPS 718548 HAS SOUS 659192 HAS SOUPS 659192 WITH SCORE 659910.548
AT ITER 2294 NEW BEST:: SOT 4424342 SOS 718444 HAS SOPS 718444 HAS SOUS 659088 HAS SOUPS 659088 WITH SCORE 659806.444
AT ITER 2333 NEW BEST:: SOT 4424290 SOS 718340 HAS SOPS 718340 HAS SOUS 658984 HAS SOUPS 658984 WITH SCORE 659702.34
AT ITER 2352 NEW BEST:: SOT 4423877 SOS 719646 HAS SOPS 719646 HAS SOUS 658913 HAS SOUPS 658913 WITH SCORE 659632.646
AT ITER 2359 NEW BEST:: SOT 4423684 SOS 719560 HAS SOPS 719560 HAS SOUS 658549 HAS SOUPS 658549 WITH SCORE 659268.56
AT ITER 2373 NEW BEST:: SOT 4423790 SOS 719479 HAS SOPS 719479 HAS SOUS 658316 HAS SOUPS 658316 WITH SCORE 659035.479
AT ITER 2386 NEW BEST:: SOT 4423719 SOS 719539 HAS SOPS 719539 HAS SOUS 658311 HAS SOUPS 658311 WITH SCORE 659030.539
AT ITER 2398 NEW BEST:: SOT 4423403 SOS 718907 HAS SOPS 718907 HAS SOUS 657866 HAS SOUPS 657866 WITH SCORE 658584.907
AT ITER 2401 NEW BEST:: SOT 4423403 SOS 718845 HAS SOPS 718845 HAS SOUS 657804 HAS SOUPS 657804 WITH SCORE 658522.845
AT ITER 2406 NEW BEST:: SOT 4420926 SOS 716580 HAS SOPS 716580 HAS SOUS 655646 HAS SOUPS 655646 WITH SCORE 656362.58
AT ITER 2429 NEW BEST:: SOT 4420926 SOS 716565 HAS SOPS 716565 HAS SOUS 655646 HAS SOUPS 655646 WITH SCORE 656362.565
AT ITER 2445 NEW BEST:: SOT 4420768 SOS 716249 HAS SOPS 716249 HAS SOUS 655408 HAS SOUPS 655408 WITH SCORE 656124.249
AT ITER 2462 NEW BEST:: SOT 4420768 SOS 716178 HAS SOPS 716178 HAS SOUS 655407 HAS SOUPS 655407 WITH SCORE 656123.178
AT ITER 2482 NEW BEST:: SOT 4420767 SOS 715884 HAS SOPS 715884 HAS SOUS 655405 HAS SOUPS 655405 WITH SCORE 656120.884
AT ITER 2487 NEW BEST:: SOT 4420767 SOS 715884 HAS SOPS 715884 HAS SOUS 655280 HAS SOUPS 655280 WITH SCORE 655995.884
AT ITER 2498 NEW BEST:: SOT 4420766 SOS 715882 HAS SOPS 715882 HAS SOUS 655278 HAS SOUPS 655278 WITH SCORE 655993.882
AT ITER 2515 NEW BEST:: SOT 4418607 SOS 724218 HAS SOPS 724218 HAS SOUS 653682 HAS SOUPS 653682 WITH SCORE 654406.218
AT ITER 2532 NEW BEST:: SOT 4418326 SOS 723656 HAS SOPS 723656 HAS SOUS 653120 HAS SOUPS 653120 WITH SCORE 653843.656
AT ITER 2543 NEW BEST:: SOT 4418240 SOS 723484 HAS SOPS 723484 HAS SOUS 653034 HAS SOUPS 653034 WITH SCORE 653757.484
AT ITER 2574 NEW BEST:: SOT 4418172 SOS 723348 HAS SOPS 723348 HAS SOUS 652966 HAS SOUPS 652966 WITH SCORE 653689.348
AT ITER 2580 NEW BEST:: SOT 4418172 SOS 723335 HAS SOPS 723335 HAS SOUS 652953 HAS SOUPS 652953 WITH SCORE 653676.335
AT ITER 2605 NEW BEST:: SOT 4417971 SOS 723149 HAS SOPS 723149 HAS SOUS 652761 HAS SOUPS 652761 WITH SCORE 653484.149
AT ITER 2636 NEW BEST:: SOT 4417880 SOS 722967 HAS SOPS 722967 HAS SOUS 652579 HAS SOUPS 652579 WITH SCORE 653301.967
AT ITER 2656 NEW BEST:: SOT 4417579 SOS 722659 HAS SOPS 722659 HAS SOUS 652137 HAS SOUPS 652137 WITH SCORE 652859.659
AT ITER 2717 NEW BEST:: SOT 4417449 SOS 722399 HAS SOPS 722399 HAS SOUS 651877 HAS SOUPS 651877 WITH SCORE 652599.399
AT ITER 2739 NEW BEST:: SOT 4417448 SOS 722397 HAS SOPS 722397 HAS SOUS 651875 HAS SOUPS 651875 WITH SCORE 652597.397
AT ITER 2758 NEW BEST:: SOT 4417423 SOS 722347 HAS SOPS 722347 HAS SOUS 651825 HAS SOUPS 651825 WITH SCORE 652547.347
AT ITER 2765 NEW BEST:: SOT 4417423 SOS 722347 HAS SOPS 722347 HAS SOUS 651808 HAS SOUPS 651808 WITH SCORE 652530.347
AT ITER 2779 NEW BEST:: SOT 4417422 SOS 722320 HAS SOPS 722320 HAS SOUS 651805 HAS SOUPS 651805 WITH SCORE 652527.32
AT ITER 2817 NEW BEST:: SOT 4417421 SOS 722196 HAS SOPS 722196 HAS SOUS 651776 HAS SOUPS 651776 WITH SCORE 652498.196
AT ITER 2857 NEW BEST:: SOT 4417300 SOS 721954 HAS SOPS 721954 HAS SOUS 651534 HAS SOUPS 651534 WITH SCORE 652255.954
AT ITER 2868 NEW BEST:: SOT 4417238 SOS 721830 HAS SOPS 721830 HAS SOUS 651472 HAS SOUPS 651472 WITH SCORE 652193.83
AT ITER 2871 NEW BEST:: SOT 4417195 SOS 721744 HAS SOPS 721744 HAS SOUS 651429 HAS SOUPS 651429 WITH SCORE 652150.744
AT ITER 2877 NEW BEST:: SOT 4417272 SOS 721645 HAS SOPS 721645 HAS SOUS 651368 HAS SOUPS 651368 WITH SCORE 652089.645
AT ITER 2879 NEW BEST:: SOT 4417234 SOS 721569 HAS SOPS 721569 HAS SOUS 651292 HAS SOUPS 651292 WITH SCORE 652013.569
AT ITER 2896 NEW BEST:: SOT 4417234 SOS 721569 HAS SOPS 721569 HAS SOUS 651109 HAS SOUPS 651109 WITH SCORE 651830.569
AT ITER 2903 NEW BEST:: SOT 4417234 SOS 721569 HAS SOPS 721569 HAS SOUS 651108 HAS SOUPS 651108 WITH SCORE 651829.569
AT ITER 2926 NEW BEST:: SOT 4417134 SOS 721369 HAS SOPS 721369 HAS SOUS 650908 HAS SOUPS 650908 WITH SCORE 651629.369
AT ITER 2941 NEW BEST:: SOT 4416916 SOS 721743 HAS SOPS 721743 HAS SOUS 650350 HAS SOUPS 650350 WITH SCORE 651071.743
AT ITER 2948 NEW BEST:: SOT 4416757 SOS 721425 HAS SOPS 721425 HAS SOUS 650032 HAS SOUPS 650032 WITH SCORE 650753.425
AT ITER 2972 NEW BEST:: SOT 4416735 SOS 721381 HAS SOPS 721381 HAS SOUS 650010 HAS SOUPS 650010 WITH SCORE 650731.381
AT ITER 2994 NEW BEST:: SOT 4416793 SOS 720937 HAS SOPS 720937 HAS SOUS 649975 HAS SOUPS 649975 WITH SCORE 650695.937
AT ITER 2998 NEW BEST:: SOT 4416840 SOS 720721 HAS SOPS 720721 HAS SOUS 649759 HAS SOUPS 649759 WITH SCORE 650479.721
AT ITER 3010 NEW BEST:: SOT 4416836 SOS 720713 HAS SOPS 720713 HAS SOUS 649751 HAS SOUPS 649751 WITH SCORE 650471.713
AT ITER 3042 NEW BEST:: SOT 4416812 SOS 720689 HAS SOPS 720689 HAS SOUS 649727 HAS SOUPS 649727 WITH SCORE 650447.689
AT ITER 3081 NEW BEST:: SOT 4416749 SOS 720630 HAS SOPS 720630 HAS SOUS 649668 HAS SOUPS 649668 WITH SCORE 650388.63
AT ITER 3083 NEW BEST:: SOT 4416749 SOS 719083 HAS SOPS 719083 HAS SOUS 649668 HAS SOUPS 649668 WITH SCORE 650387.083
AT ITER 3107 NEW BEST:: SOT 4416710 SOS 719156 HAS SOPS 719156 HAS SOUS 649629 HAS SOUPS 649629 WITH SCORE 650348.156
AT ITER 3126 NEW BEST:: SOT 4416551 SOS 719104 HAS SOPS 719104 HAS SOUS 649525 HAS SOUPS 649525 WITH SCORE 650244.104
AT ITER 3187 NEW BEST:: SOT 4416551 SOS 719091 HAS SOPS 719091 HAS SOUS 649512 HAS SOUPS 649512 WITH SCORE 650231.091
AT ITER 3199 NEW BEST:: SOT 4416337 SOS 718663 HAS SOPS 718663 HAS SOUS 649471 HAS SOUPS 649471 WITH SCORE 650189.663
AT ITER 3213 NEW BEST:: SOT 4416299 SOS 718587 HAS SOPS 718587 HAS SOUS 649395 HAS SOUPS 649395 WITH SCORE 650113.587
AT ITER 3218 NEW BEST:: SOT 4415273 SOS 717662 HAS SOPS 717662 HAS SOUS 648470 HAS SOUPS 648470 WITH SCORE 649187.662
AT ITER 3235 NEW BEST:: SOT 4415232 SOS 717580 HAS SOPS 717580 HAS SOUS 648427 HAS SOUPS 648427 WITH SCORE 649144.58
AT ITER 3249 NEW BEST:: SOT 4415231 SOS 717578 HAS SOPS 717578 HAS SOUS 648425 HAS SOUPS 648425 WITH SCORE 649142.578
AT ITER 3255 NEW BEST:: SOT 4415231 SOS 717476 HAS SOPS 717476 HAS SOUS 648425 HAS SOUPS 648425 WITH SCORE 649142.476
AT ITER 3319 NEW BEST:: SOT 4415037 SOS 716894 HAS SOPS 716894 HAS SOUS 647987 HAS SOUPS 647987 WITH SCORE 648703.894
AT ITER 3357 NEW BEST:: SOT 4414731 SOS 716448 HAS SOPS 716448 HAS SOUS 647552 HAS SOUPS 647552 WITH SCORE 648268.448
AT ITER 3360 NEW BEST:: SOT 4414731 SOS 716420 HAS SOPS 716420 HAS SOUS 647552 HAS SOUPS 647552 WITH SCORE 648268.42
AT ITER 3371 NEW BEST:: SOT 4414689 SOS 716336 HAS SOPS 716336 HAS SOUS 647510 HAS SOUPS 647510 WITH SCORE 648226.336
AT ITER 3380 NEW BEST:: SOT 4414649 SOS 716208 HAS SOPS 716208 HAS SOUS 647430 HAS SOUPS 647430 WITH SCORE 648146.208
AT ITER 3381 NEW BEST:: SOT 4414645 SOS 716200 HAS SOPS 716200 HAS SOUS 647422 HAS SOUPS 647422 WITH SCORE 648138.2
AT ITER 3461 NEW BEST:: SOT 4414473 SOS 715856 HAS SOPS 715856 HAS SOUS 647078 HAS SOUPS 647078 WITH SCORE 647793.856
AT ITER 3470 NEW BEST:: SOT 4414473 SOS 715856 HAS SOPS 715856 HAS SOUS 647077 HAS SOUPS 647077 WITH SCORE 647792.856
AT ITER 3545 NEW BEST:: SOT 4414455 SOS 715820 HAS SOPS 715820 HAS SOUS 647041 HAS SOUPS 647041 WITH SCORE 647756.82
AT ITER 3548 NEW BEST:: SOT 4414328 SOS 715566 HAS SOPS 715566 HAS SOUS 646914 HAS SOUPS 646914 WITH SCORE 647629.566
AT ITER 3553 NEW BEST:: SOT 4414238 SOS 715386 HAS SOPS 715386 HAS SOUS 646824 HAS SOUPS 646824 WITH SCORE 647539.386
AT ITER 3564 NEW BEST:: SOT 4414063 SOS 715384 HAS SOPS 715384 HAS SOUS 646735 HAS SOUPS 646735 WITH SCORE 647450.384
AT ITER 3589 NEW BEST:: SOT 4414063 SOS 715384 HAS SOPS 715384 HAS SOUS 646590 HAS SOUPS 646590 WITH SCORE 647305.384
AT ITER 3594 NEW BEST:: SOT 4413877 SOS 715131 HAS SOPS 715131 HAS SOUS 646285 HAS SOUPS 646285 WITH SCORE 647000.131
AT ITER 3596 NEW BEST:: SOT 4413863 SOS 715103 HAS SOPS 715103 HAS SOUS 646257 HAS SOUPS 646257 WITH SCORE 646972.103
AT ITER 3611 NEW BEST:: SOT 4413902 SOS 715181 HAS SOPS 715181 HAS SOUS 645992 HAS SOUPS 645992 WITH SCORE 646707.181
AT ITER 3642 NEW BEST:: SOT 4413683 SOS 715763 HAS SOPS 715763 HAS SOUS 645962 HAS SOUPS 645962 WITH SCORE 646677.763
AT ITER 3647 NEW BEST:: SOT 4413682 SOS 715761 HAS SOPS 715761 HAS SOUS 645960 HAS SOUPS 645960 WITH SCORE 646675.761
AT ITER 3650 NEW BEST:: SOT 4413682 SOS 715761 HAS SOPS 715761 HAS SOUS 645907 HAS SOUPS 645907 WITH SCORE 646622.761
AT ITER 3656 NEW BEST:: SOT 4413682 SOS 715761 HAS SOPS 715761 HAS SOUS 645904 HAS SOUPS 645904 WITH SCORE 646619.761
AT ITER 3663 NEW BEST:: SOT 4413682 SOS 715761 HAS SOPS 715761 HAS SOUS 645867 HAS SOUPS 645867 WITH SCORE 646582.761
AT ITER 3670 NEW BEST:: SOT 4413608 SOS 715701 HAS SOPS 715701 HAS SOUS 645807 HAS SOUPS 645807 WITH SCORE 646522.701
AT ITER 3700 NEW BEST:: SOT 4413503 SOS 715491 HAS SOPS 715491 HAS SOUS 645569 HAS SOUPS 645569 WITH SCORE 646284.491
AT ITER 3701 NEW BEST:: SOT 4413125 SOS 715765 HAS SOPS 715765 HAS SOUS 645484 HAS SOUPS 645484 WITH SCORE 646199.765
AT ITER 3710 NEW BEST:: SOT 4413009 SOS 715765 HAS SOPS 715765 HAS SOUS 645368 HAS SOUPS 645368 WITH SCORE 646083.765
AT ITER 3746 NEW BEST:: SOT 4412969 SOS 715592 HAS SOPS 715592 HAS SOUS 645287 HAS SOUPS 645287 WITH SCORE 646002.592
AT ITER 3764 NEW BEST:: SOT 4412921 SOS 715496 HAS SOPS 715496 HAS SOUS 645239 HAS SOUPS 645239 WITH SCORE 645954.496
AT ITER 3780 NEW BEST:: SOT 4412856 SOS 715366 HAS SOPS 715366 HAS SOUS 645204 HAS SOUPS 645204 WITH SCORE 645919.366
AT ITER 3782 NEW BEST:: SOT 4412779 SOS 715212 HAS SOPS 715212 HAS SOUS 645126 HAS SOUPS 645126 WITH SCORE 645841.212
AT ITER 3784 NEW BEST:: SOT 4412779 SOS 715123 HAS SOPS 715123 HAS SOUS 645037 HAS SOUPS 645037 WITH SCORE 645752.123
AT ITER 3786 NEW BEST:: SOT 4412649 SOS 714863 HAS SOPS 714863 HAS SOUS 644975 HAS SOUPS 644975 WITH SCORE 645689.863
AT ITER 3806 NEW BEST:: SOT 4412511 SOS 714587 HAS SOPS 714587 HAS SOUS 644699 HAS SOUPS 644699 WITH SCORE 645413.587
AT ITER 3818 NEW BEST:: SOT 4412457 SOS 714479 HAS SOPS 714479 HAS SOUS 644591 HAS SOUPS 644591 WITH SCORE 645305.479
AT ITER 3822 NEW BEST:: SOT 4412617 SOS 714464 HAS SOPS 714464 HAS SOUS 644472 HAS SOUPS 644472 WITH SCORE 645186.464
AT ITER 3845 NEW BEST:: SOT 4412541 SOS 714312 HAS SOPS 714312 HAS SOUS 644395 HAS SOUPS 644395 WITH SCORE 645109.312
AT ITER 3865 NEW BEST:: SOT 4412540 SOS 714310 HAS SOPS 714310 HAS SOUS 644393 HAS SOUPS 644393 WITH SCORE 645107.31
AT ITER 3876 NEW BEST:: SOT 4412540 SOS 714202 HAS SOPS 714202 HAS SOUS 644322 HAS SOUPS 644322 WITH SCORE 645036.202
AT ITER 3878 NEW BEST:: SOT 4412580 SOS 714100 HAS SOPS 714100 HAS SOUS 644220 HAS SOUPS 644220 WITH SCORE 644934.1
AT ITER 3879 NEW BEST:: SOT 4412580 SOS 713952 HAS SOPS 713952 HAS SOUS 644146 HAS SOUPS 644146 WITH SCORE 644859.952
AT ITER 3909 NEW BEST:: SOT 4412493 SOS 713865 HAS SOPS 713865 HAS SOUS 644059 HAS SOUPS 644059 WITH SCORE 644772.865
AT ITER 3942 NEW BEST:: SOT 4412464 SOS 713807 HAS SOPS 713807 HAS SOUS 644001 HAS SOUPS 644001 WITH SCORE 644714.807
AT ITER 3947 NEW BEST:: SOT 4412253 SOS 713385 HAS SOPS 713385 HAS SOUS 643579 HAS SOUPS 643579 WITH SCORE 644292.385
AT ITER 3948 NEW BEST:: SOT 4412152 SOS 713513 HAS SOPS 713513 HAS SOUS 643478 HAS SOUPS 643478 WITH SCORE 644191.513
AT ITER 3956 NEW BEST:: SOT 4412151 SOS 713508 HAS SOPS 713508 HAS SOUS 643476 HAS SOUPS 643476 WITH SCORE 644189.508
AT ITER 3958 NEW BEST:: SOT 4412150 SOS 713415 HAS SOPS 713415 HAS SOUS 643474 HAS SOUPS 643474 WITH SCORE 644187.415
AT ITER 3964 NEW BEST:: SOT 4412150 SOS 713380 HAS SOPS 713380 HAS SOUS 643474 HAS SOUPS 643474 WITH SCORE 644187.38
AT ITER 3965 NEW BEST:: SOT 4412109 SOS 713298 HAS SOPS 713298 HAS SOUS 643392 HAS SOUPS 643392 WITH SCORE 644105.298
AT ITER 3973 NEW BEST:: SOT 4411853 SOS 713126 HAS SOPS 713126 HAS SOUS 643170 HAS SOUPS 643170 WITH SCORE 643883.126
AT ITER 4004 NEW BEST:: SOT 4411587 SOS 712860 HAS SOPS 712860 HAS SOUS 642904 HAS SOUPS 642904 WITH SCORE 643616.86
AT ITER 4019 NEW BEST:: SOT 4411551 SOS 712788 HAS SOPS 712788 HAS SOUS 642686 HAS SOUPS 642686 WITH SCORE 643398.788
AT ITER 4029 NEW BEST:: SOT 4411245 SOS 712380 HAS SOPS 712380 HAS SOUS 642278 HAS SOUPS 642278 WITH SCORE 642990.38
AT ITER 4048 NEW BEST:: SOT 4411176 SOS 712242 HAS SOPS 712242 HAS SOUS 642140 HAS SOUPS 642140 WITH SCORE 642852.242
AT ITER 4059 NEW BEST:: SOT 4411163 SOS 712216 HAS SOPS 712216 HAS SOUS 642114 HAS SOUPS 642114 WITH SCORE 642826.216
AT ITER 4072 NEW BEST:: SOT 4411118 SOS 712259 HAS SOPS 712259 HAS SOUS 642112 HAS SOUPS 642112 WITH SCORE 642824.259
AT ITER 4082 NEW BEST:: SOT 4411064 SOS 712151 HAS SOPS 712151 HAS SOUS 642004 HAS SOUPS 642004 WITH SCORE 642716.151
AT ITER 4105 NEW BEST:: SOT 4410985 SOS 711993 HAS SOPS 711993 HAS SOUS 641884 HAS SOUPS 641884 WITH SCORE 642595.993
AT ITER 4135 NEW BEST:: SOT 4410773 SOS 711801 HAS SOPS 711801 HAS SOUS 641692 HAS SOUPS 641692 WITH SCORE 642403.801
AT ITER 4144 NEW BEST:: SOT 4410662 SOS 711579 HAS SOPS 711579 HAS SOUS 641470 HAS SOUPS 641470 WITH SCORE 642181.579
AT ITER 4161 NEW BEST:: SOT 4410468 SOS 711569 HAS SOPS 711569 HAS SOUS 641338 HAS SOUPS 641338 WITH SCORE 642049.569
AT ITER 4170 NEW BEST:: SOT 4410448 SOS 711131 HAS SOPS 711131 HAS SOUS 641149 HAS SOUPS 641149 WITH SCORE 641860.131
AT ITER 4204 NEW BEST:: SOT 4410422 SOS 711105 HAS SOPS 711105 HAS SOUS 641097 HAS SOUPS 641097 WITH SCORE 641808.105
AT ITER 4209 NEW BEST:: SOT 4410357 SOS 710975 HAS SOPS 710975 HAS SOUS 641032 HAS SOUPS 641032 WITH SCORE 641742.975
AT ITER 4237 NEW BEST:: SOT 4410246 SOS 710753 HAS SOPS 710753 HAS SOUS 640810 HAS SOUPS 640810 WITH SCORE 641520.753
AT ITER 4281 NEW BEST:: SOT 4410180 SOS 710621 HAS SOPS 710621 HAS SOUS 640678 HAS SOUPS 640678 WITH SCORE 641388.621
AT ITER 4285 NEW BEST:: SOT 4410180 SOS 710554 HAS SOPS 710554 HAS SOUS 640678 HAS SOUPS 640678 WITH SCORE 641388.554
AT ITER 4383 NEW BEST:: SOT 4410056 SOS 710493 HAS SOPS 710493 HAS SOUS 640617 HAS SOUPS 640617 WITH SCORE 641327.493
AT ITER 4441 NEW BEST:: SOT 4410055 SOS 710491 HAS SOPS 710491 HAS SOUS 640615 HAS SOUPS 640615 WITH SCORE 641325.491
AT ITER 4452 NEW BEST:: SOT 4409796 SOS 710112 HAS SOPS 710112 HAS SOUS 640217 HAS SOUPS 640217 WITH SCORE 640927.112
AT ITER 4461 NEW BEST:: SOT 4409787 SOS 710094 HAS SOPS 710094 HAS SOUS 640208 HAS SOUPS 640208 WITH SCORE 640918.094
AT ITER 4472 NEW BEST:: SOT 4409727 SOS 710034 HAS SOPS 710034 HAS SOUS 640148 HAS SOUPS 640148 WITH SCORE 640858.034
AT ITER 4564 NEW BEST:: SOT 4409821 SOS 710222 HAS SOPS 710222 HAS SOUS 640029 HAS SOUPS 640029 WITH SCORE 640739.222
AT ITER 4566 NEW BEST:: SOT 4409850 SOS 709997 HAS SOPS 709997 HAS SOUS 639804 HAS SOUPS 639804 WITH SCORE 640513.997
AT ITER 4573 NEW BEST:: SOT 4409744 SOS 709785 HAS SOPS 709785 HAS SOUS 639698 HAS SOUPS 639698 WITH SCORE 640407.785
AT ITER 4581 NEW BEST:: SOT 4409744 SOS 709734 HAS SOPS 709734 HAS SOUS 639647 HAS SOUPS 639647 WITH SCORE 640356.734
AT ITER 4609 NEW BEST:: SOT 4409744 SOS 709559 HAS SOPS 709559 HAS SOUS 639647 HAS SOUPS 639647 WITH SCORE 640356.559
AT ITER 4612 NEW BEST:: SOT 4409538 SOS 709381 HAS SOPS 709381 HAS SOUS 639463 HAS SOUPS 639463 WITH SCORE 640172.381
AT ITER 4652 NEW BEST:: SOT 4409310 SOS 709229 HAS SOPS 709229 HAS SOUS 639235 HAS SOUPS 639235 WITH SCORE 639944.229
AT ITER 4660 NEW BEST:: SOT 4409310 SOS 709086 HAS SOPS 709086 HAS SOUS 639235 HAS SOUPS 639235 WITH SCORE 639944.086
AT ITER 4672 NEW BEST:: SOT 4409545 SOS 708938 HAS SOPS 708938 HAS SOUS 639161 HAS SOUPS 639161 WITH SCORE 639869.938
AT ITER 4684 NEW BEST:: SOT 4409542 SOS 708932 HAS SOPS 708932 HAS SOUS 639157 HAS SOUPS 639157 WITH SCORE 639865.932
AT ITER 4697 NEW BEST:: SOT 4409477 SOS 708802 HAS SOPS 708802 HAS SOUS 639027 HAS SOUPS 639027 WITH SCORE 639735.802
AT ITER 4717 NEW BEST:: SOT 4409467 SOS 708792 HAS SOPS 708792 HAS SOUS 639022 HAS SOUPS 639022 WITH SCORE 639730.792
AT ITER 4739 NEW BEST:: SOT 4409422 SOS 708657 HAS SOPS 708657 HAS SOUS 638977 HAS SOUPS 638977 WITH SCORE 639685.657
AT ITER 4750 NEW BEST:: SOT 4409381 SOS 708575 HAS SOPS 708575 HAS SOUS 638936 HAS SOUPS 638936 WITH SCORE 639644.575
AT ITER 4756 NEW BEST:: SOT 4409223 SOS 708654 HAS SOPS 708654 HAS SOUS 638857 HAS SOUPS 638857 WITH SCORE 639565.654
AT ITER 4835 NEW BEST:: SOT 4409164 SOS 708536 HAS SOPS 708536 HAS SOUS 638739 HAS SOUPS 638739 WITH SCORE 639447.536
AT ITER 4836 NEW BEST:: SOT 4408973 SOS 708345 HAS SOPS 708345 HAS SOUS 638548 HAS SOUPS 638548 WITH SCORE 639256.345
AT ITER 4880 NEW BEST:: SOT 4408972 SOS 708331 HAS SOPS 708331 HAS SOUS 638543 HAS SOUPS 638543 WITH SCORE 639251.331
AT ITER 4909 NEW BEST:: SOT 4408972 SOS 708267 HAS SOPS 708267 HAS SOUS 638511 HAS SOUPS 638511 WITH SCORE 639219.267
AT ITER 4910 NEW BEST:: SOT 4408943 SOS 708238 HAS SOPS 708238 HAS SOUS 638509 HAS SOUPS 638509 WITH SCORE 639217.238
AT ITER 4914 NEW BEST:: SOT 4408835 SOS 707894 HAS SOPS 707894 HAS SOUS 638165 HAS SOUPS 638165 WITH SCORE 638872.894
AT ITER 4918 NEW BEST:: SOT 4408730 SOS 707684 HAS SOPS 707684 HAS SOUS 637955 HAS SOUPS 637955 WITH SCORE 638662.684
AT ITER 4931 NEW BEST:: SOT 4408730 SOS 707630 HAS SOPS 707630 HAS SOUS 637901 HAS SOUPS 637901 WITH SCORE 638608.63
AT ITER 4957 NEW BEST:: SOT 4408590 SOS 707513 HAS SOPS 707513 HAS SOUS 637784 HAS SOUPS 637784 WITH SCORE 638491.513
AT ITER 4983 NEW BEST:: SOT 4408325 SOS 707207 HAS SOPS 707207 HAS SOUS 637388 HAS SOUPS 637388 WITH SCORE 638095.207
AT ITER 5004 NEW BEST:: SOT 4408145 SOS 706847 HAS SOPS 706847 HAS SOUS 637208 HAS SOUPS 637208 WITH SCORE 637914.847
AT ITER 5031 NEW BEST:: SOT 4407571 SOS 706327 HAS SOPS 706327 HAS SOUS 636676 HAS SOUPS 636676 WITH SCORE 637382.327
AT ITER 5043 NEW BEST:: SOT 4407534 SOS 706253 HAS SOPS 706253 HAS SOUS 636602 HAS SOUPS 636602 WITH SCORE 637308.253
AT ITER 5055 NEW BEST:: SOT 4407461 SOS 706107 HAS SOPS 706107 HAS SOUS 636543 HAS SOUPS 636543 WITH SCORE 637249.107
AT ITER 5080 NEW BEST:: SOT 4407391 SOS 705967 HAS SOPS 705967 HAS SOUS 636403 HAS SOUPS 636403 WITH SCORE 637108.967
AT ITER 5088 NEW BEST:: SOT 4407380 SOS 705945 HAS SOPS 705945 HAS SOUS 636381 HAS SOUPS 636381 WITH SCORE 637086.945
AT ITER 5106 NEW BEST:: SOT 4407380 SOS 705789 HAS SOPS 705789 HAS SOUS 636381 HAS SOUPS 636381 WITH SCORE 637086.789
AT ITER 5112 NEW BEST:: SOT 4407336 SOS 705701 HAS SOPS 705701 HAS SOUS 636293 HAS SOUPS 636293 WITH SCORE 636998.701
AT ITER 5128 NEW BEST:: SOT 4407324 SOS 705677 HAS SOPS 705677 HAS SOUS 636269 HAS SOUPS 636269 WITH SCORE 636974.677
AT ITER 5149 NEW BEST:: SOT 4407157 SOS 705343 HAS SOPS 705343 HAS SOUS 635935 HAS SOUPS 635935 WITH SCORE 636640.343
AT ITER 5194 NEW BEST:: SOT 4407076 SOS 705262 HAS SOPS 705262 HAS SOUS 635854 HAS SOUPS 635854 WITH SCORE 636559.262
AT ITER 5207 NEW BEST:: SOT 4407220 SOS 705550 HAS SOPS 705550 HAS SOUS 635719 HAS SOUPS 635719 WITH SCORE 636424.55
AT ITER 5212 NEW BEST:: SOT 4407055 SOS 705220 HAS SOPS 705220 HAS SOUS 635551 HAS SOUPS 635551 WITH SCORE 636256.22
AT ITER 5245 NEW BEST:: SOT 4406956 SOS 705220 HAS SOPS 705220 HAS SOUS 635452 HAS SOUPS 635452 WITH SCORE 636157.22
AT ITER 5268 NEW BEST:: SOT 4406878 SOS 705164 HAS SOPS 705164 HAS SOUS 635374 HAS SOUPS 635374 WITH SCORE 636079.164
AT ITER 5350 NEW BEST:: SOT 4406942 SOS 704852 HAS SOPS 704852 HAS SOUS 635259 HAS SOUPS 635259 WITH SCORE 635963.852
AT ITER 5356 NEW BEST:: SOT 4406939 SOS 704548 HAS SOPS 704548 HAS SOUS 635167 HAS SOUPS 635167 WITH SCORE 635871.548
AT ITER 5402 NEW BEST:: SOT 4406824 SOS 704946 HAS SOPS 704946 HAS SOUS 635113 HAS SOUPS 635113 WITH SCORE 635817.946
AT ITER 5414 NEW BEST:: SOT 4406746 SOS 704790 HAS SOPS 704790 HAS SOUS 634957 HAS SOUPS 634957 WITH SCORE 635661.79
AT ITER 5415 NEW BEST:: SOT 4406746 SOS 704765 HAS SOPS 704765 HAS SOUS 634957 HAS SOUPS 634957 WITH SCORE 635661.765
AT ITER 5419 NEW BEST:: SOT 4406707 SOS 704687 HAS SOPS 704687 HAS SOUS 634901 HAS SOUPS 634901 WITH SCORE 635605.687
AT ITER 5423 NEW BEST:: SOT 4406579 SOS 704941 HAS SOPS 704941 HAS SOUS 634899 HAS SOUPS 634899 WITH SCORE 635603.941
AT ITER 5452 NEW BEST:: SOT 4406550 SOS 704883 HAS SOPS 704883 HAS SOUS 634841 HAS SOUPS 634841 WITH SCORE 635545.883
AT ITER 5463 NEW BEST:: SOT 4406357 SOS 704035 HAS SOPS 704035 HAS SOUS 634370 HAS SOUPS 634370 WITH SCORE 635074.035
AT ITER 5489 NEW BEST:: SOT 4406169 SOS 704073 HAS SOPS 704073 HAS SOUS 634263 HAS SOUPS 634263 WITH SCORE 634967.073
AT ITER 5505 NEW BEST:: SOT 4405803 SOS 703829 HAS SOPS 703829 HAS SOUS 633897 HAS SOUPS 633897 WITH SCORE 634600.829
AT ITER 5533 NEW BEST:: SOT 4405803 SOS 703829 HAS SOPS 703829 HAS SOUS 633691 HAS SOUPS 633691 WITH SCORE 634394.829
AT ITER 5536 NEW BEST:: SOT 4405810 SOS 703812 HAS SOPS 703812 HAS SOUS 633620 HAS SOUPS 633620 WITH SCORE 634323.812
AT ITER 5539 NEW BEST:: SOT 4405810 SOS 703812 HAS SOPS 703812 HAS SOUS 633482 HAS SOUPS 633482 WITH SCORE 634185.812
AT ITER 5544 NEW BEST:: SOT 4405810 SOS 703812 HAS SOPS 703812 HAS SOUS 633259 HAS SOUPS 633259 WITH SCORE 633962.812
AT ITER 5581 NEW BEST:: SOT 4405696 SOS 703655 HAS SOPS 703655 HAS SOUS 633102 HAS SOUPS 633102 WITH SCORE 633805.655
AT ITER 5589 NEW BEST:: SOT 4405505 SOS 703273 HAS SOPS 703273 HAS SOUS 632720 HAS SOUPS 632720 WITH SCORE 633423.273
AT ITER 5625 NEW BEST:: SOT 4405094 SOS 702755 HAS SOPS 702755 HAS SOUS 632202 HAS SOUPS 632202 WITH SCORE 632904.755
AT ITER 5655 NEW BEST:: SOT 4404819 SOS 702205 HAS SOPS 702205 HAS SOUS 631652 HAS SOUPS 631652 WITH SCORE 632354.205
AT ITER 5714 NEW BEST:: SOT 4404948 SOS 702129 HAS SOPS 702129 HAS SOUS 631576 HAS SOUPS 631576 WITH SCORE 632278.129
AT ITER 5743 NEW BEST:: SOT 4404894 SOS 701886 HAS SOPS 701886 HAS SOUS 631495 HAS SOUPS 631495 WITH SCORE 632196.886
AT ITER 5797 NEW BEST:: SOT 4404645 SOS 701708 HAS SOPS 701708 HAS SOUS 631041 HAS SOUPS 631041 WITH SCORE 631742.708
AT ITER 5824 NEW BEST:: SOT 4401395 SOS 737520 HAS SOPS 737520 HAS SOUS 628921 HAS SOUPS 628921 WITH SCORE 629658.52
AT ITER 5828 NEW BEST:: SOT 4401394 SOS 737518 HAS SOPS 737518 HAS SOUS 628919 HAS SOUPS 628919 WITH SCORE 629656.518
AT ITER 5838 NEW BEST:: SOT 4401299 SOS 737328 HAS SOPS 737328 HAS SOUS 628841 HAS SOUPS 628841 WITH SCORE 629578.328
AT ITER 5905 NEW BEST:: SOT 4401197 SOS 737124 HAS SOPS 737124 HAS SOUS 628637 HAS SOUPS 628637 WITH SCORE 629374.124
AT ITER 5924 NEW BEST:: SOT 4400682 SOS 737404 HAS SOPS 737404 HAS SOUS 628392 HAS SOUPS 628392 WITH SCORE 629129.404
AT ITER 5926 NEW BEST:: SOT 4400669 SOS 737378 HAS SOPS 737378 HAS SOUS 628370 HAS SOUPS 628370 WITH SCORE 629107.378
AT ITER 5951 NEW BEST:: SOT 4400339 SOS 736718 HAS SOPS 736718 HAS SOUS 628022 HAS SOUPS 628022 WITH SCORE 628758.718
AT ITER 5986 NEW BEST:: SOT 4400075 SOS 736190 HAS SOPS 736190 HAS SOUS 627814 HAS SOUPS 627814 WITH SCORE 628550.19
AT ITER 5992 NEW BEST:: SOT 4400073 SOS 736186 HAS SOPS 736186 HAS SOUS 627810 HAS SOUPS 627810 WITH SCORE 628546.186
AT ITER 6002 NEW BEST:: SOT 4400056 SOS 736396 HAS SOPS 736396 HAS SOUS 627793 HAS SOUPS 627793 WITH SCORE 628529.396
AT ITER 6015 NEW BEST:: SOT 4399922 SOS 736386 HAS SOPS 736386 HAS SOUS 627783 HAS SOUPS 627783 WITH SCORE 628519.386
AT ITER 6019 NEW BEST:: SOT 4399967 SOS 736386 HAS SOPS 736386 HAS SOUS 627605 HAS SOUPS 627605 WITH SCORE 628341.386
AT ITER 6080 NEW BEST:: SOT 4399865 SOS 735320 HAS SOPS 735320 HAS SOUS 626944 HAS SOUPS 626944 WITH SCORE 627679.32
AT ITER 6089 NEW BEST:: SOT 4399853 SOS 735308 HAS SOPS 735308 HAS SOUS 626932 HAS SOUPS 626932 WITH SCORE 627667.308
AT ITER 6120 NEW BEST:: SOT 4399813 SOS 735228 HAS SOPS 735228 HAS SOUS 626852 HAS SOUPS 626852 WITH SCORE 627587.228
AT ITER 6132 NEW BEST:: SOT 4399781 SOS 735244 HAS SOPS 735244 HAS SOUS 626836 HAS SOUPS 626836 WITH SCORE 627571.244
AT ITER 6157 NEW BEST:: SOT 4399472 SOS 735376 HAS SOPS 735376 HAS SOUS 626687 HAS SOUPS 626687 WITH SCORE 627422.376
AT ITER 6188 NEW BEST:: SOT 4399423 SOS 735278 HAS SOPS 735278 HAS SOUS 626638 HAS SOUPS 626638 WITH SCORE 627373.278
AT ITER 6199 NEW BEST:: SOT 4398523 SOS 733986 HAS SOPS 733986 HAS SOUS 625529 HAS SOUPS 625529 WITH SCORE 626262.986
AT ITER 6202 NEW BEST:: SOT 4398659 SOS 734788 HAS SOPS 734788 HAS SOUS 625235 HAS SOUPS 625235 WITH SCORE 625969.788
AT ITER 6209 NEW BEST:: SOT 4398701 SOS 734494 HAS SOPS 734494 HAS SOUS 625130 HAS SOUPS 625130 WITH SCORE 625864.494
AT ITER 6213 NEW BEST:: SOT 4398670 SOS 734401 HAS SOPS 734401 HAS SOUS 625068 HAS SOUPS 625068 WITH SCORE 625802.401
AT ITER 6225 NEW BEST:: SOT 4398485 SOS 734823 HAS SOPS 734823 HAS SOUS 624988 HAS SOUPS 624988 WITH SCORE 625722.823
AT ITER 6231 NEW BEST:: SOT 4398415 SOS 734683 HAS SOPS 734683 HAS SOUS 624848 HAS SOUPS 624848 WITH SCORE 625582.683
AT ITER 6271 NEW BEST:: SOT 4398356 SOS 734565 HAS SOPS 734565 HAS SOUS 624789 HAS SOUPS 624789 WITH SCORE 625523.565
AT ITER 6290 NEW BEST:: SOT 4398276 SOS 734246 HAS SOPS 734246 HAS SOUS 624629 HAS SOUPS 624629 WITH SCORE 625363.246
AT ITER 6324 NEW BEST:: SOT 4398103 SOS 734072 HAS SOPS 734072 HAS SOUS 624432 HAS SOUPS 624432 WITH SCORE 625166.072
AT ITER 6327 NEW BEST:: SOT 4398056 SOS 733978 HAS SOPS 733978 HAS SOUS 624338 HAS SOUPS 624338 WITH SCORE 625071.978
AT ITER 6329 NEW BEST:: SOT 4397931 SOS 733728 HAS SOPS 733728 HAS SOUS 624088 HAS SOUPS 624088 WITH SCORE 624821.728
AT ITER 6332 NEW BEST:: SOT 4397837 SOS 733540 HAS SOPS 733540 HAS SOUS 623711 HAS SOUPS 623711 WITH SCORE 624444.54
AT ITER 6379 NEW BEST:: SOT 4397801 SOS 733468 HAS SOPS 733468 HAS SOUS 623639 HAS SOUPS 623639 WITH SCORE 624372.468
AT ITER 6429 NEW BEST:: SOT 4397750 SOS 733366 HAS SOPS 733366 HAS SOUS 623537 HAS SOUPS 623537 WITH SCORE 624270.366
AT ITER 6431 NEW BEST:: SOT 4397742 SOS 733358 HAS SOPS 733358 HAS SOUS 623521 HAS SOUPS 623521 WITH SCORE 624254.358
AT ITER 6432 NEW BEST:: SOT 4397620 SOS 733236 HAS SOPS 733236 HAS SOUS 623399 HAS SOUPS 623399 WITH SCORE 624132.236
AT ITER 6465 NEW BEST:: SOT 4397506 SOS 733008 HAS SOPS 733008 HAS SOUS 623285 HAS SOUPS 623285 WITH SCORE 624018.008
AT ITER 6486 NEW BEST:: SOT 4397130 SOS 732256 HAS SOPS 732256 HAS SOUS 622533 HAS SOUPS 622533 WITH SCORE 623265.256
AT ITER 6489 NEW BEST:: SOT 4397078 SOS 732152 HAS SOPS 732152 HAS SOUS 622429 HAS SOUPS 622429 WITH SCORE 623161.152
AT ITER 6502 NEW BEST:: SOT 4396714 SOS 731970 HAS SOPS 731970 HAS SOUS 622247 HAS SOUPS 622247 WITH SCORE 622978.97
AT ITER 6507 NEW BEST:: SOT 4396714 SOS 731970 HAS SOPS 731970 HAS SOUS 622241 HAS SOUPS 622241 WITH SCORE 622972.97
AT ITER 6556 NEW BEST:: SOT 4396549 SOS 731131 HAS SOPS 731131 HAS SOUS 621792 HAS SOUPS 621792 WITH SCORE 622523.131
AT ITER 6561 NEW BEST:: SOT 4396512 SOS 731079 HAS SOPS 731079 HAS SOUS 621740 HAS SOUPS 621740 WITH SCORE 622471.079
AT ITER 6574 NEW BEST:: SOT 4396416 SOS 730887 HAS SOPS 730887 HAS SOUS 621711 HAS SOUPS 621711 WITH SCORE 622441.887
AT ITER 6596 NEW BEST:: SOT 4396416 SOS 730587 HAS SOPS 730587 HAS SOUS 621711 HAS SOUPS 621711 WITH SCORE 622441.587
AT ITER 6617 NEW BEST:: SOT 4396516 SOS 730529 HAS SOPS 730529 HAS SOUS 621682 HAS SOUPS 621682 WITH SCORE 622412.529
AT ITER 6642 NEW BEST:: SOT 4396516 SOS 730250 HAS SOPS 730250 HAS SOUS 621682 HAS SOUPS 621682 WITH SCORE 622412.25
AT ITER 6652 NEW BEST:: SOT 4396480 SOS 730160 HAS SOPS 730160 HAS SOUS 621628 HAS SOUPS 621628 WITH SCORE 622358.16
AT ITER 6664 NEW BEST:: SOT 4396285 SOS 730769 HAS SOPS 730769 HAS SOUS 621554 HAS SOUPS 621554 WITH SCORE 622284.769
AT ITER 6694 NEW BEST:: SOT 4396243 SOS 730685 HAS SOPS 730685 HAS SOUS 621470 HAS SOUPS 621470 WITH SCORE 622200.685
AT ITER 6734 NEW BEST:: SOT 4396243 SOS 730415 HAS SOPS 730415 HAS SOUS 621400 HAS SOUPS 621400 WITH SCORE 622130.415
AT ITER 6779 NEW BEST:: SOT 4396301 SOS 730281 HAS SOPS 730281 HAS SOUS 621016 HAS SOUPS 621016 WITH SCORE 621746.281
AT ITER 6808 NEW BEST:: SOT 4396289 SOS 730181 HAS SOPS 730181 HAS SOUS 620992 HAS SOUPS 620992 WITH SCORE 621722.181
AT ITER 6818 NEW BEST:: SOT 4396289 SOS 730181 HAS SOPS 730181 HAS SOUS 620952 HAS SOUPS 620952 WITH SCORE 621682.181
AT ITER 6830 NEW BEST:: SOT 4396161 SOS 730053 HAS SOPS 730053 HAS SOUS 620824 HAS SOUPS 620824 WITH SCORE 621554.053
AT ITER 6836 NEW BEST:: SOT 4396109 SOS 730001 HAS SOPS 730001 HAS SOUS 620772 HAS SOUPS 620772 WITH SCORE 621502.001
AT ITER 6851 NEW BEST:: SOT 4395396 SOS 730690 HAS SOPS 730690 HAS SOUS 620294 HAS SOUPS 620294 WITH SCORE 621024.69
AT ITER 6890 NEW BEST:: SOT 4395304 SOS 730506 HAS SOPS 730506 HAS SOUS 620110 HAS SOUPS 620110 WITH SCORE 620840.506
AT ITER 6930 NEW BEST:: SOT 4395118 SOS 730134 HAS SOPS 730134 HAS SOUS 619968 HAS SOUPS 619968 WITH SCORE 620698.134
AT ITER 6992 NEW BEST:: SOT 4395118 SOS 729980 HAS SOPS 729980 HAS SOUS 619968 HAS SOUPS 619968 WITH SCORE 620697.98
AT ITER 7008 NEW BEST:: SOT 4395094 SOS 729933 HAS SOPS 729933 HAS SOUS 619920 HAS SOUPS 619920 WITH SCORE 620649.933
AT ITER 7028 NEW BEST:: SOT 4395141 SOS 729683 HAS SOPS 729683 HAS SOUS 619795 HAS SOUPS 619795 WITH SCORE 620524.683
AT ITER 7048 NEW BEST:: SOT 4395121 SOS 729643 HAS SOPS 729643 HAS SOUS 619755 HAS SOUPS 619755 WITH SCORE 620484.643
AT ITER 7051 NEW BEST:: SOT 4395121 SOS 729643 HAS SOPS 729643 HAS SOUS 619673 HAS SOUPS 619673 WITH SCORE 620402.643
AT ITER 7058 NEW BEST:: SOT 4395094 SOS 729589 HAS SOPS 729589 HAS SOUS 619619 HAS SOUPS 619619 WITH SCORE 620348.589
AT ITER 7103 NEW BEST:: SOT 4395044 SOS 729539 HAS SOPS 729539 HAS SOUS 619619 HAS SOUPS 619619 WITH SCORE 620348.539
AT ITER 7116 NEW BEST:: SOT 4394940 SOS 729123 HAS SOPS 729123 HAS SOUS 619411 HAS SOUPS 619411 WITH SCORE 620140.123
AT ITER 7166 NEW BEST:: SOT 4395029 SOS 728971 HAS SOPS 728971 HAS SOUS 619085 HAS SOUPS 619085 WITH SCORE 619813.971
AT ITER 7178 NEW BEST:: SOT 4395029 SOS 728956 HAS SOPS 728956 HAS SOUS 619085 HAS SOUPS 619085 WITH SCORE 619813.956
AT ITER 7179 NEW BEST:: SOT 4394890 SOS 728678 HAS SOPS 728678 HAS SOUS 618807 HAS SOUPS 618807 WITH SCORE 619535.678
AT ITER 7182 NEW BEST:: SOT 4394852 SOS 728602 HAS SOPS 728602 HAS SOUS 618569 HAS SOUPS 618569 WITH SCORE 619297.602
AT ITER 7199 NEW BEST:: SOT 4394739 SOS 728376 HAS SOPS 728376 HAS SOUS 618452 HAS SOUPS 618452 WITH SCORE 619180.376
AT ITER 7203 NEW BEST:: SOT 4394662 SOS 728342 HAS SOPS 728342 HAS SOUS 618298 HAS SOUPS 618298 WITH SCORE 619026.342
AT ITER 7219 NEW BEST:: SOT 4394614 SOS 728246 HAS SOPS 728246 HAS SOUS 618250 HAS SOUPS 618250 WITH SCORE 618978.246
AT ITER 7251 NEW BEST:: SOT 4394588 SOS 728168 HAS SOPS 728168 HAS SOUS 618198 HAS SOUPS 618198 WITH SCORE 618926.168
AT ITER 7266 NEW BEST:: SOT 4394534 SOS 728060 HAS SOPS 728060 HAS SOUS 618147 HAS SOUPS 618147 WITH SCORE 618875.06
AT ITER 7310 NEW BEST:: SOT 4394432 SOS 727856 HAS SOPS 727856 HAS SOUS 617943 HAS SOUPS 617943 WITH SCORE 618670.856
AT ITER 7332 NEW BEST:: SOT 4394416 SOS 727824 HAS SOPS 727824 HAS SOUS 617911 HAS SOUPS 617911 WITH SCORE 618638.824
AT ITER 7359 NEW BEST:: SOT 4394343 SOS 727678 HAS SOPS 727678 HAS SOUS 617544 HAS SOUPS 617544 WITH SCORE 618271.678
AT ITER 7382 NEW BEST:: SOT 4393642 SOS 727371 HAS SOPS 727371 HAS SOUS 616887 HAS SOUPS 616887 WITH SCORE 617614.371
AT ITER 7447 NEW BEST:: SOT 4393548 SOS 727183 HAS SOPS 727183 HAS SOUS 616699 HAS SOUPS 616699 WITH SCORE 617426.183
AT ITER 7491 NEW BEST:: SOT 4393580 SOS 727247 HAS SOPS 727247 HAS SOUS 616610 HAS SOUPS 616610 WITH SCORE 617337.247
AT ITER 7496 NEW BEST:: SOT 4393286 SOS 726659 HAS SOPS 726659 HAS SOUS 616610 HAS SOUPS 616610 WITH SCORE 617336.659
AT ITER 7511 NEW BEST:: SOT 4393135 SOS 726917 HAS SOPS 726917 HAS SOUS 616515 HAS SOUPS 616515 WITH SCORE 617241.917
AT ITER 7513 NEW BEST:: SOT 4393045 SOS 726737 HAS SOPS 726737 HAS SOUS 616438 HAS SOUPS 616438 WITH SCORE 617164.737
AT ITER 7532 NEW BEST:: SOT 4393002 SOS 726588 HAS SOPS 726588 HAS SOUS 616352 HAS SOUPS 616352 WITH SCORE 617078.588
AT ITER 7555 NEW BEST:: SOT 4393002 SOS 726122 HAS SOPS 726122 HAS SOUS 616119 HAS SOUPS 616119 WITH SCORE 616845.122
AT ITER 7558 NEW BEST:: SOT 4393002 SOS 725940 HAS SOPS 725940 HAS SOUS 616119 HAS SOUPS 616119 WITH SCORE 616844.94
AT ITER 7577 NEW BEST:: SOT 4392960 SOS 725856 HAS SOPS 725856 HAS SOUS 616077 HAS SOUPS 616077 WITH SCORE 616802.856
AT ITER 7589 NEW BEST:: SOT 4393377 SOS 725787 HAS SOPS 725787 HAS SOUS 616019 HAS SOUPS 616019 WITH SCORE 616744.787
AT ITER 7615 NEW BEST:: SOT 4393291 SOS 725615 HAS SOPS 725615 HAS SOUS 615802 HAS SOUPS 615802 WITH SCORE 616527.615
AT ITER 7656 NEW BEST:: SOT 4393201 SOS 725156 HAS SOPS 725156 HAS SOUS 615602 HAS SOUPS 615602 WITH SCORE 616327.156
AT ITER 7660 NEW BEST:: SOT 4392991 SOS 724736 HAS SOPS 724736 HAS SOUS 615392 HAS SOUPS 615392 WITH SCORE 616116.736
AT ITER 7698 NEW BEST:: SOT 4392855 SOS 724464 HAS SOPS 724464 HAS SOUS 615120 HAS SOUPS 615120 WITH SCORE 615844.464
AT ITER 7701 NEW BEST:: SOT 4392790 SOS 724334 HAS SOPS 724334 HAS SOUS 615055 HAS SOUPS 615055 WITH SCORE 615779.334
AT ITER 7704 NEW BEST:: SOT 4392750 SOS 724254 HAS SOPS 724254 HAS SOUS 614975 HAS SOUPS 614975 WITH SCORE 615699.254
AT ITER 7715 NEW BEST:: SOT 4392750 SOS 724167 HAS SOPS 724167 HAS SOUS 614975 HAS SOUPS 614975 WITH SCORE 615699.167
AT ITER 7755 NEW BEST:: SOT 4392936 SOS 723643 HAS SOPS 723643 HAS SOUS 614899 HAS SOUPS 614899 WITH SCORE 615622.643
AT ITER 7781 NEW BEST:: SOT 4392935 SOS 723641 HAS SOPS 723641 HAS SOUS 614897 HAS SOUPS 614897 WITH SCORE 615620.641
AT ITER 7809 NEW BEST:: SOT 4392907 SOS 723585 HAS SOPS 723585 HAS SOUS 614841 HAS SOUPS 614841 WITH SCORE 615564.585
AT ITER 7831 NEW BEST:: SOT 4392946 SOS 723663 HAS SOPS 723663 HAS SOUS 614825 HAS SOUPS 614825 WITH SCORE 615548.663
AT ITER 7846 NEW BEST:: SOT 4392774 SOS 723460 HAS SOPS 723460 HAS SOUS 614512 HAS SOUPS 614512 WITH SCORE 615235.46
AT ITER 7869 NEW BEST:: SOT 4392759 SOS 723430 HAS SOPS 723430 HAS SOUS 614482 HAS SOUPS 614482 WITH SCORE 615205.43
AT ITER 7889 NEW BEST:: SOT 4392716 SOS 723207 HAS SOPS 723207 HAS SOUS 614314 HAS SOUPS 614314 WITH SCORE 615037.207
AT ITER 7893 NEW BEST:: SOT 4392669 SOS 723113 HAS SOPS 723113 HAS SOUS 614220 HAS SOUPS 614220 WITH SCORE 614943.113
AT ITER 7936 NEW BEST:: SOT 4392668 SOS 723111 HAS SOPS 723111 HAS SOUS 614219 HAS SOUPS 614219 WITH SCORE 614942.111
AT ITER 7952 NEW BEST:: SOT 4392466 SOS 722909 HAS SOPS 722909 HAS SOUS 614017 HAS SOUPS 614017 WITH SCORE 614739.909
AT ITER 7956 NEW BEST:: SOT 4392417 SOS 722211 HAS SOPS 722211 HAS SOUS 613668 HAS SOUPS 613668 WITH SCORE 614390.211
AT ITER 7963 NEW BEST:: SOT 4392416 SOS 722209 HAS SOPS 722209 HAS SOUS 613666 HAS SOUPS 613666 WITH SCORE 614388.209
AT ITER 7975 NEW BEST:: SOT 4392295 SOS 722579 HAS SOPS 722579 HAS SOUS 613639 HAS SOUPS 613639 WITH SCORE 614361.579
AT ITER 7998 NEW BEST:: SOT 4392295 SOS 722460 HAS SOPS 722460 HAS SOUS 613639 HAS SOUPS 613639 WITH SCORE 614361.46
AT ITER 8001 NEW BEST:: SOT 4392295 SOS 722224 HAS SOPS 722224 HAS SOUS 613580 HAS SOUPS 613580 WITH SCORE 614302.224
AT ITER 8019 NEW BEST:: SOT 4392294 SOS 722223 HAS SOPS 722223 HAS SOUS 613578 HAS SOUPS 613578 WITH SCORE 614300.223
AT ITER 8026 NEW BEST:: SOT 4392179 SOS 721993 HAS SOPS 721993 HAS SOUS 613348 HAS SOUPS 613348 WITH SCORE 614069.993
AT ITER 8034 NEW BEST:: SOT 4392133 SOS 721901 HAS SOPS 721901 HAS SOUS 613256 HAS SOUPS 613256 WITH SCORE 613977.901
AT ITER 8042 NEW BEST:: SOT 4392168 SOS 721971 HAS SOPS 721971 HAS SOUS 613136 HAS SOUPS 613136 WITH SCORE 613857.971
AT ITER 8102 NEW BEST:: SOT 4392067 SOS 721769 HAS SOPS 721769 HAS SOUS 613001 HAS SOUPS 613001 WITH SCORE 613722.769
AT ITER 8137 NEW BEST:: SOT 4391951 SOS 721537 HAS SOPS 721537 HAS SOUS 612769 HAS SOUPS 612769 WITH SCORE 613490.537
AT ITER 8144 NEW BEST:: SOT 4391784 SOS 721370 HAS SOPS 721370 HAS SOUS 612675 HAS SOUPS 612675 WITH SCORE 613396.37
AT ITER 8213 NEW BEST:: SOT 4391742 SOS 721286 HAS SOPS 721286 HAS SOUS 612591 HAS SOUPS 612591 WITH SCORE 613312.286
AT ITER 8235 NEW BEST:: SOT 4391781 SOS 721364 HAS SOPS 721364 HAS SOUS 612484 HAS SOUPS 612484 WITH SCORE 613205.364
AT ITER 8274 NEW BEST:: SOT 4391736 SOS 721364 HAS SOPS 721364 HAS SOUS 612439 HAS SOUPS 612439 WITH SCORE 613160.364
AT ITER 8287 NEW BEST:: SOT 4391582 SOS 721056 HAS SOPS 721056 HAS SOUS 612131 HAS SOUPS 612131 WITH SCORE 612852.056
AT ITER 8349 NEW BEST:: SOT 4391560 SOS 720905 HAS SOPS 720905 HAS SOUS 612086 HAS SOUPS 612086 WITH SCORE 612806.905
AT ITER 8391 NEW BEST:: SOT 4391449 SOS 720683 HAS SOPS 720683 HAS SOUS 611864 HAS SOUPS 611864 WITH SCORE 612584.683
AT ITER 8480 NEW BEST:: SOT 4391435 SOS 720655 HAS SOPS 720655 HAS SOUS 611836 HAS SOUPS 611836 WITH SCORE 612556.655
AT ITER 8493 NEW BEST:: SOT 4391381 SOS 720547 HAS SOPS 720547 HAS SOUS 611728 HAS SOUPS 611728 WITH SCORE 612448.547
AT ITER 8503 NEW BEST:: SOT 4391379 SOS 720543 HAS SOPS 720543 HAS SOUS 611724 HAS SOUPS 611724 WITH SCORE 612444.543
AT ITER 8511 NEW BEST:: SOT 4391277 SOS 720091 HAS SOPS 720091 HAS SOUS 611374 HAS SOUPS 611374 WITH SCORE 612094.091
AT ITER 8530 NEW BEST:: SOT 4391205 SOS 719947 HAS SOPS 719947 HAS SOUS 611302 HAS SOUPS 611302 WITH SCORE 612021.947
AT ITER 8532 NEW BEST:: SOT 4391164 SOS 719865 HAS SOPS 719865 HAS SOUS 611220 HAS SOUPS 611220 WITH SCORE 611939.865
AT ITER 8553 NEW BEST:: SOT 4391007 SOS 719551 HAS SOPS 719551 HAS SOUS 610890 HAS SOUPS 610890 WITH SCORE 611609.551
AT ITER 8565 NEW BEST:: SOT 4390926 SOS 718917 HAS SOPS 718917 HAS SOUS 610590 HAS SOUPS 610590 WITH SCORE 611308.917
AT ITER 8574 NEW BEST:: SOT 4390883 SOS 718663 HAS SOPS 718663 HAS SOUS 610504 HAS SOUPS 610504 WITH SCORE 611222.663
AT ITER 8610 NEW BEST:: SOT 4390736 SOS 718369 HAS SOPS 718369 HAS SOUS 610210 HAS SOUPS 610210 WITH SCORE 610928.369
AT ITER 8619 NEW BEST:: SOT 4390413 SOS 717723 HAS SOPS 717723 HAS SOUS 610181 HAS SOUPS 610181 WITH SCORE 610898.723
AT ITER 8737 NEW BEST:: SOT 4390411 SOS 717721 HAS SOPS 717721 HAS SOUS 610177 HAS SOUPS 610177 WITH SCORE 610894.721
AT ITER 8747 NEW BEST:: SOT 4390369 SOS 717637 HAS SOPS 717637 HAS SOUS 610093 HAS SOUPS 610093 WITH SCORE 610810.637
AT ITER 8753 NEW BEST:: SOT 4390119 SOS 717137 HAS SOPS 717137 HAS SOUS 609843 HAS SOUPS 609843 WITH SCORE 610560.137
AT ITER 8778 NEW BEST:: SOT 4390060 SOS 717019 HAS SOPS 717019 HAS SOUS 609769 HAS SOUPS 609769 WITH SCORE 610486.019
AT ITER 8783 NEW BEST:: SOT 4389977 SOS 717112 HAS SOPS 717112 HAS SOUS 609686 HAS SOUPS 609686 WITH SCORE 610403.112
AT ITER 8809 NEW BEST:: SOT 4389775 SOS 716708 HAS SOPS 716708 HAS SOUS 609282 HAS SOUPS 609282 WITH SCORE 609998.708
AT ITER 8824 NEW BEST:: SOT 4389617 SOS 716392 HAS SOPS 716392 HAS SOUS 609124 HAS SOUPS 609124 WITH SCORE 609840.392
AT ITER 8830 NEW BEST:: SOT 4389523 SOS 716204 HAS SOPS 716204 HAS SOUS 609030 HAS SOUPS 609030 WITH SCORE 609746.204
AT ITER 8849 NEW BEST:: SOT 4389487 SOS 716132 HAS SOPS 716132 HAS SOUS 608954 HAS SOUPS 608954 WITH SCORE 609670.132
AT ITER 8859 NEW BEST:: SOT 4389619 SOS 715750 HAS SOPS 715750 HAS SOUS 608763 HAS SOUPS 608763 WITH SCORE 609478.75
AT ITER 8877 NEW BEST:: SOT 4389388 SOS 715288 HAS SOPS 715288 HAS SOUS 608301 HAS SOUPS 608301 WITH SCORE 609016.288
AT ITER 8920 NEW BEST:: SOT 4389348 SOS 714911 HAS SOPS 714911 HAS SOUS 608112 HAS SOUPS 608112 WITH SCORE 608826.911
AT ITER 8947 NEW BEST:: SOT 4389261 SOS 714737 HAS SOPS 714737 HAS SOUS 608025 HAS SOUPS 608025 WITH SCORE 608739.737
AT ITER 8980 NEW BEST:: SOT 4389228 SOS 714671 HAS SOPS 714671 HAS SOUS 607992 HAS SOUPS 607992 WITH SCORE 608706.671
AT ITER 8988 NEW BEST:: SOT 4389016 SOS 714247 HAS SOPS 714247 HAS SOUS 607850 HAS SOUPS 607850 WITH SCORE 608564.247
AT ITER 9002 NEW BEST:: SOT 4388890 SOS 714121 HAS SOPS 714121 HAS SOUS 607848 HAS SOUPS 607848 WITH SCORE 608562.121
AT ITER 9098 NEW BEST:: SOT 4388708 SOS 714339 HAS SOPS 714339 HAS SOUS 607798 HAS SOUPS 607798 WITH SCORE 608512.339
AT ITER 9156 NEW BEST:: SOT 4388708 SOS 714339 HAS SOPS 714339 HAS SOUS 607735 HAS SOUPS 607735 WITH SCORE 608449.339
AT ITER 9171 NEW BEST:: SOT 4388677 SOS 714308 HAS SOPS 714308 HAS SOUS 607703 HAS SOUPS 607703 WITH SCORE 608417.308
AT ITER 9202 NEW BEST:: SOT 4388609 SOS 714089 HAS SOPS 714089 HAS SOUS 607565 HAS SOUPS 607565 WITH SCORE 608279.089
AT ITER 9245 NEW BEST:: SOT 4388497 SOS 713977 HAS SOPS 713977 HAS SOUS 607453 HAS SOUPS 607453 WITH SCORE 608166.977
AT ITER 9248 NEW BEST:: SOT 4388359 SOS 713701 HAS SOPS 713701 HAS SOUS 607177 HAS SOUPS 607177 WITH SCORE 607890.701
AT ITER 9254 NEW BEST:: SOT 4388152 SOS 714159 HAS SOPS 714159 HAS SOUS 607030 HAS SOUPS 607030 WITH SCORE 607744.159
AT ITER 9268 NEW BEST:: SOT 4388152 SOS 713940 HAS SOPS 713940 HAS SOUS 607030 HAS SOUPS 607030 WITH SCORE 607743.94
AT ITER 9278 NEW BEST:: SOT 4388152 SOS 713856 HAS SOPS 713856 HAS SOUS 607030 HAS SOUPS 607030 WITH SCORE 607743.856
AT ITER 9283 NEW BEST:: SOT 4388159 SOS 713486 HAS SOPS 713486 HAS SOUS 606943 HAS SOUPS 606943 WITH SCORE 607656.486
AT ITER 9391 NEW BEST:: SOT 4388112 SOS 713392 HAS SOPS 713392 HAS SOUS 606896 HAS SOUPS 606896 WITH SCORE 607609.392
AT ITER 9415 NEW BEST:: SOT 4388032 SOS 713232 HAS SOPS 713232 HAS SOUS 606816 HAS SOUPS 606816 WITH SCORE 607529.232
AT ITER 9426 NEW BEST:: SOT 4388240 SOS 713328 HAS SOPS 713328 HAS SOUS 606704 HAS SOUPS 606704 WITH SCORE 607417.328
AT ITER 9463 NEW BEST:: SOT 4388239 SOS 713326 HAS SOPS 713326 HAS SOUS 606702 HAS SOUPS 606702 WITH SCORE 607415.326
AT ITER 9471 NEW BEST:: SOT 4388229 SOS 713306 HAS SOPS 713306 HAS SOUS 606682 HAS SOUPS 606682 WITH SCORE 607395.306
AT ITER 9493 NEW BEST:: SOT 4388229 SOS 713306 HAS SOPS 713306 HAS SOUS 606654 HAS SOUPS 606654 WITH SCORE 607367.306
AT ITER 9497 NEW BEST:: SOT 4388235 SOS 713191 HAS SOPS 713191 HAS SOUS 606621 HAS SOUPS 606621 WITH SCORE 607334.191
AT ITER 9502 NEW BEST:: SOT 4388137 SOS 712995 HAS SOPS 712995 HAS SOUS 606425 HAS SOUPS 606425 WITH SCORE 607137.995
AT ITER 9508 NEW BEST:: SOT 4388137 SOS 712850 HAS SOPS 712850 HAS SOUS 606425 HAS SOUPS 606425 WITH SCORE 607137.85
AT ITER 9512 NEW BEST:: SOT 4388130 SOS 712836 HAS SOPS 712836 HAS SOUS 606411 HAS SOUPS 606411 WITH SCORE 607123.836
AT ITER 9530 NEW BEST:: SOT 4388070 SOS 712608 HAS SOPS 712608 HAS SOUS 606291 HAS SOUPS 606291 WITH SCORE 607003.608
AT ITER 9573 NEW BEST:: SOT 4387704 SOS 712425 HAS SOPS 712425 HAS SOUS 606015 HAS SOUPS 606015 WITH SCORE 606727.425
AT ITER 9582 NEW BEST:: SOT 4387704 SOS 712425 HAS SOPS 712425 HAS SOUS 605991 HAS SOUPS 605991 WITH SCORE 606703.425
AT ITER 9596 NEW BEST:: SOT 4387703 SOS 712423 HAS SOPS 712423 HAS SOUS 605989 HAS SOUPS 605989 WITH SCORE 606701.423
AT ITER 9597 NEW BEST:: SOT 4387372 SOS 711761 HAS SOPS 711761 HAS SOUS 605754 HAS SOUPS 605754 WITH SCORE 606465.761
AT ITER 9622 NEW BEST:: SOT 4387653 SOS 712323 HAS SOPS 712323 HAS SOUS 605741 HAS SOUPS 605741 WITH SCORE 606453.323
AT ITER 9624 NEW BEST:: SOT 4387746 SOS 712318 HAS SOPS 712318 HAS SOUS 605736 HAS SOUPS 605736 WITH SCORE 606448.318
AT ITER 9632 NEW BEST:: SOT 4387745 SOS 712124 HAS SOPS 712124 HAS SOUS 605734 HAS SOUPS 605734 WITH SCORE 606446.124
AT ITER 9641 NEW BEST:: SOT 4388020 SOS 711724 HAS SOPS 711724 HAS SOUS 605116 HAS SOUPS 605116 WITH SCORE 605827.724
AT ITER 9665 NEW BEST:: SOT 4388019 SOS 711722 HAS SOPS 711722 HAS SOUS 605114 HAS SOUPS 605114 WITH SCORE 605825.722
AT ITER 9689 NEW BEST:: SOT 4388000 SOS 711720 HAS SOPS 711720 HAS SOUS 605112 HAS SOUPS 605112 WITH SCORE 605823.72
AT ITER 9700 NEW BEST:: SOT 4388423 SOS 711707 HAS SOPS 711707 HAS SOUS 605099 HAS SOUPS 605099 WITH SCORE 605810.707
AT ITER 9722 NEW BEST:: SOT 4388637 SOS 711901 HAS SOPS 711901 HAS SOUS 605079 HAS SOUPS 605079 WITH SCORE 605790.901
AT ITER 9727 NEW BEST:: SOT 4388722 SOS 710775 HAS SOPS 710775 HAS SOUS 605002 HAS SOUPS 605002 WITH SCORE 605712.775
AT ITER 9737 NEW BEST:: SOT 4388711 SOS 710773 HAS SOPS 710773 HAS SOUS 605000 HAS SOUPS 605000 WITH SCORE 605710.773
AT ITER 9738 NEW BEST:: SOT 4388706 SOS 710768 HAS SOPS 710768 HAS SOUS 604995 HAS SOUPS 604995 WITH SCORE 605705.768
AT ITER 9775 NEW BEST:: SOT 4388613 SOS 710582 HAS SOPS 710582 HAS SOUS 604809 HAS SOUPS 604809 WITH SCORE 605519.582
AT ITER 9803 NEW BEST:: SOT 4388481 SOS 710450 HAS SOPS 710450 HAS SOUS 604677 HAS SOUPS 604677 WITH SCORE 605387.45
AT ITER 9819 NEW BEST:: SOT 4388429 SOS 710346 HAS SOPS 710346 HAS SOUS 604573 HAS SOUPS 604573 WITH SCORE 605283.346
AT ITER 9828 NEW BEST:: SOT 4388387 SOS 710262 HAS SOPS 710262 HAS SOUS 604489 HAS SOUPS 604489 WITH SCORE 605199.262
AT ITER 9831 NEW BEST:: SOT 4388389 SOS 710142 HAS SOPS 710142 HAS SOUS 604484 HAS SOUPS 604484 WITH SCORE 605194.142
AT ITER 9844 NEW BEST:: SOT 4388389 SOS 710264 HAS SOPS 710264 HAS SOUS 604441 HAS SOUPS 604441 WITH SCORE 605151.264
AT ITER 9862 NEW BEST:: SOT 4388342 SOS 709424 HAS SOPS 709424 HAS SOUS 604021 HAS SOUPS 604021 WITH SCORE 604730.424
AT ITER 9879 NEW BEST:: SOT 4388342 SOS 709424 HAS SOPS 709424 HAS SOUS 604002 HAS SOUPS 604002 WITH SCORE 604711.424
AT ITER 9941 NEW BEST:: SOT 4388375 SOS 709490 HAS SOPS 709490 HAS SOUS 603893 HAS SOUPS 603893 WITH SCORE 604602.49
AT ITER 9958 NEW BEST:: SOT 4387512 SOS 708364 HAS SOPS 708364 HAS SOUS 602819 HAS SOUPS 602819 WITH SCORE 603527.364
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12637552 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122992 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-303"
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-303, 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-167814483700024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-303.tgz
mv CloudReconfiguration-PT-303 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 ;