About the Execution of Smart+red for RERS17pb113-PT-9
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1714.668 | 3600000.00 | 3680605.00 | 8316.60 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r331-tall-167889204000072.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-9, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204000072
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.4K Feb 26 18:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 18:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 18:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 18:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 18:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 18:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 18:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 18:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 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 1679055124071
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-9
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 12:12:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 12:12:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 12:12:06] [INFO ] Load time of PNML (sax parser for PT used): 610 ms
[2023-03-17 12:12:06] [INFO ] Transformed 639 places.
[2023-03-17 12:12:06] [INFO ] Transformed 31353 transitions.
[2023-03-17 12:12:06] [INFO ] Parsed PT model containing 639 places and 31353 transitions and 125418 arcs in 843 ms.
[2023-03-17 12:12:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 639 places, 31353 transitions and 125418 arcs took 140 ms.
Total runtime 1047 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 9
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 3 NEW BEST:: SOT 12204737 SOS 7764982 HAS SOPS 6434784 HAS SOUS 3041505 HAS SOUPS 2941224 WITH SCORE 2948988.982
AT ITER 4 NEW BEST:: SOT 12204407 SOS 7765400 HAS SOPS 6434805 HAS SOUS 3041497 HAS SOUPS 2941216 WITH SCORE 2948981.4
AT ITER 11 NEW BEST:: SOT 12203934 SOS 7764660 HAS SOPS 6433694 HAS SOUS 3039867 HAS SOUPS 2939586 WITH SCORE 2947350.66
AT ITER 30 NEW BEST:: SOT 12203809 SOS 7764414 HAS SOPS 6433379 HAS SOUS 3039482 HAS SOUPS 2939201 WITH SCORE 2946965.414
AT ITER 31 NEW BEST:: SOT 12199965 SOS 7757419 HAS SOPS 6426686 HAS SOUS 3029523 HAS SOUPS 2929462 WITH SCORE 2937219.419
AT ITER 36 NEW BEST:: SOT 12199699 SOS 7757163 HAS SOPS 6426255 HAS SOUS 3028927 HAS SOUPS 2928866 WITH SCORE 2936623.163
AT ITER 51 NEW BEST:: SOT 12197132 SOS 7755571 HAS SOPS 6423744 HAS SOUS 3026140 HAS SOUPS 2926035 WITH SCORE 2933790.571
AT ITER 66 NEW BEST:: SOT 12197124 SOS 7755563 HAS SOPS 6423736 HAS SOUS 3026068 HAS SOUPS 2925963 WITH SCORE 2933718.563
AT ITER 71 NEW BEST:: SOT 12197339 SOS 7759076 HAS SOPS 6427819 HAS SOUS 3026018 HAS SOUPS 2925913 WITH SCORE 2933672.076
AT ITER 86 NEW BEST:: SOT 12199372 SOS 7760239 HAS SOPS 6432337 HAS SOUS 3024680 HAS SOUPS 2924994 WITH SCORE 2932754.239
AT ITER 91 NEW BEST:: SOT 12198297 SOS 7761311 HAS SOPS 6431821 HAS SOUS 3019523 HAS SOUPS 2919837 WITH SCORE 2927598.311
AT ITER 94 NEW BEST:: SOT 12194772 SOS 7756860 HAS SOPS 6429660 HAS SOUS 3006414 HAS SOUPS 2908197 WITH SCORE 2915953.86
AT ITER 96 NEW BEST:: SOT 12193611 SOS 7755711 HAS SOPS 6428468 HAS SOUS 3005356 HAS SOUPS 2907106 WITH SCORE 2914861.711
AT ITER 113 NEW BEST:: SOT 12192806 SOS 7754604 HAS SOPS 6427817 HAS SOUS 3004059 HAS SOUPS 2905809 WITH SCORE 2913563.604
AT ITER 118 NEW BEST:: SOT 12187993 SOS 7745113 HAS SOPS 6423453 HAS SOUS 2999978 HAS SOUPS 2902279 WITH SCORE 2910024.113
AT ITER 127 NEW BEST:: SOT 12176999 SOS 7734119 HAS SOPS 6411867 HAS SOUS 2986564 HAS SOUPS 2888721 WITH SCORE 2896455.119
AT ITER 132 NEW BEST:: SOT 12176908 SOS 7734064 HAS SOPS 6411779 HAS SOUS 2986341 HAS SOUPS 2888498 WITH SCORE 2896232.064
AT ITER 139 NEW BEST:: SOT 12176559 SOS 7732374 HAS SOPS 6412227 HAS SOUS 2986293 HAS SOUPS 2888486 WITH SCORE 2896218.374
AT ITER 145 NEW BEST:: SOT 12176340 SOS 7733125 HAS SOPS 6412589 HAS SOUS 2985290 HAS SOUPS 2887483 WITH SCORE 2895216.125
AT ITER 151 NEW BEST:: SOT 12176832 SOS 7735831 HAS SOPS 6422420 HAS SOUS 2984674 HAS SOUPS 2886867 WITH SCORE 2894602.831
AT ITER 160 NEW BEST:: SOT 12176052 SOS 7735054 HAS SOPS 6421412 HAS SOUS 2982949 HAS SOUPS 2885151 WITH SCORE 2892886.054
AT ITER 163 NEW BEST:: SOT 12175841 SOS 7734724 HAS SOPS 6421371 HAS SOUS 2982592 HAS SOUPS 2884794 WITH SCORE 2892528.724
AT ITER 170 NEW BEST:: SOT 12173927 SOS 7730043 HAS SOPS 6415400 HAS SOUS 2975403 HAS SOUPS 2877668 WITH SCORE 2885398.043
AT ITER 174 NEW BEST:: SOT 12173875 SOS 7730115 HAS SOPS 6415407 HAS SOUS 2974621 HAS SOUPS 2876886 WITH SCORE 2884616.115
AT ITER 184 NEW BEST:: SOT 12173670 SOS 7728608 HAS SOPS 6413741 HAS SOUS 2974197 HAS SOUPS 2876462 WITH SCORE 2884190.608
AT ITER 190 NEW BEST:: SOT 12197011 SOS 7773240 HAS SOPS 6458841 HAS SOUS 2971694 HAS SOUPS 2874074 WITH SCORE 2881847.24
AT ITER 195 NEW BEST:: SOT 12187852 SOS 7764081 HAS SOPS 6448962 HAS SOUS 2958679 HAS SOUPS 2861011 WITH SCORE 2868775.081
AT ITER 204 NEW BEST:: SOT 12187559 SOS 7763646 HAS SOPS 6448514 HAS SOUS 2958150 HAS SOUPS 2860482 WITH SCORE 2868245.646
AT ITER 225 NEW BEST:: SOT 12186083 SOS 7762566 HAS SOPS 6446357 HAS SOUS 2954493 HAS SOUPS 2856815 WITH SCORE 2864577.566
AT ITER 232 NEW BEST:: SOT 12186105 SOS 7762588 HAS SOPS 6446379 HAS SOUS 2954339 HAS SOUPS 2856661 WITH SCORE 2864423.588
AT ITER 234 NEW BEST:: SOT 12189042 SOS 7773058 HAS SOPS 6452858 HAS SOUS 2948698 HAS SOUPS 2851020 WITH SCORE 2858793.058
AT ITER 247 NEW BEST:: SOT 12188143 SOS 7769735 HAS SOPS 6450814 HAS SOUS 2941469 HAS SOUPS 2844639 WITH SCORE 2852408.735
AT ITER 248 NEW BEST:: SOT 12187756 SOS 7768986 HAS SOPS 6450443 HAS SOUS 2941136 HAS SOUPS 2844324 WITH SCORE 2852092.986
AT ITER 252 NEW BEST:: SOT 12187698 SOS 7768836 HAS SOPS 6450492 HAS SOUS 2940572 HAS SOUPS 2843760 WITH SCORE 2851528.836
AT ITER 256 NEW BEST:: SOT 12185076 SOS 7764745 HAS SOPS 6447214 HAS SOUS 2938047 HAS SOUPS 2841235 WITH SCORE 2848999.745
AT ITER 265 NEW BEST:: SOT 12186166 SOS 7771020 HAS SOPS 6456509 HAS SOUS 2936048 HAS SOUPS 2839236 WITH SCORE 2847007.02
AT ITER 274 NEW BEST:: SOT 12184735 SOS 7772467 HAS SOPS 6454138 HAS SOUS 2932615 HAS SOUPS 2834891 WITH SCORE 2842663.467
AT ITER 278 NEW BEST:: SOT 12189967 SOS 7785828 HAS SOPS 6466969 HAS SOUS 2931761 HAS SOUPS 2834032 WITH SCORE 2841817.828
AT ITER 279 NEW BEST:: SOT 12209840 SOS 7816614 HAS SOPS 6494947 HAS SOUS 2925289 HAS SOUPS 2827536 WITH SCORE 2835352.614
AT ITER 286 NEW BEST:: SOT 12209020 SOS 7816036 HAS SOPS 6494437 HAS SOUS 2924395 HAS SOUPS 2826662 WITH SCORE 2834478.036
AT ITER 292 NEW BEST:: SOT 12200530 SOS 7807546 HAS SOPS 6485563 HAS SOUS 2913493 HAS SOUPS 2815760 WITH SCORE 2823567.546
AT ITER 295 NEW BEST:: SOT 12197528 SOS 7803608 HAS SOPS 6481029 HAS SOUS 2905714 HAS SOUPS 2808047 WITH SCORE 2815850.608
AT ITER 296 NEW BEST:: SOT 12196392 SOS 7802630 HAS SOPS 6480227 HAS SOUS 2903298 HAS SOUPS 2805608 WITH SCORE 2813410.63
AT ITER 298 NEW BEST:: SOT 12187385 SOS 7793271 HAS SOPS 6470249 HAS SOUS 2892880 HAS SOUPS 2795018 WITH SCORE 2802811.271
AT ITER 301 NEW BEST:: SOT 12187772 SOS 7795396 HAS SOPS 6471335 HAS SOUS 2892849 HAS SOUPS 2794987 WITH SCORE 2802782.396
AT ITER 302 NEW BEST:: SOT 12186466 SOS 7794096 HAS SOPS 6469383 HAS SOUS 2890198 HAS SOUPS 2792336 WITH SCORE 2800130.096
AT ITER 312 NEW BEST:: SOT 12114765 SOS 7689348 HAS SOPS 6363503 HAS SOUS 2813617 HAS SOUPS 2715554 WITH SCORE 2723243.348
AT ITER 328 NEW BEST:: SOT 12115082 SOS 7689875 HAS SOPS 6364007 HAS SOUS 2813080 HAS SOUPS 2715013 WITH SCORE 2722702.875
AT ITER 338 NEW BEST:: SOT 12114415 SOS 7686983 HAS SOPS 6361491 HAS SOUS 2812407 HAS SOUPS 2714340 WITH SCORE 2722026.983
AT ITER 342 NEW BEST:: SOT 12114647 SOS 7690313 HAS SOPS 6364862 HAS SOUS 2809845 HAS SOUPS 2711778 WITH SCORE 2719468.313
AT ITER 343 NEW BEST:: SOT 12109175 SOS 7680635 HAS SOPS 6358172 HAS SOUS 2797186 HAS SOUPS 2700028 WITH SCORE 2707708.635
AT ITER 365 NEW BEST:: SOT 12109117 SOS 7680577 HAS SOPS 6358114 HAS SOUS 2797128 HAS SOUPS 2699970 WITH SCORE 2707650.577
AT ITER 367 NEW BEST:: SOT 12109599 SOS 7683876 HAS SOPS 6360183 HAS SOUS 2796343 HAS SOUPS 2699185 WITH SCORE 2706868.876
AT ITER 395 NEW BEST:: SOT 12111033 SOS 7685884 HAS SOPS 6363015 HAS SOUS 2794538 HAS SOUPS 2697615 WITH SCORE 2705300.884
AT ITER 397 NEW BEST:: SOT 12111235 SOS 7686326 HAS SOPS 6363442 HAS SOUS 2794500 HAS SOUPS 2697577 WITH SCORE 2705263.326
AT ITER 399 NEW BEST:: SOT 12110695 SOS 7685364 HAS SOPS 6362032 HAS SOUS 2793009 HAS SOUPS 2696086 WITH SCORE 2703771.364
AT ITER 421 NEW BEST:: SOT 12115592 SOS 7693662 HAS SOPS 6368159 HAS SOUS 2790927 HAS SOUPS 2694004 WITH SCORE 2701697.662
AT ITER 427 NEW BEST:: SOT 12114596 SOS 7692518 HAS SOPS 6365985 HAS SOUS 2788165 HAS SOUPS 2691242 WITH SCORE 2698934.518
AT ITER 431 NEW BEST:: SOT 12122976 SOS 7718118 HAS SOPS 6395303 HAS SOUS 2785328 HAS SOUPS 2688405 WITH SCORE 2696123.118
AT ITER 456 NEW BEST:: SOT 12120419 SOS 7719247 HAS SOPS 6396641 HAS SOUS 2777204 HAS SOUPS 2680282 WITH SCORE 2688001.247
AT ITER 463 NEW BEST:: SOT 12117484 SOS 7714130 HAS SOPS 6391989 HAS SOUS 2773812 HAS SOUPS 2676941 WITH SCORE 2684655.13
AT ITER 476 NEW BEST:: SOT 12117374 SOS 7714218 HAS SOPS 6392095 HAS SOUS 2773519 HAS SOUPS 2676648 WITH SCORE 2684362.218
AT ITER 478 NEW BEST:: SOT 12115946 SOS 7711858 HAS SOPS 6388964 HAS SOUS 2770867 HAS SOUPS 2673996 WITH SCORE 2681707.858
AT ITER 485 NEW BEST:: SOT 12121478 SOS 7729298 HAS SOPS 6402554 HAS SOUS 2762137 HAS SOUPS 2665326 WITH SCORE 2673055.298
AT ITER 488 NEW BEST:: SOT 12121405 SOS 7730571 HAS SOPS 6401440 HAS SOUS 2758462 HAS SOUPS 2661651 WITH SCORE 2669381.571
AT ITER 498 NEW BEST:: SOT 12122212 SOS 7731164 HAS SOPS 6401770 HAS SOUS 2758187 HAS SOUPS 2661349 WITH SCORE 2669080.164
AT ITER 501 NEW BEST:: SOT 12121912 SOS 7730474 HAS SOPS 6401166 HAS SOUS 2757885 HAS SOUPS 2661047 WITH SCORE 2668777.474
AT ITER 509 NEW BEST:: SOT 12120922 SOS 7729195 HAS SOPS 6400801 HAS SOUS 2757609 HAS SOUPS 2660771 WITH SCORE 2668500.195
AT ITER 527 NEW BEST:: SOT 12114610 SOS 7721306 HAS SOPS 6394846 HAS SOUS 2742851 HAS SOUPS 2646123 WITH SCORE 2653844.306
AT ITER 528 NEW BEST:: SOT 12113222 SOS 7719333 HAS SOPS 6392883 HAS SOUS 2741508 HAS SOUPS 2644780 WITH SCORE 2652499.333
AT ITER 529 NEW BEST:: SOT 12112939 SOS 7719026 HAS SOPS 6392588 HAS SOUS 2740865 HAS SOUPS 2644141 WITH SCORE 2651860.026
AT ITER 538 NEW BEST:: SOT 12112893 SOS 7718922 HAS SOPS 6392459 HAS SOUS 2740783 HAS SOUPS 2644059 WITH SCORE 2651777.922
AT ITER 541 NEW BEST:: SOT 12110437 SOS 7716466 HAS SOPS 6390003 HAS SOUS 2738935 HAS SOUPS 2642211 WITH SCORE 2649927.466
AT ITER 561 NEW BEST:: SOT 12109300 SOS 7715389 HAS SOPS 6389696 HAS SOUS 2737084 HAS SOUPS 2640362 WITH SCORE 2648077.389
AT ITER 564 NEW BEST:: SOT 12108149 SOS 7712292 HAS SOPS 6386223 HAS SOUS 2735401 HAS SOUPS 2638679 WITH SCORE 2646391.292
AT ITER 579 NEW BEST:: SOT 12108506 SOS 7713856 HAS SOPS 6386966 HAS SOUS 2734889 HAS SOUPS 2638167 WITH SCORE 2645880.856
AT ITER 580 NEW BEST:: SOT 12108525 SOS 7713890 HAS SOPS 6386945 HAS SOUS 2734874 HAS SOUPS 2638152 WITH SCORE 2645865.89
AT ITER 583 NEW BEST:: SOT 12106384 SOS 7712386 HAS SOPS 6383061 HAS SOUS 2727746 HAS SOUPS 2631001 WITH SCORE 2638713.386
AT ITER 590 NEW BEST:: SOT 12105712 SOS 7711714 HAS SOPS 6382037 HAS SOUS 2725566 HAS SOUPS 2628677 WITH SCORE 2636388.714
AT ITER 591 NEW BEST:: SOT 12106006 SOS 7712034 HAS SOPS 6381956 HAS SOUS 2722626 HAS SOUPS 2625783 WITH SCORE 2633495.034
AT ITER 611 NEW BEST:: SOT 12101729 SOS 7704822 HAS SOPS 6378249 HAS SOUS 2718599 HAS SOUPS 2621756 WITH SCORE 2629460.822
AT ITER 616 NEW BEST:: SOT 12099058 SOS 7697211 HAS SOPS 6370557 HAS SOUS 2715169 HAS SOUPS 2618440 WITH SCORE 2626137.211
AT ITER 618 NEW BEST:: SOT 12098720 SOS 7696870 HAS SOPS 6370039 HAS SOUS 2714431 HAS SOUPS 2617702 WITH SCORE 2625398.87
AT ITER 622 NEW BEST:: SOT 12099414 SOS 7699667 HAS SOPS 6376778 HAS SOUS 2714424 HAS SOUPS 2617695 WITH SCORE 2625394.667
AT ITER 628 NEW BEST:: SOT 12098821 SOS 7698544 HAS SOPS 6375656 HAS SOUS 2713370 HAS SOUPS 2616649 WITH SCORE 2624347.544
AT ITER 649 NEW BEST:: SOT 12096597 SOS 7693118 HAS SOPS 6372966 HAS SOUS 2705355 HAS SOUPS 2609190 WITH SCORE 2616883.118
AT ITER 651 NEW BEST:: SOT 12096400 SOS 7693121 HAS SOPS 6372594 HAS SOUS 2704310 HAS SOUPS 2608145 WITH SCORE 2615838.121
AT ITER 662 NEW BEST:: SOT 12086408 SOS 7681183 HAS SOPS 6360454 HAS SOUS 2693065 HAS SOUPS 2596866 WITH SCORE 2604547.183
AT ITER 668 NEW BEST:: SOT 12086223 SOS 7681174 HAS SOPS 6359972 HAS SOUS 2691255 HAS SOUPS 2595056 WITH SCORE 2602737.174
AT ITER 672 NEW BEST:: SOT 12086691 SOS 7683401 HAS SOPS 6363028 HAS SOUS 2687574 HAS SOUPS 2591375 WITH SCORE 2599058.401
AT ITER 675 NEW BEST:: SOT 12087469 SOS 7686263 HAS SOPS 6364763 HAS SOUS 2685636 HAS SOUPS 2589437 WITH SCORE 2597123.263
AT ITER 683 NEW BEST:: SOT 12086869 SOS 7685670 HAS SOPS 6363738 HAS SOUS 2683496 HAS SOUPS 2587265 WITH SCORE 2594950.67
AT ITER 686 NEW BEST:: SOT 12086503 SOS 7685296 HAS SOPS 6363223 HAS SOUS 2682631 HAS SOUPS 2586400 WITH SCORE 2594085.296
AT ITER 694 NEW BEST:: SOT 12086358 SOS 7685175 HAS SOPS 6363006 HAS SOUS 2682302 HAS SOUPS 2586067 WITH SCORE 2593752.175
AT ITER 701 NEW BEST:: SOT 12083882 SOS 7681510 HAS SOPS 6360043 HAS SOUS 2677820 HAS SOUPS 2581757 WITH SCORE 2589438.51
AT ITER 709 NEW BEST:: SOT 12083712 SOS 7680926 HAS SOPS 6359842 HAS SOUS 2677288 HAS SOUPS 2581225 WITH SCORE 2588905.926
AT ITER 710 NEW BEST:: SOT 12082539 SOS 7679891 HAS SOPS 6358508 HAS SOUS 2674742 HAS SOUPS 2578679 WITH SCORE 2586358.891
AT ITER 714 NEW BEST:: SOT 12082628 SOS 7680606 HAS SOPS 6359293 HAS SOUS 2674634 HAS SOUPS 2578571 WITH SCORE 2586251.606
AT ITER 717 NEW BEST:: SOT 12085302 SOS 7685706 HAS SOPS 6364601 HAS SOUS 2672883 HAS SOUPS 2576820 WITH SCORE 2584505.706
AT ITER 719 NEW BEST:: SOT 12085040 SOS 7687995 HAS SOPS 6366718 HAS SOUS 2669437 HAS SOUPS 2573374 WITH SCORE 2581061.995
AT ITER 727 NEW BEST:: SOT 12085046 SOS 7686523 HAS SOPS 6366486 HAS SOUS 2668982 HAS SOUPS 2572921 WITH SCORE 2580607.523
AT ITER 762 NEW BEST:: SOT 12084785 SOS 7686381 HAS SOPS 6367794 HAS SOUS 2667638 HAS SOUPS 2571553 WITH SCORE 2579239.381
AT ITER 774 NEW BEST:: SOT 12084426 SOS 7687094 HAS SOPS 6368707 HAS SOUS 2666609 HAS SOUPS 2570524 WITH SCORE 2578211.094
AT ITER 789 NEW BEST:: SOT 12084430 SOS 7687079 HAS SOPS 6368692 HAS SOUS 2666381 HAS SOUPS 2570296 WITH SCORE 2577983.079
AT ITER 807 NEW BEST:: SOT 12083017 SOS 7686862 HAS SOPS 6368083 HAS SOUS 2662204 HAS SOUPS 2566119 WITH SCORE 2573805.862
AT ITER 811 NEW BEST:: SOT 12083871 SOS 7682616 HAS SOPS 6366990 HAS SOUS 2660998 HAS SOUPS 2565740 WITH SCORE 2573422.616
AT ITER 812 NEW BEST:: SOT 12083454 SOS 7682207 HAS SOPS 6365877 HAS SOUS 2659649 HAS SOUPS 2564391 WITH SCORE 2572073.207
AT ITER 814 NEW BEST:: SOT 12083454 SOS 7682207 HAS SOPS 6365877 HAS SOUS 2659637 HAS SOUPS 2564379 WITH SCORE 2572061.207
AT ITER 821 NEW BEST:: SOT 12083626 SOS 7682407 HAS SOPS 6365677 HAS SOUS 2657953 HAS SOUPS 2562695 WITH SCORE 2570377.407
AT ITER 825 NEW BEST:: SOT 12083931 SOS 7682972 HAS SOPS 6366073 HAS SOUS 2657560 HAS SOUPS 2562315 WITH SCORE 2569997.972
AT ITER 831 NEW BEST:: SOT 12081498 SOS 7679001 HAS SOPS 6359606 HAS SOUS 2652033 HAS SOUPS 2556788 WITH SCORE 2564467.001
AT ITER 838 NEW BEST:: SOT 12081497 SOS 7679373 HAS SOPS 6359729 HAS SOUS 2650743 HAS SOUPS 2555498 WITH SCORE 2563177.373
AT ITER 842 NEW BEST:: SOT 12081381 SOS 7679225 HAS SOPS 6359513 HAS SOUS 2650623 HAS SOUPS 2555378 WITH SCORE 2563057.225
AT ITER 844 NEW BEST:: SOT 12080378 SOS 7677287 HAS SOPS 6357385 HAS SOUS 2649084 HAS SOUPS 2553869 WITH SCORE 2561546.287
AT ITER 847 NEW BEST:: SOT 12081335 SOS 7679416 HAS SOPS 6358519 HAS SOUS 2649080 HAS SOUPS 2553865 WITH SCORE 2561544.416
AT ITER 852 NEW BEST:: SOT 12078049 SOS 7672772 HAS SOPS 6350119 HAS SOUS 2639494 HAS SOUPS 2544369 WITH SCORE 2552041.772
AT ITER 862 NEW BEST:: SOT 12075395 SOS 7669960 HAS SOPS 6347578 HAS SOUS 2636153 HAS SOUPS 2541052 WITH SCORE 2548721.96
AT ITER 869 NEW BEST:: SOT 12074642 SOS 7669603 HAS SOPS 6346278 HAS SOUS 2632735 HAS SOUPS 2537736 WITH SCORE 2545405.603
AT ITER 874 NEW BEST:: SOT 12074361 SOS 7669611 HAS SOPS 6346361 HAS SOUS 2631521 HAS SOUPS 2536522 WITH SCORE 2544191.611
AT ITER 900 NEW BEST:: SOT 12073372 SOS 7668583 HAS SOPS 6345393 HAS SOUS 2629660 HAS SOUPS 2534661 WITH SCORE 2542329.583
AT ITER 910 NEW BEST:: SOT 12056355 SOS 7650833 HAS SOPS 6323735 HAS SOUS 2596696 HAS SOUPS 2501697 WITH SCORE 2509347.833
AT ITER 913 NEW BEST:: SOT 12056508 SOS 7647927 HAS SOPS 6321834 HAS SOUS 2596414 HAS SOUPS 2501415 WITH SCORE 2509062.927
AT ITER 931 NEW BEST:: SOT 12056991 SOS 7650888 HAS SOPS 6322975 HAS SOUS 2595677 HAS SOUPS 2500678 WITH SCORE 2508328.888
AT ITER 935 NEW BEST:: SOT 12056285 SOS 7649398 HAS SOPS 6321577 HAS SOUS 2594681 HAS SOUPS 2499688 WITH SCORE 2507337.398
AT ITER 977 NEW BEST:: SOT 12052756 SOS 7641193 HAS SOPS 6322940 HAS SOUS 2593881 HAS SOUPS 2498888 WITH SCORE 2506529.193
AT ITER 985 NEW BEST:: SOT 12050711 SOS 7634979 HAS SOPS 6320091 HAS SOUS 2590213 HAS SOUPS 2495322 WITH SCORE 2502956.979
AT ITER 989 NEW BEST:: SOT 12050504 SOS 7634599 HAS SOPS 6319825 HAS SOUS 2589834 HAS SOUPS 2494948 WITH SCORE 2502582.599
AT ITER 1010 NEW BEST:: SOT 12048180 SOS 7631422 HAS SOPS 6315911 HAS SOUS 2587418 HAS SOUPS 2492508 WITH SCORE 2500139.422
AT ITER 1027 NEW BEST:: SOT 12049475 SOS 7635188 HAS SOPS 6317525 HAS SOUS 2587143 HAS SOUPS 2492233 WITH SCORE 2499868.188
AT ITER 1055 NEW BEST:: SOT 12049251 SOS 7634782 HAS SOPS 6317295 HAS SOUS 2585689 HAS SOUPS 2490779 WITH SCORE 2498413.782
AT ITER 1064 NEW BEST:: SOT 12049309 SOS 7636727 HAS SOPS 6318568 HAS SOUS 2585183 HAS SOUPS 2490273 WITH SCORE 2497909.727
AT ITER 1069 NEW BEST:: SOT 12049207 SOS 7636606 HAS SOPS 6318447 HAS SOUS 2584473 HAS SOUPS 2489563 WITH SCORE 2497199.606
AT ITER 1079 NEW BEST:: SOT 12039156 SOS 7616831 HAS SOPS 6303313 HAS SOUS 2575380 HAS SOUPS 2480723 WITH SCORE 2488339.831
AT ITER 1089 NEW BEST:: SOT 12038652 SOS 7616058 HAS SOPS 6302409 HAS SOUS 2574561 HAS SOUPS 2479952 WITH SCORE 2487568.058
AT ITER 1094 NEW BEST:: SOT 12038358 SOS 7614505 HAS SOPS 6303124 HAS SOUS 2574085 HAS SOUPS 2479476 WITH SCORE 2487090.505
AT ITER 1097 NEW BEST:: SOT 12037375 SOS 7613571 HAS SOPS 6303027 HAS SOUS 2571371 HAS SOUPS 2476798 WITH SCORE 2484411.571
AT ITER 1098 NEW BEST:: SOT 12035660 SOS 7611898 HAS SOPS 6300667 HAS SOUS 2568151 HAS SOUPS 2473578 WITH SCORE 2481189.898
AT ITER 1108 NEW BEST:: SOT 12035655 SOS 7611889 HAS SOPS 6300567 HAS SOUS 2567922 HAS SOUPS 2473349 WITH SCORE 2480960.889
AT ITER 1119 NEW BEST:: SOT 12033131 SOS 7610315 HAS SOPS 6298564 HAS SOUS 2563713 HAS SOUPS 2469039 WITH SCORE 2476649.315
AT ITER 1125 NEW BEST:: SOT 12038643 SOS 7627281 HAS SOPS 6305359 HAS SOUS 2563174 HAS SOUPS 2468404 WITH SCORE 2476031.281
AT ITER 1134 NEW BEST:: SOT 12029501 SOS 7609379 HAS SOPS 6305559 HAS SOUS 2547189 HAS SOUPS 2452725 WITH SCORE 2460334.379
AT ITER 1135 NEW BEST:: SOT 12029573 SOS 7609264 HAS SOPS 6307226 HAS SOUS 2547107 HAS SOUPS 2452643 WITH SCORE 2460252.264
AT ITER 1142 NEW BEST:: SOT 12029386 SOS 7608642 HAS SOPS 6306712 HAS SOUS 2547073 HAS SOUPS 2452609 WITH SCORE 2460217.642
AT ITER 1147 NEW BEST:: SOT 12026400 SOS 7606138 HAS SOPS 6300843 HAS SOUS 2535496 HAS SOUPS 2441032 WITH SCORE 2448638.138
AT ITER 1149 NEW BEST:: SOT 12012941 SOS 7590573 HAS SOPS 6287052 HAS SOUS 2512086 HAS SOUPS 2417734 WITH SCORE 2425324.573
AT ITER 1175 NEW BEST:: SOT 12012351 SOS 7589708 HAS SOPS 6286275 HAS SOUS 2510754 HAS SOUPS 2416411 WITH SCORE 2424000.708
AT ITER 1191 NEW BEST:: SOT 12011759 SOS 7588753 HAS SOPS 6285673 HAS SOUS 2510405 HAS SOUPS 2416007 WITH SCORE 2423595.753
AT ITER 1198 NEW BEST:: SOT 12013082 SOS 7590773 HAS SOPS 6285261 HAS SOUS 2508058 HAS SOUPS 2413654 WITH SCORE 2421244.773
AT ITER 1202 NEW BEST:: SOT 12016766 SOS 7598970 HAS SOPS 6296573 HAS SOUS 2506319 HAS SOUPS 2412035 WITH SCORE 2419633.97
AT ITER 1207 NEW BEST:: SOT 12015647 SOS 7597217 HAS SOPS 6295878 HAS SOUS 2503980 HAS SOUPS 2409696 WITH SCORE 2417293.217
AT ITER 1228 NEW BEST:: SOT 12015345 SOS 7594977 HAS SOPS 6295425 HAS SOUS 2502536 HAS SOUPS 2409465 WITH SCORE 2417059.977
AT ITER 1241 NEW BEST:: SOT 12014515 SOS 7595619 HAS SOPS 6299001 HAS SOUS 2500945 HAS SOUPS 2407874 WITH SCORE 2415469.619
AT ITER 1242 NEW BEST:: SOT 12013109 SOS 7592520 HAS SOPS 6294366 HAS SOUS 2495648 HAS SOUPS 2402631 WITH SCORE 2410223.52
AT ITER 1248 NEW BEST:: SOT 12013087 SOS 7592549 HAS SOPS 6294361 HAS SOUS 2495473 HAS SOUPS 2402439 WITH SCORE 2410031.549
AT ITER 1249 NEW BEST:: SOT 12008998 SOS 7579381 HAS SOPS 6290049 HAS SOUS 2490245 HAS SOUPS 2397477 WITH SCORE 2405056.381
AT ITER 1250 NEW BEST:: SOT 12008698 SOS 7578315 HAS SOPS 6289534 HAS SOUS 2489957 HAS SOUPS 2397189 WITH SCORE 2404767.315
AT ITER 1253 NEW BEST:: SOT 12008084 SOS 7576967 HAS SOPS 6288294 HAS SOUS 2488884 HAS SOUPS 2396116 WITH SCORE 2403692.967
AT ITER 1261 NEW BEST:: SOT 12007928 SOS 7576806 HAS SOPS 6288114 HAS SOUS 2488508 HAS SOUPS 2395735 WITH SCORE 2403311.806
AT ITER 1279 NEW BEST:: SOT 12007655 SOS 7576114 HAS SOPS 6287489 HAS SOUS 2488338 HAS SOUPS 2395565 WITH SCORE 2403141.114
AT ITER 1291 NEW BEST:: SOT 12020663 SOS 7605333 HAS SOPS 6316965 HAS SOUS 2485311 HAS SOUPS 2392706 WITH SCORE 2400311.333
AT ITER 1295 NEW BEST:: SOT 12018775 SOS 7599707 HAS SOPS 6312632 HAS SOUS 2478116 HAS SOUPS 2385624 WITH SCORE 2393223.707
AT ITER 1298 NEW BEST:: SOT 12020254 SOS 7596847 HAS SOPS 6317989 HAS SOUS 2474991 HAS SOUPS 2382973 WITH SCORE 2390569.847
AT ITER 1300 NEW BEST:: SOT 12020143 SOS 7596718 HAS SOPS 6317833 HAS SOUS 2474819 HAS SOUPS 2382801 WITH SCORE 2390397.718
AT ITER 1302 NEW BEST:: SOT 12020983 SOS 7596089 HAS SOPS 6317226 HAS SOUS 2472491 HAS SOUPS 2380473 WITH SCORE 2388069.089
AT ITER 1306 NEW BEST:: SOT 12015695 SOS 7583781 HAS SOPS 6311859 HAS SOUS 2457528 HAS SOUPS 2365540 WITH SCORE 2373123.781
AT ITER 1311 NEW BEST:: SOT 12016549 SOS 7585623 HAS SOPS 6313974 HAS SOUS 2455600 HAS SOUPS 2363612 WITH SCORE 2371197.623
AT ITER 1314 NEW BEST:: SOT 12016698 SOS 7585848 HAS SOPS 6314061 HAS SOUS 2455465 HAS SOUPS 2363431 WITH SCORE 2371016.848
AT ITER 1320 NEW BEST:: SOT 12016996 SOS 7587069 HAS SOPS 6315300 HAS SOUS 2455325 HAS SOUPS 2363291 WITH SCORE 2370878.069
AT ITER 1329 NEW BEST:: SOT 12014949 SOS 7584940 HAS SOPS 6312598 HAS SOUS 2451673 HAS SOUPS 2359488 WITH SCORE 2367072.94
AT ITER 1331 NEW BEST:: SOT 12014912 SOS 7584989 HAS SOPS 6312644 HAS SOUS 2451674 HAS SOUPS 2359487 WITH SCORE 2367071.989
AT ITER 1336 NEW BEST:: SOT 12014830 SOS 7584875 HAS SOPS 6312549 HAS SOUS 2451520 HAS SOUPS 2359333 WITH SCORE 2366917.875
AT ITER 1341 NEW BEST:: SOT 12011344 SOS 7581120 HAS SOPS 6308609 HAS SOUS 2442324 HAS SOUPS 2350154 WITH SCORE 2357735.12
AT ITER 1355 NEW BEST:: SOT 12007649 SOS 7575702 HAS SOPS 6297865 HAS SOUS 2428454 HAS SOUPS 2336159 WITH SCORE 2343734.702
AT ITER 1360 NEW BEST:: SOT 12008022 SOS 7575049 HAS SOPS 6298943 HAS SOUS 2428000 HAS SOUPS 2335705 WITH SCORE 2343280.049
AT ITER 1361 NEW BEST:: SOT 12007190 SOS 7571720 HAS SOPS 6295510 HAS SOUS 2426523 HAS SOUPS 2334228 WITH SCORE 2341799.72
AT ITER 1363 NEW BEST:: SOT 12007170 SOS 7568077 HAS SOPS 6293573 HAS SOUS 2425923 HAS SOUPS 2333628 WITH SCORE 2341196.077
AT ITER 1365 NEW BEST:: SOT 12007499 SOS 7568376 HAS SOPS 6293377 HAS SOUS 2426219 HAS SOUPS 2333441 WITH SCORE 2341009.376
AT ITER 1371 NEW BEST:: SOT 12002913 SOS 7563611 HAS SOPS 6289253 HAS SOUS 2420029 HAS SOUPS 2327314 WITH SCORE 2334877.611
AT ITER 1374 NEW BEST:: SOT 12012440 SOS 7578393 HAS SOPS 6303438 HAS SOUS 2419178 HAS SOUPS 2326473 WITH SCORE 2334051.393
AT ITER 1402 NEW BEST:: SOT 12012068 SOS 7578046 HAS SOPS 6302563 HAS SOUS 2416602 HAS SOUPS 2323897 WITH SCORE 2331475.046
AT ITER 1411 NEW BEST:: SOT 12006108 SOS 7567377 HAS SOPS 6295464 HAS SOUS 2409235 HAS SOUPS 2316658 WITH SCORE 2324225.377
AT ITER 1429 NEW BEST:: SOT 12005515 SOS 7566739 HAS SOPS 6294686 HAS SOUS 2408037 HAS SOUPS 2315460 WITH SCORE 2323026.739
AT ITER 1447 NEW BEST:: SOT 12002643 SOS 7564150 HAS SOPS 6289887 HAS SOUS 2401465 HAS SOUPS 2308864 WITH SCORE 2316428.15
AT ITER 1457 NEW BEST:: SOT 12003167 SOS 7564052 HAS SOPS 6289453 HAS SOUS 2401339 HAS SOUPS 2308809 WITH SCORE 2316373.052
AT ITER 1471 NEW BEST:: SOT 12003574 SOS 7566303 HAS SOPS 6289296 HAS SOUS 2398518 HAS SOUPS 2305988 WITH SCORE 2313554.303
AT ITER 1473 NEW BEST:: SOT 12003314 SOS 7566071 HAS SOPS 6289270 HAS SOUS 2398146 HAS SOUPS 2305616 WITH SCORE 2313182.071
AT ITER 1479 NEW BEST:: SOT 12002739 SOS 7565764 HAS SOPS 6289156 HAS SOUS 2396184 HAS SOUPS 2303654 WITH SCORE 2311219.764
AT ITER 1482 NEW BEST:: SOT 12002304 SOS 7566339 HAS SOPS 6290912 HAS SOUS 2395155 HAS SOUPS 2302625 WITH SCORE 2310191.339
AT ITER 1491 NEW BEST:: SOT 12002240 SOS 7566346 HAS SOPS 6290882 HAS SOUS 2395080 HAS SOUPS 2302550 WITH SCORE 2310116.346
AT ITER 1495 NEW BEST:: SOT 12002088 SOS 7565938 HAS SOPS 6290504 HAS SOUS 2394916 HAS SOUPS 2302388 WITH SCORE 2309953.938
AT ITER 1498 NEW BEST:: SOT 12001199 SOS 7559177 HAS SOPS 6289413 HAS SOUS 2391084 HAS SOUPS 2298556 WITH SCORE 2306115.177
AT ITER 1532 NEW BEST:: SOT 12001153 SOS 7552239 HAS SOPS 6286430 HAS SOUS 2388520 HAS SOUPS 2296052 WITH SCORE 2303604.239
AT ITER 1533 NEW BEST:: SOT 12005057 SOS 7556023 HAS SOPS 6298997 HAS SOUS 2387156 HAS SOUPS 2294864 WITH SCORE 2302420.023
AT ITER 1534 NEW BEST:: SOT 12004970 SOS 7556282 HAS SOPS 6299038 HAS SOUS 2386627 HAS SOUPS 2294329 WITH SCORE 2301885.282
AT ITER 1573 NEW BEST:: SOT 12011688 SOS 7563159 HAS SOPS 6297231 HAS SOUS 2372462 HAS SOUPS 2280164 WITH SCORE 2287727.159
AT ITER 1580 NEW BEST:: SOT 12011864 SOS 7563812 HAS SOPS 6298004 HAS SOUS 2372004 HAS SOUPS 2279706 WITH SCORE 2287269.812
AT ITER 1600 NEW BEST:: SOT 12008407 SOS 7559676 HAS SOPS 6294350 HAS SOUS 2367965 HAS SOUPS 2275724 WITH SCORE 2283283.676
AT ITER 1605 NEW BEST:: SOT 12007674 SOS 7559298 HAS SOPS 6293436 HAS SOUS 2363060 HAS SOUPS 2270879 WITH SCORE 2278438.298
AT ITER 1617 NEW BEST:: SOT 12005498 SOS 7554011 HAS SOPS 6287058 HAS SOUS 2357247 HAS SOUPS 2265066 WITH SCORE 2272620.011
AT ITER 1618 NEW BEST:: SOT 12005075 SOS 7553306 HAS SOPS 6286342 HAS SOUS 2356421 HAS SOUPS 2264244 WITH SCORE 2271797.306
AT ITER 1619 NEW BEST:: SOT 12007128 SOS 7555738 HAS SOPS 6289330 HAS SOUS 2356229 HAS SOUPS 2264052 WITH SCORE 2271607.738
AT ITER 1628 NEW BEST:: SOT 12006521 SOS 7554371 HAS SOPS 6287671 HAS SOUS 2355494 HAS SOUPS 2263317 WITH SCORE 2270871.371
AT ITER 1635 NEW BEST:: SOT 12008971 SOS 7554988 HAS SOPS 6289223 HAS SOUS 2354565 HAS SOUPS 2262428 WITH SCORE 2269982.988
AT ITER 1647 NEW BEST:: SOT 12008577 SOS 7554594 HAS SOPS 6288413 HAS SOUS 2351951 HAS SOUPS 2259638 WITH SCORE 2267192.594
AT ITER 1649 NEW BEST:: SOT 12008499 SOS 7554318 HAS SOPS 6287932 HAS SOUS 2351831 HAS SOUPS 2259518 WITH SCORE 2267072.318
AT ITER 1681 NEW BEST:: SOT 12010898 SOS 7557942 HAS SOPS 6291612 HAS SOUS 2351182 HAS SOUPS 2259232 WITH SCORE 2266789.942
AT ITER 1682 NEW BEST:: SOT 12010696 SOS 7557540 HAS SOPS 6291185 HAS SOUS 2350912 HAS SOUPS 2258971 WITH SCORE 2266528.54
AT ITER 1683 NEW BEST:: SOT 12009731 SOS 7557025 HAS SOPS 6289452 HAS SOUS 2347431 HAS SOUPS 2255496 WITH SCORE 2263053.025
AT ITER 1704 NEW BEST:: SOT 12008268 SOS 7555209 HAS SOPS 6288111 HAS SOUS 2346262 HAS SOUPS 2254379 WITH SCORE 2261934.209
AT ITER 1718 NEW BEST:: SOT 12005625 SOS 7551664 HAS SOPS 6284599 HAS SOUS 2340924 HAS SOUPS 2249074 WITH SCORE 2256625.664
AT ITER 1723 NEW BEST:: SOT 12002624 SOS 7547883 HAS SOPS 6280132 HAS SOUS 2334378 HAS SOUPS 2242592 WITH SCORE 2250139.883
AT ITER 1728 NEW BEST:: SOT 12002016 SOS 7547249 HAS SOPS 6279370 HAS SOUS 2333470 HAS SOUPS 2241684 WITH SCORE 2249231.249
AT ITER 1746 NEW BEST:: SOT 12002950 SOS 7548872 HAS SOPS 6283275 HAS SOUS 2332196 HAS SOUPS 2240410 WITH SCORE 2247958.872
AT ITER 1747 NEW BEST:: SOT 12002880 SOS 7548821 HAS SOPS 6283144 HAS SOUS 2331852 HAS SOUPS 2240066 WITH SCORE 2247614.821
AT ITER 1749 NEW BEST:: SOT 12005629 SOS 7553299 HAS SOPS 6286568 HAS SOUS 2327106 HAS SOUPS 2235317 WITH SCORE 2242870.299
AT ITER 1766 NEW BEST:: SOT 12003726 SOS 7550127 HAS SOPS 6284132 HAS SOUS 2325707 HAS SOUPS 2233918 WITH SCORE 2241468.127
AT ITER 1770 NEW BEST:: SOT 12004399 SOS 7551845 HAS SOPS 6285862 HAS SOUS 2325191 HAS SOUPS 2233402 WITH SCORE 2240953.845
AT ITER 1771 NEW BEST:: SOT 12004444 SOS 7551890 HAS SOPS 6285899 HAS SOUS 2325112 HAS SOUPS 2233347 WITH SCORE 2240898.89
AT ITER 1785 NEW BEST:: SOT 12005079 SOS 7551257 HAS SOPS 6284808 HAS SOUS 2321523 HAS SOUPS 2229758 WITH SCORE 2237309.257
AT ITER 1794 NEW BEST:: SOT 12006691 SOS 7552869 HAS SOPS 6285908 HAS SOUS 2321679 HAS SOUPS 2229674 WITH SCORE 2237226.869
AT ITER 1814 NEW BEST:: SOT 12000337 SOS 7536327 HAS SOPS 6273750 HAS SOUS 2318749 HAS SOUPS 2227641 WITH SCORE 2235177.327
AT ITER 1822 NEW BEST:: SOT 11988435 SOS 7507333 HAS SOPS 6254876 HAS SOUS 2308184 HAS SOUPS 2217171 WITH SCORE 2224678.333
AT ITER 1824 NEW BEST:: SOT 11985737 SOS 7504613 HAS SOPS 6252138 HAS SOUS 2304996 HAS SOUPS 2213973 WITH SCORE 2221477.613
AT ITER 1839 NEW BEST:: SOT 11984926 SOS 7506773 HAS SOPS 6253942 HAS SOUS 2301613 HAS SOUPS 2210590 WITH SCORE 2218096.773
AT ITER 1851 NEW BEST:: SOT 11984441 SOS 7505117 HAS SOPS 6252772 HAS SOUS 2301228 HAS SOUPS 2210205 WITH SCORE 2217710.117
AT ITER 1866 NEW BEST:: SOT 11983061 SOS 7504001 HAS SOPS 6252160 HAS SOUS 2299235 HAS SOUPS 2208212 WITH SCORE 2215716.001
AT ITER 1867 NEW BEST:: SOT 11983054 SOS 7503970 HAS SOPS 6252153 HAS SOUS 2299226 HAS SOUPS 2208203 WITH SCORE 2215706.97
AT ITER 1889 NEW BEST:: SOT 11983540 SOS 7504288 HAS SOPS 6252934 HAS SOUS 2297232 HAS SOUPS 2206295 WITH SCORE 2213799.288
AT ITER 1894 NEW BEST:: SOT 11983668 SOS 7506644 HAS SOPS 6254561 HAS SOUS 2297179 HAS SOUPS 2206242 WITH SCORE 2213748.644
AT ITER 1904 NEW BEST:: SOT 11982856 SOS 7508677 HAS SOPS 6255669 HAS SOUS 2291790 HAS SOUPS 2200931 WITH SCORE 2208439.677
AT ITER 1907 NEW BEST:: SOT 11982872 SOS 7507958 HAS SOPS 6257239 HAS SOUS 2291662 HAS SOUPS 2200803 WITH SCORE 2208310.958
AT ITER 1912 NEW BEST:: SOT 11982066 SOS 7506690 HAS SOPS 6254156 HAS SOUS 2287078 HAS SOUPS 2196219 WITH SCORE 2203725.69
AT ITER 1947 NEW BEST:: SOT 11980806 SOS 7505430 HAS SOPS 6252336 HAS SOUS 2283718 HAS SOUPS 2192859 WITH SCORE 2200364.43
AT ITER 1961 NEW BEST:: SOT 11980517 SOS 7504897 HAS SOPS 6251935 HAS SOUS 2283365 HAS SOUPS 2192510 WITH SCORE 2200014.897
AT ITER 1974 NEW BEST:: SOT 11978400 SOS 7500635 HAS SOPS 6248993 HAS SOUS 2280728 HAS SOUPS 2189913 WITH SCORE 2197413.635
AT ITER 1980 NEW BEST:: SOT 11977824 SOS 7500059 HAS SOPS 6248273 HAS SOUS 2279824 HAS SOUPS 2189009 WITH SCORE 2196509.059
AT ITER 1990 NEW BEST:: SOT 11976527 SOS 7497252 HAS SOPS 6245633 HAS SOUS 2277661 HAS SOUPS 2186860 WITH SCORE 2194357.252
AT ITER 1996 NEW BEST:: SOT 11976376 SOS 7496163 HAS SOPS 6244811 HAS SOUS 2277484 HAS SOUPS 2186683 WITH SCORE 2194179.163
AT ITER 1997 NEW BEST:: SOT 11976985 SOS 7497748 HAS SOPS 6248192 HAS SOUS 2277107 HAS SOUPS 2186230 WITH SCORE 2193727.748
AT ITER 2052 NEW BEST:: SOT 11965037 SOS 7486339 HAS SOPS 6235670 HAS SOUS 2263251 HAS SOUPS 2172266 WITH SCORE 2179752.339
AT ITER 2056 NEW BEST:: SOT 11966627 SOS 7491833 HAS SOPS 6238432 HAS SOUS 2259376 HAS SOUPS 2168391 WITH SCORE 2175882.833
AT ITER 2057 NEW BEST:: SOT 11966408 SOS 7491546 HAS SOPS 6238141 HAS SOUS 2258905 HAS SOUPS 2167924 WITH SCORE 2175415.546
AT ITER 2067 NEW BEST:: SOT 11966356 SOS 7491449 HAS SOPS 6238018 HAS SOUS 2258779 HAS SOUPS 2167798 WITH SCORE 2175289.449
AT ITER 2069 NEW BEST:: SOT 11961609 SOS 7483970 HAS SOPS 6229716 HAS SOUS 2248495 HAS SOUPS 2157611 WITH SCORE 2165094.97
AT ITER 2077 NEW BEST:: SOT 11962561 SOS 7487968 HAS SOPS 6232850 HAS SOUS 2248323 HAS SOUPS 2157439 WITH SCORE 2164926.968
AT ITER 2085 NEW BEST:: SOT 11961716 SOS 7486368 HAS SOPS 6231926 HAS SOUS 2246811 HAS SOUPS 2155985 WITH SCORE 2163471.368
AT ITER 2101 NEW BEST:: SOT 11959501 SOS 7482877 HAS SOPS 6228638 HAS SOUS 2243452 HAS SOUPS 2152657 WITH SCORE 2160139.877
AT ITER 2111 NEW BEST:: SOT 11959485 SOS 7482861 HAS SOPS 6228622 HAS SOUS 2243404 HAS SOUPS 2152609 WITH SCORE 2160091.861
AT ITER 2120 NEW BEST:: SOT 11959471 SOS 7482675 HAS SOPS 6228441 HAS SOUS 2243385 HAS SOUPS 2152590 WITH SCORE 2160072.675
AT ITER 2126 NEW BEST:: SOT 11958559 SOS 7481781 HAS SOPS 6227051 HAS SOUS 2240897 HAS SOUPS 2150102 WITH SCORE 2157583.781
AT ITER 2131 NEW BEST:: SOT 11958524 SOS 7481553 HAS SOPS 6227119 HAS SOUS 2240596 HAS SOUPS 2149801 WITH SCORE 2157282.553
AT ITER 2144 NEW BEST:: SOT 11960294 SOS 7488758 HAS SOPS 6236823 HAS SOUS 2236537 HAS SOUPS 2145923 WITH SCORE 2153411.758
AT ITER 2148 NEW BEST:: SOT 11964201 SOS 7494035 HAS SOPS 6238336 HAS SOUS 2235719 HAS SOUPS 2145105 WITH SCORE 2152599.035
AT ITER 2154 NEW BEST:: SOT 11964221 SOS 7494046 HAS SOPS 6238347 HAS SOUS 2235571 HAS SOUPS 2144957 WITH SCORE 2152451.046
AT ITER 2155 NEW BEST:: SOT 11964806 SOS 7494057 HAS SOPS 6236340 HAS SOUS 2231522 HAS SOUPS 2140908 WITH SCORE 2148402.057
AT ITER 2156 NEW BEST:: SOT 11962169 SOS 7491015 HAS SOPS 6231924 HAS SOUS 2226160 HAS SOUPS 2135514 WITH SCORE 2143005.015
AT ITER 2163 NEW BEST:: SOT 11962157 SOS 7491003 HAS SOPS 6231752 HAS SOUS 2225356 HAS SOUPS 2134710 WITH SCORE 2142201.003
AT ITER 2164 NEW BEST:: SOT 11962371 SOS 7492112 HAS SOPS 6232641 HAS SOUS 2223091 HAS SOUPS 2132393 WITH SCORE 2139885.112
AT ITER 2170 NEW BEST:: SOT 11966953 SOS 7498072 HAS SOPS 6236924 HAS SOUS 2222897 HAS SOUPS 2132199 WITH SCORE 2139697.072
AT ITER 2175 NEW BEST:: SOT 11966745 SOS 7493354 HAS SOPS 6234908 HAS SOUS 2220714 HAS SOUPS 2130086 WITH SCORE 2137579.354
AT ITER 2189 NEW BEST:: SOT 11968826 SOS 7498254 HAS SOPS 6239929 HAS SOUS 2220708 HAS SOUPS 2130080 WITH SCORE 2137578.254
AT ITER 2194 NEW BEST:: SOT 11945535 SOS 7445206 HAS SOPS 6220871 HAS SOUS 2216240 HAS SOUPS 2126033 WITH SCORE 2133478.206
AT ITER 2199 NEW BEST:: SOT 11945672 SOS 7446855 HAS SOPS 6222303 HAS SOUS 2214898 HAS SOUPS 2124691 WITH SCORE 2132137.855
AT ITER 2219 NEW BEST:: SOT 11946242 SOS 7450195 HAS SOPS 6225619 HAS SOUS 2214037 HAS SOUPS 2123830 WITH SCORE 2131280.195
AT ITER 2226 NEW BEST:: SOT 11945744 SOS 7448776 HAS SOPS 6225004 HAS SOUS 2213903 HAS SOUPS 2123734 WITH SCORE 2131182.776
AT ITER 2236 NEW BEST:: SOT 11945203 SOS 7446779 HAS SOPS 6223796 HAS SOUS 2207824 HAS SOUPS 2117655 WITH SCORE 2125101.779
AT ITER 2252 NEW BEST:: SOT 11945032 SOS 7448506 HAS SOPS 6223106 HAS SOUS 2204794 HAS SOUPS 2114625 WITH SCORE 2122073.506
AT ITER 2261 NEW BEST:: SOT 11944817 SOS 7455020 HAS SOPS 6229100 HAS SOUS 2204452 HAS SOUPS 2114295 WITH SCORE 2121750.02
AT ITER 2308 NEW BEST:: SOT 11944652 SOS 7454561 HAS SOPS 6228319 HAS SOUS 2204240 HAS SOUPS 2114083 WITH SCORE 2121537.561
AT ITER 2337 NEW BEST:: SOT 11943277 SOS 7448176 HAS SOPS 6222478 HAS SOUS 2202496 HAS SOUPS 2112339 WITH SCORE 2119787.176
AT ITER 2338 NEW BEST:: SOT 11941511 SOS 7446410 HAS SOPS 6220712 HAS SOUS 2200498 HAS SOUPS 2110341 WITH SCORE 2117787.41
AT ITER 2341 NEW BEST:: SOT 11934574 SOS 7440826 HAS SOPS 6211951 HAS SOUS 2193106 HAS SOUPS 2101496 WITH SCORE 2108936.826
AT ITER 2353 NEW BEST:: SOT 11934527 SOS 7440809 HAS SOPS 6211640 HAS SOUS 2192939 HAS SOUPS 2101329 WITH SCORE 2108769.809
AT ITER 2442 NEW BEST:: SOT 11934201 SOS 7439873 HAS SOPS 6210865 HAS SOUS 2192731 HAS SOUPS 2101121 WITH SCORE 2108560.873
AT ITER 2451 NEW BEST:: SOT 11934161 SOS 7439478 HAS SOPS 6212403 HAS SOUS 2192092 HAS SOUPS 2100482 WITH SCORE 2107921.478
AT ITER 2477 NEW BEST:: SOT 11934257 SOS 7439559 HAS SOPS 6212484 HAS SOUS 2191856 HAS SOUPS 2100246 WITH SCORE 2107685.559
AT ITER 2491 NEW BEST:: SOT 11934898 SOS 7447324 HAS SOPS 6216689 HAS SOUS 2187295 HAS SOUPS 2095685 WITH SCORE 2103132.324
AT ITER 2496 NEW BEST:: SOT 11934117 SOS 7447156 HAS SOPS 6216516 HAS SOUS 2185825 HAS SOUPS 2094215 WITH SCORE 2101662.156
AT ITER 2503 NEW BEST:: SOT 11928691 SOS 7440505 HAS SOPS 6210006 HAS SOUS 2172649 HAS SOUPS 2081137 WITH SCORE 2088577.505
AT ITER 2523 NEW BEST:: SOT 11928583 SOS 7440387 HAS SOPS 6209841 HAS SOUS 2172411 HAS SOUPS 2080899 WITH SCORE 2088339.387
AT ITER 2546 NEW BEST:: SOT 11915774 SOS 7421531 HAS SOPS 6195247 HAS SOUS 2158413 HAS SOUPS 2067540 WITH SCORE 2074961.531
AT ITER 2548 NEW BEST:: SOT 11915411 SOS 7420562 HAS SOPS 6194744 HAS SOUS 2158365 HAS SOUPS 2067519 WITH SCORE 2074939.562
AT ITER 2562 NEW BEST:: SOT 11902792 SOS 7399971 HAS SOPS 6184063 HAS SOUS 2154293 HAS SOUPS 2063542 WITH SCORE 2070941.971
AT ITER 2564 NEW BEST:: SOT 11903300 SOS 7400623 HAS SOPS 6184368 HAS SOUS 2154185 HAS SOUPS 2063384 WITH SCORE 2070784.623
AT ITER 2581 NEW BEST:: SOT 11907760 SOS 7403607 HAS SOPS 6200564 HAS SOUS 2153474 HAS SOUPS 2062904 WITH SCORE 2070307.607
AT ITER 2583 NEW BEST:: SOT 11898748 SOS 7391816 HAS SOPS 6188761 HAS SOUS 2139704 HAS SOUPS 2049201 WITH SCORE 2056592.816
AT ITER 2636 NEW BEST:: SOT 11898176 SOS 7390244 HAS SOPS 6176968 HAS SOUS 2133963 HAS SOUPS 2043339 WITH SCORE 2050729.244
AT ITER 2638 NEW BEST:: SOT 11898740 SOS 7390948 HAS SOPS 6178422 HAS SOUS 2133581 HAS SOUPS 2043054 WITH SCORE 2050444.948
AT ITER 2648 NEW BEST:: SOT 11897985 SOS 7389854 HAS SOPS 6177004 HAS SOUS 2131974 HAS SOUPS 2041416 WITH SCORE 2048805.854
AT ITER 2667 NEW BEST:: SOT 11899999 SOS 7394635 HAS SOPS 6181793 HAS SOUS 2130412 HAS SOUPS 2039854 WITH SCORE 2047248.635
AT ITER 2668 NEW BEST:: SOT 11896874 SOS 7382626 HAS SOPS 6171441 HAS SOUS 2109333 HAS SOUPS 2019516 WITH SCORE 2026898.626
AT ITER 2683 NEW BEST:: SOT 11896659 SOS 7381436 HAS SOPS 6169933 HAS SOUS 2108831 HAS SOUPS 2019014 WITH SCORE 2026395.436
AT ITER 2700 NEW BEST:: SOT 11897934 SOS 7387424 HAS SOPS 6177184 HAS SOUS 2108515 HAS SOUPS 2018698 WITH SCORE 2026085.424
AT ITER 2712 NEW BEST:: SOT 11896955 SOS 7387335 HAS SOPS 6177090 HAS SOUS 2106758 HAS SOUPS 2016941 WITH SCORE 2024328.335
AT ITER 2735 NEW BEST:: SOT 11896324 SOS 7386984 HAS SOPS 6176805 HAS SOUS 2106874 HAS SOUPS 2016705 WITH SCORE 2024091.984
AT ITER 2742 NEW BEST:: SOT 11895469 SOS 7384827 HAS SOPS 6174926 HAS SOUS 2104845 HAS SOUPS 2015058 WITH SCORE 2022442.827
AT ITER 2748 NEW BEST:: SOT 11892492 SOS 7381070 HAS SOPS 6167831 HAS SOUS 2084578 HAS SOUPS 1994779 WITH SCORE 2002160.07
AT ITER 2754 NEW BEST:: SOT 11890119 SOS 7376263 HAS SOPS 6167900 HAS SOUS 2077286 HAS SOUPS 1987917 WITH SCORE 1995293.263
AT ITER 2759 NEW BEST:: SOT 11890120 SOS 7376460 HAS SOPS 6167996 HAS SOUS 2075489 HAS SOUPS 1986175 WITH SCORE 1993551.46
AT ITER 2760 NEW BEST:: SOT 11889045 SOS 7374701 HAS SOPS 6166160 HAS SOUS 2073455 HAS SOUPS 1984141 WITH SCORE 1991515.701
AT ITER 2768 NEW BEST:: SOT 11885860 SOS 7369645 HAS SOPS 6162323 HAS SOUS 2069958 HAS SOUPS 1980696 WITH SCORE 1988065.645
AT ITER 2775 NEW BEST:: SOT 11877171 SOS 7354901 HAS SOPS 6151073 HAS SOUS 2061414 HAS SOUPS 1972492 WITH SCORE 1979846.901
AT ITER 2777 NEW BEST:: SOT 11872494 SOS 7349358 HAS SOPS 6143535 HAS SOUS 2051982 HAS SOUPS 1963160 WITH SCORE 1970509.358
AT ITER 2808 NEW BEST:: SOT 11872344 SOS 7349988 HAS SOPS 6143685 HAS SOUS 2051402 HAS SOUPS 1962580 WITH SCORE 1969929.988
AT ITER 2821 NEW BEST:: SOT 11872304 SOS 7349963 HAS SOPS 6143491 HAS SOUS 2051234 HAS SOUPS 1962412 WITH SCORE 1969761.963
AT ITER 2856 NEW BEST:: SOT 11871967 SOS 7351755 HAS SOPS 6143576 HAS SOUS 2044880 HAS SOUPS 1956058 WITH SCORE 1963409.755
AT ITER 2861 NEW BEST:: SOT 11867085 SOS 7339819 HAS SOPS 6138489 HAS SOUS 2042566 HAS SOUPS 1953872 WITH SCORE 1961211.819
AT ITER 2880 NEW BEST:: SOT 11867080 SOS 7339800 HAS SOPS 6138424 HAS SOUS 2042561 HAS SOUPS 1953866 WITH SCORE 1961205.8
AT ITER 2923 NEW BEST:: SOT 11865833 SOS 7338871 HAS SOPS 6139298 HAS SOUS 2039267 HAS SOUPS 1950712 WITH SCORE 1958050.871
AT ITER 2927 NEW BEST:: SOT 11864988 SOS 7338008 HAS SOPS 6137820 HAS SOUS 2037164 HAS SOUPS 1948609 WITH SCORE 1955947.008
AT ITER 2934 NEW BEST:: SOT 11859902 SOS 7329370 HAS SOPS 6128293 HAS SOUS 2026237 HAS SOUPS 1937682 WITH SCORE 1945011.37
AT ITER 2939 NEW BEST:: SOT 11859182 SOS 7328650 HAS SOPS 6127461 HAS SOUS 2025253 HAS SOUPS 1936698 WITH SCORE 1944026.65
AT ITER 2946 NEW BEST:: SOT 11858716 SOS 7328813 HAS SOPS 6126995 HAS SOUS 2024805 HAS SOUPS 1936232 WITH SCORE 1943560.813
AT ITER 2948 NEW BEST:: SOT 11864151 SOS 7337602 HAS SOPS 6137121 HAS SOUS 2022830 HAS SOUPS 1934070 WITH SCORE 1941407.602
AT ITER 2960 NEW BEST:: SOT 11860995 SOS 7328919 HAS SOPS 6124996 HAS SOUS 2019336 HAS SOUPS 1930576 WITH SCORE 1937904.919
AT ITER 2973 NEW BEST:: SOT 11858492 SOS 7328974 HAS SOPS 6125235 HAS SOUS 2009797 HAS SOUPS 1921149 WITH SCORE 1928477.974
AT ITER 3000 NEW BEST:: SOT 11858640 SOS 7330352 HAS SOPS 6125930 HAS SOUS 2007856 HAS SOUPS 1919208 WITH SCORE 1926538.352
AT ITER 3001 NEW BEST:: SOT 11858489 SOS 7330350 HAS SOPS 6125565 HAS SOUS 2007670 HAS SOUPS 1919022 WITH SCORE 1926352.35
AT ITER 3003 NEW BEST:: SOT 11860835 SOS 7331848 HAS SOPS 6127828 HAS SOUS 2005450 HAS SOUPS 1916802 WITH SCORE 1924133.848
AT ITER 3005 NEW BEST:: SOT 11859797 SOS 7331236 HAS SOPS 6136159 HAS SOUS 1999789 HAS SOUPS 1911316 WITH SCORE 1918647.236
AT ITER 3008 NEW BEST:: SOT 11861558 SOS 7336438 HAS SOPS 6141431 HAS SOUS 1998805 HAS SOUPS 1910367 WITH SCORE 1917703.438
AT ITER 3011 NEW BEST:: SOT 11861528 SOS 7336408 HAS SOPS 6141433 HAS SOUS 1998759 HAS SOUPS 1910353 WITH SCORE 1917689.408
AT ITER 3016 NEW BEST:: SOT 11861060 SOS 7335929 HAS SOPS 6140746 HAS SOUS 1997355 HAS SOUPS 1908949 WITH SCORE 1916284.929
AT ITER 3028 NEW BEST:: SOT 11859246 SOS 7331591 HAS SOPS 6133918 HAS SOUS 1982697 HAS SOUPS 1896231 WITH SCORE 1903562.591
AT ITER 3038 NEW BEST:: SOT 11855143 SOS 7326608 HAS SOPS 6128774 HAS SOUS 1977810 HAS SOUPS 1891344 WITH SCORE 1898670.608
AT ITER 3040 NEW BEST:: SOT 11840383 SOS 7298464 HAS SOPS 6104248 HAS SOUS 1963682 HAS SOUPS 1877216 WITH SCORE 1884514.464
AT ITER 3052 NEW BEST:: SOT 11839127 SOS 7297208 HAS SOPS 6102992 HAS SOUS 1962730 HAS SOUPS 1876264 WITH SCORE 1883561.208
AT ITER 3053 NEW BEST:: SOT 11847979 SOS 7311328 HAS SOPS 6113265 HAS SOUS 1960348 HAS SOUPS 1873877 WITH SCORE 1881188.328
AT ITER 3067 NEW BEST:: SOT 11847452 SOS 7308642 HAS SOPS 6110939 HAS SOUS 1959970 HAS SOUPS 1873499 WITH SCORE 1880807.642
AT ITER 3073 NEW BEST:: SOT 11846076 SOS 7307266 HAS SOPS 6109563 HAS SOUS 1958258 HAS SOUPS 1871787 WITH SCORE 1879094.266
AT ITER 3095 NEW BEST:: SOT 11846177 SOS 7306728 HAS SOPS 6108945 HAS SOUS 1957839 HAS SOUPS 1871368 WITH SCORE 1878674.728
AT ITER 3107 NEW BEST:: SOT 11851836 SOS 7320345 HAS SOPS 6118034 HAS SOUS 1956787 HAS SOUPS 1870174 WITH SCORE 1877494.345
AT ITER 3110 NEW BEST:: SOT 11848703 SOS 7311140 HAS SOPS 6109900 HAS SOUS 1950697 HAS SOUPS 1864174 WITH SCORE 1871485.14
AT ITER 3113 NEW BEST:: SOT 11847931 SOS 7310368 HAS SOPS 6109128 HAS SOUS 1949765 HAS SOUPS 1863242 WITH SCORE 1870552.368
AT ITER 3129 NEW BEST:: SOT 11847943 SOS 7309891 HAS SOPS 6108025 HAS SOUS 1949324 HAS SOUPS 1862723 WITH SCORE 1870032.891
AT ITER 3138 NEW BEST:: SOT 11847879 SOS 7309118 HAS SOPS 6107298 HAS SOUS 1949299 HAS SOUPS 1862698 WITH SCORE 1870007.118
AT ITER 3152 NEW BEST:: SOT 11847867 SOS 7309103 HAS SOPS 6107283 HAS SOUS 1949239 HAS SOUPS 1862638 WITH SCORE 1869947.103
AT ITER 3165 NEW BEST:: SOT 11844323 SOS 7305528 HAS SOPS 6101250 HAS SOUS 1940536 HAS SOUPS 1853935 WITH SCORE 1861240.528
AT ITER 3172 NEW BEST:: SOT 11844265 SOS 7305381 HAS SOPS 6101127 HAS SOUS 1940501 HAS SOUPS 1853900 WITH SCORE 1861205.381
AT ITER 3192 NEW BEST:: SOT 11844364 SOS 7305864 HAS SOPS 6100530 HAS SOUS 1937882 HAS SOUPS 1851382 WITH SCORE 1858687.864
AT ITER 3205 NEW BEST:: SOT 11843723 SOS 7308227 HAS SOPS 6099170 HAS SOUS 1933272 HAS SOUPS 1846731 WITH SCORE 1854039.227
AT ITER 3207 NEW BEST:: SOT 11842691 SOS 7308679 HAS SOPS 6097279 HAS SOUS 1929057 HAS SOUPS 1842490 WITH SCORE 1849798.679
AT ITER 3218 NEW BEST:: SOT 11844347 SOS 7309507 HAS SOPS 6098073 HAS SOUS 1928155 HAS SOUPS 1841682 WITH SCORE 1848991.507
AT ITER 3232 NEW BEST:: SOT 11843806 SOS 7308100 HAS SOPS 6095991 HAS SOUS 1926422 HAS SOUPS 1839949 WITH SCORE 1847257.1
AT ITER 3250 NEW BEST:: SOT 11840072 SOS 7306046 HAS SOPS 6100353 HAS SOUS 1925251 HAS SOUPS 1838998 WITH SCORE 1846304.046
AT ITER 3260 NEW BEST:: SOT 11841357 SOS 7309233 HAS SOPS 6102912 HAS SOUS 1919786 HAS SOUPS 1833622 WITH SCORE 1840931.233
AT ITER 3266 NEW BEST:: SOT 11840007 SOS 7307853 HAS SOPS 6100952 HAS SOUS 1917430 HAS SOUPS 1831266 WITH SCORE 1838573.853
AT ITER 3281 NEW BEST:: SOT 11839222 SOS 7306684 HAS SOPS 6100023 HAS SOUS 1916885 HAS SOUPS 1830721 WITH SCORE 1838027.684
AT ITER 3287 NEW BEST:: SOT 11834051 SOS 7301140 HAS SOPS 6093409 HAS SOUS 1912182 HAS SOUPS 1826057 WITH SCORE 1833358.14
AT ITER 3311 NEW BEST:: SOT 11832757 SOS 7294173 HAS SOPS 6088176 HAS SOUS 1911724 HAS SOUPS 1825599 WITH SCORE 1832893.173
AT ITER 3338 NEW BEST:: SOT 11832051 SOS 7293151 HAS SOPS 6087075 HAS SOUS 1909712 HAS SOUPS 1823587 WITH SCORE 1830880.151
AT ITER 3361 NEW BEST:: SOT 11832036 SOS 7293484 HAS SOPS 6087377 HAS SOUS 1909123 HAS SOUPS 1822998 WITH SCORE 1830291.484
AT ITER 3383 NEW BEST:: SOT 11827939 SOS 7291221 HAS SOPS 6084480 HAS SOUS 1900402 HAS SOUPS 1814277 WITH SCORE 1821568.221
AT ITER 3407 NEW BEST:: SOT 11827747 SOS 7291185 HAS SOPS 6084240 HAS SOUS 1899910 HAS SOUPS 1813773 WITH SCORE 1821064.185
AT ITER 3411 NEW BEST:: SOT 11826746 SOS 7289361 HAS SOPS 6082172 HAS SOUS 1897984 HAS SOUPS 1811847 WITH SCORE 1819136.361
AT ITER 3414 NEW BEST:: SOT 11821866 SOS 7286122 HAS SOPS 6079452 HAS SOUS 1891082 HAS SOUPS 1804945 WITH SCORE 1812231.122
AT ITER 3432 NEW BEST:: SOT 11822046 SOS 7286735 HAS SOPS 6079289 HAS SOUS 1886519 HAS SOUPS 1800382 WITH SCORE 1807668.735
AT ITER 3490 NEW BEST:: SOT 11822123 SOS 7287550 HAS SOPS 6079603 HAS SOUS 1886104 HAS SOUPS 1799967 WITH SCORE 1807254.55
AT ITER 3496 NEW BEST:: SOT 11822531 SOS 7287564 HAS SOPS 6082720 HAS SOUS 1884993 HAS SOUPS 1798856 WITH SCORE 1806143.564
AT ITER 3528 NEW BEST:: SOT 11821827 SOS 7286147 HAS SOPS 6082163 HAS SOUS 1884766 HAS SOUPS 1798629 WITH SCORE 1805915.147
AT ITER 3534 NEW BEST:: SOT 11820462 SOS 7282258 HAS SOPS 6079268 HAS SOUS 1883090 HAS SOUPS 1796980 WITH SCORE 1804262.258
AT ITER 3543 NEW BEST:: SOT 11819403 SOS 7281089 HAS SOPS 6078146 HAS SOUS 1881025 HAS SOUPS 1794915 WITH SCORE 1802196.089
AT ITER 3552 NEW BEST:: SOT 11818414 SOS 7278496 HAS SOPS 6075890 HAS SOUS 1879915 HAS SOUPS 1793820 WITH SCORE 1801098.496
AT ITER 3558 NEW BEST:: SOT 11818374 SOS 7278491 HAS SOPS 6075867 HAS SOUS 1879704 HAS SOUPS 1793614 WITH SCORE 1800892.491
AT ITER 3569 NEW BEST:: SOT 11816937 SOS 7273368 HAS SOPS 6070518 HAS SOUS 1876575 HAS SOUPS 1790485 WITH SCORE 1797758.368
AT ITER 3576 NEW BEST:: SOT 11818085 SOS 7274516 HAS SOPS 6071218 HAS SOUS 1876295 HAS SOUPS 1790141 WITH SCORE 1797415.516
AT ITER 3629 NEW BEST:: SOT 11815444 SOS 7266836 HAS SOPS 6066242 HAS SOUS 1875077 HAS SOUPS 1789215 WITH SCORE 1796481.836
AT ITER 3638 NEW BEST:: SOT 11815306 SOS 7266620 HAS SOPS 6065999 HAS SOUS 1874804 HAS SOUPS 1788942 WITH SCORE 1796208.62
AT ITER 3646 NEW BEST:: SOT 11815792 SOS 7268886 HAS SOPS 6067727 HAS SOUS 1873851 HAS SOUPS 1787989 WITH SCORE 1795257.886
AT ITER 3657 NEW BEST:: SOT 11817872 SOS 7270966 HAS SOPS 6069311 HAS SOUS 1873755 HAS SOUPS 1787893 WITH SCORE 1795163.966
AT ITER 3664 NEW BEST:: SOT 11817887 SOS 7270981 HAS SOPS 6068846 HAS SOUS 1873650 HAS SOUPS 1787428 WITH SCORE 1794698.981
AT ITER 3669 NEW BEST:: SOT 11816789 SOS 7269872 HAS SOPS 6067524 HAS SOUS 1872381 HAS SOUPS 1786159 WITH SCORE 1793428.872
AT ITER 3671 NEW BEST:: SOT 11816619 SOS 7269702 HAS SOPS 6067244 HAS SOUS 1872100 HAS SOUPS 1785878 WITH SCORE 1793147.702
AT ITER 3678 NEW BEST:: SOT 11816169 SOS 7269252 HAS SOPS 6066794 HAS SOUS 1871650 HAS SOUPS 1785428 WITH SCORE 1792697.252
AT ITER 3681 NEW BEST:: SOT 11815959 SOS 7267227 HAS SOPS 6062580 HAS SOUS 1867560 HAS SOUPS 1781338 WITH SCORE 1788605.227
AT ITER 3712 NEW BEST:: SOT 11813244 SOS 7262823 HAS SOPS 6058785 HAS SOUS 1865444 HAS SOUPS 1779251 WITH SCORE 1786513.823
AT ITER 3721 NEW BEST:: SOT 11813464 SOS 7263665 HAS SOPS 6059239 HAS SOUS 1865202 HAS SOUPS 1778937 WITH SCORE 1786200.665
AT ITER 3731 NEW BEST:: SOT 11812679 SOS 7261096 HAS SOPS 6055612 HAS SOUS 1863496 HAS SOUPS 1777231 WITH SCORE 1784492.096
AT ITER 3740 NEW BEST:: SOT 11802232 SOS 7246183 HAS SOPS 6043174 HAS SOUS 1863346 HAS SOUPS 1777081 WITH SCORE 1784327.183
AT ITER 3767 NEW BEST:: SOT 11801550 SOS 7245267 HAS SOPS 6042310 HAS SOUS 1862570 HAS SOUPS 1776318 WITH SCORE 1783563.267
AT ITER 3791 NEW BEST:: SOT 11803713 SOS 7257685 HAS SOPS 6052044 HAS SOUS 1859285 HAS SOUPS 1773033 WITH SCORE 1780290.685
AT ITER 3798 NEW BEST:: SOT 11802441 SOS 7256398 HAS SOPS 6050309 HAS SOUS 1856164 HAS SOUPS 1769940 WITH SCORE 1777196.398
AT ITER 3805 NEW BEST:: SOT 11802941 SOS 7256218 HAS SOPS 6050517 HAS SOUS 1855069 HAS SOUPS 1768801 WITH SCORE 1776057.218
AT ITER 3807 NEW BEST:: SOT 11803009 SOS 7254830 HAS SOPS 6049505 HAS SOUS 1846266 HAS SOUPS 1760104 WITH SCORE 1767358.83
AT ITER 3820 NEW BEST:: SOT 11802859 SOS 7254917 HAS SOPS 6049010 HAS SOUS 1845459 HAS SOUPS 1759287 WITH SCORE 1766541.917
AT ITER 3842 NEW BEST:: SOT 11799674 SOS 7248235 HAS SOPS 6044601 HAS SOUS 1843647 HAS SOUPS 1757579 WITH SCORE 1764827.235
AT ITER 3856 NEW BEST:: SOT 11800879 SOS 7267486 HAS SOPS 6058078 HAS SOUS 1828490 HAS SOUPS 1742422 WITH SCORE 1749689.486
AT ITER 3862 NEW BEST:: SOT 11800773 SOS 7265684 HAS SOPS 6056400 HAS SOUS 1828290 HAS SOUPS 1742222 WITH SCORE 1749487.684
AT ITER 3865 NEW BEST:: SOT 11802402 SOS 7273253 HAS SOPS 6061595 HAS SOUS 1827199 HAS SOUPS 1741131 WITH SCORE 1748404.253
AT ITER 3879 NEW BEST:: SOT 11801598 SOS 7272062 HAS SOPS 6059970 HAS SOUS 1827184 HAS SOUPS 1741116 WITH SCORE 1748388.062
AT ITER 3886 NEW BEST:: SOT 11801224 SOS 7268992 HAS SOPS 6055219 HAS SOUS 1824141 HAS SOUPS 1738073 WITH SCORE 1745341.992
AT ITER 3890 NEW BEST:: SOT 11797974 SOS 7265441 HAS SOPS 6051915 HAS SOUS 1816997 HAS SOUPS 1730948 WITH SCORE 1738213.441
AT ITER 3901 NEW BEST:: SOT 11799312 SOS 7266279 HAS SOPS 6051726 HAS SOUS 1815238 HAS SOUPS 1729154 WITH SCORE 1736420.279
AT ITER 3906 NEW BEST:: SOT 11800128 SOS 7267095 HAS SOPS 6052542 HAS SOUS 1814966 HAS SOUPS 1728882 WITH SCORE 1736149.095
AT ITER 3945 NEW BEST:: SOT 11799763 SOS 7266777 HAS SOPS 6052021 HAS SOUS 1814810 HAS SOUPS 1728726 WITH SCORE 1735992.777
AT ITER 3947 NEW BEST:: SOT 11800588 SOS 7267765 HAS SOPS 6053180 HAS SOUS 1812832 HAS SOUPS 1726964 WITH SCORE 1734231.765
AT ITER 3976 NEW BEST:: SOT 11800418 SOS 7267446 HAS SOPS 6052848 HAS SOUS 1812806 HAS SOUPS 1726955 WITH SCORE 1734222.446
AT ITER 3979 NEW BEST:: SOT 11800390 SOS 7267418 HAS SOPS 6052820 HAS SOUS 1812806 HAS SOUPS 1726955 WITH SCORE 1734222.418
AT ITER 4007 NEW BEST:: SOT 11799918 SOS 7267176 HAS SOPS 6052077 HAS SOUS 1812014 HAS SOUPS 1726163 WITH SCORE 1733430.176
AT ITER 4014 NEW BEST:: SOT 11799905 SOS 7267174 HAS SOPS 6052284 HAS SOUS 1811996 HAS SOUPS 1726145 WITH SCORE 1733412.174
AT ITER 4022 NEW BEST:: SOT 11799571 SOS 7266728 HAS SOPS 6051614 HAS SOUS 1811174 HAS SOUPS 1725331 WITH SCORE 1732597.728
AT ITER 4032 NEW BEST:: SOT 11799279 SOS 7266518 HAS SOPS 6051575 HAS SOUS 1810779 HAS SOUPS 1724936 WITH SCORE 1732202.518
AT ITER 4033 NEW BEST:: SOT 11799174 SOS 7266413 HAS SOPS 6051470 HAS SOUS 1810674 HAS SOUPS 1724831 WITH SCORE 1732097.413
AT ITER 4036 NEW BEST:: SOT 11798742 SOS 7265995 HAS SOPS 6050812 HAS SOUS 1809450 HAS SOUPS 1723607 WITH SCORE 1730872.995
AT ITER 4060 NEW BEST:: SOT 11798761 SOS 7265552 HAS SOPS 6050369 HAS SOUS 1809357 HAS SOUPS 1723514 WITH SCORE 1730779.552
AT ITER 4078 NEW BEST:: SOT 11796497 SOS 7263288 HAS SOPS 6048105 HAS SOUS 1807461 HAS SOUPS 1721618 WITH SCORE 1728881.288
AT ITER 4083 NEW BEST:: SOT 11796227 SOS 7263048 HAS SOPS 6047757 HAS SOUS 1806903 HAS SOUPS 1721060 WITH SCORE 1728323.048
AT ITER 4084 NEW BEST:: SOT 11791688 SOS 7249321 HAS SOPS 6035735 HAS SOUS 1802508 HAS SOUPS 1716780 WITH SCORE 1724029.321
AT ITER 4091 NEW BEST:: SOT 11790585 SOS 7246295 HAS SOPS 6033096 HAS SOUS 1802178 HAS SOUPS 1716467 WITH SCORE 1723713.295
AT ITER 4125 NEW BEST:: SOT 11789438 SOS 7245148 HAS SOPS 6032573 HAS SOUS 1800255 HAS SOUPS 1715024 WITH SCORE 1722269.148
AT ITER 4128 NEW BEST:: SOT 11792965 SOS 7255958 HAS SOPS 6040542 HAS SOUS 1794145 HAS SOUPS 1708459 WITH SCORE 1715714.958
AT ITER 4131 NEW BEST:: SOT 11792524 SOS 7255517 HAS SOPS 6039525 HAS SOUS 1793572 HAS SOUPS 1707868 WITH SCORE 1715123.517
AT ITER 4139 NEW BEST:: SOT 11792518 SOS 7256274 HAS SOPS 6038403 HAS SOUS 1793521 HAS SOUPS 1707817 WITH SCORE 1715073.274
AT ITER 4145 NEW BEST:: SOT 11791506 SOS 7254770 HAS SOPS 6036557 HAS SOUS 1792489 HAS SOUPS 1706785 WITH SCORE 1714039.77
AT ITER 4150 NEW BEST:: SOT 11792010 SOS 7259185 HAS SOPS 6040808 HAS SOUS 1790734 HAS SOUPS 1705030 WITH SCORE 1712289.185
AT ITER 4175 NEW BEST:: SOT 11792319 SOS 7260185 HAS SOPS 6041369 HAS SOUS 1790187 HAS SOUPS 1704472 WITH SCORE 1711732.185
AT ITER 4180 NEW BEST:: SOT 11793173 SOS 7260663 HAS SOPS 6040663 HAS SOUS 1789809 HAS SOUPS 1704094 WITH SCORE 1711354.663
AT ITER 4202 NEW BEST:: SOT 11793196 SOS 7260378 HAS SOPS 6041023 HAS SOUS 1789784 HAS SOUPS 1704069 WITH SCORE 1711329.378
AT ITER 4207 NEW BEST:: SOT 11793425 SOS 7260949 HAS SOPS 6041809 HAS SOUS 1789753 HAS SOUPS 1704038 WITH SCORE 1711298.949
AT ITER 4217 NEW BEST:: SOT 11793908 SOS 7262811 HAS SOPS 6043617 HAS SOUS 1787519 HAS SOUPS 1701804 WITH SCORE 1709066.811
AT ITER 4236 NEW BEST:: SOT 11792776 SOS 7260508 HAS SOPS 6042594 HAS SOUS 1787131 HAS SOUPS 1701516 WITH SCORE 1708776.508
AT ITER 4237 NEW BEST:: SOT 11792617 SOS 7259478 HAS SOPS 6041603 HAS SOUS 1786473 HAS SOUPS 1700858 WITH SCORE 1708117.478
AT ITER 4250 NEW BEST:: SOT 11791019 SOS 7258505 HAS SOPS 6040642 HAS SOUS 1784897 HAS SOUPS 1699282 WITH SCORE 1706540.505
AT ITER 4278 NEW BEST:: SOT 11787289 SOS 7251256 HAS SOPS 6033808 HAS SOUS 1779286 HAS SOUPS 1693701 WITH SCORE 1700952.256
AT ITER 4280 NEW BEST:: SOT 11789949 SOS 7258452 HAS SOPS 6040538 HAS SOUS 1777254 HAS SOUPS 1691723 WITH SCORE 1698981.452
AT ITER 4300 NEW BEST:: SOT 11789086 SOS 7257602 HAS SOPS 6039915 HAS SOUS 1777139 HAS SOUPS 1691599 WITH SCORE 1698856.602
AT ITER 4311 NEW BEST:: SOT 11787331 SOS 7254419 HAS SOPS 6037638 HAS SOUS 1774742 HAS SOUPS 1689202 WITH SCORE 1696456.419
AT ITER 4337 NEW BEST:: SOT 11787144 SOS 7252894 HAS SOPS 6035512 HAS SOUS 1774292 HAS SOUPS 1688752 WITH SCORE 1696004.894
AT ITER 4354 NEW BEST:: SOT 11786992 SOS 7275723 HAS SOPS 6045097 HAS SOUS 1767439 HAS SOUPS 1681644 WITH SCORE 1688919.723
AT ITER 4366 NEW BEST:: SOT 11781851 SOS 7263556 HAS SOPS 6037051 HAS SOUS 1763533 HAS SOUPS 1677768 WITH SCORE 1685031.556
AT ITER 4368 NEW BEST:: SOT 11781707 SOS 7263412 HAS SOPS 6036811 HAS SOUS 1762957 HAS SOUPS 1677192 WITH SCORE 1684455.412
AT ITER 4381 NEW BEST:: SOT 11781358 SOS 7264666 HAS SOPS 6038912 HAS SOUS 1762779 HAS SOUPS 1677014 WITH SCORE 1684278.666
AT ITER 4385 NEW BEST:: SOT 11786630 SOS 7277458 HAS SOPS 6050801 HAS SOUS 1762540 HAS SOUPS 1676850 WITH SCORE 1684127.458
AT ITER 4393 NEW BEST:: SOT 11786038 SOS 7276677 HAS SOPS 6049785 HAS SOUS 1762267 HAS SOUPS 1676497 WITH SCORE 1683773.677
AT ITER 4401 NEW BEST:: SOT 11785549 SOS 7269854 HAS SOPS 6044027 HAS SOUS 1759352 HAS SOUPS 1673787 WITH SCORE 1681056.854
AT ITER 4408 NEW BEST:: SOT 11785561 SOS 7270364 HAS SOPS 6043976 HAS SOUS 1758925 HAS SOUPS 1673349 WITH SCORE 1680619.364
AT ITER 4446 NEW BEST:: SOT 11785524 SOS 7269793 HAS SOPS 6043876 HAS SOUS 1758876 HAS SOUPS 1673309 WITH SCORE 1680578.793
AT ITER 4448 NEW BEST:: SOT 11783497 SOS 7263525 HAS SOPS 6033901 HAS SOUS 1757494 HAS SOUPS 1671802 WITH SCORE 1679065.525
AT ITER 4453 NEW BEST:: SOT 11783495 SOS 7264950 HAS SOPS 6035233 HAS SOUS 1757398 HAS SOUPS 1671706 WITH SCORE 1678970.95
AT ITER 4456 NEW BEST:: SOT 11782181 SOS 7262168 HAS SOPS 6032058 HAS SOUS 1756475 HAS SOUPS 1670953 WITH SCORE 1678215.168
AT ITER 4477 NEW BEST:: SOT 11783653 SOS 7263901 HAS SOPS 6031613 HAS SOUS 1752465 HAS SOUPS 1666870 WITH SCORE 1674133.901
AT ITER 4480 NEW BEST:: SOT 11783258 SOS 7263262 HAS SOPS 6031076 HAS SOUS 1752190 HAS SOUPS 1666595 WITH SCORE 1673858.262
AT ITER 4499 NEW BEST:: SOT 11782794 SOS 7262343 HAS SOPS 6030338 HAS SOUS 1751069 HAS SOUPS 1665491 WITH SCORE 1672753.343
AT ITER 4558 NEW BEST:: SOT 11784722 SOS 7268410 HAS SOPS 6035368 HAS SOUS 1750844 HAS SOUPS 1665266 WITH SCORE 1672534.41
AT ITER 4587 NEW BEST:: SOT 11784906 SOS 7268992 HAS SOPS 6035439 HAS SOUS 1750665 HAS SOUPS 1665087 WITH SCORE 1672355.992
AT ITER 4597 NEW BEST:: SOT 11783978 SOS 7268250 HAS SOPS 6033775 HAS SOUS 1748809 HAS SOUPS 1663171 WITH SCORE 1670439.25
AT ITER 4615 NEW BEST:: SOT 11784674 SOS 7269020 HAS SOPS 6033745 HAS SOUS 1748302 HAS SOUPS 1662522 WITH SCORE 1669791.02
AT ITER 4634 NEW BEST:: SOT 11780535 SOS 7262635 HAS SOPS 6027995 HAS SOUS 1744424 HAS SOUPS 1659039 WITH SCORE 1666301.635
AT ITER 4635 NEW BEST:: SOT 11780512 SOS 7262462 HAS SOPS 6027749 HAS SOUS 1744349 HAS SOUPS 1658964 WITH SCORE 1666226.462
AT ITER 4653 NEW BEST:: SOT 11780517 SOS 7262393 HAS SOPS 6027494 HAS SOUS 1743928 HAS SOUPS 1658543 WITH SCORE 1665805.393
AT ITER 4654 NEW BEST:: SOT 11778941 SOS 7258650 HAS SOPS 6023290 HAS SOUS 1741376 HAS SOUPS 1655991 WITH SCORE 1663249.65
AT ITER 4671 NEW BEST:: SOT 11777475 SOS 7256700 HAS SOPS 6021499 HAS SOUS 1737486 HAS SOUPS 1652101 WITH SCORE 1659357.7
AT ITER 4694 NEW BEST:: SOT 11777312 SOS 7256597 HAS SOPS 6021550 HAS SOUS 1736623 HAS SOUPS 1651238 WITH SCORE 1658494.597
AT ITER 4703 NEW BEST:: SOT 11777312 SOS 7256470 HAS SOPS 6021753 HAS SOUS 1736556 HAS SOUPS 1651177 WITH SCORE 1658433.47
AT ITER 4722 NEW BEST:: SOT 11776833 SOS 7254445 HAS SOPS 6020056 HAS SOUS 1734972 HAS SOUPS 1649668 WITH SCORE 1656922.445
AT ITER 4723 NEW BEST:: SOT 11775803 SOS 7253323 HAS SOPS 6020240 HAS SOUS 1733050 HAS SOUPS 1647954 WITH SCORE 1655207.323
AT ITER 4726 NEW BEST:: SOT 11775783 SOS 7253309 HAS SOPS 6020226 HAS SOUS 1733019 HAS SOUPS 1647923 WITH SCORE 1655176.309
AT ITER 4731 NEW BEST:: SOT 11776145 SOS 7254098 HAS SOPS 6018290 HAS SOUS 1729720 HAS SOUPS 1644551 WITH SCORE 1651805.098
AT ITER 4734 NEW BEST:: SOT 11778042 SOS 7256057 HAS SOPS 6020121 HAS SOUS 1728617 HAS SOUPS 1643448 WITH SCORE 1650704.057
AT ITER 4758 NEW BEST:: SOT 11777079 SOS 7251343 HAS SOPS 6016368 HAS SOUS 1725600 HAS SOUPS 1640559 WITH SCORE 1647810.343
AT ITER 4784 NEW BEST:: SOT 11776620 SOS 7250906 HAS SOPS 6015440 HAS SOUS 1724693 HAS SOUPS 1639641 WITH SCORE 1646891.906
AT ITER 4799 NEW BEST:: SOT 11777596 SOS 7253248 HAS SOPS 6016045 HAS SOUS 1723202 HAS SOUPS 1638061 WITH SCORE 1645314.248
AT ITER 4808 NEW BEST:: SOT 11771754 SOS 7231901 HAS SOPS 6005324 HAS SOUS 1719775 HAS SOUPS 1634876 WITH SCORE 1642107.901
AT ITER 4821 NEW BEST:: SOT 11771773 SOS 7231794 HAS SOPS 6004900 HAS SOUS 1719716 HAS SOUPS 1634817 WITH SCORE 1642048.794
AT ITER 4824 NEW BEST:: SOT 11771494 SOS 7232369 HAS SOPS 6004915 HAS SOUS 1718419 HAS SOUPS 1633489 WITH SCORE 1640721.369
AT ITER 4835 NEW BEST:: SOT 11767996 SOS 7216812 HAS SOPS 5997329 HAS SOUS 1714608 HAS SOUPS 1630024 WITH SCORE 1637240.812
AT ITER 4837 NEW BEST:: SOT 11765873 SOS 7220241 HAS SOPS 6005731 HAS SOUS 1710857 HAS SOUPS 1626573 WITH SCORE 1633793.241
AT ITER 4852 NEW BEST:: SOT 11765479 SOS 7222094 HAS SOPS 6002269 HAS SOUS 1706382 HAS SOUPS 1622001 WITH SCORE 1629223.094
AT ITER 4870 NEW BEST:: SOT 11759488 SOS 7214298 HAS SOPS 5991055 HAS SOUS 1699644 HAS SOUPS 1615083 WITH SCORE 1622297.298
AT ITER 4875 NEW BEST:: SOT 11759270 SOS 7214061 HAS SOPS 5990548 HAS SOUS 1699419 HAS SOUPS 1614871 WITH SCORE 1622085.061
AT ITER 4876 NEW BEST:: SOT 11755625 SOS 7209313 HAS SOPS 5985147 HAS SOUS 1699356 HAS SOUPS 1614787 WITH SCORE 1621996.313
AT ITER 4877 NEW BEST:: SOT 11755297 SOS 7209034 HAS SOPS 5984676 HAS SOUS 1698802 HAS SOUPS 1614233 WITH SCORE 1621442.034
AT ITER 4879 NEW BEST:: SOT 11750897 SOS 7207046 HAS SOPS 5979059 HAS SOUS 1687043 HAS SOUPS 1602359 WITH SCORE 1609566.046
AT ITER 4882 NEW BEST:: SOT 11750519 SOS 7205889 HAS SOPS 5977968 HAS SOUS 1686138 HAS SOUPS 1601454 WITH SCORE 1608659.889
AT ITER 4889 NEW BEST:: SOT 11748742 SOS 7203103 HAS SOPS 5973685 HAS SOUS 1683501 HAS SOUPS 1598756 WITH SCORE 1605959.103
AT ITER 4892 NEW BEST:: SOT 11748504 SOS 7201195 HAS SOPS 5975217 HAS SOUS 1681663 HAS SOUPS 1597044 WITH SCORE 1604245.195
AT ITER 4901 NEW BEST:: SOT 11753038 SOS 7209796 HAS SOPS 5987649 HAS SOUS 1680018 HAS SOUPS 1595498 WITH SCORE 1602707.796
AT ITER 4905 NEW BEST:: SOT 11752962 SOS 7209724 HAS SOPS 5987577 HAS SOUS 1679872 HAS SOUPS 1595352 WITH SCORE 1602561.724
AT ITER 4907 NEW BEST:: SOT 11752784 SOS 7209156 HAS SOPS 5986961 HAS SOUS 1679610 HAS SOUPS 1595090 WITH SCORE 1602299.156
AT ITER 4921 NEW BEST:: SOT 11753796 SOS 7210168 HAS SOPS 5987589 HAS SOUS 1679494 HAS SOUPS 1594926 WITH SCORE 1602136.168
AT ITER 4951 NEW BEST:: SOT 11753597 SOS 7209213 HAS SOPS 5985861 HAS SOUS 1678975 HAS SOUPS 1594407 WITH SCORE 1601616.213
AT ITER 4963 NEW BEST:: SOT 11752865 SOS 7208481 HAS SOPS 5984921 HAS SOUS 1677899 HAS SOUPS 1593235 WITH SCORE 1600443.481
AT ITER 4966 NEW BEST:: SOT 11752770 SOS 7208449 HAS SOPS 5982891 HAS SOUS 1676462 HAS SOUPS 1591798 WITH SCORE 1599006.449
AT ITER 4976 NEW BEST:: SOT 11752340 SOS 7208007 HAS SOPS 5982641 HAS SOUS 1676332 HAS SOUPS 1591680 WITH SCORE 1598888.007
AT ITER 4977 NEW BEST:: SOT 11752028 SOS 7207281 HAS SOPS 5982023 HAS SOUS 1676062 HAS SOUPS 1591413 WITH SCORE 1598620.281
AT ITER 5025 NEW BEST:: SOT 11745045 SOS 7199276 HAS SOPS 5977581 HAS SOUS 1668825 HAS SOUPS 1584300 WITH SCORE 1591499.276
AT ITER 5028 NEW BEST:: SOT 11741709 SOS 7190272 HAS SOPS 5969422 HAS SOUS 1663147 HAS SOUPS 1578662 WITH SCORE 1585852.272
AT ITER 5034 NEW BEST:: SOT 11740551 SOS 7186388 HAS SOPS 5967187 HAS SOUS 1661585 HAS SOUPS 1577114 WITH SCORE 1584300.388
AT ITER 5054 NEW BEST:: SOT 11740623 SOS 7186565 HAS SOPS 5967770 HAS SOUS 1661571 HAS SOUPS 1577100 WITH SCORE 1584286.565
AT ITER 5059 NEW BEST:: SOT 11740473 SOS 7186406 HAS SOPS 5967545 HAS SOUS 1661387 HAS SOUPS 1576895 WITH SCORE 1584081.406
AT ITER 5064 NEW BEST:: SOT 11740402 SOS 7186333 HAS SOPS 5967472 HAS SOUS 1661301 HAS SOUPS 1576809 WITH SCORE 1583995.333
AT ITER 5066 NEW BEST:: SOT 11740358 SOS 7186219 HAS SOPS 5967011 HAS SOUS 1661155 HAS SOUPS 1576663 WITH SCORE 1583849.219
AT ITER 5090 NEW BEST:: SOT 11740349 SOS 7184812 HAS SOPS 5966177 HAS SOUS 1660932 HAS SOUPS 1576471 WITH SCORE 1583655.812
AT ITER 5091 NEW BEST:: SOT 11733885 SOS 7170887 HAS SOPS 5951189 HAS SOUS 1655205 HAS SOUPS 1570694 WITH SCORE 1577864.887
AT ITER 5094 NEW BEST:: SOT 11734458 SOS 7171640 HAS SOPS 5951483 HAS SOUS 1654693 HAS SOUPS 1570182 WITH SCORE 1577353.64
AT ITER 5124 NEW BEST:: SOT 11733858 SOS 7170838 HAS SOPS 5950233 HAS SOUS 1653719 HAS SOUPS 1569208 WITH SCORE 1576378.838
AT ITER 5174 NEW BEST:: SOT 11733810 SOS 7170627 HAS SOPS 5949941 HAS SOUS 1653528 HAS SOUPS 1569017 WITH SCORE 1576187.627
AT ITER 5184 NEW BEST:: SOT 11731886 SOS 7168491 HAS SOPS 5946221 HAS SOUS 1648031 HAS SOUPS 1563584 WITH SCORE 1570752.491
AT ITER 5188 NEW BEST:: SOT 11732080 SOS 7168685 HAS SOPS 5946303 HAS SOUS 1647825 HAS SOUPS 1563362 WITH SCORE 1570530.685
AT ITER 5209 NEW BEST:: SOT 11730572 SOS 7166886 HAS SOPS 5946121 HAS SOUS 1646935 HAS SOUPS 1562521 WITH SCORE 1569687.886
AT ITER 5211 NEW BEST:: SOT 11731188 SOS 7167500 HAS SOPS 5946175 HAS SOUS 1645559 HAS SOUPS 1561145 WITH SCORE 1568312.5
AT ITER 5258 NEW BEST:: SOT 11730687 SOS 7163861 HAS SOPS 5943262 HAS SOUS 1645287 HAS SOUPS 1560894 WITH SCORE 1568057.861
AT ITER 5267 NEW BEST:: SOT 11730064 SOS 7163290 HAS SOPS 5943203 HAS SOUS 1644328 HAS SOUPS 1559935 WITH SCORE 1567098.29
AT ITER 5323 NEW BEST:: SOT 11726979 SOS 7160278 HAS SOPS 5940767 HAS SOUS 1643743 HAS SOUPS 1559350 WITH SCORE 1566510.278
AT ITER 5330 NEW BEST:: SOT 11720557 SOS 7149266 HAS SOPS 5928021 HAS SOUS 1634170 HAS SOUPS 1549999 WITH SCORE 1557148.266
AT ITER 5343 NEW BEST:: SOT 11720297 SOS 7149108 HAS SOPS 5927929 HAS SOUS 1634120 HAS SOUPS 1549955 WITH SCORE 1557104.108
AT ITER 5364 NEW BEST:: SOT 11719148 SOS 7145172 HAS SOPS 5923805 HAS SOUS 1632379 HAS SOUPS 1548214 WITH SCORE 1555359.172
AT ITER 5368 NEW BEST:: SOT 11717662 SOS 7144084 HAS SOPS 5923458 HAS SOUS 1628918 HAS SOUPS 1544791 WITH SCORE 1551935.084
AT ITER 5377 NEW BEST:: SOT 11709325 SOS 7133549 HAS SOPS 5912257 HAS SOUS 1625128 HAS SOUPS 1541001 WITH SCORE 1548134.549
AT ITER 5411 NEW BEST:: SOT 11709343 SOS 7133435 HAS SOPS 5911397 HAS SOUS 1624763 HAS SOUPS 1540608 WITH SCORE 1547741.435
AT ITER 5418 NEW BEST:: SOT 11713620 SOS 7138574 HAS SOPS 5917624 HAS SOUS 1621429 HAS SOUPS 1537274 WITH SCORE 1544412.574
AT ITER 5430 NEW BEST:: SOT 11712542 SOS 7138681 HAS SOPS 5916104 HAS SOUS 1619117 HAS SOUPS 1534924 WITH SCORE 1542062.681
AT ITER 5460 NEW BEST:: SOT 11712055 SOS 7138203 HAS SOPS 5915700 HAS SOUS 1618855 HAS SOUPS 1534649 WITH SCORE 1541787.203
AT ITER 5478 NEW BEST:: SOT 11711666 SOS 7138011 HAS SOPS 5915265 HAS SOUS 1618852 HAS SOUPS 1534646 WITH SCORE 1541784.011
AT ITER 5485 NEW BEST:: SOT 11711169 SOS 7137892 HAS SOPS 5915673 HAS SOUS 1618720 HAS SOUPS 1534514 WITH SCORE 1541651.892
AT ITER 5490 NEW BEST:: SOT 11710871 SOS 7137594 HAS SOPS 5915159 HAS SOUS 1617990 HAS SOUPS 1533784 WITH SCORE 1540921.594
AT ITER 5491 NEW BEST:: SOT 11710340 SOS 7137477 HAS SOPS 5913695 HAS SOUS 1616128 HAS SOUPS 1531922 WITH SCORE 1539059.477
AT ITER 5502 NEW BEST:: SOT 11710806 SOS 7137896 HAS SOPS 5914637 HAS SOUS 1614106 HAS SOUPS 1530540 WITH SCORE 1537677.896
AT ITER 5518 NEW BEST:: SOT 11709757 SOS 7136817 HAS SOPS 5913558 HAS SOUS 1613221 HAS SOUPS 1529655 WITH SCORE 1536791.817
AT ITER 5595 NEW BEST:: SOT 11708092 SOS 7134436 HAS SOPS 5910387 HAS SOUS 1609035 HAS SOUPS 1525472 WITH SCORE 1532606.436
AT ITER 5616 NEW BEST:: SOT 11708156 SOS 7134662 HAS SOPS 5910632 HAS SOUS 1609029 HAS SOUPS 1525466 WITH SCORE 1532600.662
AT ITER 5620 NEW BEST:: SOT 11709272 SOS 7135223 HAS SOPS 5912627 HAS SOUS 1608715 HAS SOUPS 1525236 WITH SCORE 1532371.223
AT ITER 5624 NEW BEST:: SOT 11707457 SOS 7134221 HAS SOPS 5909757 HAS SOUS 1606181 HAS SOUPS 1522668 WITH SCORE 1529802.221
AT ITER 5632 NEW BEST:: SOT 11707373 SOS 7133667 HAS SOPS 5909238 HAS SOUS 1606127 HAS SOUPS 1522614 WITH SCORE 1529747.667
AT ITER 5648 NEW BEST:: SOT 11702989 SOS 7128471 HAS SOPS 5901884 HAS SOUS 1602860 HAS SOUPS 1519268 WITH SCORE 1526396.471
AT ITER 5650 NEW BEST:: SOT 11701760 SOS 7127329 HAS SOPS 5899734 HAS SOUS 1603045 HAS SOUPS 1519162 WITH SCORE 1526289.329
AT ITER 5651 NEW BEST:: SOT 11698534 SOS 7119715 HAS SOPS 5894705 HAS SOUS 1602041 HAS SOUPS 1518348 WITH SCORE 1525467.715
AT ITER 5655 NEW BEST:: SOT 11697829 SOS 7119344 HAS SOPS 5893299 HAS SOUS 1601017 HAS SOUPS 1517216 WITH SCORE 1524335.344
AT ITER 5667 NEW BEST:: SOT 11697341 SOS 7117534 HAS SOPS 5891186 HAS SOUS 1599869 HAS SOUPS 1516068 WITH SCORE 1523185.534
AT ITER 5668 NEW BEST:: SOT 11696651 SOS 7117330 HAS SOPS 5890332 HAS SOUS 1598634 HAS SOUPS 1514712 WITH SCORE 1521829.33
AT ITER 5674 NEW BEST:: SOT 11696705 SOS 7116466 HAS SOPS 5890206 HAS SOUS 1598557 HAS SOUPS 1514653 WITH SCORE 1521769.466
AT ITER 5723 NEW BEST:: SOT 11696705 SOS 7116054 HAS SOPS 5889834 HAS SOUS 1598132 HAS SOUPS 1514228 WITH SCORE 1521344.054
AT ITER 5730 NEW BEST:: SOT 11695821 SOS 7115259 HAS SOPS 5887751 HAS SOUS 1595714 HAS SOUPS 1511458 WITH SCORE 1518573.259
AT ITER 5736 NEW BEST:: SOT 11694978 SOS 7114177 HAS SOPS 5886615 HAS SOUS 1594255 HAS SOUPS 1509999 WITH SCORE 1517113.177
AT ITER 5771 NEW BEST:: SOT 11695358 SOS 7116810 HAS SOPS 5888668 HAS SOUS 1593204 HAS SOUPS 1508948 WITH SCORE 1516064.81
AT ITER 5787 NEW BEST:: SOT 11695673 SOS 7117258 HAS SOPS 5889156 HAS SOUS 1592985 HAS SOUPS 1508729 WITH SCORE 1515846.258
AT ITER 5799 NEW BEST:: SOT 11694795 SOS 7116035 HAS SOPS 5888649 HAS SOUS 1591588 HAS SOUPS 1507332 WITH SCORE 1514448.035
AT ITER 5810 NEW BEST:: SOT 11690728 SOS 7110440 HAS SOPS 5879803 HAS SOUS 1577832 HAS SOUPS 1493576 WITH SCORE 1500686.44
AT ITER 5829 NEW BEST:: SOT 11690528 SOS 7110646 HAS SOPS 5879353 HAS SOUS 1575619 HAS SOUPS 1491359 WITH SCORE 1498469.646
AT ITER 5852 NEW BEST:: SOT 11695198 SOS 7120133 HAS SOPS 5886770 HAS SOUS 1573834 HAS SOUPS 1489512 WITH SCORE 1496632.133
AT ITER 5871 NEW BEST:: SOT 11695878 SOS 7119678 HAS SOPS 5885361 HAS SOUS 1573733 HAS SOUPS 1489411 WITH SCORE 1496530.678
AT ITER 5880 NEW BEST:: SOT 11695709 SOS 7119134 HAS SOPS 5884847 HAS SOUS 1573472 HAS SOUPS 1489150 WITH SCORE 1496269.134
AT ITER 5898 NEW BEST:: SOT 11695613 SOS 7118536 HAS SOPS 5884070 HAS SOUS 1572082 HAS SOUPS 1487760 WITH SCORE 1494878.536
AT ITER 5905 NEW BEST:: SOT 11694825 SOS 7117748 HAS SOPS 5883586 HAS SOUS 1570886 HAS SOUPS 1486804 WITH SCORE 1493921.748
AT ITER 5943 NEW BEST:: SOT 11694280 SOS 7117571 HAS SOPS 5882478 HAS SOUS 1569397 HAS SOUPS 1485296 WITH SCORE 1492413.571
AT ITER 5963 NEW BEST:: SOT 11695007 SOS 7119049 HAS SOPS 5884658 HAS SOUS 1569298 HAS SOUPS 1485227 WITH SCORE 1492346.049
AT ITER 5978 NEW BEST:: SOT 11686269 SOS 7110281 HAS SOPS 5874770 HAS SOUS 1557763 HAS SOUPS 1473692 WITH SCORE 1480802.281
AT ITER 6005 NEW BEST:: SOT 11686533 SOS 7111485 HAS SOPS 5875455 HAS SOUS 1557100 HAS SOUPS 1473029 WITH SCORE 1480140.485
AT ITER 6026 NEW BEST:: SOT 11686361 SOS 7111313 HAS SOPS 5875283 HAS SOUS 1556992 HAS SOUPS 1472921 WITH SCORE 1480032.313
AT ITER 6041 NEW BEST:: SOT 11686756 SOS 7111976 HAS SOPS 5875676 HAS SOUS 1556734 HAS SOUPS 1472663 WITH SCORE 1479774.976
AT ITER 6046 NEW BEST:: SOT 11684358 SOS 7108589 HAS SOPS 5872209 HAS SOUS 1553562 HAS SOUPS 1469500 WITH SCORE 1476608.589
AT ITER 6065 NEW BEST:: SOT 11684004 SOS 7105260 HAS SOPS 5869400 HAS SOUS 1552648 HAS SOUPS 1468586 WITH SCORE 1475691.26
AT ITER 6148 NEW BEST:: SOT 11684100 SOS 7104121 HAS SOPS 5869196 HAS SOUS 1552484 HAS SOUPS 1468422 WITH SCORE 1475526.121
AT ITER 6163 NEW BEST:: SOT 11683945 SOS 7104018 HAS SOPS 5869037 HAS SOUS 1552113 HAS SOUPS 1468051 WITH SCORE 1475155.018
AT ITER 6166 NEW BEST:: SOT 11683598 SOS 7098575 HAS SOPS 5865622 HAS SOUS 1550146 HAS SOUPS 1466084 WITH SCORE 1473182.575
AT ITER 6210 NEW BEST:: SOT 11685041 SOS 7103105 HAS SOPS 5869950 HAS SOUS 1549309 HAS SOUPS 1465247 WITH SCORE 1472350.105
AT ITER 6212 NEW BEST:: SOT 11686434 SOS 7105064 HAS SOPS 5870931 HAS SOUS 1549143 HAS SOUPS 1465063 WITH SCORE 1472168.064
AT ITER 6224 NEW BEST:: SOT 11686125 SOS 7105939 HAS SOPS 5871754 HAS SOUS 1548737 HAS SOUPS 1464657 WITH SCORE 1471762.939
AT ITER 6248 NEW BEST:: SOT 11684440 SOS 7104304 HAS SOPS 5870153 HAS SOUS 1543414 HAS SOUPS 1459358 WITH SCORE 1466462.304
AT ITER 6273 NEW BEST:: SOT 11684466 SOS 7104739 HAS SOPS 5871088 HAS SOUS 1542774 HAS SOUPS 1458830 WITH SCORE 1465934.739
AT ITER 6277 NEW BEST:: SOT 11683376 SOS 7104199 HAS SOPS 5869047 HAS SOUS 1541339 HAS SOUPS 1457395 WITH SCORE 1464499.199
AT ITER 6301 NEW BEST:: SOT 11683376 SOS 7104326 HAS SOPS 5869174 HAS SOUS 1540120 HAS SOUPS 1456176 WITH SCORE 1463280.326
AT ITER 6325 NEW BEST:: SOT 11684520 SOS 7104969 HAS SOPS 5870141 HAS SOUS 1539936 HAS SOUPS 1455923 WITH SCORE 1463027.969
AT ITER 6389 NEW BEST:: SOT 11684128 SOS 7104235 HAS SOPS 5869474 HAS SOUS 1539138 HAS SOUPS 1455129 WITH SCORE 1462233.235
AT ITER 6414 NEW BEST:: SOT 11684054 SOS 7104133 HAS SOPS 5869346 HAS SOUS 1538920 HAS SOUPS 1454911 WITH SCORE 1462015.133
AT ITER 6432 NEW BEST:: SOT 11683595 SOS 7103494 HAS SOPS 5868401 HAS SOUS 1538349 HAS SOUPS 1454340 WITH SCORE 1461443.494
AT ITER 6434 NEW BEST:: SOT 11686178 SOS 7115237 HAS SOPS 5876958 HAS SOUS 1538158 HAS SOUPS 1454149 WITH SCORE 1461264.237
AT ITER 6447 NEW BEST:: SOT 11686178 SOS 7115235 HAS SOPS 5876924 HAS SOUS 1538038 HAS SOUPS 1454029 WITH SCORE 1461144.235
AT ITER 6449 NEW BEST:: SOT 11682098 SOS 7110534 HAS SOPS 5871087 HAS SOUS 1524823 HAS SOUPS 1440897 WITH SCORE 1448007.534
AT ITER 6459 NEW BEST:: SOT 11681727 SOS 7110293 HAS SOPS 5870472 HAS SOUS 1522651 HAS SOUPS 1439049 WITH SCORE 1446159.293
AT ITER 6493 NEW BEST:: SOT 11681572 SOS 7108914 HAS SOPS 5871318 HAS SOUS 1521544 HAS SOUPS 1437942 WITH SCORE 1445050.914
AT ITER 6504 NEW BEST:: SOT 11681084 SOS 7108001 HAS SOPS 5870494 HAS SOUS 1521199 HAS SOUPS 1437605 WITH SCORE 1444713.001
AT ITER 6528 NEW BEST:: SOT 11680801 SOS 7107601 HAS SOPS 5869941 HAS SOUS 1520606 HAS SOUPS 1437012 WITH SCORE 1444119.601
AT ITER 6558 NEW BEST:: SOT 11680972 SOS 7107782 HAS SOPS 5870137 HAS SOUS 1520457 HAS SOUPS 1436858 WITH SCORE 1443965.782
AT ITER 6593 NEW BEST:: SOT 11681092 SOS 7108118 HAS SOPS 5870344 HAS SOUS 1520418 HAS SOUPS 1436819 WITH SCORE 1443927.118
AT ITER 6612 NEW BEST:: SOT 11676660 SOS 7103708 HAS SOPS 5865947 HAS SOUS 1517984 HAS SOUPS 1434494 WITH SCORE 1441597.708
AT ITER 6618 NEW BEST:: SOT 11676083 SOS 7103004 HAS SOPS 5865115 HAS SOUS 1517178 HAS SOUPS 1433662 WITH SCORE 1440765.004
AT ITER 6626 NEW BEST:: SOT 11676030 SOS 7103255 HAS SOPS 5864869 HAS SOUS 1516812 HAS SOUPS 1433283 WITH SCORE 1440386.255
AT ITER 6645 NEW BEST:: SOT 11676032 SOS 7102659 HAS SOPS 5864476 HAS SOUS 1514964 HAS SOUPS 1431435 WITH SCORE 1438537.659
AT ITER 6654 NEW BEST:: SOT 11675750 SOS 7100956 HAS SOPS 5863346 HAS SOUS 1513267 HAS SOUPS 1430053 WITH SCORE 1437153.956
AT ITER 6666 NEW BEST:: SOT 11675748 SOS 7101188 HAS SOPS 5863614 HAS SOUS 1513219 HAS SOUPS 1430005 WITH SCORE 1437106.188
AT ITER 6711 NEW BEST:: SOT 11675750 SOS 7100904 HAS SOPS 5863321 HAS SOUS 1513209 HAS SOUPS 1429995 WITH SCORE 1437095.904
AT ITER 6714 NEW BEST:: SOT 11675374 SOS 7100558 HAS SOPS 5862393 HAS SOUS 1512587 HAS SOUPS 1429361 WITH SCORE 1436461.558
AT ITER 6743 NEW BEST:: SOT 11675540 SOS 7100521 HAS SOPS 5862367 HAS SOUS 1512172 HAS SOUPS 1428940 WITH SCORE 1436040.521
AT ITER 6753 NEW BEST:: SOT 11674916 SOS 7100485 HAS SOPS 5861997 HAS SOUS 1511814 HAS SOUPS 1428582 WITH SCORE 1435682.485
AT ITER 6765 NEW BEST:: SOT 11674796 SOS 7100365 HAS SOPS 5861877 HAS SOUS 1511662 HAS SOUPS 1428430 WITH SCORE 1435530.365
AT ITER 6782 NEW BEST:: SOT 11674380 SOS 7100007 HAS SOPS 5861735 HAS SOUS 1511024 HAS SOUPS 1427920 WITH SCORE 1435020.007
AT ITER 6853 NEW BEST:: SOT 11674152 SOS 7099777 HAS SOPS 5861489 HAS SOUS 1510784 HAS SOUPS 1427680 WITH SCORE 1434779.777
AT ITER 6866 NEW BEST:: SOT 11668966 SOS 7092989 HAS SOPS 5854420 HAS SOUS 1507661 HAS SOUPS 1424617 WITH SCORE 1431709.989
AT ITER 6875 NEW BEST:: SOT 11668140 SOS 7093529 HAS SOPS 5854230 HAS SOUS 1507481 HAS SOUPS 1424437 WITH SCORE 1431530.529
AT ITER 6888 NEW BEST:: SOT 11668193 SOS 7093354 HAS SOPS 5854416 HAS SOUS 1507282 HAS SOUPS 1424264 WITH SCORE 1431357.354
AT ITER 6891 NEW BEST:: SOT 11665669 SOS 7090161 HAS SOPS 5849698 HAS SOUS 1500359 HAS SOUPS 1417341 WITH SCORE 1424431.161
AT ITER 6892 NEW BEST:: SOT 11664941 SOS 7089102 HAS SOPS 5848946 HAS SOUS 1499686 HAS SOUPS 1416668 WITH SCORE 1423757.102
AT ITER 6898 NEW BEST:: SOT 11664699 SOS 7089798 HAS SOPS 5849309 HAS SOUS 1498905 HAS SOUPS 1415887 WITH SCORE 1422976.798
AT ITER 6949 NEW BEST:: SOT 11664852 SOS 7089780 HAS SOPS 5849291 HAS SOUS 1498769 HAS SOUPS 1415751 WITH SCORE 1422840.78
AT ITER 6980 NEW BEST:: SOT 11664520 SOS 7089448 HAS SOPS 5848831 HAS SOUS 1498001 HAS SOUPS 1414983 WITH SCORE 1422072.448
AT ITER 6982 NEW BEST:: SOT 11664279 SOS 7089203 HAS SOPS 5848462 HAS SOUS 1497504 HAS SOUPS 1414486 WITH SCORE 1421575.203
AT ITER 6987 NEW BEST:: SOT 11664508 SOS 7089266 HAS SOPS 5848555 HAS SOUS 1497361 HAS SOUPS 1414343 WITH SCORE 1421432.266
AT ITER 7010 NEW BEST:: SOT 11664336 SOS 7089094 HAS SOPS 5848335 HAS SOUS 1497105 HAS SOUPS 1414087 WITH SCORE 1421176.094
AT ITER 7054 NEW BEST:: SOT 11664189 SOS 7089080 HAS SOPS 5848181 HAS SOUS 1496524 HAS SOUPS 1413499 WITH SCORE 1420588.08
AT ITER 7058 NEW BEST:: SOT 11663349 SOS 7087972 HAS SOPS 5846658 HAS SOUS 1494449 HAS SOUPS 1411433 WITH SCORE 1418520.972
AT ITER 7077 NEW BEST:: SOT 11663257 SOS 7087878 HAS SOPS 5846278 HAS SOUS 1493980 HAS SOUPS 1410964 WITH SCORE 1418051.878
AT ITER 7108 NEW BEST:: SOT 11663037 SOS 7088287 HAS SOPS 5846225 HAS SOUS 1493075 HAS SOUPS 1410065 WITH SCORE 1417153.287
AT ITER 7138 NEW BEST:: SOT 11663625 SOS 7083443 HAS SOPS 5841481 HAS SOUS 1491744 HAS SOUPS 1408734 WITH SCORE 1415817.443
AT ITER 7162 NEW BEST:: SOT 11663839 SOS 7084196 HAS SOPS 5842234 HAS SOUS 1491489 HAS SOUPS 1408486 WITH SCORE 1415570.196
AT ITER 7164 NEW BEST:: SOT 11663831 SOS 7084188 HAS SOPS 5842274 HAS SOUS 1491473 HAS SOUPS 1408470 WITH SCORE 1415554.188
AT ITER 7201 NEW BEST:: SOT 11663717 SOS 7084325 HAS SOPS 5842423 HAS SOUS 1491086 HAS SOUPS 1408083 WITH SCORE 1415167.325
AT ITER 7218 NEW BEST:: SOT 11663182 SOS 7083831 HAS SOPS 5842168 HAS SOUS 1490246 HAS SOUPS 1407243 WITH SCORE 1414326.831
AT ITER 7261 NEW BEST:: SOT 11671273 SOS 7086372 HAS SOPS 5844027 HAS SOUS 1488162 HAS SOUPS 1405159 WITH SCORE 1412245.372
AT ITER 7280 NEW BEST:: SOT 11669092 SOS 7084666 HAS SOPS 5840675 HAS SOUS 1482503 HAS SOUPS 1399446 WITH SCORE 1406530.666
AT ITER 7284 NEW BEST:: SOT 11670325 SOS 7088849 HAS SOPS 5842736 HAS SOUS 1480215 HAS SOUPS 1397128 WITH SCORE 1404216.849
AT ITER 7309 NEW BEST:: SOT 11670021 SOS 7086907 HAS SOPS 5840645 HAS SOUS 1480031 HAS SOUPS 1396933 WITH SCORE 1404019.907
AT ITER 7335 NEW BEST:: SOT 11669986 SOS 7086871 HAS SOPS 5840484 HAS SOUS 1479805 HAS SOUPS 1396700 WITH SCORE 1403786.871
AT ITER 7360 NEW BEST:: SOT 11668927 SOS 7084681 HAS SOPS 5839168 HAS SOUS 1478149 HAS SOUPS 1395101 WITH SCORE 1402185.681
AT ITER 7367 NEW BEST:: SOT 11667708 SOS 7083231 HAS SOPS 5837894 HAS SOUS 1475973 HAS SOUPS 1392925 WITH SCORE 1400008.231
AT ITER 7393 NEW BEST:: SOT 11668749 SOS 7086210 HAS SOPS 5841019 HAS SOUS 1474014 HAS SOUPS 1390923 WITH SCORE 1398009.21
AT ITER 7425 NEW BEST:: SOT 11664681 SOS 7080118 HAS SOPS 5830685 HAS SOUS 1458313 HAS SOUPS 1375315 WITH SCORE 1382395.118
AT ITER 7428 NEW BEST:: SOT 11664309 SOS 7079755 HAS SOPS 5830354 HAS SOUS 1458109 HAS SOUPS 1375111 WITH SCORE 1382190.755
AT ITER 7457 NEW BEST:: SOT 11663949 SOS 7079297 HAS SOPS 5829812 HAS SOUS 1457449 HAS SOUPS 1374451 WITH SCORE 1381530.297
AT ITER 7483 NEW BEST:: SOT 11663369 SOS 7080337 HAS SOPS 5830548 HAS SOUS 1455730 HAS SOUPS 1372732 WITH SCORE 1379812.337
AT ITER 7500 NEW BEST:: SOT 11663010 SOS 7078940 HAS SOPS 5829974 HAS SOUS 1454179 HAS SOUPS 1371181 WITH SCORE 1378259.94
AT ITER 7516 NEW BEST:: SOT 11663440 SOS 7079536 HAS SOPS 5830725 HAS SOUS 1452950 HAS SOUPS 1369952 WITH SCORE 1377031.536
AT ITER 7518 NEW BEST:: SOT 11663439 SOS 7079478 HAS SOPS 5830671 HAS SOUS 1452945 HAS SOUPS 1369947 WITH SCORE 1377026.478
AT ITER 7552 NEW BEST:: SOT 11662998 SOS 7077917 HAS SOPS 5829560 HAS SOUS 1452740 HAS SOUPS 1369752 WITH SCORE 1376829.917
AT ITER 7557 NEW BEST:: SOT 11662432 SOS 7076953 HAS SOPS 5828581 HAS SOUS 1450915 HAS SOUPS 1367927 WITH SCORE 1375003.953
AT ITER 7593 NEW BEST:: SOT 11662266 SOS 7077694 HAS SOPS 5830058 HAS SOUS 1450872 HAS SOUPS 1367884 WITH SCORE 1374961.694
AT ITER 7620 NEW BEST:: SOT 11662314 SOS 7077763 HAS SOPS 5829998 HAS SOUS 1450650 HAS SOUPS 1367659 WITH SCORE 1374736.763
AT ITER 7624 NEW BEST:: SOT 11662020 SOS 7075126 HAS SOPS 5827505 HAS SOUS 1449804 HAS SOUPS 1366813 WITH SCORE 1373888.126
AT ITER 7676 NEW BEST:: SOT 11664736 SOS 7077057 HAS SOPS 5827351 HAS SOUS 1448510 HAS SOUPS 1365519 WITH SCORE 1372596.057
AT ITER 7683 NEW BEST:: SOT 11664382 SOS 7076703 HAS SOPS 5826997 HAS SOUS 1448156 HAS SOUPS 1365165 WITH SCORE 1372241.703
AT ITER 7691 NEW BEST:: SOT 11664142 SOS 7076299 HAS SOPS 5826121 HAS SOUS 1447374 HAS SOUPS 1364383 WITH SCORE 1371459.299
AT ITER 7762 NEW BEST:: SOT 11663527 SOS 7075307 HAS SOPS 5824906 HAS SOUS 1446708 HAS SOUPS 1363689 WITH SCORE 1370764.307
AT ITER 7763 NEW BEST:: SOT 11663487 SOS 7075262 HAS SOPS 5824861 HAS SOUS 1446668 HAS SOUPS 1363649 WITH SCORE 1370724.262
AT ITER 7768 NEW BEST:: SOT 11662360 SOS 7071920 HAS SOPS 5821857 HAS SOUS 1444241 HAS SOUPS 1361279 WITH SCORE 1368350.92
AT ITER 7770 NEW BEST:: SOT 11663504 SOS 7075512 HAS SOPS 5825187 HAS SOUS 1440457 HAS SOUPS 1357628 WITH SCORE 1364703.512
AT ITER 7780 NEW BEST:: SOT 11663204 SOS 7075197 HAS SOPS 5824728 HAS SOUS 1439539 HAS SOUPS 1356710 WITH SCORE 1363785.197
AT ITER 7786 NEW BEST:: SOT 11665533 SOS 7077460 HAS SOPS 5825919 HAS SOUS 1437038 HAS SOUPS 1354209 WITH SCORE 1361286.46
AT ITER 7836 NEW BEST:: SOT 11665497 SOS 7077556 HAS SOPS 5825081 HAS SOUS 1436946 HAS SOUPS 1354117 WITH SCORE 1361194.556
AT ITER 7853 NEW BEST:: SOT 11667304 SOS 7078420 HAS SOPS 5827705 HAS SOUS 1435636 HAS SOUPS 1352807 WITH SCORE 1359885.42
AT ITER 7878 NEW BEST:: SOT 11666356 SOS 7077472 HAS SOPS 5826757 HAS SOUS 1434760 HAS SOUPS 1351931 WITH SCORE 1359008.472
AT ITER 7883 NEW BEST:: SOT 11666932 SOS 7077963 HAS SOPS 5827832 HAS SOUS 1434240 HAS SOUPS 1351411 WITH SCORE 1358488.963
AT ITER 7923 NEW BEST:: SOT 11666898 SOS 7077921 HAS SOPS 5827754 HAS SOUS 1433766 HAS SOUPS 1350937 WITH SCORE 1358014.921
AT ITER 7969 NEW BEST:: SOT 11673321 SOS 7090710 HAS SOPS 5835810 HAS SOUS 1429195 HAS SOUPS 1346366 WITH SCORE 1353456.71
AT ITER 7984 NEW BEST:: SOT 11672189 SOS 7089844 HAS SOPS 5834346 HAS SOUS 1428096 HAS SOUPS 1345115 WITH SCORE 1352204.844
AT ITER 7985 NEW BEST:: SOT 11674155 SOS 7089648 HAS SOPS 5835131 HAS SOUS 1425405 HAS SOUPS 1342955 WITH SCORE 1350044.648
AT ITER 7993 NEW BEST:: SOT 11675247 SOS 7090671 HAS SOPS 5837037 HAS SOUS 1423813 HAS SOUPS 1341363 WITH SCORE 1348453.671
AT ITER 8006 NEW BEST:: SOT 11676007 SOS 7091164 HAS SOPS 5837329 HAS SOUS 1423036 HAS SOUPS 1340579 WITH SCORE 1347670.164
AT ITER 8012 NEW BEST:: SOT 11676898 SOS 7092402 HAS SOPS 5837910 HAS SOUS 1417182 HAS SOUPS 1334725 WITH SCORE 1341817.402
AT ITER 8031 NEW BEST:: SOT 11673970 SOS 7085437 HAS SOPS 5833128 HAS SOUS 1415857 HAS SOUPS 1333436 WITH SCORE 1340521.437
AT ITER 8040 NEW BEST:: SOT 11673613 SOS 7085128 HAS SOPS 5832030 HAS SOUS 1414857 HAS SOUPS 1332436 WITH SCORE 1339521.128
AT ITER 8059 NEW BEST:: SOT 11675261 SOS 7087528 HAS SOPS 5832718 HAS SOUS 1409352 HAS SOUPS 1326874 WITH SCORE 1333961.528
AT ITER 8088 NEW BEST:: SOT 11675231 SOS 7087618 HAS SOPS 5832880 HAS SOUS 1409286 HAS SOUPS 1326808 WITH SCORE 1333895.618
AT ITER 8103 NEW BEST:: SOT 11674717 SOS 7087342 HAS SOPS 5832843 HAS SOUS 1408308 HAS SOUPS 1325830 WITH SCORE 1332917.342
AT ITER 8137 NEW BEST:: SOT 11674472 SOS 7086924 HAS SOPS 5831966 HAS SOUS 1408273 HAS SOUPS 1325779 WITH SCORE 1332865.924
AT ITER 8149 NEW BEST:: SOT 11673467 SOS 7085103 HAS SOPS 5830058 HAS SOUS 1407062 HAS SOUPS 1324575 WITH SCORE 1331660.103
AT ITER 8190 NEW BEST:: SOT 11674396 SOS 7086649 HAS SOPS 5831578 HAS SOUS 1407045 HAS SOUPS 1324558 WITH SCORE 1331644.649
AT ITER 8216 NEW BEST:: SOT 11674396 SOS 7082455 HAS SOPS 5827384 HAS SOUS 1407026 HAS SOUPS 1324539 WITH SCORE 1331621.455
AT ITER 8227 NEW BEST:: SOT 11674364 SOS 7082408 HAS SOPS 5827386 HAS SOUS 1406912 HAS SOUPS 1324425 WITH SCORE 1331507.408
AT ITER 8231 NEW BEST:: SOT 11674077 SOS 7083806 HAS SOPS 5828692 HAS SOUS 1406018 HAS SOUPS 1323531 WITH SCORE 1330614.806
AT ITER 8250 NEW BEST:: SOT 11673036 SOS 7084060 HAS SOPS 5827336 HAS SOUS 1406209 HAS SOUPS 1323435 WITH SCORE 1330519.06
AT ITER 8262 NEW BEST:: SOT 11670968 SOS 7078623 HAS SOPS 5822585 HAS SOUS 1403816 HAS SOUPS 1321089 WITH SCORE 1328167.623
AT ITER 8268 NEW BEST:: SOT 11670802 SOS 7078426 HAS SOPS 5822398 HAS SOUS 1403599 HAS SOUPS 1320874 WITH SCORE 1327952.426
AT ITER 8276 NEW BEST:: SOT 11669464 SOS 7073976 HAS SOPS 5818537 HAS SOUS 1402507 HAS SOUPS 1319890 WITH SCORE 1326963.976
AT ITER 8297 NEW BEST:: SOT 11668514 SOS 7071539 HAS SOPS 5816916 HAS SOUS 1402150 HAS SOUPS 1319637 WITH SCORE 1326708.539
AT ITER 8335 NEW BEST:: SOT 11667395 SOS 7069939 HAS SOPS 5816018 HAS SOUS 1399139 HAS SOUPS 1316656 WITH SCORE 1323725.939
AT ITER 8355 NEW BEST:: SOT 11666809 SOS 7068813 HAS SOPS 5815156 HAS SOUS 1398349 HAS SOUPS 1315878 WITH SCORE 1322946.813
AT ITER 8371 NEW BEST:: SOT 11666196 SOS 7067714 HAS SOPS 5813945 HAS SOUS 1397453 HAS SOUPS 1314982 WITH SCORE 1322049.714
AT ITER 8395 NEW BEST:: SOT 11666204 SOS 7067338 HAS SOPS 5813592 HAS SOUS 1397336 HAS SOUPS 1314865 WITH SCORE 1321932.338
AT ITER 8401 NEW BEST:: SOT 11666068 SOS 7069018 HAS SOPS 5814466 HAS SOUS 1396967 HAS SOUPS 1314496 WITH SCORE 1321565.018
AT ITER 8403 NEW BEST:: SOT 11665531 SOS 7068622 HAS SOPS 5813920 HAS SOUS 1396620 HAS SOUPS 1314113 WITH SCORE 1321181.622
AT ITER 8414 NEW BEST:: SOT 11665428 SOS 7070291 HAS SOPS 5813872 HAS SOUS 1396220 HAS SOUPS 1313713 WITH SCORE 1320783.291
AT ITER 8425 NEW BEST:: SOT 11665108 SOS 7069967 HAS SOPS 5813420 HAS SOUS 1395430 HAS SOUPS 1312923 WITH SCORE 1319992.967
AT ITER 8428 NEW BEST:: SOT 11665084 SOS 7069935 HAS SOPS 5813164 HAS SOUS 1395226 HAS SOUPS 1312627 WITH SCORE 1319696.935
AT ITER 8431 NEW BEST:: SOT 11665078 SOS 7082969 HAS SOPS 5822807 HAS SOUS 1395175 HAS SOUPS 1312576 WITH SCORE 1319658.969
AT ITER 8434 NEW BEST:: SOT 11666217 SOS 7083080 HAS SOPS 5822120 HAS SOUS 1395005 HAS SOUPS 1312406 WITH SCORE 1319489.08
AT ITER 8446 NEW BEST:: SOT 11668833 SOS 7085953 HAS SOPS 5823841 HAS SOUS 1395043 HAS SOUPS 1311708 WITH SCORE 1318793.953
AT ITER 8448 NEW BEST:: SOT 11668821 SOS 7085897 HAS SOPS 5823497 HAS SOUS 1393303 HAS SOUPS 1309968 WITH SCORE 1317053.897
AT ITER 8454 NEW BEST:: SOT 11668982 SOS 7086029 HAS SOPS 5823557 HAS SOUS 1393292 HAS SOUPS 1309963 WITH SCORE 1317049.029
AT ITER 8503 NEW BEST:: SOT 11659496 SOS 7071261 HAS SOPS 5812459 HAS SOUS 1390279 HAS SOUPS 1306949 WITH SCORE 1314020.261
AT ITER 8517 NEW BEST:: SOT 11655718 SOS 7063762 HAS SOPS 5803932 HAS SOUS 1387306 HAS SOUPS 1303918 WITH SCORE 1310981.762
AT ITER 8518 NEW BEST:: SOT 11655409 SOS 7063335 HAS SOPS 5803357 HAS SOUS 1386800 HAS SOUPS 1303425 WITH SCORE 1310488.335
AT ITER 8535 NEW BEST:: SOT 11652666 SOS 7060507 HAS SOPS 5800133 HAS SOUS 1382267 HAS SOUPS 1298970 WITH SCORE 1306030.507
AT ITER 8676 NEW BEST:: SOT 11652670 SOS 7060544 HAS SOPS 5800110 HAS SOUS 1382211 HAS SOUPS 1298911 WITH SCORE 1305971.544
AT ITER 8679 NEW BEST:: SOT 11652359 SOS 7060233 HAS SOPS 5799799 HAS SOUS 1381900 HAS SOUPS 1298600 WITH SCORE 1305660.233
AT ITER 8681 NEW BEST:: SOT 11652421 SOS 7060227 HAS SOPS 5799892 HAS SOUS 1381430 HAS SOUPS 1298140 WITH SCORE 1305200.227
AT ITER 8715 NEW BEST:: SOT 11655071 SOS 7078981 HAS SOPS 5820774 HAS SOUS 1377481 HAS SOUPS 1294459 WITH SCORE 1301537.981
AT ITER 8742 NEW BEST:: SOT 11657730 SOS 7080906 HAS SOPS 5822946 HAS SOUS 1376967 HAS SOUPS 1294001 WITH SCORE 1301081.906
AT ITER 8745 NEW BEST:: SOT 11656885 SOS 7080105 HAS SOPS 5822229 HAS SOUS 1376621 HAS SOUPS 1293636 WITH SCORE 1300716.105
AT ITER 8749 NEW BEST:: SOT 11656809 SOS 7080049 HAS SOPS 5822135 HAS SOUS 1376606 HAS SOUPS 1293589 WITH SCORE 1300669.049
AT ITER 8771 NEW BEST:: SOT 11656564 SOS 7079644 HAS SOPS 5821480 HAS SOUS 1374871 HAS SOUPS 1291844 WITH SCORE 1298923.644
AT ITER 8783 NEW BEST:: SOT 11656499 SOS 7079112 HAS SOPS 5819886 HAS SOUS 1374839 HAS SOUPS 1291812 WITH SCORE 1298891.112
AT ITER 8815 NEW BEST:: SOT 11656622 SOS 7080019 HAS SOPS 5820915 HAS SOUS 1373519 HAS SOUPS 1290492 WITH SCORE 1297572.019
AT ITER 8828 NEW BEST:: SOT 11657376 SOS 7080773 HAS SOPS 5821157 HAS SOUS 1372225 HAS SOUPS 1289198 WITH SCORE 1296278.773
AT ITER 8871 NEW BEST:: SOT 11657941 SOS 7083918 HAS SOPS 5823515 HAS SOUS 1371567 HAS SOUPS 1288540 WITH SCORE 1295623.918
AT ITER 8911 NEW BEST:: SOT 11657492 SOS 7083276 HAS SOPS 5822942 HAS SOUS 1370699 HAS SOUPS 1287683 WITH SCORE 1294766.276
AT ITER 8973 NEW BEST:: SOT 11657492 SOS 7082636 HAS SOPS 5822302 HAS SOUS 1370541 HAS SOUPS 1287525 WITH SCORE 1294607.636
AT ITER 9010 NEW BEST:: SOT 11657446 SOS 7082554 HAS SOPS 5822156 HAS SOUS 1370325 HAS SOUPS 1287309 WITH SCORE 1294391.554
AT ITER 9014 NEW BEST:: SOT 11657314 SOS 7082436 HAS SOPS 5821915 HAS SOUS 1370048 HAS SOUPS 1287022 WITH SCORE 1294104.436
AT ITER 9019 NEW BEST:: SOT 11658678 SOS 7083760 HAS SOPS 5822935 HAS SOUS 1369568 HAS SOUPS 1286542 WITH SCORE 1293625.76
AT ITER 9049 NEW BEST:: SOT 11658887 SOS 7088540 HAS SOPS 5828329 HAS SOUS 1369475 HAS SOUPS 1286449 WITH SCORE 1293537.54
AT ITER 9058 NEW BEST:: SOT 11658887 SOS 7088418 HAS SOPS 5828207 HAS SOUS 1369309 HAS SOUPS 1286283 WITH SCORE 1293371.418
AT ITER 9060 NEW BEST:: SOT 11658438 SOS 7087993 HAS SOPS 5829197 HAS SOUS 1367961 HAS SOUPS 1285823 WITH SCORE 1292910.993
AT ITER 9069 NEW BEST:: SOT 11658133 SOS 7087601 HAS SOPS 5828673 HAS SOUS 1367531 HAS SOUPS 1285393 WITH SCORE 1292480.601
AT ITER 9080 NEW BEST:: SOT 11652832 SOS 7082088 HAS SOPS 5822664 HAS SOUS 1362617 HAS SOUPS 1280479 WITH SCORE 1287561.088
AT ITER 9130 NEW BEST:: SOT 11652694 SOS 7082118 HAS SOPS 5822164 HAS SOUS 1362509 HAS SOUPS 1280353 WITH SCORE 1287435.118
AT ITER 9131 NEW BEST:: SOT 11651825 SOS 7081255 HAS SOPS 5821022 HAS SOUS 1360785 HAS SOUPS 1278629 WITH SCORE 1285710.255
AT ITER 9159 NEW BEST:: SOT 11651825 SOS 7081047 HAS SOPS 5820814 HAS SOUS 1359487 HAS SOUPS 1277369 WITH SCORE 1284450.047
AT ITER 9169 NEW BEST:: SOT 11651738 SOS 7081236 HAS SOPS 5820543 HAS SOUS 1358147 HAS SOUPS 1276006 WITH SCORE 1283087.236
AT ITER 9173 NEW BEST:: SOT 11648831 SOS 7080078 HAS SOPS 5816898 HAS SOUS 1348647 HAS SOUPS 1266506 WITH SCORE 1273586.078
AT ITER 9174 NEW BEST:: SOT 11648343 SOS 7079853 HAS SOPS 5816524 HAS SOUS 1347314 HAS SOUPS 1265173 WITH SCORE 1272252.853
AT ITER 9181 NEW BEST:: SOT 11648157 SOS 7080318 HAS SOPS 5816907 HAS SOUS 1346807 HAS SOUPS 1264666 WITH SCORE 1271746.318
AT ITER 9202 NEW BEST:: SOT 11648157 SOS 7082362 HAS SOPS 5819753 HAS SOUS 1346567 HAS SOUPS 1264426 WITH SCORE 1271508.362
AT ITER 9210 NEW BEST:: SOT 11648107 SOS 7082300 HAS SOPS 5819699 HAS SOUS 1346520 HAS SOUPS 1264379 WITH SCORE 1271461.3
AT ITER 9213 NEW BEST:: SOT 11647463 SOS 7081636 HAS SOPS 5818875 HAS SOUS 1345126 HAS SOUPS 1262985 WITH SCORE 1270066.636
AT ITER 9284 NEW BEST:: SOT 11648172 SOS 7082373 HAS SOPS 5819382 HAS SOUS 1344018 HAS SOUPS 1261886 WITH SCORE 1268968.373
AT ITER 9304 NEW BEST:: SOT 11641523 SOS 7070110 HAS SOPS 5806477 HAS SOUS 1336187 HAS SOUPS 1254116 WITH SCORE 1261186.11
AT ITER 9385 NEW BEST:: SOT 11640568 SOS 7066227 HAS SOPS 5800758 HAS SOUS 1336204 HAS SOUPS 1254022 WITH SCORE 1261088.227
AT ITER 9430 NEW BEST:: SOT 11640550 SOS 7066227 HAS SOPS 5800770 HAS SOUS 1336056 HAS SOUPS 1253880 WITH SCORE 1260946.227
AT ITER 9444 NEW BEST:: SOT 11639797 SOS 7064402 HAS SOPS 5798913 HAS SOUS 1335239 HAS SOUPS 1253063 WITH SCORE 1260127.402
AT ITER 9512 NEW BEST:: SOT 11639522 SOS 7064116 HAS SOPS 5798275 HAS SOUS 1334513 HAS SOUPS 1252337 WITH SCORE 1259401.116
AT ITER 9536 NEW BEST:: SOT 11637876 SOS 7062300 HAS SOPS 5796141 HAS SOUS 1333693 HAS SOUPS 1251517 WITH SCORE 1258579.3
AT ITER 9538 NEW BEST:: SOT 11635684 SOS 7057077 HAS SOPS 5791767 HAS SOUS 1333220 HAS SOUPS 1251044 WITH SCORE 1258101.077
AT ITER 9554 NEW BEST:: SOT 11636511 SOS 7057161 HAS SOPS 5792081 HAS SOUS 1332363 HAS SOUPS 1250214 WITH SCORE 1257271.161
AT ITER 9570 NEW BEST:: SOT 11636452 SOS 7057102 HAS SOPS 5792022 HAS SOUS 1332304 HAS SOUPS 1250155 WITH SCORE 1257212.102
AT ITER 9633 NEW BEST:: SOT 11636623 SOS 7057582 HAS SOPS 5792382 HAS SOUS 1332025 HAS SOUPS 1249878 WITH SCORE 1256935.582
AT ITER 9636 NEW BEST:: SOT 11636506 SOS 7055973 HAS SOPS 5790671 HAS SOUS 1331744 HAS SOUPS 1249597 WITH SCORE 1256652.973
AT ITER 9638 NEW BEST:: SOT 11637970 SOS 7056941 HAS SOPS 5791402 HAS SOUS 1330770 HAS SOUPS 1248623 WITH SCORE 1255679.941
AT ITER 9642 NEW BEST:: SOT 11636743 SOS 7054250 HAS SOPS 5789259 HAS SOUS 1330026 HAS SOUPS 1247902 WITH SCORE 1254956.25
AT ITER 9648 NEW BEST:: SOT 11636226 SOS 7053996 HAS SOPS 5787979 HAS SOUS 1328144 HAS SOUPS 1246000 WITH SCORE 1253053.996
AT ITER 9659 NEW BEST:: SOT 11636207 SOS 7053862 HAS SOPS 5787826 HAS SOUS 1327583 HAS SOUPS 1245467 WITH SCORE 1252520.862
AT ITER 9666 NEW BEST:: SOT 11634578 SOS 7051691 HAS SOPS 5785701 HAS SOUS 1325432 HAS SOUPS 1243692 WITH SCORE 1250743.691
AT ITER 9688 NEW BEST:: SOT 11633929 SOS 7051022 HAS SOPS 5784952 HAS SOUS 1324434 HAS SOUPS 1242694 WITH SCORE 1249745.022
AT ITER 9710 NEW BEST:: SOT 11633780 SOS 7050514 HAS SOPS 5784540 HAS SOUS 1323876 HAS SOUPS 1242136 WITH SCORE 1249186.514
AT ITER 9730 NEW BEST:: SOT 11633652 SOS 7050386 HAS SOPS 5784316 HAS SOUS 1323300 HAS SOUPS 1241560 WITH SCORE 1248610.386
AT ITER 9734 NEW BEST:: SOT 11633677 SOS 7050471 HAS SOPS 5784412 HAS SOUS 1323184 HAS SOUPS 1241444 WITH SCORE 1248494.471
AT ITER 9768 NEW BEST:: SOT 11634620 SOS 7052421 HAS SOPS 5785687 HAS SOUS 1322157 HAS SOUPS 1240353 WITH SCORE 1247405.421
AT ITER 9786 NEW BEST:: SOT 11634862 SOS 7055115 HAS SOPS 5788021 HAS SOUS 1321372 HAS SOUPS 1239568 WITH SCORE 1246623.115
AT ITER 9811 NEW BEST:: SOT 11630310 SOS 7045727 HAS SOPS 5778490 HAS SOUS 1319474 HAS SOUPS 1237614 WITH SCORE 1244659.727
AT ITER 9818 NEW BEST:: SOT 11627179 SOS 7042577 HAS SOPS 5774955 HAS SOUS 1315161 HAS SOUPS 1233366 WITH SCORE 1240408.577
AT ITER 9912 NEW BEST:: SOT 11627177 SOS 7042605 HAS SOPS 5774951 HAS SOUS 1315109 HAS SOUPS 1233314 WITH SCORE 1240356.605
AT ITER 9920 NEW BEST:: SOT 11629864 SOS 7041943 HAS SOPS 5774268 HAS SOUS 1314600 HAS SOUPS 1232884 WITH SCORE 1239925.943
AT ITER 9938 NEW BEST:: SOT 11628141 SOS 7039419 HAS SOPS 5772032 HAS SOUS 1314074 HAS SOUPS 1232358 WITH SCORE 1239397.419
AT ITER 9986 NEW BEST:: SOT 11628196 SOS 7039472 HAS SOPS 5772055 HAS SOUS 1314001 HAS SOUPS 1232285 WITH SCORE 1239324.472
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14407100 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16076436 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-9"
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-9, 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-167889204000072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-9.tgz
mv RERS17pb113-PT-9 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;