Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r299-tall-167873952900376.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is PolyORBLF-COL-S02J06T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873952900376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 9.1K Feb 26 14:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 14:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 14:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 14:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Feb 26 14:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 14:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 14:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679485059794

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S02J06T06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 11:37:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 11:37:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 11:37:41] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 11:37:41] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 11:37:41] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 526 ms
[2023-03-22 11:37:41] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 536 PT places and 1096.0 transition bindings in 99 ms.
[2023-03-22 11:37:42] [INFO ] Unfolded HLPN to a Petri net with 536 places and 1064 transitions 4866 arcs in 113 ms.
[2023-03-22 11:37:42] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 11:37:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 536 places, 1064 transitions and 4866 arcs took 14 ms.
Total runtime 835 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S02J06T06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 536 places, 1064 transitions, 4866 arcs.
AT ITER 0 NEW BEST:: SOT 353905 SOS 215925 HAS SOPS 213597 HAS SOUS 137612 HAS SOUPS 137117 WITH SCORE 137332.925
AT ITER 2 NEW BEST:: SOT 353533 SOS 215606 HAS SOPS 213278 HAS SOUS 137575 HAS SOUPS 137080 WITH SCORE 137295.606
AT ITER 3 NEW BEST:: SOT 353533 SOS 215212 HAS SOPS 212884 HAS SOUS 137575 HAS SOUPS 137080 WITH SCORE 137295.212
AT ITER 7 NEW BEST:: SOT 353432 SOS 214808 HAS SOPS 212480 HAS SOUS 137448 HAS SOUPS 136953 WITH SCORE 137167.808
AT ITER 10 NEW BEST:: SOT 353381 SOS 214680 HAS SOPS 212352 HAS SOUS 137320 HAS SOUPS 136825 WITH SCORE 137039.68
AT ITER 12 NEW BEST:: SOT 353211 SOS 214334 HAS SOPS 212006 HAS SOUS 136974 HAS SOUPS 136479 WITH SCORE 136693.334
AT ITER 13 NEW BEST:: SOT 353192 SOS 214315 HAS SOPS 211987 HAS SOUS 136939 HAS SOUPS 136444 WITH SCORE 136658.315
AT ITER 19 NEW BEST:: SOT 353192 SOS 213907 HAS SOPS 211605 HAS SOUS 136901 HAS SOUPS 136406 WITH SCORE 136619.907
AT ITER 27 NEW BEST:: SOT 353166 SOS 213881 HAS SOPS 211579 HAS SOUS 136875 HAS SOUPS 136380 WITH SCORE 136593.881
AT ITER 28 NEW BEST:: SOT 353123 SOS 213761 HAS SOPS 211459 HAS SOUS 136482 HAS SOUPS 135987 WITH SCORE 136200.761
AT ITER 29 NEW BEST:: SOT 353118 SOS 213745 HAS SOPS 211443 HAS SOUS 136466 HAS SOUPS 135971 WITH SCORE 136184.745
AT ITER 31 NEW BEST:: SOT 352698 SOS 213381 HAS SOPS 211079 HAS SOUS 136325 HAS SOUPS 135830 WITH SCORE 136043.381
AT ITER 37 NEW BEST:: SOT 352661 SOS 213281 HAS SOPS 210979 HAS SOUS 136225 HAS SOUPS 135730 WITH SCORE 135943.281
AT ITER 41 NEW BEST:: SOT 351851 SOS 212606 HAS SOPS 210304 HAS SOUS 135534 HAS SOUPS 135039 WITH SCORE 135251.606
AT ITER 43 NEW BEST:: SOT 351311 SOS 212174 HAS SOPS 209872 HAS SOUS 135018 HAS SOUPS 134523 WITH SCORE 134735.174
AT ITER 47 NEW BEST:: SOT 351182 SOS 212045 HAS SOPS 209743 HAS SOUS 134929 HAS SOUPS 134434 WITH SCORE 134646.045
AT ITER 52 NEW BEST:: SOT 350977 SOS 211819 HAS SOPS 209517 HAS SOUS 134789 HAS SOUPS 134294 WITH SCORE 134505.819
AT ITER 55 NEW BEST:: SOT 350792 SOS 210989 HAS SOPS 208687 HAS SOUS 134538 HAS SOUPS 134043 WITH SCORE 134253.989
AT ITER 65 NEW BEST:: SOT 350703 SOS 210351 HAS SOPS 208049 HAS SOUS 134430 HAS SOUPS 133935 WITH SCORE 134145.351
AT ITER 66 NEW BEST:: SOT 350692 SOS 210097 HAS SOPS 207795 HAS SOUS 134322 HAS SOUPS 133827 WITH SCORE 134037.097
AT ITER 75 NEW BEST:: SOT 350357 SOS 209726 HAS SOPS 207424 HAS SOUS 134032 HAS SOUPS 133537 WITH SCORE 133746.726
AT ITER 81 NEW BEST:: SOT 349632 SOS 209231 HAS SOPS 206929 HAS SOUS 134008 HAS SOUPS 133513 WITH SCORE 133722.231
AT ITER 82 NEW BEST:: SOT 349632 SOS 209182 HAS SOPS 206880 HAS SOUS 134003 HAS SOUPS 133508 WITH SCORE 133717.182
AT ITER 84 NEW BEST:: SOT 349198 SOS 208790 HAS SOPS 206488 HAS SOUS 133836 HAS SOUPS 133341 WITH SCORE 133549.79
AT ITER 87 NEW BEST:: SOT 349025 SOS 208197 HAS SOPS 205895 HAS SOUS 133435 HAS SOUPS 132940 WITH SCORE 133148.197
AT ITER 95 NEW BEST:: SOT 349002 SOS 208174 HAS SOPS 205872 HAS SOUS 133354 HAS SOUPS 132859 WITH SCORE 133067.174
AT ITER 108 NEW BEST:: SOT 348395 SOS 207448 HAS SOPS 205146 HAS SOUS 132890 HAS SOUPS 132395 WITH SCORE 132602.448
AT ITER 114 NEW BEST:: SOT 348089 SOS 207155 HAS SOPS 204853 HAS SOUS 132584 HAS SOUPS 132089 WITH SCORE 132296.155
AT ITER 127 NEW BEST:: SOT 347868 SOS 206907 HAS SOPS 204605 HAS SOUS 132349 HAS SOUPS 131854 WITH SCORE 132060.907
AT ITER 131 NEW BEST:: SOT 347486 SOS 206621 HAS SOPS 204319 HAS SOUS 132107 HAS SOUPS 131612 WITH SCORE 131818.621
AT ITER 139 NEW BEST:: SOT 346901 SOS 206033 HAS SOPS 203731 HAS SOUS 131519 HAS SOUPS 131024 WITH SCORE 131230.033
AT ITER 144 NEW BEST:: SOT 346901 SOS 206033 HAS SOPS 203731 HAS SOUS 131513 HAS SOUPS 131018 WITH SCORE 131224.033
AT ITER 149 NEW BEST:: SOT 346901 SOS 206068 HAS SOPS 203766 HAS SOUS 131499 HAS SOUPS 131004 WITH SCORE 131210.068
AT ITER 153 NEW BEST:: SOT 346781 SOS 201633 HAS SOPS 199331 HAS SOUS 131440 HAS SOUPS 130945 WITH SCORE 131146.633
AT ITER 162 NEW BEST:: SOT 346519 SOS 200851 HAS SOPS 198549 HAS SOUS 130920 HAS SOUPS 130425 WITH SCORE 130625.851
AT ITER 170 NEW BEST:: SOT 345825 SOS 199809 HAS SOPS 197507 HAS SOUS 130416 HAS SOUPS 129921 WITH SCORE 130120.809
AT ITER 180 NEW BEST:: SOT 344945 SOS 198801 HAS SOPS 196499 HAS SOUS 129650 HAS SOUPS 129155 WITH SCORE 129353.801
AT ITER 182 NEW BEST:: SOT 344945 SOS 198164 HAS SOPS 195862 HAS SOUS 129466 HAS SOUPS 128971 WITH SCORE 129169.164
AT ITER 183 NEW BEST:: SOT 344945 SOS 198124 HAS SOPS 195822 HAS SOUS 129426 HAS SOUPS 128931 WITH SCORE 129129.124
AT ITER 186 NEW BEST:: SOT 344884 SOS 198002 HAS SOPS 195700 HAS SOUS 129402 HAS SOUPS 128907 WITH SCORE 129105.002
AT ITER 188 NEW BEST:: SOT 344830 SOS 197488 HAS SOPS 195186 HAS SOUS 129118 HAS SOUPS 128623 WITH SCORE 128820.488
AT ITER 190 NEW BEST:: SOT 344719 SOS 196935 HAS SOPS 194633 HAS SOUS 128969 HAS SOUPS 128474 WITH SCORE 128670.935
AT ITER 192 NEW BEST:: SOT 344431 SOS 196713 HAS SOPS 194411 HAS SOUS 128735 HAS SOUPS 128240 WITH SCORE 128436.713
AT ITER 196 NEW BEST:: SOT 343000 SOS 197456 HAS SOPS 195646 HAS SOUS 127386 HAS SOUPS 126973 WITH SCORE 127170.456
AT ITER 205 NEW BEST:: SOT 342186 SOS 196000 HAS SOPS 194190 HAS SOUS 127205 HAS SOUPS 126792 WITH SCORE 126988.0
AT ITER 208 NEW BEST:: SOT 342186 SOS 196000 HAS SOPS 194190 HAS SOUS 127187 HAS SOUPS 126774 WITH SCORE 126970.0
AT ITER 214 NEW BEST:: SOT 342186 SOS 195940 HAS SOPS 194130 HAS SOUS 127187 HAS SOUPS 126774 WITH SCORE 126969.94
AT ITER 250 NEW BEST:: SOT 342186 SOS 195931 HAS SOPS 194121 HAS SOUS 127187 HAS SOUPS 126774 WITH SCORE 126969.931
AT ITER 257 NEW BEST:: SOT 342186 SOS 195745 HAS SOPS 193935 HAS SOUS 127056 HAS SOUPS 126643 WITH SCORE 126838.745
AT ITER 281 NEW BEST:: SOT 342166 SOS 195725 HAS SOPS 193915 HAS SOUS 127016 HAS SOUPS 126603 WITH SCORE 126798.725
AT ITER 298 NEW BEST:: SOT 341936 SOS 195498 HAS SOPS 193688 HAS SOUS 126906 HAS SOUPS 126493 WITH SCORE 126688.498
AT ITER 299 NEW BEST:: SOT 341894 SOS 195331 HAS SOPS 193521 HAS SOUS 126699 HAS SOUPS 126286 WITH SCORE 126481.331
AT ITER 301 NEW BEST:: SOT 341869 SOS 195419 HAS SOPS 193609 HAS SOUS 126601 HAS SOUPS 126188 WITH SCORE 126383.419
AT ITER 305 NEW BEST:: SOT 341681 SOS 195237 HAS SOPS 193427 HAS SOUS 126573 HAS SOUPS 126160 WITH SCORE 126355.237
AT ITER 309 NEW BEST:: SOT 341497 SOS 194682 HAS SOPS 192872 HAS SOUS 126130 HAS SOUPS 125717 WITH SCORE 125911.682
AT ITER 312 NEW BEST:: SOT 339777 SOS 194689 HAS SOPS 192879 HAS SOUS 125070 HAS SOUPS 124657 WITH SCORE 124851.689
AT ITER 319 NEW BEST:: SOT 339777 SOS 194648 HAS SOPS 192838 HAS SOUS 124904 HAS SOUPS 124491 WITH SCORE 124685.648
AT ITER 320 NEW BEST:: SOT 339719 SOS 194596 HAS SOPS 192786 HAS SOUS 124846 HAS SOUPS 124433 WITH SCORE 124627.596
AT ITER 328 NEW BEST:: SOT 339688 SOS 194534 HAS SOPS 192724 HAS SOUS 124784 HAS SOUPS 124371 WITH SCORE 124565.534
AT ITER 330 NEW BEST:: SOT 339668 SOS 194518 HAS SOPS 192708 HAS SOUS 124768 HAS SOUPS 124355 WITH SCORE 124549.518
AT ITER 355 NEW BEST:: SOT 339059 SOS 193869 HAS SOPS 192059 HAS SOUS 124546 HAS SOUPS 124133 WITH SCORE 124326.869
AT ITER 359 NEW BEST:: SOT 339042 SOS 193950 HAS SOPS 192140 HAS SOUS 124495 HAS SOUPS 124082 WITH SCORE 124275.95
AT ITER 361 NEW BEST:: SOT 339081 SOS 193922 HAS SOPS 192112 HAS SOUS 124467 HAS SOUPS 124054 WITH SCORE 124247.922
AT ITER 362 NEW BEST:: SOT 339072 SOS 193913 HAS SOPS 192103 HAS SOUS 124458 HAS SOUPS 124045 WITH SCORE 124238.913
AT ITER 364 NEW BEST:: SOT 339023 SOS 193815 HAS SOPS 192005 HAS SOUS 124440 HAS SOUPS 124027 WITH SCORE 124220.815
AT ITER 374 NEW BEST:: SOT 339023 SOS 193815 HAS SOPS 192005 HAS SOUS 124434 HAS SOUPS 124021 WITH SCORE 124214.815
AT ITER 375 NEW BEST:: SOT 338753 SOS 193135 HAS SOPS 191325 HAS SOUS 124044 HAS SOUPS 123631 WITH SCORE 123824.135
AT ITER 380 NEW BEST:: SOT 338678 SOS 193035 HAS SOPS 191225 HAS SOUS 123944 HAS SOUPS 123531 WITH SCORE 123724.035
AT ITER 381 NEW BEST:: SOT 338648 SOS 192967 HAS SOPS 191157 HAS SOUS 123710 HAS SOUPS 123297 WITH SCORE 123489.967
AT ITER 385 NEW BEST:: SOT 338616 SOS 192890 HAS SOPS 191080 HAS SOUS 123667 HAS SOUPS 123254 WITH SCORE 123446.89
AT ITER 396 NEW BEST:: SOT 338724 SOS 193217 HAS SOPS 191407 HAS SOUS 123555 HAS SOUPS 123142 WITH SCORE 123335.217
AT ITER 400 NEW BEST:: SOT 338141 SOS 192603 HAS SOPS 190793 HAS SOUS 122941 HAS SOUPS 122528 WITH SCORE 122720.603
AT ITER 409 NEW BEST:: SOT 338129 SOS 192589 HAS SOPS 190775 HAS SOUS 122923 HAS SOUPS 122510 WITH SCORE 122702.589
AT ITER 420 NEW BEST:: SOT 338129 SOS 192421 HAS SOPS 190607 HAS SOUS 122882 HAS SOUPS 122469 WITH SCORE 122661.421
AT ITER 424 NEW BEST:: SOT 338163 SOS 192394 HAS SOPS 190580 HAS SOUS 122846 HAS SOUPS 122433 WITH SCORE 122625.394
AT ITER 425 NEW BEST:: SOT 338133 SOS 192304 HAS SOPS 190490 HAS SOUS 122846 HAS SOUPS 122433 WITH SCORE 122625.304
AT ITER 432 NEW BEST:: SOT 338020 SOS 191585 HAS SOPS 189771 HAS SOUS 122618 HAS SOUPS 122205 WITH SCORE 122396.585
AT ITER 433 NEW BEST:: SOT 337934 SOS 191499 HAS SOPS 189685 HAS SOUS 122518 HAS SOUPS 122105 WITH SCORE 122296.499
AT ITER 445 NEW BEST:: SOT 337837 SOS 191475 HAS SOPS 189661 HAS SOUS 122487 HAS SOUPS 122074 WITH SCORE 122265.475
AT ITER 446 NEW BEST:: SOT 337837 SOS 191365 HAS SOPS 189551 HAS SOUS 122384 HAS SOUPS 121971 WITH SCORE 122162.365
AT ITER 450 NEW BEST:: SOT 337719 SOS 191174 HAS SOPS 189360 HAS SOUS 122255 HAS SOUPS 121842 WITH SCORE 122033.174
AT ITER 457 NEW BEST:: SOT 337281 SOS 191477 HAS SOPS 189543 HAS SOUS 122308 HAS SOUPS 121808 WITH SCORE 121999.477
AT ITER 461 NEW BEST:: SOT 337036 SOS 190872 HAS SOPS 188938 HAS SOUS 121868 HAS SOUPS 121368 WITH SCORE 121558.872
AT ITER 463 NEW BEST:: SOT 337036 SOS 190872 HAS SOPS 188944 HAS SOUS 121866 HAS SOUPS 121366 WITH SCORE 121556.872
AT ITER 465 NEW BEST:: SOT 336941 SOS 190522 HAS SOPS 188594 HAS SOUS 121784 HAS SOUPS 121284 WITH SCORE 121474.522
AT ITER 471 NEW BEST:: SOT 336818 SOS 190361 HAS SOPS 188433 HAS SOUS 121705 HAS SOUPS 121205 WITH SCORE 121395.361
AT ITER 489 NEW BEST:: SOT 336757 SOS 189864 HAS SOPS 187936 HAS SOUS 121696 HAS SOUPS 121196 WITH SCORE 121385.864
AT ITER 492 NEW BEST:: SOT 336757 SOS 189905 HAS SOPS 187977 HAS SOUS 121602 HAS SOUPS 121102 WITH SCORE 121291.905
AT ITER 505 NEW BEST:: SOT 336755 SOS 189904 HAS SOPS 187976 HAS SOUS 121600 HAS SOUPS 121100 WITH SCORE 121289.904
AT ITER 506 NEW BEST:: SOT 336666 SOS 189346 HAS SOPS 187418 HAS SOUS 121559 HAS SOUPS 121059 WITH SCORE 121248.346
AT ITER 510 NEW BEST:: SOT 336666 SOS 188692 HAS SOPS 186764 HAS SOUS 121473 HAS SOUPS 120973 WITH SCORE 121161.692
AT ITER 511 NEW BEST:: SOT 336589 SOS 188620 HAS SOPS 186692 HAS SOUS 121179 HAS SOUPS 120679 WITH SCORE 120867.62
AT ITER 512 NEW BEST:: SOT 336524 SOS 188588 HAS SOPS 186660 HAS SOUS 121069 HAS SOUPS 120569 WITH SCORE 120757.588
AT ITER 513 NEW BEST:: SOT 336280 SOS 188521 HAS SOPS 186593 HAS SOUS 121008 HAS SOUPS 120508 WITH SCORE 120696.521
AT ITER 515 NEW BEST:: SOT 335861 SOS 188322 HAS SOPS 186394 HAS SOUS 120818 HAS SOUPS 120318 WITH SCORE 120506.322
AT ITER 531 NEW BEST:: SOT 335677 SOS 187944 HAS SOPS 186016 HAS SOUS 120624 HAS SOUPS 120124 WITH SCORE 120311.944
AT ITER 532 NEW BEST:: SOT 335497 SOS 187514 HAS SOPS 185586 HAS SOUS 120081 HAS SOUPS 119581 WITH SCORE 119768.514
AT ITER 553 NEW BEST:: SOT 335372 SOS 187414 HAS SOPS 185486 HAS SOUS 119981 HAS SOUPS 119481 WITH SCORE 119668.414
AT ITER 558 NEW BEST:: SOT 334556 SOS 186684 HAS SOPS 184756 HAS SOUS 119761 HAS SOUPS 119261 WITH SCORE 119447.684
AT ITER 560 NEW BEST:: SOT 334556 SOS 186664 HAS SOPS 184736 HAS SOUS 119761 HAS SOUPS 119261 WITH SCORE 119447.664
AT ITER 581 NEW BEST:: SOT 334216 SOS 186379 HAS SOPS 184451 HAS SOUS 119374 HAS SOUPS 118874 WITH SCORE 119060.379
AT ITER 584 NEW BEST:: SOT 333924 SOS 185795 HAS SOPS 183867 HAS SOUS 118936 HAS SOUPS 118436 WITH SCORE 118621.795
AT ITER 591 NEW BEST:: SOT 334198 SOS 185871 HAS SOPS 183943 HAS SOUS 118611 HAS SOUPS 118111 WITH SCORE 118296.871
AT ITER 595 NEW BEST:: SOT 333930 SOS 185187 HAS SOPS 183259 HAS SOUS 118217 HAS SOUPS 117717 WITH SCORE 117902.187
AT ITER 596 NEW BEST:: SOT 333864 SOS 185069 HAS SOPS 183141 HAS SOUS 118190 HAS SOUPS 117690 WITH SCORE 117875.069
AT ITER 603 NEW BEST:: SOT 333744 SOS 185010 HAS SOPS 183082 HAS SOUS 118131 HAS SOUPS 117631 WITH SCORE 117816.01
AT ITER 609 NEW BEST:: SOT 333596 SOS 184834 HAS SOPS 182906 HAS SOUS 117863 HAS SOUPS 117363 WITH SCORE 117547.834
AT ITER 611 NEW BEST:: SOT 333558 SOS 184726 HAS SOPS 182798 HAS SOUS 117755 HAS SOUPS 117255 WITH SCORE 117439.726
AT ITER 613 NEW BEST:: SOT 333253 SOS 184482 HAS SOPS 182554 HAS SOUS 117586 HAS SOUPS 117086 WITH SCORE 117270.482
AT ITER 614 NEW BEST:: SOT 332661 SOS 184033 HAS SOPS 182105 HAS SOUS 117166 HAS SOUPS 116666 WITH SCORE 116850.033
AT ITER 617 NEW BEST:: SOT 332654 SOS 183950 HAS SOPS 182022 HAS SOUS 116708 HAS SOUPS 116208 WITH SCORE 116391.95
AT ITER 621 NEW BEST:: SOT 332654 SOS 184078 HAS SOPS 182150 HAS SOUS 116692 HAS SOUPS 116192 WITH SCORE 116376.078
AT ITER 627 NEW BEST:: SOT 332592 SOS 183954 HAS SOPS 182026 HAS SOUS 116433 HAS SOUPS 115933 WITH SCORE 116116.954
AT ITER 635 NEW BEST:: SOT 332149 SOS 183568 HAS SOPS 181640 HAS SOUS 116047 HAS SOUPS 115547 WITH SCORE 115730.568
AT ITER 646 NEW BEST:: SOT 332236 SOS 183845 HAS SOPS 181917 HAS SOUS 116032 HAS SOUPS 115532 WITH SCORE 115715.845
AT ITER 654 NEW BEST:: SOT 332312 SOS 184005 HAS SOPS 182077 HAS SOUS 116024 HAS SOUPS 115524 WITH SCORE 115708.005
AT ITER 658 NEW BEST:: SOT 332269 SOS 183919 HAS SOPS 181991 HAS SOUS 115969 HAS SOUPS 115469 WITH SCORE 115652.919
AT ITER 671 NEW BEST:: SOT 332315 SOS 183869 HAS SOPS 181941 HAS SOUS 115870 HAS SOUPS 115370 WITH SCORE 115553.869
AT ITER 686 NEW BEST:: SOT 332179 SOS 183475 HAS SOPS 181547 HAS SOUS 115552 HAS SOUPS 115052 WITH SCORE 115235.475
AT ITER 708 NEW BEST:: SOT 331395 SOS 184091 HAS SOPS 181483 HAS SOUS 114854 HAS SOUPS 114204 WITH SCORE 114388.091
AT ITER 727 NEW BEST:: SOT 331378 SOS 184057 HAS SOPS 181449 HAS SOUS 114839 HAS SOUPS 114189 WITH SCORE 114373.057
AT ITER 729 NEW BEST:: SOT 331372 SOS 184027 HAS SOPS 181419 HAS SOUS 114833 HAS SOUPS 114183 WITH SCORE 114367.027
AT ITER 737 NEW BEST:: SOT 330958 SOS 183807 HAS SOPS 181199 HAS SOUS 114809 HAS SOUPS 114159 WITH SCORE 114342.807
AT ITER 744 NEW BEST:: SOT 330871 SOS 183228 HAS SOPS 180620 HAS SOUS 114780 HAS SOUPS 114130 WITH SCORE 114313.228
AT ITER 747 NEW BEST:: SOT 330589 SOS 182352 HAS SOPS 179744 HAS SOUS 114340 HAS SOUPS 113690 WITH SCORE 113872.352
AT ITER 753 NEW BEST:: SOT 330589 SOS 182375 HAS SOPS 179767 HAS SOUS 114156 HAS SOUPS 113506 WITH SCORE 113688.375
AT ITER 754 NEW BEST:: SOT 330459 SOS 182249 HAS SOPS 179641 HAS SOUS 113982 HAS SOUPS 113332 WITH SCORE 113514.249
AT ITER 755 NEW BEST:: SOT 330439 SOS 182236 HAS SOPS 179628 HAS SOUS 113922 HAS SOUPS 113272 WITH SCORE 113454.236
AT ITER 767 NEW BEST:: SOT 329465 SOS 181623 HAS SOPS 179015 HAS SOUS 113454 HAS SOUPS 112804 WITH SCORE 112985.623
AT ITER 781 NEW BEST:: SOT 329502 SOS 181657 HAS SOPS 179049 HAS SOUS 113395 HAS SOUPS 112745 WITH SCORE 112926.657
AT ITER 786 NEW BEST:: SOT 329490 SOS 181645 HAS SOPS 179049 HAS SOUS 113395 HAS SOUPS 112745 WITH SCORE 112926.645
AT ITER 795 NEW BEST:: SOT 329490 SOS 181435 HAS SOPS 178769 HAS SOUS 113254 HAS SOUPS 112604 WITH SCORE 112785.435
AT ITER 797 NEW BEST:: SOT 329509 SOS 181488 HAS SOPS 178822 HAS SOUS 113164 HAS SOUPS 112514 WITH SCORE 112695.488
AT ITER 800 NEW BEST:: SOT 329592 SOS 181379 HAS SOPS 178713 HAS SOUS 113092 HAS SOUPS 112442 WITH SCORE 112623.379
AT ITER 802 NEW BEST:: SOT 329592 SOS 181372 HAS SOPS 178706 HAS SOUS 113085 HAS SOUPS 112435 WITH SCORE 112616.372
AT ITER 803 NEW BEST:: SOT 329847 SOS 181579 HAS SOPS 178913 HAS SOUS 112716 HAS SOUPS 112066 WITH SCORE 112247.579
AT ITER 804 NEW BEST:: SOT 329853 SOS 181861 HAS SOPS 178965 HAS SOUS 112578 HAS SOUPS 111915 WITH SCORE 112096.861
AT ITER 812 NEW BEST:: SOT 329188 SOS 181340 HAS SOPS 178444 HAS SOUS 112050 HAS SOUPS 111387 WITH SCORE 111568.34
AT ITER 817 NEW BEST:: SOT 329178 SOS 181317 HAS SOPS 178446 HAS SOUS 112017 HAS SOUPS 111361 WITH SCORE 111542.317
AT ITER 819 NEW BEST:: SOT 329178 SOS 181401 HAS SOPS 178530 HAS SOUS 111734 HAS SOUPS 111078 WITH SCORE 111259.401
AT ITER 824 NEW BEST:: SOT 329163 SOS 181327 HAS SOPS 178484 HAS SOUS 111701 HAS SOUPS 111046 WITH SCORE 111227.327
AT ITER 826 NEW BEST:: SOT 329163 SOS 181039 HAS SOPS 178196 HAS SOUS 111569 HAS SOUPS 110914 WITH SCORE 111095.039
AT ITER 829 NEW BEST:: SOT 329163 SOS 180987 HAS SOPS 178144 HAS SOUS 111569 HAS SOUPS 110914 WITH SCORE 111094.987
AT ITER 847 NEW BEST:: SOT 329163 SOS 181121 HAS SOPS 178278 HAS SOUS 111522 HAS SOUPS 110867 WITH SCORE 111048.121
AT ITER 849 NEW BEST:: SOT 329151 SOS 181760 HAS SOPS 178119 HAS SOUS 111543 HAS SOUPS 110755 WITH SCORE 110936.76
AT ITER 862 NEW BEST:: SOT 329151 SOS 181760 HAS SOPS 178119 HAS SOUS 111542 HAS SOUPS 110754 WITH SCORE 110935.76
AT ITER 863 NEW BEST:: SOT 328874 SOS 181253 HAS SOPS 177612 HAS SOUS 111480 HAS SOUPS 110692 WITH SCORE 110873.253
AT ITER 880 NEW BEST:: SOT 328719 SOS 181277 HAS SOPS 177636 HAS SOUS 110593 HAS SOUPS 109805 WITH SCORE 109986.277
AT ITER 881 NEW BEST:: SOT 327146 SOS 180245 HAS SOPS 176604 HAS SOUS 109228 HAS SOUPS 108440 WITH SCORE 108620.245
AT ITER 886 NEW BEST:: SOT 327049 SOS 180198 HAS SOPS 176557 HAS SOUS 109091 HAS SOUPS 108303 WITH SCORE 108483.198
AT ITER 892 NEW BEST:: SOT 327004 SOS 179763 HAS SOPS 176122 HAS SOUS 108807 HAS SOUPS 108019 WITH SCORE 108198.763
AT ITER 898 NEW BEST:: SOT 327004 SOS 179460 HAS SOPS 175819 HAS SOUS 108348 HAS SOUPS 107560 WITH SCORE 107739.46
AT ITER 900 NEW BEST:: SOT 327063 SOS 179445 HAS SOPS 175804 HAS SOUS 108231 HAS SOUPS 107443 WITH SCORE 107622.445
AT ITER 902 NEW BEST:: SOT 327084 SOS 179653 HAS SOPS 176009 HAS SOUS 108180 HAS SOUPS 107392 WITH SCORE 107571.653
AT ITER 903 NEW BEST:: SOT 327052 SOS 179610 HAS SOPS 175966 HAS SOUS 108047 HAS SOUPS 107259 WITH SCORE 107438.61
AT ITER 910 NEW BEST:: SOT 327000 SOS 179574 HAS SOPS 175930 HAS SOUS 107939 HAS SOUPS 107151 WITH SCORE 107330.574
AT ITER 912 NEW BEST:: SOT 326973 SOS 179529 HAS SOPS 175885 HAS SOUS 107894 HAS SOUPS 107106 WITH SCORE 107285.529
AT ITER 917 NEW BEST:: SOT 326810 SOS 179442 HAS SOPS 175798 HAS SOUS 107629 HAS SOUPS 106841 WITH SCORE 107020.442
AT ITER 919 NEW BEST:: SOT 326784 SOS 179416 HAS SOPS 175786 HAS SOUS 107617 HAS SOUPS 106829 WITH SCORE 107008.416
AT ITER 924 NEW BEST:: SOT 326014 SOS 178784 HAS SOPS 175154 HAS SOUS 107005 HAS SOUPS 106217 WITH SCORE 106395.784
AT ITER 926 NEW BEST:: SOT 325996 SOS 178757 HAS SOPS 175127 HAS SOUS 106964 HAS SOUPS 106176 WITH SCORE 106354.757
AT ITER 940 NEW BEST:: SOT 325869 SOS 178569 HAS SOPS 174939 HAS SOUS 106849 HAS SOUPS 106061 WITH SCORE 106239.569
AT ITER 946 NEW BEST:: SOT 325756 SOS 178701 HAS SOPS 175071 HAS SOUS 106770 HAS SOUPS 105982 WITH SCORE 106160.701
AT ITER 952 NEW BEST:: SOT 325756 SOS 178707 HAS SOPS 175077 HAS SOUS 106767 HAS SOUPS 105979 WITH SCORE 106157.707
AT ITER 958 NEW BEST:: SOT 325724 SOS 178643 HAS SOPS 175013 HAS SOUS 106703 HAS SOUPS 105915 WITH SCORE 106093.643
AT ITER 963 NEW BEST:: SOT 325709 SOS 178499 HAS SOPS 174911 HAS SOUS 106632 HAS SOUPS 105844 WITH SCORE 106022.499
AT ITER 965 NEW BEST:: SOT 325530 SOS 178258 HAS SOPS 174670 HAS SOUS 106407 HAS SOUPS 105619 WITH SCORE 105797.258
AT ITER 966 NEW BEST:: SOT 325328 SOS 177989 HAS SOPS 174401 HAS SOUS 106115 HAS SOUPS 105327 WITH SCORE 105504.989
AT ITER 988 NEW BEST:: SOT 325292 SOS 177916 HAS SOPS 174353 HAS SOUS 106114 HAS SOUPS 105327 WITH SCORE 105504.916
AT ITER 994 NEW BEST:: SOT 324995 SOS 177673 HAS SOPS 174110 HAS SOUS 105962 HAS SOUPS 105175 WITH SCORE 105352.673
AT ITER 998 NEW BEST:: SOT 324990 SOS 177663 HAS SOPS 174100 HAS SOUS 105957 HAS SOUPS 105170 WITH SCORE 105347.663
AT ITER 999 NEW BEST:: SOT 324451 SOS 177519 HAS SOPS 173956 HAS SOUS 105922 HAS SOUPS 105135 WITH SCORE 105312.519
AT ITER 1032 NEW BEST:: SOT 324451 SOS 176964 HAS SOPS 173401 HAS SOUS 105914 HAS SOUPS 105127 WITH SCORE 105303.964
AT ITER 1036 NEW BEST:: SOT 324441 SOS 176944 HAS SOPS 173381 HAS SOUS 105894 HAS SOUPS 105107 WITH SCORE 105283.944
AT ITER 1048 NEW BEST:: SOT 324421 SOS 176924 HAS SOPS 173361 HAS SOUS 105894 HAS SOUPS 105107 WITH SCORE 105283.924
AT ITER 1050 NEW BEST:: SOT 324439 SOS 176996 HAS SOPS 173433 HAS SOUS 105786 HAS SOUPS 104999 WITH SCORE 105175.996
AT ITER 1062 NEW BEST:: SOT 324190 SOS 176675 HAS SOPS 173112 HAS SOUS 105212 HAS SOUPS 104425 WITH SCORE 104601.675
AT ITER 1066 NEW BEST:: SOT 324168 SOS 176653 HAS SOPS 173090 HAS SOUS 105211 HAS SOUPS 104424 WITH SCORE 104600.653
AT ITER 1067 NEW BEST:: SOT 324507 SOS 176625 HAS SOPS 173062 HAS SOUS 104875 HAS SOUPS 104088 WITH SCORE 104264.625
AT ITER 1069 NEW BEST:: SOT 324479 SOS 176585 HAS SOPS 173022 HAS SOUS 104809 HAS SOUPS 104022 WITH SCORE 104198.585
AT ITER 1072 NEW BEST:: SOT 324523 SOS 176627 HAS SOPS 173064 HAS SOUS 104769 HAS SOUPS 103982 WITH SCORE 104158.627
AT ITER 1085 NEW BEST:: SOT 324380 SOS 176635 HAS SOPS 173072 HAS SOUS 104332 HAS SOUPS 103545 WITH SCORE 103721.635
AT ITER 1086 NEW BEST:: SOT 324308 SOS 176191 HAS SOPS 172628 HAS SOUS 104308 HAS SOUPS 103521 WITH SCORE 103697.191
AT ITER 1097 NEW BEST:: SOT 324952 SOS 176301 HAS SOPS 172738 HAS SOUS 104180 HAS SOUPS 103393 WITH SCORE 103569.301
AT ITER 1100 NEW BEST:: SOT 324938 SOS 176297 HAS SOPS 172734 HAS SOUS 104111 HAS SOUPS 103324 WITH SCORE 103500.297
AT ITER 1102 NEW BEST:: SOT 324971 SOS 176411 HAS SOPS 172848 HAS SOUS 104092 HAS SOUPS 103305 WITH SCORE 103481.411
AT ITER 1112 NEW BEST:: SOT 324971 SOS 176398 HAS SOPS 172835 HAS SOUS 104079 HAS SOUPS 103292 WITH SCORE 103468.398
AT ITER 1135 NEW BEST:: SOT 324953 SOS 176368 HAS SOPS 172805 HAS SOUS 104059 HAS SOUPS 103272 WITH SCORE 103448.368
AT ITER 1136 NEW BEST:: SOT 319367 SOS 171446 HAS SOPS 167223 HAS SOUS 102137 HAS SOUPS 101240 WITH SCORE 101411.446
AT ITER 1143 NEW BEST:: SOT 319332 SOS 171411 HAS SOPS 167208 HAS SOUS 102082 HAS SOUPS 101185 WITH SCORE 101356.411
AT ITER 1148 NEW BEST:: SOT 318548 SOS 170627 HAS SOPS 166424 HAS SOUS 101746 HAS SOUPS 100849 WITH SCORE 101019.627
AT ITER 1150 NEW BEST:: SOT 318547 SOS 170613 HAS SOPS 166410 HAS SOUS 101745 HAS SOUPS 100848 WITH SCORE 101018.613
AT ITER 1151 NEW BEST:: SOT 318500 SOS 170270 HAS SOPS 166067 HAS SOUS 101660 HAS SOUPS 100763 WITH SCORE 100933.27
AT ITER 1152 NEW BEST:: SOT 318293 SOS 170364 HAS SOPS 166161 HAS SOUS 101584 HAS SOUPS 100687 WITH SCORE 100857.364
AT ITER 1168 NEW BEST:: SOT 318139 SOS 170287 HAS SOPS 166084 HAS SOUS 101463 HAS SOUPS 100566 WITH SCORE 100736.287
AT ITER 1177 NEW BEST:: SOT 318139 SOS 170300 HAS SOPS 166097 HAS SOUS 101452 HAS SOUPS 100555 WITH SCORE 100725.3
AT ITER 1190 NEW BEST:: SOT 318113 SOS 170300 HAS SOPS 166097 HAS SOUS 101426 HAS SOUPS 100529 WITH SCORE 100699.3
AT ITER 1192 NEW BEST:: SOT 318094 SOS 170243 HAS SOPS 166040 HAS SOUS 101388 HAS SOUPS 100491 WITH SCORE 100661.243
AT ITER 1193 NEW BEST:: SOT 318069 SOS 170215 HAS SOPS 165990 HAS SOUS 101338 HAS SOUPS 100441 WITH SCORE 100611.215
AT ITER 1194 NEW BEST:: SOT 318049 SOS 170195 HAS SOPS 165970 HAS SOUS 101318 HAS SOUPS 100421 WITH SCORE 100591.195
AT ITER 1224 NEW BEST:: SOT 317914 SOS 169944 HAS SOPS 165719 HAS SOUS 101067 HAS SOUPS 100170 WITH SCORE 100339.944
AT ITER 1227 NEW BEST:: SOT 319396 SOS 170389 HAS SOPS 166164 HAS SOUS 100450 HAS SOUPS 99553 WITH SCORE 99723.389
AT ITER 1251 NEW BEST:: SOT 319396 SOS 170358 HAS SOPS 166129 HAS SOUS 100450 HAS SOUPS 99553 WITH SCORE 99723.358
AT ITER 1254 NEW BEST:: SOT 319226 SOS 170090 HAS SOPS 165861 HAS SOUS 100190 HAS SOUPS 99293 WITH SCORE 99463.09
AT ITER 1261 NEW BEST:: SOT 319172 SOS 169747 HAS SOPS 165518 HAS SOUS 99577 HAS SOUPS 98680 WITH SCORE 98849.747
AT ITER 1262 NEW BEST:: SOT 319172 SOS 169771 HAS SOPS 165542 HAS SOUS 99553 HAS SOUPS 98656 WITH SCORE 98825.771
AT ITER 1281 NEW BEST:: SOT 319166 SOS 169765 HAS SOPS 165536 HAS SOUS 99541 HAS SOUPS 98644 WITH SCORE 98813.765
AT ITER 1288 NEW BEST:: SOT 319125 SOS 170673 HAS SOPS 165520 HAS SOUS 99582 HAS SOUPS 98608 WITH SCORE 98778.673
AT ITER 1295 NEW BEST:: SOT 319088 SOS 170639 HAS SOPS 165486 HAS SOUS 99505 HAS SOUPS 98531 WITH SCORE 98701.639
AT ITER 1297 NEW BEST:: SOT 318992 SOS 170601 HAS SOPS 165448 HAS SOUS 99451 HAS SOUPS 98477 WITH SCORE 98647.601
AT ITER 1299 NEW BEST:: SOT 318930 SOS 170397 HAS SOPS 165254 HAS SOUS 99413 HAS SOUPS 98412 WITH SCORE 98582.397
AT ITER 1309 NEW BEST:: SOT 320170 SOS 171471 HAS SOPS 166328 HAS SOUS 99395 HAS SOUPS 98394 WITH SCORE 98565.471
AT ITER 1318 NEW BEST:: SOT 320170 SOS 171456 HAS SOPS 166313 HAS SOUS 99395 HAS SOUPS 98394 WITH SCORE 98565.456
AT ITER 1323 NEW BEST:: SOT 320115 SOS 171401 HAS SOPS 166258 HAS SOUS 99340 HAS SOUPS 98339 WITH SCORE 98510.401
AT ITER 1325 NEW BEST:: SOT 320065 SOS 171240 HAS SOPS 166097 HAS SOUS 99183 HAS SOUPS 98182 WITH SCORE 98353.24
AT ITER 1329 NEW BEST:: SOT 320065 SOS 171479 HAS SOPS 166336 HAS SOUS 99120 HAS SOUPS 98119 WITH SCORE 98290.479
AT ITER 1334 NEW BEST:: SOT 320055 SOS 171469 HAS SOPS 166326 HAS SOUS 99080 HAS SOUPS 98079 WITH SCORE 98250.469
AT ITER 1335 NEW BEST:: SOT 318117 SOS 169910 HAS SOPS 164767 HAS SOUS 98723 HAS SOUPS 97722 WITH SCORE 97891.91
AT ITER 1340 NEW BEST:: SOT 318125 SOS 169639 HAS SOPS 164536 HAS SOUS 98713 HAS SOUPS 97720 WITH SCORE 97889.639
AT ITER 1348 NEW BEST:: SOT 318026 SOS 169489 HAS SOPS 164386 HAS SOUS 98568 HAS SOUPS 97575 WITH SCORE 97744.489
AT ITER 1357 NEW BEST:: SOT 317941 SOS 169404 HAS SOPS 164301 HAS SOUS 98458 HAS SOUPS 97465 WITH SCORE 97634.404
AT ITER 1359 NEW BEST:: SOT 317915 SOS 169387 HAS SOPS 164284 HAS SOUS 98415 HAS SOUPS 97422 WITH SCORE 97591.387
AT ITER 1360 NEW BEST:: SOT 317915 SOS 169336 HAS SOPS 164233 HAS SOUS 98410 HAS SOUPS 97417 WITH SCORE 97586.336
AT ITER 1374 NEW BEST:: SOT 317190 SOS 168611 HAS SOPS 163508 HAS SOUS 98085 HAS SOUPS 97092 WITH SCORE 97260.611
AT ITER 1380 NEW BEST:: SOT 317077 SOS 168498 HAS SOPS 163395 HAS SOUS 97994 HAS SOUPS 97001 WITH SCORE 97169.498
AT ITER 1381 NEW BEST:: SOT 317061 SOS 168451 HAS SOPS 163348 HAS SOUS 97932 HAS SOUPS 96939 WITH SCORE 97107.451
AT ITER 1401 NEW BEST:: SOT 317043 SOS 168446 HAS SOPS 163343 HAS SOUS 97853 HAS SOUPS 96860 WITH SCORE 97028.446
AT ITER 1407 NEW BEST:: SOT 317043 SOS 168455 HAS SOPS 163335 HAS SOUS 97856 HAS SOUPS 96849 WITH SCORE 97017.455
AT ITER 1454 NEW BEST:: SOT 317032 SOS 168450 HAS SOPS 163330 HAS SOUS 97835 HAS SOUPS 96828 WITH SCORE 96996.45
AT ITER 1470 NEW BEST:: SOT 316789 SOS 168292 HAS SOPS 163172 HAS SOUS 97610 HAS SOUPS 96603 WITH SCORE 96771.292
AT ITER 1473 NEW BEST:: SOT 316760 SOS 168256 HAS SOPS 163136 HAS SOUS 97497 HAS SOUPS 96490 WITH SCORE 96658.256
AT ITER 1482 NEW BEST:: SOT 316730 SOS 168226 HAS SOPS 163106 HAS SOUS 97407 HAS SOUPS 96400 WITH SCORE 96568.226
AT ITER 1496 NEW BEST:: SOT 316596 SOS 168060 HAS SOPS 162940 HAS SOUS 97241 HAS SOUPS 96234 WITH SCORE 96402.06
AT ITER 1499 NEW BEST:: SOT 316543 SOS 168030 HAS SOPS 162910 HAS SOUS 97214 HAS SOUPS 96207 WITH SCORE 96375.03
AT ITER 1509 NEW BEST:: SOT 316532 SOS 167883 HAS SOPS 162763 HAS SOUS 97192 HAS SOUPS 96185 WITH SCORE 96352.883
AT ITER 1513 NEW BEST:: SOT 316454 SOS 167857 HAS SOPS 162737 HAS SOUS 97088 HAS SOUPS 96081 WITH SCORE 96248.857
AT ITER 1518 NEW BEST:: SOT 316453 SOS 167903 HAS SOPS 162783 HAS SOUS 97039 HAS SOUPS 96032 WITH SCORE 96199.903
AT ITER 1522 NEW BEST:: SOT 316615 SOS 168240 HAS SOPS 163120 HAS SOUS 96962 HAS SOUPS 95955 WITH SCORE 96123.24
AT ITER 1528 NEW BEST:: SOT 316424 SOS 168173 HAS SOPS 163053 HAS SOUS 96701 HAS SOUPS 95694 WITH SCORE 95862.173
AT ITER 1541 NEW BEST:: SOT 316372 SOS 167784 HAS SOPS 162735 HAS SOUS 96597 HAS SOUPS 95590 WITH SCORE 95757.784
AT ITER 1551 NEW BEST:: SOT 316434 SOS 167846 HAS SOPS 162797 HAS SOUS 96365 HAS SOUPS 95358 WITH SCORE 95525.846
AT ITER 1557 NEW BEST:: SOT 316345 SOS 167696 HAS SOPS 162647 HAS SOUS 96268 HAS SOUPS 95261 WITH SCORE 95428.696
AT ITER 1559 NEW BEST:: SOT 316202 SOS 167553 HAS SOPS 162609 HAS SOUS 96127 HAS SOUPS 95120 WITH SCORE 95287.553
AT ITER 1568 NEW BEST:: SOT 316202 SOS 167171 HAS SOPS 162227 HAS SOUS 96127 HAS SOUPS 95120 WITH SCORE 95287.171
AT ITER 1569 NEW BEST:: SOT 316202 SOS 167027 HAS SOPS 162083 HAS SOUS 95943 HAS SOUPS 94936 WITH SCORE 95103.027
AT ITER 1571 NEW BEST:: SOT 316093 SOS 166918 HAS SOPS 161974 HAS SOUS 95834 HAS SOUPS 94827 WITH SCORE 94993.918
AT ITER 1575 NEW BEST:: SOT 316118 SOS 166805 HAS SOPS 161835 HAS SOUS 95820 HAS SOUPS 94813 WITH SCORE 94979.805
AT ITER 1579 NEW BEST:: SOT 316046 SOS 166715 HAS SOPS 161727 HAS SOUS 95712 HAS SOUPS 94705 WITH SCORE 94871.715
AT ITER 1594 NEW BEST:: SOT 316032 SOS 166673 HAS SOPS 161685 HAS SOUS 95670 HAS SOUPS 94663 WITH SCORE 94829.673
AT ITER 1638 NEW BEST:: SOT 316094 SOS 167029 HAS SOPS 162041 HAS SOUS 95487 HAS SOUPS 94480 WITH SCORE 94647.029
AT ITER 1640 NEW BEST:: SOT 316134 SOS 166809 HAS SOPS 161821 HAS SOUS 95356 HAS SOUPS 94349 WITH SCORE 94515.809
AT ITER 1656 NEW BEST:: SOT 316134 SOS 162869 HAS SOPS 157881 HAS SOUS 95123 HAS SOUPS 94116 WITH SCORE 94278.869
AT ITER 1660 NEW BEST:: SOT 316134 SOS 162845 HAS SOPS 157857 HAS SOUS 95098 HAS SOUPS 94091 WITH SCORE 94253.845
AT ITER 1662 NEW BEST:: SOT 316134 SOS 162705 HAS SOPS 157717 HAS SOUS 95098 HAS SOUPS 94091 WITH SCORE 94253.705
AT ITER 1674 NEW BEST:: SOT 316110 SOS 162673 HAS SOPS 157685 HAS SOUS 95066 HAS SOUPS 94059 WITH SCORE 94221.673
AT ITER 1682 NEW BEST:: SOT 316047 SOS 162536 HAS SOPS 157548 HAS SOUS 94983 HAS SOUPS 93976 WITH SCORE 94138.536
AT ITER 1685 NEW BEST:: SOT 316075 SOS 162564 HAS SOPS 157576 HAS SOUS 94962 HAS SOUPS 93955 WITH SCORE 94117.564
AT ITER 1710 NEW BEST:: SOT 316011 SOS 162500 HAS SOPS 157512 HAS SOUS 94866 HAS SOUPS 93859 WITH SCORE 94021.5
AT ITER 1716 NEW BEST:: SOT 315989 SOS 162593 HAS SOPS 157605 HAS SOUS 94838 HAS SOUPS 93831 WITH SCORE 93993.593
AT ITER 1728 NEW BEST:: SOT 315975 SOS 162550 HAS SOPS 157562 HAS SOUS 94792 HAS SOUPS 93785 WITH SCORE 93947.55
AT ITER 1729 NEW BEST:: SOT 315975 SOS 162489 HAS SOPS 157501 HAS SOUS 94714 HAS SOUPS 93707 WITH SCORE 93869.489
AT ITER 1731 NEW BEST:: SOT 315448 SOS 162432 HAS SOPS 157036 HAS SOUS 94192 HAS SOUPS 93117 WITH SCORE 93279.432
AT ITER 1732 NEW BEST:: SOT 315368 SOS 162450 HAS SOPS 157054 HAS SOUS 94170 HAS SOUPS 93095 WITH SCORE 93257.45
AT ITER 1735 NEW BEST:: SOT 315165 SOS 161972 HAS SOPS 156576 HAS SOUS 93849 HAS SOUPS 92774 WITH SCORE 92935.972
AT ITER 1767 NEW BEST:: SOT 315136 SOS 161943 HAS SOPS 156576 HAS SOUS 93820 HAS SOUPS 92745 WITH SCORE 92906.943
AT ITER 1771 NEW BEST:: SOT 315130 SOS 161931 HAS SOPS 156564 HAS SOUS 93808 HAS SOUPS 92733 WITH SCORE 92894.931
AT ITER 1788 NEW BEST:: SOT 315127 SOS 161920 HAS SOPS 156558 HAS SOUS 93805 HAS SOUPS 92730 WITH SCORE 92891.92
AT ITER 1789 NEW BEST:: SOT 315124 SOS 161917 HAS SOPS 156555 HAS SOUS 93802 HAS SOUPS 92727 WITH SCORE 92888.917
AT ITER 1791 NEW BEST:: SOT 315124 SOS 161901 HAS SOPS 156539 HAS SOUS 93802 HAS SOUPS 92727 WITH SCORE 92888.901
AT ITER 1797 NEW BEST:: SOT 315102 SOS 161857 HAS SOPS 156495 HAS SOUS 93769 HAS SOUPS 92694 WITH SCORE 92855.857
AT ITER 1799 NEW BEST:: SOT 315135 SOS 160983 HAS SOPS 155621 HAS SOUS 93360 HAS SOUPS 92285 WITH SCORE 92445.983
AT ITER 1802 NEW BEST:: SOT 315135 SOS 160933 HAS SOPS 155571 HAS SOUS 93306 HAS SOUPS 92231 WITH SCORE 92391.933
AT ITER 1819 NEW BEST:: SOT 315044 SOS 160779 HAS SOPS 155417 HAS SOUS 93214 HAS SOUPS 92139 WITH SCORE 92299.779
AT ITER 1821 NEW BEST:: SOT 315085 SOS 160732 HAS SOPS 155370 HAS SOUS 93036 HAS SOUPS 91961 WITH SCORE 92121.732
AT ITER 1841 NEW BEST:: SOT 315085 SOS 160563 HAS SOPS 155201 HAS SOUS 93036 HAS SOUPS 91961 WITH SCORE 92121.563
AT ITER 1889 NEW BEST:: SOT 315079 SOS 160554 HAS SOPS 155192 HAS SOUS 93027 HAS SOUPS 91952 WITH SCORE 92112.554
AT ITER 1896 NEW BEST:: SOT 314655 SOS 160511 HAS SOPS 155149 HAS SOUS 92826 HAS SOUPS 91751 WITH SCORE 91911.511
AT ITER 1899 NEW BEST:: SOT 314534 SOS 160375 HAS SOPS 155013 HAS SOUS 92486 HAS SOUPS 91411 WITH SCORE 91571.375
AT ITER 1915 NEW BEST:: SOT 314495 SOS 160248 HAS SOPS 154886 HAS SOUS 92408 HAS SOUPS 91333 WITH SCORE 91493.248
AT ITER 1916 NEW BEST:: SOT 314381 SOS 160134 HAS SOPS 154936 HAS SOUS 92394 HAS SOUPS 91319 WITH SCORE 91479.134
AT ITER 1934 NEW BEST:: SOT 314329 SOS 160056 HAS SOPS 154858 HAS SOUS 92316 HAS SOUPS 91241 WITH SCORE 91401.056
AT ITER 1952 NEW BEST:: SOT 313982 SOS 160007 HAS SOPS 154809 HAS SOUS 92061 HAS SOUPS 90986 WITH SCORE 91146.007
AT ITER 1966 NEW BEST:: SOT 313957 SOS 159995 HAS SOPS 154797 HAS SOUS 92011 HAS SOUPS 90936 WITH SCORE 91095.995
AT ITER 1981 NEW BEST:: SOT 314054 SOS 160514 HAS SOPS 155316 HAS SOUS 91987 HAS SOUPS 90912 WITH SCORE 91072.514
AT ITER 1983 NEW BEST:: SOT 314074 SOS 160626 HAS SOPS 155428 HAS SOUS 91791 HAS SOUPS 90716 WITH SCORE 90876.626
AT ITER 1989 NEW BEST:: SOT 314081 SOS 160654 HAS SOPS 155456 HAS SOUS 91749 HAS SOUPS 90674 WITH SCORE 90834.654
AT ITER 1990 NEW BEST:: SOT 314101 SOS 160648 HAS SOPS 155450 HAS SOUS 91743 HAS SOUPS 90668 WITH SCORE 90828.648
AT ITER 2000 NEW BEST:: SOT 313064 SOS 159608 HAS SOPS 154410 HAS SOUS 91422 HAS SOUPS 90347 WITH SCORE 90506.608
AT ITER 2010 NEW BEST:: SOT 312106 SOS 158928 HAS SOPS 153730 HAS SOUS 91316 HAS SOUPS 90241 WITH SCORE 90399.928
AT ITER 2016 NEW BEST:: SOT 312049 SOS 158853 HAS SOPS 153370 HAS SOUS 91145 HAS SOUPS 90070 WITH SCORE 90228.853
AT ITER 2019 NEW BEST:: SOT 312049 SOS 158853 HAS SOPS 153370 HAS SOUS 91141 HAS SOUPS 90066 WITH SCORE 90224.853
AT ITER 2020 NEW BEST:: SOT 312049 SOS 158832 HAS SOPS 153349 HAS SOUS 91134 HAS SOUPS 90059 WITH SCORE 90217.832
AT ITER 2035 NEW BEST:: SOT 312080 SOS 158469 HAS SOPS 152986 HAS SOUS 91045 HAS SOUPS 89970 WITH SCORE 90128.469
AT ITER 2036 NEW BEST:: SOT 311989 SOS 158454 HAS SOPS 152943 HAS SOUS 90964 HAS SOUPS 89876 WITH SCORE 90034.454
AT ITER 2045 NEW BEST:: SOT 311989 SOS 158477 HAS SOPS 152920 HAS SOUS 90941 HAS SOUPS 89853 WITH SCORE 90011.477
AT ITER 2046 NEW BEST:: SOT 311989 SOS 158534 HAS SOPS 152977 HAS SOUS 90932 HAS SOUPS 89844 WITH SCORE 90002.534
AT ITER 2058 NEW BEST:: SOT 311989 SOS 158534 HAS SOPS 153232 HAS SOUS 90893 HAS SOUPS 89816 WITH SCORE 89974.534
AT ITER 2068 NEW BEST:: SOT 311831 SOS 158376 HAS SOPS 153074 HAS SOUS 90725 HAS SOUPS 89648 WITH SCORE 89806.376
AT ITER 2077 NEW BEST:: SOT 311829 SOS 158372 HAS SOPS 153070 HAS SOUS 90721 HAS SOUPS 89644 WITH SCORE 89802.372
AT ITER 2084 NEW BEST:: SOT 311802 SOS 158333 HAS SOPS 153031 HAS SOUS 90716 HAS SOUPS 89639 WITH SCORE 89797.333
AT ITER 2088 NEW BEST:: SOT 311628 SOS 157963 HAS SOPS 152661 HAS SOUS 90448 HAS SOUPS 89371 WITH SCORE 89528.963
AT ITER 2089 NEW BEST:: SOT 311625 SOS 157966 HAS SOPS 152664 HAS SOUS 90445 HAS SOUPS 89368 WITH SCORE 89525.966
AT ITER 2091 NEW BEST:: SOT 311616 SOS 157957 HAS SOPS 152655 HAS SOUS 90436 HAS SOUPS 89359 WITH SCORE 89516.957
AT ITER 2092 NEW BEST:: SOT 311612 SOS 157953 HAS SOPS 152646 HAS SOUS 90428 HAS SOUPS 89350 WITH SCORE 89507.953
AT ITER 2110 NEW BEST:: SOT 311612 SOS 157871 HAS SOPS 152564 HAS SOUS 90428 HAS SOUPS 89350 WITH SCORE 89507.871
AT ITER 2148 NEW BEST:: SOT 311408 SOS 157946 HAS SOPS 152639 HAS SOUS 90340 HAS SOUPS 89262 WITH SCORE 89419.946
AT ITER 2151 NEW BEST:: SOT 311408 SOS 157957 HAS SOPS 152650 HAS SOUS 90324 HAS SOUPS 89246 WITH SCORE 89403.957
AT ITER 2178 NEW BEST:: SOT 310790 SOS 156735 HAS SOPS 151428 HAS SOUS 89688 HAS SOUPS 88610 WITH SCORE 88766.735
AT ITER 2205 NEW BEST:: SOT 310834 SOS 156981 HAS SOPS 151674 HAS SOUS 89597 HAS SOUPS 88519 WITH SCORE 88675.981
AT ITER 2209 NEW BEST:: SOT 310844 SOS 156987 HAS SOPS 151680 HAS SOUS 89595 HAS SOUPS 88517 WITH SCORE 88673.987
AT ITER 2210 NEW BEST:: SOT 310736 SOS 157204 HAS SOPS 151897 HAS SOUS 89543 HAS SOUPS 88465 WITH SCORE 88622.204
AT ITER 2216 NEW BEST:: SOT 310701 SOS 157169 HAS SOPS 151862 HAS SOUS 89485 HAS SOUPS 88407 WITH SCORE 88564.169
AT ITER 2219 NEW BEST:: SOT 310969 SOS 157437 HAS SOPS 152130 HAS SOUS 89463 HAS SOUPS 88385 WITH SCORE 88542.437
AT ITER 2220 NEW BEST:: SOT 310975 SOS 157365 HAS SOPS 152068 HAS SOUS 89403 HAS SOUPS 88325 WITH SCORE 88482.365
AT ITER 2225 NEW BEST:: SOT 310975 SOS 159058 HAS SOPS 152321 HAS SOUS 89445 HAS SOUPS 88323 WITH SCORE 88482.058
AT ITER 2232 NEW BEST:: SOT 310963 SOS 159034 HAS SOPS 152297 HAS SOUS 89421 HAS SOUPS 88299 WITH SCORE 88458.034
AT ITER 2240 NEW BEST:: SOT 310868 SOS 158977 HAS SOPS 152240 HAS SOUS 89314 HAS SOUPS 88192 WITH SCORE 88350.977
AT ITER 2247 NEW BEST:: SOT 310734 SOS 158791 HAS SOPS 152054 HAS SOUS 89006 HAS SOUPS 87884 WITH SCORE 88042.791
AT ITER 2254 NEW BEST:: SOT 310735 SOS 158807 HAS SOPS 152070 HAS SOUS 88992 HAS SOUPS 87870 WITH SCORE 88028.807
AT ITER 2271 NEW BEST:: SOT 310621 SOS 158619 HAS SOPS 151882 HAS SOUS 88612 HAS SOUPS 87490 WITH SCORE 87648.619
AT ITER 2303 NEW BEST:: SOT 310770 SOS 158711 HAS SOPS 151974 HAS SOUS 88510 HAS SOUPS 87388 WITH SCORE 87546.711
AT ITER 2304 NEW BEST:: SOT 310779 SOS 158710 HAS SOPS 151973 HAS SOUS 88385 HAS SOUPS 87263 WITH SCORE 87421.71
AT ITER 2323 NEW BEST:: SOT 310727 SOS 158658 HAS SOPS 151909 HAS SOUS 88317 HAS SOUPS 87195 WITH SCORE 87353.658
AT ITER 2326 NEW BEST:: SOT 310671 SOS 158602 HAS SOPS 151853 HAS SOUS 88250 HAS SOUPS 87128 WITH SCORE 87286.602
AT ITER 2338 NEW BEST:: SOT 310654 SOS 158585 HAS SOPS 151819 HAS SOUS 88199 HAS SOUPS 87077 WITH SCORE 87235.585
AT ITER 2342 NEW BEST:: SOT 310654 SOS 158628 HAS SOPS 151862 HAS SOUS 88156 HAS SOUPS 87034 WITH SCORE 87192.628
AT ITER 2346 NEW BEST:: SOT 310608 SOS 158605 HAS SOPS 151839 HAS SOUS 88156 HAS SOUPS 87034 WITH SCORE 87192.605
AT ITER 2354 NEW BEST:: SOT 310510 SOS 158531 HAS SOPS 151765 HAS SOUS 88065 HAS SOUPS 86943 WITH SCORE 87101.531
AT ITER 2367 NEW BEST:: SOT 310488 SOS 158518 HAS SOPS 151752 HAS SOUS 88051 HAS SOUPS 86929 WITH SCORE 87087.518
AT ITER 2369 NEW BEST:: SOT 310478 SOS 158154 HAS SOPS 151606 HAS SOUS 88031 HAS SOUPS 86909 WITH SCORE 87067.154
AT ITER 2370 NEW BEST:: SOT 310473 SOS 158149 HAS SOPS 151601 HAS SOUS 88026 HAS SOUPS 86904 WITH SCORE 87062.149
AT ITER 2371 NEW BEST:: SOT 310407 SOS 158009 HAS SOPS 151461 HAS SOUS 87934 HAS SOUPS 86812 WITH SCORE 86970.009
AT ITER 2374 NEW BEST:: SOT 310395 SOS 157997 HAS SOPS 151449 HAS SOUS 87916 HAS SOUPS 86794 WITH SCORE 86951.997
AT ITER 2377 NEW BEST:: SOT 310369 SOS 157793 HAS SOPS 151245 HAS SOUS 87801 HAS SOUPS 86679 WITH SCORE 86836.793
AT ITER 2391 NEW BEST:: SOT 310411 SOS 158465 HAS SOPS 151605 HAS SOUS 87428 HAS SOUPS 86254 WITH SCORE 86412.465
AT ITER 2399 NEW BEST:: SOT 310389 SOS 158443 HAS SOPS 151583 HAS SOUS 87406 HAS SOUPS 86232 WITH SCORE 86390.443
AT ITER 2416 NEW BEST:: SOT 310336 SOS 158278 HAS SOPS 151418 HAS SOUS 87359 HAS SOUPS 86185 WITH SCORE 86343.278
AT ITER 2457 NEW BEST:: SOT 310288 SOS 158062 HAS SOPS 151202 HAS SOUS 87305 HAS SOUPS 86131 WITH SCORE 86289.062
AT ITER 2515 NEW BEST:: SOT 310326 SOS 157784 HAS SOPS 150924 HAS SOUS 87262 HAS SOUPS 86088 WITH SCORE 86245.784
AT ITER 2535 NEW BEST:: SOT 310342 SOS 156817 HAS SOPS 149957 HAS SOUS 87038 HAS SOUPS 85864 WITH SCORE 86020.817
AT ITER 2548 NEW BEST:: SOT 310417 SOS 157353 HAS SOPS 150493 HAS SOUS 86965 HAS SOUPS 85791 WITH SCORE 85948.353
AT ITER 2557 NEW BEST:: SOT 310396 SOS 157369 HAS SOPS 150503 HAS SOUS 86932 HAS SOUPS 85758 WITH SCORE 85915.369
AT ITER 2563 NEW BEST:: SOT 310373 SOS 157457 HAS SOPS 150591 HAS SOUS 86922 HAS SOUPS 85748 WITH SCORE 85905.457
AT ITER 2566 NEW BEST:: SOT 310349 SOS 157434 HAS SOPS 150615 HAS SOUS 86874 HAS SOUPS 85724 WITH SCORE 85881.434
AT ITER 2580 NEW BEST:: SOT 310313 SOS 157361 HAS SOPS 150542 HAS SOUS 86819 HAS SOUPS 85669 WITH SCORE 85826.361
AT ITER 2581 NEW BEST:: SOT 310292 SOS 157226 HAS SOPS 150407 HAS SOUS 86789 HAS SOUPS 85639 WITH SCORE 85796.226
AT ITER 2586 NEW BEST:: SOT 310402 SOS 157312 HAS SOPS 150493 HAS SOUS 86783 HAS SOUPS 85633 WITH SCORE 85790.312
AT ITER 2592 NEW BEST:: SOT 310236 SOS 157040 HAS SOPS 150221 HAS SOUS 86696 HAS SOUPS 85546 WITH SCORE 85703.04
AT ITER 2615 NEW BEST:: SOT 309964 SOS 156286 HAS SOPS 149467 HAS SOUS 86149 HAS SOUPS 84999 WITH SCORE 85155.286
AT ITER 2618 NEW BEST:: SOT 309034 SOS 155387 HAS SOPS 148568 HAS SOUS 85622 HAS SOUPS 84472 WITH SCORE 84627.387
AT ITER 2622 NEW BEST:: SOT 308929 SOS 155313 HAS SOPS 148494 HAS SOUS 85616 HAS SOUPS 84466 WITH SCORE 84621.313
AT ITER 2626 NEW BEST:: SOT 308873 SOS 155257 HAS SOPS 148438 HAS SOUS 85560 HAS SOUPS 84410 WITH SCORE 84565.257
AT ITER 2638 NEW BEST:: SOT 308667 SOS 155074 HAS SOPS 148255 HAS SOUS 85425 HAS SOUPS 84275 WITH SCORE 84430.074
AT ITER 2649 NEW BEST:: SOT 308779 SOS 155167 HAS SOPS 148348 HAS SOUS 85388 HAS SOUPS 84238 WITH SCORE 84393.167
AT ITER 2677 NEW BEST:: SOT 308743 SOS 155185 HAS SOPS 148348 HAS SOUS 85352 HAS SOUPS 84202 WITH SCORE 84357.185
AT ITER 2704 NEW BEST:: SOT 308723 SOS 155145 HAS SOPS 148308 HAS SOUS 85312 HAS SOUPS 84162 WITH SCORE 84317.145
AT ITER 2706 NEW BEST:: SOT 308705 SOS 155091 HAS SOPS 148254 HAS SOUS 85246 HAS SOUPS 84096 WITH SCORE 84251.091
AT ITER 2711 NEW BEST:: SOT 308644 SOS 155030 HAS SOPS 148193 HAS SOUS 85240 HAS SOUPS 84090 WITH SCORE 84245.03
AT ITER 2759 NEW BEST:: SOT 308620 SOS 154929 HAS SOPS 148092 HAS SOUS 85192 HAS SOUPS 84042 WITH SCORE 84196.929
AT ITER 2773 NEW BEST:: SOT 308662 SOS 155128 HAS SOPS 148291 HAS SOUS 85188 HAS SOUPS 84038 WITH SCORE 84193.128
AT ITER 2781 NEW BEST:: SOT 308604 SOS 155070 HAS SOPS 148233 HAS SOUS 85072 HAS SOUPS 83922 WITH SCORE 84077.07
AT ITER 2782 NEW BEST:: SOT 308444 SOS 156128 HAS SOPS 149291 HAS SOUS 84882 HAS SOUPS 83732 WITH SCORE 83888.128
AT ITER 2783 NEW BEST:: SOT 308364 SOS 155793 HAS SOPS 148956 HAS SOUS 84784 HAS SOUPS 83634 WITH SCORE 83789.793
AT ITER 2792 NEW BEST:: SOT 308364 SOS 155641 HAS SOPS 148804 HAS SOUS 84784 HAS SOUPS 83634 WITH SCORE 83789.641
AT ITER 2793 NEW BEST:: SOT 308338 SOS 155488 HAS SOPS 148651 HAS SOUS 84631 HAS SOUPS 83481 WITH SCORE 83636.488
AT ITER 2803 NEW BEST:: SOT 308361 SOS 153956 HAS SOPS 147119 HAS SOUS 84506 HAS SOUPS 83356 WITH SCORE 83509.956
AT ITER 2817 NEW BEST:: SOT 308335 SOS 153880 HAS SOPS 147043 HAS SOUS 84504 HAS SOUPS 83354 WITH SCORE 83507.88
AT ITER 2834 NEW BEST:: SOT 308350 SOS 153916 HAS SOPS 147079 HAS SOUS 84482 HAS SOUPS 83332 WITH SCORE 83485.916
AT ITER 2847 NEW BEST:: SOT 308214 SOS 153742 HAS SOPS 146905 HAS SOUS 84336 HAS SOUPS 83186 WITH SCORE 83339.742
AT ITER 2851 NEW BEST:: SOT 308020 SOS 153474 HAS SOPS 146637 HAS SOUS 84146 HAS SOUPS 82996 WITH SCORE 83149.474
AT ITER 2852 NEW BEST:: SOT 307992 SOS 151472 HAS SOPS 144635 HAS SOUS 83721 HAS SOUPS 82571 WITH SCORE 82722.472
AT ITER 2853 NEW BEST:: SOT 307789 SOS 151074 HAS SOPS 144237 HAS SOUS 83537 HAS SOUPS 82387 WITH SCORE 82538.074
AT ITER 2882 NEW BEST:: SOT 307789 SOS 151074 HAS SOPS 144237 HAS SOUS 83480 HAS SOUPS 82330 WITH SCORE 82481.074
AT ITER 2885 NEW BEST:: SOT 307746 SOS 151031 HAS SOPS 144194 HAS SOUS 83272 HAS SOUPS 82122 WITH SCORE 82273.031
AT ITER 2893 NEW BEST:: SOT 307706 SOS 150759 HAS SOPS 143922 HAS SOUS 83232 HAS SOUPS 82082 WITH SCORE 82232.759
AT ITER 2897 NEW BEST:: SOT 307675 SOS 150631 HAS SOPS 143794 HAS SOUS 83221 HAS SOUPS 82071 WITH SCORE 82221.631
AT ITER 2924 NEW BEST:: SOT 307193 SOS 150483 HAS SOPS 143646 HAS SOUS 82873 HAS SOUPS 81723 WITH SCORE 81873.483
AT ITER 2950 NEW BEST:: SOT 307213 SOS 150528 HAS SOPS 143691 HAS SOUS 82854 HAS SOUPS 81704 WITH SCORE 81854.528
AT ITER 2954 NEW BEST:: SOT 307213 SOS 149987 HAS SOPS 143150 HAS SOUS 82854 HAS SOUPS 81704 WITH SCORE 81853.987
AT ITER 2972 NEW BEST:: SOT 307213 SOS 150135 HAS SOPS 143298 HAS SOUS 82760 HAS SOUPS 81610 WITH SCORE 81760.135
AT ITER 2976 NEW BEST:: SOT 307225 SOS 150159 HAS SOPS 143322 HAS SOUS 82721 HAS SOUPS 81571 WITH SCORE 81721.159
AT ITER 2988 NEW BEST:: SOT 307190 SOS 150124 HAS SOPS 143287 HAS SOUS 82672 HAS SOUPS 81522 WITH SCORE 81672.124
AT ITER 3001 NEW BEST:: SOT 307201 SOS 150114 HAS SOPS 143277 HAS SOUS 82662 HAS SOUPS 81512 WITH SCORE 81662.114
AT ITER 3017 NEW BEST:: SOT 307188 SOS 150114 HAS SOPS 143251 HAS SOUS 82649 HAS SOUPS 81499 WITH SCORE 81649.114
AT ITER 3040 NEW BEST:: SOT 307188 SOS 150102 HAS SOPS 143239 HAS SOUS 82649 HAS SOUPS 81499 WITH SCORE 81649.102
AT ITER 3044 NEW BEST:: SOT 307162 SOS 150034 HAS SOPS 143171 HAS SOUS 82616 HAS SOUPS 81466 WITH SCORE 81616.034
AT ITER 3062 NEW BEST:: SOT 307132 SOS 149991 HAS SOPS 143128 HAS SOUS 82565 HAS SOUPS 81415 WITH SCORE 81564.991
AT ITER 3070 NEW BEST:: SOT 307119 SOS 150153 HAS SOPS 143290 HAS SOUS 82439 HAS SOUPS 81289 WITH SCORE 81439.153
AT ITER 3092 NEW BEST:: SOT 307065 SOS 150090 HAS SOPS 143227 HAS SOUS 82376 HAS SOUPS 81226 WITH SCORE 81376.09
AT ITER 3118 NEW BEST:: SOT 304587 SOS 147645 HAS SOPS 140782 HAS SOUS 81926 HAS SOUPS 80776 WITH SCORE 80923.645
AT ITER 3133 NEW BEST:: SOT 304536 SOS 147300 HAS SOPS 140437 HAS SOUS 81864 HAS SOUPS 80714 WITH SCORE 80861.3
AT ITER 3146 NEW BEST:: SOT 304523 SOS 147342 HAS SOPS 140479 HAS SOUS 81849 HAS SOUPS 80699 WITH SCORE 80846.342
AT ITER 3169 NEW BEST:: SOT 304400 SOS 147173 HAS SOPS 140310 HAS SOUS 81811 HAS SOUPS 80661 WITH SCORE 80808.173
AT ITER 3185 NEW BEST:: SOT 304338 SOS 147111 HAS SOPS 140248 HAS SOUS 81687 HAS SOUPS 80537 WITH SCORE 80684.111
AT ITER 3194 NEW BEST:: SOT 304318 SOS 147075 HAS SOPS 140212 HAS SOUS 81664 HAS SOUPS 80514 WITH SCORE 80661.075
AT ITER 3198 NEW BEST:: SOT 304215 SOS 146898 HAS SOPS 140035 HAS SOUS 81487 HAS SOUPS 80337 WITH SCORE 80483.898
AT ITER 3253 NEW BEST:: SOT 304207 SOS 146880 HAS SOPS 140017 HAS SOUS 81471 HAS SOUPS 80321 WITH SCORE 80467.88
AT ITER 3257 NEW BEST:: SOT 304207 SOS 146826 HAS SOPS 139963 HAS SOUS 81471 HAS SOUPS 80321 WITH SCORE 80467.826
AT ITER 3279 NEW BEST:: SOT 304202 SOS 146771 HAS SOPS 139903 HAS SOUS 81423 HAS SOUPS 80273 WITH SCORE 80419.771
AT ITER 3290 NEW BEST:: SOT 304173 SOS 146854 HAS SOPS 139986 HAS SOUS 81365 HAS SOUPS 80215 WITH SCORE 80361.854
AT ITER 3296 NEW BEST:: SOT 304149 SOS 146852 HAS SOPS 140008 HAS SOUS 81349 HAS SOUPS 80199 WITH SCORE 80345.852
AT ITER 3306 NEW BEST:: SOT 304044 SOS 146229 HAS SOPS 139385 HAS SOUS 81330 HAS SOUPS 80180 WITH SCORE 80326.229
AT ITER 3311 NEW BEST:: SOT 304026 SOS 146211 HAS SOPS 139367 HAS SOUS 81312 HAS SOUPS 80162 WITH SCORE 80308.211
AT ITER 3313 NEW BEST:: SOT 304026 SOS 146205 HAS SOPS 139361 HAS SOUS 81306 HAS SOUPS 80156 WITH SCORE 80302.205
AT ITER 3323 NEW BEST:: SOT 304026 SOS 146205 HAS SOPS 139361 HAS SOUS 81303 HAS SOUPS 80153 WITH SCORE 80299.205
AT ITER 3349 NEW BEST:: SOT 303928 SOS 146073 HAS SOPS 139229 HAS SOUS 81130 HAS SOUPS 79980 WITH SCORE 80126.073
AT ITER 3352 NEW BEST:: SOT 303956 SOS 146082 HAS SOPS 139238 HAS SOUS 80996 HAS SOUPS 79846 WITH SCORE 79992.082
AT ITER 3366 NEW BEST:: SOT 303956 SOS 146077 HAS SOPS 139233 HAS SOUS 80991 HAS SOUPS 79841 WITH SCORE 79987.077
AT ITER 3375 NEW BEST:: SOT 304187 SOS 146491 HAS SOPS 139647 HAS SOUS 80922 HAS SOUPS 79772 WITH SCORE 79918.491
AT ITER 3382 NEW BEST:: SOT 304202 SOS 146503 HAS SOPS 139659 HAS SOUS 80916 HAS SOUPS 79766 WITH SCORE 79912.503
AT ITER 3387 NEW BEST:: SOT 304266 SOS 146586 HAS SOPS 139742 HAS SOUS 80879 HAS SOUPS 79729 WITH SCORE 79875.586
AT ITER 3400 NEW BEST:: SOT 304266 SOS 146576 HAS SOPS 139732 HAS SOUS 80879 HAS SOUPS 79729 WITH SCORE 79875.576
AT ITER 3415 NEW BEST:: SOT 304194 SOS 146529 HAS SOPS 139685 HAS SOUS 80815 HAS SOUPS 79665 WITH SCORE 79811.529
AT ITER 3448 NEW BEST:: SOT 304194 SOS 146565 HAS SOPS 139721 HAS SOUS 80803 HAS SOUPS 79653 WITH SCORE 79799.565
AT ITER 3465 NEW BEST:: SOT 304168 SOS 146539 HAS SOPS 139695 HAS SOUS 80777 HAS SOUPS 79627 WITH SCORE 79773.539
AT ITER 3470 NEW BEST:: SOT 304168 SOS 146631 HAS SOPS 139787 HAS SOUS 80760 HAS SOUPS 79610 WITH SCORE 79756.631
AT ITER 3478 NEW BEST:: SOT 304166 SOS 146628 HAS SOPS 139784 HAS SOUS 80756 HAS SOUPS 79606 WITH SCORE 79752.628
AT ITER 3502 NEW BEST:: SOT 304127 SOS 146575 HAS SOPS 139731 HAS SOUS 80679 HAS SOUPS 79529 WITH SCORE 79675.575
AT ITER 3505 NEW BEST:: SOT 304195 SOS 146512 HAS SOPS 139668 HAS SOUS 80647 HAS SOUPS 79497 WITH SCORE 79643.512
AT ITER 3511 NEW BEST:: SOT 304176 SOS 146478 HAS SOPS 139598 HAS SOUS 80573 HAS SOUPS 79423 WITH SCORE 79569.478
AT ITER 3514 NEW BEST:: SOT 304168 SOS 146470 HAS SOPS 139590 HAS SOUS 80565 HAS SOUPS 79415 WITH SCORE 79561.47
AT ITER 3515 NEW BEST:: SOT 304168 SOS 146470 HAS SOPS 139590 HAS SOUS 80519 HAS SOUPS 79369 WITH SCORE 79515.47
AT ITER 3610 NEW BEST:: SOT 304188 SOS 146500 HAS SOPS 139620 HAS SOUS 80515 HAS SOUPS 79365 WITH SCORE 79511.5
AT ITER 3618 NEW BEST:: SOT 304207 SOS 146514 HAS SOPS 139634 HAS SOUS 80486 HAS SOUPS 79336 WITH SCORE 79482.514
AT ITER 3638 NEW BEST:: SOT 304202 SOS 146487 HAS SOPS 139607 HAS SOUS 80459 HAS SOUPS 79309 WITH SCORE 79455.487
AT ITER 3649 NEW BEST:: SOT 304342 SOS 146471 HAS SOPS 139591 HAS SOUS 80443 HAS SOUPS 79293 WITH SCORE 79439.471
AT ITER 3657 NEW BEST:: SOT 304366 SOS 146518 HAS SOPS 139638 HAS SOUS 80412 HAS SOUPS 79262 WITH SCORE 79408.518
AT ITER 3664 NEW BEST:: SOT 304386 SOS 146538 HAS SOPS 139658 HAS SOUS 80394 HAS SOUPS 79244 WITH SCORE 79390.538
AT ITER 3666 NEW BEST:: SOT 304386 SOS 146538 HAS SOPS 139658 HAS SOUS 80392 HAS SOUPS 79242 WITH SCORE 79388.538
AT ITER 3678 NEW BEST:: SOT 304386 SOS 145866 HAS SOPS 139136 HAS SOUS 80223 HAS SOUPS 79098 WITH SCORE 79243.866
AT ITER 3679 NEW BEST:: SOT 304045 SOS 146360 HAS SOPS 139630 HAS SOUS 80171 HAS SOUPS 79046 WITH SCORE 79192.36
AT ITER 3682 NEW BEST:: SOT 303987 SOS 146233 HAS SOPS 139503 HAS SOUS 80106 HAS SOUPS 78981 WITH SCORE 79127.233
AT ITER 3688 NEW BEST:: SOT 303979 SOS 146217 HAS SOPS 139487 HAS SOUS 80090 HAS SOUPS 78965 WITH SCORE 79111.217
AT ITER 3699 NEW BEST:: SOT 303676 SOS 145998 HAS SOPS 139268 HAS SOUS 80030 HAS SOUPS 78905 WITH SCORE 79050.998
AT ITER 3707 NEW BEST:: SOT 303657 SOS 145979 HAS SOPS 139249 HAS SOUS 79989 HAS SOUPS 78864 WITH SCORE 79009.979
AT ITER 3724 NEW BEST:: SOT 303620 SOS 145942 HAS SOPS 139212 HAS SOUS 79919 HAS SOUPS 78794 WITH SCORE 78939.942
AT ITER 3730 NEW BEST:: SOT 303657 SOS 146059 HAS SOPS 139280 HAS SOUS 79907 HAS SOUPS 78782 WITH SCORE 78928.059
AT ITER 3735 NEW BEST:: SOT 303632 SOS 146053 HAS SOPS 139274 HAS SOUS 79857 HAS SOUPS 78732 WITH SCORE 78878.053
AT ITER 3741 NEW BEST:: SOT 303572 SOS 145933 HAS SOPS 139154 HAS SOUS 79766 HAS SOUPS 78641 WITH SCORE 78786.933
AT ITER 3746 NEW BEST:: SOT 303565 SOS 145912 HAS SOPS 139133 HAS SOUS 79752 HAS SOUPS 78627 WITH SCORE 78772.912
AT ITER 3748 NEW BEST:: SOT 303679 SOS 146007 HAS SOPS 138644 HAS SOUS 79847 HAS SOUPS 78588 WITH SCORE 78734.007
AT ITER 3761 NEW BEST:: SOT 303643 SOS 145971 HAS SOPS 138608 HAS SOUS 79764 HAS SOUPS 78505 WITH SCORE 78650.971
AT ITER 3777 NEW BEST:: SOT 303619 SOS 145947 HAS SOPS 138584 HAS SOUS 79740 HAS SOUPS 78481 WITH SCORE 78626.947
AT ITER 3781 NEW BEST:: SOT 303575 SOS 145903 HAS SOPS 138540 HAS SOUS 79675 HAS SOUPS 78416 WITH SCORE 78561.903
AT ITER 3784 NEW BEST:: SOT 303541 SOS 145872 HAS SOPS 138509 HAS SOUS 79638 HAS SOUPS 78379 WITH SCORE 78524.872
AT ITER 3785 NEW BEST:: SOT 303496 SOS 145716 HAS SOPS 138353 HAS SOUS 79534 HAS SOUPS 78275 WITH SCORE 78420.716
AT ITER 3799 NEW BEST:: SOT 303492 SOS 145738 HAS SOPS 138375 HAS SOUS 79515 HAS SOUPS 78256 WITH SCORE 78401.738
AT ITER 3815 NEW BEST:: SOT 303405 SOS 145666 HAS SOPS 138303 HAS SOUS 79509 HAS SOUPS 78250 WITH SCORE 78395.666
AT ITER 3828 NEW BEST:: SOT 303402 SOS 145654 HAS SOPS 138291 HAS SOUS 79509 HAS SOUPS 78250 WITH SCORE 78395.654
AT ITER 3830 NEW BEST:: SOT 303394 SOS 145646 HAS SOPS 138283 HAS SOUS 79496 HAS SOUPS 78237 WITH SCORE 78382.646
AT ITER 3846 NEW BEST:: SOT 303382 SOS 145622 HAS SOPS 138259 HAS SOUS 79484 HAS SOUPS 78225 WITH SCORE 78370.622
AT ITER 3849 NEW BEST:: SOT 303107 SOS 145347 HAS SOPS 137984 HAS SOUS 79267 HAS SOUPS 78008 WITH SCORE 78153.347
AT ITER 3862 NEW BEST:: SOT 303067 SOS 145330 HAS SOPS 137944 HAS SOUS 79268 HAS SOUPS 78001 WITH SCORE 78146.33
AT ITER 3884 NEW BEST:: SOT 302990 SOS 145294 HAS SOPS 137908 HAS SOUS 79191 HAS SOUPS 77924 WITH SCORE 78069.294
AT ITER 3892 NEW BEST:: SOT 302990 SOS 145273 HAS SOPS 137887 HAS SOUS 79185 HAS SOUPS 77918 WITH SCORE 78063.273
AT ITER 3907 NEW BEST:: SOT 302943 SOS 145053 HAS SOPS 137667 HAS SOUS 79165 HAS SOUPS 77898 WITH SCORE 78043.053
AT ITER 3909 NEW BEST:: SOT 302766 SOS 144925 HAS SOPS 137539 HAS SOUS 79074 HAS SOUPS 77807 WITH SCORE 77951.925
AT ITER 3912 NEW BEST:: SOT 302761 SOS 144894 HAS SOPS 137508 HAS SOUS 79064 HAS SOUPS 77797 WITH SCORE 77941.894
AT ITER 3914 NEW BEST:: SOT 302664 SOS 144671 HAS SOPS 137285 HAS SOUS 78750 HAS SOUPS 77483 WITH SCORE 77627.671
AT ITER 3932 NEW BEST:: SOT 302710 SOS 144690 HAS SOPS 137304 HAS SOUS 78643 HAS SOUPS 77376 WITH SCORE 77520.69
AT ITER 3933 NEW BEST:: SOT 302493 SOS 144160 HAS SOPS 136774 HAS SOUS 78376 HAS SOUPS 77109 WITH SCORE 77253.16
AT ITER 3937 NEW BEST:: SOT 302493 SOS 144160 HAS SOPS 136774 HAS SOUS 78323 HAS SOUPS 77056 WITH SCORE 77200.16
AT ITER 3946 NEW BEST:: SOT 302352 SOS 144039 HAS SOPS 136653 HAS SOUS 78245 HAS SOUPS 76978 WITH SCORE 77122.039
AT ITER 3960 NEW BEST:: SOT 302337 SOS 144024 HAS SOPS 136638 HAS SOUS 78218 HAS SOUPS 76951 WITH SCORE 77095.024
AT ITER 3966 NEW BEST:: SOT 302335 SOS 144022 HAS SOPS 136636 HAS SOUS 78218 HAS SOUPS 76951 WITH SCORE 77095.022
AT ITER 3993 NEW BEST:: SOT 302334 SOS 144029 HAS SOPS 136643 HAS SOUS 78208 HAS SOUPS 76941 WITH SCORE 77085.029
AT ITER 4005 NEW BEST:: SOT 302334 SOS 144029 HAS SOPS 136643 HAS SOUS 78168 HAS SOUPS 76901 WITH SCORE 77045.029
AT ITER 4045 NEW BEST:: SOT 302310 SOS 144005 HAS SOPS 136619 HAS SOUS 78149 HAS SOUPS 76882 WITH SCORE 77026.005
AT ITER 4055 NEW BEST:: SOT 302297 SOS 143979 HAS SOPS 136593 HAS SOUS 78136 HAS SOUPS 76869 WITH SCORE 77012.979
AT ITER 4064 NEW BEST:: SOT 302264 SOS 143938 HAS SOPS 136552 HAS SOUS 78038 HAS SOUPS 76771 WITH SCORE 76914.938
AT ITER 4086 NEW BEST:: SOT 301985 SOS 143599 HAS SOPS 136213 HAS SOUS 77566 HAS SOUPS 76299 WITH SCORE 76442.599
AT ITER 4094 NEW BEST:: SOT 301878 SOS 143443 HAS SOPS 136057 HAS SOUS 77559 HAS SOUPS 76292 WITH SCORE 76435.443
AT ITER 4100 NEW BEST:: SOT 301834 SOS 143399 HAS SOPS 136013 HAS SOUS 77494 HAS SOUPS 76227 WITH SCORE 76370.399
AT ITER 4122 NEW BEST:: SOT 301824 SOS 143447 HAS SOPS 136061 HAS SOUS 77474 HAS SOUPS 76207 WITH SCORE 76350.447
AT ITER 4127 NEW BEST:: SOT 301830 SOS 143473 HAS SOPS 136087 HAS SOUS 77470 HAS SOUPS 76203 WITH SCORE 76346.473
AT ITER 4128 NEW BEST:: SOT 301818 SOS 143461 HAS SOPS 136075 HAS SOUS 77446 HAS SOUPS 76179 WITH SCORE 76322.461
AT ITER 4133 NEW BEST:: SOT 301834 SOS 143516 HAS SOPS 136130 HAS SOUS 77439 HAS SOUPS 76172 WITH SCORE 76315.516
AT ITER 4163 NEW BEST:: SOT 301791 SOS 143455 HAS SOPS 136069 HAS SOUS 77378 HAS SOUPS 76111 WITH SCORE 76254.455
AT ITER 4174 NEW BEST:: SOT 301791 SOS 143513 HAS SOPS 136127 HAS SOUS 77344 HAS SOUPS 76077 WITH SCORE 76220.513
AT ITER 4193 NEW BEST:: SOT 300700 SOS 142164 HAS SOPS 134778 HAS SOUS 76851 HAS SOUPS 75584 WITH SCORE 75726.164
AT ITER 4194 NEW BEST:: SOT 300607 SOS 142103 HAS SOPS 134781 HAS SOUS 76667 HAS SOUPS 75400 WITH SCORE 75542.103
AT ITER 4204 NEW BEST:: SOT 300607 SOS 140957 HAS SOPS 134575 HAS SOUS 76632 HAS SOUPS 75390 WITH SCORE 75530.957
AT ITER 4207 NEW BEST:: SOT 300607 SOS 140957 HAS SOPS 134575 HAS SOUS 76629 HAS SOUPS 75387 WITH SCORE 75527.957
AT ITER 4217 NEW BEST:: SOT 300632 SOS 140982 HAS SOPS 134600 HAS SOUS 76625 HAS SOUPS 75383 WITH SCORE 75523.982
AT ITER 4235 NEW BEST:: SOT 300626 SOS 141091 HAS SOPS 134709 HAS SOUS 76597 HAS SOUPS 75355 WITH SCORE 75496.091
AT ITER 4243 NEW BEST:: SOT 300587 SOS 141052 HAS SOPS 134670 HAS SOUS 76551 HAS SOUPS 75309 WITH SCORE 75450.052
AT ITER 4252 NEW BEST:: SOT 300579 SOS 141048 HAS SOPS 134666 HAS SOUS 76539 HAS SOUPS 75297 WITH SCORE 75438.048
AT ITER 4265 NEW BEST:: SOT 300567 SOS 141063 HAS SOPS 134682 HAS SOUS 76519 HAS SOUPS 75277 WITH SCORE 75418.063
AT ITER 4277 NEW BEST:: SOT 300466 SOS 140962 HAS SOPS 134581 HAS SOUS 76332 HAS SOUPS 75090 WITH SCORE 75230.962
AT ITER 4285 NEW BEST:: SOT 300419 SOS 140868 HAS SOPS 134487 HAS SOUS 76191 HAS SOUPS 74949 WITH SCORE 75089.868
AT ITER 4303 NEW BEST:: SOT 300749 SOS 141214 HAS SOPS 134833 HAS SOUS 76016 HAS SOUPS 74774 WITH SCORE 74915.214
AT ITER 4315 NEW BEST:: SOT 300639 SOS 143080 HAS SOPS 136699 HAS SOUS 75711 HAS SOUPS 74469 WITH SCORE 74612.08
AT ITER 4321 NEW BEST:: SOT 300653 SOS 143035 HAS SOPS 136654 HAS SOUS 75665 HAS SOUPS 74423 WITH SCORE 74566.035
AT ITER 4339 NEW BEST:: SOT 300408 SOS 143354 HAS SOPS 136973 HAS SOUS 75566 HAS SOUPS 74324 WITH SCORE 74467.354
AT ITER 4373 NEW BEST:: SOT 300375 SOS 143321 HAS SOPS 136940 HAS SOUS 75452 HAS SOUPS 74210 WITH SCORE 74353.321
AT ITER 4387 NEW BEST:: SOT 300129 SOS 143057 HAS SOPS 136696 HAS SOUS 75185 HAS SOUPS 73957 WITH SCORE 74100.057
AT ITER 4407 NEW BEST:: SOT 300107 SOS 143035 HAS SOPS 136674 HAS SOUS 75163 HAS SOUPS 73935 WITH SCORE 74078.035
AT ITER 4442 NEW BEST:: SOT 300005 SOS 143328 HAS SOPS 136967 HAS SOUS 74969 HAS SOUPS 73741 WITH SCORE 73884.328
AT ITER 4453 NEW BEST:: SOT 300005 SOS 143340 HAS SOPS 136979 HAS SOUS 74967 HAS SOUPS 73739 WITH SCORE 73882.34
AT ITER 4464 NEW BEST:: SOT 299987 SOS 143322 HAS SOPS 136961 HAS SOUS 74931 HAS SOUPS 73703 WITH SCORE 73846.322
AT ITER 4465 NEW BEST:: SOT 299982 SOS 143786 HAS SOPS 137425 HAS SOUS 74832 HAS SOUPS 73604 WITH SCORE 73747.786
AT ITER 4467 NEW BEST:: SOT 299949 SOS 144090 HAS SOPS 137729 HAS SOUS 74827 HAS SOUPS 73599 WITH SCORE 73743.09
AT ITER 4499 NEW BEST:: SOT 299911 SOS 144041 HAS SOPS 137680 HAS SOUS 74696 HAS SOUPS 73468 WITH SCORE 73612.041
AT ITER 4504 NEW BEST:: SOT 299903 SOS 143985 HAS SOPS 137624 HAS SOUS 74690 HAS SOUPS 73462 WITH SCORE 73605.985
AT ITER 4509 NEW BEST:: SOT 299840 SOS 143859 HAS SOPS 137498 HAS SOUS 74564 HAS SOUPS 73336 WITH SCORE 73479.859
AT ITER 4511 NEW BEST:: SOT 299710 SOS 143669 HAS SOPS 137308 HAS SOUS 74514 HAS SOUPS 73286 WITH SCORE 73429.669
AT ITER 4512 NEW BEST:: SOT 299710 SOS 143673 HAS SOPS 137312 HAS SOUS 74513 HAS SOUPS 73285 WITH SCORE 73428.673
AT ITER 4513 NEW BEST:: SOT 299730 SOS 143696 HAS SOPS 137335 HAS SOUS 74482 HAS SOUPS 73254 WITH SCORE 73397.696
AT ITER 4549 NEW BEST:: SOT 299771 SOS 143710 HAS SOPS 137349 HAS SOUS 74481 HAS SOUPS 73253 WITH SCORE 73396.71
AT ITER 4563 NEW BEST:: SOT 299759 SOS 143710 HAS SOPS 137349 HAS SOUS 74469 HAS SOUPS 73241 WITH SCORE 73384.71
AT ITER 4568 NEW BEST:: SOT 299706 SOS 142316 HAS SOPS 136573 HAS SOUS 74320 HAS SOUPS 73195 WITH SCORE 73337.316
AT ITER 4570 NEW BEST:: SOT 299728 SOS 142304 HAS SOPS 136561 HAS SOUS 74257 HAS SOUPS 73132 WITH SCORE 73274.304
AT ITER 4574 NEW BEST:: SOT 299728 SOS 142154 HAS SOPS 136411 HAS SOUS 74252 HAS SOUPS 73127 WITH SCORE 73269.154
AT ITER 4619 NEW BEST:: SOT 299737 SOS 141923 HAS SOPS 136180 HAS SOUS 74230 HAS SOUPS 73105 WITH SCORE 73246.923
AT ITER 4667 NEW BEST:: SOT 299696 SOS 141892 HAS SOPS 136149 HAS SOUS 74124 HAS SOUPS 72999 WITH SCORE 73140.892
AT ITER 4688 NEW BEST:: SOT 299653 SOS 141882 HAS SOPS 136139 HAS SOUS 74019 HAS SOUPS 72894 WITH SCORE 73035.882
AT ITER 4701 NEW BEST:: SOT 299628 SOS 141856 HAS SOPS 136113 HAS SOUS 73976 HAS SOUPS 72851 WITH SCORE 72992.856
AT ITER 4745 NEW BEST:: SOT 299607 SOS 141841 HAS SOPS 136080 HAS SOUS 73943 HAS SOUPS 72818 WITH SCORE 72959.841
AT ITER 4757 NEW BEST:: SOT 299607 SOS 141840 HAS SOPS 136079 HAS SOUS 73943 HAS SOUPS 72818 WITH SCORE 72959.84
AT ITER 4762 NEW BEST:: SOT 299579 SOS 141812 HAS SOPS 136051 HAS SOUS 73915 HAS SOUPS 72790 WITH SCORE 72931.812
AT ITER 4765 NEW BEST:: SOT 299623 SOS 141851 HAS SOPS 136090 HAS SOUS 73780 HAS SOUPS 72655 WITH SCORE 72796.851
AT ITER 4807 NEW BEST:: SOT 299499 SOS 141535 HAS SOPS 135774 HAS SOUS 73747 HAS SOUPS 72622 WITH SCORE 72763.535
AT ITER 4822 NEW BEST:: SOT 299455 SOS 140865 HAS SOPS 135104 HAS SOUS 73685 HAS SOUPS 72560 WITH SCORE 72700.865
AT ITER 4832 NEW BEST:: SOT 299492 SOS 140819 HAS SOPS 135058 HAS SOUS 73639 HAS SOUPS 72514 WITH SCORE 72654.819
AT ITER 4835 NEW BEST:: SOT 299460 SOS 140787 HAS SOPS 135026 HAS SOUS 73575 HAS SOUPS 72450 WITH SCORE 72590.787
AT ITER 4854 NEW BEST:: SOT 299448 SOS 140775 HAS SOPS 135014 HAS SOUS 73551 HAS SOUPS 72426 WITH SCORE 72566.775
AT ITER 4858 NEW BEST:: SOT 299437 SOS 140775 HAS SOPS 134948 HAS SOUS 73529 HAS SOUPS 72404 WITH SCORE 72544.775
AT ITER 4862 NEW BEST:: SOT 299393 SOS 140687 HAS SOPS 134860 HAS SOUS 73441 HAS SOUPS 72316 WITH SCORE 72456.687
AT ITER 4916 NEW BEST:: SOT 299345 SOS 140708 HAS SOPS 134881 HAS SOUS 73440 HAS SOUPS 72315 WITH SCORE 72455.708
AT ITER 4918 NEW BEST:: SOT 299345 SOS 140647 HAS SOPS 134820 HAS SOUS 73379 HAS SOUPS 72254 WITH SCORE 72394.647
AT ITER 4957 NEW BEST:: SOT 299324 SOS 140717 HAS SOPS 134664 HAS SOUS 73380 HAS SOUPS 72244 WITH SCORE 72384.717
AT ITER 4965 NEW BEST:: SOT 299293 SOS 140702 HAS SOPS 134649 HAS SOUS 73318 HAS SOUPS 72182 WITH SCORE 72322.702
AT ITER 4981 NEW BEST:: SOT 299312 SOS 140729 HAS SOPS 134676 HAS SOUS 73313 HAS SOUPS 72177 WITH SCORE 72317.729
AT ITER 4985 NEW BEST:: SOT 299294 SOS 140801 HAS SOPS 134748 HAS SOUS 73295 HAS SOUPS 72159 WITH SCORE 72299.801
AT ITER 5016 NEW BEST:: SOT 299140 SOS 140225 HAS SOPS 134172 HAS SOUS 72991 HAS SOUPS 71855 WITH SCORE 71995.225
AT ITER 5019 NEW BEST:: SOT 299140 SOS 140325 HAS SOPS 134272 HAS SOUS 72959 HAS SOUPS 71823 WITH SCORE 71963.325
AT ITER 5031 NEW BEST:: SOT 299140 SOS 140313 HAS SOPS 134260 HAS SOUS 72959 HAS SOUPS 71823 WITH SCORE 71963.313
AT ITER 5060 NEW BEST:: SOT 299140 SOS 140313 HAS SOPS 134260 HAS SOUS 72939 HAS SOUPS 71803 WITH SCORE 71943.313
AT ITER 5061 NEW BEST:: SOT 298975 SOS 140191 HAS SOPS 134138 HAS SOUS 72817 HAS SOUPS 71681 WITH SCORE 71821.191
AT ITER 5073 NEW BEST:: SOT 298955 SOS 140087 HAS SOPS 134034 HAS SOUS 72805 HAS SOUPS 71669 WITH SCORE 71809.087
AT ITER 5101 NEW BEST:: SOT 298973 SOS 140036 HAS SOPS 133983 HAS SOUS 72781 HAS SOUPS 71645 WITH SCORE 71785.036
AT ITER 5145 NEW BEST:: SOT 299067 SOS 139978 HAS SOPS 133925 HAS SOUS 72771 HAS SOUPS 71635 WITH SCORE 71774.978
AT ITER 5163 NEW BEST:: SOT 299111 SOS 140068 HAS SOPS 134015 HAS SOUS 72735 HAS SOUPS 71599 WITH SCORE 71739.068
AT ITER 5174 NEW BEST:: SOT 298940 SOS 139897 HAS SOPS 133844 HAS SOUS 72617 HAS SOUPS 71481 WITH SCORE 71620.897
AT ITER 5197 NEW BEST:: SOT 298934 SOS 139891 HAS SOPS 133838 HAS SOUS 72602 HAS SOUPS 71466 WITH SCORE 71605.891
AT ITER 5201 NEW BEST:: SOT 298921 SOS 139004 HAS SOPS 133743 HAS SOUS 72527 HAS SOUPS 71431 WITH SCORE 71570.004
AT ITER 5212 NEW BEST:: SOT 298921 SOS 138981 HAS SOPS 133720 HAS SOUS 72527 HAS SOUPS 71431 WITH SCORE 71569.981
AT ITER 5230 NEW BEST:: SOT 298993 SOS 139210 HAS SOPS 133949 HAS SOUS 72501 HAS SOUPS 71405 WITH SCORE 71544.21
AT ITER 5232 NEW BEST:: SOT 298876 SOS 139095 HAS SOPS 133834 HAS SOUS 72483 HAS SOUPS 71387 WITH SCORE 71526.095
AT ITER 5236 NEW BEST:: SOT 298816 SOS 139020 HAS SOPS 133759 HAS SOUS 72393 HAS SOUPS 71297 WITH SCORE 71436.02
AT ITER 5242 NEW BEST:: SOT 298706 SOS 138927 HAS SOPS 133666 HAS SOUS 72272 HAS SOUPS 71176 WITH SCORE 71314.927
AT ITER 5246 NEW BEST:: SOT 298706 SOS 138927 HAS SOPS 133666 HAS SOUS 72178 HAS SOUPS 71082 WITH SCORE 71220.927
AT ITER 5254 NEW BEST:: SOT 298696 SOS 138917 HAS SOPS 133656 HAS SOUS 72177 HAS SOUPS 71081 WITH SCORE 71219.917
AT ITER 5262 NEW BEST:: SOT 298694 SOS 139147 HAS SOPS 133652 HAS SOUS 72173 HAS SOUPS 71077 WITH SCORE 71216.147
AT ITER 5264 NEW BEST:: SOT 298724 SOS 139177 HAS SOPS 133636 HAS SOUS 72143 HAS SOUPS 71047 WITH SCORE 71186.177
AT ITER 5280 NEW BEST:: SOT 298687 SOS 139140 HAS SOPS 133599 HAS SOUS 72131 HAS SOUPS 71035 WITH SCORE 71174.14
AT ITER 5289 NEW BEST:: SOT 298530 SOS 139073 HAS SOPS 133532 HAS SOUS 71828 HAS SOUPS 70732 WITH SCORE 70871.073
AT ITER 5331 NEW BEST:: SOT 298500 SOS 139046 HAS SOPS 133505 HAS SOUS 71801 HAS SOUPS 70705 WITH SCORE 70844.046
AT ITER 5335 NEW BEST:: SOT 298356 SOS 138914 HAS SOPS 133373 HAS SOUS 71723 HAS SOUPS 70627 WITH SCORE 70765.914
AT ITER 5337 NEW BEST:: SOT 298356 SOS 138928 HAS SOPS 133387 HAS SOUS 71720 HAS SOUPS 70624 WITH SCORE 70762.928
AT ITER 5414 NEW BEST:: SOT 298320 SOS 138892 HAS SOPS 133351 HAS SOUS 71694 HAS SOUPS 70598 WITH SCORE 70736.892
AT ITER 5415 NEW BEST:: SOT 298286 SOS 138871 HAS SOPS 133330 HAS SOUS 71641 HAS SOUPS 70545 WITH SCORE 70683.871
AT ITER 5425 NEW BEST:: SOT 298244 SOS 138829 HAS SOPS 133288 HAS SOUS 71597 HAS SOUPS 70501 WITH SCORE 70639.829
AT ITER 5426 NEW BEST:: SOT 298233 SOS 138818 HAS SOPS 133277 HAS SOUS 71565 HAS SOUPS 70469 WITH SCORE 70607.818
AT ITER 5428 NEW BEST:: SOT 298159 SOS 138752 HAS SOPS 133211 HAS SOUS 71553 HAS SOUPS 70457 WITH SCORE 70595.752
AT ITER 5431 NEW BEST:: SOT 298159 SOS 138275 HAS SOPS 132734 HAS SOUS 71490 HAS SOUPS 70394 WITH SCORE 70532.275
AT ITER 5471 NEW BEST:: SOT 298159 SOS 138275 HAS SOPS 132779 HAS SOUS 71449 HAS SOUPS 70362 WITH SCORE 70500.275
AT ITER 5491 NEW BEST:: SOT 298162 SOS 138278 HAS SOPS 132782 HAS SOUS 71398 HAS SOUPS 70311 WITH SCORE 70449.278
AT ITER 5494 NEW BEST:: SOT 298162 SOS 137921 HAS SOPS 132425 HAS SOUS 71398 HAS SOUPS 70311 WITH SCORE 70448.921
AT ITER 5510 NEW BEST:: SOT 298005 SOS 137892 HAS SOPS 132371 HAS SOUS 71312 HAS SOUPS 70228 WITH SCORE 70365.892
AT ITER 5512 NEW BEST:: SOT 297947 SOS 137776 HAS SOPS 132255 HAS SOUS 71196 HAS SOUPS 70112 WITH SCORE 70249.776
AT ITER 5531 NEW BEST:: SOT 297946 SOS 138024 HAS SOPS 132503 HAS SOUS 71194 HAS SOUPS 70110 WITH SCORE 70248.024
AT ITER 5536 NEW BEST:: SOT 297866 SOS 137876 HAS SOPS 132355 HAS SOUS 71174 HAS SOUPS 70090 WITH SCORE 70227.876
AT ITER 5539 NEW BEST:: SOT 297814 SOS 137824 HAS SOPS 132303 HAS SOUS 71122 HAS SOUPS 70038 WITH SCORE 70175.824
AT ITER 5557 NEW BEST:: SOT 297680 SOS 137690 HAS SOPS 132169 HAS SOUS 71014 HAS SOUPS 69930 WITH SCORE 70067.69
AT ITER 5585 NEW BEST:: SOT 297668 SOS 137684 HAS SOPS 132154 HAS SOUS 70993 HAS SOUPS 69909 WITH SCORE 70046.684
AT ITER 5606 NEW BEST:: SOT 297487 SOS 137436 HAS SOPS 131906 HAS SOUS 70763 HAS SOUPS 69679 WITH SCORE 69816.436
AT ITER 5616 NEW BEST:: SOT 297397 SOS 137302 HAS SOPS 131772 HAS SOUS 70671 HAS SOUPS 69587 WITH SCORE 69724.302
AT ITER 5627 NEW BEST:: SOT 297133 SOS 138531 HAS SOPS 132179 HAS SOUS 70360 HAS SOUPS 69139 WITH SCORE 69277.531
AT ITER 5688 NEW BEST:: SOT 297106 SOS 138498 HAS SOPS 132146 HAS SOUS 70327 HAS SOUPS 69106 WITH SCORE 69244.498
AT ITER 5699 NEW BEST:: SOT 297066 SOS 138412 HAS SOPS 132060 HAS SOUS 70240 HAS SOUPS 69019 WITH SCORE 69157.412
AT ITER 5726 NEW BEST:: SOT 297051 SOS 138391 HAS SOPS 132039 HAS SOUS 70219 HAS SOUPS 68998 WITH SCORE 69136.391
AT ITER 5727 NEW BEST:: SOT 297040 SOS 138345 HAS SOPS 131993 HAS SOUS 70209 HAS SOUPS 68988 WITH SCORE 69126.345
AT ITER 5765 NEW BEST:: SOT 297049 SOS 138391 HAS SOPS 132039 HAS SOUS 70150 HAS SOUPS 68929 WITH SCORE 69067.391
AT ITER 5794 NEW BEST:: SOT 296932 SOS 138280 HAS SOPS 131932 HAS SOUS 70120 HAS SOUPS 68899 WITH SCORE 69037.28
AT ITER 5804 NEW BEST:: SOT 296932 SOS 138288 HAS SOPS 131940 HAS SOUS 70105 HAS SOUPS 68884 WITH SCORE 69022.288
AT ITER 5809 NEW BEST:: SOT 296796 SOS 138142 HAS SOPS 131794 HAS SOUS 69939 HAS SOUPS 68718 WITH SCORE 68856.142
AT ITER 5810 NEW BEST:: SOT 296796 SOS 138211 HAS SOPS 131863 HAS SOUS 69931 HAS SOUPS 68710 WITH SCORE 68848.211
AT ITER 5814 NEW BEST:: SOT 296791 SOS 138206 HAS SOPS 131858 HAS SOUS 69923 HAS SOUPS 68702 WITH SCORE 68840.206
AT ITER 5827 NEW BEST:: SOT 296741 SOS 138156 HAS SOPS 131808 HAS SOUS 69894 HAS SOUPS 68673 WITH SCORE 68811.156
AT ITER 5829 NEW BEST:: SOT 296741 SOS 138138 HAS SOPS 131790 HAS SOUS 69876 HAS SOUPS 68655 WITH SCORE 68793.138
AT ITER 5860 NEW BEST:: SOT 296725 SOS 138128 HAS SOPS 131780 HAS SOUS 69844 HAS SOUPS 68623 WITH SCORE 68761.128
AT ITER 5879 NEW BEST:: SOT 296731 SOS 138134 HAS SOPS 131786 HAS SOUS 69832 HAS SOUPS 68611 WITH SCORE 68749.134
AT ITER 5885 NEW BEST:: SOT 296673 SOS 138102 HAS SOPS 131754 HAS SOUS 69780 HAS SOUPS 68559 WITH SCORE 68697.102
AT ITER 5889 NEW BEST:: SOT 296515 SOS 137996 HAS SOPS 131648 HAS SOUS 69724 HAS SOUPS 68503 WITH SCORE 68640.996
AT ITER 5893 NEW BEST:: SOT 296525 SOS 137990 HAS SOPS 131642 HAS SOUS 69651 HAS SOUPS 68430 WITH SCORE 68567.99
AT ITER 5899 NEW BEST:: SOT 296451 SOS 137865 HAS SOPS 131517 HAS SOUS 69379 HAS SOUPS 68158 WITH SCORE 68295.865
AT ITER 5900 NEW BEST:: SOT 296444 SOS 137994 HAS SOPS 131646 HAS SOUS 69372 HAS SOUPS 68151 WITH SCORE 68288.994
AT ITER 5902 NEW BEST:: SOT 296429 SOS 137945 HAS SOPS 131597 HAS SOUS 69323 HAS SOUPS 68102 WITH SCORE 68239.945
AT ITER 5923 NEW BEST:: SOT 296411 SOS 137927 HAS SOPS 131588 HAS SOUS 69307 HAS SOUPS 68086 WITH SCORE 68223.927
AT ITER 5965 NEW BEST:: SOT 296381 SOS 137897 HAS SOPS 131558 HAS SOUS 69280 HAS SOUPS 68059 WITH SCORE 68196.897
AT ITER 5976 NEW BEST:: SOT 296381 SOS 137938 HAS SOPS 131599 HAS SOUS 69263 HAS SOUPS 68042 WITH SCORE 68179.938
AT ITER 6028 NEW BEST:: SOT 296206 SOS 137663 HAS SOPS 131324 HAS SOUS 69213 HAS SOUPS 67992 WITH SCORE 68129.663
AT ITER 6053 NEW BEST:: SOT 296184 SOS 137232 HAS SOPS 130893 HAS SOUS 69110 HAS SOUPS 67889 WITH SCORE 68026.232
AT ITER 6056 NEW BEST:: SOT 296163 SOS 137196 HAS SOPS 130857 HAS SOUS 69083 HAS SOUPS 67862 WITH SCORE 67999.196
AT ITER 6066 NEW BEST:: SOT 296149 SOS 137200 HAS SOPS 130861 HAS SOUS 68897 HAS SOUPS 67676 WITH SCORE 67813.2
AT ITER 6067 NEW BEST:: SOT 296026 SOS 137077 HAS SOPS 130805 HAS SOUS 68785 HAS SOUPS 67564 WITH SCORE 67701.077
AT ITER 6074 NEW BEST:: SOT 296030 SOS 137067 HAS SOPS 130795 HAS SOUS 68730 HAS SOUPS 67509 WITH SCORE 67646.067
AT ITER 6080 NEW BEST:: SOT 296022 SOS 137035 HAS SOPS 130763 HAS SOUS 68714 HAS SOUPS 67493 WITH SCORE 67630.035
AT ITER 6082 NEW BEST:: SOT 296497 SOS 136736 HAS SOPS 130464 HAS SOUS 68418 HAS SOUPS 67197 WITH SCORE 67333.736
AT ITER 6113 NEW BEST:: SOT 296454 SOS 136707 HAS SOPS 130435 HAS SOUS 68389 HAS SOUPS 67168 WITH SCORE 67304.707
AT ITER 6116 NEW BEST:: SOT 295433 SOS 135664 HAS SOPS 129392 HAS SOUS 68343 HAS SOUPS 67122 WITH SCORE 67257.664
AT ITER 6130 NEW BEST:: SOT 295433 SOS 135691 HAS SOPS 129419 HAS SOUS 68325 HAS SOUPS 67104 WITH SCORE 67239.691
AT ITER 6144 NEW BEST:: SOT 295433 SOS 135691 HAS SOPS 129419 HAS SOUS 68318 HAS SOUPS 67097 WITH SCORE 67232.691
AT ITER 6161 NEW BEST:: SOT 295430 SOS 135702 HAS SOPS 129430 HAS SOUS 68298 HAS SOUPS 67077 WITH SCORE 67212.702
AT ITER 6168 NEW BEST:: SOT 295320 SOS 135608 HAS SOPS 129336 HAS SOUS 68197 HAS SOUPS 66976 WITH SCORE 67111.608
AT ITER 6175 NEW BEST:: SOT 295320 SOS 135608 HAS SOPS 129336 HAS SOUS 68193 HAS SOUPS 66972 WITH SCORE 67107.608
AT ITER 6215 NEW BEST:: SOT 295323 SOS 135574 HAS SOPS 129302 HAS SOUS 68176 HAS SOUPS 66955 WITH SCORE 67090.574
AT ITER 6217 NEW BEST:: SOT 295322 SOS 135574 HAS SOPS 129302 HAS SOUS 68174 HAS SOUPS 66953 WITH SCORE 67088.574
AT ITER 6227 NEW BEST:: SOT 295270 SOS 138242 HAS SOPS 131970 HAS SOUS 68035 HAS SOUPS 66814 WITH SCORE 66952.242
AT ITER 6228 NEW BEST:: SOT 295225 SOS 138197 HAS SOPS 131925 HAS SOUS 67984 HAS SOUPS 66763 WITH SCORE 66901.197
AT ITER 6255 NEW BEST:: SOT 295223 SOS 138177 HAS SOPS 131905 HAS SOUS 67979 HAS SOUPS 66758 WITH SCORE 66896.177
AT ITER 6274 NEW BEST:: SOT 295214 SOS 138159 HAS SOPS 131887 HAS SOUS 67961 HAS SOUPS 66740 WITH SCORE 66878.159
AT ITER 6275 NEW BEST:: SOT 295214 SOS 138239 HAS SOPS 131967 HAS SOUS 67947 HAS SOUPS 66726 WITH SCORE 66864.239
AT ITER 6280 NEW BEST:: SOT 295212 SOS 138238 HAS SOPS 131961 HAS SOUS 67945 HAS SOUPS 66723 WITH SCORE 66861.238
AT ITER 6289 NEW BEST:: SOT 295204 SOS 138347 HAS SOPS 132070 HAS SOUS 67934 HAS SOUPS 66712 WITH SCORE 66850.347
AT ITER 6292 NEW BEST:: SOT 295204 SOS 138346 HAS SOPS 132069 HAS SOUS 67932 HAS SOUPS 66710 WITH SCORE 66848.346
AT ITER 6357 NEW BEST:: SOT 294585 SOS 138052 HAS SOPS 131775 HAS SOUS 67750 HAS SOUPS 66528 WITH SCORE 66666.052
AT ITER 6370 NEW BEST:: SOT 294472 SOS 137923 HAS SOPS 131646 HAS SOUS 67680 HAS SOUPS 66458 WITH SCORE 66595.923
AT ITER 6378 NEW BEST:: SOT 294626 SOS 137442 HAS SOPS 131165 HAS SOUS 67641 HAS SOUPS 66419 WITH SCORE 66556.442
AT ITER 6431 NEW BEST:: SOT 294601 SOS 137417 HAS SOPS 131140 HAS SOUS 67610 HAS SOUPS 66388 WITH SCORE 66525.417
AT ITER 6440 NEW BEST:: SOT 295110 SOS 137965 HAS SOPS 131688 HAS SOUS 67583 HAS SOUPS 66361 WITH SCORE 66498.965
AT ITER 6547 NEW BEST:: SOT 295110 SOS 138137 HAS SOPS 131860 HAS SOUS 67567 HAS SOUPS 66345 WITH SCORE 66483.137
AT ITER 6598 NEW BEST:: SOT 295112 SOS 138114 HAS SOPS 131837 HAS SOUS 67544 HAS SOUPS 66322 WITH SCORE 66460.114
AT ITER 6599 NEW BEST:: SOT 295109 SOS 138112 HAS SOPS 131835 HAS SOUS 67542 HAS SOUPS 66320 WITH SCORE 66458.112
AT ITER 6608 NEW BEST:: SOT 295062 SOS 138645 HAS SOPS 132368 HAS SOUS 67488 HAS SOUPS 66266 WITH SCORE 66404.645
AT ITER 6609 NEW BEST:: SOT 295002 SOS 138953 HAS SOPS 132676 HAS SOUS 67368 HAS SOUPS 66146 WITH SCORE 66284.953
AT ITER 6610 NEW BEST:: SOT 294989 SOS 138927 HAS SOPS 132650 HAS SOUS 67342 HAS SOUPS 66120 WITH SCORE 66258.927
AT ITER 6631 NEW BEST:: SOT 294952 SOS 139001 HAS SOPS 132724 HAS SOUS 67271 HAS SOUPS 66049 WITH SCORE 66188.001
AT ITER 6646 NEW BEST:: SOT 294956 SOS 139005 HAS SOPS 132689 HAS SOUS 67236 HAS SOUPS 66014 WITH SCORE 66153.005
AT ITER 6657 NEW BEST:: SOT 294945 SOS 138983 HAS SOPS 132667 HAS SOUS 67225 HAS SOUPS 66003 WITH SCORE 66141.983
AT ITER 6662 NEW BEST:: SOT 294929 SOS 138919 HAS SOPS 132603 HAS SOUS 67201 HAS SOUPS 65979 WITH SCORE 66117.919
AT ITER 6672 NEW BEST:: SOT 294858 SOS 139274 HAS SOPS 132958 HAS SOUS 67059 HAS SOUPS 65837 WITH SCORE 65976.274
AT ITER 6688 NEW BEST:: SOT 294862 SOS 139268 HAS SOPS 132952 HAS SOUS 67019 HAS SOUPS 65797 WITH SCORE 65936.268
AT ITER 6750 NEW BEST:: SOT 294862 SOS 139268 HAS SOPS 132952 HAS SOUS 67017 HAS SOUPS 65795 WITH SCORE 65934.268
AT ITER 6782 NEW BEST:: SOT 294862 SOS 139274 HAS SOPS 132958 HAS SOUS 67011 HAS SOUPS 65789 WITH SCORE 65928.274
AT ITER 6793 NEW BEST:: SOT 294861 SOS 139273 HAS SOPS 132957 HAS SOUS 67008 HAS SOUPS 65786 WITH SCORE 65925.273
AT ITER 6799 NEW BEST:: SOT 294827 SOS 139239 HAS SOPS 132923 HAS SOUS 66917 HAS SOUPS 65695 WITH SCORE 65834.239
AT ITER 6802 NEW BEST:: SOT 294704 SOS 139057 HAS SOPS 132741 HAS SOUS 66741 HAS SOUPS 65519 WITH SCORE 65658.057
AT ITER 6832 NEW BEST:: SOT 294696 SOS 138963 HAS SOPS 132647 HAS SOUS 66725 HAS SOUPS 65503 WITH SCORE 65641.963
AT ITER 6885 NEW BEST:: SOT 294691 SOS 138953 HAS SOPS 132637 HAS SOUS 66715 HAS SOUPS 65493 WITH SCORE 65631.953
AT ITER 6886 NEW BEST:: SOT 294684 SOS 138960 HAS SOPS 132644 HAS SOUS 66708 HAS SOUPS 65486 WITH SCORE 65624.96
AT ITER 6892 NEW BEST:: SOT 294523 SOS 139875 HAS SOPS 133659 HAS SOUS 66559 HAS SOUPS 65357 WITH SCORE 65496.875
AT ITER 6904 NEW BEST:: SOT 294515 SOS 139951 HAS SOPS 133651 HAS SOUS 66558 HAS SOUPS 65349 WITH SCORE 65488.951
AT ITER 6913 NEW BEST:: SOT 294515 SOS 139795 HAS SOPS 133495 HAS SOUS 66558 HAS SOUPS 65349 WITH SCORE 65488.795
AT ITER 6940 NEW BEST:: SOT 294512 SOS 139793 HAS SOPS 133493 HAS SOUS 66556 HAS SOUPS 65347 WITH SCORE 65486.793
AT ITER 6948 NEW BEST:: SOT 294508 SOS 139789 HAS SOPS 133489 HAS SOUS 66552 HAS SOUPS 65343 WITH SCORE 65482.789
AT ITER 6959 NEW BEST:: SOT 294516 SOS 140103 HAS SOPS 133803 HAS SOUS 66470 HAS SOUPS 65261 WITH SCORE 65401.103
AT ITER 6996 NEW BEST:: SOT 294516 SOS 140103 HAS SOPS 133803 HAS SOUS 66468 HAS SOUPS 65259 WITH SCORE 65399.103
AT ITER 7007 NEW BEST:: SOT 294516 SOS 140103 HAS SOPS 133803 HAS SOUS 66450 HAS SOUPS 65241 WITH SCORE 65381.103
AT ITER 7036 NEW BEST:: SOT 294442 SOS 140124 HAS SOPS 133824 HAS SOUS 66302 HAS SOUPS 65093 WITH SCORE 65233.124
AT ITER 7067 NEW BEST:: SOT 294270 SOS 140053 HAS SOPS 133753 HAS SOUS 66284 HAS SOUPS 65075 WITH SCORE 65215.053
AT ITER 7081 NEW BEST:: SOT 294210 SOS 140020 HAS SOPS 133720 HAS SOUS 65873 HAS SOUPS 64664 WITH SCORE 64804.02
AT ITER 7103 NEW BEST:: SOT 294189 SOS 139975 HAS SOPS 133679 HAS SOUS 65831 HAS SOUPS 64622 WITH SCORE 64761.975
AT ITER 7105 NEW BEST:: SOT 294234 SOS 139707 HAS SOPS 133411 HAS SOUS 65811 HAS SOUPS 64602 WITH SCORE 64741.707
AT ITER 7108 NEW BEST:: SOT 294402 SOS 139875 HAS SOPS 133579 HAS SOUS 65797 HAS SOUPS 64588 WITH SCORE 64727.875
AT ITER 7142 NEW BEST:: SOT 294341 SOS 139741 HAS SOPS 133445 HAS SOUS 65754 HAS SOUPS 64545 WITH SCORE 64684.741
AT ITER 7159 NEW BEST:: SOT 294325 SOS 139727 HAS SOPS 133431 HAS SOUS 65733 HAS SOUPS 64524 WITH SCORE 64663.727
AT ITER 7176 NEW BEST:: SOT 294250 SOS 139512 HAS SOPS 133216 HAS SOUS 65733 HAS SOUPS 64524 WITH SCORE 64663.512
AT ITER 7201 NEW BEST:: SOT 294194 SOS 139541 HAS SOPS 133245 HAS SOUS 65706 HAS SOUPS 64497 WITH SCORE 64636.541
AT ITER 7269 NEW BEST:: SOT 294117 SOS 139343 HAS SOPS 133047 HAS SOUS 65697 HAS SOUPS 64488 WITH SCORE 64627.343
AT ITER 7280 NEW BEST:: SOT 294117 SOS 139637 HAS SOPS 133341 HAS SOUS 65696 HAS SOUPS 64487 WITH SCORE 64626.637
AT ITER 7312 NEW BEST:: SOT 294116 SOS 139637 HAS SOPS 133341 HAS SOUS 65694 HAS SOUPS 64485 WITH SCORE 64624.637
AT ITER 7322 NEW BEST:: SOT 294094 SOS 139615 HAS SOPS 133307 HAS SOUS 65679 HAS SOUPS 64460 WITH SCORE 64599.615
AT ITER 7328 NEW BEST:: SOT 294070 SOS 139568 HAS SOPS 133260 HAS SOUS 65658 HAS SOUPS 64439 WITH SCORE 64578.568
AT ITER 7343 NEW BEST:: SOT 294029 SOS 139438 HAS SOPS 133130 HAS SOUS 65528 HAS SOUPS 64309 WITH SCORE 64448.438
AT ITER 7346 NEW BEST:: SOT 294010 SOS 139419 HAS SOPS 133111 HAS SOUS 65466 HAS SOUPS 64247 WITH SCORE 64386.419
AT ITER 7394 NEW BEST:: SOT 293988 SOS 139477 HAS SOPS 133140 HAS SOUS 65422 HAS SOUPS 64203 WITH SCORE 64342.477
AT ITER 7398 NEW BEST:: SOT 293969 SOS 139401 HAS SOPS 133064 HAS SOUS 65422 HAS SOUPS 64203 WITH SCORE 64342.401
AT ITER 7439 NEW BEST:: SOT 293950 SOS 139338 HAS SOPS 133001 HAS SOUS 65344 HAS SOUPS 64125 WITH SCORE 64264.338
AT ITER 7449 NEW BEST:: SOT 293950 SOS 139312 HAS SOPS 132975 HAS SOUS 65344 HAS SOUPS 64125 WITH SCORE 64264.312
AT ITER 7455 NEW BEST:: SOT 293910 SOS 139322 HAS SOPS 132985 HAS SOUS 65294 HAS SOUPS 64075 WITH SCORE 64214.322
AT ITER 7459 NEW BEST:: SOT 293108 SOS 138520 HAS SOPS 132183 HAS SOUS 65034 HAS SOUPS 63815 WITH SCORE 63953.52
AT ITER 7513 NEW BEST:: SOT 293105 SOS 138516 HAS SOPS 132179 HAS SOUS 65030 HAS SOUPS 63811 WITH SCORE 63949.516
AT ITER 7515 NEW BEST:: SOT 293075 SOS 138888 HAS SOPS 132551 HAS SOUS 64979 HAS SOUPS 63760 WITH SCORE 63898.888
AT ITER 7531 NEW BEST:: SOT 293053 SOS 138467 HAS SOPS 132130 HAS SOUS 64947 HAS SOUPS 63728 WITH SCORE 63866.467
AT ITER 7547 NEW BEST:: SOT 292972 SOS 138152 HAS SOPS 131815 HAS SOUS 64869 HAS SOUPS 63650 WITH SCORE 63788.152
AT ITER 7558 NEW BEST:: SOT 292972 SOS 138101 HAS SOPS 131764 HAS SOUS 64869 HAS SOUPS 63650 WITH SCORE 63788.101
AT ITER 7583 NEW BEST:: SOT 293185 SOS 136955 HAS SOPS 130618 HAS SOUS 64827 HAS SOUPS 63608 WITH SCORE 63744.955
AT ITER 7599 NEW BEST:: SOT 293223 SOS 136939 HAS SOPS 130602 HAS SOUS 64813 HAS SOUPS 63594 WITH SCORE 63730.939
AT ITER 7600 NEW BEST:: SOT 293216 SOS 136905 HAS SOPS 130568 HAS SOUS 64779 HAS SOUPS 63560 WITH SCORE 63696.905
AT ITER 7663 NEW BEST:: SOT 293203 SOS 136879 HAS SOPS 130542 HAS SOUS 64753 HAS SOUPS 63534 WITH SCORE 63670.879
AT ITER 7742 NEW BEST:: SOT 293199 SOS 136875 HAS SOPS 130534 HAS SOUS 64745 HAS SOUPS 63526 WITH SCORE 63662.875
AT ITER 7760 NEW BEST:: SOT 293205 SOS 136851 HAS SOPS 130510 HAS SOUS 64727 HAS SOUPS 63508 WITH SCORE 63644.851
AT ITER 7833 NEW BEST:: SOT 293185 SOS 136821 HAS SOPS 130480 HAS SOUS 64707 HAS SOUPS 63488 WITH SCORE 63624.821
AT ITER 8014 NEW BEST:: SOT 293185 SOS 136821 HAS SOPS 130480 HAS SOUS 64694 HAS SOUPS 63475 WITH SCORE 63611.821
AT ITER 8048 NEW BEST:: SOT 293175 SOS 136811 HAS SOPS 130470 HAS SOUS 64684 HAS SOUPS 63465 WITH SCORE 63601.811
AT ITER 8057 NEW BEST:: SOT 293165 SOS 136801 HAS SOPS 130426 HAS SOUS 64602 HAS SOUPS 63383 WITH SCORE 63519.801
AT ITER 8080 NEW BEST:: SOT 293135 SOS 136687 HAS SOPS 130312 HAS SOUS 64541 HAS SOUPS 63322 WITH SCORE 63458.687
AT ITER 8092 NEW BEST:: SOT 293123 SOS 136675 HAS SOPS 130300 HAS SOUS 64519 HAS SOUPS 63300 WITH SCORE 63436.675
AT ITER 8095 NEW BEST:: SOT 293114 SOS 136666 HAS SOPS 130291 HAS SOUS 64510 HAS SOUPS 63291 WITH SCORE 63427.666
AT ITER 8097 NEW BEST:: SOT 292871 SOS 136584 HAS SOPS 130209 HAS SOUS 64377 HAS SOUPS 63158 WITH SCORE 63294.584
AT ITER 8099 NEW BEST:: SOT 292869 SOS 136582 HAS SOPS 130207 HAS SOUS 64375 HAS SOUPS 63156 WITH SCORE 63292.582
AT ITER 8124 NEW BEST:: SOT 292862 SOS 136575 HAS SOPS 130200 HAS SOUS 64361 HAS SOUPS 63142 WITH SCORE 63278.575
AT ITER 8172 NEW BEST:: SOT 292694 SOS 136395 HAS SOPS 130020 HAS SOUS 64296 HAS SOUPS 63077 WITH SCORE 63213.395
AT ITER 8177 NEW BEST:: SOT 292694 SOS 136395 HAS SOPS 130018 HAS SOUS 64292 HAS SOUPS 63073 WITH SCORE 63209.395
AT ITER 8207 NEW BEST:: SOT 292643 SOS 136344 HAS SOPS 129967 HAS SOUS 64238 HAS SOUPS 63019 WITH SCORE 63155.344
AT ITER 8217 NEW BEST:: SOT 292627 SOS 136320 HAS SOPS 129943 HAS SOUS 64230 HAS SOUPS 63011 WITH SCORE 63147.32
AT ITER 8264 NEW BEST:: SOT 292549 SOS 136242 HAS SOPS 129865 HAS SOUS 64124 HAS SOUPS 62905 WITH SCORE 63041.242
AT ITER 8327 NEW BEST:: SOT 292549 SOS 136212 HAS SOPS 129835 HAS SOUS 64114 HAS SOUPS 62895 WITH SCORE 63031.212
AT ITER 8360 NEW BEST:: SOT 292549 SOS 136136 HAS SOPS 129759 HAS SOUS 64109 HAS SOUPS 62890 WITH SCORE 63026.136
AT ITER 8376 NEW BEST:: SOT 292526 SOS 136223 HAS SOPS 129846 HAS SOUS 64028 HAS SOUPS 62809 WITH SCORE 62945.223
AT ITER 8391 NEW BEST:: SOT 292497 SOS 136194 HAS SOPS 129817 HAS SOUS 63999 HAS SOUPS 62780 WITH SCORE 62916.194
AT ITER 8495 NEW BEST:: SOT 292497 SOS 136152 HAS SOPS 129775 HAS SOUS 63992 HAS SOUPS 62773 WITH SCORE 62909.152
AT ITER 8530 NEW BEST:: SOT 292508 SOS 136264 HAS SOPS 129887 HAS SOUS 63920 HAS SOUPS 62701 WITH SCORE 62837.264
AT ITER 8585 NEW BEST:: SOT 292502 SOS 136200 HAS SOPS 129823 HAS SOUS 63890 HAS SOUPS 62671 WITH SCORE 62807.2
AT ITER 8615 NEW BEST:: SOT 292506 SOS 136204 HAS SOPS 129808 HAS SOUS 63876 HAS SOUPS 62657 WITH SCORE 62793.204
AT ITER 8626 NEW BEST:: SOT 292456 SOS 136101 HAS SOPS 129705 HAS SOUS 63813 HAS SOUPS 62594 WITH SCORE 62730.101
AT ITER 8633 NEW BEST:: SOT 292456 SOS 136066 HAS SOPS 129670 HAS SOUS 63773 HAS SOUPS 62554 WITH SCORE 62690.066
AT ITER 8658 NEW BEST:: SOT 292447 SOS 136102 HAS SOPS 129706 HAS SOUS 63764 HAS SOUPS 62545 WITH SCORE 62681.102
AT ITER 8664 NEW BEST:: SOT 292602 SOS 135757 HAS SOPS 129361 HAS SOUS 63750 HAS SOUPS 62531 WITH SCORE 62666.757
AT ITER 8680 NEW BEST:: SOT 292604 SOS 135759 HAS SOPS 129363 HAS SOUS 63744 HAS SOUPS 62525 WITH SCORE 62660.759
AT ITER 8753 NEW BEST:: SOT 292605 SOS 135739 HAS SOPS 129343 HAS SOUS 63735 HAS SOUPS 62516 WITH SCORE 62651.739
AT ITER 8761 NEW BEST:: SOT 292605 SOS 135681 HAS SOPS 129159 HAS SOUS 63714 HAS SOUPS 62474 WITH SCORE 62609.681
AT ITER 8783 NEW BEST:: SOT 292603 SOS 135679 HAS SOPS 129157 HAS SOUS 63712 HAS SOUPS 62472 WITH SCORE 62607.679
AT ITER 8787 NEW BEST:: SOT 292603 SOS 135669 HAS SOPS 129147 HAS SOUS 63702 HAS SOUPS 62462 WITH SCORE 62597.669
AT ITER 8866 NEW BEST:: SOT 292595 SOS 135653 HAS SOPS 129131 HAS SOUS 63686 HAS SOUPS 62446 WITH SCORE 62581.653
AT ITER 9050 NEW BEST:: SOT 292564 SOS 134850 HAS SOPS 128328 HAS SOUS 63602 HAS SOUPS 62362 WITH SCORE 62496.85
AT ITER 9051 NEW BEST:: SOT 292564 SOS 134860 HAS SOPS 128338 HAS SOUS 63592 HAS SOUPS 62352 WITH SCORE 62486.86
AT ITER 9054 NEW BEST:: SOT 292541 SOS 134768 HAS SOPS 128246 HAS SOUS 63569 HAS SOUPS 62329 WITH SCORE 62463.768
AT ITER 9138 NEW BEST:: SOT 292519 SOS 134730 HAS SOPS 128208 HAS SOUS 63549 HAS SOUPS 62309 WITH SCORE 62443.73
AT ITER 9163 NEW BEST:: SOT 292514 SOS 134742 HAS SOPS 128220 HAS SOUS 63548 HAS SOUPS 62308 WITH SCORE 62442.742
AT ITER 9166 NEW BEST:: SOT 292515 SOS 134737 HAS SOPS 128215 HAS SOUS 63547 HAS SOUPS 62307 WITH SCORE 62441.737
AT ITER 9219 NEW BEST:: SOT 292505 SOS 134727 HAS SOPS 128205 HAS SOUS 63542 HAS SOUPS 62302 WITH SCORE 62436.727
AT ITER 9249 NEW BEST:: SOT 292505 SOS 134727 HAS SOPS 128205 HAS SOUS 63510 HAS SOUPS 62270 WITH SCORE 62404.727
AT ITER 9272 NEW BEST:: SOT 292505 SOS 134721 HAS SOPS 128199 HAS SOUS 63510 HAS SOUPS 62270 WITH SCORE 62404.721
AT ITER 9274 NEW BEST:: SOT 292505 SOS 134721 HAS SOPS 128195 HAS SOUS 63506 HAS SOUPS 62266 WITH SCORE 62400.721
AT ITER 9289 NEW BEST:: SOT 292499 SOS 134715 HAS SOPS 128189 HAS SOUS 63506 HAS SOUPS 62266 WITH SCORE 62400.715
AT ITER 9407 NEW BEST:: SOT 292386 SOS 134652 HAS SOPS 128126 HAS SOUS 63380 HAS SOUPS 62140 WITH SCORE 62274.652
AT ITER 9465 NEW BEST:: SOT 292378 SOS 134674 HAS SOPS 128148 HAS SOUS 63311 HAS SOUPS 62071 WITH SCORE 62205.674
AT ITER 9471 NEW BEST:: SOT 292375 SOS 134665 HAS SOPS 128139 HAS SOUS 63308 HAS SOUPS 62068 WITH SCORE 62202.665
AT ITER 9487 NEW BEST:: SOT 292374 SOS 134664 HAS SOPS 128138 HAS SOUS 63305 HAS SOUPS 62065 WITH SCORE 62199.664
AT ITER 9510 NEW BEST:: SOT 292365 SOS 134655 HAS SOPS 128129 HAS SOUS 63296 HAS SOUPS 62056 WITH SCORE 62190.655
AT ITER 9550 NEW BEST:: SOT 292349 SOS 134610 HAS SOPS 128084 HAS SOUS 63296 HAS SOUPS 62056 WITH SCORE 62190.61
AT ITER 9581 NEW BEST:: SOT 292337 SOS 134586 HAS SOPS 128060 HAS SOUS 63278 HAS SOUPS 62038 WITH SCORE 62172.586
AT ITER 9595 NEW BEST:: SOT 292344 SOS 134619 HAS SOPS 128093 HAS SOUS 63254 HAS SOUPS 62014 WITH SCORE 62148.619
AT ITER 9672 NEW BEST:: SOT 292330 SOS 134605 HAS SOPS 128079 HAS SOUS 63234 HAS SOUPS 61994 WITH SCORE 62128.605
AT ITER 9682 NEW BEST:: SOT 292323 SOS 134606 HAS SOPS 128080 HAS SOUS 63219 HAS SOUPS 61979 WITH SCORE 62113.606
AT ITER 9753 NEW BEST:: SOT 292323 SOS 134606 HAS SOPS 128070 HAS SOUS 63209 HAS SOUPS 61969 WITH SCORE 62103.606
AT ITER 9759 NEW BEST:: SOT 292353 SOS 134564 HAS SOPS 128028 HAS SOUS 63179 HAS SOUPS 61939 WITH SCORE 62073.564
AT ITER 9816 NEW BEST:: SOT 292336 SOS 134548 HAS SOPS 128012 HAS SOUS 63145 HAS SOUPS 61905 WITH SCORE 62039.548
AT ITER 9854 NEW BEST:: SOT 292294 SOS 134520 HAS SOPS 127984 HAS SOUS 63127 HAS SOUPS 61887 WITH SCORE 62021.52
AT ITER 9909 NEW BEST:: SOT 292277 SOS 134529 HAS SOPS 127993 HAS SOUS 63101 HAS SOUPS 61861 WITH SCORE 61995.529
AT ITER 9934 NEW BEST:: SOT 292272 SOS 134524 HAS SOPS 127988 HAS SOUS 63062 HAS SOUPS 61822 WITH SCORE 61956.524
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10776304 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16119300 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S02J06T06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is PolyORBLF-COL-S02J06T06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873952900376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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