Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542100376.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCflexbar-PT-4a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 3.1K Mar 30 03:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 03:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 18:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 18:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 10:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 10:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 09:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 09:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.7M Mar 24 05:37 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 1589114144177

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 4a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 927 places, 6615 transitions, 25705 arcs.
AT ITER 0 NEW BEST:: SOT 3762309 SOS 3120198 HAS SOPS 1567339 HAS SOUS 274322 HAS SOUPS 123224 WITH SCORE 126344.198
AT ITER 6 NEW BEST:: SOT 3762155 SOS 3119890 HAS SOPS 1567895 HAS SOUS 273964 HAS SOUPS 123010 WITH SCORE 126129.89
AT ITER 20 NEW BEST:: SOT 3761763 SOS 3120596 HAS SOPS 1567305 HAS SOUS 273826 HAS SOUPS 122800 WITH SCORE 125920.596
AT ITER 33 NEW BEST:: SOT 3761543 SOS 3119798 HAS SOPS 1566507 HAS SOUS 273551 HAS SOUPS 122525 WITH SCORE 125644.798
AT ITER 60 NEW BEST:: SOT 3761455 SOS 3119622 HAS SOPS 1566595 HAS SOUS 273375 HAS SOUPS 122393 WITH SCORE 125512.622
AT ITER 71 NEW BEST:: SOT 3761326 SOS 3119364 HAS SOPS 1567177 HAS SOUS 273077 HAS SOUPS 122235 WITH SCORE 125354.364
AT ITER 75 NEW BEST:: SOT 3760879 SOS 3128392 HAS SOPS 1570841 HAS SOUS 273269 HAS SOUPS 122129 WITH SCORE 125257.392
AT ITER 84 NEW BEST:: SOT 3760879 SOS 3128392 HAS SOPS 1570841 HAS SOUS 273199 HAS SOUPS 122059 WITH SCORE 125187.392
AT ITER 86 NEW BEST:: SOT 3760042 SOS 3125470 HAS SOPS 1569791 HAS SOUS 272035 HAS SOUPS 121207 WITH SCORE 124332.47
AT ITER 91 NEW BEST:: SOT 3759020 SOS 3128854 HAS SOPS 1570919 HAS SOUS 271383 HAS SOUPS 120555 WITH SCORE 123683.854
AT ITER 118 NEW BEST:: SOT 3757995 SOS 3132308 HAS SOPS 1571913 HAS SOUS 270676 HAS SOUPS 119848 WITH SCORE 122980.308
AT ITER 140 NEW BEST:: SOT 3757285 SOS 3133328 HAS SOPS 1570737 HAS SOUS 270176 HAS SOUPS 119226 WITH SCORE 122359.328
AT ITER 142 NEW BEST:: SOT 3757285 SOS 3133328 HAS SOPS 1570737 HAS SOUS 270096 HAS SOUPS 119146 WITH SCORE 122279.328
AT ITER 145 NEW BEST:: SOT 3757285 SOS 3133328 HAS SOPS 1570737 HAS SOUS 270008 HAS SOUPS 119058 WITH SCORE 122191.328
AT ITER 178 NEW BEST:: SOT 3757071 SOS 3132900 HAS SOPS 1571155 HAS SOUS 269556 HAS SOUPS 118747 WITH SCORE 121879.9
AT ITER 199 NEW BEST:: SOT 3757071 SOS 3132228 HAS SOPS 1571611 HAS SOUS 269368 HAS SOUPS 118747 WITH SCORE 121879.228
AT ITER 201 NEW BEST:: SOT 3756372 SOS 3134204 HAS SOPS 1570869 HAS SOUS 269019 HAS SOUPS 118247 WITH SCORE 121381.204
AT ITER 224 NEW BEST:: SOT 3756343 SOS 3134088 HAS SOPS 1570753 HAS SOUS 268990 HAS SOUPS 118218 WITH SCORE 121352.088
AT ITER 225 NEW BEST:: SOT 3756166 SOS 3133734 HAS SOPS 1571059 HAS SOUS 268615 HAS SOUPS 117953 WITH SCORE 121086.734
AT ITER 228 NEW BEST:: SOT 3755650 SOS 3141471 HAS SOPS 1573774 HAS SOUS 268611 HAS SOUPS 117670 WITH SCORE 120811.471
AT ITER 237 NEW BEST:: SOT 3755650 SOS 3141471 HAS SOPS 1573774 HAS SOUS 268533 HAS SOUPS 117592 WITH SCORE 120733.471
AT ITER 252 NEW BEST:: SOT 3755650 SOS 3141471 HAS SOPS 1573774 HAS SOUS 268449 HAS SOUPS 117508 WITH SCORE 120649.471
AT ITER 257 NEW BEST:: SOT 3754659 SOS 3145147 HAS SOPS 1574822 HAS SOUS 267765 HAS SOUPS 116824 WITH SCORE 119969.147
AT ITER 277 NEW BEST:: SOT 3754659 SOS 3145147 HAS SOPS 1574822 HAS SOUS 267677 HAS SOUPS 116736 WITH SCORE 119881.147
AT ITER 278 NEW BEST:: SOT 3754450 SOS 3145257 HAS SOPS 1574932 HAS SOUS 267364 HAS SOUPS 116423 WITH SCORE 119568.257
AT ITER 282 NEW BEST:: SOT 3754376 SOS 3144975 HAS SOPS 1574650 HAS SOUS 267290 HAS SOUPS 116349 WITH SCORE 119493.975
AT ITER 289 NEW BEST:: SOT 3753457 SOS 3151069 HAS SOPS 1577432 HAS SOUS 266785 HAS SOUPS 115844 WITH SCORE 118995.069
AT ITER 294 NEW BEST:: SOT 3753444 SOS 3150422 HAS SOPS 1576785 HAS SOUS 266775 HAS SOUPS 115834 WITH SCORE 118984.422
AT ITER 321 NEW BEST:: SOT 3752867 SOS 3151168 HAS SOPS 1575821 HAS SOUS 266381 HAS SOUPS 115345 WITH SCORE 118496.168
AT ITER 370 NEW BEST:: SOT 3752827 SOS 3151088 HAS SOPS 1575741 HAS SOUS 266321 HAS SOUPS 115285 WITH SCORE 118436.088
AT ITER 388 NEW BEST:: SOT 3752164 SOS 3153058 HAS SOPS 1575533 HAS SOUS 265984 HAS SOUPS 114827 WITH SCORE 117980.058
AT ITER 403 NEW BEST:: SOT 3751832 SOS 3152156 HAS SOPS 1574631 HAS SOUS 265806 HAS SOUPS 114649 WITH SCORE 117801.156
AT ITER 413 NEW BEST:: SOT 3751752 SOS 3151996 HAS SOPS 1574951 HAS SOUS 265646 HAS SOUPS 114569 WITH SCORE 117720.996
AT ITER 438 NEW BEST:: SOT 3751752 SOS 3151996 HAS SOPS 1574951 HAS SOUS 265558 HAS SOUPS 114481 WITH SCORE 117632.996
AT ITER 447 NEW BEST:: SOT 3751316 SOS 3153698 HAS SOPS 1574871 HAS SOUS 265513 HAS SOUPS 114337 WITH SCORE 117490.698
AT ITER 455 NEW BEST:: SOT 3750717 SOS 3161699 HAS SOPS 1577670 HAS SOUS 265442 HAS SOUPS 113977 WITH SCORE 117138.699
AT ITER 471 NEW BEST:: SOT 3750138 SOS 3159576 HAS SOPS 1576705 HAS SOUS 264670 HAS SOUPS 113398 WITH SCORE 116557.576
AT ITER 505 NEW BEST:: SOT 3750019 SOS 3159712 HAS SOPS 1576535 HAS SOUS 264602 HAS SOUPS 113313 WITH SCORE 116472.712
AT ITER 507 NEW BEST:: SOT 3749333 SOS 3158042 HAS SOPS 1575759 HAS SOUS 264227 HAS SOUPS 113087 WITH SCORE 116245.042
AT ITER 515 NEW BEST:: SOT 3748807 SOS 3156700 HAS SOPS 1575287 HAS SOUS 263844 HAS SOUPS 112849 WITH SCORE 116005.7
AT ITER 529 NEW BEST:: SOT 3748667 SOS 3156420 HAS SOPS 1575007 HAS SOUS 263592 HAS SOUPS 112597 WITH SCORE 115753.42
AT ITER 534 NEW BEST:: SOT 3748622 SOS 3156810 HAS SOPS 1575217 HAS SOUS 263562 HAS SOUPS 112567 WITH SCORE 115723.81
AT ITER 535 NEW BEST:: SOT 3747807 SOS 3148005 HAS SOPS 1576053 HAS SOUS 263295 HAS SOUPS 112300 WITH SCORE 115448.005
AT ITER 539 NEW BEST:: SOT 3747807 SOS 3148005 HAS SOPS 1576053 HAS SOUS 263291 HAS SOUPS 112296 WITH SCORE 115444.005
AT ITER 552 NEW BEST:: SOT 3747222 SOS 3148615 HAS SOPS 1575061 HAS SOUS 262885 HAS SOUPS 111801 WITH SCORE 114949.615
AT ITER 554 NEW BEST:: SOT 3747213 SOS 3148165 HAS SOPS 1574611 HAS SOUS 262876 HAS SOUPS 111792 WITH SCORE 114940.165
AT ITER 555 NEW BEST:: SOT 3747244 SOS 3148382 HAS SOPS 1574642 HAS SOUS 262876 HAS SOUPS 111761 WITH SCORE 114909.382
AT ITER 562 NEW BEST:: SOT 3746317 SOS 3154702 HAS SOPS 1577458 HAS SOUS 262472 HAS SOUPS 111357 WITH SCORE 114511.702
AT ITER 566 NEW BEST:: SOT 3746317 SOS 3154552 HAS SOPS 1577308 HAS SOUS 262472 HAS SOUPS 111357 WITH SCORE 114511.552
AT ITER 579 NEW BEST:: SOT 3746509 SOS 3155112 HAS SOPS 1577868 HAS SOUS 262312 HAS SOUPS 111197 WITH SCORE 114352.112
AT ITER 603 NEW BEST:: SOT 3746509 SOS 3155112 HAS SOPS 1577868 HAS SOUS 262226 HAS SOUPS 111111 WITH SCORE 114266.112
AT ITER 624 NEW BEST:: SOT 3746458 SOS 3155010 HAS SOPS 1577766 HAS SOUS 262174 HAS SOUPS 111059 WITH SCORE 114214.01
AT ITER 637 NEW BEST:: SOT 3746378 SOS 3155202 HAS SOPS 1577670 HAS SOUS 262174 HAS SOUPS 111043 WITH SCORE 114198.202
AT ITER 648 NEW BEST:: SOT 3745972 SOS 3153980 HAS SOPS 1577678 HAS SOUS 261877 HAS SOUPS 110951 WITH SCORE 114104.98
AT ITER 655 NEW BEST:: SOT 3745972 SOS 3153980 HAS SOPS 1577678 HAS SOUS 261789 HAS SOUPS 110863 WITH SCORE 114016.98
AT ITER 675 NEW BEST:: SOT 3743065 SOS 3149356 HAS SOPS 1575813 HAS SOUS 261577 HAS SOUPS 110777 WITH SCORE 113926.356
AT ITER 682 NEW BEST:: SOT 3742016 SOS 3152554 HAS SOPS 1576503 HAS SOUS 260837 HAS SOUPS 110037 WITH SCORE 113189.554
AT ITER 683 NEW BEST:: SOT 3742016 SOS 3152554 HAS SOPS 1576503 HAS SOUS 260749 HAS SOUPS 109949 WITH SCORE 113101.554
AT ITER 710 NEW BEST:: SOT 3741889 SOS 3152068 HAS SOPS 1576713 HAS SOUS 260529 HAS SOUPS 109845 WITH SCORE 112997.068
AT ITER 720 NEW BEST:: SOT 3741686 SOS 3152300 HAS SOPS 1576423 HAS SOUS 260413 HAS SOUPS 109700 WITH SCORE 112852.3
AT ITER 728 NEW BEST:: SOT 3738537 SOS 3147313 HAS SOPS 1574292 HAS SOUS 259890 HAS SOUPS 109415 WITH SCORE 112562.313
AT ITER 745 NEW BEST:: SOT 3737723 SOS 3150975 HAS SOPS 1575554 HAS SOUS 259427 HAS SOUPS 108952 WITH SCORE 112102.975
AT ITER 750 NEW BEST:: SOT 3737723 SOS 3150975 HAS SOPS 1575554 HAS SOUS 259371 HAS SOUPS 108896 WITH SCORE 112046.975
AT ITER 775 NEW BEST:: SOT 3737555 SOS 3151871 HAS SOPS 1575442 HAS SOUS 259259 HAS SOUPS 108728 WITH SCORE 111879.871
AT ITER 817 NEW BEST:: SOT 3737555 SOS 3151871 HAS SOPS 1575442 HAS SOUS 259171 HAS SOUPS 108640 WITH SCORE 111791.871
AT ITER 837 NEW BEST:: SOT 3737555 SOS 3151871 HAS SOPS 1575442 HAS SOUS 259083 HAS SOUPS 108552 WITH SCORE 111703.871
AT ITER 856 NEW BEST:: SOT 3737045 SOS 3150463 HAS SOPS 1575198 HAS SOUS 258667 HAS SOUPS 108330 WITH SCORE 111480.463
AT ITER 888 NEW BEST:: SOT 3737045 SOS 3150463 HAS SOPS 1575198 HAS SOUS 258623 HAS SOUPS 108286 WITH SCORE 111436.463
AT ITER 891 NEW BEST:: SOT 3736580 SOS 3148537 HAS SOPS 1574766 HAS SOUS 257821 HAS SOUPS 107733 WITH SCORE 110881.537
AT ITER 919 NEW BEST:: SOT 3736580 SOS 3148537 HAS SOPS 1574766 HAS SOUS 257733 HAS SOUPS 107645 WITH SCORE 110793.537
AT ITER 932 NEW BEST:: SOT 3736536 SOS 3147351 HAS SOPS 1574678 HAS SOUS 257549 HAS SOUPS 107644 WITH SCORE 110791.351
AT ITER 942 NEW BEST:: SOT 3736536 SOS 3147351 HAS SOPS 1574678 HAS SOUS 257461 HAS SOUPS 107556 WITH SCORE 110703.351
AT ITER 943 NEW BEST:: SOT 3736354 SOS 3146987 HAS SOPS 1574314 HAS SOUS 257279 HAS SOUPS 107374 WITH SCORE 110520.987
AT ITER 950 NEW BEST:: SOT 3736336 SOS 3146051 HAS SOPS 1574260 HAS SOUS 257261 HAS SOUPS 107374 WITH SCORE 110520.051
AT ITER 999 NEW BEST:: SOT 3736320 SOS 3145971 HAS SOPS 1574180 HAS SOUS 257229 HAS SOUPS 107342 WITH SCORE 110487.971
AT ITER 1009 NEW BEST:: SOT 3736320 SOS 3145635 HAS SOPS 1574180 HAS SOUS 257173 HAS SOUPS 107342 WITH SCORE 110487.635
AT ITER 1014 NEW BEST:: SOT 3736320 SOS 3145635 HAS SOPS 1574180 HAS SOUS 257105 HAS SOUPS 107274 WITH SCORE 110419.635
AT ITER 1024 NEW BEST:: SOT 3736278 SOS 3145551 HAS SOPS 1574096 HAS SOUS 257042 HAS SOUPS 107211 WITH SCORE 110356.551
AT ITER 1107 NEW BEST:: SOT 3736305 SOS 3145011 HAS SOPS 1574042 HAS SOUS 257015 HAS SOUPS 107211 WITH SCORE 110356.011
AT ITER 1134 NEW BEST:: SOT 3735618 SOS 3148881 HAS SOPS 1574186 HAS SOUS 256884 HAS SOUPS 106873 WITH SCORE 110021.881
AT ITER 1135 NEW BEST:: SOT 3735569 SOS 3148783 HAS SOPS 1574382 HAS SOUS 256737 HAS SOUPS 106775 WITH SCORE 109923.783
AT ITER 1156 NEW BEST:: SOT 3737622 SOS 3151932 HAS SOPS 1576457 HAS SOUS 256543 HAS SOUPS 106581 WITH SCORE 109732.932
AT ITER 1173 NEW BEST:: SOT 3736941 SOS 3137185 HAS SOPS 1575185 HAS SOUS 256184 HAS SOUPS 106497 WITH SCORE 109634.185
AT ITER 1184 NEW BEST:: SOT 3736430 SOS 3139621 HAS SOPS 1575479 HAS SOUS 255899 HAS SOUPS 106093 WITH SCORE 109232.621
AT ITER 1186 NEW BEST:: SOT 3736430 SOS 3139621 HAS SOPS 1575479 HAS SOUS 255851 HAS SOUPS 106045 WITH SCORE 109184.621
AT ITER 1191 NEW BEST:: SOT 3735645 SOS 3144447 HAS SOPS 1577605 HAS SOUS 255603 HAS SOUPS 105797 WITH SCORE 108941.447
AT ITER 1194 NEW BEST:: SOT 3735645 SOS 3144447 HAS SOPS 1577605 HAS SOUS 255515 HAS SOUPS 105709 WITH SCORE 108853.447
AT ITER 1204 NEW BEST:: SOT 3734555 SOS 3148341 HAS SOPS 1578643 HAS SOUS 254751 HAS SOUPS 104945 WITH SCORE 108093.341
AT ITER 1218 NEW BEST:: SOT 3734334 SOS 3149693 HAS SOPS 1578591 HAS SOUS 254618 HAS SOUPS 104734 WITH SCORE 107883.693
AT ITER 1226 NEW BEST:: SOT 3734090 SOS 3148775 HAS SOPS 1578963 HAS SOUS 254215 HAS SOUPS 104546 WITH SCORE 107694.775
AT ITER 1227 NEW BEST:: SOT 3733430 SOS 3146979 HAS SOPS 1578595 HAS SOUS 253864 HAS SOUPS 104433 WITH SCORE 107579.979
AT ITER 1251 NEW BEST:: SOT 3733307 SOS 3152241 HAS SOPS 1580941 HAS SOUS 253928 HAS SOUPS 104335 WITH SCORE 107487.241
AT ITER 1259 NEW BEST:: SOT 3733271 SOS 3152325 HAS SOPS 1581025 HAS SOUS 253874 HAS SOUPS 104281 WITH SCORE 107433.325
AT ITER 1261 NEW BEST:: SOT 3732869 SOS 3151531 HAS SOPS 1580231 HAS SOUS 253630 HAS SOUPS 104037 WITH SCORE 107188.531
AT ITER 1277 NEW BEST:: SOT 3732745 SOS 3151283 HAS SOPS 1579983 HAS SOUS 253506 HAS SOUPS 103913 WITH SCORE 107064.283
AT ITER 1284 NEW BEST:: SOT 3732201 SOS 3149179 HAS SOPS 1579403 HAS SOUS 252672 HAS SOUPS 103333 WITH SCORE 106482.179
AT ITER 1294 NEW BEST:: SOT 3732161 SOS 3149099 HAS SOPS 1579323 HAS SOUS 252632 HAS SOUPS 103293 WITH SCORE 106442.099
AT ITER 1296 NEW BEST:: SOT 3731637 SOS 3150761 HAS SOPS 1579437 HAS SOUS 252383 HAS SOUPS 102958 WITH SCORE 106108.761
AT ITER 1297 NEW BEST:: SOT 3731637 SOS 3150761 HAS SOPS 1579437 HAS SOUS 252365 HAS SOUPS 102940 WITH SCORE 106090.761
AT ITER 1314 NEW BEST:: SOT 3731321 SOS 3152209 HAS SOPS 1579637 HAS SOUS 252335 HAS SOUPS 102910 WITH SCORE 106062.209
AT ITER 1334 NEW BEST:: SOT 3731321 SOS 3152101 HAS SOPS 1579529 HAS SOUS 252335 HAS SOUPS 102910 WITH SCORE 106062.101
AT ITER 1338 NEW BEST:: SOT 3731279 SOS 3151879 HAS SOPS 1579721 HAS SOUS 252251 HAS SOUPS 102895 WITH SCORE 106046.879
AT ITER 1356 NEW BEST:: SOT 3731279 SOS 3151879 HAS SOPS 1580237 HAS SOUS 252079 HAS SOUPS 102809 WITH SCORE 105960.879
AT ITER 1357 NEW BEST:: SOT 3729921 SOS 3155273 HAS SOPS 1581171 HAS SOUS 251359 HAS SOUPS 102089 WITH SCORE 105244.273
AT ITER 1384 NEW BEST:: SOT 3729789 SOS 3154607 HAS SOPS 1580505 HAS SOUS 251093 HAS SOUPS 101823 WITH SCORE 104977.607
AT ITER 1385 NEW BEST:: SOT 3729789 SOS 3154607 HAS SOPS 1580505 HAS SOUS 251005 HAS SOUPS 101735 WITH SCORE 104889.607
AT ITER 1465 NEW BEST:: SOT 3729801 SOS 3154631 HAS SOPS 1580529 HAS SOUS 250869 HAS SOUPS 101599 WITH SCORE 104753.631
AT ITER 1470 NEW BEST:: SOT 3729801 SOS 3154631 HAS SOPS 1580529 HAS SOUS 250863 HAS SOUPS 101593 WITH SCORE 104747.631
AT ITER 1485 NEW BEST:: SOT 3729765 SOS 3154667 HAS SOPS 1580565 HAS SOUS 250809 HAS SOUPS 101539 WITH SCORE 104693.667
AT ITER 1497 NEW BEST:: SOT 3729765 SOS 3154667 HAS SOPS 1580565 HAS SOUS 250736 HAS SOUPS 101466 WITH SCORE 104620.667
AT ITER 1509 NEW BEST:: SOT 3729768 SOS 3154673 HAS SOPS 1580571 HAS SOUS 250719 HAS SOUPS 101449 WITH SCORE 104603.673
AT ITER 1516 NEW BEST:: SOT 3729568 SOS 3154273 HAS SOPS 1580171 HAS SOUS 250519 HAS SOUPS 101249 WITH SCORE 104403.273
AT ITER 1535 NEW BEST:: SOT 3729078 SOS 3154673 HAS SOPS 1579743 HAS SOUS 250123 HAS SOUPS 100853 WITH SCORE 104007.673
AT ITER 1536 NEW BEST:: SOT 3729078 SOS 3154439 HAS SOPS 1579743 HAS SOUS 250060 HAS SOUPS 100829 WITH SCORE 103983.439
AT ITER 1540 NEW BEST:: SOT 3729024 SOS 3155089 HAS SOPS 1579925 HAS SOUS 250058 HAS SOUPS 100801 WITH SCORE 103956.089
AT ITER 1545 NEW BEST:: SOT 3729004 SOS 3155049 HAS SOPS 1579885 HAS SOUS 250018 HAS SOUPS 100761 WITH SCORE 103916.049
AT ITER 1562 NEW BEST:: SOT 3729308 SOS 3156083 HAS SOPS 1580919 HAS SOUS 249896 HAS SOUPS 100639 WITH SCORE 103795.083
AT ITER 1578 NEW BEST:: SOT 3729137 SOS 3156219 HAS SOPS 1580713 HAS SOUS 249792 HAS SOUPS 100516 WITH SCORE 103672.219
AT ITER 1591 NEW BEST:: SOT 3728647 SOS 3154993 HAS SOPS 1580225 HAS SOUS 249521 HAS SOUPS 100368 WITH SCORE 103522.993
AT ITER 1592 NEW BEST:: SOT 3727663 SOS 3152565 HAS SOPS 1579177 HAS SOUS 248868 HAS SOUPS 99945 WITH SCORE 103097.565
AT ITER 1609 NEW BEST:: SOT 3727663 SOS 3152565 HAS SOPS 1579177 HAS SOUS 248802 HAS SOUPS 99879 WITH SCORE 103031.565
AT ITER 1614 NEW BEST:: SOT 3727405 SOS 3152491 HAS SOPS 1578739 HAS SOUS 248867 HAS SOUPS 99854 WITH SCORE 103006.491
AT ITER 1632 NEW BEST:: SOT 3727366 SOS 3152179 HAS SOPS 1578661 HAS SOUS 248827 HAS SOUPS 99853 WITH SCORE 103005.179
AT ITER 1644 NEW BEST:: SOT 3727404 SOS 3152105 HAS SOPS 1578587 HAS SOUS 248817 HAS SOUPS 99843 WITH SCORE 102995.105
AT ITER 1663 NEW BEST:: SOT 3727404 SOS 3152105 HAS SOPS 1578587 HAS SOUS 248779 HAS SOUPS 99805 WITH SCORE 102957.105
AT ITER 1670 NEW BEST:: SOT 3727404 SOS 3152105 HAS SOPS 1578587 HAS SOUS 248691 HAS SOUPS 99717 WITH SCORE 102869.105
AT ITER 1687 NEW BEST:: SOT 3727543 SOS 3152497 HAS SOPS 1577917 HAS SOUS 248865 HAS SOUPS 99714 WITH SCORE 102866.497
AT ITER 1688 NEW BEST:: SOT 3727543 SOS 3152433 HAS SOPS 1577853 HAS SOUS 248833 HAS SOUPS 99682 WITH SCORE 102834.433
AT ITER 1697 NEW BEST:: SOT 3727543 SOS 3152433 HAS SOPS 1577853 HAS SOUS 248795 HAS SOUPS 99644 WITH SCORE 102796.433
AT ITER 1701 NEW BEST:: SOT 3723861 SOS 3146846 HAS SOPS 1575553 HAS SOUS 248471 HAS SOUPS 99566 WITH SCORE 102712.846
AT ITER 1706 NEW BEST:: SOT 3723861 SOS 3146846 HAS SOPS 1575553 HAS SOUS 248417 HAS SOUPS 99512 WITH SCORE 102658.846
AT ITER 1719 NEW BEST:: SOT 3724497 SOS 3147800 HAS SOPS 1575871 HAS SOUS 248364 HAS SOUPS 99406 WITH SCORE 102553.8
AT ITER 1733 NEW BEST:: SOT 3724497 SOS 3147800 HAS SOPS 1575871 HAS SOUS 248292 HAS SOUPS 99334 WITH SCORE 102481.8
AT ITER 1797 NEW BEST:: SOT 3724531 SOS 3148344 HAS SOPS 1575701 HAS SOUS 248119 HAS SOUPS 99042 WITH SCORE 102190.344
AT ITER 1810 NEW BEST:: SOT 3723816 SOS 3150042 HAS SOPS 1575659 HAS SOUS 247442 HAS SOUPS 98365 WITH SCORE 101515.042
AT ITER 1822 NEW BEST:: SOT 3723533 SOS 3149476 HAS SOPS 1575093 HAS SOUS 247168 HAS SOUPS 98091 WITH SCORE 101240.476
AT ITER 1853 NEW BEST:: SOT 3723527 SOS 3149464 HAS SOPS 1575435 HAS SOUS 247078 HAS SOUPS 98060 WITH SCORE 101209.464
AT ITER 1869 NEW BEST:: SOT 3723527 SOS 3149464 HAS SOPS 1575435 HAS SOUS 246990 HAS SOUPS 97972 WITH SCORE 101121.464
AT ITER 1871 NEW BEST:: SOT 3723247 SOS 3149184 HAS SOPS 1575155 HAS SOUS 246919 HAS SOUPS 97901 WITH SCORE 101050.184
AT ITER 1872 NEW BEST:: SOT 3723247 SOS 3149184 HAS SOPS 1575155 HAS SOUS 246863 HAS SOUPS 97845 WITH SCORE 100994.184
AT ITER 1893 NEW BEST:: SOT 3723247 SOS 3149184 HAS SOPS 1575155 HAS SOUS 246775 HAS SOUPS 97757 WITH SCORE 100906.184
AT ITER 1895 NEW BEST:: SOT 3724715 SOS 3157796 HAS SOPS 1579148 HAS SOUS 246589 HAS SOUPS 97571 WITH SCORE 100728.796
AT ITER 1903 NEW BEST:: SOT 3724217 SOS 3162458 HAS SOPS 1581218 HAS SOUS 246549 HAS SOUPS 97531 WITH SCORE 100693.458
AT ITER 1927 NEW BEST:: SOT 3724217 SOS 3162302 HAS SOPS 1581530 HAS SOUS 246471 HAS SOUPS 97531 WITH SCORE 100693.302
AT ITER 1937 NEW BEST:: SOT 3724217 SOS 3162302 HAS SOPS 1581530 HAS SOUS 246469 HAS SOUPS 97529 WITH SCORE 100691.302
AT ITER 1940 NEW BEST:: SOT 3722345 SOS 3159669 HAS SOPS 1579802 HAS SOUS 246411 HAS SOUPS 97471 WITH SCORE 100630.669
AT ITER 1944 NEW BEST:: SOT 3722579 SOS 3160371 HAS SOPS 1579802 HAS SOUS 246482 HAS SOUPS 97425 WITH SCORE 100585.371
AT ITER 1948 NEW BEST:: SOT 3722578 SOS 3160369 HAS SOPS 1579800 HAS SOUS 246480 HAS SOUPS 97423 WITH SCORE 100583.369
AT ITER 1950 NEW BEST:: SOT 3722679 SOS 3151178 HAS SOPS 1574952 HAS SOUS 246480 HAS SOUPS 97423 WITH SCORE 100574.178
AT ITER 1987 NEW BEST:: SOT 3722917 SOS 3151501 HAS SOPS 1575275 HAS SOUS 246301 HAS SOUPS 97244 WITH SCORE 100395.501
AT ITER 1988 NEW BEST:: SOT 3722917 SOS 3151315 HAS SOPS 1575089 HAS SOUS 246301 HAS SOUPS 97244 WITH SCORE 100395.315
AT ITER 1999 NEW BEST:: SOT 3720552 SOS 3148950 HAS SOPS 1574014 HAS SOUS 246245 HAS SOUPS 97188 WITH SCORE 100336.95
AT ITER 2009 NEW BEST:: SOT 3720161 SOS 3154146 HAS SOPS 1576534 HAS SOUS 246165 HAS SOUPS 97108 WITH SCORE 100262.146
AT ITER 2015 NEW BEST:: SOT 3720113 SOS 3154050 HAS SOPS 1576438 HAS SOUS 246117 HAS SOUPS 97060 WITH SCORE 100214.05
AT ITER 2051 NEW BEST:: SOT 3719835 SOS 3156632 HAS SOPS 1577832 HAS SOUS 245977 HAS SOUPS 96920 WITH SCORE 100076.632
AT ITER 2053 NEW BEST:: SOT 3719835 SOS 3156632 HAS SOPS 1577832 HAS SOUS 245889 HAS SOUPS 96832 WITH SCORE 99988.632
AT ITER 2054 NEW BEST:: SOT 3719195 SOS 3155032 HAS SOPS 1577192 HAS SOUS 245569 HAS SOUPS 96672 WITH SCORE 99827.032
AT ITER 2108 NEW BEST:: SOT 3718824 SOS 3160422 HAS SOPS 1579072 HAS SOUS 245754 HAS SOUPS 96662 WITH SCORE 99822.422
AT ITER 2124 NEW BEST:: SOT 3718821 SOS 3160416 HAS SOPS 1579066 HAS SOUS 245751 HAS SOUPS 96659 WITH SCORE 99819.416
AT ITER 2140 NEW BEST:: SOT 3718614 SOS 3161090 HAS SOPS 1579332 HAS SOUS 245672 HAS SOUPS 96580 WITH SCORE 99741.09
AT ITER 2160 NEW BEST:: SOT 3718188 SOS 3162614 HAS SOPS 1579236 HAS SOUS 245564 HAS SOUPS 96382 WITH SCORE 99544.614
AT ITER 2177 NEW BEST:: SOT 3718102 SOS 3162442 HAS SOPS 1579064 HAS SOUS 245478 HAS SOUPS 96296 WITH SCORE 99458.442
AT ITER 2180 NEW BEST:: SOT 3718054 SOS 3162890 HAS SOPS 1579224 HAS SOUS 245462 HAS SOUPS 96264 WITH SCORE 99426.89
AT ITER 2181 NEW BEST:: SOT 3717776 SOS 3162106 HAS SOPS 1579124 HAS SOUS 245297 HAS SOUPS 96213 WITH SCORE 99375.106
AT ITER 2186 NEW BEST:: SOT 3717776 SOS 3162106 HAS SOPS 1579124 HAS SOUS 245209 HAS SOUPS 96125 WITH SCORE 99287.106
AT ITER 2193 NEW BEST:: SOT 3717608 SOS 3161194 HAS SOPS 1578212 HAS SOUS 244911 HAS SOUPS 95827 WITH SCORE 98988.194
AT ITER 2200 NEW BEST:: SOT 3717528 SOS 3161034 HAS SOPS 1578052 HAS SOUS 244751 HAS SOUPS 95667 WITH SCORE 98828.034
AT ITER 2217 NEW BEST:: SOT 3717526 SOS 3160742 HAS SOPS 1577760 HAS SOUS 244749 HAS SOUPS 95665 WITH SCORE 98825.742
AT ITER 2245 NEW BEST:: SOT 3717092 SOS 3165132 HAS SOPS 1580086 HAS SOUS 244580 HAS SOUPS 95496 WITH SCORE 98661.132
AT ITER 2253 NEW BEST:: SOT 3716580 SOS 3165772 HAS SOPS 1579574 HAS SOUS 244322 HAS SOUPS 95174 WITH SCORE 98339.772
AT ITER 2260 NEW BEST:: SOT 3716580 SOS 3165772 HAS SOPS 1579574 HAS SOUS 244280 HAS SOUPS 95132 WITH SCORE 98297.772
AT ITER 2264 NEW BEST:: SOT 3716526 SOS 3165352 HAS SOPS 1579154 HAS SOUS 244194 HAS SOUPS 95046 WITH SCORE 98211.352
AT ITER 2266 NEW BEST:: SOT 3716526 SOS 3165352 HAS SOPS 1579154 HAS SOUS 244180 HAS SOUPS 95032 WITH SCORE 98197.352
AT ITER 2281 NEW BEST:: SOT 3715987 SOS 3163386 HAS SOPS 1578646 HAS SOUS 243664 HAS SOUPS 94759 WITH SCORE 97922.386
AT ITER 2284 NEW BEST:: SOT 3715962 SOS 3163336 HAS SOPS 1578596 HAS SOUS 243590 HAS SOUPS 94685 WITH SCORE 97848.336
AT ITER 2301 NEW BEST:: SOT 3715962 SOS 3163336 HAS SOPS 1578596 HAS SOUS 243510 HAS SOUPS 94605 WITH SCORE 97768.336
AT ITER 2316 NEW BEST:: SOT 3715962 SOS 3163336 HAS SOPS 1578596 HAS SOUS 243496 HAS SOUPS 94591 WITH SCORE 97754.336
AT ITER 2347 NEW BEST:: SOT 3715777 SOS 3162966 HAS SOPS 1578226 HAS SOUS 243311 HAS SOUPS 94406 WITH SCORE 97568.966
AT ITER 2353 NEW BEST:: SOT 3715131 SOS 3166260 HAS SOPS 1579384 HAS SOUS 242894 HAS SOUPS 93989 WITH SCORE 97155.26
AT ITER 2364 NEW BEST:: SOT 3715065 SOS 3166128 HAS SOPS 1580032 HAS SOUS 242698 HAS SOUPS 93923 WITH SCORE 97089.128
AT ITER 2372 NEW BEST:: SOT 3715075 SOS 3165828 HAS SOPS 1579852 HAS SOUS 242698 HAS SOUPS 93923 WITH SCORE 97088.828
AT ITER 2396 NEW BEST:: SOT 3713867 SOS 3163908 HAS SOPS 1579060 HAS SOUS 242524 HAS SOUPS 93843 WITH SCORE 97006.908
AT ITER 2401 NEW BEST:: SOT 3711150 SOS 3159862 HAS SOPS 1576999 HAS SOUS 242393 HAS SOUPS 93723 WITH SCORE 96882.862
AT ITER 2461 NEW BEST:: SOT 3711150 SOS 3159862 HAS SOPS 1576999 HAS SOUS 242357 HAS SOUPS 93687 WITH SCORE 96846.862
AT ITER 2501 NEW BEST:: SOT 3711102 SOS 3159742 HAS SOPS 1576951 HAS SOUS 242333 HAS SOUPS 93675 WITH SCORE 96834.742
AT ITER 2509 NEW BEST:: SOT 3711029 SOS 3158870 HAS SOPS 1576805 HAS SOUS 242187 HAS SOUPS 93650 WITH SCORE 96808.87
AT ITER 2512 NEW BEST:: SOT 3711264 SOS 3148598 HAS SOPS 1577013 HAS SOUS 242085 HAS SOUPS 93542 WITH SCORE 96690.598
AT ITER 2521 NEW BEST:: SOT 3711135 SOS 3149428 HAS SOPS 1577435 HAS SOUS 242010 HAS SOUPS 93467 WITH SCORE 96616.428
AT ITER 2528 NEW BEST:: SOT 3711135 SOS 3149428 HAS SOPS 1577435 HAS SOUS 241966 HAS SOUPS 93423 WITH SCORE 96572.428
AT ITER 2618 NEW BEST:: SOT 3707353 SOS 3143366 HAS SOPS 1575021 HAS SOUS 241521 HAS SOUPS 93282 WITH SCORE 96425.366
AT ITER 2656 NEW BEST:: SOT 3706991 SOS 3144574 HAS SOPS 1574933 HAS SOUS 241435 HAS SOUPS 93124 WITH SCORE 96268.574
AT ITER 2673 NEW BEST:: SOT 3707079 SOS 3144629 HAS SOPS 1574977 HAS SOUS 241413 HAS SOUPS 93113 WITH SCORE 96257.629
AT ITER 2685 NEW BEST:: SOT 3707548 SOS 3146896 HAS SOPS 1575852 HAS SOUS 241389 HAS SOUPS 93031 WITH SCORE 96177.896
AT ITER 2715 NEW BEST:: SOT 3707548 SOS 3146896 HAS SOPS 1575852 HAS SOUS 241355 HAS SOUPS 92997 WITH SCORE 96143.896
AT ITER 2722 NEW BEST:: SOT 3707501 SOS 3146687 HAS SOPS 1575643 HAS SOUS 241268 HAS SOUPS 92910 WITH SCORE 96056.687
AT ITER 2749 NEW BEST:: SOT 3707501 SOS 3146687 HAS SOPS 1575643 HAS SOUS 241234 HAS SOUPS 92876 WITH SCORE 96022.687
AT ITER 2802 NEW BEST:: SOT 3707501 SOS 3146687 HAS SOPS 1575643 HAS SOUS 241220 HAS SOUPS 92862 WITH SCORE 96008.687
AT ITER 2830 NEW BEST:: SOT 3706982 SOS 3145389 HAS SOPS 1575125 HAS SOUS 240838 HAS SOUPS 92610 WITH SCORE 95755.389
AT ITER 2874 NEW BEST:: SOT 3706565 SOS 3144483 HAS SOPS 1574219 HAS SOUS 240421 HAS SOUPS 92193 WITH SCORE 95337.48300000001
AT ITER 2899 NEW BEST:: SOT 3706565 SOS 3141227 HAS SOPS 1574145 HAS SOUS 240347 HAS SOUPS 92119 WITH SCORE 95260.227
AT ITER 2912 NEW BEST:: SOT 3706548 SOS 3141210 HAS SOPS 1574128 HAS SOUS 240330 HAS SOUPS 92102 WITH SCORE 95243.21
AT ITER 2941 NEW BEST:: SOT 3706548 SOS 3141210 HAS SOPS 1574128 HAS SOUS 240298 HAS SOUPS 92070 WITH SCORE 95211.21
AT ITER 2961 NEW BEST:: SOT 3706115 SOS 3144216 HAS SOPS 1574956 HAS SOUS 240170 HAS SOUPS 91821 WITH SCORE 94965.216
AT ITER 2977 NEW BEST:: SOT 3705822 SOS 3147956 HAS SOPS 1576860 HAS SOUS 240083 HAS SOUPS 91734 WITH SCORE 94881.956
AT ITER 2984 NEW BEST:: SOT 3705682 SOS 3148486 HAS SOPS 1577390 HAS SOUS 239859 HAS SOUPS 91510 WITH SCORE 94658.486
AT ITER 2991 NEW BEST:: SOT 3705590 SOS 3148302 HAS SOPS 1577206 HAS SOUS 239775 HAS SOUPS 91426 WITH SCORE 94574.302
AT ITER 3012 NEW BEST:: SOT 3705583 SOS 3148288 HAS SOPS 1577192 HAS SOUS 239761 HAS SOUPS 91412 WITH SCORE 94560.288
AT ITER 3013 NEW BEST:: SOT 3705553 SOS 3148258 HAS SOPS 1577072 HAS SOUS 239731 HAS SOUPS 91367 WITH SCORE 94515.258
AT ITER 3014 NEW BEST:: SOT 3705358 SOS 3149116 HAS SOPS 1577228 HAS SOUS 239739 HAS SOUPS 91336 WITH SCORE 94485.116
AT ITER 3025 NEW BEST:: SOT 3705288 SOS 3149186 HAS SOPS 1576998 HAS SOUS 239719 HAS SOUPS 91266 WITH SCORE 94415.186
AT ITER 3042 NEW BEST:: SOT 3705288 SOS 3149186 HAS SOPS 1576998 HAS SOUS 239631 HAS SOUPS 91178 WITH SCORE 94327.186
AT ITER 3072 NEW BEST:: SOT 3705288 SOS 3149186 HAS SOPS 1576998 HAS SOUS 239629 HAS SOUPS 91176 WITH SCORE 94325.186
AT ITER 3079 NEW BEST:: SOT 3705200 SOS 3149010 HAS SOPS 1576822 HAS SOUS 239629 HAS SOUPS 91176 WITH SCORE 94325.01
AT ITER 3086 NEW BEST:: SOT 3705200 SOS 3149010 HAS SOPS 1576822 HAS SOUS 239577 HAS SOUPS 91124 WITH SCORE 94273.01
AT ITER 3097 NEW BEST:: SOT 3705200 SOS 3149010 HAS SOPS 1576822 HAS SOUS 239493 HAS SOUPS 91040 WITH SCORE 94189.01
AT ITER 3157 NEW BEST:: SOT 3705170 SOS 3147480 HAS SOPS 1576762 HAS SOUS 239463 HAS SOUPS 91040 WITH SCORE 94187.48
AT ITER 3175 NEW BEST:: SOT 3705082 SOS 3147766 HAS SOPS 1576586 HAS SOUS 239396 HAS SOUPS 90896 WITH SCORE 94043.766
AT ITER 3184 NEW BEST:: SOT 3705082 SOS 3147766 HAS SOPS 1576586 HAS SOUS 239308 HAS SOUPS 90808 WITH SCORE 93955.766
AT ITER 3192 NEW BEST:: SOT 3705064 SOS 3147730 HAS SOPS 1576550 HAS SOUS 239290 HAS SOUPS 90790 WITH SCORE 93937.73
AT ITER 3200 NEW BEST:: SOT 3705064 SOS 3147730 HAS SOPS 1576550 HAS SOUS 239236 HAS SOUPS 90736 WITH SCORE 93883.73
AT ITER 3230 NEW BEST:: SOT 3705051 SOS 3147080 HAS SOPS 1575900 HAS SOUS 239223 HAS SOUPS 90723 WITH SCORE 93870.08
AT ITER 3262 NEW BEST:: SOT 3705062 SOS 3143289 HAS SOPS 1573872 HAS SOUS 239193 HAS SOUPS 90693 WITH SCORE 93836.289
AT ITER 3302 NEW BEST:: SOT 3705046 SOS 3143257 HAS SOPS 1573840 HAS SOUS 239177 HAS SOUPS 90677 WITH SCORE 93820.257
AT ITER 3317 NEW BEST:: SOT 3705094 SOS 3143329 HAS SOPS 1573864 HAS SOUS 239173 HAS SOUPS 90669 WITH SCORE 93812.329
AT ITER 3330 NEW BEST:: SOT 3704992 SOS 3143125 HAS SOPS 1574938 HAS SOUS 238763 HAS SOUPS 90472 WITH SCORE 93615.125
AT ITER 3392 NEW BEST:: SOT 3704980 SOS 3142501 HAS SOPS 1574902 HAS SOUS 238745 HAS SOUPS 90466 WITH SCORE 93608.501
AT ITER 3441 NEW BEST:: SOT 3704980 SOS 3142501 HAS SOPS 1574902 HAS SOUS 238707 HAS SOUPS 90428 WITH SCORE 93570.501
AT ITER 3465 NEW BEST:: SOT 3704980 SOS 3142501 HAS SOPS 1574902 HAS SOUS 238703 HAS SOUPS 90424 WITH SCORE 93566.501
AT ITER 3476 NEW BEST:: SOT 3704735 SOS 3141039 HAS SOPS 1573440 HAS SOUS 238331 HAS SOUPS 90052 WITH SCORE 93193.039
AT ITER 3486 NEW BEST:: SOT 3703854 SOS 3138817 HAS SOPS 1572598 HAS SOUS 237877 HAS SOUPS 89828 WITH SCORE 92966.817
AT ITER 3489 NEW BEST:: SOT 3703834 SOS 3138639 HAS SOPS 1572558 HAS SOUS 237830 HAS SOUPS 89804 WITH SCORE 92942.639
AT ITER 3554 NEW BEST:: SOT 3703797 SOS 3137825 HAS SOPS 1572188 HAS SOUS 237716 HAS SOUPS 89690 WITH SCORE 92827.825
AT ITER 3562 NEW BEST:: SOT 3703778 SOS 3137179 HAS SOPS 1571884 HAS SOUS 237640 HAS SOUPS 89633 WITH SCORE 92770.179
AT ITER 3570 NEW BEST:: SOT 3703778 SOS 3137179 HAS SOPS 1571884 HAS SOUS 237636 HAS SOUPS 89629 WITH SCORE 92766.179
AT ITER 3617 NEW BEST:: SOT 3704489 SOS 3138192 HAS SOPS 1572346 HAS SOUS 237637 HAS SOUPS 89612 WITH SCORE 92750.192
AT ITER 3694 NEW BEST:: SOT 3704481 SOS 3138204 HAS SOPS 1572274 HAS SOUS 237633 HAS SOUPS 89594 WITH SCORE 92732.204
AT ITER 3701 NEW BEST:: SOT 3704478 SOS 3138066 HAS SOPS 1572265 HAS SOUS 237624 HAS SOUPS 89585 WITH SCORE 92723.066
AT ITER 3705 NEW BEST:: SOT 3704472 SOS 3138054 HAS SOPS 1572253 HAS SOUS 237618 HAS SOUPS 89579 WITH SCORE 92717.054
AT ITER 3777 NEW BEST:: SOT 3701055 SOS 3132844 HAS SOPS 1570195 HAS SOUS 237361 HAS SOUPS 89560 WITH SCORE 92692.844
AT ITER 3790 NEW BEST:: SOT 3700933 SOS 3132492 HAS SOPS 1570059 HAS SOUS 237269 HAS SOUPS 89504 WITH SCORE 92636.492
AT ITER 3800 NEW BEST:: SOT 3700816 SOS 3132258 HAS SOPS 1569825 HAS SOUS 236997 HAS SOUPS 89232 WITH SCORE 92364.258
AT ITER 3833 NEW BEST:: SOT 3700816 SOS 3132258 HAS SOPS 1569825 HAS SOUS 236913 HAS SOUPS 89148 WITH SCORE 92280.258
AT ITER 3839 NEW BEST:: SOT 3700744 SOS 3131970 HAS SOPS 1569537 HAS SOUS 236841 HAS SOUPS 89076 WITH SCORE 92207.97
AT ITER 3855 NEW BEST:: SOT 3699285 SOS 3125716 HAS SOPS 1558747 HAS SOUS 236591 HAS SOUPS 88574 WITH SCORE 91699.716
AT ITER 3866 NEW BEST:: SOT 3699281 SOS 3125705 HAS SOPS 1558742 HAS SOUS 236588 HAS SOUPS 88572 WITH SCORE 91697.705
AT ITER 3878 NEW BEST:: SOT 3699271 SOS 3125685 HAS SOPS 1558584 HAS SOUS 236601 HAS SOUPS 88562 WITH SCORE 91687.685
AT ITER 3884 NEW BEST:: SOT 3699338 SOS 3113012 HAS SOPS 1552330 HAS SOUS 236344 HAS SOUPS 88436 WITH SCORE 91549.012
AT ITER 3893 NEW BEST:: SOT 3699338 SOS 3112736 HAS SOPS 1552564 HAS SOUS 236259 HAS SOUPS 88436 WITH SCORE 91548.736
AT ITER 3915 NEW BEST:: SOT 3699789 SOS 3113187 HAS SOPS 1552769 HAS SOUS 236218 HAS SOUPS 88395 WITH SCORE 91508.187
AT ITER 3920 NEW BEST:: SOT 3699767 SOS 3113745 HAS SOPS 1553063 HAS SOUS 236210 HAS SOUPS 88387 WITH SCORE 91500.745
AT ITER 3934 NEW BEST:: SOT 3699658 SOS 3113204 HAS SOPS 1552413 HAS SOUS 236033 HAS SOUPS 88210 WITH SCORE 91323.204
AT ITER 3965 NEW BEST:: SOT 3699658 SOS 3113204 HAS SOPS 1552413 HAS SOUS 235999 HAS SOUPS 88176 WITH SCORE 91289.204
AT ITER 3975 NEW BEST:: SOT 3699658 SOS 3113016 HAS SOPS 1552225 HAS SOUS 235999 HAS SOUPS 88176 WITH SCORE 91289.016
AT ITER 3986 NEW BEST:: SOT 3699658 SOS 3113016 HAS SOPS 1552225 HAS SOUS 235911 HAS SOUPS 88088 WITH SCORE 91201.016
AT ITER 4022 NEW BEST:: SOT 3699114 SOS 3112356 HAS SOPS 1551565 HAS SOUS 235661 HAS SOUPS 87838 WITH SCORE 90950.356
AT ITER 4037 NEW BEST:: SOT 3698930 SOS 3112076 HAS SOPS 1551445 HAS SOUS 235541 HAS SOUPS 87750 WITH SCORE 90862.076
AT ITER 4112 NEW BEST:: SOT 3698930 SOS 3112076 HAS SOPS 1551445 HAS SOUS 235523 HAS SOUPS 87732 WITH SCORE 90844.076
AT ITER 4121 NEW BEST:: SOT 3698925 SOS 3112098 HAS SOPS 1551455 HAS SOUS 235522 HAS SOUPS 87731 WITH SCORE 90843.098
AT ITER 4198 NEW BEST:: SOT 3699657 SOS 3113196 HAS SOPS 1551821 HAS SOUS 235461 HAS SOUPS 87609 WITH SCORE 90722.196
AT ITER 4219 NEW BEST:: SOT 3699173 SOS 3116798 HAS SOPS 1553311 HAS SOUS 235274 HAS SOUPS 87422 WITH SCORE 90538.798
AT ITER 4228 NEW BEST:: SOT 3698838 SOS 3119042 HAS SOPS 1554199 HAS SOUS 235228 HAS SOUPS 87376 WITH SCORE 90495.042
AT ITER 4244 NEW BEST:: SOT 3698796 SOS 3118478 HAS SOPS 1554115 HAS SOUS 235053 HAS SOUPS 87281 WITH SCORE 90399.478
AT ITER 4274 NEW BEST:: SOT 3698796 SOS 3118478 HAS SOPS 1554115 HAS SOUS 234965 HAS SOUPS 87193 WITH SCORE 90311.478
AT ITER 4288 NEW BEST:: SOT 3698821 SOS 3118528 HAS SOPS 1554165 HAS SOUS 234940 HAS SOUPS 87168 WITH SCORE 90286.528
AT ITER 4299 NEW BEST:: SOT 3698053 SOS 3116570 HAS SOPS 1552207 HAS SOUS 234875 HAS SOUPS 87103 WITH SCORE 90219.57
AT ITER 4317 NEW BEST:: SOT 3697663 SOS 3116094 HAS SOPS 1551731 HAS SOUS 234713 HAS SOUPS 86941 WITH SCORE 90057.094
AT ITER 4339 NEW BEST:: SOT 3695295 SOS 3112932 HAS SOPS 1549679 HAS SOUS 234591 HAS SOUPS 86819 WITH SCORE 89931.932
AT ITER 4340 NEW BEST:: SOT 3694072 SOS 3111085 HAS SOPS 1548200 HAS SOUS 234506 HAS SOUPS 86658 WITH SCORE 89769.085
AT ITER 4346 NEW BEST:: SOT 3693625 SOS 3117999 HAS SOPS 1552186 HAS SOUS 234452 HAS SOUPS 86604 WITH SCORE 89721.999
AT ITER 4361 NEW BEST:: SOT 3693359 SOS 3117467 HAS SOPS 1551654 HAS SOUS 234186 HAS SOUPS 86338 WITH SCORE 89455.467
AT ITER 4382 NEW BEST:: SOT 3693219 SOS 3118033 HAS SOPS 1551368 HAS SOUS 234159 HAS SOUPS 86169 WITH SCORE 89287.033
AT ITER 4385 NEW BEST:: SOT 3693191 SOS 3117977 HAS SOPS 1551648 HAS SOUS 234101 HAS SOUPS 86167 WITH SCORE 89284.977
AT ITER 4440 NEW BEST:: SOT 3693121 SOS 3117837 HAS SOPS 1551508 HAS SOUS 234031 HAS SOUPS 86097 WITH SCORE 89214.837
AT ITER 4469 NEW BEST:: SOT 3692676 SOS 3116625 HAS SOPS 1551262 HAS SOUS 233811 HAS SOUPS 86038 WITH SCORE 89154.625
AT ITER 4471 NEW BEST:: SOT 3692676 SOS 3116625 HAS SOPS 1551262 HAS SOUS 233805 HAS SOUPS 86032 WITH SCORE 89148.625
AT ITER 4485 NEW BEST:: SOT 3692676 SOS 3116721 HAS SOPS 1551262 HAS SOUS 233805 HAS SOUPS 86016 WITH SCORE 89132.721
AT ITER 4487 NEW BEST:: SOT 3692874 SOS 3117027 HAS SOPS 1551352 HAS SOUS 233786 HAS SOUPS 85979 WITH SCORE 89096.027
AT ITER 4504 NEW BEST:: SOT 3692874 SOS 3117027 HAS SOPS 1551352 HAS SOUS 233706 HAS SOUPS 85899 WITH SCORE 89016.027
AT ITER 4531 NEW BEST:: SOT 3692874 SOS 3117027 HAS SOPS 1551352 HAS SOUS 233698 HAS SOUPS 85891 WITH SCORE 89008.027
AT ITER 4536 NEW BEST:: SOT 3692601 SOS 3115894 HAS SOPS 1550963 HAS SOUS 233642 HAS SOUPS 85866 WITH SCORE 88981.894
AT ITER 4538 NEW BEST:: SOT 3692601 SOS 3115894 HAS SOPS 1550963 HAS SOUS 233592 HAS SOUPS 85816 WITH SCORE 88931.894
AT ITER 4541 NEW BEST:: SOT 3692390 SOS 3115342 HAS SOPS 1550801 HAS SOUS 233446 HAS SOUPS 85735 WITH SCORE 88850.342
AT ITER 4554 NEW BEST:: SOT 3692368 SOS 3115466 HAS SOPS 1549395 HAS SOUS 233678 HAS SOUPS 85712 WITH SCORE 88827.466
AT ITER 4556 NEW BEST:: SOT 3692134 SOS 3115106 HAS SOPS 1549251 HAS SOUS 233660 HAS SOUPS 85712 WITH SCORE 88827.106
AT ITER 4558 NEW BEST:: SOT 3692134 SOS 3115268 HAS SOPS 1549251 HAS SOUS 233660 HAS SOUPS 85685 WITH SCORE 88800.268
AT ITER 4560 NEW BEST:: SOT 3692134 SOS 3115268 HAS SOPS 1549251 HAS SOUS 233616 HAS SOUPS 85641 WITH SCORE 88756.268
AT ITER 4563 NEW BEST:: SOT 3692384 SOS 3116136 HAS SOPS 1549555 HAS SOUS 233627 HAS SOUPS 85634 WITH SCORE 88750.136
AT ITER 4583 NEW BEST:: SOT 3692384 SOS 3116136 HAS SOPS 1549555 HAS SOUS 233611 HAS SOUPS 85618 WITH SCORE 88734.136
AT ITER 4603 NEW BEST:: SOT 3692300 SOS 3115968 HAS SOPS 1549387 HAS SOUS 233569 HAS SOUPS 85576 WITH SCORE 88691.968
AT ITER 4608 NEW BEST:: SOT 3692506 SOS 3116287 HAS SOPS 1549706 HAS SOUS 233460 HAS SOUPS 85467 WITH SCORE 88583.287
AT ITER 4614 NEW BEST:: SOT 3692590 SOS 3116371 HAS SOPS 1549748 HAS SOUS 233453 HAS SOUPS 85460 WITH SCORE 88576.371
AT ITER 4642 NEW BEST:: SOT 3692590 SOS 3116371 HAS SOPS 1549748 HAS SOUS 233445 HAS SOUPS 85452 WITH SCORE 88568.371
AT ITER 4649 NEW BEST:: SOT 3690275 SOS 3113900 HAS SOPS 1548153 HAS SOUS 233336 HAS SOUPS 85292 WITH SCORE 88405.9
AT ITER 4650 NEW BEST:: SOT 3690187 SOS 3113196 HAS SOPS 1547977 HAS SOUS 233168 HAS SOUPS 85212 WITH SCORE 88325.196
AT ITER 4663 NEW BEST:: SOT 3690177 SOS 3113176 HAS SOPS 1547957 HAS SOUS 233148 HAS SOUPS 85192 WITH SCORE 88305.176
AT ITER 4680 NEW BEST:: SOT 3690163 SOS 3113148 HAS SOPS 1547929 HAS SOUS 233134 HAS SOUPS 85178 WITH SCORE 88291.148
AT ITER 4722 NEW BEST:: SOT 3690163 SOS 3113148 HAS SOPS 1547929 HAS SOUS 233130 HAS SOUPS 85174 WITH SCORE 88287.148
AT ITER 4729 NEW BEST:: SOT 3689878 SOS 3112065 HAS SOPS 1547674 HAS SOUS 232841 HAS SOUPS 85023 WITH SCORE 88135.065
AT ITER 4755 NEW BEST:: SOT 3689878 SOS 3112065 HAS SOPS 1547674 HAS SOUS 232837 HAS SOUPS 85019 WITH SCORE 88131.065
AT ITER 4805 NEW BEST:: SOT 3689878 SOS 3112065 HAS SOPS 1547674 HAS SOUS 232833 HAS SOUPS 85015 WITH SCORE 88127.065
AT ITER 4811 NEW BEST:: SOT 3689858 SOS 3112859 HAS SOPS 1547634 HAS SOUS 232960 HAS SOUPS 85003 WITH SCORE 88115.859
AT ITER 4818 NEW BEST:: SOT 3686470 SOS 3089053 HAS SOPS 1545077 HAS SOUS 233212 HAS SOUPS 84976 WITH SCORE 88065.053
AT ITER 4823 NEW BEST:: SOT 3686382 SOS 3088973 HAS SOPS 1545029 HAS SOUS 233220 HAS SOUPS 84976 WITH SCORE 88064.973
AT ITER 4826 NEW BEST:: SOT 3686382 SOS 3088631 HAS SOPS 1545029 HAS SOUS 233155 HAS SOUPS 84968 WITH SCORE 88056.631
AT ITER 4836 NEW BEST:: SOT 3686299 SOS 3084251 HAS SOPS 1544863 HAS SOUS 232919 HAS SOUPS 84818 WITH SCORE 87902.251
AT ITER 4890 NEW BEST:: SOT 3686321 SOS 3082759 HAS SOPS 1543947 HAS SOUS 232874 HAS SOUPS 84773 WITH SCORE 87855.759
AT ITER 4892 NEW BEST:: SOT 3686302 SOS 3082835 HAS SOPS 1543909 HAS SOUS 232873 HAS SOUPS 84753 WITH SCORE 87835.835
AT ITER 4896 NEW BEST:: SOT 3686060 SOS 3082207 HAS SOPS 1543281 HAS SOUS 232778 HAS SOUPS 84658 WITH SCORE 87740.207
AT ITER 4964 NEW BEST:: SOT 3686043 SOS 3081340 HAS SOPS 1542414 HAS SOUS 232769 HAS SOUPS 84649 WITH SCORE 87730.34
AT ITER 4974 NEW BEST:: SOT 3686050 SOS 3080940 HAS SOPS 1542014 HAS SOUS 232745 HAS SOUPS 84625 WITH SCORE 87705.94
AT ITER 4985 NEW BEST:: SOT 3686050 SOS 3080940 HAS SOPS 1542014 HAS SOUS 232657 HAS SOUPS 84537 WITH SCORE 87617.94
AT ITER 5016 NEW BEST:: SOT 3686131 SOS 3081276 HAS SOPS 1542350 HAS SOUS 232654 HAS SOUPS 84534 WITH SCORE 87615.276
AT ITER 5045 NEW BEST:: SOT 3686131 SOS 3081276 HAS SOPS 1542350 HAS SOUS 232633 HAS SOUPS 84513 WITH SCORE 87594.276
AT ITER 5055 NEW BEST:: SOT 3686154 SOS 3081056 HAS SOPS 1542256 HAS SOUS 232614 HAS SOUPS 84501 WITH SCORE 87582.056
AT ITER 5069 NEW BEST:: SOT 3686105 SOS 3080958 HAS SOPS 1542256 HAS SOUS 232565 HAS SOUPS 84501 WITH SCORE 87581.958
AT ITER 5082 NEW BEST:: SOT 3686102 SOS 3080955 HAS SOPS 1542253 HAS SOUS 232562 HAS SOUPS 84498 WITH SCORE 87578.955
AT ITER 5101 NEW BEST:: SOT 3686057 SOS 3080865 HAS SOPS 1542253 HAS SOUS 232497 HAS SOUPS 84478 WITH SCORE 87558.865
AT ITER 5113 NEW BEST:: SOT 3687107 SOS 3085293 HAS SOPS 1544093 HAS SOUS 232473 HAS SOUPS 84379 WITH SCORE 87464.293
AT ITER 5165 NEW BEST:: SOT 3686985 SOS 3084389 HAS SOPS 1543849 HAS SOUS 232214 HAS SOUPS 84230 WITH SCORE 87314.389
AT ITER 5214 NEW BEST:: SOT 3686889 SOS 3084293 HAS SOPS 1543753 HAS SOUS 232173 HAS SOUPS 84189 WITH SCORE 87273.293
AT ITER 5221 NEW BEST:: SOT 3686848 SOS 3084211 HAS SOPS 1543753 HAS SOUS 232132 HAS SOUPS 84189 WITH SCORE 87273.211
AT ITER 5286 NEW BEST:: SOT 3686728 SOS 3083971 HAS SOPS 1543513 HAS SOUS 231892 HAS SOUPS 83949 WITH SCORE 87032.971
AT ITER 5290 NEW BEST:: SOT 3686684 SOS 3083883 HAS SOPS 1543513 HAS SOUS 231848 HAS SOUPS 83949 WITH SCORE 87032.883
AT ITER 5295 NEW BEST:: SOT 3686662 SOS 3084323 HAS SOPS 1543480 HAS SOUS 231837 HAS SOUPS 83938 WITH SCORE 87022.323
AT ITER 5408 NEW BEST:: SOT 3686654 SOS 3084315 HAS SOPS 1543472 HAS SOUS 231805 HAS SOUPS 83906 WITH SCORE 86990.315
AT ITER 5482 NEW BEST:: SOT 3685128 SOS 3016342 HAS SOPS 1485774 HAS SOUS 231697 HAS SOUPS 83838 WITH SCORE 86854.342
AT ITER 5498 NEW BEST:: SOT 3685040 SOS 3015116 HAS SOPS 1485598 HAS SOUS 231467 HAS SOUPS 83783 WITH SCORE 86798.116
AT ITER 5530 NEW BEST:: SOT 3685083 SOS 3007018 HAS SOPS 1481284 HAS SOUS 231422 HAS SOUPS 83738 WITH SCORE 86745.018
AT ITER 5563 NEW BEST:: SOT 3685122 SOS 3007600 HAS SOPS 1481362 HAS SOUS 231502 HAS SOUPS 83734 WITH SCORE 86741.6
AT ITER 5605 NEW BEST:: SOT 3685515 SOS 3004478 HAS SOPS 1479800 HAS SOUS 231502 HAS SOUPS 83734 WITH SCORE 86738.478
AT ITER 5612 NEW BEST:: SOT 3685487 SOS 3004879 HAS SOPS 1480040 HAS SOUS 231487 HAS SOUPS 83719 WITH SCORE 86723.879
AT ITER 5628 NEW BEST:: SOT 3685487 SOS 3004879 HAS SOPS 1480040 HAS SOUS 231399 HAS SOUPS 83631 WITH SCORE 86635.879
AT ITER 5685 NEW BEST:: SOT 3685530 SOS 3004922 HAS SOPS 1480059 HAS SOUS 231386 HAS SOUPS 83618 WITH SCORE 86622.922
AT ITER 5709 NEW BEST:: SOT 3685340 SOS 3004528 HAS SOPS 1479971 HAS SOUS 231326 HAS SOUPS 83609 WITH SCORE 86613.528
AT ITER 5735 NEW BEST:: SOT 3685338 SOS 3004524 HAS SOPS 1479967 HAS SOUS 231294 HAS SOUPS 83577 WITH SCORE 86581.524
AT ITER 5736 NEW BEST:: SOT 3685312 SOS 3004844 HAS SOPS 1479915 HAS SOUS 231349 HAS SOUPS 83570 WITH SCORE 86574.844
AT ITER 5772 NEW BEST:: SOT 3685282 SOS 3004784 HAS SOPS 1479855 HAS SOUS 231319 HAS SOUPS 83540 WITH SCORE 86544.784
AT ITER 5807 NEW BEST:: SOT 3685353 SOS 3004926 HAS SOPS 1479997 HAS SOUS 231305 HAS SOUPS 83526 WITH SCORE 86530.926
AT ITER 5827 NEW BEST:: SOT 3685281 SOS 3004818 HAS SOPS 1479925 HAS SOUS 231305 HAS SOUPS 83526 WITH SCORE 86530.818
AT ITER 5847 NEW BEST:: SOT 3685252 SOS 3004760 HAS SOPS 1479867 HAS SOUS 231276 HAS SOUPS 83497 WITH SCORE 86501.76
AT ITER 5848 NEW BEST:: SOT 3685252 SOS 3004760 HAS SOPS 1479867 HAS SOUS 231266 HAS SOUPS 83487 WITH SCORE 86491.76
AT ITER 5858 NEW BEST:: SOT 3684805 SOS 3006594 HAS SOPS 1480597 HAS SOUS 231098 HAS SOUPS 83319 WITH SCORE 86325.594
AT ITER 5950 NEW BEST:: SOT 3684739 SOS 3006462 HAS SOPS 1480597 HAS SOUS 231032 HAS SOUPS 83319 WITH SCORE 86325.462
AT ITER 5953 NEW BEST:: SOT 3684739 SOS 3006462 HAS SOPS 1480597 HAS SOUS 230988 HAS SOUPS 83275 WITH SCORE 86281.462
AT ITER 5972 NEW BEST:: SOT 3684683 SOS 3006386 HAS SOPS 1480589 HAS SOUS 230924 HAS SOUPS 83273 WITH SCORE 86279.386
AT ITER 5973 NEW BEST:: SOT 3684683 SOS 3006386 HAS SOPS 1480589 HAS SOUS 230922 HAS SOUPS 83271 WITH SCORE 86277.386
AT ITER 5978 NEW BEST:: SOT 3684611 SOS 3005672 HAS SOPS 1480445 HAS SOUS 230678 HAS SOUPS 83122 WITH SCORE 86127.672
AT ITER 6053 NEW BEST:: SOT 3684581 SOS 3005612 HAS SOPS 1480385 HAS SOUS 230648 HAS SOUPS 83092 WITH SCORE 86097.612
AT ITER 6066 NEW BEST:: SOT 3684832 SOS 3005984 HAS SOPS 1480513 HAS SOUS 230608 HAS SOUPS 83052 WITH SCORE 86057.984
AT ITER 6084 NEW BEST:: SOT 3684832 SOS 3005984 HAS SOPS 1480513 HAS SOUS 230562 HAS SOUPS 83006 WITH SCORE 86011.984
AT ITER 6085 NEW BEST:: SOT 3684773 SOS 3015106 HAS SOPS 1480605 HAS SOUS 230434 HAS SOUPS 82878 WITH SCORE 85893.106
AT ITER 6195 NEW BEST:: SOT 3684655 SOS 3017106 HAS SOPS 1481573 HAS SOUS 230402 HAS SOUPS 82846 WITH SCORE 85863.106
AT ITER 6197 NEW BEST:: SOT 3684655 SOS 3017232 HAS SOPS 1481573 HAS SOUS 230402 HAS SOUPS 82825 WITH SCORE 85842.232
AT ITER 6214 NEW BEST:: SOT 3684556 SOS 3018288 HAS SOPS 1482035 HAS SOUS 230402 HAS SOUPS 82792 WITH SCORE 85810.288
AT ITER 6232 NEW BEST:: SOT 3685030 SOS 3019512 HAS SOPS 1482431 HAS SOUS 230485 HAS SOUPS 82737 WITH SCORE 85756.512
AT ITER 6234 NEW BEST:: SOT 3685030 SOS 3019512 HAS SOPS 1482431 HAS SOUS 230481 HAS SOUPS 82733 WITH SCORE 85752.512
AT ITER 6276 NEW BEST:: SOT 3685025 SOS 3019478 HAS SOPS 1482421 HAS SOUS 230468 HAS SOUPS 82724 WITH SCORE 85743.478
AT ITER 6284 NEW BEST:: SOT 3685014 SOS 3019456 HAS SOPS 1482421 HAS SOUS 230457 HAS SOUPS 82724 WITH SCORE 85743.456
AT ITER 6351 NEW BEST:: SOT 3685147 SOS 3019558 HAS SOPS 1482523 HAS SOUS 230432 HAS SOUPS 82699 WITH SCORE 85718.558
AT ITER 6381 NEW BEST:: SOT 3685147 SOS 3019060 HAS SOPS 1482523 HAS SOUS 230289 HAS SOUPS 82639 WITH SCORE 85658.06
AT ITER 6397 NEW BEST:: SOT 3685100 SOS 3018460 HAS SOPS 1482457 HAS SOUS 230100 HAS SOUPS 82539 WITH SCORE 85557.46
AT ITER 6398 NEW BEST:: SOT 3685100 SOS 3018196 HAS SOPS 1482985 HAS SOUS 229968 HAS SOUPS 82539 WITH SCORE 85557.196
AT ITER 6417 NEW BEST:: SOT 3685358 SOS 3018454 HAS SOPS 1483045 HAS SOUS 229929 HAS SOUPS 82500 WITH SCORE 85518.454
AT ITER 6494 NEW BEST:: SOT 3685274 SOS 3018210 HAS SOPS 1482801 HAS SOUS 229908 HAS SOUPS 82479 WITH SCORE 85497.21
AT ITER 6502 NEW BEST:: SOT 3685274 SOS 3018146 HAS SOPS 1482929 HAS SOUS 229876 HAS SOUPS 82479 WITH SCORE 85497.146
AT ITER 6531 NEW BEST:: SOT 3685435 SOS 3015996 HAS SOPS 1481751 HAS SOUS 229874 HAS SOUPS 82477 WITH SCORE 85492.996
AT ITER 6539 NEW BEST:: SOT 3685385 SOS 3015896 HAS SOPS 1481751 HAS SOUS 229824 HAS SOUPS 82477 WITH SCORE 85492.896
AT ITER 6552 NEW BEST:: SOT 3685616 SOS 3017233 HAS SOPS 1482038 HAS SOUS 229886 HAS SOUPS 82364 WITH SCORE 85381.23300000001
AT ITER 6575 NEW BEST:: SOT 3685076 SOS 3016542 HAS SOPS 1480643 HAS SOUS 229763 HAS SOUPS 82241 WITH SCORE 85257.542
AT ITER 6619 NEW BEST:: SOT 3685062 SOS 3016514 HAS SOPS 1480765 HAS SOUS 229724 HAS SOUPS 82227 WITH SCORE 85243.514
AT ITER 6620 NEW BEST:: SOT 3684880 SOS 3017942 HAS SOPS 1481521 HAS SOUS 229649 HAS SOUPS 82152 WITH SCORE 85169.942
AT ITER 6680 NEW BEST:: SOT 3684906 SOS 3019856 HAS SOPS 1481573 HAS SOUS 229681 HAS SOUPS 82146 WITH SCORE 85165.856
AT ITER 6753 NEW BEST:: SOT 3684906 SOS 3019856 HAS SOPS 1481573 HAS SOUS 229669 HAS SOUPS 82134 WITH SCORE 85153.856
AT ITER 6762 NEW BEST:: SOT 3684906 SOS 3019892 HAS SOPS 1481516 HAS SOUS 229663 HAS SOUPS 82128 WITH SCORE 85147.892
AT ITER 6776 NEW BEST:: SOT 3684906 SOS 3019892 HAS SOPS 1481516 HAS SOUS 229649 HAS SOUPS 82114 WITH SCORE 85133.892
AT ITER 6835 NEW BEST:: SOT 3683378 SOS 3018068 HAS SOPS 1480616 HAS SOUS 229649 HAS SOUPS 82114 WITH SCORE 85132.068
AT ITER 6893 NEW BEST:: SOT 3683572 SOS 3012772 HAS SOPS 1477708 HAS SOUS 229624 HAS SOUPS 82089 WITH SCORE 85101.772
AT ITER 6896 NEW BEST:: SOT 3683533 SOS 3013654 HAS SOPS 1478230 HAS SOUS 229615 HAS SOUPS 82080 WITH SCORE 85093.654
AT ITER 6902 NEW BEST:: SOT 3683522 SOS 3013632 HAS SOPS 1478230 HAS SOUS 229604 HAS SOUPS 82080 WITH SCORE 85093.632
AT ITER 6960 NEW BEST:: SOT 3682888 SOS 3010990 HAS SOPS 1476884 HAS SOUS 229510 HAS SOUPS 82040 WITH SCORE 85050.99
AT ITER 7022 NEW BEST:: SOT 3682888 SOS 3010990 HAS SOPS 1476884 HAS SOUS 229506 HAS SOUPS 82036 WITH SCORE 85046.99
AT ITER 7042 NEW BEST:: SOT 3683432 SOS 3014652 HAS SOPS 1477280 HAS SOUS 229293 HAS SOUPS 81939 WITH SCORE 84953.652
AT ITER 7084 NEW BEST:: SOT 3683432 SOS 3014652 HAS SOPS 1477280 HAS SOUS 229255 HAS SOUPS 81901 WITH SCORE 84915.652
AT ITER 7096 NEW BEST:: SOT 3683982 SOS 3015202 HAS SOPS 1477530 HAS SOUS 229231 HAS SOUPS 81877 WITH SCORE 84892.202
AT ITER 7141 NEW BEST:: SOT 3683982 SOS 3015202 HAS SOPS 1477530 HAS SOUS 229221 HAS SOUPS 81867 WITH SCORE 84882.202
AT ITER 7145 NEW BEST:: SOT 3683982 SOS 3015202 HAS SOPS 1477530 HAS SOUS 229213 HAS SOUPS 81859 WITH SCORE 84874.202
AT ITER 7150 NEW BEST:: SOT 3684057 SOS 3014992 HAS SOPS 1477500 HAS SOUS 229198 HAS SOUPS 81844 WITH SCORE 84858.992
AT ITER 7171 NEW BEST:: SOT 3684090 SOS 3015613 HAS SOPS 1477872 HAS SOUS 229182 HAS SOUPS 81828 WITH SCORE 84843.613
AT ITER 7185 NEW BEST:: SOT 3684040 SOS 3015513 HAS SOPS 1477772 HAS SOUS 229136 HAS SOUPS 81782 WITH SCORE 84797.513
AT ITER 7207 NEW BEST:: SOT 3684040 SOS 3015513 HAS SOPS 1477772 HAS SOUS 229094 HAS SOUPS 81740 WITH SCORE 84755.513
AT ITER 7220 NEW BEST:: SOT 3684036 SOS 3012761 HAS SOPS 1475364 HAS SOUS 229090 HAS SOUPS 81736 WITH SCORE 84748.761
AT ITER 7221 NEW BEST:: SOT 3684240 SOS 3012830 HAS SOPS 1475433 HAS SOUS 228997 HAS SOUPS 81643 WITH SCORE 84655.83
AT ITER 7252 NEW BEST:: SOT 3683928 SOS 3012503 HAS SOPS 1475268 HAS SOUS 228975 HAS SOUPS 81621 WITH SCORE 84633.503
AT ITER 7284 NEW BEST:: SOT 3683970 SOS 3012797 HAS SOPS 1475310 HAS SOUS 228933 HAS SOUPS 81537 WITH SCORE 84549.797
AT ITER 7342 NEW BEST:: SOT 3683970 SOS 3012797 HAS SOPS 1475310 HAS SOUS 228931 HAS SOUPS 81535 WITH SCORE 84547.797
AT ITER 7343 NEW BEST:: SOT 3683970 SOS 3012797 HAS SOPS 1475310 HAS SOUS 228901 HAS SOUPS 81505 WITH SCORE 84517.797
AT ITER 7365 NEW BEST:: SOT 3683974 SOS 3012421 HAS SOPS 1475078 HAS SOUS 228881 HAS SOUPS 81485 WITH SCORE 84497.421
AT ITER 7401 NEW BEST:: SOT 3683954 SOS 3012381 HAS SOPS 1475038 HAS SOUS 228806 HAS SOUPS 81410 WITH SCORE 84422.381
AT ITER 7407 NEW BEST:: SOT 3683954 SOS 3012381 HAS SOPS 1475038 HAS SOUS 228786 HAS SOUPS 81390 WITH SCORE 84402.381
AT ITER 7413 NEW BEST:: SOT 3684380 SOS 3013029 HAS SOPS 1475278 HAS SOUS 228788 HAS SOUPS 81358 WITH SCORE 84371.029
AT ITER 7437 NEW BEST:: SOT 3684124 SOS 3012259 HAS SOPS 1475024 HAS SOUS 228582 HAS SOUPS 81238 WITH SCORE 84250.259
AT ITER 7443 NEW BEST:: SOT 3683761 SOS 3011700 HAS SOPS 1474801 HAS SOUS 228527 HAS SOUPS 81211 WITH SCORE 84222.7
AT ITER 7477 NEW BEST:: SOT 3683685 SOS 3011548 HAS SOPS 1474649 HAS SOUS 228428 HAS SOUPS 81112 WITH SCORE 84123.548
AT ITER 7478 NEW BEST:: SOT 3683685 SOS 3011548 HAS SOPS 1474649 HAS SOUS 228400 HAS SOUPS 81084 WITH SCORE 84095.548
AT ITER 7499 NEW BEST:: SOT 3683685 SOS 3011548 HAS SOPS 1474649 HAS SOUS 228361 HAS SOUPS 81045 WITH SCORE 84056.548
AT ITER 7534 NEW BEST:: SOT 3683685 SOS 3011548 HAS SOPS 1474649 HAS SOUS 228331 HAS SOUPS 81015 WITH SCORE 84026.548
AT ITER 7551 NEW BEST:: SOT 3683615 SOS 3008748 HAS SOPS 1473109 HAS SOUS 228121 HAS SOUPS 80875 WITH SCORE 83883.748
AT ITER 7552 NEW BEST:: SOT 3683599 SOS 3008732 HAS SOPS 1473093 HAS SOUS 228121 HAS SOUPS 80875 WITH SCORE 83883.732
AT ITER 7553 NEW BEST:: SOT 3683624 SOS 3009154 HAS SOPS 1473143 HAS SOUS 228146 HAS SOUPS 80838 WITH SCORE 83847.154
AT ITER 7650 NEW BEST:: SOT 3683219 SOS 3008062 HAS SOPS 1472897 HAS SOUS 227902 HAS SOUPS 80735 WITH SCORE 83743.062
AT ITER 7663 NEW BEST:: SOT 3683164 SOS 3008155 HAS SOPS 1472816 HAS SOUS 227908 HAS SOUPS 80712 WITH SCORE 83720.155
AT ITER 7748 NEW BEST:: SOT 3683179 SOS 3008677 HAS SOPS 1472846 HAS SOUS 227951 HAS SOUPS 80673 WITH SCORE 83681.677
AT ITER 7792 NEW BEST:: SOT 3683179 SOS 3008677 HAS SOPS 1472846 HAS SOUS 227829 HAS SOUPS 80551 WITH SCORE 83559.677
AT ITER 7800 NEW BEST:: SOT 3683179 SOS 3008677 HAS SOPS 1472846 HAS SOUS 227807 HAS SOUPS 80529 WITH SCORE 83537.677
AT ITER 7813 NEW BEST:: SOT 3683019 SOS 3008357 HAS SOPS 1472526 HAS SOUS 227607 HAS SOUPS 80329 WITH SCORE 83337.357
AT ITER 7840 NEW BEST:: SOT 3683019 SOS 3008357 HAS SOPS 1472526 HAS SOUS 227605 HAS SOUPS 80327 WITH SCORE 83335.357
AT ITER 7844 NEW BEST:: SOT 3682958 SOS 3007739 HAS SOPS 1472448 HAS SOUS 227491 HAS SOUPS 80303 WITH SCORE 83310.739
AT ITER 7893 NEW BEST:: SOT 3679978 SOS 3003733 HAS SOPS 1469684 HAS SOUS 227438 HAS SOUPS 80168 WITH SCORE 83171.73300000001
AT ITER 7906 NEW BEST:: SOT 3680045 SOS 2998249 HAS SOPS 1467188 HAS SOUS 227017 HAS SOUPS 79913 WITH SCORE 82911.249
AT ITER 7927 NEW BEST:: SOT 3679990 SOS 2998139 HAS SOPS 1467078 HAS SOUS 226983 HAS SOUPS 79879 WITH SCORE 82877.139
AT ITER 7947 NEW BEST:: SOT 3679852 SOS 2997789 HAS SOPS 1466728 HAS SOUS 226845 HAS SOUPS 79741 WITH SCORE 82738.789
AT ITER 7958 NEW BEST:: SOT 3678420 SOS 2995555 HAS SOPS 1465818 HAS SOUS 226662 HAS SOUPS 79656 WITH SCORE 82651.555
AT ITER 7978 NEW BEST:: SOT 3678286 SOS 2995187 HAS SOPS 1465684 HAS SOUS 226450 HAS SOUPS 79483 WITH SCORE 82478.187
AT ITER 8011 NEW BEST:: SOT 3678285 SOS 2995186 HAS SOPS 1465683 HAS SOUS 226411 HAS SOUPS 79444 WITH SCORE 82439.186
AT ITER 8046 NEW BEST:: SOT 3678268 SOS 2995186 HAS SOPS 1465581 HAS SOUS 226411 HAS SOUPS 79427 WITH SCORE 82422.186
AT ITER 8089 NEW BEST:: SOT 3678320 SOS 2990640 HAS SOPS 1463519 HAS SOUS 226204 HAS SOUPS 79358 WITH SCORE 82348.64
AT ITER 8097 NEW BEST:: SOT 3678426 SOS 2988824 HAS SOPS 1462639 HAS SOUS 226128 HAS SOUPS 79282 WITH SCORE 82270.824
AT ITER 8098 NEW BEST:: SOT 3678185 SOS 2988463 HAS SOPS 1462458 HAS SOUS 226046 HAS SOUPS 79214 WITH SCORE 82202.463
AT ITER 8106 NEW BEST:: SOT 3678125 SOS 2988368 HAS SOPS 1462423 HAS SOUS 226041 HAS SOUPS 79214 WITH SCORE 82202.368
AT ITER 8108 NEW BEST:: SOT 3678125 SOS 2988368 HAS SOPS 1462423 HAS SOUS 226003 HAS SOUPS 79176 WITH SCORE 82164.368
AT ITER 8134 NEW BEST:: SOT 3678083 SOS 2988440 HAS SOPS 1462297 HAS SOUS 226019 HAS SOUPS 79159 WITH SCORE 82147.44
AT ITER 8231 NEW BEST:: SOT 3677998 SOS 2988420 HAS SOPS 1461827 HAS SOUS 226008 HAS SOUPS 79073 WITH SCORE 82061.42
AT ITER 8269 NEW BEST:: SOT 3677900 SOS 2988266 HAS SOPS 1461757 HAS SOUS 225987 HAS SOUPS 79059 WITH SCORE 82047.266
AT ITER 8273 NEW BEST:: SOT 3677910 SOS 2988521 HAS SOPS 1461767 HAS SOUS 225987 HAS SOUPS 79054 WITH SCORE 82042.521
AT ITER 8299 NEW BEST:: SOT 3677804 SOS 2974105 HAS SOPS 1448994 HAS SOUS 225934 HAS SOUPS 79001 WITH SCORE 81975.105
AT ITER 8311 NEW BEST:: SOT 3677764 SOS 2974025 HAS SOPS 1448914 HAS SOUS 225900 HAS SOUPS 78967 WITH SCORE 81941.025
AT ITER 8346 NEW BEST:: SOT 3676966 SOS 2972901 HAS SOPS 1448144 HAS SOUS 225804 HAS SOUPS 78871 WITH SCORE 81843.901
AT ITER 8351 NEW BEST:: SOT 3676625 SOS 2972560 HAS SOPS 1447989 HAS SOUS 225801 HAS SOUPS 78868 WITH SCORE 81840.56
AT ITER 8369 NEW BEST:: SOT 3676609 SOS 2970668 HAS SOPS 1446957 HAS SOUS 225765 HAS SOUPS 78832 WITH SCORE 81802.668
AT ITER 8423 NEW BEST:: SOT 3676600 SOS 2970752 HAS SOPS 1446987 HAS SOUS 225762 HAS SOUPS 78826 WITH SCORE 81796.752
AT ITER 8453 NEW BEST:: SOT 3676263 SOS 2970275 HAS SOPS 1446720 HAS SOUS 225705 HAS SOUPS 78769 WITH SCORE 81739.275
AT ITER 8584 NEW BEST:: SOT 3676325 SOS 2966559 HAS SOPS 1444444 HAS SOUS 225497 HAS SOUPS 78561 WITH SCORE 81527.559
AT ITER 8648 NEW BEST:: SOT 3676336 SOS 2966119 HAS SOPS 1444520 HAS SOUS 225313 HAS SOUPS 78463 WITH SCORE 81429.119
AT ITER 8656 NEW BEST:: SOT 3675957 SOS 2965607 HAS SOPS 1444254 HAS SOUS 225293 HAS SOUPS 78443 WITH SCORE 81408.607
AT ITER 8683 NEW BEST:: SOT 3673071 SOS 2961294 HAS SOPS 1442389 HAS SOUS 225038 HAS SOUPS 78341 WITH SCORE 81302.294
AT ITER 8747 NEW BEST:: SOT 3672974 SOS 2961100 HAS SOPS 1442195 HAS SOUS 224947 HAS SOUPS 78250 WITH SCORE 81211.1
AT ITER 8780 NEW BEST:: SOT 3672974 SOS 2961100 HAS SOPS 1442195 HAS SOUS 224869 HAS SOUPS 78172 WITH SCORE 81133.1
AT ITER 8820 NEW BEST:: SOT 3672974 SOS 2958372 HAS SOPS 1442133 HAS SOUS 224845 HAS SOUPS 78148 WITH SCORE 81106.372
AT ITER 8879 NEW BEST:: SOT 3672179 SOS 2957178 HAS SOPS 1441731 HAS SOUS 224778 HAS SOUPS 78147 WITH SCORE 81104.178
AT ITER 8900 NEW BEST:: SOT 3670048 SOS 2954167 HAS SOPS 1440423 HAS SOUS 224712 HAS SOUPS 78147 WITH SCORE 81101.167
AT ITER 8915 NEW BEST:: SOT 3670587 SOS 2954994 HAS SOPS 1440674 HAS SOUS 224675 HAS SOUPS 78062 WITH SCORE 81016.994
AT ITER 9048 NEW BEST:: SOT 3670475 SOS 2954778 HAS SOPS 1440614 HAS SOUS 224639 HAS SOUPS 78052 WITH SCORE 81006.778
AT ITER 9249 NEW BEST:: SOT 3670459 SOS 2954746 HAS SOPS 1440456 HAS SOUS 224644 HAS SOUPS 78036 WITH SCORE 80990.746
AT ITER 9260 NEW BEST:: SOT 3670459 SOS 2954746 HAS SOPS 1440456 HAS SOUS 224612 HAS SOUPS 78004 WITH SCORE 80958.746
AT ITER 9293 NEW BEST:: SOT 3671825 SOS 2955757 HAS SOPS 1441467 HAS SOUS 224342 HAS SOUPS 77895 WITH SCORE 80850.757
AT ITER 9327 NEW BEST:: SOT 3672023 SOS 2955955 HAS SOPS 1441557 HAS SOUS 224305 HAS SOUPS 77858 WITH SCORE 80813.955
AT ITER 9343 NEW BEST:: SOT 3672023 SOS 2955955 HAS SOPS 1441557 HAS SOUS 224277 HAS SOUPS 77830 WITH SCORE 80785.955
AT ITER 9421 NEW BEST:: SOT 3672023 SOS 2955955 HAS SOPS 1441557 HAS SOUS 224275 HAS SOUPS 77828 WITH SCORE 80783.955
AT ITER 9599 NEW BEST:: SOT 3672572 SOS 2956805 HAS SOPS 1441891 HAS SOUS 224308 HAS SOUPS 77818 WITH SCORE 80774.805
AT ITER 9670 NEW BEST:: SOT 3672572 SOS 2956805 HAS SOPS 1441891 HAS SOUS 224282 HAS SOUPS 77792 WITH SCORE 80748.805
AT ITER 9673 NEW BEST:: SOT 3672572 SOS 2956805 HAS SOPS 1441891 HAS SOUS 224226 HAS SOUPS 77736 WITH SCORE 80692.805
AT ITER 9736 NEW BEST:: SOT 3672572 SOS 2956805 HAS SOPS 1441891 HAS SOUS 224224 HAS SOUPS 77734 WITH SCORE 80690.805
AT ITER 9788 NEW BEST:: SOT 3672572 SOS 2956805 HAS SOPS 1441891 HAS SOUS 224148 HAS SOUPS 77658 WITH SCORE 80614.805
AT ITER 9797 NEW BEST:: SOT 3672572 SOS 2956805 HAS SOPS 1441891 HAS SOUS 224126 HAS SOUPS 77636 WITH SCORE 80592.805
AT ITER 9801 NEW BEST:: SOT 3672573 SOS 2961413 HAS SOPS 1441697 HAS SOUS 224170 HAS SOUPS 77582 WITH SCORE 80543.413
AT ITER 9811 NEW BEST:: SOT 3672572 SOS 2961412 HAS SOPS 1441696 HAS SOUS 224169 HAS SOUPS 77581 WITH SCORE 80542.412
AT ITER 9816 NEW BEST:: SOT 3672870 SOS 2961712 HAS SOPS 1441774 HAS SOUS 224097 HAS SOUPS 77509 WITH SCORE 80470.712
AT ITER 9818 NEW BEST:: SOT 3672870 SOS 2961712 HAS SOPS 1441774 HAS SOUS 224077 HAS SOUPS 77489 WITH SCORE 80450.712
AT ITER 9851 NEW BEST:: SOT 3672870 SOS 2961712 HAS SOPS 1441774 HAS SOUS 224075 HAS SOUPS 77487 WITH SCORE 80448.712
AT ITER 9870 NEW BEST:: SOT 3672858 SOS 2961688 HAS SOPS 1441750 HAS SOUS 224054 HAS SOUPS 77466 WITH SCORE 80427.688
AT ITER 9901 NEW BEST:: SOT 3672842 SOS 2961560 HAS SOPS 1441718 HAS SOUS 223991 HAS SOUPS 77419 WITH SCORE 80380.56

BK_STOP 1589117298596

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 484 Aborted ${SMART} ${INPUT_SM}

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="DLCflexbar-PT-4a"
export BK_EXAMINATION="StateSpace"
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 DLCflexbar-PT-4a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542100376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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