Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502300048.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RERS17pb113-PT-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502300048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.4K Apr 12 07:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 07:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 11 08:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 08:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 2.9K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 14:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 14:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 9 20:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 9 20:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 15M Mar 24 05:37 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 1589675197309

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 6
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 8 NEW BEST:: SOT 12195657 SOS 7745086 HAS SOPS 6413476 HAS SOUS 3043252 HAS SOUPS 2942762 WITH SCORE 2950507.086
AT ITER 22 NEW BEST:: SOT 12195465 SOS 7744636 HAS SOPS 6412645 HAS SOUS 3042870 HAS SOUPS 2942380 WITH SCORE 2950124.636
AT ITER 32 NEW BEST:: SOT 12195541 SOS 7745336 HAS SOPS 6414678 HAS SOUS 3042086 HAS SOUPS 2941596 WITH SCORE 2949341.336
AT ITER 48 NEW BEST:: SOT 12194839 SOS 7740444 HAS SOPS 6417039 HAS SOUS 3040021 HAS SOUPS 2939945 WITH SCORE 2947685.444
AT ITER 51 NEW BEST:: SOT 12194020 SOS 7739594 HAS SOPS 6415724 HAS SOUS 3038631 HAS SOUPS 2938150 WITH SCORE 2945889.594
AT ITER 54 NEW BEST:: SOT 12194298 SOS 7743129 HAS SOPS 6420219 HAS SOUS 3037702 HAS SOUPS 2937221 WITH SCORE 2944964.129
AT ITER 71 NEW BEST:: SOT 12194990 SOS 7743810 HAS SOPS 6420735 HAS SOUS 3037018 HAS SOUPS 2936537 WITH SCORE 2944280.81
AT ITER 73 NEW BEST:: SOT 12193427 SOS 7740995 HAS SOPS 6417349 HAS SOUS 3033829 HAS SOUPS 2933444 WITH SCORE 2941184.995
AT ITER 88 NEW BEST:: SOT 12196740 SOS 7746352 HAS SOPS 6422453 HAS SOUS 3031608 HAS SOUPS 2931209 WITH SCORE 2938955.352
AT ITER 95 NEW BEST:: SOT 12194966 SOS 7744560 HAS SOPS 6419995 HAS SOUS 3029269 HAS SOUPS 2928625 WITH SCORE 2936369.56
AT ITER 96 NEW BEST:: SOT 12203339 SOS 7768748 HAS SOPS 6440276 HAS SOUS 3029164 HAS SOUPS 2928520 WITH SCORE 2936288.748
AT ITER 101 NEW BEST:: SOT 12200914 SOS 7764010 HAS SOPS 6441935 HAS SOUS 3021056 HAS SOUPS 2921860 WITH SCORE 2929624.01
AT ITER 102 NEW BEST:: SOT 12201034 SOS 7765283 HAS SOPS 6442604 HAS SOUS 3020634 HAS SOUPS 2921438 WITH SCORE 2929203.283
AT ITER 105 NEW BEST:: SOT 12205091 SOS 7769402 HAS SOPS 6447908 HAS SOUS 3019880 HAS SOUPS 2920712 WITH SCORE 2928481.402
AT ITER 106 NEW BEST:: SOT 12204618 SOS 7771106 HAS SOPS 6448335 HAS SOUS 3016307 HAS SOUPS 2917139 WITH SCORE 2924910.106
AT ITER 110 NEW BEST:: SOT 12191236 SOS 7755748 HAS SOPS 6430965 HAS SOUS 2992768 HAS SOUPS 2893782 WITH SCORE 2901537.748
AT ITER 111 NEW BEST:: SOT 12191377 SOS 7755118 HAS SOPS 6431081 HAS SOUS 2992644 HAS SOUPS 2893658 WITH SCORE 2901413.118
AT ITER 112 NEW BEST:: SOT 12199549 SOS 7760693 HAS SOPS 6449833 HAS SOUS 2991970 HAS SOUPS 2892984 WITH SCORE 2900744.693
AT ITER 121 NEW BEST:: SOT 12199484 SOS 7760531 HAS SOPS 6450061 HAS SOUS 2989808 HAS SOUPS 2890824 WITH SCORE 2898584.531
AT ITER 126 NEW BEST:: SOT 12196404 SOS 7751921 HAS SOPS 6443918 HAS SOUS 2989772 HAS SOUPS 2890788 WITH SCORE 2898539.921
AT ITER 138 NEW BEST:: SOT 12197060 SOS 7755273 HAS SOPS 6446956 HAS SOUS 2989352 HAS SOUPS 2890368 WITH SCORE 2898123.273
AT ITER 140 NEW BEST:: SOT 12200320 SOS 7764208 HAS SOPS 6459516 HAS SOUS 2988253 HAS SOUPS 2889269 WITH SCORE 2897033.208
AT ITER 147 NEW BEST:: SOT 12185463 SOS 7748704 HAS SOPS 6443955 HAS SOUS 2970935 HAS SOUPS 2872026 WITH SCORE 2879774.704
AT ITER 177 NEW BEST:: SOT 12185467 SOS 7749160 HAS SOPS 6444195 HAS SOUS 2969858 HAS SOUPS 2871086 WITH SCORE 2878835.16
AT ITER 182 NEW BEST:: SOT 12174673 SOS 7738309 HAS SOPS 6432268 HAS SOUS 2956281 HAS SOUPS 2856869 WITH SCORE 2864607.309
AT ITER 183 NEW BEST:: SOT 12174529 SOS 7736881 HAS SOPS 6429594 HAS SOUS 2955129 HAS SOUPS 2855717 WITH SCORE 2863453.881
AT ITER 185 NEW BEST:: SOT 12175278 SOS 7742774 HAS SOPS 6431517 HAS SOUS 2951873 HAS SOUPS 2852407 WITH SCORE 2860149.774
AT ITER 191 NEW BEST:: SOT 12172095 SOS 7739099 HAS SOPS 6428967 HAS SOUS 2949355 HAS SOUPS 2849889 WITH SCORE 2857628.099
AT ITER 201 NEW BEST:: SOT 12170145 SOS 7737305 HAS SOPS 6427305 HAS SOUS 2944940 HAS SOUPS 2845550 WITH SCORE 2853287.305
AT ITER 207 NEW BEST:: SOT 12163206 SOS 7728561 HAS SOPS 6419643 HAS SOUS 2937134 HAS SOUPS 2838369 WITH SCORE 2846097.561
AT ITER 210 NEW BEST:: SOT 12162938 SOS 7728327 HAS SOPS 6418384 HAS SOUS 2932882 HAS SOUPS 2834141 WITH SCORE 2841869.327
AT ITER 211 NEW BEST:: SOT 12162728 SOS 7726777 HAS SOPS 6418256 HAS SOUS 2932584 HAS SOUPS 2833843 WITH SCORE 2841569.777
AT ITER 219 NEW BEST:: SOT 12162963 SOS 7727971 HAS SOPS 6419485 HAS SOUS 2932505 HAS SOUPS 2833764 WITH SCORE 2841491.971
AT ITER 222 NEW BEST:: SOT 12162470 SOS 7727448 HAS SOPS 6418512 HAS SOUS 2930208 HAS SOUPS 2831467 WITH SCORE 2839194.448
AT ITER 229 NEW BEST:: SOT 12157132 SOS 7717743 HAS SOPS 6409329 HAS SOUS 2917601 HAS SOUPS 2819024 WITH SCORE 2826741.743
AT ITER 234 NEW BEST:: SOT 12157450 SOS 7718455 HAS SOPS 6409205 HAS SOUS 2917111 HAS SOUPS 2818534 WITH SCORE 2826252.455
AT ITER 237 NEW BEST:: SOT 12153304 SOS 7715880 HAS SOPS 6408170 HAS SOUS 2906605 HAS SOUPS 2808209 WITH SCORE 2815924.88
AT ITER 239 NEW BEST:: SOT 12149011 SOS 7711794 HAS SOPS 6410364 HAS SOUS 2903896 HAS SOUPS 2805653 WITH SCORE 2813364.794
AT ITER 242 NEW BEST:: SOT 12147217 SOS 7707707 HAS SOPS 6409805 HAS SOUS 2903600 HAS SOUPS 2805357 WITH SCORE 2813064.707
AT ITER 247 NEW BEST:: SOT 12144511 SOS 7705001 HAS SOPS 6407099 HAS SOUS 2901554 HAS SOUPS 2803311 WITH SCORE 2811016.001
AT ITER 257 NEW BEST:: SOT 12144695 SOS 7706219 HAS SOPS 6407712 HAS SOUS 2900942 HAS SOUPS 2802699 WITH SCORE 2810405.219
AT ITER 268 NEW BEST:: SOT 12140011 SOS 7698082 HAS SOPS 6406625 HAS SOUS 2888733 HAS SOUPS 2791115 WITH SCORE 2798813.082
AT ITER 277 NEW BEST:: SOT 12141615 SOS 7699911 HAS SOPS 6407682 HAS SOUS 2883247 HAS SOUPS 2786321 WITH SCORE 2794020.911
AT ITER 295 NEW BEST:: SOT 12141700 SOS 7701660 HAS SOPS 6409460 HAS SOUS 2880966 HAS SOUPS 2784057 WITH SCORE 2791758.66
AT ITER 303 NEW BEST:: SOT 12141625 SOS 7702125 HAS SOPS 6409882 HAS SOUS 2880788 HAS SOUPS 2783879 WITH SCORE 2791581.125
AT ITER 316 NEW BEST:: SOT 12141084 SOS 7701791 HAS SOPS 6409009 HAS SOUS 2879687 HAS SOUPS 2782708 WITH SCORE 2790409.791
AT ITER 317 NEW BEST:: SOT 12137919 SOS 7698408 HAS SOPS 6406305 HAS SOUS 2870151 HAS SOUPS 2773571 WITH SCORE 2781269.408
AT ITER 318 NEW BEST:: SOT 12140844 SOS 7712652 HAS SOPS 6422268 HAS SOUS 2852528 HAS SOUPS 2755828 WITH SCORE 2763540.652
AT ITER 325 NEW BEST:: SOT 12117589 SOS 7683131 HAS SOPS 6392369 HAS SOUS 2811619 HAS SOUPS 2715026 WITH SCORE 2722709.131
AT ITER 329 NEW BEST:: SOT 12118823 SOS 7690180 HAS SOPS 6401322 HAS SOUS 2799159 HAS SOUPS 2702480 WITH SCORE 2710170.18
AT ITER 332 NEW BEST:: SOT 12118746 SOS 7690115 HAS SOPS 6401237 HAS SOUS 2799036 HAS SOUPS 2702357 WITH SCORE 2710047.115
AT ITER 340 NEW BEST:: SOT 12117882 SOS 7688687 HAS SOPS 6400059 HAS SOUS 2798208 HAS SOUPS 2701529 WITH SCORE 2709217.687
AT ITER 341 NEW BEST:: SOT 12116288 SOS 7684187 HAS SOPS 6397012 HAS SOUS 2798193 HAS SOUPS 2701514 WITH SCORE 2709198.187
AT ITER 343 NEW BEST:: SOT 12116208 SOS 7684133 HAS SOPS 6396921 HAS SOUS 2798038 HAS SOUPS 2701359 WITH SCORE 2709043.133
AT ITER 349 NEW BEST:: SOT 12115505 SOS 7683074 HAS SOPS 6395294 HAS SOUS 2796362 HAS SOUPS 2699669 WITH SCORE 2707352.074
AT ITER 351 NEW BEST:: SOT 12120828 SOS 7699960 HAS SOPS 6411889 HAS SOUS 2796087 HAS SOUPS 2699394 WITH SCORE 2707093.96
AT ITER 357 NEW BEST:: SOT 12120389 SOS 7700309 HAS SOPS 6412196 HAS SOUS 2794220 HAS SOUPS 2697527 WITH SCORE 2705227.309
AT ITER 364 NEW BEST:: SOT 12119428 SOS 7699282 HAS SOPS 6411948 HAS SOUS 2792171 HAS SOUPS 2695478 WITH SCORE 2703177.282
AT ITER 376 NEW BEST:: SOT 12120740 SOS 7703977 HAS SOPS 6417016 HAS SOUS 2790093 HAS SOUPS 2693400 WITH SCORE 2701103.977
AT ITER 383 NEW BEST:: SOT 12097802 SOS 7679571 HAS SOPS 6391737 HAS SOUS 2748788 HAS SOUPS 2651881 WITH SCORE 2659560.571
AT ITER 391 NEW BEST:: SOT 12097892 SOS 7680125 HAS SOPS 6392204 HAS SOUS 2748704 HAS SOUPS 2651797 WITH SCORE 2659477.125
AT ITER 392 NEW BEST:: SOT 12097059 SOS 7679154 HAS SOPS 6390958 HAS SOUS 2748334 HAS SOUPS 2651427 WITH SCORE 2659106.154
AT ITER 397 NEW BEST:: SOT 12097046 SOS 7679141 HAS SOPS 6390945 HAS SOUS 2748113 HAS SOUPS 2651206 WITH SCORE 2658885.141
AT ITER 400 NEW BEST:: SOT 12096609 SOS 7678291 HAS SOPS 6389866 HAS SOUS 2747789 HAS SOUPS 2650868 WITH SCORE 2658546.291
AT ITER 401 NEW BEST:: SOT 12094819 SOS 7676693 HAS SOPS 6389102 HAS SOUS 2744178 HAS SOUPS 2647257 WITH SCORE 2654933.693
AT ITER 413 NEW BEST:: SOT 12098633 SOS 7694861 HAS SOPS 6407382 HAS SOUS 2743918 HAS SOUPS 2647159 WITH SCORE 2654853.861
AT ITER 428 NEW BEST:: SOT 12098842 SOS 7695072 HAS SOPS 6407660 HAS SOUS 2743568 HAS SOUPS 2647060 WITH SCORE 2654755.072
AT ITER 431 NEW BEST:: SOT 12098741 SOS 7694609 HAS SOPS 6407408 HAS SOUS 2743328 HAS SOUPS 2646820 WITH SCORE 2654514.609
AT ITER 434 NEW BEST:: SOT 12098373 SOS 7694385 HAS SOPS 6407149 HAS SOUS 2741911 HAS SOUPS 2645403 WITH SCORE 2653097.385
AT ITER 439 NEW BEST:: SOT 12098076 SOS 7693394 HAS SOPS 6407261 HAS SOUS 2741771 HAS SOUPS 2645263 WITH SCORE 2652956.394
AT ITER 445 NEW BEST:: SOT 12098026 SOS 7695777 HAS SOPS 6407935 HAS SOUS 2741027 HAS SOUPS 2644472 WITH SCORE 2652167.777
AT ITER 447 NEW BEST:: SOT 12097519 SOS 7701122 HAS SOPS 6409822 HAS SOUS 2740903 HAS SOUPS 2644204 WITH SCORE 2651905.122
AT ITER 457 NEW BEST:: SOT 12087709 SOS 7686365 HAS SOPS 6395223 HAS SOUS 2725900 HAS SOUPS 2629278 WITH SCORE 2636964.365
AT ITER 460 NEW BEST:: SOT 12082312 SOS 7675686 HAS SOPS 6386252 HAS SOUS 2718829 HAS SOUPS 2622447 WITH SCORE 2630122.686
AT ITER 482 NEW BEST:: SOT 12082221 SOS 7675786 HAS SOPS 6385183 HAS SOUS 2716898 HAS SOUPS 2620516 WITH SCORE 2628191.786
AT ITER 497 NEW BEST:: SOT 12081457 SOS 7674657 HAS SOPS 6383258 HAS SOUS 2711042 HAS SOUPS 2614698 WITH SCORE 2622372.657
AT ITER 517 NEW BEST:: SOT 12080008 SOS 7674443 HAS SOPS 6381809 HAS SOUS 2709673 HAS SOUPS 2613249 WITH SCORE 2620923.443
AT ITER 526 NEW BEST:: SOT 12077631 SOS 7670882 HAS SOPS 6379969 HAS SOUS 2706156 HAS SOUPS 2609743 WITH SCORE 2617413.882
AT ITER 530 NEW BEST:: SOT 12077477 SOS 7670899 HAS SOPS 6379986 HAS SOUS 2706124 HAS SOUPS 2609711 WITH SCORE 2617381.899
AT ITER 531 NEW BEST:: SOT 12066647 SOS 7662276 HAS SOPS 6368575 HAS SOUS 2697604 HAS SOUPS 2601191 WITH SCORE 2608853.276
AT ITER 548 NEW BEST:: SOT 12066952 SOS 7664111 HAS SOPS 6370425 HAS SOUS 2697526 HAS SOUPS 2601113 WITH SCORE 2608777.111
AT ITER 571 NEW BEST:: SOT 12065513 SOS 7668034 HAS SOPS 6368080 HAS SOUS 2691639 HAS SOUPS 2595226 WITH SCORE 2602894.034
AT ITER 592 NEW BEST:: SOT 12064545 SOS 7666087 HAS SOPS 6367071 HAS SOUS 2687649 HAS SOUPS 2591687 WITH SCORE 2599353.087
AT ITER 599 NEW BEST:: SOT 12057590 SOS 7652774 HAS SOPS 6357115 HAS SOUS 2680457 HAS SOUPS 2584580 WITH SCORE 2592232.774
AT ITER 601 NEW BEST:: SOT 12057472 SOS 7654599 HAS SOPS 6359005 HAS SOUS 2678554 HAS SOUPS 2582707 WITH SCORE 2590361.599
AT ITER 604 NEW BEST:: SOT 12027427 SOS 7620513 HAS SOPS 6324613 HAS SOUS 2630720 HAS SOUPS 2535015 WITH SCORE 2542635.513
AT ITER 605 NEW BEST:: SOT 12026519 SOS 7619605 HAS SOPS 6323401 HAS SOUS 2628704 HAS SOUPS 2532999 WITH SCORE 2540618.605
AT ITER 607 NEW BEST:: SOT 12025617 SOS 7618703 HAS SOPS 6322499 HAS SOUS 2627802 HAS SOUPS 2532097 WITH SCORE 2539715.703
AT ITER 608 NEW BEST:: SOT 12025617 SOS 7618688 HAS SOPS 6322484 HAS SOUS 2627802 HAS SOUPS 2532097 WITH SCORE 2539715.688
AT ITER 613 NEW BEST:: SOT 12026131 SOS 7620194 HAS SOPS 6322708 HAS SOUS 2625658 HAS SOUPS 2529953 WITH SCORE 2537573.194
AT ITER 621 NEW BEST:: SOT 12026131 SOS 7620138 HAS SOPS 6322652 HAS SOUS 2625572 HAS SOUPS 2529867 WITH SCORE 2537487.138
AT ITER 626 NEW BEST:: SOT 12026112 SOS 7620119 HAS SOPS 6322633 HAS SOUS 2625369 HAS SOUPS 2529664 WITH SCORE 2537284.119
AT ITER 633 NEW BEST:: SOT 12025870 SOS 7625135 HAS SOPS 6327395 HAS SOUS 2619774 HAS SOUPS 2524166 WITH SCORE 2531791.135
AT ITER 639 NEW BEST:: SOT 12025691 SOS 7624714 HAS SOPS 6327137 HAS SOUS 2619679 HAS SOUPS 2524071 WITH SCORE 2531695.714
AT ITER 640 NEW BEST:: SOT 12024926 SOS 7620111 HAS SOPS 6324024 HAS SOUS 2619367 HAS SOUPS 2523759 WITH SCORE 2531379.111
AT ITER 657 NEW BEST:: SOT 12023374 SOS 7614430 HAS SOPS 6319308 HAS SOUS 2617583 HAS SOUPS 2521905 WITH SCORE 2529519.43
AT ITER 660 NEW BEST:: SOT 12024104 SOS 7614073 HAS SOPS 6319623 HAS SOUS 2616710 HAS SOUPS 2521036 WITH SCORE 2528650.073
AT ITER 662 NEW BEST:: SOT 12023109 SOS 7609775 HAS SOPS 6315590 HAS SOUS 2612300 HAS SOUPS 2516879 WITH SCORE 2524488.775
AT ITER 664 NEW BEST:: SOT 12014192 SOS 7591859 HAS SOPS 6300321 HAS SOUS 2610527 HAS SOUPS 2515106 WITH SCORE 2522697.859
AT ITER 680 NEW BEST:: SOT 12012614 SOS 7589434 HAS SOPS 6297252 HAS SOUS 2606666 HAS SOUPS 2511238 WITH SCORE 2518827.434
AT ITER 691 NEW BEST:: SOT 12010698 SOS 7587443 HAS SOPS 6295353 HAS SOUS 2603182 HAS SOUPS 2507753 WITH SCORE 2515340.443
AT ITER 698 NEW BEST:: SOT 12004423 SOS 7581201 HAS SOPS 6289108 HAS SOUS 2596166 HAS SOUPS 2500735 WITH SCORE 2508316.201
AT ITER 699 NEW BEST:: SOT 12004381 SOS 7581159 HAS SOPS 6289066 HAS SOUS 2595912 HAS SOUPS 2500481 WITH SCORE 2508062.159
AT ITER 707 NEW BEST:: SOT 12004405 SOS 7580955 HAS SOPS 6288922 HAS SOUS 2595903 HAS SOUPS 2500472 WITH SCORE 2508052.955
AT ITER 721 NEW BEST:: SOT 12012813 SOS 7608116 HAS SOPS 6317304 HAS SOUS 2586986 HAS SOUPS 2491766 WITH SCORE 2499374.116
AT ITER 732 NEW BEST:: SOT 12011972 SOS 7607332 HAS SOPS 6315202 HAS SOUS 2584829 HAS SOUPS 2489609 WITH SCORE 2497216.332
AT ITER 744 NEW BEST:: SOT 12014364 SOS 7615676 HAS SOPS 6323538 HAS SOUS 2584131 HAS SOUPS 2488964 WITH SCORE 2496579.676
AT ITER 762 NEW BEST:: SOT 12013839 SOS 7614275 HAS SOPS 6322333 HAS SOUS 2583212 HAS SOUPS 2488057 WITH SCORE 2495671.275
AT ITER 772 NEW BEST:: SOT 12013762 SOS 7613412 HAS SOPS 6321448 HAS SOUS 2582238 HAS SOUPS 2487098 WITH SCORE 2494711.412
AT ITER 792 NEW BEST:: SOT 12013152 SOS 7611929 HAS SOPS 6320343 HAS SOUS 2581329 HAS SOUPS 2486189 WITH SCORE 2493800.929
AT ITER 803 NEW BEST:: SOT 12010299 SOS 7607708 HAS SOPS 6315378 HAS SOUS 2572357 HAS SOUPS 2477744 WITH SCORE 2485351.708
AT ITER 813 NEW BEST:: SOT 12009830 SOS 7607814 HAS SOPS 6314909 HAS SOUS 2566063 HAS SOUPS 2471450 WITH SCORE 2479057.814
AT ITER 856 NEW BEST:: SOT 12003314 SOS 7600447 HAS SOPS 6307785 HAS SOUS 2558605 HAS SOUPS 2463992 WITH SCORE 2471592.447
AT ITER 865 NEW BEST:: SOT 12000986 SOS 7593875 HAS SOPS 6303222 HAS SOUS 2557280 HAS SOUPS 2462702 WITH SCORE 2470295.875
AT ITER 879 NEW BEST:: SOT 11999780 SOS 7590372 HAS SOPS 6300526 HAS SOUS 2554498 HAS SOUPS 2459920 WITH SCORE 2467510.372
AT ITER 886 NEW BEST:: SOT 11998001 SOS 7586949 HAS SOPS 6298196 HAS SOUS 2551133 HAS SOUPS 2456555 WITH SCORE 2464141.949
AT ITER 919 NEW BEST:: SOT 12001604 SOS 7594431 HAS SOPS 6304115 HAS SOUS 2543769 HAS SOUPS 2449127 WITH SCORE 2456721.431
AT ITER 961 NEW BEST:: SOT 12001736 SOS 7595614 HAS SOPS 6306798 HAS SOUS 2543269 HAS SOUPS 2448664 WITH SCORE 2456259.614
AT ITER 962 NEW BEST:: SOT 12000858 SOS 7592323 HAS SOPS 6303183 HAS SOUS 2536470 HAS SOUPS 2441921 WITH SCORE 2449513.323
AT ITER 988 NEW BEST:: SOT 11996380 SOS 7583135 HAS SOPS 6294015 HAS SOUS 2535899 HAS SOUPS 2441350 WITH SCORE 2448933.135
AT ITER 999 NEW BEST:: SOT 11995789 SOS 7581765 HAS SOPS 6293962 HAS SOUS 2535186 HAS SOUPS 2440637 WITH SCORE 2448218.765
AT ITER 1021 NEW BEST:: SOT 11996490 SOS 7580125 HAS SOPS 6291590 HAS SOUS 2532132 HAS SOUPS 2437615 WITH SCORE 2445195.125
AT ITER 1027 NEW BEST:: SOT 11992873 SOS 7576555 HAS SOPS 6288065 HAS SOUS 2529746 HAS SOUPS 2435370 WITH SCORE 2442946.555
AT ITER 1029 NEW BEST:: SOT 11998436 SOS 7583182 HAS SOPS 6294117 HAS SOUS 2526268 HAS SOUPS 2431846 WITH SCORE 2439429.182
AT ITER 1039 NEW BEST:: SOT 11997875 SOS 7582534 HAS SOPS 6292952 HAS SOUS 2524254 HAS SOUPS 2429865 WITH SCORE 2437447.534
AT ITER 1053 NEW BEST:: SOT 11998060 SOS 7583222 HAS SOPS 6294173 HAS SOUS 2523180 HAS SOUPS 2428791 WITH SCORE 2436374.222
AT ITER 1057 NEW BEST:: SOT 11998167 SOS 7583042 HAS SOPS 6294107 HAS SOUS 2518347 HAS SOUPS 2424186 WITH SCORE 2431769.042
AT ITER 1062 NEW BEST:: SOT 11997619 SOS 7582494 HAS SOPS 6293271 HAS SOUS 2516647 HAS SOUPS 2422486 WITH SCORE 2430068.494
AT ITER 1066 NEW BEST:: SOT 11991509 SOS 7575195 HAS SOPS 6284705 HAS SOUS 2503158 HAS SOUPS 2409055 WITH SCORE 2416630.195
AT ITER 1070 NEW BEST:: SOT 11989961 SOS 7569770 HAS SOPS 6282783 HAS SOUS 2498772 HAS SOUPS 2404771 WITH SCORE 2412340.77
AT ITER 1076 NEW BEST:: SOT 11989053 SOS 7568609 HAS SOPS 6277809 HAS SOUS 2492706 HAS SOUPS 2398705 WITH SCORE 2406273.609
AT ITER 1080 NEW BEST:: SOT 11988760 SOS 7568251 HAS SOPS 6277514 HAS SOUS 2492007 HAS SOUPS 2398035 WITH SCORE 2405603.251
AT ITER 1082 NEW BEST:: SOT 11988213 SOS 7567486 HAS SOPS 6275978 HAS SOUS 2491111 HAS SOUPS 2397139 WITH SCORE 2404706.486
AT ITER 1092 NEW BEST:: SOT 11987482 SOS 7566152 HAS SOPS 6274553 HAS SOUS 2490740 HAS SOUPS 2396796 WITH SCORE 2404362.152
AT ITER 1100 NEW BEST:: SOT 11989334 SOS 7573724 HAS SOPS 6283267 HAS SOUS 2489720 HAS SOUPS 2395832 WITH SCORE 2403405.724
AT ITER 1103 NEW BEST:: SOT 11989189 SOS 7573023 HAS SOPS 6282348 HAS SOUS 2489393 HAS SOUPS 2395505 WITH SCORE 2403078.023
AT ITER 1104 NEW BEST:: SOT 11990057 SOS 7575376 HAS SOPS 6285197 HAS SOUS 2485733 HAS SOUPS 2392287 WITH SCORE 2399862.376
AT ITER 1110 NEW BEST:: SOT 11989943 SOS 7575262 HAS SOPS 6285003 HAS SOUS 2485547 HAS SOUPS 2392101 WITH SCORE 2399676.262
AT ITER 1112 NEW BEST:: SOT 11987771 SOS 7573090 HAS SOPS 6282831 HAS SOUS 2483115 HAS SOUPS 2389669 WITH SCORE 2397242.09
AT ITER 1115 NEW BEST:: SOT 11988781 SOS 7574100 HAS SOPS 6283185 HAS SOUS 2482333 HAS SOUPS 2388727 WITH SCORE 2396301.1
AT ITER 1119 NEW BEST:: SOT 11988484 SOS 7573803 HAS SOPS 6282840 HAS SOUS 2481829 HAS SOUPS 2388223 WITH SCORE 2395796.803
AT ITER 1123 NEW BEST:: SOT 11988656 SOS 7573970 HAS SOPS 6282425 HAS SOUS 2481684 HAS SOUPS 2387954 WITH SCORE 2395527.97
AT ITER 1149 NEW BEST:: SOT 11985049 SOS 7569173 HAS SOPS 6278332 HAS SOUS 2478212 HAS SOUPS 2384536 WITH SCORE 2392105.173
AT ITER 1164 NEW BEST:: SOT 11985168 SOS 7569292 HAS SOPS 6278115 HAS SOUS 2476891 HAS SOUPS 2383215 WITH SCORE 2390784.292
AT ITER 1174 NEW BEST:: SOT 11984880 SOS 7569004 HAS SOPS 6277731 HAS SOUS 2476291 HAS SOUPS 2382615 WITH SCORE 2390184.004
AT ITER 1200 NEW BEST:: SOT 11984305 SOS 7568554 HAS SOPS 6280719 HAS SOUS 2473056 HAS SOUPS 2379380 WITH SCORE 2386948.554
AT ITER 1202 NEW BEST:: SOT 11983927 SOS 7567048 HAS SOPS 6278896 HAS SOUS 2472133 HAS SOUPS 2378457 WITH SCORE 2386024.048
AT ITER 1224 NEW BEST:: SOT 11983784 SOS 7566946 HAS SOPS 6278167 HAS SOUS 2470672 HAS SOUPS 2376996 WITH SCORE 2384562.946
AT ITER 1235 NEW BEST:: SOT 11983516 SOS 7566783 HAS SOPS 6277962 HAS SOUS 2470666 HAS SOUPS 2376990 WITH SCORE 2384556.783
AT ITER 1238 NEW BEST:: SOT 11982366 SOS 7565628 HAS SOPS 6276058 HAS SOUS 2467707 HAS SOUPS 2374055 WITH SCORE 2381620.628
AT ITER 1239 NEW BEST:: SOT 11985831 SOS 7575828 HAS SOPS 6289082 HAS SOUS 2465863 HAS SOUPS 2372211 WITH SCORE 2379786.828
AT ITER 1244 NEW BEST:: SOT 11984450 SOS 7574310 HAS SOPS 6285567 HAS SOUS 2463029 HAS SOUPS 2369347 WITH SCORE 2376921.31
AT ITER 1245 NEW BEST:: SOT 11985936 SOS 7582419 HAS SOPS 6298641 HAS SOUS 2460984 HAS SOUPS 2367302 WITH SCORE 2374884.419
AT ITER 1255 NEW BEST:: SOT 11984558 SOS 7577662 HAS SOPS 6294322 HAS SOUS 2455020 HAS SOUPS 2361432 WITH SCORE 2369009.662
AT ITER 1278 NEW BEST:: SOT 11986115 SOS 7586118 HAS SOPS 6299842 HAS SOUS 2441487 HAS SOUPS 2347693 WITH SCORE 2355279.118
AT ITER 1281 NEW BEST:: SOT 11986165 SOS 7586213 HAS SOPS 6299873 HAS SOUS 2441372 HAS SOUPS 2347570 WITH SCORE 2355156.213
AT ITER 1287 NEW BEST:: SOT 11986186 SOS 7585253 HAS SOPS 6297344 HAS SOUS 2438517 HAS SOUPS 2344715 WITH SCORE 2352300.253
AT ITER 1292 NEW BEST:: SOT 11986315 SOS 7585856 HAS SOPS 6299088 HAS SOUS 2438322 HAS SOUPS 2344520 WITH SCORE 2352105.856
AT ITER 1305 NEW BEST:: SOT 11989094 SOS 7591208 HAS SOPS 6305288 HAS SOUS 2437840 HAS SOUPS 2344165 WITH SCORE 2351756.208
AT ITER 1307 NEW BEST:: SOT 11985544 SOS 7584718 HAS SOPS 6303183 HAS SOUS 2436786 HAS SOUPS 2343111 WITH SCORE 2350695.718
AT ITER 1314 NEW BEST:: SOT 11986362 SOS 7586151 HAS SOPS 6304698 HAS SOUS 2432771 HAS SOUPS 2339153 WITH SCORE 2346739.151
AT ITER 1331 NEW BEST:: SOT 11975431 SOS 7567232 HAS SOPS 6285891 HAS SOUS 2425907 HAS SOUPS 2332215 WITH SCORE 2339782.232
AT ITER 1341 NEW BEST:: SOT 11975880 SOS 7569905 HAS SOPS 6288046 HAS SOUS 2425429 HAS SOUPS 2331737 WITH SCORE 2339306.905
AT ITER 1354 NEW BEST:: SOT 11974658 SOS 7565589 HAS SOPS 6282179 HAS SOUS 2423002 HAS SOUPS 2329310 WITH SCORE 2336875.589
AT ITER 1382 NEW BEST:: SOT 11967411 SOS 7555864 HAS SOPS 6272563 HAS SOUS 2410794 HAS SOUPS 2317166 WITH SCORE 2324721.864
AT ITER 1385 NEW BEST:: SOT 11967695 SOS 7556318 HAS SOPS 6272524 HAS SOUS 2410380 HAS SOUPS 2316807 WITH SCORE 2324363.318
AT ITER 1393 NEW BEST:: SOT 11966829 SOS 7555356 HAS SOPS 6271587 HAS SOUS 2409755 HAS SOUPS 2316207 WITH SCORE 2323762.356
AT ITER 1408 NEW BEST:: SOT 11966129 SOS 7554902 HAS SOPS 6269747 HAS SOUS 2402597 HAS SOUPS 2307849 WITH SCORE 2315403.902
AT ITER 1409 NEW BEST:: SOT 11969634 SOS 7563983 HAS SOPS 6275646 HAS SOUS 2401127 HAS SOUPS 2306379 WITH SCORE 2313942.983
AT ITER 1416 NEW BEST:: SOT 11969169 SOS 7562647 HAS SOPS 6274161 HAS SOUS 2400336 HAS SOUPS 2305588 WITH SCORE 2313150.647
AT ITER 1422 NEW BEST:: SOT 11969889 SOS 7562255 HAS SOPS 6274020 HAS SOUS 2400224 HAS SOUPS 2305476 WITH SCORE 2313038.255
AT ITER 1424 NEW BEST:: SOT 11970670 SOS 7563865 HAS SOPS 6274617 HAS SOUS 2399738 HAS SOUPS 2304990 WITH SCORE 2312553.865
AT ITER 1434 NEW BEST:: SOT 11970593 SOS 7563778 HAS SOPS 6274502 HAS SOUS 2399580 HAS SOUPS 2304832 WITH SCORE 2312395.778
AT ITER 1444 NEW BEST:: SOT 11973090 SOS 7571957 HAS SOPS 6282907 HAS SOUS 2398622 HAS SOUPS 2303874 WITH SCORE 2311445.957
AT ITER 1447 NEW BEST:: SOT 11975539 SOS 7575213 HAS SOPS 6286052 HAS SOUS 2398372 HAS SOUPS 2303624 WITH SCORE 2311199.213
AT ITER 1455 NEW BEST:: SOT 11978033 SOS 7578189 HAS SOPS 6288957 HAS SOUS 2394688 HAS SOUPS 2300007 WITH SCORE 2307585.189
AT ITER 1456 NEW BEST:: SOT 11978121 SOS 7577878 HAS SOPS 6289939 HAS SOUS 2394151 HAS SOUPS 2299470 WITH SCORE 2307047.878
AT ITER 1463 NEW BEST:: SOT 11977323 SOS 7577215 HAS SOPS 6286084 HAS SOUS 2388377 HAS SOUPS 2293700 WITH SCORE 2301277.215
AT ITER 1472 NEW BEST:: SOT 11978254 SOS 7579995 HAS SOPS 6286967 HAS SOUS 2385046 HAS SOUPS 2290411 WITH SCORE 2297990.995
AT ITER 1473 NEW BEST:: SOT 11978254 SOS 7579997 HAS SOPS 6286969 HAS SOUS 2385014 HAS SOUPS 2290379 WITH SCORE 2297958.997
AT ITER 1474 NEW BEST:: SOT 11989404 SOS 7602459 HAS SOPS 6301483 HAS SOUS 2379399 HAS SOUPS 2284740 WITH SCORE 2292342.459
AT ITER 1489 NEW BEST:: SOT 11986373 SOS 7595659 HAS SOPS 6296139 HAS SOUS 2376035 HAS SOUPS 2281376 WITH SCORE 2288971.659
AT ITER 1504 NEW BEST:: SOT 11983477 SOS 7588829 HAS SOPS 6289419 HAS SOUS 2371571 HAS SOUPS 2276954 WITH SCORE 2284542.829
AT ITER 1518 NEW BEST:: SOT 11983202 SOS 7587534 HAS SOPS 6288351 HAS SOUS 2371554 HAS SOUPS 2276950 WITH SCORE 2284537.534
AT ITER 1522 NEW BEST:: SOT 11978854 SOS 7578724 HAS SOPS 6289514 HAS SOUS 2371369 HAS SOUPS 2276765 WITH SCORE 2284343.724
AT ITER 1529 NEW BEST:: SOT 11979712 SOS 7583417 HAS SOPS 6293114 HAS SOUS 2370230 HAS SOUPS 2275626 WITH SCORE 2283209.417
AT ITER 1537 NEW BEST:: SOT 11978861 SOS 7585130 HAS SOPS 6293236 HAS SOUS 2366531 HAS SOUPS 2271927 WITH SCORE 2279512.13
AT ITER 1544 NEW BEST:: SOT 11978597 SOS 7588030 HAS SOPS 6297928 HAS SOUS 2364254 HAS SOUPS 2269650 WITH SCORE 2277238.03
AT ITER 1564 NEW BEST:: SOT 11978072 SOS 7587570 HAS SOPS 6297532 HAS SOUS 2363356 HAS SOUPS 2268752 WITH SCORE 2276339.57
AT ITER 1568 NEW BEST:: SOT 11976463 SOS 7582387 HAS SOPS 6293158 HAS SOUS 2363102 HAS SOUPS 2268498 WITH SCORE 2276080.387
AT ITER 1571 NEW BEST:: SOT 11976322 SOS 7582263 HAS SOPS 6292944 HAS SOUS 2362657 HAS SOUPS 2268047 WITH SCORE 2275629.263
AT ITER 1573 NEW BEST:: SOT 11975994 SOS 7582114 HAS SOPS 6292606 HAS SOUS 2362558 HAS SOUPS 2267936 WITH SCORE 2275518.114
AT ITER 1576 NEW BEST:: SOT 11975878 SOS 7581722 HAS SOPS 6292130 HAS SOUS 2362242 HAS SOUPS 2267620 WITH SCORE 2275201.722
AT ITER 1586 NEW BEST:: SOT 11974627 SOS 7580447 HAS SOPS 6290601 HAS SOUS 2359569 HAS SOUPS 2264941 WITH SCORE 2272521.447
AT ITER 1611 NEW BEST:: SOT 11974195 SOS 7579970 HAS SOPS 6290170 HAS SOUS 2358753 HAS SOUPS 2264125 WITH SCORE 2271704.97
AT ITER 1614 NEW BEST:: SOT 11974162 SOS 7579940 HAS SOPS 6290140 HAS SOUS 2358680 HAS SOUPS 2264052 WITH SCORE 2271631.94
AT ITER 1621 NEW BEST:: SOT 11974777 SOS 7580525 HAS SOPS 6290110 HAS SOUS 2359149 HAS SOUPS 2264018 WITH SCORE 2271598.525
AT ITER 1622 NEW BEST:: SOT 11976057 SOS 7581699 HAS SOPS 6291414 HAS SOUS 2357700 HAS SOUPS 2262609 WITH SCORE 2270190.699
AT ITER 1628 NEW BEST:: SOT 11980890 SOS 7594332 HAS SOPS 6301980 HAS SOUS 2354572 HAS SOUPS 2259481 WITH SCORE 2267075.332
AT ITER 1630 NEW BEST:: SOT 11980371 SOS 7593832 HAS SOPS 6301176 HAS SOUS 2353133 HAS SOUPS 2258042 WITH SCORE 2265635.832
AT ITER 1636 NEW BEST:: SOT 11980323 SOS 7593786 HAS SOPS 6301098 HAS SOUS 2352981 HAS SOUPS 2257890 WITH SCORE 2265483.786
AT ITER 1639 NEW BEST:: SOT 11980051 SOS 7594288 HAS SOPS 6300556 HAS SOUS 2351060 HAS SOUPS 2255969 WITH SCORE 2263563.288
AT ITER 1642 NEW BEST:: SOT 11979536 SOS 7593272 HAS SOPS 6299764 HAS SOUS 2349722 HAS SOUPS 2254825 WITH SCORE 2262418.272
AT ITER 1656 NEW BEST:: SOT 11976153 SOS 7585543 HAS SOPS 6292899 HAS SOUS 2349371 HAS SOUPS 2254474 WITH SCORE 2262059.543
AT ITER 1666 NEW BEST:: SOT 11974493 SOS 7590310 HAS SOPS 6300664 HAS SOUS 2348667 HAS SOUPS 2253770 WITH SCORE 2261360.31
AT ITER 1688 NEW BEST:: SOT 11970084 SOS 7578644 HAS SOPS 6290810 HAS SOUS 2341815 HAS SOUPS 2247044 WITH SCORE 2254622.644
AT ITER 1696 NEW BEST:: SOT 11969938 SOS 7578372 HAS SOPS 6290586 HAS SOUS 2341607 HAS SOUPS 2246838 WITH SCORE 2254416.372
AT ITER 1703 NEW BEST:: SOT 11963003 SOS 7568014 HAS SOPS 6280981 HAS SOUS 2332210 HAS SOUPS 2237517 WITH SCORE 2245085.014
AT ITER 1712 NEW BEST:: SOT 11962968 SOS 7568421 HAS SOPS 6281236 HAS SOUS 2331383 HAS SOUPS 2236690 WITH SCORE 2244258.421
AT ITER 1726 NEW BEST:: SOT 11963026 SOS 7567949 HAS SOPS 6281070 HAS SOUS 2331265 HAS SOUPS 2236572 WITH SCORE 2244139.949
AT ITER 1741 NEW BEST:: SOT 11960790 SOS 7565472 HAS SOPS 6279424 HAS SOUS 2326741 HAS SOUPS 2232048 WITH SCORE 2239613.472
AT ITER 1742 NEW BEST:: SOT 11959990 SOS 7564133 HAS SOPS 6277337 HAS SOUS 2322334 HAS SOUPS 2227641 WITH SCORE 2235205.133
AT ITER 1754 NEW BEST:: SOT 11959497 SOS 7563818 HAS SOPS 6276690 HAS SOUS 2321204 HAS SOUPS 2226511 WITH SCORE 2234074.818
AT ITER 1765 NEW BEST:: SOT 11957233 SOS 7560470 HAS SOPS 6272638 HAS SOUS 2317000 HAS SOUPS 2222325 WITH SCORE 2229885.47
AT ITER 1770 NEW BEST:: SOT 11957504 SOS 7561063 HAS SOPS 6272927 HAS SOUS 2316285 HAS SOUPS 2221602 WITH SCORE 2229163.063
AT ITER 1781 NEW BEST:: SOT 11956692 SOS 7560267 HAS SOPS 6272016 HAS SOUS 2313674 HAS SOUPS 2219013 WITH SCORE 2226573.267
AT ITER 1803 NEW BEST:: SOT 11956376 SOS 7558922 HAS SOPS 6271008 HAS SOUS 2312564 HAS SOUPS 2217903 WITH SCORE 2225461.922
AT ITER 1808 NEW BEST:: SOT 11955932 SOS 7556606 HAS SOPS 6268416 HAS SOUS 2311759 HAS SOUPS 2217098 WITH SCORE 2224654.606
AT ITER 1812 NEW BEST:: SOT 11955920 SOS 7554660 HAS SOPS 6267325 HAS SOUS 2311272 HAS SOUPS 2216611 WITH SCORE 2224165.66
AT ITER 1823 NEW BEST:: SOT 11957921 SOS 7557914 HAS SOPS 6269442 HAS SOUS 2311126 HAS SOUPS 2216465 WITH SCORE 2224022.914
AT ITER 1831 NEW BEST:: SOT 11957779 SOS 7558243 HAS SOPS 6269236 HAS SOUS 2310275 HAS SOUPS 2215614 WITH SCORE 2223172.243
AT ITER 1836 NEW BEST:: SOT 11957719 SOS 7558216 HAS SOPS 6269143 HAS SOUS 2310095 HAS SOUPS 2215452 WITH SCORE 2223010.216
AT ITER 1840 NEW BEST:: SOT 11952203 SOS 7552699 HAS SOPS 6263354 HAS SOUS 2302413 HAS SOUPS 2207770 WITH SCORE 2215322.699
AT ITER 1841 NEW BEST:: SOT 11952218 SOS 7553122 HAS SOPS 6263678 HAS SOUS 2302142 HAS SOUPS 2207499 WITH SCORE 2215052.122
AT ITER 1855 NEW BEST:: SOT 11953039 SOS 7554364 HAS SOPS 6270831 HAS SOUS 2298944 HAS SOUPS 2204301 WITH SCORE 2211855.364
AT ITER 1860 NEW BEST:: SOT 11948755 SOS 7548490 HAS SOPS 6266268 HAS SOUS 2290753 HAS SOUPS 2196189 WITH SCORE 2203737.49
AT ITER 1869 NEW BEST:: SOT 11947441 SOS 7547176 HAS SOPS 6264954 HAS SOUS 2288863 HAS SOUPS 2194299 WITH SCORE 2201846.176
AT ITER 1870 NEW BEST:: SOT 11946097 SOS 7547739 HAS SOPS 6262856 HAS SOUS 2286094 HAS SOUPS 2191530 WITH SCORE 2199077.739
AT ITER 1886 NEW BEST:: SOT 11946083 SOS 7547666 HAS SOPS 6262813 HAS SOUS 2286080 HAS SOUPS 2191516 WITH SCORE 2199063.666
AT ITER 1895 NEW BEST:: SOT 11943194 SOS 7542059 HAS SOPS 6257776 HAS SOUS 2285511 HAS SOUPS 2190947 WITH SCORE 2198489.059
AT ITER 1898 NEW BEST:: SOT 11941431 SOS 7541027 HAS SOPS 6255933 HAS SOUS 2282490 HAS SOUPS 2187926 WITH SCORE 2195467.027
AT ITER 1905 NEW BEST:: SOT 11940370 SOS 7540044 HAS SOPS 6254338 HAS SOUS 2279652 HAS SOUPS 2185088 WITH SCORE 2192628.044
AT ITER 1909 NEW BEST:: SOT 11950516 SOS 7550098 HAS SOPS 6264156 HAS SOUS 2278074 HAS SOUPS 2183510 WITH SCORE 2191060.098
AT ITER 1918 NEW BEST:: SOT 11950263 SOS 7548288 HAS SOPS 6260996 HAS SOUS 2274155 HAS SOUPS 2179591 WITH SCORE 2187139.288
AT ITER 1919 NEW BEST:: SOT 11952199 SOS 7553552 HAS SOPS 6265801 HAS SOUS 2273729 HAS SOUPS 2179165 WITH SCORE 2186718.552
AT ITER 1926 NEW BEST:: SOT 11951015 SOS 7550258 HAS SOPS 6264001 HAS SOUS 2272331 HAS SOUPS 2177767 WITH SCORE 2185317.258
AT ITER 1928 NEW BEST:: SOT 11950914 SOS 7550854 HAS SOPS 6264971 HAS SOUS 2271675 HAS SOUPS 2177111 WITH SCORE 2184661.854
AT ITER 1931 NEW BEST:: SOT 11950851 SOS 7551143 HAS SOPS 6264994 HAS SOUS 2270792 HAS SOUPS 2176228 WITH SCORE 2183779.143
AT ITER 1972 NEW BEST:: SOT 11942106 SOS 7542339 HAS SOPS 6256094 HAS SOUS 2262931 HAS SOUPS 2168367 WITH SCORE 2175909.339
AT ITER 1987 NEW BEST:: SOT 11940765 SOS 7541062 HAS SOPS 6254817 HAS SOUS 2262048 HAS SOUPS 2167484 WITH SCORE 2175025.062
AT ITER 2003 NEW BEST:: SOT 11939908 SOS 7540265 HAS SOPS 6253476 HAS SOUS 2260911 HAS SOUPS 2166143 WITH SCORE 2173683.265
AT ITER 2008 NEW BEST:: SOT 11937598 SOS 7542403 HAS SOPS 6255016 HAS SOUS 2256161 HAS SOUPS 2161393 WITH SCORE 2168935.403
AT ITER 2013 NEW BEST:: SOT 11934553 SOS 7538513 HAS SOPS 6249549 HAS SOUS 2250539 HAS SOUPS 2155775 WITH SCORE 2163313.513
AT ITER 2015 NEW BEST:: SOT 11933291 SOS 7536461 HAS SOPS 6247493 HAS SOUS 2248267 HAS SOUPS 2153503 WITH SCORE 2161039.461
AT ITER 2030 NEW BEST:: SOT 11932849 SOS 7535122 HAS SOPS 6245055 HAS SOUS 2245612 HAS SOUPS 2150857 WITH SCORE 2158392.122
AT ITER 2058 NEW BEST:: SOT 11932095 SOS 7534537 HAS SOPS 6242860 HAS SOUS 2243232 HAS SOUPS 2148477 WITH SCORE 2156011.537
AT ITER 2062 NEW BEST:: SOT 11930392 SOS 7532475 HAS SOPS 6240194 HAS SOUS 2238578 HAS SOUPS 2144087 WITH SCORE 2151619.475
AT ITER 2078 NEW BEST:: SOT 11930392 SOS 7532390 HAS SOPS 6240173 HAS SOUS 2238573 HAS SOUPS 2144082 WITH SCORE 2151614.39
AT ITER 2079 NEW BEST:: SOT 11930337 SOS 7532335 HAS SOPS 6240118 HAS SOUS 2238006 HAS SOUPS 2143515 WITH SCORE 2151047.335
AT ITER 2087 NEW BEST:: SOT 11928104 SOS 7531382 HAS SOPS 6240386 HAS SOUS 2237404 HAS SOUPS 2142913 WITH SCORE 2150444.382
AT ITER 2135 NEW BEST:: SOT 11927950 SOS 7530214 HAS SOPS 6239149 HAS SOUS 2237275 HAS SOUPS 2142784 WITH SCORE 2150314.214
AT ITER 2149 NEW BEST:: SOT 11929217 SOS 7525764 HAS SOPS 6241449 HAS SOUS 2234473 HAS SOUPS 2140712 WITH SCORE 2148237.764
AT ITER 2150 NEW BEST:: SOT 11928146 SOS 7530241 HAS SOPS 6243615 HAS SOUS 2222314 HAS SOUPS 2128553 WITH SCORE 2136083.241
AT ITER 2154 NEW BEST:: SOT 11926887 SOS 7528382 HAS SOPS 6241472 HAS SOUS 2219527 HAS SOUPS 2125766 WITH SCORE 2133294.382
AT ITER 2161 NEW BEST:: SOT 11924387 SOS 7522893 HAS SOPS 6238599 HAS SOUS 2218392 HAS SOUPS 2124816 WITH SCORE 2132338.893
AT ITER 2173 NEW BEST:: SOT 11918232 SOS 7512460 HAS SOPS 6230183 HAS SOUS 2206594 HAS SOUPS 2113080 WITH SCORE 2120592.46
AT ITER 2189 NEW BEST:: SOT 11914649 SOS 7506471 HAS SOPS 6224847 HAS SOUS 2205280 HAS SOUPS 2111833 WITH SCORE 2119339.471
AT ITER 2202 NEW BEST:: SOT 11913927 SOS 7504821 HAS SOPS 6223672 HAS SOUS 2204464 HAS SOUPS 2111031 WITH SCORE 2118535.821
AT ITER 2210 NEW BEST:: SOT 11913923 SOS 7505829 HAS SOPS 6224385 HAS SOUS 2202164 HAS SOUPS 2108731 WITH SCORE 2116236.829
AT ITER 2217 NEW BEST:: SOT 11916360 SOS 7509817 HAS SOPS 6230757 HAS SOUS 2199730 HAS SOUPS 2106297 WITH SCORE 2113806.817
AT ITER 2229 NEW BEST:: SOT 11917469 SOS 7511854 HAS SOPS 6232902 HAS SOUS 2197803 HAS SOUPS 2104414 WITH SCORE 2111925.854
AT ITER 2236 NEW BEST:: SOT 11911305 SOS 7501474 HAS SOPS 6222522 HAS SOUS 2192476 HAS SOUPS 2099087 WITH SCORE 2106588.474
AT ITER 2252 NEW BEST:: SOT 11909936 SOS 7499641 HAS SOPS 6221693 HAS SOUS 2190859 HAS SOUPS 2097902 WITH SCORE 2105401.641
AT ITER 2253 NEW BEST:: SOT 11909849 SOS 7500943 HAS SOPS 6224907 HAS SOUS 2182844 HAS SOUPS 2089887 WITH SCORE 2097387.943
AT ITER 2254 NEW BEST:: SOT 11910053 SOS 7500677 HAS SOPS 6224414 HAS SOUS 2182556 HAS SOUPS 2089599 WITH SCORE 2097099.677
AT ITER 2257 NEW BEST:: SOT 11909553 SOS 7499397 HAS SOPS 6222499 HAS SOUS 2182026 HAS SOUPS 2089069 WITH SCORE 2096568.397
AT ITER 2258 NEW BEST:: SOT 11911257 SOS 7504231 HAS SOPS 6231278 HAS SOUS 2181848 HAS SOUPS 2088891 WITH SCORE 2096395.231
AT ITER 2268 NEW BEST:: SOT 11910122 SOS 7504174 HAS SOPS 6230232 HAS SOUS 2177853 HAS SOUPS 2084896 WITH SCORE 2092400.174
AT ITER 2299 NEW BEST:: SOT 11909233 SOS 7503458 HAS SOPS 6229397 HAS SOUS 2176934 HAS SOUPS 2083969 WITH SCORE 2091472.458
AT ITER 2313 NEW BEST:: SOT 11909300 SOS 7504065 HAS SOPS 6229925 HAS SOUS 2176566 HAS SOUPS 2083601 WITH SCORE 2091105.065
AT ITER 2336 NEW BEST:: SOT 11908851 SOS 7505472 HAS SOPS 6228574 HAS SOUS 2174570 HAS SOUPS 2081470 WITH SCORE 2088975.472
AT ITER 2359 NEW BEST:: SOT 11909093 SOS 7506508 HAS SOPS 6229447 HAS SOUS 2174455 HAS SOUPS 2081355 WITH SCORE 2088861.508
AT ITER 2367 NEW BEST:: SOT 11908132 SOS 7505582 HAS SOPS 6227912 HAS SOUS 2173489 HAS SOUPS 2080140 WITH SCORE 2087645.582
AT ITER 2378 NEW BEST:: SOT 11895881 SOS 7470918 HAS SOPS 6192576 HAS SOUS 2167076 HAS SOUPS 2073403 WITH SCORE 2080873.918
AT ITER 2391 NEW BEST:: SOT 11892195 SOS 7462680 HAS SOPS 6186683 HAS SOUS 2166277 HAS SOUPS 2072623 WITH SCORE 2080085.68
AT ITER 2417 NEW BEST:: SOT 11892067 SOS 7462552 HAS SOPS 6186555 HAS SOUS 2166213 HAS SOUPS 2072559 WITH SCORE 2080021.552
AT ITER 2432 NEW BEST:: SOT 11891615 SOS 7461455 HAS SOPS 6186794 HAS SOUS 2164369 HAS SOUPS 2070715 WITH SCORE 2078176.455
AT ITER 2433 NEW BEST:: SOT 11886888 SOS 7456707 HAS SOPS 6181790 HAS SOUS 2158262 HAS SOUPS 2064608 WITH SCORE 2072064.707
AT ITER 2436 NEW BEST:: SOT 11890512 SOS 7467988 HAS SOPS 6193216 HAS SOUS 2152579 HAS SOUPS 2058758 WITH SCORE 2066225.988
AT ITER 2438 NEW BEST:: SOT 11890351 SOS 7467727 HAS SOPS 6192775 HAS SOUS 2152113 HAS SOUPS 2058292 WITH SCORE 2065759.727
AT ITER 2458 NEW BEST:: SOT 11889548 SOS 7466949 HAS SOPS 6191437 HAS SOUS 2149078 HAS SOUPS 2055257 WITH SCORE 2062723.949
AT ITER 2465 NEW BEST:: SOT 11891063 SOS 7471510 HAS SOPS 6195828 HAS SOUS 2147625 HAS SOUPS 2053804 WITH SCORE 2061275.51
AT ITER 2471 NEW BEST:: SOT 11891201 SOS 7473073 HAS SOPS 6196814 HAS SOUS 2146534 HAS SOUPS 2052713 WITH SCORE 2060186.073
AT ITER 2491 NEW BEST:: SOT 11890277 SOS 7473326 HAS SOPS 6194931 HAS SOUS 2144557 HAS SOUPS 2050680 WITH SCORE 2058153.326
AT ITER 2494 NEW BEST:: SOT 11890330 SOS 7473449 HAS SOPS 6195291 HAS SOUS 2143476 HAS SOUPS 2049588 WITH SCORE 2057061.449
AT ITER 2499 NEW BEST:: SOT 11890460 SOS 7473611 HAS SOPS 6195694 HAS SOUS 2143089 HAS SOUPS 2049201 WITH SCORE 2056674.611
AT ITER 2504 NEW BEST:: SOT 11890350 SOS 7473394 HAS SOPS 6195627 HAS SOUS 2142774 HAS SOUPS 2048891 WITH SCORE 2056364.394
AT ITER 2507 NEW BEST:: SOT 11890336 SOS 7473507 HAS SOPS 6194750 HAS SOUS 2138419 HAS SOUPS 2044470 WITH SCORE 2051943.507
AT ITER 2510 NEW BEST:: SOT 11889539 SOS 7472174 HAS SOPS 6193916 HAS SOUS 2136801 HAS SOUPS 2042864 WITH SCORE 2050336.174
AT ITER 2524 NEW BEST:: SOT 11889481 SOS 7471812 HAS SOPS 6193824 HAS SOUS 2136788 HAS SOUPS 2042851 WITH SCORE 2050322.812
AT ITER 2554 NEW BEST:: SOT 11887317 SOS 7465449 HAS SOPS 6186609 HAS SOUS 2134684 HAS SOUPS 2040747 WITH SCORE 2048212.449
AT ITER 2573 NEW BEST:: SOT 11881955 SOS 7445659 HAS SOPS 6175223 HAS SOUS 2131919 HAS SOUPS 2038155 WITH SCORE 2045600.659
AT ITER 2576 NEW BEST:: SOT 11883758 SOS 7450649 HAS SOPS 6178453 HAS SOUS 2131728 HAS SOUPS 2037964 WITH SCORE 2045414.649
AT ITER 2591 NEW BEST:: SOT 11879484 SOS 7444608 HAS SOPS 6172287 HAS SOUS 2124521 HAS SOUPS 2030771 WITH SCORE 2038215.608
AT ITER 2592 NEW BEST:: SOT 11879335 SOS 7444454 HAS SOPS 6172133 HAS SOUS 2124428 HAS SOUPS 2030678 WITH SCORE 2038122.454
AT ITER 2622 NEW BEST:: SOT 11877727 SOS 7443327 HAS SOPS 6171430 HAS SOUS 2124116 HAS SOUPS 2030366 WITH SCORE 2037809.327
AT ITER 2630 NEW BEST:: SOT 11878002 SOS 7443584 HAS SOPS 6171687 HAS SOUS 2123763 HAS SOUPS 2030013 WITH SCORE 2037456.584
AT ITER 2633 NEW BEST:: SOT 11875887 SOS 7441091 HAS SOPS 6169826 HAS SOUS 2118309 HAS SOUPS 2024841 WITH SCORE 2032282.091
AT ITER 2644 NEW BEST:: SOT 11875631 SOS 7440835 HAS SOPS 6169442 HAS SOUS 2117605 HAS SOUPS 2024137 WITH SCORE 2031577.835
AT ITER 2653 NEW BEST:: SOT 11875375 SOS 7440607 HAS SOPS 6168810 HAS SOUS 2117525 HAS SOUPS 2023725 WITH SCORE 2031165.607
AT ITER 2661 NEW BEST:: SOT 11874584 SOS 7440465 HAS SOPS 6168747 HAS SOUS 2105471 HAS SOUPS 2011808 WITH SCORE 2019248.465
AT ITER 2674 NEW BEST:: SOT 11873692 SOS 7437681 HAS SOPS 6166771 HAS SOUS 2105043 HAS SOUPS 2011380 WITH SCORE 2018817.681
AT ITER 2677 NEW BEST:: SOT 11873734 SOS 7437441 HAS SOPS 6166903 HAS SOUS 2104969 HAS SOUPS 2011343 WITH SCORE 2018780.441
AT ITER 2678 NEW BEST:: SOT 11871125 SOS 7436596 HAS SOPS 6165462 HAS SOUS 2097244 HAS SOUPS 2003618 WITH SCORE 2011054.596
AT ITER 2736 NEW BEST:: SOT 11870775 SOS 7436027 HAS SOPS 6164922 HAS SOUS 2096633 HAS SOUPS 2003067 WITH SCORE 2010503.027
AT ITER 2739 NEW BEST:: SOT 11864303 SOS 7422961 HAS SOPS 6153146 HAS SOUS 2089547 HAS SOUPS 1996180 WITH SCORE 2003602.961
AT ITER 2749 NEW BEST:: SOT 11863538 SOS 7419455 HAS SOPS 6149728 HAS SOUS 2089387 HAS SOUPS 1996020 WITH SCORE 2003439.455
AT ITER 2763 NEW BEST:: SOT 11863547 SOS 7419761 HAS SOPS 6149984 HAS SOUS 2089171 HAS SOUPS 1995804 WITH SCORE 2003223.761
AT ITER 2765 NEW BEST:: SOT 11863023 SOS 7409716 HAS SOPS 6151998 HAS SOUS 2084832 HAS SOUPS 1992113 WITH SCORE 1999522.716
AT ITER 2771 NEW BEST:: SOT 11862299 SOS 7408765 HAS SOPS 6150649 HAS SOUS 2082711 HAS SOUPS 1989988 WITH SCORE 1997396.765
AT ITER 2798 NEW BEST:: SOT 11864656 SOS 7416133 HAS SOPS 6163674 HAS SOUS 2082131 HAS SOUPS 1989408 WITH SCORE 1996824.133
AT ITER 2799 NEW BEST:: SOT 11863548 SOS 7415019 HAS SOPS 6162150 HAS SOUS 2080233 HAS SOUPS 1987444 WITH SCORE 1994859.019
AT ITER 2821 NEW BEST:: SOT 11862476 SOS 7414876 HAS SOPS 6162019 HAS SOUS 2079170 HAS SOUPS 1986393 WITH SCORE 1993807.876
AT ITER 2840 NEW BEST:: SOT 11856659 SOS 7409745 HAS SOPS 6153770 HAS SOUS 2067236 HAS SOUPS 1974311 WITH SCORE 1981720.745
AT ITER 2860 NEW BEST:: SOT 11856965 SOS 7410045 HAS SOPS 6154070 HAS SOUS 2067158 HAS SOUPS 1974233 WITH SCORE 1981643.045
AT ITER 2882 NEW BEST:: SOT 11857703 SOS 7408738 HAS SOPS 6155855 HAS SOUS 2067008 HAS SOUPS 1974083 WITH SCORE 1981491.738
AT ITER 2887 NEW BEST:: SOT 11858082 SOS 7409320 HAS SOPS 6155992 HAS SOUS 2064611 HAS SOUPS 1971673 WITH SCORE 1979082.32
AT ITER 2899 NEW BEST:: SOT 11858079 SOS 7409710 HAS SOPS 6155962 HAS SOUS 2063393 HAS SOUPS 1970455 WITH SCORE 1977864.71
AT ITER 2907 NEW BEST:: SOT 11857476 SOS 7407118 HAS SOPS 6155454 HAS SOUS 2060811 HAS SOUPS 1968268 WITH SCORE 1975675.118
AT ITER 2915 NEW BEST:: SOT 11857207 SOS 7406388 HAS SOPS 6154880 HAS SOUS 2060400 HAS SOUPS 1967857 WITH SCORE 1975263.388
AT ITER 2928 NEW BEST:: SOT 11856716 SOS 7409044 HAS SOPS 6156969 HAS SOUS 2056610 HAS SOUPS 1964067 WITH SCORE 1971476.044
AT ITER 2968 NEW BEST:: SOT 11856691 SOS 7410409 HAS SOPS 6157811 HAS SOUS 2053367 HAS SOUPS 1960824 WITH SCORE 1968234.409
AT ITER 2981 NEW BEST:: SOT 11856787 SOS 7410529 HAS SOPS 6157835 HAS SOUS 2053307 HAS SOUPS 1960768 WITH SCORE 1968178.529
AT ITER 2982 NEW BEST:: SOT 11856558 SOS 7408809 HAS SOPS 6156594 HAS SOUS 2052656 HAS SOUPS 1960117 WITH SCORE 1967525.809
AT ITER 2986 NEW BEST:: SOT 11856444 SOS 7409450 HAS SOPS 6156964 HAS SOUS 2050880 HAS SOUPS 1958341 WITH SCORE 1965750.45
AT ITER 2997 NEW BEST:: SOT 11856446 SOS 7409616 HAS SOPS 6157180 HAS SOUS 2050855 HAS SOUPS 1958316 WITH SCORE 1965725.616
AT ITER 2998 NEW BEST:: SOT 11855729 SOS 7408899 HAS SOPS 6156207 HAS SOUS 2049302 HAS SOUPS 1956763 WITH SCORE 1964171.899
AT ITER 3009 NEW BEST:: SOT 11855654 SOS 7417531 HAS SOPS 6160025 HAS SOUS 2042074 HAS SOUPS 1949420 WITH SCORE 1956837.531
AT ITER 3017 NEW BEST:: SOT 11855404 SOS 7417187 HAS SOPS 6159116 HAS SOUS 2038644 HAS SOUPS 1946060 WITH SCORE 1953477.187
AT ITER 3019 NEW BEST:: SOT 11853728 SOS 7410326 HAS SOPS 6155582 HAS SOUS 2037743 HAS SOUPS 1945399 WITH SCORE 1952809.326
AT ITER 3046 NEW BEST:: SOT 11848698 SOS 7398528 HAS SOPS 6145874 HAS SOUS 2032183 HAS SOUPS 1939986 WITH SCORE 1947384.528
AT ITER 3053 NEW BEST:: SOT 11844888 SOS 7397852 HAS SOPS 6142970 HAS SOUS 2027945 HAS SOUPS 1935116 WITH SCORE 1942513.852
AT ITER 3059 NEW BEST:: SOT 11844676 SOS 7393689 HAS SOPS 6140042 HAS SOUS 2027229 HAS SOUPS 1934400 WITH SCORE 1941793.689
AT ITER 3073 NEW BEST:: SOT 11844711 SOS 7394348 HAS SOPS 6140691 HAS SOUS 2026871 HAS SOUPS 1934053 WITH SCORE 1941447.348
AT ITER 3075 NEW BEST:: SOT 11842761 SOS 7392643 HAS SOPS 6139114 HAS SOUS 2025670 HAS SOUPS 1932816 WITH SCORE 1940208.643
AT ITER 3093 NEW BEST:: SOT 11842151 SOS 7391793 HAS SOPS 6138208 HAS SOUS 2024340 HAS SOUPS 1931494 WITH SCORE 1938885.793
AT ITER 3121 NEW BEST:: SOT 11838324 SOS 7383267 HAS SOPS 6131234 HAS SOUS 2020595 HAS SOUPS 1927835 WITH SCORE 1935218.267
AT ITER 3127 NEW BEST:: SOT 11838447 SOS 7383475 HAS SOPS 6131254 HAS SOUS 2020494 HAS SOUPS 1927707 WITH SCORE 1935090.475
AT ITER 3134 NEW BEST:: SOT 11838601 SOS 7383558 HAS SOPS 6131481 HAS SOUS 2020403 HAS SOUPS 1927700 WITH SCORE 1935083.558
AT ITER 3148 NEW BEST:: SOT 11838315 SOS 7381626 HAS SOPS 6126717 HAS SOUS 2017847 HAS SOUPS 1925144 WITH SCORE 1932525.626
AT ITER 3155 NEW BEST:: SOT 11833557 SOS 7376887 HAS SOPS 6118420 HAS SOUS 2009463 HAS SOUPS 1916679 WITH SCORE 1924055.887
AT ITER 3168 NEW BEST:: SOT 11832931 SOS 7376239 HAS SOPS 6117780 HAS SOUS 2008790 HAS SOUPS 1916013 WITH SCORE 1923389.239
AT ITER 3172 NEW BEST:: SOT 11832716 SOS 7376473 HAS SOPS 6119671 HAS SOUS 2008349 HAS SOUPS 1915600 WITH SCORE 1922976.473
AT ITER 3180 NEW BEST:: SOT 11830282 SOS 7373011 HAS SOPS 6116450 HAS SOUS 2004948 HAS SOUPS 1912192 WITH SCORE 1919565.011
AT ITER 3185 NEW BEST:: SOT 11832635 SOS 7378025 HAS SOPS 6117395 HAS SOUS 2000747 HAS SOUPS 1907865 WITH SCORE 1915243.025
AT ITER 3191 NEW BEST:: SOT 11832395 SOS 7377767 HAS SOPS 6116955 HAS SOUS 2000477 HAS SOUPS 1907589 WITH SCORE 1914966.767
AT ITER 3200 NEW BEST:: SOT 11831513 SOS 7375566 HAS SOPS 6115082 HAS SOUS 1997228 HAS SOUPS 1904381 WITH SCORE 1911756.566
AT ITER 3254 NEW BEST:: SOT 11828936 SOS 7371555 HAS SOPS 6110891 HAS SOUS 1996407 HAS SOUPS 1903560 WITH SCORE 1910931.555
AT ITER 3257 NEW BEST:: SOT 11832232 SOS 7384818 HAS SOPS 6119882 HAS SOUS 1995044 HAS SOUPS 1902099 WITH SCORE 1909483.818
AT ITER 3262 NEW BEST:: SOT 11832152 SOS 7384087 HAS SOPS 6119364 HAS SOUS 1994931 HAS SOUPS 1901986 WITH SCORE 1909370.087
AT ITER 3277 NEW BEST:: SOT 11830451 SOS 7381257 HAS SOPS 6121966 HAS SOUS 1981793 HAS SOUPS 1888848 WITH SCORE 1896229.257
AT ITER 3297 NEW BEST:: SOT 11831264 SOS 7383507 HAS SOPS 6124548 HAS SOUS 1980909 HAS SOUPS 1887964 WITH SCORE 1895347.507
AT ITER 3302 NEW BEST:: SOT 11831287 SOS 7383991 HAS SOPS 6124682 HAS SOUS 1980165 HAS SOUPS 1887220 WITH SCORE 1894603.991
AT ITER 3310 NEW BEST:: SOT 11830591 SOS 7380320 HAS SOPS 6120543 HAS SOUS 1978409 HAS SOUPS 1885464 WITH SCORE 1892844.32
AT ITER 3320 NEW BEST:: SOT 11824175 SOS 7373904 HAS SOPS 6114127 HAS SOUS 1972557 HAS SOUPS 1879612 WITH SCORE 1886985.904
AT ITER 3331 NEW BEST:: SOT 11823780 SOS 7373275 HAS SOPS 6112449 HAS SOUS 1972256 HAS SOUPS 1879311 WITH SCORE 1886684.275
AT ITER 3347 NEW BEST:: SOT 11825673 SOS 7378019 HAS SOPS 6120556 HAS SOUS 1971282 HAS SOUPS 1878393 WITH SCORE 1885771.019
AT ITER 3350 NEW BEST:: SOT 11825548 SOS 7377013 HAS SOPS 6119578 HAS SOUS 1971097 HAS SOUPS 1878208 WITH SCORE 1885585.013
AT ITER 3361 NEW BEST:: SOT 11826054 SOS 7378167 HAS SOPS 6121190 HAS SOUS 1971001 HAS SOUPS 1878112 WITH SCORE 1885490.167
AT ITER 3362 NEW BEST:: SOT 11826335 SOS 7378474 HAS SOPS 6121419 HAS SOUS 1970917 HAS SOUPS 1878029 WITH SCORE 1885407.474
AT ITER 3381 NEW BEST:: SOT 11823707 SOS 7375773 HAS SOPS 6118613 HAS SOUS 1967074 HAS SOUPS 1874180 WITH SCORE 1881555.773
AT ITER 3382 NEW BEST:: SOT 11823493 SOS 7375366 HAS SOPS 6117257 HAS SOUS 1964153 HAS SOUPS 1871284 WITH SCORE 1878659.366
AT ITER 3389 NEW BEST:: SOT 11825410 SOS 7373503 HAS SOPS 6116829 HAS SOUS 1962699 HAS SOUPS 1870435 WITH SCORE 1877808.503
AT ITER 3398 NEW BEST:: SOT 11825126 SOS 7373111 HAS SOPS 6116460 HAS SOUS 1962693 HAS SOUPS 1870429 WITH SCORE 1877802.111
AT ITER 3406 NEW BEST:: SOT 11824893 SOS 7372943 HAS SOPS 6116182 HAS SOUS 1962195 HAS SOUPS 1869931 WITH SCORE 1877303.943
AT ITER 3428 NEW BEST:: SOT 11829610 SOS 7399958 HAS SOPS 6143757 HAS SOUS 1960707 HAS SOUPS 1868724 WITH SCORE 1876123.958
AT ITER 3436 NEW BEST:: SOT 11829097 SOS 7399355 HAS SOPS 6142866 HAS SOUS 1959744 HAS SOUPS 1867761 WITH SCORE 1875160.355
AT ITER 3443 NEW BEST:: SOT 11828151 SOS 7398425 HAS SOPS 6141376 HAS SOUS 1956886 HAS SOUPS 1864903 WITH SCORE 1872301.425
AT ITER 3444 NEW BEST:: SOT 11827941 SOS 7398217 HAS SOPS 6141280 HAS SOUS 1956786 HAS SOUPS 1864803 WITH SCORE 1872201.217
AT ITER 3449 NEW BEST:: SOT 11824783 SOS 7406824 HAS SOPS 6149881 HAS SOUS 1950738 HAS SOUPS 1858755 WITH SCORE 1866161.824
AT ITER 3464 NEW BEST:: SOT 11824698 SOS 7406499 HAS SOPS 6149359 HAS SOUS 1950731 HAS SOUPS 1858748 WITH SCORE 1866154.499
AT ITER 3486 NEW BEST:: SOT 11824538 SOS 7406092 HAS SOPS 6145795 HAS SOUS 1938402 HAS SOUPS 1846416 WITH SCORE 1853822.092
AT ITER 3523 NEW BEST:: SOT 11824538 SOS 7403441 HAS SOPS 6142917 HAS SOUS 1937066 HAS SOUPS 1845080 WITH SCORE 1852483.441
AT ITER 3537 NEW BEST:: SOT 11824124 SOS 7403010 HAS SOPS 6142827 HAS SOUS 1936199 HAS SOUPS 1844223 WITH SCORE 1851626.01
AT ITER 3551 NEW BEST:: SOT 11821003 SOS 7396345 HAS SOPS 6136011 HAS SOUS 1933372 HAS SOUPS 1841396 WITH SCORE 1848792.345
AT ITER 3564 NEW BEST:: SOT 11819928 SOS 7395214 HAS SOPS 6133504 HAS SOUS 1931489 HAS SOUPS 1839513 WITH SCORE 1846908.214
AT ITER 3566 NEW BEST:: SOT 11819760 SOS 7395050 HAS SOPS 6133186 HAS SOUS 1931001 HAS SOUPS 1839025 WITH SCORE 1846420.05
AT ITER 3579 NEW BEST:: SOT 11830671 SOS 7403674 HAS SOPS 6143392 HAS SOUS 1926703 HAS SOUPS 1834859 WITH SCORE 1842262.674
AT ITER 3581 NEW BEST:: SOT 11831240 SOS 7404349 HAS SOPS 6144409 HAS SOUS 1925693 HAS SOUPS 1833900 WITH SCORE 1841304.349
AT ITER 3586 NEW BEST:: SOT 11830914 SOS 7395985 HAS SOPS 6134757 HAS SOUS 1922229 HAS SOUPS 1830291 WITH SCORE 1837686.985
AT ITER 3587 NEW BEST:: SOT 11833092 SOS 7404397 HAS SOPS 6137412 HAS SOUS 1914128 HAS SOUPS 1822190 WITH SCORE 1829594.397
AT ITER 3625 NEW BEST:: SOT 11832631 SOS 7405585 HAS SOPS 6135122 HAS SOUS 1903749 HAS SOUPS 1811929 WITH SCORE 1819334.585
AT ITER 3628 NEW BEST:: SOT 11830991 SOS 7403636 HAS SOPS 6132640 HAS SOUS 1900609 HAS SOUPS 1808746 WITH SCORE 1816149.636
AT ITER 3638 NEW BEST:: SOT 11831899 SOS 7406994 HAS SOPS 6135535 HAS SOUS 1898932 HAS SOUPS 1807069 WITH SCORE 1814475.994
AT ITER 3647 NEW BEST:: SOT 11832052 SOS 7407969 HAS SOPS 6136400 HAS SOUS 1898361 HAS SOUPS 1806526 WITH SCORE 1813933.969
AT ITER 3656 NEW BEST:: SOT 11830961 SOS 7406792 HAS SOPS 6135292 HAS SOUS 1896233 HAS SOUPS 1804408 WITH SCORE 1811814.792
AT ITER 3657 NEW BEST:: SOT 11830233 SOS 7406471 HAS SOPS 6134486 HAS SOUS 1895295 HAS SOUPS 1803512 WITH SCORE 1810918.471
AT ITER 3671 NEW BEST:: SOT 11831403 SOS 7407100 HAS SOPS 6135730 HAS SOUS 1894015 HAS SOUPS 1802903 WITH SCORE 1810310.1
AT ITER 3684 NEW BEST:: SOT 11830830 SOS 7404771 HAS SOPS 6134324 HAS SOUS 1892417 HAS SOUPS 1801305 WITH SCORE 1808709.771
AT ITER 3688 NEW BEST:: SOT 11830842 SOS 7404836 HAS SOPS 6136428 HAS SOUS 1892282 HAS SOUPS 1801170 WITH SCORE 1808574.836
AT ITER 3694 NEW BEST:: SOT 11830480 SOS 7403196 HAS SOPS 6135154 HAS SOUS 1890563 HAS SOUPS 1799453 WITH SCORE 1806856.196
AT ITER 3746 NEW BEST:: SOT 11830051 SOS 7401279 HAS SOPS 6133503 HAS SOUS 1889672 HAS SOUPS 1798562 WITH SCORE 1805963.279
AT ITER 3753 NEW BEST:: SOT 11829883 SOS 7401119 HAS SOPS 6133279 HAS SOUS 1889312 HAS SOUPS 1798202 WITH SCORE 1805603.119
AT ITER 3761 NEW BEST:: SOT 11829701 SOS 7400985 HAS SOPS 6133053 HAS SOUS 1888958 HAS SOUPS 1797848 WITH SCORE 1805248.985
AT ITER 3765 NEW BEST:: SOT 11827385 SOS 7396118 HAS SOPS 6127525 HAS SOUS 1886805 HAS SOUPS 1795695 WITH SCORE 1803091.118
AT ITER 3780 NEW BEST:: SOT 11827146 SOS 7396509 HAS SOPS 6128195 HAS SOUS 1885555 HAS SOUPS 1794487 WITH SCORE 1801883.509
AT ITER 3788 NEW BEST:: SOT 11827113 SOS 7396492 HAS SOPS 6128042 HAS SOUS 1885368 HAS SOUPS 1794309 WITH SCORE 1801705.492
AT ITER 3795 NEW BEST:: SOT 11826717 SOS 7395729 HAS SOPS 6127312 HAS SOUS 1884639 HAS SOUPS 1793587 WITH SCORE 1800982.729
AT ITER 3796 NEW BEST:: SOT 11822965 SOS 7391936 HAS SOPS 6124230 HAS SOUS 1879504 HAS SOUPS 1788884 WITH SCORE 1796275.936
AT ITER 3800 NEW BEST:: SOT 11822860 SOS 7391740 HAS SOPS 6124049 HAS SOUS 1879466 HAS SOUPS 1788846 WITH SCORE 1796237.74
AT ITER 3806 NEW BEST:: SOT 11819062 SOS 7377237 HAS SOPS 6114454 HAS SOUS 1878489 HAS SOUPS 1787869 WITH SCORE 1795246.237
AT ITER 3807 NEW BEST:: SOT 11819467 SOS 7376795 HAS SOPS 6114165 HAS SOUS 1877788 HAS SOUPS 1787168 WITH SCORE 1794544.795
AT ITER 3808 NEW BEST:: SOT 11817600 SOS 7371784 HAS SOPS 6112202 HAS SOUS 1874679 HAS SOUPS 1784117 WITH SCORE 1791488.784
AT ITER 3820 NEW BEST:: SOT 11816066 SOS 7370347 HAS SOPS 6107751 HAS SOUS 1872735 HAS SOUPS 1782173 WITH SCORE 1789543.347
AT ITER 3847 NEW BEST:: SOT 11816950 SOS 7372878 HAS SOPS 6109511 HAS SOUS 1871590 HAS SOUPS 1781028 WITH SCORE 1788400.878
AT ITER 3853 NEW BEST:: SOT 11813043 SOS 7367624 HAS SOPS 6106160 HAS SOUS 1861848 HAS SOUPS 1771417 WITH SCORE 1778784.624
AT ITER 3855 NEW BEST:: SOT 11812752 SOS 7366715 HAS SOPS 6105380 HAS SOUS 1860975 HAS SOUPS 1770544 WITH SCORE 1777910.715
AT ITER 3859 NEW BEST:: SOT 11812945 SOS 7366955 HAS SOPS 6105692 HAS SOUS 1860109 HAS SOUPS 1769689 WITH SCORE 1777055.955
AT ITER 3883 NEW BEST:: SOT 11812574 SOS 7366548 HAS SOPS 6105215 HAS SOUS 1859235 HAS SOUPS 1768815 WITH SCORE 1776181.548
AT ITER 3894 NEW BEST:: SOT 11811477 SOS 7365325 HAS SOPS 6103873 HAS SOUS 1855139 HAS SOUPS 1764830 WITH SCORE 1772195.325
AT ITER 3906 NEW BEST:: SOT 11810136 SOS 7363267 HAS SOPS 6102023 HAS SOUS 1853205 HAS SOUPS 1762948 WITH SCORE 1770311.267
AT ITER 3925 NEW BEST:: SOT 11808805 SOS 7359377 HAS SOPS 6099410 HAS SOUS 1852162 HAS SOUPS 1761931 WITH SCORE 1769290.377
AT ITER 3956 NEW BEST:: SOT 11808786 SOS 7359319 HAS SOPS 6099442 HAS SOUS 1852077 HAS SOUPS 1761846 WITH SCORE 1769205.319
AT ITER 3958 NEW BEST:: SOT 11808384 SOS 7358996 HAS SOPS 6098597 HAS SOUS 1849074 HAS SOUPS 1758872 WITH SCORE 1766230.996
AT ITER 3995 NEW BEST:: SOT 11808151 SOS 7356855 HAS SOPS 6097323 HAS SOUS 1848774 HAS SOUPS 1758572 WITH SCORE 1765928.855
AT ITER 4003 NEW BEST:: SOT 11808220 SOS 7356863 HAS SOPS 6097531 HAS SOUS 1848764 HAS SOUPS 1758562 WITH SCORE 1765918.863
AT ITER 4011 NEW BEST:: SOT 11807587 SOS 7356230 HAS SOPS 6096338 HAS SOUS 1845855 HAS SOUPS 1755653 WITH SCORE 1763009.23
AT ITER 4025 NEW BEST:: SOT 11807181 SOS 7355455 HAS SOPS 6095899 HAS SOUS 1844844 HAS SOUPS 1754741 WITH SCORE 1762096.455
AT ITER 4063 NEW BEST:: SOT 11806338 SOS 7354950 HAS SOPS 6094947 HAS SOUS 1844520 HAS SOUPS 1753901 WITH SCORE 1761255.95
AT ITER 4089 NEW BEST:: SOT 11805375 SOS 7354306 HAS SOPS 6093949 HAS SOUS 1841924 HAS SOUPS 1751305 WITH SCORE 1758659.306
AT ITER 4105 NEW BEST:: SOT 11804610 SOS 7352380 HAS SOPS 6092708 HAS SOUS 1840623 HAS SOUPS 1750028 WITH SCORE 1757380.38
AT ITER 4108 NEW BEST:: SOT 11804475 SOS 7352487 HAS SOPS 6092601 HAS SOUS 1840091 HAS SOUPS 1749496 WITH SCORE 1756848.487
AT ITER 4117 NEW BEST:: SOT 11799702 SOS 7347285 HAS SOPS 6086366 HAS SOUS 1831009 HAS SOUPS 1740414 WITH SCORE 1747761.285
AT ITER 4130 NEW BEST:: SOT 11802351 SOS 7350131 HAS SOPS 6088942 HAS SOUS 1830678 HAS SOUPS 1740150 WITH SCORE 1747500.131
AT ITER 4180 NEW BEST:: SOT 11802390 SOS 7349894 HAS SOPS 6088881 HAS SOUS 1830481 HAS SOUPS 1739953 WITH SCORE 1747302.894
AT ITER 4182 NEW BEST:: SOT 11797788 SOS 7338070 HAS SOPS 6078214 HAS SOUS 1825484 HAS SOUPS 1735053 WITH SCORE 1742391.07
AT ITER 4188 NEW BEST:: SOT 11797422 SOS 7338390 HAS SOPS 6079715 HAS SOUS 1823858 HAS SOUPS 1733427 WITH SCORE 1740765.39
AT ITER 4195 NEW BEST:: SOT 11795130 SOS 7336216 HAS SOPS 6076534 HAS SOUS 1820188 HAS SOUPS 1729729 WITH SCORE 1737065.216
AT ITER 4200 NEW BEST:: SOT 11801024 SOS 7343415 HAS SOPS 6083424 HAS SOUS 1813057 HAS SOUPS 1722598 WITH SCORE 1729941.415
AT ITER 4203 NEW BEST:: SOT 11799097 SOS 7346196 HAS SOPS 6082826 HAS SOUS 1805516 HAS SOUPS 1714875 WITH SCORE 1722221.196
AT ITER 4226 NEW BEST:: SOT 11795895 SOS 7334165 HAS SOPS 6073894 HAS SOUS 1803210 HAS SOUPS 1712662 WITH SCORE 1719996.165
AT ITER 4240 NEW BEST:: SOT 11795849 SOS 7334907 HAS SOPS 6074020 HAS SOUS 1802350 HAS SOUPS 1711844 WITH SCORE 1719178.907
AT ITER 4248 NEW BEST:: SOT 11794295 SOS 7333345 HAS SOPS 6071914 HAS SOUS 1798996 HAS SOUPS 1708490 WITH SCORE 1715823.345
AT ITER 4258 NEW BEST:: SOT 11794295 SOS 7333376 HAS SOPS 6071969 HAS SOUS 1798995 HAS SOUPS 1708489 WITH SCORE 1715822.376
AT ITER 4280 NEW BEST:: SOT 11794160 SOS 7330715 HAS SOPS 6067261 HAS SOUS 1793471 HAS SOUPS 1703036 WITH SCORE 1710366.715
AT ITER 4327 NEW BEST:: SOT 11795697 SOS 7331867 HAS SOPS 6067185 HAS SOUS 1791796 HAS SOUPS 1701351 WITH SCORE 1708682.867
AT ITER 4340 NEW BEST:: SOT 11796065 SOS 7331077 HAS SOPS 6066229 HAS SOUS 1791661 HAS SOUPS 1701216 WITH SCORE 1708547.077
AT ITER 4351 NEW BEST:: SOT 11795785 SOS 7331083 HAS SOPS 6066285 HAS SOUS 1791215 HAS SOUPS 1700790 WITH SCORE 1708121.083
AT ITER 4354 NEW BEST:: SOT 11795586 SOS 7330884 HAS SOPS 6065990 HAS SOUS 1790824 HAS SOUPS 1700303 WITH SCORE 1707633.884
AT ITER 4367 NEW BEST:: SOT 11795730 SOS 7331041 HAS SOPS 6066394 HAS SOUS 1790551 HAS SOUPS 1700084 WITH SCORE 1707415.041
AT ITER 4371 NEW BEST:: SOT 11795697 SOS 7331008 HAS SOPS 6066345 HAS SOUS 1790486 HAS SOUPS 1700019 WITH SCORE 1707350.008
AT ITER 4374 NEW BEST:: SOT 11795990 SOS 7330473 HAS SOPS 6064034 HAS SOUS 1788672 HAS SOUPS 1698205 WITH SCORE 1705535.473
AT ITER 4385 NEW BEST:: SOT 11794626 SOS 7328618 HAS SOPS 6061576 HAS SOUS 1787998 HAS SOUPS 1697531 WITH SCORE 1704859.618
AT ITER 4421 NEW BEST:: SOT 11791297 SOS 7318425 HAS SOPS 6054090 HAS SOUS 1786741 HAS SOUPS 1696385 WITH SCORE 1703703.425
AT ITER 4426 NEW BEST:: SOT 11791184 SOS 7318150 HAS SOPS 6053652 HAS SOUS 1786566 HAS SOUPS 1696210 WITH SCORE 1703528.15
AT ITER 4432 NEW BEST:: SOT 11792299 SOS 7321758 HAS SOPS 6058994 HAS SOUS 1785698 HAS SOUPS 1695342 WITH SCORE 1702663.758
AT ITER 4439 NEW BEST:: SOT 11791850 SOS 7323742 HAS SOPS 6061338 HAS SOUS 1783221 HAS SOUPS 1692910 WITH SCORE 1700233.742
AT ITER 4442 NEW BEST:: SOT 11791793 SOS 7323703 HAS SOPS 6061152 HAS SOUS 1782969 HAS SOUPS 1692658 WITH SCORE 1699981.703
AT ITER 4450 NEW BEST:: SOT 11790816 SOS 7320283 HAS SOPS 6058433 HAS SOUS 1782286 HAS SOUPS 1691993 WITH SCORE 1699313.283
AT ITER 4452 NEW BEST:: SOT 11789775 SOS 7319230 HAS SOPS 6056510 HAS SOUS 1780975 HAS SOUPS 1690682 WITH SCORE 1698001.23
AT ITER 4480 NEW BEST:: SOT 11789909 SOS 7319751 HAS SOPS 6057500 HAS SOUS 1780860 HAS SOUPS 1690567 WITH SCORE 1697886.751
AT ITER 4491 NEW BEST:: SOT 11788114 SOS 7317956 HAS SOPS 6055529 HAS SOUS 1778505 HAS SOUPS 1688212 WITH SCORE 1695529.956
AT ITER 4525 NEW BEST:: SOT 11787215 SOS 7314697 HAS SOPS 6054479 HAS SOUS 1777292 HAS SOUPS 1686999 WITH SCORE 1694313.697
AT ITER 4531 NEW BEST:: SOT 11786946 SOS 7314563 HAS SOPS 6053880 HAS SOUS 1776954 HAS SOUPS 1686650 WITH SCORE 1693964.563
AT ITER 4537 NEW BEST:: SOT 11787793 SOS 7315386 HAS SOPS 6055072 HAS SOUS 1776841 HAS SOUPS 1686564 WITH SCORE 1693879.386
AT ITER 4542 NEW BEST:: SOT 11787862 SOS 7315708 HAS SOPS 6055299 HAS SOUS 1776625 HAS SOUPS 1686348 WITH SCORE 1693663.708
AT ITER 4546 NEW BEST:: SOT 11788547 SOS 7316370 HAS SOPS 6056654 HAS SOUS 1776100 HAS SOUPS 1685842 WITH SCORE 1693158.37
AT ITER 4582 NEW BEST:: SOT 11783068 SOS 7303690 HAS SOPS 6046222 HAS SOUS 1774844 HAS SOUPS 1684586 WITH SCORE 1691889.69
AT ITER 4585 NEW BEST:: SOT 11782416 SOS 7302957 HAS SOPS 6045345 HAS SOUS 1773857 HAS SOUPS 1683653 WITH SCORE 1690955.957
AT ITER 4595 NEW BEST:: SOT 11781999 SOS 7302215 HAS SOPS 6044691 HAS SOUS 1773189 HAS SOUPS 1682993 WITH SCORE 1690295.215
AT ITER 4598 NEW BEST:: SOT 11781484 SOS 7299558 HAS SOPS 6043059 HAS SOUS 1772948 HAS SOUPS 1682752 WITH SCORE 1690051.558
AT ITER 4601 NEW BEST:: SOT 11781415 SOS 7299473 HAS SOPS 6042889 HAS SOUS 1772787 HAS SOUPS 1682588 WITH SCORE 1689887.473
AT ITER 4605 NEW BEST:: SOT 11780913 SOS 7299199 HAS SOPS 6040597 HAS SOUS 1770645 HAS SOUPS 1680412 WITH SCORE 1687711.199
AT ITER 4629 NEW BEST:: SOT 11781046 SOS 7299088 HAS SOPS 6040395 HAS SOUS 1770639 HAS SOUPS 1680406 WITH SCORE 1687705.088
AT ITER 4653 NEW BEST:: SOT 11779888 SOS 7296039 HAS SOPS 6037121 HAS SOUS 1766693 HAS SOUPS 1676460 WITH SCORE 1683756.039
AT ITER 4668 NEW BEST:: SOT 11779328 SOS 7298402 HAS SOPS 6039030 HAS SOUS 1766439 HAS SOUPS 1676206 WITH SCORE 1683504.402
AT ITER 4678 NEW BEST:: SOT 11776941 SOS 7296044 HAS SOPS 6036672 HAS SOUS 1764793 HAS SOUPS 1674560 WITH SCORE 1681856.044
AT ITER 4692 NEW BEST:: SOT 11778539 SOS 7301348 HAS SOPS 6038189 HAS SOUS 1763108 HAS SOUPS 1672875 WITH SCORE 1680176.348
AT ITER 4701 NEW BEST:: SOT 11778523 SOS 7301287 HAS SOPS 6038023 HAS SOUS 1763102 HAS SOUPS 1672869 WITH SCORE 1680170.287
AT ITER 4712 NEW BEST:: SOT 11778477 SOS 7300896 HAS SOPS 6037448 HAS SOUS 1762955 HAS SOUPS 1672722 WITH SCORE 1680022.896
AT ITER 4736 NEW BEST:: SOT 11779673 SOS 7303841 HAS SOPS 6041161 HAS SOUS 1762171 HAS SOUPS 1671980 WITH SCORE 1679283.841
AT ITER 4749 NEW BEST:: SOT 11781826 SOS 7308511 HAS SOPS 6046054 HAS SOUS 1761510 HAS SOUPS 1671406 WITH SCORE 1678714.511
AT ITER 4757 NEW BEST:: SOT 11783514 SOS 7311530 HAS SOPS 6049715 HAS SOUS 1761567 HAS SOUPS 1671401 WITH SCORE 1678712.53
AT ITER 4768 NEW BEST:: SOT 11782023 SOS 7308859 HAS SOPS 6048219 HAS SOUS 1761460 HAS SOUPS 1671299 WITH SCORE 1678607.859
AT ITER 4782 NEW BEST:: SOT 11781732 SOS 7308668 HAS SOPS 6047755 HAS SOUS 1760678 HAS SOUPS 1670517 WITH SCORE 1677825.668
AT ITER 4793 NEW BEST:: SOT 11781878 SOS 7309162 HAS SOPS 6048105 HAS SOUS 1760608 HAS SOUPS 1670447 WITH SCORE 1677756.162
AT ITER 4799 NEW BEST:: SOT 11781655 SOS 7308890 HAS SOPS 6047737 HAS SOUS 1759820 HAS SOUPS 1669672 WITH SCORE 1676980.89
AT ITER 4837 NEW BEST:: SOT 11780915 SOS 7308119 HAS SOPS 6046280 HAS SOUS 1757360 HAS SOUPS 1667350 WITH SCORE 1674658.119
AT ITER 4849 NEW BEST:: SOT 11780708 SOS 7307366 HAS SOPS 6044905 HAS SOUS 1756767 HAS SOUPS 1666757 WITH SCORE 1674064.366
AT ITER 4871 NEW BEST:: SOT 11780598 SOS 7307344 HAS SOPS 6044803 HAS SOUS 1756509 HAS SOUPS 1666499 WITH SCORE 1673806.344
AT ITER 4893 NEW BEST:: SOT 11779261 SOS 7303845 HAS SOPS 6042280 HAS SOUS 1755627 HAS SOUPS 1665617 WITH SCORE 1672920.845
AT ITER 4918 NEW BEST:: SOT 11782921 SOS 7313393 HAS SOPS 6049484 HAS SOUS 1754068 HAS SOUPS 1664058 WITH SCORE 1671371.393
AT ITER 4956 NEW BEST:: SOT 11782101 SOS 7312547 HAS SOPS 6048414 HAS SOUS 1752328 HAS SOUPS 1662318 WITH SCORE 1669630.547
AT ITER 5008 NEW BEST:: SOT 11781913 SOS 7313239 HAS SOPS 6047438 HAS SOUS 1749283 HAS SOUPS 1659273 WITH SCORE 1666586.239
AT ITER 5017 NEW BEST:: SOT 11781936 SOS 7313117 HAS SOPS 6047161 HAS SOUS 1748955 HAS SOUPS 1658945 WITH SCORE 1666258.117
AT ITER 5048 NEW BEST:: SOT 11781719 SOS 7312730 HAS SOPS 6046614 HAS SOUS 1748518 HAS SOUPS 1658498 WITH SCORE 1665810.73
AT ITER 5064 NEW BEST:: SOT 11774156 SOS 7283730 HAS SOPS 6017285 HAS SOUS 1740851 HAS SOUPS 1650831 WITH SCORE 1658114.73
AT ITER 5075 NEW BEST:: SOT 11772852 SOS 7282407 HAS SOPS 6015674 HAS SOUS 1737767 HAS SOUPS 1647843 WITH SCORE 1655125.407
AT ITER 5080 NEW BEST:: SOT 11772784 SOS 7283290 HAS SOPS 6017314 HAS SOUS 1735288 HAS SOUPS 1645310 WITH SCORE 1652593.29
AT ITER 5085 NEW BEST:: SOT 11771654 SOS 7282113 HAS SOPS 6016585 HAS SOUS 1733361 HAS SOUPS 1643383 WITH SCORE 1650665.113
AT ITER 5089 NEW BEST:: SOT 11770840 SOS 7281274 HAS SOPS 6016615 HAS SOUS 1731093 HAS SOUPS 1641115 WITH SCORE 1648396.274
AT ITER 5094 NEW BEST:: SOT 11769807 SOS 7277574 HAS SOPS 6013043 HAS SOUS 1729219 HAS SOUPS 1639241 WITH SCORE 1646518.574
AT ITER 5102 NEW BEST:: SOT 11769787 SOS 7278679 HAS SOPS 6012257 HAS SOUS 1728707 HAS SOUPS 1638729 WITH SCORE 1646007.679
AT ITER 5128 NEW BEST:: SOT 11763392 SOS 7272267 HAS SOPS 6005333 HAS SOUS 1719568 HAS SOUPS 1629590 WITH SCORE 1636862.267
AT ITER 5130 NEW BEST:: SOT 11762538 SOS 7271412 HAS SOPS 6003982 HAS SOUS 1718251 HAS SOUPS 1628273 WITH SCORE 1635544.412
AT ITER 5133 NEW BEST:: SOT 11762027 SOS 7271331 HAS SOPS 6003544 HAS SOUS 1717583 HAS SOUPS 1627526 WITH SCORE 1634797.331
AT ITER 5152 NEW BEST:: SOT 11760360 SOS 7268389 HAS SOPS 6001211 HAS SOUS 1715276 HAS SOUPS 1625260 WITH SCORE 1632528.389
AT ITER 5170 NEW BEST:: SOT 11758956 SOS 7265839 HAS SOPS 5998441 HAS SOUS 1714136 HAS SOUPS 1624120 WITH SCORE 1631385.839
AT ITER 5174 NEW BEST:: SOT 11758381 SOS 7265670 HAS SOPS 5998526 HAS SOUS 1711982 HAS SOUPS 1622207 WITH SCORE 1629472.67
AT ITER 5199 NEW BEST:: SOT 11758497 SOS 7265955 HAS SOPS 5998239 HAS SOUS 1711948 HAS SOUPS 1622173 WITH SCORE 1629438.955
AT ITER 5203 NEW BEST:: SOT 11756894 SOS 7262808 HAS SOPS 5995168 HAS SOUS 1711897 HAS SOUPS 1622169 WITH SCORE 1629431.808
AT ITER 5236 NEW BEST:: SOT 11757155 SOS 7262430 HAS SOPS 5995576 HAS SOUS 1711667 HAS SOUPS 1621939 WITH SCORE 1629201.43
AT ITER 5249 NEW BEST:: SOT 11755572 SOS 7260763 HAS SOPS 5993689 HAS SOUS 1709584 HAS SOUPS 1619856 WITH SCORE 1627116.763
AT ITER 5265 NEW BEST:: SOT 11755481 SOS 7260715 HAS SOPS 5993928 HAS SOUS 1709280 HAS SOUPS 1619552 WITH SCORE 1626812.715
AT ITER 5276 NEW BEST:: SOT 11756413 SOS 7261649 HAS SOPS 5994807 HAS SOUS 1707079 HAS SOUPS 1617351 WITH SCORE 1624612.649
AT ITER 5278 NEW BEST:: SOT 11755661 SOS 7260919 HAS SOPS 5993501 HAS SOUS 1704347 HAS SOUPS 1614619 WITH SCORE 1621879.919
AT ITER 5279 NEW BEST:: SOT 11754863 SOS 7256051 HAS SOPS 5989019 HAS SOUS 1702297 HAS SOUPS 1612569 WITH SCORE 1619825.051
AT ITER 5287 NEW BEST:: SOT 11755368 SOS 7256464 HAS SOPS 5990093 HAS SOUS 1699083 HAS SOUPS 1609425 WITH SCORE 1616681.464
AT ITER 5306 NEW BEST:: SOT 11755322 SOS 7255578 HAS SOPS 5988653 HAS SOUS 1698810 HAS SOUPS 1609152 WITH SCORE 1616407.578
AT ITER 5329 NEW BEST:: SOT 11754102 SOS 7252890 HAS SOPS 5986504 HAS SOUS 1697490 HAS SOUPS 1607832 WITH SCORE 1615084.89
AT ITER 5360 NEW BEST:: SOT 11756668 SOS 7255413 HAS SOPS 5987827 HAS SOUS 1694180 HAS SOUPS 1604474 WITH SCORE 1611729.413
AT ITER 5371 NEW BEST:: SOT 11757699 SOS 7258382 HAS SOPS 5991145 HAS SOUS 1693965 HAS SOUPS 1604286 WITH SCORE 1611544.382
AT ITER 5372 NEW BEST:: SOT 11757054 SOS 7256682 HAS SOPS 5990071 HAS SOUS 1693000 HAS SOUPS 1603741 WITH SCORE 1610997.682
AT ITER 5387 NEW BEST:: SOT 11756818 SOS 7255823 HAS SOPS 5988543 HAS SOUS 1690422 HAS SOUPS 1601163 WITH SCORE 1608418.823
AT ITER 5432 NEW BEST:: SOT 11756406 SOS 7255246 HAS SOPS 5987493 HAS SOUS 1690028 HAS SOUPS 1600769 WITH SCORE 1608024.246
AT ITER 5440 NEW BEST:: SOT 11753944 SOS 7251828 HAS SOPS 5983475 HAS SOUS 1685846 HAS SOUPS 1596627 WITH SCORE 1603878.828
AT ITER 5449 NEW BEST:: SOT 11753828 SOS 7253404 HAS SOPS 5985089 HAS SOUS 1685465 HAS SOUPS 1596246 WITH SCORE 1603499.404
AT ITER 5458 NEW BEST:: SOT 11756500 SOS 7253308 HAS SOPS 5987037 HAS SOUS 1685048 HAS SOUPS 1595829 WITH SCORE 1603082.308
AT ITER 5470 NEW BEST:: SOT 11756622 SOS 7253833 HAS SOPS 5987179 HAS SOUS 1684325 HAS SOUPS 1595112 WITH SCORE 1602365.833
AT ITER 5486 NEW BEST:: SOT 11757200 SOS 7257048 HAS SOPS 5989205 HAS SOUS 1682746 HAS SOUPS 1593533 WITH SCORE 1600790.048
AT ITER 5499 NEW BEST:: SOT 11756600 SOS 7257362 HAS SOPS 5988060 HAS SOUS 1681320 HAS SOUPS 1592107 WITH SCORE 1599364.362
AT ITER 5504 NEW BEST:: SOT 11761565 SOS 7258454 HAS SOPS 5992308 HAS SOUS 1680117 HAS SOUPS 1591042 WITH SCORE 1598300.454
AT ITER 5527 NEW BEST:: SOT 11761767 SOS 7259071 HAS SOPS 5992997 HAS SOUS 1679206 HAS SOUPS 1590132 WITH SCORE 1597391.071
AT ITER 5584 NEW BEST:: SOT 11761224 SOS 7258528 HAS SOPS 5992454 HAS SOUS 1677483 HAS SOUPS 1588409 WITH SCORE 1595667.528
AT ITER 5585 NEW BEST:: SOT 11762251 SOS 7259443 HAS SOPS 5994702 HAS SOUS 1676193 HAS SOUPS 1587119 WITH SCORE 1594378.443
AT ITER 5628 NEW BEST:: SOT 11762130 SOS 7259322 HAS SOPS 5994533 HAS SOUS 1675956 HAS SOUPS 1586882 WITH SCORE 1594141.322
AT ITER 5636 NEW BEST:: SOT 11762162 SOS 7259676 HAS SOPS 5994882 HAS SOUS 1675936 HAS SOUPS 1586862 WITH SCORE 1594121.676
AT ITER 5665 NEW BEST:: SOT 11759238 SOS 7256698 HAS SOPS 5991577 HAS SOUS 1668733 HAS SOUPS 1579659 WITH SCORE 1586915.698
AT ITER 5678 NEW BEST:: SOT 11758212 SOS 7255708 HAS SOPS 5990057 HAS SOUS 1668536 HAS SOUPS 1579369 WITH SCORE 1586624.708
AT ITER 5682 NEW BEST:: SOT 11758478 SOS 7255258 HAS SOPS 5990975 HAS SOUS 1668104 HAS SOUPS 1578965 WITH SCORE 1586220.258
AT ITER 5706 NEW BEST:: SOT 11758479 SOS 7254581 HAS SOPS 5990443 HAS SOUS 1668026 HAS SOUPS 1578887 WITH SCORE 1586141.581
AT ITER 5728 NEW BEST:: SOT 11760147 SOS 7255040 HAS SOPS 5989685 HAS SOUS 1666554 HAS SOUPS 1577415 WITH SCORE 1584670.04
AT ITER 5741 NEW BEST:: SOT 11761189 SOS 7256725 HAS SOPS 5991074 HAS SOUS 1666367 HAS SOUPS 1577205 WITH SCORE 1584461.725
AT ITER 5751 NEW BEST:: SOT 11760866 SOS 7256233 HAS SOPS 5990584 HAS SOUS 1666186 HAS SOUPS 1577024 WITH SCORE 1584280.233
AT ITER 5757 NEW BEST:: SOT 11755912 SOS 7246133 HAS SOPS 5983228 HAS SOUS 1662256 HAS SOUPS 1573752 WITH SCORE 1580998.133
AT ITER 5759 NEW BEST:: SOT 11755875 SOS 7245889 HAS SOPS 5983164 HAS SOUS 1662249 HAS SOUPS 1573745 WITH SCORE 1580990.889
AT ITER 5763 NEW BEST:: SOT 11755811 SOS 7245736 HAS SOPS 5983017 HAS SOUS 1662216 HAS SOUPS 1573719 WITH SCORE 1580964.736
AT ITER 5773 NEW BEST:: SOT 11754982 SOS 7245094 HAS SOPS 5981854 HAS SOUS 1659174 HAS SOUPS 1570677 WITH SCORE 1577922.094
AT ITER 5775 NEW BEST:: SOT 11754839 SOS 7245102 HAS SOPS 5981907 HAS SOUS 1659125 HAS SOUPS 1570628 WITH SCORE 1577873.102
AT ITER 5780 NEW BEST:: SOT 11754012 SOS 7243420 HAS SOPS 5980248 HAS SOUS 1658714 HAS SOUPS 1570195 WITH SCORE 1577438.42
AT ITER 5797 NEW BEST:: SOT 11746576 SOS 7233723 HAS SOPS 5970431 HAS SOUS 1650405 HAS SOUPS 1561886 WITH SCORE 1569119.723
AT ITER 5807 NEW BEST:: SOT 11753630 SOS 7242029 HAS SOPS 5982671 HAS SOUS 1647897 HAS SOUPS 1560936 WITH SCORE 1568178.029
AT ITER 5871 NEW BEST:: SOT 11756715 SOS 7245936 HAS SOPS 5983705 HAS SOUS 1646310 HAS SOUPS 1559349 WITH SCORE 1566594.936
AT ITER 5874 NEW BEST:: SOT 11755324 SOS 7242890 HAS SOPS 5981705 HAS SOUS 1644647 HAS SOUPS 1557686 WITH SCORE 1564928.89
AT ITER 5882 NEW BEST:: SOT 11754737 SOS 7242218 HAS SOPS 5981190 HAS SOUS 1642797 HAS SOUPS 1555874 WITH SCORE 1563116.218
AT ITER 5883 NEW BEST:: SOT 11753826 SOS 7241142 HAS SOPS 5980279 HAS SOUS 1641620 HAS SOUPS 1554708 WITH SCORE 1561949.142
AT ITER 5904 NEW BEST:: SOT 11753110 SOS 7240207 HAS SOPS 5978765 HAS SOUS 1639931 HAS SOUPS 1553019 WITH SCORE 1560259.207
AT ITER 5930 NEW BEST:: SOT 11753008 SOS 7240067 HAS SOPS 5978575 HAS SOUS 1639697 HAS SOUPS 1552785 WITH SCORE 1560025.067
AT ITER 5942 NEW BEST:: SOT 11741646 SOS 7225265 HAS SOPS 5962503 HAS SOUS 1610904 HAS SOUPS 1524098 WITH SCORE 1531323.265
AT ITER 6013 NEW BEST:: SOT 11741172 SOS 7224701 HAS SOPS 5961922 HAS SOUS 1610501 HAS SOUPS 1523680 WITH SCORE 1530904.701
AT ITER 6039 NEW BEST:: SOT 11740232 SOS 7223062 HAS SOPS 5959368 HAS SOUS 1608370 HAS SOUPS 1521549 WITH SCORE 1528772.062
AT ITER 6044 NEW BEST:: SOT 11734135 SOS 7214200 HAS SOPS 5950979 HAS SOUS 1604059 HAS SOUPS 1517238 WITH SCORE 1524452.2
AT ITER 6076 NEW BEST:: SOT 11734452 SOS 7216093 HAS SOPS 5952405 HAS SOUS 1603993 HAS SOUPS 1517172 WITH SCORE 1524388.093
AT ITER 6104 NEW BEST:: SOT 11734498 SOS 7216132 HAS SOPS 5952635 HAS SOUS 1603448 HAS SOUPS 1516819 WITH SCORE 1524035.132
AT ITER 6113 NEW BEST:: SOT 11734768 SOS 7216853 HAS SOPS 5953279 HAS SOUS 1603407 HAS SOUPS 1516771 WITH SCORE 1523987.853
AT ITER 6119 NEW BEST:: SOT 11738383 SOS 7199573 HAS SOPS 5938079 HAS SOUS 1601176 HAS SOUPS 1514800 WITH SCORE 1521999.573
AT ITER 6167 NEW BEST:: SOT 11738901 SOS 7201513 HAS SOPS 5941768 HAS SOUS 1600011 HAS SOUPS 1513635 WITH SCORE 1520836.513
AT ITER 6207 NEW BEST:: SOT 11737731 SOS 7199620 HAS SOPS 5943095 HAS SOUS 1597707 HAS SOUPS 1511331 WITH SCORE 1518530.62
AT ITER 6245 NEW BEST:: SOT 11736623 SOS 7198180 HAS SOPS 5939059 HAS SOUS 1597067 HAS SOUPS 1509668 WITH SCORE 1516866.18
AT ITER 6250 NEW BEST:: SOT 11735206 SOS 7197717 HAS SOPS 5938084 HAS SOUS 1593297 HAS SOUPS 1505898 WITH SCORE 1513095.717
AT ITER 6280 NEW BEST:: SOT 11735171 SOS 7196321 HAS SOPS 5937645 HAS SOUS 1593212 HAS SOUPS 1505813 WITH SCORE 1513009.321
AT ITER 6284 NEW BEST:: SOT 11734279 SOS 7193843 HAS SOPS 5935619 HAS SOUS 1593210 HAS SOUPS 1505811 WITH SCORE 1513004.843
AT ITER 6298 NEW BEST:: SOT 11734238 SOS 7193975 HAS SOPS 5935422 HAS SOUS 1593082 HAS SOUPS 1505683 WITH SCORE 1512876.975
AT ITER 6320 NEW BEST:: SOT 11734877 SOS 7194477 HAS SOPS 5936569 HAS SOUS 1592944 HAS SOUPS 1505588 WITH SCORE 1512782.477
AT ITER 6346 NEW BEST:: SOT 11735828 SOS 7195428 HAS SOPS 5937264 HAS SOUS 1592875 HAS SOUPS 1505519 WITH SCORE 1512714.428
AT ITER 6359 NEW BEST:: SOT 11742250 SOS 7210554 HAS SOPS 5950466 HAS SOUS 1592150 HAS SOUPS 1504794 WITH SCORE 1512004.554
AT ITER 6378 NEW BEST:: SOT 11742168 SOS 7210490 HAS SOPS 5950406 HAS SOUS 1591885 HAS SOUPS 1504529 WITH SCORE 1511739.49
AT ITER 6379 NEW BEST:: SOT 11739478 SOS 7208699 HAS SOPS 5945933 HAS SOUS 1586637 HAS SOUPS 1499281 WITH SCORE 1506489.699
AT ITER 6390 NEW BEST:: SOT 11739388 SOS 7208517 HAS SOPS 5945615 HAS SOUS 1586106 HAS SOUPS 1498753 WITH SCORE 1505961.517
AT ITER 6397 NEW BEST:: SOT 11738396 SOS 7206921 HAS SOPS 5943470 HAS SOUS 1584480 HAS SOUPS 1497127 WITH SCORE 1504333.921
AT ITER 6421 NEW BEST:: SOT 11738336 SOS 7206861 HAS SOPS 5943266 HAS SOUS 1583688 HAS SOUPS 1496335 WITH SCORE 1503541.861
AT ITER 6433 NEW BEST:: SOT 11738192 SOS 7206823 HAS SOPS 5943047 HAS SOUS 1583006 HAS SOUPS 1495653 WITH SCORE 1502859.823
AT ITER 6434 NEW BEST:: SOT 11736573 SOS 7205109 HAS SOPS 5940726 HAS SOUS 1579534 HAS SOUPS 1492200 WITH SCORE 1499405.109
AT ITER 6447 NEW BEST:: SOT 11736565 SOS 7205148 HAS SOPS 5940733 HAS SOUS 1579529 HAS SOUPS 1492194 WITH SCORE 1499399.148
AT ITER 6456 NEW BEST:: SOT 11736638 SOS 7204499 HAS SOPS 5940872 HAS SOUS 1579173 HAS SOUPS 1491838 WITH SCORE 1499042.499
AT ITER 6480 NEW BEST:: SOT 11736596 SOS 7203783 HAS SOPS 5940289 HAS SOUS 1578761 HAS SOUPS 1491438 WITH SCORE 1498641.783
AT ITER 6489 NEW BEST:: SOT 11736570 SOS 7203720 HAS SOPS 5940204 HAS SOUS 1578758 HAS SOUPS 1491435 WITH SCORE 1498638.72
AT ITER 6492 NEW BEST:: SOT 11736261 SOS 7203488 HAS SOPS 5939825 HAS SOUS 1577658 HAS SOUPS 1490335 WITH SCORE 1497538.488
AT ITER 6524 NEW BEST:: SOT 11736378 SOS 7203865 HAS SOPS 5941064 HAS SOUS 1576839 HAS SOUPS 1489577 WITH SCORE 1496780.865
AT ITER 6527 NEW BEST:: SOT 11735661 SOS 7203394 HAS SOPS 5940377 HAS SOUS 1574908 HAS SOUPS 1487646 WITH SCORE 1494849.394
AT ITER 6544 NEW BEST:: SOT 11735123 SOS 7202124 HAS SOPS 5939212 HAS SOUS 1573707 HAS SOUPS 1486445 WITH SCORE 1493647.124
AT ITER 6549 NEW BEST:: SOT 11736025 SOS 7204326 HAS SOPS 5941016 HAS SOUS 1572808 HAS SOUPS 1485546 WITH SCORE 1492750.326
AT ITER 6578 NEW BEST:: SOT 11735971 SOS 7204371 HAS SOPS 5941075 HAS SOUS 1572673 HAS SOUPS 1485411 WITH SCORE 1492615.371
AT ITER 6588 NEW BEST:: SOT 11735309 SOS 7203787 HAS SOPS 5940363 HAS SOUS 1571827 HAS SOUPS 1484565 WITH SCORE 1491768.787
AT ITER 6606 NEW BEST:: SOT 11735247 SOS 7203725 HAS SOPS 5940269 HAS SOUS 1571685 HAS SOUPS 1484407 WITH SCORE 1491610.725
AT ITER 6644 NEW BEST:: SOT 11735163 SOS 7203631 HAS SOPS 5940160 HAS SOUS 1571504 HAS SOUPS 1484227 WITH SCORE 1491430.631
AT ITER 6653 NEW BEST:: SOT 11734081 SOS 7202937 HAS SOPS 5939508 HAS SOUS 1570490 HAS SOUPS 1483213 WITH SCORE 1490415.937
AT ITER 6664 NEW BEST:: SOT 11732297 SOS 7201153 HAS SOPS 5937500 HAS SOUS 1569390 HAS SOUPS 1482113 WITH SCORE 1489314.153
AT ITER 6696 NEW BEST:: SOT 11731865 SOS 7200721 HAS SOPS 5937068 HAS SOUS 1568931 HAS SOUPS 1481654 WITH SCORE 1488854.721
AT ITER 6706 NEW BEST:: SOT 11731165 SOS 7197885 HAS SOPS 5934700 HAS SOUS 1568837 HAS SOUPS 1481560 WITH SCORE 1488757.885
AT ITER 6726 NEW BEST:: SOT 11731218 SOS 7195539 HAS SOPS 5932498 HAS SOUS 1568635 HAS SOUPS 1481358 WITH SCORE 1488553.539
AT ITER 6732 NEW BEST:: SOT 11730792 SOS 7193936 HAS SOPS 5931206 HAS SOUS 1568500 HAS SOUPS 1481223 WITH SCORE 1488416.936
AT ITER 6742 NEW BEST:: SOT 11730927 SOS 7194907 HAS SOPS 5933177 HAS SOUS 1568371 HAS SOUPS 1481094 WITH SCORE 1488288.907
AT ITER 6869 NEW BEST:: SOT 11731092 SOS 7195038 HAS SOPS 5932929 HAS SOUS 1566982 HAS SOUPS 1479705 WITH SCORE 1486900.038
AT ITER 6881 NEW BEST:: SOT 11731006 SOS 7194924 HAS SOPS 5932819 HAS SOUS 1566940 HAS SOUPS 1479665 WITH SCORE 1486859.924
AT ITER 6898 NEW BEST:: SOT 11731249 SOS 7194660 HAS SOPS 5932551 HAS SOUS 1566855 HAS SOUPS 1479593 WITH SCORE 1486787.66
AT ITER 6909 NEW BEST:: SOT 11731597 SOS 7195295 HAS SOPS 5932696 HAS SOUS 1566725 HAS SOUPS 1479355 WITH SCORE 1486550.295
AT ITER 6931 NEW BEST:: SOT 11728415 SOS 7192113 HAS SOPS 5929146 HAS SOUS 1562163 HAS SOUPS 1474793 WITH SCORE 1481985.113
AT ITER 6945 NEW BEST:: SOT 11728774 SOS 7192490 HAS SOPS 5929567 HAS SOUS 1561818 HAS SOUPS 1474449 WITH SCORE 1481641.49
AT ITER 6968 NEW BEST:: SOT 11728792 SOS 7192040 HAS SOPS 5929407 HAS SOUS 1561726 HAS SOUPS 1474357 WITH SCORE 1481549.04
AT ITER 6992 NEW BEST:: SOT 11728425 SOS 7191673 HAS SOPS 5929008 HAS SOUS 1561735 HAS SOUPS 1474346 WITH SCORE 1481537.673
AT ITER 7016 NEW BEST:: SOT 11728630 SOS 7191730 HAS SOPS 5928937 HAS SOUS 1561078 HAS SOUPS 1473817 WITH SCORE 1481008.73
AT ITER 7024 NEW BEST:: SOT 11729547 SOS 7196390 HAS SOPS 5932041 HAS SOUS 1559990 HAS SOUPS 1472783 WITH SCORE 1479979.39
AT ITER 7062 NEW BEST:: SOT 11725962 SOS 7182412 HAS SOPS 5920531 HAS SOUS 1559758 HAS SOUPS 1472551 WITH SCORE 1479733.412
AT ITER 7082 NEW BEST:: SOT 11725534 SOS 7181576 HAS SOPS 5919983 HAS SOUS 1558930 HAS SOUPS 1471703 WITH SCORE 1478884.576
AT ITER 7090 NEW BEST:: SOT 11725286 SOS 7180287 HAS SOPS 5921191 HAS SOUS 1558252 HAS SOUPS 1471025 WITH SCORE 1478205.287
AT ITER 7101 NEW BEST:: SOT 11725588 SOS 7181799 HAS SOPS 5922858 HAS SOUS 1557496 HAS SOUPS 1470269 WITH SCORE 1477450.799
AT ITER 7103 NEW BEST:: SOT 11725250 SOS 7181574 HAS SOPS 5919122 HAS SOUS 1557365 HAS SOUPS 1470138 WITH SCORE 1477319.574
AT ITER 7111 NEW BEST:: SOT 11724780 SOS 7180826 HAS SOPS 5918089 HAS SOUS 1556686 HAS SOUPS 1469459 WITH SCORE 1476639.826
AT ITER 7149 NEW BEST:: SOT 11725019 SOS 7181421 HAS SOPS 5918762 HAS SOUS 1556479 HAS SOUPS 1469278 WITH SCORE 1476459.421
AT ITER 7158 NEW BEST:: SOT 11724237 SOS 7181176 HAS SOPS 5918055 HAS SOUS 1554195 HAS SOUPS 1466964 WITH SCORE 1474145.176
AT ITER 7159 NEW BEST:: SOT 11726605 SOS 7187649 HAS SOPS 5923296 HAS SOUS 1553455 HAS SOUPS 1466224 WITH SCORE 1473411.649
AT ITER 7204 NEW BEST:: SOT 11738227 SOS 7198551 HAS SOPS 5932269 HAS SOUS 1552313 HAS SOUPS 1465187 WITH SCORE 1472385.551
AT ITER 7207 NEW BEST:: SOT 11732731 SOS 7199971 HAS SOPS 5931733 HAS SOUS 1552325 HAS SOUPS 1465100 WITH SCORE 1472299.971
AT ITER 7261 NEW BEST:: SOT 11731877 SOS 7197852 HAS SOPS 5931716 HAS SOUS 1551876 HAS SOUPS 1464651 WITH SCORE 1471848.852
AT ITER 7264 NEW BEST:: SOT 11731809 SOS 7197464 HAS SOPS 5930993 HAS SOUS 1551784 HAS SOUPS 1464559 WITH SCORE 1471756.464
AT ITER 7266 NEW BEST:: SOT 11731699 SOS 7197868 HAS SOPS 5932289 HAS SOUS 1551529 HAS SOUPS 1464304 WITH SCORE 1471501.868
AT ITER 7268 NEW BEST:: SOT 11730519 SOS 7195854 HAS SOPS 5930269 HAS SOUS 1549461 HAS SOUPS 1462252 WITH SCORE 1469447.854
AT ITER 7271 NEW BEST:: SOT 11730375 SOS 7195348 HAS SOPS 5929776 HAS SOUS 1549163 HAS SOUPS 1461958 WITH SCORE 1469153.348
AT ITER 7299 NEW BEST:: SOT 11730922 SOS 7196993 HAS SOPS 5931158 HAS SOUS 1548669 HAS SOUPS 1461461 WITH SCORE 1468657.993
AT ITER 7313 NEW BEST:: SOT 11729909 SOS 7195761 HAS SOPS 5929216 HAS SOUS 1547013 HAS SOUPS 1459805 WITH SCORE 1467000.761
AT ITER 7341 NEW BEST:: SOT 11728993 SOS 7195476 HAS SOPS 5928638 HAS SOUS 1546170 HAS SOUPS 1458962 WITH SCORE 1466157.476
AT ITER 7378 NEW BEST:: SOT 11728982 SOS 7195370 HAS SOPS 5928532 HAS SOUS 1546064 HAS SOUPS 1458856 WITH SCORE 1466051.37
AT ITER 7381 NEW BEST:: SOT 11728540 SOS 7194198 HAS SOPS 5927288 HAS SOUS 1545640 HAS SOUPS 1458432 WITH SCORE 1465626.198
AT ITER 7392 NEW BEST:: SOT 11728499 SOS 7194135 HAS SOPS 5927171 HAS SOUS 1545545 HAS SOUPS 1458337 WITH SCORE 1465531.135
AT ITER 7401 NEW BEST:: SOT 11728335 SOS 7194485 HAS SOPS 5927296 HAS SOUS 1544646 HAS SOUPS 1457438 WITH SCORE 1464632.485
AT ITER 7409 NEW BEST:: SOT 11731500 SOS 7199341 HAS SOPS 5931426 HAS SOUS 1543005 HAS SOUPS 1455797 WITH SCORE 1462996.341
AT ITER 7416 NEW BEST:: SOT 11731404 SOS 7199243 HAS SOPS 5931296 HAS SOUS 1542805 HAS SOUPS 1455597 WITH SCORE 1462796.243
AT ITER 7432 NEW BEST:: SOT 11729119 SOS 7195219 HAS SOPS 5927075 HAS SOUS 1540826 HAS SOUPS 1453618 WITH SCORE 1460813.219
AT ITER 7435 NEW BEST:: SOT 11729119 SOS 7195265 HAS SOPS 5927147 HAS SOUS 1540777 HAS SOUPS 1453569 WITH SCORE 1460764.265
AT ITER 7475 NEW BEST:: SOT 11728215 SOS 7194810 HAS SOPS 5926089 HAS SOUS 1538387 HAS SOUPS 1451179 WITH SCORE 1458373.81
AT ITER 7485 NEW BEST:: SOT 11728184 SOS 7194772 HAS SOPS 5926074 HAS SOUS 1538388 HAS SOUPS 1451179 WITH SCORE 1458373.772
AT ITER 7499 NEW BEST:: SOT 11728366 SOS 7195072 HAS SOPS 5926520 HAS SOUS 1538199 HAS SOUPS 1451023 WITH SCORE 1458218.072
AT ITER 7503 NEW BEST:: SOT 11726542 SOS 7193248 HAS SOPS 5924536 HAS SOUS 1537239 HAS SOUPS 1450063 WITH SCORE 1457256.248
AT ITER 7512 NEW BEST:: SOT 11728991 SOS 7194198 HAS SOPS 5928809 HAS SOUS 1536666 HAS SOUPS 1449490 WITH SCORE 1456684.198
AT ITER 7522 NEW BEST:: SOT 11727965 SOS 7192464 HAS SOPS 5927121 HAS SOUS 1533830 HAS SOUPS 1446710 WITH SCORE 1453902.464
AT ITER 7531 NEW BEST:: SOT 11724255 SOS 7191530 HAS SOPS 5926344 HAS SOUS 1533262 HAS SOUPS 1446146 WITH SCORE 1453337.53
AT ITER 7533 NEW BEST:: SOT 11723298 SOS 7190111 HAS SOPS 5925029 HAS SOUS 1532103 HAS SOUPS 1445107 WITH SCORE 1452297.111
AT ITER 7536 NEW BEST:: SOT 11718961 SOS 7185772 HAS SOPS 5920759 HAS SOUS 1525784 HAS SOUPS 1438788 WITH SCORE 1445973.772
AT ITER 7550 NEW BEST:: SOT 11719231 SOS 7187541 HAS SOPS 5922783 HAS SOUS 1518812 HAS SOUPS 1431800 WITH SCORE 1438987.541
AT ITER 7554 NEW BEST:: SOT 11722228 SOS 7191817 HAS SOPS 5928213 HAS SOUS 1517903 HAS SOUPS 1431045 WITH SCORE 1438236.817
AT ITER 7584 NEW BEST:: SOT 11722221 SOS 7191195 HAS SOPS 5925819 HAS SOUS 1516765 HAS SOUPS 1429907 WITH SCORE 1437098.195
AT ITER 7621 NEW BEST:: SOT 11721860 SOS 7190134 HAS SOPS 5924708 HAS SOUS 1515016 HAS SOUPS 1428158 WITH SCORE 1435348.134
AT ITER 7642 NEW BEST:: SOT 11714094 SOS 7180040 HAS SOPS 5915015 HAS SOUS 1504055 HAS SOUPS 1417197 WITH SCORE 1424377.04
AT ITER 7675 NEW BEST:: SOT 11712009 SOS 7178249 HAS SOPS 5911574 HAS SOUS 1501430 HAS SOUPS 1414572 WITH SCORE 1421750.249
AT ITER 7691 NEW BEST:: SOT 11711989 SOS 7178109 HAS SOPS 5911516 HAS SOUS 1501338 HAS SOUPS 1414480 WITH SCORE 1421658.109
AT ITER 7696 NEW BEST:: SOT 11711707 SOS 7178452 HAS SOPS 5911508 HAS SOUS 1500350 HAS SOUPS 1413492 WITH SCORE 1420670.452
AT ITER 7705 NEW BEST:: SOT 11710836 SOS 7174608 HAS SOPS 5907444 HAS SOUS 1499504 HAS SOUPS 1412646 WITH SCORE 1419820.608
AT ITER 7721 NEW BEST:: SOT 11710614 SOS 7175148 HAS SOPS 5907491 HAS SOUS 1498338 HAS SOUPS 1411480 WITH SCORE 1418655.148
AT ITER 7729 NEW BEST:: SOT 11710482 SOS 7174856 HAS SOPS 5907195 HAS SOUS 1498237 HAS SOUPS 1411379 WITH SCORE 1418553.856
AT ITER 7735 NEW BEST:: SOT 11710050 SOS 7174244 HAS SOPS 5906657 HAS SOUS 1498073 HAS SOUPS 1411215 WITH SCORE 1418389.244
AT ITER 7749 NEW BEST:: SOT 11729317 SOS 7188923 HAS SOPS 5920190 HAS SOUS 1495392 HAS SOUPS 1408553 WITH SCORE 1415741.923
AT ITER 7757 NEW BEST:: SOT 11729092 SOS 7187883 HAS SOPS 5919383 HAS SOUS 1495262 HAS SOUPS 1408423 WITH SCORE 1415610.883
AT ITER 7773 NEW BEST:: SOT 11732075 SOS 7196494 HAS SOPS 5923423 HAS SOUS 1495313 HAS SOUPS 1407705 WITH SCORE 1414901.494
AT ITER 7779 NEW BEST:: SOT 11731830 SOS 7196077 HAS SOPS 5922905 HAS SOUS 1494754 HAS SOUPS 1407146 WITH SCORE 1414342.077
AT ITER 7787 NEW BEST:: SOT 11732131 SOS 7197196 HAS SOPS 5919165 HAS SOUS 1493401 HAS SOUPS 1405763 WITH SCORE 1412960.196
AT ITER 7788 NEW BEST:: SOT 11733036 SOS 7199079 HAS SOPS 5919804 HAS SOUS 1493560 HAS SOUPS 1405542 WITH SCORE 1412741.079
AT ITER 7796 NEW BEST:: SOT 11731883 SOS 7196554 HAS SOPS 5916593 HAS SOUS 1491051 HAS SOUPS 1402945 WITH SCORE 1410141.554
AT ITER 7817 NEW BEST:: SOT 11731671 SOS 7195851 HAS SOPS 5916271 HAS SOUS 1490479 HAS SOUPS 1402387 WITH SCORE 1409582.851
AT ITER 7823 NEW BEST:: SOT 11730062 SOS 7194135 HAS SOPS 5914033 HAS SOUS 1489101 HAS SOUPS 1400631 WITH SCORE 1407825.135
AT ITER 7844 NEW BEST:: SOT 11727061 SOS 7191262 HAS SOPS 5910997 HAS SOUS 1484646 HAS SOUPS 1396200 WITH SCORE 1403391.262
AT ITER 7847 NEW BEST:: SOT 11728037 SOS 7191338 HAS SOPS 5910575 HAS SOUS 1483326 HAS SOUPS 1394920 WITH SCORE 1402111.338
AT ITER 7890 NEW BEST:: SOT 11727565 SOS 7190262 HAS SOPS 5909088 HAS SOUS 1480731 HAS SOUPS 1392325 WITH SCORE 1399515.262
AT ITER 7901 NEW BEST:: SOT 11726783 SOS 7188553 HAS SOPS 5907769 HAS SOUS 1480162 HAS SOUPS 1391768 WITH SCORE 1398956.553
AT ITER 7903 NEW BEST:: SOT 11728828 SOS 7179057 HAS SOPS 5909277 HAS SOUS 1479333 HAS SOUPS 1391124 WITH SCORE 1398303.057
AT ITER 7909 NEW BEST:: SOT 11728525 SOS 7178507 HAS SOPS 5908637 HAS SOUS 1478365 HAS SOUPS 1390142 WITH SCORE 1397320.507
AT ITER 7912 NEW BEST:: SOT 11729410 SOS 7179456 HAS SOPS 5910368 HAS SOUS 1475232 HAS SOUPS 1387977 WITH SCORE 1395156.456
AT ITER 7930 NEW BEST:: SOT 11729322 SOS 7179403 HAS SOPS 5910267 HAS SOUS 1475268 HAS SOUPS 1387977 WITH SCORE 1395156.403
AT ITER 7944 NEW BEST:: SOT 11729099 SOS 7178818 HAS SOPS 5909368 HAS SOUS 1474377 HAS SOUPS 1387096 WITH SCORE 1394274.818
AT ITER 7980 NEW BEST:: SOT 11728878 SOS 7178733 HAS SOPS 5909038 HAS SOUS 1473530 HAS SOUPS 1386268 WITH SCORE 1393446.733
AT ITER 8027 NEW BEST:: SOT 11723392 SOS 7165449 HAS SOPS 5896434 HAS SOUS 1466400 HAS SOUPS 1379246 WITH SCORE 1386411.449
AT ITER 8045 NEW BEST:: SOT 11724350 SOS 7165782 HAS SOPS 5896994 HAS SOUS 1466136 HAS SOUPS 1379025 WITH SCORE 1386190.782
AT ITER 8101 NEW BEST:: SOT 11723960 SOS 7165599 HAS SOPS 5896683 HAS SOUS 1465557 HAS SOUPS 1378446 WITH SCORE 1385611.599
AT ITER 8118 NEW BEST:: SOT 11719570 SOS 7160750 HAS SOPS 5891424 HAS SOUS 1458850 HAS SOUPS 1371748 WITH SCORE 1378908.75
AT ITER 8163 NEW BEST:: SOT 11719642 SOS 7160582 HAS SOPS 5891808 HAS SOUS 1457626 HAS SOUPS 1370524 WITH SCORE 1377684.582
AT ITER 8187 NEW BEST:: SOT 11717848 SOS 7159761 HAS SOPS 5891048 HAS SOUS 1457185 HAS SOUPS 1370083 WITH SCORE 1377242.761
AT ITER 8200 NEW BEST:: SOT 11714855 SOS 7153954 HAS SOPS 5884832 HAS SOUS 1452073 HAS SOUPS 1365001 WITH SCORE 1372154.954
AT ITER 8211 NEW BEST:: SOT 11714740 SOS 7153624 HAS SOPS 5884467 HAS SOUS 1451833 HAS SOUPS 1364761 WITH SCORE 1371914.624
AT ITER 8212 NEW BEST:: SOT 11714402 SOS 7153417 HAS SOPS 5884271 HAS SOUS 1451529 HAS SOUPS 1364457 WITH SCORE 1371610.417
AT ITER 8223 NEW BEST:: SOT 11711614 SOS 7148040 HAS SOPS 5876188 HAS SOUS 1447441 HAS SOUPS 1360290 WITH SCORE 1367438.04
AT ITER 8227 NEW BEST:: SOT 11711506 SOS 7147980 HAS SOPS 5876128 HAS SOUS 1447281 HAS SOUPS 1360130 WITH SCORE 1367277.98
AT ITER 8250 NEW BEST:: SOT 11711350 SOS 7147798 HAS SOPS 5875846 HAS SOUS 1446518 HAS SOUPS 1359367 WITH SCORE 1366514.798
AT ITER 8282 NEW BEST:: SOT 11711366 SOS 7147813 HAS SOPS 5875861 HAS SOUS 1446514 HAS SOUPS 1359363 WITH SCORE 1366510.813
AT ITER 8283 NEW BEST:: SOT 11711340 SOS 7148073 HAS SOPS 5875702 HAS SOUS 1446277 HAS SOUPS 1359126 WITH SCORE 1366274.073
AT ITER 8421 NEW BEST:: SOT 11710732 SOS 7147465 HAS SOPS 5874982 HAS SOUS 1445605 HAS SOUPS 1358454 WITH SCORE 1365601.465
AT ITER 8431 NEW BEST:: SOT 11710616 SOS 7147189 HAS SOPS 5874664 HAS SOUS 1445426 HAS SOUPS 1358275 WITH SCORE 1365422.189
AT ITER 8452 NEW BEST:: SOT 11710478 SOS 7147051 HAS SOPS 5874526 HAS SOUS 1445032 HAS SOUPS 1357881 WITH SCORE 1365028.051
AT ITER 8459 NEW BEST:: SOT 11704456 SOS 7118408 HAS SOPS 5852027 HAS SOUS 1435148 HAS SOUPS 1347997 WITH SCORE 1355115.408
AT ITER 8506 NEW BEST:: SOT 11704510 SOS 7118475 HAS SOPS 5852182 HAS SOUS 1435053 HAS SOUPS 1347906 WITH SCORE 1355024.475
AT ITER 8526 NEW BEST:: SOT 11704662 SOS 7118676 HAS SOPS 5852313 HAS SOUS 1434377 HAS SOUPS 1347230 WITH SCORE 1354348.676
AT ITER 8528 NEW BEST:: SOT 11703158 SOS 7116858 HAS SOPS 5850593 HAS SOUS 1433329 HAS SOUPS 1346182 WITH SCORE 1353298.858
AT ITER 8549 NEW BEST:: SOT 11702580 SOS 7116089 HAS SOPS 5849699 HAS SOUS 1432307 HAS SOUPS 1345165 WITH SCORE 1352281.089
AT ITER 8573 NEW BEST:: SOT 11701510 SOS 7113931 HAS SOPS 5846701 HAS SOUS 1431789 HAS SOUPS 1344682 WITH SCORE 1351795.931
AT ITER 8583 NEW BEST:: SOT 11700399 SOS 7111792 HAS SOPS 5844772 HAS SOUS 1429996 HAS SOUPS 1342889 WITH SCORE 1350000.792
AT ITER 8604 NEW BEST:: SOT 11702178 SOS 7115911 HAS SOPS 5850312 HAS SOUS 1430029 HAS SOUPS 1342835 WITH SCORE 1349950.911
AT ITER 8628 NEW BEST:: SOT 11702178 SOS 7116014 HAS SOPS 5850308 HAS SOUS 1430014 HAS SOUPS 1342820 WITH SCORE 1349936.014
AT ITER 8672 NEW BEST:: SOT 11702077 SOS 7115913 HAS SOPS 5850207 HAS SOUS 1429969 HAS SOUPS 1342775 WITH SCORE 1349890.913
AT ITER 8707 NEW BEST:: SOT 11701145 SOS 7115481 HAS SOPS 5849602 HAS SOUS 1428674 HAS SOUPS 1341467 WITH SCORE 1348582.481
AT ITER 8719 NEW BEST:: SOT 11703208 SOS 7121945 HAS SOPS 5854955 HAS SOUS 1427747 HAS SOUPS 1340482 WITH SCORE 1347603.945
AT ITER 8724 NEW BEST:: SOT 11701956 SOS 7121452 HAS SOPS 5853242 HAS SOUS 1427651 HAS SOUPS 1340386 WITH SCORE 1347507.452
AT ITER 8731 NEW BEST:: SOT 11701320 SOS 7120795 HAS SOPS 5852069 HAS SOUS 1427034 HAS SOUPS 1339668 WITH SCORE 1346788.795
AT ITER 8735 NEW BEST:: SOT 11701437 SOS 7120912 HAS SOPS 5852138 HAS SOUS 1426887 HAS SOUPS 1339521 WITH SCORE 1346641.912
AT ITER 8759 NEW BEST:: SOT 11701422 SOS 7120211 HAS SOPS 5851897 HAS SOUS 1426657 HAS SOUPS 1339291 WITH SCORE 1346411.211
AT ITER 8760 NEW BEST:: SOT 11699753 SOS 7115951 HAS SOPS 5848325 HAS SOUS 1424891 HAS SOUPS 1337813 WITH SCORE 1344928.951
AT ITER 8762 NEW BEST:: SOT 11700376 SOS 7117768 HAS SOPS 5849738 HAS SOUS 1424643 HAS SOUPS 1337565 WITH SCORE 1344682.768
AT ITER 8775 NEW BEST:: SOT 11699595 SOS 7116905 HAS SOPS 5848989 HAS SOUS 1424414 HAS SOUPS 1337356 WITH SCORE 1344472.905
AT ITER 8776 NEW BEST:: SOT 11699655 SOS 7116998 HAS SOPS 5849033 HAS SOUS 1424399 HAS SOUPS 1337340 WITH SCORE 1344456.998
AT ITER 8793 NEW BEST:: SOT 11699979 SOS 7117305 HAS SOPS 5849884 HAS SOUS 1423346 HAS SOUPS 1336831 WITH SCORE 1343948.305
AT ITER 8806 NEW BEST:: SOT 11700007 SOS 7118307 HAS SOPS 5850771 HAS SOUS 1422624 HAS SOUPS 1336109 WITH SCORE 1343227.307
AT ITER 8811 NEW BEST:: SOT 11700869 SOS 7121875 HAS SOPS 5853474 HAS SOUS 1422159 HAS SOUPS 1335644 WITH SCORE 1342765.875
AT ITER 8920 NEW BEST:: SOT 11700225 SOS 7121309 HAS SOPS 5852739 HAS SOUS 1420865 HAS SOUPS 1334350 WITH SCORE 1341471.309
AT ITER 8931 NEW BEST:: SOT 11698923 SOS 7120422 HAS SOPS 5851986 HAS SOUS 1418914 HAS SOUPS 1332399 WITH SCORE 1339519.422
AT ITER 8949 NEW BEST:: SOT 11694026 SOS 7112408 HAS SOPS 5844884 HAS SOUS 1413455 HAS SOUPS 1326940 WITH SCORE 1334052.408
AT ITER 8975 NEW BEST:: SOT 11696249 SOS 7112938 HAS SOPS 5845485 HAS SOUS 1413182 HAS SOUPS 1326782 WITH SCORE 1333894.938
AT ITER 9016 NEW BEST:: SOT 11696271 SOS 7112909 HAS SOPS 5845632 HAS SOUS 1412884 HAS SOUPS 1326484 WITH SCORE 1333596.909
AT ITER 9046 NEW BEST:: SOT 11696867 SOS 7114778 HAS SOPS 5847584 HAS SOUS 1411219 HAS SOUPS 1325014 WITH SCORE 1332128.778
AT ITER 9052 NEW BEST:: SOT 11696936 SOS 7116102 HAS SOPS 5848173 HAS SOUS 1410595 HAS SOUPS 1324377 WITH SCORE 1331493.102
AT ITER 9065 NEW BEST:: SOT 11696675 SOS 7115819 HAS SOPS 5848049 HAS SOUS 1410085 HAS SOUPS 1323867 WITH SCORE 1330982.819
AT ITER 9074 NEW BEST:: SOT 11695480 SOS 7110320 HAS SOPS 5843399 HAS SOUS 1405689 HAS SOUPS 1319561 WITH SCORE 1326671.32
AT ITER 9107 NEW BEST:: SOT 11695442 SOS 7110234 HAS SOPS 5843229 HAS SOUS 1405675 HAS SOUPS 1319547 WITH SCORE 1326657.234
AT ITER 9123 NEW BEST:: SOT 11693944 SOS 7108714 HAS SOPS 5841113 HAS SOUS 1403072 HAS SOUPS 1316942 WITH SCORE 1324050.714
AT ITER 9141 NEW BEST:: SOT 11693137 SOS 7106254 HAS SOPS 5838319 HAS SOUS 1402620 HAS SOUPS 1316490 WITH SCORE 1323596.254
AT ITER 9193 NEW BEST:: SOT 11693181 SOS 7105386 HAS SOPS 5837306 HAS SOUS 1401399 HAS SOUPS 1315285 WITH SCORE 1322390.386
AT ITER 9201 NEW BEST:: SOT 11693329 SOS 7105629 HAS SOPS 5837509 HAS SOUS 1401312 HAS SOUPS 1315206 WITH SCORE 1322311.629
AT ITER 9209 NEW BEST:: SOT 11692826 SOS 7104882 HAS SOPS 5836073 HAS SOUS 1400298 HAS SOUPS 1314170 WITH SCORE 1321274.882
AT ITER 9212 NEW BEST:: SOT 11692763 SOS 7104717 HAS SOPS 5835844 HAS SOUS 1400265 HAS SOUPS 1314137 WITH SCORE 1321241.717
AT ITER 9225 NEW BEST:: SOT 11698363 SOS 7120297 HAS SOPS 5846198 HAS SOUS 1394769 HAS SOUPS 1308478 WITH SCORE 1315598.297
AT ITER 9240 NEW BEST:: SOT 11697185 SOS 7119239 HAS SOPS 5844807 HAS SOUS 1392003 HAS SOUPS 1305712 WITH SCORE 1312831.239
AT ITER 9249 NEW BEST:: SOT 11701530 SOS 7124201 HAS SOPS 5851469 HAS SOUS 1389751 HAS SOUPS 1305348 WITH SCORE 1312472.201
AT ITER 9266 NEW BEST:: SOT 11708055 SOS 7130871 HAS SOPS 5857855 HAS SOUS 1389779 HAS SOUPS 1305268 WITH SCORE 1312398.871
AT ITER 9298 NEW BEST:: SOT 11708052 SOS 7130689 HAS SOPS 5857869 HAS SOUS 1389773 HAS SOUPS 1305262 WITH SCORE 1312392.689
AT ITER 9307 NEW BEST:: SOT 11708087 SOS 7130724 HAS SOPS 5857824 HAS SOUS 1389548 HAS SOUPS 1305037 WITH SCORE 1312167.724
AT ITER 9341 NEW BEST:: SOT 11707880 SOS 7130319 HAS SOPS 5857407 HAS SOUS 1389201 HAS SOUPS 1304690 WITH SCORE 1311820.319
AT ITER 9372 NEW BEST:: SOT 11707693 SOS 7129538 HAS SOPS 5856250 HAS SOUS 1388464 HAS SOUPS 1303953 WITH SCORE 1311082.538
AT ITER 9378 NEW BEST:: SOT 11707533 SOS 7129370 HAS SOPS 5856026 HAS SOUS 1388270 HAS SOUPS 1303739 WITH SCORE 1310868.37
AT ITER 9402 NEW BEST:: SOT 11707623 SOS 7132211 HAS SOPS 5862494 HAS SOUS 1387360 HAS SOUPS 1302829 WITH SCORE 1309961.211
AT ITER 9406 NEW BEST:: SOT 11707462 SOS 7132113 HAS SOPS 5862333 HAS SOUS 1387353 HAS SOUPS 1302822 WITH SCORE 1309954.113
AT ITER 9411 NEW BEST:: SOT 11707532 SOS 7132160 HAS SOPS 5862403 HAS SOUS 1387320 HAS SOUPS 1302796 WITH SCORE 1309928.16
AT ITER 9412 NEW BEST:: SOT 11707856 SOS 7132988 HAS SOPS 5862994 HAS SOUS 1387176 HAS SOUPS 1302652 WITH SCORE 1309784.988
AT ITER 9422 NEW BEST:: SOT 11707852 SOS 7132944 HAS SOPS 5862962 HAS SOUS 1387162 HAS SOUPS 1302638 WITH SCORE 1309770.944
AT ITER 9450 NEW BEST:: SOT 11707245 SOS 7132246 HAS SOPS 5861894 HAS SOUS 1384558 HAS SOUPS 1300034 WITH SCORE 1307166.246
AT ITER 9455 NEW BEST:: SOT 11706486 SOS 7130240 HAS SOPS 5860308 HAS SOUS 1384154 HAS SOUPS 1299787 WITH SCORE 1306917.24
AT ITER 9459 NEW BEST:: SOT 11706349 SOS 7129695 HAS SOPS 5860405 HAS SOUS 1383275 HAS SOUPS 1298908 WITH SCORE 1306037.695
AT ITER 9460 NEW BEST:: SOT 11706331 SOS 7129728 HAS SOPS 5860126 HAS SOUS 1383137 HAS SOUPS 1298764 WITH SCORE 1305893.728
AT ITER 9468 NEW BEST:: SOT 11701209 SOS 7124516 HAS SOPS 5853782 HAS SOUS 1378743 HAS SOUPS 1294333 WITH SCORE 1301457.516
AT ITER 9484 NEW BEST:: SOT 11701377 SOS 7124684 HAS SOPS 5853950 HAS SOUS 1378151 HAS SOUPS 1293741 WITH SCORE 1300865.684
AT ITER 9520 NEW BEST:: SOT 11701331 SOS 7124650 HAS SOPS 5853898 HAS SOUS 1378007 HAS SOUPS 1293596 WITH SCORE 1300720.65
AT ITER 9534 NEW BEST:: SOT 11700925 SOS 7124139 HAS SOPS 5853191 HAS SOUS 1377037 HAS SOUPS 1292626 WITH SCORE 1299750.139
AT ITER 9543 NEW BEST:: SOT 11701239 SOS 7124534 HAS SOPS 5855689 HAS SOUS 1376318 HAS SOUPS 1291907 WITH SCORE 1299031.534
AT ITER 9546 NEW BEST:: SOT 11700494 SOS 7123789 HAS SOPS 5854896 HAS SOUS 1375569 HAS SOUPS 1291158 WITH SCORE 1298281.789
AT ITER 9547 NEW BEST:: SOT 11699219 SOS 7122527 HAS SOPS 5853633 HAS SOUS 1374463 HAS SOUPS 1290052 WITH SCORE 1297174.527
AT ITER 9603 NEW BEST:: SOT 11697141 SOS 7120449 HAS SOPS 5851411 HAS SOUS 1372201 HAS SOUPS 1287790 WITH SCORE 1294910.449
AT ITER 9613 NEW BEST:: SOT 11696881 SOS 7120196 HAS SOPS 5850630 HAS SOUS 1369920 HAS SOUPS 1285509 WITH SCORE 1292629.196
AT ITER 9684 NEW BEST:: SOT 11695113 SOS 7122398 HAS SOPS 5850836 HAS SOUS 1366312 HAS SOUPS 1281901 WITH SCORE 1289023.398
AT ITER 9708 NEW BEST:: SOT 11693842 SOS 7121127 HAS SOPS 5849473 HAS SOUS 1363201 HAS SOUPS 1278790 WITH SCORE 1285911.127
AT ITER 9718 NEW BEST:: SOT 11693014 SOS 7120403 HAS SOPS 5847218 HAS SOUS 1358752 HAS SOUPS 1274047 WITH SCORE 1281167.403
AT ITER 9741 NEW BEST:: SOT 11691259 SOS 7117988 HAS SOPS 5844444 HAS SOUS 1355811 HAS SOUPS 1271106 WITH SCORE 1278223.988
AT ITER 9750 NEW BEST:: SOT 11690756 SOS 7117551 HAS SOPS 5844503 HAS SOUS 1355788 HAS SOUPS 1271083 WITH SCORE 1278200.551
AT ITER 9761 NEW BEST:: SOT 11690466 SOS 7116845 HAS SOPS 5843841 HAS SOUS 1355551 HAS SOUPS 1270846 WITH SCORE 1277962.845
AT ITER 9864 NEW BEST:: SOT 11686776 SOS 7109795 HAS SOPS 5836533 HAS SOUS 1352572 HAS SOUPS 1267881 WITH SCORE 1274990.795
AT ITER 9886 NEW BEST:: SOT 11685370 SOS 7109045 HAS SOPS 5835761 HAS SOUS 1349018 HAS SOUPS 1264327 WITH SCORE 1271436.045
AT ITER 9894 NEW BEST:: SOT 11684881 SOS 7109379 HAS SOPS 5836095 HAS SOUS 1348556 HAS SOUPS 1263865 WITH SCORE 1270974.379
AT ITER 9916 NEW BEST:: SOT 11683803 SOS 7105457 HAS SOPS 5834049 HAS SOUS 1348249 HAS SOUPS 1263593 WITH SCORE 1270698.457
AT ITER 9932 NEW BEST:: SOT 11686168 SOS 7103398 HAS SOPS 5831835 HAS SOUS 1347576 HAS SOUPS 1262920 WITH SCORE 1270023.398
AT ITER 9988 NEW BEST:: SOT 11685955 SOS 7104941 HAS SOPS 5832422 HAS SOUS 1346395 HAS SOUPS 1261703 WITH SCORE 1268807.941

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

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="RERS17pb113-PT-6"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is RERS17pb113-PT-6, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502300048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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