About the Execution of Smart+red for HypercubeGrid-PT-C4K3P3B12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7235.104 | 3600000.00 | 3639197.00 | 10685.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r235-tall-167856421100016.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 HypercubeGrid-PT-C4K3P3B12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421100016
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 8.0K Feb 26 03:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 03:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 02:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 02:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 16:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 05:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 05:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 04:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 04:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 3.0M 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 1678624010205
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=HypercubeGrid-PT-C4K3P3B12
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 12:26:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 12:26:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 12:26:51] [INFO ] Load time of PNML (sax parser for PT used): 203 ms
[2023-03-12 12:26:51] [INFO ] Transformed 2457 places.
[2023-03-12 12:26:51] [INFO ] Transformed 5400 transitions.
[2023-03-12 12:26:52] [INFO ] Parsed PT model containing 2457 places and 5400 transitions and 21600 arcs in 382 ms.
[2023-03-12 12:26:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2457 places, 5400 transitions and 21600 arcs took 49 ms.
Total runtime 458 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypercubeGrid (PT), instance C4K3P3B12
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: 2457 places, 5400 transitions, 21600 arcs.
AT ITER 0 NEW BEST:: SOT 7675393 SOS 1908838 HAS SOPS 1908838 HAS SOUS 764963 HAS SOUPS 764963 WITH SCORE 766871.838
AT ITER 12 NEW BEST:: SOT 7675329 SOS 1908710 HAS SOPS 1908710 HAS SOUS 764835 HAS SOUPS 764835 WITH SCORE 766743.71
AT ITER 19 NEW BEST:: SOT 7675318 SOS 1908699 HAS SOPS 1908699 HAS SOUS 764824 HAS SOUPS 764824 WITH SCORE 766732.699
AT ITER 22 NEW BEST:: SOT 7675318 SOS 1908699 HAS SOPS 1908699 HAS SOUS 764822 HAS SOUPS 764822 WITH SCORE 766730.699
AT ITER 28 NEW BEST:: SOT 7674632 SOS 1907705 HAS SOPS 1907705 HAS SOUS 764092 HAS SOUPS 764092 WITH SCORE 765999.705
AT ITER 44 NEW BEST:: SOT 7674380 SOS 1907453 HAS SOPS 1907453 HAS SOUS 763840 HAS SOUPS 763840 WITH SCORE 765747.453
AT ITER 71 NEW BEST:: SOT 7674249 SOS 1906970 HAS SOPS 1906970 HAS SOUS 763621 HAS SOUPS 763621 WITH SCORE 765527.97
AT ITER 81 NEW BEST:: SOT 7674249 SOS 1907342 HAS SOPS 1907342 HAS SOUS 763310 HAS SOUPS 763310 WITH SCORE 765217.342
AT ITER 113 NEW BEST:: SOT 7674185 SOS 1907214 HAS SOPS 1907214 HAS SOUS 763182 HAS SOUPS 763182 WITH SCORE 765089.214
AT ITER 119 NEW BEST:: SOT 7673989 SOS 1907018 HAS SOPS 1907018 HAS SOUS 762986 HAS SOUPS 762986 WITH SCORE 764893.018
AT ITER 156 NEW BEST:: SOT 7673989 SOS 1905554 HAS SOPS 1905554 HAS SOUS 762620 HAS SOUPS 762620 WITH SCORE 764525.554
AT ITER 163 NEW BEST:: SOT 7672918 SOS 1904330 HAS SOPS 1904330 HAS SOUS 761396 HAS SOUPS 761396 WITH SCORE 763300.33
AT ITER 189 NEW BEST:: SOT 7672940 SOS 1902820 HAS SOPS 1902820 HAS SOUS 761218 HAS SOUPS 761218 WITH SCORE 763120.82
AT ITER 196 NEW BEST:: SOT 7672922 SOS 1901641 HAS SOPS 1901641 HAS SOUS 761197 HAS SOUPS 761197 WITH SCORE 763098.641
AT ITER 214 NEW BEST:: SOT 7672774 SOS 1901345 HAS SOPS 1901345 HAS SOUS 760901 HAS SOUPS 760901 WITH SCORE 762802.345
AT ITER 226 NEW BEST:: SOT 7672774 SOS 1900127 HAS SOPS 1900127 HAS SOUS 760841 HAS SOUPS 760841 WITH SCORE 762741.127
AT ITER 354 NEW BEST:: SOT 7672646 SOS 1899103 HAS SOPS 1899103 HAS SOUS 760585 HAS SOUPS 760585 WITH SCORE 762484.103
AT ITER 382 NEW BEST:: SOT 7672578 SOS 1897748 HAS SOPS 1897748 HAS SOUS 760388 HAS SOUPS 760388 WITH SCORE 762285.748
AT ITER 414 NEW BEST:: SOT 7672585 SOS 1896453 HAS SOPS 1896453 HAS SOUS 760209 HAS SOUPS 760209 WITH SCORE 762105.453
AT ITER 417 NEW BEST:: SOT 7671276 SOS 1894957 HAS SOPS 1894957 HAS SOUS 758497 HAS SOUPS 758497 WITH SCORE 760391.957
AT ITER 429 NEW BEST:: SOT 7671343 SOS 1895024 HAS SOPS 1895024 HAS SOUS 758403 HAS SOUPS 758403 WITH SCORE 760298.024
AT ITER 440 NEW BEST:: SOT 7671343 SOS 1895841 HAS SOPS 1895841 HAS SOUS 757559 HAS SOUPS 757559 WITH SCORE 759454.841
AT ITER 443 NEW BEST:: SOT 7671186 SOS 1895527 HAS SOPS 1895527 HAS SOUS 757011 HAS SOUPS 757011 WITH SCORE 758906.527
AT ITER 445 NEW BEST:: SOT 7670382 SOS 1894723 HAS SOPS 1894723 HAS SOUS 756207 HAS SOUPS 756207 WITH SCORE 758101.723
AT ITER 447 NEW BEST:: SOT 7669577 SOS 1893803 HAS SOPS 1893803 HAS SOUS 754898 HAS SOUPS 754898 WITH SCORE 756791.803
AT ITER 466 NEW BEST:: SOT 7668345 SOS 1892395 HAS SOPS 1892395 HAS SOUS 752928 HAS SOUPS 752928 WITH SCORE 754820.395
AT ITER 497 NEW BEST:: SOT 7667498 SOS 1891548 HAS SOPS 1891548 HAS SOUS 752081 HAS SOUPS 752081 WITH SCORE 753972.548
AT ITER 563 NEW BEST:: SOT 7667498 SOS 1889993 HAS SOPS 1889993 HAS SOUS 751990 HAS SOUPS 751990 WITH SCORE 753879.993
AT ITER 662 NEW BEST:: SOT 7667498 SOS 1888614 HAS SOPS 1888614 HAS SOUS 751793 HAS SOUPS 751793 WITH SCORE 753681.614
AT ITER 678 NEW BEST:: SOT 7666259 SOS 1887295 HAS SOPS 1887295 HAS SOUS 750534 HAS SOUPS 750534 WITH SCORE 752421.295
AT ITER 680 NEW BEST:: SOT 7666241 SOS 1887259 HAS SOPS 1887259 HAS SOUS 750498 HAS SOUPS 750498 WITH SCORE 752385.259
AT ITER 744 NEW BEST:: SOT 7666223 SOS 1887223 HAS SOPS 1887223 HAS SOUS 750462 HAS SOUPS 750462 WITH SCORE 752349.223
AT ITER 757 NEW BEST:: SOT 7665915 SOS 1886871 HAS SOPS 1886871 HAS SOUS 750110 HAS SOUPS 750110 WITH SCORE 751996.871
AT ITER 777 NEW BEST:: SOT 7665897 SOS 1886835 HAS SOPS 1886835 HAS SOUS 750074 HAS SOUPS 750074 WITH SCORE 751960.835
AT ITER 791 NEW BEST:: SOT 7665897 SOS 1885666 HAS SOPS 1885666 HAS SOUS 750063 HAS SOUPS 750063 WITH SCORE 751948.666
AT ITER 838 NEW BEST:: SOT 7665840 SOS 1885233 HAS SOPS 1885233 HAS SOUS 749912 HAS SOUPS 749912 WITH SCORE 751797.233
AT ITER 865 NEW BEST:: SOT 7665819 SOS 1885293 HAS SOPS 1885293 HAS SOUS 749870 HAS SOUPS 749870 WITH SCORE 751755.293
AT ITER 869 NEW BEST:: SOT 7665819 SOS 1885293 HAS SOPS 1885293 HAS SOUS 749779 HAS SOUPS 749779 WITH SCORE 751664.293
AT ITER 871 NEW BEST:: SOT 7665816 SOS 1885266 HAS SOPS 1885266 HAS SOUS 749770 HAS SOUPS 749770 WITH SCORE 751655.266
AT ITER 892 NEW BEST:: SOT 7665816 SOS 1885266 HAS SOPS 1885266 HAS SOUS 749765 HAS SOUPS 749765 WITH SCORE 751650.266
AT ITER 898 NEW BEST:: SOT 7665770 SOS 1885117 HAS SOPS 1885117 HAS SOUS 749760 HAS SOUPS 749760 WITH SCORE 751645.117
AT ITER 902 NEW BEST:: SOT 7665259 SOS 1884022 HAS SOPS 1884022 HAS SOUS 749103 HAS SOUPS 749103 WITH SCORE 750987.022
AT ITER 903 NEW BEST:: SOT 7664335 SOS 1882174 HAS SOPS 1882174 HAS SOUS 748047 HAS SOUPS 748047 WITH SCORE 749929.174
AT ITER 965 NEW BEST:: SOT 7664147 SOS 1881798 HAS SOPS 1881798 HAS SOUS 747533 HAS SOUPS 747533 WITH SCORE 749414.798
AT ITER 967 NEW BEST:: SOT 7663839 SOS 1881446 HAS SOPS 1881446 HAS SOUS 747181 HAS SOUPS 747181 WITH SCORE 749062.446
AT ITER 989 NEW BEST:: SOT 7663692 SOS 1881278 HAS SOPS 1881278 HAS SOUS 747085 HAS SOUPS 747085 WITH SCORE 748966.278
AT ITER 1000 NEW BEST:: SOT 7663674 SOS 1881242 HAS SOPS 1881242 HAS SOUS 747049 HAS SOUPS 747049 WITH SCORE 748930.242
AT ITER 1001 NEW BEST:: SOT 7663658 SOS 1881226 HAS SOPS 1881226 HAS SOUS 747017 HAS SOUPS 747017 WITH SCORE 748898.226
AT ITER 1009 NEW BEST:: SOT 7663658 SOS 1881420 HAS SOPS 1881420 HAS SOUS 746995 HAS SOUPS 746995 WITH SCORE 748876.42
AT ITER 1043 NEW BEST:: SOT 7663196 SOS 1880192 HAS SOPS 1880192 HAS SOUS 746605 HAS SOUPS 746605 WITH SCORE 748485.192
AT ITER 1053 NEW BEST:: SOT 7661919 SOS 1877638 HAS SOPS 1877638 HAS SOUS 745676 HAS SOUPS 745676 WITH SCORE 747553.638
AT ITER 1054 NEW BEST:: SOT 7661919 SOS 1877262 HAS SOPS 1877262 HAS SOUS 745582 HAS SOUPS 745582 WITH SCORE 747459.262
AT ITER 1074 NEW BEST:: SOT 7660603 SOS 1875758 HAS SOPS 1875758 HAS SOUS 743856 HAS SOUPS 743856 WITH SCORE 745731.758
AT ITER 1088 NEW BEST:: SOT 7660533 SOS 1875688 HAS SOPS 1875688 HAS SOUS 743716 HAS SOUPS 743716 WITH SCORE 745591.688
AT ITER 1100 NEW BEST:: SOT 7658825 SOS 1873039 HAS SOPS 1873039 HAS SOUS 742184 HAS SOUPS 742184 WITH SCORE 744057.039
AT ITER 1108 NEW BEST:: SOT 7658578 SOS 1871627 HAS SOPS 1871627 HAS SOUS 741972 HAS SOUPS 741972 WITH SCORE 743843.627
AT ITER 1111 NEW BEST:: SOT 7658578 SOS 1870871 HAS SOPS 1870871 HAS SOUS 741864 HAS SOUPS 741864 WITH SCORE 743734.871
AT ITER 1141 NEW BEST:: SOT 7657479 SOS 1869615 HAS SOPS 1869615 HAS SOUS 740608 HAS SOUPS 740608 WITH SCORE 742477.615
AT ITER 1143 NEW BEST:: SOT 7657433 SOS 1869461 HAS SOPS 1869461 HAS SOUS 740598 HAS SOUPS 740598 WITH SCORE 742467.461
AT ITER 1167 NEW BEST:: SOT 7657363 SOS 1869381 HAS SOPS 1869381 HAS SOUS 740464 HAS SOUPS 740464 WITH SCORE 742333.381
AT ITER 1192 NEW BEST:: SOT 7657363 SOS 1870048 HAS SOPS 1870048 HAS SOUS 740393 HAS SOUPS 740393 WITH SCORE 742263.048
AT ITER 1207 NEW BEST:: SOT 7657363 SOS 1870454 HAS SOPS 1870454 HAS SOUS 740045 HAS SOUPS 740045 WITH SCORE 741915.454
AT ITER 1229 NEW BEST:: SOT 7657305 SOS 1869990 HAS SOPS 1869990 HAS SOUS 739929 HAS SOUPS 739929 WITH SCORE 741798.99
AT ITER 1233 NEW BEST:: SOT 7657346 SOS 1869008 HAS SOPS 1869008 HAS SOUS 739859 HAS SOUPS 739859 WITH SCORE 741728.008
AT ITER 1249 NEW BEST:: SOT 7655645 SOS 1867064 HAS SOPS 1867064 HAS SOUS 737501 HAS SOUPS 737501 WITH SCORE 739368.064
AT ITER 1288 NEW BEST:: SOT 7655694 SOS 1866977 HAS SOPS 1866977 HAS SOUS 737024 HAS SOUPS 737024 WITH SCORE 738890.977
AT ITER 1331 NEW BEST:: SOT 7655694 SOS 1867215 HAS SOPS 1867215 HAS SOUS 736832 HAS SOUPS 736832 WITH SCORE 738699.215
AT ITER 1338 NEW BEST:: SOT 7655659 SOS 1867180 HAS SOPS 1867180 HAS SOUS 736797 HAS SOUPS 736797 WITH SCORE 738664.18
AT ITER 1368 NEW BEST:: SOT 7655253 SOS 1866098 HAS SOPS 1866098 HAS SOUS 736465 HAS SOUPS 736465 WITH SCORE 738331.098
AT ITER 1394 NEW BEST:: SOT 7655340 SOS 1866185 HAS SOPS 1866185 HAS SOUS 736304 HAS SOUPS 736304 WITH SCORE 738170.185
AT ITER 1428 NEW BEST:: SOT 7654795 SOS 1865311 HAS SOPS 1865311 HAS SOUS 735712 HAS SOUPS 735712 WITH SCORE 737577.311
AT ITER 1429 NEW BEST:: SOT 7654487 SOS 1864959 HAS SOPS 1864959 HAS SOUS 735348 HAS SOUPS 735348 WITH SCORE 737212.959
AT ITER 1435 NEW BEST:: SOT 7654445 SOS 1864061 HAS SOPS 1864061 HAS SOUS 735170 HAS SOUPS 735170 WITH SCORE 737034.061
AT ITER 1439 NEW BEST:: SOT 7654437 SOS 1864045 HAS SOPS 1864045 HAS SOUS 735154 HAS SOUPS 735154 WITH SCORE 737018.045
AT ITER 1494 NEW BEST:: SOT 7654437 SOS 1863581 HAS SOPS 1863581 HAS SOUS 735038 HAS SOUPS 735038 WITH SCORE 736901.581
AT ITER 1523 NEW BEST:: SOT 7654065 SOS 1863209 HAS SOPS 1863209 HAS SOUS 734666 HAS SOUPS 734666 WITH SCORE 736529.209
AT ITER 1535 NEW BEST:: SOT 7654065 SOS 1863209 HAS SOPS 1863209 HAS SOUS 734627 HAS SOUPS 734627 WITH SCORE 736490.209
AT ITER 1571 NEW BEST:: SOT 7654065 SOS 1863209 HAS SOPS 1863209 HAS SOUS 734565 HAS SOUPS 734565 WITH SCORE 736428.209
AT ITER 1580 NEW BEST:: SOT 7654065 SOS 1862745 HAS SOPS 1862745 HAS SOUS 734449 HAS SOUPS 734449 WITH SCORE 736311.745
AT ITER 1610 NEW BEST:: SOT 7654065 SOS 1861911 HAS SOPS 1861911 HAS SOUS 734353 HAS SOUPS 734353 WITH SCORE 736214.911
AT ITER 1624 NEW BEST:: SOT 7654065 SOS 1861911 HAS SOPS 1861911 HAS SOUS 734183 HAS SOUPS 734183 WITH SCORE 736044.911
AT ITER 1718 NEW BEST:: SOT 7653873 SOS 1860211 HAS SOPS 1860211 HAS SOUS 733611 HAS SOUPS 733611 WITH SCORE 735471.211
AT ITER 1744 NEW BEST:: SOT 7653663 SOS 1860001 HAS SOPS 1860001 HAS SOUS 733401 HAS SOUPS 733401 WITH SCORE 735261.001
AT ITER 1812 NEW BEST:: SOT 7653604 SOS 1859942 HAS SOPS 1859942 HAS SOUS 733342 HAS SOUPS 733342 WITH SCORE 735201.942
AT ITER 1826 NEW BEST:: SOT 7653233 SOS 1859518 HAS SOPS 1859518 HAS SOUS 732702 HAS SOUPS 732702 WITH SCORE 734561.518
AT ITER 1876 NEW BEST:: SOT 7653233 SOS 1859465 HAS SOPS 1859465 HAS SOUS 732649 HAS SOUPS 732649 WITH SCORE 734508.465
AT ITER 1888 NEW BEST:: SOT 7653233 SOS 1859089 HAS SOPS 1859089 HAS SOUS 732555 HAS SOUPS 732555 WITH SCORE 734414.089
AT ITER 1893 NEW BEST:: SOT 7653233 SOS 1859166 HAS SOPS 1859166 HAS SOUS 732489 HAS SOUPS 732489 WITH SCORE 734348.166
AT ITER 1905 NEW BEST:: SOT 7653233 SOS 1859453 HAS SOPS 1859453 HAS SOUS 732446 HAS SOUPS 732446 WITH SCORE 734305.453
AT ITER 1907 NEW BEST:: SOT 7653233 SOS 1857701 HAS SOPS 1857701 HAS SOUS 732008 HAS SOUPS 732008 WITH SCORE 733865.701
AT ITER 1934 NEW BEST:: SOT 7653219 SOS 1857589 HAS SOPS 1857589 HAS SOUS 731980 HAS SOUPS 731980 WITH SCORE 733837.589
AT ITER 1935 NEW BEST:: SOT 7653219 SOS 1856721 HAS SOPS 1856721 HAS SOUS 731856 HAS SOUPS 731856 WITH SCORE 733712.721
AT ITER 1948 NEW BEST:: SOT 7653054 SOS 1855386 HAS SOPS 1855386 HAS SOUS 731844 HAS SOUPS 731844 WITH SCORE 733699.386
AT ITER 1949 NEW BEST:: SOT 7653016 SOS 1855325 HAS SOPS 1855325 HAS SOUS 731783 HAS SOUPS 731783 WITH SCORE 733638.325
AT ITER 1985 NEW BEST:: SOT 7653016 SOS 1855325 HAS SOPS 1855325 HAS SOUS 731327 HAS SOUPS 731327 WITH SCORE 733182.325
AT ITER 2006 NEW BEST:: SOT 7652925 SOS 1855234 HAS SOPS 1855234 HAS SOUS 731187 HAS SOUPS 731187 WITH SCORE 733042.234
AT ITER 2031 NEW BEST:: SOT 7652925 SOS 1855262 HAS SOPS 1855262 HAS SOUS 731163 HAS SOUPS 731163 WITH SCORE 733018.262
AT ITER 2048 NEW BEST:: SOT 7653005 SOS 1855342 HAS SOPS 1855342 HAS SOUS 731083 HAS SOUPS 731083 WITH SCORE 732938.342
AT ITER 2056 NEW BEST:: SOT 7651654 SOS 1852463 HAS SOPS 1852463 HAS SOUS 729474 HAS SOUPS 729474 WITH SCORE 731326.463
AT ITER 2128 NEW BEST:: SOT 7651339 SOS 1851545 HAS SOPS 1851545 HAS SOUS 729425 HAS SOUPS 729425 WITH SCORE 731276.545
AT ITER 2142 NEW BEST:: SOT 7651295 SOS 1851193 HAS SOPS 1851193 HAS SOUS 729337 HAS SOUPS 729337 WITH SCORE 731188.193
AT ITER 2148 NEW BEST:: SOT 7651295 SOS 1851193 HAS SOPS 1851193 HAS SOUS 729254 HAS SOUPS 729254 WITH SCORE 731105.193
AT ITER 2160 NEW BEST:: SOT 7651295 SOS 1851173 HAS SOPS 1851173 HAS SOUS 729234 HAS SOUPS 729234 WITH SCORE 731085.173
AT ITER 2163 NEW BEST:: SOT 7651288 SOS 1851166 HAS SOPS 1851166 HAS SOUS 729227 HAS SOUPS 729227 WITH SCORE 731078.166
AT ITER 2165 NEW BEST:: SOT 7651288 SOS 1850804 HAS SOPS 1850804 HAS SOUS 729225 HAS SOUPS 729225 WITH SCORE 731075.804
AT ITER 2176 NEW BEST:: SOT 7651288 SOS 1850801 HAS SOPS 1850801 HAS SOUS 729222 HAS SOUPS 729222 WITH SCORE 731072.801
AT ITER 2177 NEW BEST:: SOT 7651288 SOS 1850801 HAS SOPS 1850801 HAS SOUS 729200 HAS SOUPS 729200 WITH SCORE 731050.801
AT ITER 2193 NEW BEST:: SOT 7651261 SOS 1850747 HAS SOPS 1850747 HAS SOUS 729146 HAS SOUPS 729146 WITH SCORE 730996.747
AT ITER 2211 NEW BEST:: SOT 7650435 SOS 1849921 HAS SOPS 1849921 HAS SOUS 728320 HAS SOUPS 728320 WITH SCORE 730169.921
AT ITER 2217 NEW BEST:: SOT 7648727 SOS 1845867 HAS SOPS 1845867 HAS SOUS 726560 HAS SOUPS 726560 WITH SCORE 728405.867
AT ITER 2224 NEW BEST:: SOT 7648727 SOS 1845867 HAS SOPS 1845867 HAS SOUS 726492 HAS SOUPS 726492 WITH SCORE 728337.867
AT ITER 2238 NEW BEST:: SOT 7648669 SOS 1846237 HAS SOPS 1846237 HAS SOUS 726328 HAS SOUPS 726328 WITH SCORE 728174.237
AT ITER 2239 NEW BEST:: SOT 7648582 SOS 1845454 HAS SOPS 1845454 HAS SOUS 726067 HAS SOUPS 726067 WITH SCORE 727912.454
AT ITER 2255 NEW BEST:: SOT 7648538 SOS 1845102 HAS SOPS 1845102 HAS SOUS 725979 HAS SOUPS 725979 WITH SCORE 727824.102
AT ITER 2272 NEW BEST:: SOT 7648480 SOS 1845178 HAS SOPS 1845178 HAS SOUS 725863 HAS SOUPS 725863 WITH SCORE 727708.178
AT ITER 2303 NEW BEST:: SOT 7648480 SOS 1845078 HAS SOPS 1845078 HAS SOUS 725763 HAS SOUPS 725763 WITH SCORE 727608.078
AT ITER 2315 NEW BEST:: SOT 7648480 SOS 1845078 HAS SOPS 1845078 HAS SOUS 725747 HAS SOUPS 725747 WITH SCORE 727592.078
AT ITER 2322 NEW BEST:: SOT 7648480 SOS 1844098 HAS SOPS 1844098 HAS SOUS 725607 HAS SOUPS 725607 WITH SCORE 727451.098
AT ITER 2333 NEW BEST:: SOT 7648074 SOS 1843634 HAS SOPS 1843634 HAS SOUS 724383 HAS SOUPS 724383 WITH SCORE 726226.634
AT ITER 2368 NEW BEST:: SOT 7648074 SOS 1843634 HAS SOPS 1843634 HAS SOUS 724281 HAS SOUPS 724281 WITH SCORE 726124.634
AT ITER 2383 NEW BEST:: SOT 7648062 SOS 1842372 HAS SOPS 1842372 HAS SOUS 724171 HAS SOUPS 724171 WITH SCORE 726013.372
AT ITER 2402 NEW BEST:: SOT 7648062 SOS 1841048 HAS SOPS 1841048 HAS SOUS 724005 HAS SOUPS 724005 WITH SCORE 725846.048
AT ITER 2415 NEW BEST:: SOT 7648062 SOS 1841048 HAS SOPS 1841048 HAS SOUS 723861 HAS SOUPS 723861 WITH SCORE 725702.048
AT ITER 2437 NEW BEST:: SOT 7648055 SOS 1841041 HAS SOPS 1841041 HAS SOUS 723854 HAS SOUPS 723854 WITH SCORE 725695.041
AT ITER 2445 NEW BEST:: SOT 7647993 SOS 1841010 HAS SOPS 1841010 HAS SOUS 723823 HAS SOUPS 723823 WITH SCORE 725664.01
AT ITER 2468 NEW BEST:: SOT 7647993 SOS 1841322 HAS SOPS 1841322 HAS SOUS 723547 HAS SOUPS 723547 WITH SCORE 725388.322
AT ITER 2491 NEW BEST:: SOT 7647936 SOS 1841265 HAS SOPS 1841265 HAS SOUS 723547 HAS SOUPS 723547 WITH SCORE 725388.265
AT ITER 2503 NEW BEST:: SOT 7647907 SOS 1841236 HAS SOPS 1841236 HAS SOUS 723518 HAS SOUPS 723518 WITH SCORE 725359.236
AT ITER 2519 NEW BEST:: SOT 7647906 SOS 1840667 HAS SOPS 1840667 HAS SOUS 723501 HAS SOUPS 723501 WITH SCORE 725341.667
AT ITER 2535 NEW BEST:: SOT 7647906 SOS 1840779 HAS SOPS 1840779 HAS SOUS 723421 HAS SOUPS 723421 WITH SCORE 725261.779
AT ITER 2556 NEW BEST:: SOT 7647852 SOS 1840725 HAS SOPS 1840725 HAS SOUS 723367 HAS SOUPS 723367 WITH SCORE 725207.725
AT ITER 2592 NEW BEST:: SOT 7647776 SOS 1839496 HAS SOPS 1839496 HAS SOUS 723296 HAS SOUPS 723296 WITH SCORE 725135.496
AT ITER 2611 NEW BEST:: SOT 7647363 SOS 1839083 HAS SOPS 1839083 HAS SOUS 722883 HAS SOUPS 722883 WITH SCORE 724722.083
AT ITER 2628 NEW BEST:: SOT 7646215 SOS 1837771 HAS SOPS 1837771 HAS SOUS 720717 HAS SOUPS 720717 WITH SCORE 722554.771
AT ITER 2668 NEW BEST:: SOT 7646031 SOS 1837667 HAS SOPS 1837667 HAS SOUS 720613 HAS SOUPS 720613 WITH SCORE 722450.667
AT ITER 2717 NEW BEST:: SOT 7645962 SOS 1837665 HAS SOPS 1837665 HAS SOUS 720611 HAS SOUPS 720611 WITH SCORE 722448.665
AT ITER 2749 NEW BEST:: SOT 7645921 SOS 1837337 HAS SOPS 1837337 HAS SOUS 720529 HAS SOUPS 720529 WITH SCORE 722366.337
AT ITER 2750 NEW BEST:: SOT 7645885 SOS 1837301 HAS SOPS 1837301 HAS SOUS 720493 HAS SOUPS 720493 WITH SCORE 722330.301
AT ITER 2824 NEW BEST:: SOT 7645718 SOS 1836758 HAS SOPS 1836758 HAS SOUS 720232 HAS SOUPS 720232 WITH SCORE 722068.758
AT ITER 2858 NEW BEST:: SOT 7645208 SOS 1836248 HAS SOPS 1836248 HAS SOUS 719722 HAS SOUPS 719722 WITH SCORE 721558.248
AT ITER 2920 NEW BEST:: SOT 7645600 SOS 1836844 HAS SOPS 1836844 HAS SOUS 719209 HAS SOUPS 719209 WITH SCORE 721045.844
AT ITER 2923 NEW BEST:: SOT 7645600 SOS 1836832 HAS SOPS 1836832 HAS SOUS 719197 HAS SOUPS 719197 WITH SCORE 721033.832
AT ITER 2946 NEW BEST:: SOT 7645294 SOS 1836526 HAS SOPS 1836526 HAS SOUS 718891 HAS SOUPS 718891 WITH SCORE 720727.526
AT ITER 2947 NEW BEST:: SOT 7645294 SOS 1836526 HAS SOPS 1836526 HAS SOUS 718869 HAS SOUPS 718869 WITH SCORE 720705.526
AT ITER 2976 NEW BEST:: SOT 7645294 SOS 1836403 HAS SOPS 1836403 HAS SOUS 718746 HAS SOUPS 718746 WITH SCORE 720582.403
AT ITER 2998 NEW BEST:: SOT 7645250 SOS 1836471 HAS SOPS 1836471 HAS SOUS 718658 HAS SOUPS 718658 WITH SCORE 720494.471
AT ITER 3004 NEW BEST:: SOT 7644137 SOS 1834245 HAS SOPS 1834245 HAS SOUS 717386 HAS SOUPS 717386 WITH SCORE 719220.245
AT ITER 3008 NEW BEST:: SOT 7644137 SOS 1834359 HAS SOPS 1834359 HAS SOUS 717272 HAS SOUPS 717272 WITH SCORE 719106.359
AT ITER 3044 NEW BEST:: SOT 7644137 SOS 1834350 HAS SOPS 1834350 HAS SOUS 717263 HAS SOUPS 717263 WITH SCORE 719097.35
AT ITER 3051 NEW BEST:: SOT 7644137 SOS 1834350 HAS SOPS 1834350 HAS SOUS 717209 HAS SOUPS 717209 WITH SCORE 719043.35
AT ITER 3065 NEW BEST:: SOT 7644137 SOS 1832833 HAS SOPS 1832833 HAS SOUS 717156 HAS SOUPS 717156 WITH SCORE 718988.833
AT ITER 3092 NEW BEST:: SOT 7643591 SOS 1832209 HAS SOPS 1832209 HAS SOUS 716324 HAS SOUPS 716324 WITH SCORE 718156.209
AT ITER 3093 NEW BEST:: SOT 7643304 SOS 1831677 HAS SOPS 1831677 HAS SOUS 716002 HAS SOUPS 716002 WITH SCORE 717833.677
AT ITER 3142 NEW BEST:: SOT 7643304 SOS 1831222 HAS SOPS 1831222 HAS SOUS 715937 HAS SOUPS 715937 WITH SCORE 717768.222
AT ITER 3158 NEW BEST:: SOT 7643304 SOS 1831222 HAS SOPS 1831222 HAS SOUS 715842 HAS SOUPS 715842 WITH SCORE 717673.222
AT ITER 3161 NEW BEST:: SOT 7643140 SOS 1829910 HAS SOPS 1829910 HAS SOUS 715514 HAS SOUPS 715514 WITH SCORE 717343.91
AT ITER 3218 NEW BEST:: SOT 7643043 SOS 1829813 HAS SOPS 1829813 HAS SOUS 715417 HAS SOUPS 715417 WITH SCORE 717246.813
AT ITER 3226 NEW BEST:: SOT 7643533 SOS 1830387 HAS SOPS 1830387 HAS SOUS 715315 HAS SOUPS 715315 WITH SCORE 717145.387
AT ITER 3230 NEW BEST:: SOT 7643381 SOS 1830083 HAS SOPS 1830083 HAS SOUS 715011 HAS SOUPS 715011 WITH SCORE 716841.083
AT ITER 3265 NEW BEST:: SOT 7643051 SOS 1829753 HAS SOPS 1829753 HAS SOUS 714681 HAS SOUPS 714681 WITH SCORE 716510.753
AT ITER 3326 NEW BEST:: SOT 7643051 SOS 1829073 HAS SOPS 1829073 HAS SOUS 714589 HAS SOUPS 714589 WITH SCORE 716418.073
AT ITER 3337 NEW BEST:: SOT 7643051 SOS 1828817 HAS SOPS 1828817 HAS SOUS 714525 HAS SOUPS 714525 WITH SCORE 716353.817
AT ITER 3349 NEW BEST:: SOT 7643001 SOS 1828717 HAS SOPS 1828717 HAS SOUS 714125 HAS SOUPS 714125 WITH SCORE 715953.717
AT ITER 3369 NEW BEST:: SOT 7643001 SOS 1827945 HAS SOPS 1827945 HAS SOUS 714073 HAS SOUPS 714073 WITH SCORE 715900.945
AT ITER 3399 NEW BEST:: SOT 7643001 SOS 1827901 HAS SOPS 1827901 HAS SOUS 714029 HAS SOUPS 714029 WITH SCORE 715856.901
AT ITER 3402 NEW BEST:: SOT 7643000 SOS 1828841 HAS SOPS 1828841 HAS SOUS 713273 HAS SOUPS 713273 WITH SCORE 715101.841
AT ITER 3415 NEW BEST:: SOT 7642987 SOS 1828828 HAS SOPS 1828828 HAS SOUS 713220 HAS SOUPS 713220 WITH SCORE 715048.828
AT ITER 3449 NEW BEST:: SOT 7642987 SOS 1828660 HAS SOPS 1828660 HAS SOUS 713178 HAS SOUPS 713178 WITH SCORE 715006.66
AT ITER 3476 NEW BEST:: SOT 7642743 SOS 1826708 HAS SOPS 1826708 HAS SOUS 712690 HAS SOUPS 712690 WITH SCORE 714516.708
AT ITER 3480 NEW BEST:: SOT 7642709 SOS 1825426 HAS SOPS 1825426 HAS SOUS 712554 HAS SOUPS 712554 WITH SCORE 714379.426
AT ITER 3505 NEW BEST:: SOT 7641764 SOS 1824346 HAS SOPS 1824346 HAS SOUS 710766 HAS SOUPS 710766 WITH SCORE 712590.346
AT ITER 3508 NEW BEST:: SOT 7641764 SOS 1824346 HAS SOPS 1824346 HAS SOUS 710698 HAS SOUPS 710698 WITH SCORE 712522.346
AT ITER 3514 NEW BEST:: SOT 7641764 SOS 1824346 HAS SOPS 1824346 HAS SOUS 710505 HAS SOUPS 710505 WITH SCORE 712329.346
AT ITER 3622 NEW BEST:: SOT 7641760 SOS 1823777 HAS SOPS 1823777 HAS SOUS 710482 HAS SOUPS 710482 WITH SCORE 712305.777
AT ITER 3654 NEW BEST:: SOT 7641716 SOS 1824427 HAS SOPS 1824427 HAS SOUS 709704 HAS SOUPS 709704 WITH SCORE 711528.427
AT ITER 3660 NEW BEST:: SOT 7641716 SOS 1824565 HAS SOPS 1824565 HAS SOUS 709566 HAS SOUPS 709566 WITH SCORE 711390.565
AT ITER 3687 NEW BEST:: SOT 7641716 SOS 1824466 HAS SOPS 1824466 HAS SOUS 709467 HAS SOUPS 709467 WITH SCORE 711291.466
AT ITER 3693 NEW BEST:: SOT 7641706 SOS 1824446 HAS SOPS 1824446 HAS SOUS 709447 HAS SOUPS 709447 WITH SCORE 711271.446
AT ITER 3709 NEW BEST:: SOT 7641706 SOS 1822968 HAS SOPS 1822968 HAS SOUS 709067 HAS SOUPS 709067 WITH SCORE 710889.968
AT ITER 3711 NEW BEST:: SOT 7641663 SOS 1821305 HAS SOPS 1821305 HAS SOUS 708868 HAS SOUPS 708868 WITH SCORE 710689.305
AT ITER 3725 NEW BEST:: SOT 7641663 SOS 1821809 HAS SOPS 1821809 HAS SOUS 708550 HAS SOUPS 708550 WITH SCORE 710371.809
AT ITER 3754 NEW BEST:: SOT 7641637 SOS 1821765 HAS SOPS 1821765 HAS SOUS 708506 HAS SOUPS 708506 WITH SCORE 710327.765
AT ITER 3766 NEW BEST:: SOT 7641570 SOS 1821162 HAS SOPS 1821162 HAS SOUS 708305 HAS SOUPS 708305 WITH SCORE 710126.162
AT ITER 3783 NEW BEST:: SOT 7641512 SOS 1819135 HAS SOPS 1819135 HAS SOUS 708090 HAS SOUPS 708090 WITH SCORE 709909.135
AT ITER 3787 NEW BEST:: SOT 7641512 SOS 1819135 HAS SOPS 1819135 HAS SOUS 708000 HAS SOUPS 708000 WITH SCORE 709819.135
AT ITER 3795 NEW BEST:: SOT 7641379 SOS 1819002 HAS SOPS 1819002 HAS SOUS 707867 HAS SOUPS 707867 WITH SCORE 709686.002
AT ITER 3843 NEW BEST:: SOT 7640175 SOS 1817392 HAS SOPS 1817392 HAS SOUS 706605 HAS SOUPS 706605 WITH SCORE 708422.392
AT ITER 3886 NEW BEST:: SOT 7640109 SOS 1816518 HAS SOPS 1816518 HAS SOUS 706451 HAS SOUPS 706451 WITH SCORE 708267.518
AT ITER 3889 NEW BEST:: SOT 7640069 SOS 1816438 HAS SOPS 1816438 HAS SOUS 706371 HAS SOUPS 706371 WITH SCORE 708187.438
AT ITER 3899 NEW BEST:: SOT 7639869 SOS 1814838 HAS SOPS 1814838 HAS SOUS 705971 HAS SOUPS 705971 WITH SCORE 707785.838
AT ITER 3915 NEW BEST:: SOT 7639809 SOS 1814722 HAS SOPS 1814722 HAS SOUS 705897 HAS SOUPS 705897 WITH SCORE 707711.722
AT ITER 3946 NEW BEST:: SOT 7639809 SOS 1814722 HAS SOPS 1814722 HAS SOUS 705881 HAS SOUPS 705881 WITH SCORE 707695.722
AT ITER 3953 NEW BEST:: SOT 7639578 SOS 1814260 HAS SOPS 1814260 HAS SOUS 705419 HAS SOUPS 705419 WITH SCORE 707233.26
AT ITER 3995 NEW BEST:: SOT 7639578 SOS 1814260 HAS SOPS 1814260 HAS SOUS 705281 HAS SOUPS 705281 WITH SCORE 707095.26
AT ITER 4004 NEW BEST:: SOT 7639511 SOS 1814238 HAS SOPS 1814238 HAS SOUS 705259 HAS SOUPS 705259 WITH SCORE 707073.238
AT ITER 4050 NEW BEST:: SOT 7639467 SOS 1813886 HAS SOPS 1813886 HAS SOUS 705171 HAS SOUPS 705171 WITH SCORE 706984.886
AT ITER 4055 NEW BEST:: SOT 7638781 SOS 1811680 HAS SOPS 1811680 HAS SOUS 704796 HAS SOUPS 704796 WITH SCORE 706607.68
AT ITER 4084 NEW BEST:: SOT 7638755 SOS 1811416 HAS SOPS 1811416 HAS SOUS 704688 HAS SOUPS 704688 WITH SCORE 706499.416
AT ITER 4117 NEW BEST:: SOT 7638755 SOS 1810165 HAS SOPS 1810165 HAS SOUS 704595 HAS SOUPS 704595 WITH SCORE 706405.165
AT ITER 4137 NEW BEST:: SOT 7638570 SOS 1808685 HAS SOPS 1808685 HAS SOUS 704225 HAS SOUPS 704225 WITH SCORE 706033.685
AT ITER 4140 NEW BEST:: SOT 7638526 SOS 1808333 HAS SOPS 1808333 HAS SOUS 704137 HAS SOUPS 704137 WITH SCORE 705945.333
AT ITER 4142 NEW BEST:: SOT 7638446 SOS 1807741 HAS SOPS 1807741 HAS SOUS 704105 HAS SOUPS 704105 WITH SCORE 705912.741
AT ITER 4154 NEW BEST:: SOT 7638412 SOS 1807707 HAS SOPS 1807707 HAS SOUS 704105 HAS SOUPS 704105 WITH SCORE 705912.707
AT ITER 4218 NEW BEST:: SOT 7638412 SOS 1807558 HAS SOPS 1807558 HAS SOUS 704100 HAS SOUPS 704100 WITH SCORE 705907.558
AT ITER 4237 NEW BEST:: SOT 7638354 SOS 1807094 HAS SOPS 1807094 HAS SOUS 703984 HAS SOUPS 703984 WITH SCORE 705791.094
AT ITER 4289 NEW BEST:: SOT 7638320 SOS 1806798 HAS SOPS 1806798 HAS SOUS 703970 HAS SOUPS 703970 WITH SCORE 705776.798
AT ITER 4291 NEW BEST:: SOT 7637914 SOS 1805487 HAS SOPS 1805487 HAS SOUS 703385 HAS SOUPS 703385 WITH SCORE 705190.487
AT ITER 4310 NEW BEST:: SOT 7637914 SOS 1805487 HAS SOPS 1805487 HAS SOUS 703287 HAS SOUPS 703287 WITH SCORE 705092.487
AT ITER 4337 NEW BEST:: SOT 7637772 SOS 1803453 HAS SOPS 1803453 HAS SOUS 702717 HAS SOUPS 702717 WITH SCORE 704520.453
AT ITER 4342 NEW BEST:: SOT 7637772 SOS 1803453 HAS SOPS 1803453 HAS SOUS 702647 HAS SOUPS 702647 WITH SCORE 704450.453
AT ITER 4369 NEW BEST:: SOT 7637772 SOS 1803453 HAS SOPS 1803453 HAS SOUS 702564 HAS SOUPS 702564 WITH SCORE 704367.453
AT ITER 4385 NEW BEST:: SOT 7637367 SOS 1802901 HAS SOPS 1802901 HAS SOUS 702138 HAS SOUPS 702138 WITH SCORE 703940.901
AT ITER 4429 NEW BEST:: SOT 7637367 SOS 1802899 HAS SOPS 1802899 HAS SOUS 702136 HAS SOUPS 702136 WITH SCORE 703938.899
AT ITER 4486 NEW BEST:: SOT 7637122 SOS 1802409 HAS SOPS 1802409 HAS SOUS 701856 HAS SOUPS 701856 WITH SCORE 703658.409
AT ITER 4491 NEW BEST:: SOT 7636814 SOS 1801781 HAS SOPS 1801781 HAS SOUS 701504 HAS SOUPS 701504 WITH SCORE 703305.781
AT ITER 4500 NEW BEST:: SOT 7636896 SOS 1801863 HAS SOPS 1801863 HAS SOUS 701481 HAS SOUPS 701481 WITH SCORE 703282.863
AT ITER 4532 NEW BEST:: SOT 7636896 SOS 1801863 HAS SOPS 1801863 HAS SOUS 701433 HAS SOUPS 701433 WITH SCORE 703234.863
AT ITER 4536 NEW BEST:: SOT 7636842 SOS 1801809 HAS SOPS 1801809 HAS SOUS 701379 HAS SOUPS 701379 WITH SCORE 703180.809
AT ITER 4597 NEW BEST:: SOT 7636801 SOS 1801481 HAS SOPS 1801481 HAS SOUS 701297 HAS SOUPS 701297 WITH SCORE 703098.481
AT ITER 4606 NEW BEST:: SOT 7636021 SOS 1799501 HAS SOPS 1799501 HAS SOUS 700694 HAS SOUPS 700694 WITH SCORE 702493.501
AT ITER 4627 NEW BEST:: SOT 7636021 SOS 1799381 HAS SOPS 1799381 HAS SOUS 700664 HAS SOUPS 700664 WITH SCORE 702463.381
AT ITER 4628 NEW BEST:: SOT 7636003 SOS 1799345 HAS SOPS 1799345 HAS SOUS 700628 HAS SOUPS 700628 WITH SCORE 702427.345
AT ITER 4652 NEW BEST:: SOT 7635872 SOS 1798166 HAS SOPS 1798166 HAS SOUS 700235 HAS SOUPS 700235 WITH SCORE 702033.166
AT ITER 4655 NEW BEST:: SOT 7635814 SOS 1798506 HAS SOPS 1798506 HAS SOUS 699376 HAS SOUPS 699376 WITH SCORE 701174.506
AT ITER 4672 NEW BEST:: SOT 7635814 SOS 1798506 HAS SOPS 1798506 HAS SOUS 699238 HAS SOUPS 699238 WITH SCORE 701036.506
AT ITER 4680 NEW BEST:: SOT 7634491 SOS 1796994 HAS SOPS 1796994 HAS SOUS 697516 HAS SOUPS 697516 WITH SCORE 699312.994
AT ITER 4718 NEW BEST:: SOT 7634491 SOS 1797344 HAS SOPS 1797344 HAS SOUS 697216 HAS SOUPS 697216 WITH SCORE 699013.344
AT ITER 4732 NEW BEST:: SOT 7634469 SOS 1797146 HAS SOPS 1797146 HAS SOUS 697150 HAS SOUPS 697150 WITH SCORE 698947.146
AT ITER 4739 NEW BEST:: SOT 7634469 SOS 1797103 HAS SOPS 1797103 HAS SOUS 697107 HAS SOUPS 697107 WITH SCORE 698904.103
AT ITER 4740 NEW BEST:: SOT 7634469 SOS 1795808 HAS SOPS 1795808 HAS SOUS 696964 HAS SOUPS 696964 WITH SCORE 698759.808
AT ITER 4751 NEW BEST:: SOT 7634469 SOS 1795803 HAS SOPS 1795803 HAS SOUS 696959 HAS SOUPS 696959 WITH SCORE 698754.803
AT ITER 4766 NEW BEST:: SOT 7634469 SOS 1795803 HAS SOPS 1795803 HAS SOUS 696904 HAS SOUPS 696904 WITH SCORE 698699.803
AT ITER 4824 NEW BEST:: SOT 7634469 SOS 1794956 HAS SOPS 1794956 HAS SOUS 696873 HAS SOUPS 696873 WITH SCORE 698667.956
AT ITER 4834 NEW BEST:: SOT 7634469 SOS 1794764 HAS SOPS 1794764 HAS SOUS 696825 HAS SOUPS 696825 WITH SCORE 698619.764
AT ITER 4844 NEW BEST:: SOT 7634469 SOS 1793784 HAS SOPS 1793784 HAS SOUS 696685 HAS SOUPS 696685 WITH SCORE 698478.784
AT ITER 4853 NEW BEST:: SOT 7634434 SOS 1793714 HAS SOPS 1793714 HAS SOUS 696615 HAS SOUPS 696615 WITH SCORE 698408.714
AT ITER 4867 NEW BEST:: SOT 7634271 SOS 1792247 HAS SOPS 1792247 HAS SOUS 696126 HAS SOUPS 696126 WITH SCORE 697918.247
AT ITER 4887 NEW BEST:: SOT 7634271 SOS 1792247 HAS SOPS 1792247 HAS SOUS 696090 HAS SOUPS 696090 WITH SCORE 697882.247
AT ITER 4889 NEW BEST:: SOT 7632772 SOS 1790257 HAS SOPS 1790257 HAS SOUS 694820 HAS SOUPS 694820 WITH SCORE 696610.257
AT ITER 4895 NEW BEST:: SOT 7632551 SOS 1790036 HAS SOPS 1790036 HAS SOUS 694599 HAS SOUPS 694599 WITH SCORE 696389.036
AT ITER 4896 NEW BEST:: SOT 7631886 SOS 1788706 HAS SOPS 1788706 HAS SOUS 693839 HAS SOUPS 693839 WITH SCORE 695627.706
AT ITER 4923 NEW BEST:: SOT 7631827 SOS 1788647 HAS SOPS 1788647 HAS SOUS 693698 HAS SOUPS 693698 WITH SCORE 695486.647
AT ITER 4937 NEW BEST:: SOT 7631761 SOS 1788581 HAS SOPS 1788581 HAS SOUS 693632 HAS SOUPS 693632 WITH SCORE 695420.581
AT ITER 4943 NEW BEST:: SOT 7631738 SOS 1788397 HAS SOPS 1788397 HAS SOUS 693586 HAS SOUPS 693586 WITH SCORE 695374.397
AT ITER 4998 NEW BEST:: SOT 7631375 SOS 1788127 HAS SOPS 1788127 HAS SOUS 693316 HAS SOUPS 693316 WITH SCORE 695104.127
AT ITER 5000 NEW BEST:: SOT 7631375 SOS 1788127 HAS SOPS 1788127 HAS SOUS 693306 HAS SOUPS 693306 WITH SCORE 695094.127
AT ITER 5013 NEW BEST:: SOT 7631357 SOS 1788091 HAS SOPS 1788091 HAS SOUS 693270 HAS SOUPS 693270 WITH SCORE 695058.091
AT ITER 5081 NEW BEST:: SOT 7631357 SOS 1787947 HAS SOPS 1787947 HAS SOUS 693234 HAS SOUPS 693234 WITH SCORE 695021.947
AT ITER 5088 NEW BEST:: SOT 7631357 SOS 1787947 HAS SOPS 1787947 HAS SOUS 693219 HAS SOUPS 693219 WITH SCORE 695006.947
AT ITER 5091 NEW BEST:: SOT 7630951 SOS 1787483 HAS SOPS 1787483 HAS SOUS 692404 HAS SOUPS 692404 WITH SCORE 694191.483
AT ITER 5103 NEW BEST:: SOT 7630951 SOS 1787483 HAS SOPS 1787483 HAS SOUS 692356 HAS SOUPS 692356 WITH SCORE 694143.483
AT ITER 5110 NEW BEST:: SOT 7631364 SOS 1789719 HAS SOPS 1789719 HAS SOUS 691875 HAS SOUPS 691875 WITH SCORE 693664.719
AT ITER 5120 NEW BEST:: SOT 7631316 SOS 1789671 HAS SOPS 1789671 HAS SOUS 691779 HAS SOUPS 691779 WITH SCORE 693568.671
AT ITER 5220 NEW BEST:: SOT 7631316 SOS 1789007 HAS SOPS 1789007 HAS SOUS 691613 HAS SOUPS 691613 WITH SCORE 693402.007
AT ITER 5341 NEW BEST:: SOT 7631316 SOS 1788977 HAS SOPS 1788977 HAS SOUS 691613 HAS SOUPS 691613 WITH SCORE 693401.977
AT ITER 5368 NEW BEST:: SOT 7631316 SOS 1788850 HAS SOPS 1788850 HAS SOUS 691154 HAS SOUPS 691154 WITH SCORE 692942.85
AT ITER 5444 NEW BEST:: SOT 7630504 SOS 1787922 HAS SOPS 1787922 HAS SOUS 689620 HAS SOUPS 689620 WITH SCORE 691407.922
AT ITER 5469 NEW BEST:: SOT 7630504 SOS 1787866 HAS SOPS 1787866 HAS SOUS 689606 HAS SOUPS 689606 WITH SCORE 691393.866
AT ITER 5480 NEW BEST:: SOT 7630504 SOS 1786914 HAS SOPS 1786914 HAS SOUS 689368 HAS SOUPS 689368 WITH SCORE 691154.914
AT ITER 5510 NEW BEST:: SOT 7630077 SOS 1786487 HAS SOPS 1786487 HAS SOUS 688941 HAS SOUPS 688941 WITH SCORE 690727.487
AT ITER 5527 NEW BEST:: SOT 7629999 SOS 1784476 HAS SOPS 1784476 HAS SOUS 688520 HAS SOUPS 688520 WITH SCORE 690304.476
AT ITER 5552 NEW BEST:: SOT 7629999 SOS 1783918 HAS SOPS 1783918 HAS SOUS 688484 HAS SOUPS 688484 WITH SCORE 690267.918
AT ITER 5569 NEW BEST:: SOT 7629957 SOS 1782249 HAS SOPS 1782249 HAS SOUS 688279 HAS SOUPS 688279 WITH SCORE 690061.249
AT ITER 5590 NEW BEST:: SOT 7629957 SOS 1781083 HAS SOPS 1781083 HAS SOUS 688265 HAS SOUPS 688265 WITH SCORE 690046.083
AT ITER 5601 NEW BEST:: SOT 7629957 SOS 1781083 HAS SOPS 1781083 HAS SOUS 688240 HAS SOUPS 688240 WITH SCORE 690021.083
AT ITER 5608 NEW BEST:: SOT 7629957 SOS 1781083 HAS SOPS 1781083 HAS SOUS 688148 HAS SOUPS 688148 WITH SCORE 689929.083
AT ITER 5627 NEW BEST:: SOT 7629957 SOS 1780860 HAS SOPS 1780860 HAS SOUS 688123 HAS SOUPS 688123 WITH SCORE 689903.86
AT ITER 5669 NEW BEST:: SOT 7629656 SOS 1780559 HAS SOPS 1780559 HAS SOUS 687822 HAS SOUPS 687822 WITH SCORE 689602.559
AT ITER 5723 NEW BEST:: SOT 7629649 SOS 1780496 HAS SOPS 1780496 HAS SOUS 687801 HAS SOUPS 687801 WITH SCORE 689581.496
AT ITER 5812 NEW BEST:: SOT 7629370 SOS 1784480 HAS SOPS 1784480 HAS SOUS 687700 HAS SOUPS 687700 WITH SCORE 689484.48
AT ITER 5821 NEW BEST:: SOT 7629083 SOS 1782649 HAS SOPS 1782649 HAS SOUS 687027 HAS SOUPS 687027 WITH SCORE 688809.649
AT ITER 5830 NEW BEST:: SOT 7629044 SOS 1782571 HAS SOPS 1782571 HAS SOUS 686949 HAS SOUPS 686949 WITH SCORE 688731.571
AT ITER 5846 NEW BEST:: SOT 7628727 SOS 1781937 HAS SOPS 1781937 HAS SOUS 686669 HAS SOUPS 686669 WITH SCORE 688450.937
AT ITER 5863 NEW BEST:: SOT 7628727 SOS 1781937 HAS SOPS 1781937 HAS SOUS 686571 HAS SOUPS 686571 WITH SCORE 688352.937
AT ITER 5871 NEW BEST:: SOT 7628412 SOS 1781622 HAS SOPS 1781622 HAS SOUS 686256 HAS SOUPS 686256 WITH SCORE 688037.622
AT ITER 5875 NEW BEST:: SOT 7628253 SOS 1781304 HAS SOPS 1781304 HAS SOUS 685064 HAS SOUPS 685064 WITH SCORE 686845.304
AT ITER 5879 NEW BEST:: SOT 7628253 SOS 1781304 HAS SOPS 1781304 HAS SOUS 684821 HAS SOUPS 684821 WITH SCORE 686602.304
AT ITER 5953 NEW BEST:: SOT 7628008 SOS 1781024 HAS SOPS 1781024 HAS SOUS 684439 HAS SOUPS 684439 WITH SCORE 686220.024
AT ITER 5961 NEW BEST:: SOT 7627993 SOS 1780994 HAS SOPS 1780994 HAS SOUS 684409 HAS SOUPS 684409 WITH SCORE 686189.994
AT ITER 5987 NEW BEST:: SOT 7628036 SOS 1780030 HAS SOPS 1780030 HAS SOUS 684345 HAS SOUPS 684345 WITH SCORE 686125.03
AT ITER 5998 NEW BEST:: SOT 7628036 SOS 1780093 HAS SOPS 1780093 HAS SOUS 684291 HAS SOUPS 684291 WITH SCORE 686071.093
AT ITER 6016 NEW BEST:: SOT 7628022 SOS 1780079 HAS SOPS 1780079 HAS SOUS 684277 HAS SOUPS 684277 WITH SCORE 686057.079
AT ITER 6019 NEW BEST:: SOT 7627952 SOS 1779939 HAS SOPS 1779939 HAS SOUS 684137 HAS SOUPS 684137 WITH SCORE 685916.939
AT ITER 6032 NEW BEST:: SOT 7626545 SOS 1778511 HAS SOPS 1778511 HAS SOUS 683254 HAS SOUPS 683254 WITH SCORE 685032.511
AT ITER 6043 NEW BEST:: SOT 7626545 SOS 1778196 HAS SOPS 1778196 HAS SOUS 683209 HAS SOUPS 683209 WITH SCORE 684987.196
AT ITER 6055 NEW BEST:: SOT 7625412 SOS 1777088 HAS SOPS 1777088 HAS SOUS 682276 HAS SOUPS 682276 WITH SCORE 684053.088
AT ITER 6064 NEW BEST:: SOT 7625371 SOS 1776760 HAS SOPS 1776760 HAS SOUS 682194 HAS SOUPS 682194 WITH SCORE 683970.76
AT ITER 6284 NEW BEST:: SOT 7625324 SOS 1776666 HAS SOPS 1776666 HAS SOUS 682100 HAS SOUPS 682100 WITH SCORE 683876.666
AT ITER 6299 NEW BEST:: SOT 7625324 SOS 1776666 HAS SOPS 1776666 HAS SOUS 681981 HAS SOUPS 681981 WITH SCORE 683757.666
AT ITER 6302 NEW BEST:: SOT 7625324 SOS 1777100 HAS SOPS 1777100 HAS SOUS 681857 HAS SOUPS 681857 WITH SCORE 683634.1
AT ITER 6313 NEW BEST:: SOT 7624792 SOS 1776376 HAS SOPS 1776376 HAS SOUS 681277 HAS SOUPS 681277 WITH SCORE 683053.376
AT ITER 6318 NEW BEST:: SOT 7624792 SOS 1776555 HAS SOPS 1776555 HAS SOUS 681138 HAS SOUPS 681138 WITH SCORE 682914.555
AT ITER 6323 NEW BEST:: SOT 7624698 SOS 1776461 HAS SOPS 1776461 HAS SOUS 681044 HAS SOUPS 681044 WITH SCORE 682820.461
AT ITER 6383 NEW BEST:: SOT 7624665 SOS 1776428 HAS SOPS 1776428 HAS SOUS 681030 HAS SOUPS 681030 WITH SCORE 682806.428
AT ITER 6409 NEW BEST:: SOT 7624639 SOS 1776420 HAS SOPS 1776420 HAS SOUS 680842 HAS SOUPS 680842 WITH SCORE 682618.42
AT ITER 6439 NEW BEST:: SOT 7624592 SOS 1776806 HAS SOPS 1776806 HAS SOUS 680730 HAS SOUPS 680730 WITH SCORE 682506.806
AT ITER 6440 NEW BEST:: SOT 7624525 SOS 1776270 HAS SOPS 1776270 HAS SOUS 680596 HAS SOUPS 680596 WITH SCORE 682372.27
AT ITER 6474 NEW BEST:: SOT 7624435 SOS 1775550 HAS SOPS 1775550 HAS SOUS 680416 HAS SOUPS 680416 WITH SCORE 682191.55
AT ITER 6504 NEW BEST:: SOT 7624435 SOS 1775382 HAS SOPS 1775382 HAS SOUS 680392 HAS SOUPS 680392 WITH SCORE 682167.382
AT ITER 6506 NEW BEST:: SOT 7624449 SOS 1775396 HAS SOPS 1775396 HAS SOUS 680378 HAS SOUPS 680378 WITH SCORE 682153.396
AT ITER 6538 NEW BEST:: SOT 7624469 SOS 1775416 HAS SOPS 1775416 HAS SOUS 680320 HAS SOUPS 680320 WITH SCORE 682095.416
AT ITER 6610 NEW BEST:: SOT 7624451 SOS 1775380 HAS SOPS 1775380 HAS SOUS 680284 HAS SOUPS 680284 WITH SCORE 682059.38
AT ITER 6674 NEW BEST:: SOT 7624390 SOS 1774892 HAS SOPS 1774892 HAS SOUS 680162 HAS SOUPS 680162 WITH SCORE 681936.892
AT ITER 6681 NEW BEST:: SOT 7624448 SOS 1774950 HAS SOPS 1774950 HAS SOUS 680139 HAS SOUPS 680139 WITH SCORE 681913.95
AT ITER 6693 NEW BEST:: SOT 7623195 SOS 1772265 HAS SOPS 1772265 HAS SOUS 678528 HAS SOUPS 678528 WITH SCORE 680300.265
AT ITER 6717 NEW BEST:: SOT 7623195 SOS 1772265 HAS SOPS 1772265 HAS SOUS 678511 HAS SOUPS 678511 WITH SCORE 680283.265
AT ITER 6775 NEW BEST:: SOT 7622908 SOS 1771493 HAS SOPS 1771493 HAS SOUS 678414 HAS SOUPS 678414 WITH SCORE 680185.493
AT ITER 6870 NEW BEST:: SOT 7622846 SOS 1771452 HAS SOPS 1771452 HAS SOUS 678373 HAS SOUPS 678373 WITH SCORE 680144.452
AT ITER 6873 NEW BEST:: SOT 7622816 SOS 1771212 HAS SOPS 1771212 HAS SOUS 678313 HAS SOUPS 678313 WITH SCORE 680084.212
AT ITER 6875 NEW BEST:: SOT 7622816 SOS 1771212 HAS SOPS 1771212 HAS SOUS 678265 HAS SOUPS 678265 WITH SCORE 680036.212
AT ITER 6889 NEW BEST:: SOT 7622863 SOS 1770853 HAS SOPS 1770853 HAS SOUS 678254 HAS SOUPS 678254 WITH SCORE 680024.853
AT ITER 6914 NEW BEST:: SOT 7622359 SOS 1770277 HAS SOPS 1770277 HAS SOUS 677606 HAS SOUPS 677606 WITH SCORE 679376.277
AT ITER 6921 NEW BEST:: SOT 7622512 SOS 1770430 HAS SOPS 1770430 HAS SOUS 677348 HAS SOUPS 677348 WITH SCORE 679118.43
AT ITER 6950 NEW BEST:: SOT 7622176 SOS 1770094 HAS SOPS 1770094 HAS SOUS 677012 HAS SOUPS 677012 WITH SCORE 678782.094
AT ITER 7016 NEW BEST:: SOT 7622039 SOS 1768998 HAS SOPS 1768998 HAS SOUS 676738 HAS SOUPS 676738 WITH SCORE 678506.998
AT ITER 7045 NEW BEST:: SOT 7622021 SOS 1768962 HAS SOPS 1768962 HAS SOUS 676702 HAS SOUPS 676702 WITH SCORE 678470.962
AT ITER 7071 NEW BEST:: SOT 7621713 SOS 1768610 HAS SOPS 1768610 HAS SOUS 676536 HAS SOUPS 676536 WITH SCORE 678304.61
AT ITER 7110 NEW BEST:: SOT 7621713 SOS 1768850 HAS SOPS 1768850 HAS SOUS 676488 HAS SOUPS 676488 WITH SCORE 678256.85
AT ITER 7152 NEW BEST:: SOT 7621601 SOS 1768482 HAS SOPS 1768482 HAS SOUS 676456 HAS SOUPS 676456 WITH SCORE 678224.482
AT ITER 7161 NEW BEST:: SOT 7621597 SOS 1768460 HAS SOPS 1768460 HAS SOUS 676434 HAS SOUPS 676434 WITH SCORE 678202.46
AT ITER 7178 NEW BEST:: SOT 7621521 SOS 1768384 HAS SOPS 1768384 HAS SOUS 676358 HAS SOUPS 676358 WITH SCORE 678126.384
AT ITER 7179 NEW BEST:: SOT 7621506 SOS 1768378 HAS SOPS 1768378 HAS SOUS 676352 HAS SOUPS 676352 WITH SCORE 678120.378
AT ITER 7269 NEW BEST:: SOT 7621486 SOS 1768358 HAS SOPS 1768358 HAS SOUS 676332 HAS SOUPS 676332 WITH SCORE 678100.358
AT ITER 7313 NEW BEST:: SOT 7621486 SOS 1766684 HAS SOPS 1766684 HAS SOUS 676122 HAS SOUPS 676122 WITH SCORE 677888.684
AT ITER 7336 NEW BEST:: SOT 7621428 SOS 1766066 HAS SOPS 1766066 HAS SOUS 675852 HAS SOUPS 675852 WITH SCORE 677618.066
AT ITER 7345 NEW BEST:: SOT 7621307 SOS 1765824 HAS SOPS 1765824 HAS SOUS 675610 HAS SOUPS 675610 WITH SCORE 677375.824
AT ITER 7360 NEW BEST:: SOT 7621297 SOS 1765804 HAS SOPS 1765804 HAS SOUS 675590 HAS SOUPS 675590 WITH SCORE 677355.804
AT ITER 7375 NEW BEST:: SOT 7621280 SOS 1765668 HAS SOPS 1765668 HAS SOUS 675556 HAS SOUPS 675556 WITH SCORE 677321.668
AT ITER 7394 NEW BEST:: SOT 7621280 SOS 1767208 HAS SOPS 1767208 HAS SOUS 675309 HAS SOUPS 675309 WITH SCORE 677076.208
AT ITER 7404 NEW BEST:: SOT 7620230 SOS 1766158 HAS SOPS 1766158 HAS SOUS 674259 HAS SOUPS 674259 WITH SCORE 676025.158
AT ITER 7409 NEW BEST:: SOT 7619152 SOS 1764674 HAS SOPS 1764674 HAS SOUS 673123 HAS SOUPS 673123 WITH SCORE 674887.674
AT ITER 7425 NEW BEST:: SOT 7619152 SOS 1764322 HAS SOPS 1764322 HAS SOUS 673035 HAS SOUPS 673035 WITH SCORE 674799.322
AT ITER 7501 NEW BEST:: SOT 7619137 SOS 1764292 HAS SOPS 1764292 HAS SOUS 673005 HAS SOUPS 673005 WITH SCORE 674769.292
AT ITER 7551 NEW BEST:: SOT 7619002 SOS 1763957 HAS SOPS 1763957 HAS SOUS 672820 HAS SOUPS 672820 WITH SCORE 674583.957
AT ITER 7555 NEW BEST:: SOT 7619002 SOS 1763957 HAS SOPS 1763957 HAS SOUS 672699 HAS SOUPS 672699 WITH SCORE 674462.957
AT ITER 7570 NEW BEST:: SOT 7618235 SOS 1763610 HAS SOPS 1763610 HAS SOUS 672670 HAS SOUPS 672670 WITH SCORE 674433.61
AT ITER 7576 NEW BEST:: SOT 7617220 SOS 1762450 HAS SOPS 1762450 HAS SOUS 671462 HAS SOUPS 671462 WITH SCORE 673224.45
AT ITER 7684 NEW BEST:: SOT 7617022 SOS 1762054 HAS SOPS 1762054 HAS SOUS 670778 HAS SOUPS 670778 WITH SCORE 672540.054
AT ITER 7692 NEW BEST:: SOT 7616693 SOS 1760337 HAS SOPS 1760337 HAS SOUS 670213 HAS SOUPS 670213 WITH SCORE 671973.337
AT ITER 7713 NEW BEST:: SOT 7616693 SOS 1760337 HAS SOPS 1760337 HAS SOUS 670167 HAS SOUPS 670167 WITH SCORE 671927.337
AT ITER 7739 NEW BEST:: SOT 7616693 SOS 1758977 HAS SOPS 1758977 HAS SOUS 669827 HAS SOUPS 669827 WITH SCORE 671585.977
AT ITER 7759 NEW BEST:: SOT 7616686 SOS 1758969 HAS SOPS 1758969 HAS SOUS 669813 HAS SOUPS 669813 WITH SCORE 671571.969
AT ITER 7792 NEW BEST:: SOT 7616614 SOS 1758545 HAS SOPS 1758545 HAS SOUS 669653 HAS SOUPS 669653 WITH SCORE 671411.545
AT ITER 7810 NEW BEST:: SOT 7616612 SOS 1758543 HAS SOPS 1758543 HAS SOUS 669651 HAS SOUPS 669651 WITH SCORE 671409.543
AT ITER 7813 NEW BEST:: SOT 7616612 SOS 1758519 HAS SOPS 1758519 HAS SOUS 669651 HAS SOUPS 669651 WITH SCORE 671409.519
AT ITER 7857 NEW BEST:: SOT 7616594 SOS 1758483 HAS SOPS 1758483 HAS SOUS 669615 HAS SOUPS 669615 WITH SCORE 671373.483
AT ITER 7861 NEW BEST:: SOT 7616599 SOS 1758488 HAS SOPS 1758488 HAS SOUS 669605 HAS SOUPS 669605 WITH SCORE 671363.488
AT ITER 7881 NEW BEST:: SOT 7616536 SOS 1758425 HAS SOPS 1758425 HAS SOUS 669542 HAS SOUPS 669542 WITH SCORE 671300.425
AT ITER 7886 NEW BEST:: SOT 7616536 SOS 1758329 HAS SOPS 1758329 HAS SOUS 669518 HAS SOUPS 669518 WITH SCORE 671276.329
AT ITER 7890 NEW BEST:: SOT 7616487 SOS 1757904 HAS SOPS 1757904 HAS SOUS 669375 HAS SOUPS 669375 WITH SCORE 671132.904
AT ITER 7891 NEW BEST:: SOT 7616487 SOS 1757904 HAS SOPS 1757904 HAS SOUS 669361 HAS SOUPS 669361 WITH SCORE 671118.904
AT ITER 7917 NEW BEST:: SOT 7616446 SOS 1757318 HAS SOPS 1757318 HAS SOUS 669303 HAS SOUPS 669303 WITH SCORE 671060.318
AT ITER 7922 NEW BEST:: SOT 7616446 SOS 1757318 HAS SOPS 1757318 HAS SOUS 669246 HAS SOUPS 669246 WITH SCORE 671003.318
AT ITER 7952 NEW BEST:: SOT 7616446 SOS 1756966 HAS SOPS 1756966 HAS SOUS 669158 HAS SOUPS 669158 WITH SCORE 670914.966
AT ITER 7955 NEW BEST:: SOT 7616040 SOS 1756502 HAS SOPS 1756502 HAS SOUS 668694 HAS SOUPS 668694 WITH SCORE 670450.502
AT ITER 8002 NEW BEST:: SOT 7616003 SOS 1756428 HAS SOPS 1756428 HAS SOUS 668620 HAS SOUPS 668620 WITH SCORE 670376.428
AT ITER 8005 NEW BEST:: SOT 7615819 SOS 1754440 HAS SOPS 1754440 HAS SOUS 668616 HAS SOUPS 668616 WITH SCORE 670370.44
AT ITER 8017 NEW BEST:: SOT 7615816 SOS 1754416 HAS SOPS 1754416 HAS SOUS 668610 HAS SOUPS 668610 WITH SCORE 670364.416
AT ITER 8029 NEW BEST:: SOT 7615473 SOS 1754049 HAS SOPS 1754049 HAS SOUS 668261 HAS SOUPS 668261 WITH SCORE 670015.049
AT ITER 8036 NEW BEST:: SOT 7615473 SOS 1753585 HAS SOPS 1753585 HAS SOUS 668145 HAS SOUPS 668145 WITH SCORE 669898.585
AT ITER 8056 NEW BEST:: SOT 7615332 SOS 1753444 HAS SOPS 1753444 HAS SOUS 668004 HAS SOUPS 668004 WITH SCORE 669757.444
AT ITER 8067 NEW BEST:: SOT 7615345 SOS 1753057 HAS SOPS 1753057 HAS SOUS 667917 HAS SOUPS 667917 WITH SCORE 669670.057
AT ITER 8074 NEW BEST:: SOT 7615345 SOS 1753167 HAS SOPS 1753167 HAS SOUS 667895 HAS SOUPS 667895 WITH SCORE 669648.167
AT ITER 8097 NEW BEST:: SOT 7615345 SOS 1753262 HAS SOPS 1753262 HAS SOUS 667888 HAS SOUPS 667888 WITH SCORE 669641.262
AT ITER 8120 NEW BEST:: SOT 7614939 SOS 1752460 HAS SOPS 1752460 HAS SOUS 667494 HAS SOUPS 667494 WITH SCORE 669246.46
AT ITER 8131 NEW BEST:: SOT 7614939 SOS 1752412 HAS SOPS 1752412 HAS SOUS 667482 HAS SOUPS 667482 WITH SCORE 669234.412
AT ITER 8147 NEW BEST:: SOT 7614891 SOS 1751973 HAS SOPS 1751973 HAS SOUS 667457 HAS SOUPS 667457 WITH SCORE 669208.973
AT ITER 8154 NEW BEST:: SOT 7614891 SOS 1752102 HAS SOPS 1752102 HAS SOUS 667454 HAS SOUPS 667454 WITH SCORE 669206.102
AT ITER 8163 NEW BEST:: SOT 7614485 SOS 1751638 HAS SOPS 1751638 HAS SOUS 667101 HAS SOUPS 667101 WITH SCORE 668852.638
AT ITER 8168 NEW BEST:: SOT 7614485 SOS 1751638 HAS SOPS 1751638 HAS SOUS 667066 HAS SOUPS 667066 WITH SCORE 668817.638
AT ITER 8207 NEW BEST:: SOT 7614485 SOS 1749993 HAS SOPS 1749993 HAS SOUS 666831 HAS SOUPS 666831 WITH SCORE 668580.993
AT ITER 8233 NEW BEST:: SOT 7613589 SOS 1748969 HAS SOPS 1748969 HAS SOUS 665807 HAS SOUPS 665807 WITH SCORE 667555.969
AT ITER 8245 NEW BEST:: SOT 7613589 SOS 1748521 HAS SOPS 1748521 HAS SOUS 665695 HAS SOUPS 665695 WITH SCORE 667443.521
AT ITER 8250 NEW BEST:: SOT 7613478 SOS 1748410 HAS SOPS 1748410 HAS SOUS 665612 HAS SOUPS 665612 WITH SCORE 667360.41
AT ITER 8260 NEW BEST:: SOT 7613460 SOS 1747421 HAS SOPS 1747421 HAS SOUS 665475 HAS SOUPS 665475 WITH SCORE 667222.421
AT ITER 8267 NEW BEST:: SOT 7613461 SOS 1747422 HAS SOPS 1747422 HAS SOUS 665471 HAS SOUPS 665471 WITH SCORE 667218.422
AT ITER 8268 NEW BEST:: SOT 7613461 SOS 1747422 HAS SOPS 1747422 HAS SOUS 665363 HAS SOUPS 665363 WITH SCORE 667110.422
AT ITER 8295 NEW BEST:: SOT 7613011 SOS 1746972 HAS SOPS 1746972 HAS SOUS 664913 HAS SOUPS 664913 WITH SCORE 666659.972
AT ITER 8302 NEW BEST:: SOT 7613011 SOS 1745711 HAS SOPS 1745711 HAS SOUS 664804 HAS SOUPS 664804 WITH SCORE 666549.711
AT ITER 8309 NEW BEST:: SOT 7612465 SOS 1745013 HAS SOPS 1745013 HAS SOUS 664220 HAS SOUPS 664220 WITH SCORE 665965.013
AT ITER 8336 NEW BEST:: SOT 7612452 SOS 1746181 HAS SOPS 1746181 HAS SOUS 663120 HAS SOUPS 663120 WITH SCORE 664866.181
AT ITER 8350 NEW BEST:: SOT 7612168 SOS 1745613 HAS SOPS 1745613 HAS SOUS 662960 HAS SOUPS 662960 WITH SCORE 664705.613
AT ITER 8375 NEW BEST:: SOT 7612113 SOS 1745173 HAS SOPS 1745173 HAS SOUS 662850 HAS SOUPS 662850 WITH SCORE 664595.173
AT ITER 8389 NEW BEST:: SOT 7612113 SOS 1745173 HAS SOPS 1745173 HAS SOUS 662838 HAS SOUPS 662838 WITH SCORE 664583.173
AT ITER 8397 NEW BEST:: SOT 7612101 SOS 1745149 HAS SOPS 1745149 HAS SOUS 662730 HAS SOUPS 662730 WITH SCORE 664475.149
AT ITER 8496 NEW BEST:: SOT 7612101 SOS 1745009 HAS SOPS 1745009 HAS SOUS 662590 HAS SOUPS 662590 WITH SCORE 664335.009
AT ITER 8512 NEW BEST:: SOT 7612060 SOS 1744968 HAS SOPS 1744968 HAS SOUS 662553 HAS SOUPS 662553 WITH SCORE 664297.968
AT ITER 8522 NEW BEST:: SOT 7611955 SOS 1744863 HAS SOPS 1744863 HAS SOUS 662343 HAS SOUPS 662343 WITH SCORE 664087.863
AT ITER 8561 NEW BEST:: SOT 7611857 SOS 1744751 HAS SOPS 1744751 HAS SOUS 662231 HAS SOUPS 662231 WITH SCORE 663975.751
AT ITER 8617 NEW BEST:: SOT 7611724 SOS 1744485 HAS SOPS 1744485 HAS SOUS 662079 HAS SOUPS 662079 WITH SCORE 663823.485
AT ITER 8631 NEW BEST:: SOT 7611724 SOS 1743629 HAS SOPS 1743629 HAS SOUS 661865 HAS SOUPS 661865 WITH SCORE 663608.629
AT ITER 8652 NEW BEST:: SOT 7611683 SOS 1742290 HAS SOPS 1742290 HAS SOUS 661678 HAS SOUPS 661678 WITH SCORE 663420.29
AT ITER 8657 NEW BEST:: SOT 7611683 SOS 1742322 HAS SOPS 1742322 HAS SOUS 661518 HAS SOUPS 661518 WITH SCORE 663260.322
AT ITER 8698 NEW BEST:: SOT 7611659 SOS 1742130 HAS SOPS 1742130 HAS SOUS 661470 HAS SOUPS 661470 WITH SCORE 663212.13
AT ITER 8739 NEW BEST:: SOT 7611659 SOS 1742120 HAS SOPS 1742120 HAS SOUS 661460 HAS SOUPS 661460 WITH SCORE 663202.12
AT ITER 8846 NEW BEST:: SOT 7611621 SOS 1742082 HAS SOPS 1742082 HAS SOUS 661422 HAS SOUPS 661422 WITH SCORE 663164.082
AT ITER 8896 NEW BEST:: SOT 7611582 SOS 1741770 HAS SOPS 1741770 HAS SOUS 661344 HAS SOUPS 661344 WITH SCORE 663085.77
AT ITER 8899 NEW BEST:: SOT 7611511 SOS 1741628 HAS SOPS 1741628 HAS SOUS 661202 HAS SOUPS 661202 WITH SCORE 662943.628
AT ITER 8901 NEW BEST:: SOT 7611349 SOS 1741466 HAS SOPS 1741466 HAS SOUS 661040 HAS SOUPS 661040 WITH SCORE 662781.466
AT ITER 8910 NEW BEST:: SOT 7611291 SOS 1741002 HAS SOPS 1741002 HAS SOUS 660924 HAS SOUPS 660924 WITH SCORE 662665.002
AT ITER 8912 NEW BEST:: SOT 7611291 SOS 1740538 HAS SOPS 1740538 HAS SOUS 660808 HAS SOUPS 660808 WITH SCORE 662548.538
AT ITER 8958 NEW BEST:: SOT 7610983 SOS 1740230 HAS SOPS 1740230 HAS SOUS 660500 HAS SOUPS 660500 WITH SCORE 662240.23
AT ITER 8970 NEW BEST:: SOT 7610925 SOS 1739766 HAS SOPS 1739766 HAS SOUS 660384 HAS SOUPS 660384 WITH SCORE 662123.766
AT ITER 8987 NEW BEST:: SOT 7610015 SOS 1737816 HAS SOPS 1737816 HAS SOUS 659214 HAS SOUPS 659214 WITH SCORE 660951.816
AT ITER 8991 NEW BEST:: SOT 7610001 SOS 1737800 HAS SOPS 1737800 HAS SOUS 659198 HAS SOUPS 659198 WITH SCORE 660935.8
AT ITER 9012 NEW BEST:: SOT 7609971 SOS 1737752 HAS SOPS 1737752 HAS SOUS 659168 HAS SOUPS 659168 WITH SCORE 660905.752
AT ITER 9024 NEW BEST:: SOT 7609978 SOS 1737766 HAS SOPS 1737766 HAS SOUS 658768 HAS SOUPS 658768 WITH SCORE 660505.766
AT ITER 9026 NEW BEST:: SOT 7609848 SOS 1737090 HAS SOPS 1737090 HAS SOUS 658560 HAS SOUPS 658560 WITH SCORE 660297.09
AT ITER 9034 NEW BEST:: SOT 7609775 SOS 1737017 HAS SOPS 1737017 HAS SOUS 658487 HAS SOUPS 658487 WITH SCORE 660224.017
AT ITER 9049 NEW BEST:: SOT 7609691 SOS 1737053 HAS SOPS 1737053 HAS SOUS 657787 HAS SOUPS 657787 WITH SCORE 659524.053
AT ITER 9099 NEW BEST:: SOT 7609691 SOS 1736925 HAS SOPS 1736925 HAS SOUS 657755 HAS SOUPS 657755 WITH SCORE 659491.925
AT ITER 9187 NEW BEST:: SOT 7609689 SOS 1736921 HAS SOPS 1736921 HAS SOUS 657751 HAS SOUPS 657751 WITH SCORE 659487.921
AT ITER 9196 NEW BEST:: SOT 7609689 SOS 1736921 HAS SOPS 1736921 HAS SOUS 657747 HAS SOUPS 657747 WITH SCORE 659483.921
AT ITER 9224 NEW BEST:: SOT 7609645 SOS 1736833 HAS SOPS 1736833 HAS SOUS 657659 HAS SOUPS 657659 WITH SCORE 659395.833
AT ITER 9225 NEW BEST:: SOT 7609504 SOS 1737383 HAS SOPS 1737383 HAS SOUS 657615 HAS SOUPS 657615 WITH SCORE 659352.383
AT ITER 9259 NEW BEST:: SOT 7609486 SOS 1736710 HAS SOPS 1736710 HAS SOUS 657488 HAS SOUPS 657488 WITH SCORE 659224.71
AT ITER 9285 NEW BEST:: SOT 7609486 SOS 1736526 HAS SOPS 1736526 HAS SOUS 657442 HAS SOUPS 657442 WITH SCORE 659178.526
AT ITER 9286 NEW BEST:: SOT 7609496 SOS 1737140 HAS SOPS 1737140 HAS SOUS 657386 HAS SOUPS 657386 WITH SCORE 659123.14
AT ITER 9300 NEW BEST:: SOT 7609453 SOS 1737286 HAS SOPS 1737286 HAS SOUS 657370 HAS SOUPS 657370 WITH SCORE 659107.286
AT ITER 9310 NEW BEST:: SOT 7609398 SOS 1737231 HAS SOPS 1737231 HAS SOUS 657345 HAS SOUPS 657345 WITH SCORE 659082.231
AT ITER 9373 NEW BEST:: SOT 7609471 SOS 1737227 HAS SOPS 1737227 HAS SOUS 657341 HAS SOUPS 657341 WITH SCORE 659078.227
AT ITER 9419 NEW BEST:: SOT 7608953 SOS 1736635 HAS SOPS 1736635 HAS SOUS 656272 HAS SOUPS 656272 WITH SCORE 658008.635
AT ITER 9461 NEW BEST:: SOT 7608953 SOS 1736483 HAS SOPS 1736483 HAS SOUS 656234 HAS SOUPS 656234 WITH SCORE 657970.483
AT ITER 9477 NEW BEST:: SOT 7608834 SOS 1736245 HAS SOPS 1736245 HAS SOUS 655229 HAS SOUPS 655229 WITH SCORE 656965.245
AT ITER 9531 NEW BEST:: SOT 7608758 SOS 1736145 HAS SOPS 1736145 HAS SOUS 655225 HAS SOUPS 655225 WITH SCORE 656961.145
AT ITER 9545 NEW BEST:: SOT 7608758 SOS 1736141 HAS SOPS 1736141 HAS SOUS 655221 HAS SOUPS 655221 WITH SCORE 656957.141
AT ITER 9570 NEW BEST:: SOT 7608811 SOS 1735109 HAS SOPS 1735109 HAS SOUS 655161 HAS SOUPS 655161 WITH SCORE 656896.109
AT ITER 9583 NEW BEST:: SOT 7608764 SOS 1734733 HAS SOPS 1734733 HAS SOUS 655067 HAS SOUPS 655067 WITH SCORE 656801.733
AT ITER 9695 NEW BEST:: SOT 7608717 SOS 1734686 HAS SOPS 1734686 HAS SOUS 655020 HAS SOUPS 655020 WITH SCORE 656754.686
AT ITER 9759 NEW BEST:: SOT 7608696 SOS 1734518 HAS SOPS 1734518 HAS SOUS 654978 HAS SOUPS 654978 WITH SCORE 656712.518
AT ITER 9792 NEW BEST:: SOT 7608696 SOS 1733342 HAS SOPS 1733342 HAS SOUS 654684 HAS SOUPS 654684 WITH SCORE 656417.342
AT ITER 9798 NEW BEST:: SOT 7608696 SOS 1733342 HAS SOPS 1733342 HAS SOUS 654628 HAS SOUPS 654628 WITH SCORE 656361.342
AT ITER 9811 NEW BEST:: SOT 7608532 SOS 1733367 HAS SOPS 1733367 HAS SOUS 654491 HAS SOUPS 654491 WITH SCORE 656224.367
AT ITER 9815 NEW BEST:: SOT 7608665 SOS 1733801 HAS SOPS 1733801 HAS SOUS 654140 HAS SOUPS 654140 WITH SCORE 655873.801
AT ITER 9831 NEW BEST:: SOT 7608665 SOS 1733801 HAS SOPS 1733801 HAS SOUS 654030 HAS SOUPS 654030 WITH SCORE 655763.801
AT ITER 9863 NEW BEST:: SOT 7608672 SOS 1733809 HAS SOPS 1733809 HAS SOUS 654010 HAS SOUPS 654010 WITH SCORE 655743.809
AT ITER 9928 NEW BEST:: SOT 7608672 SOS 1733809 HAS SOPS 1733809 HAS SOUS 653903 HAS SOUPS 653903 WITH SCORE 655636.809
AT ITER 9930 NEW BEST:: SOT 7608699 SOS 1733776 HAS SOPS 1733776 HAS SOUS 653870 HAS SOUPS 653870 WITH SCORE 655603.776
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8927064 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16117652 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="HypercubeGrid-PT-C4K3P3B12"
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 HypercubeGrid-PT-C4K3P3B12, 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 r235-tall-167856421100016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C4K3P3B12.tgz
mv HypercubeGrid-PT-C4K3P3B12 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;