Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484500664.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 DLCround-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484500664
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 7.6K Feb 25 18:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 18:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 18:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 18:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 18:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 25 18:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 18:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 18:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 674K 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 1678408256038

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=DLCround-PT-05b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 00:30:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 00:30:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 00:30:57] [INFO ] Load time of PNML (sax parser for PT used): 123 ms
[2023-03-10 00:30:57] [INFO ] Transformed 1999 places.
[2023-03-10 00:30:57] [INFO ] Transformed 2887 transitions.
[2023-03-10 00:30:57] [INFO ] Found NUPN structural information;
[2023-03-10 00:30:57] [INFO ] Parsed PT model containing 1999 places and 2887 transitions and 7649 arcs in 213 ms.
[2023-03-10 00:30:57] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1999 places, 2887 transitions and 7649 arcs took 21 ms.
Total runtime 259 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 05b
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: 1999 places, 2887 transitions, 7649 arcs.
AT ITER 0 NEW BEST:: SOT 3496588 SOS 761341 HAS SOPS 761341 HAS SOUS 512452 HAS SOUPS 512452 WITH SCORE 513213.341
AT ITER 39 NEW BEST:: SOT 3496801 SOS 760915 HAS SOPS 760915 HAS SOUS 512452 HAS SOUPS 512452 WITH SCORE 513212.915
AT ITER 42 NEW BEST:: SOT 3496627 SOS 760908 HAS SOPS 760908 HAS SOUS 512278 HAS SOUPS 512278 WITH SCORE 513038.908
AT ITER 45 NEW BEST:: SOT 3496627 SOS 761667 HAS SOPS 761667 HAS SOUS 512277 HAS SOUPS 512277 WITH SCORE 513038.667
AT ITER 77 NEW BEST:: SOT 3496761 SOS 761665 HAS SOPS 761665 HAS SOUS 512276 HAS SOUPS 512276 WITH SCORE 513037.665
AT ITER 93 NEW BEST:: SOT 3496556 SOS 761460 HAS SOPS 761460 HAS SOUS 512071 HAS SOUPS 512071 WITH SCORE 512832.46
AT ITER 139 NEW BEST:: SOT 3496556 SOS 761460 HAS SOPS 761460 HAS SOUS 512069 HAS SOUPS 512069 WITH SCORE 512830.46
AT ITER 145 NEW BEST:: SOT 3496556 SOS 761434 HAS SOPS 761434 HAS SOUS 512043 HAS SOUPS 512043 WITH SCORE 512804.434
AT ITER 167 NEW BEST:: SOT 3496237 SOS 761115 HAS SOPS 761115 HAS SOUS 511724 HAS SOUPS 511724 WITH SCORE 512485.115
AT ITER 173 NEW BEST:: SOT 3495934 SOS 760812 HAS SOPS 760812 HAS SOUS 511421 HAS SOUPS 511421 WITH SCORE 512181.812
AT ITER 183 NEW BEST:: SOT 3495817 SOS 760656 HAS SOPS 760656 HAS SOUS 511265 HAS SOUPS 511265 WITH SCORE 512025.656
AT ITER 189 NEW BEST:: SOT 3495526 SOS 760365 HAS SOPS 760365 HAS SOUS 510974 HAS SOUPS 510974 WITH SCORE 511734.365
AT ITER 224 NEW BEST:: SOT 3495748 SOS 760257 HAS SOPS 760257 HAS SOUS 510866 HAS SOUPS 510866 WITH SCORE 511626.257
AT ITER 234 NEW BEST:: SOT 3495401 SOS 759906 HAS SOPS 759906 HAS SOUS 510518 HAS SOUPS 510518 WITH SCORE 511277.906
AT ITER 259 NEW BEST:: SOT 3495056 SOS 762199 HAS SOPS 762199 HAS SOUS 510484 HAS SOUPS 510484 WITH SCORE 511246.199
AT ITER 317 NEW BEST:: SOT 3494883 SOS 763468 HAS SOPS 763468 HAS SOUS 510138 HAS SOUPS 510138 WITH SCORE 510901.468
AT ITER 336 NEW BEST:: SOT 3494828 SOS 763448 HAS SOPS 763448 HAS SOUS 510083 HAS SOUPS 510083 WITH SCORE 510846.448
AT ITER 340 NEW BEST:: SOT 3494378 SOS 763223 HAS SOPS 763223 HAS SOUS 509858 HAS SOUPS 509858 WITH SCORE 510621.223
AT ITER 389 NEW BEST:: SOT 3494378 SOS 763223 HAS SOPS 763223 HAS SOUS 509857 HAS SOUPS 509857 WITH SCORE 510620.223
AT ITER 397 NEW BEST:: SOT 3493994 SOS 763607 HAS SOPS 763607 HAS SOUS 509473 HAS SOUPS 509473 WITH SCORE 510236.607
AT ITER 405 NEW BEST:: SOT 3494104 SOS 763827 HAS SOPS 763827 HAS SOUS 509417 HAS SOUPS 509417 WITH SCORE 510180.827
AT ITER 408 NEW BEST:: SOT 3494008 SOS 763721 HAS SOPS 763721 HAS SOUS 509319 HAS SOUPS 509319 WITH SCORE 510082.721
AT ITER 414 NEW BEST:: SOT 3494008 SOS 764530 HAS SOPS 764530 HAS SOUS 509318 HAS SOUPS 509318 WITH SCORE 510082.53
AT ITER 418 NEW BEST:: SOT 3493686 SOS 764185 HAS SOPS 764185 HAS SOUS 508834 HAS SOUPS 508834 WITH SCORE 509598.185
AT ITER 441 NEW BEST:: SOT 3493594 SOS 764001 HAS SOPS 764001 HAS SOUS 508650 HAS SOUPS 508650 WITH SCORE 509414.001
AT ITER 444 NEW BEST:: SOT 3493594 SOS 764001 HAS SOPS 764001 HAS SOUS 508552 HAS SOUPS 508552 WITH SCORE 509316.001
AT ITER 507 NEW BEST:: SOT 3493416 SOS 763645 HAS SOPS 763645 HAS SOUS 508196 HAS SOUPS 508196 WITH SCORE 508959.645
AT ITER 530 NEW BEST:: SOT 3493374 SOS 764032 HAS SOPS 764032 HAS SOUS 508154 HAS SOUPS 508154 WITH SCORE 508918.032
AT ITER 533 NEW BEST:: SOT 3493374 SOS 764021 HAS SOPS 764021 HAS SOUS 508153 HAS SOUPS 508153 WITH SCORE 508917.021
AT ITER 563 NEW BEST:: SOT 3493371 SOS 764015 HAS SOPS 764015 HAS SOUS 508150 HAS SOUPS 508150 WITH SCORE 508914.015
AT ITER 572 NEW BEST:: SOT 3493371 SOS 764015 HAS SOPS 764015 HAS SOUS 508149 HAS SOUPS 508149 WITH SCORE 508913.015
AT ITER 576 NEW BEST:: SOT 3492176 SOS 763090 HAS SOPS 763090 HAS SOUS 507107 HAS SOUPS 507107 WITH SCORE 507870.09
AT ITER 577 NEW BEST:: SOT 3492031 SOS 762800 HAS SOPS 762800 HAS SOUS 506707 HAS SOUPS 506707 WITH SCORE 507469.8
AT ITER 581 NEW BEST:: SOT 3492088 SOS 762914 HAS SOPS 762914 HAS SOUS 506453 HAS SOUPS 506453 WITH SCORE 507215.914
AT ITER 623 NEW BEST:: SOT 3492033 SOS 763020 HAS SOPS 763020 HAS SOUS 506397 HAS SOUPS 506397 WITH SCORE 507160.02
AT ITER 662 NEW BEST:: SOT 3492177 SOS 763164 HAS SOPS 763164 HAS SOUS 506396 HAS SOUPS 506396 WITH SCORE 507159.164
AT ITER 690 NEW BEST:: SOT 3491849 SOS 766149 HAS SOPS 766149 HAS SOUS 506144 HAS SOUPS 506144 WITH SCORE 506910.149
AT ITER 703 NEW BEST:: SOT 3491848 SOS 766101 HAS SOPS 766101 HAS SOUS 506096 HAS SOUPS 506096 WITH SCORE 506862.101
AT ITER 709 NEW BEST:: SOT 3491848 SOS 766100 HAS SOPS 766100 HAS SOUS 506095 HAS SOUPS 506095 WITH SCORE 506861.1
AT ITER 738 NEW BEST:: SOT 3491752 SOS 765539 HAS SOPS 765539 HAS SOUS 505876 HAS SOUPS 505876 WITH SCORE 506641.539
AT ITER 759 NEW BEST:: SOT 3491596 SOS 765227 HAS SOPS 765227 HAS SOUS 505564 HAS SOUPS 505564 WITH SCORE 506329.227
AT ITER 804 NEW BEST:: SOT 3491162 SOS 764359 HAS SOPS 764359 HAS SOUS 504696 HAS SOUPS 504696 WITH SCORE 505460.359
AT ITER 820 NEW BEST:: SOT 3490971 SOS 764168 HAS SOPS 764168 HAS SOUS 504505 HAS SOUPS 504505 WITH SCORE 505269.168
AT ITER 873 NEW BEST:: SOT 3490944 SOS 764114 HAS SOPS 764114 HAS SOUS 504451 HAS SOUPS 504451 WITH SCORE 505215.114
AT ITER 878 NEW BEST:: SOT 3491010 SOS 764408 HAS SOPS 764408 HAS SOUS 504431 HAS SOUPS 504431 WITH SCORE 505195.408
AT ITER 879 NEW BEST:: SOT 3490643 SOS 764700 HAS SOPS 764700 HAS SOUS 504427 HAS SOUPS 504427 WITH SCORE 505191.7
AT ITER 887 NEW BEST:: SOT 3490498 SOS 764632 HAS SOPS 764632 HAS SOUS 504060 HAS SOUPS 504060 WITH SCORE 504824.632
AT ITER 917 NEW BEST:: SOT 3490498 SOS 764512 HAS SOPS 764512 HAS SOUS 504000 HAS SOUPS 504000 WITH SCORE 504764.512
AT ITER 931 NEW BEST:: SOT 3490689 SOS 764894 HAS SOPS 764894 HAS SOUS 503889 HAS SOUPS 503889 WITH SCORE 504653.894
AT ITER 998 NEW BEST:: SOT 3489737 SOS 764180 HAS SOPS 764180 HAS SOUS 503164 HAS SOUPS 503164 WITH SCORE 503928.18
AT ITER 1012 NEW BEST:: SOT 3489736 SOS 764178 HAS SOPS 764178 HAS SOUS 503162 HAS SOUPS 503162 WITH SCORE 503926.178
AT ITER 1027 NEW BEST:: SOT 3489599 SOS 764145 HAS SOPS 764145 HAS SOUS 503129 HAS SOUPS 503129 WITH SCORE 503893.145
AT ITER 1089 NEW BEST:: SOT 3489049 SOS 763425 HAS SOPS 763425 HAS SOUS 502694 HAS SOUPS 502694 WITH SCORE 503457.425
AT ITER 1101 NEW BEST:: SOT 3488996 SOS 763914 HAS SOPS 763914 HAS SOUS 502587 HAS SOUPS 502587 WITH SCORE 503350.914
AT ITER 1110 NEW BEST:: SOT 3489179 SOS 765067 HAS SOPS 765067 HAS SOUS 502567 HAS SOUPS 502567 WITH SCORE 503332.067
AT ITER 1150 NEW BEST:: SOT 3488763 SOS 764681 HAS SOPS 764681 HAS SOUS 502171 HAS SOUPS 502171 WITH SCORE 502935.681
AT ITER 1153 NEW BEST:: SOT 3488437 SOS 764281 HAS SOPS 764281 HAS SOUS 501681 HAS SOUPS 501681 WITH SCORE 502445.281
AT ITER 1169 NEW BEST:: SOT 3488437 SOS 763867 HAS SOPS 763867 HAS SOUS 501474 HAS SOUPS 501474 WITH SCORE 502237.867
AT ITER 1185 NEW BEST:: SOT 3488300 SOS 763593 HAS SOPS 763593 HAS SOUS 501200 HAS SOUPS 501200 WITH SCORE 501963.593
AT ITER 1195 NEW BEST:: SOT 3488299 SOS 763797 HAS SOPS 763797 HAS SOUS 501198 HAS SOUPS 501198 WITH SCORE 501961.797
AT ITER 1207 NEW BEST:: SOT 3488299 SOS 763648 HAS SOPS 763648 HAS SOUS 501049 HAS SOUPS 501049 WITH SCORE 501812.648
AT ITER 1224 NEW BEST:: SOT 3488274 SOS 763598 HAS SOPS 763598 HAS SOUS 500999 HAS SOUPS 500999 WITH SCORE 501762.598
AT ITER 1272 NEW BEST:: SOT 3488273 SOS 763326 HAS SOPS 763326 HAS SOUS 500997 HAS SOUPS 500997 WITH SCORE 501760.326
AT ITER 1289 NEW BEST:: SOT 3488194 SOS 763086 HAS SOPS 763086 HAS SOUS 500838 HAS SOUPS 500838 WITH SCORE 501601.086
AT ITER 1296 NEW BEST:: SOT 3488194 SOS 763086 HAS SOPS 763086 HAS SOUS 500837 HAS SOUPS 500837 WITH SCORE 501600.086
AT ITER 1312 NEW BEST:: SOT 3487907 SOS 762799 HAS SOPS 762799 HAS SOUS 500550 HAS SOUPS 500550 WITH SCORE 501312.799
AT ITER 1327 NEW BEST:: SOT 3487903 SOS 761823 HAS SOPS 761823 HAS SOUS 500169 HAS SOUPS 500169 WITH SCORE 500930.823
AT ITER 1329 NEW BEST:: SOT 3487133 SOS 761065 HAS SOPS 761065 HAS SOUS 500040 HAS SOUPS 500040 WITH SCORE 500801.065
AT ITER 1383 NEW BEST:: SOT 3487184 SOS 761167 HAS SOPS 761167 HAS SOUS 500031 HAS SOUPS 500031 WITH SCORE 500792.167
AT ITER 1412 NEW BEST:: SOT 3484576 SOS 757829 HAS SOPS 757829 HAS SOUS 497341 HAS SOUPS 497341 WITH SCORE 498098.829
AT ITER 1493 NEW BEST:: SOT 3484412 SOS 757501 HAS SOPS 757501 HAS SOUS 497177 HAS SOUPS 497177 WITH SCORE 497934.501
AT ITER 1514 NEW BEST:: SOT 3482627 SOS 756332 HAS SOPS 756332 HAS SOUS 495689 HAS SOUPS 495689 WITH SCORE 496445.332
AT ITER 1539 NEW BEST:: SOT 3482627 SOS 756291 HAS SOPS 756291 HAS SOUS 495648 HAS SOUPS 495648 WITH SCORE 496404.291
AT ITER 1547 NEW BEST:: SOT 3482503 SOS 756189 HAS SOPS 756189 HAS SOUS 495496 HAS SOUPS 495496 WITH SCORE 496252.189
AT ITER 1549 NEW BEST:: SOT 3482503 SOS 756189 HAS SOPS 756189 HAS SOUS 495462 HAS SOUPS 495462 WITH SCORE 496218.189
AT ITER 1550 NEW BEST:: SOT 3482325 SOS 756002 HAS SOPS 756002 HAS SOUS 495374 HAS SOUPS 495374 WITH SCORE 496130.002
AT ITER 1580 NEW BEST:: SOT 3482175 SOS 755874 HAS SOPS 755874 HAS SOUS 495246 HAS SOUPS 495246 WITH SCORE 496001.874
AT ITER 1628 NEW BEST:: SOT 3482133 SOS 755790 HAS SOPS 755790 HAS SOUS 495162 HAS SOUPS 495162 WITH SCORE 495917.79
AT ITER 1631 NEW BEST:: SOT 3482065 SOS 755854 HAS SOPS 755854 HAS SOUS 495093 HAS SOUPS 495093 WITH SCORE 495848.854
AT ITER 1666 NEW BEST:: SOT 3482065 SOS 755858 HAS SOPS 755858 HAS SOUS 495092 HAS SOUPS 495092 WITH SCORE 495847.858
AT ITER 1673 NEW BEST:: SOT 3481716 SOS 755509 HAS SOPS 755509 HAS SOUS 494743 HAS SOUPS 494743 WITH SCORE 495498.509
AT ITER 1726 NEW BEST:: SOT 3481715 SOS 755507 HAS SOPS 755507 HAS SOUS 494741 HAS SOUPS 494741 WITH SCORE 495496.507
AT ITER 1762 NEW BEST:: SOT 3481714 SOS 755505 HAS SOPS 755505 HAS SOUS 494739 HAS SOUPS 494739 WITH SCORE 495494.505
AT ITER 1766 NEW BEST:: SOT 3481714 SOS 755383 HAS SOPS 755383 HAS SOUS 494739 HAS SOUPS 494739 WITH SCORE 495494.383
AT ITER 1778 NEW BEST:: SOT 3481714 SOS 756039 HAS SOPS 756039 HAS SOUS 494738 HAS SOUPS 494738 WITH SCORE 495494.039
AT ITER 1791 NEW BEST:: SOT 3481496 SOS 755820 HAS SOPS 755820 HAS SOUS 494527 HAS SOUPS 494527 WITH SCORE 495282.82
AT ITER 1794 NEW BEST:: SOT 3481471 SOS 755770 HAS SOPS 755770 HAS SOUS 494477 HAS SOUPS 494477 WITH SCORE 495232.77
AT ITER 1817 NEW BEST:: SOT 3481431 SOS 755690 HAS SOPS 755690 HAS SOUS 494435 HAS SOUPS 494435 WITH SCORE 495190.69
AT ITER 1851 NEW BEST:: SOT 3481304 SOS 755563 HAS SOPS 755563 HAS SOUS 494308 HAS SOUPS 494308 WITH SCORE 495063.563
AT ITER 1857 NEW BEST:: SOT 3481372 SOS 755699 HAS SOPS 755699 HAS SOUS 494056 HAS SOUPS 494056 WITH SCORE 494811.699
AT ITER 1860 NEW BEST:: SOT 3480504 SOS 755321 HAS SOPS 755321 HAS SOUS 493658 HAS SOUPS 493658 WITH SCORE 494413.321
AT ITER 1868 NEW BEST:: SOT 3480441 SOS 755303 HAS SOPS 755303 HAS SOUS 493618 HAS SOUPS 493618 WITH SCORE 494373.303
AT ITER 1870 NEW BEST:: SOT 3480379 SOS 755179 HAS SOPS 755179 HAS SOUS 493555 HAS SOUPS 493555 WITH SCORE 494310.179
AT ITER 1934 NEW BEST:: SOT 3480373 SOS 755167 HAS SOPS 755167 HAS SOUS 493543 HAS SOUPS 493543 WITH SCORE 494298.167
AT ITER 1969 NEW BEST:: SOT 3480373 SOS 754516 HAS SOPS 754516 HAS SOUS 493543 HAS SOUPS 493543 WITH SCORE 494297.516
AT ITER 1971 NEW BEST:: SOT 3480216 SOS 754331 HAS SOPS 754331 HAS SOUS 493387 HAS SOUPS 493387 WITH SCORE 494141.331
AT ITER 1996 NEW BEST:: SOT 3480216 SOS 754331 HAS SOPS 754331 HAS SOUS 493257 HAS SOUPS 493257 WITH SCORE 494011.331
AT ITER 2014 NEW BEST:: SOT 3479806 SOS 753967 HAS SOPS 753967 HAS SOUS 492869 HAS SOUPS 492869 WITH SCORE 493622.967
AT ITER 2017 NEW BEST:: SOT 3479649 SOS 753653 HAS SOPS 753653 HAS SOUS 492712 HAS SOUPS 492712 WITH SCORE 493465.653
AT ITER 2054 NEW BEST:: SOT 3479649 SOS 752897 HAS SOPS 752897 HAS SOUS 492712 HAS SOUPS 492712 WITH SCORE 493464.897
AT ITER 2060 NEW BEST:: SOT 3479521 SOS 755178 HAS SOPS 755178 HAS SOUS 492455 HAS SOUPS 492455 WITH SCORE 493210.178
AT ITER 2073 NEW BEST:: SOT 3479472 SOS 755269 HAS SOPS 755269 HAS SOUS 492406 HAS SOUPS 492406 WITH SCORE 493161.269
AT ITER 2096 NEW BEST:: SOT 3479472 SOS 755269 HAS SOPS 755269 HAS SOUS 492287 HAS SOUPS 492287 WITH SCORE 493042.269
AT ITER 2101 NEW BEST:: SOT 3479421 SOS 755167 HAS SOPS 755167 HAS SOUS 492185 HAS SOUPS 492185 WITH SCORE 492940.167
AT ITER 2123 NEW BEST:: SOT 3479363 SOS 755051 HAS SOPS 755051 HAS SOUS 492069 HAS SOUPS 492069 WITH SCORE 492824.051
AT ITER 2168 NEW BEST:: SOT 3479343 SOS 755071 HAS SOPS 755071 HAS SOUS 492029 HAS SOUPS 492029 WITH SCORE 492784.071
AT ITER 2170 NEW BEST:: SOT 3479300 SOS 754985 HAS SOPS 754985 HAS SOUS 491943 HAS SOUPS 491943 WITH SCORE 492697.985
AT ITER 2182 NEW BEST:: SOT 3478843 SOS 754447 HAS SOPS 754447 HAS SOUS 491405 HAS SOUPS 491405 WITH SCORE 492159.447
AT ITER 2192 NEW BEST:: SOT 3477406 SOS 758143 HAS SOPS 758143 HAS SOUS 491185 HAS SOUPS 491185 WITH SCORE 491943.143
AT ITER 2214 NEW BEST:: SOT 3477097 SOS 757805 HAS SOPS 757805 HAS SOUS 490596 HAS SOUPS 490596 WITH SCORE 491353.805
AT ITER 2222 NEW BEST:: SOT 3477090 SOS 757399 HAS SOPS 757399 HAS SOUS 490504 HAS SOUPS 490504 WITH SCORE 491261.399
AT ITER 2240 NEW BEST:: SOT 3477078 SOS 757375 HAS SOPS 757375 HAS SOUS 490492 HAS SOUPS 490492 WITH SCORE 491249.375
AT ITER 2241 NEW BEST:: SOT 3476762 SOS 757059 HAS SOPS 757059 HAS SOUS 490176 HAS SOUPS 490176 WITH SCORE 490933.059
AT ITER 2274 NEW BEST:: SOT 3476207 SOS 756504 HAS SOPS 756504 HAS SOUS 489621 HAS SOUPS 489621 WITH SCORE 490377.504
AT ITER 2276 NEW BEST:: SOT 3476207 SOS 756504 HAS SOPS 756504 HAS SOUS 489611 HAS SOUPS 489611 WITH SCORE 490367.504
AT ITER 2279 NEW BEST:: SOT 3476020 SOS 756130 HAS SOPS 756130 HAS SOUS 489365 HAS SOUPS 489365 WITH SCORE 490121.13
AT ITER 2281 NEW BEST:: SOT 3476020 SOS 756110 HAS SOPS 756110 HAS SOUS 489345 HAS SOUPS 489345 WITH SCORE 490101.11
AT ITER 2288 NEW BEST:: SOT 3475901 SOS 755872 HAS SOPS 755872 HAS SOUS 489107 HAS SOUPS 489107 WITH SCORE 489862.872
AT ITER 2294 NEW BEST:: SOT 3475901 SOS 755871 HAS SOPS 755871 HAS SOUS 489106 HAS SOUPS 489106 WITH SCORE 489861.871
AT ITER 2308 NEW BEST:: SOT 3473807 SOS 754277 HAS SOPS 754277 HAS SOUS 487463 HAS SOUPS 487463 WITH SCORE 488217.277
AT ITER 2322 NEW BEST:: SOT 3473804 SOS 754271 HAS SOPS 754271 HAS SOUS 487457 HAS SOUPS 487457 WITH SCORE 488211.271
AT ITER 2360 NEW BEST:: SOT 3473673 SOS 754009 HAS SOPS 754009 HAS SOUS 487195 HAS SOUPS 487195 WITH SCORE 487949.009
AT ITER 2368 NEW BEST:: SOT 3473097 SOS 753433 HAS SOPS 753433 HAS SOUS 486619 HAS SOUPS 486619 WITH SCORE 487372.433
AT ITER 2370 NEW BEST:: SOT 3473078 SOS 753395 HAS SOPS 753395 HAS SOUS 486581 HAS SOUPS 486581 WITH SCORE 487334.395
AT ITER 2379 NEW BEST:: SOT 3472828 SOS 752723 HAS SOPS 752723 HAS SOUS 486212 HAS SOUPS 486212 WITH SCORE 486964.723
AT ITER 2434 NEW BEST:: SOT 3472819 SOS 752714 HAS SOPS 752714 HAS SOUS 486203 HAS SOUPS 486203 WITH SCORE 486955.714
AT ITER 2450 NEW BEST:: SOT 3472836 SOS 752194 HAS SOPS 752194 HAS SOUS 485766 HAS SOUPS 485766 WITH SCORE 486518.194
AT ITER 2482 NEW BEST:: SOT 3472819 SOS 752161 HAS SOPS 752161 HAS SOUS 485733 HAS SOUPS 485733 WITH SCORE 486485.161
AT ITER 2528 NEW BEST:: SOT 3472514 SOS 751881 HAS SOPS 751881 HAS SOUS 485357 HAS SOUPS 485357 WITH SCORE 486108.881
AT ITER 2545 NEW BEST:: SOT 3472457 SOS 751767 HAS SOPS 751767 HAS SOUS 485312 HAS SOUPS 485312 WITH SCORE 486063.767
AT ITER 2548 NEW BEST:: SOT 3472414 SOS 751677 HAS SOPS 751677 HAS SOUS 485225 HAS SOUPS 485225 WITH SCORE 485976.677
AT ITER 2585 NEW BEST:: SOT 3472136 SOS 751445 HAS SOPS 751445 HAS SOUS 484947 HAS SOUPS 484947 WITH SCORE 485698.445
AT ITER 2607 NEW BEST:: SOT 3471690 SOS 751983 HAS SOPS 751983 HAS SOUS 484922 HAS SOUPS 484922 WITH SCORE 485673.983
AT ITER 2628 NEW BEST:: SOT 3471690 SOS 751909 HAS SOPS 751909 HAS SOUS 484885 HAS SOUPS 484885 WITH SCORE 485636.909
AT ITER 2647 NEW BEST:: SOT 3471733 SOS 751716 HAS SOPS 751716 HAS SOUS 484825 HAS SOUPS 484825 WITH SCORE 485576.716
AT ITER 2676 NEW BEST:: SOT 3471719 SOS 751688 HAS SOPS 751688 HAS SOUS 484811 HAS SOUPS 484811 WITH SCORE 485562.688
AT ITER 2756 NEW BEST:: SOT 3471694 SOS 751709 HAS SOPS 751709 HAS SOUS 484810 HAS SOUPS 484810 WITH SCORE 485561.709
AT ITER 2772 NEW BEST:: SOT 3471538 SOS 751553 HAS SOPS 751553 HAS SOUS 484602 HAS SOUPS 484602 WITH SCORE 485353.553
AT ITER 2773 NEW BEST:: SOT 3471238 SOS 750653 HAS SOPS 750653 HAS SOUS 484152 HAS SOUPS 484152 WITH SCORE 484902.653
AT ITER 2828 NEW BEST:: SOT 3471124 SOS 749741 HAS SOPS 749741 HAS SOUS 483960 HAS SOUPS 483960 WITH SCORE 484709.741
AT ITER 2860 NEW BEST:: SOT 3471106 SOS 749885 HAS SOPS 749885 HAS SOUS 483942 HAS SOUPS 483942 WITH SCORE 484691.885
AT ITER 2887 NEW BEST:: SOT 3470986 SOS 748924 HAS SOPS 748924 HAS SOUS 483805 HAS SOUPS 483805 WITH SCORE 484553.924
AT ITER 2901 NEW BEST:: SOT 3470985 SOS 748922 HAS SOPS 748922 HAS SOUS 483803 HAS SOUPS 483803 WITH SCORE 484551.922
AT ITER 2935 NEW BEST:: SOT 3470867 SOS 748682 HAS SOPS 748682 HAS SOUS 483563 HAS SOUPS 483563 WITH SCORE 484311.682
AT ITER 2936 NEW BEST:: SOT 3470703 SOS 748538 HAS SOPS 748538 HAS SOUS 483281 HAS SOUPS 483281 WITH SCORE 484029.538
AT ITER 2977 NEW BEST:: SOT 3470703 SOS 748538 HAS SOPS 748538 HAS SOUS 483280 HAS SOUPS 483280 WITH SCORE 484028.538
AT ITER 2983 NEW BEST:: SOT 3470217 SOS 745865 HAS SOPS 745865 HAS SOUS 482551 HAS SOUPS 482551 WITH SCORE 483296.865
AT ITER 3004 NEW BEST:: SOT 3470217 SOS 745794 HAS SOPS 745794 HAS SOUS 482515 HAS SOUPS 482515 WITH SCORE 483260.794
AT ITER 3007 NEW BEST:: SOT 3470281 SOS 745783 HAS SOPS 745783 HAS SOUS 482504 HAS SOUPS 482504 WITH SCORE 483249.783
AT ITER 3018 NEW BEST:: SOT 3470144 SOS 745545 HAS SOPS 745545 HAS SOUS 482266 HAS SOUPS 482266 WITH SCORE 483011.545
AT ITER 3026 NEW BEST:: SOT 3469772 SOS 743393 HAS SOPS 743393 HAS SOUS 481716 HAS SOUPS 481716 WITH SCORE 482459.393
AT ITER 3057 NEW BEST:: SOT 3469665 SOS 743266 HAS SOPS 743266 HAS SOUS 481696 HAS SOUPS 481696 WITH SCORE 482439.266
AT ITER 3067 NEW BEST:: SOT 3469618 SOS 742292 HAS SOPS 742292 HAS SOUS 481602 HAS SOUPS 481602 WITH SCORE 482344.292
AT ITER 3076 NEW BEST:: SOT 3469008 SOS 741846 HAS SOPS 741846 HAS SOUS 481156 HAS SOUPS 481156 WITH SCORE 481897.846
AT ITER 3114 NEW BEST:: SOT 3468990 SOS 741806 HAS SOPS 741806 HAS SOUS 481119 HAS SOUPS 481119 WITH SCORE 481860.806
AT ITER 3122 NEW BEST:: SOT 3469185 SOS 741910 HAS SOPS 741910 HAS SOUS 481067 HAS SOUPS 481067 WITH SCORE 481808.91
AT ITER 3125 NEW BEST:: SOT 3469181 SOS 741888 HAS SOPS 741888 HAS SOUS 481061 HAS SOUPS 481061 WITH SCORE 481802.888
AT ITER 3141 NEW BEST:: SOT 3469069 SOS 741664 HAS SOPS 741664 HAS SOUS 480837 HAS SOUPS 480837 WITH SCORE 481578.664
AT ITER 3144 NEW BEST:: SOT 3469068 SOS 741662 HAS SOPS 741662 HAS SOUS 480835 HAS SOUPS 480835 WITH SCORE 481576.662
AT ITER 3159 NEW BEST:: SOT 3469038 SOS 741582 HAS SOPS 741582 HAS SOUS 480755 HAS SOUPS 480755 WITH SCORE 481496.582
AT ITER 3160 NEW BEST:: SOT 3469038 SOS 741459 HAS SOPS 741459 HAS SOUS 480714 HAS SOUPS 480714 WITH SCORE 481455.459
AT ITER 3161 NEW BEST:: SOT 3468689 SOS 741300 HAS SOPS 741300 HAS SOUS 480555 HAS SOUPS 480555 WITH SCORE 481296.3
AT ITER 3192 NEW BEST:: SOT 3467579 SOS 739968 HAS SOPS 739968 HAS SOUS 479445 HAS SOUPS 479445 WITH SCORE 480184.968
AT ITER 3193 NEW BEST:: SOT 3467739 SOS 740288 HAS SOPS 740288 HAS SOUS 479441 HAS SOUPS 479441 WITH SCORE 480181.288
AT ITER 3245 NEW BEST:: SOT 3467717 SOS 740244 HAS SOPS 740244 HAS SOUS 479397 HAS SOUPS 479397 WITH SCORE 480137.244
AT ITER 3250 NEW BEST:: SOT 3467613 SOS 740140 HAS SOPS 740140 HAS SOUS 479293 HAS SOUPS 479293 WITH SCORE 480033.14
AT ITER 3252 NEW BEST:: SOT 3467839 SOS 740592 HAS SOPS 740592 HAS SOUS 479238 HAS SOUPS 479238 WITH SCORE 479978.592
AT ITER 3259 NEW BEST:: SOT 3466973 SOS 739341 HAS SOPS 739341 HAS SOUS 477949 HAS SOUPS 477949 WITH SCORE 478688.341
AT ITER 3273 NEW BEST:: SOT 3466972 SOS 739339 HAS SOPS 739339 HAS SOUS 477947 HAS SOUPS 477947 WITH SCORE 478686.339
AT ITER 3286 NEW BEST:: SOT 3465852 SOS 738219 HAS SOPS 738219 HAS SOUS 477864 HAS SOUPS 477864 WITH SCORE 478602.219
AT ITER 3310 NEW BEST:: SOT 3465836 SOS 738187 HAS SOPS 738187 HAS SOUS 477832 HAS SOUPS 477832 WITH SCORE 478570.187
AT ITER 3319 NEW BEST:: SOT 3465528 SOS 737891 HAS SOPS 737891 HAS SOUS 477216 HAS SOUPS 477216 WITH SCORE 477953.891
AT ITER 3325 NEW BEST:: SOT 3465243 SOS 738167 HAS SOPS 738167 HAS SOUS 477106 HAS SOUPS 477106 WITH SCORE 477844.167
AT ITER 3359 NEW BEST:: SOT 3465454 SOS 738111 HAS SOPS 738111 HAS SOUS 477078 HAS SOUPS 477078 WITH SCORE 477816.111
AT ITER 3370 NEW BEST:: SOT 3465103 SOS 737863 HAS SOPS 737863 HAS SOUS 476751 HAS SOUPS 476751 WITH SCORE 477488.863
AT ITER 3380 NEW BEST:: SOT 3465102 SOS 737861 HAS SOPS 737861 HAS SOUS 476749 HAS SOUPS 476749 WITH SCORE 477486.861
AT ITER 3381 NEW BEST:: SOT 3465093 SOS 737852 HAS SOPS 737852 HAS SOUS 476740 HAS SOUPS 476740 WITH SCORE 477477.852
AT ITER 3442 NEW BEST:: SOT 3465093 SOS 737495 HAS SOPS 737495 HAS SOUS 476740 HAS SOUPS 476740 WITH SCORE 477477.495
AT ITER 3443 NEW BEST:: SOT 3465030 SOS 738425 HAS SOPS 738425 HAS SOUS 476628 HAS SOUPS 476628 WITH SCORE 477366.425
AT ITER 3453 NEW BEST:: SOT 3465030 SOS 738697 HAS SOPS 738697 HAS SOUS 476627 HAS SOUPS 476627 WITH SCORE 477365.697
AT ITER 3480 NEW BEST:: SOT 3464998 SOS 738665 HAS SOPS 738665 HAS SOUS 476595 HAS SOUPS 476595 WITH SCORE 477333.665
AT ITER 3492 NEW BEST:: SOT 3464998 SOS 738549 HAS SOPS 738549 HAS SOUS 476595 HAS SOUPS 476595 WITH SCORE 477333.549
AT ITER 3532 NEW BEST:: SOT 3464369 SOS 738237 HAS SOPS 738237 HAS SOUS 476083 HAS SOUPS 476083 WITH SCORE 476821.237
AT ITER 3535 NEW BEST:: SOT 3464136 SOS 738004 HAS SOPS 738004 HAS SOUS 475721 HAS SOUPS 475721 WITH SCORE 476459.004
AT ITER 3536 NEW BEST:: SOT 3464098 SOS 737928 HAS SOPS 737928 HAS SOUS 475713 HAS SOUPS 475713 WITH SCORE 476450.928
AT ITER 3573 NEW BEST:: SOT 3463814 SOS 737644 HAS SOPS 737644 HAS SOUS 475713 HAS SOUPS 475713 WITH SCORE 476450.644
AT ITER 3589 NEW BEST:: SOT 3463605 SOS 737557 HAS SOPS 737557 HAS SOUS 475626 HAS SOUPS 475626 WITH SCORE 476363.557
AT ITER 3597 NEW BEST:: SOT 3463392 SOS 736492 HAS SOPS 736492 HAS SOUS 475200 HAS SOUPS 475200 WITH SCORE 475936.492
AT ITER 3606 NEW BEST:: SOT 3463284 SOS 736488 HAS SOPS 736488 HAS SOUS 475199 HAS SOUPS 475199 WITH SCORE 475935.488
AT ITER 3607 NEW BEST:: SOT 3463070 SOS 736060 HAS SOPS 736060 HAS SOUS 474985 HAS SOUPS 474985 WITH SCORE 475721.06
AT ITER 3611 NEW BEST:: SOT 3463070 SOS 736475 HAS SOPS 736475 HAS SOUS 474964 HAS SOUPS 474964 WITH SCORE 475700.475
AT ITER 3620 NEW BEST:: SOT 3463069 SOS 736325 HAS SOPS 736325 HAS SOUS 474962 HAS SOUPS 474962 WITH SCORE 475698.325
AT ITER 3678 NEW BEST:: SOT 3463068 SOS 736323 HAS SOPS 736323 HAS SOUS 474960 HAS SOUPS 474960 WITH SCORE 475696.323
AT ITER 3698 NEW BEST:: SOT 3462925 SOS 736037 HAS SOPS 736037 HAS SOUS 474614 HAS SOUPS 474614 WITH SCORE 475350.037
AT ITER 3701 NEW BEST:: SOT 3462872 SOS 736499 HAS SOPS 736499 HAS SOUS 474602 HAS SOUPS 474602 WITH SCORE 475338.499
AT ITER 3712 NEW BEST:: SOT 3462872 SOS 736496 HAS SOPS 736496 HAS SOUS 474602 HAS SOUPS 474602 WITH SCORE 475338.496
AT ITER 3739 NEW BEST:: SOT 3462832 SOS 736284 HAS SOPS 736284 HAS SOUS 474390 HAS SOUPS 474390 WITH SCORE 475126.284
AT ITER 3757 NEW BEST:: SOT 3462830 SOS 736280 HAS SOPS 736280 HAS SOUS 474388 HAS SOUPS 474388 WITH SCORE 475124.28
AT ITER 3768 NEW BEST:: SOT 3462830 SOS 736176 HAS SOPS 736176 HAS SOUS 474388 HAS SOUPS 474388 WITH SCORE 475124.176
AT ITER 3780 NEW BEST:: SOT 3462859 SOS 736070 HAS SOPS 736070 HAS SOUS 474306 HAS SOUPS 474306 WITH SCORE 475042.07
AT ITER 3795 NEW BEST:: SOT 3462858 SOS 736068 HAS SOPS 736068 HAS SOUS 474304 HAS SOUPS 474304 WITH SCORE 475040.068
AT ITER 3798 NEW BEST:: SOT 3462440 SOS 735232 HAS SOPS 735232 HAS SOUS 473395 HAS SOUPS 473395 WITH SCORE 474130.232
AT ITER 3805 NEW BEST:: SOT 3462194 SOS 734901 HAS SOPS 734901 HAS SOUS 473225 HAS SOUPS 473225 WITH SCORE 473959.901
AT ITER 3820 NEW BEST:: SOT 3462192 SOS 734897 HAS SOPS 734897 HAS SOUS 473221 HAS SOUPS 473221 WITH SCORE 473955.897
AT ITER 3831 NEW BEST:: SOT 3462028 SOS 734794 HAS SOPS 734794 HAS SOUS 473118 HAS SOUPS 473118 WITH SCORE 473852.794
AT ITER 3832 NEW BEST:: SOT 3461660 SOS 734426 HAS SOPS 734426 HAS SOUS 472750 HAS SOUPS 472750 WITH SCORE 473484.426
AT ITER 3844 NEW BEST:: SOT 3461529 SOS 734303 HAS SOPS 734303 HAS SOUS 472627 HAS SOUPS 472627 WITH SCORE 473361.303
AT ITER 3870 NEW BEST:: SOT 3461493 SOS 734231 HAS SOPS 734231 HAS SOUS 472586 HAS SOUPS 472586 WITH SCORE 473320.231
AT ITER 3931 NEW BEST:: SOT 3461471 SOS 734187 HAS SOPS 734187 HAS SOUS 472564 HAS SOUPS 472564 WITH SCORE 473298.187
AT ITER 3938 NEW BEST:: SOT 3460706 SOS 733902 HAS SOPS 733902 HAS SOUS 472066 HAS SOUPS 472066 WITH SCORE 472799.902
AT ITER 3952 NEW BEST:: SOT 3460763 SOS 733614 HAS SOPS 733614 HAS SOUS 472002 HAS SOUPS 472002 WITH SCORE 472735.614
AT ITER 3980 NEW BEST:: SOT 3460594 SOS 733276 HAS SOPS 733276 HAS SOUS 471833 HAS SOUPS 471833 WITH SCORE 472566.276
AT ITER 3983 NEW BEST:: SOT 3460559 SOS 733479 HAS SOPS 733479 HAS SOUS 471798 HAS SOUPS 471798 WITH SCORE 472531.479
AT ITER 3994 NEW BEST:: SOT 3460499 SOS 733359 HAS SOPS 733359 HAS SOUS 471738 HAS SOUPS 471738 WITH SCORE 472471.359
AT ITER 3997 NEW BEST:: SOT 3460471 SOS 733303 HAS SOPS 733303 HAS SOUS 471682 HAS SOUPS 471682 WITH SCORE 472415.303
AT ITER 4002 NEW BEST:: SOT 3460435 SOS 733231 HAS SOPS 733231 HAS SOUS 471571 HAS SOUPS 471571 WITH SCORE 472304.231
AT ITER 4044 NEW BEST:: SOT 3460057 SOS 732936 HAS SOPS 732936 HAS SOUS 471193 HAS SOUPS 471193 WITH SCORE 471925.936
AT ITER 4049 NEW BEST:: SOT 3459957 SOS 732736 HAS SOPS 732736 HAS SOUS 470993 HAS SOUPS 470993 WITH SCORE 471725.736
AT ITER 4118 NEW BEST:: SOT 3459783 SOS 731578 HAS SOPS 731578 HAS SOUS 470549 HAS SOUPS 470549 WITH SCORE 471280.578
AT ITER 4140 NEW BEST:: SOT 3459765 SOS 731560 HAS SOPS 731560 HAS SOUS 470531 HAS SOUPS 470531 WITH SCORE 471262.56
AT ITER 4158 NEW BEST:: SOT 3459765 SOS 731560 HAS SOPS 731560 HAS SOUS 470382 HAS SOUPS 470382 WITH SCORE 471113.56
AT ITER 4159 NEW BEST:: SOT 3459685 SOS 731400 HAS SOPS 731400 HAS SOUS 470222 HAS SOUPS 470222 WITH SCORE 470953.4
AT ITER 4174 NEW BEST:: SOT 3459595 SOS 731220 HAS SOPS 731220 HAS SOUS 470042 HAS SOUPS 470042 WITH SCORE 470773.22
AT ITER 4177 NEW BEST:: SOT 3459648 SOS 731210 HAS SOPS 731210 HAS SOUS 470032 HAS SOUPS 470032 WITH SCORE 470763.21
AT ITER 4185 NEW BEST:: SOT 3459691 SOS 731738 HAS SOPS 731738 HAS SOUS 470028 HAS SOUPS 470028 WITH SCORE 470759.738
AT ITER 4192 NEW BEST:: SOT 3459656 SOS 731668 HAS SOPS 731668 HAS SOUS 469989 HAS SOUPS 469989 WITH SCORE 470720.668
AT ITER 4229 NEW BEST:: SOT 3459656 SOS 731668 HAS SOPS 731668 HAS SOUS 469815 HAS SOUPS 469815 WITH SCORE 470546.668
AT ITER 4232 NEW BEST:: SOT 3459771 SOS 731658 HAS SOPS 731658 HAS SOUS 469810 HAS SOUPS 469810 WITH SCORE 470541.658
AT ITER 4240 NEW BEST:: SOT 3459771 SOS 731902 HAS SOPS 731902 HAS SOUS 469809 HAS SOUPS 469809 WITH SCORE 470540.902
AT ITER 4250 NEW BEST:: SOT 3459644 SOS 733700 HAS SOPS 733700 HAS SOUS 469682 HAS SOUPS 469682 WITH SCORE 470415.7
AT ITER 4255 NEW BEST:: SOT 3459402 SOS 733699 HAS SOPS 733699 HAS SOUS 469681 HAS SOUPS 469681 WITH SCORE 470414.699
AT ITER 4270 NEW BEST:: SOT 3459214 SOS 733133 HAS SOPS 733133 HAS SOUS 469398 HAS SOUPS 469398 WITH SCORE 470131.133
AT ITER 4281 NEW BEST:: SOT 3459165 SOS 732473 HAS SOPS 732473 HAS SOUS 469307 HAS SOUPS 469307 WITH SCORE 470039.473
AT ITER 4296 NEW BEST:: SOT 3459178 SOS 732499 HAS SOPS 732499 HAS SOUS 469296 HAS SOUPS 469296 WITH SCORE 470028.499
AT ITER 4313 NEW BEST:: SOT 3459175 SOS 732496 HAS SOPS 732496 HAS SOUS 469293 HAS SOUPS 469293 WITH SCORE 470025.496
AT ITER 4324 NEW BEST:: SOT 3459097 SOS 732136 HAS SOPS 732136 HAS SOUS 469239 HAS SOUPS 469239 WITH SCORE 469971.136
AT ITER 4348 NEW BEST:: SOT 3459097 SOS 732135 HAS SOPS 732135 HAS SOUS 469238 HAS SOUPS 469238 WITH SCORE 469970.135
AT ITER 4360 NEW BEST:: SOT 3458633 SOS 731903 HAS SOPS 731903 HAS SOUS 469006 HAS SOUPS 469006 WITH SCORE 469737.903
AT ITER 4363 NEW BEST:: SOT 3458707 SOS 731711 HAS SOPS 731711 HAS SOUS 468984 HAS SOUPS 468984 WITH SCORE 469715.711
AT ITER 4374 NEW BEST:: SOT 3458394 SOS 731360 HAS SOPS 731360 HAS SOUS 468666 HAS SOUPS 468666 WITH SCORE 469397.36
AT ITER 4392 NEW BEST:: SOT 3458394 SOS 731512 HAS SOPS 731512 HAS SOUS 468645 HAS SOUPS 468645 WITH SCORE 469376.512
AT ITER 4412 NEW BEST:: SOT 3457844 SOS 730412 HAS SOPS 730412 HAS SOUS 467545 HAS SOUPS 467545 WITH SCORE 468275.412
AT ITER 4414 NEW BEST:: SOT 3457561 SOS 730137 HAS SOPS 730137 HAS SOUS 467262 HAS SOUPS 467262 WITH SCORE 467992.137
AT ITER 4450 NEW BEST:: SOT 3457553 SOS 730129 HAS SOPS 730129 HAS SOUS 467254 HAS SOUPS 467254 WITH SCORE 467984.129
AT ITER 4489 NEW BEST:: SOT 3457672 SOS 730367 HAS SOPS 730367 HAS SOUS 467187 HAS SOUPS 467187 WITH SCORE 467917.367
AT ITER 4493 NEW BEST:: SOT 3457405 SOS 730096 HAS SOPS 730096 HAS SOUS 466919 HAS SOUPS 466919 WITH SCORE 467649.096
AT ITER 4547 NEW BEST:: SOT 3456832 SOS 729526 HAS SOPS 729526 HAS SOUS 466346 HAS SOUPS 466346 WITH SCORE 467075.526
AT ITER 4554 NEW BEST:: SOT 3456761 SOS 729384 HAS SOPS 729384 HAS SOUS 466204 HAS SOUPS 466204 WITH SCORE 466933.384
AT ITER 4574 NEW BEST:: SOT 3456764 SOS 729315 HAS SOPS 729315 HAS SOUS 466185 HAS SOUPS 466185 WITH SCORE 466914.315
AT ITER 4577 NEW BEST:: SOT 3456543 SOS 729081 HAS SOPS 729081 HAS SOUS 465976 HAS SOUPS 465976 WITH SCORE 466705.081
AT ITER 4591 NEW BEST:: SOT 3456382 SOS 728897 HAS SOPS 728897 HAS SOUS 465792 HAS SOUPS 465792 WITH SCORE 466520.897
AT ITER 4592 NEW BEST:: SOT 3456231 SOS 728595 HAS SOPS 728595 HAS SOUS 465636 HAS SOUPS 465636 WITH SCORE 466364.595
AT ITER 4632 NEW BEST:: SOT 3456028 SOS 728189 HAS SOPS 728189 HAS SOUS 465554 HAS SOUPS 465554 WITH SCORE 466282.189
AT ITER 4634 NEW BEST:: SOT 3456008 SOS 728149 HAS SOPS 728149 HAS SOUS 465534 HAS SOUPS 465534 WITH SCORE 466262.149
AT ITER 4673 NEW BEST:: SOT 3455931 SOS 727995 HAS SOPS 727995 HAS SOUS 465457 HAS SOUPS 465457 WITH SCORE 466184.995
AT ITER 4717 NEW BEST:: SOT 3455872 SOS 728226 HAS SOPS 728226 HAS SOUS 465398 HAS SOUPS 465398 WITH SCORE 466126.226
AT ITER 4730 NEW BEST:: SOT 3455750 SOS 727464 HAS SOPS 727464 HAS SOUS 465078 HAS SOUPS 465078 WITH SCORE 465805.464
AT ITER 4735 NEW BEST:: SOT 3455605 SOS 727344 HAS SOPS 727344 HAS SOUS 464917 HAS SOUPS 464917 WITH SCORE 465644.344
AT ITER 4770 NEW BEST:: SOT 3455604 SOS 727318 HAS SOPS 727318 HAS SOUS 464903 HAS SOUPS 464903 WITH SCORE 465630.318
AT ITER 4789 NEW BEST:: SOT 3455893 SOS 727659 HAS SOPS 727659 HAS SOUS 464828 HAS SOUPS 464828 WITH SCORE 465555.659
AT ITER 4832 NEW BEST:: SOT 3455893 SOS 727463 HAS SOPS 727463 HAS SOUS 464632 HAS SOUPS 464632 WITH SCORE 465359.463
AT ITER 4834 NEW BEST:: SOT 3455871 SOS 727419 HAS SOPS 727419 HAS SOUS 464610 HAS SOUPS 464610 WITH SCORE 465337.419
AT ITER 4853 NEW BEST:: SOT 3455871 SOS 727568 HAS SOPS 727568 HAS SOUS 464609 HAS SOUPS 464609 WITH SCORE 465336.568
AT ITER 4864 NEW BEST:: SOT 3455670 SOS 727166 HAS SOPS 727166 HAS SOUS 464207 HAS SOUPS 464207 WITH SCORE 464934.166
AT ITER 4866 NEW BEST:: SOT 3455653 SOS 727132 HAS SOPS 727132 HAS SOUS 464171 HAS SOUPS 464171 WITH SCORE 464898.132
AT ITER 4918 NEW BEST:: SOT 3455592 SOS 727010 HAS SOPS 727010 HAS SOUS 464049 HAS SOUPS 464049 WITH SCORE 464776.01
AT ITER 4923 NEW BEST:: SOT 3455591 SOS 727394 HAS SOPS 727394 HAS SOUS 464047 HAS SOUPS 464047 WITH SCORE 464774.394
AT ITER 4925 NEW BEST:: SOT 3455440 SOS 727092 HAS SOPS 727092 HAS SOUS 463745 HAS SOUPS 463745 WITH SCORE 464472.092
AT ITER 4930 NEW BEST:: SOT 3455426 SOS 727064 HAS SOPS 727064 HAS SOUS 463717 HAS SOUPS 463717 WITH SCORE 464444.064
AT ITER 4956 NEW BEST:: SOT 3455283 SOS 726965 HAS SOPS 726965 HAS SOUS 463657 HAS SOUPS 463657 WITH SCORE 464383.965
AT ITER 4985 NEW BEST:: SOT 3454955 SOS 725627 HAS SOPS 725627 HAS SOUS 463117 HAS SOUPS 463117 WITH SCORE 463842.627
AT ITER 5027 NEW BEST:: SOT 3455123 SOS 725684 HAS SOPS 725684 HAS SOUS 463006 HAS SOUPS 463006 WITH SCORE 463731.684
AT ITER 5035 NEW BEST:: SOT 3454970 SOS 724596 HAS SOPS 724596 HAS SOUS 462866 HAS SOUPS 462866 WITH SCORE 463590.596
AT ITER 5068 NEW BEST:: SOT 3454082 SOS 724052 HAS SOPS 724052 HAS SOUS 462498 HAS SOUPS 462498 WITH SCORE 463222.052
AT ITER 5138 NEW BEST:: SOT 3454080 SOS 724048 HAS SOPS 724048 HAS SOUS 462494 HAS SOUPS 462494 WITH SCORE 463218.048
AT ITER 5141 NEW BEST:: SOT 3453876 SOS 723844 HAS SOPS 723844 HAS SOUS 462290 HAS SOUPS 462290 WITH SCORE 463013.844
AT ITER 5157 NEW BEST:: SOT 3453784 SOS 723660 HAS SOPS 723660 HAS SOUS 462106 HAS SOUPS 462106 WITH SCORE 462829.66
AT ITER 5193 NEW BEST:: SOT 3453704 SOS 723606 HAS SOPS 723606 HAS SOUS 462052 HAS SOUPS 462052 WITH SCORE 462775.606
AT ITER 5209 NEW BEST:: SOT 3453023 SOS 722698 HAS SOPS 722698 HAS SOUS 461144 HAS SOUPS 461144 WITH SCORE 461866.698
AT ITER 5227 NEW BEST:: SOT 3452978 SOS 722696 HAS SOPS 722696 HAS SOUS 461139 HAS SOUPS 461139 WITH SCORE 461861.696
AT ITER 5248 NEW BEST:: SOT 3452978 SOS 722586 HAS SOPS 722586 HAS SOUS 461139 HAS SOUPS 461139 WITH SCORE 461861.586
AT ITER 5273 NEW BEST:: SOT 3452815 SOS 720228 HAS SOPS 720228 HAS SOUS 460839 HAS SOUPS 460839 WITH SCORE 461559.228
AT ITER 5295 NEW BEST:: SOT 3452814 SOS 720226 HAS SOPS 720226 HAS SOUS 460837 HAS SOUPS 460837 WITH SCORE 461557.226
AT ITER 5310 NEW BEST:: SOT 3452798 SOS 719807 HAS SOPS 719807 HAS SOUS 460805 HAS SOUPS 460805 WITH SCORE 461524.807
AT ITER 5327 NEW BEST:: SOT 3452542 SOS 719295 HAS SOPS 719295 HAS SOUS 460679 HAS SOUPS 460679 WITH SCORE 461398.295
AT ITER 5352 NEW BEST:: SOT 3452488 SOS 718907 HAS SOPS 718907 HAS SOUS 460625 HAS SOUPS 460625 WITH SCORE 461343.907
AT ITER 5358 NEW BEST:: SOT 3452055 SOS 718041 HAS SOPS 718041 HAS SOUS 460192 HAS SOUPS 460192 WITH SCORE 460910.041
AT ITER 5362 NEW BEST:: SOT 3452054 SOS 718039 HAS SOPS 718039 HAS SOUS 460190 HAS SOUPS 460190 WITH SCORE 460908.039
AT ITER 5374 NEW BEST:: SOT 3452288 SOS 718012 HAS SOPS 718012 HAS SOUS 460163 HAS SOUPS 460163 WITH SCORE 460881.012
AT ITER 5390 NEW BEST:: SOT 3452282 SOS 718010 HAS SOPS 718010 HAS SOUS 460158 HAS SOUPS 460158 WITH SCORE 460876.01
AT ITER 5495 NEW BEST:: SOT 3452280 SOS 718006 HAS SOPS 718006 HAS SOUS 460154 HAS SOUPS 460154 WITH SCORE 460872.006
AT ITER 5522 NEW BEST:: SOT 3450642 SOS 720324 HAS SOPS 720324 HAS SOUS 459368 HAS SOUPS 459368 WITH SCORE 460088.324
AT ITER 5525 NEW BEST:: SOT 3450634 SOS 720308 HAS SOPS 720308 HAS SOUS 459352 HAS SOUPS 459352 WITH SCORE 460072.308
AT ITER 5551 NEW BEST:: SOT 3450555 SOS 720150 HAS SOPS 720150 HAS SOUS 459270 HAS SOUPS 459270 WITH SCORE 459990.15
AT ITER 5563 NEW BEST:: SOT 3450555 SOS 720117 HAS SOPS 720117 HAS SOUS 459270 HAS SOUPS 459270 WITH SCORE 459990.117
AT ITER 5593 NEW BEST:: SOT 3450555 SOS 720117 HAS SOPS 720117 HAS SOUS 459233 HAS SOUPS 459233 WITH SCORE 459953.117
AT ITER 5601 NEW BEST:: SOT 3450555 SOS 719853 HAS SOPS 719853 HAS SOUS 459101 HAS SOUPS 459101 WITH SCORE 459820.853
AT ITER 5638 NEW BEST:: SOT 3450026 SOS 718795 HAS SOPS 718795 HAS SOUS 458091 HAS SOUPS 458091 WITH SCORE 458809.795
AT ITER 5673 NEW BEST:: SOT 3449976 SOS 718744 HAS SOPS 718744 HAS SOUS 458040 HAS SOUPS 458040 WITH SCORE 458758.744
AT ITER 5679 NEW BEST:: SOT 3449939 SOS 718670 HAS SOPS 718670 HAS SOUS 458003 HAS SOUPS 458003 WITH SCORE 458721.67
AT ITER 5688 NEW BEST:: SOT 3449768 SOS 718499 HAS SOPS 718499 HAS SOUS 457832 HAS SOUPS 457832 WITH SCORE 458550.499
AT ITER 5704 NEW BEST:: SOT 3449461 SOS 718188 HAS SOPS 718188 HAS SOUS 457763 HAS SOUPS 457763 WITH SCORE 458481.188
AT ITER 5707 NEW BEST:: SOT 3449245 SOS 717972 HAS SOPS 717972 HAS SOUS 457547 HAS SOUPS 457547 WITH SCORE 458264.972
AT ITER 5713 NEW BEST:: SOT 3448409 SOS 717093 HAS SOPS 717093 HAS SOUS 457447 HAS SOUPS 457447 WITH SCORE 458164.093
AT ITER 5729 NEW BEST:: SOT 3448409 SOS 717093 HAS SOPS 717093 HAS SOUS 457446 HAS SOUPS 457446 WITH SCORE 458163.093
AT ITER 5741 NEW BEST:: SOT 3448304 SOS 716988 HAS SOPS 716988 HAS SOUS 457236 HAS SOUPS 457236 WITH SCORE 457952.988
AT ITER 5776 NEW BEST:: SOT 3447314 SOS 715998 HAS SOPS 715998 HAS SOUS 456246 HAS SOUPS 456246 WITH SCORE 456961.998
AT ITER 5830 NEW BEST:: SOT 3447227 SOS 715928 HAS SOPS 715928 HAS SOUS 456195 HAS SOUPS 456195 WITH SCORE 456910.928
AT ITER 5880 NEW BEST:: SOT 3447214 SOS 715902 HAS SOPS 715902 HAS SOUS 456133 HAS SOUPS 456133 WITH SCORE 456848.902
AT ITER 5896 NEW BEST:: SOT 3446192 SOS 714922 HAS SOPS 714922 HAS SOUS 455141 HAS SOUPS 455141 WITH SCORE 455855.922
AT ITER 5942 NEW BEST:: SOT 3446192 SOS 714886 HAS SOPS 714886 HAS SOUS 455141 HAS SOUPS 455141 WITH SCORE 455855.886
AT ITER 5987 NEW BEST:: SOT 3445938 SOS 714378 HAS SOPS 714378 HAS SOUS 455079 HAS SOUPS 455079 WITH SCORE 455793.378
AT ITER 5992 NEW BEST:: SOT 3445922 SOS 714396 HAS SOPS 714396 HAS SOUS 455066 HAS SOUPS 455066 WITH SCORE 455780.396
AT ITER 6000 NEW BEST:: SOT 3445876 SOS 714516 HAS SOPS 714516 HAS SOUS 455026 HAS SOUPS 455026 WITH SCORE 455740.516
AT ITER 6021 NEW BEST:: SOT 3445818 SOS 714400 HAS SOPS 714400 HAS SOUS 454910 HAS SOUPS 454910 WITH SCORE 455624.4
AT ITER 6031 NEW BEST:: SOT 3445778 SOS 714160 HAS SOPS 714160 HAS SOUS 454850 HAS SOUPS 454850 WITH SCORE 455564.16
AT ITER 6047 NEW BEST:: SOT 3445777 SOS 714158 HAS SOPS 714158 HAS SOUS 454848 HAS SOUPS 454848 WITH SCORE 455562.158
AT ITER 6074 NEW BEST:: SOT 3445455 SOS 713968 HAS SOPS 713968 HAS SOUS 454658 HAS SOUPS 454658 WITH SCORE 455371.968
AT ITER 6098 NEW BEST:: SOT 3445437 SOS 713950 HAS SOPS 713950 HAS SOUS 454640 HAS SOUPS 454640 WITH SCORE 455353.95
AT ITER 6117 NEW BEST:: SOT 3445348 SOS 713772 HAS SOPS 713772 HAS SOUS 454551 HAS SOUPS 454551 WITH SCORE 455264.772
AT ITER 6153 NEW BEST:: SOT 3445312 SOS 713758 HAS SOPS 713758 HAS SOUS 454537 HAS SOUPS 454537 WITH SCORE 455250.758
AT ITER 6170 NEW BEST:: SOT 3445270 SOS 713634 HAS SOPS 713634 HAS SOUS 454440 HAS SOUPS 454440 WITH SCORE 455153.634
AT ITER 6198 NEW BEST:: SOT 3445225 SOS 713544 HAS SOPS 713544 HAS SOUS 454422 HAS SOUPS 454422 WITH SCORE 455135.544
AT ITER 6204 NEW BEST:: SOT 3445508 SOS 714110 HAS SOPS 714110 HAS SOUS 454262 HAS SOUPS 454262 WITH SCORE 454976.11
AT ITER 6208 NEW BEST:: SOT 3445508 SOS 714109 HAS SOPS 714109 HAS SOUS 454261 HAS SOUPS 454261 WITH SCORE 454975.109
AT ITER 6212 NEW BEST:: SOT 3445362 SOS 714111 HAS SOPS 714111 HAS SOUS 454240 HAS SOUPS 454240 WITH SCORE 454954.111
AT ITER 6232 NEW BEST:: SOT 3445362 SOS 714005 HAS SOPS 714005 HAS SOUS 454134 HAS SOUPS 454134 WITH SCORE 454848.005
AT ITER 6247 NEW BEST:: SOT 3445024 SOS 714639 HAS SOPS 714639 HAS SOUS 453967 HAS SOUPS 453967 WITH SCORE 454681.639
AT ITER 6254 NEW BEST:: SOT 3444992 SOS 714575 HAS SOPS 714575 HAS SOUS 453935 HAS SOUPS 453935 WITH SCORE 454649.575
AT ITER 6270 NEW BEST:: SOT 3444339 SOS 714793 HAS SOPS 714793 HAS SOUS 453790 HAS SOUPS 453790 WITH SCORE 454504.793
AT ITER 6271 NEW BEST:: SOT 3444300 SOS 714715 HAS SOPS 714715 HAS SOUS 453750 HAS SOUPS 453750 WITH SCORE 454464.715
AT ITER 6288 NEW BEST:: SOT 3444298 SOS 714711 HAS SOPS 714711 HAS SOUS 453746 HAS SOUPS 453746 WITH SCORE 454460.711
AT ITER 6309 NEW BEST:: SOT 3444062 SOS 714953 HAS SOPS 714953 HAS SOUS 453690 HAS SOUPS 453690 WITH SCORE 454404.953
AT ITER 6325 NEW BEST:: SOT 3444062 SOS 715133 HAS SOPS 715133 HAS SOUS 453689 HAS SOUPS 453689 WITH SCORE 454404.133
AT ITER 6326 NEW BEST:: SOT 3444004 SOS 715075 HAS SOPS 715075 HAS SOUS 453631 HAS SOUPS 453631 WITH SCORE 454346.075
AT ITER 6330 NEW BEST:: SOT 3443436 SOS 714303 HAS SOPS 714303 HAS SOUS 452961 HAS SOUPS 452961 WITH SCORE 453675.303
AT ITER 6338 NEW BEST:: SOT 3443138 SOS 713863 HAS SOPS 713863 HAS SOUS 452729 HAS SOUPS 452729 WITH SCORE 453442.863
AT ITER 6383 NEW BEST:: SOT 3442980 SOS 712359 HAS SOPS 712359 HAS SOUS 452353 HAS SOUPS 452353 WITH SCORE 453065.359
AT ITER 6399 NEW BEST:: SOT 3442881 SOS 712161 HAS SOPS 712161 HAS SOUS 452155 HAS SOUPS 452155 WITH SCORE 452867.161
AT ITER 6408 NEW BEST:: SOT 3442761 SOS 712101 HAS SOPS 712101 HAS SOUS 452095 HAS SOUPS 452095 WITH SCORE 452807.101
AT ITER 6417 NEW BEST:: SOT 3442761 SOS 712059 HAS SOPS 712059 HAS SOUS 452081 HAS SOUPS 452081 WITH SCORE 452793.059
AT ITER 6423 NEW BEST:: SOT 3441303 SOS 710182 HAS SOPS 710182 HAS SOUS 450501 HAS SOUPS 450501 WITH SCORE 451211.182
AT ITER 6430 NEW BEST:: SOT 3441241 SOS 710058 HAS SOPS 710058 HAS SOUS 450470 HAS SOUPS 450470 WITH SCORE 451180.058
AT ITER 6433 NEW BEST:: SOT 3441235 SOS 710046 HAS SOPS 710046 HAS SOUS 450464 HAS SOUPS 450464 WITH SCORE 451174.046
AT ITER 6450 NEW BEST:: SOT 3441235 SOS 710217 HAS SOPS 710217 HAS SOUS 450460 HAS SOUPS 450460 WITH SCORE 451170.217
AT ITER 6451 NEW BEST:: SOT 3441237 SOS 710221 HAS SOPS 710221 HAS SOUS 450388 HAS SOUPS 450388 WITH SCORE 451098.221
AT ITER 6475 NEW BEST:: SOT 3441153 SOS 710053 HAS SOPS 710053 HAS SOUS 450220 HAS SOUPS 450220 WITH SCORE 450930.053
AT ITER 6490 NEW BEST:: SOT 3441085 SOS 709917 HAS SOPS 709917 HAS SOUS 450084 HAS SOUPS 450084 WITH SCORE 450793.917
AT ITER 6497 NEW BEST:: SOT 3441015 SOS 709777 HAS SOPS 709777 HAS SOUS 449979 HAS SOUPS 449979 WITH SCORE 450688.777
AT ITER 6500 NEW BEST:: SOT 3440781 SOS 709911 HAS SOPS 709911 HAS SOUS 449511 HAS SOUPS 449511 WITH SCORE 450220.911
AT ITER 6501 NEW BEST:: SOT 3440589 SOS 709747 HAS SOPS 709747 HAS SOUS 449347 HAS SOUPS 449347 WITH SCORE 450056.747
AT ITER 6518 NEW BEST:: SOT 3440551 SOS 709671 HAS SOPS 709671 HAS SOUS 449271 HAS SOUPS 449271 WITH SCORE 449980.671
AT ITER 6531 NEW BEST:: SOT 3440485 SOS 709341 HAS SOPS 709341 HAS SOUS 449139 HAS SOUPS 449139 WITH SCORE 449848.341
AT ITER 6575 NEW BEST:: SOT 3440460 SOS 709316 HAS SOPS 709316 HAS SOUS 449114 HAS SOUPS 449114 WITH SCORE 449823.316
AT ITER 6601 NEW BEST:: SOT 3440314 SOS 707909 HAS SOPS 707909 HAS SOUS 448779 HAS SOUPS 448779 WITH SCORE 449486.909
AT ITER 6602 NEW BEST:: SOT 3440295 SOS 707757 HAS SOPS 707757 HAS SOUS 448760 HAS SOUPS 448760 WITH SCORE 449467.757
AT ITER 6651 NEW BEST:: SOT 3439996 SOS 707458 HAS SOPS 707458 HAS SOUS 448461 HAS SOUPS 448461 WITH SCORE 449168.458
AT ITER 6669 NEW BEST:: SOT 3439839 SOS 707464 HAS SOPS 707464 HAS SOUS 448414 HAS SOUPS 448414 WITH SCORE 449121.464
AT ITER 6706 NEW BEST:: SOT 3439746 SOS 707278 HAS SOPS 707278 HAS SOUS 448228 HAS SOUPS 448228 WITH SCORE 448935.278
AT ITER 6711 NEW BEST:: SOT 3439531 SOS 707157 HAS SOPS 707157 HAS SOUS 448125 HAS SOUPS 448125 WITH SCORE 448832.157
AT ITER 6722 NEW BEST:: SOT 3439488 SOS 707071 HAS SOPS 707071 HAS SOUS 448039 HAS SOUPS 448039 WITH SCORE 448746.071
AT ITER 6727 NEW BEST:: SOT 3439488 SOS 707010 HAS SOPS 707010 HAS SOUS 447978 HAS SOUPS 447978 WITH SCORE 448685.01
AT ITER 6733 NEW BEST:: SOT 3439488 SOS 707010 HAS SOPS 707010 HAS SOUS 447892 HAS SOUPS 447892 WITH SCORE 448599.01
AT ITER 6739 NEW BEST:: SOT 3439432 SOS 706898 HAS SOPS 706898 HAS SOUS 447808 HAS SOUPS 447808 WITH SCORE 448514.898
AT ITER 6754 NEW BEST:: SOT 3439432 SOS 706235 HAS SOPS 706235 HAS SOUS 447587 HAS SOUPS 447587 WITH SCORE 448293.235
AT ITER 6763 NEW BEST:: SOT 3439326 SOS 706007 HAS SOPS 706007 HAS SOUS 447359 HAS SOUPS 447359 WITH SCORE 448065.007
AT ITER 6785 NEW BEST:: SOT 3439234 SOS 704788 HAS SOPS 704788 HAS SOUS 447175 HAS SOUPS 447175 WITH SCORE 447879.788
AT ITER 6817 NEW BEST:: SOT 3439153 SOS 704775 HAS SOPS 704775 HAS SOUS 447162 HAS SOUPS 447162 WITH SCORE 447866.775
AT ITER 6846 NEW BEST:: SOT 3439100 SOS 704749 HAS SOPS 704749 HAS SOUS 447136 HAS SOUPS 447136 WITH SCORE 447840.749
AT ITER 6889 NEW BEST:: SOT 3439100 SOS 704395 HAS SOPS 704395 HAS SOUS 447136 HAS SOUPS 447136 WITH SCORE 447840.395
AT ITER 6929 NEW BEST:: SOT 3439052 SOS 704299 HAS SOPS 704299 HAS SOUS 447040 HAS SOUPS 447040 WITH SCORE 447744.299
AT ITER 6959 NEW BEST:: SOT 3439052 SOS 704658 HAS SOPS 704658 HAS SOUS 447039 HAS SOUPS 447039 WITH SCORE 447743.658
AT ITER 7056 NEW BEST:: SOT 3439073 SOS 704366 HAS SOPS 704366 HAS SOUS 447032 HAS SOUPS 447032 WITH SCORE 447736.366
AT ITER 7057 NEW BEST:: SOT 3438834 SOS 704557 HAS SOPS 704557 HAS SOUS 446934 HAS SOUPS 446934 WITH SCORE 447638.557
AT ITER 7136 NEW BEST:: SOT 3438358 SOS 704434 HAS SOPS 704434 HAS SOUS 446719 HAS SOUPS 446719 WITH SCORE 447423.434
AT ITER 7178 NEW BEST:: SOT 3438331 SOS 704380 HAS SOPS 704380 HAS SOUS 446665 HAS SOUPS 446665 WITH SCORE 447369.38
AT ITER 7190 NEW BEST:: SOT 3438322 SOS 703468 HAS SOPS 703468 HAS SOUS 446363 HAS SOUPS 446363 WITH SCORE 447066.468
AT ITER 7273 NEW BEST:: SOT 3438128 SOS 701140 HAS SOPS 701140 HAS SOUS 445781 HAS SOUPS 445781 WITH SCORE 446482.14
AT ITER 7292 NEW BEST:: SOT 3438128 SOS 700669 HAS SOPS 700669 HAS SOUS 445781 HAS SOUPS 445781 WITH SCORE 446481.669
AT ITER 7312 NEW BEST:: SOT 3438074 SOS 700561 HAS SOPS 700561 HAS SOUS 445673 HAS SOUPS 445673 WITH SCORE 446373.561
AT ITER 7317 NEW BEST:: SOT 3437278 SOS 699659 HAS SOPS 699659 HAS SOUS 444965 HAS SOUPS 444965 WITH SCORE 445664.659
AT ITER 7372 NEW BEST:: SOT 3437278 SOS 699146 HAS SOPS 699146 HAS SOUS 444794 HAS SOUPS 444794 WITH SCORE 445493.146
AT ITER 7375 NEW BEST:: SOT 3437210 SOS 700457 HAS SOPS 700457 HAS SOUS 444773 HAS SOUPS 444773 WITH SCORE 445473.457
AT ITER 7384 NEW BEST:: SOT 3436810 SOS 700147 HAS SOPS 700147 HAS SOUS 444463 HAS SOUPS 444463 WITH SCORE 445163.147
AT ITER 7426 NEW BEST:: SOT 3436629 SOS 700146 HAS SOPS 700146 HAS SOUS 444462 HAS SOUPS 444462 WITH SCORE 445162.146
AT ITER 7459 NEW BEST:: SOT 3436615 SOS 700118 HAS SOPS 700118 HAS SOUS 444448 HAS SOUPS 444448 WITH SCORE 445148.118
AT ITER 7489 NEW BEST:: SOT 3436690 SOS 699661 HAS SOPS 699661 HAS SOUS 444390 HAS SOUPS 444390 WITH SCORE 445089.661
AT ITER 7500 NEW BEST:: SOT 3436597 SOS 699659 HAS SOPS 699659 HAS SOUS 444297 HAS SOUPS 444297 WITH SCORE 444996.659
AT ITER 7547 NEW BEST:: SOT 3436560 SOS 698602 HAS SOPS 698602 HAS SOUS 444005 HAS SOUPS 444005 WITH SCORE 444703.602
AT ITER 7644 NEW BEST:: SOT 3436305 SOS 698769 HAS SOPS 698769 HAS SOUS 443447 HAS SOUPS 443447 WITH SCORE 444145.769
AT ITER 7652 NEW BEST:: SOT 3436238 SOS 698635 HAS SOPS 698635 HAS SOUS 443407 HAS SOUPS 443407 WITH SCORE 444105.635
AT ITER 7685 NEW BEST:: SOT 3436237 SOS 698633 HAS SOPS 698633 HAS SOUS 443405 HAS SOUPS 443405 WITH SCORE 444103.633
AT ITER 7739 NEW BEST:: SOT 3436237 SOS 698503 HAS SOPS 698503 HAS SOUS 443405 HAS SOUPS 443405 WITH SCORE 444103.503
AT ITER 7766 NEW BEST:: SOT 3436136 SOS 698455 HAS SOPS 698455 HAS SOUS 443256 HAS SOUPS 443256 WITH SCORE 443954.455
AT ITER 7770 NEW BEST:: SOT 3436084 SOS 698380 HAS SOPS 698380 HAS SOUS 443181 HAS SOUPS 443181 WITH SCORE 443879.38
AT ITER 7802 NEW BEST:: SOT 3435929 SOS 698884 HAS SOPS 698884 HAS SOUS 443086 HAS SOUPS 443086 WITH SCORE 443784.884
AT ITER 7812 NEW BEST:: SOT 3435832 SOS 698690 HAS SOPS 698690 HAS SOUS 442957 HAS SOUPS 442957 WITH SCORE 443655.69
AT ITER 7816 NEW BEST:: SOT 3435793 SOS 698612 HAS SOPS 698612 HAS SOUS 442879 HAS SOUPS 442879 WITH SCORE 443577.612
AT ITER 7818 NEW BEST:: SOT 3435793 SOS 697820 HAS SOPS 697820 HAS SOUS 442855 HAS SOUPS 442855 WITH SCORE 443552.82
AT ITER 7827 NEW BEST:: SOT 3435306 SOS 697088 HAS SOPS 697088 HAS SOUS 442522 HAS SOUPS 442522 WITH SCORE 443219.088
AT ITER 7875 NEW BEST:: SOT 3434901 SOS 697036 HAS SOPS 697036 HAS SOUS 441930 HAS SOUPS 441930 WITH SCORE 442627.036
AT ITER 7878 NEW BEST:: SOT 3434552 SOS 696683 HAS SOPS 696683 HAS SOUS 441580 HAS SOUPS 441580 WITH SCORE 442276.683
AT ITER 7882 NEW BEST:: SOT 3434506 SOS 696775 HAS SOPS 696775 HAS SOUS 441534 HAS SOUPS 441534 WITH SCORE 442230.775
AT ITER 7903 NEW BEST:: SOT 3434398 SOS 696375 HAS SOPS 696375 HAS SOUS 441473 HAS SOUPS 441473 WITH SCORE 442169.375
AT ITER 7925 NEW BEST:: SOT 3434289 SOS 696157 HAS SOPS 696157 HAS SOUS 441255 HAS SOUPS 441255 WITH SCORE 441951.157
AT ITER 7950 NEW BEST:: SOT 3434269 SOS 696117 HAS SOPS 696117 HAS SOUS 441233 HAS SOUPS 441233 WITH SCORE 441929.117
AT ITER 7961 NEW BEST:: SOT 3434269 SOS 696085 HAS SOPS 696085 HAS SOUS 441201 HAS SOUPS 441201 WITH SCORE 441897.085
AT ITER 7987 NEW BEST:: SOT 3434269 SOS 695914 HAS SOPS 695914 HAS SOUS 441201 HAS SOUPS 441201 WITH SCORE 441896.914
AT ITER 8001 NEW BEST:: SOT 3434269 SOS 695914 HAS SOPS 695914 HAS SOUS 441054 HAS SOUPS 441054 WITH SCORE 441749.914
AT ITER 8002 NEW BEST:: SOT 3434107 SOS 695590 HAS SOPS 695590 HAS SOUS 440730 HAS SOUPS 440730 WITH SCORE 441425.59
AT ITER 8027 NEW BEST:: SOT 3434151 SOS 695338 HAS SOPS 695338 HAS SOUS 440628 HAS SOUPS 440628 WITH SCORE 441323.338
AT ITER 8029 NEW BEST:: SOT 3434165 SOS 695324 HAS SOPS 695324 HAS SOUS 440628 HAS SOUPS 440628 WITH SCORE 441323.324
AT ITER 8057 NEW BEST:: SOT 3434066 SOS 694829 HAS SOPS 694829 HAS SOUS 440430 HAS SOUPS 440430 WITH SCORE 441124.829
AT ITER 8100 NEW BEST:: SOT 3434022 SOS 695151 HAS SOPS 695151 HAS SOUS 440385 HAS SOUPS 440385 WITH SCORE 441080.151
AT ITER 8115 NEW BEST:: SOT 3433585 SOS 695090 HAS SOPS 695090 HAS SOUS 440219 HAS SOUPS 440219 WITH SCORE 440914.09
AT ITER 8121 NEW BEST:: SOT 3433650 SOS 695040 HAS SOPS 695040 HAS SOUS 440169 HAS SOUPS 440169 WITH SCORE 440864.04
AT ITER 8165 NEW BEST:: SOT 3433146 SOS 694560 HAS SOPS 694560 HAS SOUS 439425 HAS SOUPS 439425 WITH SCORE 440119.56
AT ITER 8211 NEW BEST:: SOT 3433228 SOS 694586 HAS SOPS 694586 HAS SOUS 439391 HAS SOUPS 439391 WITH SCORE 440085.586
AT ITER 8216 NEW BEST:: SOT 3432979 SOS 693588 HAS SOPS 693588 HAS SOUS 439164 HAS SOUPS 439164 WITH SCORE 439857.588
AT ITER 8272 NEW BEST:: SOT 3432460 SOS 693642 HAS SOPS 693642 HAS SOUS 439098 HAS SOUPS 439098 WITH SCORE 439791.642
AT ITER 8275 NEW BEST:: SOT 3432469 SOS 693660 HAS SOPS 693660 HAS SOUS 438692 HAS SOUPS 438692 WITH SCORE 439385.66
AT ITER 8286 NEW BEST:: SOT 3432339 SOS 693400 HAS SOPS 693400 HAS SOUS 438432 HAS SOUPS 438432 WITH SCORE 439125.4
AT ITER 8405 NEW BEST:: SOT 3432174 SOS 693490 HAS SOPS 693490 HAS SOUS 438407 HAS SOUPS 438407 WITH SCORE 439100.49
AT ITER 8415 NEW BEST:: SOT 3432172 SOS 693486 HAS SOPS 693486 HAS SOUS 438403 HAS SOUPS 438403 WITH SCORE 439096.486
AT ITER 8418 NEW BEST:: SOT 3432148 SOS 693438 HAS SOPS 693438 HAS SOUS 438379 HAS SOUPS 438379 WITH SCORE 439072.438
AT ITER 8426 NEW BEST:: SOT 3432099 SOS 692180 HAS SOPS 692180 HAS SOUS 438370 HAS SOUPS 438370 WITH SCORE 439062.18
AT ITER 8481 NEW BEST:: SOT 3432082 SOS 691980 HAS SOPS 691980 HAS SOUS 438187 HAS SOUPS 438187 WITH SCORE 438878.98
AT ITER 8515 NEW BEST:: SOT 3431936 SOS 691688 HAS SOPS 691688 HAS SOUS 437553 HAS SOUPS 437553 WITH SCORE 438244.688
AT ITER 8520 NEW BEST:: SOT 3431657 SOS 691388 HAS SOPS 691388 HAS SOUS 437274 HAS SOUPS 437274 WITH SCORE 437965.388
AT ITER 8549 NEW BEST:: SOT 3431239 SOS 686822 HAS SOPS 686822 HAS SOUS 436897 HAS SOUPS 436897 WITH SCORE 437583.822
AT ITER 8607 NEW BEST:: SOT 3431234 SOS 686797 HAS SOPS 686797 HAS SOUS 436887 HAS SOUPS 436887 WITH SCORE 437573.797
AT ITER 8611 NEW BEST:: SOT 3431037 SOS 688271 HAS SOPS 688271 HAS SOUS 436591 HAS SOUPS 436591 WITH SCORE 437279.271
AT ITER 8703 NEW BEST:: SOT 3431037 SOS 688271 HAS SOPS 688271 HAS SOUS 436545 HAS SOUPS 436545 WITH SCORE 437233.271
AT ITER 8722 NEW BEST:: SOT 3431037 SOS 688221 HAS SOPS 688221 HAS SOUS 436545 HAS SOUPS 436545 WITH SCORE 437233.221
AT ITER 8734 NEW BEST:: SOT 3431037 SOS 688390 HAS SOPS 688390 HAS SOUS 436544 HAS SOUPS 436544 WITH SCORE 437232.39
AT ITER 8779 NEW BEST:: SOT 3430761 SOS 688114 HAS SOPS 688114 HAS SOUS 436268 HAS SOUPS 436268 WITH SCORE 436956.114
AT ITER 8810 NEW BEST:: SOT 3430715 SOS 688022 HAS SOPS 688022 HAS SOUS 436226 HAS SOUPS 436226 WITH SCORE 436914.022
AT ITER 8812 NEW BEST:: SOT 3430644 SOS 688089 HAS SOPS 688089 HAS SOUS 436225 HAS SOUPS 436225 WITH SCORE 436913.089
AT ITER 8872 NEW BEST:: SOT 3430676 SOS 686173 HAS SOPS 686173 HAS SOUS 436069 HAS SOUPS 436069 WITH SCORE 436755.173
AT ITER 8887 NEW BEST:: SOT 3430478 SOS 686019 HAS SOPS 686019 HAS SOUS 436047 HAS SOUPS 436047 WITH SCORE 436733.019
AT ITER 8895 NEW BEST:: SOT 3430478 SOS 685859 HAS SOPS 685859 HAS SOUS 435887 HAS SOUPS 435887 WITH SCORE 436572.859
AT ITER 8906 NEW BEST:: SOT 3430330 SOS 685563 HAS SOPS 685563 HAS SOUS 435864 HAS SOUPS 435864 WITH SCORE 436549.563
AT ITER 8929 NEW BEST:: SOT 3430296 SOS 685495 HAS SOPS 685495 HAS SOUS 435850 HAS SOUPS 435850 WITH SCORE 436535.495
AT ITER 8952 NEW BEST:: SOT 3430088 SOS 685079 HAS SOPS 685079 HAS SOUS 435709 HAS SOUPS 435709 WITH SCORE 436394.079
AT ITER 8957 NEW BEST:: SOT 3429834 SOS 683362 HAS SOPS 683362 HAS SOUS 435455 HAS SOUPS 435455 WITH SCORE 436138.362
AT ITER 8981 NEW BEST:: SOT 3429805 SOS 683304 HAS SOPS 683304 HAS SOUS 435397 HAS SOUPS 435397 WITH SCORE 436080.304
AT ITER 9009 NEW BEST:: SOT 3429773 SOS 683240 HAS SOPS 683240 HAS SOUS 435333 HAS SOUPS 435333 WITH SCORE 436016.24
AT ITER 9057 NEW BEST:: SOT 3429683 SOS 683082 HAS SOPS 683082 HAS SOUS 435226 HAS SOUPS 435226 WITH SCORE 435909.082
AT ITER 9088 NEW BEST:: SOT 3429609 SOS 683012 HAS SOPS 683012 HAS SOUS 435152 HAS SOUPS 435152 WITH SCORE 435835.012
AT ITER 9099 NEW BEST:: SOT 3429598 SOS 683012 HAS SOPS 683012 HAS SOUS 435141 HAS SOUPS 435141 WITH SCORE 435824.012
AT ITER 9100 NEW BEST:: SOT 3429573 SOS 682962 HAS SOPS 682962 HAS SOUS 435091 HAS SOUPS 435091 WITH SCORE 435773.962
AT ITER 9162 NEW BEST:: SOT 3429456 SOS 682728 HAS SOPS 682728 HAS SOUS 434969 HAS SOUPS 434969 WITH SCORE 435651.728
AT ITER 9172 NEW BEST:: SOT 3429446 SOS 682718 HAS SOPS 682718 HAS SOUS 434959 HAS SOUPS 434959 WITH SCORE 435641.718
AT ITER 9193 NEW BEST:: SOT 3429412 SOS 682867 HAS SOPS 682867 HAS SOUS 434881 HAS SOUPS 434881 WITH SCORE 435563.867
AT ITER 9196 NEW BEST:: SOT 3429407 SOS 682857 HAS SOPS 682857 HAS SOUS 434871 HAS SOUPS 434871 WITH SCORE 435553.857
AT ITER 9205 NEW BEST:: SOT 3429402 SOS 682842 HAS SOPS 682842 HAS SOUS 434861 HAS SOUPS 434861 WITH SCORE 435543.842
AT ITER 9243 NEW BEST:: SOT 3429402 SOS 682788 HAS SOPS 682788 HAS SOUS 434843 HAS SOUPS 434843 WITH SCORE 435525.788
AT ITER 9295 NEW BEST:: SOT 3429388 SOS 682760 HAS SOPS 682760 HAS SOUS 434815 HAS SOUPS 434815 WITH SCORE 435497.76
AT ITER 9352 NEW BEST:: SOT 3429341 SOS 681114 HAS SOPS 681114 HAS SOUS 434646 HAS SOUPS 434646 WITH SCORE 435327.114
AT ITER 9356 NEW BEST:: SOT 3429340 SOS 681112 HAS SOPS 681112 HAS SOUS 434644 HAS SOUPS 434644 WITH SCORE 435325.112
AT ITER 9395 NEW BEST:: SOT 3429340 SOS 681381 HAS SOPS 681381 HAS SOUS 434643 HAS SOUPS 434643 WITH SCORE 435324.381
AT ITER 9398 NEW BEST:: SOT 3429082 SOS 681034 HAS SOPS 681034 HAS SOUS 434296 HAS SOUPS 434296 WITH SCORE 434977.034
AT ITER 9431 NEW BEST:: SOT 3429016 SOS 680831 HAS SOPS 680831 HAS SOUS 434233 HAS SOUPS 434233 WITH SCORE 434913.831
AT ITER 9498 NEW BEST:: SOT 3429015 SOS 680829 HAS SOPS 680829 HAS SOUS 434231 HAS SOUPS 434231 WITH SCORE 434911.829
AT ITER 9518 NEW BEST:: SOT 3429012 SOS 680823 HAS SOPS 680823 HAS SOUS 434225 HAS SOUPS 434225 WITH SCORE 434905.823
AT ITER 9582 NEW BEST:: SOT 3428672 SOS 681209 HAS SOPS 681209 HAS SOUS 433986 HAS SOUPS 433986 WITH SCORE 434667.209
AT ITER 9583 NEW BEST:: SOT 3428672 SOS 680594 HAS SOPS 680594 HAS SOUS 433781 HAS SOUPS 433781 WITH SCORE 434461.594
AT ITER 9584 NEW BEST:: SOT 3428671 SOS 680592 HAS SOPS 680592 HAS SOUS 433779 HAS SOUPS 433779 WITH SCORE 434459.592
AT ITER 9675 NEW BEST:: SOT 3428633 SOS 680516 HAS SOPS 680516 HAS SOUS 433668 HAS SOUPS 433668 WITH SCORE 434348.516
AT ITER 9693 NEW BEST:: SOT 3428633 SOS 680516 HAS SOPS 680516 HAS SOUS 433614 HAS SOUPS 433614 WITH SCORE 434294.516
AT ITER 9747 NEW BEST:: SOT 3429035 SOS 676202 HAS SOPS 676202 HAS SOUS 433593 HAS SOUPS 433593 WITH SCORE 434269.202
AT ITER 9820 NEW BEST:: SOT 3428861 SOS 676176 HAS SOPS 676176 HAS SOUS 433557 HAS SOUPS 433557 WITH SCORE 434233.176
AT ITER 9923 NEW BEST:: SOT 3428819 SOS 676092 HAS SOPS 676092 HAS SOUS 433473 HAS SOUPS 433473 WITH SCORE 434149.092
AT ITER 9927 NEW BEST:: SOT 3428753 SOS 675861 HAS SOPS 675861 HAS SOUS 433374 HAS SOUPS 433374 WITH SCORE 434049.861
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14269240 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123380 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="DLCround-PT-05b"
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 DLCround-PT-05b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484500664"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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