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.r523-tall-167987247500064.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 Anderson-PT-11, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247500064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 6.2K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 11K Mar 23 15:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K Mar 23 15:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Mar 23 15:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Mar 23 15:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 31 16:48 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 1680825921262

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=Anderson-PT-11
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-07 00:05:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-07 00:05:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-07 00:05:23] [INFO ] Load time of PNML (sax parser for PT used): 148 ms
[2023-04-07 00:05:23] [INFO ] Transformed 749 places.
[2023-04-07 00:05:23] [INFO ] Transformed 3245 transitions.
[2023-04-07 00:05:23] [INFO ] Found NUPN structural information;
[2023-04-07 00:05:23] [INFO ] Parsed PT model containing 749 places and 3245 transitions and 12540 arcs in 236 ms.
[2023-04-07 00:05:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 749 places, 3245 transitions and 12540 arcs took 31 ms.
Total runtime 309 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 11
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: 749 places, 3245 transitions, 12540 arcs.
AT ITER 0 NEW BEST:: SOT 1440866 SOS 1254563 HAS SOPS 1254562 HAS SOUS 227386 HAS SOUPS 227385 WITH SCORE 228639.563
AT ITER 2 NEW BEST:: SOT 1440690 SOS 1254535 HAS SOPS 1254534 HAS SOUS 227245 HAS SOUPS 227244 WITH SCORE 228498.535
AT ITER 8 NEW BEST:: SOT 1440320 SOS 1254165 HAS SOPS 1254164 HAS SOUS 226716 HAS SOUPS 226715 WITH SCORE 227969.165
AT ITER 14 NEW BEST:: SOT 1440121 SOS 1254239 HAS SOPS 1254238 HAS SOUS 226544 HAS SOUPS 226543 WITH SCORE 227797.239
AT ITER 19 NEW BEST:: SOT 1439975 SOS 1254093 HAS SOPS 1254092 HAS SOUS 226380 HAS SOUPS 226379 WITH SCORE 227633.093
AT ITER 20 NEW BEST:: SOT 1439844 SOS 1253962 HAS SOPS 1253961 HAS SOUS 226260 HAS SOUPS 226259 WITH SCORE 227512.962
AT ITER 21 NEW BEST:: SOT 1439676 SOS 1251022 HAS SOPS 1251021 HAS SOUS 225918 HAS SOUPS 225917 WITH SCORE 227168.022
AT ITER 25 NEW BEST:: SOT 1437492 SOS 1246882 HAS SOPS 1246881 HAS SOUS 225814 HAS SOUPS 225813 WITH SCORE 227059.882
AT ITER 31 NEW BEST:: SOT 1437393 SOS 1246684 HAS SOPS 1246683 HAS SOUS 225715 HAS SOUPS 225714 WITH SCORE 226960.684
AT ITER 32 NEW BEST:: SOT 1437172 SOS 1246738 HAS SOPS 1246737 HAS SOUS 225483 HAS SOUPS 225482 WITH SCORE 226728.738
AT ITER 34 NEW BEST:: SOT 1437172 SOS 1244143 HAS SOPS 1244142 HAS SOUS 225467 HAS SOUPS 225466 WITH SCORE 226710.143
AT ITER 38 NEW BEST:: SOT 1437139 SOS 1244077 HAS SOPS 1244076 HAS SOUS 225414 HAS SOUPS 225413 WITH SCORE 226657.077
AT ITER 43 NEW BEST:: SOT 1436919 SOS 1243913 HAS SOPS 1243912 HAS SOUS 225191 HAS SOUPS 225190 WITH SCORE 226433.913
AT ITER 46 NEW BEST:: SOT 1436837 SOS 1243831 HAS SOPS 1243830 HAS SOUS 225076 HAS SOUPS 225075 WITH SCORE 226318.831
AT ITER 47 NEW BEST:: SOT 1436772 SOS 1243766 HAS SOPS 1243765 HAS SOUS 224967 HAS SOUPS 224966 WITH SCORE 226209.766
AT ITER 51 NEW BEST:: SOT 1436717 SOS 1243728 HAS SOPS 1243727 HAS SOUS 224923 HAS SOUPS 224922 WITH SCORE 226165.728
AT ITER 52 NEW BEST:: SOT 1415423 SOS 1291599 HAS SOPS 1291598 HAS SOUS 204304 HAS SOUPS 204303 WITH SCORE 205594.599
AT ITER 63 NEW BEST:: SOT 1415201 SOS 1291669 HAS SOPS 1291668 HAS SOUS 204078 HAS SOUPS 204077 WITH SCORE 205368.669
AT ITER 65 NEW BEST:: SOT 1415093 SOS 1291561 HAS SOPS 1291560 HAS SOUS 203930 HAS SOUPS 203929 WITH SCORE 205220.561
AT ITER 70 NEW BEST:: SOT 1415176 SOS 1291441 HAS SOPS 1291440 HAS SOUS 203893 HAS SOUPS 203892 WITH SCORE 205183.441
AT ITER 75 NEW BEST:: SOT 1415056 SOS 1291321 HAS SOPS 1291320 HAS SOUS 203708 HAS SOUPS 203707 WITH SCORE 204998.321
AT ITER 86 NEW BEST:: SOT 1414824 SOS 1291089 HAS SOPS 1291088 HAS SOUS 203396 HAS SOUPS 203395 WITH SCORE 204686.089
AT ITER 92 NEW BEST:: SOT 1414532 SOS 1290813 HAS SOPS 1290812 HAS SOUS 203024 HAS SOUPS 203023 WITH SCORE 204313.813
AT ITER 93 NEW BEST:: SOT 1414340 SOS 1290621 HAS SOPS 1290620 HAS SOUS 202753 HAS SOUPS 202752 WITH SCORE 204042.621
AT ITER 111 NEW BEST:: SOT 1414340 SOS 1290621 HAS SOPS 1290620 HAS SOUS 202731 HAS SOUPS 202730 WITH SCORE 204020.621
AT ITER 117 NEW BEST:: SOT 1414150 SOS 1290431 HAS SOPS 1290430 HAS SOUS 202541 HAS SOUPS 202540 WITH SCORE 203830.431
AT ITER 126 NEW BEST:: SOT 1414044 SOS 1290325 HAS SOPS 1290324 HAS SOUS 202329 HAS SOUPS 202328 WITH SCORE 203618.325
AT ITER 131 NEW BEST:: SOT 1413968 SOS 1290249 HAS SOPS 1290248 HAS SOUS 202253 HAS SOUPS 202252 WITH SCORE 203542.249
AT ITER 136 NEW BEST:: SOT 1413798 SOS 1290079 HAS SOPS 1290078 HAS SOUS 202044 HAS SOUPS 202043 WITH SCORE 203333.079
AT ITER 139 NEW BEST:: SOT 1413771 SOS 1290052 HAS SOPS 1290051 HAS SOUS 202006 HAS SOUPS 202005 WITH SCORE 203295.052
AT ITER 142 NEW BEST:: SOT 1413771 SOS 1289329 HAS SOPS 1289328 HAS SOUS 202006 HAS SOUPS 202005 WITH SCORE 203294.329
AT ITER 145 NEW BEST:: SOT 1409462 SOS 1284878 HAS SOPS 1284877 HAS SOUS 201979 HAS SOUPS 201978 WITH SCORE 203262.878
AT ITER 149 NEW BEST:: SOT 1409198 SOS 1284614 HAS SOPS 1284613 HAS SOUS 201590 HAS SOUPS 201589 WITH SCORE 202873.614
AT ITER 152 NEW BEST:: SOT 1409196 SOS 1284610 HAS SOPS 1284609 HAS SOUS 201588 HAS SOUPS 201587 WITH SCORE 202871.61
AT ITER 155 NEW BEST:: SOT 1408797 SOS 1284258 HAS SOPS 1284257 HAS SOUS 201020 HAS SOUPS 201019 WITH SCORE 202303.258
AT ITER 156 NEW BEST:: SOT 1408692 SOS 1284153 HAS SOPS 1284152 HAS SOUS 200810 HAS SOUPS 200809 WITH SCORE 202093.153
AT ITER 160 NEW BEST:: SOT 1408637 SOS 1284098 HAS SOPS 1284097 HAS SOUS 200700 HAS SOUPS 200699 WITH SCORE 201983.098
AT ITER 169 NEW BEST:: SOT 1408430 SOS 1284048 HAS SOPS 1284047 HAS SOUS 200394 HAS SOUPS 200393 WITH SCORE 201677.048
AT ITER 194 NEW BEST:: SOT 1408424 SOS 1284046 HAS SOPS 1284045 HAS SOUS 200392 HAS SOUPS 200391 WITH SCORE 201675.046
AT ITER 200 NEW BEST:: SOT 1407833 SOS 1283455 HAS SOPS 1283454 HAS SOUS 199801 HAS SOUPS 199800 WITH SCORE 201083.455
AT ITER 205 NEW BEST:: SOT 1407828 SOS 1283445 HAS SOPS 1283444 HAS SOUS 199791 HAS SOUPS 199790 WITH SCORE 201073.445
AT ITER 213 NEW BEST:: SOT 1407611 SOS 1283405 HAS SOPS 1283404 HAS SOUS 199565 HAS SOUPS 199564 WITH SCORE 200847.405
AT ITER 219 NEW BEST:: SOT 1407585 SOS 1283379 HAS SOPS 1283378 HAS SOUS 199539 HAS SOUPS 199538 WITH SCORE 200821.379
AT ITER 224 NEW BEST:: SOT 1407484 SOS 1283278 HAS SOPS 1283277 HAS SOUS 199337 HAS SOUPS 199336 WITH SCORE 200619.278
AT ITER 226 NEW BEST:: SOT 1407364 SOS 1283158 HAS SOPS 1283157 HAS SOUS 199118 HAS SOUPS 199117 WITH SCORE 200400.158
AT ITER 229 NEW BEST:: SOT 1407116 SOS 1282910 HAS SOPS 1282909 HAS SOUS 198746 HAS SOUPS 198745 WITH SCORE 200027.91
AT ITER 236 NEW BEST:: SOT 1407044 SOS 1282966 HAS SOPS 1282965 HAS SOUS 198672 HAS SOUPS 198671 WITH SCORE 199953.966
AT ITER 255 NEW BEST:: SOT 1407088 SOS 1283010 HAS SOPS 1283009 HAS SOUS 198642 HAS SOUPS 198641 WITH SCORE 199924.01
AT ITER 257 NEW BEST:: SOT 1406860 SOS 1282782 HAS SOPS 1282781 HAS SOUS 198331 HAS SOUPS 198330 WITH SCORE 199612.782
AT ITER 261 NEW BEST:: SOT 1406796 SOS 1282734 HAS SOPS 1282733 HAS SOUS 198243 HAS SOUPS 198242 WITH SCORE 199524.734
AT ITER 264 NEW BEST:: SOT 1406744 SOS 1282682 HAS SOPS 1282681 HAS SOUS 198165 HAS SOUPS 198164 WITH SCORE 199446.682
AT ITER 267 NEW BEST:: SOT 1406650 SOS 1282705 HAS SOPS 1282704 HAS SOUS 198065 HAS SOUPS 198064 WITH SCORE 199346.705
AT ITER 269 NEW BEST:: SOT 1406454 SOS 1282509 HAS SOPS 1282508 HAS SOUS 197869 HAS SOUPS 197868 WITH SCORE 199150.509
AT ITER 270 NEW BEST:: SOT 1406308 SOS 1282363 HAS SOPS 1282362 HAS SOUS 197654 HAS SOUPS 197653 WITH SCORE 198935.363
AT ITER 273 NEW BEST:: SOT 1406185 SOS 1282240 HAS SOPS 1282239 HAS SOUS 197443 HAS SOUPS 197442 WITH SCORE 198724.24
AT ITER 277 NEW BEST:: SOT 1406115 SOS 1282170 HAS SOPS 1282169 HAS SOUS 197346 HAS SOUPS 197345 WITH SCORE 198627.17
AT ITER 278 NEW BEST:: SOT 1406061 SOS 1282142 HAS SOPS 1282141 HAS SOUS 197262 HAS SOUPS 197261 WITH SCORE 198543.142
AT ITER 285 NEW BEST:: SOT 1406053 SOS 1282126 HAS SOPS 1282125 HAS SOUS 197148 HAS SOUPS 197147 WITH SCORE 198429.126
AT ITER 290 NEW BEST:: SOT 1407997 SOS 1284178 HAS SOPS 1284177 HAS SOUS 196824 HAS SOUPS 196823 WITH SCORE 198107.178
AT ITER 300 NEW BEST:: SOT 1407927 SOS 1284108 HAS SOPS 1284107 HAS SOUS 196743 HAS SOUPS 196742 WITH SCORE 198026.108
AT ITER 309 NEW BEST:: SOT 1407679 SOS 1283860 HAS SOPS 1283859 HAS SOUS 196416 HAS SOUPS 196415 WITH SCORE 197698.86
AT ITER 321 NEW BEST:: SOT 1407559 SOS 1284080 HAS SOPS 1284079 HAS SOUS 196396 HAS SOUPS 196395 WITH SCORE 197679.08
AT ITER 333 NEW BEST:: SOT 1405501 SOS 1282022 HAS SOPS 1282021 HAS SOUS 196298 HAS SOUPS 196297 WITH SCORE 197579.022
AT ITER 347 NEW BEST:: SOT 1405261 SOS 1281782 HAS SOPS 1281781 HAS SOUS 196025 HAS SOUPS 196024 WITH SCORE 197305.782
AT ITER 382 NEW BEST:: SOT 1405053 SOS 1281574 HAS SOPS 1281573 HAS SOUS 195713 HAS SOUPS 195712 WITH SCORE 196993.574
AT ITER 395 NEW BEST:: SOT 1405002 SOS 1281472 HAS SOPS 1281471 HAS SOUS 195563 HAS SOUPS 195562 WITH SCORE 196843.472
AT ITER 399 NEW BEST:: SOT 1404945 SOS 1281415 HAS SOPS 1281414 HAS SOUS 195449 HAS SOUPS 195448 WITH SCORE 196729.415
AT ITER 403 NEW BEST:: SOT 1404898 SOS 1281368 HAS SOPS 1281367 HAS SOUS 195355 HAS SOUPS 195354 WITH SCORE 196635.368
AT ITER 412 NEW BEST:: SOT 1404736 SOS 1281224 HAS SOPS 1281223 HAS SOUS 195121 HAS SOUPS 195120 WITH SCORE 196401.224
AT ITER 415 NEW BEST:: SOT 1404712 SOS 1281200 HAS SOPS 1281199 HAS SOUS 195097 HAS SOUPS 195096 WITH SCORE 196377.2
AT ITER 419 NEW BEST:: SOT 1404417 SOS 1281024 HAS SOPS 1281023 HAS SOUS 194670 HAS SOUPS 194669 WITH SCORE 195950.024
AT ITER 420 NEW BEST:: SOT 1404236 SOS 1280996 HAS SOPS 1280995 HAS SOUS 194497 HAS SOUPS 194496 WITH SCORE 195776.996
AT ITER 425 NEW BEST:: SOT 1404183 SOS 1280890 HAS SOPS 1280889 HAS SOUS 194434 HAS SOUPS 194433 WITH SCORE 195713.89
AT ITER 428 NEW BEST:: SOT 1404063 SOS 1280770 HAS SOPS 1280769 HAS SOUS 194254 HAS SOUPS 194253 WITH SCORE 195533.77
AT ITER 432 NEW BEST:: SOT 1404061 SOS 1280980 HAS SOPS 1280979 HAS SOUS 194250 HAS SOUPS 194249 WITH SCORE 195529.98
AT ITER 440 NEW BEST:: SOT 1404033 SOS 1280952 HAS SOPS 1280951 HAS SOUS 194194 HAS SOUPS 194193 WITH SCORE 195473.952
AT ITER 447 NEW BEST:: SOT 1404023 SOS 1280942 HAS SOPS 1280941 HAS SOUS 194174 HAS SOUPS 194173 WITH SCORE 195453.942
AT ITER 457 NEW BEST:: SOT 1402293 SOS 1279357 HAS SOPS 1279211 HAS SOUS 192537 HAS SOUPS 192443 WITH SCORE 193722.357
AT ITER 460 NEW BEST:: SOT 1402193 SOS 1279257 HAS SOPS 1279111 HAS SOUS 192378 HAS SOUPS 192284 WITH SCORE 193563.257
AT ITER 463 NEW BEST:: SOT 1402107 SOS 1279171 HAS SOPS 1279025 HAS SOUS 192283 HAS SOUPS 192189 WITH SCORE 193468.171
AT ITER 468 NEW BEST:: SOT 1402098 SOS 1279153 HAS SOPS 1279007 HAS SOUS 192265 HAS SOUPS 192171 WITH SCORE 193450.153
AT ITER 472 NEW BEST:: SOT 1402047 SOS 1279153 HAS SOPS 1279007 HAS SOUS 192205 HAS SOUPS 192111 WITH SCORE 193390.153
AT ITER 479 NEW BEST:: SOT 1401814 SOS 1279119 HAS SOPS 1278973 HAS SOUS 191882 HAS SOUPS 191788 WITH SCORE 193067.119
AT ITER 483 NEW BEST:: SOT 1401800 SOS 1279105 HAS SOPS 1278959 HAS SOUS 191861 HAS SOUPS 191767 WITH SCORE 193046.105
AT ITER 495 NEW BEST:: SOT 1401656 SOS 1278961 HAS SOPS 1278815 HAS SOUS 191645 HAS SOUPS 191551 WITH SCORE 192829.961
AT ITER 502 NEW BEST:: SOT 1401662 SOS 1278878 HAS SOPS 1278732 HAS SOUS 191568 HAS SOUPS 191474 WITH SCORE 192752.878
AT ITER 503 NEW BEST:: SOT 1401662 SOS 1278804 HAS SOPS 1278658 HAS SOUS 191568 HAS SOUPS 191474 WITH SCORE 192752.804
AT ITER 513 NEW BEST:: SOT 1401633 SOS 1278746 HAS SOPS 1278600 HAS SOUS 191529 HAS SOUPS 191435 WITH SCORE 192713.746
AT ITER 525 NEW BEST:: SOT 1401583 SOS 1278696 HAS SOPS 1278550 HAS SOUS 191488 HAS SOUPS 191394 WITH SCORE 192672.696
AT ITER 526 NEW BEST:: SOT 1401515 SOS 1278560 HAS SOPS 1278414 HAS SOUS 191476 HAS SOUPS 191382 WITH SCORE 192660.56
AT ITER 538 NEW BEST:: SOT 1401509 SOS 1278427 HAS SOPS 1278281 HAS SOUS 191343 HAS SOUPS 191249 WITH SCORE 192527.427
AT ITER 547 NEW BEST:: SOT 1401244 SOS 1278305 HAS SOPS 1278159 HAS SOUS 190989 HAS SOUPS 190895 WITH SCORE 192173.305
AT ITER 558 NEW BEST:: SOT 1401223 SOS 1278263 HAS SOPS 1278117 HAS SOUS 190947 HAS SOUPS 190853 WITH SCORE 192131.263
AT ITER 559 NEW BEST:: SOT 1401169 SOS 1278155 HAS SOPS 1278009 HAS SOUS 190883 HAS SOUPS 190789 WITH SCORE 192067.155
AT ITER 571 NEW BEST:: SOT 1401073 SOS 1278235 HAS SOPS 1278089 HAS SOUS 190851 HAS SOUPS 190757 WITH SCORE 192035.235
AT ITER 599 NEW BEST:: SOT 1401083 SOS 1278245 HAS SOPS 1278099 HAS SOUS 190838 HAS SOUPS 190744 WITH SCORE 192022.245
AT ITER 609 NEW BEST:: SOT 1401062 SOS 1278203 HAS SOPS 1278057 HAS SOUS 190796 HAS SOUPS 190702 WITH SCORE 191980.203
AT ITER 630 NEW BEST:: SOT 1400964 SOS 1278105 HAS SOPS 1277959 HAS SOUS 190600 HAS SOUPS 190506 WITH SCORE 191784.105
AT ITER 662 NEW BEST:: SOT 1400960 SOS 1278101 HAS SOPS 1277955 HAS SOUS 190526 HAS SOUPS 190432 WITH SCORE 191710.101
AT ITER 664 NEW BEST:: SOT 1400951 SOS 1278092 HAS SOPS 1277946 HAS SOUS 190517 HAS SOUPS 190423 WITH SCORE 191701.092
AT ITER 671 NEW BEST:: SOT 1400955 SOS 1278100 HAS SOPS 1277954 HAS SOUS 190501 HAS SOUPS 190407 WITH SCORE 191685.1
AT ITER 672 NEW BEST:: SOT 1400178 SOS 1277323 HAS SOPS 1277177 HAS SOUS 190464 HAS SOUPS 190370 WITH SCORE 191647.323
AT ITER 674 NEW BEST:: SOT 1399975 SOS 1277120 HAS SOPS 1276974 HAS SOUS 190159 HAS SOUPS 190065 WITH SCORE 191342.12
AT ITER 675 NEW BEST:: SOT 1399695 SOS 1276840 HAS SOPS 1276694 HAS SOUS 189739 HAS SOUPS 189645 WITH SCORE 190921.84
AT ITER 691 NEW BEST:: SOT 1400710 SOS 1277911 HAS SOPS 1277765 HAS SOUS 189578 HAS SOUPS 189484 WITH SCORE 190761.911
AT ITER 695 NEW BEST:: SOT 1400686 SOS 1277887 HAS SOPS 1277741 HAS SOUS 189487 HAS SOUPS 189393 WITH SCORE 190670.887
AT ITER 709 NEW BEST:: SOT 1400584 SOS 1277785 HAS SOPS 1277639 HAS SOUS 189334 HAS SOUPS 189240 WITH SCORE 190517.785
AT ITER 729 NEW BEST:: SOT 1400546 SOS 1277747 HAS SOPS 1277601 HAS SOUS 189258 HAS SOUPS 189164 WITH SCORE 190441.747
AT ITER 751 NEW BEST:: SOT 1400491 SOS 1277692 HAS SOPS 1277546 HAS SOUS 189148 HAS SOUPS 189054 WITH SCORE 190331.692
AT ITER 756 NEW BEST:: SOT 1400431 SOS 1277632 HAS SOPS 1277486 HAS SOUS 189028 HAS SOUPS 188934 WITH SCORE 190211.632
AT ITER 766 NEW BEST:: SOT 1400332 SOS 1277632 HAS SOPS 1277486 HAS SOUS 188929 HAS SOUPS 188835 WITH SCORE 190112.632
AT ITER 767 NEW BEST:: SOT 1400264 SOS 1277496 HAS SOPS 1277350 HAS SOUS 188861 HAS SOUPS 188767 WITH SCORE 190044.496
AT ITER 782 NEW BEST:: SOT 1400144 SOS 1277256 HAS SOPS 1277110 HAS SOUS 188649 HAS SOUPS 188555 WITH SCORE 189832.256
AT ITER 784 NEW BEST:: SOT 1400067 SOS 1277256 HAS SOPS 1277110 HAS SOUS 188572 HAS SOUPS 188478 WITH SCORE 189755.256
AT ITER 785 NEW BEST:: SOT 1399926 SOS 1277184 HAS SOPS 1277038 HAS SOUS 188420 HAS SOUPS 188326 WITH SCORE 189603.184
AT ITER 790 NEW BEST:: SOT 1399813 SOS 1277071 HAS SOPS 1276925 HAS SOUS 188285 HAS SOUPS 188191 WITH SCORE 189468.071
AT ITER 807 NEW BEST:: SOT 1399633 SOS 1277089 HAS SOPS 1276943 HAS SOUS 188071 HAS SOUPS 187977 WITH SCORE 189254.089
AT ITER 809 NEW BEST:: SOT 1399410 SOS 1276989 HAS SOPS 1276843 HAS SOUS 187748 HAS SOUPS 187654 WITH SCORE 188930.989
AT ITER 815 NEW BEST:: SOT 1399266 SOS 1276845 HAS SOPS 1276699 HAS SOUS 187532 HAS SOUPS 187438 WITH SCORE 188714.845
AT ITER 830 NEW BEST:: SOT 1399164 SOS 1277197 HAS SOPS 1277051 HAS SOUS 187480 HAS SOUPS 187386 WITH SCORE 188663.197
AT ITER 843 NEW BEST:: SOT 1399054 SOS 1277087 HAS SOPS 1276941 HAS SOUS 187315 HAS SOUPS 187221 WITH SCORE 188498.087
AT ITER 849 NEW BEST:: SOT 1398940 SOS 1277087 HAS SOPS 1276941 HAS SOUS 187191 HAS SOUPS 187097 WITH SCORE 188374.087
AT ITER 867 NEW BEST:: SOT 1398820 SOS 1277099 HAS SOPS 1276953 HAS SOUS 187077 HAS SOUPS 186983 WITH SCORE 188260.099
AT ITER 868 NEW BEST:: SOT 1398780 SOS 1277059 HAS SOPS 1276913 HAS SOUS 187017 HAS SOUPS 186923 WITH SCORE 188200.059
AT ITER 869 NEW BEST:: SOT 1398743 SOS 1277261 HAS SOPS 1277115 HAS SOUS 186980 HAS SOUPS 186886 WITH SCORE 188163.261
AT ITER 873 NEW BEST:: SOT 1398578 SOS 1277319 HAS SOPS 1277173 HAS SOUS 186782 HAS SOUPS 186688 WITH SCORE 187965.319
AT ITER 874 NEW BEST:: SOT 1398520 SOS 1277417 HAS SOPS 1277271 HAS SOUS 186700 HAS SOUPS 186606 WITH SCORE 187883.417
AT ITER 876 NEW BEST:: SOT 1398523 SOS 1277420 HAS SOPS 1277274 HAS SOUS 186690 HAS SOUPS 186596 WITH SCORE 187873.42
AT ITER 880 NEW BEST:: SOT 1398451 SOS 1277276 HAS SOPS 1277130 HAS SOUS 186633 HAS SOUPS 186539 WITH SCORE 187816.276
AT ITER 923 NEW BEST:: SOT 1398451 SOS 1277248 HAS SOPS 1277102 HAS SOUS 186633 HAS SOUPS 186539 WITH SCORE 187816.248
AT ITER 935 NEW BEST:: SOT 1398343 SOS 1277032 HAS SOPS 1276886 HAS SOUS 186463 HAS SOUPS 186369 WITH SCORE 187646.032
AT ITER 944 NEW BEST:: SOT 1398262 SOS 1276870 HAS SOPS 1276724 HAS SOUS 186314 HAS SOUPS 186220 WITH SCORE 187496.87
AT ITER 945 NEW BEST:: SOT 1398146 SOS 1276388 HAS SOPS 1276242 HAS SOUS 186111 HAS SOUPS 186017 WITH SCORE 187293.388
AT ITER 950 NEW BEST:: SOT 1397918 SOS 1276412 HAS SOPS 1276266 HAS SOUS 185799 HAS SOUPS 185705 WITH SCORE 186981.412
AT ITER 956 NEW BEST:: SOT 1397880 SOS 1276412 HAS SOPS 1276266 HAS SOUS 185761 HAS SOUPS 185667 WITH SCORE 186943.412
AT ITER 970 NEW BEST:: SOT 1397826 SOS 1276438 HAS SOPS 1276292 HAS SOUS 185733 HAS SOUPS 185639 WITH SCORE 186915.438
AT ITER 989 NEW BEST:: SOT 1397763 SOS 1276375 HAS SOPS 1276229 HAS SOUS 185628 HAS SOUPS 185534 WITH SCORE 186810.375
AT ITER 997 NEW BEST:: SOT 1395189 SOS 1273727 HAS SOPS 1273262 HAS SOUS 183000 HAS SOUPS 182587 WITH SCORE 183860.727
AT ITER 1005 NEW BEST:: SOT 1395181 SOS 1273719 HAS SOPS 1273254 HAS SOUS 182988 HAS SOUPS 182575 WITH SCORE 183848.719
AT ITER 1010 NEW BEST:: SOT 1395171 SOS 1273709 HAS SOPS 1273244 HAS SOUS 182986 HAS SOUPS 182573 WITH SCORE 183846.709
AT ITER 1019 NEW BEST:: SOT 1395119 SOS 1273657 HAS SOPS 1273192 HAS SOUS 182934 HAS SOUPS 182521 WITH SCORE 183794.657
AT ITER 1023 NEW BEST:: SOT 1395119 SOS 1273595 HAS SOPS 1273130 HAS SOUS 182934 HAS SOUPS 182521 WITH SCORE 183794.595
AT ITER 1033 NEW BEST:: SOT 1395097 SOS 1273919 HAS SOPS 1273454 HAS SOUS 182920 HAS SOUPS 182507 WITH SCORE 183780.919
AT ITER 1055 NEW BEST:: SOT 1394949 SOS 1273771 HAS SOPS 1273306 HAS SOUS 182714 HAS SOUPS 182301 WITH SCORE 183574.771
AT ITER 1070 NEW BEST:: SOT 1394805 SOS 1273627 HAS SOPS 1273162 HAS SOUS 182498 HAS SOUPS 182085 WITH SCORE 183358.627
AT ITER 1097 NEW BEST:: SOT 1394759 SOS 1273535 HAS SOPS 1273070 HAS SOUS 182443 HAS SOUPS 182030 WITH SCORE 183303.535
AT ITER 1109 NEW BEST:: SOT 1394716 SOS 1273535 HAS SOPS 1273070 HAS SOUS 182390 HAS SOUPS 181977 WITH SCORE 183250.535
AT ITER 1119 NEW BEST:: SOT 1394602 SOS 1273421 HAS SOPS 1272956 HAS SOUS 182230 HAS SOUPS 181817 WITH SCORE 183090.421
AT ITER 1120 NEW BEST:: SOT 1394516 SOS 1273335 HAS SOPS 1272870 HAS SOUS 182103 HAS SOUPS 181690 WITH SCORE 182963.335
AT ITER 1128 NEW BEST:: SOT 1394396 SOS 1273215 HAS SOPS 1272750 HAS SOUS 181971 HAS SOUPS 181558 WITH SCORE 182831.215
AT ITER 1136 NEW BEST:: SOT 1394334 SOS 1273091 HAS SOPS 1272626 HAS SOUS 181878 HAS SOUPS 181465 WITH SCORE 182738.091
AT ITER 1140 NEW BEST:: SOT 1394356 SOS 1273135 HAS SOPS 1272670 HAS SOUS 181830 HAS SOUPS 181417 WITH SCORE 182690.135
AT ITER 1142 NEW BEST:: SOT 1394356 SOS 1273101 HAS SOPS 1272636 HAS SOUS 181830 HAS SOUPS 181417 WITH SCORE 182690.101
AT ITER 1153 NEW BEST:: SOT 1394310 SOS 1273255 HAS SOPS 1272790 HAS SOUS 181828 HAS SOUPS 181415 WITH SCORE 182688.255
AT ITER 1183 NEW BEST:: SOT 1394263 SOS 1273343 HAS SOPS 1272878 HAS SOUS 181781 HAS SOUPS 181368 WITH SCORE 182641.343
AT ITER 1192 NEW BEST:: SOT 1394254 SOS 1273325 HAS SOPS 1272860 HAS SOUS 181763 HAS SOUPS 181350 WITH SCORE 182623.325
AT ITER 1205 NEW BEST:: SOT 1394254 SOS 1273319 HAS SOPS 1272854 HAS SOUS 181763 HAS SOUPS 181350 WITH SCORE 182623.319
AT ITER 1208 NEW BEST:: SOT 1394205 SOS 1273270 HAS SOPS 1272805 HAS SOUS 181657 HAS SOUPS 181244 WITH SCORE 182517.27
AT ITER 1209 NEW BEST:: SOT 1394228 SOS 1273293 HAS SOPS 1272828 HAS SOUS 181621 HAS SOUPS 181208 WITH SCORE 182481.293
AT ITER 1210 NEW BEST:: SOT 1394173 SOS 1273183 HAS SOPS 1272718 HAS SOUS 181542 HAS SOUPS 181129 WITH SCORE 182402.183
AT ITER 1215 NEW BEST:: SOT 1394087 SOS 1273097 HAS SOPS 1272632 HAS SOUS 181373 HAS SOUPS 180960 WITH SCORE 182233.097
AT ITER 1244 NEW BEST:: SOT 1393980 SOS 1273073 HAS SOPS 1272608 HAS SOUS 181254 HAS SOUPS 180841 WITH SCORE 182114.073
AT ITER 1248 NEW BEST:: SOT 1393936 SOS 1273073 HAS SOPS 1272608 HAS SOUS 181210 HAS SOUPS 180797 WITH SCORE 182070.073
AT ITER 1256 NEW BEST:: SOT 1393536 SOS 1272673 HAS SOPS 1272208 HAS SOUS 180630 HAS SOUPS 180217 WITH SCORE 181489.673
AT ITER 1258 NEW BEST:: SOT 1393521 SOS 1272658 HAS SOPS 1272193 HAS SOUS 180585 HAS SOUPS 180172 WITH SCORE 181444.658
AT ITER 1268 NEW BEST:: SOT 1393502 SOS 1272639 HAS SOPS 1272174 HAS SOUS 180522 HAS SOUPS 180109 WITH SCORE 181381.639
AT ITER 1273 NEW BEST:: SOT 1393471 SOS 1272608 HAS SOPS 1272143 HAS SOUS 180500 HAS SOUPS 180087 WITH SCORE 181359.608
AT ITER 1292 NEW BEST:: SOT 1393471 SOS 1272608 HAS SOPS 1272143 HAS SOUS 180424 HAS SOUPS 180011 WITH SCORE 181283.608
AT ITER 1298 NEW BEST:: SOT 1393192 SOS 1234566 HAS SOPS 1234101 HAS SOUS 180023 HAS SOUPS 179610 WITH SCORE 180844.566
AT ITER 1307 NEW BEST:: SOT 1393122 SOS 1234426 HAS SOPS 1233961 HAS SOUS 179883 HAS SOUPS 179470 WITH SCORE 180704.426
AT ITER 1323 NEW BEST:: SOT 1393013 SOS 1234317 HAS SOPS 1233852 HAS SOUS 179763 HAS SOUPS 179350 WITH SCORE 180584.317
AT ITER 1324 NEW BEST:: SOT 1392920 SOS 1234224 HAS SOPS 1233759 HAS SOUS 179577 HAS SOUPS 179164 WITH SCORE 180398.224
AT ITER 1325 NEW BEST:: SOT 1392864 SOS 1234168 HAS SOPS 1233703 HAS SOUS 179504 HAS SOUPS 179091 WITH SCORE 180325.168
AT ITER 1326 NEW BEST:: SOT 1392769 SOS 1234074 HAS SOPS 1233609 HAS SOUS 179362 HAS SOUPS 178949 WITH SCORE 180183.074
AT ITER 1330 NEW BEST:: SOT 1392769 SOS 1234074 HAS SOPS 1233609 HAS SOUS 179340 HAS SOUPS 178927 WITH SCORE 180161.074
AT ITER 1344 NEW BEST:: SOT 1392668 SOS 1233973 HAS SOPS 1233508 HAS SOUS 179138 HAS SOUPS 178725 WITH SCORE 179958.973
AT ITER 1348 NEW BEST:: SOT 1392667 SOS 1233971 HAS SOPS 1233506 HAS SOUS 179136 HAS SOUPS 178723 WITH SCORE 179956.971
AT ITER 1368 NEW BEST:: SOT 1392598 SOS 1233833 HAS SOPS 1233368 HAS SOUS 179058 HAS SOUPS 178645 WITH SCORE 179878.833
AT ITER 1370 NEW BEST:: SOT 1392576 SOS 1233811 HAS SOPS 1233346 HAS SOUS 179014 HAS SOUPS 178601 WITH SCORE 179834.811
AT ITER 1371 NEW BEST:: SOT 1392279 SOS 1233543 HAS SOPS 1233078 HAS SOUS 178583 HAS SOUPS 178170 WITH SCORE 179403.543
AT ITER 1386 NEW BEST:: SOT 1392279 SOS 1233543 HAS SOPS 1233078 HAS SOUS 178566 HAS SOUPS 178153 WITH SCORE 179386.543
AT ITER 1390 NEW BEST:: SOT 1392107 SOS 1233583 HAS SOPS 1233118 HAS SOUS 178407 HAS SOUPS 177994 WITH SCORE 179227.583
AT ITER 1402 NEW BEST:: SOT 1392107 SOS 1233455 HAS SOPS 1232990 HAS SOUS 178407 HAS SOUPS 177994 WITH SCORE 179227.455
AT ITER 1420 NEW BEST:: SOT 1392089 SOS 1233437 HAS SOPS 1232972 HAS SOUS 178371 HAS SOUPS 177958 WITH SCORE 179191.437
AT ITER 1437 NEW BEST:: SOT 1392007 SOS 1233355 HAS SOPS 1232890 HAS SOUS 178207 HAS SOUPS 177794 WITH SCORE 179027.355
AT ITER 1448 NEW BEST:: SOT 1391983 SOS 1233331 HAS SOPS 1232866 HAS SOUS 178159 HAS SOUPS 177746 WITH SCORE 178979.331
AT ITER 1461 NEW BEST:: SOT 1391981 SOS 1233329 HAS SOPS 1232864 HAS SOUS 178157 HAS SOUPS 177744 WITH SCORE 178977.329
AT ITER 1467 NEW BEST:: SOT 1391367 SOS 1232949 HAS SOPS 1232250 HAS SOUS 177636 HAS SOUPS 177106 WITH SCORE 178338.949
AT ITER 1475 NEW BEST:: SOT 1391312 SOS 1232894 HAS SOPS 1232195 HAS SOUS 177516 HAS SOUPS 176986 WITH SCORE 178218.894
AT ITER 1486 NEW BEST:: SOT 1391307 SOS 1232889 HAS SOPS 1232190 HAS SOUS 177506 HAS SOUPS 176976 WITH SCORE 178208.889
AT ITER 1520 NEW BEST:: SOT 1391247 SOS 1232769 HAS SOPS 1232070 HAS SOUS 177366 HAS SOUPS 176836 WITH SCORE 178068.769
AT ITER 1524 NEW BEST:: SOT 1391216 SOS 1232738 HAS SOPS 1232039 HAS SOUS 177304 HAS SOUPS 176774 WITH SCORE 178006.738
AT ITER 1542 NEW BEST:: SOT 1391166 SOS 1232688 HAS SOPS 1231989 HAS SOUS 177204 HAS SOUPS 176674 WITH SCORE 177906.688
AT ITER 1543 NEW BEST:: SOT 1391130 SOS 1232652 HAS SOPS 1232059 HAS SOUS 177072 HAS SOUPS 176648 WITH SCORE 177880.652
AT ITER 1547 NEW BEST:: SOT 1391018 SOS 1232540 HAS SOPS 1231947 HAS SOUS 176904 HAS SOUPS 176480 WITH SCORE 177712.54
AT ITER 1558 NEW BEST:: SOT 1390999 SOS 1232502 HAS SOPS 1231909 HAS SOUS 176866 HAS SOUPS 176442 WITH SCORE 177674.502
AT ITER 1577 NEW BEST:: SOT 1390964 SOS 1232488 HAS SOPS 1231895 HAS SOUS 176824 HAS SOUPS 176400 WITH SCORE 177632.488
AT ITER 1603 NEW BEST:: SOT 1390866 SOS 1232390 HAS SOPS 1231797 HAS SOUS 176622 HAS SOUPS 176198 WITH SCORE 177430.39
AT ITER 1613 NEW BEST:: SOT 1390862 SOS 1232386 HAS SOPS 1231793 HAS SOUS 176614 HAS SOUPS 176190 WITH SCORE 177422.386
AT ITER 1619 NEW BEST:: SOT 1390894 SOS 1232040 HAS SOPS 1231447 HAS SOUS 176555 HAS SOUPS 176131 WITH SCORE 177363.04
AT ITER 1626 NEW BEST:: SOT 1390919 SOS 1231822 HAS SOPS 1231229 HAS SOUS 176544 HAS SOUPS 176120 WITH SCORE 177351.822
AT ITER 1647 NEW BEST:: SOT 1390807 SOS 1231710 HAS SOPS 1231117 HAS SOUS 176376 HAS SOUPS 175952 WITH SCORE 177183.71
AT ITER 1651 NEW BEST:: SOT 1390744 SOS 1231647 HAS SOPS 1231054 HAS SOUS 176193 HAS SOUPS 175769 WITH SCORE 177000.647
AT ITER 1662 NEW BEST:: SOT 1390733 SOS 1231636 HAS SOPS 1231043 HAS SOUS 176182 HAS SOUPS 175758 WITH SCORE 176989.636
AT ITER 1666 NEW BEST:: SOT 1390719 SOS 1231738 HAS SOPS 1231015 HAS SOUS 176284 HAS SOUPS 175730 WITH SCORE 176961.738
AT ITER 1669 NEW BEST:: SOT 1388094 SOS 1229113 HAS SOPS 1228390 HAS SOUS 176149 HAS SOUPS 175595 WITH SCORE 176824.113
AT ITER 1681 NEW BEST:: SOT 1388079 SOS 1229098 HAS SOPS 1228375 HAS SOUS 176119 HAS SOUPS 175565 WITH SCORE 176794.098
AT ITER 1684 NEW BEST:: SOT 1387938 SOS 1228816 HAS SOPS 1228093 HAS SOUS 175944 HAS SOUPS 175390 WITH SCORE 176618.816
AT ITER 1688 NEW BEST:: SOT 1387918 SOS 1229232 HAS SOPS 1228509 HAS SOUS 175934 HAS SOUPS 175380 WITH SCORE 176609.232
AT ITER 1692 NEW BEST:: SOT 1387806 SOS 1229120 HAS SOPS 1228397 HAS SOUS 175766 HAS SOUPS 175212 WITH SCORE 176441.12
AT ITER 1697 NEW BEST:: SOT 1387654 SOS 1229404 HAS SOPS 1228681 HAS SOUS 175581 HAS SOUPS 175027 WITH SCORE 176256.404
AT ITER 1704 NEW BEST:: SOT 1387516 SOS 1229612 HAS SOPS 1228889 HAS SOUS 175358 HAS SOUPS 174804 WITH SCORE 176033.612
AT ITER 1722 NEW BEST:: SOT 1387490 SOS 1229560 HAS SOPS 1228837 HAS SOUS 175316 HAS SOUPS 174762 WITH SCORE 175991.56
AT ITER 1723 NEW BEST:: SOT 1387440 SOS 1229510 HAS SOPS 1228787 HAS SOUS 175266 HAS SOUPS 174712 WITH SCORE 175941.51
AT ITER 1756 NEW BEST:: SOT 1387366 SOS 1229436 HAS SOPS 1228713 HAS SOUS 175216 HAS SOUPS 174662 WITH SCORE 175891.436
AT ITER 1765 NEW BEST:: SOT 1384846 SOS 1226796 HAS SOPS 1226193 HAS SOUS 175052 HAS SOUPS 174618 WITH SCORE 175844.796
AT ITER 1770 NEW BEST:: SOT 1384652 SOS 1226408 HAS SOPS 1225805 HAS SOUS 174778 HAS SOUPS 174344 WITH SCORE 175570.408
AT ITER 1779 NEW BEST:: SOT 1384601 SOS 1226424 HAS SOPS 1225821 HAS SOUS 174676 HAS SOUPS 174242 WITH SCORE 175468.424
AT ITER 1788 NEW BEST:: SOT 1384495 SOS 1226412 HAS SOPS 1225809 HAS SOUS 174564 HAS SOUPS 174130 WITH SCORE 175356.412
AT ITER 1789 NEW BEST:: SOT 1384448 SOS 1226318 HAS SOPS 1225715 HAS SOUS 174517 HAS SOUPS 174083 WITH SCORE 175309.318
AT ITER 1797 NEW BEST:: SOT 1384448 SOS 1226318 HAS SOPS 1225715 HAS SOUS 174461 HAS SOUPS 174027 WITH SCORE 175253.318
AT ITER 1798 NEW BEST:: SOT 1384448 SOS 1226252 HAS SOPS 1225649 HAS SOUS 174461 HAS SOUPS 174027 WITH SCORE 175253.252
AT ITER 1811 NEW BEST:: SOT 1384390 SOS 1226400 HAS SOPS 1225797 HAS SOUS 174377 HAS SOUPS 173943 WITH SCORE 175169.4
AT ITER 1821 NEW BEST:: SOT 1384332 SOS 1226342 HAS SOPS 1225739 HAS SOUS 174297 HAS SOUPS 173863 WITH SCORE 175089.342
AT ITER 1842 NEW BEST:: SOT 1384195 SOS 1226206 HAS SOPS 1225603 HAS SOUS 174092 HAS SOUPS 173658 WITH SCORE 174884.206
AT ITER 1844 NEW BEST:: SOT 1384154 SOS 1226165 HAS SOPS 1225562 HAS SOUS 174051 HAS SOUPS 173617 WITH SCORE 174843.165
AT ITER 1848 NEW BEST:: SOT 1384142 SOS 1226141 HAS SOPS 1225538 HAS SOUS 174027 HAS SOUPS 173593 WITH SCORE 174819.141
AT ITER 1853 NEW BEST:: SOT 1384142 SOS 1226125 HAS SOPS 1225522 HAS SOUS 174027 HAS SOUPS 173593 WITH SCORE 174819.125
AT ITER 1868 NEW BEST:: SOT 1384090 SOS 1226073 HAS SOPS 1225470 HAS SOUS 173923 HAS SOUPS 173489 WITH SCORE 174715.073
AT ITER 1881 NEW BEST:: SOT 1384075 SOS 1226073 HAS SOPS 1225470 HAS SOUS 173908 HAS SOUPS 173474 WITH SCORE 174700.073
AT ITER 1894 NEW BEST:: SOT 1384156 SOS 1226154 HAS SOPS 1225551 HAS SOUS 173801 HAS SOUPS 173367 WITH SCORE 174593.154
AT ITER 1953 NEW BEST:: SOT 1384150 SOS 1226148 HAS SOPS 1225545 HAS SOUS 173789 HAS SOUPS 173355 WITH SCORE 174581.148
AT ITER 1988 NEW BEST:: SOT 1384138 SOS 1223244 HAS SOPS 1222641 HAS SOUS 173765 HAS SOUPS 173331 WITH SCORE 174554.244
AT ITER 1997 NEW BEST:: SOT 1383078 SOS 1222184 HAS SOPS 1221581 HAS SOUS 173765 HAS SOUPS 173331 WITH SCORE 174553.184
AT ITER 1998 NEW BEST:: SOT 1383097 SOS 1222203 HAS SOPS 1221475 HAS SOUS 173882 HAS SOUPS 173323 WITH SCORE 174545.203
AT ITER 2001 NEW BEST:: SOT 1383096 SOS 1222315 HAS SOPS 1221587 HAS SOUS 173881 HAS SOUPS 173322 WITH SCORE 174544.315
AT ITER 2010 NEW BEST:: SOT 1383082 SOS 1222287 HAS SOPS 1221559 HAS SOUS 173869 HAS SOUPS 173310 WITH SCORE 174532.287
AT ITER 2018 NEW BEST:: SOT 1382984 SOS 1222189 HAS SOPS 1221461 HAS SOUS 173700 HAS SOUPS 173141 WITH SCORE 174363.189
AT ITER 2019 NEW BEST:: SOT 1382479 SOS 1221684 HAS SOPS 1220956 HAS SOUS 173195 HAS SOUPS 172636 WITH SCORE 173857.684
AT ITER 2025 NEW BEST:: SOT 1382462 SOS 1221667 HAS SOPS 1220939 HAS SOUS 173161 HAS SOUPS 172602 WITH SCORE 173823.667
AT ITER 2038 NEW BEST:: SOT 1382413 SOS 1221618 HAS SOPS 1220890 HAS SOUS 173063 HAS SOUPS 172504 WITH SCORE 173725.618
AT ITER 2048 NEW BEST:: SOT 1382248 SOS 1221618 HAS SOPS 1220890 HAS SOUS 172898 HAS SOUPS 172339 WITH SCORE 173560.618
AT ITER 2061 NEW BEST:: SOT 1382238 SOS 1221598 HAS SOPS 1220870 HAS SOUS 172878 HAS SOUPS 172319 WITH SCORE 173540.598
AT ITER 2103 NEW BEST:: SOT 1382217 SOS 1221556 HAS SOPS 1220828 HAS SOUS 172857 HAS SOUPS 172298 WITH SCORE 173519.556
AT ITER 2136 NEW BEST:: SOT 1382166 SOS 1221454 HAS SOPS 1220726 HAS SOUS 172754 HAS SOUPS 172195 WITH SCORE 173416.454
AT ITER 2147 NEW BEST:: SOT 1382133 SOS 1221421 HAS SOPS 1220693 HAS SOUS 172688 HAS SOUPS 172129 WITH SCORE 173350.421
AT ITER 2174 NEW BEST:: SOT 1382020 SOS 1221195 HAS SOPS 1220467 HAS SOUS 172575 HAS SOUPS 172016 WITH SCORE 173237.195
AT ITER 2178 NEW BEST:: SOT 1381955 SOS 1221195 HAS SOPS 1220467 HAS SOUS 172527 HAS SOUPS 171968 WITH SCORE 173189.195
AT ITER 2181 NEW BEST:: SOT 1381930 SOS 1221170 HAS SOPS 1220442 HAS SOUS 172477 HAS SOUPS 171918 WITH SCORE 173139.17
AT ITER 2182 NEW BEST:: SOT 1381914 SOS 1221154 HAS SOPS 1220426 HAS SOUS 172461 HAS SOUPS 171902 WITH SCORE 173123.154
AT ITER 2186 NEW BEST:: SOT 1381902 SOS 1221142 HAS SOPS 1220414 HAS SOUS 172443 HAS SOUPS 171884 WITH SCORE 173105.142
AT ITER 2188 NEW BEST:: SOT 1381915 SOS 1221155 HAS SOPS 1220427 HAS SOUS 172425 HAS SOUPS 171866 WITH SCORE 173087.155
AT ITER 2189 NEW BEST:: SOT 1381831 SOS 1220987 HAS SOPS 1220259 HAS SOUS 172272 HAS SOUPS 171713 WITH SCORE 172933.987
AT ITER 2216 NEW BEST:: SOT 1381827 SOS 1220979 HAS SOPS 1220251 HAS SOUS 172268 HAS SOUPS 171709 WITH SCORE 172929.979
AT ITER 2232 NEW BEST:: SOT 1381827 SOS 1220831 HAS SOPS 1220103 HAS SOUS 172268 HAS SOUPS 171709 WITH SCORE 172929.831
AT ITER 2236 NEW BEST:: SOT 1381386 SOS 1220390 HAS SOPS 1219662 HAS SOUS 172258 HAS SOUPS 171699 WITH SCORE 172919.39
AT ITER 2246 NEW BEST:: SOT 1381411 SOS 1220440 HAS SOPS 1219712 HAS SOUS 172211 HAS SOUPS 171652 WITH SCORE 172872.44
AT ITER 2251 NEW BEST:: SOT 1381401 SOS 1220420 HAS SOPS 1219692 HAS SOUS 172201 HAS SOUPS 171642 WITH SCORE 172862.42
AT ITER 2281 NEW BEST:: SOT 1381294 SOS 1220702 HAS SOPS 1219974 HAS SOUS 172151 HAS SOUPS 171592 WITH SCORE 172812.702
AT ITER 2287 NEW BEST:: SOT 1381288 SOS 1220696 HAS SOPS 1219968 HAS SOUS 172139 HAS SOUPS 171580 WITH SCORE 172800.696
AT ITER 2296 NEW BEST:: SOT 1381266 SOS 1220674 HAS SOPS 1219946 HAS SOUS 172095 HAS SOUPS 171536 WITH SCORE 172756.674
AT ITER 2304 NEW BEST:: SOT 1381126 SOS 1220654 HAS SOPS 1219926 HAS SOUS 172033 HAS SOUPS 171474 WITH SCORE 172694.654
AT ITER 2307 NEW BEST:: SOT 1381126 SOS 1220654 HAS SOPS 1219926 HAS SOUS 172020 HAS SOUPS 171461 WITH SCORE 172681.654
AT ITER 2310 NEW BEST:: SOT 1380946 SOS 1220674 HAS SOPS 1219946 HAS SOUS 171780 HAS SOUPS 171221 WITH SCORE 172441.674
AT ITER 2314 NEW BEST:: SOT 1380946 SOS 1220674 HAS SOPS 1219946 HAS SOUS 171760 HAS SOUPS 171201 WITH SCORE 172421.674
AT ITER 2320 NEW BEST:: SOT 1380945 SOS 1220672 HAS SOPS 1219944 HAS SOUS 171759 HAS SOUPS 171200 WITH SCORE 172420.672
AT ITER 2328 NEW BEST:: SOT 1380933 SOS 1220660 HAS SOPS 1219932 HAS SOUS 171732 HAS SOUPS 171173 WITH SCORE 172393.66
AT ITER 2349 NEW BEST:: SOT 1380890 SOS 1220574 HAS SOPS 1219846 HAS SOUS 171716 HAS SOUPS 171157 WITH SCORE 172377.574
AT ITER 2351 NEW BEST:: SOT 1380864 SOS 1220548 HAS SOPS 1219794 HAS SOUS 171690 HAS SOUPS 171105 WITH SCORE 172325.548
AT ITER 2358 NEW BEST:: SOT 1378558 SOS 1194108 HAS SOPS 1193354 HAS SOUS 171704 HAS SOUPS 171119 WITH SCORE 172313.108
AT ITER 2362 NEW BEST:: SOT 1378531 SOS 1194081 HAS SOPS 1193327 HAS SOUS 171651 HAS SOUPS 171066 WITH SCORE 172260.081
AT ITER 2364 NEW BEST:: SOT 1378505 SOS 1194071 HAS SOPS 1193317 HAS SOUS 171617 HAS SOUPS 171032 WITH SCORE 172226.071
AT ITER 2389 NEW BEST:: SOT 1378509 SOS 1194035 HAS SOPS 1193281 HAS SOUS 171603 HAS SOUPS 171018 WITH SCORE 172212.035
AT ITER 2396 NEW BEST:: SOT 1378487 SOS 1193991 HAS SOPS 1193237 HAS SOUS 171581 HAS SOUPS 170996 WITH SCORE 172189.991
AT ITER 2398 NEW BEST:: SOT 1378508 SOS 1193893 HAS SOPS 1193139 HAS SOUS 171572 HAS SOUPS 170987 WITH SCORE 172180.893
AT ITER 2407 NEW BEST:: SOT 1378414 SOS 1193833 HAS SOPS 1193079 HAS SOUS 171438 HAS SOUPS 170853 WITH SCORE 172046.833
AT ITER 2426 NEW BEST:: SOT 1378408 SOS 1193833 HAS SOPS 1193079 HAS SOUS 171432 HAS SOUPS 170847 WITH SCORE 172040.833
AT ITER 2440 NEW BEST:: SOT 1378408 SOS 1193817 HAS SOPS 1193063 HAS SOUS 171432 HAS SOUPS 170847 WITH SCORE 172040.817
AT ITER 2442 NEW BEST:: SOT 1378377 SOS 1193786 HAS SOPS 1193032 HAS SOUS 171388 HAS SOUPS 170803 WITH SCORE 171996.786
AT ITER 2446 NEW BEST:: SOT 1378090 SOS 1193499 HAS SOPS 1192745 HAS SOUS 171089 HAS SOUPS 170504 WITH SCORE 171697.499
AT ITER 2450 NEW BEST:: SOT 1378094 SOS 1193503 HAS SOPS 1192749 HAS SOUS 171068 HAS SOUPS 170483 WITH SCORE 171676.503
AT ITER 2473 NEW BEST:: SOT 1378068 SOS 1193451 HAS SOPS 1192697 HAS SOUS 171016 HAS SOUPS 170431 WITH SCORE 171624.451
AT ITER 2482 NEW BEST:: SOT 1378070 SOS 1193453 HAS SOPS 1192699 HAS SOUS 170978 HAS SOUPS 170393 WITH SCORE 171586.453
AT ITER 2495 NEW BEST:: SOT 1378070 SOS 1193353 HAS SOPS 1192599 HAS SOUS 170978 HAS SOUPS 170393 WITH SCORE 171586.353
AT ITER 2541 NEW BEST:: SOT 1378031 SOS 1193471 HAS SOPS 1192717 HAS SOUS 170965 HAS SOUPS 170380 WITH SCORE 171573.471
AT ITER 2550 NEW BEST:: SOT 1378053 SOS 1184349 HAS SOPS 1183595 HAS SOUS 170943 HAS SOUPS 170358 WITH SCORE 171542.349
AT ITER 2551 NEW BEST:: SOT 1378020 SOS 1184283 HAS SOPS 1183529 HAS SOUS 170908 HAS SOUPS 170323 WITH SCORE 171507.283
AT ITER 2552 NEW BEST:: SOT 1377992 SOS 1184227 HAS SOPS 1183473 HAS SOUS 170875 HAS SOUPS 170290 WITH SCORE 171474.227
AT ITER 2556 NEW BEST:: SOT 1377991 SOS 1184127 HAS SOPS 1183373 HAS SOUS 170874 HAS SOUPS 170289 WITH SCORE 171473.127
AT ITER 2570 NEW BEST:: SOT 1377917 SOS 1183979 HAS SOPS 1183225 HAS SOUS 170726 HAS SOUPS 170141 WITH SCORE 171324.979
AT ITER 2579 NEW BEST:: SOT 1377904 SOS 1183966 HAS SOPS 1183212 HAS SOUS 170700 HAS SOUPS 170115 WITH SCORE 171298.966
AT ITER 2622 NEW BEST:: SOT 1377897 SOS 1183974 HAS SOPS 1183220 HAS SOUS 170693 HAS SOUPS 170108 WITH SCORE 171291.974
AT ITER 2628 NEW BEST:: SOT 1377895 SOS 1183972 HAS SOPS 1183218 HAS SOUS 170691 HAS SOUPS 170106 WITH SCORE 171289.972
AT ITER 2630 NEW BEST:: SOT 1377895 SOS 1181744 HAS SOPS 1181118 HAS SOUS 170446 HAS SOUPS 169989 WITH SCORE 171170.744
AT ITER 2645 NEW BEST:: SOT 1377811 SOS 1181822 HAS SOPS 1181196 HAS SOUS 170401 HAS SOUPS 169944 WITH SCORE 171125.822
AT ITER 2678 NEW BEST:: SOT 1377587 SOS 1181696 HAS SOPS 1181070 HAS SOUS 170178 HAS SOUPS 169721 WITH SCORE 170902.696
AT ITER 2692 NEW BEST:: SOT 1377667 SOS 1181784 HAS SOPS 1181158 HAS SOUS 170119 HAS SOUPS 169662 WITH SCORE 170843.784
AT ITER 2708 NEW BEST:: SOT 1377591 SOS 1181618 HAS SOPS 1180992 HAS SOUS 169889 HAS SOUPS 169432 WITH SCORE 170613.618
AT ITER 2722 NEW BEST:: SOT 1377585 SOS 1181606 HAS SOPS 1180980 HAS SOUS 169877 HAS SOUPS 169420 WITH SCORE 170601.606
AT ITER 2736 NEW BEST:: SOT 1377583 SOS 1181602 HAS SOPS 1180976 HAS SOUS 169873 HAS SOUPS 169416 WITH SCORE 170597.602
AT ITER 2749 NEW BEST:: SOT 1377535 SOS 1181506 HAS SOPS 1180880 HAS SOUS 169825 HAS SOUPS 169368 WITH SCORE 170549.506
AT ITER 2750 NEW BEST:: SOT 1377543 SOS 1181522 HAS SOPS 1180896 HAS SOUS 169820 HAS SOUPS 169363 WITH SCORE 170544.522
AT ITER 2770 NEW BEST:: SOT 1377471 SOS 1181378 HAS SOPS 1180752 HAS SOUS 169741 HAS SOUPS 169284 WITH SCORE 170465.378
AT ITER 2779 NEW BEST:: SOT 1377279 SOS 1181240 HAS SOPS 1180614 HAS SOUS 169473 HAS SOUPS 169016 WITH SCORE 170197.24
AT ITER 2789 NEW BEST:: SOT 1377269 SOS 1181238 HAS SOPS 1180612 HAS SOUS 169462 HAS SOUPS 169005 WITH SCORE 170186.238
AT ITER 2795 NEW BEST:: SOT 1377267 SOS 1181236 HAS SOPS 1180610 HAS SOUS 169458 HAS SOUPS 169001 WITH SCORE 170182.236
AT ITER 2831 NEW BEST:: SOT 1377264 SOS 1181233 HAS SOPS 1180607 HAS SOUS 169452 HAS SOUPS 168995 WITH SCORE 170176.233
AT ITER 2845 NEW BEST:: SOT 1377239 SOS 1181183 HAS SOPS 1180557 HAS SOUS 169429 HAS SOUPS 168972 WITH SCORE 170153.183
AT ITER 2874 NEW BEST:: SOT 1377232 SOS 1181169 HAS SOPS 1180543 HAS SOUS 169422 HAS SOUPS 168965 WITH SCORE 170146.169
AT ITER 2884 NEW BEST:: SOT 1377126 SOS 1181063 HAS SOPS 1180437 HAS SOUS 169227 HAS SOUPS 168770 WITH SCORE 169951.063
AT ITER 2886 NEW BEST:: SOT 1377115 SOS 1181054 HAS SOPS 1180428 HAS SOUS 169203 HAS SOUPS 168746 WITH SCORE 169927.054
AT ITER 2893 NEW BEST:: SOT 1377112 SOS 1181051 HAS SOPS 1180425 HAS SOUS 169200 HAS SOUPS 168743 WITH SCORE 169924.051
AT ITER 2923 NEW BEST:: SOT 1377117 SOS 1181035 HAS SOPS 1180409 HAS SOUS 169197 HAS SOUPS 168740 WITH SCORE 169921.035
AT ITER 2932 NEW BEST:: SOT 1377080 SOS 1180998 HAS SOPS 1180372 HAS SOUS 169130 HAS SOUPS 168673 WITH SCORE 169853.998
AT ITER 2951 NEW BEST:: SOT 1377073 SOS 1180991 HAS SOPS 1180365 HAS SOUS 169123 HAS SOUPS 168666 WITH SCORE 169846.991
AT ITER 2956 NEW BEST:: SOT 1377552 SOS 1181468 HAS SOPS 1180842 HAS SOUS 169040 HAS SOUPS 168583 WITH SCORE 169764.468
AT ITER 2979 NEW BEST:: SOT 1377552 SOS 1181468 HAS SOPS 1180838 HAS SOUS 169040 HAS SOUPS 168579 WITH SCORE 169760.468
AT ITER 2991 NEW BEST:: SOT 1377483 SOS 1181330 HAS SOPS 1180700 HAS SOUS 168971 HAS SOUPS 168510 WITH SCORE 169691.33
AT ITER 3005 NEW BEST:: SOT 1377347 SOS 1181194 HAS SOPS 1180700 HAS SOUS 168835 HAS SOUPS 168374 WITH SCORE 169555.194
AT ITER 3016 NEW BEST:: SOT 1377312 SOS 1181159 HAS SOPS 1180665 HAS SOUS 168765 HAS SOUPS 168304 WITH SCORE 169485.159
AT ITER 3042 NEW BEST:: SOT 1377302 SOS 1181159 HAS SOPS 1180665 HAS SOUS 168755 HAS SOUPS 168294 WITH SCORE 169475.159
AT ITER 3061 NEW BEST:: SOT 1377283 SOS 1181140 HAS SOPS 1180646 HAS SOUS 168717 HAS SOUPS 168256 WITH SCORE 169437.14
AT ITER 3067 NEW BEST:: SOT 1377260 SOS 1181117 HAS SOPS 1180623 HAS SOUS 168680 HAS SOUPS 168219 WITH SCORE 169400.117
AT ITER 3081 NEW BEST:: SOT 1377222 SOS 1180771 HAS SOPS 1180277 HAS SOUS 168587 HAS SOUPS 168126 WITH SCORE 169306.771
AT ITER 3088 NEW BEST:: SOT 1377216 SOS 1180765 HAS SOPS 1180271 HAS SOUS 168575 HAS SOUPS 168114 WITH SCORE 169294.765
AT ITER 3091 NEW BEST:: SOT 1377227 SOS 1180776 HAS SOPS 1180282 HAS SOUS 168566 HAS SOUPS 168105 WITH SCORE 169285.776
AT ITER 3103 NEW BEST:: SOT 1377207 SOS 1180756 HAS SOPS 1180262 HAS SOUS 168526 HAS SOUPS 168065 WITH SCORE 169245.756
AT ITER 3121 NEW BEST:: SOT 1379620 SOS 1183169 HAS SOPS 1182675 HAS SOUS 168356 HAS SOUPS 167895 WITH SCORE 169078.169
AT ITER 3136 NEW BEST:: SOT 1379579 SOS 1183087 HAS SOPS 1182593 HAS SOUS 168274 HAS SOUPS 167813 WITH SCORE 168996.087
AT ITER 3137 NEW BEST:: SOT 1379579 SOS 1183073 HAS SOPS 1182579 HAS SOUS 168274 HAS SOUPS 167813 WITH SCORE 168996.073
AT ITER 3145 NEW BEST:: SOT 1379560 SOS 1183539 HAS SOPS 1183045 HAS SOUS 168255 HAS SOUPS 167794 WITH SCORE 168977.539
AT ITER 3146 NEW BEST:: SOT 1379513 SOS 1183445 HAS SOPS 1182951 HAS SOUS 168161 HAS SOUPS 167700 WITH SCORE 168883.445
AT ITER 3147 NEW BEST:: SOT 1379328 SOS 1183417 HAS SOPS 1182923 HAS SOUS 167873 HAS SOUPS 167412 WITH SCORE 168595.417
AT ITER 3149 NEW BEST:: SOT 1379272 SOS 1183361 HAS SOPS 1182867 HAS SOUS 167761 HAS SOUPS 167300 WITH SCORE 168483.361
AT ITER 3165 NEW BEST:: SOT 1379272 SOS 1183357 HAS SOPS 1182863 HAS SOUS 167761 HAS SOUPS 167300 WITH SCORE 168483.357
AT ITER 3180 NEW BEST:: SOT 1379267 SOS 1183352 HAS SOPS 1182858 HAS SOUS 167751 HAS SOUPS 167290 WITH SCORE 168473.352
AT ITER 3187 NEW BEST:: SOT 1379267 SOS 1183322 HAS SOPS 1182828 HAS SOUS 167751 HAS SOUPS 167290 WITH SCORE 168473.322
AT ITER 3189 NEW BEST:: SOT 1379217 SOS 1183272 HAS SOPS 1182778 HAS SOUS 167724 HAS SOUPS 167263 WITH SCORE 168446.272
AT ITER 3210 NEW BEST:: SOT 1379202 SOS 1183257 HAS SOPS 1182763 HAS SOUS 167689 HAS SOUPS 167228 WITH SCORE 168411.257
AT ITER 3218 NEW BEST:: SOT 1379185 SOS 1183223 HAS SOPS 1182729 HAS SOUS 167665 HAS SOUPS 167204 WITH SCORE 168387.223
AT ITER 3237 NEW BEST:: SOT 1379163 SOS 1183179 HAS SOPS 1182685 HAS SOUS 167621 HAS SOUPS 167160 WITH SCORE 168343.179
AT ITER 3251 NEW BEST:: SOT 1379128 SOS 1183144 HAS SOPS 1182650 HAS SOUS 167558 HAS SOUPS 167097 WITH SCORE 168280.144
AT ITER 3270 NEW BEST:: SOT 1379094 SOS 1183110 HAS SOPS 1182616 HAS SOUS 167490 HAS SOUPS 167029 WITH SCORE 168212.11
AT ITER 3317 NEW BEST:: SOT 1379101 SOS 1183124 HAS SOPS 1182630 HAS SOUS 167489 HAS SOUPS 167028 WITH SCORE 168211.124
AT ITER 3335 NEW BEST:: SOT 1379100 SOS 1183120 HAS SOPS 1182626 HAS SOUS 167488 HAS SOUPS 167027 WITH SCORE 168210.12
AT ITER 3348 NEW BEST:: SOT 1378973 SOS 1182866 HAS SOPS 1182372 HAS SOUS 167252 HAS SOUPS 166791 WITH SCORE 167973.866
AT ITER 3358 NEW BEST:: SOT 1378952 SOS 1182866 HAS SOPS 1182372 HAS SOUS 167220 HAS SOUPS 166759 WITH SCORE 167941.866
AT ITER 3400 NEW BEST:: SOT 1378927 SOS 1182816 HAS SOPS 1182322 HAS SOUS 167172 HAS SOUPS 166711 WITH SCORE 167893.816
AT ITER 3471 NEW BEST:: SOT 1378908 SOS 1182797 HAS SOPS 1182303 HAS SOUS 167134 HAS SOUPS 166673 WITH SCORE 167855.797
AT ITER 3497 NEW BEST:: SOT 1378735 SOS 1182628 HAS SOPS 1182134 HAS SOUS 166965 HAS SOUPS 166504 WITH SCORE 167686.628
AT ITER 3499 NEW BEST:: SOT 1378709 SOS 1182602 HAS SOPS 1182108 HAS SOUS 166924 HAS SOUPS 166463 WITH SCORE 167645.602
AT ITER 3501 NEW BEST:: SOT 1378650 SOS 1182484 HAS SOPS 1181990 HAS SOUS 166806 HAS SOUPS 166345 WITH SCORE 167527.484
AT ITER 3510 NEW BEST:: SOT 1378619 SOS 1182422 HAS SOPS 1181928 HAS SOUS 166688 HAS SOUPS 166227 WITH SCORE 167409.422
AT ITER 3545 NEW BEST:: SOT 1378617 SOS 1182464 HAS SOPS 1181970 HAS SOUS 166686 HAS SOUPS 166225 WITH SCORE 167407.464
AT ITER 3582 NEW BEST:: SOT 1378486 SOS 1182518 HAS SOPS 1182024 HAS SOUS 166556 HAS SOUPS 166095 WITH SCORE 167277.518
AT ITER 3619 NEW BEST:: SOT 1378486 SOS 1182489 HAS SOPS 1181995 HAS SOUS 166556 HAS SOUPS 166095 WITH SCORE 167277.489
AT ITER 3628 NEW BEST:: SOT 1378486 SOS 1182483 HAS SOPS 1181989 HAS SOUS 166553 HAS SOUPS 166092 WITH SCORE 167274.483
AT ITER 3630 NEW BEST:: SOT 1378482 SOS 1182467 HAS SOPS 1181973 HAS SOUS 166545 HAS SOUPS 166084 WITH SCORE 167266.467
AT ITER 3675 NEW BEST:: SOT 1378509 SOS 1182521 HAS SOPS 1182027 HAS SOUS 166540 HAS SOUPS 166079 WITH SCORE 167261.521
AT ITER 3693 NEW BEST:: SOT 1378478 SOS 1182490 HAS SOPS 1181996 HAS SOUS 166475 HAS SOUPS 166014 WITH SCORE 167196.49
AT ITER 3718 NEW BEST:: SOT 1378478 SOS 1182490 HAS SOPS 1181996 HAS SOUS 166463 HAS SOUPS 166002 WITH SCORE 167184.49
AT ITER 3735 NEW BEST:: SOT 1378535 SOS 1182547 HAS SOPS 1181910 HAS SOUS 166417 HAS SOUPS 165956 WITH SCORE 167138.547
AT ITER 3738 NEW BEST:: SOT 1378472 SOS 1182421 HAS SOPS 1181784 HAS SOUS 166302 HAS SOUPS 165841 WITH SCORE 167023.421
AT ITER 3776 NEW BEST:: SOT 1378419 SOS 1182579 HAS SOPS 1181942 HAS SOUS 166258 HAS SOUPS 165797 WITH SCORE 166979.579
AT ITER 3778 NEW BEST:: SOT 1378383 SOS 1182597 HAS SOPS 1181960 HAS SOUS 166229 HAS SOUPS 165768 WITH SCORE 166950.597
AT ITER 3795 NEW BEST:: SOT 1378322 SOS 1182536 HAS SOPS 1181899 HAS SOUS 166107 HAS SOUPS 165646 WITH SCORE 166828.536
AT ITER 3798 NEW BEST:: SOT 1378319 SOS 1182533 HAS SOPS 1181896 HAS SOUS 166101 HAS SOUPS 165640 WITH SCORE 166822.533
AT ITER 3841 NEW BEST:: SOT 1378317 SOS 1182531 HAS SOPS 1181894 HAS SOUS 166099 HAS SOUPS 165638 WITH SCORE 166820.531
AT ITER 3843 NEW BEST:: SOT 1378301 SOS 1182515 HAS SOPS 1181878 HAS SOUS 166067 HAS SOUPS 165606 WITH SCORE 166788.515
AT ITER 3893 NEW BEST:: SOT 1378259 SOS 1182511 HAS SOPS 1181874 HAS SOUS 166008 HAS SOUPS 165547 WITH SCORE 166729.511
AT ITER 3904 NEW BEST:: SOT 1378240 SOS 1182473 HAS SOPS 1181836 HAS SOUS 165989 HAS SOUPS 165528 WITH SCORE 166710.473
AT ITER 3907 NEW BEST:: SOT 1377721 SOS 1181443 HAS SOPS 1180806 HAS SOUS 165970 HAS SOUPS 165509 WITH SCORE 166690.443
AT ITER 3926 NEW BEST:: SOT 1377653 SOS 1181511 HAS SOPS 1180874 HAS SOUS 165854 HAS SOUPS 165393 WITH SCORE 166574.511
AT ITER 3988 NEW BEST:: SOT 1377565 SOS 1181713 HAS SOPS 1181076 HAS SOUS 165822 HAS SOUPS 165361 WITH SCORE 166542.713
AT ITER 4061 NEW BEST:: SOT 1377548 SOS 1181701 HAS SOPS 1181064 HAS SOUS 165809 HAS SOUPS 165348 WITH SCORE 166529.701
AT ITER 4131 NEW BEST:: SOT 1377532 SOS 1181685 HAS SOPS 1181048 HAS SOUS 165777 HAS SOUPS 165316 WITH SCORE 166497.685
AT ITER 4136 NEW BEST:: SOT 1377520 SOS 1181673 HAS SOPS 1181036 HAS SOUS 165753 HAS SOUPS 165292 WITH SCORE 166473.673
AT ITER 4159 NEW BEST:: SOT 1377466 SOS 1181619 HAS SOPS 1180982 HAS SOUS 165672 HAS SOUPS 165211 WITH SCORE 166392.619
AT ITER 4177 NEW BEST:: SOT 1377465 SOS 1181721 HAS SOPS 1181084 HAS SOUS 165671 HAS SOUPS 165210 WITH SCORE 166391.721
AT ITER 4183 NEW BEST:: SOT 1377311 SOS 1181567 HAS SOPS 1180930 HAS SOUS 165440 HAS SOUPS 164979 WITH SCORE 166160.567
AT ITER 4230 NEW BEST:: SOT 1377300 SOS 1181545 HAS SOPS 1180908 HAS SOUS 165418 HAS SOUPS 164957 WITH SCORE 166138.545
AT ITER 4260 NEW BEST:: SOT 1377278 SOS 1181501 HAS SOPS 1180864 HAS SOUS 165362 HAS SOUPS 164901 WITH SCORE 166082.501
AT ITER 4322 NEW BEST:: SOT 1377253 SOS 1181451 HAS SOPS 1180814 HAS SOUS 165287 HAS SOUPS 164826 WITH SCORE 166007.451
AT ITER 4327 NEW BEST:: SOT 1377253 SOS 1181451 HAS SOPS 1180814 HAS SOUS 165279 HAS SOUPS 164818 WITH SCORE 165999.451
AT ITER 4332 NEW BEST:: SOT 1377246 SOS 1181013 HAS SOPS 1180376 HAS SOUS 165265 HAS SOUPS 164804 WITH SCORE 165985.013
AT ITER 4345 NEW BEST:: SOT 1377237 SOS 1180775 HAS SOPS 1180138 HAS SOUS 165228 HAS SOUPS 164767 WITH SCORE 165947.775
AT ITER 4346 NEW BEST:: SOT 1377235 SOS 1180771 HAS SOPS 1180134 HAS SOUS 165224 HAS SOUPS 164763 WITH SCORE 165943.771
AT ITER 4350 NEW BEST:: SOT 1377193 SOS 1180729 HAS SOPS 1180092 HAS SOUS 165142 HAS SOUPS 164681 WITH SCORE 165861.729
AT ITER 4354 NEW BEST:: SOT 1377183 SOS 1180709 HAS SOPS 1180072 HAS SOUS 165132 HAS SOUPS 164671 WITH SCORE 165851.709
AT ITER 4375 NEW BEST:: SOT 1377164 SOS 1180709 HAS SOPS 1180072 HAS SOUS 165113 HAS SOUPS 164652 WITH SCORE 165832.709
AT ITER 4384 NEW BEST:: SOT 1376830 SOS 1180316 HAS SOPS 1179644 HAS SOUS 164896 HAS SOUPS 164400 WITH SCORE 165580.316
AT ITER 4400 NEW BEST:: SOT 1376830 SOS 1180316 HAS SOPS 1179644 HAS SOUS 164871 HAS SOUPS 164375 WITH SCORE 165555.316
AT ITER 4410 NEW BEST:: SOT 1376813 SOS 1180299 HAS SOPS 1179627 HAS SOUS 164837 HAS SOUPS 164341 WITH SCORE 165521.299
AT ITER 4426 NEW BEST:: SOT 1376591 SOS 1178496 HAS SOPS 1177824 HAS SOUS 164516 HAS SOUPS 164020 WITH SCORE 165198.496
AT ITER 4432 NEW BEST:: SOT 1376585 SOS 1178498 HAS SOPS 1177826 HAS SOUS 164511 HAS SOUPS 164015 WITH SCORE 165193.498
AT ITER 4438 NEW BEST:: SOT 1376557 SOS 1178442 HAS SOPS 1177770 HAS SOUS 164474 HAS SOUPS 163978 WITH SCORE 165156.442
AT ITER 4452 NEW BEST:: SOT 1376536 SOS 1178421 HAS SOPS 1177749 HAS SOUS 164453 HAS SOUPS 163957 WITH SCORE 165135.421
AT ITER 4469 NEW BEST:: SOT 1376528 SOS 1178405 HAS SOPS 1177733 HAS SOUS 164407 HAS SOUPS 163911 WITH SCORE 165089.405
AT ITER 4496 NEW BEST:: SOT 1376511 SOS 1178371 HAS SOPS 1177699 HAS SOUS 164373 HAS SOUPS 163877 WITH SCORE 165055.371
AT ITER 4512 NEW BEST:: SOT 1376481 SOS 1178341 HAS SOPS 1177669 HAS SOUS 164313 HAS SOUPS 163817 WITH SCORE 164995.341
AT ITER 4557 NEW BEST:: SOT 1376443 SOS 1178355 HAS SOPS 1177683 HAS SOUS 164282 HAS SOUPS 163786 WITH SCORE 164964.355
AT ITER 4566 NEW BEST:: SOT 1376433 SOS 1178335 HAS SOPS 1177663 HAS SOUS 164262 HAS SOUPS 163766 WITH SCORE 164944.335
AT ITER 4571 NEW BEST:: SOT 1376418 SOS 1178305 HAS SOPS 1177633 HAS SOUS 164232 HAS SOUPS 163736 WITH SCORE 164914.305
AT ITER 4576 NEW BEST:: SOT 1376403 SOS 1178290 HAS SOPS 1177618 HAS SOUS 164217 HAS SOUPS 163721 WITH SCORE 164899.29
AT ITER 4602 NEW BEST:: SOT 1376392 SOS 1178480 HAS SOPS 1177808 HAS SOUS 164202 HAS SOUPS 163706 WITH SCORE 164884.48
AT ITER 4669 NEW BEST:: SOT 1375953 SOS 1177993 HAS SOPS 1177321 HAS SOUS 163714 HAS SOUPS 163218 WITH SCORE 164395.993
AT ITER 4690 NEW BEST:: SOT 1375953 SOS 1177993 HAS SOPS 1177321 HAS SOUS 163707 HAS SOUPS 163211 WITH SCORE 164388.993
AT ITER 4718 NEW BEST:: SOT 1375911 SOS 1177951 HAS SOPS 1177279 HAS SOUS 163705 HAS SOUPS 163209 WITH SCORE 164386.951
AT ITER 4747 NEW BEST:: SOT 1375871 SOS 1177871 HAS SOPS 1177199 HAS SOUS 163647 HAS SOUPS 163151 WITH SCORE 164328.871
AT ITER 4749 NEW BEST:: SOT 1375867 SOS 1177863 HAS SOPS 1177191 HAS SOUS 163640 HAS SOUPS 163144 WITH SCORE 164321.863
AT ITER 4768 NEW BEST:: SOT 1375852 SOS 1177848 HAS SOPS 1177176 HAS SOUS 163625 HAS SOUPS 163129 WITH SCORE 164306.848
AT ITER 4772 NEW BEST:: SOT 1375852 SOS 1177848 HAS SOPS 1177176 HAS SOUS 163611 HAS SOUPS 163115 WITH SCORE 164292.848
AT ITER 4777 NEW BEST:: SOT 1375759 SOS 1177758 HAS SOPS 1177086 HAS SOUS 163470 HAS SOUPS 162974 WITH SCORE 164151.758
AT ITER 4805 NEW BEST:: SOT 1375748 SOS 1177736 HAS SOPS 1177064 HAS SOUS 163448 HAS SOUPS 162952 WITH SCORE 164129.736
AT ITER 4849 NEW BEST:: SOT 1375668 SOS 1177656 HAS SOPS 1176984 HAS SOUS 163448 HAS SOUPS 162952 WITH SCORE 164129.656
AT ITER 4854 NEW BEST:: SOT 1375668 SOS 1177632 HAS SOPS 1176960 HAS SOUS 163438 HAS SOUPS 162942 WITH SCORE 164119.632
AT ITER 4861 NEW BEST:: SOT 1375662 SOS 1177626 HAS SOPS 1176954 HAS SOUS 163426 HAS SOUPS 162930 WITH SCORE 164107.626
AT ITER 4895 NEW BEST:: SOT 1375552 SOS 1177760 HAS SOPS 1177088 HAS SOUS 163383 HAS SOUPS 162887 WITH SCORE 164064.76
AT ITER 4901 NEW BEST:: SOT 1375466 SOS 1177588 HAS SOPS 1176916 HAS SOUS 163211 HAS SOUPS 162715 WITH SCORE 163892.588
AT ITER 4905 NEW BEST:: SOT 1375456 SOS 1177568 HAS SOPS 1176896 HAS SOUS 163200 HAS SOUPS 162704 WITH SCORE 163881.568
AT ITER 4937 NEW BEST:: SOT 1375448 SOS 1177552 HAS SOPS 1176880 HAS SOUS 163176 HAS SOUPS 162680 WITH SCORE 163857.552
AT ITER 4940 NEW BEST:: SOT 1375371 SOS 1177490 HAS SOPS 1176818 HAS SOUS 163022 HAS SOUPS 162526 WITH SCORE 163703.49
AT ITER 5023 NEW BEST:: SOT 1375368 SOS 1177487 HAS SOPS 1176815 HAS SOUS 163019 HAS SOUPS 162523 WITH SCORE 163700.487
AT ITER 5039 NEW BEST:: SOT 1375493 SOS 1177608 HAS SOPS 1176936 HAS SOUS 163014 HAS SOUPS 162518 WITH SCORE 163695.608
AT ITER 5058 NEW BEST:: SOT 1375489 SOS 1177604 HAS SOPS 1176932 HAS SOUS 163009 HAS SOUPS 162513 WITH SCORE 163690.604
AT ITER 5098 NEW BEST:: SOT 1375480 SOS 1177595 HAS SOPS 1176923 HAS SOUS 162991 HAS SOUPS 162495 WITH SCORE 163672.595
AT ITER 5107 NEW BEST:: SOT 1375444 SOS 1177523 HAS SOPS 1176851 HAS SOUS 162950 HAS SOUPS 162454 WITH SCORE 163631.523
AT ITER 5122 NEW BEST:: SOT 1375458 SOS 1177537 HAS SOPS 1176865 HAS SOUS 162943 HAS SOUPS 162447 WITH SCORE 163624.537
AT ITER 5138 NEW BEST:: SOT 1375457 SOS 1177536 HAS SOPS 1176864 HAS SOUS 162941 HAS SOUPS 162445 WITH SCORE 163622.536
AT ITER 5152 NEW BEST:: SOT 1375455 SOS 1177534 HAS SOPS 1176862 HAS SOUS 162937 HAS SOUPS 162441 WITH SCORE 163618.534
AT ITER 5153 NEW BEST:: SOT 1375392 SOS 1177550 HAS SOPS 1176878 HAS SOUS 162859 HAS SOUPS 162363 WITH SCORE 163540.55
AT ITER 5157 NEW BEST:: SOT 1375379 SOS 1177537 HAS SOPS 1176865 HAS SOUS 162833 HAS SOUPS 162337 WITH SCORE 163514.537
AT ITER 5160 NEW BEST:: SOT 1375379 SOS 1177537 HAS SOPS 1176865 HAS SOUS 162831 HAS SOUPS 162335 WITH SCORE 163512.537
AT ITER 5164 NEW BEST:: SOT 1375321 SOS 1177421 HAS SOPS 1176749 HAS SOUS 162773 HAS SOUPS 162277 WITH SCORE 163454.421
AT ITER 5196 NEW BEST:: SOT 1375319 SOS 1177417 HAS SOPS 1176745 HAS SOUS 162721 HAS SOUPS 162225 WITH SCORE 163402.417
AT ITER 5197 NEW BEST:: SOT 1375306 SOS 1177391 HAS SOPS 1176719 HAS SOUS 162704 HAS SOUPS 162208 WITH SCORE 163385.391
AT ITER 5202 NEW BEST:: SOT 1375270 SOS 1177355 HAS SOPS 1176683 HAS SOUS 162637 HAS SOUPS 162141 WITH SCORE 163318.355
AT ITER 5247 NEW BEST:: SOT 1375286 SOS 1177371 HAS SOPS 1176699 HAS SOUS 162629 HAS SOUPS 162133 WITH SCORE 163310.371
AT ITER 5306 NEW BEST:: SOT 1375294 SOS 1177379 HAS SOPS 1176707 HAS SOUS 162616 HAS SOUPS 162120 WITH SCORE 163297.379
AT ITER 5310 NEW BEST:: SOT 1375260 SOS 1177311 HAS SOPS 1176639 HAS SOUS 162486 HAS SOUPS 161990 WITH SCORE 163167.311
AT ITER 5313 NEW BEST:: SOT 1375224 SOS 1177329 HAS SOPS 1176657 HAS SOUS 162450 HAS SOUPS 161954 WITH SCORE 163131.329
AT ITER 5325 NEW BEST:: SOT 1375219 SOS 1177324 HAS SOPS 1176652 HAS SOUS 162440 HAS SOUPS 161944 WITH SCORE 163121.324
AT ITER 5332 NEW BEST:: SOT 1375199 SOS 1177304 HAS SOPS 1176632 HAS SOUS 162400 HAS SOUPS 161904 WITH SCORE 163081.304
AT ITER 5344 NEW BEST:: SOT 1375180 SOS 1177266 HAS SOPS 1176594 HAS SOUS 162356 HAS SOUPS 161860 WITH SCORE 163037.266
AT ITER 5364 NEW BEST:: SOT 1375180 SOS 1177226 HAS SOPS 1176554 HAS SOUS 162356 HAS SOUPS 161860 WITH SCORE 163037.226
AT ITER 5375 NEW BEST:: SOT 1375108 SOS 1177065 HAS SOPS 1176393 HAS SOUS 162195 HAS SOUPS 161699 WITH SCORE 162876.065
AT ITER 5392 NEW BEST:: SOT 1375089 SOS 1177046 HAS SOPS 1176374 HAS SOUS 162157 HAS SOUPS 161661 WITH SCORE 162838.046
AT ITER 5426 NEW BEST:: SOT 1375049 SOS 1177006 HAS SOPS 1176334 HAS SOUS 162077 HAS SOUPS 161581 WITH SCORE 162758.006
AT ITER 5434 NEW BEST:: SOT 1375037 SOS 1177002 HAS SOPS 1176330 HAS SOUS 162063 HAS SOUPS 161567 WITH SCORE 162744.002
AT ITER 5436 NEW BEST:: SOT 1375036 SOS 1177000 HAS SOPS 1176328 HAS SOUS 162061 HAS SOUPS 161565 WITH SCORE 162742.0
AT ITER 5440 NEW BEST:: SOT 1375014 SOS 1176978 HAS SOPS 1176306 HAS SOUS 162017 HAS SOUPS 161521 WITH SCORE 162697.978
AT ITER 5457 NEW BEST:: SOT 1375007 SOS 1176741 HAS SOPS 1176069 HAS SOUS 162004 HAS SOUPS 161508 WITH SCORE 162684.741
AT ITER 5465 NEW BEST:: SOT 1375032 SOS 1176629 HAS SOPS 1175957 HAS SOUS 161991 HAS SOUPS 161495 WITH SCORE 162671.629
AT ITER 5483 NEW BEST:: SOT 1375017 SOS 1176614 HAS SOPS 1175942 HAS SOUS 161961 HAS SOUPS 161465 WITH SCORE 162641.614
AT ITER 5542 NEW BEST:: SOT 1374502 SOS 1176079 HAS SOPS 1175407 HAS SOUS 161946 HAS SOUPS 161450 WITH SCORE 162626.079
AT ITER 5584 NEW BEST:: SOT 1374481 SOS 1176177 HAS SOPS 1175505 HAS SOUS 161925 HAS SOUPS 161429 WITH SCORE 162605.177
AT ITER 5591 NEW BEST:: SOT 1374470 SOS 1176166 HAS SOPS 1175494 HAS SOUS 161903 HAS SOUPS 161407 WITH SCORE 162583.166
AT ITER 5609 NEW BEST:: SOT 1374438 SOS 1176102 HAS SOPS 1175430 HAS SOUS 161897 HAS SOUPS 161401 WITH SCORE 162577.102
AT ITER 5615 NEW BEST:: SOT 1374459 SOS 1176087 HAS SOPS 1175400 HAS SOUS 161879 HAS SOUPS 161383 WITH SCORE 162559.087
AT ITER 5624 NEW BEST:: SOT 1374449 SOS 1176182 HAS SOPS 1175495 HAS SOUS 161869 HAS SOUPS 161373 WITH SCORE 162549.182
AT ITER 5638 NEW BEST:: SOT 1374442 SOS 1176175 HAS SOPS 1175488 HAS SOUS 161855 HAS SOUPS 161359 WITH SCORE 162535.175
AT ITER 5645 NEW BEST:: SOT 1374392 SOS 1176125 HAS SOPS 1175438 HAS SOUS 161755 HAS SOUPS 161259 WITH SCORE 162435.125
AT ITER 5653 NEW BEST:: SOT 1374291 SOS 1176130 HAS SOPS 1175443 HAS SOUS 161738 HAS SOUPS 161242 WITH SCORE 162418.13
AT ITER 5666 NEW BEST:: SOT 1374309 SOS 1176098 HAS SOPS 1175411 HAS SOUS 161706 HAS SOUPS 161210 WITH SCORE 162386.098
AT ITER 5696 NEW BEST:: SOT 1374284 SOS 1176073 HAS SOPS 1175386 HAS SOUS 161674 HAS SOUPS 161178 WITH SCORE 162354.073
AT ITER 5742 NEW BEST:: SOT 1374277 SOS 1176073 HAS SOPS 1175386 HAS SOUS 161667 HAS SOUPS 161171 WITH SCORE 162347.073
AT ITER 5763 NEW BEST:: SOT 1374059 SOS 1176029 HAS SOPS 1175342 HAS SOUS 161636 HAS SOUPS 161140 WITH SCORE 162316.029
AT ITER 5767 NEW BEST:: SOT 1374081 SOS 1176090 HAS SOPS 1175403 HAS SOUS 161606 HAS SOUPS 161110 WITH SCORE 162286.09
AT ITER 5779 NEW BEST:: SOT 1374053 SOS 1176120 HAS SOPS 1175433 HAS SOUS 161593 HAS SOUPS 161097 WITH SCORE 162273.12
AT ITER 5820 NEW BEST:: SOT 1374053 SOS 1176120 HAS SOPS 1175433 HAS SOUS 161542 HAS SOUPS 161046 WITH SCORE 162222.12
AT ITER 5851 NEW BEST:: SOT 1374022 SOS 1175996 HAS SOPS 1175309 HAS SOUS 161501 HAS SOUPS 161005 WITH SCORE 162180.996
AT ITER 5861 NEW BEST:: SOT 1374022 SOS 1175912 HAS SOPS 1175225 HAS SOUS 161459 HAS SOUPS 160963 WITH SCORE 162138.912
AT ITER 5871 NEW BEST:: SOT 1373901 SOS 1175918 HAS SOPS 1175231 HAS SOUS 161331 HAS SOUPS 160835 WITH SCORE 162010.918
AT ITER 5921 NEW BEST:: SOT 1373829 SOS 1175974 HAS SOPS 1175287 HAS SOUS 161311 HAS SOUPS 160815 WITH SCORE 161990.974
AT ITER 5922 NEW BEST:: SOT 1373796 SOS 1175908 HAS SOPS 1175221 HAS SOUS 161268 HAS SOUPS 160772 WITH SCORE 161947.908
AT ITER 5926 NEW BEST:: SOT 1373795 SOS 1175906 HAS SOPS 1175219 HAS SOUS 161267 HAS SOUPS 160771 WITH SCORE 161946.906
AT ITER 5927 NEW BEST:: SOT 1373795 SOS 1175886 HAS SOPS 1175199 HAS SOUS 161267 HAS SOUPS 160771 WITH SCORE 161946.886
AT ITER 5967 NEW BEST:: SOT 1373658 SOS 1175878 HAS SOPS 1175193 HAS SOUS 161128 HAS SOUPS 160634 WITH SCORE 161809.878
AT ITER 6017 NEW BEST:: SOT 1373614 SOS 1175790 HAS SOPS 1175105 HAS SOUS 161063 HAS SOUPS 160569 WITH SCORE 161744.79
AT ITER 6027 NEW BEST:: SOT 1373601 SOS 1175777 HAS SOPS 1175092 HAS SOUS 161037 HAS SOUPS 160543 WITH SCORE 161718.777
AT ITER 6029 NEW BEST:: SOT 1373575 SOS 1175751 HAS SOPS 1175066 HAS SOUS 160985 HAS SOUPS 160491 WITH SCORE 161666.751
AT ITER 6083 NEW BEST:: SOT 1373573 SOS 1175769 HAS SOPS 1175084 HAS SOUS 160983 HAS SOUPS 160489 WITH SCORE 161664.769
AT ITER 6110 NEW BEST:: SOT 1373558 SOS 1175303 HAS SOPS 1174618 HAS SOUS 160933 HAS SOUPS 160439 WITH SCORE 161614.303
AT ITER 6111 NEW BEST:: SOT 1373549 SOS 1175237 HAS SOPS 1174552 HAS SOUS 160924 HAS SOUPS 160430 WITH SCORE 161605.237
AT ITER 6116 NEW BEST:: SOT 1373548 SOS 1175143 HAS SOPS 1174458 HAS SOUS 160877 HAS SOUPS 160383 WITH SCORE 161558.143
AT ITER 6131 NEW BEST:: SOT 1373509 SOS 1175065 HAS SOPS 1174380 HAS SOUS 160799 HAS SOUPS 160305 WITH SCORE 161480.065
AT ITER 6174 NEW BEST:: SOT 1373502 SOS 1175051 HAS SOPS 1174366 HAS SOUS 160792 HAS SOUPS 160298 WITH SCORE 161473.051
AT ITER 6186 NEW BEST:: SOT 1373484 SOS 1175023 HAS SOPS 1174338 HAS SOUS 160782 HAS SOUPS 160288 WITH SCORE 161463.023
AT ITER 6199 NEW BEST:: SOT 1373484 SOS 1174993 HAS SOPS 1174308 HAS SOUS 160782 HAS SOUPS 160288 WITH SCORE 161462.993
AT ITER 6251 NEW BEST:: SOT 1373436 SOS 1174945 HAS SOPS 1174308 HAS SOUS 160725 HAS SOUPS 160279 WITH SCORE 161453.945
AT ITER 6261 NEW BEST:: SOT 1373434 SOS 1174943 HAS SOPS 1174306 HAS SOUS 160721 HAS SOUPS 160275 WITH SCORE 161449.943
AT ITER 6270 NEW BEST:: SOT 1373404 SOS 1174883 HAS SOPS 1174246 HAS SOUS 160661 HAS SOUPS 160215 WITH SCORE 161389.883
AT ITER 6279 NEW BEST:: SOT 1373380 SOS 1174859 HAS SOPS 1174222 HAS SOUS 160637 HAS SOUPS 160191 WITH SCORE 161365.859
AT ITER 6281 NEW BEST:: SOT 1373374 SOS 1174847 HAS SOPS 1174210 HAS SOUS 160631 HAS SOUPS 160185 WITH SCORE 161359.847
AT ITER 6297 NEW BEST:: SOT 1373361 SOS 1174821 HAS SOPS 1174184 HAS SOUS 160605 HAS SOUPS 160159 WITH SCORE 161333.821
AT ITER 6347 NEW BEST:: SOT 1373361 SOS 1174821 HAS SOPS 1174184 HAS SOUS 160589 HAS SOUPS 160143 WITH SCORE 161317.821
AT ITER 6357 NEW BEST:: SOT 1373331 SOS 1174641 HAS SOPS 1174004 HAS SOUS 160559 HAS SOUPS 160113 WITH SCORE 161287.641
AT ITER 6376 NEW BEST:: SOT 1373330 SOS 1174857 HAS SOPS 1174220 HAS SOUS 160546 HAS SOUPS 160100 WITH SCORE 161274.857
AT ITER 6389 NEW BEST:: SOT 1373342 SOS 1174868 HAS SOPS 1174231 HAS SOUS 160540 HAS SOUPS 160094 WITH SCORE 161268.868
AT ITER 6399 NEW BEST:: SOT 1373331 SOS 1174846 HAS SOPS 1174209 HAS SOUS 160507 HAS SOUPS 160061 WITH SCORE 161235.846
AT ITER 6453 NEW BEST:: SOT 1373268 SOS 1174846 HAS SOPS 1174209 HAS SOUS 160444 HAS SOUPS 159998 WITH SCORE 161172.846
AT ITER 6475 NEW BEST:: SOT 1373258 SOS 1174836 HAS SOPS 1174199 HAS SOUS 160424 HAS SOUPS 159978 WITH SCORE 161152.836
AT ITER 6523 NEW BEST:: SOT 1373235 SOS 1174813 HAS SOPS 1174176 HAS SOUS 160387 HAS SOUPS 159941 WITH SCORE 161115.813
AT ITER 6582 NEW BEST:: SOT 1373211 SOS 1174789 HAS SOPS 1174152 HAS SOUS 160339 HAS SOUPS 159893 WITH SCORE 161067.789
AT ITER 6626 NEW BEST:: SOT 1372411 SOS 1173989 HAS SOPS 1173352 HAS SOUS 160339 HAS SOUPS 159893 WITH SCORE 161066.989
AT ITER 6631 NEW BEST:: SOT 1372405 SOS 1173983 HAS SOPS 1173346 HAS SOUS 160333 HAS SOUPS 159887 WITH SCORE 161060.983
AT ITER 6652 NEW BEST:: SOT 1372395 SOS 1173973 HAS SOPS 1173336 HAS SOUS 160313 HAS SOUPS 159867 WITH SCORE 161040.973
AT ITER 6663 NEW BEST:: SOT 1372384 SOS 1173962 HAS SOPS 1173325 HAS SOUS 160281 HAS SOUPS 159835 WITH SCORE 161008.962
AT ITER 6698 NEW BEST:: SOT 1372373 SOS 1173951 HAS SOPS 1173314 HAS SOUS 160259 HAS SOUPS 159813 WITH SCORE 160986.951
AT ITER 6764 NEW BEST:: SOT 1372370 SOS 1173948 HAS SOPS 1173311 HAS SOUS 160253 HAS SOUPS 159807 WITH SCORE 160980.948
AT ITER 6765 NEW BEST:: SOT 1372363 SOS 1173948 HAS SOPS 1173311 HAS SOUS 160246 HAS SOUPS 159800 WITH SCORE 160973.948
AT ITER 6838 NEW BEST:: SOT 1371923 SOS 1173222 HAS SOPS 1172607 HAS SOUS 160224 HAS SOUPS 159800 WITH SCORE 160973.222
AT ITER 6901 NEW BEST:: SOT 1371923 SOS 1173222 HAS SOPS 1172607 HAS SOUS 160211 HAS SOUPS 159787 WITH SCORE 160960.222
AT ITER 6913 NEW BEST:: SOT 1371918 SOS 1173217 HAS SOPS 1172602 HAS SOUS 160201 HAS SOUPS 159777 WITH SCORE 160950.217
AT ITER 6920 NEW BEST:: SOT 1371902 SOS 1172905 HAS SOPS 1172303 HAS SOUS 160148 HAS SOUPS 159737 WITH SCORE 160909.905
AT ITER 6940 NEW BEST:: SOT 1371901 SOS 1172904 HAS SOPS 1172302 HAS SOUS 160146 HAS SOUPS 159735 WITH SCORE 160907.904
AT ITER 6956 NEW BEST:: SOT 1371832 SOS 1172934 HAS SOPS 1172332 HAS SOUS 160054 HAS SOUPS 159643 WITH SCORE 160815.934
AT ITER 6982 NEW BEST:: SOT 1371839 SOS 1172898 HAS SOPS 1172296 HAS SOUS 160033 HAS SOUPS 159622 WITH SCORE 160794.898
AT ITER 7029 NEW BEST:: SOT 1371805 SOS 1172864 HAS SOPS 1172262 HAS SOUS 159999 HAS SOUPS 159588 WITH SCORE 160760.864
AT ITER 7032 NEW BEST:: SOT 1371731 SOS 1172790 HAS SOPS 1172188 HAS SOUS 159892 HAS SOUPS 159481 WITH SCORE 160653.79
AT ITER 7039 NEW BEST:: SOT 1371729 SOS 1172817 HAS SOPS 1172215 HAS SOUS 159875 HAS SOUPS 159464 WITH SCORE 160636.817
AT ITER 7054 NEW BEST:: SOT 1371721 SOS 1172809 HAS SOPS 1172207 HAS SOUS 159859 HAS SOUPS 159448 WITH SCORE 160620.809
AT ITER 7065 NEW BEST:: SOT 1371691 SOS 1172849 HAS SOPS 1172247 HAS SOUS 159829 HAS SOUPS 159418 WITH SCORE 160590.849
AT ITER 7102 NEW BEST:: SOT 1371692 SOS 1172850 HAS SOPS 1172248 HAS SOUS 159821 HAS SOUPS 159410 WITH SCORE 160582.85
AT ITER 7110 NEW BEST:: SOT 1371577 SOS 1172862 HAS SOPS 1172260 HAS SOUS 159727 HAS SOUPS 159316 WITH SCORE 160488.862
AT ITER 7166 NEW BEST:: SOT 1371570 SOS 1172855 HAS SOPS 1172253 HAS SOUS 159718 HAS SOUPS 159307 WITH SCORE 160479.855
AT ITER 7170 NEW BEST:: SOT 1371553 SOS 1172838 HAS SOPS 1172236 HAS SOUS 159684 HAS SOUPS 159273 WITH SCORE 160445.838
AT ITER 7172 NEW BEST:: SOT 1371530 SOS 1172792 HAS SOPS 1172190 HAS SOUS 159568 HAS SOUPS 159157 WITH SCORE 160329.792
AT ITER 7174 NEW BEST:: SOT 1371482 SOS 1172866 HAS SOPS 1172264 HAS SOUS 159522 HAS SOUPS 159111 WITH SCORE 160283.866
AT ITER 7186 NEW BEST:: SOT 1371419 SOS 1172857 HAS SOPS 1172255 HAS SOUS 159459 HAS SOUPS 159048 WITH SCORE 160220.857
AT ITER 7239 NEW BEST:: SOT 1371389 SOS 1172827 HAS SOPS 1172225 HAS SOUS 159399 HAS SOUPS 158988 WITH SCORE 160160.827
AT ITER 7252 NEW BEST:: SOT 1371366 SOS 1172693 HAS SOPS 1172091 HAS SOUS 159353 HAS SOUPS 158942 WITH SCORE 160114.693
AT ITER 7276 NEW BEST:: SOT 1371327 SOS 1172491 HAS SOPS 1171889 HAS SOUS 159314 HAS SOUPS 158903 WITH SCORE 160075.491
AT ITER 7307 NEW BEST:: SOT 1370480 SOS 1171644 HAS SOPS 1171042 HAS SOUS 159294 HAS SOUPS 158883 WITH SCORE 160054.644
AT ITER 7331 NEW BEST:: SOT 1370455 SOS 1171594 HAS SOPS 1170992 HAS SOUS 159244 HAS SOUPS 158833 WITH SCORE 160004.594
AT ITER 7332 NEW BEST:: SOT 1370451 SOS 1171586 HAS SOPS 1170984 HAS SOUS 159236 HAS SOUPS 158825 WITH SCORE 159996.586
AT ITER 7346 NEW BEST:: SOT 1370441 SOS 1171576 HAS SOPS 1170974 HAS SOUS 159216 HAS SOUPS 158805 WITH SCORE 159976.576
AT ITER 7394 NEW BEST:: SOT 1370441 SOS 1171576 HAS SOPS 1170974 HAS SOUS 159159 HAS SOUPS 158748 WITH SCORE 159919.576
AT ITER 7418 NEW BEST:: SOT 1370441 SOS 1171576 HAS SOPS 1170974 HAS SOUS 159150 HAS SOUPS 158739 WITH SCORE 159910.576
AT ITER 7424 NEW BEST:: SOT 1370382 SOS 1171143 HAS SOPS 1170541 HAS SOUS 159053 HAS SOUPS 158642 WITH SCORE 159813.143
AT ITER 7438 NEW BEST:: SOT 1370350 SOS 1171111 HAS SOPS 1170509 HAS SOUS 158989 HAS SOUPS 158578 WITH SCORE 159749.111
AT ITER 7468 NEW BEST:: SOT 1370350 SOS 1171105 HAS SOPS 1170503 HAS SOUS 158983 HAS SOUPS 158572 WITH SCORE 159743.105
AT ITER 7478 NEW BEST:: SOT 1369493 SOS 1170248 HAS SOPS 1169646 HAS SOUS 158924 HAS SOUPS 158513 WITH SCORE 159683.248
AT ITER 7520 NEW BEST:: SOT 1369476 SOS 1170231 HAS SOPS 1169629 HAS SOUS 158924 HAS SOUPS 158513 WITH SCORE 159683.231
AT ITER 7547 NEW BEST:: SOT 1369475 SOS 1170231 HAS SOPS 1169629 HAS SOUS 158902 HAS SOUPS 158491 WITH SCORE 159661.231
AT ITER 7550 NEW BEST:: SOT 1369446 SOS 1170173 HAS SOPS 1169571 HAS SOUS 158873 HAS SOUPS 158462 WITH SCORE 159632.173
AT ITER 7595 NEW BEST:: SOT 1369431 SOS 1170158 HAS SOPS 1169556 HAS SOUS 158843 HAS SOUPS 158432 WITH SCORE 159602.158
AT ITER 7636 NEW BEST:: SOT 1369384 SOS 1169970 HAS SOPS 1169368 HAS SOUS 158768 HAS SOUPS 158357 WITH SCORE 159526.97
AT ITER 7643 NEW BEST:: SOT 1369336 SOS 1169854 HAS SOPS 1169252 HAS SOUS 158643 HAS SOUPS 158232 WITH SCORE 159401.854
AT ITER 7660 NEW BEST:: SOT 1369321 SOS 1169824 HAS SOPS 1169222 HAS SOUS 158628 HAS SOUPS 158217 WITH SCORE 159386.824
AT ITER 7684 NEW BEST:: SOT 1369273 SOS 1169776 HAS SOPS 1169174 HAS SOUS 158532 HAS SOUPS 158121 WITH SCORE 159290.776
AT ITER 7696 NEW BEST:: SOT 1369273 SOS 1169774 HAS SOPS 1169172 HAS SOUS 158532 HAS SOUPS 158121 WITH SCORE 159290.774
AT ITER 7704 NEW BEST:: SOT 1369267 SOS 1169868 HAS SOPS 1169266 HAS SOUS 158523 HAS SOUPS 158112 WITH SCORE 159281.868
AT ITER 7715 NEW BEST:: SOT 1369267 SOS 1169838 HAS SOPS 1169236 HAS SOUS 158513 HAS SOUPS 158102 WITH SCORE 159271.838
AT ITER 7758 NEW BEST:: SOT 1369267 SOS 1169832 HAS SOPS 1169230 HAS SOUS 158513 HAS SOUPS 158102 WITH SCORE 159271.832
AT ITER 7786 NEW BEST:: SOT 1369256 SOS 1169810 HAS SOPS 1169208 HAS SOUS 158502 HAS SOUPS 158091 WITH SCORE 159260.81
AT ITER 7805 NEW BEST:: SOT 1369256 SOS 1169810 HAS SOPS 1169208 HAS SOUS 158497 HAS SOUPS 158086 WITH SCORE 159255.81
AT ITER 7827 NEW BEST:: SOT 1369236 SOS 1169722 HAS SOPS 1169120 HAS SOUS 158459 HAS SOUPS 158048 WITH SCORE 159217.722
AT ITER 7877 NEW BEST:: SOT 1369252 SOS 1169709 HAS SOPS 1169083 HAS SOUS 158428 HAS SOUPS 158017 WITH SCORE 159186.709
AT ITER 7893 NEW BEST:: SOT 1369237 SOS 1169679 HAS SOPS 1169053 HAS SOUS 158398 HAS SOUPS 157987 WITH SCORE 159156.679
AT ITER 7895 NEW BEST:: SOT 1369171 SOS 1169613 HAS SOPS 1168987 HAS SOUS 158266 HAS SOUPS 157855 WITH SCORE 159024.613
AT ITER 7914 NEW BEST:: SOT 1367763 SOS 1167198 HAS SOPS 1166572 HAS SOUS 158238 HAS SOUPS 157827 WITH SCORE 158994.198
AT ITER 7966 NEW BEST:: SOT 1367774 SOS 1167220 HAS SOPS 1166594 HAS SOUS 158237 HAS SOUPS 157826 WITH SCORE 158993.22
AT ITER 7997 NEW BEST:: SOT 1367757 SOS 1167326 HAS SOPS 1166700 HAS SOUS 158228 HAS SOUPS 157817 WITH SCORE 158984.326
AT ITER 8052 NEW BEST:: SOT 1367747 SOS 1167316 HAS SOPS 1166690 HAS SOUS 158208 HAS SOUPS 157797 WITH SCORE 158964.316
AT ITER 8059 NEW BEST:: SOT 1367743 SOS 1167312 HAS SOPS 1166686 HAS SOUS 158200 HAS SOUPS 157789 WITH SCORE 158956.312
AT ITER 8085 NEW BEST:: SOT 1367735 SOS 1167296 HAS SOPS 1166670 HAS SOUS 158184 HAS SOUPS 157773 WITH SCORE 158940.296
AT ITER 8101 NEW BEST:: SOT 1367735 SOS 1167274 HAS SOPS 1166648 HAS SOUS 158173 HAS SOUPS 157762 WITH SCORE 158929.274
AT ITER 8114 NEW BEST:: SOT 1367722 SOS 1167202 HAS SOPS 1166576 HAS SOUS 158160 HAS SOUPS 157749 WITH SCORE 158916.202
AT ITER 8228 NEW BEST:: SOT 1367714 SOS 1167194 HAS SOPS 1166568 HAS SOUS 158152 HAS SOUPS 157741 WITH SCORE 158908.194
AT ITER 8259 NEW BEST:: SOT 1367708 SOS 1167188 HAS SOPS 1166562 HAS SOUS 158140 HAS SOUPS 157729 WITH SCORE 158896.188
AT ITER 8283 NEW BEST:: SOT 1367700 SOS 1167180 HAS SOPS 1166554 HAS SOUS 158124 HAS SOUPS 157713 WITH SCORE 158880.18
AT ITER 8298 NEW BEST:: SOT 1367698 SOS 1167176 HAS SOPS 1166550 HAS SOUS 158110 HAS SOUPS 157699 WITH SCORE 158866.176
AT ITER 8302 NEW BEST:: SOT 1367730 SOS 1167240 HAS SOPS 1166614 HAS SOUS 158093 HAS SOUPS 157682 WITH SCORE 158849.24
AT ITER 8336 NEW BEST:: SOT 1367720 SOS 1167220 HAS SOPS 1166594 HAS SOUS 158078 HAS SOUPS 157667 WITH SCORE 158834.22
AT ITER 8338 NEW BEST:: SOT 1367713 SOS 1167206 HAS SOPS 1166580 HAS SOUS 158071 HAS SOUPS 157660 WITH SCORE 158827.206
AT ITER 8354 NEW BEST:: SOT 1367721 SOS 1167162 HAS SOPS 1166536 HAS SOUS 158067 HAS SOUPS 157656 WITH SCORE 158823.162
AT ITER 8367 NEW BEST:: SOT 1367769 SOS 1167278 HAS SOPS 1166652 HAS SOUS 158055 HAS SOUPS 157644 WITH SCORE 158811.278
AT ITER 8404 NEW BEST:: SOT 1367764 SOS 1167273 HAS SOPS 1166647 HAS SOUS 158055 HAS SOUPS 157644 WITH SCORE 158811.273
AT ITER 8419 NEW BEST:: SOT 1367761 SOS 1167273 HAS SOPS 1166647 HAS SOUS 158052 HAS SOUPS 157641 WITH SCORE 158808.273
AT ITER 8424 NEW BEST:: SOT 1367743 SOS 1167273 HAS SOPS 1166647 HAS SOUS 158034 HAS SOUPS 157623 WITH SCORE 158790.273
AT ITER 8477 NEW BEST:: SOT 1367755 SOS 1167278 HAS SOPS 1166652 HAS SOUS 158031 HAS SOUPS 157620 WITH SCORE 158787.278
AT ITER 8514 NEW BEST:: SOT 1367738 SOS 1167244 HAS SOPS 1166618 HAS SOUS 158014 HAS SOUPS 157603 WITH SCORE 158770.244
AT ITER 8517 NEW BEST:: SOT 1367736 SOS 1167240 HAS SOPS 1166614 HAS SOUS 158012 HAS SOUPS 157601 WITH SCORE 158768.24
AT ITER 8518 NEW BEST:: SOT 1367718 SOS 1167316 HAS SOPS 1166690 HAS SOUS 157987 HAS SOUPS 157576 WITH SCORE 158743.316
AT ITER 8529 NEW BEST:: SOT 1367684 SOS 1167823 HAS SOPS 1167197 HAS SOUS 157963 HAS SOUPS 157552 WITH SCORE 158719.823
AT ITER 8599 NEW BEST:: SOT 1367684 SOS 1167819 HAS SOPS 1167193 HAS SOUS 157963 HAS SOUPS 157552 WITH SCORE 158719.819
AT ITER 8622 NEW BEST:: SOT 1367660 SOS 1167805 HAS SOPS 1167194 HAS SOUS 157942 HAS SOUPS 157531 WITH SCORE 158698.805
AT ITER 8669 NEW BEST:: SOT 1367639 SOS 1167823 HAS SOPS 1167212 HAS SOUS 157924 HAS SOUPS 157513 WITH SCORE 158680.823
AT ITER 8678 NEW BEST:: SOT 1367611 SOS 1167795 HAS SOPS 1167184 HAS SOUS 157868 HAS SOUPS 157457 WITH SCORE 158624.795
AT ITER 8685 NEW BEST:: SOT 1367610 SOS 1167803 HAS SOPS 1167192 HAS SOUS 157866 HAS SOUPS 157455 WITH SCORE 158622.803
AT ITER 8748 NEW BEST:: SOT 1367597 SOS 1167790 HAS SOPS 1167179 HAS SOUS 157853 HAS SOUPS 157442 WITH SCORE 158609.79
AT ITER 8758 NEW BEST:: SOT 1367578 SOS 1167771 HAS SOPS 1167160 HAS SOUS 157815 HAS SOUPS 157404 WITH SCORE 158571.771
AT ITER 8770 NEW BEST:: SOT 1367553 SOS 1167721 HAS SOPS 1167110 HAS SOUS 157746 HAS SOUPS 157335 WITH SCORE 158502.721
AT ITER 8832 NEW BEST:: SOT 1367513 SOS 1167551 HAS SOPS 1166940 HAS SOUS 157661 HAS SOUPS 157250 WITH SCORE 158417.551
AT ITER 8845 NEW BEST:: SOT 1367497 SOS 1167535 HAS SOPS 1166924 HAS SOUS 157629 HAS SOUPS 157218 WITH SCORE 158385.535
AT ITER 8879 NEW BEST:: SOT 1367497 SOS 1167477 HAS SOPS 1166866 HAS SOUS 157629 HAS SOUPS 157218 WITH SCORE 158385.477
AT ITER 8896 NEW BEST:: SOT 1367490 SOS 1167470 HAS SOPS 1166859 HAS SOUS 157615 HAS SOUPS 157204 WITH SCORE 158371.47
AT ITER 8960 NEW BEST:: SOT 1367476 SOS 1167456 HAS SOPS 1166845 HAS SOUS 157587 HAS SOUPS 157176 WITH SCORE 158343.456
AT ITER 8994 NEW BEST:: SOT 1367432 SOS 1167368 HAS SOPS 1166757 HAS SOUS 157499 HAS SOUPS 157088 WITH SCORE 158255.368
AT ITER 9065 NEW BEST:: SOT 1367427 SOS 1167363 HAS SOPS 1166752 HAS SOUS 157489 HAS SOUPS 157078 WITH SCORE 158245.363
AT ITER 9103 NEW BEST:: SOT 1367369 SOS 1167305 HAS SOPS 1166694 HAS SOUS 157373 HAS SOUPS 156962 WITH SCORE 158129.305
AT ITER 9155 NEW BEST:: SOT 1367360 SOS 1167287 HAS SOPS 1166676 HAS SOUS 157355 HAS SOUPS 156944 WITH SCORE 158111.287
AT ITER 9193 NEW BEST:: SOT 1367360 SOS 1167287 HAS SOPS 1166676 HAS SOUS 157346 HAS SOUPS 156935 WITH SCORE 158102.287
AT ITER 9196 NEW BEST:: SOT 1367332 SOS 1167231 HAS SOPS 1166620 HAS SOUS 157290 HAS SOUPS 156879 WITH SCORE 158046.231
AT ITER 9246 NEW BEST:: SOT 1367331 SOS 1167229 HAS SOPS 1166618 HAS SOUS 157289 HAS SOUPS 156878 WITH SCORE 158045.229
AT ITER 9253 NEW BEST:: SOT 1367263 SOS 1167239 HAS SOPS 1166628 HAS SOUS 157279 HAS SOUPS 156868 WITH SCORE 158035.239
AT ITER 9273 NEW BEST:: SOT 1367718 SOS 1167694 HAS SOPS 1167083 HAS SOUS 157230 HAS SOUPS 156819 WITH SCORE 157986.694
AT ITER 9280 NEW BEST:: SOT 1367718 SOS 1167632 HAS SOPS 1167021 HAS SOUS 157230 HAS SOUPS 156819 WITH SCORE 157986.632
AT ITER 9339 NEW BEST:: SOT 1367707 SOS 1167802 HAS SOPS 1167191 HAS SOUS 157227 HAS SOUPS 156816 WITH SCORE 157983.802
AT ITER 9349 NEW BEST:: SOT 1367672 SOS 1167732 HAS SOPS 1167121 HAS SOUS 157192 HAS SOUPS 156781 WITH SCORE 157948.732
AT ITER 9356 NEW BEST:: SOT 1367639 SOS 1167699 HAS SOPS 1167088 HAS SOUS 157126 HAS SOUPS 156715 WITH SCORE 157882.699
AT ITER 9406 NEW BEST:: SOT 1367620 SOS 1167579 HAS SOPS 1166968 HAS SOUS 157107 HAS SOUPS 156696 WITH SCORE 157863.579
AT ITER 9448 NEW BEST:: SOT 1367616 SOS 1167571 HAS SOPS 1166960 HAS SOUS 157100 HAS SOUPS 156689 WITH SCORE 157856.571
AT ITER 9450 NEW BEST:: SOT 1367555 SOS 1167609 HAS SOPS 1166998 HAS SOUS 157086 HAS SOUPS 156675 WITH SCORE 157842.609
AT ITER 9468 NEW BEST:: SOT 1367554 SOS 1167608 HAS SOPS 1166996 HAS SOUS 157084 HAS SOUPS 156673 WITH SCORE 157840.608
AT ITER 9475 NEW BEST:: SOT 1367468 SOS 1167315 HAS SOPS 1166703 HAS SOUS 156925 HAS SOUPS 156514 WITH SCORE 157681.315
AT ITER 9512 NEW BEST:: SOT 1367468 SOS 1167291 HAS SOPS 1166679 HAS SOUS 156925 HAS SOUPS 156514 WITH SCORE 157681.291
AT ITER 9586 NEW BEST:: SOT 1367468 SOS 1167291 HAS SOPS 1166679 HAS SOUS 156923 HAS SOUPS 156512 WITH SCORE 157679.291
AT ITER 9594 NEW BEST:: SOT 1367468 SOS 1167277 HAS SOPS 1166665 HAS SOUS 156916 HAS SOUPS 156505 WITH SCORE 157672.277
AT ITER 9613 NEW BEST:: SOT 1367468 SOS 1167277 HAS SOPS 1166665 HAS SOUS 156909 HAS SOUPS 156498 WITH SCORE 157665.277
AT ITER 9654 NEW BEST:: SOT 1367459 SOS 1167268 HAS SOPS 1166656 HAS SOUS 156858 HAS SOUPS 156447 WITH SCORE 157614.268
AT ITER 9683 NEW BEST:: SOT 1367459 SOS 1167266 HAS SOPS 1166654 HAS SOUS 156858 HAS SOUPS 156447 WITH SCORE 157614.266
AT ITER 9761 NEW BEST:: SOT 1367459 SOS 1167266 HAS SOPS 1166654 HAS SOUS 156820 HAS SOUPS 156409 WITH SCORE 157576.266
AT ITER 9882 NEW BEST:: SOT 1367459 SOS 1167266 HAS SOPS 1166619 HAS SOUS 156820 HAS SOUPS 156374 WITH SCORE 157541.266
AT ITER 9888 NEW BEST:: SOT 1367393 SOS 1167213 HAS SOPS 1166566 HAS SOUS 156688 HAS SOUPS 156242 WITH SCORE 157409.213
AT ITER 9915 NEW BEST:: SOT 1367366 SOS 1167186 HAS SOPS 1166539 HAS SOUS 156661 HAS SOUPS 156215 WITH SCORE 157382.186
AT ITER 9963 NEW BEST:: SOT 1367336 SOS 1167126 HAS SOPS 1166479 HAS SOUS 156626 HAS SOUPS 156180 WITH SCORE 157347.126
AT ITER 9964 NEW BEST:: SOT 1367332 SOS 1167122 HAS SOPS 1166475 HAS SOUS 156618 HAS SOUPS 156172 WITH SCORE 157339.122
AT ITER 9967 NEW BEST:: SOT 1367328 SOS 1167118 HAS SOPS 1166471 HAS SOUS 156614 HAS SOUPS 156168 WITH SCORE 157335.118
AT ITER 9971 NEW BEST:: SOT 1367308 SOS 1167091 HAS SOPS 1166444 HAS SOUS 156592 HAS SOUPS 156146 WITH SCORE 157313.091
AT ITER 9977 NEW BEST:: SOT 1367304 SOS 1167063 HAS SOPS 1166416 HAS SOUS 156588 HAS SOUPS 156142 WITH SCORE 157309.063
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7312908 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16126276 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Anderson-PT-11"
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 Anderson-PT-11, 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 r523-tall-167987247500064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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