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.r299-tall-167873952900408.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 PolyORBLF-COL-S04J04T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873952900408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 5.8K Feb 26 14:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Feb 26 14:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 14:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 14:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 26 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K 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 1679487478031

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=PolyORBLF-COL-S04J04T08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 12:17:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 12:17:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 12:17:59] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 12:18:00] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 12:18:00] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 599 ms
[2023-03-22 12:18:00] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 712 PT places and 4080.0 transition bindings in 23 ms.
[2023-03-22 12:18:00] [INFO ] Unfolded HLPN to a Petri net with 712 places and 4012 transitions 27744 arcs in 108 ms.
[2023-03-22 12:18:00] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 12:18:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 712 places, 4012 transitions and 27744 arcs took 62 ms.
Total runtime 890 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S04J04T08
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: 712 places, 4012 transitions, 27744 arcs.
AT ITER 0 NEW BEST:: SOT 1414044 SOS 1092607 HAS SOPS 1086380 HAS SOUS 352180 HAS SOUPS 351383 WITH SCORE 352475.607
AT ITER 1 NEW BEST:: SOT 1412877 SOS 1091620 HAS SOPS 1085393 HAS SOUS 351173 HAS SOUPS 350376 WITH SCORE 351467.62
AT ITER 2 NEW BEST:: SOT 1412266 SOS 1091179 HAS SOPS 1084952 HAS SOUS 350726 HAS SOUPS 349929 WITH SCORE 351020.179
AT ITER 9 NEW BEST:: SOT 1411332 SOS 1090411 HAS SOPS 1084184 HAS SOUS 349883 HAS SOUPS 349086 WITH SCORE 350176.411
AT ITER 33 NEW BEST:: SOT 1411306 SOS 1090385 HAS SOPS 1084132 HAS SOUS 349841 HAS SOUPS 349034 WITH SCORE 350124.385
AT ITER 34 NEW BEST:: SOT 1411295 SOS 1090451 HAS SOPS 1084198 HAS SOUS 349704 HAS SOUPS 348897 WITH SCORE 349987.451
AT ITER 38 NEW BEST:: SOT 1411046 SOS 1090203 HAS SOPS 1084029 HAS SOUS 349484 HAS SOUPS 348677 WITH SCORE 349767.203
AT ITER 42 NEW BEST:: SOT 1410834 SOS 1089969 HAS SOPS 1083795 HAS SOUS 349481 HAS SOUPS 348674 WITH SCORE 349763.969
AT ITER 62 NEW BEST:: SOT 1410834 SOS 1090410 HAS SOPS 1084236 HAS SOUS 349126 HAS SOUPS 348319 WITH SCORE 349409.41
AT ITER 63 NEW BEST:: SOT 1409067 SOS 1088730 HAS SOPS 1082556 HAS SOUS 348897 HAS SOUPS 348090 WITH SCORE 349178.73
AT ITER 65 NEW BEST:: SOT 1408799 SOS 1088395 HAS SOPS 1082221 HAS SOUS 348549 HAS SOUPS 347742 WITH SCORE 348830.395
AT ITER 66 NEW BEST:: SOT 1408410 SOS 1088125 HAS SOPS 1081951 HAS SOUS 348271 HAS SOUPS 347464 WITH SCORE 348552.125
AT ITER 75 NEW BEST:: SOT 1408408 SOS 1088123 HAS SOPS 1081949 HAS SOUS 348269 HAS SOUPS 347462 WITH SCORE 348550.123
AT ITER 80 NEW BEST:: SOT 1408400 SOS 1088107 HAS SOPS 1081933 HAS SOUS 348253 HAS SOUPS 347446 WITH SCORE 348534.107
AT ITER 82 NEW BEST:: SOT 1405153 SOS 1085763 HAS SOPS 1078557 HAS SOUS 345006 HAS SOUPS 344070 WITH SCORE 345155.763
AT ITER 85 NEW BEST:: SOT 1402359 SOS 1082809 HAS SOPS 1075603 HAS SOUS 344482 HAS SOUPS 343546 WITH SCORE 344628.809
AT ITER 86 NEW BEST:: SOT 1402351 SOS 1082759 HAS SOPS 1075553 HAS SOUS 344432 HAS SOUPS 343496 WITH SCORE 344578.759
AT ITER 88 NEW BEST:: SOT 1402290 SOS 1082637 HAS SOPS 1075431 HAS SOUS 344371 HAS SOUPS 343435 WITH SCORE 344517.637
AT ITER 93 NEW BEST:: SOT 1402196 SOS 1082512 HAS SOPS 1075306 HAS SOUS 344201 HAS SOUPS 343265 WITH SCORE 344347.512
AT ITER 98 NEW BEST:: SOT 1402150 SOS 1082466 HAS SOPS 1075260 HAS SOUS 344165 HAS SOUPS 343229 WITH SCORE 344311.466
AT ITER 100 NEW BEST:: SOT 1401617 SOS 1082085 HAS SOPS 1074879 HAS SOUS 343778 HAS SOUPS 342842 WITH SCORE 343924.085
AT ITER 104 NEW BEST:: SOT 1401589 SOS 1082057 HAS SOPS 1074823 HAS SOUS 343722 HAS SOUPS 342786 WITH SCORE 343868.057
AT ITER 105 NEW BEST:: SOT 1400075 SOS 1080477 HAS SOPS 1073243 HAS SOUS 343328 HAS SOUPS 342392 WITH SCORE 343472.477
AT ITER 107 NEW BEST:: SOT 1400055 SOS 1080457 HAS SOPS 1073203 HAS SOUS 343295 HAS SOUPS 342352 WITH SCORE 343432.457
AT ITER 114 NEW BEST:: SOT 1399986 SOS 1080388 HAS SOPS 1073134 HAS SOUS 343226 HAS SOUPS 342283 WITH SCORE 343363.388
AT ITER 115 NEW BEST:: SOT 1399986 SOS 1080562 HAS SOPS 1073308 HAS SOUS 342939 HAS SOUPS 341996 WITH SCORE 343076.562
AT ITER 132 NEW BEST:: SOT 1396997 SOS 1077681 HAS SOPS 1070319 HAS SOUS 339994 HAS SOUPS 338943 WITH SCORE 340020.681
AT ITER 142 NEW BEST:: SOT 1396934 SOS 1077555 HAS SOPS 1070193 HAS SOUS 339868 HAS SOUPS 338817 WITH SCORE 339894.555
AT ITER 147 NEW BEST:: SOT 1396878 SOS 1077499 HAS SOPS 1070163 HAS SOUS 339656 HAS SOUPS 338605 WITH SCORE 339682.499
AT ITER 150 NEW BEST:: SOT 1396878 SOS 1077481 HAS SOPS 1070127 HAS SOUS 339651 HAS SOUPS 338587 WITH SCORE 339664.481
AT ITER 164 NEW BEST:: SOT 1396762 SOS 1076790 HAS SOPS 1069436 HAS SOUS 339419 HAS SOUPS 338355 WITH SCORE 339431.79
AT ITER 169 NEW BEST:: SOT 1396762 SOS 1075782 HAS SOPS 1068428 HAS SOUS 339419 HAS SOUPS 338355 WITH SCORE 339430.782
AT ITER 170 NEW BEST:: SOT 1396812 SOS 1075885 HAS SOPS 1068531 HAS SOUS 339303 HAS SOUPS 338239 WITH SCORE 339314.885
AT ITER 182 NEW BEST:: SOT 1396631 SOS 1075704 HAS SOPS 1068350 HAS SOUS 339214 HAS SOUPS 338150 WITH SCORE 339225.704
AT ITER 196 NEW BEST:: SOT 1396120 SOS 1075165 HAS SOPS 1067811 HAS SOUS 338891 HAS SOUPS 337827 WITH SCORE 338902.165
AT ITER 198 NEW BEST:: SOT 1395060 SOS 1074261 HAS SOPS 1066907 HAS SOUS 337529 HAS SOUPS 336465 WITH SCORE 337539.261
AT ITER 207 NEW BEST:: SOT 1395007 SOS 1074208 HAS SOPS 1066892 HAS SOUS 337346 HAS SOUPS 336282 WITH SCORE 337356.208
AT ITER 212 NEW BEST:: SOT 1395019 SOS 1073930 HAS SOPS 1066614 HAS SOUS 337318 HAS SOUPS 336254 WITH SCORE 337327.93
AT ITER 213 NEW BEST:: SOT 1394739 SOS 1073643 HAS SOPS 1066327 HAS SOUS 337031 HAS SOUPS 335967 WITH SCORE 337040.643
AT ITER 219 NEW BEST:: SOT 1394739 SOS 1073594 HAS SOPS 1066278 HAS SOUS 336982 HAS SOUPS 335918 WITH SCORE 336991.594
AT ITER 221 NEW BEST:: SOT 1394502 SOS 1073127 HAS SOPS 1065811 HAS SOUS 336571 HAS SOUPS 335507 WITH SCORE 336580.127
AT ITER 224 NEW BEST:: SOT 1394788 SOS 1073615 HAS SOPS 1066299 HAS SOUS 336414 HAS SOUPS 335350 WITH SCORE 336423.615
AT ITER 229 NEW BEST:: SOT 1393676 SOS 1075142 HAS SOPS 1067826 HAS SOUS 335065 HAS SOUPS 334001 WITH SCORE 335076.142
AT ITER 233 NEW BEST:: SOT 1393290 SOS 1074553 HAS SOPS 1067237 HAS SOUS 333798 HAS SOUPS 332734 WITH SCORE 333808.553
AT ITER 241 NEW BEST:: SOT 1392646 SOS 1073743 HAS SOPS 1066427 HAS SOUS 333554 HAS SOUPS 332490 WITH SCORE 333563.743
AT ITER 242 NEW BEST:: SOT 1392625 SOS 1074021 HAS SOPS 1066705 HAS SOUS 333509 HAS SOUPS 332445 WITH SCORE 333519.021
AT ITER 250 NEW BEST:: SOT 1392333 SOS 1073656 HAS SOPS 1066340 HAS SOUS 333097 HAS SOUPS 332033 WITH SCORE 333106.656
AT ITER 256 NEW BEST:: SOT 1392224 SOS 1073438 HAS SOPS 1066122 HAS SOUS 332992 HAS SOUPS 331928 WITH SCORE 333001.438
AT ITER 260 NEW BEST:: SOT 1392224 SOS 1073438 HAS SOPS 1066122 HAS SOUS 332894 HAS SOUPS 331830 WITH SCORE 332903.438
AT ITER 265 NEW BEST:: SOT 1391130 SOS 1072184 HAS SOPS 1064868 HAS SOUS 332715 HAS SOUPS 331651 WITH SCORE 332723.184
AT ITER 275 NEW BEST:: SOT 1391082 SOS 1072088 HAS SOPS 1064772 HAS SOUS 332655 HAS SOUPS 331591 WITH SCORE 332663.088
AT ITER 278 NEW BEST:: SOT 1391049 SOS 1072022 HAS SOPS 1064706 HAS SOUS 332556 HAS SOUPS 331492 WITH SCORE 332564.022
AT ITER 281 NEW BEST:: SOT 1390916 SOS 1071920 HAS SOPS 1064457 HAS SOUS 332489 HAS SOUPS 331352 WITH SCORE 332423.92
AT ITER 284 NEW BEST:: SOT 1390916 SOS 1072074 HAS SOPS 1064611 HAS SOUS 332181 HAS SOUPS 331044 WITH SCORE 332116.074
AT ITER 287 NEW BEST:: SOT 1390822 SOS 1071728 HAS SOPS 1064265 HAS SOUS 331499 HAS SOUPS 330362 WITH SCORE 331433.728
AT ITER 293 NEW BEST:: SOT 1391019 SOS 1072244 HAS SOPS 1064781 HAS SOUS 331089 HAS SOUPS 329952 WITH SCORE 331024.244
AT ITER 294 NEW BEST:: SOT 1391267 SOS 1072305 HAS SOPS 1064842 HAS SOUS 330818 HAS SOUPS 329681 WITH SCORE 330753.305
AT ITER 298 NEW BEST:: SOT 1391112 SOS 1072105 HAS SOPS 1064746 HAS SOUS 330713 HAS SOUPS 329576 WITH SCORE 330648.105
AT ITER 318 NEW BEST:: SOT 1391112 SOS 1071951 HAS SOPS 1064592 HAS SOUS 329753 HAS SOUPS 328616 WITH SCORE 329687.951
AT ITER 328 NEW BEST:: SOT 1391089 SOS 1071928 HAS SOPS 1064569 HAS SOUS 329730 HAS SOUPS 328593 WITH SCORE 329664.928
AT ITER 329 NEW BEST:: SOT 1390991 SOS 1071725 HAS SOPS 1064366 HAS SOUS 329436 HAS SOUPS 328299 WITH SCORE 329370.725
AT ITER 331 NEW BEST:: SOT 1390996 SOS 1071681 HAS SOPS 1064322 HAS SOUS 329392 HAS SOUPS 328255 WITH SCORE 329326.681
AT ITER 332 NEW BEST:: SOT 1390843 SOS 1071010 HAS SOPS 1063651 HAS SOUS 329086 HAS SOUPS 327949 WITH SCORE 329020.01
AT ITER 344 NEW BEST:: SOT 1390772 SOS 1070939 HAS SOPS 1063580 HAS SOUS 329015 HAS SOUPS 327878 WITH SCORE 328948.939
AT ITER 345 NEW BEST:: SOT 1390902 SOS 1070875 HAS SOPS 1063516 HAS SOUS 328590 HAS SOUPS 327453 WITH SCORE 328523.875
AT ITER 346 NEW BEST:: SOT 1391542 SOS 1071224 HAS SOPS 1063865 HAS SOUS 327847 HAS SOUPS 326710 WITH SCORE 327781.224
AT ITER 351 NEW BEST:: SOT 1391542 SOS 1071190 HAS SOPS 1063831 HAS SOUS 327813 HAS SOUPS 326676 WITH SCORE 327747.19
AT ITER 353 NEW BEST:: SOT 1391542 SOS 1071002 HAS SOPS 1063643 HAS SOUS 324848 HAS SOUPS 323711 WITH SCORE 324782.002
AT ITER 356 NEW BEST:: SOT 1419256 SOS 1098957 HAS SOPS 1091598 HAS SOUS 324021 HAS SOUPS 322884 WITH SCORE 323982.957
AT ITER 371 NEW BEST:: SOT 1419216 SOS 1098997 HAS SOPS 1091638 HAS SOUS 323861 HAS SOUPS 322724 WITH SCORE 323822.997
AT ITER 372 NEW BEST:: SOT 1419216 SOS 1098289 HAS SOPS 1090930 HAS SOUS 323861 HAS SOUPS 322724 WITH SCORE 323822.289
AT ITER 377 NEW BEST:: SOT 1419216 SOS 1098289 HAS SOPS 1090930 HAS SOUS 323859 HAS SOUPS 322722 WITH SCORE 323820.289
AT ITER 378 NEW BEST:: SOT 1425966 SOS 1105160 HAS SOPS 1097801 HAS SOUS 322614 HAS SOUPS 321477 WITH SCORE 322582.16
AT ITER 386 NEW BEST:: SOT 1426006 SOS 1105200 HAS SOPS 1097883 HAS SOUS 322546 HAS SOUPS 321409 WITH SCORE 322514.2
AT ITER 389 NEW BEST:: SOT 1425915 SOS 1105444 HAS SOPS 1098127 HAS SOUS 322364 HAS SOUPS 321227 WITH SCORE 322332.444
AT ITER 393 NEW BEST:: SOT 1425725 SOS 1105372 HAS SOPS 1098101 HAS SOUS 322308 HAS SOUPS 321171 WITH SCORE 322276.372
AT ITER 402 NEW BEST:: SOT 1425620 SOS 1105234 HAS SOPS 1098049 HAS SOUS 322267 HAS SOUPS 321130 WITH SCORE 322235.234
AT ITER 403 NEW BEST:: SOT 1424941 SOS 1104594 HAS SOPS 1097409 HAS SOUS 321493 HAS SOUPS 320356 WITH SCORE 321460.594
AT ITER 406 NEW BEST:: SOT 1424941 SOS 1104463 HAS SOPS 1097278 HAS SOUS 321362 HAS SOUPS 320225 WITH SCORE 321329.463
AT ITER 412 NEW BEST:: SOT 1424704 SOS 1104226 HAS SOPS 1097041 HAS SOUS 321192 HAS SOUPS 320055 WITH SCORE 321159.226
AT ITER 417 NEW BEST:: SOT 1424704 SOS 1104316 HAS SOPS 1097131 HAS SOUS 321012 HAS SOUPS 319875 WITH SCORE 320979.316
AT ITER 424 NEW BEST:: SOT 1424646 SOS 1104200 HAS SOPS 1097015 HAS SOUS 320896 HAS SOUPS 319759 WITH SCORE 320863.2
AT ITER 429 NEW BEST:: SOT 1424490 SOS 1104061 HAS SOPS 1096934 HAS SOUS 320761 HAS SOUPS 319624 WITH SCORE 320728.061
AT ITER 430 NEW BEST:: SOT 1424416 SOS 1103995 HAS SOPS 1096868 HAS SOUS 320748 HAS SOUPS 319611 WITH SCORE 320714.995
AT ITER 438 NEW BEST:: SOT 1424427 SOS 1104005 HAS SOPS 1096878 HAS SOUS 320686 HAS SOUPS 319549 WITH SCORE 320653.005
AT ITER 442 NEW BEST:: SOT 1424390 SOS 1103931 HAS SOPS 1096804 HAS SOUS 320612 HAS SOUPS 319475 WITH SCORE 320578.931
AT ITER 443 NEW BEST:: SOT 1424013 SOS 1103847 HAS SOPS 1096461 HAS SOUS 320628 HAS SOUPS 319454 WITH SCORE 320557.847
AT ITER 449 NEW BEST:: SOT 1423962 SOS 1104300 HAS SOPS 1096914 HAS SOUS 320480 HAS SOUPS 319306 WITH SCORE 320410.3
AT ITER 461 NEW BEST:: SOT 1423797 SOS 1103936 HAS SOPS 1096550 HAS SOUS 320116 HAS SOUPS 318942 WITH SCORE 320045.936
AT ITER 465 NEW BEST:: SOT 1423637 SOS 1103890 HAS SOPS 1096616 HAS SOUS 320031 HAS SOUPS 318857 WITH SCORE 319960.89
AT ITER 466 NEW BEST:: SOT 1423837 SOS 1103692 HAS SOPS 1096418 HAS SOUS 316738 HAS SOUPS 315564 WITH SCORE 316667.692
AT ITER 472 NEW BEST:: SOT 1423595 SOS 1103304 HAS SOPS 1096029 HAS SOUS 316153 HAS SOUPS 314979 WITH SCORE 316082.304
AT ITER 477 NEW BEST:: SOT 1423384 SOS 1102973 HAS SOPS 1095698 HAS SOUS 315951 HAS SOUPS 314777 WITH SCORE 315879.973
AT ITER 481 NEW BEST:: SOT 1423384 SOS 1102973 HAS SOPS 1095698 HAS SOUS 315945 HAS SOUPS 314771 WITH SCORE 315873.973
AT ITER 489 NEW BEST:: SOT 1423314 SOS 1102861 HAS SOPS 1095586 HAS SOUS 315775 HAS SOUPS 314601 WITH SCORE 315703.861
AT ITER 497 NEW BEST:: SOT 1423029 SOS 1102544 HAS SOPS 1095269 HAS SOUS 315458 HAS SOUPS 314284 WITH SCORE 315386.544
AT ITER 503 NEW BEST:: SOT 1422758 SOS 1102477 HAS SOPS 1095202 HAS SOUS 315399 HAS SOUPS 314225 WITH SCORE 315327.477
AT ITER 512 NEW BEST:: SOT 1422688 SOS 1102282 HAS SOPS 1095007 HAS SOUS 315204 HAS SOUPS 314030 WITH SCORE 315132.282
AT ITER 513 NEW BEST:: SOT 1425362 SOS 1111238 HAS SOPS 1101643 HAS SOUS 312097 HAS SOUPS 310633 WITH SCORE 311744.238
AT ITER 514 NEW BEST:: SOT 1425276 SOS 1111109 HAS SOPS 1101514 HAS SOUS 311925 HAS SOUPS 310461 WITH SCORE 311572.109
AT ITER 518 NEW BEST:: SOT 1425164 SOS 1111239 HAS SOPS 1101644 HAS SOUS 311398 HAS SOUPS 309934 WITH SCORE 311045.239
AT ITER 525 NEW BEST:: SOT 1425144 SOS 1110579 HAS SOPS 1100984 HAS SOUS 309352 HAS SOUPS 307888 WITH SCORE 308998.579
AT ITER 531 NEW BEST:: SOT 1424986 SOS 1110302 HAS SOPS 1100707 HAS SOUS 308553 HAS SOUPS 307089 WITH SCORE 308199.302
AT ITER 543 NEW BEST:: SOT 1424319 SOS 1109728 HAS SOPS 1100133 HAS SOUS 307570 HAS SOUPS 306106 WITH SCORE 307215.728
AT ITER 547 NEW BEST:: SOT 1424269 SOS 1109656 HAS SOPS 1100061 HAS SOUS 307362 HAS SOUPS 305898 WITH SCORE 307007.656
AT ITER 548 NEW BEST:: SOT 1424035 SOS 1109645 HAS SOPS 1100050 HAS SOUS 307095 HAS SOUPS 305631 WITH SCORE 306740.645
AT ITER 550 NEW BEST:: SOT 1423921 SOS 1109613 HAS SOPS 1100018 HAS SOUS 306976 HAS SOUPS 305512 WITH SCORE 306621.613
AT ITER 557 NEW BEST:: SOT 1423902 SOS 1109568 HAS SOPS 1099973 HAS SOUS 306931 HAS SOUPS 305467 WITH SCORE 306576.568
AT ITER 565 NEW BEST:: SOT 1421634 SOS 1154494 HAS SOPS 1148221 HAS SOUS 305613 HAS SOUPS 304560 WITH SCORE 305714.494
AT ITER 581 NEW BEST:: SOT 1421661 SOS 1154480 HAS SOPS 1148207 HAS SOUS 305599 HAS SOUPS 304546 WITH SCORE 305700.48
AT ITER 584 NEW BEST:: SOT 1422354 SOS 1154878 HAS SOPS 1148605 HAS SOUS 304990 HAS SOUPS 303937 WITH SCORE 305091.878
AT ITER 598 NEW BEST:: SOT 1422225 SOS 1154864 HAS SOPS 1148591 HAS SOUS 304746 HAS SOUPS 303693 WITH SCORE 304847.864
AT ITER 601 NEW BEST:: SOT 1422111 SOS 1154723 HAS SOPS 1148450 HAS SOUS 304482 HAS SOUPS 303429 WITH SCORE 304583.723
AT ITER 604 NEW BEST:: SOT 1421954 SOS 1154404 HAS SOPS 1148131 HAS SOUS 304405 HAS SOUPS 303352 WITH SCORE 304506.404
AT ITER 605 NEW BEST:: SOT 1422326 SOS 1153728 HAS SOPS 1147455 HAS SOUS 300424 HAS SOUPS 299371 WITH SCORE 300524.728
AT ITER 613 NEW BEST:: SOT 1422272 SOS 1153895 HAS SOPS 1147622 HAS SOUS 300392 HAS SOUPS 299339 WITH SCORE 300492.895
AT ITER 621 NEW BEST:: SOT 1422321 SOS 1153572 HAS SOPS 1147299 HAS SOUS 296877 HAS SOUPS 295824 WITH SCORE 296977.572
AT ITER 622 NEW BEST:: SOT 1422321 SOS 1153486 HAS SOPS 1147213 HAS SOUS 296834 HAS SOUPS 295781 WITH SCORE 296934.486
AT ITER 627 NEW BEST:: SOT 1422307 SOS 1153458 HAS SOPS 1147185 HAS SOUS 296806 HAS SOUPS 295753 WITH SCORE 296906.458
AT ITER 633 NEW BEST:: SOT 1422290 SOS 1153405 HAS SOPS 1147132 HAS SOUS 296753 HAS SOUPS 295700 WITH SCORE 296853.405
AT ITER 643 NEW BEST:: SOT 1422277 SOS 1153331 HAS SOPS 1147058 HAS SOUS 296727 HAS SOUPS 295674 WITH SCORE 296827.331
AT ITER 655 NEW BEST:: SOT 1422277 SOS 1153345 HAS SOPS 1147072 HAS SOUS 296699 HAS SOUPS 295646 WITH SCORE 296799.345
AT ITER 660 NEW BEST:: SOT 1422137 SOS 1153173 HAS SOPS 1146900 HAS SOUS 296592 HAS SOUPS 295539 WITH SCORE 296692.173
AT ITER 662 NEW BEST:: SOT 1422113 SOS 1153149 HAS SOPS 1146876 HAS SOUS 296568 HAS SOUPS 295515 WITH SCORE 296668.149
AT ITER 669 NEW BEST:: SOT 1422007 SOS 1153167 HAS SOPS 1146894 HAS SOUS 296292 HAS SOUPS 295239 WITH SCORE 296392.167
AT ITER 677 NEW BEST:: SOT 1421895 SOS 1153083 HAS SOPS 1146810 HAS SOUS 296208 HAS SOUPS 295155 WITH SCORE 296308.083
AT ITER 683 NEW BEST:: SOT 1422845 SOS 1153955 HAS SOPS 1147682 HAS SOUS 293196 HAS SOUPS 292143 WITH SCORE 293296.955
AT ITER 691 NEW BEST:: SOT 1422737 SOS 1153847 HAS SOPS 1147574 HAS SOUS 292926 HAS SOUPS 291873 WITH SCORE 293026.847
AT ITER 693 NEW BEST:: SOT 1422519 SOS 1153428 HAS SOPS 1147155 HAS SOUS 292382 HAS SOUPS 291329 WITH SCORE 292482.428
AT ITER 699 NEW BEST:: SOT 1421844 SOS 1152527 HAS SOPS 1146254 HAS SOUS 291481 HAS SOUPS 290428 WITH SCORE 291580.527
AT ITER 706 NEW BEST:: SOT 1421851 SOS 1152534 HAS SOPS 1146261 HAS SOUS 291479 HAS SOUPS 290426 WITH SCORE 291578.534
AT ITER 708 NEW BEST:: SOT 1421826 SOS 1152559 HAS SOPS 1146286 HAS SOUS 291454 HAS SOUPS 290401 WITH SCORE 291553.559
AT ITER 709 NEW BEST:: SOT 1421696 SOS 1152510 HAS SOPS 1146237 HAS SOUS 291405 HAS SOUPS 290352 WITH SCORE 291504.51
AT ITER 710 NEW BEST:: SOT 1421694 SOS 1152466 HAS SOPS 1146193 HAS SOUS 291385 HAS SOUPS 290332 WITH SCORE 291484.466
AT ITER 711 NEW BEST:: SOT 1421735 SOS 1152357 HAS SOPS 1146084 HAS SOUS 291283 HAS SOUPS 290230 WITH SCORE 291382.357
AT ITER 713 NEW BEST:: SOT 1421720 SOS 1152347 HAS SOPS 1146055 HAS SOUS 291253 HAS SOUPS 290200 WITH SCORE 291352.347
AT ITER 720 NEW BEST:: SOT 1421712 SOS 1152347 HAS SOPS 1146055 HAS SOUS 291245 HAS SOUPS 290192 WITH SCORE 291344.347
AT ITER 735 NEW BEST:: SOT 1421408 SOS 1151900 HAS SOPS 1145608 HAS SOUS 290871 HAS SOUPS 289818 WITH SCORE 290969.9
AT ITER 745 NEW BEST:: SOT 1421378 SOS 1151870 HAS SOPS 1145572 HAS SOUS 290831 HAS SOUPS 289778 WITH SCORE 290929.87
AT ITER 746 NEW BEST:: SOT 1421721 SOS 1153258 HAS SOPS 1146960 HAS SOUS 288279 HAS SOUPS 287226 WITH SCORE 288379.258
AT ITER 747 NEW BEST:: SOT 1421721 SOS 1152460 HAS SOPS 1146162 HAS SOUS 288228 HAS SOUPS 287175 WITH SCORE 288327.46
AT ITER 748 NEW BEST:: SOT 1421846 SOS 1153170 HAS SOPS 1146872 HAS SOUS 287989 HAS SOUPS 286936 WITH SCORE 288089.17
AT ITER 759 NEW BEST:: SOT 1421837 SOS 1153047 HAS SOPS 1146749 HAS SOUS 287383 HAS SOUPS 286330 WITH SCORE 287483.047
AT ITER 760 NEW BEST:: SOT 1421837 SOS 1153001 HAS SOPS 1146703 HAS SOUS 287290 HAS SOUPS 286237 WITH SCORE 287390.001
AT ITER 767 NEW BEST:: SOT 1421837 SOS 1153001 HAS SOPS 1146703 HAS SOUS 287264 HAS SOUPS 286211 WITH SCORE 287364.001
AT ITER 780 NEW BEST:: SOT 1421677 SOS 1152920 HAS SOPS 1146622 HAS SOUS 287260 HAS SOUPS 286207 WITH SCORE 287359.92
AT ITER 781 NEW BEST:: SOT 1421804 SOS 1153204 HAS SOPS 1146906 HAS SOUS 287230 HAS SOUPS 286177 WITH SCORE 287330.204
AT ITER 791 NEW BEST:: SOT 1421784 SOS 1153184 HAS SOPS 1146866 HAS SOUS 287190 HAS SOUPS 286137 WITH SCORE 287290.184
AT ITER 801 NEW BEST:: SOT 1421843 SOS 1153364 HAS SOPS 1147046 HAS SOUS 287187 HAS SOUPS 286134 WITH SCORE 287287.364
AT ITER 821 NEW BEST:: SOT 1421952 SOS 1153233 HAS SOPS 1146915 HAS SOUS 287165 HAS SOUPS 286112 WITH SCORE 287265.233
AT ITER 822 NEW BEST:: SOT 1421952 SOS 1153142 HAS SOPS 1146824 HAS SOUS 287165 HAS SOUPS 286112 WITH SCORE 287265.142
AT ITER 827 NEW BEST:: SOT 1421436 SOS 1152650 HAS SOPS 1146332 HAS SOUS 286373 HAS SOUPS 285320 WITH SCORE 286472.65
AT ITER 828 NEW BEST:: SOT 1421214 SOS 1152592 HAS SOPS 1146377 HAS SOUS 286211 HAS SOUPS 285158 WITH SCORE 286310.592
AT ITER 829 NEW BEST:: SOT 1421206 SOS 1152229 HAS SOPS 1146014 HAS SOUS 286195 HAS SOUPS 285142 WITH SCORE 286294.229
AT ITER 833 NEW BEST:: SOT 1421164 SOS 1152306 HAS SOPS 1146091 HAS SOUS 285915 HAS SOUPS 284862 WITH SCORE 286014.306
AT ITER 834 NEW BEST:: SOT 1442043 SOS 1172776 HAS SOPS 1166561 HAS SOUS 284259 HAS SOUPS 283206 WITH SCORE 284378.776
AT ITER 844 NEW BEST:: SOT 1442043 SOS 1163869 HAS SOPS 1157654 HAS SOUS 283820 HAS SOUPS 282767 WITH SCORE 283930.869
AT ITER 848 NEW BEST:: SOT 1441588 SOS 1163505 HAS SOPS 1157290 HAS SOUS 283274 HAS SOUPS 282221 WITH SCORE 283384.505
AT ITER 852 NEW BEST:: SOT 1441458 SOS 1163251 HAS SOPS 1157036 HAS SOUS 283077 HAS SOUPS 282024 WITH SCORE 283187.251
AT ITER 860 NEW BEST:: SOT 1441458 SOS 1162985 HAS SOPS 1156740 HAS SOUS 282914 HAS SOUPS 281861 WITH SCORE 283023.985
AT ITER 864 NEW BEST:: SOT 1441370 SOS 1163024 HAS SOPS 1156667 HAS SOUS 282918 HAS SOUPS 281849 WITH SCORE 283012.024
AT ITER 885 NEW BEST:: SOT 1441339 SOS 1162723 HAS SOPS 1156366 HAS SOUS 282669 HAS SOUPS 281600 WITH SCORE 282762.723
AT ITER 904 NEW BEST:: SOT 1441346 SOS 1162626 HAS SOPS 1156269 HAS SOUS 282572 HAS SOUPS 281503 WITH SCORE 282665.626
AT ITER 906 NEW BEST:: SOT 1446270 SOS 1169792 HAS SOPS 1163435 HAS SOUS 282454 HAS SOUPS 281385 WITH SCORE 282554.792
AT ITER 916 NEW BEST:: SOT 1446277 SOS 1169799 HAS SOPS 1163410 HAS SOUS 282451 HAS SOUPS 281376 WITH SCORE 282545.799
AT ITER 917 NEW BEST:: SOT 1446246 SOS 1169830 HAS SOPS 1163441 HAS SOUS 282420 HAS SOUPS 281345 WITH SCORE 282514.83
AT ITER 963 NEW BEST:: SOT 1446056 SOS 1169298 HAS SOPS 1162909 HAS SOUS 282192 HAS SOUPS 281117 WITH SCORE 282286.298
AT ITER 965 NEW BEST:: SOT 1445979 SOS 1169134 HAS SOPS 1162745 HAS SOUS 281907 HAS SOUPS 280832 WITH SCORE 282001.134
AT ITER 982 NEW BEST:: SOT 1456220 SOS 1178581 HAS SOPS 1172192 HAS SOUS 278677 HAS SOUPS 277602 WITH SCORE 278780.581
AT ITER 985 NEW BEST:: SOT 1456102 SOS 1176099 HAS SOPS 1170574 HAS SOUS 278187 HAS SOUPS 277220 WITH SCORE 278396.099
AT ITER 1003 NEW BEST:: SOT 1455963 SOS 1175967 HAS SOPS 1170442 HAS SOUS 277974 HAS SOUPS 277007 WITH SCORE 278182.967
AT ITER 1010 NEW BEST:: SOT 1455272 SOS 1176761 HAS SOPS 1170968 HAS SOUS 277960 HAS SOUPS 276882 WITH SCORE 278058.761
AT ITER 1012 NEW BEST:: SOT 1454865 SOS 1176376 HAS SOPS 1170583 HAS SOUS 277857 HAS SOUPS 276779 WITH SCORE 277955.376
AT ITER 1013 NEW BEST:: SOT 1457809 SOS 1179471 HAS SOPS 1173678 HAS SOUS 277004 HAS SOUPS 275926 WITH SCORE 277105.471
AT ITER 1017 NEW BEST:: SOT 1457828 SOS 1179441 HAS SOPS 1173648 HAS SOUS 276974 HAS SOUPS 275896 WITH SCORE 277075.441
AT ITER 1019 NEW BEST:: SOT 1457819 SOS 1179532 HAS SOPS 1173628 HAS SOUS 276862 HAS SOUPS 275784 WITH SCORE 276963.532
AT ITER 1028 NEW BEST:: SOT 1457925 SOS 1187537 HAS SOPS 1181742 HAS SOUS 276845 HAS SOUPS 275671 WITH SCORE 276858.537
AT ITER 1030 NEW BEST:: SOT 1457925 SOS 1187384 HAS SOPS 1181589 HAS SOUS 276478 HAS SOUPS 275304 WITH SCORE 276491.384
AT ITER 1040 NEW BEST:: SOT 1457916 SOS 1187384 HAS SOPS 1181589 HAS SOUS 276460 HAS SOUPS 275286 WITH SCORE 276473.384
AT ITER 1043 NEW BEST:: SOT 1458078 SOS 1187662 HAS SOPS 1181867 HAS SOUS 276260 HAS SOUPS 275086 WITH SCORE 276273.662
AT ITER 1051 NEW BEST:: SOT 1458077 SOS 1187661 HAS SOPS 1181841 HAS SOUS 276253 HAS SOUPS 275079 WITH SCORE 276266.661
AT ITER 1052 NEW BEST:: SOT 1458077 SOS 1187760 HAS SOPS 1181940 HAS SOUS 276179 HAS SOUPS 275005 WITH SCORE 276192.76
AT ITER 1054 NEW BEST:: SOT 1457876 SOS 1187763 HAS SOPS 1182064 HAS SOUS 276124 HAS SOUPS 274950 WITH SCORE 276137.763
AT ITER 1057 NEW BEST:: SOT 1457866 SOS 1187753 HAS SOPS 1182044 HAS SOUS 276104 HAS SOUPS 274930 WITH SCORE 276117.753
AT ITER 1059 NEW BEST:: SOT 1457866 SOS 1188830 HAS SOPS 1183121 HAS SOUS 275864 HAS SOUPS 274690 WITH SCORE 275878.83
AT ITER 1060 NEW BEST:: SOT 1444511 SOS 1174687 HAS SOPS 1168978 HAS SOUS 273056 HAS SOUPS 271882 WITH SCORE 273056.687
AT ITER 1068 NEW BEST:: SOT 1444511 SOS 1174696 HAS SOPS 1168987 HAS SOUS 273055 HAS SOUPS 271881 WITH SCORE 273055.696
AT ITER 1080 NEW BEST:: SOT 1444495 SOS 1174680 HAS SOPS 1168987 HAS SOUS 273040 HAS SOUPS 271866 WITH SCORE 273040.68
AT ITER 1085 NEW BEST:: SOT 1444459 SOS 1174684 HAS SOPS 1168991 HAS SOUS 272701 HAS SOUPS 271527 WITH SCORE 272701.684
AT ITER 1097 NEW BEST:: SOT 1444431 SOS 1174599 HAS SOPS 1168906 HAS SOUS 272621 HAS SOUPS 271447 WITH SCORE 272621.599
AT ITER 1107 NEW BEST:: SOT 1444433 SOS 1174601 HAS SOPS 1168908 HAS SOUS 272619 HAS SOUPS 271445 WITH SCORE 272619.601
AT ITER 1110 NEW BEST:: SOT 1443484 SOS 1175711 HAS SOPS 1168650 HAS SOUS 271620 HAS SOUPS 270275 WITH SCORE 271450.711
AT ITER 1112 NEW BEST:: SOT 1443389 SOS 1175616 HAS SOPS 1168555 HAS SOUS 271430 HAS SOUPS 270085 WITH SCORE 271260.616
AT ITER 1113 NEW BEST:: SOT 1443389 SOS 1175244 HAS SOPS 1168183 HAS SOUS 271430 HAS SOUPS 270085 WITH SCORE 271260.244
AT ITER 1124 NEW BEST:: SOT 1443360 SOS 1175244 HAS SOPS 1168183 HAS SOUS 271372 HAS SOUPS 270027 WITH SCORE 271202.244
AT ITER 1139 NEW BEST:: SOT 1443320 SOS 1174792 HAS SOPS 1167712 HAS SOUS 271245 HAS SOUPS 269900 WITH SCORE 271074.792
AT ITER 1152 NEW BEST:: SOT 1443409 SOS 1176489 HAS SOPS 1168873 HAS SOUS 271243 HAS SOUPS 269831 WITH SCORE 271007.489
AT ITER 1154 NEW BEST:: SOT 1443399 SOS 1176474 HAS SOPS 1168858 HAS SOUS 271223 HAS SOUPS 269811 WITH SCORE 270987.474
AT ITER 1158 NEW BEST:: SOT 1442806 SOS 1175947 HAS SOPS 1168331 HAS SOUS 270263 HAS SOUPS 268851 WITH SCORE 270026.947
AT ITER 1163 NEW BEST:: SOT 1442689 SOS 1175925 HAS SOPS 1168309 HAS SOUS 270169 HAS SOUPS 268757 WITH SCORE 269932.925
AT ITER 1176 NEW BEST:: SOT 1425971 SOS 1159100 HAS SOPS 1151484 HAS SOUS 267001 HAS SOUPS 265589 WITH SCORE 266748.1
AT ITER 1185 NEW BEST:: SOT 1425924 SOS 1159431 HAS SOPS 1151815 HAS SOUS 266991 HAS SOUPS 265579 WITH SCORE 266738.431
AT ITER 1194 NEW BEST:: SOT 1425731 SOS 1158543 HAS SOPS 1150927 HAS SOUS 265930 HAS SOUPS 264518 WITH SCORE 265676.543
AT ITER 1198 NEW BEST:: SOT 1425561 SOS 1157953 HAS SOPS 1150337 HAS SOUS 263666 HAS SOUPS 262254 WITH SCORE 263411.953
AT ITER 1201 NEW BEST:: SOT 1425566 SOS 1157793 HAS SOPS 1150177 HAS SOUS 263638 HAS SOUPS 262226 WITH SCORE 263383.793
AT ITER 1204 NEW BEST:: SOT 1425471 SOS 1157698 HAS SOPS 1150082 HAS SOUS 263543 HAS SOUPS 262131 WITH SCORE 263288.698
AT ITER 1207 NEW BEST:: SOT 1425642 SOS 1157909 HAS SOPS 1150293 HAS SOUS 262163 HAS SOUPS 260751 WITH SCORE 261908.909
AT ITER 1208 NEW BEST:: SOT 1425738 SOS 1158101 HAS SOPS 1150485 HAS SOUS 262083 HAS SOUPS 260671 WITH SCORE 261829.101
AT ITER 1215 NEW BEST:: SOT 1425726 SOS 1158083 HAS SOPS 1150467 HAS SOUS 262065 HAS SOUPS 260653 WITH SCORE 261811.083
AT ITER 1216 NEW BEST:: SOT 1425726 SOS 1158381 HAS SOPS 1150765 HAS SOUS 261767 HAS SOUPS 260355 WITH SCORE 261513.381
AT ITER 1223 NEW BEST:: SOT 1425701 SOS 1158360 HAS SOPS 1150744 HAS SOUS 261720 HAS SOUPS 260308 WITH SCORE 261466.36
AT ITER 1232 NEW BEST:: SOT 1426421 SOS 1158716 HAS SOPS 1151100 HAS SOUS 253125 HAS SOUPS 251713 WITH SCORE 252871.716
AT ITER 1240 NEW BEST:: SOT 1426421 SOS 1158740 HAS SOPS 1151124 HAS SOUS 253089 HAS SOUPS 251677 WITH SCORE 252835.74
AT ITER 1252 NEW BEST:: SOT 1426063 SOS 1158574 HAS SOPS 1151073 HAS SOUS 252624 HAS SOUPS 251212 WITH SCORE 252370.574
AT ITER 1257 NEW BEST:: SOT 1426055 SOS 1158616 HAS SOPS 1151115 HAS SOUS 252608 HAS SOUPS 251196 WITH SCORE 252354.616
AT ITER 1258 NEW BEST:: SOT 1426051 SOS 1158570 HAS SOPS 1151069 HAS SOUS 252576 HAS SOUPS 251164 WITH SCORE 252322.57
AT ITER 1259 NEW BEST:: SOT 1425947 SOS 1158466 HAS SOPS 1150965 HAS SOUS 252570 HAS SOUPS 251158 WITH SCORE 252316.466
AT ITER 1275 NEW BEST:: SOT 1425645 SOS 1158244 HAS SOPS 1150743 HAS SOUS 252456 HAS SOUPS 251044 WITH SCORE 252202.244
AT ITER 1285 NEW BEST:: SOT 1425579 SOS 1158066 HAS SOPS 1150565 HAS SOUS 252278 HAS SOUPS 250866 WITH SCORE 252024.066
AT ITER 1300 NEW BEST:: SOT 1425758 SOS 1158206 HAS SOPS 1150705 HAS SOUS 252264 HAS SOUPS 250852 WITH SCORE 252010.206
AT ITER 1311 NEW BEST:: SOT 1425592 SOS 1158112 HAS SOPS 1150611 HAS SOUS 252018 HAS SOUPS 250606 WITH SCORE 251764.112
AT ITER 1322 NEW BEST:: SOT 1425659 SOS 1155530 HAS SOPS 1148029 HAS SOUS 251785 HAS SOUPS 250373 WITH SCORE 251528.53
AT ITER 1323 NEW BEST:: SOT 1427541 SOS 1157203 HAS SOPS 1149702 HAS SOUS 247385 HAS SOUPS 245973 WITH SCORE 247130.203
AT ITER 1329 NEW BEST:: SOT 1427480 SOS 1157142 HAS SOPS 1149641 HAS SOUS 247263 HAS SOUPS 245851 WITH SCORE 247008.142
AT ITER 1339 NEW BEST:: SOT 1427438 SOS 1156726 HAS SOPS 1149225 HAS SOUS 247188 HAS SOUPS 245776 WITH SCORE 246932.726
AT ITER 1347 NEW BEST:: SOT 1427398 SOS 1156650 HAS SOPS 1149149 HAS SOUS 247108 HAS SOUPS 245696 WITH SCORE 246852.65
AT ITER 1354 NEW BEST:: SOT 1427369 SOS 1156614 HAS SOPS 1149113 HAS SOUS 246989 HAS SOUPS 245577 WITH SCORE 246733.614
AT ITER 1359 NEW BEST:: SOT 1427368 SOS 1156613 HAS SOPS 1149112 HAS SOUS 246989 HAS SOUPS 245577 WITH SCORE 246733.613
AT ITER 1363 NEW BEST:: SOT 1427088 SOS 1156447 HAS SOPS 1148946 HAS SOUS 246820 HAS SOUPS 245408 WITH SCORE 246564.447
AT ITER 1371 NEW BEST:: SOT 1427469 SOS 1155215 HAS SOPS 1147714 HAS SOUS 246066 HAS SOUPS 244654 WITH SCORE 245809.215
AT ITER 1376 NEW BEST:: SOT 1426427 SOS 1154286 HAS SOPS 1146785 HAS SOUS 245309 HAS SOUPS 243897 WITH SCORE 245051.286
AT ITER 1383 NEW BEST:: SOT 1426400 SOS 1154259 HAS SOPS 1146785 HAS SOUS 245285 HAS SOUPS 243873 WITH SCORE 245027.259
AT ITER 1386 NEW BEST:: SOT 1426363 SOS 1154322 HAS SOPS 1146848 HAS SOUS 245081 HAS SOUPS 243669 WITH SCORE 244823.322
AT ITER 1397 NEW BEST:: SOT 1426509 SOS 1154397 HAS SOPS 1146923 HAS SOUS 244891 HAS SOUPS 243479 WITH SCORE 244633.397
AT ITER 1406 NEW BEST:: SOT 1426148 SOS 1154013 HAS SOPS 1146539 HAS SOUS 244536 HAS SOUPS 243124 WITH SCORE 244278.013
AT ITER 1415 NEW BEST:: SOT 1426056 SOS 1153821 HAS SOPS 1146347 HAS SOUS 244344 HAS SOUPS 242932 WITH SCORE 244085.821
AT ITER 1430 NEW BEST:: SOT 1425925 SOS 1153708 HAS SOPS 1146234 HAS SOUS 244317 HAS SOUPS 242905 WITH SCORE 244058.708
AT ITER 1435 NEW BEST:: SOT 1425386 SOS 1153169 HAS SOPS 1145695 HAS SOUS 244185 HAS SOUPS 242773 WITH SCORE 243926.169
AT ITER 1448 NEW BEST:: SOT 1425701 SOS 1153245 HAS SOPS 1145771 HAS SOUS 244034 HAS SOUPS 242622 WITH SCORE 243775.245
AT ITER 1453 NEW BEST:: SOT 1425592 SOS 1153337 HAS SOPS 1145863 HAS SOUS 243816 HAS SOUPS 242404 WITH SCORE 243557.337
AT ITER 1457 NEW BEST:: SOT 1425285 SOS 1153141 HAS SOPS 1145667 HAS SOUS 243627 HAS SOUPS 242215 WITH SCORE 243368.141
AT ITER 1462 NEW BEST:: SOT 1425445 SOS 1153365 HAS SOPS 1145891 HAS SOUS 243211 HAS SOUPS 241799 WITH SCORE 242952.365
AT ITER 1473 NEW BEST:: SOT 1425445 SOS 1153295 HAS SOPS 1145821 HAS SOUS 243191 HAS SOUPS 241779 WITH SCORE 242932.295
AT ITER 1477 NEW BEST:: SOT 1425445 SOS 1153283 HAS SOPS 1145809 HAS SOUS 243191 HAS SOUPS 241779 WITH SCORE 242932.283
AT ITER 1482 NEW BEST:: SOT 1425236 SOS 1153122 HAS SOPS 1145648 HAS SOUS 243016 HAS SOUPS 241604 WITH SCORE 242757.122
AT ITER 1486 NEW BEST:: SOT 1425232 SOS 1153094 HAS SOPS 1145620 HAS SOUS 243008 HAS SOUPS 241596 WITH SCORE 242749.094
AT ITER 1508 NEW BEST:: SOT 1425169 SOS 1152943 HAS SOPS 1145469 HAS SOUS 243007 HAS SOUPS 241595 WITH SCORE 242747.943
AT ITER 1511 NEW BEST:: SOT 1425115 SOS 1152889 HAS SOPS 1145415 HAS SOUS 242953 HAS SOUPS 241541 WITH SCORE 242693.889
AT ITER 1512 NEW BEST:: SOT 1425115 SOS 1152889 HAS SOPS 1145415 HAS SOUS 242937 HAS SOUPS 241525 WITH SCORE 242677.889
AT ITER 1516 NEW BEST:: SOT 1425095 SOS 1152869 HAS SOPS 1145395 HAS SOUS 242869 HAS SOUPS 241457 WITH SCORE 242609.869
AT ITER 1525 NEW BEST:: SOT 1425059 SOS 1152833 HAS SOPS 1145359 HAS SOUS 242761 HAS SOUPS 241349 WITH SCORE 242501.833
AT ITER 1527 NEW BEST:: SOT 1424920 SOS 1152533 HAS SOPS 1145059 HAS SOUS 242483 HAS SOUPS 241071 WITH SCORE 242223.533
AT ITER 1543 NEW BEST:: SOT 1424903 SOS 1151540 HAS SOPS 1144066 HAS SOUS 242099 HAS SOUPS 240687 WITH SCORE 241838.54
AT ITER 1545 NEW BEST:: SOT 1424917 SOS 1151666 HAS SOPS 1144192 HAS SOUS 242057 HAS SOUPS 240645 WITH SCORE 241796.666
AT ITER 1552 NEW BEST:: SOT 1424917 SOS 1151664 HAS SOPS 1144190 HAS SOUS 242054 HAS SOUPS 240642 WITH SCORE 241793.664
AT ITER 1555 NEW BEST:: SOT 1425535 SOS 1153976 HAS SOPS 1146502 HAS SOUS 239115 HAS SOUPS 237703 WITH SCORE 238856.976
AT ITER 1561 NEW BEST:: SOT 1425289 SOS 1153605 HAS SOPS 1146131 HAS SOUS 238706 HAS SOUPS 237294 WITH SCORE 238447.605
AT ITER 1570 NEW BEST:: SOT 1425289 SOS 1153605 HAS SOPS 1146131 HAS SOUS 238644 HAS SOUPS 237232 WITH SCORE 238385.605
AT ITER 1579 NEW BEST:: SOT 1425101 SOS 1153548 HAS SOPS 1146074 HAS SOUS 238526 HAS SOUPS 237114 WITH SCORE 238267.548
AT ITER 1582 NEW BEST:: SOT 1425283 SOS 1153776 HAS SOPS 1146302 HAS SOUS 238404 HAS SOUPS 236992 WITH SCORE 238145.776
AT ITER 1584 NEW BEST:: SOT 1425227 SOS 1153698 HAS SOPS 1146224 HAS SOUS 238158 HAS SOUPS 236746 WITH SCORE 237899.698
AT ITER 1586 NEW BEST:: SOT 1425108 SOS 1153514 HAS SOPS 1146040 HAS SOUS 237644 HAS SOUPS 236232 WITH SCORE 237385.514
AT ITER 1608 NEW BEST:: SOT 1424888 SOS 1153148 HAS SOPS 1145674 HAS SOUS 237423 HAS SOUPS 236011 WITH SCORE 237164.148
AT ITER 1613 NEW BEST:: SOT 1424794 SOS 1152956 HAS SOPS 1145482 HAS SOUS 237215 HAS SOUPS 235803 WITH SCORE 236955.956
AT ITER 1616 NEW BEST:: SOT 1424746 SOS 1153280 HAS SOPS 1145806 HAS SOUS 237113 HAS SOUPS 235701 WITH SCORE 236854.28
AT ITER 1630 NEW BEST:: SOT 1424660 SOS 1153194 HAS SOPS 1145781 HAS SOUS 237030 HAS SOUPS 235618 WITH SCORE 236771.194
AT ITER 1639 NEW BEST:: SOT 1424660 SOS 1153194 HAS SOPS 1145781 HAS SOUS 236951 HAS SOUPS 235539 WITH SCORE 236692.194
AT ITER 1657 NEW BEST:: SOT 1424565 SOS 1153102 HAS SOPS 1145689 HAS SOUS 236827 HAS SOUPS 235415 WITH SCORE 236568.102
AT ITER 1666 NEW BEST:: SOT 1424398 SOS 1152919 HAS SOPS 1145506 HAS SOUS 236644 HAS SOUPS 235232 WITH SCORE 236384.919
AT ITER 1667 NEW BEST:: SOT 1424386 SOS 1152907 HAS SOPS 1145494 HAS SOUS 236632 HAS SOUPS 235220 WITH SCORE 236372.907
AT ITER 1675 NEW BEST:: SOT 1424362 SOS 1152949 HAS SOPS 1145536 HAS SOUS 236575 HAS SOUPS 235163 WITH SCORE 236315.949
AT ITER 1687 NEW BEST:: SOT 1424295 SOS 1152649 HAS SOPS 1145236 HAS SOUS 236473 HAS SOUPS 235061 WITH SCORE 236213.649
AT ITER 1696 NEW BEST:: SOT 1423884 SOS 1152315 HAS SOPS 1144902 HAS SOUS 236062 HAS SOUPS 234650 WITH SCORE 235802.315
AT ITER 1697 NEW BEST:: SOT 1424019 SOS 1152642 HAS SOPS 1145172 HAS SOUS 236061 HAS SOUPS 234649 WITH SCORE 235801.642
AT ITER 1705 NEW BEST:: SOT 1424309 SOS 1152749 HAS SOPS 1145279 HAS SOUS 235715 HAS SOUPS 234303 WITH SCORE 235455.749
AT ITER 1711 NEW BEST:: SOT 1424356 SOS 1152978 HAS SOPS 1145508 HAS SOUS 235539 HAS SOUPS 234127 WITH SCORE 235279.978
AT ITER 1713 NEW BEST:: SOT 1424426 SOS 1063083 HAS SOPS 1055613 HAS SOUS 234263 HAS SOUPS 232851 WITH SCORE 233914.083
AT ITER 1718 NEW BEST:: SOT 1424426 SOS 1063423 HAS SOPS 1055953 HAS SOUS 234223 HAS SOUPS 232811 WITH SCORE 233874.423
AT ITER 1732 NEW BEST:: SOT 1424468 SOS 1067027 HAS SOPS 1059213 HAS SOUS 234269 HAS SOUPS 232771 WITH SCORE 233838.027
AT ITER 1735 NEW BEST:: SOT 1424544 SOS 1023807 HAS SOPS 1015993 HAS SOUS 230006 HAS SOUPS 228508 WITH SCORE 229531.807
AT ITER 1747 NEW BEST:: SOT 1424579 SOS 1023736 HAS SOPS 1015922 HAS SOUS 229958 HAS SOUPS 228460 WITH SCORE 229483.736
AT ITER 1766 NEW BEST:: SOT 1424561 SOS 1023864 HAS SOPS 1015977 HAS SOUS 229871 HAS SOUPS 228373 WITH SCORE 229396.864
AT ITER 1772 NEW BEST:: SOT 1424522 SOS 1023825 HAS SOPS 1015938 HAS SOUS 229831 HAS SOUPS 228333 WITH SCORE 229356.825
AT ITER 1778 NEW BEST:: SOT 1424429 SOS 1023732 HAS SOPS 1015845 HAS SOUS 229664 HAS SOUPS 228166 WITH SCORE 229189.732
AT ITER 1782 NEW BEST:: SOT 1424429 SOS 1023702 HAS SOPS 1015815 HAS SOUS 229664 HAS SOUPS 228166 WITH SCORE 229189.702
AT ITER 1783 NEW BEST:: SOT 1424409 SOS 1023662 HAS SOPS 1015775 HAS SOUS 229604 HAS SOUPS 228106 WITH SCORE 229129.662
AT ITER 1786 NEW BEST:: SOT 1424367 SOS 1023696 HAS SOPS 1015809 HAS SOUS 228954 HAS SOUPS 227456 WITH SCORE 228479.696
AT ITER 1790 NEW BEST:: SOT 1424364 SOS 1023696 HAS SOPS 1015809 HAS SOUS 228948 HAS SOUPS 227450 WITH SCORE 228473.696
AT ITER 1796 NEW BEST:: SOT 1424392 SOS 1023828 HAS SOPS 1015941 HAS SOUS 228848 HAS SOUPS 227350 WITH SCORE 228373.828
AT ITER 1797 NEW BEST:: SOT 1424392 SOS 1023956 HAS SOPS 1015941 HAS SOUS 228855 HAS SOUPS 227341 WITH SCORE 228364.956
AT ITER 1807 NEW BEST:: SOT 1424389 SOS 1024037 HAS SOPS 1016022 HAS SOUS 228849 HAS SOUPS 227335 WITH SCORE 228359.037
AT ITER 1817 NEW BEST:: SOT 1424389 SOS 1021648 HAS SOPS 1013633 HAS SOUS 228633 HAS SOUPS 227119 WITH SCORE 228140.648
AT ITER 1821 NEW BEST:: SOT 1424384 SOS 1021638 HAS SOPS 1013618 HAS SOUS 228623 HAS SOUPS 227109 WITH SCORE 228130.638
AT ITER 1841 NEW BEST:: SOT 1424351 SOS 1021539 HAS SOPS 1013519 HAS SOUS 228557 HAS SOUPS 227043 WITH SCORE 228064.539
AT ITER 1846 NEW BEST:: SOT 1424384 SOS 1016782 HAS SOPS 1008762 HAS SOUS 228499 HAS SOUPS 226985 WITH SCORE 228001.782
AT ITER 1851 NEW BEST:: SOT 1424428 SOS 1017053 HAS SOPS 1009033 HAS SOUS 228314 HAS SOUPS 226800 WITH SCORE 227817.053
AT ITER 1856 NEW BEST:: SOT 1424428 SOS 1016761 HAS SOPS 1008741 HAS SOUS 228291 HAS SOUPS 226777 WITH SCORE 227793.761
AT ITER 1867 NEW BEST:: SOT 1424575 SOS 1017013 HAS SOPS 1008993 HAS SOUS 227902 HAS SOUPS 226388 WITH SCORE 227405.013
AT ITER 1868 NEW BEST:: SOT 1424880 SOS 1017050 HAS SOPS 1009030 HAS SOUS 226408 HAS SOUPS 224894 WITH SCORE 225911.05
AT ITER 1880 NEW BEST:: SOT 1425117 SOS 1017304 HAS SOPS 1009284 HAS SOUS 226304 HAS SOUPS 224790 WITH SCORE 225807.304
AT ITER 1887 NEW BEST:: SOT 1425163 SOS 1016325 HAS SOPS 1008305 HAS SOUS 225960 HAS SOUPS 224446 WITH SCORE 225462.325
AT ITER 1889 NEW BEST:: SOT 1425135 SOS 1016297 HAS SOPS 1008277 HAS SOUS 225904 HAS SOUPS 224390 WITH SCORE 225406.297
AT ITER 1903 NEW BEST:: SOT 1425142 SOS 1016304 HAS SOPS 1008284 HAS SOUS 225903 HAS SOUPS 224389 WITH SCORE 225405.304
AT ITER 1919 NEW BEST:: SOT 1425772 SOS 891237 HAS SOPS 883217 HAS SOUS 219104 HAS SOUPS 217590 WITH SCORE 218481.237
AT ITER 1937 NEW BEST:: SOT 1425772 SOS 891030 HAS SOPS 883010 HAS SOUS 219104 HAS SOUPS 217590 WITH SCORE 218481.03
AT ITER 1955 NEW BEST:: SOT 1425690 SOS 890805 HAS SOPS 882785 HAS SOUS 219022 HAS SOUPS 217508 WITH SCORE 218398.805
AT ITER 1972 NEW BEST:: SOT 1425690 SOS 850252 HAS SOPS 842232 HAS SOUS 218730 HAS SOUPS 217216 WITH SCORE 218066.252
AT ITER 1986 NEW BEST:: SOT 1425690 SOS 849900 HAS SOPS 841880 HAS SOUS 218730 HAS SOUPS 217216 WITH SCORE 218065.9
AT ITER 1992 NEW BEST:: SOT 1425690 SOS 849900 HAS SOPS 841880 HAS SOUS 218693 HAS SOUPS 217179 WITH SCORE 218028.9
AT ITER 2011 NEW BEST:: SOT 1425531 SOS 849656 HAS SOPS 841636 HAS SOUS 218685 HAS SOUPS 217171 WITH SCORE 218020.656
AT ITER 2013 NEW BEST:: SOT 1425499 SOS 849592 HAS SOPS 841572 HAS SOUS 218621 HAS SOUPS 217107 WITH SCORE 217956.592
AT ITER 2015 NEW BEST:: SOT 1425514 SOS 849607 HAS SOPS 841587 HAS SOUS 218615 HAS SOUPS 217101 WITH SCORE 217950.607
AT ITER 2027 NEW BEST:: SOT 1425485 SOS 849635 HAS SOPS 841615 HAS SOUS 218595 HAS SOUPS 217081 WITH SCORE 217930.635
AT ITER 2030 NEW BEST:: SOT 1425445 SOS 849555 HAS SOPS 841535 HAS SOUS 218595 HAS SOUPS 217081 WITH SCORE 217930.555
AT ITER 2037 NEW BEST:: SOT 1425409 SOS 849519 HAS SOPS 841499 HAS SOUS 218511 HAS SOUPS 216997 WITH SCORE 217846.519
AT ITER 2039 NEW BEST:: SOT 1425259 SOS 849347 HAS SOPS 841327 HAS SOUS 218275 HAS SOUPS 216761 WITH SCORE 217610.347
AT ITER 2046 NEW BEST:: SOT 1425240 SOS 849347 HAS SOPS 841327 HAS SOUS 218222 HAS SOUPS 216708 WITH SCORE 217557.347
AT ITER 2047 NEW BEST:: SOT 1425005 SOS 849161 HAS SOPS 841141 HAS SOUS 218114 HAS SOUPS 216600 WITH SCORE 217449.161
AT ITER 2051 NEW BEST:: SOT 1425299 SOS 840297 HAS SOPS 832277 HAS SOUS 215754 HAS SOUPS 214240 WITH SCORE 215080.297
AT ITER 2056 NEW BEST:: SOT 1424326 SOS 839422 HAS SOPS 831402 HAS SOUS 215020 HAS SOUPS 213506 WITH SCORE 214345.422
AT ITER 2069 NEW BEST:: SOT 1424199 SOS 839352 HAS SOPS 831410 HAS SOUS 215005 HAS SOUPS 213491 WITH SCORE 214330.352
AT ITER 2078 NEW BEST:: SOT 1424146 SOS 839246 HAS SOPS 831304 HAS SOUS 214899 HAS SOUPS 213385 WITH SCORE 214224.246
AT ITER 2103 NEW BEST:: SOT 1424100 SOS 839217 HAS SOPS 831275 HAS SOUS 214870 HAS SOUPS 213356 WITH SCORE 214195.217
AT ITER 2105 NEW BEST:: SOT 1424196 SOS 839757 HAS SOPS 831815 HAS SOUS 214758 HAS SOUPS 213244 WITH SCORE 214083.757
AT ITER 2112 NEW BEST:: SOT 1424073 SOS 839643 HAS SOPS 831701 HAS SOUS 214756 HAS SOUPS 213242 WITH SCORE 214081.643
AT ITER 2116 NEW BEST:: SOT 1424073 SOS 839573 HAS SOPS 831631 HAS SOUS 214754 HAS SOUPS 213240 WITH SCORE 214079.573
AT ITER 2137 NEW BEST:: SOT 1419189 SOS 834667 HAS SOPS 826725 HAS SOUS 213918 HAS SOUPS 212404 WITH SCORE 213238.667
AT ITER 2144 NEW BEST:: SOT 1418644 SOS 834075 HAS SOPS 826133 HAS SOUS 213508 HAS SOUPS 211994 WITH SCORE 212828.075
AT ITER 2152 NEW BEST:: SOT 1418683 SOS 834300 HAS SOPS 826358 HAS SOUS 213214 HAS SOUPS 211700 WITH SCORE 212534.3
AT ITER 2164 NEW BEST:: SOT 1418651 SOS 834380 HAS SOPS 826438 HAS SOUS 213150 HAS SOUPS 211636 WITH SCORE 212470.38
AT ITER 2165 NEW BEST:: SOT 1408021 SOS 824489 HAS SOPS 816547 HAS SOUS 212260 HAS SOUPS 210746 WITH SCORE 211570.489
AT ITER 2168 NEW BEST:: SOT 1407885 SOS 824353 HAS SOPS 816411 HAS SOUS 212123 HAS SOUPS 210609 WITH SCORE 211433.353
AT ITER 2189 NEW BEST:: SOT 1407816 SOS 823960 HAS SOPS 816018 HAS SOUS 212018 HAS SOUPS 210504 WITH SCORE 211327.96
AT ITER 2200 NEW BEST:: SOT 1407825 SOS 823969 HAS SOPS 816027 HAS SOUS 212012 HAS SOUPS 210498 WITH SCORE 211321.969
AT ITER 2203 NEW BEST:: SOT 1407825 SOS 823969 HAS SOPS 816028 HAS SOUS 212010 HAS SOUPS 210496 WITH SCORE 211319.969
AT ITER 2204 NEW BEST:: SOT 1407825 SOS 823835 HAS SOPS 815894 HAS SOUS 212010 HAS SOUPS 210496 WITH SCORE 211319.835
AT ITER 2205 NEW BEST:: SOT 1407825 SOS 823697 HAS SOPS 815756 HAS SOUS 212010 HAS SOUPS 210496 WITH SCORE 211319.697
AT ITER 2211 NEW BEST:: SOT 1420707 SOS 828854 HAS SOPS 820913 HAS SOUS 211519 HAS SOUPS 210005 WITH SCORE 210833.854
AT ITER 2214 NEW BEST:: SOT 1420644 SOS 828818 HAS SOPS 820877 HAS SOUS 211357 HAS SOUPS 209843 WITH SCORE 210671.818
AT ITER 2216 NEW BEST:: SOT 1420568 SOS 828256 HAS SOPS 820315 HAS SOUS 211205 HAS SOUPS 209691 WITH SCORE 210519.256
AT ITER 2238 NEW BEST:: SOT 1420749 SOS 829796 HAS SOPS 821855 HAS SOUS 211164 HAS SOUPS 209650 WITH SCORE 210479.796
AT ITER 2240 NEW BEST:: SOT 1420740 SOS 829787 HAS SOPS 821837 HAS SOUS 211146 HAS SOUPS 209632 WITH SCORE 210461.787
AT ITER 2243 NEW BEST:: SOT 1429595 SOS 834979 HAS SOPS 827029 HAS SOUS 210325 HAS SOUPS 208811 WITH SCORE 209645.979
AT ITER 2249 NEW BEST:: SOT 1429589 SOS 835042 HAS SOPS 827092 HAS SOUS 210123 HAS SOUPS 208609 WITH SCORE 209444.042
AT ITER 2266 NEW BEST:: SOT 1429574 SOS 833830 HAS SOPS 825880 HAS SOUS 210109 HAS SOUPS 208595 WITH SCORE 209428.83
AT ITER 2282 NEW BEST:: SOT 1429403 SOS 833755 HAS SOPS 825805 HAS SOUS 210078 HAS SOUPS 208564 WITH SCORE 209397.755
AT ITER 2288 NEW BEST:: SOT 1429358 SOS 833710 HAS SOPS 825760 HAS SOUS 210024 HAS SOUPS 208510 WITH SCORE 209343.71
AT ITER 2298 NEW BEST:: SOT 1429538 SOS 832784 HAS SOPS 824834 HAS SOUS 208917 HAS SOUPS 207403 WITH SCORE 208235.784
AT ITER 2313 NEW BEST:: SOT 1430253 SOS 819519 HAS SOPS 811569 HAS SOUS 208310 HAS SOUPS 206796 WITH SCORE 207615.519
AT ITER 2314 NEW BEST:: SOT 1430200 SOS 819466 HAS SOPS 811516 HAS SOUS 208257 HAS SOUPS 206743 WITH SCORE 207562.466
AT ITER 2319 NEW BEST:: SOT 1430305 SOS 819346 HAS SOPS 811328 HAS SOUS 208242 HAS SOUPS 206728 WITH SCORE 207547.346
AT ITER 2332 NEW BEST:: SOT 1430199 SOS 790324 HAS SOPS 780658 HAS SOUS 208450 HAS SOUPS 206730 WITH SCORE 207520.324
AT ITER 2343 NEW BEST:: SOT 1428736 SOS 788861 HAS SOPS 779195 HAS SOUS 208282 HAS SOUPS 206562 WITH SCORE 207350.861
AT ITER 2345 NEW BEST:: SOT 1428713 SOS 788891 HAS SOPS 779225 HAS SOUS 208183 HAS SOUPS 206463 WITH SCORE 207251.891
AT ITER 2367 NEW BEST:: SOT 1437145 SOS 781583 HAS SOPS 771917 HAS SOUS 206876 HAS SOUPS 205156 WITH SCORE 205937.583
AT ITER 2368 NEW BEST:: SOT 1437143 SOS 781567 HAS SOPS 771901 HAS SOUS 206870 HAS SOUPS 205150 WITH SCORE 205931.567
AT ITER 2369 NEW BEST:: SOT 1437168 SOS 781508 HAS SOPS 771842 HAS SOUS 206775 HAS SOUPS 205055 WITH SCORE 205836.508
AT ITER 2374 NEW BEST:: SOT 1437154 SOS 781494 HAS SOPS 771828 HAS SOUS 206747 HAS SOUPS 205027 WITH SCORE 205808.494
AT ITER 2379 NEW BEST:: SOT 1437071 SOS 781471 HAS SOPS 771805 HAS SOUS 206664 HAS SOUPS 204944 WITH SCORE 205725.471
AT ITER 2390 NEW BEST:: SOT 1436919 SOS 781434 HAS SOPS 771768 HAS SOUS 206504 HAS SOUPS 204784 WITH SCORE 205565.434
AT ITER 2393 NEW BEST:: SOT 1436805 SOS 781255 HAS SOPS 771589 HAS SOUS 206474 HAS SOUPS 204754 WITH SCORE 205535.255
AT ITER 2412 NEW BEST:: SOT 1436599 SOS 781049 HAS SOPS 771383 HAS SOUS 206174 HAS SOUPS 204454 WITH SCORE 205235.049
AT ITER 2420 NEW BEST:: SOT 1436599 SOS 781028 HAS SOPS 771362 HAS SOUS 206174 HAS SOUPS 204454 WITH SCORE 205235.028
AT ITER 2431 NEW BEST:: SOT 1436569 SOS 780988 HAS SOPS 771322 HAS SOUS 206140 HAS SOUPS 204420 WITH SCORE 205200.988
AT ITER 2442 NEW BEST:: SOT 1436552 SOS 780937 HAS SOPS 771271 HAS SOUS 206089 HAS SOUPS 204369 WITH SCORE 205149.937
AT ITER 2443 NEW BEST:: SOT 1436556 SOS 780945 HAS SOPS 771279 HAS SOUS 206065 HAS SOUPS 204345 WITH SCORE 205125.945
AT ITER 2447 NEW BEST:: SOT 1436550 SOS 780939 HAS SOPS 771273 HAS SOUS 206042 HAS SOUPS 204322 WITH SCORE 205102.939
AT ITER 2458 NEW BEST:: SOT 1436513 SOS 780902 HAS SOPS 771236 HAS SOUS 205972 HAS SOUPS 204252 WITH SCORE 205032.902
AT ITER 2460 NEW BEST:: SOT 1436697 SOS 781500 HAS SOPS 771834 HAS SOUS 205926 HAS SOUPS 204206 WITH SCORE 204987.5
AT ITER 2464 NEW BEST:: SOT 1436654 SOS 781457 HAS SOPS 771791 HAS SOUS 205780 HAS SOUPS 204060 WITH SCORE 204841.457
AT ITER 2466 NEW BEST:: SOT 1436668 SOS 781453 HAS SOPS 771787 HAS SOUS 205776 HAS SOUPS 204056 WITH SCORE 204837.453
AT ITER 2476 NEW BEST:: SOT 1436527 SOS 781918 HAS SOPS 772252 HAS SOUS 205606 HAS SOUPS 203886 WITH SCORE 204667.918
AT ITER 2491 NEW BEST:: SOT 1436535 SOS 781864 HAS SOPS 772198 HAS SOUS 205552 HAS SOUPS 203832 WITH SCORE 204613.864
AT ITER 2494 NEW BEST:: SOT 1436315 SOS 781795 HAS SOPS 772129 HAS SOUS 205288 HAS SOUPS 203568 WITH SCORE 204349.795
AT ITER 2495 NEW BEST:: SOT 1436157 SOS 781321 HAS SOPS 771655 HAS SOUS 204972 HAS SOUPS 203252 WITH SCORE 204033.321
AT ITER 2497 NEW BEST:: SOT 1436585 SOS 827400 HAS SOPS 820046 HAS SOUS 203213 HAS SOUPS 201782 WITH SCORE 202609.4
AT ITER 2503 NEW BEST:: SOT 1436585 SOS 827411 HAS SOPS 820057 HAS SOUS 203180 HAS SOUPS 201749 WITH SCORE 202576.411
AT ITER 2528 NEW BEST:: SOT 1437445 SOS 825439 HAS SOPS 818085 HAS SOUS 202842 HAS SOUPS 201411 WITH SCORE 202236.439
AT ITER 2532 NEW BEST:: SOT 1437286 SOS 825788 HAS SOPS 818281 HAS SOUS 202756 HAS SOUPS 201263 WITH SCORE 202088.788
AT ITER 2544 NEW BEST:: SOT 1437248 SOS 825832 HAS SOPS 818325 HAS SOUS 202669 HAS SOUPS 201176 WITH SCORE 202001.832
AT ITER 2551 NEW BEST:: SOT 1437375 SOS 802214 HAS SOPS 794707 HAS SOUS 202257 HAS SOUPS 200764 WITH SCORE 201566.214
AT ITER 2587 NEW BEST:: SOT 1437372 SOS 802211 HAS SOPS 794704 HAS SOUS 202254 HAS SOUPS 200761 WITH SCORE 201563.211
AT ITER 2589 NEW BEST:: SOT 1437262 SOS 802215 HAS SOPS 794708 HAS SOUS 202159 HAS SOUPS 200666 WITH SCORE 201468.215
AT ITER 2591 NEW BEST:: SOT 1437252 SOS 802205 HAS SOPS 794708 HAS SOUS 202124 HAS SOUPS 200636 WITH SCORE 201438.205
AT ITER 2596 NEW BEST:: SOT 1437102 SOS 802055 HAS SOPS 794558 HAS SOUS 202049 HAS SOUPS 200561 WITH SCORE 201363.055
AT ITER 2603 NEW BEST:: SOT 1436921 SOS 802001 HAS SOPS 794504 HAS SOUS 201940 HAS SOUPS 200452 WITH SCORE 201254.001
AT ITER 2613 NEW BEST:: SOT 1436906 SOS 801986 HAS SOPS 794489 HAS SOUS 201896 HAS SOUPS 200408 WITH SCORE 201209.986
AT ITER 2617 NEW BEST:: SOT 1436593 SOS 801639 HAS SOPS 794142 HAS SOUS 201549 HAS SOUPS 200061 WITH SCORE 200862.639
AT ITER 2623 NEW BEST:: SOT 1432423 SOS 797904 HAS SOPS 790407 HAS SOUS 201389 HAS SOUPS 199901 WITH SCORE 200698.904
AT ITER 2626 NEW BEST:: SOT 1432372 SOS 797830 HAS SOPS 790333 HAS SOUS 201381 HAS SOUPS 199893 WITH SCORE 200690.83
AT ITER 2630 NEW BEST:: SOT 1432924 SOS 785598 HAS SOPS 778101 HAS SOUS 199741 HAS SOUPS 198253 WITH SCORE 199038.598
AT ITER 2649 NEW BEST:: SOT 1432883 SOS 785553 HAS SOPS 778056 HAS SOUS 199696 HAS SOUPS 198208 WITH SCORE 198993.553
AT ITER 2680 NEW BEST:: SOT 1432872 SOS 785564 HAS SOPS 778067 HAS SOUS 199649 HAS SOUPS 198161 WITH SCORE 198946.564
AT ITER 2724 NEW BEST:: SOT 1432861 SOS 785553 HAS SOPS 778056 HAS SOUS 199627 HAS SOUPS 198139 WITH SCORE 198924.553
AT ITER 2733 NEW BEST:: SOT 1432905 SOS 785597 HAS SOPS 778074 HAS SOUS 199601 HAS SOUPS 198113 WITH SCORE 198898.597
AT ITER 2735 NEW BEST:: SOT 1432315 SOS 784519 HAS SOPS 776996 HAS SOUS 199594 HAS SOUPS 198106 WITH SCORE 198890.519
AT ITER 2752 NEW BEST:: SOT 1432229 SOS 784433 HAS SOPS 776910 HAS SOUS 199551 HAS SOUPS 198063 WITH SCORE 198847.433
AT ITER 2754 NEW BEST:: SOT 1432016 SOS 784124 HAS SOPS 776601 HAS SOUS 199340 HAS SOUPS 197852 WITH SCORE 198636.124
AT ITER 2755 NEW BEST:: SOT 1431862 SOS 783936 HAS SOPS 776413 HAS SOUS 199338 HAS SOUPS 197850 WITH SCORE 198633.936
AT ITER 2760 NEW BEST:: SOT 1432120 SOS 767662 HAS SOPS 760139 HAS SOUS 198980 HAS SOUPS 197492 WITH SCORE 198259.662
AT ITER 2782 NEW BEST:: SOT 1432120 SOS 767608 HAS SOPS 760085 HAS SOUS 198965 HAS SOUPS 197477 WITH SCORE 198244.608
AT ITER 2791 NEW BEST:: SOT 1432153 SOS 767716 HAS SOPS 760193 HAS SOUS 198806 HAS SOUPS 197318 WITH SCORE 198085.716
AT ITER 2798 NEW BEST:: SOT 1431582 SOS 767341 HAS SOPS 759818 HAS SOUS 198586 HAS SOUPS 197098 WITH SCORE 197865.341
AT ITER 2802 NEW BEST:: SOT 1431557 SOS 767291 HAS SOPS 759768 HAS SOUS 198536 HAS SOUPS 197048 WITH SCORE 197815.291
AT ITER 2812 NEW BEST:: SOT 1431495 SOS 767237 HAS SOPS 759714 HAS SOUS 198389 HAS SOUPS 196901 WITH SCORE 197668.237
AT ITER 2818 NEW BEST:: SOT 1431436 SOS 767183 HAS SOPS 759660 HAS SOUS 198298 HAS SOUPS 196810 WITH SCORE 197577.183
AT ITER 2819 NEW BEST:: SOT 1431391 SOS 766775 HAS SOPS 759252 HAS SOUS 198208 HAS SOUPS 196720 WITH SCORE 197486.775
AT ITER 2823 NEW BEST:: SOT 1430794 SOS 765916 HAS SOPS 758393 HAS SOUS 198103 HAS SOUPS 196615 WITH SCORE 197380.916
AT ITER 2830 NEW BEST:: SOT 1430675 SOS 765923 HAS SOPS 758447 HAS SOUS 198043 HAS SOUPS 196555 WITH SCORE 197320.923
AT ITER 2856 NEW BEST:: SOT 1430713 SOS 766019 HAS SOPS 758543 HAS SOUS 198009 HAS SOUPS 196521 WITH SCORE 197287.019
AT ITER 2859 NEW BEST:: SOT 1431024 SOS 766226 HAS SOPS 758750 HAS SOUS 197979 HAS SOUPS 196491 WITH SCORE 197257.226
AT ITER 2865 NEW BEST:: SOT 1431018 SOS 766172 HAS SOPS 758702 HAS SOUS 197973 HAS SOUPS 196485 WITH SCORE 197251.172
AT ITER 2867 NEW BEST:: SOT 1431013 SOS 766086 HAS SOPS 758616 HAS SOUS 197825 HAS SOUPS 196337 WITH SCORE 197103.086
AT ITER 2884 NEW BEST:: SOT 1430973 SOS 766006 HAS SOPS 758536 HAS SOUS 197745 HAS SOUPS 196257 WITH SCORE 197023.006
AT ITER 2896 NEW BEST:: SOT 1431112 SOS 766145 HAS SOPS 758636 HAS SOUS 197629 HAS SOUPS 196141 WITH SCORE 196907.145
AT ITER 2897 NEW BEST:: SOT 1431112 SOS 766127 HAS SOPS 758618 HAS SOUS 197629 HAS SOUPS 196141 WITH SCORE 196907.127
AT ITER 2898 NEW BEST:: SOT 1430971 SOS 766058 HAS SOPS 758549 HAS SOUS 197547 HAS SOUPS 196059 WITH SCORE 196825.058
AT ITER 2902 NEW BEST:: SOT 1430814 SOS 731736 HAS SOPS 722651 HAS SOUS 197655 HAS SOUPS 195970 WITH SCORE 196701.736
AT ITER 2908 NEW BEST:: SOT 1431055 SOS 729781 HAS SOPS 720696 HAS SOUS 197083 HAS SOUPS 195398 WITH SCORE 196127.781
AT ITER 2932 NEW BEST:: SOT 1431134 SOS 730009 HAS SOPS 720924 HAS SOUS 197029 HAS SOUPS 195344 WITH SCORE 196074.009
AT ITER 2940 NEW BEST:: SOT 1431333 SOS 729236 HAS SOPS 720151 HAS SOUS 196413 HAS SOUPS 194728 WITH SCORE 195457.236
AT ITER 2944 NEW BEST:: SOT 1431321 SOS 729224 HAS SOPS 720137 HAS SOUS 196390 HAS SOUPS 194705 WITH SCORE 195434.224
AT ITER 2951 NEW BEST:: SOT 1431295 SOS 729198 HAS SOPS 720111 HAS SOUS 196312 HAS SOUPS 194627 WITH SCORE 195356.198
AT ITER 2957 NEW BEST:: SOT 1431285 SOS 729215 HAS SOPS 720128 HAS SOUS 196292 HAS SOUPS 194607 WITH SCORE 195336.215
AT ITER 2971 NEW BEST:: SOT 1431476 SOS 729389 HAS SOPS 720302 HAS SOUS 196117 HAS SOUPS 194432 WITH SCORE 195161.389
AT ITER 2975 NEW BEST:: SOT 1431221 SOS 728619 HAS SOPS 719532 HAS SOUS 195795 HAS SOUPS 194110 WITH SCORE 194838.619
AT ITER 2987 NEW BEST:: SOT 1431230 SOS 728577 HAS SOPS 719495 HAS SOUS 195758 HAS SOUPS 194073 WITH SCORE 194801.577
AT ITER 2997 NEW BEST:: SOT 1430937 SOS 728436 HAS SOPS 719445 HAS SOUS 195451 HAS SOUPS 193766 WITH SCORE 194494.436
AT ITER 3001 NEW BEST:: SOT 1431024 SOS 728699 HAS SOPS 719708 HAS SOUS 195371 HAS SOUPS 193686 WITH SCORE 194414.699
AT ITER 3009 NEW BEST:: SOT 1431113 SOS 727905 HAS SOPS 718914 HAS SOUS 195067 HAS SOUPS 193382 WITH SCORE 194109.905
AT ITER 3013 NEW BEST:: SOT 1431147 SOS 727955 HAS SOPS 718964 HAS SOUS 195059 HAS SOUPS 193374 WITH SCORE 194101.955
AT ITER 3025 NEW BEST:: SOT 1431176 SOS 727984 HAS SOPS 718993 HAS SOUS 195001 HAS SOUPS 193316 WITH SCORE 194043.984
AT ITER 3033 NEW BEST:: SOT 1431062 SOS 728143 HAS SOPS 719152 HAS SOUS 194811 HAS SOUPS 193126 WITH SCORE 193854.143
AT ITER 3037 NEW BEST:: SOT 1431062 SOS 728202 HAS SOPS 719119 HAS SOUS 194781 HAS SOUPS 193096 WITH SCORE 193824.202
AT ITER 3048 NEW BEST:: SOT 1418301 SOS 715397 HAS SOPS 706314 HAS SOUS 192423 HAS SOUPS 190738 WITH SCORE 191453.397
AT ITER 3058 NEW BEST:: SOT 1417491 SOS 761555 HAS SOPS 752472 HAS SOUS 192320 HAS SOUPS 190635 WITH SCORE 191396.555
AT ITER 3061 NEW BEST:: SOT 1417489 SOS 761827 HAS SOPS 752744 HAS SOUS 192314 HAS SOUPS 190629 WITH SCORE 191390.827
AT ITER 3078 NEW BEST:: SOT 1417323 SOS 761663 HAS SOPS 752610 HAS SOUS 191927 HAS SOUPS 190242 WITH SCORE 191003.663
AT ITER 3081 NEW BEST:: SOT 1417318 SOS 761651 HAS SOPS 752598 HAS SOUS 191923 HAS SOUPS 190238 WITH SCORE 190999.651
AT ITER 3090 NEW BEST:: SOT 1417318 SOS 761579 HAS SOPS 752526 HAS SOUS 191923 HAS SOUPS 190238 WITH SCORE 190999.579
AT ITER 3095 NEW BEST:: SOT 1416801 SOS 760840 HAS SOPS 751787 HAS SOUS 191629 HAS SOUPS 189944 WITH SCORE 190704.84
AT ITER 3104 NEW BEST:: SOT 1416911 SOS 761042 HAS SOPS 751989 HAS SOUS 191102 HAS SOUPS 189417 WITH SCORE 190178.042
AT ITER 3136 NEW BEST:: SOT 1416993 SOS 761254 HAS SOPS 752266 HAS SOUS 191099 HAS SOUPS 189414 WITH SCORE 190175.254
AT ITER 3155 NEW BEST:: SOT 1416958 SOS 761214 HAS SOPS 752226 HAS SOUS 191063 HAS SOUPS 189378 WITH SCORE 190139.214
AT ITER 3156 NEW BEST:: SOT 1417134 SOS 761605 HAS SOPS 752617 HAS SOUS 191054 HAS SOUPS 189369 WITH SCORE 190130.605
AT ITER 3158 NEW BEST:: SOT 1410188 SOS 763768 HAS SOPS 754780 HAS SOUS 190859 HAS SOUPS 189174 WITH SCORE 189937.768
AT ITER 3159 NEW BEST:: SOT 1410188 SOS 763647 HAS SOPS 754659 HAS SOUS 190834 HAS SOUPS 189149 WITH SCORE 189912.647
AT ITER 3170 NEW BEST:: SOT 1410161 SOS 763620 HAS SOPS 754632 HAS SOUS 190782 HAS SOUPS 189097 WITH SCORE 189860.62
AT ITER 3191 NEW BEST:: SOT 1410157 SOS 763616 HAS SOPS 754628 HAS SOUS 190765 HAS SOUPS 189080 WITH SCORE 189843.616
AT ITER 3195 NEW BEST:: SOT 1410169 SOS 763650 HAS SOPS 754662 HAS SOUS 190745 HAS SOUPS 189060 WITH SCORE 189823.65
AT ITER 3196 NEW BEST:: SOT 1410169 SOS 763643 HAS SOPS 754655 HAS SOUS 190732 HAS SOUPS 189047 WITH SCORE 189810.643
AT ITER 3225 NEW BEST:: SOT 1410206 SOS 763723 HAS SOPS 754735 HAS SOUS 190717 HAS SOUPS 189032 WITH SCORE 189795.723
AT ITER 3236 NEW BEST:: SOT 1410071 SOS 763632 HAS SOPS 754644 HAS SOUS 190535 HAS SOUPS 188850 WITH SCORE 189613.632
AT ITER 3238 NEW BEST:: SOT 1410702 SOS 764804 HAS SOPS 755816 HAS SOUS 190474 HAS SOUPS 188789 WITH SCORE 189553.804
AT ITER 3262 NEW BEST:: SOT 1410702 SOS 764712 HAS SOPS 755724 HAS SOUS 190428 HAS SOUPS 188743 WITH SCORE 189507.712
AT ITER 3272 NEW BEST:: SOT 1410670 SOS 764755 HAS SOPS 755767 HAS SOUS 190396 HAS SOUPS 188711 WITH SCORE 189475.755
AT ITER 3309 NEW BEST:: SOT 1410626 SOS 764711 HAS SOPS 755723 HAS SOUS 190308 HAS SOUPS 188623 WITH SCORE 189387.711
AT ITER 3313 NEW BEST:: SOT 1410667 SOS 746492 HAS SOPS 737504 HAS SOUS 190013 HAS SOUPS 188328 WITH SCORE 189074.492
AT ITER 3319 NEW BEST:: SOT 1410650 SOS 746458 HAS SOPS 737470 HAS SOUS 189979 HAS SOUPS 188294 WITH SCORE 189040.458
AT ITER 3337 NEW BEST:: SOT 1410614 SOS 746422 HAS SOPS 737434 HAS SOUS 189889 HAS SOUPS 188204 WITH SCORE 188950.422
AT ITER 3346 NEW BEST:: SOT 1410643 SOS 746451 HAS SOPS 737463 HAS SOUS 189782 HAS SOUPS 188097 WITH SCORE 188843.451
AT ITER 3353 NEW BEST:: SOT 1410601 SOS 746350 HAS SOPS 737461 HAS SOUS 189724 HAS SOUPS 188039 WITH SCORE 188785.35
AT ITER 3356 NEW BEST:: SOT 1410546 SOS 746230 HAS SOPS 737336 HAS SOUS 189544 HAS SOUPS 187859 WITH SCORE 188605.23
AT ITER 3357 NEW BEST:: SOT 1410479 SOS 746163 HAS SOPS 737269 HAS SOUS 189381 HAS SOUPS 187696 WITH SCORE 188442.163
AT ITER 3363 NEW BEST:: SOT 1410476 SOS 746160 HAS SOPS 737266 HAS SOUS 189378 HAS SOUPS 187693 WITH SCORE 188439.16
AT ITER 3364 NEW BEST:: SOT 1410476 SOS 746137 HAS SOPS 737243 HAS SOUS 189378 HAS SOUPS 187693 WITH SCORE 188439.137
AT ITER 3379 NEW BEST:: SOT 1410476 SOS 746137 HAS SOPS 737243 HAS SOUS 189363 HAS SOUPS 187678 WITH SCORE 188424.137
AT ITER 3385 NEW BEST:: SOT 1410383 SOS 743197 HAS SOPS 734303 HAS SOUS 189270 HAS SOUPS 187585 WITH SCORE 188328.197
AT ITER 3387 NEW BEST:: SOT 1410211 SOS 741821 HAS SOPS 734303 HAS SOUS 189098 HAS SOUPS 187585 WITH SCORE 188326.821
AT ITER 3412 NEW BEST:: SOT 1410192 SOS 743184 HAS SOPS 735666 HAS SOUS 189059 HAS SOUPS 187546 WITH SCORE 188289.184
AT ITER 3423 NEW BEST:: SOT 1410173 SOS 743222 HAS SOPS 735704 HAS SOUS 189004 HAS SOUPS 187491 WITH SCORE 188234.222
AT ITER 3434 NEW BEST:: SOT 1410198 SOS 743408 HAS SOPS 735890 HAS SOUS 188547 HAS SOUPS 187034 WITH SCORE 187777.408
AT ITER 3435 NEW BEST:: SOT 1410198 SOS 743528 HAS SOPS 736010 HAS SOUS 188500 HAS SOUPS 186987 WITH SCORE 187730.528
AT ITER 3449 NEW BEST:: SOT 1410278 SOS 743920 HAS SOPS 736402 HAS SOUS 188348 HAS SOUPS 186835 WITH SCORE 187578.92
AT ITER 3460 NEW BEST:: SOT 1410278 SOS 743764 HAS SOPS 736246 HAS SOUS 188346 HAS SOUPS 186833 WITH SCORE 187576.764
AT ITER 3464 NEW BEST:: SOT 1410278 SOS 743488 HAS SOPS 735970 HAS SOUS 188346 HAS SOUPS 186833 WITH SCORE 187576.488
AT ITER 3465 NEW BEST:: SOT 1410125 SOS 743190 HAS SOPS 735672 HAS SOUS 188326 HAS SOUPS 186813 WITH SCORE 187556.19
AT ITER 3490 NEW BEST:: SOT 1410106 SOS 743171 HAS SOPS 735622 HAS SOUS 188276 HAS SOUPS 186763 WITH SCORE 187506.171
AT ITER 3493 NEW BEST:: SOT 1410091 SOS 743156 HAS SOPS 735606 HAS SOUS 188255 HAS SOUPS 186742 WITH SCORE 187485.156
AT ITER 3502 NEW BEST:: SOT 1410089 SOS 743154 HAS SOPS 735604 HAS SOUS 188253 HAS SOUPS 186740 WITH SCORE 187483.154
AT ITER 3506 NEW BEST:: SOT 1410125 SOS 743273 HAS SOPS 735723 HAS SOUS 188172 HAS SOUPS 186659 WITH SCORE 187402.273
AT ITER 3510 NEW BEST:: SOT 1410249 SOS 743437 HAS SOPS 735887 HAS SOUS 187974 HAS SOUPS 186461 WITH SCORE 187204.437
AT ITER 3515 NEW BEST:: SOT 1410137 SOS 743259 HAS SOPS 735709 HAS SOUS 187817 HAS SOUPS 186304 WITH SCORE 187047.259
AT ITER 3516 NEW BEST:: SOT 1409241 SOS 742359 HAS SOPS 734809 HAS SOUS 187657 HAS SOUPS 186144 WITH SCORE 186886.359
AT ITER 3518 NEW BEST:: SOT 1409029 SOS 742269 HAS SOPS 734719 HAS SOUS 187531 HAS SOUPS 186018 WITH SCORE 186760.269
AT ITER 3534 NEW BEST:: SOT 1408826 SOS 741601 HAS SOPS 734051 HAS SOUS 187266 HAS SOUPS 185753 WITH SCORE 186494.601
AT ITER 3535 NEW BEST:: SOT 1408751 SOS 741541 HAS SOPS 733991 HAS SOUS 187204 HAS SOUPS 185691 WITH SCORE 186432.541
AT ITER 3540 NEW BEST:: SOT 1407662 SOS 740771 HAS SOPS 733221 HAS SOUS 187017 HAS SOUPS 185504 WITH SCORE 186244.771
AT ITER 3541 NEW BEST:: SOT 1407583 SOS 740565 HAS SOPS 733015 HAS SOUS 186864 HAS SOUPS 185351 WITH SCORE 186091.565
AT ITER 3548 NEW BEST:: SOT 1407615 SOS 740597 HAS SOPS 733047 HAS SOUS 186840 HAS SOUPS 185327 WITH SCORE 186067.597
AT ITER 3550 NEW BEST:: SOT 1399893 SOS 733450 HAS SOPS 725900 HAS SOUS 185860 HAS SOUPS 184347 WITH SCORE 185080.45
AT ITER 3581 NEW BEST:: SOT 1399956 SOS 733513 HAS SOPS 725963 HAS SOUS 185798 HAS SOUPS 184285 WITH SCORE 185018.513
AT ITER 3583 NEW BEST:: SOT 1399956 SOS 733512 HAS SOPS 725963 HAS SOUS 185798 HAS SOUPS 184285 WITH SCORE 185018.512
AT ITER 3588 NEW BEST:: SOT 1399908 SOS 733560 HAS SOPS 726011 HAS SOUS 185606 HAS SOUPS 184093 WITH SCORE 184826.56
AT ITER 3599 NEW BEST:: SOT 1399860 SOS 733463 HAS SOPS 725914 HAS SOUS 185461 HAS SOUPS 183948 WITH SCORE 184681.463
AT ITER 3626 NEW BEST:: SOT 1399884 SOS 733355 HAS SOPS 725806 HAS SOUS 185365 HAS SOUPS 183852 WITH SCORE 184585.355
AT ITER 3641 NEW BEST:: SOT 1399868 SOS 733334 HAS SOPS 725785 HAS SOUS 185350 HAS SOUPS 183837 WITH SCORE 184570.334
AT ITER 3649 NEW BEST:: SOT 1399873 SOS 733320 HAS SOPS 725771 HAS SOUS 185341 HAS SOUPS 183828 WITH SCORE 184561.32
AT ITER 3657 NEW BEST:: SOT 1399837 SOS 733284 HAS SOPS 725729 HAS SOUS 185269 HAS SOUPS 183756 WITH SCORE 184489.284
AT ITER 3677 NEW BEST:: SOT 1399773 SOS 733236 HAS SOPS 725681 HAS SOUS 185141 HAS SOUPS 183628 WITH SCORE 184361.236
AT ITER 3685 NEW BEST:: SOT 1399720 SOS 733148 HAS SOPS 725593 HAS SOUS 184862 HAS SOUPS 183349 WITH SCORE 184082.148
AT ITER 3717 NEW BEST:: SOT 1399609 SOS 733164 HAS SOPS 725609 HAS SOUS 184788 HAS SOUPS 183275 WITH SCORE 184008.164
AT ITER 3725 NEW BEST:: SOT 1399624 SOS 733179 HAS SOPS 725624 HAS SOUS 184784 HAS SOUPS 183271 WITH SCORE 184004.179
AT ITER 3740 NEW BEST:: SOT 1399552 SOS 733043 HAS SOPS 725488 HAS SOUS 184640 HAS SOUPS 183127 WITH SCORE 183860.043
AT ITER 3742 NEW BEST:: SOT 1399519 SOS 733010 HAS SOPS 725455 HAS SOUS 184574 HAS SOUPS 183061 WITH SCORE 183794.01
AT ITER 3743 NEW BEST:: SOT 1399560 SOS 733084 HAS SOPS 725529 HAS SOUS 184525 HAS SOUPS 183012 WITH SCORE 183745.084
AT ITER 3756 NEW BEST:: SOT 1399500 SOS 732976 HAS SOPS 725421 HAS SOUS 184480 HAS SOUPS 182967 WITH SCORE 183699.976
AT ITER 3761 NEW BEST:: SOT 1399885 SOS 727341 HAS SOPS 719786 HAS SOUS 183957 HAS SOUPS 182444 WITH SCORE 183171.341
AT ITER 3767 NEW BEST:: SOT 1399885 SOS 727121 HAS SOPS 719566 HAS SOUS 183865 HAS SOUPS 182352 WITH SCORE 183079.121
AT ITER 3773 NEW BEST:: SOT 1399801 SOS 727065 HAS SOPS 719510 HAS SOUS 183725 HAS SOUPS 182212 WITH SCORE 182939.065
AT ITER 3775 NEW BEST:: SOT 1399801 SOS 727065 HAS SOPS 719510 HAS SOUS 183680 HAS SOUPS 182167 WITH SCORE 182894.065
AT ITER 3783 NEW BEST:: SOT 1399207 SOS 731922 HAS SOPS 724367 HAS SOUS 183613 HAS SOUPS 182100 WITH SCORE 182831.922
AT ITER 3786 NEW BEST:: SOT 1399074 SOS 731817 HAS SOPS 724262 HAS SOUS 183347 HAS SOUPS 181834 WITH SCORE 182565.817
AT ITER 3822 NEW BEST:: SOT 1399018 SOS 731733 HAS SOPS 724164 HAS SOUS 183277 HAS SOUPS 181764 WITH SCORE 182495.733
AT ITER 3823 NEW BEST:: SOT 1399018 SOS 731733 HAS SOPS 724164 HAS SOUS 183260 HAS SOUPS 181747 WITH SCORE 182478.733
AT ITER 3825 NEW BEST:: SOT 1398969 SOS 732074 HAS SOPS 724505 HAS SOUS 183162 HAS SOUPS 181649 WITH SCORE 182381.074
AT ITER 3829 NEW BEST:: SOT 1398889 SOS 731977 HAS SOPS 724408 HAS SOUS 183040 HAS SOUPS 181527 WITH SCORE 182258.977
AT ITER 3854 NEW BEST:: SOT 1398889 SOS 731977 HAS SOPS 724408 HAS SOUS 182844 HAS SOUPS 181331 WITH SCORE 182062.977
AT ITER 3862 NEW BEST:: SOT 1398889 SOS 731993 HAS SOPS 724424 HAS SOUS 182812 HAS SOUPS 181299 WITH SCORE 182030.993
AT ITER 3867 NEW BEST:: SOT 1398889 SOS 731997 HAS SOPS 724428 HAS SOUS 182804 HAS SOUPS 181291 WITH SCORE 182022.997
AT ITER 3869 NEW BEST:: SOT 1398798 SOS 731953 HAS SOPS 724384 HAS SOUS 182737 HAS SOUPS 181224 WITH SCORE 181955.953
AT ITER 3889 NEW BEST:: SOT 1398865 SOS 731995 HAS SOPS 724426 HAS SOUS 182573 HAS SOUPS 181060 WITH SCORE 181791.995
AT ITER 3896 NEW BEST:: SOT 1398831 SOS 731961 HAS SOPS 724416 HAS SOUS 182571 HAS SOUPS 181058 WITH SCORE 181789.961
AT ITER 3904 NEW BEST:: SOT 1398770 SOS 731705 HAS SOPS 724247 HAS SOUS 182530 HAS SOUPS 181017 WITH SCORE 181748.705
AT ITER 3907 NEW BEST:: SOT 1398783 SOS 731921 HAS SOPS 724463 HAS SOUS 182307 HAS SOUPS 180794 WITH SCORE 181525.921
AT ITER 3917 NEW BEST:: SOT 1398543 SOS 731768 HAS SOPS 724310 HAS SOUS 182088 HAS SOUPS 180575 WITH SCORE 181306.768
AT ITER 3921 NEW BEST:: SOT 1398350 SOS 731507 HAS SOPS 724038 HAS SOUS 181736 HAS SOUPS 180223 WITH SCORE 180954.507
AT ITER 3927 NEW BEST:: SOT 1398350 SOS 731507 HAS SOPS 724038 HAS SOUS 181688 HAS SOUPS 180175 WITH SCORE 180906.507
AT ITER 3928 NEW BEST:: SOT 1398337 SOS 731493 HAS SOPS 724024 HAS SOUS 181676 HAS SOUPS 180163 WITH SCORE 180894.493
AT ITER 3939 NEW BEST:: SOT 1398291 SOS 731523 HAS SOPS 724054 HAS SOUS 181660 HAS SOUPS 180147 WITH SCORE 180878.523
AT ITER 3948 NEW BEST:: SOT 1398294 SOS 731523 HAS SOPS 724054 HAS SOUS 181654 HAS SOUPS 180141 WITH SCORE 180872.523
AT ITER 3957 NEW BEST:: SOT 1398286 SOS 731531 HAS SOPS 724062 HAS SOUS 181620 HAS SOUPS 180107 WITH SCORE 180838.531
AT ITER 3961 NEW BEST:: SOT 1398286 SOS 731531 HAS SOPS 724054 HAS SOUS 181616 HAS SOUPS 180099 WITH SCORE 180830.531
AT ITER 3963 NEW BEST:: SOT 1398274 SOS 731519 HAS SOPS 724042 HAS SOUS 181592 HAS SOUPS 180075 WITH SCORE 180806.519
AT ITER 3973 NEW BEST:: SOT 1398247 SOS 731514 HAS SOPS 724064 HAS SOUS 181583 HAS SOUPS 180066 WITH SCORE 180797.514
AT ITER 3979 NEW BEST:: SOT 1398183 SOS 731431 HAS SOPS 723981 HAS SOUS 181500 HAS SOUPS 179983 WITH SCORE 180714.431
AT ITER 3981 NEW BEST:: SOT 1398195 SOS 732701 HAS SOPS 723739 HAS SOUS 181349 HAS SOUPS 179643 WITH SCORE 180375.701
AT ITER 3988 NEW BEST:: SOT 1398183 SOS 732780 HAS SOPS 723818 HAS SOUS 181325 HAS SOUPS 179619 WITH SCORE 180351.78
AT ITER 3995 NEW BEST:: SOT 1398233 SOS 732793 HAS SOPS 723831 HAS SOUS 181250 HAS SOUPS 179544 WITH SCORE 180276.793
AT ITER 3998 NEW BEST:: SOT 1397937 SOS 732528 HAS SOPS 723566 HAS SOUS 180883 HAS SOUPS 179177 WITH SCORE 179909.528
AT ITER 4041 NEW BEST:: SOT 1403388 SOS 734218 HAS SOPS 725256 HAS SOUS 179775 HAS SOUPS 178069 WITH SCORE 178803.218
AT ITER 4055 NEW BEST:: SOT 1403445 SOS 734296 HAS SOPS 725334 HAS SOUS 179749 HAS SOUPS 178043 WITH SCORE 178777.296
AT ITER 4072 NEW BEST:: SOT 1403445 SOS 734227 HAS SOPS 725265 HAS SOUS 179748 HAS SOUPS 178042 WITH SCORE 178776.227
AT ITER 4073 NEW BEST:: SOT 1403472 SOS 732502 HAS SOPS 723540 HAS SOUS 179738 HAS SOUPS 178032 WITH SCORE 178764.502
AT ITER 4082 NEW BEST:: SOT 1403468 SOS 732498 HAS SOPS 723536 HAS SOUS 179730 HAS SOUPS 178024 WITH SCORE 178756.498
AT ITER 4083 NEW BEST:: SOT 1403496 SOS 732526 HAS SOPS 723564 HAS SOUS 179648 HAS SOUPS 177942 WITH SCORE 178674.526
AT ITER 4118 NEW BEST:: SOT 1404066 SOS 724941 HAS SOPS 715979 HAS SOUS 178746 HAS SOUPS 177040 WITH SCORE 177764.941
AT ITER 4120 NEW BEST:: SOT 1404064 SOS 724853 HAS SOPS 715891 HAS SOUS 178658 HAS SOUPS 176952 WITH SCORE 177676.853
AT ITER 4142 NEW BEST:: SOT 1404053 SOS 724842 HAS SOPS 715880 HAS SOUS 178655 HAS SOUPS 176949 WITH SCORE 177673.842
AT ITER 4149 NEW BEST:: SOT 1403957 SOS 724834 HAS SOPS 715970 HAS SOUS 178439 HAS SOUPS 176733 WITH SCORE 177457.834
AT ITER 4157 NEW BEST:: SOT 1403913 SOS 724866 HAS SOPS 716002 HAS SOUS 178404 HAS SOUPS 176698 WITH SCORE 177422.866
AT ITER 4188 NEW BEST:: SOT 1403898 SOS 724851 HAS SOPS 715987 HAS SOUS 178382 HAS SOUPS 176676 WITH SCORE 177400.851
AT ITER 4194 NEW BEST:: SOT 1395411 SOS 716612 HAS SOPS 707748 HAS SOUS 177381 HAS SOUPS 175675 WITH SCORE 176391.612
AT ITER 4201 NEW BEST:: SOT 1395404 SOS 716169 HAS SOPS 707305 HAS SOUS 177364 HAS SOUPS 175658 WITH SCORE 176374.169
AT ITER 4207 NEW BEST:: SOT 1395448 SOS 700075 HAS SOPS 691211 HAS SOUS 176988 HAS SOUPS 175282 WITH SCORE 175982.075
AT ITER 4229 NEW BEST:: SOT 1395448 SOS 701392 HAS SOPS 692528 HAS SOUS 176785 HAS SOUPS 175079 WITH SCORE 175780.392
AT ITER 4243 NEW BEST:: SOT 1395519 SOS 701367 HAS SOPS 692503 HAS SOUS 176664 HAS SOUPS 174958 WITH SCORE 175659.367
AT ITER 4246 NEW BEST:: SOT 1395582 SOS 701385 HAS SOPS 692521 HAS SOUS 176541 HAS SOUPS 174835 WITH SCORE 175536.385
AT ITER 4252 NEW BEST:: SOT 1395564 SOS 701367 HAS SOPS 692503 HAS SOUS 176507 HAS SOUPS 174801 WITH SCORE 175502.367
AT ITER 4277 NEW BEST:: SOT 1395549 SOS 701353 HAS SOPS 692489 HAS SOUS 176413 HAS SOUPS 174707 WITH SCORE 175408.353
AT ITER 4288 NEW BEST:: SOT 1395474 SOS 701305 HAS SOPS 692441 HAS SOUS 176338 HAS SOUPS 174632 WITH SCORE 175333.305
AT ITER 4299 NEW BEST:: SOT 1395253 SOS 700860 HAS SOPS 691996 HAS SOUS 176221 HAS SOUPS 174515 WITH SCORE 175215.86
AT ITER 4302 NEW BEST:: SOT 1395243 SOS 700835 HAS SOPS 691971 HAS SOUS 176186 HAS SOUPS 174480 WITH SCORE 175180.835
AT ITER 4328 NEW BEST:: SOT 1395243 SOS 700790 HAS SOPS 691926 HAS SOUS 176186 HAS SOUPS 174480 WITH SCORE 175180.79
AT ITER 4340 NEW BEST:: SOT 1395243 SOS 700755 HAS SOPS 691891 HAS SOUS 176180 HAS SOUPS 174474 WITH SCORE 175174.755
AT ITER 4346 NEW BEST:: SOT 1395308 SOS 701241 HAS SOPS 692377 HAS SOUS 176049 HAS SOUPS 174343 WITH SCORE 175044.241
AT ITER 4355 NEW BEST:: SOT 1395308 SOS 701229 HAS SOPS 692365 HAS SOUS 176002 HAS SOUPS 174296 WITH SCORE 174997.229
AT ITER 4361 NEW BEST:: SOT 1395111 SOS 701130 HAS SOPS 692310 HAS SOUS 175866 HAS SOUPS 174160 WITH SCORE 174861.13
AT ITER 4394 NEW BEST:: SOT 1395017 SOS 700693 HAS SOPS 691873 HAS SOUS 175725 HAS SOUPS 174019 WITH SCORE 174719.693
AT ITER 4404 NEW BEST:: SOT 1394994 SOS 700682 HAS SOPS 691850 HAS SOUS 175702 HAS SOUPS 173996 WITH SCORE 174696.682
AT ITER 4433 NEW BEST:: SOT 1394953 SOS 700608 HAS SOPS 691801 HAS SOUS 175680 HAS SOUPS 173974 WITH SCORE 174674.608
AT ITER 4438 NEW BEST:: SOT 1394988 SOS 698453 HAS SOPS 689646 HAS SOUS 175680 HAS SOUPS 173974 WITH SCORE 174672.453
AT ITER 4485 NEW BEST:: SOT 1394773 SOS 698238 HAS SOPS 689431 HAS SOUS 175647 HAS SOUPS 173941 WITH SCORE 174639.238
AT ITER 4499 NEW BEST:: SOT 1394714 SOS 698238 HAS SOPS 689431 HAS SOUS 175411 HAS SOUPS 173705 WITH SCORE 174403.238
AT ITER 4520 NEW BEST:: SOT 1394992 SOS 698835 HAS SOPS 690028 HAS SOUS 175381 HAS SOUPS 173675 WITH SCORE 174373.835
AT ITER 4523 NEW BEST:: SOT 1395023 SOS 698897 HAS SOPS 690090 HAS SOUS 175351 HAS SOUPS 173645 WITH SCORE 174343.897
AT ITER 4572 NEW BEST:: SOT 1395049 SOS 699233 HAS SOPS 690426 HAS SOUS 175309 HAS SOUPS 173603 WITH SCORE 174302.233
AT ITER 4582 NEW BEST:: SOT 1395080 SOS 699297 HAS SOPS 690490 HAS SOUS 175132 HAS SOUPS 173426 WITH SCORE 174125.297
AT ITER 4587 NEW BEST:: SOT 1395436 SOS 699653 HAS SOPS 690846 HAS SOUS 175108 HAS SOUPS 173402 WITH SCORE 174101.653
AT ITER 4593 NEW BEST:: SOT 1395506 SOS 700018 HAS SOPS 691211 HAS SOUS 175100 HAS SOUPS 173394 WITH SCORE 174094.018
AT ITER 4598 NEW BEST:: SOT 1395506 SOS 700001 HAS SOPS 691194 HAS SOUS 175100 HAS SOUPS 173394 WITH SCORE 174094.001
AT ITER 4605 NEW BEST:: SOT 1395506 SOS 699973 HAS SOPS 691166 HAS SOUS 175076 HAS SOUPS 173370 WITH SCORE 174069.973
AT ITER 4621 NEW BEST:: SOT 1395445 SOS 699910 HAS SOPS 691103 HAS SOUS 174935 HAS SOUPS 173229 WITH SCORE 173928.91
AT ITER 4622 NEW BEST:: SOT 1395430 SOS 699760 HAS SOPS 690953 HAS SOUS 174890 HAS SOUPS 173184 WITH SCORE 173883.76
AT ITER 4626 NEW BEST:: SOT 1395392 SOS 699703 HAS SOPS 690896 HAS SOUS 174871 HAS SOUPS 173165 WITH SCORE 173864.703
AT ITER 4635 NEW BEST:: SOT 1395363 SOS 699701 HAS SOPS 690894 HAS SOUS 174822 HAS SOUPS 173116 WITH SCORE 173815.701
AT ITER 4643 NEW BEST:: SOT 1395332 SOS 699670 HAS SOPS 690863 HAS SOUS 174720 HAS SOUPS 173014 WITH SCORE 173713.67
AT ITER 4648 NEW BEST:: SOT 1395332 SOS 699519 HAS SOPS 690712 HAS SOUS 174682 HAS SOUPS 172976 WITH SCORE 173675.519
AT ITER 4654 NEW BEST:: SOT 1395139 SOS 699432 HAS SOPS 690625 HAS SOUS 174588 HAS SOUPS 172882 WITH SCORE 173581.432
AT ITER 4671 NEW BEST:: SOT 1395135 SOS 699497 HAS SOPS 690690 HAS SOUS 174580 HAS SOUPS 172874 WITH SCORE 173573.497
AT ITER 4677 NEW BEST:: SOT 1394863 SOS 699502 HAS SOPS 690695 HAS SOUS 174406 HAS SOUPS 172700 WITH SCORE 173399.502
AT ITER 4678 NEW BEST:: SOT 1396315 SOS 700828 HAS SOPS 692021 HAS SOUS 174248 HAS SOUPS 172542 WITH SCORE 173242.828
AT ITER 4695 NEW BEST:: SOT 1396251 SOS 700764 HAS SOPS 691957 HAS SOUS 174170 HAS SOUPS 172464 WITH SCORE 173164.764
AT ITER 4706 NEW BEST:: SOT 1396269 SOS 700800 HAS SOPS 691993 HAS SOUS 174152 HAS SOUPS 172446 WITH SCORE 173146.8
AT ITER 4717 NEW BEST:: SOT 1396172 SOS 700813 HAS SOPS 692006 HAS SOUS 174006 HAS SOUPS 172300 WITH SCORE 173000.813
AT ITER 4747 NEW BEST:: SOT 1396157 SOS 700798 HAS SOPS 691991 HAS SOUS 173916 HAS SOUPS 172210 WITH SCORE 172910.798
AT ITER 4748 NEW BEST:: SOT 1396024 SOS 684525 HAS SOPS 674750 HAS SOUS 173880 HAS SOUPS 172053 WITH SCORE 172737.525
AT ITER 4762 NEW BEST:: SOT 1395974 SOS 684355 HAS SOPS 674580 HAS SOUS 173838 HAS SOUPS 172011 WITH SCORE 172695.355
AT ITER 4781 NEW BEST:: SOT 1396029 SOS 684427 HAS SOPS 674652 HAS SOUS 173454 HAS SOUPS 171627 WITH SCORE 172311.427
AT ITER 4792 NEW BEST:: SOT 1396029 SOS 684325 HAS SOPS 674550 HAS SOUS 173352 HAS SOUPS 171525 WITH SCORE 172209.325
AT ITER 4798 NEW BEST:: SOT 1396036 SOS 684289 HAS SOPS 674514 HAS SOUS 173323 HAS SOUPS 171496 WITH SCORE 172180.289
AT ITER 4803 NEW BEST:: SOT 1395924 SOS 684215 HAS SOPS 674440 HAS SOUS 173277 HAS SOUPS 171450 WITH SCORE 172134.215
AT ITER 4819 NEW BEST:: SOT 1395882 SOS 684159 HAS SOPS 674384 HAS SOUS 173221 HAS SOUPS 171394 WITH SCORE 172078.159
AT ITER 4822 NEW BEST:: SOT 1395990 SOS 684267 HAS SOPS 674492 HAS SOUS 173178 HAS SOUPS 171351 WITH SCORE 172035.267
AT ITER 4824 NEW BEST:: SOT 1395592 SOS 684532 HAS SOPS 674757 HAS SOUS 173166 HAS SOUPS 171339 WITH SCORE 172023.532
AT ITER 4848 NEW BEST:: SOT 1395442 SOS 684407 HAS SOPS 674632 HAS SOUS 172986 HAS SOUPS 171159 WITH SCORE 171843.407
AT ITER 4874 NEW BEST:: SOT 1395442 SOS 684243 HAS SOPS 674468 HAS SOUS 172914 HAS SOUPS 171087 WITH SCORE 171771.243
AT ITER 4907 NEW BEST:: SOT 1395453 SOS 684307 HAS SOPS 674532 HAS SOUS 172869 HAS SOUPS 171042 WITH SCORE 171726.307
AT ITER 4922 NEW BEST:: SOT 1395487 SOS 684277 HAS SOPS 674502 HAS SOUS 172852 HAS SOUPS 171025 WITH SCORE 171709.277
AT ITER 4928 NEW BEST:: SOT 1395459 SOS 684249 HAS SOPS 674474 HAS SOUS 172803 HAS SOUPS 170976 WITH SCORE 171660.249
AT ITER 4930 NEW BEST:: SOT 1395459 SOS 684203 HAS SOPS 674428 HAS SOUS 172803 HAS SOUPS 170976 WITH SCORE 171660.203
AT ITER 4934 NEW BEST:: SOT 1395287 SOS 683975 HAS SOPS 674200 HAS SOUS 172579 HAS SOUPS 170752 WITH SCORE 171435.975
AT ITER 4935 NEW BEST:: SOT 1395350 SOS 683922 HAS SOPS 674147 HAS SOUS 172556 HAS SOUPS 170729 WITH SCORE 171412.922
AT ITER 4953 NEW BEST:: SOT 1395366 SOS 683954 HAS SOPS 674179 HAS SOUS 172540 HAS SOUPS 170713 WITH SCORE 171396.954
AT ITER 4958 NEW BEST:: SOT 1395434 SOS 684112 HAS SOPS 674291 HAS SOUS 172373 HAS SOUPS 170546 WITH SCORE 171230.112
AT ITER 4959 NEW BEST:: SOT 1395434 SOS 684088 HAS SOPS 674255 HAS SOUS 172361 HAS SOUPS 170534 WITH SCORE 171218.088
AT ITER 4967 NEW BEST:: SOT 1394099 SOS 682753 HAS SOPS 672920 HAS SOUS 172144 HAS SOUPS 170317 WITH SCORE 170999.753
AT ITER 5007 NEW BEST:: SOT 1394064 SOS 682718 HAS SOPS 672885 HAS SOUS 172085 HAS SOUPS 170258 WITH SCORE 170940.718
AT ITER 5016 NEW BEST:: SOT 1393942 SOS 682441 HAS SOPS 672608 HAS SOUS 171965 HAS SOUPS 170138 WITH SCORE 170820.441
AT ITER 5024 NEW BEST:: SOT 1393906 SOS 682296 HAS SOPS 672463 HAS SOUS 171797 HAS SOUPS 169970 WITH SCORE 170652.296
AT ITER 5026 NEW BEST:: SOT 1393906 SOS 682316 HAS SOPS 672483 HAS SOUS 171764 HAS SOUPS 169937 WITH SCORE 170619.316
AT ITER 5030 NEW BEST:: SOT 1393906 SOS 682445 HAS SOPS 672612 HAS SOUS 171557 HAS SOUPS 169730 WITH SCORE 170412.445
AT ITER 5037 NEW BEST:: SOT 1389825 SOS 678368 HAS SOPS 668535 HAS SOUS 170745 HAS SOUPS 168918 WITH SCORE 169596.368
AT ITER 5042 NEW BEST:: SOT 1389822 SOS 678455 HAS SOPS 668622 HAS SOUS 170741 HAS SOUPS 168914 WITH SCORE 169592.455
AT ITER 5070 NEW BEST:: SOT 1389822 SOS 678436 HAS SOPS 668603 HAS SOUS 170741 HAS SOUPS 168914 WITH SCORE 169592.436
AT ITER 5073 NEW BEST:: SOT 1389822 SOS 678511 HAS SOPS 668678 HAS SOUS 170713 HAS SOUPS 168886 WITH SCORE 169564.511
AT ITER 5082 NEW BEST:: SOT 1389822 SOS 683231 HAS SOPS 673398 HAS SOUS 170666 HAS SOUPS 168839 WITH SCORE 169522.231
AT ITER 5090 NEW BEST:: SOT 1389767 SOS 683011 HAS SOPS 673178 HAS SOUS 170666 HAS SOUPS 168839 WITH SCORE 169522.011
AT ITER 5105 NEW BEST:: SOT 1389780 SOS 683106 HAS SOPS 673273 HAS SOUS 170446 HAS SOUPS 168619 WITH SCORE 169302.106
AT ITER 5108 NEW BEST:: SOT 1389829 SOS 683204 HAS SOPS 673371 HAS SOUS 170397 HAS SOUPS 168570 WITH SCORE 169253.204
AT ITER 5113 NEW BEST:: SOT 1389540 SOS 682888 HAS SOPS 673055 HAS SOUS 170334 HAS SOUPS 168507 WITH SCORE 169189.888
AT ITER 5133 NEW BEST:: SOT 1389532 SOS 682880 HAS SOPS 673047 HAS SOUS 170318 HAS SOUPS 168491 WITH SCORE 169173.88
AT ITER 5155 NEW BEST:: SOT 1389582 SOS 682944 HAS SOPS 673111 HAS SOUS 170159 HAS SOUPS 168332 WITH SCORE 169014.944
AT ITER 5170 NEW BEST:: SOT 1389889 SOS 683251 HAS SOPS 673418 HAS SOUS 170130 HAS SOUPS 168303 WITH SCORE 168986.251
AT ITER 5176 NEW BEST:: SOT 1389923 SOS 683285 HAS SOPS 673452 HAS SOUS 170098 HAS SOUPS 168271 WITH SCORE 168954.285
AT ITER 5181 NEW BEST:: SOT 1389881 SOS 682907 HAS SOPS 673116 HAS SOUS 170056 HAS SOUPS 168229 WITH SCORE 168911.907
AT ITER 5182 NEW BEST:: SOT 1389917 SOS 682603 HAS SOPS 672812 HAS SOUS 169870 HAS SOUPS 168043 WITH SCORE 168725.603
AT ITER 5195 NEW BEST:: SOT 1389917 SOS 682577 HAS SOPS 672786 HAS SOUS 169844 HAS SOUPS 168017 WITH SCORE 168699.577
AT ITER 5204 NEW BEST:: SOT 1389947 SOS 682637 HAS SOPS 672846 HAS SOUS 169714 HAS SOUPS 167887 WITH SCORE 168569.637
AT ITER 5211 NEW BEST:: SOT 1389675 SOS 682365 HAS SOPS 672574 HAS SOUS 169704 HAS SOUPS 167877 WITH SCORE 168559.365
AT ITER 5220 NEW BEST:: SOT 1389590 SOS 675838 HAS SOPS 668727 HAS SOUS 169158 HAS SOUPS 167666 WITH SCORE 168341.838
AT ITER 5227 NEW BEST:: SOT 1389512 SOS 675740 HAS SOPS 668629 HAS SOUS 169060 HAS SOUPS 167568 WITH SCORE 168243.74
AT ITER 5295 NEW BEST:: SOT 1389496 SOS 675781 HAS SOPS 668670 HAS SOUS 169015 HAS SOUPS 167523 WITH SCORE 168198.781
AT ITER 5296 NEW BEST:: SOT 1389455 SOS 675725 HAS SOPS 668614 HAS SOUS 168944 HAS SOUPS 167452 WITH SCORE 168127.725
AT ITER 5311 NEW BEST:: SOT 1389315 SOS 675313 HAS SOPS 668202 HAS SOUS 168727 HAS SOUPS 167235 WITH SCORE 167910.313
AT ITER 5312 NEW BEST:: SOT 1389294 SOS 674890 HAS SOPS 667779 HAS SOUS 168685 HAS SOUPS 167193 WITH SCORE 167867.89
AT ITER 5318 NEW BEST:: SOT 1389221 SOS 674613 HAS SOPS 667502 HAS SOUS 168634 HAS SOUPS 167142 WITH SCORE 167816.613
AT ITER 5330 NEW BEST:: SOT 1389069 SOS 674461 HAS SOPS 667350 HAS SOUS 168251 HAS SOUPS 166759 WITH SCORE 167433.461
AT ITER 5331 NEW BEST:: SOT 1390913 SOS 674754 HAS SOPS 667643 HAS SOUS 168215 HAS SOUPS 166723 WITH SCORE 167397.754
AT ITER 5335 NEW BEST:: SOT 1390791 SOS 674595 HAS SOPS 667484 HAS SOUS 168187 HAS SOUPS 166695 WITH SCORE 167369.595
AT ITER 5341 NEW BEST:: SOT 1390866 SOS 674419 HAS SOPS 667195 HAS SOUS 168103 HAS SOUPS 166611 WITH SCORE 167285.419
AT ITER 5342 NEW BEST:: SOT 1390866 SOS 674308 HAS SOPS 667084 HAS SOUS 168102 HAS SOUPS 166610 WITH SCORE 167284.308
AT ITER 5362 NEW BEST:: SOT 1390856 SOS 674298 HAS SOPS 667074 HAS SOUS 168092 HAS SOUPS 166600 WITH SCORE 167274.298
AT ITER 5394 NEW BEST:: SOT 1390846 SOS 674288 HAS SOPS 667064 HAS SOUS 168072 HAS SOUPS 166580 WITH SCORE 167254.288
AT ITER 5398 NEW BEST:: SOT 1390848 SOS 674290 HAS SOPS 667066 HAS SOUS 168005 HAS SOUPS 166513 WITH SCORE 167187.29
AT ITER 5402 NEW BEST:: SOT 1390848 SOS 674117 HAS SOPS 666893 HAS SOUS 168005 HAS SOUPS 166513 WITH SCORE 167187.117
AT ITER 5419 NEW BEST:: SOT 1390843 SOS 674107 HAS SOPS 666883 HAS SOUS 167984 HAS SOUPS 166492 WITH SCORE 167166.107
AT ITER 5458 NEW BEST:: SOT 1390781 SOS 673981 HAS SOPS 666678 HAS SOUS 167977 HAS SOUPS 166485 WITH SCORE 167158.981
AT ITER 5466 NEW BEST:: SOT 1390886 SOS 674268 HAS SOPS 666965 HAS SOUS 167940 HAS SOUPS 166448 WITH SCORE 167122.268
AT ITER 5478 NEW BEST:: SOT 1390446 SOS 673828 HAS SOPS 666525 HAS SOUS 167500 HAS SOUPS 166008 WITH SCORE 166681.828
AT ITER 5485 NEW BEST:: SOT 1390427 SOS 673806 HAS SOPS 666503 HAS SOUS 167484 HAS SOUPS 165992 WITH SCORE 166665.806
AT ITER 5489 NEW BEST:: SOT 1390403 SOS 673782 HAS SOPS 666479 HAS SOUS 167436 HAS SOUPS 165944 WITH SCORE 166617.782
AT ITER 5529 NEW BEST:: SOT 1390582 SOS 662776 HAS SOPS 655473 HAS SOUS 167372 HAS SOUPS 165880 WITH SCORE 166542.776
AT ITER 5570 NEW BEST:: SOT 1390528 SOS 662413 HAS SOPS 655110 HAS SOUS 167264 HAS SOUPS 165772 WITH SCORE 166434.413
AT ITER 5571 NEW BEST:: SOT 1382015 SOS 653971 HAS SOPS 646668 HAS SOUS 165806 HAS SOUPS 164314 WITH SCORE 164967.971
AT ITER 5611 NEW BEST:: SOT 1382019 SOS 653957 HAS SOPS 646654 HAS SOUS 165803 HAS SOUPS 164311 WITH SCORE 164964.957
AT ITER 5623 NEW BEST:: SOT 1381908 SOS 653860 HAS SOPS 646557 HAS SOUS 165713 HAS SOUPS 164221 WITH SCORE 164874.86
AT ITER 5651 NEW BEST:: SOT 1382057 SOS 654208 HAS SOPS 646905 HAS SOUS 165571 HAS SOUPS 164079 WITH SCORE 164733.208
AT ITER 5652 NEW BEST:: SOT 1382009 SOS 654112 HAS SOPS 646809 HAS SOUS 165475 HAS SOUPS 163983 WITH SCORE 164637.112
AT ITER 5653 NEW BEST:: SOT 1381950 SOS 654053 HAS SOPS 646750 HAS SOUS 165340 HAS SOUPS 163848 WITH SCORE 164502.053
AT ITER 5680 NEW BEST:: SOT 1381892 SOS 654139 HAS SOPS 646692 HAS SOUS 165329 HAS SOUPS 163819 WITH SCORE 164473.139
AT ITER 5682 NEW BEST:: SOT 1380029 SOS 652975 HAS SOPS 645591 HAS SOUS 164737 HAS SOUPS 163253 WITH SCORE 163905.975
AT ITER 5688 NEW BEST:: SOT 1380029 SOS 652975 HAS SOPS 645591 HAS SOUS 164730 HAS SOUPS 163246 WITH SCORE 163898.975
AT ITER 5723 NEW BEST:: SOT 1379870 SOS 648928 HAS SOPS 641544 HAS SOUS 164679 HAS SOUPS 163195 WITH SCORE 163843.928
AT ITER 5725 NEW BEST:: SOT 1379766 SOS 648911 HAS SOPS 641527 HAS SOUS 164595 HAS SOUPS 163111 WITH SCORE 163759.911
AT ITER 5734 NEW BEST:: SOT 1379722 SOS 648905 HAS SOPS 641521 HAS SOUS 164518 HAS SOUPS 163034 WITH SCORE 163682.905
AT ITER 5749 NEW BEST:: SOT 1379718 SOS 648703 HAS SOPS 641297 HAS SOUS 164404 HAS SOUPS 162920 WITH SCORE 163568.703
AT ITER 5777 NEW BEST:: SOT 1378645 SOS 684113 HAS SOPS 676707 HAS SOUS 164361 HAS SOUPS 162877 WITH SCORE 163561.113
AT ITER 5793 NEW BEST:: SOT 1378881 SOS 684793 HAS SOPS 677387 HAS SOUS 164152 HAS SOUPS 162668 WITH SCORE 163352.793
AT ITER 5807 NEW BEST:: SOT 1378864 SOS 684840 HAS SOPS 677434 HAS SOUS 164118 HAS SOUPS 162634 WITH SCORE 163318.84
AT ITER 5835 NEW BEST:: SOT 1378868 SOS 679597 HAS SOPS 672191 HAS SOUS 163981 HAS SOUPS 162497 WITH SCORE 163176.597
AT ITER 5896 NEW BEST:: SOT 1378834 SOS 679631 HAS SOPS 672225 HAS SOUS 163959 HAS SOUPS 162475 WITH SCORE 163154.631
AT ITER 5917 NEW BEST:: SOT 1378836 SOS 679601 HAS SOPS 672171 HAS SOUS 163931 HAS SOUPS 162447 WITH SCORE 163126.601
AT ITER 5936 NEW BEST:: SOT 1379081 SOS 680095 HAS SOPS 672665 HAS SOUS 163914 HAS SOUPS 162430 WITH SCORE 163110.095
AT ITER 5956 NEW BEST:: SOT 1379054 SOS 680068 HAS SOPS 672656 HAS SOUS 163900 HAS SOUPS 162421 WITH SCORE 163101.068
AT ITER 5981 NEW BEST:: SOT 1379054 SOS 679994 HAS SOPS 672582 HAS SOUS 163886 HAS SOUPS 162407 WITH SCORE 163086.994
AT ITER 5982 NEW BEST:: SOT 1379054 SOS 679968 HAS SOPS 672556 HAS SOUS 163860 HAS SOUPS 162381 WITH SCORE 163060.968
AT ITER 5989 NEW BEST:: SOT 1379010 SOS 679896 HAS SOPS 672484 HAS SOUS 163743 HAS SOUPS 162264 WITH SCORE 162943.896
AT ITER 6011 NEW BEST:: SOT 1378998 SOS 679812 HAS SOPS 672400 HAS SOUS 163719 HAS SOUPS 162240 WITH SCORE 162919.812
AT ITER 6017 NEW BEST:: SOT 1378967 SOS 679848 HAS SOPS 672436 HAS SOUS 163657 HAS SOUPS 162178 WITH SCORE 162857.848
AT ITER 6040 NEW BEST:: SOT 1378955 SOS 679933 HAS SOPS 672421 HAS SOUS 163652 HAS SOUPS 162168 WITH SCORE 162847.933
AT ITER 6070 NEW BEST:: SOT 1378875 SOS 679853 HAS SOPS 672421 HAS SOUS 163652 HAS SOUPS 162168 WITH SCORE 162847.853
AT ITER 6074 NEW BEST:: SOT 1378837 SOS 680409 HAS SOPS 672977 HAS SOUS 163496 HAS SOUPS 162012 WITH SCORE 162692.409
AT ITER 6094 NEW BEST:: SOT 1378837 SOS 680056 HAS SOPS 672624 HAS SOUS 163453 HAS SOUPS 161969 WITH SCORE 162649.056
AT ITER 6100 NEW BEST:: SOT 1378549 SOS 679933 HAS SOPS 672501 HAS SOUS 163403 HAS SOUPS 161919 WITH SCORE 162598.933
AT ITER 6111 NEW BEST:: SOT 1378579 SOS 680193 HAS SOPS 672737 HAS SOUS 163361 HAS SOUPS 161877 WITH SCORE 162557.193
AT ITER 6116 NEW BEST:: SOT 1378569 SOS 680245 HAS SOPS 672789 HAS SOUS 163263 HAS SOUPS 161779 WITH SCORE 162459.245
AT ITER 6118 NEW BEST:: SOT 1378569 SOS 680240 HAS SOPS 672784 HAS SOUS 163263 HAS SOUPS 161779 WITH SCORE 162459.24
AT ITER 6122 NEW BEST:: SOT 1378533 SOS 680204 HAS SOPS 672748 HAS SOUS 163231 HAS SOUPS 161747 WITH SCORE 162427.204
AT ITER 6134 NEW BEST:: SOT 1378536 SOS 680210 HAS SOPS 672751 HAS SOUS 163228 HAS SOUPS 161744 WITH SCORE 162424.21
AT ITER 6145 NEW BEST:: SOT 1378557 SOS 680252 HAS SOPS 672793 HAS SOUS 163207 HAS SOUPS 161723 WITH SCORE 162403.252
AT ITER 6157 NEW BEST:: SOT 1378507 SOS 680298 HAS SOPS 672839 HAS SOUS 163136 HAS SOUPS 161652 WITH SCORE 162332.298
AT ITER 6221 NEW BEST:: SOT 1378499 SOS 680282 HAS SOPS 672823 HAS SOUS 163120 HAS SOUPS 161636 WITH SCORE 162316.282
AT ITER 6228 NEW BEST:: SOT 1378472 SOS 680181 HAS SOPS 672722 HAS SOUS 163066 HAS SOUPS 161582 WITH SCORE 162262.181
AT ITER 6261 NEW BEST:: SOT 1378472 SOS 680162 HAS SOPS 672703 HAS SOUS 163061 HAS SOUPS 161577 WITH SCORE 162257.162
AT ITER 6304 NEW BEST:: SOT 1376257 SOS 677947 HAS SOPS 670488 HAS SOUS 162881 HAS SOUPS 161397 WITH SCORE 162074.947
AT ITER 6305 NEW BEST:: SOT 1376066 SOS 677168 HAS SOPS 669709 HAS SOUS 162499 HAS SOUPS 161015 WITH SCORE 161692.168
AT ITER 6316 NEW BEST:: SOT 1376061 SOS 677163 HAS SOPS 669699 HAS SOUS 162494 HAS SOUPS 161010 WITH SCORE 161687.163
AT ITER 6322 NEW BEST:: SOT 1376062 SOS 677099 HAS SOPS 669635 HAS SOUS 162431 HAS SOUPS 160947 WITH SCORE 161624.099
AT ITER 6323 NEW BEST:: SOT 1376062 SOS 677096 HAS SOPS 669632 HAS SOUS 162414 HAS SOUPS 160930 WITH SCORE 161607.096
AT ITER 6330 NEW BEST:: SOT 1376062 SOS 677078 HAS SOPS 669614 HAS SOUS 162414 HAS SOUPS 160930 WITH SCORE 161607.078
AT ITER 6345 NEW BEST:: SOT 1376062 SOS 677078 HAS SOPS 669592 HAS SOUS 162376 HAS SOUPS 160886 WITH SCORE 161563.078
AT ITER 6352 NEW BEST:: SOT 1376058 SOS 677074 HAS SOPS 669588 HAS SOUS 162368 HAS SOUPS 160878 WITH SCORE 161555.074
AT ITER 6355 NEW BEST:: SOT 1376034 SOS 677058 HAS SOPS 669580 HAS SOUS 162356 HAS SOUPS 160870 WITH SCORE 161547.058
AT ITER 6358 NEW BEST:: SOT 1375986 SOS 676703 HAS SOPS 669225 HAS SOUS 162351 HAS SOUPS 160865 WITH SCORE 161541.703
AT ITER 6373 NEW BEST:: SOT 1375987 SOS 675958 HAS SOPS 668480 HAS SOUS 162339 HAS SOUPS 160853 WITH SCORE 161528.958
AT ITER 6376 NEW BEST:: SOT 1376004 SOS 675988 HAS SOPS 668510 HAS SOUS 162295 HAS SOUPS 160809 WITH SCORE 161484.988
AT ITER 6438 NEW BEST:: SOT 1375984 SOS 675978 HAS SOPS 668500 HAS SOUS 162225 HAS SOUPS 160739 WITH SCORE 161414.978
AT ITER 6446 NEW BEST:: SOT 1375947 SOS 675951 HAS SOPS 668473 HAS SOUS 162161 HAS SOUPS 160675 WITH SCORE 161350.951
AT ITER 6464 NEW BEST:: SOT 1376074 SOS 676207 HAS SOPS 668729 HAS SOUS 162114 HAS SOUPS 160628 WITH SCORE 161304.207
AT ITER 6474 NEW BEST:: SOT 1376003 SOS 676161 HAS SOPS 668683 HAS SOUS 162097 HAS SOUPS 160611 WITH SCORE 161287.161
AT ITER 6494 NEW BEST:: SOT 1376001 SOS 676159 HAS SOPS 668681 HAS SOUS 162091 HAS SOUPS 160605 WITH SCORE 161281.159
AT ITER 6498 NEW BEST:: SOT 1376014 SOS 676172 HAS SOPS 668726 HAS SOUS 162056 HAS SOUPS 160570 WITH SCORE 161246.172
AT ITER 6507 NEW BEST:: SOT 1376007 SOS 676165 HAS SOPS 668719 HAS SOUS 162042 HAS SOUPS 160556 WITH SCORE 161232.165
AT ITER 6508 NEW BEST:: SOT 1376069 SOS 676086 HAS SOPS 668554 HAS SOUS 162011 HAS SOUPS 160525 WITH SCORE 161201.086
AT ITER 6522 NEW BEST:: SOT 1376069 SOS 675908 HAS SOPS 668376 HAS SOUS 162011 HAS SOUPS 160525 WITH SCORE 161200.908
AT ITER 6527 NEW BEST:: SOT 1376024 SOS 675863 HAS SOPS 668331 HAS SOUS 161921 HAS SOUPS 160435 WITH SCORE 161110.863
AT ITER 6567 NEW BEST:: SOT 1376356 SOS 671195 HAS SOPS 663663 HAS SOUS 160962 HAS SOUPS 159476 WITH SCORE 160147.195
AT ITER 6582 NEW BEST:: SOT 1376289 SOS 671128 HAS SOPS 663596 HAS SOUS 160758 HAS SOUPS 159272 WITH SCORE 159943.128
AT ITER 6612 NEW BEST:: SOT 1376279 SOS 671118 HAS SOPS 663586 HAS SOUS 160748 HAS SOUPS 159262 WITH SCORE 159933.118
AT ITER 6629 NEW BEST:: SOT 1376233 SOS 670980 HAS SOPS 663448 HAS SOUS 160610 HAS SOUPS 159124 WITH SCORE 159794.98
AT ITER 6636 NEW BEST:: SOT 1376186 SOS 670974 HAS SOPS 663442 HAS SOUS 160560 HAS SOUPS 159074 WITH SCORE 159744.974
AT ITER 6676 NEW BEST:: SOT 1376186 SOS 670974 HAS SOPS 663433 HAS SOUS 160551 HAS SOUPS 159065 WITH SCORE 159735.974
AT ITER 6682 NEW BEST:: SOT 1376110 SOS 670896 HAS SOPS 663355 HAS SOUS 160540 HAS SOUPS 159054 WITH SCORE 159724.896
AT ITER 6693 NEW BEST:: SOT 1376151 SOS 670932 HAS SOPS 663432 HAS SOUS 160530 HAS SOUPS 159044 WITH SCORE 159714.932
AT ITER 6695 NEW BEST:: SOT 1376252 SOS 671033 HAS SOPS 663533 HAS SOUS 160300 HAS SOUPS 158814 WITH SCORE 159485.033
AT ITER 6697 NEW BEST:: SOT 1376177 SOS 670958 HAS SOPS 663458 HAS SOUS 160177 HAS SOUPS 158691 WITH SCORE 159361.958
AT ITER 6717 NEW BEST:: SOT 1375935 SOS 670682 HAS SOPS 663182 HAS SOUS 159856 HAS SOUPS 158370 WITH SCORE 159040.682
AT ITER 6736 NEW BEST:: SOT 1375954 SOS 670689 HAS SOPS 663189 HAS SOUS 159832 HAS SOUPS 158346 WITH SCORE 159016.689
AT ITER 6741 NEW BEST:: SOT 1376074 SOS 670865 HAS SOPS 663365 HAS SOUS 159713 HAS SOUPS 158227 WITH SCORE 158897.865
AT ITER 6755 NEW BEST:: SOT 1375998 SOS 670637 HAS SOPS 663137 HAS SOUS 159675 HAS SOUPS 158189 WITH SCORE 158859.637
AT ITER 6772 NEW BEST:: SOT 1376004 SOS 670561 HAS SOPS 663060 HAS SOUS 159610 HAS SOUPS 158124 WITH SCORE 158794.561
AT ITER 6774 NEW BEST:: SOT 1375980 SOS 670567 HAS SOPS 663066 HAS SOUS 159602 HAS SOUPS 158116 WITH SCORE 158786.567
AT ITER 6785 NEW BEST:: SOT 1375409 SOS 677523 HAS SOPS 670022 HAS SOUS 159451 HAS SOUPS 157965 WITH SCORE 158642.523
AT ITER 6787 NEW BEST:: SOT 1375405 SOS 677515 HAS SOPS 670014 HAS SOUS 159447 HAS SOUPS 157961 WITH SCORE 158638.515
AT ITER 6805 NEW BEST:: SOT 1375415 SOS 677449 HAS SOPS 669948 HAS SOUS 159315 HAS SOUPS 157829 WITH SCORE 158506.449
AT ITER 6817 NEW BEST:: SOT 1375403 SOS 677437 HAS SOPS 669936 HAS SOUS 159291 HAS SOUPS 157805 WITH SCORE 158482.437
AT ITER 6839 NEW BEST:: SOT 1375387 SOS 677421 HAS SOPS 669920 HAS SOUS 159267 HAS SOUPS 157781 WITH SCORE 158458.421
AT ITER 6840 NEW BEST:: SOT 1375593 SOS 661337 HAS SOPS 653836 HAS SOUS 159238 HAS SOUPS 157752 WITH SCORE 158413.337
AT ITER 6845 NEW BEST:: SOT 1375303 SOS 661018 HAS SOPS 653517 HAS SOUS 158968 HAS SOUPS 157482 WITH SCORE 158143.018
AT ITER 6862 NEW BEST:: SOT 1375442 SOS 668525 HAS SOPS 661024 HAS SOUS 158959 HAS SOUPS 157473 WITH SCORE 158141.525
AT ITER 6863 NEW BEST:: SOT 1375406 SOS 668240 HAS SOPS 660739 HAS SOUS 158933 HAS SOUPS 157447 WITH SCORE 158115.24
AT ITER 6864 NEW BEST:: SOT 1375895 SOS 661684 HAS SOPS 654183 HAS SOUS 158849 HAS SOUPS 157363 WITH SCORE 158024.684
AT ITER 6872 NEW BEST:: SOT 1375708 SOS 658279 HAS SOPS 650778 HAS SOUS 158755 HAS SOUPS 157269 WITH SCORE 157927.279
AT ITER 6875 NEW BEST:: SOT 1375656 SOS 658227 HAS SOPS 650775 HAS SOUS 158749 HAS SOUPS 157263 WITH SCORE 157921.227
AT ITER 6879 NEW BEST:: SOT 1374933 SOS 657504 HAS SOPS 650052 HAS SOUS 158307 HAS SOUPS 156821 WITH SCORE 157478.504
AT ITER 6908 NEW BEST:: SOT 1374705 SOS 656932 HAS SOPS 649480 HAS SOUS 157851 HAS SOUPS 156365 WITH SCORE 157021.932
AT ITER 6923 NEW BEST:: SOT 1374704 SOS 656930 HAS SOPS 649478 HAS SOUS 157849 HAS SOUPS 156363 WITH SCORE 157019.93
AT ITER 6924 NEW BEST:: SOT 1374729 SOS 656955 HAS SOPS 649503 HAS SOUS 157825 HAS SOUPS 156339 WITH SCORE 156995.955
AT ITER 6928 NEW BEST:: SOT 1374777 SOS 657164 HAS SOPS 649712 HAS SOUS 157747 HAS SOUPS 156261 WITH SCORE 156918.164
AT ITER 6938 NEW BEST:: SOT 1374886 SOS 657841 HAS SOPS 650389 HAS SOUS 157701 HAS SOUPS 156215 WITH SCORE 156872.841
AT ITER 6947 NEW BEST:: SOT 1374856 SOS 657811 HAS SOPS 650359 HAS SOUS 157641 HAS SOUPS 156155 WITH SCORE 156812.811
AT ITER 6950 NEW BEST:: SOT 1374884 SOS 657839 HAS SOPS 650387 HAS SOUS 157623 HAS SOUPS 156137 WITH SCORE 156794.839
AT ITER 6970 NEW BEST:: SOT 1374913 SOS 657871 HAS SOPS 650432 HAS SOUS 157569 HAS SOUPS 156083 WITH SCORE 156740.871
AT ITER 6971 NEW BEST:: SOT 1374934 SOS 657878 HAS SOPS 650439 HAS SOUS 157433 HAS SOUPS 155947 WITH SCORE 156604.878
AT ITER 6975 NEW BEST:: SOT 1374968 SOS 657830 HAS SOPS 650350 HAS SOUS 157385 HAS SOUPS 155899 WITH SCORE 156556.83
AT ITER 6983 NEW BEST:: SOT 1374968 SOS 657830 HAS SOPS 650325 HAS SOUS 157360 HAS SOUPS 155874 WITH SCORE 156531.83
AT ITER 6996 NEW BEST:: SOT 1374943 SOS 657900 HAS SOPS 650290 HAS SOUS 157335 HAS SOUPS 155844 WITH SCORE 156501.9
AT ITER 7001 NEW BEST:: SOT 1374934 SOS 657891 HAS SOPS 650281 HAS SOUS 157317 HAS SOUPS 155826 WITH SCORE 156483.891
AT ITER 7021 NEW BEST:: SOT 1375210 SOS 658095 HAS SOPS 650485 HAS SOUS 157245 HAS SOUPS 155754 WITH SCORE 156412.095
AT ITER 7025 NEW BEST:: SOT 1375237 SOS 658105 HAS SOPS 650485 HAS SOUS 157240 HAS SOUPS 155749 WITH SCORE 156407.105
AT ITER 7028 NEW BEST:: SOT 1375196 SOS 657941 HAS SOPS 650321 HAS SOUS 157234 HAS SOUPS 155743 WITH SCORE 156400.941
AT ITER 7045 NEW BEST:: SOT 1375196 SOS 657983 HAS SOPS 650363 HAS SOUS 157192 HAS SOUPS 155701 WITH SCORE 156358.983
AT ITER 7082 NEW BEST:: SOT 1375163 SOS 657584 HAS SOPS 649964 HAS SOUS 157051 HAS SOUPS 155560 WITH SCORE 156217.584
AT ITER 7092 NEW BEST:: SOT 1375236 SOS 657582 HAS SOPS 649962 HAS SOUS 157002 HAS SOUPS 155511 WITH SCORE 156168.582
AT ITER 7094 NEW BEST:: SOT 1375247 SOS 657603 HAS SOPS 649983 HAS SOUS 156924 HAS SOUPS 155433 WITH SCORE 156090.603
AT ITER 7106 NEW BEST:: SOT 1375206 SOS 657747 HAS SOPS 650127 HAS SOUS 156783 HAS SOUPS 155292 WITH SCORE 155949.747
AT ITER 7112 NEW BEST:: SOT 1375299 SOS 658303 HAS SOPS 650683 HAS SOUS 156560 HAS SOUPS 155069 WITH SCORE 155727.303
AT ITER 7123 NEW BEST:: SOT 1375299 SOS 663277 HAS SOPS 655657 HAS SOUS 156425 HAS SOUPS 154934 WITH SCORE 155597.277
AT ITER 7171 NEW BEST:: SOT 1375256 SOS 663234 HAS SOPS 655614 HAS SOUS 156399 HAS SOUPS 154908 WITH SCORE 155571.234
AT ITER 7178 NEW BEST:: SOT 1375243 SOS 663221 HAS SOPS 655601 HAS SOUS 156386 HAS SOUPS 154895 WITH SCORE 155558.221
AT ITER 7200 NEW BEST:: SOT 1375086 SOS 663064 HAS SOPS 655444 HAS SOUS 156223 HAS SOUPS 154732 WITH SCORE 155395.064
AT ITER 7214 NEW BEST:: SOT 1375079 SOS 663057 HAS SOPS 655437 HAS SOUS 156216 HAS SOUPS 154725 WITH SCORE 155388.057
AT ITER 7223 NEW BEST:: SOT 1375113 SOS 663091 HAS SOPS 655440 HAS SOUS 156212 HAS SOUPS 154721 WITH SCORE 155384.091
AT ITER 7245 NEW BEST:: SOT 1374352 SOS 662330 HAS SOPS 654679 HAS SOUS 155992 HAS SOUPS 154501 WITH SCORE 155163.33
AT ITER 7252 NEW BEST:: SOT 1372683 SOS 660638 HAS SOPS 652987 HAS SOUS 155531 HAS SOUPS 154040 WITH SCORE 154700.638
AT ITER 7259 NEW BEST:: SOT 1372698 SOS 660668 HAS SOPS 653017 HAS SOUS 155519 HAS SOUPS 154028 WITH SCORE 154688.668
AT ITER 7298 NEW BEST:: SOT 1372695 SOS 660665 HAS SOPS 653014 HAS SOUS 155513 HAS SOUPS 154022 WITH SCORE 154682.665
AT ITER 7313 NEW BEST:: SOT 1372607 SOS 660712 HAS SOPS 653061 HAS SOUS 155425 HAS SOUPS 153934 WITH SCORE 154594.712
AT ITER 7354 NEW BEST:: SOT 1372607 SOS 660641 HAS SOPS 652990 HAS SOUS 155425 HAS SOUPS 153934 WITH SCORE 154594.641
AT ITER 7373 NEW BEST:: SOT 1372662 SOS 660696 HAS SOPS 652987 HAS SOUS 155269 HAS SOUPS 153778 WITH SCORE 154438.696
AT ITER 7401 NEW BEST:: SOT 1372675 SOS 660686 HAS SOPS 652977 HAS SOUS 155259 HAS SOUPS 153768 WITH SCORE 154428.686
AT ITER 7412 NEW BEST:: SOT 1372728 SOS 663209 HAS SOPS 655500 HAS SOUS 155251 HAS SOUPS 153760 WITH SCORE 154423.209
AT ITER 7428 NEW BEST:: SOT 1372720 SOS 663201 HAS SOPS 655492 HAS SOUS 155235 HAS SOUPS 153744 WITH SCORE 154407.201
AT ITER 7445 NEW BEST:: SOT 1372672 SOS 663153 HAS SOPS 655444 HAS SOUS 155102 HAS SOUPS 153611 WITH SCORE 154274.153
AT ITER 7446 NEW BEST:: SOT 1372672 SOS 663115 HAS SOPS 655406 HAS SOUS 155102 HAS SOUPS 153611 WITH SCORE 154274.115
AT ITER 7463 NEW BEST:: SOT 1372733 SOS 652760 HAS SOPS 643651 HAS SOUS 154866 HAS SOUPS 153303 WITH SCORE 153955.76
AT ITER 7468 NEW BEST:: SOT 1372745 SOS 652663 HAS SOPS 643554 HAS SOUS 154726 HAS SOUPS 153163 WITH SCORE 153815.663
AT ITER 7477 NEW BEST:: SOT 1372686 SOS 652663 HAS SOPS 643554 HAS SOUS 154667 HAS SOUPS 153104 WITH SCORE 153756.663
AT ITER 7501 NEW BEST:: SOT 1372685 SOS 652661 HAS SOPS 643552 HAS SOUS 154665 HAS SOUPS 153102 WITH SCORE 153754.661
AT ITER 7522 NEW BEST:: SOT 1372672 SOS 652635 HAS SOPS 643526 HAS SOUS 154639 HAS SOUPS 153076 WITH SCORE 153728.635
AT ITER 7528 NEW BEST:: SOT 1372672 SOS 652712 HAS SOPS 643603 HAS SOUS 154629 HAS SOUPS 153066 WITH SCORE 153718.712
AT ITER 7532 NEW BEST:: SOT 1372667 SOS 652707 HAS SOPS 643598 HAS SOUS 154624 HAS SOUPS 153061 WITH SCORE 153713.707
AT ITER 7544 NEW BEST:: SOT 1372663 SOS 652703 HAS SOPS 643596 HAS SOUS 154620 HAS SOUPS 153057 WITH SCORE 153709.703
AT ITER 7556 NEW BEST:: SOT 1372663 SOS 652679 HAS SOPS 643572 HAS SOUS 154620 HAS SOUPS 153057 WITH SCORE 153709.679
AT ITER 7565 NEW BEST:: SOT 1372648 SOS 652634 HAS SOPS 643512 HAS SOUS 154575 HAS SOUPS 153012 WITH SCORE 153664.634
AT ITER 7583 NEW BEST:: SOT 1372618 SOS 652574 HAS SOPS 643452 HAS SOUS 154515 HAS SOUPS 152952 WITH SCORE 153604.574
AT ITER 7592 NEW BEST:: SOT 1372611 SOS 652779 HAS SOPS 643657 HAS SOUS 154501 HAS SOUPS 152938 WITH SCORE 153590.779
AT ITER 7593 NEW BEST:: SOT 1372246 SOS 652558 HAS SOPS 643436 HAS SOUS 154259 HAS SOUPS 152696 WITH SCORE 153348.558
AT ITER 7597 NEW BEST:: SOT 1372214 SOS 652526 HAS SOPS 643404 HAS SOUS 154195 HAS SOUPS 152632 WITH SCORE 153284.526
AT ITER 7599 NEW BEST:: SOT 1372249 SOS 653045 HAS SOPS 643923 HAS SOUS 154190 HAS SOUPS 152627 WITH SCORE 153280.045
AT ITER 7625 NEW BEST:: SOT 1372240 SOS 653027 HAS SOPS 643905 HAS SOUS 154172 HAS SOUPS 152609 WITH SCORE 153262.027
AT ITER 7651 NEW BEST:: SOT 1372245 SOS 653099 HAS SOPS 643907 HAS SOUS 154168 HAS SOUPS 152605 WITH SCORE 153258.099
AT ITER 7669 NEW BEST:: SOT 1372223 SOS 653133 HAS SOPS 643941 HAS SOUS 154076 HAS SOUPS 152513 WITH SCORE 153166.133
AT ITER 7682 NEW BEST:: SOT 1372208 SOS 652994 HAS SOPS 643802 HAS SOUS 154068 HAS SOUPS 152505 WITH SCORE 153157.994
AT ITER 7693 NEW BEST:: SOT 1372521 SOS 649397 HAS SOPS 640205 HAS SOUS 153691 HAS SOUPS 152128 WITH SCORE 152777.397
AT ITER 7695 NEW BEST:: SOT 1372506 SOS 649367 HAS SOPS 640175 HAS SOUS 153661 HAS SOUPS 152098 WITH SCORE 152747.367
AT ITER 7731 NEW BEST:: SOT 1372506 SOS 649395 HAS SOPS 640203 HAS SOUS 153647 HAS SOUPS 152084 WITH SCORE 152733.395
AT ITER 7745 NEW BEST:: SOT 1372514 SOS 649509 HAS SOPS 640317 HAS SOUS 153590 HAS SOUPS 152027 WITH SCORE 152676.509
AT ITER 7765 NEW BEST:: SOT 1372525 SOS 649260 HAS SOPS 640068 HAS SOUS 153580 HAS SOUPS 152017 WITH SCORE 152666.26
AT ITER 7767 NEW BEST:: SOT 1372566 SOS 649284 HAS SOPS 640012 HAS SOUS 153499 HAS SOUPS 151936 WITH SCORE 152585.284
AT ITER 7779 NEW BEST:: SOT 1372491 SOS 649200 HAS SOPS 639928 HAS SOUS 153405 HAS SOUPS 151842 WITH SCORE 152491.2
AT ITER 7790 NEW BEST:: SOT 1372220 SOS 648929 HAS SOPS 639657 HAS SOUS 153148 HAS SOUPS 151585 WITH SCORE 152233.929
AT ITER 7818 NEW BEST:: SOT 1372215 SOS 648929 HAS SOPS 639657 HAS SOUS 153128 HAS SOUPS 151565 WITH SCORE 152213.929
AT ITER 7833 NEW BEST:: SOT 1372251 SOS 648965 HAS SOPS 639693 HAS SOUS 153127 HAS SOUPS 151564 WITH SCORE 152212.965
AT ITER 7864 NEW BEST:: SOT 1372215 SOS 648857 HAS SOPS 639585 HAS SOUS 153055 HAS SOUPS 151492 WITH SCORE 152140.857
AT ITER 7885 NEW BEST:: SOT 1372437 SOS 649004 HAS SOPS 639732 HAS SOUS 153012 HAS SOUPS 151449 WITH SCORE 152098.004
AT ITER 7886 NEW BEST:: SOT 1372406 SOS 648942 HAS SOPS 639670 HAS SOUS 152981 HAS SOUPS 151418 WITH SCORE 152066.942
AT ITER 7897 NEW BEST:: SOT 1372526 SOS 649028 HAS SOPS 639756 HAS SOUS 152897 HAS SOUPS 151334 WITH SCORE 151983.028
AT ITER 7904 NEW BEST:: SOT 1372668 SOS 685712 HAS SOPS 676440 HAS SOUS 152785 HAS SOUPS 151222 WITH SCORE 151907.712
AT ITER 7925 NEW BEST:: SOT 1372581 SOS 689339 HAS SOPS 680067 HAS SOUS 152772 HAS SOUPS 151209 WITH SCORE 151898.339
AT ITER 7951 NEW BEST:: SOT 1372549 SOS 689307 HAS SOPS 680028 HAS SOUS 152708 HAS SOUPS 151145 WITH SCORE 151834.307
AT ITER 7956 NEW BEST:: SOT 1372544 SOS 689275 HAS SOPS 679996 HAS SOUS 152698 HAS SOUPS 151135 WITH SCORE 151824.275
AT ITER 7998 NEW BEST:: SOT 1372415 SOS 689137 HAS SOPS 679858 HAS SOUS 152681 HAS SOUPS 151118 WITH SCORE 151807.137
AT ITER 7999 NEW BEST:: SOT 1372432 SOS 689413 HAS SOPS 680134 HAS SOUS 152604 HAS SOUPS 151041 WITH SCORE 151730.413
AT ITER 8036 NEW BEST:: SOT 1372260 SOS 689219 HAS SOPS 679940 HAS SOUS 152371 HAS SOUPS 150808 WITH SCORE 151497.219
AT ITER 8042 NEW BEST:: SOT 1372379 SOS 689436 HAS SOPS 680157 HAS SOUS 152314 HAS SOUPS 150751 WITH SCORE 151440.436
AT ITER 8046 NEW BEST:: SOT 1372304 SOS 689439 HAS SOPS 680160 HAS SOUS 152164 HAS SOUPS 150601 WITH SCORE 151290.439
AT ITER 8048 NEW BEST:: SOT 1372271 SOS 689366 HAS SOPS 680087 HAS SOUS 152158 HAS SOUPS 150595 WITH SCORE 151284.366
AT ITER 8049 NEW BEST:: SOT 1372432 SOS 697613 HAS SOPS 688334 HAS SOUS 151991 HAS SOUPS 150428 WITH SCORE 151125.613
AT ITER 8053 NEW BEST:: SOT 1372408 SOS 697446 HAS SOPS 688167 HAS SOUS 151943 HAS SOUPS 150380 WITH SCORE 151077.446
AT ITER 8054 NEW BEST:: SOT 1372409 SOS 697447 HAS SOPS 688167 HAS SOUS 151937 HAS SOUPS 150374 WITH SCORE 151071.447
AT ITER 8093 NEW BEST:: SOT 1372409 SOS 697414 HAS SOPS 688134 HAS SOUS 151894 HAS SOUPS 150331 WITH SCORE 151028.414
AT ITER 8135 NEW BEST:: SOT 1372391 SOS 697396 HAS SOPS 688116 HAS SOUS 151870 HAS SOUPS 150307 WITH SCORE 151004.396
AT ITER 8151 NEW BEST:: SOT 1372391 SOS 697379 HAS SOPS 688099 HAS SOUS 151870 HAS SOUPS 150307 WITH SCORE 151004.379
AT ITER 8157 NEW BEST:: SOT 1372391 SOS 697389 HAS SOPS 688109 HAS SOUS 151860 HAS SOUPS 150297 WITH SCORE 150994.389
AT ITER 8161 NEW BEST:: SOT 1372391 SOS 697415 HAS SOPS 688135 HAS SOUS 151834 HAS SOUPS 150271 WITH SCORE 150968.415
AT ITER 8171 NEW BEST:: SOT 1371271 SOS 696295 HAS SOPS 687015 HAS SOUS 151104 HAS SOUPS 149541 WITH SCORE 150237.295
AT ITER 8175 NEW BEST:: SOT 1371243 SOS 696267 HAS SOPS 686987 HAS SOUS 151100 HAS SOUPS 149537 WITH SCORE 150233.267
AT ITER 8188 NEW BEST:: SOT 1371185 SOS 696301 HAS SOPS 687021 HAS SOUS 150984 HAS SOUPS 149421 WITH SCORE 150117.301
AT ITER 8194 NEW BEST:: SOT 1371218 SOS 696389 HAS SOPS 687109 HAS SOUS 150946 HAS SOUPS 149383 WITH SCORE 150079.389
AT ITER 8255 NEW BEST:: SOT 1371202 SOS 696373 HAS SOPS 687085 HAS SOUS 150930 HAS SOUPS 149367 WITH SCORE 150063.373
AT ITER 8257 NEW BEST:: SOT 1371533 SOS 696258 HAS SOPS 686970 HAS SOUS 150815 HAS SOUPS 149252 WITH SCORE 149948.258
AT ITER 8297 NEW BEST:: SOT 1371533 SOS 696267 HAS SOPS 686979 HAS SOUS 150727 HAS SOUPS 149164 WITH SCORE 149860.267
AT ITER 8312 NEW BEST:: SOT 1371533 SOS 696258 HAS SOPS 686970 HAS SOUS 150727 HAS SOUPS 149164 WITH SCORE 149860.258
AT ITER 8338 NEW BEST:: SOT 1371517 SOS 696202 HAS SOPS 686914 HAS SOUS 150703 HAS SOUPS 149140 WITH SCORE 149836.202
AT ITER 8348 NEW BEST:: SOT 1371501 SOS 696208 HAS SOPS 686920 HAS SOUS 150671 HAS SOUPS 149108 WITH SCORE 149804.208
AT ITER 8353 NEW BEST:: SOT 1371567 SOS 696307 HAS SOPS 687019 HAS SOUS 150572 HAS SOUPS 149009 WITH SCORE 149705.307
AT ITER 8365 NEW BEST:: SOT 1371566 SOS 696306 HAS SOPS 687018 HAS SOUS 150570 HAS SOUPS 149007 WITH SCORE 149703.306
AT ITER 8381 NEW BEST:: SOT 1371542 SOS 696282 HAS SOPS 686982 HAS SOUS 150522 HAS SOUPS 148959 WITH SCORE 149655.282
AT ITER 8417 NEW BEST:: SOT 1371486 SOS 696226 HAS SOPS 686926 HAS SOUS 150486 HAS SOUPS 148923 WITH SCORE 149619.226
AT ITER 8419 NEW BEST:: SOT 1371301 SOS 695984 HAS SOPS 686684 HAS SOUS 150444 HAS SOUPS 148881 WITH SCORE 149576.984
AT ITER 8466 NEW BEST:: SOT 1371280 SOS 695960 HAS SOPS 686642 HAS SOUS 150397 HAS SOUPS 148834 WITH SCORE 149529.96
AT ITER 8484 NEW BEST:: SOT 1363907 SOS 688678 HAS SOPS 679256 HAS SOUS 149220 HAS SOUPS 147644 WITH SCORE 148332.678
AT ITER 8500 NEW BEST:: SOT 1362723 SOS 687494 HAS SOPS 678072 HAS SOUS 148963 HAS SOUPS 147387 WITH SCORE 148074.494
AT ITER 8503 NEW BEST:: SOT 1362777 SOS 687798 HAS SOPS 678346 HAS SOUS 148890 HAS SOUPS 147314 WITH SCORE 148001.798
AT ITER 8519 NEW BEST:: SOT 1362777 SOS 687765 HAS SOPS 678313 HAS SOUS 148890 HAS SOUPS 147314 WITH SCORE 148001.765
AT ITER 8521 NEW BEST:: SOT 1362675 SOS 687562 HAS SOPS 678110 HAS SOUS 148737 HAS SOUPS 147161 WITH SCORE 147848.562
AT ITER 8523 NEW BEST:: SOT 1362652 SOS 687516 HAS SOPS 678064 HAS SOUS 148691 HAS SOUPS 147115 WITH SCORE 147802.516
AT ITER 8576 NEW BEST:: SOT 1362528 SOS 687293 HAS SOPS 677841 HAS SOUS 148528 HAS SOUPS 146952 WITH SCORE 147639.293
AT ITER 8589 NEW BEST:: SOT 1362492 SOS 687233 HAS SOPS 677781 HAS SOUS 148474 HAS SOUPS 146898 WITH SCORE 147585.233
AT ITER 8600 NEW BEST:: SOT 1362403 SOS 687063 HAS SOPS 677611 HAS SOUS 148392 HAS SOUPS 146816 WITH SCORE 147503.063
AT ITER 8620 NEW BEST:: SOT 1362397 SOS 687057 HAS SOPS 677605 HAS SOUS 148373 HAS SOUPS 146797 WITH SCORE 147484.057
AT ITER 8636 NEW BEST:: SOT 1362366 SOS 686991 HAS SOPS 677539 HAS SOUS 148276 HAS SOUPS 146700 WITH SCORE 147386.991
AT ITER 8648 NEW BEST:: SOT 1362366 SOS 687128 HAS SOPS 677676 HAS SOUS 148241 HAS SOUPS 146665 WITH SCORE 147352.128
AT ITER 8662 NEW BEST:: SOT 1362347 SOS 687109 HAS SOPS 677657 HAS SOUS 148164 HAS SOUPS 146588 WITH SCORE 147275.109
AT ITER 8668 NEW BEST:: SOT 1362347 SOS 687370 HAS SOPS 677918 HAS SOUS 147930 HAS SOUPS 146354 WITH SCORE 147041.37
AT ITER 8695 NEW BEST:: SOT 1362322 SOS 687353 HAS SOPS 677907 HAS SOUS 147920 HAS SOUPS 146344 WITH SCORE 147031.353
AT ITER 8720 NEW BEST:: SOT 1362294 SOS 687278 HAS SOPS 677832 HAS SOUS 147864 HAS SOUPS 146288 WITH SCORE 146975.278
AT ITER 8722 NEW BEST:: SOT 1362305 SOS 687289 HAS SOPS 677843 HAS SOUS 147635 HAS SOUPS 146059 WITH SCORE 146746.289
AT ITER 8740 NEW BEST:: SOT 1362296 SOS 687271 HAS SOPS 677825 HAS SOUS 147617 HAS SOUPS 146041 WITH SCORE 146728.271
AT ITER 8742 NEW BEST:: SOT 1362240 SOS 687215 HAS SOPS 677769 HAS SOUS 147561 HAS SOUPS 145985 WITH SCORE 146672.215
AT ITER 8781 NEW BEST:: SOT 1362258 SOS 687238 HAS SOPS 677774 HAS SOUS 147548 HAS SOUPS 145972 WITH SCORE 146659.238
AT ITER 8801 NEW BEST:: SOT 1362258 SOS 687214 HAS SOPS 677750 HAS SOUS 147548 HAS SOUPS 145972 WITH SCORE 146659.214
AT ITER 8824 NEW BEST:: SOT 1362255 SOS 687214 HAS SOPS 677750 HAS SOUS 147545 HAS SOUPS 145969 WITH SCORE 146656.214
AT ITER 8831 NEW BEST:: SOT 1362246 SOS 686951 HAS SOPS 677487 HAS SOUS 147519 HAS SOUPS 145943 WITH SCORE 146629.951
AT ITER 8834 NEW BEST:: SOT 1362246 SOS 686947 HAS SOPS 677483 HAS SOUS 147491 HAS SOUPS 145915 WITH SCORE 146601.947
AT ITER 8888 NEW BEST:: SOT 1362308 SOS 687009 HAS SOPS 677545 HAS SOUS 147487 HAS SOUPS 145911 WITH SCORE 146598.009
AT ITER 8944 NEW BEST:: SOT 1362308 SOS 687008 HAS SOPS 677544 HAS SOUS 147486 HAS SOUPS 145910 WITH SCORE 146597.008
AT ITER 8963 NEW BEST:: SOT 1362308 SOS 686575 HAS SOPS 677111 HAS SOUS 147437 HAS SOUPS 145861 WITH SCORE 146547.575
AT ITER 8964 NEW BEST:: SOT 1362291 SOS 686558 HAS SOPS 677094 HAS SOUS 147413 HAS SOUPS 145837 WITH SCORE 146523.558
AT ITER 9002 NEW BEST:: SOT 1362267 SOS 686510 HAS SOPS 677046 HAS SOUS 147405 HAS SOUPS 145829 WITH SCORE 146515.51
AT ITER 9023 NEW BEST:: SOT 1362287 SOS 686530 HAS SOPS 677046 HAS SOUS 147365 HAS SOUPS 145789 WITH SCORE 146475.53
AT ITER 9035 NEW BEST:: SOT 1362339 SOS 686718 HAS SOPS 677234 HAS SOUS 147280 HAS SOUPS 145704 WITH SCORE 146390.718
AT ITER 9071 NEW BEST:: SOT 1362358 SOS 686715 HAS SOPS 677231 HAS SOUS 147277 HAS SOUPS 145701 WITH SCORE 146387.715
AT ITER 9084 NEW BEST:: SOT 1362342 SOS 686626 HAS SOPS 677142 HAS SOUS 147245 HAS SOUPS 145669 WITH SCORE 146355.626
AT ITER 9086 NEW BEST:: SOT 1362312 SOS 686596 HAS SOPS 677112 HAS SOUS 147221 HAS SOUPS 145645 WITH SCORE 146331.596
AT ITER 9087 NEW BEST:: SOT 1362321 SOS 686576 HAS SOPS 677092 HAS SOUS 147191 HAS SOUPS 145615 WITH SCORE 146301.576
AT ITER 9100 NEW BEST:: SOT 1362356 SOS 686618 HAS SOPS 677134 HAS SOUS 147149 HAS SOUPS 145573 WITH SCORE 146259.618
AT ITER 9101 NEW BEST:: SOT 1362406 SOS 686051 HAS SOPS 676567 HAS SOUS 147142 HAS SOUPS 145566 WITH SCORE 146252.051
AT ITER 9105 NEW BEST:: SOT 1362406 SOS 686139 HAS SOPS 676655 HAS SOUS 147134 HAS SOUPS 145558 WITH SCORE 146244.139
AT ITER 9117 NEW BEST:: SOT 1362443 SOS 686176 HAS SOPS 676692 HAS SOUS 147133 HAS SOUPS 145557 WITH SCORE 146243.176
AT ITER 9124 NEW BEST:: SOT 1362421 SOS 686220 HAS SOPS 676648 HAS SOUS 147045 HAS SOUPS 145469 WITH SCORE 146155.22
AT ITER 9137 NEW BEST:: SOT 1362363 SOS 686162 HAS SOPS 676590 HAS SOUS 146987 HAS SOUPS 145411 WITH SCORE 146097.162
AT ITER 9165 NEW BEST:: SOT 1362396 SOS 686228 HAS SOPS 676656 HAS SOUS 146918 HAS SOUPS 145342 WITH SCORE 146028.228
AT ITER 9191 NEW BEST:: SOT 1362396 SOS 686228 HAS SOPS 676661 HAS SOUS 146908 HAS SOUPS 145332 WITH SCORE 146018.228
AT ITER 9200 NEW BEST:: SOT 1362395 SOS 686226 HAS SOPS 676659 HAS SOUS 146906 HAS SOUPS 145330 WITH SCORE 146016.226
AT ITER 9216 NEW BEST:: SOT 1362379 SOS 686194 HAS SOPS 676627 HAS SOUS 146875 HAS SOUPS 145299 WITH SCORE 145985.194
AT ITER 9228 NEW BEST:: SOT 1362047 SOS 703462 HAS SOPS 693895 HAS SOUS 146768 HAS SOUPS 145192 WITH SCORE 145895.462
AT ITER 9233 NEW BEST:: SOT 1361954 SOS 703406 HAS SOPS 693839 HAS SOUS 146717 HAS SOUPS 145141 WITH SCORE 145844.406
AT ITER 9262 NEW BEST:: SOT 1362000 SOS 689812 HAS SOPS 680245 HAS SOUS 146570 HAS SOUPS 144994 WITH SCORE 145683.812
AT ITER 9280 NEW BEST:: SOT 1361980 SOS 689752 HAS SOPS 680165 HAS SOUS 146510 HAS SOUPS 144934 WITH SCORE 145623.752
AT ITER 9298 NEW BEST:: SOT 1361940 SOS 689712 HAS SOPS 680125 HAS SOUS 146508 HAS SOUPS 144932 WITH SCORE 145621.712
AT ITER 9335 NEW BEST:: SOT 1361932 SOS 689685 HAS SOPS 680098 HAS SOUS 146481 HAS SOUPS 144905 WITH SCORE 145594.685
AT ITER 9361 NEW BEST:: SOT 1361891 SOS 689912 HAS SOPS 680325 HAS SOUS 146399 HAS SOUPS 144823 WITH SCORE 145512.912
AT ITER 9375 NEW BEST:: SOT 1361799 SOS 689820 HAS SOPS 680233 HAS SOUS 146399 HAS SOUPS 144823 WITH SCORE 145512.82
AT ITER 9381 NEW BEST:: SOT 1361996 SOS 673154 HAS SOPS 663567 HAS SOUS 146279 HAS SOUPS 144703 WITH SCORE 145376.154
AT ITER 9393 NEW BEST:: SOT 1362062 SOS 673105 HAS SOPS 663518 HAS SOUS 146252 HAS SOUPS 144676 WITH SCORE 145349.105
AT ITER 9396 NEW BEST:: SOT 1362051 SOS 672473 HAS SOPS 662990 HAS SOUS 146204 HAS SOUPS 144641 WITH SCORE 145313.473
AT ITER 9427 NEW BEST:: SOT 1362051 SOS 672456 HAS SOPS 662973 HAS SOUS 146160 HAS SOUPS 144597 WITH SCORE 145269.456
AT ITER 9445 NEW BEST:: SOT 1362045 SOS 672450 HAS SOPS 662967 HAS SOUS 146148 HAS SOUPS 144585 WITH SCORE 145257.45
AT ITER 9448 NEW BEST:: SOT 1362045 SOS 635710 HAS SOPS 626227 HAS SOUS 146148 HAS SOUPS 144585 WITH SCORE 145220.71
AT ITER 9468 NEW BEST:: SOT 1362043 SOS 635708 HAS SOPS 626225 HAS SOUS 146144 HAS SOUPS 144581 WITH SCORE 145216.708
AT ITER 9471 NEW BEST:: SOT 1362015 SOS 635680 HAS SOPS 626210 HAS SOUS 146070 HAS SOUPS 144507 WITH SCORE 145142.68
AT ITER 9480 NEW BEST:: SOT 1361992 SOS 635657 HAS SOPS 626187 HAS SOUS 145997 HAS SOUPS 144434 WITH SCORE 145069.657
AT ITER 9496 NEW BEST:: SOT 1361992 SOS 635639 HAS SOPS 626169 HAS SOUS 145961 HAS SOUPS 144398 WITH SCORE 145033.639
AT ITER 9516 NEW BEST:: SOT 1361831 SOS 635554 HAS SOPS 626084 HAS SOUS 145791 HAS SOUPS 144228 WITH SCORE 144863.554
AT ITER 9520 NEW BEST:: SOT 1361827 SOS 636114 HAS SOPS 626644 HAS SOUS 145758 HAS SOUPS 144195 WITH SCORE 144831.114
AT ITER 9528 NEW BEST:: SOT 1361817 SOS 636102 HAS SOPS 626672 HAS SOUS 145744 HAS SOUPS 144189 WITH SCORE 144825.102
AT ITER 9558 NEW BEST:: SOT 1361670 SOS 635585 HAS SOPS 626155 HAS SOUS 145701 HAS SOUPS 144146 WITH SCORE 144781.585
AT ITER 9588 NEW BEST:: SOT 1361652 SOS 635567 HAS SOPS 626137 HAS SOUS 145666 HAS SOUPS 144111 WITH SCORE 144746.567
AT ITER 9600 NEW BEST:: SOT 1361652 SOS 617856 HAS SOPS 608426 HAS SOUS 145663 HAS SOUPS 144108 WITH SCORE 144725.856
AT ITER 9605 NEW BEST:: SOT 1361708 SOS 618024 HAS SOPS 608594 HAS SOUS 145607 HAS SOUPS 144052 WITH SCORE 144670.024
AT ITER 9620 NEW BEST:: SOT 1361689 SOS 618047 HAS SOPS 608617 HAS SOUS 145560 HAS SOUPS 144005 WITH SCORE 144623.047
AT ITER 9644 NEW BEST:: SOT 1361681 SOS 618023 HAS SOPS 608593 HAS SOUS 145544 HAS SOUPS 143989 WITH SCORE 144607.023
AT ITER 9710 NEW BEST:: SOT 1361649 SOS 617946 HAS SOPS 608516 HAS SOUS 145497 HAS SOUPS 143942 WITH SCORE 144559.946
AT ITER 9713 NEW BEST:: SOT 1361676 SOS 615113 HAS SOPS 605683 HAS SOUS 145499 HAS SOUPS 143944 WITH SCORE 144559.113
AT ITER 9745 NEW BEST:: SOT 1361650 SOS 615074 HAS SOPS 605644 HAS SOUS 145473 HAS SOUPS 143918 WITH SCORE 144533.074
AT ITER 9788 NEW BEST:: SOT 1361644 SOS 614115 HAS SOPS 604685 HAS SOUS 145434 HAS SOUPS 143879 WITH SCORE 144493.115
AT ITER 9790 NEW BEST:: SOT 1361625 SOS 614119 HAS SOPS 604689 HAS SOUS 145418 HAS SOUPS 143863 WITH SCORE 144477.119
AT ITER 9799 NEW BEST:: SOT 1361625 SOS 614143 HAS SOPS 604713 HAS SOUS 145406 HAS SOUPS 143851 WITH SCORE 144465.143
AT ITER 9848 NEW BEST:: SOT 1361683 SOS 614241 HAS SOPS 604811 HAS SOUS 145385 HAS SOUPS 143830 WITH SCORE 144444.241
AT ITER 9873 NEW BEST:: SOT 1361687 SOS 614245 HAS SOPS 604815 HAS SOUS 145353 HAS SOUPS 143798 WITH SCORE 144412.245
AT ITER 9874 NEW BEST:: SOT 1361687 SOS 614245 HAS SOPS 604815 HAS SOUS 145348 HAS SOUPS 143793 WITH SCORE 144407.245
AT ITER 9877 NEW BEST:: SOT 1361687 SOS 614215 HAS SOPS 604785 HAS SOUS 145318 HAS SOUPS 143763 WITH SCORE 144377.215
AT ITER 9931 NEW BEST:: SOT 1361696 SOS 614256 HAS SOPS 604826 HAS SOUS 145309 HAS SOUPS 143754 WITH SCORE 144368.256
AT ITER 9947 NEW BEST:: SOT 1361687 SOS 614238 HAS SOPS 604808 HAS SOUS 145291 HAS SOUPS 143736 WITH SCORE 144350.238
AT ITER 9976 NEW BEST:: SOT 1361664 SOS 614226 HAS SOPS 604796 HAS SOUS 145256 HAS SOUPS 143701 WITH SCORE 144315.226
AT ITER 9981 NEW BEST:: SOT 1361672 SOS 613757 HAS SOPS 604348 HAS SOUS 145237 HAS SOUPS 143682 WITH SCORE 144295.757
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10918992 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114940 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="PolyORBLF-COL-S04J04T08"
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 PolyORBLF-COL-S04J04T08, 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 r299-tall-167873952900408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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