About the Execution of Smart+red for NoC3x3-PT-5A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
14447.336 | 3600000.00 | 3623271.00 | 10166.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r267-smll-167863541600296.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 NoC3x3-PT-5A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541600296
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 688K
-rw-r--r-- 1 mcc users 7.4K Feb 26 09:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 09:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 09:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 09:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 09:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 09:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 09:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 26 09:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 248K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678839948492
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=NoC3x3-PT-5A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 00:25:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 00:25:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 00:25:51] [INFO ] Load time of PNML (sax parser for PT used): 337 ms
[2023-03-15 00:25:51] [INFO ] Transformed 417 places.
[2023-03-15 00:25:52] [INFO ] Transformed 933 transitions.
[2023-03-15 00:25:52] [INFO ] Found NUPN structural information;
[2023-03-15 00:25:52] [INFO ] Parsed PT model containing 417 places and 933 transitions and 3585 arcs in 541 ms.
[2023-03-15 00:25:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 417 places, 933 transitions and 3585 arcs took 25 ms.
Total runtime 625 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 5A
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: 417 places, 933 transitions, 3585 arcs.
AT ITER 0 NEW BEST:: SOT 315375 SOS 247722 HAS SOPS 247085 HAS SOUS 169121 HAS SOUPS 168739 WITH SCORE 168986.722
AT ITER 1 NEW BEST:: SOT 315298 SOS 247472 HAS SOPS 246835 HAS SOUS 169032 HAS SOUPS 168650 WITH SCORE 168897.472
AT ITER 6 NEW BEST:: SOT 314778 SOS 246983 HAS SOPS 246346 HAS SOUS 168449 HAS SOUPS 168067 WITH SCORE 168313.983
AT ITER 7 NEW BEST:: SOT 314777 SOS 246836 HAS SOPS 246199 HAS SOUS 168300 HAS SOUPS 167918 WITH SCORE 168164.836
AT ITER 9 NEW BEST:: SOT 313816 SOS 245834 HAS SOPS 245197 HAS SOUS 167296 HAS SOUPS 166914 WITH SCORE 167159.834
AT ITER 10 NEW BEST:: SOT 313853 SOS 245872 HAS SOPS 245235 HAS SOUS 166955 HAS SOUPS 166573 WITH SCORE 166818.872
AT ITER 15 NEW BEST:: SOT 313602 SOS 245313 HAS SOPS 244676 HAS SOUS 166846 HAS SOUPS 166464 WITH SCORE 166709.313
AT ITER 18 NEW BEST:: SOT 311559 SOS 242636 HAS SOPS 241999 HAS SOUS 164784 HAS SOUPS 164402 WITH SCORE 164644.636
AT ITER 20 NEW BEST:: SOT 310639 SOS 240670 HAS SOPS 240033 HAS SOUS 163471 HAS SOUPS 163089 WITH SCORE 163329.67
AT ITER 21 NEW BEST:: SOT 311612 SOS 241372 HAS SOPS 239824 HAS SOUS 164320 HAS SOUPS 163072 WITH SCORE 163313.372
AT ITER 23 NEW BEST:: SOT 309983 SOS 239475 HAS SOPS 238174 HAS SOUS 162184 HAS SOUPS 161169 WITH SCORE 161408.475
AT ITER 28 NEW BEST:: SOT 309159 SOS 239460 HAS SOPS 238159 HAS SOUS 160448 HAS SOUPS 159433 WITH SCORE 159672.46
AT ITER 30 NEW BEST:: SOT 309535 SOS 239975 HAS SOPS 238674 HAS SOUS 159778 HAS SOUPS 158763 WITH SCORE 159002.975
AT ITER 31 NEW BEST:: SOT 309535 SOS 240019 HAS SOPS 238718 HAS SOUS 159644 HAS SOUPS 158629 WITH SCORE 158869.019
AT ITER 34 NEW BEST:: SOT 308859 SOS 239269 HAS SOPS 237968 HAS SOUS 158894 HAS SOUPS 157879 WITH SCORE 158118.269
AT ITER 39 NEW BEST:: SOT 308230 SOS 238640 HAS SOPS 237339 HAS SOUS 158384 HAS SOUPS 157369 WITH SCORE 157607.64
AT ITER 40 NEW BEST:: SOT 308195 SOS 238535 HAS SOPS 237234 HAS SOUS 158209 HAS SOUPS 157194 WITH SCORE 157432.535
AT ITER 43 NEW BEST:: SOT 308195 SOS 238526 HAS SOPS 237225 HAS SOUS 158191 HAS SOUPS 157176 WITH SCORE 157414.526
AT ITER 47 NEW BEST:: SOT 308033 SOS 238364 HAS SOPS 237063 HAS SOUS 158005 HAS SOUPS 156990 WITH SCORE 157228.364
AT ITER 57 NEW BEST:: SOT 307158 SOS 237489 HAS SOPS 236188 HAS SOUS 157094 HAS SOUPS 156079 WITH SCORE 156316.489
AT ITER 59 NEW BEST:: SOT 305182 SOS 235300 HAS SOPS 233999 HAS SOUS 155648 HAS SOUPS 154633 WITH SCORE 154868.3
AT ITER 64 NEW BEST:: SOT 304948 SOS 235066 HAS SOPS 233999 HAS SOUS 155414 HAS SOUPS 154633 WITH SCORE 154868.066
AT ITER 66 NEW BEST:: SOT 304014 SOS 233562 HAS SOPS 232495 HAS SOUS 154360 HAS SOUPS 153579 WITH SCORE 153812.562
AT ITER 71 NEW BEST:: SOT 303999 SOS 232555 HAS SOPS 231488 HAS SOUS 154287 HAS SOUPS 153506 WITH SCORE 153738.555
AT ITER 72 NEW BEST:: SOT 303928 SOS 232072 HAS SOPS 231005 HAS SOUS 154167 HAS SOUPS 153386 WITH SCORE 153618.072
AT ITER 75 NEW BEST:: SOT 303189 SOS 230759 HAS SOPS 229612 HAS SOUS 153406 HAS SOUPS 152545 WITH SCORE 152775.759
AT ITER 81 NEW BEST:: SOT 302692 SOS 230142 HAS SOPS 228995 HAS SOUS 152809 HAS SOUPS 151948 WITH SCORE 152178.142
AT ITER 85 NEW BEST:: SOT 302284 SOS 229631 HAS SOPS 228484 HAS SOUS 152649 HAS SOUPS 151788 WITH SCORE 152017.631
AT ITER 88 NEW BEST:: SOT 302046 SOS 229225 HAS SOPS 228078 HAS SOUS 152439 HAS SOUPS 151578 WITH SCORE 151807.225
AT ITER 90 NEW BEST:: SOT 301876 SOS 229055 HAS SOPS 227908 HAS SOUS 152346 HAS SOUPS 151485 WITH SCORE 151714.055
AT ITER 92 NEW BEST:: SOT 301701 SOS 228880 HAS SOPS 227733 HAS SOUS 152220 HAS SOUPS 151359 WITH SCORE 151587.88
AT ITER 93 NEW BEST:: SOT 301701 SOS 228883 HAS SOPS 227736 HAS SOUS 152210 HAS SOUPS 151349 WITH SCORE 151577.883
AT ITER 94 NEW BEST:: SOT 299634 SOS 226932 HAS SOPS 225785 HAS SOUS 150064 HAS SOUPS 149203 WITH SCORE 149429.932
AT ITER 97 NEW BEST:: SOT 299427 SOS 226725 HAS SOPS 225578 HAS SOUS 149873 HAS SOUPS 149012 WITH SCORE 149238.725
AT ITER 98 NEW BEST:: SOT 299421 SOS 226723 HAS SOPS 225576 HAS SOUS 149864 HAS SOUPS 149003 WITH SCORE 149229.723
AT ITER 100 NEW BEST:: SOT 299514 SOS 226732 HAS SOPS 225607 HAS SOUS 149721 HAS SOUPS 148871 WITH SCORE 149097.732
AT ITER 102 NEW BEST:: SOT 299508 SOS 226726 HAS SOPS 225601 HAS SOUS 149717 HAS SOUPS 148867 WITH SCORE 149093.726
AT ITER 103 NEW BEST:: SOT 299499 SOS 226717 HAS SOPS 225592 HAS SOUS 149708 HAS SOUPS 148858 WITH SCORE 149084.717
AT ITER 107 NEW BEST:: SOT 296704 SOS 223857 HAS SOPS 222732 HAS SOUS 146848 HAS SOUPS 145998 WITH SCORE 146221.857
AT ITER 108 NEW BEST:: SOT 294376 SOS 221943 HAS SOPS 220818 HAS SOUS 144515 HAS SOUPS 143665 WITH SCORE 143886.943
AT ITER 113 NEW BEST:: SOT 294900 SOS 221882 HAS SOPS 220757 HAS SOUS 144463 HAS SOUPS 143613 WITH SCORE 143834.882
AT ITER 114 NEW BEST:: SOT 294709 SOS 221261 HAS SOPS 220136 HAS SOUS 144124 HAS SOUPS 143274 WITH SCORE 143495.261
AT ITER 115 NEW BEST:: SOT 294812 SOS 221292 HAS SOPS 220167 HAS SOUS 144107 HAS SOUPS 143257 WITH SCORE 143478.292
AT ITER 120 NEW BEST:: SOT 294222 SOS 220700 HAS SOPS 219575 HAS SOUS 143506 HAS SOUPS 142656 WITH SCORE 142876.7
AT ITER 121 NEW BEST:: SOT 292181 SOS 218799 HAS SOPS 217674 HAS SOUS 141537 HAS SOUPS 140687 WITH SCORE 140905.799
AT ITER 125 NEW BEST:: SOT 292264 SOS 218867 HAS SOPS 217742 HAS SOUS 141482 HAS SOUPS 140632 WITH SCORE 140850.867
AT ITER 126 NEW BEST:: SOT 292157 SOS 218760 HAS SOPS 217635 HAS SOUS 141387 HAS SOUPS 140537 WITH SCORE 140755.76
AT ITER 130 NEW BEST:: SOT 291991 SOS 217466 HAS SOPS 216341 HAS SOUS 141307 HAS SOUPS 140457 WITH SCORE 140674.466
AT ITER 135 NEW BEST:: SOT 291964 SOS 217439 HAS SOPS 216314 HAS SOUS 141271 HAS SOUPS 140421 WITH SCORE 140638.439
AT ITER 136 NEW BEST:: SOT 291269 SOS 217545 HAS SOPS 216420 HAS SOUS 140852 HAS SOUPS 140002 WITH SCORE 140219.545
AT ITER 139 NEW BEST:: SOT 288853 SOS 214633 HAS SOPS 213508 HAS SOUS 137820 HAS SOUPS 136970 WITH SCORE 137184.633
AT ITER 143 NEW BEST:: SOT 288853 SOS 215180 HAS SOPS 214055 HAS SOUS 137735 HAS SOUPS 136885 WITH SCORE 137100.18
AT ITER 148 NEW BEST:: SOT 288836 SOS 215147 HAS SOPS 214022 HAS SOUS 137702 HAS SOUPS 136852 WITH SCORE 137067.147
AT ITER 150 NEW BEST:: SOT 288901 SOS 215212 HAS SOPS 214087 HAS SOUS 137509 HAS SOUPS 136659 WITH SCORE 136874.212
AT ITER 152 NEW BEST:: SOT 288901 SOS 215310 HAS SOPS 214185 HAS SOUS 137460 HAS SOUPS 136610 WITH SCORE 136825.31
AT ITER 153 NEW BEST:: SOT 289057 SOS 215635 HAS SOPS 214354 HAS SOUS 137496 HAS SOUPS 136530 WITH SCORE 136745.635
AT ITER 154 NEW BEST:: SOT 288599 SOS 215177 HAS SOPS 213896 HAS SOUS 136886 HAS SOUPS 135920 WITH SCORE 136135.177
AT ITER 156 NEW BEST:: SOT 288261 SOS 214839 HAS SOPS 213558 HAS SOUS 136574 HAS SOUPS 135608 WITH SCORE 135822.839
AT ITER 161 NEW BEST:: SOT 288244 SOS 214886 HAS SOPS 213605 HAS SOUS 136407 HAS SOUPS 135441 WITH SCORE 135655.886
AT ITER 166 NEW BEST:: SOT 287630 SOS 214130 HAS SOPS 212849 HAS SOUS 135178 HAS SOUPS 134212 WITH SCORE 134426.13
AT ITER 174 NEW BEST:: SOT 287532 SOS 214040 HAS SOPS 212759 HAS SOUS 135087 HAS SOUPS 134121 WITH SCORE 134335.04
AT ITER 176 NEW BEST:: SOT 287532 SOS 214037 HAS SOPS 212759 HAS SOUS 135087 HAS SOUPS 134121 WITH SCORE 134335.037
AT ITER 180 NEW BEST:: SOT 286294 SOS 212756 HAS SOPS 211478 HAS SOUS 133770 HAS SOUPS 132804 WITH SCORE 133016.756
AT ITER 183 NEW BEST:: SOT 286382 SOS 212742 HAS SOPS 211464 HAS SOUS 133689 HAS SOUPS 132723 WITH SCORE 132935.742
AT ITER 184 NEW BEST:: SOT 286238 SOS 211760 HAS SOPS 210482 HAS SOUS 133611 HAS SOUPS 132645 WITH SCORE 132856.76
AT ITER 186 NEW BEST:: SOT 286128 SOS 211703 HAS SOPS 210425 HAS SOUS 133435 HAS SOUPS 132469 WITH SCORE 132680.703
AT ITER 187 NEW BEST:: SOT 285950 SOS 211573 HAS SOPS 210295 HAS SOUS 133332 HAS SOUPS 132366 WITH SCORE 132577.573
AT ITER 193 NEW BEST:: SOT 284843 SOS 210329 HAS SOPS 209051 HAS SOUS 132094 HAS SOUPS 131128 WITH SCORE 131338.329
AT ITER 194 NEW BEST:: SOT 284843 SOS 210499 HAS SOPS 209221 HAS SOUS 132031 HAS SOUPS 131065 WITH SCORE 131275.499
AT ITER 198 NEW BEST:: SOT 284843 SOS 210666 HAS SOPS 209388 HAS SOUS 131974 HAS SOUPS 131008 WITH SCORE 131218.666
AT ITER 200 NEW BEST:: SOT 284493 SOS 210132 HAS SOPS 208815 HAS SOUS 130846 HAS SOUPS 129841 WITH SCORE 130051.132
AT ITER 201 NEW BEST:: SOT 284899 SOS 209092 HAS SOPS 207092 HAS SOUS 130927 HAS SOUPS 129325 WITH SCORE 129534.092
AT ITER 204 NEW BEST:: SOT 284897 SOS 209090 HAS SOPS 207090 HAS SOUS 130925 HAS SOUPS 129323 WITH SCORE 129532.09
AT ITER 205 NEW BEST:: SOT 284897 SOS 209086 HAS SOPS 207086 HAS SOUS 130925 HAS SOUPS 129323 WITH SCORE 129532.086
AT ITER 206 NEW BEST:: SOT 284897 SOS 209070 HAS SOPS 207070 HAS SOUS 130893 HAS SOUPS 129291 WITH SCORE 129500.07
AT ITER 208 NEW BEST:: SOT 284897 SOS 209084 HAS SOPS 207084 HAS SOUS 130879 HAS SOUPS 129277 WITH SCORE 129486.084
AT ITER 222 NEW BEST:: SOT 284891 SOS 209078 HAS SOPS 207078 HAS SOUS 130445 HAS SOUPS 128843 WITH SCORE 129052.078
AT ITER 229 NEW BEST:: SOT 284891 SOS 208544 HAS SOPS 206544 HAS SOUS 130375 HAS SOUPS 128773 WITH SCORE 128981.544
AT ITER 231 NEW BEST:: SOT 284883 SOS 208438 HAS SOPS 206438 HAS SOUS 130265 HAS SOUPS 128663 WITH SCORE 128871.438
AT ITER 234 NEW BEST:: SOT 284852 SOS 208292 HAS SOPS 206363 HAS SOUS 130198 HAS SOUPS 128633 WITH SCORE 128841.292
AT ITER 256 NEW BEST:: SOT 285150 SOS 209278 HAS SOPS 207349 HAS SOUS 130138 HAS SOUPS 128573 WITH SCORE 128782.278
AT ITER 258 NEW BEST:: SOT 285245 SOS 209151 HAS SOPS 207260 HAS SOUS 129755 HAS SOUPS 128228 WITH SCORE 128437.151
AT ITER 263 NEW BEST:: SOT 285410 SOS 209796 HAS SOPS 208010 HAS SOUS 129426 HAS SOUPS 127971 WITH SCORE 128180.796
AT ITER 264 NEW BEST:: SOT 285479 SOS 210110 HAS SOPS 208393 HAS SOUS 129296 HAS SOUPS 127910 WITH SCORE 128120.11
AT ITER 274 NEW BEST:: SOT 284697 SOS 210090 HAS SOPS 208373 HAS SOUS 128734 HAS SOUPS 127348 WITH SCORE 127558.09
AT ITER 276 NEW BEST:: SOT 284644 SOS 210232 HAS SOPS 208515 HAS SOUS 128542 HAS SOUPS 127156 WITH SCORE 127366.232
AT ITER 277 NEW BEST:: SOT 284644 SOS 210379 HAS SOPS 208662 HAS SOUS 128527 HAS SOUPS 127141 WITH SCORE 127351.379
AT ITER 284 NEW BEST:: SOT 284622 SOS 210361 HAS SOPS 208644 HAS SOUS 128297 HAS SOUPS 126911 WITH SCORE 127121.361
AT ITER 293 NEW BEST:: SOT 284622 SOS 210329 HAS SOPS 208612 HAS SOUS 128201 HAS SOUPS 126815 WITH SCORE 127025.329
AT ITER 295 NEW BEST:: SOT 284157 SOS 209864 HAS SOPS 208147 HAS SOUS 127707 HAS SOUPS 126321 WITH SCORE 126530.864
AT ITER 296 NEW BEST:: SOT 284045 SOS 209416 HAS SOPS 207699 HAS SOUS 127490 HAS SOUPS 126104 WITH SCORE 126313.416
AT ITER 298 NEW BEST:: SOT 283373 SOS 208744 HAS SOPS 207027 HAS SOUS 126698 HAS SOUPS 125312 WITH SCORE 125520.744
AT ITER 301 NEW BEST:: SOT 283297 SOS 208568 HAS SOPS 206851 HAS SOUS 126526 HAS SOUPS 125140 WITH SCORE 125348.568
AT ITER 303 NEW BEST:: SOT 283340 SOS 208777 HAS SOPS 207093 HAS SOUS 126136 HAS SOUPS 124783 WITH SCORE 124991.777
AT ITER 307 NEW BEST:: SOT 283255 SOS 208692 HAS SOPS 207008 HAS SOUS 125965 HAS SOUPS 124612 WITH SCORE 124820.692
AT ITER 314 NEW BEST:: SOT 282961 SOS 208398 HAS SOPS 206714 HAS SOUS 125546 HAS SOUPS 124193 WITH SCORE 124401.398
AT ITER 321 NEW BEST:: SOT 283146 SOS 208523 HAS SOPS 206869 HAS SOUS 125417 HAS SOUPS 124094 WITH SCORE 124302.523
AT ITER 325 NEW BEST:: SOT 283151 SOS 208528 HAS SOPS 206874 HAS SOUS 125412 HAS SOUPS 124089 WITH SCORE 124297.528
AT ITER 326 NEW BEST:: SOT 282358 SOS 208757 HAS SOPS 207103 HAS SOUS 124930 HAS SOUPS 123607 WITH SCORE 123815.757
AT ITER 327 NEW BEST:: SOT 282235 SOS 208559 HAS SOPS 206905 HAS SOUS 124917 HAS SOUPS 123594 WITH SCORE 123802.559
AT ITER 333 NEW BEST:: SOT 280716 SOS 207263 HAS SOPS 205609 HAS SOUS 124311 HAS SOUPS 122988 WITH SCORE 123195.263
AT ITER 334 NEW BEST:: SOT 279222 SOS 206185 HAS SOPS 204531 HAS SOUS 124169 HAS SOUPS 122846 WITH SCORE 123052.185
AT ITER 338 NEW BEST:: SOT 279201 SOS 206164 HAS SOPS 204510 HAS SOUS 124148 HAS SOUPS 122825 WITH SCORE 123031.164
AT ITER 339 NEW BEST:: SOT 278830 SOS 204357 HAS SOPS 202703 HAS SOUS 123649 HAS SOUPS 122326 WITH SCORE 122530.357
AT ITER 340 NEW BEST:: SOT 278664 SOS 204088 HAS SOPS 202434 HAS SOUS 123316 HAS SOUPS 121993 WITH SCORE 122197.088
AT ITER 343 NEW BEST:: SOT 277725 SOS 203000 HAS SOPS 201346 HAS SOUS 122018 HAS SOUPS 120695 WITH SCORE 120898.0
AT ITER 350 NEW BEST:: SOT 277740 SOS 203000 HAS SOPS 201346 HAS SOUS 121973 HAS SOUPS 120650 WITH SCORE 120853.0
AT ITER 357 NEW BEST:: SOT 277660 SOS 202920 HAS SOPS 201266 HAS SOUS 121919 HAS SOUPS 120596 WITH SCORE 120798.92
AT ITER 359 NEW BEST:: SOT 277012 SOS 201883 HAS SOPS 200229 HAS SOUS 121903 HAS SOUPS 120580 WITH SCORE 120781.883
AT ITER 360 NEW BEST:: SOT 277012 SOS 201554 HAS SOPS 199900 HAS SOUS 121903 HAS SOUPS 120580 WITH SCORE 120781.554
AT ITER 370 NEW BEST:: SOT 277097 SOS 202065 HAS SOPS 200411 HAS SOUS 121876 HAS SOUPS 120553 WITH SCORE 120755.065
AT ITER 373 NEW BEST:: SOT 277202 SOS 202170 HAS SOPS 200516 HAS SOUS 121269 HAS SOUPS 119946 WITH SCORE 120148.17
AT ITER 377 NEW BEST:: SOT 277202 SOS 202167 HAS SOPS 200513 HAS SOUS 121269 HAS SOUPS 119946 WITH SCORE 120148.167
AT ITER 379 NEW BEST:: SOT 277202 SOS 201988 HAS SOPS 200334 HAS SOUS 121269 HAS SOUPS 119946 WITH SCORE 120147.988
AT ITER 381 NEW BEST:: SOT 277781 SOS 202136 HAS SOPS 200482 HAS SOUS 120797 HAS SOUPS 119474 WITH SCORE 119676.136
AT ITER 384 NEW BEST:: SOT 277522 SOS 201799 HAS SOPS 200145 HAS SOUS 120296 HAS SOUPS 118973 WITH SCORE 119174.799
AT ITER 387 NEW BEST:: SOT 277099 SOS 201376 HAS SOPS 199722 HAS SOUS 119912 HAS SOUPS 118589 WITH SCORE 118790.376
AT ITER 394 NEW BEST:: SOT 276909 SOS 201186 HAS SOPS 199532 HAS SOUS 119722 HAS SOUPS 118399 WITH SCORE 118600.186
AT ITER 395 NEW BEST:: SOT 276662 SOS 201070 HAS SOPS 199455 HAS SOUS 119634 HAS SOUPS 118350 WITH SCORE 118551.07
AT ITER 399 NEW BEST:: SOT 276634 SOS 201028 HAS SOPS 199413 HAS SOUS 119634 HAS SOUPS 118350 WITH SCORE 118551.028
AT ITER 400 NEW BEST:: SOT 276397 SOS 200614 HAS SOPS 198999 HAS SOUS 119454 HAS SOUPS 118170 WITH SCORE 118370.614
AT ITER 403 NEW BEST:: SOT 276123 SOS 200289 HAS SOPS 198674 HAS SOUS 119176 HAS SOUPS 117892 WITH SCORE 118092.289
AT ITER 410 NEW BEST:: SOT 275028 SOS 199246 HAS SOPS 197631 HAS SOUS 118061 HAS SOUPS 116777 WITH SCORE 116976.246
AT ITER 413 NEW BEST:: SOT 274844 SOS 199050 HAS SOPS 197423 HAS SOUS 117873 HAS SOUPS 116577 WITH SCORE 116776.05
AT ITER 417 NEW BEST:: SOT 275032 SOS 197241 HAS SOPS 194963 HAS SOUS 117389 HAS SOUPS 116093 WITH SCORE 116290.241
AT ITER 428 NEW BEST:: SOT 275000 SOS 197145 HAS SOPS 194739 HAS SOUS 117324 HAS SOUPS 115900 WITH SCORE 116097.145
AT ITER 431 NEW BEST:: SOT 274935 SOS 197023 HAS SOPS 194617 HAS SOUS 117259 HAS SOUPS 115835 WITH SCORE 116032.023
AT ITER 434 NEW BEST:: SOT 274930 SOS 197013 HAS SOPS 194607 HAS SOUS 117252 HAS SOUPS 115828 WITH SCORE 116025.013
AT ITER 445 NEW BEST:: SOT 274973 SOS 197271 HAS SOPS 194865 HAS SOUS 117129 HAS SOUPS 115705 WITH SCORE 115902.271
AT ITER 449 NEW BEST:: SOT 274717 SOS 196944 HAS SOPS 194538 HAS SOUS 116774 HAS SOUPS 115350 WITH SCORE 115546.944
AT ITER 450 NEW BEST:: SOT 274223 SOS 196536 HAS SOPS 194130 HAS SOUS 116512 HAS SOUPS 115088 WITH SCORE 115284.536
AT ITER 451 NEW BEST:: SOT 274268 SOS 196581 HAS SOPS 194268 HAS SOUS 116228 HAS SOUPS 114897 WITH SCORE 115093.581
AT ITER 453 NEW BEST:: SOT 274188 SOS 196461 HAS SOPS 194148 HAS SOUS 116148 HAS SOUPS 114817 WITH SCORE 115013.461
AT ITER 455 NEW BEST:: SOT 274162 SOS 195838 HAS SOPS 193525 HAS SOUS 115809 HAS SOUPS 114478 WITH SCORE 114673.838
AT ITER 462 NEW BEST:: SOT 273869 SOS 194677 HAS SOPS 192569 HAS SOUS 115298 HAS SOUPS 114156 WITH SCORE 114350.677
AT ITER 470 NEW BEST:: SOT 273869 SOS 194688 HAS SOPS 192602 HAS SOUS 115232 HAS SOUPS 114101 WITH SCORE 114295.688
AT ITER 474 NEW BEST:: SOT 273911 SOS 194730 HAS SOPS 192644 HAS SOUS 115118 HAS SOUPS 113987 WITH SCORE 114181.73
AT ITER 481 NEW BEST:: SOT 273898 SOS 195406 HAS SOPS 193320 HAS SOUS 114755 HAS SOUPS 113624 WITH SCORE 113819.406
AT ITER 484 NEW BEST:: SOT 273998 SOS 195272 HAS SOPS 193186 HAS SOUS 114726 HAS SOUPS 113595 WITH SCORE 113790.272
AT ITER 485 NEW BEST:: SOT 273862 SOS 195136 HAS SOPS 193050 HAS SOUS 114450 HAS SOUPS 113319 WITH SCORE 113514.136
AT ITER 487 NEW BEST:: SOT 274096 SOS 194946 HAS SOPS 193063 HAS SOUS 113305 HAS SOUPS 112362 WITH SCORE 112556.946
AT ITER 491 NEW BEST:: SOT 274106 SOS 194126 HAS SOPS 192243 HAS SOUS 112783 HAS SOUPS 111840 WITH SCORE 112034.126
AT ITER 493 NEW BEST:: SOT 274156 SOS 194284 HAS SOPS 192401 HAS SOUS 112676 HAS SOUPS 111733 WITH SCORE 111927.284
AT ITER 498 NEW BEST:: SOT 274038 SOS 194225 HAS SOPS 192342 HAS SOUS 112263 HAS SOUPS 111320 WITH SCORE 111514.225
AT ITER 499 NEW BEST:: SOT 273908 SOS 194095 HAS SOPS 192212 HAS SOUS 112241 HAS SOUPS 111298 WITH SCORE 111492.095
AT ITER 501 NEW BEST:: SOT 273892 SOS 194083 HAS SOPS 192200 HAS SOUS 112229 HAS SOUPS 111286 WITH SCORE 111480.083
AT ITER 505 NEW BEST:: SOT 273892 SOS 194006 HAS SOPS 192123 HAS SOUS 112229 HAS SOUPS 111286 WITH SCORE 111480.006
AT ITER 515 NEW BEST:: SOT 273781 SOS 193895 HAS SOPS 192012 HAS SOUS 112048 HAS SOUPS 111105 WITH SCORE 111298.895
AT ITER 516 NEW BEST:: SOT 273590 SOS 193798 HAS SOPS 191828 HAS SOUS 111711 HAS SOUPS 110722 WITH SCORE 110915.798
AT ITER 528 NEW BEST:: SOT 273420 SOS 193602 HAS SOPS 191632 HAS SOUS 110757 HAS SOUPS 109768 WITH SCORE 109961.602
AT ITER 529 NEW BEST:: SOT 273100 SOS 193229 HAS SOPS 191259 HAS SOUS 110356 HAS SOUPS 109367 WITH SCORE 109560.229
AT ITER 540 NEW BEST:: SOT 273100 SOS 193161 HAS SOPS 191191 HAS SOUS 110356 HAS SOUPS 109367 WITH SCORE 109560.161
AT ITER 541 NEW BEST:: SOT 272598 SOS 192659 HAS SOPS 190689 HAS SOUS 109720 HAS SOUPS 108731 WITH SCORE 108923.659
AT ITER 544 NEW BEST:: SOT 272462 SOS 190924 HAS SOPS 188954 HAS SOUS 109685 HAS SOUPS 108696 WITH SCORE 108886.924
AT ITER 545 NEW BEST:: SOT 272209 SOS 190758 HAS SOPS 188661 HAS SOUS 108995 HAS SOUPS 107879 WITH SCORE 108069.758
AT ITER 547 NEW BEST:: SOT 272016 SOS 190565 HAS SOPS 188468 HAS SOUS 108785 HAS SOUPS 107669 WITH SCORE 107859.565
AT ITER 549 NEW BEST:: SOT 271946 SOS 190495 HAS SOPS 188398 HAS SOUS 108655 HAS SOUPS 107539 WITH SCORE 107729.495
AT ITER 551 NEW BEST:: SOT 271778 SOS 188900 HAS SOPS 186803 HAS SOUS 108532 HAS SOUPS 107416 WITH SCORE 107604.9
AT ITER 558 NEW BEST:: SOT 271547 SOS 188669 HAS SOPS 186572 HAS SOUS 108251 HAS SOUPS 107135 WITH SCORE 107323.669
AT ITER 565 NEW BEST:: SOT 270697 SOS 188335 HAS SOPS 186365 HAS SOUS 107995 HAS SOUPS 107006 WITH SCORE 107194.335
AT ITER 569 NEW BEST:: SOT 270604 SOS 188087 HAS SOPS 186117 HAS SOUS 107871 HAS SOUPS 106882 WITH SCORE 107070.087
AT ITER 570 NEW BEST:: SOT 269942 SOS 187695 HAS SOPS 185725 HAS SOUS 107372 HAS SOUPS 106383 WITH SCORE 106570.695
AT ITER 576 NEW BEST:: SOT 269746 SOS 186448 HAS SOPS 184478 HAS SOUS 107341 HAS SOUPS 106352 WITH SCORE 106538.448
AT ITER 581 NEW BEST:: SOT 269695 SOS 186787 HAS SOPS 184817 HAS SOUS 107134 HAS SOUPS 106145 WITH SCORE 106331.787
AT ITER 582 NEW BEST:: SOT 269330 SOS 187453 HAS SOPS 185494 HAS SOUS 106725 HAS SOUPS 105742 WITH SCORE 105929.453
AT ITER 590 NEW BEST:: SOT 269114 SOS 187077 HAS SOPS 185118 HAS SOUS 106311 HAS SOUPS 105328 WITH SCORE 105515.077
AT ITER 592 NEW BEST:: SOT 269114 SOS 186953 HAS SOPS 184994 HAS SOUS 106298 HAS SOUPS 105315 WITH SCORE 105501.953
AT ITER 600 NEW BEST:: SOT 268006 SOS 185949 HAS SOPS 183990 HAS SOUS 105307 HAS SOUPS 104324 WITH SCORE 104509.949
AT ITER 605 NEW BEST:: SOT 266730 SOS 184359 HAS SOPS 182400 HAS SOUS 104208 HAS SOUPS 103225 WITH SCORE 103409.359
AT ITER 610 NEW BEST:: SOT 266424 SOS 184053 HAS SOPS 182094 HAS SOUS 103789 HAS SOUPS 102806 WITH SCORE 102990.053
AT ITER 620 NEW BEST:: SOT 265767 SOS 183379 HAS SOPS 181420 HAS SOUS 103115 HAS SOUPS 102132 WITH SCORE 102315.379
AT ITER 624 NEW BEST:: SOT 265287 SOS 182779 HAS SOPS 180820 HAS SOUS 102515 HAS SOUPS 101532 WITH SCORE 101714.779
AT ITER 627 NEW BEST:: SOT 265449 SOS 183053 HAS SOPS 180916 HAS SOUS 102640 HAS SOUPS 101479 WITH SCORE 101662.053
AT ITER 631 NEW BEST:: SOT 264569 SOS 181800 HAS SOPS 179252 HAS SOUS 101596 HAS SOUPS 100169 WITH SCORE 100350.8
AT ITER 632 NEW BEST:: SOT 264377 SOS 181482 HAS SOPS 178934 HAS SOUS 101474 HAS SOUPS 100047 WITH SCORE 100228.482
AT ITER 641 NEW BEST:: SOT 263976 SOS 181114 HAS SOPS 178566 HAS SOUS 101077 HAS SOUPS 99650 WITH SCORE 99831.114
AT ITER 642 NEW BEST:: SOT 263890 SOS 180119 HAS SOPS 177571 HAS SOUS 100662 HAS SOUPS 99235 WITH SCORE 99415.119
AT ITER 649 NEW BEST:: SOT 263982 SOS 180631 HAS SOPS 178083 HAS SOUS 100649 HAS SOUPS 99222 WITH SCORE 99402.631
AT ITER 659 NEW BEST:: SOT 263982 SOS 180567 HAS SOPS 178019 HAS SOUS 100477 HAS SOUPS 99050 WITH SCORE 99230.567
AT ITER 661 NEW BEST:: SOT 264565 SOS 180957 HAS SOPS 178409 HAS SOUS 99975 HAS SOUPS 98548 WITH SCORE 98728.957
AT ITER 668 NEW BEST:: SOT 264565 SOS 180909 HAS SOPS 178361 HAS SOUS 99840 HAS SOUPS 98413 WITH SCORE 98593.909
AT ITER 670 NEW BEST:: SOT 264425 SOS 180735 HAS SOPS 178187 HAS SOUS 99667 HAS SOUPS 98240 WITH SCORE 98420.735
AT ITER 672 NEW BEST:: SOT 264095 SOS 180283 HAS SOPS 177735 HAS SOUS 99157 HAS SOUPS 97730 WITH SCORE 97910.283
AT ITER 673 NEW BEST:: SOT 264095 SOS 180283 HAS SOPS 177735 HAS SOUS 99156 HAS SOUPS 97729 WITH SCORE 97909.283
AT ITER 675 NEW BEST:: SOT 263673 SOS 179861 HAS SOPS 177313 HAS SOUS 98720 HAS SOUPS 97293 WITH SCORE 97472.861
AT ITER 681 NEW BEST:: SOT 262739 SOS 179959 HAS SOPS 177411 HAS SOUS 97948 HAS SOUPS 96521 WITH SCORE 96700.959
AT ITER 682 NEW BEST:: SOT 262494 SOS 179832 HAS SOPS 177284 HAS SOUS 97945 HAS SOUPS 96518 WITH SCORE 96697.832
AT ITER 683 NEW BEST:: SOT 262504 SOS 179828 HAS SOPS 177280 HAS SOUS 97911 HAS SOUPS 96484 WITH SCORE 96663.828
AT ITER 686 NEW BEST:: SOT 262543 SOS 179741 HAS SOPS 176964 HAS SOUS 97954 HAS SOUPS 96392 WITH SCORE 96571.741
AT ITER 689 NEW BEST:: SOT 262543 SOS 179707 HAS SOPS 176930 HAS SOUS 97818 HAS SOUPS 96256 WITH SCORE 96435.707
AT ITER 692 NEW BEST:: SOT 262162 SOS 179222 HAS SOPS 176445 HAS SOUS 97660 HAS SOUPS 96098 WITH SCORE 96277.222
AT ITER 704 NEW BEST:: SOT 262000 SOS 179060 HAS SOPS 176283 HAS SOUS 97511 HAS SOUPS 95949 WITH SCORE 96128.06
AT ITER 707 NEW BEST:: SOT 261972 SOS 178982 HAS SOPS 176205 HAS SOUS 97463 HAS SOUPS 95901 WITH SCORE 96079.982
AT ITER 709 NEW BEST:: SOT 261972 SOS 179088 HAS SOPS 176311 HAS SOUS 97406 HAS SOUPS 95844 WITH SCORE 96023.088
AT ITER 730 NEW BEST:: SOT 261863 SOS 178843 HAS SOPS 176066 HAS SOUS 97321 HAS SOUPS 95759 WITH SCORE 95937.843
AT ITER 735 NEW BEST:: SOT 261877 SOS 178823 HAS SOPS 176063 HAS SOUS 97284 HAS SOUPS 95739 WITH SCORE 95917.823
AT ITER 740 NEW BEST:: SOT 261667 SOS 178174 HAS SOPS 175414 HAS SOUS 96756 HAS SOUPS 95211 WITH SCORE 95389.174
AT ITER 742 NEW BEST:: SOT 261753 SOS 178260 HAS SOPS 175500 HAS SOUS 96728 HAS SOUPS 95183 WITH SCORE 95361.26
AT ITER 745 NEW BEST:: SOT 261753 SOS 178138 HAS SOPS 175378 HAS SOUS 96674 HAS SOUPS 95129 WITH SCORE 95307.138
AT ITER 748 NEW BEST:: SOT 261444 SOS 177829 HAS SOPS 175069 HAS SOUS 96366 HAS SOUPS 94821 WITH SCORE 94998.829
AT ITER 750 NEW BEST:: SOT 261415 SOS 177804 HAS SOPS 175044 HAS SOUS 96340 HAS SOUPS 94795 WITH SCORE 94972.804
AT ITER 755 NEW BEST:: SOT 260114 SOS 176397 HAS SOPS 173637 HAS SOUS 95027 HAS SOUPS 93482 WITH SCORE 93658.397
AT ITER 757 NEW BEST:: SOT 259781 SOS 176068 HAS SOPS 173308 HAS SOUS 94832 HAS SOUPS 93287 WITH SCORE 93463.068
AT ITER 763 NEW BEST:: SOT 259780 SOS 176075 HAS SOPS 173317 HAS SOUS 94828 HAS SOUPS 93284 WITH SCORE 93460.075
AT ITER 774 NEW BEST:: SOT 259648 SOS 175943 HAS SOPS 173185 HAS SOUS 94661 HAS SOUPS 93117 WITH SCORE 93292.943
AT ITER 786 NEW BEST:: SOT 259393 SOS 175476 HAS SOPS 172824 HAS SOUS 94345 HAS SOUPS 92870 WITH SCORE 93045.476
AT ITER 787 NEW BEST:: SOT 259257 SOS 175068 HAS SOPS 172416 HAS SOUS 94277 HAS SOUPS 92802 WITH SCORE 92977.068
AT ITER 792 NEW BEST:: SOT 259134 SOS 175197 HAS SOPS 172545 HAS SOUS 94195 HAS SOUPS 92720 WITH SCORE 92895.197
AT ITER 793 NEW BEST:: SOT 259120 SOS 175175 HAS SOPS 172523 HAS SOUS 94063 HAS SOUPS 92588 WITH SCORE 92763.175
AT ITER 799 NEW BEST:: SOT 259193 SOS 175551 HAS SOPS 172494 HAS SOUS 94267 HAS SOUPS 92483 WITH SCORE 92658.551
AT ITER 801 NEW BEST:: SOT 259287 SOS 175634 HAS SOPS 172577 HAS SOUS 94091 HAS SOUPS 92307 WITH SCORE 92482.634
AT ITER 808 NEW BEST:: SOT 259203 SOS 175550 HAS SOPS 172493 HAS SOUS 94005 HAS SOUPS 92221 WITH SCORE 92396.55
AT ITER 810 NEW BEST:: SOT 259187 SOS 175428 HAS SOPS 172371 HAS SOUS 93965 HAS SOUPS 92181 WITH SCORE 92356.428
AT ITER 813 NEW BEST:: SOT 259159 SOS 175400 HAS SOPS 172343 HAS SOUS 93951 HAS SOUPS 92167 WITH SCORE 92342.4
AT ITER 825 NEW BEST:: SOT 259135 SOS 175350 HAS SOPS 172293 HAS SOUS 93849 HAS SOUPS 92065 WITH SCORE 92240.35
AT ITER 832 NEW BEST:: SOT 258633 SOS 174848 HAS SOPS 171791 HAS SOUS 93124 HAS SOUPS 91340 WITH SCORE 91514.848
AT ITER 833 NEW BEST:: SOT 258394 SOS 174638 HAS SOPS 171581 HAS SOUS 92907 HAS SOUPS 91123 WITH SCORE 91297.638
AT ITER 840 NEW BEST:: SOT 258371 SOS 174210 HAS SOPS 171153 HAS SOUS 92817 HAS SOUPS 91033 WITH SCORE 91207.21
AT ITER 849 NEW BEST:: SOT 257925 SOS 173509 HAS SOPS 170452 HAS SOUS 92059 HAS SOUPS 90275 WITH SCORE 90448.509
AT ITER 854 NEW BEST:: SOT 257670 SOS 173353 HAS SOPS 170296 HAS SOUS 91823 HAS SOUPS 90039 WITH SCORE 90212.353
AT ITER 861 NEW BEST:: SOT 257506 SOS 173148 HAS SOPS 170091 HAS SOUS 91536 HAS SOUPS 89752 WITH SCORE 89925.148
AT ITER 867 NEW BEST:: SOT 257497 SOS 173139 HAS SOPS 170082 HAS SOUS 91527 HAS SOUPS 89743 WITH SCORE 89916.139
AT ITER 869 NEW BEST:: SOT 257364 SOS 173129 HAS SOPS 170126 HAS SOUS 91372 HAS SOUPS 89642 WITH SCORE 89815.129
AT ITER 870 NEW BEST:: SOT 257498 SOS 172697 HAS SOPS 169078 HAS SOUS 91726 HAS SOUPS 89380 WITH SCORE 89552.697
AT ITER 873 NEW BEST:: SOT 257496 SOS 172162 HAS SOPS 168492 HAS SOUS 91747 HAS SOUPS 89357 WITH SCORE 89529.162
AT ITER 877 NEW BEST:: SOT 257842 SOS 172404 HAS SOPS 168734 HAS SOUS 91639 HAS SOUPS 89249 WITH SCORE 89421.404
AT ITER 895 NEW BEST:: SOT 257784 SOS 172259 HAS SOPS 168589 HAS SOUS 91610 HAS SOUPS 89220 WITH SCORE 89392.259
AT ITER 898 NEW BEST:: SOT 257652 SOS 172175 HAS SOPS 168505 HAS SOUS 91515 HAS SOUPS 89125 WITH SCORE 89297.175
AT ITER 899 NEW BEST:: SOT 256981 SOS 172476 HAS SOPS 168806 HAS SOUS 91465 HAS SOUPS 89075 WITH SCORE 89247.476
AT ITER 900 NEW BEST:: SOT 256990 SOS 172463 HAS SOPS 168793 HAS SOUS 91460 HAS SOUPS 89070 WITH SCORE 89242.463
AT ITER 904 NEW BEST:: SOT 256962 SOS 172417 HAS SOPS 168747 HAS SOUS 91380 HAS SOUPS 88990 WITH SCORE 89162.417
AT ITER 913 NEW BEST:: SOT 256524 SOS 171925 HAS SOPS 168255 HAS SOUS 90875 HAS SOUPS 88485 WITH SCORE 88656.925
AT ITER 914 NEW BEST:: SOT 256367 SOS 171674 HAS SOPS 168004 HAS SOUS 90873 HAS SOUPS 88483 WITH SCORE 88654.674
AT ITER 933 NEW BEST:: SOT 256364 SOS 171638 HAS SOPS 167968 HAS SOUS 90858 HAS SOUPS 88468 WITH SCORE 88639.638
AT ITER 939 NEW BEST:: SOT 256386 SOS 171799 HAS SOPS 168129 HAS SOUS 90793 HAS SOUPS 88403 WITH SCORE 88574.799
AT ITER 940 NEW BEST:: SOT 256353 SOS 171776 HAS SOPS 167995 HAS SOUS 90713 HAS SOUPS 88323 WITH SCORE 88494.776
AT ITER 947 NEW BEST:: SOT 255948 SOS 171216 HAS SOPS 167435 HAS SOUS 89989 HAS SOUPS 87599 WITH SCORE 87770.216
AT ITER 950 NEW BEST:: SOT 256187 SOS 170224 HAS SOPS 166443 HAS SOUS 89953 HAS SOUPS 87563 WITH SCORE 87733.224
AT ITER 953 NEW BEST:: SOT 256209 SOS 170072 HAS SOPS 166378 HAS SOUS 89686 HAS SOUPS 87342 WITH SCORE 87512.072
AT ITER 962 NEW BEST:: SOT 256163 SOS 170026 HAS SOPS 166332 HAS SOUS 89545 HAS SOUPS 87201 WITH SCORE 87371.026
AT ITER 965 NEW BEST:: SOT 256113 SOS 170012 HAS SOPS 166282 HAS SOUS 89554 HAS SOUPS 87182 WITH SCORE 87352.012
AT ITER 970 NEW BEST:: SOT 255741 SOS 169919 HAS SOPS 165905 HAS SOUS 89584 HAS SOUPS 87070 WITH SCORE 87239.919
AT ITER 982 NEW BEST:: SOT 255768 SOS 169907 HAS SOPS 165893 HAS SOUS 89543 HAS SOUPS 87029 WITH SCORE 87198.907
AT ITER 984 NEW BEST:: SOT 255739 SOS 169878 HAS SOPS 165864 HAS SOUS 89514 HAS SOUPS 87000 WITH SCORE 87169.878
AT ITER 985 NEW BEST:: SOT 255603 SOS 169631 HAS SOPS 165617 HAS SOUS 89390 HAS SOUPS 86876 WITH SCORE 87045.631
AT ITER 986 NEW BEST:: SOT 255435 SOS 169064 HAS SOPS 165050 HAS SOUS 89066 HAS SOUPS 86552 WITH SCORE 86721.064
AT ITER 989 NEW BEST:: SOT 254970 SOS 168833 HAS SOPS 164831 HAS SOUS 88609 HAS SOUPS 86107 WITH SCORE 86275.833
AT ITER 996 NEW BEST:: SOT 254970 SOS 168771 HAS SOPS 164769 HAS SOUS 88609 HAS SOUPS 86107 WITH SCORE 86275.771
AT ITER 1000 NEW BEST:: SOT 254920 SOS 168721 HAS SOPS 164719 HAS SOUS 88473 HAS SOUPS 85971 WITH SCORE 86139.721
AT ITER 1004 NEW BEST:: SOT 254765 SOS 168453 HAS SOPS 164451 HAS SOUS 88341 HAS SOUPS 85839 WITH SCORE 86007.453
AT ITER 1015 NEW BEST:: SOT 254776 SOS 168532 HAS SOPS 164530 HAS SOUS 88330 HAS SOUPS 85828 WITH SCORE 85996.532
AT ITER 1049 NEW BEST:: SOT 254582 SOS 167777 HAS SOPS 163651 HAS SOUS 87638 HAS SOUPS 85119 WITH SCORE 85286.777
AT ITER 1057 NEW BEST:: SOT 254194 SOS 167389 HAS SOPS 163263 HAS SOUS 87250 HAS SOUPS 84731 WITH SCORE 84898.389
AT ITER 1090 NEW BEST:: SOT 254356 SOS 167486 HAS SOPS 163179 HAS SOUS 87313 HAS SOUPS 84613 WITH SCORE 84780.486
AT ITER 1092 NEW BEST:: SOT 254356 SOS 167186 HAS SOPS 162879 HAS SOUS 87289 HAS SOUPS 84589 WITH SCORE 84756.186
AT ITER 1107 NEW BEST:: SOT 254328 SOS 167158 HAS SOPS 162851 HAS SOUS 87241 HAS SOUPS 84541 WITH SCORE 84708.158
AT ITER 1124 NEW BEST:: SOT 254256 SOS 167014 HAS SOPS 162707 HAS SOUS 87155 HAS SOUPS 84455 WITH SCORE 84622.014
AT ITER 1135 NEW BEST:: SOT 254260 SOS 166713 HAS SOPS 162663 HAS SOUS 86762 HAS SOUPS 84211 WITH SCORE 84377.713
AT ITER 1149 NEW BEST:: SOT 254207 SOS 166660 HAS SOPS 162610 HAS SOUS 86727 HAS SOUPS 84176 WITH SCORE 84342.66
AT ITER 1150 NEW BEST:: SOT 254164 SOS 166706 HAS SOPS 162656 HAS SOUS 86682 HAS SOUPS 84131 WITH SCORE 84297.706
AT ITER 1153 NEW BEST:: SOT 254164 SOS 166764 HAS SOPS 162714 HAS SOUS 86653 HAS SOUPS 84102 WITH SCORE 84268.764
AT ITER 1156 NEW BEST:: SOT 254205 SOS 166739 HAS SOPS 162605 HAS SOUS 86590 HAS SOUPS 83970 WITH SCORE 84136.739
AT ITER 1157 NEW BEST:: SOT 254106 SOS 166640 HAS SOPS 162506 HAS SOUS 86374 HAS SOUPS 83754 WITH SCORE 83920.64
AT ITER 1166 NEW BEST:: SOT 253770 SOS 166246 HAS SOPS 162060 HAS SOUS 85982 HAS SOUPS 83310 WITH SCORE 83476.246
AT ITER 1169 NEW BEST:: SOT 253770 SOS 166242 HAS SOPS 162056 HAS SOUS 85928 HAS SOUPS 83256 WITH SCORE 83422.242
AT ITER 1170 NEW BEST:: SOT 253824 SOS 166296 HAS SOPS 162110 HAS SOUS 85910 HAS SOUPS 83238 WITH SCORE 83404.296
AT ITER 1173 NEW BEST:: SOT 253805 SOS 166335 HAS SOPS 162149 HAS SOUS 85909 HAS SOUPS 83237 WITH SCORE 83403.335
AT ITER 1175 NEW BEST:: SOT 253805 SOS 166137 HAS SOPS 161951 HAS SOUS 85843 HAS SOUPS 83171 WITH SCORE 83337.137
AT ITER 1184 NEW BEST:: SOT 253713 SOS 166045 HAS SOPS 161859 HAS SOUS 85751 HAS SOUPS 83079 WITH SCORE 83245.045
AT ITER 1187 NEW BEST:: SOT 253655 SOS 165899 HAS SOPS 161713 HAS SOUS 85586 HAS SOUPS 82914 WITH SCORE 83079.899
AT ITER 1190 NEW BEST:: SOT 253649 SOS 165891 HAS SOPS 161705 HAS SOUS 85552 HAS SOUPS 82880 WITH SCORE 83045.891
AT ITER 1193 NEW BEST:: SOT 253649 SOS 165906 HAS SOPS 161720 HAS SOUS 85547 HAS SOUPS 82875 WITH SCORE 83040.906
AT ITER 1204 NEW BEST:: SOT 253583 SOS 165164 HAS SOPS 160978 HAS SOUS 85317 HAS SOUPS 82645 WITH SCORE 82810.164
AT ITER 1210 NEW BEST:: SOT 253523 SOS 165140 HAS SOPS 160954 HAS SOUS 85221 HAS SOUPS 82549 WITH SCORE 82714.14
AT ITER 1218 NEW BEST:: SOT 253503 SOS 165111 HAS SOPS 160925 HAS SOUS 85190 HAS SOUPS 82518 WITH SCORE 82683.111
AT ITER 1221 NEW BEST:: SOT 253496 SOS 165119 HAS SOPS 160933 HAS SOUS 85183 HAS SOUPS 82511 WITH SCORE 82676.119
AT ITER 1222 NEW BEST:: SOT 253484 SOS 165107 HAS SOPS 160921 HAS SOUS 85177 HAS SOUPS 82505 WITH SCORE 82670.107
AT ITER 1224 NEW BEST:: SOT 253266 SOS 164749 HAS SOPS 160563 HAS SOUS 85021 HAS SOUPS 82349 WITH SCORE 82513.749
AT ITER 1234 NEW BEST:: SOT 252906 SOS 164156 HAS SOPS 159970 HAS SOUS 84637 HAS SOUPS 81965 WITH SCORE 82129.156
AT ITER 1242 NEW BEST:: SOT 252869 SOS 164179 HAS SOPS 159993 HAS SOUS 84560 HAS SOUPS 81888 WITH SCORE 82052.179
AT ITER 1246 NEW BEST:: SOT 252869 SOS 164179 HAS SOPS 159993 HAS SOUS 84508 HAS SOUPS 81836 WITH SCORE 82000.179
AT ITER 1249 NEW BEST:: SOT 252869 SOS 164298 HAS SOPS 160112 HAS SOUS 84465 HAS SOUPS 81793 WITH SCORE 81957.298
AT ITER 1250 NEW BEST:: SOT 252463 SOS 163818 HAS SOPS 159632 HAS SOUS 83678 HAS SOUPS 81006 WITH SCORE 81169.818
AT ITER 1258 NEW BEST:: SOT 252344 SOS 163699 HAS SOPS 159513 HAS SOUS 83536 HAS SOUPS 80864 WITH SCORE 81027.699
AT ITER 1261 NEW BEST:: SOT 252322 SOS 163644 HAS SOPS 159458 HAS SOUS 83525 HAS SOUPS 80853 WITH SCORE 81016.644
AT ITER 1266 NEW BEST:: SOT 252306 SOS 163420 HAS SOPS 159234 HAS SOUS 83473 HAS SOUPS 80801 WITH SCORE 80964.42
AT ITER 1275 NEW BEST:: SOT 252130 SOS 163024 HAS SOPS 158838 HAS SOUS 83385 HAS SOUPS 80713 WITH SCORE 80876.024
AT ITER 1291 NEW BEST:: SOT 252127 SOS 163603 HAS SOPS 159560 HAS SOUS 83159 HAS SOUPS 80630 WITH SCORE 80793.603
AT ITER 1298 NEW BEST:: SOT 252127 SOS 163603 HAS SOPS 159560 HAS SOUS 83143 HAS SOUPS 80614 WITH SCORE 80777.603
AT ITER 1304 NEW BEST:: SOT 252003 SOS 163479 HAS SOPS 159436 HAS SOUS 83119 HAS SOUPS 80590 WITH SCORE 80753.479
AT ITER 1305 NEW BEST:: SOT 252003 SOS 163199 HAS SOPS 159156 HAS SOUS 82969 HAS SOUPS 80440 WITH SCORE 80603.199
AT ITER 1312 NEW BEST:: SOT 251735 SOS 162749 HAS SOPS 158745 HAS SOUS 82545 HAS SOUPS 80055 WITH SCORE 80217.749
AT ITER 1317 NEW BEST:: SOT 251735 SOS 162982 HAS SOPS 159022 HAS SOUS 82481 HAS SOUPS 80028 WITH SCORE 80190.982
AT ITER 1322 NEW BEST:: SOT 251668 SOS 162150 HAS SOPS 158218 HAS SOUS 82243 HAS SOUPS 79818 WITH SCORE 79980.15
AT ITER 1324 NEW BEST:: SOT 251616 SOS 162169 HAS SOPS 158297 HAS SOUS 82188 HAS SOUPS 79763 WITH SCORE 79925.169
AT ITER 1329 NEW BEST:: SOT 251616 SOS 162201 HAS SOPS 158329 HAS SOUS 82156 HAS SOUPS 79731 WITH SCORE 79893.201
AT ITER 1332 NEW BEST:: SOT 251616 SOS 161953 HAS SOPS 158081 HAS SOUS 82156 HAS SOUPS 79731 WITH SCORE 79892.953
AT ITER 1344 NEW BEST:: SOT 251214 SOS 159748 HAS SOPS 155726 HAS SOUS 81554 HAS SOUPS 79129 WITH SCORE 79288.748
AT ITER 1345 NEW BEST:: SOT 251116 SOS 159614 HAS SOPS 155592 HAS SOUS 81465 HAS SOUPS 79040 WITH SCORE 79199.614
AT ITER 1346 NEW BEST:: SOT 250898 SOS 159231 HAS SOPS 155209 HAS SOUS 81364 HAS SOUPS 78939 WITH SCORE 79098.231
AT ITER 1352 NEW BEST:: SOT 250791 SOS 159110 HAS SOPS 155088 HAS SOUS 81244 HAS SOUPS 78819 WITH SCORE 78978.11
AT ITER 1378 NEW BEST:: SOT 250703 SOS 158978 HAS SOPS 154956 HAS SOUS 81097 HAS SOUPS 78672 WITH SCORE 78830.978
AT ITER 1379 NEW BEST:: SOT 250753 SOS 159024 HAS SOPS 155002 HAS SOUS 81015 HAS SOUPS 78590 WITH SCORE 78749.024
AT ITER 1388 NEW BEST:: SOT 250742 SOS 159013 HAS SOPS 154991 HAS SOUS 81014 HAS SOUPS 78589 WITH SCORE 78748.013
AT ITER 1391 NEW BEST:: SOT 250754 SOS 159036 HAS SOPS 155188 HAS SOUS 80918 HAS SOUPS 78565 WITH SCORE 78724.036
AT ITER 1392 NEW BEST:: SOT 250754 SOS 159262 HAS SOPS 155414 HAS SOUS 80889 HAS SOUPS 78536 WITH SCORE 78695.262
AT ITER 1393 NEW BEST:: SOT 250751 SOS 159268 HAS SOPS 155411 HAS SOUS 80892 HAS SOUPS 78533 WITH SCORE 78692.268
AT ITER 1410 NEW BEST:: SOT 250580 SOS 159045 HAS SOPS 155188 HAS SOUS 80615 HAS SOUPS 78256 WITH SCORE 78415.045
AT ITER 1422 NEW BEST:: SOT 250553 SOS 159018 HAS SOPS 155179 HAS SOUS 80588 HAS SOUPS 78238 WITH SCORE 78397.018
AT ITER 1435 NEW BEST:: SOT 250553 SOS 159010 HAS SOPS 155155 HAS SOUS 80588 HAS SOUPS 78230 WITH SCORE 78389.01
AT ITER 1446 NEW BEST:: SOT 250553 SOS 159348 HAS SOPS 155493 HAS SOUS 80170 HAS SOUPS 77812 WITH SCORE 77971.348
AT ITER 1452 NEW BEST:: SOT 250430 SOS 159033 HAS SOPS 155178 HAS SOUS 79980 HAS SOUPS 77622 WITH SCORE 77781.033
AT ITER 1453 NEW BEST:: SOT 250338 SOS 158924 HAS SOPS 155069 HAS SOUS 79935 HAS SOUPS 77577 WITH SCORE 77735.924
AT ITER 1466 NEW BEST:: SOT 250186 SOS 158700 HAS SOPS 154845 HAS SOUS 79813 HAS SOUPS 77455 WITH SCORE 77613.7
AT ITER 1471 NEW BEST:: SOT 250275 SOS 158789 HAS SOPS 154934 HAS SOUS 79778 HAS SOUPS 77420 WITH SCORE 77578.789
AT ITER 1473 NEW BEST:: SOT 250291 SOS 158822 HAS SOPS 154967 HAS SOUS 79776 HAS SOUPS 77418 WITH SCORE 77576.822
AT ITER 1493 NEW BEST:: SOT 249942 SOS 157289 HAS SOPS 153351 HAS SOUS 79560 HAS SOUPS 77202 WITH SCORE 77359.289
AT ITER 1494 NEW BEST:: SOT 249512 SOS 157009 HAS SOPS 153071 HAS SOUS 79265 HAS SOUPS 76907 WITH SCORE 77064.009
AT ITER 1503 NEW BEST:: SOT 249524 SOS 157143 HAS SOPS 153205 HAS SOUS 79204 HAS SOUPS 76846 WITH SCORE 77003.143
AT ITER 1509 NEW BEST:: SOT 249007 SOS 156664 HAS SOPS 152686 HAS SOUS 78835 HAS SOUPS 76437 WITH SCORE 76593.664
AT ITER 1518 NEW BEST:: SOT 248967 SOS 156663 HAS SOPS 152685 HAS SOUS 78831 HAS SOUPS 76433 WITH SCORE 76589.663
AT ITER 1529 NEW BEST:: SOT 248642 SOS 156596 HAS SOPS 152669 HAS SOUS 78602 HAS SOUPS 76221 WITH SCORE 76377.596
AT ITER 1531 NEW BEST:: SOT 248642 SOS 156596 HAS SOPS 152669 HAS SOUS 78597 HAS SOUPS 76216 WITH SCORE 76372.596
AT ITER 1534 NEW BEST:: SOT 248642 SOS 156331 HAS SOPS 152404 HAS SOUS 78593 HAS SOUPS 76212 WITH SCORE 76368.331
AT ITER 1548 NEW BEST:: SOT 248560 SOS 156203 HAS SOPS 152276 HAS SOUS 78464 HAS SOUPS 76083 WITH SCORE 76239.203
AT ITER 1561 NEW BEST:: SOT 248364 SOS 155741 HAS SOPS 151814 HAS SOUS 78421 HAS SOUPS 76040 WITH SCORE 76195.741
AT ITER 1565 NEW BEST:: SOT 248381 SOS 155768 HAS SOPS 151831 HAS SOUS 78362 HAS SOUPS 75971 WITH SCORE 76126.768
AT ITER 1568 NEW BEST:: SOT 248381 SOS 155749 HAS SOPS 151812 HAS SOUS 78362 HAS SOUPS 75971 WITH SCORE 76126.749
AT ITER 1574 NEW BEST:: SOT 248362 SOS 155561 HAS SOPS 151624 HAS SOUS 78263 HAS SOUPS 75872 WITH SCORE 76027.561
AT ITER 1578 NEW BEST:: SOT 248327 SOS 155526 HAS SOPS 151589 HAS SOUS 78233 HAS SOUPS 75842 WITH SCORE 75997.526
AT ITER 1582 NEW BEST:: SOT 248289 SOS 155488 HAS SOPS 151551 HAS SOUS 78195 HAS SOUPS 75804 WITH SCORE 75959.488
AT ITER 1597 NEW BEST:: SOT 248306 SOS 155488 HAS SOPS 151568 HAS SOUS 78166 HAS SOUPS 75792 WITH SCORE 75947.488
AT ITER 1609 NEW BEST:: SOT 247958 SOS 154077 HAS SOPS 150157 HAS SOUS 77995 HAS SOUPS 75621 WITH SCORE 75775.077
AT ITER 1617 NEW BEST:: SOT 247914 SOS 153989 HAS SOPS 150069 HAS SOUS 77800 HAS SOUPS 75426 WITH SCORE 75579.989
AT ITER 1618 NEW BEST:: SOT 247881 SOS 153956 HAS SOPS 150036 HAS SOUS 77775 HAS SOUPS 75401 WITH SCORE 75554.956
AT ITER 1619 NEW BEST:: SOT 247802 SOS 153841 HAS SOPS 149921 HAS SOUS 77653 HAS SOUPS 75279 WITH SCORE 75432.841
AT ITER 1622 NEW BEST:: SOT 247901 SOS 153843 HAS SOPS 149877 HAS SOUS 77646 HAS SOUPS 75272 WITH SCORE 75425.843
AT ITER 1623 NEW BEST:: SOT 247593 SOS 153535 HAS SOPS 149569 HAS SOUS 77486 HAS SOUPS 75112 WITH SCORE 75265.535
AT ITER 1629 NEW BEST:: SOT 247853 SOS 153955 HAS SOPS 149829 HAS SOUS 77294 HAS SOUPS 74760 WITH SCORE 74913.955
AT ITER 1633 NEW BEST:: SOT 247887 SOS 153989 HAS SOPS 149863 HAS SOUS 77277 HAS SOUPS 74743 WITH SCORE 74896.989
AT ITER 1638 NEW BEST:: SOT 247885 SOS 153985 HAS SOPS 149859 HAS SOUS 77266 HAS SOUPS 74732 WITH SCORE 74885.985
AT ITER 1648 NEW BEST:: SOT 247737 SOS 153835 HAS SOPS 149709 HAS SOUS 77106 HAS SOUPS 74572 WITH SCORE 74725.835
AT ITER 1678 NEW BEST:: SOT 247588 SOS 153504 HAS SOPS 149223 HAS SOUS 76985 HAS SOUPS 74373 WITH SCORE 74526.504
AT ITER 1687 NEW BEST:: SOT 247584 SOS 154516 HAS SOPS 150342 HAS SOUS 76895 HAS SOUPS 74317 WITH SCORE 74471.516
AT ITER 1688 NEW BEST:: SOT 247476 SOS 154382 HAS SOPS 150208 HAS SOUS 76807 HAS SOUPS 74229 WITH SCORE 74383.382
AT ITER 1690 NEW BEST:: SOT 247476 SOS 154398 HAS SOPS 150224 HAS SOUS 76775 HAS SOUPS 74197 WITH SCORE 74351.398
AT ITER 1700 NEW BEST:: SOT 247429 SOS 153631 HAS SOPS 149457 HAS SOUS 76747 HAS SOUPS 74169 WITH SCORE 74322.631
AT ITER 1702 NEW BEST:: SOT 247353 SOS 153536 HAS SOPS 149362 HAS SOUS 76595 HAS SOUPS 74017 WITH SCORE 74170.536
AT ITER 1709 NEW BEST:: SOT 247304 SOS 153482 HAS SOPS 149308 HAS SOUS 76473 HAS SOUPS 73895 WITH SCORE 74048.482
AT ITER 1722 NEW BEST:: SOT 247298 SOS 153473 HAS SOPS 149323 HAS SOUS 76414 HAS SOUPS 73845 WITH SCORE 73998.473
AT ITER 1723 NEW BEST:: SOT 247372 SOS 153740 HAS SOPS 149590 HAS SOUS 76398 HAS SOUPS 73829 WITH SCORE 73982.74
AT ITER 1728 NEW BEST:: SOT 247336 SOS 153638 HAS SOPS 149434 HAS SOUS 76339 HAS SOUPS 73734 WITH SCORE 73887.638
AT ITER 1730 NEW BEST:: SOT 247336 SOS 153693 HAS SOPS 149536 HAS SOUS 76314 HAS SOUPS 73727 WITH SCORE 73880.693
AT ITER 1743 NEW BEST:: SOT 247338 SOS 153700 HAS SOPS 149541 HAS SOUS 76315 HAS SOUPS 73726 WITH SCORE 73879.7
AT ITER 1751 NEW BEST:: SOT 247251 SOS 153555 HAS SOPS 149454 HAS SOUS 76192 HAS SOUPS 73661 WITH SCORE 73814.555
AT ITER 1780 NEW BEST:: SOT 247210 SOS 153588 HAS SOPS 149413 HAS SOUS 76166 HAS SOUPS 73598 WITH SCORE 73751.588
AT ITER 1782 NEW BEST:: SOT 247160 SOS 153394 HAS SOPS 149209 HAS SOUS 75992 HAS SOUPS 73414 WITH SCORE 73567.394
AT ITER 1786 NEW BEST:: SOT 247076 SOS 153289 HAS SOPS 149104 HAS SOUS 75803 HAS SOUPS 73225 WITH SCORE 73378.289
AT ITER 1803 NEW BEST:: SOT 247092 SOS 153268 HAS SOPS 149059 HAS SOUS 75784 HAS SOUPS 73206 WITH SCORE 73359.268
AT ITER 1834 NEW BEST:: SOT 247056 SOS 152931 HAS SOPS 148663 HAS SOUS 75636 HAS SOUPS 73019 WITH SCORE 73171.931
AT ITER 1845 NEW BEST:: SOT 246815 SOS 152474 HAS SOPS 148206 HAS SOUS 75440 HAS SOUPS 72823 WITH SCORE 72975.474
AT ITER 1854 NEW BEST:: SOT 246852 SOS 152835 HAS SOPS 148567 HAS SOUS 75399 HAS SOUPS 72782 WITH SCORE 72934.835
AT ITER 1855 NEW BEST:: SOT 246811 SOS 152726 HAS SOPS 148458 HAS SOUS 75256 HAS SOUPS 72639 WITH SCORE 72791.726
AT ITER 1856 NEW BEST:: SOT 246675 SOS 152607 HAS SOPS 148339 HAS SOUS 75255 HAS SOUPS 72638 WITH SCORE 72790.607
AT ITER 1863 NEW BEST:: SOT 246568 SOS 152168 HAS SOPS 147718 HAS SOUS 75390 HAS SOUPS 72620 WITH SCORE 72772.168
AT ITER 1873 NEW BEST:: SOT 246568 SOS 152168 HAS SOPS 147718 HAS SOUS 75377 HAS SOUPS 72607 WITH SCORE 72759.168
AT ITER 1884 NEW BEST:: SOT 246594 SOS 152194 HAS SOPS 147744 HAS SOUS 75364 HAS SOUPS 72594 WITH SCORE 72746.194
AT ITER 1893 NEW BEST:: SOT 246342 SOS 151942 HAS SOPS 147492 HAS SOUS 75220 HAS SOUPS 72450 WITH SCORE 72601.942
AT ITER 1922 NEW BEST:: SOT 246306 SOS 151906 HAS SOPS 147456 HAS SOUS 75208 HAS SOUPS 72438 WITH SCORE 72589.906
AT ITER 1924 NEW BEST:: SOT 245851 SOS 151142 HAS SOPS 147054 HAS SOUS 74699 HAS SOUPS 72291 WITH SCORE 72442.142
AT ITER 1932 NEW BEST:: SOT 245854 SOS 151145 HAS SOPS 147057 HAS SOUS 74691 HAS SOUPS 72283 WITH SCORE 72434.145
AT ITER 1944 NEW BEST:: SOT 245767 SOS 151029 HAS SOPS 146970 HAS SOUS 74632 HAS SOUPS 72253 WITH SCORE 72404.029
AT ITER 1958 NEW BEST:: SOT 245767 SOS 150953 HAS SOPS 146894 HAS SOUS 74627 HAS SOUPS 72248 WITH SCORE 72398.953
AT ITER 1965 NEW BEST:: SOT 246236 SOS 151076 HAS SOPS 147017 HAS SOUS 74602 HAS SOUPS 72223 WITH SCORE 72374.076
AT ITER 1970 NEW BEST:: SOT 246208 SOS 150378 HAS SOPS 146304 HAS SOUS 74361 HAS SOUPS 71982 WITH SCORE 72132.378
AT ITER 1982 NEW BEST:: SOT 246194 SOS 150364 HAS SOPS 146290 HAS SOUS 74348 HAS SOUPS 71969 WITH SCORE 72119.364
AT ITER 1986 NEW BEST:: SOT 245961 SOS 150116 HAS SOPS 146042 HAS SOUS 74338 HAS SOUPS 71959 WITH SCORE 72109.116
AT ITER 1990 NEW BEST:: SOT 245972 SOS 149428 HAS SOPS 145158 HAS SOUS 73953 HAS SOUPS 71437 WITH SCORE 71586.428
AT ITER 2015 NEW BEST:: SOT 246108 SOS 149922 HAS SOPS 145652 HAS SOUS 73715 HAS SOUPS 71199 WITH SCORE 71348.922
AT ITER 2031 NEW BEST:: SOT 245970 SOS 149596 HAS SOPS 145326 HAS SOUS 73624 HAS SOUPS 71108 WITH SCORE 71257.596
AT ITER 2041 NEW BEST:: SOT 245836 SOS 149347 HAS SOPS 145192 HAS SOUS 73425 HAS SOUPS 70954 WITH SCORE 71103.347
AT ITER 2053 NEW BEST:: SOT 245622 SOS 149803 HAS SOPS 145648 HAS SOUS 73218 HAS SOUPS 70747 WITH SCORE 70896.803
AT ITER 2054 NEW BEST:: SOT 245398 SOS 149604 HAS SOPS 145449 HAS SOUS 73120 HAS SOUPS 70649 WITH SCORE 70798.604
AT ITER 2075 NEW BEST:: SOT 245245 SOS 149447 HAS SOPS 145194 HAS SOUS 73091 HAS SOUPS 70571 WITH SCORE 70720.447
AT ITER 2087 NEW BEST:: SOT 245195 SOS 149415 HAS SOPS 145162 HAS SOUS 73016 HAS SOUPS 70496 WITH SCORE 70645.415
AT ITER 2093 NEW BEST:: SOT 245043 SOS 149210 HAS SOPS 144957 HAS SOUS 72571 HAS SOUPS 70051 WITH SCORE 70200.21
AT ITER 2102 NEW BEST:: SOT 244911 SOS 148551 HAS SOPS 144198 HAS SOUS 72463 HAS SOUPS 69893 WITH SCORE 70041.551
AT ITER 2104 NEW BEST:: SOT 244847 SOS 148487 HAS SOPS 144134 HAS SOUS 72433 HAS SOUPS 69863 WITH SCORE 70011.487
AT ITER 2108 NEW BEST:: SOT 244851 SOS 148547 HAS SOPS 144194 HAS SOUS 72331 HAS SOUPS 69761 WITH SCORE 69909.547
AT ITER 2113 NEW BEST:: SOT 244851 SOS 148547 HAS SOPS 144194 HAS SOUS 72322 HAS SOUPS 69752 WITH SCORE 69900.547
AT ITER 2115 NEW BEST:: SOT 244867 SOS 148594 HAS SOPS 144255 HAS SOUS 72291 HAS SOUPS 69733 WITH SCORE 69881.594
AT ITER 2124 NEW BEST:: SOT 244594 SOS 148321 HAS SOPS 143982 HAS SOUS 71739 HAS SOUPS 69181 WITH SCORE 69329.321
AT ITER 2125 NEW BEST:: SOT 244381 SOS 148115 HAS SOPS 143688 HAS SOUS 71366 HAS SOUPS 68813 WITH SCORE 68961.115
AT ITER 2129 NEW BEST:: SOT 244364 SOS 148078 HAS SOPS 143651 HAS SOUS 71284 HAS SOUPS 68731 WITH SCORE 68879.078
AT ITER 2137 NEW BEST:: SOT 244223 SOS 148217 HAS SOPS 143766 HAS SOUS 71145 HAS SOUPS 68592 WITH SCORE 68740.217
AT ITER 2144 NEW BEST:: SOT 244221 SOS 148215 HAS SOPS 143764 HAS SOUS 71124 HAS SOUPS 68571 WITH SCORE 68719.215
AT ITER 2160 NEW BEST:: SOT 244221 SOS 148189 HAS SOPS 143738 HAS SOUS 71124 HAS SOUPS 68571 WITH SCORE 68719.189
AT ITER 2163 NEW BEST:: SOT 244176 SOS 148104 HAS SOPS 143653 HAS SOUS 71074 HAS SOUPS 68521 WITH SCORE 68669.104
AT ITER 2168 NEW BEST:: SOT 243810 SOS 146793 HAS SOPS 142342 HAS SOUS 70602 HAS SOUPS 68049 WITH SCORE 68195.793
AT ITER 2176 NEW BEST:: SOT 243630 SOS 146613 HAS SOPS 142162 HAS SOUS 70570 HAS SOUPS 68017 WITH SCORE 68163.613
AT ITER 2185 NEW BEST:: SOT 243552 SOS 146301 HAS SOPS 141811 HAS SOUS 70453 HAS SOUPS 67861 WITH SCORE 68007.301
AT ITER 2190 NEW BEST:: SOT 243412 SOS 146055 HAS SOPS 141565 HAS SOUS 70391 HAS SOUPS 67799 WITH SCORE 67945.055
AT ITER 2197 NEW BEST:: SOT 243302 SOS 145741 HAS SOPS 141251 HAS SOUS 70309 HAS SOUPS 67717 WITH SCORE 67862.741
AT ITER 2199 NEW BEST:: SOT 243361 SOS 145783 HAS SOPS 141293 HAS SOUS 70154 HAS SOUPS 67562 WITH SCORE 67707.783
AT ITER 2201 NEW BEST:: SOT 243324 SOS 145746 HAS SOPS 141256 HAS SOUS 70115 HAS SOUPS 67523 WITH SCORE 67668.746
AT ITER 2204 NEW BEST:: SOT 243315 SOS 145737 HAS SOPS 141247 HAS SOUS 70100 HAS SOUPS 67508 WITH SCORE 67653.737
AT ITER 2209 NEW BEST:: SOT 243260 SOS 145517 HAS SOPS 141027 HAS SOUS 70046 HAS SOUPS 67454 WITH SCORE 67599.517
AT ITER 2214 NEW BEST:: SOT 243112 SOS 145306 HAS SOPS 140816 HAS SOUS 70027 HAS SOUPS 67435 WITH SCORE 67580.306
AT ITER 2219 NEW BEST:: SOT 243217 SOS 145411 HAS SOPS 140921 HAS SOUS 69987 HAS SOUPS 67395 WITH SCORE 67540.411
AT ITER 2222 NEW BEST:: SOT 243214 SOS 145408 HAS SOPS 140918 HAS SOUS 69975 HAS SOUPS 67383 WITH SCORE 67528.408
AT ITER 2230 NEW BEST:: SOT 243189 SOS 145401 HAS SOPS 140911 HAS SOUS 69899 HAS SOUPS 67307 WITH SCORE 67452.401
AT ITER 2237 NEW BEST:: SOT 243189 SOS 145390 HAS SOPS 140898 HAS SOUS 69899 HAS SOUPS 67306 WITH SCORE 67451.39
AT ITER 2241 NEW BEST:: SOT 243237 SOS 144820 HAS SOPS 140118 HAS SOUS 69816 HAS SOUPS 67083 WITH SCORE 67227.82
AT ITER 2242 NEW BEST:: SOT 243237 SOS 144832 HAS SOPS 140130 HAS SOUS 69802 HAS SOUPS 67069 WITH SCORE 67213.832
AT ITER 2244 NEW BEST:: SOT 243147 SOS 144732 HAS SOPS 140030 HAS SOUS 69662 HAS SOUPS 66929 WITH SCORE 67073.732
AT ITER 2246 NEW BEST:: SOT 243050 SOS 143949 HAS SOPS 139247 HAS SOUS 69385 HAS SOUPS 66652 WITH SCORE 66795.949
AT ITER 2250 NEW BEST:: SOT 242984 SOS 143862 HAS SOPS 139160 HAS SOUS 69277 HAS SOUPS 66544 WITH SCORE 66687.862
AT ITER 2261 NEW BEST:: SOT 243018 SOS 143240 HAS SOPS 138538 HAS SOUS 69217 HAS SOUPS 66484 WITH SCORE 66627.24
AT ITER 2279 NEW BEST:: SOT 242995 SOS 143217 HAS SOPS 138515 HAS SOUS 69022 HAS SOUPS 66289 WITH SCORE 66432.217
AT ITER 2295 NEW BEST:: SOT 243250 SOS 143884 HAS SOPS 139289 HAS SOUS 68906 HAS SOUPS 66213 WITH SCORE 66356.884
AT ITER 2317 NEW BEST:: SOT 243089 SOS 143723 HAS SOPS 139128 HAS SOUS 68742 HAS SOUPS 66049 WITH SCORE 66192.723
AT ITER 2320 NEW BEST:: SOT 242731 SOS 143616 HAS SOPS 139021 HAS SOUS 68394 HAS SOUPS 65701 WITH SCORE 65844.616
AT ITER 2321 NEW BEST:: SOT 242174 SOS 142858 HAS SOPS 138263 HAS SOUS 67531 HAS SOUPS 64838 WITH SCORE 64980.858
AT ITER 2322 NEW BEST:: SOT 242207 SOS 142756 HAS SOPS 137864 HAS SOUS 67635 HAS SOUPS 64784 WITH SCORE 64926.756
AT ITER 2326 NEW BEST:: SOT 242207 SOS 142693 HAS SOPS 137822 HAS SOUS 67635 HAS SOUPS 64784 WITH SCORE 64926.693
AT ITER 2358 NEW BEST:: SOT 242297 SOS 143022 HAS SOPS 138151 HAS SOUS 67629 HAS SOUPS 64778 WITH SCORE 64921.022
AT ITER 2404 NEW BEST:: SOT 241768 SOS 141991 HAS SOPS 137120 HAS SOUS 66850 HAS SOUPS 63999 WITH SCORE 64140.991
AT ITER 2419 NEW BEST:: SOT 241500 SOS 141523 HAS SOPS 136853 HAS SOUS 66505 HAS SOUPS 63721 WITH SCORE 63862.523
AT ITER 2420 NEW BEST:: SOT 241442 SOS 141419 HAS SOPS 136749 HAS SOUS 66344 HAS SOUPS 63560 WITH SCORE 63701.419
AT ITER 2422 NEW BEST:: SOT 241426 SOS 141403 HAS SOPS 136733 HAS SOUS 66328 HAS SOUPS 63544 WITH SCORE 63685.403
AT ITER 2427 NEW BEST:: SOT 241602 SOS 141829 HAS SOPS 137159 HAS SOUS 66322 HAS SOUPS 63538 WITH SCORE 63679.829
AT ITER 2432 NEW BEST:: SOT 241440 SOS 141715 HAS SOPS 137045 HAS SOUS 66169 HAS SOUPS 63385 WITH SCORE 63526.715
AT ITER 2439 NEW BEST:: SOT 241712 SOS 142244 HAS SOPS 137574 HAS SOUS 66130 HAS SOUPS 63346 WITH SCORE 63488.244
AT ITER 2442 NEW BEST:: SOT 241712 SOS 142084 HAS SOPS 137414 HAS SOUS 66130 HAS SOUPS 63346 WITH SCORE 63488.084
AT ITER 2457 NEW BEST:: SOT 241712 SOS 142068 HAS SOPS 137382 HAS SOUS 66082 HAS SOUPS 63282 WITH SCORE 63424.068
AT ITER 2460 NEW BEST:: SOT 241664 SOS 141748 HAS SOPS 137062 HAS SOUS 65970 HAS SOUPS 63170 WITH SCORE 63311.748
AT ITER 2464 NEW BEST:: SOT 241766 SOS 142026 HAS SOPS 137340 HAS SOUS 65915 HAS SOUPS 63115 WITH SCORE 63257.026
AT ITER 2468 NEW BEST:: SOT 241673 SOS 141759 HAS SOPS 137127 HAS SOUS 65551 HAS SOUPS 62782 WITH SCORE 62923.759
AT ITER 2482 NEW BEST:: SOT 241673 SOS 141828 HAS SOPS 137196 HAS SOUS 65459 HAS SOUPS 62690 WITH SCORE 62831.828
AT ITER 2487 NEW BEST:: SOT 241673 SOS 141798 HAS SOPS 137146 HAS SOUS 65459 HAS SOUPS 62680 WITH SCORE 62821.798
AT ITER 2492 NEW BEST:: SOT 241559 SOS 141912 HAS SOPS 137260 HAS SOUS 65365 HAS SOUPS 62586 WITH SCORE 62727.912
AT ITER 2504 NEW BEST:: SOT 241167 SOS 140797 HAS SOPS 136145 HAS SOUS 65046 HAS SOUPS 62267 WITH SCORE 62407.797
AT ITER 2510 NEW BEST:: SOT 241191 SOS 140857 HAS SOPS 136205 HAS SOUS 64844 HAS SOUPS 62065 WITH SCORE 62205.857
AT ITER 2516 NEW BEST:: SOT 240901 SOS 141018 HAS SOPS 136366 HAS SOUS 64812 HAS SOUPS 62033 WITH SCORE 62174.018
AT ITER 2520 NEW BEST:: SOT 240836 SOS 140953 HAS SOPS 136301 HAS SOUS 64693 HAS SOUPS 61914 WITH SCORE 62054.953
AT ITER 2524 NEW BEST:: SOT 240756 SOS 139689 HAS SOPS 135026 HAS SOUS 64642 HAS SOUPS 61863 WITH SCORE 62002.689
AT ITER 2529 NEW BEST:: SOT 240744 SOS 139653 HAS SOPS 134990 HAS SOUS 64624 HAS SOUPS 61845 WITH SCORE 61984.653
AT ITER 2530 NEW BEST:: SOT 240570 SOS 139508 HAS SOPS 134845 HAS SOUS 64450 HAS SOUPS 61671 WITH SCORE 61810.508
AT ITER 2547 NEW BEST:: SOT 240570 SOS 139460 HAS SOPS 134797 HAS SOUS 64450 HAS SOUPS 61671 WITH SCORE 61810.46
AT ITER 2549 NEW BEST:: SOT 240476 SOS 140118 HAS SOPS 135616 HAS SOUS 64175 HAS SOUPS 61396 WITH SCORE 61536.118
AT ITER 2555 NEW BEST:: SOT 240451 SOS 139961 HAS SOPS 135459 HAS SOUS 64162 HAS SOUPS 61383 WITH SCORE 61522.961
AT ITER 2562 NEW BEST:: SOT 240606 SOS 139837 HAS SOPS 135329 HAS SOUS 63999 HAS SOUPS 61220 WITH SCORE 61359.837
AT ITER 2565 NEW BEST:: SOT 240580 SOS 139785 HAS SOPS 135277 HAS SOUS 63973 HAS SOUPS 61194 WITH SCORE 61333.785
AT ITER 2577 NEW BEST:: SOT 240548 SOS 139597 HAS SOPS 135059 HAS SOUS 63896 HAS SOUPS 61106 WITH SCORE 61245.597
AT ITER 2579 NEW BEST:: SOT 240548 SOS 139597 HAS SOPS 135059 HAS SOUS 63886 HAS SOUPS 61096 WITH SCORE 61235.597
AT ITER 2581 NEW BEST:: SOT 240444 SOS 139391 HAS SOPS 134844 HAS SOUS 63735 HAS SOUPS 60945 WITH SCORE 61084.391
AT ITER 2588 NEW BEST:: SOT 240444 SOS 139317 HAS SOPS 134770 HAS SOUS 63735 HAS SOUPS 60945 WITH SCORE 61084.317
AT ITER 2590 NEW BEST:: SOT 240438 SOS 139296 HAS SOPS 134749 HAS SOUS 63729 HAS SOUPS 60939 WITH SCORE 61078.296
AT ITER 2601 NEW BEST:: SOT 240436 SOS 139302 HAS SOPS 134755 HAS SOUS 63728 HAS SOUPS 60938 WITH SCORE 61077.302
AT ITER 2620 NEW BEST:: SOT 240060 SOS 137557 HAS SOPS 133010 HAS SOUS 63411 HAS SOUPS 60621 WITH SCORE 60758.557
AT ITER 2623 NEW BEST:: SOT 240036 SOS 137485 HAS SOPS 132938 HAS SOUS 63387 HAS SOUPS 60597 WITH SCORE 60734.485
AT ITER 2625 NEW BEST:: SOT 239920 SOS 137357 HAS SOPS 132810 HAS SOUS 63156 HAS SOUPS 60366 WITH SCORE 60503.357
AT ITER 2627 NEW BEST:: SOT 239850 SOS 136322 HAS SOPS 131775 HAS SOUS 63115 HAS SOUPS 60325 WITH SCORE 60461.322
AT ITER 2640 NEW BEST:: SOT 239692 SOS 136258 HAS SOPS 131711 HAS SOUS 63103 HAS SOUPS 60313 WITH SCORE 60449.258
AT ITER 2664 NEW BEST:: SOT 239637 SOS 136203 HAS SOPS 131656 HAS SOUS 62993 HAS SOUPS 60203 WITH SCORE 60339.203
AT ITER 2668 NEW BEST:: SOT 239592 SOS 135403 HAS SOPS 130850 HAS SOUS 62703 HAS SOUPS 59898 WITH SCORE 60033.403
AT ITER 2669 NEW BEST:: SOT 239541 SOS 135354 HAS SOPS 130801 HAS SOUS 62691 HAS SOUPS 59886 WITH SCORE 60021.354
AT ITER 2675 NEW BEST:: SOT 239452 SOS 135241 HAS SOPS 130688 HAS SOUS 62552 HAS SOUPS 59747 WITH SCORE 59882.241
AT ITER 2680 NEW BEST:: SOT 239446 SOS 135235 HAS SOPS 130682 HAS SOUS 62546 HAS SOUPS 59741 WITH SCORE 59876.235
AT ITER 2683 NEW BEST:: SOT 239435 SOS 135169 HAS SOPS 130616 HAS SOUS 62519 HAS SOUPS 59714 WITH SCORE 59849.169
AT ITER 2685 NEW BEST:: SOT 239435 SOS 135103 HAS SOPS 130550 HAS SOUS 62506 HAS SOUPS 59701 WITH SCORE 59836.103
AT ITER 2690 NEW BEST:: SOT 239230 SOS 134881 HAS SOPS 130328 HAS SOUS 62421 HAS SOUPS 59616 WITH SCORE 59750.881
AT ITER 2692 NEW BEST:: SOT 239125 SOS 134728 HAS SOPS 130175 HAS SOUS 62396 HAS SOUPS 59591 WITH SCORE 59725.728
AT ITER 2696 NEW BEST:: SOT 239410 SOS 134233 HAS SOPS 129464 HAS SOUS 62217 HAS SOUPS 59405 WITH SCORE 59539.233
AT ITER 2701 NEW BEST:: SOT 239416 SOS 134239 HAS SOPS 129470 HAS SOUS 62215 HAS SOUPS 59403 WITH SCORE 59537.239
AT ITER 2704 NEW BEST:: SOT 239310 SOS 134361 HAS SOPS 129592 HAS SOUS 62145 HAS SOUPS 59333 WITH SCORE 59467.361
AT ITER 2739 NEW BEST:: SOT 239310 SOS 134319 HAS SOPS 129550 HAS SOUS 62142 HAS SOUPS 59330 WITH SCORE 59464.319
AT ITER 2763 NEW BEST:: SOT 239218 SOS 134138 HAS SOPS 129369 HAS SOUS 61894 HAS SOUPS 59082 WITH SCORE 59216.138
AT ITER 2767 NEW BEST:: SOT 239161 SOS 134197 HAS SOPS 129447 HAS SOUS 61850 HAS SOUPS 59045 WITH SCORE 59179.197
AT ITER 2769 NEW BEST:: SOT 239138 SOS 134174 HAS SOPS 129424 HAS SOUS 61848 HAS SOUPS 59043 WITH SCORE 59177.174
AT ITER 2783 NEW BEST:: SOT 239145 SOS 134216 HAS SOPS 129466 HAS SOUS 61781 HAS SOUPS 58976 WITH SCORE 59110.216
AT ITER 2791 NEW BEST:: SOT 239136 SOS 134201 HAS SOPS 129451 HAS SOUS 61772 HAS SOUPS 58967 WITH SCORE 59101.201
AT ITER 2792 NEW BEST:: SOT 239103 SOS 134146 HAS SOPS 129418 HAS SOUS 61739 HAS SOUPS 58945 WITH SCORE 59079.146
AT ITER 2797 NEW BEST:: SOT 238918 SOS 134393 HAS SOPS 129683 HAS SOUS 61701 HAS SOUPS 58907 WITH SCORE 59041.393
AT ITER 2804 NEW BEST:: SOT 238846 SOS 134187 HAS SOPS 129477 HAS SOUS 61593 HAS SOUPS 58799 WITH SCORE 58933.187
AT ITER 2806 NEW BEST:: SOT 238846 SOS 134183 HAS SOPS 129473 HAS SOUS 61591 HAS SOUPS 58797 WITH SCORE 58931.183
AT ITER 2833 NEW BEST:: SOT 238921 SOS 135342 HAS SOPS 130632 HAS SOUS 61503 HAS SOUPS 58709 WITH SCORE 58844.342
AT ITER 2851 NEW BEST:: SOT 238878 SOS 135299 HAS SOPS 130589 HAS SOUS 61454 HAS SOUPS 58660 WITH SCORE 58795.299
AT ITER 2852 NEW BEST:: SOT 238873 SOS 135290 HAS SOPS 130580 HAS SOUS 61453 HAS SOUPS 58659 WITH SCORE 58794.29
AT ITER 2863 NEW BEST:: SOT 238674 SOS 135088 HAS SOPS 130378 HAS SOUS 61392 HAS SOUPS 58598 WITH SCORE 58733.088
AT ITER 2868 NEW BEST:: SOT 238620 SOS 135034 HAS SOPS 130324 HAS SOUS 61336 HAS SOUPS 58542 WITH SCORE 58677.034
AT ITER 2876 NEW BEST:: SOT 238575 SOS 134941 HAS SOPS 130231 HAS SOUS 61298 HAS SOUPS 58504 WITH SCORE 58638.941
AT ITER 2885 NEW BEST:: SOT 238563 SOS 134863 HAS SOPS 130153 HAS SOUS 61274 HAS SOUPS 58480 WITH SCORE 58614.863
AT ITER 2898 NEW BEST:: SOT 238576 SOS 134865 HAS SOPS 130155 HAS SOUS 61265 HAS SOUPS 58471 WITH SCORE 58605.865
AT ITER 2900 NEW BEST:: SOT 238539 SOS 134826 HAS SOPS 130116 HAS SOUS 61189 HAS SOUPS 58395 WITH SCORE 58529.826
AT ITER 2944 NEW BEST:: SOT 238451 SOS 134730 HAS SOPS 130020 HAS SOUS 61101 HAS SOUPS 58307 WITH SCORE 58441.73
AT ITER 2947 NEW BEST:: SOT 238450 SOS 134727 HAS SOPS 130017 HAS SOUS 61098 HAS SOUPS 58304 WITH SCORE 58438.727
AT ITER 2994 NEW BEST:: SOT 238613 SOS 135035 HAS SOPS 130325 HAS SOUS 61070 HAS SOUPS 58276 WITH SCORE 58411.035
AT ITER 3009 NEW BEST:: SOT 238613 SOS 135038 HAS SOPS 130334 HAS SOUS 61061 HAS SOUPS 58270 WITH SCORE 58405.038
AT ITER 3019 NEW BEST:: SOT 238613 SOS 135044 HAS SOPS 130340 HAS SOUS 60958 HAS SOUPS 58167 WITH SCORE 58302.044
AT ITER 3024 NEW BEST:: SOT 238602 SOS 135087 HAS SOPS 130383 HAS SOUS 60916 HAS SOUPS 58125 WITH SCORE 58260.087
AT ITER 3066 NEW BEST:: SOT 238384 SOS 134869 HAS SOPS 130165 HAS SOUS 60764 HAS SOUPS 57973 WITH SCORE 58107.869
AT ITER 3078 NEW BEST:: SOT 238386 SOS 134846 HAS SOPS 130142 HAS SOUS 60499 HAS SOUPS 57708 WITH SCORE 57842.846
AT ITER 3091 NEW BEST:: SOT 238384 SOS 134844 HAS SOPS 130140 HAS SOUS 60497 HAS SOUPS 57706 WITH SCORE 57840.844
AT ITER 3123 NEW BEST:: SOT 238344 SOS 134690 HAS SOPS 129986 HAS SOUS 60378 HAS SOUPS 57587 WITH SCORE 57721.69
AT ITER 3129 NEW BEST:: SOT 238183 SOS 133254 HAS SOPS 128550 HAS SOUS 60201 HAS SOUPS 57410 WITH SCORE 57543.254
AT ITER 3136 NEW BEST:: SOT 238033 SOS 133116 HAS SOPS 128412 HAS SOUS 60024 HAS SOUPS 57233 WITH SCORE 57366.116
AT ITER 3147 NEW BEST:: SOT 238047 SOS 132577 HAS SOPS 127873 HAS SOUS 59967 HAS SOUPS 57176 WITH SCORE 57308.577
AT ITER 3155 NEW BEST:: SOT 238047 SOS 132591 HAS SOPS 127863 HAS SOUS 59972 HAS SOUPS 57173 WITH SCORE 57305.591
AT ITER 3166 NEW BEST:: SOT 237763 SOS 132325 HAS SOPS 127597 HAS SOUS 59750 HAS SOUPS 56951 WITH SCORE 57083.325
AT ITER 3169 NEW BEST:: SOT 237761 SOS 132315 HAS SOPS 127587 HAS SOUS 59742 HAS SOUPS 56943 WITH SCORE 57075.315
AT ITER 3179 NEW BEST:: SOT 237431 SOS 131881 HAS SOPS 127153 HAS SOUS 59608 HAS SOUPS 56809 WITH SCORE 56940.881
AT ITER 3182 NEW BEST:: SOT 237427 SOS 131840 HAS SOPS 127095 HAS SOUS 59624 HAS SOUPS 56808 WITH SCORE 56939.84
AT ITER 3184 NEW BEST:: SOT 237433 SOS 131797 HAS SOPS 127052 HAS SOUS 59275 HAS SOUPS 56459 WITH SCORE 56590.797
AT ITER 3194 NEW BEST:: SOT 237423 SOS 131785 HAS SOPS 127048 HAS SOUS 59273 HAS SOUPS 56457 WITH SCORE 56588.785
AT ITER 3200 NEW BEST:: SOT 237277 SOS 131627 HAS SOPS 126890 HAS SOUS 59080 HAS SOUPS 56264 WITH SCORE 56395.627
AT ITER 3203 NEW BEST:: SOT 237277 SOS 131659 HAS SOPS 126922 HAS SOUS 59064 HAS SOUPS 56248 WITH SCORE 56379.659
AT ITER 3217 NEW BEST:: SOT 237262 SOS 131644 HAS SOPS 126907 HAS SOUS 59049 HAS SOUPS 56233 WITH SCORE 56364.644
AT ITER 3231 NEW BEST:: SOT 237209 SOS 131565 HAS SOPS 126828 HAS SOUS 59000 HAS SOUPS 56184 WITH SCORE 56315.565
AT ITER 3239 NEW BEST:: SOT 237232 SOS 131651 HAS SOPS 126930 HAS SOUS 58971 HAS SOUPS 56171 WITH SCORE 56302.651
AT ITER 3241 NEW BEST:: SOT 237040 SOS 131267 HAS SOPS 126546 HAS SOUS 58797 HAS SOUPS 55997 WITH SCORE 56128.267
AT ITER 3246 NEW BEST:: SOT 237030 SOS 131252 HAS SOPS 126531 HAS SOUS 58782 HAS SOUPS 55982 WITH SCORE 56113.252
AT ITER 3252 NEW BEST:: SOT 237023 SOS 131245 HAS SOPS 126524 HAS SOUS 58774 HAS SOUPS 55974 WITH SCORE 56105.245
AT ITER 3254 NEW BEST:: SOT 237051 SOS 131365 HAS SOPS 126644 HAS SOUS 58730 HAS SOUPS 55930 WITH SCORE 56061.365
AT ITER 3255 NEW BEST:: SOT 237051 SOS 131311 HAS SOPS 126626 HAS SOUS 58712 HAS SOUPS 55930 WITH SCORE 56061.311
AT ITER 3280 NEW BEST:: SOT 237002 SOS 131262 HAS SOPS 126577 HAS SOUS 58593 HAS SOUPS 55811 WITH SCORE 55942.262
AT ITER 3294 NEW BEST:: SOT 237066 SOS 130840 HAS SOPS 126061 HAS SOUS 58544 HAS SOUPS 55668 WITH SCORE 55798.84
AT ITER 3301 NEW BEST:: SOT 237030 SOS 130804 HAS SOPS 126025 HAS SOUS 58505 HAS SOUPS 55629 WITH SCORE 55759.804
AT ITER 3315 NEW BEST:: SOT 237030 SOS 130695 HAS SOPS 125823 HAS SOUS 58480 HAS SOUPS 55570 WITH SCORE 55700.695
AT ITER 3325 NEW BEST:: SOT 236940 SOS 130594 HAS SOPS 125722 HAS SOUS 58478 HAS SOUPS 55568 WITH SCORE 55698.594
AT ITER 3344 NEW BEST:: SOT 236872 SOS 130677 HAS SOPS 125805 HAS SOUS 58377 HAS SOUPS 55467 WITH SCORE 55597.677
AT ITER 3346 NEW BEST:: SOT 236868 SOS 130667 HAS SOPS 125795 HAS SOUS 58375 HAS SOUPS 55465 WITH SCORE 55595.667
AT ITER 3348 NEW BEST:: SOT 236782 SOS 130581 HAS SOPS 125709 HAS SOUS 58284 HAS SOUPS 55374 WITH SCORE 55504.581
AT ITER 3352 NEW BEST:: SOT 236778 SOS 130577 HAS SOPS 125705 HAS SOUS 58282 HAS SOUPS 55372 WITH SCORE 55502.577
AT ITER 3358 NEW BEST:: SOT 236558 SOS 130319 HAS SOPS 125447 HAS SOUS 58238 HAS SOUPS 55328 WITH SCORE 55458.319
AT ITER 3359 NEW BEST:: SOT 236558 SOS 129821 HAS SOPS 124700 HAS SOUS 58155 HAS SOUPS 55162 WITH SCORE 55291.821
AT ITER 3367 NEW BEST:: SOT 236543 SOS 129791 HAS SOPS 124670 HAS SOUS 58140 HAS SOUPS 55147 WITH SCORE 55276.791
AT ITER 3368 NEW BEST:: SOT 236543 SOS 129786 HAS SOPS 124662 HAS SOUS 58139 HAS SOUPS 55145 WITH SCORE 55274.786
AT ITER 3377 NEW BEST:: SOT 236543 SOS 129793 HAS SOPS 124669 HAS SOUS 58125 HAS SOUPS 55131 WITH SCORE 55260.793
AT ITER 3381 NEW BEST:: SOT 236457 SOS 129691 HAS SOPS 124567 HAS SOUS 58064 HAS SOUPS 55070 WITH SCORE 55199.691
AT ITER 3416 NEW BEST:: SOT 236412 SOS 129604 HAS SOPS 124480 HAS SOUS 58036 HAS SOUPS 55042 WITH SCORE 55171.604
AT ITER 3427 NEW BEST:: SOT 236415 SOS 129580 HAS SOPS 124456 HAS SOUS 58020 HAS SOUPS 55026 WITH SCORE 55155.58
AT ITER 3432 NEW BEST:: SOT 236407 SOS 129574 HAS SOPS 124450 HAS SOUS 58016 HAS SOUPS 55022 WITH SCORE 55151.574
AT ITER 3437 NEW BEST:: SOT 236407 SOS 129524 HAS SOPS 124400 HAS SOUS 58016 HAS SOUPS 55022 WITH SCORE 55151.524
AT ITER 3445 NEW BEST:: SOT 236264 SOS 129381 HAS SOPS 124257 HAS SOUS 57883 HAS SOUPS 54889 WITH SCORE 55018.381
AT ITER 3451 NEW BEST:: SOT 236257 SOS 129374 HAS SOPS 124250 HAS SOUS 57862 HAS SOUPS 54868 WITH SCORE 54997.374
AT ITER 3456 NEW BEST:: SOT 236257 SOS 129192 HAS SOPS 123999 HAS SOUS 57765 HAS SOUPS 54771 WITH SCORE 54900.192
AT ITER 3461 NEW BEST:: SOT 236260 SOS 129184 HAS SOPS 123935 HAS SOUS 57690 HAS SOUPS 54682 WITH SCORE 54811.184
AT ITER 3503 NEW BEST:: SOT 236207 SOS 129073 HAS SOPS 123520 HAS SOUS 57681 HAS SOUPS 54546 WITH SCORE 54675.073
AT ITER 3504 NEW BEST:: SOT 236207 SOS 129033 HAS SOPS 123470 HAS SOUS 57671 HAS SOUPS 54536 WITH SCORE 54665.033
AT ITER 3519 NEW BEST:: SOT 236159 SOS 129000 HAS SOPS 123437 HAS SOUS 57671 HAS SOUPS 54536 WITH SCORE 54665.0
AT ITER 3528 NEW BEST:: SOT 235807 SOS 128552 HAS SOPS 122989 HAS SOUS 57095 HAS SOUPS 53960 WITH SCORE 54088.552
AT ITER 3530 NEW BEST:: SOT 235765 SOS 128293 HAS SOPS 122832 HAS SOUS 56947 HAS SOUPS 53863 WITH SCORE 53991.293
AT ITER 3534 NEW BEST:: SOT 235810 SOS 128310 HAS SOPS 122849 HAS SOUS 56928 HAS SOUPS 53844 WITH SCORE 53972.31
AT ITER 3540 NEW BEST:: SOT 235859 SOS 128203 HAS SOPS 122703 HAS SOUS 56894 HAS SOUPS 53810 WITH SCORE 53938.203
AT ITER 3549 NEW BEST:: SOT 235801 SOS 128082 HAS SOPS 122582 HAS SOUS 56868 HAS SOUPS 53784 WITH SCORE 53912.082
AT ITER 3553 NEW BEST:: SOT 235799 SOS 128080 HAS SOPS 122580 HAS SOUS 56834 HAS SOUPS 53750 WITH SCORE 53878.08
AT ITER 3555 NEW BEST:: SOT 235757 SOS 128038 HAS SOPS 122538 HAS SOUS 56820 HAS SOUPS 53736 WITH SCORE 53864.038
AT ITER 3593 NEW BEST:: SOT 235864 SOS 128110 HAS SOPS 122610 HAS SOUS 56782 HAS SOUPS 53698 WITH SCORE 53826.11
AT ITER 3602 NEW BEST:: SOT 235824 SOS 128070 HAS SOPS 122570 HAS SOUS 56768 HAS SOUPS 53684 WITH SCORE 53812.07
AT ITER 3606 NEW BEST:: SOT 235774 SOS 128002 HAS SOPS 122502 HAS SOUS 56742 HAS SOUPS 53658 WITH SCORE 53786.002
AT ITER 3638 NEW BEST:: SOT 235418 SOS 127627 HAS SOPS 122127 HAS SOUS 56590 HAS SOUPS 53506 WITH SCORE 53633.627
AT ITER 3659 NEW BEST:: SOT 235424 SOS 127583 HAS SOPS 122083 HAS SOUS 56584 HAS SOUPS 53500 WITH SCORE 53627.583
AT ITER 3663 NEW BEST:: SOT 235349 SOS 127448 HAS SOPS 121948 HAS SOUS 56509 HAS SOUPS 53425 WITH SCORE 53552.448
AT ITER 3666 NEW BEST:: SOT 235031 SOS 127233 HAS SOPS 121733 HAS SOUS 56312 HAS SOUPS 53228 WITH SCORE 53355.233
AT ITER 3686 NEW BEST:: SOT 234975 SOS 127114 HAS SOPS 121652 HAS SOUS 56288 HAS SOUPS 53216 WITH SCORE 53343.114
AT ITER 3688 NEW BEST:: SOT 234949 SOS 127082 HAS SOPS 121620 HAS SOUS 56263 HAS SOUPS 53191 WITH SCORE 53318.082
AT ITER 3690 NEW BEST:: SOT 234871 SOS 127034 HAS SOPS 121665 HAS SOUS 56198 HAS SOUPS 53165 WITH SCORE 53292.034
AT ITER 3713 NEW BEST:: SOT 234868 SOS 127004 HAS SOPS 121635 HAS SOUS 56198 HAS SOUPS 53165 WITH SCORE 53292.004
AT ITER 3715 NEW BEST:: SOT 234877 SOS 126995 HAS SOPS 121608 HAS SOUS 56171 HAS SOUPS 53138 WITH SCORE 53264.995
AT ITER 3722 NEW BEST:: SOT 234859 SOS 126977 HAS SOPS 121590 HAS SOUS 56162 HAS SOUPS 53129 WITH SCORE 53255.977
AT ITER 3725 NEW BEST:: SOT 234855 SOS 126937 HAS SOPS 121550 HAS SOUS 56150 HAS SOUPS 53117 WITH SCORE 53243.937
AT ITER 3735 NEW BEST:: SOT 234836 SOS 126909 HAS SOPS 121522 HAS SOUS 56115 HAS SOUPS 53082 WITH SCORE 53208.909
AT ITER 3759 NEW BEST:: SOT 234770 SOS 126768 HAS SOPS 121381 HAS SOUS 56021 HAS SOUPS 52988 WITH SCORE 53114.768
AT ITER 3767 NEW BEST:: SOT 234882 SOS 126469 HAS SOPS 121082 HAS SOUS 55884 HAS SOUPS 52851 WITH SCORE 52977.469
AT ITER 3773 NEW BEST:: SOT 234882 SOS 126768 HAS SOPS 121381 HAS SOUS 55837 HAS SOUPS 52804 WITH SCORE 52930.768
AT ITER 3785 NEW BEST:: SOT 235251 SOS 126967 HAS SOPS 121619 HAS SOUS 55432 HAS SOUPS 52420 WITH SCORE 52546.967
AT ITER 3786 NEW BEST:: SOT 235251 SOS 126859 HAS SOPS 121511 HAS SOUS 55432 HAS SOUPS 52420 WITH SCORE 52546.859
AT ITER 3787 NEW BEST:: SOT 235251 SOS 126853 HAS SOPS 121505 HAS SOUS 55432 HAS SOUPS 52420 WITH SCORE 52546.853
AT ITER 3809 NEW BEST:: SOT 235191 SOS 126851 HAS SOPS 121503 HAS SOUS 55385 HAS SOUPS 52373 WITH SCORE 52499.851
AT ITER 3834 NEW BEST:: SOT 235193 SOS 126793 HAS SOPS 121405 HAS SOUS 55389 HAS SOUPS 52355 WITH SCORE 52481.793
AT ITER 3856 NEW BEST:: SOT 235193 SOS 126757 HAS SOPS 121363 HAS SOUS 55386 HAS SOUPS 52349 WITH SCORE 52475.757
AT ITER 3868 NEW BEST:: SOT 235181 SOS 126727 HAS SOPS 121333 HAS SOUS 55368 HAS SOUPS 52331 WITH SCORE 52457.727
AT ITER 3869 NEW BEST:: SOT 235161 SOS 126707 HAS SOPS 121313 HAS SOUS 55348 HAS SOUPS 52311 WITH SCORE 52437.707
AT ITER 3878 NEW BEST:: SOT 235161 SOS 126707 HAS SOPS 121313 HAS SOUS 55263 HAS SOUPS 52226 WITH SCORE 52352.707
AT ITER 3900 NEW BEST:: SOT 235110 SOS 126662 HAS SOPS 121268 HAS SOUS 55211 HAS SOUPS 52174 WITH SCORE 52300.662
AT ITER 3904 NEW BEST:: SOT 235152 SOS 126673 HAS SOPS 121279 HAS SOUS 55071 HAS SOUPS 52034 WITH SCORE 52160.673
AT ITER 3929 NEW BEST:: SOT 235145 SOS 126637 HAS SOPS 121236 HAS SOUS 55054 HAS SOUPS 52010 WITH SCORE 52136.637
AT ITER 3949 NEW BEST:: SOT 235133 SOS 126625 HAS SOPS 121224 HAS SOUS 55014 HAS SOUPS 51970 WITH SCORE 52096.625
AT ITER 3958 NEW BEST:: SOT 235068 SOS 126260 HAS SOPS 120859 HAS SOUS 54949 HAS SOUPS 51905 WITH SCORE 52031.26
AT ITER 3962 NEW BEST:: SOT 235050 SOS 126231 HAS SOPS 120805 HAS SOUS 54849 HAS SOUPS 51780 WITH SCORE 51906.231
AT ITER 3973 NEW BEST:: SOT 235015 SOS 126239 HAS SOPS 120813 HAS SOUS 54837 HAS SOUPS 51768 WITH SCORE 51894.239
AT ITER 3978 NEW BEST:: SOT 234981 SOS 126205 HAS SOPS 120779 HAS SOUS 54801 HAS SOUPS 51732 WITH SCORE 51858.205
AT ITER 4023 NEW BEST:: SOT 235061 SOS 126385 HAS SOPS 120959 HAS SOUS 54780 HAS SOUPS 51711 WITH SCORE 51837.385
AT ITER 4024 NEW BEST:: SOT 235157 SOS 126541 HAS SOPS 121115 HAS SOUS 54748 HAS SOUPS 51679 WITH SCORE 51805.541
AT ITER 4032 NEW BEST:: SOT 235043 SOS 126682 HAS SOPS 121256 HAS SOUS 54714 HAS SOUPS 51645 WITH SCORE 51771.682
AT ITER 4049 NEW BEST:: SOT 235087 SOS 126724 HAS SOPS 121298 HAS SOUS 54713 HAS SOUPS 51644 WITH SCORE 51770.724
AT ITER 4068 NEW BEST:: SOT 235072 SOS 126709 HAS SOPS 121283 HAS SOUS 54713 HAS SOUPS 51644 WITH SCORE 51770.709
AT ITER 4075 NEW BEST:: SOT 235072 SOS 126674 HAS SOPS 121243 HAS SOUS 54718 HAS SOUPS 51644 WITH SCORE 51770.674
AT ITER 4079 NEW BEST:: SOT 235064 SOS 126694 HAS SOPS 121263 HAS SOUS 54713 HAS SOUPS 51639 WITH SCORE 51765.694
AT ITER 4127 NEW BEST:: SOT 234804 SOS 126443 HAS SOPS 121012 HAS SOUS 54406 HAS SOUPS 51332 WITH SCORE 51458.443
AT ITER 4133 NEW BEST:: SOT 234834 SOS 126243 HAS SOPS 120812 HAS SOUS 54206 HAS SOUPS 51132 WITH SCORE 51258.243
AT ITER 4137 NEW BEST:: SOT 234772 SOS 126181 HAS SOPS 120750 HAS SOUS 54178 HAS SOUPS 51104 WITH SCORE 51230.181
AT ITER 4146 NEW BEST:: SOT 234707 SOS 126144 HAS SOPS 120713 HAS SOUS 54169 HAS SOUPS 51095 WITH SCORE 51221.144
AT ITER 4150 NEW BEST:: SOT 234689 SOS 126108 HAS SOPS 120689 HAS SOUS 54139 HAS SOUPS 51071 WITH SCORE 51197.108
AT ITER 4171 NEW BEST:: SOT 234675 SOS 126094 HAS SOPS 120675 HAS SOUS 54125 HAS SOUPS 51057 WITH SCORE 51183.094
AT ITER 4184 NEW BEST:: SOT 234590 SOS 126006 HAS SOPS 120587 HAS SOUS 54081 HAS SOUPS 51013 WITH SCORE 51139.006
AT ITER 4203 NEW BEST:: SOT 234593 SOS 126003 HAS SOPS 120581 HAS SOUS 54084 HAS SOUPS 51013 WITH SCORE 51139.003
AT ITER 4249 NEW BEST:: SOT 234613 SOS 126203 HAS SOPS 120781 HAS SOUS 53899 HAS SOUPS 50828 WITH SCORE 50954.203
AT ITER 4259 NEW BEST:: SOT 234461 SOS 126051 HAS SOPS 120629 HAS SOUS 53762 HAS SOUPS 50691 WITH SCORE 50817.051
AT ITER 4265 NEW BEST:: SOT 234461 SOS 126017 HAS SOPS 120595 HAS SOUS 53762 HAS SOUPS 50691 WITH SCORE 50817.017
AT ITER 4270 NEW BEST:: SOT 234411 SOS 125788 HAS SOPS 120545 HAS SOUS 53670 HAS SOUPS 50674 WITH SCORE 50799.788
AT ITER 4272 NEW BEST:: SOT 234411 SOS 125770 HAS SOPS 120527 HAS SOUS 53640 HAS SOUPS 50644 WITH SCORE 50769.77
AT ITER 4291 NEW BEST:: SOT 234226 SOS 126021 HAS SOPS 120778 HAS SOUS 53562 HAS SOUPS 50566 WITH SCORE 50692.021
AT ITER 4297 NEW BEST:: SOT 234500 SOS 126349 HAS SOPS 120830 HAS SOUS 53337 HAS SOUPS 50235 WITH SCORE 50361.349
AT ITER 4304 NEW BEST:: SOT 234435 SOS 125393 HAS SOPS 119874 HAS SOUS 53337 HAS SOUPS 50235 WITH SCORE 50360.393
AT ITER 4324 NEW BEST:: SOT 234431 SOS 125389 HAS SOPS 119870 HAS SOUS 53321 HAS SOUPS 50219 WITH SCORE 50344.389
AT ITER 4330 NEW BEST:: SOT 234485 SOS 125409 HAS SOPS 119878 HAS SOUS 53309 HAS SOUPS 50207 WITH SCORE 50332.409
AT ITER 4334 NEW BEST:: SOT 234473 SOS 125397 HAS SOPS 119866 HAS SOUS 53297 HAS SOUPS 50195 WITH SCORE 50320.397
AT ITER 4358 NEW BEST:: SOT 234426 SOS 125350 HAS SOPS 119819 HAS SOUS 53192 HAS SOUPS 50090 WITH SCORE 50215.35
AT ITER 4363 NEW BEST:: SOT 234426 SOS 125158 HAS SOPS 119627 HAS SOUS 53175 HAS SOUPS 50073 WITH SCORE 50198.158
AT ITER 4377 NEW BEST:: SOT 234408 SOS 125140 HAS SOPS 119609 HAS SOUS 53174 HAS SOUPS 50072 WITH SCORE 50197.14
AT ITER 4394 NEW BEST:: SOT 234400 SOS 125128 HAS SOPS 119597 HAS SOUS 53154 HAS SOUPS 50052 WITH SCORE 50177.128
AT ITER 4400 NEW BEST:: SOT 234367 SOS 125073 HAS SOPS 119542 HAS SOUS 53110 HAS SOUPS 50008 WITH SCORE 50133.073
AT ITER 4414 NEW BEST:: SOT 234436 SOS 125051 HAS SOPS 119520 HAS SOUS 53098 HAS SOUPS 49996 WITH SCORE 50121.051
AT ITER 4424 NEW BEST:: SOT 234176 SOS 124864 HAS SOPS 119536 HAS SOUS 52946 HAS SOUPS 49916 WITH SCORE 50040.864
AT ITER 4432 NEW BEST:: SOT 234149 SOS 124809 HAS SOPS 119481 HAS SOUS 52932 HAS SOUPS 49902 WITH SCORE 50026.809
AT ITER 4470 NEW BEST:: SOT 234175 SOS 124829 HAS SOPS 119501 HAS SOUS 52860 HAS SOUPS 49830 WITH SCORE 49954.829
AT ITER 4505 NEW BEST:: SOT 234175 SOS 124753 HAS SOPS 119425 HAS SOUS 52860 HAS SOUPS 49830 WITH SCORE 49954.753
AT ITER 4540 NEW BEST:: SOT 234165 SOS 124725 HAS SOPS 119397 HAS SOUS 52807 HAS SOUPS 49777 WITH SCORE 49901.725
AT ITER 4563 NEW BEST:: SOT 234161 SOS 124717 HAS SOPS 119389 HAS SOUS 52797 HAS SOUPS 49767 WITH SCORE 49891.717
AT ITER 4564 NEW BEST:: SOT 234203 SOS 124665 HAS SOPS 119337 HAS SOUS 52682 HAS SOUPS 49652 WITH SCORE 49776.665
AT ITER 4578 NEW BEST:: SOT 234203 SOS 124539 HAS SOPS 119128 HAS SOUS 52694 HAS SOUPS 49637 WITH SCORE 49761.539
AT ITER 4582 NEW BEST:: SOT 234151 SOS 124354 HAS SOPS 118752 HAS SOUS 52634 HAS SOUPS 49490 WITH SCORE 49614.354
AT ITER 4600 NEW BEST:: SOT 234149 SOS 124280 HAS SOPS 118678 HAS SOUS 52634 HAS SOUPS 49490 WITH SCORE 49614.28
AT ITER 4601 NEW BEST:: SOT 234149 SOS 124285 HAS SOPS 118683 HAS SOUS 52624 HAS SOUPS 49480 WITH SCORE 49604.285
AT ITER 4617 NEW BEST:: SOT 234112 SOS 124101 HAS SOPS 118484 HAS SOUS 52620 HAS SOUPS 49471 WITH SCORE 49595.101
AT ITER 4626 NEW BEST:: SOT 234076 SOS 124077 HAS SOPS 118460 HAS SOUS 52497 HAS SOUPS 49348 WITH SCORE 49472.077
AT ITER 4644 NEW BEST:: SOT 233942 SOS 123777 HAS SOPS 118160 HAS SOUS 52351 HAS SOUPS 49202 WITH SCORE 49325.777
AT ITER 4650 NEW BEST:: SOT 233895 SOS 123695 HAS SOPS 118078 HAS SOUS 52210 HAS SOUPS 49061 WITH SCORE 49184.695
AT ITER 4655 NEW BEST:: SOT 233873 SOS 123673 HAS SOPS 118056 HAS SOUS 52188 HAS SOUPS 49039 WITH SCORE 49162.673
AT ITER 4667 NEW BEST:: SOT 233878 SOS 123759 HAS SOPS 118106 HAS SOUS 52184 HAS SOUPS 49026 WITH SCORE 49149.759
AT ITER 4673 NEW BEST:: SOT 233877 SOS 123758 HAS SOPS 118105 HAS SOUS 52183 HAS SOUPS 49025 WITH SCORE 49148.758
AT ITER 4682 NEW BEST:: SOT 233877 SOS 123749 HAS SOPS 118096 HAS SOUS 52182 HAS SOUPS 49024 WITH SCORE 49147.749
AT ITER 4691 NEW BEST:: SOT 233615 SOS 123445 HAS SOPS 117792 HAS SOUS 52046 HAS SOUPS 48888 WITH SCORE 49011.445
AT ITER 4742 NEW BEST:: SOT 233601 SOS 123320 HAS SOPS 117667 HAS SOUS 51973 HAS SOUPS 48815 WITH SCORE 48938.32
AT ITER 4768 NEW BEST:: SOT 233601 SOS 123269 HAS SOPS 117616 HAS SOUS 51973 HAS SOUPS 48815 WITH SCORE 48938.269
AT ITER 4774 NEW BEST:: SOT 233586 SOS 123238 HAS SOPS 117585 HAS SOUS 51964 HAS SOUPS 48806 WITH SCORE 48929.238
AT ITER 4782 NEW BEST:: SOT 233585 SOS 123237 HAS SOPS 117584 HAS SOUS 51963 HAS SOUPS 48805 WITH SCORE 48928.237
AT ITER 4783 NEW BEST:: SOT 233585 SOS 123215 HAS SOPS 117562 HAS SOUS 51952 HAS SOUPS 48794 WITH SCORE 48917.215
AT ITER 4790 NEW BEST:: SOT 233560 SOS 124639 HAS SOPS 118986 HAS SOUS 51907 HAS SOUPS 48749 WITH SCORE 48873.639
AT ITER 4809 NEW BEST:: SOT 233535 SOS 124613 HAS SOPS 118960 HAS SOUS 51857 HAS SOUPS 48699 WITH SCORE 48823.613
AT ITER 4828 NEW BEST:: SOT 233456 SOS 124556 HAS SOPS 118903 HAS SOUS 51823 HAS SOUPS 48665 WITH SCORE 48789.556
AT ITER 4832 NEW BEST:: SOT 233191 SOS 124233 HAS SOPS 118580 HAS SOUS 51658 HAS SOUPS 48500 WITH SCORE 48624.233
AT ITER 4835 NEW BEST:: SOT 233155 SOS 124198 HAS SOPS 118546 HAS SOUS 51622 HAS SOUPS 48464 WITH SCORE 48588.198
AT ITER 4849 NEW BEST:: SOT 233123 SOS 124166 HAS SOPS 118514 HAS SOUS 51566 HAS SOUPS 48408 WITH SCORE 48532.166
AT ITER 4881 NEW BEST:: SOT 233099 SOS 124009 HAS SOPS 118338 HAS SOUS 51565 HAS SOUPS 48407 WITH SCORE 48531.009
AT ITER 4889 NEW BEST:: SOT 233099 SOS 123999 HAS SOPS 118323 HAS SOUS 51560 HAS SOUPS 48397 WITH SCORE 48520.999
AT ITER 4895 NEW BEST:: SOT 233103 SOS 123978 HAS SOPS 118268 HAS SOUS 51528 HAS SOUPS 48331 WITH SCORE 48454.978
AT ITER 4902 NEW BEST:: SOT 233103 SOS 123482 HAS SOPS 117772 HAS SOUS 51511 HAS SOUPS 48314 WITH SCORE 48437.482
AT ITER 4941 NEW BEST:: SOT 233097 SOS 123466 HAS SOPS 117746 HAS SOUS 51467 HAS SOUPS 48260 WITH SCORE 48383.466
AT ITER 4946 NEW BEST:: SOT 233036 SOS 123461 HAS SOPS 117772 HAS SOUS 51440 HAS SOUPS 48237 WITH SCORE 48360.461
AT ITER 4969 NEW BEST:: SOT 233126 SOS 123551 HAS SOPS 117862 HAS SOUS 51359 HAS SOUPS 48156 WITH SCORE 48279.551
AT ITER 4993 NEW BEST:: SOT 233138 SOS 123563 HAS SOPS 117874 HAS SOUS 51351 HAS SOUPS 48148 WITH SCORE 48271.563
AT ITER 5013 NEW BEST:: SOT 233138 SOS 123130 HAS SOPS 117441 HAS SOUS 51351 HAS SOUPS 48148 WITH SCORE 48271.13
AT ITER 5014 NEW BEST:: SOT 233112 SOS 123108 HAS SOPS 117435 HAS SOUS 51334 HAS SOUPS 48143 WITH SCORE 48266.108
AT ITER 5029 NEW BEST:: SOT 233112 SOS 123144 HAS SOPS 117471 HAS SOUS 51319 HAS SOUPS 48128 WITH SCORE 48251.144
AT ITER 5036 NEW BEST:: SOT 233112 SOS 123136 HAS SOPS 117463 HAS SOUS 51319 HAS SOUPS 48128 WITH SCORE 48251.136
AT ITER 5046 NEW BEST:: SOT 233112 SOS 123114 HAS SOPS 117441 HAS SOUS 51268 HAS SOUPS 48077 WITH SCORE 48200.114
AT ITER 5048 NEW BEST:: SOT 232967 SOS 123293 HAS SOPS 117630 HAS SOUS 51248 HAS SOUPS 48057 WITH SCORE 48180.293
AT ITER 5064 NEW BEST:: SOT 233013 SOS 123507 HAS SOPS 117897 HAS SOUS 51209 HAS SOUPS 48018 WITH SCORE 48141.507
AT ITER 5065 NEW BEST:: SOT 233086 SOS 123538 HAS SOPS 117928 HAS SOUS 51102 HAS SOUPS 47911 WITH SCORE 48034.538
AT ITER 5080 NEW BEST:: SOT 233107 SOS 123540 HAS SOPS 117930 HAS SOUS 51099 HAS SOUPS 47908 WITH SCORE 48031.54
AT ITER 5095 NEW BEST:: SOT 233118 SOS 123551 HAS SOPS 117941 HAS SOUS 51056 HAS SOUPS 47865 WITH SCORE 47988.551
AT ITER 5109 NEW BEST:: SOT 233219 SOS 123523 HAS SOPS 117893 HAS SOUS 51033 HAS SOUPS 47842 WITH SCORE 47965.523
AT ITER 5112 NEW BEST:: SOT 233179 SOS 123373 HAS SOPS 117703 HAS SOUS 50953 HAS SOUPS 47742 WITH SCORE 47865.373
AT ITER 5125 NEW BEST:: SOT 233163 SOS 123345 HAS SOPS 117675 HAS SOUS 50938 HAS SOUPS 47727 WITH SCORE 47850.345
AT ITER 5135 NEW BEST:: SOT 233053 SOS 123067 HAS SOPS 117416 HAS SOUS 50915 HAS SOUPS 47704 WITH SCORE 47827.067
AT ITER 5138 NEW BEST:: SOT 233042 SOS 122951 HAS SOPS 117300 HAS SOUS 50870 HAS SOUPS 47659 WITH SCORE 47781.951
AT ITER 5153 NEW BEST:: SOT 233042 SOS 122337 HAS SOPS 116686 HAS SOUS 50845 HAS SOUPS 47634 WITH SCORE 47756.337
AT ITER 5178 NEW BEST:: SOT 233039 SOS 122325 HAS SOPS 116674 HAS SOUS 50845 HAS SOUPS 47634 WITH SCORE 47756.325
AT ITER 5179 NEW BEST:: SOT 233034 SOS 122320 HAS SOPS 116669 HAS SOUS 50840 HAS SOUPS 47629 WITH SCORE 47751.32
AT ITER 5183 NEW BEST:: SOT 233002 SOS 122176 HAS SOPS 116525 HAS SOUS 50840 HAS SOUPS 47629 WITH SCORE 47751.176
AT ITER 5185 NEW BEST:: SOT 232954 SOS 122128 HAS SOPS 116477 HAS SOUS 50796 HAS SOUPS 47585 WITH SCORE 47707.128
AT ITER 5196 NEW BEST:: SOT 232936 SOS 122076 HAS SOPS 116425 HAS SOUS 50626 HAS SOUPS 47415 WITH SCORE 47537.076
AT ITER 5198 NEW BEST:: SOT 232924 SOS 122064 HAS SOPS 116413 HAS SOUS 50622 HAS SOUPS 47411 WITH SCORE 47533.064
AT ITER 5213 NEW BEST:: SOT 232758 SOS 122075 HAS SOPS 116471 HAS SOUS 50540 HAS SOUPS 47329 WITH SCORE 47451.075
AT ITER 5218 NEW BEST:: SOT 232612 SOS 121947 HAS SOPS 116182 HAS SOUS 50514 HAS SOUPS 47218 WITH SCORE 47339.947
AT ITER 5223 NEW BEST:: SOT 232583 SOS 121899 HAS SOPS 116134 HAS SOUS 50508 HAS SOUPS 47212 WITH SCORE 47333.899
AT ITER 5229 NEW BEST:: SOT 232583 SOS 121899 HAS SOPS 116134 HAS SOUS 50498 HAS SOUPS 47202 WITH SCORE 47323.899
AT ITER 5235 NEW BEST:: SOT 232459 SOS 121781 HAS SOPS 116040 HAS SOUS 50372 HAS SOUPS 47100 WITH SCORE 47221.781
AT ITER 5317 NEW BEST:: SOT 232488 SOS 121998 HAS SOPS 116259 HAS SOUS 50342 HAS SOUPS 47070 WITH SCORE 47191.998
AT ITER 5329 NEW BEST:: SOT 232410 SOS 121920 HAS SOPS 116181 HAS SOUS 50340 HAS SOUPS 47068 WITH SCORE 47189.92
AT ITER 5331 NEW BEST:: SOT 232410 SOS 122093 HAS SOPS 116354 HAS SOUS 50247 HAS SOUPS 46975 WITH SCORE 47097.093
AT ITER 5334 NEW BEST:: SOT 232387 SOS 122094 HAS SOPS 116355 HAS SOUS 50227 HAS SOUPS 46955 WITH SCORE 47077.094
AT ITER 5346 NEW BEST:: SOT 232120 SOS 121498 HAS SOPS 115759 HAS SOUS 50196 HAS SOUPS 46924 WITH SCORE 47045.498
AT ITER 5381 NEW BEST:: SOT 232113 SOS 121423 HAS SOPS 115691 HAS SOUS 50189 HAS SOUPS 46924 WITH SCORE 47045.423
AT ITER 5413 NEW BEST:: SOT 232094 SOS 121350 HAS SOPS 115618 HAS SOUS 50152 HAS SOUPS 46887 WITH SCORE 47008.35
AT ITER 5419 NEW BEST:: SOT 232080 SOS 121332 HAS SOPS 115600 HAS SOUS 50130 HAS SOUPS 46865 WITH SCORE 46986.332
AT ITER 5428 NEW BEST:: SOT 232014 SOS 121178 HAS SOPS 115446 HAS SOUS 50042 HAS SOUPS 46777 WITH SCORE 46898.178
AT ITER 5440 NEW BEST:: SOT 232010 SOS 121142 HAS SOPS 115401 HAS SOUS 50005 HAS SOUPS 46740 WITH SCORE 46861.142
AT ITER 5457 NEW BEST:: SOT 231963 SOS 121140 HAS SOPS 115399 HAS SOUS 49987 HAS SOUPS 46722 WITH SCORE 46843.14
AT ITER 5465 NEW BEST:: SOT 231963 SOS 121148 HAS SOPS 115400 HAS SOUS 49980 HAS SOUPS 46715 WITH SCORE 46836.148
AT ITER 5475 NEW BEST:: SOT 231623 SOS 120422 HAS SOPS 114674 HAS SOUS 49482 HAS SOUPS 46217 WITH SCORE 46337.422
AT ITER 5479 NEW BEST:: SOT 231615 SOS 120414 HAS SOPS 114666 HAS SOUS 49474 HAS SOUPS 46209 WITH SCORE 46329.414
AT ITER 5484 NEW BEST:: SOT 231390 SOS 120084 HAS SOPS 114336 HAS SOUS 49430 HAS SOUPS 46165 WITH SCORE 46285.084
AT ITER 5490 NEW BEST:: SOT 231342 SOS 120081 HAS SOPS 114333 HAS SOUS 49394 HAS SOUPS 46129 WITH SCORE 46249.081
AT ITER 5518 NEW BEST:: SOT 231202 SOS 119811 HAS SOPS 114063 HAS SOUS 49243 HAS SOUPS 45978 WITH SCORE 46097.811
AT ITER 5534 NEW BEST:: SOT 231188 SOS 119797 HAS SOPS 114049 HAS SOUS 49236 HAS SOUPS 45971 WITH SCORE 46090.797
AT ITER 5537 NEW BEST:: SOT 231156 SOS 119599 HAS SOPS 113851 HAS SOUS 49187 HAS SOUPS 45922 WITH SCORE 46041.599
AT ITER 5547 NEW BEST:: SOT 231156 SOS 119496 HAS SOPS 113748 HAS SOUS 49187 HAS SOUPS 45922 WITH SCORE 46041.496
AT ITER 5557 NEW BEST:: SOT 231153 SOS 119480 HAS SOPS 113732 HAS SOUS 49163 HAS SOUPS 45898 WITH SCORE 46017.48
AT ITER 5582 NEW BEST:: SOT 231153 SOS 119490 HAS SOPS 113742 HAS SOUS 49153 HAS SOUPS 45888 WITH SCORE 46007.49
AT ITER 5589 NEW BEST:: SOT 231273 SOS 119703 HAS SOPS 113987 HAS SOUS 49071 HAS SOUPS 45838 WITH SCORE 45957.703
AT ITER 5637 NEW BEST:: SOT 231297 SOS 119720 HAS SOPS 114004 HAS SOUS 49033 HAS SOUPS 45800 WITH SCORE 45919.72
AT ITER 5677 NEW BEST:: SOT 231303 SOS 119743 HAS SOPS 114006 HAS SOUS 49034 HAS SOUPS 45792 WITH SCORE 45911.743
AT ITER 5679 NEW BEST:: SOT 231351 SOS 119695 HAS SOPS 113958 HAS SOUS 49034 HAS SOUPS 45792 WITH SCORE 45911.695
AT ITER 5684 NEW BEST:: SOT 231335 SOS 119679 HAS SOPS 113942 HAS SOUS 49018 HAS SOUPS 45776 WITH SCORE 45895.679
AT ITER 5688 NEW BEST:: SOT 231300 SOS 119584 HAS SOPS 113847 HAS SOUS 48983 HAS SOUPS 45741 WITH SCORE 45860.584
AT ITER 5719 NEW BEST:: SOT 231300 SOS 119456 HAS SOPS 113719 HAS SOUS 48965 HAS SOUPS 45723 WITH SCORE 45842.456
AT ITER 5733 NEW BEST:: SOT 231299 SOS 119455 HAS SOPS 113718 HAS SOUS 48964 HAS SOUPS 45722 WITH SCORE 45841.455
AT ITER 5739 NEW BEST:: SOT 231296 SOS 119452 HAS SOPS 113715 HAS SOUS 48963 HAS SOUPS 45721 WITH SCORE 45840.452
AT ITER 5746 NEW BEST:: SOT 231277 SOS 119400 HAS SOPS 113669 HAS SOUS 48942 HAS SOUPS 45706 WITH SCORE 45825.4
AT ITER 5772 NEW BEST:: SOT 231271 SOS 119394 HAS SOPS 113663 HAS SOUS 48930 HAS SOUPS 45694 WITH SCORE 45813.394
AT ITER 5777 NEW BEST:: SOT 231256 SOS 119349 HAS SOPS 113618 HAS SOUS 48913 HAS SOUPS 45677 WITH SCORE 45796.349
AT ITER 5791 NEW BEST:: SOT 231296 SOS 119433 HAS SOPS 113702 HAS SOUS 48903 HAS SOUPS 45667 WITH SCORE 45786.433
AT ITER 5801 NEW BEST:: SOT 231250 SOS 119171 HAS SOPS 113416 HAS SOUS 48859 HAS SOUPS 45599 WITH SCORE 45718.171
AT ITER 5802 NEW BEST:: SOT 231250 SOS 119171 HAS SOPS 113416 HAS SOUS 48857 HAS SOUPS 45597 WITH SCORE 45716.171
AT ITER 5810 NEW BEST:: SOT 231283 SOS 119367 HAS SOPS 113612 HAS SOUS 48844 HAS SOUPS 45584 WITH SCORE 45703.367
AT ITER 5815 NEW BEST:: SOT 231363 SOS 119720 HAS SOPS 113433 HAS SOUS 48952 HAS SOUPS 45559 WITH SCORE 45678.72
AT ITER 5872 NEW BEST:: SOT 231359 SOS 119716 HAS SOPS 113429 HAS SOUS 48948 HAS SOUPS 45555 WITH SCORE 45674.716
AT ITER 5949 NEW BEST:: SOT 231373 SOS 119703 HAS SOPS 113416 HAS SOUS 48947 HAS SOUPS 45554 WITH SCORE 45673.703
AT ITER 5961 NEW BEST:: SOT 231148 SOS 119238 HAS SOPS 112951 HAS SOUS 48639 HAS SOUPS 45246 WITH SCORE 45365.238
AT ITER 5988 NEW BEST:: SOT 231190 SOS 119262 HAS SOPS 112975 HAS SOUS 48598 HAS SOUPS 45205 WITH SCORE 45324.262
AT ITER 5998 NEW BEST:: SOT 231130 SOS 119182 HAS SOPS 112895 HAS SOUS 48481 HAS SOUPS 45088 WITH SCORE 45207.182
AT ITER 6006 NEW BEST:: SOT 231080 SOS 119208 HAS SOPS 112921 HAS SOUS 48384 HAS SOUPS 44991 WITH SCORE 45110.208
AT ITER 6019 NEW BEST:: SOT 231080 SOS 119246 HAS SOPS 112959 HAS SOUS 48372 HAS SOUPS 44979 WITH SCORE 45098.246
AT ITER 6081 NEW BEST:: SOT 230854 SOS 119013 HAS SOPS 112726 HAS SOUS 48133 HAS SOUPS 44740 WITH SCORE 44859.013
AT ITER 6104 NEW BEST:: SOT 230850 SOS 119009 HAS SOPS 112722 HAS SOUS 48129 HAS SOUPS 44736 WITH SCORE 44855.009
AT ITER 6115 NEW BEST:: SOT 230837 SOS 118996 HAS SOPS 112709 HAS SOUS 48088 HAS SOUPS 44695 WITH SCORE 44813.996
AT ITER 6118 NEW BEST:: SOT 230736 SOS 118827 HAS SOPS 112608 HAS SOUS 47954 HAS SOUPS 44595 WITH SCORE 44713.827
AT ITER 6123 NEW BEST:: SOT 230682 SOS 118865 HAS SOPS 112646 HAS SOUS 47939 HAS SOUPS 44580 WITH SCORE 44698.865
AT ITER 6130 NEW BEST:: SOT 230652 SOS 118845 HAS SOPS 112626 HAS SOUS 47909 HAS SOUPS 44550 WITH SCORE 44668.845
AT ITER 6140 NEW BEST:: SOT 230634 SOS 118784 HAS SOPS 112565 HAS SOUS 47884 HAS SOUPS 44525 WITH SCORE 44643.784
AT ITER 6143 NEW BEST:: SOT 230635 SOS 118749 HAS SOPS 112521 HAS SOUS 47858 HAS SOUPS 44499 WITH SCORE 44617.749
AT ITER 6155 NEW BEST:: SOT 230621 SOS 118735 HAS SOPS 112507 HAS SOUS 47851 HAS SOUPS 44492 WITH SCORE 44610.735
AT ITER 6217 NEW BEST:: SOT 230576 SOS 118690 HAS SOPS 112462 HAS SOUS 47775 HAS SOUPS 44416 WITH SCORE 44534.69
AT ITER 6248 NEW BEST:: SOT 230652 SOS 119052 HAS SOPS 112824 HAS SOUS 47677 HAS SOUPS 44318 WITH SCORE 44437.052
AT ITER 6280 NEW BEST:: SOT 230646 SOS 119010 HAS SOPS 112782 HAS SOUS 47666 HAS SOUPS 44307 WITH SCORE 44426.01
AT ITER 6283 NEW BEST:: SOT 230646 SOS 118986 HAS SOPS 112752 HAS SOUS 47665 HAS SOUPS 44300 WITH SCORE 44418.986
AT ITER 6287 NEW BEST:: SOT 230521 SOS 118795 HAS SOPS 112574 HAS SOUS 47507 HAS SOUPS 44155 WITH SCORE 44273.795
AT ITER 6289 NEW BEST:: SOT 230425 SOS 118699 HAS SOPS 112478 HAS SOUS 47507 HAS SOUPS 44155 WITH SCORE 44273.699
AT ITER 6357 NEW BEST:: SOT 230422 SOS 118696 HAS SOPS 112475 HAS SOUS 47504 HAS SOUPS 44152 WITH SCORE 44270.696
AT ITER 6362 NEW BEST:: SOT 230418 SOS 118700 HAS SOPS 112479 HAS SOUS 47500 HAS SOUPS 44148 WITH SCORE 44266.7
AT ITER 6365 NEW BEST:: SOT 230420 SOS 118702 HAS SOPS 112481 HAS SOUS 47492 HAS SOUPS 44140 WITH SCORE 44258.702
AT ITER 6366 NEW BEST:: SOT 230417 SOS 118696 HAS SOPS 112472 HAS SOUS 47480 HAS SOUPS 44125 WITH SCORE 44243.696
AT ITER 6418 NEW BEST:: SOT 230341 SOS 118425 HAS SOPS 112217 HAS SOUS 47477 HAS SOUPS 44122 WITH SCORE 44240.425
AT ITER 6420 NEW BEST:: SOT 230060 SOS 118196 HAS SOPS 111988 HAS SOUS 47389 HAS SOUPS 44034 WITH SCORE 44152.196
AT ITER 6427 NEW BEST:: SOT 229935 SOS 118241 HAS SOPS 112033 HAS SOUS 47293 HAS SOUPS 43938 WITH SCORE 44056.241
AT ITER 6428 NEW BEST:: SOT 229928 SOS 118042 HAS SOPS 111834 HAS SOUS 47293 HAS SOUPS 43938 WITH SCORE 44056.042
AT ITER 6446 NEW BEST:: SOT 229885 SOS 117986 HAS SOPS 111773 HAS SOUS 47259 HAS SOUPS 43901 WITH SCORE 44018.986
AT ITER 6508 NEW BEST:: SOT 229869 SOS 117970 HAS SOPS 111757 HAS SOUS 47239 HAS SOUPS 43881 WITH SCORE 43998.97
AT ITER 6538 NEW BEST:: SOT 229867 SOS 117968 HAS SOPS 111755 HAS SOUS 47237 HAS SOUPS 43879 WITH SCORE 43996.968
AT ITER 6564 NEW BEST:: SOT 229891 SOS 117944 HAS SOPS 111731 HAS SOUS 47193 HAS SOUPS 43835 WITH SCORE 43952.944
AT ITER 6568 NEW BEST:: SOT 229886 SOS 117932 HAS SOPS 111718 HAS SOUS 47182 HAS SOUPS 43823 WITH SCORE 43940.932
AT ITER 6581 NEW BEST:: SOT 229877 SOS 117923 HAS SOPS 111709 HAS SOUS 47173 HAS SOUPS 43814 WITH SCORE 43931.923
AT ITER 6593 NEW BEST:: SOT 229815 SOS 118011 HAS SOPS 111797 HAS SOUS 47147 HAS SOUPS 43788 WITH SCORE 43906.011
AT ITER 6594 NEW BEST:: SOT 229801 SOS 117990 HAS SOPS 111776 HAS SOUS 47100 HAS SOUPS 43741 WITH SCORE 43858.99
AT ITER 6600 NEW BEST:: SOT 229800 SOS 117989 HAS SOPS 111775 HAS SOUS 47098 HAS SOUPS 43739 WITH SCORE 43856.989
AT ITER 6611 NEW BEST:: SOT 229800 SOS 117877 HAS SOPS 111658 HAS SOUS 47093 HAS SOUPS 43734 WITH SCORE 43851.877
AT ITER 6629 NEW BEST:: SOT 229894 SOS 117922 HAS SOPS 111638 HAS SOUS 47089 HAS SOUPS 43701 WITH SCORE 43818.922
AT ITER 6696 NEW BEST:: SOT 229889 SOS 117887 HAS SOPS 111603 HAS SOUS 47072 HAS SOUPS 43684 WITH SCORE 43801.887
AT ITER 6698 NEW BEST:: SOT 229871 SOS 117863 HAS SOPS 111571 HAS SOUS 47038 HAS SOUPS 43642 WITH SCORE 43759.863
AT ITER 6699 NEW BEST:: SOT 229831 SOS 117823 HAS SOPS 111531 HAS SOUS 47006 HAS SOUPS 43610 WITH SCORE 43727.823
AT ITER 6705 NEW BEST:: SOT 229762 SOS 117754 HAS SOPS 111462 HAS SOUS 46991 HAS SOUPS 43595 WITH SCORE 43712.754
AT ITER 6721 NEW BEST:: SOT 229750 SOS 117760 HAS SOPS 111468 HAS SOUS 46979 HAS SOUPS 43583 WITH SCORE 43700.76
AT ITER 6728 NEW BEST:: SOT 229769 SOS 117779 HAS SOPS 111487 HAS SOUS 46959 HAS SOUPS 43563 WITH SCORE 43680.779
AT ITER 6731 NEW BEST:: SOT 229769 SOS 117739 HAS SOPS 111447 HAS SOUS 46952 HAS SOUPS 43556 WITH SCORE 43673.739
AT ITER 6741 NEW BEST:: SOT 229631 SOS 117601 HAS SOPS 111309 HAS SOUS 46794 HAS SOUPS 43398 WITH SCORE 43515.601
AT ITER 6751 NEW BEST:: SOT 229603 SOS 117450 HAS SOPS 111158 HAS SOUS 46725 HAS SOUPS 43329 WITH SCORE 43446.45
AT ITER 6776 NEW BEST:: SOT 229601 SOS 117448 HAS SOPS 111156 HAS SOUS 46724 HAS SOUPS 43328 WITH SCORE 43445.448
AT ITER 6806 NEW BEST:: SOT 229601 SOS 117176 HAS SOPS 110884 HAS SOUS 46686 HAS SOUPS 43290 WITH SCORE 43407.176
AT ITER 6815 NEW BEST:: SOT 229557 SOS 117132 HAS SOPS 110840 HAS SOUS 46676 HAS SOUPS 43280 WITH SCORE 43397.132
AT ITER 6819 NEW BEST:: SOT 229482 SOS 116981 HAS SOPS 110689 HAS SOUS 46657 HAS SOUPS 43261 WITH SCORE 43377.981
AT ITER 6832 NEW BEST:: SOT 229450 SOS 116981 HAS SOPS 110689 HAS SOUS 46625 HAS SOUPS 43229 WITH SCORE 43345.981
AT ITER 6843 NEW BEST:: SOT 229464 SOS 116979 HAS SOPS 110682 HAS SOUS 46596 HAS SOUPS 43195 WITH SCORE 43311.979
AT ITER 6868 NEW BEST:: SOT 229388 SOS 116805 HAS SOPS 110496 HAS SOUS 46500 HAS SOUPS 43087 WITH SCORE 43203.805
AT ITER 6898 NEW BEST:: SOT 229385 SOS 116755 HAS SOPS 110487 HAS SOUS 46457 HAS SOUPS 43063 WITH SCORE 43179.755
AT ITER 6899 NEW BEST:: SOT 229405 SOS 116745 HAS SOPS 110477 HAS SOUS 46440 HAS SOUPS 43046 WITH SCORE 43162.745
AT ITER 6900 NEW BEST:: SOT 229403 SOS 116750 HAS SOPS 110482 HAS SOUS 46438 HAS SOUPS 43044 WITH SCORE 43160.75
AT ITER 6910 NEW BEST:: SOT 229403 SOS 116306 HAS SOPS 110038 HAS SOUS 46401 HAS SOUPS 43007 WITH SCORE 43123.306
AT ITER 6944 NEW BEST:: SOT 229403 SOS 116611 HAS SOPS 110343 HAS SOUS 46378 HAS SOUPS 42984 WITH SCORE 43100.611
AT ITER 6945 NEW BEST:: SOT 229372 SOS 116580 HAS SOPS 110312 HAS SOUS 46322 HAS SOUPS 42928 WITH SCORE 43044.58
AT ITER 6952 NEW BEST:: SOT 229337 SOS 116545 HAS SOPS 110277 HAS SOUS 46301 HAS SOUPS 42907 WITH SCORE 43023.545
AT ITER 6956 NEW BEST:: SOT 229039 SOS 116259 HAS SOPS 109854 HAS SOUS 46128 HAS SOUPS 42665 WITH SCORE 42781.259
AT ITER 6989 NEW BEST:: SOT 229039 SOS 116219 HAS SOPS 109806 HAS SOUS 46120 HAS SOUPS 42657 WITH SCORE 42773.219
AT ITER 7053 NEW BEST:: SOT 229001 SOS 116062 HAS SOPS 109649 HAS SOUS 46048 HAS SOUPS 42585 WITH SCORE 42701.062
AT ITER 7084 NEW BEST:: SOT 228916 SOS 115769 HAS SOPS 109356 HAS SOUS 46016 HAS SOUPS 42553 WITH SCORE 42668.769
AT ITER 7085 NEW BEST:: SOT 228910 SOS 115759 HAS SOPS 109346 HAS SOUS 46016 HAS SOUPS 42553 WITH SCORE 42668.759
AT ITER 7088 NEW BEST:: SOT 228878 SOS 115727 HAS SOPS 109314 HAS SOUS 46016 HAS SOUPS 42553 WITH SCORE 42668.727
AT ITER 7098 NEW BEST:: SOT 228878 SOS 116340 HAS SOPS 109927 HAS SOUS 46011 HAS SOUPS 42548 WITH SCORE 42664.34
AT ITER 7104 NEW BEST:: SOT 228788 SOS 116100 HAS SOPS 109687 HAS SOUS 45807 HAS SOUPS 42344 WITH SCORE 42460.1
AT ITER 7106 NEW BEST:: SOT 228782 SOS 116094 HAS SOPS 109681 HAS SOUS 45801 HAS SOUPS 42338 WITH SCORE 42454.094
AT ITER 7130 NEW BEST:: SOT 228607 SOS 116153 HAS SOPS 109751 HAS SOUS 45705 HAS SOUPS 42242 WITH SCORE 42358.153
AT ITER 7141 NEW BEST:: SOT 228568 SOS 116114 HAS SOPS 109712 HAS SOUS 45654 HAS SOUPS 42191 WITH SCORE 42307.114
AT ITER 7158 NEW BEST:: SOT 228473 SOS 115742 HAS SOPS 109340 HAS SOUS 45564 HAS SOUPS 42101 WITH SCORE 42216.742
AT ITER 7159 NEW BEST:: SOT 228467 SOS 115728 HAS SOPS 109326 HAS SOUS 45554 HAS SOUPS 42091 WITH SCORE 42206.728
AT ITER 7233 NEW BEST:: SOT 228383 SOS 115644 HAS SOPS 109242 HAS SOUS 45547 HAS SOUPS 42084 WITH SCORE 42199.644
AT ITER 7237 NEW BEST:: SOT 228369 SOS 115580 HAS SOPS 109178 HAS SOUS 45515 HAS SOUPS 42052 WITH SCORE 42167.58
AT ITER 7243 NEW BEST:: SOT 228369 SOS 115178 HAS SOPS 108776 HAS SOUS 45473 HAS SOUPS 42010 WITH SCORE 42125.178
AT ITER 7251 NEW BEST:: SOT 228333 SOS 115067 HAS SOPS 108665 HAS SOUS 45407 HAS SOUPS 41944 WITH SCORE 42059.067
AT ITER 7272 NEW BEST:: SOT 228309 SOS 114683 HAS SOPS 108281 HAS SOUS 45360 HAS SOUPS 41897 WITH SCORE 42011.683
AT ITER 7323 NEW BEST:: SOT 228306 SOS 114006 HAS SOPS 107604 HAS SOUS 45262 HAS SOUPS 41799 WITH SCORE 41913.006
AT ITER 7340 NEW BEST:: SOT 228242 SOS 113950 HAS SOPS 107548 HAS SOUS 45189 HAS SOUPS 41726 WITH SCORE 41839.95
AT ITER 7342 NEW BEST:: SOT 228242 SOS 113950 HAS SOPS 107548 HAS SOUS 45176 HAS SOUPS 41713 WITH SCORE 41826.95
AT ITER 7361 NEW BEST:: SOT 228227 SOS 113890 HAS SOPS 107483 HAS SOUS 45136 HAS SOUPS 41673 WITH SCORE 41786.89
AT ITER 7398 NEW BEST:: SOT 228227 SOS 113896 HAS SOPS 107489 HAS SOUS 45133 HAS SOUPS 41670 WITH SCORE 41783.896
AT ITER 7429 NEW BEST:: SOT 228225 SOS 113888 HAS SOPS 107481 HAS SOUS 45133 HAS SOUPS 41670 WITH SCORE 41783.888
AT ITER 7435 NEW BEST:: SOT 228103 SOS 113565 HAS SOPS 107158 HAS SOUS 45100 HAS SOUPS 41637 WITH SCORE 41750.565
AT ITER 7490 NEW BEST:: SOT 228103 SOS 113756 HAS SOPS 107349 HAS SOUS 45075 HAS SOUPS 41612 WITH SCORE 41725.756
AT ITER 7524 NEW BEST:: SOT 228076 SOS 113693 HAS SOPS 107286 HAS SOUS 45048 HAS SOUPS 41585 WITH SCORE 41698.693
AT ITER 7529 NEW BEST:: SOT 228068 SOS 113685 HAS SOPS 107278 HAS SOUS 45040 HAS SOUPS 41577 WITH SCORE 41690.685
AT ITER 7533 NEW BEST:: SOT 228126 SOS 113065 HAS SOPS 106658 HAS SOUS 44976 HAS SOUPS 41513 WITH SCORE 41626.065
AT ITER 7589 NEW BEST:: SOT 228135 SOS 113068 HAS SOPS 106661 HAS SOUS 44954 HAS SOUPS 41491 WITH SCORE 41604.068
AT ITER 7590 NEW BEST:: SOT 228139 SOS 113072 HAS SOPS 106665 HAS SOUS 44952 HAS SOUPS 41489 WITH SCORE 41602.072
AT ITER 7597 NEW BEST:: SOT 228015 SOS 112756 HAS SOPS 106349 HAS SOUS 44876 HAS SOUPS 41413 WITH SCORE 41525.756
AT ITER 7608 NEW BEST:: SOT 227736 SOS 112477 HAS SOPS 106070 HAS SOUS 44732 HAS SOUPS 41269 WITH SCORE 41381.477
AT ITER 7619 NEW BEST:: SOT 227842 SOS 112327 HAS SOPS 105920 HAS SOUS 44636 HAS SOUPS 41173 WITH SCORE 41285.327
AT ITER 7621 NEW BEST:: SOT 227808 SOS 112293 HAS SOPS 105886 HAS SOUS 44556 HAS SOUPS 41093 WITH SCORE 41205.293
AT ITER 7686 NEW BEST:: SOT 227817 SOS 112266 HAS SOPS 105859 HAS SOUS 44547 HAS SOUPS 41084 WITH SCORE 41196.266
AT ITER 7694 NEW BEST:: SOT 227809 SOS 112258 HAS SOPS 105851 HAS SOUS 44524 HAS SOUPS 41061 WITH SCORE 41173.258
AT ITER 7706 NEW BEST:: SOT 227897 SOS 112398 HAS SOPS 105991 HAS SOUS 44497 HAS SOUPS 41034 WITH SCORE 41146.398
AT ITER 7712 NEW BEST:: SOT 227823 SOS 112259 HAS SOPS 105852 HAS SOUS 44418 HAS SOUPS 40955 WITH SCORE 41067.259
AT ITER 7717 NEW BEST:: SOT 227823 SOS 112215 HAS SOPS 105742 HAS SOUS 44396 HAS SOUPS 40911 WITH SCORE 41023.215
AT ITER 7735 NEW BEST:: SOT 227881 SOS 112254 HAS SOPS 105781 HAS SOUS 44359 HAS SOUPS 40874 WITH SCORE 40986.254
AT ITER 7758 NEW BEST:: SOT 227920 SOS 112263 HAS SOPS 105872 HAS SOUS 44317 HAS SOUPS 40873 WITH SCORE 40985.263
AT ITER 7781 NEW BEST:: SOT 227899 SOS 112242 HAS SOPS 105851 HAS SOUS 44314 HAS SOUPS 40870 WITH SCORE 40982.242
AT ITER 7796 NEW BEST:: SOT 227903 SOS 112234 HAS SOPS 105843 HAS SOUS 44314 HAS SOUPS 40870 WITH SCORE 40982.234
AT ITER 7813 NEW BEST:: SOT 227904 SOS 112228 HAS SOPS 105837 HAS SOUS 44311 HAS SOUPS 40867 WITH SCORE 40979.228
AT ITER 7830 NEW BEST:: SOT 227816 SOS 112065 HAS SOPS 105674 HAS SOUS 44253 HAS SOUPS 40809 WITH SCORE 40921.065
AT ITER 7835 NEW BEST:: SOT 227814 SOS 112063 HAS SOPS 105672 HAS SOUS 44251 HAS SOUPS 40807 WITH SCORE 40919.063
AT ITER 7904 NEW BEST:: SOT 227814 SOS 112057 HAS SOPS 105666 HAS SOUS 44198 HAS SOUPS 40754 WITH SCORE 40866.057
AT ITER 7907 NEW BEST:: SOT 227814 SOS 112056 HAS SOPS 105665 HAS SOUS 44197 HAS SOUPS 40753 WITH SCORE 40865.056
AT ITER 7943 NEW BEST:: SOT 227814 SOS 112023 HAS SOPS 105632 HAS SOUS 44180 HAS SOUPS 40736 WITH SCORE 40848.023
AT ITER 7958 NEW BEST:: SOT 227774 SOS 111959 HAS SOPS 105568 HAS SOUS 44101 HAS SOUPS 40657 WITH SCORE 40768.959
AT ITER 7965 NEW BEST:: SOT 227773 SOS 111958 HAS SOPS 105567 HAS SOUS 44100 HAS SOUPS 40656 WITH SCORE 40767.958
AT ITER 7993 NEW BEST:: SOT 227752 SOS 111937 HAS SOPS 105546 HAS SOUS 44072 HAS SOUPS 40628 WITH SCORE 40739.937
AT ITER 8030 NEW BEST:: SOT 227751 SOS 111945 HAS SOPS 105554 HAS SOUS 44065 HAS SOUPS 40621 WITH SCORE 40732.945
AT ITER 8057 NEW BEST:: SOT 227733 SOS 111891 HAS SOPS 105500 HAS SOUS 44038 HAS SOUPS 40594 WITH SCORE 40705.891
AT ITER 8065 NEW BEST:: SOT 227791 SOS 111804 HAS SOPS 105413 HAS SOUS 44038 HAS SOUPS 40594 WITH SCORE 40705.804
AT ITER 8102 NEW BEST:: SOT 227774 SOS 111720 HAS SOPS 105329 HAS SOUS 44008 HAS SOUPS 40564 WITH SCORE 40675.72
AT ITER 8106 NEW BEST:: SOT 227778 SOS 111731 HAS SOPS 105338 HAS SOUS 44007 HAS SOUPS 40563 WITH SCORE 40674.731
AT ITER 8119 NEW BEST:: SOT 227778 SOS 111726 HAS SOPS 105313 HAS SOUS 44002 HAS SOUPS 40538 WITH SCORE 40649.726
AT ITER 8149 NEW BEST:: SOT 227696 SOS 111614 HAS SOPS 105201 HAS SOUS 43900 HAS SOUPS 40436 WITH SCORE 40547.614
AT ITER 8198 NEW BEST:: SOT 227696 SOS 111614 HAS SOPS 105201 HAS SOUS 43882 HAS SOUPS 40418 WITH SCORE 40529.614
AT ITER 8210 NEW BEST:: SOT 227656 SOS 111542 HAS SOPS 105129 HAS SOUS 43802 HAS SOUPS 40338 WITH SCORE 40449.542
AT ITER 8214 NEW BEST:: SOT 227604 SOS 111490 HAS SOPS 105077 HAS SOUS 43762 HAS SOUPS 40298 WITH SCORE 40409.49
AT ITER 8223 NEW BEST:: SOT 227493 SOS 111379 HAS SOPS 104966 HAS SOUS 43705 HAS SOUPS 40241 WITH SCORE 40352.379
AT ITER 8244 NEW BEST:: SOT 227363 SOS 111249 HAS SOPS 104836 HAS SOUS 43614 HAS SOUPS 40150 WITH SCORE 40261.249
AT ITER 8252 NEW BEST:: SOT 227416 SOS 111185 HAS SOPS 104772 HAS SOUS 43570 HAS SOUPS 40106 WITH SCORE 40217.185
AT ITER 8274 NEW BEST:: SOT 227376 SOS 111124 HAS SOPS 104711 HAS SOUS 43527 HAS SOUPS 40063 WITH SCORE 40174.124
AT ITER 8283 NEW BEST:: SOT 227368 SOS 111121 HAS SOPS 104708 HAS SOUS 43524 HAS SOUPS 40060 WITH SCORE 40171.121
AT ITER 8315 NEW BEST:: SOT 227368 SOS 111128 HAS SOPS 104715 HAS SOUS 43510 HAS SOUPS 40046 WITH SCORE 40157.128
AT ITER 8327 NEW BEST:: SOT 227378 SOS 111116 HAS SOPS 104595 HAS SOUS 43540 HAS SOUPS 40022 WITH SCORE 40133.116
AT ITER 8341 NEW BEST:: SOT 227378 SOS 110812 HAS SOPS 104225 HAS SOUS 43525 HAS SOUPS 39985 WITH SCORE 40095.812
AT ITER 8351 NEW BEST:: SOT 227352 SOS 110786 HAS SOPS 104199 HAS SOUS 43489 HAS SOUPS 39949 WITH SCORE 40059.786
AT ITER 8366 NEW BEST:: SOT 227352 SOS 110596 HAS SOPS 104009 HAS SOUS 43475 HAS SOUPS 39935 WITH SCORE 40045.596
AT ITER 8376 NEW BEST:: SOT 227342 SOS 110586 HAS SOPS 103999 HAS SOUS 43465 HAS SOUPS 39925 WITH SCORE 40035.586
AT ITER 8377 NEW BEST:: SOT 227410 SOS 110633 HAS SOPS 104046 HAS SOUS 43450 HAS SOUPS 39910 WITH SCORE 40020.633
AT ITER 8397 NEW BEST:: SOT 227450 SOS 110725 HAS SOPS 104138 HAS SOUS 43411 HAS SOUPS 39871 WITH SCORE 39981.725
AT ITER 8407 NEW BEST:: SOT 227342 SOS 110599 HAS SOPS 104012 HAS SOUS 43268 HAS SOUPS 39728 WITH SCORE 39838.599
AT ITER 8417 NEW BEST:: SOT 227439 SOS 110696 HAS SOPS 104109 HAS SOUS 43204 HAS SOUPS 39664 WITH SCORE 39774.696
AT ITER 8427 NEW BEST:: SOT 227446 SOS 110763 HAS SOPS 104176 HAS SOUS 43163 HAS SOUPS 39623 WITH SCORE 39733.763
AT ITER 8434 NEW BEST:: SOT 227431 SOS 110682 HAS SOPS 104113 HAS SOUS 43151 HAS SOUPS 39620 WITH SCORE 39730.682
AT ITER 8444 NEW BEST:: SOT 227367 SOS 110596 HAS SOPS 104027 HAS SOUS 43147 HAS SOUPS 39616 WITH SCORE 39726.596
AT ITER 8452 NEW BEST:: SOT 227227 SOS 110520 HAS SOPS 103951 HAS SOUS 43050 HAS SOUPS 39519 WITH SCORE 39629.52
AT ITER 8462 NEW BEST:: SOT 227223 SOS 110512 HAS SOPS 103943 HAS SOUS 43042 HAS SOUPS 39511 WITH SCORE 39621.512
AT ITER 8465 NEW BEST:: SOT 227241 SOS 110476 HAS SOPS 103897 HAS SOUS 42954 HAS SOUPS 39399 WITH SCORE 39509.476
AT ITER 8480 NEW BEST:: SOT 227188 SOS 110241 HAS SOPS 103662 HAS SOUS 42933 HAS SOUPS 39378 WITH SCORE 39488.241
AT ITER 8484 NEW BEST:: SOT 227134 SOS 109785 HAS SOPS 103206 HAS SOUS 42896 HAS SOUPS 39341 WITH SCORE 39450.785
AT ITER 8502 NEW BEST:: SOT 227083 SOS 109734 HAS SOPS 103155 HAS SOUS 42827 HAS SOUPS 39272 WITH SCORE 39381.734
AT ITER 8527 NEW BEST:: SOT 227120 SOS 109801 HAS SOPS 103222 HAS SOUS 42826 HAS SOUPS 39271 WITH SCORE 39380.801
AT ITER 8551 NEW BEST:: SOT 226715 SOS 109396 HAS SOPS 102817 HAS SOUS 42559 HAS SOUPS 39004 WITH SCORE 39113.396
AT ITER 8575 NEW BEST:: SOT 226715 SOS 109396 HAS SOPS 102817 HAS SOUS 42551 HAS SOUPS 38996 WITH SCORE 39105.396
AT ITER 8578 NEW BEST:: SOT 226715 SOS 109366 HAS SOPS 102787 HAS SOUS 42551 HAS SOUPS 38996 WITH SCORE 39105.366
AT ITER 8581 NEW BEST:: SOT 226720 SOS 109377 HAS SOPS 102792 HAS SOUS 42550 HAS SOUPS 38995 WITH SCORE 39104.377
AT ITER 8584 NEW BEST:: SOT 226678 SOS 109283 HAS SOPS 102684 HAS SOUS 42514 HAS SOUPS 38955 WITH SCORE 39064.283
AT ITER 8595 NEW BEST:: SOT 226747 SOS 109352 HAS SOPS 102753 HAS SOUS 42494 HAS SOUPS 38935 WITH SCORE 39044.352
AT ITER 8596 NEW BEST:: SOT 226735 SOS 109325 HAS SOPS 102726 HAS SOUS 42491 HAS SOUPS 38932 WITH SCORE 39041.325
AT ITER 8606 NEW BEST:: SOT 226739 SOS 109327 HAS SOPS 102728 HAS SOUS 42487 HAS SOUPS 38928 WITH SCORE 39037.327
AT ITER 8682 NEW BEST:: SOT 226737 SOS 109321 HAS SOPS 102722 HAS SOUS 42481 HAS SOUPS 38922 WITH SCORE 39031.321
AT ITER 8711 NEW BEST:: SOT 226691 SOS 109275 HAS SOPS 102676 HAS SOUS 42377 HAS SOUPS 38818 WITH SCORE 38927.275
AT ITER 8737 NEW BEST:: SOT 226591 SOS 108985 HAS SOPS 102386 HAS SOUS 42300 HAS SOUPS 38741 WITH SCORE 38849.985
AT ITER 8756 NEW BEST:: SOT 226570 SOS 108853 HAS SOPS 102254 HAS SOUS 42258 HAS SOUPS 38699 WITH SCORE 38807.853
AT ITER 8765 NEW BEST:: SOT 226570 SOS 108846 HAS SOPS 102247 HAS SOUS 42237 HAS SOUPS 38678 WITH SCORE 38786.846
AT ITER 8784 NEW BEST:: SOT 226562 SOS 108832 HAS SOPS 102233 HAS SOUS 42233 HAS SOUPS 38674 WITH SCORE 38782.832
AT ITER 8790 NEW BEST:: SOT 226536 SOS 108615 HAS SOPS 101955 HAS SOUS 42172 HAS SOUPS 38582 WITH SCORE 38690.615
AT ITER 8798 NEW BEST:: SOT 226479 SOS 108498 HAS SOPS 101838 HAS SOUS 42070 HAS SOUPS 38480 WITH SCORE 38588.498
AT ITER 8811 NEW BEST:: SOT 226411 SOS 108390 HAS SOPS 101730 HAS SOUS 42036 HAS SOUPS 38446 WITH SCORE 38554.39
AT ITER 8840 NEW BEST:: SOT 226393 SOS 108380 HAS SOPS 101720 HAS SOUS 42029 HAS SOUPS 38439 WITH SCORE 38547.38
AT ITER 8879 NEW BEST:: SOT 226393 SOS 108598 HAS SOPS 101938 HAS SOUS 41992 HAS SOUPS 38402 WITH SCORE 38510.598
AT ITER 8947 NEW BEST:: SOT 226373 SOS 108534 HAS SOPS 101894 HAS SOUS 41964 HAS SOUPS 38384 WITH SCORE 38492.534
AT ITER 8959 NEW BEST:: SOT 226363 SOS 108522 HAS SOPS 101882 HAS SOUS 41941 HAS SOUPS 38361 WITH SCORE 38469.522
AT ITER 8961 NEW BEST:: SOT 226370 SOS 108520 HAS SOPS 101880 HAS SOUS 41911 HAS SOUPS 38331 WITH SCORE 38439.52
AT ITER 9010 NEW BEST:: SOT 226349 SOS 108548 HAS SOPS 101914 HAS SOUS 41854 HAS SOUPS 38274 WITH SCORE 38382.548
AT ITER 9026 NEW BEST:: SOT 226323 SOS 108522 HAS SOPS 101888 HAS SOUS 41782 HAS SOUPS 38202 WITH SCORE 38310.522
AT ITER 9092 NEW BEST:: SOT 226318 SOS 108507 HAS SOPS 101873 HAS SOUS 41782 HAS SOUPS 38202 WITH SCORE 38310.507
AT ITER 9101 NEW BEST:: SOT 226267 SOS 108329 HAS SOPS 101673 HAS SOUS 41665 HAS SOUPS 38063 WITH SCORE 38171.329
AT ITER 9119 NEW BEST:: SOT 226267 SOS 108203 HAS SOPS 101547 HAS SOUS 41645 HAS SOUPS 38043 WITH SCORE 38151.203
AT ITER 9146 NEW BEST:: SOT 226252 SOS 108153 HAS SOPS 101497 HAS SOUS 41620 HAS SOUPS 38018 WITH SCORE 38126.153
AT ITER 9174 NEW BEST:: SOT 226252 SOS 108163 HAS SOPS 101508 HAS SOUS 41618 HAS SOUPS 38016 WITH SCORE 38124.163
AT ITER 9195 NEW BEST:: SOT 226210 SOS 107885 HAS SOPS 101230 HAS SOUS 41520 HAS SOUPS 37918 WITH SCORE 38025.885
AT ITER 9204 NEW BEST:: SOT 226183 SOS 107805 HAS SOPS 101149 HAS SOUS 41510 HAS SOUPS 37907 WITH SCORE 38014.805
AT ITER 9228 NEW BEST:: SOT 226197 SOS 107764 HAS SOPS 101108 HAS SOUS 41458 HAS SOUPS 37855 WITH SCORE 37962.764
AT ITER 9261 NEW BEST:: SOT 226153 SOS 107300 HAS SOPS 100644 HAS SOUS 41307 HAS SOUPS 37704 WITH SCORE 37811.3
AT ITER 9280 NEW BEST:: SOT 226153 SOS 107308 HAS SOPS 100650 HAS SOUS 41305 HAS SOUPS 37702 WITH SCORE 37809.308
AT ITER 9297 NEW BEST:: SOT 226137 SOS 107292 HAS SOPS 100634 HAS SOUS 41277 HAS SOUPS 37674 WITH SCORE 37781.292
AT ITER 9306 NEW BEST:: SOT 226129 SOS 107284 HAS SOPS 100626 HAS SOUS 41223 HAS SOUPS 37620 WITH SCORE 37727.284
AT ITER 9320 NEW BEST:: SOT 225983 SOS 106765 HAS SOPS 100266 HAS SOUS 41100 HAS SOUPS 37578 WITH SCORE 37684.765
AT ITER 9339 NEW BEST:: SOT 225889 SOS 106733 HAS SOPS 100234 HAS SOUS 40928 HAS SOUPS 37406 WITH SCORE 37512.733
AT ITER 9364 NEW BEST:: SOT 225883 SOS 106695 HAS SOPS 100194 HAS SOUS 40914 HAS SOUPS 37390 WITH SCORE 37496.695
AT ITER 9365 NEW BEST:: SOT 225848 SOS 106654 HAS SOPS 100153 HAS SOUS 40880 HAS SOUPS 37356 WITH SCORE 37462.654
AT ITER 9390 NEW BEST:: SOT 225824 SOS 106619 HAS SOPS 99975 HAS SOUS 40928 HAS SOUPS 37351 WITH SCORE 37457.619
AT ITER 9436 NEW BEST:: SOT 225839 SOS 106671 HAS SOPS 100037 HAS SOUS 40897 HAS SOUPS 37330 WITH SCORE 37436.671
AT ITER 9438 NEW BEST:: SOT 225836 SOS 105776 HAS SOPS 99142 HAS SOUS 40897 HAS SOUPS 37330 WITH SCORE 37435.776
AT ITER 9475 NEW BEST:: SOT 225806 SOS 105746 HAS SOPS 99112 HAS SOUS 40864 HAS SOUPS 37297 WITH SCORE 37402.746
AT ITER 9503 NEW BEST:: SOT 225741 SOS 105631 HAS SOPS 98997 HAS SOUS 40818 HAS SOUPS 37251 WITH SCORE 37356.631
AT ITER 9505 NEW BEST:: SOT 225721 SOS 106031 HAS SOPS 99397 HAS SOUS 40790 HAS SOUPS 37223 WITH SCORE 37329.031
AT ITER 9538 NEW BEST:: SOT 225717 SOS 106027 HAS SOPS 99393 HAS SOUS 40783 HAS SOUPS 37216 WITH SCORE 37322.027
AT ITER 9547 NEW BEST:: SOT 225573 SOS 105787 HAS SOPS 99153 HAS SOUS 40639 HAS SOUPS 37072 WITH SCORE 37177.787
AT ITER 9566 NEW BEST:: SOT 225565 SOS 105765 HAS SOPS 99131 HAS SOUS 40629 HAS SOUPS 37062 WITH SCORE 37167.765
AT ITER 9571 NEW BEST:: SOT 225553 SOS 105753 HAS SOPS 99119 HAS SOUS 40619 HAS SOUPS 37052 WITH SCORE 37157.753
AT ITER 9588 NEW BEST:: SOT 225551 SOS 105727 HAS SOPS 99093 HAS SOUS 40599 HAS SOUPS 37032 WITH SCORE 37137.727
AT ITER 9593 NEW BEST:: SOT 225546 SOS 105707 HAS SOPS 99018 HAS SOUS 40493 HAS SOUPS 36911 WITH SCORE 37016.707
AT ITER 9605 NEW BEST:: SOT 225540 SOS 105701 HAS SOPS 99012 HAS SOUS 40489 HAS SOUPS 36907 WITH SCORE 37012.701
AT ITER 9632 NEW BEST:: SOT 225488 SOS 105649 HAS SOPS 98960 HAS SOUS 40439 HAS SOUPS 36857 WITH SCORE 36962.649
AT ITER 9655 NEW BEST:: SOT 225486 SOS 105646 HAS SOPS 98949 HAS SOUS 40430 HAS SOUPS 36844 WITH SCORE 36949.646
AT ITER 9680 NEW BEST:: SOT 225474 SOS 105634 HAS SOPS 98937 HAS SOUS 40390 HAS SOUPS 36804 WITH SCORE 36909.634
AT ITER 9685 NEW BEST:: SOT 225474 SOS 105658 HAS SOPS 98961 HAS SOUS 40358 HAS SOUPS 36772 WITH SCORE 36877.658
AT ITER 9712 NEW BEST:: SOT 225456 SOS 105634 HAS SOPS 98897 HAS SOUS 40313 HAS SOUPS 36703 WITH SCORE 36808.634
AT ITER 9773 NEW BEST:: SOT 225453 SOS 105631 HAS SOPS 98894 HAS SOUS 40286 HAS SOUPS 36676 WITH SCORE 36781.631
AT ITER 9783 NEW BEST:: SOT 225358 SOS 105528 HAS SOPS 98791 HAS SOUS 40257 HAS SOUPS 36647 WITH SCORE 36752.528
AT ITER 9789 NEW BEST:: SOT 225365 SOS 105515 HAS SOPS 98773 HAS SOUS 40234 HAS SOUPS 36624 WITH SCORE 36729.515
AT ITER 9795 NEW BEST:: SOT 225248 SOS 105398 HAS SOPS 98656 HAS SOUS 40198 HAS SOUPS 36588 WITH SCORE 36693.398
AT ITER 9826 NEW BEST:: SOT 225226 SOS 105375 HAS SOPS 98633 HAS SOUS 40187 HAS SOUPS 36577 WITH SCORE 36682.375
AT ITER 9942 NEW BEST:: SOT 225218 SOS 105367 HAS SOPS 98601 HAS SOUS 40165 HAS SOUPS 36543 WITH SCORE 36648.367
AT ITER 9945 NEW BEST:: SOT 225215 SOS 105364 HAS SOPS 98598 HAS SOUS 40165 HAS SOUPS 36543 WITH SCORE 36648.364
AT ITER 9975 NEW BEST:: SOT 225213 SOS 105358 HAS SOPS 98592 HAS SOUS 40164 HAS SOUPS 36542 WITH SCORE 36647.358
AT ITER 9998 NEW BEST:: SOT 225213 SOS 105358 HAS SOPS 98592 HAS SOUS 40155 HAS SOUPS 36533 WITH SCORE 36638.358
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 1719104 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120464 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-5A"
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 NoC3x3-PT-5A, 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 r267-smll-167863541600296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-5A.tgz
mv NoC3x3-PT-5A execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;