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.r107-tall-167814484700832.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 DLCshifumi-PT-4a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484700832
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 6.0K Feb 26 08:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 08:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 08:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 09:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 09:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:54 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 1.9M 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 1678433570187

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=DLCshifumi-PT-4a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 07:32:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 07:32:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 07:32:51] [INFO ] Load time of PNML (sax parser for PT used): 238 ms
[2023-03-10 07:32:51] [INFO ] Transformed 1178 places.
[2023-03-10 07:32:52] [INFO ] Transformed 7504 transitions.
[2023-03-10 07:32:52] [INFO ] Found NUPN structural information;
[2023-03-10 07:32:52] [INFO ] Parsed PT model containing 1178 places and 7504 transitions and 28610 arcs in 529 ms.
[2023-03-10 07:32:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1178 places, 7504 transitions and 28610 arcs took 59 ms.
Total runtime 614 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 4a
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: 1178 places, 7504 transitions, 28610 arcs.
AT ITER 0 NEW BEST:: SOT 5776050 SOS 4644053 HAS SOPS 2385618 HAS SOUS 551746 HAS SOUPS 261608 WITH SCORE 266252.053
AT ITER 12 NEW BEST:: SOT 5775665 SOS 4644188 HAS SOPS 2385093 HAS SOUS 551606 HAS SOUPS 261413 WITH SCORE 266057.188
AT ITER 16 NEW BEST:: SOT 5773737 SOS 4646886 HAS SOPS 2385391 HAS SOUS 550103 HAS SOUPS 259910 WITH SCORE 264556.886
AT ITER 20 NEW BEST:: SOT 5773637 SOS 4646686 HAS SOPS 2385391 HAS SOUS 549903 HAS SOUPS 259760 WITH SCORE 264406.686
AT ITER 28 NEW BEST:: SOT 5773637 SOS 4646686 HAS SOPS 2385391 HAS SOUS 549797 HAS SOUPS 259654 WITH SCORE 264300.686
AT ITER 34 NEW BEST:: SOT 5773635 SOS 4646682 HAS SOPS 2386527 HAS SOUS 549510 HAS SOUPS 259652 WITH SCORE 264298.682
AT ITER 41 NEW BEST:: SOT 5773213 SOS 4645838 HAS SOPS 2386527 HAS SOUS 548666 HAS SOUPS 259019 WITH SCORE 263664.838
AT ITER 44 NEW BEST:: SOT 5771310 SOS 4645968 HAS SOPS 2384729 HAS SOUS 547555 HAS SOUPS 257908 WITH SCORE 262553.968
AT ITER 45 NEW BEST:: SOT 5769560 SOS 4614024 HAS SOPS 2385917 HAS SOUS 546963 HAS SOUPS 257316 WITH SCORE 261930.024
AT ITER 67 NEW BEST:: SOT 5769558 SOS 4614020 HAS SOPS 2385913 HAS SOUS 546851 HAS SOUPS 257204 WITH SCORE 261818.02
AT ITER 74 NEW BEST:: SOT 5769556 SOS 4614016 HAS SOPS 2387265 HAS SOUS 546510 HAS SOUPS 257202 WITH SCORE 261816.016
AT ITER 80 NEW BEST:: SOT 5767375 SOS 4620190 HAS SOPS 2389559 HAS SOUS 545459 HAS SOUPS 256151 WITH SCORE 260771.19
AT ITER 90 NEW BEST:: SOT 5767375 SOS 4620190 HAS SOPS 2389559 HAS SOUS 545403 HAS SOUPS 256095 WITH SCORE 260715.19
AT ITER 95 NEW BEST:: SOT 5766768 SOS 4620504 HAS SOPS 2388781 HAS SOUS 545064 HAS SOUPS 255665 WITH SCORE 260285.504
AT ITER 109 NEW BEST:: SOT 5766390 SOS 4620612 HAS SOPS 2388241 HAS SOUS 544848 HAS SOUPS 255395 WITH SCORE 260015.612
AT ITER 113 NEW BEST:: SOT 5766388 SOS 4620608 HAS SOPS 2388573 HAS SOUS 544762 HAS SOUPS 255393 WITH SCORE 260013.608
AT ITER 114 NEW BEST:: SOT 5764129 SOS 4622010 HAS SOPS 2387479 HAS SOUS 543097 HAS SOUPS 253728 WITH SCORE 258350.01
AT ITER 117 NEW BEST:: SOT 5764129 SOS 4622010 HAS SOPS 2387479 HAS SOUS 542989 HAS SOUPS 253620 WITH SCORE 258242.01
AT ITER 120 NEW BEST:: SOT 5760966 SOS 4625628 HAS SOPS 2387289 HAS SOUS 540698 HAS SOUPS 251329 WITH SCORE 255954.628
AT ITER 132 NEW BEST:: SOT 5760966 SOS 4625628 HAS SOPS 2387289 HAS SOUS 540582 HAS SOUPS 251213 WITH SCORE 255838.628
AT ITER 133 NEW BEST:: SOT 5760814 SOS 4625324 HAS SOPS 2387593 HAS SOUS 540278 HAS SOUPS 251061 WITH SCORE 255686.324
AT ITER 145 NEW BEST:: SOT 5760814 SOS 4625324 HAS SOPS 2387593 HAS SOUS 540142 HAS SOUPS 250925 WITH SCORE 255550.324
AT ITER 149 NEW BEST:: SOT 5758893 SOS 4631490 HAS SOPS 2390143 HAS SOUS 539047 HAS SOUPS 249830 WITH SCORE 254461.49
AT ITER 162 NEW BEST:: SOT 5757367 SOS 4639436 HAS SOPS 2392269 HAS SOUS 538718 HAS SOUPS 249016 WITH SCORE 253655.436
AT ITER 170 NEW BEST:: SOT 5756450 SOS 4639698 HAS SOPS 2390959 HAS SOUS 538194 HAS SOUPS 248361 WITH SCORE 253000.698
AT ITER 175 NEW BEST:: SOT 5756001 SOS 4638800 HAS SOPS 2391301 HAS SOUS 537211 HAS SOUPS 247688 WITH SCORE 252326.8
AT ITER 180 NEW BEST:: SOT 5755469 SOS 4640068 HAS SOPS 2391057 HAS SOUS 536927 HAS SOUPS 247278 WITH SCORE 251918.068
AT ITER 182 NEW BEST:: SOT 5755445 SOS 4640212 HAS SOPS 2391105 HAS SOUS 536927 HAS SOUPS 247270 WITH SCORE 251910.212
AT ITER 185 NEW BEST:: SOT 5754489 SOS 4650162 HAS SOPS 2394851 HAS SOUS 537184 HAS SOUPS 247010 WITH SCORE 251660.162
AT ITER 193 NEW BEST:: SOT 5754038 SOS 4649260 HAS SOPS 2395297 HAS SOUS 536171 HAS SOUPS 246334 WITH SCORE 250983.26
AT ITER 203 NEW BEST:: SOT 5753680 SOS 4648544 HAS SOPS 2395297 HAS SOUS 535455 HAS SOUPS 245797 WITH SCORE 250445.544
AT ITER 204 NEW BEST:: SOT 5753680 SOS 4648544 HAS SOPS 2395297 HAS SOUS 535305 HAS SOUPS 245647 WITH SCORE 250295.544
AT ITER 205 NEW BEST:: SOT 5753646 SOS 4648476 HAS SOPS 2395229 HAS SOUS 535271 HAS SOUPS 245613 WITH SCORE 250261.476
AT ITER 211 NEW BEST:: SOT 5753636 SOS 4648456 HAS SOPS 2396681 HAS SOUS 534893 HAS SOUPS 245603 WITH SCORE 250251.456
AT ITER 224 NEW BEST:: SOT 5753636 SOS 4648456 HAS SOPS 2396681 HAS SOUS 534859 HAS SOUPS 245569 WITH SCORE 250217.456
AT ITER 227 NEW BEST:: SOT 5753634 SOS 4648452 HAS SOPS 2397481 HAS SOUS 534656 HAS SOUPS 245567 WITH SCORE 250215.452
AT ITER 232 NEW BEST:: SOT 5751301 SOS 4653266 HAS SOPS 2398631 HAS SOUS 533430 HAS SOUPS 244341 WITH SCORE 248994.266
AT ITER 237 NEW BEST:: SOT 5751154 SOS 4653756 HAS SOPS 2398533 HAS SOUS 533332 HAS SOUPS 244194 WITH SCORE 248847.756
AT ITER 243 NEW BEST:: SOT 5751154 SOS 4653756 HAS SOPS 2398533 HAS SOUS 533222 HAS SOUPS 244084 WITH SCORE 248737.756
AT ITER 249 NEW BEST:: SOT 5749739 SOS 4621987 HAS SOPS 2401876 HAS SOUS 532515 HAS SOUPS 243377 WITH SCORE 247998.987
AT ITER 254 NEW BEST:: SOT 5747535 SOS 4625187 HAS SOPS 2402220 HAS SOUS 530803 HAS SOUPS 241665 WITH SCORE 246290.187
AT ITER 262 NEW BEST:: SOT 5747173 SOS 4624463 HAS SOPS 2401496 HAS SOUS 530260 HAS SOUPS 241122 WITH SCORE 245746.463
AT ITER 264 NEW BEST:: SOT 5745202 SOS 4625221 HAS SOPS 2400174 HAS SOUS 528791 HAS SOUPS 239653 WITH SCORE 244278.221
AT ITER 280 NEW BEST:: SOT 5740645 SOS 4616896 HAS SOPS 2398562 HAS SOUS 528045 HAS SOUPS 239619 WITH SCORE 244235.896
AT ITER 297 NEW BEST:: SOT 5740526 SOS 4616930 HAS SOPS 2398392 HAS SOUS 527977 HAS SOUPS 239534 WITH SCORE 244150.93
AT ITER 304 NEW BEST:: SOT 5740524 SOS 4616926 HAS SOPS 2399212 HAS SOUS 527769 HAS SOUPS 239532 WITH SCORE 244148.926
AT ITER 306 NEW BEST:: SOT 5740524 SOS 4616926 HAS SOPS 2399212 HAS SOUS 527633 HAS SOUPS 239396 WITH SCORE 244012.926
AT ITER 316 NEW BEST:: SOT 5740361 SOS 4616968 HAS SOPS 2398978 HAS SOUS 527539 HAS SOUPS 239279 WITH SCORE 243895.968
AT ITER 319 NEW BEST:: SOT 5740361 SOS 4616968 HAS SOPS 2398978 HAS SOUS 527513 HAS SOUPS 239253 WITH SCORE 243869.968
AT ITER 322 NEW BEST:: SOT 5740359 SOS 4616964 HAS SOPS 2399850 HAS SOUS 527292 HAS SOUPS 239251 WITH SCORE 243867.964
AT ITER 324 NEW BEST:: SOT 5740357 SOS 4616960 HAS SOPS 2400686 HAS SOUS 527080 HAS SOUPS 239249 WITH SCORE 243865.96
AT ITER 334 NEW BEST:: SOT 5740369 SOS 4617920 HAS SOPS 2401646 HAS SOUS 526578 HAS SOUPS 238747 WITH SCORE 243364.92
AT ITER 335 NEW BEST:: SOT 5739923 SOS 4616112 HAS SOPS 2400754 HAS SOUS 525677 HAS SOUPS 238075 WITH SCORE 242691.112
AT ITER 339 NEW BEST:: SOT 5739459 SOS 4619496 HAS SOPS 2402290 HAS SOUS 525673 HAS SOUPS 237917 WITH SCORE 242536.496
AT ITER 344 NEW BEST:: SOT 5739459 SOS 4619496 HAS SOPS 2402290 HAS SOUS 525567 HAS SOUPS 237811 WITH SCORE 242430.496
AT ITER 353 NEW BEST:: SOT 5739203 SOS 4618984 HAS SOPS 2402290 HAS SOUS 525055 HAS SOUPS 237427 WITH SCORE 242045.984
AT ITER 355 NEW BEST:: SOT 5738917 SOS 4618412 HAS SOPS 2402290 HAS SOUS 524483 HAS SOUPS 236998 WITH SCORE 241616.412
AT ITER 356 NEW BEST:: SOT 5738917 SOS 4618116 HAS SOPS 2401994 HAS SOUS 524483 HAS SOUPS 236998 WITH SCORE 241616.116
AT ITER 367 NEW BEST:: SOT 5736595 SOS 4619096 HAS SOPS 2400558 HAS SOUS 522667 HAS SOUPS 235182 WITH SCORE 239801.096
AT ITER 372 NEW BEST:: SOT 5736593 SOS 4618764 HAS SOPS 2400226 HAS SOUS 522581 HAS SOUPS 235096 WITH SCORE 239714.764
AT ITER 385 NEW BEST:: SOT 5735231 SOS 4616040 HAS SOPS 2398862 HAS SOUS 521676 HAS SOUPS 234531 WITH SCORE 239147.04
AT ITER 387 NEW BEST:: SOT 5733296 SOS 4617314 HAS SOPS 2396668 HAS SOUS 520476 HAS SOUPS 233042 WITH SCORE 237659.314
AT ITER 392 NEW BEST:: SOT 5732896 SOS 4616514 HAS SOPS 2396668 HAS SOUS 519676 HAS SOUPS 232442 WITH SCORE 237058.514
AT ITER 403 NEW BEST:: SOT 5732900 SOS 4579838 HAS SOPS 2395872 HAS SOUS 518988 HAS SOUPS 232214 WITH SCORE 236793.838
AT ITER 410 NEW BEST:: SOT 5731007 SOS 4579844 HAS SOPS 2394006 HAS SOUS 517567 HAS SOUPS 230793 WITH SCORE 235372.844
AT ITER 429 NEW BEST:: SOT 5730331 SOS 4578492 HAS SOPS 2392654 HAS SOUS 517509 HAS SOUPS 230735 WITH SCORE 235313.492
AT ITER 443 NEW BEST:: SOT 5730181 SOS 4578192 HAS SOPS 2392354 HAS SOUS 517505 HAS SOUPS 230731 WITH SCORE 235309.192
AT ITER 448 NEW BEST:: SOT 5730181 SOS 4578192 HAS SOPS 2392354 HAS SOUS 517385 HAS SOUPS 230611 WITH SCORE 235189.192
AT ITER 458 NEW BEST:: SOT 5729999 SOS 4577828 HAS SOPS 2393066 HAS SOUS 516973 HAS SOUPS 230468 WITH SCORE 235045.828
AT ITER 459 NEW BEST:: SOT 5728416 SOS 4581518 HAS SOPS 2393396 HAS SOUS 516526 HAS SOUPS 229686 WITH SCORE 234267.518
AT ITER 462 NEW BEST:: SOT 5727474 SOS 4584134 HAS SOPS 2393660 HAS SOUS 516188 HAS SOUPS 229152 WITH SCORE 233736.134
AT ITER 466 NEW BEST:: SOT 5727375 SOS 4583936 HAS SOPS 2393462 HAS SOUS 516089 HAS SOUPS 229053 WITH SCORE 233636.936
AT ITER 474 NEW BEST:: SOT 5725649 SOS 4587364 HAS SOPS 2394386 HAS SOUS 515289 HAS SOUPS 228253 WITH SCORE 232840.364
AT ITER 482 NEW BEST:: SOT 5725263 SOS 4586592 HAS SOPS 2394602 HAS SOUS 514485 HAS SOUPS 227696 WITH SCORE 232282.592
AT ITER 498 NEW BEST:: SOT 5725263 SOS 4586592 HAS SOPS 2394602 HAS SOUS 514335 HAS SOUPS 227546 WITH SCORE 232132.592
AT ITER 502 NEW BEST:: SOT 5725323 SOS 4586272 HAS SOPS 2394282 HAS SOUS 514317 HAS SOUPS 227528 WITH SCORE 232114.272
AT ITER 514 NEW BEST:: SOT 5725323 SOS 4586272 HAS SOPS 2394282 HAS SOUS 514179 HAS SOUPS 227390 WITH SCORE 231976.272
AT ITER 528 NEW BEST:: SOT 5725323 SOS 4586004 HAS SOPS 2394014 HAS SOUS 514179 HAS SOUPS 227390 WITH SCORE 231976.004
AT ITER 536 NEW BEST:: SOT 5724921 SOS 4585200 HAS SOPS 2394294 HAS SOUS 513329 HAS SOUPS 226811 WITH SCORE 231396.2
AT ITER 547 NEW BEST:: SOT 5724287 SOS 4583932 HAS SOPS 2393658 HAS SOUS 512853 HAS SOUPS 226493 WITH SCORE 231076.932
AT ITER 548 NEW BEST:: SOT 5720165 SOS 4578531 HAS SOPS 2390929 HAS SOUS 512659 HAS SOUPS 226479 WITH SCORE 231057.531
AT ITER 560 NEW BEST:: SOT 5715877 SOS 4572328 HAS SOPS 2388136 HAS SOUS 512253 HAS SOUPS 226414 WITH SCORE 230986.328
AT ITER 565 NEW BEST:: SOT 5715877 SOS 4572328 HAS SOPS 2388136 HAS SOUS 512119 HAS SOUPS 226280 WITH SCORE 230852.328
AT ITER 581 NEW BEST:: SOT 5715445 SOS 4571464 HAS SOPS 2388236 HAS SOUS 511239 HAS SOUPS 225641 WITH SCORE 230212.464
AT ITER 587 NEW BEST:: SOT 5714126 SOS 4580050 HAS SOPS 2390798 HAS SOUS 510844 HAS SOUPS 224744 WITH SCORE 229324.05
AT ITER 607 NEW BEST:: SOT 5714088 SOS 4580002 HAS SOPS 2390750 HAS SOUS 510820 HAS SOUPS 224720 WITH SCORE 229300.002
AT ITER 611 NEW BEST:: SOT 5713934 SOS 4584966 HAS SOPS 2392486 HAS SOUS 510840 HAS SOUPS 224471 WITH SCORE 229055.96600000001
AT ITER 621 NEW BEST:: SOT 5713730 SOS 4584558 HAS SOPS 2393058 HAS SOUS 510412 HAS SOUPS 224288 WITH SCORE 228872.558
AT ITER 627 NEW BEST:: SOT 5713527 SOS 4584936 HAS SOPS 2392848 HAS SOUS 510286 HAS SOUPS 224113 WITH SCORE 228697.936
AT ITER 631 NEW BEST:: SOT 5713273 SOS 4599953 HAS SOPS 2392547 HAS SOUS 509985 HAS SOUPS 223812 WITH SCORE 228411.953
AT ITER 634 NEW BEST:: SOT 5713273 SOS 4599953 HAS SOPS 2392547 HAS SOUS 509925 HAS SOUPS 223752 WITH SCORE 228351.953
AT ITER 650 NEW BEST:: SOT 5708772 SOS 4591696 HAS SOPS 2390995 HAS SOUS 509118 HAS SOUPS 223690 WITH SCORE 228281.696
AT ITER 656 NEW BEST:: SOT 5708703 SOS 4592018 HAS SOPS 2391041 HAS SOUS 509118 HAS SOUPS 223667 WITH SCORE 228259.018
AT ITER 658 NEW BEST:: SOT 5706652 SOS 4596684 HAS SOPS 2392475 HAS SOUS 507766 HAS SOUPS 222315 WITH SCORE 226911.684
AT ITER 663 NEW BEST:: SOT 5706652 SOS 4596684 HAS SOPS 2392475 HAS SOUS 507757 HAS SOUPS 222306 WITH SCORE 226902.684
AT ITER 679 NEW BEST:: SOT 5706550 SOS 4596480 HAS SOPS 2392679 HAS SOUS 507552 HAS SOUPS 222203 WITH SCORE 226799.48
AT ITER 689 NEW BEST:: SOT 5706242 SOS 4596752 HAS SOPS 2392423 HAS SOUS 507420 HAS SOUPS 222027 WITH SCORE 226623.752
AT ITER 706 NEW BEST:: SOT 5706230 SOS 4596728 HAS SOPS 2392399 HAS SOUS 507408 HAS SOUPS 222015 WITH SCORE 226611.728
AT ITER 708 NEW BEST:: SOT 5706228 SOS 4596724 HAS SOPS 2392395 HAS SOUS 507406 HAS SOUPS 222013 WITH SCORE 226609.724
AT ITER 716 NEW BEST:: SOT 5704085 SOS 4598198 HAS SOPS 2391389 HAS SOUS 505869 HAS SOUPS 220476 WITH SCORE 225074.198
AT ITER 735 NEW BEST:: SOT 5703861 SOS 4597066 HAS SOPS 2391233 HAS SOUS 505399 HAS SOUPS 220250 WITH SCORE 224847.066
AT ITER 738 NEW BEST:: SOT 5702799 SOS 4599574 HAS SOPS 2391941 HAS SOUS 504467 HAS SOUPS 219318 WITH SCORE 223917.574
AT ITER 758 NEW BEST:: SOT 5702350 SOS 4598676 HAS SOPS 2391043 HAS SOUS 503794 HAS SOUPS 218645 WITH SCORE 223243.676
AT ITER 766 NEW BEST:: SOT 5701974 SOS 4597924 HAS SOPS 2391043 HAS SOUS 503042 HAS SOUPS 218081 WITH SCORE 222678.924
AT ITER 770 NEW BEST:: SOT 5701974 SOS 4597924 HAS SOPS 2391043 HAS SOUS 502892 HAS SOUPS 217931 WITH SCORE 222528.924
AT ITER 780 NEW BEST:: SOT 5700469 SOS 4602218 HAS SOPS 2391125 HAS SOUS 502528 HAS SOUPS 217216 WITH SCORE 221818.218
AT ITER 785 NEW BEST:: SOT 5700229 SOS 4602362 HAS SOPS 2390957 HAS SOUS 502477 HAS SOUPS 217165 WITH SCORE 221767.362
AT ITER 812 NEW BEST:: SOT 5699780 SOS 4601464 HAS SOPS 2391015 HAS SOUS 501565 HAS SOUPS 216492 WITH SCORE 221093.464
AT ITER 816 NEW BEST:: SOT 5699780 SOS 4601464 HAS SOPS 2391015 HAS SOUS 501433 HAS SOUPS 216360 WITH SCORE 220961.464
AT ITER 818 NEW BEST:: SOT 5699780 SOS 4600884 HAS SOPS 2391047 HAS SOUS 501127 HAS SOUPS 216207 WITH SCORE 220807.884
AT ITER 832 NEW BEST:: SOT 5699289 SOS 4599998 HAS SOPS 2390663 HAS SOUS 500896 HAS SOUPS 216015 WITH SCORE 220614.998
AT ITER 872 NEW BEST:: SOT 5699277 SOS 4599974 HAS SOPS 2390639 HAS SOUS 500884 HAS SOUPS 216003 WITH SCORE 220602.974
AT ITER 899 NEW BEST:: SOT 5699217 SOS 4599854 HAS SOPS 2391531 HAS SOUS 500571 HAS SOUPS 215943 WITH SCORE 220542.854
AT ITER 910 NEW BEST:: SOT 5697689 SOS 4601286 HAS SOPS 2390131 HAS SOUS 500071 HAS SOUPS 215207 WITH SCORE 219808.286
AT ITER 911 NEW BEST:: SOT 5697273 SOS 4599622 HAS SOPS 2389299 HAS SOUS 499237 HAS SOUPS 214581 WITH SCORE 219180.622
AT ITER 912 NEW BEST:: SOT 5697273 SOS 4599622 HAS SOPS 2389299 HAS SOUS 499107 HAS SOUPS 214451 WITH SCORE 219050.622
AT ITER 943 NEW BEST:: SOT 5694897 SOS 4604246 HAS SOPS 2390339 HAS SOUS 497697 HAS SOUPS 213041 WITH SCORE 217645.246
AT ITER 948 NEW BEST:: SOT 5694679 SOS 4603322 HAS SOPS 2390287 HAS SOUS 497259 HAS SOUPS 212821 WITH SCORE 217424.322
AT ITER 967 NEW BEST:: SOT 5693297 SOS 4608394 HAS SOPS 2392023 HAS SOUS 496801 HAS SOUPS 212363 WITH SCORE 216971.394
AT ITER 968 NEW BEST:: SOT 5691830 SOS 4605367 HAS SOPS 2390244 HAS SOUS 494710 HAS SOUPS 210584 WITH SCORE 215189.367
AT ITER 969 NEW BEST:: SOT 5689189 SOS 4590412 HAS SOPS 2369757 HAS SOUS 493861 HAS SOUPS 209274 WITH SCORE 213864.412
AT ITER 982 NEW BEST:: SOT 5688865 SOS 4589764 HAS SOPS 2370113 HAS SOUS 493448 HAS SOUPS 209112 WITH SCORE 213701.764
AT ITER 986 NEW BEST:: SOT 5688865 SOS 4589764 HAS SOPS 2370113 HAS SOUS 493360 HAS SOUPS 209024 WITH SCORE 213613.764
AT ITER 989 NEW BEST:: SOT 5688214 SOS 4589950 HAS SOPS 2369183 HAS SOUS 492988 HAS SOUPS 208559 WITH SCORE 213148.95
AT ITER 1013 NEW BEST:: SOT 5687762 SOS 4589046 HAS SOPS 2368279 HAS SOUS 492836 HAS SOUPS 208407 WITH SCORE 212996.046
AT ITER 1045 NEW BEST:: SOT 5687760 SOS 4589042 HAS SOPS 2369431 HAS SOUS 492545 HAS SOUPS 208405 WITH SCORE 212994.042
AT ITER 1048 NEW BEST:: SOT 5687760 SOS 4589042 HAS SOPS 2369431 HAS SOUS 492457 HAS SOUPS 208317 WITH SCORE 212906.042
AT ITER 1049 NEW BEST:: SOT 5687760 SOS 4589042 HAS SOPS 2369431 HAS SOUS 492331 HAS SOUPS 208191 WITH SCORE 212780.042
AT ITER 1089 NEW BEST:: SOT 5687760 SOS 4589042 HAS SOPS 2369431 HAS SOUS 492207 HAS SOUPS 208067 WITH SCORE 212656.042
AT ITER 1108 NEW BEST:: SOT 5687760 SOS 4589042 HAS SOPS 2369431 HAS SOUS 492151 HAS SOUPS 208011 WITH SCORE 212600.042
AT ITER 1115 NEW BEST:: SOT 5687481 SOS 4588184 HAS SOPS 2369637 HAS SOUS 491381 HAS SOUPS 207507 WITH SCORE 212095.184
AT ITER 1117 NEW BEST:: SOT 5686142 SOS 4590618 HAS SOPS 2369203 HAS SOUS 490911 HAS SOUPS 206798 WITH SCORE 211388.618
AT ITER 1135 NEW BEST:: SOT 5685809 SOS 4590692 HAS SOPS 2368981 HAS SOUS 490689 HAS SOUPS 206576 WITH SCORE 211166.692
AT ITER 1139 NEW BEST:: SOT 5684808 SOS 4590962 HAS SOPS 2368115 HAS SOUS 490235 HAS SOUPS 206122 WITH SCORE 210712.962
AT ITER 1155 NEW BEST:: SOT 5684728 SOS 4590802 HAS SOPS 2367955 HAS SOUS 490155 HAS SOUPS 206042 WITH SCORE 210632.802
AT ITER 1175 NEW BEST:: SOT 5684299 SOS 4589944 HAS SOPS 2368069 HAS SOUS 489279 HAS SOUPS 205409 WITH SCORE 209998.944
AT ITER 1199 NEW BEST:: SOT 5684299 SOS 4589944 HAS SOPS 2368069 HAS SOUS 489129 HAS SOUPS 205259 WITH SCORE 209848.944
AT ITER 1205 NEW BEST:: SOT 5683884 SOS 4588682 HAS SOPS 2366807 HAS SOUS 488836 HAS SOUPS 204966 WITH SCORE 209554.682
AT ITER 1208 NEW BEST:: SOT 5682804 SOS 4588970 HAS SOPS 2365259 HAS SOUS 488359 HAS SOUPS 204336 WITH SCORE 208924.97
AT ITER 1210 NEW BEST:: SOT 5677970 SOS 4582004 HAS SOPS 2362013 HAS SOUS 487620 HAS SOUPS 203969 WITH SCORE 208551.004
AT ITER 1214 NEW BEST:: SOT 5678314 SOS 4528912 HAS SOPS 2335753 HAS SOUS 487276 HAS SOUPS 203969 WITH SCORE 208497.912
AT ITER 1251 NEW BEST:: SOT 5678152 SOS 4528732 HAS SOPS 2335573 HAS SOUS 487275 HAS SOUPS 203968 WITH SCORE 208496.732
AT ITER 1252 NEW BEST:: SOT 5677001 SOS 4528578 HAS SOPS 2334347 HAS SOUS 486434 HAS SOUPS 203127 WITH SCORE 207655.578
AT ITER 1255 NEW BEST:: SOT 5675977 SOS 4533030 HAS SOPS 2336639 HAS SOUS 486424 HAS SOUPS 203046 WITH SCORE 207579.03
AT ITER 1256 NEW BEST:: SOT 5675977 SOS 4533030 HAS SOPS 2336639 HAS SOUS 486408 HAS SOUPS 203030 WITH SCORE 207563.03
AT ITER 1283 NEW BEST:: SOT 5675565 SOS 4531796 HAS SOPS 2335405 HAS SOUS 486024 HAS SOUPS 202646 WITH SCORE 207177.796
AT ITER 1284 NEW BEST:: SOT 5675053 SOS 4534204 HAS SOPS 2336669 HAS SOUS 485661 HAS SOUPS 202283 WITH SCORE 206817.204
AT ITER 1314 NEW BEST:: SOT 5675053 SOS 4534204 HAS SOPS 2336669 HAS SOUS 485605 HAS SOUPS 202227 WITH SCORE 206761.204
AT ITER 1329 NEW BEST:: SOT 5672827 SOS 4536164 HAS SOPS 2336093 HAS SOUS 483953 HAS SOUPS 200575 WITH SCORE 205111.164
AT ITER 1338 NEW BEST:: SOT 5672825 SOS 4536160 HAS SOPS 2336089 HAS SOUS 483951 HAS SOUPS 200573 WITH SCORE 205109.16
AT ITER 1339 NEW BEST:: SOT 5671909 SOS 4538584 HAS SOPS 2336801 HAS SOUS 483632 HAS SOUPS 200254 WITH SCORE 204792.584
AT ITER 1352 NEW BEST:: SOT 5671902 SOS 4538570 HAS SOPS 2337091 HAS SOUS 483549 HAS SOUPS 200247 WITH SCORE 204785.57
AT ITER 1366 NEW BEST:: SOT 5671902 SOS 4538570 HAS SOPS 2337091 HAS SOUS 483529 HAS SOUPS 200227 WITH SCORE 204765.57
AT ITER 1377 NEW BEST:: SOT 5670913 SOS 4541444 HAS SOPS 2337925 HAS SOUS 482916 HAS SOUPS 199614 WITH SCORE 204155.444
AT ITER 1393 NEW BEST:: SOT 5670911 SOS 4541440 HAS SOPS 2338805 HAS SOUS 482693 HAS SOUPS 199612 WITH SCORE 204153.44
AT ITER 1426 NEW BEST:: SOT 5670726 SOS 4541070 HAS SOPS 2339707 HAS SOUS 482155 HAS SOUPS 199392 WITH SCORE 203933.07
AT ITER 1434 NEW BEST:: SOT 5669820 SOS 4541594 HAS SOPS 2338479 HAS SOUS 481803 HAS SOUPS 198894 WITH SCORE 203435.594
AT ITER 1435 NEW BEST:: SOT 5669674 SOS 4540422 HAS SOPS 2338187 HAS SOUS 481310 HAS SOUPS 198621 WITH SCORE 203161.422
AT ITER 1442 NEW BEST:: SOT 5668886 SOS 4542622 HAS SOPS 2338383 HAS SOUS 481251 HAS SOUPS 198395 WITH SCORE 202937.622
AT ITER 1446 NEW BEST:: SOT 5668776 SOS 4542402 HAS SOPS 2338163 HAS SOUS 481141 HAS SOUPS 198285 WITH SCORE 202827.402
AT ITER 1457 NEW BEST:: SOT 5668776 SOS 4541946 HAS SOPS 2337707 HAS SOUS 481141 HAS SOUPS 198285 WITH SCORE 202826.946
AT ITER 1463 NEW BEST:: SOT 5668716 SOS 4541826 HAS SOPS 2337707 HAS SOUS 481141 HAS SOUPS 198285 WITH SCORE 202826.826
AT ITER 1473 NEW BEST:: SOT 5666903 SOS 4542488 HAS SOPS 2336297 HAS SOUS 480400 HAS SOUPS 197544 WITH SCORE 202086.488
AT ITER 1474 NEW BEST:: SOT 5670319 SOS 4546056 HAS SOPS 2337981 HAS SOUS 480062 HAS SOUPS 197206 WITH SCORE 201752.056
AT ITER 1480 NEW BEST:: SOT 5670319 SOS 4545588 HAS SOPS 2337947 HAS SOUS 479744 HAS SOUPS 196889 WITH SCORE 201434.588
AT ITER 1486 NEW BEST:: SOT 5673854 SOS 4550290 HAS SOPS 2339723 HAS SOUS 480020 HAS SOUPS 196754 WITH SCORE 201304.29
AT ITER 1490 NEW BEST:: SOT 5673854 SOS 4550290 HAS SOPS 2339723 HAS SOUS 479957 HAS SOUPS 196752 WITH SCORE 201302.29
AT ITER 1491 NEW BEST:: SOT 5673831 SOS 4550244 HAS SOPS 2339677 HAS SOUS 479934 HAS SOUPS 196729 WITH SCORE 201279.244
AT ITER 1507 NEW BEST:: SOT 5673783 SOS 4550148 HAS SOPS 2339581 HAS SOUS 479838 HAS SOUPS 196633 WITH SCORE 201183.148
AT ITER 1528 NEW BEST:: SOT 5673689 SOS 4549960 HAS SOPS 2339393 HAS SOUS 479744 HAS SOUPS 196539 WITH SCORE 201088.96
AT ITER 1546 NEW BEST:: SOT 5673514 SOS 4550310 HAS SOPS 2339463 HAS SOUS 479604 HAS SOUPS 196399 WITH SCORE 200949.31
AT ITER 1554 NEW BEST:: SOT 5673429 SOS 4549740 HAS SOPS 2338893 HAS SOUS 479435 HAS SOUPS 196230 WITH SCORE 200779.74
AT ITER 1569 NEW BEST:: SOT 5673226 SOS 4549164 HAS SOPS 2338657 HAS SOUS 479114 HAS SOUPS 195994 WITH SCORE 200543.164
AT ITER 1571 NEW BEST:: SOT 5673226 SOS 4549164 HAS SOPS 2338657 HAS SOUS 479024 HAS SOUPS 195904 WITH SCORE 200453.164
AT ITER 1573 NEW BEST:: SOT 5672389 SOS 4559233 HAS SOPS 2342522 HAS SOUS 478941 HAS SOUPS 195304 WITH SCORE 199863.233
AT ITER 1574 NEW BEST:: SOT 5672407 SOS 4558093 HAS SOPS 2341774 HAS SOUS 478905 HAS SOUPS 195268 WITH SCORE 199826.093
AT ITER 1584 NEW BEST:: SOT 5672372 SOS 4571748 HAS SOPS 2341155 HAS SOUS 479053 HAS SOUPS 195233 WITH SCORE 199804.748
AT ITER 1595 NEW BEST:: SOT 5672372 SOS 4571748 HAS SOPS 2341155 HAS SOUS 478919 HAS SOUPS 195099 WITH SCORE 199670.748
AT ITER 1599 NEW BEST:: SOT 5672264 SOS 4571460 HAS SOPS 2341011 HAS SOUS 478739 HAS SOUPS 194955 WITH SCORE 199526.46
AT ITER 1611 NEW BEST:: SOT 5672264 SOS 4571460 HAS SOPS 2341011 HAS SOUS 478715 HAS SOUPS 194931 WITH SCORE 199502.46
AT ITER 1614 NEW BEST:: SOT 5672063 SOS 4571034 HAS SOPS 2341929 HAS SOUS 478277 HAS SOUPS 194829 WITH SCORE 199400.03399999999
AT ITER 1616 NEW BEST:: SOT 5671767 SOS 4570442 HAS SOPS 2341749 HAS SOUS 477832 HAS SOUPS 194590 WITH SCORE 199160.442
AT ITER 1618 NEW BEST:: SOT 5671767 SOS 4570442 HAS SOPS 2341749 HAS SOUS 477770 HAS SOUPS 194528 WITH SCORE 199098.442
AT ITER 1620 NEW BEST:: SOT 5670684 SOS 4573148 HAS SOPS 2342367 HAS SOUS 477250 HAS SOUPS 194008 WITH SCORE 198581.148
AT ITER 1628 NEW BEST:: SOT 5670684 SOS 4573148 HAS SOPS 2342367 HAS SOUS 477178 HAS SOUPS 193936 WITH SCORE 198509.148
AT ITER 1642 NEW BEST:: SOT 5670546 SOS 4573992 HAS SOPS 2342731 HAS SOUS 477142 HAS SOUPS 193860 WITH SCORE 198433.992
AT ITER 1657 NEW BEST:: SOT 5670546 SOS 4574724 HAS SOPS 2342731 HAS SOUS 477209 HAS SOUPS 193744 WITH SCORE 198318.724
AT ITER 1660 NEW BEST:: SOT 5669807 SOS 4585450 HAS SOPS 2347505 HAS SOUS 477037 HAS SOUPS 193076 WITH SCORE 197661.45
AT ITER 1664 NEW BEST:: SOT 5669377 SOS 4583730 HAS SOPS 2346645 HAS SOUS 476175 HAS SOUPS 192429 WITH SCORE 197012.73
AT ITER 1671 NEW BEST:: SOT 5669156 SOS 4583032 HAS SOPS 2345947 HAS SOUS 476163 HAS SOUPS 192417 WITH SCORE 197000.032
AT ITER 1675 NEW BEST:: SOT 5669079 SOS 4583454 HAS SOPS 2346081 HAS SOUS 476143 HAS SOUPS 192373 WITH SCORE 196956.454
AT ITER 1677 NEW BEST:: SOT 5668854 SOS 4582868 HAS SOPS 2347183 HAS SOUS 475436 HAS SOUPS 192088 WITH SCORE 196670.868
AT ITER 1686 NEW BEST:: SOT 5668703 SOS 4582566 HAS SOPS 2346881 HAS SOUS 475290 HAS SOUPS 191942 WITH SCORE 196524.566
AT ITER 1692 NEW BEST:: SOT 5668703 SOS 4582566 HAS SOPS 2346881 HAS SOUS 475236 HAS SOUPS 191888 WITH SCORE 196470.566
AT ITER 1706 NEW BEST:: SOT 5668597 SOS 4582210 HAS SOPS 2346949 HAS SOUS 474988 HAS SOUPS 191746 WITH SCORE 196328.21
AT ITER 1709 NEW BEST:: SOT 5668597 SOS 4582210 HAS SOPS 2346949 HAS SOUS 474876 HAS SOUPS 191634 WITH SCORE 196216.21
AT ITER 1722 NEW BEST:: SOT 5668470 SOS 4581812 HAS SOPS 2347555 HAS SOUS 474525 HAS SOUPS 191534 WITH SCORE 196115.812
AT ITER 1727 NEW BEST:: SOT 5668450 SOS 4581772 HAS SOPS 2347199 HAS SOUS 474584 HAS SOUPS 191514 WITH SCORE 196095.772
AT ITER 1743 NEW BEST:: SOT 5668440 SOS 4581752 HAS SOPS 2347179 HAS SOUS 474569 HAS SOUPS 191499 WITH SCORE 196080.752
AT ITER 1745 NEW BEST:: SOT 5668321 SOS 4581276 HAS SOPS 2347179 HAS SOUS 474331 HAS SOUPS 191380 WITH SCORE 195961.276
AT ITER 1751 NEW BEST:: SOT 5668063 SOS 4580760 HAS SOPS 2346035 HAS SOUS 474073 HAS SOUPS 190965 WITH SCORE 195545.76
AT ITER 1754 NEW BEST:: SOT 5668061 SOS 4580756 HAS SOPS 2346031 HAS SOUS 474069 HAS SOUPS 190961 WITH SCORE 195541.756
AT ITER 1759 NEW BEST:: SOT 5666671 SOS 4539620 HAS SOPS 2338555 HAS SOUS 473563 HAS SOUPS 190455 WITH SCORE 194994.62
AT ITER 1801 NEW BEST:: SOT 5665698 SOS 4539914 HAS SOPS 2337729 HAS SOUS 473157 HAS SOUPS 190049 WITH SCORE 194588.914
AT ITER 1832 NEW BEST:: SOT 5665788 SOS 4539390 HAS SOPS 2337909 HAS SOUS 472916 HAS SOUPS 189984 WITH SCORE 194523.39
AT ITER 1836 NEW BEST:: SOT 5665447 SOS 4538708 HAS SOPS 2338071 HAS SOUS 472645 HAS SOUPS 189924 WITH SCORE 194462.708
AT ITER 1851 NEW BEST:: SOT 5665167 SOS 4538708 HAS SOPS 2337791 HAS SOUS 472470 HAS SOUPS 189749 WITH SCORE 194287.708
AT ITER 1854 NEW BEST:: SOT 5665204 SOS 4537891 HAS SOPS 2337418 HAS SOUS 472431 HAS SOUPS 189747 WITH SCORE 194284.891
AT ITER 1884 NEW BEST:: SOT 5665204 SOS 4535395 HAS SOPS 2335754 HAS SOUS 472327 HAS SOUPS 189643 WITH SCORE 194178.395
AT ITER 1893 NEW BEST:: SOT 5664771 SOS 4536157 HAS SOPS 2335876 HAS SOUS 472294 HAS SOUPS 189610 WITH SCORE 194146.157
AT ITER 1896 NEW BEST:: SOT 5664771 SOS 4536157 HAS SOPS 2335876 HAS SOUS 472144 HAS SOUPS 189460 WITH SCORE 193996.157
AT ITER 1901 NEW BEST:: SOT 5664573 SOS 4534741 HAS SOPS 2335480 HAS SOUS 471718 HAS SOUPS 189289 WITH SCORE 193823.741
AT ITER 1920 NEW BEST:: SOT 5664566 SOS 4534727 HAS SOPS 2335466 HAS SOUS 471505 HAS SOUPS 189076 WITH SCORE 193610.727
AT ITER 1929 NEW BEST:: SOT 5664430 SOS 4536087 HAS SOPS 2336010 HAS SOUS 471505 HAS SOUPS 189008 WITH SCORE 193544.087
AT ITER 1941 NEW BEST:: SOT 5664396 SOS 4536019 HAS SOPS 2335942 HAS SOUS 471471 HAS SOUPS 188974 WITH SCORE 193510.019
AT ITER 1958 NEW BEST:: SOT 5664309 SOS 4535671 HAS SOPS 2335942 HAS SOUS 471210 HAS SOUPS 188800 WITH SCORE 193335.671
AT ITER 1966 NEW BEST:: SOT 5664740 SOS 4502009 HAS SOPS 2335728 HAS SOUS 471197 HAS SOUPS 188787 WITH SCORE 193289.009
AT ITER 1985 NEW BEST:: SOT 5664534 SOS 4503657 HAS SOPS 2336552 HAS SOUS 471094 HAS SOUPS 188684 WITH SCORE 193187.657
AT ITER 1989 NEW BEST:: SOT 5664402 SOS 4503393 HAS SOPS 2336288 HAS SOUS 471052 HAS SOUPS 188642 WITH SCORE 193145.393
AT ITER 2013 NEW BEST:: SOT 5664365 SOS 4503319 HAS SOPS 2336214 HAS SOUS 471015 HAS SOUPS 188605 WITH SCORE 193108.319
AT ITER 2031 NEW BEST:: SOT 5663945 SOS 4505695 HAS SOPS 2336454 HAS SOUS 470948 HAS SOUPS 188360 WITH SCORE 192865.695
AT ITER 2055 NEW BEST:: SOT 5663945 SOS 4505695 HAS SOPS 2336454 HAS SOUS 470798 HAS SOUPS 188210 WITH SCORE 192715.695
AT ITER 2073 NEW BEST:: SOT 5663844 SOS 4506141 HAS SOPS 2336684 HAS SOUS 470724 HAS SOUPS 188136 WITH SCORE 192642.141
AT ITER 2078 NEW BEST:: SOT 5663808 SOS 4505925 HAS SOPS 2336612 HAS SOUS 470650 HAS SOUPS 188098 WITH SCORE 192603.925
AT ITER 2094 NEW BEST:: SOT 5663725 SOS 4505759 HAS SOPS 2336446 HAS SOUS 470526 HAS SOUPS 187974 WITH SCORE 192479.759
AT ITER 2100 NEW BEST:: SOT 5663474 SOS 4506681 HAS SOPS 2336300 HAS SOUS 470444 HAS SOUPS 187803 WITH SCORE 192309.681
AT ITER 2105 NEW BEST:: SOT 5662695 SOS 4511175 HAS SOPS 2337554 HAS SOUS 470500 HAS SOUPS 187589 WITH SCORE 192100.175
AT ITER 2119 NEW BEST:: SOT 5658855 SOS 4505727 HAS SOPS 2334996 HAS SOUS 469965 HAS SOUPS 187343 WITH SCORE 191848.727
AT ITER 2124 NEW BEST:: SOT 5658753 SOS 4505523 HAS SOPS 2335928 HAS SOUS 469579 HAS SOUPS 187241 WITH SCORE 191746.523
AT ITER 2145 NEW BEST:: SOT 5658753 SOS 4505523 HAS SOPS 2335928 HAS SOUS 469563 HAS SOUPS 187225 WITH SCORE 191730.523
AT ITER 2187 NEW BEST:: SOT 5658875 SOS 4505643 HAS SOPS 2336048 HAS SOUS 469561 HAS SOUPS 187223 WITH SCORE 191728.643
AT ITER 2218 NEW BEST:: SOT 5658875 SOS 4505559 HAS SOPS 2335964 HAS SOUS 469561 HAS SOUPS 187223 WITH SCORE 191728.559
AT ITER 2222 NEW BEST:: SOT 5658391 SOS 4508335 HAS SOPS 2337276 HAS SOUS 469427 HAS SOUPS 187089 WITH SCORE 191597.335
AT ITER 2231 NEW BEST:: SOT 5658291 SOS 4508699 HAS SOPS 2337640 HAS SOUS 469227 HAS SOUPS 186889 WITH SCORE 191397.699
AT ITER 2257 NEW BEST:: SOT 5658283 SOS 4508683 HAS SOPS 2337624 HAS SOUS 469219 HAS SOUPS 186881 WITH SCORE 191389.683
AT ITER 2258 NEW BEST:: SOT 5657233 SOS 4514739 HAS SOPS 2339876 HAS SOUS 469267 HAS SOUPS 186612 WITH SCORE 191126.739
AT ITER 2259 NEW BEST:: SOT 5657117 SOS 4514275 HAS SOPS 2339644 HAS SOUS 469032 HAS SOUPS 186435 WITH SCORE 190949.275
AT ITER 2261 NEW BEST:: SOT 5657081 SOS 4514203 HAS SOPS 2339572 HAS SOUS 468996 HAS SOUPS 186399 WITH SCORE 190913.203
AT ITER 2284 NEW BEST:: SOT 5657081 SOS 4514203 HAS SOPS 2339572 HAS SOUS 468894 HAS SOUPS 186297 WITH SCORE 190811.203
AT ITER 2301 NEW BEST:: SOT 5657006 SOS 4517053 HAS SOPS 2339462 HAS SOUS 468791 HAS SOUPS 186194 WITH SCORE 190711.053
AT ITER 2310 NEW BEST:: SOT 5655813 SOS 4518579 HAS SOPS 2338912 HAS SOUS 468536 HAS SOUPS 185766 WITH SCORE 190284.579
AT ITER 2311 NEW BEST:: SOT 5655537 SOS 4519867 HAS SOPS 2339464 HAS SOUS 468352 HAS SOUPS 185582 WITH SCORE 190101.867
AT ITER 2328 NEW BEST:: SOT 5650298 SOS 4510400 HAS SOPS 2337536 HAS SOUS 467764 HAS SOUPS 185550 WITH SCORE 190060.4
AT ITER 2332 NEW BEST:: SOT 5650062 SOS 4510164 HAS SOPS 2337300 HAS SOUS 467764 HAS SOUPS 185550 WITH SCORE 190060.164
AT ITER 2334 NEW BEST:: SOT 5649918 SOS 4509876 HAS SOPS 2337012 HAS SOUS 467476 HAS SOUPS 185262 WITH SCORE 189771.876
AT ITER 2350 NEW BEST:: SOT 5649138 SOS 4514784 HAS SOPS 2338548 HAS SOUS 467618 HAS SOUPS 185123 WITH SCORE 189637.78399999999
AT ITER 2352 NEW BEST:: SOT 5648984 SOS 4514476 HAS SOPS 2338240 HAS SOUS 467410 HAS SOUPS 184915 WITH SCORE 189429.476
AT ITER 2356 NEW BEST:: SOT 5648982 SOS 4514472 HAS SOPS 2338236 HAS SOUS 467408 HAS SOUPS 184913 WITH SCORE 189427.472
AT ITER 2362 NEW BEST:: SOT 5648634 SOS 4514524 HAS SOPS 2336680 HAS SOUS 467266 HAS SOUPS 184369 WITH SCORE 188883.524
AT ITER 2377 NEW BEST:: SOT 5647759 SOS 4516274 HAS SOPS 2336330 HAS SOUS 467264 HAS SOUPS 184192 WITH SCORE 188708.274
AT ITER 2382 NEW BEST:: SOT 5647722 SOS 4516200 HAS SOPS 2336760 HAS SOUS 467068 HAS SOUPS 184122 WITH SCORE 188638.2
AT ITER 2393 NEW BEST:: SOT 5639281 SOS 4504461 HAS SOPS 2331571 HAS SOUS 466303 HAS SOUPS 184012 WITH SCORE 188516.461
AT ITER 2395 NEW BEST:: SOT 5639235 SOS 4504369 HAS SOPS 2331479 HAS SOUS 466299 HAS SOUPS 184008 WITH SCORE 188512.369
AT ITER 2397 NEW BEST:: SOT 5639055 SOS 4504553 HAS SOPS 2331323 HAS SOUS 466245 HAS SOUPS 183920 WITH SCORE 188424.553
AT ITER 2413 NEW BEST:: SOT 5639032 SOS 4504507 HAS SOPS 2331201 HAS SOUS 466241 HAS SOUPS 183897 WITH SCORE 188401.507
AT ITER 2414 NEW BEST:: SOT 5638404 SOS 4503251 HAS SOPS 2330441 HAS SOUS 465959 HAS SOUPS 183739 WITH SCORE 188242.251
AT ITER 2419 NEW BEST:: SOT 5638528 SOS 4503275 HAS SOPS 2330941 HAS SOUS 465697 HAS SOUPS 183656 WITH SCORE 188159.275
AT ITER 2421 NEW BEST:: SOT 5638183 SOS 4507985 HAS SOPS 2333851 HAS SOUS 465577 HAS SOUPS 183536 WITH SCORE 188043.985
AT ITER 2425 NEW BEST:: SOT 5638183 SOS 4507985 HAS SOPS 2333851 HAS SOUS 465543 HAS SOUPS 183502 WITH SCORE 188009.985
AT ITER 2439 NEW BEST:: SOT 5638170 SOS 4507959 HAS SOPS 2333773 HAS SOUS 465530 HAS SOUPS 183476 WITH SCORE 187983.959
AT ITER 2447 NEW BEST:: SOT 5638279 SOS 4508177 HAS SOPS 2333259 HAS SOUS 465606 HAS SOUPS 183369 WITH SCORE 187877.177
AT ITER 2463 NEW BEST:: SOT 5634877 SOS 4502069 HAS SOPS 2332133 HAS SOUS 465168 HAS SOUPS 183298 WITH SCORE 187800.069
AT ITER 2466 NEW BEST:: SOT 5634171 SOS 4500657 HAS SOPS 2331425 HAS SOUS 464638 HAS SOUPS 182944 WITH SCORE 187444.657
AT ITER 2482 NEW BEST:: SOT 5634162 SOS 4500639 HAS SOPS 2331407 HAS SOUS 464620 HAS SOUPS 182926 WITH SCORE 187426.639
AT ITER 2507 NEW BEST:: SOT 5633991 SOS 4499897 HAS SOPS 2331349 HAS SOUS 464105 HAS SOUPS 182582 WITH SCORE 187081.897
AT ITER 2531 NEW BEST:: SOT 5633991 SOS 4499897 HAS SOPS 2331349 HAS SOUS 464097 HAS SOUPS 182574 WITH SCORE 187073.897
AT ITER 2535 NEW BEST:: SOT 5633791 SOS 4501377 HAS SOPS 2332077 HAS SOUS 463991 HAS SOUPS 182468 WITH SCORE 186969.377
AT ITER 2545 NEW BEST:: SOT 5633730 SOS 4501255 HAS SOPS 2331955 HAS SOUS 463930 HAS SOUPS 182407 WITH SCORE 186908.255
AT ITER 2557 NEW BEST:: SOT 5633730 SOS 4501255 HAS SOPS 2331955 HAS SOUS 463876 HAS SOUPS 182353 WITH SCORE 186854.255
AT ITER 2580 NEW BEST:: SOT 5634459 SOS 4502133 HAS SOPS 2332833 HAS SOUS 463544 HAS SOUPS 182021 WITH SCORE 186523.133
AT ITER 2589 NEW BEST:: SOT 5634402 SOS 4502155 HAS SOPS 2332719 HAS SOUS 463526 HAS SOUPS 181969 WITH SCORE 186471.155
AT ITER 2613 NEW BEST:: SOT 5634130 SOS 4500523 HAS SOPS 2332175 HAS SOUS 462809 HAS SOUPS 181524 WITH SCORE 186024.523
AT ITER 2633 NEW BEST:: SOT 5634130 SOS 4500523 HAS SOPS 2332175 HAS SOUS 462685 HAS SOUPS 181400 WITH SCORE 185900.523
AT ITER 2644 NEW BEST:: SOT 5634112 SOS 4500487 HAS SOPS 2332139 HAS SOUS 462667 HAS SOUPS 181382 WITH SCORE 185882.487
AT ITER 2670 NEW BEST:: SOT 5634112 SOS 4500487 HAS SOPS 2332139 HAS SOUS 462579 HAS SOUPS 181294 WITH SCORE 185794.487
AT ITER 2680 NEW BEST:: SOT 5632108 SOS 4497529 HAS SOPS 2330841 HAS SOUS 462365 HAS SOUPS 181246 WITH SCORE 185743.529
AT ITER 2701 NEW BEST:: SOT 5632108 SOS 4497529 HAS SOPS 2330841 HAS SOUS 462269 HAS SOUPS 181150 WITH SCORE 185647.529
AT ITER 2707 NEW BEST:: SOT 5632108 SOS 4497529 HAS SOPS 2330841 HAS SOUS 462119 HAS SOUPS 181000 WITH SCORE 185497.529
AT ITER 2714 NEW BEST:: SOT 5631906 SOS 4497245 HAS SOPS 2330707 HAS SOUS 462090 HAS SOUPS 180986 WITH SCORE 185483.245
AT ITER 2715 NEW BEST:: SOT 5631783 SOS 4496999 HAS SOPS 2330953 HAS SOUS 461844 HAS SOUPS 180863 WITH SCORE 185359.999
AT ITER 2717 NEW BEST:: SOT 5631837 SOS 4496115 HAS SOPS 2331061 HAS SOUS 461352 HAS SOUPS 180619 WITH SCORE 185115.115
AT ITER 2719 NEW BEST:: SOT 5631837 SOS 4496115 HAS SOPS 2331061 HAS SOUS 461290 HAS SOUPS 180557 WITH SCORE 185053.115
AT ITER 2757 NEW BEST:: SOT 5631769 SOS 4495979 HAS SOPS 2330925 HAS SOUS 461243 HAS SOUPS 180510 WITH SCORE 185005.979
AT ITER 2764 NEW BEST:: SOT 5631606 SOS 4495653 HAS SOPS 2330599 HAS SOUS 461087 HAS SOUPS 180354 WITH SCORE 184849.653
AT ITER 2785 NEW BEST:: SOT 5631728 SOS 4495897 HAS SOPS 2329971 HAS SOUS 461165 HAS SOUPS 180214 WITH SCORE 184709.897
AT ITER 2805 NEW BEST:: SOT 5631422 SOS 4495285 HAS SOPS 2329359 HAS SOUS 461007 HAS SOUPS 180056 WITH SCORE 184551.285
AT ITER 2807 NEW BEST:: SOT 5631413 SOS 4495287 HAS SOPS 2329349 HAS SOUS 461001 HAS SOUPS 180049 WITH SCORE 184544.287
AT ITER 2813 NEW BEST:: SOT 5630026 SOS 4489867 HAS SOPS 2326574 HAS SOUS 460822 HAS SOUPS 180009 WITH SCORE 184498.867
AT ITER 2815 NEW BEST:: SOT 5629960 SOS 4489735 HAS SOPS 2326078 HAS SOUS 460781 HAS SOUPS 179877 WITH SCORE 184366.735
AT ITER 2821 NEW BEST:: SOT 5627951 SOS 4486130 HAS SOPS 2326078 HAS SOUS 460368 HAS SOUPS 179877 WITH SCORE 184363.13
AT ITER 2832 NEW BEST:: SOT 5627938 SOS 4486006 HAS SOPS 2325924 HAS SOUS 460345 HAS SOUPS 179849 WITH SCORE 184335.006
AT ITER 2858 NEW BEST:: SOT 5628132 SOS 4485352 HAS SOPS 2325386 HAS SOUS 460392 HAS SOUPS 179847 WITH SCORE 184332.352
AT ITER 2859 NEW BEST:: SOT 5629826 SOS 4487653 HAS SOPS 2326383 HAS SOUS 460459 HAS SOUPS 179807 WITH SCORE 184294.653
AT ITER 2904 NEW BEST:: SOT 5629373 SOS 4490087 HAS SOPS 2327481 HAS SOUS 460287 HAS SOUPS 179635 WITH SCORE 184125.087
AT ITER 2908 NEW BEST:: SOT 5628760 SOS 4489369 HAS SOPS 2326763 HAS SOUS 460215 HAS SOUPS 179563 WITH SCORE 184052.369
AT ITER 2912 NEW BEST:: SOT 5628348 SOS 4488545 HAS SOPS 2326351 HAS SOUS 460009 HAS SOUPS 179460 WITH SCORE 183948.545
AT ITER 2931 NEW BEST:: SOT 5628228 SOS 4487701 HAS SOPS 2326111 HAS SOUS 459769 HAS SOUPS 179371 WITH SCORE 183858.701
AT ITER 2932 NEW BEST:: SOT 5628174 SOS 4487593 HAS SOPS 2326291 HAS SOUS 459643 HAS SOUPS 179317 WITH SCORE 183804.593
AT ITER 2936 NEW BEST:: SOT 5627982 SOS 4487209 HAS SOPS 2326095 HAS SOUS 459447 HAS SOUPS 179121 WITH SCORE 183608.209
AT ITER 2939 NEW BEST:: SOT 5627941 SOS 4487127 HAS SOPS 2326177 HAS SOUS 459365 HAS SOUPS 179080 WITH SCORE 183567.127
AT ITER 2945 NEW BEST:: SOT 5627941 SOS 4487127 HAS SOPS 2326177 HAS SOUS 459245 HAS SOUPS 178960 WITH SCORE 183447.127
AT ITER 2948 NEW BEST:: SOT 5627941 SOS 4487127 HAS SOPS 2326177 HAS SOUS 459155 HAS SOUPS 178870 WITH SCORE 183357.127
AT ITER 2949 NEW BEST:: SOT 5625095 SOS 4483451 HAS SOPS 2323571 HAS SOUS 458939 HAS SOUPS 178592 WITH SCORE 183075.451
AT ITER 2953 NEW BEST:: SOT 5624677 SOS 4483023 HAS SOPS 2323143 HAS SOUS 458846 HAS SOUPS 178499 WITH SCORE 182982.023
AT ITER 2956 NEW BEST:: SOT 5624677 SOS 4483039 HAS SOPS 2323079 HAS SOUS 458830 HAS SOUPS 178467 WITH SCORE 182950.039
AT ITER 2959 NEW BEST:: SOT 5624677 SOS 4483039 HAS SOPS 2323079 HAS SOUS 458726 HAS SOUPS 178363 WITH SCORE 182846.039
AT ITER 2968 NEW BEST:: SOT 5624330 SOS 4482345 HAS SOPS 2322385 HAS SOUS 458706 HAS SOUPS 178343 WITH SCORE 182825.345
AT ITER 2977 NEW BEST:: SOT 5624330 SOS 4482345 HAS SOPS 2322385 HAS SOUS 458648 HAS SOUPS 178285 WITH SCORE 182767.345
AT ITER 2991 NEW BEST:: SOT 5624229 SOS 4481941 HAS SOPS 2322385 HAS SOUS 458542 HAS SOUPS 178280 WITH SCORE 182761.941
AT ITER 2998 NEW BEST:: SOT 5624229 SOS 4481941 HAS SOPS 2322385 HAS SOUS 458406 HAS SOUPS 178144 WITH SCORE 182625.941
AT ITER 2999 NEW BEST:: SOT 5624045 SOS 4481757 HAS SOPS 2322201 HAS SOUS 458390 HAS SOUPS 178128 WITH SCORE 182609.757
AT ITER 3008 NEW BEST:: SOT 5623605 SOS 4480877 HAS SOPS 2321321 HAS SOUS 457574 HAS SOUPS 177312 WITH SCORE 181792.877
AT ITER 3009 NEW BEST:: SOT 5621138 SOS 4477744 HAS SOPS 2319346 HAS SOUS 457423 HAS SOUPS 177161 WITH SCORE 181638.744
AT ITER 3020 NEW BEST:: SOT 5621143 SOS 4476834 HAS SOPS 2319356 HAS SOUS 456859 HAS SOUPS 176827 WITH SCORE 181303.834
AT ITER 3030 NEW BEST:: SOT 5621081 SOS 4476582 HAS SOPS 2319232 HAS SOUS 456735 HAS SOUPS 176735 WITH SCORE 181211.582
AT ITER 3059 NEW BEST:: SOT 5615167 SOS 4425188 HAS SOPS 2315930 HAS SOUS 456304 HAS SOUPS 176728 WITH SCORE 181153.188
AT ITER 3061 NEW BEST:: SOT 5614631 SOS 4429428 HAS SOPS 2318178 HAS SOUS 456117 HAS SOUPS 176541 WITH SCORE 180970.428
AT ITER 3064 NEW BEST:: SOT 5614337 SOS 4428840 HAS SOPS 2317002 HAS SOUS 455745 HAS SOUPS 176022 WITH SCORE 180450.84
AT ITER 3068 NEW BEST:: SOT 5614328 SOS 4428822 HAS SOPS 2316984 HAS SOUS 455745 HAS SOUPS 176022 WITH SCORE 180450.822
AT ITER 3073 NEW BEST:: SOT 5614278 SOS 4428722 HAS SOPS 2316948 HAS SOUS 455727 HAS SOUPS 176020 WITH SCORE 180448.722
AT ITER 3081 NEW BEST:: SOT 5613997 SOS 4427270 HAS SOPS 2317075 HAS SOUS 455338 HAS SOUPS 175999 WITH SCORE 180426.27
AT ITER 3174 NEW BEST:: SOT 5616829 SOS 4431046 HAS SOPS 2318491 HAS SOUS 455445 HAS SOUPS 175818 WITH SCORE 180249.046
AT ITER 3191 NEW BEST:: SOT 5615793 SOS 4430010 HAS SOPS 2317603 HAS SOUS 455445 HAS SOUPS 175818 WITH SCORE 180248.01
AT ITER 3199 NEW BEST:: SOT 5615765 SOS 4429842 HAS SOPS 2317547 HAS SOUS 455389 HAS SOUPS 175790 WITH SCORE 180219.842
AT ITER 3230 NEW BEST:: SOT 5609034 SOS 4422074 HAS SOPS 2311632 HAS SOUS 455629 HAS SOUPS 175714 WITH SCORE 180136.074
AT ITER 3294 NEW BEST:: SOT 5608831 SOS 4423372 HAS SOPS 2312362 HAS SOUS 455497 HAS SOUPS 175582 WITH SCORE 180005.372
AT ITER 3321 NEW BEST:: SOT 5608829 SOS 4423368 HAS SOPS 2312334 HAS SOUS 455489 HAS SOUPS 175568 WITH SCORE 179991.368
AT ITER 3327 NEW BEST:: SOT 5603764 SOS 4416229 HAS SOPS 2309335 HAS SOUS 454996 HAS SOUPS 175489 WITH SCORE 179905.229
AT ITER 3336 NEW BEST:: SOT 5603764 SOS 4416229 HAS SOPS 2309335 HAS SOUS 454882 HAS SOUPS 175375 WITH SCORE 179791.229
AT ITER 3348 NEW BEST:: SOT 5602132 SOS 4413930 HAS SOPS 2308161 HAS SOUS 454633 HAS SOUPS 175220 WITH SCORE 179633.93
AT ITER 3400 NEW BEST:: SOT 5601793 SOS 4413252 HAS SOPS 2308579 HAS SOUS 454308 HAS SOUPS 175169 WITH SCORE 179582.252
AT ITER 3420 NEW BEST:: SOT 5601793 SOS 4413252 HAS SOPS 2308579 HAS SOUS 454288 HAS SOUPS 175149 WITH SCORE 179562.252
AT ITER 3427 NEW BEST:: SOT 5601772 SOS 4413210 HAS SOPS 2308537 HAS SOUS 454267 HAS SOUPS 175128 WITH SCORE 179541.21
AT ITER 3429 NEW BEST:: SOT 5602342 SOS 4414355 HAS SOPS 2308873 HAS SOUS 454347 HAS SOUPS 175091 WITH SCORE 179505.355
AT ITER 3436 NEW BEST:: SOT 5601841 SOS 4413353 HAS SOPS 2308275 HAS SOUS 454153 HAS SOUPS 174897 WITH SCORE 179310.353
AT ITER 3445 NEW BEST:: SOT 5601841 SOS 4413353 HAS SOPS 2308275 HAS SOUS 454133 HAS SOUPS 174877 WITH SCORE 179290.353
AT ITER 3459 NEW BEST:: SOT 5601746 SOS 4414435 HAS SOPS 2308933 HAS SOUS 454091 HAS SOUPS 174835 WITH SCORE 179249.435
AT ITER 3468 NEW BEST:: SOT 5601437 SOS 4413069 HAS SOPS 2308315 HAS SOUS 453408 HAS SOUPS 174339 WITH SCORE 178752.069
AT ITER 3471 NEW BEST:: SOT 5601621 SOS 4412517 HAS SOPS 2307901 HAS SOUS 453454 HAS SOUPS 174339 WITH SCORE 178751.517
AT ITER 3480 NEW BEST:: SOT 5600604 SOS 4411563 HAS SOPS 2306947 HAS SOUS 453300 HAS SOUPS 174185 WITH SCORE 178596.563
AT ITER 3494 NEW BEST:: SOT 5600148 SOS 4412475 HAS SOPS 2307251 HAS SOUS 453148 HAS SOUPS 174033 WITH SCORE 178445.475
AT ITER 3511 NEW BEST:: SOT 5599954 SOS 4412087 HAS SOPS 2306863 HAS SOUS 452936 HAS SOUPS 173821 WITH SCORE 178233.087
AT ITER 3528 NEW BEST:: SOT 5599802 SOS 4411438 HAS SOPS 2306674 HAS SOUS 452570 HAS SOUPS 173570 WITH SCORE 177981.438
AT ITER 3532 NEW BEST:: SOT 5597503 SOS 4407295 HAS SOPS 2306298 HAS SOUS 451995 HAS SOUPS 173392 WITH SCORE 177799.295
AT ITER 3537 NEW BEST:: SOT 5597503 SOS 4407295 HAS SOPS 2306298 HAS SOUS 451905 HAS SOUPS 173302 WITH SCORE 177709.295
AT ITER 3556 NEW BEST:: SOT 5596663 SOS 4406455 HAS SOPS 2305578 HAS SOUS 451863 HAS SOUPS 173260 WITH SCORE 177666.455
AT ITER 3560 NEW BEST:: SOT 5596663 SOS 4406455 HAS SOPS 2305578 HAS SOUS 451785 HAS SOUPS 173182 WITH SCORE 177588.455
AT ITER 3570 NEW BEST:: SOT 5595921 SOS 4412403 HAS SOPS 2308526 HAS SOUS 451774 HAS SOUPS 173171 WITH SCORE 177583.403
AT ITER 3620 NEW BEST:: SOT 5595911 SOS 4412383 HAS SOPS 2308186 HAS SOUS 451684 HAS SOUPS 173001 WITH SCORE 177413.383
AT ITER 3630 NEW BEST:: SOT 5595881 SOS 4412423 HAS SOPS 2308166 HAS SOUS 451679 HAS SOUPS 172991 WITH SCORE 177403.423
AT ITER 3640 NEW BEST:: SOT 5592003 SOS 4407286 HAS SOPS 2304576 HAS SOUS 451875 HAS SOUPS 172966 WITH SCORE 177373.286
AT ITER 3686 NEW BEST:: SOT 5595687 SOS 4412218 HAS SOPS 2307198 HAS SOUS 451837 HAS SOUPS 172928 WITH SCORE 177340.218
AT ITER 3688 NEW BEST:: SOT 5595687 SOS 4412218 HAS SOPS 2307198 HAS SOUS 451807 HAS SOUPS 172898 WITH SCORE 177310.218
AT ITER 3694 NEW BEST:: SOT 5597155 SOS 4414062 HAS SOPS 2307932 HAS SOUS 451550 HAS SOUPS 172560 WITH SCORE 176974.062
AT ITER 3696 NEW BEST:: SOT 5597155 SOS 4414038 HAS SOPS 2307932 HAS SOUS 451536 HAS SOUPS 172552 WITH SCORE 176966.038
AT ITER 3717 NEW BEST:: SOT 5597063 SOS 4413854 HAS SOPS 2307814 HAS SOUS 451457 HAS SOUPS 172483 WITH SCORE 176896.854
AT ITER 3741 NEW BEST:: SOT 5597793 SOS 4414534 HAS SOPS 2308494 HAS SOUS 451368 HAS SOUPS 172394 WITH SCORE 176808.53399999999
AT ITER 3778 NEW BEST:: SOT 5597793 SOS 4414534 HAS SOPS 2308494 HAS SOUS 451366 HAS SOUPS 172392 WITH SCORE 176806.53399999999
AT ITER 3803 NEW BEST:: SOT 5597793 SOS 4414186 HAS SOPS 2308494 HAS SOUS 451192 HAS SOUPS 172305 WITH SCORE 176719.186
AT ITER 3816 NEW BEST:: SOT 5597704 SOS 4414008 HAS SOPS 2308316 HAS SOUS 451041 HAS SOUPS 172154 WITH SCORE 176568.008
AT ITER 3833 NEW BEST:: SOT 5597519 SOS 4413638 HAS SOPS 2307946 HAS SOUS 451011 HAS SOUPS 172124 WITH SCORE 176537.638
AT ITER 3849 NEW BEST:: SOT 5597259 SOS 4413358 HAS SOPS 2307786 HAS SOUS 451011 HAS SOUPS 172124 WITH SCORE 176537.358
AT ITER 3863 NEW BEST:: SOT 5597259 SOS 4413358 HAS SOPS 2307786 HAS SOUS 450967 HAS SOUPS 172080 WITH SCORE 176493.358
AT ITER 3865 NEW BEST:: SOT 5597379 SOS 4413518 HAS SOPS 2307846 HAS SOUS 450957 HAS SOUPS 172060 WITH SCORE 176473.518
AT ITER 3873 NEW BEST:: SOT 5597399 SOS 4413462 HAS SOPS 2307886 HAS SOUS 450929 HAS SOUPS 172056 WITH SCORE 176469.462
AT ITER 3884 NEW BEST:: SOT 5597397 SOS 4413458 HAS SOPS 2307882 HAS SOUS 450927 HAS SOUPS 172054 WITH SCORE 176467.458
AT ITER 3886 NEW BEST:: SOT 5596582 SOS 4411828 HAS SOPS 2307548 HAS SOUS 450471 HAS SOUPS 171922 WITH SCORE 176333.828
AT ITER 3887 NEW BEST:: SOT 5596602 SOS 4411868 HAS SOPS 2307588 HAS SOUS 450469 HAS SOUPS 171920 WITH SCORE 176331.868
AT ITER 3888 NEW BEST:: SOT 5596602 SOS 4411868 HAS SOPS 2307588 HAS SOUS 450256 HAS SOUPS 171707 WITH SCORE 176118.868
AT ITER 3920 NEW BEST:: SOT 5596096 SOS 4410996 HAS SOPS 2306716 HAS SOUS 450037 HAS SOUPS 171488 WITH SCORE 175898.996
AT ITER 3929 NEW BEST:: SOT 5595916 SOS 4410636 HAS SOPS 2306540 HAS SOUS 449924 HAS SOUPS 171438 WITH SCORE 175848.636
AT ITER 3931 NEW BEST:: SOT 5595916 SOS 4410636 HAS SOPS 2306540 HAS SOUS 449826 HAS SOUPS 171340 WITH SCORE 175750.636
AT ITER 3932 NEW BEST:: SOT 5595916 SOS 4410636 HAS SOPS 2306540 HAS SOUS 449778 HAS SOUPS 171292 WITH SCORE 175702.636
AT ITER 3937 NEW BEST:: SOT 5595468 SOS 4408844 HAS SOPS 2304748 HAS SOUS 449330 HAS SOUPS 170844 WITH SCORE 175252.844
AT ITER 3948 NEW BEST:: SOT 5595362 SOS 4408396 HAS SOPS 2304536 HAS SOUS 449118 HAS SOUPS 170691 WITH SCORE 175099.396
AT ITER 3956 NEW BEST:: SOT 5595194 SOS 4408508 HAS SOPS 2304368 HAS SOUS 449061 HAS SOUPS 170606 WITH SCORE 175014.508
AT ITER 3977 NEW BEST:: SOT 5594154 SOS 4407068 HAS SOPS 2303728 HAS SOUS 448981 HAS SOUPS 170606 WITH SCORE 175013.068
AT ITER 3982 NEW BEST:: SOT 5594085 SOS 4406706 HAS SOPS 2303618 HAS SOUS 448835 HAS SOUPS 170523 WITH SCORE 174929.706
AT ITER 4011 NEW BEST:: SOT 5594054 SOS 4406644 HAS SOPS 2303556 HAS SOUS 448804 HAS SOUPS 170492 WITH SCORE 174898.644
AT ITER 4029 NEW BEST:: SOT 5593741 SOS 4425080 HAS SOPS 2312931 HAS SOUS 448742 HAS SOUPS 170430 WITH SCORE 174855.08
AT ITER 4030 NEW BEST:: SOT 5593672 SOS 4424942 HAS SOPS 2312793 HAS SOUS 448668 HAS SOUPS 170356 WITH SCORE 174780.942
AT ITER 4045 NEW BEST:: SOT 5593623 SOS 4425408 HAS SOPS 2312695 HAS SOUS 448686 HAS SOUPS 170233 WITH SCORE 174658.408
AT ITER 4048 NEW BEST:: SOT 5593495 SOS 4424896 HAS SOPS 2312439 HAS SOUS 448430 HAS SOUPS 170041 WITH SCORE 174465.896
AT ITER 4058 NEW BEST:: SOT 5593212 SOS 4427326 HAS SOPS 2313501 HAS SOUS 448212 HAS SOUPS 169823 WITH SCORE 174250.326
AT ITER 4064 NEW BEST:: SOT 5593579 SOS 4422852 HAS SOPS 2311259 HAS SOUS 448021 HAS SOUPS 169818 WITH SCORE 174240.852
AT ITER 4069 NEW BEST:: SOT 5593485 SOS 4422664 HAS SOPS 2311071 HAS SOUS 447925 HAS SOUPS 169722 WITH SCORE 174144.664
AT ITER 4087 NEW BEST:: SOT 5593479 SOS 4422628 HAS SOPS 2311035 HAS SOUS 447913 HAS SOUPS 169710 WITH SCORE 174132.628
AT ITER 4109 NEW BEST:: SOT 5593452 SOS 4422595 HAS SOPS 2311005 HAS SOUS 447916 HAS SOUPS 169710 WITH SCORE 174132.595
AT ITER 4116 NEW BEST:: SOT 5590828 SOS 4419427 HAS SOPS 2309055 HAS SOUS 447842 HAS SOUPS 169636 WITH SCORE 174055.427
AT ITER 4119 NEW BEST:: SOT 5590793 SOS 4419469 HAS SOPS 2309013 HAS SOUS 447842 HAS SOUPS 169629 WITH SCORE 174048.469
AT ITER 4120 NEW BEST:: SOT 5590793 SOS 4419469 HAS SOPS 2309013 HAS SOUS 447798 HAS SOUPS 169585 WITH SCORE 174004.469
AT ITER 4123 NEW BEST:: SOT 5590793 SOS 4419469 HAS SOPS 2309013 HAS SOUS 447708 HAS SOUPS 169495 WITH SCORE 173914.469
AT ITER 4132 NEW BEST:: SOT 5590255 SOS 4418393 HAS SOPS 2309181 HAS SOUS 447341 HAS SOUPS 169439 WITH SCORE 173857.393
AT ITER 4138 NEW BEST:: SOT 5589847 SOS 4416945 HAS SOPS 2308745 HAS SOUS 446552 HAS SOUPS 168903 WITH SCORE 173319.945
AT ITER 4183 NEW BEST:: SOT 5589847 SOS 4416905 HAS SOPS 2308745 HAS SOUS 446532 HAS SOUPS 168893 WITH SCORE 173309.905
AT ITER 4186 NEW BEST:: SOT 5589729 SOS 4416265 HAS SOPS 2308509 HAS SOUS 446296 HAS SOUPS 168758 WITH SCORE 173174.265
AT ITER 4188 NEW BEST:: SOT 5588949 SOS 4415185 HAS SOPS 2308029 HAS SOUS 446176 HAS SOUPS 168698 WITH SCORE 173113.185
AT ITER 4198 NEW BEST:: SOT 5583254 SOS 4407349 HAS SOPS 2304601 HAS SOUS 445521 HAS SOUPS 168455 WITH SCORE 172862.349
AT ITER 4210 NEW BEST:: SOT 5583237 SOS 4407315 HAS SOPS 2304367 HAS SOUS 445504 HAS SOUPS 168388 WITH SCORE 172795.315
AT ITER 4247 NEW BEST:: SOT 5583065 SOS 4407022 HAS SOPS 2304367 HAS SOUS 445453 HAS SOUPS 168388 WITH SCORE 172795.022
AT ITER 4250 NEW BEST:: SOT 5582923 SOS 4406008 HAS SOPS 2304185 HAS SOUS 444895 HAS SOUPS 168038 WITH SCORE 172444.008
AT ITER 4257 NEW BEST:: SOT 5582817 SOS 4407068 HAS SOPS 2304821 HAS SOUS 444842 HAS SOUPS 167985 WITH SCORE 172392.068
AT ITER 4258 NEW BEST:: SOT 5581775 SOS 4403630 HAS SOPS 2302949 HAS SOUS 444670 HAS SOUPS 167900 WITH SCORE 172303.63
AT ITER 4287 NEW BEST:: SOT 5581775 SOS 4403630 HAS SOPS 2302949 HAS SOUS 444556 HAS SOUPS 167786 WITH SCORE 172189.63
AT ITER 4319 NEW BEST:: SOT 5581729 SOS 4403538 HAS SOPS 2302765 HAS SOUS 444487 HAS SOUPS 167694 WITH SCORE 172097.538
AT ITER 4328 NEW BEST:: SOT 5581214 SOS 4426129 HAS SOPS 2302710 HAS SOUS 444003 HAS SOUPS 167431 WITH SCORE 171857.129
AT ITER 4344 NEW BEST:: SOT 5580926 SOS 4426257 HAS SOPS 2302486 HAS SOUS 443886 HAS SOUPS 167314 WITH SCORE 171740.257
AT ITER 4345 NEW BEST:: SOT 5579830 SOS 4431933 HAS SOPS 2304046 HAS SOUS 443710 HAS SOUPS 166795 WITH SCORE 171226.933
AT ITER 4350 NEW BEST:: SOT 5579785 SOS 4431663 HAS SOPS 2303956 HAS SOUS 443530 HAS SOUPS 166660 WITH SCORE 171091.663
AT ITER 4382 NEW BEST:: SOT 5579749 SOS 4431591 HAS SOPS 2303884 HAS SOUS 443494 HAS SOUPS 166624 WITH SCORE 171055.59100000001
AT ITER 4404 NEW BEST:: SOT 5579741 SOS 4431591 HAS SOPS 2303876 HAS SOUS 443488 HAS SOUPS 166616 WITH SCORE 171047.59100000001
AT ITER 4408 NEW BEST:: SOT 5579759 SOS 4431627 HAS SOPS 2303912 HAS SOUS 443479 HAS SOUPS 166607 WITH SCORE 171038.627
AT ITER 4435 NEW BEST:: SOT 5579683 SOS 4431475 HAS SOPS 2303760 HAS SOUS 443365 HAS SOUPS 166493 WITH SCORE 170924.475
AT ITER 4438 NEW BEST:: SOT 5579643 SOS 4431395 HAS SOPS 2303848 HAS SOUS 443283 HAS SOUPS 166453 WITH SCORE 170884.395
AT ITER 4442 NEW BEST:: SOT 5579774 SOS 4407335 HAS SOPS 2279788 HAS SOUS 442966 HAS SOUPS 166136 WITH SCORE 170543.335
AT ITER 4452 NEW BEST:: SOT 5579197 SOS 4406181 HAS SOPS 2278634 HAS SOUS 442840 HAS SOUPS 166010 WITH SCORE 170416.181
AT ITER 4455 NEW BEST:: SOT 5579176 SOS 4406139 HAS SOPS 2278592 HAS SOUS 442819 HAS SOUPS 165989 WITH SCORE 170395.139
AT ITER 4467 NEW BEST:: SOT 5579176 SOS 4405683 HAS SOPS 2278136 HAS SOUS 442705 HAS SOUPS 165875 WITH SCORE 170280.683
AT ITER 4482 NEW BEST:: SOT 5579629 SOS 4398773 HAS SOPS 2273842 HAS SOUS 442586 HAS SOUPS 165756 WITH SCORE 170154.773
AT ITER 4485 NEW BEST:: SOT 5579806 SOS 4394227 HAS SOPS 2271420 HAS SOUS 442409 HAS SOUPS 165756 WITH SCORE 170150.227
AT ITER 4495 NEW BEST:: SOT 5577246 SOS 4391108 HAS SOPS 2269343 HAS SOUS 442466 HAS SOUPS 165716 WITH SCORE 170107.108
AT ITER 4499 NEW BEST:: SOT 5577030 SOS 4390676 HAS SOPS 2269343 HAS SOUS 442057 HAS SOUPS 165716 WITH SCORE 170106.676
AT ITER 4508 NEW BEST:: SOT 5575860 SOS 4386428 HAS SOPS 2267435 HAS SOUS 441797 HAS SOUPS 165586 WITH SCORE 169972.428
AT ITER 4520 NEW BEST:: SOT 5575697 SOS 4386102 HAS SOPS 2267109 HAS SOUS 441537 HAS SOUPS 165326 WITH SCORE 169712.102
AT ITER 4573 NEW BEST:: SOT 5571663 SOS 4380812 HAS SOPS 2264033 HAS SOUS 441382 HAS SOUPS 165171 WITH SCORE 169551.812
AT ITER 4615 NEW BEST:: SOT 5571539 SOS 4383476 HAS SOPS 2265449 HAS SOUS 441466 HAS SOUPS 165151 WITH SCORE 169534.476
AT ITER 4617 NEW BEST:: SOT 5571539 SOS 4383476 HAS SOPS 2265449 HAS SOUS 441430 HAS SOUPS 165115 WITH SCORE 169498.476
AT ITER 4626 NEW BEST:: SOT 5571539 SOS 4383476 HAS SOPS 2265449 HAS SOUS 441410 HAS SOUPS 165095 WITH SCORE 169478.476
AT ITER 4642 NEW BEST:: SOT 5571531 SOS 4383460 HAS SOPS 2265441 HAS SOUS 441404 HAS SOUPS 165091 WITH SCORE 169474.46
AT ITER 4653 NEW BEST:: SOT 5571531 SOS 4383460 HAS SOPS 2265441 HAS SOUS 441254 HAS SOUPS 164941 WITH SCORE 169324.46
AT ITER 4666 NEW BEST:: SOT 5570788 SOS 4386054 HAS SOPS 2266675 HAS SOUS 440861 HAS SOUPS 164548 WITH SCORE 168934.054
AT ITER 4678 NEW BEST:: SOT 5567460 SOS 4381380 HAS SOPS 2264551 HAS SOUS 440522 HAS SOUPS 164464 WITH SCORE 168845.38
AT ITER 4684 NEW BEST:: SOT 5567460 SOS 4381380 HAS SOPS 2264551 HAS SOUS 440490 HAS SOUPS 164432 WITH SCORE 168813.38
AT ITER 4705 NEW BEST:: SOT 5567287 SOS 4380866 HAS SOPS 2264037 HAS SOUS 440243 HAS SOUPS 164185 WITH SCORE 168565.866
AT ITER 4731 NEW BEST:: SOT 5566896 SOS 4380393 HAS SOPS 2263728 HAS SOUS 440180 HAS SOUPS 164122 WITH SCORE 168502.393
AT ITER 4753 NEW BEST:: SOT 5568170 SOS 4382141 HAS SOPS 2264476 HAS SOUS 440277 HAS SOUPS 164119 WITH SCORE 168501.141
AT ITER 4761 NEW BEST:: SOT 5568190 SOS 4382001 HAS SOPS 2264516 HAS SOUS 440182 HAS SOUPS 164069 WITH SCORE 168451.001
AT ITER 4764 NEW BEST:: SOT 5563124 SOS 4375744 HAS SOPS 2261389 HAS SOUS 439833 HAS SOUPS 163905 WITH SCORE 168280.744
AT ITER 4772 NEW BEST:: SOT 5558398 SOS 4369164 HAS SOPS 2258399 HAS SOUS 439356 HAS SOUPS 163787 WITH SCORE 168156.164
AT ITER 4786 NEW BEST:: SOT 5558369 SOS 4369106 HAS SOPS 2258341 HAS SOUS 439229 HAS SOUPS 163660 WITH SCORE 168029.106
AT ITER 4805 NEW BEST:: SOT 5558369 SOS 4369106 HAS SOPS 2258341 HAS SOUS 439151 HAS SOUPS 163582 WITH SCORE 167951.106
AT ITER 4833 NEW BEST:: SOT 5559534 SOS 4372530 HAS SOPS 2259587 HAS SOUS 439174 HAS SOUPS 163484 WITH SCORE 167856.53
AT ITER 4834 NEW BEST:: SOT 5559456 SOS 4372422 HAS SOPS 2259539 HAS SOUS 439162 HAS SOUPS 163478 WITH SCORE 167850.422
AT ITER 4848 NEW BEST:: SOT 5559319 SOS 4372148 HAS SOPS 2259265 HAS SOUS 439160 HAS SOUPS 163476 WITH SCORE 167848.148
AT ITER 4866 NEW BEST:: SOT 5559319 SOS 4372148 HAS SOPS 2259265 HAS SOUS 439062 HAS SOUPS 163378 WITH SCORE 167750.148
AT ITER 4871 NEW BEST:: SOT 5557313 SOS 4369816 HAS SOPS 2257911 HAS SOUS 439012 HAS SOUPS 163328 WITH SCORE 167697.816
AT ITER 4888 NEW BEST:: SOT 5558993 SOS 4372056 HAS SOPS 2258751 HAS SOUS 439079 HAS SOUPS 163255 WITH SCORE 167627.056
AT ITER 4894 NEW BEST:: SOT 5558453 SOS 4371291 HAS SOPS 2258436 HAS SOUS 439034 HAS SOUPS 163255 WITH SCORE 167626.291
AT ITER 4902 NEW BEST:: SOT 5558457 SOS 4371463 HAS SOPS 2258440 HAS SOUS 439038 HAS SOUPS 163217 WITH SCORE 167588.463
AT ITER 4936 NEW BEST:: SOT 5558412 SOS 4370948 HAS SOPS 2257925 HAS SOUS 438828 HAS SOUPS 163007 WITH SCORE 167377.948
AT ITER 4942 NEW BEST:: SOT 5558412 SOS 4370708 HAS SOPS 2257685 HAS SOUS 438828 HAS SOUPS 163007 WITH SCORE 167377.708
AT ITER 4961 NEW BEST:: SOT 5558412 SOS 4370708 HAS SOPS 2257685 HAS SOUS 438808 HAS SOUPS 162987 WITH SCORE 167357.708
AT ITER 4967 NEW BEST:: SOT 5558412 SOS 4370708 HAS SOPS 2257685 HAS SOUS 438756 HAS SOUPS 162935 WITH SCORE 167305.708
AT ITER 4969 NEW BEST:: SOT 5559476 SOS 4371772 HAS SOPS 2258215 HAS SOUS 438663 HAS SOUPS 162842 WITH SCORE 167213.772
AT ITER 4971 NEW BEST:: SOT 5557493 SOS 4369617 HAS SOPS 2257152 HAS SOUS 438663 HAS SOUPS 162842 WITH SCORE 167211.617
AT ITER 5006 NEW BEST:: SOT 5557493 SOS 4369617 HAS SOPS 2257152 HAS SOUS 438527 HAS SOUPS 162706 WITH SCORE 167075.617
AT ITER 5012 NEW BEST:: SOT 5557254 SOS 4369139 HAS SOPS 2256674 HAS SOUS 438192 HAS SOUPS 162371 WITH SCORE 166740.139
AT ITER 5022 NEW BEST:: SOT 5557285 SOS 4369170 HAS SOPS 2256705 HAS SOUS 438179 HAS SOUPS 162358 WITH SCORE 166727.17
AT ITER 5045 NEW BEST:: SOT 5557285 SOS 4369170 HAS SOPS 2256705 HAS SOUS 438075 HAS SOUPS 162254 WITH SCORE 166623.17
AT ITER 5103 NEW BEST:: SOT 5557983 SOS 4334146 HAS SOPS 2257951 HAS SOUS 437621 HAS SOUPS 162265 WITH SCORE 166599.146
AT ITER 5106 NEW BEST:: SOT 5557983 SOS 4334038 HAS SOPS 2257843 HAS SOUS 437621 HAS SOUPS 162265 WITH SCORE 166599.038
AT ITER 5119 NEW BEST:: SOT 5557869 SOS 4333924 HAS SOPS 2257729 HAS SOUS 437564 HAS SOUPS 162208 WITH SCORE 166541.924
AT ITER 5122 NEW BEST:: SOT 5557741 SOS 4333668 HAS SOPS 2257473 HAS SOUS 437436 HAS SOUPS 162080 WITH SCORE 166413.668
AT ITER 5127 NEW BEST:: SOT 5557641 SOS 4333356 HAS SOPS 2257161 HAS SOUS 437300 HAS SOUPS 161944 WITH SCORE 166277.356
AT ITER 5185 NEW BEST:: SOT 5557641 SOS 4333356 HAS SOPS 2257161 HAS SOUS 437284 HAS SOUPS 161928 WITH SCORE 166261.356
AT ITER 5187 NEW BEST:: SOT 5557979 SOS 4334032 HAS SOPS 2257161 HAS SOUS 437675 HAS SOUPS 161926 WITH SCORE 166260.032
AT ITER 5215 NEW BEST:: SOT 5558222 SOS 4334518 HAS SOPS 2258041 HAS SOUS 437470 HAS SOUPS 161918 WITH SCORE 166252.518
AT ITER 5219 NEW BEST:: SOT 5558369 SOS 4334998 HAS SOPS 2258576 HAS SOUS 437379 HAS SOUPS 161857 WITH SCORE 166191.998
AT ITER 5222 NEW BEST:: SOT 5558447 SOS 4317370 HAS SOPS 2258264 HAS SOUS 437138 HAS SOUPS 161616 WITH SCORE 165933.37
AT ITER 5227 NEW BEST:: SOT 5558413 SOS 4317370 HAS SOPS 2258264 HAS SOUS 437104 HAS SOUPS 161582 WITH SCORE 165899.37
AT ITER 5233 NEW BEST:: SOT 5558413 SOS 4317370 HAS SOPS 2258264 HAS SOUS 437044 HAS SOUPS 161522 WITH SCORE 165839.37
AT ITER 5282 NEW BEST:: SOT 5558382 SOS 4317308 HAS SOPS 2258202 HAS SOUS 437013 HAS SOUPS 161491 WITH SCORE 165808.308
AT ITER 5300 NEW BEST:: SOT 5558382 SOS 4317308 HAS SOPS 2258202 HAS SOUS 436863 HAS SOUPS 161341 WITH SCORE 165658.308
AT ITER 5309 NEW BEST:: SOT 5557508 SOS 4317740 HAS SOPS 2257544 HAS SOUS 436459 HAS SOUPS 160937 WITH SCORE 165254.74
AT ITER 5328 NEW BEST:: SOT 5557318 SOS 4318240 HAS SOPS 2257516 HAS SOUS 436490 HAS SOUPS 160924 WITH SCORE 165242.24
AT ITER 5350 NEW BEST:: SOT 5557318 SOS 4318240 HAS SOPS 2257516 HAS SOUS 436396 HAS SOUPS 160830 WITH SCORE 165148.24
AT ITER 5373 NEW BEST:: SOT 5557365 SOS 4318334 HAS SOPS 2257262 HAS SOUS 436449 HAS SOUPS 160796 WITH SCORE 165114.334
AT ITER 5374 NEW BEST:: SOT 5556121 SOS 4316926 HAS SOPS 2256394 HAS SOUS 436375 HAS SOUPS 160722 WITH SCORE 165038.926
AT ITER 5417 NEW BEST:: SOT 5556121 SOS 4316926 HAS SOPS 2256394 HAS SOUS 436345 HAS SOUPS 160692 WITH SCORE 165008.926
AT ITER 5423 NEW BEST:: SOT 5556325 SOS 4317164 HAS SOPS 2256530 HAS SOUS 436344 HAS SOUPS 160691 WITH SCORE 165008.164
AT ITER 5455 NEW BEST:: SOT 5556325 SOS 4317164 HAS SOPS 2256530 HAS SOUS 436041 HAS SOUPS 160689 WITH SCORE 165006.164
AT ITER 5465 NEW BEST:: SOT 5556325 SOS 4317164 HAS SOPS 2256530 HAS SOUS 435891 HAS SOUPS 160539 WITH SCORE 164856.164
AT ITER 5521 NEW BEST:: SOT 5556168 SOS 4316850 HAS SOPS 2256530 HAS SOUS 435986 HAS SOUPS 160539 WITH SCORE 164855.85
AT ITER 5544 NEW BEST:: SOT 5556119 SOS 4316752 HAS SOPS 2256432 HAS SOUS 435900 HAS SOUPS 160453 WITH SCORE 164769.752
AT ITER 5554 NEW BEST:: SOT 5556695 SOS 4317520 HAS SOPS 2256720 HAS SOUS 435854 HAS SOUPS 160359 WITH SCORE 164676.52
AT ITER 5560 NEW BEST:: SOT 5556811 SOS 4222280 HAS SOPS 2179036 HAS SOUS 435872 HAS SOUPS 160377 WITH SCORE 164599.28
AT ITER 5589 NEW BEST:: SOT 5556809 SOS 4222496 HAS SOPS 2179032 HAS SOUS 435815 HAS SOUPS 160265 WITH SCORE 164487.496
AT ITER 5595 NEW BEST:: SOT 5556809 SOS 4222496 HAS SOPS 2179032 HAS SOUS 435689 HAS SOUPS 160139 WITH SCORE 164361.496
AT ITER 5608 NEW BEST:: SOT 5551637 SOS 4215513 HAS SOPS 2174599 HAS SOUS 435560 HAS SOUPS 160010 WITH SCORE 164225.513
AT ITER 5614 NEW BEST:: SOT 5551177 SOS 4215049 HAS SOPS 2172899 HAS SOUS 435475 HAS SOUPS 159616 WITH SCORE 163831.049
AT ITER 5629 NEW BEST:: SOT 5551464 SOS 4214639 HAS SOPS 2172776 HAS SOUS 435475 HAS SOUPS 159616 WITH SCORE 163830.639
AT ITER 5637 NEW BEST:: SOT 5551464 SOS 4214231 HAS SOPS 2173064 HAS SOUS 435214 HAS SOUPS 159529 WITH SCORE 163743.231
AT ITER 5690 NEW BEST:: SOT 5551367 SOS 4212285 HAS SOPS 2171994 HAS SOUS 435117 HAS SOUPS 159505 WITH SCORE 163717.285
AT ITER 5696 NEW BEST:: SOT 5551380 SOS 4212350 HAS SOPS 2172007 HAS SOUS 435104 HAS SOUPS 159479 WITH SCORE 163691.35
AT ITER 5700 NEW BEST:: SOT 5551380 SOS 4212350 HAS SOPS 2172007 HAS SOUS 435096 HAS SOUPS 159471 WITH SCORE 163683.35
AT ITER 5711 NEW BEST:: SOT 5547219 SOS 4206903 HAS SOPS 2168765 HAS SOUS 434867 HAS SOUPS 159242 WITH SCORE 163448.903
AT ITER 5723 NEW BEST:: SOT 5547219 SOS 4206903 HAS SOPS 2168765 HAS SOUS 434865 HAS SOUPS 159240 WITH SCORE 163446.903
AT ITER 5727 NEW BEST:: SOT 5548961 SOS 4208687 HAS SOPS 2169529 HAS SOUS 434675 HAS SOUPS 159050 WITH SCORE 163258.687
AT ITER 5740 NEW BEST:: SOT 5548980 SOS 4208725 HAS SOPS 2169463 HAS SOUS 434689 HAS SOUPS 159038 WITH SCORE 163246.725
AT ITER 5761 NEW BEST:: SOT 5548980 SOS 4208725 HAS SOPS 2169463 HAS SOUS 434561 HAS SOUPS 158910 WITH SCORE 163118.725
AT ITER 5763 NEW BEST:: SOT 5548730 SOS 4208378 HAS SOPS 2169310 HAS SOUS 434317 HAS SOUPS 158763 WITH SCORE 162971.378
AT ITER 5771 NEW BEST:: SOT 5548558 SOS 4209754 HAS SOPS 2169998 HAS SOUS 434255 HAS SOUPS 158701 WITH SCORE 162910.754
AT ITER 5779 NEW BEST:: SOT 5548270 SOS 4209466 HAS SOPS 2169710 HAS SOUS 434183 HAS SOUPS 158629 WITH SCORE 162838.46600000001
AT ITER 5784 NEW BEST:: SOT 5548252 SOS 4209430 HAS SOPS 2169674 HAS SOUS 434165 HAS SOUPS 158611 WITH SCORE 162820.43
AT ITER 5807 NEW BEST:: SOT 5548178 SOS 4209791 HAS SOPS 2170035 HAS SOUS 434080 HAS SOUPS 158526 WITH SCORE 162735.791
AT ITER 5818 NEW BEST:: SOT 5547722 SOS 4210459 HAS SOPS 2169755 HAS SOUS 434125 HAS SOUPS 158492 WITH SCORE 162702.459
AT ITER 5857 NEW BEST:: SOT 5547762 SOS 4209576 HAS SOPS 2169884 HAS SOUS 433703 HAS SOUPS 158323 WITH SCORE 162532.576
AT ITER 5922 NEW BEST:: SOT 5547703 SOS 4209458 HAS SOPS 2169648 HAS SOUS 433605 HAS SOUPS 158225 WITH SCORE 162434.458
AT ITER 5934 NEW BEST:: SOT 5547703 SOS 4209458 HAS SOPS 2169648 HAS SOUS 433551 HAS SOUPS 158195 WITH SCORE 162404.458
AT ITER 5939 NEW BEST:: SOT 5547487 SOS 4209026 HAS SOPS 2169432 HAS SOUS 433389 HAS SOUPS 158087 WITH SCORE 162296.026
AT ITER 5951 NEW BEST:: SOT 5547551 SOS 4207450 HAS SOPS 2168768 HAS SOUS 433310 HAS SOUPS 158084 WITH SCORE 162291.45
AT ITER 5952 NEW BEST:: SOT 5547323 SOS 4206994 HAS SOPS 2168696 HAS SOUS 433178 HAS SOUPS 158048 WITH SCORE 162254.994
AT ITER 5957 NEW BEST:: SOT 5547307 SOS 4207114 HAS SOPS 2168816 HAS SOUS 433162 HAS SOUPS 158032 WITH SCORE 162239.114
AT ITER 5993 NEW BEST:: SOT 5547307 SOS 4207114 HAS SOPS 2168816 HAS SOUS 433142 HAS SOUPS 158012 WITH SCORE 162219.114
AT ITER 6020 NEW BEST:: SOT 5547351 SOS 4207202 HAS SOPS 2168816 HAS SOUS 433142 HAS SOUPS 157990 WITH SCORE 162197.202
AT ITER 6045 NEW BEST:: SOT 5547275 SOS 4206438 HAS SOPS 2168664 HAS SOUS 432799 HAS SOUPS 157800 WITH SCORE 162006.438
AT ITER 6050 NEW BEST:: SOT 5547220 SOS 4206092 HAS SOPS 2168318 HAS SOUS 432707 HAS SOUPS 157708 WITH SCORE 161914.092
AT ITER 6056 NEW BEST:: SOT 5547220 SOS 4206092 HAS SOPS 2168318 HAS SOUS 432695 HAS SOUPS 157696 WITH SCORE 161902.092
AT ITER 6059 NEW BEST:: SOT 5547136 SOS 4209228 HAS SOPS 2168178 HAS SOUS 432695 HAS SOUPS 157654 WITH SCORE 161863.228
AT ITER 6060 NEW BEST:: SOT 5547038 SOS 4209032 HAS SOPS 2167982 HAS SOUS 432567 HAS SOUPS 157526 WITH SCORE 161735.032
AT ITER 6080 NEW BEST:: SOT 5547038 SOS 4209032 HAS SOPS 2167982 HAS SOUS 432559 HAS SOUPS 157518 WITH SCORE 161727.032
AT ITER 6125 NEW BEST:: SOT 5546979 SOS 4208914 HAS SOPS 2167864 HAS SOUS 432409 HAS SOUPS 157368 WITH SCORE 161576.914
AT ITER 6134 NEW BEST:: SOT 5546955 SOS 4208818 HAS SOPS 2167768 HAS SOUS 432373 HAS SOUPS 157332 WITH SCORE 161540.818
AT ITER 6148 NEW BEST:: SOT 5546892 SOS 4208692 HAS SOPS 2167642 HAS SOUS 432247 HAS SOUPS 157206 WITH SCORE 161414.692
AT ITER 6165 NEW BEST:: SOT 5546879 SOS 4208666 HAS SOPS 2167584 HAS SOUS 432237 HAS SOUPS 157188 WITH SCORE 161396.666
AT ITER 6198 NEW BEST:: SOT 5546682 SOS 4208272 HAS SOPS 2167414 HAS SOUS 432152 HAS SOUPS 157159 WITH SCORE 161367.272
AT ITER 6199 NEW BEST:: SOT 5547003 SOS 4208914 HAS SOPS 2167504 HAS SOUS 432197 HAS SOUPS 157066 WITH SCORE 161274.914
AT ITER 6209 NEW BEST:: SOT 5546939 SOS 4208522 HAS SOPS 2167112 HAS SOUS 432133 HAS SOUPS 157002 WITH SCORE 161210.522
AT ITER 6211 NEW BEST:: SOT 5546183 SOS 4207010 HAS SOPS 2166424 HAS SOUS 431583 HAS SOUPS 156658 WITH SCORE 160865.01
AT ITER 6231 NEW BEST:: SOT 5546183 SOS 4207010 HAS SOPS 2166424 HAS SOUS 431280 HAS SOUPS 156656 WITH SCORE 160863.01
AT ITER 6260 NEW BEST:: SOT 5545731 SOS 4206498 HAS SOPS 2165912 HAS SOUS 431053 HAS SOUPS 156429 WITH SCORE 160635.498
AT ITER 6273 NEW BEST:: SOT 5545689 SOS 4206414 HAS SOPS 2165828 HAS SOUS 431011 HAS SOUPS 156387 WITH SCORE 160593.414
AT ITER 6285 NEW BEST:: SOT 5545676 SOS 4206388 HAS SOPS 2165802 HAS SOUS 430985 HAS SOUPS 156361 WITH SCORE 160567.388
AT ITER 6286 NEW BEST:: SOT 5545714 SOS 4206312 HAS SOPS 2165726 HAS SOUS 430985 HAS SOUPS 156361 WITH SCORE 160567.312
AT ITER 6291 NEW BEST:: SOT 5545322 SOS 4282388 HAS SOPS 2226514 HAS SOUS 430985 HAS SOUPS 156165 WITH SCORE 160447.388
AT ITER 6322 NEW BEST:: SOT 5545322 SOS 4282388 HAS SOPS 2226514 HAS SOUS 430940 HAS SOUPS 156120 WITH SCORE 160402.388
AT ITER 6329 NEW BEST:: SOT 5545322 SOS 4282388 HAS SOPS 2226514 HAS SOUS 430796 HAS SOUPS 155976 WITH SCORE 160258.388
AT ITER 6374 NEW BEST:: SOT 5545166 SOS 4282076 HAS SOPS 2226494 HAS SOUS 430684 HAS SOUPS 155937 WITH SCORE 160219.076
AT ITER 6391 NEW BEST:: SOT 5545078 SOS 4281966 HAS SOPS 2226384 HAS SOUS 430618 HAS SOUPS 155871 WITH SCORE 160152.96600000001
AT ITER 6394 NEW BEST:: SOT 5545078 SOS 4281966 HAS SOPS 2226384 HAS SOUS 430614 HAS SOUPS 155867 WITH SCORE 160148.96600000001
AT ITER 6400 NEW BEST:: SOT 5545185 SOS 4281961 HAS SOPS 2226379 HAS SOUS 430582 HAS SOUPS 155835 WITH SCORE 160116.961
AT ITER 6403 NEW BEST:: SOT 5545185 SOS 4281961 HAS SOPS 2226379 HAS SOUS 430574 HAS SOUPS 155827 WITH SCORE 160108.961
AT ITER 6409 NEW BEST:: SOT 5545160 SOS 4281911 HAS SOPS 2226329 HAS SOUS 430524 HAS SOUPS 155777 WITH SCORE 160058.911
AT ITER 6414 NEW BEST:: SOT 5543930 SOS 4279451 HAS SOPS 2224757 HAS SOUS 429738 HAS SOUPS 155213 WITH SCORE 159492.451
AT ITER 6428 NEW BEST:: SOT 5543213 SOS 4272905 HAS SOPS 2220767 HAS SOUS 429214 HAS SOUPS 154902 WITH SCORE 159174.905
AT ITER 6447 NEW BEST:: SOT 5543351 SOS 4273181 HAS SOPS 2220879 HAS SOUS 429188 HAS SOUPS 154835 WITH SCORE 159108.181
AT ITER 6536 NEW BEST:: SOT 5543317 SOS 4269305 HAS SOPS 2218635 HAS SOUS 428746 HAS SOUPS 154529 WITH SCORE 158798.305
AT ITER 6568 NEW BEST:: SOT 5543242 SOS 4268751 HAS SOPS 2218433 HAS SOUS 428443 HAS SOUPS 154327 WITH SCORE 158595.751
AT ITER 6588 NEW BEST:: SOT 5541876 SOS 4267243 HAS SOPS 2217537 HAS SOUS 428312 HAS SOUPS 154196 WITH SCORE 158463.243
AT ITER 6591 NEW BEST:: SOT 5541762 SOS 4268383 HAS SOPS 2218221 HAS SOUS 428255 HAS SOUPS 154139 WITH SCORE 158407.383
AT ITER 6624 NEW BEST:: SOT 5541804 SOS 4263895 HAS SOPS 2216292 HAS SOUS 428203 HAS SOUPS 154121 WITH SCORE 158384.895
AT ITER 6630 NEW BEST:: SOT 5541804 SOS 4263895 HAS SOPS 2216292 HAS SOUS 428167 HAS SOUPS 154085 WITH SCORE 158348.895
AT ITER 6657 NEW BEST:: SOT 5541804 SOS 4263895 HAS SOPS 2216292 HAS SOUS 428153 HAS SOUPS 154071 WITH SCORE 158334.895
AT ITER 6666 NEW BEST:: SOT 5541790 SOS 4263867 HAS SOPS 2216264 HAS SOUS 428135 HAS SOUPS 154053 WITH SCORE 158316.867
AT ITER 6679 NEW BEST:: SOT 5541776 SOS 4263839 HAS SOPS 2216264 HAS SOUS 428128 HAS SOUPS 154053 WITH SCORE 158316.839
AT ITER 6680 NEW BEST:: SOT 5541742 SOS 4263771 HAS SOPS 2216196 HAS SOUS 428109 HAS SOUPS 154034 WITH SCORE 158297.771
AT ITER 6682 NEW BEST:: SOT 5541742 SOS 4263771 HAS SOPS 2216196 HAS SOUS 428084 HAS SOUPS 154009 WITH SCORE 158272.771
AT ITER 6683 NEW BEST:: SOT 5541502 SOS 4260947 HAS SOPS 2214611 HAS SOUS 428004 HAS SOUPS 153929 WITH SCORE 158189.947
AT ITER 6697 NEW BEST:: SOT 5541502 SOS 4260947 HAS SOPS 2214611 HAS SOUS 427856 HAS SOUPS 153781 WITH SCORE 158041.947
AT ITER 6700 NEW BEST:: SOT 5541102 SOS 4263587 HAS SOPS 2215939 HAS SOUS 427584 HAS SOUPS 153509 WITH SCORE 157772.587
AT ITER 6704 NEW BEST:: SOT 5543521 SOS 4272294 HAS SOPS 2220506 HAS SOUS 427728 HAS SOUPS 153423 WITH SCORE 157695.294
AT ITER 6717 NEW BEST:: SOT 5543519 SOS 4272290 HAS SOPS 2220502 HAS SOUS 427687 HAS SOUPS 153382 WITH SCORE 157654.29
AT ITER 6726 NEW BEST:: SOT 5543519 SOS 4272290 HAS SOPS 2220502 HAS SOUS 427547 HAS SOUPS 153242 WITH SCORE 157514.29
AT ITER 6743 NEW BEST:: SOT 5543519 SOS 4272074 HAS SOPS 2220502 HAS SOUS 427493 HAS SOUPS 153242 WITH SCORE 157514.074
AT ITER 6774 NEW BEST:: SOT 5542365 SOS 4270697 HAS SOPS 2219646 HAS SOUS 427364 HAS SOUPS 153113 WITH SCORE 157383.697
AT ITER 6780 NEW BEST:: SOT 5542245 SOS 4270457 HAS SOPS 2219406 HAS SOUS 427244 HAS SOUPS 152993 WITH SCORE 157263.457
AT ITER 6787 NEW BEST:: SOT 5542082 SOS 4271899 HAS SOPS 2219708 HAS SOUS 427312 HAS SOUPS 152966 WITH SCORE 157237.899
AT ITER 6803 NEW BEST:: SOT 5542046 SOS 4272463 HAS SOPS 2219636 HAS SOUS 427464 HAS SOUPS 152959 WITH SCORE 157231.463
AT ITER 6843 NEW BEST:: SOT 5541751 SOS 4273337 HAS SOPS 2219442 HAS SOUS 427268 HAS SOUPS 152674 WITH SCORE 156947.337
AT ITER 6851 NEW BEST:: SOT 5541575 SOS 4280947 HAS SOPS 2218984 HAS SOUS 427222 HAS SOUPS 152546 WITH SCORE 156826.947
AT ITER 6883 NEW BEST:: SOT 5541524 SOS 4280845 HAS SOPS 2218146 HAS SOUS 427291 HAS SOUPS 152431 WITH SCORE 156711.845
AT ITER 6927 NEW BEST:: SOT 5541354 SOS 4279797 HAS SOPS 2217866 HAS SOUS 426759 HAS SOUPS 152091 WITH SCORE 156370.797
AT ITER 6938 NEW BEST:: SOT 5541080 SOS 4279521 HAS SOPS 2217590 HAS SOUS 426621 HAS SOUPS 151953 WITH SCORE 156232.521
AT ITER 6945 NEW BEST:: SOT 5540788 SOS 4278937 HAS SOPS 2217006 HAS SOUS 426130 HAS SOUPS 151462 WITH SCORE 155740.937
AT ITER 6949 NEW BEST:: SOT 5540705 SOS 4278771 HAS SOPS 2216840 HAS SOUS 426060 HAS SOUPS 151392 WITH SCORE 155670.771
AT ITER 6964 NEW BEST:: SOT 5540461 SOS 4278527 HAS SOPS 2216596 HAS SOUS 425999 HAS SOUPS 151331 WITH SCORE 155609.527
AT ITER 6993 NEW BEST:: SOT 5540395 SOS 4278395 HAS SOPS 2216464 HAS SOUS 425871 HAS SOUPS 151203 WITH SCORE 155481.395
AT ITER 7014 NEW BEST:: SOT 5540395 SOS 4278395 HAS SOPS 2216464 HAS SOUS 425837 HAS SOUPS 151169 WITH SCORE 155447.395
AT ITER 7015 NEW BEST:: SOT 5540257 SOS 4278119 HAS SOPS 2216188 HAS SOUS 425699 HAS SOUPS 151031 WITH SCORE 155309.119
AT ITER 7016 NEW BEST:: SOT 5540260 SOS 4278077 HAS SOPS 2216170 HAS SOUS 425699 HAS SOUPS 151031 WITH SCORE 155309.077
AT ITER 7020 NEW BEST:: SOT 5541172 SOS 4278989 HAS SOPS 2216398 HAS SOUS 425663 HAS SOUPS 150995 WITH SCORE 155273.989
AT ITER 7025 NEW BEST:: SOT 5541037 SOS 4278824 HAS SOPS 2216233 HAS SOUS 425438 HAS SOUPS 150770 WITH SCORE 155048.824
AT ITER 7081 NEW BEST:: SOT 5540579 SOS 4277908 HAS SOPS 2215937 HAS SOUS 425063 HAS SOUPS 150550 WITH SCORE 154827.908
AT ITER 7083 NEW BEST:: SOT 5536207 SOS 4271949 HAS SOPS 2213093 HAS SOUS 424794 HAS SOUPS 150491 WITH SCORE 154762.949
AT ITER 7111 NEW BEST:: SOT 5536251 SOS 4270980 HAS SOPS 2212652 HAS SOUS 424750 HAS SOUPS 150491 WITH SCORE 154761.98
AT ITER 7115 NEW BEST:: SOT 5536165 SOS 4270808 HAS SOPS 2212652 HAS SOUS 424707 HAS SOUPS 150491 WITH SCORE 154761.808
AT ITER 7129 NEW BEST:: SOT 5536427 SOS 4270892 HAS SOPS 2212736 HAS SOUS 424601 HAS SOUPS 150385 WITH SCORE 154655.892
AT ITER 7158 NEW BEST:: SOT 5536427 SOS 4270892 HAS SOPS 2212736 HAS SOUS 424571 HAS SOUPS 150355 WITH SCORE 154625.892
AT ITER 7185 NEW BEST:: SOT 5535881 SOS 4270136 HAS SOPS 2212400 HAS SOUS 424510 HAS SOUPS 150336 WITH SCORE 154606.136
AT ITER 7194 NEW BEST:: SOT 5535872 SOS 4270178 HAS SOPS 2212406 HAS SOUS 424507 HAS SOUPS 150330 WITH SCORE 154600.178
AT ITER 7203 NEW BEST:: SOT 5535824 SOS 4270130 HAS SOPS 2212358 HAS SOUS 424491 HAS SOUPS 150314 WITH SCORE 154584.13
AT ITER 7272 NEW BEST:: SOT 5535823 SOS 4270128 HAS SOPS 2212356 HAS SOUS 424490 HAS SOUPS 150313 WITH SCORE 154583.128
AT ITER 7275 NEW BEST:: SOT 5535749 SOS 4270054 HAS SOPS 2212282 HAS SOUS 424416 HAS SOUPS 150239 WITH SCORE 154509.054
AT ITER 7277 NEW BEST:: SOT 5536143 SOS 4270597 HAS SOPS 2212615 HAS SOUS 424360 HAS SOUPS 150183 WITH SCORE 154453.597
AT ITER 7294 NEW BEST:: SOT 5536141 SOS 4270593 HAS SOPS 2212611 HAS SOUS 424358 HAS SOUPS 150181 WITH SCORE 154451.593
AT ITER 7297 NEW BEST:: SOT 5536352 SOS 4271015 HAS SOPS 2212661 HAS SOUS 424302 HAS SOUPS 150032 WITH SCORE 154303.015
AT ITER 7332 NEW BEST:: SOT 5535633 SOS 4269577 HAS SOPS 2212155 HAS SOUS 424063 HAS SOUPS 150026 WITH SCORE 154295.577
AT ITER 7333 NEW BEST:: SOT 5535633 SOS 4269577 HAS SOPS 2212155 HAS SOUS 424029 HAS SOUPS 149992 WITH SCORE 154261.577
AT ITER 7358 NEW BEST:: SOT 5535633 SOS 4269577 HAS SOPS 2212155 HAS SOUS 424017 HAS SOUPS 149980 WITH SCORE 154249.577
AT ITER 7388 NEW BEST:: SOT 5535633 SOS 4269577 HAS SOPS 2212155 HAS SOUS 423979 HAS SOUPS 149942 WITH SCORE 154211.577
AT ITER 7391 NEW BEST:: SOT 5535643 SOS 4269577 HAS SOPS 2212155 HAS SOUS 423974 HAS SOUPS 149937 WITH SCORE 154206.577
AT ITER 7392 NEW BEST:: SOT 5535709 SOS 4269643 HAS SOPS 2212185 HAS SOUS 423962 HAS SOUPS 149925 WITH SCORE 154194.643
AT ITER 7396 NEW BEST:: SOT 5535353 SOS 4268931 HAS SOPS 2211889 HAS SOUS 423710 HAS SOUPS 149777 WITH SCORE 154045.931
AT ITER 7398 NEW BEST:: SOT 5535393 SOS 4268695 HAS SOPS 2211969 HAS SOUS 423592 HAS SOUPS 149738 WITH SCORE 154006.695
AT ITER 7418 NEW BEST:: SOT 5531313 SOS 4262890 HAS SOPS 2209524 HAS SOUS 423162 HAS SOUPS 149644 WITH SCORE 153906.89
AT ITER 7442 NEW BEST:: SOT 5531287 SOS 4263813 HAS SOPS 2209485 HAS SOUS 423136 HAS SOUPS 149618 WITH SCORE 153881.813
AT ITER 7458 NEW BEST:: SOT 5531287 SOS 4263813 HAS SOPS 2209485 HAS SOUS 423078 HAS SOUPS 149560 WITH SCORE 153823.813
AT ITER 7526 NEW BEST:: SOT 5531287 SOS 4263813 HAS SOPS 2209485 HAS SOUS 422984 HAS SOUPS 149466 WITH SCORE 153729.813
AT ITER 7527 NEW BEST:: SOT 5531863 SOS 4264389 HAS SOPS 2209773 HAS SOUS 422936 HAS SOUPS 149418 WITH SCORE 153682.389
AT ITER 7572 NEW BEST:: SOT 5531863 SOS 4264389 HAS SOPS 2209773 HAS SOUS 422904 HAS SOUPS 149386 WITH SCORE 153650.389
AT ITER 7580 NEW BEST:: SOT 5531884 SOS 4264410 HAS SOPS 2209578 HAS SOUS 422856 HAS SOUPS 149338 WITH SCORE 153602.41
AT ITER 7593 NEW BEST:: SOT 5531867 SOS 4264376 HAS SOPS 2209544 HAS SOUS 422839 HAS SOUPS 149321 WITH SCORE 153585.376
AT ITER 7598 NEW BEST:: SOT 5529972 SOS 4261810 HAS SOPS 2207445 HAS SOUS 422956 HAS SOUPS 149284 WITH SCORE 153545.81
AT ITER 7603 NEW BEST:: SOT 5531917 SOS 4268755 HAS SOPS 2210970 HAS SOUS 422998 HAS SOUPS 149136 WITH SCORE 153404.755
AT ITER 7604 NEW BEST:: SOT 5531725 SOS 4268371 HAS SOPS 2210970 HAS SOUS 422912 HAS SOUPS 149136 WITH SCORE 153404.371
AT ITER 7619 NEW BEST:: SOT 5531943 SOS 4268496 HAS SOPS 2211036 HAS SOUS 422717 HAS SOUPS 149000 WITH SCORE 153268.496
AT ITER 7631 NEW BEST:: SOT 5531544 SOS 4268138 HAS SOPS 2210678 HAS SOUS 422665 HAS SOUPS 148948 WITH SCORE 153216.138
AT ITER 7641 NEW BEST:: SOT 5531530 SOS 4268110 HAS SOPS 2210678 HAS SOUS 422658 HAS SOUPS 148948 WITH SCORE 153216.11
AT ITER 7669 NEW BEST:: SOT 5531498 SOS 4268046 HAS SOPS 2210614 HAS SOUS 422609 HAS SOUPS 148899 WITH SCORE 153167.046
AT ITER 7723 NEW BEST:: SOT 5531498 SOS 4268046 HAS SOPS 2210614 HAS SOUS 422521 HAS SOUPS 148811 WITH SCORE 153079.046
AT ITER 7742 NEW BEST:: SOT 5530874 SOS 4267386 HAS SOPS 2210266 HAS SOUS 422521 HAS SOUPS 148811 WITH SCORE 153078.386
AT ITER 7785 NEW BEST:: SOT 5530830 SOS 4267486 HAS SOPS 2210270 HAS SOUS 422514 HAS SOUPS 148796 WITH SCORE 153063.486
AT ITER 7816 NEW BEST:: SOT 5530830 SOS 4267486 HAS SOPS 2210270 HAS SOUS 422472 HAS SOUPS 148754 WITH SCORE 153021.486
AT ITER 7841 NEW BEST:: SOT 5530757 SOS 4267320 HAS SOPS 2210104 HAS SOUS 422394 HAS SOUPS 148676 WITH SCORE 152943.32
AT ITER 7871 NEW BEST:: SOT 5527691 SOS 4263380 HAS SOPS 2207486 HAS SOUS 422323 HAS SOUPS 148573 WITH SCORE 152836.38
AT ITER 7892 NEW BEST:: SOT 5532826 SOS 4267890 HAS SOPS 2211831 HAS SOUS 422247 HAS SOUPS 148478 WITH SCORE 152745.89
AT ITER 7902 NEW BEST:: SOT 5532806 SOS 4267850 HAS SOPS 2211815 HAS SOUS 422236 HAS SOUPS 148473 WITH SCORE 152740.85
AT ITER 7904 NEW BEST:: SOT 5532844 SOS 4266390 HAS SOPS 2210867 HAS SOUS 422206 HAS SOUPS 148443 WITH SCORE 152709.39
AT ITER 7933 NEW BEST:: SOT 5530150 SOS 4262690 HAS SOPS 2209157 HAS SOUS 422022 HAS SOUPS 148410 WITH SCORE 152672.69
AT ITER 7972 NEW BEST:: SOT 5530111 SOS 4262612 HAS SOPS 2209131 HAS SOUS 421996 HAS SOUPS 148397 WITH SCORE 152659.612
AT ITER 8001 NEW BEST:: SOT 5530111 SOS 4262612 HAS SOPS 2209131 HAS SOUS 421882 HAS SOUPS 148283 WITH SCORE 152545.612
AT ITER 8026 NEW BEST:: SOT 5532351 SOS 4265777 HAS SOPS 2210236 HAS SOUS 421861 HAS SOUPS 148056 WITH SCORE 152321.777
AT ITER 8045 NEW BEST:: SOT 5532386 SOS 4264971 HAS SOPS 2209742 HAS SOUS 421857 HAS SOUPS 148052 WITH SCORE 152316.971
AT ITER 8076 NEW BEST:: SOT 5532297 SOS 4264561 HAS SOPS 2209332 HAS SOUS 421709 HAS SOUPS 147904 WITH SCORE 152168.561
AT ITER 8087 NEW BEST:: SOT 5532073 SOS 4264241 HAS SOPS 2209172 HAS SOUS 421661 HAS SOUPS 147872 WITH SCORE 152136.241
AT ITER 8091 NEW BEST:: SOT 5532043 SOS 4264541 HAS SOPS 2209292 HAS SOUS 421661 HAS SOUPS 147857 WITH SCORE 152121.541
AT ITER 8094 NEW BEST:: SOT 5532087 SOS 4264629 HAS SOPS 2209044 HAS SOUS 421736 HAS SOUPS 147848 WITH SCORE 152112.629
AT ITER 8112 NEW BEST:: SOT 5531876 SOS 4171303 HAS SOPS 2133730 HAS SOUS 421388 HAS SOUPS 147549 WITH SCORE 151720.303
AT ITER 8118 NEW BEST:: SOT 5531806 SOS 4171315 HAS SOPS 2133590 HAS SOUS 421322 HAS SOUPS 147445 WITH SCORE 151616.315
AT ITER 8131 NEW BEST:: SOT 5532046 SOS 4170475 HAS SOPS 2132870 HAS SOUS 421368 HAS SOUPS 147431 WITH SCORE 151601.475
AT ITER 8136 NEW BEST:: SOT 5530797 SOS 4169034 HAS SOPS 2132005 HAS SOUS 421319 HAS SOUPS 147382 WITH SCORE 151551.03399999999
AT ITER 8139 NEW BEST:: SOT 5530797 SOS 4169034 HAS SOPS 2132005 HAS SOUS 421299 HAS SOUPS 147362 WITH SCORE 151531.03399999999
AT ITER 8172 NEW BEST:: SOT 5530797 SOS 4169034 HAS SOPS 2132005 HAS SOUS 421245 HAS SOUPS 147308 WITH SCORE 151477.03399999999
AT ITER 8181 NEW BEST:: SOT 5530255 SOS 4167950 HAS SOPS 2131551 HAS SOUS 420895 HAS SOUPS 147247 WITH SCORE 151414.95
AT ITER 8194 NEW BEST:: SOT 5529691 SOS 4166822 HAS SOPS 2130423 HAS SOUS 420754 HAS SOUPS 147106 WITH SCORE 151272.822
AT ITER 8284 NEW BEST:: SOT 5529405 SOS 4166250 HAS SOPS 2130279 HAS SOUS 420614 HAS SOUPS 147073 WITH SCORE 151239.25
AT ITER 8300 NEW BEST:: SOT 5529445 SOS 4140822 HAS SOPS 2117955 HAS SOUS 420330 HAS SOUPS 146957 WITH SCORE 151097.822
AT ITER 8333 NEW BEST:: SOT 5529034 SOS 4140411 HAS SOPS 2117778 HAS SOUS 420280 HAS SOUPS 146907 WITH SCORE 151047.411
AT ITER 8355 NEW BEST:: SOT 5529204 SOS 4140471 HAS SOPS 2117838 HAS SOUS 420170 HAS SOUPS 146797 WITH SCORE 150937.471
AT ITER 8413 NEW BEST:: SOT 5529086 SOS 4140399 HAS SOPS 2117766 HAS SOUS 420156 HAS SOUPS 146783 WITH SCORE 150923.399
AT ITER 8418 NEW BEST:: SOT 5529086 SOS 4140399 HAS SOPS 2117766 HAS SOUS 420124 HAS SOUPS 146751 WITH SCORE 150891.399
AT ITER 8427 NEW BEST:: SOT 5528637 SOS 3978957 HAS SOPS 1987426 HAS SOUS 419777 HAS SOUPS 146804 WITH SCORE 150782.957
AT ITER 8439 NEW BEST:: SOT 5528635 SOS 3978953 HAS SOPS 1987422 HAS SOUS 419775 HAS SOUPS 146802 WITH SCORE 150780.953
AT ITER 8493 NEW BEST:: SOT 5528875 SOS 3979433 HAS SOPS 1987578 HAS SOUS 419853 HAS SOUPS 146799 WITH SCORE 150778.433
AT ITER 8518 NEW BEST:: SOT 5528248 SOS 3978806 HAS SOPS 1987236 HAS SOUS 419853 HAS SOUPS 146799 WITH SCORE 150777.806
AT ITER 8525 NEW BEST:: SOT 5528106 SOS 3967517 HAS SOPS 1975947 HAS SOUS 419716 HAS SOUPS 146662 WITH SCORE 150629.517
AT ITER 8577 NEW BEST:: SOT 5527964 SOS 3966844 HAS SOPS 1975762 HAS SOUS 419564 HAS SOUPS 146632 WITH SCORE 150598.844
AT ITER 8584 NEW BEST:: SOT 5527943 SOS 3966802 HAS SOPS 1975720 HAS SOUS 419522 HAS SOUPS 146590 WITH SCORE 150556.802
AT ITER 8592 NEW BEST:: SOT 5527634 SOS 3968096 HAS SOPS 1976270 HAS SOUS 419375 HAS SOUPS 146443 WITH SCORE 150411.096
AT ITER 8621 NEW BEST:: SOT 5525008 SOS 3964359 HAS SOPS 1974513 HAS SOUS 418927 HAS SOUPS 146193 WITH SCORE 150157.359
AT ITER 8639 NEW BEST:: SOT 5525010 SOS 3964363 HAS SOPS 1974517 HAS SOUS 418897 HAS SOUPS 146163 WITH SCORE 150127.363
AT ITER 8693 NEW BEST:: SOT 5522620 SOS 3961643 HAS SOPS 1972784 HAS SOUS 418925 HAS SOUPS 146129 WITH SCORE 150090.643
AT ITER 8718 NEW BEST:: SOT 5522615 SOS 3961633 HAS SOPS 1972774 HAS SOUS 418920 HAS SOUPS 146124 WITH SCORE 150085.633
AT ITER 8734 NEW BEST:: SOT 5522615 SOS 3961633 HAS SOPS 1972774 HAS SOUS 418878 HAS SOUPS 146082 WITH SCORE 150043.633
AT ITER 8756 NEW BEST:: SOT 5522615 SOS 3961629 HAS SOPS 1972850 HAS SOUS 418858 HAS SOUPS 146082 WITH SCORE 150043.629
AT ITER 8775 NEW BEST:: SOT 5522478 SOS 3963539 HAS SOPS 1974032 HAS SOUS 418812 HAS SOUPS 146036 WITH SCORE 149999.539
AT ITER 8829 NEW BEST:: SOT 5521946 SOS 3962975 HAS SOPS 1973468 HAS SOUS 418702 HAS SOUPS 145926 WITH SCORE 149888.975
AT ITER 8831 NEW BEST:: SOT 5521359 SOS 3961801 HAS SOPS 1972686 HAS SOUS 418213 HAS SOUPS 145535 WITH SCORE 149496.801
AT ITER 8863 NEW BEST:: SOT 5521132 SOS 3973189 HAS SOPS 1973466 HAS SOUS 418183 HAS SOUPS 145369 WITH SCORE 149342.189
AT ITER 8880 NEW BEST:: SOT 5521753 SOS 3973838 HAS SOPS 1973803 HAS SOUS 418102 HAS SOUPS 145288 WITH SCORE 149261.838
AT ITER 8889 NEW BEST:: SOT 5521906 SOS 3964779 HAS SOPS 1970865 HAS SOUS 418093 HAS SOUPS 145186 WITH SCORE 149150.779
AT ITER 8908 NEW BEST:: SOT 5522282 SOS 3965531 HAS SOPS 1970777 HAS SOUS 418133 HAS SOUPS 145016 WITH SCORE 148981.531
AT ITER 8946 NEW BEST:: SOT 5522139 SOS 3965095 HAS SOPS 1970266 HAS SOUS 417994 HAS SOUPS 144877 WITH SCORE 148842.095
AT ITER 8961 NEW BEST:: SOT 5521920 SOS 3965769 HAS SOPS 1970340 HAS SOUS 417935 HAS SOUPS 144768 WITH SCORE 148733.769
AT ITER 8973 NEW BEST:: SOT 5522123 SOS 3966014 HAS SOPS 1970470 HAS SOUS 417931 HAS SOUPS 144764 WITH SCORE 148730.014
AT ITER 8976 NEW BEST:: SOT 5521441 SOS 3966218 HAS SOPS 1970290 HAS SOUS 417847 HAS SOUPS 144760 WITH SCORE 148726.218
AT ITER 8980 NEW BEST:: SOT 5520968 SOS 3965272 HAS SOPS 1969788 HAS SOUS 417689 HAS SOUPS 144713 WITH SCORE 148678.272
AT ITER 9003 NEW BEST:: SOT 5520963 SOS 3964974 HAS SOPS 1969399 HAS SOUS 417593 HAS SOUPS 144617 WITH SCORE 148581.974
AT ITER 9010 NEW BEST:: SOT 5520059 SOS 3963455 HAS SOPS 1968847 HAS SOUS 417139 HAS SOUPS 144377 WITH SCORE 148340.455
AT ITER 9015 NEW BEST:: SOT 5520056 SOS 3963449 HAS SOPS 1968565 HAS SOUS 417205 HAS SOUPS 144374 WITH SCORE 148337.449
AT ITER 9092 NEW BEST:: SOT 5519996 SOS 3964045 HAS SOPS 1968729 HAS SOUS 417222 HAS SOUPS 144355 WITH SCORE 148319.045
AT ITER 9093 NEW BEST:: SOT 5515541 SOS 3924342 HAS SOPS 1965322 HAS SOUS 417479 HAS SOUPS 144355 WITH SCORE 148279.342
AT ITER 9095 NEW BEST:: SOT 5515651 SOS 3924562 HAS SOPS 1965322 HAS SOUS 417424 HAS SOUPS 144245 WITH SCORE 148169.562
AT ITER 9101 NEW BEST:: SOT 5515651 SOS 3924562 HAS SOPS 1965322 HAS SOUS 417400 HAS SOUPS 144221 WITH SCORE 148145.562
AT ITER 9109 NEW BEST:: SOT 5514400 SOS 3919992 HAS SOPS 1963254 HAS SOUS 417122 HAS SOUPS 144082 WITH SCORE 148001.992
AT ITER 9110 NEW BEST:: SOT 5514760 SOS 3920472 HAS SOPS 1963434 HAS SOUS 417099 HAS SOUPS 144029 WITH SCORE 147949.472
AT ITER 9118 NEW BEST:: SOT 5514732 SOS 3920416 HAS SOPS 1963378 HAS SOUS 417080 HAS SOUPS 144010 WITH SCORE 147930.416
AT ITER 9169 NEW BEST:: SOT 5514732 SOS 3920416 HAS SOPS 1963378 HAS SOUS 417038 HAS SOUPS 143968 WITH SCORE 147888.416
AT ITER 9185 NEW BEST:: SOT 5514716 SOS 3920400 HAS SOPS 1963378 HAS SOUS 417038 HAS SOUPS 143968 WITH SCORE 147888.4
AT ITER 9188 NEW BEST:: SOT 5514764 SOS 3922160 HAS SOPS 1963218 HAS SOUS 417003 HAS SOUPS 143956 WITH SCORE 147878.16
AT ITER 9205 NEW BEST:: SOT 5513917 SOS 3920986 HAS SOPS 1962694 HAS SOUS 416902 HAS SOUPS 143920 WITH SCORE 147840.986
AT ITER 9210 NEW BEST:: SOT 5513911 SOS 3920974 HAS SOPS 1962694 HAS SOUS 416884 HAS SOUPS 143908 WITH SCORE 147828.974
AT ITER 9274 NEW BEST:: SOT 5513861 SOS 3920734 HAS SOPS 1962454 HAS SOUS 416819 HAS SOUPS 143843 WITH SCORE 147763.734
AT ITER 9279 NEW BEST:: SOT 5514011 SOS 3920884 HAS SOPS 1962514 HAS SOUS 416798 HAS SOUPS 143822 WITH SCORE 147742.884
AT ITER 9315 NEW BEST:: SOT 5514002 SOS 3920902 HAS SOPS 1962496 HAS SOUS 416789 HAS SOUPS 143804 WITH SCORE 147724.902
AT ITER 9330 NEW BEST:: SOT 5512166 SOS 3918454 HAS SOPS 1961578 HAS SOUS 416636 HAS SOUPS 143804 WITH SCORE 147722.454
AT ITER 9339 NEW BEST:: SOT 5512143 SOS 3918408 HAS SOPS 1961532 HAS SOUS 416613 HAS SOUPS 143781 WITH SCORE 147699.408
AT ITER 9373 NEW BEST:: SOT 5512097 SOS 3918316 HAS SOPS 1961440 HAS SOUS 416567 HAS SOUPS 143735 WITH SCORE 147653.316
AT ITER 9396 NEW BEST:: SOT 5512023 SOS 3918168 HAS SOPS 1961292 HAS SOUS 416493 HAS SOUPS 143661 WITH SCORE 147579.168
AT ITER 9398 NEW BEST:: SOT 5511944 SOS 3918010 HAS SOPS 1961134 HAS SOUS 416478 HAS SOUPS 143646 WITH SCORE 147564.01
AT ITER 9404 NEW BEST:: SOT 5511935 SOS 3918052 HAS SOPS 1961140 HAS SOUS 416475 HAS SOUPS 143640 WITH SCORE 147558.052
AT ITER 9494 NEW BEST:: SOT 5511533 SOS 3917248 HAS SOPS 1960656 HAS SOUS 416233 HAS SOUPS 143478 WITH SCORE 147395.248
AT ITER 9575 NEW BEST:: SOT 5511515 SOS 3917248 HAS SOPS 1960674 HAS SOUS 416215 HAS SOUPS 143460 WITH SCORE 147377.248
AT ITER 9592 NEW BEST:: SOT 5511513 SOS 3917244 HAS SOPS 1960662 HAS SOUS 416211 HAS SOUPS 143454 WITH SCORE 147371.244
AT ITER 9639 NEW BEST:: SOT 5511523 SOS 3917152 HAS SOPS 1960682 HAS SOUS 416175 HAS SOUPS 143446 WITH SCORE 147363.152
AT ITER 9647 NEW BEST:: SOT 5511515 SOS 3917120 HAS SOPS 1960666 HAS SOUS 416155 HAS SOUPS 143430 WITH SCORE 147347.12
AT ITER 9652 NEW BEST:: SOT 5511479 SOS 3917096 HAS SOPS 1960642 HAS SOUS 416155 HAS SOUPS 143430 WITH SCORE 147347.096
AT ITER 9654 NEW BEST:: SOT 5507855 SOS 3912332 HAS SOPS 1957576 HAS SOUS 415975 HAS SOUPS 143208 WITH SCORE 147120.332
AT ITER 9673 NEW BEST:: SOT 5507795 SOS 3912212 HAS SOPS 1957576 HAS SOUS 415945 HAS SOUPS 143208 WITH SCORE 147120.212
AT ITER 9677 NEW BEST:: SOT 5506965 SOS 3911382 HAS SOPS 1957172 HAS SOUS 415945 HAS SOUPS 143208 WITH SCORE 147119.382
AT ITER 9704 NEW BEST:: SOT 5506950 SOS 3911352 HAS SOPS 1957172 HAS SOUS 415930 HAS SOUPS 143208 WITH SCORE 147119.352
AT ITER 9758 NEW BEST:: SOT 5506950 SOS 3911352 HAS SOPS 1957172 HAS SOUS 415908 HAS SOUPS 143186 WITH SCORE 147097.352
AT ITER 9763 NEW BEST:: SOT 5506950 SOS 3911352 HAS SOPS 1957172 HAS SOUS 415826 HAS SOUPS 143104 WITH SCORE 147015.352
AT ITER 9783 NEW BEST:: SOT 5507002 SOS 3910928 HAS SOPS 1956796 HAS SOUS 415806 HAS SOUPS 143060 WITH SCORE 146970.928
AT ITER 9831 NEW BEST:: SOT 5506993 SOS 3910982 HAS SOPS 1956826 HAS SOUS 415800 HAS SOUPS 143054 WITH SCORE 146964.982
AT ITER 9845 NEW BEST:: SOT 5506993 SOS 3910982 HAS SOPS 1956826 HAS SOUS 415776 HAS SOUPS 143030 WITH SCORE 146940.982
AT ITER 9858 NEW BEST:: SOT 5506502 SOS 3910000 HAS SOPS 1956496 HAS SOUS 415489 HAS SOUPS 142906 WITH SCORE 146816.0
AT ITER 9905 NEW BEST:: SOT 5506523 SOS 3910089 HAS SOPS 1956402 HAS SOUS 415469 HAS SOUPS 142865 WITH SCORE 146775.089
AT ITER 9949 NEW BEST:: SOT 5506490 SOS 3910026 HAS SOPS 1956369 HAS SOUS 415406 HAS SOUPS 142802 WITH SCORE 146712.026
AT ITER 9984 NEW BEST:: SOT 5504499 SOS 3908035 HAS SOPS 1955464 HAS SOUS 415313 HAS SOUPS 142709 WITH SCORE 146617.035
AT ITER 9997 NEW BEST:: SOT 5504465 SOS 3907967 HAS SOPS 1955396 HAS SOUS 415232 HAS SOUPS 142628 WITH SCORE 146535.967

BK_STOP 1678435766532

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 484 Killed ${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="DLCshifumi-PT-4a"
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 DLCshifumi-PT-4a, 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 r107-tall-167814484700832"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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