fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r011-oct2-167813600300512
Last Updated
May 14, 2023

About the Execution of Smart+red for AutoFlight-PT-48b

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
3874.752 3600000.00 3672439.00 144.80 [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.r011-oct2-167813600300512.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutoFlight-PT-48b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600300512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 8.2K Feb 25 18:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 25 18:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 18:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 18:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 18:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 18:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 18:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 18:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 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 956K 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 1678737820805

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=AutoFlight-PT-48b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 20:03:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 20:03:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 20:03:44] [INFO ] Load time of PNML (sax parser for PT used): 256 ms
[2023-03-13 20:03:44] [INFO ] Transformed 3950 places.
[2023-03-13 20:03:44] [INFO ] Transformed 3936 transitions.
[2023-03-13 20:03:44] [INFO ] Found NUPN structural information;
[2023-03-13 20:03:44] [INFO ] Parsed PT model containing 3950 places and 3936 transitions and 9104 arcs in 531 ms.
[2023-03-13 20:03:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3950 places, 3936 transitions and 9104 arcs took 27 ms.
Total runtime 634 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 48b
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: 3950 places, 3936 transitions, 9104 arcs.
AT ITER 0 NEW BEST:: SOT 8331809 SOS 1138169 HAS SOPS 1138169 HAS SOUS 1058789 HAS SOUPS 1058789 WITH SCORE 1059927.169
AT ITER 17 NEW BEST:: SOT 8331809 SOS 1137915 HAS SOPS 1137915 HAS SOUS 1058662 HAS SOUPS 1058662 WITH SCORE 1059799.915
AT ITER 45 NEW BEST:: SOT 8331782 SOS 1137861 HAS SOPS 1137861 HAS SOUS 1058608 HAS SOUPS 1058608 WITH SCORE 1059745.861
AT ITER 88 NEW BEST:: SOT 8331634 SOS 1137274 HAS SOPS 1137274 HAS SOUS 1058460 HAS SOUPS 1058460 WITH SCORE 1059597.274
AT ITER 110 NEW BEST:: SOT 8331703 SOS 1137221 HAS SOPS 1137221 HAS SOUS 1058407 HAS SOUPS 1058407 WITH SCORE 1059544.221
AT ITER 169 NEW BEST:: SOT 8331630 SOS 1137220 HAS SOPS 1137220 HAS SOUS 1058406 HAS SOUPS 1058406 WITH SCORE 1059543.22
AT ITER 174 NEW BEST:: SOT 8331543 SOS 1137210 HAS SOPS 1137210 HAS SOUS 1058406 HAS SOUPS 1058406 WITH SCORE 1059543.21
AT ITER 181 NEW BEST:: SOT 8331428 SOS 1137530 HAS SOPS 1137530 HAS SOUS 1058291 HAS SOUPS 1058291 WITH SCORE 1059428.53
AT ITER 197 NEW BEST:: SOT 8330858 SOS 1136721 HAS SOPS 1136721 HAS SOUS 1057390 HAS SOUPS 1057390 WITH SCORE 1058526.721
AT ITER 220 NEW BEST:: SOT 8330858 SOS 1136721 HAS SOPS 1136721 HAS SOUS 1057235 HAS SOUPS 1057235 WITH SCORE 1058371.721
AT ITER 238 NEW BEST:: SOT 8330727 SOS 1136459 HAS SOPS 1136459 HAS SOUS 1056643 HAS SOUPS 1056643 WITH SCORE 1057779.459
AT ITER 276 NEW BEST:: SOT 8330724 SOS 1136457 HAS SOPS 1136457 HAS SOUS 1056641 HAS SOUPS 1056641 WITH SCORE 1057777.457
AT ITER 284 NEW BEST:: SOT 8330504 SOS 1136017 HAS SOPS 1136017 HAS SOUS 1056421 HAS SOUPS 1056421 WITH SCORE 1057557.017
AT ITER 299 NEW BEST:: SOT 8330504 SOS 1136017 HAS SOPS 1136017 HAS SOUS 1056420 HAS SOUPS 1056420 WITH SCORE 1057556.017
AT ITER 304 NEW BEST:: SOT 8330309 SOS 1135822 HAS SOPS 1135822 HAS SOUS 1056225 HAS SOUPS 1056225 WITH SCORE 1057360.822
AT ITER 306 NEW BEST:: SOT 8330344 SOS 1135758 HAS SOPS 1135758 HAS SOUS 1056161 HAS SOUPS 1056161 WITH SCORE 1057296.758
AT ITER 312 NEW BEST:: SOT 8330343 SOS 1135757 HAS SOPS 1135757 HAS SOUS 1056160 HAS SOUPS 1056160 WITH SCORE 1057295.757
AT ITER 336 NEW BEST:: SOT 8330343 SOS 1135748 HAS SOPS 1135748 HAS SOUS 1056160 HAS SOUPS 1056160 WITH SCORE 1057295.748
AT ITER 376 NEW BEST:: SOT 8330263 SOS 1135588 HAS SOPS 1135588 HAS SOUS 1056080 HAS SOUPS 1056080 WITH SCORE 1057215.588
AT ITER 419 NEW BEST:: SOT 8329929 SOS 1135254 HAS SOPS 1135254 HAS SOUS 1055746 HAS SOUPS 1055746 WITH SCORE 1056881.254
AT ITER 431 NEW BEST:: SOT 8329928 SOS 1135253 HAS SOPS 1135253 HAS SOUS 1055745 HAS SOUPS 1055745 WITH SCORE 1056880.253
AT ITER 443 NEW BEST:: SOT 8329928 SOS 1135215 HAS SOPS 1135215 HAS SOUS 1055707 HAS SOUPS 1055707 WITH SCORE 1056842.215
AT ITER 478 NEW BEST:: SOT 8329836 SOS 1135179 HAS SOPS 1135179 HAS SOUS 1055707 HAS SOUPS 1055707 WITH SCORE 1056842.179
AT ITER 492 NEW BEST:: SOT 8329788 SOS 1135131 HAS SOPS 1135131 HAS SOUS 1055659 HAS SOUPS 1055659 WITH SCORE 1056794.131
AT ITER 527 NEW BEST:: SOT 8329787 SOS 1135130 HAS SOPS 1135130 HAS SOUS 1055658 HAS SOUPS 1055658 WITH SCORE 1056793.13
AT ITER 548 NEW BEST:: SOT 8329716 SOS 1134988 HAS SOPS 1134988 HAS SOUS 1055516 HAS SOUPS 1055516 WITH SCORE 1056650.988
AT ITER 558 NEW BEST:: SOT 8329716 SOS 1134988 HAS SOPS 1134988 HAS SOUS 1055513 HAS SOUPS 1055513 WITH SCORE 1056647.988
AT ITER 562 NEW BEST:: SOT 8329549 SOS 1134821 HAS SOPS 1134821 HAS SOUS 1055346 HAS SOUPS 1055346 WITH SCORE 1056480.821
AT ITER 647 NEW BEST:: SOT 8329441 SOS 1134502 HAS SOPS 1134502 HAS SOUS 1055027 HAS SOUPS 1055027 WITH SCORE 1056161.502
AT ITER 659 NEW BEST:: SOT 8329441 SOS 1134428 HAS SOPS 1134428 HAS SOUS 1054953 HAS SOUPS 1054953 WITH SCORE 1056087.428
AT ITER 688 NEW BEST:: SOT 8329140 SOS 1133826 HAS SOPS 1133826 HAS SOUS 1054199 HAS SOUPS 1054199 WITH SCORE 1055332.826
AT ITER 715 NEW BEST:: SOT 8328788 SOS 1133405 HAS SOPS 1133405 HAS SOUS 1053426 HAS SOUPS 1053426 WITH SCORE 1054559.405
AT ITER 716 NEW BEST:: SOT 8328788 SOS 1133297 HAS SOPS 1133297 HAS SOUS 1053318 HAS SOUPS 1053318 WITH SCORE 1054451.297
AT ITER 729 NEW BEST:: SOT 8328769 SOS 1133395 HAS SOPS 1133395 HAS SOUS 1053241 HAS SOUPS 1053241 WITH SCORE 1054374.395
AT ITER 736 NEW BEST:: SOT 8328643 SOS 1133269 HAS SOPS 1133269 HAS SOUS 1053115 HAS SOUPS 1053115 WITH SCORE 1054248.269
AT ITER 762 NEW BEST:: SOT 8328669 SOS 1133028 HAS SOPS 1133028 HAS SOUS 1052874 HAS SOUPS 1052874 WITH SCORE 1054007.028
AT ITER 763 NEW BEST:: SOT 8328669 SOS 1133021 HAS SOPS 1133021 HAS SOUS 1052867 HAS SOUPS 1052867 WITH SCORE 1054000.021
AT ITER 781 NEW BEST:: SOT 8328648 SOS 1132979 HAS SOPS 1132979 HAS SOUS 1052825 HAS SOUPS 1052825 WITH SCORE 1053957.979
AT ITER 787 NEW BEST:: SOT 8328487 SOS 1132657 HAS SOPS 1132657 HAS SOUS 1052230 HAS SOUPS 1052230 WITH SCORE 1053362.657
AT ITER 788 NEW BEST:: SOT 8328487 SOS 1132638 HAS SOPS 1132638 HAS SOUS 1052211 HAS SOUPS 1052211 WITH SCORE 1053343.638
AT ITER 794 NEW BEST:: SOT 8328487 SOS 1132610 HAS SOPS 1132610 HAS SOUS 1052183 HAS SOUPS 1052183 WITH SCORE 1053315.61
AT ITER 808 NEW BEST:: SOT 8328387 SOS 1132509 HAS SOPS 1132509 HAS SOUS 1052082 HAS SOUPS 1052082 WITH SCORE 1053214.509
AT ITER 818 NEW BEST:: SOT 8328279 SOS 1132427 HAS SOPS 1132427 HAS SOUS 1052000 HAS SOUPS 1052000 WITH SCORE 1053132.427
AT ITER 826 NEW BEST:: SOT 8328247 SOS 1132395 HAS SOPS 1132395 HAS SOUS 1051952 HAS SOUPS 1051952 WITH SCORE 1053084.395
AT ITER 874 NEW BEST:: SOT 8328247 SOS 1132237 HAS SOPS 1132237 HAS SOUS 1051794 HAS SOUPS 1051794 WITH SCORE 1052926.237
AT ITER 883 NEW BEST:: SOT 8328057 SOS 1131857 HAS SOPS 1131857 HAS SOUS 1051108 HAS SOUPS 1051108 WITH SCORE 1052239.857
AT ITER 889 NEW BEST:: SOT 8328057 SOS 1131700 HAS SOPS 1131700 HAS SOUS 1050951 HAS SOUPS 1050951 WITH SCORE 1052082.7
AT ITER 902 NEW BEST:: SOT 8328059 SOS 1131547 HAS SOPS 1131547 HAS SOUS 1050798 HAS SOUPS 1050798 WITH SCORE 1051929.547
AT ITER 972 NEW BEST:: SOT 8327811 SOS 1131390 HAS SOPS 1131390 HAS SOUS 1050550 HAS SOUPS 1050550 WITH SCORE 1051681.39
AT ITER 974 NEW BEST:: SOT 8327405 SOS 1131289 HAS SOPS 1131289 HAS SOUS 1050296 HAS SOUPS 1050296 WITH SCORE 1051427.289
AT ITER 982 NEW BEST:: SOT 8326885 SOS 1130577 HAS SOPS 1130577 HAS SOUS 1049448 HAS SOUPS 1049448 WITH SCORE 1050578.577
AT ITER 996 NEW BEST:: SOT 8326726 SOS 1130396 HAS SOPS 1130396 HAS SOUS 1049289 HAS SOUPS 1049289 WITH SCORE 1050419.396
AT ITER 1073 NEW BEST:: SOT 8326565 SOS 1130074 HAS SOPS 1130074 HAS SOUS 1049127 HAS SOUPS 1049127 WITH SCORE 1050257.074
AT ITER 1088 NEW BEST:: SOT 8326562 SOS 1130068 HAS SOPS 1130068 HAS SOUS 1048838 HAS SOUPS 1048838 WITH SCORE 1049968.068
AT ITER 1090 NEW BEST:: SOT 8326497 SOS 1129985 HAS SOPS 1129985 HAS SOUS 1048729 HAS SOUPS 1048729 WITH SCORE 1049858.985
AT ITER 1099 NEW BEST:: SOT 8326670 SOS 1129974 HAS SOPS 1129974 HAS SOUS 1048718 HAS SOUPS 1048718 WITH SCORE 1049847.974
AT ITER 1130 NEW BEST:: SOT 8326400 SOS 1129820 HAS SOPS 1129820 HAS SOUS 1048448 HAS SOUPS 1048448 WITH SCORE 1049577.82
AT ITER 1145 NEW BEST:: SOT 8326400 SOS 1129820 HAS SOPS 1129820 HAS SOUS 1048447 HAS SOUPS 1048447 WITH SCORE 1049576.82
AT ITER 1174 NEW BEST:: SOT 8326400 SOS 1129779 HAS SOPS 1129779 HAS SOUS 1048401 HAS SOUPS 1048401 WITH SCORE 1049530.779
AT ITER 1175 NEW BEST:: SOT 8326400 SOS 1129568 HAS SOPS 1129568 HAS SOUS 1048190 HAS SOUPS 1048190 WITH SCORE 1049319.568
AT ITER 1241 NEW BEST:: SOT 8326158 SOS 1129399 HAS SOPS 1129399 HAS SOUS 1048086 HAS SOUPS 1048086 WITH SCORE 1049215.399
AT ITER 1246 NEW BEST:: SOT 8326157 SOS 1129397 HAS SOPS 1129397 HAS SOUS 1048084 HAS SOUPS 1048084 WITH SCORE 1049213.397
AT ITER 1266 NEW BEST:: SOT 8326041 SOS 1129049 HAS SOPS 1129049 HAS SOUS 1047852 HAS SOUPS 1047852 WITH SCORE 1048981.049
AT ITER 1304 NEW BEST:: SOT 8326017 SOS 1129001 HAS SOPS 1129001 HAS SOUS 1047820 HAS SOUPS 1047820 WITH SCORE 1048949.001
AT ITER 1319 NEW BEST:: SOT 8326025 SOS 1128871 HAS SOPS 1128871 HAS SOUS 1047690 HAS SOUPS 1047690 WITH SCORE 1048818.871
AT ITER 1323 NEW BEST:: SOT 8326025 SOS 1128871 HAS SOPS 1128871 HAS SOUS 1047655 HAS SOUPS 1047655 WITH SCORE 1048783.871
AT ITER 1340 NEW BEST:: SOT 8325925 SOS 1128671 HAS SOPS 1128671 HAS SOUS 1047120 HAS SOUPS 1047120 WITH SCORE 1048248.671
AT ITER 1344 NEW BEST:: SOT 8325661 SOS 1128788 HAS SOPS 1128788 HAS SOUS 1047051 HAS SOUPS 1047051 WITH SCORE 1048179.788
AT ITER 1349 NEW BEST:: SOT 8325696 SOS 1129301 HAS SOPS 1129301 HAS SOUS 1046713 HAS SOUPS 1046713 WITH SCORE 1047842.301
AT ITER 1357 NEW BEST:: SOT 8325648 SOS 1129205 HAS SOPS 1129205 HAS SOUS 1046617 HAS SOUPS 1046617 WITH SCORE 1047746.205
AT ITER 1384 NEW BEST:: SOT 8325648 SOS 1129205 HAS SOPS 1129205 HAS SOUS 1046566 HAS SOUPS 1046566 WITH SCORE 1047695.205
AT ITER 1400 NEW BEST:: SOT 8325648 SOS 1129004 HAS SOPS 1129004 HAS SOUS 1046563 HAS SOUPS 1046563 WITH SCORE 1047692.004
AT ITER 1423 NEW BEST:: SOT 8325624 SOS 1128980 HAS SOPS 1128980 HAS SOUS 1046539 HAS SOUPS 1046539 WITH SCORE 1047667.98
AT ITER 1437 NEW BEST:: SOT 8325343 SOS 1128657 HAS SOPS 1128657 HAS SOUS 1046216 HAS SOUPS 1046216 WITH SCORE 1047344.657
AT ITER 1464 NEW BEST:: SOT 8325097 SOS 1128165 HAS SOPS 1128165 HAS SOUS 1045885 HAS SOUPS 1045885 WITH SCORE 1047013.165
AT ITER 1494 NEW BEST:: SOT 8324792 SOS 1127555 HAS SOPS 1127555 HAS SOUS 1045125 HAS SOUPS 1045125 WITH SCORE 1046252.555
AT ITER 1520 NEW BEST:: SOT 8324511 SOS 1126993 HAS SOPS 1126993 HAS SOUS 1044844 HAS SOUPS 1044844 WITH SCORE 1045970.993
AT ITER 1522 NEW BEST:: SOT 8324426 SOS 1126823 HAS SOPS 1126823 HAS SOUS 1044674 HAS SOUPS 1044674 WITH SCORE 1045800.823
AT ITER 1526 NEW BEST:: SOT 8324525 SOS 1127021 HAS SOPS 1127021 HAS SOUS 1044654 HAS SOUPS 1044654 WITH SCORE 1045781.021
AT ITER 1538 NEW BEST:: SOT 8323641 SOS 1127596 HAS SOPS 1127596 HAS SOUS 1044396 HAS SOUPS 1044396 WITH SCORE 1045523.596
AT ITER 1556 NEW BEST:: SOT 8323530 SOS 1127374 HAS SOPS 1127374 HAS SOUS 1044174 HAS SOUPS 1044174 WITH SCORE 1045301.374
AT ITER 1568 NEW BEST:: SOT 8323530 SOS 1127223 HAS SOPS 1127223 HAS SOUS 1044023 HAS SOUPS 1044023 WITH SCORE 1045150.223
AT ITER 1583 NEW BEST:: SOT 8323530 SOS 1127152 HAS SOPS 1127152 HAS SOUS 1043952 HAS SOUPS 1043952 WITH SCORE 1045079.152
AT ITER 1587 NEW BEST:: SOT 8323523 SOS 1127138 HAS SOPS 1127138 HAS SOUS 1043752 HAS SOUPS 1043752 WITH SCORE 1044879.138
AT ITER 1589 NEW BEST:: SOT 8323362 SOS 1126816 HAS SOPS 1126816 HAS SOUS 1043196 HAS SOUPS 1043196 WITH SCORE 1044322.816
AT ITER 1684 NEW BEST:: SOT 8323183 SOS 1126212 HAS SOPS 1126212 HAS SOUS 1043076 HAS SOUPS 1043076 WITH SCORE 1044202.212
AT ITER 1694 NEW BEST:: SOT 8323106 SOS 1126135 HAS SOPS 1126135 HAS SOUS 1042999 HAS SOUPS 1042999 WITH SCORE 1044125.135
AT ITER 1736 NEW BEST:: SOT 8323194 SOS 1126311 HAS SOPS 1126311 HAS SOUS 1042922 HAS SOUPS 1042922 WITH SCORE 1044048.311
AT ITER 1770 NEW BEST:: SOT 8323204 SOS 1126331 HAS SOPS 1126331 HAS SOUS 1042843 HAS SOUPS 1042843 WITH SCORE 1043969.331
AT ITER 1787 NEW BEST:: SOT 8323080 SOS 1126204 HAS SOPS 1126204 HAS SOUS 1042780 HAS SOUPS 1042780 WITH SCORE 1043906.204
AT ITER 1795 NEW BEST:: SOT 8322996 SOS 1126120 HAS SOPS 1126120 HAS SOUS 1042612 HAS SOUPS 1042612 WITH SCORE 1043738.12
AT ITER 1809 NEW BEST:: SOT 8322996 SOS 1125990 HAS SOPS 1125990 HAS SOUS 1042482 HAS SOUPS 1042482 WITH SCORE 1043607.99
AT ITER 1829 NEW BEST:: SOT 8322988 SOS 1125974 HAS SOPS 1125974 HAS SOUS 1042466 HAS SOUPS 1042466 WITH SCORE 1043591.974
AT ITER 1832 NEW BEST:: SOT 8322820 SOS 1125737 HAS SOPS 1125737 HAS SOUS 1042229 HAS SOUPS 1042229 WITH SCORE 1043354.737
AT ITER 1869 NEW BEST:: SOT 8322820 SOS 1125685 HAS SOPS 1125685 HAS SOUS 1042177 HAS SOUPS 1042177 WITH SCORE 1043302.685
AT ITER 1870 NEW BEST:: SOT 8322820 SOS 1125685 HAS SOPS 1125685 HAS SOUS 1042175 HAS SOUPS 1042175 WITH SCORE 1043300.685
AT ITER 1873 NEW BEST:: SOT 8322590 SOS 1125582 HAS SOPS 1125582 HAS SOUS 1041945 HAS SOUPS 1041945 WITH SCORE 1043070.582
AT ITER 1893 NEW BEST:: SOT 8322584 SOS 1125573 HAS SOPS 1125573 HAS SOUS 1041939 HAS SOUPS 1041939 WITH SCORE 1043064.573
AT ITER 1900 NEW BEST:: SOT 8322537 SOS 1125425 HAS SOPS 1125425 HAS SOUS 1041892 HAS SOUPS 1041892 WITH SCORE 1043017.425
AT ITER 1905 NEW BEST:: SOT 8321977 SOS 1125571 HAS SOPS 1125571 HAS SOUS 1041332 HAS SOUPS 1041332 WITH SCORE 1042457.571
AT ITER 1909 NEW BEST:: SOT 8312179 SOS 1129959 HAS SOPS 1129959 HAS SOUS 1032052 HAS SOUPS 1032052 WITH SCORE 1033181.959
AT ITER 1986 NEW BEST:: SOT 8311503 SOS 1128871 HAS SOPS 1128871 HAS SOUS 1031210 HAS SOUPS 1031210 WITH SCORE 1032338.871
AT ITER 1987 NEW BEST:: SOT 8311503 SOS 1128714 HAS SOPS 1128714 HAS SOUS 1031053 HAS SOUPS 1031053 WITH SCORE 1032181.714
AT ITER 1989 NEW BEST:: SOT 8311574 SOS 1128856 HAS SOPS 1128856 HAS SOUS 1030806 HAS SOUPS 1030806 WITH SCORE 1031934.856
AT ITER 2000 NEW BEST:: SOT 8311546 SOS 1128828 HAS SOPS 1128828 HAS SOUS 1030778 HAS SOUPS 1030778 WITH SCORE 1031906.828
AT ITER 2037 NEW BEST:: SOT 8311247 SOS 1128520 HAS SOPS 1128520 HAS SOUS 1030437 HAS SOUPS 1030437 WITH SCORE 1031565.52
AT ITER 2040 NEW BEST:: SOT 8311448 SOS 1128166 HAS SOPS 1128166 HAS SOUS 1030386 HAS SOUPS 1030386 WITH SCORE 1031514.166
AT ITER 2041 NEW BEST:: SOT 8311300 SOS 1128018 HAS SOPS 1128018 HAS SOUS 1030331 HAS SOUPS 1030331 WITH SCORE 1031459.018
AT ITER 2050 NEW BEST:: SOT 8311172 SOS 1127884 HAS SOPS 1127884 HAS SOUS 1030197 HAS SOUPS 1030197 WITH SCORE 1031324.884
AT ITER 2065 NEW BEST:: SOT 8310980 SOS 1127846 HAS SOPS 1127846 HAS SOUS 1030005 HAS SOUPS 1030005 WITH SCORE 1031132.846
AT ITER 2079 NEW BEST:: SOT 8310931 SOS 1127692 HAS SOPS 1127692 HAS SOUS 1029956 HAS SOUPS 1029956 WITH SCORE 1031083.692
AT ITER 2084 NEW BEST:: SOT 8310275 SOS 1127212 HAS SOPS 1127212 HAS SOUS 1029452 HAS SOUPS 1029452 WITH SCORE 1030579.212
AT ITER 2092 NEW BEST:: SOT 8310218 SOS 1127098 HAS SOPS 1127098 HAS SOUS 1029395 HAS SOUPS 1029395 WITH SCORE 1030522.098
AT ITER 2100 NEW BEST:: SOT 8310313 SOS 1126896 HAS SOPS 1126896 HAS SOUS 1029193 HAS SOUPS 1029193 WITH SCORE 1030319.896
AT ITER 2132 NEW BEST:: SOT 8310313 SOS 1126895 HAS SOPS 1126895 HAS SOUS 1029192 HAS SOUPS 1029192 WITH SCORE 1030318.895
AT ITER 2164 NEW BEST:: SOT 8310313 SOS 1126522 HAS SOPS 1126522 HAS SOUS 1028819 HAS SOUPS 1028819 WITH SCORE 1029945.522
AT ITER 2173 NEW BEST:: SOT 8310037 SOS 1126448 HAS SOPS 1126448 HAS SOUS 1028745 HAS SOUPS 1028745 WITH SCORE 1029871.448
AT ITER 2174 NEW BEST:: SOT 8309927 SOS 1126251 HAS SOPS 1126251 HAS SOUS 1028528 HAS SOUPS 1028528 WITH SCORE 1029654.251
AT ITER 2235 NEW BEST:: SOT 8309681 SOS 1126005 HAS SOPS 1126005 HAS SOUS 1028282 HAS SOUPS 1028282 WITH SCORE 1029408.005
AT ITER 2252 NEW BEST:: SOT 8309681 SOS 1125843 HAS SOPS 1125843 HAS SOUS 1028282 HAS SOUPS 1028282 WITH SCORE 1029407.843
AT ITER 2267 NEW BEST:: SOT 8309619 SOS 1125867 HAS SOPS 1125867 HAS SOUS 1028236 HAS SOUPS 1028236 WITH SCORE 1029361.867
AT ITER 2280 NEW BEST:: SOT 8309452 SOS 1126091 HAS SOPS 1126091 HAS SOUS 1028069 HAS SOUPS 1028069 WITH SCORE 1029195.091
AT ITER 2282 NEW BEST:: SOT 8309452 SOS 1125934 HAS SOPS 1125934 HAS SOUS 1027912 HAS SOUPS 1027912 WITH SCORE 1029037.934
AT ITER 2320 NEW BEST:: SOT 8309452 SOS 1125934 HAS SOPS 1125934 HAS SOUS 1027911 HAS SOUPS 1027911 WITH SCORE 1029036.934
AT ITER 2328 NEW BEST:: SOT 8308851 SOS 1125015 HAS SOPS 1125015 HAS SOUS 1027310 HAS SOUPS 1027310 WITH SCORE 1028435.015
AT ITER 2367 NEW BEST:: SOT 8308754 SOS 1124945 HAS SOPS 1124945 HAS SOUS 1027227 HAS SOUPS 1027227 WITH SCORE 1028351.945
AT ITER 2378 NEW BEST:: SOT 8308683 SOS 1124934 HAS SOPS 1124934 HAS SOUS 1027216 HAS SOUPS 1027216 WITH SCORE 1028340.934
AT ITER 2395 NEW BEST:: SOT 8308682 SOS 1124933 HAS SOPS 1124933 HAS SOUS 1027215 HAS SOUPS 1027215 WITH SCORE 1028339.933
AT ITER 2396 NEW BEST:: SOT 8308682 SOS 1124870 HAS SOPS 1124870 HAS SOUS 1027152 HAS SOUPS 1027152 WITH SCORE 1028276.87
AT ITER 2419 NEW BEST:: SOT 8308794 SOS 1124783 HAS SOPS 1124783 HAS SOUS 1027065 HAS SOUPS 1027065 WITH SCORE 1028189.783
AT ITER 2458 NEW BEST:: SOT 8308306 SOS 1123807 HAS SOPS 1123807 HAS SOUS 1026577 HAS SOUPS 1026577 WITH SCORE 1027700.807
AT ITER 2483 NEW BEST:: SOT 8308235 SOS 1123665 HAS SOPS 1123665 HAS SOUS 1026435 HAS SOUPS 1026435 WITH SCORE 1027558.665
AT ITER 2494 NEW BEST:: SOT 8308077 SOS 1123349 HAS SOPS 1123349 HAS SOUS 1025858 HAS SOUPS 1025858 WITH SCORE 1026981.349
AT ITER 2547 NEW BEST:: SOT 8308034 SOS 1123220 HAS SOPS 1123220 HAS SOUS 1025772 HAS SOUPS 1025772 WITH SCORE 1026895.22
AT ITER 2560 NEW BEST:: SOT 8307866 SOS 1123120 HAS SOPS 1123120 HAS SOUS 1025672 HAS SOUPS 1025672 WITH SCORE 1026795.12
AT ITER 2588 NEW BEST:: SOT 8307605 SOS 1122946 HAS SOPS 1122946 HAS SOUS 1025498 HAS SOUPS 1025498 WITH SCORE 1026620.946
AT ITER 2593 NEW BEST:: SOT 8307605 SOS 1122946 HAS SOPS 1122946 HAS SOUS 1025497 HAS SOUPS 1025497 WITH SCORE 1026619.946
AT ITER 2630 NEW BEST:: SOT 8307584 SOS 1122925 HAS SOPS 1122925 HAS SOUS 1025476 HAS SOUPS 1025476 WITH SCORE 1026598.925
AT ITER 2658 NEW BEST:: SOT 8307637 SOS 1122575 HAS SOPS 1122575 HAS SOUS 1025126 HAS SOUPS 1025126 WITH SCORE 1026248.575
AT ITER 2836 NEW BEST:: SOT 8307544 SOS 1122560 HAS SOPS 1122560 HAS SOUS 1025069 HAS SOUPS 1025069 WITH SCORE 1026191.56
AT ITER 2844 NEW BEST:: SOT 8307713 SOS 1122898 HAS SOPS 1122898 HAS SOUS 1025046 HAS SOUPS 1025046 WITH SCORE 1026168.898
AT ITER 2876 NEW BEST:: SOT 8307713 SOS 1122741 HAS SOPS 1122741 HAS SOUS 1024889 HAS SOUPS 1024889 WITH SCORE 1026011.741
AT ITER 2902 NEW BEST:: SOT 8307713 SOS 1122671 HAS SOPS 1122671 HAS SOUS 1024819 HAS SOUPS 1024819 WITH SCORE 1025941.671
AT ITER 2918 NEW BEST:: SOT 8307713 SOS 1122607 HAS SOPS 1122607 HAS SOUS 1024755 HAS SOUPS 1024755 WITH SCORE 1025877.607
AT ITER 2970 NEW BEST:: SOT 8307708 SOS 1122597 HAS SOPS 1122597 HAS SOUS 1024745 HAS SOUPS 1024745 WITH SCORE 1025867.597
AT ITER 2971 NEW BEST:: SOT 8307681 SOS 1122501 HAS SOPS 1122501 HAS SOUS 1024662 HAS SOUPS 1024662 WITH SCORE 1025784.501
AT ITER 2981 NEW BEST:: SOT 8307651 SOS 1122471 HAS SOPS 1122471 HAS SOUS 1024632 HAS SOUPS 1024632 WITH SCORE 1025754.471
AT ITER 2988 NEW BEST:: SOT 8306363 SOS 1149240 HAS SOPS 1149240 HAS SOUS 1024182 HAS SOUPS 1024182 WITH SCORE 1025331.24
AT ITER 2992 NEW BEST:: SOT 8306479 SOS 1149144 HAS SOPS 1149144 HAS SOUS 1024086 HAS SOUPS 1024086 WITH SCORE 1025235.144
AT ITER 3024 NEW BEST:: SOT 8306330 SOS 1149019 HAS SOPS 1149019 HAS SOUS 1023961 HAS SOUPS 1023961 WITH SCORE 1025110.019
AT ITER 3111 NEW BEST:: SOT 8306277 SOS 1148724 HAS SOPS 1148724 HAS SOUS 1023666 HAS SOUPS 1023666 WITH SCORE 1024814.724
AT ITER 3160 NEW BEST:: SOT 8306190 SOS 1148550 HAS SOPS 1148550 HAS SOUS 1023492 HAS SOUPS 1023492 WITH SCORE 1024640.55
AT ITER 3191 NEW BEST:: SOT 8306142 SOS 1148406 HAS SOPS 1148406 HAS SOUS 1023396 HAS SOUPS 1023396 WITH SCORE 1024544.406
AT ITER 3245 NEW BEST:: SOT 8306277 SOS 1148676 HAS SOPS 1148676 HAS SOUS 1022997 HAS SOUPS 1022997 WITH SCORE 1024145.676
AT ITER 3268 NEW BEST:: SOT 8306135 SOS 1148392 HAS SOPS 1148392 HAS SOUS 1022913 HAS SOUPS 1022913 WITH SCORE 1024061.392
AT ITER 3271 NEW BEST:: SOT 8305940 SOS 1148197 HAS SOPS 1148197 HAS SOUS 1022718 HAS SOUPS 1022718 WITH SCORE 1023866.197
AT ITER 3274 NEW BEST:: SOT 8305918 SOS 1148175 HAS SOPS 1148175 HAS SOUS 1022696 HAS SOUPS 1022696 WITH SCORE 1023844.175
AT ITER 3280 NEW BEST:: SOT 8305864 SOS 1148136 HAS SOPS 1148136 HAS SOUS 1022657 HAS SOUPS 1022657 WITH SCORE 1023805.136
AT ITER 3284 NEW BEST:: SOT 8305864 SOS 1148083 HAS SOPS 1148083 HAS SOUS 1022657 HAS SOUPS 1022657 WITH SCORE 1023805.083
AT ITER 3318 NEW BEST:: SOT 8305864 SOS 1147926 HAS SOPS 1147926 HAS SOUS 1022500 HAS SOUPS 1022500 WITH SCORE 1023647.926
AT ITER 3375 NEW BEST:: SOT 8305899 SOS 1147838 HAS SOPS 1147838 HAS SOUS 1022412 HAS SOUPS 1022412 WITH SCORE 1023559.838
AT ITER 3414 NEW BEST:: SOT 8305702 SOS 1147660 HAS SOPS 1147660 HAS SOUS 1022215 HAS SOUPS 1022215 WITH SCORE 1023362.66
AT ITER 3426 NEW BEST:: SOT 8305752 SOS 1147760 HAS SOPS 1147760 HAS SOUS 1021958 HAS SOUPS 1021958 WITH SCORE 1023105.76
AT ITER 3453 NEW BEST:: SOT 8305423 SOS 1147389 HAS SOPS 1147389 HAS SOUS 1021614 HAS SOUPS 1021614 WITH SCORE 1022761.389
AT ITER 3464 NEW BEST:: SOT 8305293 SOS 1147063 HAS SOPS 1147063 HAS SOUS 1021398 HAS SOUPS 1021398 WITH SCORE 1022545.063
AT ITER 3479 NEW BEST:: SOT 8304909 SOS 1147003 HAS SOPS 1147003 HAS SOUS 1020909 HAS SOUPS 1020909 WITH SCORE 1022056.003
AT ITER 3483 NEW BEST:: SOT 8304539 SOS 1146417 HAS SOPS 1146417 HAS SOUS 1020581 HAS SOUPS 1020581 WITH SCORE 1021727.417
AT ITER 3486 NEW BEST:: SOT 8304539 SOS 1146417 HAS SOPS 1146417 HAS SOUS 1020580 HAS SOUPS 1020580 WITH SCORE 1021726.417
AT ITER 3496 NEW BEST:: SOT 8304358 SOS 1146359 HAS SOPS 1146359 HAS SOUS 1020399 HAS SOUPS 1020399 WITH SCORE 1021545.359
AT ITER 3537 NEW BEST:: SOT 8304192 SOS 1146077 HAS SOPS 1146077 HAS SOUS 1020283 HAS SOUPS 1020283 WITH SCORE 1021429.077
AT ITER 3541 NEW BEST:: SOT 8304190 SOS 1146075 HAS SOPS 1146075 HAS SOUS 1020281 HAS SOUPS 1020281 WITH SCORE 1021427.075
AT ITER 3552 NEW BEST:: SOT 8304189 SOS 1146073 HAS SOPS 1146073 HAS SOUS 1020280 HAS SOUPS 1020280 WITH SCORE 1021426.073
AT ITER 3570 NEW BEST:: SOT 8304234 SOS 1146163 HAS SOPS 1146163 HAS SOUS 1020088 HAS SOUPS 1020088 WITH SCORE 1021234.163
AT ITER 3600 NEW BEST:: SOT 8304191 SOS 1146075 HAS SOPS 1146075 HAS SOUS 1020045 HAS SOUPS 1020045 WITH SCORE 1021191.075
AT ITER 3610 NEW BEST:: SOT 8303828 SOS 1145332 HAS SOPS 1145332 HAS SOUS 1019682 HAS SOUPS 1019682 WITH SCORE 1020827.332
AT ITER 3612 NEW BEST:: SOT 8303828 SOS 1145222 HAS SOPS 1145222 HAS SOUS 1019572 HAS SOUPS 1019572 WITH SCORE 1020717.222
AT ITER 3614 NEW BEST:: SOT 8303536 SOS 1144941 HAS SOPS 1144941 HAS SOUS 1019277 HAS SOUPS 1019277 WITH SCORE 1020421.941
AT ITER 3643 NEW BEST:: SOT 8303465 SOS 1145261 HAS SOPS 1145261 HAS SOUS 1018975 HAS SOUPS 1018975 WITH SCORE 1020120.261
AT ITER 3644 NEW BEST:: SOT 8303291 SOS 1145841 HAS SOPS 1145841 HAS SOUS 1018801 HAS SOUPS 1018801 WITH SCORE 1019946.841
AT ITER 3647 NEW BEST:: SOT 8303291 SOS 1145841 HAS SOPS 1145841 HAS SOUS 1018794 HAS SOUPS 1018794 WITH SCORE 1019939.841
AT ITER 3674 NEW BEST:: SOT 8303291 SOS 1145743 HAS SOPS 1145743 HAS SOUS 1018696 HAS SOUPS 1018696 WITH SCORE 1019841.743
AT ITER 3741 NEW BEST:: SOT 8303291 SOS 1145486 HAS SOPS 1145486 HAS SOUS 1018696 HAS SOUPS 1018696 WITH SCORE 1019841.486
AT ITER 3777 NEW BEST:: SOT 8303291 SOS 1145410 HAS SOPS 1145410 HAS SOUS 1018620 HAS SOUPS 1018620 WITH SCORE 1019765.41
AT ITER 3812 NEW BEST:: SOT 8303286 SOS 1146121 HAS SOPS 1146121 HAS SOUS 1018365 HAS SOUPS 1018365 WITH SCORE 1019511.121
AT ITER 3849 NEW BEST:: SOT 8303247 SOS 1145969 HAS SOPS 1145969 HAS SOUS 1018326 HAS SOUPS 1018326 WITH SCORE 1019471.969
AT ITER 3854 NEW BEST:: SOT 8303023 SOS 1145521 HAS SOPS 1145521 HAS SOUS 1018150 HAS SOUPS 1018150 WITH SCORE 1019295.521
AT ITER 3857 NEW BEST:: SOT 8302938 SOS 1145535 HAS SOPS 1145535 HAS SOUS 1018100 HAS SOUPS 1018100 WITH SCORE 1019245.535
AT ITER 3864 NEW BEST:: SOT 8302825 SOS 1144919 HAS SOPS 1144919 HAS SOUS 1018069 HAS SOUPS 1018069 WITH SCORE 1019213.919
AT ITER 3882 NEW BEST:: SOT 8302600 SOS 1144769 HAS SOPS 1144769 HAS SOUS 1017919 HAS SOUPS 1017919 WITH SCORE 1019063.769
AT ITER 3928 NEW BEST:: SOT 8302346 SOS 1144261 HAS SOPS 1144261 HAS SOUS 1017665 HAS SOUPS 1017665 WITH SCORE 1018809.261
AT ITER 3991 NEW BEST:: SOT 8302229 SOS 1144183 HAS SOPS 1144183 HAS SOUS 1017587 HAS SOUPS 1017587 WITH SCORE 1018731.183
AT ITER 4030 NEW BEST:: SOT 8302150 SOS 1143703 HAS SOPS 1143703 HAS SOUS 1017162 HAS SOUPS 1017162 WITH SCORE 1018305.703
AT ITER 4054 NEW BEST:: SOT 8302070 SOS 1143623 HAS SOPS 1143623 HAS SOUS 1017042 HAS SOUPS 1017042 WITH SCORE 1018185.623
AT ITER 4056 NEW BEST:: SOT 8302216 SOS 1143603 HAS SOPS 1143603 HAS SOUS 1017022 HAS SOUPS 1017022 WITH SCORE 1018165.603
AT ITER 4057 NEW BEST:: SOT 8302190 SOS 1143551 HAS SOPS 1143551 HAS SOUS 1016996 HAS SOUPS 1016996 WITH SCORE 1018139.551
AT ITER 4119 NEW BEST:: SOT 8302042 SOS 1143694 HAS SOPS 1143694 HAS SOUS 1016648 HAS SOUPS 1016648 WITH SCORE 1017791.694
AT ITER 4120 NEW BEST:: SOT 8302015 SOS 1143874 HAS SOPS 1143874 HAS SOUS 1016621 HAS SOUPS 1016621 WITH SCORE 1017764.874
AT ITER 4139 NEW BEST:: SOT 8302025 SOS 1143328 HAS SOPS 1143328 HAS SOUS 1016075 HAS SOUPS 1016075 WITH SCORE 1017218.328
AT ITER 4141 NEW BEST:: SOT 8301963 SOS 1143204 HAS SOPS 1143204 HAS SOUS 1015951 HAS SOUPS 1015951 WITH SCORE 1017094.204
AT ITER 4162 NEW BEST:: SOT 8302042 SOS 1143201 HAS SOPS 1143201 HAS SOUS 1015948 HAS SOUPS 1015948 WITH SCORE 1017091.201
AT ITER 4170 NEW BEST:: SOT 8302042 SOS 1143119 HAS SOPS 1143119 HAS SOUS 1015866 HAS SOUPS 1015866 WITH SCORE 1017009.119
AT ITER 4173 NEW BEST:: SOT 8301936 SOS 1143028 HAS SOPS 1143028 HAS SOUS 1015775 HAS SOUPS 1015775 WITH SCORE 1016918.028
AT ITER 4203 NEW BEST:: SOT 8301935 SOS 1143026 HAS SOPS 1143026 HAS SOUS 1015773 HAS SOUPS 1015773 WITH SCORE 1016916.026
AT ITER 4211 NEW BEST:: SOT 8301816 SOS 1143025 HAS SOPS 1143025 HAS SOUS 1015772 HAS SOUPS 1015772 WITH SCORE 1016915.025
AT ITER 4246 NEW BEST:: SOT 8301276 SOS 1142485 HAS SOPS 1142485 HAS SOUS 1015232 HAS SOUPS 1015232 WITH SCORE 1016374.485
AT ITER 4285 NEW BEST:: SOT 8301276 SOS 1142305 HAS SOPS 1142305 HAS SOUS 1015052 HAS SOUPS 1015052 WITH SCORE 1016194.305
AT ITER 4293 NEW BEST:: SOT 8301101 SOS 1142186 HAS SOPS 1142186 HAS SOUS 1014933 HAS SOUPS 1014933 WITH SCORE 1016075.186
AT ITER 4314 NEW BEST:: SOT 8301101 SOS 1141982 HAS SOPS 1141982 HAS SOUS 1014729 HAS SOUPS 1014729 WITH SCORE 1015870.982
AT ITER 4354 NEW BEST:: SOT 8300857 SOS 1141738 HAS SOPS 1141738 HAS SOUS 1014485 HAS SOUPS 1014485 WITH SCORE 1015626.738
AT ITER 4357 NEW BEST:: SOT 8300800 SOS 1141621 HAS SOPS 1141621 HAS SOUS 1014368 HAS SOUPS 1014368 WITH SCORE 1015509.621
AT ITER 4361 NEW BEST:: SOT 8300679 SOS 1141500 HAS SOPS 1141500 HAS SOUS 1014247 HAS SOUPS 1014247 WITH SCORE 1015388.5
AT ITER 4362 NEW BEST:: SOT 8300679 SOS 1141342 HAS SOPS 1141342 HAS SOUS 1014089 HAS SOUPS 1014089 WITH SCORE 1015230.342
AT ITER 4390 NEW BEST:: SOT 8300608 SOS 1141284 HAS SOPS 1141284 HAS SOUS 1014018 HAS SOUPS 1014018 WITH SCORE 1015159.284
AT ITER 4424 NEW BEST:: SOT 8300608 SOS 1141208 HAS SOPS 1141208 HAS SOUS 1013942 HAS SOUPS 1013942 WITH SCORE 1015083.208
AT ITER 4426 NEW BEST:: SOT 8300330 SOS 1140819 HAS SOPS 1140819 HAS SOUS 1013553 HAS SOUPS 1013553 WITH SCORE 1014693.819
AT ITER 4430 NEW BEST:: SOT 8300330 SOS 1140743 HAS SOPS 1140743 HAS SOUS 1013477 HAS SOUPS 1013477 WITH SCORE 1014617.743
AT ITER 4488 NEW BEST:: SOT 8300298 SOS 1140711 HAS SOPS 1140711 HAS SOUS 1013445 HAS SOUPS 1013445 WITH SCORE 1014585.711
AT ITER 4504 NEW BEST:: SOT 8300019 SOS 1140153 HAS SOPS 1140153 HAS SOUS 1012887 HAS SOUPS 1012887 WITH SCORE 1014027.153
AT ITER 4558 NEW BEST:: SOT 8299518 SOS 1139151 HAS SOPS 1139151 HAS SOUS 1012136 HAS SOUPS 1012136 WITH SCORE 1013275.151
AT ITER 4579 NEW BEST:: SOT 8299518 SOS 1139151 HAS SOPS 1139151 HAS SOUS 1012135 HAS SOUPS 1012135 WITH SCORE 1013274.151
AT ITER 4614 NEW BEST:: SOT 8299520 SOS 1139088 HAS SOPS 1139088 HAS SOUS 1011959 HAS SOUPS 1011959 WITH SCORE 1013098.088
AT ITER 4625 NEW BEST:: SOT 8299352 SOS 1138584 HAS SOPS 1138584 HAS SOUS 1011790 HAS SOUPS 1011790 WITH SCORE 1012928.584
AT ITER 4637 NEW BEST:: SOT 8299319 SOS 1138518 HAS SOPS 1138518 HAS SOUS 1011724 HAS SOUPS 1011724 WITH SCORE 1012862.518
AT ITER 4660 NEW BEST:: SOT 8299266 SOS 1138412 HAS SOPS 1138412 HAS SOUS 1011618 HAS SOUPS 1011618 WITH SCORE 1012756.412
AT ITER 4661 NEW BEST:: SOT 8299235 SOS 1138350 HAS SOPS 1138350 HAS SOUS 1011529 HAS SOUPS 1011529 WITH SCORE 1012667.35
AT ITER 4674 NEW BEST:: SOT 8299216 SOS 1138312 HAS SOPS 1138312 HAS SOUS 1011491 HAS SOUPS 1011491 WITH SCORE 1012629.312
AT ITER 4742 NEW BEST:: SOT 8299216 SOS 1138177 HAS SOPS 1138177 HAS SOUS 1011356 HAS SOUPS 1011356 WITH SCORE 1012494.177
AT ITER 4743 NEW BEST:: SOT 8298849 SOS 1138508 HAS SOPS 1138508 HAS SOUS 1011076 HAS SOUPS 1011076 WITH SCORE 1012214.508
AT ITER 4766 NEW BEST:: SOT 8298765 SOS 1138340 HAS SOPS 1138340 HAS SOUS 1010908 HAS SOUPS 1010908 WITH SCORE 1012046.34
AT ITER 4781 NEW BEST:: SOT 8298765 SOS 1138300 HAS SOPS 1138300 HAS SOUS 1010868 HAS SOUPS 1010868 WITH SCORE 1012006.3
AT ITER 4788 NEW BEST:: SOT 8298765 SOS 1138082 HAS SOPS 1138082 HAS SOUS 1010868 HAS SOUPS 1010868 WITH SCORE 1012006.082
AT ITER 4797 NEW BEST:: SOT 8298443 SOS 1137384 HAS SOPS 1137384 HAS SOUS 1010492 HAS SOUPS 1010492 WITH SCORE 1011629.384
AT ITER 4819 NEW BEST:: SOT 8298517 SOS 1137376 HAS SOPS 1137376 HAS SOUS 1010484 HAS SOUPS 1010484 WITH SCORE 1011621.376
AT ITER 4850 NEW BEST:: SOT 8298517 SOS 1137376 HAS SOPS 1137376 HAS SOUS 1010483 HAS SOUPS 1010483 WITH SCORE 1011620.376
AT ITER 4948 NEW BEST:: SOT 8298517 SOS 1137168 HAS SOPS 1137168 HAS SOUS 1010275 HAS SOUPS 1010275 WITH SCORE 1011412.168
AT ITER 4998 NEW BEST:: SOT 8298517 SOS 1137048 HAS SOPS 1137048 HAS SOUS 1010275 HAS SOUPS 1010275 WITH SCORE 1011412.048
AT ITER 5006 NEW BEST:: SOT 8298222 SOS 1136693 HAS SOPS 1136693 HAS SOUS 1009625 HAS SOUPS 1009625 WITH SCORE 1010761.693
AT ITER 5062 NEW BEST:: SOT 8298102 SOS 1135872 HAS SOPS 1135872 HAS SOUS 1009385 HAS SOUPS 1009385 WITH SCORE 1010520.872
AT ITER 5065 NEW BEST:: SOT 8298079 SOS 1136238 HAS SOPS 1136238 HAS SOUS 1009339 HAS SOUPS 1009339 WITH SCORE 1010475.238
AT ITER 5068 NEW BEST:: SOT 8298079 SOS 1136238 HAS SOPS 1136238 HAS SOUS 1009301 HAS SOUPS 1009301 WITH SCORE 1010437.238
AT ITER 5079 NEW BEST:: SOT 8297920 SOS 1136079 HAS SOPS 1136079 HAS SOUS 1009142 HAS SOUPS 1009142 WITH SCORE 1010278.079
AT ITER 5113 NEW BEST:: SOT 8297887 SOS 1136013 HAS SOPS 1136013 HAS SOUS 1009109 HAS SOUPS 1009109 WITH SCORE 1010245.013
AT ITER 5127 NEW BEST:: SOT 8297876 SOS 1136002 HAS SOPS 1136002 HAS SOUS 1009098 HAS SOUPS 1009098 WITH SCORE 1010234.002
AT ITER 5130 NEW BEST:: SOT 8297553 SOS 1135866 HAS SOPS 1135866 HAS SOUS 1008880 HAS SOUPS 1008880 WITH SCORE 1010015.866
AT ITER 5137 NEW BEST:: SOT 8297606 SOS 1135865 HAS SOPS 1135865 HAS SOUS 1008879 HAS SOUPS 1008879 WITH SCORE 1010014.865
AT ITER 5154 NEW BEST:: SOT 8297458 SOS 1135569 HAS SOPS 1135569 HAS SOUS 1008456 HAS SOUPS 1008456 WITH SCORE 1009591.569
AT ITER 5158 NEW BEST:: SOT 8297485 SOS 1135509 HAS SOPS 1135509 HAS SOUS 1008396 HAS SOUPS 1008396 WITH SCORE 1009531.509
AT ITER 5165 NEW BEST:: SOT 8297366 SOS 1135617 HAS SOPS 1135617 HAS SOUS 1008376 HAS SOUPS 1008376 WITH SCORE 1009511.617
AT ITER 5183 NEW BEST:: SOT 8297366 SOS 1135603 HAS SOPS 1135603 HAS SOUS 1008362 HAS SOUPS 1008362 WITH SCORE 1009497.603
AT ITER 5185 NEW BEST:: SOT 8297366 SOS 1135528 HAS SOPS 1135528 HAS SOUS 1008212 HAS SOUPS 1008212 WITH SCORE 1009347.528
AT ITER 5208 NEW BEST:: SOT 8297276 SOS 1135348 HAS SOPS 1135348 HAS SOUS 1008077 HAS SOUPS 1008077 WITH SCORE 1009212.348
AT ITER 5260 NEW BEST:: SOT 8297276 SOS 1135037 HAS SOPS 1135037 HAS SOUS 1008077 HAS SOUPS 1008077 WITH SCORE 1009212.037
AT ITER 5281 NEW BEST:: SOT 8297267 SOS 1135028 HAS SOPS 1135028 HAS SOUS 1008068 HAS SOUPS 1008068 WITH SCORE 1009203.028
AT ITER 5331 NEW BEST:: SOT 8297182 SOS 1134952 HAS SOPS 1134952 HAS SOUS 1007992 HAS SOUPS 1007992 WITH SCORE 1009126.952
AT ITER 5337 NEW BEST:: SOT 8297084 SOS 1134951 HAS SOPS 1134951 HAS SOUS 1007991 HAS SOUPS 1007991 WITH SCORE 1009125.951
AT ITER 5348 NEW BEST:: SOT 8297068 SOS 1134631 HAS SOPS 1134631 HAS SOUS 1007975 HAS SOUPS 1007975 WITH SCORE 1009109.631
AT ITER 5351 NEW BEST:: SOT 8297068 SOS 1134563 HAS SOPS 1134563 HAS SOUS 1007907 HAS SOUPS 1007907 WITH SCORE 1009041.563
AT ITER 5377 NEW BEST:: SOT 8297067 SOS 1134561 HAS SOPS 1134561 HAS SOUS 1007905 HAS SOUPS 1007905 WITH SCORE 1009039.561
AT ITER 5378 NEW BEST:: SOT 8296293 SOS 1133568 HAS SOPS 1133568 HAS SOUS 1007211 HAS SOUPS 1007211 WITH SCORE 1008344.568
AT ITER 5379 NEW BEST:: SOT 8296293 SOS 1133382 HAS SOPS 1133382 HAS SOUS 1007025 HAS SOUPS 1007025 WITH SCORE 1008158.382
AT ITER 5401 NEW BEST:: SOT 8296061 SOS 1133346 HAS SOPS 1133346 HAS SOUS 1006793 HAS SOUPS 1006793 WITH SCORE 1007926.346
AT ITER 5462 NEW BEST:: SOT 8296111 SOS 1134724 HAS SOPS 1134724 HAS SOUS 1006753 HAS SOUPS 1006753 WITH SCORE 1007887.724
AT ITER 5463 NEW BEST:: SOT 8296054 SOS 1134667 HAS SOPS 1134667 HAS SOUS 1006696 HAS SOUPS 1006696 WITH SCORE 1007830.667
AT ITER 5465 NEW BEST:: SOT 8295957 SOS 1134667 HAS SOPS 1134667 HAS SOUS 1006599 HAS SOUPS 1006599 WITH SCORE 1007733.667
AT ITER 5483 NEW BEST:: SOT 8295957 SOS 1134610 HAS SOPS 1134610 HAS SOUS 1006542 HAS SOUPS 1006542 WITH SCORE 1007676.61
AT ITER 5519 NEW BEST:: SOT 8295885 SOS 1134353 HAS SOPS 1134353 HAS SOUS 1006399 HAS SOUPS 1006399 WITH SCORE 1007533.353
AT ITER 5530 NEW BEST:: SOT 8295896 SOS 1134767 HAS SOPS 1134767 HAS SOUS 1006190 HAS SOUPS 1006190 WITH SCORE 1007324.767
AT ITER 5565 NEW BEST:: SOT 8295576 SOS 1134722 HAS SOPS 1134722 HAS SOUS 1006145 HAS SOUPS 1006145 WITH SCORE 1007279.722
AT ITER 5586 NEW BEST:: SOT 8295344 SOS 1134490 HAS SOPS 1134490 HAS SOUS 1005913 HAS SOUPS 1005913 WITH SCORE 1007047.49
AT ITER 5667 NEW BEST:: SOT 8295344 SOS 1134351 HAS SOPS 1134351 HAS SOUS 1005774 HAS SOUPS 1005774 WITH SCORE 1006908.351
AT ITER 5678 NEW BEST:: SOT 8295344 SOS 1134197 HAS SOPS 1134197 HAS SOUS 1005620 HAS SOUPS 1005620 WITH SCORE 1006754.197
AT ITER 5691 NEW BEST:: SOT 8295215 SOS 1134259 HAS SOPS 1134259 HAS SOUS 1005512 HAS SOUPS 1005512 WITH SCORE 1006646.259
AT ITER 5700 NEW BEST:: SOT 8295077 SOS 1134413 HAS SOPS 1134413 HAS SOUS 1005417 HAS SOUPS 1005417 WITH SCORE 1006551.413
AT ITER 5736 NEW BEST:: SOT 8295000 SOS 1134373 HAS SOPS 1134373 HAS SOUS 1005377 HAS SOUPS 1005377 WITH SCORE 1006511.373
AT ITER 5755 NEW BEST:: SOT 8294927 SOS 1134300 HAS SOPS 1134300 HAS SOUS 1005377 HAS SOUPS 1005377 WITH SCORE 1006511.3
AT ITER 5837 NEW BEST:: SOT 8294307 SOS 1133680 HAS SOPS 1133680 HAS SOUS 1004757 HAS SOUPS 1004757 WITH SCORE 1005890.68
AT ITER 5841 NEW BEST:: SOT 8294307 SOS 1133596 HAS SOPS 1133596 HAS SOUS 1004673 HAS SOUPS 1004673 WITH SCORE 1005806.596
AT ITER 5845 NEW BEST:: SOT 8294307 SOS 1133456 HAS SOPS 1133456 HAS SOUS 1004533 HAS SOUPS 1004533 WITH SCORE 1005666.456
AT ITER 5872 NEW BEST:: SOT 8294290 SOS 1133455 HAS SOPS 1133455 HAS SOUS 1004532 HAS SOUPS 1004532 WITH SCORE 1005665.455
AT ITER 5901 NEW BEST:: SOT 8294238 SOS 1133403 HAS SOPS 1133403 HAS SOUS 1004480 HAS SOUPS 1004480 WITH SCORE 1005613.403
AT ITER 5909 NEW BEST:: SOT 8294373 SOS 1134347 HAS SOPS 1134347 HAS SOUS 1004457 HAS SOUPS 1004457 WITH SCORE 1005591.347
AT ITER 5949 NEW BEST:: SOT 8294379 SOS 1134326 HAS SOPS 1134326 HAS SOUS 1004436 HAS SOUPS 1004436 WITH SCORE 1005570.326
AT ITER 5978 NEW BEST:: SOT 8294419 SOS 1134236 HAS SOPS 1134236 HAS SOUS 1004346 HAS SOUPS 1004346 WITH SCORE 1005480.236
AT ITER 5993 NEW BEST:: SOT 8294418 SOS 1134234 HAS SOPS 1134234 HAS SOUS 1004344 HAS SOUPS 1004344 WITH SCORE 1005478.234
AT ITER 6010 NEW BEST:: SOT 8294417 SOS 1134233 HAS SOPS 1134233 HAS SOUS 1004343 HAS SOUPS 1004343 WITH SCORE 1005477.233
AT ITER 6013 NEW BEST:: SOT 8294278 SOS 1133917 HAS SOPS 1133917 HAS SOUS 1004204 HAS SOUPS 1004204 WITH SCORE 1005337.917
AT ITER 6041 NEW BEST:: SOT 8294096 SOS 1133553 HAS SOPS 1133553 HAS SOUS 1004022 HAS SOUPS 1004022 WITH SCORE 1005155.553
AT ITER 6044 NEW BEST:: SOT 8294096 SOS 1133398 HAS SOPS 1133398 HAS SOUS 1003867 HAS SOUPS 1003867 WITH SCORE 1005000.398
AT ITER 6067 NEW BEST:: SOT 8294096 SOS 1133374 HAS SOPS 1133374 HAS SOUS 1003843 HAS SOUPS 1003843 WITH SCORE 1004976.374
AT ITER 6073 NEW BEST:: SOT 8294061 SOS 1133234 HAS SOPS 1133234 HAS SOUS 1003773 HAS SOUPS 1003773 WITH SCORE 1004906.234
AT ITER 6074 NEW BEST:: SOT 8294236 SOS 1134370 HAS SOPS 1134370 HAS SOUS 1003730 HAS SOUPS 1003730 WITH SCORE 1004864.37
AT ITER 6076 NEW BEST:: SOT 8294104 SOS 1134311 HAS SOPS 1134311 HAS SOUS 1003671 HAS SOUPS 1003671 WITH SCORE 1004805.311
AT ITER 6090 NEW BEST:: SOT 8293984 SOS 1134489 HAS SOPS 1134489 HAS SOUS 1003640 HAS SOUPS 1003640 WITH SCORE 1004774.489
AT ITER 6110 NEW BEST:: SOT 8293984 SOS 1134439 HAS SOPS 1134439 HAS SOUS 1003590 HAS SOUPS 1003590 WITH SCORE 1004724.439
AT ITER 6114 NEW BEST:: SOT 8293797 SOS 1134503 HAS SOPS 1134503 HAS SOUS 1003377 HAS SOUPS 1003377 WITH SCORE 1004511.503
AT ITER 6134 NEW BEST:: SOT 8293665 SOS 1134239 HAS SOPS 1134239 HAS SOUS 1002790 HAS SOUPS 1002790 WITH SCORE 1003924.239
AT ITER 6168 NEW BEST:: SOT 8293664 SOS 1134237 HAS SOPS 1134237 HAS SOUS 1002788 HAS SOUPS 1002788 WITH SCORE 1003922.237
AT ITER 6183 NEW BEST:: SOT 8293615 SOS 1134817 HAS SOPS 1134817 HAS SOUS 1002495 HAS SOUPS 1002495 WITH SCORE 1003629.817
AT ITER 6255 NEW BEST:: SOT 8293758 SOS 1134572 HAS SOPS 1134572 HAS SOUS 1002461 HAS SOUPS 1002461 WITH SCORE 1003595.572
AT ITER 6309 NEW BEST:: SOT 8293699 SOS 1134454 HAS SOPS 1134454 HAS SOUS 1002402 HAS SOUPS 1002402 WITH SCORE 1003536.454
AT ITER 6314 NEW BEST:: SOT 8293560 SOS 1134455 HAS SOPS 1134455 HAS SOUS 1002339 HAS SOUPS 1002339 WITH SCORE 1003473.455
AT ITER 6329 NEW BEST:: SOT 8293573 SOS 1134312 HAS SOPS 1134312 HAS SOUS 1002196 HAS SOUPS 1002196 WITH SCORE 1003330.312
AT ITER 6380 NEW BEST:: SOT 8293361 SOS 1134201 HAS SOPS 1134201 HAS SOUS 1002069 HAS SOUPS 1002069 WITH SCORE 1003203.201
AT ITER 6395 NEW BEST:: SOT 8293223 SOS 1133925 HAS SOPS 1133925 HAS SOUS 1001793 HAS SOUPS 1001793 WITH SCORE 1002926.925
AT ITER 6472 NEW BEST:: SOT 8292998 SOS 1133881 HAS SOPS 1133881 HAS SOUS 1001720 HAS SOUPS 1001720 WITH SCORE 1002853.881
AT ITER 6481 NEW BEST:: SOT 8292998 SOS 1133789 HAS SOPS 1133789 HAS SOUS 1001628 HAS SOUPS 1001628 WITH SCORE 1002761.789
AT ITER 6552 NEW BEST:: SOT 8292836 SOS 1133465 HAS SOPS 1133465 HAS SOUS 1001549 HAS SOUPS 1001549 WITH SCORE 1002682.465
AT ITER 6565 NEW BEST:: SOT 8292836 SOS 1133465 HAS SOPS 1133465 HAS SOUS 1001548 HAS SOUPS 1001548 WITH SCORE 1002681.465
AT ITER 6602 NEW BEST:: SOT 8292836 SOS 1133433 HAS SOPS 1133433 HAS SOUS 1001516 HAS SOUPS 1001516 WITH SCORE 1002649.433
AT ITER 6619 NEW BEST:: SOT 8292751 SOS 1133297 HAS SOPS 1133297 HAS SOUS 1001362 HAS SOUPS 1001362 WITH SCORE 1002495.297
AT ITER 6654 NEW BEST:: SOT 8292736 SOS 1133267 HAS SOPS 1133267 HAS SOUS 1001347 HAS SOUPS 1001347 WITH SCORE 1002480.267
AT ITER 6658 NEW BEST:: SOT 8292233 SOS 1133435 HAS SOPS 1133435 HAS SOUS 1000797 HAS SOUPS 1000797 WITH SCORE 1001930.435
AT ITER 6731 NEW BEST:: SOT 8292113 SOS 1133348 HAS SOPS 1133348 HAS SOUS 1000557 HAS SOUPS 1000557 WITH SCORE 1001690.348
AT ITER 6750 NEW BEST:: SOT 8292066 SOS 1122503 HAS SOPS 1122503 HAS SOUS 1000138 HAS SOUPS 1000138 WITH SCORE 1001260.503
AT ITER 6756 NEW BEST:: SOT 8292066 SOS 1122503 HAS SOPS 1122503 HAS SOUS 1000034 HAS SOUPS 1000034 WITH SCORE 1001156.503
AT ITER 6781 NEW BEST:: SOT 8292073 SOS 1122199 HAS SOPS 1122199 HAS SOUS 999999 HAS SOUPS 999999 WITH SCORE 1001121.199
AT ITER 6784 NEW BEST:: SOT 8292025 SOS 1122217 HAS SOPS 1122217 HAS SOUS 999951 HAS SOUPS 999951 WITH SCORE 1001073.217
AT ITER 6823 NEW BEST:: SOT 8292128 SOS 1122077 HAS SOPS 1122077 HAS SOUS 999811 HAS SOUPS 999811 WITH SCORE 1000933.077
AT ITER 6844 NEW BEST:: SOT 8292128 SOS 1122048 HAS SOPS 1122048 HAS SOUS 999782 HAS SOUPS 999782 WITH SCORE 1000904.048
AT ITER 6845 NEW BEST:: SOT 8292113 SOS 1122033 HAS SOPS 1122033 HAS SOUS 999767 HAS SOUPS 999767 WITH SCORE 1000889.033
AT ITER 6851 NEW BEST:: SOT 8292113 SOS 1122033 HAS SOPS 1122033 HAS SOUS 999766 HAS SOUPS 999766 WITH SCORE 1000888.033
AT ITER 6854 NEW BEST:: SOT 8291953 SOS 1122010 HAS SOPS 1122010 HAS SOUS 999743 HAS SOUPS 999743 WITH SCORE 1000865.01
AT ITER 6861 NEW BEST:: SOT 8291856 SOS 1121931 HAS SOPS 1121931 HAS SOUS 999664 HAS SOUPS 999664 WITH SCORE 1000785.931
AT ITER 6870 NEW BEST:: SOT 8291806 SOS 1121831 HAS SOPS 1121831 HAS SOUS 999564 HAS SOUPS 999564 WITH SCORE 1000685.831
AT ITER 6898 NEW BEST:: SOT 8291666 SOS 1121551 HAS SOPS 1121551 HAS SOUS 999284 HAS SOUPS 999284 WITH SCORE 1000405.551
AT ITER 6910 NEW BEST:: SOT 8291225 SOS 1121413 HAS SOPS 1121413 HAS SOUS 999049 HAS SOUPS 999049 WITH SCORE 1000170.413
AT ITER 6932 NEW BEST:: SOT 8291075 SOS 1121113 HAS SOPS 1121113 HAS SOUS 998910 HAS SOUPS 998910 WITH SCORE 1000031.113
AT ITER 6956 NEW BEST:: SOT 8290882 SOS 1120727 HAS SOPS 1120727 HAS SOUS 998303 HAS SOUPS 998303 WITH SCORE 999423.727
AT ITER 6960 NEW BEST:: SOT 8290882 SOS 1120727 HAS SOPS 1120727 HAS SOUS 998227 HAS SOUPS 998227 WITH SCORE 999347.727
AT ITER 6973 NEW BEST:: SOT 8290882 SOS 1120727 HAS SOPS 1120727 HAS SOUS 998124 HAS SOUPS 998124 WITH SCORE 999244.727
AT ITER 6987 NEW BEST:: SOT 8290882 SOS 1120646 HAS SOPS 1120646 HAS SOUS 998124 HAS SOUPS 998124 WITH SCORE 999244.646
AT ITER 7011 NEW BEST:: SOT 8290549 SOS 1119478 HAS SOPS 1119478 HAS SOUS 997510 HAS SOUPS 997510 WITH SCORE 998629.478
AT ITER 7024 NEW BEST:: SOT 8290422 SOS 1119476 HAS SOPS 1119476 HAS SOUS 997508 HAS SOUPS 997508 WITH SCORE 998627.476
AT ITER 7025 NEW BEST:: SOT 8290462 SOS 1119259 HAS SOPS 1119259 HAS SOUS 997291 HAS SOUPS 997291 WITH SCORE 998410.259
AT ITER 7050 NEW BEST:: SOT 8290285 SOS 1119259 HAS SOPS 1119259 HAS SOUS 997114 HAS SOUPS 997114 WITH SCORE 998233.259
AT ITER 7068 NEW BEST:: SOT 8290195 SOS 1119165 HAS SOPS 1119165 HAS SOUS 997020 HAS SOUPS 997020 WITH SCORE 998139.165
AT ITER 7120 NEW BEST:: SOT 8290195 SOS 1119164 HAS SOPS 1119164 HAS SOUS 997019 HAS SOUPS 997019 WITH SCORE 998138.164
AT ITER 7134 NEW BEST:: SOT 8290103 SOS 1119072 HAS SOPS 1119072 HAS SOUS 997019 HAS SOUPS 997019 WITH SCORE 998138.072
AT ITER 7135 NEW BEST:: SOT 8289966 SOS 1118798 HAS SOPS 1118798 HAS SOUS 996882 HAS SOUPS 996882 WITH SCORE 998000.798
AT ITER 7138 NEW BEST:: SOT 8289924 SOS 1118714 HAS SOPS 1118714 HAS SOUS 996798 HAS SOUPS 996798 WITH SCORE 997916.714
AT ITER 7146 NEW BEST:: SOT 8289924 SOS 1118594 HAS SOPS 1118594 HAS SOUS 996798 HAS SOUPS 996798 WITH SCORE 997916.594
AT ITER 7198 NEW BEST:: SOT 8289894 SOS 1118593 HAS SOPS 1118593 HAS SOUS 996797 HAS SOUPS 996797 WITH SCORE 997915.593
AT ITER 7243 NEW BEST:: SOT 8289881 SOS 1118526 HAS SOPS 1118526 HAS SOUS 996771 HAS SOUPS 996771 WITH SCORE 997889.526
AT ITER 7290 NEW BEST:: SOT 8289614 SOS 1117992 HAS SOPS 1117992 HAS SOUS 996175 HAS SOUPS 996175 WITH SCORE 997292.992
AT ITER 7301 NEW BEST:: SOT 8289451 SOS 1117666 HAS SOPS 1117666 HAS SOUS 995655 HAS SOUPS 995655 WITH SCORE 996772.666
AT ITER 7356 NEW BEST:: SOT 8289450 SOS 1117642 HAS SOPS 1117642 HAS SOUS 995631 HAS SOUPS 995631 WITH SCORE 996748.642
AT ITER 7357 NEW BEST:: SOT 8289391 SOS 1117603 HAS SOPS 1117603 HAS SOUS 995592 HAS SOUPS 995592 WITH SCORE 996709.603
AT ITER 7366 NEW BEST:: SOT 8289391 SOS 1117472 HAS SOPS 1117472 HAS SOUS 995461 HAS SOUPS 995461 WITH SCORE 996578.472
AT ITER 7375 NEW BEST:: SOT 8288837 SOS 1116264 HAS SOPS 1116264 HAS SOUS 995083 HAS SOUPS 995083 WITH SCORE 996199.264
AT ITER 7387 NEW BEST:: SOT 8288837 SOS 1116100 HAS SOPS 1116100 HAS SOUS 994919 HAS SOUPS 994919 WITH SCORE 996035.1
AT ITER 7420 NEW BEST:: SOT 8288905 SOS 1115781 HAS SOPS 1115781 HAS SOUS 994600 HAS SOUPS 994600 WITH SCORE 995715.781
AT ITER 7423 NEW BEST:: SOT 8288719 SOS 1115796 HAS SOPS 1115796 HAS SOUS 994513 HAS SOUPS 994513 WITH SCORE 995628.796
AT ITER 7429 NEW BEST:: SOT 8288715 SOS 1115788 HAS SOPS 1115788 HAS SOUS 994505 HAS SOUPS 994505 WITH SCORE 995620.788
AT ITER 7471 NEW BEST:: SOT 8288715 SOS 1115644 HAS SOPS 1115644 HAS SOUS 994505 HAS SOUPS 994505 WITH SCORE 995620.644
AT ITER 7499 NEW BEST:: SOT 8288715 SOS 1115523 HAS SOPS 1115523 HAS SOUS 994384 HAS SOUPS 994384 WITH SCORE 995499.523
AT ITER 7547 NEW BEST:: SOT 8288715 SOS 1115484 HAS SOPS 1115484 HAS SOUS 994345 HAS SOUPS 994345 WITH SCORE 995460.484
AT ITER 7569 NEW BEST:: SOT 8288638 SOS 1115330 HAS SOPS 1115330 HAS SOUS 994268 HAS SOUPS 994268 WITH SCORE 995383.33
AT ITER 7623 NEW BEST:: SOT 8288542 SOS 1115327 HAS SOPS 1115327 HAS SOUS 994265 HAS SOUPS 994265 WITH SCORE 995380.327
AT ITER 7640 NEW BEST:: SOT 8288468 SOS 1114794 HAS SOPS 1114794 HAS SOUS 994044 HAS SOUPS 994044 WITH SCORE 995158.794
AT ITER 7642 NEW BEST:: SOT 8288475 SOS 1114647 HAS SOPS 1114647 HAS SOUS 993897 HAS SOUPS 993897 WITH SCORE 995011.647
AT ITER 7650 NEW BEST:: SOT 8288475 SOS 1114379 HAS SOPS 1114379 HAS SOUS 993629 HAS SOUPS 993629 WITH SCORE 994743.379
AT ITER 7655 NEW BEST:: SOT 8288100 SOS 1114160 HAS SOPS 1114160 HAS SOUS 993295 HAS SOUPS 993295 WITH SCORE 994409.16
AT ITER 7679 NEW BEST:: SOT 8287556 SOS 1113347 HAS SOPS 1113347 HAS SOUS 992911 HAS SOUPS 992911 WITH SCORE 994024.347
AT ITER 7701 NEW BEST:: SOT 8287556 SOS 1113347 HAS SOPS 1113347 HAS SOUS 992744 HAS SOUPS 992744 WITH SCORE 993857.347
AT ITER 7746 NEW BEST:: SOT 8287519 SOS 1113160 HAS SOPS 1113160 HAS SOUS 992670 HAS SOUPS 992670 WITH SCORE 993783.16
AT ITER 7780 NEW BEST:: SOT 8287428 SOS 1112978 HAS SOPS 1112978 HAS SOUS 992532 HAS SOUPS 992532 WITH SCORE 993644.978
AT ITER 7783 NEW BEST:: SOT 8286960 SOS 1111808 HAS SOPS 1111808 HAS SOUS 991698 HAS SOUPS 991698 WITH SCORE 992809.808
AT ITER 7801 NEW BEST:: SOT 8286903 SOS 1111694 HAS SOPS 1111694 HAS SOUS 991622 HAS SOUPS 991622 WITH SCORE 992733.694
AT ITER 7809 NEW BEST:: SOT 8285996 SOS 1109941 HAS SOPS 1109941 HAS SOUS 990405 HAS SOUPS 990405 WITH SCORE 991514.941
AT ITER 7864 NEW BEST:: SOT 8285774 SOS 1109497 HAS SOPS 1109497 HAS SOUS 990072 HAS SOUPS 990072 WITH SCORE 991181.497
AT ITER 7913 NEW BEST:: SOT 8285774 SOS 1109331 HAS SOPS 1109331 HAS SOUS 990072 HAS SOUPS 990072 WITH SCORE 991181.331
AT ITER 7916 NEW BEST:: SOT 8285501 SOS 1109191 HAS SOPS 1109191 HAS SOUS 989932 HAS SOUPS 989932 WITH SCORE 991041.191
AT ITER 7929 NEW BEST:: SOT 8285501 SOS 1109152 HAS SOPS 1109152 HAS SOUS 989932 HAS SOUPS 989932 WITH SCORE 991041.152
AT ITER 7945 NEW BEST:: SOT 8285397 SOS 1109048 HAS SOPS 1109048 HAS SOUS 989828 HAS SOUPS 989828 WITH SCORE 990937.048
AT ITER 7953 NEW BEST:: SOT 8285352 SOS 1109069 HAS SOPS 1109069 HAS SOUS 989824 HAS SOUPS 989824 WITH SCORE 990933.069
AT ITER 7957 NEW BEST:: SOT 8285352 SOS 1109069 HAS SOPS 1109069 HAS SOUS 989823 HAS SOUPS 989823 WITH SCORE 990932.069
AT ITER 7988 NEW BEST:: SOT 8285270 SOS 1108905 HAS SOPS 1108905 HAS SOUS 989741 HAS SOUPS 989741 WITH SCORE 990849.905
AT ITER 8015 NEW BEST:: SOT 8285176 SOS 1108717 HAS SOPS 1108717 HAS SOUS 989647 HAS SOUPS 989647 WITH SCORE 990755.717
AT ITER 8083 NEW BEST:: SOT 8285126 SOS 1108681 HAS SOPS 1108681 HAS SOUS 989611 HAS SOUPS 989611 WITH SCORE 990719.681
AT ITER 8091 NEW BEST:: SOT 8285126 SOS 1108507 HAS SOPS 1108507 HAS SOUS 989437 HAS SOUPS 989437 WITH SCORE 990545.507
AT ITER 8162 NEW BEST:: SOT 8285064 SOS 1108259 HAS SOPS 1108259 HAS SOUS 989283 HAS SOUPS 989283 WITH SCORE 990391.259
AT ITER 8166 NEW BEST:: SOT 8284929 SOS 1108129 HAS SOPS 1108129 HAS SOUS 989148 HAS SOUPS 989148 WITH SCORE 990256.129
AT ITER 8168 NEW BEST:: SOT 8284929 SOS 1108005 HAS SOPS 1108005 HAS SOUS 989024 HAS SOUPS 989024 WITH SCORE 990132.005
AT ITER 8177 NEW BEST:: SOT 8284929 SOS 1107844 HAS SOPS 1107844 HAS SOUS 988863 HAS SOUPS 988863 WITH SCORE 989970.844
AT ITER 8194 NEW BEST:: SOT 8284894 SOS 1107774 HAS SOPS 1107774 HAS SOUS 988827 HAS SOUPS 988827 WITH SCORE 989934.774
AT ITER 8221 NEW BEST:: SOT 8284730 SOS 1107610 HAS SOPS 1107610 HAS SOUS 988663 HAS SOUPS 988663 WITH SCORE 989770.61
AT ITER 8229 NEW BEST:: SOT 8284730 SOS 1107610 HAS SOPS 1107610 HAS SOUS 988612 HAS SOUPS 988612 WITH SCORE 989719.61
AT ITER 8254 NEW BEST:: SOT 8284406 SOS 1107244 HAS SOPS 1107244 HAS SOUS 988246 HAS SOUPS 988246 WITH SCORE 989353.244
AT ITER 8277 NEW BEST:: SOT 8284371 SOS 1107236 HAS SOPS 1107236 HAS SOUS 988238 HAS SOUPS 988238 WITH SCORE 989345.236
AT ITER 8288 NEW BEST:: SOT 8284371 SOS 1107108 HAS SOPS 1107108 HAS SOUS 988110 HAS SOUPS 988110 WITH SCORE 989217.108
AT ITER 8314 NEW BEST:: SOT 8284371 SOS 1107013 HAS SOPS 1107013 HAS SOUS 988015 HAS SOUPS 988015 WITH SCORE 989122.013
AT ITER 8331 NEW BEST:: SOT 8284370 SOS 1107011 HAS SOPS 1107011 HAS SOUS 988013 HAS SOUPS 988013 WITH SCORE 989120.011
AT ITER 8344 NEW BEST:: SOT 8284404 SOS 1107010 HAS SOPS 1107010 HAS SOUS 988012 HAS SOUPS 988012 WITH SCORE 989119.01
AT ITER 8359 NEW BEST:: SOT 8284404 SOS 1107010 HAS SOPS 1107010 HAS SOUS 987904 HAS SOUPS 987904 WITH SCORE 989011.01
AT ITER 8360 NEW BEST:: SOT 8284400 SOS 1107008 HAS SOPS 1107008 HAS SOUS 987902 HAS SOUPS 987902 WITH SCORE 989009.008
AT ITER 8374 NEW BEST:: SOT 8284367 SOS 1106975 HAS SOPS 1106975 HAS SOUS 987902 HAS SOUPS 987902 WITH SCORE 989008.975
AT ITER 8398 NEW BEST:: SOT 8284367 SOS 1106977 HAS SOPS 1106977 HAS SOUS 987879 HAS SOUPS 987879 WITH SCORE 988985.977
AT ITER 8399 NEW BEST:: SOT 8284249 SOS 1106741 HAS SOPS 1106741 HAS SOUS 987643 HAS SOUPS 987643 WITH SCORE 988749.741
AT ITER 8405 NEW BEST:: SOT 8284248 SOS 1106739 HAS SOPS 1106739 HAS SOUS 987641 HAS SOUPS 987641 WITH SCORE 988747.739
AT ITER 8445 NEW BEST:: SOT 8284235 SOS 1106726 HAS SOPS 1106726 HAS SOUS 987628 HAS SOUPS 987628 WITH SCORE 988734.726
AT ITER 8552 NEW BEST:: SOT 8284084 SOS 1106374 HAS SOPS 1106374 HAS SOUS 987477 HAS SOUPS 987477 WITH SCORE 988583.374
AT ITER 8567 NEW BEST:: SOT 8283967 SOS 1106257 HAS SOPS 1106257 HAS SOUS 987477 HAS SOUPS 987477 WITH SCORE 988583.257
AT ITER 8612 NEW BEST:: SOT 8283954 SOS 1106231 HAS SOPS 1106231 HAS SOUS 987162 HAS SOUPS 987162 WITH SCORE 988268.231
AT ITER 8645 NEW BEST:: SOT 8283783 SOS 1106060 HAS SOPS 1106060 HAS SOUS 986991 HAS SOUPS 986991 WITH SCORE 988097.06
AT ITER 8686 NEW BEST:: SOT 8283782 SOS 1106058 HAS SOPS 1106058 HAS SOUS 986989 HAS SOUPS 986989 WITH SCORE 988095.058
AT ITER 8692 NEW BEST:: SOT 8283789 SOS 1106072 HAS SOPS 1106072 HAS SOUS 986463 HAS SOUPS 986463 WITH SCORE 987569.072
AT ITER 8699 NEW BEST:: SOT 8283687 SOS 1105868 HAS SOPS 1105868 HAS SOUS 986310 HAS SOUPS 986310 WITH SCORE 987415.868
AT ITER 8720 NEW BEST:: SOT 8283453 SOS 1105400 HAS SOPS 1105400 HAS SOUS 985624 HAS SOUPS 985624 WITH SCORE 986729.4
AT ITER 8742 NEW BEST:: SOT 8283390 SOS 1105400 HAS SOPS 1105400 HAS SOUS 985498 HAS SOUPS 985498 WITH SCORE 986603.4
AT ITER 8774 NEW BEST:: SOT 8283390 SOS 1105313 HAS SOPS 1105313 HAS SOUS 985411 HAS SOUPS 985411 WITH SCORE 986516.313
AT ITER 8846 NEW BEST:: SOT 8283390 SOS 1105177 HAS SOPS 1105177 HAS SOUS 985275 HAS SOUPS 985275 WITH SCORE 986380.177
AT ITER 8847 NEW BEST:: SOT 8283085 SOS 1105074 HAS SOPS 1105074 HAS SOUS 985172 HAS SOUPS 985172 WITH SCORE 986277.074
AT ITER 8868 NEW BEST:: SOT 8283053 SOS 1105010 HAS SOPS 1105010 HAS SOUS 985124 HAS SOUPS 985124 WITH SCORE 986229.01
AT ITER 8878 NEW BEST:: SOT 8283053 SOS 1104994 HAS SOPS 1104994 HAS SOUS 985108 HAS SOUPS 985108 WITH SCORE 986212.994
AT ITER 8884 NEW BEST:: SOT 8283053 SOS 1104994 HAS SOPS 1104994 HAS SOUS 984990 HAS SOUPS 984990 WITH SCORE 986094.994
AT ITER 8899 NEW BEST:: SOT 8283032 SOS 1104952 HAS SOPS 1104952 HAS SOUS 984948 HAS SOUPS 984948 WITH SCORE 986052.952
AT ITER 8950 NEW BEST:: SOT 8283032 SOS 1104841 HAS SOPS 1104841 HAS SOUS 984837 HAS SOUPS 984837 WITH SCORE 985941.841
AT ITER 8982 NEW BEST:: SOT 8283023 SOS 1104832 HAS SOPS 1104832 HAS SOUS 984828 HAS SOUPS 984828 WITH SCORE 985932.832
AT ITER 8987 NEW BEST:: SOT 8282998 SOS 1104807 HAS SOPS 1104807 HAS SOUS 984803 HAS SOUPS 984803 WITH SCORE 985907.807
AT ITER 8992 NEW BEST:: SOT 8282998 SOS 1104640 HAS SOPS 1104640 HAS SOUS 984636 HAS SOUPS 984636 WITH SCORE 985740.64
AT ITER 9030 NEW BEST:: SOT 8282994 SOS 1104632 HAS SOPS 1104632 HAS SOUS 984628 HAS SOUPS 984628 WITH SCORE 985732.632
AT ITER 9037 NEW BEST:: SOT 8282852 SOS 1104348 HAS SOPS 1104348 HAS SOUS 984628 HAS SOUPS 984628 WITH SCORE 985732.348
AT ITER 9041 NEW BEST:: SOT 8282852 SOS 1104272 HAS SOPS 1104272 HAS SOUS 984628 HAS SOUPS 984628 WITH SCORE 985732.272
AT ITER 9071 NEW BEST:: SOT 8282816 SOS 1104200 HAS SOPS 1104200 HAS SOUS 984556 HAS SOUPS 984556 WITH SCORE 985660.2
AT ITER 9093 NEW BEST:: SOT 8282774 SOS 1104116 HAS SOPS 1104116 HAS SOUS 984515 HAS SOUPS 984515 WITH SCORE 985619.116
AT ITER 9106 NEW BEST:: SOT 8282849 SOS 1104110 HAS SOPS 1104110 HAS SOUS 984509 HAS SOUPS 984509 WITH SCORE 985613.11
AT ITER 9171 NEW BEST:: SOT 8282826 SOS 1104087 HAS SOPS 1104087 HAS SOUS 984486 HAS SOUPS 984486 WITH SCORE 985590.087
AT ITER 9196 NEW BEST:: SOT 8282826 SOS 1103991 HAS SOPS 1103991 HAS SOUS 984390 HAS SOUPS 984390 WITH SCORE 985493.991
AT ITER 9199 NEW BEST:: SOT 8282826 SOS 1103941 HAS SOPS 1103941 HAS SOUS 984340 HAS SOUPS 984340 WITH SCORE 985443.941
AT ITER 9218 NEW BEST:: SOT 8282755 SOS 1104135 HAS SOPS 1104135 HAS SOUS 984269 HAS SOUPS 984269 WITH SCORE 985373.135
AT ITER 9224 NEW BEST:: SOT 8282888 SOS 1104134 HAS SOPS 1104134 HAS SOUS 984268 HAS SOUPS 984268 WITH SCORE 985372.134
AT ITER 9322 NEW BEST:: SOT 8282734 SOS 1103980 HAS SOPS 1103980 HAS SOUS 984037 HAS SOUPS 984037 WITH SCORE 985140.98
AT ITER 9407 NEW BEST:: SOT 8282632 SOS 1103776 HAS SOPS 1103776 HAS SOUS 983935 HAS SOUPS 983935 WITH SCORE 985038.776
AT ITER 9459 NEW BEST:: SOT 8282521 SOS 1103663 HAS SOPS 1103663 HAS SOUS 983822 HAS SOUPS 983822 WITH SCORE 984925.663
AT ITER 9522 NEW BEST:: SOT 8282521 SOS 1103663 HAS SOPS 1103663 HAS SOUS 983800 HAS SOUPS 983800 WITH SCORE 984903.663
AT ITER 9536 NEW BEST:: SOT 8282521 SOS 1103463 HAS SOPS 1103463 HAS SOUS 983600 HAS SOUPS 983600 WITH SCORE 984703.463
AT ITER 9569 NEW BEST:: SOT 8282932 SOS 1103200 HAS SOPS 1103200 HAS SOUS 983265 HAS SOUPS 983265 WITH SCORE 984368.2
AT ITER 9580 NEW BEST:: SOT 8282720 SOS 1102776 HAS SOPS 1102776 HAS SOUS 982841 HAS SOUPS 982841 WITH SCORE 983943.776
AT ITER 9584 NEW BEST:: SOT 8282747 SOS 1102773 HAS SOPS 1102773 HAS SOUS 982838 HAS SOUPS 982838 WITH SCORE 983940.773
AT ITER 9589 NEW BEST:: SOT 8282747 SOS 1102921 HAS SOPS 1102921 HAS SOUS 982690 HAS SOUPS 982690 WITH SCORE 983792.921
AT ITER 9606 NEW BEST:: SOT 8282683 SOS 1102793 HAS SOPS 1102793 HAS SOUS 982451 HAS SOUPS 982451 WITH SCORE 983553.793
AT ITER 9642 NEW BEST:: SOT 8282648 SOS 1102723 HAS SOPS 1102723 HAS SOUS 982381 HAS SOUPS 982381 WITH SCORE 983483.723
AT ITER 9656 NEW BEST:: SOT 8282647 SOS 1102721 HAS SOPS 1102721 HAS SOUS 982379 HAS SOUPS 982379 WITH SCORE 983481.721
AT ITER 9696 NEW BEST:: SOT 8282321 SOS 1102290 HAS SOPS 1102290 HAS SOUS 981933 HAS SOUPS 981933 WITH SCORE 983035.29
AT ITER 9706 NEW BEST:: SOT 8282240 SOS 1102182 HAS SOPS 1102182 HAS SOUS 981864 HAS SOUPS 981864 WITH SCORE 982966.182
AT ITER 9709 NEW BEST:: SOT 8282280 SOS 1102262 HAS SOPS 1102262 HAS SOUS 981763 HAS SOUPS 981763 WITH SCORE 982865.262
AT ITER 9742 NEW BEST:: SOT 8282280 SOS 1102211 HAS SOPS 1102211 HAS SOUS 981712 HAS SOUPS 981712 WITH SCORE 982814.211
AT ITER 9800 NEW BEST:: SOT 8282365 SOS 1102209 HAS SOPS 1102209 HAS SOUS 981710 HAS SOUPS 981710 WITH SCORE 982812.209
AT ITER 9821 NEW BEST:: SOT 8282262 SOS 1102645 HAS SOPS 1102645 HAS SOUS 981286 HAS SOUPS 981286 WITH SCORE 982388.645
AT ITER 9859 NEW BEST:: SOT 8282262 SOS 1102285 HAS SOPS 1102285 HAS SOUS 981286 HAS SOUPS 981286 WITH SCORE 982388.285
AT ITER 9913 NEW BEST:: SOT 8282263 SOS 1102163 HAS SOPS 1102163 HAS SOUS 981164 HAS SOUPS 981164 WITH SCORE 982266.163
AT ITER 9955 NEW BEST:: SOT 8282180 SOS 1101997 HAS SOPS 1101997 HAS SOUS 981163 HAS SOUPS 981163 WITH SCORE 982264.997
AT ITER 9957 NEW BEST:: SOT 8282181 SOS 1101996 HAS SOPS 1101996 HAS SOUS 981162 HAS SOUPS 981162 WITH SCORE 982263.996
AT ITER 9964 NEW BEST:: SOT 8282181 SOS 1101986 HAS SOPS 1101986 HAS SOUS 981152 HAS SOUPS 981152 WITH SCORE 982253.986
AT ITER 9987 NEW BEST:: SOT 8282306 SOS 1101801 HAS SOPS 1101801 HAS SOUS 981034 HAS SOUPS 981034 WITH SCORE 982135.801
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 12292284 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16121668 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

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