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.r171-tall-167838858700480.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 FlexibleBarrier-PT-08a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858700480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 412K
-rw-r--r-- 1 mcc users 7.6K Feb 25 12:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 25 12:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 12:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 12:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 12:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 12:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 12:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 25 12:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 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 64K 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 1679475928999

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=FlexibleBarrier-PT-08a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 09:05:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 09:05:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 09:05:30] [INFO ] Load time of PNML (sax parser for PT used): 50 ms
[2023-03-22 09:05:30] [INFO ] Transformed 99 places.
[2023-03-22 09:05:30] [INFO ] Transformed 236 transitions.
[2023-03-22 09:05:30] [INFO ] Found NUPN structural information;
[2023-03-22 09:05:30] [INFO ] Parsed PT model containing 99 places and 236 transitions and 985 arcs in 112 ms.
[2023-03-22 09:05:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 99 places, 236 transitions and 985 arcs took 5 ms.
Total runtime 145 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 08a
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: 99 places, 236 transitions, 985 arcs.
AT ITER 0 NEW BEST:: SOT 19254 SOS 15023 HAS SOPS 15023 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9597.023
AT ITER 1 NEW BEST:: SOT 19312 SOS 14992 HAS SOPS 14992 HAS SOUS 9551 HAS SOUPS 9551 WITH SCORE 9565.992
AT ITER 5 NEW BEST:: SOT 19165 SOS 14869 HAS SOPS 14869 HAS SOUS 9489 HAS SOUPS 9489 WITH SCORE 9503.869
AT ITER 6 NEW BEST:: SOT 19211 SOS 14935 HAS SOPS 14935 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9135.935
AT ITER 9 NEW BEST:: SOT 19139 SOS 14858 HAS SOPS 14858 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9096.858
AT ITER 10 NEW BEST:: SOT 19172 SOS 14893 HAS SOPS 14893 HAS SOUS 9031 HAS SOUPS 9031 WITH SCORE 9045.893
AT ITER 13 NEW BEST:: SOT 19125 SOS 14846 HAS SOPS 14846 HAS SOUS 9002 HAS SOUPS 9002 WITH SCORE 9016.846
AT ITER 15 NEW BEST:: SOT 19146 SOS 14819 HAS SOPS 14819 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8800.819
AT ITER 16 NEW BEST:: SOT 19174 SOS 14875 HAS SOPS 14875 HAS SOUS 8785 HAS SOUPS 8785 WITH SCORE 8799.875
AT ITER 21 NEW BEST:: SOT 19173 SOS 14872 HAS SOPS 14872 HAS SOUS 8783 HAS SOUPS 8783 WITH SCORE 8797.872
AT ITER 22 NEW BEST:: SOT 19229 SOS 14900 HAS SOPS 14900 HAS SOUS 8780 HAS SOUPS 8780 WITH SCORE 8794.9
AT ITER 23 NEW BEST:: SOT 19229 SOS 14840 HAS SOPS 14840 HAS SOUS 8750 HAS SOUPS 8750 WITH SCORE 8764.84
AT ITER 24 NEW BEST:: SOT 19234 SOS 14829 HAS SOPS 14829 HAS SOUS 8741 HAS SOUPS 8741 WITH SCORE 8755.829
AT ITER 25 NEW BEST:: SOT 18783 SOS 14528 HAS SOPS 14360 HAS SOUS 8759 HAS SOUPS 8699 WITH SCORE 8713.528
AT ITER 29 NEW BEST:: SOT 18783 SOS 14501 HAS SOPS 14331 HAS SOUS 8744 HAS SOUPS 8684 WITH SCORE 8698.501
AT ITER 30 NEW BEST:: SOT 18541 SOS 14292 HAS SOPS 14148 HAS SOUS 8740 HAS SOUPS 8680 WITH SCORE 8694.292
AT ITER 32 NEW BEST:: SOT 18480 SOS 14231 HAS SOPS 14087 HAS SOUS 8708 HAS SOUPS 8648 WITH SCORE 8662.231
AT ITER 33 NEW BEST:: SOT 18480 SOS 14222 HAS SOPS 14078 HAS SOUS 8699 HAS SOUPS 8639 WITH SCORE 8653.222
AT ITER 37 NEW BEST:: SOT 18023 SOS 13719 HAS SOPS 13523 HAS SOUS 8365 HAS SOUPS 8305 WITH SCORE 8318.719
AT ITER 39 NEW BEST:: SOT 18023 SOS 13716 HAS SOPS 13520 HAS SOUS 8362 HAS SOUPS 8302 WITH SCORE 8315.716
AT ITER 43 NEW BEST:: SOT 17874 SOS 13570 HAS SOPS 13374 HAS SOUS 8271 HAS SOUPS 8211 WITH SCORE 8224.57
AT ITER 44 NEW BEST:: SOT 17892 SOS 13594 HAS SOPS 13374 HAS SOUS 8260 HAS SOUPS 8200 WITH SCORE 8213.594
AT ITER 46 NEW BEST:: SOT 17900 SOS 13514 HAS SOPS 13294 HAS SOUS 8236 HAS SOUPS 8176 WITH SCORE 8189.514
AT ITER 49 NEW BEST:: SOT 17897 SOS 13481 HAS SOPS 13261 HAS SOUS 8212 HAS SOUPS 8152 WITH SCORE 8165.481
AT ITER 52 NEW BEST:: SOT 17880 SOS 13464 HAS SOPS 13244 HAS SOUS 8212 HAS SOUPS 8152 WITH SCORE 8165.464
AT ITER 53 NEW BEST:: SOT 17877 SOS 13463 HAS SOPS 13240 HAS SOUS 8208 HAS SOUPS 8148 WITH SCORE 8161.463
AT ITER 54 NEW BEST:: SOT 18318 SOS 13833 HAS SOPS 13548 HAS SOUS 8154 HAS SOUPS 8094 WITH SCORE 8107.833
AT ITER 55 NEW BEST:: SOT 18318 SOS 13745 HAS SOPS 13460 HAS SOUS 8120 HAS SOUPS 8060 WITH SCORE 8073.745
AT ITER 56 NEW BEST:: SOT 18318 SOS 13726 HAS SOPS 13421 HAS SOUS 8081 HAS SOUPS 8021 WITH SCORE 8034.726
AT ITER 65 NEW BEST:: SOT 18350 SOS 13640 HAS SOPS 13233 HAS SOUS 7858 HAS SOUPS 7798 WITH SCORE 7811.64
AT ITER 69 NEW BEST:: SOT 18350 SOS 13453 HAS SOPS 13046 HAS SOUS 7814 HAS SOUPS 7754 WITH SCORE 7767.453
AT ITER 70 NEW BEST:: SOT 18375 SOS 13183 HAS SOPS 12613 HAS SOUS 7589 HAS SOUPS 7529 WITH SCORE 7542.183
AT ITER 72 NEW BEST:: SOT 18324 SOS 13135 HAS SOPS 12565 HAS SOUS 7547 HAS SOUPS 7487 WITH SCORE 7500.135
AT ITER 73 NEW BEST:: SOT 17829 SOS 12703 HAS SOPS 12133 HAS SOUS 7384 HAS SOUPS 7324 WITH SCORE 7336.703
AT ITER 74 NEW BEST:: SOT 17829 SOS 12703 HAS SOPS 12133 HAS SOUS 7368 HAS SOUPS 7308 WITH SCORE 7320.703
AT ITER 75 NEW BEST:: SOT 17810 SOS 12682 HAS SOPS 12112 HAS SOUS 7355 HAS SOUPS 7295 WITH SCORE 7307.682
AT ITER 78 NEW BEST:: SOT 17821 SOS 12704 HAS SOPS 12081 HAS SOUS 7255 HAS SOUPS 7195 WITH SCORE 7207.704
AT ITER 86 NEW BEST:: SOT 17816 SOS 12694 HAS SOPS 12071 HAS SOUS 7234 HAS SOUPS 7174 WITH SCORE 7186.694
AT ITER 88 NEW BEST:: SOT 17803 SOS 12560 HAS SOPS 11937 HAS SOUS 7214 HAS SOUPS 7154 WITH SCORE 7166.56
AT ITER 90 NEW BEST:: SOT 17602 SOS 12464 HAS SOPS 11938 HAS SOUS 7171 HAS SOUPS 7111 WITH SCORE 7123.464
AT ITER 91 NEW BEST:: SOT 17572 SOS 12378 HAS SOPS 11852 HAS SOUS 7129 HAS SOUPS 7069 WITH SCORE 7081.378
AT ITER 102 NEW BEST:: SOT 17622 SOS 12396 HAS SOPS 11855 HAS SOUS 7061 HAS SOUPS 7004 WITH SCORE 7016.396
AT ITER 103 NEW BEST:: SOT 17204 SOS 11961 HAS SOPS 11420 HAS SOUS 6806 HAS SOUPS 6749 WITH SCORE 6760.961
AT ITER 104 NEW BEST:: SOT 17186 SOS 11934 HAS SOPS 11393 HAS SOUS 6770 HAS SOUPS 6713 WITH SCORE 6724.934
AT ITER 105 NEW BEST:: SOT 17146 SOS 11909 HAS SOPS 11328 HAS SOUS 6764 HAS SOUPS 6707 WITH SCORE 6718.909
AT ITER 106 NEW BEST:: SOT 17213 SOS 11950 HAS SOPS 11333 HAS SOUS 6600 HAS SOUPS 6540 WITH SCORE 6551.95
AT ITER 115 NEW BEST:: SOT 17197 SOS 11922 HAS SOPS 11301 HAS SOUS 6574 HAS SOUPS 6508 WITH SCORE 6519.922
AT ITER 118 NEW BEST:: SOT 17215 SOS 11922 HAS SOPS 11301 HAS SOUS 6556 HAS SOUPS 6490 WITH SCORE 6501.922
AT ITER 119 NEW BEST:: SOT 17258 SOS 11845 HAS SOPS 11127 HAS SOUS 6491 HAS SOUPS 6425 WITH SCORE 6436.845
AT ITER 124 NEW BEST:: SOT 17251 SOS 11742 HAS SOPS 11024 HAS SOUS 6419 HAS SOUPS 6353 WITH SCORE 6364.742
AT ITER 125 NEW BEST:: SOT 17218 SOS 11724 HAS SOPS 10996 HAS SOUS 6393 HAS SOUPS 6325 WITH SCORE 6336.724
AT ITER 126 NEW BEST:: SOT 17248 SOS 11783 HAS SOPS 10905 HAS SOUS 6231 HAS SOUPS 6163 WITH SCORE 6174.783
AT ITER 130 NEW BEST:: SOT 17248 SOS 11783 HAS SOPS 10905 HAS SOUS 6227 HAS SOUPS 6159 WITH SCORE 6170.783
AT ITER 134 NEW BEST:: SOT 17248 SOS 11782 HAS SOPS 10904 HAS SOUS 6227 HAS SOUPS 6159 WITH SCORE 6170.782
AT ITER 135 NEW BEST:: SOT 17285 SOS 11724 HAS SOPS 10846 HAS SOUS 6196 HAS SOUPS 6128 WITH SCORE 6139.724
AT ITER 138 NEW BEST:: SOT 16591 SOS 11244 HAS SOPS 10124 HAS SOUS 5555 HAS SOUPS 5454 WITH SCORE 5465.244
AT ITER 139 NEW BEST:: SOT 16591 SOS 11244 HAS SOPS 10123 HAS SOUS 5554 HAS SOUPS 5453 WITH SCORE 5464.244
AT ITER 147 NEW BEST:: SOT 16444 SOS 12073 HAS SOPS 9938 HAS SOUS 5452 HAS SOUPS 5313 WITH SCORE 5325.073
AT ITER 153 NEW BEST:: SOT 16476 SOS 11923 HAS SOPS 9985 HAS SOUS 5446 HAS SOUPS 5312 WITH SCORE 5323.923
AT ITER 155 NEW BEST:: SOT 16476 SOS 11888 HAS SOPS 9963 HAS SOUS 5446 HAS SOUPS 5312 WITH SCORE 5323.888
AT ITER 156 NEW BEST:: SOT 16214 SOS 11690 HAS SOPS 9765 HAS SOUS 5404 HAS SOUPS 5270 WITH SCORE 5281.69
AT ITER 159 NEW BEST:: SOT 16207 SOS 11683 HAS SOPS 9744 HAS SOUS 5383 HAS SOUPS 5249 WITH SCORE 5260.683
AT ITER 161 NEW BEST:: SOT 16209 SOS 11671 HAS SOPS 9734 HAS SOUS 5371 HAS SOUPS 5237 WITH SCORE 5248.671
AT ITER 165 NEW BEST:: SOT 16214 SOS 11668 HAS SOPS 9730 HAS SOUS 5367 HAS SOUPS 5233 WITH SCORE 5244.668
AT ITER 166 NEW BEST:: SOT 16509 SOS 11938 HAS SOPS 9810 HAS SOUS 5197 HAS SOUPS 5063 WITH SCORE 5074.938
AT ITER 167 NEW BEST:: SOT 16505 SOS 11934 HAS SOPS 9802 HAS SOUS 5193 HAS SOUPS 5055 WITH SCORE 5066.934
AT ITER 169 NEW BEST:: SOT 16507 SOS 11879 HAS SOPS 9760 HAS SOUS 5137 HAS SOUPS 5011 WITH SCORE 5022.879
AT ITER 170 NEW BEST:: SOT 16485 SOS 11809 HAS SOPS 9690 HAS SOUS 5111 HAS SOUPS 4985 WITH SCORE 4996.809
AT ITER 171 NEW BEST:: SOT 16484 SOS 11808 HAS SOPS 9688 HAS SOUS 5109 HAS SOUPS 4983 WITH SCORE 4994.808
AT ITER 176 NEW BEST:: SOT 16494 SOS 11816 HAS SOPS 9703 HAS SOUS 5102 HAS SOUPS 4976 WITH SCORE 4987.816
AT ITER 177 NEW BEST:: SOT 16511 SOS 11816 HAS SOPS 9558 HAS SOUS 4945 HAS SOUPS 4819 WITH SCORE 4830.816
AT ITER 182 NEW BEST:: SOT 16507 SOS 11743 HAS SOPS 9498 HAS SOUS 4906 HAS SOUPS 4780 WITH SCORE 4791.743
AT ITER 187 NEW BEST:: SOT 16507 SOS 11741 HAS SOPS 9494 HAS SOUS 4899 HAS SOUPS 4772 WITH SCORE 4783.741
AT ITER 192 NEW BEST:: SOT 16463 SOS 11704 HAS SOPS 9406 HAS SOUS 4815 HAS SOUPS 4688 WITH SCORE 4699.704
AT ITER 194 NEW BEST:: SOT 16453 SOS 11694 HAS SOPS 9396 HAS SOUS 4805 HAS SOUPS 4678 WITH SCORE 4689.694
AT ITER 195 NEW BEST:: SOT 16475 SOS 11691 HAS SOPS 9408 HAS SOUS 4782 HAS SOUPS 4655 WITH SCORE 4666.691
AT ITER 197 NEW BEST:: SOT 16447 SOS 11594 HAS SOPS 9293 HAS SOUS 4661 HAS SOUPS 4533 WITH SCORE 4544.594
AT ITER 198 NEW BEST:: SOT 16460 SOS 11582 HAS SOPS 9290 HAS SOUS 4655 HAS SOUPS 4527 WITH SCORE 4538.582
AT ITER 200 NEW BEST:: SOT 16367 SOS 11411 HAS SOPS 9104 HAS SOUS 4514 HAS SOUPS 4386 WITH SCORE 4397.411
AT ITER 201 NEW BEST:: SOT 16316 SOS 11404 HAS SOPS 9056 HAS SOUS 4485 HAS SOUPS 4357 WITH SCORE 4368.404
AT ITER 206 NEW BEST:: SOT 16304 SOS 11340 HAS SOPS 8976 HAS SOUS 4378 HAS SOUPS 4250 WITH SCORE 4261.34
AT ITER 211 NEW BEST:: SOT 16300 SOS 11340 HAS SOPS 8972 HAS SOUS 4374 HAS SOUPS 4246 WITH SCORE 4257.34
AT ITER 212 NEW BEST:: SOT 16290 SOS 11320 HAS SOPS 8952 HAS SOUS 4374 HAS SOUPS 4246 WITH SCORE 4257.32
AT ITER 226 NEW BEST:: SOT 16290 SOS 11317 HAS SOPS 8949 HAS SOUS 4374 HAS SOUPS 4246 WITH SCORE 4257.317
AT ITER 232 NEW BEST:: SOT 16288 SOS 11317 HAS SOPS 8949 HAS SOUS 4372 HAS SOUPS 4244 WITH SCORE 4255.317
AT ITER 236 NEW BEST:: SOT 16230 SOS 11259 HAS SOPS 8864 HAS SOUS 4310 HAS SOUPS 4182 WITH SCORE 4193.259
AT ITER 239 NEW BEST:: SOT 16230 SOS 11259 HAS SOPS 8860 HAS SOUS 4303 HAS SOUPS 4175 WITH SCORE 4186.259
AT ITER 243 NEW BEST:: SOT 16228 SOS 11354 HAS SOPS 8581 HAS SOUS 4299 HAS SOUPS 4161 WITH SCORE 4172.354
AT ITER 246 NEW BEST:: SOT 16221 SOS 11339 HAS SOPS 8567 HAS SOUS 4282 HAS SOUPS 4144 WITH SCORE 4155.339
AT ITER 247 NEW BEST:: SOT 16203 SOS 11303 HAS SOPS 8531 HAS SOUS 4280 HAS SOUPS 4142 WITH SCORE 4153.303
AT ITER 248 NEW BEST:: SOT 16194 SOS 11293 HAS SOPS 8513 HAS SOUS 4256 HAS SOUPS 4118 WITH SCORE 4129.293
AT ITER 249 NEW BEST:: SOT 16194 SOS 11280 HAS SOPS 8500 HAS SOUS 4230 HAS SOUPS 4092 WITH SCORE 4103.28
AT ITER 254 NEW BEST:: SOT 16184 SOS 11207 HAS SOPS 8451 HAS SOUS 4225 HAS SOUPS 4087 WITH SCORE 4098.207
AT ITER 263 NEW BEST:: SOT 16180 SOS 11197 HAS SOPS 8439 HAS SOUS 4217 HAS SOUPS 4079 WITH SCORE 4090.197
AT ITER 266 NEW BEST:: SOT 16187 SOS 11116 HAS SOPS 8361 HAS SOUS 4205 HAS SOUPS 4067 WITH SCORE 4078.116
AT ITER 269 NEW BEST:: SOT 16186 SOS 11114 HAS SOPS 8359 HAS SOUS 4199 HAS SOUPS 4061 WITH SCORE 4072.114
AT ITER 270 NEW BEST:: SOT 16168 SOS 11083 HAS SOPS 8323 HAS SOUS 4191 HAS SOUPS 4053 WITH SCORE 4064.083
AT ITER 279 NEW BEST:: SOT 16186 SOS 11119 HAS SOPS 8359 HAS SOUS 4183 HAS SOUPS 4045 WITH SCORE 4056.119
AT ITER 281 NEW BEST:: SOT 16113 SOS 11050 HAS SOPS 8246 HAS SOUS 4021 HAS SOUPS 3879 WITH SCORE 3890.05
AT ITER 287 NEW BEST:: SOT 16066 SOS 11008 HAS SOPS 8174 HAS SOUS 3973 HAS SOUPS 3831 WITH SCORE 3842.008
AT ITER 288 NEW BEST:: SOT 16052 SOS 10980 HAS SOPS 8146 HAS SOUS 3955 HAS SOUPS 3813 WITH SCORE 3823.98
AT ITER 300 NEW BEST:: SOT 16051 SOS 10978 HAS SOPS 8144 HAS SOUS 3953 HAS SOUPS 3811 WITH SCORE 3821.978
AT ITER 304 NEW BEST:: SOT 16048 SOS 10951 HAS SOPS 8065 HAS SOUS 3863 HAS SOUPS 3721 WITH SCORE 3731.951
AT ITER 307 NEW BEST:: SOT 16056 SOS 10955 HAS SOPS 8037 HAS SOUS 3835 HAS SOUPS 3693 WITH SCORE 3703.955
AT ITER 316 NEW BEST:: SOT 16038 SOS 10919 HAS SOPS 8001 HAS SOUS 3832 HAS SOUPS 3690 WITH SCORE 3700.919
AT ITER 324 NEW BEST:: SOT 16038 SOS 10905 HAS SOPS 7994 HAS SOUS 3832 HAS SOUPS 3690 WITH SCORE 3700.905
AT ITER 339 NEW BEST:: SOT 16016 SOS 10900 HAS SOPS 7972 HAS SOUS 3806 HAS SOUPS 3661 WITH SCORE 3671.9
AT ITER 344 NEW BEST:: SOT 16016 SOS 10872 HAS SOPS 7946 HAS SOUS 3781 HAS SOUPS 3636 WITH SCORE 3646.872
AT ITER 345 NEW BEST:: SOT 15985 SOS 10805 HAS SOPS 7884 HAS SOUS 3740 HAS SOUPS 3595 WITH SCORE 3605.805
AT ITER 348 NEW BEST:: SOT 15656 SOS 10503 HAS SOPS 7642 HAS SOUS 3662 HAS SOUPS 3517 WITH SCORE 3527.503
AT ITER 360 NEW BEST:: SOT 15634 SOS 10486 HAS SOPS 7622 HAS SOUS 3640 HAS SOUPS 3495 WITH SCORE 3505.486
AT ITER 362 NEW BEST:: SOT 15633 SOS 10484 HAS SOPS 7620 HAS SOUS 3635 HAS SOUPS 3490 WITH SCORE 3500.484
AT ITER 369 NEW BEST:: SOT 15511 SOS 10346 HAS SOPS 7512 HAS SOUS 3575 HAS SOUPS 3430 WITH SCORE 3440.346
AT ITER 374 NEW BEST:: SOT 15504 SOS 10332 HAS SOPS 7498 HAS SOUS 3568 HAS SOUPS 3423 WITH SCORE 3433.332
AT ITER 380 NEW BEST:: SOT 15486 SOS 10322 HAS SOPS 7483 HAS SOUS 3553 HAS SOUPS 3408 WITH SCORE 3418.322
AT ITER 385 NEW BEST:: SOT 15485 SOS 10321 HAS SOPS 7481 HAS SOUS 3551 HAS SOUPS 3406 WITH SCORE 3416.321
AT ITER 391 NEW BEST:: SOT 15507 SOS 10318 HAS SOPS 7467 HAS SOUS 3543 HAS SOUPS 3392 WITH SCORE 3402.318
AT ITER 394 NEW BEST:: SOT 15491 SOS 10302 HAS SOPS 7435 HAS SOUS 3523 HAS SOUPS 3372 WITH SCORE 3382.302
AT ITER 403 NEW BEST:: SOT 15491 SOS 10300 HAS SOPS 7434 HAS SOUS 3523 HAS SOUPS 3372 WITH SCORE 3382.3
AT ITER 405 NEW BEST:: SOT 15491 SOS 10298 HAS SOPS 7432 HAS SOUS 3521 HAS SOUPS 3370 WITH SCORE 3380.298
AT ITER 407 NEW BEST:: SOT 15482 SOS 10318 HAS SOPS 7433 HAS SOUS 3512 HAS SOUPS 3361 WITH SCORE 3371.318
AT ITER 410 NEW BEST:: SOT 15467 SOS 10206 HAS SOPS 7333 HAS SOUS 3449 HAS SOUPS 3298 WITH SCORE 3308.206
AT ITER 423 NEW BEST:: SOT 15455 SOS 10180 HAS SOPS 7309 HAS SOUS 3446 HAS SOUPS 3295 WITH SCORE 3305.18
AT ITER 426 NEW BEST:: SOT 15459 SOS 10184 HAS SOPS 7317 HAS SOUS 3444 HAS SOUPS 3293 WITH SCORE 3303.184
AT ITER 427 NEW BEST:: SOT 15457 SOS 10182 HAS SOPS 7315 HAS SOUS 3442 HAS SOUPS 3291 WITH SCORE 3301.182
AT ITER 434 NEW BEST:: SOT 15453 SOS 10175 HAS SOPS 7307 HAS SOUS 3439 HAS SOUPS 3288 WITH SCORE 3298.175
AT ITER 437 NEW BEST:: SOT 15442 SOS 10153 HAS SOPS 7285 HAS SOUS 3417 HAS SOUPS 3266 WITH SCORE 3276.153
AT ITER 446 NEW BEST:: SOT 15371 SOS 10085 HAS SOPS 7214 HAS SOUS 3384 HAS SOUPS 3230 WITH SCORE 3240.085
AT ITER 447 NEW BEST:: SOT 15349 SOS 10077 HAS SOPS 7184 HAS SOUS 3354 HAS SOUPS 3200 WITH SCORE 3210.077
AT ITER 460 NEW BEST:: SOT 15327 SOS 10343 HAS SOPS 7149 HAS SOUS 3348 HAS SOUPS 3187 WITH SCORE 3197.343
AT ITER 462 NEW BEST:: SOT 15322 SOS 10338 HAS SOPS 7139 HAS SOUS 3338 HAS SOUPS 3177 WITH SCORE 3187.338
AT ITER 471 NEW BEST:: SOT 15322 SOS 10365 HAS SOPS 7165 HAS SOUS 3337 HAS SOUPS 3176 WITH SCORE 3186.365
AT ITER 476 NEW BEST:: SOT 15309 SOS 10352 HAS SOPS 7147 HAS SOUS 3324 HAS SOUPS 3158 WITH SCORE 3168.352
AT ITER 491 NEW BEST:: SOT 15301 SOS 10328 HAS SOPS 7123 HAS SOUS 3316 HAS SOUPS 3150 WITH SCORE 3160.328
AT ITER 496 NEW BEST:: SOT 15298 SOS 10322 HAS SOPS 7117 HAS SOUS 3311 HAS SOUPS 3145 WITH SCORE 3155.322
AT ITER 501 NEW BEST:: SOT 15264 SOS 10254 HAS SOPS 7032 HAS SOUS 3243 HAS SOUPS 3077 WITH SCORE 3087.254
AT ITER 503 NEW BEST:: SOT 15268 SOS 10243 HAS SOPS 7013 HAS SOUS 3224 HAS SOUPS 3058 WITH SCORE 3068.243
AT ITER 506 NEW BEST:: SOT 15271 SOS 10209 HAS SOPS 6976 HAS SOUS 3181 HAS SOUPS 3015 WITH SCORE 3025.209
AT ITER 507 NEW BEST:: SOT 15329 SOS 10141 HAS SOPS 6952 HAS SOUS 3157 HAS SOUPS 2997 WITH SCORE 3007.141
AT ITER 518 NEW BEST:: SOT 15328 SOS 10178 HAS SOPS 6950 HAS SOUS 3136 HAS SOUPS 2976 WITH SCORE 2986.178
AT ITER 529 NEW BEST:: SOT 15328 SOS 10157 HAS SOPS 6932 HAS SOUS 3136 HAS SOUPS 2976 WITH SCORE 2986.157
AT ITER 537 NEW BEST:: SOT 15328 SOS 10157 HAS SOPS 6932 HAS SOUS 3131 HAS SOUPS 2971 WITH SCORE 2981.157
AT ITER 549 NEW BEST:: SOT 15328 SOS 10154 HAS SOPS 6930 HAS SOUS 3131 HAS SOUPS 2971 WITH SCORE 2981.154
AT ITER 550 NEW BEST:: SOT 15361 SOS 10180 HAS SOPS 6947 HAS SOUS 3125 HAS SOUPS 2964 WITH SCORE 2974.18
AT ITER 561 NEW BEST:: SOT 15359 SOS 10194 HAS SOPS 6943 HAS SOUS 3112 HAS SOUPS 2951 WITH SCORE 2961.194
AT ITER 568 NEW BEST:: SOT 15355 SOS 10192 HAS SOPS 6937 HAS SOUS 3106 HAS SOUPS 2945 WITH SCORE 2955.192
AT ITER 608 NEW BEST:: SOT 15334 SOS 10161 HAS SOPS 6895 HAS SOUS 3067 HAS SOUPS 2906 WITH SCORE 2916.161
AT ITER 623 NEW BEST:: SOT 15439 SOS 10237 HAS SOPS 6881 HAS SOUS 3058 HAS SOUPS 2897 WITH SCORE 2907.237
AT ITER 626 NEW BEST:: SOT 15324 SOS 10115 HAS SOPS 6803 HAS SOUS 3015 HAS SOUPS 2854 WITH SCORE 2864.115
AT ITER 634 NEW BEST:: SOT 15324 SOS 10109 HAS SOPS 6803 HAS SOUS 3015 HAS SOUPS 2854 WITH SCORE 2864.109
AT ITER 644 NEW BEST:: SOT 15322 SOS 10105 HAS SOPS 6798 HAS SOUS 3012 HAS SOUPS 2851 WITH SCORE 2861.105
AT ITER 654 NEW BEST:: SOT 15322 SOS 10098 HAS SOPS 6791 HAS SOUS 3012 HAS SOUPS 2851 WITH SCORE 2861.098
AT ITER 655 NEW BEST:: SOT 15284 SOS 10025 HAS SOPS 6623 HAS SOUS 2958 HAS SOUPS 2797 WITH SCORE 2807.025
AT ITER 666 NEW BEST:: SOT 15280 SOS 10013 HAS SOPS 6611 HAS SOUS 2950 HAS SOUPS 2789 WITH SCORE 2799.013
AT ITER 676 NEW BEST:: SOT 15260 SOS 9973 HAS SOPS 6571 HAS SOUS 2926 HAS SOUPS 2765 WITH SCORE 2774.973
AT ITER 678 NEW BEST:: SOT 15258 SOS 9935 HAS SOPS 6543 HAS SOUS 2910 HAS SOUPS 2749 WITH SCORE 2758.935
AT ITER 682 NEW BEST:: SOT 15258 SOS 9934 HAS SOPS 6543 HAS SOUS 2907 HAS SOUPS 2746 WITH SCORE 2755.934
AT ITER 688 NEW BEST:: SOT 15252 SOS 9922 HAS SOPS 6489 HAS SOUS 2874 HAS SOUPS 2713 WITH SCORE 2722.922
AT ITER 697 NEW BEST:: SOT 15254 SOS 9917 HAS SOPS 6486 HAS SOUS 2871 HAS SOUPS 2710 WITH SCORE 2719.917
AT ITER 698 NEW BEST:: SOT 15256 SOS 9919 HAS SOPS 6482 HAS SOUS 2850 HAS SOUPS 2688 WITH SCORE 2697.919
AT ITER 708 NEW BEST:: SOT 15237 SOS 9885 HAS SOPS 6444 HAS SOUS 2816 HAS SOUPS 2654 WITH SCORE 2663.885
AT ITER 729 NEW BEST:: SOT 15228 SOS 9867 HAS SOPS 6426 HAS SOUS 2805 HAS SOUPS 2643 WITH SCORE 2652.867
AT ITER 734 NEW BEST:: SOT 15226 SOS 10627 HAS SOPS 6167 HAS SOUS 2805 HAS SOUPS 2632 WITH SCORE 2642.627
AT ITER 742 NEW BEST:: SOT 15208 SOS 10600 HAS SOPS 6131 HAS SOUS 2792 HAS SOUPS 2619 WITH SCORE 2629.6
AT ITER 744 NEW BEST:: SOT 15205 SOS 10599 HAS SOPS 6125 HAS SOUS 2784 HAS SOUPS 2611 WITH SCORE 2621.599
AT ITER 758 NEW BEST:: SOT 15205 SOS 10596 HAS SOPS 6122 HAS SOUS 2781 HAS SOUPS 2608 WITH SCORE 2618.596
AT ITER 759 NEW BEST:: SOT 15200 SOS 10589 HAS SOPS 6112 HAS SOUS 2779 HAS SOUPS 2606 WITH SCORE 2616.589
AT ITER 764 NEW BEST:: SOT 15198 SOS 10585 HAS SOPS 6108 HAS SOUS 2777 HAS SOUPS 2604 WITH SCORE 2614.585
AT ITER 766 NEW BEST:: SOT 15182 SOS 10589 HAS SOPS 6098 HAS SOUS 2769 HAS SOUPS 2596 WITH SCORE 2606.589
AT ITER 767 NEW BEST:: SOT 15176 SOS 10593 HAS SOPS 6092 HAS SOUS 2761 HAS SOUPS 2588 WITH SCORE 2598.593
AT ITER 769 NEW BEST:: SOT 15173 SOS 10590 HAS SOPS 6086 HAS SOUS 2758 HAS SOUPS 2585 WITH SCORE 2595.59
AT ITER 799 NEW BEST:: SOT 15157 SOS 9789 HAS SOPS 6071 HAS SOUS 2726 HAS SOUPS 2561 WITH SCORE 2570.789
AT ITER 804 NEW BEST:: SOT 15157 SOS 9791 HAS SOPS 6071 HAS SOUS 2724 HAS SOUPS 2559 WITH SCORE 2568.791
AT ITER 817 NEW BEST:: SOT 15162 SOS 9787 HAS SOPS 6065 HAS SOUS 2713 HAS SOUPS 2548 WITH SCORE 2557.787
AT ITER 818 NEW BEST:: SOT 15151 SOS 9768 HAS SOPS 6043 HAS SOUS 2694 HAS SOUPS 2529 WITH SCORE 2538.768
AT ITER 825 NEW BEST:: SOT 15147 SOS 9760 HAS SOPS 6035 HAS SOUS 2686 HAS SOUPS 2521 WITH SCORE 2530.76
AT ITER 867 NEW BEST:: SOT 15143 SOS 9730 HAS SOPS 6015 HAS SOUS 2674 HAS SOUPS 2509 WITH SCORE 2518.73
AT ITER 869 NEW BEST:: SOT 15123 SOS 9690 HAS SOPS 5975 HAS SOUS 2627 HAS SOUPS 2462 WITH SCORE 2471.69
AT ITER 876 NEW BEST:: SOT 15121 SOS 9680 HAS SOPS 5971 HAS SOUS 2627 HAS SOUPS 2462 WITH SCORE 2471.68
AT ITER 908 NEW BEST:: SOT 15114 SOS 9680 HAS SOPS 5964 HAS SOUS 2620 HAS SOUPS 2455 WITH SCORE 2464.68
AT ITER 921 NEW BEST:: SOT 15110 SOS 9680 HAS SOPS 5960 HAS SOUS 2616 HAS SOUPS 2451 WITH SCORE 2460.68
AT ITER 941 NEW BEST:: SOT 15110 SOS 9685 HAS SOPS 5960 HAS SOUS 2614 HAS SOUPS 2449 WITH SCORE 2458.685
AT ITER 952 NEW BEST:: SOT 15105 SOS 9674 HAS SOPS 5950 HAS SOUS 2604 HAS SOUPS 2439 WITH SCORE 2448.674
AT ITER 970 NEW BEST:: SOT 15097 SOS 9666 HAS SOPS 5934 HAS SOUS 2588 HAS SOUPS 2423 WITH SCORE 2432.666
AT ITER 979 NEW BEST:: SOT 15044 SOS 9610 HAS SOPS 5876 HAS SOUS 2557 HAS SOUPS 2392 WITH SCORE 2401.61
AT ITER 985 NEW BEST:: SOT 15049 SOS 9608 HAS SOPS 5876 HAS SOUS 2557 HAS SOUPS 2392 WITH SCORE 2401.608
AT ITER 998 NEW BEST:: SOT 15046 SOS 9599 HAS SOPS 5867 HAS SOUS 2557 HAS SOUPS 2392 WITH SCORE 2401.599
AT ITER 999 NEW BEST:: SOT 15046 SOS 9566 HAS SOPS 5867 HAS SOUS 2549 HAS SOUPS 2392 WITH SCORE 2401.566
AT ITER 1010 NEW BEST:: SOT 15041 SOS 9564 HAS SOPS 5862 HAS SOUS 2544 HAS SOUPS 2387 WITH SCORE 2396.564
AT ITER 1017 NEW BEST:: SOT 15034 SOS 9564 HAS SOPS 5855 HAS SOUS 2537 HAS SOUPS 2380 WITH SCORE 2389.564
AT ITER 1040 NEW BEST:: SOT 15026 SOS 9576 HAS SOPS 5867 HAS SOUS 2531 HAS SOUPS 2374 WITH SCORE 2383.576
AT ITER 1048 NEW BEST:: SOT 15026 SOS 9560 HAS SOPS 5846 HAS SOUS 2512 HAS SOUPS 2355 WITH SCORE 2364.56
AT ITER 1054 NEW BEST:: SOT 15026 SOS 9546 HAS SOPS 5846 HAS SOUS 2512 HAS SOUPS 2355 WITH SCORE 2364.546
AT ITER 1132 NEW BEST:: SOT 15011 SOS 9534 HAS SOPS 5834 HAS SOUS 2503 HAS SOUPS 2346 WITH SCORE 2355.534
AT ITER 1145 NEW BEST:: SOT 15005 SOS 9541 HAS SOPS 5832 HAS SOUS 2498 HAS SOUPS 2341 WITH SCORE 2350.541
AT ITER 1172 NEW BEST:: SOT 15003 SOS 9539 HAS SOPS 5828 HAS SOUS 2494 HAS SOUPS 2337 WITH SCORE 2346.539
AT ITER 1226 NEW BEST:: SOT 15003 SOS 9541 HAS SOPS 5828 HAS SOUS 2492 HAS SOUPS 2335 WITH SCORE 2344.541
AT ITER 1259 NEW BEST:: SOT 15003 SOS 9536 HAS SOPS 5823 HAS SOUS 2487 HAS SOUPS 2330 WITH SCORE 2339.536
AT ITER 1273 NEW BEST:: SOT 15018 SOS 9541 HAS SOPS 5819 HAS SOUS 2484 HAS SOUPS 2325 WITH SCORE 2334.541
AT ITER 1312 NEW BEST:: SOT 15017 SOS 9540 HAS SOPS 5818 HAS SOUS 2484 HAS SOUPS 2325 WITH SCORE 2334.54
AT ITER 1313 NEW BEST:: SOT 15016 SOS 9539 HAS SOPS 5817 HAS SOUS 2483 HAS SOUPS 2324 WITH SCORE 2333.539
AT ITER 1330 NEW BEST:: SOT 15016 SOS 9535 HAS SOPS 5815 HAS SOUS 2483 HAS SOUPS 2324 WITH SCORE 2333.535
AT ITER 1339 NEW BEST:: SOT 15004 SOS 9517 HAS SOPS 5799 HAS SOUS 2467 HAS SOUPS 2308 WITH SCORE 2317.517
AT ITER 1347 NEW BEST:: SOT 15000 SOS 9503 HAS SOPS 5785 HAS SOUS 2460 HAS SOUPS 2301 WITH SCORE 2310.503
AT ITER 1377 NEW BEST:: SOT 14997 SOS 9500 HAS SOPS 5779 HAS SOUS 2454 HAS SOUPS 2295 WITH SCORE 2304.5
AT ITER 1403 NEW BEST:: SOT 14993 SOS 9496 HAS SOPS 5771 HAS SOUS 2446 HAS SOUPS 2287 WITH SCORE 2296.496
AT ITER 1433 NEW BEST:: SOT 14993 SOS 9412 HAS SOPS 5772 HAS SOUS 2444 HAS SOUPS 2286 WITH SCORE 2295.412
AT ITER 1449 NEW BEST:: SOT 14989 SOS 9404 HAS SOPS 5764 HAS SOUS 2434 HAS SOUPS 2276 WITH SCORE 2285.404
AT ITER 1483 NEW BEST:: SOT 14988 SOS 9403 HAS SOPS 5763 HAS SOUS 2433 HAS SOUPS 2275 WITH SCORE 2284.403
AT ITER 1493 NEW BEST:: SOT 14991 SOS 9428 HAS SOPS 5769 HAS SOUS 2422 HAS SOUPS 2264 WITH SCORE 2273.428
AT ITER 1497 NEW BEST:: SOT 14982 SOS 9419 HAS SOPS 5751 HAS SOUS 2413 HAS SOUPS 2246 WITH SCORE 2255.419
AT ITER 1521 NEW BEST:: SOT 14977 SOS 9420 HAS SOPS 5747 HAS SOUS 2409 HAS SOUPS 2242 WITH SCORE 2251.42
AT ITER 1550 NEW BEST:: SOT 14976 SOS 9420 HAS SOPS 5745 HAS SOUS 2407 HAS SOUPS 2240 WITH SCORE 2249.42
AT ITER 1603 NEW BEST:: SOT 14972 SOS 9414 HAS SOPS 5743 HAS SOUS 2407 HAS SOUPS 2240 WITH SCORE 2249.414
AT ITER 1630 NEW BEST:: SOT 14970 SOS 9409 HAS SOPS 5735 HAS SOUS 2401 HAS SOUPS 2234 WITH SCORE 2243.409
AT ITER 1656 NEW BEST:: SOT 14966 SOS 9405 HAS SOPS 5731 HAS SOUS 2397 HAS SOUPS 2230 WITH SCORE 2239.405
AT ITER 1688 NEW BEST:: SOT 14967 SOS 9406 HAS SOPS 5730 HAS SOUS 2393 HAS SOUPS 2226 WITH SCORE 2235.406
AT ITER 1702 NEW BEST:: SOT 14964 SOS 9404 HAS SOPS 5726 HAS SOUS 2389 HAS SOUPS 2222 WITH SCORE 2231.404
AT ITER 1707 NEW BEST:: SOT 14963 SOS 9401 HAS SOPS 5723 HAS SOUS 2387 HAS SOUPS 2220 WITH SCORE 2229.401
AT ITER 1714 NEW BEST:: SOT 14967 SOS 9400 HAS SOPS 5722 HAS SOUS 2386 HAS SOUPS 2219 WITH SCORE 2228.4
AT ITER 1724 NEW BEST:: SOT 14966 SOS 9399 HAS SOPS 5720 HAS SOUS 2386 HAS SOUPS 2219 WITH SCORE 2228.399
AT ITER 1740 NEW BEST:: SOT 14960 SOS 9388 HAS SOPS 5708 HAS SOUS 2371 HAS SOUPS 2204 WITH SCORE 2213.388
AT ITER 1761 NEW BEST:: SOT 14957 SOS 9382 HAS SOPS 5702 HAS SOUS 2365 HAS SOUPS 2198 WITH SCORE 2207.382
AT ITER 1770 NEW BEST:: SOT 14962 SOS 9376 HAS SOPS 5701 HAS SOUS 2364 HAS SOUPS 2197 WITH SCORE 2206.376
AT ITER 1775 NEW BEST:: SOT 14962 SOS 9374 HAS SOPS 5700 HAS SOUS 2364 HAS SOUPS 2197 WITH SCORE 2206.374
AT ITER 1789 NEW BEST:: SOT 14959 SOS 9371 HAS SOPS 5696 HAS SOUS 2361 HAS SOUPS 2194 WITH SCORE 2203.371
AT ITER 1790 NEW BEST:: SOT 14955 SOS 9390 HAS SOPS 5702 HAS SOUS 2358 HAS SOUPS 2191 WITH SCORE 2200.39
AT ITER 1799 NEW BEST:: SOT 14951 SOS 9389 HAS SOPS 5700 HAS SOUS 2356 HAS SOUPS 2189 WITH SCORE 2198.389
AT ITER 1801 NEW BEST:: SOT 14946 SOS 9379 HAS SOPS 5690 HAS SOUS 2356 HAS SOUPS 2189 WITH SCORE 2198.379
AT ITER 1827 NEW BEST:: SOT 14945 SOS 9376 HAS SOPS 5687 HAS SOUS 2354 HAS SOUPS 2187 WITH SCORE 2196.376
AT ITER 1836 NEW BEST:: SOT 14941 SOS 9368 HAS SOPS 5675 HAS SOUS 2342 HAS SOUPS 2175 WITH SCORE 2184.368
AT ITER 1864 NEW BEST:: SOT 14936 SOS 9357 HAS SOPS 5665 HAS SOUS 2338 HAS SOUPS 2171 WITH SCORE 2180.357
AT ITER 1950 NEW BEST:: SOT 14897 SOS 9321 HAS SOPS 5641 HAS SOUS 2338 HAS SOUPS 2171 WITH SCORE 2180.321
AT ITER 1954 NEW BEST:: SOT 14893 SOS 9317 HAS SOPS 5633 HAS SOUS 2330 HAS SOUPS 2163 WITH SCORE 2172.317
AT ITER 1972 NEW BEST:: SOT 14893 SOS 9315 HAS SOPS 5631 HAS SOUS 2329 HAS SOUPS 2162 WITH SCORE 2171.315
AT ITER 1985 NEW BEST:: SOT 14871 SOS 9299 HAS SOPS 5615 HAS SOUS 2314 HAS SOUPS 2147 WITH SCORE 2156.299
AT ITER 2004 NEW BEST:: SOT 14869 SOS 9295 HAS SOPS 5609 HAS SOUS 2308 HAS SOUPS 2141 WITH SCORE 2150.295
AT ITER 2021 NEW BEST:: SOT 14866 SOS 9291 HAS SOPS 5605 HAS SOUS 2306 HAS SOUPS 2139 WITH SCORE 2148.291
AT ITER 2067 NEW BEST:: SOT 14863 SOS 9287 HAS SOPS 5600 HAS SOUS 2302 HAS SOUPS 2134 WITH SCORE 2143.287
AT ITER 2076 NEW BEST:: SOT 14861 SOS 9283 HAS SOPS 5596 HAS SOUS 2298 HAS SOUPS 2130 WITH SCORE 2139.283
AT ITER 2085 NEW BEST:: SOT 14844 SOS 9259 HAS SOPS 5562 HAS SOUS 2264 HAS SOUPS 2096 WITH SCORE 2105.259
AT ITER 2091 NEW BEST:: SOT 14843 SOS 9257 HAS SOPS 5559 HAS SOUS 2261 HAS SOUPS 2093 WITH SCORE 2102.257
AT ITER 2112 NEW BEST:: SOT 14843 SOS 9255 HAS SOPS 5559 HAS SOUS 2261 HAS SOUPS 2093 WITH SCORE 2102.255
AT ITER 2120 NEW BEST:: SOT 14843 SOS 9254 HAS SOPS 5559 HAS SOUS 2261 HAS SOUPS 2093 WITH SCORE 2102.254
AT ITER 2130 NEW BEST:: SOT 14835 SOS 9232 HAS SOPS 5543 HAS SOUS 2258 HAS SOUPS 2090 WITH SCORE 2099.232
AT ITER 2166 NEW BEST:: SOT 14831 SOS 9222 HAS SOPS 5535 HAS SOUS 2255 HAS SOUPS 2087 WITH SCORE 2096.222
AT ITER 2226 NEW BEST:: SOT 14832 SOS 9226 HAS SOPS 5537 HAS SOUS 2254 HAS SOUPS 2086 WITH SCORE 2095.226
AT ITER 2286 NEW BEST:: SOT 14822 SOS 9216 HAS SOPS 5526 HAS SOUS 2247 HAS SOUPS 2079 WITH SCORE 2088.216
AT ITER 2288 NEW BEST:: SOT 14822 SOS 9214 HAS SOPS 5525 HAS SOUS 2247 HAS SOUPS 2079 WITH SCORE 2088.214
AT ITER 2304 NEW BEST:: SOT 14817 SOS 9209 HAS SOPS 5520 HAS SOUS 2242 HAS SOUPS 2074 WITH SCORE 2083.209
AT ITER 2337 NEW BEST:: SOT 14817 SOS 9205 HAS SOPS 5514 HAS SOUS 2238 HAS SOUPS 2070 WITH SCORE 2079.205
AT ITER 2356 NEW BEST:: SOT 14809 SOS 9199 HAS SOPS 5510 HAS SOUS 2234 HAS SOUPS 2066 WITH SCORE 2075.199
AT ITER 2372 NEW BEST:: SOT 14823 SOS 10516 HAS SOPS 5495 HAS SOUS 2243 HAS SOUPS 2062 WITH SCORE 2072.516
AT ITER 2389 NEW BEST:: SOT 14817 SOS 10510 HAS SOPS 5483 HAS SOUS 2231 HAS SOUPS 2050 WITH SCORE 2060.51
AT ITER 2401 NEW BEST:: SOT 14816 SOS 10508 HAS SOPS 5481 HAS SOUS 2230 HAS SOUPS 2049 WITH SCORE 2059.508
AT ITER 2425 NEW BEST:: SOT 14818 SOS 10529 HAS SOPS 5485 HAS SOUS 2219 HAS SOUPS 2038 WITH SCORE 2048.529
AT ITER 2444 NEW BEST:: SOT 14821 SOS 10540 HAS SOPS 5491 HAS SOUS 2218 HAS SOUPS 2037 WITH SCORE 2047.54
AT ITER 2451 NEW BEST:: SOT 14814 SOS 10525 HAS SOPS 5477 HAS SOUS 2207 HAS SOUPS 2026 WITH SCORE 2036.525
AT ITER 2488 NEW BEST:: SOT 14784 SOS 10506 HAS SOPS 5462 HAS SOUS 2202 HAS SOUPS 2021 WITH SCORE 2031.506
AT ITER 2489 NEW BEST:: SOT 14783 SOS 10505 HAS SOPS 5460 HAS SOUS 2200 HAS SOUPS 2019 WITH SCORE 2029.505
AT ITER 2493 NEW BEST:: SOT 14781 SOS 10501 HAS SOPS 5454 HAS SOUS 2194 HAS SOUPS 2013 WITH SCORE 2023.501
AT ITER 2504 NEW BEST:: SOT 14781 SOS 10723 HAS SOPS 5448 HAS SOUS 2192 HAS SOUPS 2009 WITH SCORE 2019.723
AT ITER 2608 NEW BEST:: SOT 14768 SOS 10712 HAS SOPS 5436 HAS SOUS 2185 HAS SOUPS 2002 WITH SCORE 2012.712
AT ITER 2614 NEW BEST:: SOT 14771 SOS 10713 HAS SOPS 5436 HAS SOUS 2181 HAS SOUPS 1998 WITH SCORE 2008.713
AT ITER 2637 NEW BEST:: SOT 14771 SOS 10710 HAS SOPS 5432 HAS SOUS 2177 HAS SOUPS 1994 WITH SCORE 2004.71
AT ITER 2677 NEW BEST:: SOT 14771 SOS 10709 HAS SOPS 5432 HAS SOUS 2177 HAS SOUPS 1994 WITH SCORE 2004.709
AT ITER 2711 NEW BEST:: SOT 14769 SOS 10707 HAS SOPS 5432 HAS SOUS 2177 HAS SOUPS 1994 WITH SCORE 2004.707
AT ITER 2737 NEW BEST:: SOT 14765 SOS 10697 HAS SOPS 5424 HAS SOUS 2175 HAS SOUPS 1992 WITH SCORE 2002.697
AT ITER 2741 NEW BEST:: SOT 14764 SOS 10696 HAS SOPS 5422 HAS SOUS 2173 HAS SOUPS 1990 WITH SCORE 2000.696
AT ITER 2742 NEW BEST:: SOT 14764 SOS 10698 HAS SOPS 5422 HAS SOUS 2172 HAS SOUPS 1989 WITH SCORE 1999.698
AT ITER 2743 NEW BEST:: SOT 14763 SOS 10703 HAS SOPS 5423 HAS SOUS 2170 HAS SOUPS 1987 WITH SCORE 1997.703
AT ITER 2818 NEW BEST:: SOT 14760 SOS 10699 HAS SOPS 5418 HAS SOUS 2165 HAS SOUPS 1982 WITH SCORE 1992.699
AT ITER 2842 NEW BEST:: SOT 14761 SOS 10698 HAS SOPS 5418 HAS SOUS 2165 HAS SOUPS 1982 WITH SCORE 1992.698
AT ITER 2875 NEW BEST:: SOT 14760 SOS 10698 HAS SOPS 5417 HAS SOUS 2164 HAS SOUPS 1981 WITH SCORE 1991.698
AT ITER 2880 NEW BEST:: SOT 14770 SOS 10708 HAS SOPS 5413 HAS SOUS 2162 HAS SOUPS 1979 WITH SCORE 1989.708
AT ITER 2897 NEW BEST:: SOT 14761 SOS 10700 HAS SOPS 5405 HAS SOUS 2155 HAS SOUPS 1972 WITH SCORE 1982.7
AT ITER 2933 NEW BEST:: SOT 14761 SOS 10699 HAS SOPS 5403 HAS SOUS 2153 HAS SOUPS 1970 WITH SCORE 1980.699
AT ITER 2994 NEW BEST:: SOT 14757 SOS 10698 HAS SOPS 5398 HAS SOUS 2148 HAS SOUPS 1965 WITH SCORE 1975.698
AT ITER 3033 NEW BEST:: SOT 14765 SOS 10704 HAS SOPS 5396 HAS SOUS 2140 HAS SOUPS 1957 WITH SCORE 1967.704
AT ITER 3047 NEW BEST:: SOT 14760 SOS 10693 HAS SOPS 5382 HAS SOUS 2129 HAS SOUPS 1946 WITH SCORE 1956.693
AT ITER 3109 NEW BEST:: SOT 14753 SOS 10688 HAS SOPS 5374 HAS SOUS 2122 HAS SOUPS 1939 WITH SCORE 1949.688
AT ITER 3172 NEW BEST:: SOT 14751 SOS 10686 HAS SOPS 5370 HAS SOUS 2118 HAS SOUPS 1935 WITH SCORE 1945.686
AT ITER 3207 NEW BEST:: SOT 14749 SOS 10683 HAS SOPS 5366 HAS SOUS 2115 HAS SOUPS 1932 WITH SCORE 1942.683
AT ITER 3274 NEW BEST:: SOT 14749 SOS 10682 HAS SOPS 5365 HAS SOUS 2114 HAS SOUPS 1931 WITH SCORE 1941.682
AT ITER 3291 NEW BEST:: SOT 14746 SOS 10676 HAS SOPS 5359 HAS SOUS 2108 HAS SOUPS 1925 WITH SCORE 1935.676
AT ITER 3487 NEW BEST:: SOT 14740 SOS 10670 HAS SOPS 5347 HAS SOUS 2096 HAS SOUPS 1913 WITH SCORE 1923.67
AT ITER 3508 NEW BEST:: SOT 14740 SOS 10671 HAS SOPS 5322 HAS SOUS 2095 HAS SOUPS 1912 WITH SCORE 1922.671
AT ITER 3545 NEW BEST:: SOT 14739 SOS 10668 HAS SOPS 5318 HAS SOUS 2091 HAS SOUPS 1908 WITH SCORE 1918.668
AT ITER 3707 NEW BEST:: SOT 14738 SOS 10691 HAS SOPS 5328 HAS SOUS 2089 HAS SOUPS 1906 WITH SCORE 1916.691
AT ITER 3711 NEW BEST:: SOT 14734 SOS 10695 HAS SOPS 5328 HAS SOUS 2088 HAS SOUPS 1905 WITH SCORE 1915.695
AT ITER 3729 NEW BEST:: SOT 14733 SOS 10693 HAS SOPS 5326 HAS SOUS 2086 HAS SOUPS 1903 WITH SCORE 1913.693
AT ITER 3906 NEW BEST:: SOT 14733 SOS 10692 HAS SOPS 5326 HAS SOUS 2086 HAS SOUPS 1903 WITH SCORE 1913.692
AT ITER 3935 NEW BEST:: SOT 14732 SOS 10692 HAS SOPS 5326 HAS SOUS 2085 HAS SOUPS 1902 WITH SCORE 1912.692
AT ITER 4042 NEW BEST:: SOT 14734 SOS 10692 HAS SOPS 5324 HAS SOUS 2085 HAS SOUPS 1900 WITH SCORE 1910.692
AT ITER 4213 NEW BEST:: SOT 14730 SOS 10686 HAS SOPS 5316 HAS SOUS 2079 HAS SOUPS 1894 WITH SCORE 1904.686
AT ITER 4298 NEW BEST:: SOT 14728 SOS 10682 HAS SOPS 5312 HAS SOUS 2076 HAS SOUPS 1891 WITH SCORE 1901.682
AT ITER 4435 NEW BEST:: SOT 14727 SOS 10657 HAS SOPS 5298 HAS SOUS 2074 HAS SOUPS 1889 WITH SCORE 1899.657
AT ITER 4583 NEW BEST:: SOT 14727 SOS 10653 HAS SOPS 5296 HAS SOUS 2074 HAS SOUPS 1889 WITH SCORE 1899.653
AT ITER 4663 NEW BEST:: SOT 14725 SOS 10647 HAS SOPS 5290 HAS SOUS 2071 HAS SOUPS 1886 WITH SCORE 1896.647
AT ITER 4950 NEW BEST:: SOT 14724 SOS 10646 HAS SOPS 5288 HAS SOUS 2069 HAS SOUPS 1884 WITH SCORE 1894.646
AT ITER 5004 NEW BEST:: SOT 14723 SOS 10643 HAS SOPS 5286 HAS SOUS 2069 HAS SOUPS 1884 WITH SCORE 1894.643
AT ITER 5177 NEW BEST:: SOT 14723 SOS 10646 HAS SOPS 5286 HAS SOUS 2068 HAS SOUPS 1883 WITH SCORE 1893.646
AT ITER 5298 NEW BEST:: SOT 14721 SOS 10642 HAS SOPS 5282 HAS SOUS 2065 HAS SOUPS 1880 WITH SCORE 1890.642
AT ITER 5398 NEW BEST:: SOT 14725 SOS 10642 HAS SOPS 5282 HAS SOUS 2063 HAS SOUPS 1878 WITH SCORE 1888.642
AT ITER 5502 NEW BEST:: SOT 14724 SOS 10641 HAS SOPS 5282 HAS SOUS 2063 HAS SOUPS 1878 WITH SCORE 1888.641
AT ITER 5615 NEW BEST:: SOT 14724 SOS 10637 HAS SOPS 5280 HAS SOUS 2063 HAS SOUPS 1878 WITH SCORE 1888.637
AT ITER 5624 NEW BEST:: SOT 14723 SOS 10634 HAS SOPS 5278 HAS SOUS 2061 HAS SOUPS 1876 WITH SCORE 1886.634
AT ITER 5859 NEW BEST:: SOT 14721 SOS 10632 HAS SOPS 5276 HAS SOUS 2059 HAS SOUPS 1874 WITH SCORE 1884.632
AT ITER 5891 NEW BEST:: SOT 14721 SOS 10631 HAS SOPS 5276 HAS SOUS 2059 HAS SOUPS 1874 WITH SCORE 1884.631
AT ITER 5926 NEW BEST:: SOT 14721 SOS 10633 HAS SOPS 5276 HAS SOUS 2057 HAS SOUPS 1872 WITH SCORE 1882.633
AT ITER 6140 NEW BEST:: SOT 14722 SOS 10634 HAS SOPS 5275 HAS SOUS 2056 HAS SOUPS 1871 WITH SCORE 1881.634
AT ITER 6150 NEW BEST:: SOT 14720 SOS 10633 HAS SOPS 5274 HAS SOUS 2056 HAS SOUPS 1871 WITH SCORE 1881.633
AT ITER 6276 NEW BEST:: SOT 14721 SOS 10631 HAS SOPS 5276 HAS SOUS 2055 HAS SOUPS 1870 WITH SCORE 1880.631
AT ITER 6320 NEW BEST:: SOT 14719 SOS 10628 HAS SOPS 5272 HAS SOUS 2053 HAS SOUPS 1868 WITH SCORE 1878.628
AT ITER 6453 NEW BEST:: SOT 14746 SOS 10627 HAS SOPS 5271 HAS SOUS 2052 HAS SOUPS 1867 WITH SCORE 1877.627
AT ITER 6460 NEW BEST:: SOT 14744 SOS 10625 HAS SOPS 5268 HAS SOUS 2049 HAS SOUPS 1864 WITH SCORE 1874.625
AT ITER 6601 NEW BEST:: SOT 14742 SOS 10623 HAS SOPS 5265 HAS SOUS 2047 HAS SOUPS 1861 WITH SCORE 1871.623
AT ITER 6896 NEW BEST:: SOT 14739 SOS 10621 HAS SOPS 5262 HAS SOUS 2047 HAS SOUPS 1861 WITH SCORE 1871.621
AT ITER 6955 NEW BEST:: SOT 14736 SOS 10618 HAS SOPS 5259 HAS SOUS 2044 HAS SOUPS 1858 WITH SCORE 1868.618
AT ITER 7209 NEW BEST:: SOT 14735 SOS 10603 HAS SOPS 5257 HAS SOUS 2042 HAS SOUPS 1856 WITH SCORE 1866.603
AT ITER 7356 NEW BEST:: SOT 14735 SOS 10601 HAS SOPS 5255 HAS SOUS 2040 HAS SOUPS 1854 WITH SCORE 1864.601
AT ITER 7387 NEW BEST:: SOT 14733 SOS 10599 HAS SOPS 5251 HAS SOUS 2036 HAS SOUPS 1850 WITH SCORE 1860.599
AT ITER 7505 NEW BEST:: SOT 14733 SOS 10589 HAS SOPS 5246 HAS SOUS 2036 HAS SOUPS 1850 WITH SCORE 1860.589
AT ITER 7661 NEW BEST:: SOT 14736 SOS 10582 HAS SOPS 5245 HAS SOUS 2036 HAS SOUPS 1850 WITH SCORE 1860.582
AT ITER 7667 NEW BEST:: SOT 14736 SOS 10582 HAS SOPS 5245 HAS SOUS 2035 HAS SOUPS 1849 WITH SCORE 1859.582
AT ITER 7717 NEW BEST:: SOT 14734 SOS 10580 HAS SOPS 5243 HAS SOUS 2033 HAS SOUPS 1847 WITH SCORE 1857.58
AT ITER 7931 NEW BEST:: SOT 14733 SOS 10578 HAS SOPS 5241 HAS SOUS 2031 HAS SOUPS 1845 WITH SCORE 1855.578
AT ITER 7949 NEW BEST:: SOT 14732 SOS 10577 HAS SOPS 5239 HAS SOUS 2029 HAS SOUPS 1843 WITH SCORE 1853.577
AT ITER 8066 NEW BEST:: SOT 14731 SOS 10576 HAS SOPS 5237 HAS SOUS 2027 HAS SOUPS 1841 WITH SCORE 1851.576
AT ITER 8089 NEW BEST:: SOT 14731 SOS 10574 HAS SOPS 5236 HAS SOUS 2027 HAS SOUPS 1841 WITH SCORE 1851.574
AT ITER 8104 NEW BEST:: SOT 14731 SOS 10571 HAS SOPS 5232 HAS SOUS 2024 HAS SOUPS 1838 WITH SCORE 1848.571
AT ITER 8183 NEW BEST:: SOT 14732 SOS 10795 HAS SOPS 5228 HAS SOUS 2024 HAS SOUPS 1836 WITH SCORE 1846.795
AT ITER 8503 NEW BEST:: SOT 14718 SOS 10779 HAS SOPS 5216 HAS SOUS 2019 HAS SOUPS 1831 WITH SCORE 1841.779
AT ITER 8526 NEW BEST:: SOT 14717 SOS 10777 HAS SOPS 5213 HAS SOUS 2016 HAS SOUPS 1828 WITH SCORE 1838.777
AT ITER 8885 NEW BEST:: SOT 14717 SOS 10768 HAS SOPS 5204 HAS SOUS 2016 HAS SOUPS 1828 WITH SCORE 1838.768
AT ITER 8977 NEW BEST:: SOT 14718 SOS 10768 HAS SOPS 5203 HAS SOUS 2014 HAS SOUPS 1826 WITH SCORE 1836.768
AT ITER 9271 NEW BEST:: SOT 14717 SOS 10765 HAS SOPS 5201 HAS SOUS 2014 HAS SOUPS 1826 WITH SCORE 1836.765
AT ITER 9317 NEW BEST:: SOT 14717 SOS 10766 HAS SOPS 5201 HAS SOUS 2013 HAS SOUPS 1825 WITH SCORE 1835.766
AT ITER 9352 NEW BEST:: SOT 14715 SOS 10765 HAS SOPS 5200 HAS SOUS 2012 HAS SOUPS 1824 WITH SCORE 1834.765
AT ITER 9549 NEW BEST:: SOT 14714 SOS 10762 HAS SOPS 5198 HAS SOUS 2012 HAS SOUPS 1824 WITH SCORE 1834.762
AT ITER 9670 NEW BEST:: SOT 14713 SOS 10761 HAS SOPS 5197 HAS SOUS 2011 HAS SOUPS 1823 WITH SCORE 1833.761
STATE_SPACE STATES 429981697 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 5201584129 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679475942674

--------------------
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

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="FlexibleBarrier-PT-08a"
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 FlexibleBarrier-PT-08a, 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 r171-tall-167838858700480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-08a.tgz
mv FlexibleBarrier-PT-08a 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 ;