About the Execution of Smart+red for DLCflexbar-PT-3b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 804.688 | 3600000.00 | 3639019.00 | 10190.70 | [undef] | Time out reached |
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.r107-tall-167814484300536.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCflexbar-PT-3b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484300536
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.9M
-rw-r--r-- 1 mcc users 6.0K Feb 25 15:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 15:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 15:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 15:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 15:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 15:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 15:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 15:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 2.5M 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 1678385664182
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-3b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 18:14:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 18:14:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 18:14:25] [INFO ] Load time of PNML (sax parser for PT used): 275 ms
[2023-03-09 18:14:26] [INFO ] Transformed 7245 places.
[2023-03-09 18:14:26] [INFO ] Transformed 10555 transitions.
[2023-03-09 18:14:26] [INFO ] Found NUPN structural information;
[2023-03-09 18:14:26] [INFO ] Parsed PT model containing 7245 places and 10555 transitions and 28284 arcs in 548 ms.
[2023-03-09 18:14:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 7245 places, 10555 transitions and 28284 arcs took 52 ms.
Total runtime 631 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 3b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 7245 places, 10555 transitions, 28284 arcs.
AT ITER 0 NEW BEST:: SOT 48851062 SOS 10451936 HAS SOPS 10451936 HAS SOUS 7259579 HAS SOUPS 7259579 WITH SCORE 7270030.936
AT ITER 35 NEW BEST:: SOT 48850970 SOS 10451752 HAS SOPS 10451752 HAS SOUS 7259487 HAS SOUPS 7259487 WITH SCORE 7269938.752
AT ITER 52 NEW BEST:: SOT 48850632 SOS 10451076 HAS SOPS 10451076 HAS SOUS 7258811 HAS SOUPS 7258811 WITH SCORE 7269262.076
AT ITER 57 NEW BEST:: SOT 48839709 SOS 10443132 HAS SOPS 10443132 HAS SOUS 7251860 HAS SOUPS 7251860 WITH SCORE 7262303.132
AT ITER 61 NEW BEST:: SOT 48839709 SOS 10443132 HAS SOPS 10443132 HAS SOUS 7250392 HAS SOUPS 7250392 WITH SCORE 7260835.132
AT ITER 63 NEW BEST:: SOT 48838283 SOS 10436002 HAS SOPS 10436002 HAS SOUS 7247540 HAS SOUPS 7247540 WITH SCORE 7257976.002
AT ITER 64 NEW BEST:: SOT 48837734 SOS 10434904 HAS SOPS 10434904 HAS SOUS 7246442 HAS SOUPS 7246442 WITH SCORE 7256876.904
AT ITER 68 NEW BEST:: SOT 48835116 SOS 10433595 HAS SOPS 10433595 HAS SOUS 7245133 HAS SOUPS 7245133 WITH SCORE 7255566.595
AT ITER 73 NEW BEST:: SOT 48834038 SOS 10432517 HAS SOPS 10432517 HAS SOUS 7244055 HAS SOUPS 7244055 WITH SCORE 7254487.517
AT ITER 74 NEW BEST:: SOT 48831846 SOS 10430325 HAS SOPS 10430325 HAS SOUS 7241863 HAS SOUPS 7241863 WITH SCORE 7252293.325
AT ITER 118 NEW BEST:: SOT 48831053 SOS 10430050 HAS SOPS 10430050 HAS SOUS 7241588 HAS SOUPS 7241588 WITH SCORE 7252018.05
AT ITER 120 NEW BEST:: SOT 48830324 SOS 10429317 HAS SOPS 10429317 HAS SOUS 7240858 HAS SOUPS 7240858 WITH SCORE 7251287.317
AT ITER 132 NEW BEST:: SOT 48829022 SOS 10428011 HAS SOPS 10428011 HAS SOUS 7239555 HAS SOUPS 7239555 WITH SCORE 7249983.011
AT ITER 152 NEW BEST:: SOT 48829021 SOS 10428009 HAS SOPS 10428009 HAS SOUS 7239553 HAS SOUPS 7239553 WITH SCORE 7249981.009
AT ITER 184 NEW BEST:: SOT 48827887 SOS 10426871 HAS SOPS 10426871 HAS SOUS 7238418 HAS SOUPS 7238418 WITH SCORE 7248844.871
AT ITER 192 NEW BEST:: SOT 48827419 SOS 10425935 HAS SOPS 10425935 HAS SOUS 7237482 HAS SOUPS 7237482 WITH SCORE 7247907.935
AT ITER 196 NEW BEST:: SOT 48827362 SOS 10425821 HAS SOPS 10425821 HAS SOUS 7237368 HAS SOUPS 7237368 WITH SCORE 7247793.821
AT ITER 231 NEW BEST:: SOT 48827136 SOS 10425369 HAS SOPS 10425369 HAS SOUS 7236916 HAS SOUPS 7236916 WITH SCORE 7247341.369
AT ITER 248 NEW BEST:: SOT 48825783 SOS 10418604 HAS SOPS 10418604 HAS SOUS 7234210 HAS SOUPS 7234210 WITH SCORE 7244628.604
AT ITER 298 NEW BEST:: SOT 48825120 SOS 10416865 HAS SOPS 10416865 HAS SOUS 7232471 HAS SOUPS 7232471 WITH SCORE 7242887.865
AT ITER 323 NEW BEST:: SOT 48825120 SOS 10415942 HAS SOPS 10415942 HAS SOUS 7232471 HAS SOUPS 7232471 WITH SCORE 7242886.942
AT ITER 342 NEW BEST:: SOT 48824924 SOS 10415844 HAS SOPS 10415844 HAS SOUS 7232373 HAS SOUPS 7232373 WITH SCORE 7242788.844
AT ITER 362 NEW BEST:: SOT 48824923 SOS 10415842 HAS SOPS 10415842 HAS SOUS 7232371 HAS SOUPS 7232371 WITH SCORE 7242786.842
AT ITER 363 NEW BEST:: SOT 48822899 SOS 10419525 HAS SOPS 10419525 HAS SOUS 7231846 HAS SOUPS 7231846 WITH SCORE 7242265.525
AT ITER 364 NEW BEST:: SOT 48822285 SOS 10419024 HAS SOPS 10419024 HAS SOUS 7231345 HAS SOUPS 7231345 WITH SCORE 7241764.024
AT ITER 378 NEW BEST:: SOT 48808774 SOS 10454967 HAS SOPS 10454967 HAS SOUS 7220527 HAS SOUPS 7220527 WITH SCORE 7230981.967
AT ITER 380 NEW BEST:: SOT 48807091 SOS 10453743 HAS SOPS 10453743 HAS SOUS 7219456 HAS SOUPS 7219456 WITH SCORE 7229909.743
AT ITER 382 NEW BEST:: SOT 48806816 SOS 10453193 HAS SOPS 10453193 HAS SOUS 7219178 HAS SOUPS 7219178 WITH SCORE 7229631.193
AT ITER 384 NEW BEST:: SOT 48806061 SOS 10449418 HAS SOPS 10449418 HAS SOUS 7217668 HAS SOUPS 7217668 WITH SCORE 7228117.418
AT ITER 392 NEW BEST:: SOT 48805837 SOS 10449306 HAS SOPS 10449306 HAS SOUS 7217556 HAS SOUPS 7217556 WITH SCORE 7228005.306
AT ITER 395 NEW BEST:: SOT 48805023 SOS 10449258 HAS SOPS 10449258 HAS SOUS 7217508 HAS SOUPS 7217508 WITH SCORE 7227957.258
AT ITER 403 NEW BEST:: SOT 48805013 SOS 10449238 HAS SOPS 10449238 HAS SOUS 7216387 HAS SOUPS 7216387 WITH SCORE 7226836.238
AT ITER 407 NEW BEST:: SOT 48805013 SOS 10449136 HAS SOPS 10449136 HAS SOUS 7216285 HAS SOUPS 7216285 WITH SCORE 7226734.136
AT ITER 413 NEW BEST:: SOT 48805013 SOS 10447710 HAS SOPS 10447710 HAS SOUS 7214859 HAS SOUPS 7214859 WITH SCORE 7225306.71
AT ITER 437 NEW BEST:: SOT 48805011 SOS 10447706 HAS SOPS 10447706 HAS SOUS 7214855 HAS SOUPS 7214855 WITH SCORE 7225302.706
AT ITER 450 NEW BEST:: SOT 48805653 SOS 10448990 HAS SOPS 10448990 HAS SOUS 7214669 HAS SOUPS 7214669 WITH SCORE 7225117.99
AT ITER 452 NEW BEST:: SOT 48805276 SOS 10448705 HAS SOPS 10448705 HAS SOUS 7214292 HAS SOUPS 7214292 WITH SCORE 7224740.705
AT ITER 453 NEW BEST:: SOT 48802807 SOS 10448573 HAS SOPS 10448573 HAS SOUS 7214005 HAS SOUPS 7214005 WITH SCORE 7224453.573
AT ITER 456 NEW BEST:: SOT 48802199 SOS 10447357 HAS SOPS 10447357 HAS SOUS 7212789 HAS SOUPS 7212789 WITH SCORE 7223236.357
AT ITER 460 NEW BEST:: SOT 48802199 SOS 10447357 HAS SOPS 10447357 HAS SOUS 7212788 HAS SOUPS 7212788 WITH SCORE 7223235.357
AT ITER 465 NEW BEST:: SOT 48802199 SOS 10446155 HAS SOPS 10446155 HAS SOUS 7212788 HAS SOUPS 7212788 WITH SCORE 7223234.155
AT ITER 533 NEW BEST:: SOT 48801169 SOS 10444095 HAS SOPS 10444095 HAS SOUS 7210728 HAS SOUPS 7210728 WITH SCORE 7221172.095
AT ITER 534 NEW BEST:: SOT 48800945 SOS 10444408 HAS SOPS 10444408 HAS SOUS 7210280 HAS SOUPS 7210280 WITH SCORE 7220724.408
AT ITER 535 NEW BEST:: SOT 48800595 SOS 10443739 HAS SOPS 10443739 HAS SOUS 7209961 HAS SOUPS 7209961 WITH SCORE 7220404.739
AT ITER 541 NEW BEST:: SOT 48800106 SOS 10441783 HAS SOPS 10441783 HAS SOUS 7209471 HAS SOUPS 7209471 WITH SCORE 7219912.783
AT ITER 548 NEW BEST:: SOT 48800113 SOS 10440169 HAS SOPS 10440169 HAS SOUS 7208666 HAS SOUPS 7208666 WITH SCORE 7219106.169
AT ITER 555 NEW BEST:: SOT 48798710 SOS 10438762 HAS SOPS 10438762 HAS SOUS 7207262 HAS SOUPS 7207262 WITH SCORE 7217700.762
AT ITER 568 NEW BEST:: SOT 48798710 SOS 10438762 HAS SOPS 10438762 HAS SOUS 7207261 HAS SOUPS 7207261 WITH SCORE 7217699.762
AT ITER 611 NEW BEST:: SOT 48798710 SOS 10439319 HAS SOPS 10439319 HAS SOUS 7207260 HAS SOUPS 7207260 WITH SCORE 7217699.319
AT ITER 628 NEW BEST:: SOT 48797448 SOS 10438053 HAS SOPS 10438053 HAS SOUS 7205997 HAS SOUPS 7205997 WITH SCORE 7216435.053
AT ITER 633 NEW BEST:: SOT 48796748 SOS 10434553 HAS SOPS 10434553 HAS SOUS 7204597 HAS SOUPS 7204597 WITH SCORE 7215031.553
AT ITER 648 NEW BEST:: SOT 48796665 SOS 10434387 HAS SOPS 10434387 HAS SOUS 7204431 HAS SOUPS 7204431 WITH SCORE 7214865.387
AT ITER 655 NEW BEST:: SOT 48794292 SOS 10433223 HAS SOPS 10433223 HAS SOUS 7202462 HAS SOUPS 7202462 WITH SCORE 7212895.223
AT ITER 668 NEW BEST:: SOT 48792567 SOS 10432827 HAS SOPS 10432827 HAS SOUS 7202066 HAS SOUPS 7202066 WITH SCORE 7212498.827
AT ITER 684 NEW BEST:: SOT 48791717 SOS 10432677 HAS SOPS 10432677 HAS SOUS 7201916 HAS SOUPS 7201916 WITH SCORE 7212348.677
AT ITER 702 NEW BEST:: SOT 48791134 SOS 10431511 HAS SOPS 10431511 HAS SOUS 7200750 HAS SOUPS 7200750 WITH SCORE 7211181.511
AT ITER 717 NEW BEST:: SOT 48789911 SOS 10425396 HAS SOPS 10425396 HAS SOUS 7198304 HAS SOUPS 7198304 WITH SCORE 7208729.396
AT ITER 739 NEW BEST:: SOT 48789220 SOS 10424838 HAS SOPS 10424838 HAS SOUS 7197749 HAS SOUPS 7197749 WITH SCORE 7208173.838
AT ITER 742 NEW BEST:: SOT 48788879 SOS 10424726 HAS SOPS 10424726 HAS SOUS 7197598 HAS SOUPS 7197598 WITH SCORE 7208022.726
AT ITER 743 NEW BEST:: SOT 48788879 SOS 10427731 HAS SOPS 10427731 HAS SOUS 7197262 HAS SOUPS 7197262 WITH SCORE 7207689.731
AT ITER 753 NEW BEST:: SOT 48789276 SOS 10426261 HAS SOPS 10426261 HAS SOUS 7197132 HAS SOUPS 7197132 WITH SCORE 7207558.261
AT ITER 795 NEW BEST:: SOT 48788643 SOS 10430692 HAS SOPS 10430692 HAS SOUS 7196499 HAS SOUPS 7196499 WITH SCORE 7206929.692
AT ITER 838 NEW BEST:: SOT 48788643 SOS 10429441 HAS SOPS 10429441 HAS SOUS 7196082 HAS SOUPS 7196082 WITH SCORE 7206511.441
AT ITER 891 NEW BEST:: SOT 48788643 SOS 10430459 HAS SOPS 10430459 HAS SOUS 7196080 HAS SOUPS 7196080 WITH SCORE 7206510.459
AT ITER 905 NEW BEST:: SOT 48788313 SOS 10430785 HAS SOPS 10430785 HAS SOUS 7196079 HAS SOUPS 7196079 WITH SCORE 7206509.785
AT ITER 910 NEW BEST:: SOT 48785739 SOS 10430185 HAS SOPS 10430185 HAS SOUS 7195466 HAS SOUPS 7195466 WITH SCORE 7205896.185
AT ITER 922 NEW BEST:: SOT 48784452 SOS 10427611 HAS SOPS 10427611 HAS SOUS 7192892 HAS SOUPS 7192892 WITH SCORE 7203319.611
AT ITER 924 NEW BEST:: SOT 48784302 SOS 10427312 HAS SOPS 10427312 HAS SOUS 7192593 HAS SOUPS 7192593 WITH SCORE 7203020.312
AT ITER 933 NEW BEST:: SOT 48784156 SOS 10427454 HAS SOPS 10427454 HAS SOUS 7192300 HAS SOUPS 7192300 WITH SCORE 7202727.454
AT ITER 1022 NEW BEST:: SOT 48784590 SOS 10427018 HAS SOPS 10427018 HAS SOUS 7192299 HAS SOUPS 7192299 WITH SCORE 7202726.018
AT ITER 1030 NEW BEST:: SOT 48784568 SOS 10426996 HAS SOPS 10426996 HAS SOUS 7192277 HAS SOUPS 7192277 WITH SCORE 7202703.996
AT ITER 1079 NEW BEST:: SOT 48785182 SOS 10428224 HAS SOPS 10428224 HAS SOUS 7192072 HAS SOUPS 7192072 WITH SCORE 7202500.224
AT ITER 1089 NEW BEST:: SOT 48784168 SOS 10427176 HAS SOPS 10427176 HAS SOUS 7191057 HAS SOUPS 7191057 WITH SCORE 7201484.176
AT ITER 1097 NEW BEST:: SOT 48783398 SOS 10425636 HAS SOPS 10425636 HAS SOUS 7188973 HAS SOUPS 7188973 WITH SCORE 7199398.636
AT ITER 1137 NEW BEST:: SOT 48783397 SOS 10425600 HAS SOPS 10425600 HAS SOUS 7188937 HAS SOUPS 7188937 WITH SCORE 7199362.6
AT ITER 1144 NEW BEST:: SOT 48782695 SOS 10424898 HAS SOPS 10424898 HAS SOUS 7188235 HAS SOUPS 7188235 WITH SCORE 7198659.898
AT ITER 1147 NEW BEST:: SOT 48780667 SOS 10423546 HAS SOPS 10423546 HAS SOUS 7186883 HAS SOUPS 7186883 WITH SCORE 7197306.546
AT ITER 1149 NEW BEST:: SOT 48779527 SOS 10422402 HAS SOPS 10422402 HAS SOUS 7185742 HAS SOUPS 7185742 WITH SCORE 7196164.402
AT ITER 1150 NEW BEST:: SOT 48779527 SOS 10422402 HAS SOPS 10422402 HAS SOUS 7185011 HAS SOUPS 7185011 WITH SCORE 7195433.402
AT ITER 1166 NEW BEST:: SOT 48778982 SOS 10422398 HAS SOPS 10422398 HAS SOUS 7184465 HAS SOUPS 7184465 WITH SCORE 7194887.398
AT ITER 1191 NEW BEST:: SOT 48778473 SOS 10421379 HAS SOPS 10421379 HAS SOUS 7183446 HAS SOUPS 7183446 WITH SCORE 7193867.379
AT ITER 1193 NEW BEST:: SOT 48778473 SOS 10421379 HAS SOPS 10421379 HAS SOUS 7183050 HAS SOUPS 7183050 WITH SCORE 7193471.379
AT ITER 1247 NEW BEST:: SOT 48778073 SOS 10420979 HAS SOPS 10420979 HAS SOUS 7182650 HAS SOUPS 7182650 WITH SCORE 7193070.979
AT ITER 1272 NEW BEST:: SOT 48778559 SOS 10420566 HAS SOPS 10420566 HAS SOUS 7182237 HAS SOUPS 7182237 WITH SCORE 7192657.566
AT ITER 1293 NEW BEST:: SOT 48778559 SOS 10420914 HAS SOPS 10420914 HAS SOUS 7182236 HAS SOUPS 7182236 WITH SCORE 7192656.914
AT ITER 1304 NEW BEST:: SOT 48778559 SOS 10420914 HAS SOPS 10420914 HAS SOUS 7181273 HAS SOUPS 7181273 WITH SCORE 7191693.914
AT ITER 1305 NEW BEST:: SOT 48777238 SOS 10419592 HAS SOPS 10419592 HAS SOUS 7181175 HAS SOUPS 7181175 WITH SCORE 7191594.592
AT ITER 1363 NEW BEST:: SOT 48775082 SOS 10421160 HAS SOPS 10421160 HAS SOUS 7180957 HAS SOUPS 7180957 WITH SCORE 7191378.16
AT ITER 1375 NEW BEST:: SOT 48774613 SOS 10417006 HAS SOPS 10417006 HAS SOUS 7180019 HAS SOUPS 7180019 WITH SCORE 7190436.006
AT ITER 1377 NEW BEST:: SOT 48773815 SOS 10416301 HAS SOPS 10416301 HAS SOUS 7179314 HAS SOUPS 7179314 WITH SCORE 7189730.301
AT ITER 1386 NEW BEST:: SOT 48750780 SOS 10394075 HAS SOPS 10394075 HAS SOUS 7157088 HAS SOUPS 7157088 WITH SCORE 7167482.075
AT ITER 1395 NEW BEST:: SOT 48750398 SOS 10393311 HAS SOPS 10393311 HAS SOUS 7156706 HAS SOUPS 7156706 WITH SCORE 7167099.311
AT ITER 1396 NEW BEST:: SOT 48750397 SOS 10394793 HAS SOPS 10394793 HAS SOUS 7156703 HAS SOUPS 7156703 WITH SCORE 7167097.793
AT ITER 1430 NEW BEST:: SOT 48749495 SOS 10394793 HAS SOPS 10394793 HAS SOUS 7156252 HAS SOUPS 7156252 WITH SCORE 7166646.793
AT ITER 1458 NEW BEST:: SOT 48749495 SOS 10394216 HAS SOPS 10394216 HAS SOUS 7155675 HAS SOUPS 7155675 WITH SCORE 7166069.216
AT ITER 1470 NEW BEST:: SOT 48748707 SOS 10393428 HAS SOPS 10393428 HAS SOUS 7154887 HAS SOUPS 7154887 WITH SCORE 7165280.428
AT ITER 1487 NEW BEST:: SOT 48744990 SOS 10404155 HAS SOPS 10404155 HAS SOUS 7153525 HAS SOUPS 7153525 WITH SCORE 7163929.155
AT ITER 1493 NEW BEST:: SOT 48744329 SOS 10403494 HAS SOPS 10403494 HAS SOUS 7152864 HAS SOUPS 7152864 WITH SCORE 7163267.494
AT ITER 1503 NEW BEST:: SOT 48743792 SOS 10401802 HAS SOPS 10401802 HAS SOUS 7152408 HAS SOUPS 7152408 WITH SCORE 7162809.802
AT ITER 1521 NEW BEST:: SOT 48743290 SOS 10400798 HAS SOPS 10400798 HAS SOUS 7151906 HAS SOUPS 7151906 WITH SCORE 7162306.798
AT ITER 1522 NEW BEST:: SOT 48742891 SOS 10400000 HAS SOPS 10400000 HAS SOUS 7151108 HAS SOUPS 7151108 WITH SCORE 7161508.0
AT ITER 1526 NEW BEST:: SOT 48742347 SOS 10399728 HAS SOPS 10399728 HAS SOUS 7150836 HAS SOUPS 7150836 WITH SCORE 7161235.728
AT ITER 1530 NEW BEST:: SOT 48739831 SOS 10397848 HAS SOPS 10397848 HAS SOUS 7148533 HAS SOUPS 7148533 WITH SCORE 7158930.848
AT ITER 1539 NEW BEST:: SOT 48739424 SOS 10397441 HAS SOPS 10397441 HAS SOUS 7148126 HAS SOUPS 7148126 WITH SCORE 7158523.441
AT ITER 1575 NEW BEST:: SOT 48738724 SOS 10396041 HAS SOPS 10396041 HAS SOUS 7146726 HAS SOUPS 7146726 WITH SCORE 7157122.041
AT ITER 1579 NEW BEST:: SOT 48737935 SOS 10395253 HAS SOPS 10395253 HAS SOUS 7145938 HAS SOUPS 7145938 WITH SCORE 7156333.253
AT ITER 1583 NEW BEST:: SOT 48737749 SOS 10395383 HAS SOPS 10395383 HAS SOUS 7145830 HAS SOUPS 7145830 WITH SCORE 7156225.383
AT ITER 1592 NEW BEST:: SOT 48736102 SOS 10393798 HAS SOPS 10393798 HAS SOUS 7144245 HAS SOUPS 7144245 WITH SCORE 7154638.798
AT ITER 1608 NEW BEST:: SOT 48736102 SOS 10393798 HAS SOPS 10393798 HAS SOUS 7143555 HAS SOUPS 7143555 WITH SCORE 7153948.798
AT ITER 1611 NEW BEST:: SOT 48735505 SOS 10392604 HAS SOPS 10392604 HAS SOUS 7142958 HAS SOUPS 7142958 WITH SCORE 7153350.604
AT ITER 1648 NEW BEST:: SOT 48735504 SOS 10392602 HAS SOPS 10392602 HAS SOUS 7142956 HAS SOUPS 7142956 WITH SCORE 7153348.602
AT ITER 1657 NEW BEST:: SOT 48735504 SOS 10395340 HAS SOPS 10395340 HAS SOUS 7142939 HAS SOUPS 7142939 WITH SCORE 7153334.34
AT ITER 1683 NEW BEST:: SOT 48735101 SOS 10392112 HAS SOPS 10392112 HAS SOUS 7142132 HAS SOUPS 7142132 WITH SCORE 7152524.112
AT ITER 1719 NEW BEST:: SOT 48734113 SOS 10390136 HAS SOPS 10390136 HAS SOUS 7140156 HAS SOUPS 7140156 WITH SCORE 7150546.136
AT ITER 1740 NEW BEST:: SOT 48733719 SOS 10389545 HAS SOPS 10389545 HAS SOUS 7139565 HAS SOUPS 7139565 WITH SCORE 7149954.545
AT ITER 1749 NEW BEST:: SOT 48732735 SOS 10388561 HAS SOPS 10388561 HAS SOUS 7138581 HAS SOUPS 7138581 WITH SCORE 7148969.561
AT ITER 1766 NEW BEST:: SOT 48730959 SOS 10384165 HAS SOPS 10384165 HAS SOUS 7133604 HAS SOUPS 7133604 WITH SCORE 7143988.165
AT ITER 1840 NEW BEST:: SOT 48730465 SOS 10383671 HAS SOPS 10383671 HAS SOUS 7133110 HAS SOUPS 7133110 WITH SCORE 7143493.671
AT ITER 1873 NEW BEST:: SOT 48730463 SOS 10383667 HAS SOPS 10383667 HAS SOUS 7133106 HAS SOUPS 7133106 WITH SCORE 7143489.667
AT ITER 1885 NEW BEST:: SOT 48730315 SOS 10383703 HAS SOPS 10383703 HAS SOUS 7133060 HAS SOUPS 7133060 WITH SCORE 7143443.703
AT ITER 1904 NEW BEST:: SOT 48729348 SOS 10384670 HAS SOPS 10384670 HAS SOUS 7132093 HAS SOUPS 7132093 WITH SCORE 7142477.67
AT ITER 1912 NEW BEST:: SOT 48729116 SOS 10384666 HAS SOPS 10384666 HAS SOUS 7132092 HAS SOUPS 7132092 WITH SCORE 7142476.666
AT ITER 1931 NEW BEST:: SOT 48729140 SOS 10384714 HAS SOPS 10384714 HAS SOUS 7130549 HAS SOUPS 7130549 WITH SCORE 7140933.714
AT ITER 1935 NEW BEST:: SOT 48728979 SOS 10384392 HAS SOPS 10384392 HAS SOUS 7130227 HAS SOUPS 7130227 WITH SCORE 7140611.392
AT ITER 1951 NEW BEST:: SOT 48728979 SOS 10384749 HAS SOPS 10384749 HAS SOUS 7130046 HAS SOUPS 7130046 WITH SCORE 7140430.749
AT ITER 1966 NEW BEST:: SOT 48727807 SOS 10383573 HAS SOPS 10383573 HAS SOUS 7128873 HAS SOUPS 7128873 WITH SCORE 7139256.573
AT ITER 1967 NEW BEST:: SOT 48728027 SOS 10384013 HAS SOPS 10384013 HAS SOUS 7128616 HAS SOUPS 7128616 WITH SCORE 7139000.013
AT ITER 1970 NEW BEST:: SOT 48728026 SOS 10384011 HAS SOPS 10384011 HAS SOUS 7128614 HAS SOUPS 7128614 WITH SCORE 7138998.011
AT ITER 1985 NEW BEST:: SOT 48727692 SOS 10383677 HAS SOPS 10383677 HAS SOUS 7128280 HAS SOUPS 7128280 WITH SCORE 7138663.677
AT ITER 1994 NEW BEST:: SOT 48727398 SOS 10383236 HAS SOPS 10383236 HAS SOUS 7127986 HAS SOUPS 7127986 WITH SCORE 7138369.236
AT ITER 2006 NEW BEST:: SOT 48726862 SOS 10382830 HAS SOPS 10382830 HAS SOUS 7127450 HAS SOUPS 7127450 WITH SCORE 7137832.83
AT ITER 2007 NEW BEST:: SOT 48726074 SOS 10381254 HAS SOPS 10381254 HAS SOUS 7125874 HAS SOUPS 7125874 WITH SCORE 7136255.254
AT ITER 2015 NEW BEST:: SOT 48725709 SOS 10380524 HAS SOPS 10380524 HAS SOUS 7125623 HAS SOUPS 7125623 WITH SCORE 7136003.524
AT ITER 2034 NEW BEST:: SOT 48724886 SOS 10379724 HAS SOPS 10379724 HAS SOUS 7124823 HAS SOUPS 7124823 WITH SCORE 7135202.724
AT ITER 2042 NEW BEST:: SOT 48724450 SOS 10378852 HAS SOPS 10378852 HAS SOUS 7124141 HAS SOUPS 7124141 WITH SCORE 7134519.852
AT ITER 2044 NEW BEST:: SOT 48724047 SOS 10378757 HAS SOPS 10378757 HAS SOUS 7123975 HAS SOUPS 7123975 WITH SCORE 7134353.757
AT ITER 2049 NEW BEST:: SOT 48724047 SOS 10378728 HAS SOPS 10378728 HAS SOUS 7123946 HAS SOUPS 7123946 WITH SCORE 7134324.728
AT ITER 2057 NEW BEST:: SOT 48723321 SOS 10374753 HAS SOPS 10374753 HAS SOUS 7122494 HAS SOUPS 7122494 WITH SCORE 7132868.753
AT ITER 2063 NEW BEST:: SOT 48723320 SOS 10374672 HAS SOPS 10374672 HAS SOUS 7122413 HAS SOUPS 7122413 WITH SCORE 7132787.672
AT ITER 2094 NEW BEST:: SOT 48722814 SOS 10373660 HAS SOPS 10373660 HAS SOUS 7121401 HAS SOUPS 7121401 WITH SCORE 7131774.66
AT ITER 2095 NEW BEST:: SOT 48722400 SOS 10373453 HAS SOPS 10373453 HAS SOUS 7121194 HAS SOUPS 7121194 WITH SCORE 7131567.453
AT ITER 2099 NEW BEST:: SOT 48721964 SOS 10372581 HAS SOPS 10372581 HAS SOUS 7120758 HAS SOUPS 7120758 WITH SCORE 7131130.581
AT ITER 2105 NEW BEST:: SOT 48721963 SOS 10369300 HAS SOPS 10369300 HAS SOUS 7120756 HAS SOUPS 7120756 WITH SCORE 7131125.3
AT ITER 2162 NEW BEST:: SOT 48721961 SOS 10368922 HAS SOPS 10368922 HAS SOUS 7120378 HAS SOUPS 7120378 WITH SCORE 7130746.922
AT ITER 2182 NEW BEST:: SOT 48721546 SOS 10368093 HAS SOPS 10368093 HAS SOUS 7119549 HAS SOUPS 7119549 WITH SCORE 7129917.093
AT ITER 2223 NEW BEST:: SOT 48721270 SOS 10367817 HAS SOPS 10367817 HAS SOUS 7119273 HAS SOUPS 7119273 WITH SCORE 7129640.817
AT ITER 2247 NEW BEST:: SOT 48719886 SOS 10366429 HAS SOPS 10366429 HAS SOUS 7117888 HAS SOUPS 7117888 WITH SCORE 7128254.429
AT ITER 2259 NEW BEST:: SOT 48719886 SOS 10365781 HAS SOPS 10365781 HAS SOUS 7117564 HAS SOUPS 7117564 WITH SCORE 7127929.781
AT ITER 2260 NEW BEST:: SOT 48719116 SOS 10365221 HAS SOPS 10365221 HAS SOUS 7117074 HAS SOUPS 7117074 WITH SCORE 7127439.221
AT ITER 2263 NEW BEST:: SOT 48692369 SOS 10442263 HAS SOPS 10442263 HAS SOUS 7095863 HAS SOUPS 7095863 WITH SCORE 7106305.263
AT ITER 2298 NEW BEST:: SOT 48692033 SOS 10441592 HAS SOPS 10441592 HAS SOUS 7095192 HAS SOUPS 7095192 WITH SCORE 7105633.592
AT ITER 2310 NEW BEST:: SOT 48692033 SOS 10438310 HAS SOPS 10438310 HAS SOUS 7095192 HAS SOUPS 7095192 WITH SCORE 7105630.31
AT ITER 2355 NEW BEST:: SOT 48692033 SOS 10438310 HAS SOPS 10438310 HAS SOUS 7094740 HAS SOUPS 7094740 WITH SCORE 7105178.31
AT ITER 2376 NEW BEST:: SOT 48691808 SOS 10437860 HAS SOPS 10437860 HAS SOUS 7094290 HAS SOUPS 7094290 WITH SCORE 7104727.86
AT ITER 2399 NEW BEST:: SOT 48691326 SOS 10436896 HAS SOPS 10436896 HAS SOUS 7093326 HAS SOUPS 7093326 WITH SCORE 7103762.896
AT ITER 2400 NEW BEST:: SOT 48690478 SOS 10436466 HAS SOPS 10436466 HAS SOUS 7092896 HAS SOUPS 7092896 WITH SCORE 7103332.466
AT ITER 2407 NEW BEST:: SOT 48690478 SOS 10438680 HAS SOPS 10438680 HAS SOUS 7092390 HAS SOUPS 7092390 WITH SCORE 7102828.68
AT ITER 2409 NEW BEST:: SOT 48690478 SOS 10438305 HAS SOPS 10438305 HAS SOUS 7092265 HAS SOUPS 7092265 WITH SCORE 7102703.305
AT ITER 2438 NEW BEST:: SOT 48690390 SOS 10438129 HAS SOPS 10438129 HAS SOUS 7092089 HAS SOUPS 7092089 WITH SCORE 7102527.129
AT ITER 2452 NEW BEST:: SOT 48690074 SOS 10437971 HAS SOPS 10437971 HAS SOUS 7091931 HAS SOUPS 7091931 WITH SCORE 7102368.971
AT ITER 2516 NEW BEST:: SOT 48689958 SOS 10437739 HAS SOPS 10437739 HAS SOUS 7091346 HAS SOUPS 7091346 WITH SCORE 7101783.739
AT ITER 2523 NEW BEST:: SOT 48689068 SOS 10435069 HAS SOPS 10435069 HAS SOUS 7090011 HAS SOUPS 7090011 WITH SCORE 7100446.069
AT ITER 2525 NEW BEST:: SOT 48688510 SOS 10428462 HAS SOPS 10428462 HAS SOUS 7086550 HAS SOUPS 7086550 WITH SCORE 7096978.462
AT ITER 2547 NEW BEST:: SOT 48687171 SOS 10427556 HAS SOPS 10427556 HAS SOUS 7084371 HAS SOUPS 7084371 WITH SCORE 7094798.556
AT ITER 2560 NEW BEST:: SOT 48687170 SOS 10427554 HAS SOPS 10427554 HAS SOUS 7084369 HAS SOUPS 7084369 WITH SCORE 7094796.554
AT ITER 2586 NEW BEST:: SOT 48687146 SOS 10427506 HAS SOPS 10427506 HAS SOUS 7084321 HAS SOUPS 7084321 WITH SCORE 7094748.506
AT ITER 2595 NEW BEST:: SOT 48687041 SOS 10427296 HAS SOPS 10427296 HAS SOUS 7084111 HAS SOUPS 7084111 WITH SCORE 7094538.296
AT ITER 2614 NEW BEST:: SOT 48685907 SOS 10426729 HAS SOPS 10426729 HAS SOUS 7082977 HAS SOUPS 7082977 WITH SCORE 7093403.729
AT ITER 2633 NEW BEST:: SOT 48685907 SOS 10426729 HAS SOPS 10426729 HAS SOUS 7082126 HAS SOUPS 7082126 WITH SCORE 7092552.729
AT ITER 2661 NEW BEST:: SOT 48685747 SOS 10426410 HAS SOPS 10426410 HAS SOUS 7081807 HAS SOUPS 7081807 WITH SCORE 7092233.41
AT ITER 2668 NEW BEST:: SOT 48685747 SOS 10425548 HAS SOPS 10425548 HAS SOUS 7081807 HAS SOUPS 7081807 WITH SCORE 7092232.548
AT ITER 2679 NEW BEST:: SOT 48684045 SOS 10425308 HAS SOPS 10425308 HAS SOUS 7081091 HAS SOUPS 7081091 WITH SCORE 7091516.308
AT ITER 2689 NEW BEST:: SOT 48683067 SOS 10424326 HAS SOPS 10424326 HAS SOUS 7080112 HAS SOUPS 7080112 WITH SCORE 7090536.326
AT ITER 2701 NEW BEST:: SOT 48682888 SOS 10423789 HAS SOPS 10423789 HAS SOUS 7080112 HAS SOUPS 7080112 WITH SCORE 7090535.789
AT ITER 2710 NEW BEST:: SOT 48682854 SOS 10423721 HAS SOPS 10423721 HAS SOUS 7079929 HAS SOUPS 7079929 WITH SCORE 7090352.721
AT ITER 2713 NEW BEST:: SOT 48682311 SOS 10423178 HAS SOPS 10423178 HAS SOUS 7079386 HAS SOUPS 7079386 WITH SCORE 7089809.178
AT ITER 2744 NEW BEST:: SOT 48669789 SOS 10426436 HAS SOPS 10426436 HAS SOUS 7067530 HAS SOUPS 7067530 WITH SCORE 7077956.436
AT ITER 2763 NEW BEST:: SOT 48669789 SOS 10426273 HAS SOPS 10426273 HAS SOUS 7067367 HAS SOUPS 7067367 WITH SCORE 7077793.273
AT ITER 2765 NEW BEST:: SOT 48667871 SOS 10426040 HAS SOPS 10426040 HAS SOUS 7067134 HAS SOUPS 7067134 WITH SCORE 7077560.04
AT ITER 2789 NEW BEST:: SOT 48666783 SOS 10425427 HAS SOPS 10425427 HAS SOUS 7066521 HAS SOUPS 7066521 WITH SCORE 7076946.427
AT ITER 2826 NEW BEST:: SOT 48666572 SOS 10425005 HAS SOPS 10425005 HAS SOUS 7066310 HAS SOUPS 7066310 WITH SCORE 7076735.005
AT ITER 2849 NEW BEST:: SOT 48663973 SOS 10427199 HAS SOPS 10427199 HAS SOUS 7065393 HAS SOUPS 7065393 WITH SCORE 7075820.199
AT ITER 2865 NEW BEST:: SOT 48662693 SOS 10428479 HAS SOPS 10428479 HAS SOUS 7063701 HAS SOUPS 7063701 WITH SCORE 7074129.479
AT ITER 2876 NEW BEST:: SOT 48659715 SOS 10426990 HAS SOPS 10426990 HAS SOUS 7062212 HAS SOUPS 7062212 WITH SCORE 7072638.99
AT ITER 2884 NEW BEST:: SOT 48659683 SOS 10426926 HAS SOPS 10426926 HAS SOUS 7062179 HAS SOUPS 7062179 WITH SCORE 7072605.926
AT ITER 2917 NEW BEST:: SOT 48659683 SOS 10427065 HAS SOPS 10427065 HAS SOUS 7062178 HAS SOUPS 7062178 WITH SCORE 7072605.065
AT ITER 2920 NEW BEST:: SOT 48658808 SOS 10426284 HAS SOPS 10426284 HAS SOUS 7061303 HAS SOUPS 7061303 WITH SCORE 7071729.284
AT ITER 2925 NEW BEST:: SOT 48658348 SOS 10425364 HAS SOPS 10425364 HAS SOUS 7060496 HAS SOUPS 7060496 WITH SCORE 7070921.364
AT ITER 2952 NEW BEST:: SOT 48657990 SOS 10424469 HAS SOPS 10424469 HAS SOUS 7060138 HAS SOUPS 7060138 WITH SCORE 7070562.469
AT ITER 2964 NEW BEST:: SOT 48658017 SOS 10424523 HAS SOPS 10424523 HAS SOUS 7059259 HAS SOUPS 7059259 WITH SCORE 7069683.523
AT ITER 2991 NEW BEST:: SOT 48657730 SOS 10423949 HAS SOPS 10423949 HAS SOUS 7058685 HAS SOUPS 7058685 WITH SCORE 7069108.949
AT ITER 3033 NEW BEST:: SOT 48657127 SOS 10422743 HAS SOPS 10422743 HAS SOUS 7057479 HAS SOUPS 7057479 WITH SCORE 7067901.743
AT ITER 3035 NEW BEST:: SOT 48654554 SOS 10422859 HAS SOPS 10422859 HAS SOUS 7057256 HAS SOUPS 7057256 WITH SCORE 7067678.859
AT ITER 3068 NEW BEST:: SOT 48654281 SOS 10422586 HAS SOPS 10422586 HAS SOUS 7056983 HAS SOUPS 7056983 WITH SCORE 7067405.586
AT ITER 3078 NEW BEST:: SOT 48653639 SOS 10421302 HAS SOPS 10421302 HAS SOUS 7055005 HAS SOUPS 7055005 WITH SCORE 7065426.302
AT ITER 3087 NEW BEST:: SOT 48653588 SOS 10421200 HAS SOPS 10421200 HAS SOUS 7054903 HAS SOUPS 7054903 WITH SCORE 7065324.2
AT ITER 3108 NEW BEST:: SOT 48653282 SOS 10410490 HAS SOPS 10410490 HAS SOUS 7054291 HAS SOUPS 7054291 WITH SCORE 7064701.49
AT ITER 3119 NEW BEST:: SOT 48651685 SOS 10408883 HAS SOPS 10408883 HAS SOUS 7053825 HAS SOUPS 7053825 WITH SCORE 7064233.883
AT ITER 3122 NEW BEST:: SOT 48651181 SOS 10406363 HAS SOPS 10406363 HAS SOUS 7052817 HAS SOUPS 7052817 WITH SCORE 7063223.363
AT ITER 3127 NEW BEST:: SOT 48651131 SOS 10406264 HAS SOPS 10406264 HAS SOUS 7052718 HAS SOUPS 7052718 WITH SCORE 7063124.264
AT ITER 3156 NEW BEST:: SOT 48650583 SOS 10405168 HAS SOPS 10405168 HAS SOUS 7051622 HAS SOUPS 7051622 WITH SCORE 7062027.168
AT ITER 3158 NEW BEST:: SOT 48650582 SOS 10405166 HAS SOPS 10405166 HAS SOUS 7051620 HAS SOUPS 7051620 WITH SCORE 7062025.166
AT ITER 3182 NEW BEST:: SOT 48650087 SOS 10405657 HAS SOPS 10405657 HAS SOUS 7050629 HAS SOUPS 7050629 WITH SCORE 7061034.657
AT ITER 3204 NEW BEST:: SOT 48650007 SOS 10405257 HAS SOPS 10405257 HAS SOUS 7050469 HAS SOUPS 7050469 WITH SCORE 7060874.257
AT ITER 3255 NEW BEST:: SOT 48650212 SOS 10404849 HAS SOPS 10404849 HAS SOUS 7050061 HAS SOUPS 7050061 WITH SCORE 7060465.849
AT ITER 3287 NEW BEST:: SOT 48649918 SOS 10407938 HAS SOPS 10407938 HAS SOUS 7049766 HAS SOUPS 7049766 WITH SCORE 7060173.938
AT ITER 3337 NEW BEST:: SOT 48649119 SOS 10407139 HAS SOPS 10407139 HAS SOUS 7048967 HAS SOUPS 7048967 WITH SCORE 7059374.139
AT ITER 3339 NEW BEST:: SOT 48648560 SOS 10406021 HAS SOPS 10406021 HAS SOUS 7048293 HAS SOUPS 7048293 WITH SCORE 7058699.021
AT ITER 3346 NEW BEST:: SOT 48647721 SOS 10405478 HAS SOPS 10405478 HAS SOUS 7047750 HAS SOUPS 7047750 WITH SCORE 7058155.478
AT ITER 3365 NEW BEST:: SOT 48646606 SOS 10404359 HAS SOPS 10404359 HAS SOUS 7046634 HAS SOUPS 7046634 WITH SCORE 7057038.359
AT ITER 3404 NEW BEST:: SOT 48645902 SOS 10402951 HAS SOPS 10402951 HAS SOUS 7045226 HAS SOUPS 7045226 WITH SCORE 7055628.951
AT ITER 3408 NEW BEST:: SOT 48645824 SOS 10402795 HAS SOPS 10402795 HAS SOUS 7045148 HAS SOUPS 7045148 WITH SCORE 7055550.795
AT ITER 3420 NEW BEST:: SOT 48645824 SOS 10402795 HAS SOPS 10402795 HAS SOUS 7043834 HAS SOUPS 7043834 WITH SCORE 7054236.795
AT ITER 3430 NEW BEST:: SOT 48644818 SOS 10403069 HAS SOPS 10403069 HAS SOUS 7043590 HAS SOUPS 7043590 WITH SCORE 7053993.069
AT ITER 3447 NEW BEST:: SOT 48644405 SOS 10415872 HAS SOPS 10415872 HAS SOUS 7042764 HAS SOUPS 7042764 WITH SCORE 7053179.872
AT ITER 3468 NEW BEST:: SOT 48644311 SOS 10415684 HAS SOPS 10415684 HAS SOUS 7041681 HAS SOUPS 7041681 WITH SCORE 7052096.684
AT ITER 3469 NEW BEST:: SOT 48643708 SOS 10415081 HAS SOPS 10415081 HAS SOUS 7041078 HAS SOUPS 7041078 WITH SCORE 7051493.081
AT ITER 3487 NEW BEST:: SOT 48643020 SOS 10414389 HAS SOPS 10414389 HAS SOUS 7040389 HAS SOUPS 7040389 WITH SCORE 7050803.389
AT ITER 3489 NEW BEST:: SOT 48642733 SOS 10413815 HAS SOPS 10413815 HAS SOUS 7039815 HAS SOUPS 7039815 WITH SCORE 7050228.815
AT ITER 3497 NEW BEST:: SOT 48642721 SOS 10413791 HAS SOPS 10413791 HAS SOUS 7039565 HAS SOUPS 7039565 WITH SCORE 7049978.791
AT ITER 3506 NEW BEST:: SOT 48639835 SOS 10415189 HAS SOPS 10415189 HAS SOUS 7039069 HAS SOUPS 7039069 WITH SCORE 7049484.189
AT ITER 3511 NEW BEST:: SOT 48639255 SOS 10415029 HAS SOPS 10415029 HAS SOUS 7038909 HAS SOUPS 7038909 WITH SCORE 7049324.029
AT ITER 3516 NEW BEST:: SOT 48638032 SOS 10416248 HAS SOPS 10416248 HAS SOUS 7036462 HAS SOUPS 7036462 WITH SCORE 7046878.248
AT ITER 3569 NEW BEST:: SOT 48636483 SOS 10420642 HAS SOPS 10420642 HAS SOUS 7035778 HAS SOUPS 7035778 WITH SCORE 7046198.642
AT ITER 3589 NEW BEST:: SOT 48636449 SOS 10420574 HAS SOPS 10420574 HAS SOUS 7035710 HAS SOUPS 7035710 WITH SCORE 7046130.574
AT ITER 3610 NEW BEST:: SOT 48636170 SOS 10420348 HAS SOPS 10420348 HAS SOUS 7035484 HAS SOUPS 7035484 WITH SCORE 7045904.348
AT ITER 3657 NEW BEST:: SOT 48635282 SOS 10415908 HAS SOPS 10415908 HAS SOUS 7033708 HAS SOUPS 7033708 WITH SCORE 7044123.908
AT ITER 3673 NEW BEST:: SOT 48634846 SOS 10415036 HAS SOPS 10415036 HAS SOUS 7032836 HAS SOUPS 7032836 WITH SCORE 7043251.036
AT ITER 3675 NEW BEST:: SOT 48634553 SOS 10414450 HAS SOPS 10414450 HAS SOUS 7032250 HAS SOUPS 7032250 WITH SCORE 7042664.45
AT ITER 3683 NEW BEST:: SOT 48634084 SOS 10413981 HAS SOPS 10413981 HAS SOUS 7031781 HAS SOUPS 7031781 WITH SCORE 7042194.981
AT ITER 3700 NEW BEST:: SOT 48634026 SOS 10413865 HAS SOPS 10413865 HAS SOUS 7031665 HAS SOUPS 7031665 WITH SCORE 7042078.865
AT ITER 3789 NEW BEST:: SOT 48634025 SOS 10413863 HAS SOPS 10413863 HAS SOUS 7031663 HAS SOUPS 7031663 WITH SCORE 7042076.863
AT ITER 3791 NEW BEST:: SOT 48633705 SOS 10413223 HAS SOPS 10413223 HAS SOUS 7031023 HAS SOUPS 7031023 WITH SCORE 7041436.223
AT ITER 3795 NEW BEST:: SOT 48633208 SOS 10411235 HAS SOPS 10411235 HAS SOUS 7030526 HAS SOUPS 7030526 WITH SCORE 7040937.235
AT ITER 3808 NEW BEST:: SOT 48632472 SOS 10411620 HAS SOPS 10411620 HAS SOUS 7030350 HAS SOUPS 7030350 WITH SCORE 7040761.62
AT ITER 3825 NEW BEST:: SOT 48632524 SOS 10411518 HAS SOPS 10411518 HAS SOUS 7030248 HAS SOUPS 7030248 WITH SCORE 7040659.518
AT ITER 3869 NEW BEST:: SOT 48631580 SOS 10409630 HAS SOPS 10409630 HAS SOUS 7029304 HAS SOUPS 7029304 WITH SCORE 7039713.63
AT ITER 3871 NEW BEST:: SOT 48631143 SOS 10408757 HAS SOPS 10408757 HAS SOUS 7028431 HAS SOUPS 7028431 WITH SCORE 7038839.757
AT ITER 3892 NEW BEST:: SOT 48630905 SOS 10408281 HAS SOPS 10408281 HAS SOUS 7028356 HAS SOUPS 7028356 WITH SCORE 7038764.281
AT ITER 3896 NEW BEST:: SOT 48630223 SOS 10406917 HAS SOPS 10406917 HAS SOUS 7026992 HAS SOUPS 7026992 WITH SCORE 7037398.917
AT ITER 3898 NEW BEST:: SOT 48629389 SOS 10406152 HAS SOPS 10406152 HAS SOUS 7026158 HAS SOUPS 7026158 WITH SCORE 7036564.152
AT ITER 3928 NEW BEST:: SOT 48629389 SOS 10405470 HAS SOPS 10405470 HAS SOUS 7025817 HAS SOUPS 7025817 WITH SCORE 7036222.47
AT ITER 3933 NEW BEST:: SOT 48629388 SOS 10406787 HAS SOPS 10406787 HAS SOUS 7025814 HAS SOUPS 7025814 WITH SCORE 7036220.787
AT ITER 3952 NEW BEST:: SOT 48629388 SOS 10405369 HAS SOPS 10405369 HAS SOUS 7024745 HAS SOUPS 7024745 WITH SCORE 7035150.369
AT ITER 3956 NEW BEST:: SOT 48626559 SOS 10404136 HAS SOPS 10404136 HAS SOUS 7023391 HAS SOUPS 7023391 WITH SCORE 7033795.136
AT ITER 3967 NEW BEST:: SOT 48625627 SOS 10403670 HAS SOPS 10403670 HAS SOUS 7022925 HAS SOUPS 7022925 WITH SCORE 7033328.67
AT ITER 3982 NEW BEST:: SOT 48623323 SOS 10402518 HAS SOPS 10402518 HAS SOUS 7021773 HAS SOUPS 7021773 WITH SCORE 7032175.518
AT ITER 3983 NEW BEST:: SOT 48622943 SOS 10401758 HAS SOPS 10401758 HAS SOUS 7021013 HAS SOUPS 7021013 WITH SCORE 7031414.758
AT ITER 3994 NEW BEST:: SOT 48622610 SOS 10402091 HAS SOPS 10402091 HAS SOUS 7020347 HAS SOUPS 7020347 WITH SCORE 7030749.091
AT ITER 4004 NEW BEST:: SOT 48622127 SOS 10401125 HAS SOPS 10401125 HAS SOUS 7019864 HAS SOUPS 7019864 WITH SCORE 7030265.125
AT ITER 4017 NEW BEST:: SOT 48622127 SOS 10400952 HAS SOPS 10400952 HAS SOUS 7019691 HAS SOUPS 7019691 WITH SCORE 7030091.952
AT ITER 4030 NEW BEST:: SOT 48622036 SOS 10400770 HAS SOPS 10400770 HAS SOUS 7019509 HAS SOUPS 7019509 WITH SCORE 7029909.77
AT ITER 4039 NEW BEST:: SOT 48622012 SOS 10400722 HAS SOPS 10400722 HAS SOUS 7019484 HAS SOUPS 7019484 WITH SCORE 7029884.722
AT ITER 4040 NEW BEST:: SOT 48620222 SOS 10381032 HAS SOPS 10381032 HAS SOUS 7015904 HAS SOUPS 7015904 WITH SCORE 7026285.032
AT ITER 4041 NEW BEST:: SOT 48619365 SOS 10380470 HAS SOPS 10380470 HAS SOUS 7015342 HAS SOUPS 7015342 WITH SCORE 7025722.47
AT ITER 4065 NEW BEST:: SOT 48616295 SOS 10381722 HAS SOPS 10381722 HAS SOUS 7014717 HAS SOUPS 7014717 WITH SCORE 7025098.722
AT ITER 4074 NEW BEST:: SOT 48614579 SOS 10378290 HAS SOPS 10378290 HAS SOUS 7013106 HAS SOUPS 7013106 WITH SCORE 7023484.29
AT ITER 4075 NEW BEST:: SOT 48614410 SOS 10377952 HAS SOPS 10377952 HAS SOUS 7012487 HAS SOUPS 7012487 WITH SCORE 7022864.952
AT ITER 4083 NEW BEST:: SOT 48614410 SOS 10376620 HAS SOPS 10376620 HAS SOUS 7012487 HAS SOUPS 7012487 WITH SCORE 7022863.62
AT ITER 4086 NEW BEST:: SOT 48614148 SOS 10376358 HAS SOPS 10376358 HAS SOUS 7012225 HAS SOUPS 7012225 WITH SCORE 7022601.358
AT ITER 4132 NEW BEST:: SOT 48612608 SOS 10373278 HAS SOPS 10373278 HAS SOUS 7009145 HAS SOUPS 7009145 WITH SCORE 7019518.278
AT ITER 4150 NEW BEST:: SOT 48612608 SOS 10373278 HAS SOPS 10373278 HAS SOUS 7009144 HAS SOUPS 7009144 WITH SCORE 7019517.278
AT ITER 4157 NEW BEST:: SOT 48612607 SOS 10373276 HAS SOPS 10373276 HAS SOUS 7009142 HAS SOUPS 7009142 WITH SCORE 7019515.276
AT ITER 4186 NEW BEST:: SOT 48612538 SOS 10373138 HAS SOPS 10373138 HAS SOUS 7008891 HAS SOUPS 7008891 WITH SCORE 7019264.138
AT ITER 4234 NEW BEST:: SOT 48612538 SOS 10372670 HAS SOPS 10372670 HAS SOUS 7008891 HAS SOUPS 7008891 WITH SCORE 7019263.67
AT ITER 4262 NEW BEST:: SOT 48613444 SOS 10374227 HAS SOPS 10374227 HAS SOUS 7008294 HAS SOUPS 7008294 WITH SCORE 7018668.227
AT ITER 4311 NEW BEST:: SOT 48612668 SOS 10373447 HAS SOPS 10373447 HAS SOUS 7007517 HAS SOUPS 7007517 WITH SCORE 7017890.447
AT ITER 4367 NEW BEST:: SOT 48612051 SOS 10372526 HAS SOPS 10372526 HAS SOUS 7006596 HAS SOUPS 7006596 WITH SCORE 7016968.526
AT ITER 4371 NEW BEST:: SOT 48611806 SOS 10372036 HAS SOPS 10372036 HAS SOUS 7006351 HAS SOUPS 7006351 WITH SCORE 7016723.036
AT ITER 4383 NEW BEST:: SOT 48611806 SOS 10371225 HAS SOPS 10371225 HAS SOUS 7006351 HAS SOUPS 7006351 WITH SCORE 7016722.225
AT ITER 4407 NEW BEST:: SOT 48612604 SOS 10372821 HAS SOPS 10372821 HAS SOUS 7006116 HAS SOUPS 7006116 WITH SCORE 7016488.821
AT ITER 4451 NEW BEST:: SOT 48612255 SOS 10372123 HAS SOPS 10372123 HAS SOUS 7005418 HAS SOUPS 7005418 WITH SCORE 7015790.123
AT ITER 4464 NEW BEST:: SOT 48612297 SOS 10372207 HAS SOPS 10372207 HAS SOUS 7005109 HAS SOUPS 7005109 WITH SCORE 7015481.207
AT ITER 4500 NEW BEST:: SOT 48612174 SOS 10371961 HAS SOPS 10371961 HAS SOUS 7004986 HAS SOUPS 7004986 WITH SCORE 7015357.961
AT ITER 4584 NEW BEST:: SOT 48612174 SOS 10371961 HAS SOPS 10371961 HAS SOUS 7004985 HAS SOUPS 7004985 WITH SCORE 7015356.961
AT ITER 4592 NEW BEST:: SOT 48611100 SOS 10371424 HAS SOPS 10371424 HAS SOUS 7004448 HAS SOUPS 7004448 WITH SCORE 7014819.424
AT ITER 4604 NEW BEST:: SOT 48610766 SOS 10370756 HAS SOPS 10370756 HAS SOUS 7003780 HAS SOUPS 7003780 WITH SCORE 7014150.756
AT ITER 4628 NEW BEST:: SOT 48610766 SOS 10370174 HAS SOPS 10370174 HAS SOUS 7003489 HAS SOUPS 7003489 WITH SCORE 7013859.174
AT ITER 4656 NEW BEST:: SOT 48608076 SOS 10366262 HAS SOPS 10366262 HAS SOUS 6999453 HAS SOUPS 6999453 WITH SCORE 7009819.262
AT ITER 4669 NEW BEST:: SOT 48606443 SOS 10364629 HAS SOPS 10364629 HAS SOUS 6997820 HAS SOUPS 6997820 WITH SCORE 7008184.629
AT ITER 4675 NEW BEST:: SOT 48605288 SOS 10365780 HAS SOPS 10365780 HAS SOUS 6995509 HAS SOUPS 6995509 WITH SCORE 7005874.78
AT ITER 4684 NEW BEST:: SOT 48605002 SOS 10365494 HAS SOPS 10365494 HAS SOUS 6995223 HAS SOUPS 6995223 WITH SCORE 7005588.494
AT ITER 4716 NEW BEST:: SOT 48604569 SOS 10364628 HAS SOPS 10364628 HAS SOUS 6994357 HAS SOUPS 6994357 WITH SCORE 7004721.628
AT ITER 4726 NEW BEST:: SOT 48604254 SOS 10365250 HAS SOPS 10365250 HAS SOUS 6994040 HAS SOUPS 6994040 WITH SCORE 7004405.25
AT ITER 4731 NEW BEST:: SOT 48604253 SOS 10365248 HAS SOPS 10365248 HAS SOUS 6994039 HAS SOUPS 6994039 WITH SCORE 7004404.248
AT ITER 4755 NEW BEST:: SOT 48604097 SOS 10364936 HAS SOPS 10364936 HAS SOUS 6993727 HAS SOUPS 6993727 WITH SCORE 7004091.936
AT ITER 4768 NEW BEST:: SOT 48603407 SOS 10363556 HAS SOPS 10363556 HAS SOUS 6992347 HAS SOUPS 6992347 WITH SCORE 7002710.556
AT ITER 4774 NEW BEST:: SOT 48602616 SOS 10361974 HAS SOPS 10361974 HAS SOUS 6990765 HAS SOUPS 6990765 WITH SCORE 7001126.974
AT ITER 4786 NEW BEST:: SOT 48601460 SOS 10361392 HAS SOPS 10361392 HAS SOUS 6990186 HAS SOUPS 6990186 WITH SCORE 7000547.392
AT ITER 4824 NEW BEST:: SOT 48601152 SOS 10361084 HAS SOPS 10361084 HAS SOUS 6989570 HAS SOUPS 6989570 WITH SCORE 6999931.084
AT ITER 4828 NEW BEST:: SOT 48601037 SOS 10360330 HAS SOPS 10360330 HAS SOUS 6989193 HAS SOUPS 6989193 WITH SCORE 6999553.33
AT ITER 4833 NEW BEST:: SOT 48598931 SOS 10359277 HAS SOPS 10359277 HAS SOUS 6988140 HAS SOUPS 6988140 WITH SCORE 6998499.277
AT ITER 4857 NEW BEST:: SOT 48598886 SOS 10362947 HAS SOPS 10362947 HAS SOUS 6988095 HAS SOUPS 6988095 WITH SCORE 6998457.947
AT ITER 4908 NEW BEST:: SOT 48598259 SOS 10361693 HAS SOPS 10361693 HAS SOUS 6986841 HAS SOUPS 6986841 WITH SCORE 6997202.693
AT ITER 4909 NEW BEST:: SOT 48598191 SOS 10361557 HAS SOPS 10361557 HAS SOUS 6984711 HAS SOUPS 6984711 WITH SCORE 6995072.557
AT ITER 4916 NEW BEST:: SOT 48597458 SOS 10360091 HAS SOPS 10360091 HAS SOUS 6983245 HAS SOUPS 6983245 WITH SCORE 6993605.091
AT ITER 4919 NEW BEST:: SOT 48597523 SOS 10360221 HAS SOPS 10360221 HAS SOUS 6982987 HAS SOUPS 6982987 WITH SCORE 6993347.221
AT ITER 4928 NEW BEST:: SOT 48597331 SOS 10359837 HAS SOPS 10359837 HAS SOUS 6982092 HAS SOUPS 6982092 WITH SCORE 6992451.837
AT ITER 4964 NEW BEST:: SOT 48596456 SOS 10358962 HAS SOPS 10358962 HAS SOUS 6981217 HAS SOUPS 6981217 WITH SCORE 6991575.962
AT ITER 4980 NEW BEST:: SOT 48596670 SOS 10359390 HAS SOPS 10359390 HAS SOUS 6980120 HAS SOUPS 6980120 WITH SCORE 6990479.39
AT ITER 4983 NEW BEST:: SOT 48595359 SOS 10358079 HAS SOPS 10358079 HAS SOUS 6978809 HAS SOUPS 6978809 WITH SCORE 6989167.079
AT ITER 5009 NEW BEST:: SOT 48586869 SOS 10375153 HAS SOPS 10375153 HAS SOUS 6977918 HAS SOUPS 6977918 WITH SCORE 6988293.153
AT ITER 5013 NEW BEST:: SOT 48586508 SOS 10374431 HAS SOPS 10374431 HAS SOUS 6977196 HAS SOUPS 6977196 WITH SCORE 6987570.431
AT ITER 5083 NEW BEST:: SOT 48584682 SOS 10373839 HAS SOPS 10373839 HAS SOUS 6976521 HAS SOUPS 6976521 WITH SCORE 6986894.839
AT ITER 5094 NEW BEST:: SOT 48584508 SOS 10373491 HAS SOPS 10373491 HAS SOUS 6976347 HAS SOUPS 6976347 WITH SCORE 6986720.491
AT ITER 5113 NEW BEST:: SOT 48584271 SOS 10373017 HAS SOPS 10373017 HAS SOUS 6975873 HAS SOUPS 6975873 WITH SCORE 6986246.017
AT ITER 5114 NEW BEST:: SOT 48581994 SOS 10372675 HAS SOPS 10372675 HAS SOUS 6975531 HAS SOUPS 6975531 WITH SCORE 6985903.675
AT ITER 5139 NEW BEST:: SOT 48580580 SOS 10371261 HAS SOPS 10371261 HAS SOUS 6974117 HAS SOUPS 6974117 WITH SCORE 6984488.261
AT ITER 5142 NEW BEST:: SOT 48579113 SOS 10368326 HAS SOPS 10368326 HAS SOUS 6971182 HAS SOUPS 6971182 WITH SCORE 6981550.326
AT ITER 5182 NEW BEST:: SOT 48579113 SOS 10368326 HAS SOPS 10368326 HAS SOUS 6971161 HAS SOUPS 6971161 WITH SCORE 6981529.326
AT ITER 5219 NEW BEST:: SOT 48579112 SOS 10368324 HAS SOPS 10368324 HAS SOUS 6971159 HAS SOUPS 6971159 WITH SCORE 6981527.324
AT ITER 5236 NEW BEST:: SOT 48578716 SOS 10367528 HAS SOPS 10367528 HAS SOUS 6970366 HAS SOUPS 6970366 WITH SCORE 6980733.528
AT ITER 5254 NEW BEST:: SOT 48578224 SOS 10367528 HAS SOPS 10367528 HAS SOUS 6969874 HAS SOUPS 6969874 WITH SCORE 6980241.528
AT ITER 5259 NEW BEST:: SOT 48577969 SOS 10367018 HAS SOPS 10367018 HAS SOUS 6969254 HAS SOUPS 6969254 WITH SCORE 6979621.018
AT ITER 5281 NEW BEST:: SOT 48577968 SOS 10367016 HAS SOPS 10367016 HAS SOUS 6969252 HAS SOUPS 6969252 WITH SCORE 6979619.016
AT ITER 5284 NEW BEST:: SOT 48577968 SOS 10367016 HAS SOPS 10367016 HAS SOUS 6969251 HAS SOUPS 6969251 WITH SCORE 6979618.016
AT ITER 5292 NEW BEST:: SOT 48577968 SOS 10367015 HAS SOPS 10367015 HAS SOUS 6969204 HAS SOUPS 6969204 WITH SCORE 6979571.015
AT ITER 5319 NEW BEST:: SOT 48577444 SOS 10366487 HAS SOPS 10366487 HAS SOUS 6968679 HAS SOUPS 6968679 WITH SCORE 6979045.487
AT ITER 5349 NEW BEST:: SOT 48577228 SOS 10366271 HAS SOPS 10366271 HAS SOUS 6968679 HAS SOUPS 6968679 WITH SCORE 6979045.271
AT ITER 5353 NEW BEST:: SOT 48576095 SOS 10365670 HAS SOPS 10365670 HAS SOUS 6968081 HAS SOUPS 6968081 WITH SCORE 6978446.67
AT ITER 5368 NEW BEST:: SOT 48575080 SOS 10364922 HAS SOPS 10364922 HAS SOUS 6967336 HAS SOUPS 6967336 WITH SCORE 6977700.922
AT ITER 5378 NEW BEST:: SOT 48574228 SOS 10364206 HAS SOPS 10364206 HAS SOUS 6966623 HAS SOUPS 6966623 WITH SCORE 6976987.206
AT ITER 5391 NEW BEST:: SOT 48573788 SOS 10363922 HAS SOPS 10363922 HAS SOUS 6966192 HAS SOUPS 6966192 WITH SCORE 6976555.922
AT ITER 5417 NEW BEST:: SOT 48573788 SOS 10362662 HAS SOPS 10362662 HAS SOUS 6966192 HAS SOUPS 6966192 WITH SCORE 6976554.662
AT ITER 5428 NEW BEST:: SOT 48574064 SOS 10361196 HAS SOPS 10361196 HAS SOUS 6965717 HAS SOUPS 6965717 WITH SCORE 6976078.196
AT ITER 5457 NEW BEST:: SOT 48573563 SOS 10360550 HAS SOPS 10360550 HAS SOUS 6965418 HAS SOUPS 6965418 WITH SCORE 6975778.55
AT ITER 5491 NEW BEST:: SOT 48573604 SOS 10359298 HAS SOPS 10359298 HAS SOUS 6964812 HAS SOUPS 6964812 WITH SCORE 6975171.298
AT ITER 5548 NEW BEST:: SOT 48573604 SOS 10358257 HAS SOPS 10358257 HAS SOUS 6964465 HAS SOUPS 6964465 WITH SCORE 6974823.257
AT ITER 5558 NEW BEST:: SOT 48576366 SOS 10339471 HAS SOPS 10339471 HAS SOUS 6963494 HAS SOUPS 6963494 WITH SCORE 6973833.471
AT ITER 5576 NEW BEST:: SOT 48576366 SOS 10341364 HAS SOPS 10341364 HAS SOUS 6963024 HAS SOUPS 6963024 WITH SCORE 6973365.364
AT ITER 5606 NEW BEST:: SOT 48575726 SOS 10339764 HAS SOPS 10339764 HAS SOUS 6962384 HAS SOUPS 6962384 WITH SCORE 6972723.764
AT ITER 5625 NEW BEST:: SOT 48575612 SOS 10339460 HAS SOPS 10339460 HAS SOUS 6962080 HAS SOUPS 6962080 WITH SCORE 6972419.46
AT ITER 5636 NEW BEST:: SOT 48575612 SOS 10339190 HAS SOPS 10339190 HAS SOUS 6962080 HAS SOUPS 6962080 WITH SCORE 6972419.19
AT ITER 5642 NEW BEST:: SOT 48575612 SOS 10339979 HAS SOPS 10339979 HAS SOUS 6962079 HAS SOUPS 6962079 WITH SCORE 6972418.979
AT ITER 5692 NEW BEST:: SOT 48575612 SOS 10338722 HAS SOPS 10338722 HAS SOUS 6961660 HAS SOUPS 6961660 WITH SCORE 6971998.722
AT ITER 5693 NEW BEST:: SOT 48575612 SOS 10338722 HAS SOPS 10338722 HAS SOUS 6961568 HAS SOUPS 6961568 WITH SCORE 6971906.722
AT ITER 5736 NEW BEST:: SOT 48575364 SOS 10338227 HAS SOPS 10338227 HAS SOUS 6961073 HAS SOUPS 6961073 WITH SCORE 6971411.227
AT ITER 5746 NEW BEST:: SOT 48568620 SOS 10484301 HAS SOPS 10484301 HAS SOUS 6960025 HAS SOUPS 6960025 WITH SCORE 6970509.301
AT ITER 5765 NEW BEST:: SOT 48568229 SOS 10483632 HAS SOPS 10483632 HAS SOUS 6959356 HAS SOUPS 6959356 WITH SCORE 6969839.632
AT ITER 5792 NEW BEST:: SOT 48566986 SOS 10482385 HAS SOPS 10482385 HAS SOUS 6958112 HAS SOUPS 6958112 WITH SCORE 6968594.385
AT ITER 5793 NEW BEST:: SOT 48565766 SOS 10477777 HAS SOPS 10477777 HAS SOUS 6956045 HAS SOUPS 6956045 WITH SCORE 6966522.777
AT ITER 5810 NEW BEST:: SOT 48565098 SOS 10477109 HAS SOPS 10477109 HAS SOUS 6955377 HAS SOUPS 6955377 WITH SCORE 6965854.109
AT ITER 5889 NEW BEST:: SOT 48564328 SOS 10475569 HAS SOPS 10475569 HAS SOUS 6953837 HAS SOUPS 6953837 WITH SCORE 6964312.569
AT ITER 5903 NEW BEST:: SOT 48563487 SOS 10473887 HAS SOPS 10473887 HAS SOUS 6952155 HAS SOUPS 6952155 WITH SCORE 6962628.887
AT ITER 5910 NEW BEST:: SOT 48562397 SOS 10471707 HAS SOPS 10471707 HAS SOUS 6950617 HAS SOUPS 6950617 WITH SCORE 6961088.707
AT ITER 5912 NEW BEST:: SOT 48561412 SOS 10472383 HAS SOPS 10472383 HAS SOUS 6949884 HAS SOUPS 6949884 WITH SCORE 6960356.383
AT ITER 5925 NEW BEST:: SOT 48561161 SOS 10471881 HAS SOPS 10471881 HAS SOUS 6949382 HAS SOUPS 6949382 WITH SCORE 6959853.881
AT ITER 5935 NEW BEST:: SOT 48561271 SOS 10472101 HAS SOPS 10472101 HAS SOUS 6948784 HAS SOUPS 6948784 WITH SCORE 6959256.101
AT ITER 5936 NEW BEST:: SOT 48561379 SOS 10472316 HAS SOPS 10472316 HAS SOUS 6947636 HAS SOUPS 6947636 WITH SCORE 6958108.316
AT ITER 5959 NEW BEST:: SOT 48561379 SOS 10471608 HAS SOPS 10471608 HAS SOUS 6947400 HAS SOUPS 6947400 WITH SCORE 6957871.608
AT ITER 6013 NEW BEST:: SOT 48558968 SOS 10470563 HAS SOPS 10470563 HAS SOUS 6946248 HAS SOUPS 6946248 WITH SCORE 6956718.563
AT ITER 6037 NEW BEST:: SOT 48558810 SOS 10470721 HAS SOPS 10470721 HAS SOUS 6946090 HAS SOUPS 6946090 WITH SCORE 6956560.721
AT ITER 6055 NEW BEST:: SOT 48558809 SOS 10470719 HAS SOPS 10470719 HAS SOUS 6946088 HAS SOUPS 6946088 WITH SCORE 6956558.719
AT ITER 6066 NEW BEST:: SOT 48559597 SOS 10472295 HAS SOPS 10472295 HAS SOUS 6946067 HAS SOUPS 6946067 WITH SCORE 6956539.295
AT ITER 6141 NEW BEST:: SOT 48559147 SOS 10470979 HAS SOPS 10470979 HAS SOUS 6945738 HAS SOUPS 6945738 WITH SCORE 6956208.979
AT ITER 6162 NEW BEST:: SOT 48559024 SOS 10470125 HAS SOPS 10470125 HAS SOUS 6945492 HAS SOUPS 6945492 WITH SCORE 6955962.125
AT ITER 6169 NEW BEST:: SOT 48559024 SOS 10469606 HAS SOPS 10469606 HAS SOUS 6945319 HAS SOUPS 6945319 WITH SCORE 6955788.606
AT ITER 6173 NEW BEST:: SOT 48557547 SOS 10466652 HAS SOPS 10466652 HAS SOUS 6944570 HAS SOUPS 6944570 WITH SCORE 6955036.652
AT ITER 6234 NEW BEST:: SOT 48557547 SOS 10466361 HAS SOPS 10466361 HAS SOUS 6944570 HAS SOUPS 6944570 WITH SCORE 6955036.361
AT ITER 6242 NEW BEST:: SOT 48557547 SOS 10464654 HAS SOPS 10464654 HAS SOUS 6944001 HAS SOUPS 6944001 WITH SCORE 6954465.654
AT ITER 6243 NEW BEST:: SOT 48557547 SOS 10464654 HAS SOPS 10464654 HAS SOUS 6943760 HAS SOUPS 6943760 WITH SCORE 6954224.654
AT ITER 6270 NEW BEST:: SOT 48556754 SOS 10463861 HAS SOPS 10463861 HAS SOUS 6942967 HAS SOUPS 6942967 WITH SCORE 6953430.861
AT ITER 6281 NEW BEST:: SOT 48555939 SOS 10463184 HAS SOPS 10463184 HAS SOUS 6942290 HAS SOUPS 6942290 WITH SCORE 6952753.184
AT ITER 6282 NEW BEST:: SOT 48556229 SOS 10463038 HAS SOPS 10463038 HAS SOUS 6942144 HAS SOUPS 6942144 WITH SCORE 6952607.038
AT ITER 6328 NEW BEST:: SOT 48555499 SOS 10461578 HAS SOPS 10461578 HAS SOUS 6940684 HAS SOUPS 6940684 WITH SCORE 6951145.578
AT ITER 6330 NEW BEST:: SOT 48555532 SOS 10461125 HAS SOPS 10461125 HAS SOUS 6940540 HAS SOUPS 6940540 WITH SCORE 6951001.125
AT ITER 6334 NEW BEST:: SOT 48554932 SOS 10461725 HAS SOPS 10461725 HAS SOUS 6939940 HAS SOUPS 6939940 WITH SCORE 6950401.725
AT ITER 6338 NEW BEST:: SOT 48554932 SOS 10461725 HAS SOPS 10461725 HAS SOUS 6939939 HAS SOUPS 6939939 WITH SCORE 6950400.725
AT ITER 6341 NEW BEST:: SOT 48554881 SOS 10461521 HAS SOPS 10461521 HAS SOUS 6939837 HAS SOUPS 6939837 WITH SCORE 6950298.521
AT ITER 6377 NEW BEST:: SOT 48554881 SOS 10461521 HAS SOPS 10461521 HAS SOUS 6939836 HAS SOUPS 6939836 WITH SCORE 6950297.521
AT ITER 6385 NEW BEST:: SOT 48554844 SOS 10461447 HAS SOPS 10461447 HAS SOUS 6939799 HAS SOUPS 6939799 WITH SCORE 6950260.447
AT ITER 6391 NEW BEST:: SOT 48554755 SOS 10461269 HAS SOPS 10461269 HAS SOUS 6939621 HAS SOUPS 6939621 WITH SCORE 6950082.269
AT ITER 6393 NEW BEST:: SOT 48553681 SOS 10459121 HAS SOPS 10459121 HAS SOUS 6937473 HAS SOUPS 6937473 WITH SCORE 6947932.121
AT ITER 6407 NEW BEST:: SOT 48552911 SOS 10458631 HAS SOPS 10458631 HAS SOUS 6937053 HAS SOUPS 6937053 WITH SCORE 6947511.631
AT ITER 6412 NEW BEST:: SOT 48552751 SOS 10458695 HAS SOPS 10458695 HAS SOUS 6936989 HAS SOUPS 6936989 WITH SCORE 6947447.695
AT ITER 6447 NEW BEST:: SOT 48552613 SOS 10458557 HAS SOPS 10458557 HAS SOUS 6936851 HAS SOUPS 6936851 WITH SCORE 6947309.557
AT ITER 6448 NEW BEST:: SOT 48552508 SOS 10458348 HAS SOPS 10458348 HAS SOUS 6936642 HAS SOUPS 6936642 WITH SCORE 6947100.348
AT ITER 6450 NEW BEST:: SOT 48552190 SOS 10458030 HAS SOPS 10458030 HAS SOUS 6936324 HAS SOUPS 6936324 WITH SCORE 6946782.03
AT ITER 6480 NEW BEST:: SOT 48552190 SOS 10456383 HAS SOPS 10456383 HAS SOUS 6935775 HAS SOUPS 6935775 WITH SCORE 6946231.383
AT ITER 6484 NEW BEST:: SOT 48551976 SOS 10456173 HAS SOPS 10456173 HAS SOUS 6935565 HAS SOUPS 6935565 WITH SCORE 6946021.173
AT ITER 6524 NEW BEST:: SOT 48551507 SOS 10455235 HAS SOPS 10455235 HAS SOUS 6934492 HAS SOUPS 6934492 WITH SCORE 6944947.235
AT ITER 6525 NEW BEST:: SOT 48551104 SOS 10454429 HAS SOPS 10454429 HAS SOUS 6934089 HAS SOUPS 6934089 WITH SCORE 6944543.429
AT ITER 6566 NEW BEST:: SOT 48550919 SOS 10454059 HAS SOPS 10454059 HAS SOUS 6933904 HAS SOUPS 6933904 WITH SCORE 6944358.059
AT ITER 6577 NEW BEST:: SOT 48541742 SOS 10459511 HAS SOPS 10459511 HAS SOUS 6932501 HAS SOUPS 6932501 WITH SCORE 6942960.511
AT ITER 6586 NEW BEST:: SOT 48541676 SOS 10459380 HAS SOPS 10459380 HAS SOUS 6932370 HAS SOUPS 6932370 WITH SCORE 6942829.38
AT ITER 6600 NEW BEST:: SOT 48542086 SOS 10459509 HAS SOPS 10459509 HAS SOUS 6932089 HAS SOUPS 6932089 WITH SCORE 6942548.509
AT ITER 6626 NEW BEST:: SOT 48542085 SOS 10459507 HAS SOPS 10459507 HAS SOUS 6932088 HAS SOUPS 6932088 WITH SCORE 6942547.507
AT ITER 6657 NEW BEST:: SOT 48541379 SOS 10458095 HAS SOPS 10458095 HAS SOUS 6930676 HAS SOUPS 6930676 WITH SCORE 6941134.095
AT ITER 6661 NEW BEST:: SOT 48541472 SOS 10458281 HAS SOPS 10458281 HAS SOUS 6930477 HAS SOUPS 6930477 WITH SCORE 6940935.281
AT ITER 6677 NEW BEST:: SOT 48539640 SOS 10458001 HAS SOPS 10458001 HAS SOUS 6930197 HAS SOUPS 6930197 WITH SCORE 6940655.001
AT ITER 6690 NEW BEST:: SOT 48539559 SOS 10457989 HAS SOPS 10457989 HAS SOUS 6930188 HAS SOUPS 6930188 WITH SCORE 6940645.989
AT ITER 6764 NEW BEST:: SOT 48539291 SOS 10457453 HAS SOPS 10457453 HAS SOUS 6929464 HAS SOUPS 6929464 WITH SCORE 6939921.453
AT ITER 6799 NEW BEST:: SOT 48539201 SOS 10457273 HAS SOPS 10457273 HAS SOUS 6929374 HAS SOUPS 6929374 WITH SCORE 6939831.273
AT ITER 6818 NEW BEST:: SOT 48537927 SOS 10452403 HAS SOPS 10452403 HAS SOUS 6927201 HAS SOUPS 6927201 WITH SCORE 6937653.403
AT ITER 6851 NEW BEST:: SOT 48537727 SOS 10452474 HAS SOPS 10452474 HAS SOUS 6927001 HAS SOUPS 6927001 WITH SCORE 6937453.474
AT ITER 6864 NEW BEST:: SOT 48537747 SOS 10452888 HAS SOPS 10452888 HAS SOUS 6926966 HAS SOUPS 6926966 WITH SCORE 6937418.888
AT ITER 6873 NEW BEST:: SOT 48535661 SOS 10449799 HAS SOPS 10449799 HAS SOUS 6923839 HAS SOUPS 6923839 WITH SCORE 6934288.799
AT ITER 6917 NEW BEST:: SOT 48535553 SOS 10449583 HAS SOPS 10449583 HAS SOUS 6923623 HAS SOUPS 6923623 WITH SCORE 6934072.583
AT ITER 6919 NEW BEST:: SOT 48534927 SOS 10449266 HAS SOPS 10449266 HAS SOUS 6923309 HAS SOUPS 6923309 WITH SCORE 6933758.266
AT ITER 6925 NEW BEST:: SOT 48534859 SOS 10449131 HAS SOPS 10449131 HAS SOUS 6923174 HAS SOUPS 6923174 WITH SCORE 6933623.131
AT ITER 6987 NEW BEST:: SOT 48534352 SOS 10446998 HAS SOPS 10446998 HAS SOUS 6922828 HAS SOUPS 6922828 WITH SCORE 6933274.998
AT ITER 7006 NEW BEST:: SOT 48533785 SOS 10450957 HAS SOPS 10450957 HAS SOUS 6921693 HAS SOUPS 6921693 WITH SCORE 6932143.957
AT ITER 7031 NEW BEST:: SOT 48533914 SOS 10450295 HAS SOPS 10450295 HAS SOUS 6921362 HAS SOUPS 6921362 WITH SCORE 6931812.295
AT ITER 7035 NEW BEST:: SOT 48532082 SOS 10449379 HAS SOPS 10449379 HAS SOUS 6919530 HAS SOUPS 6919530 WITH SCORE 6929979.379
AT ITER 7044 NEW BEST:: SOT 48532078 SOS 10449371 HAS SOPS 10449371 HAS SOUS 6919522 HAS SOUPS 6919522 WITH SCORE 6929971.371
AT ITER 7063 NEW BEST:: SOT 48531290 SOS 10448763 HAS SOPS 10448763 HAS SOUS 6918914 HAS SOUPS 6918914 WITH SCORE 6929362.763
AT ITER 7078 NEW BEST:: SOT 48530922 SOS 10448027 HAS SOPS 10448027 HAS SOUS 6918178 HAS SOUPS 6918178 WITH SCORE 6928626.027
AT ITER 7094 NEW BEST:: SOT 48528819 SOS 10446625 HAS SOPS 10446625 HAS SOUS 6916776 HAS SOUPS 6916776 WITH SCORE 6927222.625
AT ITER 7117 NEW BEST:: SOT 48528819 SOS 10446625 HAS SOPS 10446625 HAS SOUS 6916775 HAS SOUPS 6916775 WITH SCORE 6927221.625
AT ITER 7145 NEW BEST:: SOT 48528751 SOS 10446489 HAS SOPS 10446489 HAS SOUS 6916707 HAS SOUPS 6916707 WITH SCORE 6927153.489
AT ITER 7191 NEW BEST:: SOT 48527533 SOS 10444053 HAS SOPS 10444053 HAS SOUS 6914547 HAS SOUPS 6914547 WITH SCORE 6924991.053
AT ITER 7211 NEW BEST:: SOT 48526202 SOS 10441391 HAS SOPS 10441391 HAS SOUS 6911885 HAS SOUPS 6911885 WITH SCORE 6922326.391
AT ITER 7226 NEW BEST:: SOT 48526202 SOS 10440245 HAS SOPS 10440245 HAS SOUS 6911885 HAS SOUPS 6911885 WITH SCORE 6922325.245
AT ITER 7231 NEW BEST:: SOT 48523225 SOS 10439004 HAS SOPS 10439004 HAS SOUS 6910479 HAS SOUPS 6910479 WITH SCORE 6920918.004
AT ITER 7240 NEW BEST:: SOT 48523225 SOS 10439242 HAS SOPS 10439242 HAS SOUS 6910478 HAS SOUPS 6910478 WITH SCORE 6920917.242
AT ITER 7254 NEW BEST:: SOT 48521042 SOS 10441736 HAS SOPS 10441736 HAS SOUS 6910229 HAS SOUPS 6910229 WITH SCORE 6920670.736
AT ITER 7263 NEW BEST:: SOT 48521041 SOS 10441734 HAS SOPS 10441734 HAS SOUS 6910227 HAS SOUPS 6910227 WITH SCORE 6920668.734
AT ITER 7264 NEW BEST:: SOT 48521041 SOS 10442345 HAS SOPS 10442345 HAS SOUS 6910226 HAS SOUPS 6910226 WITH SCORE 6920668.345
AT ITER 7297 NEW BEST:: SOT 48520219 SOS 10444678 HAS SOPS 10444678 HAS SOUS 6908143 HAS SOUPS 6908143 WITH SCORE 6918587.678
AT ITER 7314 NEW BEST:: SOT 48519631 SOS 10443993 HAS SOPS 10443993 HAS SOUS 6907262 HAS SOUPS 6907262 WITH SCORE 6917705.993
AT ITER 7320 NEW BEST:: SOT 48519078 SOS 10443827 HAS SOPS 10443827 HAS SOUS 6907037 HAS SOUPS 6907037 WITH SCORE 6917480.827
AT ITER 7325 NEW BEST:: SOT 48518664 SOS 10442999 HAS SOPS 10442999 HAS SOUS 6906907 HAS SOUPS 6906907 WITH SCORE 6917349.999
AT ITER 7335 NEW BEST:: SOT 48517918 SOS 10443742 HAS SOPS 10443742 HAS SOUS 6906905 HAS SOUPS 6906905 WITH SCORE 6917348.742
AT ITER 7354 NEW BEST:: SOT 48517430 SOS 10443498 HAS SOPS 10443498 HAS SOUS 6906417 HAS SOUPS 6906417 WITH SCORE 6916860.498
AT ITER 7359 NEW BEST:: SOT 48517341 SOS 10443321 HAS SOPS 10443321 HAS SOUS 6906240 HAS SOUPS 6906240 WITH SCORE 6916683.321
AT ITER 7385 NEW BEST:: SOT 48516803 SOS 10442244 HAS SOPS 10442244 HAS SOUS 6905163 HAS SOUPS 6905163 WITH SCORE 6915605.244
AT ITER 7414 NEW BEST:: SOT 48517328 SOS 10440282 HAS SOPS 10440282 HAS SOUS 6904684 HAS SOUPS 6904684 WITH SCORE 6915124.282
AT ITER 7437 NEW BEST:: SOT 48514794 SOS 10439015 HAS SOPS 10439015 HAS SOUS 6903417 HAS SOUPS 6903417 WITH SCORE 6913856.015
AT ITER 7497 NEW BEST:: SOT 48514794 SOS 10438577 HAS SOPS 10438577 HAS SOUS 6902979 HAS SOUPS 6902979 WITH SCORE 6913417.577
AT ITER 7499 NEW BEST:: SOT 48514204 SOS 10438425 HAS SOPS 10438425 HAS SOUS 6902827 HAS SOUPS 6902827 WITH SCORE 6913265.425
AT ITER 7505 NEW BEST:: SOT 48513910 SOS 10438131 HAS SOPS 10438131 HAS SOUS 6902533 HAS SOUPS 6902533 WITH SCORE 6912971.131
AT ITER 7518 NEW BEST:: SOT 48513867 SOS 10437817 HAS SOPS 10437817 HAS SOUS 6902219 HAS SOUPS 6902219 WITH SCORE 6912656.817
AT ITER 7533 NEW BEST:: SOT 48513644 SOS 10437371 HAS SOPS 10437371 HAS SOUS 6901648 HAS SOUPS 6901648 WITH SCORE 6912085.371
AT ITER 7554 NEW BEST:: SOT 48512070 SOS 10435444 HAS SOPS 10435444 HAS SOUS 6900539 HAS SOUPS 6900539 WITH SCORE 6910974.444
AT ITER 7560 NEW BEST:: SOT 48511108 SOS 10434619 HAS SOPS 10434619 HAS SOUS 6899577 HAS SOUPS 6899577 WITH SCORE 6910011.619
AT ITER 7570 NEW BEST:: SOT 48511108 SOS 10434618 HAS SOPS 10434618 HAS SOUS 6899576 HAS SOUPS 6899576 WITH SCORE 6910010.618
AT ITER 7631 NEW BEST:: SOT 48510761 SOS 10433924 HAS SOPS 10433924 HAS SOUS 6898882 HAS SOUPS 6898882 WITH SCORE 6909315.924
AT ITER 7636 NEW BEST:: SOT 48510761 SOS 10434517 HAS SOPS 10434517 HAS SOUS 6898881 HAS SOUPS 6898881 WITH SCORE 6909315.517
AT ITER 7643 NEW BEST:: SOT 48510204 SOS 10433960 HAS SOPS 10433960 HAS SOUS 6898324 HAS SOUPS 6898324 WITH SCORE 6908757.96
AT ITER 7661 NEW BEST:: SOT 48509404 SOS 10432360 HAS SOPS 10432360 HAS SOUS 6897164 HAS SOUPS 6897164 WITH SCORE 6907596.36
AT ITER 7693 NEW BEST:: SOT 48509404 SOS 10431548 HAS SOPS 10431548 HAS SOUS 6896961 HAS SOUPS 6896961 WITH SCORE 6907392.548
AT ITER 7694 NEW BEST:: SOT 48509363 SOS 10431466 HAS SOPS 10431466 HAS SOUS 6896920 HAS SOUPS 6896920 WITH SCORE 6907351.466
AT ITER 7699 NEW BEST:: SOT 48508955 SOS 10431262 HAS SOPS 10431262 HAS SOUS 6896716 HAS SOUPS 6896716 WITH SCORE 6907147.262
AT ITER 7715 NEW BEST:: SOT 48508955 SOS 10431262 HAS SOPS 10431262 HAS SOUS 6896715 HAS SOUPS 6896715 WITH SCORE 6907146.262
AT ITER 7725 NEW BEST:: SOT 48506386 SOS 10430978 HAS SOPS 10430978 HAS SOUS 6896227 HAS SOUPS 6896227 WITH SCORE 6906657.978
AT ITER 7747 NEW BEST:: SOT 48506385 SOS 10430976 HAS SOPS 10430976 HAS SOUS 6896225 HAS SOUPS 6896225 WITH SCORE 6906655.976
AT ITER 7754 NEW BEST:: SOT 48505675 SOS 10430830 HAS SOPS 10430830 HAS SOUS 6896079 HAS SOUPS 6896079 WITH SCORE 6906509.83
AT ITER 7760 NEW BEST:: SOT 48505675 SOS 10430536 HAS SOPS 10430536 HAS SOUS 6895785 HAS SOUPS 6895785 WITH SCORE 6906215.536
AT ITER 7779 NEW BEST:: SOT 48501306 SOS 10458387 HAS SOPS 10458387 HAS SOUS 6895315 HAS SOUPS 6895315 WITH SCORE 6905773.387
AT ITER 7796 NEW BEST:: SOT 48501104 SOS 10457983 HAS SOPS 10457983 HAS SOUS 6894911 HAS SOUPS 6894911 WITH SCORE 6905368.983
AT ITER 7811 NEW BEST:: SOT 48500976 SOS 10457855 HAS SOPS 10457855 HAS SOUS 6894783 HAS SOUPS 6894783 WITH SCORE 6905240.855
AT ITER 7814 NEW BEST:: SOT 48500467 SOS 10457346 HAS SOPS 10457346 HAS SOUS 6894274 HAS SOUPS 6894274 WITH SCORE 6904731.346
AT ITER 7845 NEW BEST:: SOT 48500421 SOS 10457254 HAS SOPS 10457254 HAS SOUS 6893999 HAS SOUPS 6893999 WITH SCORE 6904456.254
AT ITER 7859 NEW BEST:: SOT 48500049 SOS 10456510 HAS SOPS 10456510 HAS SOUS 6893255 HAS SOUPS 6893255 WITH SCORE 6903711.51
AT ITER 7863 NEW BEST:: SOT 48500519 SOS 10456979 HAS SOPS 10456979 HAS SOUS 6893254 HAS SOUPS 6893254 WITH SCORE 6903710.979
AT ITER 7864 NEW BEST:: SOT 48500519 SOS 10455851 HAS SOPS 10455851 HAS SOUS 6892878 HAS SOUPS 6892878 WITH SCORE 6903333.851
AT ITER 7871 NEW BEST:: SOT 48500080 SOS 10454974 HAS SOPS 10454974 HAS SOUS 6892001 HAS SOUPS 6892001 WITH SCORE 6902455.974
AT ITER 7900 NEW BEST:: SOT 48499676 SOS 10454575 HAS SOPS 10454575 HAS SOUS 6891986 HAS SOUPS 6891986 WITH SCORE 6902440.575
AT ITER 7903 NEW BEST:: SOT 48499856 SOS 10454369 HAS SOPS 10454369 HAS SOUS 6891883 HAS SOUPS 6891883 WITH SCORE 6902337.369
AT ITER 7925 NEW BEST:: SOT 48499371 SOS 10453399 HAS SOPS 10453399 HAS SOUS 6890087 HAS SOUPS 6890087 WITH SCORE 6900540.399
AT ITER 7932 NEW BEST:: SOT 48499371 SOS 10451656 HAS SOPS 10451656 HAS SOUS 6890087 HAS SOUPS 6890087 WITH SCORE 6900538.656
AT ITER 7943 NEW BEST:: SOT 48488676 SOS 10451568 HAS SOPS 10451568 HAS SOUS 6885474 HAS SOUPS 6885474 WITH SCORE 6895925.568
AT ITER 7962 NEW BEST:: SOT 48488039 SOS 10450294 HAS SOPS 10450294 HAS SOUS 6883534 HAS SOUPS 6883534 WITH SCORE 6893984.294
AT ITER 8010 NEW BEST:: SOT 48487873 SOS 10450176 HAS SOPS 10450176 HAS SOUS 6883416 HAS SOUPS 6883416 WITH SCORE 6893866.176
AT ITER 8045 NEW BEST:: SOT 48485584 SOS 10433478 HAS SOPS 10433478 HAS SOUS 6883003 HAS SOUPS 6883003 WITH SCORE 6893436.478
AT ITER 8065 NEW BEST:: SOT 48484443 SOS 10431196 HAS SOPS 10431196 HAS SOUS 6881005 HAS SOUPS 6881005 WITH SCORE 6891436.196
AT ITER 8090 NEW BEST:: SOT 48484443 SOS 10431758 HAS SOPS 10431758 HAS SOUS 6881004 HAS SOUPS 6881004 WITH SCORE 6891435.758
AT ITER 8102 NEW BEST:: SOT 48482797 SOS 10430108 HAS SOPS 10430108 HAS SOUS 6879357 HAS SOUPS 6879357 WITH SCORE 6889787.108
AT ITER 8133 NEW BEST:: SOT 48482790 SOS 10430094 HAS SOPS 10430094 HAS SOUS 6879343 HAS SOUPS 6879343 WITH SCORE 6889773.094
AT ITER 8136 NEW BEST:: SOT 48482144 SOS 10428802 HAS SOPS 10428802 HAS SOUS 6878697 HAS SOUPS 6878697 WITH SCORE 6889125.802
AT ITER 8153 NEW BEST:: SOT 48482022 SOS 10428558 HAS SOPS 10428558 HAS SOUS 6878453 HAS SOUPS 6878453 WITH SCORE 6888881.558
AT ITER 8166 NEW BEST:: SOT 48480675 SOS 10427316 HAS SOPS 10427316 HAS SOUS 6877106 HAS SOUPS 6877106 WITH SCORE 6887533.316
AT ITER 8187 NEW BEST:: SOT 48480658 SOS 10427283 HAS SOPS 10427283 HAS SOUS 6877073 HAS SOUPS 6877073 WITH SCORE 6887500.283
AT ITER 8188 NEW BEST:: SOT 48480666 SOS 10426485 HAS SOPS 10426485 HAS SOUS 6876677 HAS SOUPS 6876677 WITH SCORE 6887103.485
AT ITER 8232 NEW BEST:: SOT 48480461 SOS 10426605 HAS SOPS 10426605 HAS SOUS 6876267 HAS SOUPS 6876267 WITH SCORE 6886693.605
AT ITER 8239 NEW BEST:: SOT 48479431 SOS 10421455 HAS SOPS 10421455 HAS SOUS 6874207 HAS SOUPS 6874207 WITH SCORE 6884628.455
AT ITER 8262 NEW BEST:: SOT 48478725 SOS 10420781 HAS SOPS 10420781 HAS SOUS 6873500 HAS SOUPS 6873500 WITH SCORE 6883920.781
AT ITER 8289 NEW BEST:: SOT 48478910 SOS 10420704 HAS SOPS 10420704 HAS SOUS 6873423 HAS SOUPS 6873423 WITH SCORE 6883843.704
AT ITER 8309 NEW BEST:: SOT 48478196 SOS 10419986 HAS SOPS 10419986 HAS SOUS 6872708 HAS SOUPS 6872708 WITH SCORE 6883127.986
AT ITER 8316 NEW BEST:: SOT 48478001 SOS 10419596 HAS SOPS 10419596 HAS SOUS 6872513 HAS SOUPS 6872513 WITH SCORE 6882932.596
AT ITER 8364 NEW BEST:: SOT 48477763 SOS 10421262 HAS SOPS 10421262 HAS SOUS 6872037 HAS SOUPS 6872037 WITH SCORE 6882458.262
AT ITER 8375 NEW BEST:: SOT 48477453 SOS 10420642 HAS SOPS 10420642 HAS SOUS 6871417 HAS SOUPS 6871417 WITH SCORE 6881837.642
AT ITER 8409 NEW BEST:: SOT 48477171 SOS 10420360 HAS SOPS 10420360 HAS SOUS 6871135 HAS SOUPS 6871135 WITH SCORE 6881555.36
AT ITER 8415 NEW BEST:: SOT 48477222 SOS 10420462 HAS SOPS 10420462 HAS SOUS 6870774 HAS SOUPS 6870774 WITH SCORE 6881194.462
AT ITER 8426 NEW BEST:: SOT 48476926 SOS 10420461 HAS SOPS 10420461 HAS SOUS 6870773 HAS SOUPS 6870773 WITH SCORE 6881193.461
AT ITER 8451 NEW BEST:: SOT 48476606 SOS 10420141 HAS SOPS 10420141 HAS SOUS 6870453 HAS SOUPS 6870453 WITH SCORE 6880873.141
AT ITER 8464 NEW BEST:: SOT 48475897 SOS 10421087 HAS SOPS 10421087 HAS SOUS 6870377 HAS SOUPS 6870377 WITH SCORE 6880798.087
AT ITER 8492 NEW BEST:: SOT 48475243 SOS 10420429 HAS SOPS 10420429 HAS SOUS 6870376 HAS SOUPS 6870376 WITH SCORE 6880796.429
AT ITER 8505 NEW BEST:: SOT 48475504 SOS 10420951 HAS SOPS 10420951 HAS SOUS 6870051 HAS SOUPS 6870051 WITH SCORE 6880471.951
AT ITER 8523 NEW BEST:: SOT 48475504 SOS 10420951 HAS SOPS 10420951 HAS SOUS 6870050 HAS SOUPS 6870050 WITH SCORE 6880470.951
AT ITER 8581 NEW BEST:: SOT 48475288 SOS 10420519 HAS SOPS 10420519 HAS SOUS 6869367 HAS SOUPS 6869367 WITH SCORE 6879787.519
AT ITER 8587 NEW BEST:: SOT 48475288 SOS 10420305 HAS SOPS 10420305 HAS SOUS 6869260 HAS SOUPS 6869260 WITH SCORE 6879680.305
AT ITER 8600 NEW BEST:: SOT 48474823 SOS 10419375 HAS SOPS 10419375 HAS SOUS 6868330 HAS SOUPS 6868330 WITH SCORE 6878749.375
AT ITER 8627 NEW BEST:: SOT 48474823 SOS 10419375 HAS SOPS 10419375 HAS SOUS 6868329 HAS SOUPS 6868329 WITH SCORE 6878748.375
AT ITER 8701 NEW BEST:: SOT 48474952 SOS 10419192 HAS SOPS 10419192 HAS SOUS 6868146 HAS SOUPS 6868146 WITH SCORE 6878565.192
AT ITER 8707 NEW BEST:: SOT 48474088 SOS 10415818 HAS SOPS 10415818 HAS SOUS 6866677 HAS SOUPS 6866677 WITH SCORE 6877092.818
AT ITER 8768 NEW BEST:: SOT 48473780 SOS 10415202 HAS SOPS 10415202 HAS SOUS 6866369 HAS SOUPS 6866369 WITH SCORE 6876784.202
AT ITER 8792 NEW BEST:: SOT 48473454 SOS 10416121 HAS SOPS 10416121 HAS SOUS 6865974 HAS SOUPS 6865974 WITH SCORE 6876390.121
AT ITER 8813 NEW BEST:: SOT 48473306 SOS 10415825 HAS SOPS 10415825 HAS SOUS 6865826 HAS SOUPS 6865826 WITH SCORE 6876241.825
AT ITER 8818 NEW BEST:: SOT 48472779 SOS 10414772 HAS SOPS 10414772 HAS SOUS 6864773 HAS SOUPS 6864773 WITH SCORE 6875187.772
AT ITER 8862 NEW BEST:: SOT 48472779 SOS 10414772 HAS SOPS 10414772 HAS SOUS 6863906 HAS SOUPS 6863906 WITH SCORE 6874320.772
AT ITER 8863 NEW BEST:: SOT 48471709 SOS 10337758 HAS SOPS 10337758 HAS SOUS 6862012 HAS SOUPS 6862012 WITH SCORE 6872349.758
AT ITER 8864 NEW BEST:: SOT 48471651 SOS 10337642 HAS SOPS 10337642 HAS SOUS 6861896 HAS SOUPS 6861896 WITH SCORE 6872233.642
AT ITER 8902 NEW BEST:: SOT 48471440 SOS 10337850 HAS SOPS 10337850 HAS SOUS 6861684 HAS SOUPS 6861684 WITH SCORE 6872021.85
AT ITER 8919 NEW BEST:: SOT 48470417 SOS 10340377 HAS SOPS 10340377 HAS SOUS 6860671 HAS SOUPS 6860671 WITH SCORE 6871011.377
AT ITER 8925 NEW BEST:: SOT 48469457 SOS 10339893 HAS SOPS 10339893 HAS SOUS 6860190 HAS SOUPS 6860190 WITH SCORE 6870529.893
AT ITER 8926 NEW BEST:: SOT 48469429 SOS 10339375 HAS SOPS 10339375 HAS SOUS 6859903 HAS SOUPS 6859903 WITH SCORE 6870242.375
AT ITER 8933 NEW BEST:: SOT 48468729 SOS 10335875 HAS SOPS 10335875 HAS SOUS 6858503 HAS SOUPS 6858503 WITH SCORE 6868838.875
AT ITER 8941 NEW BEST:: SOT 48468729 SOS 10335068 HAS SOPS 10335068 HAS SOUS 6858274 HAS SOUPS 6858274 WITH SCORE 6868609.068
AT ITER 8950 NEW BEST:: SOT 48468729 SOS 10334760 HAS SOPS 10334760 HAS SOUS 6857966 HAS SOUPS 6857966 WITH SCORE 6868300.76
AT ITER 8980 NEW BEST:: SOT 48468728 SOS 10334758 HAS SOPS 10334758 HAS SOUS 6857964 HAS SOUPS 6857964 WITH SCORE 6868298.758
AT ITER 8983 NEW BEST:: SOT 48468907 SOS 10335116 HAS SOPS 10335116 HAS SOUS 6857740 HAS SOUPS 6857740 WITH SCORE 6868075.116
AT ITER 8997 NEW BEST:: SOT 48468460 SOS 10331540 HAS SOPS 10331540 HAS SOUS 6856893 HAS SOUPS 6856893 WITH SCORE 6867224.54
AT ITER 9000 NEW BEST:: SOT 48468310 SOS 10331390 HAS SOPS 10331390 HAS SOUS 6856743 HAS SOUPS 6856743 WITH SCORE 6867074.39
AT ITER 9019 NEW BEST:: SOT 48468310 SOS 10332154 HAS SOPS 10332154 HAS SOUS 6856742 HAS SOUPS 6856742 WITH SCORE 6867074.154
AT ITER 9020 NEW BEST:: SOT 48467997 SOS 10331528 HAS SOPS 10331528 HAS SOUS 6855826 HAS SOUPS 6855826 WITH SCORE 6866157.528
AT ITER 9023 NEW BEST:: SOT 48467980 SOS 10331494 HAS SOPS 10331494 HAS SOUS 6855792 HAS SOUPS 6855792 WITH SCORE 6866123.494
AT ITER 9027 NEW BEST:: SOT 48467248 SOS 10330849 HAS SOPS 10330849 HAS SOUS 6855060 HAS SOUPS 6855060 WITH SCORE 6865390.849
AT ITER 9033 NEW BEST:: SOT 48466559 SOS 10330156 HAS SOPS 10330156 HAS SOUS 6854370 HAS SOUPS 6854370 WITH SCORE 6864700.156
AT ITER 9059 NEW BEST:: SOT 48466559 SOS 10329952 HAS SOPS 10329952 HAS SOUS 6854370 HAS SOUPS 6854370 WITH SCORE 6864699.952
AT ITER 9061 NEW BEST:: SOT 48466559 SOS 10329380 HAS SOPS 10329380 HAS SOUS 6853798 HAS SOUPS 6853798 WITH SCORE 6864127.38
AT ITER 9069 NEW BEST:: SOT 48466389 SOS 10329210 HAS SOPS 10329210 HAS SOUS 6853628 HAS SOUPS 6853628 WITH SCORE 6863957.21
AT ITER 9080 NEW BEST:: SOT 48463821 SOS 10327926 HAS SOPS 10327926 HAS SOUS 6852344 HAS SOUPS 6852344 WITH SCORE 6862671.926
AT ITER 9094 NEW BEST:: SOT 48463541 SOS 10327366 HAS SOPS 10327366 HAS SOUS 6850836 HAS SOUPS 6850836 WITH SCORE 6861163.366
AT ITER 9097 NEW BEST:: SOT 48463037 SOS 10326358 HAS SOPS 10326358 HAS SOUS 6849828 HAS SOUPS 6849828 WITH SCORE 6860154.358
AT ITER 9100 NEW BEST:: SOT 48461847 SOS 10320408 HAS SOPS 10320408 HAS SOUS 6847448 HAS SOUPS 6847448 WITH SCORE 6857768.408
AT ITER 9136 NEW BEST:: SOT 48461847 SOS 10319862 HAS SOPS 10319862 HAS SOUS 6847266 HAS SOUPS 6847266 WITH SCORE 6857585.862
AT ITER 9142 NEW BEST:: SOT 48461585 SOS 10319896 HAS SOPS 10319896 HAS SOUS 6847004 HAS SOUPS 6847004 WITH SCORE 6857323.896
AT ITER 9191 NEW BEST:: SOT 48461467 SOS 10319660 HAS SOPS 10319660 HAS SOUS 6846768 HAS SOUPS 6846768 WITH SCORE 6857087.66
AT ITER 9200 NEW BEST:: SOT 48460623 SOS 10318545 HAS SOPS 10318545 HAS SOUS 6846100 HAS SOUPS 6846100 WITH SCORE 6856418.545
AT ITER 9201 NEW BEST:: SOT 48458535 SOS 10318155 HAS SOPS 10318155 HAS SOUS 6845710 HAS SOUPS 6845710 WITH SCORE 6856028.155
AT ITER 9217 NEW BEST:: SOT 48458535 SOS 10318525 HAS SOPS 10318525 HAS SOUS 6845578 HAS SOUPS 6845578 WITH SCORE 6855896.525
AT ITER 9222 NEW BEST:: SOT 48457017 SOS 10318036 HAS SOPS 10318036 HAS SOUS 6845089 HAS SOUPS 6845089 WITH SCORE 6855407.036
AT ITER 9255 NEW BEST:: SOT 48457017 SOS 10316641 HAS SOPS 10316641 HAS SOUS 6845089 HAS SOUPS 6845089 WITH SCORE 6855405.641
AT ITER 9267 NEW BEST:: SOT 48454585 SOS 10314173 HAS SOPS 10314173 HAS SOUS 6842621 HAS SOUPS 6842621 WITH SCORE 6852935.173
AT ITER 9275 NEW BEST:: SOT 48454435 SOS 10313873 HAS SOPS 10313873 HAS SOUS 6842321 HAS SOUPS 6842321 WITH SCORE 6852634.873
AT ITER 9289 NEW BEST:: SOT 48453390 SOS 10311783 HAS SOPS 10311783 HAS SOUS 6839930 HAS SOUPS 6839930 WITH SCORE 6850241.783
AT ITER 9291 NEW BEST:: SOT 48452967 SOS 10312203 HAS SOPS 10312203 HAS SOUS 6839928 HAS SOUPS 6839928 WITH SCORE 6850240.203
AT ITER 9328 NEW BEST:: SOT 48453036 SOS 10312341 HAS SOPS 10312341 HAS SOUS 6839523 HAS SOUPS 6839523 WITH SCORE 6849835.341
AT ITER 9333 NEW BEST:: SOT 48449541 SOS 10313049 HAS SOPS 10313049 HAS SOUS 6837515 HAS SOUPS 6837515 WITH SCORE 6847828.049
AT ITER 9354 NEW BEST:: SOT 48449541 SOS 10313049 HAS SOPS 10313049 HAS SOUS 6836744 HAS SOUPS 6836744 WITH SCORE 6847057.049
AT ITER 9363 NEW BEST:: SOT 48449382 SOS 10312943 HAS SOPS 10312943 HAS SOUS 6836482 HAS SOUPS 6836482 WITH SCORE 6846794.943
AT ITER 9369 NEW BEST:: SOT 48450145 SOS 10312762 HAS SOPS 10312762 HAS SOUS 6835797 HAS SOUPS 6835797 WITH SCORE 6846109.762
AT ITER 9405 NEW BEST:: SOT 48449965 SOS 10312402 HAS SOPS 10312402 HAS SOUS 6835437 HAS SOUPS 6835437 WITH SCORE 6845749.402
AT ITER 9412 NEW BEST:: SOT 48449965 SOS 10312402 HAS SOPS 10312402 HAS SOUS 6835436 HAS SOUPS 6835436 WITH SCORE 6845748.402
AT ITER 9433 NEW BEST:: SOT 48449964 SOS 10312400 HAS SOPS 10312400 HAS SOUS 6835434 HAS SOUPS 6835434 WITH SCORE 6845746.4
AT ITER 9461 NEW BEST:: SOT 48449963 SOS 10312398 HAS SOPS 10312398 HAS SOUS 6835432 HAS SOUPS 6835432 WITH SCORE 6845744.398
AT ITER 9499 NEW BEST:: SOT 48449423 SOS 10261134 HAS SOPS 10261134 HAS SOUS 6834892 HAS SOUPS 6834892 WITH SCORE 6845153.134
AT ITER 9510 NEW BEST:: SOT 48449422 SOS 10261132 HAS SOPS 10261132 HAS SOUS 6834890 HAS SOUPS 6834890 WITH SCORE 6845151.132
AT ITER 9549 NEW BEST:: SOT 48449421 SOS 10261130 HAS SOPS 10261130 HAS SOUS 6834888 HAS SOUPS 6834888 WITH SCORE 6845149.13
AT ITER 9633 NEW BEST:: SOT 48449160 SOS 10260608 HAS SOPS 10260608 HAS SOUS 6834203 HAS SOUPS 6834203 WITH SCORE 6844463.608
AT ITER 9637 NEW BEST:: SOT 48448875 SOS 10260418 HAS SOPS 10260418 HAS SOUS 6834013 HAS SOUPS 6834013 WITH SCORE 6844273.418
AT ITER 9673 NEW BEST:: SOT 48447305 SOS 10261283 HAS SOPS 10261283 HAS SOUS 6833778 HAS SOUPS 6833778 WITH SCORE 6844039.283
AT ITER 9710 NEW BEST:: SOT 48446463 SOS 10260441 HAS SOPS 10260441 HAS SOUS 6832936 HAS SOUPS 6832936 WITH SCORE 6843196.441
AT ITER 9721 NEW BEST:: SOT 48446206 SOS 10259927 HAS SOPS 10259927 HAS SOUS 6832710 HAS SOUPS 6832710 WITH SCORE 6842969.927
AT ITER 9731 NEW BEST:: SOT 48445433 SOS 10259205 HAS SOPS 10259205 HAS SOUS 6831988 HAS SOUPS 6831988 WITH SCORE 6842247.205
AT ITER 9764 NEW BEST:: SOT 48444773 SOS 10259421 HAS SOPS 10259421 HAS SOUS 6831900 HAS SOUPS 6831900 WITH SCORE 6842159.421
AT ITER 9773 NEW BEST:: SOT 48444772 SOS 10259419 HAS SOPS 10259419 HAS SOUS 6831898 HAS SOUPS 6831898 WITH SCORE 6842157.419
AT ITER 9781 NEW BEST:: SOT 48444425 SOS 10259112 HAS SOPS 10259112 HAS SOUS 6831551 HAS SOUPS 6831551 WITH SCORE 6841810.112
AT ITER 9783 NEW BEST:: SOT 48444327 SOS 10259014 HAS SOPS 10259014 HAS SOUS 6831453 HAS SOUPS 6831453 WITH SCORE 6841712.014
AT ITER 9789 NEW BEST:: SOT 48444215 SOS 10258454 HAS SOPS 10258454 HAS SOUS 6831229 HAS SOUPS 6831229 WITH SCORE 6841487.454
AT ITER 9833 NEW BEST:: SOT 48443592 SOS 10263149 HAS SOPS 10263149 HAS SOUS 6831196 HAS SOUPS 6831196 WITH SCORE 6841459.149
AT ITER 9857 NEW BEST:: SOT 48442633 SOS 10263544 HAS SOPS 10263544 HAS SOUS 6831152 HAS SOUPS 6831152 WITH SCORE 6841415.544
AT ITER 9858 NEW BEST:: SOT 48443374 SOS 10265026 HAS SOPS 10265026 HAS SOUS 6831018 HAS SOUPS 6831018 WITH SCORE 6841283.026
AT ITER 9874 NEW BEST:: SOT 48442760 SOS 10274337 HAS SOPS 10274337 HAS SOUS 6829858 HAS SOUPS 6829858 WITH SCORE 6840132.337
AT ITER 9875 NEW BEST:: SOT 48442760 SOS 10274337 HAS SOPS 10274337 HAS SOUS 6829030 HAS SOUPS 6829030 WITH SCORE 6839304.337
AT ITER 9891 NEW BEST:: SOT 48443115 SOS 10273709 HAS SOPS 10273709 HAS SOUS 6828893 HAS SOUPS 6828893 WITH SCORE 6839166.709
AT ITER 9894 NEW BEST:: SOT 48443115 SOS 10273709 HAS SOPS 10273709 HAS SOUS 6828289 HAS SOUPS 6828289 WITH SCORE 6838562.709
AT ITER 9896 NEW BEST:: SOT 48443115 SOS 10273699 HAS SOPS 10273699 HAS SOUS 6828284 HAS SOUPS 6828284 WITH SCORE 6838557.699
AT ITER 9911 NEW BEST:: SOT 48443092 SOS 10273653 HAS SOPS 10273653 HAS SOUS 6828238 HAS SOUPS 6828238 WITH SCORE 6838511.653
AT ITER 9935 NEW BEST:: SOT 48442979 SOS 10273427 HAS SOPS 10273427 HAS SOUS 6828012 HAS SOUPS 6828012 WITH SCORE 6838285.427
AT ITER 9945 NEW BEST:: SOT 48442979 SOS 10273248 HAS SOPS 10273248 HAS SOUS 6828012 HAS SOUPS 6828012 WITH SCORE 6838285.248
AT ITER 9964 NEW BEST:: SOT 48442948 SOS 10273155 HAS SOPS 10273155 HAS SOUS 6827950 HAS SOUPS 6827950 WITH SCORE 6838223.155
AT ITER 9982 NEW BEST:: SOT 48442230 SOS 10273873 HAS SOPS 10273873 HAS SOUS 6826514 HAS SOUPS 6826514 WITH SCORE 6836787.873
AT ITER 9992 NEW BEST:: SOT 48440962 SOS 10275137 HAS SOPS 10275137 HAS SOUS 6823977 HAS SOUPS 6823977 WITH SCORE 6834252.137
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15356024 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16113556 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-3b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DLCflexbar-PT-3b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484300536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-3b.tgz
mv DLCflexbar-PT-3b 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 '
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 ;