About the Execution of smart for NeighborGrid-PT-d5n4m1t35
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.070 | 3600000.00 | 3600069.00 | 0.00 | [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 '/local/x2003239/mcc2020-input.r108-csrt-158961250200211.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NeighborGrid-PT-d5n4m1t35, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250200211
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 59M
-rw-r--r-- 1 mcc users 3.8K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.4K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 10 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 59M Apr 27 15:14 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-00
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-01
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-02
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-03
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-04
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-05
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-06
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-07
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-08
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-09
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-10
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-11
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-12
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-13
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-14
FORMULA_NAME NeighborGrid-PT-d5n4m1t35-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589638515602
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeighborGrid (PT), instance d5n4m1t35
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 1024 places, 196608 transitions, 393216 arcs.
AT ITER 0 NEW BEST:: SOT 131863184 SOS 62399776 HAS SOPS 62399776 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266919.776
AT ITER 4 NEW BEST:: SOT 131844588 SOS 62362584 HAS SOPS 62362584 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266882.584
AT ITER 14 NEW BEST:: SOT 131843116 SOS 62359640 HAS SOPS 62359640 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266879.64
AT ITER 16 NEW BEST:: SOT 131842118 SOS 62357644 HAS SOPS 62357644 HAS SOUS 1204520 HAS SOUPS 1204520 WITH SCORE 1266877.644
AT ITER 17 NEW BEST:: SOT 131831300 SOS 62336008 HAS SOPS 62336008 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266848.008
AT ITER 22 NEW BEST:: SOT 131812318 SOS 62298044 HAS SOPS 62298044 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266810.044
AT ITER 28 NEW BEST:: SOT 131812220 SOS 62297848 HAS SOPS 62297848 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266809.848
AT ITER 31 NEW BEST:: SOT 131808774 SOS 62290956 HAS SOPS 62290956 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266802.956
AT ITER 32 NEW BEST:: SOT 131800092 SOS 62273592 HAS SOPS 62273592 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266785.592
AT ITER 38 NEW BEST:: SOT 131797450 SOS 62268308 HAS SOPS 62268308 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266780.308
AT ITER 39 NEW BEST:: SOT 131792060 SOS 62257528 HAS SOPS 62257528 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266769.528
AT ITER 42 NEW BEST:: SOT 131785344 SOS 62244096 HAS SOPS 62244096 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266756.096
AT ITER 57 NEW BEST:: SOT 131782646 SOS 62238700 HAS SOPS 62238700 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266750.7
AT ITER 61 NEW BEST:: SOT 131780794 SOS 62234996 HAS SOPS 62234996 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266746.996
AT ITER 62 NEW BEST:: SOT 131773776 SOS 62220960 HAS SOPS 62220960 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266732.96
AT ITER 65 NEW BEST:: SOT 131768736 SOS 62210880 HAS SOPS 62210880 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266722.88
AT ITER 68 NEW BEST:: SOT 131764992 SOS 62203392 HAS SOPS 62203392 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266715.392
AT ITER 75 NEW BEST:: SOT 131763950 SOS 62201308 HAS SOPS 62201308 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266713.308
AT ITER 83 NEW BEST:: SOT 131763848 SOS 62201104 HAS SOPS 62201104 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266713.104
AT ITER 85 NEW BEST:: SOT 131760434 SOS 62194276 HAS SOPS 62194276 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266706.276
AT ITER 88 NEW BEST:: SOT 131751658 SOS 62176724 HAS SOPS 62176724 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266688.724
AT ITER 91 NEW BEST:: SOT 131750402 SOS 62174212 HAS SOPS 62174212 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266686.212
AT ITER 93 NEW BEST:: SOT 131737040 SOS 62147488 HAS SOPS 62147488 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266659.488
AT ITER 96 NEW BEST:: SOT 131736200 SOS 62145808 HAS SOPS 62145808 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266657.808
AT ITER 97 NEW BEST:: SOT 131729390 SOS 62132188 HAS SOPS 62132188 HAS SOUS 1204512 HAS SOUPS 1204512 WITH SCORE 1266644.188
AT ITER 98 NEW BEST:: SOT 131762828 SOS 62199064 HAS SOPS 62199064 HAS SOUS 1201060 HAS SOUPS 1201060 WITH SCORE 1263259.064
AT ITER 101 NEW BEST:: SOT 131758948 SOS 62191304 HAS SOPS 62191304 HAS SOUS 1201060 HAS SOUPS 1201060 WITH SCORE 1263251.304
AT ITER 102 NEW BEST:: SOT 131755542 SOS 62184492 HAS SOPS 62184492 HAS SOUS 1201060 HAS SOUPS 1201060 WITH SCORE 1263244.492
AT ITER 105 NEW BEST:: SOT 131751816 SOS 62177040 HAS SOPS 62177040 HAS SOUS 1201060 HAS SOUPS 1201060 WITH SCORE 1263237.04
AT ITER 107 NEW BEST:: SOT 131748680 SOS 62170768 HAS SOPS 62170768 HAS SOUS 1201060 HAS SOUPS 1201060 WITH SCORE 1263230.768
AT ITER 109 NEW BEST:: SOT 131745570 SOS 62164548 HAS SOPS 62164548 HAS SOUS 1201060 HAS SOUPS 1201060 WITH SCORE 1263224.548
AT ITER 110 NEW BEST:: SOT 131758764 SOS 62190936 HAS SOPS 62190936 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263166.936
AT ITER 111 NEW BEST:: SOT 131743684 SOS 62160776 HAS SOPS 62160776 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263136.776
AT ITER 112 NEW BEST:: SOT 131741348 SOS 62156104 HAS SOPS 62156104 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263132.104
AT ITER 114 NEW BEST:: SOT 131735620 SOS 62144648 HAS SOPS 62144648 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263120.648
AT ITER 123 NEW BEST:: SOT 131733306 SOS 62140020 HAS SOPS 62140020 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263116.02
AT ITER 129 NEW BEST:: SOT 131731406 SOS 62136220 HAS SOPS 62136220 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263112.22
AT ITER 137 NEW BEST:: SOT 131720906 SOS 62115220 HAS SOPS 62115220 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263091.22
AT ITER 141 NEW BEST:: SOT 131717012 SOS 62107432 HAS SOPS 62107432 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263083.432
AT ITER 149 NEW BEST:: SOT 131712742 SOS 62098892 HAS SOPS 62098892 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263074.892
AT ITER 152 NEW BEST:: SOT 131711034 SOS 62095476 HAS SOPS 62095476 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263071.476
AT ITER 154 NEW BEST:: SOT 131704056 SOS 62081520 HAS SOPS 62081520 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263057.52
AT ITER 158 NEW BEST:: SOT 131698366 SOS 62070140 HAS SOPS 62070140 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263046.14
AT ITER 165 NEW BEST:: SOT 131696826 SOS 62067060 HAS SOPS 62067060 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263043.06
AT ITER 167 NEW BEST:: SOT 131694890 SOS 62063188 HAS SOPS 62063188 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263039.188
AT ITER 175 NEW BEST:: SOT 131694466 SOS 62062340 HAS SOPS 62062340 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263038.34
AT ITER 180 NEW BEST:: SOT 131694412 SOS 62062232 HAS SOPS 62062232 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263038.232
AT ITER 185 NEW BEST:: SOT 131685416 SOS 62044240 HAS SOPS 62044240 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263020.24
AT ITER 193 NEW BEST:: SOT 131680234 SOS 62033876 HAS SOPS 62033876 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263009.876
AT ITER 194 NEW BEST:: SOT 131678928 SOS 62031264 HAS SOPS 62031264 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263007.264
AT ITER 197 NEW BEST:: SOT 131676664 SOS 62026736 HAS SOPS 62026736 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263002.736
AT ITER 198 NEW BEST:: SOT 131675350 SOS 62024108 HAS SOPS 62024108 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1263000.108
AT ITER 199 NEW BEST:: SOT 131674490 SOS 62022388 HAS SOPS 62022388 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262998.388
AT ITER 204 NEW BEST:: SOT 131670992 SOS 62015392 HAS SOPS 62015392 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262991.392
AT ITER 205 NEW BEST:: SOT 131669164 SOS 62011736 HAS SOPS 62011736 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262987.736
AT ITER 209 NEW BEST:: SOT 131666728 SOS 62006864 HAS SOPS 62006864 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262982.864
AT ITER 212 NEW BEST:: SOT 131664430 SOS 62002268 HAS SOPS 62002268 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262978.268
AT ITER 213 NEW BEST:: SOT 131659314 SOS 61992036 HAS SOPS 61992036 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262968.036
AT ITER 219 NEW BEST:: SOT 131659282 SOS 61991972 HAS SOPS 61991972 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262967.972
AT ITER 228 NEW BEST:: SOT 131655008 SOS 61983424 HAS SOPS 61983424 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262959.424
AT ITER 234 NEW BEST:: SOT 131654996 SOS 61983400 HAS SOPS 61983400 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262959.4
AT ITER 236 NEW BEST:: SOT 131629726 SOS 61932860 HAS SOPS 61932860 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262908.86
AT ITER 239 NEW BEST:: SOT 131622680 SOS 61918768 HAS SOPS 61918768 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262894.768
AT ITER 240 NEW BEST:: SOT 131611448 SOS 61896304 HAS SOPS 61896304 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262872.304
AT ITER 241 NEW BEST:: SOT 131610734 SOS 61894876 HAS SOPS 61894876 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262870.876
AT ITER 243 NEW BEST:: SOT 131610638 SOS 61894684 HAS SOPS 61894684 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262870.684
AT ITER 246 NEW BEST:: SOT 131606748 SOS 61886904 HAS SOPS 61886904 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262862.904
AT ITER 252 NEW BEST:: SOT 131599146 SOS 61871700 HAS SOPS 61871700 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262847.7
AT ITER 257 NEW BEST:: SOT 131557854 SOS 61789116 HAS SOPS 61789116 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262765.116
AT ITER 260 NEW BEST:: SOT 131542416 SOS 61758240 HAS SOPS 61758240 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262734.24
AT ITER 264 NEW BEST:: SOT 131541990 SOS 61757388 HAS SOPS 61757388 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262733.388
AT ITER 268 NEW BEST:: SOT 131539450 SOS 61752308 HAS SOPS 61752308 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262728.308
AT ITER 269 NEW BEST:: SOT 131538850 SOS 61751108 HAS SOPS 61751108 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262727.108
AT ITER 271 NEW BEST:: SOT 131537376 SOS 61748160 HAS SOPS 61748160 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262724.16
AT ITER 285 NEW BEST:: SOT 131531170 SOS 61735748 HAS SOPS 61735748 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262711.748
AT ITER 286 NEW BEST:: SOT 131530816 SOS 61735040 HAS SOPS 61735040 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262711.04
AT ITER 287 NEW BEST:: SOT 131529362 SOS 61732132 HAS SOPS 61732132 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262708.132
AT ITER 288 NEW BEST:: SOT 131526570 SOS 61726548 HAS SOPS 61726548 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262702.548
AT ITER 292 NEW BEST:: SOT 131523302 SOS 61720012 HAS SOPS 61720012 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262696.012
AT ITER 299 NEW BEST:: SOT 131515890 SOS 61705188 HAS SOPS 61705188 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262681.188
AT ITER 311 NEW BEST:: SOT 131510572 SOS 61694552 HAS SOPS 61694552 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262670.552
AT ITER 316 NEW BEST:: SOT 131508442 SOS 61690292 HAS SOPS 61690292 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262666.292
AT ITER 318 NEW BEST:: SOT 131508234 SOS 61689876 HAS SOPS 61689876 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262665.876
AT ITER 320 NEW BEST:: SOT 131506336 SOS 61686080 HAS SOPS 61686080 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262662.08
AT ITER 323 NEW BEST:: SOT 131506324 SOS 61686056 HAS SOPS 61686056 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262662.056
AT ITER 341 NEW BEST:: SOT 131499466 SOS 61672340 HAS SOPS 61672340 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262648.34
AT ITER 344 NEW BEST:: SOT 131496078 SOS 61665564 HAS SOPS 61665564 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262641.564
AT ITER 347 NEW BEST:: SOT 131494380 SOS 61662168 HAS SOPS 61662168 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262638.168
AT ITER 355 NEW BEST:: SOT 131494328 SOS 61662064 HAS SOPS 61662064 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262638.064
AT ITER 358 NEW BEST:: SOT 131493616 SOS 61660640 HAS SOPS 61660640 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262636.64
AT ITER 362 NEW BEST:: SOT 131493114 SOS 61659636 HAS SOPS 61659636 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262635.636
AT ITER 365 NEW BEST:: SOT 131489650 SOS 61652708 HAS SOPS 61652708 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262628.708
AT ITER 377 NEW BEST:: SOT 131488076 SOS 61649560 HAS SOPS 61649560 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262625.56
AT ITER 386 NEW BEST:: SOT 131484294 SOS 61641996 HAS SOPS 61641996 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262617.996
AT ITER 388 NEW BEST:: SOT 131484014 SOS 61641436 HAS SOPS 61641436 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262617.436
AT ITER 392 NEW BEST:: SOT 131483854 SOS 61641116 HAS SOPS 61641116 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262617.116
AT ITER 400 NEW BEST:: SOT 131483352 SOS 61640112 HAS SOPS 61640112 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262616.112
AT ITER 408 NEW BEST:: SOT 131483350 SOS 61640108 HAS SOPS 61640108 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262616.108
AT ITER 412 NEW BEST:: SOT 131479066 SOS 61631540 HAS SOPS 61631540 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262607.54
AT ITER 420 NEW BEST:: SOT 131478856 SOS 61631120 HAS SOPS 61631120 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262607.12
AT ITER 429 NEW BEST:: SOT 131476348 SOS 61626104 HAS SOPS 61626104 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262602.104
AT ITER 439 NEW BEST:: SOT 131474388 SOS 61622184 HAS SOPS 61622184 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262598.184
AT ITER 441 NEW BEST:: SOT 131451396 SOS 61576200 HAS SOPS 61576200 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262552.2
AT ITER 443 NEW BEST:: SOT 131450680 SOS 61574768 HAS SOPS 61574768 HAS SOUS 1200976 HAS SOUPS 1200976 WITH SCORE 1262550.768
AT ITER 445 NEW BEST:: SOT 131460832 SOS 61595072 HAS SOPS 61595072 HAS SOUS 1200872 HAS SOUPS 1200872 WITH SCORE 1262467.072
AT ITER 448 NEW BEST:: SOT 131449152 SOS 61571712 HAS SOPS 61571712 HAS SOUS 1200872 HAS SOUPS 1200872 WITH SCORE 1262443.712
AT ITER 456 NEW BEST:: SOT 131447550 SOS 61568508 HAS SOPS 61568508 HAS SOUS 1200872 HAS SOUPS 1200872 WITH SCORE 1262440.508
AT ITER 464 NEW BEST:: SOT 131445386 SOS 61564180 HAS SOPS 61564180 HAS SOUS 1200872 HAS SOUPS 1200872 WITH SCORE 1262436.18
AT ITER 470 NEW BEST:: SOT 131444142 SOS 61561692 HAS SOPS 61561692 HAS SOUS 1200872 HAS SOUPS 1200872 WITH SCORE 1262433.692
AT ITER 477 NEW BEST:: SOT 131437366 SOS 61548140 HAS SOPS 61548140 HAS SOUS 1200872 HAS SOUPS 1200872 WITH SCORE 1262420.14
AT ITER 478 NEW BEST:: SOT 131419984 SOS 61513376 HAS SOPS 61513376 HAS SOUS 1200872 HAS SOUPS 1200872 WITH SCORE 1262385.376
AT ITER 488 NEW BEST:: SOT 131420020 SOS 61513448 HAS SOPS 61513448 HAS SOUS 1200866 HAS SOUPS 1200866 WITH SCORE 1262379.448
AT ITER 494 NEW BEST:: SOT 131405040 SOS 61483488 HAS SOPS 61483488 HAS SOUS 1200866 HAS SOUPS 1200866 WITH SCORE 1262349.488
AT ITER 496 NEW BEST:: SOT 131392840 SOS 61459088 HAS SOPS 61459088 HAS SOUS 1200866 HAS SOUPS 1200866 WITH SCORE 1262325.088
AT ITER 497 NEW BEST:: SOT 131391510 SOS 61456428 HAS SOPS 61456428 HAS SOUS 1200866 HAS SOUPS 1200866 WITH SCORE 1262322.428
AT ITER 498 NEW BEST:: SOT 131391288 SOS 61455984 HAS SOPS 61455984 HAS SOUS 1200866 HAS SOUPS 1200866 WITH SCORE 1262321.984
AT ITER 500 NEW BEST:: SOT 131390002 SOS 61453412 HAS SOPS 61453412 HAS SOUS 1200866 HAS SOUPS 1200866 WITH SCORE 1262319.412
AT ITER 501 NEW BEST:: SOT 131386884 SOS 61447176 HAS SOPS 61447176 HAS SOUS 1200866 HAS SOUPS 1200866 WITH SCORE 1262313.176
AT ITER 506 NEW BEST:: SOT 131386480 SOS 61446368 HAS SOPS 61446368 HAS SOUS 1200866 HAS SOUPS 1200866 WITH SCORE 1262312.368
AT ITER 508 NEW BEST:: SOT 131381352 SOS 61436112 HAS SOPS 61436112 HAS SOUS 1200866 HAS SOUPS 1200866 WITH SCORE 1262302.112
AT ITER 509 NEW BEST:: SOT 131379998 SOS 61433404 HAS SOPS 61433404 HAS SOUS 1200866 HAS SOUPS 1200866 WITH SCORE 1262299.404
AT ITER 511 NEW BEST:: SOT 131376644 SOS 61426696 HAS SOPS 61426696 HAS SOUS 1200866 HAS SOUPS 1200866 WITH SCORE 1262292.696
AT ITER 516 NEW BEST:: SOT 131373174 SOS 61419756 HAS SOPS 61419756 HAS SOUS 1200866 HAS SOUPS 1200866 WITH SCORE 1262285.756
AT ITER 517 NEW BEST:: SOT 131390934 SOS 61455276 HAS SOPS 61455276 HAS SOUS 1200796 HAS SOUPS 1200796 WITH SCORE 1262251.276
AT ITER 518 NEW BEST:: SOT 131382750 SOS 61438908 HAS SOPS 61438908 HAS SOUS 1200796 HAS SOUPS 1200796 WITH SCORE 1262234.908
AT ITER 523 NEW BEST:: SOT 131382360 SOS 61438128 HAS SOPS 61438128 HAS SOUS 1200796 HAS SOUPS 1200796 WITH SCORE 1262234.128
AT ITER 535 NEW BEST:: SOT 131382244 SOS 61437896 HAS SOPS 61437896 HAS SOUS 1200796 HAS SOUPS 1200796 WITH SCORE 1262233.896
AT ITER 538 NEW BEST:: SOT 131380046 SOS 61433500 HAS SOPS 61433500 HAS SOUS 1200796 HAS SOUPS 1200796 WITH SCORE 1262229.5
AT ITER 539 NEW BEST:: SOT 131375216 SOS 61423840 HAS SOPS 61423840 HAS SOUS 1200796 HAS SOUPS 1200796 WITH SCORE 1262219.84
AT ITER 547 NEW BEST:: SOT 131371324 SOS 61416056 HAS SOPS 61416056 HAS SOUS 1200796 HAS SOUPS 1200796 WITH SCORE 1262212.056
AT ITER 548 NEW BEST:: SOT 131369472 SOS 61412352 HAS SOPS 61412352 HAS SOUS 1200796 HAS SOUPS 1200796 WITH SCORE 1262208.352
AT ITER 552 NEW BEST:: SOT 131362578 SOS 61398564 HAS SOPS 61398564 HAS SOUS 1200796 HAS SOUPS 1200796 WITH SCORE 1262194.564
AT ITER 553 NEW BEST:: SOT 131362678 SOS 61398764 HAS SOPS 61398764 HAS SOUS 1200790 HAS SOUPS 1200790 WITH SCORE 1262188.764
AT ITER 555 NEW BEST:: SOT 131351306 SOS 61376020 HAS SOPS 61376020 HAS SOUS 1200790 HAS SOUPS 1200790 WITH SCORE 1262166.02
AT ITER 557 NEW BEST:: SOT 131335910 SOS 61345228 HAS SOPS 61345228 HAS SOUS 1200790 HAS SOUPS 1200790 WITH SCORE 1262135.2280000001
AT ITER 561 NEW BEST:: SOT 131330438 SOS 61334284 HAS SOPS 61334284 HAS SOUS 1200790 HAS SOUPS 1200790 WITH SCORE 1262124.284
AT ITER 564 NEW BEST:: SOT 131323562 SOS 61320532 HAS SOPS 61320532 HAS SOUS 1200790 HAS SOUPS 1200790 WITH SCORE 1262110.532
AT ITER 565 NEW BEST:: SOT 131286260 SOS 61245928 HAS SOPS 61245928 HAS SOUS 1200790 HAS SOUPS 1200790 WITH SCORE 1262035.928
AT ITER 568 NEW BEST:: SOT 131280580 SOS 61234568 HAS SOPS 61234568 HAS SOUS 1200790 HAS SOUPS 1200790 WITH SCORE 1262024.568
AT ITER 575 NEW BEST:: SOT 131277532 SOS 61228472 HAS SOPS 61228472 HAS SOUS 1200790 HAS SOUPS 1200790 WITH SCORE 1262018.472
AT ITER 585 NEW BEST:: SOT 131276156 SOS 61225720 HAS SOPS 61225720 HAS SOUS 1200790 HAS SOUPS 1200790 WITH SCORE 1262015.72
AT ITER 590 NEW BEST:: SOT 131271546 SOS 61216500 HAS SOPS 61216500 HAS SOUS 1200790 HAS SOUPS 1200790 WITH SCORE 1262006.5
AT ITER 592 NEW BEST:: SOT 131270642 SOS 61214692 HAS SOPS 61214692 HAS SOUS 1200790 HAS SOUPS 1200790 WITH SCORE 1262004.692
AT ITER 595 NEW BEST:: SOT 131269728 SOS 61212864 HAS SOPS 61212864 HAS SOUS 1200790 HAS SOUPS 1200790 WITH SCORE 1262002.864
AT ITER 599 NEW BEST:: SOT 131266066 SOS 61205540 HAS SOPS 61205540 HAS SOUS 1200790 HAS SOUPS 1200790 WITH SCORE 1261995.54
AT ITER 600 NEW BEST:: SOT 131266066 SOS 61205540 HAS SOPS 61205540 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261947.54
AT ITER 601 NEW BEST:: SOT 131254830 SOS 61183068 HAS SOPS 61183068 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261925.068
AT ITER 603 NEW BEST:: SOT 131254826 SOS 61183060 HAS SOPS 61183060 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261925.06
AT ITER 606 NEW BEST:: SOT 131254540 SOS 61182488 HAS SOPS 61182488 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261924.488
AT ITER 609 NEW BEST:: SOT 131254076 SOS 61181560 HAS SOPS 61181560 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261923.56
AT ITER 611 NEW BEST:: SOT 131247716 SOS 61168840 HAS SOPS 61168840 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261910.84
AT ITER 613 NEW BEST:: SOT 131231302 SOS 61136012 HAS SOPS 61136012 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261878.012
AT ITER 627 NEW BEST:: SOT 131228740 SOS 61130888 HAS SOPS 61130888 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261872.888
AT ITER 630 NEW BEST:: SOT 131228462 SOS 61130332 HAS SOPS 61130332 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261872.332
AT ITER 631 NEW BEST:: SOT 131223390 SOS 61120188 HAS SOPS 61120188 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261862.188
AT ITER 635 NEW BEST:: SOT 131220476 SOS 61114360 HAS SOPS 61114360 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261856.36
AT ITER 639 NEW BEST:: SOT 131217626 SOS 61108660 HAS SOPS 61108660 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261850.66
AT ITER 643 NEW BEST:: SOT 131210706 SOS 61094820 HAS SOPS 61094820 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261836.82
AT ITER 644 NEW BEST:: SOT 131210394 SOS 61094196 HAS SOPS 61094196 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261836.196
AT ITER 648 NEW BEST:: SOT 131210122 SOS 61093652 HAS SOPS 61093652 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261835.652
AT ITER 655 NEW BEST:: SOT 131208254 SOS 61089916 HAS SOPS 61089916 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261831.916
AT ITER 656 NEW BEST:: SOT 131207480 SOS 61088368 HAS SOPS 61088368 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261830.368
AT ITER 659 NEW BEST:: SOT 131203810 SOS 61081028 HAS SOPS 61081028 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261823.028
AT ITER 662 NEW BEST:: SOT 131203792 SOS 61080992 HAS SOPS 61080992 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261822.992
AT ITER 664 NEW BEST:: SOT 131202822 SOS 61079052 HAS SOPS 61079052 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261821.052
AT ITER 676 NEW BEST:: SOT 131200878 SOS 61075164 HAS SOPS 61075164 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261817.164
AT ITER 677 NEW BEST:: SOT 131195392 SOS 61064192 HAS SOPS 61064192 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261806.192
AT ITER 684 NEW BEST:: SOT 131189902 SOS 61053212 HAS SOPS 61053212 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261795.212
AT ITER 688 NEW BEST:: SOT 131189326 SOS 61052060 HAS SOPS 61052060 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261794.06
AT ITER 692 NEW BEST:: SOT 131187888 SOS 61049184 HAS SOPS 61049184 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261791.184
AT ITER 702 NEW BEST:: SOT 131184010 SOS 61041428 HAS SOPS 61041428 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261783.428
AT ITER 703 NEW BEST:: SOT 131182920 SOS 61039248 HAS SOPS 61039248 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261781.248
AT ITER 704 NEW BEST:: SOT 131182802 SOS 61039012 HAS SOPS 61039012 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261781.012
AT ITER 705 NEW BEST:: SOT 131174818 SOS 61023044 HAS SOPS 61023044 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261765.044
AT ITER 709 NEW BEST:: SOT 131160210 SOS 60993828 HAS SOPS 60993828 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261735.828
AT ITER 714 NEW BEST:: SOT 131157742 SOS 60988892 HAS SOPS 60988892 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261730.892
AT ITER 720 NEW BEST:: SOT 131156948 SOS 60987304 HAS SOPS 60987304 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261729.304
AT ITER 723 NEW BEST:: SOT 131156082 SOS 60985572 HAS SOPS 60985572 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261727.572
AT ITER 724 NEW BEST:: SOT 131155620 SOS 60984648 HAS SOPS 60984648 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261726.648
AT ITER 728 NEW BEST:: SOT 131152896 SOS 60979200 HAS SOPS 60979200 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261721.2
AT ITER 729 NEW BEST:: SOT 131152576 SOS 60978560 HAS SOPS 60978560 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261720.56
AT ITER 747 NEW BEST:: SOT 131148534 SOS 60970476 HAS SOPS 60970476 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261712.476
AT ITER 750 NEW BEST:: SOT 131147816 SOS 60969040 HAS SOPS 60969040 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261711.04
AT ITER 752 NEW BEST:: SOT 131143346 SOS 60960100 HAS SOPS 60960100 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261702.1
AT ITER 757 NEW BEST:: SOT 131140558 SOS 60954524 HAS SOPS 60954524 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261696.524
AT ITER 761 NEW BEST:: SOT 131140096 SOS 60953600 HAS SOPS 60953600 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261695.6
AT ITER 782 NEW BEST:: SOT 131139540 SOS 60952488 HAS SOPS 60952488 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261694.488
AT ITER 783 NEW BEST:: SOT 131139502 SOS 60952412 HAS SOPS 60952412 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261694.412
AT ITER 784 NEW BEST:: SOT 131139316 SOS 60952040 HAS SOPS 60952040 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261694.04
AT ITER 787 NEW BEST:: SOT 131138346 SOS 60950100 HAS SOPS 60950100 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261692.1
AT ITER 792 NEW BEST:: SOT 131127834 SOS 60929076 HAS SOPS 60929076 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261671.076
AT ITER 793 NEW BEST:: SOT 131127400 SOS 60928208 HAS SOPS 60928208 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261670.208
AT ITER 807 NEW BEST:: SOT 131126232 SOS 60925872 HAS SOPS 60925872 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261667.872
AT ITER 809 NEW BEST:: SOT 131120602 SOS 60914612 HAS SOPS 60914612 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261656.612
AT ITER 812 NEW BEST:: SOT 131119134 SOS 60911676 HAS SOPS 60911676 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261653.676
AT ITER 813 NEW BEST:: SOT 131117920 SOS 60909248 HAS SOPS 60909248 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261651.248
AT ITER 815 NEW BEST:: SOT 131116812 SOS 60907032 HAS SOPS 60907032 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261649.032
AT ITER 820 NEW BEST:: SOT 131111368 SOS 60896144 HAS SOPS 60896144 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261638.144
AT ITER 821 NEW BEST:: SOT 131111300 SOS 60896008 HAS SOPS 60896008 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261638.008
AT ITER 832 NEW BEST:: SOT 131110376 SOS 60894160 HAS SOPS 60894160 HAS SOUS 1200742 HAS SOUPS 1200742 WITH SCORE 1261636.16
AT ITER 835 NEW BEST:: SOT 131122806 SOS 60919020 HAS SOPS 60919020 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261437.02
AT ITER 841 NEW BEST:: SOT 131119344 SOS 60912096 HAS SOPS 60912096 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261430.096
AT ITER 843 NEW BEST:: SOT 131117358 SOS 60908124 HAS SOPS 60908124 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261426.124
AT ITER 847 NEW BEST:: SOT 131111974 SOS 60897356 HAS SOPS 60897356 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261415.356
AT ITER 849 NEW BEST:: SOT 131110382 SOS 60894172 HAS SOPS 60894172 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261412.172
AT ITER 857 NEW BEST:: SOT 131109202 SOS 60891812 HAS SOPS 60891812 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261409.812
AT ITER 858 NEW BEST:: SOT 131104224 SOS 60881856 HAS SOPS 60881856 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261399.856
AT ITER 861 NEW BEST:: SOT 131104112 SOS 60881632 HAS SOPS 60881632 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261399.632
AT ITER 863 NEW BEST:: SOT 131102424 SOS 60878256 HAS SOPS 60878256 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261396.256
AT ITER 864 NEW BEST:: SOT 131100144 SOS 60873696 HAS SOPS 60873696 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261391.696
AT ITER 878 NEW BEST:: SOT 131099682 SOS 60872772 HAS SOPS 60872772 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261390.772
AT ITER 879 NEW BEST:: SOT 131099462 SOS 60872332 HAS SOPS 60872332 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261390.332
AT ITER 881 NEW BEST:: SOT 131077126 SOS 60827660 HAS SOPS 60827660 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261345.66
AT ITER 885 NEW BEST:: SOT 131076426 SOS 60826260 HAS SOPS 60826260 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261344.26
AT ITER 887 NEW BEST:: SOT 131075178 SOS 60823764 HAS SOPS 60823764 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261341.764
AT ITER 890 NEW BEST:: SOT 131073606 SOS 60820620 HAS SOPS 60820620 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261338.62
AT ITER 898 NEW BEST:: SOT 131068746 SOS 60810900 HAS SOPS 60810900 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261328.9
AT ITER 907 NEW BEST:: SOT 131068520 SOS 60810448 HAS SOPS 60810448 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261328.448
AT ITER 909 NEW BEST:: SOT 131067876 SOS 60809160 HAS SOPS 60809160 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261327.16
AT ITER 910 NEW BEST:: SOT 131061436 SOS 60796280 HAS SOPS 60796280 HAS SOUS 1200518 HAS SOUPS 1200518 WITH SCORE 1261314.28
AT ITER 912 NEW BEST:: SOT 131077194 SOS 60827796 HAS SOPS 60827796 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261309.796
AT ITER 922 NEW BEST:: SOT 131075702 SOS 60824812 HAS SOPS 60824812 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261306.812
AT ITER 928 NEW BEST:: SOT 131074988 SOS 60823384 HAS SOPS 60823384 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261305.384
AT ITER 931 NEW BEST:: SOT 131070204 SOS 60813816 HAS SOPS 60813816 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261295.816
AT ITER 933 NEW BEST:: SOT 131069572 SOS 60812552 HAS SOPS 60812552 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261294.552
AT ITER 937 NEW BEST:: SOT 131062534 SOS 60798476 HAS SOPS 60798476 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261280.476
AT ITER 938 NEW BEST:: SOT 131061996 SOS 60797400 HAS SOPS 60797400 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261279.4
AT ITER 941 NEW BEST:: SOT 131061966 SOS 60797340 HAS SOPS 60797340 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261279.34
AT ITER 943 NEW BEST:: SOT 131061842 SOS 60797092 HAS SOPS 60797092 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261279.092
AT ITER 944 NEW BEST:: SOT 131060820 SOS 60795048 HAS SOPS 60795048 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261277.048
AT ITER 946 NEW BEST:: SOT 131059860 SOS 60793128 HAS SOPS 60793128 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261275.128
AT ITER 955 NEW BEST:: SOT 131059774 SOS 60792956 HAS SOPS 60792956 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261274.956
AT ITER 960 NEW BEST:: SOT 131052384 SOS 60778176 HAS SOPS 60778176 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261260.176
AT ITER 975 NEW BEST:: SOT 131050896 SOS 60775200 HAS SOPS 60775200 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261257.2
AT ITER 976 NEW BEST:: SOT 131042232 SOS 60757872 HAS SOPS 60757872 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261239.872
AT ITER 977 NEW BEST:: SOT 131039280 SOS 60751968 HAS SOPS 60751968 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261233.968
AT ITER 980 NEW BEST:: SOT 131037042 SOS 60747492 HAS SOPS 60747492 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261229.492
AT ITER 982 NEW BEST:: SOT 131035240 SOS 60743888 HAS SOPS 60743888 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261225.888
AT ITER 992 NEW BEST:: SOT 131034620 SOS 60742648 HAS SOPS 60742648 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261224.648
AT ITER 993 NEW BEST:: SOT 131031704 SOS 60736816 HAS SOPS 60736816 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261218.816
AT ITER 994 NEW BEST:: SOT 131026294 SOS 60725996 HAS SOPS 60725996 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261207.996
AT ITER 1004 NEW BEST:: SOT 131020000 SOS 60713408 HAS SOPS 60713408 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261195.408
AT ITER 1010 NEW BEST:: SOT 131019666 SOS 60712740 HAS SOPS 60712740 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261194.74
AT ITER 1013 NEW BEST:: SOT 131019076 SOS 60711560 HAS SOPS 60711560 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261193.56
AT ITER 1015 NEW BEST:: SOT 131019048 SOS 60711504 HAS SOPS 60711504 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261193.504
AT ITER 1019 NEW BEST:: SOT 131018556 SOS 60710520 HAS SOPS 60710520 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261192.52
AT ITER 1022 NEW BEST:: SOT 131016856 SOS 60707120 HAS SOPS 60707120 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261189.12
AT ITER 1024 NEW BEST:: SOT 131015222 SOS 60703852 HAS SOPS 60703852 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261185.852
AT ITER 1027 NEW BEST:: SOT 131008932 SOS 60691272 HAS SOPS 60691272 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261173.272
AT ITER 1030 NEW BEST:: SOT 131004996 SOS 60683400 HAS SOPS 60683400 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261165.4
AT ITER 1042 NEW BEST:: SOT 131003514 SOS 60680436 HAS SOPS 60680436 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261162.436
AT ITER 1044 NEW BEST:: SOT 130999980 SOS 60673368 HAS SOPS 60673368 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261155.368
AT ITER 1061 NEW BEST:: SOT 130998158 SOS 60669724 HAS SOPS 60669724 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261151.724
AT ITER 1067 NEW BEST:: SOT 130997390 SOS 60668188 HAS SOPS 60668188 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261150.188
AT ITER 1080 NEW BEST:: SOT 130995424 SOS 60664256 HAS SOPS 60664256 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261146.256
AT ITER 1085 NEW BEST:: SOT 130979372 SOS 60632152 HAS SOPS 60632152 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261114.152
AT ITER 1088 NEW BEST:: SOT 130970142 SOS 60613692 HAS SOPS 60613692 HAS SOUS 1200482 HAS SOUPS 1200482 WITH SCORE 1261095.692
AT ITER 1092 NEW BEST:: SOT 130960424 SOS 60594256 HAS SOPS 60594256 HAS SOUS 1200434 HAS SOUPS 1200434 WITH SCORE 1261028.256
AT ITER 1098 NEW BEST:: SOT 130957940 SOS 60589288 HAS SOPS 60589288 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1261003.288
AT ITER 1106 NEW BEST:: SOT 130949954 SOS 60573316 HAS SOPS 60573316 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1260987.316
AT ITER 1108 NEW BEST:: SOT 130948338 SOS 60570084 HAS SOPS 60570084 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1260984.084
AT ITER 1113 NEW BEST:: SOT 130940164 SOS 60553736 HAS SOPS 60553736 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1260967.736
AT ITER 1115 NEW BEST:: SOT 130938184 SOS 60549776 HAS SOPS 60549776 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1260963.776
AT ITER 1119 NEW BEST:: SOT 130930474 SOS 60534356 HAS SOPS 60534356 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1260948.356
AT ITER 1126 NEW BEST:: SOT 130927750 SOS 60528908 HAS SOPS 60528908 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1260942.908
AT ITER 1129 NEW BEST:: SOT 130927102 SOS 60527612 HAS SOPS 60527612 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1260941.612
AT ITER 1131 NEW BEST:: SOT 130922572 SOS 60518552 HAS SOPS 60518552 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1260932.552
AT ITER 1134 NEW BEST:: SOT 130918164 SOS 60509736 HAS SOPS 60509736 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1260923.736
AT ITER 1135 NEW BEST:: SOT 130918056 SOS 60509520 HAS SOPS 60509520 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1260923.52
AT ITER 1137 NEW BEST:: SOT 130916708 SOS 60506824 HAS SOPS 60506824 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1260920.824
AT ITER 1146 NEW BEST:: SOT 130916562 SOS 60506532 HAS SOPS 60506532 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1260920.532
AT ITER 1147 NEW BEST:: SOT 130911952 SOS 60497312 HAS SOPS 60497312 HAS SOUS 1200414 HAS SOUPS 1200414 WITH SCORE 1260911.312
AT ITER 1154 NEW BEST:: SOT 130902326 SOS 60478060 HAS SOPS 60478060 HAS SOUS 1200278 HAS SOUPS 1200278 WITH SCORE 1260756.06
AT ITER 1158 NEW BEST:: SOT 130891432 SOS 60456272 HAS SOPS 60456272 HAS SOUS 1200276 HAS SOUPS 1200276 WITH SCORE 1260732.272
AT ITER 1159 NEW BEST:: SOT 130890208 SOS 60453824 HAS SOPS 60453824 HAS SOUS 1200276 HAS SOUPS 1200276 WITH SCORE 1260729.824
AT ITER 1166 NEW BEST:: SOT 130889506 SOS 60452420 HAS SOPS 60452420 HAS SOUS 1200276 HAS SOUPS 1200276 WITH SCORE 1260728.42
AT ITER 1171 NEW BEST:: SOT 130889360 SOS 60452128 HAS SOPS 60452128 HAS SOUS 1200276 HAS SOUPS 1200276 WITH SCORE 1260728.128
AT ITER 1173 NEW BEST:: SOT 130888878 SOS 60451164 HAS SOPS 60451164 HAS SOUS 1200276 HAS SOUPS 1200276 WITH SCORE 1260727.164
AT ITER 1176 NEW BEST:: SOT 130887022 SOS 60447452 HAS SOPS 60447452 HAS SOUS 1200276 HAS SOUPS 1200276 WITH SCORE 1260723.452
AT ITER 1186 NEW BEST:: SOT 130886498 SOS 60446404 HAS SOPS 60446404 HAS SOUS 1200276 HAS SOUPS 1200276 WITH SCORE 1260722.404
AT ITER 1188 NEW BEST:: SOT 130886226 SOS 60445860 HAS SOPS 60445860 HAS SOUS 1200276 HAS SOUPS 1200276 WITH SCORE 1260721.86
AT ITER 1190 NEW BEST:: SOT 130885684 SOS 60444776 HAS SOPS 60444776 HAS SOUS 1200276 HAS SOUPS 1200276 WITH SCORE 1260720.776
AT ITER 1191 NEW BEST:: SOT 130885666 SOS 60444740 HAS SOPS 60444740 HAS SOUS 1200276 HAS SOUPS 1200276 WITH SCORE 1260720.74
AT ITER 1196 NEW BEST:: SOT 130885616 SOS 60444640 HAS SOPS 60444640 HAS SOUS 1200276 HAS SOUPS 1200276 WITH SCORE 1260720.64
AT ITER 1198 NEW BEST:: SOT 130899888 SOS 60473184 HAS SOPS 60473184 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260693.184
AT ITER 1203 NEW BEST:: SOT 130899824 SOS 60473056 HAS SOPS 60473056 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260693.056
AT ITER 1206 NEW BEST:: SOT 130899646 SOS 60472700 HAS SOPS 60472700 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260692.7
AT ITER 1218 NEW BEST:: SOT 130897794 SOS 60468996 HAS SOPS 60468996 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260688.996
AT ITER 1220 NEW BEST:: SOT 130897450 SOS 60468308 HAS SOPS 60468308 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260688.308
AT ITER 1224 NEW BEST:: SOT 130896704 SOS 60466816 HAS SOPS 60466816 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260686.816
AT ITER 1225 NEW BEST:: SOT 130894904 SOS 60463216 HAS SOPS 60463216 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260683.216
AT ITER 1228 NEW BEST:: SOT 130894900 SOS 60463208 HAS SOPS 60463208 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260683.208
AT ITER 1230 NEW BEST:: SOT 130894148 SOS 60461704 HAS SOPS 60461704 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260681.704
AT ITER 1232 NEW BEST:: SOT 130893436 SOS 60460280 HAS SOPS 60460280 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260680.28
AT ITER 1242 NEW BEST:: SOT 130892370 SOS 60458148 HAS SOPS 60458148 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260678.148
AT ITER 1244 NEW BEST:: SOT 130891772 SOS 60456952 HAS SOPS 60456952 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260676.952
AT ITER 1250 NEW BEST:: SOT 130891766 SOS 60456940 HAS SOPS 60456940 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260676.94
AT ITER 1252 NEW BEST:: SOT 130887614 SOS 60448636 HAS SOPS 60448636 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260668.636
AT ITER 1269 NEW BEST:: SOT 130887550 SOS 60448508 HAS SOPS 60448508 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260668.508
AT ITER 1274 NEW BEST:: SOT 130885832 SOS 60445072 HAS SOPS 60445072 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260665.072
AT ITER 1275 NEW BEST:: SOT 130884380 SOS 60442168 HAS SOPS 60442168 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260662.168
AT ITER 1280 NEW BEST:: SOT 130883214 SOS 60439836 HAS SOPS 60439836 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260659.836
AT ITER 1289 NEW BEST:: SOT 130881686 SOS 60436780 HAS SOPS 60436780 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260656.78
AT ITER 1290 NEW BEST:: SOT 130881284 SOS 60435976 HAS SOPS 60435976 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260655.976
AT ITER 1291 NEW BEST:: SOT 130880082 SOS 60433572 HAS SOPS 60433572 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260653.572
AT ITER 1300 NEW BEST:: SOT 130873866 SOS 60421140 HAS SOPS 60421140 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260641.14
AT ITER 1306 NEW BEST:: SOT 130873846 SOS 60421100 HAS SOPS 60421100 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260641.1
AT ITER 1328 NEW BEST:: SOT 130871438 SOS 60416284 HAS SOPS 60416284 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260636.284
AT ITER 1332 NEW BEST:: SOT 130870400 SOS 60414208 HAS SOPS 60414208 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260634.208
AT ITER 1335 NEW BEST:: SOT 130861076 SOS 60395560 HAS SOPS 60395560 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260615.56
AT ITER 1342 NEW BEST:: SOT 130859432 SOS 60392272 HAS SOPS 60392272 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260612.272
AT ITER 1346 NEW BEST:: SOT 130858948 SOS 60391304 HAS SOPS 60391304 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260611.304
AT ITER 1350 NEW BEST:: SOT 130854718 SOS 60382844 HAS SOPS 60382844 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260602.844
AT ITER 1352 NEW BEST:: SOT 130854590 SOS 60382588 HAS SOPS 60382588 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260602.588
AT ITER 1362 NEW BEST:: SOT 130853922 SOS 60381252 HAS SOPS 60381252 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260601.252
AT ITER 1366 NEW BEST:: SOT 130853596 SOS 60380600 HAS SOPS 60380600 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260600.6
AT ITER 1370 NEW BEST:: SOT 130853408 SOS 60380224 HAS SOPS 60380224 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260600.224
AT ITER 1375 NEW BEST:: SOT 130846738 SOS 60366884 HAS SOPS 60366884 HAS SOUS 1200220 HAS SOUPS 1200220 WITH SCORE 1260586.884
AT ITER 1394 NEW BEST:: SOT 130847414 SOS 60368236 HAS SOPS 60368236 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260458.236
AT ITER 1396 NEW BEST:: SOT 130842050 SOS 60357508 HAS SOPS 60357508 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260447.508
AT ITER 1399 NEW BEST:: SOT 130835030 SOS 60343468 HAS SOPS 60343468 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260433.468
AT ITER 1406 NEW BEST:: SOT 130834762 SOS 60342932 HAS SOPS 60342932 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260432.932
AT ITER 1407 NEW BEST:: SOT 130833062 SOS 60339532 HAS SOPS 60339532 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260429.532
AT ITER 1415 NEW BEST:: SOT 130831528 SOS 60336464 HAS SOPS 60336464 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260426.464
AT ITER 1416 NEW BEST:: SOT 130829202 SOS 60331812 HAS SOPS 60331812 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260421.812
AT ITER 1419 NEW BEST:: SOT 130829100 SOS 60331608 HAS SOPS 60331608 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260421.608
AT ITER 1422 NEW BEST:: SOT 130828990 SOS 60331388 HAS SOPS 60331388 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260421.388
AT ITER 1423 NEW BEST:: SOT 130827528 SOS 60328464 HAS SOPS 60328464 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260418.464
AT ITER 1436 NEW BEST:: SOT 130814244 SOS 60301896 HAS SOPS 60301896 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260391.896
AT ITER 1448 NEW BEST:: SOT 130813726 SOS 60300860 HAS SOPS 60300860 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260390.86
AT ITER 1450 NEW BEST:: SOT 130811886 SOS 60297180 HAS SOPS 60297180 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260387.18
AT ITER 1456 NEW BEST:: SOT 130811720 SOS 60296848 HAS SOPS 60296848 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260386.848
AT ITER 1460 NEW BEST:: SOT 130810056 SOS 60293520 HAS SOPS 60293520 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260383.52
AT ITER 1462 NEW BEST:: SOT 130809248 SOS 60291904 HAS SOPS 60291904 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260381.904
AT ITER 1463 NEW BEST:: SOT 130805344 SOS 60284096 HAS SOPS 60284096 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260374.096
AT ITER 1470 NEW BEST:: SOT 130800478 SOS 60274364 HAS SOPS 60274364 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260364.364
AT ITER 1492 NEW BEST:: SOT 130795214 SOS 60263836 HAS SOPS 60263836 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260353.836
AT ITER 1495 NEW BEST:: SOT 130794614 SOS 60262636 HAS SOPS 60262636 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260352.636
AT ITER 1499 NEW BEST:: SOT 130782706 SOS 60238820 HAS SOPS 60238820 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260328.82
AT ITER 1503 NEW BEST:: SOT 130780928 SOS 60235264 HAS SOPS 60235264 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260325.264
AT ITER 1509 NEW BEST:: SOT 130779156 SOS 60231720 HAS SOPS 60231720 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260321.72
AT ITER 1512 NEW BEST:: SOT 130775124 SOS 60223656 HAS SOPS 60223656 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260313.656
AT ITER 1515 NEW BEST:: SOT 130774858 SOS 60223124 HAS SOPS 60223124 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260313.124
AT ITER 1516 NEW BEST:: SOT 130774798 SOS 60223004 HAS SOPS 60223004 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260313.004
AT ITER 1519 NEW BEST:: SOT 130774338 SOS 60222084 HAS SOPS 60222084 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260312.084
AT ITER 1525 NEW BEST:: SOT 130770356 SOS 60214120 HAS SOPS 60214120 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260304.12
AT ITER 1527 NEW BEST:: SOT 130762346 SOS 60198100 HAS SOPS 60198100 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260288.1
AT ITER 1532 NEW BEST:: SOT 130761310 SOS 60196028 HAS SOPS 60196028 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260286.028
AT ITER 1537 NEW BEST:: SOT 130751018 SOS 60175444 HAS SOPS 60175444 HAS SOUS 1200090 HAS SOUPS 1200090 WITH SCORE 1260265.444
AT ITER 1548 NEW BEST:: SOT 130756398 SOS 60186204 HAS SOPS 60186204 HAS SOUS 1200066 HAS SOUPS 1200066 WITH SCORE 1260252.204
AT ITER 1555 NEW BEST:: SOT 130756240 SOS 60185888 HAS SOPS 60185888 HAS SOUS 1200066 HAS SOUPS 1200066 WITH SCORE 1260251.888
AT ITER 1557 NEW BEST:: SOT 130756238 SOS 60185884 HAS SOPS 60185884 HAS SOUS 1200066 HAS SOUPS 1200066 WITH SCORE 1260251.884
AT ITER 1559 NEW BEST:: SOT 130755116 SOS 60183640 HAS SOPS 60183640 HAS SOUS 1200066 HAS SOUPS 1200066 WITH SCORE 1260249.64
AT ITER 1562 NEW BEST:: SOT 130754408 SOS 60182224 HAS SOPS 60182224 HAS SOUS 1200066 HAS SOUPS 1200066 WITH SCORE 1260248.224
AT ITER 1564 NEW BEST:: SOT 130742886 SOS 60159180 HAS SOPS 60159180 HAS SOUS 1200066 HAS SOUPS 1200066 WITH SCORE 1260225.18
AT ITER 1573 NEW BEST:: SOT 130741090 SOS 60155588 HAS SOPS 60155588 HAS SOUS 1200066 HAS SOUPS 1200066 WITH SCORE 1260221.588
AT ITER 1575 NEW BEST:: SOT 130745282 SOS 60163972 HAS SOPS 60163972 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260173.972
AT ITER 1596 NEW BEST:: SOT 130744850 SOS 60163108 HAS SOPS 60163108 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260173.108
AT ITER 1603 NEW BEST:: SOT 130742994 SOS 60159396 HAS SOPS 60159396 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260169.396
AT ITER 1604 NEW BEST:: SOT 130738682 SOS 60150772 HAS SOPS 60150772 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260160.772
AT ITER 1615 NEW BEST:: SOT 130737272 SOS 60147952 HAS SOPS 60147952 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260157.952
AT ITER 1622 NEW BEST:: SOT 130732668 SOS 60138744 HAS SOPS 60138744 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260148.744
AT ITER 1627 NEW BEST:: SOT 130729894 SOS 60133196 HAS SOPS 60133196 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260143.196
AT ITER 1628 NEW BEST:: SOT 130729666 SOS 60132740 HAS SOPS 60132740 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260142.74
AT ITER 1644 NEW BEST:: SOT 130726426 SOS 60126260 HAS SOPS 60126260 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260136.26
AT ITER 1652 NEW BEST:: SOT 130724316 SOS 60122040 HAS SOPS 60122040 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260132.04
AT ITER 1656 NEW BEST:: SOT 130723966 SOS 60121340 HAS SOPS 60121340 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260131.34
AT ITER 1658 NEW BEST:: SOT 130719226 SOS 60111860 HAS SOPS 60111860 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260121.86
AT ITER 1667 NEW BEST:: SOT 130717892 SOS 60109192 HAS SOPS 60109192 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260119.192
AT ITER 1681 NEW BEST:: SOT 130717088 SOS 60107584 HAS SOPS 60107584 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260117.584
AT ITER 1706 NEW BEST:: SOT 130716768 SOS 60106944 HAS SOPS 60106944 HAS SOUS 1200010 HAS SOUPS 1200010 WITH SCORE 1260116.944
AT ITER 1707 NEW BEST:: SOT 130714434 SOS 60102276 HAS SOPS 60102276 HAS SOUS 1200014 HAS SOUPS 1200014 WITH SCORE 1260116.276
AT ITER 1735 NEW BEST:: SOT 130761988 SOS 60197384 HAS SOPS 60197384 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259883.384
AT ITER 1747 NEW BEST:: SOT 130760480 SOS 60194368 HAS SOPS 60194368 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259880.368
AT ITER 1761 NEW BEST:: SOT 130759588 SOS 60192584 HAS SOPS 60192584 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259878.584
AT ITER 1763 NEW BEST:: SOT 130742370 SOS 60158148 HAS SOPS 60158148 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259844.148
AT ITER 1764 NEW BEST:: SOT 130741076 SOS 60155560 HAS SOPS 60155560 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259841.56
AT ITER 1765 NEW BEST:: SOT 130740210 SOS 60153828 HAS SOPS 60153828 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259839.828
AT ITER 1775 NEW BEST:: SOT 130739626 SOS 60152660 HAS SOPS 60152660 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259838.66
AT ITER 1779 NEW BEST:: SOT 130738146 SOS 60149700 HAS SOPS 60149700 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259835.7
AT ITER 1794 NEW BEST:: SOT 130738084 SOS 60149576 HAS SOPS 60149576 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259835.576
AT ITER 1804 NEW BEST:: SOT 130737700 SOS 60148808 HAS SOPS 60148808 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259834.808
AT ITER 1815 NEW BEST:: SOT 130736464 SOS 60146336 HAS SOPS 60146336 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259832.336
AT ITER 1824 NEW BEST:: SOT 130736222 SOS 60145852 HAS SOPS 60145852 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259831.852
AT ITER 1847 NEW BEST:: SOT 130734514 SOS 60142436 HAS SOPS 60142436 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259828.436
AT ITER 1848 NEW BEST:: SOT 130734092 SOS 60141592 HAS SOPS 60141592 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259827.592
AT ITER 1861 NEW BEST:: SOT 130732942 SOS 60139292 HAS SOPS 60139292 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259825.292
AT ITER 1862 NEW BEST:: SOT 130731130 SOS 60135668 HAS SOPS 60135668 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259821.668
AT ITER 1873 NEW BEST:: SOT 130731128 SOS 60135664 HAS SOPS 60135664 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259821.664
AT ITER 1877 NEW BEST:: SOT 130730264 SOS 60133936 HAS SOPS 60133936 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259819.936
AT ITER 1880 NEW BEST:: SOT 130727428 SOS 60128264 HAS SOPS 60128264 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259814.264
AT ITER 1883 NEW BEST:: SOT 130722418 SOS 60118244 HAS SOPS 60118244 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259804.244
AT ITER 1887 NEW BEST:: SOT 130721208 SOS 60115824 HAS SOPS 60115824 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259801.824
AT ITER 1894 NEW BEST:: SOT 130720188 SOS 60113784 HAS SOPS 60113784 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259799.784
AT ITER 1912 NEW BEST:: SOT 130720024 SOS 60113456 HAS SOPS 60113456 HAS SOUS 1199686 HAS SOUPS 1199686 WITH SCORE 1259799.456
AT ITER 1921 NEW BEST:: SOT 130726134 SOS 60125676 HAS SOPS 60125676 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259787.676
AT ITER 1922 NEW BEST:: SOT 130725834 SOS 60125076 HAS SOPS 60125076 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259787.076
AT ITER 1923 NEW BEST:: SOT 130725538 SOS 60124484 HAS SOPS 60124484 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259786.484
AT ITER 1929 NEW BEST:: SOT 130725306 SOS 60124020 HAS SOPS 60124020 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259786.02
AT ITER 1932 NEW BEST:: SOT 130725302 SOS 60124012 HAS SOPS 60124012 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259786.012
AT ITER 1935 NEW BEST:: SOT 130720268 SOS 60113944 HAS SOPS 60113944 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259775.944
AT ITER 1941 NEW BEST:: SOT 130719812 SOS 60113032 HAS SOPS 60113032 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259775.032
AT ITER 1947 NEW BEST:: SOT 130716862 SOS 60107132 HAS SOPS 60107132 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259769.132
AT ITER 1964 NEW BEST:: SOT 130715744 SOS 60104896 HAS SOPS 60104896 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259766.896
AT ITER 1973 NEW BEST:: SOT 130714360 SOS 60102128 HAS SOPS 60102128 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259764.128
AT ITER 1984 NEW BEST:: SOT 130711442 SOS 60096292 HAS SOPS 60096292 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259758.292
AT ITER 1988 NEW BEST:: SOT 130711376 SOS 60096160 HAS SOPS 60096160 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259758.16
AT ITER 1996 NEW BEST:: SOT 130710632 SOS 60094672 HAS SOPS 60094672 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259756.672
AT ITER 2003 NEW BEST:: SOT 130710058 SOS 60093524 HAS SOPS 60093524 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259755.524
AT ITER 2008 NEW BEST:: SOT 130709810 SOS 60093028 HAS SOPS 60093028 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259755.028
AT ITER 2010 NEW BEST:: SOT 130706370 SOS 60086148 HAS SOPS 60086148 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259748.148
AT ITER 2018 NEW BEST:: SOT 130706324 SOS 60086056 HAS SOPS 60086056 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259748.056
AT ITER 2036 NEW BEST:: SOT 130706294 SOS 60085996 HAS SOPS 60085996 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259747.996
AT ITER 2073 NEW BEST:: SOT 130705688 SOS 60084784 HAS SOPS 60084784 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259746.784
AT ITER 2085 NEW BEST:: SOT 130692362 SOS 60058132 HAS SOPS 60058132 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259720.132
AT ITER 2096 NEW BEST:: SOT 130687546 SOS 60048500 HAS SOPS 60048500 HAS SOUS 1199662 HAS SOUPS 1199662 WITH SCORE 1259710.5
AT ITER 2100 NEW BEST:: SOT 130696832 SOS 60067072 HAS SOPS 60067072 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259691.072
AT ITER 2116 NEW BEST:: SOT 130696440 SOS 60066288 HAS SOPS 60066288 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259690.288
AT ITER 2120 NEW BEST:: SOT 130695468 SOS 60064344 HAS SOPS 60064344 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259688.344
AT ITER 2121 NEW BEST:: SOT 130695294 SOS 60063996 HAS SOPS 60063996 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259687.996
AT ITER 2141 NEW BEST:: SOT 130691216 SOS 60055840 HAS SOPS 60055840 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259679.84
AT ITER 2144 NEW BEST:: SOT 130684382 SOS 60042172 HAS SOPS 60042172 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259666.172
AT ITER 2151 NEW BEST:: SOT 130683448 SOS 60040304 HAS SOPS 60040304 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259664.304
AT ITER 2166 NEW BEST:: SOT 130683272 SOS 60039952 HAS SOPS 60039952 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259663.952
AT ITER 2173 NEW BEST:: SOT 130683268 SOS 60039944 HAS SOPS 60039944 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259663.944
AT ITER 2174 NEW BEST:: SOT 130682482 SOS 60038372 HAS SOPS 60038372 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259662.372
AT ITER 2177 NEW BEST:: SOT 130681778 SOS 60036964 HAS SOPS 60036964 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259660.964
AT ITER 2185 NEW BEST:: SOT 130681608 SOS 60036624 HAS SOPS 60036624 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259660.624
AT ITER 2190 NEW BEST:: SOT 130663058 SOS 59999524 HAS SOPS 59999524 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259623.524
AT ITER 2195 NEW BEST:: SOT 130662558 SOS 59998524 HAS SOPS 59998524 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259622.524
AT ITER 2204 NEW BEST:: SOT 130662364 SOS 59998136 HAS SOPS 59998136 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259622.136
AT ITER 2208 NEW BEST:: SOT 130660950 SOS 59995308 HAS SOPS 59995308 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259619.308
AT ITER 2210 NEW BEST:: SOT 130656628 SOS 59986664 HAS SOPS 59986664 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259610.664
AT ITER 2217 NEW BEST:: SOT 130656534 SOS 59986476 HAS SOPS 59986476 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259610.476
AT ITER 2229 NEW BEST:: SOT 130654764 SOS 59982936 HAS SOPS 59982936 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259606.936
AT ITER 2234 NEW BEST:: SOT 130653194 SOS 59979796 HAS SOPS 59979796 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259603.796
AT ITER 2239 NEW BEST:: SOT 130653128 SOS 59979664 HAS SOPS 59979664 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259603.664
AT ITER 2242 NEW BEST:: SOT 130653008 SOS 59979424 HAS SOPS 59979424 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259603.424
AT ITER 2243 NEW BEST:: SOT 130652958 SOS 59979324 HAS SOPS 59979324 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259603.324
AT ITER 2275 NEW BEST:: SOT 130647658 SOS 59968724 HAS SOPS 59968724 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259592.724
AT ITER 2277 NEW BEST:: SOT 130647266 SOS 59967940 HAS SOPS 59967940 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259591.94
AT ITER 2278 NEW BEST:: SOT 130647096 SOS 59967600 HAS SOPS 59967600 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259591.6
AT ITER 2279 NEW BEST:: SOT 130646716 SOS 59966840 HAS SOPS 59966840 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259590.84
AT ITER 2280 NEW BEST:: SOT 130643972 SOS 59961352 HAS SOPS 59961352 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259585.352
AT ITER 2284 NEW BEST:: SOT 130629962 SOS 59933332 HAS SOPS 59933332 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259557.332
AT ITER 2305 NEW BEST:: SOT 130629678 SOS 59932764 HAS SOPS 59932764 HAS SOUS 1199624 HAS SOUPS 1199624 WITH SCORE 1259556.764
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
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="NeighborGrid-PT-d5n4m1t35"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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-4028"
echo " Executing tool smart"
echo " Input is NeighborGrid-PT-d5n4m1t35, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250200211"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NeighborGrid-PT-d5n4m1t35.tgz
mv NeighborGrid-PT-d5n4m1t35 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;