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.r459-smll-167912651500648.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 StigmergyElection-PT-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651500648
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.9M
-rw-r--r-- 1 mcc users 6.7K Feb 26 16:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 16:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 16:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 16:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 17:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 16:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 26 16:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 16:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 16:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 3.4M 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 1679449175892

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=StigmergyElection-PT-07b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 01:39:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 01:39:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 01:39:40] [INFO ] Load time of PNML (sax parser for PT used): 778 ms
[2023-03-22 01:39:40] [INFO ] Transformed 971 places.
[2023-03-22 01:39:40] [INFO ] Transformed 5542 transitions.
[2023-03-22 01:39:40] [INFO ] Found NUPN structural information;
[2023-03-22 01:39:40] [INFO ] Parsed PT model containing 971 places and 5542 transitions and 65199 arcs in 971 ms.
[2023-03-22 01:39:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 971 places, 5542 transitions and 65199 arcs took 124 ms.
Total runtime 1156 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 07b
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: 971 places, 5542 transitions, 65199 arcs.
AT ITER 0 NEW BEST:: SOT 4442720 SOS 744390 HAS SOPS 744390 HAS SOUS 521033 HAS SOUPS 521033 WITH SCORE 521777.39
AT ITER 29 NEW BEST:: SOT 4441353 SOS 743161 HAS SOPS 743161 HAS SOUS 519673 HAS SOUPS 519673 WITH SCORE 520416.161
AT ITER 40 NEW BEST:: SOT 4441272 SOS 743083 HAS SOPS 743083 HAS SOUS 519595 HAS SOUPS 519595 WITH SCORE 520338.083
AT ITER 44 NEW BEST:: SOT 4435592 SOS 788841 HAS SOPS 788841 HAS SOUS 515546 HAS SOUPS 515546 WITH SCORE 516334.841
AT ITER 49 NEW BEST:: SOT 4435780 SOS 789161 HAS SOPS 789161 HAS SOUS 515133 HAS SOUPS 515133 WITH SCORE 515922.161
AT ITER 63 NEW BEST:: SOT 4435760 SOS 789141 HAS SOPS 789141 HAS SOUS 515113 HAS SOUPS 515113 WITH SCORE 515902.141
AT ITER 94 NEW BEST:: SOT 4435541 SOS 790561 HAS SOPS 790561 HAS SOUS 515029 HAS SOUPS 515029 WITH SCORE 515819.561
AT ITER 100 NEW BEST:: SOT 4435540 SOS 790559 HAS SOPS 790559 HAS SOUS 515027 HAS SOUPS 515027 WITH SCORE 515817.559
AT ITER 103 NEW BEST:: SOT 4435534 SOS 790547 HAS SOPS 790547 HAS SOUS 515015 HAS SOUPS 515015 WITH SCORE 515805.547
AT ITER 117 NEW BEST:: SOT 4430575 SOS 803973 HAS SOPS 803973 HAS SOUS 510344 HAS SOUPS 510344 WITH SCORE 511147.973
AT ITER 152 NEW BEST:: SOT 4430766 SOS 804291 HAS SOPS 804291 HAS SOUS 510184 HAS SOUPS 510184 WITH SCORE 510988.291
AT ITER 153 NEW BEST:: SOT 4430765 SOS 804289 HAS SOPS 804289 HAS SOUS 510182 HAS SOUPS 510182 WITH SCORE 510986.289
AT ITER 162 NEW BEST:: SOT 4430764 SOS 804287 HAS SOPS 804287 HAS SOUS 510180 HAS SOUPS 510180 WITH SCORE 510984.287
AT ITER 174 NEW BEST:: SOT 4430741 SOS 804241 HAS SOPS 804241 HAS SOUS 510134 HAS SOUPS 510134 WITH SCORE 510938.241
AT ITER 177 NEW BEST:: SOT 4430614 SOS 804114 HAS SOPS 804114 HAS SOUS 510007 HAS SOUPS 510007 WITH SCORE 510811.114
AT ITER 195 NEW BEST:: SOT 4429685 SOS 806587 HAS SOPS 806587 HAS SOUS 509770 HAS SOUPS 509770 WITH SCORE 510576.587
AT ITER 207 NEW BEST:: SOT 4429395 SOS 806007 HAS SOPS 806007 HAS SOUS 509335 HAS SOUPS 509335 WITH SCORE 510141.007
AT ITER 227 NEW BEST:: SOT 4421326 SOS 1195474 HAS SOPS 1195474 HAS SOUS 503397 HAS SOUPS 503397 WITH SCORE 504592.474
AT ITER 250 NEW BEST:: SOT 4418909 SOS 1193280 HAS SOPS 1193280 HAS SOUS 500978 HAS SOUPS 500978 WITH SCORE 502171.28
AT ITER 255 NEW BEST:: SOT 4418853 SOS 1193168 HAS SOPS 1193168 HAS SOUS 500866 HAS SOUPS 500866 WITH SCORE 502059.168
AT ITER 257 NEW BEST:: SOT 4413391 SOS 1593968 HAS SOPS 1593968 HAS SOUS 496804 HAS SOUPS 496804 WITH SCORE 498397.968
AT ITER 268 NEW BEST:: SOT 4413384 SOS 1593954 HAS SOPS 1593954 HAS SOUS 496668 HAS SOUPS 496668 WITH SCORE 498261.954
AT ITER 281 NEW BEST:: SOT 4413382 SOS 1593950 HAS SOPS 1593950 HAS SOUS 496664 HAS SOUPS 496664 WITH SCORE 498257.95
AT ITER 293 NEW BEST:: SOT 4413374 SOS 1593934 HAS SOPS 1593934 HAS SOUS 496648 HAS SOUPS 496648 WITH SCORE 498241.934
AT ITER 334 NEW BEST:: SOT 4413374 SOS 1593947 HAS SOPS 1593947 HAS SOUS 496465 HAS SOUPS 496465 WITH SCORE 498058.947
AT ITER 344 NEW BEST:: SOT 4413373 SOS 1593945 HAS SOPS 1593945 HAS SOUS 496463 HAS SOUPS 496463 WITH SCORE 498056.945
AT ITER 351 NEW BEST:: SOT 4411449 SOS 1615697 HAS SOPS 1615697 HAS SOUS 495369 HAS SOUPS 495369 WITH SCORE 496984.697
AT ITER 352 NEW BEST:: SOT 4401263 SOS 1768326 HAS SOPS 1768326 HAS SOUS 486246 HAS SOUPS 486246 WITH SCORE 488014.326
AT ITER 354 NEW BEST:: SOT 4397958 SOS 1765292 HAS SOPS 1765292 HAS SOUS 483027 HAS SOUPS 483027 WITH SCORE 484792.292
AT ITER 355 NEW BEST:: SOT 4398010 SOS 1765315 HAS SOPS 1765315 HAS SOUS 482998 HAS SOUPS 482998 WITH SCORE 484763.315
AT ITER 364 NEW BEST:: SOT 4397865 SOS 1765170 HAS SOPS 1765170 HAS SOUS 482853 HAS SOUPS 482853 WITH SCORE 484618.17
AT ITER 393 NEW BEST:: SOT 4397827 SOS 1765116 HAS SOPS 1765116 HAS SOUS 482799 HAS SOUPS 482799 WITH SCORE 484564.116
AT ITER 402 NEW BEST:: SOT 4397868 SOS 1765198 HAS SOPS 1765198 HAS SOUS 482657 HAS SOUPS 482657 WITH SCORE 484422.198
AT ITER 407 NEW BEST:: SOT 4379475 SOS 1825760 HAS SOPS 1825760 HAS SOUS 471836 HAS SOUPS 471836 WITH SCORE 473661.76
AT ITER 443 NEW BEST:: SOT 4379528 SOS 1824938 HAS SOPS 1824938 HAS SOUS 471655 HAS SOUPS 471655 WITH SCORE 473479.938
AT ITER 453 NEW BEST:: SOT 4379503 SOS 1824962 HAS SOPS 1824962 HAS SOUS 471650 HAS SOUPS 471650 WITH SCORE 473474.962
AT ITER 460 NEW BEST:: SOT 4379482 SOS 1824920 HAS SOPS 1824920 HAS SOUS 471627 HAS SOUPS 471627 WITH SCORE 473451.92
AT ITER 465 NEW BEST:: SOT 4379449 SOS 1824854 HAS SOPS 1824854 HAS SOUS 471561 HAS SOUPS 471561 WITH SCORE 473385.854
AT ITER 497 NEW BEST:: SOT 4354814 SOS 1840943 HAS SOPS 1840943 HAS SOUS 451141 HAS SOUPS 451141 WITH SCORE 452981.943
AT ITER 501 NEW BEST:: SOT 4354797 SOS 1840926 HAS SOPS 1840926 HAS SOUS 451124 HAS SOUPS 451124 WITH SCORE 452964.926
AT ITER 511 NEW BEST:: SOT 4354797 SOS 1840851 HAS SOPS 1840851 HAS SOUS 451049 HAS SOUPS 451049 WITH SCORE 452889.851
AT ITER 513 NEW BEST:: SOT 4318606 SOS 1859127 HAS SOPS 1859127 HAS SOUS 421248 HAS SOUPS 421248 WITH SCORE 423107.127
AT ITER 516 NEW BEST:: SOT 4318605 SOS 1859125 HAS SOPS 1859125 HAS SOUS 421246 HAS SOUPS 421246 WITH SCORE 423105.125
AT ITER 531 NEW BEST:: SOT 4318651 SOS 1858745 HAS SOPS 1858745 HAS SOUS 420866 HAS SOUPS 420866 WITH SCORE 422724.745
AT ITER 537 NEW BEST:: SOT 4318620 SOS 1858721 HAS SOPS 1858721 HAS SOUS 420866 HAS SOUPS 420866 WITH SCORE 422724.721
AT ITER 552 NEW BEST:: SOT 4318546 SOS 1858573 HAS SOPS 1858573 HAS SOUS 420792 HAS SOUPS 420792 WITH SCORE 422650.573
AT ITER 558 NEW BEST:: SOT 4318049 SOS 1858219 HAS SOPS 1858219 HAS SOUS 420323 HAS SOUPS 420323 WITH SCORE 422181.219
AT ITER 570 NEW BEST:: SOT 4318001 SOS 1858127 HAS SOPS 1858127 HAS SOUS 420231 HAS SOUPS 420231 WITH SCORE 422089.127
AT ITER 592 NEW BEST:: SOT 4317358 SOS 1860537 HAS SOPS 1860537 HAS SOUS 419931 HAS SOUPS 419931 WITH SCORE 421791.537
AT ITER 604 NEW BEST:: SOT 4317254 SOS 1860329 HAS SOPS 1860329 HAS SOUS 419723 HAS SOUPS 419723 WITH SCORE 421583.329
AT ITER 605 NEW BEST:: SOT 4312996 SOS 1856533 HAS SOPS 1856533 HAS SOUS 415702 HAS SOUPS 415702 WITH SCORE 417558.533
AT ITER 619 NEW BEST:: SOT 4312996 SOS 1856421 HAS SOPS 1856421 HAS SOUS 415590 HAS SOUPS 415590 WITH SCORE 417446.421
AT ITER 646 NEW BEST:: SOT 4312974 SOS 1856399 HAS SOPS 1856399 HAS SOUS 415568 HAS SOUPS 415568 WITH SCORE 417424.399
AT ITER 654 NEW BEST:: SOT 4303623 SOS 2239718 HAS SOPS 2239718 HAS SOUS 408556 HAS SOUPS 408556 WITH SCORE 410795.718
AT ITER 660 NEW BEST:: SOT 4303602 SOS 2239676 HAS SOPS 2239676 HAS SOUS 408475 HAS SOUPS 408475 WITH SCORE 410714.676
AT ITER 672 NEW BEST:: SOT 4303602 SOS 2239550 HAS SOPS 2239550 HAS SOUS 408475 HAS SOUPS 408475 WITH SCORE 410714.55
AT ITER 676 NEW BEST:: SOT 4303602 SOS 2239523 HAS SOPS 2239523 HAS SOUS 408475 HAS SOUPS 408475 WITH SCORE 410714.523
AT ITER 679 NEW BEST:: SOT 4303430 SOS 2239179 HAS SOPS 2239179 HAS SOUS 408297 HAS SOUPS 408297 WITH SCORE 410536.179
AT ITER 706 NEW BEST:: SOT 4302438 SOS 2242455 HAS SOPS 2242455 HAS SOUS 407761 HAS SOUPS 407761 WITH SCORE 410003.455
AT ITER 718 NEW BEST:: SOT 4302102 SOS 2242196 HAS SOPS 2242196 HAS SOUS 407502 HAS SOUPS 407502 WITH SCORE 409744.196
AT ITER 721 NEW BEST:: SOT 4302101 SOS 2242194 HAS SOPS 2242194 HAS SOUS 407500 HAS SOUPS 407500 WITH SCORE 409742.194
AT ITER 722 NEW BEST:: SOT 4283739 SOS 2246733 HAS SOPS 2246733 HAS SOUS 394437 HAS SOUPS 394437 WITH SCORE 396683.733
AT ITER 726 NEW BEST:: SOT 4283729 SOS 2246684 HAS SOPS 2246684 HAS SOUS 394388 HAS SOUPS 394388 WITH SCORE 396634.684
AT ITER 750 NEW BEST:: SOT 4283721 SOS 2246649 HAS SOPS 2246649 HAS SOUS 394353 HAS SOUPS 394353 WITH SCORE 396599.649
AT ITER 791 NEW BEST:: SOT 4277745 SOS 2258135 HAS SOPS 2258135 HAS SOUS 390480 HAS SOUPS 390480 WITH SCORE 392738.135
AT ITER 793 NEW BEST:: SOT 4277744 SOS 2258133 HAS SOPS 2258133 HAS SOUS 390478 HAS SOUPS 390478 WITH SCORE 392736.133
AT ITER 799 NEW BEST:: SOT 4277744 SOS 2258088 HAS SOPS 2258088 HAS SOUS 390433 HAS SOUPS 390433 WITH SCORE 392691.088
AT ITER 831 NEW BEST:: SOT 4255950 SOS 2465972 HAS SOPS 2465972 HAS SOUS 372397 HAS SOUPS 372397 WITH SCORE 374862.972
AT ITER 832 NEW BEST:: SOT 4255819 SOS 2465710 HAS SOPS 2465710 HAS SOUS 372139 HAS SOUPS 372139 WITH SCORE 374604.71
AT ITER 833 NEW BEST:: SOT 4255708 SOS 2388700 HAS SOPS 2388700 HAS SOUS 371837 HAS SOUPS 371837 WITH SCORE 374225.7
AT ITER 839 NEW BEST:: SOT 4255581 SOS 2388446 HAS SOPS 2388446 HAS SOUS 371583 HAS SOUPS 371583 WITH SCORE 373971.446
AT ITER 846 NEW BEST:: SOT 4255426 SOS 2388136 HAS SOPS 2388136 HAS SOUS 371428 HAS SOUPS 371428 WITH SCORE 373816.136
AT ITER 883 NEW BEST:: SOT 4255422 SOS 2385212 HAS SOPS 2385212 HAS SOUS 371420 HAS SOUPS 371420 WITH SCORE 373805.212
AT ITER 887 NEW BEST:: SOT 4255313 SOS 2384885 HAS SOPS 2384885 HAS SOUS 371202 HAS SOUPS 371202 WITH SCORE 373586.885
AT ITER 909 NEW BEST:: SOT 4255313 SOS 2384744 HAS SOPS 2384744 HAS SOUS 371061 HAS SOUPS 371061 WITH SCORE 373445.744
AT ITER 927 NEW BEST:: SOT 4255212 SOS 2384542 HAS SOPS 2384542 HAS SOUS 371007 HAS SOUPS 371007 WITH SCORE 373391.542
AT ITER 930 NEW BEST:: SOT 4255161 SOS 2384440 HAS SOPS 2384440 HAS SOUS 370833 HAS SOUPS 370833 WITH SCORE 373217.44
AT ITER 937 NEW BEST:: SOT 4255122 SOS 2384443 HAS SOPS 2384443 HAS SOUS 370794 HAS SOUPS 370794 WITH SCORE 373178.443
AT ITER 944 NEW BEST:: SOT 4255122 SOS 2384442 HAS SOPS 2384442 HAS SOUS 370793 HAS SOUPS 370793 WITH SCORE 373177.442
AT ITER 967 NEW BEST:: SOT 4254762 SOS 2383722 HAS SOPS 2383722 HAS SOUS 370256 HAS SOUPS 370256 WITH SCORE 372639.722
AT ITER 968 NEW BEST:: SOT 4234212 SOS 2363311 HAS SOPS 2363311 HAS SOUS 361198 HAS SOUPS 361198 WITH SCORE 363561.311
AT ITER 969 NEW BEST:: SOT 4234211 SOS 2363309 HAS SOPS 2363309 HAS SOUS 361196 HAS SOUPS 361196 WITH SCORE 363559.309
AT ITER 991 NEW BEST:: SOT 4234071 SOS 2363029 HAS SOPS 2363029 HAS SOUS 360916 HAS SOUPS 360916 WITH SCORE 363279.029
AT ITER 993 NEW BEST:: SOT 4233602 SOS 2219207 HAS SOPS 2219207 HAS SOUS 359315 HAS SOUPS 359315 WITH SCORE 361534.207
AT ITER 994 NEW BEST:: SOT 4233508 SOS 2219113 HAS SOPS 2219113 HAS SOUS 359221 HAS SOUPS 359221 WITH SCORE 361440.113
AT ITER 1005 NEW BEST:: SOT 4233894 SOS 2216207 HAS SOPS 2216207 HAS SOUS 358860 HAS SOUPS 358860 WITH SCORE 361076.207
AT ITER 1015 NEW BEST:: SOT 4233775 SOS 2068549 HAS SOPS 2068549 HAS SOUS 358265 HAS SOUPS 358265 WITH SCORE 360333.549
AT ITER 1029 NEW BEST:: SOT 4233632 SOS 2068263 HAS SOPS 2068263 HAS SOUS 358203 HAS SOUPS 358203 WITH SCORE 360271.263
AT ITER 1061 NEW BEST:: SOT 4233529 SOS 1948501 HAS SOPS 1948501 HAS SOUS 357997 HAS SOUPS 357997 WITH SCORE 359945.501
AT ITER 1084 NEW BEST:: SOT 4233263 SOS 1948216 HAS SOPS 1948216 HAS SOUS 357731 HAS SOUPS 357731 WITH SCORE 359679.216
AT ITER 1090 NEW BEST:: SOT 4233262 SOS 1948214 HAS SOPS 1948214 HAS SOUS 357729 HAS SOUPS 357729 WITH SCORE 359677.214
AT ITER 1098 NEW BEST:: SOT 4232897 SOS 1949052 HAS SOPS 1949052 HAS SOUS 357548 HAS SOUPS 357548 WITH SCORE 359497.052
AT ITER 1103 NEW BEST:: SOT 4232986 SOS 1949230 HAS SOPS 1949230 HAS SOUS 357502 HAS SOUPS 357502 WITH SCORE 359451.23
AT ITER 1112 NEW BEST:: SOT 4230072 SOS 1946275 HAS SOPS 1946275 HAS SOUS 354590 HAS SOUPS 354590 WITH SCORE 356536.275
AT ITER 1130 NEW BEST:: SOT 4230042 SOS 1946245 HAS SOPS 1946245 HAS SOUS 354560 HAS SOUPS 354560 WITH SCORE 356506.245
AT ITER 1139 NEW BEST:: SOT 4230036 SOS 1946233 HAS SOPS 1946233 HAS SOUS 354548 HAS SOUPS 354548 WITH SCORE 356494.233
AT ITER 1165 NEW BEST:: SOT 4230031 SOS 1946223 HAS SOPS 1946223 HAS SOUS 354538 HAS SOUPS 354538 WITH SCORE 356484.223
AT ITER 1166 NEW BEST:: SOT 4229937 SOS 1946035 HAS SOPS 1946035 HAS SOUS 354350 HAS SOUPS 354350 WITH SCORE 356296.035
AT ITER 1178 NEW BEST:: SOT 4229936 SOS 1923677 HAS SOPS 1923677 HAS SOUS 354141 HAS SOUPS 354141 WITH SCORE 356064.677
AT ITER 1182 NEW BEST:: SOT 4229936 SOS 1923677 HAS SOPS 1923677 HAS SOUS 354107 HAS SOUPS 354107 WITH SCORE 356030.677
AT ITER 1192 NEW BEST:: SOT 4229936 SOS 1923592 HAS SOPS 1923592 HAS SOUS 354022 HAS SOUPS 354022 WITH SCORE 355945.592
AT ITER 1199 NEW BEST:: SOT 4229936 SOS 1923592 HAS SOPS 1923592 HAS SOUS 353897 HAS SOUPS 353897 WITH SCORE 355820.592
AT ITER 1200 NEW BEST:: SOT 4229843 SOS 1923406 HAS SOPS 1923406 HAS SOUS 353827 HAS SOUPS 353827 WITH SCORE 355750.406
AT ITER 1201 NEW BEST:: SOT 4229759 SOS 1923280 HAS SOPS 1923280 HAS SOUS 353743 HAS SOUPS 353743 WITH SCORE 355666.28
AT ITER 1209 NEW BEST:: SOT 4229759 SOS 1923136 HAS SOPS 1923136 HAS SOUS 353742 HAS SOUPS 353742 WITH SCORE 355665.136
AT ITER 1230 NEW BEST:: SOT 4229748 SOS 1923125 HAS SOPS 1923125 HAS SOUS 353731 HAS SOUPS 353731 WITH SCORE 355654.125
AT ITER 1231 NEW BEST:: SOT 4229748 SOS 1923125 HAS SOPS 1923125 HAS SOUS 353697 HAS SOUPS 353697 WITH SCORE 355620.125
AT ITER 1272 NEW BEST:: SOT 4229579 SOS 1922787 HAS SOPS 1922787 HAS SOUS 353359 HAS SOUPS 353359 WITH SCORE 355281.787
AT ITER 1281 NEW BEST:: SOT 4229513 SOS 1922721 HAS SOPS 1922721 HAS SOUS 353293 HAS SOUPS 353293 WITH SCORE 355215.721
AT ITER 1286 NEW BEST:: SOT 4229547 SOS 1922789 HAS SOPS 1922789 HAS SOUS 353185 HAS SOUPS 353185 WITH SCORE 355107.789
AT ITER 1287 NEW BEST:: SOT 4229528 SOS 1922751 HAS SOPS 1922751 HAS SOUS 353147 HAS SOUPS 353147 WITH SCORE 355069.751
AT ITER 1295 NEW BEST:: SOT 4229399 SOS 1922647 HAS SOPS 1922647 HAS SOUS 353034 HAS SOUPS 353034 WITH SCORE 354956.647
AT ITER 1299 NEW BEST:: SOT 4229589 SOS 1922838 HAS SOPS 1922838 HAS SOUS 353020 HAS SOUPS 353020 WITH SCORE 354942.838
AT ITER 1315 NEW BEST:: SOT 4228453 SOS 1925492 HAS SOPS 1925492 HAS SOUS 352938 HAS SOUPS 352938 WITH SCORE 354863.492
AT ITER 1319 NEW BEST:: SOT 4228446 SOS 1925478 HAS SOPS 1925478 HAS SOUS 352924 HAS SOUPS 352924 WITH SCORE 354849.478
AT ITER 1330 NEW BEST:: SOT 4228270 SOS 1925126 HAS SOPS 1925126 HAS SOUS 352572 HAS SOUPS 352572 WITH SCORE 354497.126
AT ITER 1351 NEW BEST:: SOT 4228201 SOS 1924988 HAS SOPS 1924988 HAS SOUS 352434 HAS SOUPS 352434 WITH SCORE 354358.988
AT ITER 1361 NEW BEST:: SOT 4228108 SOS 1784834 HAS SOPS 1784834 HAS SOUS 352248 HAS SOUPS 352248 WITH SCORE 354032.834
AT ITER 1378 NEW BEST:: SOT 4228130 SOS 1784799 HAS SOPS 1784799 HAS SOUS 352213 HAS SOUPS 352213 WITH SCORE 353997.799
AT ITER 1411 NEW BEST:: SOT 4227792 SOS 1784417 HAS SOPS 1784417 HAS SOUS 351831 HAS SOUPS 351831 WITH SCORE 353615.417
AT ITER 1428 NEW BEST:: SOT 4228288 SOS 1784967 HAS SOPS 1784967 HAS SOUS 351479 HAS SOUPS 351479 WITH SCORE 353263.967
AT ITER 1431 NEW BEST:: SOT 4228236 SOS 1784914 HAS SOPS 1784914 HAS SOUS 351426 HAS SOUPS 351426 WITH SCORE 353210.914
AT ITER 1439 NEW BEST:: SOT 4214656 SOS 1771334 HAS SOPS 1771334 HAS SOUS 337846 HAS SOUPS 337846 WITH SCORE 339617.334
AT ITER 1450 NEW BEST:: SOT 4214554 SOS 1771277 HAS SOPS 1771277 HAS SOUS 337789 HAS SOUPS 337789 WITH SCORE 339560.277
AT ITER 1455 NEW BEST:: SOT 4214414 SOS 1770997 HAS SOPS 1770997 HAS SOUS 337509 HAS SOUPS 337509 WITH SCORE 339279.997
AT ITER 1469 NEW BEST:: SOT 4214414 SOS 1770852 HAS SOPS 1770852 HAS SOUS 337219 HAS SOUPS 337219 WITH SCORE 338989.852
AT ITER 1474 NEW BEST:: SOT 4214367 SOS 1770758 HAS SOPS 1770758 HAS SOUS 337172 HAS SOUPS 337172 WITH SCORE 338942.758
AT ITER 1484 NEW BEST:: SOT 4214223 SOS 1770470 HAS SOPS 1770470 HAS SOUS 337028 HAS SOUPS 337028 WITH SCORE 338798.47
AT ITER 1491 NEW BEST:: SOT 4214224 SOS 1770472 HAS SOPS 1770472 HAS SOUS 336817 HAS SOUPS 336817 WITH SCORE 338587.472
AT ITER 1494 NEW BEST:: SOT 4214244 SOS 1770512 HAS SOPS 1770512 HAS SOUS 336788 HAS SOUPS 336788 WITH SCORE 338558.512
AT ITER 1495 NEW BEST:: SOT 4214242 SOS 1770508 HAS SOPS 1770508 HAS SOUS 336784 HAS SOUPS 336784 WITH SCORE 338554.508
AT ITER 1508 NEW BEST:: SOT 4214214 SOS 1770452 HAS SOPS 1770452 HAS SOUS 336728 HAS SOUPS 336728 WITH SCORE 338498.452
AT ITER 1511 NEW BEST:: SOT 4214204 SOS 1770442 HAS SOPS 1770442 HAS SOUS 336078 HAS SOUPS 336078 WITH SCORE 337848.442
AT ITER 1513 NEW BEST:: SOT 4214113 SOS 1770260 HAS SOPS 1770260 HAS SOUS 335896 HAS SOUPS 335896 WITH SCORE 337666.26
AT ITER 1529 NEW BEST:: SOT 4214093 SOS 1770220 HAS SOPS 1770220 HAS SOUS 335856 HAS SOUPS 335856 WITH SCORE 337626.22
AT ITER 1532 NEW BEST:: SOT 4214047 SOS 1770174 HAS SOPS 1770174 HAS SOUS 335810 HAS SOUPS 335810 WITH SCORE 337580.174
AT ITER 1550 NEW BEST:: SOT 4213970 SOS 1770020 HAS SOPS 1770020 HAS SOUS 335665 HAS SOUPS 335665 WITH SCORE 337435.02
AT ITER 1560 NEW BEST:: SOT 4213969 SOS 1770018 HAS SOPS 1770018 HAS SOUS 335663 HAS SOUPS 335663 WITH SCORE 337433.018
AT ITER 1567 NEW BEST:: SOT 4213919 SOS 1769918 HAS SOPS 1769918 HAS SOUS 335613 HAS SOUPS 335613 WITH SCORE 337382.918
AT ITER 1576 NEW BEST:: SOT 4213797 SOS 1730146 HAS SOPS 1730146 HAS SOUS 335003 HAS SOUPS 335003 WITH SCORE 336733.146
AT ITER 1606 NEW BEST:: SOT 4213786 SOS 1730139 HAS SOPS 1730139 HAS SOUS 334996 HAS SOUPS 334996 WITH SCORE 336726.139
AT ITER 1646 NEW BEST:: SOT 4213722 SOS 1730011 HAS SOPS 1730011 HAS SOUS 334993 HAS SOUPS 334993 WITH SCORE 336723.011
AT ITER 1659 NEW BEST:: SOT 4213700 SOS 1729989 HAS SOPS 1729989 HAS SOUS 334971 HAS SOUPS 334971 WITH SCORE 336700.989
AT ITER 1675 NEW BEST:: SOT 4213687 SOS 1729950 HAS SOPS 1729950 HAS SOUS 334945 HAS SOUPS 334945 WITH SCORE 336674.95
AT ITER 1682 NEW BEST:: SOT 4213732 SOS 1729994 HAS SOPS 1729994 HAS SOUS 334943 HAS SOUPS 334943 WITH SCORE 336672.994
AT ITER 1692 NEW BEST:: SOT 4213670 SOS 1729870 HAS SOPS 1729870 HAS SOUS 334819 HAS SOUPS 334819 WITH SCORE 336548.87
AT ITER 1717 NEW BEST:: SOT 4213571 SOS 1729346 HAS SOPS 1729346 HAS SOUS 334695 HAS SOUPS 334695 WITH SCORE 336424.346
AT ITER 1739 NEW BEST:: SOT 4213570 SOS 1729344 HAS SOPS 1729344 HAS SOUS 334693 HAS SOUPS 334693 WITH SCORE 336422.344
AT ITER 1750 NEW BEST:: SOT 4213501 SOS 1729206 HAS SOPS 1729206 HAS SOUS 334555 HAS SOUPS 334555 WITH SCORE 336284.206
AT ITER 1775 NEW BEST:: SOT 4213483 SOS 1729170 HAS SOPS 1729170 HAS SOUS 334518 HAS SOUPS 334518 WITH SCORE 336247.17
AT ITER 1788 NEW BEST:: SOT 4213455 SOS 1729114 HAS SOPS 1729114 HAS SOUS 334490 HAS SOUPS 334490 WITH SCORE 336219.114
AT ITER 1818 NEW BEST:: SOT 4213434 SOS 1718866 HAS SOPS 1718866 HAS SOUS 334427 HAS SOUPS 334427 WITH SCORE 336145.866
AT ITER 1840 NEW BEST:: SOT 4213420 SOS 1718838 HAS SOPS 1718838 HAS SOUS 334413 HAS SOUPS 334413 WITH SCORE 336131.838
AT ITER 1854 NEW BEST:: SOT 4213375 SOS 1718748 HAS SOPS 1718748 HAS SOUS 334323 HAS SOUPS 334323 WITH SCORE 336041.748
AT ITER 1859 NEW BEST:: SOT 4213348 SOS 1718694 HAS SOPS 1718694 HAS SOUS 334269 HAS SOUPS 334269 WITH SCORE 335987.694
AT ITER 1876 NEW BEST:: SOT 4213360 SOS 1718668 HAS SOPS 1718668 HAS SOUS 334243 HAS SOUPS 334243 WITH SCORE 335961.668
AT ITER 1888 NEW BEST:: SOT 4213293 SOS 1718534 HAS SOPS 1718534 HAS SOUS 334176 HAS SOUPS 334176 WITH SCORE 335894.534
AT ITER 1890 NEW BEST:: SOT 4213189 SOS 1718326 HAS SOPS 1718326 HAS SOUS 333968 HAS SOUPS 333968 WITH SCORE 335686.326
AT ITER 1899 NEW BEST:: SOT 4213143 SOS 1718234 HAS SOPS 1718234 HAS SOUS 333876 HAS SOUPS 333876 WITH SCORE 335594.234
AT ITER 1934 NEW BEST:: SOT 4213142 SOS 1718232 HAS SOPS 1718232 HAS SOUS 333874 HAS SOUPS 333874 WITH SCORE 335592.232
AT ITER 1937 NEW BEST:: SOT 4212966 SOS 1718213 HAS SOPS 1718213 HAS SOUS 333870 HAS SOUPS 333870 WITH SCORE 335588.213
AT ITER 1938 NEW BEST:: SOT 4212840 SOS 1717961 HAS SOPS 1717961 HAS SOUS 333618 HAS SOUPS 333618 WITH SCORE 335335.961
AT ITER 1958 NEW BEST:: SOT 4212681 SOS 1717643 HAS SOPS 1717643 HAS SOUS 333300 HAS SOUPS 333300 WITH SCORE 335017.643
AT ITER 1992 NEW BEST:: SOT 4212614 SOS 1688349 HAS SOPS 1688349 HAS SOUS 333057 HAS SOUPS 333057 WITH SCORE 334745.349
AT ITER 2008 NEW BEST:: SOT 4212503 SOS 1688253 HAS SOPS 1688253 HAS SOUS 332953 HAS SOUPS 332953 WITH SCORE 334641.253
AT ITER 2010 NEW BEST:: SOT 4212493 SOS 1688223 HAS SOPS 1688223 HAS SOUS 332933 HAS SOUPS 332933 WITH SCORE 334621.223
AT ITER 2016 NEW BEST:: SOT 4212493 SOS 1688207 HAS SOPS 1688207 HAS SOUS 332917 HAS SOUPS 332917 WITH SCORE 334605.207
AT ITER 2037 NEW BEST:: SOT 4212002 SOS 1568794 HAS SOPS 1568794 HAS SOUS 330250 HAS SOUPS 330250 WITH SCORE 331818.794
AT ITER 2047 NEW BEST:: SOT 4211891 SOS 1568572 HAS SOPS 1568572 HAS SOUS 330028 HAS SOUPS 330028 WITH SCORE 331596.572
AT ITER 2057 NEW BEST:: SOT 4211891 SOS 1568572 HAS SOPS 1568572 HAS SOUS 330000 HAS SOUPS 330000 WITH SCORE 331568.572
AT ITER 2060 NEW BEST:: SOT 4211723 SOS 1568333 HAS SOPS 1568333 HAS SOUS 329761 HAS SOUPS 329761 WITH SCORE 331329.333
AT ITER 2079 NEW BEST:: SOT 4211755 SOS 1568397 HAS SOPS 1568397 HAS SOUS 329738 HAS SOUPS 329738 WITH SCORE 331306.397
AT ITER 2101 NEW BEST:: SOT 4211613 SOS 1568113 HAS SOPS 1568113 HAS SOUS 329454 HAS SOUPS 329454 WITH SCORE 331022.113
AT ITER 2103 NEW BEST:: SOT 4211464 SOS 1567815 HAS SOPS 1567815 HAS SOUS 329267 HAS SOUPS 329267 WITH SCORE 330834.815
AT ITER 2105 NEW BEST:: SOT 4211289 SOS 1567465 HAS SOPS 1567465 HAS SOUS 329159 HAS SOUPS 329159 WITH SCORE 330726.465
AT ITER 2122 NEW BEST:: SOT 4183006 SOS 1796553 HAS SOPS 1796553 HAS SOUS 322390 HAS SOUPS 322390 WITH SCORE 324186.553
AT ITER 2136 NEW BEST:: SOT 4183006 SOS 1796465 HAS SOPS 1796465 HAS SOUS 322390 HAS SOUPS 322390 WITH SCORE 324186.465
AT ITER 2163 NEW BEST:: SOT 4182851 SOS 1767835 HAS SOPS 1767835 HAS SOUS 320475 HAS SOUPS 320475 WITH SCORE 322242.835
AT ITER 2183 NEW BEST:: SOT 4182840 SOS 1767813 HAS SOPS 1767813 HAS SOUS 320453 HAS SOUPS 320453 WITH SCORE 322220.813
AT ITER 2192 NEW BEST:: SOT 4182775 SOS 1767683 HAS SOPS 1767683 HAS SOUS 320323 HAS SOUPS 320323 WITH SCORE 322090.683
AT ITER 2206 NEW BEST:: SOT 4182748 SOS 1767629 HAS SOPS 1767629 HAS SOUS 320269 HAS SOUPS 320269 WITH SCORE 322036.629
AT ITER 2240 NEW BEST:: SOT 4182867 SOS 1767713 HAS SOPS 1767713 HAS SOUS 320199 HAS SOUPS 320199 WITH SCORE 321966.713
AT ITER 2243 NEW BEST:: SOT 4172679 SOS 1762495 HAS SOPS 1762495 HAS SOUS 312888 HAS SOUPS 312888 WITH SCORE 314650.495
AT ITER 2259 NEW BEST:: SOT 4172528 SOS 1652114 HAS SOPS 1652114 HAS SOUS 312586 HAS SOUPS 312586 WITH SCORE 314238.114
AT ITER 2269 NEW BEST:: SOT 4172517 SOS 1652103 HAS SOPS 1652103 HAS SOUS 312575 HAS SOUPS 312575 WITH SCORE 314227.103
AT ITER 2307 NEW BEST:: SOT 4172315 SOS 1591759 HAS SOPS 1591759 HAS SOUS 311835 HAS SOUPS 311835 WITH SCORE 313426.759
AT ITER 2319 NEW BEST:: SOT 4172315 SOS 1591759 HAS SOPS 1591759 HAS SOUS 311772 HAS SOUPS 311772 WITH SCORE 313363.759
AT ITER 2327 NEW BEST:: SOT 4172290 SOS 1591709 HAS SOPS 1591709 HAS SOUS 311771 HAS SOUPS 311771 WITH SCORE 313362.709
AT ITER 2343 NEW BEST:: SOT 4172262 SOS 1591653 HAS SOPS 1591653 HAS SOUS 311715 HAS SOUPS 311715 WITH SCORE 313306.653
AT ITER 2351 NEW BEST:: SOT 4172236 SOS 1591627 HAS SOPS 1591627 HAS SOUS 311689 HAS SOUPS 311689 WITH SCORE 313280.627
AT ITER 2368 NEW BEST:: SOT 4172235 SOS 1591625 HAS SOPS 1591625 HAS SOUS 311687 HAS SOUPS 311687 WITH SCORE 313278.625
AT ITER 2373 NEW BEST:: SOT 4172190 SOS 1591535 HAS SOPS 1591535 HAS SOUS 311642 HAS SOUPS 311642 WITH SCORE 313233.535
AT ITER 2385 NEW BEST:: SOT 4172169 SOS 1591514 HAS SOPS 1591514 HAS SOUS 311621 HAS SOUPS 311621 WITH SCORE 313212.514
AT ITER 2387 NEW BEST:: SOT 4169705 SOS 1589046 HAS SOPS 1589046 HAS SOUS 309153 HAS SOUPS 309153 WITH SCORE 310742.046
AT ITER 2390 NEW BEST:: SOT 4169598 SOS 1588832 HAS SOPS 1588832 HAS SOUS 308939 HAS SOUPS 308939 WITH SCORE 310527.832
AT ITER 2392 NEW BEST:: SOT 4107875 SOS 1832437 HAS SOPS 1832437 HAS SOUS 254945 HAS SOUPS 254945 WITH SCORE 256777.437
AT ITER 2399 NEW BEST:: SOT 4107771 SOS 1832229 HAS SOPS 1832229 HAS SOUS 254737 HAS SOUPS 254737 WITH SCORE 256569.229
AT ITER 2400 NEW BEST:: SOT 4107731 SOS 1832189 HAS SOPS 1832189 HAS SOUS 254697 HAS SOUPS 254697 WITH SCORE 256529.189
AT ITER 2406 NEW BEST:: SOT 4106948 SOS 1831551 HAS SOPS 1831551 HAS SOUS 253885 HAS SOUPS 253885 WITH SCORE 255716.551
AT ITER 2407 NEW BEST:: SOT 4106910 SOS 1831475 HAS SOPS 1831475 HAS SOUS 253809 HAS SOUPS 253809 WITH SCORE 255640.475
AT ITER 2409 NEW BEST:: SOT 4106909 SOS 1831473 HAS SOPS 1831473 HAS SOUS 253807 HAS SOUPS 253807 WITH SCORE 255638.473
AT ITER 2422 NEW BEST:: SOT 4106984 SOS 1831208 HAS SOPS 1831208 HAS SOUS 253598 HAS SOUPS 253598 WITH SCORE 255429.208
AT ITER 2429 NEW BEST:: SOT 4106926 SOS 1831092 HAS SOPS 1831092 HAS SOUS 253482 HAS SOUPS 253482 WITH SCORE 255313.092
AT ITER 2439 NEW BEST:: SOT 4106880 SOS 1831000 HAS SOPS 1831000 HAS SOUS 253451 HAS SOUPS 253451 WITH SCORE 255282.0
AT ITER 2460 NEW BEST:: SOT 4107043 SOS 1831326 HAS SOPS 1831326 HAS SOUS 253425 HAS SOUPS 253425 WITH SCORE 255256.326
AT ITER 2479 NEW BEST:: SOT 4106927 SOS 1780955 HAS SOPS 1780955 HAS SOUS 252958 HAS SOUPS 252958 WITH SCORE 254738.955
AT ITER 2502 NEW BEST:: SOT 4106661 SOS 1780738 HAS SOPS 1780738 HAS SOUS 252725 HAS SOUPS 252725 WITH SCORE 254505.738
AT ITER 2515 NEW BEST:: SOT 4106591 SOS 1707941 HAS SOPS 1707941 HAS SOUS 252387 HAS SOUPS 252387 WITH SCORE 254094.941
AT ITER 2527 NEW BEST:: SOT 4106538 SOS 1707835 HAS SOPS 1707835 HAS SOUS 252311 HAS SOUPS 252311 WITH SCORE 254018.835
AT ITER 2533 NEW BEST:: SOT 4106371 SOS 1707501 HAS SOPS 1707501 HAS SOUS 252144 HAS SOUPS 252144 WITH SCORE 253851.501
AT ITER 2536 NEW BEST:: SOT 4106342 SOS 1707453 HAS SOPS 1707453 HAS SOUS 251784 HAS SOUPS 251784 WITH SCORE 253491.453
AT ITER 2572 NEW BEST:: SOT 4105649 SOS 1705913 HAS SOPS 1705913 HAS SOUS 250556 HAS SOUPS 250556 WITH SCORE 252261.913
AT ITER 2621 NEW BEST:: SOT 4105546 SOS 1705707 HAS SOPS 1705707 HAS SOUS 250350 HAS SOUPS 250350 WITH SCORE 252055.707
AT ITER 2641 NEW BEST:: SOT 4105517 SOS 1705649 HAS SOPS 1705649 HAS SOUS 250292 HAS SOUPS 250292 WITH SCORE 251997.649
AT ITER 2645 NEW BEST:: SOT 4105429 SOS 1705473 HAS SOPS 1705473 HAS SOUS 250116 HAS SOUPS 250116 WITH SCORE 251821.473
AT ITER 2648 NEW BEST:: SOT 4105480 SOS 1705459 HAS SOPS 1705459 HAS SOUS 250102 HAS SOUPS 250102 WITH SCORE 251807.459
AT ITER 2673 NEW BEST:: SOT 4105468 SOS 1704667 HAS SOPS 1704667 HAS SOUS 250078 HAS SOUPS 250078 WITH SCORE 251782.667
AT ITER 2681 NEW BEST:: SOT 4105465 SOS 1704661 HAS SOPS 1704661 HAS SOUS 250075 HAS SOUPS 250075 WITH SCORE 251779.661
AT ITER 2687 NEW BEST:: SOT 4105335 SOS 1704401 HAS SOPS 1704401 HAS SOUS 249945 HAS SOUPS 249945 WITH SCORE 251649.401
AT ITER 2690 NEW BEST:: SOT 4105261 SOS 1704253 HAS SOPS 1704253 HAS SOUS 249797 HAS SOUPS 249797 WITH SCORE 251501.253
AT ITER 2696 NEW BEST:: SOT 4105156 SOS 1704043 HAS SOPS 1704043 HAS SOUS 249587 HAS SOUPS 249587 WITH SCORE 251291.043
AT ITER 2722 NEW BEST:: SOT 4105134 SOS 1703999 HAS SOPS 1703999 HAS SOUS 249554 HAS SOUPS 249554 WITH SCORE 251257.999
AT ITER 2753 NEW BEST:: SOT 4105182 SOS 1704095 HAS SOPS 1704095 HAS SOUS 249537 HAS SOUPS 249537 WITH SCORE 251241.095
AT ITER 2767 NEW BEST:: SOT 4105148 SOS 1704027 HAS SOPS 1704027 HAS SOUS 249503 HAS SOUPS 249503 WITH SCORE 251207.027
AT ITER 2773 NEW BEST:: SOT 4104968 SOS 1703667 HAS SOPS 1703667 HAS SOUS 249143 HAS SOUPS 249143 WITH SCORE 250846.667
AT ITER 2796 NEW BEST:: SOT 4104923 SOS 1703577 HAS SOPS 1703577 HAS SOUS 249132 HAS SOUPS 249132 WITH SCORE 250835.577
AT ITER 2810 NEW BEST:: SOT 4104922 SOS 1703544 HAS SOPS 1703544 HAS SOUS 249130 HAS SOUPS 249130 WITH SCORE 250833.544
AT ITER 2838 NEW BEST:: SOT 4104913 SOS 1703526 HAS SOPS 1703526 HAS SOUS 249112 HAS SOUPS 249112 WITH SCORE 250815.526
AT ITER 2866 NEW BEST:: SOT 4104897 SOS 1703502 HAS SOPS 1703502 HAS SOUS 249088 HAS SOUPS 249088 WITH SCORE 250791.502
AT ITER 2882 NEW BEST:: SOT 4104778 SOS 1703264 HAS SOPS 1703264 HAS SOUS 248850 HAS SOUPS 248850 WITH SCORE 250553.264
AT ITER 2893 NEW BEST:: SOT 4104630 SOS 1702968 HAS SOPS 1702968 HAS SOUS 248639 HAS SOUPS 248639 WITH SCORE 250341.968
AT ITER 2902 NEW BEST:: SOT 4104536 SOS 1702780 HAS SOPS 1702780 HAS SOUS 248588 HAS SOUPS 248588 WITH SCORE 250290.78
AT ITER 2923 NEW BEST:: SOT 4104532 SOS 1702772 HAS SOPS 1702772 HAS SOUS 248580 HAS SOUPS 248580 WITH SCORE 250282.772
AT ITER 2928 NEW BEST:: SOT 4104504 SOS 1702716 HAS SOPS 1702716 HAS SOUS 248524 HAS SOUPS 248524 WITH SCORE 250226.716
AT ITER 2962 NEW BEST:: SOT 4104408 SOS 1702524 HAS SOPS 1702524 HAS SOUS 248332 HAS SOUPS 248332 WITH SCORE 250034.524
AT ITER 2970 NEW BEST:: SOT 4104401 SOS 1702510 HAS SOPS 1702510 HAS SOUS 248318 HAS SOUPS 248318 WITH SCORE 250020.51
AT ITER 2983 NEW BEST:: SOT 4104311 SOS 1702330 HAS SOPS 1702330 HAS SOUS 248258 HAS SOUPS 248258 WITH SCORE 249960.33
AT ITER 2986 NEW BEST:: SOT 4104266 SOS 1702316 HAS SOPS 1702316 HAS SOUS 248228 HAS SOUPS 248228 WITH SCORE 249930.316
AT ITER 2992 NEW BEST:: SOT 4104257 SOS 1702243 HAS SOPS 1702243 HAS SOUS 248197 HAS SOUPS 248197 WITH SCORE 249899.243
AT ITER 3003 NEW BEST:: SOT 4104247 SOS 1702223 HAS SOPS 1702223 HAS SOUS 248177 HAS SOUPS 248177 WITH SCORE 249879.223
AT ITER 3013 NEW BEST:: SOT 4104199 SOS 1700527 HAS SOPS 1700527 HAS SOUS 248020 HAS SOUPS 248020 WITH SCORE 249720.527
AT ITER 3016 NEW BEST:: SOT 4104187 SOS 1700524 HAS SOPS 1700524 HAS SOUS 248017 HAS SOUPS 248017 WITH SCORE 249717.524
AT ITER 3040 NEW BEST:: SOT 4103977 SOS 1700104 HAS SOPS 1700104 HAS SOUS 247597 HAS SOUPS 247597 WITH SCORE 249297.104
AT ITER 3049 NEW BEST:: SOT 4103837 SOS 1596282 HAS SOPS 1596282 HAS SOUS 245496 HAS SOUPS 245496 WITH SCORE 247092.282
AT ITER 3060 NEW BEST:: SOT 4103748 SOS 1596104 HAS SOPS 1596104 HAS SOUS 245468 HAS SOUPS 245468 WITH SCORE 247064.104
AT ITER 3065 NEW BEST:: SOT 4103747 SOS 1596102 HAS SOPS 1596102 HAS SOUS 245466 HAS SOUPS 245466 WITH SCORE 247062.102
AT ITER 3081 NEW BEST:: SOT 4103654 SOS 1595916 HAS SOPS 1595916 HAS SOUS 245280 HAS SOUPS 245280 WITH SCORE 246875.916
AT ITER 3116 NEW BEST:: SOT 4103567 SOS 1595742 HAS SOPS 1595742 HAS SOUS 245106 HAS SOUPS 245106 WITH SCORE 246701.742
AT ITER 3147 NEW BEST:: SOT 4103231 SOS 1595294 HAS SOPS 1595294 HAS SOUS 244658 HAS SOUPS 244658 WITH SCORE 246253.294
AT ITER 3174 NEW BEST:: SOT 4103205 SOS 1595282 HAS SOPS 1595282 HAS SOUS 244646 HAS SOUPS 244646 WITH SCORE 246241.282
AT ITER 3207 NEW BEST:: SOT 4103169 SOS 1595210 HAS SOPS 1595210 HAS SOUS 244575 HAS SOUPS 244575 WITH SCORE 246170.21
AT ITER 3223 NEW BEST:: SOT 4103133 SOS 1595138 HAS SOPS 1595138 HAS SOUS 244539 HAS SOUPS 244539 WITH SCORE 246134.138
AT ITER 3242 NEW BEST:: SOT 4102985 SOS 1594985 HAS SOPS 1594985 HAS SOUS 244397 HAS SOUPS 244397 WITH SCORE 245991.985
AT ITER 3260 NEW BEST:: SOT 4102952 SOS 1594919 HAS SOPS 1594919 HAS SOUS 244331 HAS SOUPS 244331 WITH SCORE 245925.919
AT ITER 3263 NEW BEST:: SOT 4102938 SOS 1594891 HAS SOPS 1594891 HAS SOUS 244303 HAS SOUPS 244303 WITH SCORE 245897.891
AT ITER 3264 NEW BEST:: SOT 4102886 SOS 1594787 HAS SOPS 1594787 HAS SOUS 244199 HAS SOUPS 244199 WITH SCORE 245793.787
AT ITER 3277 NEW BEST:: SOT 4102721 SOS 1594457 HAS SOPS 1594457 HAS SOUS 243869 HAS SOUPS 243869 WITH SCORE 245463.457
AT ITER 3295 NEW BEST:: SOT 4102444 SOS 1593903 HAS SOPS 1593903 HAS SOUS 243478 HAS SOUPS 243478 WITH SCORE 245071.903
AT ITER 3369 NEW BEST:: SOT 4102364 SOS 1593743 HAS SOPS 1593743 HAS SOUS 243318 HAS SOUPS 243318 WITH SCORE 244911.743
AT ITER 3387 NEW BEST:: SOT 4102337 SOS 1593729 HAS SOPS 1593729 HAS SOUS 243291 HAS SOUPS 243291 WITH SCORE 244884.729
AT ITER 3403 NEW BEST:: SOT 4102288 SOS 1593631 HAS SOPS 1593631 HAS SOUS 243250 HAS SOUPS 243250 WITH SCORE 244843.631
AT ITER 3417 NEW BEST:: SOT 4102167 SOS 1593732 HAS SOPS 1593732 HAS SOUS 243187 HAS SOUPS 243187 WITH SCORE 244780.732
AT ITER 3431 NEW BEST:: SOT 4101972 SOS 1542960 HAS SOPS 1542960 HAS SOUS 242598 HAS SOUPS 242598 WITH SCORE 244140.96
AT ITER 3468 NEW BEST:: SOT 4102015 SOS 1543044 HAS SOPS 1543044 HAS SOUS 242428 HAS SOUPS 242428 WITH SCORE 243971.044
AT ITER 3474 NEW BEST:: SOT 4102007 SOS 1543028 HAS SOPS 1543028 HAS SOUS 242379 HAS SOUPS 242379 WITH SCORE 243922.028
AT ITER 3475 NEW BEST:: SOT 4096131 SOS 1635788 HAS SOPS 1635788 HAS SOUS 238234 HAS SOUPS 238234 WITH SCORE 239869.788
AT ITER 3488 NEW BEST:: SOT 4096135 SOS 1635786 HAS SOPS 1635786 HAS SOUS 238232 HAS SOUPS 238232 WITH SCORE 239867.786
AT ITER 3543 NEW BEST:: SOT 4096134 SOS 1635784 HAS SOPS 1635784 HAS SOUS 238230 HAS SOUPS 238230 WITH SCORE 239865.784
AT ITER 3545 NEW BEST:: SOT 4093895 SOS 1635142 HAS SOPS 1635142 HAS SOUS 236456 HAS SOUPS 236456 WITH SCORE 238091.142
AT ITER 3546 NEW BEST:: SOT 4093882 SOS 1635116 HAS SOPS 1635116 HAS SOUS 236430 HAS SOUPS 236430 WITH SCORE 238065.116
AT ITER 3561 NEW BEST:: SOT 4093892 SOS 1635136 HAS SOPS 1635136 HAS SOUS 236293 HAS SOUPS 236293 WITH SCORE 237928.136
AT ITER 3576 NEW BEST:: SOT 4093892 SOS 1635136 HAS SOPS 1635136 HAS SOUS 236269 HAS SOUPS 236269 WITH SCORE 237904.136
AT ITER 3604 NEW BEST:: SOT 4093882 SOS 1635116 HAS SOPS 1635116 HAS SOUS 236249 HAS SOUPS 236249 WITH SCORE 237884.116
AT ITER 3641 NEW BEST:: SOT 4093845 SOS 1635042 HAS SOPS 1635042 HAS SOUS 236175 HAS SOUPS 236175 WITH SCORE 237810.042
AT ITER 3642 NEW BEST:: SOT 4093819 SOS 1634990 HAS SOPS 1634990 HAS SOUS 236123 HAS SOUPS 236123 WITH SCORE 237757.99
AT ITER 3648 NEW BEST:: SOT 4093731 SOS 1634814 HAS SOPS 1634814 HAS SOUS 235947 HAS SOUPS 235947 WITH SCORE 237581.814
AT ITER 3657 NEW BEST:: SOT 4093724 SOS 1634800 HAS SOPS 1634800 HAS SOUS 235933 HAS SOUPS 235933 WITH SCORE 237567.8
AT ITER 3674 NEW BEST:: SOT 4093680 SOS 1634436 HAS SOPS 1634436 HAS SOUS 235537 HAS SOUPS 235537 WITH SCORE 237171.436
AT ITER 3682 NEW BEST:: SOT 4093588 SOS 1634252 HAS SOPS 1634252 HAS SOUS 235491 HAS SOUPS 235491 WITH SCORE 237125.252
AT ITER 3698 NEW BEST:: SOT 4093580 SOS 1634236 HAS SOPS 1634236 HAS SOUS 235483 HAS SOUPS 235483 WITH SCORE 237117.236
AT ITER 3726 NEW BEST:: SOT 4093578 SOS 1634232 HAS SOPS 1634232 HAS SOUS 235479 HAS SOUPS 235479 WITH SCORE 237113.232
AT ITER 3793 NEW BEST:: SOT 4093572 SOS 1634220 HAS SOPS 1634220 HAS SOUS 235473 HAS SOUPS 235473 WITH SCORE 237107.22
AT ITER 3804 NEW BEST:: SOT 4093559 SOS 1634194 HAS SOPS 1634194 HAS SOUS 235447 HAS SOUPS 235447 WITH SCORE 237081.194
AT ITER 3823 NEW BEST:: SOT 4093305 SOS 1633865 HAS SOPS 1633865 HAS SOUS 235118 HAS SOUPS 235118 WITH SCORE 236751.865
AT ITER 3856 NEW BEST:: SOT 4093122 SOS 1633499 HAS SOPS 1633499 HAS SOUS 234896 HAS SOUPS 234896 WITH SCORE 236529.499
AT ITER 3868 NEW BEST:: SOT 4093113 SOS 1633481 HAS SOPS 1633481 HAS SOUS 234878 HAS SOUPS 234878 WITH SCORE 236511.481
AT ITER 3878 NEW BEST:: SOT 4093108 SOS 1633507 HAS SOPS 1633507 HAS SOUS 234873 HAS SOUPS 234873 WITH SCORE 236506.507
AT ITER 3896 NEW BEST:: SOT 4093067 SOS 1633425 HAS SOPS 1633425 HAS SOUS 234826 HAS SOUPS 234826 WITH SCORE 236459.425
AT ITER 3899 NEW BEST:: SOT 4093148 SOS 1633397 HAS SOPS 1633397 HAS SOUS 234798 HAS SOUPS 234798 WITH SCORE 236431.397
AT ITER 3903 NEW BEST:: SOT 4092632 SOS 1632922 HAS SOPS 1632922 HAS SOUS 234449 HAS SOUPS 234449 WITH SCORE 236081.922
AT ITER 3911 NEW BEST:: SOT 4088231 SOS 1628521 HAS SOPS 1628521 HAS SOUS 230534 HAS SOUPS 230534 WITH SCORE 232162.521
AT ITER 3912 NEW BEST:: SOT 4088231 SOS 1628495 HAS SOPS 1628495 HAS SOUS 230534 HAS SOUPS 230534 WITH SCORE 232162.495
AT ITER 3915 NEW BEST:: SOT 4088183 SOS 1628447 HAS SOPS 1628447 HAS SOUS 230486 HAS SOUPS 230486 WITH SCORE 232114.447
AT ITER 3918 NEW BEST:: SOT 4088365 SOS 1628811 HAS SOPS 1628811 HAS SOUS 230426 HAS SOUPS 230426 WITH SCORE 232054.811
AT ITER 3947 NEW BEST:: SOT 4087011 SOS 1627411 HAS SOPS 1627411 HAS SOUS 229026 HAS SOUPS 229026 WITH SCORE 230653.411
AT ITER 3950 NEW BEST:: SOT 4086799 SOS 1627111 HAS SOPS 1627111 HAS SOUS 228602 HAS SOUPS 228602 WITH SCORE 230229.111
AT ITER 3951 NEW BEST:: SOT 4086791 SOS 1627095 HAS SOPS 1627095 HAS SOUS 228594 HAS SOUPS 228594 WITH SCORE 230221.095
AT ITER 3978 NEW BEST:: SOT 4086733 SOS 1622515 HAS SOPS 1622515 HAS SOUS 228258 HAS SOUPS 228258 WITH SCORE 229880.515
AT ITER 3987 NEW BEST:: SOT 4086648 SOS 1622345 HAS SOPS 1622345 HAS SOUS 228173 HAS SOUPS 228173 WITH SCORE 229795.345
AT ITER 4016 NEW BEST:: SOT 4086606 SOS 1621589 HAS SOPS 1621589 HAS SOUS 227963 HAS SOUPS 227963 WITH SCORE 229584.589
AT ITER 4024 NEW BEST:: SOT 4086590 SOS 1621557 HAS SOPS 1621557 HAS SOUS 227858 HAS SOUPS 227858 WITH SCORE 229479.557
AT ITER 4034 NEW BEST:: SOT 4086590 SOS 1621463 HAS SOPS 1621463 HAS SOUS 227764 HAS SOUPS 227764 WITH SCORE 229385.463
AT ITER 4040 NEW BEST:: SOT 4086581 SOS 1621445 HAS SOPS 1621445 HAS SOUS 227746 HAS SOUPS 227746 WITH SCORE 229367.445
AT ITER 4045 NEW BEST:: SOT 4086516 SOS 1621315 HAS SOPS 1621315 HAS SOUS 227681 HAS SOUPS 227681 WITH SCORE 229302.315
AT ITER 4050 NEW BEST:: SOT 4086433 SOS 1621149 HAS SOPS 1621149 HAS SOUS 227515 HAS SOUPS 227515 WITH SCORE 229136.149
AT ITER 4076 NEW BEST:: SOT 4086428 SOS 1621162 HAS SOPS 1621162 HAS SOUS 227510 HAS SOUPS 227510 WITH SCORE 229131.162
AT ITER 4079 NEW BEST:: SOT 4086381 SOS 1621068 HAS SOPS 1621068 HAS SOUS 227416 HAS SOUPS 227416 WITH SCORE 229037.068
AT ITER 4114 NEW BEST:: SOT 4086358 SOS 1621022 HAS SOPS 1621022 HAS SOUS 227370 HAS SOUPS 227370 WITH SCORE 228991.022
AT ITER 4124 NEW BEST:: SOT 4086495 SOS 1620969 HAS SOPS 1620969 HAS SOUS 227358 HAS SOUPS 227358 WITH SCORE 228978.969
AT ITER 4137 NEW BEST:: SOT 4086386 SOS 1620751 HAS SOPS 1620751 HAS SOUS 227140 HAS SOUPS 227140 WITH SCORE 228760.751
AT ITER 4168 NEW BEST:: SOT 4086272 SOS 1620523 HAS SOPS 1620523 HAS SOUS 226912 HAS SOUPS 226912 WITH SCORE 228532.523
AT ITER 4177 NEW BEST:: SOT 4086266 SOS 1620511 HAS SOPS 1620511 HAS SOUS 226900 HAS SOUPS 226900 WITH SCORE 228520.511
AT ITER 4180 NEW BEST:: SOT 4086296 SOS 1620869 HAS SOPS 1620869 HAS SOUS 226892 HAS SOUPS 226892 WITH SCORE 228512.869
AT ITER 4195 NEW BEST:: SOT 4086170 SOS 1620743 HAS SOPS 1620743 HAS SOUS 225758 HAS SOUPS 225758 WITH SCORE 227378.743
AT ITER 4202 NEW BEST:: SOT 4086160 SOS 1620723 HAS SOPS 1620723 HAS SOUS 225738 HAS SOUPS 225738 WITH SCORE 227358.723
AT ITER 4211 NEW BEST:: SOT 4086159 SOS 1620721 HAS SOPS 1620721 HAS SOUS 225736 HAS SOUPS 225736 WITH SCORE 227356.721
AT ITER 4214 NEW BEST:: SOT 4057889 SOS 1592747 HAS SOPS 1592747 HAS SOUS 197614 HAS SOUPS 197614 WITH SCORE 199206.747
AT ITER 4273 NEW BEST:: SOT 4057844 SOS 1592657 HAS SOPS 1592657 HAS SOUS 197524 HAS SOUPS 197524 WITH SCORE 199116.657
AT ITER 4290 NEW BEST:: SOT 4057815 SOS 1592599 HAS SOPS 1592599 HAS SOUS 197393 HAS SOUPS 197393 WITH SCORE 198985.599
AT ITER 4298 NEW BEST:: SOT 4057167 SOS 1591951 HAS SOPS 1591951 HAS SOUS 196745 HAS SOUPS 196745 WITH SCORE 198336.951
AT ITER 4326 NEW BEST:: SOT 4057193 SOS 1591948 HAS SOPS 1591948 HAS SOUS 196742 HAS SOUPS 196742 WITH SCORE 198333.948
AT ITER 4328 NEW BEST:: SOT 4057186 SOS 1591934 HAS SOPS 1591934 HAS SOUS 196655 HAS SOUPS 196655 WITH SCORE 198246.934
AT ITER 4330 NEW BEST:: SOT 4057186 SOS 1591934 HAS SOPS 1591934 HAS SOUS 196646 HAS SOUPS 196646 WITH SCORE 198237.934
AT ITER 4342 NEW BEST:: SOT 4057172 SOS 1581064 HAS SOPS 1581064 HAS SOUS 196384 HAS SOUPS 196384 WITH SCORE 197965.064
AT ITER 4397 NEW BEST:: SOT 4057163 SOS 1581046 HAS SOPS 1581046 HAS SOUS 196366 HAS SOUPS 196366 WITH SCORE 197947.046
AT ITER 4428 NEW BEST:: SOT 4057059 SOS 1580838 HAS SOPS 1580838 HAS SOUS 196032 HAS SOUPS 196032 WITH SCORE 197612.838
AT ITER 4489 NEW BEST:: SOT 4057022 SOS 1580764 HAS SOPS 1580764 HAS SOUS 195958 HAS SOUPS 195958 WITH SCORE 197538.764
AT ITER 4497 NEW BEST:: SOT 4057009 SOS 1580738 HAS SOPS 1580738 HAS SOUS 195932 HAS SOUPS 195932 WITH SCORE 197512.738
AT ITER 4545 NEW BEST:: SOT 4056956 SOS 1580632 HAS SOPS 1580632 HAS SOUS 195826 HAS SOUPS 195826 WITH SCORE 197406.632
AT ITER 4548 NEW BEST:: SOT 4056955 SOS 1580630 HAS SOPS 1580630 HAS SOUS 195824 HAS SOUPS 195824 WITH SCORE 197404.63
AT ITER 4568 NEW BEST:: SOT 4056803 SOS 1580326 HAS SOPS 1580326 HAS SOUS 195653 HAS SOUPS 195653 WITH SCORE 197233.326
AT ITER 4577 NEW BEST:: SOT 4056747 SOS 1580214 HAS SOPS 1580214 HAS SOUS 195541 HAS SOUPS 195541 WITH SCORE 197121.214
AT ITER 4578 NEW BEST:: SOT 4056715 SOS 1580182 HAS SOPS 1580182 HAS SOUS 195453 HAS SOUPS 195453 WITH SCORE 197033.182
AT ITER 4596 NEW BEST:: SOT 4056715 SOS 1580182 HAS SOPS 1580182 HAS SOUS 195444 HAS SOUPS 195444 WITH SCORE 197024.182
AT ITER 4653 NEW BEST:: SOT 4056715 SOS 1580182 HAS SOPS 1580182 HAS SOUS 195432 HAS SOUPS 195432 WITH SCORE 197012.182
AT ITER 4673 NEW BEST:: SOT 4056728 SOS 1580208 HAS SOPS 1580208 HAS SOUS 195425 HAS SOUPS 195425 WITH SCORE 197005.208
AT ITER 4694 NEW BEST:: SOT 4056710 SOS 1580172 HAS SOPS 1580172 HAS SOUS 195389 HAS SOUPS 195389 WITH SCORE 196969.172
AT ITER 4700 NEW BEST:: SOT 4056709 SOS 1580170 HAS SOPS 1580170 HAS SOUS 195387 HAS SOUPS 195387 WITH SCORE 196967.17
AT ITER 4716 NEW BEST:: SOT 4056979 SOS 1575382 HAS SOPS 1575382 HAS SOUS 194924 HAS SOUPS 194924 WITH SCORE 196499.382
AT ITER 4721 NEW BEST:: SOT 4056860 SOS 1287485 HAS SOPS 1287485 HAS SOUS 194598 HAS SOUPS 194598 WITH SCORE 195885.485
AT ITER 4732 NEW BEST:: SOT 4056327 SOS 1289667 HAS SOPS 1289667 HAS SOUS 194537 HAS SOUPS 194537 WITH SCORE 195826.667
AT ITER 4789 NEW BEST:: SOT 4053351 SOS 1286691 HAS SOPS 1286691 HAS SOUS 191561 HAS SOUPS 191561 WITH SCORE 192847.691
AT ITER 4792 NEW BEST:: SOT 4053325 SOS 1286639 HAS SOPS 1286639 HAS SOUS 191509 HAS SOUPS 191509 WITH SCORE 192795.639
AT ITER 4814 NEW BEST:: SOT 4053293 SOS 1286575 HAS SOPS 1286575 HAS SOUS 191479 HAS SOUPS 191479 WITH SCORE 192765.575
AT ITER 4830 NEW BEST:: SOT 4053293 SOS 1211617 HAS SOPS 1211617 HAS SOUS 191103 HAS SOUPS 191103 WITH SCORE 192314.617
AT ITER 4837 NEW BEST:: SOT 4053284 SOS 1211606 HAS SOPS 1211606 HAS SOUS 191092 HAS SOUPS 191092 WITH SCORE 192303.606
AT ITER 4845 NEW BEST:: SOT 4053285 SOS 1211608 HAS SOPS 1211608 HAS SOUS 191042 HAS SOUPS 191042 WITH SCORE 192253.608
AT ITER 4853 NEW BEST:: SOT 4053284 SOS 1211606 HAS SOPS 1211606 HAS SOUS 191040 HAS SOUPS 191040 WITH SCORE 192251.606
AT ITER 4870 NEW BEST:: SOT 4053284 SOS 1210857 HAS SOPS 1210857 HAS SOUS 190963 HAS SOUPS 190963 WITH SCORE 192173.857
AT ITER 4871 NEW BEST:: SOT 4053047 SOS 1210383 HAS SOPS 1210383 HAS SOUS 190489 HAS SOUPS 190489 WITH SCORE 191699.383
AT ITER 4907 NEW BEST:: SOT 4053047 SOS 1210383 HAS SOPS 1210383 HAS SOUS 190480 HAS SOUPS 190480 WITH SCORE 191690.383
AT ITER 4938 NEW BEST:: SOT 4053042 SOS 1207948 HAS SOPS 1207948 HAS SOUS 190470 HAS SOUPS 190470 WITH SCORE 191677.948
AT ITER 4940 NEW BEST:: SOT 4053027 SOS 1207743 HAS SOPS 1207743 HAS SOUS 190296 HAS SOUPS 190296 WITH SCORE 191503.743
AT ITER 4950 NEW BEST:: SOT 4053042 SOS 1207922 HAS SOPS 1207922 HAS SOUS 190293 HAS SOUPS 190293 WITH SCORE 191500.922
AT ITER 4958 NEW BEST:: SOT 4053035 SOS 1207908 HAS SOPS 1207908 HAS SOUS 190293 HAS SOUPS 190293 WITH SCORE 191500.908
AT ITER 4988 NEW BEST:: SOT 4053002 SOS 1207842 HAS SOPS 1207842 HAS SOUS 190227 HAS SOUPS 190227 WITH SCORE 191434.842
AT ITER 5007 NEW BEST:: SOT 4052998 SOS 1207834 HAS SOPS 1207834 HAS SOUS 190219 HAS SOUPS 190219 WITH SCORE 191426.834
AT ITER 5030 NEW BEST:: SOT 4052327 SOS 1207163 HAS SOPS 1207163 HAS SOUS 189548 HAS SOUPS 189548 WITH SCORE 190755.163
AT ITER 5059 NEW BEST:: SOT 4052318 SOS 1207145 HAS SOPS 1207145 HAS SOUS 189530 HAS SOUPS 189530 WITH SCORE 190737.145
AT ITER 5066 NEW BEST:: SOT 4052236 SOS 1206981 HAS SOPS 1206981 HAS SOUS 189366 HAS SOUPS 189366 WITH SCORE 190572.981
AT ITER 5087 NEW BEST:: SOT 4052136 SOS 1206781 HAS SOPS 1206781 HAS SOUS 189248 HAS SOUPS 189248 WITH SCORE 190454.781
AT ITER 5090 NEW BEST:: SOT 4052136 SOS 1206781 HAS SOPS 1206781 HAS SOUS 189234 HAS SOUPS 189234 WITH SCORE 190440.781
AT ITER 5093 NEW BEST:: SOT 4052032 SOS 1206573 HAS SOPS 1206573 HAS SOUS 189127 HAS SOUPS 189127 WITH SCORE 190333.573
AT ITER 5097 NEW BEST:: SOT 4052031 SOS 1206571 HAS SOPS 1206571 HAS SOUS 189125 HAS SOUPS 189125 WITH SCORE 190331.571
AT ITER 5129 NEW BEST:: SOT 4051925 SOS 1206359 HAS SOPS 1206359 HAS SOUS 189021 HAS SOUPS 189021 WITH SCORE 190227.359
AT ITER 5184 NEW BEST:: SOT 4051904 SOS 1206317 HAS SOPS 1206317 HAS SOUS 188979 HAS SOUPS 188979 WITH SCORE 190185.317
AT ITER 5197 NEW BEST:: SOT 4051904 SOS 1206317 HAS SOPS 1206317 HAS SOUS 188972 HAS SOUPS 188972 WITH SCORE 190178.317
AT ITER 5209 NEW BEST:: SOT 4045090 SOS 1586278 HAS SOPS 1586278 HAS SOUS 184529 HAS SOUPS 184529 WITH SCORE 186115.278
AT ITER 5223 NEW BEST:: SOT 4045117 SOS 1584415 HAS SOPS 1584415 HAS SOUS 183962 HAS SOUPS 183962 WITH SCORE 185546.415
AT ITER 5229 NEW BEST:: SOT 4045113 SOS 1584407 HAS SOPS 1584407 HAS SOUS 183958 HAS SOUPS 183958 WITH SCORE 185542.407
AT ITER 5249 NEW BEST:: SOT 4045085 SOS 1584379 HAS SOPS 1584379 HAS SOUS 183930 HAS SOUPS 183930 WITH SCORE 185514.379
AT ITER 5259 NEW BEST:: SOT 4045112 SOS 1584320 HAS SOPS 1584320 HAS SOUS 183758 HAS SOUPS 183758 WITH SCORE 185342.32
AT ITER 5317 NEW BEST:: SOT 4045041 SOS 1584178 HAS SOPS 1584178 HAS SOUS 183616 HAS SOUPS 183616 WITH SCORE 185200.178
AT ITER 5331 NEW BEST:: SOT 4045041 SOS 1584178 HAS SOPS 1584178 HAS SOUS 183611 HAS SOUPS 183611 WITH SCORE 185195.178
AT ITER 5342 NEW BEST:: SOT 4044885 SOS 1583866 HAS SOPS 1583866 HAS SOUS 183299 HAS SOUPS 183299 WITH SCORE 184882.866
AT ITER 5359 NEW BEST:: SOT 4044885 SOS 1583857 HAS SOPS 1583857 HAS SOUS 183299 HAS SOUPS 183299 WITH SCORE 184882.857
AT ITER 5395 NEW BEST:: SOT 4044882 SOS 1583851 HAS SOPS 1583851 HAS SOUS 183296 HAS SOUPS 183296 WITH SCORE 184879.851
AT ITER 5433 NEW BEST:: SOT 4044882 SOS 1583843 HAS SOPS 1583843 HAS SOUS 183296 HAS SOUPS 183296 WITH SCORE 184879.843
AT ITER 5439 NEW BEST:: SOT 4044885 SOS 1583717 HAS SOPS 1583717 HAS SOUS 183124 HAS SOUPS 183124 WITH SCORE 184707.717
AT ITER 5470 NEW BEST:: SOT 4043760 SOS 1583979 HAS SOPS 1583979 HAS SOUS 182800 HAS SOUPS 182800 WITH SCORE 184383.979
AT ITER 5474 NEW BEST:: SOT 4043784 SOS 1583547 HAS SOPS 1583547 HAS SOUS 182722 HAS SOUPS 182722 WITH SCORE 184305.547
AT ITER 5500 NEW BEST:: SOT 4043781 SOS 1583546 HAS SOPS 1583546 HAS SOUS 182721 HAS SOUPS 182721 WITH SCORE 184304.546
AT ITER 5517 NEW BEST:: SOT 4043771 SOS 1583526 HAS SOPS 1583526 HAS SOUS 182711 HAS SOUPS 182711 WITH SCORE 184294.526
AT ITER 5560 NEW BEST:: SOT 4043735 SOS 1583454 HAS SOPS 1583454 HAS SOUS 182639 HAS SOUPS 182639 WITH SCORE 184222.454
AT ITER 5578 NEW BEST:: SOT 4043622 SOS 1582616 HAS SOPS 1582616 HAS SOUS 182526 HAS SOUPS 182526 WITH SCORE 184108.616
AT ITER 5605 NEW BEST:: SOT 4043612 SOS 1582578 HAS SOPS 1582578 HAS SOUS 182506 HAS SOUPS 182506 WITH SCORE 184088.578
AT ITER 5616 NEW BEST:: SOT 4043600 SOS 1582554 HAS SOPS 1582554 HAS SOUS 182482 HAS SOUPS 182482 WITH SCORE 184064.554
AT ITER 5619 NEW BEST:: SOT 4043556 SOS 1582466 HAS SOPS 1582466 HAS SOUS 182438 HAS SOUPS 182438 WITH SCORE 184020.466
AT ITER 5626 NEW BEST:: SOT 4043530 SOS 1582414 HAS SOPS 1582414 HAS SOUS 182412 HAS SOUPS 182412 WITH SCORE 183994.414
AT ITER 5629 NEW BEST:: SOT 4043307 SOS 1582109 HAS SOPS 1582109 HAS SOUS 182107 HAS SOUPS 182107 WITH SCORE 183689.109
AT ITER 5694 NEW BEST:: SOT 4043306 SOS 1582107 HAS SOPS 1582107 HAS SOUS 182106 HAS SOUPS 182106 WITH SCORE 183688.107
AT ITER 5706 NEW BEST:: SOT 4043236 SOS 1581967 HAS SOPS 1581967 HAS SOUS 181966 HAS SOUPS 181966 WITH SCORE 183547.967
AT ITER 5730 NEW BEST:: SOT 4042691 SOS 1439505 HAS SOPS 1439505 HAS SOUS 180366 HAS SOUPS 180366 WITH SCORE 181805.505
AT ITER 5744 NEW BEST:: SOT 4042654 SOS 1276359 HAS SOPS 1276359 HAS SOUS 180292 HAS SOUPS 180292 WITH SCORE 181568.359
AT ITER 5772 NEW BEST:: SOT 4042613 SOS 1276236 HAS SOPS 1276236 HAS SOUS 180210 HAS SOUPS 180210 WITH SCORE 181486.236
AT ITER 5790 NEW BEST:: SOT 4042611 SOS 1276232 HAS SOPS 1276232 HAS SOUS 180200 HAS SOUPS 180200 WITH SCORE 181476.232
AT ITER 5812 NEW BEST:: SOT 4042611 SOS 1276232 HAS SOPS 1276232 HAS SOUS 179956 HAS SOUPS 179956 WITH SCORE 181232.232
AT ITER 5813 NEW BEST:: SOT 4042606 SOS 1276222 HAS SOPS 1276222 HAS SOUS 179946 HAS SOUPS 179946 WITH SCORE 181222.222
AT ITER 5827 NEW BEST:: SOT 4042564 SOS 1276138 HAS SOPS 1276138 HAS SOUS 179862 HAS SOUPS 179862 WITH SCORE 181138.138
AT ITER 5830 NEW BEST:: SOT 4042564 SOS 1276102 HAS SOPS 1276102 HAS SOUS 179862 HAS SOUPS 179862 WITH SCORE 181138.102
AT ITER 5842 NEW BEST:: SOT 4042568 SOS 1276084 HAS SOPS 1276084 HAS SOUS 179844 HAS SOUPS 179844 WITH SCORE 181120.084
AT ITER 5849 NEW BEST:: SOT 4042520 SOS 1275988 HAS SOPS 1275988 HAS SOUS 179748 HAS SOUPS 179748 WITH SCORE 181023.988
AT ITER 5851 NEW BEST:: SOT 4042322 SOS 1275592 HAS SOPS 1275592 HAS SOUS 179352 HAS SOUPS 179352 WITH SCORE 180627.592
AT ITER 5855 NEW BEST:: SOT 4042292 SOS 1275532 HAS SOPS 1275532 HAS SOUS 179322 HAS SOUPS 179322 WITH SCORE 180597.532
AT ITER 5879 NEW BEST:: SOT 4042323 SOS 1275594 HAS SOPS 1275594 HAS SOUS 179179 HAS SOUPS 179179 WITH SCORE 180454.594
AT ITER 5889 NEW BEST:: SOT 4042299 SOS 1275546 HAS SOPS 1275546 HAS SOUS 179122 HAS SOUPS 179122 WITH SCORE 180397.546
AT ITER 5900 NEW BEST:: SOT 4042110 SOS 1275168 HAS SOPS 1275168 HAS SOUS 178744 HAS SOUPS 178744 WITH SCORE 180019.168
AT ITER 5906 NEW BEST:: SOT 4042109 SOS 1275137 HAS SOPS 1275137 HAS SOUS 178742 HAS SOUPS 178742 WITH SCORE 180017.137
AT ITER 5925 NEW BEST:: SOT 4042108 SOS 1275135 HAS SOPS 1275135 HAS SOUS 178740 HAS SOUPS 178740 WITH SCORE 180015.135
AT ITER 5962 NEW BEST:: SOT 4042014 SOS 1274947 HAS SOPS 1274947 HAS SOUS 178646 HAS SOUPS 178646 WITH SCORE 179920.947
AT ITER 6015 NEW BEST:: SOT 4042014 SOS 1274918 HAS SOPS 1274918 HAS SOUS 178646 HAS SOUPS 178646 WITH SCORE 179920.918
AT ITER 6030 NEW BEST:: SOT 4042014 SOS 1274886 HAS SOPS 1274886 HAS SOUS 178614 HAS SOUPS 178614 WITH SCORE 179888.886
AT ITER 6081 NEW BEST:: SOT 4041958 SOS 1274774 HAS SOPS 1274774 HAS SOUS 178558 HAS SOUPS 178558 WITH SCORE 179832.774
AT ITER 6118 NEW BEST:: SOT 4041957 SOS 1274772 HAS SOPS 1274772 HAS SOUS 178556 HAS SOUPS 178556 WITH SCORE 179830.772
AT ITER 6126 NEW BEST:: SOT 4042010 SOS 1274878 HAS SOPS 1274878 HAS SOUS 178522 HAS SOUPS 178522 WITH SCORE 179796.878
AT ITER 6132 NEW BEST:: SOT 4041935 SOS 1274728 HAS SOPS 1274728 HAS SOUS 178372 HAS SOUPS 178372 WITH SCORE 179646.728
AT ITER 6194 NEW BEST:: SOT 4041935 SOS 1274728 HAS SOPS 1274728 HAS SOUS 178371 HAS SOUPS 178371 WITH SCORE 179645.728
AT ITER 6233 NEW BEST:: SOT 4041867 SOS 1274660 HAS SOPS 1274660 HAS SOUS 178303 HAS SOUPS 178303 WITH SCORE 179577.66
AT ITER 6246 NEW BEST:: SOT 4041819 SOS 1274564 HAS SOPS 1274564 HAS SOUS 178255 HAS SOUPS 178255 WITH SCORE 179529.564
AT ITER 6259 NEW BEST:: SOT 4041685 SOS 1049724 HAS SOPS 1049724 HAS SOUS 177058 HAS SOUPS 177058 WITH SCORE 178107.724
AT ITER 6260 NEW BEST:: SOT 4041693 SOS 1049740 HAS SOPS 1049740 HAS SOUS 177049 HAS SOUPS 177049 WITH SCORE 178098.74
AT ITER 6287 NEW BEST:: SOT 4041684 SOS 1049722 HAS SOPS 1049722 HAS SOUS 177031 HAS SOUPS 177031 WITH SCORE 178080.722
AT ITER 6307 NEW BEST:: SOT 4041556 SOS 1009074 HAS SOPS 1009074 HAS SOUS 176603 HAS SOUPS 176603 WITH SCORE 177612.074
AT ITER 6330 NEW BEST:: SOT 4041556 SOS 1008896 HAS SOPS 1008896 HAS SOUS 176603 HAS SOUPS 176603 WITH SCORE 177611.896
AT ITER 6337 NEW BEST:: SOT 4041518 SOS 1008820 HAS SOPS 1008820 HAS SOUS 176527 HAS SOUPS 176527 WITH SCORE 177535.82
AT ITER 6341 NEW BEST:: SOT 4041518 SOS 1008726 HAS SOPS 1008726 HAS SOUS 176527 HAS SOUPS 176527 WITH SCORE 177535.726
AT ITER 6362 NEW BEST:: SOT 4041517 SOS 1008724 HAS SOPS 1008724 HAS SOUS 176525 HAS SOUPS 176525 WITH SCORE 177533.724
AT ITER 6379 NEW BEST:: SOT 4041535 SOS 1002028 HAS SOPS 1002028 HAS SOUS 176479 HAS SOUPS 176479 WITH SCORE 177481.028
AT ITER 6398 NEW BEST:: SOT 4041491 SOS 1001940 HAS SOPS 1001940 HAS SOUS 176391 HAS SOUPS 176391 WITH SCORE 177392.94
AT ITER 6426 NEW BEST:: SOT 4041432 SOS 1001822 HAS SOPS 1001822 HAS SOUS 176332 HAS SOUPS 176332 WITH SCORE 177333.822
AT ITER 6434 NEW BEST:: SOT 4041360 SOS 1001678 HAS SOPS 1001678 HAS SOUS 176188 HAS SOUPS 176188 WITH SCORE 177189.678
AT ITER 6435 NEW BEST:: SOT 4041345 SOS 1001648 HAS SOPS 1001648 HAS SOUS 176158 HAS SOUPS 176158 WITH SCORE 177159.648
AT ITER 6450 NEW BEST:: SOT 4041325 SOS 1001608 HAS SOPS 1001608 HAS SOUS 176118 HAS SOUPS 176118 WITH SCORE 177119.608
AT ITER 6456 NEW BEST:: SOT 4041318 SOS 1001594 HAS SOPS 1001594 HAS SOUS 176081 HAS SOUPS 176081 WITH SCORE 177082.594
AT ITER 6460 NEW BEST:: SOT 4041318 SOS 1001594 HAS SOPS 1001594 HAS SOUS 176079 HAS SOUPS 176079 WITH SCORE 177080.594
AT ITER 6509 NEW BEST:: SOT 4041250 SOS 1001458 HAS SOPS 1001458 HAS SOUS 175943 HAS SOUPS 175943 WITH SCORE 176944.458
AT ITER 6536 NEW BEST:: SOT 4041214 SOS 1001386 HAS SOPS 1001386 HAS SOUS 175904 HAS SOUPS 175904 WITH SCORE 176905.386
AT ITER 6559 NEW BEST:: SOT 4041154 SOS 1001266 HAS SOPS 1001266 HAS SOUS 175784 HAS SOUPS 175784 WITH SCORE 176785.266
AT ITER 6561 NEW BEST:: SOT 4041033 SOS 1001024 HAS SOPS 1001024 HAS SOUS 175663 HAS SOUPS 175663 WITH SCORE 176664.024
AT ITER 6569 NEW BEST:: SOT 4040988 SOS 1000934 HAS SOPS 1000934 HAS SOUS 175573 HAS SOUPS 175573 WITH SCORE 176573.934
AT ITER 6572 NEW BEST:: SOT 4040871 SOS 1000700 HAS SOPS 1000700 HAS SOUS 175339 HAS SOUPS 175339 WITH SCORE 176339.7
AT ITER 6611 NEW BEST:: SOT 4040859 SOS 1000676 HAS SOPS 1000676 HAS SOUS 175315 HAS SOUPS 175315 WITH SCORE 176315.676
AT ITER 6656 NEW BEST:: SOT 4040763 SOS 1000484 HAS SOPS 1000484 HAS SOUS 175315 HAS SOUPS 175315 WITH SCORE 176315.484
AT ITER 6670 NEW BEST:: SOT 4040687 SOS 1000332 HAS SOPS 1000332 HAS SOUS 175261 HAS SOUPS 175261 WITH SCORE 176261.332
AT ITER 6671 NEW BEST:: SOT 4040625 SOS 1041924 HAS SOPS 1041924 HAS SOUS 175205 HAS SOUPS 175205 WITH SCORE 176246.924
AT ITER 6672 NEW BEST:: SOT 4040612 SOS 1041898 HAS SOPS 1041898 HAS SOUS 175192 HAS SOUPS 175192 WITH SCORE 176233.898
AT ITER 6676 NEW BEST:: SOT 4040594 SOS 1041862 HAS SOPS 1041862 HAS SOUS 175156 HAS SOUPS 175156 WITH SCORE 176197.862
AT ITER 6690 NEW BEST:: SOT 4040594 SOS 1037193 HAS SOPS 1037193 HAS SOUS 174959 HAS SOUPS 174959 WITH SCORE 175996.193
AT ITER 6747 NEW BEST:: SOT 4040570 SOS 1037145 HAS SOPS 1037145 HAS SOUS 174911 HAS SOUPS 174911 WITH SCORE 175948.145
AT ITER 6766 NEW BEST:: SOT 4040556 SOS 1037117 HAS SOPS 1037117 HAS SOUS 174897 HAS SOUPS 174897 WITH SCORE 175934.117
AT ITER 6769 NEW BEST:: SOT 4040521 SOS 1037047 HAS SOPS 1037047 HAS SOUS 174826 HAS SOUPS 174826 WITH SCORE 175863.047
AT ITER 6773 NEW BEST:: SOT 4040521 SOS 1037026 HAS SOPS 1037026 HAS SOUS 174826 HAS SOUPS 174826 WITH SCORE 175863.026
AT ITER 6778 NEW BEST:: SOT 4040512 SOS 1037008 HAS SOPS 1037008 HAS SOUS 174808 HAS SOUPS 174808 WITH SCORE 175845.008
AT ITER 6805 NEW BEST:: SOT 4040507 SOS 1036998 HAS SOPS 1036998 HAS SOUS 174798 HAS SOUPS 174798 WITH SCORE 175834.998
AT ITER 6856 NEW BEST:: SOT 4040507 SOS 1027391 HAS SOPS 1027391 HAS SOUS 174512 HAS SOUPS 174512 WITH SCORE 175539.391
AT ITER 6897 NEW BEST:: SOT 4040506 SOS 1027389 HAS SOPS 1027389 HAS SOUS 174510 HAS SOUPS 174510 WITH SCORE 175537.389
AT ITER 6914 NEW BEST:: SOT 4040413 SOS 1026987 HAS SOPS 1026987 HAS SOUS 174469 HAS SOUPS 174469 WITH SCORE 175495.987
AT ITER 6924 NEW BEST:: SOT 4040399 SOS 1026959 HAS SOPS 1026959 HAS SOUS 174441 HAS SOUPS 174441 WITH SCORE 175467.959
AT ITER 6926 NEW BEST:: SOT 4040373 SOS 1026907 HAS SOPS 1026907 HAS SOUS 174389 HAS SOUPS 174389 WITH SCORE 175415.907
AT ITER 6935 NEW BEST:: SOT 4040373 SOS 1026907 HAS SOPS 1026907 HAS SOUS 174377 HAS SOUPS 174377 WITH SCORE 175403.907
AT ITER 6940 NEW BEST:: SOT 4040346 SOS 1026853 HAS SOPS 1026853 HAS SOUS 174323 HAS SOUPS 174323 WITH SCORE 175349.853
AT ITER 6945 NEW BEST:: SOT 4040344 SOS 1026849 HAS SOPS 1026849 HAS SOUS 174319 HAS SOUPS 174319 WITH SCORE 175345.849
AT ITER 6953 NEW BEST:: SOT 4040344 SOS 1026738 HAS SOPS 1026738 HAS SOUS 174208 HAS SOUPS 174208 WITH SCORE 175234.738
AT ITER 6991 NEW BEST:: SOT 4040250 SOS 1026600 HAS SOPS 1026600 HAS SOUS 173924 HAS SOUPS 173924 WITH SCORE 174950.6
AT ITER 7018 NEW BEST:: SOT 4040217 SOS 1026558 HAS SOPS 1026558 HAS SOUS 173882 HAS SOUPS 173882 WITH SCORE 174908.558
AT ITER 7032 NEW BEST:: SOT 4040120 SOS 1026364 HAS SOPS 1026364 HAS SOUS 173785 HAS SOUPS 173785 WITH SCORE 174811.364
AT ITER 7037 NEW BEST:: SOT 4040068 SOS 1026292 HAS SOPS 1026292 HAS SOUS 173713 HAS SOUPS 173713 WITH SCORE 174739.292
AT ITER 7068 NEW BEST:: SOT 4040092 SOS 1026340 HAS SOPS 1026340 HAS SOUS 173656 HAS SOUPS 173656 WITH SCORE 174682.34
AT ITER 7080 NEW BEST:: SOT 4040091 SOS 1026338 HAS SOPS 1026338 HAS SOUS 173654 HAS SOUPS 173654 WITH SCORE 174680.338
AT ITER 7163 NEW BEST:: SOT 4040143 SOS 1026442 HAS SOPS 1026442 HAS SOUS 173598 HAS SOUPS 173598 WITH SCORE 174624.442
AT ITER 7171 NEW BEST:: SOT 4040175 SOS 1026506 HAS SOPS 1026506 HAS SOUS 173579 HAS SOUPS 173579 WITH SCORE 174605.506
AT ITER 7218 NEW BEST:: SOT 4040163 SOS 1026494 HAS SOPS 1026494 HAS SOUS 173567 HAS SOUPS 173567 WITH SCORE 174593.494
AT ITER 7244 NEW BEST:: SOT 4040139 SOS 1026446 HAS SOPS 1026446 HAS SOUS 173543 HAS SOUPS 173543 WITH SCORE 174569.446
AT ITER 7284 NEW BEST:: SOT 4040026 SOS 1026220 HAS SOPS 1026220 HAS SOUS 173317 HAS SOUPS 173317 WITH SCORE 174343.22
AT ITER 7351 NEW BEST:: SOT 4039997 SOS 1026133 HAS SOPS 1026133 HAS SOUS 173288 HAS SOUPS 173288 WITH SCORE 174314.133
AT ITER 7362 NEW BEST:: SOT 4039997 SOS 1025079 HAS SOPS 1025079 HAS SOUS 173274 HAS SOUPS 173274 WITH SCORE 174299.079
AT ITER 7363 NEW BEST:: SOT 4039989 SOS 1025063 HAS SOPS 1025063 HAS SOUS 173258 HAS SOUPS 173258 WITH SCORE 174283.063
AT ITER 7395 NEW BEST:: SOT 4039975 SOS 1024909 HAS SOPS 1024909 HAS SOUS 173237 HAS SOUPS 173237 WITH SCORE 174261.909
AT ITER 7415 NEW BEST:: SOT 4039985 SOS 1024897 HAS SOPS 1024897 HAS SOUS 173225 HAS SOUPS 173225 WITH SCORE 174249.897
AT ITER 7423 NEW BEST:: SOT 4039647 SOS 1025693 HAS SOPS 1025693 HAS SOUS 173014 HAS SOUPS 173014 WITH SCORE 174039.693
AT ITER 7437 NEW BEST:: SOT 4039631 SOS 1025661 HAS SOPS 1025661 HAS SOUS 172998 HAS SOUPS 172998 WITH SCORE 174023.661
AT ITER 7439 NEW BEST:: SOT 4039619 SOS 1025637 HAS SOPS 1025637 HAS SOUS 172974 HAS SOUPS 172974 WITH SCORE 173999.637
AT ITER 7447 NEW BEST:: SOT 4039549 SOS 1025497 HAS SOPS 1025497 HAS SOUS 172834 HAS SOUPS 172834 WITH SCORE 173859.497
AT ITER 7454 NEW BEST:: SOT 4039518 SOS 1025435 HAS SOPS 1025435 HAS SOUS 172741 HAS SOUPS 172741 WITH SCORE 173766.435
AT ITER 7463 NEW BEST:: SOT 4039494 SOS 1025387 HAS SOPS 1025387 HAS SOUS 172693 HAS SOUPS 172693 WITH SCORE 173718.387
AT ITER 7483 NEW BEST:: SOT 4039430 SOS 1025259 HAS SOPS 1025259 HAS SOUS 172565 HAS SOUPS 172565 WITH SCORE 173590.259
AT ITER 7499 NEW BEST:: SOT 4039428 SOS 1025255 HAS SOPS 1025255 HAS SOUS 172561 HAS SOUPS 172561 WITH SCORE 173586.255
AT ITER 7549 NEW BEST:: SOT 4039366 SOS 1025131 HAS SOPS 1025131 HAS SOUS 172437 HAS SOUPS 172437 WITH SCORE 173462.131
AT ITER 7552 NEW BEST:: SOT 4039366 SOS 1025072 HAS SOPS 1025072 HAS SOUS 172378 HAS SOUPS 172378 WITH SCORE 173403.072
AT ITER 7554 NEW BEST:: SOT 4039366 SOS 1025018 HAS SOPS 1025018 HAS SOUS 172351 HAS SOUPS 172351 WITH SCORE 173376.018
AT ITER 7580 NEW BEST:: SOT 4039322 SOS 1024930 HAS SOPS 1024930 HAS SOUS 172263 HAS SOUPS 172263 WITH SCORE 173287.93
AT ITER 7581 NEW BEST:: SOT 4039313 SOS 1024912 HAS SOPS 1024912 HAS SOUS 172254 HAS SOUPS 172254 WITH SCORE 173278.912
AT ITER 7614 NEW BEST:: SOT 4039291 SOS 1024868 HAS SOPS 1024868 HAS SOUS 172210 HAS SOUPS 172210 WITH SCORE 173234.868
AT ITER 7622 NEW BEST:: SOT 4039131 SOS 1024548 HAS SOPS 1024548 HAS SOUS 171868 HAS SOUPS 171868 WITH SCORE 172892.548
AT ITER 7637 NEW BEST:: SOT 4039129 SOS 1024544 HAS SOPS 1024544 HAS SOUS 171864 HAS SOUPS 171864 WITH SCORE 172888.544
AT ITER 7646 NEW BEST:: SOT 4039110 SOS 1024415 HAS SOPS 1024415 HAS SOUS 171735 HAS SOUPS 171735 WITH SCORE 172759.415
AT ITER 7647 NEW BEST:: SOT 4039110 SOS 970661 HAS SOPS 970661 HAS SOUS 171588 HAS SOUPS 171588 WITH SCORE 172558.661
AT ITER 7656 NEW BEST:: SOT 4039044 SOS 970595 HAS SOPS 970595 HAS SOUS 170178 HAS SOUPS 170178 WITH SCORE 171148.595
AT ITER 7663 NEW BEST:: SOT 4039045 SOS 958949 HAS SOPS 958949 HAS SOUS 170180 HAS SOUPS 170180 WITH SCORE 171138.949
AT ITER 7681 NEW BEST:: SOT 4038953 SOS 958581 HAS SOPS 958581 HAS SOUS 169996 HAS SOUPS 169996 WITH SCORE 170954.581
AT ITER 7696 NEW BEST:: SOT 4038953 SOS 958546 HAS SOPS 958546 HAS SOUS 169996 HAS SOUPS 169996 WITH SCORE 170954.546
AT ITER 7722 NEW BEST:: SOT 4038935 SOS 958510 HAS SOPS 958510 HAS SOUS 169960 HAS SOUPS 169960 WITH SCORE 170918.51
AT ITER 7774 NEW BEST:: SOT 4038908 SOS 958504 HAS SOPS 958504 HAS SOUS 169954 HAS SOUPS 169954 WITH SCORE 170912.504
AT ITER 7777 NEW BEST:: SOT 4038907 SOS 958503 HAS SOPS 958503 HAS SOUS 169953 HAS SOUPS 169953 WITH SCORE 170911.503
AT ITER 7780 NEW BEST:: SOT 4038852 SOS 958591 HAS SOPS 958591 HAS SOUS 169948 HAS SOUPS 169948 WITH SCORE 170906.591
AT ITER 7785 NEW BEST:: SOT 4038852 SOS 958585 HAS SOPS 958585 HAS SOUS 169942 HAS SOUPS 169942 WITH SCORE 170900.585
AT ITER 7824 NEW BEST:: SOT 4038847 SOS 958575 HAS SOPS 958575 HAS SOUS 169932 HAS SOUPS 169932 WITH SCORE 170890.575
AT ITER 7840 NEW BEST:: SOT 4038813 SOS 958507 HAS SOPS 958507 HAS SOUS 169898 HAS SOUPS 169898 WITH SCORE 170856.507
AT ITER 7843 NEW BEST:: SOT 4038795 SOS 958471 HAS SOPS 958471 HAS SOUS 169862 HAS SOUPS 169862 WITH SCORE 170820.471
AT ITER 7871 NEW BEST:: SOT 4038614 SOS 957911 HAS SOPS 957911 HAS SOUS 169795 HAS SOUPS 169795 WITH SCORE 170752.911
AT ITER 7881 NEW BEST:: SOT 4038614 SOS 957911 HAS SOPS 957911 HAS SOUS 169750 HAS SOUPS 169750 WITH SCORE 170707.911
AT ITER 7886 NEW BEST:: SOT 4038586 SOS 957855 HAS SOPS 957855 HAS SOUS 169694 HAS SOUPS 169694 WITH SCORE 170651.855
AT ITER 7914 NEW BEST:: SOT 4038477 SOS 957637 HAS SOPS 957637 HAS SOUS 169585 HAS SOUPS 169585 WITH SCORE 170542.637
AT ITER 8008 NEW BEST:: SOT 4038448 SOS 957579 HAS SOPS 957579 HAS SOUS 169556 HAS SOUPS 169556 WITH SCORE 170513.579
AT ITER 8013 NEW BEST:: SOT 4038406 SOS 957495 HAS SOPS 957495 HAS SOUS 169472 HAS SOUPS 169472 WITH SCORE 170429.495
AT ITER 8033 NEW BEST:: SOT 4038234 SOS 957151 HAS SOPS 957151 HAS SOUS 169184 HAS SOUPS 169184 WITH SCORE 170141.151
AT ITER 8046 NEW BEST:: SOT 4038233 SOS 957149 HAS SOPS 957149 HAS SOUS 169182 HAS SOUPS 169182 WITH SCORE 170139.149
AT ITER 8055 NEW BEST:: SOT 4038189 SOS 957061 HAS SOPS 957061 HAS SOUS 169094 HAS SOUPS 169094 WITH SCORE 170051.061
AT ITER 8077 NEW BEST:: SOT 4038179 SOS 957041 HAS SOPS 957041 HAS SOUS 169094 HAS SOUPS 169094 WITH SCORE 170051.041
AT ITER 8132 NEW BEST:: SOT 4038137 SOS 956957 HAS SOPS 956957 HAS SOUS 169010 HAS SOUPS 169010 WITH SCORE 169966.957
AT ITER 8241 NEW BEST:: SOT 4038139 SOS 956903 HAS SOPS 956903 HAS SOUS 168954 HAS SOUPS 168954 WITH SCORE 169910.903
AT ITER 8254 NEW BEST:: SOT 4038138 SOS 956901 HAS SOPS 956901 HAS SOUS 168952 HAS SOUPS 168952 WITH SCORE 169908.901
AT ITER 8322 NEW BEST:: SOT 4038137 SOS 956899 HAS SOPS 956899 HAS SOUS 168951 HAS SOUPS 168951 WITH SCORE 169907.899
AT ITER 8324 NEW BEST:: SOT 4038130 SOS 956885 HAS SOPS 956885 HAS SOUS 168937 HAS SOUPS 168937 WITH SCORE 169893.885
AT ITER 8325 NEW BEST:: SOT 4038130 SOS 956878 HAS SOPS 956878 HAS SOUS 168930 HAS SOUPS 168930 WITH SCORE 169886.878
AT ITER 8357 NEW BEST:: SOT 4038113 SOS 956844 HAS SOPS 956844 HAS SOUS 168878 HAS SOUPS 168878 WITH SCORE 169834.844
AT ITER 8362 NEW BEST:: SOT 4038102 SOS 956837 HAS SOPS 956837 HAS SOUS 168871 HAS SOUPS 168871 WITH SCORE 169827.837
AT ITER 8368 NEW BEST:: SOT 4038019 SOS 956671 HAS SOPS 956671 HAS SOUS 168811 HAS SOUPS 168811 WITH SCORE 169767.671
AT ITER 8373 NEW BEST:: SOT 4037988 SOS 956609 HAS SOPS 956609 HAS SOUS 168678 HAS SOUPS 168678 WITH SCORE 169634.609
AT ITER 8388 NEW BEST:: SOT 4037981 SOS 956595 HAS SOPS 956595 HAS SOUS 168664 HAS SOUPS 168664 WITH SCORE 169620.595
AT ITER 8395 NEW BEST:: SOT 4037974 SOS 956581 HAS SOPS 956581 HAS SOUS 168650 HAS SOUPS 168650 WITH SCORE 169606.581
AT ITER 8419 NEW BEST:: SOT 4037967 SOS 956567 HAS SOPS 956567 HAS SOUS 168643 HAS SOUPS 168643 WITH SCORE 169599.567
AT ITER 8429 NEW BEST:: SOT 4037944 SOS 956521 HAS SOPS 956521 HAS SOUS 168620 HAS SOUPS 168620 WITH SCORE 169576.521
AT ITER 8432 NEW BEST:: SOT 4037916 SOS 956530 HAS SOPS 956530 HAS SOUS 168581 HAS SOUPS 168581 WITH SCORE 169537.53
AT ITER 8536 NEW BEST:: SOT 4037903 SOS 956504 HAS SOPS 956504 HAS SOUS 168555 HAS SOUPS 168555 WITH SCORE 169511.504
AT ITER 8563 NEW BEST:: SOT 4037903 SOS 956504 HAS SOPS 956504 HAS SOUS 168443 HAS SOUPS 168443 WITH SCORE 169399.504
AT ITER 8565 NEW BEST:: SOT 4037898 SOS 956472 HAS SOPS 956472 HAS SOUS 168411 HAS SOUPS 168411 WITH SCORE 169367.472
AT ITER 8568 NEW BEST:: SOT 4037815 SOS 956389 HAS SOPS 956389 HAS SOUS 168328 HAS SOUPS 168328 WITH SCORE 169284.389
AT ITER 8618 NEW BEST:: SOT 4037816 SOS 956368 HAS SOPS 956368 HAS SOUS 168284 HAS SOUPS 168284 WITH SCORE 169240.368
AT ITER 8622 NEW BEST:: SOT 4037822 SOS 956380 HAS SOPS 956380 HAS SOUS 168263 HAS SOUPS 168263 WITH SCORE 169219.38
AT ITER 8625 NEW BEST:: SOT 4037808 SOS 956352 HAS SOPS 956352 HAS SOUS 168235 HAS SOUPS 168235 WITH SCORE 169191.352
AT ITER 8626 NEW BEST:: SOT 4037795 SOS 956321 HAS SOPS 956321 HAS SOUS 168204 HAS SOUPS 168204 WITH SCORE 169160.321
AT ITER 8641 NEW BEST:: SOT 4037795 SOS 955073 HAS SOPS 955073 HAS SOUS 168178 HAS SOUPS 168178 WITH SCORE 169133.073
AT ITER 8642 NEW BEST:: SOT 4037909 SOS 955301 HAS SOPS 955301 HAS SOUS 168177 HAS SOUPS 168177 WITH SCORE 169132.301
AT ITER 8707 NEW BEST:: SOT 4037836 SOS 955155 HAS SOPS 955155 HAS SOUS 168104 HAS SOUPS 168104 WITH SCORE 169059.155
AT ITER 8763 NEW BEST:: SOT 4037828 SOS 955131 HAS SOPS 955131 HAS SOUS 168088 HAS SOUPS 168088 WITH SCORE 169043.131
AT ITER 8790 NEW BEST:: SOT 4037817 SOS 955109 HAS SOPS 955109 HAS SOUS 168077 HAS SOUPS 168077 WITH SCORE 169032.109
AT ITER 8824 NEW BEST:: SOT 4037816 SOS 955107 HAS SOPS 955107 HAS SOUS 168075 HAS SOUPS 168075 WITH SCORE 169030.107
AT ITER 8863 NEW BEST:: SOT 4037814 SOS 955103 HAS SOPS 955103 HAS SOUS 168071 HAS SOUPS 168071 WITH SCORE 169026.103
AT ITER 8877 NEW BEST:: SOT 4037776 SOS 955065 HAS SOPS 955065 HAS SOUS 168033 HAS SOUPS 168033 WITH SCORE 168988.065
AT ITER 8878 NEW BEST:: SOT 4037697 SOS 954913 HAS SOPS 954913 HAS SOUS 167881 HAS SOUPS 167881 WITH SCORE 168835.913
AT ITER 8884 NEW BEST:: SOT 4037655 SOS 936525 HAS SOPS 936525 HAS SOUS 167493 HAS SOUPS 167493 WITH SCORE 168429.525
AT ITER 8885 NEW BEST:: SOT 4037651 SOS 936517 HAS SOPS 936517 HAS SOUS 167493 HAS SOUPS 167493 WITH SCORE 168429.517
AT ITER 8891 NEW BEST:: SOT 4037651 SOS 936517 HAS SOPS 936517 HAS SOUS 167468 HAS SOUPS 167468 WITH SCORE 168404.517
AT ITER 8909 NEW BEST:: SOT 4037647 SOS 936509 HAS SOPS 936509 HAS SOUS 167460 HAS SOUPS 167460 WITH SCORE 168396.509
AT ITER 8920 NEW BEST:: SOT 4037647 SOS 936484 HAS SOPS 936484 HAS SOUS 167435 HAS SOUPS 167435 WITH SCORE 168371.484
AT ITER 8923 NEW BEST:: SOT 4037646 SOS 936482 HAS SOPS 936482 HAS SOUS 167433 HAS SOUPS 167433 WITH SCORE 168369.482
AT ITER 8928 NEW BEST:: SOT 4037614 SOS 936418 HAS SOPS 936418 HAS SOUS 167369 HAS SOUPS 167369 WITH SCORE 168305.418
AT ITER 8930 NEW BEST:: SOT 4037613 SOS 936417 HAS SOPS 936417 HAS SOUS 167368 HAS SOUPS 167368 WITH SCORE 168304.417
AT ITER 8939 NEW BEST:: SOT 4037607 SOS 936405 HAS SOPS 936405 HAS SOUS 167356 HAS SOUPS 167356 WITH SCORE 168292.405
AT ITER 8953 NEW BEST:: SOT 4037607 SOS 936302 HAS SOPS 936302 HAS SOUS 167329 HAS SOUPS 167329 WITH SCORE 168265.302
AT ITER 8958 NEW BEST:: SOT 4037576 SOS 936240 HAS SOPS 936240 HAS SOUS 167267 HAS SOUPS 167267 WITH SCORE 168203.24
AT ITER 8963 NEW BEST:: SOT 4037557 SOS 936202 HAS SOPS 936202 HAS SOUS 167248 HAS SOUPS 167248 WITH SCORE 168184.202
AT ITER 8983 NEW BEST:: SOT 4037544 SOS 936176 HAS SOPS 936176 HAS SOUS 167222 HAS SOUPS 167222 WITH SCORE 168158.176
AT ITER 8990 NEW BEST:: SOT 4037528 SOS 936144 HAS SOPS 936144 HAS SOUS 167190 HAS SOUPS 167190 WITH SCORE 168126.144
AT ITER 8996 NEW BEST:: SOT 4037519 SOS 936126 HAS SOPS 936126 HAS SOUS 167181 HAS SOUPS 167181 WITH SCORE 168117.126
AT ITER 9032 NEW BEST:: SOT 4037478 SOS 936044 HAS SOPS 936044 HAS SOUS 167102 HAS SOUPS 167102 WITH SCORE 168038.044
AT ITER 9048 NEW BEST:: SOT 4037443 SOS 935974 HAS SOPS 935974 HAS SOUS 167032 HAS SOUPS 167032 WITH SCORE 167967.974
AT ITER 9083 NEW BEST:: SOT 4037460 SOS 935837 HAS SOPS 935837 HAS SOUS 167002 HAS SOUPS 167002 WITH SCORE 167937.837
AT ITER 9106 NEW BEST:: SOT 4037405 SOS 935727 HAS SOPS 935727 HAS SOUS 166892 HAS SOUPS 166892 WITH SCORE 167827.727
AT ITER 9141 NEW BEST:: SOT 4037374 SOS 935665 HAS SOPS 935665 HAS SOUS 166861 HAS SOUPS 166861 WITH SCORE 167796.665
AT ITER 9145 NEW BEST:: SOT 4037409 SOS 938290 HAS SOPS 938290 HAS SOUS 166651 HAS SOUPS 166651 WITH SCORE 167589.29
AT ITER 9185 NEW BEST:: SOT 4037779 SOS 938672 HAS SOPS 938672 HAS SOUS 166252 HAS SOUPS 166252 WITH SCORE 167190.672
AT ITER 9226 NEW BEST:: SOT 4037779 SOS 938660 HAS SOPS 938660 HAS SOUS 166246 HAS SOUPS 166246 WITH SCORE 167184.66
AT ITER 9263 NEW BEST:: SOT 4037773 SOS 938648 HAS SOPS 938648 HAS SOUS 166240 HAS SOUPS 166240 WITH SCORE 167178.648
AT ITER 9279 NEW BEST:: SOT 4037723 SOS 938614 HAS SOPS 938614 HAS SOUS 166223 HAS SOUPS 166223 WITH SCORE 167161.614
AT ITER 9340 NEW BEST:: SOT 4037686 SOS 938540 HAS SOPS 938540 HAS SOUS 166137 HAS SOUPS 166137 WITH SCORE 167075.54
AT ITER 9371 NEW BEST:: SOT 4037665 SOS 938498 HAS SOPS 938498 HAS SOUS 166095 HAS SOUPS 166095 WITH SCORE 167033.498
AT ITER 9390 NEW BEST:: SOT 4037665 SOS 938498 HAS SOPS 938498 HAS SOUS 166080 HAS SOUPS 166080 WITH SCORE 167018.498
AT ITER 9430 NEW BEST:: SOT 4037629 SOS 938426 HAS SOPS 938426 HAS SOUS 166008 HAS SOUPS 166008 WITH SCORE 166946.426
AT ITER 9444 NEW BEST:: SOT 4037618 SOS 938409 HAS SOPS 938409 HAS SOUS 165991 HAS SOUPS 165991 WITH SCORE 166929.409
AT ITER 9450 NEW BEST:: SOT 4037599 SOS 938371 HAS SOPS 938371 HAS SOUS 165953 HAS SOUPS 165953 WITH SCORE 166891.371
AT ITER 9456 NEW BEST:: SOT 4037422 SOS 938215 HAS SOPS 938215 HAS SOUS 165784 HAS SOUPS 165784 WITH SCORE 166722.215
AT ITER 9555 NEW BEST:: SOT 4037409 SOS 938189 HAS SOPS 938189 HAS SOUS 165758 HAS SOUPS 165758 WITH SCORE 166696.189
AT ITER 9573 NEW BEST:: SOT 4037407 SOS 938185 HAS SOPS 938185 HAS SOUS 165754 HAS SOUPS 165754 WITH SCORE 166692.185
AT ITER 9669 NEW BEST:: SOT 4037387 SOS 938145 HAS SOPS 938145 HAS SOUS 165714 HAS SOUPS 165714 WITH SCORE 166652.145
AT ITER 9750 NEW BEST:: SOT 4037375 SOS 932289 HAS SOPS 932289 HAS SOUS 165690 HAS SOUPS 165690 WITH SCORE 166622.289
AT ITER 9764 NEW BEST:: SOT 4037374 SOS 932287 HAS SOPS 932287 HAS SOUS 165688 HAS SOUPS 165688 WITH SCORE 166620.287
AT ITER 9766 NEW BEST:: SOT 4037501 SOS 932541 HAS SOPS 932541 HAS SOUS 165681 HAS SOUPS 165681 WITH SCORE 166613.541
AT ITER 9783 NEW BEST:: SOT 4037496 SOS 932531 HAS SOPS 932531 HAS SOUS 165655 HAS SOUPS 165655 WITH SCORE 166587.531
AT ITER 9826 NEW BEST:: SOT 4037486 SOS 932511 HAS SOPS 932511 HAS SOUS 165635 HAS SOUPS 165635 WITH SCORE 166567.511
AT ITER 9926 NEW BEST:: SOT 4037497 SOS 932533 HAS SOPS 932533 HAS SOUS 165625 HAS SOUPS 165625 WITH SCORE 166557.533
AT ITER 9965 NEW BEST:: SOT 4037484 SOS 932449 HAS SOPS 932449 HAS SOUS 165570 HAS SOUPS 165570 WITH SCORE 166502.449
AT ITER 9981 NEW BEST:: SOT 4037451 SOS 932383 HAS SOPS 932383 HAS SOUS 165504 HAS SOUPS 165504 WITH SCORE 166436.383
AT ITER 9995 NEW BEST:: SOT 4037447 SOS 932375 HAS SOPS 932375 HAS SOUS 165496 HAS SOUPS 165496 WITH SCORE 166428.375
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14043632 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16108936 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="StigmergyElection-PT-07b"
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 StigmergyElection-PT-07b, 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 r459-smll-167912651500648"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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