Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484700792.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCround-PT-13b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484700792
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.5M
-rw-r--r-- 1 mcc users 6.3K Feb 25 18:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 18:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 18:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 18:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 18:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 25 18:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 18:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 18:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 2.1M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678428605005

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-13b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 06:10:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 06:10:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 06:10:06] [INFO ] Load time of PNML (sax parser for PT used): 286 ms
[2023-03-10 06:10:06] [INFO ] Transformed 5343 places.
[2023-03-10 06:10:06] [INFO ] Transformed 8727 transitions.
[2023-03-10 06:10:06] [INFO ] Found NUPN structural information;
[2023-03-10 06:10:07] [INFO ] Parsed PT model containing 5343 places and 8727 transitions and 24849 arcs in 542 ms.
[2023-03-10 06:10:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 5343 places, 8727 transitions and 24849 arcs took 54 ms.
Total runtime 625 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 13b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 5343 places, 8727 transitions, 24849 arcs.
AT ITER 0 NEW BEST:: SOT 30665414 SOS 7539059 HAS SOPS 7539059 HAS SOUS 3929360 HAS SOUPS 3929360 WITH SCORE 3936899.059
AT ITER 19 NEW BEST:: SOT 30664401 SOS 7539245 HAS SOPS 7539245 HAS SOUS 3928947 HAS SOUPS 3928947 WITH SCORE 3936486.245
AT ITER 42 NEW BEST:: SOT 30663779 SOS 7539235 HAS SOPS 7539235 HAS SOUS 3928734 HAS SOUPS 3928734 WITH SCORE 3936273.235
AT ITER 56 NEW BEST:: SOT 30662705 SOS 7538294 HAS SOPS 7538294 HAS SOUS 3927660 HAS SOUPS 3927660 WITH SCORE 3935198.294
AT ITER 70 NEW BEST:: SOT 30661724 SOS 7542671 HAS SOPS 7542671 HAS SOUS 3927258 HAS SOUPS 3927258 WITH SCORE 3934800.671
AT ITER 103 NEW BEST:: SOT 30660614 SOS 7541551 HAS SOPS 7541551 HAS SOUS 3926147 HAS SOUPS 3926147 WITH SCORE 3933688.551
AT ITER 105 NEW BEST:: SOT 30660482 SOS 7541287 HAS SOPS 7541287 HAS SOUS 3926015 HAS SOUPS 3926015 WITH SCORE 3933556.287
AT ITER 113 NEW BEST:: SOT 30660482 SOS 7541067 HAS SOPS 7541067 HAS SOUS 3925795 HAS SOUPS 3925795 WITH SCORE 3933336.067
AT ITER 136 NEW BEST:: SOT 30660360 SOS 7540823 HAS SOPS 7540823 HAS SOUS 3925551 HAS SOUPS 3925551 WITH SCORE 3933091.823
AT ITER 138 NEW BEST:: SOT 30659946 SOS 7529402 HAS SOPS 7529402 HAS SOUS 3924723 HAS SOUPS 3924723 WITH SCORE 3932252.402
AT ITER 141 NEW BEST:: SOT 30658873 SOS 7528329 HAS SOPS 7528329 HAS SOUS 3924723 HAS SOUPS 3924723 WITH SCORE 3932251.329
AT ITER 143 NEW BEST:: SOT 30658641 SOS 7528213 HAS SOPS 7528213 HAS SOUS 3924607 HAS SOUPS 3924607 WITH SCORE 3932135.213
AT ITER 166 NEW BEST:: SOT 30658355 SOS 7527927 HAS SOPS 7527927 HAS SOUS 3924321 HAS SOUPS 3924321 WITH SCORE 3931848.927
AT ITER 170 NEW BEST:: SOT 30656607 SOS 7531373 HAS SOPS 7531373 HAS SOUS 3923772 HAS SOUPS 3923772 WITH SCORE 3931303.373
AT ITER 172 NEW BEST:: SOT 30656263 SOS 7530685 HAS SOPS 7530685 HAS SOUS 3923084 HAS SOUPS 3923084 WITH SCORE 3930614.685
AT ITER 185 NEW BEST:: SOT 30656263 SOS 7530895 HAS SOPS 7530895 HAS SOUS 3923082 HAS SOUPS 3923082 WITH SCORE 3930612.895
AT ITER 197 NEW BEST:: SOT 30656182 SOS 7530652 HAS SOPS 7530652 HAS SOUS 3923001 HAS SOUPS 3923001 WITH SCORE 3930531.652
AT ITER 206 NEW BEST:: SOT 30656182 SOS 7529767 HAS SOPS 7529767 HAS SOUS 3923001 HAS SOUPS 3923001 WITH SCORE 3930530.767
AT ITER 233 NEW BEST:: SOT 30656150 SOS 7529799 HAS SOPS 7529799 HAS SOUS 3922969 HAS SOUPS 3922969 WITH SCORE 3930498.799
AT ITER 234 NEW BEST:: SOT 30655924 SOS 7529573 HAS SOPS 7529573 HAS SOUS 3922743 HAS SOUPS 3922743 WITH SCORE 3930272.573
AT ITER 260 NEW BEST:: SOT 30654937 SOS 7528586 HAS SOPS 7528586 HAS SOUS 3921756 HAS SOUPS 3921756 WITH SCORE 3929284.586
AT ITER 265 NEW BEST:: SOT 30654373 SOS 7528581 HAS SOPS 7528581 HAS SOUS 3921750 HAS SOUPS 3921750 WITH SCORE 3929278.581
AT ITER 275 NEW BEST:: SOT 30654373 SOS 7528581 HAS SOPS 7528581 HAS SOUS 3921749 HAS SOUPS 3921749 WITH SCORE 3929277.581
AT ITER 284 NEW BEST:: SOT 30654303 SOS 7528580 HAS SOPS 7528580 HAS SOUS 3921748 HAS SOUPS 3921748 WITH SCORE 3929276.58
AT ITER 295 NEW BEST:: SOT 30653901 SOS 7526858 HAS SOPS 7526858 HAS SOUS 3921345 HAS SOUPS 3921345 WITH SCORE 3928871.858
AT ITER 302 NEW BEST:: SOT 30653677 SOS 7526848 HAS SOPS 7526848 HAS SOUS 3921232 HAS SOUPS 3921232 WITH SCORE 3928758.848
AT ITER 313 NEW BEST:: SOT 30653691 SOS 7526082 HAS SOPS 7526082 HAS SOUS 3920863 HAS SOUPS 3920863 WITH SCORE 3928389.082
AT ITER 314 NEW BEST:: SOT 30652529 SOS 7526907 HAS SOPS 7526907 HAS SOUS 3918538 HAS SOUPS 3918538 WITH SCORE 3926064.907
AT ITER 337 NEW BEST:: SOT 30650957 SOS 7525325 HAS SOPS 7525325 HAS SOUS 3916965 HAS SOUPS 3916965 WITH SCORE 3924490.325
AT ITER 369 NEW BEST:: SOT 30650957 SOS 7524254 HAS SOPS 7524254 HAS SOUS 3916964 HAS SOUPS 3916964 WITH SCORE 3924488.254
AT ITER 372 NEW BEST:: SOT 30650945 SOS 7524220 HAS SOPS 7524220 HAS SOUS 3916939 HAS SOUPS 3916939 WITH SCORE 3924463.22
AT ITER 391 NEW BEST:: SOT 30650146 SOS 7524220 HAS SOPS 7524220 HAS SOUS 3915569 HAS SOUPS 3915569 WITH SCORE 3923093.22
AT ITER 399 NEW BEST:: SOT 30650389 SOS 7522309 HAS SOPS 7522309 HAS SOUS 3915134 HAS SOUPS 3915134 WITH SCORE 3922656.309
AT ITER 421 NEW BEST:: SOT 30649709 SOS 7521626 HAS SOPS 7521626 HAS SOUS 3914453 HAS SOUPS 3914453 WITH SCORE 3921974.626
AT ITER 426 NEW BEST:: SOT 30648971 SOS 7520888 HAS SOPS 7520888 HAS SOUS 3913715 HAS SOUPS 3913715 WITH SCORE 3921235.888
AT ITER 447 NEW BEST:: SOT 30648794 SOS 7520534 HAS SOPS 7520534 HAS SOUS 3912541 HAS SOUPS 3912541 WITH SCORE 3920061.534
AT ITER 460 NEW BEST:: SOT 30648033 SOS 7520524 HAS SOPS 7520524 HAS SOUS 3911962 HAS SOUPS 3911962 WITH SCORE 3919482.524
AT ITER 476 NEW BEST:: SOT 30648349 SOS 7518126 HAS SOPS 7518126 HAS SOUS 3911321 HAS SOUPS 3911321 WITH SCORE 3918839.126
AT ITER 491 NEW BEST:: SOT 30648783 SOS 7517394 HAS SOPS 7517394 HAS SOUS 3910955 HAS SOUPS 3910955 WITH SCORE 3918472.394
AT ITER 515 NEW BEST:: SOT 30646287 SOS 7514881 HAS SOPS 7514881 HAS SOUS 3908458 HAS SOUPS 3908458 WITH SCORE 3915972.881
AT ITER 556 NEW BEST:: SOT 30646020 SOS 7515411 HAS SOPS 7515411 HAS SOUS 3908190 HAS SOUPS 3908190 WITH SCORE 3915705.411
AT ITER 561 NEW BEST:: SOT 30645530 SOS 7514431 HAS SOPS 7514431 HAS SOUS 3907699 HAS SOUPS 3907699 WITH SCORE 3915213.431
AT ITER 567 NEW BEST:: SOT 30644568 SOS 7513469 HAS SOPS 7513469 HAS SOUS 3906737 HAS SOUPS 3906737 WITH SCORE 3914250.469
AT ITER 578 NEW BEST:: SOT 30644568 SOS 7511828 HAS SOPS 7511828 HAS SOUS 3906190 HAS SOUPS 3906190 WITH SCORE 3913701.828
AT ITER 603 NEW BEST:: SOT 30643950 SOS 7510592 HAS SOPS 7510592 HAS SOUS 3904954 HAS SOUPS 3904954 WITH SCORE 3912464.592
AT ITER 616 NEW BEST:: SOT 30643740 SOS 7508942 HAS SOPS 7508942 HAS SOUS 3904427 HAS SOUPS 3904427 WITH SCORE 3911935.942
AT ITER 618 NEW BEST:: SOT 30643196 SOS 7507854 HAS SOPS 7507854 HAS SOUS 3901753 HAS SOUPS 3901753 WITH SCORE 3909260.854
AT ITER 634 NEW BEST:: SOT 30643135 SOS 7507732 HAS SOPS 7507732 HAS SOUS 3901305 HAS SOUPS 3901305 WITH SCORE 3908812.732
AT ITER 635 NEW BEST:: SOT 30643135 SOS 7508562 HAS SOPS 7508562 HAS SOUS 3901304 HAS SOUPS 3901304 WITH SCORE 3908812.562
AT ITER 656 NEW BEST:: SOT 30643007 SOS 7508539 HAS SOPS 7508539 HAS SOUS 3901281 HAS SOUPS 3901281 WITH SCORE 3908789.539
AT ITER 685 NEW BEST:: SOT 30643007 SOS 7508361 HAS SOPS 7508361 HAS SOUS 3901192 HAS SOUPS 3901192 WITH SCORE 3908700.361
AT ITER 688 NEW BEST:: SOT 30642478 SOS 7507303 HAS SOPS 7507303 HAS SOUS 3901107 HAS SOUPS 3901107 WITH SCORE 3908614.303
AT ITER 689 NEW BEST:: SOT 30641221 SOS 7505938 HAS SOPS 7505938 HAS SOUS 3899891 HAS SOUPS 3899891 WITH SCORE 3907396.938
AT ITER 713 NEW BEST:: SOT 30640756 SOS 7506396 HAS SOPS 7506396 HAS SOUS 3899424 HAS SOUPS 3899424 WITH SCORE 3906930.396
AT ITER 725 NEW BEST:: SOT 30639144 SOS 7506853 HAS SOPS 7506853 HAS SOUS 3897812 HAS SOUPS 3897812 WITH SCORE 3905318.853
AT ITER 769 NEW BEST:: SOT 30638252 SOS 7506223 HAS SOPS 7506223 HAS SOUS 3895922 HAS SOUPS 3895922 WITH SCORE 3903428.223
AT ITER 808 NEW BEST:: SOT 30638252 SOS 7507962 HAS SOPS 7507962 HAS SOUS 3895920 HAS SOUPS 3895920 WITH SCORE 3903427.962
AT ITER 815 NEW BEST:: SOT 30638252 SOS 7507802 HAS SOPS 7507802 HAS SOUS 3895840 HAS SOUPS 3895840 WITH SCORE 3903347.802
AT ITER 819 NEW BEST:: SOT 30638591 SOS 7508480 HAS SOPS 7508480 HAS SOUS 3895804 HAS SOUPS 3895804 WITH SCORE 3903312.48
AT ITER 835 NEW BEST:: SOT 30637645 SOS 7503750 HAS SOPS 7503750 HAS SOUS 3893912 HAS SOUPS 3893912 WITH SCORE 3901415.75
AT ITER 870 NEW BEST:: SOT 30637645 SOS 7503750 HAS SOPS 7503750 HAS SOUS 3893891 HAS SOUPS 3893891 WITH SCORE 3901394.75
AT ITER 927 NEW BEST:: SOT 30636035 SOS 7502256 HAS SOPS 7502256 HAS SOUS 3892328 HAS SOUPS 3892328 WITH SCORE 3899830.256
AT ITER 989 NEW BEST:: SOT 30634531 SOS 7493232 HAS SOPS 7493232 HAS SOUS 3890072 HAS SOUPS 3890072 WITH SCORE 3897565.232
AT ITER 1006 NEW BEST:: SOT 30634633 SOS 7494163 HAS SOPS 7494163 HAS SOUS 3889862 HAS SOUPS 3889862 WITH SCORE 3897356.163
AT ITER 1009 NEW BEST:: SOT 30634898 SOS 7492788 HAS SOPS 7492788 HAS SOUS 3889624 HAS SOUPS 3889624 WITH SCORE 3897116.788
AT ITER 1033 NEW BEST:: SOT 30634446 SOS 7489168 HAS SOPS 7489168 HAS SOUS 3888719 HAS SOUPS 3888719 WITH SCORE 3896208.168
AT ITER 1037 NEW BEST:: SOT 30634445 SOS 7489166 HAS SOPS 7489166 HAS SOUS 3888717 HAS SOUPS 3888717 WITH SCORE 3896206.166
AT ITER 1045 NEW BEST:: SOT 30633281 SOS 7488098 HAS SOPS 7488098 HAS SOUS 3887649 HAS SOUPS 3887649 WITH SCORE 3895137.098
AT ITER 1068 NEW BEST:: SOT 30631473 SOS 7486290 HAS SOPS 7486290 HAS SOUS 3885841 HAS SOUPS 3885841 WITH SCORE 3893327.29
AT ITER 1114 NEW BEST:: SOT 30631473 SOS 7484610 HAS SOPS 7484610 HAS SOUS 3885841 HAS SOUPS 3885841 WITH SCORE 3893325.61
AT ITER 1116 NEW BEST:: SOT 30631253 SOS 7485046 HAS SOPS 7485046 HAS SOUS 3885620 HAS SOUPS 3885620 WITH SCORE 3893105.046
AT ITER 1134 NEW BEST:: SOT 30630444 SOS 7481810 HAS SOPS 7481810 HAS SOUS 3884811 HAS SOUPS 3884811 WITH SCORE 3892292.81
AT ITER 1135 NEW BEST:: SOT 30629884 SOS 7481260 HAS SOPS 7481260 HAS SOUS 3884251 HAS SOUPS 3884251 WITH SCORE 3891732.26
AT ITER 1170 NEW BEST:: SOT 30629884 SOS 7481260 HAS SOPS 7481260 HAS SOUS 3884250 HAS SOUPS 3884250 WITH SCORE 3891731.26
AT ITER 1177 NEW BEST:: SOT 30629390 SOS 7481379 HAS SOPS 7481379 HAS SOUS 3884125 HAS SOUPS 3884125 WITH SCORE 3891606.379
AT ITER 1214 NEW BEST:: SOT 30629390 SOS 7481379 HAS SOPS 7481379 HAS SOUS 3884113 HAS SOUPS 3884113 WITH SCORE 3891594.379
AT ITER 1219 NEW BEST:: SOT 30629125 SOS 7483234 HAS SOPS 7483234 HAS SOUS 3883620 HAS SOUPS 3883620 WITH SCORE 3891103.234
AT ITER 1224 NEW BEST:: SOT 30627033 SOS 7484468 HAS SOPS 7484468 HAS SOUS 3882170 HAS SOUPS 3882170 WITH SCORE 3889654.468
AT ITER 1263 NEW BEST:: SOT 30627033 SOS 7485718 HAS SOPS 7485718 HAS SOUS 3882168 HAS SOUPS 3882168 WITH SCORE 3889653.718
AT ITER 1266 NEW BEST:: SOT 30625741 SOS 7484416 HAS SOPS 7484416 HAS SOUS 3880875 HAS SOUPS 3880875 WITH SCORE 3888359.416
AT ITER 1284 NEW BEST:: SOT 30624595 SOS 7485267 HAS SOPS 7485267 HAS SOUS 3878582 HAS SOUPS 3878582 WITH SCORE 3886067.267
AT ITER 1347 NEW BEST:: SOT 30623683 SOS 7483443 HAS SOPS 7483443 HAS SOUS 3876758 HAS SOUPS 3876758 WITH SCORE 3884241.443
AT ITER 1354 NEW BEST:: SOT 30623223 SOS 7482523 HAS SOPS 7482523 HAS SOUS 3875838 HAS SOUPS 3875838 WITH SCORE 3883320.523
AT ITER 1397 NEW BEST:: SOT 30622138 SOS 7481948 HAS SOPS 7481948 HAS SOUS 3875263 HAS SOUPS 3875263 WITH SCORE 3882744.948
AT ITER 1403 NEW BEST:: SOT 30620699 SOS 7480499 HAS SOPS 7480499 HAS SOUS 3873823 HAS SOUPS 3873823 WITH SCORE 3881303.499
AT ITER 1419 NEW BEST:: SOT 30619784 SOS 7479581 HAS SOPS 7479581 HAS SOUS 3872907 HAS SOUPS 3872907 WITH SCORE 3880386.581
AT ITER 1420 NEW BEST:: SOT 30620077 SOS 7478995 HAS SOPS 7478995 HAS SOUS 3872907 HAS SOUPS 3872907 WITH SCORE 3880385.995
AT ITER 1446 NEW BEST:: SOT 30620034 SOS 7478909 HAS SOPS 7478909 HAS SOUS 3872821 HAS SOUPS 3872821 WITH SCORE 3880299.909
AT ITER 1449 NEW BEST:: SOT 30620856 SOS 7482415 HAS SOPS 7482415 HAS SOUS 3872603 HAS SOUPS 3872603 WITH SCORE 3880085.415
AT ITER 1460 NEW BEST:: SOT 30620604 SOS 7481407 HAS SOPS 7481407 HAS SOUS 3872351 HAS SOUPS 3872351 WITH SCORE 3879832.407
AT ITER 1468 NEW BEST:: SOT 30620604 SOS 7480435 HAS SOPS 7480435 HAS SOUS 3872027 HAS SOUPS 3872027 WITH SCORE 3879507.435
AT ITER 1481 NEW BEST:: SOT 30620391 SOS 7479999 HAS SOPS 7479999 HAS SOUS 3870815 HAS SOUPS 3870815 WITH SCORE 3878294.999
AT ITER 1485 NEW BEST:: SOT 30619147 SOS 7480722 HAS SOPS 7480722 HAS SOUS 3868326 HAS SOUPS 3868326 WITH SCORE 3875806.722
AT ITER 1494 NEW BEST:: SOT 30618996 SOS 7480571 HAS SOPS 7480571 HAS SOUS 3868175 HAS SOUPS 3868175 WITH SCORE 3875655.571
AT ITER 1508 NEW BEST:: SOT 30618682 SOS 7480882 HAS SOPS 7480882 HAS SOUS 3867860 HAS SOUPS 3867860 WITH SCORE 3875340.882
AT ITER 1539 NEW BEST:: SOT 30618682 SOS 7479274 HAS SOPS 7479274 HAS SOUS 3867859 HAS SOUPS 3867859 WITH SCORE 3875338.274
AT ITER 1620 NEW BEST:: SOT 30618682 SOS 7480740 HAS SOPS 7480740 HAS SOUS 3867857 HAS SOUPS 3867857 WITH SCORE 3875337.74
AT ITER 1665 NEW BEST:: SOT 30618682 SOS 7482454 HAS SOPS 7482454 HAS SOUS 3867313 HAS SOUPS 3867313 WITH SCORE 3874795.454
AT ITER 1681 NEW BEST:: SOT 30618682 SOS 7482430 HAS SOPS 7482430 HAS SOUS 3867289 HAS SOUPS 3867289 WITH SCORE 3874771.43
AT ITER 1683 NEW BEST:: SOT 30618540 SOS 7482182 HAS SOPS 7482182 HAS SOUS 3867041 HAS SOUPS 3867041 WITH SCORE 3874523.182
AT ITER 1694 NEW BEST:: SOT 30617916 SOS 7482391 HAS SOPS 7482391 HAS SOUS 3866832 HAS SOUPS 3866832 WITH SCORE 3874314.391
AT ITER 1695 NEW BEST:: SOT 30616277 SOS 7481867 HAS SOPS 7481867 HAS SOUS 3865567 HAS SOUPS 3865567 WITH SCORE 3873048.867
AT ITER 1703 NEW BEST:: SOT 30616277 SOS 7478955 HAS SOPS 7478955 HAS SOUS 3865567 HAS SOUPS 3865567 WITH SCORE 3873045.955
AT ITER 1718 NEW BEST:: SOT 30616276 SOS 7480692 HAS SOPS 7480692 HAS SOUS 3865564 HAS SOUPS 3865564 WITH SCORE 3873044.692
AT ITER 1737 NEW BEST:: SOT 30616275 SOS 7481544 HAS SOPS 7481544 HAS SOUS 3865561 HAS SOUPS 3865561 WITH SCORE 3873042.544
AT ITER 1762 NEW BEST:: SOT 30615832 SOS 7486940 HAS SOPS 7486940 HAS SOUS 3865123 HAS SOUPS 3865123 WITH SCORE 3872609.94
AT ITER 1768 NEW BEST:: SOT 30615369 SOS 7487332 HAS SOPS 7487332 HAS SOUS 3864542 HAS SOUPS 3864542 WITH SCORE 3872029.332
AT ITER 1770 NEW BEST:: SOT 30615339 SOS 7487552 HAS SOPS 7487552 HAS SOUS 3864510 HAS SOUPS 3864510 WITH SCORE 3871997.552
AT ITER 1787 NEW BEST:: SOT 30614379 SOS 7487542 HAS SOPS 7487542 HAS SOUS 3863904 HAS SOUPS 3863904 WITH SCORE 3871391.542
AT ITER 1790 NEW BEST:: SOT 30612129 SOS 7489758 HAS SOPS 7489758 HAS SOUS 3861960 HAS SOUPS 3861960 WITH SCORE 3869449.758
AT ITER 1796 NEW BEST:: SOT 30611096 SOS 7488772 HAS SOPS 7488772 HAS SOUS 3860941 HAS SOUPS 3860941 WITH SCORE 3868429.772
AT ITER 1797 NEW BEST:: SOT 30610099 SOS 7486778 HAS SOPS 7486778 HAS SOUS 3858514 HAS SOUPS 3858514 WITH SCORE 3866000.778
AT ITER 1853 NEW BEST:: SOT 30608943 SOS 7494870 HAS SOPS 7494870 HAS SOUS 3857358 HAS SOUPS 3857358 WITH SCORE 3864852.87
AT ITER 1876 NEW BEST:: SOT 30608943 SOS 7493229 HAS SOPS 7493229 HAS SOUS 3856811 HAS SOUPS 3856811 WITH SCORE 3864304.229
AT ITER 1881 NEW BEST:: SOT 30608895 SOS 7493133 HAS SOPS 7493133 HAS SOUS 3856715 HAS SOUPS 3856715 WITH SCORE 3864208.133
AT ITER 1894 NEW BEST:: SOT 30608895 SOS 7493133 HAS SOPS 7493133 HAS SOUS 3856714 HAS SOUPS 3856714 WITH SCORE 3864207.133
AT ITER 1896 NEW BEST:: SOT 30609350 SOS 7492279 HAS SOPS 7492279 HAS SOUS 3856581 HAS SOUPS 3856581 WITH SCORE 3864073.279
AT ITER 1901 NEW BEST:: SOT 30609426 SOS 7494162 HAS SOPS 7494162 HAS SOUS 3855865 HAS SOUPS 3855865 WITH SCORE 3863359.162
AT ITER 1907 NEW BEST:: SOT 30609376 SOS 7497246 HAS SOPS 7497246 HAS SOUS 3855815 HAS SOUPS 3855815 WITH SCORE 3863312.246
AT ITER 1908 NEW BEST:: SOT 30609313 SOS 7497245 HAS SOPS 7497245 HAS SOUS 3855814 HAS SOUPS 3855814 WITH SCORE 3863311.245
AT ITER 1921 NEW BEST:: SOT 30608962 SOS 7497242 HAS SOPS 7497242 HAS SOUS 3855813 HAS SOUPS 3855813 WITH SCORE 3863310.242
AT ITER 1933 NEW BEST:: SOT 30608962 SOS 7497068 HAS SOPS 7497068 HAS SOUS 3855813 HAS SOUPS 3855813 WITH SCORE 3863310.068
AT ITER 1945 NEW BEST:: SOT 30608962 SOS 7496965 HAS SOPS 7496965 HAS SOUS 3855710 HAS SOUPS 3855710 WITH SCORE 3863206.965
AT ITER 1955 NEW BEST:: SOT 30608774 SOS 7500212 HAS SOPS 7500212 HAS SOUS 3855190 HAS SOUPS 3855190 WITH SCORE 3862690.212
AT ITER 1959 NEW BEST:: SOT 30608704 SOS 7500072 HAS SOPS 7500072 HAS SOUS 3854817 HAS SOUPS 3854817 WITH SCORE 3862317.072
AT ITER 1960 NEW BEST:: SOT 30607854 SOS 7498372 HAS SOPS 7498372 HAS SOUS 3852606 HAS SOUPS 3852606 WITH SCORE 3860104.372
AT ITER 1962 NEW BEST:: SOT 30606764 SOS 7497282 HAS SOPS 7497282 HAS SOUS 3851516 HAS SOUPS 3851516 WITH SCORE 3859013.282
AT ITER 1964 NEW BEST:: SOT 30606148 SOS 7496050 HAS SOPS 7496050 HAS SOUS 3849745 HAS SOUPS 3849745 WITH SCORE 3857241.05
AT ITER 1973 NEW BEST:: SOT 30606104 SOS 7496025 HAS SOPS 7496025 HAS SOUS 3849722 HAS SOUPS 3849722 WITH SCORE 3857218.025
AT ITER 1976 NEW BEST:: SOT 30606104 SOS 7496024 HAS SOPS 7496024 HAS SOUS 3849720 HAS SOUPS 3849720 WITH SCORE 3857216.024
AT ITER 1984 NEW BEST:: SOT 30605776 SOS 7495696 HAS SOPS 7495696 HAS SOUS 3849392 HAS SOUPS 3849392 WITH SCORE 3856887.696
AT ITER 2011 NEW BEST:: SOT 30605776 SOS 7495696 HAS SOPS 7495696 HAS SOUS 3849261 HAS SOUPS 3849261 WITH SCORE 3856756.696
AT ITER 2033 NEW BEST:: SOT 30605776 SOS 7496220 HAS SOPS 7496220 HAS SOUS 3849260 HAS SOUPS 3849260 WITH SCORE 3856756.22
AT ITER 2062 NEW BEST:: SOT 30605636 SOS 7496080 HAS SOPS 7496080 HAS SOUS 3849258 HAS SOUPS 3849258 WITH SCORE 3856754.08
AT ITER 2071 NEW BEST:: SOT 30605636 SOS 7495938 HAS SOPS 7495938 HAS SOUS 3849258 HAS SOUPS 3849258 WITH SCORE 3856753.938
AT ITER 2091 NEW BEST:: SOT 30604830 SOS 7495633 HAS SOPS 7495633 HAS SOUS 3848953 HAS SOUPS 3848953 WITH SCORE 3856448.633
AT ITER 2126 NEW BEST:: SOT 30604415 SOS 7494803 HAS SOPS 7494803 HAS SOUS 3848123 HAS SOUPS 3848123 WITH SCORE 3855617.803
AT ITER 2159 NEW BEST:: SOT 30604401 SOS 7494775 HAS SOPS 7494775 HAS SOUS 3848095 HAS SOUPS 3848095 WITH SCORE 3855589.775
AT ITER 2182 NEW BEST:: SOT 30604383 SOS 7494757 HAS SOPS 7494757 HAS SOUS 3848095 HAS SOUPS 3848095 WITH SCORE 3855589.757
AT ITER 2184 NEW BEST:: SOT 30604241 SOS 7494473 HAS SOPS 7494473 HAS SOUS 3847811 HAS SOUPS 3847811 WITH SCORE 3855305.473
AT ITER 2227 NEW BEST:: SOT 30604241 SOS 7494187 HAS SOPS 7494187 HAS SOUS 3847525 HAS SOUPS 3847525 WITH SCORE 3855019.187
AT ITER 2232 NEW BEST:: SOT 30604046 SOS 7493992 HAS SOPS 7493992 HAS SOUS 3847330 HAS SOUPS 3847330 WITH SCORE 3854823.992
AT ITER 2233 NEW BEST:: SOT 30603126 SOS 7493072 HAS SOPS 7493072 HAS SOUS 3846410 HAS SOUPS 3846410 WITH SCORE 3853903.072
AT ITER 2249 NEW BEST:: SOT 30602855 SOS 7493069 HAS SOPS 7493069 HAS SOUS 3846409 HAS SOUPS 3846409 WITH SCORE 3853902.069
AT ITER 2268 NEW BEST:: SOT 30602855 SOS 7493734 HAS SOPS 7493734 HAS SOUS 3846408 HAS SOUPS 3846408 WITH SCORE 3853901.734
AT ITER 2274 NEW BEST:: SOT 30602855 SOS 7497315 HAS SOPS 7497315 HAS SOUS 3846008 HAS SOUPS 3846008 WITH SCORE 3853505.315
AT ITER 2285 NEW BEST:: SOT 30602497 SOS 7496589 HAS SOPS 7496589 HAS SOUS 3845477 HAS SOUPS 3845477 WITH SCORE 3852973.589
AT ITER 2297 NEW BEST:: SOT 30602497 SOS 7495728 HAS SOPS 7495728 HAS SOUS 3845190 HAS SOUPS 3845190 WITH SCORE 3852685.728
AT ITER 2323 NEW BEST:: SOT 30601980 SOS 7495884 HAS SOPS 7495884 HAS SOUS 3844727 HAS SOUPS 3844727 WITH SCORE 3852222.884
AT ITER 2351 NEW BEST:: SOT 30601423 SOS 7495497 HAS SOPS 7495497 HAS SOUS 3844340 HAS SOUPS 3844340 WITH SCORE 3851835.497
AT ITER 2370 NEW BEST:: SOT 30601423 SOS 7496345 HAS SOPS 7496345 HAS SOUS 3844339 HAS SOUPS 3844339 WITH SCORE 3851835.345
AT ITER 2390 NEW BEST:: SOT 30601394 SOS 7496287 HAS SOPS 7496287 HAS SOUS 3844281 HAS SOUPS 3844281 WITH SCORE 3851777.287
AT ITER 2413 NEW BEST:: SOT 30601256 SOS 7497243 HAS SOPS 7497243 HAS SOUS 3844004 HAS SOUPS 3844004 WITH SCORE 3851501.243
AT ITER 2435 NEW BEST:: SOT 30601256 SOS 7497058 HAS SOPS 7497058 HAS SOUS 3844004 HAS SOUPS 3844004 WITH SCORE 3851501.058
AT ITER 2438 NEW BEST:: SOT 30599955 SOS 7496028 HAS SOPS 7496028 HAS SOUS 3842974 HAS SOUPS 3842974 WITH SCORE 3850470.028
AT ITER 2442 NEW BEST:: SOT 30599955 SOS 7497606 HAS SOPS 7497606 HAS SOUS 3842972 HAS SOUPS 3842972 WITH SCORE 3850469.606
AT ITER 2448 NEW BEST:: SOT 30598717 SOS 7497156 HAS SOPS 7497156 HAS SOUS 3842758 HAS SOUPS 3842758 WITH SCORE 3850255.156
AT ITER 2461 NEW BEST:: SOT 30598533 SOS 7497340 HAS SOPS 7497340 HAS SOUS 3842574 HAS SOUPS 3842574 WITH SCORE 3850071.34
AT ITER 2520 NEW BEST:: SOT 30598340 SOS 7497147 HAS SOPS 7497147 HAS SOUS 3842573 HAS SOUPS 3842573 WITH SCORE 3850070.147
AT ITER 2536 NEW BEST:: SOT 30598340 SOS 7496598 HAS SOPS 7496598 HAS SOUS 3842390 HAS SOUPS 3842390 WITH SCORE 3849886.598
AT ITER 2541 NEW BEST:: SOT 30598340 SOS 7496598 HAS SOPS 7496598 HAS SOUS 3842389 HAS SOUPS 3842389 WITH SCORE 3849885.598
AT ITER 2549 NEW BEST:: SOT 30598227 SOS 7496639 HAS SOPS 7496639 HAS SOUS 3842365 HAS SOUPS 3842365 WITH SCORE 3849861.639
AT ITER 2578 NEW BEST:: SOT 30597070 SOS 7495596 HAS SOPS 7495596 HAS SOUS 3841322 HAS SOUPS 3841322 WITH SCORE 3848817.596
AT ITER 2595 NEW BEST:: SOT 30596012 SOS 7503002 HAS SOPS 7503002 HAS SOUS 3840264 HAS SOUPS 3840264 WITH SCORE 3847767.002
AT ITER 2623 NEW BEST:: SOT 30595469 SOS 7501916 HAS SOPS 7501916 HAS SOUS 3839178 HAS SOUPS 3839178 WITH SCORE 3846679.916
AT ITER 2632 NEW BEST:: SOT 30595469 SOS 7501916 HAS SOPS 7501916 HAS SOUS 3838980 HAS SOUPS 3838980 WITH SCORE 3846481.916
AT ITER 2633 NEW BEST:: SOT 30595468 SOS 7501914 HAS SOPS 7501914 HAS SOUS 3838978 HAS SOUPS 3838978 WITH SCORE 3846479.914
AT ITER 2650 NEW BEST:: SOT 30595247 SOS 7501472 HAS SOPS 7501472 HAS SOUS 3838106 HAS SOUPS 3838106 WITH SCORE 3845607.472
AT ITER 2673 NEW BEST:: SOT 30593822 SOS 7485797 HAS SOPS 7485797 HAS SOUS 3835256 HAS SOUPS 3835256 WITH SCORE 3842741.797
AT ITER 2694 NEW BEST:: SOT 30593822 SOS 7485266 HAS SOPS 7485266 HAS SOUS 3835255 HAS SOUPS 3835255 WITH SCORE 3842740.266
AT ITER 2697 NEW BEST:: SOT 30593455 SOS 7484899 HAS SOPS 7484899 HAS SOUS 3834888 HAS SOUPS 3834888 WITH SCORE 3842372.899
AT ITER 2743 NEW BEST:: SOT 30593291 SOS 7486047 HAS SOPS 7486047 HAS SOUS 3834724 HAS SOUPS 3834724 WITH SCORE 3842210.047
AT ITER 2756 NEW BEST:: SOT 30592654 SOS 7486674 HAS SOPS 7486674 HAS SOUS 3834165 HAS SOUPS 3834165 WITH SCORE 3841651.674
AT ITER 2758 NEW BEST:: SOT 30592654 SOS 7487981 HAS SOPS 7487981 HAS SOUS 3834163 HAS SOUPS 3834163 WITH SCORE 3841650.981
AT ITER 2763 NEW BEST:: SOT 30591896 SOS 7487224 HAS SOPS 7487224 HAS SOUS 3833422 HAS SOUPS 3833422 WITH SCORE 3840909.224
AT ITER 2788 NEW BEST:: SOT 30591896 SOS 7487210 HAS SOPS 7487210 HAS SOUS 3833422 HAS SOUPS 3833422 WITH SCORE 3840909.21
AT ITER 2796 NEW BEST:: SOT 30592269 SOS 7485407 HAS SOPS 7485407 HAS SOUS 3833081 HAS SOUPS 3833081 WITH SCORE 3840566.407
AT ITER 2805 NEW BEST:: SOT 30592269 SOS 7485749 HAS SOPS 7485749 HAS SOUS 3832967 HAS SOUPS 3832967 WITH SCORE 3840452.749
AT ITER 2808 NEW BEST:: SOT 30591879 SOS 7485840 HAS SOPS 7485840 HAS SOUS 3832726 HAS SOUPS 3832726 WITH SCORE 3840211.84
AT ITER 2816 NEW BEST:: SOT 30592315 SOS 7484108 HAS SOPS 7484108 HAS SOUS 3832452 HAS SOUPS 3832452 WITH SCORE 3839936.108
AT ITER 2819 NEW BEST:: SOT 30592149 SOS 7483444 HAS SOPS 7483444 HAS SOUS 3832120 HAS SOUPS 3832120 WITH SCORE 3839603.444
AT ITER 2865 NEW BEST:: SOT 30591816 SOS 7482112 HAS SOPS 7482112 HAS SOUS 3831454 HAS SOUPS 3831454 WITH SCORE 3838936.112
AT ITER 2884 NEW BEST:: SOT 30591695 SOS 7484110 HAS SOPS 7484110 HAS SOUS 3831211 HAS SOUPS 3831211 WITH SCORE 3838695.11
AT ITER 2892 NEW BEST:: SOT 30590635 SOS 7485512 HAS SOPS 7485512 HAS SOUS 3829975 HAS SOUPS 3829975 WITH SCORE 3837460.512
AT ITER 2927 NEW BEST:: SOT 30590554 SOS 7485350 HAS SOPS 7485350 HAS SOUS 3829894 HAS SOUPS 3829894 WITH SCORE 3837379.35
AT ITER 2940 NEW BEST:: SOT 30589791 SOS 7485340 HAS SOPS 7485340 HAS SOUS 3829335 HAS SOUPS 3829335 WITH SCORE 3836820.34
AT ITER 2949 NEW BEST:: SOT 30589764 SOS 7485286 HAS SOPS 7485286 HAS SOUS 3829308 HAS SOUPS 3829308 WITH SCORE 3836793.286
AT ITER 2951 NEW BEST:: SOT 30589687 SOS 7485276 HAS SOPS 7485276 HAS SOUS 3829230 HAS SOUPS 3829230 WITH SCORE 3836715.276
AT ITER 2958 NEW BEST:: SOT 30589633 SOS 7485168 HAS SOPS 7485168 HAS SOUS 3829122 HAS SOUPS 3829122 WITH SCORE 3836607.168
AT ITER 2961 NEW BEST:: SOT 30588666 SOS 7485430 HAS SOPS 7485430 HAS SOUS 3828887 HAS SOUPS 3828887 WITH SCORE 3836372.43
AT ITER 2995 NEW BEST:: SOT 30588666 SOS 7484953 HAS SOPS 7484953 HAS SOUS 3828410 HAS SOUPS 3828410 WITH SCORE 3835894.953
AT ITER 3028 NEW BEST:: SOT 30588222 SOS 7484509 HAS SOPS 7484509 HAS SOUS 3827966 HAS SOUPS 3827966 WITH SCORE 3835450.509
AT ITER 3060 NEW BEST:: SOT 30588293 SOS 7484648 HAS SOPS 7484648 HAS SOUS 3826743 HAS SOUPS 3826743 WITH SCORE 3834227.648
AT ITER 3066 NEW BEST:: SOT 30588273 SOS 7487077 HAS SOPS 7487077 HAS SOUS 3826702 HAS SOUPS 3826702 WITH SCORE 3834189.077
AT ITER 3080 NEW BEST:: SOT 30586993 SOS 7484517 HAS SOPS 7484517 HAS SOUS 3824914 HAS SOUPS 3824914 WITH SCORE 3832398.517
AT ITER 3087 NEW BEST:: SOT 30586993 SOS 7484517 HAS SOPS 7484517 HAS SOUS 3824913 HAS SOUPS 3824913 WITH SCORE 3832397.517
AT ITER 3109 NEW BEST:: SOT 30586909 SOS 7484516 HAS SOPS 7484516 HAS SOUS 3824912 HAS SOUPS 3824912 WITH SCORE 3832396.516
AT ITER 3123 NEW BEST:: SOT 30586905 SOS 7484508 HAS SOPS 7484508 HAS SOUS 3824904 HAS SOUPS 3824904 WITH SCORE 3832388.508
AT ITER 3184 NEW BEST:: SOT 30585271 SOS 7476514 HAS SOPS 7476514 HAS SOUS 3822634 HAS SOUPS 3822634 WITH SCORE 3830110.514
AT ITER 3222 NEW BEST:: SOT 30585271 SOS 7476513 HAS SOPS 7476513 HAS SOUS 3822633 HAS SOUPS 3822633 WITH SCORE 3830109.513
AT ITER 3287 NEW BEST:: SOT 30584505 SOS 7475747 HAS SOPS 7475747 HAS SOUS 3821867 HAS SOUPS 3821867 WITH SCORE 3829342.747
AT ITER 3303 NEW BEST:: SOT 30584505 SOS 7476109 HAS SOPS 7476109 HAS SOUS 3821866 HAS SOUPS 3821866 WITH SCORE 3829342.109
AT ITER 3354 NEW BEST:: SOT 30583484 SOS 7475921 HAS SOPS 7475921 HAS SOUS 3821678 HAS SOUPS 3821678 WITH SCORE 3829153.921
AT ITER 3363 NEW BEST:: SOT 30582870 SOS 7474693 HAS SOPS 7474693 HAS SOUS 3820593 HAS SOUPS 3820593 WITH SCORE 3828067.693
AT ITER 3410 NEW BEST:: SOT 30582005 SOS 7474787 HAS SOPS 7474787 HAS SOUS 3819728 HAS SOUPS 3819728 WITH SCORE 3827202.787
AT ITER 3412 NEW BEST:: SOT 30579902 SOS 7478007 HAS SOPS 7478007 HAS SOUS 3818288 HAS SOUPS 3818288 WITH SCORE 3825766.007
AT ITER 3415 NEW BEST:: SOT 30578396 SOS 7477602 HAS SOPS 7477602 HAS SOUS 3817600 HAS SOUPS 3817600 WITH SCORE 3825077.602
AT ITER 3428 NEW BEST:: SOT 30576971 SOS 7477602 HAS SOPS 7477602 HAS SOUS 3815577 HAS SOUPS 3815577 WITH SCORE 3823054.602
AT ITER 3469 NEW BEST:: SOT 30576932 SOS 7477524 HAS SOPS 7477524 HAS SOUS 3815499 HAS SOUPS 3815499 WITH SCORE 3822976.524
AT ITER 3484 NEW BEST:: SOT 30577094 SOS 7475391 HAS SOPS 7475391 HAS SOUS 3815406 HAS SOUPS 3815406 WITH SCORE 3822881.391
AT ITER 3491 NEW BEST:: SOT 30572310 SOS 7470607 HAS SOPS 7470607 HAS SOUS 3810622 HAS SOUPS 3810622 WITH SCORE 3818092.607
AT ITER 3513 NEW BEST:: SOT 30571612 SOS 7470607 HAS SOPS 7470607 HAS SOUS 3810071 HAS SOUPS 3810071 WITH SCORE 3817541.607
AT ITER 3520 NEW BEST:: SOT 30571611 SOS 7470605 HAS SOPS 7470605 HAS SOUS 3810069 HAS SOUPS 3810069 WITH SCORE 3817539.605
AT ITER 3531 NEW BEST:: SOT 30570064 SOS 7468893 HAS SOPS 7468893 HAS SOUS 3808250 HAS SOUPS 3808250 WITH SCORE 3815718.893
AT ITER 3560 NEW BEST:: SOT 30570064 SOS 7470511 HAS SOPS 7470511 HAS SOUS 3808248 HAS SOUPS 3808248 WITH SCORE 3815718.511
AT ITER 3563 NEW BEST:: SOT 30569944 SOS 7469881 HAS SOPS 7469881 HAS SOUS 3807933 HAS SOUPS 3807933 WITH SCORE 3815402.881
AT ITER 3572 NEW BEST:: SOT 30569584 SOS 7469700 HAS SOPS 7469700 HAS SOUS 3807573 HAS SOUPS 3807573 WITH SCORE 3815042.7
AT ITER 3577 NEW BEST:: SOT 30569466 SOS 7472334 HAS SOPS 7472334 HAS SOUS 3807337 HAS SOUPS 3807337 WITH SCORE 3814809.334
AT ITER 3625 NEW BEST:: SOT 30569466 SOS 7473888 HAS SOPS 7473888 HAS SOUS 3805783 HAS SOUPS 3805783 WITH SCORE 3813256.888
AT ITER 3668 NEW BEST:: SOT 30568294 SOS 7473358 HAS SOPS 7473358 HAS SOUS 3804715 HAS SOUPS 3804715 WITH SCORE 3812188.358
AT ITER 3692 NEW BEST:: SOT 30568039 SOS 7473103 HAS SOPS 7473103 HAS SOUS 3804460 HAS SOUPS 3804460 WITH SCORE 3811933.103
AT ITER 3726 NEW BEST:: SOT 30567753 SOS 7473100 HAS SOPS 7473100 HAS SOUS 3804459 HAS SOUPS 3804459 WITH SCORE 3811932.1
AT ITER 3730 NEW BEST:: SOT 30566712 SOS 7472146 HAS SOPS 7472146 HAS SOUS 3803438 HAS SOUPS 3803438 WITH SCORE 3810910.146
AT ITER 3746 NEW BEST:: SOT 30565887 SOS 7470496 HAS SOPS 7470496 HAS SOUS 3801788 HAS SOUPS 3801788 WITH SCORE 3809258.496
AT ITER 3747 NEW BEST:: SOT 30564838 SOS 7469488 HAS SOPS 7469488 HAS SOUS 3800780 HAS SOUPS 3800780 WITH SCORE 3808249.488
AT ITER 3759 NEW BEST:: SOT 30564838 SOS 7469788 HAS SOPS 7469788 HAS SOUS 3800778 HAS SOUPS 3800778 WITH SCORE 3808247.788
AT ITER 3797 NEW BEST:: SOT 30564777 SOS 7469544 HAS SOPS 7469544 HAS SOUS 3800656 HAS SOUPS 3800656 WITH SCORE 3808125.544
AT ITER 3814 NEW BEST:: SOT 30564777 SOS 7469544 HAS SOPS 7469544 HAS SOUS 3800655 HAS SOUPS 3800655 WITH SCORE 3808124.544
AT ITER 3829 NEW BEST:: SOT 30564713 SOS 7470046 HAS SOPS 7470046 HAS SOUS 3800590 HAS SOUPS 3800590 WITH SCORE 3808060.046
AT ITER 3857 NEW BEST:: SOT 30564713 SOS 7470046 HAS SOPS 7470046 HAS SOUS 3800589 HAS SOUPS 3800589 WITH SCORE 3808059.046
AT ITER 3900 NEW BEST:: SOT 30564713 SOS 7468710 HAS SOPS 7468710 HAS SOUS 3800589 HAS SOUPS 3800589 WITH SCORE 3808057.71
AT ITER 3913 NEW BEST:: SOT 30564712 SOS 7468708 HAS SOPS 7468708 HAS SOUS 3800587 HAS SOUPS 3800587 WITH SCORE 3808055.708
AT ITER 3986 NEW BEST:: SOT 30563914 SOS 7468326 HAS SOPS 7468326 HAS SOUS 3800094 HAS SOUPS 3800094 WITH SCORE 3807562.326
AT ITER 4057 NEW BEST:: SOT 30563866 SOS 7468278 HAS SOPS 7468278 HAS SOUS 3800046 HAS SOUPS 3800046 WITH SCORE 3807514.278
AT ITER 4096 NEW BEST:: SOT 30563866 SOS 7468832 HAS SOPS 7468832 HAS SOUS 3800045 HAS SOUPS 3800045 WITH SCORE 3807513.832
AT ITER 4119 NEW BEST:: SOT 30562763 SOS 7463317 HAS SOPS 7463317 HAS SOUS 3797839 HAS SOUPS 3797839 WITH SCORE 3805302.317
AT ITER 4164 NEW BEST:: SOT 30561639 SOS 7462447 HAS SOPS 7462447 HAS SOUS 3796715 HAS SOUPS 3796715 WITH SCORE 3804177.447
AT ITER 4168 NEW BEST:: SOT 30561424 SOS 7462750 HAS SOPS 7462750 HAS SOUS 3796500 HAS SOUPS 3796500 WITH SCORE 3803962.75
AT ITER 4236 NEW BEST:: SOT 30561424 SOS 7462728 HAS SOPS 7462728 HAS SOUS 3796489 HAS SOUPS 3796489 WITH SCORE 3803951.728
AT ITER 4248 NEW BEST:: SOT 30561276 SOS 7462432 HAS SOPS 7462432 HAS SOUS 3796193 HAS SOUPS 3796193 WITH SCORE 3803655.432
AT ITER 4270 NEW BEST:: SOT 30560906 SOS 7463065 HAS SOPS 7463065 HAS SOUS 3795452 HAS SOUPS 3795452 WITH SCORE 3802915.065
AT ITER 4279 NEW BEST:: SOT 30560887 SOS 7463008 HAS SOPS 7463008 HAS SOUS 3795414 HAS SOUPS 3795414 WITH SCORE 3802877.008
AT ITER 4291 NEW BEST:: SOT 30560887 SOS 7463766 HAS SOPS 7463766 HAS SOUS 3795412 HAS SOUPS 3795412 WITH SCORE 3802875.766
AT ITER 4331 NEW BEST:: SOT 30559691 SOS 7464962 HAS SOPS 7464962 HAS SOUS 3794068 HAS SOUPS 3794068 WITH SCORE 3801532.962
AT ITER 4347 NEW BEST:: SOT 30559691 SOS 7464725 HAS SOPS 7464725 HAS SOUS 3794068 HAS SOUPS 3794068 WITH SCORE 3801532.725
AT ITER 4370 NEW BEST:: SOT 30559589 SOS 7463517 HAS SOPS 7463517 HAS SOUS 3793966 HAS SOUPS 3793966 WITH SCORE 3801429.517
AT ITER 4394 NEW BEST:: SOT 30559589 SOS 7463280 HAS SOPS 7463280 HAS SOUS 3793729 HAS SOUPS 3793729 WITH SCORE 3801192.28
AT ITER 4410 NEW BEST:: SOT 30556858 SOS 7459606 HAS SOPS 7459606 HAS SOUS 3790055 HAS SOUPS 3790055 WITH SCORE 3797514.606
AT ITER 4433 NEW BEST:: SOT 30556232 SOS 7459938 HAS SOPS 7459938 HAS SOUS 3789913 HAS SOUPS 3789913 WITH SCORE 3797372.938
AT ITER 4444 NEW BEST:: SOT 30556232 SOS 7463294 HAS SOPS 7463294 HAS SOUS 3789538 HAS SOUPS 3789538 WITH SCORE 3797001.294
AT ITER 4458 NEW BEST:: SOT 30555806 SOS 7462442 HAS SOPS 7462442 HAS SOUS 3789112 HAS SOUPS 3789112 WITH SCORE 3796574.442
AT ITER 4482 NEW BEST:: SOT 30555269 SOS 7462438 HAS SOPS 7462438 HAS SOUS 3788756 HAS SOUPS 3788756 WITH SCORE 3796218.438
AT ITER 4502 NEW BEST:: SOT 30555269 SOS 7462369 HAS SOPS 7462369 HAS SOUS 3788687 HAS SOUPS 3788687 WITH SCORE 3796149.369
AT ITER 4507 NEW BEST:: SOT 30555269 SOS 7462250 HAS SOPS 7462250 HAS SOUS 3788687 HAS SOUPS 3788687 WITH SCORE 3796149.25
AT ITER 4537 NEW BEST:: SOT 30555114 SOS 7464388 HAS SOPS 7464388 HAS SOUS 3788617 HAS SOUPS 3788617 WITH SCORE 3796081.388
AT ITER 4539 NEW BEST:: SOT 30555114 SOS 7464388 HAS SOPS 7464388 HAS SOUS 3788613 HAS SOUPS 3788613 WITH SCORE 3796077.388
AT ITER 4582 NEW BEST:: SOT 30554370 SOS 7461276 HAS SOPS 7461276 HAS SOUS 3787492 HAS SOUPS 3787492 WITH SCORE 3794953.276
AT ITER 4592 NEW BEST:: SOT 30554470 SOS 7468693 HAS SOPS 7468693 HAS SOUS 3786888 HAS SOUPS 3786888 WITH SCORE 3794356.693
AT ITER 4628 NEW BEST:: SOT 30553699 SOS 7467151 HAS SOPS 7467151 HAS SOUS 3784673 HAS SOUPS 3784673 WITH SCORE 3792140.151
AT ITER 4636 NEW BEST:: SOT 30553590 SOS 7466933 HAS SOPS 7466933 HAS SOUS 3784455 HAS SOUPS 3784455 WITH SCORE 3791921.933
AT ITER 4675 NEW BEST:: SOT 30553584 SOS 7466921 HAS SOPS 7466921 HAS SOUS 3784443 HAS SOUPS 3784443 WITH SCORE 3791909.921
AT ITER 4683 NEW BEST:: SOT 30553090 SOS 7466427 HAS SOPS 7466427 HAS SOUS 3784443 HAS SOUPS 3784443 WITH SCORE 3791909.427
AT ITER 4751 NEW BEST:: SOT 30551961 SOS 7465795 HAS SOPS 7465795 HAS SOUS 3783166 HAS SOUPS 3783166 WITH SCORE 3790631.795
AT ITER 4776 NEW BEST:: SOT 30551961 SOS 7466442 HAS SOPS 7466442 HAS SOUS 3783165 HAS SOUPS 3783165 WITH SCORE 3790631.442
AT ITER 4789 NEW BEST:: SOT 30551623 SOS 7465428 HAS SOPS 7465428 HAS SOUS 3782826 HAS SOUPS 3782826 WITH SCORE 3790291.428
AT ITER 4852 NEW BEST:: SOT 30552204 SOS 7464930 HAS SOPS 7464930 HAS SOUS 3782795 HAS SOUPS 3782795 WITH SCORE 3790259.93
AT ITER 4876 NEW BEST:: SOT 30551792 SOS 7464926 HAS SOPS 7464926 HAS SOUS 3782794 HAS SOUPS 3782794 WITH SCORE 3790258.926
AT ITER 4900 NEW BEST:: SOT 30551784 SOS 7464910 HAS SOPS 7464910 HAS SOUS 3782778 HAS SOUPS 3782778 WITH SCORE 3790242.91
AT ITER 4908 NEW BEST:: SOT 30551784 SOS 7464580 HAS SOPS 7464580 HAS SOUS 3782613 HAS SOUPS 3782613 WITH SCORE 3790077.58
AT ITER 4913 NEW BEST:: SOT 30550610 SOS 7463406 HAS SOPS 7463406 HAS SOUS 3781439 HAS SOUPS 3781439 WITH SCORE 3788902.406
AT ITER 4920 NEW BEST:: SOT 30550210 SOS 7463031 HAS SOPS 7463031 HAS SOUS 3781064 HAS SOUPS 3781064 WITH SCORE 3788527.031
AT ITER 4932 NEW BEST:: SOT 30550169 SOS 7462866 HAS SOPS 7462866 HAS SOUS 3781051 HAS SOUPS 3781051 WITH SCORE 3788513.866
AT ITER 4938 NEW BEST:: SOT 30549257 SOS 7462688 HAS SOPS 7462688 HAS SOUS 3780558 HAS SOUPS 3780558 WITH SCORE 3788020.688
AT ITER 4950 NEW BEST:: SOT 30548583 SOS 7462678 HAS SOPS 7462678 HAS SOUS 3780359 HAS SOUPS 3780359 WITH SCORE 3787821.678
AT ITER 4963 NEW BEST:: SOT 30546752 SOS 7461726 HAS SOPS 7461726 HAS SOUS 3779358 HAS SOUPS 3779358 WITH SCORE 3786819.726
AT ITER 4965 NEW BEST:: SOT 30546752 SOS 7461573 HAS SOPS 7461573 HAS SOUS 3779205 HAS SOUPS 3779205 WITH SCORE 3786666.573
AT ITER 4990 NEW BEST:: SOT 30546449 SOS 7461083 HAS SOPS 7461083 HAS SOUS 3778715 HAS SOUPS 3778715 WITH SCORE 3786176.083
AT ITER 5000 NEW BEST:: SOT 30546449 SOS 7461515 HAS SOPS 7461515 HAS SOUS 3778714 HAS SOUPS 3778714 WITH SCORE 3786175.515
AT ITER 5063 NEW BEST:: SOT 30546485 SOS 7461315 HAS SOPS 7461315 HAS SOUS 3778365 HAS SOUPS 3778365 WITH SCORE 3785826.315
AT ITER 5068 NEW BEST:: SOT 30545600 SOS 7461315 HAS SOPS 7461315 HAS SOUS 3776929 HAS SOUPS 3776929 WITH SCORE 3784390.315
AT ITER 5077 NEW BEST:: SOT 30545491 SOS 7461314 HAS SOPS 7461314 HAS SOUS 3776928 HAS SOUPS 3776928 WITH SCORE 3784389.314
AT ITER 5111 NEW BEST:: SOT 30544641 SOS 7460889 HAS SOPS 7460889 HAS SOUS 3776503 HAS SOUPS 3776503 WITH SCORE 3783963.889
AT ITER 5123 NEW BEST:: SOT 30543726 SOS 7460656 HAS SOPS 7460656 HAS SOUS 3776270 HAS SOUPS 3776270 WITH SCORE 3783730.656
AT ITER 5134 NEW BEST:: SOT 30543682 SOS 7460612 HAS SOPS 7460612 HAS SOUS 3776226 HAS SOUPS 3776226 WITH SCORE 3783686.612
AT ITER 5140 NEW BEST:: SOT 30543681 SOS 7462472 HAS SOPS 7462472 HAS SOUS 3776223 HAS SOUPS 3776223 WITH SCORE 3783685.472
AT ITER 5142 NEW BEST:: SOT 30543446 SOS 7462002 HAS SOPS 7462002 HAS SOUS 3775753 HAS SOUPS 3775753 WITH SCORE 3783215.002
AT ITER 5150 NEW BEST:: SOT 30542628 SOS 7461485 HAS SOPS 7461485 HAS SOUS 3774216 HAS SOUPS 3774216 WITH SCORE 3781677.485
AT ITER 5155 NEW BEST:: SOT 30542628 SOS 7463326 HAS SOPS 7463326 HAS SOUS 3774039 HAS SOUPS 3774039 WITH SCORE 3781502.326
AT ITER 5161 NEW BEST:: SOT 30542628 SOS 7463326 HAS SOPS 7463326 HAS SOUS 3772647 HAS SOUPS 3772647 WITH SCORE 3780110.326
AT ITER 5179 NEW BEST:: SOT 30541928 SOS 7461926 HAS SOPS 7461926 HAS SOUS 3772167 HAS SOUPS 3772167 WITH SCORE 3779628.926
AT ITER 5194 NEW BEST:: SOT 30541606 SOS 7461282 HAS SOPS 7461282 HAS SOUS 3771523 HAS SOUPS 3771523 WITH SCORE 3778984.282
AT ITER 5198 NEW BEST:: SOT 30540803 SOS 7461079 HAS SOPS 7461079 HAS SOUS 3771009 HAS SOUPS 3771009 WITH SCORE 3778470.079
AT ITER 5199 NEW BEST:: SOT 30539849 SOS 7469041 HAS SOPS 7469041 HAS SOUS 3770475 HAS SOUPS 3770475 WITH SCORE 3777944.041
AT ITER 5261 NEW BEST:: SOT 30539654 SOS 7469226 HAS SOPS 7469226 HAS SOUS 3770279 HAS SOUPS 3770279 WITH SCORE 3777748.226
AT ITER 5291 NEW BEST:: SOT 30539654 SOS 7469140 HAS SOPS 7469140 HAS SOUS 3770193 HAS SOUPS 3770193 WITH SCORE 3777662.14
AT ITER 5298 NEW BEST:: SOT 30539779 SOS 7469654 HAS SOPS 7469654 HAS SOUS 3769624 HAS SOUPS 3769624 WITH SCORE 3777093.654
AT ITER 5309 NEW BEST:: SOT 30537983 SOS 7467858 HAS SOPS 7467858 HAS SOUS 3767828 HAS SOUPS 3767828 WITH SCORE 3775295.858
AT ITER 5327 NEW BEST:: SOT 30537983 SOS 7464075 HAS SOPS 7464075 HAS SOUS 3767828 HAS SOUPS 3767828 WITH SCORE 3775292.075
AT ITER 5334 NEW BEST:: SOT 30537983 SOS 7464075 HAS SOPS 7464075 HAS SOUS 3767827 HAS SOUPS 3767827 WITH SCORE 3775291.075
AT ITER 5340 NEW BEST:: SOT 30537751 SOS 7464529 HAS SOPS 7464529 HAS SOUS 3767826 HAS SOUPS 3767826 WITH SCORE 3775290.529
AT ITER 5342 NEW BEST:: SOT 30537226 SOS 7465453 HAS SOPS 7465453 HAS SOUS 3767682 HAS SOUPS 3767682 WITH SCORE 3775147.453
AT ITER 5355 NEW BEST:: SOT 30537226 SOS 7465203 HAS SOPS 7465203 HAS SOUS 3767182 HAS SOUPS 3767182 WITH SCORE 3774647.203
AT ITER 5358 NEW BEST:: SOT 30537041 SOS 7465018 HAS SOPS 7465018 HAS SOUS 3766997 HAS SOUPS 3766997 WITH SCORE 3774462.018
AT ITER 5369 NEW BEST:: SOT 30537011 SOS 7464898 HAS SOPS 7464898 HAS SOUS 3766966 HAS SOUPS 3766966 WITH SCORE 3774430.898
AT ITER 5381 NEW BEST:: SOT 30536529 SOS 7463934 HAS SOPS 7463934 HAS SOUS 3766002 HAS SOUPS 3766002 WITH SCORE 3773465.934
AT ITER 5413 NEW BEST:: SOT 30536329 SOS 7463534 HAS SOPS 7463534 HAS SOUS 3765801 HAS SOUPS 3765801 WITH SCORE 3773264.534
AT ITER 5441 NEW BEST:: SOT 30536151 SOS 7463356 HAS SOPS 7463356 HAS SOUS 3765623 HAS SOUPS 3765623 WITH SCORE 3773086.356
AT ITER 5516 NEW BEST:: SOT 30536146 SOS 7463346 HAS SOPS 7463346 HAS SOUS 3765613 HAS SOUPS 3765613 WITH SCORE 3773076.346
AT ITER 5533 NEW BEST:: SOT 30536086 SOS 7463756 HAS SOPS 7463756 HAS SOUS 3765492 HAS SOUPS 3765492 WITH SCORE 3772955.756
AT ITER 5535 NEW BEST:: SOT 30536077 SOS 7464600 HAS SOPS 7464600 HAS SOUS 3765483 HAS SOUPS 3765483 WITH SCORE 3772947.6
AT ITER 5543 NEW BEST:: SOT 30534696 SOS 7464136 HAS SOPS 7464136 HAS SOUS 3764868 HAS SOUPS 3764868 WITH SCORE 3772332.136
AT ITER 5548 NEW BEST:: SOT 30534592 SOS 7464135 HAS SOPS 7464135 HAS SOUS 3764867 HAS SOUPS 3764867 WITH SCORE 3772331.135
AT ITER 5591 NEW BEST:: SOT 30533858 SOS 7469273 HAS SOPS 7469273 HAS SOUS 3764133 HAS SOUPS 3764133 WITH SCORE 3771602.273
AT ITER 5615 NEW BEST:: SOT 30532327 SOS 7473581 HAS SOPS 7473581 HAS SOUS 3763173 HAS SOUPS 3763173 WITH SCORE 3770646.581
AT ITER 5616 NEW BEST:: SOT 30531756 SOS 7474149 HAS SOPS 7474149 HAS SOUS 3762601 HAS SOUPS 3762601 WITH SCORE 3770075.149
AT ITER 5619 NEW BEST:: SOT 30531585 SOS 7474055 HAS SOPS 7474055 HAS SOUS 3762507 HAS SOUPS 3762507 WITH SCORE 3769981.055
AT ITER 5636 NEW BEST:: SOT 30531585 SOS 7474055 HAS SOPS 7474055 HAS SOUS 3762506 HAS SOUPS 3762506 WITH SCORE 3769980.055
AT ITER 5637 NEW BEST:: SOT 30531585 SOS 7475584 HAS SOPS 7475584 HAS SOUS 3761994 HAS SOUPS 3761994 WITH SCORE 3769469.584
AT ITER 5645 NEW BEST:: SOT 30530344 SOS 7474343 HAS SOPS 7474343 HAS SOUS 3760753 HAS SOUPS 3760753 WITH SCORE 3768227.343
AT ITER 5659 NEW BEST:: SOT 30530306 SOS 7474267 HAS SOPS 7474267 HAS SOUS 3760677 HAS SOUPS 3760677 WITH SCORE 3768151.267
AT ITER 5664 NEW BEST:: SOT 30530306 SOS 7472431 HAS SOPS 7472431 HAS SOUS 3760677 HAS SOUPS 3760677 WITH SCORE 3768149.431
AT ITER 5683 NEW BEST:: SOT 30530346 SOS 7472508 HAS SOPS 7472508 HAS SOUS 3760676 HAS SOUPS 3760676 WITH SCORE 3768148.508
AT ITER 5735 NEW BEST:: SOT 30530346 SOS 7472506 HAS SOPS 7472506 HAS SOUS 3760676 HAS SOUPS 3760676 WITH SCORE 3768148.506
AT ITER 5751 NEW BEST:: SOT 30530346 SOS 7474215 HAS SOPS 7474215 HAS SOUS 3760104 HAS SOUPS 3760104 WITH SCORE 3767578.215
AT ITER 5765 NEW BEST:: SOT 30530346 SOS 7474733 HAS SOPS 7474733 HAS SOUS 3760102 HAS SOUPS 3760102 WITH SCORE 3767576.733
AT ITER 5810 NEW BEST:: SOT 30529798 SOS 7475277 HAS SOPS 7475277 HAS SOUS 3759005 HAS SOUPS 3759005 WITH SCORE 3766480.277
AT ITER 5818 NEW BEST:: SOT 30529691 SOS 7475261 HAS SOPS 7475261 HAS SOUS 3758964 HAS SOUPS 3758964 WITH SCORE 3766439.261
AT ITER 5858 NEW BEST:: SOT 30528644 SOS 7473167 HAS SOPS 7473167 HAS SOUS 3756870 HAS SOUPS 3756870 WITH SCORE 3764343.167
AT ITER 5892 NEW BEST:: SOT 30528643 SOS 7473165 HAS SOPS 7473165 HAS SOUS 3756868 HAS SOUPS 3756868 WITH SCORE 3764341.165
AT ITER 5928 NEW BEST:: SOT 30528300 SOS 7473761 HAS SOPS 7473761 HAS SOUS 3756708 HAS SOUPS 3756708 WITH SCORE 3764181.761
AT ITER 5940 NEW BEST:: SOT 30527857 SOS 7474446 HAS SOPS 7474446 HAS SOUS 3755821 HAS SOUPS 3755821 WITH SCORE 3763295.446
AT ITER 5946 NEW BEST:: SOT 30527110 SOS 7474442 HAS SOPS 7474442 HAS SOUS 3755820 HAS SOUPS 3755820 WITH SCORE 3763294.442
AT ITER 5948 NEW BEST:: SOT 30527110 SOS 7474966 HAS SOPS 7474966 HAS SOUS 3755819 HAS SOUPS 3755819 WITH SCORE 3763293.966
AT ITER 5961 NEW BEST:: SOT 30527044 SOS 7474834 HAS SOPS 7474834 HAS SOUS 3755753 HAS SOUPS 3755753 WITH SCORE 3763227.834
AT ITER 5965 NEW BEST:: SOT 30526091 SOS 7472928 HAS SOPS 7472928 HAS SOUS 3753530 HAS SOUPS 3753530 WITH SCORE 3761002.928
AT ITER 5984 NEW BEST:: SOT 30525485 SOS 7473214 HAS SOPS 7473214 HAS SOUS 3753369 HAS SOUPS 3753369 WITH SCORE 3760842.214
AT ITER 5991 NEW BEST:: SOT 30525485 SOS 7473085 HAS SOPS 7473085 HAS SOUS 3753240 HAS SOUPS 3753240 WITH SCORE 3760713.085
AT ITER 6004 NEW BEST:: SOT 30525485 SOS 7472008 HAS SOPS 7472008 HAS SOUS 3752881 HAS SOUPS 3752881 WITH SCORE 3760353.008
AT ITER 6011 NEW BEST:: SOT 30525174 SOS 7472173 HAS SOPS 7472173 HAS SOUS 3752559 HAS SOUPS 3752559 WITH SCORE 3760031.173
AT ITER 6021 NEW BEST:: SOT 30524301 SOS 7471300 HAS SOPS 7471300 HAS SOUS 3752559 HAS SOUPS 3752559 WITH SCORE 3760030.3
AT ITER 6063 NEW BEST:: SOT 30524301 SOS 7467097 HAS SOPS 7467097 HAS SOUS 3752559 HAS SOUPS 3752559 WITH SCORE 3760026.097
AT ITER 6065 NEW BEST:: SOT 30524301 SOS 7468497 HAS SOPS 7468497 HAS SOUS 3752557 HAS SOUPS 3752557 WITH SCORE 3760025.497
AT ITER 6088 NEW BEST:: SOT 30524301 SOS 7468497 HAS SOPS 7468497 HAS SOUS 3752556 HAS SOUPS 3752556 WITH SCORE 3760024.497
AT ITER 6096 NEW BEST:: SOT 30523420 SOS 7468494 HAS SOPS 7468494 HAS SOUS 3750793 HAS SOUPS 3750793 WITH SCORE 3758261.494
AT ITER 6105 NEW BEST:: SOT 30522888 SOS 7467825 HAS SOPS 7467825 HAS SOUS 3750124 HAS SOUPS 3750124 WITH SCORE 3757591.825
AT ITER 6117 NEW BEST:: SOT 30522675 SOS 7467399 HAS SOPS 7467399 HAS SOUS 3749523 HAS SOUPS 3749523 WITH SCORE 3756990.399
AT ITER 6128 NEW BEST:: SOT 30522783 SOS 7467615 HAS SOPS 7467615 HAS SOUS 3749410 HAS SOUPS 3749410 WITH SCORE 3756877.615
AT ITER 6133 NEW BEST:: SOT 30522783 SOS 7466943 HAS SOPS 7466943 HAS SOUS 3749248 HAS SOUPS 3749248 WITH SCORE 3756714.943
AT ITER 6141 NEW BEST:: SOT 30521260 SOS 7463897 HAS SOPS 7463897 HAS SOUS 3745856 HAS SOUPS 3745856 WITH SCORE 3753319.897
AT ITER 6149 NEW BEST:: SOT 30521007 SOS 7463544 HAS SOPS 7463544 HAS SOUS 3745503 HAS SOUPS 3745503 WITH SCORE 3752966.544
AT ITER 6172 NEW BEST:: SOT 30520298 SOS 7464253 HAS SOPS 7464253 HAS SOUS 3745502 HAS SOUPS 3745502 WITH SCORE 3752966.253
AT ITER 6176 NEW BEST:: SOT 30520146 SOS 7463949 HAS SOPS 7463949 HAS SOUS 3745198 HAS SOUPS 3745198 WITH SCORE 3752661.949
AT ITER 6182 NEW BEST:: SOT 30519116 SOS 7463677 HAS SOPS 7463677 HAS SOUS 3744168 HAS SOUPS 3744168 WITH SCORE 3751631.677
AT ITER 6196 NEW BEST:: SOT 30518922 SOS 7463289 HAS SOPS 7463289 HAS SOUS 3743780 HAS SOUPS 3743780 WITH SCORE 3751243.289
AT ITER 6209 NEW BEST:: SOT 30518922 SOS 7463279 HAS SOPS 7463279 HAS SOUS 3743779 HAS SOUPS 3743779 WITH SCORE 3751242.279
AT ITER 6217 NEW BEST:: SOT 30518921 SOS 7463277 HAS SOPS 7463277 HAS SOUS 3743777 HAS SOUPS 3743777 WITH SCORE 3751240.277
AT ITER 6218 NEW BEST:: SOT 30518077 SOS 7462429 HAS SOPS 7462429 HAS SOUS 3742932 HAS SOUPS 3742932 WITH SCORE 3750394.429
AT ITER 6320 NEW BEST:: SOT 30518077 SOS 7461821 HAS SOPS 7461821 HAS SOUS 3742780 HAS SOUPS 3742780 WITH SCORE 3750241.821
AT ITER 6333 NEW BEST:: SOT 30517673 SOS 7462215 HAS SOPS 7462215 HAS SOUS 3742375 HAS SOUPS 3742375 WITH SCORE 3749837.215
AT ITER 6339 NEW BEST:: SOT 30517017 SOS 7462205 HAS SOPS 7462205 HAS SOUS 3742230 HAS SOUPS 3742230 WITH SCORE 3749692.205
AT ITER 6351 NEW BEST:: SOT 30515808 SOS 7463950 HAS SOPS 7463950 HAS SOUS 3741991 HAS SOUPS 3741991 WITH SCORE 3749454.95
AT ITER 6377 NEW BEST:: SOT 30515798 SOS 7463930 HAS SOPS 7463930 HAS SOUS 3741971 HAS SOUPS 3741971 WITH SCORE 3749434.93
AT ITER 6439 NEW BEST:: SOT 30515146 SOS 7462626 HAS SOPS 7462626 HAS SOUS 3740588 HAS SOUPS 3740588 WITH SCORE 3748050.626
AT ITER 6442 NEW BEST:: SOT 30515072 SOS 7462588 HAS SOPS 7462588 HAS SOUS 3740533 HAS SOUPS 3740533 WITH SCORE 3747995.588
AT ITER 6460 NEW BEST:: SOT 30514069 SOS 7460582 HAS SOPS 7460582 HAS SOUS 3739412 HAS SOUPS 3739412 WITH SCORE 3746872.582
AT ITER 6484 NEW BEST:: SOT 30513743 SOS 7461410 HAS SOPS 7461410 HAS SOUS 3739231 HAS SOUPS 3739231 WITH SCORE 3746692.41
AT ITER 6488 NEW BEST:: SOT 30513768 SOS 7461385 HAS SOPS 7461385 HAS SOUS 3739206 HAS SOUPS 3739206 WITH SCORE 3746667.385
AT ITER 6489 NEW BEST:: SOT 30513685 SOS 7461219 HAS SOPS 7461219 HAS SOUS 3739040 HAS SOUPS 3739040 WITH SCORE 3746501.219
AT ITER 6513 NEW BEST:: SOT 30513537 SOS 7461071 HAS SOPS 7461071 HAS SOUS 3738892 HAS SOUPS 3738892 WITH SCORE 3746353.071
AT ITER 6553 NEW BEST:: SOT 30513199 SOS 7458367 HAS SOPS 7458367 HAS SOUS 3738554 HAS SOUPS 3738554 WITH SCORE 3746012.367
AT ITER 6584 NEW BEST:: SOT 30513199 SOS 7457206 HAS SOPS 7457206 HAS SOUS 3738554 HAS SOUPS 3738554 WITH SCORE 3746011.206
AT ITER 6612 NEW BEST:: SOT 30512967 SOS 7457023 HAS SOPS 7457023 HAS SOUS 3738041 HAS SOUPS 3738041 WITH SCORE 3745498.023
AT ITER 6657 NEW BEST:: SOT 30512659 SOS 7456407 HAS SOPS 7456407 HAS SOUS 3737731 HAS SOUPS 3737731 WITH SCORE 3745187.407
AT ITER 6662 NEW BEST:: SOT 30512659 SOS 7456407 HAS SOPS 7456407 HAS SOUS 3737669 HAS SOUPS 3737669 WITH SCORE 3745125.407
AT ITER 6680 NEW BEST:: SOT 30512543 SOS 7456489 HAS SOPS 7456489 HAS SOUS 3737553 HAS SOUPS 3737553 WITH SCORE 3745009.489
AT ITER 6708 NEW BEST:: SOT 30512396 SOS 7457044 HAS SOPS 7457044 HAS SOUS 3737405 HAS SOUPS 3737405 WITH SCORE 3744862.044
AT ITER 6723 NEW BEST:: SOT 30512045 SOS 7457395 HAS SOPS 7457395 HAS SOUS 3737404 HAS SOUPS 3737404 WITH SCORE 3744861.395
AT ITER 6726 NEW BEST:: SOT 30511022 SOS 7458397 HAS SOPS 7458397 HAS SOUS 3737296 HAS SOUPS 3737296 WITH SCORE 3744754.397
AT ITER 6736 NEW BEST:: SOT 30510915 SOS 7458163 HAS SOPS 7458163 HAS SOUS 3737062 HAS SOUPS 3737062 WITH SCORE 3744520.163
AT ITER 6767 NEW BEST:: SOT 30510641 SOS 7451835 HAS SOPS 7451835 HAS SOUS 3735936 HAS SOUPS 3735936 WITH SCORE 3743387.835
AT ITER 6772 NEW BEST:: SOT 30510606 SOS 7451800 HAS SOPS 7451800 HAS SOUS 3735901 HAS SOUPS 3735901 WITH SCORE 3743352.8
AT ITER 6785 NEW BEST:: SOT 30510052 SOS 7446814 HAS SOPS 7446814 HAS SOUS 3734793 HAS SOUPS 3734793 WITH SCORE 3742239.814
AT ITER 6802 NEW BEST:: SOT 30510244 SOS 7447198 HAS SOPS 7447198 HAS SOUS 3734667 HAS SOUPS 3734667 WITH SCORE 3742114.198
AT ITER 6813 NEW BEST:: SOT 30510181 SOS 7447312 HAS SOPS 7447312 HAS SOUS 3734621 HAS SOUPS 3734621 WITH SCORE 3742068.312
AT ITER 6818 NEW BEST:: SOT 30510181 SOS 7447312 HAS SOPS 7447312 HAS SOUS 3734593 HAS SOUPS 3734593 WITH SCORE 3742040.312
AT ITER 6837 NEW BEST:: SOT 30510181 SOS 7447312 HAS SOPS 7447312 HAS SOUS 3734592 HAS SOUPS 3734592 WITH SCORE 3742039.312
AT ITER 6856 NEW BEST:: SOT 30510289 SOS 7447096 HAS SOPS 7447096 HAS SOUS 3734592 HAS SOUPS 3734592 WITH SCORE 3742039.096
AT ITER 6884 NEW BEST:: SOT 30510203 SOS 7446912 HAS SOPS 7446912 HAS SOUS 3734303 HAS SOUPS 3734303 WITH SCORE 3741749.912
AT ITER 6894 NEW BEST:: SOT 30510155 SOS 7446802 HAS SOPS 7446802 HAS SOUS 3734292 HAS SOUPS 3734292 WITH SCORE 3741738.802
AT ITER 6895 NEW BEST:: SOT 30507372 SOS 7443186 HAS SOPS 7443186 HAS SOUS 3731139 HAS SOUPS 3731139 WITH SCORE 3738582.186
AT ITER 6913 NEW BEST:: SOT 30507263 SOS 7442968 HAS SOPS 7442968 HAS SOUS 3730921 HAS SOUPS 3730921 WITH SCORE 3738363.968
AT ITER 6916 NEW BEST:: SOT 30507221 SOS 7442506 HAS SOPS 7442506 HAS SOUS 3730837 HAS SOUPS 3730837 WITH SCORE 3738279.506
AT ITER 6960 NEW BEST:: SOT 30506759 SOS 7442041 HAS SOPS 7442041 HAS SOUS 3730374 HAS SOUPS 3730374 WITH SCORE 3737816.041
AT ITER 6981 NEW BEST:: SOT 30506043 SOS 7440609 HAS SOPS 7440609 HAS SOUS 3729300 HAS SOUPS 3729300 WITH SCORE 3736740.609
AT ITER 7028 NEW BEST:: SOT 30506043 SOS 7440494 HAS SOPS 7440494 HAS SOUS 3729300 HAS SOUPS 3729300 WITH SCORE 3736740.494
AT ITER 7052 NEW BEST:: SOT 30506043 SOS 7440493 HAS SOPS 7440493 HAS SOUS 3728941 HAS SOUPS 3728941 WITH SCORE 3736381.493
AT ITER 7066 NEW BEST:: SOT 30506071 SOS 7442016 HAS SOPS 7442016 HAS SOUS 3728592 HAS SOUPS 3728592 WITH SCORE 3736034.016
AT ITER 7070 NEW BEST:: SOT 30505932 SOS 7441460 HAS SOPS 7441460 HAS SOUS 3728314 HAS SOUPS 3728314 WITH SCORE 3735755.46
AT ITER 7079 NEW BEST:: SOT 30505932 SOS 7439882 HAS SOPS 7439882 HAS SOUS 3727788 HAS SOUPS 3727788 WITH SCORE 3735227.882
AT ITER 7133 NEW BEST:: SOT 30505676 SOS 7438108 HAS SOPS 7438108 HAS SOUS 3727532 HAS SOUPS 3727532 WITH SCORE 3734970.108
AT ITER 7150 NEW BEST:: SOT 30505229 SOS 7440287 HAS SOPS 7440287 HAS SOUS 3726543 HAS SOUPS 3726543 WITH SCORE 3733983.287
AT ITER 7166 NEW BEST:: SOT 30504189 SOS 7439378 HAS SOPS 7439378 HAS SOUS 3725634 HAS SOUPS 3725634 WITH SCORE 3733073.378
AT ITER 7172 NEW BEST:: SOT 30501829 SOS 7437018 HAS SOPS 7437018 HAS SOUS 3723274 HAS SOUPS 3723274 WITH SCORE 3730711.018
AT ITER 7173 NEW BEST:: SOT 30501771 SOS 7436902 HAS SOPS 7436902 HAS SOUS 3723158 HAS SOUPS 3723158 WITH SCORE 3730594.902
AT ITER 7183 NEW BEST:: SOT 30501878 SOS 7436316 HAS SOPS 7436316 HAS SOUS 3722571 HAS SOUPS 3722571 WITH SCORE 3730007.316
AT ITER 7185 NEW BEST:: SOT 30501878 SOS 7435640 HAS SOPS 7435640 HAS SOUS 3721895 HAS SOUPS 3721895 WITH SCORE 3729330.64
AT ITER 7196 NEW BEST:: SOT 30497701 SOS 7432030 HAS SOPS 7432030 HAS SOUS 3717773 HAS SOUPS 3717773 WITH SCORE 3725205.03
AT ITER 7217 NEW BEST:: SOT 30497285 SOS 7433069 HAS SOPS 7433069 HAS SOUS 3716940 HAS SOUPS 3716940 WITH SCORE 3724373.069
AT ITER 7234 NEW BEST:: SOT 30496836 SOS 7432171 HAS SOPS 7432171 HAS SOUS 3716491 HAS SOUPS 3716491 WITH SCORE 3723923.171
AT ITER 7235 NEW BEST:: SOT 30496237 SOS 7431833 HAS SOPS 7431833 HAS SOUS 3716155 HAS SOUPS 3716155 WITH SCORE 3723586.833
AT ITER 7276 NEW BEST:: SOT 30495870 SOS 7434392 HAS SOPS 7434392 HAS SOUS 3715420 HAS SOUPS 3715420 WITH SCORE 3722854.392
AT ITER 7298 NEW BEST:: SOT 30495814 SOS 7434280 HAS SOPS 7434280 HAS SOUS 3715308 HAS SOUPS 3715308 WITH SCORE 3722742.28
AT ITER 7301 NEW BEST:: SOT 30495349 SOS 7434738 HAS SOPS 7434738 HAS SOUS 3714841 HAS SOUPS 3714841 WITH SCORE 3722275.738
AT ITER 7317 NEW BEST:: SOT 30494329 SOS 7433770 HAS SOPS 7433770 HAS SOUS 3712769 HAS SOUPS 3712769 WITH SCORE 3720202.77
AT ITER 7339 NEW BEST:: SOT 30493572 SOS 7429510 HAS SOPS 7429510 HAS SOUS 3712326 HAS SOUPS 3712326 WITH SCORE 3719755.51
AT ITER 7374 NEW BEST:: SOT 30493434 SOS 7429234 HAS SOPS 7429234 HAS SOUS 3712050 HAS SOUPS 3712050 WITH SCORE 3719479.234
AT ITER 7378 NEW BEST:: SOT 30493434 SOS 7429152 HAS SOPS 7429152 HAS SOUS 3712050 HAS SOUPS 3712050 WITH SCORE 3719479.152
AT ITER 7434 NEW BEST:: SOT 30493484 SOS 7435560 HAS SOPS 7435560 HAS SOUS 3711724 HAS SOUPS 3711724 WITH SCORE 3719159.56
AT ITER 7445 NEW BEST:: SOT 30493483 SOS 7435351 HAS SOPS 7435351 HAS SOUS 3711722 HAS SOUPS 3711722 WITH SCORE 3719157.351
AT ITER 7463 NEW BEST:: SOT 30493463 SOS 7437823 HAS SOPS 7437823 HAS SOUS 3711682 HAS SOUPS 3711682 WITH SCORE 3719119.823
AT ITER 7507 NEW BEST:: SOT 30493463 SOS 7436761 HAS SOPS 7436761 HAS SOUS 3711681 HAS SOUPS 3711681 WITH SCORE 3719117.761
AT ITER 7530 NEW BEST:: SOT 30493269 SOS 7436373 HAS SOPS 7436373 HAS SOUS 3711487 HAS SOUPS 3711487 WITH SCORE 3718923.373
AT ITER 7549 NEW BEST:: SOT 30493087 SOS 7436191 HAS SOPS 7436191 HAS SOUS 3711305 HAS SOUPS 3711305 WITH SCORE 3718741.191
AT ITER 7586 NEW BEST:: SOT 30492956 SOS 7435929 HAS SOPS 7435929 HAS SOUS 3710936 HAS SOUPS 3710936 WITH SCORE 3718371.929
AT ITER 7624 NEW BEST:: SOT 30492152 SOS 7435125 HAS SOPS 7435125 HAS SOUS 3710132 HAS SOUPS 3710132 WITH SCORE 3717567.125
AT ITER 7632 NEW BEST:: SOT 30492152 SOS 7435125 HAS SOPS 7435125 HAS SOUS 3710131 HAS SOUPS 3710131 WITH SCORE 3717566.125
AT ITER 7645 NEW BEST:: SOT 30492152 SOS 7434426 HAS SOPS 7434426 HAS SOUS 3710131 HAS SOUPS 3710131 WITH SCORE 3717565.426
AT ITER 7661 NEW BEST:: SOT 30492152 SOS 7434489 HAS SOPS 7434489 HAS SOUS 3710130 HAS SOUPS 3710130 WITH SCORE 3717564.489
AT ITER 7665 NEW BEST:: SOT 30492152 SOS 7434485 HAS SOPS 7434485 HAS SOUS 3710129 HAS SOUPS 3710129 WITH SCORE 3717563.485
AT ITER 7679 NEW BEST:: SOT 30492152 SOS 7433258 HAS SOPS 7433258 HAS SOUS 3710129 HAS SOUPS 3710129 WITH SCORE 3717562.258
AT ITER 7706 NEW BEST:: SOT 30492112 SOS 7433178 HAS SOPS 7433178 HAS SOUS 3710089 HAS SOUPS 3710089 WITH SCORE 3717522.178
AT ITER 7734 NEW BEST:: SOT 30491418 SOS 7432484 HAS SOPS 7432484 HAS SOUS 3709395 HAS SOUPS 3709395 WITH SCORE 3716827.484
AT ITER 7744 NEW BEST:: SOT 30491297 SOS 7432696 HAS SOPS 7432696 HAS SOUS 3709153 HAS SOUPS 3709153 WITH SCORE 3716585.696
AT ITER 7791 NEW BEST:: SOT 30491297 SOS 7432686 HAS SOPS 7432686 HAS SOUS 3709152 HAS SOUPS 3709152 WITH SCORE 3716584.686
AT ITER 7797 NEW BEST:: SOT 30491297 SOS 7432686 HAS SOPS 7432686 HAS SOUS 3709151 HAS SOUPS 3709151 WITH SCORE 3716583.686
AT ITER 7804 NEW BEST:: SOT 30491145 SOS 7432382 HAS SOPS 7432382 HAS SOUS 3708923 HAS SOUPS 3708923 WITH SCORE 3716355.382
AT ITER 7809 NEW BEST:: SOT 30491120 SOS 7432332 HAS SOPS 7432332 HAS SOUS 3708873 HAS SOUPS 3708873 WITH SCORE 3716305.332
AT ITER 7850 NEW BEST:: SOT 30491120 SOS 7432170 HAS SOPS 7432170 HAS SOUS 3708873 HAS SOUPS 3708873 WITH SCORE 3716305.17
AT ITER 7855 NEW BEST:: SOT 30491479 SOS 7430728 HAS SOPS 7430728 HAS SOUS 3708621 HAS SOUPS 3708621 WITH SCORE 3716051.728
AT ITER 7876 NEW BEST:: SOT 30491279 SOS 7430488 HAS SOPS 7430488 HAS SOUS 3708421 HAS SOUPS 3708421 WITH SCORE 3715851.488
AT ITER 7923 NEW BEST:: SOT 30490590 SOS 7424284 HAS SOPS 7424284 HAS SOUS 3707042 HAS SOUPS 3707042 WITH SCORE 3714466.284
AT ITER 7925 NEW BEST:: SOT 30490147 SOS 7424723 HAS SOPS 7424723 HAS SOUS 3706155 HAS SOUPS 3706155 WITH SCORE 3713579.723
AT ITER 7953 NEW BEST:: SOT 30490037 SOS 7425179 HAS SOPS 7425179 HAS SOUS 3706045 HAS SOUPS 3706045 WITH SCORE 3713470.179
AT ITER 7958 NEW BEST:: SOT 30489355 SOS 7425179 HAS SOPS 7425179 HAS SOUS 3704753 HAS SOUPS 3704753 WITH SCORE 3712178.179
AT ITER 7964 NEW BEST:: SOT 30489048 SOS 7425176 HAS SOPS 7425176 HAS SOUS 3704752 HAS SOUPS 3704752 WITH SCORE 3712177.176
AT ITER 7966 NEW BEST:: SOT 30489048 SOS 7424707 HAS SOPS 7424707 HAS SOUS 3704614 HAS SOUPS 3704614 WITH SCORE 3712038.707
AT ITER 7969 NEW BEST:: SOT 30489031 SOS 7424673 HAS SOPS 7424673 HAS SOUS 3704580 HAS SOUPS 3704580 WITH SCORE 3712004.673
AT ITER 7982 NEW BEST:: SOT 30488932 SOS 7424475 HAS SOPS 7424475 HAS SOUS 3704385 HAS SOUPS 3704385 WITH SCORE 3711809.475
AT ITER 8014 NEW BEST:: SOT 30488932 SOS 7424353 HAS SOPS 7424353 HAS SOUS 3704324 HAS SOUPS 3704324 WITH SCORE 3711748.353
AT ITER 8017 NEW BEST:: SOT 30489062 SOS 7427625 HAS SOPS 7427625 HAS SOUS 3704139 HAS SOUPS 3704139 WITH SCORE 3711566.625
AT ITER 8041 NEW BEST:: SOT 30489062 SOS 7427643 HAS SOPS 7427643 HAS SOUS 3704138 HAS SOUPS 3704138 WITH SCORE 3711565.643
AT ITER 8050 NEW BEST:: SOT 30489062 SOS 7428036 HAS SOPS 7428036 HAS SOUS 3704137 HAS SOUPS 3704137 WITH SCORE 3711565.036
AT ITER 8052 NEW BEST:: SOT 30489064 SOS 7428040 HAS SOPS 7428040 HAS SOUS 3704136 HAS SOUPS 3704136 WITH SCORE 3711564.04
AT ITER 8095 NEW BEST:: SOT 30489051 SOS 7427594 HAS SOPS 7427594 HAS SOUS 3703970 HAS SOUPS 3703970 WITH SCORE 3711397.594
AT ITER 8099 NEW BEST:: SOT 30488947 SOS 7427386 HAS SOPS 7427386 HAS SOUS 3703762 HAS SOUPS 3703762 WITH SCORE 3711189.386
AT ITER 8150 NEW BEST:: SOT 30489087 SOS 7431168 HAS SOPS 7431168 HAS SOUS 3703597 HAS SOUPS 3703597 WITH SCORE 3711028.168
AT ITER 8161 NEW BEST:: SOT 30488787 SOS 7430568 HAS SOPS 7430568 HAS SOUS 3702997 HAS SOUPS 3702997 WITH SCORE 3710427.568
AT ITER 8169 NEW BEST:: SOT 30488787 SOS 7429710 HAS SOPS 7429710 HAS SOUS 3702996 HAS SOUPS 3702996 WITH SCORE 3710425.71
AT ITER 8225 NEW BEST:: SOT 30488303 SOS 7428742 HAS SOPS 7428742 HAS SOUS 3702502 HAS SOUPS 3702502 WITH SCORE 3709930.742
AT ITER 8255 NEW BEST:: SOT 30488303 SOS 7430548 HAS SOPS 7430548 HAS SOUS 3702500 HAS SOUPS 3702500 WITH SCORE 3709930.548
AT ITER 8265 NEW BEST:: SOT 30488273 SOS 7431042 HAS SOPS 7431042 HAS SOUS 3702440 HAS SOUPS 3702440 WITH SCORE 3709871.042
AT ITER 8271 NEW BEST:: SOT 30487852 SOS 7438450 HAS SOPS 7438450 HAS SOUS 3702018 HAS SOUPS 3702018 WITH SCORE 3709456.45
AT ITER 8272 NEW BEST:: SOT 30487852 SOS 7438632 HAS SOPS 7438632 HAS SOUS 3701937 HAS SOUPS 3701937 WITH SCORE 3709375.632
AT ITER 8273 NEW BEST:: SOT 30487661 SOS 7435922 HAS SOPS 7435922 HAS SOUS 3701810 HAS SOUPS 3701810 WITH SCORE 3709245.922
AT ITER 8275 NEW BEST:: SOT 30487661 SOS 7433242 HAS SOPS 7433242 HAS SOUS 3700964 HAS SOUPS 3700964 WITH SCORE 3708397.242
AT ITER 8283 NEW BEST:: SOT 30487405 SOS 7432884 HAS SOPS 7432884 HAS SOUS 3700606 HAS SOUPS 3700606 WITH SCORE 3708038.884
AT ITER 8288 NEW BEST:: SOT 30487284 SOS 7432642 HAS SOPS 7432642 HAS SOUS 3700364 HAS SOUPS 3700364 WITH SCORE 3707796.642
AT ITER 8297 NEW BEST:: SOT 30486615 SOS 7433849 HAS SOPS 7433849 HAS SOUS 3700224 HAS SOUPS 3700224 WITH SCORE 3707657.849
AT ITER 8307 NEW BEST:: SOT 30485763 SOS 7432145 HAS SOPS 7432145 HAS SOUS 3699544 HAS SOUPS 3699544 WITH SCORE 3706976.145
AT ITER 8330 NEW BEST:: SOT 30485319 SOS 7432585 HAS SOPS 7432585 HAS SOUS 3699183 HAS SOUPS 3699183 WITH SCORE 3706615.585
AT ITER 8340 NEW BEST:: SOT 30484835 SOS 7430067 HAS SOPS 7430067 HAS SOUS 3698215 HAS SOUPS 3698215 WITH SCORE 3705645.067
AT ITER 8343 NEW BEST:: SOT 30484232 SOS 7430565 HAS SOPS 7430565 HAS SOUS 3698145 HAS SOUPS 3698145 WITH SCORE 3705575.565
AT ITER 8386 NEW BEST:: SOT 30484297 SOS 7429889 HAS SOPS 7429889 HAS SOUS 3697469 HAS SOUPS 3697469 WITH SCORE 3704898.889
AT ITER 8404 NEW BEST:: SOT 30483736 SOS 7430846 HAS SOPS 7430846 HAS SOUS 3696105 HAS SOUPS 3696105 WITH SCORE 3703535.846
AT ITER 8408 NEW BEST:: SOT 30483538 SOS 7430450 HAS SOPS 7430450 HAS SOUS 3695906 HAS SOUPS 3695906 WITH SCORE 3703336.45
AT ITER 8410 NEW BEST:: SOT 30483411 SOS 7430196 HAS SOPS 7430196 HAS SOUS 3695652 HAS SOUPS 3695652 WITH SCORE 3703082.196
AT ITER 8431 NEW BEST:: SOT 30483175 SOS 7429724 HAS SOPS 7429724 HAS SOUS 3695416 HAS SOUPS 3695416 WITH SCORE 3702845.724
AT ITER 8433 NEW BEST:: SOT 30483175 SOS 7429724 HAS SOPS 7429724 HAS SOUS 3694794 HAS SOUPS 3694794 WITH SCORE 3702223.724
AT ITER 8438 NEW BEST:: SOT 30483175 SOS 7428842 HAS SOPS 7428842 HAS SOUS 3694794 HAS SOUPS 3694794 WITH SCORE 3702222.842
AT ITER 8448 NEW BEST:: SOT 30483175 SOS 7430232 HAS SOPS 7430232 HAS SOUS 3694792 HAS SOUPS 3694792 WITH SCORE 3702222.232
AT ITER 8455 NEW BEST:: SOT 30483175 SOS 7429536 HAS SOPS 7429536 HAS SOUS 3694618 HAS SOUPS 3694618 WITH SCORE 3702047.536
AT ITER 8466 NEW BEST:: SOT 30482773 SOS 7428732 HAS SOPS 7428732 HAS SOUS 3693543 HAS SOUPS 3693543 WITH SCORE 3700971.732
AT ITER 8473 NEW BEST:: SOT 30482773 SOS 7430445 HAS SOPS 7430445 HAS SOUS 3693538 HAS SOUPS 3693538 WITH SCORE 3700968.445
AT ITER 8478 NEW BEST:: SOT 30482773 SOS 7430219 HAS SOPS 7430219 HAS SOUS 3693538 HAS SOUPS 3693538 WITH SCORE 3700968.219
AT ITER 8514 NEW BEST:: SOT 30483352 SOS 7430798 HAS SOPS 7430798 HAS SOUS 3693537 HAS SOUPS 3693537 WITH SCORE 3700967.798
AT ITER 8547 NEW BEST:: SOT 30482992 SOS 7430660 HAS SOPS 7430660 HAS SOUS 3693399 HAS SOUPS 3693399 WITH SCORE 3700829.66
AT ITER 8574 NEW BEST:: SOT 30482443 SOS 7433297 HAS SOPS 7433297 HAS SOUS 3693300 HAS SOUPS 3693300 WITH SCORE 3700733.297
AT ITER 8583 NEW BEST:: SOT 30481443 SOS 7435689 HAS SOPS 7435689 HAS SOUS 3692346 HAS SOUPS 3692346 WITH SCORE 3699781.689
AT ITER 8596 NEW BEST:: SOT 30481312 SOS 7435555 HAS SOPS 7435555 HAS SOUS 3692214 HAS SOUPS 3692214 WITH SCORE 3699649.555
AT ITER 8629 NEW BEST:: SOT 30480446 SOS 7431225 HAS SOPS 7431225 HAS SOUS 3690482 HAS SOUPS 3690482 WITH SCORE 3697913.225
AT ITER 8644 NEW BEST:: SOT 30479664 SOS 7422123 HAS SOPS 7422123 HAS SOUS 3688905 HAS SOUPS 3688905 WITH SCORE 3696327.123
AT ITER 8663 NEW BEST:: SOT 30479664 SOS 7422576 HAS SOPS 7422576 HAS SOUS 3688904 HAS SOUPS 3688904 WITH SCORE 3696326.576
AT ITER 8717 NEW BEST:: SOT 30479657 SOS 7422562 HAS SOPS 7422562 HAS SOUS 3688890 HAS SOUPS 3688890 WITH SCORE 3696312.562
AT ITER 8728 NEW BEST:: SOT 30479657 SOS 7423261 HAS SOPS 7423261 HAS SOUS 3688828 HAS SOUPS 3688828 WITH SCORE 3696251.261
AT ITER 8750 NEW BEST:: SOT 30479636 SOS 7423240 HAS SOPS 7423240 HAS SOUS 3688807 HAS SOUPS 3688807 WITH SCORE 3696230.24
AT ITER 8764 NEW BEST:: SOT 30479634 SOS 7423236 HAS SOPS 7423236 HAS SOUS 3688803 HAS SOUPS 3688803 WITH SCORE 3696226.236
AT ITER 8776 NEW BEST:: SOT 30479634 SOS 7422543 HAS SOPS 7422543 HAS SOUS 3688110 HAS SOUPS 3688110 WITH SCORE 3695532.543
AT ITER 8786 NEW BEST:: SOT 30479480 SOS 7431178 HAS SOPS 7431178 HAS SOUS 3687690 HAS SOUPS 3687690 WITH SCORE 3695121.178
AT ITER 8790 NEW BEST:: SOT 30479724 SOS 7431666 HAS SOPS 7431666 HAS SOUS 3687324 HAS SOUPS 3687324 WITH SCORE 3694755.666
AT ITER 8833 NEW BEST:: SOT 30480221 SOS 7431324 HAS SOPS 7431324 HAS SOUS 3687207 HAS SOUPS 3687207 WITH SCORE 3694638.324
AT ITER 8873 NEW BEST:: SOT 30479831 SOS 7432548 HAS SOPS 7432548 HAS SOUS 3687061 HAS SOUPS 3687061 WITH SCORE 3694493.548
AT ITER 8963 NEW BEST:: SOT 30479227 SOS 7432544 HAS SOPS 7432544 HAS SOUS 3686456 HAS SOUPS 3686456 WITH SCORE 3693888.544
AT ITER 8975 NEW BEST:: SOT 30479227 SOS 7434577 HAS SOPS 7434577 HAS SOUS 3686228 HAS SOUPS 3686228 WITH SCORE 3693662.577
AT ITER 8996 NEW BEST:: SOT 30478667 SOS 7438497 HAS SOPS 7438497 HAS SOUS 3685668 HAS SOUPS 3685668 WITH SCORE 3693106.497
AT ITER 9037 NEW BEST:: SOT 30478639 SOS 7438441 HAS SOPS 7438441 HAS SOUS 3685639 HAS SOUPS 3685639 WITH SCORE 3693077.441
AT ITER 9045 NEW BEST:: SOT 30478639 SOS 7444359 HAS SOPS 7444359 HAS SOUS 3685617 HAS SOUPS 3685617 WITH SCORE 3693061.359
AT ITER 9056 NEW BEST:: SOT 30478639 SOS 7442703 HAS SOPS 7442703 HAS SOUS 3685617 HAS SOUPS 3685617 WITH SCORE 3693059.703
AT ITER 9068 NEW BEST:: SOT 30478466 SOS 7442542 HAS SOPS 7442542 HAS SOUS 3685456 HAS SOUPS 3685456 WITH SCORE 3692898.542
AT ITER 9077 NEW BEST:: SOT 30478466 SOS 7443096 HAS SOPS 7443096 HAS SOUS 3685455 HAS SOUPS 3685455 WITH SCORE 3692898.096
AT ITER 9102 NEW BEST:: SOT 30478234 SOS 7443093 HAS SOPS 7443093 HAS SOUS 3685454 HAS SOUPS 3685454 WITH SCORE 3692897.093
AT ITER 9118 NEW BEST:: SOT 30477809 SOS 7442243 HAS SOPS 7442243 HAS SOUS 3684604 HAS SOUPS 3684604 WITH SCORE 3692046.243
AT ITER 9213 NEW BEST:: SOT 30477765 SOS 7442155 HAS SOPS 7442155 HAS SOUS 3684186 HAS SOUPS 3684186 WITH SCORE 3691628.155
AT ITER 9226 NEW BEST:: SOT 30477604 SOS 7441833 HAS SOPS 7441833 HAS SOUS 3683864 HAS SOUPS 3683864 WITH SCORE 3691305.833
AT ITER 9339 NEW BEST:: SOT 30477482 SOS 7441589 HAS SOPS 7441589 HAS SOUS 3683620 HAS SOUPS 3683620 WITH SCORE 3691061.589
AT ITER 9348 NEW BEST:: SOT 30477322 SOS 7441269 HAS SOPS 7441269 HAS SOUS 3683300 HAS SOUPS 3683300 WITH SCORE 3690741.269
AT ITER 9354 NEW BEST:: SOT 30477322 SOS 7441361 HAS SOPS 7441361 HAS SOUS 3683208 HAS SOUPS 3683208 WITH SCORE 3690649.361
AT ITER 9366 NEW BEST:: SOT 30477186 SOS 7441225 HAS SOPS 7441225 HAS SOUS 3683072 HAS SOUPS 3683072 WITH SCORE 3690513.225
AT ITER 9372 NEW BEST:: SOT 30477609 SOS 7441091 HAS SOPS 7441091 HAS SOUS 3683005 HAS SOUPS 3683005 WITH SCORE 3690446.091
AT ITER 9384 NEW BEST:: SOT 30477592 SOS 7441057 HAS SOPS 7441057 HAS SOUS 3682988 HAS SOUPS 3682988 WITH SCORE 3690429.057
AT ITER 9408 NEW BEST:: SOT 30477351 SOS 7442542 HAS SOPS 7442542 HAS SOUS 3682505 HAS SOUPS 3682505 WITH SCORE 3689947.542
AT ITER 9413 NEW BEST:: SOT 30477289 SOS 7442418 HAS SOPS 7442418 HAS SOUS 3682381 HAS SOUPS 3682381 WITH SCORE 3689823.418
AT ITER 9434 NEW BEST:: SOT 30477289 SOS 7440768 HAS SOPS 7440768 HAS SOUS 3682216 HAS SOUPS 3682216 WITH SCORE 3689656.768
AT ITER 9446 NEW BEST:: SOT 30476281 SOS 7439252 HAS SOPS 7439252 HAS SOUS 3681207 HAS SOUPS 3681207 WITH SCORE 3688646.252
AT ITER 9465 NEW BEST:: SOT 30476280 SOS 7442219 HAS SOPS 7442219 HAS SOUS 3681204 HAS SOUPS 3681204 WITH SCORE 3688646.219
AT ITER 9495 NEW BEST:: SOT 30476280 SOS 7446737 HAS SOPS 7446737 HAS SOUS 3681125 HAS SOUPS 3681125 WITH SCORE 3688571.737
AT ITER 9518 NEW BEST:: SOT 30475945 SOS 7447393 HAS SOPS 7447393 HAS SOUS 3680790 HAS SOUPS 3680790 WITH SCORE 3688237.393
AT ITER 9530 NEW BEST:: SOT 30476656 SOS 7448815 HAS SOPS 7448815 HAS SOUS 3680582 HAS SOUPS 3680582 WITH SCORE 3688030.815
AT ITER 9539 NEW BEST:: SOT 30476656 SOS 7448331 HAS SOPS 7448331 HAS SOUS 3680461 HAS SOUPS 3680461 WITH SCORE 3687909.331
AT ITER 9561 NEW BEST:: SOT 30476099 SOS 7448085 HAS SOPS 7448085 HAS SOUS 3680215 HAS SOUPS 3680215 WITH SCORE 3687663.085
AT ITER 9599 NEW BEST:: SOT 30475543 SOS 7446973 HAS SOPS 7446973 HAS SOUS 3678132 HAS SOUPS 3678132 WITH SCORE 3685578.973
AT ITER 9617 NEW BEST:: SOT 30475528 SOS 7446943 HAS SOPS 7446943 HAS SOUS 3678102 HAS SOUPS 3678102 WITH SCORE 3685548.943
AT ITER 9680 NEW BEST:: SOT 30475398 SOS 7446683 HAS SOPS 7446683 HAS SOUS 3677842 HAS SOUPS 3677842 WITH SCORE 3685288.683
AT ITER 9685 NEW BEST:: SOT 30475340 SOS 7446567 HAS SOPS 7446567 HAS SOUS 3677779 HAS SOUPS 3677779 WITH SCORE 3685225.567
AT ITER 9686 NEW BEST:: SOT 30475340 SOS 7446567 HAS SOPS 7446567 HAS SOUS 3677768 HAS SOUPS 3677768 WITH SCORE 3685214.567
AT ITER 9695 NEW BEST:: SOT 30475045 SOS 7448907 HAS SOPS 7448907 HAS SOUS 3677471 HAS SOUPS 3677471 WITH SCORE 3684919.907
AT ITER 9700 NEW BEST:: SOT 30474599 SOS 7448786 HAS SOPS 7448786 HAS SOUS 3676904 HAS SOUPS 3676904 WITH SCORE 3684352.786
AT ITER 9710 NEW BEST:: SOT 30474599 SOS 7443206 HAS SOPS 7443206 HAS SOUS 3676904 HAS SOUPS 3676904 WITH SCORE 3684347.206
AT ITER 9714 NEW BEST:: SOT 30474515 SOS 7443142 HAS SOPS 7443142 HAS SOUS 3676840 HAS SOUPS 3676840 WITH SCORE 3684283.142
AT ITER 9725 NEW BEST:: SOT 30474178 SOS 7442468 HAS SOPS 7442468 HAS SOUS 3676166 HAS SOUPS 3676166 WITH SCORE 3683608.468
AT ITER 9756 NEW BEST:: SOT 30474178 SOS 7442140 HAS SOPS 7442140 HAS SOUS 3675838 HAS SOUPS 3675838 WITH SCORE 3683280.14
AT ITER 9761 NEW BEST:: SOT 30473910 SOS 7439460 HAS SOPS 7439460 HAS SOUS 3675570 HAS SOUPS 3675570 WITH SCORE 3683009.46
AT ITER 9768 NEW BEST:: SOT 30473648 SOS 7440559 HAS SOPS 7440559 HAS SOUS 3675308 HAS SOUPS 3675308 WITH SCORE 3682748.559
AT ITER 9795 NEW BEST:: SOT 30473630 SOS 7440523 HAS SOPS 7440523 HAS SOUS 3675272 HAS SOUPS 3675272 WITH SCORE 3682712.523
AT ITER 9822 NEW BEST:: SOT 30473794 SOS 7440014 HAS SOPS 7440014 HAS SOUS 3675270 HAS SOUPS 3675270 WITH SCORE 3682710.014
AT ITER 9832 NEW BEST:: SOT 30472961 SOS 7438348 HAS SOPS 7438348 HAS SOUS 3673604 HAS SOUPS 3673604 WITH SCORE 3681042.348
AT ITER 9834 NEW BEST:: SOT 30472908 SOS 7439123 HAS SOPS 7439123 HAS SOUS 3673551 HAS SOUPS 3673551 WITH SCORE 3680990.123
AT ITER 9901 NEW BEST:: SOT 30471517 SOS 7437732 HAS SOPS 7437732 HAS SOUS 3672160 HAS SOUPS 3672160 WITH SCORE 3679597.732
AT ITER 9909 NEW BEST:: SOT 30471465 SOS 7437628 HAS SOPS 7437628 HAS SOUS 3672047 HAS SOUPS 3672047 WITH SCORE 3679484.628
AT ITER 9936 NEW BEST:: SOT 30471245 SOS 7437188 HAS SOPS 7437188 HAS SOUS 3671493 HAS SOUPS 3671493 WITH SCORE 3678930.188
AT ITER 9976 NEW BEST:: SOT 30470764 SOS 7428530 HAS SOPS 7428530 HAS SOUS 3670892 HAS SOUPS 3670892 WITH SCORE 3678320.53
AT ITER 9980 NEW BEST:: SOT 30470700 SOS 7428786 HAS SOPS 7428786 HAS SOUS 3670764 HAS SOUPS 3670764 WITH SCORE 3678192.786
AT ITER 9984 NEW BEST:: SOT 30470663 SOS 7428712 HAS SOPS 7428712 HAS SOUS 3670727 HAS SOUPS 3670727 WITH SCORE 3678155.712
AT ITER 9991 NEW BEST:: SOT 30470663 SOS 7428712 HAS SOPS 7428712 HAS SOUS 3670726 HAS SOUPS 3670726 WITH SCORE 3678154.712
AT ITER 9994 NEW BEST:: SOT 30470568 SOS 7428522 HAS SOPS 7428522 HAS SOUS 3670631 HAS SOUPS 3670631 WITH SCORE 3678059.522
AT ITER 9999 NEW BEST:: SOT 30470684 SOS 7432161 HAS SOPS 7432161 HAS SOUS 3670435 HAS SOUPS 3670435 WITH SCORE 3677867.161
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15316276 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114756 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-13b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DLCround-PT-13b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484700792"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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