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.r075-smll-167814401000376.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 CloudDeployment-PT-2b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814401000376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 632K
-rw-r--r-- 1 mcc users 5.9K Feb 25 14:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 25 14:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 14:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 14:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 14:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 14:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 14:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:44 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 166K 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 1678337511576

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=CloudDeployment-PT-2b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 04:51:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 04:51:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 04:51:55] [INFO ] Load time of PNML (sax parser for PT used): 197 ms
[2023-03-09 04:51:55] [INFO ] Transformed 556 places.
[2023-03-09 04:51:55] [INFO ] Transformed 684 transitions.
[2023-03-09 04:51:55] [INFO ] Found NUPN structural information;
[2023-03-09 04:51:55] [INFO ] Parsed PT model containing 556 places and 684 transitions and 1987 arcs in 373 ms.
[2023-03-09 04:51:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 556 places, 684 transitions and 1987 arcs took 34 ms.
Total runtime 482 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (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: 556 places, 684 transitions, 1987 arcs.
AT ITER 0 NEW BEST:: SOT 220806 SOS 58153 HAS SOPS 58153 HAS SOUS 46115 HAS SOUPS 46115 WITH SCORE 46173.153
AT ITER 1 NEW BEST:: SOT 220806 SOS 58117 HAS SOPS 58117 HAS SOUS 46077 HAS SOUPS 46077 WITH SCORE 46135.117
AT ITER 4 NEW BEST:: SOT 220810 SOS 58054 HAS SOPS 58054 HAS SOUS 46048 HAS SOUPS 46048 WITH SCORE 46106.054
AT ITER 21 NEW BEST:: SOT 220810 SOS 58104 HAS SOPS 58104 HAS SOUS 45917 HAS SOUPS 45917 WITH SCORE 45975.104
AT ITER 23 NEW BEST:: SOT 220735 SOS 57954 HAS SOPS 57954 HAS SOUS 45767 HAS SOUPS 45767 WITH SCORE 45824.954
AT ITER 32 NEW BEST:: SOT 220686 SOS 58022 HAS SOPS 58022 HAS SOUS 45736 HAS SOUPS 45736 WITH SCORE 45794.022
AT ITER 63 NEW BEST:: SOT 220804 SOS 57931 HAS SOPS 57931 HAS SOUS 45719 HAS SOUPS 45719 WITH SCORE 45776.931
AT ITER 71 NEW BEST:: SOT 220789 SOS 57901 HAS SOPS 57901 HAS SOUS 45636 HAS SOUPS 45636 WITH SCORE 45693.901
AT ITER 72 NEW BEST:: SOT 220692 SOS 57979 HAS SOPS 57979 HAS SOUS 45592 HAS SOUPS 45592 WITH SCORE 45649.979
AT ITER 82 NEW BEST:: SOT 220667 SOS 57954 HAS SOPS 57954 HAS SOUS 45581 HAS SOUPS 45581 WITH SCORE 45638.954
AT ITER 93 NEW BEST:: SOT 220528 SOS 57862 HAS SOPS 57862 HAS SOUS 45482 HAS SOUPS 45482 WITH SCORE 45539.862
AT ITER 111 NEW BEST:: SOT 220512 SOS 57830 HAS SOPS 57830 HAS SOUS 45349 HAS SOUPS 45349 WITH SCORE 45406.83
AT ITER 112 NEW BEST:: SOT 220469 SOS 57873 HAS SOPS 57873 HAS SOUS 45322 HAS SOUPS 45322 WITH SCORE 45379.873
AT ITER 117 NEW BEST:: SOT 220466 SOS 57878 HAS SOPS 57878 HAS SOUS 45320 HAS SOUPS 45320 WITH SCORE 45377.878
AT ITER 122 NEW BEST:: SOT 220464 SOS 57874 HAS SOPS 57874 HAS SOUS 45318 HAS SOUPS 45318 WITH SCORE 45375.874
AT ITER 125 NEW BEST:: SOT 220464 SOS 57872 HAS SOPS 57872 HAS SOUS 45284 HAS SOUPS 45284 WITH SCORE 45341.872
AT ITER 130 NEW BEST:: SOT 220448 SOS 57875 HAS SOPS 57875 HAS SOUS 45278 HAS SOUPS 45278 WITH SCORE 45335.875
AT ITER 135 NEW BEST:: SOT 220448 SOS 57875 HAS SOPS 57875 HAS SOUS 45276 HAS SOUPS 45276 WITH SCORE 45333.875
AT ITER 144 NEW BEST:: SOT 220480 SOS 57848 HAS SOPS 57848 HAS SOUS 45276 HAS SOUPS 45276 WITH SCORE 45333.848
AT ITER 147 NEW BEST:: SOT 220479 SOS 57846 HAS SOPS 57846 HAS SOUS 45274 HAS SOUPS 45274 WITH SCORE 45331.846
AT ITER 148 NEW BEST:: SOT 220475 SOS 57807 HAS SOPS 57807 HAS SOUS 45158 HAS SOUPS 45158 WITH SCORE 45215.807
AT ITER 161 NEW BEST:: SOT 220475 SOS 57807 HAS SOPS 57807 HAS SOUS 45148 HAS SOUPS 45148 WITH SCORE 45205.807
AT ITER 162 NEW BEST:: SOT 220346 SOS 57737 HAS SOPS 57737 HAS SOUS 45003 HAS SOUPS 45003 WITH SCORE 45060.737
AT ITER 173 NEW BEST:: SOT 220265 SOS 57663 HAS SOPS 57663 HAS SOUS 44922 HAS SOUPS 44922 WITH SCORE 44979.663
AT ITER 179 NEW BEST:: SOT 220260 SOS 57653 HAS SOPS 57653 HAS SOUS 44907 HAS SOUPS 44907 WITH SCORE 44964.653
AT ITER 182 NEW BEST:: SOT 220131 SOS 57715 HAS SOPS 57715 HAS SOUS 44818 HAS SOUPS 44818 WITH SCORE 44875.715
AT ITER 184 NEW BEST:: SOT 220131 SOS 57712 HAS SOPS 57712 HAS SOUS 44815 HAS SOUPS 44815 WITH SCORE 44872.712
AT ITER 207 NEW BEST:: SOT 220111 SOS 57652 HAS SOPS 57652 HAS SOUS 44795 HAS SOUPS 44795 WITH SCORE 44852.652
AT ITER 212 NEW BEST:: SOT 219717 SOS 57694 HAS SOPS 57694 HAS SOUS 44484 HAS SOUPS 44484 WITH SCORE 44541.694
AT ITER 217 NEW BEST:: SOT 219705 SOS 57676 HAS SOPS 57676 HAS SOUS 44466 HAS SOUPS 44466 WITH SCORE 44523.676
AT ITER 218 NEW BEST:: SOT 219641 SOS 57456 HAS SOPS 57456 HAS SOUS 44174 HAS SOUPS 44174 WITH SCORE 44231.456
AT ITER 222 NEW BEST:: SOT 219640 SOS 57454 HAS SOPS 57454 HAS SOUS 44172 HAS SOUPS 44172 WITH SCORE 44229.454
AT ITER 241 NEW BEST:: SOT 219640 SOS 57454 HAS SOPS 57454 HAS SOUS 44171 HAS SOUPS 44171 WITH SCORE 44228.454
AT ITER 251 NEW BEST:: SOT 219620 SOS 57454 HAS SOPS 57454 HAS SOUS 44131 HAS SOUPS 44131 WITH SCORE 44188.454
AT ITER 261 NEW BEST:: SOT 219620 SOS 57433 HAS SOPS 57433 HAS SOUS 44110 HAS SOUPS 44110 WITH SCORE 44167.433
AT ITER 271 NEW BEST:: SOT 219651 SOS 57415 HAS SOPS 57415 HAS SOUS 44107 HAS SOUPS 44107 WITH SCORE 44164.415
AT ITER 302 NEW BEST:: SOT 219652 SOS 57404 HAS SOPS 57404 HAS SOUS 44060 HAS SOUPS 44060 WITH SCORE 44117.404
AT ITER 305 NEW BEST:: SOT 219604 SOS 57392 HAS SOPS 57392 HAS SOUS 44047 HAS SOUPS 44047 WITH SCORE 44104.392
AT ITER 315 NEW BEST:: SOT 219592 SOS 57368 HAS SOPS 57368 HAS SOUS 44030 HAS SOUPS 44030 WITH SCORE 44087.368
AT ITER 327 NEW BEST:: SOT 219503 SOS 57400 HAS SOPS 57400 HAS SOUS 43995 HAS SOUPS 43995 WITH SCORE 44052.4
AT ITER 332 NEW BEST:: SOT 219484 SOS 57362 HAS SOPS 57362 HAS SOUS 43976 HAS SOUPS 43976 WITH SCORE 44033.362
AT ITER 336 NEW BEST:: SOT 219495 SOS 57384 HAS SOPS 57384 HAS SOUS 43932 HAS SOUPS 43932 WITH SCORE 43989.384
AT ITER 357 NEW BEST:: SOT 219489 SOS 57396 HAS SOPS 57396 HAS SOUS 43920 HAS SOUPS 43920 WITH SCORE 43977.396
AT ITER 359 NEW BEST:: SOT 219480 SOS 57153 HAS SOPS 57153 HAS SOUS 43886 HAS SOUPS 43886 WITH SCORE 43943.153
AT ITER 390 NEW BEST:: SOT 219474 SOS 57141 HAS SOPS 57141 HAS SOUS 43874 HAS SOUPS 43874 WITH SCORE 43931.141
AT ITER 401 NEW BEST:: SOT 219473 SOS 57136 HAS SOPS 57136 HAS SOUS 43872 HAS SOUPS 43872 WITH SCORE 43929.136
AT ITER 440 NEW BEST:: SOT 219459 SOS 57122 HAS SOPS 57122 HAS SOUS 43853 HAS SOUPS 43853 WITH SCORE 43910.122
AT ITER 444 NEW BEST:: SOT 219452 SOS 57108 HAS SOPS 57108 HAS SOUS 43828 HAS SOUPS 43828 WITH SCORE 43885.108
AT ITER 451 NEW BEST:: SOT 219422 SOS 57088 HAS SOPS 57088 HAS SOUS 43798 HAS SOUPS 43798 WITH SCORE 43855.088
AT ITER 476 NEW BEST:: SOT 219409 SOS 57049 HAS SOPS 57049 HAS SOUS 43772 HAS SOUPS 43772 WITH SCORE 43829.049
AT ITER 487 NEW BEST:: SOT 219411 SOS 56987 HAS SOPS 56987 HAS SOUS 43709 HAS SOUPS 43709 WITH SCORE 43765.987
AT ITER 502 NEW BEST:: SOT 219046 SOS 57083 HAS SOPS 57083 HAS SOUS 43576 HAS SOUPS 43576 WITH SCORE 43633.083
AT ITER 504 NEW BEST:: SOT 219046 SOS 57083 HAS SOPS 57083 HAS SOUS 43573 HAS SOUPS 43573 WITH SCORE 43630.083
AT ITER 508 NEW BEST:: SOT 219043 SOS 57077 HAS SOPS 57077 HAS SOUS 43567 HAS SOUPS 43567 WITH SCORE 43624.077
AT ITER 518 NEW BEST:: SOT 219043 SOS 57046 HAS SOPS 57046 HAS SOUS 43536 HAS SOUPS 43536 WITH SCORE 43593.046
AT ITER 525 NEW BEST:: SOT 219043 SOS 57046 HAS SOPS 57046 HAS SOUS 43535 HAS SOUPS 43535 WITH SCORE 43592.046
AT ITER 528 NEW BEST:: SOT 218933 SOS 56936 HAS SOPS 56936 HAS SOUS 43322 HAS SOUPS 43322 WITH SCORE 43378.936
AT ITER 537 NEW BEST:: SOT 218933 SOS 56919 HAS SOPS 56919 HAS SOUS 43305 HAS SOUPS 43305 WITH SCORE 43361.919
AT ITER 544 NEW BEST:: SOT 218922 SOS 56908 HAS SOPS 56908 HAS SOUS 43305 HAS SOUPS 43305 WITH SCORE 43361.908
AT ITER 552 NEW BEST:: SOT 218922 SOS 57208 HAS SOPS 57208 HAS SOUS 43245 HAS SOUPS 43245 WITH SCORE 43302.208
AT ITER 556 NEW BEST:: SOT 218857 SOS 57246 HAS SOPS 57246 HAS SOUS 43180 HAS SOUPS 43180 WITH SCORE 43237.246
AT ITER 558 NEW BEST:: SOT 218857 SOS 57246 HAS SOPS 57246 HAS SOUS 43071 HAS SOUPS 43071 WITH SCORE 43128.246
AT ITER 590 NEW BEST:: SOT 218817 SOS 57518 HAS SOPS 57518 HAS SOUS 43064 HAS SOUPS 43064 WITH SCORE 43121.518
AT ITER 609 NEW BEST:: SOT 218826 SOS 57472 HAS SOPS 57472 HAS SOUS 43018 HAS SOUPS 43018 WITH SCORE 43075.472
AT ITER 613 NEW BEST:: SOT 218773 SOS 57434 HAS SOPS 57434 HAS SOUS 42965 HAS SOUPS 42965 WITH SCORE 43022.434
AT ITER 650 NEW BEST:: SOT 218735 SOS 57358 HAS SOPS 57358 HAS SOUS 42927 HAS SOUPS 42927 WITH SCORE 42984.358
AT ITER 652 NEW BEST:: SOT 218696 SOS 57280 HAS SOPS 57280 HAS SOUS 42888 HAS SOUPS 42888 WITH SCORE 42945.28
AT ITER 666 NEW BEST:: SOT 218687 SOS 57244 HAS SOPS 57244 HAS SOUS 42870 HAS SOUPS 42870 WITH SCORE 42927.244
AT ITER 668 NEW BEST:: SOT 218667 SOS 57204 HAS SOPS 57204 HAS SOUS 42850 HAS SOUPS 42850 WITH SCORE 42907.204
AT ITER 680 NEW BEST:: SOT 218661 SOS 57128 HAS SOPS 57128 HAS SOUS 42824 HAS SOUPS 42824 WITH SCORE 42881.128
AT ITER 688 NEW BEST:: SOT 218651 SOS 57108 HAS SOPS 57108 HAS SOUS 42804 HAS SOUPS 42804 WITH SCORE 42861.108
AT ITER 689 NEW BEST:: SOT 218695 SOS 57304 HAS SOPS 57304 HAS SOUS 42784 HAS SOUPS 42784 WITH SCORE 42841.304
AT ITER 708 NEW BEST:: SOT 218679 SOS 57273 HAS SOPS 57273 HAS SOUS 42750 HAS SOUPS 42750 WITH SCORE 42807.273
AT ITER 716 NEW BEST:: SOT 218679 SOS 57273 HAS SOPS 57273 HAS SOUS 42728 HAS SOUPS 42728 WITH SCORE 42785.273
AT ITER 723 NEW BEST:: SOT 218679 SOS 57252 HAS SOPS 57252 HAS SOUS 42707 HAS SOUPS 42707 WITH SCORE 42764.252
AT ITER 732 NEW BEST:: SOT 218672 SOS 57245 HAS SOPS 57245 HAS SOUS 42700 HAS SOUPS 42700 WITH SCORE 42757.245
AT ITER 750 NEW BEST:: SOT 218639 SOS 57212 HAS SOPS 57212 HAS SOUS 42700 HAS SOUPS 42700 WITH SCORE 42757.212
AT ITER 765 NEW BEST:: SOT 218585 SOS 57171 HAS SOPS 57171 HAS SOUS 42626 HAS SOUPS 42626 WITH SCORE 42683.171
AT ITER 785 NEW BEST:: SOT 218603 SOS 57198 HAS SOPS 57198 HAS SOUS 42618 HAS SOUPS 42618 WITH SCORE 42675.198
AT ITER 788 NEW BEST:: SOT 218514 SOS 57383 HAS SOPS 57383 HAS SOUS 42604 HAS SOUPS 42604 WITH SCORE 42661.383
AT ITER 798 NEW BEST:: SOT 218560 SOS 57685 HAS SOPS 57685 HAS SOUS 42595 HAS SOUPS 42595 WITH SCORE 42652.685
AT ITER 812 NEW BEST:: SOT 218560 SOS 57652 HAS SOPS 57652 HAS SOUS 42562 HAS SOUPS 42562 WITH SCORE 42619.652
AT ITER 819 NEW BEST:: SOT 218543 SOS 57645 HAS SOPS 57645 HAS SOUS 42521 HAS SOUPS 42521 WITH SCORE 42578.645
AT ITER 824 NEW BEST:: SOT 218481 SOS 57598 HAS SOPS 57598 HAS SOUS 42474 HAS SOUPS 42474 WITH SCORE 42531.598
AT ITER 829 NEW BEST:: SOT 218316 SOS 57433 HAS SOPS 57433 HAS SOUS 42254 HAS SOUPS 42254 WITH SCORE 42311.433
AT ITER 842 NEW BEST:: SOT 218323 SOS 57447 HAS SOPS 57447 HAS SOUS 42241 HAS SOUPS 42241 WITH SCORE 42298.447
AT ITER 849 NEW BEST:: SOT 218321 SOS 57443 HAS SOPS 57443 HAS SOUS 42237 HAS SOUPS 42237 WITH SCORE 42294.443
AT ITER 869 NEW BEST:: SOT 218317 SOS 57435 HAS SOPS 57435 HAS SOUS 42229 HAS SOUPS 42229 WITH SCORE 42286.435
AT ITER 898 NEW BEST:: SOT 218265 SOS 57331 HAS SOPS 57331 HAS SOUS 42154 HAS SOUPS 42154 WITH SCORE 42211.331
AT ITER 902 NEW BEST:: SOT 218265 SOS 57267 HAS SOPS 57267 HAS SOUS 42105 HAS SOUPS 42105 WITH SCORE 42162.267
AT ITER 913 NEW BEST:: SOT 218249 SOS 57299 HAS SOPS 57299 HAS SOUS 42073 HAS SOUPS 42073 WITH SCORE 42130.299
AT ITER 947 NEW BEST:: SOT 218117 SOS 57233 HAS SOPS 57233 HAS SOUS 41941 HAS SOUPS 41941 WITH SCORE 41998.233
AT ITER 959 NEW BEST:: SOT 218110 SOS 57219 HAS SOPS 57219 HAS SOUS 41941 HAS SOUPS 41941 WITH SCORE 41998.219
AT ITER 963 NEW BEST:: SOT 218105 SOS 57224 HAS SOPS 57224 HAS SOUS 41936 HAS SOUPS 41936 WITH SCORE 41993.224
AT ITER 968 NEW BEST:: SOT 218052 SOS 57118 HAS SOPS 57118 HAS SOUS 41830 HAS SOUPS 41830 WITH SCORE 41887.118
AT ITER 971 NEW BEST:: SOT 218052 SOS 57063 HAS SOPS 57063 HAS SOUS 41830 HAS SOUPS 41830 WITH SCORE 41887.063
AT ITER 977 NEW BEST:: SOT 217993 SOS 57034 HAS SOPS 57034 HAS SOUS 41801 HAS SOUPS 41801 WITH SCORE 41858.034
AT ITER 991 NEW BEST:: SOT 217988 SOS 57028 HAS SOPS 57028 HAS SOUS 41795 HAS SOUPS 41795 WITH SCORE 41852.028
AT ITER 993 NEW BEST:: SOT 217899 SOS 56958 HAS SOPS 56958 HAS SOUS 41604 HAS SOUPS 41604 WITH SCORE 41660.958
AT ITER 994 NEW BEST:: SOT 217899 SOS 56958 HAS SOPS 56958 HAS SOUS 41603 HAS SOUPS 41603 WITH SCORE 41659.958
AT ITER 1004 NEW BEST:: SOT 217865 SOS 56856 HAS SOPS 56856 HAS SOUS 41535 HAS SOUPS 41535 WITH SCORE 41591.856
AT ITER 1007 NEW BEST:: SOT 217803 SOS 56794 HAS SOPS 56794 HAS SOUS 41473 HAS SOUPS 41473 WITH SCORE 41529.794
AT ITER 1008 NEW BEST:: SOT 217520 SOS 56583 HAS SOPS 56583 HAS SOUS 41137 HAS SOUPS 41137 WITH SCORE 41193.583
AT ITER 1029 NEW BEST:: SOT 217519 SOS 56571 HAS SOPS 56571 HAS SOUS 41125 HAS SOUPS 41125 WITH SCORE 41181.571
AT ITER 1034 NEW BEST:: SOT 217546 SOS 56497 HAS SOPS 56497 HAS SOUS 41100 HAS SOUPS 41100 WITH SCORE 41156.497
AT ITER 1069 NEW BEST:: SOT 217546 SOS 56643 HAS SOPS 56643 HAS SOUS 41027 HAS SOUPS 41027 WITH SCORE 41083.643
AT ITER 1091 NEW BEST:: SOT 217321 SOS 60173 HAS SOPS 60173 HAS SOUS 40876 HAS SOUPS 40876 WITH SCORE 40936.173
AT ITER 1135 NEW BEST:: SOT 217321 SOS 60173 HAS SOPS 60173 HAS SOUS 40867 HAS SOUPS 40867 WITH SCORE 40927.173
AT ITER 1165 NEW BEST:: SOT 217309 SOS 60085 HAS SOPS 60085 HAS SOUS 40839 HAS SOUPS 40839 WITH SCORE 40899.085
AT ITER 1179 NEW BEST:: SOT 217306 SOS 60079 HAS SOPS 60079 HAS SOUS 40836 HAS SOUPS 40836 WITH SCORE 40896.079
AT ITER 1194 NEW BEST:: SOT 217267 SOS 60040 HAS SOPS 60040 HAS SOUS 40833 HAS SOUPS 40833 WITH SCORE 40893.04
AT ITER 1246 NEW BEST:: SOT 217199 SOS 59688 HAS SOPS 59688 HAS SOUS 40685 HAS SOUPS 40685 WITH SCORE 40744.688
AT ITER 1253 NEW BEST:: SOT 217212 SOS 59667 HAS SOPS 59667 HAS SOUS 40678 HAS SOUPS 40678 WITH SCORE 40737.667
AT ITER 1314 NEW BEST:: SOT 217140 SOS 59733 HAS SOPS 59733 HAS SOUS 40609 HAS SOUPS 40609 WITH SCORE 40668.733
AT ITER 1333 NEW BEST:: SOT 217140 SOS 59733 HAS SOPS 59733 HAS SOUS 40584 HAS SOUPS 40584 WITH SCORE 40643.733
AT ITER 1347 NEW BEST:: SOT 217140 SOS 59732 HAS SOPS 59732 HAS SOUS 40583 HAS SOUPS 40583 WITH SCORE 40642.732
AT ITER 1356 NEW BEST:: SOT 217193 SOS 59737 HAS SOPS 59737 HAS SOUS 40579 HAS SOUPS 40579 WITH SCORE 40638.737
AT ITER 1370 NEW BEST:: SOT 217188 SOS 59727 HAS SOPS 59727 HAS SOUS 40550 HAS SOUPS 40550 WITH SCORE 40609.727
AT ITER 1378 NEW BEST:: SOT 217133 SOS 59617 HAS SOPS 59617 HAS SOUS 40532 HAS SOUPS 40532 WITH SCORE 40591.617
AT ITER 1396 NEW BEST:: SOT 217171 SOS 59579 HAS SOPS 59579 HAS SOUS 40532 HAS SOUPS 40532 WITH SCORE 40591.579
AT ITER 1402 NEW BEST:: SOT 217121 SOS 59479 HAS SOPS 59479 HAS SOUS 40520 HAS SOUPS 40520 WITH SCORE 40579.479
AT ITER 1440 NEW BEST:: SOT 217057 SOS 59351 HAS SOPS 59351 HAS SOUS 40439 HAS SOUPS 40439 WITH SCORE 40498.351
AT ITER 1454 NEW BEST:: SOT 217055 SOS 59347 HAS SOPS 59347 HAS SOUS 40435 HAS SOUPS 40435 WITH SCORE 40494.347
AT ITER 1465 NEW BEST:: SOT 217002 SOS 59241 HAS SOPS 59241 HAS SOUS 40315 HAS SOUPS 40315 WITH SCORE 40374.241
AT ITER 1488 NEW BEST:: SOT 216922 SOS 59121 HAS SOPS 59121 HAS SOUS 40195 HAS SOUPS 40195 WITH SCORE 40254.121
AT ITER 1511 NEW BEST:: SOT 216898 SOS 59073 HAS SOPS 59073 HAS SOUS 40147 HAS SOUPS 40147 WITH SCORE 40206.073
AT ITER 1540 NEW BEST:: SOT 216898 SOS 59021 HAS SOPS 59021 HAS SOUS 40134 HAS SOUPS 40134 WITH SCORE 40193.021
AT ITER 1558 NEW BEST:: SOT 216898 SOS 59045 HAS SOPS 59045 HAS SOUS 40133 HAS SOUPS 40133 WITH SCORE 40192.045
AT ITER 1570 NEW BEST:: SOT 216898 SOS 59033 HAS SOPS 59033 HAS SOUS 40121 HAS SOUPS 40121 WITH SCORE 40180.033
AT ITER 1573 NEW BEST:: SOT 216898 SOS 58996 HAS SOPS 58996 HAS SOUS 40084 HAS SOUPS 40084 WITH SCORE 40142.996
AT ITER 1584 NEW BEST:: SOT 216889 SOS 58987 HAS SOPS 58987 HAS SOUS 40074 HAS SOUPS 40074 WITH SCORE 40132.987
AT ITER 1594 NEW BEST:: SOT 216875 SOS 58959 HAS SOPS 58959 HAS SOUS 40046 HAS SOUPS 40046 WITH SCORE 40104.959
AT ITER 1611 NEW BEST:: SOT 216884 SOS 58835 HAS SOPS 58835 HAS SOUS 39845 HAS SOUPS 39845 WITH SCORE 39903.835
AT ITER 1617 NEW BEST:: SOT 216795 SOS 58969 HAS SOPS 58969 HAS SOUS 39795 HAS SOUPS 39795 WITH SCORE 39853.969
AT ITER 1628 NEW BEST:: SOT 216830 SOS 58953 HAS SOPS 58953 HAS SOUS 39749 HAS SOUPS 39749 WITH SCORE 39807.953
AT ITER 1643 NEW BEST:: SOT 216400 SOS 60208 HAS SOPS 60208 HAS SOUS 39467 HAS SOUPS 39467 WITH SCORE 39527.208
AT ITER 1647 NEW BEST:: SOT 216385 SOS 60178 HAS SOPS 60178 HAS SOUS 39437 HAS SOUPS 39437 WITH SCORE 39497.178
AT ITER 1676 NEW BEST:: SOT 216376 SOS 60160 HAS SOPS 60160 HAS SOUS 39419 HAS SOUPS 39419 WITH SCORE 39479.16
AT ITER 1702 NEW BEST:: SOT 216344 SOS 60128 HAS SOPS 60128 HAS SOUS 39387 HAS SOUPS 39387 WITH SCORE 39447.128
AT ITER 1745 NEW BEST:: SOT 216335 SOS 60115 HAS SOPS 60115 HAS SOUS 39374 HAS SOUPS 39374 WITH SCORE 39434.115
AT ITER 1749 NEW BEST:: SOT 216317 SOS 60109 HAS SOPS 60109 HAS SOUS 39362 HAS SOUPS 39362 WITH SCORE 39422.109
AT ITER 1813 NEW BEST:: SOT 216317 SOS 60109 HAS SOPS 60109 HAS SOUS 39338 HAS SOUPS 39338 WITH SCORE 39398.109
AT ITER 1818 NEW BEST:: SOT 216328 SOS 60118 HAS SOPS 60118 HAS SOUS 39336 HAS SOUPS 39336 WITH SCORE 39396.118
AT ITER 1819 NEW BEST:: SOT 216349 SOS 60160 HAS SOPS 60160 HAS SOUS 39299 HAS SOUPS 39299 WITH SCORE 39359.16
AT ITER 1838 NEW BEST:: SOT 216340 SOS 60072 HAS SOPS 60072 HAS SOUS 39281 HAS SOUPS 39281 WITH SCORE 39341.072
AT ITER 1839 NEW BEST:: SOT 216302 SOS 60034 HAS SOPS 60034 HAS SOUS 39205 HAS SOUPS 39205 WITH SCORE 39265.034
AT ITER 1876 NEW BEST:: SOT 216273 SOS 59852 HAS SOPS 59852 HAS SOUS 39176 HAS SOUPS 39176 WITH SCORE 39235.852
AT ITER 1887 NEW BEST:: SOT 216247 SOS 59826 HAS SOPS 59826 HAS SOUS 39139 HAS SOUPS 39139 WITH SCORE 39198.826
AT ITER 1892 NEW BEST:: SOT 216237 SOS 59768 HAS SOPS 59768 HAS SOUS 39130 HAS SOUPS 39130 WITH SCORE 39189.768
AT ITER 1909 NEW BEST:: SOT 216226 SOS 59746 HAS SOPS 59746 HAS SOUS 39119 HAS SOUPS 39119 WITH SCORE 39178.746
AT ITER 1927 NEW BEST:: SOT 216264 SOS 59726 HAS SOPS 59726 HAS SOUS 39040 HAS SOUPS 39040 WITH SCORE 39099.726
AT ITER 1942 NEW BEST:: SOT 216264 SOS 59693 HAS SOPS 59693 HAS SOUS 38974 HAS SOUPS 38974 WITH SCORE 39033.693
AT ITER 1971 NEW BEST:: SOT 216229 SOS 59666 HAS SOPS 59666 HAS SOUS 38946 HAS SOUPS 38946 WITH SCORE 39005.666
AT ITER 1974 NEW BEST:: SOT 216221 SOS 59650 HAS SOPS 59650 HAS SOUS 38945 HAS SOUPS 38945 WITH SCORE 39004.65
AT ITER 2003 NEW BEST:: SOT 216192 SOS 59592 HAS SOPS 59592 HAS SOUS 38868 HAS SOUPS 38868 WITH SCORE 38927.592
AT ITER 2018 NEW BEST:: SOT 216186 SOS 59599 HAS SOPS 59599 HAS SOUS 38862 HAS SOUPS 38862 WITH SCORE 38921.599
AT ITER 2021 NEW BEST:: SOT 216186 SOS 59599 HAS SOPS 59599 HAS SOUS 38858 HAS SOUPS 38858 WITH SCORE 38917.599
AT ITER 2040 NEW BEST:: SOT 216179 SOS 59585 HAS SOPS 59585 HAS SOUS 38844 HAS SOUPS 38844 WITH SCORE 38903.585
AT ITER 2060 NEW BEST:: SOT 216144 SOS 59515 HAS SOPS 59515 HAS SOUS 38774 HAS SOUPS 38774 WITH SCORE 38833.515
AT ITER 2062 NEW BEST:: SOT 216140 SOS 59507 HAS SOPS 59507 HAS SOUS 38766 HAS SOUPS 38766 WITH SCORE 38825.507
AT ITER 2090 NEW BEST:: SOT 216157 SOS 59411 HAS SOPS 59411 HAS SOUS 38735 HAS SOUPS 38735 WITH SCORE 38794.411
AT ITER 2124 NEW BEST:: SOT 216155 SOS 59407 HAS SOPS 59407 HAS SOUS 38731 HAS SOUPS 38731 WITH SCORE 38790.407
AT ITER 2128 NEW BEST:: SOT 216155 SOS 59401 HAS SOPS 59401 HAS SOUS 38731 HAS SOUPS 38731 WITH SCORE 38790.401
AT ITER 2173 NEW BEST:: SOT 216119 SOS 59401 HAS SOPS 59401 HAS SOUS 38707 HAS SOUPS 38707 WITH SCORE 38766.401
AT ITER 2224 NEW BEST:: SOT 216119 SOS 59384 HAS SOPS 59384 HAS SOUS 38690 HAS SOUPS 38690 WITH SCORE 38749.384
AT ITER 2225 NEW BEST:: SOT 216113 SOS 59372 HAS SOPS 59372 HAS SOUS 38678 HAS SOUPS 38678 WITH SCORE 38737.372
AT ITER 2230 NEW BEST:: SOT 216096 SOS 59325 HAS SOPS 59325 HAS SOUS 38669 HAS SOUPS 38669 WITH SCORE 38728.325
AT ITER 2260 NEW BEST:: SOT 216080 SOS 59333 HAS SOPS 59333 HAS SOUS 38661 HAS SOUPS 38661 WITH SCORE 38720.333
AT ITER 2276 NEW BEST:: SOT 216071 SOS 59171 HAS SOPS 59171 HAS SOUS 38607 HAS SOUPS 38607 WITH SCORE 38666.171
AT ITER 2286 NEW BEST:: SOT 216054 SOS 59154 HAS SOPS 59154 HAS SOUS 38590 HAS SOUPS 38590 WITH SCORE 38649.154
AT ITER 2313 NEW BEST:: SOT 216027 SOS 59100 HAS SOPS 59100 HAS SOUS 38561 HAS SOUPS 38561 WITH SCORE 38620.1
AT ITER 2326 NEW BEST:: SOT 215972 SOS 59045 HAS SOPS 59045 HAS SOUS 38517 HAS SOUPS 38517 WITH SCORE 38576.045
AT ITER 2368 NEW BEST:: SOT 215894 SOS 58898 HAS SOPS 58898 HAS SOUS 38469 HAS SOUPS 38469 WITH SCORE 38527.898
AT ITER 2381 NEW BEST:: SOT 215895 SOS 58901 HAS SOPS 58901 HAS SOUS 38468 HAS SOUPS 38468 WITH SCORE 38526.901
AT ITER 2400 NEW BEST:: SOT 215890 SOS 58896 HAS SOPS 58896 HAS SOUS 38467 HAS SOUPS 38467 WITH SCORE 38525.896
AT ITER 2415 NEW BEST:: SOT 215878 SOS 58872 HAS SOPS 58872 HAS SOUS 38443 HAS SOUPS 38443 WITH SCORE 38501.872
AT ITER 2429 NEW BEST:: SOT 215876 SOS 58870 HAS SOPS 58870 HAS SOUS 38439 HAS SOUPS 38439 WITH SCORE 38497.87
AT ITER 2457 NEW BEST:: SOT 215840 SOS 58798 HAS SOPS 58798 HAS SOUS 38438 HAS SOUPS 38438 WITH SCORE 38496.798
AT ITER 2519 NEW BEST:: SOT 215782 SOS 58682 HAS SOPS 58682 HAS SOUS 38322 HAS SOUPS 38322 WITH SCORE 38380.682
AT ITER 2520 NEW BEST:: SOT 215799 SOS 58672 HAS SOPS 58672 HAS SOUS 38292 HAS SOUPS 38292 WITH SCORE 38350.672
AT ITER 2528 NEW BEST:: SOT 215755 SOS 58672 HAS SOPS 58672 HAS SOUS 38248 HAS SOUPS 38248 WITH SCORE 38306.672
AT ITER 2531 NEW BEST:: SOT 215750 SOS 58657 HAS SOPS 58657 HAS SOUS 38238 HAS SOUPS 38238 WITH SCORE 38296.657
AT ITER 2532 NEW BEST:: SOT 215683 SOS 58648 HAS SOPS 58648 HAS SOUS 38171 HAS SOUPS 38171 WITH SCORE 38229.648
AT ITER 2541 NEW BEST:: SOT 215676 SOS 58634 HAS SOPS 58634 HAS SOUS 38157 HAS SOUPS 38157 WITH SCORE 38215.634
AT ITER 2569 NEW BEST:: SOT 215631 SOS 58589 HAS SOPS 58589 HAS SOUS 38112 HAS SOUPS 38112 WITH SCORE 38170.589
AT ITER 2581 NEW BEST:: SOT 215628 SOS 58586 HAS SOPS 58586 HAS SOUS 38103 HAS SOUPS 38103 WITH SCORE 38161.586
AT ITER 2589 NEW BEST:: SOT 215568 SOS 58538 HAS SOPS 58538 HAS SOUS 38066 HAS SOUPS 38066 WITH SCORE 38124.538
AT ITER 2614 NEW BEST:: SOT 215559 SOS 58556 HAS SOPS 58556 HAS SOUS 38065 HAS SOUPS 38065 WITH SCORE 38123.556
AT ITER 2625 NEW BEST:: SOT 215582 SOS 58635 HAS SOPS 58635 HAS SOUS 38027 HAS SOUPS 38027 WITH SCORE 38085.635
AT ITER 2764 NEW BEST:: SOT 215581 SOS 58656 HAS SOPS 58656 HAS SOUS 38025 HAS SOUPS 38025 WITH SCORE 38083.656
AT ITER 2765 NEW BEST:: SOT 215572 SOS 58548 HAS SOPS 58548 HAS SOUS 37935 HAS SOUPS 37935 WITH SCORE 37993.548
AT ITER 2772 NEW BEST:: SOT 215568 SOS 58540 HAS SOPS 58540 HAS SOUS 37931 HAS SOUPS 37931 WITH SCORE 37989.54
AT ITER 2784 NEW BEST:: SOT 215564 SOS 58532 HAS SOPS 58532 HAS SOUS 37923 HAS SOUPS 37923 WITH SCORE 37981.532
AT ITER 2793 NEW BEST:: SOT 215563 SOS 58530 HAS SOPS 58530 HAS SOUS 37922 HAS SOUPS 37922 WITH SCORE 37980.53
AT ITER 2802 NEW BEST:: SOT 215563 SOS 58511 HAS SOPS 58511 HAS SOUS 37903 HAS SOUPS 37903 WITH SCORE 37961.511
AT ITER 2810 NEW BEST:: SOT 215547 SOS 58495 HAS SOPS 58495 HAS SOUS 37903 HAS SOUPS 37903 WITH SCORE 37961.495
AT ITER 2814 NEW BEST:: SOT 215474 SOS 58589 HAS SOPS 58589 HAS SOUS 37852 HAS SOUPS 37852 WITH SCORE 37910.589
AT ITER 2823 NEW BEST:: SOT 215469 SOS 58579 HAS SOPS 58579 HAS SOUS 37842 HAS SOUPS 37842 WITH SCORE 37900.579
AT ITER 2828 NEW BEST:: SOT 215420 SOS 58513 HAS SOPS 58513 HAS SOUS 37747 HAS SOUPS 37747 WITH SCORE 37805.513
AT ITER 2866 NEW BEST:: SOT 215399 SOS 58471 HAS SOPS 58471 HAS SOUS 37705 HAS SOUPS 37705 WITH SCORE 37763.471
AT ITER 2891 NEW BEST:: SOT 215458 SOS 58589 HAS SOPS 58589 HAS SOUS 37654 HAS SOUPS 37654 WITH SCORE 37712.589
AT ITER 2919 NEW BEST:: SOT 215449 SOS 58571 HAS SOPS 58571 HAS SOUS 37650 HAS SOUPS 37650 WITH SCORE 37708.571
AT ITER 2923 NEW BEST:: SOT 215414 SOS 58517 HAS SOPS 58517 HAS SOUS 37635 HAS SOUPS 37635 WITH SCORE 37693.517
AT ITER 2940 NEW BEST:: SOT 215399 SOS 58487 HAS SOPS 58487 HAS SOUS 37584 HAS SOUPS 37584 WITH SCORE 37642.487
AT ITER 2958 NEW BEST:: SOT 215391 SOS 58480 HAS SOPS 58480 HAS SOUS 37584 HAS SOUPS 37584 WITH SCORE 37642.48
AT ITER 2963 NEW BEST:: SOT 215386 SOS 58475 HAS SOPS 58475 HAS SOUS 37579 HAS SOUPS 37579 WITH SCORE 37637.475
AT ITER 2987 NEW BEST:: SOT 215352 SOS 58407 HAS SOPS 58407 HAS SOUS 37545 HAS SOUPS 37545 WITH SCORE 37603.407
AT ITER 2994 NEW BEST:: SOT 215352 SOS 58135 HAS SOPS 58135 HAS SOUS 37545 HAS SOUPS 37545 WITH SCORE 37603.135
AT ITER 3009 NEW BEST:: SOT 215334 SOS 58126 HAS SOPS 58126 HAS SOUS 37527 HAS SOUPS 37527 WITH SCORE 37585.126
AT ITER 3047 NEW BEST:: SOT 215308 SOS 58113 HAS SOPS 58113 HAS SOUS 37488 HAS SOUPS 37488 WITH SCORE 37546.113
AT ITER 3085 NEW BEST:: SOT 215307 SOS 58111 HAS SOPS 58111 HAS SOUS 37486 HAS SOUPS 37486 WITH SCORE 37544.111
AT ITER 3095 NEW BEST:: SOT 215307 SOS 58074 HAS SOPS 58074 HAS SOUS 37486 HAS SOUPS 37486 WITH SCORE 37544.074
AT ITER 3100 NEW BEST:: SOT 215299 SOS 58066 HAS SOPS 58066 HAS SOUS 37474 HAS SOUPS 37474 WITH SCORE 37532.066
AT ITER 3183 NEW BEST:: SOT 215299 SOS 58042 HAS SOPS 58042 HAS SOUS 37371 HAS SOUPS 37371 WITH SCORE 37429.042
AT ITER 3206 NEW BEST:: SOT 215291 SOS 58033 HAS SOPS 58033 HAS SOUS 37362 HAS SOUPS 37362 WITH SCORE 37420.033
AT ITER 3251 NEW BEST:: SOT 215285 SOS 58021 HAS SOPS 58021 HAS SOUS 37334 HAS SOUPS 37334 WITH SCORE 37392.021
AT ITER 3273 NEW BEST:: SOT 215278 SOS 58014 HAS SOPS 58014 HAS SOUS 37327 HAS SOUPS 37327 WITH SCORE 37385.014
AT ITER 3274 NEW BEST:: SOT 215313 SOS 58039 HAS SOPS 58039 HAS SOUS 37308 HAS SOUPS 37308 WITH SCORE 37366.039
AT ITER 3283 NEW BEST:: SOT 215302 SOS 58017 HAS SOPS 58017 HAS SOUS 37295 HAS SOUPS 37295 WITH SCORE 37353.017
AT ITER 3297 NEW BEST:: SOT 215302 SOS 57995 HAS SOPS 57995 HAS SOUS 37285 HAS SOUPS 37285 WITH SCORE 37342.995
AT ITER 3309 NEW BEST:: SOT 215297 SOS 57985 HAS SOPS 57985 HAS SOUS 37275 HAS SOUPS 37275 WITH SCORE 37332.985
AT ITER 3310 NEW BEST:: SOT 215303 SOS 57997 HAS SOPS 57997 HAS SOUS 37258 HAS SOUPS 37258 WITH SCORE 37315.997
AT ITER 3346 NEW BEST:: SOT 215287 SOS 57986 HAS SOPS 57986 HAS SOUS 37254 HAS SOUPS 37254 WITH SCORE 37311.986
AT ITER 3437 NEW BEST:: SOT 215286 SOS 57984 HAS SOPS 57984 HAS SOUS 37252 HAS SOUPS 37252 WITH SCORE 37309.984
AT ITER 3445 NEW BEST:: SOT 215261 SOS 57934 HAS SOPS 57934 HAS SOUS 37206 HAS SOUPS 37206 WITH SCORE 37263.934
AT ITER 3473 NEW BEST:: SOT 215260 SOS 57932 HAS SOPS 57932 HAS SOUS 37204 HAS SOUPS 37204 WITH SCORE 37261.932
AT ITER 3501 NEW BEST:: SOT 215175 SOS 57826 HAS SOPS 57826 HAS SOUS 37098 HAS SOUPS 37098 WITH SCORE 37155.826
AT ITER 3514 NEW BEST:: SOT 215158 SOS 57773 HAS SOPS 57773 HAS SOUS 37083 HAS SOUPS 37083 WITH SCORE 37140.773
AT ITER 3546 NEW BEST:: SOT 215120 SOS 57733 HAS SOPS 57733 HAS SOUS 37042 HAS SOUPS 37042 WITH SCORE 37099.733
AT ITER 3559 NEW BEST:: SOT 215115 SOS 57723 HAS SOPS 57723 HAS SOUS 37040 HAS SOUPS 37040 WITH SCORE 37097.723
AT ITER 3567 NEW BEST:: SOT 215115 SOS 57723 HAS SOPS 57723 HAS SOUS 37030 HAS SOUPS 37030 WITH SCORE 37087.723
AT ITER 3590 NEW BEST:: SOT 215115 SOS 57669 HAS SOPS 57669 HAS SOUS 36922 HAS SOUPS 36922 WITH SCORE 36979.669
AT ITER 3595 NEW BEST:: SOT 215114 SOS 57690 HAS SOPS 57690 HAS SOUS 36921 HAS SOUPS 36921 WITH SCORE 36978.69
AT ITER 3662 NEW BEST:: SOT 215110 SOS 57682 HAS SOPS 57682 HAS SOUS 36917 HAS SOUPS 36917 WITH SCORE 36974.682
AT ITER 3697 NEW BEST:: SOT 215110 SOS 57663 HAS SOPS 57663 HAS SOUS 36914 HAS SOUPS 36914 WITH SCORE 36971.663
AT ITER 3705 NEW BEST:: SOT 215155 SOS 56425 HAS SOPS 56425 HAS SOUS 36898 HAS SOUPS 36898 WITH SCORE 36954.425
AT ITER 3727 NEW BEST:: SOT 215154 SOS 56425 HAS SOPS 56425 HAS SOUS 36896 HAS SOUPS 36896 WITH SCORE 36952.425
AT ITER 3764 NEW BEST:: SOT 215241 SOS 56532 HAS SOPS 56532 HAS SOUS 36845 HAS SOUPS 36845 WITH SCORE 36901.532
AT ITER 3784 NEW BEST:: SOT 215221 SOS 56492 HAS SOPS 56492 HAS SOUS 36825 HAS SOUPS 36825 WITH SCORE 36881.492
AT ITER 3829 NEW BEST:: SOT 215245 SOS 56540 HAS SOPS 56540 HAS SOUS 36817 HAS SOUPS 36817 WITH SCORE 36873.54
AT ITER 3866 NEW BEST:: SOT 215235 SOS 56562 HAS SOPS 56562 HAS SOUS 36807 HAS SOUPS 36807 WITH SCORE 36863.562
AT ITER 3882 NEW BEST:: SOT 215235 SOS 56562 HAS SOPS 56562 HAS SOUS 36806 HAS SOUPS 36806 WITH SCORE 36862.562
AT ITER 3893 NEW BEST:: SOT 215235 SOS 56556 HAS SOPS 56556 HAS SOUS 36800 HAS SOUPS 36800 WITH SCORE 36856.556
AT ITER 3980 NEW BEST:: SOT 215216 SOS 56518 HAS SOPS 56518 HAS SOUS 36762 HAS SOUPS 36762 WITH SCORE 36818.518
AT ITER 3994 NEW BEST:: SOT 215211 SOS 56508 HAS SOPS 56508 HAS SOUS 36752 HAS SOUPS 36752 WITH SCORE 36808.508
AT ITER 4037 NEW BEST:: SOT 215207 SOS 56496 HAS SOPS 56496 HAS SOUS 36744 HAS SOUPS 36744 WITH SCORE 36800.496
AT ITER 4041 NEW BEST:: SOT 215207 SOS 56496 HAS SOPS 56496 HAS SOUS 36742 HAS SOUPS 36742 WITH SCORE 36798.496
AT ITER 4076 NEW BEST:: SOT 215212 SOS 56626 HAS SOPS 56626 HAS SOUS 36687 HAS SOUPS 36687 WITH SCORE 36743.626
AT ITER 4093 NEW BEST:: SOT 215209 SOS 56623 HAS SOPS 56623 HAS SOUS 36681 HAS SOUPS 36681 WITH SCORE 36737.623
AT ITER 4115 NEW BEST:: SOT 215191 SOS 56587 HAS SOPS 56587 HAS SOUS 36564 HAS SOUPS 36564 WITH SCORE 36620.587
AT ITER 4124 NEW BEST:: SOT 215179 SOS 56530 HAS SOPS 56530 HAS SOUS 36540 HAS SOUPS 36540 WITH SCORE 36596.53
AT ITER 4194 NEW BEST:: SOT 215182 SOS 56539 HAS SOPS 56539 HAS SOUS 36516 HAS SOUPS 36516 WITH SCORE 36572.539
AT ITER 4195 NEW BEST:: SOT 215261 SOS 56618 HAS SOPS 56618 HAS SOUS 36511 HAS SOUPS 36511 WITH SCORE 36567.618
AT ITER 4225 NEW BEST:: SOT 215226 SOS 56548 HAS SOPS 56548 HAS SOUS 36441 HAS SOUPS 36441 WITH SCORE 36497.548
AT ITER 4231 NEW BEST:: SOT 215310 SOS 56558 HAS SOPS 56558 HAS SOUS 36411 HAS SOUPS 36411 WITH SCORE 36467.558
AT ITER 4248 NEW BEST:: SOT 215308 SOS 56560 HAS SOPS 56560 HAS SOUS 36409 HAS SOUPS 36409 WITH SCORE 36465.56
AT ITER 4284 NEW BEST:: SOT 215308 SOS 56552 HAS SOPS 56552 HAS SOUS 36407 HAS SOUPS 36407 WITH SCORE 36463.552
AT ITER 4290 NEW BEST:: SOT 215289 SOS 56514 HAS SOPS 56514 HAS SOUS 36369 HAS SOUPS 36369 WITH SCORE 36425.514
AT ITER 4346 NEW BEST:: SOT 215282 SOS 56500 HAS SOPS 56500 HAS SOUS 36362 HAS SOUPS 36362 WITH SCORE 36418.5
AT ITER 4387 NEW BEST:: SOT 215280 SOS 56496 HAS SOPS 56496 HAS SOUS 36358 HAS SOUPS 36358 WITH SCORE 36414.496
AT ITER 4419 NEW BEST:: SOT 215251 SOS 56467 HAS SOPS 56467 HAS SOUS 36349 HAS SOUPS 36349 WITH SCORE 36405.467
AT ITER 4422 NEW BEST:: SOT 215251 SOS 56467 HAS SOPS 56467 HAS SOUS 36337 HAS SOUPS 36337 WITH SCORE 36393.467
AT ITER 4466 NEW BEST:: SOT 215252 SOS 56467 HAS SOPS 56467 HAS SOUS 36335 HAS SOUPS 36335 WITH SCORE 36391.467
AT ITER 4502 NEW BEST:: SOT 215252 SOS 56467 HAS SOPS 56467 HAS SOUS 36330 HAS SOUPS 36330 WITH SCORE 36386.467
AT ITER 4554 NEW BEST:: SOT 215254 SOS 56460 HAS SOPS 56460 HAS SOUS 36313 HAS SOUPS 36313 WITH SCORE 36369.46
AT ITER 4555 NEW BEST:: SOT 215279 SOS 56435 HAS SOPS 56435 HAS SOUS 36313 HAS SOUPS 36313 WITH SCORE 36369.435
AT ITER 4566 NEW BEST:: SOT 215256 SOS 56416 HAS SOPS 56416 HAS SOUS 36245 HAS SOUPS 36245 WITH SCORE 36301.416
AT ITER 4596 NEW BEST:: SOT 215247 SOS 56388 HAS SOPS 56388 HAS SOUS 36227 HAS SOUPS 36227 WITH SCORE 36283.388
AT ITER 4603 NEW BEST:: SOT 215222 SOS 56376 HAS SOPS 56376 HAS SOUS 36215 HAS SOUPS 36215 WITH SCORE 36271.376
AT ITER 4626 NEW BEST:: SOT 215217 SOS 56366 HAS SOPS 56366 HAS SOUS 36210 HAS SOUPS 36210 WITH SCORE 36266.366
AT ITER 4634 NEW BEST:: SOT 215204 SOS 56395 HAS SOPS 56395 HAS SOUS 36208 HAS SOUPS 36208 WITH SCORE 36264.395
AT ITER 4649 NEW BEST:: SOT 215273 SOS 56456 HAS SOPS 56456 HAS SOUS 36192 HAS SOUPS 36192 WITH SCORE 36248.456
AT ITER 4671 NEW BEST:: SOT 215260 SOS 56493 HAS SOPS 56493 HAS SOUS 36168 HAS SOUPS 36168 WITH SCORE 36224.493
AT ITER 4690 NEW BEST:: SOT 215260 SOS 56480 HAS SOPS 56480 HAS SOUS 36168 HAS SOUPS 36168 WITH SCORE 36224.48
AT ITER 4699 NEW BEST:: SOT 215337 SOS 56634 HAS SOPS 56634 HAS SOUS 36150 HAS SOUPS 36150 WITH SCORE 36206.634
AT ITER 4734 NEW BEST:: SOT 215331 SOS 56622 HAS SOPS 56622 HAS SOUS 36102 HAS SOUPS 36102 WITH SCORE 36158.622
AT ITER 4738 NEW BEST:: SOT 215310 SOS 56559 HAS SOPS 56559 HAS SOUS 36102 HAS SOUPS 36102 WITH SCORE 36158.559
AT ITER 4759 NEW BEST:: SOT 215310 SOS 56478 HAS SOPS 56478 HAS SOUS 36102 HAS SOUPS 36102 WITH SCORE 36158.478
AT ITER 4775 NEW BEST:: SOT 215259 SOS 56439 HAS SOPS 56439 HAS SOUS 36012 HAS SOUPS 36012 WITH SCORE 36068.439
AT ITER 4791 NEW BEST:: SOT 215238 SOS 56481 HAS SOPS 56481 HAS SOUS 35991 HAS SOUPS 35991 WITH SCORE 36047.481
AT ITER 4801 NEW BEST:: SOT 215234 SOS 56475 HAS SOPS 56475 HAS SOUS 35985 HAS SOUPS 35985 WITH SCORE 36041.475
AT ITER 4855 NEW BEST:: SOT 215271 SOS 56438 HAS SOPS 56438 HAS SOUS 35985 HAS SOUPS 35985 WITH SCORE 36041.438
AT ITER 4863 NEW BEST:: SOT 215272 SOS 56440 HAS SOPS 56440 HAS SOUS 35983 HAS SOUPS 35983 WITH SCORE 36039.44
AT ITER 4877 NEW BEST:: SOT 215272 SOS 56404 HAS SOPS 56404 HAS SOUS 35983 HAS SOUPS 35983 WITH SCORE 36039.404
AT ITER 4970 NEW BEST:: SOT 215256 SOS 56435 HAS SOPS 56435 HAS SOUS 35981 HAS SOUPS 35981 WITH SCORE 36037.435
AT ITER 4984 NEW BEST:: SOT 215199 SOS 56492 HAS SOPS 56492 HAS SOUS 35924 HAS SOUPS 35924 WITH SCORE 35980.492
AT ITER 4996 NEW BEST:: SOT 215187 SOS 56240 HAS SOPS 56240 HAS SOUS 35900 HAS SOUPS 35900 WITH SCORE 35956.24
AT ITER 5006 NEW BEST:: SOT 215148 SOS 56201 HAS SOPS 56201 HAS SOUS 35900 HAS SOUPS 35900 WITH SCORE 35956.201
AT ITER 5028 NEW BEST:: SOT 215119 SOS 56143 HAS SOPS 56143 HAS SOUS 35900 HAS SOUPS 35900 WITH SCORE 35956.143
AT ITER 5113 NEW BEST:: SOT 215136 SOS 56127 HAS SOPS 56127 HAS SOUS 35886 HAS SOUPS 35886 WITH SCORE 35942.127
AT ITER 5130 NEW BEST:: SOT 215127 SOS 56109 HAS SOPS 56109 HAS SOUS 35841 HAS SOUPS 35841 WITH SCORE 35897.109
AT ITER 5131 NEW BEST:: SOT 215112 SOS 56079 HAS SOPS 56079 HAS SOUS 35811 HAS SOUPS 35811 WITH SCORE 35867.079
AT ITER 5145 NEW BEST:: SOT 215112 SOS 56033 HAS SOPS 56033 HAS SOUS 35797 HAS SOUPS 35797 WITH SCORE 35853.033
AT ITER 5158 NEW BEST:: SOT 215144 SOS 55985 HAS SOPS 55985 HAS SOUS 35797 HAS SOUPS 35797 WITH SCORE 35852.985
AT ITER 5298 NEW BEST:: SOT 215144 SOS 55973 HAS SOPS 55973 HAS SOUS 35733 HAS SOUPS 35733 WITH SCORE 35788.973
AT ITER 5299 NEW BEST:: SOT 215151 SOS 55950 HAS SOPS 55950 HAS SOUS 35688 HAS SOUPS 35688 WITH SCORE 35743.95
AT ITER 5300 NEW BEST:: SOT 215144 SOS 55850 HAS SOPS 55850 HAS SOUS 35585 HAS SOUPS 35585 WITH SCORE 35640.85
AT ITER 5338 NEW BEST:: SOT 215119 SOS 55800 HAS SOPS 55800 HAS SOUS 35560 HAS SOUPS 35560 WITH SCORE 35615.8
AT ITER 5380 NEW BEST:: SOT 215113 SOS 55788 HAS SOPS 55788 HAS SOUS 35542 HAS SOUPS 35542 WITH SCORE 35597.788
AT ITER 5391 NEW BEST:: SOT 215109 SOS 55780 HAS SOPS 55780 HAS SOUS 35534 HAS SOUPS 35534 WITH SCORE 35589.78
AT ITER 5416 NEW BEST:: SOT 215107 SOS 55776 HAS SOPS 55776 HAS SOUS 35530 HAS SOUPS 35530 WITH SCORE 35585.776
AT ITER 5464 NEW BEST:: SOT 215061 SOS 55684 HAS SOPS 55684 HAS SOUS 35530 HAS SOUPS 35530 WITH SCORE 35585.684
AT ITER 5480 NEW BEST:: SOT 215061 SOS 55679 HAS SOPS 55679 HAS SOUS 35530 HAS SOUPS 35530 WITH SCORE 35585.679
AT ITER 5483 NEW BEST:: SOT 215061 SOS 55665 HAS SOPS 55665 HAS SOUS 35516 HAS SOUPS 35516 WITH SCORE 35571.665
AT ITER 5501 NEW BEST:: SOT 215037 SOS 55665 HAS SOPS 55665 HAS SOUS 35492 HAS SOUPS 35492 WITH SCORE 35547.665
AT ITER 5509 NEW BEST:: SOT 215037 SOS 55669 HAS SOPS 55669 HAS SOUS 35488 HAS SOUPS 35488 WITH SCORE 35543.669
AT ITER 5580 NEW BEST:: SOT 215033 SOS 55657 HAS SOPS 55657 HAS SOUS 35480 HAS SOUPS 35480 WITH SCORE 35535.657
AT ITER 5586 NEW BEST:: SOT 215045 SOS 55842 HAS SOPS 55842 HAS SOUS 35417 HAS SOUPS 35417 WITH SCORE 35472.842
AT ITER 5604 NEW BEST:: SOT 215045 SOS 55842 HAS SOPS 55842 HAS SOUS 35408 HAS SOUPS 35408 WITH SCORE 35463.842
AT ITER 5607 NEW BEST:: SOT 215021 SOS 55818 HAS SOPS 55818 HAS SOUS 35408 HAS SOUPS 35408 WITH SCORE 35463.818
AT ITER 5724 NEW BEST:: SOT 215038 SOS 55852 HAS SOPS 55852 HAS SOUS 35395 HAS SOUPS 35395 WITH SCORE 35450.852
AT ITER 5742 NEW BEST:: SOT 215038 SOS 55833 HAS SOPS 55833 HAS SOUS 35357 HAS SOUPS 35357 WITH SCORE 35412.833
AT ITER 5752 NEW BEST:: SOT 215038 SOS 55828 HAS SOPS 55828 HAS SOUS 35352 HAS SOUPS 35352 WITH SCORE 35407.828
AT ITER 5757 NEW BEST:: SOT 214975 SOS 55849 HAS SOPS 55849 HAS SOUS 35306 HAS SOUPS 35306 WITH SCORE 35361.849
AT ITER 5758 NEW BEST:: SOT 214973 SOS 55847 HAS SOPS 55847 HAS SOUS 35304 HAS SOUPS 35304 WITH SCORE 35359.847
AT ITER 5776 NEW BEST:: SOT 214967 SOS 55841 HAS SOPS 55841 HAS SOUS 35289 HAS SOUPS 35289 WITH SCORE 35344.841
AT ITER 5817 NEW BEST:: SOT 214967 SOS 55841 HAS SOPS 55841 HAS SOUS 35222 HAS SOUPS 35222 WITH SCORE 35277.841
AT ITER 5825 NEW BEST:: SOT 214963 SOS 55837 HAS SOPS 55837 HAS SOUS 35218 HAS SOUPS 35218 WITH SCORE 35273.837
AT ITER 5847 NEW BEST:: SOT 214949 SOS 55823 HAS SOPS 55823 HAS SOUS 35204 HAS SOUPS 35204 WITH SCORE 35259.823
AT ITER 5857 NEW BEST:: SOT 214961 SOS 55751 HAS SOPS 55751 HAS SOUS 35192 HAS SOUPS 35192 WITH SCORE 35247.751
AT ITER 5883 NEW BEST:: SOT 214956 SOS 55667 HAS SOPS 55667 HAS SOUS 35177 HAS SOUPS 35177 WITH SCORE 35232.667
AT ITER 5908 NEW BEST:: SOT 214925 SOS 55636 HAS SOPS 55636 HAS SOUS 35156 HAS SOUPS 35156 WITH SCORE 35211.636
AT ITER 5945 NEW BEST:: SOT 214962 SOS 55628 HAS SOPS 55628 HAS SOUS 35132 HAS SOUPS 35132 WITH SCORE 35187.628
AT ITER 5995 NEW BEST:: SOT 214962 SOS 55627 HAS SOPS 55627 HAS SOUS 35131 HAS SOUPS 35131 WITH SCORE 35186.627
AT ITER 5999 NEW BEST:: SOT 214942 SOS 55587 HAS SOPS 55587 HAS SOUS 35091 HAS SOUPS 35091 WITH SCORE 35146.587
AT ITER 6024 NEW BEST:: SOT 214944 SOS 55375 HAS SOPS 55375 HAS SOUS 35039 HAS SOUPS 35039 WITH SCORE 35094.375
AT ITER 6032 NEW BEST:: SOT 214944 SOS 55358 HAS SOPS 55358 HAS SOUS 35022 HAS SOUPS 35022 WITH SCORE 35077.358
AT ITER 6042 NEW BEST:: SOT 214936 SOS 55366 HAS SOPS 55366 HAS SOUS 35018 HAS SOUPS 35018 WITH SCORE 35073.366
AT ITER 6123 NEW BEST:: SOT 214932 SOS 55362 HAS SOPS 55362 HAS SOUS 35010 HAS SOUPS 35010 WITH SCORE 35065.362
AT ITER 6136 NEW BEST:: SOT 214898 SOS 56174 HAS SOPS 56174 HAS SOUS 35009 HAS SOUPS 35009 WITH SCORE 35065.174
AT ITER 6157 NEW BEST:: SOT 214883 SOS 56158 HAS SOPS 56158 HAS SOUS 34993 HAS SOUPS 34993 WITH SCORE 35049.158
AT ITER 6181 NEW BEST:: SOT 214781 SOS 56062 HAS SOPS 56062 HAS SOUS 34899 HAS SOUPS 34899 WITH SCORE 34955.062
AT ITER 6199 NEW BEST:: SOT 214779 SOS 56054 HAS SOPS 56054 HAS SOUS 34895 HAS SOUPS 34895 WITH SCORE 34951.054
AT ITER 6203 NEW BEST:: SOT 214790 SOS 56043 HAS SOPS 56043 HAS SOUS 34895 HAS SOUPS 34895 WITH SCORE 34951.043
AT ITER 6209 NEW BEST:: SOT 214787 SOS 56037 HAS SOPS 56037 HAS SOUS 34889 HAS SOUPS 34889 WITH SCORE 34945.037
AT ITER 6273 NEW BEST:: SOT 214773 SOS 56023 HAS SOPS 56023 HAS SOUS 34875 HAS SOUPS 34875 WITH SCORE 34931.023
AT ITER 6280 NEW BEST:: SOT 214773 SOS 56019 HAS SOPS 56019 HAS SOUS 34875 HAS SOUPS 34875 WITH SCORE 34931.019
AT ITER 6368 NEW BEST:: SOT 214784 SOS 55987 HAS SOPS 55987 HAS SOUS 34870 HAS SOUPS 34870 WITH SCORE 34925.987
AT ITER 6382 NEW BEST:: SOT 214784 SOS 55950 HAS SOPS 55950 HAS SOUS 34870 HAS SOUPS 34870 WITH SCORE 34925.95
AT ITER 6487 NEW BEST:: SOT 214769 SOS 55903 HAS SOPS 55903 HAS SOUS 34839 HAS SOUPS 34839 WITH SCORE 34894.903
AT ITER 6488 NEW BEST:: SOT 214765 SOS 55899 HAS SOPS 55899 HAS SOUS 34835 HAS SOUPS 34835 WITH SCORE 34890.899
AT ITER 6511 NEW BEST:: SOT 214804 SOS 55932 HAS SOPS 55932 HAS SOUS 34826 HAS SOUPS 34826 WITH SCORE 34881.932
AT ITER 6531 NEW BEST:: SOT 214804 SOS 55932 HAS SOPS 55932 HAS SOUS 34823 HAS SOUPS 34823 WITH SCORE 34878.932
AT ITER 6542 NEW BEST:: SOT 214791 SOS 55919 HAS SOPS 55919 HAS SOUS 34810 HAS SOUPS 34810 WITH SCORE 34865.919
AT ITER 6556 NEW BEST:: SOT 214794 SOS 55895 HAS SOPS 55895 HAS SOUS 34786 HAS SOUPS 34786 WITH SCORE 34841.895
AT ITER 6570 NEW BEST:: SOT 214793 SOS 55893 HAS SOPS 55893 HAS SOUS 34784 HAS SOUPS 34784 WITH SCORE 34839.893
AT ITER 6616 NEW BEST:: SOT 214805 SOS 55881 HAS SOPS 55881 HAS SOUS 34784 HAS SOUPS 34784 WITH SCORE 34839.881
AT ITER 6622 NEW BEST:: SOT 214827 SOS 55375 HAS SOPS 55375 HAS SOUS 34780 HAS SOUPS 34780 WITH SCORE 34835.375
AT ITER 6641 NEW BEST:: SOT 214795 SOS 55297 HAS SOPS 55297 HAS SOUS 34748 HAS SOUPS 34748 WITH SCORE 34803.297
AT ITER 6644 NEW BEST:: SOT 214791 SOS 55289 HAS SOPS 55289 HAS SOUS 34740 HAS SOUPS 34740 WITH SCORE 34795.289
AT ITER 6660 NEW BEST:: SOT 214729 SOS 55165 HAS SOPS 55165 HAS SOUS 34665 HAS SOUPS 34665 WITH SCORE 34720.165
AT ITER 6669 NEW BEST:: SOT 214729 SOS 55155 HAS SOPS 55155 HAS SOUS 34655 HAS SOUPS 34655 WITH SCORE 34710.155
AT ITER 6670 NEW BEST:: SOT 214729 SOS 55155 HAS SOPS 55155 HAS SOUS 34651 HAS SOUPS 34651 WITH SCORE 34706.155
AT ITER 6716 NEW BEST:: SOT 214669 SOS 55035 HAS SOPS 55035 HAS SOUS 34531 HAS SOUPS 34531 WITH SCORE 34586.035
AT ITER 6738 NEW BEST:: SOT 214659 SOS 55025 HAS SOPS 55025 HAS SOUS 34516 HAS SOUPS 34516 WITH SCORE 34571.025
AT ITER 6741 NEW BEST:: SOT 214636 SOS 55095 HAS SOPS 55095 HAS SOUS 34499 HAS SOUPS 34499 WITH SCORE 34554.095
AT ITER 6751 NEW BEST:: SOT 214636 SOS 55095 HAS SOPS 55095 HAS SOUS 34484 HAS SOUPS 34484 WITH SCORE 34539.095
AT ITER 6756 NEW BEST:: SOT 214624 SOS 55071 HAS SOPS 55071 HAS SOUS 34460 HAS SOUPS 34460 WITH SCORE 34515.071
AT ITER 6765 NEW BEST:: SOT 214617 SOS 55057 HAS SOPS 55057 HAS SOUS 34453 HAS SOUPS 34453 WITH SCORE 34508.057
AT ITER 6785 NEW BEST:: SOT 214617 SOS 54985 HAS SOPS 54985 HAS SOUS 34453 HAS SOUPS 34453 WITH SCORE 34507.985
AT ITER 6787 NEW BEST:: SOT 214559 SOS 55007 HAS SOPS 55007 HAS SOUS 34429 HAS SOUPS 34429 WITH SCORE 34484.007
AT ITER 6793 NEW BEST:: SOT 214564 SOS 54994 HAS SOPS 54994 HAS SOUS 34393 HAS SOUPS 34393 WITH SCORE 34447.994
AT ITER 6799 NEW BEST:: SOT 214534 SOS 54934 HAS SOPS 54934 HAS SOUS 34333 HAS SOUPS 34333 WITH SCORE 34387.934
AT ITER 6828 NEW BEST:: SOT 214608 SOS 54678 HAS SOPS 54678 HAS SOUS 34329 HAS SOUPS 34329 WITH SCORE 34383.678
AT ITER 6838 NEW BEST:: SOT 214608 SOS 54678 HAS SOPS 54678 HAS SOUS 34320 HAS SOUPS 34320 WITH SCORE 34374.678
AT ITER 6865 NEW BEST:: SOT 214608 SOS 54678 HAS SOPS 54678 HAS SOUS 34315 HAS SOUPS 34315 WITH SCORE 34369.678
AT ITER 6961 NEW BEST:: SOT 214608 SOS 54678 HAS SOPS 54678 HAS SOUS 34294 HAS SOUPS 34294 WITH SCORE 34348.678
AT ITER 6969 NEW BEST:: SOT 214618 SOS 54678 HAS SOPS 54678 HAS SOUS 34264 HAS SOUPS 34264 WITH SCORE 34318.678
AT ITER 7019 NEW BEST:: SOT 214640 SOS 54647 HAS SOPS 54647 HAS SOUS 34258 HAS SOUPS 34258 WITH SCORE 34312.647
AT ITER 7091 NEW BEST:: SOT 214645 SOS 54657 HAS SOPS 54657 HAS SOUS 34246 HAS SOUPS 34246 WITH SCORE 34300.657
AT ITER 7111 NEW BEST:: SOT 214642 SOS 54651 HAS SOPS 54651 HAS SOUS 34243 HAS SOUPS 34243 WITH SCORE 34297.651
AT ITER 7113 NEW BEST:: SOT 214651 SOS 54669 HAS SOPS 54669 HAS SOUS 34218 HAS SOUPS 34218 WITH SCORE 34272.669
AT ITER 7144 NEW BEST:: SOT 214651 SOS 54661 HAS SOPS 54661 HAS SOUS 34210 HAS SOUPS 34210 WITH SCORE 34264.661
AT ITER 7194 NEW BEST:: SOT 214643 SOS 54653 HAS SOPS 54653 HAS SOUS 34202 HAS SOUPS 34202 WITH SCORE 34256.653
AT ITER 7197 NEW BEST:: SOT 214660 SOS 54603 HAS SOPS 54603 HAS SOUS 34156 HAS SOUPS 34156 WITH SCORE 34210.603
AT ITER 7210 NEW BEST:: SOT 214680 SOS 54543 HAS SOPS 54543 HAS SOUS 34126 HAS SOUPS 34126 WITH SCORE 34180.543
AT ITER 7216 NEW BEST:: SOT 214676 SOS 54535 HAS SOPS 54535 HAS SOUS 34124 HAS SOUPS 34124 WITH SCORE 34178.535
AT ITER 7218 NEW BEST:: SOT 214665 SOS 54627 HAS SOPS 54627 HAS SOUS 34102 HAS SOUPS 34102 WITH SCORE 34156.627
AT ITER 7219 NEW BEST:: SOT 214665 SOS 54609 HAS SOPS 54609 HAS SOUS 34102 HAS SOUPS 34102 WITH SCORE 34156.609
AT ITER 7275 NEW BEST:: SOT 214668 SOS 54611 HAS SOPS 54611 HAS SOUS 34063 HAS SOUPS 34063 WITH SCORE 34117.611
AT ITER 7312 NEW BEST:: SOT 214659 SOS 54593 HAS SOPS 54593 HAS SOUS 34045 HAS SOUPS 34045 WITH SCORE 34099.593
AT ITER 7318 NEW BEST:: SOT 214624 SOS 54435 HAS SOPS 54435 HAS SOUS 33994 HAS SOUPS 33994 WITH SCORE 34048.435
AT ITER 7323 NEW BEST:: SOT 214610 SOS 54462 HAS SOPS 54462 HAS SOUS 33991 HAS SOUPS 33991 WITH SCORE 34045.462
AT ITER 7335 NEW BEST:: SOT 214617 SOS 54476 HAS SOPS 54476 HAS SOUS 33971 HAS SOUPS 33971 WITH SCORE 34025.476
AT ITER 7363 NEW BEST:: SOT 214590 SOS 54458 HAS SOPS 54458 HAS SOUS 33950 HAS SOUPS 33950 WITH SCORE 34004.458
AT ITER 7365 NEW BEST:: SOT 214590 SOS 54458 HAS SOPS 54458 HAS SOUS 33944 HAS SOUPS 33944 WITH SCORE 33998.458
AT ITER 7450 NEW BEST:: SOT 214579 SOS 54436 HAS SOPS 54436 HAS SOUS 33922 HAS SOUPS 33922 WITH SCORE 33976.436
AT ITER 7467 NEW BEST:: SOT 214569 SOS 54416 HAS SOPS 54416 HAS SOUS 33902 HAS SOUPS 33902 WITH SCORE 33956.416
AT ITER 7477 NEW BEST:: SOT 214557 SOS 54368 HAS SOPS 54368 HAS SOUS 33902 HAS SOUPS 33902 WITH SCORE 33956.368
AT ITER 7486 NEW BEST:: SOT 214557 SOS 54368 HAS SOPS 54368 HAS SOUS 33874 HAS SOUPS 33874 WITH SCORE 33928.368
AT ITER 7499 NEW BEST:: SOT 214556 SOS 54366 HAS SOPS 54366 HAS SOUS 33872 HAS SOUPS 33872 WITH SCORE 33926.366
AT ITER 7553 NEW BEST:: SOT 214510 SOS 54320 HAS SOPS 54320 HAS SOUS 33835 HAS SOUPS 33835 WITH SCORE 33889.32
AT ITER 7596 NEW BEST:: SOT 214509 SOS 54318 HAS SOPS 54318 HAS SOUS 33833 HAS SOUPS 33833 WITH SCORE 33887.318
AT ITER 7625 NEW BEST:: SOT 214475 SOS 54332 HAS SOPS 54332 HAS SOUS 33808 HAS SOUPS 33808 WITH SCORE 33862.332
AT ITER 7627 NEW BEST:: SOT 214433 SOS 54383 HAS SOPS 54383 HAS SOUS 33748 HAS SOUPS 33748 WITH SCORE 33802.383
AT ITER 7646 NEW BEST:: SOT 214429 SOS 54359 HAS SOPS 54359 HAS SOUS 33740 HAS SOUPS 33740 WITH SCORE 33794.359
AT ITER 7653 NEW BEST:: SOT 214372 SOS 54316 HAS SOPS 54316 HAS SOUS 33714 HAS SOUPS 33714 WITH SCORE 33768.316
AT ITER 7739 NEW BEST:: SOT 214364 SOS 54300 HAS SOPS 54300 HAS SOUS 33702 HAS SOUPS 33702 WITH SCORE 33756.3
AT ITER 7823 NEW BEST:: SOT 214351 SOS 54274 HAS SOPS 54274 HAS SOUS 33676 HAS SOUPS 33676 WITH SCORE 33730.274
AT ITER 7859 NEW BEST:: SOT 214344 SOS 54232 HAS SOPS 54232 HAS SOUS 33662 HAS SOUPS 33662 WITH SCORE 33716.232
AT ITER 7890 NEW BEST:: SOT 214335 SOS 54214 HAS SOPS 54214 HAS SOUS 33644 HAS SOUPS 33644 WITH SCORE 33698.214
AT ITER 7903 NEW BEST:: SOT 214332 SOS 54410 HAS SOPS 54410 HAS SOUS 33638 HAS SOUPS 33638 WITH SCORE 33692.41
AT ITER 7947 NEW BEST:: SOT 214332 SOS 54407 HAS SOPS 54407 HAS SOUS 33638 HAS SOUPS 33638 WITH SCORE 33692.407
AT ITER 7958 NEW BEST:: SOT 214264 SOS 54463 HAS SOPS 54463 HAS SOUS 33632 HAS SOUPS 33632 WITH SCORE 33686.463
AT ITER 8008 NEW BEST:: SOT 214264 SOS 54461 HAS SOPS 54461 HAS SOUS 33630 HAS SOUPS 33630 WITH SCORE 33684.461
AT ITER 8027 NEW BEST:: SOT 214265 SOS 54447 HAS SOPS 54447 HAS SOUS 33624 HAS SOUPS 33624 WITH SCORE 33678.447
AT ITER 8197 NEW BEST:: SOT 214307 SOS 54482 HAS SOPS 54482 HAS SOUS 33612 HAS SOUPS 33612 WITH SCORE 33666.482
AT ITER 8203 NEW BEST:: SOT 214288 SOS 54463 HAS SOPS 54463 HAS SOUS 33593 HAS SOUPS 33593 WITH SCORE 33647.463
AT ITER 8244 NEW BEST:: SOT 214317 SOS 54491 HAS SOPS 54491 HAS SOUS 33565 HAS SOUPS 33565 WITH SCORE 33619.491
AT ITER 8260 NEW BEST:: SOT 214305 SOS 54473 HAS SOPS 54473 HAS SOUS 33547 HAS SOUPS 33547 WITH SCORE 33601.473
AT ITER 8292 NEW BEST:: SOT 214287 SOS 54437 HAS SOPS 54437 HAS SOUS 33522 HAS SOUPS 33522 WITH SCORE 33576.437
AT ITER 8375 NEW BEST:: SOT 214234 SOS 54523 HAS SOPS 54523 HAS SOUS 33477 HAS SOUPS 33477 WITH SCORE 33531.523
AT ITER 8418 NEW BEST:: SOT 214234 SOS 54497 HAS SOPS 54497 HAS SOUS 33477 HAS SOUPS 33477 WITH SCORE 33531.497
AT ITER 8425 NEW BEST:: SOT 214223 SOS 54475 HAS SOPS 54475 HAS SOUS 33472 HAS SOUPS 33472 WITH SCORE 33526.475
AT ITER 8532 NEW BEST:: SOT 214236 SOS 54451 HAS SOPS 54451 HAS SOUS 33460 HAS SOUPS 33460 WITH SCORE 33514.451
AT ITER 8678 NEW BEST:: SOT 214228 SOS 54418 HAS SOPS 54418 HAS SOUS 33396 HAS SOUPS 33396 WITH SCORE 33450.418
AT ITER 8766 NEW BEST:: SOT 214228 SOS 54406 HAS SOPS 54406 HAS SOUS 33384 HAS SOUPS 33384 WITH SCORE 33438.406
AT ITER 8802 NEW BEST:: SOT 214229 SOS 54405 HAS SOPS 54405 HAS SOUS 33384 HAS SOUPS 33384 WITH SCORE 33438.405
AT ITER 8842 NEW BEST:: SOT 214198 SOS 54343 HAS SOPS 54343 HAS SOUS 33332 HAS SOUPS 33332 WITH SCORE 33386.343
AT ITER 8908 NEW BEST:: SOT 214228 SOS 54370 HAS SOPS 54370 HAS SOUS 33331 HAS SOUPS 33331 WITH SCORE 33385.37
AT ITER 8962 NEW BEST:: SOT 214196 SOS 54360 HAS SOPS 54360 HAS SOUS 33303 HAS SOUPS 33303 WITH SCORE 33357.36
AT ITER 9098 NEW BEST:: SOT 214180 SOS 54364 HAS SOPS 54364 HAS SOUS 33287 HAS SOUPS 33287 WITH SCORE 33341.364
AT ITER 9108 NEW BEST:: SOT 214176 SOS 54356 HAS SOPS 54356 HAS SOUS 33279 HAS SOUPS 33279 WITH SCORE 33333.356
AT ITER 9121 NEW BEST:: SOT 214172 SOS 54352 HAS SOPS 54352 HAS SOUS 33275 HAS SOUPS 33275 WITH SCORE 33329.352
AT ITER 9127 NEW BEST:: SOT 214172 SOS 54356 HAS SOPS 54356 HAS SOUS 33273 HAS SOUPS 33273 WITH SCORE 33327.356
AT ITER 9188 NEW BEST:: SOT 214175 SOS 54362 HAS SOPS 54362 HAS SOUS 33271 HAS SOUPS 33271 WITH SCORE 33325.362
AT ITER 9206 NEW BEST:: SOT 214165 SOS 54342 HAS SOPS 54342 HAS SOUS 33271 HAS SOUPS 33271 WITH SCORE 33325.342
AT ITER 9233 NEW BEST:: SOT 214158 SOS 54303 HAS SOPS 54303 HAS SOUS 33260 HAS SOUPS 33260 WITH SCORE 33314.303
AT ITER 9274 NEW BEST:: SOT 214154 SOS 54295 HAS SOPS 54295 HAS SOUS 33251 HAS SOUPS 33251 WITH SCORE 33305.295
AT ITER 9301 NEW BEST:: SOT 214151 SOS 54289 HAS SOPS 54289 HAS SOUS 33245 HAS SOUPS 33245 WITH SCORE 33299.289
AT ITER 9305 NEW BEST:: SOT 214121 SOS 54229 HAS SOPS 54229 HAS SOUS 33215 HAS SOUPS 33215 WITH SCORE 33269.229
AT ITER 9343 NEW BEST:: SOT 214119 SOS 54225 HAS SOPS 54225 HAS SOUS 33210 HAS SOUPS 33210 WITH SCORE 33264.225
AT ITER 9359 NEW BEST:: SOT 214103 SOS 54193 HAS SOPS 54193 HAS SOUS 33194 HAS SOUPS 33194 WITH SCORE 33248.193
AT ITER 9369 NEW BEST:: SOT 214106 SOS 54167 HAS SOPS 54167 HAS SOUS 33185 HAS SOUPS 33185 WITH SCORE 33239.167
AT ITER 9394 NEW BEST:: SOT 214100 SOS 54155 HAS SOPS 54155 HAS SOUS 33173 HAS SOUPS 33173 WITH SCORE 33227.155
AT ITER 9445 NEW BEST:: SOT 214094 SOS 54143 HAS SOPS 54143 HAS SOUS 33173 HAS SOUPS 33173 WITH SCORE 33227.143
AT ITER 9450 NEW BEST:: SOT 214086 SOS 54099 HAS SOPS 54099 HAS SOUS 33139 HAS SOUPS 33139 WITH SCORE 33193.099
AT ITER 9460 NEW BEST:: SOT 214085 SOS 54097 HAS SOPS 54097 HAS SOUS 33136 HAS SOUPS 33136 WITH SCORE 33190.097
AT ITER 9467 NEW BEST:: SOT 214085 SOS 54058 HAS SOPS 54058 HAS SOUS 33136 HAS SOUPS 33136 WITH SCORE 33190.058
AT ITER 9478 NEW BEST:: SOT 214080 SOS 54065 HAS SOPS 54065 HAS SOUS 33126 HAS SOUPS 33126 WITH SCORE 33180.065
AT ITER 9481 NEW BEST:: SOT 214058 SOS 54318 HAS SOPS 54318 HAS SOUS 33104 HAS SOUPS 33104 WITH SCORE 33158.318
AT ITER 9488 NEW BEST:: SOT 214018 SOS 54304 HAS SOPS 54304 HAS SOUS 33064 HAS SOUPS 33064 WITH SCORE 33118.304
AT ITER 9525 NEW BEST:: SOT 214034 SOS 54285 HAS SOPS 54285 HAS SOUS 33041 HAS SOUPS 33041 WITH SCORE 33095.285
AT ITER 9528 NEW BEST:: SOT 214033 SOS 54284 HAS SOPS 54284 HAS SOUS 33041 HAS SOUPS 33041 WITH SCORE 33095.284
AT ITER 9580 NEW BEST:: SOT 214041 SOS 54300 HAS SOPS 54300 HAS SOUS 33040 HAS SOUPS 33040 WITH SCORE 33094.3
AT ITER 9639 NEW BEST:: SOT 214039 SOS 54296 HAS SOPS 54296 HAS SOUS 33036 HAS SOUPS 33036 WITH SCORE 33090.296
AT ITER 9668 NEW BEST:: SOT 214038 SOS 54294 HAS SOPS 54294 HAS SOUS 33034 HAS SOUPS 33034 WITH SCORE 33088.294
AT ITER 9703 NEW BEST:: SOT 214028 SOS 54241 HAS SOPS 54241 HAS SOUS 33013 HAS SOUPS 33013 WITH SCORE 33067.241
AT ITER 9754 NEW BEST:: SOT 214028 SOS 54215 HAS SOPS 54215 HAS SOUS 33013 HAS SOUPS 33013 WITH SCORE 33067.215
AT ITER 9781 NEW BEST:: SOT 214006 SOS 54171 HAS SOPS 54171 HAS SOUS 32988 HAS SOUPS 32988 WITH SCORE 33042.171
AT ITER 9811 NEW BEST:: SOT 214004 SOS 54167 HAS SOPS 54167 HAS SOUS 32984 HAS SOUPS 32984 WITH SCORE 33038.167
AT ITER 9836 NEW BEST:: SOT 214050 SOS 54121 HAS SOPS 54121 HAS SOUS 32984 HAS SOUPS 32984 WITH SCORE 33038.121
AT ITER 9860 NEW BEST:: SOT 214025 SOS 54071 HAS SOPS 54071 HAS SOUS 32934 HAS SOUPS 32934 WITH SCORE 32988.071
AT ITER 9911 NEW BEST:: SOT 214019 SOS 54065 HAS SOPS 54065 HAS SOUS 32928 HAS SOUPS 32928 WITH SCORE 32982.065
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 5841412 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123864 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="CloudDeployment-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 CloudDeployment-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 r075-smll-167814401000376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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