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.r099-tall-167814472900792.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 smart
Input is DLCround-PT-13b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472900792
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.5M
-rw-r--r-- 1 mcc users 6.3K Feb 25 18:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 18:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 18:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 18:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 18:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 25 18:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 18:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 18:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 2.1M Mar 5 18:22 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 1678264374999

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-13b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 13b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 5343 places, 8727 transitions, 24849 arcs.
AT ITER 0 NEW BEST:: SOT 30665414 SOS 7539059 HAS SOPS 7539059 HAS SOUS 3929360 HAS SOUPS 3929360 WITH SCORE 3936899.059
AT ITER 19 NEW BEST:: SOT 30664728 SOS 7543861 HAS SOPS 7543861 HAS SOUS 3928674 HAS SOUPS 3928674 WITH SCORE 3936217.861
AT ITER 42 NEW BEST:: SOT 30664727 SOS 7544201 HAS SOPS 7544201 HAS SOUS 3928672 HAS SOUPS 3928672 WITH SCORE 3936216.201
AT ITER 50 NEW BEST:: SOT 30664783 SOS 7544313 HAS SOPS 7544313 HAS SOUS 3928032 HAS SOUPS 3928032 WITH SCORE 3935576.313
AT ITER 51 NEW BEST:: SOT 30663704 SOS 7532444 HAS SOPS 7532444 HAS SOUS 3925874 HAS SOUPS 3925874 WITH SCORE 3933406.444
AT ITER 59 NEW BEST:: SOT 30662400 SOS 7532444 HAS SOPS 7532444 HAS SOUS 3923965 HAS SOUPS 3923965 WITH SCORE 3931497.444
AT ITER 116 NEW BEST:: SOT 30662224 SOS 7533842 HAS SOPS 7533842 HAS SOUS 3923788 HAS SOUPS 3923788 WITH SCORE 3931321.842
AT ITER 129 NEW BEST:: SOT 30660865 SOS 7535201 HAS SOPS 7535201 HAS SOUS 3922429 HAS SOUPS 3922429 WITH SCORE 3929964.201
AT ITER 130 NEW BEST:: SOT 30660789 SOS 7535165 HAS SOPS 7535165 HAS SOUS 3922393 HAS SOUPS 3922393 WITH SCORE 3929928.165
AT ITER 144 NEW BEST:: SOT 30660270 SOS 7536321 HAS SOPS 7536321 HAS SOUS 3921591 HAS SOUPS 3921591 WITH SCORE 3929127.321
AT ITER 151 NEW BEST:: SOT 30659328 SOS 7542915 HAS SOPS 7542915 HAS SOUS 3920649 HAS SOUPS 3920649 WITH SCORE 3928191.915
AT ITER 155 NEW BEST:: SOT 30658982 SOS 7542223 HAS SOPS 7542223 HAS SOUS 3920345 HAS SOUPS 3920345 WITH SCORE 3927887.223
AT ITER 161 NEW BEST:: SOT 30658982 SOS 7542223 HAS SOPS 7542223 HAS SOUS 3920344 HAS SOUPS 3920344 WITH SCORE 3927886.223
AT ITER 199 NEW BEST:: SOT 30657731 SOS 7542906 HAS SOPS 7542906 HAS SOUS 3917841 HAS SOUPS 3917841 WITH SCORE 3925383.906
AT ITER 201 NEW BEST:: SOT 30657128 SOS 7543509 HAS SOPS 7543509 HAS SOUS 3917238 HAS SOUPS 3917238 WITH SCORE 3924781.509
AT ITER 202 NEW BEST:: SOT 30657085 SOS 7543466 HAS SOPS 7543466 HAS SOUS 3917237 HAS SOUPS 3917237 WITH SCORE 3924780.466
AT ITER 226 NEW BEST:: SOT 30657005 SOS 7536122 HAS SOPS 7536122 HAS SOUS 3917018 HAS SOUPS 3917018 WITH SCORE 3924554.122
AT ITER 235 NEW BEST:: SOT 30657005 SOS 7535963 HAS SOPS 7535963 HAS SOUS 3916859 HAS SOUPS 3916859 WITH SCORE 3924394.963
AT ITER 243 NEW BEST:: SOT 30656524 SOS 7536584 HAS SOPS 7536584 HAS SOUS 3916653 HAS SOUPS 3916653 WITH SCORE 3924189.584
AT ITER 265 NEW BEST:: SOT 30652010 SOS 7532071 HAS SOPS 7532071 HAS SOUS 3912377 HAS SOUPS 3912377 WITH SCORE 3919909.071
AT ITER 278 NEW BEST:: SOT 30651928 SOS 7532153 HAS SOPS 7532153 HAS SOUS 3912295 HAS SOUPS 3912295 WITH SCORE 3919827.153
AT ITER 295 NEW BEST:: SOT 30651927 SOS 7532152 HAS SOPS 7532152 HAS SOUS 3912294 HAS SOUPS 3912294 WITH SCORE 3919826.152
AT ITER 322 NEW BEST:: SOT 30650898 SOS 7530094 HAS SOPS 7530094 HAS SOUS 3910111 HAS SOUPS 3910111 WITH SCORE 3917641.094
AT ITER 356 NEW BEST:: SOT 30646408 SOS 7525338 HAS SOPS 7525338 HAS SOUS 3906318 HAS SOUPS 3906318 WITH SCORE 3913843.338
AT ITER 364 NEW BEST:: SOT 30646408 SOS 7527119 HAS SOPS 7527119 HAS SOUS 3906118 HAS SOUPS 3906118 WITH SCORE 3913645.119
AT ITER 367 NEW BEST:: SOT 30645382 SOS 7525067 HAS SOPS 7525067 HAS SOUS 3904940 HAS SOUPS 3904940 WITH SCORE 3912465.067
AT ITER 377 NEW BEST:: SOT 30645382 SOS 7524896 HAS SOPS 7524896 HAS SOUS 3904769 HAS SOUPS 3904769 WITH SCORE 3912293.896
AT ITER 392 NEW BEST:: SOT 30645853 SOS 7524541 HAS SOPS 7524541 HAS SOUS 3903943 HAS SOUPS 3903943 WITH SCORE 3911467.541
AT ITER 417 NEW BEST:: SOT 30644866 SOS 7524531 HAS SOPS 7524531 HAS SOUS 3903337 HAS SOUPS 3903337 WITH SCORE 3910861.531
AT ITER 429 NEW BEST:: SOT 30644083 SOS 7523748 HAS SOPS 7523748 HAS SOUS 3902554 HAS SOUPS 3902554 WITH SCORE 3910077.748
AT ITER 449 NEW BEST:: SOT 30643869 SOS 7523320 HAS SOPS 7523320 HAS SOUS 3902340 HAS SOUPS 3902340 WITH SCORE 3909863.32
AT ITER 462 NEW BEST:: SOT 30644398 SOS 7524378 HAS SOPS 7524378 HAS SOUS 3902088 HAS SOUPS 3902088 WITH SCORE 3909612.378
AT ITER 471 NEW BEST:: SOT 30643720 SOS 7524351 HAS SOPS 7524351 HAS SOUS 3901853 HAS SOUPS 3901853 WITH SCORE 3909377.351
AT ITER 483 NEW BEST:: SOT 30643163 SOS 7523944 HAS SOPS 7523944 HAS SOUS 3901446 HAS SOUPS 3901446 WITH SCORE 3908969.944
AT ITER 492 NEW BEST:: SOT 30643913 SOS 7514967 HAS SOPS 7514967 HAS SOUS 3899033 HAS SOUPS 3899033 WITH SCORE 3906547.967
AT ITER 496 NEW BEST:: SOT 30643913 SOS 7513689 HAS SOPS 7513689 HAS SOUS 3899032 HAS SOUPS 3899032 WITH SCORE 3906545.689
AT ITER 499 NEW BEST:: SOT 30642503 SOS 7505229 HAS SOPS 7505229 HAS SOUS 3896917 HAS SOUPS 3896917 WITH SCORE 3904422.229
AT ITER 500 NEW BEST:: SOT 30642503 SOS 7505229 HAS SOPS 7505229 HAS SOUS 3896916 HAS SOUPS 3896916 WITH SCORE 3904421.229
AT ITER 513 NEW BEST:: SOT 30640321 SOS 7503851 HAS SOPS 7503851 HAS SOUS 3896470 HAS SOUPS 3896470 WITH SCORE 3903973.851
AT ITER 515 NEW BEST:: SOT 30640321 SOS 7505570 HAS SOPS 7505570 HAS SOUS 3895608 HAS SOUPS 3895608 WITH SCORE 3903113.57
AT ITER 527 NEW BEST:: SOT 30639768 SOS 7505427 HAS SOPS 7505427 HAS SOUS 3895423 HAS SOUPS 3895423 WITH SCORE 3902928.427
AT ITER 589 NEW BEST:: SOT 30639589 SOS 7505603 HAS SOPS 7505603 HAS SOUS 3895243 HAS SOUPS 3895243 WITH SCORE 3902748.603
AT ITER 611 NEW BEST:: SOT 30638898 SOS 7505593 HAS SOPS 7505593 HAS SOUS 3895050 HAS SOUPS 3895050 WITH SCORE 3902555.593
AT ITER 636 NEW BEST:: SOT 30636898 SOS 7503399 HAS SOPS 7503399 HAS SOUS 3892102 HAS SOUPS 3892102 WITH SCORE 3899605.399
AT ITER 654 NEW BEST:: SOT 30636699 SOS 7503328 HAS SOPS 7503328 HAS SOUS 3892012 HAS SOUPS 3892012 WITH SCORE 3899515.328
AT ITER 656 NEW BEST:: SOT 30636428 SOS 7504556 HAS SOPS 7504556 HAS SOUS 3891838 HAS SOUPS 3891838 WITH SCORE 3899342.556
AT ITER 677 NEW BEST:: SOT 30636942 SOS 7504857 HAS SOPS 7504857 HAS SOUS 3891657 HAS SOUPS 3891657 WITH SCORE 3899161.857
AT ITER 678 NEW BEST:: SOT 30635838 SOS 7503910 HAS SOPS 7503910 HAS SOUS 3890553 HAS SOUPS 3890553 WITH SCORE 3898056.91
AT ITER 690 NEW BEST:: SOT 30634280 SOS 7502223 HAS SOPS 7502223 HAS SOUS 3888300 HAS SOUPS 3888300 WITH SCORE 3895802.223
AT ITER 705 NEW BEST:: SOT 30634280 SOS 7502223 HAS SOPS 7502223 HAS SOUS 3888299 HAS SOUPS 3888299 WITH SCORE 3895801.223
AT ITER 726 NEW BEST:: SOT 30633753 SOS 7502750 HAS SOPS 7502750 HAS SOUS 3887570 HAS SOUPS 3887570 WITH SCORE 3895072.75
AT ITER 733 NEW BEST:: SOT 30633452 SOS 7510958 HAS SOPS 7510958 HAS SOUS 3886967 HAS SOUPS 3886967 WITH SCORE 3894477.958
AT ITER 736 NEW BEST:: SOT 30632383 SOS 7510563 HAS SOPS 7510563 HAS SOUS 3885940 HAS SOUPS 3885940 WITH SCORE 3893450.563
AT ITER 775 NEW BEST:: SOT 30631410 SOS 7510429 HAS SOPS 7510429 HAS SOUS 3885806 HAS SOUPS 3885806 WITH SCORE 3893316.429
AT ITER 783 NEW BEST:: SOT 30629814 SOS 7508833 HAS SOPS 7508833 HAS SOUS 3884210 HAS SOUPS 3884210 WITH SCORE 3891718.833
AT ITER 788 NEW BEST:: SOT 30628941 SOS 7504468 HAS SOPS 7504468 HAS SOUS 3883008 HAS SOUPS 3883008 WITH SCORE 3890512.468
AT ITER 828 NEW BEST:: SOT 30628601 SOS 7504317 HAS SOPS 7504317 HAS SOUS 3882857 HAS SOUPS 3882857 WITH SCORE 3890361.317
AT ITER 836 NEW BEST:: SOT 30628601 SOS 7505990 HAS SOPS 7505990 HAS SOUS 3882669 HAS SOUPS 3882669 WITH SCORE 3890174.99
AT ITER 838 NEW BEST:: SOT 30627638 SOS 7505023 HAS SOPS 7505023 HAS SOUS 3882654 HAS SOUPS 3882654 WITH SCORE 3890159.023
AT ITER 839 NEW BEST:: SOT 30626945 SOS 7505016 HAS SOPS 7505016 HAS SOUS 3882646 HAS SOUPS 3882646 WITH SCORE 3890151.016
AT ITER 843 NEW BEST:: SOT 30626945 SOS 7505015 HAS SOPS 7505015 HAS SOUS 3882645 HAS SOUPS 3882645 WITH SCORE 3890150.015
AT ITER 854 NEW BEST:: SOT 30626944 SOS 7505013 HAS SOPS 7505013 HAS SOUS 3882643 HAS SOUPS 3882643 WITH SCORE 3890148.013
AT ITER 859 NEW BEST:: SOT 30626944 SOS 7508239 HAS SOPS 7508239 HAS SOUS 3882329 HAS SOUPS 3882329 WITH SCORE 3889837.239
AT ITER 871 NEW BEST:: SOT 30626084 SOS 7513554 HAS SOPS 7513554 HAS SOUS 3881469 HAS SOUPS 3881469 WITH SCORE 3888982.554
AT ITER 886 NEW BEST:: SOT 30625040 SOS 7511466 HAS SOPS 7511466 HAS SOUS 3879381 HAS SOUPS 3879381 WITH SCORE 3886892.466
AT ITER 912 NEW BEST:: SOT 30625040 SOS 7511174 HAS SOPS 7511174 HAS SOUS 3879235 HAS SOUPS 3879235 WITH SCORE 3886746.174
AT ITER 922 NEW BEST:: SOT 30623566 SOS 7511174 HAS SOPS 7511174 HAS SOUS 3877156 HAS SOUPS 3877156 WITH SCORE 3884667.174
AT ITER 934 NEW BEST:: SOT 30623566 SOS 7511344 HAS SOPS 7511344 HAS SOUS 3877154 HAS SOUPS 3877154 WITH SCORE 3884665.344
AT ITER 1007 NEW BEST:: SOT 30623435 SOS 7510820 HAS SOPS 7510820 HAS SOUS 3876892 HAS SOUPS 3876892 WITH SCORE 3884402.82
AT ITER 1029 NEW BEST:: SOT 30622449 SOS 7509834 HAS SOPS 7509834 HAS SOUS 3874920 HAS SOUPS 3874920 WITH SCORE 3882429.834
AT ITER 1076 NEW BEST:: SOT 30622449 SOS 7511263 HAS SOPS 7511263 HAS SOUS 3873491 HAS SOUPS 3873491 WITH SCORE 3881002.263
AT ITER 1103 NEW BEST:: SOT 30622449 SOS 7511263 HAS SOPS 7511263 HAS SOUS 3873276 HAS SOUPS 3873276 WITH SCORE 3880787.263
AT ITER 1109 NEW BEST:: SOT 30622449 SOS 7511263 HAS SOPS 7511263 HAS SOUS 3873275 HAS SOUPS 3873275 WITH SCORE 3880786.263
AT ITER 1110 NEW BEST:: SOT 30622449 SOS 7511136 HAS SOPS 7511136 HAS SOUS 3873148 HAS SOUPS 3873148 WITH SCORE 3880659.136
AT ITER 1116 NEW BEST:: SOT 30622449 SOS 7510722 HAS SOPS 7510722 HAS SOUS 3872941 HAS SOUPS 3872941 WITH SCORE 3880451.722
AT ITER 1123 NEW BEST:: SOT 30621449 SOS 7510222 HAS SOPS 7510222 HAS SOUS 3872441 HAS SOUPS 3872441 WITH SCORE 3879951.222
AT ITER 1132 NEW BEST:: SOT 30621449 SOS 7510221 HAS SOPS 7510221 HAS SOUS 3872440 HAS SOUPS 3872440 WITH SCORE 3879950.221
AT ITER 1140 NEW BEST:: SOT 30621151 SOS 7512297 HAS SOPS 7512297 HAS SOUS 3871843 HAS SOUPS 3871843 WITH SCORE 3879355.297
AT ITER 1154 NEW BEST:: SOT 30621151 SOS 7512270 HAS SOPS 7512270 HAS SOUS 3871834 HAS SOUPS 3871834 WITH SCORE 3879346.27
AT ITER 1182 NEW BEST:: SOT 30620942 SOS 7512267 HAS SOPS 7512267 HAS SOUS 3871833 HAS SOUPS 3871833 WITH SCORE 3879345.267
AT ITER 1190 NEW BEST:: SOT 30620942 SOS 7511991 HAS SOPS 7511991 HAS SOUS 3871695 HAS SOUPS 3871695 WITH SCORE 3879206.991
AT ITER 1217 NEW BEST:: SOT 30620448 SOS 7511987 HAS SOPS 7511987 HAS SOUS 3871374 HAS SOUPS 3871374 WITH SCORE 3878885.987
AT ITER 1237 NEW BEST:: SOT 30620448 SOS 7511799 HAS SOPS 7511799 HAS SOUS 3871280 HAS SOUPS 3871280 WITH SCORE 3878791.799
AT ITER 1243 NEW BEST:: SOT 30620448 SOS 7510701 HAS SOPS 7510701 HAS SOUS 3870914 HAS SOUPS 3870914 WITH SCORE 3878424.701
AT ITER 1254 NEW BEST:: SOT 30619779 SOS 7510679 HAS SOPS 7510679 HAS SOUS 3870499 HAS SOUPS 3870499 WITH SCORE 3878009.679
AT ITER 1273 NEW BEST:: SOT 30618707 SOS 7509603 HAS SOPS 7509603 HAS SOUS 3869426 HAS SOUPS 3869426 WITH SCORE 3876935.603
AT ITER 1284 NEW BEST:: SOT 30618361 SOS 7509296 HAS SOPS 7509296 HAS SOUS 3869119 HAS SOUPS 3869119 WITH SCORE 3876628.296
AT ITER 1295 NEW BEST:: SOT 30618361 SOS 7510954 HAS SOPS 7510954 HAS SOUS 3869117 HAS SOUPS 3869117 WITH SCORE 3876627.954
AT ITER 1335 NEW BEST:: SOT 30618360 SOS 7512306 HAS SOPS 7512306 HAS SOUS 3869115 HAS SOUPS 3869115 WITH SCORE 3876627.306
AT ITER 1354 NEW BEST:: SOT 30617560 SOS 7513093 HAS SOPS 7513093 HAS SOUS 3868313 HAS SOUPS 3868313 WITH SCORE 3875826.093
AT ITER 1384 NEW BEST:: SOT 30617180 SOS 7513090 HAS SOPS 7513090 HAS SOUS 3868312 HAS SOUPS 3868312 WITH SCORE 3875825.09
AT ITER 1387 NEW BEST:: SOT 30617333 SOS 7512448 HAS SOPS 7512448 HAS SOUS 3867670 HAS SOUPS 3867670 WITH SCORE 3875182.448
AT ITER 1391 NEW BEST:: SOT 30617333 SOS 7512448 HAS SOPS 7512448 HAS SOUS 3867669 HAS SOUPS 3867669 WITH SCORE 3875181.448
AT ITER 1399 NEW BEST:: SOT 30617333 SOS 7511167 HAS SOPS 7511167 HAS SOUS 3867668 HAS SOUPS 3867668 WITH SCORE 3875179.167
AT ITER 1427 NEW BEST:: SOT 30616933 SOS 7511642 HAS SOPS 7511642 HAS SOUS 3866782 HAS SOUPS 3866782 WITH SCORE 3874293.642
AT ITER 1430 NEW BEST:: SOT 30616813 SOS 7511639 HAS SOPS 7511639 HAS SOUS 3866781 HAS SOUPS 3866781 WITH SCORE 3874292.639
AT ITER 1462 NEW BEST:: SOT 30616756 SOS 7513729 HAS SOPS 7513729 HAS SOUS 3866666 HAS SOUPS 3866666 WITH SCORE 3874179.729
AT ITER 1464 NEW BEST:: SOT 30616646 SOS 7513289 HAS SOPS 7513289 HAS SOUS 3866446 HAS SOUPS 3866446 WITH SCORE 3873959.289
AT ITER 1478 NEW BEST:: SOT 30615895 SOS 7513286 HAS SOPS 7513286 HAS SOUS 3864943 HAS SOUPS 3864943 WITH SCORE 3872456.286
AT ITER 1492 NEW BEST:: SOT 30615895 SOS 7513286 HAS SOPS 7513286 HAS SOUS 3864942 HAS SOUPS 3864942 WITH SCORE 3872455.286
AT ITER 1502 NEW BEST:: SOT 30615489 SOS 7514094 HAS SOPS 7514094 HAS SOUS 3864535 HAS SOUPS 3864535 WITH SCORE 3872049.094
AT ITER 1512 NEW BEST:: SOT 30615489 SOS 7513539 HAS SOPS 7513539 HAS SOUS 3864534 HAS SOUPS 3864534 WITH SCORE 3872047.539
AT ITER 1517 NEW BEST:: SOT 30615489 SOS 7511445 HAS SOPS 7511445 HAS SOUS 3864534 HAS SOUPS 3864534 WITH SCORE 3872045.445
AT ITER 1521 NEW BEST:: SOT 30615380 SOS 7511335 HAS SOPS 7511335 HAS SOUS 3864502 HAS SOUPS 3864502 WITH SCORE 3872013.335
AT ITER 1531 NEW BEST:: SOT 30615150 SOS 7512935 HAS SOPS 7512935 HAS SOUS 3864041 HAS SOUPS 3864041 WITH SCORE 3871553.935
AT ITER 1542 NEW BEST:: SOT 30615150 SOS 7512935 HAS SOPS 7512935 HAS SOUS 3864040 HAS SOUPS 3864040 WITH SCORE 3871552.935
AT ITER 1545 NEW BEST:: SOT 30614717 SOS 7512931 HAS SOPS 7512931 HAS SOUS 3864039 HAS SOUPS 3864039 WITH SCORE 3871551.931
AT ITER 1554 NEW BEST:: SOT 30614605 SOS 7512819 HAS SOPS 7512819 HAS SOUS 3863927 HAS SOUPS 3863927 WITH SCORE 3871439.819
AT ITER 1559 NEW BEST:: SOT 30614499 SOS 7512713 HAS SOPS 7512713 HAS SOUS 3863925 HAS SOUPS 3863925 WITH SCORE 3871437.713
AT ITER 1566 NEW BEST:: SOT 30614499 SOS 7507745 HAS SOPS 7507745 HAS SOUS 3863925 HAS SOUPS 3863925 WITH SCORE 3871432.745
AT ITER 1575 NEW BEST:: SOT 30614192 SOS 7507131 HAS SOPS 7507131 HAS SOUS 3863176 HAS SOUPS 3863176 WITH SCORE 3870683.131
AT ITER 1579 NEW BEST:: SOT 30613039 SOS 7506073 HAS SOPS 7506073 HAS SOUS 3862118 HAS SOUPS 3862118 WITH SCORE 3869624.073
AT ITER 1581 NEW BEST:: SOT 30613037 SOS 7506065 HAS SOPS 7506065 HAS SOUS 3862114 HAS SOUPS 3862114 WITH SCORE 3869620.065
AT ITER 1586 NEW BEST:: SOT 30612851 SOS 7505972 HAS SOPS 7505972 HAS SOUS 3862021 HAS SOUPS 3862021 WITH SCORE 3869526.972
AT ITER 1603 NEW BEST:: SOT 30611680 SOS 7504791 HAS SOPS 7504791 HAS SOUS 3860849 HAS SOUPS 3860849 WITH SCORE 3868353.791
AT ITER 1608 NEW BEST:: SOT 30611393 SOS 7504612 HAS SOPS 7504612 HAS SOUS 3860562 HAS SOUPS 3860562 WITH SCORE 3868066.612
AT ITER 1627 NEW BEST:: SOT 30611392 SOS 7504610 HAS SOPS 7504610 HAS SOUS 3860560 HAS SOUPS 3860560 WITH SCORE 3868064.61
AT ITER 1634 NEW BEST:: SOT 30610489 SOS 7503707 HAS SOPS 7503707 HAS SOUS 3859657 HAS SOUPS 3859657 WITH SCORE 3867160.707
AT ITER 1638 NEW BEST:: SOT 30610419 SOS 7503567 HAS SOPS 7503567 HAS SOUS 3859587 HAS SOUPS 3859587 WITH SCORE 3867090.567
AT ITER 1657 NEW BEST:: SOT 30610228 SOS 7504715 HAS SOPS 7504715 HAS SOUS 3859394 HAS SOUPS 3859394 WITH SCORE 3866898.715
AT ITER 1662 NEW BEST:: SOT 30610514 SOS 7504143 HAS SOPS 7504143 HAS SOUS 3859394 HAS SOUPS 3859394 WITH SCORE 3866898.143
AT ITER 1703 NEW BEST:: SOT 30610514 SOS 7504143 HAS SOPS 7504143 HAS SOUS 3859393 HAS SOUPS 3859393 WITH SCORE 3866897.143
AT ITER 1733 NEW BEST:: SOT 30610416 SOS 7504406 HAS SOPS 7504406 HAS SOUS 3859341 HAS SOUPS 3859341 WITH SCORE 3866845.406
AT ITER 1824 NEW BEST:: SOT 30610008 SOS 7503179 HAS SOPS 7503179 HAS SOUS 3858524 HAS SOUPS 3858524 WITH SCORE 3866027.179
AT ITER 1843 NEW BEST:: SOT 30609177 SOS 7503421 HAS SOPS 7503421 HAS SOUS 3858137 HAS SOUPS 3858137 WITH SCORE 3865640.421
AT ITER 1851 NEW BEST:: SOT 30609051 SOS 7501457 HAS SOPS 7501457 HAS SOUS 3856515 HAS SOUPS 3856515 WITH SCORE 3864016.457
AT ITER 1875 NEW BEST:: SOT 30608355 SOS 7500761 HAS SOPS 7500761 HAS SOUS 3855819 HAS SOUPS 3855819 WITH SCORE 3863319.761
AT ITER 1877 NEW BEST:: SOT 30608255 SOS 7500558 HAS SOPS 7500558 HAS SOUS 3854411 HAS SOUPS 3854411 WITH SCORE 3861911.558
AT ITER 1907 NEW BEST:: SOT 30607430 SOS 7497988 HAS SOPS 7497988 HAS SOUS 3853446 HAS SOUPS 3853446 WITH SCORE 3860943.988
AT ITER 1924 NEW BEST:: SOT 30607831 SOS 7498790 HAS SOPS 7498790 HAS SOUS 3853273 HAS SOUPS 3853273 WITH SCORE 3860771.79
AT ITER 1969 NEW BEST:: SOT 30607529 SOS 7499782 HAS SOPS 7499782 HAS SOUS 3853195 HAS SOUPS 3853195 WITH SCORE 3860694.782
AT ITER 1974 NEW BEST:: SOT 30607529 SOS 7499680 HAS SOPS 7499680 HAS SOUS 3853093 HAS SOUPS 3853093 WITH SCORE 3860592.68
AT ITER 1978 NEW BEST:: SOT 30607298 SOS 7501518 HAS SOPS 7501518 HAS SOUS 3852861 HAS SOUPS 3852861 WITH SCORE 3860362.518
AT ITER 1980 NEW BEST:: SOT 30606126 SOS 7509722 HAS SOPS 7509722 HAS SOUS 3851321 HAS SOUPS 3851321 WITH SCORE 3858830.722
AT ITER 1990 NEW BEST:: SOT 30605613 SOS 7510352 HAS SOPS 7510352 HAS SOUS 3851082 HAS SOUPS 3851082 WITH SCORE 3858592.352
AT ITER 2009 NEW BEST:: SOT 30605613 SOS 7510352 HAS SOPS 7510352 HAS SOUS 3851081 HAS SOUPS 3851081 WITH SCORE 3858591.352
AT ITER 2064 NEW BEST:: SOT 30604960 SOS 7509573 HAS SOPS 7509573 HAS SOUS 3850723 HAS SOUPS 3850723 WITH SCORE 3858232.573
AT ITER 2067 NEW BEST:: SOT 30604960 SOS 7508613 HAS SOPS 7508613 HAS SOUS 3850723 HAS SOUPS 3850723 WITH SCORE 3858231.613
AT ITER 2072 NEW BEST:: SOT 30604849 SOS 7509491 HAS SOPS 7509491 HAS SOUS 3850722 HAS SOUPS 3850722 WITH SCORE 3858231.491
AT ITER 2084 NEW BEST:: SOT 30604818 SOS 7509465 HAS SOPS 7509465 HAS SOUS 3850696 HAS SOUPS 3850696 WITH SCORE 3858205.465
AT ITER 2087 NEW BEST:: SOT 30604272 SOS 7510008 HAS SOPS 7510008 HAS SOUS 3850149 HAS SOUPS 3850149 WITH SCORE 3857659.008
AT ITER 2100 NEW BEST:: SOT 30604272 SOS 7511642 HAS SOPS 7511642 HAS SOUS 3850147 HAS SOUPS 3850147 WITH SCORE 3857658.642
AT ITER 2111 NEW BEST:: SOT 30604045 SOS 7510734 HAS SOPS 7510734 HAS SOUS 3849693 HAS SOUPS 3849693 WITH SCORE 3857203.734
AT ITER 2114 NEW BEST:: SOT 30603973 SOS 7510731 HAS SOPS 7510731 HAS SOUS 3849692 HAS SOUPS 3849692 WITH SCORE 3857202.731
AT ITER 2141 NEW BEST:: SOT 30602249 SOS 7509869 HAS SOPS 7509869 HAS SOUS 3848830 HAS SOUPS 3848830 WITH SCORE 3856339.869
AT ITER 2176 NEW BEST:: SOT 30602249 SOS 7510009 HAS SOPS 7510009 HAS SOUS 3848828 HAS SOUPS 3848828 WITH SCORE 3856338.009
AT ITER 2181 NEW BEST:: SOT 30601365 SOS 7509464 HAS SOPS 7509464 HAS SOUS 3848165 HAS SOUPS 3848165 WITH SCORE 3855674.464
AT ITER 2185 NEW BEST:: SOT 30601118 SOS 7510610 HAS SOPS 7510610 HAS SOUS 3847918 HAS SOUPS 3847918 WITH SCORE 3855428.61
AT ITER 2188 NEW BEST:: SOT 30599476 SOS 7500758 HAS SOPS 7500758 HAS SOUS 3845455 HAS SOUPS 3845455 WITH SCORE 3852955.758
AT ITER 2193 NEW BEST:: SOT 30599150 SOS 7501347 HAS SOPS 7501347 HAS SOUS 3845287 HAS SOUPS 3845287 WITH SCORE 3852788.347
AT ITER 2210 NEW BEST:: SOT 30598854 SOS 7500755 HAS SOPS 7500755 HAS SOUS 3844695 HAS SOUPS 3844695 WITH SCORE 3852195.755
AT ITER 2221 NEW BEST:: SOT 30598859 SOS 7500405 HAS SOPS 7500405 HAS SOUS 3844694 HAS SOUPS 3844694 WITH SCORE 3852194.405
AT ITER 2235 NEW BEST:: SOT 30598513 SOS 7500405 HAS SOPS 7500405 HAS SOUS 3844002 HAS SOUPS 3844002 WITH SCORE 3851502.405
AT ITER 2266 NEW BEST:: SOT 30598463 SOS 7500355 HAS SOPS 7500355 HAS SOUS 3843952 HAS SOUPS 3843952 WITH SCORE 3851452.355
AT ITER 2271 NEW BEST:: SOT 30598463 SOS 7500355 HAS SOPS 7500355 HAS SOUS 3843840 HAS SOUPS 3843840 WITH SCORE 3851340.355
AT ITER 2279 NEW BEST:: SOT 30598674 SOS 7500777 HAS SOPS 7500777 HAS SOUS 3842982 HAS SOUPS 3842982 WITH SCORE 3850482.777
AT ITER 2298 NEW BEST:: SOT 30597818 SOS 7500767 HAS SOPS 7500767 HAS SOUS 3842981 HAS SOUPS 3842981 WITH SCORE 3850481.767
AT ITER 2303 NEW BEST:: SOT 30597639 SOS 7500409 HAS SOPS 7500409 HAS SOUS 3842623 HAS SOUPS 3842623 WITH SCORE 3850123.409
AT ITER 2309 NEW BEST:: SOT 30597417 SOS 7500399 HAS SOPS 7500399 HAS SOUS 3842400 HAS SOUPS 3842400 WITH SCORE 3849900.399
AT ITER 2323 NEW BEST:: SOT 30597614 SOS 7500793 HAS SOPS 7500793 HAS SOUS 3841545 HAS SOUPS 3841545 WITH SCORE 3849045.793
AT ITER 2352 NEW BEST:: SOT 30597218 SOS 7499209 HAS SOPS 7499209 HAS SOUS 3841107 HAS SOUPS 3841107 WITH SCORE 3848606.209
AT ITER 2364 NEW BEST:: SOT 30596285 SOS 7499199 HAS SOPS 7499199 HAS SOUS 3840496 HAS SOUPS 3840496 WITH SCORE 3847995.199
AT ITER 2378 NEW BEST:: SOT 30595484 SOS 7499189 HAS SOPS 7499189 HAS SOUS 3839937 HAS SOUPS 3839937 WITH SCORE 3847436.189
AT ITER 2380 NEW BEST:: SOT 30595764 SOS 7508541 HAS SOPS 7508541 HAS SOUS 3839518 HAS SOUPS 3839518 WITH SCORE 3847026.541
AT ITER 2382 NEW BEST:: SOT 30591945 SOS 7504411 HAS SOPS 7504411 HAS SOUS 3839128 HAS SOUPS 3839128 WITH SCORE 3846632.411
AT ITER 2396 NEW BEST:: SOT 30591945 SOS 7504211 HAS SOPS 7504211 HAS SOUS 3839028 HAS SOUPS 3839028 WITH SCORE 3846532.211
AT ITER 2407 NEW BEST:: SOT 30591499 SOS 7506257 HAS SOPS 7506257 HAS SOUS 3837998 HAS SOUPS 3837998 WITH SCORE 3845504.257
AT ITER 2410 NEW BEST:: SOT 30591517 SOS 7506293 HAS SOPS 7506293 HAS SOUS 3837214 HAS SOUPS 3837214 WITH SCORE 3844720.293
AT ITER 2417 NEW BEST:: SOT 30590096 SOS 7506166 HAS SOPS 7506166 HAS SOUS 3836666 HAS SOUPS 3836666 WITH SCORE 3844172.166
AT ITER 2442 NEW BEST:: SOT 30589826 SOS 7508056 HAS SOPS 7508056 HAS SOUS 3836396 HAS SOUPS 3836396 WITH SCORE 3843904.056
AT ITER 2463 NEW BEST:: SOT 30589244 SOS 7508053 HAS SOPS 7508053 HAS SOUS 3835231 HAS SOUPS 3835231 WITH SCORE 3842739.053
AT ITER 2465 NEW BEST:: SOT 30588318 SOS 7507124 HAS SOPS 7507124 HAS SOUS 3834304 HAS SOUPS 3834304 WITH SCORE 3841811.124
AT ITER 2472 NEW BEST:: SOT 30587909 SOS 7507932 HAS SOPS 7507932 HAS SOUS 3834303 HAS SOUPS 3834303 WITH SCORE 3841810.932
AT ITER 2478 NEW BEST:: SOT 30587000 SOS 7507922 HAS SOPS 7507922 HAS SOUS 3833718 HAS SOUPS 3833718 WITH SCORE 3841225.922
AT ITER 2502 NEW BEST:: SOT 30586872 SOS 7507410 HAS SOPS 7507410 HAS SOUS 3833590 HAS SOUPS 3833590 WITH SCORE 3841097.41
AT ITER 2515 NEW BEST:: SOT 30586363 SOS 7506392 HAS SOPS 7506392 HAS SOUS 3833080 HAS SOUPS 3833080 WITH SCORE 3840586.392
AT ITER 2520 NEW BEST:: SOT 30585903 SOS 7505769 HAS SOPS 7505769 HAS SOUS 3832620 HAS SOUPS 3832620 WITH SCORE 3840125.769
AT ITER 2530 NEW BEST:: SOT 30585903 SOS 7508178 HAS SOPS 7508178 HAS SOUS 3831413 HAS SOUPS 3831413 WITH SCORE 3838921.178
AT ITER 2574 NEW BEST:: SOT 30585903 SOS 7507698 HAS SOPS 7507698 HAS SOUS 3831412 HAS SOUPS 3831412 WITH SCORE 3838919.698
AT ITER 2575 NEW BEST:: SOT 30585829 SOS 7507550 HAS SOPS 7507550 HAS SOUS 3831338 HAS SOUPS 3831338 WITH SCORE 3838845.55
AT ITER 2580 NEW BEST:: SOT 30584137 SOS 7505848 HAS SOPS 7505848 HAS SOUS 3829645 HAS SOUPS 3829645 WITH SCORE 3837150.848
AT ITER 2599 NEW BEST:: SOT 30582773 SOS 7505166 HAS SOPS 7505166 HAS SOUS 3828963 HAS SOUPS 3828963 WITH SCORE 3836468.166
AT ITER 2600 NEW BEST:: SOT 30582513 SOS 7502776 HAS SOPS 7502776 HAS SOUS 3828256 HAS SOUPS 3828256 WITH SCORE 3835758.776
AT ITER 2608 NEW BEST:: SOT 30582513 SOS 7506969 HAS SOPS 7506969 HAS SOUS 3827788 HAS SOUPS 3827788 WITH SCORE 3835294.969
AT ITER 2618 NEW BEST:: SOT 30582108 SOS 7503321 HAS SOPS 7503321 HAS SOUS 3826977 HAS SOUPS 3826977 WITH SCORE 3834480.321
AT ITER 2646 NEW BEST:: SOT 30581499 SOS 7503930 HAS SOPS 7503930 HAS SOUS 3826368 HAS SOUPS 3826368 WITH SCORE 3833871.93
AT ITER 2666 NEW BEST:: SOT 30580693 SOS 7503123 HAS SOPS 7503123 HAS SOUS 3825561 HAS SOUPS 3825561 WITH SCORE 3833064.123
AT ITER 2687 NEW BEST:: SOT 30580693 SOS 7501806 HAS SOPS 7501806 HAS SOUS 3825561 HAS SOUPS 3825561 WITH SCORE 3833062.806
AT ITER 2694 NEW BEST:: SOT 30580693 SOS 7502070 HAS SOPS 7502070 HAS SOUS 3824593 HAS SOUPS 3824593 WITH SCORE 3832095.07
AT ITER 2699 NEW BEST:: SOT 30580693 SOS 7502070 HAS SOPS 7502070 HAS SOUS 3824484 HAS SOUPS 3824484 WITH SCORE 3831986.07
AT ITER 2713 NEW BEST:: SOT 30579805 SOS 7501182 HAS SOPS 7501182 HAS SOUS 3823596 HAS SOUPS 3823596 WITH SCORE 3831097.182
AT ITER 2731 NEW BEST:: SOT 30579580 SOS 7501068 HAS SOPS 7501068 HAS SOUS 3823482 HAS SOUPS 3823482 WITH SCORE 3830983.068
AT ITER 2735 NEW BEST:: SOT 30579229 SOS 7501064 HAS SOPS 7501064 HAS SOUS 3823130 HAS SOUPS 3823130 WITH SCORE 3830631.064
AT ITER 2741 NEW BEST:: SOT 30579182 SOS 7501015 HAS SOPS 7501015 HAS SOUS 3823097 HAS SOUPS 3823097 WITH SCORE 3830598.015
AT ITER 2752 NEW BEST:: SOT 30579072 SOS 7501231 HAS SOPS 7501231 HAS SOUS 3823096 HAS SOUPS 3823096 WITH SCORE 3830597.231
AT ITER 2772 NEW BEST:: SOT 30578773 SOS 7500633 HAS SOPS 7500633 HAS SOUS 3822498 HAS SOUPS 3822498 WITH SCORE 3829998.633
AT ITER 2785 NEW BEST:: SOT 30579383 SOS 7499409 HAS SOPS 7499409 HAS SOUS 3821998 HAS SOUPS 3821998 WITH SCORE 3829497.409
AT ITER 2806 NEW BEST:: SOT 30579281 SOS 7499307 HAS SOPS 7499307 HAS SOUS 3821896 HAS SOUPS 3821896 WITH SCORE 3829395.307
AT ITER 2819 NEW BEST:: SOT 30579435 SOS 7504358 HAS SOPS 7504358 HAS SOUS 3821677 HAS SOUPS 3821677 WITH SCORE 3829181.358
AT ITER 2820 NEW BEST:: SOT 30579365 SOS 7504288 HAS SOPS 7504288 HAS SOUS 3821607 HAS SOUPS 3821607 WITH SCORE 3829111.288
AT ITER 2835 NEW BEST:: SOT 30579365 SOS 7504288 HAS SOPS 7504288 HAS SOUS 3821606 HAS SOUPS 3821606 WITH SCORE 3829110.288
AT ITER 2872 NEW BEST:: SOT 30579163 SOS 7504940 HAS SOPS 7504940 HAS SOUS 3821518 HAS SOUPS 3821518 WITH SCORE 3829022.94
AT ITER 2888 NEW BEST:: SOT 30578888 SOS 7504886 HAS SOPS 7504886 HAS SOUS 3821464 HAS SOUPS 3821464 WITH SCORE 3828968.886
AT ITER 2894 NEW BEST:: SOT 30578300 SOS 7505072 HAS SOPS 7505072 HAS SOUS 3821330 HAS SOUPS 3821330 WITH SCORE 3828835.072
AT ITER 2912 NEW BEST:: SOT 30577242 SOS 7505293 HAS SOPS 7505293 HAS SOUS 3821051 HAS SOUPS 3821051 WITH SCORE 3828556.293
AT ITER 2925 NEW BEST:: SOT 30576919 SOS 7504647 HAS SOPS 7504647 HAS SOUS 3820405 HAS SOUPS 3820405 WITH SCORE 3827909.647
AT ITER 2927 NEW BEST:: SOT 30576919 SOS 7504750 HAS SOPS 7504750 HAS SOUS 3820351 HAS SOUPS 3820351 WITH SCORE 3827855.75
AT ITER 2928 NEW BEST:: SOT 30575626 SOS 7505183 HAS SOPS 7505183 HAS SOUS 3817764 HAS SOUPS 3817764 WITH SCORE 3825269.183
AT ITER 2940 NEW BEST:: SOT 30574014 SOS 7503274 HAS SOPS 7503274 HAS SOUS 3816660 HAS SOUPS 3816660 WITH SCORE 3824163.274
AT ITER 2944 NEW BEST:: SOT 30574014 SOS 7503273 HAS SOPS 7503273 HAS SOUS 3816659 HAS SOUPS 3816659 WITH SCORE 3824162.273
AT ITER 2966 NEW BEST:: SOT 30574098 SOS 7503441 HAS SOPS 7503441 HAS SOUS 3815608 HAS SOUPS 3815608 WITH SCORE 3823111.441
AT ITER 2973 NEW BEST:: SOT 30574035 SOS 7503378 HAS SOPS 7503378 HAS SOUS 3815545 HAS SOUPS 3815545 WITH SCORE 3823048.378
AT ITER 3002 NEW BEST:: SOT 30574035 SOS 7499298 HAS SOPS 7499298 HAS SOUS 3815137 HAS SOUPS 3815137 WITH SCORE 3822636.298
AT ITER 3032 NEW BEST:: SOT 30573234 SOS 7498806 HAS SOPS 7498806 HAS SOUS 3814336 HAS SOUPS 3814336 WITH SCORE 3821834.806
AT ITER 3036 NEW BEST:: SOT 30571838 SOS 7498114 HAS SOPS 7498114 HAS SOUS 3813640 HAS SOUPS 3813640 WITH SCORE 3821138.114
AT ITER 3060 NEW BEST:: SOT 30570277 SOS 7497353 HAS SOPS 7497353 HAS SOUS 3812866 HAS SOUPS 3812866 WITH SCORE 3820363.353
AT ITER 3061 NEW BEST:: SOT 30570277 SOS 7496066 HAS SOPS 7496066 HAS SOUS 3812865 HAS SOUPS 3812865 WITH SCORE 3820361.066
AT ITER 3079 NEW BEST:: SOT 30570266 SOS 7496071 HAS SOPS 7496071 HAS SOUS 3812852 HAS SOUPS 3812852 WITH SCORE 3820348.071
AT ITER 3105 NEW BEST:: SOT 30570135 SOS 7496172 HAS SOPS 7496172 HAS SOUS 3812793 HAS SOUPS 3812793 WITH SCORE 3820289.172
AT ITER 3124 NEW BEST:: SOT 30570367 SOS 7500652 HAS SOPS 7500652 HAS SOUS 3812232 HAS SOUPS 3812232 WITH SCORE 3819732.652
AT ITER 3130 NEW BEST:: SOT 30570237 SOS 7500522 HAS SOPS 7500522 HAS SOUS 3812102 HAS SOUPS 3812102 WITH SCORE 3819602.522
AT ITER 3131 NEW BEST:: SOT 30570069 SOS 7500438 HAS SOPS 7500438 HAS SOUS 3812018 HAS SOUPS 3812018 WITH SCORE 3819518.438
AT ITER 3151 NEW BEST:: SOT 30569759 SOS 7500748 HAS SOPS 7500748 HAS SOUS 3811708 HAS SOUPS 3811708 WITH SCORE 3819208.748
AT ITER 3160 NEW BEST:: SOT 30569497 SOS 7506551 HAS SOPS 7506551 HAS SOUS 3811445 HAS SOUPS 3811445 WITH SCORE 3818951.551
AT ITER 3193 NEW BEST:: SOT 30569048 SOS 7507000 HAS SOPS 7507000 HAS SOUS 3810996 HAS SOUPS 3810996 WITH SCORE 3818503.0
AT ITER 3266 NEW BEST:: SOT 30569048 SOS 7505599 HAS SOPS 7505599 HAS SOUS 3810995 HAS SOUPS 3810995 WITH SCORE 3818500.599
AT ITER 3283 NEW BEST:: SOT 30568834 SOS 7505813 HAS SOPS 7505813 HAS SOUS 3810781 HAS SOUPS 3810781 WITH SCORE 3818286.813
AT ITER 3293 NEW BEST:: SOT 30568286 SOS 7503837 HAS SOPS 7503837 HAS SOUS 3809838 HAS SOUPS 3809838 WITH SCORE 3817341.837
AT ITER 3297 NEW BEST:: SOT 30567586 SOS 7502437 HAS SOPS 7502437 HAS SOUS 3807610 HAS SOUPS 3807610 WITH SCORE 3815112.437
AT ITER 3300 NEW BEST:: SOT 30567586 SOS 7502327 HAS SOPS 7502327 HAS SOUS 3807500 HAS SOUPS 3807500 WITH SCORE 3815002.327
AT ITER 3309 NEW BEST:: SOT 30567585 SOS 7502325 HAS SOPS 7502325 HAS SOUS 3807498 HAS SOUPS 3807498 WITH SCORE 3815000.325
AT ITER 3322 NEW BEST:: SOT 30567455 SOS 7501571 HAS SOPS 7501571 HAS SOUS 3807368 HAS SOUPS 3807368 WITH SCORE 3814869.571
AT ITER 3323 NEW BEST:: SOT 30567455 SOS 7501571 HAS SOPS 7501571 HAS SOUS 3807000 HAS SOUPS 3807000 WITH SCORE 3814501.571
AT ITER 3329 NEW BEST:: SOT 30567455 SOS 7504639 HAS SOPS 7504639 HAS SOUS 3806429 HAS SOUPS 3806429 WITH SCORE 3813933.639
AT ITER 3338 NEW BEST:: SOT 30567093 SOS 7504635 HAS SOPS 7504635 HAS SOUS 3806066 HAS SOUPS 3806066 WITH SCORE 3813570.635
AT ITER 3340 NEW BEST:: SOT 30565635 SOS 7504093 HAS SOPS 7504093 HAS SOUS 3804995 HAS SOUPS 3804995 WITH SCORE 3812499.093
AT ITER 3349 NEW BEST:: SOT 30566179 SOS 7505181 HAS SOPS 7505181 HAS SOUS 3804023 HAS SOUPS 3804023 WITH SCORE 3811528.181
AT ITER 3354 NEW BEST:: SOT 30564968 SOS 7505341 HAS SOPS 7505341 HAS SOUS 3803410 HAS SOUPS 3803410 WITH SCORE 3810915.341
AT ITER 3372 NEW BEST:: SOT 30564841 SOS 7504833 HAS SOPS 7504833 HAS SOUS 3803283 HAS SOUPS 3803283 WITH SCORE 3810787.833
AT ITER 3493 NEW BEST:: SOT 30563834 SOS 7503909 HAS SOPS 7503909 HAS SOUS 3802317 HAS SOUPS 3802317 WITH SCORE 3809820.909
AT ITER 3512 NEW BEST:: SOT 30563834 SOS 7502733 HAS SOPS 7502733 HAS SOUS 3802317 HAS SOUPS 3802317 WITH SCORE 3809819.733
AT ITER 3541 NEW BEST:: SOT 30562869 SOS 7502530 HAS SOPS 7502530 HAS SOUS 3800387 HAS SOUPS 3800387 WITH SCORE 3807889.53
AT ITER 3583 NEW BEST:: SOT 30562651 SOS 7500960 HAS SOPS 7500960 HAS SOUS 3799950 HAS SOUPS 3799950 WITH SCORE 3807450.96
AT ITER 3609 NEW BEST:: SOT 30562677 SOS 7500951 HAS SOPS 7500951 HAS SOUS 3799672 HAS SOUPS 3799672 WITH SCORE 3807172.951
AT ITER 3665 NEW BEST:: SOT 30562184 SOS 7500947 HAS SOPS 7500947 HAS SOUS 3799671 HAS SOUPS 3799671 WITH SCORE 3807171.947
AT ITER 3679 NEW BEST:: SOT 30561886 SOS 7502637 HAS SOPS 7502637 HAS SOUS 3799075 HAS SOUPS 3799075 WITH SCORE 3806577.637
AT ITER 3695 NEW BEST:: SOT 30561541 SOS 7503333 HAS SOPS 7503333 HAS SOUS 3798730 HAS SOUPS 3798730 WITH SCORE 3806233.333
AT ITER 3708 NEW BEST:: SOT 30561570 SOS 7504759 HAS SOPS 7504759 HAS SOUS 3798226 HAS SOUPS 3798226 WITH SCORE 3805730.759
AT ITER 3741 NEW BEST:: SOT 30560867 SOS 7511443 HAS SOPS 7511443 HAS SOUS 3796819 HAS SOUPS 3796819 WITH SCORE 3804330.443
AT ITER 3758 NEW BEST:: SOT 30559896 SOS 7511443 HAS SOPS 7511443 HAS SOUS 3795504 HAS SOUPS 3795504 WITH SCORE 3803015.443
AT ITER 3766 NEW BEST:: SOT 30559896 SOS 7511443 HAS SOPS 7511443 HAS SOUS 3795460 HAS SOUPS 3795460 WITH SCORE 3802971.443
AT ITER 3779 NEW BEST:: SOT 30559469 SOS 7511439 HAS SOPS 7511439 HAS SOUS 3795156 HAS SOUPS 3795156 WITH SCORE 3802667.439
AT ITER 3816 NEW BEST:: SOT 30559468 SOS 7511437 HAS SOPS 7511437 HAS SOUS 3795154 HAS SOUPS 3795154 WITH SCORE 3802665.437
AT ITER 3887 NEW BEST:: SOT 30559440 SOS 7511381 HAS SOPS 7511381 HAS SOUS 3795105 HAS SOUPS 3795105 WITH SCORE 3802616.381
AT ITER 3903 NEW BEST:: SOT 30559420 SOS 7511341 HAS SOPS 7511341 HAS SOUS 3795065 HAS SOUPS 3795065 WITH SCORE 3802576.341
AT ITER 3932 NEW BEST:: SOT 30559420 SOS 7512131 HAS SOPS 7512131 HAS SOUS 3795063 HAS SOUPS 3795063 WITH SCORE 3802575.131
AT ITER 3936 NEW BEST:: SOT 30558899 SOS 7512649 HAS SOPS 7512649 HAS SOUS 3794541 HAS SOUPS 3794541 WITH SCORE 3802053.649
AT ITER 3959 NEW BEST:: SOT 30558899 SOS 7511077 HAS SOPS 7511077 HAS SOUS 3794017 HAS SOUPS 3794017 WITH SCORE 3801528.077
AT ITER 3974 NEW BEST:: SOT 30558886 SOS 7512155 HAS SOPS 7512155 HAS SOUS 3794003 HAS SOUPS 3794003 WITH SCORE 3801515.155
AT ITER 3977 NEW BEST:: SOT 30558710 SOS 7512154 HAS SOPS 7512154 HAS SOUS 3794002 HAS SOUPS 3794002 WITH SCORE 3801514.154
AT ITER 3987 NEW BEST:: SOT 30558651 SOS 7511397 HAS SOPS 7511397 HAS SOUS 3793943 HAS SOUPS 3793943 WITH SCORE 3801454.397
AT ITER 4006 NEW BEST:: SOT 30558086 SOS 7511397 HAS SOPS 7511397 HAS SOUS 3793378 HAS SOUPS 3793378 WITH SCORE 3800889.397
AT ITER 4042 NEW BEST:: SOT 30557919 SOS 7511230 HAS SOPS 7511230 HAS SOUS 3793211 HAS SOUPS 3793211 WITH SCORE 3800722.23
AT ITER 4056 NEW BEST:: SOT 30557848 SOS 7511669 HAS SOPS 7511669 HAS SOUS 3793140 HAS SOUPS 3793140 WITH SCORE 3800651.669
AT ITER 4063 NEW BEST:: SOT 30556206 SOS 7510838 HAS SOPS 7510838 HAS SOUS 3791720 HAS SOUPS 3791720 WITH SCORE 3799230.838
AT ITER 4066 NEW BEST:: SOT 30556206 SOS 7510838 HAS SOPS 7510838 HAS SOUS 3791719 HAS SOUPS 3791719 WITH SCORE 3799229.838
AT ITER 4076 NEW BEST:: SOT 30556206 SOS 7510881 HAS SOPS 7510881 HAS SOUS 3791715 HAS SOUPS 3791715 WITH SCORE 3799225.881
AT ITER 4161 NEW BEST:: SOT 30555644 SOS 7510319 HAS SOPS 7510319 HAS SOUS 3791153 HAS SOUPS 3791153 WITH SCORE 3798663.319
AT ITER 4163 NEW BEST:: SOT 30553989 SOS 7508664 HAS SOPS 7508664 HAS SOUS 3789498 HAS SOUPS 3789498 WITH SCORE 3797006.664
AT ITER 4187 NEW BEST:: SOT 30553955 SOS 7508596 HAS SOPS 7508596 HAS SOUS 3789464 HAS SOUPS 3789464 WITH SCORE 3796972.596
AT ITER 4190 NEW BEST:: SOT 30553288 SOS 7507262 HAS SOPS 7507262 HAS SOUS 3788797 HAS SOUPS 3788797 WITH SCORE 3796304.262
AT ITER 4191 NEW BEST:: SOT 30553046 SOS 7507504 HAS SOPS 7507504 HAS SOUS 3788555 HAS SOUPS 3788555 WITH SCORE 3796062.504
AT ITER 4218 NEW BEST:: SOT 30552161 SOS 7506882 HAS SOPS 7506882 HAS SOUS 3787933 HAS SOUPS 3787933 WITH SCORE 3795439.882
AT ITER 4227 NEW BEST:: SOT 30552161 SOS 7505036 HAS SOPS 7505036 HAS SOUS 3787932 HAS SOUPS 3787932 WITH SCORE 3795437.036
AT ITER 4231 NEW BEST:: SOT 30550683 SOS 7504287 HAS SOPS 7504287 HAS SOUS 3787192 HAS SOUPS 3787192 WITH SCORE 3794696.287
AT ITER 4237 NEW BEST:: SOT 30550655 SOS 7504231 HAS SOPS 7504231 HAS SOUS 3787192 HAS SOUPS 3787192 WITH SCORE 3794696.231
AT ITER 4241 NEW BEST:: SOT 30550418 SOS 7503757 HAS SOPS 7503757 HAS SOUS 3786954 HAS SOUPS 3786954 WITH SCORE 3794457.757
AT ITER 4247 NEW BEST:: SOT 30550869 SOS 7504659 HAS SOPS 7504659 HAS SOUS 3785842 HAS SOUPS 3785842 WITH SCORE 3793346.659
AT ITER 4261 NEW BEST:: SOT 30550869 SOS 7504659 HAS SOPS 7504659 HAS SOUS 3785716 HAS SOUPS 3785716 WITH SCORE 3793220.659
AT ITER 4262 NEW BEST:: SOT 30550872 SOS 7503597 HAS SOPS 7503597 HAS SOUS 3785363 HAS SOUPS 3785363 WITH SCORE 3792866.597
AT ITER 4263 NEW BEST:: SOT 30550872 SOS 7499733 HAS SOPS 7499733 HAS SOUS 3785363 HAS SOUPS 3785363 WITH SCORE 3792862.733
AT ITER 4265 NEW BEST:: SOT 30550872 SOS 7499399 HAS SOPS 7499399 HAS SOUS 3785196 HAS SOUPS 3785196 WITH SCORE 3792695.399
AT ITER 4282 NEW BEST:: SOT 30550872 SOS 7498613 HAS SOPS 7498613 HAS SOUS 3784934 HAS SOUPS 3784934 WITH SCORE 3792432.613
AT ITER 4284 NEW BEST:: SOT 30550045 SOS 7496959 HAS SOPS 7496959 HAS SOUS 3784107 HAS SOUPS 3784107 WITH SCORE 3791603.959
AT ITER 4286 NEW BEST:: SOT 30549015 SOS 7504169 HAS SOPS 7504169 HAS SOUS 3783077 HAS SOUPS 3783077 WITH SCORE 3790581.169
AT ITER 4337 NEW BEST:: SOT 30548992 SOS 7504123 HAS SOPS 7504123 HAS SOUS 3783072 HAS SOUPS 3783072 WITH SCORE 3790576.123
AT ITER 4367 NEW BEST:: SOT 30548526 SOS 7503675 HAS SOPS 7503675 HAS SOUS 3782624 HAS SOUPS 3782624 WITH SCORE 3790127.675
AT ITER 4397 NEW BEST:: SOT 30547801 SOS 7502225 HAS SOPS 7502225 HAS SOUS 3781174 HAS SOUPS 3781174 WITH SCORE 3788676.225
AT ITER 4421 NEW BEST:: SOT 30547486 SOS 7502142 HAS SOPS 7502142 HAS SOUS 3781091 HAS SOUPS 3781091 WITH SCORE 3788593.142
AT ITER 4425 NEW BEST:: SOT 30546929 SOS 7501642 HAS SOPS 7501642 HAS SOUS 3780591 HAS SOUPS 3780591 WITH SCORE 3788092.642
AT ITER 4429 NEW BEST:: SOT 30546929 SOS 7501201 HAS SOPS 7501201 HAS SOUS 3780444 HAS SOUPS 3780444 WITH SCORE 3787945.201
AT ITER 4447 NEW BEST:: SOT 30546787 SOS 7500917 HAS SOPS 7500917 HAS SOUS 3780160 HAS SOUPS 3780160 WITH SCORE 3787660.917
AT ITER 4470 NEW BEST:: SOT 30546142 SOS 7499627 HAS SOPS 7499627 HAS SOUS 3779362 HAS SOUPS 3779362 WITH SCORE 3786861.627
AT ITER 4489 NEW BEST:: SOT 30546142 SOS 7499627 HAS SOPS 7499627 HAS SOUS 3779361 HAS SOUPS 3779361 WITH SCORE 3786860.627
AT ITER 4511 NEW BEST:: SOT 30546237 SOS 7506998 HAS SOPS 7506998 HAS SOUS 3778751 HAS SOUPS 3778751 WITH SCORE 3786257.998
AT ITER 4543 NEW BEST:: SOT 30546562 SOS 7507648 HAS SOPS 7507648 HAS SOUS 3778126 HAS SOUPS 3778126 WITH SCORE 3785633.648
AT ITER 4585 NEW BEST:: SOT 30545952 SOS 7507333 HAS SOPS 7507333 HAS SOUS 3777515 HAS SOUPS 3777515 WITH SCORE 3785022.333
AT ITER 4597 NEW BEST:: SOT 30545951 SOS 7507331 HAS SOPS 7507331 HAS SOUS 3777513 HAS SOUPS 3777513 WITH SCORE 3785020.331
AT ITER 4608 NEW BEST:: SOT 30545951 SOS 7507239 HAS SOPS 7507239 HAS SOUS 3777421 HAS SOUPS 3777421 WITH SCORE 3784928.239
AT ITER 4617 NEW BEST:: SOT 30545559 SOS 7506847 HAS SOPS 7506847 HAS SOUS 3777421 HAS SOUPS 3777421 WITH SCORE 3784927.847
AT ITER 4626 NEW BEST:: SOT 30545559 SOS 7504894 HAS SOPS 7504894 HAS SOUS 3777421 HAS SOUPS 3777421 WITH SCORE 3784925.894
AT ITER 4663 NEW BEST:: SOT 30546560 SOS 7502530 HAS SOPS 7502530 HAS SOUS 3776993 HAS SOUPS 3776993 WITH SCORE 3784495.53
AT ITER 4688 NEW BEST:: SOT 30546390 SOS 7503380 HAS SOPS 7503380 HAS SOUS 3776823 HAS SOUPS 3776823 WITH SCORE 3784326.38
AT ITER 4703 NEW BEST:: SOT 30546343 SOS 7503286 HAS SOPS 7503286 HAS SOUS 3776729 HAS SOUPS 3776729 WITH SCORE 3784232.286
AT ITER 4713 NEW BEST:: SOT 30546097 SOS 7502794 HAS SOPS 7502794 HAS SOUS 3776237 HAS SOUPS 3776237 WITH SCORE 3783739.794
AT ITER 4725 NEW BEST:: SOT 30545690 SOS 7509316 HAS SOPS 7509316 HAS SOUS 3775829 HAS SOUPS 3775829 WITH SCORE 3783338.316
AT ITER 4732 NEW BEST:: SOT 30545689 SOS 7509313 HAS SOPS 7509313 HAS SOUS 3775826 HAS SOUPS 3775826 WITH SCORE 3783335.313
AT ITER 4746 NEW BEST:: SOT 30545399 SOS 7508833 HAS SOPS 7508833 HAS SOUS 3775346 HAS SOUPS 3775346 WITH SCORE 3782854.833
AT ITER 4764 NEW BEST:: SOT 30544674 SOS 7508833 HAS SOPS 7508833 HAS SOUS 3774043 HAS SOUPS 3774043 WITH SCORE 3781551.833
AT ITER 4775 NEW BEST:: SOT 30543053 SOS 7508747 HAS SOPS 7508747 HAS SOUS 3772905 HAS SOUPS 3772905 WITH SCORE 3780413.747
AT ITER 4797 NEW BEST:: SOT 30543053 SOS 7506533 HAS SOPS 7506533 HAS SOUS 3772905 HAS SOUPS 3772905 WITH SCORE 3780411.533
AT ITER 4799 NEW BEST:: SOT 30542570 SOS 7502183 HAS SOPS 7502183 HAS SOUS 3771938 HAS SOUPS 3771938 WITH SCORE 3779440.183
AT ITER 4805 NEW BEST:: SOT 30542570 SOS 7501249 HAS SOPS 7501249 HAS SOUS 3771347 HAS SOUPS 3771347 WITH SCORE 3778848.249
AT ITER 4830 NEW BEST:: SOT 30542555 SOS 7501219 HAS SOPS 7501219 HAS SOUS 3771317 HAS SOUPS 3771317 WITH SCORE 3778818.219
AT ITER 4917 NEW BEST:: SOT 30542912 SOS 7500247 HAS SOPS 7500247 HAS SOUS 3771290 HAS SOUPS 3771290 WITH SCORE 3778790.247
AT ITER 4944 NEW BEST:: SOT 30542723 SOS 7499869 HAS SOPS 7499869 HAS SOUS 3770674 HAS SOUPS 3770674 WITH SCORE 3778173.869
AT ITER 5001 NEW BEST:: SOT 30542711 SOS 7499845 HAS SOPS 7499845 HAS SOUS 3770661 HAS SOUPS 3770661 WITH SCORE 3778160.845
AT ITER 5017 NEW BEST:: SOT 30542711 SOS 7499162 HAS SOPS 7499162 HAS SOUS 3770660 HAS SOUPS 3770660 WITH SCORE 3778159.162
AT ITER 5021 NEW BEST:: SOT 30542428 SOS 7498313 HAS SOPS 7498313 HAS SOUS 3770094 HAS SOUPS 3770094 WITH SCORE 3777592.313
AT ITER 5043 NEW BEST:: SOT 30542233 SOS 7498508 HAS SOPS 7498508 HAS SOUS 3769899 HAS SOUPS 3769899 WITH SCORE 3777397.508
AT ITER 5044 NEW BEST:: SOT 30541978 SOS 7495832 HAS SOPS 7495832 HAS SOUS 3769262 HAS SOUPS 3769262 WITH SCORE 3776757.832
AT ITER 5056 NEW BEST:: SOT 30541978 SOS 7495789 HAS SOPS 7495789 HAS SOUS 3769219 HAS SOUPS 3769219 WITH SCORE 3776714.789
AT ITER 5078 NEW BEST:: SOT 30541882 SOS 7495741 HAS SOPS 7495741 HAS SOUS 3769171 HAS SOUPS 3769171 WITH SCORE 3776666.741
AT ITER 5091 NEW BEST:: SOT 30541522 SOS 7495621 HAS SOPS 7495621 HAS SOUS 3768215 HAS SOUPS 3768215 WITH SCORE 3775710.621
AT ITER 5135 NEW BEST:: SOT 30541522 SOS 7495515 HAS SOPS 7495515 HAS SOUS 3768215 HAS SOUPS 3768215 WITH SCORE 3775710.515
AT ITER 5143 NEW BEST:: SOT 30541392 SOS 7495255 HAS SOPS 7495255 HAS SOUS 3767954 HAS SOUPS 3767954 WITH SCORE 3775449.255
AT ITER 5152 NEW BEST:: SOT 30541201 SOS 7495173 HAS SOPS 7495173 HAS SOUS 3767863 HAS SOUPS 3767863 WITH SCORE 3775358.173
AT ITER 5156 NEW BEST:: SOT 30540712 SOS 7495169 HAS SOPS 7495169 HAS SOUS 3767530 HAS SOUPS 3767530 WITH SCORE 3775025.169
AT ITER 5163 NEW BEST:: SOT 30538973 SOS 7493430 HAS SOPS 7493430 HAS SOUS 3765791 HAS SOUPS 3765791 WITH SCORE 3773284.43
AT ITER 5174 NEW BEST:: SOT 30539004 SOS 7492763 HAS SOPS 7492763 HAS SOUS 3765124 HAS SOUPS 3765124 WITH SCORE 3772616.763
AT ITER 5202 NEW BEST:: SOT 30539241 SOS 7492715 HAS SOPS 7492715 HAS SOUS 3765100 HAS SOUPS 3765100 WITH SCORE 3772592.715
AT ITER 5224 NEW BEST:: SOT 30539426 SOS 7493723 HAS SOPS 7493723 HAS SOUS 3764832 HAS SOUPS 3764832 WITH SCORE 3772325.723
AT ITER 5243 NEW BEST:: SOT 30539215 SOS 7502076 HAS SOPS 7502076 HAS SOUS 3764410 HAS SOUPS 3764410 WITH SCORE 3771912.076
AT ITER 5257 NEW BEST:: SOT 30539215 SOS 7505540 HAS SOPS 7505540 HAS SOUS 3764023 HAS SOUPS 3764023 WITH SCORE 3771528.54
AT ITER 5258 NEW BEST:: SOT 30539215 SOS 7505540 HAS SOPS 7505540 HAS SOUS 3764019 HAS SOUPS 3764019 WITH SCORE 3771524.54
AT ITER 5295 NEW BEST:: SOT 30539215 SOS 7506223 HAS SOPS 7506223 HAS SOUS 3764018 HAS SOUPS 3764018 WITH SCORE 3771524.223
AT ITER 5307 NEW BEST:: SOT 30539215 SOS 7506031 HAS SOPS 7506031 HAS SOUS 3764018 HAS SOUPS 3764018 WITH SCORE 3771524.031
AT ITER 5312 NEW BEST:: SOT 30539215 SOS 7504567 HAS SOPS 7504567 HAS SOUS 3763530 HAS SOUPS 3763530 WITH SCORE 3771034.567
AT ITER 5325 NEW BEST:: SOT 30538789 SOS 7502863 HAS SOPS 7502863 HAS SOUS 3763104 HAS SOUPS 3763104 WITH SCORE 3770606.863
AT ITER 5337 NEW BEST:: SOT 30538444 SOS 7502808 HAS SOPS 7502808 HAS SOUS 3763049 HAS SOUPS 3763049 WITH SCORE 3770551.808
AT ITER 5398 NEW BEST:: SOT 30537970 SOS 7504719 HAS SOPS 7504719 HAS SOUS 3762852 HAS SOUPS 3762852 WITH SCORE 3770356.719
AT ITER 5406 NEW BEST:: SOT 30537970 SOS 7504241 HAS SOPS 7504241 HAS SOUS 3762852 HAS SOUPS 3762852 WITH SCORE 3770356.241
AT ITER 5407 NEW BEST:: SOT 30538260 SOS 7511720 HAS SOPS 7511720 HAS SOUS 3762562 HAS SOUPS 3762562 WITH SCORE 3770073.72
AT ITER 5414 NEW BEST:: SOT 30537337 SOS 7510797 HAS SOPS 7510797 HAS SOUS 3761639 HAS SOUPS 3761639 WITH SCORE 3769149.797
AT ITER 5416 NEW BEST:: SOT 30537252 SOS 7510627 HAS SOPS 7510627 HAS SOUS 3761172 HAS SOUPS 3761172 WITH SCORE 3768682.627
AT ITER 5431 NEW BEST:: SOT 30536996 SOS 7510439 HAS SOPS 7510439 HAS SOUS 3760984 HAS SOUPS 3760984 WITH SCORE 3768494.439
AT ITER 5459 NEW BEST:: SOT 30536996 SOS 7510478 HAS SOPS 7510478 HAS SOUS 3760983 HAS SOUPS 3760983 WITH SCORE 3768493.478
AT ITER 5461 NEW BEST:: SOT 30536072 SOS 7510475 HAS SOPS 7510475 HAS SOUS 3759134 HAS SOUPS 3759134 WITH SCORE 3766644.475
AT ITER 5463 NEW BEST:: SOT 30535175 SOS 7509619 HAS SOPS 7509619 HAS SOUS 3757340 HAS SOUPS 3757340 WITH SCORE 3764849.619
AT ITER 5482 NEW BEST:: SOT 30534679 SOS 7508627 HAS SOPS 7508627 HAS SOUS 3756844 HAS SOUPS 3756844 WITH SCORE 3764352.627
AT ITER 5497 NEW BEST:: SOT 30534679 SOS 7508617 HAS SOPS 7508617 HAS SOUS 3756655 HAS SOUPS 3756655 WITH SCORE 3764163.617
AT ITER 5517 NEW BEST:: SOT 30534678 SOS 7508615 HAS SOPS 7508615 HAS SOUS 3756653 HAS SOUPS 3756653 WITH SCORE 3764161.615
AT ITER 5551 NEW BEST:: SOT 30533563 SOS 7508071 HAS SOPS 7508071 HAS SOUS 3756385 HAS SOUPS 3756385 WITH SCORE 3763893.071
AT ITER 5557 NEW BEST:: SOT 30533938 SOS 7506949 HAS SOPS 7506949 HAS SOUS 3756323 HAS SOUPS 3756323 WITH SCORE 3763829.949
AT ITER 5616 NEW BEST:: SOT 30533166 SOS 7501335 HAS SOPS 7501335 HAS SOUS 3754600 HAS SOUPS 3754600 WITH SCORE 3762101.335
AT ITER 5618 NEW BEST:: SOT 30533256 SOS 7501515 HAS SOPS 7501515 HAS SOUS 3754333 HAS SOUPS 3754333 WITH SCORE 3761834.515
AT ITER 5623 NEW BEST:: SOT 30532959 SOS 7508609 HAS SOPS 7508609 HAS SOUS 3754035 HAS SOUPS 3754035 WITH SCORE 3761543.609
AT ITER 5641 NEW BEST:: SOT 30532959 SOS 7508483 HAS SOPS 7508483 HAS SOUS 3753909 HAS SOUPS 3753909 WITH SCORE 3761417.483
AT ITER 5663 NEW BEST:: SOT 30532959 SOS 7509183 HAS SOPS 7509183 HAS SOUS 3753908 HAS SOUPS 3753908 WITH SCORE 3761417.183
AT ITER 5765 NEW BEST:: SOT 30532781 SOS 7509018 HAS SOPS 7509018 HAS SOUS 3753734 HAS SOUPS 3753734 WITH SCORE 3761243.018
AT ITER 5861 NEW BEST:: SOT 30532083 SOS 7507622 HAS SOPS 7507622 HAS SOUS 3752902 HAS SOUPS 3752902 WITH SCORE 3760409.622
AT ITER 5862 NEW BEST:: SOT 30532433 SOS 7506697 HAS SOPS 7506697 HAS SOUS 3752874 HAS SOUPS 3752874 WITH SCORE 3760380.697
AT ITER 5865 NEW BEST:: SOT 30532542 SOS 7506477 HAS SOPS 7506477 HAS SOUS 3752654 HAS SOUPS 3752654 WITH SCORE 3760160.477
AT ITER 5903 NEW BEST:: SOT 30532542 SOS 7506467 HAS SOPS 7506467 HAS SOUS 3752653 HAS SOUPS 3752653 WITH SCORE 3760159.467
AT ITER 5942 NEW BEST:: SOT 30532542 SOS 7506467 HAS SOPS 7506467 HAS SOUS 3752500 HAS SOUPS 3752500 WITH SCORE 3760006.467
AT ITER 5960 NEW BEST:: SOT 30532155 SOS 7506965 HAS SOPS 7506965 HAS SOUS 3751812 HAS SOUPS 3751812 WITH SCORE 3759318.965
AT ITER 5981 NEW BEST:: SOT 30532150 SOS 7506955 HAS SOPS 7506955 HAS SOUS 3751802 HAS SOUPS 3751802 WITH SCORE 3759308.955
AT ITER 5982 NEW BEST:: SOT 30532149 SOS 7506953 HAS SOPS 7506953 HAS SOUS 3751800 HAS SOUPS 3751800 WITH SCORE 3759306.953
AT ITER 6004 NEW BEST:: SOT 30532002 SOS 7506806 HAS SOPS 7506806 HAS SOUS 3751653 HAS SOUPS 3751653 WITH SCORE 3759159.806
AT ITER 6025 NEW BEST:: SOT 30532109 SOS 7507017 HAS SOPS 7507017 HAS SOUS 3750483 HAS SOUPS 3750483 WITH SCORE 3757990.017
AT ITER 6063 NEW BEST:: SOT 30532109 SOS 7508915 HAS SOPS 7508915 HAS SOUS 3750481 HAS SOUPS 3750481 WITH SCORE 3757989.915
AT ITER 6075 NEW BEST:: SOT 30532109 SOS 7507451 HAS SOPS 7507451 HAS SOUS 3749993 HAS SOUPS 3749993 WITH SCORE 3757500.451
AT ITER 6077 NEW BEST:: SOT 30531754 SOS 7509936 HAS SOPS 7509936 HAS SOUS 3749638 HAS SOUPS 3749638 WITH SCORE 3757147.936
AT ITER 6081 NEW BEST:: SOT 30531754 SOS 7510874 HAS SOPS 7510874 HAS SOUS 3749479 HAS SOUPS 3749479 WITH SCORE 3756989.874
AT ITER 6104 NEW BEST:: SOT 30530093 SOS 7509226 HAS SOPS 7509226 HAS SOUS 3747831 HAS SOUPS 3747831 WITH SCORE 3755340.226
AT ITER 6132 NEW BEST:: SOT 30530092 SOS 7507796 HAS SOPS 7507796 HAS SOUS 3747830 HAS SOUPS 3747830 WITH SCORE 3755337.796
AT ITER 6151 NEW BEST:: SOT 30528538 SOS 7507046 HAS SOPS 7507046 HAS SOUS 3746955 HAS SOUPS 3746955 WITH SCORE 3754462.046
AT ITER 6153 NEW BEST:: SOT 30527987 SOS 7510893 HAS SOPS 7510893 HAS SOUS 3745852 HAS SOUPS 3745852 WITH SCORE 3753362.893
AT ITER 6157 NEW BEST:: SOT 30527741 SOS 7510770 HAS SOPS 7510770 HAS SOUS 3745729 HAS SOUPS 3745729 WITH SCORE 3753239.77
AT ITER 6161 NEW BEST:: SOT 30527741 SOS 7511708 HAS SOPS 7511708 HAS SOUS 3745727 HAS SOUPS 3745727 WITH SCORE 3753238.708
AT ITER 6177 NEW BEST:: SOT 30527057 SOS 7510682 HAS SOPS 7510682 HAS SOUS 3745043 HAS SOUPS 3745043 WITH SCORE 3752553.682
AT ITER 6183 NEW BEST:: SOT 30527057 SOS 7510569 HAS SOPS 7510569 HAS SOUS 3744930 HAS SOUPS 3744930 WITH SCORE 3752440.569
AT ITER 6186 NEW BEST:: SOT 30526295 SOS 7509803 HAS SOPS 7509803 HAS SOUS 3744167 HAS SOUPS 3744167 WITH SCORE 3751676.803
AT ITER 6192 NEW BEST:: SOT 30526274 SOS 7509761 HAS SOPS 7509761 HAS SOUS 3744125 HAS SOUPS 3744125 WITH SCORE 3751634.761
AT ITER 6211 NEW BEST:: SOT 30526274 SOS 7509723 HAS SOPS 7509723 HAS SOUS 3744125 HAS SOUPS 3744125 WITH SCORE 3751634.723
AT ITER 6229 NEW BEST:: SOT 30526198 SOS 7512693 HAS SOPS 7512693 HAS SOUS 3743972 HAS SOUPS 3743972 WITH SCORE 3751484.693
AT ITER 6231 NEW BEST:: SOT 30524857 SOS 7513710 HAS SOPS 7513710 HAS SOUS 3743960 HAS SOUPS 3743960 WITH SCORE 3751473.71
AT ITER 6253 NEW BEST:: SOT 30524882 SOS 7511762 HAS SOPS 7511762 HAS SOUS 3743331 HAS SOUPS 3743331 WITH SCORE 3750842.762
AT ITER 6290 NEW BEST:: SOT 30524673 SOS 7508788 HAS SOPS 7508788 HAS SOUS 3743197 HAS SOUPS 3743197 WITH SCORE 3750705.788
AT ITER 6301 NEW BEST:: SOT 30524724 SOS 7508692 HAS SOPS 7508692 HAS SOUS 3743101 HAS SOUPS 3743101 WITH SCORE 3750609.692
AT ITER 6348 NEW BEST:: SOT 30524529 SOS 7508302 HAS SOPS 7508302 HAS SOUS 3743101 HAS SOUPS 3743101 WITH SCORE 3750609.302
AT ITER 6366 NEW BEST:: SOT 30524529 SOS 7506538 HAS SOPS 7506538 HAS SOUS 3742513 HAS SOUPS 3742513 WITH SCORE 3750019.538
AT ITER 6379 NEW BEST:: SOT 30524528 SOS 7506536 HAS SOPS 7506536 HAS SOUS 3742511 HAS SOUPS 3742511 WITH SCORE 3750017.536
AT ITER 6380 NEW BEST:: SOT 30524528 SOS 7506400 HAS SOPS 7506400 HAS SOUS 3742511 HAS SOUPS 3742511 WITH SCORE 3750017.4
AT ITER 6382 NEW BEST:: SOT 30524528 SOS 7498929 HAS SOPS 7498929 HAS SOUS 3742221 HAS SOUPS 3742221 WITH SCORE 3749719.929
AT ITER 6383 NEW BEST:: SOT 30524180 SOS 7500701 HAS SOPS 7500701 HAS SOUS 3741872 HAS SOUPS 3741872 WITH SCORE 3749372.701
AT ITER 6385 NEW BEST:: SOT 30523713 SOS 7497731 HAS SOPS 7497731 HAS SOUS 3741575 HAS SOUPS 3741575 WITH SCORE 3749072.731
AT ITER 6393 NEW BEST:: SOT 30523713 SOS 7497319 HAS SOPS 7497319 HAS SOUS 3741163 HAS SOUPS 3741163 WITH SCORE 3748660.319
AT ITER 6415 NEW BEST:: SOT 30522960 SOS 7494985 HAS SOPS 7494985 HAS SOUS 3740485 HAS SOUPS 3740485 WITH SCORE 3747979.985
AT ITER 6417 NEW BEST:: SOT 30522960 SOS 7494982 HAS SOPS 7494982 HAS SOUS 3739785 HAS SOUPS 3739785 WITH SCORE 3747279.982
AT ITER 6426 NEW BEST:: SOT 30522882 SOS 7494904 HAS SOPS 7494904 HAS SOUS 3739707 HAS SOUPS 3739707 WITH SCORE 3747201.904
AT ITER 6441 NEW BEST:: SOT 30522802 SOS 7495464 HAS SOPS 7495464 HAS SOUS 3739627 HAS SOUPS 3739627 WITH SCORE 3747122.464
AT ITER 6463 NEW BEST:: SOT 30522802 SOS 7496914 HAS SOPS 7496914 HAS SOUS 3739625 HAS SOUPS 3739625 WITH SCORE 3747121.914
AT ITER 6476 NEW BEST:: SOT 30522772 SOS 7496854 HAS SOPS 7496854 HAS SOUS 3739289 HAS SOUPS 3739289 WITH SCORE 3746785.854
AT ITER 6495 NEW BEST:: SOT 30522272 SOS 7496354 HAS SOPS 7496354 HAS SOUS 3738789 HAS SOUPS 3738789 WITH SCORE 3746285.354
AT ITER 6505 NEW BEST:: SOT 30522272 SOS 7496354 HAS SOPS 7496354 HAS SOUS 3738788 HAS SOUPS 3738788 WITH SCORE 3746284.354
AT ITER 6517 NEW BEST:: SOT 30522271 SOS 7496352 HAS SOPS 7496352 HAS SOUS 3738786 HAS SOUPS 3738786 WITH SCORE 3746282.352
AT ITER 6525 NEW BEST:: SOT 30520325 SOS 7495856 HAS SOPS 7495856 HAS SOUS 3736840 HAS SOUPS 3736840 WITH SCORE 3744335.856
AT ITER 6545 NEW BEST:: SOT 30519876 SOS 7496305 HAS SOPS 7496305 HAS SOUS 3736498 HAS SOUPS 3736498 WITH SCORE 3743994.305
AT ITER 6551 NEW BEST:: SOT 30519876 SOS 7496302 HAS SOPS 7496302 HAS SOUS 3736497 HAS SOUPS 3736497 WITH SCORE 3743993.302
AT ITER 6587 NEW BEST:: SOT 30519740 SOS 7496271 HAS SOPS 7496271 HAS SOUS 3736466 HAS SOUPS 3736466 WITH SCORE 3743962.271
AT ITER 6589 NEW BEST:: SOT 30519740 SOS 7495242 HAS SOPS 7495242 HAS SOUS 3736123 HAS SOUPS 3736123 WITH SCORE 3743618.242
AT ITER 6618 NEW BEST:: SOT 30519335 SOS 7500714 HAS SOPS 7500714 HAS SOUS 3736011 HAS SOUPS 3736011 WITH SCORE 3743511.714
AT ITER 6628 NEW BEST:: SOT 30518769 SOS 7500942 HAS SOPS 7500942 HAS SOUS 3735950 HAS SOUPS 3735950 WITH SCORE 3743450.942
AT ITER 6647 NEW BEST:: SOT 30518623 SOS 7500650 HAS SOPS 7500650 HAS SOUS 3735561 HAS SOUPS 3735561 WITH SCORE 3743061.65
AT ITER 6695 NEW BEST:: SOT 30518452 SOS 7505340 HAS SOPS 7505340 HAS SOUS 3735505 HAS SOUPS 3735505 WITH SCORE 3743010.34
AT ITER 6767 NEW BEST:: SOT 30517561 SOS 7504049 HAS SOPS 7504049 HAS SOUS 3734130 HAS SOUPS 3734130 WITH SCORE 3741634.049
AT ITER 6772 NEW BEST:: SOT 30517750 SOS 7508155 HAS SOPS 7508155 HAS SOUS 3733516 HAS SOUPS 3733516 WITH SCORE 3741024.155
AT ITER 6773 NEW BEST:: SOT 30517642 SOS 7507384 HAS SOPS 7507384 HAS SOUS 3733223 HAS SOUPS 3733223 WITH SCORE 3740730.384
AT ITER 6774 NEW BEST:: SOT 30517582 SOS 7507264 HAS SOPS 7507264 HAS SOUS 3733103 HAS SOUPS 3733103 WITH SCORE 3740610.264
AT ITER 6802 NEW BEST:: SOT 30517411 SOS 7508852 HAS SOPS 7508852 HAS SOUS 3732960 HAS SOUPS 3732960 WITH SCORE 3740468.852
AT ITER 6836 NEW BEST:: SOT 30516948 SOS 7507000 HAS SOPS 7507000 HAS SOUS 3732497 HAS SOUPS 3732497 WITH SCORE 3740004.0
AT ITER 6837 NEW BEST:: SOT 30516947 SOS 7506998 HAS SOPS 7506998 HAS SOUS 3732495 HAS SOUPS 3732495 WITH SCORE 3740001.998
AT ITER 6844 NEW BEST:: SOT 30516186 SOS 7507481 HAS SOPS 7507481 HAS SOUS 3732096 HAS SOUPS 3732096 WITH SCORE 3739603.481
AT ITER 6872 NEW BEST:: SOT 30516186 SOS 7508303 HAS SOPS 7508303 HAS SOUS 3731985 HAS SOUPS 3731985 WITH SCORE 3739493.303
AT ITER 6882 NEW BEST:: SOT 30515253 SOS 7508493 HAS SOPS 7508493 HAS SOUS 3731339 HAS SOUPS 3731339 WITH SCORE 3738847.493
AT ITER 6911 NEW BEST:: SOT 30515253 SOS 7507161 HAS SOPS 7507161 HAS SOUS 3730895 HAS SOUPS 3730895 WITH SCORE 3738402.161
AT ITER 6945 NEW BEST:: SOT 30515253 SOS 7505361 HAS SOPS 7505361 HAS SOUS 3730894 HAS SOUPS 3730894 WITH SCORE 3738399.361
AT ITER 6953 NEW BEST:: SOT 30515363 SOS 7505361 HAS SOPS 7505361 HAS SOUS 3730784 HAS SOUPS 3730784 WITH SCORE 3738289.361
AT ITER 6955 NEW BEST:: SOT 30515259 SOS 7505153 HAS SOPS 7505153 HAS SOUS 3730576 HAS SOUPS 3730576 WITH SCORE 3738081.153
AT ITER 6982 NEW BEST:: SOT 30515207 SOS 7505049 HAS SOPS 7505049 HAS SOUS 3730524 HAS SOUPS 3730524 WITH SCORE 3738029.049
AT ITER 6987 NEW BEST:: SOT 30515207 SOS 7503267 HAS SOPS 7503267 HAS SOUS 3730524 HAS SOUPS 3730524 WITH SCORE 3738027.267
AT ITER 7010 NEW BEST:: SOT 30514455 SOS 7501763 HAS SOPS 7501763 HAS SOUS 3729020 HAS SOUPS 3729020 WITH SCORE 3736521.763
AT ITER 7025 NEW BEST:: SOT 30514078 SOS 7501386 HAS SOPS 7501386 HAS SOUS 3728642 HAS SOUPS 3728642 WITH SCORE 3736143.386
AT ITER 7057 NEW BEST:: SOT 30513308 SOS 7507052 HAS SOPS 7507052 HAS SOUS 3727651 HAS SOUPS 3727651 WITH SCORE 3735158.052
AT ITER 7060 NEW BEST:: SOT 30513141 SOS 7507386 HAS SOPS 7507386 HAS SOUS 3727484 HAS SOUPS 3727484 WITH SCORE 3734991.386
AT ITER 7065 NEW BEST:: SOT 30513141 SOS 7506246 HAS SOPS 7506246 HAS SOUS 3727484 HAS SOUPS 3727484 WITH SCORE 3734990.246
AT ITER 7083 NEW BEST:: SOT 30513015 SOS 7535394 HAS SOPS 7535394 HAS SOUS 3727161 HAS SOUPS 3727161 WITH SCORE 3734696.394
AT ITER 7089 NEW BEST:: SOT 30513015 SOS 7535026 HAS SOPS 7535026 HAS SOUS 3727161 HAS SOUPS 3727161 WITH SCORE 3734696.026
AT ITER 7092 NEW BEST:: SOT 30513045 SOS 7534902 HAS SOPS 7534902 HAS SOUS 3727037 HAS SOUPS 3727037 WITH SCORE 3734571.902
AT ITER 7105 NEW BEST:: SOT 30512453 SOS 7534310 HAS SOPS 7534310 HAS SOUS 3726445 HAS SOUPS 3726445 WITH SCORE 3733979.31
AT ITER 7122 NEW BEST:: SOT 30512453 SOS 7534293 HAS SOPS 7534293 HAS SOUS 3726428 HAS SOUPS 3726428 WITH SCORE 3733962.293
AT ITER 7124 NEW BEST:: SOT 30512148 SOS 7534137 HAS SOPS 7534137 HAS SOUS 3726272 HAS SOUPS 3726272 WITH SCORE 3733806.137
AT ITER 7141 NEW BEST:: SOT 30511991 SOS 7535775 HAS SOPS 7535775 HAS SOUS 3725896 HAS SOUPS 3725896 WITH SCORE 3733431.775
AT ITER 7150 NEW BEST:: SOT 30512110 SOS 7536013 HAS SOPS 7536013 HAS SOUS 3725783 HAS SOUPS 3725783 WITH SCORE 3733319.013
AT ITER 7168 NEW BEST:: SOT 30511473 SOS 7534739 HAS SOPS 7534739 HAS SOUS 3724509 HAS SOUPS 3724509 WITH SCORE 3732043.739
AT ITER 7169 NEW BEST:: SOT 30511473 SOS 7534739 HAS SOPS 7534739 HAS SOUS 3724508 HAS SOUPS 3724508 WITH SCORE 3732042.739
AT ITER 7185 NEW BEST:: SOT 30511473 SOS 7534636 HAS SOPS 7534636 HAS SOUS 3724508 HAS SOUPS 3724508 WITH SCORE 3732042.636
AT ITER 7227 NEW BEST:: SOT 30511330 SOS 7532920 HAS SOPS 7532920 HAS SOUS 3724222 HAS SOUPS 3724222 WITH SCORE 3731754.92
AT ITER 7245 NEW BEST:: SOT 30511089 SOS 7533161 HAS SOPS 7533161 HAS SOUS 3723981 HAS SOUPS 3723981 WITH SCORE 3731514.161
AT ITER 7301 NEW BEST:: SOT 30511089 SOS 7532930 HAS SOPS 7532930 HAS SOUS 3723750 HAS SOUPS 3723750 WITH SCORE 3731282.93
AT ITER 7313 NEW BEST:: SOT 30510988 SOS 7532002 HAS SOPS 7532002 HAS SOUS 3723648 HAS SOUPS 3723648 WITH SCORE 3731180.002
AT ITER 7334 NEW BEST:: SOT 30510693 SOS 7531928 HAS SOPS 7531928 HAS SOUS 3723353 HAS SOUPS 3723353 WITH SCORE 3730884.928
AT ITER 7342 NEW BEST:: SOT 30510197 SOS 7532452 HAS SOPS 7532452 HAS SOUS 3722157 HAS SOUPS 3722157 WITH SCORE 3729689.452
AT ITER 7368 NEW BEST:: SOT 30510196 SOS 7532450 HAS SOPS 7532450 HAS SOUS 3722155 HAS SOUPS 3722155 WITH SCORE 3729687.45
AT ITER 7441 NEW BEST:: SOT 30510196 SOS 7532318 HAS SOPS 7532318 HAS SOUS 3722023 HAS SOUPS 3722023 WITH SCORE 3729555.318
AT ITER 7481 NEW BEST:: SOT 30510196 SOS 7531794 HAS SOPS 7531794 HAS SOUS 3722023 HAS SOUPS 3722023 WITH SCORE 3729554.794
AT ITER 7501 NEW BEST:: SOT 30510228 SOS 7531363 HAS SOPS 7531363 HAS SOUS 3722016 HAS SOUPS 3722016 WITH SCORE 3729547.363
AT ITER 7509 NEW BEST:: SOT 30510026 SOS 7531161 HAS SOPS 7531161 HAS SOUS 3722016 HAS SOUPS 3722016 WITH SCORE 3729547.161
AT ITER 7523 NEW BEST:: SOT 30509325 SOS 7531151 HAS SOPS 7531151 HAS SOUS 3721821 HAS SOUPS 3721821 WITH SCORE 3729352.151
AT ITER 7531 NEW BEST:: SOT 30509243 SOS 7531069 HAS SOPS 7531069 HAS SOUS 3721739 HAS SOUPS 3721739 WITH SCORE 3729270.069
AT ITER 7547 NEW BEST:: SOT 30509243 SOS 7526010 HAS SOPS 7526010 HAS SOUS 3721668 HAS SOUPS 3721668 WITH SCORE 3729194.01
AT ITER 7605 NEW BEST:: SOT 30509243 SOS 7525215 HAS SOPS 7525215 HAS SOUS 3721403 HAS SOUPS 3721403 WITH SCORE 3728928.215
AT ITER 7615 NEW BEST:: SOT 30508982 SOS 7524997 HAS SOPS 7524997 HAS SOUS 3721185 HAS SOUPS 3721185 WITH SCORE 3728709.997
AT ITER 7631 NEW BEST:: SOT 30508941 SOS 7524447 HAS SOPS 7524447 HAS SOUS 3721103 HAS SOUPS 3721103 WITH SCORE 3728627.447
AT ITER 7659 NEW BEST:: SOT 30508944 SOS 7524318 HAS SOPS 7524318 HAS SOUS 3720974 HAS SOUPS 3720974 WITH SCORE 3728498.318
AT ITER 7660 NEW BEST:: SOT 30507983 SOS 7524343 HAS SOPS 7524343 HAS SOUS 3720305 HAS SOUPS 3720305 WITH SCORE 3727829.343
AT ITER 7692 NEW BEST:: SOT 30508005 SOS 7524214 HAS SOPS 7524214 HAS SOUS 3720176 HAS SOUPS 3720176 WITH SCORE 3727700.214
AT ITER 7718 NEW BEST:: SOT 30506519 SOS 7523471 HAS SOPS 7523471 HAS SOUS 3719433 HAS SOUPS 3719433 WITH SCORE 3726956.471
AT ITER 7729 NEW BEST:: SOT 30506519 SOS 7523461 HAS SOPS 7523461 HAS SOUS 3719423 HAS SOUPS 3719423 WITH SCORE 3726946.461
AT ITER 7733 NEW BEST:: SOT 30505655 SOS 7522597 HAS SOPS 7522597 HAS SOUS 3718559 HAS SOUPS 3718559 WITH SCORE 3726081.597
AT ITER 7740 NEW BEST:: SOT 30505151 SOS 7520833 HAS SOPS 7520833 HAS SOUS 3718055 HAS SOUPS 3718055 WITH SCORE 3725575.833
AT ITER 7745 NEW BEST:: SOT 30504868 SOS 7520267 HAS SOPS 7520267 HAS SOUS 3717489 HAS SOUPS 3717489 WITH SCORE 3725009.267
AT ITER 7777 NEW BEST:: SOT 30504274 SOS 7520263 HAS SOPS 7520263 HAS SOUS 3716894 HAS SOUPS 3716894 WITH SCORE 3724414.263
AT ITER 7793 NEW BEST:: SOT 30504127 SOS 7520986 HAS SOPS 7520986 HAS SOUS 3716600 HAS SOUPS 3716600 WITH SCORE 3724120.986
AT ITER 7808 NEW BEST:: SOT 30503292 SOS 7521118 HAS SOPS 7521118 HAS SOUS 3715310 HAS SOUPS 3715310 WITH SCORE 3722831.118
AT ITER 7812 NEW BEST:: SOT 30503292 SOS 7521114 HAS SOPS 7521114 HAS SOUS 3715309 HAS SOUPS 3715309 WITH SCORE 3722830.114
AT ITER 7814 NEW BEST:: SOT 30503153 SOS 7521437 HAS SOPS 7521437 HAS SOUS 3715170 HAS SOUPS 3715170 WITH SCORE 3722691.437
AT ITER 7868 NEW BEST:: SOT 30503360 SOS 7519826 HAS SOPS 7519826 HAS SOUS 3714702 HAS SOUPS 3714702 WITH SCORE 3722221.826
AT ITER 7873 NEW BEST:: SOT 30503222 SOS 7519550 HAS SOPS 7519550 HAS SOUS 3714426 HAS SOUPS 3714426 WITH SCORE 3721945.55
AT ITER 7898 NEW BEST:: SOT 30503220 SOS 7519546 HAS SOPS 7519546 HAS SOUS 3714422 HAS SOUPS 3714422 WITH SCORE 3721941.546
AT ITER 7929 NEW BEST:: SOT 30501954 SOS 7520812 HAS SOPS 7520812 HAS SOUS 3713156 HAS SOUPS 3713156 WITH SCORE 3720676.812
AT ITER 7935 NEW BEST:: SOT 30500805 SOS 7519663 HAS SOPS 7519663 HAS SOUS 3712007 HAS SOUPS 3712007 WITH SCORE 3719526.663
AT ITER 7936 NEW BEST:: SOT 30500605 SOS 7519463 HAS SOPS 7519463 HAS SOUS 3711807 HAS SOUPS 3711807 WITH SCORE 3719326.463
AT ITER 7958 NEW BEST:: SOT 30500605 SOS 7519031 HAS SOPS 7519031 HAS SOUS 3711591 HAS SOUPS 3711591 WITH SCORE 3719110.031
AT ITER 7974 NEW BEST:: SOT 30502463 SOS 7509984 HAS SOPS 7509984 HAS SOUS 3709551 HAS SOUPS 3709551 WITH SCORE 3717060.984
AT ITER 7986 NEW BEST:: SOT 30502463 SOS 7511530 HAS SOPS 7511530 HAS SOUS 3708973 HAS SOUPS 3708973 WITH SCORE 3716484.53
AT ITER 8011 NEW BEST:: SOT 30501777 SOS 7511041 HAS SOPS 7511041 HAS SOUS 3708484 HAS SOUPS 3708484 WITH SCORE 3715995.041
AT ITER 8018 NEW BEST:: SOT 30500917 SOS 7510611 HAS SOPS 7510611 HAS SOUS 3707624 HAS SOUPS 3707624 WITH SCORE 3715134.611
AT ITER 8032 NEW BEST:: SOT 30500633 SOS 7511711 HAS SOPS 7511711 HAS SOUS 3707340 HAS SOUPS 3707340 WITH SCORE 3714851.711
AT ITER 8044 NEW BEST:: SOT 30500391 SOS 7511469 HAS SOPS 7511469 HAS SOUS 3707098 HAS SOUPS 3707098 WITH SCORE 3714609.469
AT ITER 8055 NEW BEST:: SOT 30499505 SOS 7510762 HAS SOPS 7510762 HAS SOUS 3706387 HAS SOUPS 3706387 WITH SCORE 3713897.762
AT ITER 8104 NEW BEST:: SOT 30498825 SOS 7510072 HAS SOPS 7510072 HAS SOUS 3706214 HAS SOUPS 3706214 WITH SCORE 3713724.072
AT ITER 8116 NEW BEST:: SOT 30499196 SOS 7509368 HAS SOPS 7509368 HAS SOUS 3706103 HAS SOUPS 3706103 WITH SCORE 3713612.368
AT ITER 8127 NEW BEST:: SOT 30499563 SOS 7507645 HAS SOPS 7507645 HAS SOUS 3706052 HAS SOUPS 3706052 WITH SCORE 3713559.645
AT ITER 8175 NEW BEST:: SOT 30499460 SOS 7507439 HAS SOPS 7507439 HAS SOUS 3705949 HAS SOUPS 3705949 WITH SCORE 3713456.439
AT ITER 8179 NEW BEST:: SOT 30499451 SOS 7507421 HAS SOPS 7507421 HAS SOUS 3705931 HAS SOUPS 3705931 WITH SCORE 3713438.421
AT ITER 8186 NEW BEST:: SOT 30499480 SOS 7507363 HAS SOPS 7507363 HAS SOUS 3705931 HAS SOUPS 3705931 WITH SCORE 3713438.363
AT ITER 8207 NEW BEST:: SOT 30498851 SOS 7507547 HAS SOPS 7507547 HAS SOUS 3705709 HAS SOUPS 3705709 WITH SCORE 3713216.547
AT ITER 8226 NEW BEST:: SOT 30498642 SOS 7507685 HAS SOPS 7507685 HAS SOUS 3705681 HAS SOUPS 3705681 WITH SCORE 3713188.685
AT ITER 8239 NEW BEST:: SOT 30498189 SOS 7507685 HAS SOPS 7507685 HAS SOUS 3704888 HAS SOUPS 3704888 WITH SCORE 3712395.685
AT ITER 8246 NEW BEST:: SOT 30498050 SOS 7507903 HAS SOPS 7507903 HAS SOUS 3704873 HAS SOUPS 3704873 WITH SCORE 3712380.903
AT ITER 8300 NEW BEST:: SOT 30497876 SOS 7507555 HAS SOPS 7507555 HAS SOUS 3704525 HAS SOUPS 3704525 WITH SCORE 3712032.555
AT ITER 8320 NEW BEST:: SOT 30497649 SOS 7508005 HAS SOPS 7508005 HAS SOUS 3704297 HAS SOUPS 3704297 WITH SCORE 3711805.005
AT ITER 8364 NEW BEST:: SOT 30497648 SOS 7508003 HAS SOPS 7508003 HAS SOUS 3704295 HAS SOUPS 3704295 WITH SCORE 3711803.003
AT ITER 8371 NEW BEST:: SOT 30497506 SOS 7507719 HAS SOPS 7507719 HAS SOUS 3704153 HAS SOUPS 3704153 WITH SCORE 3711660.719
AT ITER 8374 NEW BEST:: SOT 30497370 SOS 7507855 HAS SOPS 7507855 HAS SOUS 3704017 HAS SOUPS 3704017 WITH SCORE 3711524.855
AT ITER 8376 NEW BEST:: SOT 30496612 SOS 7505905 HAS SOPS 7505905 HAS SOUS 3703089 HAS SOUPS 3703089 WITH SCORE 3710594.905
AT ITER 8385 NEW BEST:: SOT 30495172 SOS 7505434 HAS SOPS 7505434 HAS SOUS 3702517 HAS SOUPS 3702517 WITH SCORE 3710022.434
AT ITER 8406 NEW BEST:: SOT 30494858 SOS 7506141 HAS SOPS 7506141 HAS SOUS 3701580 HAS SOUPS 3701580 WITH SCORE 3709086.141
AT ITER 8422 NEW BEST:: SOT 30494942 SOS 7506309 HAS SOPS 7506309 HAS SOUS 3700299 HAS SOUPS 3700299 WITH SCORE 3707805.309
AT ITER 8428 NEW BEST:: SOT 30494680 SOS 7504209 HAS SOPS 7504209 HAS SOUS 3699774 HAS SOUPS 3699774 WITH SCORE 3707278.209
AT ITER 8456 NEW BEST:: SOT 30494204 SOS 7504127 HAS SOPS 7504127 HAS SOUS 3699692 HAS SOUPS 3699692 WITH SCORE 3707196.127
AT ITER 8465 NEW BEST:: SOT 30494470 SOS 7504659 HAS SOPS 7504659 HAS SOUS 3699647 HAS SOUPS 3699647 WITH SCORE 3707151.659
AT ITER 8495 NEW BEST:: SOT 30493777 SOS 7497060 HAS SOPS 7497060 HAS SOUS 3697807 HAS SOUPS 3697807 WITH SCORE 3705304.06
AT ITER 8513 NEW BEST:: SOT 30493490 SOS 7496936 HAS SOPS 7496936 HAS SOUS 3697548 HAS SOUPS 3697548 WITH SCORE 3705044.936
AT ITER 8546 NEW BEST:: SOT 30493487 SOS 7497524 HAS SOPS 7497524 HAS SOUS 3697545 HAS SOUPS 3697545 WITH SCORE 3705042.524
AT ITER 8592 NEW BEST:: SOT 30493187 SOS 7497374 HAS SOPS 7497374 HAS SOUS 3697244 HAS SOUPS 3697244 WITH SCORE 3704741.374
AT ITER 8616 NEW BEST:: SOT 30493089 SOS 7497178 HAS SOPS 7497178 HAS SOUS 3697145 HAS SOUPS 3697145 WITH SCORE 3704642.178
AT ITER 8620 NEW BEST:: SOT 30493051 SOS 7497009 HAS SOPS 7497009 HAS SOUS 3696976 HAS SOUPS 3696976 WITH SCORE 3704473.009
AT ITER 8633 NEW BEST:: SOT 30493859 SOS 7498625 HAS SOPS 7498625 HAS SOUS 3696958 HAS SOUPS 3696958 WITH SCORE 3704456.625
AT ITER 8651 NEW BEST:: SOT 30493859 SOS 7499467 HAS SOPS 7499467 HAS SOUS 3696957 HAS SOUPS 3696957 WITH SCORE 3704456.467
AT ITER 8696 NEW BEST:: SOT 30493944 SOS 7501399 HAS SOPS 7501399 HAS SOUS 3696517 HAS SOUPS 3696517 WITH SCORE 3704018.399
AT ITER 8713 NEW BEST:: SOT 30492926 SOS 7499363 HAS SOPS 7499363 HAS SOUS 3694991 HAS SOUPS 3694991 WITH SCORE 3702490.363
AT ITER 8729 NEW BEST:: SOT 30494160 SOS 7501831 HAS SOPS 7501831 HAS SOUS 3694961 HAS SOUPS 3694961 WITH SCORE 3702462.831
AT ITER 8840 NEW BEST:: SOT 30493597 SOS 7500705 HAS SOPS 7500705 HAS SOUS 3693115 HAS SOUPS 3693115 WITH SCORE 3700615.705
AT ITER 8858 NEW BEST:: SOT 30492923 SOS 7500793 HAS SOPS 7500793 HAS SOUS 3692821 HAS SOUPS 3692821 WITH SCORE 3700321.793
AT ITER 8864 NEW BEST:: SOT 30492671 SOS 7501063 HAS SOPS 7501063 HAS SOUS 3692645 HAS SOUPS 3692645 WITH SCORE 3700146.063
AT ITER 8877 NEW BEST:: SOT 30492583 SOS 7500986 HAS SOPS 7500986 HAS SOUS 3692568 HAS SOUPS 3692568 WITH SCORE 3700068.986
AT ITER 8885 NEW BEST:: SOT 30492293 SOS 7499918 HAS SOPS 7499918 HAS SOUS 3691988 HAS SOUPS 3691988 WITH SCORE 3699487.918
AT ITER 8896 NEW BEST:: SOT 30492293 SOS 7500068 HAS SOPS 7500068 HAS SOUS 3691987 HAS SOUPS 3691987 WITH SCORE 3699487.068
AT ITER 8927 NEW BEST:: SOT 30492252 SOS 7495888 HAS SOPS 7495888 HAS SOUS 3690150 HAS SOUPS 3690150 WITH SCORE 3697645.888
AT ITER 8999 NEW BEST:: SOT 30492280 SOS 7496966 HAS SOPS 7496966 HAS SOUS 3689745 HAS SOUPS 3689745 WITH SCORE 3697241.966
AT ITER 9081 NEW BEST:: SOT 30492280 SOS 7498645 HAS SOPS 7498645 HAS SOUS 3689591 HAS SOUPS 3689591 WITH SCORE 3697089.645
AT ITER 9124 NEW BEST:: SOT 30491510 SOS 7498260 HAS SOPS 7498260 HAS SOUS 3689206 HAS SOUPS 3689206 WITH SCORE 3696704.26
AT ITER 9125 NEW BEST:: SOT 30491321 SOS 7499102 HAS SOPS 7499102 HAS SOUS 3688827 HAS SOUPS 3688827 WITH SCORE 3696326.102
AT ITER 9140 NEW BEST:: SOT 30491320 SOS 7499100 HAS SOPS 7499100 HAS SOUS 3688825 HAS SOUPS 3688825 WITH SCORE 3696324.1
AT ITER 9149 NEW BEST:: SOT 30490496 SOS 7495232 HAS SOPS 7495232 HAS SOUS 3687240 HAS SOUPS 3687240 WITH SCORE 3694735.232
AT ITER 9160 NEW BEST:: SOT 30490496 SOS 7495216 HAS SOPS 7495216 HAS SOUS 3687236 HAS SOUPS 3687236 WITH SCORE 3694731.216
AT ITER 9185 NEW BEST:: SOT 30490424 SOS 7495144 HAS SOPS 7495144 HAS SOUS 3687164 HAS SOUPS 3687164 WITH SCORE 3694659.144
AT ITER 9233 NEW BEST:: SOT 30490194 SOS 7495209 HAS SOPS 7495209 HAS SOUS 3687109 HAS SOUPS 3687109 WITH SCORE 3694604.209
AT ITER 9305 NEW BEST:: SOT 30490194 SOS 7496595 HAS SOPS 7496595 HAS SOUS 3687107 HAS SOUPS 3687107 WITH SCORE 3694603.595
AT ITER 9329 NEW BEST:: SOT 30490366 SOS 7495997 HAS SOPS 7495997 HAS SOUS 3686980 HAS SOUPS 3686980 WITH SCORE 3694475.997
AT ITER 9331 NEW BEST:: SOT 30490366 SOS 7495819 HAS SOPS 7495819 HAS SOUS 3686891 HAS SOUPS 3686891 WITH SCORE 3694386.819
AT ITER 9338 NEW BEST:: SOT 30490366 SOS 7495734 HAS SOPS 7495734 HAS SOUS 3686891 HAS SOUPS 3686891 WITH SCORE 3694386.734
AT ITER 9345 NEW BEST:: SOT 30490366 SOS 7498190 HAS SOPS 7498190 HAS SOUS 3686841 HAS SOUPS 3686841 WITH SCORE 3694339.19
AT ITER 9348 NEW BEST:: SOT 30490366 SOS 7486970 HAS SOPS 7486970 HAS SOUS 3686644 HAS SOUPS 3686644 WITH SCORE 3694130.97
AT ITER 9351 NEW BEST:: SOT 30490318 SOS 7496169 HAS SOPS 7496169 HAS SOUS 3686547 HAS SOUPS 3686547 WITH SCORE 3694043.169
AT ITER 9391 NEW BEST:: SOT 30490373 SOS 7494599 HAS SOPS 7494599 HAS SOUS 3686340 HAS SOUPS 3686340 WITH SCORE 3693834.599
AT ITER 9403 NEW BEST:: SOT 30490383 SOS 7499367 HAS SOPS 7499367 HAS SOUS 3686248 HAS SOUPS 3686248 WITH SCORE 3693747.367
AT ITER 9420 NEW BEST:: SOT 30490356 SOS 7499286 HAS SOPS 7499286 HAS SOUS 3686167 HAS SOUPS 3686167 WITH SCORE 3693666.286
AT ITER 9432 NEW BEST:: SOT 30490326 SOS 7499226 HAS SOPS 7499226 HAS SOUS 3686137 HAS SOUPS 3686137 WITH SCORE 3693636.226
AT ITER 9495 NEW BEST:: SOT 30490217 SOS 7499979 HAS SOPS 7499979 HAS SOUS 3685918 HAS SOUPS 3685918 WITH SCORE 3693417.979
AT ITER 9502 NEW BEST:: SOT 30490277 SOS 7499897 HAS SOPS 7499897 HAS SOUS 3685836 HAS SOUPS 3685836 WITH SCORE 3693335.897
AT ITER 9503 NEW BEST:: SOT 30490197 SOS 7499817 HAS SOPS 7499817 HAS SOUS 3685836 HAS SOUPS 3685836 WITH SCORE 3693335.817
AT ITER 9507 NEW BEST:: SOT 30489093 SOS 7498644 HAS SOPS 7498644 HAS SOUS 3685388 HAS SOUPS 3685388 WITH SCORE 3692886.644
AT ITER 9543 NEW BEST:: SOT 30488896 SOS 7496978 HAS SOPS 7496978 HAS SOUS 3684994 HAS SOUPS 3684994 WITH SCORE 3692490.978
AT ITER 9550 NEW BEST:: SOT 30488817 SOS 7496898 HAS SOPS 7496898 HAS SOUS 3684960 HAS SOUPS 3684960 WITH SCORE 3692456.898
AT ITER 9551 NEW BEST:: SOT 30489166 SOS 7496326 HAS SOPS 7496326 HAS SOUS 3684848 HAS SOUPS 3684848 WITH SCORE 3692344.326
AT ITER 9582 NEW BEST:: SOT 30488833 SOS 7492799 HAS SOPS 7492799 HAS SOUS 3684628 HAS SOUPS 3684628 WITH SCORE 3692120.799
AT ITER 9586 NEW BEST:: SOT 30485875 SOS 7489841 HAS SOPS 7489841 HAS SOUS 3681670 HAS SOUPS 3681670 WITH SCORE 3689159.841
AT ITER 9595 NEW BEST:: SOT 30485940 SOS 7489161 HAS SOPS 7489161 HAS SOUS 3681465 HAS SOUPS 3681465 WITH SCORE 3688954.161
AT ITER 9597 NEW BEST:: SOT 30485575 SOS 7488431 HAS SOPS 7488431 HAS SOUS 3680735 HAS SOUPS 3680735 WITH SCORE 3688223.431
AT ITER 9602 NEW BEST:: SOT 30485131 SOS 7487987 HAS SOPS 7487987 HAS SOUS 3680291 HAS SOUPS 3680291 WITH SCORE 3687778.987
AT ITER 9603 NEW BEST:: SOT 30485131 SOS 7487321 HAS SOPS 7487321 HAS SOUS 3680069 HAS SOUPS 3680069 WITH SCORE 3687556.321
AT ITER 9611 NEW BEST:: SOT 30484898 SOS 7479022 HAS SOPS 7479022 HAS SOUS 3677191 HAS SOUPS 3677191 WITH SCORE 3684670.022
AT ITER 9629 NEW BEST:: SOT 30483866 SOS 7478780 HAS SOPS 7478780 HAS SOUS 3676949 HAS SOUPS 3676949 WITH SCORE 3684427.78
AT ITER 9665 NEW BEST:: SOT 30483525 SOS 7478098 HAS SOPS 7478098 HAS SOUS 3675866 HAS SOUPS 3675866 WITH SCORE 3683344.098
AT ITER 9683 NEW BEST:: SOT 30482131 SOS 7479009 HAS SOPS 7479009 HAS SOUS 3674980 HAS SOUPS 3674980 WITH SCORE 3682459.009
AT ITER 9716 NEW BEST:: SOT 30481893 SOS 7479093 HAS SOPS 7479093 HAS SOUS 3674904 HAS SOUPS 3674904 WITH SCORE 3682383.093
AT ITER 9720 NEW BEST:: SOT 30481961 SOS 7478349 HAS SOPS 7478349 HAS SOUS 3674532 HAS SOUPS 3674532 WITH SCORE 3682010.349
AT ITER 9751 NEW BEST:: SOT 30481961 SOS 7478348 HAS SOPS 7478348 HAS SOUS 3674531 HAS SOUPS 3674531 WITH SCORE 3682009.348
AT ITER 9768 NEW BEST:: SOT 30481883 SOS 7478192 HAS SOPS 7478192 HAS SOUS 3674375 HAS SOUPS 3674375 WITH SCORE 3681853.192
AT ITER 9796 NEW BEST:: SOT 30480093 SOS 7476756 HAS SOPS 7476756 HAS SOUS 3672939 HAS SOUPS 3672939 WITH SCORE 3680415.756
AT ITER 9799 NEW BEST:: SOT 30480313 SOS 7481393 HAS SOPS 7481393 HAS SOUS 3672829 HAS SOUPS 3672829 WITH SCORE 3680310.393
AT ITER 9804 NEW BEST:: SOT 30479792 SOS 7480351 HAS SOPS 7480351 HAS SOUS 3671787 HAS SOUPS 3671787 WITH SCORE 3679267.351
AT ITER 9807 NEW BEST:: SOT 30479669 SOS 7480105 HAS SOPS 7480105 HAS SOUS 3671541 HAS SOUPS 3671541 WITH SCORE 3679021.105
AT ITER 9809 NEW BEST:: SOT 30479812 SOS 7480391 HAS SOPS 7480391 HAS SOUS 3671350 HAS SOUPS 3671350 WITH SCORE 3678830.391
AT ITER 9831 NEW BEST:: SOT 30480360 SOS 7480347 HAS SOPS 7480347 HAS SOUS 3671328 HAS SOUPS 3671328 WITH SCORE 3678808.347
AT ITER 9860 NEW BEST:: SOT 30479155 SOS 7479429 HAS SOPS 7479429 HAS SOUS 3670122 HAS SOUPS 3670122 WITH SCORE 3677601.429
AT ITER 9889 NEW BEST:: SOT 30478983 SOS 7479598 HAS SOPS 7479598 HAS SOUS 3669949 HAS SOUPS 3669949 WITH SCORE 3677428.598
AT ITER 9898 NEW BEST:: SOT 30478669 SOS 7478487 HAS SOPS 7478487 HAS SOUS 3669312 HAS SOUPS 3669312 WITH SCORE 3676790.487
AT ITER 9908 NEW BEST:: SOT 30478669 SOS 7480911 HAS SOPS 7480911 HAS SOUS 3668772 HAS SOUPS 3668772 WITH SCORE 3676252.911
AT ITER 9911 NEW BEST:: SOT 30478158 SOS 7480400 HAS SOPS 7480400 HAS SOUS 3668261 HAS SOUPS 3668261 WITH SCORE 3675741.4
AT ITER 9933 NEW BEST:: SOT 30478080 SOS 7480244 HAS SOPS 7480244 HAS SOUS 3668183 HAS SOUPS 3668183 WITH SCORE 3675663.244
AT ITER 9940 NEW BEST:: SOT 30478080 SOS 7480240 HAS SOPS 7480240 HAS SOUS 3668182 HAS SOUPS 3668182 WITH SCORE 3675662.24
AT ITER 9945 NEW BEST:: SOT 30476837 SOS 7491179 HAS SOPS 7491179 HAS SOUS 3667736 HAS SOUPS 3667736 WITH SCORE 3675227.179
AT ITER 9946 NEW BEST:: SOT 30476991 SOS 7491487 HAS SOPS 7491487 HAS SOUS 3667518 HAS SOUPS 3667518 WITH SCORE 3675009.487
AT ITER 9956 NEW BEST:: SOT 30476991 SOS 7491487 HAS SOPS 7491487 HAS SOUS 3667457 HAS SOUPS 3667457 WITH SCORE 3674948.487
AT ITER 9985 NEW BEST:: SOT 30476485 SOS 7492310 HAS SOPS 7492310 HAS SOUS 3666031 HAS SOUPS 3666031 WITH SCORE 3673523.31
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15347744 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150808 kB

BK_TIME_CONFINEMENT_REACHED

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

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="DLCround-PT-13b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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 smart"
echo " Input is DLCround-PT-13b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472900792"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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