Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r331-tall-167889203900024.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is RERS17pb113-PT-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889203900024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.4K Feb 26 18:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 18:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 18:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 18:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 18:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 26 18:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 18:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 30K Feb 26 18:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 15M Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679039745427

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb113-PT-3
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 07:55:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 07:55:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 07:55:48] [INFO ] Load time of PNML (sax parser for PT used): 677 ms
[2023-03-17 07:55:48] [INFO ] Transformed 639 places.
[2023-03-17 07:55:48] [INFO ] Transformed 31353 transitions.
[2023-03-17 07:55:48] [INFO ] Parsed PT model containing 639 places and 31353 transitions and 125418 arcs in 956 ms.
[2023-03-17 07:55:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 639 places, 31353 transitions and 125418 arcs took 188 ms.
Total runtime 1185 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 3
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12195877 SOS 7742246 HAS SOPS 6414665 HAS SOUS 3046246 HAS SOUPS 2945965 WITH SCORE 2953707.246
AT ITER 5 NEW BEST:: SOT 12194960 SOS 7739972 HAS SOPS 6412998 HAS SOUS 3045314 HAS SOUPS 2945033 WITH SCORE 2952772.972
AT ITER 12 NEW BEST:: SOT 12195434 SOS 7743739 HAS SOPS 6415822 HAS SOUS 3043206 HAS SOUPS 2942925 WITH SCORE 2950668.739
AT ITER 23 NEW BEST:: SOT 12195680 SOS 7745195 HAS SOPS 6417520 HAS SOUS 3042807 HAS SOUPS 2942526 WITH SCORE 2950271.195
AT ITER 27 NEW BEST:: SOT 12192943 SOS 7738916 HAS SOPS 6413012 HAS SOUS 3041106 HAS SOUPS 2940825 WITH SCORE 2948563.916
AT ITER 32 NEW BEST:: SOT 12192058 SOS 7737803 HAS SOPS 6410104 HAS SOUS 3038137 HAS SOUPS 2937856 WITH SCORE 2945593.803
AT ITER 33 NEW BEST:: SOT 12190948 SOS 7736428 HAS SOPS 6407447 HAS SOUS 3032132 HAS SOUPS 2931902 WITH SCORE 2939638.428
AT ITER 39 NEW BEST:: SOT 12190362 SOS 7736289 HAS SOPS 6406427 HAS SOUS 3029603 HAS SOUPS 2929036 WITH SCORE 2936772.289
AT ITER 41 NEW BEST:: SOT 12189771 SOS 7735674 HAS SOPS 6405452 HAS SOUS 3028424 HAS SOUPS 2927677 WITH SCORE 2935412.674
AT ITER 51 NEW BEST:: SOT 12188746 SOS 7734801 HAS SOPS 6404700 HAS SOUS 3026389 HAS SOUPS 2925642 WITH SCORE 2933376.801
AT ITER 58 NEW BEST:: SOT 12189934 SOS 7736638 HAS SOPS 6407878 HAS SOUS 3023057 HAS SOUPS 2922382 WITH SCORE 2930118.638
AT ITER 70 NEW BEST:: SOT 12190926 SOS 7738409 HAS SOPS 6411775 HAS SOUS 3022942 HAS SOUPS 2922267 WITH SCORE 2930005.409
AT ITER 76 NEW BEST:: SOT 12177784 SOS 7724920 HAS SOPS 6397440 HAS SOUS 3007303 HAS SOUPS 2906723 WITH SCORE 2914447.92
AT ITER 82 NEW BEST:: SOT 12173896 SOS 7720477 HAS SOPS 6393237 HAS SOUS 2998426 HAS SOUPS 2897912 WITH SCORE 2905632.477
AT ITER 85 NEW BEST:: SOT 12173982 SOS 7723981 HAS SOPS 6396589 HAS SOUS 2993648 HAS SOUPS 2893134 WITH SCORE 2900857.981
AT ITER 89 NEW BEST:: SOT 12171123 SOS 7719191 HAS SOPS 6391987 HAS SOUS 2985631 HAS SOUPS 2885370 WITH SCORE 2893089.191
AT ITER 91 NEW BEST:: SOT 12170514 SOS 7718219 HAS SOPS 6390513 HAS SOUS 2984459 HAS SOUPS 2884198 WITH SCORE 2891916.219
AT ITER 92 NEW BEST:: SOT 12170402 SOS 7718090 HAS SOPS 6390164 HAS SOUS 2984217 HAS SOUPS 2883951 WITH SCORE 2891669.09
AT ITER 114 NEW BEST:: SOT 12169084 SOS 7714303 HAS SOPS 6387745 HAS SOUS 2982785 HAS SOUPS 2882519 WITH SCORE 2890233.303
AT ITER 141 NEW BEST:: SOT 12168037 SOS 7712416 HAS SOPS 6386416 HAS SOUS 2981697 HAS SOUPS 2881454 WITH SCORE 2889166.416
AT ITER 146 NEW BEST:: SOT 12156620 SOS 7700958 HAS SOPS 6374343 HAS SOUS 2967422 HAS SOUPS 2867149 WITH SCORE 2874849.958
AT ITER 158 NEW BEST:: SOT 12143398 SOS 7688042 HAS SOPS 6358135 HAS SOUS 2945667 HAS SOUPS 2845436 WITH SCORE 2853124.042
AT ITER 161 NEW BEST:: SOT 12140729 SOS 7685360 HAS SOPS 6355442 HAS SOUS 2942625 HAS SOUPS 2842383 WITH SCORE 2850068.36
AT ITER 174 NEW BEST:: SOT 12140042 SOS 7684614 HAS SOPS 6355400 HAS SOUS 2941249 HAS SOUPS 2841029 WITH SCORE 2848713.614
AT ITER 176 NEW BEST:: SOT 12139239 SOS 7683817 HAS SOPS 6354258 HAS SOUS 2940058 HAS SOUPS 2839819 WITH SCORE 2847502.817
AT ITER 183 NEW BEST:: SOT 12150335 SOS 7697848 HAS SOPS 6371983 HAS SOUS 2933084 HAS SOUPS 2833349 WITH SCORE 2841046.848
AT ITER 188 NEW BEST:: SOT 12148528 SOS 7697034 HAS SOPS 6371130 HAS SOUS 2929418 HAS SOUPS 2829695 WITH SCORE 2837392.034
AT ITER 191 NEW BEST:: SOT 12147475 SOS 7694683 HAS SOPS 6367476 HAS SOUS 2925889 HAS SOUPS 2826166 WITH SCORE 2833860.683
AT ITER 197 NEW BEST:: SOT 12147804 SOS 7696298 HAS SOPS 6370730 HAS SOUS 2925832 HAS SOUPS 2826109 WITH SCORE 2833805.298
AT ITER 206 NEW BEST:: SOT 12147331 SOS 7695801 HAS SOPS 6369873 HAS SOUS 2924225 HAS SOUPS 2824352 WITH SCORE 2832047.801
AT ITER 229 NEW BEST:: SOT 12147275 SOS 7695926 HAS SOPS 6369801 HAS SOUS 2924033 HAS SOUPS 2824160 WITH SCORE 2831855.926
AT ITER 237 NEW BEST:: SOT 12143585 SOS 7691870 HAS SOPS 6366036 HAS SOUS 2914378 HAS SOUPS 2814505 WITH SCORE 2822196.87
AT ITER 242 NEW BEST:: SOT 12139036 SOS 7682406 HAS SOPS 6360496 HAS SOUS 2906840 HAS SOUPS 2807559 WITH SCORE 2815241.406
AT ITER 243 NEW BEST:: SOT 12133861 SOS 7676284 HAS SOPS 6352324 HAS SOUS 2895029 HAS SOUPS 2795767 WITH SCORE 2803443.284
AT ITER 244 NEW BEST:: SOT 12129812 SOS 7672213 HAS SOPS 6347923 HAS SOUS 2890104 HAS SOUPS 2790662 WITH SCORE 2798334.213
AT ITER 250 NEW BEST:: SOT 12129643 SOS 7673349 HAS SOPS 6349766 HAS SOUS 2888237 HAS SOUPS 2788795 WITH SCORE 2796468.349
AT ITER 259 NEW BEST:: SOT 12130719 SOS 7676596 HAS SOPS 6352466 HAS SOUS 2887817 HAS SOUPS 2788375 WITH SCORE 2796051.596
AT ITER 266 NEW BEST:: SOT 12123309 SOS 7673126 HAS SOPS 6357444 HAS SOUS 2882797 HAS SOUPS 2783626 WITH SCORE 2791299.126
AT ITER 273 NEW BEST:: SOT 12122873 SOS 7672472 HAS SOPS 6357938 HAS SOUS 2882029 HAS SOUPS 2782858 WITH SCORE 2790530.472
AT ITER 278 NEW BEST:: SOT 12124178 SOS 7679547 HAS SOPS 6363121 HAS SOUS 2879554 HAS SOUPS 2780383 WITH SCORE 2788062.547
AT ITER 286 NEW BEST:: SOT 12123412 SOS 7682573 HAS SOPS 6365920 HAS SOUS 2876198 HAS SOUPS 2777027 WITH SCORE 2784709.573
AT ITER 291 NEW BEST:: SOT 12123402 SOS 7682923 HAS SOPS 6366340 HAS SOUS 2876035 HAS SOUPS 2776864 WITH SCORE 2784546.923
AT ITER 299 NEW BEST:: SOT 12123574 SOS 7682925 HAS SOPS 6366160 HAS SOUS 2875161 HAS SOUPS 2775990 WITH SCORE 2783672.925
AT ITER 302 NEW BEST:: SOT 12120272 SOS 7673745 HAS SOPS 6359427 HAS SOUS 2873847 HAS SOUPS 2774741 WITH SCORE 2782414.745
AT ITER 303 NEW BEST:: SOT 12120220 SOS 7673711 HAS SOPS 6359378 HAS SOUS 2873770 HAS SOUPS 2774664 WITH SCORE 2782337.711
AT ITER 304 NEW BEST:: SOT 12119410 SOS 7672868 HAS SOPS 6358040 HAS SOUS 2871376 HAS SOUPS 2772270 WITH SCORE 2779942.868
AT ITER 334 NEW BEST:: SOT 12119131 SOS 7672254 HAS SOPS 6357601 HAS SOUS 2870857 HAS SOUPS 2771836 WITH SCORE 2779508.254
AT ITER 336 NEW BEST:: SOT 12115963 SOS 7666480 HAS SOPS 6353850 HAS SOUS 2861749 HAS SOUPS 2763212 WITH SCORE 2770878.48
AT ITER 349 NEW BEST:: SOT 12110400 SOS 7662874 HAS SOPS 6351578 HAS SOUS 2855006 HAS SOUPS 2756542 WITH SCORE 2764204.874
AT ITER 350 NEW BEST:: SOT 12110138 SOS 7666208 HAS SOPS 6356449 HAS SOUS 2851835 HAS SOUPS 2753476 WITH SCORE 2761142.208
AT ITER 352 NEW BEST:: SOT 12109848 SOS 7666076 HAS SOPS 6355882 HAS SOUS 2851045 HAS SOUPS 2752668 WITH SCORE 2760334.076
AT ITER 354 NEW BEST:: SOT 12104358 SOS 7660513 HAS SOPS 6350321 HAS SOUS 2844775 HAS SOUPS 2746430 WITH SCORE 2754090.513
AT ITER 366 NEW BEST:: SOT 12104552 SOS 7660691 HAS SOPS 6350259 HAS SOUS 2843345 HAS SOUPS 2745000 WITH SCORE 2752660.691
AT ITER 367 NEW BEST:: SOT 12106615 SOS 7668109 HAS SOPS 6356356 HAS SOUS 2841061 HAS SOUPS 2742772 WITH SCORE 2750440.109
AT ITER 385 NEW BEST:: SOT 12106743 SOS 7668088 HAS SOPS 6356316 HAS SOUS 2840714 HAS SOUPS 2742425 WITH SCORE 2750093.088
AT ITER 391 NEW BEST:: SOT 12106338 SOS 7667660 HAS SOPS 6355543 HAS SOUS 2838861 HAS SOUPS 2740572 WITH SCORE 2748239.66
AT ITER 401 NEW BEST:: SOT 12106101 SOS 7672664 HAS SOPS 6366002 HAS SOUS 2834745 HAS SOUPS 2736456 WITH SCORE 2744128.664
AT ITER 403 NEW BEST:: SOT 12098216 SOS 7663969 HAS SOPS 6353921 HAS SOUS 2824837 HAS SOUPS 2726548 WITH SCORE 2734211.969
AT ITER 406 NEW BEST:: SOT 12097136 SOS 7662889 HAS SOPS 6352577 HAS SOUS 2822167 HAS SOUPS 2723944 WITH SCORE 2731606.889
AT ITER 407 NEW BEST:: SOT 12097087 SOS 7662310 HAS SOPS 6351712 HAS SOUS 2822100 HAS SOUPS 2723877 WITH SCORE 2731539.31
AT ITER 411 NEW BEST:: SOT 12096395 SOS 7661593 HAS SOPS 6350620 HAS SOUS 2819856 HAS SOUPS 2721633 WITH SCORE 2729294.593
AT ITER 412 NEW BEST:: SOT 12096134 SOS 7659744 HAS SOPS 6348348 HAS SOUS 2819817 HAS SOUPS 2721627 WITH SCORE 2729286.744
AT ITER 422 NEW BEST:: SOT 12096490 SOS 7661157 HAS SOPS 6349206 HAS SOUS 2819807 HAS SOUPS 2721617 WITH SCORE 2729278.157
AT ITER 426 NEW BEST:: SOT 12093078 SOS 7660589 HAS SOPS 6354916 HAS SOUS 2815127 HAS SOUPS 2716927 WITH SCORE 2724587.589
AT ITER 444 NEW BEST:: SOT 12093217 SOS 7661657 HAS SOPS 6355397 HAS SOUS 2814701 HAS SOUPS 2716501 WITH SCORE 2724162.657
AT ITER 456 NEW BEST:: SOT 12097977 SOS 7680587 HAS SOPS 6370935 HAS SOUS 2810506 HAS SOUPS 2712306 WITH SCORE 2719986.587
AT ITER 460 NEW BEST:: SOT 12094948 SOS 7674235 HAS SOPS 6370159 HAS SOUS 2807548 HAS SOUPS 2709425 WITH SCORE 2717099.235
AT ITER 461 NEW BEST:: SOT 12095219 SOS 7675819 HAS SOPS 6370148 HAS SOUS 2806813 HAS SOUPS 2708690 WITH SCORE 2716365.819
AT ITER 470 NEW BEST:: SOT 12095446 SOS 7670517 HAS SOPS 6373374 HAS SOUS 2806769 HAS SOUPS 2708646 WITH SCORE 2716316.517
AT ITER 484 NEW BEST:: SOT 12101552 SOS 7689853 HAS SOPS 6389521 HAS SOUS 2796254 HAS SOUPS 2698131 WITH SCORE 2705820.853
AT ITER 502 NEW BEST:: SOT 12099696 SOS 7692254 HAS SOPS 6395175 HAS SOUS 2780843 HAS SOUPS 2682574 WITH SCORE 2690266.254
AT ITER 506 NEW BEST:: SOT 12099830 SOS 7692312 HAS SOPS 6395153 HAS SOUS 2780473 HAS SOUPS 2682204 WITH SCORE 2689896.312
AT ITER 520 NEW BEST:: SOT 12100321 SOS 7693428 HAS SOPS 6395405 HAS SOUS 2779516 HAS SOUPS 2681250 WITH SCORE 2688943.428
AT ITER 525 NEW BEST:: SOT 12099967 SOS 7693074 HAS SOPS 6395051 HAS SOUS 2779162 HAS SOUPS 2680896 WITH SCORE 2688589.074
AT ITER 540 NEW BEST:: SOT 12097392 SOS 7687370 HAS SOPS 6391711 HAS SOUS 2776720 HAS SOUPS 2678764 WITH SCORE 2686451.37
AT ITER 541 NEW BEST:: SOT 12096824 SOS 7686802 HAS SOPS 6391143 HAS SOUS 2776152 HAS SOUPS 2678196 WITH SCORE 2685882.802
AT ITER 556 NEW BEST:: SOT 12096121 SOS 7686127 HAS SOPS 6390521 HAS SOUS 2774644 HAS SOUPS 2676688 WITH SCORE 2684374.127
AT ITER 558 NEW BEST:: SOT 12104217 SOS 7706337 HAS SOPS 6409697 HAS SOUS 2774438 HAS SOUPS 2676456 WITH SCORE 2684162.337
AT ITER 564 NEW BEST:: SOT 12096226 SOS 7698346 HAS SOPS 6401690 HAS SOUS 2766437 HAS SOUPS 2668449 WITH SCORE 2676147.346
AT ITER 567 NEW BEST:: SOT 12096133 SOS 7698479 HAS SOPS 6401860 HAS SOUS 2766219 HAS SOUPS 2668231 WITH SCORE 2675929.479
AT ITER 573 NEW BEST:: SOT 12096555 SOS 7699773 HAS SOPS 6404241 HAS SOUS 2764038 HAS SOUPS 2666388 WITH SCORE 2674087.773
AT ITER 584 NEW BEST:: SOT 12098824 SOS 7703006 HAS SOPS 6408104 HAS SOUS 2763244 HAS SOUPS 2665858 WITH SCORE 2673561.006
AT ITER 592 NEW BEST:: SOT 12098654 SOS 7702553 HAS SOPS 6408997 HAS SOUS 2760322 HAS SOUPS 2662936 WITH SCORE 2670638.553
AT ITER 596 NEW BEST:: SOT 12098187 SOS 7702067 HAS SOPS 6408226 HAS SOUS 2758943 HAS SOUPS 2661557 WITH SCORE 2669259.067
AT ITER 604 NEW BEST:: SOT 12098438 SOS 7704063 HAS SOPS 6410310 HAS SOUS 2758169 HAS SOUPS 2660783 WITH SCORE 2668487.063
AT ITER 621 NEW BEST:: SOT 12100797 SOS 7705764 HAS SOPS 6412991 HAS SOUS 2754565 HAS SOUPS 2657111 WITH SCORE 2664816.764
AT ITER 622 NEW BEST:: SOT 12099055 SOS 7704458 HAS SOPS 6411722 HAS SOUS 2752232 HAS SOUPS 2654777 WITH SCORE 2662481.458
AT ITER 623 NEW BEST:: SOT 12097838 SOS 7703554 HAS SOPS 6411901 HAS SOUS 2750099 HAS SOUPS 2652682 WITH SCORE 2660385.554
AT ITER 628 NEW BEST:: SOT 12097937 SOS 7703944 HAS SOPS 6412155 HAS SOUS 2750045 HAS SOUPS 2652628 WITH SCORE 2660331.944
AT ITER 629 NEW BEST:: SOT 12097950 SOS 7703839 HAS SOPS 6410924 HAS SOUS 2744362 HAS SOUPS 2646833 WITH SCORE 2654536.839
AT ITER 632 NEW BEST:: SOT 12096239 SOS 7702228 HAS SOPS 6408988 HAS SOUS 2741660 HAS SOUPS 2644090 WITH SCORE 2651792.228
AT ITER 647 NEW BEST:: SOT 12095348 SOS 7700825 HAS SOPS 6407649 HAS SOUS 2740945 HAS SOUPS 2643391 WITH SCORE 2651091.825
AT ITER 650 NEW BEST:: SOT 12095186 SOS 7700506 HAS SOPS 6407252 HAS SOUS 2740616 HAS SOUPS 2643068 WITH SCORE 2650768.506
AT ITER 662 NEW BEST:: SOT 12094742 SOS 7700092 HAS SOPS 6406530 HAS SOUS 2740075 HAS SOUPS 2642503 WITH SCORE 2650203.092
AT ITER 663 NEW BEST:: SOT 12087190 SOS 7685024 HAS SOPS 6395402 HAS SOUS 2726156 HAS SOUPS 2628758 WITH SCORE 2636443.024
AT ITER 664 NEW BEST:: SOT 12094067 SOS 7690291 HAS SOPS 6400182 HAS SOUS 2723592 HAS SOUPS 2626194 WITH SCORE 2633884.291
AT ITER 667 NEW BEST:: SOT 12093532 SOS 7690979 HAS SOPS 6400831 HAS SOUS 2722539 HAS SOUPS 2625141 WITH SCORE 2632831.979
AT ITER 674 NEW BEST:: SOT 12093118 SOS 7690392 HAS SOPS 6400206 HAS SOUS 2721833 HAS SOUPS 2624438 WITH SCORE 2632128.392
AT ITER 678 NEW BEST:: SOT 12092256 SOS 7689440 HAS SOPS 6398975 HAS SOUS 2720170 HAS SOUPS 2622784 WITH SCORE 2630473.44
AT ITER 681 NEW BEST:: SOT 12092393 SOS 7689577 HAS SOPS 6399112 HAS SOUS 2720111 HAS SOUPS 2622725 WITH SCORE 2630414.577
AT ITER 685 NEW BEST:: SOT 12092378 SOS 7687628 HAS SOPS 6397447 HAS SOUS 2719981 HAS SOUPS 2622595 WITH SCORE 2630282.628
AT ITER 706 NEW BEST:: SOT 12092133 SOS 7687313 HAS SOPS 6397047 HAS SOUS 2719586 HAS SOUPS 2622195 WITH SCORE 2629882.313
AT ITER 709 NEW BEST:: SOT 12091309 SOS 7686945 HAS SOPS 6394893 HAS SOUS 2717449 HAS SOUPS 2620058 WITH SCORE 2627744.945
AT ITER 716 NEW BEST:: SOT 12091416 SOS 7686804 HAS SOPS 6394802 HAS SOUS 2716437 HAS SOUPS 2619046 WITH SCORE 2626732.804
AT ITER 720 NEW BEST:: SOT 12090999 SOS 7689784 HAS SOPS 6398414 HAS SOUS 2713417 HAS SOUPS 2616002 WITH SCORE 2623691.784
AT ITER 729 NEW BEST:: SOT 12090931 SOS 7689604 HAS SOPS 6398254 HAS SOUS 2713307 HAS SOUPS 2615893 WITH SCORE 2623582.604
AT ITER 742 NEW BEST:: SOT 12090991 SOS 7689659 HAS SOPS 6398234 HAS SOUS 2713047 HAS SOUPS 2615633 WITH SCORE 2623322.659
AT ITER 747 NEW BEST:: SOT 12087604 SOS 7681272 HAS SOPS 6390254 HAS SOUS 2711773 HAS SOUPS 2614359 WITH SCORE 2622040.272
AT ITER 767 NEW BEST:: SOT 12086406 SOS 7680708 HAS SOPS 6391646 HAS SOUS 2706985 HAS SOUPS 2609571 WITH SCORE 2617251.708
AT ITER 768 NEW BEST:: SOT 12076470 SOS 7661751 HAS SOPS 6376150 HAS SOUS 2699401 HAS SOUPS 2602193 WITH SCORE 2609854.751
AT ITER 774 NEW BEST:: SOT 12070947 SOS 7656262 HAS SOPS 6370475 HAS SOUS 2693372 HAS SOUPS 2596338 WITH SCORE 2603994.262
AT ITER 779 NEW BEST:: SOT 12071822 SOS 7660823 HAS SOPS 6375730 HAS SOUS 2690479 HAS SOUPS 2593523 WITH SCORE 2601183.823
AT ITER 781 NEW BEST:: SOT 12073512 SOS 7665055 HAS SOPS 6380510 HAS SOUS 2684520 HAS SOUPS 2587564 WITH SCORE 2595229.055
AT ITER 783 NEW BEST:: SOT 12073197 SOS 7664807 HAS SOPS 6378785 HAS SOUS 2681473 HAS SOUPS 2584517 WITH SCORE 2592181.807
AT ITER 793 NEW BEST:: SOT 12073610 SOS 7661891 HAS SOPS 6374675 HAS SOUS 2679588 HAS SOUPS 2582633 WITH SCORE 2590294.891
AT ITER 798 NEW BEST:: SOT 12073135 SOS 7661386 HAS SOPS 6373522 HAS SOUS 2678951 HAS SOUPS 2581996 WITH SCORE 2589657.386
AT ITER 800 NEW BEST:: SOT 12072883 SOS 7661606 HAS SOPS 6372983 HAS SOUS 2673952 HAS SOUPS 2577346 WITH SCORE 2585007.606
AT ITER 801 NEW BEST:: SOT 12072762 SOS 7661479 HAS SOPS 6372766 HAS SOUS 2673779 HAS SOUPS 2577173 WITH SCORE 2584834.479
AT ITER 812 NEW BEST:: SOT 12081525 SOS 7670798 HAS SOPS 6388511 HAS SOUS 2670375 HAS SOUPS 2574944 WITH SCORE 2582614.798
AT ITER 823 NEW BEST:: SOT 12084032 SOS 7682056 HAS SOPS 6402664 HAS SOUS 2663549 HAS SOUPS 2568118 WITH SCORE 2575800.056
AT ITER 825 NEW BEST:: SOT 12084929 SOS 7684026 HAS SOPS 6404822 HAS SOUS 2661321 HAS SOUPS 2565890 WITH SCORE 2573574.026
AT ITER 826 NEW BEST:: SOT 12082507 SOS 7676597 HAS SOPS 6398214 HAS SOUS 2658887 HAS SOUPS 2563557 WITH SCORE 2571233.597
AT ITER 834 NEW BEST:: SOT 12082516 SOS 7676719 HAS SOPS 6397959 HAS SOUS 2657772 HAS SOUPS 2562393 WITH SCORE 2570069.719
AT ITER 837 NEW BEST:: SOT 12082517 SOS 7676355 HAS SOPS 6397746 HAS SOUS 2657724 HAS SOUPS 2562345 WITH SCORE 2570021.355
AT ITER 840 NEW BEST:: SOT 12072312 SOS 7665666 HAS SOPS 6386244 HAS SOUS 2639340 HAS SOUPS 2544115 WITH SCORE 2551780.666
AT ITER 859 NEW BEST:: SOT 12071590 SOS 7663359 HAS SOPS 6382650 HAS SOUS 2637844 HAS SOUPS 2542585 WITH SCORE 2550248.359
AT ITER 869 NEW BEST:: SOT 12073156 SOS 7666449 HAS SOPS 6387836 HAS SOUS 2636167 HAS SOUPS 2540886 WITH SCORE 2548552.449
AT ITER 870 NEW BEST:: SOT 12074686 SOS 7668218 HAS SOPS 6388966 HAS SOUS 2632656 HAS SOUPS 2537316 WITH SCORE 2544984.218
AT ITER 880 NEW BEST:: SOT 12074671 SOS 7668376 HAS SOPS 6389108 HAS SOUS 2632603 HAS SOUPS 2537263 WITH SCORE 2544931.376
AT ITER 882 NEW BEST:: SOT 12076050 SOS 7671496 HAS SOPS 6390390 HAS SOUS 2632303 HAS SOUPS 2536963 WITH SCORE 2544634.496
AT ITER 907 NEW BEST:: SOT 12076120 SOS 7675095 HAS SOPS 6395166 HAS SOUS 2625752 HAS SOUPS 2530412 WITH SCORE 2538087.095
AT ITER 908 NEW BEST:: SOT 12075624 SOS 7674701 HAS SOPS 6394802 HAS SOUS 2624704 HAS SOUPS 2529349 WITH SCORE 2537023.701
AT ITER 915 NEW BEST:: SOT 12075047 SOS 7675699 HAS SOPS 6395074 HAS SOUS 2622300 HAS SOUPS 2526945 WITH SCORE 2534620.699
AT ITER 918 NEW BEST:: SOT 12077250 SOS 7678684 HAS SOPS 6396926 HAS SOUS 2622010 HAS SOUPS 2526268 WITH SCORE 2533946.684
AT ITER 930 NEW BEST:: SOT 12077127 SOS 7678561 HAS SOPS 6396803 HAS SOUS 2621971 HAS SOUPS 2526229 WITH SCORE 2533907.561
AT ITER 931 NEW BEST:: SOT 12073101 SOS 7661813 HAS SOPS 6396433 HAS SOUS 2617068 HAS SOUPS 2521564 WITH SCORE 2529225.813
AT ITER 934 NEW BEST:: SOT 12071156 SOS 7660088 HAS SOPS 6393668 HAS SOUS 2612876 HAS SOUPS 2517372 WITH SCORE 2525032.088
AT ITER 956 NEW BEST:: SOT 12071309 SOS 7660243 HAS SOPS 6393853 HAS SOUS 2612817 HAS SOUPS 2517313 WITH SCORE 2524973.243
AT ITER 963 NEW BEST:: SOT 12071513 SOS 7660433 HAS SOPS 6393833 HAS SOUS 2611933 HAS SOUPS 2516429 WITH SCORE 2524089.433
AT ITER 965 NEW BEST:: SOT 12070192 SOS 7659187 HAS SOPS 6391994 HAS SOUS 2608777 HAS SOUPS 2513273 WITH SCORE 2520932.187
AT ITER 972 NEW BEST:: SOT 12071034 SOS 7656542 HAS SOPS 6388327 HAS SOUS 2608023 HAS SOUPS 2512519 WITH SCORE 2520175.542
AT ITER 975 NEW BEST:: SOT 12072535 SOS 7657186 HAS SOPS 6389203 HAS SOUS 2607073 HAS SOUPS 2511569 WITH SCORE 2519226.186
AT ITER 982 NEW BEST:: SOT 12074519 SOS 7661898 HAS SOPS 6390200 HAS SOUS 2605579 HAS SOUPS 2510075 WITH SCORE 2517736.898
AT ITER 988 NEW BEST:: SOT 12080680 SOS 7671655 HAS SOPS 6405843 HAS SOUS 2597427 HAS SOUPS 2502179 WITH SCORE 2509850.655
AT ITER 990 NEW BEST:: SOT 12079646 SOS 7669217 HAS SOPS 6403705 HAS SOUS 2596822 HAS SOUPS 2501574 WITH SCORE 2509243.217
AT ITER 997 NEW BEST:: SOT 12080098 SOS 7671250 HAS SOPS 6405260 HAS SOUS 2595885 HAS SOUPS 2500583 WITH SCORE 2508254.25
AT ITER 1002 NEW BEST:: SOT 12086845 SOS 7669554 HAS SOPS 6407501 HAS SOUS 2593082 HAS SOUPS 2497959 WITH SCORE 2505628.554
AT ITER 1006 NEW BEST:: SOT 12085643 SOS 7667803 HAS SOPS 6407552 HAS SOUS 2591788 HAS SOUPS 2496665 WITH SCORE 2504332.803
AT ITER 1021 NEW BEST:: SOT 12086336 SOS 7670880 HAS SOPS 6411589 HAS SOUS 2590042 HAS SOUPS 2494967 WITH SCORE 2502637.88
AT ITER 1022 NEW BEST:: SOT 12085990 SOS 7669133 HAS SOPS 6411380 HAS SOUS 2590000 HAS SOUPS 2494760 WITH SCORE 2502429.133
AT ITER 1026 NEW BEST:: SOT 12080274 SOS 7658184 HAS SOPS 6401249 HAS SOUS 2575819 HAS SOUPS 2481143 WITH SCORE 2488801.184
AT ITER 1029 NEW BEST:: SOT 12080274 SOS 7658443 HAS SOPS 6401409 HAS SOUS 2575818 HAS SOUPS 2481142 WITH SCORE 2488800.443
AT ITER 1040 NEW BEST:: SOT 12082240 SOS 7662681 HAS SOPS 6408655 HAS SOUS 2570060 HAS SOUPS 2475360 WITH SCORE 2483022.681
AT ITER 1043 NEW BEST:: SOT 12082021 SOS 7662381 HAS SOPS 6407706 HAS SOUS 2569747 HAS SOUPS 2475047 WITH SCORE 2482709.381
AT ITER 1052 NEW BEST:: SOT 12082062 SOS 7664255 HAS SOPS 6407990 HAS SOUS 2565415 HAS SOUPS 2470715 WITH SCORE 2478379.255
AT ITER 1056 NEW BEST:: SOT 12080999 SOS 7663136 HAS SOPS 6406602 HAS SOUS 2563530 HAS SOUPS 2468823 WITH SCORE 2476486.136
AT ITER 1058 NEW BEST:: SOT 12077863 SOS 7659999 HAS SOPS 6403450 HAS SOUS 2560114 HAS SOUPS 2465407 WITH SCORE 2473066.999
AT ITER 1066 NEW BEST:: SOT 12077983 SOS 7660119 HAS SOPS 6403570 HAS SOUS 2560034 HAS SOUPS 2465327 WITH SCORE 2472987.119
AT ITER 1101 NEW BEST:: SOT 12084524 SOS 7672464 HAS SOPS 6414045 HAS SOUS 2549755 HAS SOUPS 2455593 WITH SCORE 2463265.464
AT ITER 1112 NEW BEST:: SOT 12082787 SOS 7671156 HAS SOPS 6412201 HAS SOUS 2543966 HAS SOUPS 2449804 WITH SCORE 2457475.156
AT ITER 1114 NEW BEST:: SOT 12086337 SOS 7674965 HAS SOPS 6415838 HAS SOUS 2543127 HAS SOUPS 2448943 WITH SCORE 2456617.965
AT ITER 1117 NEW BEST:: SOT 12086371 SOS 7676845 HAS SOPS 6419851 HAS SOUS 2542459 HAS SOUPS 2448275 WITH SCORE 2455951.845
AT ITER 1120 NEW BEST:: SOT 12086099 SOS 7675539 HAS SOPS 6417836 HAS SOUS 2541173 HAS SOUPS 2446989 WITH SCORE 2454664.539
AT ITER 1124 NEW BEST:: SOT 12086075 SOS 7675515 HAS SOPS 6417812 HAS SOUS 2541173 HAS SOUPS 2446989 WITH SCORE 2454664.515
AT ITER 1125 NEW BEST:: SOT 12085645 SOS 7675036 HAS SOPS 6418297 HAS SOUS 2537856 HAS SOUPS 2444394 WITH SCORE 2452069.036
AT ITER 1126 NEW BEST:: SOT 12085081 SOS 7674318 HAS SOPS 6417592 HAS SOUS 2536397 HAS SOUPS 2442935 WITH SCORE 2450609.318
AT ITER 1148 NEW BEST:: SOT 12083258 SOS 7670985 HAS SOPS 6414166 HAS SOUS 2534855 HAS SOUPS 2441351 WITH SCORE 2449021.985
AT ITER 1150 NEW BEST:: SOT 12082002 SOS 7669773 HAS SOPS 6412521 HAS SOUS 2530993 HAS SOUPS 2437489 WITH SCORE 2445158.773
AT ITER 1170 NEW BEST:: SOT 12082693 SOS 7671072 HAS SOPS 6414767 HAS SOUS 2529176 HAS SOUPS 2435645 WITH SCORE 2443316.072
AT ITER 1176 NEW BEST:: SOT 12077581 SOS 7665480 HAS SOPS 6407826 HAS SOUS 2524399 HAS SOUPS 2430820 WITH SCORE 2438485.48
AT ITER 1182 NEW BEST:: SOT 12077715 SOS 7662602 HAS SOPS 6410551 HAS SOUS 2518926 HAS SOUPS 2425512 WITH SCORE 2433174.602
AT ITER 1189 NEW BEST:: SOT 12079413 SOS 7670012 HAS SOPS 6417068 HAS SOUS 2513436 HAS SOUPS 2420143 WITH SCORE 2427813.012
AT ITER 1192 NEW BEST:: SOT 12078627 SOS 7669284 HAS SOPS 6415948 HAS SOUS 2513046 HAS SOUPS 2419529 WITH SCORE 2427198.284
AT ITER 1198 NEW BEST:: SOT 12079035 SOS 7670591 HAS SOPS 6418127 HAS SOUS 2512897 HAS SOUPS 2419431 WITH SCORE 2427101.591
AT ITER 1216 NEW BEST:: SOT 12079263 SOS 7670833 HAS SOPS 6418383 HAS SOUS 2512762 HAS SOUPS 2419296 WITH SCORE 2426966.833
AT ITER 1222 NEW BEST:: SOT 12073052 SOS 7657391 HAS SOPS 6405585 HAS SOUS 2505727 HAS SOUPS 2412495 WITH SCORE 2420152.391
AT ITER 1252 NEW BEST:: SOT 12112475 SOS 7691101 HAS SOPS 6437944 HAS SOUS 2504845 HAS SOUPS 2411926 WITH SCORE 2419617.101
AT ITER 1256 NEW BEST:: SOT 12110335 SOS 7687782 HAS SOPS 6434129 HAS SOUS 2502057 HAS SOUPS 2409175 WITH SCORE 2416862.782
AT ITER 1266 NEW BEST:: SOT 12104582 SOS 7686032 HAS SOPS 6428436 HAS SOUS 2489196 HAS SOUPS 2396491 WITH SCORE 2404177.032
AT ITER 1272 NEW BEST:: SOT 12102546 SOS 7680262 HAS SOPS 6422205 HAS SOUS 2486929 HAS SOUPS 2394224 WITH SCORE 2401904.262
AT ITER 1275 NEW BEST:: SOT 12095085 SOS 7665035 HAS SOPS 6411415 HAS SOUS 2481954 HAS SOUPS 2389529 WITH SCORE 2397194.035
AT ITER 1287 NEW BEST:: SOT 12095987 SOS 7667385 HAS SOPS 6413407 HAS SOUS 2479954 HAS SOUPS 2387529 WITH SCORE 2395196.385
AT ITER 1294 NEW BEST:: SOT 12094659 SOS 7666057 HAS SOPS 6411695 HAS SOUS 2477706 HAS SOUPS 2385281 WITH SCORE 2392947.057
AT ITER 1295 NEW BEST:: SOT 12129692 SOS 7687877 HAS SOPS 6426341 HAS SOUS 2475954 HAS SOUPS 2380831 WITH SCORE 2388518.877
AT ITER 1311 NEW BEST:: SOT 12127785 SOS 7674702 HAS SOPS 6432880 HAS SOUS 2469243 HAS SOUPS 2373744 WITH SCORE 2381418.702
AT ITER 1330 NEW BEST:: SOT 12125265 SOS 7671555 HAS SOPS 6430594 HAS SOUS 2464347 HAS SOUPS 2368906 WITH SCORE 2376577.555
AT ITER 1333 NEW BEST:: SOT 12126508 SOS 7667172 HAS SOPS 6426960 HAS SOUS 2463961 HAS SOUPS 2368574 WITH SCORE 2376241.172
AT ITER 1369 NEW BEST:: SOT 12128859 SOS 7669523 HAS SOPS 6428655 HAS SOUS 2463956 HAS SOUPS 2368393 WITH SCORE 2376062.523
AT ITER 1372 NEW BEST:: SOT 12128202 SOS 7664256 HAS SOPS 6423621 HAS SOUS 2462515 HAS SOUPS 2366952 WITH SCORE 2374616.256
AT ITER 1378 NEW BEST:: SOT 12128353 SOS 7664413 HAS SOPS 6423342 HAS SOUS 2462326 HAS SOUPS 2366661 WITH SCORE 2374325.413
AT ITER 1419 NEW BEST:: SOT 12127397 SOS 7663062 HAS SOPS 6422112 HAS SOUS 2460554 HAS SOUPS 2364889 WITH SCORE 2372552.062
AT ITER 1442 NEW BEST:: SOT 12121865 SOS 7657334 HAS SOPS 6419255 HAS SOUS 2457641 HAS SOUPS 2362088 WITH SCORE 2369745.334
AT ITER 1443 NEW BEST:: SOT 12117994 SOS 7654094 HAS SOPS 6413491 HAS SOUS 2446322 HAS SOUPS 2350707 WITH SCORE 2358361.094
AT ITER 1446 NEW BEST:: SOT 12117958 SOS 7654058 HAS SOPS 6413455 HAS SOUS 2446250 HAS SOUPS 2350635 WITH SCORE 2358289.058
AT ITER 1452 NEW BEST:: SOT 12117919 SOS 7654187 HAS SOPS 6412480 HAS SOUS 2446039 HAS SOUPS 2349554 WITH SCORE 2357208.187
AT ITER 1459 NEW BEST:: SOT 12114931 SOS 7647860 HAS SOPS 6407409 HAS SOUS 2441963 HAS SOUPS 2346853 WITH SCORE 2354500.86
AT ITER 1462 NEW BEST:: SOT 12118788 SOS 7651124 HAS SOPS 6410561 HAS SOUS 2441880 HAS SOUPS 2346006 WITH SCORE 2353657.124
AT ITER 1480 NEW BEST:: SOT 12124364 SOS 7657337 HAS SOPS 6415311 HAS SOUS 2441053 HAS SOUPS 2345395 WITH SCORE 2353052.337
AT ITER 1489 NEW BEST:: SOT 12126593 SOS 7660498 HAS SOPS 6418362 HAS SOUS 2440130 HAS SOUPS 2344472 WITH SCORE 2352132.498
AT ITER 1498 NEW BEST:: SOT 12127078 SOS 7660954 HAS SOPS 6418570 HAS SOUS 2439669 HAS SOUPS 2343969 WITH SCORE 2351629.954
AT ITER 1530 NEW BEST:: SOT 12127342 SOS 7661801 HAS SOPS 6425766 HAS SOUS 2439059 HAS SOUPS 2343805 WITH SCORE 2351466.801
AT ITER 1536 NEW BEST:: SOT 12125676 SOS 7658429 HAS SOPS 6422833 HAS SOUS 2436726 HAS SOUPS 2341472 WITH SCORE 2349130.429
AT ITER 1548 NEW BEST:: SOT 12128576 SOS 7664562 HAS SOPS 6432075 HAS SOUS 2436660 HAS SOUPS 2341406 WITH SCORE 2349070.562
AT ITER 1551 NEW BEST:: SOT 12125386 SOS 7655305 HAS SOPS 6421866 HAS SOUS 2435298 HAS SOUPS 2339953 WITH SCORE 2347608.305
AT ITER 1557 NEW BEST:: SOT 12129615 SOS 7664346 HAS SOPS 6432155 HAS SOUS 2434900 HAS SOUPS 2339635 WITH SCORE 2347299.346
AT ITER 1559 NEW BEST:: SOT 12127447 SOS 7657676 HAS SOPS 6428021 HAS SOUS 2429426 HAS SOUPS 2334240 WITH SCORE 2341897.676
AT ITER 1567 NEW BEST:: SOT 12128210 SOS 7657407 HAS SOPS 6428602 HAS SOUS 2429171 HAS SOUPS 2333985 WITH SCORE 2341642.407
AT ITER 1570 NEW BEST:: SOT 12120684 SOS 7649881 HAS SOPS 6420364 HAS SOUS 2418125 HAS SOUPS 2322979 WITH SCORE 2330628.881
AT ITER 1582 NEW BEST:: SOT 12118830 SOS 7648759 HAS SOPS 6419658 HAS SOUS 2416216 HAS SOUPS 2321070 WITH SCORE 2328718.759
AT ITER 1593 NEW BEST:: SOT 12118663 SOS 7648384 HAS SOPS 6419277 HAS SOUS 2416108 HAS SOUPS 2320962 WITH SCORE 2328610.384
AT ITER 1607 NEW BEST:: SOT 12116333 SOS 7646054 HAS SOPS 6416947 HAS SOUS 2413954 HAS SOUPS 2318808 WITH SCORE 2326454.054
AT ITER 1610 NEW BEST:: SOT 12115751 SOS 7643179 HAS SOPS 6415858 HAS SOUS 2412935 HAS SOUPS 2317831 WITH SCORE 2325474.179
AT ITER 1611 NEW BEST:: SOT 12113484 SOS 7639702 HAS SOPS 6412381 HAS SOUS 2410723 HAS SOUPS 2315619 WITH SCORE 2323258.702
AT ITER 1616 NEW BEST:: SOT 12109058 SOS 7633724 HAS SOPS 6404164 HAS SOUS 2406983 HAS SOUPS 2311801 WITH SCORE 2319434.724
AT ITER 1623 NEW BEST:: SOT 12109393 SOS 7634831 HAS SOPS 6404827 HAS SOUS 2406745 HAS SOUPS 2311548 WITH SCORE 2319182.831
AT ITER 1629 NEW BEST:: SOT 12107833 SOS 7632152 HAS SOPS 6403663 HAS SOUS 2406442 HAS SOUPS 2311245 WITH SCORE 2318877.152
AT ITER 1663 NEW BEST:: SOT 12110204 SOS 7638952 HAS SOPS 6413521 HAS SOUS 2404163 HAS SOUPS 2309074 WITH SCORE 2316712.952
AT ITER 1670 NEW BEST:: SOT 12114212 SOS 7646567 HAS SOPS 6418123 HAS SOUS 2402734 HAS SOUPS 2307779 WITH SCORE 2315425.567
AT ITER 1671 NEW BEST:: SOT 12112051 SOS 7644247 HAS SOPS 6412341 HAS SOUS 2401654 HAS SOUPS 2306699 WITH SCORE 2314343.247
AT ITER 1689 NEW BEST:: SOT 12111835 SOS 7644779 HAS SOPS 6412793 HAS SOUS 2401216 HAS SOUPS 2306261 WITH SCORE 2313905.779
AT ITER 1702 NEW BEST:: SOT 12100740 SOS 7632916 HAS SOPS 6402618 HAS SOUS 2392299 HAS SOUPS 2297369 WITH SCORE 2305001.916
AT ITER 1711 NEW BEST:: SOT 12095746 SOS 7628950 HAS SOPS 6399511 HAS SOUS 2386228 HAS SOUPS 2291239 WITH SCORE 2298867.95
AT ITER 1723 NEW BEST:: SOT 12091559 SOS 7621889 HAS SOPS 6393865 HAS SOUS 2380765 HAS SOUPS 2285776 WITH SCORE 2293397.889
AT ITER 1727 NEW BEST:: SOT 12091608 SOS 7622067 HAS SOPS 6391451 HAS SOUS 2379091 HAS SOUPS 2284092 WITH SCORE 2291714.067
AT ITER 1749 NEW BEST:: SOT 12086560 SOS 7618152 HAS SOPS 6381789 HAS SOUS 2368718 HAS SOUPS 2273336 WITH SCORE 2280954.152
AT ITER 1755 NEW BEST:: SOT 12085951 SOS 7617219 HAS SOPS 6381326 HAS SOUS 2366775 HAS SOUPS 2271428 WITH SCORE 2279045.219
AT ITER 1756 NEW BEST:: SOT 12085812 SOS 7617668 HAS SOPS 6380908 HAS SOUS 2366678 HAS SOUPS 2271015 WITH SCORE 2278632.668
AT ITER 1781 NEW BEST:: SOT 12087628 SOS 7623521 HAS SOPS 6389082 HAS SOUS 2366618 HAS SOUPS 2270955 WITH SCORE 2278578.521
AT ITER 1788 NEW BEST:: SOT 12086764 SOS 7622674 HAS SOPS 6387338 HAS SOUS 2362703 HAS SOUPS 2267040 WITH SCORE 2274662.674
AT ITER 1793 NEW BEST:: SOT 12083500 SOS 7619430 HAS SOPS 6383693 HAS SOUS 2361247 HAS SOUPS 2265475 WITH SCORE 2273094.43
AT ITER 1798 NEW BEST:: SOT 12082354 SOS 7618006 HAS SOPS 6382006 HAS SOUS 2357995 HAS SOUPS 2262223 WITH SCORE 2269841.006
AT ITER 1805 NEW BEST:: SOT 12082604 SOS 7618883 HAS SOPS 6383225 HAS SOUS 2357506 HAS SOUPS 2261734 WITH SCORE 2269352.883
AT ITER 1809 NEW BEST:: SOT 12082922 SOS 7618206 HAS SOPS 6389592 HAS SOUS 2356264 HAS SOUPS 2260492 WITH SCORE 2268110.206
AT ITER 1814 NEW BEST:: SOT 12083305 SOS 7618943 HAS SOPS 6389612 HAS SOUS 2355894 HAS SOUPS 2260122 WITH SCORE 2267740.943
AT ITER 1818 NEW BEST:: SOT 12083166 SOS 7619068 HAS SOPS 6389569 HAS SOUS 2355687 HAS SOUPS 2259911 WITH SCORE 2267530.068
AT ITER 1820 NEW BEST:: SOT 12082474 SOS 7619446 HAS SOPS 6389204 HAS SOUS 2345794 HAS SOUPS 2250013 WITH SCORE 2257632.446
AT ITER 1827 NEW BEST:: SOT 12079925 SOS 7616616 HAS SOPS 6385184 HAS SOUS 2341096 HAS SOUPS 2245315 WITH SCORE 2252931.616
AT ITER 1842 NEW BEST:: SOT 12083664 SOS 7614821 HAS SOPS 6387233 HAS SOUS 2336035 HAS SOUPS 2240753 WITH SCORE 2248367.821
AT ITER 1850 NEW BEST:: SOT 12085175 SOS 7616332 HAS SOPS 6387944 HAS SOUS 2334330 HAS SOUPS 2239032 WITH SCORE 2246648.332
AT ITER 1869 NEW BEST:: SOT 12088737 SOS 7626192 HAS SOPS 6393826 HAS SOUS 2327859 HAS SOUPS 2232561 WITH SCORE 2240187.192
AT ITER 1891 NEW BEST:: SOT 12088477 SOS 7625932 HAS SOPS 6393438 HAS SOUS 2327151 HAS SOUPS 2231853 WITH SCORE 2239478.932
AT ITER 1898 NEW BEST:: SOT 12088244 SOS 7625684 HAS SOPS 6393148 HAS SOUS 2326867 HAS SOUPS 2231557 WITH SCORE 2239182.684
AT ITER 1943 NEW BEST:: SOT 12088053 SOS 7624303 HAS SOPS 6392019 HAS SOUS 2326372 HAS SOUPS 2231062 WITH SCORE 2238686.303
AT ITER 1945 NEW BEST:: SOT 12088059 SOS 7625939 HAS SOPS 6393801 HAS SOUS 2323679 HAS SOUPS 2228369 WITH SCORE 2235994.939
AT ITER 1947 NEW BEST:: SOT 12090153 SOS 7630961 HAS SOPS 6396625 HAS SOUS 2323560 HAS SOUPS 2228250 WITH SCORE 2235880.961
AT ITER 1964 NEW BEST:: SOT 12090836 SOS 7631854 HAS SOPS 6397554 HAS SOUS 2323353 HAS SOUPS 2228043 WITH SCORE 2235674.854
AT ITER 1968 NEW BEST:: SOT 12090836 SOS 7633167 HAS SOPS 6397817 HAS SOUS 2321445 HAS SOUPS 2226135 WITH SCORE 2233768.167
AT ITER 1990 NEW BEST:: SOT 12086349 SOS 7626663 HAS SOPS 6394482 HAS SOUS 2317326 HAS SOUPS 2222168 WITH SCORE 2229794.663
AT ITER 2004 NEW BEST:: SOT 12086041 SOS 7626380 HAS SOPS 6392517 HAS SOUS 2312438 HAS SOUPS 2217280 WITH SCORE 2224906.38
AT ITER 2033 NEW BEST:: SOT 12086268 SOS 7626607 HAS SOPS 6392424 HAS SOUS 2310573 HAS SOUPS 2215415 WITH SCORE 2223041.607
AT ITER 2043 NEW BEST:: SOT 12090348 SOS 7631917 HAS SOPS 6398707 HAS SOUS 2307398 HAS SOUPS 2213275 WITH SCORE 2220906.917
AT ITER 2060 NEW BEST:: SOT 12095451 SOS 7648269 HAS SOPS 6417755 HAS SOUS 2305015 HAS SOUPS 2210892 WITH SCORE 2218540.269
AT ITER 2072 NEW BEST:: SOT 12095287 SOS 7648090 HAS SOPS 6417591 HAS SOUS 2304951 HAS SOUPS 2210818 WITH SCORE 2218466.09
AT ITER 2081 NEW BEST:: SOT 12087171 SOS 7639974 HAS SOPS 6409475 HAS SOUS 2299735 HAS SOUPS 2205602 WITH SCORE 2213241.974
AT ITER 2088 NEW BEST:: SOT 12088170 SOS 7641054 HAS SOPS 6411014 HAS SOUS 2299444 HAS SOUPS 2205362 WITH SCORE 2213003.054
AT ITER 2097 NEW BEST:: SOT 12087094 SOS 7637640 HAS SOPS 6411381 HAS SOUS 2298620 HAS SOUPS 2204538 WITH SCORE 2212175.64
AT ITER 2112 NEW BEST:: SOT 12087064 SOS 7637558 HAS SOPS 6411307 HAS SOUS 2298514 HAS SOUPS 2204432 WITH SCORE 2212069.558
AT ITER 2123 NEW BEST:: SOT 12086306 SOS 7636683 HAS SOPS 6409781 HAS SOUS 2296909 HAS SOUPS 2202827 WITH SCORE 2210463.683
AT ITER 2124 NEW BEST:: SOT 12086467 SOS 7637402 HAS SOPS 6410658 HAS SOUS 2296384 HAS SOUPS 2202302 WITH SCORE 2209939.402
AT ITER 2139 NEW BEST:: SOT 12086225 SOS 7637160 HAS SOPS 6410336 HAS SOUS 2296350 HAS SOUPS 2202268 WITH SCORE 2209905.16
AT ITER 2146 NEW BEST:: SOT 12080680 SOS 7628373 HAS SOPS 6402172 HAS SOUS 2285866 HAS SOUPS 2192112 WITH SCORE 2199740.373
AT ITER 2150 NEW BEST:: SOT 12073641 SOS 7621334 HAS SOPS 6395133 HAS SOUS 2274423 HAS SOUPS 2180669 WITH SCORE 2188290.334
AT ITER 2155 NEW BEST:: SOT 12073565 SOS 7620260 HAS SOPS 6394064 HAS SOUS 2274193 HAS SOUPS 2180439 WITH SCORE 2188059.26
AT ITER 2179 NEW BEST:: SOT 12074462 SOS 7621634 HAS SOPS 6397574 HAS SOUS 2273266 HAS SOUPS 2179594 WITH SCORE 2187215.634
AT ITER 2188 NEW BEST:: SOT 12074153 SOS 7621181 HAS SOPS 6397326 HAS SOUS 2273141 HAS SOUPS 2179469 WITH SCORE 2187090.181
AT ITER 2211 NEW BEST:: SOT 12073238 SOS 7620134 HAS SOPS 6395739 HAS SOUS 2271603 HAS SOUPS 2177931 WITH SCORE 2185551.134
AT ITER 2214 NEW BEST:: SOT 12073058 SOS 7621227 HAS SOPS 6396968 HAS SOUS 2271188 HAS SOUPS 2177516 WITH SCORE 2185137.227
AT ITER 2220 NEW BEST:: SOT 12073228 SOS 7621337 HAS SOPS 6396998 HAS SOUS 2270888 HAS SOUPS 2177216 WITH SCORE 2184837.337
AT ITER 2228 NEW BEST:: SOT 12072302 SOS 7619870 HAS SOPS 6396321 HAS SOUS 2270552 HAS SOUPS 2176904 WITH SCORE 2184523.87
AT ITER 2233 NEW BEST:: SOT 12071548 SOS 7618397 HAS SOPS 6394748 HAS SOUS 2269868 HAS SOUPS 2176220 WITH SCORE 2183838.397
AT ITER 2237 NEW BEST:: SOT 12071284 SOS 7618133 HAS SOPS 6394484 HAS SOUS 2269544 HAS SOUPS 2175896 WITH SCORE 2183514.133
AT ITER 2250 NEW BEST:: SOT 12074856 SOS 7623372 HAS SOPS 6406943 HAS SOUS 2267946 HAS SOUPS 2174477 WITH SCORE 2182100.372
AT ITER 2256 NEW BEST:: SOT 12074128 SOS 7621235 HAS SOPS 6404918 HAS SOUS 2267073 HAS SOUPS 2173604 WITH SCORE 2181225.235
AT ITER 2257 NEW BEST:: SOT 12073498 SOS 7620605 HAS SOPS 6404288 HAS SOUS 2266639 HAS SOUPS 2173170 WITH SCORE 2180790.605
AT ITER 2275 NEW BEST:: SOT 12072112 SOS 7619219 HAS SOPS 6402278 HAS SOUS 2262553 HAS SOUPS 2169084 WITH SCORE 2176703.219
AT ITER 2277 NEW BEST:: SOT 12069663 SOS 7617175 HAS SOPS 6401009 HAS SOUS 2258145 HAS SOUPS 2164676 WITH SCORE 2172293.175
AT ITER 2291 NEW BEST:: SOT 12068402 SOS 7614060 HAS SOPS 6397684 HAS SOUS 2256775 HAS SOUPS 2163287 WITH SCORE 2170901.06
AT ITER 2300 NEW BEST:: SOT 12067471 SOS 7611934 HAS SOPS 6396753 HAS SOUS 2255955 HAS SOUPS 2162467 WITH SCORE 2170078.934
AT ITER 2310 NEW BEST:: SOT 12067350 SOS 7612074 HAS SOPS 6396344 HAS SOUS 2254200 HAS SOUPS 2160712 WITH SCORE 2168324.074
AT ITER 2326 NEW BEST:: SOT 12065189 SOS 7607554 HAS SOPS 6392013 HAS SOUS 2250900 HAS SOUPS 2157438 WITH SCORE 2165045.554
AT ITER 2331 NEW BEST:: SOT 12065486 SOS 7609070 HAS SOPS 6392309 HAS SOUS 2250016 HAS SOUPS 2156554 WITH SCORE 2164163.07
AT ITER 2347 NEW BEST:: SOT 12061276 SOS 7603107 HAS SOPS 6387173 HAS SOUS 2241493 HAS SOUPS 2148031 WITH SCORE 2155634.107
AT ITER 2350 NEW BEST:: SOT 12053516 SOS 7592499 HAS SOPS 6377421 HAS SOUS 2233475 HAS SOUPS 2140013 WITH SCORE 2147605.499
AT ITER 2366 NEW BEST:: SOT 12051450 SOS 7585387 HAS SOPS 6371690 HAS SOUS 2228859 HAS SOUPS 2135397 WITH SCORE 2142982.387
AT ITER 2369 NEW BEST:: SOT 12050938 SOS 7584378 HAS SOPS 6370123 HAS SOUS 2228350 HAS SOUPS 2134888 WITH SCORE 2142472.378
AT ITER 2372 NEW BEST:: SOT 12049615 SOS 7579244 HAS SOPS 6364776 HAS SOUS 2227430 HAS SOUPS 2133968 WITH SCORE 2141547.244
AT ITER 2376 NEW BEST:: SOT 12047042 SOS 7572511 HAS SOPS 6359490 HAS SOUS 2225782 HAS SOUPS 2132355 WITH SCORE 2139927.511
AT ITER 2393 NEW BEST:: SOT 12051135 SOS 7575571 HAS SOPS 6366033 HAS SOUS 2219070 HAS SOUPS 2127973 WITH SCORE 2135548.571
AT ITER 2411 NEW BEST:: SOT 12043166 SOS 7561349 HAS SOPS 6353759 HAS SOUS 2196701 HAS SOUPS 2105879 WITH SCORE 2113440.349
AT ITER 2423 NEW BEST:: SOT 12042188 SOS 7560383 HAS SOPS 6352815 HAS SOUS 2195749 HAS SOUPS 2104937 WITH SCORE 2112497.383
AT ITER 2434 NEW BEST:: SOT 12040612 SOS 7557387 HAS SOPS 6350175 HAS SOUS 2193854 HAS SOUPS 2103042 WITH SCORE 2110599.387
AT ITER 2460 NEW BEST:: SOT 12037370 SOS 7553242 HAS SOPS 6345955 HAS SOUS 2190635 HAS SOUPS 2099863 WITH SCORE 2107416.242
AT ITER 2461 NEW BEST:: SOT 12037330 SOS 7553202 HAS SOPS 6345659 HAS SOUS 2189227 HAS SOUPS 2098455 WITH SCORE 2106008.202
AT ITER 2462 NEW BEST:: SOT 12036894 SOS 7553107 HAS SOPS 6343955 HAS SOUS 2188829 HAS SOUPS 2098025 WITH SCORE 2105578.107
AT ITER 2464 NEW BEST:: SOT 12035525 SOS 7554397 HAS SOPS 6346556 HAS SOUS 2181449 HAS SOUPS 2090645 WITH SCORE 2098199.397
AT ITER 2480 NEW BEST:: SOT 12034981 SOS 7553566 HAS SOPS 6345931 HAS SOUS 2180992 HAS SOUPS 2090188 WITH SCORE 2097741.566
AT ITER 2481 NEW BEST:: SOT 12036705 SOS 7558210 HAS SOPS 6349924 HAS SOUS 2179509 HAS SOUPS 2088705 WITH SCORE 2096263.21
AT ITER 2489 NEW BEST:: SOT 12036432 SOS 7557937 HAS SOPS 6349651 HAS SOUS 2179220 HAS SOUPS 2088416 WITH SCORE 2095973.937
AT ITER 2490 NEW BEST:: SOT 12034947 SOS 7553043 HAS SOPS 6344041 HAS SOUS 2176911 HAS SOUPS 2086107 WITH SCORE 2093660.043
AT ITER 2501 NEW BEST:: SOT 12033388 SOS 7551161 HAS SOPS 6342990 HAS SOUS 2176059 HAS SOUPS 2085255 WITH SCORE 2092806.161
AT ITER 2505 NEW BEST:: SOT 12033352 SOS 7551104 HAS SOPS 6343044 HAS SOUS 2175943 HAS SOUPS 2085139 WITH SCORE 2092690.104
AT ITER 2513 NEW BEST:: SOT 12030821 SOS 7547730 HAS SOPS 6339171 HAS SOUS 2171123 HAS SOUPS 2080415 WITH SCORE 2087962.73
AT ITER 2517 NEW BEST:: SOT 12030386 SOS 7545920 HAS SOPS 6338075 HAS SOUS 2170707 HAS SOUPS 2079999 WITH SCORE 2087544.92
AT ITER 2521 NEW BEST:: SOT 12029349 SOS 7545075 HAS SOPS 6336950 HAS SOUS 2167127 HAS SOUPS 2076419 WITH SCORE 2083964.075
AT ITER 2533 NEW BEST:: SOT 12029051 SOS 7541994 HAS SOPS 6326964 HAS SOUS 2154348 HAS SOUPS 2063520 WITH SCORE 2071061.994
AT ITER 2549 NEW BEST:: SOT 12028531 SOS 7542882 HAS SOPS 6326793 HAS SOUS 2152219 HAS SOUPS 2061351 WITH SCORE 2068893.882
AT ITER 2560 NEW BEST:: SOT 12028357 SOS 7538411 HAS SOPS 6327526 HAS SOUS 2151156 HAS SOUPS 2060288 WITH SCORE 2067826.411
AT ITER 2564 NEW BEST:: SOT 12027274 SOS 7537776 HAS SOPS 6327008 HAS SOUS 2150718 HAS SOUPS 2059862 WITH SCORE 2067399.776
AT ITER 2586 NEW BEST:: SOT 12027101 SOS 7537577 HAS SOPS 6326646 HAS SOUS 2150537 HAS SOUPS 2059694 WITH SCORE 2067231.577
AT ITER 2587 NEW BEST:: SOT 12027009 SOS 7537267 HAS SOPS 6326352 HAS SOUS 2150523 HAS SOUPS 2059680 WITH SCORE 2067217.267
AT ITER 2588 NEW BEST:: SOT 12032608 SOS 7540575 HAS SOPS 6329628 HAS SOUS 2149912 HAS SOUPS 2059150 WITH SCORE 2066690.575
AT ITER 2596 NEW BEST:: SOT 12033347 SOS 7545489 HAS SOPS 6342116 HAS SOUS 2146199 HAS SOUPS 2055608 WITH SCORE 2063153.489
AT ITER 2618 NEW BEST:: SOT 12038437 SOS 7558584 HAS SOPS 6347846 HAS SOUS 2146065 HAS SOUPS 2055474 WITH SCORE 2063032.584
AT ITER 2623 NEW BEST:: SOT 12037807 SOS 7558472 HAS SOPS 6348404 HAS SOUS 2145132 HAS SOUPS 2054540 WITH SCORE 2062098.472
AT ITER 2671 NEW BEST:: SOT 12036164 SOS 7557394 HAS SOPS 6346804 HAS SOUS 2135893 HAS SOUPS 2045301 WITH SCORE 2052858.394
AT ITER 2685 NEW BEST:: SOT 12034520 SOS 7554691 HAS SOPS 6344454 HAS SOUS 2135824 HAS SOUPS 2045235 WITH SCORE 2052789.691
AT ITER 2694 NEW BEST:: SOT 12033081 SOS 7552484 HAS SOPS 6342452 HAS SOUS 2134377 HAS SOUPS 2043807 WITH SCORE 2051359.484
AT ITER 2699 NEW BEST:: SOT 12020410 SOS 7526633 HAS SOPS 6322475 HAS SOUS 2122631 HAS SOUPS 2032268 WITH SCORE 2039794.633
AT ITER 2702 NEW BEST:: SOT 12020177 SOS 7527938 HAS SOPS 6324026 HAS SOUS 2122046 HAS SOUPS 2031683 WITH SCORE 2039210.938
AT ITER 2708 NEW BEST:: SOT 12020511 SOS 7529361 HAS SOPS 6325498 HAS SOUS 2120431 HAS SOUPS 2030068 WITH SCORE 2037597.361
AT ITER 2713 NEW BEST:: SOT 12000613 SOS 7504195 HAS SOPS 6302895 HAS SOUS 2101716 HAS SOUPS 2011518 WITH SCORE 2019022.195
AT ITER 2725 NEW BEST:: SOT 12008247 SOS 7523097 HAS SOPS 6317557 HAS SOUS 2096544 HAS SOUPS 2006346 WITH SCORE 2013869.097
AT ITER 2740 NEW BEST:: SOT 12008353 SOS 7523316 HAS SOPS 6316296 HAS SOUS 2096040 HAS SOUPS 2005842 WITH SCORE 2013365.316
AT ITER 2746 NEW BEST:: SOT 12009289 SOS 7528061 HAS SOPS 6317218 HAS SOUS 2095250 HAS SOUPS 2005052 WITH SCORE 2012580.061
AT ITER 2755 NEW BEST:: SOT 12008379 SOS 7524097 HAS SOPS 6314316 HAS SOUS 2094809 HAS SOUPS 2004611 WITH SCORE 2012135.097
AT ITER 2765 NEW BEST:: SOT 12008541 SOS 7523838 HAS SOPS 6312951 HAS SOUS 2094214 HAS SOUPS 2004016 WITH SCORE 2011539.838
AT ITER 2788 NEW BEST:: SOT 11994584 SOS 7502240 HAS SOPS 6290863 HAS SOUS 2087070 HAS SOUPS 1996794 WITH SCORE 2004296.24
AT ITER 2793 NEW BEST:: SOT 11993806 SOS 7501427 HAS SOPS 6289695 HAS SOUS 2085162 HAS SOUPS 1994886 WITH SCORE 2002387.427
AT ITER 2801 NEW BEST:: SOT 11993291 SOS 7500971 HAS SOPS 6289539 HAS SOUS 2084031 HAS SOUPS 1993768 WITH SCORE 2001268.971
AT ITER 2802 NEW BEST:: SOT 11995118 SOS 7501354 HAS SOPS 6288677 HAS SOUS 2076419 HAS SOUPS 1987116 WITH SCORE 1994617.354
AT ITER 2807 NEW BEST:: SOT 11995164 SOS 7504107 HAS SOPS 6290994 HAS SOUS 2070612 HAS SOUPS 1981415 WITH SCORE 1988919.107
AT ITER 2810 NEW BEST:: SOT 11998960 SOS 7505062 HAS SOPS 6297954 HAS SOUS 2068059 HAS SOUPS 1979768 WITH SCORE 1987273.062
AT ITER 2830 NEW BEST:: SOT 11998081 SOS 7504136 HAS SOPS 6296657 HAS SOUS 2066776 HAS SOUPS 1978485 WITH SCORE 1985989.136
AT ITER 2837 NEW BEST:: SOT 11998015 SOS 7504106 HAS SOPS 6296630 HAS SOUS 2066605 HAS SOUPS 1978311 WITH SCORE 1985815.106
AT ITER 2841 NEW BEST:: SOT 11992660 SOS 7498751 HAS SOPS 6291227 HAS SOUS 2060866 HAS SOUPS 1972572 WITH SCORE 1980070.751
AT ITER 2845 NEW BEST:: SOT 11994289 SOS 7499266 HAS SOPS 6293062 HAS SOUS 2059025 HAS SOUPS 1971467 WITH SCORE 1978966.266
AT ITER 2851 NEW BEST:: SOT 11993328 SOS 7497981 HAS SOPS 6288809 HAS SOUS 2056534 HAS SOUPS 1968976 WITH SCORE 1976473.981
AT ITER 2866 NEW BEST:: SOT 11992941 SOS 7498260 HAS SOPS 6289597 HAS SOUS 2055046 HAS SOUPS 1967488 WITH SCORE 1974986.26
AT ITER 2869 NEW BEST:: SOT 11991311 SOS 7492572 HAS SOPS 6285042 HAS SOUS 2050787 HAS SOUPS 1963286 WITH SCORE 1970778.572
AT ITER 2875 NEW BEST:: SOT 11989479 SOS 7490006 HAS SOPS 6282239 HAS SOUS 2047782 HAS SOUPS 1960183 WITH SCORE 1967673.006
AT ITER 2885 NEW BEST:: SOT 11989492 SOS 7490059 HAS SOPS 6282256 HAS SOUS 2047732 HAS SOUPS 1960133 WITH SCORE 1967623.059
AT ITER 2894 NEW BEST:: SOT 11988613 SOS 7488518 HAS SOPS 6280634 HAS SOUS 2047287 HAS SOUPS 1959688 WITH SCORE 1967176.518
AT ITER 2900 NEW BEST:: SOT 11983055 SOS 7483427 HAS SOPS 6274821 HAS SOUS 2040904 HAS SOUPS 1953198 WITH SCORE 1960681.427
AT ITER 2906 NEW BEST:: SOT 11983099 SOS 7483429 HAS SOPS 6274859 HAS SOUS 2040808 HAS SOUPS 1953166 WITH SCORE 1960649.429
AT ITER 2908 NEW BEST:: SOT 11981343 SOS 7485498 HAS SOPS 6279586 HAS SOUS 2040569 HAS SOUPS 1952927 WITH SCORE 1960412.498
AT ITER 2930 NEW BEST:: SOT 11981418 SOS 7486229 HAS SOPS 6280413 HAS SOUS 2040512 HAS SOUPS 1952870 WITH SCORE 1960356.229
AT ITER 2953 NEW BEST:: SOT 11981437 SOS 7486349 HAS SOPS 6280430 HAS SOUS 2040404 HAS SOUPS 1952762 WITH SCORE 1960248.349
AT ITER 2961 NEW BEST:: SOT 11980552 SOS 7486553 HAS SOPS 6280627 HAS SOUS 2035497 HAS SOUPS 1947855 WITH SCORE 1955341.553
AT ITER 2964 NEW BEST:: SOT 11977011 SOS 7483816 HAS SOPS 6277877 HAS SOUS 2030392 HAS SOUPS 1942968 WITH SCORE 1950451.816
AT ITER 2974 NEW BEST:: SOT 11976536 SOS 7483302 HAS SOPS 6277486 HAS SOUS 2028916 HAS SOUPS 1941508 WITH SCORE 1948991.302
AT ITER 2980 NEW BEST:: SOT 11973575 SOS 7478873 HAS SOPS 6271955 HAS SOUS 2023614 HAS SOUPS 1936206 WITH SCORE 1943684.873
AT ITER 2993 NEW BEST:: SOT 11964000 SOS 7467364 HAS SOPS 6262106 HAS SOUS 2013865 HAS SOUPS 1926457 WITH SCORE 1933924.364
AT ITER 2999 NEW BEST:: SOT 11963832 SOS 7467196 HAS SOPS 6261890 HAS SOUS 2013673 HAS SOUPS 1926217 WITH SCORE 1933684.196
AT ITER 3017 NEW BEST:: SOT 11963723 SOS 7466722 HAS SOPS 6261317 HAS SOUS 2013225 HAS SOUPS 1925769 WITH SCORE 1933235.722
AT ITER 3019 NEW BEST:: SOT 11963479 SOS 7465716 HAS SOPS 6260203 HAS SOUS 2012938 HAS SOUPS 1925482 WITH SCORE 1932947.716
AT ITER 3056 NEW BEST:: SOT 11967626 SOS 7477225 HAS SOPS 6278221 HAS SOUS 2002216 HAS SOUPS 1914955 WITH SCORE 1922432.225
AT ITER 3090 NEW BEST:: SOT 11965999 SOS 7475121 HAS SOPS 6273965 HAS SOUS 2001150 HAS SOUPS 1913508 WITH SCORE 1920983.121
AT ITER 3091 NEW BEST:: SOT 11962261 SOS 7469802 HAS SOPS 6268601 HAS SOUS 1992139 HAS SOUPS 1904497 WITH SCORE 1911966.802
AT ITER 3103 NEW BEST:: SOT 11960336 SOS 7467869 HAS SOPS 6266188 HAS SOUS 1987110 HAS SOUPS 1899468 WITH SCORE 1906935.869
AT ITER 3112 NEW BEST:: SOT 11957337 SOS 7460103 HAS SOPS 6258395 HAS SOUS 1976583 HAS SOUPS 1889020 WITH SCORE 1896480.103
AT ITER 3130 NEW BEST:: SOT 11956325 SOS 7459091 HAS SOPS 6257319 HAS SOUS 1975495 HAS SOUPS 1887932 WITH SCORE 1895391.091
AT ITER 3132 NEW BEST:: SOT 11953702 SOS 7456855 HAS SOPS 6254260 HAS SOUS 1969181 HAS SOUPS 1881594 WITH SCORE 1889050.855
AT ITER 3171 NEW BEST:: SOT 11950611 SOS 7453850 HAS SOPS 6250230 HAS SOUS 1962277 HAS SOUPS 1874682 WITH SCORE 1882135.85
AT ITER 3172 NEW BEST:: SOT 11952216 SOS 7449170 HAS SOPS 6249141 HAS SOUS 1959454 HAS SOUPS 1871859 WITH SCORE 1879308.17
AT ITER 3213 NEW BEST:: SOT 11951287 SOS 7447877 HAS SOPS 6247627 HAS SOUS 1958090 HAS SOUPS 1870553 WITH SCORE 1878000.877
AT ITER 3228 NEW BEST:: SOT 11950553 SOS 7447019 HAS SOPS 6246304 HAS SOUS 1955177 HAS SOUPS 1867645 WITH SCORE 1875092.019
AT ITER 3252 NEW BEST:: SOT 11950630 SOS 7446997 HAS SOPS 6246233 HAS SOUS 1955064 HAS SOUPS 1867532 WITH SCORE 1874978.997
AT ITER 3264 NEW BEST:: SOT 11950302 SOS 7446641 HAS SOPS 6245741 HAS SOUS 1954588 HAS SOUPS 1867056 WITH SCORE 1874502.641
AT ITER 3269 NEW BEST:: SOT 11950561 SOS 7447006 HAS SOPS 6246008 HAS SOUS 1954005 HAS SOUPS 1866529 WITH SCORE 1873976.006
AT ITER 3274 NEW BEST:: SOT 11951044 SOS 7447489 HAS SOPS 6246395 HAS SOUS 1953820 HAS SOUPS 1866344 WITH SCORE 1873791.489
AT ITER 3285 NEW BEST:: SOT 11946700 SOS 7446332 HAS SOPS 6254454 HAS SOUS 1948559 HAS SOUPS 1861083 WITH SCORE 1868529.332
AT ITER 3320 NEW BEST:: SOT 11942238 SOS 7439954 HAS SOPS 6245723 HAS SOUS 1944633 HAS SOUPS 1857157 WITH SCORE 1864596.954
AT ITER 3331 NEW BEST:: SOT 11940821 SOS 7436805 HAS SOPS 6242355 HAS SOUS 1943059 HAS SOUPS 1855606 WITH SCORE 1863042.805
AT ITER 3333 NEW BEST:: SOT 11939931 SOS 7433267 HAS SOPS 6240564 HAS SOUS 1942155 HAS SOUPS 1854702 WITH SCORE 1862135.267
AT ITER 3335 NEW BEST:: SOT 11938935 SOS 7431486 HAS SOPS 6239727 HAS SOUS 1939213 HAS SOUPS 1851760 WITH SCORE 1859191.486
AT ITER 3362 NEW BEST:: SOT 11935139 SOS 7428354 HAS SOPS 6234556 HAS SOUS 1935244 HAS SOUPS 1847776 WITH SCORE 1855204.354
AT ITER 3385 NEW BEST:: SOT 11935711 SOS 7429485 HAS SOPS 6236213 HAS SOUS 1935173 HAS SOUPS 1847705 WITH SCORE 1855134.485
AT ITER 3389 NEW BEST:: SOT 11935450 SOS 7429093 HAS SOPS 6235922 HAS SOUS 1935018 HAS SOUPS 1847550 WITH SCORE 1854979.093
AT ITER 3393 NEW BEST:: SOT 11936545 SOS 7429869 HAS SOPS 6236452 HAS SOUS 1931033 HAS SOUPS 1843680 WITH SCORE 1851109.869
AT ITER 3411 NEW BEST:: SOT 11934987 SOS 7428311 HAS SOPS 6234894 HAS SOUS 1929483 HAS SOUPS 1842130 WITH SCORE 1849558.311
AT ITER 3426 NEW BEST:: SOT 11934716 SOS 7428027 HAS SOPS 6234675 HAS SOUS 1929293 HAS SOUPS 1841940 WITH SCORE 1849368.027
AT ITER 3443 NEW BEST:: SOT 11935989 SOS 7430868 HAS SOPS 6235244 HAS SOUS 1926571 HAS SOUPS 1839218 WITH SCORE 1846648.868
AT ITER 3457 NEW BEST:: SOT 11935888 SOS 7430851 HAS SOPS 6234859 HAS SOUS 1926192 HAS SOUPS 1838839 WITH SCORE 1846269.851
AT ITER 3464 NEW BEST:: SOT 11928609 SOS 7422917 HAS SOPS 6226564 HAS SOUS 1914204 HAS SOUPS 1826781 WITH SCORE 1834203.917
AT ITER 3481 NEW BEST:: SOT 11928647 SOS 7422477 HAS SOPS 6225936 HAS SOUS 1914159 HAS SOUPS 1826736 WITH SCORE 1834158.477
AT ITER 3506 NEW BEST:: SOT 11928844 SOS 7422922 HAS SOPS 6227593 HAS SOUS 1914015 HAS SOUPS 1826592 WITH SCORE 1834014.922
AT ITER 3510 NEW BEST:: SOT 11927305 SOS 7419517 HAS SOPS 6224389 HAS SOUS 1913642 HAS SOUPS 1826153 WITH SCORE 1833572.517
AT ITER 3521 NEW BEST:: SOT 11927948 SOS 7420226 HAS SOPS 6224680 HAS SOUS 1913607 HAS SOUPS 1826096 WITH SCORE 1833516.226
AT ITER 3552 NEW BEST:: SOT 11925357 SOS 7415922 HAS SOPS 6220556 HAS SOUS 1907804 HAS SOUPS 1820308 WITH SCORE 1827723.922
AT ITER 3555 NEW BEST:: SOT 11926542 SOS 7420774 HAS SOPS 6219286 HAS SOUS 1905591 HAS SOUPS 1817984 WITH SCORE 1825404.774
AT ITER 3562 NEW BEST:: SOT 11927944 SOS 7421898 HAS SOPS 6220130 HAS SOUS 1905318 HAS SOUPS 1817556 WITH SCORE 1824977.898
AT ITER 3587 NEW BEST:: SOT 11924283 SOS 7418259 HAS SOPS 6213382 HAS SOUS 1895557 HAS SOUPS 1807795 WITH SCORE 1815213.259
AT ITER 3606 NEW BEST:: SOT 11924447 SOS 7418341 HAS SOPS 6213202 HAS SOUS 1895679 HAS SOUPS 1807655 WITH SCORE 1815073.341
AT ITER 3615 NEW BEST:: SOT 11926245 SOS 7420880 HAS SOPS 6215247 HAS SOUS 1894926 HAS SOUPS 1806902 WITH SCORE 1814322.88
AT ITER 3619 NEW BEST:: SOT 11938098 SOS 7437402 HAS SOPS 6236361 HAS SOUS 1892592 HAS SOUPS 1804568 WITH SCORE 1812005.402
AT ITER 3622 NEW BEST:: SOT 11935520 SOS 7434866 HAS SOPS 6233783 HAS SOUS 1889384 HAS SOUPS 1801318 WITH SCORE 1808752.866
AT ITER 3627 NEW BEST:: SOT 11934875 SOS 7433277 HAS SOPS 6232421 HAS SOUS 1888395 HAS SOUPS 1800329 WITH SCORE 1807762.277
AT ITER 3637 NEW BEST:: SOT 11934388 SOS 7431464 HAS SOPS 6228701 HAS SOUS 1886316 HAS SOUPS 1798250 WITH SCORE 1805681.464
AT ITER 3644 NEW BEST:: SOT 11934245 SOS 7431860 HAS SOPS 6229092 HAS SOUS 1886019 HAS SOUPS 1797953 WITH SCORE 1805384.86
AT ITER 3648 NEW BEST:: SOT 11934595 SOS 7431662 HAS SOPS 6230553 HAS SOUS 1884376 HAS SOUPS 1796310 WITH SCORE 1803741.662
AT ITER 3696 NEW BEST:: SOT 11936435 SOS 7436874 HAS SOPS 6233247 HAS SOUS 1883183 HAS SOUPS 1795280 WITH SCORE 1802716.874
AT ITER 3698 NEW BEST:: SOT 11933610 SOS 7425617 HAS SOPS 6224058 HAS SOUS 1880720 HAS SOUPS 1792817 WITH SCORE 1800242.617
AT ITER 3702 NEW BEST:: SOT 11933463 SOS 7425524 HAS SOPS 6223752 HAS SOUS 1880336 HAS SOUPS 1792430 WITH SCORE 1799855.524
AT ITER 3713 NEW BEST:: SOT 11933551 SOS 7425452 HAS SOPS 6223557 HAS SOUS 1880289 HAS SOUPS 1792383 WITH SCORE 1799808.452
AT ITER 3718 NEW BEST:: SOT 11932593 SOS 7421732 HAS SOPS 6221497 HAS SOUS 1876475 HAS SOUPS 1788781 WITH SCORE 1796202.732
AT ITER 3738 NEW BEST:: SOT 11932417 SOS 7421556 HAS SOPS 6221321 HAS SOUS 1876475 HAS SOUPS 1788781 WITH SCORE 1796202.556
AT ITER 3758 NEW BEST:: SOT 11932461 SOS 7421644 HAS SOPS 6221437 HAS SOUS 1876446 HAS SOUPS 1788756 WITH SCORE 1796177.644
AT ITER 3764 NEW BEST:: SOT 11933060 SOS 7421140 HAS SOPS 6221162 HAS SOUS 1874352 HAS SOUPS 1786714 WITH SCORE 1794135.14
AT ITER 3768 NEW BEST:: SOT 11931828 SOS 7419665 HAS SOPS 6220453 HAS SOUS 1871122 HAS SOUPS 1783524 WITH SCORE 1790943.665
AT ITER 3771 NEW BEST:: SOT 11930384 SOS 7419455 HAS SOPS 6218966 HAS SOUS 1869056 HAS SOUPS 1780721 WITH SCORE 1788140.455
AT ITER 3776 NEW BEST:: SOT 11930396 SOS 7419498 HAS SOPS 6218969 HAS SOUS 1868992 HAS SOUPS 1780656 WITH SCORE 1788075.498
AT ITER 3780 NEW BEST:: SOT 11929560 SOS 7418427 HAS SOPS 6216058 HAS SOUS 1864880 HAS SOUPS 1776499 WITH SCORE 1783917.427
AT ITER 3793 NEW BEST:: SOT 11929080 SOS 7417988 HAS SOPS 6215144 HAS SOUS 1863381 HAS SOUPS 1774991 WITH SCORE 1782408.988
AT ITER 3799 NEW BEST:: SOT 11928968 SOS 7417844 HAS SOPS 6214888 HAS SOUS 1863049 HAS SOUPS 1774659 WITH SCORE 1782076.844
AT ITER 3809 NEW BEST:: SOT 11928311 SOS 7417912 HAS SOPS 6213819 HAS SOUS 1862664 HAS SOUPS 1774223 WITH SCORE 1781640.912
AT ITER 3828 NEW BEST:: SOT 11927730 SOS 7417338 HAS SOPS 6213280 HAS SOUS 1862571 HAS SOUPS 1774133 WITH SCORE 1781550.338
AT ITER 3833 NEW BEST:: SOT 11914210 SOS 7396040 HAS SOPS 6195892 HAS SOUS 1847681 HAS SOUPS 1759458 WITH SCORE 1766854.04
AT ITER 3839 NEW BEST:: SOT 11913904 SOS 7395891 HAS SOPS 6195850 HAS SOUS 1847636 HAS SOUPS 1759413 WITH SCORE 1766808.891
AT ITER 3843 NEW BEST:: SOT 11911335 SOS 7393885 HAS SOPS 6190745 HAS SOUS 1841678 HAS SOUPS 1753248 WITH SCORE 1760641.885
AT ITER 3844 NEW BEST:: SOT 11910351 SOS 7392073 HAS SOPS 6189029 HAS SOUS 1841132 HAS SOUPS 1752702 WITH SCORE 1760094.073
AT ITER 3871 NEW BEST:: SOT 11910733 SOS 7392819 HAS SOPS 6190045 HAS SOUS 1840883 HAS SOUPS 1752480 WITH SCORE 1759872.819
AT ITER 3881 NEW BEST:: SOT 11910207 SOS 7392581 HAS SOPS 6189593 HAS SOUS 1840325 HAS SOUPS 1751922 WITH SCORE 1759314.581
AT ITER 3884 NEW BEST:: SOT 11910456 SOS 7392834 HAS SOPS 6189715 HAS SOUS 1839889 HAS SOUPS 1751486 WITH SCORE 1758878.834
AT ITER 3930 NEW BEST:: SOT 11906783 SOS 7385318 HAS SOPS 6184540 HAS SOUS 1839659 HAS SOUPS 1751337 WITH SCORE 1758722.318
AT ITER 3933 NEW BEST:: SOT 11906775 SOS 7385310 HAS SOPS 6184532 HAS SOUS 1839643 HAS SOUPS 1751321 WITH SCORE 1758706.31
AT ITER 3948 NEW BEST:: SOT 11907487 SOS 7381282 HAS SOPS 6182060 HAS SOUS 1830074 HAS SOUPS 1741752 WITH SCORE 1749133.282
AT ITER 3963 NEW BEST:: SOT 11904582 SOS 7373933 HAS SOPS 6174012 HAS SOUS 1826306 HAS SOUPS 1737984 WITH SCORE 1745357.933
AT ITER 3998 NEW BEST:: SOT 11904378 SOS 7372786 HAS SOPS 6173138 HAS SOUS 1825789 HAS SOUPS 1737479 WITH SCORE 1744851.786
AT ITER 4004 NEW BEST:: SOT 11904046 SOS 7371270 HAS SOPS 6171809 HAS SOUS 1825494 HAS SOUPS 1737184 WITH SCORE 1744555.27
AT ITER 4009 NEW BEST:: SOT 11904037 SOS 7372432 HAS SOPS 6172272 HAS SOUS 1824834 HAS SOUPS 1736514 WITH SCORE 1743886.432
AT ITER 4025 NEW BEST:: SOT 11900074 SOS 7362622 HAS SOPS 6163425 HAS SOUS 1822169 HAS SOUPS 1733849 WITH SCORE 1741211.622
AT ITER 4048 NEW BEST:: SOT 11899979 SOS 7362873 HAS SOPS 6163555 HAS SOUS 1821728 HAS SOUPS 1733408 WITH SCORE 1740770.873
AT ITER 4070 NEW BEST:: SOT 11898465 SOS 7365874 HAS SOPS 6162971 HAS SOUS 1819658 HAS SOUPS 1731223 WITH SCORE 1738588.874
AT ITER 4072 NEW BEST:: SOT 11898823 SOS 7366590 HAS SOPS 6163740 HAS SOUS 1819403 HAS SOUPS 1730968 WITH SCORE 1738334.59
AT ITER 4109 NEW BEST:: SOT 11893309 SOS 7357109 HAS SOPS 6154498 HAS SOUS 1818194 HAS SOUPS 1729678 WITH SCORE 1737035.109
AT ITER 4144 NEW BEST:: SOT 11897233 SOS 7362318 HAS SOPS 6158568 HAS SOUS 1817340 HAS SOUPS 1728824 WITH SCORE 1736186.318
AT ITER 4149 NEW BEST:: SOT 11897753 SOS 7364798 HAS SOPS 6160381 HAS SOUS 1817085 HAS SOUPS 1728569 WITH SCORE 1735933.798
AT ITER 4174 NEW BEST:: SOT 11897743 SOS 7365042 HAS SOPS 6160424 HAS SOUS 1816895 HAS SOUPS 1728377 WITH SCORE 1735742.042
AT ITER 4190 NEW BEST:: SOT 11896918 SOS 7364272 HAS SOPS 6159599 HAS SOUS 1816125 HAS SOUPS 1727552 WITH SCORE 1734916.272
AT ITER 4197 NEW BEST:: SOT 11897034 SOS 7364366 HAS SOPS 6159556 HAS SOUS 1816070 HAS SOUPS 1727497 WITH SCORE 1734861.366
AT ITER 4207 NEW BEST:: SOT 11895603 SOS 7356640 HAS SOPS 6152620 HAS SOUS 1814751 HAS SOUPS 1726178 WITH SCORE 1733534.64
AT ITER 4213 NEW BEST:: SOT 11895539 SOS 7356570 HAS SOPS 6152498 HAS SOUS 1814693 HAS SOUPS 1726092 WITH SCORE 1733448.57
AT ITER 4220 NEW BEST:: SOT 11895103 SOS 7356134 HAS SOPS 6151982 HAS SOUS 1814285 HAS SOUPS 1725684 WITH SCORE 1733040.134
AT ITER 4266 NEW BEST:: SOT 11893230 SOS 7354173 HAS SOPS 6148655 HAS SOUS 1811008 HAS SOUPS 1722370 WITH SCORE 1729724.173
AT ITER 4274 NEW BEST:: SOT 11893842 SOS 7356913 HAS SOPS 6151993 HAS SOUS 1810610 HAS SOUPS 1721972 WITH SCORE 1729328.913
AT ITER 4283 NEW BEST:: SOT 11889941 SOS 7353012 HAS SOPS 6147872 HAS SOUS 1805169 HAS SOUPS 1716743 WITH SCORE 1724096.012
AT ITER 4300 NEW BEST:: SOT 11890632 SOS 7354411 HAS SOPS 6149324 HAS SOUS 1804934 HAS SOUPS 1716536 WITH SCORE 1723890.411
AT ITER 4301 NEW BEST:: SOT 11890257 SOS 7353992 HAS SOPS 6148741 HAS SOUS 1804077 HAS SOUPS 1715679 WITH SCORE 1723032.992
AT ITER 4358 NEW BEST:: SOT 11890698 SOS 7353054 HAS SOPS 6148680 HAS SOUS 1798467 HAS SOUPS 1710117 WITH SCORE 1717470.054
AT ITER 4367 NEW BEST:: SOT 11892451 SOS 7356735 HAS SOPS 6151820 HAS SOUS 1798309 HAS SOUPS 1709976 WITH SCORE 1717332.735
AT ITER 4376 NEW BEST:: SOT 11890427 SOS 7354711 HAS SOPS 6149220 HAS SOUS 1794621 HAS SOUPS 1706288 WITH SCORE 1713642.711
AT ITER 4392 NEW BEST:: SOT 11890379 SOS 7354624 HAS SOPS 6149123 HAS SOUS 1794583 HAS SOUPS 1706250 WITH SCORE 1713604.624
AT ITER 4405 NEW BEST:: SOT 11890220 SOS 7354704 HAS SOPS 6149280 HAS SOUS 1794478 HAS SOUPS 1706145 WITH SCORE 1713499.704
AT ITER 4409 NEW BEST:: SOT 11889700 SOS 7353066 HAS SOPS 6148558 HAS SOUS 1793741 HAS SOUPS 1705756 WITH SCORE 1713109.066
AT ITER 4413 NEW BEST:: SOT 11889458 SOS 7352754 HAS SOPS 6148246 HAS SOUS 1793288 HAS SOUPS 1705303 WITH SCORE 1712655.754
AT ITER 4423 NEW BEST:: SOT 11887722 SOS 7350737 HAS SOPS 6146583 HAS SOUS 1791557 HAS SOUPS 1703536 WITH SCORE 1710886.737
AT ITER 4427 NEW BEST:: SOT 11895303 SOS 7362888 HAS SOPS 6159172 HAS SOUS 1787406 HAS SOUPS 1699415 WITH SCORE 1706777.888
AT ITER 4428 NEW BEST:: SOT 11894325 SOS 7361327 HAS SOPS 6157901 HAS SOUS 1786154 HAS SOUPS 1698196 WITH SCORE 1705557.327
AT ITER 4434 NEW BEST:: SOT 11892476 SOS 7357246 HAS SOPS 6152845 HAS SOUS 1785012 HAS SOUPS 1697054 WITH SCORE 1704411.246
AT ITER 4448 NEW BEST:: SOT 11893077 SOS 7357869 HAS SOPS 6153375 HAS SOUS 1782761 HAS SOUPS 1695193 WITH SCORE 1702550.869
AT ITER 4466 NEW BEST:: SOT 11889417 SOS 7354209 HAS SOPS 6150259 HAS SOUS 1778881 HAS SOUPS 1691857 WITH SCORE 1699211.209
AT ITER 4488 NEW BEST:: SOT 11889417 SOS 7354332 HAS SOPS 6150535 HAS SOUS 1778868 HAS SOUPS 1691844 WITH SCORE 1699198.332
AT ITER 4496 NEW BEST:: SOT 11889426 SOS 7354615 HAS SOPS 6150814 HAS SOUS 1778669 HAS SOUPS 1691645 WITH SCORE 1698999.615
AT ITER 4503 NEW BEST:: SOT 11889178 SOS 7354367 HAS SOPS 6150342 HAS SOUS 1778317 HAS SOUPS 1691293 WITH SCORE 1698647.367
AT ITER 4505 NEW BEST:: SOT 11889173 SOS 7354370 HAS SOPS 6150338 HAS SOUS 1778259 HAS SOUPS 1691235 WITH SCORE 1698589.37
AT ITER 4506 NEW BEST:: SOT 11889418 SOS 7354801 HAS SOPS 6151874 HAS SOUS 1775628 HAS SOUPS 1688814 WITH SCORE 1696168.801
AT ITER 4540 NEW BEST:: SOT 11888878 SOS 7354261 HAS SOPS 6151062 HAS SOUS 1774004 HAS SOUPS 1687190 WITH SCORE 1694544.261
AT ITER 4547 NEW BEST:: SOT 11888686 SOS 7354055 HAS SOPS 6150770 HAS SOUS 1773592 HAS SOUPS 1686778 WITH SCORE 1694132.055
AT ITER 4549 NEW BEST:: SOT 11886649 SOS 7347993 HAS SOPS 6144015 HAS SOUS 1767407 HAS SOUPS 1680651 WITH SCORE 1687998.993
AT ITER 4557 NEW BEST:: SOT 11886569 SOS 7348045 HAS SOPS 6143862 HAS SOUS 1767195 HAS SOUPS 1680471 WITH SCORE 1687819.045
AT ITER 4621 NEW BEST:: SOT 11886524 SOS 7349416 HAS SOPS 6143616 HAS SOUS 1766994 HAS SOUPS 1680270 WITH SCORE 1687619.416
AT ITER 4624 NEW BEST:: SOT 11886402 SOS 7347616 HAS SOPS 6141778 HAS SOUS 1766821 HAS SOUPS 1680097 WITH SCORE 1687444.616
AT ITER 4636 NEW BEST:: SOT 11886010 SOS 7347788 HAS SOPS 6141587 HAS SOUS 1765131 HAS SOUPS 1678407 WITH SCORE 1685754.788
AT ITER 4639 NEW BEST:: SOT 11882177 SOS 7340053 HAS SOPS 6130193 HAS SOUS 1757598 HAS SOUPS 1670874 WITH SCORE 1678214.053
AT ITER 4654 NEW BEST:: SOT 11881840 SOS 7340792 HAS SOPS 6129550 HAS SOUS 1755197 HAS SOUPS 1668501 WITH SCORE 1675841.792
AT ITER 4666 NEW BEST:: SOT 11883891 SOS 7343895 HAS SOPS 6132283 HAS SOUS 1754441 HAS SOUPS 1667745 WITH SCORE 1675088.895
AT ITER 4686 NEW BEST:: SOT 11883767 SOS 7343771 HAS SOPS 6132159 HAS SOUS 1754381 HAS SOUPS 1667685 WITH SCORE 1675028.771
AT ITER 4696 NEW BEST:: SOT 11882008 SOS 7340998 HAS SOPS 6129651 HAS SOUS 1751255 HAS SOUPS 1664559 WITH SCORE 1671899.998
AT ITER 4709 NEW BEST:: SOT 11890511 SOS 7347466 HAS SOPS 6140946 HAS SOUS 1750085 HAS SOUPS 1663459 WITH SCORE 1670806.466
AT ITER 4714 NEW BEST:: SOT 11890060 SOS 7346459 HAS SOPS 6139535 HAS SOUS 1749004 HAS SOUPS 1662378 WITH SCORE 1669724.459
AT ITER 4726 NEW BEST:: SOT 11889836 SOS 7346155 HAS SOPS 6139287 HAS SOUS 1748712 HAS SOUPS 1662086 WITH SCORE 1669432.155
AT ITER 4749 NEW BEST:: SOT 11888765 SOS 7342932 HAS SOPS 6136116 HAS SOUS 1747865 HAS SOUPS 1661239 WITH SCORE 1668581.932
AT ITER 4760 NEW BEST:: SOT 11889416 SOS 7342329 HAS SOPS 6133476 HAS SOUS 1746959 HAS SOUPS 1660333 WITH SCORE 1667675.329
AT ITER 4764 NEW BEST:: SOT 11886754 SOS 7332794 HAS SOPS 6126054 HAS SOUS 1743592 HAS SOUPS 1656966 WITH SCORE 1664298.794
AT ITER 4782 NEW BEST:: SOT 11886726 SOS 7332707 HAS SOPS 6125333 HAS SOUS 1741853 HAS SOUPS 1655227 WITH SCORE 1662559.707
AT ITER 4783 NEW BEST:: SOT 11888154 SOS 7334155 HAS SOPS 6124973 HAS SOUS 1738464 HAS SOUPS 1651838 WITH SCORE 1659172.155
AT ITER 4787 NEW BEST:: SOT 11887269 SOS 7330615 HAS SOPS 6122921 HAS SOUS 1738004 HAS SOUPS 1651378 WITH SCORE 1658708.615
AT ITER 4813 NEW BEST:: SOT 11884275 SOS 7327598 HAS SOPS 6119904 HAS SOUS 1733067 HAS SOUPS 1646441 WITH SCORE 1653768.598
AT ITER 4826 NEW BEST:: SOT 11883967 SOS 7326960 HAS SOPS 6119266 HAS SOUS 1732748 HAS SOUPS 1646122 WITH SCORE 1653448.96
AT ITER 4862 NEW BEST:: SOT 11883957 SOS 7326891 HAS SOPS 6119152 HAS SOUS 1732717 HAS SOUPS 1646091 WITH SCORE 1653417.891
AT ITER 4871 NEW BEST:: SOT 11883827 SOS 7324654 HAS SOPS 6113512 HAS SOUS 1729664 HAS SOUPS 1642941 WITH SCORE 1650265.654
AT ITER 4892 NEW BEST:: SOT 11883703 SOS 7324536 HAS SOPS 6113215 HAS SOUS 1729102 HAS SOUPS 1642379 WITH SCORE 1649703.536
AT ITER 4896 NEW BEST:: SOT 11883238 SOS 7318821 HAS SOPS 6108657 HAS SOUS 1726854 HAS SOUPS 1640131 WITH SCORE 1647449.821
AT ITER 4908 NEW BEST:: SOT 11882733 SOS 7318340 HAS SOPS 6108000 HAS SOUS 1725011 HAS SOUPS 1638304 WITH SCORE 1645622.34
AT ITER 4938 NEW BEST:: SOT 11880639 SOS 7314173 HAS SOPS 6103947 HAS SOUS 1722962 HAS SOUPS 1636338 WITH SCORE 1643652.173
AT ITER 5015 NEW BEST:: SOT 11880579 SOS 7314113 HAS SOPS 6103758 HAS SOUS 1722785 HAS SOUPS 1636161 WITH SCORE 1643475.113
AT ITER 5045 NEW BEST:: SOT 11881081 SOS 7314901 HAS SOPS 6103900 HAS SOUS 1721182 HAS SOUPS 1634618 WITH SCORE 1641932.901
AT ITER 5078 NEW BEST:: SOT 11881702 SOS 7316724 HAS SOPS 6106779 HAS SOUS 1720968 HAS SOUPS 1634404 WITH SCORE 1641720.724
AT ITER 5094 NEW BEST:: SOT 11880980 SOS 7317010 HAS SOPS 6106057 HAS SOUS 1720918 HAS SOUPS 1634354 WITH SCORE 1641671.01
AT ITER 5095 NEW BEST:: SOT 11881731 SOS 7318085 HAS SOPS 6106970 HAS SOUS 1720707 HAS SOUPS 1634143 WITH SCORE 1641461.085
AT ITER 5097 NEW BEST:: SOT 11881718 SOS 7317664 HAS SOPS 6106373 HAS SOUS 1720679 HAS SOUPS 1634115 WITH SCORE 1641432.664
AT ITER 5108 NEW BEST:: SOT 11882057 SOS 7318151 HAS SOPS 6105758 HAS SOUS 1720499 HAS SOUPS 1633935 WITH SCORE 1641253.151
AT ITER 5125 NEW BEST:: SOT 11879546 SOS 7314461 HAS SOPS 6102022 HAS SOUS 1717157 HAS SOUPS 1630593 WITH SCORE 1637907.461
AT ITER 5170 NEW BEST:: SOT 11898977 SOS 7337122 HAS SOPS 6142777 HAS SOUS 1706438 HAS SOUPS 1620368 WITH SCORE 1627705.122
AT ITER 5210 NEW BEST:: SOT 11900599 SOS 7341901 HAS SOPS 6146308 HAS SOUS 1706043 HAS SOUPS 1619973 WITH SCORE 1627314.901
AT ITER 5217 NEW BEST:: SOT 11901151 SOS 7343948 HAS SOPS 6147623 HAS SOUS 1705492 HAS SOUPS 1619410 WITH SCORE 1626753.948
AT ITER 5224 NEW BEST:: SOT 11898040 SOS 7335566 HAS SOPS 6139681 HAS SOUS 1703233 HAS SOUPS 1617151 WITH SCORE 1624486.566
AT ITER 5227 NEW BEST:: SOT 11897555 SOS 7333085 HAS SOPS 6137708 HAS SOUS 1702860 HAS SOUPS 1616778 WITH SCORE 1624111.085
AT ITER 5238 NEW BEST:: SOT 11897402 SOS 7332838 HAS SOPS 6137537 HAS SOUS 1702426 HAS SOUPS 1616344 WITH SCORE 1623676.838
AT ITER 5247 NEW BEST:: SOT 11896544 SOS 7326604 HAS SOPS 6126330 HAS SOUS 1701573 HAS SOUPS 1615283 WITH SCORE 1622609.604
AT ITER 5256 NEW BEST:: SOT 11896288 SOS 7325956 HAS SOPS 6125878 HAS SOUS 1701189 HAS SOUPS 1614903 WITH SCORE 1622228.956
AT ITER 5285 NEW BEST:: SOT 11896666 SOS 7325970 HAS SOPS 6125947 HAS SOUS 1701016 HAS SOUPS 1614742 WITH SCORE 1622067.97
AT ITER 5287 NEW BEST:: SOT 11898819 SOS 7329253 HAS SOPS 6129060 HAS SOUS 1700107 HAS SOUPS 1613623 WITH SCORE 1620952.253
AT ITER 5295 NEW BEST:: SOT 11898038 SOS 7327765 HAS SOPS 6128590 HAS SOUS 1697467 HAS SOUPS 1611687 WITH SCORE 1619014.765
AT ITER 5307 NEW BEST:: SOT 11898066 SOS 7327256 HAS SOPS 6128028 HAS SOUS 1697325 HAS SOUPS 1611545 WITH SCORE 1618872.256
AT ITER 5329 NEW BEST:: SOT 11897954 SOS 7328081 HAS SOPS 6128147 HAS SOUS 1697279 HAS SOUPS 1611499 WITH SCORE 1618827.081
AT ITER 5352 NEW BEST:: SOT 11898131 SOS 7328288 HAS SOPS 6128525 HAS SOUS 1696954 HAS SOUPS 1611226 WITH SCORE 1618554.288
AT ITER 5393 NEW BEST:: SOT 11898095 SOS 7328256 HAS SOPS 6128490 HAS SOUS 1696928 HAS SOUPS 1611201 WITH SCORE 1618529.256
AT ITER 5394 NEW BEST:: SOT 11897821 SOS 7327729 HAS SOPS 6127629 HAS SOUS 1695583 HAS SOUPS 1609726 WITH SCORE 1617053.729
AT ITER 5398 NEW BEST:: SOT 11896405 SOS 7325231 HAS SOPS 6125485 HAS SOUS 1694521 HAS SOUPS 1608664 WITH SCORE 1615989.231
AT ITER 5416 NEW BEST:: SOT 11896068 SOS 7324886 HAS SOPS 6125148 HAS SOUS 1694125 HAS SOUPS 1608268 WITH SCORE 1615592.886
AT ITER 5419 NEW BEST:: SOT 11894285 SOS 7322590 HAS SOPS 6122319 HAS SOUS 1693023 HAS SOUPS 1607166 WITH SCORE 1614488.59
AT ITER 5453 NEW BEST:: SOT 11893942 SOS 7322339 HAS SOPS 6120792 HAS SOUS 1689400 HAS SOUPS 1603543 WITH SCORE 1610865.339
AT ITER 5502 NEW BEST:: SOT 11893334 SOS 7321731 HAS SOPS 6120184 HAS SOUS 1689044 HAS SOUPS 1603187 WITH SCORE 1610508.731
AT ITER 5509 NEW BEST:: SOT 11892800 SOS 7321274 HAS SOPS 6119486 HAS SOUS 1687950 HAS SOUPS 1602134 WITH SCORE 1609455.274
AT ITER 5519 NEW BEST:: SOT 11892972 SOS 7321816 HAS SOPS 6119889 HAS SOUS 1687856 HAS SOUPS 1602040 WITH SCORE 1609361.816
AT ITER 5579 NEW BEST:: SOT 11891845 SOS 7320734 HAS SOPS 6117941 HAS SOUS 1686409 HAS SOUPS 1600604 WITH SCORE 1607924.734
AT ITER 5612 NEW BEST:: SOT 11890335 SOS 7319361 HAS SOPS 6114726 HAS SOUS 1674494 HAS SOUPS 1588689 WITH SCORE 1596008.361
AT ITER 5617 NEW BEST:: SOT 11893258 SOS 7320598 HAS SOPS 6115977 HAS SOUS 1670863 HAS SOUPS 1585110 WITH SCORE 1592430.598
AT ITER 5620 NEW BEST:: SOT 11892243 SOS 7319823 HAS SOPS 6115298 HAS SOUS 1669911 HAS SOUPS 1584158 WITH SCORE 1591477.823
AT ITER 5652 NEW BEST:: SOT 11891417 SOS 7321622 HAS SOPS 6118001 HAS SOUS 1668766 HAS SOUPS 1583079 WITH SCORE 1590400.622
AT ITER 5660 NEW BEST:: SOT 11892643 SOS 7320402 HAS SOPS 6119800 HAS SOUS 1667095 HAS SOUPS 1581540 WITH SCORE 1588860.402
AT ITER 5672 NEW BEST:: SOT 11891676 SOS 7321156 HAS SOPS 6118948 HAS SOUS 1663871 HAS SOUPS 1578316 WITH SCORE 1585637.156
AT ITER 5681 NEW BEST:: SOT 11892768 SOS 7322024 HAS SOPS 6117735 HAS SOUS 1659982 HAS SOUPS 1574427 WITH SCORE 1581749.024
AT ITER 5697 NEW BEST:: SOT 11892558 SOS 7321916 HAS SOPS 6117028 HAS SOUS 1657798 HAS SOUPS 1572213 WITH SCORE 1579534.916
AT ITER 5698 NEW BEST:: SOT 11892234 SOS 7321592 HAS SOPS 6116608 HAS SOUS 1657366 HAS SOUPS 1571781 WITH SCORE 1579102.592
AT ITER 5703 NEW BEST:: SOT 11886005 SOS 7317780 HAS SOPS 6111971 HAS SOUS 1653962 HAS SOUPS 1568333 WITH SCORE 1575650.78
AT ITER 5715 NEW BEST:: SOT 11886080 SOS 7314713 HAS SOPS 6108226 HAS SOUS 1653949 HAS SOUPS 1568320 WITH SCORE 1575634.713
AT ITER 5716 NEW BEST:: SOT 11889555 SOS 7318452 HAS SOPS 6114563 HAS SOUS 1645447 HAS SOUPS 1559976 WITH SCORE 1567294.452
AT ITER 5764 NEW BEST:: SOT 11895450 SOS 7327975 HAS SOPS 6123399 HAS SOUS 1644565 HAS SOUPS 1559328 WITH SCORE 1566655.975
AT ITER 5783 NEW BEST:: SOT 11894709 SOS 7327710 HAS SOPS 6122915 HAS SOUS 1643584 HAS SOUPS 1558347 WITH SCORE 1565674.71
AT ITER 5788 NEW BEST:: SOT 11894976 SOS 7330230 HAS SOPS 6124589 HAS SOUS 1642746 HAS SOUPS 1557473 WITH SCORE 1564803.23
AT ITER 5793 NEW BEST:: SOT 11894962 SOS 7330203 HAS SOPS 6124478 HAS SOUS 1642574 HAS SOUPS 1557270 WITH SCORE 1564600.203
AT ITER 5826 NEW BEST:: SOT 11894734 SOS 7331224 HAS SOPS 6125108 HAS SOUS 1642450 HAS SOUPS 1557119 WITH SCORE 1564450.224
AT ITER 5827 NEW BEST:: SOT 11894677 SOS 7329853 HAS SOPS 6124754 HAS SOUS 1640368 HAS SOUPS 1555037 WITH SCORE 1562366.853
AT ITER 5834 NEW BEST:: SOT 11894626 SOS 7329799 HAS SOPS 6124697 HAS SOUS 1640272 HAS SOUPS 1554941 WITH SCORE 1562270.799
AT ITER 5858 NEW BEST:: SOT 11893675 SOS 7327674 HAS SOPS 6122189 HAS SOUS 1639049 HAS SOUPS 1553718 WITH SCORE 1561045.674
AT ITER 5860 NEW BEST:: SOT 11893205 SOS 7325942 HAS SOPS 6119150 HAS SOUS 1637627 HAS SOUPS 1552296 WITH SCORE 1559621.942
AT ITER 5866 NEW BEST:: SOT 11894276 SOS 7326549 HAS SOPS 6119951 HAS SOUS 1635700 HAS SOUPS 1550369 WITH SCORE 1557695.549
AT ITER 5875 NEW BEST:: SOT 11893994 SOS 7326267 HAS SOPS 6119693 HAS SOUS 1635528 HAS SOUPS 1550197 WITH SCORE 1557523.267
AT ITER 5882 NEW BEST:: SOT 11894564 SOS 7326992 HAS SOPS 6120028 HAS SOUS 1634590 HAS SOUPS 1549235 WITH SCORE 1556561.992
AT ITER 5940 NEW BEST:: SOT 11894569 SOS 7326981 HAS SOPS 6119979 HAS SOUS 1634485 HAS SOUPS 1549130 WITH SCORE 1556456.981
AT ITER 5949 NEW BEST:: SOT 11894534 SOS 7328213 HAS SOPS 6119217 HAS SOUS 1631434 HAS SOUPS 1546038 WITH SCORE 1553366.213
AT ITER 5988 NEW BEST:: SOT 11894453 SOS 7337616 HAS SOPS 6123238 HAS SOUS 1626891 HAS SOUPS 1541420 WITH SCORE 1548757.616
AT ITER 5994 NEW BEST:: SOT 11893224 SOS 7336803 HAS SOPS 6122077 HAS SOUS 1624468 HAS SOUPS 1538997 WITH SCORE 1546333.803
AT ITER 6008 NEW BEST:: SOT 11899804 SOS 7346014 HAS SOPS 6132022 HAS SOUS 1620354 HAS SOUPS 1534883 WITH SCORE 1542229.014
AT ITER 6011 NEW BEST:: SOT 11898297 SOS 7343682 HAS SOPS 6135461 HAS SOUS 1618988 HAS SOUPS 1533517 WITH SCORE 1540860.682
AT ITER 6028 NEW BEST:: SOT 11897627 SOS 7343116 HAS SOPS 6134560 HAS SOUS 1618043 HAS SOUPS 1532572 WITH SCORE 1539915.116
AT ITER 6043 NEW BEST:: SOT 11897657 SOS 7346718 HAS SOPS 6137464 HAS SOUS 1617433 HAS SOUPS 1531962 WITH SCORE 1539308.718
AT ITER 6049 NEW BEST:: SOT 11894435 SOS 7361853 HAS SOPS 6141865 HAS SOUS 1617008 HAS SOUPS 1531113 WITH SCORE 1538474.853
AT ITER 6052 NEW BEST:: SOT 11894755 SOS 7358500 HAS SOPS 6140367 HAS SOUS 1614562 HAS SOUPS 1528779 WITH SCORE 1536137.5
AT ITER 6057 NEW BEST:: SOT 11895096 SOS 7359855 HAS SOPS 6141294 HAS SOUS 1613643 HAS SOUPS 1527696 WITH SCORE 1535055.855
AT ITER 6059 NEW BEST:: SOT 11894014 SOS 7361150 HAS SOPS 6145138 HAS SOUS 1608216 HAS SOUPS 1522333 WITH SCORE 1529694.15
AT ITER 6082 NEW BEST:: SOT 11892866 SOS 7358925 HAS SOPS 6142664 HAS SOUS 1608213 HAS SOUPS 1522330 WITH SCORE 1529688.925
AT ITER 6102 NEW BEST:: SOT 11893054 SOS 7358987 HAS SOPS 6143155 HAS SOUS 1608170 HAS SOUPS 1522287 WITH SCORE 1529645.987
AT ITER 6104 NEW BEST:: SOT 11890440 SOS 7358182 HAS SOPS 6139343 HAS SOUS 1605405 HAS SOUPS 1519427 WITH SCORE 1526785.182
AT ITER 6114 NEW BEST:: SOT 11890338 SOS 7358475 HAS SOPS 6139660 HAS SOUS 1605186 HAS SOUPS 1519208 WITH SCORE 1526566.475
AT ITER 6128 NEW BEST:: SOT 11890398 SOS 7358515 HAS SOPS 6139590 HAS SOUS 1604320 HAS SOUPS 1518342 WITH SCORE 1525700.515
AT ITER 6159 NEW BEST:: SOT 11890439 SOS 7359492 HAS SOPS 6139972 HAS SOUS 1604199 HAS SOUPS 1518180 WITH SCORE 1525539.492
AT ITER 6168 NEW BEST:: SOT 11888577 SOS 7358489 HAS SOPS 6134921 HAS SOUS 1599868 HAS SOUPS 1513849 WITH SCORE 1521207.489
AT ITER 6201 NEW BEST:: SOT 11888217 SOS 7356377 HAS SOPS 6132768 HAS SOUS 1598625 HAS SOUPS 1512606 WITH SCORE 1519962.377
AT ITER 6205 NEW BEST:: SOT 11888207 SOS 7356396 HAS SOPS 6132766 HAS SOUS 1598606 HAS SOUPS 1512586 WITH SCORE 1519942.396
AT ITER 6234 NEW BEST:: SOT 11890210 SOS 7363979 HAS SOPS 6139200 HAS SOUS 1593511 HAS SOUPS 1507493 WITH SCORE 1514856.979
AT ITER 6252 NEW BEST:: SOT 11891741 SOS 7365576 HAS SOPS 6139565 HAS SOUS 1590387 HAS SOUPS 1504321 WITH SCORE 1511686.576
AT ITER 6279 NEW BEST:: SOT 11891548 SOS 7362664 HAS SOPS 6136395 HAS SOUS 1588675 HAS SOUPS 1502641 WITH SCORE 1510003.664
AT ITER 6281 NEW BEST:: SOT 11893328 SOS 7364444 HAS SOPS 6137743 HAS SOUS 1588335 HAS SOUPS 1502301 WITH SCORE 1509665.444
AT ITER 6285 NEW BEST:: SOT 11892929 SOS 7364045 HAS SOPS 6137344 HAS SOUS 1587976 HAS SOUPS 1501942 WITH SCORE 1509306.045
AT ITER 6310 NEW BEST:: SOT 11892856 SOS 7363986 HAS SOPS 6137163 HAS SOUS 1587849 HAS SOUPS 1501815 WITH SCORE 1509178.986
AT ITER 6311 NEW BEST:: SOT 11887003 SOS 7355455 HAS SOPS 6131815 HAS SOUS 1578718 HAS SOUPS 1494081 WITH SCORE 1501436.455
AT ITER 6318 NEW BEST:: SOT 11878498 SOS 7338780 HAS SOPS 6120868 HAS SOUS 1570237 HAS SOUPS 1485785 WITH SCORE 1493123.78
AT ITER 6331 NEW BEST:: SOT 11878337 SOS 7337853 HAS SOPS 6120077 HAS SOUS 1569809 HAS SOUPS 1485391 WITH SCORE 1492728.853
AT ITER 6350 NEW BEST:: SOT 11878145 SOS 7337661 HAS SOPS 6119869 HAS SOUS 1569697 HAS SOUPS 1485279 WITH SCORE 1492616.661
AT ITER 6365 NEW BEST:: SOT 11878082 SOS 7337496 HAS SOPS 6119704 HAS SOUS 1569511 HAS SOUPS 1485093 WITH SCORE 1492430.496
AT ITER 6368 NEW BEST:: SOT 11878074 SOS 7337488 HAS SOPS 6119664 HAS SOUS 1569407 HAS SOUPS 1484989 WITH SCORE 1492326.488
AT ITER 6369 NEW BEST:: SOT 11878110 SOS 7337425 HAS SOPS 6120392 HAS SOUS 1569394 HAS SOUPS 1484976 WITH SCORE 1492313.425
AT ITER 6432 NEW BEST:: SOT 11877789 SOS 7340989 HAS SOPS 6120849 HAS SOUS 1566837 HAS SOUPS 1482419 WITH SCORE 1489759.989
AT ITER 6450 NEW BEST:: SOT 11877501 SOS 7340701 HAS SOPS 6120617 HAS SOUS 1566717 HAS SOUPS 1482331 WITH SCORE 1489671.701
AT ITER 6452 NEW BEST:: SOT 11877434 SOS 7335485 HAS SOPS 6116927 HAS SOUS 1566534 HAS SOUPS 1482148 WITH SCORE 1489483.485
AT ITER 6483 NEW BEST:: SOT 11878255 SOS 7336852 HAS SOPS 6116436 HAS SOUS 1559352 HAS SOUPS 1475041 WITH SCORE 1482377.852
AT ITER 6484 NEW BEST:: SOT 11877992 SOS 7336431 HAS SOPS 6115693 HAS SOUS 1556965 HAS SOUPS 1472654 WITH SCORE 1479990.431
AT ITER 6495 NEW BEST:: SOT 11881598 SOS 7340557 HAS SOPS 6119784 HAS SOUS 1554402 HAS SOUPS 1470174 WITH SCORE 1477514.557
AT ITER 6507 NEW BEST:: SOT 11881416 SOS 7344758 HAS SOPS 6123836 HAS SOUS 1550102 HAS SOUPS 1465874 WITH SCORE 1473218.758
AT ITER 6510 NEW BEST:: SOT 11882006 SOS 7350684 HAS SOPS 6132210 HAS SOUS 1549637 HAS SOUPS 1465409 WITH SCORE 1472759.684
AT ITER 6545 NEW BEST:: SOT 11882000 SOS 7350641 HAS SOPS 6132361 HAS SOUS 1549530 HAS SOUPS 1465302 WITH SCORE 1472652.641
AT ITER 6548 NEW BEST:: SOT 11882206 SOS 7350564 HAS SOPS 6132503 HAS SOUS 1549248 HAS SOUPS 1465020 WITH SCORE 1472370.564
AT ITER 6564 NEW BEST:: SOT 11882198 SOS 7350556 HAS SOPS 6132495 HAS SOUS 1549232 HAS SOUPS 1465004 WITH SCORE 1472354.556
AT ITER 6601 NEW BEST:: SOT 11879182 SOS 7348227 HAS SOPS 6130619 HAS SOUS 1546385 HAS SOUPS 1462184 WITH SCORE 1469532.227
AT ITER 6609 NEW BEST:: SOT 11875500 SOS 7343688 HAS SOPS 6126080 HAS SOUS 1541120 HAS SOUPS 1456919 WITH SCORE 1464262.688
AT ITER 6620 NEW BEST:: SOT 11875196 SOS 7343371 HAS SOPS 6125597 HAS SOUS 1540409 HAS SOUPS 1456203 WITH SCORE 1463546.371
AT ITER 6621 NEW BEST:: SOT 11875548 SOS 7340538 HAS SOPS 6132644 HAS SOUS 1537295 HAS SOUPS 1453445 WITH SCORE 1460785.538
AT ITER 6634 NEW BEST:: SOT 11875343 SOS 7340358 HAS SOPS 6132574 HAS SOUS 1537265 HAS SOUPS 1453415 WITH SCORE 1460755.358
AT ITER 6674 NEW BEST:: SOT 11874693 SOS 7338363 HAS SOPS 6130606 HAS SOUS 1537283 HAS SOUPS 1453416 WITH SCORE 1460754.363
AT ITER 6676 NEW BEST:: SOT 11872895 SOS 7336576 HAS SOPS 6127525 HAS SOUS 1531694 HAS SOUPS 1447937 WITH SCORE 1455273.576
AT ITER 6697 NEW BEST:: SOT 11872815 SOS 7336496 HAS SOPS 6127445 HAS SOUS 1531674 HAS SOUPS 1447917 WITH SCORE 1455253.496
AT ITER 6698 NEW BEST:: SOT 11872700 SOS 7333678 HAS SOPS 6125790 HAS SOUS 1531313 HAS SOUPS 1447556 WITH SCORE 1454889.678
AT ITER 6704 NEW BEST:: SOT 11872681 SOS 7334818 HAS SOPS 6127043 HAS SOUS 1530639 HAS SOUPS 1446882 WITH SCORE 1454216.818
AT ITER 6736 NEW BEST:: SOT 11869045 SOS 7327419 HAS SOPS 6118962 HAS SOUS 1527334 HAS SOUPS 1443577 WITH SCORE 1450904.419
AT ITER 6759 NEW BEST:: SOT 11868969 SOS 7326788 HAS SOPS 6118476 HAS SOUS 1527109 HAS SOUPS 1443366 WITH SCORE 1450692.788
AT ITER 6799 NEW BEST:: SOT 11865910 SOS 7322558 HAS SOPS 6113734 HAS SOUS 1522368 HAS SOUPS 1438857 WITH SCORE 1446179.558
AT ITER 6810 NEW BEST:: SOT 11867946 SOS 7328802 HAS SOPS 6116760 HAS SOUS 1521768 HAS SOUPS 1438172 WITH SCORE 1445500.802
AT ITER 6812 NEW BEST:: SOT 11867463 SOS 7328344 HAS SOPS 6116222 HAS SOUS 1520328 HAS SOUPS 1437073 WITH SCORE 1444401.344
AT ITER 6827 NEW BEST:: SOT 11867127 SOS 7327543 HAS SOPS 6115760 HAS SOUS 1520011 HAS SOUPS 1436832 WITH SCORE 1444159.543
AT ITER 6833 NEW BEST:: SOT 11866140 SOS 7326709 HAS SOPS 6114254 HAS SOUS 1518466 HAS SOUPS 1435050 WITH SCORE 1442376.709
AT ITER 6836 NEW BEST:: SOT 11863839 SOS 7324012 HAS SOPS 6109284 HAS SOUS 1513553 HAS SOUPS 1430169 WITH SCORE 1437493.012
AT ITER 6837 NEW BEST:: SOT 11863668 SOS 7323775 HAS SOPS 6109077 HAS SOUS 1513139 HAS SOUPS 1429758 WITH SCORE 1437081.775
AT ITER 6873 NEW BEST:: SOT 11859189 SOS 7326612 HAS SOPS 6115393 HAS SOUS 1511057 HAS SOUPS 1427676 WITH SCORE 1435002.612
AT ITER 6874 NEW BEST:: SOT 11856802 SOS 7323488 HAS SOPS 6111590 HAS SOUS 1507524 HAS SOUPS 1424114 WITH SCORE 1431437.488
AT ITER 6889 NEW BEST:: SOT 11860323 SOS 7327570 HAS SOPS 6116038 HAS SOUS 1506669 HAS SOUPS 1423312 WITH SCORE 1430639.57
AT ITER 6899 NEW BEST:: SOT 11862679 SOS 7327179 HAS SOPS 6118590 HAS SOUS 1506230 HAS SOUPS 1422973 WITH SCORE 1430300.179
AT ITER 6940 NEW BEST:: SOT 11862484 SOS 7327075 HAS SOPS 6118360 HAS SOUS 1505532 HAS SOUPS 1422275 WITH SCORE 1429602.075
AT ITER 6964 NEW BEST:: SOT 11864566 SOS 7336258 HAS SOPS 6124425 HAS SOUS 1504624 HAS SOUPS 1421291 WITH SCORE 1428627.258
AT ITER 7003 NEW BEST:: SOT 11864792 SOS 7336633 HAS SOPS 6124734 HAS SOUS 1504579 HAS SOUPS 1421246 WITH SCORE 1428582.633
AT ITER 7034 NEW BEST:: SOT 11864752 SOS 7339066 HAS SOPS 6126621 HAS SOUS 1504382 HAS SOUPS 1421049 WITH SCORE 1428388.066
AT ITER 7055 NEW BEST:: SOT 11862884 SOS 7333781 HAS SOPS 6122492 HAS SOUS 1502587 HAS SOUPS 1419292 WITH SCORE 1426625.781
AT ITER 7059 NEW BEST:: SOT 11863818 SOS 7334189 HAS SOPS 6123126 HAS SOUS 1502511 HAS SOUPS 1419216 WITH SCORE 1426550.189
AT ITER 7075 NEW BEST:: SOT 11863953 SOS 7334255 HAS SOPS 6123644 HAS SOUS 1501657 HAS SOUPS 1418362 WITH SCORE 1425696.255
AT ITER 7094 NEW BEST:: SOT 11863986 SOS 7334531 HAS SOPS 6123614 HAS SOUS 1500861 HAS SOUPS 1417592 WITH SCORE 1424926.531
AT ITER 7095 NEW BEST:: SOT 11863945 SOS 7334480 HAS SOPS 6123553 HAS SOUS 1500781 HAS SOUPS 1417507 WITH SCORE 1424841.48
AT ITER 7103 NEW BEST:: SOT 11863883 SOS 7334371 HAS SOPS 6123613 HAS SOUS 1500716 HAS SOUPS 1417448 WITH SCORE 1424782.371
AT ITER 7147 NEW BEST:: SOT 11864341 SOS 7335970 HAS SOPS 6125068 HAS SOUS 1499549 HAS SOUPS 1416292 WITH SCORE 1423627.97
AT ITER 7162 NEW BEST:: SOT 11865336 SOS 7337543 HAS SOPS 6125772 HAS SOUS 1498156 HAS SOUPS 1414899 WITH SCORE 1422236.543
AT ITER 7201 NEW BEST:: SOT 11865336 SOS 7337523 HAS SOPS 6125772 HAS SOUS 1498156 HAS SOUPS 1414899 WITH SCORE 1422236.523
AT ITER 7203 NEW BEST:: SOT 11865834 SOS 7337864 HAS SOPS 6125558 HAS SOUS 1496792 HAS SOUPS 1413535 WITH SCORE 1420872.864
AT ITER 7215 NEW BEST:: SOT 11865352 SOS 7337415 HAS SOPS 6125076 HAS SOUS 1496498 HAS SOUPS 1413228 WITH SCORE 1420565.415
AT ITER 7221 NEW BEST:: SOT 11865466 SOS 7338654 HAS SOPS 6126085 HAS SOUS 1496276 HAS SOUPS 1413006 WITH SCORE 1420344.654
AT ITER 7264 NEW BEST:: SOT 11864776 SOS 7338152 HAS SOPS 6125961 HAS SOUS 1494059 HAS SOUPS 1410765 WITH SCORE 1418103.152
AT ITER 7282 NEW BEST:: SOT 11864821 SOS 7335883 HAS SOPS 6125097 HAS SOUS 1493676 HAS SOUPS 1410382 WITH SCORE 1417717.883
AT ITER 7294 NEW BEST:: SOT 11864762 SOS 7333997 HAS SOPS 6122659 HAS SOUS 1493537 HAS SOUPS 1410243 WITH SCORE 1417576.997
AT ITER 7321 NEW BEST:: SOT 11864450 SOS 7334241 HAS SOPS 6122634 HAS SOUS 1493283 HAS SOUPS 1409989 WITH SCORE 1417323.241
AT ITER 7328 NEW BEST:: SOT 11860714 SOS 7321100 HAS SOPS 6111197 HAS SOUS 1490403 HAS SOUPS 1407109 WITH SCORE 1414430.1
AT ITER 7365 NEW BEST:: SOT 11861982 SOS 7329529 HAS SOPS 6117293 HAS SOUS 1489875 HAS SOUPS 1406581 WITH SCORE 1413910.529
AT ITER 7411 NEW BEST:: SOT 11862007 SOS 7328897 HAS SOPS 6116741 HAS SOUS 1489417 HAS SOUPS 1406149 WITH SCORE 1413477.897
AT ITER 7418 NEW BEST:: SOT 11862909 SOS 7333683 HAS SOPS 6120686 HAS SOUS 1488962 HAS SOUPS 1405680 WITH SCORE 1413013.683
AT ITER 7434 NEW BEST:: SOT 11862969 SOS 7331565 HAS SOPS 6120000 HAS SOUS 1488940 HAS SOUPS 1405658 WITH SCORE 1412989.565
AT ITER 7442 NEW BEST:: SOT 11862154 SOS 7330612 HAS SOPS 6119633 HAS SOUS 1488569 HAS SOUPS 1405319 WITH SCORE 1412649.612
AT ITER 7446 NEW BEST:: SOT 11862669 SOS 7331121 HAS SOPS 6119918 HAS SOUS 1488446 HAS SOUPS 1405164 WITH SCORE 1412495.121
AT ITER 7477 NEW BEST:: SOT 11862093 SOS 7330545 HAS SOPS 6119086 HAS SOUS 1487166 HAS SOUPS 1403884 WITH SCORE 1411214.545
AT ITER 7478 NEW BEST:: SOT 11862100 SOS 7329358 HAS SOPS 6117298 HAS SOUS 1486999 HAS SOUPS 1403717 WITH SCORE 1411046.358
AT ITER 7487 NEW BEST:: SOT 11861652 SOS 7328910 HAS SOPS 6116738 HAS SOUS 1486355 HAS SOUPS 1403073 WITH SCORE 1410401.91
AT ITER 7490 NEW BEST:: SOT 11861537 SOS 7328902 HAS SOPS 6116544 HAS SOUS 1485978 HAS SOUPS 1402696 WITH SCORE 1410024.902
AT ITER 7507 NEW BEST:: SOT 11861606 SOS 7328921 HAS SOPS 6115933 HAS SOUS 1484618 HAS SOUPS 1401336 WITH SCORE 1408664.921
AT ITER 7515 NEW BEST:: SOT 11858757 SOS 7323985 HAS SOPS 6111417 HAS SOUS 1483223 HAS SOUPS 1399941 WITH SCORE 1407264.985
AT ITER 7541 NEW BEST:: SOT 11858409 SOS 7323583 HAS SOPS 6111047 HAS SOUS 1482783 HAS SOUPS 1399505 WITH SCORE 1406828.583
AT ITER 7542 NEW BEST:: SOT 11858277 SOS 7323451 HAS SOPS 6110831 HAS SOUS 1482510 HAS SOUPS 1399232 WITH SCORE 1406555.451
AT ITER 7584 NEW BEST:: SOT 11856230 SOS 7318999 HAS SOPS 6106793 HAS SOUS 1479865 HAS SOUPS 1396618 WITH SCORE 1403936.999
AT ITER 7590 NEW BEST:: SOT 11856586 SOS 7319295 HAS SOPS 6107125 HAS SOUS 1479697 HAS SOUPS 1396450 WITH SCORE 1403769.295
AT ITER 7631 NEW BEST:: SOT 11856305 SOS 7318936 HAS SOPS 6106493 HAS SOUS 1478467 HAS SOUPS 1395233 WITH SCORE 1402551.936
AT ITER 7637 NEW BEST:: SOT 11856051 SOS 7318667 HAS SOPS 6106063 HAS SOUS 1477985 HAS SOUPS 1394745 WITH SCORE 1402063.667
AT ITER 7638 NEW BEST:: SOT 11855343 SOS 7317959 HAS SOPS 6105051 HAS SOUS 1476385 HAS SOUPS 1393145 WITH SCORE 1400462.959
AT ITER 7657 NEW BEST:: SOT 11855302 SOS 7317758 HAS SOPS 6104848 HAS SOUS 1476370 HAS SOUPS 1393130 WITH SCORE 1400447.758
AT ITER 7658 NEW BEST:: SOT 11854851 SOS 7320513 HAS SOPS 6105427 HAS SOUS 1475126 HAS SOUPS 1391886 WITH SCORE 1399206.513
AT ITER 7692 NEW BEST:: SOT 11854892 SOS 7320554 HAS SOPS 6105344 HAS SOUS 1472615 HAS SOUPS 1389491 WITH SCORE 1396811.554
AT ITER 7696 NEW BEST:: SOT 11855219 SOS 7320888 HAS SOPS 6105178 HAS SOUS 1472374 HAS SOUPS 1389280 WITH SCORE 1396600.888
AT ITER 7829 NEW BEST:: SOT 11855656 SOS 7321646 HAS SOPS 6105263 HAS SOUS 1471166 HAS SOUPS 1388072 WITH SCORE 1395393.646
AT ITER 7845 NEW BEST:: SOT 11859589 SOS 7326327 HAS SOPS 6107491 HAS SOUS 1469362 HAS SOUPS 1386197 WITH SCORE 1393523.327
AT ITER 7849 NEW BEST:: SOT 11859431 SOS 7326044 HAS SOPS 6107165 HAS SOUS 1469336 HAS SOUPS 1386166 WITH SCORE 1393492.044
AT ITER 7855 NEW BEST:: SOT 11860592 SOS 7333330 HAS SOPS 6108026 HAS SOUS 1467464 HAS SOUPS 1384166 WITH SCORE 1391499.33
AT ITER 7857 NEW BEST:: SOT 11860598 SOS 7332530 HAS SOPS 6107842 HAS SOUS 1467331 HAS SOUPS 1384033 WITH SCORE 1391365.53
AT ITER 7858 NEW BEST:: SOT 11860619 SOS 7332462 HAS SOPS 6107882 HAS SOUS 1466876 HAS SOUPS 1383578 WITH SCORE 1390910.462
AT ITER 7865 NEW BEST:: SOT 11860507 SOS 7332486 HAS SOPS 6107846 HAS SOUS 1466652 HAS SOUPS 1383354 WITH SCORE 1390686.486
AT ITER 7914 NEW BEST:: SOT 11860267 SOS 7332251 HAS SOPS 6107365 HAS SOUS 1466418 HAS SOUPS 1383060 WITH SCORE 1390392.251
AT ITER 7932 NEW BEST:: SOT 11860135 SOS 7332114 HAS SOPS 6107051 HAS SOUS 1466281 HAS SOUPS 1382906 WITH SCORE 1390238.114
AT ITER 7936 NEW BEST:: SOT 11857695 SOS 7327045 HAS SOPS 6101695 HAS SOUS 1459539 HAS SOUPS 1376208 WITH SCORE 1383535.045
AT ITER 7938 NEW BEST:: SOT 11857483 SOS 7327630 HAS SOPS 6101664 HAS SOUS 1458082 HAS SOUPS 1374751 WITH SCORE 1382078.63
AT ITER 8023 NEW BEST:: SOT 11857917 SOS 7328385 HAS SOPS 6102708 HAS SOUS 1458067 HAS SOUPS 1374736 WITH SCORE 1382064.385
AT ITER 8084 NEW BEST:: SOT 11857909 SOS 7328641 HAS SOPS 6103045 HAS SOUS 1457967 HAS SOUPS 1374636 WITH SCORE 1381964.641
AT ITER 8087 NEW BEST:: SOT 11858481 SOS 7330877 HAS SOPS 6104054 HAS SOUS 1458227 HAS SOUPS 1374607 WITH SCORE 1381937.877
AT ITER 8096 NEW BEST:: SOT 11858757 SOS 7331333 HAS SOPS 6103688 HAS SOUS 1459180 HAS SOUPS 1374543 WITH SCORE 1381874.333
AT ITER 8102 NEW BEST:: SOT 11858092 SOS 7330453 HAS SOPS 6102704 HAS SOUS 1458412 HAS SOUPS 1373775 WITH SCORE 1381105.453
AT ITER 8144 NEW BEST:: SOT 11858159 SOS 7330401 HAS SOPS 6103836 HAS SOUS 1457057 HAS SOUPS 1373012 WITH SCORE 1380342.401
AT ITER 8193 NEW BEST:: SOT 11858285 SOS 7331165 HAS SOPS 6104750 HAS SOUS 1456292 HAS SOUPS 1372265 WITH SCORE 1379596.165
AT ITER 8203 NEW BEST:: SOT 11858220 SOS 7331103 HAS SOPS 6104674 HAS SOUS 1455968 HAS SOUPS 1371941 WITH SCORE 1379272.103
AT ITER 8214 NEW BEST:: SOT 11857938 SOS 7330821 HAS SOPS 6104392 HAS SOUS 1455782 HAS SOUPS 1371755 WITH SCORE 1379085.821
AT ITER 8223 NEW BEST:: SOT 11856976 SOS 7325734 HAS SOPS 6100166 HAS SOUS 1454390 HAS SOUPS 1370363 WITH SCORE 1377688.734
AT ITER 8245 NEW BEST:: SOT 11855745 SOS 7322744 HAS SOPS 6097246 HAS SOUS 1452560 HAS SOUPS 1368554 WITH SCORE 1375876.744
AT ITER 8303 NEW BEST:: SOT 11856669 SOS 7325039 HAS SOPS 6099169 HAS SOUS 1452369 HAS SOUPS 1368363 WITH SCORE 1375688.039
AT ITER 8323 NEW BEST:: SOT 11855446 SOS 7324368 HAS SOPS 6098316 HAS SOUS 1450578 HAS SOUPS 1366572 WITH SCORE 1373896.368
AT ITER 8332 NEW BEST:: SOT 11857335 SOS 7326624 HAS SOPS 6099597 HAS SOUS 1448601 HAS SOUPS 1364538 WITH SCORE 1371864.624
AT ITER 8386 NEW BEST:: SOT 11857327 SOS 7326656 HAS SOPS 6099637 HAS SOUS 1448541 HAS SOUPS 1364478 WITH SCORE 1371804.656
AT ITER 8426 NEW BEST:: SOT 11857147 SOS 7326193 HAS SOPS 6099151 HAS SOUS 1448278 HAS SOUPS 1364215 WITH SCORE 1371541.193
AT ITER 8435 NEW BEST:: SOT 11857234 SOS 7325519 HAS SOPS 6097818 HAS SOUS 1448256 HAS SOUPS 1364193 WITH SCORE 1371518.519
AT ITER 8447 NEW BEST:: SOT 11856490 SOS 7324775 HAS SOPS 6096834 HAS SOUS 1446900 HAS SOUPS 1362837 WITH SCORE 1370161.775
AT ITER 8494 NEW BEST:: SOT 11856522 SOS 7324814 HAS SOPS 6096596 HAS SOUS 1446399 HAS SOUPS 1362336 WITH SCORE 1369660.814
AT ITER 8520 NEW BEST:: SOT 11855454 SOS 7323746 HAS SOPS 6095544 HAS SOUS 1445827 HAS SOUPS 1361764 WITH SCORE 1369087.746
AT ITER 8522 NEW BEST:: SOT 11857549 SOS 7325964 HAS SOPS 6095439 HAS SOUS 1445034 HAS SOUPS 1360735 WITH SCORE 1368060.964
AT ITER 8525 NEW BEST:: SOT 11856504 SOS 7326633 HAS SOPS 6094821 HAS SOUS 1441798 HAS SOUPS 1357499 WITH SCORE 1364825.633
AT ITER 8575 NEW BEST:: SOT 11853415 SOS 7326198 HAS SOPS 6093831 HAS SOUS 1441299 HAS SOUPS 1356945 WITH SCORE 1364271.198
AT ITER 8614 NEW BEST:: SOT 11853170 SOS 7329581 HAS SOPS 6095774 HAS SOUS 1439619 HAS SOUPS 1355265 WITH SCORE 1362594.581
AT ITER 8632 NEW BEST:: SOT 11850465 SOS 7319932 HAS SOPS 6087349 HAS SOUS 1439052 HAS SOUPS 1354732 WITH SCORE 1362051.932
AT ITER 8645 NEW BEST:: SOT 11850290 SOS 7319561 HAS SOPS 6086814 HAS SOUS 1438421 HAS SOUPS 1354101 WITH SCORE 1361420.561
AT ITER 8670 NEW BEST:: SOT 11850733 SOS 7321935 HAS SOPS 6089827 HAS SOUS 1438057 HAS SOUPS 1353737 WITH SCORE 1361058.935
AT ITER 8677 NEW BEST:: SOT 11850664 SOS 7323119 HAS SOPS 6090278 HAS SOUS 1437522 HAS SOUPS 1353179 WITH SCORE 1360502.119
AT ITER 8680 NEW BEST:: SOT 11846134 SOS 7315421 HAS SOPS 6083960 HAS SOUS 1431483 HAS SOUPS 1347140 WITH SCORE 1354455.421
AT ITER 8681 NEW BEST:: SOT 11846151 SOS 7315438 HAS SOPS 6083977 HAS SOUS 1431420 HAS SOUPS 1347077 WITH SCORE 1354392.438
AT ITER 8743 NEW BEST:: SOT 11852525 SOS 7323570 HAS SOPS 6089965 HAS SOUS 1427939 HAS SOUPS 1343471 WITH SCORE 1350794.57
AT ITER 8747 NEW BEST:: SOT 11852294 SOS 7323128 HAS SOPS 6089562 HAS SOUS 1427673 HAS SOUPS 1343205 WITH SCORE 1350528.128
AT ITER 8758 NEW BEST:: SOT 11852326 SOS 7323160 HAS SOPS 6089562 HAS SOUS 1427553 HAS SOUPS 1343085 WITH SCORE 1350408.16
AT ITER 8766 NEW BEST:: SOT 11847582 SOS 7319727 HAS SOPS 6086022 HAS SOUS 1422808 HAS SOUPS 1338330 WITH SCORE 1345649.727
AT ITER 8788 NEW BEST:: SOT 11849474 SOS 7325144 HAS SOPS 6092079 HAS SOUS 1422724 HAS SOUPS 1338246 WITH SCORE 1345571.144
AT ITER 8789 NEW BEST:: SOT 11848193 SOS 7323765 HAS SOPS 6090606 HAS SOUS 1421099 HAS SOUPS 1336621 WITH SCORE 1343944.765
AT ITER 8846 NEW BEST:: SOT 11846653 SOS 7322308 HAS SOPS 6089522 HAS SOUS 1420293 HAS SOUPS 1335815 WITH SCORE 1343137.308
AT ITER 8847 NEW BEST:: SOT 11847204 SOS 7322012 HAS SOPS 6087454 HAS SOUS 1414866 HAS SOUPS 1330334 WITH SCORE 1337656.012
AT ITER 8868 NEW BEST:: SOT 11846324 SOS 7320754 HAS SOPS 6086322 HAS SOUS 1413897 HAS SOUPS 1329374 WITH SCORE 1336694.754
AT ITER 8895 NEW BEST:: SOT 11844801 SOS 7315291 HAS SOPS 6080731 HAS SOUS 1412940 HAS SOUPS 1328417 WITH SCORE 1335732.291
AT ITER 8898 NEW BEST:: SOT 11843690 SOS 7317330 HAS SOPS 6078416 HAS SOUS 1409059 HAS SOUPS 1324453 WITH SCORE 1331770.33
AT ITER 8914 NEW BEST:: SOT 11843651 SOS 7317291 HAS SOPS 6078361 HAS SOUS 1408964 HAS SOUPS 1324358 WITH SCORE 1331675.291
AT ITER 8915 NEW BEST:: SOT 11840988 SOS 7314628 HAS SOPS 6075698 HAS SOUS 1406569 HAS SOUPS 1321963 WITH SCORE 1329277.628
AT ITER 8959 NEW BEST:: SOT 11843529 SOS 7317688 HAS SOPS 6077331 HAS SOUS 1404732 HAS SOUPS 1320126 WITH SCORE 1327443.688
AT ITER 8962 NEW BEST:: SOT 11842971 SOS 7317666 HAS SOPS 6077070 HAS SOUS 1401313 HAS SOUPS 1316707 WITH SCORE 1324024.666
AT ITER 8975 NEW BEST:: SOT 11841794 SOS 7315737 HAS SOPS 6075125 HAS SOUS 1399409 HAS SOUPS 1314803 WITH SCORE 1322118.737
AT ITER 9051 NEW BEST:: SOT 11842447 SOS 7317217 HAS SOPS 6077314 HAS SOUS 1399362 HAS SOUPS 1314796 WITH SCORE 1322113.217
AT ITER 9068 NEW BEST:: SOT 11842221 SOS 7312498 HAS SOPS 6069472 HAS SOUS 1393657 HAS SOUPS 1309091 WITH SCORE 1316403.498
AT ITER 9080 NEW BEST:: SOT 11842130 SOS 7312327 HAS SOPS 6069292 HAS SOUS 1393606 HAS SOUPS 1309040 WITH SCORE 1316352.327
AT ITER 9114 NEW BEST:: SOT 11843189 SOS 7315649 HAS SOPS 6068976 HAS SOUS 1392675 HAS SOUPS 1308109 WITH SCORE 1315424.649
AT ITER 9132 NEW BEST:: SOT 11843161 SOS 7315388 HAS SOPS 6068685 HAS SOUS 1392454 HAS SOUPS 1307888 WITH SCORE 1315203.388
AT ITER 9149 NEW BEST:: SOT 11842122 SOS 7314756 HAS SOPS 6069974 HAS SOUS 1389322 HAS SOUPS 1304756 WITH SCORE 1312070.756
AT ITER 9192 NEW BEST:: SOT 11841203 SOS 7311499 HAS SOPS 6066451 HAS SOUS 1388651 HAS SOUPS 1304085 WITH SCORE 1311396.499
AT ITER 9248 NEW BEST:: SOT 11838956 SOS 7309210 HAS SOPS 6063052 HAS SOUS 1385765 HAS SOUPS 1301199 WITH SCORE 1308508.21
AT ITER 9277 NEW BEST:: SOT 11839022 SOS 7308501 HAS SOPS 6062437 HAS SOUS 1385705 HAS SOUPS 1301139 WITH SCORE 1308447.501
AT ITER 9324 NEW BEST:: SOT 11838826 SOS 7308247 HAS SOPS 6062397 HAS SOUS 1384374 HAS SOUPS 1299808 WITH SCORE 1307116.247
AT ITER 9335 NEW BEST:: SOT 11834273 SOS 7303748 HAS SOPS 6059937 HAS SOUS 1382108 HAS SOUPS 1299637 WITH SCORE 1306940.748
AT ITER 9343 NEW BEST:: SOT 11834814 SOS 7303048 HAS SOPS 6059131 HAS SOUS 1381722 HAS SOUPS 1299251 WITH SCORE 1306554.048
AT ITER 9350 NEW BEST:: SOT 11835040 SOS 7304187 HAS SOPS 6059464 HAS SOUS 1380575 HAS SOUPS 1298104 WITH SCORE 1305408.187
AT ITER 9363 NEW BEST:: SOT 11835220 SOS 7304375 HAS SOPS 6059782 HAS SOUS 1380561 HAS SOUPS 1298090 WITH SCORE 1305394.375
AT ITER 9390 NEW BEST:: SOT 11835060 SOS 7304270 HAS SOPS 6059677 HAS SOUS 1380414 HAS SOUPS 1297943 WITH SCORE 1305247.27
AT ITER 9395 NEW BEST:: SOT 11834776 SOS 7304059 HAS SOPS 6059333 HAS SOUS 1379505 HAS SOUPS 1297042 WITH SCORE 1304346.059
AT ITER 9427 NEW BEST:: SOT 11834766 SOS 7303661 HAS SOPS 6059021 HAS SOUS 1379430 HAS SOUPS 1296967 WITH SCORE 1304270.661
AT ITER 9450 NEW BEST:: SOT 11835234 SOS 7304578 HAS SOPS 6059038 HAS SOUS 1378321 HAS SOUPS 1295806 WITH SCORE 1303110.578
AT ITER 9455 NEW BEST:: SOT 11831741 SOS 7298915 HAS SOPS 6052923 HAS SOUS 1371696 HAS SOUPS 1289223 WITH SCORE 1296521.915
AT ITER 9465 NEW BEST:: SOT 11831579 SOS 7298679 HAS SOPS 6052637 HAS SOUS 1371439 HAS SOUPS 1288966 WITH SCORE 1296264.679
AT ITER 9472 NEW BEST:: SOT 11831556 SOS 7298638 HAS SOPS 6052580 HAS SOUS 1371403 HAS SOUPS 1288930 WITH SCORE 1296228.638
AT ITER 9494 NEW BEST:: SOT 11832776 SOS 7296326 HAS SOPS 6051556 HAS SOUS 1370228 HAS SOUPS 1288067 WITH SCORE 1295363.326
AT ITER 9519 NEW BEST:: SOT 11832553 SOS 7296803 HAS SOPS 6048035 HAS SOUS 1365609 HAS SOUPS 1283448 WITH SCORE 1290744.803
AT ITER 9524 NEW BEST:: SOT 11832521 SOS 7298535 HAS SOPS 6047292 HAS SOUS 1365403 HAS SOUPS 1283242 WITH SCORE 1290540.535
AT ITER 9607 NEW BEST:: SOT 11832071 SOS 7298085 HAS SOPS 6046986 HAS SOUS 1365193 HAS SOUPS 1283176 WITH SCORE 1290474.085
AT ITER 9611 NEW BEST:: SOT 11832220 SOS 7298314 HAS SOPS 6047208 HAS SOUS 1364716 HAS SOUPS 1282699 WITH SCORE 1289997.314
AT ITER 9639 NEW BEST:: SOT 11832208 SOS 7293121 HAS SOPS 6046075 HAS SOUS 1364554 HAS SOUPS 1282650 WITH SCORE 1289943.121
AT ITER 9652 NEW BEST:: SOT 11832553 SOS 7293291 HAS SOPS 6048750 HAS SOUS 1362651 HAS SOUPS 1280888 WITH SCORE 1288181.291
AT ITER 9683 NEW BEST:: SOT 11832754 SOS 7292542 HAS SOPS 6048447 HAS SOUS 1362419 HAS SOUPS 1280668 WITH SCORE 1287960.542
AT ITER 9691 NEW BEST:: SOT 11832514 SOS 7291983 HAS SOPS 6047927 HAS SOUS 1362008 HAS SOUPS 1280262 WITH SCORE 1287553.983
AT ITER 9707 NEW BEST:: SOT 11831687 SOS 7292547 HAS SOPS 6047678 HAS SOUS 1359756 HAS SOUPS 1277967 WITH SCORE 1285259.547
AT ITER 9740 NEW BEST:: SOT 11831367 SOS 7293569 HAS SOPS 6047612 HAS SOUS 1358429 HAS SOUPS 1276623 WITH SCORE 1283916.569
AT ITER 9741 NEW BEST:: SOT 11830579 SOS 7289984 HAS SOPS 6045115 HAS SOUS 1357462 HAS SOUPS 1275720 WITH SCORE 1283009.984
AT ITER 9796 NEW BEST:: SOT 11828363 SOS 7285849 HAS SOPS 6041785 HAS SOUS 1353320 HAS SOUPS 1271578 WITH SCORE 1278863.849
AT ITER 9844 NEW BEST:: SOT 11828638 SOS 7286298 HAS SOPS 6041139 HAS SOUS 1352563 HAS SOUPS 1270821 WITH SCORE 1278107.298
AT ITER 9917 NEW BEST:: SOT 11828579 SOS 7286227 HAS SOPS 6041042 HAS SOUS 1352528 HAS SOUPS 1270786 WITH SCORE 1278072.227
AT ITER 9946 NEW BEST:: SOT 11828491 SOS 7286289 HAS SOPS 6040988 HAS SOUS 1352482 HAS SOUPS 1270735 WITH SCORE 1278021.289
AT ITER 9951 NEW BEST:: SOT 11828001 SOS 7286996 HAS SOPS 6040721 HAS SOUS 1351671 HAS SOUPS 1269924 WITH SCORE 1277210.996
AT ITER 9973 NEW BEST:: SOT 11825618 SOS 7285583 HAS SOPS 6036986 HAS SOUS 1350972 HAS SOUPS 1269440 WITH SCORE 1276725.583
AT ITER 9981 NEW BEST:: SOT 11825503 SOS 7285213 HAS SOPS 6036411 HAS SOUS 1350722 HAS SOUPS 1269190 WITH SCORE 1276475.213
AT ITER 9983 NEW BEST:: SOT 11825514 SOS 7284924 HAS SOPS 6036694 HAS SOUS 1350591 HAS SOUPS 1269076 WITH SCORE 1276360.924
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14753536 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16074692 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb113-PT-3"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is RERS17pb113-PT-3, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889203900024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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