About the Execution of Smart+red for Medical-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11372.871 | 1774329.00 | 1799668.00 | 6432.80 | [undef] | Cannot compute |
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.r235-tall-167856422200728.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 Medical-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856422200728
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 6.6K Feb 25 14:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 14:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 14:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 14:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 14:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 14:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 14:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 25 14:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678686557225
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=Medical-PT-20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 05:49:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 05:49:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 05:49:18] [INFO ] Load time of PNML (sax parser for PT used): 252 ms
[2023-03-13 05:49:18] [INFO ] Transformed 312 places.
[2023-03-13 05:49:19] [INFO ] Transformed 5431 transitions.
[2023-03-13 05:49:19] [INFO ] Parsed PT model containing 312 places and 5431 transitions and 28790 arcs in 440 ms.
[2023-03-13 05:49:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 312 places, 5431 transitions and 28790 arcs took 61 ms.
Total runtime 528 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 20
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1169527 SOS 637811 HAS SOPS 634715 HAS SOUS 252203 HAS SOUPS 249386 WITH SCORE 250023.811
AT ITER 2 NEW BEST:: SOT 1169394 SOS 637953 HAS SOPS 634878 HAS SOUS 252112 HAS SOUPS 249295 WITH SCORE 249932.953
AT ITER 3 NEW BEST:: SOT 1169394 SOS 637953 HAS SOPS 634878 HAS SOUS 251694 HAS SOUPS 248877 WITH SCORE 249514.953
AT ITER 4 NEW BEST:: SOT 1169319 SOS 637878 HAS SOPS 634803 HAS SOUS 251534 HAS SOUPS 248717 WITH SCORE 249354.878
AT ITER 10 NEW BEST:: SOT 1169319 SOS 638886 HAS SOPS 635811 HAS SOUS 251471 HAS SOUPS 248654 WITH SCORE 249292.886
AT ITER 19 NEW BEST:: SOT 1169967 SOS 639534 HAS SOPS 636459 HAS SOUS 250996 HAS SOUPS 248179 WITH SCORE 248818.534
AT ITER 24 NEW BEST:: SOT 1169602 SOS 640951 HAS SOPS 637938 HAS SOUS 250973 HAS SOUPS 248156 WITH SCORE 248796.951
AT ITER 32 NEW BEST:: SOT 1169602 SOS 642583 HAS SOPS 639570 HAS SOUS 250826 HAS SOUPS 248009 WITH SCORE 248651.583
AT ITER 35 NEW BEST:: SOT 1169469 SOS 642450 HAS SOPS 639437 HAS SOUS 250577 HAS SOUPS 247760 WITH SCORE 248402.45
AT ITER 38 NEW BEST:: SOT 1144522 SOS 631258 HAS SOPS 629610 HAS SOUS 225953 HAS SOUPS 224305 WITH SCORE 224936.258
AT ITER 42 NEW BEST:: SOT 1144522 SOS 630514 HAS SOPS 628866 HAS SOUS 225953 HAS SOUPS 224305 WITH SCORE 224935.514
AT ITER 45 NEW BEST:: SOT 1142551 SOS 637158 HAS SOPS 635127 HAS SOUS 225541 HAS SOUPS 223782 WITH SCORE 224419.158
AT ITER 53 NEW BEST:: SOT 1140157 SOS 634764 HAS SOPS 632733 HAS SOUS 225124 HAS SOUPS 223365 WITH SCORE 223999.764
AT ITER 55 NEW BEST:: SOT 1140157 SOS 634092 HAS SOPS 632061 HAS SOUS 225124 HAS SOUPS 223365 WITH SCORE 223999.092
AT ITER 59 NEW BEST:: SOT 1141413 SOS 637027 HAS SOPS 634996 HAS SOUS 224758 HAS SOUPS 222999 WITH SCORE 223636.027
AT ITER 67 NEW BEST:: SOT 1143465 SOS 639079 HAS SOPS 637048 HAS SOUS 223790 HAS SOUPS 222031 WITH SCORE 222670.079
AT ITER 80 NEW BEST:: SOT 1143491 SOS 666249 HAS SOPS 664218 HAS SOUS 223444 HAS SOUPS 221685 WITH SCORE 222351.249
AT ITER 85 NEW BEST:: SOT 1143494 SOS 666252 HAS SOPS 664284 HAS SOUS 223182 HAS SOUPS 221423 WITH SCORE 222089.252
AT ITER 90 NEW BEST:: SOT 1143505 SOS 666516 HAS SOPS 664548 HAS SOUS 223127 HAS SOUPS 221368 WITH SCORE 222034.516
AT ITER 91 NEW BEST:: SOT 1144635 SOS 667624 HAS SOPS 665678 HAS SOUS 219300 HAS SOUPS 217563 WITH SCORE 218230.624
AT ITER 99 NEW BEST:: SOT 1144758 SOS 667797 HAS SOPS 665851 HAS SOUS 219020 HAS SOUPS 217283 WITH SCORE 217950.797
AT ITER 110 NEW BEST:: SOT 1143828 SOS 671538 HAS SOPS 669592 HAS SOUS 218684 HAS SOUPS 216947 WITH SCORE 217618.538
AT ITER 117 NEW BEST:: SOT 1144850 SOS 835016 HAS SOPS 833070 HAS SOUS 218239 HAS SOUPS 216502 WITH SCORE 217337.016
AT ITER 123 NEW BEST:: SOT 1144860 SOS 836498 HAS SOPS 834552 HAS SOUS 217966 HAS SOUPS 216229 WITH SCORE 217065.498
AT ITER 125 NEW BEST:: SOT 1144860 SOS 836498 HAS SOPS 834552 HAS SOUS 217918 HAS SOUPS 216181 WITH SCORE 217017.498
AT ITER 139 NEW BEST:: SOT 1145146 SOS 837107 HAS SOPS 835182 HAS SOUS 215716 HAS SOUPS 214000 WITH SCORE 214837.107
AT ITER 141 NEW BEST:: SOT 1144114 SOS 836066 HAS SOPS 834150 HAS SOUS 212768 HAS SOUPS 211061 WITH SCORE 211897.066
AT ITER 149 NEW BEST:: SOT 1144114 SOS 837687 HAS SOPS 835771 HAS SOUS 212586 HAS SOUPS 210879 WITH SCORE 211716.687
AT ITER 150 NEW BEST:: SOT 1146966 SOS 840611 HAS SOPS 838695 HAS SOUS 212559 HAS SOUPS 210852 WITH SCORE 211692.611
AT ITER 156 NEW BEST:: SOT 1147022 SOS 840660 HAS SOPS 838751 HAS SOUS 212489 HAS SOUPS 210789 WITH SCORE 211629.66
AT ITER 159 NEW BEST:: SOT 1146988 SOS 840626 HAS SOPS 838717 HAS SOUS 212173 HAS SOUPS 210473 WITH SCORE 211313.626
AT ITER 163 NEW BEST:: SOT 1146762 SOS 840421 HAS SOPS 838512 HAS SOUS 210011 HAS SOUPS 208311 WITH SCORE 209151.421
AT ITER 164 NEW BEST:: SOT 1146329 SOS 840324 HAS SOPS 838415 HAS SOUS 209719 HAS SOUPS 208019 WITH SCORE 208859.324
AT ITER 167 NEW BEST:: SOT 1145143 SOS 839322 HAS SOPS 837413 HAS SOUS 209007 HAS SOUPS 207307 WITH SCORE 208146.322
AT ITER 183 NEW BEST:: SOT 1145143 SOS 839322 HAS SOPS 837413 HAS SOUS 208923 HAS SOUPS 207223 WITH SCORE 208062.322
AT ITER 184 NEW BEST:: SOT 1145150 SOS 839651 HAS SOPS 837742 HAS SOUS 208580 HAS SOUPS 206880 WITH SCORE 207719.651
AT ITER 187 NEW BEST:: SOT 1145158 SOS 841062 HAS SOPS 839153 HAS SOUS 208335 HAS SOUPS 206635 WITH SCORE 207476.062
AT ITER 193 NEW BEST:: SOT 1145158 SOS 841062 HAS SOPS 839153 HAS SOUS 208233 HAS SOUPS 206533 WITH SCORE 207374.062
AT ITER 201 NEW BEST:: SOT 1145158 SOS 841110 HAS SOPS 839201 HAS SOUS 208173 HAS SOUPS 206473 WITH SCORE 207314.11
AT ITER 208 NEW BEST:: SOT 1146558 SOS 842491 HAS SOPS 840601 HAS SOUS 204459 HAS SOUPS 202778 WITH SCORE 203620.491
AT ITER 214 NEW BEST:: SOT 1146557 SOS 842490 HAS SOPS 840600 HAS SOUS 204342 HAS SOUPS 202661 WITH SCORE 203503.49
AT ITER 215 NEW BEST:: SOT 1146556 SOS 842489 HAS SOPS 840599 HAS SOUS 204335 HAS SOUPS 202654 WITH SCORE 203496.489
AT ITER 219 NEW BEST:: SOT 1146556 SOS 842481 HAS SOPS 840591 HAS SOUS 204335 HAS SOUPS 202654 WITH SCORE 203496.481
AT ITER 225 NEW BEST:: SOT 1146567 SOS 844148 HAS SOPS 842258 HAS SOUS 204043 HAS SOUPS 202362 WITH SCORE 203206.148
AT ITER 226 NEW BEST:: SOT 1148605 SOS 846186 HAS SOPS 844296 HAS SOUS 202771 HAS SOUPS 201090 WITH SCORE 201936.186
AT ITER 230 NEW BEST:: SOT 1148592 SOS 846173 HAS SOPS 844283 HAS SOUS 202576 HAS SOUPS 200895 WITH SCORE 201741.173
AT ITER 242 NEW BEST:: SOT 1148592 SOS 846173 HAS SOPS 844289 HAS SOUS 202519 HAS SOUPS 200838 WITH SCORE 201684.173
AT ITER 249 NEW BEST:: SOT 1148592 SOS 846699 HAS SOPS 844815 HAS SOUS 202227 HAS SOUPS 200546 WITH SCORE 201392.699
AT ITER 252 NEW BEST:: SOT 1148592 SOS 846239 HAS SOPS 844355 HAS SOUS 202207 HAS SOUPS 200526 WITH SCORE 201372.239
AT ITER 256 NEW BEST:: SOT 1147034 SOS 844697 HAS SOPS 842812 HAS SOUS 201195 HAS SOUPS 199514 WITH SCORE 200358.697
AT ITER 259 NEW BEST:: SOT 1147034 SOS 844697 HAS SOPS 842812 HAS SOUS 201130 HAS SOUPS 199449 WITH SCORE 200293.697
AT ITER 261 NEW BEST:: SOT 1146342 SOS 844485 HAS SOPS 842600 HAS SOUS 197602 HAS SOUPS 195921 WITH SCORE 196765.485
AT ITER 263 NEW BEST:: SOT 1146342 SOS 844405 HAS SOPS 842512 HAS SOUS 197156 HAS SOUPS 195475 WITH SCORE 196319.405
AT ITER 266 NEW BEST:: SOT 1146245 SOS 844436 HAS SOPS 842575 HAS SOUS 197123 HAS SOUPS 195466 WITH SCORE 196310.436
AT ITER 267 NEW BEST:: SOT 1146245 SOS 855644 HAS SOPS 853783 HAS SOUS 197093 HAS SOUPS 195436 WITH SCORE 196291.644
AT ITER 275 NEW BEST:: SOT 1146245 SOS 855644 HAS SOPS 853698 HAS SOUS 197008 HAS SOUPS 195351 WITH SCORE 196206.644
AT ITER 276 NEW BEST:: SOT 1146245 SOS 854770 HAS SOPS 852824 HAS SOUS 196970 HAS SOUPS 195313 WITH SCORE 196167.77
AT ITER 284 NEW BEST:: SOT 1146245 SOS 854770 HAS SOPS 852824 HAS SOUS 196825 HAS SOUPS 195168 WITH SCORE 196022.77
AT ITER 285 NEW BEST:: SOT 1146245 SOS 854767 HAS SOPS 852821 HAS SOUS 196825 HAS SOUPS 195168 WITH SCORE 196022.767
AT ITER 287 NEW BEST:: SOT 1146899 SOS 855421 HAS SOPS 853475 HAS SOUS 194656 HAS SOUPS 192999 WITH SCORE 193854.421
AT ITER 303 NEW BEST:: SOT 1146795 SOS 857397 HAS SOPS 855451 HAS SOUS 194118 HAS SOUPS 192461 WITH SCORE 193318.397
AT ITER 304 NEW BEST:: SOT 1146440 SOS 857042 HAS SOPS 855096 HAS SOUS 193841 HAS SOUPS 192184 WITH SCORE 193041.042
AT ITER 309 NEW BEST:: SOT 1145969 SOS 857169 HAS SOPS 855223 HAS SOUS 193619 HAS SOUPS 191962 WITH SCORE 192819.169
AT ITER 314 NEW BEST:: SOT 1146741 SOS 858110 HAS SOPS 856164 HAS SOUS 192751 HAS SOUPS 191094 WITH SCORE 191952.11
AT ITER 328 NEW BEST:: SOT 1146741 SOS 858110 HAS SOPS 856164 HAS SOUS 192536 HAS SOUPS 190879 WITH SCORE 191737.11
AT ITER 335 NEW BEST:: SOT 1147239 SOS 859140 HAS SOPS 857194 HAS SOUS 192198 HAS SOUPS 190541 WITH SCORE 191400.14
AT ITER 336 NEW BEST:: SOT 1147259 SOS 859160 HAS SOPS 857214 HAS SOUS 191738 HAS SOUPS 190081 WITH SCORE 190940.16
AT ITER 337 NEW BEST:: SOT 1147278 SOS 859179 HAS SOPS 857265 HAS SOUS 191598 HAS SOUPS 189941 WITH SCORE 190800.179
AT ITER 339 NEW BEST:: SOT 1147023 SOS 858919 HAS SOPS 857010 HAS SOUS 191034 HAS SOUPS 189382 WITH SCORE 190240.919
AT ITER 344 NEW BEST:: SOT 1147023 SOS 856227 HAS SOPS 854318 HAS SOUS 190965 HAS SOUPS 189313 WITH SCORE 190169.227
AT ITER 347 NEW BEST:: SOT 1146497 SOS 856759 HAS SOPS 854850 HAS SOUS 190889 HAS SOUPS 189237 WITH SCORE 190093.759
AT ITER 350 NEW BEST:: SOT 1145895 SOS 856157 HAS SOPS 854248 HAS SOUS 189696 HAS SOUPS 188044 WITH SCORE 188900.157
AT ITER 354 NEW BEST:: SOT 1145895 SOS 856157 HAS SOPS 854248 HAS SOUS 189638 HAS SOUPS 187986 WITH SCORE 188842.157
AT ITER 356 NEW BEST:: SOT 1147070 SOS 857314 HAS SOPS 855423 HAS SOUS 188656 HAS SOUPS 187022 WITH SCORE 187879.314
AT ITER 363 NEW BEST:: SOT 1147029 SOS 857209 HAS SOPS 855318 HAS SOUS 188615 HAS SOUPS 186981 WITH SCORE 187838.209
AT ITER 376 NEW BEST:: SOT 1147029 SOS 856703 HAS SOPS 854812 HAS SOUS 188571 HAS SOUPS 186937 WITH SCORE 187793.703
AT ITER 382 NEW BEST:: SOT 1147029 SOS 856703 HAS SOPS 854812 HAS SOUS 188350 HAS SOUPS 186716 WITH SCORE 187572.703
AT ITER 383 NEW BEST:: SOT 1146969 SOS 856643 HAS SOPS 854752 HAS SOUS 188350 HAS SOUPS 186716 WITH SCORE 187572.643
AT ITER 389 NEW BEST:: SOT 1146438 SOS 856112 HAS SOPS 854221 HAS SOUS 186987 HAS SOUPS 185353 WITH SCORE 186209.112
AT ITER 394 NEW BEST:: SOT 1146518 SOS 856254 HAS SOPS 854363 HAS SOUS 186092 HAS SOUPS 184458 WITH SCORE 185314.254
AT ITER 397 NEW BEST:: SOT 1147451 SOS 856312 HAS SOPS 854421 HAS SOUS 185527 HAS SOUPS 183893 WITH SCORE 184749.312
AT ITER 406 NEW BEST:: SOT 1147308 SOS 857984 HAS SOPS 856093 HAS SOUS 185462 HAS SOUPS 183828 WITH SCORE 184685.984
AT ITER 407 NEW BEST:: SOT 1147308 SOS 859180 HAS SOPS 857289 HAS SOUS 185254 HAS SOUPS 183620 WITH SCORE 184479.18
AT ITER 415 NEW BEST:: SOT 1147308 SOS 859896 HAS SOPS 858005 HAS SOUS 184817 HAS SOUPS 183183 WITH SCORE 184042.896
AT ITER 424 NEW BEST:: SOT 1147748 SOS 858733 HAS SOPS 856842 HAS SOUS 183428 HAS SOUPS 181794 WITH SCORE 182652.733
AT ITER 427 NEW BEST:: SOT 1148081 SOS 859063 HAS SOPS 857175 HAS SOUS 182887 HAS SOUPS 181256 WITH SCORE 182115.063
AT ITER 430 NEW BEST:: SOT 1148081 SOS 859063 HAS SOPS 857175 HAS SOUS 182769 HAS SOUPS 181138 WITH SCORE 181997.063
AT ITER 431 NEW BEST:: SOT 1146641 SOS 858152 HAS SOPS 856264 HAS SOUS 181511 HAS SOUPS 179880 WITH SCORE 180738.152
AT ITER 439 NEW BEST:: SOT 1146537 SOS 858070 HAS SOPS 856182 HAS SOUS 181277 HAS SOUPS 179646 WITH SCORE 180504.07
AT ITER 448 NEW BEST:: SOT 1146518 SOS 858051 HAS SOPS 856163 HAS SOUS 181270 HAS SOUPS 179639 WITH SCORE 180497.051
AT ITER 453 NEW BEST:: SOT 1146292 SOS 858119 HAS SOPS 856231 HAS SOUS 181044 HAS SOUPS 179413 WITH SCORE 180271.119
AT ITER 460 NEW BEST:: SOT 1146292 SOS 858119 HAS SOPS 856231 HAS SOUS 180689 HAS SOUPS 179058 WITH SCORE 179916.119
AT ITER 463 NEW BEST:: SOT 1146292 SOS 858794 HAS SOPS 856906 HAS SOUS 180535 HAS SOUPS 178904 WITH SCORE 179762.794
AT ITER 467 NEW BEST:: SOT 1146193 SOS 858695 HAS SOPS 856807 HAS SOUS 180436 HAS SOUPS 178805 WITH SCORE 179663.695
AT ITER 485 NEW BEST:: SOT 1146175 SOS 858677 HAS SOPS 856789 HAS SOUS 180117 HAS SOUPS 178486 WITH SCORE 179344.677
AT ITER 493 NEW BEST:: SOT 1145917 SOS 858419 HAS SOPS 856531 HAS SOUS 179851 HAS SOUPS 178220 WITH SCORE 179078.419
AT ITER 496 NEW BEST:: SOT 1147256 SOS 859758 HAS SOPS 857870 HAS SOUS 178977 HAS SOUPS 177346 WITH SCORE 178205.758
AT ITER 497 NEW BEST:: SOT 1148216 SOS 861186 HAS SOPS 859261 HAS SOUS 178907 HAS SOUPS 177276 WITH SCORE 178137.186
AT ITER 512 NEW BEST:: SOT 1147578 SOS 866618 HAS SOPS 864399 HAS SOUS 178833 HAS SOUPS 177114 WITH SCORE 177980.618
AT ITER 523 NEW BEST:: SOT 1147417 SOS 866457 HAS SOPS 864238 HAS SOUS 177040 HAS SOUPS 175321 WITH SCORE 176187.457
AT ITER 526 NEW BEST:: SOT 1147417 SOS 866457 HAS SOPS 864238 HAS SOUS 177031 HAS SOUPS 175312 WITH SCORE 176178.457
AT ITER 527 NEW BEST:: SOT 1149113 SOS 868180 HAS SOPS 866016 HAS SOUS 176829 HAS SOUPS 175165 WITH SCORE 176033.18
AT ITER 530 NEW BEST:: SOT 1146604 SOS 865671 HAS SOPS 863507 HAS SOUS 175712 HAS SOUPS 174048 WITH SCORE 174913.671
AT ITER 531 NEW BEST:: SOT 1146604 SOS 865121 HAS SOPS 862957 HAS SOUS 175662 HAS SOUPS 173998 WITH SCORE 174863.121
AT ITER 535 NEW BEST:: SOT 1146648 SOS 866419 HAS SOPS 864255 HAS SOUS 175545 HAS SOUPS 173881 WITH SCORE 174747.419
AT ITER 538 NEW BEST:: SOT 1146694 SOS 866603 HAS SOPS 864439 HAS SOUS 175304 HAS SOUPS 173640 WITH SCORE 174506.603
AT ITER 547 NEW BEST:: SOT 1145137 SOS 865992 HAS SOPS 863828 HAS SOUS 174076 HAS SOUPS 172412 WITH SCORE 173277.992
AT ITER 564 NEW BEST:: SOT 1145118 SOS 865973 HAS SOPS 863809 HAS SOUS 174069 HAS SOUPS 172405 WITH SCORE 173270.973
AT ITER 569 NEW BEST:: SOT 1145160 SOS 866015 HAS SOPS 863851 HAS SOUS 173811 HAS SOUPS 172147 WITH SCORE 173013.015
AT ITER 574 NEW BEST:: SOT 1145768 SOS 866623 HAS SOPS 864459 HAS SOUS 172443 HAS SOUPS 170779 WITH SCORE 171645.623
AT ITER 576 NEW BEST:: SOT 1145735 SOS 866590 HAS SOPS 864426 HAS SOUS 171836 HAS SOUPS 170172 WITH SCORE 171038.59
AT ITER 577 NEW BEST:: SOT 1145735 SOS 866590 HAS SOPS 864426 HAS SOUS 171740 HAS SOUPS 170076 WITH SCORE 170942.59
AT ITER 593 NEW BEST:: SOT 1145735 SOS 866521 HAS SOPS 864357 HAS SOUS 171740 HAS SOUPS 170076 WITH SCORE 170942.521
AT ITER 598 NEW BEST:: SOT 1146496 SOS 867282 HAS SOPS 865118 HAS SOUS 171350 HAS SOUPS 169686 WITH SCORE 170553.282
AT ITER 602 NEW BEST:: SOT 1146523 SOS 867309 HAS SOPS 865145 HAS SOUS 171006 HAS SOUPS 169342 WITH SCORE 170209.309
AT ITER 603 NEW BEST:: SOT 1146527 SOS 867649 HAS SOPS 865485 HAS SOUS 170539 HAS SOUPS 168875 WITH SCORE 169742.649
AT ITER 606 NEW BEST:: SOT 1146545 SOS 869353 HAS SOPS 867189 HAS SOUS 169606 HAS SOUPS 167942 WITH SCORE 168811.353
AT ITER 607 NEW BEST:: SOT 1145337 SOS 868169 HAS SOPS 866005 HAS SOUS 168172 HAS SOUPS 166508 WITH SCORE 167376.169
AT ITER 610 NEW BEST:: SOT 1144873 SOS 867690 HAS SOPS 865541 HAS SOUS 166595 HAS SOUPS 164946 WITH SCORE 165813.69
AT ITER 612 NEW BEST:: SOT 1144885 SOS 869184 HAS SOPS 867035 HAS SOUS 166497 HAS SOUPS 164848 WITH SCORE 165717.184
AT ITER 614 NEW BEST:: SOT 1145073 SOS 869868 HAS SOPS 867739 HAS SOUS 163764 HAS SOUPS 162135 WITH SCORE 163004.868
AT ITER 627 NEW BEST:: SOT 1145073 SOS 869916 HAS SOPS 867787 HAS SOUS 163760 HAS SOUPS 162131 WITH SCORE 163000.916
AT ITER 636 NEW BEST:: SOT 1145535 SOS 870378 HAS SOPS 868249 HAS SOUS 163665 HAS SOUPS 162036 WITH SCORE 162906.378
AT ITER 640 NEW BEST:: SOT 1146131 SOS 870974 HAS SOPS 868845 HAS SOUS 162942 HAS SOUPS 161313 WITH SCORE 162183.974
AT ITER 652 NEW BEST:: SOT 1145671 SOS 871966 HAS SOPS 869837 HAS SOUS 160552 HAS SOUPS 158923 WITH SCORE 159794.966
AT ITER 662 NEW BEST:: SOT 1145694 SOS 871989 HAS SOPS 869860 HAS SOUS 158062 HAS SOUPS 156433 WITH SCORE 157304.989
AT ITER 667 NEW BEST:: SOT 1137233 SOS 863528 HAS SOPS 861399 HAS SOUS 148899 HAS SOUPS 147270 WITH SCORE 148133.528
AT ITER 668 NEW BEST:: SOT 1137233 SOS 862772 HAS SOPS 860643 HAS SOUS 148839 HAS SOUPS 147210 WITH SCORE 148072.772
AT ITER 669 NEW BEST:: SOT 1138570 SOS 864093 HAS SOPS 861980 HAS SOUS 147770 HAS SOUPS 146157 WITH SCORE 147021.093
AT ITER 673 NEW BEST:: SOT 1138547 SOS 864070 HAS SOPS 861957 HAS SOUS 147747 HAS SOUPS 146134 WITH SCORE 146998.07
AT ITER 676 NEW BEST:: SOT 1138757 SOS 864280 HAS SOPS 862167 HAS SOUS 147572 HAS SOUPS 145959 WITH SCORE 146823.28
AT ITER 678 NEW BEST:: SOT 1138805 SOS 919560 HAS SOPS 917706 HAS SOUS 147467 HAS SOUPS 145854 WITH SCORE 146773.56
AT ITER 679 NEW BEST:: SOT 1138797 SOS 919552 HAS SOPS 917698 HAS SOUS 147459 HAS SOUPS 145846 WITH SCORE 146765.552
AT ITER 704 NEW BEST:: SOT 1138825 SOS 919580 HAS SOPS 917726 HAS SOUS 147426 HAS SOUPS 145813 WITH SCORE 146732.58
AT ITER 705 NEW BEST:: SOT 1138825 SOS 919396 HAS SOPS 917542 HAS SOUS 147418 HAS SOUPS 145805 WITH SCORE 146724.396
AT ITER 719 NEW BEST:: SOT 1138729 SOS 919300 HAS SOPS 917446 HAS SOUS 147285 HAS SOUPS 145672 WITH SCORE 146591.3
AT ITER 720 NEW BEST:: SOT 1138428 SOS 918999 HAS SOPS 917145 HAS SOUS 147059 HAS SOUPS 145446 WITH SCORE 146364.999
AT ITER 724 NEW BEST:: SOT 1138198 SOS 918769 HAS SOPS 916915 HAS SOUS 146736 HAS SOUPS 145123 WITH SCORE 146041.769
AT ITER 726 NEW BEST:: SOT 1138331 SOS 918902 HAS SOPS 917048 HAS SOUS 146663 HAS SOUPS 145050 WITH SCORE 145968.902
AT ITER 728 NEW BEST:: SOT 1138323 SOS 918894 HAS SOPS 917040 HAS SOUS 146636 HAS SOUPS 145023 WITH SCORE 145941.894
AT ITER 732 NEW BEST:: SOT 1139915 SOS 920486 HAS SOPS 918632 HAS SOUS 146555 HAS SOUPS 144942 WITH SCORE 145862.486
AT ITER 741 NEW BEST:: SOT 1139481 SOS 920052 HAS SOPS 918198 HAS SOUS 146121 HAS SOUPS 144508 WITH SCORE 145428.052
AT ITER 744 NEW BEST:: SOT 1141758 SOS 922329 HAS SOPS 920475 HAS SOUS 143984 HAS SOUPS 142371 WITH SCORE 143293.329
AT ITER 745 NEW BEST:: SOT 1141216 SOS 921787 HAS SOPS 919933 HAS SOUS 141112 HAS SOUPS 139499 WITH SCORE 140420.787
AT ITER 751 NEW BEST:: SOT 1140923 SOS 921494 HAS SOPS 919640 HAS SOUS 140244 HAS SOUPS 138631 WITH SCORE 139552.494
AT ITER 753 NEW BEST:: SOT 1140746 SOS 921317 HAS SOPS 919463 HAS SOUS 139971 HAS SOUPS 138358 WITH SCORE 139279.317
AT ITER 761 NEW BEST:: SOT 1140626 SOS 921197 HAS SOPS 919343 HAS SOUS 139851 HAS SOUPS 138238 WITH SCORE 139159.197
AT ITER 767 NEW BEST:: SOT 1140506 SOS 921077 HAS SOPS 919223 HAS SOUS 139688 HAS SOUPS 138075 WITH SCORE 138996.077
AT ITER 769 NEW BEST:: SOT 1140705 SOS 921276 HAS SOPS 919422 HAS SOUS 139647 HAS SOUPS 138034 WITH SCORE 138955.276
AT ITER 776 NEW BEST:: SOT 1140705 SOS 921276 HAS SOPS 919422 HAS SOUS 139604 HAS SOUPS 137991 WITH SCORE 138912.276
AT ITER 778 NEW BEST:: SOT 1139722 SOS 920293 HAS SOPS 918439 HAS SOUS 139485 HAS SOUPS 137872 WITH SCORE 138792.293
AT ITER 784 NEW BEST:: SOT 1139734 SOS 920305 HAS SOPS 918451 HAS SOUS 139449 HAS SOUPS 137836 WITH SCORE 138756.305
AT ITER 795 NEW BEST:: SOT 1139665 SOS 920209 HAS SOPS 918352 HAS SOUS 139398 HAS SOUPS 137782 WITH SCORE 138702.209
AT ITER 797 NEW BEST:: SOT 1139665 SOS 920209 HAS SOPS 918352 HAS SOUS 139389 HAS SOUPS 137773 WITH SCORE 138693.209
AT ITER 811 NEW BEST:: SOT 1138572 SOS 919116 HAS SOPS 917259 HAS SOUS 138977 HAS SOUPS 137361 WITH SCORE 138280.116
AT ITER 819 NEW BEST:: SOT 1138572 SOS 919284 HAS SOPS 917427 HAS SOUS 138959 HAS SOUPS 137343 WITH SCORE 138262.284
AT ITER 823 NEW BEST:: SOT 1138516 SOS 919228 HAS SOPS 917371 HAS SOUS 138823 HAS SOUPS 137207 WITH SCORE 138126.228
AT ITER 837 NEW BEST:: SOT 1138516 SOS 919228 HAS SOPS 917371 HAS SOUS 138751 HAS SOUPS 137135 WITH SCORE 138054.228
AT ITER 856 NEW BEST:: SOT 1138489 SOS 919171 HAS SOPS 917314 HAS SOUS 138720 HAS SOUPS 137104 WITH SCORE 138023.171
AT ITER 857 NEW BEST:: SOT 1137187 SOS 917869 HAS SOPS 916012 HAS SOUS 138633 HAS SOUPS 137017 WITH SCORE 137934.869
AT ITER 875 NEW BEST:: SOT 1137187 SOS 917887 HAS SOPS 916030 HAS SOUS 138608 HAS SOUPS 136992 WITH SCORE 137909.887
AT ITER 876 NEW BEST:: SOT 1137192 SOS 917892 HAS SOPS 916035 HAS SOUS 138300 HAS SOUPS 136684 WITH SCORE 137601.892
AT ITER 878 NEW BEST:: SOT 1137192 SOS 917800 HAS SOPS 915943 HAS SOUS 138254 HAS SOUPS 136638 WITH SCORE 137555.8
AT ITER 891 NEW BEST:: SOT 1136767 SOS 917375 HAS SOPS 915518 HAS SOUS 137859 HAS SOUPS 136243 WITH SCORE 137160.375
AT ITER 893 NEW BEST:: SOT 1136829 SOS 917437 HAS SOPS 915580 HAS SOUS 137758 HAS SOUPS 136142 WITH SCORE 137059.437
AT ITER 896 NEW BEST:: SOT 1136788 SOS 915437 HAS SOPS 913740 HAS SOUS 136807 HAS SOUPS 135247 WITH SCORE 136162.437
AT ITER 906 NEW BEST:: SOT 1136788 SOS 915437 HAS SOPS 913740 HAS SOUS 136775 HAS SOUPS 135215 WITH SCORE 136130.437
AT ITER 917 NEW BEST:: SOT 1136782 SOS 915383 HAS SOPS 913686 HAS SOUS 136767 HAS SOUPS 135207 WITH SCORE 136122.383
AT ITER 928 NEW BEST:: SOT 1139077 SOS 917752 HAS SOPS 916386 HAS SOUS 135909 HAS SOUPS 134676 WITH SCORE 135593.752
AT ITER 951 NEW BEST:: SOT 1139085 SOS 918713 HAS SOPS 917347 HAS SOUS 135861 HAS SOUPS 134628 WITH SCORE 135546.713
AT ITER 959 NEW BEST:: SOT 1139123 SOS 918751 HAS SOPS 917385 HAS SOUS 135630 HAS SOUPS 134397 WITH SCORE 135315.751
AT ITER 967 NEW BEST:: SOT 1139755 SOS 919363 HAS SOPS 918017 HAS SOUS 134661 HAS SOUPS 133448 WITH SCORE 134367.363
AT ITER 970 NEW BEST:: SOT 1139755 SOS 919363 HAS SOPS 918017 HAS SOUS 134658 HAS SOUPS 133445 WITH SCORE 134364.363
AT ITER 991 NEW BEST:: SOT 1139405 SOS 919013 HAS SOPS 917667 HAS SOUS 134544 HAS SOUPS 133331 WITH SCORE 134250.013
AT ITER 993 NEW BEST:: SOT 1139385 SOS 918993 HAS SOPS 917647 HAS SOUS 134340 HAS SOUPS 133127 WITH SCORE 134045.993
AT ITER 998 NEW BEST:: SOT 1140138 SOS 919746 HAS SOPS 918400 HAS SOUS 133773 HAS SOUPS 132560 WITH SCORE 133479.746
AT ITER 999 NEW BEST:: SOT 1140138 SOS 915138 HAS SOPS 913792 HAS SOUS 133765 HAS SOUPS 132552 WITH SCORE 133467.138
AT ITER 1017 NEW BEST:: SOT 1139757 SOS 914757 HAS SOPS 913411 HAS SOUS 133297 HAS SOUPS 132084 WITH SCORE 132998.757
AT ITER 1031 NEW BEST:: SOT 1139724 SOS 914724 HAS SOPS 913378 HAS SOUS 133201 HAS SOUPS 131988 WITH SCORE 132902.724
AT ITER 1044 NEW BEST:: SOT 1139726 SOS 914726 HAS SOPS 913380 HAS SOUS 133168 HAS SOUPS 131955 WITH SCORE 132869.726
AT ITER 1045 NEW BEST:: SOT 1139734 SOS 914734 HAS SOPS 913388 HAS SOUS 133095 HAS SOUPS 131882 WITH SCORE 132796.734
AT ITER 1053 NEW BEST:: SOT 1138703 SOS 913703 HAS SOPS 912357 HAS SOUS 132939 HAS SOUPS 131726 WITH SCORE 132639.703
AT ITER 1061 NEW BEST:: SOT 1138571 SOS 913571 HAS SOPS 912225 HAS SOUS 132807 HAS SOUPS 131594 WITH SCORE 132507.571
AT ITER 1064 NEW BEST:: SOT 1138571 SOS 913619 HAS SOPS 912273 HAS SOUS 132791 HAS SOUPS 131578 WITH SCORE 132491.619
AT ITER 1065 NEW BEST:: SOT 1138571 SOS 913619 HAS SOPS 912273 HAS SOUS 132748 HAS SOUPS 131535 WITH SCORE 132448.619
AT ITER 1072 NEW BEST:: SOT 1138571 SOS 914140 HAS SOPS 912794 HAS SOUS 132693 HAS SOUPS 131480 WITH SCORE 132394.14
AT ITER 1073 NEW BEST:: SOT 1138213 SOS 914022 HAS SOPS 912676 HAS SOUS 132693 HAS SOUPS 131480 WITH SCORE 132394.022
AT ITER 1094 NEW BEST:: SOT 1138211 SOS 914020 HAS SOPS 912674 HAS SOUS 132121 HAS SOUPS 130908 WITH SCORE 131822.02
AT ITER 1108 NEW BEST:: SOT 1138856 SOS 914665 HAS SOPS 913319 HAS SOUS 131737 HAS SOUPS 130524 WITH SCORE 131438.665
AT ITER 1124 NEW BEST:: SOT 1139200 SOS 915009 HAS SOPS 913663 HAS SOUS 131615 HAS SOUPS 130402 WITH SCORE 131317.009
AT ITER 1180 NEW BEST:: SOT 1139198 SOS 915007 HAS SOPS 913661 HAS SOUS 131615 HAS SOUPS 130402 WITH SCORE 131317.007
AT ITER 1185 NEW BEST:: SOT 1139751 SOS 915560 HAS SOPS 914214 HAS SOUS 131453 HAS SOUPS 130240 WITH SCORE 131155.56
AT ITER 1189 NEW BEST:: SOT 1140104 SOS 915913 HAS SOPS 914567 HAS SOUS 131189 HAS SOUPS 129976 WITH SCORE 130891.913
AT ITER 1192 NEW BEST:: SOT 1140104 SOS 915913 HAS SOPS 914567 HAS SOUS 131174 HAS SOUPS 129961 WITH SCORE 130876.913
AT ITER 1202 NEW BEST:: SOT 1139630 SOS 874375 HAS SOPS 873029 HAS SOUS 131159 HAS SOUPS 129946 WITH SCORE 130820.375
AT ITER 1204 NEW BEST:: SOT 1139585 SOS 875257 HAS SOPS 874010 HAS SOUS 130966 HAS SOUPS 129757 WITH SCORE 130632.257
AT ITER 1207 NEW BEST:: SOT 1138180 SOS 875003 HAS SOPS 873756 HAS SOUS 130052 HAS SOUPS 128843 WITH SCORE 129718.003
AT ITER 1219 NEW BEST:: SOT 1138197 SOS 875020 HAS SOPS 873773 HAS SOUS 129964 HAS SOUPS 128755 WITH SCORE 129630.02
AT ITER 1242 NEW BEST:: SOT 1138520 SOS 875343 HAS SOPS 874096 HAS SOUS 129875 HAS SOUPS 128666 WITH SCORE 129541.343
AT ITER 1263 NEW BEST:: SOT 1138613 SOS 876417 HAS SOPS 875208 HAS SOUS 129094 HAS SOUPS 127923 WITH SCORE 128799.417
AT ITER 1268 NEW BEST:: SOT 1138642 SOS 876446 HAS SOPS 875237 HAS SOUS 128715 HAS SOUPS 127544 WITH SCORE 128420.446
AT ITER 1283 NEW BEST:: SOT 1138642 SOS 876446 HAS SOPS 875237 HAS SOUS 128684 HAS SOUPS 127513 WITH SCORE 128389.446
AT ITER 1289 NEW BEST:: SOT 1139924 SOS 877728 HAS SOPS 876519 HAS SOUS 127526 HAS SOUPS 126355 WITH SCORE 127232.728
AT ITER 1290 NEW BEST:: SOT 1140021 SOS 877822 HAS SOPS 876616 HAS SOUS 127455 HAS SOUPS 126287 WITH SCORE 127164.822
AT ITER 1298 NEW BEST:: SOT 1140174 SOS 878129 HAS SOPS 876923 HAS SOUS 126457 HAS SOUPS 125289 WITH SCORE 126167.129
AT ITER 1301 NEW BEST:: SOT 1139501 SOS 877486 HAS SOPS 876250 HAS SOUS 126454 HAS SOUPS 125256 WITH SCORE 126133.486
AT ITER 1322 NEW BEST:: SOT 1140175 SOS 878160 HAS SOPS 876924 HAS SOUS 126019 HAS SOUPS 124821 WITH SCORE 125699.16
AT ITER 1323 NEW BEST:: SOT 1140141 SOS 878126 HAS SOPS 876890 HAS SOUS 124743 HAS SOUPS 123545 WITH SCORE 124423.126
AT ITER 1347 NEW BEST:: SOT 1139824 SOS 877809 HAS SOPS 876573 HAS SOUS 124611 HAS SOUPS 123413 WITH SCORE 124290.809
AT ITER 1353 NEW BEST:: SOT 1138909 SOS 879089 HAS SOPS 879075 HAS SOUS 122759 HAS SOUPS 122752 WITH SCORE 123631.089
AT ITER 1377 NEW BEST:: SOT 1138603 SOS 878783 HAS SOPS 878769 HAS SOUS 122468 HAS SOUPS 122461 WITH SCORE 123339.783
AT ITER 1385 NEW BEST:: SOT 1138468 SOS 876735 HAS SOPS 876721 HAS SOUS 122398 HAS SOUPS 122391 WITH SCORE 123267.735
AT ITER 1393 NEW BEST:: SOT 1140123 SOS 878390 HAS SOPS 878376 HAS SOUS 121705 HAS SOUPS 121698 WITH SCORE 122576.39
AT ITER 1398 NEW BEST:: SOT 1138462 SOS 876729 HAS SOPS 876715 HAS SOUS 120736 HAS SOUPS 120729 WITH SCORE 121605.729
AT ITER 1408 NEW BEST:: SOT 1138348 SOS 876615 HAS SOPS 876601 HAS SOUS 120622 HAS SOUPS 120615 WITH SCORE 121491.615
AT ITER 1416 NEW BEST:: SOT 1138293 SOS 876560 HAS SOPS 876546 HAS SOUS 120509 HAS SOUPS 120502 WITH SCORE 121378.56
AT ITER 1425 NEW BEST:: SOT 1138293 SOS 876043 HAS SOPS 876043 HAS SOUS 120386 HAS SOUPS 120386 WITH SCORE 121262.043
AT ITER 1429 NEW BEST:: SOT 1137860 SOS 876054 HAS SOPS 876054 HAS SOUS 120341 HAS SOUPS 120341 WITH SCORE 121217.054
AT ITER 1440 NEW BEST:: SOT 1137853 SOS 876047 HAS SOPS 876047 HAS SOUS 120185 HAS SOUPS 120185 WITH SCORE 121061.047
AT ITER 1445 NEW BEST:: SOT 1137949 SOS 876167 HAS SOPS 876167 HAS SOUS 119900 HAS SOUPS 119900 WITH SCORE 120776.167
AT ITER 1471 NEW BEST:: SOT 1138999 SOS 877217 HAS SOPS 877217 HAS SOUS 118252 HAS SOUPS 118252 WITH SCORE 119129.217
AT ITER 1476 NEW BEST:: SOT 1138736 SOS 876954 HAS SOPS 876954 HAS SOUS 118067 HAS SOUPS 118067 WITH SCORE 118943.954
AT ITER 1488 NEW BEST:: SOT 1138736 SOS 850018 HAS SOPS 850018 HAS SOUS 118068 HAS SOUPS 118068 WITH SCORE 118918.018
AT ITER 1493 NEW BEST:: SOT 1138691 SOS 849973 HAS SOPS 849973 HAS SOUS 118023 HAS SOUPS 118023 WITH SCORE 118872.973
AT ITER 1495 NEW BEST:: SOT 1138691 SOS 850069 HAS SOPS 850069 HAS SOUS 117963 HAS SOUPS 117963 WITH SCORE 118813.069
AT ITER 1509 NEW BEST:: SOT 1137752 SOS 849130 HAS SOPS 849130 HAS SOUS 117673 HAS SOUPS 117673 WITH SCORE 118522.13
AT ITER 1519 NEW BEST:: SOT 1137752 SOS 848950 HAS SOPS 848950 HAS SOUS 117673 HAS SOUPS 117673 WITH SCORE 118521.95
AT ITER 1534 NEW BEST:: SOT 1137752 SOS 841654 HAS SOPS 841654 HAS SOUS 117673 HAS SOUPS 117673 WITH SCORE 118514.654
AT ITER 1537 NEW BEST:: SOT 1137752 SOS 840851 HAS SOPS 840838 HAS SOUS 117683 HAS SOUPS 117670 WITH SCORE 118510.851
AT ITER 1539 NEW BEST:: SOT 1137280 SOS 842899 HAS SOPS 842886 HAS SOUS 116921 HAS SOUPS 116908 WITH SCORE 117750.899
AT ITER 1546 NEW BEST:: SOT 1137280 SOS 851779 HAS SOPS 851766 HAS SOUS 116869 HAS SOUPS 116856 WITH SCORE 117707.779
AT ITER 1555 NEW BEST:: SOT 1137720 SOS 852219 HAS SOPS 852206 HAS SOUS 116000 HAS SOUPS 115987 WITH SCORE 116839.219
AT ITER 1557 NEW BEST:: SOT 1137705 SOS 852204 HAS SOPS 852191 HAS SOUS 115860 HAS SOUPS 115847 WITH SCORE 116699.204
AT ITER 1577 NEW BEST:: SOT 1137705 SOS 851874 HAS SOPS 851861 HAS SOUS 115860 HAS SOUPS 115847 WITH SCORE 116698.874
AT ITER 1584 NEW BEST:: SOT 1139124 SOS 855669 HAS SOPS 855656 HAS SOUS 115536 HAS SOUPS 115523 WITH SCORE 116378.669
AT ITER 1600 NEW BEST:: SOT 1138653 SOS 855198 HAS SOPS 855185 HAS SOUS 115407 HAS SOUPS 115394 WITH SCORE 116249.198
AT ITER 1610 NEW BEST:: SOT 1138377 SOS 854238 HAS SOPS 854225 HAS SOUS 115118 HAS SOUPS 115105 WITH SCORE 115959.238
AT ITER 1615 NEW BEST:: SOT 1138377 SOS 854166 HAS SOPS 854153 HAS SOUS 115118 HAS SOUPS 115105 WITH SCORE 115959.166
AT ITER 1621 NEW BEST:: SOT 1136851 SOS 852457 HAS SOPS 852444 HAS SOUS 113384 HAS SOUPS 113371 WITH SCORE 114223.457
AT ITER 1634 NEW BEST:: SOT 1136901 SOS 852507 HAS SOPS 852494 HAS SOUS 113299 HAS SOUPS 113286 WITH SCORE 114138.507
AT ITER 1648 NEW BEST:: SOT 1136821 SOS 852427 HAS SOPS 852414 HAS SOUS 112762 HAS SOUPS 112749 WITH SCORE 113601.427
AT ITER 1649 NEW BEST:: SOT 1137915 SOS 853521 HAS SOPS 853508 HAS SOUS 111465 HAS SOUPS 111452 WITH SCORE 112305.521
AT ITER 1670 NEW BEST:: SOT 1137894 SOS 853668 HAS SOPS 853655 HAS SOUS 111423 HAS SOUPS 111410 WITH SCORE 112263.668
AT ITER 1684 NEW BEST:: SOT 1138098 SOS 853872 HAS SOPS 853859 HAS SOUS 111247 HAS SOUPS 111234 WITH SCORE 112087.872
AT ITER 1688 NEW BEST:: SOT 1138064 SOS 853838 HAS SOPS 853825 HAS SOUS 111211 HAS SOUPS 111198 WITH SCORE 112051.838
AT ITER 1690 NEW BEST:: SOT 1138020 SOS 853794 HAS SOPS 853781 HAS SOUS 111161 HAS SOUPS 111148 WITH SCORE 112001.794
AT ITER 1701 NEW BEST:: SOT 1138020 SOS 853794 HAS SOPS 853781 HAS SOUS 111091 HAS SOUPS 111078 WITH SCORE 111931.794
AT ITER 1706 NEW BEST:: SOT 1138116 SOS 856005 HAS SOPS 855994 HAS SOUS 110994 HAS SOUPS 110983 WITH SCORE 111839.005
AT ITER 1711 NEW BEST:: SOT 1138086 SOS 855975 HAS SOPS 855964 HAS SOUS 110908 HAS SOUPS 110897 WITH SCORE 111752.975
AT ITER 1713 NEW BEST:: SOT 1138228 SOS 856117 HAS SOPS 856106 HAS SOUS 110616 HAS SOUPS 110605 WITH SCORE 111461.117
AT ITER 1739 NEW BEST:: SOT 1138228 SOS 855973 HAS SOPS 855962 HAS SOUS 110610 HAS SOUPS 110599 WITH SCORE 111454.973
AT ITER 1743 NEW BEST:: SOT 1138716 SOS 856461 HAS SOPS 856450 HAS SOUS 110179 HAS SOUPS 110168 WITH SCORE 111024.461
AT ITER 1755 NEW BEST:: SOT 1138503 SOS 785764 HAS SOPS 785753 HAS SOUS 110191 HAS SOUPS 110180 WITH SCORE 110965.764
AT ITER 1757 NEW BEST:: SOT 1138531 SOS 785792 HAS SOPS 785781 HAS SOUS 109894 HAS SOUPS 109883 WITH SCORE 110668.792
AT ITER 1761 NEW BEST:: SOT 1138205 SOS 785466 HAS SOPS 785455 HAS SOUS 109214 HAS SOUPS 109203 WITH SCORE 109988.466
AT ITER 1766 NEW BEST:: SOT 1138553 SOS 785814 HAS SOPS 785803 HAS SOUS 109191 HAS SOUPS 109180 WITH SCORE 109965.814
AT ITER 1776 NEW BEST:: SOT 1138394 SOS 785655 HAS SOPS 785644 HAS SOUS 108927 HAS SOUPS 108916 WITH SCORE 109701.655
AT ITER 1778 NEW BEST:: SOT 1138486 SOS 785747 HAS SOPS 785736 HAS SOUS 108611 HAS SOUPS 108600 WITH SCORE 109385.747
AT ITER 1783 NEW BEST:: SOT 1138486 SOS 785867 HAS SOPS 785856 HAS SOUS 108387 HAS SOUPS 108376 WITH SCORE 109161.867
AT ITER 1832 NEW BEST:: SOT 1140010 SOS 789713 HAS SOPS 789612 HAS SOUS 108365 HAS SOUPS 108264 WITH SCORE 109053.713
AT ITER 1835 NEW BEST:: SOT 1140080 SOS 789783 HAS SOPS 789682 HAS SOUS 108097 HAS SOUPS 107996 WITH SCORE 108785.783
AT ITER 1844 NEW BEST:: SOT 1140005 SOS 789708 HAS SOPS 789607 HAS SOUS 107942 HAS SOUPS 107841 WITH SCORE 108630.708
AT ITER 1845 NEW BEST:: SOT 1140005 SOS 789703 HAS SOPS 789602 HAS SOUS 107933 HAS SOUPS 107832 WITH SCORE 108621.703
AT ITER 1858 NEW BEST:: SOT 1140004 SOS 789782 HAS SOPS 789681 HAS SOUS 107932 HAS SOUPS 107831 WITH SCORE 108620.782
AT ITER 1875 NEW BEST:: SOT 1140044 SOS 789822 HAS SOPS 789721 HAS SOUS 107859 HAS SOUPS 107758 WITH SCORE 108547.822
AT ITER 1878 NEW BEST:: SOT 1140089 SOS 789877 HAS SOPS 789776 HAS SOUS 107852 HAS SOUPS 107751 WITH SCORE 108540.877
AT ITER 1883 NEW BEST:: SOT 1139972 SOS 789760 HAS SOPS 789659 HAS SOUS 107252 HAS SOUPS 107151 WITH SCORE 107940.76
AT ITER 1891 NEW BEST:: SOT 1139344 SOS 789132 HAS SOPS 789031 HAS SOUS 106073 HAS SOUPS 105972 WITH SCORE 106761.132
AT ITER 1897 NEW BEST:: SOT 1139372 SOS 789832 HAS SOPS 789731 HAS SOUS 105977 HAS SOUPS 105876 WITH SCORE 106665.832
AT ITER 1906 NEW BEST:: SOT 1139257 SOS 789717 HAS SOPS 789616 HAS SOUS 105650 HAS SOUPS 105549 WITH SCORE 106338.717
AT ITER 1908 NEW BEST:: SOT 1139257 SOS 789648 HAS SOPS 789547 HAS SOUS 105647 HAS SOUPS 105546 WITH SCORE 106335.648
AT ITER 1926 NEW BEST:: SOT 1139257 SOS 789168 HAS SOPS 789067 HAS SOUS 105588 HAS SOUPS 105487 WITH SCORE 106276.168
AT ITER 1940 NEW BEST:: SOT 1139285 SOS 789868 HAS SOPS 789743 HAS SOUS 104896 HAS SOUPS 104789 WITH SCORE 105578.868
AT ITER 1941 NEW BEST:: SOT 1142250 SOS 792833 HAS SOPS 792708 HAS SOUS 104018 HAS SOUPS 103911 WITH SCORE 104703.833
AT ITER 1951 NEW BEST:: SOT 1141250 SOS 791833 HAS SOPS 791708 HAS SOUS 103782 HAS SOUPS 103675 WITH SCORE 104466.833
AT ITER 1955 NEW BEST:: SOT 1141104 SOS 791687 HAS SOPS 791562 HAS SOUS 103733 HAS SOUPS 103626 WITH SCORE 104417.687
AT ITER 1961 NEW BEST:: SOT 1141080 SOS 791553 HAS SOPS 791432 HAS SOUS 103729 HAS SOUPS 103623 WITH SCORE 104414.553
AT ITER 1975 NEW BEST:: SOT 1141062 SOS 791535 HAS SOPS 791414 HAS SOUS 103729 HAS SOUPS 103623 WITH SCORE 104414.535
AT ITER 1976 NEW BEST:: SOT 1140789 SOS 787614 HAS SOPS 787493 HAS SOUS 103485 HAS SOUPS 103379 WITH SCORE 104166.614
AT ITER 2004 NEW BEST:: SOT 1140707 SOS 786308 HAS SOPS 786187 HAS SOUS 103483 HAS SOUPS 103377 WITH SCORE 104163.308
AT ITER 2006 NEW BEST:: SOT 1139700 SOS 785301 HAS SOPS 785180 HAS SOUS 102476 HAS SOUPS 102370 WITH SCORE 103155.301
AT ITER 2010 NEW BEST:: SOT 1139856 SOS 785457 HAS SOPS 785336 HAS SOUS 102378 HAS SOUPS 102272 WITH SCORE 103057.457
AT ITER 2012 NEW BEST:: SOT 1138885 SOS 784486 HAS SOPS 784365 HAS SOUS 102058 HAS SOUPS 101952 WITH SCORE 102736.486
AT ITER 2017 NEW BEST:: SOT 1138885 SOS 785210 HAS SOPS 785077 HAS SOUS 102058 HAS SOUPS 101949 WITH SCORE 102734.21
AT ITER 2043 NEW BEST:: SOT 1138883 SOS 785206 HAS SOPS 785073 HAS SOUS 102057 HAS SOUPS 101948 WITH SCORE 102733.206
AT ITER 2052 NEW BEST:: SOT 1138849 SOS 785172 HAS SOPS 785039 HAS SOUS 102023 HAS SOUPS 101914 WITH SCORE 102699.172
AT ITER 2054 NEW BEST:: SOT 1136758 SOS 783081 HAS SOPS 782948 HAS SOUS 101683 HAS SOUPS 101574 WITH SCORE 102357.081
AT ITER 2064 NEW BEST:: SOT 1136714 SOS 782725 HAS SOPS 782592 HAS SOUS 101651 HAS SOUPS 101542 WITH SCORE 102324.725
AT ITER 2075 NEW BEST:: SOT 1136699 SOS 782710 HAS SOPS 782577 HAS SOUS 101619 HAS SOUPS 101510 WITH SCORE 102292.71
AT ITER 2076 NEW BEST:: SOT 1136699 SOS 782486 HAS SOPS 782353 HAS SOUS 101611 HAS SOUPS 101502 WITH SCORE 102284.486
AT ITER 2077 NEW BEST:: SOT 1134508 SOS 780295 HAS SOPS 780162 HAS SOUS 101082 HAS SOUPS 100973 WITH SCORE 101753.295
AT ITER 2103 NEW BEST:: SOT 1134655 SOS 780442 HAS SOPS 780309 HAS SOUS 101007 HAS SOUPS 100898 WITH SCORE 101678.442
AT ITER 2111 NEW BEST:: SOT 1134655 SOS 780226 HAS SOPS 780093 HAS SOUS 100989 HAS SOUPS 100880 WITH SCORE 101660.226
AT ITER 2115 NEW BEST:: SOT 1137405 SOS 782976 HAS SOPS 782843 HAS SOUS 100651 HAS SOUPS 100542 WITH SCORE 101324.976
AT ITER 2154 NEW BEST:: SOT 1137444 SOS 783015 HAS SOPS 782882 HAS SOUS 100650 HAS SOUPS 100541 WITH SCORE 101324.015
AT ITER 2162 NEW BEST:: SOT 1137444 SOS 783015 HAS SOPS 782882 HAS SOUS 100632 HAS SOUPS 100523 WITH SCORE 101306.015
AT ITER 2183 NEW BEST:: SOT 1137427 SOS 782964 HAS SOPS 782831 HAS SOUS 100581 HAS SOUPS 100472 WITH SCORE 101254.964
AT ITER 2205 NEW BEST:: SOT 1137427 SOS 782796 HAS SOPS 782663 HAS SOUS 100581 HAS SOUPS 100472 WITH SCORE 101254.796
AT ITER 2229 NEW BEST:: SOT 1139422 SOS 785055 HAS SOPS 784922 HAS SOUS 100551 HAS SOUPS 100442 WITH SCORE 101227.055
AT ITER 2242 NEW BEST:: SOT 1139083 SOS 784716 HAS SOPS 784583 HAS SOUS 100121 HAS SOUPS 100012 WITH SCORE 100796.716
AT ITER 2250 NEW BEST:: SOT 1139083 SOS 785907 HAS SOPS 785785 HAS SOUS 100102 HAS SOUPS 100004 WITH SCORE 100789.907
AT ITER 2268 NEW BEST:: SOT 1140026 SOS 786920 HAS SOPS 786798 HAS SOUS 100069 HAS SOUPS 99971 WITH SCORE 100757.92
AT ITER 2288 NEW BEST:: SOT 1140011 SOS 786905 HAS SOPS 786783 HAS SOUS 100056 HAS SOUPS 99958 WITH SCORE 100744.905
AT ITER 2289 NEW BEST:: SOT 1140538 SOS 788008 HAS SOPS 787886 HAS SOUS 99974 HAS SOUPS 99876 WITH SCORE 100664.008
AT ITER 2293 NEW BEST:: SOT 1140616 SOS 794414 HAS SOPS 794324 HAS SOUS 99873 HAS SOUPS 99783 WITH SCORE 100577.414
AT ITER 2309 NEW BEST:: SOT 1140617 SOS 794415 HAS SOPS 794325 HAS SOUS 99839 HAS SOUPS 99749 WITH SCORE 100543.415
AT ITER 2322 NEW BEST:: SOT 1139345 SOS 776824 HAS SOPS 776205 HAS SOUS 98532 HAS SOUPS 98335 WITH SCORE 99111.824
AT ITER 2326 NEW BEST:: SOT 1139345 SOS 776560 HAS SOPS 775941 HAS SOUS 98520 HAS SOUPS 98323 WITH SCORE 99099.56
AT ITER 2349 NEW BEST:: SOT 1139345 SOS 776539 HAS SOPS 775920 HAS SOUS 98520 HAS SOUPS 98323 WITH SCORE 99099.539
AT ITER 2377 NEW BEST:: SOT 1139406 SOS 776600 HAS SOPS 775981 HAS SOUS 98045 HAS SOUPS 97848 WITH SCORE 98624.6
AT ITER 2392 NEW BEST:: SOT 1139315 SOS 776509 HAS SOPS 775890 HAS SOUS 97998 HAS SOUPS 97801 WITH SCORE 98577.509
AT ITER 2399 NEW BEST:: SOT 1138573 SOS 775767 HAS SOPS 775148 HAS SOUS 97976 HAS SOUPS 97779 WITH SCORE 98554.767
AT ITER 2403 NEW BEST:: SOT 1136940 SOS 771296 HAS SOPS 770787 HAS SOUS 97113 HAS SOUPS 96946 WITH SCORE 97717.296
AT ITER 2415 NEW BEST:: SOT 1137113 SOS 771469 HAS SOPS 770960 HAS SOUS 97061 HAS SOUPS 96894 WITH SCORE 97665.469
AT ITER 2416 NEW BEST:: SOT 1137127 SOS 771483 HAS SOPS 770974 HAS SOUS 96978 HAS SOUPS 96811 WITH SCORE 97582.483
AT ITER 2456 NEW BEST:: SOT 1137747 SOS 772103 HAS SOPS 771594 HAS SOUS 96865 HAS SOUPS 96698 WITH SCORE 97470.103
AT ITER 2476 NEW BEST:: SOT 1138201 SOS 773301 HAS SOPS 772792 HAS SOUS 96315 HAS SOUPS 96148 WITH SCORE 96921.301
AT ITER 2497 NEW BEST:: SOT 1138201 SOS 777295 HAS SOPS 776772 HAS SOUS 96071 HAS SOUPS 95890 WITH SCORE 96667.295
AT ITER 2528 NEW BEST:: SOT 1138201 SOS 777271 HAS SOPS 776748 HAS SOUS 96071 HAS SOUPS 95890 WITH SCORE 96667.271
AT ITER 2534 NEW BEST:: SOT 1138203 SOS 777273 HAS SOPS 776750 HAS SOUS 95936 HAS SOUPS 95755 WITH SCORE 96532.273
AT ITER 2580 NEW BEST:: SOT 1138538 SOS 777608 HAS SOPS 777085 HAS SOUS 95911 HAS SOUPS 95730 WITH SCORE 96507.608
AT ITER 2583 NEW BEST:: SOT 1138534 SOS 777652 HAS SOPS 777129 HAS SOUS 95907 HAS SOUPS 95726 WITH SCORE 96503.652
AT ITER 2592 NEW BEST:: SOT 1138530 SOS 777648 HAS SOPS 777125 HAS SOUS 95903 HAS SOUPS 95722 WITH SCORE 96499.648
AT ITER 2597 NEW BEST:: SOT 1138530 SOS 777648 HAS SOPS 777125 HAS SOUS 95881 HAS SOUPS 95700 WITH SCORE 96477.648
AT ITER 2619 NEW BEST:: SOT 1138286 SOS 778220 HAS SOPS 777697 HAS SOUS 95755 HAS SOUPS 95574 WITH SCORE 96352.22
AT ITER 2628 NEW BEST:: SOT 1138271 SOS 777831 HAS SOPS 777322 HAS SOUS 95725 HAS SOUPS 95558 WITH SCORE 96335.831
AT ITER 2630 NEW BEST:: SOT 1138223 SOS 777777 HAS SOPS 777268 HAS SOUS 95721 HAS SOUPS 95554 WITH SCORE 96331.777
AT ITER 2655 NEW BEST:: SOT 1138344 SOS 777898 HAS SOPS 777389 HAS SOUS 95616 HAS SOUPS 95449 WITH SCORE 96226.898
AT ITER 2661 NEW BEST:: SOT 1138074 SOS 777628 HAS SOPS 777119 HAS SOUS 95572 HAS SOUPS 95405 WITH SCORE 96182.628
AT ITER 2673 NEW BEST:: SOT 1137974 SOS 777528 HAS SOPS 777019 HAS SOUS 95565 HAS SOUPS 95398 WITH SCORE 96175.528
AT ITER 2678 NEW BEST:: SOT 1136712 SOS 771896 HAS SOPS 771545 HAS SOUS 95335 HAS SOUPS 95210 WITH SCORE 95981.896
AT ITER 2686 NEW BEST:: SOT 1136691 SOS 771875 HAS SOPS 771524 HAS SOUS 95311 HAS SOUPS 95186 WITH SCORE 95957.875
AT ITER 2703 NEW BEST:: SOT 1136691 SOS 771299 HAS SOPS 770948 HAS SOUS 95311 HAS SOUPS 95186 WITH SCORE 95957.299
AT ITER 2743 NEW BEST:: SOT 1137059 SOS 771667 HAS SOPS 771316 HAS SOUS 95099 HAS SOUPS 94974 WITH SCORE 95745.667
AT ITER 2759 NEW BEST:: SOT 1136375 SOS 770983 HAS SOPS 770632 HAS SOUS 94895 HAS SOUPS 94770 WITH SCORE 95540.983
AT ITER 2762 NEW BEST:: SOT 1136368 SOS 771144 HAS SOPS 770793 HAS SOUS 94854 HAS SOUPS 94729 WITH SCORE 95500.144
AT ITER 2765 NEW BEST:: SOT 1136443 SOS 772319 HAS SOPS 771924 HAS SOUS 94828 HAS SOUPS 94659 WITH SCORE 95431.319
AT ITER 2777 NEW BEST:: SOT 1136442 SOS 772318 HAS SOPS 771923 HAS SOUS 94798 HAS SOUPS 94629 WITH SCORE 95401.318
AT ITER 2790 NEW BEST:: SOT 1136300 SOS 772176 HAS SOPS 771781 HAS SOUS 94541 HAS SOUPS 94372 WITH SCORE 95144.176
AT ITER 2824 NEW BEST:: SOT 1136726 SOS 772730 HAS SOPS 772335 HAS SOUS 94468 HAS SOUPS 94299 WITH SCORE 95071.73
AT ITER 2835 NEW BEST:: SOT 1137036 SOS 773042 HAS SOPS 772647 HAS SOUS 94431 HAS SOUPS 94262 WITH SCORE 95035.042
AT ITER 2845 NEW BEST:: SOT 1137036 SOS 772874 HAS SOPS 772479 HAS SOUS 94431 HAS SOUPS 94262 WITH SCORE 95034.874
AT ITER 2857 NEW BEST:: SOT 1137036 SOS 767486 HAS SOPS 767091 HAS SOUS 94421 HAS SOUPS 94252 WITH SCORE 95019.486
AT ITER 2876 NEW BEST:: SOT 1137036 SOS 767661 HAS SOPS 767091 HAS SOUS 94415 HAS SOUPS 94071 WITH SCORE 94838.661
AT ITER 2895 NEW BEST:: SOT 1136539 SOS 767382 HAS SOPS 766812 HAS SOUS 94078 HAS SOUPS 93734 WITH SCORE 94501.382
AT ITER 2906 NEW BEST:: SOT 1136539 SOS 767358 HAS SOPS 766788 HAS SOUS 94078 HAS SOUPS 93734 WITH SCORE 94501.358
AT ITER 2917 NEW BEST:: SOT 1137099 SOS 767918 HAS SOPS 767348 HAS SOUS 93942 HAS SOUPS 93598 WITH SCORE 94365.918
AT ITER 2920 NEW BEST:: SOT 1137097 SOS 767964 HAS SOPS 767394 HAS SOUS 93934 HAS SOUPS 93590 WITH SCORE 94357.964
AT ITER 2922 NEW BEST:: SOT 1136896 SOS 767763 HAS SOPS 767193 HAS SOUS 93553 HAS SOUPS 93209 WITH SCORE 93976.763
AT ITER 2930 NEW BEST:: SOT 1136948 SOS 767815 HAS SOPS 767245 HAS SOUS 93546 HAS SOUPS 93202 WITH SCORE 93969.815
AT ITER 2935 NEW BEST:: SOT 1136725 SOS 767778 HAS SOPS 767208 HAS SOUS 93530 HAS SOUPS 93186 WITH SCORE 93953.778
AT ITER 2945 NEW BEST:: SOT 1136708 SOS 768121 HAS SOPS 767551 HAS SOUS 93485 HAS SOUPS 93141 WITH SCORE 93909.121
AT ITER 2952 NEW BEST:: SOT 1136708 SOS 768121 HAS SOPS 767551 HAS SOUS 93457 HAS SOUPS 93113 WITH SCORE 93881.121
AT ITER 2955 NEW BEST:: SOT 1136708 SOS 760129 HAS SOPS 759559 HAS SOUS 93446 HAS SOUPS 93102 WITH SCORE 93862.129
AT ITER 2957 NEW BEST:: SOT 1136699 SOS 759784 HAS SOPS 759214 HAS SOUS 93432 HAS SOUPS 93088 WITH SCORE 93847.784
AT ITER 3008 NEW BEST:: SOT 1136643 SOS 759920 HAS SOPS 759350 HAS SOUS 93255 HAS SOUPS 92911 WITH SCORE 93670.92
AT ITER 3025 NEW BEST:: SOT 1136643 SOS 759880 HAS SOPS 759310 HAS SOUS 93253 HAS SOUPS 92909 WITH SCORE 93668.88
AT ITER 3042 NEW BEST:: SOT 1135929 SOS 758966 HAS SOPS 758596 HAS SOUS 91781 HAS SOUPS 91447 WITH SCORE 92205.966
AT ITER 3044 NEW BEST:: SOT 1136525 SOS 794782 HAS SOPS 794412 HAS SOUS 91700 HAS SOUPS 91366 WITH SCORE 92160.782
AT ITER 3045 NEW BEST:: SOT 1136167 SOS 794424 HAS SOPS 794054 HAS SOUS 91579 HAS SOUPS 91245 WITH SCORE 92039.424
AT ITER 3052 NEW BEST:: SOT 1136167 SOS 794346 HAS SOPS 793976 HAS SOUS 91567 HAS SOUPS 91233 WITH SCORE 92027.346
AT ITER 3056 NEW BEST:: SOT 1136167 SOS 793362 HAS SOPS 792992 HAS SOUS 91526 HAS SOUPS 91192 WITH SCORE 91985.362
AT ITER 3109 NEW BEST:: SOT 1136020 SOS 793215 HAS SOPS 792845 HAS SOUS 91361 HAS SOUPS 91027 WITH SCORE 91820.215
AT ITER 3112 NEW BEST:: SOT 1135592 SOS 792787 HAS SOPS 792417 HAS SOUS 91183 HAS SOUPS 90849 WITH SCORE 91641.787
AT ITER 3147 NEW BEST:: SOT 1135511 SOS 792706 HAS SOPS 792336 HAS SOUS 91122 HAS SOUPS 90788 WITH SCORE 91580.706
AT ITER 3148 NEW BEST:: SOT 1135754 SOS 792949 HAS SOPS 792579 HAS SOUS 91048 HAS SOUPS 90714 WITH SCORE 91506.949
AT ITER 3151 NEW BEST:: SOT 1135949 SOS 793144 HAS SOPS 792774 HAS SOUS 90875 HAS SOUPS 90541 WITH SCORE 91334.144
AT ITER 3161 NEW BEST:: SOT 1135949 SOS 793122 HAS SOPS 792752 HAS SOUS 90875 HAS SOUPS 90541 WITH SCORE 91334.122
AT ITER 3192 NEW BEST:: SOT 1136164 SOS 793337 HAS SOPS 792967 HAS SOUS 90823 HAS SOUPS 90489 WITH SCORE 91282.337
AT ITER 3199 NEW BEST:: SOT 1136124 SOS 793381 HAS SOPS 793011 HAS SOUS 90813 HAS SOUPS 90479 WITH SCORE 91272.381
AT ITER 3213 NEW BEST:: SOT 1133439 SOS 747740 HAS SOPS 747370 HAS SOUS 88480 HAS SOUPS 88146 WITH SCORE 88893.74
AT ITER 3219 NEW BEST:: SOT 1132784 SOS 747085 HAS SOPS 746715 HAS SOUS 88155 HAS SOUPS 87821 WITH SCORE 88568.085
AT ITER 3259 NEW BEST:: SOT 1132767 SOS 747068 HAS SOPS 746698 HAS SOUS 88085 HAS SOUPS 87751 WITH SCORE 88498.068
AT ITER 3269 NEW BEST:: SOT 1132212 SOS 742513 HAS SOPS 742103 HAS SOUS 88096 HAS SOUPS 87752 WITH SCORE 88494.513
AT ITER 3276 NEW BEST:: SOT 1132125 SOS 746194 HAS SOPS 745784 HAS SOUS 87748 HAS SOUPS 87404 WITH SCORE 88150.194
AT ITER 3277 NEW BEST:: SOT 1131957 SOS 745978 HAS SOPS 745568 HAS SOUS 87695 HAS SOUPS 87351 WITH SCORE 88096.978
AT ITER 3285 NEW BEST:: SOT 1131968 SOS 743701 HAS SOPS 743379 HAS SOUS 87507 HAS SOUPS 87185 WITH SCORE 87928.701
AT ITER 3308 NEW BEST:: SOT 1131169 SOS 728653 HAS SOPS 728331 HAS SOUS 86691 HAS SOUPS 86369 WITH SCORE 87097.653
AT ITER 3314 NEW BEST:: SOT 1131169 SOS 728653 HAS SOPS 728331 HAS SOUS 86663 HAS SOUPS 86341 WITH SCORE 87069.653
AT ITER 3317 NEW BEST:: SOT 1131157 SOS 728137 HAS SOPS 727815 HAS SOUS 86651 HAS SOUPS 86329 WITH SCORE 87057.137
AT ITER 3394 NEW BEST:: SOT 1131157 SOS 728137 HAS SOPS 727815 HAS SOUS 86647 HAS SOUPS 86325 WITH SCORE 87053.137
AT ITER 3421 NEW BEST:: SOT 1131143 SOS 728125 HAS SOPS 727803 HAS SOUS 86633 HAS SOUPS 86311 WITH SCORE 87039.125
AT ITER 3428 NEW BEST:: SOT 1131934 SOS 728916 HAS SOPS 728594 HAS SOUS 86575 HAS SOUPS 86253 WITH SCORE 86981.916
AT ITER 3467 NEW BEST:: SOT 1131584 SOS 728230 HAS SOPS 727908 HAS SOUS 86561 HAS SOUPS 86239 WITH SCORE 86967.23
AT ITER 3510 NEW BEST:: SOT 1131584 SOS 728186 HAS SOPS 727864 HAS SOUS 86555 HAS SOUPS 86233 WITH SCORE 86961.186
AT ITER 3513 NEW BEST:: SOT 1131578 SOS 728180 HAS SOPS 727858 HAS SOUS 86468 HAS SOUPS 86146 WITH SCORE 86874.18
AT ITER 3518 NEW BEST:: SOT 1131555 SOS 728157 HAS SOPS 727835 HAS SOUS 86445 HAS SOUPS 86123 WITH SCORE 86851.157
AT ITER 3532 NEW BEST:: SOT 1131490 SOS 728068 HAS SOPS 727746 HAS SOUS 86431 HAS SOUPS 86109 WITH SCORE 86837.068
AT ITER 3533 NEW BEST:: SOT 1131448 SOS 726090 HAS SOPS 725758 HAS SOUS 86439 HAS SOUPS 86107 WITH SCORE 86833.09
AT ITER 3541 NEW BEST:: SOT 1131278 SOS 726680 HAS SOPS 726348 HAS SOUS 86247 HAS SOUPS 85915 WITH SCORE 86641.68
AT ITER 3554 NEW BEST:: SOT 1131278 SOS 726680 HAS SOPS 726348 HAS SOUS 86245 HAS SOUPS 85913 WITH SCORE 86639.68
AT ITER 3586 NEW BEST:: SOT 1131245 SOS 726647 HAS SOPS 726315 HAS SOUS 86235 HAS SOUPS 85903 WITH SCORE 86629.647
AT ITER 3588 NEW BEST:: SOT 1131227 SOS 726629 HAS SOPS 726297 HAS SOUS 86213 HAS SOUPS 85881 WITH SCORE 86607.629
AT ITER 3605 NEW BEST:: SOT 1131245 SOS 727079 HAS SOPS 726747 HAS SOUS 86063 HAS SOUPS 85731 WITH SCORE 86458.079
AT ITER 3607 NEW BEST:: SOT 1131255 SOS 727061 HAS SOPS 726729 HAS SOUS 86059 HAS SOUPS 85727 WITH SCORE 86454.061
AT ITER 3609 NEW BEST:: SOT 1131255 SOS 726941 HAS SOPS 726609 HAS SOUS 86059 HAS SOUPS 85727 WITH SCORE 86453.941
AT ITER 3623 NEW BEST:: SOT 1131175 SOS 726861 HAS SOPS 726529 HAS SOUS 85979 HAS SOUPS 85647 WITH SCORE 86373.861
AT ITER 3624 NEW BEST:: SOT 1131175 SOS 725322 HAS SOPS 724990 HAS SOUS 85976 HAS SOUPS 85644 WITH SCORE 86369.322
AT ITER 3649 NEW BEST:: SOT 1131047 SOS 725176 HAS SOPS 724838 HAS SOUS 85877 HAS SOUPS 85539 WITH SCORE 86264.176
AT ITER 3696 NEW BEST:: SOT 1131704 SOS 729673 HAS SOPS 729335 HAS SOUS 85729 HAS SOUPS 85391 WITH SCORE 86120.673
AT ITER 3715 NEW BEST:: SOT 1131670 SOS 729639 HAS SOPS 729301 HAS SOUS 85695 HAS SOUPS 85357 WITH SCORE 86086.639
AT ITER 3727 NEW BEST:: SOT 1131555 SOS 729524 HAS SOPS 729186 HAS SOUS 85687 HAS SOUPS 85349 WITH SCORE 86078.524
AT ITER 3734 NEW BEST:: SOT 1131786 SOS 730451 HAS SOPS 730113 HAS SOUS 85279 HAS SOUPS 84941 WITH SCORE 85671.451
AT ITER 3737 NEW BEST:: SOT 1131786 SOS 730427 HAS SOPS 730089 HAS SOUS 85279 HAS SOUPS 84941 WITH SCORE 85671.427
AT ITER 3740 NEW BEST:: SOT 1131317 SOS 730012 HAS SOPS 729674 HAS SOUS 85046 HAS SOUPS 84708 WITH SCORE 85438.012
AT ITER 3744 NEW BEST:: SOT 1131317 SOS 730166 HAS SOPS 729828 HAS SOUS 85043 HAS SOUPS 84705 WITH SCORE 85435.166
AT ITER 3747 NEW BEST:: SOT 1131081 SOS 729930 HAS SOPS 729592 HAS SOUS 84818 HAS SOUPS 84480 WITH SCORE 85209.93
AT ITER 3749 NEW BEST:: SOT 1130783 SOS 729632 HAS SOPS 729294 HAS SOUS 84799 HAS SOUPS 84461 WITH SCORE 85190.632
AT ITER 3756 NEW BEST:: SOT 1130783 SOS 729632 HAS SOPS 729294 HAS SOUS 84775 HAS SOUPS 84437 WITH SCORE 85166.632
AT ITER 3769 NEW BEST:: SOT 1130773 SOS 729630 HAS SOPS 729292 HAS SOUS 84735 HAS SOUPS 84397 WITH SCORE 85126.63
AT ITER 3788 NEW BEST:: SOT 1130749 SOS 729606 HAS SOPS 729268 HAS SOUS 84711 HAS SOUPS 84373 WITH SCORE 85102.606
AT ITER 3832 NEW BEST:: SOT 1130678 SOS 729847 HAS SOPS 729509 HAS SOUS 84653 HAS SOUPS 84315 WITH SCORE 85044.847
AT ITER 3840 NEW BEST:: SOT 1131318 SOS 730487 HAS SOPS 730149 HAS SOUS 84568 HAS SOUPS 84230 WITH SCORE 84960.487
AT ITER 3845 NEW BEST:: SOT 1131318 SOS 730237 HAS SOPS 729909 HAS SOUS 84558 HAS SOUPS 84230 WITH SCORE 84960.237
AT ITER 3847 NEW BEST:: SOT 1130993 SOS 731376 HAS SOPS 731048 HAS SOUS 83937 HAS SOUPS 83609 WITH SCORE 84340.376
AT ITER 3856 NEW BEST:: SOT 1130993 SOS 731308 HAS SOPS 730980 HAS SOUS 83920 HAS SOUPS 83592 WITH SCORE 84323.308
AT ITER 3869 NEW BEST:: SOT 1130969 SOS 731236 HAS SOPS 730908 HAS SOUS 83894 HAS SOUPS 83566 WITH SCORE 84297.236
AT ITER 3908 NEW BEST:: SOT 1130935 SOS 730798 HAS SOPS 730470 HAS SOUS 83880 HAS SOUPS 83552 WITH SCORE 84282.798
AT ITER 3909 NEW BEST:: SOT 1130970 SOS 730845 HAS SOPS 730521 HAS SOUS 83842 HAS SOUPS 83518 WITH SCORE 84248.845
AT ITER 3911 NEW BEST:: SOT 1130975 SOS 731224 HAS SOPS 730910 HAS SOUS 83787 HAS SOUPS 83473 WITH SCORE 84204.224
AT ITER 3919 NEW BEST:: SOT 1130950 SOS 731199 HAS SOPS 730885 HAS SOUS 83689 HAS SOUPS 83375 WITH SCORE 84106.199
AT ITER 3926 NEW BEST:: SOT 1130972 SOS 731749 HAS SOPS 731435 HAS SOUS 83333 HAS SOUPS 83019 WITH SCORE 83750.749
AT ITER 3943 NEW BEST:: SOT 1130972 SOS 728382 HAS SOPS 728068 HAS SOUS 83326 HAS SOUPS 83012 WITH SCORE 83740.382
AT ITER 3982 NEW BEST:: SOT 1130947 SOS 728357 HAS SOPS 728043 HAS SOUS 83323 HAS SOUPS 83009 WITH SCORE 83737.357
AT ITER 3983 NEW BEST:: SOT 1130787 SOS 728141 HAS SOPS 727827 HAS SOUS 83263 HAS SOUPS 82949 WITH SCORE 83677.141
AT ITER 4066 NEW BEST:: SOT 1130745 SOS 728915 HAS SOPS 728601 HAS SOUS 82939 HAS SOUPS 82625 WITH SCORE 83353.915
AT ITER 4073 NEW BEST:: SOT 1127535 SOS 720972 HAS SOPS 720807 HAS SOUS 82442 HAS SOUPS 82277 WITH SCORE 82997.972
AT ITER 4117 NEW BEST:: SOT 1127704 SOS 721141 HAS SOPS 720976 HAS SOUS 81708 HAS SOUPS 81543 WITH SCORE 82264.141
AT ITER 4140 NEW BEST:: SOT 1127690 SOS 721127 HAS SOPS 720962 HAS SOUS 81664 HAS SOUPS 81499 WITH SCORE 82220.127
AT ITER 4228 NEW BEST:: SOT 1127814 SOS 721251 HAS SOPS 721086 HAS SOUS 81198 HAS SOUPS 81033 WITH SCORE 81754.251
AT ITER 4277 NEW BEST:: SOT 1127829 SOS 721266 HAS SOPS 721101 HAS SOUS 81179 HAS SOUPS 81014 WITH SCORE 81735.266
AT ITER 4291 NEW BEST:: SOT 1126648 SOS 720085 HAS SOPS 719920 HAS SOUS 80388 HAS SOUPS 80223 WITH SCORE 80943.085
AT ITER 4299 NEW BEST:: SOT 1126517 SOS 719954 HAS SOPS 719789 HAS SOUS 80236 HAS SOUPS 80071 WITH SCORE 80790.954
AT ITER 4310 NEW BEST:: SOT 1126517 SOS 719954 HAS SOPS 719789 HAS SOUS 80227 HAS SOUPS 80062 WITH SCORE 80781.954
AT ITER 4322 NEW BEST:: SOT 1126571 SOS 719867 HAS SOPS 719867 HAS SOUS 80043 HAS SOUPS 80043 WITH SCORE 80762.867
AT ITER 4335 NEW BEST:: SOT 1125947 SOS 719347 HAS SOPS 719347 HAS SOUS 79919 HAS SOUPS 79919 WITH SCORE 80638.347
AT ITER 4345 NEW BEST:: SOT 1126185 SOS 719585 HAS SOPS 719585 HAS SOUS 79709 HAS SOUPS 79709 WITH SCORE 80428.585
AT ITER 4346 NEW BEST:: SOT 1126243 SOS 719717 HAS SOPS 719717 HAS SOUS 79630 HAS SOUPS 79630 WITH SCORE 80349.717
AT ITER 4352 NEW BEST:: SOT 1126243 SOS 719597 HAS SOPS 719597 HAS SOUS 79630 HAS SOUPS 79630 WITH SCORE 80349.597
AT ITER 4355 NEW BEST:: SOT 1125716 SOS 719886 HAS SOPS 719886 HAS SOUS 78742 HAS SOUPS 78742 WITH SCORE 79461.886
AT ITER 4360 NEW BEST:: SOT 1125776 SOS 719994 HAS SOPS 719994 HAS SOUS 78703 HAS SOUPS 78703 WITH SCORE 79422.994
AT ITER 4389 NEW BEST:: SOT 1126908 SOS 721126 HAS SOPS 721126 HAS SOUS 77852 HAS SOUPS 77852 WITH SCORE 78573.126
AT ITER 4393 NEW BEST:: SOT 1126908 SOS 721102 HAS SOPS 721102 HAS SOUS 77852 HAS SOUPS 77852 WITH SCORE 78573.102
AT ITER 4408 NEW BEST:: SOT 1126907 SOS 721053 HAS SOPS 721053 HAS SOUS 77852 HAS SOUPS 77852 WITH SCORE 78573.053
AT ITER 4420 NEW BEST:: SOT 1126907 SOS 721029 HAS SOPS 721029 HAS SOUS 77846 HAS SOUPS 77846 WITH SCORE 78567.029
AT ITER 4458 NEW BEST:: SOT 1127061 SOS 724711 HAS SOPS 724711 HAS SOUS 77832 HAS SOUPS 77832 WITH SCORE 78556.711
AT ITER 4470 NEW BEST:: SOT 1127061 SOS 724303 HAS SOPS 724303 HAS SOUS 77832 HAS SOUPS 77832 WITH SCORE 78556.303
AT ITER 4491 NEW BEST:: SOT 1127057 SOS 724291 HAS SOPS 724291 HAS SOUS 77830 HAS SOUPS 77830 WITH SCORE 78554.291
AT ITER 4494 NEW BEST:: SOT 1127007 SOS 724193 HAS SOPS 724193 HAS SOUS 77828 HAS SOUPS 77828 WITH SCORE 78552.193
AT ITER 4498 NEW BEST:: SOT 1127007 SOS 724237 HAS SOPS 724237 HAS SOUS 77780 HAS SOUPS 77780 WITH SCORE 78504.237
AT ITER 4499 NEW BEST:: SOT 1126821 SOS 724051 HAS SOPS 724051 HAS SOUS 77726 HAS SOUPS 77726 WITH SCORE 78450.051
AT ITER 4500 NEW BEST:: SOT 1126479 SOS 723709 HAS SOPS 723709 HAS SOUS 77624 HAS SOUPS 77624 WITH SCORE 78347.709
AT ITER 4557 NEW BEST:: SOT 1125710 SOS 722949 HAS SOPS 722940 HAS SOUS 76343 HAS SOUPS 76334 WITH SCORE 77056.949
AT ITER 4582 NEW BEST:: SOT 1124885 SOS 721428 HAS SOPS 721419 HAS SOUS 76294 HAS SOUPS 76285 WITH SCORE 77006.428
AT ITER 4606 NEW BEST:: SOT 1124885 SOS 721420 HAS SOPS 721411 HAS SOUS 76292 HAS SOUPS 76283 WITH SCORE 77004.42
AT ITER 4665 NEW BEST:: SOT 1125352 SOS 721887 HAS SOPS 721878 HAS SOUS 76241 HAS SOUPS 76232 WITH SCORE 76953.887
AT ITER 4696 NEW BEST:: SOT 1126215 SOS 726374 HAS SOPS 726365 HAS SOUS 75481 HAS SOUPS 75472 WITH SCORE 76198.374
AT ITER 4713 NEW BEST:: SOT 1126183 SOS 726342 HAS SOPS 726333 HAS SOUS 74922 HAS SOUPS 74913 WITH SCORE 75639.342
AT ITER 4718 NEW BEST:: SOT 1126183 SOS 726150 HAS SOPS 726141 HAS SOUS 74906 HAS SOUPS 74897 WITH SCORE 75623.15
AT ITER 4751 NEW BEST:: SOT 1126183 SOS 725670 HAS SOPS 725661 HAS SOUS 74876 HAS SOUPS 74867 WITH SCORE 75592.67
AT ITER 4752 NEW BEST:: SOT 1125791 SOS 725286 HAS SOPS 725277 HAS SOUS 74502 HAS SOUPS 74493 WITH SCORE 75218.286
AT ITER 4795 NEW BEST:: SOT 1125797 SOS 725292 HAS SOPS 725283 HAS SOUS 74478 HAS SOUPS 74469 WITH SCORE 75194.292
AT ITER 4809 NEW BEST:: SOT 1125797 SOS 725246 HAS SOPS 725237 HAS SOUS 74478 HAS SOUPS 74469 WITH SCORE 75194.246
AT ITER 4873 NEW BEST:: SOT 1125730 SOS 726283 HAS SOPS 726274 HAS SOUS 74281 HAS SOUPS 74272 WITH SCORE 74998.283
AT ITER 4882 NEW BEST:: SOT 1124866 SOS 724627 HAS SOPS 724618 HAS SOUS 74281 HAS SOUPS 74272 WITH SCORE 74996.627
AT ITER 4884 NEW BEST:: SOT 1124856 SOS 727647 HAS SOPS 727638 HAS SOUS 74277 HAS SOUPS 74268 WITH SCORE 74995.647
AT ITER 4922 NEW BEST:: SOT 1124853 SOS 727572 HAS SOPS 727563 HAS SOUS 74274 HAS SOUPS 74265 WITH SCORE 74992.572
AT ITER 4928 NEW BEST:: SOT 1124927 SOS 727646 HAS SOPS 727637 HAS SOUS 74268 HAS SOUPS 74259 WITH SCORE 74986.646
AT ITER 4931 NEW BEST:: SOT 1124363 SOS 727082 HAS SOPS 727073 HAS SOUS 73980 HAS SOUPS 73971 WITH SCORE 74698.082
AT ITER 4955 NEW BEST:: SOT 1124268 SOS 727017 HAS SOPS 727008 HAS SOUS 73653 HAS SOUPS 73644 WITH SCORE 74371.017
AT ITER 4962 NEW BEST:: SOT 1124220 SOS 726973 HAS SOPS 726964 HAS SOUS 73649 HAS SOUPS 73640 WITH SCORE 74366.973
AT ITER 4979 NEW BEST:: SOT 1124220 SOS 727093 HAS SOPS 727084 HAS SOUS 73529 HAS SOUPS 73520 WITH SCORE 74247.093
AT ITER 5074 NEW BEST:: SOT 1125013 SOS 729374 HAS SOPS 729365 HAS SOUS 73346 HAS SOUPS 73337 WITH SCORE 74066.374
AT ITER 5090 NEW BEST:: SOT 1125013 SOS 729374 HAS SOPS 729365 HAS SOUS 73331 HAS SOUPS 73322 WITH SCORE 74051.374
AT ITER 5116 NEW BEST:: SOT 1124998 SOS 727983 HAS SOPS 727972 HAS SOUS 73316 HAS SOUPS 73305 WITH SCORE 74032.983
AT ITER 5153 NEW BEST:: SOT 1124997 SOS 727982 HAS SOPS 727971 HAS SOUS 73315 HAS SOUPS 73304 WITH SCORE 74031.982
AT ITER 5164 NEW BEST:: SOT 1124076 SOS 726615 HAS SOPS 726526 HAS SOUS 73311 HAS SOUPS 73222 WITH SCORE 73948.615
AT ITER 5183 NEW BEST:: SOT 1124076 SOS 726611 HAS SOPS 726522 HAS SOUS 73311 HAS SOUPS 73222 WITH SCORE 73948.611
AT ITER 5223 NEW BEST:: SOT 1124171 SOS 726706 HAS SOPS 726617 HAS SOUS 73306 HAS SOUPS 73217 WITH SCORE 73943.706
AT ITER 5232 NEW BEST:: SOT 1124171 SOS 726826 HAS SOPS 726737 HAS SOUS 73301 HAS SOUPS 73212 WITH SCORE 73938.826
AT ITER 5247 NEW BEST:: SOT 1124099 SOS 726802 HAS SOPS 726713 HAS SOUS 73226 HAS SOUPS 73137 WITH SCORE 73863.802
AT ITER 5281 NEW BEST:: SOT 1124083 SOS 726786 HAS SOPS 726697 HAS SOUS 73210 HAS SOUPS 73121 WITH SCORE 73847.786
AT ITER 5294 NEW BEST:: SOT 1123799 SOS 726310 HAS SOPS 726221 HAS SOUS 73105 HAS SOUPS 73016 WITH SCORE 73742.31
AT ITER 5297 NEW BEST:: SOT 1123102 SOS 725613 HAS SOPS 725524 HAS SOUS 73066 HAS SOUPS 72977 WITH SCORE 73702.613
AT ITER 5301 NEW BEST:: SOT 1123102 SOS 725301 HAS SOPS 725212 HAS SOUS 73066 HAS SOUPS 72977 WITH SCORE 73702.301
AT ITER 5317 NEW BEST:: SOT 1123081 SOS 725280 HAS SOPS 725191 HAS SOUS 73045 HAS SOUPS 72956 WITH SCORE 73681.28
AT ITER 5346 NEW BEST:: SOT 1122944 SOS 725143 HAS SOPS 725054 HAS SOUS 72885 HAS SOUPS 72796 WITH SCORE 73521.143
AT ITER 5354 NEW BEST:: SOT 1122418 SOS 724617 HAS SOPS 724528 HAS SOUS 72814 HAS SOUPS 72725 WITH SCORE 73449.617
AT ITER 5363 NEW BEST:: SOT 1121701 SOS 723900 HAS SOPS 723811 HAS SOUS 72734 HAS SOUPS 72645 WITH SCORE 73368.9
AT ITER 5368 NEW BEST:: SOT 1121634 SOS 723833 HAS SOPS 723744 HAS SOUS 72723 HAS SOUPS 72634 WITH SCORE 73357.833
AT ITER 5383 NEW BEST:: SOT 1121493 SOS 723692 HAS SOPS 723603 HAS SOUS 72631 HAS SOUPS 72542 WITH SCORE 73265.692
AT ITER 5401 NEW BEST:: SOT 1121484 SOS 722278 HAS SOPS 722189 HAS SOUS 72622 HAS SOUPS 72533 WITH SCORE 73255.278
AT ITER 5402 NEW BEST:: SOT 1121250 SOS 722380 HAS SOPS 722291 HAS SOUS 72584 HAS SOUPS 72495 WITH SCORE 73217.38
AT ITER 5430 NEW BEST:: SOT 1121260 SOS 722414 HAS SOPS 722325 HAS SOUS 72577 HAS SOUPS 72488 WITH SCORE 73210.414
AT ITER 5431 NEW BEST:: SOT 1121186 SOS 722340 HAS SOPS 722251 HAS SOUS 72463 HAS SOUPS 72374 WITH SCORE 73096.34
AT ITER 5432 NEW BEST:: SOT 1121186 SOS 722336 HAS SOPS 722247 HAS SOUS 72462 HAS SOUPS 72373 WITH SCORE 73095.336
AT ITER 5441 NEW BEST:: SOT 1121182 SOS 722340 HAS SOPS 722251 HAS SOUS 72454 HAS SOUPS 72365 WITH SCORE 73087.34
AT ITER 5481 NEW BEST:: SOT 1121175 SOS 722165 HAS SOPS 722076 HAS SOUS 72440 HAS SOUPS 72351 WITH SCORE 73073.165
AT ITER 5528 NEW BEST:: SOT 1121197 SOS 729843 HAS SOPS 729754 HAS SOUS 72423 HAS SOUPS 72334 WITH SCORE 73063.843
AT ITER 5566 NEW BEST:: SOT 1121197 SOS 729843 HAS SOPS 729754 HAS SOUS 72383 HAS SOUPS 72294 WITH SCORE 73023.843
AT ITER 5590 NEW BEST:: SOT 1119722 SOS 728368 HAS SOPS 728279 HAS SOUS 71992 HAS SOUPS 71903 WITH SCORE 72631.368
AT ITER 5594 NEW BEST:: SOT 1120206 SOS 729476 HAS SOPS 729387 HAS SOUS 71921 HAS SOUPS 71832 WITH SCORE 72561.476
AT ITER 5616 NEW BEST:: SOT 1119932 SOS 729466 HAS SOPS 729377 HAS SOUS 71637 HAS SOUPS 71548 WITH SCORE 72277.466
AT ITER 5655 NEW BEST:: SOT 1119891 SOS 729425 HAS SOPS 729336 HAS SOUS 71635 HAS SOUPS 71546 WITH SCORE 72275.425
AT ITER 5685 NEW BEST:: SOT 1119867 SOS 729401 HAS SOPS 729312 HAS SOUS 71583 HAS SOUPS 71494 WITH SCORE 72223.401
AT ITER 5694 NEW BEST:: SOT 1119809 SOS 729343 HAS SOPS 729254 HAS SOUS 71463 HAS SOUPS 71374 WITH SCORE 72103.343
AT ITER 5698 NEW BEST:: SOT 1120022 SOS 729562 HAS SOPS 729479 HAS SOUS 71331 HAS SOUPS 71248 WITH SCORE 71977.562
AT ITER 5721 NEW BEST:: SOT 1119942 SOS 729480 HAS SOPS 729397 HAS SOUS 71256 HAS SOUPS 71173 WITH SCORE 71902.48
AT ITER 5735 NEW BEST:: SOT 1122035 SOS 733133 HAS SOPS 733050 HAS SOUS 71218 HAS SOUPS 71135 WITH SCORE 71868.133
AT ITER 5753 NEW BEST:: SOT 1122084 SOS 733248 HAS SOPS 733187 HAS SOUS 71111 HAS SOUPS 71050 WITH SCORE 71783.248
AT ITER 5757 NEW BEST:: SOT 1122062 SOS 733182 HAS SOPS 733121 HAS SOUS 71084 HAS SOUPS 71023 WITH SCORE 71756.182
AT ITER 5795 NEW BEST:: SOT 1122116 SOS 733236 HAS SOPS 733175 HAS SOUS 70542 HAS SOUPS 70481 WITH SCORE 71214.236
AT ITER 5813 NEW BEST:: SOT 1121902 SOS 733022 HAS SOPS 732961 HAS SOUS 70294 HAS SOUPS 70233 WITH SCORE 70966.022
AT ITER 5860 NEW BEST:: SOT 1121897 SOS 730257 HAS SOPS 730196 HAS SOUS 70289 HAS SOUPS 70228 WITH SCORE 70958.257
AT ITER 5937 NEW BEST:: SOT 1121580 SOS 729940 HAS SOPS 729879 HAS SOUS 69972 HAS SOUPS 69911 WITH SCORE 70640.94
AT ITER 5976 NEW BEST:: SOT 1121263 SOS 729623 HAS SOPS 729562 HAS SOUS 69956 HAS SOUPS 69895 WITH SCORE 70624.623
AT ITER 5994 NEW BEST:: SOT 1121263 SOS 729623 HAS SOPS 729562 HAS SOUS 69926 HAS SOUPS 69865 WITH SCORE 70594.623
AT ITER 6006 NEW BEST:: SOT 1121485 SOS 729845 HAS SOPS 729784 HAS SOUS 69906 HAS SOUPS 69845 WITH SCORE 70574.845
AT ITER 6079 NEW BEST:: SOT 1121485 SOS 729845 HAS SOPS 729784 HAS SOUS 69902 HAS SOUPS 69841 WITH SCORE 70570.845
AT ITER 6181 NEW BEST:: SOT 1121493 SOS 721381 HAS SOPS 721320 HAS SOUS 69910 HAS SOUPS 69849 WITH SCORE 70570.381
AT ITER 6208 NEW BEST:: SOT 1121354 SOS 721242 HAS SOPS 721181 HAS SOUS 69741 HAS SOUPS 69680 WITH SCORE 70401.242
AT ITER 6231 NEW BEST:: SOT 1121354 SOS 721242 HAS SOPS 721181 HAS SOUS 69722 HAS SOUPS 69661 WITH SCORE 70382.242
AT ITER 6237 NEW BEST:: SOT 1121365 SOS 721325 HAS SOPS 721264 HAS SOUS 69661 HAS SOUPS 69600 WITH SCORE 70321.325
AT ITER 6293 NEW BEST:: SOT 1121086 SOS 720758 HAS SOPS 720697 HAS SOUS 69273 HAS SOUPS 69212 WITH SCORE 69932.758
AT ITER 6367 NEW BEST:: SOT 1121071 SOS 720603 HAS SOPS 720542 HAS SOUS 69272 HAS SOUPS 69211 WITH SCORE 69931.603
AT ITER 6371 NEW BEST:: SOT 1121049 SOS 720501 HAS SOPS 720440 HAS SOUS 69236 HAS SOUPS 69175 WITH SCORE 69895.501
AT ITER 6375 NEW BEST:: SOT 1121049 SOS 720453 HAS SOPS 720392 HAS SOUS 69236 HAS SOUPS 69175 WITH SCORE 69895.453
AT ITER 6406 NEW BEST:: SOT 1120760 SOS 720164 HAS SOPS 720103 HAS SOUS 69017 HAS SOUPS 68956 WITH SCORE 69676.164
AT ITER 6437 NEW BEST:: SOT 1119761 SOS 716069 HAS SOPS 716008 HAS SOUS 69013 HAS SOUPS 68952 WITH SCORE 69668.069
AT ITER 6453 NEW BEST:: SOT 1119761 SOS 716525 HAS SOPS 716464 HAS SOUS 69008 HAS SOUPS 68947 WITH SCORE 69663.525
AT ITER 6468 NEW BEST:: SOT 1119635 SOS 716399 HAS SOPS 716338 HAS SOUS 68822 HAS SOUPS 68761 WITH SCORE 69477.399
AT ITER 6469 NEW BEST:: SOT 1120058 SOS 716822 HAS SOPS 716761 HAS SOUS 68436 HAS SOUPS 68375 WITH SCORE 69091.822
AT ITER 6473 NEW BEST:: SOT 1120058 SOS 714614 HAS SOPS 714553 HAS SOUS 68426 HAS SOUPS 68365 WITH SCORE 69079.614
AT ITER 6484 NEW BEST:: SOT 1120058 SOS 714974 HAS SOPS 714913 HAS SOUS 68402 HAS SOUPS 68341 WITH SCORE 69055.974
AT ITER 6493 NEW BEST:: SOT 1120058 SOS 714878 HAS SOPS 714817 HAS SOUS 68398 HAS SOUPS 68337 WITH SCORE 69051.878
AT ITER 6525 NEW BEST:: SOT 1119789 SOS 714580 HAS SOPS 714519 HAS SOUS 68384 HAS SOUPS 68323 WITH SCORE 69037.58
AT ITER 6584 NEW BEST:: SOT 1119953 SOS 714744 HAS SOPS 714683 HAS SOUS 68235 HAS SOUPS 68174 WITH SCORE 68888.744
AT ITER 6654 NEW BEST:: SOT 1120106 SOS 714897 HAS SOPS 714836 HAS SOUS 68130 HAS SOUPS 68069 WITH SCORE 68783.897
AT ITER 6658 NEW BEST:: SOT 1120106 SOS 714705 HAS SOPS 714644 HAS SOUS 68130 HAS SOUPS 68069 WITH SCORE 68783.705
AT ITER 6691 NEW BEST:: SOT 1120079 SOS 714678 HAS SOPS 714617 HAS SOUS 67958 HAS SOUPS 67897 WITH SCORE 68611.678
AT ITER 6699 NEW BEST:: SOT 1120079 SOS 714612 HAS SOPS 714551 HAS SOUS 67958 HAS SOUPS 67897 WITH SCORE 68611.612
AT ITER 6747 NEW BEST:: SOT 1120321 SOS 717302 HAS SOPS 717241 HAS SOUS 67678 HAS SOUPS 67617 WITH SCORE 68334.302
AT ITER 6761 NEW BEST:: SOT 1120309 SOS 717290 HAS SOPS 717229 HAS SOUS 67654 HAS SOUPS 67593 WITH SCORE 68310.29
AT ITER 6777 NEW BEST:: SOT 1120309 SOS 717290 HAS SOPS 717229 HAS SOUS 67630 HAS SOUPS 67569 WITH SCORE 68286.29
AT ITER 6779 NEW BEST:: SOT 1120355 SOS 717336 HAS SOPS 717275 HAS SOUS 67582 HAS SOUPS 67521 WITH SCORE 68238.336
AT ITER 6788 NEW BEST:: SOT 1120355 SOS 717192 HAS SOPS 717131 HAS SOUS 67576 HAS SOUPS 67515 WITH SCORE 68232.192
AT ITER 6797 NEW BEST:: SOT 1120394 SOS 717231 HAS SOPS 717170 HAS SOUS 67558 HAS SOUPS 67497 WITH SCORE 68214.231
AT ITER 6817 NEW BEST:: SOT 1120217 SOS 717134 HAS SOPS 717073 HAS SOUS 67329 HAS SOUPS 67268 WITH SCORE 67985.134
AT ITER 6862 NEW BEST:: SOT 1120217 SOS 718484 HAS SOPS 718369 HAS SOUS 67342 HAS SOUPS 67227 WITH SCORE 67945.484
AT ITER 6893 NEW BEST:: SOT 1119906 SOS 718151 HAS SOPS 718036 HAS SOUS 67284 HAS SOUPS 67169 WITH SCORE 67887.151
AT ITER 6909 NEW BEST:: SOT 1119719 SOS 717996 HAS SOPS 717881 HAS SOUS 66886 HAS SOUPS 66771 WITH SCORE 67488.996
AT ITER 6925 NEW BEST:: SOT 1119595 SOS 717680 HAS SOPS 717565 HAS SOUS 66874 HAS SOUPS 66759 WITH SCORE 67476.68
AT ITER 6956 NEW BEST:: SOT 1119817 SOS 717902 HAS SOPS 717787 HAS SOUS 66850 HAS SOUPS 66735 WITH SCORE 67452.902
AT ITER 7062 NEW BEST:: SOT 1119831 SOS 717916 HAS SOPS 717801 HAS SOUS 66747 HAS SOUPS 66632 WITH SCORE 67349.916
AT ITER 7063 NEW BEST:: SOT 1119285 SOS 719578 HAS SOPS 719463 HAS SOUS 66469 HAS SOUPS 66354 WITH SCORE 67073.578
AT ITER 7066 NEW BEST:: SOT 1118664 SOS 718357 HAS SOPS 718242 HAS SOUS 66470 HAS SOUPS 66355 WITH SCORE 67073.357
AT ITER 7100 NEW BEST:: SOT 1120328 SOS 720021 HAS SOPS 719906 HAS SOUS 66333 HAS SOUPS 66218 WITH SCORE 66938.021
AT ITER 7107 NEW BEST:: SOT 1120311 SOS 720004 HAS SOPS 719889 HAS SOUS 66301 HAS SOUPS 66186 WITH SCORE 66906.004
AT ITER 7130 NEW BEST:: SOT 1120302 SOS 719779 HAS SOPS 719664 HAS SOUS 66283 HAS SOUPS 66168 WITH SCORE 66887.779
AT ITER 7136 NEW BEST:: SOT 1120302 SOS 719779 HAS SOPS 719664 HAS SOUS 66268 HAS SOUPS 66153 WITH SCORE 66872.779
AT ITER 7229 NEW BEST:: SOT 1120310 SOS 719787 HAS SOPS 719672 HAS SOUS 66259 HAS SOUPS 66144 WITH SCORE 66863.787
AT ITER 7332 NEW BEST:: SOT 1120343 SOS 719820 HAS SOPS 719705 HAS SOUS 66175 HAS SOUPS 66060 WITH SCORE 66779.82
AT ITER 7370 NEW BEST:: SOT 1119918 SOS 719259 HAS SOPS 719144 HAS SOUS 66141 HAS SOUPS 66026 WITH SCORE 66745.259
AT ITER 7410 NEW BEST:: SOT 1119847 SOS 719188 HAS SOPS 719073 HAS SOUS 66134 HAS SOUPS 66019 WITH SCORE 66738.188
AT ITER 7414 NEW BEST:: SOT 1119322 SOS 718579 HAS SOPS 718464 HAS SOUS 66092 HAS SOUPS 65977 WITH SCORE 66695.579
AT ITER 7477 NEW BEST:: SOT 1119289 SOS 717946 HAS SOPS 717831 HAS SOUS 66089 HAS SOUPS 65974 WITH SCORE 66691.946
AT ITER 7490 NEW BEST:: SOT 1119425 SOS 717074 HAS SOPS 716959 HAS SOUS 66003 HAS SOUPS 65888 WITH SCORE 66605.074
AT ITER 7498 NEW BEST:: SOT 1119706 SOS 717355 HAS SOPS 717240 HAS SOUS 65974 HAS SOUPS 65859 WITH SCORE 66576.355
AT ITER 7636 NEW BEST:: SOT 1119476 SOS 717125 HAS SOPS 717010 HAS SOUS 65730 HAS SOUPS 65615 WITH SCORE 66332.125
AT ITER 7649 NEW BEST:: SOT 1119476 SOS 717125 HAS SOPS 717010 HAS SOUS 65665 HAS SOUPS 65550 WITH SCORE 66267.125
AT ITER 7685 NEW BEST:: SOT 1119404 SOS 717049 HAS SOPS 716934 HAS SOUS 65589 HAS SOUPS 65474 WITH SCORE 66191.049
AT ITER 7753 NEW BEST:: SOT 1118709 SOS 716297 HAS SOPS 716163 HAS SOUS 65289 HAS SOUPS 65155 WITH SCORE 65871.297
AT ITER 7828 NEW BEST:: SOT 1118698 SOS 716286 HAS SOPS 716152 HAS SOUS 65278 HAS SOUPS 65144 WITH SCORE 65860.286
AT ITER 7832 NEW BEST:: SOT 1118683 SOS 716262 HAS SOPS 716125 HAS SOUS 65281 HAS SOUPS 65144 WITH SCORE 65860.262
AT ITER 7876 NEW BEST:: SOT 1118683 SOS 716598 HAS SOPS 716461 HAS SOUS 65259 HAS SOUPS 65122 WITH SCORE 65838.598
AT ITER 7893 NEW BEST:: SOT 1118594 SOS 716509 HAS SOPS 716372 HAS SOUS 65170 HAS SOUPS 65033 WITH SCORE 65749.509
AT ITER 7915 NEW BEST:: SOT 1118847 SOS 716762 HAS SOPS 716625 HAS SOUS 65011 HAS SOUPS 64874 WITH SCORE 65590.762
AT ITER 7936 NEW BEST:: SOT 1118869 SOS 716784 HAS SOPS 716647 HAS SOUS 64950 HAS SOUPS 64813 WITH SCORE 65529.784
AT ITER 7940 NEW BEST:: SOT 1118725 SOS 716640 HAS SOPS 716503 HAS SOUS 64950 HAS SOUPS 64813 WITH SCORE 65529.64
AT ITER 7947 NEW BEST:: SOT 1117915 SOS 716550 HAS SOPS 716413 HAS SOUS 64861 HAS SOUPS 64724 WITH SCORE 65440.55
AT ITER 7974 NEW BEST:: SOT 1117904 SOS 716539 HAS SOPS 716402 HAS SOUS 64850 HAS SOUPS 64713 WITH SCORE 65429.539
AT ITER 7988 NEW BEST:: SOT 1117904 SOS 716539 HAS SOPS 716402 HAS SOUS 64841 HAS SOUPS 64704 WITH SCORE 65420.539
AT ITER 8018 NEW BEST:: SOT 1117930 SOS 717189 HAS SOPS 717052 HAS SOUS 64603 HAS SOUPS 64466 WITH SCORE 65183.189
AT ITER 8080 NEW BEST:: SOT 1117777 SOS 717036 HAS SOPS 716899 HAS SOUS 64595 HAS SOUPS 64458 WITH SCORE 65175.036
AT ITER 8081 NEW BEST:: SOT 1117733 SOS 716992 HAS SOPS 716855 HAS SOUS 64534 HAS SOUPS 64397 WITH SCORE 65113.992
AT ITER 8101 NEW BEST:: SOT 1117214 SOS 717013 HAS SOPS 716876 HAS SOUS 64489 HAS SOUPS 64352 WITH SCORE 65069.013
AT ITER 8105 NEW BEST:: SOT 1116809 SOS 716572 HAS SOPS 716435 HAS SOUS 64485 HAS SOUPS 64348 WITH SCORE 65064.572
AT ITER 8129 NEW BEST:: SOT 1116809 SOS 716416 HAS SOPS 716279 HAS SOUS 64482 HAS SOUPS 64345 WITH SCORE 65061.416
AT ITER 8160 NEW BEST:: SOT 1116809 SOS 716399 HAS SOPS 716262 HAS SOUS 64480 HAS SOUPS 64343 WITH SCORE 65059.399
AT ITER 8163 NEW BEST:: SOT 1116978 SOS 716568 HAS SOPS 716431 HAS SOUS 64445 HAS SOUPS 64308 WITH SCORE 65024.568
AT ITER 8172 NEW BEST:: SOT 1116958 SOS 718348 HAS SOPS 718211 HAS SOUS 64401 HAS SOUPS 64264 WITH SCORE 64982.348
AT ITER 8199 NEW BEST:: SOT 1117470 SOS 718860 HAS SOPS 718723 HAS SOUS 64103 HAS SOUPS 63966 WITH SCORE 64684.86
AT ITER 8307 NEW BEST:: SOT 1117482 SOS 720000 HAS SOPS 719863 HAS SOUS 64076 HAS SOUPS 63939 WITH SCORE 64659.0
AT ITER 8324 NEW BEST:: SOT 1117482 SOS 719720 HAS SOPS 719583 HAS SOUS 64062 HAS SOUPS 63925 WITH SCORE 64644.72
AT ITER 8334 NEW BEST:: SOT 1117482 SOS 718928 HAS SOPS 718791 HAS SOUS 64060 HAS SOUPS 63923 WITH SCORE 64641.928
AT ITER 8352 NEW BEST:: SOT 1117465 SOS 718911 HAS SOPS 718774 HAS SOUS 64043 HAS SOUPS 63906 WITH SCORE 64624.911
AT ITER 8360 NEW BEST:: SOT 1117533 SOS 719066 HAS SOPS 718920 HAS SOUS 64016 HAS SOUPS 63870 WITH SCORE 64589.066
AT ITER 8374 NEW BEST:: SOT 1117053 SOS 719066 HAS SOPS 718920 HAS SOUS 64014 HAS SOUPS 63868 WITH SCORE 64587.066
AT ITER 8380 NEW BEST:: SOT 1117053 SOS 719061 HAS SOPS 718920 HAS SOUS 64009 HAS SOUPS 63868 WITH SCORE 64587.061
AT ITER 8385 NEW BEST:: SOT 1117053 SOS 719037 HAS SOPS 718896 HAS SOUS 64009 HAS SOUPS 63868 WITH SCORE 64587.037
AT ITER 8428 NEW BEST:: SOT 1116953 SOS 718937 HAS SOPS 718796 HAS SOUS 64009 HAS SOUPS 63868 WITH SCORE 64586.937
AT ITER 8552 NEW BEST:: SOT 1116931 SOS 718915 HAS SOPS 718774 HAS SOUS 63964 HAS SOUPS 63823 WITH SCORE 64541.915
AT ITER 8569 NEW BEST:: SOT 1116931 SOS 719203 HAS SOPS 719062 HAS SOUS 63949 HAS SOUPS 63808 WITH SCORE 64527.203
AT ITER 8587 NEW BEST:: SOT 1116812 SOS 719780 HAS SOPS 719639 HAS SOUS 63817 HAS SOUPS 63676 WITH SCORE 64395.78
AT ITER 8630 NEW BEST:: SOT 1116775 SOS 719455 HAS SOPS 719314 HAS SOUS 63795 HAS SOUPS 63654 WITH SCORE 64373.455
AT ITER 8652 NEW BEST:: SOT 1116775 SOS 719431 HAS SOPS 719290 HAS SOUS 63795 HAS SOUPS 63654 WITH SCORE 64373.431
AT ITER 8683 NEW BEST:: SOT 1116733 SOS 719381 HAS SOPS 719240 HAS SOUS 63781 HAS SOUPS 63640 WITH SCORE 64359.381
AT ITER 8704 NEW BEST:: SOT 1117322 SOS 719319 HAS SOPS 719209 HAS SOUS 63721 HAS SOUPS 63611 WITH SCORE 64330.319
AT ITER 8753 NEW BEST:: SOT 1119390 SOS 722491 HAS SOPS 722381 HAS SOUS 63648 HAS SOUPS 63538 WITH SCORE 64260.491
AT ITER 8766 NEW BEST:: SOT 1119390 SOS 722603 HAS SOPS 722493 HAS SOUS 63642 HAS SOUPS 63532 WITH SCORE 64254.603
AT ITER 8784 NEW BEST:: SOT 1119334 SOS 722643 HAS SOPS 722533 HAS SOUS 63590 HAS SOUPS 63480 WITH SCORE 64202.643
AT ITER 8786 NEW BEST:: SOT 1119326 SOS 722635 HAS SOPS 722525 HAS SOUS 63582 HAS SOUPS 63472 WITH SCORE 64194.635
AT ITER 8796 NEW BEST:: SOT 1119303 SOS 722612 HAS SOPS 722502 HAS SOUS 63526 HAS SOUPS 63416 WITH SCORE 64138.612
AT ITER 8838 NEW BEST:: SOT 1119292 SOS 722601 HAS SOPS 722491 HAS SOUS 63515 HAS SOUPS 63405 WITH SCORE 64127.601
AT ITER 8843 NEW BEST:: SOT 1119268 SOS 722577 HAS SOPS 722467 HAS SOUS 63459 HAS SOUPS 63349 WITH SCORE 64071.577
AT ITER 8845 NEW BEST:: SOT 1119358 SOS 722703 HAS SOPS 722593 HAS SOUS 63367 HAS SOUPS 63257 WITH SCORE 63979.703
AT ITER 8880 NEW BEST:: SOT 1119666 SOS 723371 HAS SOPS 723261 HAS SOUS 63316 HAS SOUPS 63206 WITH SCORE 63929.371
AT ITER 8950 NEW BEST:: SOT 1119732 SOS 723437 HAS SOPS 723327 HAS SOUS 63307 HAS SOUPS 63197 WITH SCORE 63920.437
AT ITER 8953 NEW BEST:: SOT 1119682 SOS 723339 HAS SOPS 723229 HAS SOUS 63305 HAS SOUPS 63195 WITH SCORE 63918.339
AT ITER 8955 NEW BEST:: SOT 1119682 SOS 723339 HAS SOPS 723229 HAS SOUS 63277 HAS SOUPS 63167 WITH SCORE 63890.339
AT ITER 8991 NEW BEST:: SOT 1119682 SOS 723339 HAS SOPS 723229 HAS SOUS 63273 HAS SOUPS 63163 WITH SCORE 63886.339
AT ITER 9003 NEW BEST:: SOT 1119942 SOS 723875 HAS SOPS 723765 HAS SOUS 63229 HAS SOUPS 63119 WITH SCORE 63842.875
AT ITER 9004 NEW BEST:: SOT 1119937 SOS 723870 HAS SOPS 723760 HAS SOUS 63224 HAS SOUPS 63114 WITH SCORE 63837.87
AT ITER 9016 NEW BEST:: SOT 1118985 SOS 722918 HAS SOPS 722808 HAS SOUS 62786 HAS SOUPS 62676 WITH SCORE 63398.918
AT ITER 9049 NEW BEST:: SOT 1118554 SOS 722920 HAS SOPS 722810 HAS SOUS 62622 HAS SOUPS 62512 WITH SCORE 63234.92
AT ITER 9054 NEW BEST:: SOT 1118582 SOS 722948 HAS SOPS 722838 HAS SOUS 62599 HAS SOUPS 62489 WITH SCORE 63211.948
AT ITER 9068 NEW BEST:: SOT 1118582 SOS 722948 HAS SOPS 722838 HAS SOUS 62557 HAS SOUPS 62447 WITH SCORE 63169.948
AT ITER 9069 NEW BEST:: SOT 1118582 SOS 722492 HAS SOPS 722382 HAS SOUS 62538 HAS SOUPS 62428 WITH SCORE 63150.492
AT ITER 9103 NEW BEST:: SOT 1117040 SOS 720398 HAS SOPS 720288 HAS SOUS 62153 HAS SOUPS 62043 WITH SCORE 62763.398
AT ITER 9105 NEW BEST:: SOT 1117040 SOS 720410 HAS SOPS 720300 HAS SOUS 62102 HAS SOUPS 61992 WITH SCORE 62712.41
AT ITER 9108 NEW BEST:: SOT 1117078 SOS 720664 HAS SOPS 720554 HAS SOUS 62043 HAS SOUPS 61933 WITH SCORE 62653.664
AT ITER 9110 NEW BEST:: SOT 1117078 SOS 720424 HAS SOPS 720314 HAS SOUS 62043 HAS SOUPS 61933 WITH SCORE 62653.424
AT ITER 9149 NEW BEST:: SOT 1117078 SOS 720412 HAS SOPS 720302 HAS SOUS 62040 HAS SOUPS 61930 WITH SCORE 62650.412
AT ITER 9157 NEW BEST:: SOT 1117078 SOS 719612 HAS SOPS 719502 HAS SOUS 62040 HAS SOUPS 61930 WITH SCORE 62649.612
AT ITER 9170 NEW BEST:: SOT 1117078 SOS 719612 HAS SOPS 719502 HAS SOUS 62036 HAS SOUPS 61926 WITH SCORE 62645.612
AT ITER 9200 NEW BEST:: SOT 1114711 SOS 713357 HAS SOPS 713247 HAS SOUS 61947 HAS SOUPS 61837 WITH SCORE 62550.357
AT ITER 9244 NEW BEST:: SOT 1114711 SOS 713390 HAS SOPS 713247 HAS SOUS 61947 HAS SOUPS 61804 WITH SCORE 62517.39
AT ITER 9250 NEW BEST:: SOT 1114715 SOS 713586 HAS SOPS 713443 HAS SOUS 61929 HAS SOUPS 61786 WITH SCORE 62499.586
AT ITER 9251 NEW BEST:: SOT 1114284 SOS 713586 HAS SOPS 713443 HAS SOUS 61703 HAS SOUPS 61560 WITH SCORE 62273.586
AT ITER 9273 NEW BEST:: SOT 1114381 SOS 713683 HAS SOPS 713540 HAS SOUS 61396 HAS SOUPS 61253 WITH SCORE 61966.683
AT ITER 9300 NEW BEST:: SOT 1114380 SOS 713678 HAS SOPS 713535 HAS SOUS 61395 HAS SOUPS 61252 WITH SCORE 61965.678
AT ITER 9319 NEW BEST:: SOT 1114392 SOS 713690 HAS SOPS 713547 HAS SOUS 61385 HAS SOUPS 61242 WITH SCORE 61955.69
AT ITER 9325 NEW BEST:: SOT 1114392 SOS 714192 HAS SOPS 714051 HAS SOUS 61353 HAS SOUPS 61212 WITH SCORE 61926.192
AT ITER 9412 NEW BEST:: SOT 1114392 SOS 713928 HAS SOPS 713787 HAS SOUS 61287 HAS SOUPS 61146 WITH SCORE 61859.928
AT ITER 9464 NEW BEST:: SOT 1114377 SOS 713772 HAS SOPS 713631 HAS SOUS 61220 HAS SOUPS 61079 WITH SCORE 61792.772
AT ITER 9495 NEW BEST:: SOT 1114379 SOS 713774 HAS SOPS 713633 HAS SOUS 61218 HAS SOUPS 61077 WITH SCORE 61790.774
AT ITER 9521 NEW BEST:: SOT 1114400 SOS 713795 HAS SOPS 713654 HAS SOUS 61184 HAS SOUPS 61043 WITH SCORE 61756.795
AT ITER 9524 NEW BEST:: SOT 1114352 SOS 713747 HAS SOPS 713606 HAS SOUS 61143 HAS SOUPS 61002 WITH SCORE 61715.747
AT ITER 9599 NEW BEST:: SOT 1114184 SOS 713411 HAS SOPS 713270 HAS SOUS 61143 HAS SOUPS 61002 WITH SCORE 61715.411
AT ITER 9631 NEW BEST:: SOT 1114183 SOS 713398 HAS SOPS 713257 HAS SOUS 61143 HAS SOUPS 61002 WITH SCORE 61715.398
AT ITER 9685 NEW BEST:: SOT 1114165 SOS 713380 HAS SOPS 713239 HAS SOUS 61077 HAS SOUPS 60936 WITH SCORE 61649.38
AT ITER 9724 NEW BEST:: SOT 1113772 SOS 712987 HAS SOPS 712846 HAS SOUS 60755 HAS SOUPS 60614 WITH SCORE 61326.987
AT ITER 9767 NEW BEST:: SOT 1113749 SOS 712964 HAS SOPS 712823 HAS SOUS 60709 HAS SOUPS 60568 WITH SCORE 61280.964
AT ITER 9783 NEW BEST:: SOT 1113779 SOS 712994 HAS SOPS 712853 HAS SOUS 60595 HAS SOUPS 60454 WITH SCORE 61166.994
AT ITER 9820 NEW BEST:: SOT 1113697 SOS 712912 HAS SOPS 712771 HAS SOUS 60549 HAS SOUPS 60408 WITH SCORE 61120.912
AT ITER 9847 NEW BEST:: SOT 1113688 SOS 712903 HAS SOPS 712762 HAS SOUS 60549 HAS SOUPS 60408 WITH SCORE 61120.903
AT ITER 9928 NEW BEST:: SOT 1113703 SOS 713239 HAS SOPS 713098 HAS SOUS 60444 HAS SOUPS 60303 WITH SCORE 61016.239
AT ITER 9985 NEW BEST:: SOT 1113703 SOS 712879 HAS SOPS 712738 HAS SOUS 60444 HAS SOUPS 60303 WITH SCORE 61015.879
BK_STOP 1678688331554
--------------------
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
ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 34559
double free or corruption (out)
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 481 Aborted ${SMART}/smart ${INPUT_SM}
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="Medical-PT-20"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is Medical-PT-20, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r235-tall-167856422200728"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Medical-PT-20.tgz
mv Medical-PT-20 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;