Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354800480.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBLF-PT-S04J04T10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354800480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.5M
-rw-r--r-- 1 mcc users 18K Apr 12 05:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Apr 12 05:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 32K Apr 11 05:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 116K Apr 11 05:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 70K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 10 12:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 41K Apr 10 12:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 9 17:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 43K Apr 9 17:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.3K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 6.0M Mar 24 05:37 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 1589645121075

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J04T10
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 870 places, 5034 transitions, 34774 arcs.
AT ITER 0 NEW BEST:: SOT 2730706 SOS 1639160 HAS SOPS 1620123 HAS SOUS 514030 HAS SOUPS 513238 WITH SCORE 514877.16
AT ITER 9 NEW BEST:: SOT 2730427 SOS 1638885 HAS SOPS 1619848 HAS SOUS 513939 HAS SOUPS 513147 WITH SCORE 514785.885
AT ITER 10 NEW BEST:: SOT 2730378 SOS 1638836 HAS SOPS 1619897 HAS SOUS 513927 HAS SOUPS 513135 WITH SCORE 514773.836
AT ITER 13 NEW BEST:: SOT 2729498 SOS 1638101 HAS SOPS 1619162 HAS SOUS 513192 HAS SOUPS 512400 WITH SCORE 514038.101
AT ITER 14 NEW BEST:: SOT 2729216 SOS 1637638 HAS SOPS 1618699 HAS SOUS 512819 HAS SOUPS 512027 WITH SCORE 513664.638
AT ITER 21 NEW BEST:: SOT 2624264 SOS 1593392 HAS SOPS 1574453 HAS SOUS 497494 HAS SOUPS 496702 WITH SCORE 498295.392
AT ITER 30 NEW BEST:: SOT 2623720 SOS 1592950 HAS SOPS 1574011 HAS SOUS 497022 HAS SOUPS 496230 WITH SCORE 497822.95
AT ITER 33 NEW BEST:: SOT 2623017 SOS 1591947 HAS SOPS 1573008 HAS SOUS 496229 HAS SOUPS 495437 WITH SCORE 497028.947
AT ITER 41 NEW BEST:: SOT 2622866 SOS 1591845 HAS SOPS 1572906 HAS SOUS 496033 HAS SOUPS 495241 WITH SCORE 496832.845
AT ITER 42 NEW BEST:: SOT 2623386 SOS 1592849 HAS SOPS 1573910 HAS SOUS 495489 HAS SOUPS 494697 WITH SCORE 496289.849
AT ITER 45 NEW BEST:: SOT 2623386 SOS 1592829 HAS SOPS 1573890 HAS SOUS 495489 HAS SOUPS 494697 WITH SCORE 496289.829
AT ITER 47 NEW BEST:: SOT 2622993 SOS 1592593 HAS SOPS 1573654 HAS SOUS 495223 HAS SOUPS 494431 WITH SCORE 496023.593
AT ITER 50 NEW BEST:: SOT 2514895 SOS 1550313 HAS SOPS 1531374 HAS SOUS 478316 HAS SOUPS 477524 WITH SCORE 479074.313
AT ITER 53 NEW BEST:: SOT 2514838 SOS 1549971 HAS SOPS 1531032 HAS SOUS 478316 HAS SOUPS 477524 WITH SCORE 479073.971
AT ITER 58 NEW BEST:: SOT 2514828 SOS 1550002 HAS SOPS 1531063 HAS SOUS 478204 HAS SOUPS 477412 WITH SCORE 478962.002
AT ITER 63 NEW BEST:: SOT 2514477 SOS 1550277 HAS SOPS 1531338 HAS SOUS 478055 HAS SOUPS 477263 WITH SCORE 478813.277
AT ITER 76 NEW BEST:: SOT 2514212 SOS 1550012 HAS SOPS 1531073 HAS SOUS 476995 HAS SOUPS 476203 WITH SCORE 477753.012
AT ITER 80 NEW BEST:: SOT 2513750 SOS 1549550 HAS SOPS 1530611 HAS SOUS 476241 HAS SOUPS 475449 WITH SCORE 476998.55
AT ITER 89 NEW BEST:: SOT 2513750 SOS 1549576 HAS SOPS 1530637 HAS SOUS 475750 HAS SOUPS 474958 WITH SCORE 476507.576
AT ITER 92 NEW BEST:: SOT 2513717 SOS 1549554 HAS SOPS 1530615 HAS SOUS 475695 HAS SOUPS 474903 WITH SCORE 476452.554
AT ITER 112 NEW BEST:: SOT 2513591 SOS 1549302 HAS SOPS 1530363 HAS SOUS 475360 HAS SOUPS 474568 WITH SCORE 476117.302
AT ITER 120 NEW BEST:: SOT 2513161 SOS 1548543 HAS SOPS 1529604 HAS SOUS 474908 HAS SOUPS 474116 WITH SCORE 475664.543
AT ITER 127 NEW BEST:: SOT 2512603 SOS 1548093 HAS SOPS 1529154 HAS SOUS 474346 HAS SOUPS 473554 WITH SCORE 475102.093
AT ITER 132 NEW BEST:: SOT 2511647 SOS 1547322 HAS SOPS 1528383 HAS SOUS 472859 HAS SOUPS 472067 WITH SCORE 473614.322
AT ITER 149 NEW BEST:: SOT 2510919 SOS 1546624 HAS SOPS 1527685 HAS SOUS 471934 HAS SOUPS 471142 WITH SCORE 472688.624
AT ITER 162 NEW BEST:: SOT 2510855 SOS 1546528 HAS SOPS 1527589 HAS SOUS 471805 HAS SOUPS 471013 WITH SCORE 472559.528
AT ITER 164 NEW BEST:: SOT 2510780 SOS 1546453 HAS SOPS 1527514 HAS SOUS 471526 HAS SOUPS 470734 WITH SCORE 472280.453
AT ITER 184 NEW BEST:: SOT 2510552 SOS 1546376 HAS SOPS 1527437 HAS SOUS 471369 HAS SOUPS 470577 WITH SCORE 472123.376
AT ITER 191 NEW BEST:: SOT 2510189 SOS 1546041 HAS SOPS 1527102 HAS SOUS 470607 HAS SOUPS 469815 WITH SCORE 471361.041
AT ITER 192 NEW BEST:: SOT 2510139 SOS 1546382 HAS SOPS 1527762 HAS SOUS 469906 HAS SOUPS 469114 WITH SCORE 470660.382
AT ITER 194 NEW BEST:: SOT 2510139 SOS 1546382 HAS SOPS 1527870 HAS SOUS 469752 HAS SOUPS 468960 WITH SCORE 470506.382
AT ITER 199 NEW BEST:: SOT 2510053 SOS 1546474 HAS SOPS 1527981 HAS SOUS 469642 HAS SOUPS 468850 WITH SCORE 470396.474
AT ITER 201 NEW BEST:: SOT 2509877 SOS 1546298 HAS SOPS 1527805 HAS SOUS 469510 HAS SOUPS 468718 WITH SCORE 470264.298
AT ITER 207 NEW BEST:: SOT 2509589 SOS 1546441 HAS SOPS 1527767 HAS SOUS 469384 HAS SOUPS 468487 WITH SCORE 470033.441
AT ITER 211 NEW BEST:: SOT 2505521 SOS 1542373 HAS SOPS 1523699 HAS SOUS 468568 HAS SOUPS 467671 WITH SCORE 469213.373
AT ITER 214 NEW BEST:: SOT 2505482 SOS 1542295 HAS SOPS 1523621 HAS SOUS 468507 HAS SOUPS 467610 WITH SCORE 469152.295
AT ITER 221 NEW BEST:: SOT 2506027 SOS 1543292 HAS SOPS 1524618 HAS SOUS 468224 HAS SOUPS 467327 WITH SCORE 468870.292
AT ITER 235 NEW BEST:: SOT 2505427 SOS 1542923 HAS SOPS 1524249 HAS SOUS 467832 HAS SOUPS 466935 WITH SCORE 468477.923
AT ITER 243 NEW BEST:: SOT 2505204 SOS 1542700 HAS SOPS 1524176 HAS SOUS 467772 HAS SOUPS 466874 WITH SCORE 468416.7
AT ITER 248 NEW BEST:: SOT 2444510 SOS 1508611 HAS SOPS 1490087 HAS SOUS 458004 HAS SOUPS 457106 WITH SCORE 458614.611
AT ITER 249 NEW BEST:: SOT 2444256 SOS 1508398 HAS SOPS 1489874 HAS SOUS 457791 HAS SOUPS 456893 WITH SCORE 458401.398
AT ITER 257 NEW BEST:: SOT 2444266 SOS 1508408 HAS SOPS 1489874 HAS SOUS 457785 HAS SOUPS 456883 WITH SCORE 458391.408
AT ITER 259 NEW BEST:: SOT 2444270 SOS 1508612 HAS SOPS 1490076 HAS SOUS 457732 HAS SOUPS 456830 WITH SCORE 458338.612
AT ITER 261 NEW BEST:: SOT 2444270 SOS 1508515 HAS SOPS 1489979 HAS SOUS 457047 HAS SOUPS 456145 WITH SCORE 457653.515
AT ITER 263 NEW BEST:: SOT 2444195 SOS 1508455 HAS SOPS 1489919 HAS SOUS 456752 HAS SOUPS 455850 WITH SCORE 457358.455
AT ITER 267 NEW BEST:: SOT 2444330 SOS 1509872 HAS SOPS 1491336 HAS SOUS 456713 HAS SOUPS 455811 WITH SCORE 457320.872
AT ITER 275 NEW BEST:: SOT 2444330 SOS 1509152 HAS SOPS 1490616 HAS SOUS 456713 HAS SOUPS 455811 WITH SCORE 457320.152
AT ITER 286 NEW BEST:: SOT 2444049 SOS 1508680 HAS SOPS 1490144 HAS SOUS 456215 HAS SOUPS 455313 WITH SCORE 456821.68
AT ITER 290 NEW BEST:: SOT 2444039 SOS 1509016 HAS SOPS 1490735 HAS SOUS 455509 HAS SOUPS 454607 WITH SCORE 456116.016
AT ITER 311 NEW BEST:: SOT 2444025 SOS 1508992 HAS SOPS 1490821 HAS SOUS 455348 HAS SOUPS 454446 WITH SCORE 455954.992
AT ITER 329 NEW BEST:: SOT 2444086 SOS 1509053 HAS SOPS 1490760 HAS SOUS 455308 HAS SOUPS 454385 WITH SCORE 455894.053
AT ITER 331 NEW BEST:: SOT 2443053 SOS 1508068 HAS SOPS 1489775 HAS SOUS 454275 HAS SOUPS 453352 WITH SCORE 454860.068
AT ITER 334 NEW BEST:: SOT 2441840 SOS 1506855 HAS SOPS 1488562 HAS SOUS 453007 HAS SOUPS 452084 WITH SCORE 453590.855
AT ITER 335 NEW BEST:: SOT 2442382 SOS 1507697 HAS SOPS 1489404 HAS SOUS 452857 HAS SOUPS 451934 WITH SCORE 453441.697
AT ITER 341 NEW BEST:: SOT 2441918 SOS 1507348 HAS SOPS 1489055 HAS SOUS 452502 HAS SOUPS 451579 WITH SCORE 453086.348
AT ITER 343 NEW BEST:: SOT 2441953 SOS 1507328 HAS SOPS 1489035 HAS SOUS 452482 HAS SOUPS 451559 WITH SCORE 453066.328
AT ITER 351 NEW BEST:: SOT 2420834 SOS 1507549 HAS SOPS 1489256 HAS SOUS 451940 HAS SOUPS 451017 WITH SCORE 452524.549
AT ITER 352 NEW BEST:: SOT 2420548 SOS 1507263 HAS SOPS 1488970 HAS SOUS 450679 HAS SOUPS 449756 WITH SCORE 451263.263
AT ITER 356 NEW BEST:: SOT 2419864 SOS 1506763 HAS SOPS 1488470 HAS SOUS 449705 HAS SOUPS 448782 WITH SCORE 450288.763
AT ITER 366 NEW BEST:: SOT 2419766 SOS 1506567 HAS SOPS 1488274 HAS SOUS 449509 HAS SOUPS 448586 WITH SCORE 450092.567
AT ITER 367 NEW BEST:: SOT 2419789 SOS 1506552 HAS SOPS 1488259 HAS SOUS 449494 HAS SOUPS 448571 WITH SCORE 450077.552
AT ITER 375 NEW BEST:: SOT 2419751 SOS 1506532 HAS SOPS 1488239 HAS SOUS 449474 HAS SOUPS 448551 WITH SCORE 450057.532
AT ITER 377 NEW BEST:: SOT 2419685 SOS 1506466 HAS SOPS 1488173 HAS SOUS 449408 HAS SOUPS 448485 WITH SCORE 449991.466
AT ITER 384 NEW BEST:: SOT 2419196 SOS 1505981 HAS SOPS 1487688 HAS SOUS 448587 HAS SOUPS 447664 WITH SCORE 449169.981
AT ITER 388 NEW BEST:: SOT 2419196 SOS 1505951 HAS SOPS 1487658 HAS SOUS 448587 HAS SOUPS 447664 WITH SCORE 449169.951
AT ITER 393 NEW BEST:: SOT 2419136 SOS 1505925 HAS SOPS 1487632 HAS SOUS 448243 HAS SOUPS 447320 WITH SCORE 448825.925
AT ITER 398 NEW BEST:: SOT 2418647 SOS 1505192 HAS SOPS 1486899 HAS SOUS 447712 HAS SOUPS 446789 WITH SCORE 448294.192
AT ITER 399 NEW BEST:: SOT 2418608 SOS 1505176 HAS SOPS 1486883 HAS SOUS 447696 HAS SOUPS 446773 WITH SCORE 448278.176
AT ITER 400 NEW BEST:: SOT 2418411 SOS 1504985 HAS SOPS 1486692 HAS SOUS 446934 HAS SOUPS 446011 WITH SCORE 447515.985
AT ITER 409 NEW BEST:: SOT 2418140 SOS 1504731 HAS SOPS 1486438 HAS SOUS 445835 HAS SOUPS 444912 WITH SCORE 446416.731
AT ITER 420 NEW BEST:: SOT 2418140 SOS 1504731 HAS SOPS 1486438 HAS SOUS 445818 HAS SOUPS 444895 WITH SCORE 446399.731
AT ITER 430 NEW BEST:: SOT 2418127 SOS 1504692 HAS SOPS 1486399 HAS SOUS 445805 HAS SOUPS 444882 WITH SCORE 446386.692
AT ITER 443 NEW BEST:: SOT 2417554 SOS 1509330 HAS SOPS 1491037 HAS SOUS 445755 HAS SOUPS 444832 WITH SCORE 446341.33
AT ITER 446 NEW BEST:: SOT 2417546 SOS 1509322 HAS SOPS 1491029 HAS SOUS 445747 HAS SOUPS 444824 WITH SCORE 446333.322
AT ITER 449 NEW BEST:: SOT 2417296 SOS 1508822 HAS SOPS 1490529 HAS SOUS 445247 HAS SOUPS 444324 WITH SCORE 445832.822
AT ITER 450 NEW BEST:: SOT 2417083 SOS 1508625 HAS SOPS 1490332 HAS SOUS 443628 HAS SOUPS 442705 WITH SCORE 444213.625
AT ITER 458 NEW BEST:: SOT 2422171 SOS 1517843 HAS SOPS 1499561 HAS SOUS 442983 HAS SOUPS 442060 WITH SCORE 443577.843
AT ITER 478 NEW BEST:: SOT 2422107 SOS 1517779 HAS SOPS 1499464 HAS SOUS 442954 HAS SOUPS 442031 WITH SCORE 443548.779
AT ITER 481 NEW BEST:: SOT 2421957 SOS 1517942 HAS SOPS 1499898 HAS SOUS 442733 HAS SOUPS 441810 WITH SCORE 443327.942
AT ITER 485 NEW BEST:: SOT 2421603 SOS 1517706 HAS SOPS 1499662 HAS SOUS 442230 HAS SOUPS 441307 WITH SCORE 442824.706
AT ITER 503 NEW BEST:: SOT 2421572 SOS 1517704 HAS SOPS 1499660 HAS SOUS 441947 HAS SOUPS 441024 WITH SCORE 442541.704
AT ITER 520 NEW BEST:: SOT 2421529 SOS 1517618 HAS SOPS 1499574 HAS SOUS 441861 HAS SOUPS 440938 WITH SCORE 442455.618
AT ITER 531 NEW BEST:: SOT 2421067 SOS 1512135 HAS SOPS 1494091 HAS SOUS 441357 HAS SOUPS 440434 WITH SCORE 441946.135
AT ITER 532 NEW BEST:: SOT 2421067 SOS 1512135 HAS SOPS 1494197 HAS SOUS 441227 HAS SOUPS 440304 WITH SCORE 441816.135
AT ITER 533 NEW BEST:: SOT 2421068 SOS 1512136 HAS SOPS 1494197 HAS SOUS 441226 HAS SOUPS 440303 WITH SCORE 441815.136
AT ITER 535 NEW BEST:: SOT 2421109 SOS 1512218 HAS SOPS 1494279 HAS SOUS 441216 HAS SOUPS 440293 WITH SCORE 441805.218
AT ITER 536 NEW BEST:: SOT 2420749 SOS 1511768 HAS SOPS 1493829 HAS SOUS 440794 HAS SOUPS 439871 WITH SCORE 441382.768
AT ITER 541 NEW BEST:: SOT 2424651 SOS 1556277 HAS SOPS 1502917 HAS SOUS 439935 HAS SOUPS 438703 WITH SCORE 440259.277
AT ITER 549 NEW BEST:: SOT 2422761 SOS 1554639 HAS SOPS 1501279 HAS SOUS 439708 HAS SOUPS 438476 WITH SCORE 440030.639
AT ITER 550 NEW BEST:: SOT 2422016 SOS 1554066 HAS SOPS 1500706 HAS SOUS 438550 HAS SOUPS 437318 WITH SCORE 438872.066
AT ITER 560 NEW BEST:: SOT 2422156 SOS 1554206 HAS SOPS 1500611 HAS SOUS 438526 HAS SOUPS 437291 WITH SCORE 438845.206
AT ITER 561 NEW BEST:: SOT 2421852 SOS 1553929 HAS SOPS 1500334 HAS SOUS 438075 HAS SOUPS 436840 WITH SCORE 438393.929
AT ITER 573 NEW BEST:: SOT 2421837 SOS 1553914 HAS SOPS 1500319 HAS SOUS 438060 HAS SOUPS 436825 WITH SCORE 438378.914
AT ITER 587 NEW BEST:: SOT 2421752 SOS 1553853 HAS SOPS 1500258 HAS SOUS 437999 HAS SOUPS 436764 WITH SCORE 438317.853
AT ITER 592 NEW BEST:: SOT 2422009 SOS 1554287 HAS SOPS 1501226 HAS SOUS 437800 HAS SOUPS 436565 WITH SCORE 438119.287
AT ITER 594 NEW BEST:: SOT 2422009 SOS 1554287 HAS SOPS 1501224 HAS SOUS 437800 HAS SOUPS 436563 WITH SCORE 438117.287
AT ITER 599 NEW BEST:: SOT 2421872 SOS 1554013 HAS SOPS 1501236 HAS SOUS 437730 HAS SOUPS 436493 WITH SCORE 438047.013
AT ITER 603 NEW BEST:: SOT 2421665 SOS 1554013 HAS SOPS 1501226 HAS SOUS 437609 HAS SOUPS 436364 WITH SCORE 437918.013
AT ITER 609 NEW BEST:: SOT 2421710 SOS 1554048 HAS SOPS 1501261 HAS SOUS 437554 HAS SOUPS 436309 WITH SCORE 437863.048
AT ITER 611 NEW BEST:: SOT 2421654 SOS 1554031 HAS SOPS 1501244 HAS SOUS 437542 HAS SOUPS 436297 WITH SCORE 437851.031
AT ITER 612 NEW BEST:: SOT 2421981 SOS 1554598 HAS SOPS 1501811 HAS SOUS 435646 HAS SOUPS 434401 WITH SCORE 435955.598
AT ITER 625 NEW BEST:: SOT 2421890 SOS 1553838 HAS SOPS 1501051 HAS SOUS 435394 HAS SOUPS 434149 WITH SCORE 435702.838
AT ITER 628 NEW BEST:: SOT 2401232 SOS 1536108 HAS SOPS 1483321 HAS SOUS 434399 HAS SOUPS 433154 WITH SCORE 434690.108
AT ITER 636 NEW BEST:: SOT 2401295 SOS 1536171 HAS SOPS 1483384 HAS SOUS 434202 HAS SOUPS 432957 WITH SCORE 434493.171
AT ITER 647 NEW BEST:: SOT 2402151 SOS 1537111 HAS SOPS 1484324 HAS SOUS 434134 HAS SOUPS 432889 WITH SCORE 434426.111
AT ITER 648 NEW BEST:: SOT 2402111 SOS 1537071 HAS SOPS 1484158 HAS SOUS 434008 HAS SOUPS 432763 WITH SCORE 434300.071
AT ITER 659 NEW BEST:: SOT 2402112 SOS 1537029 HAS SOPS 1484116 HAS SOUS 433966 HAS SOUPS 432721 WITH SCORE 434258.029
AT ITER 663 NEW BEST:: SOT 2402320 SOS 1537498 HAS SOPS 1484585 HAS SOUS 433202 HAS SOUPS 431957 WITH SCORE 433494.498
AT ITER 664 NEW BEST:: SOT 2401977 SOS 1537213 HAS SOPS 1484300 HAS SOUS 432962 HAS SOUPS 431717 WITH SCORE 433254.213
AT ITER 666 NEW BEST:: SOT 2401964 SOS 1537200 HAS SOPS 1484287 HAS SOUS 432949 HAS SOUPS 431704 WITH SCORE 433241.2
AT ITER 669 NEW BEST:: SOT 2399465 SOS 1534704 HAS SOPS 1481791 HAS SOUS 432259 HAS SOUPS 431014 WITH SCORE 432548.704
AT ITER 677 NEW BEST:: SOT 2399295 SOS 1534628 HAS SOPS 1481715 HAS SOUS 428537 HAS SOUPS 427292 WITH SCORE 428826.628
AT ITER 680 NEW BEST:: SOT 2398899 SOS 1534405 HAS SOPS 1481492 HAS SOUS 428324 HAS SOUPS 427079 WITH SCORE 428613.405
AT ITER 688 NEW BEST:: SOT 2398605 SOS 1534224 HAS SOPS 1481311 HAS SOUS 428139 HAS SOUPS 426894 WITH SCORE 428428.224
AT ITER 695 NEW BEST:: SOT 2398472 SOS 1534091 HAS SOPS 1481178 HAS SOUS 427163 HAS SOUPS 425918 WITH SCORE 427452.091
AT ITER 697 NEW BEST:: SOT 2398446 SOS 1534078 HAS SOPS 1481165 HAS SOUS 426656 HAS SOUPS 425411 WITH SCORE 426945.078
AT ITER 698 NEW BEST:: SOT 2398446 SOS 1534058 HAS SOPS 1481145 HAS SOUS 426614 HAS SOUPS 425369 WITH SCORE 426903.058
AT ITER 706 NEW BEST:: SOT 2398442 SOS 1534605 HAS SOPS 1481692 HAS SOUS 426533 HAS SOUPS 425288 WITH SCORE 426822.605
AT ITER 709 NEW BEST:: SOT 2398019 SOS 1534324 HAS SOPS 1481411 HAS SOUS 426239 HAS SOUPS 424994 WITH SCORE 426528.324
AT ITER 718 NEW BEST:: SOT 2398041 SOS 1534297 HAS SOPS 1481384 HAS SOUS 426212 HAS SOUPS 424967 WITH SCORE 426501.297
AT ITER 744 NEW BEST:: SOT 2397935 SOS 1534169 HAS SOPS 1481256 HAS SOUS 426088 HAS SOUPS 424843 WITH SCORE 426377.169
AT ITER 745 NEW BEST:: SOT 2397676 SOS 1534178 HAS SOPS 1481265 HAS SOUS 425923 HAS SOUPS 424678 WITH SCORE 426212.178
AT ITER 752 NEW BEST:: SOT 2398655 SOS 1535368 HAS SOPS 1482455 HAS SOUS 424989 HAS SOUPS 423744 WITH SCORE 425279.368
AT ITER 777 NEW BEST:: SOT 2400289 SOS 1537036 HAS SOPS 1484123 HAS SOUS 424779 HAS SOUPS 423534 WITH SCORE 425071.036
AT ITER 782 NEW BEST:: SOT 2381779 SOS 1522039 HAS SOPS 1475497 HAS SOUS 408540 HAS SOUPS 407513 WITH SCORE 409035.039
AT ITER 785 NEW BEST:: SOT 2381730 SOS 1521990 HAS SOPS 1475448 HAS SOUS 408426 HAS SOUPS 407399 WITH SCORE 408920.99
AT ITER 787 NEW BEST:: SOT 2381696 SOS 1521956 HAS SOPS 1475414 HAS SOUS 408392 HAS SOUPS 407365 WITH SCORE 408886.956
AT ITER 813 NEW BEST:: SOT 2381483 SOS 1521655 HAS SOPS 1475113 HAS SOUS 408167 HAS SOUPS 407140 WITH SCORE 408661.655
AT ITER 817 NEW BEST:: SOT 2381198 SOS 1517941 HAS SOPS 1471399 HAS SOUS 407568 HAS SOUPS 406541 WITH SCORE 408058.941
AT ITER 820 NEW BEST:: SOT 2375195 SOS 1531859 HAS SOPS 1481185 HAS SOUS 402414 HAS SOUPS 400886 WITH SCORE 402417.859
AT ITER 821 NEW BEST:: SOT 2373048 SOS 1529712 HAS SOPS 1479038 HAS SOUS 400251 HAS SOUPS 398723 WITH SCORE 400252.712
AT ITER 827 NEW BEST:: SOT 2373036 SOS 1529700 HAS SOPS 1479026 HAS SOUS 399509 HAS SOUPS 397981 WITH SCORE 399510.7
AT ITER 834 NEW BEST:: SOT 2372969 SOS 1530481 HAS SOPS 1479829 HAS SOUS 399456 HAS SOUPS 397932 WITH SCORE 399462.481
AT ITER 842 NEW BEST:: SOT 2372888 SOS 1530369 HAS SOPS 1479717 HAS SOUS 399387 HAS SOUPS 397863 WITH SCORE 399393.369
AT ITER 844 NEW BEST:: SOT 2372988 SOS 1530450 HAS SOPS 1479798 HAS SOUS 399378 HAS SOUPS 397854 WITH SCORE 399384.45
AT ITER 850 NEW BEST:: SOT 2372615 SOS 1530182 HAS SOPS 1479530 HAS SOUS 399081 HAS SOUPS 397557 WITH SCORE 399087.182
AT ITER 854 NEW BEST:: SOT 2372126 SOS 1529695 HAS SOPS 1479043 HAS SOUS 398480 HAS SOUPS 396956 WITH SCORE 398485.695
AT ITER 856 NEW BEST:: SOT 2372080 SOS 1529649 HAS SOPS 1478997 HAS SOUS 398434 HAS SOUPS 396910 WITH SCORE 398439.649
AT ITER 857 NEW BEST:: SOT 2267711 SOS 1430665 HAS SOPS 1380013 HAS SOUS 378313 HAS SOUPS 376789 WITH SCORE 378219.665
AT ITER 866 NEW BEST:: SOT 2267711 SOS 1430505 HAS SOPS 1379853 HAS SOUS 378183 HAS SOUPS 376659 WITH SCORE 378089.505
AT ITER 871 NEW BEST:: SOT 2267743 SOS 1430501 HAS SOPS 1379849 HAS SOUS 378179 HAS SOUPS 376655 WITH SCORE 378085.501
AT ITER 876 NEW BEST:: SOT 2267705 SOS 1430698 HAS SOPS 1380046 HAS SOUS 378021 HAS SOUPS 376497 WITH SCORE 377927.698
AT ITER 880 NEW BEST:: SOT 2267594 SOS 1430557 HAS SOPS 1379905 HAS SOUS 377894 HAS SOUPS 376370 WITH SCORE 377800.557
AT ITER 884 NEW BEST:: SOT 2267554 SOS 1430517 HAS SOPS 1379921 HAS SOUS 377790 HAS SOUPS 376266 WITH SCORE 377696.517
AT ITER 885 NEW BEST:: SOT 2267228 SOS 1430151 HAS SOPS 1379555 HAS SOUS 377620 HAS SOUPS 376096 WITH SCORE 377526.151
AT ITER 886 NEW BEST:: SOT 2267159 SOS 1430193 HAS SOPS 1379595 HAS SOUS 377482 HAS SOUPS 375958 WITH SCORE 377388.193
AT ITER 897 NEW BEST:: SOT 2267132 SOS 1430166 HAS SOPS 1379568 HAS SOUS 377455 HAS SOUPS 375931 WITH SCORE 377361.166
AT ITER 899 NEW BEST:: SOT 2267126 SOS 1430160 HAS SOPS 1379565 HAS SOUS 377453 HAS SOUPS 375929 WITH SCORE 377359.16
AT ITER 901 NEW BEST:: SOT 2267081 SOS 1430105 HAS SOPS 1379510 HAS SOUS 377379 HAS SOUPS 375855 WITH SCORE 377285.105
AT ITER 924 NEW BEST:: SOT 2267069 SOS 1430093 HAS SOPS 1379498 HAS SOUS 377367 HAS SOUPS 375843 WITH SCORE 377273.093
AT ITER 926 NEW BEST:: SOT 2267053 SOS 1430077 HAS SOPS 1379460 HAS SOUS 377335 HAS SOUPS 375811 WITH SCORE 377241.077
AT ITER 948 NEW BEST:: SOT 2266830 SOS 1429646 HAS SOPS 1378925 HAS SOUS 376958 HAS SOUPS 375434 WITH SCORE 376863.646
AT ITER 949 NEW BEST:: SOT 2266973 SOS 1429703 HAS SOPS 1379585 HAS SOUS 376564 HAS SOUPS 375040 WITH SCORE 376469.703
AT ITER 957 NEW BEST:: SOT 2266896 SOS 1429626 HAS SOPS 1379468 HAS SOUS 376375 HAS SOUPS 374851 WITH SCORE 376280.626
AT ITER 972 NEW BEST:: SOT 2266839 SOS 1427869 HAS SOPS 1377961 HAS SOUS 376336 HAS SOUPS 374837 WITH SCORE 376264.869
AT ITER 978 NEW BEST:: SOT 2266564 SOS 1427470 HAS SOPS 1377562 HAS SOUS 375937 HAS SOUPS 374438 WITH SCORE 375865.47
AT ITER 979 NEW BEST:: SOT 2266569 SOS 1427297 HAS SOPS 1377389 HAS SOUS 375764 HAS SOUPS 374265 WITH SCORE 375692.297
AT ITER 980 NEW BEST:: SOT 2265189 SOS 1425544 HAS SOPS 1375636 HAS SOUS 374111 HAS SOUPS 372612 WITH SCORE 374037.544
AT ITER 987 NEW BEST:: SOT 2265186 SOS 1425541 HAS SOPS 1375633 HAS SOUS 374108 HAS SOUPS 372609 WITH SCORE 374034.541
AT ITER 993 NEW BEST:: SOT 2252676 SOS 1413068 HAS SOPS 1363160 HAS SOUS 371662 HAS SOUPS 370163 WITH SCORE 371576.068
AT ITER 999 NEW BEST:: SOT 2252522 SOS 1412828 HAS SOPS 1363368 HAS SOUS 371628 HAS SOUPS 370129 WITH SCORE 371541.828
AT ITER 1016 NEW BEST:: SOT 2251642 SOS 1412015 HAS SOPS 1362555 HAS SOUS 370815 HAS SOUPS 369316 WITH SCORE 370728.015
AT ITER 1017 NEW BEST:: SOT 2252625 SOS 1413182 HAS SOPS 1363722 HAS SOUS 370636 HAS SOUPS 369137 WITH SCORE 370550.182
AT ITER 1025 NEW BEST:: SOT 2257338 SOS 1414780 HAS SOPS 1365320 HAS SOUS 369241 HAS SOUPS 367742 WITH SCORE 369156.78
AT ITER 1029 NEW BEST:: SOT 2257323 SOS 1414705 HAS SOPS 1365245 HAS SOUS 369226 HAS SOUPS 367727 WITH SCORE 369141.705
AT ITER 1035 NEW BEST:: SOT 2257323 SOS 1361312 HAS SOPS 1311852 HAS SOUS 369099 HAS SOUPS 367600 WITH SCORE 368961.312
AT ITER 1039 NEW BEST:: SOT 2257323 SOS 1361399 HAS SOPS 1311939 HAS SOUS 369041 HAS SOUPS 367542 WITH SCORE 368903.399
AT ITER 1045 NEW BEST:: SOT 2257654 SOS 1362150 HAS SOPS 1312690 HAS SOUS 368968 HAS SOUPS 367469 WITH SCORE 368831.15
AT ITER 1054 NEW BEST:: SOT 2257444 SOS 1361849 HAS SOPS 1312389 HAS SOUS 368758 HAS SOUPS 367259 WITH SCORE 368620.849
AT ITER 1076 NEW BEST:: SOT 2257341 SOS 1361670 HAS SOPS 1312210 HAS SOUS 368633 HAS SOUPS 367134 WITH SCORE 368495.67
AT ITER 1079 NEW BEST:: SOT 2257981 SOS 1362152 HAS SOPS 1312692 HAS SOUS 368101 HAS SOUPS 366602 WITH SCORE 367964.152
AT ITER 1092 NEW BEST:: SOT 2257951 SOS 1362122 HAS SOPS 1312662 HAS SOUS 368031 HAS SOUPS 366532 WITH SCORE 367894.122
AT ITER 1098 NEW BEST:: SOT 2257525 SOS 1361840 HAS SOPS 1312380 HAS SOUS 367569 HAS SOUPS 366070 WITH SCORE 367431.84
AT ITER 1109 NEW BEST:: SOT 2257316 SOS 1361711 HAS SOPS 1312251 HAS SOUS 367440 HAS SOUPS 365941 WITH SCORE 367302.711
AT ITER 1113 NEW BEST:: SOT 2257200 SOS 1361513 HAS SOPS 1312095 HAS SOUS 367372 HAS SOUPS 365873 WITH SCORE 367234.513
AT ITER 1114 NEW BEST:: SOT 2257148 SOS 1361474 HAS SOPS 1312056 HAS SOUS 367323 HAS SOUPS 365824 WITH SCORE 367185.474
AT ITER 1134 NEW BEST:: SOT 2257099 SOS 1361425 HAS SOPS 1312007 HAS SOUS 367225 HAS SOUPS 365726 WITH SCORE 367087.425
AT ITER 1144 NEW BEST:: SOT 2257183 SOS 1361509 HAS SOPS 1312091 HAS SOUS 367185 HAS SOUPS 365686 WITH SCORE 367047.509
AT ITER 1152 NEW BEST:: SOT 2250471 SOS 1354693 HAS SOPS 1305171 HAS SOUS 365443 HAS SOUPS 363944 WITH SCORE 365298.693
AT ITER 1159 NEW BEST:: SOT 2250369 SOS 1354591 HAS SOPS 1305069 HAS SOUS 365239 HAS SOUPS 363740 WITH SCORE 365094.591
AT ITER 1166 NEW BEST:: SOT 2250342 SOS 1353334 HAS SOPS 1304865 HAS SOUS 365203 HAS SOUPS 363713 WITH SCORE 365066.334
AT ITER 1185 NEW BEST:: SOT 2250235 SOS 1353227 HAS SOPS 1304718 HAS SOUS 364936 HAS SOUPS 363446 WITH SCORE 364799.227
AT ITER 1188 NEW BEST:: SOT 2214336 SOS 1317340 HAS SOPS 1268831 HAS SOUS 357759 HAS SOUPS 356269 WITH SCORE 357586.34
AT ITER 1190 NEW BEST:: SOT 2186564 SOS 1289650 HAS SOPS 1241141 HAS SOUS 352175 HAS SOUPS 350685 WITH SCORE 351974.65
AT ITER 1205 NEW BEST:: SOT 2186252 SOS 1289140 HAS SOPS 1240750 HAS SOUS 352007 HAS SOUPS 350517 WITH SCORE 351806.14
AT ITER 1210 NEW BEST:: SOT 2186273 SOS 1289242 HAS SOPS 1240852 HAS SOUS 351851 HAS SOUPS 350361 WITH SCORE 351650.242
AT ITER 1211 NEW BEST:: SOT 2186075 SOS 1288725 HAS SOPS 1240335 HAS SOUS 351391 HAS SOUPS 349901 WITH SCORE 351189.725
AT ITER 1237 NEW BEST:: SOT 2185625 SOS 1288275 HAS SOPS 1239885 HAS SOUS 350941 HAS SOUPS 349451 WITH SCORE 350739.275
AT ITER 1250 NEW BEST:: SOT 2185625 SOS 1288275 HAS SOPS 1239885 HAS SOUS 350936 HAS SOUPS 349446 WITH SCORE 350734.275
AT ITER 1256 NEW BEST:: SOT 2166585 SOS 1269291 HAS SOPS 1220901 HAS SOUS 347128 HAS SOUPS 345638 WITH SCORE 346907.291
AT ITER 1279 NEW BEST:: SOT 2166579 SOS 1269285 HAS SOPS 1220893 HAS SOUS 347116 HAS SOUPS 345626 WITH SCORE 346895.285
AT ITER 1280 NEW BEST:: SOT 2166503 SOS 1269209 HAS SOPS 1220817 HAS SOUS 347078 HAS SOUPS 345588 WITH SCORE 346857.209
AT ITER 1284 NEW BEST:: SOT 2166500 SOS 1269206 HAS SOPS 1220814 HAS SOUS 347075 HAS SOUPS 345585 WITH SCORE 346854.206
AT ITER 1285 NEW BEST:: SOT 2166487 SOS 1269193 HAS SOPS 1220801 HAS SOUS 347041 HAS SOUPS 345551 WITH SCORE 346820.193
AT ITER 1303 NEW BEST:: SOT 2166463 SOS 1269073 HAS SOPS 1220681 HAS SOUS 347017 HAS SOUPS 345527 WITH SCORE 346796.073
AT ITER 1331 NEW BEST:: SOT 2166463 SOS 1261301 HAS SOPS 1212909 HAS SOUS 346950 HAS SOUPS 345460 WITH SCORE 346721.301
AT ITER 1338 NEW BEST:: SOT 2166463 SOS 1232196 HAS SOPS 1183804 HAS SOUS 345892 HAS SOUPS 344402 WITH SCORE 345634.196
AT ITER 1339 NEW BEST:: SOT 2166451 SOS 1232184 HAS SOPS 1183792 HAS SOUS 345868 HAS SOUPS 344378 WITH SCORE 345610.184
AT ITER 1342 NEW BEST:: SOT 2174592 SOS 1244355 HAS SOPS 1195978 HAS SOUS 345319 HAS SOUPS 343829 WITH SCORE 345073.355
AT ITER 1358 NEW BEST:: SOT 2174515 SOS 1245104 HAS SOPS 1196744 HAS SOUS 345172 HAS SOUPS 343682 WITH SCORE 344927.104
AT ITER 1362 NEW BEST:: SOT 2173950 SOS 1244712 HAS SOPS 1196352 HAS SOUS 344937 HAS SOUPS 343447 WITH SCORE 344691.712
AT ITER 1363 NEW BEST:: SOT 2173415 SOS 1244120 HAS SOPS 1195760 HAS SOUS 344382 HAS SOUPS 342892 WITH SCORE 344136.12
AT ITER 1365 NEW BEST:: SOT 2173851 SOS 1244764 HAS SOPS 1196404 HAS SOUS 344341 HAS SOUPS 342851 WITH SCORE 344095.764
AT ITER 1373 NEW BEST:: SOT 2173402 SOS 1244474 HAS SOPS 1196114 HAS SOUS 344187 HAS SOUPS 342697 WITH SCORE 343941.474
AT ITER 1391 NEW BEST:: SOT 2173362 SOS 1244434 HAS SOPS 1196074 HAS SOUS 344075 HAS SOUPS 342585 WITH SCORE 343829.434
AT ITER 1394 NEW BEST:: SOT 2173067 SOS 1244206 HAS SOPS 1195846 HAS SOUS 343921 HAS SOUPS 342431 WITH SCORE 343675.206
AT ITER 1410 NEW BEST:: SOT 2160185 SOS 1231286 HAS SOPS 1182888 HAS SOUS 341299 HAS SOUPS 339809 WITH SCORE 341040.286
AT ITER 1422 NEW BEST:: SOT 2160179 SOS 1231280 HAS SOPS 1182882 HAS SOUS 341293 HAS SOUPS 339803 WITH SCORE 341034.28
AT ITER 1428 NEW BEST:: SOT 2160120 SOS 1231903 HAS SOPS 1183523 HAS SOUS 341198 HAS SOUPS 339710 WITH SCORE 340941.903
AT ITER 1437 NEW BEST:: SOT 2142300 SOS 1214137 HAS SOPS 1165757 HAS SOUS 338066 HAS SOUPS 336578 WITH SCORE 337792.137
AT ITER 1440 NEW BEST:: SOT 2142300 SOS 1212293 HAS SOPS 1163913 HAS SOUS 338066 HAS SOUPS 336578 WITH SCORE 337790.293
AT ITER 1443 NEW BEST:: SOT 2142070 SOS 1212111 HAS SOPS 1163731 HAS SOUS 337976 HAS SOUPS 336488 WITH SCORE 337700.111
AT ITER 1452 NEW BEST:: SOT 2141875 SOS 1211916 HAS SOPS 1163536 HAS SOUS 337766 HAS SOUPS 336278 WITH SCORE 337489.916
AT ITER 1454 NEW BEST:: SOT 2141719 SOS 1211656 HAS SOPS 1163276 HAS SOUS 337454 HAS SOUPS 335966 WITH SCORE 337177.656
AT ITER 1457 NEW BEST:: SOT 2141658 SOS 1211367 HAS SOPS 1162987 HAS SOUS 337332 HAS SOUPS 335844 WITH SCORE 337055.367
AT ITER 1463 NEW BEST:: SOT 2141698 SOS 1211407 HAS SOPS 1163027 HAS SOUS 337279 HAS SOUPS 335791 WITH SCORE 337002.407
AT ITER 1465 NEW BEST:: SOT 2141820 SOS 1211529 HAS SOPS 1163149 HAS SOUS 337215 HAS SOUPS 335727 WITH SCORE 336938.529
AT ITER 1483 NEW BEST:: SOT 2141820 SOS 1211560 HAS SOPS 1163180 HAS SOUS 337153 HAS SOUPS 335665 WITH SCORE 336876.56
AT ITER 1485 NEW BEST:: SOT 2141818 SOS 1211558 HAS SOPS 1163176 HAS SOUS 337149 HAS SOUPS 335661 WITH SCORE 336872.558
AT ITER 1486 NEW BEST:: SOT 2141732 SOS 1211464 HAS SOPS 1163082 HAS SOUS 336957 HAS SOUPS 335469 WITH SCORE 336680.464
AT ITER 1501 NEW BEST:: SOT 2141721 SOS 1211453 HAS SOPS 1163071 HAS SOUS 336957 HAS SOUPS 335469 WITH SCORE 336680.453
AT ITER 1503 NEW BEST:: SOT 2141711 SOS 1211443 HAS SOPS 1163021 HAS SOUS 336835 HAS SOUPS 335347 WITH SCORE 336558.443
AT ITER 1504 NEW BEST:: SOT 2141522 SOS 1211359 HAS SOPS 1162937 HAS SOUS 336762 HAS SOUPS 335274 WITH SCORE 336485.359
AT ITER 1517 NEW BEST:: SOT 2140865 SOS 1210699 HAS SOPS 1162277 HAS SOUS 336669 HAS SOUPS 335181 WITH SCORE 336391.699
AT ITER 1559 NEW BEST:: SOT 2140411 SOS 1210369 HAS SOPS 1161947 HAS SOUS 336123 HAS SOUPS 334635 WITH SCORE 335845.369
AT ITER 1579 NEW BEST:: SOT 2140411 SOS 1209489 HAS SOPS 1161067 HAS SOUS 336123 HAS SOUPS 334635 WITH SCORE 335844.489
AT ITER 1582 NEW BEST:: SOT 2139999 SOS 1208720 HAS SOPS 1160298 HAS SOUS 335640 HAS SOUPS 334152 WITH SCORE 335360.72
AT ITER 1583 NEW BEST:: SOT 2139960 SOS 1208681 HAS SOPS 1160220 HAS SOUS 335588 HAS SOUPS 334100 WITH SCORE 335308.681
AT ITER 1591 NEW BEST:: SOT 2139163 SOS 1207872 HAS SOPS 1159411 HAS SOUS 335355 HAS SOUPS 333867 WITH SCORE 335074.872
AT ITER 1598 NEW BEST:: SOT 2139123 SOS 1207822 HAS SOPS 1159361 HAS SOUS 335275 HAS SOUPS 333787 WITH SCORE 334994.822
AT ITER 1618 NEW BEST:: SOT 2139068 SOS 1207712 HAS SOPS 1159251 HAS SOUS 335165 HAS SOUPS 333677 WITH SCORE 334884.712
AT ITER 1622 NEW BEST:: SOT 2138965 SOS 1207609 HAS SOPS 1159108 HAS SOUS 334955 HAS SOUPS 333467 WITH SCORE 334674.609
AT ITER 1627 NEW BEST:: SOT 2138755 SOS 1207294 HAS SOPS 1158793 HAS SOUS 334640 HAS SOUPS 333152 WITH SCORE 334359.294
AT ITER 1637 NEW BEST:: SOT 2138794 SOS 1207382 HAS SOPS 1158881 HAS SOUS 334597 HAS SOUPS 333109 WITH SCORE 334316.382
AT ITER 1638 NEW BEST:: SOT 2138599 SOS 1207187 HAS SOPS 1158686 HAS SOUS 334387 HAS SOUPS 332899 WITH SCORE 334106.187
AT ITER 1646 NEW BEST:: SOT 2138578 SOS 1207376 HAS SOPS 1158875 HAS SOUS 334366 HAS SOUPS 332878 WITH SCORE 334085.376
AT ITER 1673 NEW BEST:: SOT 2138556 SOS 1206860 HAS SOPS 1158359 HAS SOUS 334268 HAS SOUPS 332780 WITH SCORE 333986.86
AT ITER 1681 NEW BEST:: SOT 2138409 SOS 1206485 HAS SOPS 1157984 HAS SOUS 334233 HAS SOUPS 332745 WITH SCORE 333951.485
AT ITER 1683 NEW BEST:: SOT 2138062 SOS 1206112 HAS SOPS 1157611 HAS SOUS 334066 HAS SOUPS 332578 WITH SCORE 333784.112
AT ITER 1708 NEW BEST:: SOT 2137966 SOS 1206016 HAS SOPS 1157475 HAS SOUS 333955 HAS SOUPS 332467 WITH SCORE 333673.016
AT ITER 1713 NEW BEST:: SOT 2137966 SOS 1206007 HAS SOPS 1157466 HAS SOUS 333937 HAS SOUPS 332449 WITH SCORE 333655.007
AT ITER 1747 NEW BEST:: SOT 2137701 SOS 1205742 HAS SOPS 1157201 HAS SOUS 331332 HAS SOUPS 329844 WITH SCORE 331049.742
AT ITER 1808 NEW BEST:: SOT 2137728 SOS 1205769 HAS SOPS 1157161 HAS SOUS 331359 HAS SOUPS 329804 WITH SCORE 331009.769
AT ITER 1815 NEW BEST:: SOT 2137716 SOS 1205761 HAS SOPS 1157153 HAS SOUS 331260 HAS SOUPS 329705 WITH SCORE 330910.761
AT ITER 1834 NEW BEST:: SOT 2137690 SOS 1205735 HAS SOPS 1157127 HAS SOUS 331205 HAS SOUPS 329650 WITH SCORE 330855.735
AT ITER 1870 NEW BEST:: SOT 2102118 SOS 1170269 HAS SOPS 1121661 HAS SOUS 324465 HAS SOUPS 322910 WITH SCORE 324080.269
AT ITER 1875 NEW BEST:: SOT 2102118 SOS 1170453 HAS SOPS 1121845 HAS SOUS 324125 HAS SOUPS 322570 WITH SCORE 323740.453
AT ITER 1876 NEW BEST:: SOT 2101939 SOS 1170251 HAS SOPS 1121643 HAS SOUS 323870 HAS SOUPS 322315 WITH SCORE 323485.251
AT ITER 1877 NEW BEST:: SOT 2098683 SOS 1166995 HAS SOPS 1118387 HAS SOUS 320608 HAS SOUPS 319053 WITH SCORE 320219.995
AT ITER 1886 NEW BEST:: SOT 2098674 SOS 1167936 HAS SOPS 1119041 HAS SOUS 320591 HAS SOUPS 319036 WITH SCORE 320203.936
AT ITER 1887 NEW BEST:: SOT 2076022 SOS 1152487 HAS SOPS 1103592 HAS SOUS 316589 HAS SOUPS 315034 WITH SCORE 316186.487
AT ITER 1903 NEW BEST:: SOT 2076066 SOS 1152531 HAS SOPS 1103568 HAS SOUS 316568 HAS SOUPS 315013 WITH SCORE 316165.531
AT ITER 1904 NEW BEST:: SOT 2075886 SOS 1152351 HAS SOPS 1103388 HAS SOUS 314963 HAS SOUPS 313408 WITH SCORE 314560.351
AT ITER 1908 NEW BEST:: SOT 2075741 SOS 1152206 HAS SOPS 1103243 HAS SOUS 314864 HAS SOUPS 313309 WITH SCORE 314461.206
AT ITER 1921 NEW BEST:: SOT 2075495 SOS 1151960 HAS SOPS 1102997 HAS SOUS 314302 HAS SOUPS 312747 WITH SCORE 313898.96
AT ITER 1922 NEW BEST:: SOT 2075495 SOS 1152104 HAS SOPS 1103141 HAS SOUS 314134 HAS SOUPS 312579 WITH SCORE 313731.104
AT ITER 1926 NEW BEST:: SOT 2076491 SOS 1153291 HAS SOPS 1104328 HAS SOUS 313485 HAS SOUPS 311930 WITH SCORE 313083.291
AT ITER 1933 NEW BEST:: SOT 2076208 SOS 1152997 HAS SOPS 1104034 HAS SOUS 313191 HAS SOUPS 311636 WITH SCORE 312788.997
AT ITER 1938 NEW BEST:: SOT 2075464 SOS 1152222 HAS SOPS 1103259 HAS SOUS 312569 HAS SOUPS 311014 WITH SCORE 312166.222
AT ITER 1940 NEW BEST:: SOT 2074941 SOS 1151680 HAS SOPS 1102717 HAS SOUS 312264 HAS SOUPS 310709 WITH SCORE 311860.68
AT ITER 1964 NEW BEST:: SOT 2074918 SOS 1151680 HAS SOPS 1102717 HAS SOUS 312248 HAS SOUPS 310693 WITH SCORE 311844.68
AT ITER 1991 NEW BEST:: SOT 2074894 SOS 1151656 HAS SOPS 1102656 HAS SOUS 312200 HAS SOUPS 310645 WITH SCORE 311796.656
AT ITER 2010 NEW BEST:: SOT 2074945 SOS 1151707 HAS SOPS 1102746 HAS SOUS 312185 HAS SOUPS 310630 WITH SCORE 311781.707
AT ITER 2016 NEW BEST:: SOT 2074936 SOS 1151698 HAS SOPS 1102737 HAS SOUS 312167 HAS SOUPS 310612 WITH SCORE 311763.698
AT ITER 2020 NEW BEST:: SOT 2074704 SOS 1151487 HAS SOPS 1102526 HAS SOUS 311856 HAS SOUPS 310301 WITH SCORE 311452.487
AT ITER 2038 NEW BEST:: SOT 2074509 SOS 1151282 HAS SOPS 1102321 HAS SOUS 311651 HAS SOUPS 310096 WITH SCORE 311247.282
AT ITER 2060 NEW BEST:: SOT 2074594 SOS 1151367 HAS SOPS 1102367 HAS SOUS 311539 HAS SOUPS 309984 WITH SCORE 311135.367
AT ITER 2062 NEW BEST:: SOT 2074498 SOS 1151271 HAS SOPS 1102271 HAS SOUS 311475 HAS SOUPS 309920 WITH SCORE 311071.271
AT ITER 2072 NEW BEST:: SOT 2074446 SOS 1151192 HAS SOPS 1102192 HAS SOUS 311396 HAS SOUPS 309841 WITH SCORE 310992.192
AT ITER 2073 NEW BEST:: SOT 2074278 SOS 1150978 HAS SOPS 1101978 HAS SOUS 311073 HAS SOUPS 309518 WITH SCORE 310668.978
AT ITER 2076 NEW BEST:: SOT 2074271 SOS 1150971 HAS SOPS 1101964 HAS SOUS 311059 HAS SOUPS 309504 WITH SCORE 310654.971
AT ITER 2078 NEW BEST:: SOT 2074274 SOS 1151022 HAS SOPS 1101448 HAS SOUS 310969 HAS SOUPS 309050 WITH SCORE 310201.022
AT ITER 2128 NEW BEST:: SOT 2073181 SOS 1149787 HAS SOPS 1100213 HAS SOUS 310281 HAS SOUPS 308362 WITH SCORE 309511.787
AT ITER 2137 NEW BEST:: SOT 2073445 SOS 1150051 HAS SOPS 1100477 HAS SOUS 305820 HAS SOUPS 303901 WITH SCORE 305051.051
AT ITER 2141 NEW BEST:: SOT 2073528 SOS 1150134 HAS SOPS 1100560 HAS SOUS 305766 HAS SOUPS 303847 WITH SCORE 304997.134
AT ITER 2142 NEW BEST:: SOT 2073061 SOS 1149901 HAS SOPS 1100745 HAS SOUS 305457 HAS SOUPS 303538 WITH SCORE 304687.901
AT ITER 2143 NEW BEST:: SOT 2073048 SOS 1149875 HAS SOPS 1100719 HAS SOUS 305431 HAS SOUPS 303512 WITH SCORE 304661.875
AT ITER 2144 NEW BEST:: SOT 2072960 SOS 1149847 HAS SOPS 1100691 HAS SOUS 305336 HAS SOUPS 303417 WITH SCORE 304566.847
AT ITER 2146 NEW BEST:: SOT 2072726 SOS 1149457 HAS SOPS 1100223 HAS SOUS 305024 HAS SOUPS 303105 WITH SCORE 304254.457
AT ITER 2176 NEW BEST:: SOT 2072694 SOS 1149393 HAS SOPS 1100159 HAS SOUS 304992 HAS SOUPS 303073 WITH SCORE 304222.393
AT ITER 2183 NEW BEST:: SOT 2066113 SOS 1142262 HAS SOPS 1093028 HAS SOUS 303141 HAS SOUPS 301222 WITH SCORE 302364.262
AT ITER 2206 NEW BEST:: SOT 2065831 SOS 1141932 HAS SOPS 1092698 HAS SOUS 303139 HAS SOUPS 301220 WITH SCORE 302361.932
AT ITER 2213 NEW BEST:: SOT 2066546 SOS 1142474 HAS SOPS 1083720 HAS SOUS 303927 HAS SOUPS 301056 WITH SCORE 302198.474
AT ITER 2215 NEW BEST:: SOT 2066546 SOS 1142184 HAS SOPS 1083459 HAS SOUS 303927 HAS SOUPS 301056 WITH SCORE 302198.184
AT ITER 2250 NEW BEST:: SOT 2066538 SOS 1142176 HAS SOPS 1083459 HAS SOUS 303895 HAS SOUPS 301024 WITH SCORE 302166.176
AT ITER 2258 NEW BEST:: SOT 2066384 SOS 1142008 HAS SOPS 1083291 HAS SOUS 303775 HAS SOUPS 300904 WITH SCORE 302046.008
AT ITER 2273 NEW BEST:: SOT 2066246 SOS 1141870 HAS SOPS 1083153 HAS SOUS 303668 HAS SOUPS 300797 WITH SCORE 301938.87
AT ITER 2274 NEW BEST:: SOT 2066246 SOS 1141970 HAS SOPS 1083253 HAS SOUS 303647 HAS SOUPS 300776 WITH SCORE 301917.97
AT ITER 2281 NEW BEST:: SOT 2066260 SOS 1141909 HAS SOPS 1083192 HAS SOUS 302899 HAS SOUPS 300028 WITH SCORE 301169.909
AT ITER 2286 NEW BEST:: SOT 2066260 SOS 1141909 HAS SOPS 1083192 HAS SOUS 302806 HAS SOUPS 299935 WITH SCORE 301076.909
AT ITER 2289 NEW BEST:: SOT 2066183 SOS 1141770 HAS SOPS 1083053 HAS SOUS 302667 HAS SOUPS 299796 WITH SCORE 300937.77
AT ITER 2293 NEW BEST:: SOT 2065956 SOS 1141392 HAS SOPS 1082675 HAS SOUS 302267 HAS SOUPS 299396 WITH SCORE 300537.392
AT ITER 2317 NEW BEST:: SOT 2066045 SOS 1141915 HAS SOPS 1083198 HAS SOUS 302225 HAS SOUPS 299354 WITH SCORE 300495.915
AT ITER 2328 NEW BEST:: SOT 2050400 SOS 1126207 HAS SOPS 1067480 HAS SOUS 299270 HAS SOUPS 296391 WITH SCORE 297517.207
AT ITER 2334 NEW BEST:: SOT 2050446 SOS 1126413 HAS SOPS 1067686 HAS SOUS 299260 HAS SOUPS 296381 WITH SCORE 297507.413
AT ITER 2335 NEW BEST:: SOT 2030715 SOS 1106700 HAS SOPS 1047973 HAS SOUS 295627 HAS SOUPS 292748 WITH SCORE 293854.7
AT ITER 2359 NEW BEST:: SOT 2030715 SOS 1106748 HAS SOPS 1048021 HAS SOUS 295555 HAS SOUPS 292676 WITH SCORE 293782.748
AT ITER 2375 NEW BEST:: SOT 2030950 SOS 1106983 HAS SOPS 1048256 HAS SOUS 295458 HAS SOUPS 292579 WITH SCORE 293685.983
AT ITER 2380 NEW BEST:: SOT 2030950 SOS 1106875 HAS SOPS 1048148 HAS SOUS 294714 HAS SOUPS 291835 WITH SCORE 292941.875
AT ITER 2406 NEW BEST:: SOT 2030938 SOS 1106863 HAS SOPS 1048148 HAS SOUS 294702 HAS SOUPS 291823 WITH SCORE 292929.863
AT ITER 2408 NEW BEST:: SOT 2030894 SOS 1106808 HAS SOPS 1048093 HAS SOUS 294658 HAS SOUPS 291779 WITH SCORE 292885.808
AT ITER 2424 NEW BEST:: SOT 2030590 SOS 1106504 HAS SOPS 1047789 HAS SOUS 294354 HAS SOUPS 291475 WITH SCORE 292581.504
AT ITER 2425 NEW BEST:: SOT 2030669 SOS 1106583 HAS SOPS 1047859 HAS SOUS 294336 HAS SOUPS 291457 WITH SCORE 292563.583
AT ITER 2444 NEW BEST:: SOT 2030609 SOS 1106523 HAS SOPS 1047769 HAS SOUS 294216 HAS SOUPS 291337 WITH SCORE 292443.523
AT ITER 2448 NEW BEST:: SOT 2030581 SOS 1106467 HAS SOPS 1047713 HAS SOUS 294160 HAS SOUPS 291281 WITH SCORE 292387.467
AT ITER 2476 NEW BEST:: SOT 2030575 SOS 1106320 HAS SOPS 1047566 HAS SOUS 294153 HAS SOUPS 291274 WITH SCORE 292380.32
AT ITER 2479 NEW BEST:: SOT 2030660 SOS 1106405 HAS SOPS 1047651 HAS SOUS 294146 HAS SOUPS 291267 WITH SCORE 292373.405
AT ITER 2498 NEW BEST:: SOT 2030470 SOS 1106215 HAS SOPS 1047461 HAS SOUS 293610 HAS SOUPS 290731 WITH SCORE 291837.215
AT ITER 2500 NEW BEST:: SOT 2030403 SOS 1107063 HAS SOPS 1048332 HAS SOUS 293260 HAS SOUPS 290389 WITH SCORE 291496.063
AT ITER 2509 NEW BEST:: SOT 2030381 SOS 1107415 HAS SOPS 1048700 HAS SOUS 293251 HAS SOUPS 290387 WITH SCORE 291494.415
AT ITER 2513 NEW BEST:: SOT 2030339 SOS 1107373 HAS SOPS 1048637 HAS SOUS 293167 HAS SOUPS 290303 WITH SCORE 291410.373
AT ITER 2526 NEW BEST:: SOT 2030337 SOS 1107371 HAS SOPS 1048635 HAS SOUS 293163 HAS SOUPS 290299 WITH SCORE 291406.371
AT ITER 2527 NEW BEST:: SOT 2030337 SOS 1107460 HAS SOPS 1048475 HAS SOUS 293092 HAS SOUPS 290228 WITH SCORE 291335.46
AT ITER 2528 NEW BEST:: SOT 2031007 SOS 1108575 HAS SOPS 1049590 HAS SOUS 291953 HAS SOUPS 289089 WITH SCORE 290197.575
AT ITER 2530 NEW BEST:: SOT 2030988 SOS 1108536 HAS SOPS 1049551 HAS SOUS 291950 HAS SOUPS 289086 WITH SCORE 290194.536
AT ITER 2538 NEW BEST:: SOT 2030988 SOS 1108520 HAS SOPS 1049535 HAS SOUS 291950 HAS SOUPS 289086 WITH SCORE 290194.52
AT ITER 2543 NEW BEST:: SOT 2030974 SOS 1108506 HAS SOPS 1049521 HAS SOUS 291873 HAS SOUPS 289009 WITH SCORE 290117.506
AT ITER 2550 NEW BEST:: SOT 2031106 SOS 1108604 HAS SOPS 1049619 HAS SOUS 291482 HAS SOUPS 288618 WITH SCORE 289726.604
AT ITER 2555 NEW BEST:: SOT 2031054 SOS 1108552 HAS SOPS 1049567 HAS SOUS 291456 HAS SOUPS 288592 WITH SCORE 289700.552
AT ITER 2556 NEW BEST:: SOT 2030845 SOS 1108067 HAS SOPS 1049082 HAS SOUS 291038 HAS SOUPS 288174 WITH SCORE 289282.067
AT ITER 2567 NEW BEST:: SOT 2030834 SOS 1108059 HAS SOPS 1049074 HAS SOUS 291023 HAS SOUPS 288159 WITH SCORE 289267.059
AT ITER 2578 NEW BEST:: SOT 2029822 SOS 1107047 HAS SOPS 1048062 HAS SOUS 290018 HAS SOUPS 287154 WITH SCORE 288261.047
AT ITER 2584 NEW BEST:: SOT 2029862 SOS 1107169 HAS SOPS 1048142 HAS SOUS 289947 HAS SOUPS 287083 WITH SCORE 288190.169
AT ITER 2596 NEW BEST:: SOT 2029839 SOS 1107435 HAS SOPS 1047691 HAS SOUS 289901 HAS SOUPS 287037 WITH SCORE 288144.435
AT ITER 2599 NEW BEST:: SOT 2030024 SOS 1108245 HAS SOPS 1048501 HAS SOUS 289810 HAS SOUPS 286946 WITH SCORE 288054.245
AT ITER 2604 NEW BEST:: SOT 2030015 SOS 1108227 HAS SOPS 1048483 HAS SOUS 289810 HAS SOUPS 286946 WITH SCORE 288054.227
AT ITER 2629 NEW BEST:: SOT 2030061 SOS 1108318 HAS SOPS 1048574 HAS SOUS 289457 HAS SOUPS 286593 WITH SCORE 287701.318
AT ITER 2638 NEW BEST:: SOT 2032252 SOS 1103506 HAS SOPS 1043762 HAS SOUS 289160 HAS SOUPS 286296 WITH SCORE 287399.506
AT ITER 2639 NEW BEST:: SOT 2032221 SOS 1103444 HAS SOPS 1043700 HAS SOUS 289098 HAS SOUPS 286234 WITH SCORE 287337.444
AT ITER 2641 NEW BEST:: SOT 2032043 SOS 1103185 HAS SOPS 1043441 HAS SOUS 288920 HAS SOUPS 286056 WITH SCORE 287159.185
AT ITER 2645 NEW BEST:: SOT 2032044 SOS 1103175 HAS SOPS 1043431 HAS SOUS 288910 HAS SOUPS 286046 WITH SCORE 287149.175
AT ITER 2653 NEW BEST:: SOT 2015313 SOS 1099803 HAS SOPS 1040059 HAS SOUS 288485 HAS SOUPS 285621 WITH SCORE 286720.803
AT ITER 2668 NEW BEST:: SOT 2015197 SOS 1099729 HAS SOPS 1039529 HAS SOUS 288235 HAS SOUPS 285371 WITH SCORE 286470.729
AT ITER 2678 NEW BEST:: SOT 2015162 SOS 1099700 HAS SOPS 1039500 HAS SOUS 288207 HAS SOUPS 285343 WITH SCORE 286442.7
AT ITER 2689 NEW BEST:: SOT 2015083 SOS 1099596 HAS SOPS 1039396 HAS SOUS 288049 HAS SOUPS 285185 WITH SCORE 286284.596
AT ITER 2694 NEW BEST:: SOT 2014880 SOS 1100004 HAS SOPS 1039804 HAS SOUS 287981 HAS SOUPS 285117 WITH SCORE 286217.004
AT ITER 2700 NEW BEST:: SOT 2014878 SOS 1100002 HAS SOPS 1039802 HAS SOUS 287975 HAS SOUPS 285111 WITH SCORE 286211.002
AT ITER 2704 NEW BEST:: SOT 2014321 SOS 1099478 HAS SOPS 1039278 HAS SOUS 287691 HAS SOUPS 284827 WITH SCORE 285926.478
AT ITER 2705 NEW BEST:: SOT 2013516 SOS 1098420 HAS SOPS 1038220 HAS SOUS 287006 HAS SOUPS 284142 WITH SCORE 285240.42
AT ITER 2717 NEW BEST:: SOT 2012552 SOS 1097562 HAS SOPS 1037362 HAS SOUS 286456 HAS SOUPS 283592 WITH SCORE 284689.562
AT ITER 2729 NEW BEST:: SOT 2012288 SOS 1097402 HAS SOPS 1037202 HAS SOUS 286032 HAS SOUPS 283168 WITH SCORE 284265.402
AT ITER 2748 NEW BEST:: SOT 2012288 SOS 1097394 HAS SOPS 1037202 HAS SOUS 286032 HAS SOUPS 283168 WITH SCORE 284265.394
AT ITER 2758 NEW BEST:: SOT 2012251 SOS 1097357 HAS SOPS 1037165 HAS SOUS 285772 HAS SOUPS 282908 WITH SCORE 284005.357
AT ITER 2766 NEW BEST:: SOT 2012251 SOS 1095114 HAS SOPS 1034922 HAS SOUS 285772 HAS SOUPS 282908 WITH SCORE 284003.114
AT ITER 2780 NEW BEST:: SOT 2002905 SOS 1085768 HAS SOPS 1025576 HAS SOUS 283779 HAS SOUPS 280915 WITH SCORE 282000.768
AT ITER 2781 NEW BEST:: SOT 2003020 SOS 1085983 HAS SOPS 1025791 HAS SOUS 283764 HAS SOUPS 280900 WITH SCORE 281985.983
AT ITER 2784 NEW BEST:: SOT 2002790 SOS 1085301 HAS SOPS 1025185 HAS SOUS 283304 HAS SOUPS 280440 WITH SCORE 281525.301
AT ITER 2785 NEW BEST:: SOT 2002560 SOS 1084616 HAS SOPS 1024500 HAS SOUS 282619 HAS SOUPS 279755 WITH SCORE 280839.616
AT ITER 2802 NEW BEST:: SOT 2002644 SOS 1084700 HAS SOPS 1024544 HAS SOUS 282505 HAS SOUPS 279641 WITH SCORE 280725.7
AT ITER 2807 NEW BEST:: SOT 2002624 SOS 1084680 HAS SOPS 1024524 HAS SOUS 282425 HAS SOUPS 279561 WITH SCORE 280645.68
AT ITER 2822 NEW BEST:: SOT 2002812 SOS 1084891 HAS SOPS 1024600 HAS SOUS 282314 HAS SOUPS 279450 WITH SCORE 280534.891
AT ITER 2827 NEW BEST:: SOT 2002807 SOS 1084891 HAS SOPS 1024600 HAS SOUS 282309 HAS SOUPS 279445 WITH SCORE 280529.891
AT ITER 2836 NEW BEST:: SOT 2002711 SOS 1084763 HAS SOPS 1024472 HAS SOUS 282168 HAS SOUPS 279304 WITH SCORE 280388.763
AT ITER 2842 NEW BEST:: SOT 2002739 SOS 1084658 HAS SOPS 1024367 HAS SOUS 282056 HAS SOUPS 279192 WITH SCORE 280276.658
AT ITER 2849 NEW BEST:: SOT 2002652 SOS 1084571 HAS SOPS 1024280 HAS SOUS 281954 HAS SOUPS 279090 WITH SCORE 280174.571
AT ITER 2859 NEW BEST:: SOT 1997956 SOS 1079937 HAS SOPS 1019646 HAS SOUS 280407 HAS SOUPS 277543 WITH SCORE 278622.937
AT ITER 2860 NEW BEST:: SOT 1982125 SOS 1063964 HAS SOPS 1003613 HAS SOUS 277569 HAS SOUPS 274705 WITH SCORE 275768.964
AT ITER 2871 NEW BEST:: SOT 1981961 SOS 1063695 HAS SOPS 1003344 HAS SOUS 277391 HAS SOUPS 274527 WITH SCORE 275590.695
AT ITER 2887 NEW BEST:: SOT 1981951 SOS 1063675 HAS SOPS 1003324 HAS SOUS 277371 HAS SOUPS 274507 WITH SCORE 275570.675
AT ITER 2893 NEW BEST:: SOT 1981926 SOS 1063650 HAS SOPS 1003299 HAS SOUS 277346 HAS SOUPS 274482 WITH SCORE 275545.65
AT ITER 2910 NEW BEST:: SOT 1981841 SOS 1063680 HAS SOPS 1003210 HAS SOUS 277260 HAS SOUPS 274396 WITH SCORE 275459.68
AT ITER 2915 NEW BEST:: SOT 1981832 SOS 1004306 HAS SOPS 943836 HAS SOUS 276826 HAS SOUPS 273962 WITH SCORE 274966.306
AT ITER 2923 NEW BEST:: SOT 1981819 SOS 1004293 HAS SOPS 943823 HAS SOUS 276800 HAS SOUPS 273936 WITH SCORE 274940.293
AT ITER 2936 NEW BEST:: SOT 1981645 SOS 1004119 HAS SOPS 943649 HAS SOUS 276626 HAS SOUPS 273762 WITH SCORE 274766.119
AT ITER 2942 NEW BEST:: SOT 1981578 SOS 1004042 HAS SOPS 943572 HAS SOUS 276518 HAS SOUPS 273654 WITH SCORE 274658.042
AT ITER 2950 NEW BEST:: SOT 1981548 SOS 1003982 HAS SOPS 943512 HAS SOUS 276452 HAS SOUPS 273588 WITH SCORE 274591.982
AT ITER 2972 NEW BEST:: SOT 1981548 SOS 1004023 HAS SOPS 943553 HAS SOUS 276409 HAS SOUPS 273545 WITH SCORE 274549.023
AT ITER 2980 NEW BEST:: SOT 1981482 SOS 1003957 HAS SOPS 943566 HAS SOUS 276365 HAS SOUPS 273501 WITH SCORE 274504.957
AT ITER 2997 NEW BEST:: SOT 1981384 SOS 1003859 HAS SOPS 943468 HAS SOUS 276340 HAS SOUPS 273476 WITH SCORE 274479.859
AT ITER 3043 NEW BEST:: SOT 1981480 SOS 1003926 HAS SOPS 943535 HAS SOUS 276204 HAS SOUPS 273340 WITH SCORE 274343.926
AT ITER 3062 NEW BEST:: SOT 1981564 SOS 1004010 HAS SOPS 943619 HAS SOUS 276036 HAS SOUPS 273172 WITH SCORE 274176.01
AT ITER 3079 NEW BEST:: SOT 1981558 SOS 1004004 HAS SOPS 943613 HAS SOUS 276030 HAS SOUPS 273166 WITH SCORE 274170.004
AT ITER 3088 NEW BEST:: SOT 1982426 SOS 1005070 HAS SOPS 944679 HAS SOUS 274707 HAS SOUPS 271843 WITH SCORE 272848.07
AT ITER 3089 NEW BEST:: SOT 1982428 SOS 1004948 HAS SOPS 944581 HAS SOUS 274651 HAS SOUPS 271787 WITH SCORE 272791.948
AT ITER 3096 NEW BEST:: SOT 1982971 SOS 1005632 HAS SOPS 945406 HAS SOUS 273994 HAS SOUPS 271130 WITH SCORE 272135.632
AT ITER 3103 NEW BEST:: SOT 1982989 SOS 1005601 HAS SOPS 945375 HAS SOUS 273927 HAS SOUPS 271063 WITH SCORE 272068.601
AT ITER 3108 NEW BEST:: SOT 1982704 SOS 1005435 HAS SOPS 945209 HAS SOUS 273649 HAS SOUPS 270785 WITH SCORE 271790.435
AT ITER 3112 NEW BEST:: SOT 1982861 SOS 1006016 HAS SOPS 945791 HAS SOUS 273583 HAS SOUPS 270719 WITH SCORE 271725.016
AT ITER 3122 NEW BEST:: SOT 1982853 SOS 1005971 HAS SOPS 945746 HAS SOUS 273472 HAS SOUPS 270608 WITH SCORE 271613.971
AT ITER 3137 NEW BEST:: SOT 1982853 SOS 1016201 HAS SOPS 955976 HAS SOUS 273422 HAS SOUPS 270558 WITH SCORE 271574.201
AT ITER 3138 NEW BEST:: SOT 1982833 SOS 1016181 HAS SOPS 955956 HAS SOUS 273402 HAS SOUPS 270538 WITH SCORE 271554.181
AT ITER 3142 NEW BEST:: SOT 1982638 SOS 1015988 HAS SOPS 955763 HAS SOUS 272749 HAS SOUPS 269885 WITH SCORE 270900.988
AT ITER 3147 NEW BEST:: SOT 1982535 SOS 1015885 HAS SOPS 955660 HAS SOUS 272607 HAS SOUPS 269743 WITH SCORE 270758.885
AT ITER 3167 NEW BEST:: SOT 1982527 SOS 1016118 HAS SOPS 955893 HAS SOUS 272565 HAS SOUPS 269701 WITH SCORE 270717.118
AT ITER 3168 NEW BEST:: SOT 1982451 SOS 1015995 HAS SOPS 955770 HAS SOUS 272480 HAS SOUPS 269616 WITH SCORE 270631.995
AT ITER 3187 NEW BEST:: SOT 1982396 SOS 1015940 HAS SOPS 955715 HAS SOUS 272355 HAS SOUPS 269491 WITH SCORE 270506.94
AT ITER 3203 NEW BEST:: SOT 1982332 SOS 1015894 HAS SOPS 955669 HAS SOUS 272268 HAS SOUPS 269404 WITH SCORE 270419.894
AT ITER 3215 NEW BEST:: SOT 1982308 SOS 1015870 HAS SOPS 955645 HAS SOUS 272122 HAS SOUPS 269258 WITH SCORE 270273.87
AT ITER 3217 NEW BEST:: SOT 1982167 SOS 1015729 HAS SOPS 955504 HAS SOUS 271965 HAS SOUPS 269101 WITH SCORE 270116.729
AT ITER 3225 NEW BEST:: SOT 1981977 SOS 1015539 HAS SOPS 955314 HAS SOUS 271710 HAS SOUPS 268846 WITH SCORE 269861.539
AT ITER 3226 NEW BEST:: SOT 1966923 SOS 1010509 HAS SOPS 950284 HAS SOUS 270108 HAS SOUPS 267244 WITH SCORE 268254.509
AT ITER 3244 NEW BEST:: SOT 1966864 SOS 1010450 HAS SOPS 950225 HAS SOUS 269990 HAS SOUPS 267126 WITH SCORE 268136.45
AT ITER 3250 NEW BEST:: SOT 1967333 SOS 1010988 HAS SOPS 950763 HAS SOUS 269428 HAS SOUPS 266564 WITH SCORE 267574.988
AT ITER 3255 NEW BEST:: SOT 1968551 SOS 1012405 HAS SOPS 952180 HAS SOUS 269234 HAS SOUPS 266370 WITH SCORE 267382.405
AT ITER 3272 NEW BEST:: SOT 1968515 SOS 1012375 HAS SOPS 952150 HAS SOUS 269162 HAS SOUPS 266298 WITH SCORE 267310.375
AT ITER 3286 NEW BEST:: SOT 1968520 SOS 1012456 HAS SOPS 952354 HAS SOUS 268886 HAS SOUPS 266022 WITH SCORE 267034.456
AT ITER 3295 NEW BEST:: SOT 1968437 SOS 1012395 HAS SOPS 952365 HAS SOUS 268792 HAS SOUPS 265928 WITH SCORE 266940.395
AT ITER 3302 NEW BEST:: SOT 1968344 SOS 1013958 HAS SOPS 953928 HAS SOUS 268290 HAS SOUPS 265426 WITH SCORE 266439.958
AT ITER 3304 NEW BEST:: SOT 1968319 SOS 1013923 HAS SOPS 953893 HAS SOUS 268255 HAS SOUPS 265391 WITH SCORE 266404.923
AT ITER 3314 NEW BEST:: SOT 1967884 SOS 1013314 HAS SOPS 953284 HAS SOUS 267646 HAS SOUPS 264782 WITH SCORE 265795.314
AT ITER 3318 NEW BEST:: SOT 1967551 SOS 1013037 HAS SOPS 953007 HAS SOUS 267596 HAS SOUPS 264732 WITH SCORE 265745.037
AT ITER 3327 NEW BEST:: SOT 1967459 SOS 1012893 HAS SOPS 952863 HAS SOUS 267516 HAS SOUPS 264652 WITH SCORE 265664.893
AT ITER 3328 NEW BEST:: SOT 1967405 SOS 1012839 HAS SOPS 952809 HAS SOUS 267426 HAS SOUPS 264562 WITH SCORE 265574.839
AT ITER 3352 NEW BEST:: SOT 1967395 SOS 1012641 HAS SOPS 952611 HAS SOUS 267406 HAS SOUPS 264542 WITH SCORE 265554.641
AT ITER 3355 NEW BEST:: SOT 1967361 SOS 1012607 HAS SOPS 952577 HAS SOUS 267321 HAS SOUPS 264457 WITH SCORE 265469.607
AT ITER 3368 NEW BEST:: SOT 1967349 SOS 1012589 HAS SOPS 952559 HAS SOUS 267307 HAS SOUPS 264443 WITH SCORE 265455.589
AT ITER 3386 NEW BEST:: SOT 1967309 SOS 1012509 HAS SOPS 952479 HAS SOUS 267227 HAS SOUPS 264363 WITH SCORE 265375.509
AT ITER 3387 NEW BEST:: SOT 1967366 SOS 1012350 HAS SOPS 952320 HAS SOUS 267225 HAS SOUPS 264361 WITH SCORE 265373.35
AT ITER 3399 NEW BEST:: SOT 1967358 SOS 1012194 HAS SOPS 952164 HAS SOUS 267209 HAS SOUPS 264345 WITH SCORE 265357.194
AT ITER 3404 NEW BEST:: SOT 1967315 SOS 1012151 HAS SOPS 952244 HAS SOUS 267063 HAS SOUPS 264199 WITH SCORE 265211.151
AT ITER 3407 NEW BEST:: SOT 1967377 SOS 1012213 HAS SOPS 952306 HAS SOUS 266118 HAS SOUPS 263254 WITH SCORE 264266.213
AT ITER 3411 NEW BEST:: SOT 1967256 SOS 988486 HAS SOPS 948933 HAS SOUS 265643 HAS SOUPS 262952 WITH SCORE 263940.486
AT ITER 3425 NEW BEST:: SOT 1967294 SOS 988432 HAS SOPS 948879 HAS SOUS 265621 HAS SOUPS 262930 WITH SCORE 263918.432
AT ITER 3435 NEW BEST:: SOT 1976150 SOS 997288 HAS SOPS 957735 HAS SOUS 265012 HAS SOUPS 262321 WITH SCORE 263318.288
AT ITER 3451 NEW BEST:: SOT 1976150 SOS 997048 HAS SOPS 957495 HAS SOUS 265012 HAS SOUPS 262321 WITH SCORE 263318.048
AT ITER 3469 NEW BEST:: SOT 1976102 SOS 997000 HAS SOPS 957447 HAS SOUS 264964 HAS SOUPS 262273 WITH SCORE 263270.0
AT ITER 3471 NEW BEST:: SOT 1976196 SOS 997000 HAS SOPS 957447 HAS SOUS 264799 HAS SOUPS 262108 WITH SCORE 263105.0
AT ITER 3476 NEW BEST:: SOT 1976367 SOS 997171 HAS SOPS 957737 HAS SOUS 264774 HAS SOUPS 262083 WITH SCORE 263080.171
AT ITER 3479 NEW BEST:: SOT 1976029 SOS 996833 HAS SOPS 957399 HAS SOUS 264410 HAS SOUPS 261719 WITH SCORE 262715.833
AT ITER 3491 NEW BEST:: SOT 1976029 SOS 996803 HAS SOPS 957369 HAS SOUS 264410 HAS SOUPS 261719 WITH SCORE 262715.803
AT ITER 3503 NEW BEST:: SOT 1976292 SOS 997066 HAS SOPS 957687 HAS SOUS 263346 HAS SOUPS 260655 WITH SCORE 261652.066
AT ITER 3524 NEW BEST:: SOT 1976221 SOS 996995 HAS SOPS 957616 HAS SOUS 263213 HAS SOUPS 260522 WITH SCORE 261518.995
AT ITER 3525 NEW BEST:: SOT 1975711 SOS 996414 HAS SOPS 957035 HAS SOUS 262975 HAS SOUPS 260284 WITH SCORE 261280.414
AT ITER 3532 NEW BEST:: SOT 1975692 SOS 996395 HAS SOPS 957016 HAS SOUS 262937 HAS SOUPS 260246 WITH SCORE 261242.395
AT ITER 3533 NEW BEST:: SOT 1975656 SOS 996359 HAS SOPS 956980 HAS SOUS 262878 HAS SOUPS 260187 WITH SCORE 261183.359
AT ITER 3534 NEW BEST:: SOT 1975408 SOS 996078 HAS SOPS 956699 HAS SOUS 262764 HAS SOUPS 260073 WITH SCORE 261069.078
AT ITER 3559 NEW BEST:: SOT 1975405 SOS 996042 HAS SOPS 956663 HAS SOUS 262764 HAS SOUPS 260073 WITH SCORE 261069.042
AT ITER 3597 NEW BEST:: SOT 1975311 SOS 995948 HAS SOPS 956569 HAS SOUS 262652 HAS SOUPS 259961 WITH SCORE 260956.948
AT ITER 3599 NEW BEST:: SOT 1975281 SOS 995918 HAS SOPS 956539 HAS SOUS 262022 HAS SOUPS 259331 WITH SCORE 260326.918
AT ITER 3607 NEW BEST:: SOT 1975045 SOS 995682 HAS SOPS 956303 HAS SOUS 261658 HAS SOUPS 258967 WITH SCORE 259962.682
AT ITER 3622 NEW BEST:: SOT 1975022 SOS 995673 HAS SOPS 956294 HAS SOUS 261649 HAS SOUPS 258958 WITH SCORE 259953.673
AT ITER 3623 NEW BEST:: SOT 1974950 SOS 994649 HAS SOPS 955270 HAS SOUS 261615 HAS SOUPS 258924 WITH SCORE 259918.649
AT ITER 3627 NEW BEST:: SOT 1975107 SOS 994765 HAS SOPS 955386 HAS SOUS 261296 HAS SOUPS 258605 WITH SCORE 259599.765
AT ITER 3629 NEW BEST:: SOT 1974899 SOS 994607 HAS SOPS 955228 HAS SOUS 261182 HAS SOUPS 258491 WITH SCORE 259485.607
AT ITER 3633 NEW BEST:: SOT 1974875 SOS 994559 HAS SOPS 955180 HAS SOUS 261170 HAS SOUPS 258479 WITH SCORE 259473.559
AT ITER 3635 NEW BEST:: SOT 1974721 SOS 994487 HAS SOPS 955110 HAS SOUS 261150 HAS SOUPS 258459 WITH SCORE 259453.487
AT ITER 3663 NEW BEST:: SOT 1974581 SOS 994373 HAS SOPS 954996 HAS SOUS 260870 HAS SOUPS 258179 WITH SCORE 259173.373
AT ITER 3680 NEW BEST:: SOT 1974562 SOS 991865 HAS SOPS 954711 HAS SOUS 260756 HAS SOUPS 258084 WITH SCORE 259075.865
AT ITER 3692 NEW BEST:: SOT 1974552 SOS 991899 HAS SOPS 954745 HAS SOUS 260040 HAS SOUPS 257368 WITH SCORE 258359.899
AT ITER 3693 NEW BEST:: SOT 1974552 SOS 991897 HAS SOPS 954743 HAS SOUS 260038 HAS SOUPS 257366 WITH SCORE 258357.897
AT ITER 3697 NEW BEST:: SOT 1974692 SOS 992037 HAS SOPS 954883 HAS SOUS 260033 HAS SOUPS 257361 WITH SCORE 258353.037
AT ITER 3702 NEW BEST:: SOT 1974601 SOS 992547 HAS SOPS 955393 HAS SOUS 259870 HAS SOUPS 257198 WITH SCORE 258190.547
AT ITER 3725 NEW BEST:: SOT 1974612 SOS 992866 HAS SOPS 955719 HAS SOUS 259827 HAS SOUPS 257164 WITH SCORE 258156.866
AT ITER 3736 NEW BEST:: SOT 1974400 SOS 992202 HAS SOPS 955055 HAS SOUS 259612 HAS SOUPS 256949 WITH SCORE 257941.202
AT ITER 3748 NEW BEST:: SOT 1974142 SOS 991888 HAS SOPS 954741 HAS SOUS 259235 HAS SOUPS 256572 WITH SCORE 257563.888
AT ITER 3753 NEW BEST:: SOT 1974043 SOS 991789 HAS SOPS 954642 HAS SOUS 259138 HAS SOUPS 256475 WITH SCORE 257466.789
AT ITER 3769 NEW BEST:: SOT 1973901 SOS 991623 HAS SOPS 954476 HAS SOUS 259040 HAS SOUPS 256377 WITH SCORE 257368.623
AT ITER 3771 NEW BEST:: SOT 1973972 SOS 991765 HAS SOPS 954618 HAS SOUS 259008 HAS SOUPS 256345 WITH SCORE 257336.765
AT ITER 3772 NEW BEST:: SOT 1973883 SOS 991676 HAS SOPS 954529 HAS SOUS 258756 HAS SOUPS 256093 WITH SCORE 257084.676
AT ITER 3776 NEW BEST:: SOT 1967614 SOS 1024695 HAS SOPS 987548 HAS SOUS 258037 HAS SOUPS 255374 WITH SCORE 256398.695
AT ITER 3781 NEW BEST:: SOT 1967614 SOS 1024683 HAS SOPS 987536 HAS SOUS 258034 HAS SOUPS 255371 WITH SCORE 256395.683
AT ITER 3788 NEW BEST:: SOT 1967577 SOS 1024631 HAS SOPS 987484 HAS SOUS 257982 HAS SOUPS 255319 WITH SCORE 256343.631
AT ITER 3810 NEW BEST:: SOT 1967540 SOS 1024594 HAS SOPS 987447 HAS SOUS 257908 HAS SOUPS 255245 WITH SCORE 256269.594
AT ITER 3816 NEW BEST:: SOT 1967501 SOS 1024553 HAS SOPS 987365 HAS SOUS 257807 HAS SOUPS 255144 WITH SCORE 256168.553
AT ITER 3856 NEW BEST:: SOT 1967588 SOS 1024640 HAS SOPS 987446 HAS SOUS 257803 HAS SOUPS 255140 WITH SCORE 256164.64
AT ITER 3857 NEW BEST:: SOT 1967569 SOS 1024621 HAS SOPS 987427 HAS SOUS 257756 HAS SOUPS 255093 WITH SCORE 256117.621
AT ITER 3866 NEW BEST:: SOT 1967443 SOS 1024393 HAS SOPS 987376 HAS SOUS 257681 HAS SOUPS 255018 WITH SCORE 256042.393
AT ITER 3869 NEW BEST:: SOT 1967422 SOS 1024258 HAS SOPS 987241 HAS SOUS 257591 HAS SOUPS 254928 WITH SCORE 255952.258
AT ITER 3884 NEW BEST:: SOT 1967578 SOS 1024426 HAS SOPS 987409 HAS SOUS 257426 HAS SOUPS 254763 WITH SCORE 255787.426
AT ITER 3910 NEW BEST:: SOT 1967590 SOS 1024357 HAS SOPS 987340 HAS SOUS 257357 HAS SOUPS 254694 WITH SCORE 255718.357
AT ITER 3919 NEW BEST:: SOT 1967739 SOS 1024560 HAS SOPS 987457 HAS SOUS 257290 HAS SOUPS 254600 WITH SCORE 255624.56
AT ITER 3924 NEW BEST:: SOT 1967160 SOS 1023921 HAS SOPS 986818 HAS SOUS 257100 HAS SOUPS 254410 WITH SCORE 255433.921
AT ITER 3925 NEW BEST:: SOT 1967185 SOS 1024075 HAS SOPS 986842 HAS SOUS 257098 HAS SOUPS 254395 WITH SCORE 255419.075
AT ITER 3933 NEW BEST:: SOT 1966795 SOS 1023595 HAS SOPS 986362 HAS SOUS 256678 HAS SOUPS 253975 WITH SCORE 254998.595
AT ITER 3943 NEW BEST:: SOT 1966511 SOS 1023280 HAS SOPS 986047 HAS SOUS 256512 HAS SOUPS 253809 WITH SCORE 254832.28
AT ITER 3948 NEW BEST:: SOT 1966190 SOS 1022265 HAS SOPS 985032 HAS SOUS 256107 HAS SOUPS 253404 WITH SCORE 254426.265
AT ITER 3950 NEW BEST:: SOT 1966179 SOS 1022254 HAS SOPS 985021 HAS SOUS 256096 HAS SOUPS 253393 WITH SCORE 254415.254
AT ITER 3953 NEW BEST:: SOT 1966081 SOS 1021595 HAS SOPS 984362 HAS SOUS 255998 HAS SOUPS 253295 WITH SCORE 254316.595
AT ITER 3964 NEW BEST:: SOT 1966154 SOS 1021668 HAS SOPS 984435 HAS SOUS 255964 HAS SOUPS 253261 WITH SCORE 254282.668
AT ITER 3967 NEW BEST:: SOT 1966109 SOS 1021578 HAS SOPS 984345 HAS SOUS 255874 HAS SOUPS 253171 WITH SCORE 254192.578
AT ITER 3986 NEW BEST:: SOT 1966176 SOS 1021645 HAS SOPS 984412 HAS SOUS 255796 HAS SOUPS 253093 WITH SCORE 254114.645
AT ITER 3987 NEW BEST:: SOT 1965740 SOS 1021262 HAS SOPS 984029 HAS SOUS 255644 HAS SOUPS 252941 WITH SCORE 253962.262
AT ITER 3989 NEW BEST:: SOT 1965781 SOS 1021320 HAS SOPS 983989 HAS SOUS 255531 HAS SOUPS 252828 WITH SCORE 253849.32
AT ITER 3990 NEW BEST:: SOT 1965893 SOS 1021560 HAS SOPS 984229 HAS SOUS 255435 HAS SOUPS 252732 WITH SCORE 253753.56
AT ITER 3995 NEW BEST:: SOT 1965885 SOS 1021505 HAS SOPS 984174 HAS SOUS 255417 HAS SOUPS 252714 WITH SCORE 253735.505
AT ITER 3998 NEW BEST:: SOT 1965904 SOS 1021543 HAS SOPS 984212 HAS SOUS 255398 HAS SOUPS 252695 WITH SCORE 253716.543
AT ITER 4010 NEW BEST:: SOT 1964569 SOS 1020208 HAS SOPS 982877 HAS SOUS 255129 HAS SOUPS 252426 WITH SCORE 253446.208
AT ITER 4011 NEW BEST:: SOT 1964559 SOS 1020198 HAS SOPS 982867 HAS SOUS 255109 HAS SOUPS 252406 WITH SCORE 253426.198
AT ITER 4012 NEW BEST:: SOT 1963633 SOS 1018997 HAS SOPS 981666 HAS SOUS 254097 HAS SOUPS 251394 WITH SCORE 252412.997
AT ITER 4022 NEW BEST:: SOT 1963494 SOS 1018828 HAS SOPS 981497 HAS SOUS 253928 HAS SOUPS 251225 WITH SCORE 252243.828
AT ITER 4032 NEW BEST:: SOT 1939823 SOS 994991 HAS SOPS 957660 HAS SOUS 250238 HAS SOUPS 247535 WITH SCORE 248529.991
AT ITER 4049 NEW BEST:: SOT 1939775 SOS 994932 HAS SOPS 957601 HAS SOUS 250142 HAS SOUPS 247439 WITH SCORE 248433.932
AT ITER 4059 NEW BEST:: SOT 1939665 SOS 994822 HAS SOPS 957491 HAS SOUS 250032 HAS SOUPS 247329 WITH SCORE 248323.822
AT ITER 4068 NEW BEST:: SOT 1939665 SOS 994924 HAS SOPS 957593 HAS SOUS 249945 HAS SOUPS 247242 WITH SCORE 248236.924
AT ITER 4089 NEW BEST:: SOT 1939523 SOS 994780 HAS SOPS 957449 HAS SOUS 249661 HAS SOUPS 246958 WITH SCORE 247952.78
AT ITER 4103 NEW BEST:: SOT 1939408 SOS 994303 HAS SOPS 956999 HAS SOUS 249253 HAS SOUPS 246550 WITH SCORE 247544.303
AT ITER 4128 NEW BEST:: SOT 1939440 SOS 994335 HAS SOPS 956899 HAS SOUS 249047 HAS SOUPS 246344 WITH SCORE 247338.335
AT ITER 4170 NEW BEST:: SOT 1939100 SOS 993995 HAS SOPS 956559 HAS SOUS 248463 HAS SOUPS 245760 WITH SCORE 246753.995
AT ITER 4177 NEW BEST:: SOT 1939016 SOS 993887 HAS SOPS 956451 HAS SOUS 247907 HAS SOUPS 245204 WITH SCORE 246197.887
AT ITER 4186 NEW BEST:: SOT 1939060 SOS 993931 HAS SOPS 956495 HAS SOUS 247895 HAS SOUPS 245192 WITH SCORE 246185.931
AT ITER 4193 NEW BEST:: SOT 1939097 SOS 993892 HAS SOPS 956456 HAS SOUS 247805 HAS SOUPS 245102 WITH SCORE 246095.892
AT ITER 4195 NEW BEST:: SOT 1939071 SOS 993814 HAS SOPS 956378 HAS SOUS 247727 HAS SOUPS 245024 WITH SCORE 246017.814
AT ITER 4202 NEW BEST:: SOT 1939153 SOS 994072 HAS SOPS 956636 HAS SOUS 247703 HAS SOUPS 245000 WITH SCORE 245994.072
AT ITER 4211 NEW BEST:: SOT 1938904 SOS 994038 HAS SOPS 956845 HAS SOUS 247464 HAS SOUPS 244761 WITH SCORE 245755.038
AT ITER 4217 NEW BEST:: SOT 1938878 SOS 994018 HAS SOPS 956825 HAS SOUS 247444 HAS SOUPS 244741 WITH SCORE 245735.018
AT ITER 4234 NEW BEST:: SOT 1938879 SOS 994020 HAS SOPS 956827 HAS SOUS 247443 HAS SOUPS 244740 WITH SCORE 245734.02
AT ITER 4254 NEW BEST:: SOT 1938575 SOS 993847 HAS SOPS 956654 HAS SOUS 247344 HAS SOUPS 244641 WITH SCORE 245634.847
AT ITER 4261 NEW BEST:: SOT 1938578 SOS 993839 HAS SOPS 956646 HAS SOUS 247336 HAS SOUPS 244633 WITH SCORE 245626.839
AT ITER 4271 NEW BEST:: SOT 1938466 SOS 993727 HAS SOPS 956534 HAS SOUS 247224 HAS SOUPS 244521 WITH SCORE 245514.727
AT ITER 4280 NEW BEST:: SOT 1938534 SOS 993795 HAS SOPS 956665 HAS SOUS 247188 HAS SOUPS 244485 WITH SCORE 245478.795
AT ITER 4310 NEW BEST:: SOT 1938496 SOS 993757 HAS SOPS 956627 HAS SOUS 247101 HAS SOUPS 244398 WITH SCORE 245391.757
AT ITER 4340 NEW BEST:: SOT 1938545 SOS 993827 HAS SOPS 956697 HAS SOUS 247047 HAS SOUPS 244344 WITH SCORE 245337.827
AT ITER 4344 NEW BEST:: SOT 1938538 SOS 993806 HAS SOPS 956683 HAS SOUS 247040 HAS SOUPS 244337 WITH SCORE 245330.806
AT ITER 4348 NEW BEST:: SOT 1938443 SOS 993708 HAS SOPS 956585 HAS SOUS 246942 HAS SOUPS 244239 WITH SCORE 245232.708
AT ITER 4353 NEW BEST:: SOT 1938124 SOS 993389 HAS SOPS 956266 HAS SOUS 246500 HAS SOUPS 243797 WITH SCORE 244790.389
AT ITER 4369 NEW BEST:: SOT 1938124 SOS 993389 HAS SOPS 956266 HAS SOUS 246483 HAS SOUPS 243780 WITH SCORE 244773.389
AT ITER 4390 NEW BEST:: SOT 1938000 SOS 993203 HAS SOPS 956080 HAS SOUS 246349 HAS SOUPS 243646 WITH SCORE 244639.203
AT ITER 4398 NEW BEST:: SOT 1937993 SOS 993196 HAS SOPS 956073 HAS SOUS 246335 HAS SOUPS 243632 WITH SCORE 244625.196
AT ITER 4445 NEW BEST:: SOT 1937900 SOS 993004 HAS SOPS 955881 HAS SOUS 246325 HAS SOUPS 243622 WITH SCORE 244615.004
AT ITER 4452 NEW BEST:: SOT 1937996 SOS 993810 HAS SOPS 956687 HAS SOUS 246307 HAS SOUPS 243604 WITH SCORE 244597.81
AT ITER 4463 NEW BEST:: SOT 1938006 SOS 993904 HAS SOPS 956789 HAS SOUS 246301 HAS SOUPS 243600 WITH SCORE 244593.904
AT ITER 4498 NEW BEST:: SOT 1937989 SOS 993887 HAS SOPS 956772 HAS SOUS 246284 HAS SOUPS 243583 WITH SCORE 244576.887
AT ITER 4526 NEW BEST:: SOT 1937597 SOS 993531 HAS SOPS 963096 HAS SOUS 245528 HAS SOUPS 243495 WITH SCORE 244488.531
AT ITER 4536 NEW BEST:: SOT 1937464 SOS 993344 HAS SOPS 962909 HAS SOUS 245369 HAS SOUPS 243336 WITH SCORE 244329.344
AT ITER 4541 NEW BEST:: SOT 1937446 SOS 993326 HAS SOPS 962891 HAS SOUS 245351 HAS SOUPS 243318 WITH SCORE 244311.326
AT ITER 4562 NEW BEST:: SOT 1937437 SOS 993321 HAS SOPS 962886 HAS SOUS 245351 HAS SOUPS 243318 WITH SCORE 244311.321
AT ITER 4570 NEW BEST:: SOT 1937101 SOS 993009 HAS SOPS 962574 HAS SOUS 245039 HAS SOUPS 243006 WITH SCORE 243999.009
AT ITER 4571 NEW BEST:: SOT 1936970 SOS 992822 HAS SOPS 962387 HAS SOUS 244828 HAS SOUPS 242795 WITH SCORE 243787.822
AT ITER 4572 NEW BEST:: SOT 1936930 SOS 997906 HAS SOPS 962190 HAS SOUS 244711 HAS SOUPS 242598 WITH SCORE 243595.906
AT ITER 4576 NEW BEST:: SOT 1936946 SOS 997922 HAS SOPS 962206 HAS SOUS 244619 HAS SOUPS 242506 WITH SCORE 243503.922
AT ITER 4593 NEW BEST:: SOT 1936946 SOS 997894 HAS SOPS 962178 HAS SOUS 244619 HAS SOUPS 242506 WITH SCORE 243503.894
AT ITER 4602 NEW BEST:: SOT 1936960 SOS 998004 HAS SOPS 962363 HAS SOUS 244572 HAS SOUPS 242459 WITH SCORE 243457.004
AT ITER 4610 NEW BEST:: SOT 1936877 SOS 998055 HAS SOPS 962386 HAS SOUS 244582 HAS SOUPS 242441 WITH SCORE 243439.055
AT ITER 4648 NEW BEST:: SOT 1936877 SOS 997975 HAS SOPS 962306 HAS SOUS 244502 HAS SOUPS 242361 WITH SCORE 243358.975
AT ITER 4657 NEW BEST:: SOT 1929735 SOS 990833 HAS SOPS 955164 HAS SOUS 243280 HAS SOUPS 241139 WITH SCORE 242129.833
AT ITER 4668 NEW BEST:: SOT 1929724 SOS 990800 HAS SOPS 955131 HAS SOUS 243280 HAS SOUPS 241139 WITH SCORE 242129.8
AT ITER 4672 NEW BEST:: SOT 1928929 SOS 989880 HAS SOPS 954211 HAS SOUS 243178 HAS SOUPS 241037 WITH SCORE 242026.88
AT ITER 4677 NEW BEST:: SOT 1928840 SOS 989791 HAS SOPS 954122 HAS SOUS 242927 HAS SOUPS 240786 WITH SCORE 241775.791
AT ITER 4694 NEW BEST:: SOT 1929120 SOS 990071 HAS SOPS 954402 HAS SOUS 242713 HAS SOUPS 240572 WITH SCORE 241562.071
AT ITER 4709 NEW BEST:: SOT 1929021 SOS 989875 HAS SOPS 954268 HAS SOUS 242709 HAS SOUPS 240568 WITH SCORE 241557.875
AT ITER 4774 NEW BEST:: SOT 1928974 SOS 989828 HAS SOPS 954221 HAS SOUS 242662 HAS SOUPS 240521 WITH SCORE 241510.828
AT ITER 4783 NEW BEST:: SOT 1928978 SOS 989965 HAS SOPS 954243 HAS SOUS 242654 HAS SOUPS 240512 WITH SCORE 241501.965
AT ITER 4796 NEW BEST:: SOT 1928924 SOS 990005 HAS SOPS 954283 HAS SOUS 242544 HAS SOUPS 240402 WITH SCORE 241392.005
AT ITER 4800 NEW BEST:: SOT 1928894 SOS 989975 HAS SOPS 954243 HAS SOUS 242504 HAS SOUPS 240362 WITH SCORE 241351.975
AT ITER 4819 NEW BEST:: SOT 1928841 SOS 989922 HAS SOPS 954243 HAS SOUS 242451 HAS SOUPS 240309 WITH SCORE 241298.922
AT ITER 4826 NEW BEST:: SOT 1928831 SOS 989906 HAS SOPS 954227 HAS SOUS 242435 HAS SOUPS 240293 WITH SCORE 241282.906
AT ITER 4828 NEW BEST:: SOT 1928821 SOS 989896 HAS SOPS 954217 HAS SOUS 242425 HAS SOUPS 240283 WITH SCORE 241272.896
AT ITER 4834 NEW BEST:: SOT 1928809 SOS 989883 HAS SOPS 954204 HAS SOUS 242412 HAS SOUPS 240270 WITH SCORE 241259.883
AT ITER 4835 NEW BEST:: SOT 1928727 SOS 989801 HAS SOPS 954122 HAS SOUS 242330 HAS SOUPS 240188 WITH SCORE 241177.801
AT ITER 4845 NEW BEST:: SOT 1928714 SOS 989788 HAS SOPS 954151 HAS SOUS 242161 HAS SOUPS 240019 WITH SCORE 241008.788
AT ITER 4846 NEW BEST:: SOT 1928512 SOS 989585 HAS SOPS 953948 HAS SOUS 241958 HAS SOUPS 239816 WITH SCORE 240805.585
AT ITER 4903 NEW BEST:: SOT 1928565 SOS 989851 HAS SOPS 954214 HAS SOUS 241927 HAS SOUPS 239785 WITH SCORE 240774.851
AT ITER 4925 NEW BEST:: SOT 1911440 SOS 972136 HAS SOPS 936499 HAS SOUS 240946 HAS SOUPS 238804 WITH SCORE 239776.136
AT ITER 4931 NEW BEST:: SOT 1911428 SOS 972124 HAS SOPS 936487 HAS SOUS 240931 HAS SOUPS 238789 WITH SCORE 239761.124
AT ITER 4947 NEW BEST:: SOT 1911467 SOS 972306 HAS SOPS 936669 HAS SOUS 240827 HAS SOUPS 238685 WITH SCORE 239657.306
AT ITER 4948 NEW BEST:: SOT 1911532 SOS 972264 HAS SOPS 936627 HAS SOUS 240704 HAS SOUPS 238562 WITH SCORE 239534.264
AT ITER 4968 NEW BEST:: SOT 1911490 SOS 972222 HAS SOPS 936585 HAS SOUS 240686 HAS SOUPS 238544 WITH SCORE 239516.222
AT ITER 5005 NEW BEST:: SOT 1911165 SOS 971897 HAS SOPS 936260 HAS SOUS 240101 HAS SOUPS 237959 WITH SCORE 238930.897
AT ITER 5007 NEW BEST:: SOT 1911141 SOS 971867 HAS SOPS 936230 HAS SOUS 240095 HAS SOUPS 237953 WITH SCORE 238924.867
AT ITER 5009 NEW BEST:: SOT 1911139 SOS 971865 HAS SOPS 936228 HAS SOUS 240091 HAS SOUPS 237949 WITH SCORE 238920.865
AT ITER 5020 NEW BEST:: SOT 1910999 SOS 971585 HAS SOPS 935948 HAS SOUS 239811 HAS SOUPS 237669 WITH SCORE 238640.585
AT ITER 5030 NEW BEST:: SOT 1910887 SOS 971473 HAS SOPS 935836 HAS SOUS 239601 HAS SOUPS 237459 WITH SCORE 238430.473
AT ITER 5032 NEW BEST:: SOT 1910868 SOS 971371 HAS SOPS 935734 HAS SOUS 239563 HAS SOUPS 237421 WITH SCORE 238392.371
AT ITER 5037 NEW BEST:: SOT 1910897 SOS 971732 HAS SOPS 936095 HAS SOUS 239289 HAS SOUPS 237147 WITH SCORE 238118.732
AT ITER 5048 NEW BEST:: SOT 1910673 SOS 971576 HAS SOPS 935939 HAS SOUS 238841 HAS SOUPS 236699 WITH SCORE 237670.576
AT ITER 5065 NEW BEST:: SOT 1910644 SOS 971547 HAS SOPS 935910 HAS SOUS 238783 HAS SOUPS 236641 WITH SCORE 237612.547
AT ITER 5126 NEW BEST:: SOT 1910622 SOS 971525 HAS SOPS 935888 HAS SOUS 238717 HAS SOUPS 236575 WITH SCORE 237546.525
AT ITER 5145 NEW BEST:: SOT 1910617 SOS 971525 HAS SOPS 935888 HAS SOUS 238702 HAS SOUPS 236560 WITH SCORE 237531.525
AT ITER 5164 NEW BEST:: SOT 1910617 SOS 971140 HAS SOPS 935503 HAS SOUS 238667 HAS SOUPS 236525 WITH SCORE 237496.14
AT ITER 5168 NEW BEST:: SOT 1910659 SOS 971182 HAS SOPS 935501 HAS SOUS 238621 HAS SOUPS 236479 WITH SCORE 237450.182
AT ITER 5202 NEW BEST:: SOT 1910649 SOS 971162 HAS SOPS 935481 HAS SOUS 238601 HAS SOUPS 236459 WITH SCORE 237430.162
AT ITER 5205 NEW BEST:: SOT 1910626 SOS 971116 HAS SOPS 935435 HAS SOUS 238574 HAS SOUPS 236432 WITH SCORE 237403.116
AT ITER 5221 NEW BEST:: SOT 1910717 SOS 971049 HAS SOPS 935368 HAS SOUS 238507 HAS SOUPS 236365 WITH SCORE 237336.049
AT ITER 5224 NEW BEST:: SOT 1910698 SOS 971030 HAS SOPS 935349 HAS SOUS 238497 HAS SOUPS 236355 WITH SCORE 237326.03
AT ITER 5229 NEW BEST:: SOT 1910575 SOS 970907 HAS SOPS 935226 HAS SOUS 238375 HAS SOUPS 236233 WITH SCORE 237203.907
AT ITER 5259 NEW BEST:: SOT 1909490 SOS 968589 HAS SOPS 932664 HAS SOUS 236806 HAS SOUPS 234664 WITH SCORE 235632.589
AT ITER 5273 NEW BEST:: SOT 1909490 SOS 968589 HAS SOPS 932664 HAS SOUS 236764 HAS SOUPS 234622 WITH SCORE 235590.589
AT ITER 5274 NEW BEST:: SOT 1909086 SOS 967983 HAS SOPS 932058 HAS SOUS 236259 HAS SOUPS 234117 WITH SCORE 235084.983
AT ITER 5311 NEW BEST:: SOT 1909086 SOS 967901 HAS SOPS 931976 HAS SOUS 236259 HAS SOUPS 234117 WITH SCORE 235084.901
AT ITER 5313 NEW BEST:: SOT 1908889 SOS 967718 HAS SOPS 931793 HAS SOUS 236105 HAS SOUPS 233963 WITH SCORE 234930.718
AT ITER 5350 NEW BEST:: SOT 1908866 SOS 967695 HAS SOPS 931753 HAS SOUS 236097 HAS SOUPS 233955 WITH SCORE 234922.695
AT ITER 5356 NEW BEST:: SOT 1908192 SOS 967245 HAS SOPS 931303 HAS SOUS 235889 HAS SOUPS 233747 WITH SCORE 234714.245
AT ITER 5358 NEW BEST:: SOT 1908162 SOS 967215 HAS SOPS 931273 HAS SOUS 235867 HAS SOUPS 233725 WITH SCORE 234692.215
AT ITER 5365 NEW BEST:: SOT 1908094 SOS 967011 HAS SOPS 931069 HAS SOUS 235867 HAS SOUPS 233725 WITH SCORE 234692.011
AT ITER 5368 NEW BEST:: SOT 1907986 SOS 966903 HAS SOPS 930961 HAS SOUS 235651 HAS SOUPS 233509 WITH SCORE 234475.903
AT ITER 5370 NEW BEST:: SOT 1907880 SOS 966504 HAS SOPS 930562 HAS SOUS 235556 HAS SOUPS 233414 WITH SCORE 234380.504
AT ITER 5372 NEW BEST:: SOT 1907857 SOS 954715 HAS SOPS 930105 HAS SOUS 235426 HAS SOUPS 233384 WITH SCORE 234338.715
AT ITER 5412 NEW BEST:: SOT 1907857 SOS 954759 HAS SOPS 930149 HAS SOUS 235360 HAS SOUPS 233318 WITH SCORE 234272.759
AT ITER 5421 NEW BEST:: SOT 1907643 SOS 954668 HAS SOPS 930058 HAS SOUS 235029 HAS SOUPS 232987 WITH SCORE 233941.668
AT ITER 5428 NEW BEST:: SOT 1907606 SOS 954841 HAS SOPS 930231 HAS SOUS 235018 HAS SOUPS 232976 WITH SCORE 233930.841
AT ITER 5430 NEW BEST:: SOT 1907598 SOS 954817 HAS SOPS 930207 HAS SOUS 234994 HAS SOUPS 232952 WITH SCORE 233906.817
AT ITER 5446 NEW BEST:: SOT 1907576 SOS 954795 HAS SOPS 930185 HAS SOUS 234950 HAS SOUPS 232908 WITH SCORE 233862.795
AT ITER 5456 NEW BEST:: SOT 1907454 SOS 954673 HAS SOPS 930139 HAS SOUS 234820 HAS SOUPS 232778 WITH SCORE 233732.673
AT ITER 5469 NEW BEST:: SOT 1907454 SOS 954673 HAS SOPS 930139 HAS SOUS 234818 HAS SOUPS 232776 WITH SCORE 233730.673
AT ITER 5487 NEW BEST:: SOT 1907549 SOS 954708 HAS SOPS 930174 HAS SOUS 234815 HAS SOUPS 232773 WITH SCORE 233727.708
AT ITER 5489 NEW BEST:: SOT 1906841 SOS 954000 HAS SOPS 929466 HAS SOUS 234778 HAS SOUPS 232736 WITH SCORE 233690.0
AT ITER 5510 NEW BEST:: SOT 1906763 SOS 953678 HAS SOPS 929144 HAS SOUS 234731 HAS SOUPS 232689 WITH SCORE 233642.678
AT ITER 5523 NEW BEST:: SOT 1906799 SOS 953714 HAS SOPS 929213 HAS SOUS 234701 HAS SOUPS 232659 WITH SCORE 233612.714
AT ITER 5527 NEW BEST:: SOT 1906799 SOS 953714 HAS SOPS 929213 HAS SOUS 234698 HAS SOUPS 232656 WITH SCORE 233609.714
AT ITER 5582 NEW BEST:: SOT 1906856 SOS 953771 HAS SOPS 929270 HAS SOUS 234569 HAS SOUPS 232527 WITH SCORE 233480.771
AT ITER 5585 NEW BEST:: SOT 1906845 SOS 953771 HAS SOPS 929270 HAS SOUS 234558 HAS SOUPS 232516 WITH SCORE 233469.771
AT ITER 5593 NEW BEST:: SOT 1906833 SOS 953759 HAS SOPS 929258 HAS SOUS 234534 HAS SOUPS 232492 WITH SCORE 233445.759
AT ITER 5607 NEW BEST:: SOT 1906568 SOS 953958 HAS SOPS 929457 HAS SOUS 234336 HAS SOUPS 232294 WITH SCORE 233247.958
AT ITER 5620 NEW BEST:: SOT 1906554 SOS 953944 HAS SOPS 929444 HAS SOUS 234308 HAS SOUPS 232266 WITH SCORE 233219.944
AT ITER 5635 NEW BEST:: SOT 1906012 SOS 953242 HAS SOPS 928742 HAS SOUS 233986 HAS SOUPS 231944 WITH SCORE 232897.242
AT ITER 5668 NEW BEST:: SOT 1905966 SOS 953196 HAS SOPS 928696 HAS SOUS 233868 HAS SOUPS 231826 WITH SCORE 232779.196
AT ITER 5706 NEW BEST:: SOT 1906041 SOS 953271 HAS SOPS 928731 HAS SOUS 233742 HAS SOUPS 231700 WITH SCORE 232653.271
AT ITER 5709 NEW BEST:: SOT 1906041 SOS 953271 HAS SOPS 928731 HAS SOUS 233725 HAS SOUPS 231683 WITH SCORE 232636.271
AT ITER 5715 NEW BEST:: SOT 1906049 SOS 953287 HAS SOPS 928747 HAS SOUS 233717 HAS SOUPS 231675 WITH SCORE 232628.287
AT ITER 5718 NEW BEST:: SOT 1906018 SOS 953256 HAS SOPS 928716 HAS SOUS 233660 HAS SOUPS 231618 WITH SCORE 232571.256
AT ITER 5719 NEW BEST:: SOT 1905919 SOS 953080 HAS SOPS 928540 HAS SOUS 233389 HAS SOUPS 231347 WITH SCORE 232300.08
AT ITER 5720 NEW BEST:: SOT 1905830 SOS 952889 HAS SOPS 928349 HAS SOUS 233279 HAS SOUPS 231237 WITH SCORE 232189.889
AT ITER 5735 NEW BEST:: SOT 1905816 SOS 952861 HAS SOPS 928321 HAS SOUS 232318 HAS SOUPS 230276 WITH SCORE 231228.861
AT ITER 5740 NEW BEST:: SOT 1905744 SOS 952789 HAS SOPS 928249 HAS SOUS 232273 HAS SOUPS 230231 WITH SCORE 231183.789
AT ITER 5751 NEW BEST:: SOT 1905713 SOS 947502 HAS SOPS 922962 HAS SOUS 232043 HAS SOUPS 230001 WITH SCORE 230948.502
AT ITER 5772 NEW BEST:: SOT 1905543 SOS 947332 HAS SOPS 922792 HAS SOUS 231997 HAS SOUPS 229955 WITH SCORE 230902.332
AT ITER 5775 NEW BEST:: SOT 1905541 SOS 947330 HAS SOPS 922790 HAS SOUS 231997 HAS SOUPS 229955 WITH SCORE 230902.33
AT ITER 5788 NEW BEST:: SOT 1895353 SOS 937142 HAS SOPS 912602 HAS SOUS 231155 HAS SOUPS 229113 WITH SCORE 230050.142
AT ITER 5811 NEW BEST:: SOT 1895149 SOS 936926 HAS SOPS 912386 HAS SOUS 230875 HAS SOUPS 228833 WITH SCORE 229769.926
AT ITER 5822 NEW BEST:: SOT 1895186 SOS 936963 HAS SOPS 912377 HAS SOUS 230715 HAS SOUPS 228673 WITH SCORE 229609.963
AT ITER 5826 NEW BEST:: SOT 1890868 SOS 932557 HAS SOPS 907936 HAS SOUS 230283 HAS SOUPS 228241 WITH SCORE 229173.557
AT ITER 5832 NEW BEST:: SOT 1891065 SOS 932931 HAS SOPS 904510 HAS SOUS 230657 HAS SOUPS 228235 WITH SCORE 229167.931
AT ITER 5842 NEW BEST:: SOT 1890883 SOS 932749 HAS SOPS 904328 HAS SOUS 230456 HAS SOUPS 228034 WITH SCORE 228966.749
AT ITER 5888 NEW BEST:: SOT 1890865 SOS 932350 HAS SOPS 903929 HAS SOUS 230417 HAS SOUPS 227995 WITH SCORE 228927.35
AT ITER 5911 NEW BEST:: SOT 1890865 SOS 932297 HAS SOPS 903876 HAS SOUS 230417 HAS SOUPS 227995 WITH SCORE 228927.297
AT ITER 5926 NEW BEST:: SOT 1890864 SOS 932295 HAS SOPS 903875 HAS SOUS 230417 HAS SOUPS 227995 WITH SCORE 228927.295
AT ITER 5955 NEW BEST:: SOT 1890856 SOS 932287 HAS SOPS 903901 HAS SOUS 230401 HAS SOUPS 227979 WITH SCORE 228911.287
AT ITER 5960 NEW BEST:: SOT 1890855 SOS 932286 HAS SOPS 903900 HAS SOUS 230399 HAS SOUPS 227977 WITH SCORE 228909.286
AT ITER 5973 NEW BEST:: SOT 1890395 SOS 931826 HAS SOPS 903440 HAS SOUS 229665 HAS SOUPS 227243 WITH SCORE 228174.826
AT ITER 5994 NEW BEST:: SOT 1890334 SOS 931675 HAS SOPS 903289 HAS SOUS 229543 HAS SOUPS 227121 WITH SCORE 228052.675
AT ITER 6014 NEW BEST:: SOT 1890305 SOS 931910 HAS SOPS 903524 HAS SOUS 229060 HAS SOUPS 226638 WITH SCORE 227569.91
AT ITER 6020 NEW BEST:: SOT 1887885 SOS 929490 HAS SOPS 901104 HAS SOUS 228697 HAS SOUPS 226275 WITH SCORE 227204.49
AT ITER 6023 NEW BEST:: SOT 1887873 SOS 929478 HAS SOPS 901092 HAS SOUS 228673 HAS SOUPS 226251 WITH SCORE 227180.478
AT ITER 6026 NEW BEST:: SOT 1887788 SOS 929393 HAS SOPS 901007 HAS SOUS 228574 HAS SOUPS 226152 WITH SCORE 227081.393
AT ITER 6027 NEW BEST:: SOT 1887749 SOS 929315 HAS SOPS 900929 HAS SOUS 228496 HAS SOUPS 226074 WITH SCORE 227003.315
AT ITER 6031 NEW BEST:: SOT 1887733 SOS 929241 HAS SOPS 900855 HAS SOUS 228470 HAS SOUPS 226048 WITH SCORE 226977.241
AT ITER 6065 NEW BEST:: SOT 1887763 SOS 929289 HAS SOPS 900903 HAS SOUS 228404 HAS SOUPS 225982 WITH SCORE 226911.289
AT ITER 6066 NEW BEST:: SOT 1887763 SOS 929277 HAS SOPS 900897 HAS SOUS 228398 HAS SOUPS 225976 WITH SCORE 226905.277
AT ITER 6076 NEW BEST:: SOT 1887643 SOS 929157 HAS SOPS 900804 HAS SOUS 228256 HAS SOUPS 225856 WITH SCORE 226785.157
AT ITER 6142 NEW BEST:: SOT 1887588 SOS 929102 HAS SOPS 900749 HAS SOUS 228093 HAS SOUPS 225693 WITH SCORE 226622.102
AT ITER 6148 NEW BEST:: SOT 1886960 SOS 928284 HAS SOPS 899931 HAS SOUS 227249 HAS SOUPS 224849 WITH SCORE 225777.284
AT ITER 6152 NEW BEST:: SOT 1886936 SOS 928250 HAS SOPS 899897 HAS SOUS 227215 HAS SOUPS 224815 WITH SCORE 225743.25
AT ITER 6165 NEW BEST:: SOT 1885382 SOS 924566 HAS SOPS 896213 HAS SOUS 225591 HAS SOUPS 223191 WITH SCORE 224115.566
AT ITER 6197 NEW BEST:: SOT 1885142 SOS 924326 HAS SOPS 895973 HAS SOUS 225411 HAS SOUPS 223011 WITH SCORE 223935.326
AT ITER 6198 NEW BEST:: SOT 1885142 SOS 924326 HAS SOPS 895973 HAS SOUS 225388 HAS SOUPS 222988 WITH SCORE 223912.326
AT ITER 6205 NEW BEST:: SOT 1885141 SOS 924285 HAS SOPS 895932 HAS SOUS 225386 HAS SOUPS 222986 WITH SCORE 223910.285
AT ITER 6207 NEW BEST:: SOT 1885154 SOS 924298 HAS SOPS 895945 HAS SOUS 225385 HAS SOUPS 222985 WITH SCORE 223909.298
AT ITER 6215 NEW BEST:: SOT 1885252 SOS 924396 HAS SOPS 896043 HAS SOUS 225296 HAS SOUPS 222896 WITH SCORE 223820.396
AT ITER 6239 NEW BEST:: SOT 1885180 SOS 924315 HAS SOPS 895953 HAS SOUS 225242 HAS SOUPS 222842 WITH SCORE 223766.315
AT ITER 6268 NEW BEST:: SOT 1881980 SOS 921232 HAS SOPS 892870 HAS SOUS 225037 HAS SOUPS 222637 WITH SCORE 223558.232
AT ITER 6277 NEW BEST:: SOT 1881960 SOS 921179 HAS SOPS 892817 HAS SOUS 224984 HAS SOUPS 222584 WITH SCORE 223505.179
AT ITER 6282 NEW BEST:: SOT 1881955 SOS 921159 HAS SOPS 892797 HAS SOUS 224984 HAS SOUPS 222584 WITH SCORE 223505.159
AT ITER 6283 NEW BEST:: SOT 1881917 SOS 918879 HAS SOPS 890517 HAS SOUS 224946 HAS SOUPS 222546 WITH SCORE 223464.879
AT ITER 6287 NEW BEST:: SOT 1881981 SOS 909582 HAS SOPS 881220 HAS SOUS 224663 HAS SOUPS 222263 WITH SCORE 223172.582
AT ITER 6291 NEW BEST:: SOT 1881843 SOS 909444 HAS SOPS 881082 HAS SOUS 224363 HAS SOUPS 221963 WITH SCORE 222872.444
AT ITER 6304 NEW BEST:: SOT 1881725 SOS 909302 HAS SOPS 880940 HAS SOUS 224350 HAS SOUPS 221950 WITH SCORE 222859.302
AT ITER 6332 NEW BEST:: SOT 1881729 SOS 909306 HAS SOPS 880930 HAS SOUS 224330 HAS SOUPS 221930 WITH SCORE 222839.306
AT ITER 6347 NEW BEST:: SOT 1881729 SOS 909306 HAS SOPS 880885 HAS SOUS 224323 HAS SOUPS 221923 WITH SCORE 222832.306
AT ITER 6354 NEW BEST:: SOT 1881724 SOS 909389 HAS SOPS 880968 HAS SOUS 224313 HAS SOUPS 221913 WITH SCORE 222822.389
AT ITER 6365 NEW BEST:: SOT 1881790 SOS 910000 HAS SOPS 881579 HAS SOUS 224143 HAS SOUPS 221743 WITH SCORE 222653.0
AT ITER 6370 NEW BEST:: SOT 1881864 SOS 909812 HAS SOPS 881391 HAS SOUS 224138 HAS SOUPS 221738 WITH SCORE 222647.812
AT ITER 6377 NEW BEST:: SOT 1881866 SOS 909808 HAS SOPS 881387 HAS SOUS 224134 HAS SOUPS 221734 WITH SCORE 222643.808
AT ITER 6410 NEW BEST:: SOT 1879024 SOS 906983 HAS SOPS 878562 HAS SOUS 223625 HAS SOUPS 221225 WITH SCORE 222131.983
AT ITER 6416 NEW BEST:: SOT 1872176 SOS 908238 HAS SOPS 879817 HAS SOUS 223243 HAS SOUPS 220843 WITH SCORE 221751.238
AT ITER 6489 NEW BEST:: SOT 1872127 SOS 908574 HAS SOPS 880153 HAS SOUS 223229 HAS SOUPS 220829 WITH SCORE 221737.574
AT ITER 6501 NEW BEST:: SOT 1872111 SOS 908542 HAS SOPS 880121 HAS SOUS 223197 HAS SOUPS 220797 WITH SCORE 221705.542
AT ITER 6514 NEW BEST:: SOT 1872111 SOS 908542 HAS SOPS 880120 HAS SOUS 223195 HAS SOUPS 220795 WITH SCORE 221703.542
AT ITER 6541 NEW BEST:: SOT 1871578 SOS 907847 HAS SOPS 879425 HAS SOUS 222779 HAS SOUPS 220379 WITH SCORE 221286.847
AT ITER 6561 NEW BEST:: SOT 1871444 SOS 907763 HAS SOPS 879341 HAS SOUS 222757 HAS SOUPS 220357 WITH SCORE 221264.763
AT ITER 6565 NEW BEST:: SOT 1871381 SOS 907700 HAS SOPS 879278 HAS SOUS 222695 HAS SOUPS 220295 WITH SCORE 221202.7
AT ITER 6566 NEW BEST:: SOT 1871351 SOS 907670 HAS SOPS 879248 HAS SOUS 222665 HAS SOUPS 220265 WITH SCORE 221172.67
AT ITER 6570 NEW BEST:: SOT 1871352 SOS 907671 HAS SOPS 879221 HAS SOUS 222611 HAS SOUPS 220211 WITH SCORE 221118.671
AT ITER 6576 NEW BEST:: SOT 1871310 SOS 907629 HAS SOPS 879179 HAS SOUS 222548 HAS SOUPS 220148 WITH SCORE 221055.629
AT ITER 6610 NEW BEST:: SOT 1871289 SOS 907608 HAS SOPS 879158 HAS SOUS 222527 HAS SOUPS 220127 WITH SCORE 221034.608
AT ITER 6627 NEW BEST:: SOT 1871325 SOS 907736 HAS SOPS 879286 HAS SOUS 222507 HAS SOUPS 220107 WITH SCORE 221014.736
AT ITER 6642 NEW BEST:: SOT 1871238 SOS 907649 HAS SOPS 879194 HAS SOUS 222480 HAS SOUPS 220080 WITH SCORE 220987.649
AT ITER 6644 NEW BEST:: SOT 1871203 SOS 907614 HAS SOPS 879159 HAS SOUS 222480 HAS SOUPS 220080 WITH SCORE 220987.614
AT ITER 6658 NEW BEST:: SOT 1870726 SOS 907589 HAS SOPS 879134 HAS SOUS 222392 HAS SOUPS 219992 WITH SCORE 220899.589
AT ITER 6671 NEW BEST:: SOT 1869804 SOS 906151 HAS SOPS 877696 HAS SOUS 221988 HAS SOUPS 219588 WITH SCORE 220494.151
AT ITER 6705 NEW BEST:: SOT 1869878 SOS 906225 HAS SOPS 877688 HAS SOUS 221912 HAS SOUPS 219512 WITH SCORE 220418.225
AT ITER 6722 NEW BEST:: SOT 1869866 SOS 906327 HAS SOPS 877790 HAS SOUS 221881 HAS SOUPS 219481 WITH SCORE 220387.327
AT ITER 6754 NEW BEST:: SOT 1869898 SOS 906441 HAS SOPS 877904 HAS SOUS 221801 HAS SOUPS 219401 WITH SCORE 220307.441
AT ITER 6777 NEW BEST:: SOT 1869887 SOS 906337 HAS SOPS 877658 HAS SOUS 221615 HAS SOUPS 219215 WITH SCORE 220121.337
AT ITER 6780 NEW BEST:: SOT 1869884 SOS 906334 HAS SOPS 877651 HAS SOUS 221601 HAS SOUPS 219201 WITH SCORE 220107.334
AT ITER 6781 NEW BEST:: SOT 1870077 SOS 906597 HAS SOPS 877914 HAS SOUS 221517 HAS SOUPS 219117 WITH SCORE 220023.597
AT ITER 6788 NEW BEST:: SOT 1869996 SOS 906475 HAS SOPS 877792 HAS SOUS 221478 HAS SOUPS 219078 WITH SCORE 219984.475
AT ITER 6795 NEW BEST:: SOT 1869984 SOS 906463 HAS SOPS 877780 HAS SOUS 221478 HAS SOUPS 219078 WITH SCORE 219984.463
AT ITER 6797 NEW BEST:: SOT 1869433 SOS 905420 HAS SOPS 876737 HAS SOUS 220609 HAS SOUPS 218209 WITH SCORE 219114.42
AT ITER 6811 NEW BEST:: SOT 1869505 SOS 905699 HAS SOPS 877016 HAS SOUS 220529 HAS SOUPS 218129 WITH SCORE 219034.699
AT ITER 6821 NEW BEST:: SOT 1869360 SOS 905444 HAS SOPS 876761 HAS SOUS 220322 HAS SOUPS 217922 WITH SCORE 218827.444
AT ITER 6824 NEW BEST:: SOT 1869482 SOS 905174 HAS SOPS 876491 HAS SOUS 220208 HAS SOUPS 217808 WITH SCORE 218713.174
AT ITER 6833 NEW BEST:: SOT 1869206 SOS 904686 HAS SOPS 876003 HAS SOUS 219720 HAS SOUPS 217320 WITH SCORE 218224.686
AT ITER 6840 NEW BEST:: SOT 1869223 SOS 904619 HAS SOPS 875936 HAS SOUS 219592 HAS SOUPS 217192 WITH SCORE 218096.619
AT ITER 6842 NEW BEST:: SOT 1869049 SOS 904335 HAS SOPS 875652 HAS SOUS 219009 HAS SOUPS 216609 WITH SCORE 217513.335
AT ITER 6857 NEW BEST:: SOT 1869042 SOS 904328 HAS SOPS 875638 HAS SOUS 219009 HAS SOUPS 216609 WITH SCORE 217513.328
AT ITER 6859 NEW BEST:: SOT 1861149 SOS 896281 HAS SOPS 867591 HAS SOUS 218976 HAS SOUPS 216576 WITH SCORE 217472.281
AT ITER 6868 NEW BEST:: SOT 1861004 SOS 896165 HAS SOPS 867475 HAS SOUS 218744 HAS SOUPS 216344 WITH SCORE 217240.165
AT ITER 6888 NEW BEST:: SOT 1860982 SOS 896143 HAS SOPS 867453 HAS SOUS 218722 HAS SOUPS 216322 WITH SCORE 217218.143
AT ITER 6904 NEW BEST:: SOT 1860950 SOS 896120 HAS SOPS 867430 HAS SOUS 218702 HAS SOUPS 216302 WITH SCORE 217198.12
AT ITER 6918 NEW BEST:: SOT 1860943 SOS 896113 HAS SOPS 867423 HAS SOUS 218696 HAS SOUPS 216296 WITH SCORE 217192.113
AT ITER 6962 NEW BEST:: SOT 1860915 SOS 896057 HAS SOPS 867367 HAS SOUS 218640 HAS SOUPS 216240 WITH SCORE 217136.057
AT ITER 6987 NEW BEST:: SOT 1860832 SOS 895924 HAS SOPS 867234 HAS SOUS 218524 HAS SOUPS 216124 WITH SCORE 217019.924
AT ITER 7001 NEW BEST:: SOT 1860854 SOS 895986 HAS SOPS 867296 HAS SOUS 217808 HAS SOUPS 215408 WITH SCORE 216303.986
AT ITER 7004 NEW BEST:: SOT 1860687 SOS 895917 HAS SOPS 867227 HAS SOUS 217719 HAS SOUPS 215319 WITH SCORE 216214.917
AT ITER 7006 NEW BEST:: SOT 1860680 SOS 895903 HAS SOPS 867213 HAS SOUS 217705 HAS SOUPS 215305 WITH SCORE 216200.903
AT ITER 7013 NEW BEST:: SOT 1860572 SOS 895774 HAS SOPS 867084 HAS SOUS 217600 HAS SOUPS 215200 WITH SCORE 216095.774
AT ITER 7028 NEW BEST:: SOT 1860387 SOS 895408 HAS SOPS 866718 HAS SOUS 217592 HAS SOUPS 215192 WITH SCORE 216087.408
AT ITER 7072 NEW BEST:: SOT 1860387 SOS 895408 HAS SOPS 866555 HAS SOUS 217424 HAS SOUPS 215024 WITH SCORE 215919.408
AT ITER 7080 NEW BEST:: SOT 1860409 SOS 895396 HAS SOPS 866543 HAS SOUS 217422 HAS SOUPS 215022 WITH SCORE 215917.396
AT ITER 7101 NEW BEST:: SOT 1860332 SOS 895319 HAS SOPS 866351 HAS SOUS 217305 HAS SOUPS 214905 WITH SCORE 215800.319
AT ITER 7104 NEW BEST:: SOT 1860353 SOS 895379 HAS SOPS 866309 HAS SOUS 217293 HAS SOUPS 214893 WITH SCORE 215788.379
AT ITER 7129 NEW BEST:: SOT 1860289 SOS 895283 HAS SOPS 866213 HAS SOUS 217229 HAS SOUPS 214829 WITH SCORE 215724.283
AT ITER 7149 NEW BEST:: SOT 1860279 SOS 895273 HAS SOPS 866203 HAS SOUS 217223 HAS SOUPS 214823 WITH SCORE 215718.273
AT ITER 7153 NEW BEST:: SOT 1859954 SOS 895447 HAS SOPS 866678 HAS SOUS 216800 HAS SOUPS 214400 WITH SCORE 215295.447
AT ITER 7209 NEW BEST:: SOT 1859953 SOS 895446 HAS SOPS 866652 HAS SOUS 216624 HAS SOUPS 214224 WITH SCORE 215119.446
AT ITER 7225 NEW BEST:: SOT 1859935 SOS 895428 HAS SOPS 866634 HAS SOUS 216606 HAS SOUPS 214206 WITH SCORE 215101.428
AT ITER 7254 NEW BEST:: SOT 1859915 SOS 895425 HAS SOPS 866631 HAS SOUS 216603 HAS SOUPS 214203 WITH SCORE 215098.425
AT ITER 7255 NEW BEST:: SOT 1859914 SOS 895413 HAS SOPS 866619 HAS SOUS 216602 HAS SOUPS 214202 WITH SCORE 215097.413
AT ITER 7272 NEW BEST:: SOT 1859901 SOS 895075 HAS SOPS 866437 HAS SOUS 216576 HAS SOUPS 214189 WITH SCORE 215084.075
AT ITER 7305 NEW BEST:: SOT 1859888 SOS 895033 HAS SOPS 866395 HAS SOUS 216558 HAS SOUPS 214171 WITH SCORE 215066.033
AT ITER 7388 NEW BEST:: SOT 1859917 SOS 894892 HAS SOPS 866254 HAS SOUS 216417 HAS SOUPS 214030 WITH SCORE 214924.892
AT ITER 7412 NEW BEST:: SOT 1859855 SOS 894830 HAS SOPS 866192 HAS SOUS 216332 HAS SOUPS 213945 WITH SCORE 214839.83
AT ITER 7414 NEW BEST:: SOT 1859667 SOS 894544 HAS SOPS 865906 HAS SOUS 216223 HAS SOUPS 213836 WITH SCORE 214730.544
AT ITER 7416 NEW BEST:: SOT 1856618 SOS 891361 HAS SOPS 862723 HAS SOUS 215847 HAS SOUPS 213460 WITH SCORE 214351.361
AT ITER 7444 NEW BEST:: SOT 1856528 SOS 891243 HAS SOPS 862605 HAS SOUS 215779 HAS SOUPS 213392 WITH SCORE 214283.243
AT ITER 7452 NEW BEST:: SOT 1856460 SOS 891258 HAS SOPS 862620 HAS SOUS 215660 HAS SOUPS 213273 WITH SCORE 214164.258
AT ITER 7469 NEW BEST:: SOT 1856388 SOS 891186 HAS SOPS 862548 HAS SOUS 215498 HAS SOUPS 213111 WITH SCORE 214002.186
AT ITER 7537 NEW BEST:: SOT 1856316 SOS 891183 HAS SOPS 862394 HAS SOUS 215341 HAS SOUPS 212954 WITH SCORE 213845.183
AT ITER 7542 NEW BEST:: SOT 1856308 SOS 891175 HAS SOPS 862386 HAS SOUS 215325 HAS SOUPS 212938 WITH SCORE 213829.175
AT ITER 7605 NEW BEST:: SOT 1856294 SOS 891141 HAS SOPS 862352 HAS SOUS 215304 HAS SOUPS 212917 WITH SCORE 213808.141
AT ITER 7625 NEW BEST:: SOT 1856272 SOS 891119 HAS SOPS 862330 HAS SOUS 215282 HAS SOUPS 212895 WITH SCORE 213786.119
AT ITER 7627 NEW BEST:: SOT 1856326 SOS 891233 HAS SOPS 862444 HAS SOUS 215210 HAS SOUPS 212823 WITH SCORE 213714.233
AT ITER 7670 NEW BEST:: SOT 1856228 SOS 891095 HAS SOPS 862306 HAS SOUS 215121 HAS SOUPS 212734 WITH SCORE 213625.095
AT ITER 7674 NEW BEST:: SOT 1856228 SOS 890950 HAS SOPS 862161 HAS SOUS 215121 HAS SOUPS 212734 WITH SCORE 213624.95
AT ITER 7724 NEW BEST:: SOT 1856197 SOS 890888 HAS SOPS 862099 HAS SOUS 215094 HAS SOUPS 212707 WITH SCORE 213597.888
AT ITER 7732 NEW BEST:: SOT 1856189 SOS 890880 HAS SOPS 862091 HAS SOUS 215086 HAS SOUPS 212699 WITH SCORE 213589.88
AT ITER 7734 NEW BEST:: SOT 1855916 SOS 890538 HAS SOPS 861749 HAS SOUS 214896 HAS SOUPS 212509 WITH SCORE 213399.538
AT ITER 7750 NEW BEST:: SOT 1855889 SOS 890503 HAS SOPS 861714 HAS SOUS 214834 HAS SOUPS 212447 WITH SCORE 213337.503
AT ITER 7791 NEW BEST:: SOT 1855945 SOS 890330 HAS SOPS 861541 HAS SOUS 214661 HAS SOUPS 212274 WITH SCORE 213164.33
AT ITER 7792 NEW BEST:: SOT 1855903 SOS 890288 HAS SOPS 861499 HAS SOUS 214577 HAS SOUPS 212190 WITH SCORE 213080.288
AT ITER 7820 NEW BEST:: SOT 1856090 SOS 890906 HAS SOPS 862117 HAS SOUS 214487 HAS SOUPS 212100 WITH SCORE 212990.906
AT ITER 7829 NEW BEST:: SOT 1856074 SOS 890890 HAS SOPS 862101 HAS SOUS 214436 HAS SOUPS 212049 WITH SCORE 212939.89
AT ITER 7847 NEW BEST:: SOT 1856087 SOS 890834 HAS SOPS 862045 HAS SOUS 214433 HAS SOUPS 212046 WITH SCORE 212936.834
AT ITER 7849 NEW BEST:: SOT 1856156 SOS 890938 HAS SOPS 862149 HAS SOUS 214431 HAS SOUPS 212044 WITH SCORE 212934.938
AT ITER 7858 NEW BEST:: SOT 1856156 SOS 889055 HAS SOPS 860266 HAS SOUS 214403 HAS SOUPS 212016 WITH SCORE 212905.055
AT ITER 7859 NEW BEST:: SOT 1856146 SOS 889166 HAS SOPS 860377 HAS SOUS 214395 HAS SOUPS 212008 WITH SCORE 212897.166
AT ITER 7873 NEW BEST:: SOT 1856146 SOS 889402 HAS SOPS 860731 HAS SOUS 214277 HAS SOUPS 211890 WITH SCORE 212779.402
AT ITER 7895 NEW BEST:: SOT 1856214 SOS 889447 HAS SOPS 860776 HAS SOUS 214144 HAS SOUPS 211757 WITH SCORE 212646.447
AT ITER 7926 NEW BEST:: SOT 1856028 SOS 889394 HAS SOPS 860723 HAS SOUS 214091 HAS SOUPS 211704 WITH SCORE 212593.394
AT ITER 7971 NEW BEST:: SOT 1856011 SOS 883723 HAS SOPS 855052 HAS SOUS 213939 HAS SOUPS 211552 WITH SCORE 212435.723
AT ITER 7987 NEW BEST:: SOT 1856011 SOS 883723 HAS SOPS 855052 HAS SOUS 213885 HAS SOUPS 211498 WITH SCORE 212381.723
AT ITER 7992 NEW BEST:: SOT 1855864 SOS 844735 HAS SOPS 816064 HAS SOUS 213863 HAS SOUPS 211476 WITH SCORE 212320.735
AT ITER 8019 NEW BEST:: SOT 1855774 SOS 844645 HAS SOPS 815974 HAS SOUS 213665 HAS SOUPS 211278 WITH SCORE 212122.645
AT ITER 8020 NEW BEST:: SOT 1855774 SOS 841388 HAS SOPS 815581 HAS SOUS 213347 HAS SOUPS 211002 WITH SCORE 211843.388
AT ITER 8024 NEW BEST:: SOT 1855749 SOS 841363 HAS SOPS 815556 HAS SOUS 213303 HAS SOUPS 210958 WITH SCORE 211799.363
AT ITER 8033 NEW BEST:: SOT 1855779 SOS 841363 HAS SOPS 815556 HAS SOUS 213275 HAS SOUPS 210930 WITH SCORE 211771.363
AT ITER 8072 NEW BEST:: SOT 1855749 SOS 841333 HAS SOPS 815526 HAS SOUS 213239 HAS SOUPS 210894 WITH SCORE 211735.333
AT ITER 8081 NEW BEST:: SOT 1855700 SOS 841284 HAS SOPS 815444 HAS SOUS 213176 HAS SOUPS 210831 WITH SCORE 211672.284
AT ITER 8117 NEW BEST:: SOT 1855604 SOS 841188 HAS SOPS 815348 HAS SOUS 213134 HAS SOUPS 210789 WITH SCORE 211630.188
AT ITER 8138 NEW BEST:: SOT 1855549 SOS 841078 HAS SOPS 815238 HAS SOUS 213024 HAS SOUPS 210679 WITH SCORE 211520.078
AT ITER 8140 NEW BEST:: SOT 1855371 SOS 840900 HAS SOPS 815060 HAS SOUS 212745 HAS SOUPS 210400 WITH SCORE 211240.9
AT ITER 8155 NEW BEST:: SOT 1855329 SOS 840858 HAS SOPS 815018 HAS SOUS 212661 HAS SOUPS 210316 WITH SCORE 211156.858
AT ITER 8157 NEW BEST:: SOT 1855319 SOS 840838 HAS SOPS 814998 HAS SOUS 212651 HAS SOUPS 210306 WITH SCORE 211146.838
AT ITER 8177 NEW BEST:: SOT 1855297 SOS 840816 HAS SOPS 814976 HAS SOUS 212651 HAS SOUPS 210306 WITH SCORE 211146.816
AT ITER 8191 NEW BEST:: SOT 1855264 SOS 840750 HAS SOPS 814910 HAS SOUS 212568 HAS SOUPS 210223 WITH SCORE 211063.75
AT ITER 8201 NEW BEST:: SOT 1855204 SOS 840690 HAS SOPS 814850 HAS SOUS 212448 HAS SOUPS 210103 WITH SCORE 210943.69
AT ITER 8232 NEW BEST:: SOT 1854982 SOS 840675 HAS SOPS 814835 HAS SOUS 212314 HAS SOUPS 209969 WITH SCORE 210809.675
AT ITER 8308 NEW BEST:: SOT 1854982 SOS 839515 HAS SOPS 813675 HAS SOUS 212314 HAS SOUPS 209969 WITH SCORE 210808.515
AT ITER 8316 NEW BEST:: SOT 1854874 SOS 839422 HAS SOPS 813582 HAS SOUS 212278 HAS SOUPS 209933 WITH SCORE 210772.422
AT ITER 8321 NEW BEST:: SOT 1854723 SOS 839111 HAS SOPS 813350 HAS SOUS 212240 HAS SOUPS 209895 WITH SCORE 210734.111
AT ITER 8332 NEW BEST:: SOT 1854675 SOS 839036 HAS SOPS 813304 HAS SOUS 212208 HAS SOUPS 209863 WITH SCORE 210702.036
AT ITER 8346 NEW BEST:: SOT 1854650 SOS 839316 HAS SOPS 813584 HAS SOUS 212188 HAS SOUPS 209843 WITH SCORE 210682.316
AT ITER 8368 NEW BEST:: SOT 1854604 SOS 839270 HAS SOPS 813559 HAS SOUS 212096 HAS SOUPS 209751 WITH SCORE 210590.27
AT ITER 8390 NEW BEST:: SOT 1854561 SOS 839244 HAS SOPS 813533 HAS SOUS 210912 HAS SOUPS 208567 WITH SCORE 209406.244
AT ITER 8393 NEW BEST:: SOT 1854562 SOS 839242 HAS SOPS 813531 HAS SOUS 210911 HAS SOUPS 208566 WITH SCORE 209405.242
AT ITER 8451 NEW BEST:: SOT 1854502 SOS 839182 HAS SOPS 813471 HAS SOUS 210811 HAS SOUPS 208466 WITH SCORE 209305.182
AT ITER 8466 NEW BEST:: SOT 1854468 SOS 839080 HAS SOPS 813335 HAS SOUS 210709 HAS SOUPS 208364 WITH SCORE 209203.08
AT ITER 8470 NEW BEST:: SOT 1854346 SOS 838833 HAS SOPS 813088 HAS SOUS 210605 HAS SOUPS 208260 WITH SCORE 209098.833
AT ITER 8494 NEW BEST:: SOT 1854293 SOS 838720 HAS SOPS 812975 HAS SOUS 210499 HAS SOUPS 208154 WITH SCORE 208992.72
AT ITER 8513 NEW BEST:: SOT 1854173 SOS 838540 HAS SOPS 812795 HAS SOUS 210319 HAS SOUPS 207974 WITH SCORE 208812.54
AT ITER 8515 NEW BEST:: SOT 1854139 SOS 838487 HAS SOPS 812749 HAS SOUS 210287 HAS SOUPS 207944 WITH SCORE 208782.487
AT ITER 8532 NEW BEST:: SOT 1854113 SOS 838461 HAS SOPS 812723 HAS SOUS 210261 HAS SOUPS 207918 WITH SCORE 208756.461
AT ITER 8546 NEW BEST:: SOT 1854034 SOS 838264 HAS SOPS 812526 HAS SOUS 210123 HAS SOUPS 207780 WITH SCORE 208618.264
AT ITER 8582 NEW BEST:: SOT 1854022 SOS 838252 HAS SOPS 812502 HAS SOUS 210099 HAS SOUPS 207756 WITH SCORE 208594.252
AT ITER 8586 NEW BEST:: SOT 1853998 SOS 838228 HAS SOPS 812482 HAS SOUS 210071 HAS SOUPS 207728 WITH SCORE 208566.228
AT ITER 8592 NEW BEST:: SOT 1853972 SOS 838254 HAS SOPS 812508 HAS SOUS 210067 HAS SOUPS 207724 WITH SCORE 208562.254
AT ITER 8598 NEW BEST:: SOT 1853774 SOS 838056 HAS SOPS 812310 HAS SOUS 209853 HAS SOUPS 207510 WITH SCORE 208348.056
AT ITER 8614 NEW BEST:: SOT 1853762 SOS 838562 HAS SOPS 812816 HAS SOUS 209850 HAS SOUPS 207507 WITH SCORE 208345.562
AT ITER 8619 NEW BEST:: SOT 1853754 SOS 838554 HAS SOPS 812808 HAS SOUS 209788 HAS SOUPS 207445 WITH SCORE 208283.554
AT ITER 8624 NEW BEST:: SOT 1853488 SOS 838288 HAS SOPS 812542 HAS SOUS 209672 HAS SOUPS 207329 WITH SCORE 208167.288
AT ITER 8646 NEW BEST:: SOT 1853455 SOS 838415 HAS SOPS 812669 HAS SOUS 209639 HAS SOUPS 207296 WITH SCORE 208134.415
AT ITER 8681 NEW BEST:: SOT 1853455 SOS 838434 HAS SOPS 812688 HAS SOUS 209634 HAS SOUPS 207291 WITH SCORE 208129.434
AT ITER 8707 NEW BEST:: SOT 1853463 SOS 838450 HAS SOPS 812704 HAS SOUS 209626 HAS SOUPS 207283 WITH SCORE 208121.45
AT ITER 8735 NEW BEST:: SOT 1853210 SOS 838168 HAS SOPS 812422 HAS SOUS 209442 HAS SOUPS 207099 WITH SCORE 207937.168
AT ITER 8775 NEW BEST:: SOT 1853411 SOS 838216 HAS SOPS 812470 HAS SOUS 209318 HAS SOUPS 206975 WITH SCORE 207813.216
AT ITER 8833 NEW BEST:: SOT 1853767 SOS 837374 HAS SOPS 811628 HAS SOUS 209085 HAS SOUPS 206742 WITH SCORE 207579.374
AT ITER 8849 NEW BEST:: SOT 1853763 SOS 837140 HAS SOPS 811292 HAS SOUS 208953 HAS SOUPS 206610 WITH SCORE 207447.14
AT ITER 8861 NEW BEST:: SOT 1853763 SOS 837190 HAS SOPS 811342 HAS SOUS 208948 HAS SOUPS 206605 WITH SCORE 207442.19
AT ITER 8869 NEW BEST:: SOT 1853743 SOS 837130 HAS SOPS 811282 HAS SOUS 208948 HAS SOUPS 206605 WITH SCORE 207442.13
AT ITER 8885 NEW BEST:: SOT 1853743 SOS 837126 HAS SOPS 811278 HAS SOUS 208948 HAS SOUPS 206605 WITH SCORE 207442.126
AT ITER 8894 NEW BEST:: SOT 1853663 SOS 836576 HAS SOPS 810728 HAS SOUS 208821 HAS SOUPS 206478 WITH SCORE 207314.576
AT ITER 8926 NEW BEST:: SOT 1853651 SOS 836622 HAS SOPS 810774 HAS SOUS 208800 HAS SOUPS 206457 WITH SCORE 207293.622
AT ITER 8940 NEW BEST:: SOT 1853302 SOS 836273 HAS SOPS 810425 HAS SOUS 208729 HAS SOUPS 206386 WITH SCORE 207222.273
AT ITER 9096 NEW BEST:: SOT 1853258 SOS 836229 HAS SOPS 810381 HAS SOUS 208721 HAS SOUPS 206378 WITH SCORE 207214.229
AT ITER 9127 NEW BEST:: SOT 1853242 SOS 836213 HAS SOPS 810365 HAS SOUS 208710 HAS SOUPS 206367 WITH SCORE 207203.213
AT ITER 9151 NEW BEST:: SOT 1828213 SOS 811036 HAS SOPS 785032 HAS SOUS 204496 HAS SOUPS 202153 WITH SCORE 202964.036
AT ITER 9163 NEW BEST:: SOT 1827927 SOS 810457 HAS SOPS 784453 HAS SOUS 204484 HAS SOUPS 202141 WITH SCORE 202951.457
AT ITER 9168 NEW BEST:: SOT 1828002 SOS 810600 HAS SOPS 784596 HAS SOUS 204343 HAS SOUPS 202000 WITH SCORE 202810.6
AT ITER 9184 NEW BEST:: SOT 1827999 SOS 810597 HAS SOPS 784593 HAS SOUS 204332 HAS SOUPS 201989 WITH SCORE 202799.597
AT ITER 9193 NEW BEST:: SOT 1827989 SOS 810566 HAS SOPS 784562 HAS SOUS 204312 HAS SOUPS 201969 WITH SCORE 202779.566
AT ITER 9202 NEW BEST:: SOT 1827837 SOS 810414 HAS SOPS 784410 HAS SOUS 204008 HAS SOUPS 201665 WITH SCORE 202475.414
AT ITER 9224 NEW BEST:: SOT 1827837 SOS 810403 HAS SOPS 784399 HAS SOUS 204008 HAS SOUPS 201665 WITH SCORE 202475.403
AT ITER 9236 NEW BEST:: SOT 1827468 SOS 810053 HAS SOPS 784049 HAS SOUS 203739 HAS SOUPS 201396 WITH SCORE 202206.053
AT ITER 9244 NEW BEST:: SOT 1827465 SOS 809837 HAS SOPS 783833 HAS SOUS 203724 HAS SOUPS 201381 WITH SCORE 202190.837
AT ITER 9246 NEW BEST:: SOT 1827452 SOS 809824 HAS SOPS 783839 HAS SOUS 203710 HAS SOUPS 201367 WITH SCORE 202176.824
AT ITER 9268 NEW BEST:: SOT 1827447 SOS 809814 HAS SOPS 783829 HAS SOUS 203700 HAS SOUPS 201357 WITH SCORE 202166.814
AT ITER 9274 NEW BEST:: SOT 1827590 SOS 809957 HAS SOPS 783867 HAS SOUS 203680 HAS SOUPS 201337 WITH SCORE 202146.957
AT ITER 9363 NEW BEST:: SOT 1827508 SOS 809898 HAS SOPS 783808 HAS SOUS 203516 HAS SOUPS 201173 WITH SCORE 201982.898
AT ITER 9364 NEW BEST:: SOT 1827294 SOS 809642 HAS SOPS 783552 HAS SOUS 203274 HAS SOUPS 200931 WITH SCORE 201740.642
AT ITER 9458 NEW BEST:: SOT 1827294 SOS 809625 HAS SOPS 783535 HAS SOUS 203257 HAS SOUPS 200914 WITH SCORE 201723.625
AT ITER 9469 NEW BEST:: SOT 1827240 SOS 809571 HAS SOPS 783481 HAS SOUS 203149 HAS SOUPS 200806 WITH SCORE 201615.571
AT ITER 9491 NEW BEST:: SOT 1827206 SOS 809537 HAS SOPS 783447 HAS SOUS 203029 HAS SOUPS 200686 WITH SCORE 201495.537
AT ITER 9501 NEW BEST:: SOT 1827173 SOS 809504 HAS SOPS 783414 HAS SOUS 203029 HAS SOUPS 200686 WITH SCORE 201495.504
AT ITER 9502 NEW BEST:: SOT 1827181 SOS 809512 HAS SOPS 783404 HAS SOUS 203009 HAS SOUPS 200666 WITH SCORE 201475.512
AT ITER 9531 NEW BEST:: SOT 1827174 SOS 809505 HAS SOPS 783397 HAS SOUS 202988 HAS SOUPS 200645 WITH SCORE 201454.505
AT ITER 9534 NEW BEST:: SOT 1827170 SOS 809501 HAS SOPS 783393 HAS SOUS 202984 HAS SOUPS 200641 WITH SCORE 201450.501
AT ITER 9561 NEW BEST:: SOT 1827150 SOS 809461 HAS SOPS 783353 HAS SOUS 202924 HAS SOUPS 200581 WITH SCORE 201390.461
AT ITER 9570 NEW BEST:: SOT 1827218 SOS 809673 HAS SOPS 783565 HAS SOUS 202868 HAS SOUPS 200525 WITH SCORE 201334.673
AT ITER 9587 NEW BEST:: SOT 1827207 SOS 809662 HAS SOPS 783554 HAS SOUS 202846 HAS SOUPS 200503 WITH SCORE 201312.662
AT ITER 9596 NEW BEST:: SOT 1827187 SOS 809904 HAS SOPS 783796 HAS SOUS 202806 HAS SOUPS 200463 WITH SCORE 201272.904
AT ITER 9639 NEW BEST:: SOT 1827181 SOS 809898 HAS SOPS 783790 HAS SOUS 202794 HAS SOUPS 200451 WITH SCORE 201260.898
AT ITER 9684 NEW BEST:: SOT 1827050 SOS 809727 HAS SOPS 783619 HAS SOUS 202692 HAS SOUPS 200349 WITH SCORE 201158.727
AT ITER 9708 NEW BEST:: SOT 1827040 SOS 809691 HAS SOPS 783583 HAS SOUS 202630 HAS SOUPS 200287 WITH SCORE 201096.691
AT ITER 9710 NEW BEST:: SOT 1827100 SOS 809751 HAS SOPS 783544 HAS SOUS 202450 HAS SOUPS 200107 WITH SCORE 200916.751
AT ITER 9711 NEW BEST:: SOT 1827207 SOS 809737 HAS SOPS 783530 HAS SOUS 202436 HAS SOUPS 200093 WITH SCORE 200902.737
AT ITER 9751 NEW BEST:: SOT 1827215 SOS 809666 HAS SOPS 783459 HAS SOUS 202365 HAS SOUPS 200022 WITH SCORE 200831.666
AT ITER 9756 NEW BEST:: SOT 1827151 SOS 809618 HAS SOPS 783411 HAS SOUS 202237 HAS SOUPS 199894 WITH SCORE 200703.618
AT ITER 9758 NEW BEST:: SOT 1826809 SOS 809041 HAS SOPS 782905 HAS SOUS 202068 HAS SOUPS 199725 WITH SCORE 200534.041
AT ITER 9760 NEW BEST:: SOT 1826794 SOS 809921 HAS SOPS 783785 HAS SOUS 202034 HAS SOUPS 199691 WITH SCORE 200500.921
AT ITER 9763 NEW BEST:: SOT 1826890 SOS 810092 HAS SOPS 783956 HAS SOUS 201601 HAS SOUPS 199258 WITH SCORE 200068.092
AT ITER 9767 NEW BEST:: SOT 1826829 SOS 810031 HAS SOPS 783858 HAS SOUS 201479 HAS SOUPS 199136 WITH SCORE 199946.031
AT ITER 9770 NEW BEST:: SOT 1826760 SOS 809939 HAS SOPS 783766 HAS SOUS 201387 HAS SOUPS 199044 WITH SCORE 199853.939
AT ITER 9803 NEW BEST:: SOT 1826549 SOS 809728 HAS SOPS 783555 HAS SOUS 201372 HAS SOUPS 199029 WITH SCORE 199838.728
AT ITER 9806 NEW BEST:: SOT 1826572 SOS 810822 HAS SOPS 784649 HAS SOUS 201287 HAS SOUPS 198944 WITH SCORE 199754.822
AT ITER 9807 NEW BEST:: SOT 1826456 SOS 810543 HAS SOPS 784400 HAS SOUS 201055 HAS SOUPS 198712 WITH SCORE 199522.543
AT ITER 9812 NEW BEST:: SOT 1826374 SOS 810457 HAS SOPS 784314 HAS SOUS 200969 HAS SOUPS 198626 WITH SCORE 199436.457
AT ITER 9816 NEW BEST:: SOT 1826396 SOS 810496 HAS SOPS 784353 HAS SOUS 200904 HAS SOUPS 198561 WITH SCORE 199371.496
AT ITER 9832 NEW BEST:: SOT 1826396 SOS 810164 HAS SOPS 784301 HAS SOUS 200876 HAS SOUPS 198537 WITH SCORE 199347.164
AT ITER 9835 NEW BEST:: SOT 1826110 SOS 809904 HAS SOPS 784041 HAS SOUS 200616 HAS SOUPS 198277 WITH SCORE 199086.904
AT ITER 9840 NEW BEST:: SOT 1826032 SOS 809826 HAS SOPS 783963 HAS SOUS 200538 HAS SOUPS 198199 WITH SCORE 199008.826
AT ITER 9890 NEW BEST:: SOT 1825652 SOS 809530 HAS SOPS 783667 HAS SOUS 200256 HAS SOUPS 197917 WITH SCORE 198726.53
AT ITER 9891 NEW BEST:: SOT 1825363 SOS 808963 HAS SOPS 783100 HAS SOUS 199956 HAS SOUPS 197617 WITH SCORE 198425.963
AT ITER 9971 NEW BEST:: SOT 1825351 SOS 808951 HAS SOPS 783088 HAS SOUS 199946 HAS SOUPS 197607 WITH SCORE 198415.951
AT ITER 9976 NEW BEST:: SOT 1825263 SOS 808863 HAS SOPS 782995 HAS SOUS 199831 HAS SOUPS 197492 WITH SCORE 198300.863
AT ITER 9987 NEW BEST:: SOT 1825259 SOS 808859 HAS SOPS 782984 HAS SOUS 199820 HAS SOUPS 197481 WITH SCORE 198289.859

BK_TIME_CONFINEMENT_REACHED

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

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-PT-S04J04T10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S04J04T10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961354800480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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