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-167814484300520.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-2b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484300520
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 7.3K Feb 25 15:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 15:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 15:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K 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.4K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K 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 12K Feb 25 15:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 15:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 25 15:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 15:02 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 1.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 1678382914885

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-2b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 17:28:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 17:28:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 17:28:36] [INFO ] Load time of PNML (sax parser for PT used): 195 ms
[2023-03-09 17:28:36] [INFO ] Transformed 4456 places.
[2023-03-09 17:28:36] [INFO ] Transformed 6272 transitions.
[2023-03-09 17:28:36] [INFO ] Found NUPN structural information;
[2023-03-09 17:28:36] [INFO ] Parsed PT model containing 4456 places and 6272 transitions and 16411 arcs in 339 ms.
[2023-03-09 17:28:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4456 places, 6272 transitions and 16411 arcs took 44 ms.
Total runtime 411 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 2b
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: 4456 places, 6272 transitions, 16411 arcs.
AT ITER 0 NEW BEST:: SOT 17497634 SOS 3463966 HAS SOPS 3463966 HAS SOUS 2667365 HAS SOUPS 2667365 WITH SCORE 2670828.966
AT ITER 4 NEW BEST:: SOT 17497634 SOS 3464839 HAS SOPS 3464839 HAS SOUS 2667364 HAS SOUPS 2667364 WITH SCORE 2670828.839
AT ITER 46 NEW BEST:: SOT 17496745 SOS 3463061 HAS SOPS 3463061 HAS SOUS 2665586 HAS SOUPS 2665586 WITH SCORE 2669049.061
AT ITER 70 NEW BEST:: SOT 17496744 SOS 3463059 HAS SOPS 3463059 HAS SOUS 2665584 HAS SOUPS 2665584 WITH SCORE 2669047.059
AT ITER 91 NEW BEST:: SOT 17496068 SOS 3462721 HAS SOPS 3462721 HAS SOUS 2665246 HAS SOUPS 2665246 WITH SCORE 2668708.721
AT ITER 103 NEW BEST:: SOT 17495680 SOS 3461945 HAS SOPS 3461945 HAS SOUS 2664369 HAS SOUPS 2664369 WITH SCORE 2667830.945
AT ITER 128 NEW BEST:: SOT 17495190 SOS 3461797 HAS SOPS 3461797 HAS SOUS 2664221 HAS SOUPS 2664221 WITH SCORE 2667682.797
AT ITER 129 NEW BEST:: SOT 17495129 SOS 3461736 HAS SOPS 3461736 HAS SOUS 2664160 HAS SOUPS 2664160 WITH SCORE 2667621.736
AT ITER 162 NEW BEST:: SOT 17481843 SOS 3459407 HAS SOPS 3459407 HAS SOUS 2651493 HAS SOUPS 2651493 WITH SCORE 2654952.407
AT ITER 169 NEW BEST:: SOT 17481077 SOS 3458637 HAS SOPS 3458637 HAS SOUS 2650726 HAS SOUPS 2650726 WITH SCORE 2654184.637
AT ITER 177 NEW BEST:: SOT 17480787 SOS 3458347 HAS SOPS 3458347 HAS SOUS 2650436 HAS SOUPS 2650436 WITH SCORE 2653894.347
AT ITER 189 NEW BEST:: SOT 17480379 SOS 3456307 HAS SOPS 3456307 HAS SOUS 2649620 HAS SOUPS 2649620 WITH SCORE 2653076.307
AT ITER 202 NEW BEST:: SOT 17479838 SOS 3460094 HAS SOPS 3460094 HAS SOUS 2649079 HAS SOUPS 2649079 WITH SCORE 2652539.094
AT ITER 207 NEW BEST:: SOT 17476435 SOS 3456690 HAS SOPS 3456690 HAS SOUS 2645675 HAS SOUPS 2645675 WITH SCORE 2649131.69
AT ITER 208 NEW BEST:: SOT 17476435 SOS 3455802 HAS SOPS 3455802 HAS SOUS 2645379 HAS SOUPS 2645379 WITH SCORE 2648834.802
AT ITER 219 NEW BEST:: SOT 17476435 SOS 3455732 HAS SOPS 3455732 HAS SOUS 2645309 HAS SOUPS 2645309 WITH SCORE 2648764.732
AT ITER 222 NEW BEST:: SOT 17474009 SOS 3450980 HAS SOPS 3450980 HAS SOUS 2642908 HAS SOUPS 2642908 WITH SCORE 2646358.98
AT ITER 237 NEW BEST:: SOT 17468176 SOS 3448440 HAS SOPS 3448440 HAS SOUS 2639291 HAS SOUPS 2639291 WITH SCORE 2642739.44
AT ITER 249 NEW BEST:: SOT 17467994 SOS 3447904 HAS SOPS 3447904 HAS SOUS 2638755 HAS SOUPS 2638755 WITH SCORE 2642202.904
AT ITER 271 NEW BEST:: SOT 17467762 SOS 3447672 HAS SOPS 3447672 HAS SOUS 2638523 HAS SOUPS 2638523 WITH SCORE 2641970.672
AT ITER 285 NEW BEST:: SOT 17467111 SOS 3446370 HAS SOPS 3446370 HAS SOUS 2636910 HAS SOUPS 2636910 WITH SCORE 2640356.37
AT ITER 318 NEW BEST:: SOT 17466884 SOS 3446441 HAS SOPS 3446441 HAS SOUS 2636682 HAS SOUPS 2636682 WITH SCORE 2640128.441
AT ITER 329 NEW BEST:: SOT 17466751 SOS 3446175 HAS SOPS 3446175 HAS SOUS 2636416 HAS SOUPS 2636416 WITH SCORE 2639862.175
AT ITER 354 NEW BEST:: SOT 17466671 SOS 3446015 HAS SOPS 3446015 HAS SOUS 2636256 HAS SOUPS 2636256 WITH SCORE 2639702.015
AT ITER 355 NEW BEST:: SOT 17466542 SOS 3445886 HAS SOPS 3445886 HAS SOUS 2636141 HAS SOUPS 2636141 WITH SCORE 2639586.886
AT ITER 366 NEW BEST:: SOT 17466437 SOS 3445676 HAS SOPS 3445676 HAS SOUS 2635711 HAS SOUPS 2635711 WITH SCORE 2639156.676
AT ITER 386 NEW BEST:: SOT 17466437 SOS 3445604 HAS SOPS 3445604 HAS SOUS 2635639 HAS SOUPS 2635639 WITH SCORE 2639084.604
AT ITER 390 NEW BEST:: SOT 17466437 SOS 3445449 HAS SOPS 3445449 HAS SOUS 2635639 HAS SOUPS 2635639 WITH SCORE 2639084.449
AT ITER 410 NEW BEST:: SOT 17465798 SOS 3445368 HAS SOPS 3445368 HAS SOUS 2635558 HAS SOUPS 2635558 WITH SCORE 2639003.368
AT ITER 423 NEW BEST:: SOT 17466049 SOS 3445269 HAS SOPS 3445269 HAS SOUS 2635459 HAS SOUPS 2635459 WITH SCORE 2638904.269
AT ITER 459 NEW BEST:: SOT 17466048 SOS 3445084 HAS SOPS 3445084 HAS SOUS 2635274 HAS SOUPS 2635274 WITH SCORE 2638719.084
AT ITER 493 NEW BEST:: SOT 17465739 SOS 3444771 HAS SOPS 3444771 HAS SOUS 2634964 HAS SOUPS 2634964 WITH SCORE 2638408.771
AT ITER 498 NEW BEST:: SOT 17464766 SOS 3442825 HAS SOPS 3442825 HAS SOUS 2633018 HAS SOUPS 2633018 WITH SCORE 2636460.825
AT ITER 499 NEW BEST:: SOT 17464766 SOS 3441862 HAS SOPS 3441862 HAS SOUS 2632697 HAS SOUPS 2632697 WITH SCORE 2636138.862
AT ITER 510 NEW BEST:: SOT 17464733 SOS 3441829 HAS SOPS 3441829 HAS SOUS 2632664 HAS SOUPS 2632664 WITH SCORE 2636105.829
AT ITER 515 NEW BEST:: SOT 17465002 SOS 3442016 HAS SOPS 3442016 HAS SOUS 2632581 HAS SOUPS 2632581 WITH SCORE 2636023.016
AT ITER 538 NEW BEST:: SOT 17464595 SOS 3441605 HAS SOPS 3441605 HAS SOUS 2632173 HAS SOUPS 2632173 WITH SCORE 2635614.605
AT ITER 544 NEW BEST:: SOT 17464490 SOS 3440924 HAS SOPS 3440924 HAS SOUS 2631917 HAS SOUPS 2631917 WITH SCORE 2635357.924
AT ITER 572 NEW BEST:: SOT 17464222 SOS 3440388 HAS SOPS 3440388 HAS SOUS 2631381 HAS SOUPS 2631381 WITH SCORE 2634821.388
AT ITER 574 NEW BEST:: SOT 17464221 SOS 3440386 HAS SOPS 3440386 HAS SOUS 2631379 HAS SOUPS 2631379 WITH SCORE 2634819.386
AT ITER 577 NEW BEST:: SOT 17464221 SOS 3440329 HAS SOPS 3440329 HAS SOUS 2631322 HAS SOUPS 2631322 WITH SCORE 2634762.329
AT ITER 599 NEW BEST:: SOT 17464406 SOS 3440699 HAS SOPS 3440699 HAS SOUS 2630626 HAS SOUPS 2630626 WITH SCORE 2634066.699
AT ITER 602 NEW BEST:: SOT 17464234 SOS 3440355 HAS SOPS 3440355 HAS SOUS 2630282 HAS SOUPS 2630282 WITH SCORE 2633722.355
AT ITER 637 NEW BEST:: SOT 17463919 SOS 3438780 HAS SOPS 3438780 HAS SOUS 2629652 HAS SOUPS 2629652 WITH SCORE 2633090.78
AT ITER 649 NEW BEST:: SOT 17463430 SOS 3438458 HAS SOPS 3438458 HAS SOUS 2629330 HAS SOUPS 2629330 WITH SCORE 2632768.458
AT ITER 651 NEW BEST:: SOT 17462940 SOS 3438218 HAS SOPS 3438218 HAS SOUS 2629090 HAS SOUPS 2629090 WITH SCORE 2632528.218
AT ITER 687 NEW BEST:: SOT 17462438 SOS 3437963 HAS SOPS 3437963 HAS SOUS 2628838 HAS SOUPS 2628838 WITH SCORE 2632275.963
AT ITER 746 NEW BEST:: SOT 17462043 SOS 3437568 HAS SOPS 3437568 HAS SOUS 2628443 HAS SOUPS 2628443 WITH SCORE 2631880.568
AT ITER 771 NEW BEST:: SOT 17462042 SOS 3437566 HAS SOPS 3437566 HAS SOUS 2628441 HAS SOUPS 2628441 WITH SCORE 2631878.566
AT ITER 787 NEW BEST:: SOT 17461942 SOS 3437466 HAS SOPS 3437466 HAS SOUS 2628441 HAS SOUPS 2628441 WITH SCORE 2631878.466
AT ITER 813 NEW BEST:: SOT 17461555 SOS 3436563 HAS SOPS 3436563 HAS SOUS 2627925 HAS SOUPS 2627925 WITH SCORE 2631361.563
AT ITER 846 NEW BEST:: SOT 17461555 SOS 3436446 HAS SOPS 3436446 HAS SOUS 2627808 HAS SOUPS 2627808 WITH SCORE 2631244.446
AT ITER 883 NEW BEST:: SOT 17460807 SOS 3434950 HAS SOPS 3434950 HAS SOUS 2626312 HAS SOUPS 2626312 WITH SCORE 2629746.95
AT ITER 911 NEW BEST:: SOT 17460244 SOS 3433824 HAS SOPS 3433824 HAS SOUS 2625186 HAS SOUPS 2625186 WITH SCORE 2628619.824
AT ITER 930 NEW BEST:: SOT 17459872 SOS 3433814 HAS SOPS 3433814 HAS SOUS 2624977 HAS SOUPS 2624977 WITH SCORE 2628410.814
AT ITER 951 NEW BEST:: SOT 17459792 SOS 3433654 HAS SOPS 3433654 HAS SOUS 2624817 HAS SOUPS 2624817 WITH SCORE 2628250.654
AT ITER 991 NEW BEST:: SOT 17459686 SOS 3433547 HAS SOPS 3433547 HAS SOUS 2624710 HAS SOUPS 2624710 WITH SCORE 2628143.547
AT ITER 1009 NEW BEST:: SOT 17459575 SOS 3432992 HAS SOPS 3432992 HAS SOUS 2624488 HAS SOUPS 2624488 WITH SCORE 2627920.992
AT ITER 1028 NEW BEST:: SOT 17457374 SOS 3436038 HAS SOPS 3436038 HAS SOUS 2624419 HAS SOUPS 2624419 WITH SCORE 2627855.038
AT ITER 1036 NEW BEST:: SOT 17457614 SOS 3435982 HAS SOPS 3435982 HAS SOUS 2624363 HAS SOUPS 2624363 WITH SCORE 2627798.982
AT ITER 1040 NEW BEST:: SOT 17457366 SOS 3436227 HAS SOPS 3436227 HAS SOUS 2624361 HAS SOUPS 2624361 WITH SCORE 2627797.227
AT ITER 1053 NEW BEST:: SOT 17456993 SOS 3435955 HAS SOPS 3435955 HAS SOUS 2624055 HAS SOUPS 2624055 WITH SCORE 2627490.955
AT ITER 1062 NEW BEST:: SOT 17456993 SOS 3435955 HAS SOPS 3435955 HAS SOUS 2624054 HAS SOUPS 2624054 WITH SCORE 2627489.955
AT ITER 1094 NEW BEST:: SOT 17456824 SOS 3435786 HAS SOPS 3435786 HAS SOUS 2623885 HAS SOUPS 2623885 WITH SCORE 2627320.786
AT ITER 1100 NEW BEST:: SOT 17456824 SOS 3435678 HAS SOPS 3435678 HAS SOUS 2623831 HAS SOUPS 2623831 WITH SCORE 2627266.678
AT ITER 1119 NEW BEST:: SOT 17455911 SOS 3434761 HAS SOPS 3434761 HAS SOUS 2622917 HAS SOUPS 2622917 WITH SCORE 2626351.761
AT ITER 1150 NEW BEST:: SOT 17455911 SOS 3434761 HAS SOPS 3434761 HAS SOUS 2622352 HAS SOUPS 2622352 WITH SCORE 2625786.761
AT ITER 1158 NEW BEST:: SOT 17455911 SOS 3434761 HAS SOPS 3434761 HAS SOUS 2621354 HAS SOUPS 2621354 WITH SCORE 2624788.761
AT ITER 1189 NEW BEST:: SOT 17455327 SOS 3434177 HAS SOPS 3434177 HAS SOUS 2620770 HAS SOUPS 2620770 WITH SCORE 2624204.177
AT ITER 1205 NEW BEST:: SOT 17455327 SOS 3433990 HAS SOPS 3433990 HAS SOUS 2620583 HAS SOUPS 2620583 WITH SCORE 2624016.99
AT ITER 1227 NEW BEST:: SOT 17455254 SOS 3433844 HAS SOPS 3433844 HAS SOUS 2620510 HAS SOUPS 2620510 WITH SCORE 2623943.844
AT ITER 1242 NEW BEST:: SOT 17449498 SOS 3446441 HAS SOPS 3446441 HAS SOUS 2618832 HAS SOUPS 2618832 WITH SCORE 2622278.441
AT ITER 1253 NEW BEST:: SOT 17449030 SOS 3445505 HAS SOPS 3445505 HAS SOUS 2617519 HAS SOUPS 2617519 WITH SCORE 2620964.505
AT ITER 1260 NEW BEST:: SOT 17448205 SOS 3444905 HAS SOPS 3444905 HAS SOUS 2616919 HAS SOUPS 2616919 WITH SCORE 2620363.905
AT ITER 1282 NEW BEST:: SOT 17448628 SOS 3445112 HAS SOPS 3445112 HAS SOUS 2616703 HAS SOUPS 2616703 WITH SCORE 2620148.112
AT ITER 1291 NEW BEST:: SOT 17448199 SOS 3445110 HAS SOPS 3445110 HAS SOUS 2616701 HAS SOUPS 2616701 WITH SCORE 2620146.11
AT ITER 1295 NEW BEST:: SOT 17448199 SOS 3444726 HAS SOPS 3444726 HAS SOUS 2616509 HAS SOUPS 2616509 WITH SCORE 2619953.726
AT ITER 1306 NEW BEST:: SOT 17448161 SOS 3444723 HAS SOPS 3444723 HAS SOUS 2616508 HAS SOUPS 2616508 WITH SCORE 2619952.723
AT ITER 1349 NEW BEST:: SOT 17447715 SOS 3444273 HAS SOPS 3444273 HAS SOUS 2616061 HAS SOUPS 2616061 WITH SCORE 2619505.273
AT ITER 1361 NEW BEST:: SOT 17446713 SOS 3440127 HAS SOPS 3440127 HAS SOUS 2614345 HAS SOUPS 2614345 WITH SCORE 2617785.127
AT ITER 1397 NEW BEST:: SOT 17446637 SOS 3439183 HAS SOPS 3439183 HAS SOUS 2614046 HAS SOUPS 2614046 WITH SCORE 2617485.183
AT ITER 1404 NEW BEST:: SOT 17446548 SOS 3439005 HAS SOPS 3439005 HAS SOUS 2613868 HAS SOUPS 2613868 WITH SCORE 2617307.005
AT ITER 1415 NEW BEST:: SOT 17446032 SOS 3437132 HAS SOPS 3437132 HAS SOUS 2613213 HAS SOUPS 2613213 WITH SCORE 2616650.132
AT ITER 1416 NEW BEST:: SOT 17444924 SOS 3436578 HAS SOPS 3436578 HAS SOUS 2612659 HAS SOUPS 2612659 WITH SCORE 2616095.578
AT ITER 1442 NEW BEST:: SOT 17444351 SOS 3436001 HAS SOPS 3436001 HAS SOUS 2612085 HAS SOUPS 2612085 WITH SCORE 2615521.001
AT ITER 1463 NEW BEST:: SOT 17444224 SOS 3435747 HAS SOPS 3435747 HAS SOUS 2611831 HAS SOUPS 2611831 WITH SCORE 2615266.747
AT ITER 1466 NEW BEST:: SOT 17443762 SOS 3434823 HAS SOPS 3434823 HAS SOUS 2610907 HAS SOUPS 2610907 WITH SCORE 2614341.823
AT ITER 1474 NEW BEST:: SOT 17443243 SOS 3433785 HAS SOPS 3433785 HAS SOUS 2609869 HAS SOUPS 2609869 WITH SCORE 2613302.785
AT ITER 1479 NEW BEST:: SOT 17442787 SOS 3432873 HAS SOPS 3432873 HAS SOUS 2609413 HAS SOUPS 2609413 WITH SCORE 2612845.873
AT ITER 1560 NEW BEST:: SOT 17442787 SOS 3432818 HAS SOPS 3432818 HAS SOUS 2609411 HAS SOUPS 2609411 WITH SCORE 2612843.818
AT ITER 1570 NEW BEST:: SOT 17442046 SOS 3429113 HAS SOPS 3429113 HAS SOUS 2607929 HAS SOUPS 2607929 WITH SCORE 2611358.113
AT ITER 1574 NEW BEST:: SOT 17441875 SOS 3428942 HAS SOPS 3428942 HAS SOUS 2607587 HAS SOUPS 2607587 WITH SCORE 2611015.942
AT ITER 1577 NEW BEST:: SOT 17441418 SOS 3428028 HAS SOPS 3428028 HAS SOUS 2606673 HAS SOUPS 2606673 WITH SCORE 2610101.028
AT ITER 1586 NEW BEST:: SOT 17440684 SOS 3428075 HAS SOPS 3428075 HAS SOUS 2606444 HAS SOUPS 2606444 WITH SCORE 2609872.075
AT ITER 1590 NEW BEST:: SOT 17440683 SOS 3428073 HAS SOPS 3428073 HAS SOUS 2606442 HAS SOUPS 2606442 WITH SCORE 2609870.073
AT ITER 1593 NEW BEST:: SOT 17440683 SOS 3428482 HAS SOPS 3428482 HAS SOUS 2606440 HAS SOUPS 2606440 WITH SCORE 2609868.482
AT ITER 1609 NEW BEST:: SOT 17440325 SOS 3427765 HAS SOPS 3427765 HAS SOUS 2605723 HAS SOUPS 2605723 WITH SCORE 2609150.765
AT ITER 1634 NEW BEST:: SOT 17440325 SOS 3427765 HAS SOPS 3427765 HAS SOUS 2604858 HAS SOUPS 2604858 WITH SCORE 2608285.765
AT ITER 1642 NEW BEST:: SOT 17440179 SOS 3427400 HAS SOPS 3427400 HAS SOUS 2604712 HAS SOUPS 2604712 WITH SCORE 2608139.4
AT ITER 1644 NEW BEST:: SOT 17439746 SOS 3425967 HAS SOPS 3425967 HAS SOUS 2604029 HAS SOUPS 2604029 WITH SCORE 2607454.967
AT ITER 1656 NEW BEST:: SOT 17439291 SOS 3424946 HAS SOPS 3424946 HAS SOUS 2603008 HAS SOUPS 2603008 WITH SCORE 2606432.946
AT ITER 1660 NEW BEST:: SOT 17439286 SOS 3424936 HAS SOPS 3424936 HAS SOUS 2602998 HAS SOUPS 2602998 WITH SCORE 2606422.936
AT ITER 1663 NEW BEST:: SOT 17438334 SOS 3424460 HAS SOPS 3424460 HAS SOUS 2602522 HAS SOUPS 2602522 WITH SCORE 2605946.46
AT ITER 1665 NEW BEST:: SOT 17438714 SOS 3424667 HAS SOPS 3424667 HAS SOUS 2602348 HAS SOUPS 2602348 WITH SCORE 2605772.667
AT ITER 1675 NEW BEST:: SOT 17438363 SOS 3423965 HAS SOPS 3423965 HAS SOUS 2601646 HAS SOUPS 2601646 WITH SCORE 2605069.965
AT ITER 1696 NEW BEST:: SOT 17438241 SOS 3423721 HAS SOPS 3423721 HAS SOUS 2601402 HAS SOUPS 2601402 WITH SCORE 2604825.721
AT ITER 1706 NEW BEST:: SOT 17437134 SOS 3423535 HAS SOPS 3423535 HAS SOUS 2600295 HAS SOUPS 2600295 WITH SCORE 2603718.535
AT ITER 1716 NEW BEST:: SOT 17435444 SOS 3421845 HAS SOPS 3421845 HAS SOUS 2598605 HAS SOUPS 2598605 WITH SCORE 2602026.845
AT ITER 1717 NEW BEST:: SOT 17435240 SOS 3421437 HAS SOPS 3421437 HAS SOUS 2598082 HAS SOUPS 2598082 WITH SCORE 2601503.437
AT ITER 1729 NEW BEST:: SOT 17435026 SOS 3421009 HAS SOPS 3421009 HAS SOUS 2597654 HAS SOUPS 2597654 WITH SCORE 2601075.009
AT ITER 1740 NEW BEST:: SOT 17433948 SOS 3420470 HAS SOPS 3420470 HAS SOUS 2597115 HAS SOUPS 2597115 WITH SCORE 2600535.47
AT ITER 1770 NEW BEST:: SOT 17430385 SOS 3462069 HAS SOPS 3462069 HAS SOUS 2596645 HAS SOUPS 2596645 WITH SCORE 2600107.069
AT ITER 1780 NEW BEST:: SOT 17429750 SOS 3461279 HAS SOPS 3461279 HAS SOUS 2595855 HAS SOUPS 2595855 WITH SCORE 2599316.279
AT ITER 1802 NEW BEST:: SOT 17429749 SOS 3461277 HAS SOPS 3461277 HAS SOUS 2595853 HAS SOUPS 2595853 WITH SCORE 2599314.277
AT ITER 1803 NEW BEST:: SOT 17429816 SOS 3460926 HAS SOPS 3460926 HAS SOUS 2595502 HAS SOUPS 2595502 WITH SCORE 2598962.926
AT ITER 1806 NEW BEST:: SOT 17429351 SOS 3459996 HAS SOPS 3459996 HAS SOUS 2594572 HAS SOUPS 2594572 WITH SCORE 2598031.996
AT ITER 1807 NEW BEST:: SOT 17429351 SOS 3461342 HAS SOPS 3461342 HAS SOUS 2594121 HAS SOUPS 2594121 WITH SCORE 2597582.342
AT ITER 1823 NEW BEST:: SOT 17429313 SOS 3461262 HAS SOPS 3461262 HAS SOUS 2594044 HAS SOUPS 2594044 WITH SCORE 2597505.262
AT ITER 1832 NEW BEST:: SOT 17429309 SOS 3461284 HAS SOPS 3461284 HAS SOUS 2594039 HAS SOUPS 2594039 WITH SCORE 2597500.284
AT ITER 1846 NEW BEST:: SOT 17428998 SOS 3459729 HAS SOPS 3459729 HAS SOUS 2593417 HAS SOUPS 2593417 WITH SCORE 2596876.729
AT ITER 1857 NEW BEST:: SOT 17428925 SOS 3459583 HAS SOPS 3459583 HAS SOUS 2593271 HAS SOUPS 2593271 WITH SCORE 2596730.583
AT ITER 1867 NEW BEST:: SOT 17428862 SOS 3459730 HAS SOPS 3459730 HAS SOUS 2593145 HAS SOUPS 2593145 WITH SCORE 2596604.73
AT ITER 1899 NEW BEST:: SOT 17428782 SOS 3459570 HAS SOPS 3459570 HAS SOUS 2592985 HAS SOUPS 2592985 WITH SCORE 2596444.57
AT ITER 1909 NEW BEST:: SOT 17428782 SOS 3459570 HAS SOPS 3459570 HAS SOUS 2592091 HAS SOUPS 2592091 WITH SCORE 2595550.57
AT ITER 1920 NEW BEST:: SOT 17428782 SOS 3459494 HAS SOPS 3459494 HAS SOUS 2592091 HAS SOUPS 2592091 WITH SCORE 2595550.494
AT ITER 1921 NEW BEST:: SOT 17428605 SOS 3459317 HAS SOPS 3459317 HAS SOUS 2591908 HAS SOUPS 2591908 WITH SCORE 2595367.317
AT ITER 1946 NEW BEST:: SOT 17427779 SOS 3458490 HAS SOPS 3458490 HAS SOUS 2591907 HAS SOUPS 2591907 WITH SCORE 2595365.49
AT ITER 1958 NEW BEST:: SOT 17426850 SOS 3456632 HAS SOPS 3456632 HAS SOUS 2590988 HAS SOUPS 2590988 WITH SCORE 2594444.632
AT ITER 1988 NEW BEST:: SOT 17426202 SOS 3456308 HAS SOPS 3456308 HAS SOUS 2590664 HAS SOUPS 2590664 WITH SCORE 2594120.308
AT ITER 1998 NEW BEST:: SOT 17425688 SOS 3456121 HAS SOPS 3456121 HAS SOUS 2590477 HAS SOUPS 2590477 WITH SCORE 2593933.121
AT ITER 2007 NEW BEST:: SOT 17425720 SOS 3456185 HAS SOPS 3456185 HAS SOUS 2589462 HAS SOUPS 2589462 WITH SCORE 2592918.185
AT ITER 2050 NEW BEST:: SOT 17425717 SOS 3456455 HAS SOPS 3456455 HAS SOUS 2589456 HAS SOUPS 2589456 WITH SCORE 2592912.455
AT ITER 2064 NEW BEST:: SOT 17423344 SOS 3456857 HAS SOPS 3456857 HAS SOUS 2588370 HAS SOUPS 2588370 WITH SCORE 2591826.857
AT ITER 2089 NEW BEST:: SOT 17423338 SOS 3456960 HAS SOPS 3456960 HAS SOUS 2588363 HAS SOUPS 2588363 WITH SCORE 2591819.96
AT ITER 2096 NEW BEST:: SOT 17423338 SOS 3456960 HAS SOPS 3456960 HAS SOUS 2588269 HAS SOUPS 2588269 WITH SCORE 2591725.96
AT ITER 2118 NEW BEST:: SOT 17423055 SOS 3456394 HAS SOPS 3456394 HAS SOUS 2587703 HAS SOUPS 2587703 WITH SCORE 2591159.394
AT ITER 2164 NEW BEST:: SOT 17421925 SOS 3453871 HAS SOPS 3453871 HAS SOUS 2586038 HAS SOUPS 2586038 WITH SCORE 2589491.871
AT ITER 2196 NEW BEST:: SOT 17421828 SOS 3453565 HAS SOPS 3453565 HAS SOUS 2585829 HAS SOUPS 2585829 WITH SCORE 2589282.565
AT ITER 2201 NEW BEST:: SOT 17421742 SOS 3453729 HAS SOPS 3453729 HAS SOUS 2585741 HAS SOUPS 2585741 WITH SCORE 2589194.729
AT ITER 2242 NEW BEST:: SOT 17421558 SOS 3453495 HAS SOPS 3453495 HAS SOUS 2585552 HAS SOUPS 2585552 WITH SCORE 2589005.495
AT ITER 2252 NEW BEST:: SOT 17417927 SOS 3450509 HAS SOPS 3450509 HAS SOUS 2582563 HAS SOUPS 2582563 WITH SCORE 2586013.509
AT ITER 2255 NEW BEST:: SOT 17417926 SOS 3450507 HAS SOPS 3450507 HAS SOUS 2582561 HAS SOUPS 2582561 WITH SCORE 2586011.507
AT ITER 2258 NEW BEST:: SOT 17417068 SOS 3449645 HAS SOPS 3449645 HAS SOUS 2581702 HAS SOUPS 2581702 WITH SCORE 2585151.645
AT ITER 2265 NEW BEST:: SOT 17416152 SOS 3447813 HAS SOPS 3447813 HAS SOUS 2580786 HAS SOUPS 2580786 WITH SCORE 2584233.813
AT ITER 2267 NEW BEST:: SOT 17416152 SOS 3447813 HAS SOPS 3447813 HAS SOUS 2580785 HAS SOUPS 2580785 WITH SCORE 2584232.813
AT ITER 2299 NEW BEST:: SOT 17415875 SOS 3447259 HAS SOPS 3447259 HAS SOUS 2580508 HAS SOUPS 2580508 WITH SCORE 2583955.259
AT ITER 2320 NEW BEST:: SOT 17415765 SOS 3447189 HAS SOPS 3447189 HAS SOUS 2580423 HAS SOUPS 2580423 WITH SCORE 2583870.189
AT ITER 2326 NEW BEST:: SOT 17415765 SOS 3446685 HAS SOPS 3446685 HAS SOUS 2580255 HAS SOUPS 2580255 WITH SCORE 2583701.685
AT ITER 2361 NEW BEST:: SOT 17415765 SOS 3446633 HAS SOPS 3446633 HAS SOUS 2580203 HAS SOUPS 2580203 WITH SCORE 2583649.633
AT ITER 2367 NEW BEST:: SOT 17415765 SOS 3446633 HAS SOPS 3446633 HAS SOUS 2579149 HAS SOUPS 2579149 WITH SCORE 2582595.633
AT ITER 2369 NEW BEST:: SOT 17415747 SOS 3446970 HAS SOPS 3446970 HAS SOUS 2579112 HAS SOUPS 2579112 WITH SCORE 2582558.97
AT ITER 2377 NEW BEST:: SOT 17414958 SOS 3447366 HAS SOPS 3447366 HAS SOUS 2578323 HAS SOUPS 2578323 WITH SCORE 2581770.366
AT ITER 2385 NEW BEST:: SOT 17414958 SOS 3447297 HAS SOPS 3447297 HAS SOUS 2578254 HAS SOUPS 2578254 WITH SCORE 2581701.297
AT ITER 2420 NEW BEST:: SOT 17414283 SOS 3445947 HAS SOPS 3445947 HAS SOUS 2576904 HAS SOUPS 2576904 WITH SCORE 2580349.947
AT ITER 2443 NEW BEST:: SOT 17414283 SOS 3445765 HAS SOPS 3445765 HAS SOUS 2576722 HAS SOUPS 2576722 WITH SCORE 2580167.765
AT ITER 2448 NEW BEST:: SOT 17414283 SOS 3445765 HAS SOPS 3445765 HAS SOUS 2576595 HAS SOUPS 2576595 WITH SCORE 2580040.765
AT ITER 2459 NEW BEST:: SOT 17412618 SOS 3443973 HAS SOPS 3443973 HAS SOUS 2576159 HAS SOUPS 2576159 WITH SCORE 2579602.973
AT ITER 2464 NEW BEST:: SOT 17412517 SOS 3443771 HAS SOPS 3443771 HAS SOUS 2575991 HAS SOUPS 2575991 WITH SCORE 2579434.771
AT ITER 2472 NEW BEST:: SOT 17411928 SOS 3443557 HAS SOPS 3443557 HAS SOUS 2575780 HAS SOUPS 2575780 WITH SCORE 2579223.557
AT ITER 2473 NEW BEST:: SOT 17409627 SOS 3446123 HAS SOPS 3446123 HAS SOUS 2575310 HAS SOUPS 2575310 WITH SCORE 2578756.123
AT ITER 2504 NEW BEST:: SOT 17409627 SOS 3446941 HAS SOPS 3446941 HAS SOUS 2575309 HAS SOUPS 2575309 WITH SCORE 2578755.941
AT ITER 2543 NEW BEST:: SOT 17409431 SOS 3447329 HAS SOPS 3447329 HAS SOUS 2575112 HAS SOUPS 2575112 WITH SCORE 2578559.329
AT ITER 2565 NEW BEST:: SOT 17409003 SOS 3446473 HAS SOPS 3446473 HAS SOUS 2574256 HAS SOUPS 2574256 WITH SCORE 2577702.473
AT ITER 2592 NEW BEST:: SOT 17409003 SOS 3445627 HAS SOPS 3445627 HAS SOUS 2573974 HAS SOUPS 2573974 WITH SCORE 2577419.627
AT ITER 2625 NEW BEST:: SOT 17409003 SOS 3445125 HAS SOPS 3445125 HAS SOUS 2573974 HAS SOUPS 2573974 WITH SCORE 2577419.125
AT ITER 2635 NEW BEST:: SOT 17409003 SOS 3445160 HAS SOPS 3445160 HAS SOUS 2573973 HAS SOUPS 2573973 WITH SCORE 2577418.16
AT ITER 2636 NEW BEST:: SOT 17408417 SOS 3439714 HAS SOPS 3439714 HAS SOUS 2572172 HAS SOUPS 2572172 WITH SCORE 2575611.714
AT ITER 2643 NEW BEST:: SOT 17408335 SOS 3439631 HAS SOPS 3439631 HAS SOUS 2572171 HAS SOUPS 2572171 WITH SCORE 2575610.631
AT ITER 2652 NEW BEST:: SOT 17408348 SOS 3439878 HAS SOPS 3439878 HAS SOUS 2572084 HAS SOUPS 2572084 WITH SCORE 2575523.878
AT ITER 2666 NEW BEST:: SOT 17408066 SOS 3439314 HAS SOPS 3439314 HAS SOUS 2571520 HAS SOUPS 2571520 WITH SCORE 2574959.314
AT ITER 2670 NEW BEST:: SOT 17407911 SOS 3450553 HAS SOPS 3450553 HAS SOUS 2571209 HAS SOUPS 2571209 WITH SCORE 2574659.553
AT ITER 2732 NEW BEST:: SOT 17407804 SOS 3450339 HAS SOPS 3450339 HAS SOUS 2571102 HAS SOUPS 2571102 WITH SCORE 2574552.339
AT ITER 2734 NEW BEST:: SOT 17407804 SOS 3450339 HAS SOPS 3450339 HAS SOUS 2570616 HAS SOUPS 2570616 WITH SCORE 2574066.339
AT ITER 2776 NEW BEST:: SOT 17408000 SOS 3450337 HAS SOPS 3450337 HAS SOUS 2570615 HAS SOUPS 2570615 WITH SCORE 2574065.337
AT ITER 2791 NEW BEST:: SOT 17408244 SOS 3450825 HAS SOPS 3450825 HAS SOUS 2570312 HAS SOUPS 2570312 WITH SCORE 2573762.825
AT ITER 2805 NEW BEST:: SOT 17408069 SOS 3450650 HAS SOPS 3450650 HAS SOUS 2570137 HAS SOUPS 2570137 WITH SCORE 2573587.65
AT ITER 2808 NEW BEST:: SOT 17408027 SOS 3450607 HAS SOPS 3450607 HAS SOUS 2570094 HAS SOUPS 2570094 WITH SCORE 2573544.607
AT ITER 2843 NEW BEST:: SOT 17408027 SOS 3450603 HAS SOPS 3450603 HAS SOUS 2570093 HAS SOUPS 2570093 WITH SCORE 2573543.603
AT ITER 2852 NEW BEST:: SOT 17408027 SOS 3450240 HAS SOPS 3450240 HAS SOUS 2569730 HAS SOUPS 2569730 WITH SCORE 2573180.24
AT ITER 2854 NEW BEST:: SOT 17407699 SOS 3450092 HAS SOPS 3450092 HAS SOUS 2569509 HAS SOUPS 2569509 WITH SCORE 2572959.092
AT ITER 2875 NEW BEST:: SOT 17407699 SOS 3449861 HAS SOPS 3449861 HAS SOUS 2569509 HAS SOUPS 2569509 WITH SCORE 2572958.861
AT ITER 2895 NEW BEST:: SOT 17407934 SOS 3450331 HAS SOPS 3450331 HAS SOUS 2569420 HAS SOUPS 2569420 WITH SCORE 2572870.331
AT ITER 2915 NEW BEST:: SOT 17407407 SOS 3450279 HAS SOPS 3450279 HAS SOUS 2569227 HAS SOUPS 2569227 WITH SCORE 2572677.279
AT ITER 2921 NEW BEST:: SOT 17407315 SOS 3450095 HAS SOPS 3450095 HAS SOUS 2569135 HAS SOUPS 2569135 WITH SCORE 2572585.095
AT ITER 2923 NEW BEST:: SOT 17407200 SOS 3449865 HAS SOPS 3449865 HAS SOUS 2569020 HAS SOUPS 2569020 WITH SCORE 2572469.865
AT ITER 2928 NEW BEST:: SOT 17407199 SOS 3449863 HAS SOPS 3449863 HAS SOUS 2569018 HAS SOUPS 2569018 WITH SCORE 2572467.863
AT ITER 2933 NEW BEST:: SOT 17407166 SOS 3449797 HAS SOPS 3449797 HAS SOUS 2568952 HAS SOUPS 2568952 WITH SCORE 2572401.797
AT ITER 2941 NEW BEST:: SOT 17400524 SOS 3459130 HAS SOPS 3459130 HAS SOUS 2566759 HAS SOUPS 2566759 WITH SCORE 2570218.13
AT ITER 2955 NEW BEST:: SOT 17400017 SOS 3456595 HAS SOPS 3456595 HAS SOUS 2565745 HAS SOUPS 2565745 WITH SCORE 2569201.595
AT ITER 2963 NEW BEST:: SOT 17400309 SOS 3456594 HAS SOPS 3456594 HAS SOUS 2565744 HAS SOUPS 2565744 WITH SCORE 2569200.594
AT ITER 2973 NEW BEST:: SOT 17399399 SOS 3452056 HAS SOPS 3452056 HAS SOUS 2563924 HAS SOUPS 2563924 WITH SCORE 2567376.056
AT ITER 2985 NEW BEST:: SOT 17399033 SOS 3451446 HAS SOPS 3451446 HAS SOUS 2563436 HAS SOUPS 2563436 WITH SCORE 2566887.446
AT ITER 3013 NEW BEST:: SOT 17398921 SOS 3451222 HAS SOPS 3451222 HAS SOUS 2563021 HAS SOUPS 2563021 WITH SCORE 2566472.222
AT ITER 3036 NEW BEST:: SOT 17398823 SOS 3451124 HAS SOPS 3451124 HAS SOUS 2562923 HAS SOUPS 2562923 WITH SCORE 2566374.124
AT ITER 3052 NEW BEST:: SOT 17398822 SOS 3451122 HAS SOPS 3451122 HAS SOUS 2562921 HAS SOUPS 2562921 WITH SCORE 2566372.122
AT ITER 3075 NEW BEST:: SOT 17398330 SOS 3450872 HAS SOPS 3450872 HAS SOUS 2562674 HAS SOUPS 2562674 WITH SCORE 2566124.872
AT ITER 3080 NEW BEST:: SOT 17398132 SOS 3450818 HAS SOPS 3450818 HAS SOUS 2562549 HAS SOUPS 2562549 WITH SCORE 2565999.818
AT ITER 3088 NEW BEST:: SOT 17397176 SOS 3449566 HAS SOPS 3449566 HAS SOUS 2561592 HAS SOUPS 2561592 WITH SCORE 2565041.566
AT ITER 3094 NEW BEST:: SOT 17396935 SOS 3449084 HAS SOPS 3449084 HAS SOUS 2561110 HAS SOUPS 2561110 WITH SCORE 2564559.084
AT ITER 3099 NEW BEST:: SOT 17396573 SOS 3448722 HAS SOPS 3448722 HAS SOUS 2560748 HAS SOUPS 2560748 WITH SCORE 2564196.722
AT ITER 3115 NEW BEST:: SOT 17396573 SOS 3449346 HAS SOPS 3449346 HAS SOUS 2560747 HAS SOUPS 2560747 WITH SCORE 2564196.346
AT ITER 3126 NEW BEST:: SOT 17396169 SOS 3449144 HAS SOPS 3449144 HAS SOUS 2560545 HAS SOUPS 2560545 WITH SCORE 2563994.144
AT ITER 3130 NEW BEST:: SOT 17395009 SOS 3447984 HAS SOPS 3447984 HAS SOUS 2559385 HAS SOUPS 2559385 WITH SCORE 2562832.984
AT ITER 3137 NEW BEST:: SOT 17394096 SOS 3447067 HAS SOPS 3447067 HAS SOUS 2558471 HAS SOUPS 2558471 WITH SCORE 2561918.067
AT ITER 3145 NEW BEST:: SOT 17393863 SOS 3446369 HAS SOPS 3446369 HAS SOUS 2557933 HAS SOUPS 2557933 WITH SCORE 2561379.369
AT ITER 3148 NEW BEST:: SOT 17393863 SOS 3446011 HAS SOPS 3446011 HAS SOUS 2557933 HAS SOUPS 2557933 WITH SCORE 2561379.011
AT ITER 3187 NEW BEST:: SOT 17393450 SOS 3445185 HAS SOPS 3445185 HAS SOUS 2557107 HAS SOUPS 2557107 WITH SCORE 2560552.185
AT ITER 3195 NEW BEST:: SOT 17393129 SOS 3446610 HAS SOPS 3446610 HAS SOUS 2556465 HAS SOUPS 2556465 WITH SCORE 2559911.61
AT ITER 3200 NEW BEST:: SOT 17392989 SOS 3446540 HAS SOPS 3446540 HAS SOUS 2556395 HAS SOUPS 2556395 WITH SCORE 2559841.54
AT ITER 3208 NEW BEST:: SOT 17392506 SOS 3446260 HAS SOPS 3446260 HAS SOUS 2556338 HAS SOUPS 2556338 WITH SCORE 2559784.26
AT ITER 3228 NEW BEST:: SOT 17392459 SOS 3446166 HAS SOPS 3446166 HAS SOUS 2556244 HAS SOUPS 2556244 WITH SCORE 2559690.166
AT ITER 3288 NEW BEST:: SOT 17392459 SOS 3445125 HAS SOPS 3445125 HAS SOUS 2555897 HAS SOUPS 2555897 WITH SCORE 2559342.125
AT ITER 3301 NEW BEST:: SOT 17392392 SOS 3444991 HAS SOPS 3444991 HAS SOUS 2555763 HAS SOUPS 2555763 WITH SCORE 2559207.991
AT ITER 3312 NEW BEST:: SOT 17392392 SOS 3444991 HAS SOPS 3444991 HAS SOUS 2555285 HAS SOUPS 2555285 WITH SCORE 2558729.991
AT ITER 3333 NEW BEST:: SOT 17392392 SOS 3444991 HAS SOPS 3444991 HAS SOUS 2555284 HAS SOUPS 2555284 WITH SCORE 2558728.991
AT ITER 3335 NEW BEST:: SOT 17392105 SOS 3444417 HAS SOPS 3444417 HAS SOUS 2554997 HAS SOUPS 2554997 WITH SCORE 2558441.417
AT ITER 3356 NEW BEST:: SOT 17392104 SOS 3444415 HAS SOPS 3444415 HAS SOUS 2554995 HAS SOUPS 2554995 WITH SCORE 2558439.415
AT ITER 3381 NEW BEST:: SOT 17391889 SOS 3443985 HAS SOPS 3443985 HAS SOUS 2554565 HAS SOUPS 2554565 WITH SCORE 2558008.985
AT ITER 3384 NEW BEST:: SOT 17391719 SOS 3443807 HAS SOPS 3443807 HAS SOUS 2554311 HAS SOUPS 2554311 WITH SCORE 2557754.807
AT ITER 3430 NEW BEST:: SOT 17391517 SOS 3443676 HAS SOPS 3443676 HAS SOUS 2554009 HAS SOUPS 2554009 WITH SCORE 2557452.676
AT ITER 3444 NEW BEST:: SOT 17391471 SOS 3443630 HAS SOPS 3443630 HAS SOUS 2554009 HAS SOUPS 2554009 WITH SCORE 2557452.63
AT ITER 3452 NEW BEST:: SOT 17391471 SOS 3443630 HAS SOPS 3443630 HAS SOUS 2553664 HAS SOUPS 2553664 WITH SCORE 2557107.63
AT ITER 3453 NEW BEST:: SOT 17391376 SOS 3443440 HAS SOPS 3443440 HAS SOUS 2553569 HAS SOUPS 2553569 WITH SCORE 2557012.44
AT ITER 3457 NEW BEST:: SOT 17391376 SOS 3443440 HAS SOPS 3443440 HAS SOUS 2553304 HAS SOUPS 2553304 WITH SCORE 2556747.44
AT ITER 3466 NEW BEST:: SOT 17391238 SOS 3443367 HAS SOPS 3443367 HAS SOUS 2553234 HAS SOUPS 2553234 WITH SCORE 2556677.367
AT ITER 3474 NEW BEST:: SOT 17390547 SOS 3443366 HAS SOPS 3443366 HAS SOUS 2553233 HAS SOUPS 2553233 WITH SCORE 2556676.366
AT ITER 3482 NEW BEST:: SOT 17389766 SOS 3442585 HAS SOPS 3442585 HAS SOUS 2553232 HAS SOUPS 2553232 WITH SCORE 2556674.585
AT ITER 3518 NEW BEST:: SOT 17389402 SOS 3442966 HAS SOPS 3442966 HAS SOUS 2552503 HAS SOUPS 2552503 WITH SCORE 2555945.966
AT ITER 3530 NEW BEST:: SOT 17388870 SOS 3442515 HAS SOPS 3442515 HAS SOUS 2552012 HAS SOUPS 2552012 WITH SCORE 2555454.515
AT ITER 3555 NEW BEST:: SOT 17388626 SOS 3442149 HAS SOPS 3442149 HAS SOUS 2551646 HAS SOUPS 2551646 WITH SCORE 2555088.149
AT ITER 3557 NEW BEST:: SOT 17388475 SOS 3441847 HAS SOPS 3441847 HAS SOUS 2551344 HAS SOUPS 2551344 WITH SCORE 2554785.847
AT ITER 3567 NEW BEST:: SOT 17388475 SOS 3441760 HAS SOPS 3441760 HAS SOUS 2551257 HAS SOUPS 2551257 WITH SCORE 2554698.76
AT ITER 3575 NEW BEST:: SOT 17388367 SOS 3440122 HAS SOPS 3440122 HAS SOUS 2551149 HAS SOUPS 2551149 WITH SCORE 2554589.122
AT ITER 3577 NEW BEST:: SOT 17387871 SOS 3439699 HAS SOPS 3439699 HAS SOUS 2550726 HAS SOUPS 2550726 WITH SCORE 2554165.699
AT ITER 3587 NEW BEST:: SOT 17387801 SOS 3441229 HAS SOPS 3441229 HAS SOUS 2550097 HAS SOUPS 2550097 WITH SCORE 2553538.229
AT ITER 3607 NEW BEST:: SOT 17387384 SOS 3439144 HAS SOPS 3439144 HAS SOUS 2549263 HAS SOUPS 2549263 WITH SCORE 2552702.144
AT ITER 3618 NEW BEST:: SOT 17386784 SOS 3438544 HAS SOPS 3438544 HAS SOUS 2548663 HAS SOUPS 2548663 WITH SCORE 2552101.544
AT ITER 3622 NEW BEST:: SOT 17386784 SOS 3439014 HAS SOPS 3439014 HAS SOUS 2548662 HAS SOUPS 2548662 WITH SCORE 2552101.014
AT ITER 3628 NEW BEST:: SOT 17386491 SOS 3438721 HAS SOPS 3438721 HAS SOUS 2548662 HAS SOUPS 2548662 WITH SCORE 2552100.721
AT ITER 3629 NEW BEST:: SOT 17386390 SOS 3438519 HAS SOPS 3438519 HAS SOUS 2548561 HAS SOUPS 2548561 WITH SCORE 2551999.519
AT ITER 3633 NEW BEST:: SOT 17386390 SOS 3438519 HAS SOPS 3438519 HAS SOUS 2548212 HAS SOUPS 2548212 WITH SCORE 2551650.519
AT ITER 3638 NEW BEST:: SOT 17386390 SOS 3436785 HAS SOPS 3436785 HAS SOUS 2548212 HAS SOUPS 2548212 WITH SCORE 2551648.785
AT ITER 3639 NEW BEST:: SOT 17386390 SOS 3436785 HAS SOPS 3436785 HAS SOUS 2547988 HAS SOUPS 2547988 WITH SCORE 2551424.785
AT ITER 3642 NEW BEST:: SOT 17385468 SOS 3437287 HAS SOPS 3437287 HAS SOUS 2547873 HAS SOUPS 2547873 WITH SCORE 2551310.287
AT ITER 3649 NEW BEST:: SOT 17384838 SOS 3436647 HAS SOPS 3436647 HAS SOUS 2547633 HAS SOUPS 2547633 WITH SCORE 2551069.647
AT ITER 3655 NEW BEST:: SOT 17384756 SOS 3435929 HAS SOPS 3435929 HAS SOUS 2547386 HAS SOUPS 2547386 WITH SCORE 2550821.929
AT ITER 3667 NEW BEST:: SOT 17383650 SOS 3434957 HAS SOPS 3434957 HAS SOUS 2547143 HAS SOUPS 2547143 WITH SCORE 2550577.957
AT ITER 3668 NEW BEST:: SOT 17383501 SOS 3434659 HAS SOPS 3434659 HAS SOUS 2546845 HAS SOUPS 2546845 WITH SCORE 2550279.659
AT ITER 3676 NEW BEST:: SOT 17383479 SOS 3434615 HAS SOPS 3434615 HAS SOUS 2546801 HAS SOUPS 2546801 WITH SCORE 2550235.615
AT ITER 3695 NEW BEST:: SOT 17382561 SOS 3431750 HAS SOPS 3431750 HAS SOUS 2545511 HAS SOUPS 2545511 WITH SCORE 2548942.75
AT ITER 3713 NEW BEST:: SOT 17382560 SOS 3431522 HAS SOPS 3431522 HAS SOUS 2545283 HAS SOUPS 2545283 WITH SCORE 2548714.522
AT ITER 3718 NEW BEST:: SOT 17382252 SOS 3430906 HAS SOPS 3430906 HAS SOUS 2544975 HAS SOUPS 2544975 WITH SCORE 2548405.906
AT ITER 3726 NEW BEST:: SOT 17381732 SOS 3430562 HAS SOPS 3430562 HAS SOUS 2544631 HAS SOUPS 2544631 WITH SCORE 2548061.562
AT ITER 3761 NEW BEST:: SOT 17381072 SOS 3429242 HAS SOPS 3429242 HAS SOUS 2543311 HAS SOUPS 2543311 WITH SCORE 2546740.242
AT ITER 3765 NEW BEST:: SOT 17381046 SOS 3429216 HAS SOPS 3429216 HAS SOUS 2543285 HAS SOUPS 2543285 WITH SCORE 2546714.216
AT ITER 3785 NEW BEST:: SOT 17380514 SOS 3426448 HAS SOPS 3426448 HAS SOUS 2542221 HAS SOUPS 2542221 WITH SCORE 2545647.448
AT ITER 3796 NEW BEST:: SOT 17379164 SOS 3424648 HAS SOPS 3424648 HAS SOUS 2542090 HAS SOUPS 2542090 WITH SCORE 2545514.648
AT ITER 3802 NEW BEST:: SOT 17379310 SOS 3424363 HAS SOPS 3424363 HAS SOUS 2541805 HAS SOUPS 2541805 WITH SCORE 2545229.363
AT ITER 3808 NEW BEST:: SOT 17372353 SOS 3420501 HAS SOPS 3420501 HAS SOUS 2537105 HAS SOUPS 2537105 WITH SCORE 2540525.501
AT ITER 3846 NEW BEST:: SOT 17372353 SOS 3420132 HAS SOPS 3420132 HAS SOUS 2537105 HAS SOUPS 2537105 WITH SCORE 2540525.132
AT ITER 3873 NEW BEST:: SOT 17371047 SOS 3419803 HAS SOPS 3419803 HAS SOUS 2536560 HAS SOUPS 2536560 WITH SCORE 2539979.803
AT ITER 3884 NEW BEST:: SOT 17371017 SOS 3419743 HAS SOPS 3419743 HAS SOUS 2536336 HAS SOUPS 2536336 WITH SCORE 2539755.743
AT ITER 3886 NEW BEST:: SOT 17370495 SOS 3419221 HAS SOPS 3419221 HAS SOUS 2535814 HAS SOUPS 2535814 WITH SCORE 2539233.221
AT ITER 3893 NEW BEST:: SOT 17370495 SOS 3419400 HAS SOPS 3419400 HAS SOUS 2535813 HAS SOUPS 2535813 WITH SCORE 2539232.4
AT ITER 3899 NEW BEST:: SOT 17369956 SOS 3419935 HAS SOPS 3419935 HAS SOUS 2534734 HAS SOUPS 2534734 WITH SCORE 2538153.935
AT ITER 3911 NEW BEST:: SOT 17369646 SOS 3419315 HAS SOPS 3419315 HAS SOUS 2534424 HAS SOUPS 2534424 WITH SCORE 2537843.315
AT ITER 3912 NEW BEST:: SOT 17368668 SOS 3419023 HAS SOPS 3419023 HAS SOUS 2534132 HAS SOUPS 2534132 WITH SCORE 2537551.023
AT ITER 3942 NEW BEST:: SOT 17367232 SOS 3418679 HAS SOPS 3418679 HAS SOUS 2532991 HAS SOUPS 2532991 WITH SCORE 2536409.679
AT ITER 3957 NEW BEST:: SOT 17367232 SOS 3418086 HAS SOPS 3418086 HAS SOUS 2532398 HAS SOUPS 2532398 WITH SCORE 2535816.086
AT ITER 3976 NEW BEST:: SOT 17367105 SOS 3417832 HAS SOPS 3417832 HAS SOUS 2532144 HAS SOUPS 2532144 WITH SCORE 2535561.832
AT ITER 3978 NEW BEST:: SOT 17367104 SOS 3417989 HAS SOPS 3417989 HAS SOUS 2532143 HAS SOUPS 2532143 WITH SCORE 2535560.989
AT ITER 3991 NEW BEST:: SOT 17367104 SOS 3417989 HAS SOPS 3417989 HAS SOUS 2532112 HAS SOUPS 2532112 WITH SCORE 2535529.989
AT ITER 3998 NEW BEST:: SOT 17367543 SOS 3418231 HAS SOPS 3418231 HAS SOUS 2531915 HAS SOUPS 2531915 WITH SCORE 2535333.231
AT ITER 4004 NEW BEST:: SOT 17367396 SOS 3417937 HAS SOPS 3417937 HAS SOUS 2531768 HAS SOUPS 2531768 WITH SCORE 2535185.937
AT ITER 4028 NEW BEST:: SOT 17367395 SOS 3417935 HAS SOPS 3417935 HAS SOUS 2531766 HAS SOUPS 2531766 WITH SCORE 2535183.935
AT ITER 4036 NEW BEST:: SOT 17367395 SOS 3417817 HAS SOPS 3417817 HAS SOUS 2531707 HAS SOUPS 2531707 WITH SCORE 2535124.817
AT ITER 4055 NEW BEST:: SOT 17366608 SOS 3417788 HAS SOPS 3417788 HAS SOUS 2531435 HAS SOUPS 2531435 WITH SCORE 2534852.788
AT ITER 4082 NEW BEST:: SOT 17366464 SOS 3417500 HAS SOPS 3417500 HAS SOUS 2531291 HAS SOUPS 2531291 WITH SCORE 2534708.5
AT ITER 4093 NEW BEST:: SOT 17366304 SOS 3417180 HAS SOPS 3417180 HAS SOUS 2530971 HAS SOUPS 2530971 WITH SCORE 2534388.18
AT ITER 4098 NEW BEST:: SOT 17366303 SOS 3417178 HAS SOPS 3417178 HAS SOUS 2530969 HAS SOUPS 2530969 WITH SCORE 2534386.178
AT ITER 4113 NEW BEST:: SOT 17366174 SOS 3417338 HAS SOPS 3417338 HAS SOUS 2530422 HAS SOUPS 2530422 WITH SCORE 2533839.338
AT ITER 4116 NEW BEST:: SOT 17364781 SOS 3416757 HAS SOPS 3416757 HAS SOUS 2529764 HAS SOUPS 2529764 WITH SCORE 2533180.757
AT ITER 4146 NEW BEST:: SOT 17364715 SOS 3416625 HAS SOPS 3416625 HAS SOUS 2529632 HAS SOUPS 2529632 WITH SCORE 2533048.625
AT ITER 4148 NEW BEST:: SOT 17364471 SOS 3416137 HAS SOPS 3416137 HAS SOUS 2529388 HAS SOUPS 2529388 WITH SCORE 2532804.137
AT ITER 4168 NEW BEST:: SOT 17364108 SOS 3415411 HAS SOPS 3415411 HAS SOUS 2529025 HAS SOUPS 2529025 WITH SCORE 2532440.411
AT ITER 4169 NEW BEST:: SOT 17363776 SOS 3414747 HAS SOPS 3414747 HAS SOUS 2528361 HAS SOUPS 2528361 WITH SCORE 2531775.747
AT ITER 4179 NEW BEST:: SOT 17363418 SOS 3414389 HAS SOPS 3414389 HAS SOUS 2528003 HAS SOUPS 2528003 WITH SCORE 2531417.389
AT ITER 4183 NEW BEST:: SOT 17362921 SOS 3413136 HAS SOPS 3413136 HAS SOUS 2527641 HAS SOUPS 2527641 WITH SCORE 2531054.136
AT ITER 4199 NEW BEST:: SOT 17362878 SOS 3413093 HAS SOPS 3413093 HAS SOUS 2527598 HAS SOUPS 2527598 WITH SCORE 2531011.093
AT ITER 4237 NEW BEST:: SOT 17362402 SOS 3412613 HAS SOPS 3412613 HAS SOUS 2527121 HAS SOUPS 2527121 WITH SCORE 2530533.613
AT ITER 4247 NEW BEST:: SOT 17362178 SOS 3412389 HAS SOPS 3412389 HAS SOUS 2526897 HAS SOUPS 2526897 WITH SCORE 2530309.389
AT ITER 4258 NEW BEST:: SOT 17361930 SOS 3411893 HAS SOPS 3411893 HAS SOUS 2526401 HAS SOUPS 2526401 WITH SCORE 2529812.893
AT ITER 4260 NEW BEST:: SOT 17361306 SOS 3410021 HAS SOPS 3410021 HAS SOUS 2525465 HAS SOUPS 2525465 WITH SCORE 2528875.021
AT ITER 4295 NEW BEST:: SOT 17361054 SOS 3409895 HAS SOPS 3409895 HAS SOUS 2525339 HAS SOUPS 2525339 WITH SCORE 2528748.895
AT ITER 4321 NEW BEST:: SOT 17360967 SOS 3409543 HAS SOPS 3409543 HAS SOUS 2525252 HAS SOUPS 2525252 WITH SCORE 2528661.543
AT ITER 4326 NEW BEST:: SOT 17360499 SOS 3408895 HAS SOPS 3408895 HAS SOUS 2524604 HAS SOUPS 2524604 WITH SCORE 2528012.895
AT ITER 4328 NEW BEST:: SOT 17360444 SOS 3408785 HAS SOPS 3408785 HAS SOUS 2524494 HAS SOUPS 2524494 WITH SCORE 2527902.785
AT ITER 4356 NEW BEST:: SOT 17360387 SOS 3408728 HAS SOPS 3408728 HAS SOUS 2524437 HAS SOUPS 2524437 WITH SCORE 2527845.728
AT ITER 4374 NEW BEST:: SOT 17360075 SOS 3408104 HAS SOPS 3408104 HAS SOUS 2523610 HAS SOUPS 2523610 WITH SCORE 2527018.104
AT ITER 4380 NEW BEST:: SOT 17359785 SOS 3407810 HAS SOPS 3407810 HAS SOUS 2523319 HAS SOUPS 2523319 WITH SCORE 2526726.81
AT ITER 4385 NEW BEST:: SOT 17359425 SOS 3413495 HAS SOPS 3413495 HAS SOUS 2523259 HAS SOUPS 2523259 WITH SCORE 2526672.495
AT ITER 4391 NEW BEST:: SOT 17358569 SOS 3412867 HAS SOPS 3412867 HAS SOUS 2522500 HAS SOUPS 2522500 WITH SCORE 2525912.867
AT ITER 4394 NEW BEST:: SOT 17358044 SOS 3412349 HAS SOPS 3412349 HAS SOUS 2521982 HAS SOUPS 2521982 WITH SCORE 2525394.349
AT ITER 4419 NEW BEST:: SOT 17358044 SOS 3412234 HAS SOPS 3412234 HAS SOUS 2521977 HAS SOUPS 2521977 WITH SCORE 2525389.234
AT ITER 4446 NEW BEST:: SOT 17358045 SOS 3412233 HAS SOPS 3412233 HAS SOUS 2521977 HAS SOUPS 2521977 WITH SCORE 2525389.233
AT ITER 4456 NEW BEST:: SOT 17357986 SOS 3412210 HAS SOPS 3412210 HAS SOUS 2521954 HAS SOUPS 2521954 WITH SCORE 2525366.21
AT ITER 4514 NEW BEST:: SOT 17357571 SOS 3411795 HAS SOPS 3411795 HAS SOUS 2521539 HAS SOUPS 2521539 WITH SCORE 2524950.795
AT ITER 4533 NEW BEST:: SOT 17357122 SOS 3410897 HAS SOPS 3410897 HAS SOUS 2520641 HAS SOUPS 2520641 WITH SCORE 2524051.897
AT ITER 4555 NEW BEST:: SOT 17357082 SOS 3410973 HAS SOPS 3410973 HAS SOUS 2520600 HAS SOUPS 2520600 WITH SCORE 2524010.973
AT ITER 4584 NEW BEST:: SOT 17357082 SOS 3410651 HAS SOPS 3410651 HAS SOUS 2520600 HAS SOUPS 2520600 WITH SCORE 2524010.651
AT ITER 4653 NEW BEST:: SOT 17356987 SOS 3410461 HAS SOPS 3410461 HAS SOUS 2520410 HAS SOUPS 2520410 WITH SCORE 2523820.461
AT ITER 4691 NEW BEST:: SOT 17356986 SOS 3410460 HAS SOPS 3410460 HAS SOUS 2520409 HAS SOUPS 2520409 WITH SCORE 2523819.46
AT ITER 4707 NEW BEST:: SOT 17356985 SOS 3410458 HAS SOPS 3410458 HAS SOUS 2520407 HAS SOUPS 2520407 WITH SCORE 2523817.458
AT ITER 4709 NEW BEST:: SOT 17356467 SOS 3410195 HAS SOPS 3410195 HAS SOUS 2520147 HAS SOUPS 2520147 WITH SCORE 2523557.195
AT ITER 4749 NEW BEST:: SOT 17356041 SOS 3404411 HAS SOPS 3404411 HAS SOUS 2519295 HAS SOUPS 2519295 WITH SCORE 2522699.411
AT ITER 4750 NEW BEST:: SOT 17355564 SOS 3404091 HAS SOPS 3404091 HAS SOUS 2518978 HAS SOUPS 2518978 WITH SCORE 2522382.091
AT ITER 4783 NEW BEST:: SOT 17354505 SOS 3406401 HAS SOPS 3406401 HAS SOUS 2518722 HAS SOUPS 2518722 WITH SCORE 2522128.401
AT ITER 4790 NEW BEST:: SOT 17354467 SOS 3406363 HAS SOPS 3406363 HAS SOUS 2518684 HAS SOUPS 2518684 WITH SCORE 2522090.363
AT ITER 4820 NEW BEST:: SOT 17354467 SOS 3405985 HAS SOPS 3405985 HAS SOUS 2518558 HAS SOUPS 2518558 WITH SCORE 2521963.985
AT ITER 4828 NEW BEST:: SOT 17354124 SOS 3405300 HAS SOPS 3405300 HAS SOUS 2517873 HAS SOUPS 2517873 WITH SCORE 2521278.3
AT ITER 4874 NEW BEST:: SOT 17353788 SOS 3405226 HAS SOPS 3405226 HAS SOUS 2517593 HAS SOUPS 2517593 WITH SCORE 2520998.226
AT ITER 4894 NEW BEST:: SOT 17353669 SOS 3405107 HAS SOPS 3405107 HAS SOUS 2517474 HAS SOUPS 2517474 WITH SCORE 2520879.107
AT ITER 4922 NEW BEST:: SOT 17353424 SOS 3406132 HAS SOPS 3406132 HAS SOUS 2517356 HAS SOUPS 2517356 WITH SCORE 2520762.132
AT ITER 4952 NEW BEST:: SOT 17353424 SOS 3406389 HAS SOPS 3406389 HAS SOUS 2517355 HAS SOUPS 2517355 WITH SCORE 2520761.389
AT ITER 4962 NEW BEST:: SOT 17353424 SOS 3406389 HAS SOPS 3406389 HAS SOUS 2517320 HAS SOUPS 2517320 WITH SCORE 2520726.389
AT ITER 5001 NEW BEST:: SOT 17352841 SOS 3405806 HAS SOPS 3405806 HAS SOUS 2516737 HAS SOUPS 2516737 WITH SCORE 2520142.806
AT ITER 5025 NEW BEST:: SOT 17352598 SOS 3405320 HAS SOPS 3405320 HAS SOUS 2516494 HAS SOUPS 2516494 WITH SCORE 2519899.32
AT ITER 5051 NEW BEST:: SOT 17352419 SOS 3404962 HAS SOPS 3404962 HAS SOUS 2516136 HAS SOUPS 2516136 WITH SCORE 2519540.962
AT ITER 5063 NEW BEST:: SOT 17352419 SOS 3404915 HAS SOPS 3404915 HAS SOUS 2516089 HAS SOUPS 2516089 WITH SCORE 2519493.915
AT ITER 5077 NEW BEST:: SOT 17347879 SOS 3415142 HAS SOPS 3415142 HAS SOUS 2515997 HAS SOUPS 2515997 WITH SCORE 2519412.142
AT ITER 5104 NEW BEST:: SOT 17347894 SOS 3415848 HAS SOPS 3415848 HAS SOUS 2515790 HAS SOUPS 2515790 WITH SCORE 2519205.848
AT ITER 5150 NEW BEST:: SOT 17348061 SOS 3416034 HAS SOPS 3416034 HAS SOUS 2515530 HAS SOUPS 2515530 WITH SCORE 2518946.034
AT ITER 5168 NEW BEST:: SOT 17347916 SOS 3415897 HAS SOPS 3415897 HAS SOUS 2515385 HAS SOUPS 2515385 WITH SCORE 2518800.897
AT ITER 5171 NEW BEST:: SOT 17348017 SOS 3415319 HAS SOPS 3415319 HAS SOUS 2515226 HAS SOUPS 2515226 WITH SCORE 2518641.319
AT ITER 5247 NEW BEST:: SOT 17348100 SOS 3415485 HAS SOPS 3415485 HAS SOUS 2514797 HAS SOUPS 2514797 WITH SCORE 2518212.485
AT ITER 5249 NEW BEST:: SOT 17347831 SOS 3415357 HAS SOPS 3415357 HAS SOUS 2514669 HAS SOUPS 2514669 WITH SCORE 2518084.357
AT ITER 5250 NEW BEST:: SOT 17347619 SOS 3414933 HAS SOPS 3414933 HAS SOUS 2514245 HAS SOUPS 2514245 WITH SCORE 2517659.933
AT ITER 5255 NEW BEST:: SOT 17347618 SOS 3414885 HAS SOPS 3414885 HAS SOUS 2514197 HAS SOUPS 2514197 WITH SCORE 2517611.885
AT ITER 5270 NEW BEST:: SOT 17347617 SOS 3414883 HAS SOPS 3414883 HAS SOUS 2514195 HAS SOUPS 2514195 WITH SCORE 2517609.883
AT ITER 5271 NEW BEST:: SOT 17347286 SOS 3414221 HAS SOPS 3414221 HAS SOUS 2513204 HAS SOUPS 2513204 WITH SCORE 2516618.221
AT ITER 5290 NEW BEST:: SOT 17346553 SOS 3414220 HAS SOPS 3414220 HAS SOUS 2513203 HAS SOUPS 2513203 WITH SCORE 2516617.22
AT ITER 5300 NEW BEST:: SOT 17346093 SOS 3413756 HAS SOPS 3413756 HAS SOUS 2512742 HAS SOUPS 2512742 WITH SCORE 2516155.756
AT ITER 5373 NEW BEST:: SOT 17346021 SOS 3413612 HAS SOPS 3413612 HAS SOUS 2512671 HAS SOUPS 2512671 WITH SCORE 2516084.612
AT ITER 5407 NEW BEST:: SOT 17345457 SOS 3413330 HAS SOPS 3413330 HAS SOUS 2512389 HAS SOUPS 2512389 WITH SCORE 2515802.33
AT ITER 5417 NEW BEST:: SOT 17345354 SOS 3413124 HAS SOPS 3413124 HAS SOUS 2512286 HAS SOUPS 2512286 WITH SCORE 2515699.124
AT ITER 5429 NEW BEST:: SOT 17344992 SOS 3412010 HAS SOPS 3412010 HAS SOUS 2511729 HAS SOUPS 2511729 WITH SCORE 2515141.01
AT ITER 5444 NEW BEST:: SOT 17344803 SOS 3411632 HAS SOPS 3411632 HAS SOUS 2511351 HAS SOUPS 2511351 WITH SCORE 2514762.632
AT ITER 5462 NEW BEST:: SOT 17344477 SOS 3411478 HAS SOPS 3411478 HAS SOUS 2511189 HAS SOUPS 2511189 WITH SCORE 2514600.478
AT ITER 5467 NEW BEST:: SOT 17343984 SOS 3410492 HAS SOPS 3410492 HAS SOUS 2510203 HAS SOUPS 2510203 WITH SCORE 2513613.492
AT ITER 5480 NEW BEST:: SOT 17343983 SOS 3410490 HAS SOPS 3410490 HAS SOUS 2510201 HAS SOUPS 2510201 WITH SCORE 2513611.49
AT ITER 5495 NEW BEST:: SOT 17343982 SOS 3410488 HAS SOPS 3410488 HAS SOUS 2510199 HAS SOUPS 2510199 WITH SCORE 2513609.488
AT ITER 5501 NEW BEST:: SOT 17343404 SOS 3410199 HAS SOPS 3410199 HAS SOUS 2509910 HAS SOUPS 2509910 WITH SCORE 2513320.199
AT ITER 5513 NEW BEST:: SOT 17343294 SOS 3409979 HAS SOPS 3409979 HAS SOUS 2509795 HAS SOUPS 2509795 WITH SCORE 2513204.979
AT ITER 5531 NEW BEST:: SOT 17343294 SOS 3409977 HAS SOPS 3409977 HAS SOUS 2509793 HAS SOUPS 2509793 WITH SCORE 2513202.977
AT ITER 5532 NEW BEST:: SOT 17342894 SOS 3408535 HAS SOPS 3408535 HAS SOUS 2509305 HAS SOUPS 2509305 WITH SCORE 2512713.535
AT ITER 5535 NEW BEST:: SOT 17342894 SOS 3408315 HAS SOPS 3408315 HAS SOUS 2509195 HAS SOUPS 2509195 WITH SCORE 2512603.315
AT ITER 5544 NEW BEST:: SOT 17343001 SOS 3408058 HAS SOPS 3408058 HAS SOUS 2508938 HAS SOUPS 2508938 WITH SCORE 2512346.058
AT ITER 5556 NEW BEST:: SOT 17342812 SOS 3408244 HAS SOPS 3408244 HAS SOUS 2508937 HAS SOUPS 2508937 WITH SCORE 2512345.244
AT ITER 5562 NEW BEST:: SOT 17342073 SOS 3407681 HAS SOPS 3407681 HAS SOUS 2508312 HAS SOUPS 2508312 WITH SCORE 2511719.681
AT ITER 5563 NEW BEST:: SOT 17341412 SOS 3407949 HAS SOPS 3407949 HAS SOUS 2507785 HAS SOUPS 2507785 WITH SCORE 2511192.949
AT ITER 5579 NEW BEST:: SOT 17341411 SOS 3407910 HAS SOPS 3407910 HAS SOUS 2507746 HAS SOUPS 2507746 WITH SCORE 2511153.91
AT ITER 5589 NEW BEST:: SOT 17341155 SOS 3407398 HAS SOPS 3407398 HAS SOUS 2507490 HAS SOUPS 2507490 WITH SCORE 2510897.398
AT ITER 5601 NEW BEST:: SOT 17340971 SOS 3407030 HAS SOPS 3407030 HAS SOUS 2507141 HAS SOUPS 2507141 WITH SCORE 2510548.03
AT ITER 5605 NEW BEST:: SOT 17340304 SOS 3405696 HAS SOPS 3405696 HAS SOUS 2506351 HAS SOUPS 2506351 WITH SCORE 2509756.696
AT ITER 5630 NEW BEST:: SOT 17340831 SOS 3405172 HAS SOPS 3405172 HAS SOUS 2506105 HAS SOUPS 2506105 WITH SCORE 2509510.172
AT ITER 5632 NEW BEST:: SOT 17340781 SOS 3405072 HAS SOPS 3405072 HAS SOUS 2506055 HAS SOUPS 2506055 WITH SCORE 2509460.072
AT ITER 5634 NEW BEST:: SOT 17340781 SOS 3405472 HAS SOPS 3405472 HAS SOUS 2506054 HAS SOUPS 2506054 WITH SCORE 2509459.472
AT ITER 5655 NEW BEST:: SOT 17340781 SOS 3405471 HAS SOPS 3405471 HAS SOUS 2506053 HAS SOUPS 2506053 WITH SCORE 2509458.471
AT ITER 5661 NEW BEST:: SOT 17340059 SOS 3404027 HAS SOPS 3404027 HAS SOUS 2504609 HAS SOUPS 2504609 WITH SCORE 2508013.027
AT ITER 5685 NEW BEST:: SOT 17340059 SOS 3403761 HAS SOPS 3403761 HAS SOUS 2504476 HAS SOUPS 2504476 WITH SCORE 2507879.761
AT ITER 5734 NEW BEST:: SOT 17339706 SOS 3403016 HAS SOPS 3403016 HAS SOUS 2504076 HAS SOUPS 2504076 WITH SCORE 2507479.016
AT ITER 5750 NEW BEST:: SOT 17339678 SOS 3402960 HAS SOPS 3402960 HAS SOUS 2504020 HAS SOUPS 2504020 WITH SCORE 2507422.96
AT ITER 5780 NEW BEST:: SOT 17339678 SOS 3401844 HAS SOPS 3401844 HAS SOUS 2503648 HAS SOUPS 2503648 WITH SCORE 2507049.844
AT ITER 5781 NEW BEST:: SOT 17339268 SOS 3401024 HAS SOPS 3401024 HAS SOUS 2502828 HAS SOUPS 2502828 WITH SCORE 2506229.024
AT ITER 5839 NEW BEST:: SOT 17339059 SOS 3400559 HAS SOPS 3400559 HAS SOUS 2502393 HAS SOUPS 2502393 WITH SCORE 2505793.559
AT ITER 5840 NEW BEST:: SOT 17339123 SOS 3400687 HAS SOPS 3400687 HAS SOUS 2502264 HAS SOUPS 2502264 WITH SCORE 2505664.687
AT ITER 5847 NEW BEST:: SOT 17338513 SOS 3399500 HAS SOPS 3399500 HAS SOUS 2501586 HAS SOUPS 2501586 WITH SCORE 2504985.5
AT ITER 5853 NEW BEST:: SOT 17338268 SOS 3398738 HAS SOPS 3398738 HAS SOUS 2501035 HAS SOUPS 2501035 WITH SCORE 2504433.738
AT ITER 5857 NEW BEST:: SOT 17338268 SOS 3398018 HAS SOPS 3398018 HAS SOUS 2500795 HAS SOUPS 2500795 WITH SCORE 2504193.018
AT ITER 5874 NEW BEST:: SOT 17338268 SOS 3398126 HAS SOPS 3398126 HAS SOUS 2500793 HAS SOUPS 2500793 WITH SCORE 2504191.126
AT ITER 5890 NEW BEST:: SOT 17338126 SOS 3397842 HAS SOPS 3397842 HAS SOUS 2499769 HAS SOUPS 2499769 WITH SCORE 2503166.842
AT ITER 5908 NEW BEST:: SOT 17337648 SOS 3397394 HAS SOPS 3397394 HAS SOUS 2499291 HAS SOUPS 2499291 WITH SCORE 2502688.394
AT ITER 5941 NEW BEST:: SOT 17337353 SOS 3396804 HAS SOPS 3396804 HAS SOUS 2498991 HAS SOUPS 2498991 WITH SCORE 2502387.804
AT ITER 5956 NEW BEST:: SOT 17337352 SOS 3396802 HAS SOPS 3396802 HAS SOUS 2498989 HAS SOUPS 2498989 WITH SCORE 2502385.802
AT ITER 6011 NEW BEST:: SOT 17336806 SOS 3396256 HAS SOPS 3396256 HAS SOUS 2498443 HAS SOUPS 2498443 WITH SCORE 2501839.256
AT ITER 6021 NEW BEST:: SOT 17336806 SOS 3396256 HAS SOPS 3396256 HAS SOUS 2498442 HAS SOUPS 2498442 WITH SCORE 2501838.256
AT ITER 6044 NEW BEST:: SOT 17336881 SOS 3396406 HAS SOPS 3396406 HAS SOUS 2497513 HAS SOUPS 2497513 WITH SCORE 2500909.406
AT ITER 6058 NEW BEST:: SOT 17334597 SOS 3396770 HAS SOPS 3396770 HAS SOUS 2496462 HAS SOUPS 2496462 WITH SCORE 2499858.77
AT ITER 6071 NEW BEST:: SOT 17334432 SOS 3396066 HAS SOPS 3396066 HAS SOUS 2496320 HAS SOUPS 2496320 WITH SCORE 2499716.066
AT ITER 6082 NEW BEST:: SOT 17325137 SOS 3443709 HAS SOPS 3443709 HAS SOUS 2490754 HAS SOUPS 2490754 WITH SCORE 2494197.709
AT ITER 6091 NEW BEST:: SOT 17325033 SOS 3443605 HAS SOPS 3443605 HAS SOUS 2490650 HAS SOUPS 2490650 WITH SCORE 2494093.605
AT ITER 6096 NEW BEST:: SOT 17324467 SOS 3442473 HAS SOPS 3442473 HAS SOUS 2490084 HAS SOUPS 2490084 WITH SCORE 2493526.473
AT ITER 6099 NEW BEST:: SOT 17324467 SOS 3442683 HAS SOPS 3442683 HAS SOUS 2490082 HAS SOUPS 2490082 WITH SCORE 2493524.683
AT ITER 6115 NEW BEST:: SOT 17323659 SOS 3443023 HAS SOPS 3443023 HAS SOUS 2489926 HAS SOUPS 2489926 WITH SCORE 2493369.023
AT ITER 6117 NEW BEST:: SOT 17323449 SOS 3442603 HAS SOPS 3442603 HAS SOUS 2489716 HAS SOUPS 2489716 WITH SCORE 2493158.603
AT ITER 6135 NEW BEST:: SOT 17323313 SOS 3442331 HAS SOPS 3442331 HAS SOUS 2489573 HAS SOUPS 2489573 WITH SCORE 2493015.331
AT ITER 6177 NEW BEST:: SOT 17323036 SOS 3441777 HAS SOPS 3441777 HAS SOUS 2489296 HAS SOUPS 2489296 WITH SCORE 2492737.777
AT ITER 6178 NEW BEST:: SOT 17323036 SOS 3441433 HAS SOPS 3441433 HAS SOUS 2489296 HAS SOUPS 2489296 WITH SCORE 2492737.433
AT ITER 6185 NEW BEST:: SOT 17322988 SOS 3441385 HAS SOPS 3441385 HAS SOUS 2489200 HAS SOUPS 2489200 WITH SCORE 2492641.385
AT ITER 6218 NEW BEST:: SOT 17322568 SOS 3440731 HAS SOPS 3440731 HAS SOUS 2488546 HAS SOUPS 2488546 WITH SCORE 2491986.731
AT ITER 6320 NEW BEST:: SOT 17322400 SOS 3440395 HAS SOPS 3440395 HAS SOUS 2488210 HAS SOUPS 2488210 WITH SCORE 2491650.395
AT ITER 6390 NEW BEST:: SOT 17322400 SOS 3440394 HAS SOPS 3440394 HAS SOUS 2488209 HAS SOUPS 2488209 WITH SCORE 2491649.394
AT ITER 6434 NEW BEST:: SOT 17322597 SOS 3438633 HAS SOPS 3438633 HAS SOUS 2488135 HAS SOUPS 2488135 WITH SCORE 2491573.633
AT ITER 6460 NEW BEST:: SOT 17321445 SOS 3438057 HAS SOPS 3438057 HAS SOUS 2487559 HAS SOUPS 2487559 WITH SCORE 2490997.057
AT ITER 6463 NEW BEST:: SOT 17322157 SOS 3436989 HAS SOPS 3436989 HAS SOUS 2487559 HAS SOUPS 2487559 WITH SCORE 2490995.989
AT ITER 6537 NEW BEST:: SOT 17322157 SOS 3436989 HAS SOPS 3436989 HAS SOUS 2487558 HAS SOUPS 2487558 WITH SCORE 2490994.989
AT ITER 6548 NEW BEST:: SOT 17322254 SOS 3437183 HAS SOPS 3437183 HAS SOUS 2487288 HAS SOUPS 2487288 WITH SCORE 2490725.183
AT ITER 6557 NEW BEST:: SOT 17322222 SOS 3437109 HAS SOPS 3437109 HAS SOUS 2487236 HAS SOUPS 2487236 WITH SCORE 2490673.109
AT ITER 6570 NEW BEST:: SOT 17321792 SOS 3436679 HAS SOPS 3436679 HAS SOUS 2486806 HAS SOUPS 2486806 WITH SCORE 2490242.679
AT ITER 6595 NEW BEST:: SOT 17321792 SOS 3436518 HAS SOPS 3436518 HAS SOUS 2486645 HAS SOUPS 2486645 WITH SCORE 2490081.518
AT ITER 6607 NEW BEST:: SOT 17321644 SOS 3436591 HAS SOPS 3436591 HAS SOUS 2486349 HAS SOUPS 2486349 WITH SCORE 2489785.591
AT ITER 6617 NEW BEST:: SOT 17321644 SOS 3436591 HAS SOPS 3436591 HAS SOUS 2486311 HAS SOUPS 2486311 WITH SCORE 2489747.591
AT ITER 6619 NEW BEST:: SOT 17321362 SOS 3436027 HAS SOPS 3436027 HAS SOUS 2486029 HAS SOUPS 2486029 WITH SCORE 2489465.027
AT ITER 6624 NEW BEST:: SOT 17321362 SOS 3435888 HAS SOPS 3435888 HAS SOUS 2486029 HAS SOUPS 2486029 WITH SCORE 2489464.888
AT ITER 6678 NEW BEST:: SOT 17321355 SOS 3435874 HAS SOPS 3435874 HAS SOUS 2486015 HAS SOUPS 2486015 WITH SCORE 2489450.874
AT ITER 6705 NEW BEST:: SOT 17321008 SOS 3435523 HAS SOPS 3435523 HAS SOUS 2485667 HAS SOUPS 2485667 WITH SCORE 2489102.523
AT ITER 6709 NEW BEST:: SOT 17321088 SOS 3435683 HAS SOPS 3435683 HAS SOUS 2485334 HAS SOUPS 2485334 WITH SCORE 2488769.683
AT ITER 6758 NEW BEST:: SOT 17321063 SOS 3435633 HAS SOPS 3435633 HAS SOUS 2485284 HAS SOUPS 2485284 WITH SCORE 2488719.633
AT ITER 6789 NEW BEST:: SOT 17320569 SOS 3432873 HAS SOPS 3432873 HAS SOUS 2484435 HAS SOUPS 2484435 WITH SCORE 2487867.873
AT ITER 6798 NEW BEST:: SOT 17320507 SOS 3432749 HAS SOPS 3432749 HAS SOUS 2484311 HAS SOUPS 2484311 WITH SCORE 2487743.749
AT ITER 6861 NEW BEST:: SOT 17320397 SOS 3432694 HAS SOPS 3432694 HAS SOUS 2484256 HAS SOUPS 2484256 WITH SCORE 2487688.694
AT ITER 6877 NEW BEST:: SOT 17319770 SOS 3432238 HAS SOPS 3432238 HAS SOUS 2483800 HAS SOUPS 2483800 WITH SCORE 2487232.238
AT ITER 6895 NEW BEST:: SOT 17319538 SOS 3433756 HAS SOPS 3433756 HAS SOUS 2483568 HAS SOUPS 2483568 WITH SCORE 2487001.756
AT ITER 6913 NEW BEST:: SOT 17319280 SOS 3433240 HAS SOPS 3433240 HAS SOUS 2483052 HAS SOUPS 2483052 WITH SCORE 2486485.24
AT ITER 6920 NEW BEST:: SOT 17319280 SOS 3433084 HAS SOPS 3433084 HAS SOUS 2483052 HAS SOUPS 2483052 WITH SCORE 2486485.084
AT ITER 6933 NEW BEST:: SOT 17318730 SOS 3432259 HAS SOPS 3432259 HAS SOUS 2482502 HAS SOUPS 2482502 WITH SCORE 2485934.259
AT ITER 6954 NEW BEST:: SOT 17318730 SOS 3432054 HAS SOPS 3432054 HAS SOUS 2482502 HAS SOUPS 2482502 WITH SCORE 2485934.054
AT ITER 6975 NEW BEST:: SOT 17318729 SOS 3432052 HAS SOPS 3432052 HAS SOUS 2482500 HAS SOUPS 2482500 WITH SCORE 2485932.052
AT ITER 7012 NEW BEST:: SOT 17318820 SOS 3431961 HAS SOPS 3431961 HAS SOUS 2482409 HAS SOUPS 2482409 WITH SCORE 2485840.961
AT ITER 7051 NEW BEST:: SOT 17318788 SOS 3431897 HAS SOPS 3431897 HAS SOUS 2482345 HAS SOUPS 2482345 WITH SCORE 2485776.897
AT ITER 7061 NEW BEST:: SOT 17318519 SOS 3431625 HAS SOPS 3431625 HAS SOUS 2482066 HAS SOUPS 2482066 WITH SCORE 2485497.625
AT ITER 7075 NEW BEST:: SOT 17318369 SOS 3431325 HAS SOPS 3431325 HAS SOUS 2481933 HAS SOUPS 2481933 WITH SCORE 2485364.325
AT ITER 7080 NEW BEST:: SOT 17318308 SOS 3431203 HAS SOPS 3431203 HAS SOUS 2481811 HAS SOUPS 2481811 WITH SCORE 2485242.203
AT ITER 7082 NEW BEST:: SOT 17316937 SOS 3429340 HAS SOPS 3429340 HAS SOUS 2481281 HAS SOUPS 2481281 WITH SCORE 2484710.34
AT ITER 7097 NEW BEST:: SOT 17316600 SOS 3428666 HAS SOPS 3428666 HAS SOUS 2480947 HAS SOUPS 2480947 WITH SCORE 2484375.666
AT ITER 7114 NEW BEST:: SOT 17315367 SOS 3428454 HAS SOPS 3428454 HAS SOUS 2480299 HAS SOUPS 2480299 WITH SCORE 2483727.454
AT ITER 7152 NEW BEST:: SOT 17315367 SOS 3427806 HAS SOPS 3427806 HAS SOUS 2480299 HAS SOUPS 2480299 WITH SCORE 2483726.806
AT ITER 7179 NEW BEST:: SOT 17315294 SOS 3427660 HAS SOPS 3427660 HAS SOUS 2480153 HAS SOUPS 2480153 WITH SCORE 2483580.66
AT ITER 7204 NEW BEST:: SOT 17315294 SOS 3427660 HAS SOPS 3427660 HAS SOUS 2479740 HAS SOUPS 2479740 WITH SCORE 2483167.66
AT ITER 7219 NEW BEST:: SOT 17315147 SOS 3427513 HAS SOPS 3427513 HAS SOUS 2479740 HAS SOUPS 2479740 WITH SCORE 2483167.513
AT ITER 7221 NEW BEST:: SOT 17315147 SOS 3427512 HAS SOPS 3427512 HAS SOUS 2479739 HAS SOUPS 2479739 WITH SCORE 2483166.512
AT ITER 7226 NEW BEST:: SOT 17315147 SOS 3425886 HAS SOPS 3425886 HAS SOUS 2479739 HAS SOUPS 2479739 WITH SCORE 2483164.886
AT ITER 7236 NEW BEST:: SOT 17314910 SOS 3425412 HAS SOPS 3425412 HAS SOUS 2479596 HAS SOUPS 2479596 WITH SCORE 2483021.412
AT ITER 7246 NEW BEST:: SOT 17314900 SOS 3425362 HAS SOPS 3425362 HAS SOUS 2479586 HAS SOUPS 2479586 WITH SCORE 2483011.362
AT ITER 7258 NEW BEST:: SOT 17315119 SOS 3425210 HAS SOPS 3425210 HAS SOUS 2479510 HAS SOUPS 2479510 WITH SCORE 2482935.21
AT ITER 7269 NEW BEST:: SOT 17315016 SOS 3425004 HAS SOPS 3425004 HAS SOUS 2479407 HAS SOUPS 2479407 WITH SCORE 2482832.004
AT ITER 7279 NEW BEST:: SOT 17314145 SOS 3423906 HAS SOPS 3423906 HAS SOUS 2478309 HAS SOUPS 2478309 WITH SCORE 2481732.906
AT ITER 7295 NEW BEST:: SOT 17314145 SOS 3424379 HAS SOPS 3424379 HAS SOUS 2478308 HAS SOUPS 2478308 WITH SCORE 2481732.379
AT ITER 7355 NEW BEST:: SOT 17314040 SOS 3423854 HAS SOPS 3423854 HAS SOUS 2478098 HAS SOUPS 2478098 WITH SCORE 2481521.854
AT ITER 7363 NEW BEST:: SOT 17314039 SOS 3423852 HAS SOPS 3423852 HAS SOUS 2478096 HAS SOUPS 2478096 WITH SCORE 2481519.852
AT ITER 7365 NEW BEST:: SOT 17314039 SOS 3423852 HAS SOPS 3423852 HAS SOUS 2477724 HAS SOUPS 2477724 WITH SCORE 2481147.852
AT ITER 7368 NEW BEST:: SOT 17313947 SOS 3423668 HAS SOPS 3423668 HAS SOUS 2477632 HAS SOUPS 2477632 WITH SCORE 2481055.668
AT ITER 7412 NEW BEST:: SOT 17313904 SOS 3423582 HAS SOPS 3423582 HAS SOUS 2477546 HAS SOUPS 2477546 WITH SCORE 2480969.582
AT ITER 7418 NEW BEST:: SOT 17313743 SOS 3423260 HAS SOPS 3423260 HAS SOUS 2477224 HAS SOUPS 2477224 WITH SCORE 2480647.26
AT ITER 7450 NEW BEST:: SOT 17313743 SOS 3423260 HAS SOPS 3423260 HAS SOUS 2477223 HAS SOUPS 2477223 WITH SCORE 2480646.26
AT ITER 7491 NEW BEST:: SOT 17313537 SOS 3422848 HAS SOPS 3422848 HAS SOUS 2476795 HAS SOUPS 2476795 WITH SCORE 2480217.848
AT ITER 7494 NEW BEST:: SOT 17313521 SOS 3422816 HAS SOPS 3422816 HAS SOUS 2476763 HAS SOUPS 2476763 WITH SCORE 2480185.816
AT ITER 7505 NEW BEST:: SOT 17313433 SOS 3422640 HAS SOPS 3422640 HAS SOUS 2476675 HAS SOUPS 2476675 WITH SCORE 2480097.64
AT ITER 7520 NEW BEST:: SOT 17313558 SOS 3422562 HAS SOPS 3422562 HAS SOUS 2476572 HAS SOUPS 2476572 WITH SCORE 2479994.562
AT ITER 7539 NEW BEST:: SOT 17313558 SOS 3422562 HAS SOPS 3422562 HAS SOUS 2476571 HAS SOUPS 2476571 WITH SCORE 2479993.562
AT ITER 7569 NEW BEST:: SOT 17313434 SOS 3422314 HAS SOPS 3422314 HAS SOUS 2476201 HAS SOUPS 2476201 WITH SCORE 2479623.314
AT ITER 7599 NEW BEST:: SOT 17313025 SOS 3421905 HAS SOPS 3421905 HAS SOUS 2475383 HAS SOUPS 2475383 WITH SCORE 2478804.905
AT ITER 7620 NEW BEST:: SOT 17312340 SOS 3420535 HAS SOPS 3420535 HAS SOUS 2474298 HAS SOUPS 2474298 WITH SCORE 2477718.535
AT ITER 7622 NEW BEST:: SOT 17312276 SOS 3420470 HAS SOPS 3420470 HAS SOUS 2474233 HAS SOUPS 2474233 WITH SCORE 2477653.47
AT ITER 7651 NEW BEST:: SOT 17312151 SOS 3420220 HAS SOPS 3420220 HAS SOUS 2474063 HAS SOUPS 2474063 WITH SCORE 2477483.22
AT ITER 7680 NEW BEST:: SOT 17311733 SOS 3410188 HAS SOPS 3410188 HAS SOUS 2473227 HAS SOUPS 2473227 WITH SCORE 2476637.188
AT ITER 7691 NEW BEST:: SOT 17311560 SOS 3409669 HAS SOPS 3409669 HAS SOUS 2473054 HAS SOUPS 2473054 WITH SCORE 2476463.669
AT ITER 7698 NEW BEST:: SOT 17311264 SOS 3409373 HAS SOPS 3409373 HAS SOUS 2473054 HAS SOUPS 2473054 WITH SCORE 2476463.373
AT ITER 7719 NEW BEST:: SOT 17311257 SOS 3409359 HAS SOPS 3409359 HAS SOUS 2473047 HAS SOUPS 2473047 WITH SCORE 2476456.359
AT ITER 7724 NEW BEST:: SOT 17311048 SOS 3408941 HAS SOPS 3408941 HAS SOUS 2472629 HAS SOUPS 2472629 WITH SCORE 2476037.941
AT ITER 7759 NEW BEST:: SOT 17311048 SOS 3408941 HAS SOPS 3408941 HAS SOUS 2472250 HAS SOUPS 2472250 WITH SCORE 2475658.941
AT ITER 7765 NEW BEST:: SOT 17310693 SOS 3408231 HAS SOPS 3408231 HAS SOUS 2471894 HAS SOUPS 2471894 WITH SCORE 2475302.231
AT ITER 7775 NEW BEST:: SOT 17310593 SOS 3408031 HAS SOPS 3408031 HAS SOUS 2471794 HAS SOUPS 2471794 WITH SCORE 2475202.031
AT ITER 7832 NEW BEST:: SOT 17310355 SOS 3407703 HAS SOPS 3407703 HAS SOUS 2471466 HAS SOUPS 2471466 WITH SCORE 2474873.703
AT ITER 7837 NEW BEST:: SOT 17308219 SOS 3408415 HAS SOPS 3408415 HAS SOUS 2470754 HAS SOUPS 2470754 WITH SCORE 2474162.415
AT ITER 7845 NEW BEST:: SOT 17308101 SOS 3407825 HAS SOPS 3407825 HAS SOUS 2470518 HAS SOUPS 2470518 WITH SCORE 2473925.825
AT ITER 7855 NEW BEST:: SOT 17308127 SOS 3407877 HAS SOPS 3407877 HAS SOUS 2470358 HAS SOUPS 2470358 WITH SCORE 2473765.877
AT ITER 7869 NEW BEST:: SOT 17307636 SOS 3406895 HAS SOPS 3406895 HAS SOUS 2469867 HAS SOUPS 2469867 WITH SCORE 2473273.895
AT ITER 7875 NEW BEST:: SOT 17306968 SOS 3405937 HAS SOPS 3405937 HAS SOUS 2469153 HAS SOUPS 2469153 WITH SCORE 2472558.937
AT ITER 7895 NEW BEST:: SOT 17306233 SOS 3405025 HAS SOPS 3405025 HAS SOUS 2468592 HAS SOUPS 2468592 WITH SCORE 2471997.025
AT ITER 7902 NEW BEST:: SOT 17305685 SOS 3406065 HAS SOPS 3406065 HAS SOUS 2467434 HAS SOUPS 2467434 WITH SCORE 2470840.065
AT ITER 7915 NEW BEST:: SOT 17305685 SOS 3403890 HAS SOPS 3403890 HAS SOUS 2467096 HAS SOUPS 2467096 WITH SCORE 2470499.89
AT ITER 7959 NEW BEST:: SOT 17305209 SOS 3403414 HAS SOPS 3403414 HAS SOUS 2467096 HAS SOUPS 2467096 WITH SCORE 2470499.414
AT ITER 7966 NEW BEST:: SOT 17305139 SOS 3403344 HAS SOPS 3403344 HAS SOUS 2467026 HAS SOUPS 2467026 WITH SCORE 2470429.344
AT ITER 7971 NEW BEST:: SOT 17305139 SOS 3403237 HAS SOPS 3403237 HAS SOUS 2466919 HAS SOUPS 2466919 WITH SCORE 2470322.237
AT ITER 7983 NEW BEST:: SOT 17305125 SOS 3403222 HAS SOPS 3403222 HAS SOUS 2466918 HAS SOUPS 2466918 WITH SCORE 2470321.222
AT ITER 7988 NEW BEST:: SOT 17304863 SOS 3402721 HAS SOPS 3402721 HAS SOUS 2466395 HAS SOUPS 2466395 WITH SCORE 2469797.721
AT ITER 7994 NEW BEST:: SOT 17304716 SOS 3402427 HAS SOPS 3402427 HAS SOUS 2466101 HAS SOUPS 2466101 WITH SCORE 2469503.427
AT ITER 8007 NEW BEST:: SOT 17304381 SOS 3402395 HAS SOPS 3402395 HAS SOUS 2465889 HAS SOUPS 2465889 WITH SCORE 2469291.395
AT ITER 8021 NEW BEST:: SOT 17304380 SOS 3402393 HAS SOPS 3402393 HAS SOUS 2465887 HAS SOUPS 2465887 WITH SCORE 2469289.393
AT ITER 8024 NEW BEST:: SOT 17304379 SOS 3402391 HAS SOPS 3402391 HAS SOUS 2465885 HAS SOUPS 2465885 WITH SCORE 2469287.391
AT ITER 8027 NEW BEST:: SOT 17304106 SOS 3401845 HAS SOPS 3401845 HAS SOUS 2465339 HAS SOUPS 2465339 WITH SCORE 2468740.845
AT ITER 8031 NEW BEST:: SOT 17303978 SOS 3401052 HAS SOPS 3401052 HAS SOUS 2465320 HAS SOUPS 2465320 WITH SCORE 2468721.052
AT ITER 8056 NEW BEST:: SOT 17303896 SOS 3400888 HAS SOPS 3400888 HAS SOUS 2465253 HAS SOUPS 2465253 WITH SCORE 2468653.888
AT ITER 8060 NEW BEST:: SOT 17303523 SOS 3400366 HAS SOPS 3400366 HAS SOUS 2464532 HAS SOUPS 2464532 WITH SCORE 2467932.366
AT ITER 8066 NEW BEST:: SOT 17303522 SOS 3400364 HAS SOPS 3400364 HAS SOUS 2464530 HAS SOUPS 2464530 WITH SCORE 2467930.364
AT ITER 8073 NEW BEST:: SOT 17303111 SOS 3399542 HAS SOPS 3399542 HAS SOUS 2463708 HAS SOUPS 2463708 WITH SCORE 2467107.542
AT ITER 8093 NEW BEST:: SOT 17302110 SOS 3399696 HAS SOPS 3399696 HAS SOUS 2463325 HAS SOUPS 2463325 WITH SCORE 2466724.696
AT ITER 8102 NEW BEST:: SOT 17301819 SOS 3399114 HAS SOPS 3399114 HAS SOUS 2463315 HAS SOUPS 2463315 WITH SCORE 2466714.114
AT ITER 8108 NEW BEST:: SOT 17301900 SOS 3399276 HAS SOPS 3399276 HAS SOUS 2462755 HAS SOUPS 2462755 WITH SCORE 2466154.276
AT ITER 8109 NEW BEST:: SOT 17301900 SOS 3399710 HAS SOPS 3399710 HAS SOUS 2462754 HAS SOUPS 2462754 WITH SCORE 2466153.71
AT ITER 8114 NEW BEST:: SOT 17301900 SOS 3400621 HAS SOPS 3400621 HAS SOUS 2462753 HAS SOUPS 2462753 WITH SCORE 2466153.621
AT ITER 8115 NEW BEST:: SOT 17301460 SOS 3400475 HAS SOPS 3400475 HAS SOUS 2462257 HAS SOUPS 2462257 WITH SCORE 2465657.475
AT ITER 8126 NEW BEST:: SOT 17301502 SOS 3400559 HAS SOPS 3400559 HAS SOUS 2461899 HAS SOUPS 2461899 WITH SCORE 2465299.559
AT ITER 8139 NEW BEST:: SOT 17301121 SOS 3399967 HAS SOPS 3399967 HAS SOUS 2461455 HAS SOUPS 2461455 WITH SCORE 2464854.967
AT ITER 8230 NEW BEST:: SOT 17300685 SOS 3399527 HAS SOPS 3399527 HAS SOUS 2461018 HAS SOUPS 2461018 WITH SCORE 2464417.527
AT ITER 8253 NEW BEST:: SOT 17300685 SOS 3397475 HAS SOPS 3397475 HAS SOUS 2461018 HAS SOUPS 2461018 WITH SCORE 2464415.475
AT ITER 8291 NEW BEST:: SOT 17300457 SOS 3397020 HAS SOPS 3397020 HAS SOUS 2460563 HAS SOUPS 2460563 WITH SCORE 2463960.02
AT ITER 8302 NEW BEST:: SOT 17300873 SOS 3397338 HAS SOPS 3397338 HAS SOUS 2460464 HAS SOUPS 2460464 WITH SCORE 2463861.338
AT ITER 8303 NEW BEST:: SOT 17295077 SOS 3405454 HAS SOPS 3405454 HAS SOUS 2459147 HAS SOUPS 2459147 WITH SCORE 2462552.454
AT ITER 8315 NEW BEST:: SOT 17294616 SOS 3405452 HAS SOPS 3405452 HAS SOUS 2459145 HAS SOUPS 2459145 WITH SCORE 2462550.452
AT ITER 8316 NEW BEST:: SOT 17294615 SOS 3405450 HAS SOPS 3405450 HAS SOUS 2459143 HAS SOUPS 2459143 WITH SCORE 2462548.45
AT ITER 8323 NEW BEST:: SOT 17294563 SOS 3405346 HAS SOPS 3405346 HAS SOUS 2459039 HAS SOUPS 2459039 WITH SCORE 2462444.346
AT ITER 8343 NEW BEST:: SOT 17294563 SOS 3405195 HAS SOPS 3405195 HAS SOUS 2459039 HAS SOUPS 2459039 WITH SCORE 2462444.195
AT ITER 8346 NEW BEST:: SOT 17294415 SOS 3401878 HAS SOPS 3401878 HAS SOUS 2458839 HAS SOUPS 2458839 WITH SCORE 2462240.878
AT ITER 8388 NEW BEST:: SOT 17292905 SOS 3400972 HAS SOPS 3400972 HAS SOUS 2457933 HAS SOUPS 2457933 WITH SCORE 2461333.972
AT ITER 8424 NEW BEST:: SOT 17292479 SOS 3400120 HAS SOPS 3400120 HAS SOUS 2457081 HAS SOUPS 2457081 WITH SCORE 2460481.12
AT ITER 8433 NEW BEST:: SOT 17292479 SOS 3400120 HAS SOPS 3400120 HAS SOUS 2457023 HAS SOUPS 2457023 WITH SCORE 2460423.12
AT ITER 8445 NEW BEST:: SOT 17292333 SOS 3399828 HAS SOPS 3399828 HAS SOUS 2456731 HAS SOUPS 2456731 WITH SCORE 2460130.828
AT ITER 8491 NEW BEST:: SOT 17292333 SOS 3399655 HAS SOPS 3399655 HAS SOUS 2456731 HAS SOUPS 2456731 WITH SCORE 2460130.655
AT ITER 8523 NEW BEST:: SOT 17292249 SOS 3399487 HAS SOPS 3399487 HAS SOUS 2456214 HAS SOUPS 2456214 WITH SCORE 2459613.487
AT ITER 8536 NEW BEST:: SOT 17292145 SOS 3399279 HAS SOPS 3399279 HAS SOUS 2456006 HAS SOUPS 2456006 WITH SCORE 2459405.279
AT ITER 8548 NEW BEST:: SOT 17292072 SOS 3399133 HAS SOPS 3399133 HAS SOUS 2455860 HAS SOUPS 2455860 WITH SCORE 2459259.133
AT ITER 8559 NEW BEST:: SOT 17291974 SOS 3397012 HAS SOPS 3397012 HAS SOUS 2455321 HAS SOUPS 2455321 WITH SCORE 2458718.012
AT ITER 8563 NEW BEST:: SOT 17291974 SOS 3396178 HAS SOPS 3396178 HAS SOUS 2455174 HAS SOUPS 2455174 WITH SCORE 2458570.178
AT ITER 8593 NEW BEST:: SOT 17291974 SOS 3397950 HAS SOPS 3397950 HAS SOUS 2454975 HAS SOUPS 2454975 WITH SCORE 2458372.95
AT ITER 8596 NEW BEST:: SOT 17291974 SOS 3398117 HAS SOPS 3398117 HAS SOUS 2454974 HAS SOUPS 2454974 WITH SCORE 2458372.117
AT ITER 8627 NEW BEST:: SOT 17291960 SOS 3398089 HAS SOPS 3398089 HAS SOUS 2454948 HAS SOUPS 2454948 WITH SCORE 2458346.089
AT ITER 8653 NEW BEST:: SOT 17291923 SOS 3398052 HAS SOPS 3398052 HAS SOUS 2454911 HAS SOUPS 2454911 WITH SCORE 2458309.052
AT ITER 8661 NEW BEST:: SOT 17291436 SOS 3397561 HAS SOPS 3397561 HAS SOUS 2454423 HAS SOUPS 2454423 WITH SCORE 2457820.561
AT ITER 8665 NEW BEST:: SOT 17291176 SOS 3402937 HAS SOPS 3402937 HAS SOUS 2453903 HAS SOUPS 2453903 WITH SCORE 2457305.937
AT ITER 8676 NEW BEST:: SOT 17291176 SOS 3402697 HAS SOPS 3402697 HAS SOUS 2453823 HAS SOUPS 2453823 WITH SCORE 2457225.697
AT ITER 8678 NEW BEST:: SOT 17290991 SOS 3402696 HAS SOPS 3402696 HAS SOUS 2453822 HAS SOUPS 2453822 WITH SCORE 2457224.696
AT ITER 8684 NEW BEST:: SOT 17290676 SOS 3402066 HAS SOPS 3402066 HAS SOUS 2453191 HAS SOUPS 2453191 WITH SCORE 2456593.066
AT ITER 8708 NEW BEST:: SOT 17290425 SOS 3403433 HAS SOPS 3403433 HAS SOUS 2453125 HAS SOUPS 2453125 WITH SCORE 2456528.433
AT ITER 8763 NEW BEST:: SOT 17290354 SOS 3403291 HAS SOPS 3403291 HAS SOUS 2453054 HAS SOUPS 2453054 WITH SCORE 2456457.291
AT ITER 8782 NEW BEST:: SOT 17290206 SOS 3402995 HAS SOPS 3402995 HAS SOUS 2452758 HAS SOUPS 2452758 WITH SCORE 2456160.995
AT ITER 8853 NEW BEST:: SOT 17290206 SOS 3402995 HAS SOPS 3402995 HAS SOUS 2452757 HAS SOUPS 2452757 WITH SCORE 2456159.995
AT ITER 8859 NEW BEST:: SOT 17290203 SOS 3402989 HAS SOPS 3402989 HAS SOUS 2452685 HAS SOUPS 2452685 WITH SCORE 2456087.989
AT ITER 8884 NEW BEST:: SOT 17289752 SOS 3403687 HAS SOPS 3403687 HAS SOUS 2452634 HAS SOUPS 2452634 WITH SCORE 2456037.687
AT ITER 8925 NEW BEST:: SOT 17289734 SOS 3403651 HAS SOPS 3403651 HAS SOUS 2452598 HAS SOUPS 2452598 WITH SCORE 2456001.651
AT ITER 8932 NEW BEST:: SOT 17289660 SOS 3403503 HAS SOPS 3403503 HAS SOUS 2452450 HAS SOUPS 2452450 WITH SCORE 2455853.503
AT ITER 8943 NEW BEST:: SOT 17289426 SOS 3403035 HAS SOPS 3403035 HAS SOUS 2451982 HAS SOUPS 2451982 WITH SCORE 2455385.035
AT ITER 8955 NEW BEST:: SOT 17289054 SOS 3401816 HAS SOPS 3401816 HAS SOUS 2451474 HAS SOUPS 2451474 WITH SCORE 2454875.816
AT ITER 8971 NEW BEST:: SOT 17288273 SOS 3401859 HAS SOPS 3401859 HAS SOUS 2451228 HAS SOUPS 2451228 WITH SCORE 2454629.859
AT ITER 8977 NEW BEST:: SOT 17287289 SOS 3402393 HAS SOPS 3402393 HAS SOUS 2450253 HAS SOUPS 2450253 WITH SCORE 2453655.393
AT ITER 9020 NEW BEST:: SOT 17287289 SOS 3402393 HAS SOPS 3402393 HAS SOUS 2450179 HAS SOUPS 2450179 WITH SCORE 2453581.393
AT ITER 9040 NEW BEST:: SOT 17287189 SOS 3402193 HAS SOPS 3402193 HAS SOUS 2449979 HAS SOUPS 2449979 WITH SCORE 2453381.193
AT ITER 9054 NEW BEST:: SOT 17287055 SOS 3401791 HAS SOPS 3401791 HAS SOUS 2449711 HAS SOUPS 2449711 WITH SCORE 2453112.791
AT ITER 9059 NEW BEST:: SOT 17286868 SOS 3400280 HAS SOPS 3400280 HAS SOUS 2449337 HAS SOUPS 2449337 WITH SCORE 2452737.28
AT ITER 9077 NEW BEST:: SOT 17286522 SOS 3399588 HAS SOPS 3399588 HAS SOUS 2448645 HAS SOUPS 2448645 WITH SCORE 2452044.588
AT ITER 9078 NEW BEST:: SOT 17286522 SOS 3399588 HAS SOPS 3399588 HAS SOUS 2448216 HAS SOUPS 2448216 WITH SCORE 2451615.588
AT ITER 9080 NEW BEST:: SOT 17286232 SOS 3398428 HAS SOPS 3398428 HAS SOUS 2447636 HAS SOUPS 2447636 WITH SCORE 2451034.428
AT ITER 9081 NEW BEST:: SOT 17286228 SOS 3398420 HAS SOPS 3398420 HAS SOUS 2447628 HAS SOUPS 2447628 WITH SCORE 2451026.42
AT ITER 9085 NEW BEST:: SOT 17285834 SOS 3398388 HAS SOPS 3398388 HAS SOUS 2447596 HAS SOUPS 2447596 WITH SCORE 2450994.388
AT ITER 9106 NEW BEST:: SOT 17285075 SOS 3396870 HAS SOPS 3396870 HAS SOUS 2445894 HAS SOUPS 2445894 WITH SCORE 2449290.87
AT ITER 9119 NEW BEST:: SOT 17285159 SOS 3397038 HAS SOPS 3397038 HAS SOUS 2445748 HAS SOUPS 2445748 WITH SCORE 2449145.038
AT ITER 9122 NEW BEST:: SOT 17284381 SOS 3393531 HAS SOPS 3393531 HAS SOUS 2443809 HAS SOUPS 2443809 WITH SCORE 2447202.531
AT ITER 9185 NEW BEST:: SOT 17283731 SOS 3386381 HAS SOPS 3386381 HAS SOUS 2442509 HAS SOUPS 2442509 WITH SCORE 2445895.381
AT ITER 9192 NEW BEST:: SOT 17283231 SOS 3386446 HAS SOPS 3386446 HAS SOUS 2442315 HAS SOUPS 2442315 WITH SCORE 2445701.446
AT ITER 9207 NEW BEST:: SOT 17282842 SOS 3385668 HAS SOPS 3385668 HAS SOUS 2441537 HAS SOUPS 2441537 WITH SCORE 2444922.668
AT ITER 9209 NEW BEST:: SOT 17282825 SOS 3385634 HAS SOPS 3385634 HAS SOUS 2441503 HAS SOUPS 2441503 WITH SCORE 2444888.634
AT ITER 9266 NEW BEST:: SOT 17282806 SOS 3385596 HAS SOPS 3385596 HAS SOUS 2441465 HAS SOUPS 2441465 WITH SCORE 2444850.596
AT ITER 9288 NEW BEST:: SOT 17282806 SOS 3385596 HAS SOPS 3385596 HAS SOUS 2441218 HAS SOUPS 2441218 WITH SCORE 2444603.596
AT ITER 9346 NEW BEST:: SOT 17282391 SOS 3384616 HAS SOPS 3384616 HAS SOUS 2440238 HAS SOUPS 2440238 WITH SCORE 2443622.616
AT ITER 9367 NEW BEST:: SOT 17282250 SOS 3384334 HAS SOPS 3384334 HAS SOUS 2440097 HAS SOUPS 2440097 WITH SCORE 2443481.334
AT ITER 9374 NEW BEST:: SOT 17282246 SOS 3384326 HAS SOPS 3384326 HAS SOUS 2440089 HAS SOUPS 2440089 WITH SCORE 2443473.326
AT ITER 9376 NEW BEST:: SOT 17281329 SOS 3382492 HAS SOPS 3382492 HAS SOUS 2439105 HAS SOUPS 2439105 WITH SCORE 2442487.492
AT ITER 9386 NEW BEST:: SOT 17280032 SOS 3382829 HAS SOPS 3382829 HAS SOUS 2438785 HAS SOUPS 2438785 WITH SCORE 2442167.829
AT ITER 9433 NEW BEST:: SOT 17279794 SOS 3382692 HAS SOPS 3382692 HAS SOUS 2438648 HAS SOUPS 2438648 WITH SCORE 2442030.692
AT ITER 9441 NEW BEST:: SOT 17279680 SOS 3382578 HAS SOPS 3382578 HAS SOUS 2438534 HAS SOUPS 2438534 WITH SCORE 2441916.578
AT ITER 9443 NEW BEST:: SOT 17278566 SOS 3381194 HAS SOPS 3381194 HAS SOUS 2438315 HAS SOUPS 2438315 WITH SCORE 2441696.194
AT ITER 9449 NEW BEST:: SOT 17278416 SOS 3381044 HAS SOPS 3381044 HAS SOUS 2438165 HAS SOUPS 2438165 WITH SCORE 2441546.044
AT ITER 9454 NEW BEST:: SOT 17277398 SOS 3380448 HAS SOPS 3380448 HAS SOUS 2437507 HAS SOUPS 2437507 WITH SCORE 2440887.448
AT ITER 9459 NEW BEST:: SOT 17277282 SOS 3380100 HAS SOPS 3380100 HAS SOUS 2437507 HAS SOUPS 2437507 WITH SCORE 2440887.1
AT ITER 9479 NEW BEST:: SOT 17275700 SOS 3379984 HAS SOPS 3379984 HAS SOUS 2437391 HAS SOUPS 2437391 WITH SCORE 2440770.984
AT ITER 9496 NEW BEST:: SOT 17275608 SOS 3379800 HAS SOPS 3379800 HAS SOUS 2437207 HAS SOUPS 2437207 WITH SCORE 2440586.8
AT ITER 9499 NEW BEST:: SOT 17275535 SOS 3379654 HAS SOPS 3379654 HAS SOUS 2437061 HAS SOUPS 2437061 WITH SCORE 2440440.654
AT ITER 9530 NEW BEST:: SOT 17275597 SOS 3379628 HAS SOPS 3379628 HAS SOUS 2437025 HAS SOUPS 2437025 WITH SCORE 2440404.628
AT ITER 9533 NEW BEST:: SOT 17275109 SOS 3379136 HAS SOPS 3379136 HAS SOUS 2436536 HAS SOUPS 2436536 WITH SCORE 2439915.136
AT ITER 9550 NEW BEST:: SOT 17274599 SOS 3378772 HAS SOPS 3378772 HAS SOUS 2436172 HAS SOUPS 2436172 WITH SCORE 2439550.772
AT ITER 9558 NEW BEST:: SOT 17274215 SOS 3378004 HAS SOPS 3378004 HAS SOUS 2435404 HAS SOUPS 2435404 WITH SCORE 2438782.004
AT ITER 9559 NEW BEST:: SOT 17273578 SOS 3378734 HAS SOPS 3378734 HAS SOUS 2434777 HAS SOUPS 2434777 WITH SCORE 2438155.734
AT ITER 9564 NEW BEST:: SOT 17272950 SOS 3377478 HAS SOPS 3377478 HAS SOUS 2433754 HAS SOUPS 2433754 WITH SCORE 2437131.478
AT ITER 9598 NEW BEST:: SOT 17272304 SOS 3376186 HAS SOPS 3376186 HAS SOUS 2433141 HAS SOUPS 2433141 WITH SCORE 2436517.186
AT ITER 9628 NEW BEST:: SOT 17272303 SOS 3376184 HAS SOPS 3376184 HAS SOUS 2433139 HAS SOUPS 2433139 WITH SCORE 2436515.184
AT ITER 9660 NEW BEST:: SOT 17271921 SOS 3376008 HAS SOPS 3376008 HAS SOUS 2432757 HAS SOUPS 2432757 WITH SCORE 2436133.008
AT ITER 9664 NEW BEST:: SOT 17271622 SOS 3375709 HAS SOPS 3375709 HAS SOUS 2432458 HAS SOUPS 2432458 WITH SCORE 2435833.709
AT ITER 9671 NEW BEST:: SOT 17271162 SOS 3375029 HAS SOPS 3375029 HAS SOUS 2432385 HAS SOUPS 2432385 WITH SCORE 2435760.029
AT ITER 9677 NEW BEST:: SOT 17270795 SOS 3372775 HAS SOPS 3372775 HAS SOUS 2431258 HAS SOUPS 2431258 WITH SCORE 2434630.775
AT ITER 9702 NEW BEST:: SOT 17270761 SOS 3373564 HAS SOPS 3373564 HAS SOUS 2431189 HAS SOUPS 2431189 WITH SCORE 2434562.564
AT ITER 9703 NEW BEST:: SOT 17270146 SOS 3373555 HAS SOPS 3373555 HAS SOUS 2431180 HAS SOUPS 2431180 WITH SCORE 2434553.555
AT ITER 9725 NEW BEST:: SOT 17269586 SOS 3372435 HAS SOPS 3372435 HAS SOUS 2430613 HAS SOUPS 2430613 WITH SCORE 2433985.435
AT ITER 9731 NEW BEST:: SOT 17269151 SOS 3368838 HAS SOPS 3368838 HAS SOUS 2429269 HAS SOUPS 2429269 WITH SCORE 2432637.838
AT ITER 9749 NEW BEST:: SOT 17265641 SOS 3388269 HAS SOPS 3388269 HAS SOUS 2428996 HAS SOUPS 2428996 WITH SCORE 2432384.269
AT ITER 9764 NEW BEST:: SOT 17265632 SOS 3388251 HAS SOPS 3388251 HAS SOUS 2428987 HAS SOUPS 2428987 WITH SCORE 2432375.251
AT ITER 9778 NEW BEST:: SOT 17265332 SOS 3387651 HAS SOPS 3387651 HAS SOUS 2428262 HAS SOUPS 2428262 WITH SCORE 2431649.651
AT ITER 9796 NEW BEST:: SOT 17265271 SOS 3387833 HAS SOPS 3387833 HAS SOUS 2428261 HAS SOUPS 2428261 WITH SCORE 2431648.833
AT ITER 9809 NEW BEST:: SOT 17265144 SOS 3387706 HAS SOPS 3387706 HAS SOUS 2428146 HAS SOUPS 2428146 WITH SCORE 2431533.706
AT ITER 9826 NEW BEST:: SOT 17264806 SOS 3386508 HAS SOPS 3386508 HAS SOUS 2427286 HAS SOUPS 2427286 WITH SCORE 2430672.508
AT ITER 9845 NEW BEST:: SOT 17264763 SOS 3386465 HAS SOPS 3386465 HAS SOUS 2427286 HAS SOUPS 2427286 WITH SCORE 2430672.465
AT ITER 9849 NEW BEST:: SOT 17261791 SOS 3389101 HAS SOPS 3389101 HAS SOUS 2425543 HAS SOUPS 2425543 WITH SCORE 2428932.101
AT ITER 9857 NEW BEST:: SOT 17258438 SOS 3387085 HAS SOPS 3387085 HAS SOUS 2423527 HAS SOUPS 2423527 WITH SCORE 2426914.085
AT ITER 9877 NEW BEST:: SOT 17258015 SOS 3385618 HAS SOPS 3385618 HAS SOUS 2422483 HAS SOUPS 2422483 WITH SCORE 2425868.618
AT ITER 9883 NEW BEST:: SOT 17256576 SOS 3385017 HAS SOPS 3385017 HAS SOUS 2421803 HAS SOUPS 2421803 WITH SCORE 2425188.017
AT ITER 9884 NEW BEST:: SOT 17255938 SOS 3384351 HAS SOPS 3384351 HAS SOUS 2421137 HAS SOUPS 2421137 WITH SCORE 2424521.351
AT ITER 9898 NEW BEST:: SOT 17255710 SOS 3384486 HAS SOPS 3384486 HAS SOUS 2421106 HAS SOUPS 2421106 WITH SCORE 2424490.486
AT ITER 9899 NEW BEST:: SOT 17255265 SOS 3383596 HAS SOPS 3383596 HAS SOUS 2420216 HAS SOUPS 2420216 WITH SCORE 2423599.596
AT ITER 9903 NEW BEST:: SOT 17255260 SOS 3383586 HAS SOPS 3383586 HAS SOUS 2420206 HAS SOUPS 2420206 WITH SCORE 2423589.586
AT ITER 9904 NEW BEST:: SOT 17254422 SOS 3381910 HAS SOPS 3381910 HAS SOUS 2418964 HAS SOUPS 2418964 WITH SCORE 2422345.91
AT ITER 9921 NEW BEST:: SOT 17254422 SOS 3381846 HAS SOPS 3381846 HAS SOUS 2418900 HAS SOUPS 2418900 WITH SCORE 2422281.846
AT ITER 9923 NEW BEST:: SOT 17254330 SOS 3381662 HAS SOPS 3381662 HAS SOUS 2418716 HAS SOUPS 2418716 WITH SCORE 2422097.662
AT ITER 9943 NEW BEST:: SOT 17254230 SOS 3381462 HAS SOPS 3381462 HAS SOUS 2418564 HAS SOUPS 2418564 WITH SCORE 2421945.462
AT ITER 9987 NEW BEST:: SOT 17254017 SOS 3380395 HAS SOPS 3380395 HAS SOUS 2418347 HAS SOUPS 2418347 WITH SCORE 2421727.395
AT ITER 9988 NEW BEST:: SOT 17253778 SOS 3380395 HAS SOPS 3380395 HAS SOUS 2417869 HAS SOUPS 2417869 WITH SCORE 2421249.395
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15069980 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121396 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-2b"
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-2b, 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-167814484300520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-2b.tgz
mv DLCflexbar-PT-2b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;