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.r227-tall-167856410500512.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 LeafsetExtension-PT-S32C3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410500512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.8M
-rw-r--r-- 1 mcc users 8.1K Feb 25 16:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 25 16:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 25 16:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 16:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 25 16:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 25 16:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 25 16:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 25 16:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.4M 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 1678615391259

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=LeafsetExtension-PT-S32C3
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S32C3
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: 5622 places, 5449 transitions, 17500 arcs.
AT ITER 0 NEW BEST:: SOT 17307217 SOS 4229194 HAS SOPS 4215071 HAS SOUS 3534471 HAS SOUPS 3533318 WITH SCORE 3537547.194
AT ITER 16 NEW BEST:: SOT 17307217 SOS 4229070 HAS SOPS 4214947 HAS SOUS 3534333 HAS SOUPS 3533180 WITH SCORE 3537409.07
AT ITER 22 NEW BEST:: SOT 17307217 SOS 4227429 HAS SOPS 4213306 HAS SOUS 3534207 HAS SOUPS 3533054 WITH SCORE 3537281.429
AT ITER 30 NEW BEST:: SOT 17306725 SOS 4226953 HAS SOPS 4212830 HAS SOUS 3534030 HAS SOUPS 3532877 WITH SCORE 3537103.953
AT ITER 35 NEW BEST:: SOT 17306725 SOS 4226740 HAS SOPS 4212617 HAS SOUS 3533804 HAS SOUPS 3532651 WITH SCORE 3536877.74
AT ITER 69 NEW BEST:: SOT 17302473 SOS 4302278 HAS SOPS 4210803 HAS SOUS 3535983 HAS SOUPS 3532119 WITH SCORE 3536421.278
AT ITER 70 NEW BEST:: SOT 17302473 SOS 4301950 HAS SOPS 4210475 HAS SOUS 3535983 HAS SOUPS 3532119 WITH SCORE 3536420.95
AT ITER 83 NEW BEST:: SOT 17302295 SOS 4301950 HAS SOPS 4210475 HAS SOUS 3535981 HAS SOUPS 3532117 WITH SCORE 3536418.95
AT ITER 129 NEW BEST:: SOT 17301387 SOS 4286514 HAS SOPS 4195039 HAS SOUS 3534165 HAS SOUPS 3530301 WITH SCORE 3534587.514
AT ITER 133 NEW BEST:: SOT 17301387 SOS 4286276 HAS SOPS 4194801 HAS SOUS 3534165 HAS SOUPS 3530301 WITH SCORE 3534587.276
AT ITER 137 NEW BEST:: SOT 17300698 SOS 4271771 HAS SOPS 4180296 HAS SOUS 3533397 HAS SOUPS 3529533 WITH SCORE 3533804.771
AT ITER 140 NEW BEST:: SOT 17300010 SOS 4267891 HAS SOPS 4176416 HAS SOUS 3532255 HAS SOUPS 3528391 WITH SCORE 3532658.891
AT ITER 148 NEW BEST:: SOT 17293289 SOS 4300398 HAS SOPS 4208923 HAS SOUS 3530172 HAS SOUPS 3526308 WITH SCORE 3530608.398
AT ITER 152 NEW BEST:: SOT 17293289 SOS 4300398 HAS SOPS 4208923 HAS SOUS 3530156 HAS SOUPS 3526292 WITH SCORE 3530592.398
AT ITER 163 NEW BEST:: SOT 17293289 SOS 4300398 HAS SOPS 4208923 HAS SOUS 3530149 HAS SOUPS 3526285 WITH SCORE 3530585.398
AT ITER 169 NEW BEST:: SOT 17293044 SOS 4300398 HAS SOPS 4208923 HAS SOUS 3529904 HAS SOUPS 3526040 WITH SCORE 3530340.398
AT ITER 193 NEW BEST:: SOT 17292223 SOS 4300398 HAS SOPS 4208923 HAS SOUS 3529894 HAS SOUPS 3526030 WITH SCORE 3530330.398
AT ITER 268 NEW BEST:: SOT 17291747 SOS 4292306 HAS SOPS 4200831 HAS SOUS 3528942 HAS SOUPS 3525078 WITH SCORE 3529370.306
AT ITER 290 NEW BEST:: SOT 17291747 SOS 4292150 HAS SOPS 4200675 HAS SOUS 3528777 HAS SOUPS 3524913 WITH SCORE 3529205.15
AT ITER 293 NEW BEST:: SOT 17288631 SOS 4295408 HAS SOPS 4203933 HAS SOUS 3526603 HAS SOUPS 3522739 WITH SCORE 3527034.408
AT ITER 307 NEW BEST:: SOT 17279479 SOS 4286828 HAS SOPS 4195353 HAS SOUS 3517451 HAS SOUPS 3513587 WITH SCORE 3517873.828
AT ITER 318 NEW BEST:: SOT 17278697 SOS 4286469 HAS SOPS 4194994 HAS SOUS 3517442 HAS SOUPS 3513578 WITH SCORE 3517864.469
AT ITER 370 NEW BEST:: SOT 17278282 SOS 4286038 HAS SOPS 4194563 HAS SOUS 3517011 HAS SOUPS 3513147 WITH SCORE 3517433.038
AT ITER 375 NEW BEST:: SOT 17277567 SOS 4285806 HAS SOPS 4194331 HAS SOUS 3516866 HAS SOUPS 3513002 WITH SCORE 3517287.806
AT ITER 377 NEW BEST:: SOT 17277512 SOS 4276868 HAS SOPS 4185312 HAS SOUS 3516714 HAS SOUPS 3512850 WITH SCORE 3517126.868
AT ITER 396 NEW BEST:: SOT 17276979 SOS 4276868 HAS SOPS 4185312 HAS SOUS 3516181 HAS SOUPS 3512317 WITH SCORE 3516593.868
AT ITER 397 NEW BEST:: SOT 17276136 SOS 4276510 HAS SOPS 4184954 HAS SOUS 3516174 HAS SOUPS 3512310 WITH SCORE 3516586.51
AT ITER 399 NEW BEST:: SOT 17275995 SOS 4276510 HAS SOPS 4184954 HAS SOUS 3516159 HAS SOUPS 3512295 WITH SCORE 3516571.51
AT ITER 483 NEW BEST:: SOT 17275625 SOS 4276510 HAS SOPS 4184954 HAS SOUS 3516146 HAS SOUPS 3512282 WITH SCORE 3516558.51
AT ITER 493 NEW BEST:: SOT 17275625 SOS 4276493 HAS SOPS 4184937 HAS SOUS 3516129 HAS SOUPS 3512265 WITH SCORE 3516541.493
AT ITER 513 NEW BEST:: SOT 17275510 SOS 4276493 HAS SOPS 4184937 HAS SOUS 3516118 HAS SOUPS 3512254 WITH SCORE 3516530.493
AT ITER 539 NEW BEST:: SOT 17275093 SOS 4276060 HAS SOPS 4184504 HAS SOUS 3515685 HAS SOUPS 3511821 WITH SCORE 3516097.06
AT ITER 541 NEW BEST:: SOT 17273276 SOS 4274243 HAS SOPS 4182687 HAS SOUS 3513759 HAS SOUPS 3509895 WITH SCORE 3514169.243
AT ITER 542 NEW BEST:: SOT 17272902 SOS 4274243 HAS SOPS 4182687 HAS SOUS 3513748 HAS SOUPS 3509884 WITH SCORE 3514158.243
AT ITER 546 NEW BEST:: SOT 17272177 SOS 4274243 HAS SOPS 4182687 HAS SOUS 3513023 HAS SOUPS 3509159 WITH SCORE 3513433.243
AT ITER 558 NEW BEST:: SOT 17271680 SOS 4253906 HAS SOPS 4162350 HAS SOUS 3511949 HAS SOUPS 3508085 WITH SCORE 3512338.906
AT ITER 581 NEW BEST:: SOT 17270895 SOS 4253906 HAS SOPS 4162350 HAS SOUS 3511164 HAS SOUPS 3507300 WITH SCORE 3511553.906
AT ITER 598 NEW BEST:: SOT 17260300 SOS 4273274 HAS SOPS 4181718 HAS SOUS 3504597 HAS SOUPS 3500733 WITH SCORE 3505006.274
AT ITER 626 NEW BEST:: SOT 17259866 SOS 4273274 HAS SOPS 4181718 HAS SOUS 3504411 HAS SOUPS 3500547 WITH SCORE 3504820.274
AT ITER 630 NEW BEST:: SOT 17259866 SOS 4273193 HAS SOPS 4181637 HAS SOUS 3504330 HAS SOUPS 3500466 WITH SCORE 3504739.193
AT ITER 638 NEW BEST:: SOT 17257218 SOS 4282867 HAS SOPS 4191311 HAS SOUS 3503339 HAS SOUPS 3499475 WITH SCORE 3503757.867
AT ITER 649 NEW BEST:: SOT 17252574 SOS 4298680 HAS SOPS 4207151 HAS SOUS 3501029 HAS SOUPS 3497165 WITH SCORE 3501463.68
AT ITER 660 NEW BEST:: SOT 17252231 SOS 4298680 HAS SOPS 4207151 HAS SOUS 3500686 HAS SOUPS 3496822 WITH SCORE 3501120.68
AT ITER 662 NEW BEST:: SOT 17252217 SOS 4298638 HAS SOPS 4207109 HAS SOUS 3500644 HAS SOUPS 3496780 WITH SCORE 3501078.638
AT ITER 680 NEW BEST:: SOT 17251950 SOS 4298371 HAS SOPS 4206842 HAS SOUS 3499945 HAS SOUPS 3496081 WITH SCORE 3500379.371
AT ITER 683 NEW BEST:: SOT 17251640 SOS 4298029 HAS SOPS 4206500 HAS SOUS 3499603 HAS SOUPS 3495739 WITH SCORE 3500037.029
AT ITER 684 NEW BEST:: SOT 17251640 SOS 4298013 HAS SOPS 4206484 HAS SOUS 3499587 HAS SOUPS 3495723 WITH SCORE 3500021.013
AT ITER 693 NEW BEST:: SOT 17250949 SOS 4297334 HAS SOPS 4205805 HAS SOUS 3499096 HAS SOUPS 3495232 WITH SCORE 3499529.334
AT ITER 716 NEW BEST:: SOT 17250949 SOS 4297050 HAS SOPS 4205521 HAS SOUS 3498812 HAS SOUPS 3494948 WITH SCORE 3499245.05
AT ITER 745 NEW BEST:: SOT 17250744 SOS 4296859 HAS SOPS 4205330 HAS SOUS 3498591 HAS SOUPS 3494727 WITH SCORE 3499023.859
AT ITER 747 NEW BEST:: SOT 17250580 SOS 4296696 HAS SOPS 4205167 HAS SOUS 3498427 HAS SOUPS 3494563 WITH SCORE 3498859.696
AT ITER 762 NEW BEST:: SOT 17250564 SOS 4296648 HAS SOPS 4205119 HAS SOUS 3498379 HAS SOUPS 3494515 WITH SCORE 3498811.648
AT ITER 826 NEW BEST:: SOT 17250564 SOS 4291207 HAS SOPS 4199678 HAS SOUS 3498379 HAS SOUPS 3494515 WITH SCORE 3498806.207
AT ITER 849 NEW BEST:: SOT 17247590 SOS 4307447 HAS SOPS 4215918 HAS SOUS 3497648 HAS SOUPS 3493784 WITH SCORE 3498091.447
AT ITER 861 NEW BEST:: SOT 17247590 SOS 4307137 HAS SOPS 4215608 HAS SOUS 3497335 HAS SOUPS 3493471 WITH SCORE 3497778.137
AT ITER 875 NEW BEST:: SOT 17247590 SOS 4306938 HAS SOPS 4215409 HAS SOUS 3497136 HAS SOUPS 3493272 WITH SCORE 3497578.938
AT ITER 880 NEW BEST:: SOT 17247590 SOS 4306822 HAS SOPS 4215293 HAS SOUS 3497020 HAS SOUPS 3493156 WITH SCORE 3497462.822
AT ITER 908 NEW BEST:: SOT 17247084 SOS 4306300 HAS SOPS 4214771 HAS SOUS 3496498 HAS SOUPS 3492634 WITH SCORE 3496940.3
AT ITER 1124 NEW BEST:: SOT 17247084 SOS 4306292 HAS SOPS 4214763 HAS SOUS 3496490 HAS SOUPS 3492626 WITH SCORE 3496932.292
AT ITER 1132 NEW BEST:: SOT 17247084 SOS 4306276 HAS SOPS 4214747 HAS SOUS 3496474 HAS SOUPS 3492610 WITH SCORE 3496916.276
AT ITER 1145 NEW BEST:: SOT 17247084 SOS 4306106 HAS SOPS 4214577 HAS SOUS 3496474 HAS SOUPS 3492610 WITH SCORE 3496916.106
AT ITER 1169 NEW BEST:: SOT 17247084 SOS 4306106 HAS SOPS 4214577 HAS SOUS 3496470 HAS SOUPS 3492606 WITH SCORE 3496912.106
AT ITER 1177 NEW BEST:: SOT 17246936 SOS 4306106 HAS SOPS 4214577 HAS SOUS 3496322 HAS SOUPS 3492458 WITH SCORE 3496764.106
AT ITER 1179 NEW BEST:: SOT 17246528 SOS 4305698 HAS SOPS 4214169 HAS SOUS 3496322 HAS SOUPS 3492458 WITH SCORE 3496763.698
AT ITER 1185 NEW BEST:: SOT 17246525 SOS 4305695 HAS SOPS 4214166 HAS SOUS 3496319 HAS SOUPS 3492455 WITH SCORE 3496760.695
AT ITER 1191 NEW BEST:: SOT 17246355 SOS 4305695 HAS SOPS 4214166 HAS SOUS 3496149 HAS SOUPS 3492285 WITH SCORE 3496590.695
AT ITER 1195 NEW BEST:: SOT 17237574 SOS 4298879 HAS SOPS 4207350 HAS SOUS 3487382 HAS SOUPS 3483518 WITH SCORE 3487816.879
AT ITER 1196 NEW BEST:: SOT 17237237 SOS 4298874 HAS SOPS 4207345 HAS SOUS 3487373 HAS SOUPS 3483509 WITH SCORE 3487807.874
AT ITER 1228 NEW BEST:: SOT 17236712 SOS 4298363 HAS SOPS 4206834 HAS SOUS 3487158 HAS SOUPS 3483294 WITH SCORE 3487592.363
AT ITER 1244 NEW BEST:: SOT 17235908 SOS 4298708 HAS SOPS 4207179 HAS SOUS 3486812 HAS SOUPS 3482948 WITH SCORE 3487246.708
AT ITER 1271 NEW BEST:: SOT 17235908 SOS 4298666 HAS SOPS 4207137 HAS SOUS 3486770 HAS SOUPS 3482906 WITH SCORE 3487204.666
AT ITER 1289 NEW BEST:: SOT 17235038 SOS 4298747 HAS SOPS 4207218 HAS SOUS 3486040 HAS SOUPS 3482176 WITH SCORE 3486474.747
AT ITER 1300 NEW BEST:: SOT 17235038 SOS 4298538 HAS SOPS 4207009 HAS SOUS 3485824 HAS SOUPS 3481960 WITH SCORE 3486258.538
AT ITER 1349 NEW BEST:: SOT 17234762 SOS 4298538 HAS SOPS 4207009 HAS SOUS 3485817 HAS SOUPS 3481953 WITH SCORE 3486251.538
AT ITER 1355 NEW BEST:: SOT 17234762 SOS 4298538 HAS SOPS 4207009 HAS SOUS 3485187 HAS SOUPS 3481323 WITH SCORE 3485621.538
AT ITER 1371 NEW BEST:: SOT 17234444 SOS 4298220 HAS SOPS 4206691 HAS SOUS 3484869 HAS SOUPS 3481005 WITH SCORE 3485303.22
AT ITER 1372 NEW BEST:: SOT 17234428 SOS 4297826 HAS SOPS 4206297 HAS SOUS 3484837 HAS SOUPS 3480973 WITH SCORE 3485270.826
AT ITER 1381 NEW BEST:: SOT 17229769 SOS 4325942 HAS SOPS 4201637 HAS SOUS 3484448 HAS SOUPS 3479265 WITH SCORE 3483590.942
AT ITER 1386 NEW BEST:: SOT 17225298 SOS 4342108 HAS SOPS 4217831 HAS SOUS 3481894 HAS SOUPS 3476711 WITH SCORE 3481053.108
AT ITER 1409 NEW BEST:: SOT 17224554 SOS 4341558 HAS SOPS 4217281 HAS SOUS 3480607 HAS SOUPS 3475424 WITH SCORE 3479765.558
AT ITER 1483 NEW BEST:: SOT 17219150 SOS 4353610 HAS SOPS 4229333 HAS SOUS 3477313 HAS SOUPS 3472130 WITH SCORE 3476483.61
AT ITER 1499 NEW BEST:: SOT 17219150 SOS 4353383 HAS SOPS 4229106 HAS SOUS 3477086 HAS SOUPS 3471903 WITH SCORE 3476256.383
AT ITER 1500 NEW BEST:: SOT 17226723 SOS 4361014 HAS SOPS 4226074 HAS SOUS 3485104 HAS SOUPS 3469385 WITH SCORE 3473746.014
AT ITER 1523 NEW BEST:: SOT 17226281 SOS 4360573 HAS SOPS 4225633 HAS SOUS 3484662 HAS SOUPS 3468943 WITH SCORE 3473303.573
AT ITER 1526 NEW BEST:: SOT 17226281 SOS 4360504 HAS SOPS 4225564 HAS SOUS 3484593 HAS SOUPS 3468874 WITH SCORE 3473234.504
AT ITER 1538 NEW BEST:: SOT 17226281 SOS 4360380 HAS SOPS 4225440 HAS SOUS 3484593 HAS SOUPS 3468874 WITH SCORE 3473234.38
AT ITER 1568 NEW BEST:: SOT 17225487 SOS 4346839 HAS SOPS 4211899 HAS SOUS 3482990 HAS SOUPS 3467271 WITH SCORE 3471617.839
AT ITER 1569 NEW BEST:: SOT 17225187 SOS 4346532 HAS SOPS 4211592 HAS SOUS 3482683 HAS SOUPS 3466964 WITH SCORE 3471310.532
AT ITER 1606 NEW BEST:: SOT 17223689 SOS 4344345 HAS SOPS 4209405 HAS SOUS 3480496 HAS SOUPS 3464777 WITH SCORE 3469121.345
AT ITER 1632 NEW BEST:: SOT 17223335 SOS 4344345 HAS SOPS 4209405 HAS SOUS 3480142 HAS SOUPS 3464423 WITH SCORE 3468767.345
AT ITER 1662 NEW BEST:: SOT 17223335 SOS 4344401 HAS SOPS 4209461 HAS SOUS 3480044 HAS SOUPS 3464325 WITH SCORE 3468669.401
AT ITER 1663 NEW BEST:: SOT 17223069 SOS 4343853 HAS SOPS 4208913 HAS SOUS 3479496 HAS SOUPS 3463777 WITH SCORE 3468120.853
AT ITER 1664 NEW BEST:: SOT 17222981 SOS 4343733 HAS SOPS 4208793 HAS SOUS 3479376 HAS SOUPS 3463657 WITH SCORE 3468000.733
AT ITER 1690 NEW BEST:: SOT 17219845 SOS 4340602 HAS SOPS 4205662 HAS SOUS 3476245 HAS SOUPS 3460526 WITH SCORE 3464866.602
AT ITER 1707 NEW BEST:: SOT 17219139 SOS 4339957 HAS SOPS 4205017 HAS SOUS 3475644 HAS SOUPS 3459925 WITH SCORE 3464264.957
AT ITER 1729 NEW BEST:: SOT 17219008 SOS 4339826 HAS SOPS 4204755 HAS SOUS 3475513 HAS SOUPS 3459663 WITH SCORE 3464002.826
AT ITER 1753 NEW BEST:: SOT 17218694 SOS 4339826 HAS SOPS 4204755 HAS SOUS 3475199 HAS SOUPS 3459349 WITH SCORE 3463688.826
AT ITER 1816 NEW BEST:: SOT 17218442 SOS 4339917 HAS SOPS 4204846 HAS SOUS 3475038 HAS SOUPS 3459188 WITH SCORE 3463527.917
AT ITER 1846 NEW BEST:: SOT 17218442 SOS 4339724 HAS SOPS 4204653 HAS SOUS 3474520 HAS SOUPS 3458670 WITH SCORE 3463009.724
AT ITER 1847 NEW BEST:: SOT 17216474 SOS 4337879 HAS SOPS 4202808 HAS SOUS 3472666 HAS SOUPS 3456816 WITH SCORE 3461153.879
AT ITER 1862 NEW BEST:: SOT 17216474 SOS 4337879 HAS SOPS 4202808 HAS SOUS 3472660 HAS SOUPS 3456810 WITH SCORE 3461147.879
AT ITER 1870 NEW BEST:: SOT 17216174 SOS 4337879 HAS SOPS 4202808 HAS SOUS 3472360 HAS SOUPS 3456510 WITH SCORE 3460847.879
AT ITER 1884 NEW BEST:: SOT 17215923 SOS 4337631 HAS SOPS 4202560 HAS SOUS 3472109 HAS SOUPS 3456259 WITH SCORE 3460596.631
AT ITER 1887 NEW BEST:: SOT 17215166 SOS 4337631 HAS SOPS 4202560 HAS SOUS 3472096 HAS SOUPS 3456246 WITH SCORE 3460583.631
AT ITER 1907 NEW BEST:: SOT 17215082 SOS 4337531 HAS SOPS 4202460 HAS SOUS 3471996 HAS SOUPS 3456146 WITH SCORE 3460483.531
AT ITER 1928 NEW BEST:: SOT 17214388 SOS 4336846 HAS SOPS 4201775 HAS SOUS 3471441 HAS SOUPS 3455591 WITH SCORE 3459927.846
AT ITER 1932 NEW BEST:: SOT 17214372 SOS 4336367 HAS SOPS 4201296 HAS SOUS 3471409 HAS SOUPS 3455559 WITH SCORE 3459895.367
AT ITER 1949 NEW BEST:: SOT 17214372 SOS 4335945 HAS SOPS 4200874 HAS SOUS 3470842 HAS SOUPS 3454992 WITH SCORE 3459327.945
AT ITER 1964 NEW BEST:: SOT 17207197 SOS 4342671 HAS SOPS 4194263 HAS SOUS 3465914 HAS SOUPS 3449356 WITH SCORE 3453698.671
AT ITER 2010 NEW BEST:: SOT 17206748 SOS 4328910 HAS SOPS 4180502 HAS SOUS 3464888 HAS SOUPS 3448330 WITH SCORE 3452658.91
AT ITER 2035 NEW BEST:: SOT 17200650 SOS 4324440 HAS SOPS 4176032 HAS SOUS 3459353 HAS SOUPS 3442795 WITH SCORE 3447119.44
AT ITER 2042 NEW BEST:: SOT 17199816 SOS 4324779 HAS SOPS 4175267 HAS SOUS 3458679 HAS SOUPS 3442052 WITH SCORE 3446376.779
AT ITER 2045 NEW BEST:: SOT 17199816 SOS 4324917 HAS SOPS 4175405 HAS SOUS 3458312 HAS SOUPS 3441685 WITH SCORE 3446009.917
AT ITER 2047 NEW BEST:: SOT 17199816 SOS 4324536 HAS SOPS 4175024 HAS SOUS 3457533 HAS SOUPS 3440906 WITH SCORE 3445230.536
AT ITER 2083 NEW BEST:: SOT 17199487 SOS 4324207 HAS SOPS 4174695 HAS SOUS 3457203 HAS SOUPS 3440576 WITH SCORE 3444900.207
AT ITER 2104 NEW BEST:: SOT 17198981 SOS 4324207 HAS SOPS 4174695 HAS SOUS 3456697 HAS SOUPS 3440070 WITH SCORE 3444394.207
AT ITER 2107 NEW BEST:: SOT 17198816 SOS 4324207 HAS SOPS 4174695 HAS SOUS 3456532 HAS SOUPS 3439905 WITH SCORE 3444229.207
AT ITER 2110 NEW BEST:: SOT 17198095 SOS 4323519 HAS SOPS 4174007 HAS SOUS 3455625 HAS SOUPS 3438998 WITH SCORE 3443321.519
AT ITER 2117 NEW BEST:: SOT 17197952 SOS 4323519 HAS SOPS 4174007 HAS SOUS 3455482 HAS SOUPS 3438855 WITH SCORE 3443178.519
AT ITER 2119 NEW BEST:: SOT 17197952 SOS 4323519 HAS SOPS 4174007 HAS SOUS 3455170 HAS SOUPS 3438543 WITH SCORE 3442866.519
AT ITER 2134 NEW BEST:: SOT 17197133 SOS 4323660 HAS SOPS 4174148 HAS SOUS 3454876 HAS SOUPS 3438249 WITH SCORE 3442572.66
AT ITER 2195 NEW BEST:: SOT 17196699 SOS 4324314 HAS SOPS 4174802 HAS SOUS 3454828 HAS SOUPS 3438201 WITH SCORE 3442525.314
AT ITER 2198 NEW BEST:: SOT 17196629 SOS 4324314 HAS SOPS 4174802 HAS SOUS 3454758 HAS SOUPS 3438131 WITH SCORE 3442455.314
AT ITER 2209 NEW BEST:: SOT 17196289 SOS 4319198 HAS SOPS 4169686 HAS SOUS 3454402 HAS SOUPS 3437775 WITH SCORE 3442094.198
AT ITER 2217 NEW BEST:: SOT 17191085 SOS 4314965 HAS SOPS 4165453 HAS SOUS 3449629 HAS SOUPS 3433002 WITH SCORE 3437316.965
AT ITER 2238 NEW BEST:: SOT 17191085 SOS 4315102 HAS SOPS 4165590 HAS SOUS 3449393 HAS SOUPS 3432766 WITH SCORE 3437081.102
AT ITER 2241 NEW BEST:: SOT 17190687 SOS 4314688 HAS SOPS 4165176 HAS SOUS 3448979 HAS SOUPS 3432352 WITH SCORE 3436666.688
AT ITER 2242 NEW BEST:: SOT 17190687 SOS 4314672 HAS SOPS 4165160 HAS SOUS 3448963 HAS SOUPS 3432336 WITH SCORE 3436650.672
AT ITER 2251 NEW BEST:: SOT 17181411 SOS 4316787 HAS SOPS 4167275 HAS SOUS 3441422 HAS SOUPS 3424795 WITH SCORE 3429111.787
AT ITER 2253 NEW BEST:: SOT 17180629 SOS 4316870 HAS SOPS 4167358 HAS SOUS 3440756 HAS SOUPS 3424129 WITH SCORE 3428445.87
AT ITER 2262 NEW BEST:: SOT 17180266 SOS 4317315 HAS SOPS 4167803 HAS SOUS 3440332 HAS SOUPS 3423705 WITH SCORE 3428022.315
AT ITER 2283 NEW BEST:: SOT 17180266 SOS 4317299 HAS SOPS 4167787 HAS SOUS 3440316 HAS SOUPS 3423689 WITH SCORE 3428006.299
AT ITER 2311 NEW BEST:: SOT 17180007 SOS 4317309 HAS SOPS 4167797 HAS SOUS 3440067 HAS SOUPS 3423440 WITH SCORE 3427757.309
AT ITER 2319 NEW BEST:: SOT 17180007 SOS 4317056 HAS SOPS 4167544 HAS SOUS 3439806 HAS SOUPS 3423179 WITH SCORE 3427496.056
AT ITER 2368 NEW BEST:: SOT 17179696 SOS 4316745 HAS SOPS 4166922 HAS SOUS 3439495 HAS SOUPS 3422557 WITH SCORE 3426873.745
AT ITER 2379 NEW BEST:: SOT 17166476 SOS 4304589 HAS SOPS 4154766 HAS SOUS 3427294 HAS SOUPS 3410356 WITH SCORE 3414660.589
AT ITER 2396 NEW BEST:: SOT 17166317 SOS 4304654 HAS SOPS 4154831 HAS SOUS 3427200 HAS SOUPS 3410262 WITH SCORE 3414566.654
AT ITER 2413 NEW BEST:: SOT 17166317 SOS 4304654 HAS SOPS 4154831 HAS SOUS 3427197 HAS SOUPS 3410259 WITH SCORE 3414563.654
AT ITER 2414 NEW BEST:: SOT 17166317 SOS 4304654 HAS SOPS 4154831 HAS SOUS 3426918 HAS SOUPS 3409980 WITH SCORE 3414284.654
AT ITER 2417 NEW BEST:: SOT 17166317 SOS 4304465 HAS SOPS 4154642 HAS SOUS 3426918 HAS SOUPS 3409980 WITH SCORE 3414284.465
AT ITER 2419 NEW BEST:: SOT 17166317 SOS 4304589 HAS SOPS 4154766 HAS SOUS 3426520 HAS SOUPS 3409582 WITH SCORE 3413886.589
AT ITER 2423 NEW BEST:: SOT 17166317 SOS 4304573 HAS SOPS 4154750 HAS SOUS 3426504 HAS SOUPS 3409566 WITH SCORE 3413870.573
AT ITER 2447 NEW BEST:: SOT 17165923 SOS 4304435 HAS SOPS 4154612 HAS SOUS 3425405 HAS SOUPS 3408467 WITH SCORE 3412771.435
AT ITER 2456 NEW BEST:: SOT 17165907 SOS 4300516 HAS SOPS 4150693 HAS SOUS 3425373 HAS SOUPS 3408435 WITH SCORE 3412735.516
AT ITER 2469 NEW BEST:: SOT 17165569 SOS 4300761 HAS SOPS 4150938 HAS SOUS 3425280 HAS SOUPS 3408342 WITH SCORE 3412642.761
AT ITER 2477 NEW BEST:: SOT 17165248 SOS 4300819 HAS SOPS 4150996 HAS SOUS 3425017 HAS SOUPS 3408079 WITH SCORE 3412379.819
AT ITER 2480 NEW BEST:: SOT 17159963 SOS 4295926 HAS SOPS 4146103 HAS SOUS 3420117 HAS SOUPS 3403179 WITH SCORE 3407474.926
AT ITER 2482 NEW BEST:: SOT 17159963 SOS 4295722 HAS SOPS 4145899 HAS SOUS 3419913 HAS SOUPS 3402975 WITH SCORE 3407270.722
AT ITER 2494 NEW BEST:: SOT 17159934 SOS 4295693 HAS SOPS 4145870 HAS SOUS 3419855 HAS SOUPS 3402917 WITH SCORE 3407212.693
AT ITER 2497 NEW BEST:: SOT 17159934 SOS 4288765 HAS SOPS 4138942 HAS SOUS 3419839 HAS SOUPS 3402901 WITH SCORE 3407189.765
AT ITER 2516 NEW BEST:: SOT 17159737 SOS 4285613 HAS SOPS 4135593 HAS SOUS 3419248 HAS SOUPS 3402310 WITH SCORE 3406595.613
AT ITER 2523 NEW BEST:: SOT 17156330 SOS 4296595 HAS SOPS 4146575 HAS SOUS 3417794 HAS SOUPS 3400856 WITH SCORE 3405152.595
AT ITER 2526 NEW BEST:: SOT 17155845 SOS 4296112 HAS SOPS 4146092 HAS SOUS 3417309 HAS SOUPS 3400371 WITH SCORE 3404667.112
AT ITER 2532 NEW BEST:: SOT 17155845 SOS 4296096 HAS SOPS 4146076 HAS SOUS 3417293 HAS SOUPS 3400355 WITH SCORE 3404651.096
AT ITER 2534 NEW BEST:: SOT 17155315 SOS 4295578 HAS SOPS 4145558 HAS SOUS 3416901 HAS SOUPS 3399963 WITH SCORE 3404258.578
AT ITER 2600 NEW BEST:: SOT 17154876 SOS 4295269 HAS SOPS 4145249 HAS SOUS 3416023 HAS SOUPS 3399085 WITH SCORE 3403380.269
AT ITER 2607 NEW BEST:: SOT 17154876 SOS 4295269 HAS SOPS 4145249 HAS SOUS 3416007 HAS SOUPS 3399069 WITH SCORE 3403364.269
AT ITER 2614 NEW BEST:: SOT 17154860 SOS 4295253 HAS SOPS 4145233 HAS SOUS 3415975 HAS SOUPS 3399037 WITH SCORE 3403332.253
AT ITER 2615 NEW BEST:: SOT 17154860 SOS 4294720 HAS SOPS 4144700 HAS SOUS 3415085 HAS SOUPS 3398147 WITH SCORE 3402441.72
AT ITER 2622 NEW BEST:: SOT 17154305 SOS 4293113 HAS SOPS 4142982 HAS SOUS 3414403 HAS SOUPS 3397465 WITH SCORE 3401758.113
AT ITER 2647 NEW BEST:: SOT 17154097 SOS 4293113 HAS SOPS 4142982 HAS SOUS 3414195 HAS SOUPS 3397257 WITH SCORE 3401550.113
AT ITER 2651 NEW BEST:: SOT 17154097 SOS 4293097 HAS SOPS 4142966 HAS SOUS 3414179 HAS SOUPS 3397241 WITH SCORE 3401534.097
AT ITER 2680 NEW BEST:: SOT 17154097 SOS 4292971 HAS SOPS 4142840 HAS SOUS 3414053 HAS SOUPS 3397115 WITH SCORE 3401407.971
AT ITER 2684 NEW BEST:: SOT 17153583 SOS 4290327 HAS SOPS 4140196 HAS SOUS 3413239 HAS SOUPS 3396301 WITH SCORE 3400591.327
AT ITER 2728 NEW BEST:: SOT 17152590 SOS 4281932 HAS SOPS 4131801 HAS SOUS 3411253 HAS SOUPS 3394315 WITH SCORE 3398596.932
AT ITER 2740 NEW BEST:: SOT 17142608 SOS 4325432 HAS SOPS 4175301 HAS SOUS 3407772 HAS SOUPS 3390834 WITH SCORE 3395159.432
AT ITER 2755 NEW BEST:: SOT 17142608 SOS 4325328 HAS SOPS 4175197 HAS SOUS 3407564 HAS SOUPS 3390626 WITH SCORE 3394951.328
AT ITER 2818 NEW BEST:: SOT 17142608 SOS 4325328 HAS SOPS 4175197 HAS SOUS 3406877 HAS SOUPS 3389939 WITH SCORE 3394264.328
AT ITER 2832 NEW BEST:: SOT 17142608 SOS 4325165 HAS SOPS 4175034 HAS SOUS 3406714 HAS SOUPS 3389776 WITH SCORE 3394101.165
AT ITER 2838 NEW BEST:: SOT 17142422 SOS 4325322 HAS SOPS 4175191 HAS SOUS 3406685 HAS SOUPS 3389747 WITH SCORE 3394072.322
AT ITER 2842 NEW BEST:: SOT 17142836 SOS 4325450 HAS SOPS 4175319 HAS SOUS 3406664 HAS SOUPS 3389726 WITH SCORE 3394051.45
AT ITER 2854 NEW BEST:: SOT 17142268 SOS 4325450 HAS SOPS 4175319 HAS SOUS 3406096 HAS SOUPS 3389158 WITH SCORE 3393483.45
AT ITER 2885 NEW BEST:: SOT 17142268 SOS 4325235 HAS SOPS 4175104 HAS SOUS 3405881 HAS SOUPS 3388943 WITH SCORE 3393268.235
AT ITER 2891 NEW BEST:: SOT 17142140 SOS 4322746 HAS SOPS 4172388 HAS SOUS 3405428 HAS SOUPS 3388490 WITH SCORE 3392812.746
AT ITER 2905 NEW BEST:: SOT 17141732 SOS 4322039 HAS SOPS 4171681 HAS SOUS 3405002 HAS SOUPS 3388064 WITH SCORE 3392386.039
AT ITER 2924 NEW BEST:: SOT 17141146 SOS 4322152 HAS SOPS 4171794 HAS SOUS 3404416 HAS SOUPS 3387478 WITH SCORE 3391800.152
AT ITER 2931 NEW BEST:: SOT 17141146 SOS 4322136 HAS SOPS 4171778 HAS SOUS 3404400 HAS SOUPS 3387462 WITH SCORE 3391784.136
AT ITER 2945 NEW BEST:: SOT 17133128 SOS 4332409 HAS SOPS 4182051 HAS SOUS 3399193 HAS SOUPS 3382255 WITH SCORE 3386587.409
AT ITER 2967 NEW BEST:: SOT 17130972 SOS 4332717 HAS SOPS 4179895 HAS SOUS 3397242 HAS SOUPS 3380150 WITH SCORE 3384482.717
AT ITER 2989 NEW BEST:: SOT 17130972 SOS 4324161 HAS SOPS 4171339 HAS SOUS 3397242 HAS SOUPS 3380150 WITH SCORE 3384474.161
AT ITER 3008 NEW BEST:: SOT 17130972 SOS 4323961 HAS SOPS 4171139 HAS SOUS 3396838 HAS SOUPS 3379746 WITH SCORE 3384069.961
AT ITER 3015 NEW BEST:: SOT 17130386 SOS 4324080 HAS SOPS 4171258 HAS SOUS 3396252 HAS SOUPS 3379160 WITH SCORE 3383484.08
AT ITER 3028 NEW BEST:: SOT 17130292 SOS 4323686 HAS SOPS 4171136 HAS SOUS 3396061 HAS SOUPS 3378969 WITH SCORE 3383292.686
AT ITER 3049 NEW BEST:: SOT 17130292 SOS 4323489 HAS SOPS 4170939 HAS SOUS 3396002 HAS SOUPS 3378910 WITH SCORE 3383233.489
AT ITER 3060 NEW BEST:: SOT 17130292 SOS 4323394 HAS SOPS 4170844 HAS SOUS 3395812 HAS SOUPS 3378720 WITH SCORE 3383043.394
AT ITER 3126 NEW BEST:: SOT 17130039 SOS 4323125 HAS SOPS 4170575 HAS SOUS 3395543 HAS SOUPS 3378451 WITH SCORE 3382774.125
AT ITER 3142 NEW BEST:: SOT 17130031 SOS 4323085 HAS SOPS 4170559 HAS SOUS 3395526 HAS SOUPS 3378435 WITH SCORE 3382758.085
AT ITER 3146 NEW BEST:: SOT 17130031 SOS 4322515 HAS SOPS 4169989 HAS SOUS 3394956 HAS SOUPS 3377865 WITH SCORE 3382187.515
AT ITER 3157 NEW BEST:: SOT 17129569 SOS 4322037 HAS SOPS 4169511 HAS SOUS 3394478 HAS SOUPS 3377387 WITH SCORE 3381709.037
AT ITER 3198 NEW BEST:: SOT 17128874 SOS 4322037 HAS SOPS 4169511 HAS SOUS 3394467 HAS SOUPS 3377376 WITH SCORE 3381698.037
AT ITER 3208 NEW BEST:: SOT 17128874 SOS 4321910 HAS SOPS 4169384 HAS SOUS 3394340 HAS SOUPS 3377249 WITH SCORE 3381570.91
AT ITER 3214 NEW BEST:: SOT 17128680 SOS 4321684 HAS SOPS 4169158 HAS SOUS 3394114 HAS SOUPS 3377023 WITH SCORE 3381344.684
AT ITER 3233 NEW BEST:: SOT 17128680 SOS 4314461 HAS SOPS 4161935 HAS SOUS 3394098 HAS SOUPS 3377007 WITH SCORE 3381321.461
AT ITER 3284 NEW BEST:: SOT 17128579 SOS 4311720 HAS SOPS 4159258 HAS SOUS 3393896 HAS SOUPS 3376805 WITH SCORE 3381116.72
AT ITER 3337 NEW BEST:: SOT 17128579 SOS 4311567 HAS SOPS 4159105 HAS SOUS 3393553 HAS SOUPS 3376462 WITH SCORE 3380773.567
AT ITER 3343 NEW BEST:: SOT 17128262 SOS 4311251 HAS SOPS 4158789 HAS SOUS 3393236 HAS SOUPS 3376145 WITH SCORE 3380456.251
AT ITER 3352 NEW BEST:: SOT 17127628 SOS 4311374 HAS SOPS 4158912 HAS SOUS 3392990 HAS SOUPS 3375899 WITH SCORE 3380210.374
AT ITER 3367 NEW BEST:: SOT 17127628 SOS 4311253 HAS SOPS 4158791 HAS SOUS 3392739 HAS SOUPS 3375648 WITH SCORE 3379959.253
AT ITER 3370 NEW BEST:: SOT 17127628 SOS 4311253 HAS SOPS 4158791 HAS SOUS 3392472 HAS SOUPS 3375381 WITH SCORE 3379692.253
AT ITER 3373 NEW BEST:: SOT 17131503 SOS 4315205 HAS SOPS 4152447 HAS SOUS 3386930 HAS SOUPS 3369405 WITH SCORE 3373720.205
AT ITER 3381 NEW BEST:: SOT 17131503 SOS 4294789 HAS SOPS 4152447 HAS SOUS 3386292 HAS SOUPS 3369405 WITH SCORE 3373699.789
AT ITER 3390 NEW BEST:: SOT 17131503 SOS 4294789 HAS SOPS 4152447 HAS SOUS 3386182 HAS SOUPS 3369295 WITH SCORE 3373589.789
AT ITER 3391 NEW BEST:: SOT 17131086 SOS 4294356 HAS SOPS 4152014 HAS SOUS 3385749 HAS SOUPS 3368862 WITH SCORE 3373156.356
AT ITER 3395 NEW BEST:: SOT 17130935 SOS 4294505 HAS SOPS 4152012 HAS SOUS 3385721 HAS SOUPS 3368683 WITH SCORE 3372977.505
AT ITER 3397 NEW BEST:: SOT 17130935 SOS 4294343 HAS SOPS 4151850 HAS SOUS 3385559 HAS SOUPS 3368521 WITH SCORE 3372815.343
AT ITER 3399 NEW BEST:: SOT 17130719 SOS 4294127 HAS SOPS 4151634 HAS SOUS 3385343 HAS SOUPS 3368305 WITH SCORE 3372599.127
AT ITER 3420 NEW BEST:: SOT 17114305 SOS 4316355 HAS SOPS 4137951 HAS SOUS 3372739 HAS SOUPS 3354060 WITH SCORE 3358376.355
AT ITER 3426 NEW BEST:: SOT 17114305 SOS 4316354 HAS SOPS 4137950 HAS SOUS 3372738 HAS SOUPS 3354059 WITH SCORE 3358375.354
AT ITER 3456 NEW BEST:: SOT 17106430 SOS 4330312 HAS SOPS 4130073 HAS SOUS 3365794 HAS SOUPS 3346118 WITH SCORE 3350448.312
AT ITER 3469 NEW BEST:: SOT 17106129 SOS 4330013 HAS SOPS 4129774 HAS SOUS 3365493 HAS SOUPS 3345817 WITH SCORE 3350147.013
AT ITER 3470 NEW BEST:: SOT 17105613 SOS 4329704 HAS SOPS 4129465 HAS SOUS 3365181 HAS SOUPS 3345505 WITH SCORE 3349834.704
AT ITER 3504 NEW BEST:: SOT 17105613 SOS 4329688 HAS SOPS 4129449 HAS SOUS 3365165 HAS SOUPS 3345489 WITH SCORE 3349818.688
AT ITER 3544 NEW BEST:: SOT 17098103 SOS 4343123 HAS SOPS 4143898 HAS SOUS 3359710 HAS SOUPS 3340034 WITH SCORE 3344377.123
AT ITER 3558 NEW BEST:: SOT 17098066 SOS 4343070 HAS SOPS 4143845 HAS SOUS 3359657 HAS SOUPS 3339981 WITH SCORE 3344324.07
AT ITER 3568 NEW BEST:: SOT 17097625 SOS 4342630 HAS SOPS 4143405 HAS SOUS 3359216 HAS SOUPS 3339540 WITH SCORE 3343882.63
AT ITER 3583 NEW BEST:: SOT 17097606 SOS 4342577 HAS SOPS 4143352 HAS SOUS 3359181 HAS SOUPS 3339505 WITH SCORE 3343847.577
AT ITER 3584 NEW BEST:: SOT 17097606 SOS 4342490 HAS SOPS 4143265 HAS SOUS 3359181 HAS SOUPS 3339505 WITH SCORE 3343847.49
AT ITER 3605 NEW BEST:: SOT 17097578 SOS 4342434 HAS SOPS 4143209 HAS SOUS 3359153 HAS SOUPS 3339477 WITH SCORE 3343819.434
AT ITER 3633 NEW BEST:: SOT 17096752 SOS 4341183 HAS SOPS 4141958 HAS SOUS 3357902 HAS SOUPS 3338226 WITH SCORE 3342567.183
AT ITER 3638 NEW BEST:: SOT 17096752 SOS 4341025 HAS SOPS 4141800 HAS SOUS 3357744 HAS SOUPS 3338068 WITH SCORE 3342409.025
AT ITER 3670 NEW BEST:: SOT 17089567 SOS 4345787 HAS SOPS 4147051 HAS SOUS 3352350 HAS SOUPS 3332674 WITH SCORE 3337019.787
AT ITER 3689 NEW BEST:: SOT 17089494 SOS 4345714 HAS SOPS 4146978 HAS SOUS 3352277 HAS SOUPS 3332601 WITH SCORE 3336946.714
AT ITER 3714 NEW BEST:: SOT 17089478 SOS 4345698 HAS SOPS 4146962 HAS SOUS 3352245 HAS SOUPS 3332569 WITH SCORE 3336914.698
AT ITER 3759 NEW BEST:: SOT 17089478 SOS 4345501 HAS SOPS 4146765 HAS SOUS 3352245 HAS SOUPS 3332569 WITH SCORE 3336914.501
AT ITER 3767 NEW BEST:: SOT 17089468 SOS 4345491 HAS SOPS 4146755 HAS SOUS 3352229 HAS SOUPS 3332553 WITH SCORE 3336898.491
AT ITER 3773 NEW BEST:: SOT 17089127 SOS 4345491 HAS SOPS 4146755 HAS SOUS 3351888 HAS SOUPS 3332212 WITH SCORE 3336557.491
AT ITER 3795 NEW BEST:: SOT 17089127 SOS 4345475 HAS SOPS 4146739 HAS SOUS 3351872 HAS SOUPS 3332196 WITH SCORE 3336541.475
AT ITER 3804 NEW BEST:: SOT 17088915 SOS 4345531 HAS SOPS 4146795 HAS SOUS 3351716 HAS SOUPS 3332040 WITH SCORE 3336385.531
AT ITER 3809 NEW BEST:: SOT 17088495 SOS 4345079 HAS SOPS 4146343 HAS SOUS 3351264 HAS SOUPS 3331588 WITH SCORE 3335933.079
AT ITER 3810 NEW BEST:: SOT 17088470 SOS 4345121 HAS SOPS 4142749 HAS SOUS 3347728 HAS SOUPS 3328042 WITH SCORE 3332387.121
AT ITER 3832 NEW BEST:: SOT 17086959 SOS 4355321 HAS SOPS 4153077 HAS SOUS 3346369 HAS SOUPS 3326683 WITH SCORE 3331038.321
AT ITER 3875 NEW BEST:: SOT 17086913 SOS 4355243 HAS SOPS 4152999 HAS SOUS 3346291 HAS SOUPS 3326605 WITH SCORE 3330960.243
AT ITER 3893 NEW BEST:: SOT 17016751 SOS 4341125 HAS SOPS 4138881 HAS SOUS 3276129 HAS SOUPS 3256443 WITH SCORE 3260784.125
AT ITER 3921 NEW BEST:: SOT 17016723 SOS 4341081 HAS SOPS 4138837 HAS SOUS 3276085 HAS SOUPS 3256399 WITH SCORE 3260740.081
AT ITER 3925 NEW BEST:: SOT 17015837 SOS 4340195 HAS SOPS 4137951 HAS SOUS 3274313 HAS SOUPS 3254627 WITH SCORE 3258967.195
AT ITER 3927 NEW BEST:: SOT 17015347 SOS 4340195 HAS SOPS 4137951 HAS SOUS 3273823 HAS SOUPS 3254137 WITH SCORE 3258477.195
AT ITER 3936 NEW BEST:: SOT 17013264 SOS 4340451 HAS SOPS 4138207 HAS SOUS 3272094 HAS SOUPS 3252408 WITH SCORE 3256748.451
AT ITER 3960 NEW BEST:: SOT 17013248 SOS 4340435 HAS SOPS 4138191 HAS SOUS 3272062 HAS SOUPS 3252376 WITH SCORE 3256716.435
AT ITER 3984 NEW BEST:: SOT 17013069 SOS 4331202 HAS SOPS 4128958 HAS SOUS 3271589 HAS SOUPS 3251903 WITH SCORE 3256234.202
AT ITER 4038 NEW BEST:: SOT 17012637 SOS 4330345 HAS SOPS 4128101 HAS SOUS 3270732 HAS SOUPS 3251046 WITH SCORE 3255376.345
AT ITER 4039 NEW BEST:: SOT 17012395 SOS 4329861 HAS SOPS 4127617 HAS SOUS 3270248 HAS SOUPS 3250562 WITH SCORE 3254891.861
AT ITER 4047 NEW BEST:: SOT 17012379 SOS 4329716 HAS SOPS 4127472 HAS SOUS 3270216 HAS SOUPS 3250530 WITH SCORE 3254859.716
AT ITER 4080 NEW BEST:: SOT 17012355 SOS 4329700 HAS SOPS 4127456 HAS SOUS 3270176 HAS SOUPS 3250490 WITH SCORE 3254819.7
AT ITER 4083 NEW BEST:: SOT 17012355 SOS 4329605 HAS SOPS 4127361 HAS SOUS 3270176 HAS SOUPS 3250490 WITH SCORE 3254819.605
AT ITER 4101 NEW BEST:: SOT 17008077 SOS 4366953 HAS SOPS 4124034 HAS SOUS 3271326 HAS SOUPS 3250089 WITH SCORE 3254455.953
AT ITER 4122 NEW BEST:: SOT 17008061 SOS 4366937 HAS SOPS 4123515 HAS SOUS 3271788 HAS SOUPS 3250057 WITH SCORE 3254423.937
AT ITER 4134 NEW BEST:: SOT 17007595 SOS 4366958 HAS SOPS 4123536 HAS SOUS 3271343 HAS SOUPS 3249612 WITH SCORE 3253978.958
AT ITER 4160 NEW BEST:: SOT 17007509 SOS 4366888 HAS SOPS 4123466 HAS SOUS 3271257 HAS SOUPS 3249526 WITH SCORE 3253892.888
AT ITER 4167 NEW BEST:: SOT 17007305 SOS 4366684 HAS SOPS 4123262 HAS SOUS 3271053 HAS SOUPS 3249322 WITH SCORE 3253688.684
AT ITER 4179 NEW BEST:: SOT 17006947 SOS 4366326 HAS SOPS 4122904 HAS SOUS 3270337 HAS SOUPS 3248606 WITH SCORE 3252972.326
AT ITER 4224 NEW BEST:: SOT 17006947 SOS 4366267 HAS SOPS 4122845 HAS SOUS 3270337 HAS SOUPS 3248606 WITH SCORE 3252972.267
AT ITER 4227 NEW BEST:: SOT 17006564 SOS 4366239 HAS SOPS 4122817 HAS SOUS 3269972 HAS SOUPS 3248241 WITH SCORE 3252607.239
AT ITER 4228 NEW BEST:: SOT 17006564 SOS 4365936 HAS SOPS 4122514 HAS SOUS 3269669 HAS SOUPS 3247938 WITH SCORE 3252303.936
AT ITER 4245 NEW BEST:: SOT 17006125 SOS 4365481 HAS SOPS 4122059 HAS SOUS 3269214 HAS SOUPS 3247483 WITH SCORE 3251848.481
AT ITER 4246 NEW BEST:: SOT 17010068 SOS 4369491 HAS SOPS 4115136 HAS SOUS 3263430 HAS SOUPS 3240960 WITH SCORE 3245329.491
AT ITER 4248 NEW BEST:: SOT 17009914 SOS 4369070 HAS SOPS 4114715 HAS SOUS 3262848 HAS SOUPS 3240378 WITH SCORE 3244747.07
AT ITER 4283 NEW BEST:: SOT 17009914 SOS 4369070 HAS SOPS 4114715 HAS SOUS 3262815 HAS SOUPS 3240345 WITH SCORE 3244714.07
AT ITER 4306 NEW BEST:: SOT 17005376 SOS 4364532 HAS SOPS 4110535 HAS SOUS 3258627 HAS SOUPS 3236157 WITH SCORE 3240521.532
AT ITER 4309 NEW BEST:: SOT 17001864 SOS 4354832 HAS SOPS 4101548 HAS SOUS 3254842 HAS SOUPS 3232372 WITH SCORE 3236726.832
AT ITER 4322 NEW BEST:: SOT 17001864 SOS 4354832 HAS SOPS 4101548 HAS SOUS 3254694 HAS SOUPS 3232224 WITH SCORE 3236578.832
AT ITER 4341 NEW BEST:: SOT 17001876 SOS 4354690 HAS SOPS 4101406 HAS SOUS 3254674 HAS SOUPS 3232204 WITH SCORE 3236558.69
AT ITER 4363 NEW BEST:: SOT 17001449 SOS 4354263 HAS SOPS 4100979 HAS SOUS 3253816 HAS SOUPS 3231346 WITH SCORE 3235700.263
AT ITER 4370 NEW BEST:: SOT 17001247 SOS 4354120 HAS SOPS 4100836 HAS SOUS 3253471 HAS SOUPS 3231001 WITH SCORE 3235355.12
AT ITER 4372 NEW BEST:: SOT 17001324 SOS 4354235 HAS SOPS 4100951 HAS SOUS 3253229 HAS SOUPS 3230759 WITH SCORE 3235113.235
AT ITER 4382 NEW BEST:: SOT 16994952 SOS 4411494 HAS SOPS 4096787 HAS SOUS 3251547 HAS SOUPS 3226869 WITH SCORE 3231280.494
AT ITER 4390 NEW BEST:: SOT 16994553 SOS 4411629 HAS SOPS 4096922 HAS SOUS 3251283 HAS SOUPS 3226605 WITH SCORE 3231016.629
AT ITER 4427 NEW BEST:: SOT 16994537 SOS 4411613 HAS SOPS 4096906 HAS SOUS 3251251 HAS SOUPS 3226573 WITH SCORE 3230984.613
AT ITER 4470 NEW BEST:: SOT 16994547 SOS 4411623 HAS SOPS 4096916 HAS SOUS 3251023 HAS SOUPS 3226345 WITH SCORE 3230756.623
AT ITER 4472 NEW BEST:: SOT 16994497 SOS 4411969 HAS SOPS 4097262 HAS SOUS 3250923 HAS SOUPS 3226245 WITH SCORE 3230656.969
AT ITER 4484 NEW BEST:: SOT 16994497 SOS 4411708 HAS SOPS 4097001 HAS SOUS 3250038 HAS SOUPS 3225360 WITH SCORE 3229771.708
AT ITER 4498 NEW BEST:: SOT 16993928 SOS 4411120 HAS SOPS 4096413 HAS SOUS 3249436 HAS SOUPS 3224758 WITH SCORE 3229169.12
AT ITER 4503 NEW BEST:: SOT 16993410 SOS 4410602 HAS SOPS 4095895 HAS SOUS 3248918 HAS SOUPS 3224240 WITH SCORE 3228650.602
AT ITER 4527 NEW BEST:: SOT 16993065 SOS 4410563 HAS SOPS 4095856 HAS SOUS 3248573 HAS SOUPS 3223895 WITH SCORE 3228305.563
AT ITER 4529 NEW BEST:: SOT 16992996 SOS 4410039 HAS SOPS 4095758 HAS SOUS 3248439 HAS SOUPS 3223761 WITH SCORE 3228171.039
AT ITER 4539 NEW BEST:: SOT 16993111 SOS 4410154 HAS SOPS 4095873 HAS SOUS 3248245 HAS SOUPS 3223567 WITH SCORE 3227977.154
AT ITER 4555 NEW BEST:: SOT 16992277 SOS 4409320 HAS SOPS 4095039 HAS SOUS 3246769 HAS SOUPS 3222091 WITH SCORE 3226500.32
AT ITER 4584 NEW BEST:: SOT 16992277 SOS 4409258 HAS SOPS 4094977 HAS SOUS 3246769 HAS SOUPS 3222091 WITH SCORE 3226500.258
AT ITER 4605 NEW BEST:: SOT 16991870 SOS 4408851 HAS SOPS 4094570 HAS SOUS 3246755 HAS SOUPS 3222077 WITH SCORE 3226485.851
AT ITER 4608 NEW BEST:: SOT 16991246 SOS 4408851 HAS SOPS 4094570 HAS SOUS 3246745 HAS SOUPS 3222067 WITH SCORE 3226475.851
AT ITER 4619 NEW BEST:: SOT 16991246 SOS 4408618 HAS SOPS 4094337 HAS SOUS 3246512 HAS SOUPS 3221834 WITH SCORE 3226242.618
AT ITER 4627 NEW BEST:: SOT 16991111 SOS 4408523 HAS SOPS 4094242 HAS SOUS 3246295 HAS SOUPS 3221617 WITH SCORE 3226025.523
AT ITER 4636 NEW BEST:: SOT 16990584 SOS 4408523 HAS SOPS 4094242 HAS SOUS 3245768 HAS SOUPS 3221090 WITH SCORE 3225498.523
AT ITER 4638 NEW BEST:: SOT 16990568 SOS 4408507 HAS SOPS 4094226 HAS SOUS 3245736 HAS SOUPS 3221058 WITH SCORE 3225466.507
AT ITER 4650 NEW BEST:: SOT 16990568 SOS 4408494 HAS SOPS 4094213 HAS SOUS 3245723 HAS SOUPS 3221045 WITH SCORE 3225453.494
AT ITER 4692 NEW BEST:: SOT 16990392 SOS 4408318 HAS SOPS 4094037 HAS SOUS 3245371 HAS SOUPS 3220693 WITH SCORE 3225101.318
AT ITER 4721 NEW BEST:: SOT 16990392 SOS 4408318 HAS SOPS 4094037 HAS SOUS 3245027 HAS SOUPS 3220349 WITH SCORE 3224757.318
AT ITER 4753 NEW BEST:: SOT 16990038 SOS 4403549 HAS SOPS 4089268 HAS SOUS 3244319 HAS SOUPS 3219641 WITH SCORE 3224044.549
AT ITER 4815 NEW BEST:: SOT 16990038 SOS 4411149 HAS SOPS 4089252 HAS SOUS 3244541 HAS SOUPS 3219625 WITH SCORE 3224036.149
AT ITER 4825 NEW BEST:: SOT 16990038 SOS 4410960 HAS SOPS 4089063 HAS SOUS 3244541 HAS SOUPS 3219625 WITH SCORE 3224035.96
AT ITER 4837 NEW BEST:: SOT 16978679 SOS 4401353 HAS SOPS 4080428 HAS SOUS 3233493 HAS SOUPS 3208577 WITH SCORE 3212978.353
AT ITER 4851 NEW BEST:: SOT 16978559 SOS 4401113 HAS SOPS 4080188 HAS SOUS 3233253 HAS SOUPS 3208337 WITH SCORE 3212738.113
AT ITER 4862 NEW BEST:: SOT 16978559 SOS 4401001 HAS SOPS 4080076 HAS SOUS 3233253 HAS SOUPS 3208337 WITH SCORE 3212738.001
AT ITER 4877 NEW BEST:: SOT 16978150 SOS 4400592 HAS SOPS 4079667 HAS SOUS 3232435 HAS SOUPS 3207519 WITH SCORE 3211919.592
AT ITER 4882 NEW BEST:: SOT 16977504 SOS 4400362 HAS SOPS 4079437 HAS SOUS 3231789 HAS SOUPS 3206873 WITH SCORE 3211273.362
AT ITER 4885 NEW BEST:: SOT 16977504 SOS 4400333 HAS SOPS 4079408 HAS SOUS 3231789 HAS SOUPS 3206873 WITH SCORE 3211273.333
AT ITER 4934 NEW BEST:: SOT 16977016 SOS 4399829 HAS SOPS 4078904 HAS SOUS 3231285 HAS SOUPS 3206369 WITH SCORE 3210768.829
AT ITER 4935 NEW BEST:: SOT 16976517 SOS 4398831 HAS SOPS 4077906 HAS SOUS 3230287 HAS SOUPS 3205371 WITH SCORE 3209769.831
AT ITER 4937 NEW BEST:: SOT 16976517 SOS 4398724 HAS SOPS 4077799 HAS SOUS 3230287 HAS SOUPS 3205371 WITH SCORE 3209769.724
AT ITER 4945 NEW BEST:: SOT 16976336 SOS 4398954 HAS SOPS 4078029 HAS SOUS 3230140 HAS SOUPS 3205224 WITH SCORE 3209622.954
AT ITER 4963 NEW BEST:: SOT 16982189 SOS 4404868 HAS SOPS 4074024 HAS SOUS 3226638 HAS SOUPS 3201653 WITH SCORE 3206057.868
AT ITER 4972 NEW BEST:: SOT 16981942 SOS 4405359 HAS SOPS 4074515 HAS SOUS 3226548 HAS SOUPS 3201563 WITH SCORE 3205968.359
AT ITER 4988 NEW BEST:: SOT 16981613 SOS 4405589 HAS SOPS 4074745 HAS SOUS 3226449 HAS SOUPS 3201464 WITH SCORE 3205869.589
AT ITER 5003 NEW BEST:: SOT 16981095 SOS 4404553 HAS SOPS 4073709 HAS SOUS 3225413 HAS SOUPS 3200428 WITH SCORE 3204832.553
AT ITER 5019 NEW BEST:: SOT 16981074 SOS 4404532 HAS SOPS 4073667 HAS SOUS 3225389 HAS SOUPS 3200386 WITH SCORE 3204790.532
AT ITER 5023 NEW BEST:: SOT 16980438 SOS 4404871 HAS SOPS 4074006 HAS SOUS 3224753 HAS SOUPS 3199750 WITH SCORE 3204154.871
AT ITER 5067 NEW BEST:: SOT 16980406 SOS 4404664 HAS SOPS 4073799 HAS SOUS 3224689 HAS SOUPS 3199686 WITH SCORE 3204090.664
AT ITER 5069 NEW BEST:: SOT 16980499 SOS 4402289 HAS SOPS 4071424 HAS SOUS 3224031 HAS SOUPS 3199028 WITH SCORE 3203430.289
AT ITER 5077 NEW BEST:: SOT 16980499 SOS 4400366 HAS SOPS 4069501 HAS SOUS 3224031 HAS SOUPS 3199028 WITH SCORE 3203428.366
AT ITER 5109 NEW BEST:: SOT 16980483 SOS 4400334 HAS SOPS 4069469 HAS SOUS 3223983 HAS SOUPS 3198980 WITH SCORE 3203380.334
AT ITER 5111 NEW BEST:: SOT 16980644 SOS 4396277 HAS SOPS 4064888 HAS SOUS 3223604 HAS SOUPS 3198601 WITH SCORE 3202997.277
AT ITER 5130 NEW BEST:: SOT 16980644 SOS 4396188 HAS SOPS 4064799 HAS SOUS 3223604 HAS SOUPS 3198601 WITH SCORE 3202997.188
AT ITER 5133 NEW BEST:: SOT 16975237 SOS 4390298 HAS SOPS 4059392 HAS SOUS 3218197 HAS SOUPS 3193194 WITH SCORE 3197584.298
AT ITER 5134 NEW BEST:: SOT 16974671 SOS 4390144 HAS SOPS 4059238 HAS SOUS 3217631 HAS SOUPS 3192628 WITH SCORE 3197018.144
AT ITER 5199 NEW BEST:: SOT 16974337 SOS 4390394 HAS SOPS 4059488 HAS SOUS 3217547 HAS SOUPS 3192544 WITH SCORE 3196934.394
AT ITER 5219 NEW BEST:: SOT 16974435 SOS 4390246 HAS SOPS 4059582 HAS SOUS 3217522 HAS SOUPS 3192519 WITH SCORE 3196909.246
AT ITER 5224 NEW BEST:: SOT 16974152 SOS 4386539 HAS SOPS 4055661 HAS SOUS 3216956 HAS SOUPS 3191953 WITH SCORE 3196339.539
AT ITER 5228 NEW BEST:: SOT 16969247 SOS 4398072 HAS SOPS 4051529 HAS SOUS 3216135 HAS SOUPS 3190359 WITH SCORE 3194757.072
AT ITER 5262 NEW BEST:: SOT 16969235 SOS 4398060 HAS SOPS 4051517 HAS SOUS 3216117 HAS SOUPS 3190341 WITH SCORE 3194739.06
AT ITER 5286 NEW BEST:: SOT 16968894 SOS 4398077 HAS SOPS 4051534 HAS SOUS 3215793 HAS SOUPS 3190017 WITH SCORE 3194415.077
AT ITER 5288 NEW BEST:: SOT 16968562 SOS 4398077 HAS SOPS 4051534 HAS SOUS 3215461 HAS SOUPS 3189685 WITH SCORE 3194083.077
AT ITER 5294 NEW BEST:: SOT 16968532 SOS 4398031 HAS SOPS 4051488 HAS SOUS 3215415 HAS SOUPS 3189639 WITH SCORE 3194037.031
AT ITER 5299 NEW BEST:: SOT 16968386 SOS 4398229 HAS SOPS 4051686 HAS SOUS 3215340 HAS SOUPS 3189564 WITH SCORE 3193962.229
AT ITER 5306 NEW BEST:: SOT 16968386 SOS 4398020 HAS SOPS 4051477 HAS SOUS 3215340 HAS SOUPS 3189564 WITH SCORE 3193962.02
AT ITER 5322 NEW BEST:: SOT 16968386 SOS 4397785 HAS SOPS 4051242 HAS SOUS 3215340 HAS SOUPS 3189564 WITH SCORE 3193961.785
AT ITER 5327 NEW BEST:: SOT 16968317 SOS 4398795 HAS SOPS 4052252 HAS SOUS 3215188 HAS SOUPS 3189412 WITH SCORE 3193810.795
AT ITER 5352 NEW BEST:: SOT 16968267 SOS 4399289 HAS SOPS 4053050 HAS SOUS 3215088 HAS SOUPS 3189312 WITH SCORE 3193711.289
AT ITER 5357 NEW BEST:: SOT 16968267 SOS 4399289 HAS SOPS 4053050 HAS SOUS 3214886 HAS SOUPS 3189110 WITH SCORE 3193509.289
AT ITER 5358 NEW BEST:: SOT 16968267 SOS 4399289 HAS SOPS 4053050 HAS SOUS 3214517 HAS SOUPS 3188741 WITH SCORE 3193140.289
AT ITER 5365 NEW BEST:: SOT 16968087 SOS 4399109 HAS SOPS 4053098 HAS SOUS 3214402 HAS SOUPS 3188626 WITH SCORE 3193025.109
AT ITER 5373 NEW BEST:: SOT 16967930 SOS 4398920 HAS SOPS 4052909 HAS SOUS 3214213 HAS SOUPS 3188437 WITH SCORE 3192835.92
AT ITER 5433 NEW BEST:: SOT 16967663 SOS 4398653 HAS SOPS 4052642 HAS SOUS 3213679 HAS SOUPS 3187903 WITH SCORE 3192301.653
AT ITER 5474 NEW BEST:: SOT 16967541 SOS 4398531 HAS SOPS 4052520 HAS SOUS 3213557 HAS SOUPS 3187781 WITH SCORE 3192179.531
AT ITER 5486 NEW BEST:: SOT 16963499 SOS 4417551 HAS SOPS 4072535 HAS SOUS 3211638 HAS SOUPS 3185862 WITH SCORE 3190279.551
AT ITER 5496 NEW BEST:: SOT 16963499 SOS 4417551 HAS SOPS 4072535 HAS SOUS 3211298 HAS SOUPS 3185522 WITH SCORE 3189939.551
AT ITER 5504 NEW BEST:: SOT 16962943 SOS 4417373 HAS SOPS 4072357 HAS SOUS 3210628 HAS SOUPS 3184852 WITH SCORE 3189269.373
AT ITER 5548 NEW BEST:: SOT 16962666 SOS 4416956 HAS SOPS 4071940 HAS SOUS 3209425 HAS SOUPS 3183649 WITH SCORE 3188065.956
AT ITER 5553 NEW BEST:: SOT 16957031 SOS 4418013 HAS SOPS 4073075 HAS SOUS 3204463 HAS SOUPS 3178687 WITH SCORE 3183105.013
AT ITER 5556 NEW BEST:: SOT 16957231 SOS 4418250 HAS SOPS 4073312 HAS SOUS 3204359 HAS SOUPS 3178583 WITH SCORE 3183001.25
AT ITER 5570 NEW BEST:: SOT 16957224 SOS 4418243 HAS SOPS 4073298 HAS SOUS 3204347 HAS SOUPS 3178569 WITH SCORE 3182987.243
AT ITER 5587 NEW BEST:: SOT 16957224 SOS 4418179 HAS SOPS 4073234 HAS SOUS 3204176 HAS SOUPS 3178398 WITH SCORE 3182816.179
AT ITER 5633 NEW BEST:: SOT 16957137 SOS 4418092 HAS SOPS 4073147 HAS SOUS 3204002 HAS SOUPS 3178224 WITH SCORE 3182642.092
AT ITER 5711 NEW BEST:: SOT 16957137 SOS 4418092 HAS SOPS 4073147 HAS SOUS 3203986 HAS SOUPS 3178208 WITH SCORE 3182626.092
AT ITER 5713 NEW BEST:: SOT 16956882 SOS 4418076 HAS SOPS 4073131 HAS SOUS 3203715 HAS SOUPS 3177937 WITH SCORE 3182355.076
AT ITER 5714 NEW BEST:: SOT 16956621 SOS 4417815 HAS SOPS 4072870 HAS SOUS 3203637 HAS SOUPS 3177859 WITH SCORE 3182276.815
AT ITER 5720 NEW BEST:: SOT 16956086 SOS 4417280 HAS SOPS 4072335 HAS SOUS 3203102 HAS SOUPS 3177324 WITH SCORE 3181741.28
AT ITER 5727 NEW BEST:: SOT 16953401 SOS 4418964 HAS SOPS 4069650 HAS SOUS 3201787 HAS SOUPS 3175739 WITH SCORE 3180157.964
AT ITER 5739 NEW BEST:: SOT 16953209 SOS 4418772 HAS SOPS 4069458 HAS SOUS 3201451 HAS SOUPS 3175403 WITH SCORE 3179821.772
AT ITER 5743 NEW BEST:: SOT 16952866 SOS 4418941 HAS SOPS 4069627 HAS SOUS 3200866 HAS SOUPS 3174818 WITH SCORE 3179236.941
AT ITER 5751 NEW BEST:: SOT 16952866 SOS 4418866 HAS SOPS 4069552 HAS SOUS 3200866 HAS SOUPS 3174818 WITH SCORE 3179236.866
AT ITER 5784 NEW BEST:: SOT 16946477 SOS 4432684 HAS SOPS 4084324 HAS SOUS 3196530 HAS SOUPS 3170482 WITH SCORE 3174914.684
AT ITER 5786 NEW BEST:: SOT 16953500 SOS 4439772 HAS SOPS 4080999 HAS SOUS 3193973 HAS SOUPS 3167639 WITH SCORE 3172078.772
AT ITER 5789 NEW BEST:: SOT 16951790 SOS 4440000 HAS SOPS 4079403 HAS SOUS 3192377 HAS SOUPS 3165929 WITH SCORE 3170369.0
AT ITER 5797 NEW BEST:: SOT 16951758 SOS 4439968 HAS SOPS 4079371 HAS SOUS 3192313 HAS SOUPS 3165865 WITH SCORE 3170304.968
AT ITER 5801 NEW BEST:: SOT 16951631 SOS 4442569 HAS SOPS 4081972 HAS SOUS 3192260 HAS SOUPS 3165812 WITH SCORE 3170254.569
AT ITER 5805 NEW BEST:: SOT 16950918 SOS 4442231 HAS SOPS 4081634 HAS SOUS 3191572 HAS SOUPS 3165124 WITH SCORE 3169566.231
AT ITER 5807 NEW BEST:: SOT 16950673 SOS 4441986 HAS SOPS 4081389 HAS SOUS 3191326 HAS SOUPS 3164878 WITH SCORE 3169319.986
AT ITER 5826 NEW BEST:: SOT 16950673 SOS 4441840 HAS SOPS 4081243 HAS SOUS 3191326 HAS SOUPS 3164878 WITH SCORE 3169319.84
AT ITER 5828 NEW BEST:: SOT 16950114 SOS 4441698 HAS SOPS 4081101 HAS SOUS 3190823 HAS SOUPS 3164375 WITH SCORE 3168816.698
AT ITER 5834 NEW BEST:: SOT 16950089 SOS 4441098 HAS SOPS 4080501 HAS SOUS 3190198 HAS SOUPS 3163750 WITH SCORE 3168191.098
AT ITER 5874 NEW BEST:: SOT 16949759 SOS 4441473 HAS SOPS 4080500 HAS SOUS 3190061 HAS SOUPS 3163239 WITH SCORE 3167680.473
AT ITER 5943 NEW BEST:: SOT 16949460 SOS 4441174 HAS SOPS 4080201 HAS SOUS 3189463 HAS SOUPS 3162641 WITH SCORE 3167082.174
AT ITER 5969 NEW BEST:: SOT 16947571 SOS 4446316 HAS SOPS 4086086 HAS SOUS 3188877 HAS SOUPS 3162055 WITH SCORE 3166501.316
AT ITER 5985 NEW BEST:: SOT 16947555 SOS 4446300 HAS SOPS 4086070 HAS SOUS 3188853 HAS SOUPS 3162031 WITH SCORE 3166477.3
AT ITER 6029 NEW BEST:: SOT 16947499 SOS 4446244 HAS SOPS 4086014 HAS SOUS 3188797 HAS SOUPS 3161975 WITH SCORE 3166421.244
AT ITER 6108 NEW BEST:: SOT 16947480 SOS 4446188 HAS SOPS 4085958 HAS SOUS 3188722 HAS SOUPS 3161900 WITH SCORE 3166346.188
AT ITER 6130 NEW BEST:: SOT 16947273 SOS 4445981 HAS SOPS 4085544 HAS SOUS 3188701 HAS SOUPS 3161675 WITH SCORE 3166120.981
AT ITER 6138 NEW BEST:: SOT 16946530 SOS 4445366 HAS SOPS 4084929 HAS SOUS 3188180 HAS SOUPS 3161154 WITH SCORE 3165599.366
AT ITER 6148 NEW BEST:: SOT 16946514 SOS 4445350 HAS SOPS 4084913 HAS SOUS 3188148 HAS SOUPS 3161122 WITH SCORE 3165567.35
AT ITER 6161 NEW BEST:: SOT 16945875 SOS 4444703 HAS SOPS 4084266 HAS SOUS 3187501 HAS SOUPS 3160475 WITH SCORE 3164919.703
AT ITER 6168 NEW BEST:: SOT 16945870 SOS 4429626 HAS SOPS 4069189 HAS SOUS 3186577 HAS SOUPS 3159551 WITH SCORE 3163980.626
AT ITER 6203 NEW BEST:: SOT 16944931 SOS 4428687 HAS SOPS 4068250 HAS SOUS 3185512 HAS SOUPS 3158486 WITH SCORE 3162914.687
AT ITER 6227 NEW BEST:: SOT 16944912 SOS 4428668 HAS SOPS 4068231 HAS SOUS 3185474 HAS SOUPS 3158448 WITH SCORE 3162876.668
AT ITER 6232 NEW BEST:: SOT 16944912 SOS 4428493 HAS SOPS 4068056 HAS SOUS 3185474 HAS SOUPS 3158448 WITH SCORE 3162876.493
AT ITER 6298 NEW BEST:: SOT 16944864 SOS 4428445 HAS SOPS 4068008 HAS SOUS 3185426 HAS SOUPS 3158400 WITH SCORE 3162828.445
AT ITER 6327 NEW BEST:: SOT 16943609 SOS 4427190 HAS SOPS 4066753 HAS SOUS 3184168 HAS SOUPS 3157142 WITH SCORE 3161569.19
AT ITER 6364 NEW BEST:: SOT 16943169 SOS 4421376 HAS SOPS 4060939 HAS SOUS 3183243 HAS SOUPS 3156217 WITH SCORE 3160638.376
AT ITER 6373 NEW BEST:: SOT 16942705 SOS 4420514 HAS SOPS 4060077 HAS SOUS 3182077 HAS SOUPS 3155051 WITH SCORE 3159471.514
AT ITER 6376 NEW BEST:: SOT 16942705 SOS 4418192 HAS SOPS 4057755 HAS SOUS 3181900 HAS SOUPS 3154874 WITH SCORE 3159292.192
AT ITER 6402 NEW BEST:: SOT 16942405 SOS 4418192 HAS SOPS 4057755 HAS SOUS 3181600 HAS SOUPS 3154574 WITH SCORE 3158992.192
AT ITER 6406 NEW BEST:: SOT 16942405 SOS 4417915 HAS SOPS 4057478 HAS SOUS 3181600 HAS SOUPS 3154574 WITH SCORE 3158991.915
AT ITER 6409 NEW BEST:: SOT 16942208 SOS 4418137 HAS SOPS 4057700 HAS SOUS 3181427 HAS SOUPS 3154401 WITH SCORE 3158819.137
AT ITER 6428 NEW BEST:: SOT 16942208 SOS 4418225 HAS SOPS 4057788 HAS SOUS 3181409 HAS SOUPS 3154383 WITH SCORE 3158801.225
AT ITER 6434 NEW BEST:: SOT 16942208 SOS 4416961 HAS SOPS 4056524 HAS SOUS 3181409 HAS SOUPS 3154383 WITH SCORE 3158799.961
AT ITER 6443 NEW BEST:: SOT 16942183 SOS 4416936 HAS SOPS 4056474 HAS SOUS 3181362 HAS SOUPS 3154333 WITH SCORE 3158749.936
AT ITER 6456 NEW BEST:: SOT 16942013 SOS 4417100 HAS SOPS 4056638 HAS SOUS 3181356 HAS SOUPS 3154327 WITH SCORE 3158744.1
AT ITER 6469 NEW BEST:: SOT 16941977 SOS 4417589 HAS SOPS 4057127 HAS SOUS 3181284 HAS SOUPS 3154255 WITH SCORE 3158672.589
AT ITER 6475 NEW BEST:: SOT 16941977 SOS 4417376 HAS SOPS 4056914 HAS SOUS 3181284 HAS SOUPS 3154255 WITH SCORE 3158672.376
AT ITER 6481 NEW BEST:: SOT 16941877 SOS 4417276 HAS SOPS 4057707 HAS SOUS 3181117 HAS SOUPS 3154088 WITH SCORE 3158505.276
AT ITER 6491 NEW BEST:: SOT 16941853 SOS 4417244 HAS SOPS 4057537 HAS SOUS 3181069 HAS SOUPS 3154040 WITH SCORE 3158457.244
AT ITER 6600 NEW BEST:: SOT 16941853 SOS 4417228 HAS SOPS 4057521 HAS SOUS 3181053 HAS SOUPS 3154024 WITH SCORE 3158441.228
AT ITER 6618 NEW BEST:: SOT 16941853 SOS 4417228 HAS SOPS 4057521 HAS SOUS 3181052 HAS SOUPS 3154023 WITH SCORE 3158440.228
AT ITER 6628 NEW BEST:: SOT 16939449 SOS 4419462 HAS SOPS 4055117 HAS SOUS 3180001 HAS SOUPS 3152702 WITH SCORE 3157121.462
AT ITER 6635 NEW BEST:: SOT 16939449 SOS 4418844 HAS SOPS 4054499 HAS SOUS 3180001 HAS SOUPS 3152702 WITH SCORE 3157120.844
AT ITER 6717 NEW BEST:: SOT 16939309 SOS 4418704 HAS SOPS 4054219 HAS SOUS 3179859 HAS SOUPS 3152422 WITH SCORE 3156840.704
AT ITER 6737 NEW BEST:: SOT 16939237 SOS 4419159 HAS SOPS 4054674 HAS SOUS 3179849 HAS SOUPS 3152412 WITH SCORE 3156831.159
AT ITER 6807 NEW BEST:: SOT 16939069 SOS 4408752 HAS SOPS 4054506 HAS SOUS 3179299 HAS SOUPS 3152244 WITH SCORE 3156652.752
AT ITER 6822 NEW BEST:: SOT 16939296 SOS 4408579 HAS SOPS 4054333 HAS SOUS 3178754 HAS SOUPS 3151699 WITH SCORE 3156107.579
AT ITER 6852 NEW BEST:: SOT 16939034 SOS 4400787 HAS SOPS 4046541 HAS SOUS 3178394 HAS SOUPS 3151339 WITH SCORE 3155739.787
AT ITER 6877 NEW BEST:: SOT 16938439 SOS 4401150 HAS SOPS 4046904 HAS SOUS 3178171 HAS SOUPS 3151116 WITH SCORE 3155517.15
AT ITER 6916 NEW BEST:: SOT 16937889 SOS 4401022 HAS SOPS 4046776 HAS SOUS 3178029 HAS SOUPS 3150974 WITH SCORE 3155375.022
AT ITER 6921 NEW BEST:: SOT 16937022 SOS 4399666 HAS SOPS 4045420 HAS SOUS 3176673 HAS SOUPS 3149618 WITH SCORE 3154017.666
AT ITER 6933 NEW BEST:: SOT 16937022 SOS 4399338 HAS SOPS 4045092 HAS SOUS 3176673 HAS SOUPS 3149618 WITH SCORE 3154017.338
AT ITER 6948 NEW BEST:: SOT 16931745 SOS 4394061 HAS SOPS 4044106 HAS SOUS 3175364 HAS SOUPS 3148333 WITH SCORE 3152727.061
AT ITER 6967 NEW BEST:: SOT 16931713 SOS 4393747 HAS SOPS 4043792 HAS SOUS 3175300 HAS SOUPS 3148269 WITH SCORE 3152662.747
AT ITER 6986 NEW BEST:: SOT 16931632 SOS 4393456 HAS SOPS 4043501 HAS SOUS 3174541 HAS SOUPS 3147510 WITH SCORE 3151903.456
AT ITER 7021 NEW BEST:: SOT 16926040 SOS 4395745 HAS SOPS 4045864 HAS SOUS 3169898 HAS SOUPS 3142867 WITH SCORE 3147262.745
AT ITER 7056 NEW BEST:: SOT 16925600 SOS 4395305 HAS SOPS 4045611 HAS SOUS 3169630 HAS SOUPS 3142599 WITH SCORE 3146994.305
AT ITER 7059 NEW BEST:: SOT 16925587 SOS 4395228 HAS SOPS 4045586 HAS SOUS 3169605 HAS SOUPS 3142574 WITH SCORE 3146969.228
AT ITER 7066 NEW BEST:: SOT 16925571 SOS 4395212 HAS SOPS 4045570 HAS SOUS 3169573 HAS SOUPS 3142542 WITH SCORE 3146937.212
AT ITER 7082 NEW BEST:: SOT 16925358 SOS 4394999 HAS SOPS 4045357 HAS SOUS 3169360 HAS SOUPS 3142329 WITH SCORE 3146723.999
AT ITER 7087 NEW BEST:: SOT 16925478 SOS 4395119 HAS SOPS 4045477 HAS SOUS 3169051 HAS SOUPS 3142020 WITH SCORE 3146415.119
AT ITER 7165 NEW BEST:: SOT 16925478 SOS 4394956 HAS SOPS 4045314 HAS SOUS 3169051 HAS SOUPS 3142020 WITH SCORE 3146414.956
AT ITER 7193 NEW BEST:: SOT 16924967 SOS 4394424 HAS SOPS 4044782 HAS SOUS 3168524 HAS SOUPS 3141493 WITH SCORE 3145887.424
AT ITER 7246 NEW BEST:: SOT 16924927 SOS 4394344 HAS SOPS 4044702 HAS SOUS 3168444 HAS SOUPS 3141413 WITH SCORE 3145807.344
AT ITER 7252 NEW BEST:: SOT 16923431 SOS 4395792 HAS SOPS 4043206 HAS SOUS 3168396 HAS SOUPS 3141181 WITH SCORE 3145576.792
AT ITER 7272 NEW BEST:: SOT 16923241 SOS 4395713 HAS SOPS 4043127 HAS SOUS 3168206 HAS SOUPS 3140991 WITH SCORE 3145386.713
AT ITER 7291 NEW BEST:: SOT 16923241 SOS 4395528 HAS SOPS 4042942 HAS SOUS 3167518 HAS SOUPS 3140303 WITH SCORE 3144698.528
AT ITER 7298 NEW BEST:: SOT 16922780 SOS 4395528 HAS SOPS 4042942 HAS SOUS 3167057 HAS SOUPS 3139842 WITH SCORE 3144237.528
AT ITER 7327 NEW BEST:: SOT 16922466 SOS 4395015 HAS SOPS 4042429 HAS SOUS 3166743 HAS SOUPS 3139528 WITH SCORE 3143923.015
AT ITER 7355 NEW BEST:: SOT 16921866 SOS 4394415 HAS SOPS 4041829 HAS SOUS 3166143 HAS SOUPS 3138928 WITH SCORE 3143322.415
AT ITER 7370 NEW BEST:: SOT 16921282 SOS 4393831 HAS SOPS 4041245 HAS SOUS 3164990 HAS SOUPS 3137775 WITH SCORE 3142168.831
AT ITER 7372 NEW BEST:: SOT 16921282 SOS 4393769 HAS SOPS 4041183 HAS SOUS 3164990 HAS SOUPS 3137775 WITH SCORE 3142168.769
AT ITER 7374 NEW BEST:: SOT 16920951 SOS 4393617 HAS SOPS 4041031 HAS SOUS 3164978 HAS SOUPS 3137763 WITH SCORE 3142156.617
AT ITER 7401 NEW BEST:: SOT 16920951 SOS 4393537 HAS SOPS 4040951 HAS SOUS 3164898 HAS SOUPS 3137683 WITH SCORE 3142076.537
AT ITER 7434 NEW BEST:: SOT 16920820 SOS 4393406 HAS SOPS 4040820 HAS SOUS 3164663 HAS SOUPS 3137448 WITH SCORE 3141841.406
AT ITER 7438 NEW BEST:: SOT 16920820 SOS 4393220 HAS SOPS 4040634 HAS SOUS 3164663 HAS SOUPS 3137448 WITH SCORE 3141841.22
AT ITER 7445 NEW BEST:: SOT 16920379 SOS 4392876 HAS SOPS 4040290 HAS SOUS 3164222 HAS SOUPS 3137007 WITH SCORE 3141399.876
AT ITER 7451 NEW BEST:: SOT 16920171 SOS 4389227 HAS SOPS 4036641 HAS SOUS 3163806 HAS SOUPS 3136591 WITH SCORE 3140980.227
AT ITER 7456 NEW BEST:: SOT 16920171 SOS 4389350 HAS SOPS 4036764 HAS SOUS 3163560 HAS SOUPS 3136345 WITH SCORE 3140734.35
AT ITER 7501 NEW BEST:: SOT 16920155 SOS 4389164 HAS SOPS 4036578 HAS SOUS 3163528 HAS SOUPS 3136313 WITH SCORE 3140702.164
AT ITER 7510 NEW BEST:: SOT 16920653 SOS 4381327 HAS SOPS 4027946 HAS SOUS 3163391 HAS SOUPS 3136176 WITH SCORE 3140557.327
AT ITER 7552 NEW BEST:: SOT 16920653 SOS 4381157 HAS SOPS 4027776 HAS SOUS 3163391 HAS SOUPS 3136176 WITH SCORE 3140557.157
AT ITER 7588 NEW BEST:: SOT 16920637 SOS 4381141 HAS SOPS 4027760 HAS SOUS 3163359 HAS SOUPS 3136144 WITH SCORE 3140525.141
AT ITER 7604 NEW BEST:: SOT 16920621 SOS 4376944 HAS SOPS 4023547 HAS SOUS 3163327 HAS SOUPS 3136112 WITH SCORE 3140488.944
AT ITER 7622 NEW BEST:: SOT 16920605 SOS 4376533 HAS SOPS 4023136 HAS SOUS 3163295 HAS SOUPS 3136080 WITH SCORE 3140456.533
AT ITER 7648 NEW BEST:: SOT 16920605 SOS 4376177 HAS SOPS 4022780 HAS SOUS 3163295 HAS SOUPS 3136080 WITH SCORE 3140456.177
AT ITER 7657 NEW BEST:: SOT 16920163 SOS 4375745 HAS SOPS 4022348 HAS SOUS 3163249 HAS SOUPS 3136034 WITH SCORE 3140409.745
AT ITER 7687 NEW BEST:: SOT 16912664 SOS 4389610 HAS SOPS 4037228 HAS SOUS 3158806 HAS SOUPS 3131591 WITH SCORE 3135980.61
AT ITER 7697 NEW BEST:: SOT 16912664 SOS 4389610 HAS SOPS 4037228 HAS SOUS 3158796 HAS SOUPS 3131581 WITH SCORE 3135970.61
AT ITER 7705 NEW BEST:: SOT 16912664 SOS 4389201 HAS SOPS 4036819 HAS SOUS 3158780 HAS SOUPS 3131565 WITH SCORE 3135954.201
AT ITER 7773 NEW BEST:: SOT 16912345 SOS 4378658 HAS SOPS 4036484 HAS SOUS 3158126 HAS SOUPS 3131230 WITH SCORE 3135608.658
AT ITER 7802 NEW BEST:: SOT 16906588 SOS 4389919 HAS SOPS 4048652 HAS SOUS 3154448 HAS SOUPS 3127552 WITH SCORE 3131941.919
AT ITER 7804 NEW BEST:: SOT 16905782 SOS 4389780 HAS SOPS 4048513 HAS SOUS 3152850 HAS SOUPS 3125954 WITH SCORE 3130343.78
AT ITER 7858 NEW BEST:: SOT 16905741 SOS 4389706 HAS SOPS 4048439 HAS SOUS 3152735 HAS SOUPS 3125839 WITH SCORE 3130228.706
AT ITER 7909 NEW BEST:: SOT 16905741 SOS 4381079 HAS SOPS 4039812 HAS SOUS 3152719 HAS SOUPS 3125823 WITH SCORE 3130204.079
AT ITER 7916 NEW BEST:: SOT 16905352 SOS 4380690 HAS SOPS 4039423 HAS SOUS 3152330 HAS SOUPS 3125434 WITH SCORE 3129814.69
AT ITER 7933 NEW BEST:: SOT 16905155 SOS 4372264 HAS SOPS 4030997 HAS SOUS 3151936 HAS SOUPS 3125040 WITH SCORE 3129412.264
AT ITER 7936 NEW BEST:: SOT 16905005 SOS 4371936 HAS SOPS 4030669 HAS SOUS 3151687 HAS SOUPS 3124791 WITH SCORE 3129162.936
AT ITER 7949 NEW BEST:: SOT 16905005 SOS 4371936 HAS SOPS 4030669 HAS SOUS 3151678 HAS SOUPS 3124782 WITH SCORE 3129153.936
AT ITER 7962 NEW BEST:: SOT 16904806 SOS 4371853 HAS SOPS 4030586 HAS SOUS 3151337 HAS SOUPS 3124441 WITH SCORE 3128812.853
AT ITER 7966 NEW BEST:: SOT 16904374 SOS 4372106 HAS SOPS 4030839 HAS SOUS 3151317 HAS SOUPS 3124421 WITH SCORE 3128793.106
AT ITER 8035 NEW BEST:: SOT 16904515 SOS 4372237 HAS SOPS 4030970 HAS SOUS 3151274 HAS SOUPS 3124378 WITH SCORE 3128750.237
AT ITER 8048 NEW BEST:: SOT 16904515 SOS 4372033 HAS SOPS 4030766 HAS SOUS 3151274 HAS SOUPS 3124378 WITH SCORE 3128750.033
AT ITER 8066 NEW BEST:: SOT 16904515 SOS 4371693 HAS SOPS 4030426 HAS SOUS 3150934 HAS SOUPS 3124038 WITH SCORE 3128409.693
AT ITER 8104 NEW BEST:: SOT 16904394 SOS 4372243 HAS SOPS 4030976 HAS SOUS 3150733 HAS SOUPS 3123837 WITH SCORE 3128209.243
AT ITER 8121 NEW BEST:: SOT 16904394 SOS 4372243 HAS SOPS 4030976 HAS SOUS 3150692 HAS SOUPS 3123796 WITH SCORE 3128168.243
AT ITER 8128 NEW BEST:: SOT 16904308 SOS 4372157 HAS SOPS 4030804 HAS SOUS 3150605 HAS SOUPS 3123624 WITH SCORE 3127996.157
AT ITER 8137 NEW BEST:: SOT 16904034 SOS 4372530 HAS SOPS 4031177 HAS SOUS 3150300 HAS SOUPS 3123319 WITH SCORE 3127691.53
AT ITER 8139 NEW BEST:: SOT 16903864 SOS 4372064 HAS SOPS 4030711 HAS SOUS 3148702 HAS SOUPS 3121721 WITH SCORE 3126093.064
AT ITER 8157 NEW BEST:: SOT 16903545 SOS 4371745 HAS SOPS 4030073 HAS SOUS 3148381 HAS SOUPS 3121083 WITH SCORE 3125454.745
AT ITER 8186 NEW BEST:: SOT 16903545 SOS 4371639 HAS SOPS 4029967 HAS SOUS 3148169 HAS SOUPS 3120871 WITH SCORE 3125242.639
AT ITER 8187 NEW BEST:: SOT 16903545 SOS 4371244 HAS SOPS 4029572 HAS SOUS 3147774 HAS SOUPS 3120476 WITH SCORE 3124847.244
AT ITER 8191 NEW BEST:: SOT 16903545 SOS 4371244 HAS SOPS 4029572 HAS SOUS 3147770 HAS SOUPS 3120472 WITH SCORE 3124843.244
AT ITER 8219 NEW BEST:: SOT 16903545 SOS 4371254 HAS SOPS 4029582 HAS SOUS 3147649 HAS SOUPS 3120351 WITH SCORE 3124722.254
AT ITER 8227 NEW BEST:: SOT 16903474 SOS 4371200 HAS SOPS 4029528 HAS SOUS 3147578 HAS SOUPS 3120280 WITH SCORE 3124651.2
AT ITER 8251 NEW BEST:: SOT 16903458 SOS 4370887 HAS SOPS 4029215 HAS SOUS 3147546 HAS SOUPS 3120248 WITH SCORE 3124618.887
AT ITER 8306 NEW BEST:: SOT 16903458 SOS 4370774 HAS SOPS 4029102 HAS SOUS 3147545 HAS SOUPS 3120247 WITH SCORE 3124617.774
AT ITER 8316 NEW BEST:: SOT 16903396 SOS 4370634 HAS SOPS 4028962 HAS SOUS 3147483 HAS SOUPS 3120185 WITH SCORE 3124555.634
AT ITER 8327 NEW BEST:: SOT 16903367 SOS 4371326 HAS SOPS 4029390 HAS SOUS 3147689 HAS SOUPS 3120127 WITH SCORE 3124498.326
AT ITER 8341 NEW BEST:: SOT 16903280 SOS 4371144 HAS SOPS 4029208 HAS SOUS 3147420 HAS SOUPS 3119858 WITH SCORE 3124229.144
AT ITER 8342 NEW BEST:: SOT 16903585 SOS 4371449 HAS SOPS 4029513 HAS SOUS 3147368 HAS SOUPS 3119806 WITH SCORE 3124177.449
AT ITER 8355 NEW BEST:: SOT 16895006 SOS 4365076 HAS SOPS 4023838 HAS SOUS 3138942 HAS SOUPS 3111380 WITH SCORE 3115745.076
AT ITER 8356 NEW BEST:: SOT 16895006 SOS 4365047 HAS SOPS 4023809 HAS SOUS 3138913 HAS SOUPS 3111351 WITH SCORE 3115716.047
AT ITER 8380 NEW BEST:: SOT 16894519 SOS 4364544 HAS SOPS 4023306 HAS SOUS 3138410 HAS SOUPS 3110848 WITH SCORE 3115212.544
AT ITER 8459 NEW BEST:: SOT 16894519 SOS 4364528 HAS SOPS 4023290 HAS SOUS 3138394 HAS SOUPS 3110832 WITH SCORE 3115196.528
AT ITER 8539 NEW BEST:: SOT 16894398 SOS 4364162 HAS SOPS 4022924 HAS SOUS 3137907 HAS SOUPS 3110345 WITH SCORE 3114709.162
AT ITER 8576 NEW BEST:: SOT 16894382 SOS 4364146 HAS SOPS 4022908 HAS SOUS 3137875 HAS SOUPS 3110313 WITH SCORE 3114677.146
AT ITER 8615 NEW BEST:: SOT 16894013 SOS 4363777 HAS SOPS 4022539 HAS SOUS 3137490 HAS SOUPS 3109928 WITH SCORE 3114291.777
AT ITER 8619 NEW BEST:: SOT 16894013 SOS 4363777 HAS SOPS 4022539 HAS SOUS 3137127 HAS SOUPS 3109565 WITH SCORE 3113928.777
AT ITER 8629 NEW BEST:: SOT 16893770 SOS 4363911 HAS SOPS 4022673 HAS SOUS 3136468 HAS SOUPS 3108906 WITH SCORE 3113269.911
AT ITER 8640 NEW BEST:: SOT 16893539 SOS 4363391 HAS SOPS 4022153 HAS SOUS 3136335 HAS SOUPS 3108773 WITH SCORE 3113136.391
AT ITER 8644 NEW BEST:: SOT 16889903 SOS 4387617 HAS SOPS 4018498 HAS SOUS 3137236 HAS SOUPS 3108528 WITH SCORE 3112915.617
AT ITER 8681 NEW BEST:: SOT 16889876 SOS 4387590 HAS SOPS 4018471 HAS SOUS 3137182 HAS SOUPS 3108474 WITH SCORE 3112861.59
AT ITER 8689 NEW BEST:: SOT 16889860 SOS 4387574 HAS SOPS 4018455 HAS SOUS 3137150 HAS SOUPS 3108442 WITH SCORE 3112829.574
AT ITER 8694 NEW BEST:: SOT 16889828 SOS 4387562 HAS SOPS 4018443 HAS SOUS 3137086 HAS SOUPS 3108378 WITH SCORE 3112765.562
AT ITER 8695 NEW BEST:: SOT 16883542 SOS 4414493 HAS SOPS 4046605 HAS SOUS 3135692 HAS SOUPS 3106984 WITH SCORE 3111398.493
AT ITER 8735 NEW BEST:: SOT 16883465 SOS 4414304 HAS SOPS 4046515 HAS SOUS 3135602 HAS SOUPS 3106894 WITH SCORE 3111308.304
AT ITER 8764 NEW BEST:: SOT 16883445 SOS 4414159 HAS SOPS 4046370 HAS SOUS 3135292 HAS SOUPS 3106584 WITH SCORE 3110998.159
AT ITER 8782 NEW BEST:: SOT 16882708 SOS 4414197 HAS SOPS 4046408 HAS SOUS 3134593 HAS SOUPS 3105885 WITH SCORE 3110299.197
AT ITER 8783 NEW BEST:: SOT 16882526 SOS 4414655 HAS SOPS 4046866 HAS SOUS 3134411 HAS SOUPS 3105703 WITH SCORE 3110117.655
AT ITER 8786 NEW BEST:: SOT 16882526 SOS 4414620 HAS SOPS 4046831 HAS SOUS 3134341 HAS SOUPS 3105633 WITH SCORE 3110047.62
AT ITER 8818 NEW BEST:: SOT 16881068 SOS 4427689 HAS SOPS 4060964 HAS SOUS 3133947 HAS SOUPS 3105239 WITH SCORE 3109666.689
AT ITER 8852 NEW BEST:: SOT 16880328 SOS 4427048 HAS SOPS 4060323 HAS SOUS 3133253 HAS SOUPS 3104545 WITH SCORE 3108972.048
AT ITER 8862 NEW BEST:: SOT 16880328 SOS 4426999 HAS SOPS 4060274 HAS SOUS 3133155 HAS SOUPS 3104447 WITH SCORE 3108873.999
AT ITER 8886 NEW BEST:: SOT 16880328 SOS 4426954 HAS SOPS 4060229 HAS SOUS 3132466 HAS SOUPS 3103758 WITH SCORE 3108184.954
AT ITER 8921 NEW BEST:: SOT 16749032 SOS 6242240 HAS SOPS 5875515 HAS SOUS 3006651 HAS SOUPS 2977943 WITH SCORE 2984185.24
AT ITER 8935 NEW BEST:: SOT 16749311 SOS 6242519 HAS SOPS 5875794 HAS SOUS 3006528 HAS SOUPS 2977820 WITH SCORE 2984062.519
AT ITER 8960 NEW BEST:: SOT 16749164 SOS 6242184 HAS SOPS 5875459 HAS SOUS 3006234 HAS SOUPS 2977526 WITH SCORE 2983768.184
AT ITER 8975 NEW BEST:: SOT 16749299 SOS 6242319 HAS SOPS 5875594 HAS SOUS 3006030 HAS SOUPS 2977322 WITH SCORE 2983564.319
AT ITER 9007 NEW BEST:: SOT 16749299 SOS 6242282 HAS SOPS 5875557 HAS SOUS 3005956 HAS SOUPS 2977248 WITH SCORE 2983490.282
AT ITER 9010 NEW BEST:: SOT 16749267 SOS 6241911 HAS SOPS 5875186 HAS SOUS 3005892 HAS SOUPS 2977184 WITH SCORE 2983425.911
AT ITER 9020 NEW BEST:: SOT 16749275 SOS 6241883 HAS SOPS 5875158 HAS SOUS 3005884 HAS SOUPS 2977176 WITH SCORE 2983417.883
AT ITER 9037 NEW BEST:: SOT 16749289 SOS 6241897 HAS SOPS 5875172 HAS SOUS 3005547 HAS SOUPS 2976839 WITH SCORE 2983080.897
AT ITER 9049 NEW BEST:: SOT 16749289 SOS 6241604 HAS SOPS 5874879 HAS SOUS 3005547 HAS SOUPS 2976839 WITH SCORE 2983080.604
AT ITER 9066 NEW BEST:: SOT 16748939 SOS 6237349 HAS SOPS 5870624 HAS SOUS 3003901 HAS SOUPS 2975193 WITH SCORE 2981430.349
AT ITER 9067 NEW BEST:: SOT 16748939 SOS 6237313 HAS SOPS 5870588 HAS SOUS 3003829 HAS SOUPS 2975121 WITH SCORE 2981358.313
AT ITER 9094 NEW BEST:: SOT 16748441 SOS 6236815 HAS SOPS 5870090 HAS SOUS 3002873 HAS SOUPS 2974165 WITH SCORE 2980401.815
AT ITER 9108 NEW BEST:: SOT 16748425 SOS 6236799 HAS SOPS 5870074 HAS SOUS 3002841 HAS SOUPS 2974133 WITH SCORE 2980369.799
AT ITER 9128 NEW BEST:: SOT 16748363 SOS 6236358 HAS SOPS 5869633 HAS SOUS 3002779 HAS SOUPS 2974071 WITH SCORE 2980307.358
AT ITER 9152 NEW BEST:: SOT 16748363 SOS 6236358 HAS SOPS 5869633 HAS SOUS 3002415 HAS SOUPS 2973707 WITH SCORE 2979943.358
AT ITER 9162 NEW BEST:: SOT 16747770 SOS 6217418 HAS SOPS 5850693 HAS SOUS 3001744 HAS SOUPS 2973036 WITH SCORE 2979253.418
AT ITER 9181 NEW BEST:: SOT 16747630 SOS 6217022 HAS SOPS 5850297 HAS SOUS 3000701 HAS SOUPS 2971993 WITH SCORE 2978210.022
AT ITER 9198 NEW BEST:: SOT 16747942 SOS 6217334 HAS SOPS 5850609 HAS SOUS 3000547 HAS SOUPS 2971839 WITH SCORE 2978056.334
AT ITER 9227 NEW BEST:: SOT 16747871 SOS 6217038 HAS SOPS 5850313 HAS SOUS 3000251 HAS SOUPS 2971543 WITH SCORE 2977760.038
AT ITER 9263 NEW BEST:: SOT 16748284 SOS 6217451 HAS SOPS 5850726 HAS SOUS 3000214 HAS SOUPS 2971506 WITH SCORE 2977723.451
AT ITER 9297 NEW BEST:: SOT 16748062 SOS 6217229 HAS SOPS 5850504 HAS SOUS 2999770 HAS SOUPS 2971062 WITH SCORE 2977279.229
AT ITER 9306 NEW BEST:: SOT 16747069 SOS 6216236 HAS SOPS 5849511 HAS SOUS 2997784 HAS SOUPS 2969076 WITH SCORE 2975292.236
AT ITER 9307 NEW BEST:: SOT 16746383 SOS 6215550 HAS SOPS 5848825 HAS SOUS 2997098 HAS SOUPS 2968390 WITH SCORE 2974605.55
AT ITER 9317 NEW BEST:: SOT 16746368 SOS 6215535 HAS SOPS 5848810 HAS SOUS 2997067 HAS SOUPS 2968359 WITH SCORE 2974574.535
AT ITER 9362 NEW BEST:: SOT 16746187 SOS 6215734 HAS SOPS 5849009 HAS SOUS 2996886 HAS SOUPS 2968178 WITH SCORE 2974393.734
AT ITER 9363 NEW BEST:: SOT 16746171 SOS 6211590 HAS SOPS 5844865 HAS SOUS 2996854 HAS SOUPS 2968146 WITH SCORE 2974357.59
AT ITER 9365 NEW BEST:: SOT 16746113 SOS 6212026 HAS SOPS 5845243 HAS SOUS 2996793 HAS SOUPS 2968030 WITH SCORE 2974242.026
AT ITER 9373 NEW BEST:: SOT 16746113 SOS 6211985 HAS SOPS 5845202 HAS SOUS 2996752 HAS SOUPS 2967989 WITH SCORE 2974200.985
AT ITER 9396 NEW BEST:: SOT 16746077 SOS 6211821 HAS SOPS 5845146 HAS SOUS 2996556 HAS SOUPS 2967793 WITH SCORE 2974004.821
AT ITER 9404 NEW BEST:: SOT 16746077 SOS 6211696 HAS SOPS 5845021 HAS SOUS 2996556 HAS SOUPS 2967793 WITH SCORE 2974004.696
AT ITER 9406 NEW BEST:: SOT 16746052 SOS 6211671 HAS SOPS 5844996 HAS SOUS 2996506 HAS SOUPS 2967743 WITH SCORE 2973954.671
AT ITER 9408 NEW BEST:: SOT 16746008 SOS 6211627 HAS SOPS 5844952 HAS SOUS 2996462 HAS SOUPS 2967699 WITH SCORE 2973910.627
AT ITER 9424 NEW BEST:: SOT 16746008 SOS 6211627 HAS SOPS 5844952 HAS SOUS 2995976 HAS SOUPS 2967213 WITH SCORE 2973424.627
AT ITER 9428 NEW BEST:: SOT 16745884 SOS 6211503 HAS SOPS 5844828 HAS SOUS 2995852 HAS SOUPS 2967089 WITH SCORE 2973300.503
AT ITER 9443 NEW BEST:: SOT 16745884 SOS 6211503 HAS SOPS 5844828 HAS SOUS 2995744 HAS SOUPS 2966981 WITH SCORE 2973192.503
AT ITER 9452 NEW BEST:: SOT 16745884 SOS 6211503 HAS SOPS 5844828 HAS SOUS 2995145 HAS SOUPS 2966382 WITH SCORE 2972593.503
AT ITER 9455 NEW BEST:: SOT 16740171 SOS 6228659 HAS SOPS 5839487 HAS SOUS 2992757 HAS SOUPS 2963007 WITH SCORE 2969235.659
AT ITER 9473 NEW BEST:: SOT 16739739 SOS 6228227 HAS SOPS 5839055 HAS SOUS 2992328 HAS SOUPS 2962578 WITH SCORE 2968806.227
AT ITER 9481 NEW BEST:: SOT 16739481 SOS 6228255 HAS SOPS 5839083 HAS SOUS 2992098 HAS SOUPS 2962348 WITH SCORE 2968576.255
AT ITER 9485 NEW BEST:: SOT 16740816 SOS 6229652 HAS SOPS 5832918 HAS SOUS 2986164 HAS SOUPS 2956408 WITH SCORE 2962637.652
AT ITER 9507 NEW BEST:: SOT 16740361 SOS 6229844 HAS SOPS 5833110 HAS SOUS 2985901 HAS SOUPS 2956145 WITH SCORE 2962374.844
AT ITER 9514 NEW BEST:: SOT 16740329 SOS 6229748 HAS SOPS 5833014 HAS SOUS 2985837 HAS SOUPS 2956081 WITH SCORE 2962310.748
AT ITER 9538 NEW BEST:: SOT 16740313 SOS 6229732 HAS SOPS 5832998 HAS SOUS 2985805 HAS SOUPS 2956049 WITH SCORE 2962278.732
AT ITER 9555 NEW BEST:: SOT 16740313 SOS 6229443 HAS SOPS 5832709 HAS SOUS 2985516 HAS SOUPS 2955760 WITH SCORE 2961989.443
AT ITER 9556 NEW BEST:: SOT 16740313 SOS 6229269 HAS SOPS 5832535 HAS SOUS 2985516 HAS SOUPS 2955760 WITH SCORE 2961989.269
AT ITER 9562 NEW BEST:: SOT 16738898 SOS 6227854 HAS SOPS 5831120 HAS SOUS 2983318 HAS SOUPS 2953562 WITH SCORE 2959789.854
AT ITER 9563 NEW BEST:: SOT 16738250 SOS 6228188 HAS SOPS 5831454 HAS SOUS 2982670 HAS SOUPS 2952914 WITH SCORE 2959142.188
AT ITER 9577 NEW BEST:: SOT 16738250 SOS 6228023 HAS SOPS 5831289 HAS SOUS 2982670 HAS SOUPS 2952914 WITH SCORE 2959142.023
AT ITER 9582 NEW BEST:: SOT 16738408 SOS 6228181 HAS SOPS 5831447 HAS SOUS 2982342 HAS SOUPS 2952586 WITH SCORE 2958814.181
AT ITER 9616 NEW BEST:: SOT 16738283 SOS 6228181 HAS SOPS 5831447 HAS SOUS 2982217 HAS SOUPS 2952461 WITH SCORE 2958689.181
AT ITER 9620 NEW BEST:: SOT 16738276 SOS 6228181 HAS SOPS 5831447 HAS SOUS 2982210 HAS SOUPS 2952454 WITH SCORE 2958682.181
AT ITER 9625 NEW BEST:: SOT 16737687 SOS 6228181 HAS SOPS 5831447 HAS SOUS 2981621 HAS SOUPS 2951865 WITH SCORE 2958093.181
AT ITER 9626 NEW BEST:: SOT 16737687 SOS 6228181 HAS SOPS 5831447 HAS SOUS 2981338 HAS SOUPS 2951582 WITH SCORE 2957810.181
AT ITER 9638 NEW BEST:: SOT 16737687 SOS 6228008 HAS SOPS 5831274 HAS SOUS 2981165 HAS SOUPS 2951409 WITH SCORE 2957637.008
AT ITER 9658 NEW BEST:: SOT 16737579 SOS 6227868 HAS SOPS 5831137 HAS SOUS 2980976 HAS SOUPS 2951220 WITH SCORE 2957447.868
AT ITER 9666 NEW BEST:: SOT 16737579 SOS 6227868 HAS SOPS 5831137 HAS SOUS 2980728 HAS SOUPS 2950972 WITH SCORE 2957199.868
AT ITER 9668 NEW BEST:: SOT 16737567 SOS 6227856 HAS SOPS 5831125 HAS SOUS 2980716 HAS SOUPS 2950960 WITH SCORE 2957187.856
AT ITER 9673 NEW BEST:: SOT 16737781 SOS 6228070 HAS SOPS 5831339 HAS SOUS 2980548 HAS SOUPS 2950792 WITH SCORE 2957020.07
AT ITER 9692 NEW BEST:: SOT 16737767 SOS 6228056 HAS SOPS 5831325 HAS SOUS 2980520 HAS SOUPS 2950764 WITH SCORE 2956992.056
AT ITER 9704 NEW BEST:: SOT 16737708 SOS 6223484 HAS SOPS 5826753 HAS SOUS 2980344 HAS SOUPS 2950588 WITH SCORE 2956811.484
AT ITER 9734 NEW BEST:: SOT 16737708 SOS 6223288 HAS SOPS 5826557 HAS SOUS 2980344 HAS SOUPS 2950588 WITH SCORE 2956811.288
AT ITER 9740 NEW BEST:: SOT 16737708 SOS 6223288 HAS SOPS 5826557 HAS SOUS 2980062 HAS SOUPS 2950306 WITH SCORE 2956529.288
AT ITER 9743 NEW BEST:: SOT 16737708 SOS 6223236 HAS SOPS 5826505 HAS SOUS 2980062 HAS SOUPS 2950306 WITH SCORE 2956529.236
AT ITER 9751 NEW BEST:: SOT 16736112 SOS 6221668 HAS SOPS 5824937 HAS SOUS 2978466 HAS SOUPS 2948710 WITH SCORE 2954931.668
AT ITER 9755 NEW BEST:: SOT 16736112 SOS 6221668 HAS SOPS 5824937 HAS SOUS 2977833 HAS SOUPS 2948077 WITH SCORE 2954298.668
AT ITER 9761 NEW BEST:: SOT 16736096 SOS 6221652 HAS SOPS 5824921 HAS SOUS 2977801 HAS SOUPS 2948045 WITH SCORE 2954266.652
AT ITER 9765 NEW BEST:: SOT 16736187 SOS 6221743 HAS SOPS 5825012 HAS SOUS 2977599 HAS SOUPS 2947843 WITH SCORE 2954064.743
AT ITER 9784 NEW BEST:: SOT 16735826 SOS 6222016 HAS SOPS 5825285 HAS SOUS 2977511 HAS SOUPS 2947755 WITH SCORE 2953977.016
AT ITER 9793 NEW BEST:: SOT 16735504 SOS 6221399 HAS SOPS 5824668 HAS SOUS 2976867 HAS SOUPS 2947111 WITH SCORE 2953332.399
AT ITER 9794 NEW BEST:: SOT 16735391 SOS 6221106 HAS SOPS 5824024 HAS SOUS 2977034 HAS SOUPS 2947101 WITH SCORE 2953322.106
AT ITER 9796 NEW BEST:: SOT 16735306 SOS 6220865 HAS SOPS 5823937 HAS SOUS 2976882 HAS SOUPS 2946949 WITH SCORE 2953169.865
AT ITER 9835 NEW BEST:: SOT 16735374 SOS 6220933 HAS SOPS 5824005 HAS SOUS 2976327 HAS SOUPS 2946394 WITH SCORE 2952614.933
AT ITER 9857 NEW BEST:: SOT 16735374 SOS 6220901 HAS SOPS 5823973 HAS SOUS 2976063 HAS SOUPS 2946130 WITH SCORE 2952350.901
AT ITER 9862 NEW BEST:: SOT 16735374 SOS 6220776 HAS SOPS 5823848 HAS SOUS 2975938 HAS SOUPS 2946005 WITH SCORE 2952225.776
AT ITER 9870 NEW BEST:: SOT 16735374 SOS 6220666 HAS SOPS 5823738 HAS SOUS 2975938 HAS SOUPS 2946005 WITH SCORE 2952225.666
AT ITER 9873 NEW BEST:: SOT 16735072 SOS 6220666 HAS SOPS 5823738 HAS SOUS 2975636 HAS SOUPS 2945703 WITH SCORE 2951923.666
AT ITER 9925 NEW BEST:: SOT 16735254 SOS 6220848 HAS SOPS 5823920 HAS SOUS 2975497 HAS SOUPS 2945564 WITH SCORE 2951784.848
AT ITER 9942 NEW BEST:: SOT 16731613 SOS 6236716 HAS SOPS 5841023 HAS SOUS 2975024 HAS SOUPS 2945091 WITH SCORE 2951327.716
AT ITER 9947 NEW BEST:: SOT 16731525 SOS 6236628 HAS SOPS 5840935 HAS SOUS 2974848 HAS SOUPS 2944915 WITH SCORE 2951151.628
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 14349880 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16147768 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="LeafsetExtension-PT-S32C3"
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 LeafsetExtension-PT-S32C3, 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 r227-tall-167856410500512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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