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-167813599800168.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 ASLink-PT-10b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599800168
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 7.5K Feb 26 13:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 13:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 13:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 13:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 13:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 158K Feb 26 13:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 13:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 13:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:30 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 1.4M 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 1678730497662

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=ASLink-PT-10b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 18:01:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 18:01:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 18:01:40] [INFO ] Load time of PNML (sax parser for PT used): 323 ms
[2023-03-13 18:01:40] [INFO ] Transformed 4410 places.
[2023-03-13 18:01:40] [INFO ] Transformed 5405 transitions.
[2023-03-13 18:01:40] [INFO ] Found NUPN structural information;
[2023-03-13 18:01:40] [INFO ] Parsed PT model containing 4410 places and 5405 transitions and 16377 arcs in 506 ms.
[2023-03-13 18:01:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4410 places, 5405 transitions and 16377 arcs took 41 ms.
Total runtime 614 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 10b
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: 4410 places, 5405 transitions, 16377 arcs.
AT ITER 0 NEW BEST:: SOT 12534095 SOS 1884602 HAS SOPS 1884602 HAS SOUS 1530000 HAS SOUPS 1530000 WITH SCORE 1531884.602
AT ITER 5 NEW BEST:: SOT 12533710 SOS 1883830 HAS SOPS 1883830 HAS SOUS 1529228 HAS SOUPS 1529228 WITH SCORE 1531111.83
AT ITER 6 NEW BEST:: SOT 12533600 SOS 1883599 HAS SOPS 1883599 HAS SOUS 1528997 HAS SOUPS 1528997 WITH SCORE 1530880.599
AT ITER 9 NEW BEST:: SOT 12531856 SOS 1889606 HAS SOPS 1889606 HAS SOUS 1528335 HAS SOUPS 1528335 WITH SCORE 1530224.606
AT ITER 13 NEW BEST:: SOT 12531633 SOS 1889572 HAS SOPS 1889572 HAS SOUS 1528301 HAS SOUPS 1528301 WITH SCORE 1530190.572
AT ITER 24 NEW BEST:: SOT 12531342 SOS 1890613 HAS SOPS 1890613 HAS SOUS 1527711 HAS SOUPS 1527711 WITH SCORE 1529601.613
AT ITER 39 NEW BEST:: SOT 12531437 SOS 1890515 HAS SOPS 1890515 HAS SOUS 1527682 HAS SOUPS 1527682 WITH SCORE 1529572.515
AT ITER 52 NEW BEST:: SOT 12531299 SOS 1890239 HAS SOPS 1890239 HAS SOUS 1527544 HAS SOUPS 1527544 WITH SCORE 1529434.239
AT ITER 62 NEW BEST:: SOT 12529688 SOS 1888798 HAS SOPS 1888798 HAS SOUS 1525998 HAS SOUPS 1525998 WITH SCORE 1527886.798
AT ITER 69 NEW BEST:: SOT 12529461 SOS 1888117 HAS SOPS 1888117 HAS SOUS 1525544 HAS SOUPS 1525544 WITH SCORE 1527432.117
AT ITER 83 NEW BEST:: SOT 12529545 SOS 1888004 HAS SOPS 1888004 HAS SOUS 1525491 HAS SOUPS 1525491 WITH SCORE 1527379.004
AT ITER 87 NEW BEST:: SOT 12529545 SOS 1887993 HAS SOPS 1887993 HAS SOUS 1525480 HAS SOUPS 1525480 WITH SCORE 1527367.993
AT ITER 188 NEW BEST:: SOT 12529255 SOS 1887871 HAS SOPS 1887871 HAS SOUS 1525232 HAS SOUPS 1525232 WITH SCORE 1527119.871
AT ITER 231 NEW BEST:: SOT 12526867 SOS 1883604 HAS SOPS 1883604 HAS SOUS 1525046 HAS SOUPS 1525046 WITH SCORE 1526929.604
AT ITER 236 NEW BEST:: SOT 12526172 SOS 1883158 HAS SOPS 1883158 HAS SOUS 1524600 HAS SOUPS 1524600 WITH SCORE 1526483.158
AT ITER 246 NEW BEST:: SOT 12526172 SOS 1883157 HAS SOPS 1883157 HAS SOUS 1524599 HAS SOUPS 1524599 WITH SCORE 1526482.157
AT ITER 274 NEW BEST:: SOT 12525844 SOS 1882501 HAS SOPS 1882501 HAS SOUS 1523943 HAS SOUPS 1523943 WITH SCORE 1525825.501
AT ITER 300 NEW BEST:: SOT 12525844 SOS 1882442 HAS SOPS 1882442 HAS SOUS 1523881 HAS SOUPS 1523881 WITH SCORE 1525763.442
AT ITER 308 NEW BEST:: SOT 12525745 SOS 1882321 HAS SOPS 1882321 HAS SOUS 1523746 HAS SOUPS 1523746 WITH SCORE 1525628.321
AT ITER 312 NEW BEST:: SOT 12525571 SOS 1882252 HAS SOPS 1882252 HAS SOUS 1523677 HAS SOUPS 1523677 WITH SCORE 1525559.252
AT ITER 338 NEW BEST:: SOT 12525563 SOS 1882230 HAS SOPS 1882230 HAS SOUS 1523655 HAS SOUPS 1523655 WITH SCORE 1525537.23
AT ITER 343 NEW BEST:: SOT 12525533 SOS 1881940 HAS SOPS 1881940 HAS SOUS 1523367 HAS SOUPS 1523367 WITH SCORE 1525248.94
AT ITER 347 NEW BEST:: SOT 12525533 SOS 1883350 HAS SOPS 1883350 HAS SOUS 1523357 HAS SOUPS 1523357 WITH SCORE 1525240.35
AT ITER 349 NEW BEST:: SOT 12524904 SOS 1882611 HAS SOPS 1882611 HAS SOUS 1522618 HAS SOUPS 1522618 WITH SCORE 1524500.611
AT ITER 381 NEW BEST:: SOT 12524663 SOS 1882369 HAS SOPS 1882369 HAS SOUS 1522375 HAS SOUPS 1522375 WITH SCORE 1524257.369
AT ITER 396 NEW BEST:: SOT 12524663 SOS 1882021 HAS SOPS 1882021 HAS SOUS 1522375 HAS SOUPS 1522375 WITH SCORE 1524257.021
AT ITER 407 NEW BEST:: SOT 12524131 SOS 1881597 HAS SOPS 1881597 HAS SOUS 1521950 HAS SOUPS 1521950 WITH SCORE 1523831.597
AT ITER 426 NEW BEST:: SOT 12523778 SOS 1881244 HAS SOPS 1881244 HAS SOUS 1521597 HAS SOUPS 1521597 WITH SCORE 1523478.244
AT ITER 463 NEW BEST:: SOT 12523778 SOS 1881244 HAS SOPS 1881244 HAS SOUS 1521596 HAS SOUPS 1521596 WITH SCORE 1523477.244
AT ITER 469 NEW BEST:: SOT 12523257 SOS 1880723 HAS SOPS 1880723 HAS SOUS 1521075 HAS SOUPS 1521075 WITH SCORE 1522955.723
AT ITER 501 NEW BEST:: SOT 12523092 SOS 1880275 HAS SOPS 1880275 HAS SOUS 1520743 HAS SOUPS 1520743 WITH SCORE 1522623.275
AT ITER 503 NEW BEST:: SOT 12522955 SOS 1880138 HAS SOPS 1880138 HAS SOUS 1520602 HAS SOUPS 1520602 WITH SCORE 1522482.138
AT ITER 506 NEW BEST:: SOT 12522350 SOS 1879533 HAS SOPS 1879533 HAS SOUS 1519997 HAS SOUPS 1519997 WITH SCORE 1521876.533
AT ITER 519 NEW BEST:: SOT 12522350 SOS 1878730 HAS SOPS 1878730 HAS SOUS 1519994 HAS SOUPS 1519994 WITH SCORE 1521872.73
AT ITER 521 NEW BEST:: SOT 12522315 SOS 1878646 HAS SOPS 1878646 HAS SOUS 1519910 HAS SOUPS 1519910 WITH SCORE 1521788.646
AT ITER 535 NEW BEST:: SOT 12522150 SOS 1878246 HAS SOPS 1878246 HAS SOUS 1519784 HAS SOUPS 1519784 WITH SCORE 1521662.246
AT ITER 540 NEW BEST:: SOT 12522077 SOS 1878213 HAS SOPS 1878213 HAS SOUS 1519723 HAS SOUPS 1519723 WITH SCORE 1521601.213
AT ITER 546 NEW BEST:: SOT 12520625 SOS 1882320 HAS SOPS 1882320 HAS SOUS 1519321 HAS SOUPS 1519321 WITH SCORE 1521203.32
AT ITER 576 NEW BEST:: SOT 12520625 SOS 1882220 HAS SOPS 1882220 HAS SOUS 1519321 HAS SOUPS 1519321 WITH SCORE 1521203.22
AT ITER 610 NEW BEST:: SOT 12520647 SOS 1881938 HAS SOPS 1881938 HAS SOUS 1519039 HAS SOUPS 1519039 WITH SCORE 1520920.938
AT ITER 659 NEW BEST:: SOT 12520460 SOS 1882188 HAS SOPS 1882188 HAS SOUS 1518965 HAS SOUPS 1518965 WITH SCORE 1520847.188
AT ITER 662 NEW BEST:: SOT 12520161 SOS 1881889 HAS SOPS 1881889 HAS SOUS 1518666 HAS SOUPS 1518666 WITH SCORE 1520547.889
AT ITER 664 NEW BEST:: SOT 12520161 SOS 1881885 HAS SOPS 1881885 HAS SOUS 1518662 HAS SOUPS 1518662 WITH SCORE 1520543.885
AT ITER 683 NEW BEST:: SOT 12518798 SOS 1889284 HAS SOPS 1889284 HAS SOUS 1518430 HAS SOUPS 1518430 WITH SCORE 1520319.284
AT ITER 733 NEW BEST:: SOT 12518798 SOS 1889216 HAS SOPS 1889216 HAS SOUS 1518362 HAS SOUPS 1518362 WITH SCORE 1520251.216
AT ITER 752 NEW BEST:: SOT 12518798 SOS 1889216 HAS SOPS 1889216 HAS SOUS 1518358 HAS SOUPS 1518358 WITH SCORE 1520247.216
AT ITER 753 NEW BEST:: SOT 12518358 SOS 1888575 HAS SOPS 1888575 HAS SOUS 1517904 HAS SOUPS 1517904 WITH SCORE 1519792.575
AT ITER 758 NEW BEST:: SOT 12518358 SOS 1888257 HAS SOPS 1888257 HAS SOUS 1517586 HAS SOUPS 1517586 WITH SCORE 1519474.257
AT ITER 798 NEW BEST:: SOT 12518420 SOS 1890259 HAS SOPS 1890259 HAS SOUS 1517327 HAS SOUPS 1517327 WITH SCORE 1519217.259
AT ITER 806 NEW BEST:: SOT 12518300 SOS 1890139 HAS SOPS 1890139 HAS SOUS 1517199 HAS SOUPS 1517199 WITH SCORE 1519089.139
AT ITER 858 NEW BEST:: SOT 12518300 SOS 1890084 HAS SOPS 1890084 HAS SOUS 1517144 HAS SOUPS 1517144 WITH SCORE 1519034.084
AT ITER 876 NEW BEST:: SOT 12517959 SOS 1889747 HAS SOPS 1889747 HAS SOUS 1516803 HAS SOUPS 1516803 WITH SCORE 1518692.747
AT ITER 880 NEW BEST:: SOT 12517731 SOS 1889540 HAS SOPS 1889540 HAS SOUS 1516607 HAS SOUPS 1516607 WITH SCORE 1518496.54
AT ITER 938 NEW BEST:: SOT 12517469 SOS 1889016 HAS SOPS 1889016 HAS SOUS 1516083 HAS SOUPS 1516083 WITH SCORE 1517972.016
AT ITER 959 NEW BEST:: SOT 12517349 SOS 1888776 HAS SOPS 1888776 HAS SOUS 1515960 HAS SOUPS 1515960 WITH SCORE 1517848.776
AT ITER 1043 NEW BEST:: SOT 12517168 SOS 1888414 HAS SOPS 1888414 HAS SOUS 1515598 HAS SOUPS 1515598 WITH SCORE 1517486.414
AT ITER 1071 NEW BEST:: SOT 12517168 SOS 1888413 HAS SOPS 1888413 HAS SOUS 1515597 HAS SOUPS 1515597 WITH SCORE 1517485.413
AT ITER 1092 NEW BEST:: SOT 12517024 SOS 1888269 HAS SOPS 1888269 HAS SOUS 1515453 HAS SOUPS 1515453 WITH SCORE 1517341.269
AT ITER 1102 NEW BEST:: SOT 12516947 SOS 1888097 HAS SOPS 1888097 HAS SOUS 1515281 HAS SOUPS 1515281 WITH SCORE 1517169.097
AT ITER 1149 NEW BEST:: SOT 12515801 SOS 1887721 HAS SOPS 1887721 HAS SOUS 1514471 HAS SOUPS 1514471 WITH SCORE 1516358.721
AT ITER 1154 NEW BEST:: SOT 12515532 SOS 1887516 HAS SOPS 1887516 HAS SOUS 1514266 HAS SOUPS 1514266 WITH SCORE 1516153.516
AT ITER 1170 NEW BEST:: SOT 12515491 SOS 1887434 HAS SOPS 1887434 HAS SOUS 1514184 HAS SOUPS 1514184 WITH SCORE 1516071.434
AT ITER 1209 NEW BEST:: SOT 12515434 SOS 1887320 HAS SOPS 1887320 HAS SOUS 1514070 HAS SOUPS 1514070 WITH SCORE 1515957.32
AT ITER 1232 NEW BEST:: SOT 12515160 SOS 1887042 HAS SOPS 1887042 HAS SOUS 1513779 HAS SOUPS 1513779 WITH SCORE 1515666.042
AT ITER 1315 NEW BEST:: SOT 12514969 SOS 1886837 HAS SOPS 1886837 HAS SOUS 1513546 HAS SOUPS 1513546 WITH SCORE 1515432.837
AT ITER 1316 NEW BEST:: SOT 12514766 SOS 1886634 HAS SOPS 1886634 HAS SOUS 1513343 HAS SOUPS 1513343 WITH SCORE 1515229.634
AT ITER 1324 NEW BEST:: SOT 12514690 SOS 1886622 HAS SOPS 1886622 HAS SOUS 1512659 HAS SOUPS 1512659 WITH SCORE 1514545.622
AT ITER 1339 NEW BEST:: SOT 12514460 SOS 1886391 HAS SOPS 1886391 HAS SOUS 1512428 HAS SOUPS 1512428 WITH SCORE 1514314.391
AT ITER 1341 NEW BEST:: SOT 12514261 SOS 1885993 HAS SOPS 1885993 HAS SOUS 1512228 HAS SOUPS 1512228 WITH SCORE 1514113.993
AT ITER 1360 NEW BEST:: SOT 12513980 SOS 1885690 HAS SOPS 1885690 HAS SOUS 1511897 HAS SOUPS 1511897 WITH SCORE 1513782.69
AT ITER 1489 NEW BEST:: SOT 12513974 SOS 1887653 HAS SOPS 1887653 HAS SOUS 1511879 HAS SOUPS 1511879 WITH SCORE 1513766.653
AT ITER 1508 NEW BEST:: SOT 12513811 SOS 1887316 HAS SOPS 1887316 HAS SOUS 1511542 HAS SOUPS 1511542 WITH SCORE 1513429.316
AT ITER 1531 NEW BEST:: SOT 12513382 SOS 1886881 HAS SOPS 1886881 HAS SOUS 1511107 HAS SOUPS 1511107 WITH SCORE 1512993.881
AT ITER 1550 NEW BEST:: SOT 12513380 SOS 1886877 HAS SOPS 1886877 HAS SOUS 1511103 HAS SOUPS 1511103 WITH SCORE 1512989.877
AT ITER 1575 NEW BEST:: SOT 12513380 SOS 1886832 HAS SOPS 1886832 HAS SOUS 1511058 HAS SOUPS 1511058 WITH SCORE 1512944.832
AT ITER 1662 NEW BEST:: SOT 12513337 SOS 1886701 HAS SOPS 1886701 HAS SOUS 1510970 HAS SOUPS 1510970 WITH SCORE 1512856.701
AT ITER 1674 NEW BEST:: SOT 12513221 SOS 1886542 HAS SOPS 1886542 HAS SOUS 1510926 HAS SOUPS 1510926 WITH SCORE 1512812.542
AT ITER 1689 NEW BEST:: SOT 12512958 SOS 1886177 HAS SOPS 1886177 HAS SOUS 1510678 HAS SOUPS 1510678 WITH SCORE 1512564.177
AT ITER 1706 NEW BEST:: SOT 12512958 SOS 1886173 HAS SOPS 1886173 HAS SOUS 1510674 HAS SOUPS 1510674 WITH SCORE 1512560.173
AT ITER 1725 NEW BEST:: SOT 12512534 SOS 1885325 HAS SOPS 1885325 HAS SOUS 1509826 HAS SOUPS 1509826 WITH SCORE 1511711.325
AT ITER 1727 NEW BEST:: SOT 12512381 SOS 1885121 HAS SOPS 1885121 HAS SOUS 1509775 HAS SOUPS 1509775 WITH SCORE 1511660.121
AT ITER 1729 NEW BEST:: SOT 12512381 SOS 1885094 HAS SOPS 1885094 HAS SOUS 1509748 HAS SOUPS 1509748 WITH SCORE 1511633.094
AT ITER 1747 NEW BEST:: SOT 12512176 SOS 1884479 HAS SOPS 1884479 HAS SOUS 1509320 HAS SOUPS 1509320 WITH SCORE 1511204.479
AT ITER 1757 NEW BEST:: SOT 12509131 SOS 1881650 HAS SOPS 1881650 HAS SOUS 1509130 HAS SOUPS 1509130 WITH SCORE 1511011.65
AT ITER 1766 NEW BEST:: SOT 12508960 SOS 1881675 HAS SOPS 1881675 HAS SOUS 1509070 HAS SOUPS 1509070 WITH SCORE 1510951.675
AT ITER 1768 NEW BEST:: SOT 12506916 SOS 1879339 HAS SOPS 1879339 HAS SOUS 1509070 HAS SOUPS 1509070 WITH SCORE 1510949.339
AT ITER 1772 NEW BEST:: SOT 12506886 SOS 1879124 HAS SOPS 1879124 HAS SOUS 1508855 HAS SOUPS 1508855 WITH SCORE 1510734.124
AT ITER 1773 NEW BEST:: SOT 12505455 SOS 1877690 HAS SOPS 1877690 HAS SOUS 1507411 HAS SOUPS 1507411 WITH SCORE 1509288.69
AT ITER 1777 NEW BEST:: SOT 12505454 SOS 1877433 HAS SOPS 1877433 HAS SOUS 1507406 HAS SOUPS 1507406 WITH SCORE 1509283.433
AT ITER 1784 NEW BEST:: SOT 12505454 SOS 1877406 HAS SOPS 1877406 HAS SOUS 1507406 HAS SOUPS 1507406 WITH SCORE 1509283.406
AT ITER 1810 NEW BEST:: SOT 12503109 SOS 1874822 HAS SOPS 1874822 HAS SOUS 1504726 HAS SOUPS 1504726 WITH SCORE 1506600.822
AT ITER 1815 NEW BEST:: SOT 12502950 SOS 1874399 HAS SOPS 1874399 HAS SOUS 1504408 HAS SOUPS 1504408 WITH SCORE 1506282.399
AT ITER 1827 NEW BEST:: SOT 12502727 SOS 1874254 HAS SOPS 1874254 HAS SOUS 1504263 HAS SOUPS 1504263 WITH SCORE 1506137.254
AT ITER 1863 NEW BEST:: SOT 12502726 SOS 1874252 HAS SOPS 1874252 HAS SOUS 1504261 HAS SOUPS 1504261 WITH SCORE 1506135.252
AT ITER 1878 NEW BEST:: SOT 12502726 SOS 1874001 HAS SOPS 1874001 HAS SOUS 1504260 HAS SOUPS 1504260 WITH SCORE 1506134.001
AT ITER 1899 NEW BEST:: SOT 12502670 SOS 1873945 HAS SOPS 1873945 HAS SOUS 1504188 HAS SOUPS 1504188 WITH SCORE 1506061.945
AT ITER 1951 NEW BEST:: SOT 12501733 SOS 1871915 HAS SOPS 1871915 HAS SOUS 1503444 HAS SOUPS 1503444 WITH SCORE 1505315.915
AT ITER 1982 NEW BEST:: SOT 12501733 SOS 1871915 HAS SOPS 1871915 HAS SOUS 1503441 HAS SOUPS 1503441 WITH SCORE 1505312.915
AT ITER 2010 NEW BEST:: SOT 12501713 SOS 1871875 HAS SOPS 1871875 HAS SOUS 1503416 HAS SOUPS 1503416 WITH SCORE 1505287.875
AT ITER 2014 NEW BEST:: SOT 12501709 SOS 1871867 HAS SOPS 1871867 HAS SOUS 1503408 HAS SOUPS 1503408 WITH SCORE 1505279.867
AT ITER 2016 NEW BEST:: SOT 12501631 SOS 1871657 HAS SOPS 1871657 HAS SOUS 1503234 HAS SOUPS 1503234 WITH SCORE 1505105.657
AT ITER 2038 NEW BEST:: SOT 12501432 SOS 1871258 HAS SOPS 1871258 HAS SOUS 1502835 HAS SOUPS 1502835 WITH SCORE 1504706.258
AT ITER 2044 NEW BEST:: SOT 12501168 SOS 1870722 HAS SOPS 1870722 HAS SOUS 1502530 HAS SOUPS 1502530 WITH SCORE 1504400.722
AT ITER 2048 NEW BEST:: SOT 12500763 SOS 1870334 HAS SOPS 1870334 HAS SOUS 1502138 HAS SOUPS 1502138 WITH SCORE 1504008.334
AT ITER 2091 NEW BEST:: SOT 12500762 SOS 1870332 HAS SOPS 1870332 HAS SOUS 1502136 HAS SOUPS 1502136 WITH SCORE 1504006.332
AT ITER 2095 NEW BEST:: SOT 12500415 SOS 1870074 HAS SOPS 1870074 HAS SOUS 1501613 HAS SOUPS 1501613 WITH SCORE 1503483.074
AT ITER 2102 NEW BEST:: SOT 12500290 SOS 1870081 HAS SOPS 1870081 HAS SOUS 1501487 HAS SOUPS 1501487 WITH SCORE 1503357.081
AT ITER 2126 NEW BEST:: SOT 12500232 SOS 1869907 HAS SOPS 1869907 HAS SOUS 1501370 HAS SOUPS 1501370 WITH SCORE 1503239.907
AT ITER 2189 NEW BEST:: SOT 12500100 SOS 1869718 HAS SOPS 1869718 HAS SOUS 1501181 HAS SOUPS 1501181 WITH SCORE 1503050.718
AT ITER 2246 NEW BEST:: SOT 12499834 SOS 1869186 HAS SOPS 1869186 HAS SOUS 1500648 HAS SOUPS 1500648 WITH SCORE 1502517.186
AT ITER 2262 NEW BEST:: SOT 12499403 SOS 1868754 HAS SOPS 1868754 HAS SOUS 1500216 HAS SOUPS 1500216 WITH SCORE 1502084.754
AT ITER 2281 NEW BEST:: SOT 12498986 SOS 1868320 HAS SOPS 1868320 HAS SOUS 1499782 HAS SOUPS 1499782 WITH SCORE 1501650.32
AT ITER 2309 NEW BEST:: SOT 12498937 SOS 1868222 HAS SOPS 1868222 HAS SOUS 1499725 HAS SOUPS 1499725 WITH SCORE 1501593.222
AT ITER 2322 NEW BEST:: SOT 12498818 SOS 1868120 HAS SOPS 1868120 HAS SOUS 1499623 HAS SOUPS 1499623 WITH SCORE 1501491.12
AT ITER 2358 NEW BEST:: SOT 12498700 SOS 1867352 HAS SOPS 1867352 HAS SOUS 1499380 HAS SOUPS 1499380 WITH SCORE 1501247.352
AT ITER 2401 NEW BEST:: SOT 12498526 SOS 1866899 HAS SOPS 1866899 HAS SOUS 1499031 HAS SOUPS 1499031 WITH SCORE 1500897.899
AT ITER 2411 NEW BEST:: SOT 12499990 SOS 1869043 HAS SOPS 1869043 HAS SOUS 1498976 HAS SOUPS 1498976 WITH SCORE 1500845.043
AT ITER 2448 NEW BEST:: SOT 12499874 SOS 1868913 HAS SOPS 1868913 HAS SOUS 1498846 HAS SOUPS 1498846 WITH SCORE 1500714.913
AT ITER 2450 NEW BEST:: SOT 12499543 SOS 1868889 HAS SOPS 1868889 HAS SOUS 1498846 HAS SOUPS 1498846 WITH SCORE 1500714.889
AT ITER 2462 NEW BEST:: SOT 12499543 SOS 1868676 HAS SOPS 1868676 HAS SOUS 1498845 HAS SOUPS 1498845 WITH SCORE 1500713.676
AT ITER 2501 NEW BEST:: SOT 12499274 SOS 1867851 HAS SOPS 1867851 HAS SOUS 1498307 HAS SOUPS 1498307 WITH SCORE 1500174.851
AT ITER 2510 NEW BEST:: SOT 12499274 SOS 1867850 HAS SOPS 1867850 HAS SOUS 1498306 HAS SOUPS 1498306 WITH SCORE 1500173.85
AT ITER 2518 NEW BEST:: SOT 12497070 SOS 1868660 HAS SOPS 1868660 HAS SOUS 1496416 HAS SOUPS 1496416 WITH SCORE 1498284.66
AT ITER 2540 NEW BEST:: SOT 12496363 SOS 1868209 HAS SOPS 1868209 HAS SOUS 1495965 HAS SOUPS 1495965 WITH SCORE 1497833.209
AT ITER 2582 NEW BEST:: SOT 12496258 SOS 1868091 HAS SOPS 1868091 HAS SOUS 1495784 HAS SOUPS 1495784 WITH SCORE 1497652.091
AT ITER 2587 NEW BEST:: SOT 12496257 SOS 1868089 HAS SOPS 1868089 HAS SOUS 1495782 HAS SOUPS 1495782 WITH SCORE 1497650.089
AT ITER 2623 NEW BEST:: SOT 12496257 SOS 1868086 HAS SOPS 1868086 HAS SOUS 1495779 HAS SOUPS 1495779 WITH SCORE 1497647.086
AT ITER 2628 NEW BEST:: SOT 12496195 SOS 1867962 HAS SOPS 1867962 HAS SOUS 1495655 HAS SOUPS 1495655 WITH SCORE 1497522.962
AT ITER 2631 NEW BEST:: SOT 12495755 SOS 1867526 HAS SOPS 1867526 HAS SOUS 1495215 HAS SOUPS 1495215 WITH SCORE 1497082.526
AT ITER 2671 NEW BEST:: SOT 12495755 SOS 1867323 HAS SOPS 1867323 HAS SOUS 1495213 HAS SOUPS 1495213 WITH SCORE 1497080.323
AT ITER 2700 NEW BEST:: SOT 12495334 SOS 1866902 HAS SOPS 1866902 HAS SOUS 1494792 HAS SOUPS 1494792 WITH SCORE 1496658.902
AT ITER 2703 NEW BEST:: SOT 12495057 SOS 1866347 HAS SOPS 1866347 HAS SOUS 1494237 HAS SOUPS 1494237 WITH SCORE 1496103.347
AT ITER 2709 NEW BEST:: SOT 12494946 SOS 1865854 HAS SOPS 1865854 HAS SOUS 1494014 HAS SOUPS 1494014 WITH SCORE 1495879.854
AT ITER 2717 NEW BEST:: SOT 12494718 SOS 1865614 HAS SOPS 1865614 HAS SOUS 1493382 HAS SOUPS 1493382 WITH SCORE 1495247.614
AT ITER 2767 NEW BEST:: SOT 12494333 SOS 1864792 HAS SOPS 1864792 HAS SOUS 1492809 HAS SOUPS 1492809 WITH SCORE 1494673.792
AT ITER 2774 NEW BEST:: SOT 12494333 SOS 1864730 HAS SOPS 1864730 HAS SOUS 1492747 HAS SOUPS 1492747 WITH SCORE 1494611.73
AT ITER 2783 NEW BEST:: SOT 12494189 SOS 1864572 HAS SOPS 1864572 HAS SOUS 1492575 HAS SOUPS 1492575 WITH SCORE 1494439.572
AT ITER 2797 NEW BEST:: SOT 12494189 SOS 1864528 HAS SOPS 1864528 HAS SOUS 1492575 HAS SOUPS 1492575 WITH SCORE 1494439.528
AT ITER 2822 NEW BEST:: SOT 12494189 SOS 1864288 HAS SOPS 1864288 HAS SOUS 1492574 HAS SOUPS 1492574 WITH SCORE 1494438.288
AT ITER 2875 NEW BEST:: SOT 12494189 SOS 1864244 HAS SOPS 1864244 HAS SOUS 1492530 HAS SOUPS 1492530 WITH SCORE 1494394.244
AT ITER 2888 NEW BEST:: SOT 12494167 SOS 1864206 HAS SOPS 1864206 HAS SOUS 1492387 HAS SOUPS 1492387 WITH SCORE 1494251.206
AT ITER 2904 NEW BEST:: SOT 12493825 SOS 1864534 HAS SOPS 1864534 HAS SOUS 1492218 HAS SOUPS 1492218 WITH SCORE 1494082.534
AT ITER 2911 NEW BEST:: SOT 12493756 SOS 1864465 HAS SOPS 1864465 HAS SOUS 1492146 HAS SOUPS 1492146 WITH SCORE 1494010.465
AT ITER 2918 NEW BEST:: SOT 12493098 SOS 1864306 HAS SOPS 1864306 HAS SOUS 1491595 HAS SOUPS 1491595 WITH SCORE 1493459.306
AT ITER 2919 NEW BEST:: SOT 12493097 SOS 1864225 HAS SOPS 1864225 HAS SOUS 1491594 HAS SOUPS 1491594 WITH SCORE 1493458.225
AT ITER 2930 NEW BEST:: SOT 12492873 SOS 1864001 HAS SOPS 1864001 HAS SOUS 1491370 HAS SOUPS 1491370 WITH SCORE 1493234.001
AT ITER 2931 NEW BEST:: SOT 12492552 SOS 1863680 HAS SOPS 1863680 HAS SOUS 1490728 HAS SOUPS 1490728 WITH SCORE 1492591.68
AT ITER 2948 NEW BEST:: SOT 12492240 SOS 1863524 HAS SOPS 1863524 HAS SOUS 1490572 HAS SOUPS 1490572 WITH SCORE 1492435.524
AT ITER 2949 NEW BEST:: SOT 12492132 SOS 1863308 HAS SOPS 1863308 HAS SOUS 1490356 HAS SOUPS 1490356 WITH SCORE 1492219.308
AT ITER 2955 NEW BEST:: SOT 12491982 SOS 1863008 HAS SOPS 1863008 HAS SOUS 1490056 HAS SOUPS 1490056 WITH SCORE 1491919.008
AT ITER 2965 NEW BEST:: SOT 12491982 SOS 1862762 HAS SOPS 1862762 HAS SOUS 1490056 HAS SOUPS 1490056 WITH SCORE 1491918.762
AT ITER 3005 NEW BEST:: SOT 12491664 SOS 1862126 HAS SOPS 1862126 HAS SOUS 1489420 HAS SOUPS 1489420 WITH SCORE 1491282.126
AT ITER 3017 NEW BEST:: SOT 12491335 SOS 1861797 HAS SOPS 1861797 HAS SOUS 1488828 HAS SOUPS 1488828 WITH SCORE 1490689.797
AT ITER 3059 NEW BEST:: SOT 12491335 SOS 1861804 HAS SOPS 1861804 HAS SOUS 1488753 HAS SOUPS 1488753 WITH SCORE 1490614.804
AT ITER 3074 NEW BEST:: SOT 12489397 SOS 1859220 HAS SOPS 1859220 HAS SOUS 1488753 HAS SOUPS 1488753 WITH SCORE 1490612.22
AT ITER 3077 NEW BEST:: SOT 12489310 SOS 1858880 HAS SOPS 1858880 HAS SOUS 1488413 HAS SOUPS 1488413 WITH SCORE 1490271.88
AT ITER 3086 NEW BEST:: SOT 12489263 SOS 1858786 HAS SOPS 1858786 HAS SOUS 1488354 HAS SOUPS 1488354 WITH SCORE 1490212.786
AT ITER 3091 NEW BEST:: SOT 12489224 SOS 1858734 HAS SOPS 1858734 HAS SOUS 1488323 HAS SOUPS 1488323 WITH SCORE 1490181.734
AT ITER 3093 NEW BEST:: SOT 12489131 SOS 1858548 HAS SOPS 1858548 HAS SOUS 1488137 HAS SOUPS 1488137 WITH SCORE 1489995.548
AT ITER 3204 NEW BEST:: SOT 12488952 SOS 1858521 HAS SOPS 1858521 HAS SOUS 1487779 HAS SOUPS 1487779 WITH SCORE 1489637.521
AT ITER 3240 NEW BEST:: SOT 12488899 SOS 1858362 HAS SOPS 1858362 HAS SOUS 1487673 HAS SOUPS 1487673 WITH SCORE 1489531.362
AT ITER 3289 NEW BEST:: SOT 12487916 SOS 1858787 HAS SOPS 1858787 HAS SOUS 1486872 HAS SOUPS 1486872 WITH SCORE 1488730.787
AT ITER 3296 NEW BEST:: SOT 12487916 SOS 1858836 HAS SOPS 1858836 HAS SOUS 1486452 HAS SOUPS 1486452 WITH SCORE 1488310.836
AT ITER 3321 NEW BEST:: SOT 12487798 SOS 1858367 HAS SOPS 1858367 HAS SOUS 1486270 HAS SOUPS 1486270 WITH SCORE 1488128.367
AT ITER 3373 NEW BEST:: SOT 12487751 SOS 1858273 HAS SOPS 1858273 HAS SOUS 1486176 HAS SOUPS 1486176 WITH SCORE 1488034.273
AT ITER 3402 NEW BEST:: SOT 12487711 SOS 1858236 HAS SOPS 1858236 HAS SOUS 1486139 HAS SOUPS 1486139 WITH SCORE 1487997.236
AT ITER 3424 NEW BEST:: SOT 12487711 SOS 1858033 HAS SOPS 1858033 HAS SOUS 1486139 HAS SOUPS 1486139 WITH SCORE 1487997.033
AT ITER 3442 NEW BEST:: SOT 12487602 SOS 1857797 HAS SOPS 1857797 HAS SOUS 1485903 HAS SOUPS 1485903 WITH SCORE 1487760.797
AT ITER 3470 NEW BEST:: SOT 12487602 SOS 1857717 HAS SOPS 1857717 HAS SOUS 1485823 HAS SOUPS 1485823 WITH SCORE 1487680.717
AT ITER 3489 NEW BEST:: SOT 12487434 SOS 1857137 HAS SOPS 1857137 HAS SOUS 1485243 HAS SOUPS 1485243 WITH SCORE 1487100.137
AT ITER 3511 NEW BEST:: SOT 12487219 SOS 1857017 HAS SOPS 1857017 HAS SOUS 1485122 HAS SOUPS 1485122 WITH SCORE 1486979.017
AT ITER 3523 NEW BEST:: SOT 12487160 SOS 1856958 HAS SOPS 1856958 HAS SOUS 1485062 HAS SOUPS 1485062 WITH SCORE 1486918.958
AT ITER 3525 NEW BEST:: SOT 12487141 SOS 1856920 HAS SOPS 1856920 HAS SOUS 1485024 HAS SOUPS 1485024 WITH SCORE 1486880.92
AT ITER 3530 NEW BEST:: SOT 12487141 SOS 1856870 HAS SOPS 1856870 HAS SOUS 1485024 HAS SOUPS 1485024 WITH SCORE 1486880.87
AT ITER 3545 NEW BEST:: SOT 12486984 SOS 1856541 HAS SOPS 1856541 HAS SOUS 1484695 HAS SOUPS 1484695 WITH SCORE 1486551.541
AT ITER 3579 NEW BEST:: SOT 12486878 SOS 1856328 HAS SOPS 1856328 HAS SOUS 1484482 HAS SOUPS 1484482 WITH SCORE 1486338.328
AT ITER 3620 NEW BEST:: SOT 12486773 SOS 1856118 HAS SOPS 1856118 HAS SOUS 1484376 HAS SOUPS 1484376 WITH SCORE 1486232.118
AT ITER 3677 NEW BEST:: SOT 12486590 SOS 1855935 HAS SOPS 1855935 HAS SOUS 1484193 HAS SOUPS 1484193 WITH SCORE 1486048.935
AT ITER 3685 NEW BEST:: SOT 12486309 SOS 1854938 HAS SOPS 1854938 HAS SOUS 1483764 HAS SOUPS 1483764 WITH SCORE 1485618.938
AT ITER 3711 NEW BEST:: SOT 12485827 SOS 1855561 HAS SOPS 1855561 HAS SOUS 1483365 HAS SOUPS 1483365 WITH SCORE 1485220.561
AT ITER 3729 NEW BEST:: SOT 12485827 SOS 1855543 HAS SOPS 1855543 HAS SOUS 1480206 HAS SOUPS 1480206 WITH SCORE 1482061.543
AT ITER 3758 NEW BEST:: SOT 12485716 SOS 1855339 HAS SOPS 1855339 HAS SOUS 1480077 HAS SOUPS 1480077 WITH SCORE 1481932.339
AT ITER 3766 NEW BEST:: SOT 12485572 SOS 1855326 HAS SOPS 1855326 HAS SOUS 1479894 HAS SOUPS 1479894 WITH SCORE 1481749.326
AT ITER 3771 NEW BEST:: SOT 12485537 SOS 1855167 HAS SOPS 1855167 HAS SOUS 1479823 HAS SOUPS 1479823 WITH SCORE 1481678.167
AT ITER 3820 NEW BEST:: SOT 12485281 SOS 1856236 HAS SOPS 1856236 HAS SOUS 1479275 HAS SOUPS 1479275 WITH SCORE 1481131.236
AT ITER 3854 NEW BEST:: SOT 12485260 SOS 1856194 HAS SOPS 1856194 HAS SOUS 1479233 HAS SOUPS 1479233 WITH SCORE 1481089.194
AT ITER 3857 NEW BEST:: SOT 12483863 SOS 1855408 HAS SOPS 1855408 HAS SOUS 1478018 HAS SOUPS 1478018 WITH SCORE 1479873.408
AT ITER 3899 NEW BEST:: SOT 12483705 SOS 1855939 HAS SOPS 1855939 HAS SOUS 1477827 HAS SOUPS 1477827 WITH SCORE 1479682.939
AT ITER 3906 NEW BEST:: SOT 12483409 SOS 1855856 HAS SOPS 1855856 HAS SOUS 1477691 HAS SOUPS 1477691 WITH SCORE 1479546.856
AT ITER 3912 NEW BEST:: SOT 12483409 SOS 1855782 HAS SOPS 1855782 HAS SOUS 1477617 HAS SOUPS 1477617 WITH SCORE 1479472.782
AT ITER 3961 NEW BEST:: SOT 12483409 SOS 1855615 HAS SOPS 1855615 HAS SOUS 1477617 HAS SOUPS 1477617 WITH SCORE 1479472.615
AT ITER 3984 NEW BEST:: SOT 12483359 SOS 1855597 HAS SOPS 1855597 HAS SOUS 1477599 HAS SOUPS 1477599 WITH SCORE 1479454.597
AT ITER 4005 NEW BEST:: SOT 12483145 SOS 1855379 HAS SOPS 1855379 HAS SOUS 1477380 HAS SOUPS 1477380 WITH SCORE 1479235.379
AT ITER 4036 NEW BEST:: SOT 12482983 SOS 1854989 HAS SOPS 1854989 HAS SOUS 1477049 HAS SOUPS 1477049 WITH SCORE 1478903.989
AT ITER 4041 NEW BEST:: SOT 12482889 SOS 1854964 HAS SOPS 1854964 HAS SOUS 1477049 HAS SOUPS 1477049 WITH SCORE 1478903.964
AT ITER 4059 NEW BEST:: SOT 12482758 SOS 1854820 HAS SOPS 1854820 HAS SOUS 1475870 HAS SOUPS 1475870 WITH SCORE 1477724.82
AT ITER 4066 NEW BEST:: SOT 12482534 SOS 1854596 HAS SOPS 1854596 HAS SOUS 1475646 HAS SOUPS 1475646 WITH SCORE 1477500.596
AT ITER 4110 NEW BEST:: SOT 12482534 SOS 1854542 HAS SOPS 1854542 HAS SOUS 1475592 HAS SOUPS 1475592 WITH SCORE 1477446.542
AT ITER 4130 NEW BEST:: SOT 12481305 SOS 1853420 HAS SOPS 1853420 HAS SOUS 1474155 HAS SOUPS 1474155 WITH SCORE 1476008.42
AT ITER 4142 NEW BEST:: SOT 12480940 SOS 1853433 HAS SOPS 1853433 HAS SOUS 1473789 HAS SOUPS 1473789 WITH SCORE 1475642.433
AT ITER 4161 NEW BEST:: SOT 12480940 SOS 1853344 HAS SOPS 1853344 HAS SOUS 1473789 HAS SOUPS 1473789 WITH SCORE 1475642.344
AT ITER 4193 NEW BEST:: SOT 12481002 SOS 1853211 HAS SOPS 1853211 HAS SOUS 1473571 HAS SOUPS 1473571 WITH SCORE 1475424.211
AT ITER 4204 NEW BEST:: SOT 12480919 SOS 1852899 HAS SOPS 1852899 HAS SOUS 1473259 HAS SOUPS 1473259 WITH SCORE 1475111.899
AT ITER 4228 NEW BEST:: SOT 12481017 SOS 1852448 HAS SOPS 1852448 HAS SOUS 1473257 HAS SOUPS 1473257 WITH SCORE 1475109.448
AT ITER 4229 NEW BEST:: SOT 12480665 SOS 1851923 HAS SOPS 1851923 HAS SOUS 1472735 HAS SOUPS 1472735 WITH SCORE 1474586.923
AT ITER 4252 NEW BEST:: SOT 12480511 SOS 1851461 HAS SOPS 1851461 HAS SOUS 1472426 HAS SOUPS 1472426 WITH SCORE 1474277.461
AT ITER 4279 NEW BEST:: SOT 12480331 SOS 1851037 HAS SOPS 1851037 HAS SOUS 1472303 HAS SOUPS 1472303 WITH SCORE 1474154.037
AT ITER 4290 NEW BEST:: SOT 12478327 SOS 1849580 HAS SOPS 1849580 HAS SOUS 1470565 HAS SOUPS 1470565 WITH SCORE 1472414.58
AT ITER 4305 NEW BEST:: SOT 12478327 SOS 1849513 HAS SOPS 1849513 HAS SOUS 1470563 HAS SOUPS 1470563 WITH SCORE 1472412.513
AT ITER 4333 NEW BEST:: SOT 12478254 SOS 1849367 HAS SOPS 1849367 HAS SOUS 1470417 HAS SOUPS 1470417 WITH SCORE 1472266.367
AT ITER 4358 NEW BEST:: SOT 12478143 SOS 1849144 HAS SOPS 1849144 HAS SOUS 1470194 HAS SOUPS 1470194 WITH SCORE 1472043.144
AT ITER 4359 NEW BEST:: SOT 12478125 SOS 1849108 HAS SOPS 1849108 HAS SOUS 1470158 HAS SOUPS 1470158 WITH SCORE 1472007.108
AT ITER 4366 NEW BEST:: SOT 12478125 SOS 1848992 HAS SOPS 1848992 HAS SOUS 1470157 HAS SOUPS 1470157 WITH SCORE 1472005.992
AT ITER 4367 NEW BEST:: SOT 12478087 SOS 1848954 HAS SOPS 1848954 HAS SOUS 1470119 HAS SOUPS 1470119 WITH SCORE 1471967.954
AT ITER 4413 NEW BEST:: SOT 12477870 SOS 1848996 HAS SOPS 1848996 HAS SOUS 1469685 HAS SOUPS 1469685 WITH SCORE 1471533.996
AT ITER 4522 NEW BEST:: SOT 12477870 SOS 1848993 HAS SOPS 1848993 HAS SOUS 1469682 HAS SOUPS 1469682 WITH SCORE 1471530.993
AT ITER 4531 NEW BEST:: SOT 12477678 SOS 1848508 HAS SOPS 1848508 HAS SOUS 1469442 HAS SOUPS 1469442 WITH SCORE 1471290.508
AT ITER 4568 NEW BEST:: SOT 12477678 SOS 1848381 HAS SOPS 1848381 HAS SOUS 1469442 HAS SOUPS 1469442 WITH SCORE 1471290.381
AT ITER 4574 NEW BEST:: SOT 12477628 SOS 1848331 HAS SOPS 1848331 HAS SOUS 1469392 HAS SOUPS 1469392 WITH SCORE 1471240.331
AT ITER 4585 NEW BEST:: SOT 12477104 SOS 1848203 HAS SOPS 1848203 HAS SOUS 1469044 HAS SOUPS 1469044 WITH SCORE 1470892.203
AT ITER 4592 NEW BEST:: SOT 12476128 SOS 1847227 HAS SOPS 1847227 HAS SOUS 1468068 HAS SOUPS 1468068 WITH SCORE 1469915.227
AT ITER 4594 NEW BEST:: SOT 12476000 SOS 1847099 HAS SOPS 1847099 HAS SOUS 1467939 HAS SOUPS 1467939 WITH SCORE 1469786.099
AT ITER 4600 NEW BEST:: SOT 12475718 SOS 1846529 HAS SOPS 1846529 HAS SOUS 1467369 HAS SOUPS 1467369 WITH SCORE 1469215.529
AT ITER 4602 NEW BEST:: SOT 12475358 SOS 1846167 HAS SOPS 1846167 HAS SOUS 1467005 HAS SOUPS 1467005 WITH SCORE 1468851.167
AT ITER 4609 NEW BEST:: SOT 12475617 SOS 1846589 HAS SOPS 1846589 HAS SOUS 1466802 HAS SOUPS 1466802 WITH SCORE 1468648.589
AT ITER 4618 NEW BEST:: SOT 12475425 SOS 1846028 HAS SOPS 1846028 HAS SOUS 1466410 HAS SOUPS 1466410 WITH SCORE 1468256.028
AT ITER 4635 NEW BEST:: SOT 12471027 SOS 1845320 HAS SOPS 1845320 HAS SOUS 1462597 HAS SOUPS 1462597 WITH SCORE 1464442.32
AT ITER 4652 NEW BEST:: SOT 12471038 SOS 1845222 HAS SOPS 1845222 HAS SOUS 1462499 HAS SOUPS 1462499 WITH SCORE 1464344.222
AT ITER 4670 NEW BEST:: SOT 12470981 SOS 1845108 HAS SOPS 1845108 HAS SOUS 1462385 HAS SOUPS 1462385 WITH SCORE 1464230.108
AT ITER 4672 NEW BEST:: SOT 12470898 SOS 1844942 HAS SOPS 1844942 HAS SOUS 1462219 HAS SOUPS 1462219 WITH SCORE 1464063.942
AT ITER 4713 NEW BEST:: SOT 12470898 SOS 1844866 HAS SOPS 1844866 HAS SOUS 1462143 HAS SOUPS 1462143 WITH SCORE 1463987.866
AT ITER 4740 NEW BEST:: SOT 12470583 SOS 1846324 HAS SOPS 1846324 HAS SOUS 1461592 HAS SOUPS 1461592 WITH SCORE 1463438.324
AT ITER 4798 NEW BEST:: SOT 12470582 SOS 1846323 HAS SOPS 1846323 HAS SOUS 1461591 HAS SOUPS 1461591 WITH SCORE 1463437.323
AT ITER 4804 NEW BEST:: SOT 12470104 SOS 1848788 HAS SOPS 1848788 HAS SOUS 1461424 HAS SOUPS 1461424 WITH SCORE 1463272.788
AT ITER 4844 NEW BEST:: SOT 12470104 SOS 1848787 HAS SOPS 1848787 HAS SOUS 1461423 HAS SOUPS 1461423 WITH SCORE 1463271.787
AT ITER 4876 NEW BEST:: SOT 12469890 SOS 1848680 HAS SOPS 1848680 HAS SOUS 1461209 HAS SOUPS 1461209 WITH SCORE 1463057.68
AT ITER 4910 NEW BEST:: SOT 12469735 SOS 1848521 HAS SOPS 1848521 HAS SOUS 1460895 HAS SOUPS 1460895 WITH SCORE 1462743.521
AT ITER 4916 NEW BEST:: SOT 12468980 SOS 1847231 HAS SOPS 1847231 HAS SOUS 1459915 HAS SOUPS 1459915 WITH SCORE 1461762.231
AT ITER 4920 NEW BEST:: SOT 12468771 SOS 1845728 HAS SOPS 1845728 HAS SOUS 1459464 HAS SOUPS 1459464 WITH SCORE 1461309.728
AT ITER 4953 NEW BEST:: SOT 12468708 SOS 1845665 HAS SOPS 1845665 HAS SOUS 1459401 HAS SOUPS 1459401 WITH SCORE 1461246.665
AT ITER 4958 NEW BEST:: SOT 12468708 SOS 1845663 HAS SOPS 1845663 HAS SOUS 1459399 HAS SOUPS 1459399 WITH SCORE 1461244.663
AT ITER 4968 NEW BEST:: SOT 12468468 SOS 1845538 HAS SOPS 1845538 HAS SOUS 1459226 HAS SOUPS 1459226 WITH SCORE 1461071.538
AT ITER 5003 NEW BEST:: SOT 12468406 SOS 1844843 HAS SOPS 1844843 HAS SOUS 1459056 HAS SOUPS 1459056 WITH SCORE 1460900.843
AT ITER 5004 NEW BEST:: SOT 12468369 SOS 1844800 HAS SOPS 1844800 HAS SOUS 1458978 HAS SOUPS 1458978 WITH SCORE 1460822.8
AT ITER 5009 NEW BEST:: SOT 12468369 SOS 1844578 HAS SOPS 1844578 HAS SOUS 1458867 HAS SOUPS 1458867 WITH SCORE 1460711.578
AT ITER 5019 NEW BEST:: SOT 12468044 SOS 1844191 HAS SOPS 1844191 HAS SOUS 1455945 HAS SOUPS 1455945 WITH SCORE 1457789.191
AT ITER 5067 NEW BEST:: SOT 12467810 SOS 1843957 HAS SOPS 1843957 HAS SOUS 1455711 HAS SOUPS 1455711 WITH SCORE 1457554.957
AT ITER 5069 NEW BEST:: SOT 12467687 SOS 1843711 HAS SOPS 1843711 HAS SOUS 1455465 HAS SOUPS 1455465 WITH SCORE 1457308.711
AT ITER 5074 NEW BEST:: SOT 12467683 SOS 1843368 HAS SOPS 1843368 HAS SOUS 1455433 HAS SOUPS 1455433 WITH SCORE 1457276.368
AT ITER 5102 NEW BEST:: SOT 12467682 SOS 1843336 HAS SOPS 1843336 HAS SOUS 1455430 HAS SOUPS 1455430 WITH SCORE 1457273.336
AT ITER 5108 NEW BEST:: SOT 12467460 SOS 1842839 HAS SOPS 1842839 HAS SOUS 1455314 HAS SOUPS 1455314 WITH SCORE 1457156.839
AT ITER 5127 NEW BEST:: SOT 12467460 SOS 1842812 HAS SOPS 1842812 HAS SOUS 1455314 HAS SOUPS 1455314 WITH SCORE 1457156.812
AT ITER 5138 NEW BEST:: SOT 12466769 SOS 1846695 HAS SOPS 1846695 HAS SOUS 1455267 HAS SOUPS 1455267 WITH SCORE 1457113.695
AT ITER 5143 NEW BEST:: SOT 12466736 SOS 1846818 HAS SOPS 1846818 HAS SOUS 1455237 HAS SOUPS 1455237 WITH SCORE 1457083.818
AT ITER 5151 NEW BEST:: SOT 12466656 SOS 1846778 HAS SOPS 1846778 HAS SOUS 1455197 HAS SOUPS 1455197 WITH SCORE 1457043.778
AT ITER 5163 NEW BEST:: SOT 12466436 SOS 1846400 HAS SOPS 1846400 HAS SOUS 1454909 HAS SOUPS 1454909 WITH SCORE 1456755.4
AT ITER 5195 NEW BEST:: SOT 12466369 SOS 1846332 HAS SOPS 1846332 HAS SOUS 1454841 HAS SOUPS 1454841 WITH SCORE 1456687.332
AT ITER 5204 NEW BEST:: SOT 12466369 SOS 1846177 HAS SOPS 1846177 HAS SOUS 1454840 HAS SOUPS 1454840 WITH SCORE 1456686.177
AT ITER 5299 NEW BEST:: SOT 12466369 SOS 1846004 HAS SOPS 1846004 HAS SOUS 1454667 HAS SOUPS 1454667 WITH SCORE 1456513.004
AT ITER 5304 NEW BEST:: SOT 12466356 SOS 1846289 HAS SOPS 1846289 HAS SOUS 1454517 HAS SOUPS 1454517 WITH SCORE 1456363.289
AT ITER 5348 NEW BEST:: SOT 12466356 SOS 1846102 HAS SOPS 1846102 HAS SOUS 1454330 HAS SOUPS 1454330 WITH SCORE 1456176.102
AT ITER 5407 NEW BEST:: SOT 12466196 SOS 1845936 HAS SOPS 1845936 HAS SOUS 1454163 HAS SOUPS 1454163 WITH SCORE 1456008.936
AT ITER 5471 NEW BEST:: SOT 12466196 SOS 1847426 HAS SOPS 1847426 HAS SOUS 1454134 HAS SOUPS 1454134 WITH SCORE 1455981.426
AT ITER 5509 NEW BEST:: SOT 12466068 SOS 1847278 HAS SOPS 1847278 HAS SOUS 1453916 HAS SOUPS 1453916 WITH SCORE 1455763.278
AT ITER 5510 NEW BEST:: SOT 12466067 SOS 1847251 HAS SOPS 1847251 HAS SOUS 1453914 HAS SOUPS 1453914 WITH SCORE 1455761.251
AT ITER 5519 NEW BEST:: SOT 12465868 SOS 1846946 HAS SOPS 1846946 HAS SOUS 1453694 HAS SOUPS 1453694 WITH SCORE 1455540.946
AT ITER 5595 NEW BEST:: SOT 12465744 SOS 1846822 HAS SOPS 1846822 HAS SOUS 1453570 HAS SOUPS 1453570 WITH SCORE 1455416.822
AT ITER 5602 NEW BEST:: SOT 12467559 SOS 1849015 HAS SOPS 1849015 HAS SOUS 1453420 HAS SOUPS 1453420 WITH SCORE 1455269.015
AT ITER 5681 NEW BEST:: SOT 12467409 SOS 1848617 HAS SOPS 1848617 HAS SOUS 1453119 HAS SOUPS 1453119 WITH SCORE 1454967.617
AT ITER 5703 NEW BEST:: SOT 12467283 SOS 1847401 HAS SOPS 1847401 HAS SOUS 1452710 HAS SOUPS 1452710 WITH SCORE 1454557.401
AT ITER 5710 NEW BEST:: SOT 12466914 SOS 1847032 HAS SOPS 1847032 HAS SOUS 1452341 HAS SOUPS 1452341 WITH SCORE 1454188.032
AT ITER 5714 NEW BEST:: SOT 12466758 SOS 1846914 HAS SOPS 1846914 HAS SOUS 1452185 HAS SOUPS 1452185 WITH SCORE 1454031.914
AT ITER 5729 NEW BEST:: SOT 12466630 SOS 1846711 HAS SOPS 1846711 HAS SOUS 1452044 HAS SOUPS 1452044 WITH SCORE 1453890.711
AT ITER 5746 NEW BEST:: SOT 12466545 SOS 1846435 HAS SOPS 1846435 HAS SOUS 1449672 HAS SOUPS 1449672 WITH SCORE 1451518.435
AT ITER 5773 NEW BEST:: SOT 12466250 SOS 1847837 HAS SOPS 1847837 HAS SOUS 1449051 HAS SOUPS 1449051 WITH SCORE 1450898.837
AT ITER 5786 NEW BEST:: SOT 12466249 SOS 1847835 HAS SOPS 1847835 HAS SOUS 1449049 HAS SOUPS 1449049 WITH SCORE 1450896.835
AT ITER 5804 NEW BEST:: SOT 12464837 SOS 1846384 HAS SOPS 1846384 HAS SOUS 1447527 HAS SOUPS 1447527 WITH SCORE 1449373.384
AT ITER 5811 NEW BEST:: SOT 12464589 SOS 1846380 HAS SOPS 1846380 HAS SOUS 1447523 HAS SOUPS 1447523 WITH SCORE 1449369.38
AT ITER 5817 NEW BEST:: SOT 12464294 SOS 1845779 HAS SOPS 1845779 HAS SOUS 1446922 HAS SOUPS 1446922 WITH SCORE 1448767.779
AT ITER 5929 NEW BEST:: SOT 12464294 SOS 1846069 HAS SOPS 1846069 HAS SOUS 1446890 HAS SOUPS 1446890 WITH SCORE 1448736.069
AT ITER 5930 NEW BEST:: SOT 12464366 SOS 1845985 HAS SOPS 1845985 HAS SOUS 1446884 HAS SOUPS 1446884 WITH SCORE 1448729.985
AT ITER 5939 NEW BEST:: SOT 12463244 SOS 1845668 HAS SOPS 1845668 HAS SOUS 1446056 HAS SOUPS 1446056 WITH SCORE 1447901.668
AT ITER 5964 NEW BEST:: SOT 12463191 SOS 1845658 HAS SOPS 1845658 HAS SOUS 1446046 HAS SOUPS 1446046 WITH SCORE 1447891.658
AT ITER 6021 NEW BEST:: SOT 12463191 SOS 1845335 HAS SOPS 1845335 HAS SOUS 1446046 HAS SOUPS 1446046 WITH SCORE 1447891.335
AT ITER 6036 NEW BEST:: SOT 12463161 SOS 1845287 HAS SOPS 1845287 HAS SOUS 1445998 HAS SOUPS 1445998 WITH SCORE 1447843.287
AT ITER 6065 NEW BEST:: SOT 12463075 SOS 1845159 HAS SOPS 1845159 HAS SOUS 1445870 HAS SOUPS 1445870 WITH SCORE 1447715.159
AT ITER 6082 NEW BEST:: SOT 12462761 SOS 1844535 HAS SOPS 1844535 HAS SOUS 1445249 HAS SOUPS 1445249 WITH SCORE 1447093.535
AT ITER 6084 NEW BEST:: SOT 12462734 SOS 1844481 HAS SOPS 1844481 HAS SOUS 1445222 HAS SOUPS 1445222 WITH SCORE 1447066.481
AT ITER 6160 NEW BEST:: SOT 12462026 SOS 1843772 HAS SOPS 1843772 HAS SOUS 1444513 HAS SOUPS 1444513 WITH SCORE 1446356.772
AT ITER 6186 NEW BEST:: SOT 12461897 SOS 1843537 HAS SOPS 1843537 HAS SOUS 1443162 HAS SOUPS 1443162 WITH SCORE 1445005.537
AT ITER 6188 NEW BEST:: SOT 12461714 SOS 1845219 HAS SOPS 1845219 HAS SOUS 1443052 HAS SOUPS 1443052 WITH SCORE 1444897.219
AT ITER 6202 NEW BEST:: SOT 12461714 SOS 1845233 HAS SOPS 1845233 HAS SOUS 1442347 HAS SOUPS 1442347 WITH SCORE 1444192.233
AT ITER 6219 NEW BEST:: SOT 12461714 SOS 1845233 HAS SOPS 1845233 HAS SOUS 1442345 HAS SOUPS 1442345 WITH SCORE 1444190.233
AT ITER 6235 NEW BEST:: SOT 12461668 SOS 1845141 HAS SOPS 1845141 HAS SOUS 1442169 HAS SOUPS 1442169 WITH SCORE 1444014.141
AT ITER 6258 NEW BEST:: SOT 12461592 SOS 1844733 HAS SOPS 1844733 HAS SOUS 1442002 HAS SOUPS 1442002 WITH SCORE 1443846.733
AT ITER 6331 NEW BEST:: SOT 12461501 SOS 1844499 HAS SOPS 1844499 HAS SOUS 1441859 HAS SOUPS 1441859 WITH SCORE 1443703.499
AT ITER 6367 NEW BEST:: SOT 12461490 SOS 1844345 HAS SOPS 1844345 HAS SOUS 1441837 HAS SOUPS 1441837 WITH SCORE 1443681.345
AT ITER 6377 NEW BEST:: SOT 12461276 SOS 1844131 HAS SOPS 1844131 HAS SOUS 1439911 HAS SOUPS 1439911 WITH SCORE 1441755.131
AT ITER 6387 NEW BEST:: SOT 12460846 SOS 1843271 HAS SOPS 1843271 HAS SOUS 1439051 HAS SOUPS 1439051 WITH SCORE 1440894.271
AT ITER 6415 NEW BEST:: SOT 12460846 SOS 1843222 HAS SOPS 1843222 HAS SOUS 1439044 HAS SOUPS 1439044 WITH SCORE 1440887.222
AT ITER 6428 NEW BEST:: SOT 12460428 SOS 1842591 HAS SOPS 1842591 HAS SOUS 1438609 HAS SOUPS 1438609 WITH SCORE 1440451.591
AT ITER 6458 NEW BEST:: SOT 12460126 SOS 1842289 HAS SOPS 1842289 HAS SOUS 1438307 HAS SOUPS 1438307 WITH SCORE 1440149.289
AT ITER 6521 NEW BEST:: SOT 12459675 SOS 1841387 HAS SOPS 1841387 HAS SOUS 1437405 HAS SOUPS 1437405 WITH SCORE 1439246.387
AT ITER 6528 NEW BEST:: SOT 12459705 SOS 1841286 HAS SOPS 1841286 HAS SOUS 1437328 HAS SOUPS 1437328 WITH SCORE 1439169.286
AT ITER 6558 NEW BEST:: SOT 12459705 SOS 1841285 HAS SOPS 1841285 HAS SOUS 1437327 HAS SOUPS 1437327 WITH SCORE 1439168.285
AT ITER 6569 NEW BEST:: SOT 12459705 SOS 1841219 HAS SOPS 1841219 HAS SOUS 1437320 HAS SOUPS 1437320 WITH SCORE 1439161.219
AT ITER 6574 NEW BEST:: SOT 12459389 SOS 1840885 HAS SOPS 1840885 HAS SOUS 1436986 HAS SOUPS 1436986 WITH SCORE 1438826.885
AT ITER 6588 NEW BEST:: SOT 12459255 SOS 1840617 HAS SOPS 1840617 HAS SOUS 1436541 HAS SOUPS 1436541 WITH SCORE 1438381.617
AT ITER 6591 NEW BEST:: SOT 12459115 SOS 1839798 HAS SOPS 1839798 HAS SOUS 1436376 HAS SOUPS 1436376 WITH SCORE 1438215.798
AT ITER 6693 NEW BEST:: SOT 12459115 SOS 1839798 HAS SOPS 1839798 HAS SOUS 1436346 HAS SOUPS 1436346 WITH SCORE 1438185.798
AT ITER 6695 NEW BEST:: SOT 12459093 SOS 1839754 HAS SOPS 1839754 HAS SOUS 1436302 HAS SOUPS 1436302 WITH SCORE 1438141.754
AT ITER 6706 NEW BEST:: SOT 12458939 SOS 1839292 HAS SOPS 1839292 HAS SOUS 1435987 HAS SOUPS 1435987 WITH SCORE 1437826.292
AT ITER 6713 NEW BEST:: SOT 12458939 SOS 1839083 HAS SOPS 1839083 HAS SOUS 1435972 HAS SOUPS 1435972 WITH SCORE 1437811.083
AT ITER 6716 NEW BEST:: SOT 12459003 SOS 1839117 HAS SOPS 1839117 HAS SOUS 1435942 HAS SOUPS 1435942 WITH SCORE 1437781.117
AT ITER 6732 NEW BEST:: SOT 12458859 SOS 1839056 HAS SOPS 1839056 HAS SOUS 1435654 HAS SOUPS 1435654 WITH SCORE 1437493.056
AT ITER 6762 NEW BEST:: SOT 12458595 SOS 1838744 HAS SOPS 1838744 HAS SOUS 1434521 HAS SOUPS 1434521 WITH SCORE 1436359.744
AT ITER 6788 NEW BEST:: SOT 12458405 SOS 1838353 HAS SOPS 1838353 HAS SOUS 1434130 HAS SOUPS 1434130 WITH SCORE 1435968.353
AT ITER 6808 NEW BEST:: SOT 12458200 SOS 1838148 HAS SOPS 1838148 HAS SOUS 1433925 HAS SOUPS 1433925 WITH SCORE 1435763.148
AT ITER 6815 NEW BEST:: SOT 12458200 SOS 1838147 HAS SOPS 1838147 HAS SOUS 1433924 HAS SOUPS 1433924 WITH SCORE 1435762.147
AT ITER 6847 NEW BEST:: SOT 12458200 SOS 1838128 HAS SOPS 1838128 HAS SOUS 1433905 HAS SOUPS 1433905 WITH SCORE 1435743.128
AT ITER 6853 NEW BEST:: SOT 12457261 SOS 1837446 HAS SOPS 1837446 HAS SOUS 1433228 HAS SOUPS 1433228 WITH SCORE 1435065.446
AT ITER 6882 NEW BEST:: SOT 12457037 SOS 1837129 HAS SOPS 1837129 HAS SOUS 1433135 HAS SOUPS 1433135 WITH SCORE 1434972.129
AT ITER 6898 NEW BEST:: SOT 12456951 SOS 1836957 HAS SOPS 1836957 HAS SOUS 1432963 HAS SOUPS 1432963 WITH SCORE 1434799.957
AT ITER 6931 NEW BEST:: SOT 12456951 SOS 1836786 HAS SOPS 1836786 HAS SOUS 1432810 HAS SOUPS 1432810 WITH SCORE 1434646.786
AT ITER 6956 NEW BEST:: SOT 12456706 SOS 1836358 HAS SOPS 1836358 HAS SOUS 1432492 HAS SOUPS 1432492 WITH SCORE 1434328.358
AT ITER 6958 NEW BEST:: SOT 12456705 SOS 1836356 HAS SOPS 1836356 HAS SOUS 1432490 HAS SOUPS 1432490 WITH SCORE 1434326.356
AT ITER 6976 NEW BEST:: SOT 12456705 SOS 1835976 HAS SOPS 1835976 HAS SOUS 1432110 HAS SOUPS 1432110 WITH SCORE 1433945.976
AT ITER 7015 NEW BEST:: SOT 12457441 SOS 1836772 HAS SOPS 1836772 HAS SOUS 1428900 HAS SOUPS 1428900 WITH SCORE 1430736.772
AT ITER 7023 NEW BEST:: SOT 12457254 SOS 1836398 HAS SOPS 1836398 HAS SOUS 1428526 HAS SOUPS 1428526 WITH SCORE 1430362.398
AT ITER 7055 NEW BEST:: SOT 12457254 SOS 1836000 HAS SOPS 1836000 HAS SOUS 1428128 HAS SOUPS 1428128 WITH SCORE 1429964.0
AT ITER 7057 NEW BEST:: SOT 12457099 SOS 1835902 HAS SOPS 1835902 HAS SOUS 1428030 HAS SOUPS 1428030 WITH SCORE 1429865.902
AT ITER 7065 NEW BEST:: SOT 12456954 SOS 1836165 HAS SOPS 1836165 HAS SOUS 1427733 HAS SOUPS 1427733 WITH SCORE 1429569.165
AT ITER 7085 NEW BEST:: SOT 12456736 SOS 1835984 HAS SOPS 1835984 HAS SOUS 1427273 HAS SOUPS 1427273 WITH SCORE 1429108.984
AT ITER 7106 NEW BEST:: SOT 12456495 SOS 1835743 HAS SOPS 1835743 HAS SOUS 1427032 HAS SOUPS 1427032 WITH SCORE 1428867.743
AT ITER 7108 NEW BEST:: SOT 12456217 SOS 1835333 HAS SOPS 1835333 HAS SOUS 1426742 HAS SOUPS 1426742 WITH SCORE 1428577.333
AT ITER 7170 NEW BEST:: SOT 12456217 SOS 1835281 HAS SOPS 1835281 HAS SOUS 1426740 HAS SOUPS 1426740 WITH SCORE 1428575.281
AT ITER 7179 NEW BEST:: SOT 12456216 SOS 1835279 HAS SOPS 1835279 HAS SOUS 1426738 HAS SOUPS 1426738 WITH SCORE 1428573.279
AT ITER 7195 NEW BEST:: SOT 12456165 SOS 1835075 HAS SOPS 1835075 HAS SOUS 1426687 HAS SOUPS 1426687 WITH SCORE 1428522.075
AT ITER 7218 NEW BEST:: SOT 12456162 SOS 1835011 HAS SOPS 1835011 HAS SOUS 1426680 HAS SOUPS 1426680 WITH SCORE 1428515.011
AT ITER 7222 NEW BEST:: SOT 12456208 SOS 1835293 HAS SOPS 1835293 HAS SOUS 1424412 HAS SOUPS 1424412 WITH SCORE 1426247.293
AT ITER 7223 NEW BEST:: SOT 12456105 SOS 1835087 HAS SOPS 1835087 HAS SOUS 1424206 HAS SOUPS 1424206 WITH SCORE 1426041.087
AT ITER 7236 NEW BEST:: SOT 12456105 SOS 1835087 HAS SOPS 1835087 HAS SOUS 1424204 HAS SOUPS 1424204 WITH SCORE 1426039.087
AT ITER 7265 NEW BEST:: SOT 12456105 SOS 1836394 HAS SOPS 1836394 HAS SOUS 1424174 HAS SOUPS 1424174 WITH SCORE 1426010.394
AT ITER 7282 NEW BEST:: SOT 12455221 SOS 1835593 HAS SOPS 1835593 HAS SOUS 1423373 HAS SOUPS 1423373 WITH SCORE 1425208.593
AT ITER 7286 NEW BEST:: SOT 12454964 SOS 1835206 HAS SOPS 1835206 HAS SOUS 1423121 HAS SOUPS 1423121 WITH SCORE 1424956.206
AT ITER 7292 NEW BEST:: SOT 12454740 SOS 1835151 HAS SOPS 1835151 HAS SOUS 1423066 HAS SOUPS 1423066 WITH SCORE 1424901.151
AT ITER 7338 NEW BEST:: SOT 12454733 SOS 1835144 HAS SOPS 1835144 HAS SOUS 1423052 HAS SOUPS 1423052 WITH SCORE 1424887.144
AT ITER 7387 NEW BEST:: SOT 12454535 SOS 1834748 HAS SOPS 1834748 HAS SOUS 1422614 HAS SOUPS 1422614 WITH SCORE 1424448.748
AT ITER 7389 NEW BEST:: SOT 12454522 SOS 1834696 HAS SOPS 1834696 HAS SOUS 1422588 HAS SOUPS 1422588 WITH SCORE 1424422.696
AT ITER 7410 NEW BEST:: SOT 12453226 SOS 1833238 HAS SOPS 1833238 HAS SOUS 1422264 HAS SOUPS 1422264 WITH SCORE 1424097.238
AT ITER 7433 NEW BEST:: SOT 12453293 SOS 1833002 HAS SOPS 1833002 HAS SOUS 1422205 HAS SOUPS 1422205 WITH SCORE 1424038.002
AT ITER 7470 NEW BEST:: SOT 12453209 SOS 1832764 HAS SOPS 1832764 HAS SOUS 1422033 HAS SOUPS 1422033 WITH SCORE 1423865.764
AT ITER 7476 NEW BEST:: SOT 12452906 SOS 1832778 HAS SOPS 1832778 HAS SOUS 1421948 HAS SOUPS 1421948 WITH SCORE 1423780.778
AT ITER 7514 NEW BEST:: SOT 12452948 SOS 1832820 HAS SOPS 1832820 HAS SOUS 1421927 HAS SOUPS 1421927 WITH SCORE 1423759.82
AT ITER 7534 NEW BEST:: SOT 12452948 SOS 1832824 HAS SOPS 1832824 HAS SOUS 1421689 HAS SOUPS 1421689 WITH SCORE 1423521.824
AT ITER 7566 NEW BEST:: SOT 12452978 SOS 1830493 HAS SOPS 1830493 HAS SOUS 1421629 HAS SOUPS 1421629 WITH SCORE 1423459.493
AT ITER 7582 NEW BEST:: SOT 12452966 SOS 1830269 HAS SOPS 1830269 HAS SOUS 1421602 HAS SOUPS 1421602 WITH SCORE 1423432.269
AT ITER 7598 NEW BEST:: SOT 12452965 SOS 1830196 HAS SOPS 1830196 HAS SOUS 1421600 HAS SOUPS 1421600 WITH SCORE 1423430.196
AT ITER 7610 NEW BEST:: SOT 12452965 SOS 1830005 HAS SOPS 1830005 HAS SOUS 1421600 HAS SOUPS 1421600 WITH SCORE 1423430.005
AT ITER 7643 NEW BEST:: SOT 12452800 SOS 1829926 HAS SOPS 1829926 HAS SOUS 1421184 HAS SOUPS 1421184 WITH SCORE 1423013.926
AT ITER 7649 NEW BEST:: SOT 12452702 SOS 1829805 HAS SOPS 1829805 HAS SOUS 1421063 HAS SOUPS 1421063 WITH SCORE 1422892.805
AT ITER 7681 NEW BEST:: SOT 12452701 SOS 1829803 HAS SOPS 1829803 HAS SOUS 1421061 HAS SOUPS 1421061 WITH SCORE 1422890.803
AT ITER 7699 NEW BEST:: SOT 12452888 SOS 1829916 HAS SOPS 1829916 HAS SOUS 1420916 HAS SOUPS 1420916 WITH SCORE 1422745.916
AT ITER 7702 NEW BEST:: SOT 12452887 SOS 1829914 HAS SOPS 1829914 HAS SOUS 1420914 HAS SOUPS 1420914 WITH SCORE 1422743.914
AT ITER 7703 NEW BEST:: SOT 12452887 SOS 1829867 HAS SOPS 1829867 HAS SOUS 1420867 HAS SOUPS 1420867 WITH SCORE 1422696.867
AT ITER 7740 NEW BEST:: SOT 12452887 SOS 1829715 HAS SOPS 1829715 HAS SOUS 1420715 HAS SOUPS 1420715 WITH SCORE 1422544.715
AT ITER 7748 NEW BEST:: SOT 12452744 SOS 1829572 HAS SOPS 1829572 HAS SOUS 1420571 HAS SOUPS 1420571 WITH SCORE 1422400.572
AT ITER 7791 NEW BEST:: SOT 12452744 SOS 1829695 HAS SOPS 1829695 HAS SOUS 1420284 HAS SOUPS 1420284 WITH SCORE 1422113.695
AT ITER 7812 NEW BEST:: SOT 12450875 SOS 1827559 HAS SOPS 1827559 HAS SOUS 1418148 HAS SOUPS 1418148 WITH SCORE 1419975.559
AT ITER 7834 NEW BEST:: SOT 12450830 SOS 1827140 HAS SOPS 1827140 HAS SOUS 1418132 HAS SOUPS 1418132 WITH SCORE 1419959.14
AT ITER 7891 NEW BEST:: SOT 12450345 SOS 1826826 HAS SOPS 1826826 HAS SOUS 1417698 HAS SOUPS 1417698 WITH SCORE 1419524.826
AT ITER 7909 NEW BEST:: SOT 12450182 SOS 1826582 HAS SOPS 1826582 HAS SOUS 1417530 HAS SOUPS 1417530 WITH SCORE 1419356.582
AT ITER 7957 NEW BEST:: SOT 12450092 SOS 1826492 HAS SOPS 1826492 HAS SOUS 1417440 HAS SOUPS 1417440 WITH SCORE 1419266.492
AT ITER 7988 NEW BEST:: SOT 12450092 SOS 1826331 HAS SOPS 1826331 HAS SOUS 1417440 HAS SOUPS 1417440 WITH SCORE 1419266.331
AT ITER 7989 NEW BEST:: SOT 12450068 SOS 1826295 HAS SOPS 1826295 HAS SOUS 1417402 HAS SOUPS 1417402 WITH SCORE 1419228.295
AT ITER 7995 NEW BEST:: SOT 12449889 SOS 1826116 HAS SOPS 1826116 HAS SOUS 1417223 HAS SOUPS 1417223 WITH SCORE 1419049.116
AT ITER 8001 NEW BEST:: SOT 12449665 SOS 1825892 HAS SOPS 1825892 HAS SOUS 1416995 HAS SOUPS 1416995 WITH SCORE 1418820.892
AT ITER 8046 NEW BEST:: SOT 12449455 SOS 1825295 HAS SOPS 1825295 HAS SOUS 1416398 HAS SOUPS 1416398 WITH SCORE 1418223.295
AT ITER 8049 NEW BEST:: SOT 12448808 SOS 1825744 HAS SOPS 1825744 HAS SOUS 1416071 HAS SOUPS 1416071 WITH SCORE 1417896.744
AT ITER 8096 NEW BEST:: SOT 12448807 SOS 1825716 HAS SOPS 1825716 HAS SOUS 1416070 HAS SOUPS 1416070 WITH SCORE 1417895.716
AT ITER 8106 NEW BEST:: SOT 12448648 SOS 1825137 HAS SOPS 1825137 HAS SOUS 1415741 HAS SOUPS 1415741 WITH SCORE 1417566.137
AT ITER 8142 NEW BEST:: SOT 12448624 SOS 1825001 HAS SOPS 1825001 HAS SOUS 1415661 HAS SOUPS 1415661 WITH SCORE 1417486.001
AT ITER 8148 NEW BEST:: SOT 12448603 SOS 1824940 HAS SOPS 1824940 HAS SOUS 1415619 HAS SOUPS 1415619 WITH SCORE 1417443.94
AT ITER 8157 NEW BEST:: SOT 12448419 SOS 1824755 HAS SOPS 1824755 HAS SOUS 1415434 HAS SOUPS 1415434 WITH SCORE 1417258.755
AT ITER 8170 NEW BEST:: SOT 12448392 SOS 1824701 HAS SOPS 1824701 HAS SOUS 1415380 HAS SOUPS 1415380 WITH SCORE 1417204.701
AT ITER 8213 NEW BEST:: SOT 12448304 SOS 1824687 HAS SOPS 1824687 HAS SOUS 1414588 HAS SOUPS 1414588 WITH SCORE 1416412.687
AT ITER 8286 NEW BEST:: SOT 12448129 SOS 1824687 HAS SOPS 1824687 HAS SOUS 1414562 HAS SOUPS 1414562 WITH SCORE 1416386.687
AT ITER 8329 NEW BEST:: SOT 12448129 SOS 1824607 HAS SOPS 1824607 HAS SOUS 1414542 HAS SOUPS 1414542 WITH SCORE 1416366.607
AT ITER 8346 NEW BEST:: SOT 12447929 SOS 1824396 HAS SOPS 1824396 HAS SOUS 1414331 HAS SOUPS 1414331 WITH SCORE 1416155.396
AT ITER 8376 NEW BEST:: SOT 12447904 SOS 1824342 HAS SOPS 1824342 HAS SOUS 1414277 HAS SOUPS 1414277 WITH SCORE 1416101.342
AT ITER 8413 NEW BEST:: SOT 12447245 SOS 1824101 HAS SOPS 1824101 HAS SOUS 1413979 HAS SOUPS 1413979 WITH SCORE 1415803.101
AT ITER 8432 NEW BEST:: SOT 12447242 SOS 1824095 HAS SOPS 1824095 HAS SOUS 1413973 HAS SOUPS 1413973 WITH SCORE 1415797.095
AT ITER 8438 NEW BEST:: SOT 12447117 SOS 1823923 HAS SOPS 1823923 HAS SOUS 1413798 HAS SOUPS 1413798 WITH SCORE 1415621.923
AT ITER 8439 NEW BEST:: SOT 12447245 SOS 1823952 HAS SOPS 1823952 HAS SOUS 1413637 HAS SOUPS 1413637 WITH SCORE 1415460.952
AT ITER 8469 NEW BEST:: SOT 12447419 SOS 1823931 HAS SOPS 1823931 HAS SOUS 1413616 HAS SOUPS 1413616 WITH SCORE 1415439.931
AT ITER 8561 NEW BEST:: SOT 12447271 SOS 1823526 HAS SOPS 1823526 HAS SOUS 1413517 HAS SOUPS 1413517 WITH SCORE 1415340.526
AT ITER 8595 NEW BEST:: SOT 12447250 SOS 1823573 HAS SOPS 1823573 HAS SOUS 1413466 HAS SOUPS 1413466 WITH SCORE 1415289.573
AT ITER 8655 NEW BEST:: SOT 12446885 SOS 1822843 HAS SOPS 1822843 HAS SOUS 1412736 HAS SOUPS 1412736 WITH SCORE 1414558.843
AT ITER 8660 NEW BEST:: SOT 12445093 SOS 1820795 HAS SOPS 1820795 HAS SOUS 1412480 HAS SOUPS 1412480 WITH SCORE 1414300.795
AT ITER 8661 NEW BEST:: SOT 12444908 SOS 1820240 HAS SOPS 1820240 HAS SOUS 1411925 HAS SOUPS 1411925 WITH SCORE 1413745.24
AT ITER 8678 NEW BEST:: SOT 12444904 SOS 1820228 HAS SOPS 1820228 HAS SOUS 1411917 HAS SOUPS 1411917 WITH SCORE 1413737.228
AT ITER 8716 NEW BEST:: SOT 12444792 SOS 1820055 HAS SOPS 1820055 HAS SOUS 1411840 HAS SOUPS 1411840 WITH SCORE 1413660.055
AT ITER 8750 NEW BEST:: SOT 12444792 SOS 1819955 HAS SOPS 1819955 HAS SOUS 1411740 HAS SOUPS 1411740 WITH SCORE 1413559.955
AT ITER 8764 NEW BEST:: SOT 12444544 SOS 1819967 HAS SOPS 1819967 HAS SOUS 1411492 HAS SOUPS 1411492 WITH SCORE 1413311.967
AT ITER 8770 NEW BEST:: SOT 12443740 SOS 1819605 HAS SOPS 1819605 HAS SOUS 1410224 HAS SOUPS 1410224 WITH SCORE 1412043.605
AT ITER 8785 NEW BEST:: SOT 12443739 SOS 1819478 HAS SOPS 1819478 HAS SOUS 1410097 HAS SOUPS 1410097 WITH SCORE 1411916.478
AT ITER 8787 NEW BEST:: SOT 12443698 SOS 1819355 HAS SOPS 1819355 HAS SOUS 1410015 HAS SOUPS 1410015 WITH SCORE 1411834.355
AT ITER 8790 NEW BEST:: SOT 12443698 SOS 1819492 HAS SOPS 1819492 HAS SOUS 1408703 HAS SOUPS 1408703 WITH SCORE 1410522.492
AT ITER 8812 NEW BEST:: SOT 12443913 SOS 1818876 HAS SOPS 1818876 HAS SOUS 1408087 HAS SOUPS 1408087 WITH SCORE 1409905.876
AT ITER 8862 NEW BEST:: SOT 12443984 SOS 1819018 HAS SOPS 1819018 HAS SOUS 1407864 HAS SOUPS 1407864 WITH SCORE 1409683.018
AT ITER 8909 NEW BEST:: SOT 12444922 SOS 1820468 HAS SOPS 1820468 HAS SOUS 1407702 HAS SOUPS 1407702 WITH SCORE 1409522.468
AT ITER 8917 NEW BEST:: SOT 12444658 SOS 1819928 HAS SOPS 1819928 HAS SOUS 1402784 HAS SOUPS 1402784 WITH SCORE 1404603.928
AT ITER 8937 NEW BEST:: SOT 12444577 SOS 1820134 HAS SOPS 1820134 HAS SOUS 1402622 HAS SOUPS 1402622 WITH SCORE 1404442.134
AT ITER 8944 NEW BEST:: SOT 12444376 SOS 1820069 HAS SOPS 1820069 HAS SOUS 1402489 HAS SOUPS 1402489 WITH SCORE 1404309.069
AT ITER 8947 NEW BEST:: SOT 12444376 SOS 1819932 HAS SOPS 1819932 HAS SOUS 1402352 HAS SOUPS 1402352 WITH SCORE 1404171.932
AT ITER 9034 NEW BEST:: SOT 12444367 SOS 1819675 HAS SOPS 1819675 HAS SOUS 1402312 HAS SOUPS 1402312 WITH SCORE 1404131.675
AT ITER 9056 NEW BEST:: SOT 12444366 SOS 1819673 HAS SOPS 1819673 HAS SOUS 1402310 HAS SOUPS 1402310 WITH SCORE 1404129.673
AT ITER 9099 NEW BEST:: SOT 12444234 SOS 1819408 HAS SOPS 1819408 HAS SOUS 1402045 HAS SOUPS 1402045 WITH SCORE 1403864.408
AT ITER 9125 NEW BEST:: SOT 12443521 SOS 1814819 HAS SOPS 1814819 HAS SOUS 1401006 HAS SOUPS 1401006 WITH SCORE 1402820.819
AT ITER 9144 NEW BEST:: SOT 12443446 SOS 1814144 HAS SOPS 1814144 HAS SOUS 1400856 HAS SOUPS 1400856 WITH SCORE 1402670.144
AT ITER 9161 NEW BEST:: SOT 12443446 SOS 1813989 HAS SOPS 1813989 HAS SOUS 1400701 HAS SOUPS 1400701 WITH SCORE 1402514.989
AT ITER 9195 NEW BEST:: SOT 12443348 SOS 1814161 HAS SOPS 1814161 HAS SOUS 1400689 HAS SOUPS 1400689 WITH SCORE 1402503.161
AT ITER 9197 NEW BEST:: SOT 12443212 SOS 1813889 HAS SOPS 1813889 HAS SOUS 1400417 HAS SOUPS 1400417 WITH SCORE 1402230.889
AT ITER 9201 NEW BEST:: SOT 12443206 SOS 1813919 HAS SOPS 1813919 HAS SOUS 1400405 HAS SOUPS 1400405 WITH SCORE 1402218.919
AT ITER 9234 NEW BEST:: SOT 12443125 SOS 1813683 HAS SOPS 1813683 HAS SOUS 1400362 HAS SOUPS 1400362 WITH SCORE 1402175.683
AT ITER 9259 NEW BEST:: SOT 12443041 SOS 1813515 HAS SOPS 1813515 HAS SOUS 1400277 HAS SOUPS 1400277 WITH SCORE 1402090.515
AT ITER 9276 NEW BEST:: SOT 12443037 SOS 1813410 HAS SOPS 1813410 HAS SOUS 1400273 HAS SOUPS 1400273 WITH SCORE 1402086.41
AT ITER 9280 NEW BEST:: SOT 12442892 SOS 1813120 HAS SOPS 1813120 HAS SOUS 1399983 HAS SOUPS 1399983 WITH SCORE 1401796.12
AT ITER 9295 NEW BEST:: SOT 12442972 SOS 1813080 HAS SOPS 1813080 HAS SOUS 1399943 HAS SOUPS 1399943 WITH SCORE 1401756.08
AT ITER 9331 NEW BEST:: SOT 12443144 SOS 1813862 HAS SOPS 1813862 HAS SOUS 1399889 HAS SOUPS 1399889 WITH SCORE 1401702.862
AT ITER 9387 NEW BEST:: SOT 12443144 SOS 1813839 HAS SOPS 1813839 HAS SOUS 1399866 HAS SOUPS 1399866 WITH SCORE 1401679.839
AT ITER 9397 NEW BEST:: SOT 12443144 SOS 1813803 HAS SOPS 1813803 HAS SOUS 1399830 HAS SOUPS 1399830 WITH SCORE 1401643.803
AT ITER 9417 NEW BEST:: SOT 12442364 SOS 1813899 HAS SOPS 1813899 HAS SOUS 1399326 HAS SOUPS 1399326 WITH SCORE 1401139.899
AT ITER 9436 NEW BEST:: SOT 12442364 SOS 1813891 HAS SOPS 1813891 HAS SOUS 1399318 HAS SOUPS 1399318 WITH SCORE 1401131.891
AT ITER 9462 NEW BEST:: SOT 12442257 SOS 1813677 HAS SOPS 1813677 HAS SOUS 1399211 HAS SOUPS 1399211 WITH SCORE 1401024.677
AT ITER 9494 NEW BEST:: SOT 12442112 SOS 1813387 HAS SOPS 1813387 HAS SOUS 1398921 HAS SOUPS 1398921 WITH SCORE 1400734.387
AT ITER 9533 NEW BEST:: SOT 12441884 SOS 1814532 HAS SOPS 1814532 HAS SOUS 1398432 HAS SOUPS 1398432 WITH SCORE 1400246.532
AT ITER 9541 NEW BEST:: SOT 12441736 SOS 1813500 HAS SOPS 1813500 HAS SOUS 1398136 HAS SOUPS 1398136 WITH SCORE 1399949.5
AT ITER 9544 NEW BEST:: SOT 12441704 SOS 1813611 HAS SOPS 1813611 HAS SOUS 1398133 HAS SOUPS 1398133 WITH SCORE 1399946.611
AT ITER 9556 NEW BEST:: SOT 12441441 SOS 1813348 HAS SOPS 1813348 HAS SOUS 1397870 HAS SOUPS 1397870 WITH SCORE 1399683.348
AT ITER 9567 NEW BEST:: SOT 12441286 SOS 1813244 HAS SOPS 1813244 HAS SOUS 1397751 HAS SOUPS 1397751 WITH SCORE 1399564.244
AT ITER 9601 NEW BEST:: SOT 12441274 SOS 1813220 HAS SOPS 1813220 HAS SOUS 1397727 HAS SOUPS 1397727 WITH SCORE 1399540.22
AT ITER 9631 NEW BEST:: SOT 12441274 SOS 1813039 HAS SOPS 1813039 HAS SOUS 1397546 HAS SOUPS 1397546 WITH SCORE 1399359.039
AT ITER 9644 NEW BEST:: SOT 12441260 SOS 1813018 HAS SOPS 1813018 HAS SOUS 1397532 HAS SOUPS 1397532 WITH SCORE 1399345.018
AT ITER 9656 NEW BEST:: SOT 12441212 SOS 1812908 HAS SOPS 1812908 HAS SOUS 1397468 HAS SOUPS 1397468 WITH SCORE 1399280.908
AT ITER 9662 NEW BEST:: SOT 12441212 SOS 1812907 HAS SOPS 1812907 HAS SOUS 1397467 HAS SOUPS 1397467 WITH SCORE 1399279.907
AT ITER 9690 NEW BEST:: SOT 12440953 SOS 1813029 HAS SOPS 1813029 HAS SOUS 1397335 HAS SOUPS 1397335 WITH SCORE 1399148.029
AT ITER 9709 NEW BEST:: SOT 12440335 SOS 1812657 HAS SOPS 1812657 HAS SOUS 1396766 HAS SOUPS 1396766 WITH SCORE 1398578.657
AT ITER 9718 NEW BEST:: SOT 12440270 SOS 1812785 HAS SOPS 1812785 HAS SOUS 1394830 HAS SOUPS 1394830 WITH SCORE 1396642.785
AT ITER 9756 NEW BEST:: SOT 12440270 SOS 1812785 HAS SOPS 1812785 HAS SOUS 1394828 HAS SOUPS 1394828 WITH SCORE 1396640.785
AT ITER 9763 NEW BEST:: SOT 12440270 SOS 1812752 HAS SOPS 1812752 HAS SOUS 1394828 HAS SOUPS 1394828 WITH SCORE 1396640.752
AT ITER 9798 NEW BEST:: SOT 12440033 SOS 1812509 HAS SOPS 1812509 HAS SOUS 1394585 HAS SOUPS 1394585 WITH SCORE 1396397.509
AT ITER 9804 NEW BEST:: SOT 12439848 SOS 1812507 HAS SOPS 1812507 HAS SOUS 1394491 HAS SOUPS 1394491 WITH SCORE 1396303.507
AT ITER 9829 NEW BEST:: SOT 12439731 SOS 1812390 HAS SOPS 1812390 HAS SOUS 1394374 HAS SOUPS 1394374 WITH SCORE 1396186.39
AT ITER 9841 NEW BEST:: SOT 12439731 SOS 1812367 HAS SOPS 1812367 HAS SOUS 1394351 HAS SOUPS 1394351 WITH SCORE 1396163.367
AT ITER 9867 NEW BEST:: SOT 12439686 SOS 1812322 HAS SOPS 1812322 HAS SOUS 1394306 HAS SOUPS 1394306 WITH SCORE 1396118.322
AT ITER 9885 NEW BEST:: SOT 12439686 SOS 1812579 HAS SOPS 1812579 HAS SOUS 1394293 HAS SOUPS 1394293 WITH SCORE 1396105.579
AT ITER 9899 NEW BEST:: SOT 12438699 SOS 1811451 HAS SOPS 1811451 HAS SOUS 1394152 HAS SOUPS 1394152 WITH SCORE 1395963.451
AT ITER 9922 NEW BEST:: SOT 12438699 SOS 1811451 HAS SOPS 1811451 HAS SOUS 1394151 HAS SOUPS 1394151 WITH SCORE 1395962.451
AT ITER 9990 NEW BEST:: SOT 12438336 SOS 1810696 HAS SOPS 1810696 HAS SOUS 1393396 HAS SOUPS 1393396 WITH SCORE 1395206.696
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 13221788 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16117700 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="ASLink-PT-10b"
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 ASLink-PT-10b, 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-167813599800168"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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