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.r299-tall-167873952800296.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 PhilosophersDyn-COL-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873952800296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 6.8K Feb 26 13:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 13:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 13:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 13:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 14:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 137K Feb 26 14:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 14:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 14:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 32K Mar 5 18:23 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 1679471870551

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=PhilosophersDyn-COL-20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 07:57:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 07:57:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 07:57:53] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 07:57:53] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 07:57:53] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 500 ms
[2023-03-22 07:57:53] [INFO ] Imported 8 HL places and 7 HL transitions for a total of 540 PT places and 17240.0 transition bindings in 15 ms.
[2023-03-22 07:57:53] [INFO ] Unfolded HLPN to a Petri net with 540 places and 17220 transitions 140780 arcs in 201 ms.
[2023-03-22 07:57:53] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 07:57:53] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 540 places, 17220 transitions and 140780 arcs took 163 ms.
Total runtime 984 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhilosophersDyn (COL), instance 20
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: 540 places, 17220 transitions, 140780 arcs.
AT ITER 0 NEW BEST:: SOT 6403913 SOS 5929132 HAS SOPS 5746502 HAS SOUS 3326264 HAS SOUPS 3316573 WITH SCORE 3322502.132
AT ITER 18 NEW BEST:: SOT 6405467 SOS 5930686 HAS SOPS 5748056 HAS SOUS 3326123 HAS SOUPS 3316432 WITH SCORE 3322362.686
AT ITER 22 NEW BEST:: SOT 6444113 SOS 5955340 HAS SOPS 5772933 HAS SOUS 3262787 HAS SOUPS 3251243 WITH SCORE 3257198.34
AT ITER 33 NEW BEST:: SOT 6439781 SOS 5951008 HAS SOPS 5768601 HAS SOUS 3259158 HAS SOUPS 3247614 WITH SCORE 3253565.008
AT ITER 35 NEW BEST:: SOT 6439273 SOS 5950500 HAS SOPS 5768063 HAS SOUS 3258650 HAS SOUPS 3247076 WITH SCORE 3253026.5
AT ITER 36 NEW BEST:: SOT 6439313 SOS 5936116 HAS SOPS 5758514 HAS SOUS 3218256 HAS SOUPS 3206944 WITH SCORE 3212880.116
AT ITER 51 NEW BEST:: SOT 6434680 SOS 5931483 HAS SOPS 5753881 HAS SOUS 3213102 HAS SOUPS 3201790 WITH SCORE 3207721.483
AT ITER 54 NEW BEST:: SOT 6434680 SOS 5931312 HAS SOPS 5746319 HAS SOUS 3210632 HAS SOUPS 3198810 WITH SCORE 3204741.312
AT ITER 59 NEW BEST:: SOT 6429602 SOS 5926154 HAS SOPS 5741241 HAS SOUS 3204107 HAS SOUPS 3192365 WITH SCORE 3198291.154
AT ITER 60 NEW BEST:: SOT 6429564 SOS 5906668 HAS SOPS 5703170 HAS SOUS 3206892 HAS SOUPS 3187340 WITH SCORE 3193246.668
AT ITER 64 NEW BEST:: SOT 6427192 SOS 5904296 HAS SOPS 5700798 HAS SOUS 3204486 HAS SOUPS 3184934 WITH SCORE 3190838.296
AT ITER 67 NEW BEST:: SOT 6456482 SOS 5914619 HAS SOPS 5718614 HAS SOUS 3186486 HAS SOUPS 3167342 WITH SCORE 3173256.619
AT ITER 68 NEW BEST:: SOT 6377821 SOS 5838245 HAS SOPS 5645972 HAS SOUS 3149727 HAS SOUPS 3134295 WITH SCORE 3140133.245
AT ITER 91 NEW BEST:: SOT 6377327 SOS 5837751 HAS SOPS 5645478 HAS SOUS 3149044 HAS SOUPS 3133612 WITH SCORE 3139449.751
AT ITER 92 NEW BEST:: SOT 6377320 SOS 5821426 HAS SOPS 5636854 HAS SOUS 3121983 HAS SOUPS 3107604 WITH SCORE 3113425.426
AT ITER 103 NEW BEST:: SOT 6377320 SOS 5813095 HAS SOPS 5622190 HAS SOUS 3119347 HAS SOUPS 3104948 WITH SCORE 3110761.095
AT ITER 108 NEW BEST:: SOT 6377395 SOS 5796671 HAS SOPS 5612091 HAS SOUS 3079413 HAS SOUPS 3065857 WITH SCORE 3071653.671
AT ITER 117 NEW BEST:: SOT 6377381 SOS 5778778 HAS SOPS 5603011 HAS SOUS 3051991 HAS SOUPS 3039387 WITH SCORE 3045165.778
AT ITER 123 NEW BEST:: SOT 6440207 SOS 5823736 HAS SOPS 5653748 HAS SOUS 3032082 HAS SOUPS 3017675 WITH SCORE 3023498.736
AT ITER 142 NEW BEST:: SOT 6440039 SOS 5823568 HAS SOPS 5653580 HAS SOUS 3031914 HAS SOUPS 3017507 WITH SCORE 3023330.568
AT ITER 164 NEW BEST:: SOT 6439347 SOS 5822876 HAS SOPS 5652888 HAS SOUS 3031204 HAS SOUPS 3016797 WITH SCORE 3022619.876
AT ITER 180 NEW BEST:: SOT 6453218 SOS 5835073 HAS SOPS 5664000 HAS SOUS 3012720 HAS SOUPS 2997228 WITH SCORE 3003063.073
AT ITER 190 NEW BEST:: SOT 6453175 SOS 5835030 HAS SOPS 5663957 HAS SOUS 3012677 HAS SOUPS 2997185 WITH SCORE 3003020.03
AT ITER 191 NEW BEST:: SOT 6452172 SOS 5832967 HAS SOPS 5661269 HAS SOUS 2982014 HAS SOUPS 2965897 WITH SCORE 2971729.967
AT ITER 192 NEW BEST:: SOT 6447936 SOS 5828731 HAS SOPS 5657033 HAS SOUS 2976458 HAS SOUPS 2960341 WITH SCORE 2966169.731
AT ITER 195 NEW BEST:: SOT 6503424 SOS 5867773 HAS SOPS 5699086 HAS SOUS 2950233 HAS SOUPS 2931438 WITH SCORE 2937305.773
AT ITER 207 NEW BEST:: SOT 6507589 SOS 5845433 HAS SOPS 5693527 HAS SOUS 2928519 HAS SOUPS 2910523 WITH SCORE 2916368.433
AT ITER 212 NEW BEST:: SOT 6501280 SOS 5839124 HAS SOPS 5687218 HAS SOUS 2921455 HAS SOUPS 2903459 WITH SCORE 2909298.124
AT ITER 214 NEW BEST:: SOT 6501119 SOS 5838963 HAS SOPS 5687057 HAS SOUS 2921197 HAS SOUPS 2903201 WITH SCORE 2909039.963
AT ITER 235 NEW BEST:: SOT 6501124 SOS 5840263 HAS SOPS 5687949 HAS SOUS 2921071 HAS SOUPS 2903028 WITH SCORE 2908868.263
AT ITER 244 NEW BEST:: SOT 6520363 SOS 5818294 HAS SOPS 5614713 HAS SOUS 2920122 HAS SOUPS 2875034 WITH SCORE 2880852.294
AT ITER 274 NEW BEST:: SOT 6501563 SOS 5800784 HAS SOPS 5597401 HAS SOUS 2907222 HAS SOUPS 2862205 WITH SCORE 2868005.784
AT ITER 276 NEW BEST:: SOT 6501563 SOS 5799106 HAS SOPS 5596686 HAS SOUS 2907181 HAS SOUPS 2862181 WITH SCORE 2867980.106
AT ITER 280 NEW BEST:: SOT 6500816 SOS 5798338 HAS SOPS 5595956 HAS SOUS 2906371 HAS SOUPS 2861409 WITH SCORE 2867207.338
AT ITER 301 NEW BEST:: SOT 6494084 SOS 5791606 HAS SOPS 5589223 HAS SOUS 2897490 HAS SOUPS 2852528 WITH SCORE 2858319.606
AT ITER 311 NEW BEST:: SOT 6492499 SOS 5789952 HAS SOPS 5587828 HAS SOUS 2896865 HAS SOUPS 2852065 WITH SCORE 2857854.952
AT ITER 319 NEW BEST:: SOT 6491328 SOS 5788781 HAS SOPS 5586657 HAS SOUS 2895628 HAS SOUPS 2850828 WITH SCORE 2856616.781
AT ITER 321 NEW BEST:: SOT 6491121 SOS 5788540 HAS SOPS 5586458 HAS SOUS 2894923 HAS SOUPS 2850165 WITH SCORE 2855953.54
AT ITER 330 NEW BEST:: SOT 6484257 SOS 5781555 HAS SOPS 5579587 HAS SOUS 2885083 HAS SOUPS 2840446 WITH SCORE 2846227.555
AT ITER 342 NEW BEST:: SOT 6479706 SOS 5777004 HAS SOPS 5575036 HAS SOUS 2880580 HAS SOUPS 2835943 WITH SCORE 2841720.004
AT ITER 364 NEW BEST:: SOT 6479123 SOS 5776421 HAS SOPS 5574437 HAS SOUS 2878196 HAS SOUPS 2833543 WITH SCORE 2839319.421
AT ITER 369 NEW BEST:: SOT 6479441 SOS 5759905 HAS SOPS 5564981 HAS SOUS 2846851 HAS SOUPS 2803397 WITH SCORE 2809156.905
AT ITER 380 NEW BEST:: SOT 6478870 SOS 5759334 HAS SOPS 5564410 HAS SOUS 2846280 HAS SOUPS 2802826 WITH SCORE 2808585.334
AT ITER 381 NEW BEST:: SOT 6483744 SOS 5761780 HAS SOPS 5567265 HAS SOUS 2825241 HAS SOUPS 2782250 WITH SCORE 2788011.78
AT ITER 407 NEW BEST:: SOT 6444108 SOS 5723252 HAS SOPS 5548456 HAS SOUS 2787264 HAS SOUPS 2759710 WITH SCORE 2765433.252
AT ITER 411 NEW BEST:: SOT 6443845 SOS 5722989 HAS SOPS 5548193 HAS SOUS 2787001 HAS SOUPS 2759447 WITH SCORE 2765169.989
AT ITER 416 NEW BEST:: SOT 6443753 SOS 5720165 HAS SOPS 5543256 HAS SOUS 2786651 HAS SOUPS 2758952 WITH SCORE 2764672.165
AT ITER 420 NEW BEST:: SOT 6443593 SOS 5720005 HAS SOPS 5543096 HAS SOUS 2786310 HAS SOUPS 2758611 WITH SCORE 2764331.005
AT ITER 437 NEW BEST:: SOT 6442380 SOS 5718733 HAS SOPS 5541883 HAS SOUS 2785327 HAS SOUPS 2757687 WITH SCORE 2763405.733
AT ITER 461 NEW BEST:: SOT 6441170 SOS 5717523 HAS SOPS 5540673 HAS SOUS 2784068 HAS SOUPS 2756428 WITH SCORE 2762145.523
AT ITER 465 NEW BEST:: SOT 6428440 SOS 5704991 HAS SOPS 5528443 HAS SOUS 2772145 HAS SOUPS 2744807 WITH SCORE 2750511.991
AT ITER 475 NEW BEST:: SOT 6428280 SOS 5704831 HAS SOPS 5528283 HAS SOUS 2771985 HAS SOUPS 2744647 WITH SCORE 2750351.831
AT ITER 476 NEW BEST:: SOT 6428237 SOS 5704788 HAS SOPS 5528240 HAS SOUS 2771801 HAS SOUPS 2744474 WITH SCORE 2750178.788
AT ITER 493 NEW BEST:: SOT 6454769 SOS 5711172 HAS SOPS 5540653 HAS SOUS 2697856 HAS SOUPS 2669979 WITH SCORE 2675690.172
AT ITER 500 NEW BEST:: SOT 6454172 SOS 5709493 HAS SOPS 5530923 HAS SOUS 2700174 HAS SOUPS 2667812 WITH SCORE 2673521.493
AT ITER 501 NEW BEST:: SOT 6479730 SOS 5732768 HAS SOPS 5552852 HAS SOUS 2673603 HAS SOUPS 2640855 WITH SCORE 2646587.768
AT ITER 533 NEW BEST:: SOT 6479948 SOS 5733020 HAS SOPS 5553069 HAS SOUS 2671932 HAS SOUPS 2639149 WITH SCORE 2644882.02
AT ITER 539 NEW BEST:: SOT 6480010 SOS 5706118 HAS SOPS 5542657 HAS SOUS 2644118 HAS SOUPS 2612498 WITH SCORE 2618204.118
AT ITER 552 NEW BEST:: SOT 6477627 SOS 5703680 HAS SOPS 5540248 HAS SOUS 2639165 HAS SOUPS 2607574 WITH SCORE 2613277.68
AT ITER 578 NEW BEST:: SOT 6474592 SOS 5700603 HAS SOPS 5537213 HAS SOUS 2635036 HAS SOUPS 2603487 WITH SCORE 2609187.603
AT ITER 580 NEW BEST:: SOT 6468486 SOS 5695098 HAS SOPS 5531695 HAS SOUS 2631230 HAS SOUPS 2599762 WITH SCORE 2605457.098
AT ITER 582 NEW BEST:: SOT 6468567 SOS 5673964 HAS SOPS 5524422 HAS SOUS 2625170 HAS SOUPS 2594117 WITH SCORE 2599790.964
AT ITER 583 NEW BEST:: SOT 6468567 SOS 5663766 HAS SOPS 5534987 HAS SOUS 2622314 HAS SOUPS 2591538 WITH SCORE 2597201.766
AT ITER 588 NEW BEST:: SOT 6468101 SOS 5663529 HAS SOPS 5534756 HAS SOUS 2621535 HAS SOUPS 2590759 WITH SCORE 2596422.529
AT ITER 599 NEW BEST:: SOT 6480283 SOS 5654840 HAS SOPS 5535945 HAS SOUS 2576756 HAS SOUPS 2547112 WITH SCORE 2552766.84
AT ITER 611 NEW BEST:: SOT 6454571 SOS 5629122 HAS SOPS 5510233 HAS SOUS 2560571 HAS SOUPS 2530933 WITH SCORE 2536562.122
AT ITER 626 NEW BEST:: SOT 6453338 SOS 5627837 HAS SOPS 5508984 HAS SOUS 2557831 HAS SOUPS 2528237 WITH SCORE 2533864.837
AT ITER 631 NEW BEST:: SOT 6452631 SOS 5627101 HAS SOPS 5508263 HAS SOUS 2556173 HAS SOUPS 2526601 WITH SCORE 2532228.101
AT ITER 642 NEW BEST:: SOT 6452444 SOS 5626881 HAS SOPS 5508037 HAS SOUS 2556052 HAS SOUPS 2526491 WITH SCORE 2532117.881
AT ITER 686 NEW BEST:: SOT 6452344 SOS 5626781 HAS SOPS 5507937 HAS SOUS 2555832 HAS SOUPS 2526286 WITH SCORE 2531912.781
AT ITER 688 NEW BEST:: SOT 6452104 SOS 5626541 HAS SOPS 5507697 HAS SOUS 2555592 HAS SOUPS 2526046 WITH SCORE 2531672.541
AT ITER 693 NEW BEST:: SOT 6451736 SOS 5626173 HAS SOPS 5507318 HAS SOUS 2554902 HAS SOUPS 2525345 WITH SCORE 2530971.173
AT ITER 726 NEW BEST:: SOT 6451736 SOS 5625570 HAS SOPS 5505151 HAS SOUS 2554706 HAS SOUPS 2525145 WITH SCORE 2530770.57
AT ITER 745 NEW BEST:: SOT 6451708 SOS 5625542 HAS SOPS 5505123 HAS SOUS 2554678 HAS SOUPS 2525117 WITH SCORE 2530742.542
AT ITER 764 NEW BEST:: SOT 6450527 SOS 5629542 HAS SOPS 5511134 HAS SOUS 2552788 HAS SOUPS 2523272 WITH SCORE 2528901.542
AT ITER 765 NEW BEST:: SOT 6464799 SOS 5636421 HAS SOPS 5516283 HAS SOUS 2548217 HAS SOUPS 2518985 WITH SCORE 2524621.421
AT ITER 771 NEW BEST:: SOT 6464799 SOS 5635110 HAS SOPS 5515331 HAS SOUS 2548143 HAS SOUPS 2518901 WITH SCORE 2524536.11
AT ITER 774 NEW BEST:: SOT 6540033 SOS 5693567 HAS SOPS 5583005 HAS SOUS 2543634 HAS SOUPS 2511745 WITH SCORE 2517438.567
AT ITER 786 NEW BEST:: SOT 6537409 SOS 5691618 HAS SOPS 5580895 HAS SOUS 2542519 HAS SOUPS 2510633 WITH SCORE 2516324.618
AT ITER 803 NEW BEST:: SOT 6534603 SOS 5688812 HAS SOPS 5578079 HAS SOUS 2537671 HAS SOUPS 2505775 WITH SCORE 2511463.812
AT ITER 806 NEW BEST:: SOT 6534603 SOS 5687578 HAS SOPS 5576233 HAS SOUS 2537570 HAS SOUPS 2505662 WITH SCORE 2511349.578
AT ITER 818 NEW BEST:: SOT 6529120 SOS 5682083 HAS SOPS 5570633 HAS SOUS 2530725 HAS SOUPS 2498856 WITH SCORE 2504538.083
AT ITER 827 NEW BEST:: SOT 6513243 SOS 5671876 HAS SOPS 5560331 HAS SOUS 2530826 HAS SOUPS 2498860 WITH SCORE 2504531.876
AT ITER 829 NEW BEST:: SOT 6513222 SOS 5671853 HAS SOPS 5560316 HAS SOUS 2530789 HAS SOUPS 2498827 WITH SCORE 2504498.853
AT ITER 834 NEW BEST:: SOT 6513359 SOS 5671990 HAS SOPS 5560453 HAS SOUS 2530729 HAS SOUPS 2498767 WITH SCORE 2504438.99
AT ITER 839 NEW BEST:: SOT 6514150 SOS 5673071 HAS SOPS 5561244 HAS SOUS 2529584 HAS SOUPS 2497457 WITH SCORE 2503130.071
AT ITER 841 NEW BEST:: SOT 6514103 SOS 5673420 HAS SOPS 5561755 HAS SOUS 2529246 HAS SOUPS 2497114 WITH SCORE 2502787.42
AT ITER 848 NEW BEST:: SOT 6513981 SOS 5673298 HAS SOPS 5561633 HAS SOUS 2529243 HAS SOUPS 2497111 WITH SCORE 2502784.298
AT ITER 859 NEW BEST:: SOT 6513988 SOS 5673305 HAS SOPS 5561640 HAS SOUS 2529228 HAS SOUPS 2497096 WITH SCORE 2502769.305
AT ITER 860 NEW BEST:: SOT 6513015 SOS 5672285 HAS SOPS 5560667 HAS SOUS 2529011 HAS SOUPS 2496926 WITH SCORE 2502598.285
AT ITER 873 NEW BEST:: SOT 6513057 SOS 5672327 HAS SOPS 5560709 HAS SOUS 2528682 HAS SOUPS 2496597 WITH SCORE 2502269.327
AT ITER 885 NEW BEST:: SOT 6512694 SOS 5671952 HAS SOPS 5560358 HAS SOUS 2528276 HAS SOUPS 2496215 WITH SCORE 2501886.952
AT ITER 887 NEW BEST:: SOT 6520961 SOS 5682284 HAS SOPS 5571559 HAS SOUS 2524283 HAS SOUPS 2493132 WITH SCORE 2498814.284
AT ITER 908 NEW BEST:: SOT 6517158 SOS 5678389 HAS SOPS 5567736 HAS SOUS 2519631 HAS SOUPS 2488562 WITH SCORE 2494240.389
AT ITER 912 NEW BEST:: SOT 6517285 SOS 5678516 HAS SOPS 5567863 HAS SOUS 2519626 HAS SOUPS 2488557 WITH SCORE 2494235.516
AT ITER 921 NEW BEST:: SOT 6516522 SOS 5671312 HAS SOPS 5561468 HAS SOUS 2519154 HAS SOUPS 2488287 WITH SCORE 2493958.312
AT ITER 922 NEW BEST:: SOT 6541329 SOS 5678571 HAS SOPS 5566556 HAS SOUS 2497399 HAS SOUPS 2465638 WITH SCORE 2471316.571
AT ITER 930 NEW BEST:: SOT 6540968 SOS 5678210 HAS SOPS 5566195 HAS SOUS 2497038 HAS SOUPS 2465277 WITH SCORE 2470955.21
AT ITER 939 NEW BEST:: SOT 6540928 SOS 5678168 HAS SOPS 5566153 HAS SOUS 2496976 HAS SOUPS 2465216 WITH SCORE 2470894.168
AT ITER 969 NEW BEST:: SOT 6540928 SOS 5678236 HAS SOPS 5566904 HAS SOUS 2496936 HAS SOUPS 2465143 WITH SCORE 2470821.236
AT ITER 971 NEW BEST:: SOT 6539797 SOS 5677050 HAS SOPS 5565773 HAS SOUS 2496528 HAS SOUPS 2464790 WITH SCORE 2470467.05
AT ITER 991 NEW BEST:: SOT 6539778 SOS 5677042 HAS SOPS 5565754 HAS SOUS 2496447 HAS SOUPS 2464698 WITH SCORE 2470375.042
AT ITER 995 NEW BEST:: SOT 6538143 SOS 5675370 HAS SOPS 5564233 HAS SOUS 2495375 HAS SOUPS 2463732 WITH SCORE 2469407.37
AT ITER 1002 NEW BEST:: SOT 6541112 SOS 5680519 HAS SOPS 5569710 HAS SOUS 2495272 HAS SOUPS 2463435 WITH SCORE 2469115.519
AT ITER 1003 NEW BEST:: SOT 6510147 SOS 5649726 HAS SOPS 5539638 HAS SOUS 2465780 HAS SOUPS 2434664 WITH SCORE 2440313.726
AT ITER 1005 NEW BEST:: SOT 6507572 SOS 5643444 HAS SOPS 5532561 HAS SOUS 2465348 HAS SOUPS 2434418 WITH SCORE 2440061.444
AT ITER 1009 NEW BEST:: SOT 6507563 SOS 5643435 HAS SOPS 5532552 HAS SOUS 2465318 HAS SOUPS 2434388 WITH SCORE 2440031.435
AT ITER 1036 NEW BEST:: SOT 6507392 SOS 5643244 HAS SOPS 5532381 HAS SOUS 2464489 HAS SOUPS 2433579 WITH SCORE 2439222.244
AT ITER 1053 NEW BEST:: SOT 6507009 SOS 5641619 HAS SOPS 5531857 HAS SOUS 2463164 HAS SOUPS 2432398 WITH SCORE 2438039.619
AT ITER 1058 NEW BEST:: SOT 6507018 SOS 5639061 HAS SOPS 5535427 HAS SOUS 2463025 HAS SOUPS 2432303 WITH SCORE 2437942.061
AT ITER 1089 NEW BEST:: SOT 6493453 SOS 5625716 HAS SOPS 5522546 HAS SOUS 2453026 HAS SOUPS 2422768 WITH SCORE 2428393.716
AT ITER 1090 NEW BEST:: SOT 6493272 SOS 5625535 HAS SOPS 5522365 HAS SOUS 2452719 HAS SOUPS 2422461 WITH SCORE 2428086.535
AT ITER 1120 NEW BEST:: SOT 6493272 SOS 5625486 HAS SOPS 5522316 HAS SOUS 2452705 HAS SOUPS 2422447 WITH SCORE 2428072.486
AT ITER 1130 NEW BEST:: SOT 6493003 SOS 5625143 HAS SOPS 5522017 HAS SOUS 2452004 HAS SOUPS 2421746 WITH SCORE 2427371.143
AT ITER 1136 NEW BEST:: SOT 6495475 SOS 5589620 HAS SOPS 5506809 HAS SOUS 2448332 HAS SOUPS 2418347 WITH SCORE 2423936.62
AT ITER 1146 NEW BEST:: SOT 6498716 SOS 5592273 HAS SOPS 5509564 HAS SOUS 2445870 HAS SOUPS 2415860 WITH SCORE 2421452.273
AT ITER 1150 NEW BEST:: SOT 6498153 SOS 5591710 HAS SOPS 5509001 HAS SOUS 2445083 HAS SOUPS 2415073 WITH SCORE 2420664.71
AT ITER 1151 NEW BEST:: SOT 6497899 SOS 5591456 HAS SOPS 5508747 HAS SOUS 2444841 HAS SOUPS 2414831 WITH SCORE 2420422.456
AT ITER 1175 NEW BEST:: SOT 6497452 SOS 5591013 HAS SOPS 5508304 HAS SOUS 2443964 HAS SOUPS 2413954 WITH SCORE 2419545.013
AT ITER 1180 NEW BEST:: SOT 6497078 SOS 5590639 HAS SOPS 5507930 HAS SOUS 2443693 HAS SOUPS 2413683 WITH SCORE 2419273.639
AT ITER 1193 NEW BEST:: SOT 6498949 SOS 5592799 HAS SOPS 5509801 HAS SOUS 2440785 HAS SOUPS 2410623 WITH SCORE 2416215.799
AT ITER 1204 NEW BEST:: SOT 6498849 SOS 5592176 HAS SOPS 5509160 HAS SOUS 2439457 HAS SOUPS 2409295 WITH SCORE 2414887.176
AT ITER 1211 NEW BEST:: SOT 6463406 SOS 5559141 HAS SOPS 5476580 HAS SOUS 2426198 HAS SOUPS 2396664 WITH SCORE 2402223.141
AT ITER 1227 NEW BEST:: SOT 6463317 SOS 5559084 HAS SOPS 5476561 HAS SOUS 2426178 HAS SOUPS 2396644 WITH SCORE 2402203.084
AT ITER 1242 NEW BEST:: SOT 6460289 SOS 5555993 HAS SOPS 5473533 HAS SOUS 2423518 HAS SOUPS 2394047 WITH SCORE 2399602.993
AT ITER 1251 NEW BEST:: SOT 6459859 SOS 5555563 HAS SOPS 5473103 HAS SOUS 2421512 HAS SOUPS 2392041 WITH SCORE 2397596.563
AT ITER 1292 NEW BEST:: SOT 6459422 SOS 5555126 HAS SOPS 5472666 HAS SOUS 2421075 HAS SOUPS 2391604 WITH SCORE 2397159.126
AT ITER 1293 NEW BEST:: SOT 6459407 SOS 5555111 HAS SOPS 5472651 HAS SOUS 2421028 HAS SOUPS 2391557 WITH SCORE 2397112.111
AT ITER 1320 NEW BEST:: SOT 6459341 SOS 5555045 HAS SOPS 5472585 HAS SOUS 2420945 HAS SOUPS 2391474 WITH SCORE 2397029.045
AT ITER 1339 NEW BEST:: SOT 6468973 SOS 5545853 HAS SOPS 5474459 HAS SOUS 2395686 HAS SOUPS 2366086 WITH SCORE 2371631.853
AT ITER 1340 NEW BEST:: SOT 6469057 SOS 5545929 HAS SOPS 5474527 HAS SOUS 2394881 HAS SOUPS 2365281 WITH SCORE 2370826.929
AT ITER 1359 NEW BEST:: SOT 6468871 SOS 5545743 HAS SOPS 5474341 HAS SOUS 2394603 HAS SOUPS 2365003 WITH SCORE 2370548.743
AT ITER 1364 NEW BEST:: SOT 6468871 SOS 5546683 HAS SOPS 5474804 HAS SOUS 2394329 HAS SOUPS 2364744 WITH SCORE 2370290.683
AT ITER 1400 NEW BEST:: SOT 6468820 SOS 5546632 HAS SOPS 5474753 HAS SOUS 2394162 HAS SOUPS 2364577 WITH SCORE 2370123.632
AT ITER 1435 NEW BEST:: SOT 6466851 SOS 5545369 HAS SOPS 5473236 HAS SOUS 2393636 HAS SOUPS 2364049 WITH SCORE 2369594.369
AT ITER 1440 NEW BEST:: SOT 6466756 SOS 5545274 HAS SOPS 5473141 HAS SOUS 2393541 HAS SOUPS 2363954 WITH SCORE 2369499.274
AT ITER 1445 NEW BEST:: SOT 6466656 SOS 5545174 HAS SOPS 5473041 HAS SOUS 2393437 HAS SOUPS 2363850 WITH SCORE 2369395.174
AT ITER 1453 NEW BEST:: SOT 6466299 SOS 5545796 HAS SOPS 5473714 HAS SOUS 2392758 HAS SOUPS 2363171 WITH SCORE 2368716.796
AT ITER 1466 NEW BEST:: SOT 6466123 SOS 5545620 HAS SOPS 5473538 HAS SOUS 2392582 HAS SOUPS 2362995 WITH SCORE 2368540.62
AT ITER 1472 NEW BEST:: SOT 6461605 SOS 5541083 HAS SOPS 5469020 HAS SOUS 2387529 HAS SOUPS 2357961 WITH SCORE 2363502.083
AT ITER 1475 NEW BEST:: SOT 6460862 SOS 5540377 HAS SOPS 5468415 HAS SOUS 2386785 HAS SOUPS 2357253 WITH SCORE 2362793.377
AT ITER 1484 NEW BEST:: SOT 6460735 SOS 5540293 HAS SOPS 5468390 HAS SOUS 2386700 HAS SOUPS 2357168 WITH SCORE 2362708.293
AT ITER 1494 NEW BEST:: SOT 6455172 SOS 5534614 HAS SOPS 5462827 HAS SOUS 2381296 HAS SOUPS 2351880 WITH SCORE 2357414.614
AT ITER 1504 NEW BEST:: SOT 6455123 SOS 5534448 HAS SOPS 5462648 HAS SOUS 2381152 HAS SOUPS 2351737 WITH SCORE 2357271.448
AT ITER 1505 NEW BEST:: SOT 6461210 SOS 5509117 HAS SOPS 5454961 HAS SOUS 2380393 HAS SOUPS 2350982 WITH SCORE 2356491.117
AT ITER 1511 NEW BEST:: SOT 6459254 SOS 5507202 HAS SOPS 5453185 HAS SOUS 2379437 HAS SOUPS 2350165 WITH SCORE 2355672.202
AT ITER 1519 NEW BEST:: SOT 6459152 SOS 5507100 HAS SOPS 5453083 HAS SOUS 2379272 HAS SOUPS 2350000 WITH SCORE 2355507.1
AT ITER 1526 NEW BEST:: SOT 6458276 SOS 5506208 HAS SOPS 5452207 HAS SOUS 2377951 HAS SOUPS 2348695 WITH SCORE 2354201.208
AT ITER 1536 NEW BEST:: SOT 6458199 SOS 5506092 HAS SOPS 5452130 HAS SOUS 2377830 HAS SOUPS 2348613 WITH SCORE 2354119.092
AT ITER 1545 NEW BEST:: SOT 6458165 SOS 5506060 HAS SOPS 5452120 HAS SOUS 2377744 HAS SOUPS 2348527 WITH SCORE 2354033.06
AT ITER 1581 NEW BEST:: SOT 6457957 SOS 5505861 HAS SOPS 5451930 HAS SOUS 2377516 HAS SOUPS 2348311 WITH SCORE 2353816.861
AT ITER 1588 NEW BEST:: SOT 6457696 SOS 5505600 HAS SOPS 5451669 HAS SOUS 2377255 HAS SOUPS 2348050 WITH SCORE 2353555.6
AT ITER 1610 NEW BEST:: SOT 6457555 SOS 5505546 HAS SOPS 5451528 HAS SOUS 2376287 HAS SOUPS 2346995 WITH SCORE 2352500.546
AT ITER 1620 NEW BEST:: SOT 6457203 SOS 5505194 HAS SOPS 5451176 HAS SOUS 2375269 HAS SOUPS 2345977 WITH SCORE 2351482.194
AT ITER 1638 NEW BEST:: SOT 6457206 SOS 5505837 HAS SOPS 5451819 HAS SOUS 2375243 HAS SOUPS 2345951 WITH SCORE 2351456.837
AT ITER 1648 NEW BEST:: SOT 6457143 SOS 5505768 HAS SOPS 5451756 HAS SOUS 2375191 HAS SOUPS 2345903 WITH SCORE 2351408.768
AT ITER 1674 NEW BEST:: SOT 6457097 SOS 5505722 HAS SOPS 5451710 HAS SOUS 2375137 HAS SOUPS 2345849 WITH SCORE 2351354.722
AT ITER 1691 NEW BEST:: SOT 6456508 SOS 5505109 HAS SOPS 5451121 HAS SOUS 2374742 HAS SOUPS 2345478 WITH SCORE 2350983.109
AT ITER 1697 NEW BEST:: SOT 6456531 SOS 5505004 HAS SOPS 5451000 HAS SOUS 2374580 HAS SOUPS 2345316 WITH SCORE 2350821.004
AT ITER 1709 NEW BEST:: SOT 6456288 SOS 5504761 HAS SOPS 5450757 HAS SOUS 2373941 HAS SOUPS 2344677 WITH SCORE 2350181.761
AT ITER 1710 NEW BEST:: SOT 6456327 SOS 5504781 HAS SOPS 5450758 HAS SOUS 2373861 HAS SOUPS 2344597 WITH SCORE 2350101.781
AT ITER 1711 NEW BEST:: SOT 6456327 SOS 5517528 HAS SOPS 5463772 HAS SOUS 2373021 HAS SOUPS 2343799 WITH SCORE 2349316.528
AT ITER 1732 NEW BEST:: SOT 6456327 SOS 5517553 HAS SOPS 5463772 HAS SOUS 2372996 HAS SOUPS 2343774 WITH SCORE 2349291.553
AT ITER 1756 NEW BEST:: SOT 6409266 SOS 5470960 HAS SOPS 5418535 HAS SOUS 2337564 HAS SOUPS 2309698 WITH SCORE 2315168.96
AT ITER 1757 NEW BEST:: SOT 6409046 SOS 5470732 HAS SOPS 5418315 HAS SOUS 2337364 HAS SOUPS 2309506 WITH SCORE 2314976.732
AT ITER 1766 NEW BEST:: SOT 6408584 SOS 5470270 HAS SOPS 5417853 HAS SOUS 2336904 HAS SOUPS 2309046 WITH SCORE 2314516.27
AT ITER 1773 NEW BEST:: SOT 6408623 SOS 5470317 HAS SOPS 5417892 HAS SOUS 2336679 HAS SOUPS 2308813 WITH SCORE 2314283.317
AT ITER 1786 NEW BEST:: SOT 6408623 SOS 5470222 HAS SOPS 5417797 HAS SOUS 2336679 HAS SOUPS 2308813 WITH SCORE 2314283.222
AT ITER 1813 NEW BEST:: SOT 6407615 SOS 5469125 HAS SOPS 5416621 HAS SOUS 2335643 HAS SOUPS 2307698 WITH SCORE 2313167.125
AT ITER 1831 NEW BEST:: SOT 6407271 SOS 5468781 HAS SOPS 5416277 HAS SOUS 2335287 HAS SOUPS 2307342 WITH SCORE 2312810.781
AT ITER 1832 NEW BEST:: SOT 6405473 SOS 5460003 HAS SOPS 5400349 HAS SOUS 2335743 HAS SOUPS 2305154 WITH SCORE 2310614.003
AT ITER 1840 NEW BEST:: SOT 6404961 SOS 5459491 HAS SOPS 5399837 HAS SOUS 2335231 HAS SOUPS 2304642 WITH SCORE 2310101.491
AT ITER 1844 NEW BEST:: SOT 6404901 SOS 5459431 HAS SOPS 5399777 HAS SOUS 2335171 HAS SOUPS 2304582 WITH SCORE 2310041.431
AT ITER 1878 NEW BEST:: SOT 6401346 SOS 5455832 HAS SOPS 5396222 HAS SOUS 2331387 HAS SOUPS 2300842 WITH SCORE 2306297.832
AT ITER 1902 NEW BEST:: SOT 6401141 SOS 5455615 HAS SOPS 5396017 HAS SOUS 2331228 HAS SOUPS 2300714 WITH SCORE 2306169.615
AT ITER 1909 NEW BEST:: SOT 6401365 SOS 5455839 HAS SOPS 5396241 HAS SOUS 2331183 HAS SOUPS 2300669 WITH SCORE 2306124.839
AT ITER 1917 NEW BEST:: SOT 6397568 SOS 5451992 HAS SOPS 5392558 HAS SOUS 2330184 HAS SOUPS 2299785 WITH SCORE 2305236.992
AT ITER 1928 NEW BEST:: SOT 6393810 SOS 5449471 HAS SOPS 5390110 HAS SOUS 2326072 HAS SOUPS 2295690 WITH SCORE 2301139.471
AT ITER 1932 NEW BEST:: SOT 6392627 SOS 5448292 HAS SOPS 5388969 HAS SOUS 2323533 HAS SOUPS 2293168 WITH SCORE 2298616.292
AT ITER 1946 NEW BEST:: SOT 6392346 SOS 5448011 HAS SOPS 5388688 HAS SOUS 2323000 HAS SOUPS 2292635 WITH SCORE 2298083.011
AT ITER 1949 NEW BEST:: SOT 6392702 SOS 5448376 HAS SOPS 5389040 HAS SOUS 2322938 HAS SOUPS 2292560 WITH SCORE 2298008.376
AT ITER 1951 NEW BEST:: SOT 6391640 SOS 5447212 HAS SOPS 5387978 HAS SOUS 2321901 HAS SOUPS 2291574 WITH SCORE 2297021.212
AT ITER 1954 NEW BEST:: SOT 6391516 SOS 5447088 HAS SOPS 5387854 HAS SOUS 2321643 HAS SOUPS 2291316 WITH SCORE 2296763.088
AT ITER 1968 NEW BEST:: SOT 6391511 SOS 5447525 HAS SOPS 5388163 HAS SOUS 2321670 HAS SOUPS 2291297 WITH SCORE 2296744.525
AT ITER 1976 NEW BEST:: SOT 6385076 SOS 5442429 HAS SOPS 5384846 HAS SOUS 2318399 HAS SOUPS 2288920 WITH SCORE 2294362.429
AT ITER 1979 NEW BEST:: SOT 6383729 SOS 5441072 HAS SOPS 5383499 HAS SOUS 2317038 HAS SOUPS 2287569 WITH SCORE 2293010.072
AT ITER 1998 NEW BEST:: SOT 6383016 SOS 5432484 HAS SOPS 5375444 HAS SOUS 2316195 HAS SOUPS 2286758 WITH SCORE 2292190.484
AT ITER 2010 NEW BEST:: SOT 6382838 SOS 5432306 HAS SOPS 5375266 HAS SOUS 2315967 HAS SOUPS 2286544 WITH SCORE 2291976.306
AT ITER 2028 NEW BEST:: SOT 6382913 SOS 5431925 HAS SOPS 5374877 HAS SOUS 2315884 HAS SOUPS 2286461 WITH SCORE 2291892.925
AT ITER 2038 NEW BEST:: SOT 6382067 SOS 5430158 HAS SOPS 5373267 HAS SOUS 2313921 HAS SOUPS 2284498 WITH SCORE 2289928.158
AT ITER 2040 NEW BEST:: SOT 6382001 SOS 5430092 HAS SOPS 5373201 HAS SOUS 2313851 HAS SOUPS 2284428 WITH SCORE 2289858.092
AT ITER 2044 NEW BEST:: SOT 6380548 SOS 5428627 HAS SOPS 5371748 HAS SOUS 2312482 HAS SOUPS 2283071 WITH SCORE 2288499.627
AT ITER 2063 NEW BEST:: SOT 6379535 SOS 5428262 HAS SOPS 5371383 HAS SOUS 2311007 HAS SOUPS 2281596 WITH SCORE 2287024.262
AT ITER 2091 NEW BEST:: SOT 6379516 SOS 5428243 HAS SOPS 5371376 HAS SOUS 2310969 HAS SOUPS 2281558 WITH SCORE 2286986.243
AT ITER 2095 NEW BEST:: SOT 6379107 SOS 5427834 HAS SOPS 5370967 HAS SOUS 2310357 HAS SOUPS 2280946 WITH SCORE 2286373.834
AT ITER 2097 NEW BEST:: SOT 6379120 SOS 5427888 HAS SOPS 5370980 HAS SOUS 2308580 HAS SOUPS 2279128 WITH SCORE 2284555.888
AT ITER 2108 NEW BEST:: SOT 6378956 SOS 5427724 HAS SOPS 5370816 HAS SOUS 2308314 HAS SOUPS 2278862 WITH SCORE 2284289.724
AT ITER 2119 NEW BEST:: SOT 6378540 SOS 5427308 HAS SOPS 5370400 HAS SOUS 2307980 HAS SOUPS 2278528 WITH SCORE 2283955.308
AT ITER 2126 NEW BEST:: SOT 6378119 SOS 5426877 HAS SOPS 5369979 HAS SOUS 2307500 HAS SOUPS 2278058 WITH SCORE 2283484.877
AT ITER 2127 NEW BEST:: SOT 6377605 SOS 5426352 HAS SOPS 5369443 HAS SOUS 2306060 HAS SOUPS 2276607 WITH SCORE 2282033.352
AT ITER 2137 NEW BEST:: SOT 6377563 SOS 5426629 HAS SOPS 5369719 HAS SOUS 2304124 HAS SOUPS 2274627 WITH SCORE 2280053.629
AT ITER 2141 NEW BEST:: SOT 6377035 SOS 5425181 HAS SOPS 5368377 HAS SOUS 2302552 HAS SOUPS 2273055 WITH SCORE 2278480.181
AT ITER 2182 NEW BEST:: SOT 6373163 SOS 5421270 HAS SOPS 5364581 HAS SOUS 2297323 HAS SOUPS 2267944 WITH SCORE 2273365.27
AT ITER 2219 NEW BEST:: SOT 6372623 SOS 5420282 HAS SOPS 5363731 HAS SOUS 2297107 HAS SOUPS 2267763 WITH SCORE 2273183.282
AT ITER 2221 NEW BEST:: SOT 6372616 SOS 5420307 HAS SOPS 5363756 HAS SOUS 2297093 HAS SOUPS 2267749 WITH SCORE 2273169.307
AT ITER 2222 NEW BEST:: SOT 6372405 SOS 5420078 HAS SOPS 5363509 HAS SOUS 2295281 HAS SOUPS 2265932 WITH SCORE 2271352.078
AT ITER 2232 NEW BEST:: SOT 6371979 SOS 5419652 HAS SOPS 5363083 HAS SOUS 2294598 HAS SOUPS 2265249 WITH SCORE 2270668.652
AT ITER 2239 NEW BEST:: SOT 6371893 SOS 5419677 HAS SOPS 5362997 HAS SOUS 2293565 HAS SOUPS 2264105 WITH SCORE 2269524.677
AT ITER 2242 NEW BEST:: SOT 6371394 SOS 5418390 HAS SOPS 5361717 HAS SOUS 2293071 HAS SOUPS 2263611 WITH SCORE 2269029.39
AT ITER 2251 NEW BEST:: SOT 6370752 SOS 5417692 HAS SOPS 5361041 HAS SOUS 2291327 HAS SOUPS 2261889 WITH SCORE 2267306.692
AT ITER 2253 NEW BEST:: SOT 6369183 SOS 5416091 HAS SOPS 5359472 HAS SOUS 2288811 HAS SOUPS 2259405 WITH SCORE 2264821.091
AT ITER 2283 NEW BEST:: SOT 6369262 SOS 5416170 HAS SOPS 5359529 HAS SOUS 2288747 HAS SOUPS 2259321 WITH SCORE 2264737.17
AT ITER 2314 NEW BEST:: SOT 6376133 SOS 5419840 HAS SOPS 5364744 HAS SOUS 2287245 HAS SOUPS 2257704 WITH SCORE 2263123.84
AT ITER 2327 NEW BEST:: SOT 6376101 SOS 5419746 HAS SOPS 5364644 HAS SOUS 2287179 HAS SOUPS 2257642 WITH SCORE 2263061.746
AT ITER 2355 NEW BEST:: SOT 6376134 SOS 5420857 HAS SOPS 5366691 HAS SOUS 2287144 HAS SOUPS 2257623 WITH SCORE 2263043.857
AT ITER 2378 NEW BEST:: SOT 6375856 SOS 5420579 HAS SOPS 5366413 HAS SOUS 2286612 HAS SOUPS 2257091 WITH SCORE 2262511.579
AT ITER 2380 NEW BEST:: SOT 6375806 SOS 5419349 HAS SOPS 5365223 HAS SOUS 2285004 HAS SOUPS 2255483 WITH SCORE 2260902.349
AT ITER 2386 NEW BEST:: SOT 6375748 SOS 5419291 HAS SOPS 5365165 HAS SOUS 2284940 HAS SOUPS 2255419 WITH SCORE 2260838.291
AT ITER 2390 NEW BEST:: SOT 6373196 SOS 5416745 HAS SOPS 5362745 HAS SOUS 2282306 HAS SOUPS 2252911 WITH SCORE 2258327.745
AT ITER 2393 NEW BEST:: SOT 6373193 SOS 5416768 HAS SOPS 5362768 HAS SOUS 2282227 HAS SOUPS 2252832 WITH SCORE 2258248.768
AT ITER 2394 NEW BEST:: SOT 6373207 SOS 5416782 HAS SOPS 5362774 HAS SOUS 2282029 HAS SOUPS 2252630 WITH SCORE 2258046.782
AT ITER 2417 NEW BEST:: SOT 6373520 SOS 5417212 HAS SOPS 5363221 HAS SOUS 2281859 HAS SOUPS 2252460 WITH SCORE 2257877.212
AT ITER 2419 NEW BEST:: SOT 6373458 SOS 5418015 HAS SOPS 5364024 HAS SOUS 2281788 HAS SOUPS 2252389 WITH SCORE 2257807.015
AT ITER 2431 NEW BEST:: SOT 6373259 SOS 5417816 HAS SOPS 5363825 HAS SOUS 2281371 HAS SOUPS 2251972 WITH SCORE 2257389.816
AT ITER 2438 NEW BEST:: SOT 6372989 SOS 5417516 HAS SOPS 5363555 HAS SOUS 2280951 HAS SOUPS 2251572 WITH SCORE 2256989.516
AT ITER 2459 NEW BEST:: SOT 6373109 SOS 5415026 HAS SOPS 5362758 HAS SOUS 2279076 HAS SOUPS 2249708 WITH SCORE 2255123.026
AT ITER 2461 NEW BEST:: SOT 6371290 SOS 5413179 HAS SOPS 5360969 HAS SOUS 2278092 HAS SOUPS 2248782 WITH SCORE 2254195.179
AT ITER 2476 NEW BEST:: SOT 6371290 SOS 5406615 HAS SOPS 5354317 HAS SOUS 2277588 HAS SOUPS 2248278 WITH SCORE 2253684.615
AT ITER 2487 NEW BEST:: SOT 6371236 SOS 5406561 HAS SOPS 5354263 HAS SOUS 2277504 HAS SOUPS 2248194 WITH SCORE 2253600.561
AT ITER 2498 NEW BEST:: SOT 6371202 SOS 5421747 HAS SOPS 5369861 HAS SOUS 2277358 HAS SOUPS 2248082 WITH SCORE 2253503.747
AT ITER 2500 NEW BEST:: SOT 6370405 SOS 5420946 HAS SOPS 5369064 HAS SOUS 2276254 HAS SOUPS 2246982 WITH SCORE 2252402.946
AT ITER 2507 NEW BEST:: SOT 6370128 SOS 5420653 HAS SOPS 5368787 HAS SOUS 2276028 HAS SOUPS 2246772 WITH SCORE 2252192.653
AT ITER 2518 NEW BEST:: SOT 6370439 SOS 5420969 HAS SOPS 5369064 HAS SOUS 2275826 HAS SOUPS 2246548 WITH SCORE 2251968.969
AT ITER 2521 NEW BEST:: SOT 6370291 SOS 5420821 HAS SOPS 5368916 HAS SOUS 2275694 HAS SOUPS 2246416 WITH SCORE 2251836.821
AT ITER 2522 NEW BEST:: SOT 6370283 SOS 5420813 HAS SOPS 5368908 HAS SOUS 2275627 HAS SOUPS 2246349 WITH SCORE 2251769.813
AT ITER 2536 NEW BEST:: SOT 6370287 SOS 5420871 HAS SOPS 5368966 HAS SOUS 2275623 HAS SOUPS 2246345 WITH SCORE 2251765.871
AT ITER 2548 NEW BEST:: SOT 6378752 SOS 5427773 HAS SOPS 5376243 HAS SOUS 2271656 HAS SOUPS 2242417 WITH SCORE 2247844.773
AT ITER 2553 NEW BEST:: SOT 6376536 SOS 5425154 HAS SOPS 5373731 HAS SOUS 2267966 HAS SOUPS 2238741 WITH SCORE 2244166.154
AT ITER 2568 NEW BEST:: SOT 6376433 SOS 5425047 HAS SOPS 5373620 HAS SOUS 2267782 HAS SOUPS 2238554 WITH SCORE 2243979.047
AT ITER 2572 NEW BEST:: SOT 6376443 SOS 5425121 HAS SOPS 5373738 HAS SOUS 2267763 HAS SOUPS 2238535 WITH SCORE 2243960.121
AT ITER 2582 NEW BEST:: SOT 6376443 SOS 5419339 HAS SOPS 5367896 HAS SOUS 2267341 HAS SOUPS 2238112 WITH SCORE 2243531.339
AT ITER 2583 NEW BEST:: SOT 6376346 SOS 5419242 HAS SOPS 5367799 HAS SOUS 2267285 HAS SOUPS 2238056 WITH SCORE 2243475.242
AT ITER 2597 NEW BEST:: SOT 6375594 SOS 5418490 HAS SOPS 5367047 HAS SOUS 2266058 HAS SOUPS 2236829 WITH SCORE 2242247.49
AT ITER 2598 NEW BEST:: SOT 6375576 SOS 5418464 HAS SOPS 5367039 HAS SOUS 2265965 HAS SOUPS 2236745 WITH SCORE 2242163.464
AT ITER 2609 NEW BEST:: SOT 6370303 SOS 5413191 HAS SOPS 5361766 HAS SOUS 2260784 HAS SOUPS 2231564 WITH SCORE 2236977.191
AT ITER 2621 NEW BEST:: SOT 6370313 SOS 5413203 HAS SOPS 5361780 HAS SOUS 2260780 HAS SOUPS 2231560 WITH SCORE 2236973.203
AT ITER 2628 NEW BEST:: SOT 6370295 SOS 5413181 HAS SOPS 5361758 HAS SOUS 2260732 HAS SOUPS 2231512 WITH SCORE 2236925.181
AT ITER 2629 NEW BEST:: SOT 6370300 SOS 5413186 HAS SOPS 5361763 HAS SOUS 2260475 HAS SOUPS 2231255 WITH SCORE 2236668.186
AT ITER 2640 NEW BEST:: SOT 6369833 SOS 5412719 HAS SOPS 5361296 HAS SOUS 2259347 HAS SOUPS 2230127 WITH SCORE 2235539.719
AT ITER 2650 NEW BEST:: SOT 6369833 SOS 5409159 HAS SOPS 5357688 HAS SOUS 2259133 HAS SOUPS 2229913 WITH SCORE 2235322.159
AT ITER 2661 NEW BEST:: SOT 6370018 SOS 5409372 HAS SOPS 5357873 HAS SOUS 2258932 HAS SOUPS 2229698 WITH SCORE 2235107.372
AT ITER 2666 NEW BEST:: SOT 6369561 SOS 5408888 HAS SOPS 5357398 HAS SOUS 2258142 HAS SOUPS 2228917 WITH SCORE 2234325.888
AT ITER 2702 NEW BEST:: SOT 6369561 SOS 5408846 HAS SOPS 5357359 HAS SOUS 2258100 HAS SOUPS 2228876 WITH SCORE 2234284.846
AT ITER 2709 NEW BEST:: SOT 6366876 SOS 5406110 HAS SOPS 5354674 HAS SOUS 2254186 HAS SOUPS 2225013 WITH SCORE 2230419.11
AT ITER 2710 NEW BEST:: SOT 6366463 SOS 5405547 HAS SOPS 5354111 HAS SOUS 2253034 HAS SOUPS 2223861 WITH SCORE 2229266.547
AT ITER 2711 NEW BEST:: SOT 6366014 SOS 5405095 HAS SOPS 5353662 HAS SOUS 2252732 HAS SOUPS 2223562 WITH SCORE 2228967.095
AT ITER 2762 NEW BEST:: SOT 6366054 SOS 5405135 HAS SOPS 5353702 HAS SOUS 2252724 HAS SOUPS 2223554 WITH SCORE 2228959.135
AT ITER 2768 NEW BEST:: SOT 6366054 SOS 5405135 HAS SOPS 5353702 HAS SOUS 2252723 HAS SOUPS 2223553 WITH SCORE 2228958.135
AT ITER 2777 NEW BEST:: SOT 6365898 SOS 5404979 HAS SOPS 5353546 HAS SOUS 2252419 HAS SOUPS 2223249 WITH SCORE 2228653.979
AT ITER 2778 NEW BEST:: SOT 6365762 SOS 5404827 HAS SOPS 5353410 HAS SOUS 2252380 HAS SOUPS 2223225 WITH SCORE 2228629.827
AT ITER 2828 NEW BEST:: SOT 6365216 SOS 5404281 HAS SOPS 5352864 HAS SOUS 2251845 HAS SOUPS 2222690 WITH SCORE 2228094.281
AT ITER 2845 NEW BEST:: SOT 6365214 SOS 5404279 HAS SOPS 5352862 HAS SOUS 2251843 HAS SOUPS 2222688 WITH SCORE 2228092.279
AT ITER 2847 NEW BEST:: SOT 6365214 SOS 5403545 HAS SOPS 5352100 HAS SOUS 2251804 HAS SOUPS 2222649 WITH SCORE 2228052.545
AT ITER 2851 NEW BEST:: SOT 6365295 SOS 5402505 HAS SOPS 5351085 HAS SOUS 2251785 HAS SOUPS 2222630 WITH SCORE 2228032.505
AT ITER 2853 NEW BEST:: SOT 6364785 SOS 5401974 HAS SOPS 5350575 HAS SOUS 2251194 HAS SOUPS 2222060 WITH SCORE 2227461.974
AT ITER 2865 NEW BEST:: SOT 6364686 SOS 5401875 HAS SOPS 5350476 HAS SOUS 2251096 HAS SOUPS 2221962 WITH SCORE 2227363.875
AT ITER 2870 NEW BEST:: SOT 6364310 SOS 5400655 HAS SOPS 5349280 HAS SOUS 2251097 HAS SOUPS 2221963 WITH SCORE 2227363.655
AT ITER 2871 NEW BEST:: SOT 6364310 SOS 5397255 HAS SOPS 5346316 HAS SOUS 2250777 HAS SOUPS 2221646 WITH SCORE 2227043.255
AT ITER 2875 NEW BEST:: SOT 6372327 SOS 5404692 HAS SOPS 5355821 HAS SOUS 2246740 HAS SOUPS 2219503 WITH SCORE 2224907.692
AT ITER 2888 NEW BEST:: SOT 6372341 SOS 5404714 HAS SOPS 5355835 HAS SOUS 2246518 HAS SOUPS 2219273 WITH SCORE 2224677.714
AT ITER 2920 NEW BEST:: SOT 6371785 SOS 5404158 HAS SOPS 5355279 HAS SOUS 2245826 HAS SOUPS 2218581 WITH SCORE 2223985.158
AT ITER 2921 NEW BEST:: SOT 6371785 SOS 5404168 HAS SOPS 5355283 HAS SOUS 2245812 HAS SOUPS 2218567 WITH SCORE 2223971.168
AT ITER 2957 NEW BEST:: SOT 6371786 SOS 5404207 HAS SOPS 5355322 HAS SOUS 2245577 HAS SOUPS 2218332 WITH SCORE 2223736.207
AT ITER 2960 NEW BEST:: SOT 6372428 SOS 5404847 HAS SOPS 5354124 HAS SOUS 2246173 HAS SOUPS 2217266 WITH SCORE 2222670.847
AT ITER 2975 NEW BEST:: SOT 6372290 SOS 5404615 HAS SOPS 5353860 HAS SOUS 2244906 HAS SOUPS 2215972 WITH SCORE 2221376.615
AT ITER 3009 NEW BEST:: SOT 6369462 SOS 5402135 HAS SOPS 5351288 HAS SOUS 2242144 HAS SOUPS 2213303 WITH SCORE 2218705.135
AT ITER 3016 NEW BEST:: SOT 6369704 SOS 5402422 HAS SOPS 5351560 HAS SOUS 2242146 HAS SOUPS 2213290 WITH SCORE 2218692.422
AT ITER 3017 NEW BEST:: SOT 6368742 SOS 5401460 HAS SOPS 5350598 HAS SOUS 2240909 HAS SOUPS 2212053 WITH SCORE 2217454.46
AT ITER 3030 NEW BEST:: SOT 6368724 SOS 5401095 HAS SOPS 5350244 HAS SOUS 2240673 HAS SOUPS 2211817 WITH SCORE 2217218.095
AT ITER 3048 NEW BEST:: SOT 6368724 SOS 5399907 HAS SOPS 5349128 HAS SOUS 2240661 HAS SOUPS 2211817 WITH SCORE 2217216.907
AT ITER 3050 NEW BEST:: SOT 6368828 SOS 5399083 HAS SOPS 5348304 HAS SOUS 2240284 HAS SOUPS 2211440 WITH SCORE 2216839.083
AT ITER 3075 NEW BEST:: SOT 6368870 SOS 5399125 HAS SOPS 5348346 HAS SOUS 2240227 HAS SOUPS 2211383 WITH SCORE 2216782.125
AT ITER 3076 NEW BEST:: SOT 6368710 SOS 5398965 HAS SOPS 5348186 HAS SOUS 2240067 HAS SOUPS 2211223 WITH SCORE 2216621.965
AT ITER 3105 NEW BEST:: SOT 6368639 SOS 5402195 HAS SOPS 5351231 HAS SOUS 2240046 HAS SOUPS 2211202 WITH SCORE 2216604.195
AT ITER 3111 NEW BEST:: SOT 6368624 SOS 5402173 HAS SOPS 5351202 HAS SOUS 2240016 HAS SOUPS 2211172 WITH SCORE 2216574.173
AT ITER 3118 NEW BEST:: SOT 6369349 SOS 5402869 HAS SOPS 5351857 HAS SOUS 2238569 HAS SOUPS 2209696 WITH SCORE 2215098.869
AT ITER 3141 NEW BEST:: SOT 6369349 SOS 5406677 HAS SOPS 5355723 HAS SOUS 2237850 HAS SOUPS 2209003 WITH SCORE 2214409.677
AT ITER 3159 NEW BEST:: SOT 6369466 SOS 5406785 HAS SOPS 5355840 HAS SOUS 2237611 HAS SOUPS 2208773 WITH SCORE 2214179.785
AT ITER 3164 NEW BEST:: SOT 6369186 SOS 5406505 HAS SOPS 5355560 HAS SOUS 2237179 HAS SOUPS 2208341 WITH SCORE 2213747.505
AT ITER 3169 NEW BEST:: SOT 6369068 SOS 5406590 HAS SOPS 5355682 HAS SOUS 2237019 HAS SOUPS 2208181 WITH SCORE 2213587.59
AT ITER 3206 NEW BEST:: SOT 6369020 SOS 5406526 HAS SOPS 5355634 HAS SOUS 2236933 HAS SOUPS 2208103 WITH SCORE 2213509.526
AT ITER 3215 NEW BEST:: SOT 6369018 SOS 5406524 HAS SOPS 5355558 HAS SOUS 2235388 HAS SOUPS 2206521 WITH SCORE 2211927.524
AT ITER 3236 NEW BEST:: SOT 6368648 SOS 5406135 HAS SOPS 5355188 HAS SOUS 2235016 HAS SOUPS 2206168 WITH SCORE 2211574.135
AT ITER 3239 NEW BEST:: SOT 6368632 SOS 5406109 HAS SOPS 5355162 HAS SOUS 2234997 HAS SOUPS 2206149 WITH SCORE 2211555.109
AT ITER 3241 NEW BEST:: SOT 6368228 SOS 5405705 HAS SOPS 5354758 HAS SOUS 2234353 HAS SOUPS 2205505 WITH SCORE 2210910.705
AT ITER 3249 NEW BEST:: SOT 6367769 SOS 5405246 HAS SOPS 5354299 HAS SOUS 2233909 HAS SOUPS 2205061 WITH SCORE 2210466.246
AT ITER 3272 NEW BEST:: SOT 6367727 SOS 5405265 HAS SOPS 5354339 HAS SOUS 2233477 HAS SOUPS 2204619 WITH SCORE 2210024.265
AT ITER 3280 NEW BEST:: SOT 6367758 SOS 5405258 HAS SOPS 5354284 HAS SOUS 2233452 HAS SOUPS 2204594 WITH SCORE 2209999.258
AT ITER 3302 NEW BEST:: SOT 6367758 SOS 5405321 HAS SOPS 5354388 HAS SOUS 2233441 HAS SOUPS 2204583 WITH SCORE 2209988.321
AT ITER 3305 NEW BEST:: SOT 6367818 SOS 5405401 HAS SOPS 5354448 HAS SOUS 2233167 HAS SOUPS 2204300 WITH SCORE 2209705.401
AT ITER 3318 NEW BEST:: SOT 6367766 SOS 5405347 HAS SOPS 5354396 HAS SOUS 2233143 HAS SOUPS 2204278 WITH SCORE 2209683.347
AT ITER 3324 NEW BEST:: SOT 6366107 SOS 5403688 HAS SOPS 5352737 HAS SOUS 2231498 HAS SOUPS 2202633 WITH SCORE 2208036.688
AT ITER 3331 NEW BEST:: SOT 6366106 SOS 5403698 HAS SOPS 5352746 HAS SOUS 2231491 HAS SOUPS 2202626 WITH SCORE 2208029.698
AT ITER 3339 NEW BEST:: SOT 6366280 SOS 5403927 HAS SOPS 5352920 HAS SOUS 2230072 HAS SOUPS 2201212 WITH SCORE 2206615.927
AT ITER 3342 NEW BEST:: SOT 6366280 SOS 5403700 HAS SOPS 5352656 HAS SOUS 2229963 HAS SOUPS 2201103 WITH SCORE 2206506.7
AT ITER 3385 NEW BEST:: SOT 6362852 SOS 5404179 HAS SOPS 5353901 HAS SOUS 2227513 HAS SOUPS 2199250 WITH SCORE 2204654.179
AT ITER 3443 NEW BEST:: SOT 6362998 SOS 5404325 HAS SOPS 5354047 HAS SOUS 2227403 HAS SOUPS 2199140 WITH SCORE 2204544.325
AT ITER 3447 NEW BEST:: SOT 6362998 SOS 5402925 HAS SOPS 5352641 HAS SOUS 2227331 HAS SOUPS 2199067 WITH SCORE 2204469.925
AT ITER 3489 NEW BEST:: SOT 6362880 SOS 5402807 HAS SOPS 5352523 HAS SOUS 2227298 HAS SOUPS 2199034 WITH SCORE 2204436.807
AT ITER 3493 NEW BEST:: SOT 6362427 SOS 5402354 HAS SOPS 5352070 HAS SOUS 2226583 HAS SOUPS 2198319 WITH SCORE 2203721.354
AT ITER 3533 NEW BEST:: SOT 6362142 SOS 5402069 HAS SOPS 5351785 HAS SOUS 2226298 HAS SOUPS 2198034 WITH SCORE 2203436.069
AT ITER 3547 NEW BEST:: SOT 6361580 SOS 5401507 HAS SOPS 5351223 HAS SOUS 2225707 HAS SOUPS 2197443 WITH SCORE 2202844.507
AT ITER 3557 NEW BEST:: SOT 6361256 SOS 5401183 HAS SOPS 5350899 HAS SOUS 2225383 HAS SOUPS 2197119 WITH SCORE 2202520.183
AT ITER 3569 NEW BEST:: SOT 6361264 SOS 5401144 HAS SOPS 5350889 HAS SOUS 2225371 HAS SOUPS 2197103 WITH SCORE 2202504.144
AT ITER 3576 NEW BEST:: SOT 6361224 SOS 5401104 HAS SOPS 5350849 HAS SOUS 2225331 HAS SOUPS 2197063 WITH SCORE 2202464.104
AT ITER 3608 NEW BEST:: SOT 6361224 SOS 5401298 HAS SOPS 5351023 HAS SOUS 2225319 HAS SOUPS 2197051 WITH SCORE 2202452.298
AT ITER 3612 NEW BEST:: SOT 6361241 SOS 5401327 HAS SOPS 5351040 HAS SOUS 2224602 HAS SOUPS 2196328 WITH SCORE 2201729.327
AT ITER 3627 NEW BEST:: SOT 6361071 SOS 5401155 HAS SOPS 5350866 HAS SOUS 2224407 HAS SOUPS 2196135 WITH SCORE 2201536.155
AT ITER 3641 NEW BEST:: SOT 6361071 SOS 5401255 HAS SOPS 5350954 HAS SOUS 2224389 HAS SOUPS 2196117 WITH SCORE 2201518.255
AT ITER 3646 NEW BEST:: SOT 6359302 SOS 5399369 HAS SOPS 5349183 HAS SOUS 2221682 HAS SOUPS 2193526 WITH SCORE 2198925.369
AT ITER 3678 NEW BEST:: SOT 6358848 SOS 5398849 HAS SOPS 5348729 HAS SOUS 2221451 HAS SOUPS 2193328 WITH SCORE 2198726.849
AT ITER 3680 NEW BEST:: SOT 6358848 SOS 5394939 HAS SOPS 5344711 HAS SOUS 2221040 HAS SOUPS 2192917 WITH SCORE 2198311.939
AT ITER 3752 NEW BEST:: SOT 6358848 SOS 5394933 HAS SOPS 5344697 HAS SOUS 2220926 HAS SOUPS 2192803 WITH SCORE 2198197.933
AT ITER 3759 NEW BEST:: SOT 6358816 SOS 5394901 HAS SOPS 5344665 HAS SOUS 2220770 HAS SOUPS 2192647 WITH SCORE 2198041.901
AT ITER 3782 NEW BEST:: SOT 6359014 SOS 5395086 HAS SOPS 5344837 HAS SOUS 2220710 HAS SOUPS 2192587 WITH SCORE 2197982.086
AT ITER 3806 NEW BEST:: SOT 6359014 SOS 5410276 HAS SOPS 5360351 HAS SOUS 2220620 HAS SOUPS 2192540 WITH SCORE 2197950.276
AT ITER 3814 NEW BEST:: SOT 6359015 SOS 5410277 HAS SOPS 5360352 HAS SOUS 2220603 HAS SOUPS 2192523 WITH SCORE 2197933.277
AT ITER 3828 NEW BEST:: SOT 6357235 SOS 5409661 HAS SOPS 5359314 HAS SOUS 2220356 HAS SOUPS 2192355 WITH SCORE 2197764.661
AT ITER 3847 NEW BEST:: SOT 6356106 SOS 5408506 HAS SOPS 5358185 HAS SOUS 2219135 HAS SOUPS 2191160 WITH SCORE 2196568.506
AT ITER 3912 NEW BEST:: SOT 6356106 SOS 5408475 HAS SOPS 5358157 HAS SOUS 2219082 HAS SOUPS 2191108 WITH SCORE 2196516.475
AT ITER 3917 NEW BEST:: SOT 6355091 SOS 5407730 HAS SOPS 5357313 HAS SOUS 2219041 HAS SOUPS 2191097 WITH SCORE 2196504.73
AT ITER 3918 NEW BEST:: SOT 6354973 SOS 5407612 HAS SOPS 5357195 HAS SOUS 2218838 HAS SOUPS 2190894 WITH SCORE 2196301.612
AT ITER 3924 NEW BEST:: SOT 6354555 SOS 5407194 HAS SOPS 5356777 HAS SOUS 2218341 HAS SOUPS 2190397 WITH SCORE 2195804.194
AT ITER 3942 NEW BEST:: SOT 6354555 SOS 5407194 HAS SOPS 5356777 HAS SOUS 2218339 HAS SOUPS 2190395 WITH SCORE 2195802.194
AT ITER 3949 NEW BEST:: SOT 6354134 SOS 5406773 HAS SOPS 5356356 HAS SOUS 2217918 HAS SOUPS 2189974 WITH SCORE 2195380.773
AT ITER 3961 NEW BEST:: SOT 6353721 SOS 5406360 HAS SOPS 5355943 HAS SOUS 2217274 HAS SOUPS 2189330 WITH SCORE 2194736.36
AT ITER 3965 NEW BEST:: SOT 6352907 SOS 5405546 HAS SOPS 5355129 HAS SOUS 2216150 HAS SOUPS 2188206 WITH SCORE 2193611.546
AT ITER 3985 NEW BEST:: SOT 6351172 SOS 5403726 HAS SOPS 5353400 HAS SOUS 2215540 HAS SOUPS 2187681 WITH SCORE 2193084.726
AT ITER 3987 NEW BEST:: SOT 6351131 SOS 5403739 HAS SOPS 5353413 HAS SOUS 2215333 HAS SOUPS 2187474 WITH SCORE 2192877.739
AT ITER 3995 NEW BEST:: SOT 6351126 SOS 5403732 HAS SOPS 5353406 HAS SOUS 2215332 HAS SOUPS 2187473 WITH SCORE 2192876.732
AT ITER 4037 NEW BEST:: SOT 6351042 SOS 5403648 HAS SOPS 5353322 HAS SOUS 2215074 HAS SOUPS 2187215 WITH SCORE 2192618.648
AT ITER 4054 NEW BEST:: SOT 6350640 SOS 5403246 HAS SOPS 5352920 HAS SOUS 2214444 HAS SOUPS 2186585 WITH SCORE 2191988.246
AT ITER 4071 NEW BEST:: SOT 6350145 SOS 5402735 HAS SOPS 5352413 HAS SOUS 2213808 HAS SOUPS 2185959 WITH SCORE 2191361.735
AT ITER 4072 NEW BEST:: SOT 6349914 SOS 5402445 HAS SOPS 5352123 HAS SOUS 2213131 HAS SOUPS 2185282 WITH SCORE 2190684.445
AT ITER 4111 NEW BEST:: SOT 6347498 SOS 5400485 HAS SOPS 5350028 HAS SOUS 2210949 HAS SOUPS 2183169 WITH SCORE 2188569.485
AT ITER 4133 NEW BEST:: SOT 6347494 SOS 5400481 HAS SOPS 5350024 HAS SOUS 2210935 HAS SOUPS 2183155 WITH SCORE 2188555.481
AT ITER 4136 NEW BEST:: SOT 6345505 SOS 5398446 HAS SOPS 5348035 HAS SOUS 2208202 HAS SOUPS 2180468 WITH SCORE 2185866.446
AT ITER 4159 NEW BEST:: SOT 6337746 SOS 5390843 HAS SOPS 5340589 HAS SOUS 2201420 HAS SOUPS 2173850 WITH SCORE 2179240.843
AT ITER 4165 NEW BEST:: SOT 6337669 SOS 5391428 HAS SOPS 5341520 HAS SOUS 2200447 HAS SOUPS 2172854 WITH SCORE 2178245.428
AT ITER 4168 NEW BEST:: SOT 6337309 SOS 5391068 HAS SOPS 5341160 HAS SOUS 2200087 HAS SOUPS 2172494 WITH SCORE 2177885.068
AT ITER 4189 NEW BEST:: SOT 6337620 SOS 5391259 HAS SOPS 5341403 HAS SOUS 2199870 HAS SOUPS 2172276 WITH SCORE 2177667.259
AT ITER 4205 NEW BEST:: SOT 6337619 SOS 5391301 HAS SOPS 5341448 HAS SOUS 2199725 HAS SOUPS 2172131 WITH SCORE 2177522.301
AT ITER 4215 NEW BEST:: SOT 6324758 SOS 5477214 HAS SOPS 5452079 HAS SOUS 2193578 HAS SOUPS 2171201 WITH SCORE 2176678.214
AT ITER 4241 NEW BEST:: SOT 6324632 SOS 5477088 HAS SOPS 5451953 HAS SOUS 2193408 HAS SOUPS 2171031 WITH SCORE 2176508.088
AT ITER 4247 NEW BEST:: SOT 6323538 SOS 5475994 HAS SOPS 5450859 HAS SOUS 2191620 HAS SOUPS 2169243 WITH SCORE 2174718.994
AT ITER 4291 NEW BEST:: SOT 6322717 SOS 5475173 HAS SOPS 5450038 HAS SOUS 2190560 HAS SOUPS 2168183 WITH SCORE 2173658.173
AT ITER 4332 NEW BEST:: SOT 6322706 SOS 5475162 HAS SOPS 5450027 HAS SOUS 2190320 HAS SOUPS 2167943 WITH SCORE 2173418.162
AT ITER 4336 NEW BEST:: SOT 6322705 SOS 5475161 HAS SOPS 5450026 HAS SOUS 2190319 HAS SOUPS 2167942 WITH SCORE 2173417.161
AT ITER 4349 NEW BEST:: SOT 6322570 SOS 5477039 HAS SOPS 5451815 HAS SOUS 2190083 HAS SOUPS 2167733 WITH SCORE 2173210.039
AT ITER 4372 NEW BEST:: SOT 6322570 SOS 5522017 HAS SOPS 5495551 HAS SOUS 2189808 HAS SOUPS 2167506 WITH SCORE 2173028.017
AT ITER 4380 NEW BEST:: SOT 6322663 SOS 5522110 HAS SOPS 5495644 HAS SOUS 2189781 HAS SOUPS 2167479 WITH SCORE 2173001.11
AT ITER 4382 NEW BEST:: SOT 6322245 SOS 5521680 HAS SOPS 5495226 HAS SOUS 2189206 HAS SOUPS 2166916 WITH SCORE 2172437.68
AT ITER 4384 NEW BEST:: SOT 6322137 SOS 5521572 HAS SOPS 5495118 HAS SOUS 2189058 HAS SOUPS 2166768 WITH SCORE 2172289.572
AT ITER 4391 NEW BEST:: SOT 6322137 SOS 5520461 HAS SOPS 5493928 HAS SOUS 2189058 HAS SOUPS 2166768 WITH SCORE 2172288.461
AT ITER 4413 NEW BEST:: SOT 6321503 SOS 5519827 HAS SOPS 5493294 HAS SOUS 2188023 HAS SOUPS 2165733 WITH SCORE 2171252.827
AT ITER 4415 NEW BEST:: SOT 6319733 SOS 5518410 HAS SOPS 5491980 HAS SOUS 2187204 HAS SOUPS 2165017 WITH SCORE 2170535.41
AT ITER 4416 NEW BEST:: SOT 6319733 SOS 5531953 HAS SOPS 5500286 HAS SOUS 2186877 HAS SOUPS 2164705 WITH SCORE 2170236.953
AT ITER 4446 NEW BEST:: SOT 6318661 SOS 5530881 HAS SOPS 5499214 HAS SOUS 2184877 HAS SOUPS 2162705 WITH SCORE 2168235.881
AT ITER 4464 NEW BEST:: SOT 6318355 SOS 5530575 HAS SOPS 5498908 HAS SOUS 2184264 HAS SOUPS 2162092 WITH SCORE 2167622.575
AT ITER 4472 NEW BEST:: SOT 6318327 SOS 5530547 HAS SOPS 5498880 HAS SOUS 2184213 HAS SOUPS 2162041 WITH SCORE 2167571.547
AT ITER 4492 NEW BEST:: SOT 6318050 SOS 5530270 HAS SOPS 5498603 HAS SOUS 2183808 HAS SOUPS 2161636 WITH SCORE 2167166.27
AT ITER 4507 NEW BEST:: SOT 6316998 SOS 5529178 HAS SOPS 5497551 HAS SOUS 2183726 HAS SOUPS 2161594 WITH SCORE 2167123.178
AT ITER 4521 NEW BEST:: SOT 6316317 SOS 5528454 HAS SOPS 5496870 HAS SOUS 2183367 HAS SOUPS 2161278 WITH SCORE 2166806.454
AT ITER 4536 NEW BEST:: SOT 6316242 SOS 5528253 HAS SOPS 5496795 HAS SOUS 2182812 HAS SOUPS 2160849 WITH SCORE 2166377.253
AT ITER 4537 NEW BEST:: SOT 6315037 SOS 5527011 HAS SOPS 5495590 HAS SOUS 2182523 HAS SOUPS 2160597 WITH SCORE 2166124.011
AT ITER 4543 NEW BEST:: SOT 6314381 SOS 5526355 HAS SOPS 5494934 HAS SOUS 2181487 HAS SOUPS 2159561 WITH SCORE 2165087.355
AT ITER 4544 NEW BEST:: SOT 6314267 SOS 5526241 HAS SOPS 5494820 HAS SOUS 2181172 HAS SOUPS 2159246 WITH SCORE 2164772.241
AT ITER 4548 NEW BEST:: SOT 6314267 SOS 5525467 HAS SOPS 5494070 HAS SOUS 2180914 HAS SOUPS 2159000 WITH SCORE 2164525.467
AT ITER 4568 NEW BEST:: SOT 6314174 SOS 5525792 HAS SOPS 5494377 HAS SOUS 2180556 HAS SOUPS 2158642 WITH SCORE 2164167.792
AT ITER 4611 NEW BEST:: SOT 6314174 SOS 5524632 HAS SOPS 5493559 HAS SOUS 2180554 HAS SOUPS 2158641 WITH SCORE 2164165.632
AT ITER 4613 NEW BEST:: SOT 6314098 SOS 5524556 HAS SOPS 5493483 HAS SOUS 2180478 HAS SOUPS 2158565 WITH SCORE 2164089.556
AT ITER 4634 NEW BEST:: SOT 6314484 SOS 5524942 HAS SOPS 5493869 HAS SOUS 2178875 HAS SOUPS 2156962 WITH SCORE 2162486.942
AT ITER 4635 NEW BEST:: SOT 6314484 SOS 5525930 HAS SOPS 5494779 HAS SOUS 2178870 HAS SOUPS 2156957 WITH SCORE 2162482.93
AT ITER 4638 NEW BEST:: SOT 6314482 SOS 5525928 HAS SOPS 5494777 HAS SOUS 2178869 HAS SOUPS 2156956 WITH SCORE 2162481.928
AT ITER 4685 NEW BEST:: SOT 6314482 SOS 5525265 HAS SOPS 5494084 HAS SOUS 2178870 HAS SOUPS 2156956 WITH SCORE 2162481.265
AT ITER 4692 NEW BEST:: SOT 6312862 SOS 5523589 HAS SOPS 5492464 HAS SOUS 2175687 HAS SOUPS 2153829 WITH SCORE 2159352.589
AT ITER 4695 NEW BEST:: SOT 6312655 SOS 5523382 HAS SOPS 5492257 HAS SOUS 2175365 HAS SOUPS 2153507 WITH SCORE 2159030.382
AT ITER 4758 NEW BEST:: SOT 6316885 SOS 5530809 HAS SOPS 5499967 HAS SOUS 2172005 HAS SOUPS 2150430 WITH SCORE 2155960.809
AT ITER 4760 NEW BEST:: SOT 6316864 SOS 5530788 HAS SOPS 5499946 HAS SOUS 2171478 HAS SOUPS 2149903 WITH SCORE 2155433.788
AT ITER 4761 NEW BEST:: SOT 6316844 SOS 5530222 HAS SOPS 5499406 HAS SOUS 2171277 HAS SOUPS 2149702 WITH SCORE 2155232.222
AT ITER 4770 NEW BEST:: SOT 6313100 SOS 5527277 HAS SOPS 5496688 HAS SOUS 2168772 HAS SOUPS 2147424 WITH SCORE 2152951.277
AT ITER 4791 NEW BEST:: SOT 6313100 SOS 5536579 HAS SOPS 5506286 HAS SOUS 2168725 HAS SOUPS 2147393 WITH SCORE 2152929.579
AT ITER 4797 NEW BEST:: SOT 6313088 SOS 5536567 HAS SOPS 5506274 HAS SOUS 2168710 HAS SOUPS 2147378 WITH SCORE 2152914.567
AT ITER 4843 NEW BEST:: SOT 6313084 SOS 5536563 HAS SOPS 5506270 HAS SOUS 2168686 HAS SOUPS 2147354 WITH SCORE 2152890.563
AT ITER 4858 NEW BEST:: SOT 6313084 SOS 5536563 HAS SOPS 5506270 HAS SOUS 2168670 HAS SOUPS 2147338 WITH SCORE 2152874.563
AT ITER 4900 NEW BEST:: SOT 6309097 SOS 5536932 HAS SOPS 5507514 HAS SOUS 2165789 HAS SOUPS 2145332 WITH SCORE 2150868.932
AT ITER 4919 NEW BEST:: SOT 6308682 SOS 5536504 HAS SOPS 5507099 HAS SOUS 2165354 HAS SOUPS 2144910 WITH SCORE 2150446.504
AT ITER 4930 NEW BEST:: SOT 6308608 SOS 5536480 HAS SOPS 5507025 HAS SOUS 2165170 HAS SOUPS 2144676 WITH SCORE 2150212.48
AT ITER 4939 NEW BEST:: SOT 6308394 SOS 5536266 HAS SOPS 5506811 HAS SOUS 2164767 HAS SOUPS 2144273 WITH SCORE 2149809.266
AT ITER 4947 NEW BEST:: SOT 6308376 SOS 5536248 HAS SOPS 5506793 HAS SOUS 2164751 HAS SOUPS 2144257 WITH SCORE 2149793.248
AT ITER 4958 NEW BEST:: SOT 6308476 SOS 5536356 HAS SOPS 5506893 HAS SOUS 2164667 HAS SOUPS 2144165 WITH SCORE 2149701.356
AT ITER 4973 NEW BEST:: SOT 6307596 SOS 5535476 HAS SOPS 5506013 HAS SOUS 2163504 HAS SOUPS 2143002 WITH SCORE 2148537.476
AT ITER 4975 NEW BEST:: SOT 6307355 SOS 5531035 HAS SOPS 5500697 HAS SOUS 2162091 HAS SOUPS 2140714 WITH SCORE 2146245.035
AT ITER 4990 NEW BEST:: SOT 6307034 SOS 5530701 HAS SOPS 5500376 HAS SOUS 2161576 HAS SOUPS 2140212 WITH SCORE 2145742.701
AT ITER 5026 NEW BEST:: SOT 6307176 SOS 5530843 HAS SOPS 5500518 HAS SOUS 2161416 HAS SOUPS 2140052 WITH SCORE 2145582.843
AT ITER 5057 NEW BEST:: SOT 6307022 SOS 5530668 HAS SOPS 5500364 HAS SOUS 2161333 HAS SOUPS 2139990 WITH SCORE 2145520.668
AT ITER 5062 NEW BEST:: SOT 6305490 SOS 5529190 HAS SOPS 5498946 HAS SOUS 2160003 HAS SOUPS 2138720 WITH SCORE 2144249.19
AT ITER 5088 NEW BEST:: SOT 6305490 SOS 5529190 HAS SOPS 5498946 HAS SOUS 2159987 HAS SOUPS 2138704 WITH SCORE 2144233.19
AT ITER 5097 NEW BEST:: SOT 6305281 SOS 5528974 HAS SOPS 5498737 HAS SOUS 2159575 HAS SOUPS 2138299 WITH SCORE 2143827.974
AT ITER 5102 NEW BEST:: SOT 6304011 SOS 5527646 HAS SOPS 5497467 HAS SOUS 2157190 HAS SOUPS 2135972 WITH SCORE 2141499.646
AT ITER 5107 NEW BEST:: SOT 6303851 SOS 5527549 HAS SOPS 5497307 HAS SOUS 2156781 HAS SOUPS 2135500 WITH SCORE 2141027.549
AT ITER 5125 NEW BEST:: SOT 6303817 SOS 5527515 HAS SOPS 5497273 HAS SOUS 2156749 HAS SOUPS 2135468 WITH SCORE 2140995.515
AT ITER 5127 NEW BEST:: SOT 6303721 SOS 5527440 HAS SOPS 5497177 HAS SOUS 2156408 HAS SOUPS 2135106 WITH SCORE 2140633.44
AT ITER 5150 NEW BEST:: SOT 6303721 SOS 5527440 HAS SOPS 5497177 HAS SOUS 2156282 HAS SOUPS 2134980 WITH SCORE 2140507.44
AT ITER 5155 NEW BEST:: SOT 6303347 SOS 5526997 HAS SOPS 5496803 HAS SOUS 2155552 HAS SOUPS 2134319 WITH SCORE 2139845.997
AT ITER 5162 NEW BEST:: SOT 6302661 SOS 5526311 HAS SOPS 5496117 HAS SOUS 2154617 HAS SOUPS 2133384 WITH SCORE 2138910.311
AT ITER 5201 NEW BEST:: SOT 6302661 SOS 5526907 HAS SOPS 5496671 HAS SOUS 2154562 HAS SOUPS 2133329 WITH SCORE 2138855.907
AT ITER 5208 NEW BEST:: SOT 6301549 SOS 5525778 HAS SOPS 5495559 HAS SOUS 2154053 HAS SOUPS 2132837 WITH SCORE 2138362.778
AT ITER 5209 NEW BEST:: SOT 6301446 SOS 5525675 HAS SOPS 5495456 HAS SOUS 2153950 HAS SOUPS 2132734 WITH SCORE 2138259.675
AT ITER 5212 NEW BEST:: SOT 6301217 SOS 5525433 HAS SOPS 5495227 HAS SOUS 2153465 HAS SOUPS 2132262 WITH SCORE 2137787.433
AT ITER 5248 NEW BEST:: SOT 6300955 SOS 5525161 HAS SOPS 5494965 HAS SOUS 2153212 HAS SOUPS 2132019 WITH SCORE 2137544.161
AT ITER 5259 NEW BEST:: SOT 6292027 SOS 5516664 HAS SOPS 5486901 HAS SOUS 2149605 HAS SOUPS 2128845 WITH SCORE 2134361.664
AT ITER 5291 NEW BEST:: SOT 6291971 SOS 5516608 HAS SOPS 5486845 HAS SOUS 2149537 HAS SOUPS 2128777 WITH SCORE 2134293.608
AT ITER 5298 NEW BEST:: SOT 6291789 SOS 5516419 HAS SOPS 5486663 HAS SOUS 2149376 HAS SOUPS 2128623 WITH SCORE 2134139.419
AT ITER 5332 NEW BEST:: SOT 6291389 SOS 5516019 HAS SOPS 5486263 HAS SOUS 2148461 HAS SOUPS 2127708 WITH SCORE 2133224.019
AT ITER 5335 NEW BEST:: SOT 6291270 SOS 5515894 HAS SOPS 5486144 HAS SOUS 2148405 HAS SOUPS 2127658 WITH SCORE 2133173.894
AT ITER 5349 NEW BEST:: SOT 6290838 SOS 5515462 HAS SOPS 5485712 HAS SOUS 2147926 HAS SOUPS 2127179 WITH SCORE 2132694.462
AT ITER 5360 NEW BEST:: SOT 6290533 SOS 5515129 HAS SOPS 5485407 HAS SOUS 2147674 HAS SOUPS 2126955 WITH SCORE 2132470.129
AT ITER 5396 NEW BEST:: SOT 6290513 SOS 5515109 HAS SOPS 5485387 HAS SOUS 2147464 HAS SOUPS 2126745 WITH SCORE 2132260.109
AT ITER 5399 NEW BEST:: SOT 6289411 SOS 5514007 HAS SOPS 5484285 HAS SOUS 2145662 HAS SOUPS 2124943 WITH SCORE 2130457.007
AT ITER 5412 NEW BEST:: SOT 6289403 SOS 5513999 HAS SOPS 5484277 HAS SOUS 2145654 HAS SOUPS 2124935 WITH SCORE 2130448.999
AT ITER 5456 NEW BEST:: SOT 6289387 SOS 5513711 HAS SOPS 5484003 HAS SOUS 2145529 HAS SOUPS 2124810 WITH SCORE 2130323.711
AT ITER 5479 NEW BEST:: SOT 6289387 SOS 5525805 HAS SOPS 5496693 HAS SOUS 2145394 HAS SOUPS 2124702 WITH SCORE 2130227.805
AT ITER 5481 NEW BEST:: SOT 6290222 SOS 5526716 HAS SOPS 5497528 HAS SOUS 2142742 HAS SOUPS 2121974 WITH SCORE 2127500.716
AT ITER 5493 NEW BEST:: SOT 6290210 SOS 5526704 HAS SOPS 5497516 HAS SOUS 2142610 HAS SOUPS 2121842 WITH SCORE 2127368.704
AT ITER 5513 NEW BEST:: SOT 6290164 SOS 5526658 HAS SOPS 5497470 HAS SOUS 2142349 HAS SOUPS 2121581 WITH SCORE 2127107.658
AT ITER 5523 NEW BEST:: SOT 6290160 SOS 5526654 HAS SOPS 5497466 HAS SOUS 2142337 HAS SOUPS 2121569 WITH SCORE 2127095.654
AT ITER 5543 NEW BEST:: SOT 6290120 SOS 5526614 HAS SOPS 5497426 HAS SOUS 2142291 HAS SOUPS 2121523 WITH SCORE 2127049.614
AT ITER 5547 NEW BEST:: SOT 6288732 SOS 5525184 HAS SOPS 5496038 HAS SOUS 2140146 HAS SOUPS 2119420 WITH SCORE 2124945.184
AT ITER 5560 NEW BEST:: SOT 6288698 SOS 5525150 HAS SOPS 5496004 HAS SOUS 2140042 HAS SOUPS 2119316 WITH SCORE 2124841.15
AT ITER 5582 NEW BEST:: SOT 6288700 SOS 5524260 HAS SOPS 5495138 HAS SOUS 2139999 HAS SOUPS 2119272 WITH SCORE 2124796.26
AT ITER 5593 NEW BEST:: SOT 6288700 SOS 5524220 HAS SOPS 5495098 HAS SOUS 2139997 HAS SOUPS 2119270 WITH SCORE 2124794.22
AT ITER 5604 NEW BEST:: SOT 6288464 SOS 5523969 HAS SOPS 5494862 HAS SOUS 2139975 HAS SOUPS 2119263 WITH SCORE 2124786.969
AT ITER 5610 NEW BEST:: SOT 6288488 SOS 5523990 HAS SOPS 5494886 HAS SOUS 2139948 HAS SOUPS 2119239 WITH SCORE 2124762.99
AT ITER 5639 NEW BEST:: SOT 6287652 SOS 5523154 HAS SOPS 5494050 HAS SOUS 2139100 HAS SOUPS 2118391 WITH SCORE 2123914.154
AT ITER 5641 NEW BEST:: SOT 6287650 SOS 5523152 HAS SOPS 5494048 HAS SOUS 2139098 HAS SOUPS 2118389 WITH SCORE 2123912.152
AT ITER 5642 NEW BEST:: SOT 6286913 SOS 5522381 HAS SOPS 5493311 HAS SOUS 2138438 HAS SOUPS 2117763 WITH SCORE 2123285.381
AT ITER 5699 NEW BEST:: SOT 6285381 SOS 5521133 HAS SOPS 5492073 HAS SOUS 2136838 HAS SOUPS 2116177 WITH SCORE 2121698.133
AT ITER 5750 NEW BEST:: SOT 6284444 SOS 5520196 HAS SOPS 5491136 HAS SOUS 2136100 HAS SOUPS 2115439 WITH SCORE 2120959.196
AT ITER 5762 NEW BEST:: SOT 6284444 SOS 5511697 HAS SOPS 5482348 HAS SOUS 2136096 HAS SOUPS 2115422 WITH SCORE 2120933.697
AT ITER 5771 NEW BEST:: SOT 6283130 SOS 5510327 HAS SOPS 5481034 HAS SOUS 2133789 HAS SOUPS 2113171 WITH SCORE 2118681.327
AT ITER 5780 NEW BEST:: SOT 6282921 SOS 5510118 HAS SOPS 5480825 HAS SOUS 2133580 HAS SOUPS 2112962 WITH SCORE 2118472.118
AT ITER 5793 NEW BEST:: SOT 6282921 SOS 5519585 HAS SOPS 5490694 HAS SOUS 2133531 HAS SOUPS 2112926 WITH SCORE 2118445.585
AT ITER 5801 NEW BEST:: SOT 6282909 SOS 5519573 HAS SOPS 5490682 HAS SOUS 2133476 HAS SOUPS 2112871 WITH SCORE 2118390.573
AT ITER 5823 NEW BEST:: SOT 6282909 SOS 5519393 HAS SOPS 5490502 HAS SOUS 2133476 HAS SOUPS 2112871 WITH SCORE 2118390.393
AT ITER 5825 NEW BEST:: SOT 6278776 SOS 5519431 HAS SOPS 5491365 HAS SOUS 2130058 HAS SOUPS 2110278 WITH SCORE 2115797.431
AT ITER 5834 NEW BEST:: SOT 6277602 SOS 5518182 HAS SOPS 5490191 HAS SOUS 2129221 HAS SOUPS 2109516 WITH SCORE 2115034.182
AT ITER 5871 NEW BEST:: SOT 6275515 SOS 5516110 HAS SOPS 5488104 HAS SOUS 2127796 HAS SOUPS 2108076 WITH SCORE 2113592.11
AT ITER 5899 NEW BEST:: SOT 6267059 SOS 5507452 HAS SOPS 5479648 HAS SOUS 2123181 HAS SOUPS 2103663 WITH SCORE 2109170.452
AT ITER 5901 NEW BEST:: SOT 6265149 SOS 5505702 HAS SOPS 5478010 HAS SOUS 2121811 HAS SOUPS 2102405 WITH SCORE 2107910.702
AT ITER 5932 NEW BEST:: SOT 6264264 SOS 5504817 HAS SOPS 5477125 HAS SOUS 2121074 HAS SOUPS 2101668 WITH SCORE 2107172.817
AT ITER 5943 NEW BEST:: SOT 6263907 SOS 5504460 HAS SOPS 5476768 HAS SOUS 2120613 HAS SOUPS 2101207 WITH SCORE 2106711.46
AT ITER 5946 NEW BEST:: SOT 6270725 SOS 5508048 HAS SOPS 5480838 HAS SOUS 2119583 HAS SOUPS 2100569 WITH SCORE 2106077.048
AT ITER 5961 NEW BEST:: SOT 6270561 SOS 5507884 HAS SOPS 5480674 HAS SOUS 2119179 HAS SOUPS 2100165 WITH SCORE 2105672.884
AT ITER 5973 NEW BEST:: SOT 6270352 SOS 5508537 HAS SOPS 5481353 HAS SOUS 2119066 HAS SOUPS 2100052 WITH SCORE 2105560.537
AT ITER 6029 NEW BEST:: SOT 6270342 SOS 5508527 HAS SOPS 5481343 HAS SOUS 2119036 HAS SOUPS 2100022 WITH SCORE 2105530.527
AT ITER 6032 NEW BEST:: SOT 6268152 SOS 5506307 HAS SOPS 5479153 HAS SOUS 2115834 HAS SOUPS 2096850 WITH SCORE 2102356.307
AT ITER 6033 NEW BEST:: SOT 6267573 SOS 5505711 HAS SOPS 5478574 HAS SOUS 2114827 HAS SOUPS 2095860 WITH SCORE 2101365.711
AT ITER 6063 NEW BEST:: SOT 6267459 SOS 5505597 HAS SOPS 5478460 HAS SOUS 2114713 HAS SOUPS 2095746 WITH SCORE 2101251.597
AT ITER 6068 NEW BEST:: SOT 6266982 SOS 5505120 HAS SOPS 5477983 HAS SOUS 2114236 HAS SOUPS 2095269 WITH SCORE 2100774.12
AT ITER 6069 NEW BEST:: SOT 6273928 SOS 5514148 HAS SOPS 5488705 HAS SOUS 2110906 HAS SOUPS 2093626 WITH SCORE 2099140.148
AT ITER 6093 NEW BEST:: SOT 6274863 SOS 5515058 HAS SOPS 5489555 HAS SOUS 2110459 HAS SOUPS 2093119 WITH SCORE 2098634.058
AT ITER 6146 NEW BEST:: SOT 6272617 SOS 5512755 HAS SOPS 5487309 HAS SOUS 2108761 HAS SOUPS 2091478 WITH SCORE 2096990.755
AT ITER 6149 NEW BEST:: SOT 6272588 SOS 5512726 HAS SOPS 5487280 HAS SOUS 2108455 HAS SOUPS 2091172 WITH SCORE 2096684.726
AT ITER 6225 NEW BEST:: SOT 6272496 SOS 5512634 HAS SOPS 5487188 HAS SOUS 2108159 HAS SOUPS 2090876 WITH SCORE 2096388.634
AT ITER 6231 NEW BEST:: SOT 6272388 SOS 5512521 HAS SOPS 5487080 HAS SOUS 2108079 HAS SOUPS 2090801 WITH SCORE 2096313.521
AT ITER 6248 NEW BEST:: SOT 6271924 SOS 5512057 HAS SOPS 5486616 HAS SOUS 2107300 HAS SOUPS 2090022 WITH SCORE 2095534.057
AT ITER 6257 NEW BEST:: SOT 6271000 SOS 5511133 HAS SOPS 5485692 HAS SOUS 2106104 HAS SOUPS 2088826 WITH SCORE 2094337.133
AT ITER 6266 NEW BEST:: SOT 6270205 SOS 5510323 HAS SOPS 5484897 HAS SOUS 2105058 HAS SOUPS 2087795 WITH SCORE 2093305.323
AT ITER 6271 NEW BEST:: SOT 6270069 SOS 5510280 HAS SOPS 5484911 HAS SOUS 2104702 HAS SOUPS 2087448 WITH SCORE 2092958.28
AT ITER 6295 NEW BEST:: SOT 6269472 SOS 5509672 HAS SOPS 5484314 HAS SOUS 2104069 HAS SOUPS 2086826 WITH SCORE 2092335.672
AT ITER 6298 NEW BEST:: SOT 6269460 SOS 5509660 HAS SOPS 5484302 HAS SOUS 2103891 HAS SOUPS 2086648 WITH SCORE 2092157.66
AT ITER 6335 NEW BEST:: SOT 6269465 SOS 5509665 HAS SOPS 5484307 HAS SOUS 2103876 HAS SOUPS 2086633 WITH SCORE 2092142.665
AT ITER 6338 NEW BEST:: SOT 6269219 SOS 5509419 HAS SOPS 5484061 HAS SOUS 2103247 HAS SOUPS 2086004 WITH SCORE 2091513.419
AT ITER 6388 NEW BEST:: SOT 6269180 SOS 5509388 HAS SOPS 5484022 HAS SOUS 2102857 HAS SOUPS 2085606 WITH SCORE 2091115.388
AT ITER 6393 NEW BEST:: SOT 6269300 SOS 5509508 HAS SOPS 5484142 HAS SOUS 2102698 HAS SOUPS 2085447 WITH SCORE 2090956.508
AT ITER 6403 NEW BEST:: SOT 6269246 SOS 5509454 HAS SOPS 5484088 HAS SOUS 2102590 HAS SOUPS 2085339 WITH SCORE 2090848.454
AT ITER 6430 NEW BEST:: SOT 6269102 SOS 5509310 HAS SOPS 5483944 HAS SOUS 2102270 HAS SOUPS 2085019 WITH SCORE 2090528.31
AT ITER 6449 NEW BEST:: SOT 6268982 SOS 5509190 HAS SOPS 5483824 HAS SOUS 2102162 HAS SOUPS 2084911 WITH SCORE 2090420.19
AT ITER 6470 NEW BEST:: SOT 6268888 SOS 5509094 HAS SOPS 5483730 HAS SOUS 2102084 HAS SOUPS 2084835 WITH SCORE 2090344.094
AT ITER 6482 NEW BEST:: SOT 6268798 SOS 5509004 HAS SOPS 5483640 HAS SOUS 2101912 HAS SOUPS 2084663 WITH SCORE 2090172.004
AT ITER 6485 NEW BEST:: SOT 6268226 SOS 5508432 HAS SOPS 5483068 HAS SOUS 2101262 HAS SOUPS 2084013 WITH SCORE 2089521.432
AT ITER 6514 NEW BEST:: SOT 6268156 SOS 5508362 HAS SOPS 5482998 HAS SOUS 2101032 HAS SOUPS 2083783 WITH SCORE 2089291.362
AT ITER 6550 NEW BEST:: SOT 6268131 SOS 5508337 HAS SOPS 5482973 HAS SOUS 2101017 HAS SOUPS 2083768 WITH SCORE 2089276.337
AT ITER 6594 NEW BEST:: SOT 6268128 SOS 5508334 HAS SOPS 5482970 HAS SOUS 2101014 HAS SOUPS 2083765 WITH SCORE 2089273.334
AT ITER 6619 NEW BEST:: SOT 6268104 SOS 5508310 HAS SOPS 5482946 HAS SOUS 2100961 HAS SOUPS 2083712 WITH SCORE 2089220.31
AT ITER 6635 NEW BEST:: SOT 6267528 SOS 5507692 HAS SOPS 5482370 HAS SOUS 2100562 HAS SOUPS 2083355 WITH SCORE 2088862.692
AT ITER 6642 NEW BEST:: SOT 6267377 SOS 5507541 HAS SOPS 5482219 HAS SOUS 2100301 HAS SOUPS 2083094 WITH SCORE 2088601.541
AT ITER 6675 NEW BEST:: SOT 6267020 SOS 5507184 HAS SOPS 5481862 HAS SOUS 2099844 HAS SOUPS 2082637 WITH SCORE 2088144.184
AT ITER 6678 NEW BEST:: SOT 6266921 SOS 5507085 HAS SOPS 5481763 HAS SOUS 2099622 HAS SOUPS 2082415 WITH SCORE 2087922.085
AT ITER 6689 NEW BEST:: SOT 6266791 SOS 5506948 HAS SOPS 5481633 HAS SOUS 2099527 HAS SOUPS 2082327 WITH SCORE 2087833.948
AT ITER 6697 NEW BEST:: SOT 6265611 SOS 5505936 HAS SOPS 5480691 HAS SOUS 2098495 HAS SOUPS 2081365 WITH SCORE 2086870.936
AT ITER 6717 NEW BEST:: SOT 6265355 SOS 5505680 HAS SOPS 5480435 HAS SOUS 2098239 HAS SOUPS 2081109 WITH SCORE 2086614.68
AT ITER 6735 NEW BEST:: SOT 6264990 SOS 5505302 HAS SOPS 5480070 HAS SOUS 2097927 HAS SOUPS 2080810 WITH SCORE 2086315.302
AT ITER 6769 NEW BEST:: SOT 6264990 SOS 5505283 HAS SOPS 5480051 HAS SOUS 2097927 HAS SOUPS 2080810 WITH SCORE 2086315.283
AT ITER 6780 NEW BEST:: SOT 6263047 SOS 5503340 HAS SOPS 5478108 HAS SOUS 2096767 HAS SOUPS 2079650 WITH SCORE 2085153.34
AT ITER 6804 NEW BEST:: SOT 6263953 SOS 5504246 HAS SOPS 5479014 HAS SOUS 2095891 HAS SOUPS 2078774 WITH SCORE 2084278.246
AT ITER 6805 NEW BEST:: SOT 6263939 SOS 5504252 HAS SOPS 5479000 HAS SOUS 2095127 HAS SOUPS 2077990 WITH SCORE 2083494.252
AT ITER 6811 NEW BEST:: SOT 6263804 SOS 5504106 HAS SOPS 5478865 HAS SOUS 2094874 HAS SOUPS 2077748 WITH SCORE 2083252.106
AT ITER 6834 NEW BEST:: SOT 6263788 SOS 5504090 HAS SOPS 5478849 HAS SOUS 2094761 HAS SOUPS 2077635 WITH SCORE 2083139.09
AT ITER 6876 NEW BEST:: SOT 6263681 SOS 5503978 HAS SOPS 5478742 HAS SOUS 2094645 HAS SOUPS 2077524 WITH SCORE 2083027.978
AT ITER 6879 NEW BEST:: SOT 6262857 SOS 5503340 HAS SOPS 5478190 HAS SOUS 2093751 HAS SOUPS 2076716 WITH SCORE 2082219.34
AT ITER 6933 NEW BEST:: SOT 6262838 SOS 5503297 HAS SOPS 5478155 HAS SOUS 2093696 HAS SOUPS 2076661 WITH SCORE 2082164.297
AT ITER 6944 NEW BEST:: SOT 6261785 SOS 5502252 HAS SOPS 5477102 HAS SOUS 2092290 HAS SOUPS 2075247 WITH SCORE 2080749.252
AT ITER 6980 NEW BEST:: SOT 6260754 SOS 5501221 HAS SOPS 5476071 HAS SOUS 2090249 HAS SOUPS 2073206 WITH SCORE 2078707.221
AT ITER 6982 NEW BEST:: SOT 6260754 SOS 5497314 HAS SOPS 5472016 HAS SOUS 2090200 HAS SOUPS 2073157 WITH SCORE 2078654.314
AT ITER 6987 NEW BEST:: SOT 6260791 SOS 5497351 HAS SOPS 5472053 HAS SOUS 2090118 HAS SOUPS 2073075 WITH SCORE 2078572.351
AT ITER 7002 NEW BEST:: SOT 6260773 SOS 5497333 HAS SOPS 5472035 HAS SOUS 2090114 HAS SOUPS 2073071 WITH SCORE 2078568.333
AT ITER 7013 NEW BEST:: SOT 6260707 SOS 5497266 HAS SOPS 5471969 HAS SOUS 2090024 HAS SOUPS 2072982 WITH SCORE 2078479.266
AT ITER 7054 NEW BEST:: SOT 6260707 SOS 5495788 HAS SOPS 5470503 HAS SOUS 2089837 HAS SOUPS 2072795 WITH SCORE 2078290.788
AT ITER 7109 NEW BEST:: SOT 6260023 SOS 5495084 HAS SOPS 5469819 HAS SOUS 2088643 HAS SOUPS 2071621 WITH SCORE 2077116.084
AT ITER 7145 NEW BEST:: SOT 6260009 SOS 5495070 HAS SOPS 5469805 HAS SOUS 2088596 HAS SOUPS 2071574 WITH SCORE 2077069.07
AT ITER 7203 NEW BEST:: SOT 6258944 SOS 5493781 HAS SOPS 5468740 HAS SOUS 2088143 HAS SOUPS 2071345 WITH SCORE 2076838.781
AT ITER 7207 NEW BEST:: SOT 6258883 SOS 5493798 HAS SOPS 5468765 HAS SOUS 2088047 HAS SOUPS 2071249 WITH SCORE 2076742.798
AT ITER 7275 NEW BEST:: SOT 6258953 SOS 5493868 HAS SOPS 5468835 HAS SOUS 2087930 HAS SOUPS 2071132 WITH SCORE 2076625.868
AT ITER 7286 NEW BEST:: SOT 6262567 SOS 5497527 HAS SOPS 5472449 HAS SOUS 2087116 HAS SOUPS 2070273 WITH SCORE 2075770.527
AT ITER 7290 NEW BEST:: SOT 6262543 SOS 5497503 HAS SOPS 5472425 HAS SOUS 2087044 HAS SOUPS 2070201 WITH SCORE 2075698.503
AT ITER 7291 NEW BEST:: SOT 6262543 SOS 5483369 HAS SOPS 5457763 HAS SOUS 2086798 HAS SOUPS 2069955 WITH SCORE 2075438.369
AT ITER 7305 NEW BEST:: SOT 6262058 SOS 5482929 HAS SOPS 5457278 HAS SOUS 2085365 HAS SOUPS 2068477 WITH SCORE 2073959.929
AT ITER 7345 NEW BEST:: SOT 6261820 SOS 5482662 HAS SOPS 5457040 HAS SOUS 2085178 HAS SOUPS 2068319 WITH SCORE 2073801.662
AT ITER 7364 NEW BEST:: SOT 6261820 SOS 5483074 HAS SOPS 5457452 HAS SOUS 2085164 HAS SOUPS 2068305 WITH SCORE 2073788.074
AT ITER 7405 NEW BEST:: SOT 6261384 SOS 5482638 HAS SOPS 5457016 HAS SOUS 2085099 HAS SOUPS 2068240 WITH SCORE 2073722.638
AT ITER 7484 NEW BEST:: SOT 6261389 SOS 5481792 HAS SOPS 5456338 HAS SOUS 2082851 HAS SOUPS 2066054 WITH SCORE 2071535.792
AT ITER 7527 NEW BEST:: SOT 6260649 SOS 5481052 HAS SOPS 5455598 HAS SOUS 2082620 HAS SOUPS 2065823 WITH SCORE 2071304.052
AT ITER 7560 NEW BEST:: SOT 6260305 SOS 5480708 HAS SOPS 5455254 HAS SOUS 2082352 HAS SOUPS 2065555 WITH SCORE 2071035.708
AT ITER 7579 NEW BEST:: SOT 6260268 SOS 5480671 HAS SOPS 5455217 HAS SOUS 2082286 HAS SOUPS 2065489 WITH SCORE 2070969.671
AT ITER 7640 NEW BEST:: SOT 6260268 SOS 5480671 HAS SOPS 5455217 HAS SOUS 2081918 HAS SOUPS 2065121 WITH SCORE 2070601.671
AT ITER 7655 NEW BEST:: SOT 6259937 SOS 5480360 HAS SOPS 5454886 HAS SOUS 2081062 HAS SOUPS 2064245 WITH SCORE 2069725.36
AT ITER 7680 NEW BEST:: SOT 6259587 SOS 5479992 HAS SOPS 5454536 HAS SOUS 2080822 HAS SOUPS 2064023 WITH SCORE 2069502.992
AT ITER 7686 NEW BEST:: SOT 6259537 SOS 5479942 HAS SOPS 5454486 HAS SOUS 2080729 HAS SOUPS 2063930 WITH SCORE 2069409.942
AT ITER 7720 NEW BEST:: SOT 6259537 SOS 5479942 HAS SOPS 5454486 HAS SOUS 2080675 HAS SOUPS 2063876 WITH SCORE 2069355.942
AT ITER 7729 NEW BEST:: SOT 6259545 SOS 5477818 HAS SOPS 5452284 HAS SOUS 2080646 HAS SOUPS 2063847 WITH SCORE 2069324.818
AT ITER 7749 NEW BEST:: SOT 6259550 SOS 5477885 HAS SOPS 5452289 HAS SOUS 2080336 HAS SOUPS 2063475 WITH SCORE 2068952.885
AT ITER 7766 NEW BEST:: SOT 6257784 SOS 5476119 HAS SOPS 5450523 HAS SOUS 2078613 HAS SOUPS 2061752 WITH SCORE 2067228.119
AT ITER 7770 NEW BEST:: SOT 6256812 SOS 5475147 HAS SOPS 5449551 HAS SOUS 2076870 HAS SOUPS 2060009 WITH SCORE 2065484.147
AT ITER 7782 NEW BEST:: SOT 6256812 SOS 5466945 HAS SOPS 5441217 HAS SOUS 2076881 HAS SOUPS 2060006 WITH SCORE 2065472.945
AT ITER 7793 NEW BEST:: SOT 6256782 SOS 5466915 HAS SOPS 5441187 HAS SOUS 2076851 HAS SOUPS 2059976 WITH SCORE 2065442.915
AT ITER 7817 NEW BEST:: SOT 6256784 SOS 5465579 HAS SOPS 5439789 HAS SOUS 2076854 HAS SOUPS 2059977 WITH SCORE 2065442.579
AT ITER 7821 NEW BEST:: SOT 6256230 SOS 5465025 HAS SOPS 5439235 HAS SOUS 2076311 HAS SOUPS 2059434 WITH SCORE 2064899.025
AT ITER 7831 NEW BEST:: SOT 6256051 SOS 5464722 HAS SOPS 5439056 HAS SOUS 2074388 HAS SOUPS 2057635 WITH SCORE 2063099.722
AT ITER 7860 NEW BEST:: SOT 6255724 SOS 5464359 HAS SOPS 5438729 HAS SOUS 2073515 HAS SOUPS 2056798 WITH SCORE 2062262.359
AT ITER 7861 NEW BEST:: SOT 6255728 SOS 5464363 HAS SOPS 5438733 HAS SOUS 2072517 HAS SOUPS 2055800 WITH SCORE 2061264.363
AT ITER 7876 NEW BEST:: SOT 6255728 SOS 5465385 HAS SOPS 5439695 HAS SOUS 2072510 HAS SOUPS 2055793 WITH SCORE 2061258.385
AT ITER 7892 NEW BEST:: SOT 6255448 SOS 5465105 HAS SOPS 5439415 HAS SOUS 2072129 HAS SOUPS 2055412 WITH SCORE 2060877.105
AT ITER 7904 NEW BEST:: SOT 6255431 SOS 5465074 HAS SOPS 5439398 HAS SOUS 2071974 HAS SOUPS 2055271 WITH SCORE 2060736.074
AT ITER 7935 NEW BEST:: SOT 6255424 SOS 5465067 HAS SOPS 5439391 HAS SOUS 2071952 HAS SOUPS 2055249 WITH SCORE 2060714.067
AT ITER 7954 NEW BEST:: SOT 6255392 SOS 5465033 HAS SOPS 5439359 HAS SOUS 2071948 HAS SOUPS 2055247 WITH SCORE 2060712.033
AT ITER 8047 NEW BEST:: SOT 6254618 SOS 5464259 HAS SOPS 5438585 HAS SOUS 2070453 HAS SOUPS 2053752 WITH SCORE 2059216.259
AT ITER 8070 NEW BEST:: SOT 6253844 SOS 5463575 HAS SOPS 5437971 HAS SOUS 2070260 HAS SOUPS 2053629 WITH SCORE 2059092.575
AT ITER 8090 NEW BEST:: SOT 6253844 SOS 5463575 HAS SOPS 5437971 HAS SOUS 2070243 HAS SOUPS 2053612 WITH SCORE 2059075.575
AT ITER 8123 NEW BEST:: SOT 6253672 SOS 5463457 HAS SOPS 5437799 HAS SOUS 2069848 HAS SOUPS 2053163 WITH SCORE 2058626.457
AT ITER 8149 NEW BEST:: SOT 6253672 SOS 5463457 HAS SOPS 5437799 HAS SOUS 2069844 HAS SOUPS 2053159 WITH SCORE 2058622.457
AT ITER 8154 NEW BEST:: SOT 6253168 SOS 5462953 HAS SOPS 5437295 HAS SOUS 2068747 HAS SOUPS 2052062 WITH SCORE 2057524.953
AT ITER 8193 NEW BEST:: SOT 6251800 SOS 5461677 HAS SOPS 5436087 HAS SOUS 2068383 HAS SOUPS 2051766 WITH SCORE 2057227.677
AT ITER 8202 NEW BEST:: SOT 6251652 SOS 5461534 HAS SOPS 5435939 HAS SOUS 2067881 HAS SOUPS 2051259 WITH SCORE 2056720.534
AT ITER 8215 NEW BEST:: SOT 6251130 SOS 5461012 HAS SOPS 5435417 HAS SOUS 2067038 HAS SOUPS 2050416 WITH SCORE 2055877.012
AT ITER 8217 NEW BEST:: SOT 6251118 SOS 5461000 HAS SOPS 5435405 HAS SOUS 2067026 HAS SOUPS 2050404 WITH SCORE 2055865.0
AT ITER 8286 NEW BEST:: SOT 6250904 SOS 5460786 HAS SOPS 5435191 HAS SOUS 2066812 HAS SOUPS 2050190 WITH SCORE 2055650.786
AT ITER 8298 NEW BEST:: SOT 6250139 SOS 5460021 HAS SOPS 5434426 HAS SOUS 2065939 HAS SOUPS 2049317 WITH SCORE 2054777.021
AT ITER 8370 NEW BEST:: SOT 6249923 SOS 5461886 HAS SOPS 5436190 HAS SOUS 2065335 HAS SOUPS 2048713 WITH SCORE 2054174.886
AT ITER 8373 NEW BEST:: SOT 6249936 SOS 5461910 HAS SOPS 5436203 HAS SOUS 2065187 HAS SOUPS 2048554 WITH SCORE 2054015.91
AT ITER 8376 NEW BEST:: SOT 6247128 SOS 5459102 HAS SOPS 5433395 HAS SOUS 2062447 HAS SOUPS 2045814 WITH SCORE 2051273.102
AT ITER 8396 NEW BEST:: SOT 6247028 SOS 5459002 HAS SOPS 5433295 HAS SOUS 2062134 HAS SOUPS 2045501 WITH SCORE 2050960.002
AT ITER 8448 NEW BEST:: SOT 6246829 SOS 5458797 HAS SOPS 5433096 HAS SOUS 2061902 HAS SOUPS 2045275 WITH SCORE 2050733.797
AT ITER 8538 NEW BEST:: SOT 6246944 SOS 5459029 HAS SOPS 5433211 HAS SOUS 2061395 HAS SOUPS 2044651 WITH SCORE 2050110.029
AT ITER 8586 NEW BEST:: SOT 6248092 SOS 5460234 HAS SOPS 5434359 HAS SOUS 2058872 HAS SOUPS 2042071 WITH SCORE 2047531.234
AT ITER 8594 NEW BEST:: SOT 6248092 SOS 5456409 HAS SOPS 5430477 HAS SOUS 2058858 HAS SOUPS 2042052 WITH SCORE 2047508.409
AT ITER 8596 NEW BEST:: SOT 6247600 SOS 5455917 HAS SOPS 5429985 HAS SOUS 2058413 HAS SOUPS 2041607 WITH SCORE 2047062.917
AT ITER 8615 NEW BEST:: SOT 6247402 SOS 5455719 HAS SOPS 5429787 HAS SOUS 2058227 HAS SOUPS 2041421 WITH SCORE 2046876.719
AT ITER 8621 NEW BEST:: SOT 6245416 SOS 5453733 HAS SOPS 5427801 HAS SOUS 2056304 HAS SOUPS 2039498 WITH SCORE 2044951.733
AT ITER 8627 NEW BEST:: SOT 6245256 SOS 5453573 HAS SOPS 5427641 HAS SOUS 2055942 HAS SOUPS 2039136 WITH SCORE 2044589.573
AT ITER 8629 NEW BEST:: SOT 6244938 SOS 5453255 HAS SOPS 5427323 HAS SOUS 2055624 HAS SOUPS 2038818 WITH SCORE 2044271.255
AT ITER 8656 NEW BEST:: SOT 6242233 SOS 5450619 HAS SOPS 5424762 HAS SOUS 2053564 HAS SOUPS 2036833 WITH SCORE 2042283.619
AT ITER 8657 NEW BEST:: SOT 6242213 SOS 5450599 HAS SOPS 5424742 HAS SOUS 2053544 HAS SOUPS 2036813 WITH SCORE 2042263.599
AT ITER 8678 NEW BEST:: SOT 6241260 SOS 5449641 HAS SOPS 5423789 HAS SOUS 2052731 HAS SOUPS 2036005 WITH SCORE 2041454.641
AT ITER 8683 NEW BEST:: SOT 6241357 SOS 5449738 HAS SOPS 5423886 HAS SOUS 2052725 HAS SOUPS 2035999 WITH SCORE 2041448.738
AT ITER 8697 NEW BEST:: SOT 6241307 SOS 5449681 HAS SOPS 5423836 HAS SOUS 2052658 HAS SOUPS 2035939 WITH SCORE 2041388.681
AT ITER 8709 NEW BEST:: SOT 6242108 SOS 5450491 HAS SOPS 5424637 HAS SOUS 2052605 HAS SOUPS 2035877 WITH SCORE 2041327.491
AT ITER 8743 NEW BEST:: SOT 6242105 SOS 5450503 HAS SOPS 5424708 HAS SOUS 2052601 HAS SOUPS 2035874 WITH SCORE 2041324.503
AT ITER 8745 NEW BEST:: SOT 6239183 SOS 5447522 HAS SOPS 5421786 HAS SOUS 2050297 HAS SOUPS 2033629 WITH SCORE 2039076.522
AT ITER 8753 NEW BEST:: SOT 6239159 SOS 5447498 HAS SOPS 5421762 HAS SOUS 2050219 HAS SOUPS 2033551 WITH SCORE 2038998.498
AT ITER 8762 NEW BEST:: SOT 6239797 SOS 5448062 HAS SOPS 5422400 HAS SOUS 2049330 HAS SOUPS 2032736 WITH SCORE 2038184.062
AT ITER 8797 NEW BEST:: SOT 6239201 SOS 5447407 HAS SOPS 5421804 HAS SOUS 2048226 HAS SOUPS 2031691 WITH SCORE 2037138.407
AT ITER 8861 NEW BEST:: SOT 6239201 SOS 5447407 HAS SOPS 5421804 HAS SOUS 2048225 HAS SOUPS 2031690 WITH SCORE 2037137.407
AT ITER 8881 NEW BEST:: SOT 6239015 SOS 5447221 HAS SOPS 5421618 HAS SOUS 2047719 HAS SOUPS 2031184 WITH SCORE 2036631.221
AT ITER 8916 NEW BEST:: SOT 6236417 SOS 5447895 HAS SOPS 5422360 HAS SOUS 2047334 HAS SOUPS 2030867 WITH SCORE 2036314.895
AT ITER 8924 NEW BEST:: SOT 6236396 SOS 5447874 HAS SOPS 5422339 HAS SOUS 2047269 HAS SOUPS 2030802 WITH SCORE 2036249.874
AT ITER 8942 NEW BEST:: SOT 6236028 SOS 5447506 HAS SOPS 5421971 HAS SOUS 2046790 HAS SOUPS 2030323 WITH SCORE 2035770.506
AT ITER 9001 NEW BEST:: SOT 6235995 SOS 5447473 HAS SOPS 5421938 HAS SOUS 2046707 HAS SOUPS 2030240 WITH SCORE 2035687.473
AT ITER 9046 NEW BEST:: SOT 6235948 SOS 5447415 HAS SOPS 5421891 HAS SOUS 2046654 HAS SOUPS 2030198 WITH SCORE 2035645.415
AT ITER 9076 NEW BEST:: SOT 6235787 SOS 5447254 HAS SOPS 5421730 HAS SOUS 2046094 HAS SOUPS 2029638 WITH SCORE 2035085.254
AT ITER 9078 NEW BEST:: SOT 6235787 SOS 5446748 HAS SOPS 5421178 HAS SOUS 2046068 HAS SOUPS 2029612 WITH SCORE 2035058.748
AT ITER 9118 NEW BEST:: SOT 6235790 SOS 5444363 HAS SOPS 5418703 HAS SOUS 2046047 HAS SOUPS 2029591 WITH SCORE 2035035.363
AT ITER 9140 NEW BEST:: SOT 6235778 SOS 5444351 HAS SOPS 5418691 HAS SOUS 2046011 HAS SOUPS 2029555 WITH SCORE 2034999.351
AT ITER 9141 NEW BEST:: SOT 6235760 SOS 5444333 HAS SOPS 5418673 HAS SOUS 2045895 HAS SOUPS 2029439 WITH SCORE 2034883.333
AT ITER 9150 NEW BEST:: SOT 6236808 SOS 5445452 HAS SOPS 5419721 HAS SOUS 2045963 HAS SOUPS 2029436 WITH SCORE 2034881.452
AT ITER 9182 NEW BEST:: SOT 6236728 SOS 5445372 HAS SOPS 5419641 HAS SOUS 2045883 HAS SOUPS 2029356 WITH SCORE 2034801.372
AT ITER 9254 NEW BEST:: SOT 6236059 SOS 5444670 HAS SOPS 5418972 HAS SOUS 2045392 HAS SOUPS 2028898 WITH SCORE 2034342.67
AT ITER 9257 NEW BEST:: SOT 6235791 SOS 5444402 HAS SOPS 5418704 HAS SOUS 2044985 HAS SOUPS 2028491 WITH SCORE 2033935.402
AT ITER 9282 NEW BEST:: SOT 6235753 SOS 5444364 HAS SOPS 5418666 HAS SOUS 2044928 HAS SOUPS 2028434 WITH SCORE 2033878.364
AT ITER 9284 NEW BEST:: SOT 6234600 SOS 5443621 HAS SOPS 5418041 HAS SOUS 2044184 HAS SOUPS 2027808 WITH SCORE 2033251.621
AT ITER 9298 NEW BEST:: SOT 6234600 SOS 5442822 HAS SOPS 5417208 HAS SOUS 2044178 HAS SOUPS 2027802 WITH SCORE 2033244.822
AT ITER 9306 NEW BEST:: SOT 6234266 SOS 5442488 HAS SOPS 5416874 HAS SOUS 2043758 HAS SOUPS 2027382 WITH SCORE 2032824.488
AT ITER 9320 NEW BEST:: SOT 6234218 SOS 5442440 HAS SOPS 5416826 HAS SOUS 2043640 HAS SOUPS 2027264 WITH SCORE 2032706.44
AT ITER 9323 NEW BEST:: SOT 6231931 SOS 5440278 HAS SOPS 5414539 HAS SOUS 2041570 HAS SOUPS 2025069 WITH SCORE 2030509.278
AT ITER 9335 NEW BEST:: SOT 6231800 SOS 5440147 HAS SOPS 5414408 HAS SOUS 2041358 HAS SOUPS 2024857 WITH SCORE 2030297.147
AT ITER 9342 NEW BEST:: SOT 6231800 SOS 5439515 HAS SOPS 5413776 HAS SOUS 2041312 HAS SOUPS 2024811 WITH SCORE 2030250.515
AT ITER 9347 NEW BEST:: SOT 6231176 SOS 5438891 HAS SOPS 5413152 HAS SOUS 2040286 HAS SOUPS 2023785 WITH SCORE 2029223.891
AT ITER 9373 NEW BEST:: SOT 6230399 SOS 5438089 HAS SOPS 5412375 HAS SOUS 2039513 HAS SOUPS 2023037 WITH SCORE 2028475.089
AT ITER 9412 NEW BEST:: SOT 6230039 SOS 5437729 HAS SOPS 5412015 HAS SOUS 2039188 HAS SOUPS 2022712 WITH SCORE 2028149.729
AT ITER 9418 NEW BEST:: SOT 6230000 SOS 5437690 HAS SOPS 5411976 HAS SOUS 2039129 HAS SOUPS 2022653 WITH SCORE 2028090.69
AT ITER 9438 NEW BEST:: SOT 6229592 SOS 5437273 HAS SOPS 5411568 HAS SOUS 2038725 HAS SOUPS 2022258 WITH SCORE 2027695.273
AT ITER 9464 NEW BEST:: SOT 6229602 SOS 5430543 HAS SOPS 5404534 HAS SOUS 2038713 HAS SOUPS 2022236 WITH SCORE 2027666.543
AT ITER 9471 NEW BEST:: SOT 6229534 SOS 5430475 HAS SOPS 5404466 HAS SOUS 2038517 HAS SOUPS 2022040 WITH SCORE 2027470.475
AT ITER 9480 NEW BEST:: SOT 6229481 SOS 5430422 HAS SOPS 5404413 HAS SOUS 2038461 HAS SOUPS 2021984 WITH SCORE 2027414.422
AT ITER 9481 NEW BEST:: SOT 6229443 SOS 5430356 HAS SOPS 5404375 HAS SOUS 2038253 HAS SOUPS 2021804 WITH SCORE 2027234.356
AT ITER 9510 NEW BEST:: SOT 6229442 SOS 5430355 HAS SOPS 5404374 HAS SOUS 2038251 HAS SOUPS 2021802 WITH SCORE 2027232.355
AT ITER 9541 NEW BEST:: SOT 6229423 SOS 5430336 HAS SOPS 5404355 HAS SOUS 2037827 HAS SOUPS 2021378 WITH SCORE 2026808.336
AT ITER 9553 NEW BEST:: SOT 6229571 SOS 5430496 HAS SOPS 5404503 HAS SOUS 2037751 HAS SOUPS 2021290 WITH SCORE 2026720.496
AT ITER 9623 NEW BEST:: SOT 6228804 SOS 5429703 HAS SOPS 5403736 HAS SOUS 2036835 HAS SOUPS 2020400 WITH SCORE 2025829.703
AT ITER 9672 NEW BEST:: SOT 6228779 SOS 5429678 HAS SOPS 5403711 HAS SOUS 2036754 HAS SOUPS 2020319 WITH SCORE 2025748.678
AT ITER 9704 NEW BEST:: SOT 6228686 SOS 5429578 HAS SOPS 5403618 HAS SOUS 2036651 HAS SOUPS 2020223 WITH SCORE 2025652.578
AT ITER 9727 NEW BEST:: SOT 6228648 SOS 5429540 HAS SOPS 5403580 HAS SOUS 2036488 HAS SOUPS 2020060 WITH SCORE 2025489.54
AT ITER 9744 NEW BEST:: SOT 6229263 SOS 5430083 HAS SOPS 5404195 HAS SOUS 2034417 HAS SOUPS 2018061 WITH SCORE 2023491.083
AT ITER 9748 NEW BEST:: SOT 6229023 SOS 5429828 HAS SOPS 5403955 HAS SOUS 2033946 HAS SOUPS 2017605 WITH SCORE 2023034.828
AT ITER 9757 NEW BEST:: SOT 6228979 SOS 5429777 HAS SOPS 5403911 HAS SOUS 2033905 HAS SOUPS 2017571 WITH SCORE 2023000.777
AT ITER 9765 NEW BEST:: SOT 6228731 SOS 5429529 HAS SOPS 5403663 HAS SOUS 2033255 HAS SOUPS 2016921 WITH SCORE 2022350.529
AT ITER 9776 NEW BEST:: SOT 6228678 SOS 5429460 HAS SOPS 5403610 HAS SOUS 2033173 HAS SOUPS 2016855 WITH SCORE 2022284.46
AT ITER 9778 NEW BEST:: SOT 6228678 SOS 5428830 HAS SOPS 5403010 HAS SOUS 2033108 HAS SOUPS 2016790 WITH SCORE 2022218.83
AT ITER 9791 NEW BEST:: SOT 6228914 SOS 5429066 HAS SOPS 5403246 HAS SOUS 2032755 HAS SOUPS 2016437 WITH SCORE 2021866.066
AT ITER 9839 NEW BEST:: SOT 6228779 SOS 5428931 HAS SOPS 5403111 HAS SOUS 2032341 HAS SOUPS 2016023 WITH SCORE 2021451.931
AT ITER 9866 NEW BEST:: SOT 6228722 SOS 5428874 HAS SOPS 5403054 HAS SOUS 2032201 HAS SOUPS 2015883 WITH SCORE 2021311.874
AT ITER 9874 NEW BEST:: SOT 6228602 SOS 5428754 HAS SOPS 5402934 HAS SOUS 2032145 HAS SOUPS 2015827 WITH SCORE 2021255.754
AT ITER 9876 NEW BEST:: SOT 6228566 SOS 5428718 HAS SOPS 5402898 HAS SOUS 2032109 HAS SOUPS 2015791 WITH SCORE 2021219.718
AT ITER 9888 NEW BEST:: SOT 6228354 SOS 5428513 HAS SOPS 5402686 HAS SOUS 2031649 HAS SOUPS 2015324 WITH SCORE 2020752.513
AT ITER 9980 NEW BEST:: SOT 6228277 SOS 5428443 HAS SOPS 5402609 HAS SOUS 2031432 HAS SOUPS 2015100 WITH SCORE 2020528.443
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15104088 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16091092 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="PhilosophersDyn-COL-20"
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 PhilosophersDyn-COL-20, 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 r299-tall-167873952800296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PhilosophersDyn-COL-20.tgz
mv PhilosophersDyn-COL-20 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;