About the Execution of Smart+red for NoC3x3-PT-5B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5771.512 | 3600000.00 | 3632234.00 | 9593.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.r267-smll-167863541700304.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is NoC3x3-PT-5B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541700304
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 972K
-rw-r--r-- 1 mcc users 5.5K Feb 26 10:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 26 10:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 10:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 10:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 10:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 161K Feb 26 10:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 10:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 10:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 525K Mar 5 18:23 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 1678843693018
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=NoC3x3-PT-5B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 01:28:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 01:28:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 01:28:16] [INFO ] Load time of PNML (sax parser for PT used): 332 ms
[2023-03-15 01:28:16] [INFO ] Transformed 1571 places.
[2023-03-15 01:28:16] [INFO ] Transformed 2173 transitions.
[2023-03-15 01:28:16] [INFO ] Found NUPN structural information;
[2023-03-15 01:28:16] [INFO ] Parsed PT model containing 1571 places and 2173 transitions and 6109 arcs in 631 ms.
[2023-03-15 01:28:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1571 places, 2173 transitions and 6109 arcs took 44 ms.
Total runtime 738 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 5B
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: 1571 places, 2173 transitions, 6109 arcs.
AT ITER 0 NEW BEST:: SOT 1846019 SOS 295120 HAS SOPS 295120 HAS SOUS 236109 HAS SOUPS 236109 WITH SCORE 236404.12
AT ITER 18 NEW BEST:: SOT 1845909 SOS 295216 HAS SOPS 295216 HAS SOUS 235997 HAS SOUPS 235997 WITH SCORE 236292.216
AT ITER 19 NEW BEST:: SOT 1845705 SOS 295130 HAS SOPS 295130 HAS SOUS 235870 HAS SOUPS 235870 WITH SCORE 236165.13
AT ITER 62 NEW BEST:: SOT 1845650 SOS 295111 HAS SOPS 295111 HAS SOUS 235851 HAS SOUPS 235851 WITH SCORE 236146.111
AT ITER 64 NEW BEST:: SOT 1845506 SOS 295059 HAS SOPS 295059 HAS SOUS 235799 HAS SOUPS 235799 WITH SCORE 236094.059
AT ITER 70 NEW BEST:: SOT 1844818 SOS 294512 HAS SOPS 294512 HAS SOUS 235250 HAS SOUPS 235250 WITH SCORE 235544.512
AT ITER 78 NEW BEST:: SOT 1844783 SOS 294442 HAS SOPS 294442 HAS SOUS 235180 HAS SOUPS 235180 WITH SCORE 235474.442
AT ITER 99 NEW BEST:: SOT 1844782 SOS 294441 HAS SOPS 294441 HAS SOUS 235179 HAS SOUPS 235179 WITH SCORE 235473.441
AT ITER 148 NEW BEST:: SOT 1844787 SOS 294410 HAS SOPS 294410 HAS SOUS 235156 HAS SOUPS 235156 WITH SCORE 235450.41
AT ITER 164 NEW BEST:: SOT 1844760 SOS 294275 HAS SOPS 294275 HAS SOUS 235129 HAS SOUPS 235129 WITH SCORE 235423.275
AT ITER 175 NEW BEST:: SOT 1844449 SOS 294259 HAS SOPS 294259 HAS SOUS 235048 HAS SOUPS 235048 WITH SCORE 235342.259
AT ITER 195 NEW BEST:: SOT 1844223 SOS 294736 HAS SOPS 294736 HAS SOUS 235047 HAS SOUPS 235047 WITH SCORE 235341.736
AT ITER 226 NEW BEST:: SOT 1844094 SOS 294607 HAS SOPS 294607 HAS SOUS 234914 HAS SOUPS 234914 WITH SCORE 235208.607
AT ITER 239 NEW BEST:: SOT 1843952 SOS 294219 HAS SOPS 294219 HAS SOUS 234611 HAS SOUPS 234611 WITH SCORE 234905.219
AT ITER 289 NEW BEST:: SOT 1842922 SOS 300314 HAS SOPS 300314 HAS SOUS 234156 HAS SOUPS 234156 WITH SCORE 234456.314
AT ITER 297 NEW BEST:: SOT 1842922 SOS 300348 HAS SOPS 300348 HAS SOUS 234139 HAS SOUPS 234139 WITH SCORE 234439.348
AT ITER 312 NEW BEST:: SOT 1842899 SOS 299938 HAS SOPS 299938 HAS SOUS 233843 HAS SOUPS 233843 WITH SCORE 234142.938
AT ITER 315 NEW BEST:: SOT 1842839 SOS 300016 HAS SOPS 300016 HAS SOUS 233781 HAS SOUPS 233781 WITH SCORE 234081.016
AT ITER 354 NEW BEST:: SOT 1842625 SOS 303498 HAS SOPS 303498 HAS SOUS 233628 HAS SOUPS 233628 WITH SCORE 233931.498
AT ITER 382 NEW BEST:: SOT 1842402 SOS 303284 HAS SOPS 303284 HAS SOUS 233375 HAS SOUPS 233375 WITH SCORE 233678.284
AT ITER 393 NEW BEST:: SOT 1842036 SOS 303366 HAS SOPS 303366 HAS SOUS 233315 HAS SOUPS 233315 WITH SCORE 233618.366
AT ITER 412 NEW BEST:: SOT 1841233 SOS 303136 HAS SOPS 303136 HAS SOUS 232533 HAS SOUPS 232533 WITH SCORE 232836.136
AT ITER 414 NEW BEST:: SOT 1841203 SOS 303048 HAS SOPS 303048 HAS SOUS 232387 HAS SOUPS 232387 WITH SCORE 232690.048
AT ITER 429 NEW BEST:: SOT 1840988 SOS 302843 HAS SOPS 302843 HAS SOUS 232176 HAS SOUPS 232176 WITH SCORE 232478.843
AT ITER 487 NEW BEST:: SOT 1840874 SOS 302729 HAS SOPS 302729 HAS SOUS 232062 HAS SOUPS 232062 WITH SCORE 232364.729
AT ITER 493 NEW BEST:: SOT 1840848 SOS 302677 HAS SOPS 302677 HAS SOUS 232036 HAS SOUPS 232036 WITH SCORE 232338.677
AT ITER 500 NEW BEST:: SOT 1840208 SOS 302690 HAS SOPS 302690 HAS SOUS 231471 HAS SOUPS 231471 WITH SCORE 231773.69
AT ITER 522 NEW BEST:: SOT 1839835 SOS 302348 HAS SOPS 302348 HAS SOUS 231129 HAS SOUPS 231129 WITH SCORE 231431.348
AT ITER 604 NEW BEST:: SOT 1839802 SOS 302561 HAS SOPS 302561 HAS SOUS 231126 HAS SOUPS 231126 WITH SCORE 231428.561
AT ITER 616 NEW BEST:: SOT 1839636 SOS 302174 HAS SOPS 302174 HAS SOUS 230887 HAS SOUPS 230887 WITH SCORE 231189.174
AT ITER 664 NEW BEST:: SOT 1839503 SOS 301611 HAS SOPS 301611 HAS SOUS 230623 HAS SOUPS 230623 WITH SCORE 230924.611
AT ITER 676 NEW BEST:: SOT 1839452 SOS 301560 HAS SOPS 301560 HAS SOUS 230521 HAS SOUPS 230521 WITH SCORE 230822.56
AT ITER 677 NEW BEST:: SOT 1839452 SOS 301372 HAS SOPS 301372 HAS SOUS 230504 HAS SOUPS 230504 WITH SCORE 230805.372
AT ITER 679 NEW BEST:: SOT 1839452 SOS 301357 HAS SOPS 301357 HAS SOUS 230504 HAS SOUPS 230504 WITH SCORE 230805.357
AT ITER 684 NEW BEST:: SOT 1839385 SOS 301271 HAS SOPS 301271 HAS SOUS 230417 HAS SOUPS 230417 WITH SCORE 230718.271
AT ITER 696 NEW BEST:: SOT 1839278 SOS 301276 HAS SOPS 301276 HAS SOUS 230210 HAS SOUPS 230210 WITH SCORE 230511.276
AT ITER 719 NEW BEST:: SOT 1839228 SOS 301176 HAS SOPS 301176 HAS SOUS 230110 HAS SOUPS 230110 WITH SCORE 230411.176
AT ITER 739 NEW BEST:: SOT 1839208 SOS 301136 HAS SOPS 301136 HAS SOUS 230090 HAS SOUPS 230090 WITH SCORE 230391.136
AT ITER 772 NEW BEST:: SOT 1839295 SOS 301048 HAS SOPS 301048 HAS SOUS 230090 HAS SOUPS 230090 WITH SCORE 230391.048
AT ITER 789 NEW BEST:: SOT 1839281 SOS 301020 HAS SOPS 301020 HAS SOUS 230062 HAS SOUPS 230062 WITH SCORE 230363.02
AT ITER 795 NEW BEST:: SOT 1838660 SOS 302173 HAS SOPS 302173 HAS SOUS 229920 HAS SOUPS 229920 WITH SCORE 230222.173
AT ITER 806 NEW BEST:: SOT 1838660 SOS 302242 HAS SOPS 302242 HAS SOUS 229906 HAS SOUPS 229906 WITH SCORE 230208.242
AT ITER 810 NEW BEST:: SOT 1838624 SOS 302170 HAS SOPS 302170 HAS SOUS 229767 HAS SOUPS 229767 WITH SCORE 230069.17
AT ITER 837 NEW BEST:: SOT 1838559 SOS 302438 HAS SOPS 302438 HAS SOUS 229754 HAS SOUPS 229754 WITH SCORE 230056.438
AT ITER 854 NEW BEST:: SOT 1838578 SOS 302155 HAS SOPS 302155 HAS SOUS 229725 HAS SOUPS 229725 WITH SCORE 230027.155
AT ITER 856 NEW BEST:: SOT 1838406 SOS 301744 HAS SOPS 301744 HAS SOUS 229333 HAS SOUPS 229333 WITH SCORE 229634.744
AT ITER 859 NEW BEST:: SOT 1838420 SOS 301772 HAS SOPS 301772 HAS SOUS 229189 HAS SOUPS 229189 WITH SCORE 229490.772
AT ITER 861 NEW BEST:: SOT 1838408 SOS 301794 HAS SOPS 301794 HAS SOUS 229172 HAS SOUPS 229172 WITH SCORE 229473.794
AT ITER 896 NEW BEST:: SOT 1838389 SOS 301593 HAS SOPS 301593 HAS SOUS 229106 HAS SOUPS 229106 WITH SCORE 229407.593
AT ITER 972 NEW BEST:: SOT 1838365 SOS 301563 HAS SOPS 301563 HAS SOUS 229074 HAS SOUPS 229074 WITH SCORE 229375.563
AT ITER 993 NEW BEST:: SOT 1838364 SOS 301649 HAS SOPS 301649 HAS SOUS 228808 HAS SOUPS 228808 WITH SCORE 229109.649
AT ITER 1049 NEW BEST:: SOT 1838155 SOS 301521 HAS SOPS 301521 HAS SOUS 228680 HAS SOUPS 228680 WITH SCORE 228981.521
AT ITER 1061 NEW BEST:: SOT 1838145 SOS 301501 HAS SOPS 301501 HAS SOUS 228670 HAS SOUPS 228670 WITH SCORE 228971.501
AT ITER 1124 NEW BEST:: SOT 1838094 SOS 301019 HAS SOPS 301019 HAS SOUS 228446 HAS SOUPS 228446 WITH SCORE 228747.019
AT ITER 1137 NEW BEST:: SOT 1837722 SOS 300616 HAS SOPS 300616 HAS SOUS 228043 HAS SOUPS 228043 WITH SCORE 228343.616
AT ITER 1139 NEW BEST:: SOT 1837395 SOS 300414 HAS SOPS 300414 HAS SOUS 227786 HAS SOUPS 227786 WITH SCORE 228086.414
AT ITER 1149 NEW BEST:: SOT 1837362 SOS 300381 HAS SOPS 300381 HAS SOUS 227753 HAS SOUPS 227753 WITH SCORE 228053.381
AT ITER 1161 NEW BEST:: SOT 1837109 SOS 299731 HAS SOPS 299731 HAS SOUS 227520 HAS SOUPS 227520 WITH SCORE 227819.731
AT ITER 1178 NEW BEST:: SOT 1837000 SOS 299455 HAS SOPS 299455 HAS SOUS 227346 HAS SOUPS 227346 WITH SCORE 227645.455
AT ITER 1191 NEW BEST:: SOT 1836945 SOS 299400 HAS SOPS 299400 HAS SOUS 227291 HAS SOUPS 227291 WITH SCORE 227590.4
AT ITER 1250 NEW BEST:: SOT 1836814 SOS 299319 HAS SOPS 299319 HAS SOUS 227238 HAS SOUPS 227238 WITH SCORE 227537.319
AT ITER 1274 NEW BEST:: SOT 1836814 SOS 298962 HAS SOPS 298962 HAS SOUS 227119 HAS SOUPS 227119 WITH SCORE 227417.962
AT ITER 1277 NEW BEST:: SOT 1836892 SOS 298916 HAS SOPS 298916 HAS SOUS 227105 HAS SOUPS 227105 WITH SCORE 227403.916
AT ITER 1279 NEW BEST:: SOT 1836767 SOS 298809 HAS SOPS 298809 HAS SOUS 226916 HAS SOUPS 226916 WITH SCORE 227214.809
AT ITER 1300 NEW BEST:: SOT 1836756 SOS 298787 HAS SOPS 298787 HAS SOUS 226905 HAS SOUPS 226905 WITH SCORE 227203.787
AT ITER 1313 NEW BEST:: SOT 1836853 SOS 298946 HAS SOPS 298946 HAS SOUS 226902 HAS SOUPS 226902 WITH SCORE 227200.946
AT ITER 1322 NEW BEST:: SOT 1836122 SOS 299295 HAS SOPS 299295 HAS SOUS 226162 HAS SOUPS 226162 WITH SCORE 226461.295
AT ITER 1349 NEW BEST:: SOT 1836012 SOS 299187 HAS SOPS 299187 HAS SOUS 226106 HAS SOUPS 226106 WITH SCORE 226405.187
AT ITER 1355 NEW BEST:: SOT 1836006 SOS 299146 HAS SOPS 299146 HAS SOUS 226065 HAS SOUPS 226065 WITH SCORE 226364.146
AT ITER 1374 NEW BEST:: SOT 1836006 SOS 299096 HAS SOPS 299096 HAS SOUS 226063 HAS SOUPS 226063 WITH SCORE 226362.096
AT ITER 1378 NEW BEST:: SOT 1833428 SOS 320774 HAS SOPS 320774 HAS SOUS 224836 HAS SOUPS 224836 WITH SCORE 225156.774
AT ITER 1393 NEW BEST:: SOT 1833385 SOS 320731 HAS SOPS 320731 HAS SOUS 224779 HAS SOUPS 224779 WITH SCORE 225099.731
AT ITER 1397 NEW BEST:: SOT 1833320 SOS 320569 HAS SOPS 320569 HAS SOUS 224641 HAS SOUPS 224641 WITH SCORE 224961.569
AT ITER 1398 NEW BEST:: SOT 1833246 SOS 320273 HAS SOPS 320273 HAS SOUS 224493 HAS SOUPS 224493 WITH SCORE 224813.273
AT ITER 1460 NEW BEST:: SOT 1833246 SOS 320343 HAS SOPS 320343 HAS SOUS 224283 HAS SOUPS 224283 WITH SCORE 224603.343
AT ITER 1468 NEW BEST:: SOT 1833176 SOS 320308 HAS SOPS 320308 HAS SOUS 224283 HAS SOUPS 224283 WITH SCORE 224603.308
AT ITER 1472 NEW BEST:: SOT 1833029 SOS 319573 HAS SOPS 319573 HAS SOUS 224141 HAS SOUPS 224141 WITH SCORE 224460.573
AT ITER 1475 NEW BEST:: SOT 1833029 SOS 318674 HAS SOPS 318674 HAS SOUS 223974 HAS SOUPS 223974 WITH SCORE 224292.674
AT ITER 1527 NEW BEST:: SOT 1832732 SOS 318450 HAS SOPS 318450 HAS SOUS 223750 HAS SOUPS 223750 WITH SCORE 224068.45
AT ITER 1529 NEW BEST:: SOT 1832712 SOS 318370 HAS SOPS 318370 HAS SOUS 223746 HAS SOUPS 223746 WITH SCORE 224064.37
AT ITER 1563 NEW BEST:: SOT 1832710 SOS 318366 HAS SOPS 318366 HAS SOUS 223742 HAS SOUPS 223742 WITH SCORE 224060.366
AT ITER 1599 NEW BEST:: SOT 1832710 SOS 318090 HAS SOPS 318090 HAS SOUS 223604 HAS SOUPS 223604 WITH SCORE 223922.09
AT ITER 1606 NEW BEST:: SOT 1832708 SOS 318086 HAS SOPS 318086 HAS SOUS 223601 HAS SOUPS 223601 WITH SCORE 223919.086
AT ITER 1677 NEW BEST:: SOT 1832599 SOS 318088 HAS SOPS 318088 HAS SOUS 223544 HAS SOUPS 223544 WITH SCORE 223862.088
AT ITER 1682 NEW BEST:: SOT 1832458 SOS 317624 HAS SOPS 317624 HAS SOUS 223248 HAS SOUPS 223248 WITH SCORE 223565.624
AT ITER 1694 NEW BEST:: SOT 1830547 SOS 323055 HAS SOPS 323055 HAS SOUS 222625 HAS SOUPS 222625 WITH SCORE 222948.055
AT ITER 1700 NEW BEST:: SOT 1830468 SOS 322231 HAS SOPS 322231 HAS SOUS 222524 HAS SOUPS 222524 WITH SCORE 222846.231
AT ITER 1703 NEW BEST:: SOT 1830340 SOS 321921 HAS SOPS 321921 HAS SOUS 222214 HAS SOUPS 222214 WITH SCORE 222535.921
AT ITER 1716 NEW BEST:: SOT 1830327 SOS 321895 HAS SOPS 321895 HAS SOUS 222188 HAS SOUPS 222188 WITH SCORE 222509.895
AT ITER 1743 NEW BEST:: SOT 1829702 SOS 321270 HAS SOPS 321270 HAS SOUS 221563 HAS SOUPS 221563 WITH SCORE 221884.27
AT ITER 1744 NEW BEST:: SOT 1829623 SOS 320799 HAS SOPS 320799 HAS SOUS 221269 HAS SOUPS 221269 WITH SCORE 221589.799
AT ITER 1759 NEW BEST:: SOT 1828889 SOS 320461 HAS SOPS 320461 HAS SOUS 220855 HAS SOUPS 220855 WITH SCORE 221175.461
AT ITER 1804 NEW BEST:: SOT 1828771 SOS 320428 HAS SOPS 320428 HAS SOUS 220822 HAS SOUPS 220822 WITH SCORE 221142.428
AT ITER 1845 NEW BEST:: SOT 1828491 SOS 320471 HAS SOPS 320471 HAS SOUS 220542 HAS SOUPS 220542 WITH SCORE 220862.471
AT ITER 1875 NEW BEST:: SOT 1828406 SOS 320408 HAS SOPS 320408 HAS SOUS 220528 HAS SOUPS 220528 WITH SCORE 220848.408
AT ITER 1888 NEW BEST:: SOT 1828305 SOS 320067 HAS SOPS 320067 HAS SOUS 220510 HAS SOUPS 220510 WITH SCORE 220830.067
AT ITER 1893 NEW BEST:: SOT 1827511 SOS 319228 HAS SOPS 319228 HAS SOUS 219738 HAS SOUPS 219738 WITH SCORE 220057.228
AT ITER 1903 NEW BEST:: SOT 1827438 SOS 319228 HAS SOPS 319228 HAS SOUS 219592 HAS SOUPS 219592 WITH SCORE 219911.228
AT ITER 1930 NEW BEST:: SOT 1827411 SOS 319228 HAS SOPS 319228 HAS SOUS 219581 HAS SOUPS 219581 WITH SCORE 219900.228
AT ITER 1935 NEW BEST:: SOT 1827179 SOS 318996 HAS SOPS 318996 HAS SOUS 219349 HAS SOUPS 219349 WITH SCORE 219667.996
AT ITER 1950 NEW BEST:: SOT 1827077 SOS 318791 HAS SOPS 318791 HAS SOUS 219263 HAS SOUPS 219263 WITH SCORE 219581.791
AT ITER 1963 NEW BEST:: SOT 1826864 SOS 317407 HAS SOPS 317407 HAS SOUS 219169 HAS SOUPS 219169 WITH SCORE 219486.407
AT ITER 2031 NEW BEST:: SOT 1826863 SOS 317406 HAS SOPS 317406 HAS SOUS 219074 HAS SOUPS 219074 WITH SCORE 219391.406
AT ITER 2050 NEW BEST:: SOT 1826791 SOS 317262 HAS SOPS 317262 HAS SOUS 219017 HAS SOUPS 219017 WITH SCORE 219334.262
AT ITER 2056 NEW BEST:: SOT 1826791 SOS 317234 HAS SOPS 317234 HAS SOUS 218989 HAS SOUPS 218989 WITH SCORE 219306.234
AT ITER 2057 NEW BEST:: SOT 1826764 SOS 318255 HAS SOPS 318255 HAS SOUS 218915 HAS SOUPS 218915 WITH SCORE 219233.255
AT ITER 2076 NEW BEST:: SOT 1826741 SOS 318251 HAS SOPS 318251 HAS SOUS 218911 HAS SOUPS 218911 WITH SCORE 219229.251
AT ITER 2129 NEW BEST:: SOT 1826141 SOS 317734 HAS SOPS 317734 HAS SOUS 218376 HAS SOUPS 218376 WITH SCORE 218693.734
AT ITER 2137 NEW BEST:: SOT 1826100 SOS 317690 HAS SOPS 317690 HAS SOUS 218345 HAS SOUPS 218345 WITH SCORE 218662.69
AT ITER 2179 NEW BEST:: SOT 1825894 SOS 317703 HAS SOPS 317703 HAS SOUS 218222 HAS SOUPS 218222 WITH SCORE 218539.703
AT ITER 2188 NEW BEST:: SOT 1825525 SOS 317587 HAS SOPS 317587 HAS SOUS 217687 HAS SOUPS 217687 WITH SCORE 218004.587
AT ITER 2191 NEW BEST:: SOT 1825383 SOS 317557 HAS SOPS 317557 HAS SOUS 217627 HAS SOUPS 217627 WITH SCORE 217944.557
AT ITER 2204 NEW BEST:: SOT 1825307 SOS 317285 HAS SOPS 317285 HAS SOUS 217323 HAS SOUPS 217323 WITH SCORE 217640.285
AT ITER 2214 NEW BEST:: SOT 1825307 SOS 312405 HAS SOPS 312405 HAS SOUS 217201 HAS SOUPS 217201 WITH SCORE 217513.405
AT ITER 2241 NEW BEST:: SOT 1825061 SOS 311986 HAS SOPS 311986 HAS SOUS 216875 HAS SOUPS 216875 WITH SCORE 217186.986
AT ITER 2244 NEW BEST:: SOT 1824937 SOS 311697 HAS SOPS 311697 HAS SOUS 216357 HAS SOUPS 216357 WITH SCORE 216668.697
AT ITER 2263 NEW BEST:: SOT 1824672 SOS 311936 HAS SOPS 311936 HAS SOUS 216355 HAS SOUPS 216355 WITH SCORE 216666.936
AT ITER 2303 NEW BEST:: SOT 1824311 SOS 311809 HAS SOPS 311809 HAS SOUS 215994 HAS SOUPS 215994 WITH SCORE 216305.809
AT ITER 2311 NEW BEST:: SOT 1824232 SOS 311785 HAS SOPS 311785 HAS SOUS 215951 HAS SOUPS 215951 WITH SCORE 216262.785
AT ITER 2321 NEW BEST:: SOT 1824232 SOS 307727 HAS SOPS 307727 HAS SOUS 215763 HAS SOUPS 215763 WITH SCORE 216070.727
AT ITER 2323 NEW BEST:: SOT 1824360 SOS 307509 HAS SOPS 307509 HAS SOUS 215733 HAS SOUPS 215733 WITH SCORE 216040.509
AT ITER 2358 NEW BEST:: SOT 1824360 SOS 307441 HAS SOPS 307441 HAS SOUS 215531 HAS SOUPS 215531 WITH SCORE 215838.441
AT ITER 2362 NEW BEST:: SOT 1824319 SOS 307417 HAS SOPS 307417 HAS SOUS 215391 HAS SOUPS 215391 WITH SCORE 215698.417
AT ITER 2379 NEW BEST:: SOT 1824281 SOS 307341 HAS SOPS 307341 HAS SOUS 215352 HAS SOUPS 215352 WITH SCORE 215659.341
AT ITER 2415 NEW BEST:: SOT 1824139 SOS 307347 HAS SOPS 307347 HAS SOUS 215231 HAS SOUPS 215231 WITH SCORE 215538.347
AT ITER 2428 NEW BEST:: SOT 1824122 SOS 307313 HAS SOPS 307313 HAS SOUS 215197 HAS SOUPS 215197 WITH SCORE 215504.313
AT ITER 2437 NEW BEST:: SOT 1824191 SOS 307240 HAS SOPS 307240 HAS SOUS 215193 HAS SOUPS 215193 WITH SCORE 215500.24
AT ITER 2462 NEW BEST:: SOT 1824182 SOS 307229 HAS SOPS 307229 HAS SOUS 215192 HAS SOUPS 215192 WITH SCORE 215499.229
AT ITER 2508 NEW BEST:: SOT 1824046 SOS 306989 HAS SOPS 306989 HAS SOUS 215156 HAS SOUPS 215156 WITH SCORE 215462.989
AT ITER 2517 NEW BEST:: SOT 1823954 SOS 306985 HAS SOPS 306985 HAS SOUS 215152 HAS SOUPS 215152 WITH SCORE 215458.985
AT ITER 2519 NEW BEST:: SOT 1824028 SOS 307006 HAS SOPS 307006 HAS SOUS 215151 HAS SOUPS 215151 WITH SCORE 215458.006
AT ITER 2522 NEW BEST:: SOT 1823759 SOS 306468 HAS SOPS 306468 HAS SOUS 215054 HAS SOUPS 215054 WITH SCORE 215360.468
AT ITER 2586 NEW BEST:: SOT 1823758 SOS 306466 HAS SOPS 306466 HAS SOUS 215052 HAS SOUPS 215052 WITH SCORE 215358.466
AT ITER 2642 NEW BEST:: SOT 1823731 SOS 306554 HAS SOPS 306554 HAS SOUS 215026 HAS SOUPS 215026 WITH SCORE 215332.554
AT ITER 2659 NEW BEST:: SOT 1823612 SOS 306343 HAS SOPS 306343 HAS SOUS 214815 HAS SOUPS 214815 WITH SCORE 215121.343
AT ITER 2680 NEW BEST:: SOT 1823562 SOS 306268 HAS SOPS 306268 HAS SOUS 214765 HAS SOUPS 214765 WITH SCORE 215071.268
AT ITER 2697 NEW BEST:: SOT 1823510 SOS 306216 HAS SOPS 306216 HAS SOUS 214609 HAS SOUPS 214609 WITH SCORE 214915.216
AT ITER 2699 NEW BEST:: SOT 1823485 SOS 306247 HAS SOPS 306247 HAS SOUS 214584 HAS SOUPS 214584 WITH SCORE 214890.247
AT ITER 2721 NEW BEST:: SOT 1823445 SOS 306119 HAS SOPS 306119 HAS SOUS 214554 HAS SOUPS 214554 WITH SCORE 214860.119
AT ITER 2727 NEW BEST:: SOT 1823322 SOS 305993 HAS SOPS 305993 HAS SOUS 214431 HAS SOUPS 214431 WITH SCORE 214736.993
AT ITER 2763 NEW BEST:: SOT 1823263 SOS 305816 HAS SOPS 305816 HAS SOUS 214431 HAS SOUPS 214431 WITH SCORE 214736.816
AT ITER 2782 NEW BEST:: SOT 1823277 SOS 305830 HAS SOPS 305830 HAS SOUS 214406 HAS SOUPS 214406 WITH SCORE 214711.83
AT ITER 2843 NEW BEST:: SOT 1822897 SOS 305507 HAS SOPS 305507 HAS SOUS 214057 HAS SOUPS 214057 WITH SCORE 214362.507
AT ITER 2853 NEW BEST:: SOT 1822833 SOS 305379 HAS SOPS 305379 HAS SOUS 213929 HAS SOUPS 213929 WITH SCORE 214234.379
AT ITER 2858 NEW BEST:: SOT 1822916 SOS 305431 HAS SOPS 305431 HAS SOUS 213914 HAS SOUPS 213914 WITH SCORE 214219.431
AT ITER 2877 NEW BEST:: SOT 1822957 SOS 305306 HAS SOPS 305306 HAS SOUS 213805 HAS SOUPS 213805 WITH SCORE 214110.306
AT ITER 2898 NEW BEST:: SOT 1822921 SOS 305255 HAS SOPS 305255 HAS SOUS 213776 HAS SOUPS 213776 WITH SCORE 214081.255
AT ITER 2911 NEW BEST:: SOT 1822888 SOS 305156 HAS SOPS 305156 HAS SOUS 213697 HAS SOUPS 213697 WITH SCORE 214002.156
AT ITER 2917 NEW BEST:: SOT 1822996 SOS 304941 HAS SOPS 304941 HAS SOUS 213644 HAS SOUPS 213644 WITH SCORE 213948.941
AT ITER 2919 NEW BEST:: SOT 1822813 SOS 304758 HAS SOPS 304758 HAS SOUS 213590 HAS SOUPS 213590 WITH SCORE 213894.758
AT ITER 2925 NEW BEST:: SOT 1822433 SOS 304093 HAS SOPS 304093 HAS SOUS 213020 HAS SOUPS 213020 WITH SCORE 213324.093
AT ITER 2949 NEW BEST:: SOT 1822433 SOS 304064 HAS SOPS 304064 HAS SOUS 213020 HAS SOUPS 213020 WITH SCORE 213324.064
AT ITER 2956 NEW BEST:: SOT 1822431 SOS 304016 HAS SOPS 304016 HAS SOUS 212995 HAS SOUPS 212995 WITH SCORE 213299.016
AT ITER 2969 NEW BEST:: SOT 1822389 SOS 304448 HAS SOPS 304448 HAS SOUS 212982 HAS SOUPS 212982 WITH SCORE 213286.448
AT ITER 3011 NEW BEST:: SOT 1822425 SOS 304484 HAS SOPS 304484 HAS SOUS 212965 HAS SOUPS 212965 WITH SCORE 213269.484
AT ITER 3052 NEW BEST:: SOT 1822058 SOS 306705 HAS SOPS 306705 HAS SOUS 212785 HAS SOUPS 212785 WITH SCORE 213091.705
AT ITER 3062 NEW BEST:: SOT 1822061 SOS 306603 HAS SOPS 306603 HAS SOUS 212778 HAS SOUPS 212778 WITH SCORE 213084.603
AT ITER 3065 NEW BEST:: SOT 1821979 SOS 306640 HAS SOPS 306640 HAS SOUS 212758 HAS SOUPS 212758 WITH SCORE 213064.64
AT ITER 3078 NEW BEST:: SOT 1821950 SOS 306653 HAS SOPS 306653 HAS SOUS 212729 HAS SOUPS 212729 WITH SCORE 213035.653
AT ITER 3088 NEW BEST:: SOT 1821657 SOS 306437 HAS SOPS 306437 HAS SOUS 212513 HAS SOUPS 212513 WITH SCORE 212819.437
AT ITER 3132 NEW BEST:: SOT 1821646 SOS 306393 HAS SOPS 306393 HAS SOUS 212513 HAS SOUPS 212513 WITH SCORE 212819.393
AT ITER 3156 NEW BEST:: SOT 1821646 SOS 306363 HAS SOPS 306363 HAS SOUS 212453 HAS SOUPS 212453 WITH SCORE 212759.363
AT ITER 3173 NEW BEST:: SOT 1821408 SOS 306018 HAS SOPS 306018 HAS SOUS 212285 HAS SOUPS 212285 WITH SCORE 212591.018
AT ITER 3232 NEW BEST:: SOT 1821408 SOS 306010 HAS SOPS 306010 HAS SOUS 212281 HAS SOUPS 212281 WITH SCORE 212587.01
AT ITER 3282 NEW BEST:: SOT 1821397 SOS 305877 HAS SOPS 305877 HAS SOUS 212264 HAS SOUPS 212264 WITH SCORE 212569.877
AT ITER 3325 NEW BEST:: SOT 1821394 SOS 305871 HAS SOPS 305871 HAS SOUS 212261 HAS SOUPS 212261 WITH SCORE 212566.871
AT ITER 3331 NEW BEST:: SOT 1821290 SOS 305767 HAS SOPS 305767 HAS SOUS 212157 HAS SOUPS 212157 WITH SCORE 212462.767
AT ITER 3332 NEW BEST:: SOT 1821036 SOS 305470 HAS SOPS 305470 HAS SOUS 211860 HAS SOUPS 211860 WITH SCORE 212165.47
AT ITER 3335 NEW BEST:: SOT 1821000 SOS 305470 HAS SOPS 305470 HAS SOUS 211817 HAS SOUPS 211817 WITH SCORE 212122.47
AT ITER 3354 NEW BEST:: SOT 1820866 SOS 305172 HAS SOPS 305172 HAS SOUS 211034 HAS SOUPS 211034 WITH SCORE 211339.172
AT ITER 3379 NEW BEST:: SOT 1820861 SOS 305167 HAS SOPS 305167 HAS SOUS 211034 HAS SOUPS 211034 WITH SCORE 211339.167
AT ITER 3389 NEW BEST:: SOT 1820913 SOS 305198 HAS SOPS 305198 HAS SOUS 210884 HAS SOUPS 210884 WITH SCORE 211189.198
AT ITER 3392 NEW BEST:: SOT 1820900 SOS 305185 HAS SOPS 305185 HAS SOUS 210871 HAS SOUPS 210871 WITH SCORE 211176.185
AT ITER 3401 NEW BEST:: SOT 1820936 SOS 305283 HAS SOPS 305283 HAS SOUS 210723 HAS SOUPS 210723 WITH SCORE 211028.283
AT ITER 3404 NEW BEST:: SOT 1820871 SOS 305218 HAS SOPS 305218 HAS SOUS 210528 HAS SOUPS 210528 WITH SCORE 210833.218
AT ITER 3408 NEW BEST:: SOT 1820840 SOS 305187 HAS SOPS 305187 HAS SOUS 210496 HAS SOUPS 210496 WITH SCORE 210801.187
AT ITER 3431 NEW BEST:: SOT 1820840 SOS 305129 HAS SOPS 305129 HAS SOUS 210438 HAS SOUPS 210438 WITH SCORE 210743.129
AT ITER 3476 NEW BEST:: SOT 1820810 SOS 305070 HAS SOPS 305070 HAS SOUS 210379 HAS SOUPS 210379 WITH SCORE 210684.07
AT ITER 3515 NEW BEST:: SOT 1820602 SOS 305131 HAS SOPS 305131 HAS SOUS 210303 HAS SOUPS 210303 WITH SCORE 210608.131
AT ITER 3541 NEW BEST:: SOT 1820598 SOS 305125 HAS SOPS 305125 HAS SOUS 210297 HAS SOUPS 210297 WITH SCORE 210602.125
AT ITER 3588 NEW BEST:: SOT 1820582 SOS 305109 HAS SOPS 305109 HAS SOUS 210209 HAS SOUPS 210209 WITH SCORE 210514.109
AT ITER 3591 NEW BEST:: SOT 1820582 SOS 305099 HAS SOPS 305099 HAS SOUS 210209 HAS SOUPS 210209 WITH SCORE 210514.099
AT ITER 3633 NEW BEST:: SOT 1820542 SOS 304919 HAS SOPS 304919 HAS SOUS 210149 HAS SOUPS 210149 WITH SCORE 210453.919
AT ITER 3719 NEW BEST:: SOT 1820291 SOS 304475 HAS SOPS 304475 HAS SOUS 209763 HAS SOUPS 209763 WITH SCORE 210067.475
AT ITER 3780 NEW BEST:: SOT 1820155 SOS 304288 HAS SOPS 304288 HAS SOUS 209593 HAS SOUPS 209593 WITH SCORE 209897.288
AT ITER 3818 NEW BEST:: SOT 1819272 SOS 304742 HAS SOPS 304742 HAS SOUS 208990 HAS SOUPS 208990 WITH SCORE 209294.742
AT ITER 3870 NEW BEST:: SOT 1819272 SOS 304720 HAS SOPS 304720 HAS SOUS 208990 HAS SOUPS 208990 WITH SCORE 209294.72
AT ITER 3891 NEW BEST:: SOT 1818862 SOS 304544 HAS SOPS 304544 HAS SOUS 208877 HAS SOUPS 208877 WITH SCORE 209181.544
AT ITER 3927 NEW BEST:: SOT 1818822 SOS 304484 HAS SOPS 304484 HAS SOUS 208817 HAS SOUPS 208817 WITH SCORE 209121.484
AT ITER 3931 NEW BEST:: SOT 1818797 SOS 304409 HAS SOPS 304409 HAS SOUS 208767 HAS SOUPS 208767 WITH SCORE 209071.409
AT ITER 3963 NEW BEST:: SOT 1818731 SOS 304277 HAS SOPS 304277 HAS SOUS 208692 HAS SOUPS 208692 WITH SCORE 208996.277
AT ITER 3973 NEW BEST:: SOT 1818695 SOS 304241 HAS SOPS 304241 HAS SOUS 208644 HAS SOUPS 208644 WITH SCORE 208948.241
AT ITER 4004 NEW BEST:: SOT 1818667 SOS 304088 HAS SOPS 304088 HAS SOUS 208542 HAS SOUPS 208542 WITH SCORE 208846.088
AT ITER 4022 NEW BEST:: SOT 1818469 SOS 303692 HAS SOPS 303692 HAS SOUS 208344 HAS SOUPS 208344 WITH SCORE 208647.692
AT ITER 4056 NEW BEST:: SOT 1818469 SOS 303610 HAS SOPS 303610 HAS SOUS 208320 HAS SOUPS 208320 WITH SCORE 208623.61
AT ITER 4065 NEW BEST:: SOT 1818445 SOS 303369 HAS SOPS 303369 HAS SOUS 208293 HAS SOUPS 208293 WITH SCORE 208596.369
AT ITER 4079 NEW BEST:: SOT 1818435 SOS 303349 HAS SOPS 303349 HAS SOUS 208283 HAS SOUPS 208283 WITH SCORE 208586.349
AT ITER 4084 NEW BEST:: SOT 1818371 SOS 303291 HAS SOPS 303291 HAS SOUS 208242 HAS SOUPS 208242 WITH SCORE 208545.291
AT ITER 4133 NEW BEST:: SOT 1818361 SOS 303286 HAS SOPS 303286 HAS SOUS 208237 HAS SOUPS 208237 WITH SCORE 208540.286
AT ITER 4134 NEW BEST:: SOT 1818302 SOS 303500 HAS SOPS 303500 HAS SOUS 208205 HAS SOUPS 208205 WITH SCORE 208508.5
AT ITER 4138 NEW BEST:: SOT 1818250 SOS 303244 HAS SOPS 303244 HAS SOUS 208077 HAS SOUPS 208077 WITH SCORE 208380.244
AT ITER 4158 NEW BEST:: SOT 1818246 SOS 303236 HAS SOPS 303236 HAS SOUS 208072 HAS SOUPS 208072 WITH SCORE 208375.236
AT ITER 4159 NEW BEST:: SOT 1818041 SOS 303630 HAS SOPS 303630 HAS SOUS 208048 HAS SOUPS 208048 WITH SCORE 208351.63
AT ITER 4163 NEW BEST:: SOT 1817937 SOS 303578 HAS SOPS 303578 HAS SOUS 207996 HAS SOUPS 207996 WITH SCORE 208299.578
AT ITER 4165 NEW BEST:: SOT 1817937 SOS 303550 HAS SOPS 303550 HAS SOUS 207968 HAS SOUPS 207968 WITH SCORE 208271.55
AT ITER 4191 NEW BEST:: SOT 1817818 SOS 303132 HAS SOPS 303132 HAS SOUS 207828 HAS SOUPS 207828 WITH SCORE 208131.132
AT ITER 4195 NEW BEST:: SOT 1817794 SOS 303137 HAS SOPS 303137 HAS SOUS 207726 HAS SOUPS 207726 WITH SCORE 208029.137
AT ITER 4237 NEW BEST:: SOT 1817784 SOS 303117 HAS SOPS 303117 HAS SOUS 207716 HAS SOUPS 207716 WITH SCORE 208019.117
AT ITER 4272 NEW BEST:: SOT 1817785 SOS 303024 HAS SOPS 303024 HAS SOUS 207662 HAS SOUPS 207662 WITH SCORE 207965.024
AT ITER 4320 NEW BEST:: SOT 1817759 SOS 302998 HAS SOPS 302998 HAS SOUS 207532 HAS SOUPS 207532 WITH SCORE 207834.998
AT ITER 4346 NEW BEST:: SOT 1817707 SOS 302831 HAS SOPS 302831 HAS SOUS 207381 HAS SOUPS 207381 WITH SCORE 207683.831
AT ITER 4385 NEW BEST:: SOT 1817594 SOS 302394 HAS SOPS 302394 HAS SOUS 207116 HAS SOUPS 207116 WITH SCORE 207418.394
AT ITER 4399 NEW BEST:: SOT 1817577 SOS 302307 HAS SOPS 302307 HAS SOUS 207097 HAS SOUPS 207097 WITH SCORE 207399.307
AT ITER 4424 NEW BEST:: SOT 1817530 SOS 302269 HAS SOPS 302269 HAS SOUS 207059 HAS SOUPS 207059 WITH SCORE 207361.269
AT ITER 4461 NEW BEST:: SOT 1817099 SOS 301851 HAS SOPS 301851 HAS SOUS 206633 HAS SOUPS 206633 WITH SCORE 206934.851
AT ITER 4463 NEW BEST:: SOT 1817099 SOS 301825 HAS SOPS 301825 HAS SOUS 206633 HAS SOUPS 206633 WITH SCORE 206934.825
AT ITER 4472 NEW BEST:: SOT 1817075 SOS 301825 HAS SOPS 301825 HAS SOUS 206609 HAS SOUPS 206609 WITH SCORE 206910.825
AT ITER 4495 NEW BEST:: SOT 1817029 SOS 301710 HAS SOPS 301710 HAS SOUS 206563 HAS SOUPS 206563 WITH SCORE 206864.71
AT ITER 4511 NEW BEST:: SOT 1817047 SOS 301550 HAS SOPS 301550 HAS SOUS 206544 HAS SOUPS 206544 WITH SCORE 206845.55
AT ITER 4512 NEW BEST:: SOT 1817047 SOS 301510 HAS SOPS 301510 HAS SOUS 206524 HAS SOUPS 206524 WITH SCORE 206825.51
AT ITER 4574 NEW BEST:: SOT 1817028 SOS 301472 HAS SOPS 301472 HAS SOUS 206486 HAS SOUPS 206486 WITH SCORE 206787.472
AT ITER 4589 NEW BEST:: SOT 1817026 SOS 301467 HAS SOPS 301467 HAS SOUS 206482 HAS SOUPS 206482 WITH SCORE 206783.467
AT ITER 4608 NEW BEST:: SOT 1816715 SOS 301512 HAS SOPS 301512 HAS SOUS 206348 HAS SOUPS 206348 WITH SCORE 206649.512
AT ITER 4629 NEW BEST:: SOT 1816394 SOS 301191 HAS SOPS 301191 HAS SOUS 206134 HAS SOUPS 206134 WITH SCORE 206435.191
AT ITER 4668 NEW BEST:: SOT 1816313 SOS 301110 HAS SOPS 301110 HAS SOUS 206053 HAS SOUPS 206053 WITH SCORE 206354.11
AT ITER 4672 NEW BEST:: SOT 1816257 SOS 300444 HAS SOPS 300444 HAS SOUS 205992 HAS SOUPS 205992 WITH SCORE 206292.444
AT ITER 4682 NEW BEST:: SOT 1816151 SOS 300338 HAS SOPS 300338 HAS SOUS 205886 HAS SOUPS 205886 WITH SCORE 206186.338
AT ITER 4728 NEW BEST:: SOT 1816147 SOS 300183 HAS SOPS 300183 HAS SOUS 205843 HAS SOUPS 205843 WITH SCORE 206143.183
AT ITER 4773 NEW BEST:: SOT 1816177 SOS 300392 HAS SOPS 300392 HAS SOUS 205571 HAS SOUPS 205571 WITH SCORE 205871.392
AT ITER 4790 NEW BEST:: SOT 1816061 SOS 300428 HAS SOPS 300428 HAS SOUS 205569 HAS SOUPS 205569 WITH SCORE 205869.428
AT ITER 4803 NEW BEST:: SOT 1816048 SOS 300354 HAS SOPS 300354 HAS SOUS 205553 HAS SOUPS 205553 WITH SCORE 205853.354
AT ITER 4840 NEW BEST:: SOT 1815993 SOS 300251 HAS SOPS 300251 HAS SOUS 205479 HAS SOUPS 205479 WITH SCORE 205779.251
AT ITER 4845 NEW BEST:: SOT 1815884 SOS 300142 HAS SOPS 300142 HAS SOUS 205405 HAS SOUPS 205405 WITH SCORE 205705.142
AT ITER 4873 NEW BEST:: SOT 1815884 SOS 300311 HAS SOPS 300311 HAS SOUS 205404 HAS SOUPS 205404 WITH SCORE 205704.311
AT ITER 4897 NEW BEST:: SOT 1816089 SOS 300362 HAS SOPS 300362 HAS SOUS 205180 HAS SOUPS 205180 WITH SCORE 205480.362
AT ITER 4915 NEW BEST:: SOT 1816057 SOS 300290 HAS SOPS 300290 HAS SOUS 205033 HAS SOUPS 205033 WITH SCORE 205333.29
AT ITER 4920 NEW BEST:: SOT 1815991 SOS 300134 HAS SOPS 300134 HAS SOUS 204873 HAS SOUPS 204873 WITH SCORE 205173.134
AT ITER 4952 NEW BEST:: SOT 1815943 SOS 300122 HAS SOPS 300122 HAS SOUS 204837 HAS SOUPS 204837 WITH SCORE 205137.122
AT ITER 4988 NEW BEST:: SOT 1815943 SOS 300119 HAS SOPS 300119 HAS SOUS 204834 HAS SOUPS 204834 WITH SCORE 205134.119
AT ITER 5030 NEW BEST:: SOT 1815943 SOS 300119 HAS SOPS 300119 HAS SOUS 204796 HAS SOUPS 204796 WITH SCORE 205096.119
AT ITER 5069 NEW BEST:: SOT 1815898 SOS 299980 HAS SOPS 299980 HAS SOUS 204767 HAS SOUPS 204767 WITH SCORE 205066.98
AT ITER 5084 NEW BEST:: SOT 1815898 SOS 299939 HAS SOPS 299939 HAS SOUS 204726 HAS SOUPS 204726 WITH SCORE 205025.939
AT ITER 5115 NEW BEST:: SOT 1815875 SOS 299916 HAS SOPS 299916 HAS SOUS 204512 HAS SOUPS 204512 WITH SCORE 204811.916
AT ITER 5152 NEW BEST:: SOT 1815838 SOS 299842 HAS SOPS 299842 HAS SOUS 204474 HAS SOUPS 204474 WITH SCORE 204773.842
AT ITER 5166 NEW BEST:: SOT 1815809 SOS 299784 HAS SOPS 299784 HAS SOUS 204416 HAS SOUPS 204416 WITH SCORE 204715.784
AT ITER 5167 NEW BEST:: SOT 1815784 SOS 299809 HAS SOPS 299809 HAS SOUS 204412 HAS SOUPS 204412 WITH SCORE 204711.809
AT ITER 5170 NEW BEST:: SOT 1815753 SOS 299782 HAS SOPS 299782 HAS SOUS 204280 HAS SOUPS 204280 WITH SCORE 204579.782
AT ITER 5195 NEW BEST:: SOT 1815575 SOS 299477 HAS SOPS 299477 HAS SOUS 204111 HAS SOUPS 204111 WITH SCORE 204410.477
AT ITER 5204 NEW BEST:: SOT 1815395 SOS 299333 HAS SOPS 299333 HAS SOUS 203967 HAS SOUPS 203967 WITH SCORE 204266.333
AT ITER 5218 NEW BEST:: SOT 1815395 SOS 299299 HAS SOPS 299299 HAS SOUS 203899 HAS SOUPS 203899 WITH SCORE 204198.299
AT ITER 5219 NEW BEST:: SOT 1815395 SOS 299103 HAS SOPS 299103 HAS SOUS 203898 HAS SOUPS 203898 WITH SCORE 204197.103
AT ITER 5224 NEW BEST:: SOT 1815394 SOS 299072 HAS SOPS 299072 HAS SOUS 203824 HAS SOUPS 203824 WITH SCORE 204123.072
AT ITER 5252 NEW BEST:: SOT 1815373 SOS 299030 HAS SOPS 299030 HAS SOUS 203761 HAS SOUPS 203761 WITH SCORE 204060.03
AT ITER 5275 NEW BEST:: SOT 1815315 SOS 296919 HAS SOPS 296919 HAS SOUS 203596 HAS SOUPS 203596 WITH SCORE 203892.919
AT ITER 5352 NEW BEST:: SOT 1815266 SOS 297004 HAS SOPS 297004 HAS SOUS 203497 HAS SOUPS 203497 WITH SCORE 203794.004
AT ITER 5383 NEW BEST:: SOT 1815398 SOS 297136 HAS SOPS 297136 HAS SOUS 203489 HAS SOUPS 203489 WITH SCORE 203786.136
AT ITER 5394 NEW BEST:: SOT 1815328 SOS 297031 HAS SOPS 297031 HAS SOUS 203417 HAS SOUPS 203417 WITH SCORE 203714.031
AT ITER 5460 NEW BEST:: SOT 1815328 SOS 297032 HAS SOPS 297032 HAS SOUS 203416 HAS SOUPS 203416 WITH SCORE 203713.032
AT ITER 5471 NEW BEST:: SOT 1815304 SOS 296996 HAS SOPS 296996 HAS SOUS 203380 HAS SOUPS 203380 WITH SCORE 203676.996
AT ITER 5481 NEW BEST:: SOT 1815155 SOS 297102 HAS SOPS 297102 HAS SOUS 203322 HAS SOUPS 203322 WITH SCORE 203619.102
AT ITER 5490 NEW BEST:: SOT 1815109 SOS 297010 HAS SOPS 297010 HAS SOUS 203204 HAS SOUPS 203204 WITH SCORE 203501.01
AT ITER 5494 NEW BEST:: SOT 1814953 SOS 296862 HAS SOPS 296862 HAS SOUS 202992 HAS SOUPS 202992 WITH SCORE 203288.862
AT ITER 5523 NEW BEST:: SOT 1814870 SOS 296005 HAS SOPS 296005 HAS SOUS 202948 HAS SOUPS 202948 WITH SCORE 203244.005
AT ITER 5588 NEW BEST:: SOT 1814680 SOS 295679 HAS SOPS 295679 HAS SOUS 202707 HAS SOUPS 202707 WITH SCORE 203002.679
AT ITER 5599 NEW BEST:: SOT 1814680 SOS 295613 HAS SOPS 295613 HAS SOUS 202686 HAS SOUPS 202686 WITH SCORE 202981.613
AT ITER 5610 NEW BEST:: SOT 1814635 SOS 295568 HAS SOPS 295568 HAS SOUS 202641 HAS SOUPS 202641 WITH SCORE 202936.568
AT ITER 5638 NEW BEST:: SOT 1814618 SOS 295551 HAS SOPS 295551 HAS SOUS 202500 HAS SOUPS 202500 WITH SCORE 202795.551
AT ITER 5651 NEW BEST:: SOT 1814526 SOS 295385 HAS SOPS 295385 HAS SOUS 202431 HAS SOUPS 202431 WITH SCORE 202726.385
AT ITER 5656 NEW BEST:: SOT 1814473 SOS 295279 HAS SOPS 295279 HAS SOUS 202378 HAS SOUPS 202378 WITH SCORE 202673.279
AT ITER 5675 NEW BEST:: SOT 1814465 SOS 295271 HAS SOPS 295271 HAS SOUS 202354 HAS SOUPS 202354 WITH SCORE 202649.271
AT ITER 5690 NEW BEST:: SOT 1814481 SOS 295303 HAS SOPS 295303 HAS SOUS 202341 HAS SOUPS 202341 WITH SCORE 202636.303
AT ITER 5702 NEW BEST:: SOT 1814482 SOS 295437 HAS SOPS 295437 HAS SOUS 202298 HAS SOUPS 202298 WITH SCORE 202593.437
AT ITER 5711 NEW BEST:: SOT 1814485 SOS 295440 HAS SOPS 295440 HAS SOUS 202289 HAS SOUPS 202289 WITH SCORE 202584.44
AT ITER 5714 NEW BEST:: SOT 1814465 SOS 295431 HAS SOPS 295431 HAS SOUS 202266 HAS SOUPS 202266 WITH SCORE 202561.431
AT ITER 5762 NEW BEST:: SOT 1814435 SOS 295427 HAS SOPS 295427 HAS SOUS 202236 HAS SOUPS 202236 WITH SCORE 202531.427
AT ITER 5766 NEW BEST:: SOT 1814435 SOS 295435 HAS SOPS 295435 HAS SOUS 202232 HAS SOUPS 202232 WITH SCORE 202527.435
AT ITER 5805 NEW BEST:: SOT 1814373 SOS 295303 HAS SOPS 295303 HAS SOUS 202062 HAS SOUPS 202062 WITH SCORE 202357.303
AT ITER 5815 NEW BEST:: SOT 1814329 SOS 295257 HAS SOPS 295257 HAS SOUS 201973 HAS SOUPS 201973 WITH SCORE 202268.257
AT ITER 5820 NEW BEST:: SOT 1814332 SOS 295255 HAS SOPS 295255 HAS SOUS 201971 HAS SOUPS 201971 WITH SCORE 202266.255
AT ITER 5822 NEW BEST:: SOT 1814085 SOS 294754 HAS SOPS 294754 HAS SOUS 201928 HAS SOUPS 201928 WITH SCORE 202222.754
AT ITER 5873 NEW BEST:: SOT 1814085 SOS 294730 HAS SOPS 294730 HAS SOUS 201928 HAS SOUPS 201928 WITH SCORE 202222.73
AT ITER 5936 NEW BEST:: SOT 1814082 SOS 294724 HAS SOPS 294724 HAS SOUS 201925 HAS SOUPS 201925 WITH SCORE 202219.724
AT ITER 5963 NEW BEST:: SOT 1813778 SOS 295141 HAS SOPS 295141 HAS SOUS 201621 HAS SOUPS 201621 WITH SCORE 201916.141
AT ITER 5967 NEW BEST:: SOT 1813775 SOS 295108 HAS SOPS 295108 HAS SOUS 201618 HAS SOUPS 201618 WITH SCORE 201913.108
AT ITER 5973 NEW BEST:: SOT 1813705 SOS 294968 HAS SOPS 294968 HAS SOUS 201478 HAS SOUPS 201478 WITH SCORE 201772.968
AT ITER 5982 NEW BEST:: SOT 1813719 SOS 294954 HAS SOPS 294954 HAS SOUS 201464 HAS SOUPS 201464 WITH SCORE 201758.954
AT ITER 5992 NEW BEST:: SOT 1813719 SOS 294934 HAS SOPS 294934 HAS SOUS 201464 HAS SOUPS 201464 WITH SCORE 201758.934
AT ITER 5998 NEW BEST:: SOT 1813643 SOS 294858 HAS SOPS 294858 HAS SOUS 201350 HAS SOUPS 201350 WITH SCORE 201644.858
AT ITER 5999 NEW BEST:: SOT 1813436 SOS 294492 HAS SOPS 294492 HAS SOUS 201032 HAS SOUPS 201032 WITH SCORE 201326.492
AT ITER 6000 NEW BEST:: SOT 1813423 SOS 294466 HAS SOPS 294466 HAS SOUS 201006 HAS SOUPS 201006 WITH SCORE 201300.466
AT ITER 6003 NEW BEST:: SOT 1812828 SOS 293573 HAS SOPS 293573 HAS SOUS 200182 HAS SOUPS 200182 WITH SCORE 200475.573
AT ITER 6009 NEW BEST:: SOT 1812815 SOS 293547 HAS SOPS 293547 HAS SOUS 200139 HAS SOUPS 200139 WITH SCORE 200432.547
AT ITER 6023 NEW BEST:: SOT 1812815 SOS 293547 HAS SOPS 293547 HAS SOUS 200136 HAS SOUPS 200136 WITH SCORE 200429.547
AT ITER 6049 NEW BEST:: SOT 1812812 SOS 293526 HAS SOPS 293526 HAS SOUS 200115 HAS SOUPS 200115 WITH SCORE 200408.526
AT ITER 6131 NEW BEST:: SOT 1812812 SOS 293526 HAS SOPS 293526 HAS SOUS 200110 HAS SOUPS 200110 WITH SCORE 200403.526
AT ITER 6139 NEW BEST:: SOT 1812792 SOS 293493 HAS SOPS 293493 HAS SOUS 200087 HAS SOUPS 200087 WITH SCORE 200380.493
AT ITER 6154 NEW BEST:: SOT 1812548 SOS 293553 HAS SOPS 293553 HAS SOUS 199949 HAS SOUPS 199949 WITH SCORE 200242.553
AT ITER 6177 NEW BEST:: SOT 1812414 SOS 293285 HAS SOPS 293285 HAS SOUS 199658 HAS SOUPS 199658 WITH SCORE 199951.285
AT ITER 6189 NEW BEST:: SOT 1812385 SOS 293256 HAS SOPS 293256 HAS SOUS 199629 HAS SOUPS 199629 WITH SCORE 199922.256
AT ITER 6203 NEW BEST:: SOT 1812314 SOS 292985 HAS SOPS 292985 HAS SOUS 199559 HAS SOUPS 199559 WITH SCORE 199851.985
AT ITER 6248 NEW BEST:: SOT 1812313 SOS 292983 HAS SOPS 292983 HAS SOUS 199557 HAS SOUPS 199557 WITH SCORE 199849.983
AT ITER 6304 NEW BEST:: SOT 1812313 SOS 292922 HAS SOPS 292922 HAS SOUS 199496 HAS SOUPS 199496 WITH SCORE 199788.922
AT ITER 6331 NEW BEST:: SOT 1812177 SOS 292499 HAS SOPS 292499 HAS SOUS 199360 HAS SOUPS 199360 WITH SCORE 199652.499
AT ITER 6353 NEW BEST:: SOT 1812199 SOS 292543 HAS SOPS 292543 HAS SOUS 199335 HAS SOUPS 199335 WITH SCORE 199627.543
AT ITER 6373 NEW BEST:: SOT 1812179 SOS 292532 HAS SOPS 292532 HAS SOUS 199321 HAS SOUPS 199321 WITH SCORE 199613.532
AT ITER 6376 NEW BEST:: SOT 1812187 SOS 292458 HAS SOPS 292458 HAS SOUS 199287 HAS SOUPS 199287 WITH SCORE 199579.458
AT ITER 6381 NEW BEST:: SOT 1812156 SOS 292396 HAS SOPS 292396 HAS SOUS 199219 HAS SOUPS 199219 WITH SCORE 199511.396
AT ITER 6420 NEW BEST:: SOT 1812156 SOS 292390 HAS SOPS 292390 HAS SOUS 199201 HAS SOUPS 199201 WITH SCORE 199493.39
AT ITER 6437 NEW BEST:: SOT 1812156 SOS 288698 HAS SOPS 288698 HAS SOUS 198848 HAS SOUPS 198848 WITH SCORE 199136.698
AT ITER 6442 NEW BEST:: SOT 1812167 SOS 288657 HAS SOPS 288657 HAS SOUS 198807 HAS SOUPS 198807 WITH SCORE 199095.657
AT ITER 6450 NEW BEST:: SOT 1812148 SOS 288508 HAS SOPS 288508 HAS SOUS 198788 HAS SOUPS 198788 WITH SCORE 199076.508
AT ITER 6477 NEW BEST:: SOT 1812148 SOS 288430 HAS SOPS 288430 HAS SOUS 198749 HAS SOUPS 198749 WITH SCORE 199037.43
AT ITER 6478 NEW BEST:: SOT 1812078 SOS 288403 HAS SOPS 288403 HAS SOUS 198679 HAS SOUPS 198679 WITH SCORE 198967.403
AT ITER 6502 NEW BEST:: SOT 1812039 SOS 288351 HAS SOPS 288351 HAS SOUS 198640 HAS SOUPS 198640 WITH SCORE 198928.351
AT ITER 6529 NEW BEST:: SOT 1811805 SOS 288083 HAS SOPS 288083 HAS SOUS 198363 HAS SOUPS 198363 WITH SCORE 198651.083
AT ITER 6537 NEW BEST:: SOT 1811781 SOS 288035 HAS SOPS 288035 HAS SOUS 198330 HAS SOUPS 198330 WITH SCORE 198618.035
AT ITER 6542 NEW BEST:: SOT 1811779 SOS 288025 HAS SOPS 288025 HAS SOUS 198327 HAS SOUPS 198327 WITH SCORE 198615.025
AT ITER 6570 NEW BEST:: SOT 1811734 SOS 287902 HAS SOPS 287902 HAS SOUS 198204 HAS SOUPS 198204 WITH SCORE 198491.902
AT ITER 6571 NEW BEST:: SOT 1811704 SOS 287872 HAS SOPS 287872 HAS SOUS 198174 HAS SOUPS 198174 WITH SCORE 198461.872
AT ITER 6593 NEW BEST:: SOT 1811666 SOS 287588 HAS SOPS 287588 HAS SOUS 198056 HAS SOUPS 198056 WITH SCORE 198343.588
AT ITER 6617 NEW BEST:: SOT 1811632 SOS 287554 HAS SOPS 287554 HAS SOUS 197920 HAS SOUPS 197920 WITH SCORE 198207.554
AT ITER 6638 NEW BEST:: SOT 1811441 SOS 287193 HAS SOPS 287193 HAS SOUS 197713 HAS SOUPS 197713 WITH SCORE 198000.193
AT ITER 6657 NEW BEST:: SOT 1811421 SOS 287174 HAS SOPS 287174 HAS SOUS 197694 HAS SOUPS 197694 WITH SCORE 197981.174
AT ITER 6709 NEW BEST:: SOT 1811419 SOS 287168 HAS SOPS 287168 HAS SOUS 197689 HAS SOUPS 197689 WITH SCORE 197976.168
AT ITER 6749 NEW BEST:: SOT 1811410 SOS 287150 HAS SOPS 287150 HAS SOUS 197671 HAS SOUPS 197671 WITH SCORE 197958.15
AT ITER 6798 NEW BEST:: SOT 1811398 SOS 287125 HAS SOPS 287125 HAS SOUS 197667 HAS SOUPS 197667 WITH SCORE 197954.125
AT ITER 6802 NEW BEST:: SOT 1811305 SOS 287027 HAS SOPS 287027 HAS SOUS 197543 HAS SOUPS 197543 WITH SCORE 197830.027
AT ITER 6836 NEW BEST:: SOT 1811298 SOS 287006 HAS SOPS 287006 HAS SOUS 197543 HAS SOUPS 197543 WITH SCORE 197830.006
AT ITER 6839 NEW BEST:: SOT 1811298 SOS 287077 HAS SOPS 287077 HAS SOUS 197447 HAS SOUPS 197447 WITH SCORE 197734.077
AT ITER 6844 NEW BEST:: SOT 1811298 SOS 287038 HAS SOPS 287038 HAS SOUS 197369 HAS SOUPS 197369 WITH SCORE 197656.038
AT ITER 6897 NEW BEST:: SOT 1811249 SOS 288534 HAS SOPS 288534 HAS SOUS 197320 HAS SOUPS 197320 WITH SCORE 197608.534
AT ITER 6967 NEW BEST:: SOT 1811232 SOS 288448 HAS SOPS 288448 HAS SOUS 197285 HAS SOUPS 197285 WITH SCORE 197573.448
AT ITER 7000 NEW BEST:: SOT 1811205 SOS 288330 HAS SOPS 288330 HAS SOUS 197205 HAS SOUPS 197205 WITH SCORE 197493.33
AT ITER 7016 NEW BEST:: SOT 1811196 SOS 288354 HAS SOPS 288354 HAS SOUS 197192 HAS SOUPS 197192 WITH SCORE 197480.354
AT ITER 7036 NEW BEST:: SOT 1811107 SOS 288094 HAS SOPS 288094 HAS SOUS 197171 HAS SOUPS 197171 WITH SCORE 197459.094
AT ITER 7045 NEW BEST:: SOT 1811058 SOS 287963 HAS SOPS 287963 HAS SOUS 197077 HAS SOUPS 197077 WITH SCORE 197364.963
AT ITER 7064 NEW BEST:: SOT 1811162 SOS 288117 HAS SOPS 288117 HAS SOUS 196935 HAS SOUPS 196935 WITH SCORE 197223.117
AT ITER 7104 NEW BEST:: SOT 1811204 SOS 288636 HAS SOPS 288636 HAS SOUS 196907 HAS SOUPS 196907 WITH SCORE 197195.636
AT ITER 7137 NEW BEST:: SOT 1811182 SOS 288678 HAS SOPS 288678 HAS SOUS 196904 HAS SOUPS 196904 WITH SCORE 197192.678
AT ITER 7153 NEW BEST:: SOT 1811184 SOS 288747 HAS SOPS 288747 HAS SOUS 196862 HAS SOUPS 196862 WITH SCORE 197150.747
AT ITER 7166 NEW BEST:: SOT 1811059 SOS 288658 HAS SOPS 288658 HAS SOUS 196559 HAS SOUPS 196559 WITH SCORE 196847.658
AT ITER 7192 NEW BEST:: SOT 1810967 SOS 288474 HAS SOPS 288474 HAS SOUS 196296 HAS SOUPS 196296 WITH SCORE 196584.474
AT ITER 7194 NEW BEST:: SOT 1810892 SOS 288606 HAS SOPS 288606 HAS SOUS 196279 HAS SOUPS 196279 WITH SCORE 196567.606
AT ITER 7229 NEW BEST:: SOT 1810892 SOS 288576 HAS SOPS 288576 HAS SOUS 196279 HAS SOUPS 196279 WITH SCORE 196567.576
AT ITER 7349 NEW BEST:: SOT 1810798 SOS 288388 HAS SOPS 288388 HAS SOUS 196082 HAS SOUPS 196082 WITH SCORE 196370.388
AT ITER 7350 NEW BEST:: SOT 1810410 SOS 288264 HAS SOPS 288264 HAS SOUS 195817 HAS SOUPS 195817 WITH SCORE 196105.264
AT ITER 7361 NEW BEST:: SOT 1810402 SOS 288252 HAS SOPS 288252 HAS SOUS 195805 HAS SOUPS 195805 WITH SCORE 196093.252
AT ITER 7381 NEW BEST:: SOT 1810384 SOS 288252 HAS SOPS 288252 HAS SOUS 195769 HAS SOUPS 195769 WITH SCORE 196057.252
AT ITER 7414 NEW BEST:: SOT 1810384 SOS 288222 HAS SOPS 288222 HAS SOUS 195769 HAS SOUPS 195769 WITH SCORE 196057.222
AT ITER 7513 NEW BEST:: SOT 1809904 SOS 287755 HAS SOPS 287755 HAS SOUS 195357 HAS SOUPS 195357 WITH SCORE 195644.755
AT ITER 7542 NEW BEST:: SOT 1809767 SOS 287482 HAS SOPS 287482 HAS SOUS 195294 HAS SOUPS 195294 WITH SCORE 195581.482
AT ITER 7558 NEW BEST:: SOT 1809767 SOS 287482 HAS SOPS 287482 HAS SOUS 195264 HAS SOUPS 195264 WITH SCORE 195551.482
AT ITER 7562 NEW BEST:: SOT 1809612 SOS 287473 HAS SOPS 287473 HAS SOUS 194988 HAS SOUPS 194988 WITH SCORE 195275.473
AT ITER 7593 NEW BEST:: SOT 1809592 SOS 287433 HAS SOPS 287433 HAS SOUS 194927 HAS SOUPS 194927 WITH SCORE 195214.433
AT ITER 7603 NEW BEST:: SOT 1809046 SOS 286821 HAS SOPS 286821 HAS SOUS 194381 HAS SOUPS 194381 WITH SCORE 194667.821
AT ITER 7611 NEW BEST:: SOT 1808895 SOS 286774 HAS SOPS 286774 HAS SOUS 194345 HAS SOUPS 194345 WITH SCORE 194631.774
AT ITER 7624 NEW BEST:: SOT 1808891 SOS 286743 HAS SOPS 286743 HAS SOUS 194314 HAS SOUPS 194314 WITH SCORE 194600.743
AT ITER 7631 NEW BEST:: SOT 1808890 SOS 286742 HAS SOPS 286742 HAS SOUS 194311 HAS SOUPS 194311 WITH SCORE 194597.742
AT ITER 7640 NEW BEST:: SOT 1808779 SOS 286484 HAS SOPS 286484 HAS SOUS 194224 HAS SOUPS 194224 WITH SCORE 194510.484
AT ITER 7664 NEW BEST:: SOT 1808720 SOS 286559 HAS SOPS 286559 HAS SOUS 194165 HAS SOUPS 194165 WITH SCORE 194451.559
AT ITER 7702 NEW BEST:: SOT 1808720 SOS 286553 HAS SOPS 286553 HAS SOUS 194153 HAS SOUPS 194153 WITH SCORE 194439.553
AT ITER 7717 NEW BEST:: SOT 1808660 SOS 286493 HAS SOPS 286493 HAS SOUS 194093 HAS SOUPS 194093 WITH SCORE 194379.493
AT ITER 7745 NEW BEST:: SOT 1808649 SOS 286482 HAS SOPS 286482 HAS SOUS 194082 HAS SOUPS 194082 WITH SCORE 194368.482
AT ITER 7750 NEW BEST:: SOT 1808617 SOS 286450 HAS SOPS 286450 HAS SOUS 194050 HAS SOUPS 194050 WITH SCORE 194336.45
AT ITER 7761 NEW BEST:: SOT 1808353 SOS 286209 HAS SOPS 286209 HAS SOUS 193658 HAS SOUPS 193658 WITH SCORE 193944.209
AT ITER 7801 NEW BEST:: SOT 1808286 SOS 286137 HAS SOPS 286137 HAS SOUS 193529 HAS SOUPS 193529 WITH SCORE 193815.137
AT ITER 7817 NEW BEST:: SOT 1808269 SOS 285988 HAS SOPS 285988 HAS SOUS 193431 HAS SOUPS 193431 WITH SCORE 193716.988
AT ITER 7826 NEW BEST:: SOT 1808226 SOS 286242 HAS SOPS 286242 HAS SOUS 193417 HAS SOUPS 193417 WITH SCORE 193703.242
AT ITER 7829 NEW BEST:: SOT 1807921 SOS 286523 HAS SOPS 286523 HAS SOUS 193356 HAS SOUPS 193356 WITH SCORE 193642.523
AT ITER 7851 NEW BEST:: SOT 1807921 SOS 286333 HAS SOPS 286333 HAS SOUS 193261 HAS SOUPS 193261 WITH SCORE 193547.333
AT ITER 7872 NEW BEST:: SOT 1807861 SOS 286293 HAS SOPS 286293 HAS SOUS 193221 HAS SOUPS 193221 WITH SCORE 193507.293
AT ITER 7908 NEW BEST:: SOT 1807739 SOS 286258 HAS SOPS 286258 HAS SOUS 193103 HAS SOUPS 193103 WITH SCORE 193389.258
AT ITER 7941 NEW BEST:: SOT 1807729 SOS 286238 HAS SOPS 286238 HAS SOUS 193083 HAS SOUPS 193083 WITH SCORE 193369.238
AT ITER 7949 NEW BEST:: SOT 1807709 SOS 286198 HAS SOPS 286198 HAS SOUS 193063 HAS SOUPS 193063 WITH SCORE 193349.198
AT ITER 7965 NEW BEST:: SOT 1807672 SOS 286074 HAS SOPS 286074 HAS SOUS 192965 HAS SOUPS 192965 WITH SCORE 193251.074
AT ITER 7988 NEW BEST:: SOT 1807578 SOS 285886 HAS SOPS 285886 HAS SOUS 192823 HAS SOUPS 192823 WITH SCORE 193108.886
AT ITER 8009 NEW BEST:: SOT 1807578 SOS 285890 HAS SOPS 285890 HAS SOUS 192815 HAS SOUPS 192815 WITH SCORE 193100.89
AT ITER 8011 NEW BEST:: SOT 1807486 SOS 285798 HAS SOPS 285798 HAS SOUS 192723 HAS SOUPS 192723 WITH SCORE 193008.798
AT ITER 8021 NEW BEST:: SOT 1807450 SOS 285739 HAS SOPS 285739 HAS SOUS 192635 HAS SOUPS 192635 WITH SCORE 192920.739
AT ITER 8027 NEW BEST:: SOT 1807453 SOS 285764 HAS SOPS 285764 HAS SOUS 192622 HAS SOUPS 192622 WITH SCORE 192907.764
AT ITER 8032 NEW BEST:: SOT 1807422 SOS 285609 HAS SOPS 285609 HAS SOUS 192585 HAS SOUPS 192585 WITH SCORE 192870.609
AT ITER 8058 NEW BEST:: SOT 1807418 SOS 285851 HAS SOPS 285851 HAS SOUS 192547 HAS SOUPS 192547 WITH SCORE 192832.851
AT ITER 8066 NEW BEST:: SOT 1807357 SOS 285790 HAS SOPS 285790 HAS SOUS 192510 HAS SOUPS 192510 WITH SCORE 192795.79
AT ITER 8089 NEW BEST:: SOT 1807199 SOS 285846 HAS SOPS 285846 HAS SOUS 192462 HAS SOUPS 192462 WITH SCORE 192747.846
AT ITER 8152 NEW BEST:: SOT 1807259 SOS 285966 HAS SOPS 285966 HAS SOUS 192423 HAS SOUPS 192423 WITH SCORE 192708.966
AT ITER 8178 NEW BEST:: SOT 1807229 SOS 285907 HAS SOPS 285907 HAS SOUS 192391 HAS SOUPS 192391 WITH SCORE 192676.907
AT ITER 8280 NEW BEST:: SOT 1807193 SOS 285834 HAS SOPS 285834 HAS SOUS 192311 HAS SOUPS 192311 WITH SCORE 192596.834
AT ITER 8317 NEW BEST:: SOT 1807162 SOS 285803 HAS SOPS 285803 HAS SOUS 192280 HAS SOUPS 192280 WITH SCORE 192565.803
AT ITER 8415 NEW BEST:: SOT 1807126 SOS 285692 HAS SOPS 285692 HAS SOUS 192268 HAS SOUPS 192268 WITH SCORE 192553.692
AT ITER 8429 NEW BEST:: SOT 1807100 SOS 285640 HAS SOPS 285640 HAS SOUS 192189 HAS SOUPS 192189 WITH SCORE 192474.64
AT ITER 8439 NEW BEST:: SOT 1807100 SOS 285672 HAS SOPS 285672 HAS SOUS 192171 HAS SOUPS 192171 WITH SCORE 192456.672
AT ITER 8456 NEW BEST:: SOT 1807099 SOS 285671 HAS SOPS 285671 HAS SOUS 192162 HAS SOUPS 192162 WITH SCORE 192447.671
AT ITER 8460 NEW BEST:: SOT 1807067 SOS 285605 HAS SOPS 285605 HAS SOUS 192128 HAS SOUPS 192128 WITH SCORE 192413.605
AT ITER 8500 NEW BEST:: SOT 1806906 SOS 285311 HAS SOPS 285311 HAS SOUS 191892 HAS SOUPS 191892 WITH SCORE 192177.311
AT ITER 8568 NEW BEST:: SOT 1806801 SOS 285191 HAS SOPS 285191 HAS SOUS 191772 HAS SOUPS 191772 WITH SCORE 192057.191
AT ITER 8640 NEW BEST:: SOT 1806768 SOS 285224 HAS SOPS 285224 HAS SOUS 191706 HAS SOUPS 191706 WITH SCORE 191991.224
AT ITER 8645 NEW BEST:: SOT 1806759 SOS 285283 HAS SOPS 285283 HAS SOUS 191697 HAS SOUPS 191697 WITH SCORE 191982.283
AT ITER 8658 NEW BEST:: SOT 1806707 SOS 285334 HAS SOPS 285334 HAS SOUS 191646 HAS SOUPS 191646 WITH SCORE 191931.334
AT ITER 8675 NEW BEST:: SOT 1806705 SOS 285331 HAS SOPS 285331 HAS SOUS 191643 HAS SOUPS 191643 WITH SCORE 191928.331
AT ITER 8686 NEW BEST:: SOT 1806475 SOS 285117 HAS SOPS 285117 HAS SOUS 191424 HAS SOUPS 191424 WITH SCORE 191709.117
AT ITER 8734 NEW BEST:: SOT 1806339 SOS 284873 HAS SOPS 284873 HAS SOUS 191192 HAS SOUPS 191192 WITH SCORE 191476.873
AT ITER 8782 NEW BEST:: SOT 1806339 SOS 284782 HAS SOPS 284782 HAS SOUS 191170 HAS SOUPS 191170 WITH SCORE 191454.782
AT ITER 8794 NEW BEST:: SOT 1806282 SOS 284794 HAS SOPS 284794 HAS SOUS 191116 HAS SOUPS 191116 WITH SCORE 191400.794
AT ITER 8818 NEW BEST:: SOT 1806238 SOS 284766 HAS SOPS 284766 HAS SOUS 191091 HAS SOUPS 191091 WITH SCORE 191375.766
AT ITER 8840 NEW BEST:: SOT 1806144 SOS 284428 HAS SOPS 284428 HAS SOUS 190978 HAS SOUPS 190978 WITH SCORE 191262.428
AT ITER 8877 NEW BEST:: SOT 1806089 SOS 284373 HAS SOPS 284373 HAS SOUS 190923 HAS SOUPS 190923 WITH SCORE 191207.373
AT ITER 8902 NEW BEST:: SOT 1806071 SOS 284337 HAS SOPS 284337 HAS SOUS 190873 HAS SOUPS 190873 WITH SCORE 191157.337
AT ITER 8924 NEW BEST:: SOT 1806015 SOS 284277 HAS SOPS 284277 HAS SOUS 190815 HAS SOUPS 190815 WITH SCORE 191099.277
AT ITER 8930 NEW BEST:: SOT 1806002 SOS 284248 HAS SOPS 284248 HAS SOUS 190802 HAS SOUPS 190802 WITH SCORE 191086.248
AT ITER 8940 NEW BEST:: SOT 1805937 SOS 284183 HAS SOPS 284183 HAS SOUS 190737 HAS SOUPS 190737 WITH SCORE 191021.183
AT ITER 8969 NEW BEST:: SOT 1806036 SOS 284266 HAS SOPS 284266 HAS SOUS 190696 HAS SOUPS 190696 WITH SCORE 190980.266
AT ITER 8980 NEW BEST:: SOT 1805957 SOS 284152 HAS SOPS 284152 HAS SOUS 190594 HAS SOUPS 190594 WITH SCORE 190878.152
AT ITER 9023 NEW BEST:: SOT 1805902 SOS 284092 HAS SOPS 284092 HAS SOUS 190513 HAS SOUPS 190513 WITH SCORE 190797.092
AT ITER 9049 NEW BEST:: SOT 1805820 SOS 283917 HAS SOPS 283917 HAS SOUS 190511 HAS SOUPS 190511 WITH SCORE 190794.917
AT ITER 9082 NEW BEST:: SOT 1805617 SOS 283767 HAS SOPS 283767 HAS SOUS 190313 HAS SOUPS 190313 WITH SCORE 190596.767
AT ITER 9107 NEW BEST:: SOT 1805548 SOS 283529 HAS SOPS 283529 HAS SOUS 190144 HAS SOUPS 190144 WITH SCORE 190427.529
AT ITER 9115 NEW BEST:: SOT 1805499 SOS 283346 HAS SOPS 283346 HAS SOUS 190080 HAS SOUPS 190080 WITH SCORE 190363.346
AT ITER 9128 NEW BEST:: SOT 1805320 SOS 283045 HAS SOPS 283045 HAS SOUS 189779 HAS SOUPS 189779 WITH SCORE 190062.045
AT ITER 9145 NEW BEST:: SOT 1805284 SOS 282998 HAS SOPS 282998 HAS SOUS 189718 HAS SOUPS 189718 WITH SCORE 190000.998
AT ITER 9169 NEW BEST:: SOT 1805284 SOS 283300 HAS SOPS 283300 HAS SOUS 189678 HAS SOUPS 189678 WITH SCORE 189961.3
AT ITER 9173 NEW BEST:: SOT 1805284 SOS 283324 HAS SOPS 283324 HAS SOUS 189677 HAS SOUPS 189677 WITH SCORE 189960.324
AT ITER 9198 NEW BEST:: SOT 1805287 SOS 283330 HAS SOPS 283330 HAS SOUS 189670 HAS SOUPS 189670 WITH SCORE 189953.33
AT ITER 9224 NEW BEST:: SOT 1805281 SOS 283322 HAS SOPS 283322 HAS SOUS 189664 HAS SOUPS 189664 WITH SCORE 189947.322
AT ITER 9308 NEW BEST:: SOT 1805279 SOS 283318 HAS SOPS 283318 HAS SOUS 189605 HAS SOUPS 189605 WITH SCORE 189888.318
AT ITER 9333 NEW BEST:: SOT 1805279 SOS 283316 HAS SOPS 283316 HAS SOUS 189603 HAS SOUPS 189603 WITH SCORE 189886.316
AT ITER 9344 NEW BEST:: SOT 1805257 SOS 283221 HAS SOPS 283221 HAS SOUS 189581 HAS SOUPS 189581 WITH SCORE 189864.221
AT ITER 9348 NEW BEST:: SOT 1805200 SOS 283144 HAS SOPS 283144 HAS SOUS 189524 HAS SOUPS 189524 WITH SCORE 189807.144
AT ITER 9415 NEW BEST:: SOT 1805149 SOS 283093 HAS SOPS 283093 HAS SOUS 189473 HAS SOUPS 189473 WITH SCORE 189756.093
AT ITER 9417 NEW BEST:: SOT 1805145 SOS 282862 HAS SOPS 282862 HAS SOUS 189429 HAS SOUPS 189429 WITH SCORE 189711.862
AT ITER 9425 NEW BEST:: SOT 1805113 SOS 282798 HAS SOPS 282798 HAS SOUS 189397 HAS SOUPS 189397 WITH SCORE 189679.798
AT ITER 9451 NEW BEST:: SOT 1805029 SOS 282630 HAS SOPS 282630 HAS SOUS 189271 HAS SOUPS 189271 WITH SCORE 189553.63
AT ITER 9472 NEW BEST:: SOT 1805029 SOS 282651 HAS SOPS 282651 HAS SOUS 189250 HAS SOUPS 189250 WITH SCORE 189532.651
AT ITER 9473 NEW BEST:: SOT 1805050 SOS 282630 HAS SOPS 282630 HAS SOUS 189250 HAS SOUPS 189250 WITH SCORE 189532.63
AT ITER 9474 NEW BEST:: SOT 1805050 SOS 282630 HAS SOPS 282630 HAS SOUS 189241 HAS SOUPS 189241 WITH SCORE 189523.63
AT ITER 9491 NEW BEST:: SOT 1805004 SOS 282658 HAS SOPS 282658 HAS SOUS 189231 HAS SOUPS 189231 WITH SCORE 189513.658
AT ITER 9497 NEW BEST:: SOT 1804989 SOS 282658 HAS SOPS 282658 HAS SOUS 189221 HAS SOUPS 189221 WITH SCORE 189503.658
AT ITER 9568 NEW BEST:: SOT 1804923 SOS 282530 HAS SOPS 282530 HAS SOUS 189098 HAS SOUPS 189098 WITH SCORE 189380.53
AT ITER 9574 NEW BEST:: SOT 1804796 SOS 282365 HAS SOPS 282365 HAS SOUS 188970 HAS SOUPS 188970 WITH SCORE 189252.365
AT ITER 9585 NEW BEST:: SOT 1804801 SOS 282445 HAS SOPS 282445 HAS SOUS 188954 HAS SOUPS 188954 WITH SCORE 189236.445
AT ITER 9599 NEW BEST:: SOT 1804795 SOS 282403 HAS SOPS 282403 HAS SOUS 188942 HAS SOUPS 188942 WITH SCORE 189224.403
AT ITER 9602 NEW BEST:: SOT 1804816 SOS 282302 HAS SOPS 282302 HAS SOUS 188864 HAS SOUPS 188864 WITH SCORE 189146.302
AT ITER 9603 NEW BEST:: SOT 1804700 SOS 282027 HAS SOPS 282027 HAS SOUS 188592 HAS SOUPS 188592 WITH SCORE 188874.027
AT ITER 9615 NEW BEST:: SOT 1804700 SOS 282027 HAS SOPS 282027 HAS SOUS 188535 HAS SOUPS 188535 WITH SCORE 188817.027
AT ITER 9637 NEW BEST:: SOT 1804581 SOS 281560 HAS SOPS 281560 HAS SOUS 188493 HAS SOUPS 188493 WITH SCORE 188774.56
AT ITER 9666 NEW BEST:: SOT 1804531 SOS 281394 HAS SOPS 281394 HAS SOUS 188382 HAS SOUPS 188382 WITH SCORE 188663.394
AT ITER 9669 NEW BEST:: SOT 1804516 SOS 281315 HAS SOPS 281315 HAS SOUS 188281 HAS SOUPS 188281 WITH SCORE 188562.315
AT ITER 9726 NEW BEST:: SOT 1804500 SOS 281337 HAS SOPS 281337 HAS SOUS 188259 HAS SOUPS 188259 WITH SCORE 188540.337
AT ITER 9753 NEW BEST:: SOT 1804498 SOS 281334 HAS SOPS 281334 HAS SOUS 188256 HAS SOUPS 188256 WITH SCORE 188537.334
AT ITER 9789 NEW BEST:: SOT 1804510 SOS 280211 HAS SOPS 280211 HAS SOUS 188204 HAS SOUPS 188204 WITH SCORE 188484.211
AT ITER 9814 NEW BEST:: SOT 1804453 SOS 280196 HAS SOPS 280196 HAS SOUS 188172 HAS SOUPS 188172 WITH SCORE 188452.196
AT ITER 9876 NEW BEST:: SOT 1804453 SOS 280158 HAS SOPS 280158 HAS SOUS 188172 HAS SOUPS 188172 WITH SCORE 188452.158
AT ITER 9933 NEW BEST:: SOT 1804339 SOS 279983 HAS SOPS 279983 HAS SOUS 187871 HAS SOUPS 187871 WITH SCORE 188150.983
AT ITER 9982 NEW BEST:: SOT 1804403 SOS 280111 HAS SOPS 280111 HAS SOUS 187845 HAS SOUPS 187845 WITH SCORE 188125.111
AT ITER 9999 NEW BEST:: SOT 1804297 SOS 280185 HAS SOPS 280185 HAS SOUS 187829 HAS SOUPS 187829 WITH SCORE 188109.185
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10394680 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120808 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="NoC3x3-PT-5B"
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 NoC3x3-PT-5B, 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 r267-smll-167863541700304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-5B.tgz
mv NoC3x3-PT-5B execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;