3588.11/3596.04	o 83155259
3588.11/3596.04	o 63029999
3588.11/3596.04	o 53255759
3588.11/3596.04	o 52767047
3588.11/3596.04	o 52685595
3588.11/3596.04	o 52673351
3588.11/3596.04	o 52672271
3588.11/3596.04	o 52669887
3588.11/3596.04	o 52664975
3588.11/3596.04	o 52664529
3588.11/3596.04	o 52663762
3588.11/3596.04	o 52663128
3588.11/3596.04	o 52662208
3588.11/3596.04	o 52661943
3588.11/3596.04	o 52659447
3588.11/3596.04	o 52658124
3588.11/3596.04	o 52657761
3588.11/3596.04	o 52657031
3588.11/3596.04	o 52655490
3588.11/3596.04	o 52655418
3588.11/3596.04	o 52654104
3588.11/3596.04	o 52650546
3588.11/3596.04	o 52650460
3588.11/3596.04	o 52648656
3588.11/3596.04	o 52648351
3588.11/3596.04	o 52647705
3588.11/3596.04	o 52647489
3588.11/3596.04	o 52647389
3588.11/3596.04	o 52647238
3588.11/3596.04	o 52646736
3588.11/3596.04	o 52643756
3588.11/3596.04	o 52643702
3588.11/3596.04	o 52642455
3588.11/3596.04	o 52641174
3588.11/3596.04	o 52641059
3588.11/3596.04	o 52640971
3588.11/3596.04	o 52638916
3588.11/3596.04	o 52638473
3588.11/3596.04	o 52638161
3588.11/3596.04	o 52637728
3588.11/3596.04	o 52636422
3588.11/3596.04	o 52636039
3588.11/3596.04	o 52635897
3588.11/3596.04	o 52635642
3588.11/3596.04	o 52634935
3588.11/3596.04	o 52633677
3588.11/3596.04	o 52632863
3588.11/3596.04	o 52630069
3588.11/3596.04	o 52629290
3588.11/3596.04	o 52629148
3588.11/3596.04	o 52629094
3588.11/3596.04	o 52626472
3588.11/3596.04	o 52624590
3588.11/3596.04	o 52624344
3588.11/3596.04	o 52623258
3588.11/3596.04	o 52622547
3588.11/3596.04	o 52621412
3588.11/3596.04	o 52621187
3588.11/3596.04	o 52620687
3588.11/3596.04	o 52597455
3588.11/3596.04	o 52119771
3588.11/3596.04	o 52113267
3588.11/3596.04	o 52107459
3588.11/3596.04	o 52107432
3588.11/3596.04	o 52107277
3588.11/3596.04	o 52107183
3588.11/3596.04	o 52107125
3588.11/3596.04	o 52106621
3588.11/3596.04	o 52106615
3588.11/3596.04	o 52075016
3588.11/3596.04	o 52070138
3588.11/3596.04	o 52065782
3588.11/3596.04	o 52065279
3588.11/3596.04	o 52060725
3588.11/3596.04	o 52060167
3588.11/3596.04	o 52059735
3588.11/3596.04	o 52058346
3588.11/3596.04	o 52058203
3588.11/3596.04	o 52057637
3588.11/3596.04	o 52057498
3588.11/3596.04	o 52057093
3588.11/3596.04	o 52056944
3588.11/3596.04	o 52052460
3588.11/3596.04	o 52051978
3588.11/3596.04	o 52051902
3588.11/3596.04	o 52051844
3588.11/3596.04	o 52051649
3588.11/3596.04	o 52051119
3588.11/3596.04	o 52049006
3588.11/3596.04	o 52048625
3588.11/3596.04	o 52048387
3588.11/3596.04	o 52047897
3588.11/3596.04	o 52047801
3588.11/3596.04	o 52047475
3588.11/3596.04	o 52045711
3588.11/3596.04	o 52042998
3588.11/3596.04	o 52042345
3588.11/3596.04	o 52041615
3588.11/3596.04	o 52040074
3588.11/3596.04	o 52038830
3588.11/3596.04	o 52038063
3588.11/3596.04	o 52033623
3588.11/3596.04	o 52032019
3588.11/3596.04	o 52031819
3588.11/3596.04	o 52031514
3588.11/3596.04	o 52029570
3588.11/3596.04	o 52028492
3588.11/3596.04	o 52026389
3588.11/3596.04	o 52024495
3588.11/3596.04	o 52023718
3588.11/3596.04	o 52022701
3588.11/3596.04	o 52022440
3588.11/3596.04	o 52019214
3588.11/3596.04	o 52018968
3588.11/3596.04	o 52018960
3588.11/3596.04	o 52018528
3588.11/3596.04	o 52018000
3588.11/3596.04	o 52013114
3588.11/3596.04	o 52012955
3588.11/3596.04	o 52012586
3588.11/3596.04	o 52009884
3588.11/3596.04	o 52009334
3588.11/3596.04	o 52009291
3588.11/3596.04	o 52009264
3588.11/3596.04	o 52009252
3588.11/3596.04	o 52008892
3588.11/3596.04	o 52008696
3588.11/3596.04	o 52006598
3588.11/3596.04	o 52006470
3588.11/3596.04	o 52006249
3588.11/3596.04	o 49485865
3588.11/3596.04	o 48132745
3588.11/3596.04	o 47456185
3588.11/3596.04	o 47117905
3588.11/3596.04	o 46948765
3588.11/3596.04	o 46942957
3588.11/3596.04	o 46864195
3588.11/3596.04	o 46861291
3588.11/3596.04	o 46859150
3588.11/3596.04	o 46858791
3588.11/3596.04	o 46858272
3588.11/3596.04	o 46857839
3588.11/3596.04	o 46857470
3588.11/3596.04	o 46856888
3588.11/3596.04	o 46856663
3588.11/3596.04	o 46856379
3588.11/3596.04	o 46855864
3588.11/3596.04	o 46851037
3588.11/3596.04	o 46850398
3588.11/3596.04	o 46849929
3588.11/3596.04	o 46848488
3588.11/3596.04	o 46847352
3588.11/3596.04	o 46846105
3588.11/3596.04	o 46846058
3588.11/3596.04	o 46844154
3588.11/3596.04	o 46844143
3588.11/3596.04	o 46844142
3588.11/3596.04	o 46843985
3588.11/3596.04	o 46843681
3588.11/3596.04	o 46842702
3588.11/3596.04	o 46842256
3588.11/3596.04	o 46842223
3588.11/3596.04	o 46761709
3588.11/3596.04	o 46721452
3588.11/3596.04	o 46719676
3588.11/3596.04	o 46717644
3588.11/3596.04	o 46713560
3588.11/3596.04	o 46387752
3588.11/3596.04	o 46265574
3588.11/3596.04	o 46231397
3588.11/3596.04	o 46227043
3588.11/3596.04	o 46226957
3588.11/3596.04	o 46223717
3588.11/3596.04	o 46223217
3588.11/3596.04	o 46223095
3588.11/3596.04	o 46222296
3588.11/3596.04	o 46222060
3588.11/3596.04	o 46214908
3588.11/3596.04	o 46185015
3588.11/3596.04	o 46184944
3588.11/3596.04	o 46184632
3588.11/3596.04	o 46183932
3588.11/3596.04	o 46183602
3588.11/3596.04	o 46183505
3588.11/3596.04	o 46182714
3588.11/3596.04	o 46182520
3588.11/3596.04	o 46179616
3588.11/3596.04	o 46179523
3588.11/3596.04	o 46179437
3588.11/3596.04	o 46179333
3588.11/3596.04	o 46179050
3588.11/3596.04	o 46178871
3588.11/3596.04	o 46085161
3588.11/3596.04	o 46055041
3588.11/3596.04	o 46041348
3588.11/3596.04	o 46040782
3588.11/3596.04	o 46036876
3588.11/3596.04	o 45741028
3588.11/3596.04	o 45724060
3588.11/3596.04	o 45562036
3588.11/3596.04	o 45559228
3588.11/3596.04	o 45558852
3588.11/3596.04	o 45556750
3588.11/3596.04	o 45556494
3588.11/3596.04	o 45556332
3588.11/3596.04	o 45555656
3588.11/3596.04	o 45554637
3588.11/3596.04	o 45554371
3588.11/3596.04	o 45554115
3588.11/3596.04	o 45553953
3588.11/3596.04	o 45553033
3588.11/3596.04	o 45552768
3588.11/3596.04	o 45552453
3588.11/3596.04	o 45552188
3588.11/3596.04	o 45551897
3588.11/3596.04	o 45551677
3588.11/3596.04	o 45551421
3588.11/3596.04	o 45551259
3588.11/3596.04	o 45551220
3588.11/3596.04	o 45551058
3588.11/3596.04	o 45550902
3588.11/3596.04	o 45550586
3588.11/3596.04	o 45550321
3588.11/3596.04	o 45550086
3588.11/3596.04	o 45549933
3588.11/3596.04	o 45549830
3588.11/3596.04	o 45549668
3588.11/3596.04	o 45549616
3588.11/3596.04	o 45549454
3588.11/3596.04	o 45549042
3588.11/3596.04	o 45548540
3588.11/3596.04	o 45548275
3588.11/3596.04	o 45548122
3588.11/3596.04	o 45548019
3588.11/3596.04	o 45547857
3588.11/3596.04	o 45547763
3588.11/3596.04	o 45547293
3588.11/3596.04	o 45547187
3588.11/3596.04	o 45545881
3588.11/3596.04	o 45545873
3588.11/3596.04	o 45544701
3588.11/3596.04	o 45544559
3588.11/3596.04	o 45544502
3588.11/3596.04	o 45544118
3588.11/3596.04	o 45543976
3588.11/3596.04	o 45541182
3588.11/3596.04	o 45540680
3588.11/3596.04	o 45540042
3588.11/3596.04	o 45539910
3588.11/3596.04	o 45539408
3588.11/3596.04	o 45537680
3588.11/3596.04	o 45537375
3588.11/3596.04	o 45537213
3588.11/3596.04	o 45537095
3588.11/3596.04	o 45536590
3588.11/3596.04	o 45535237
3588.11/3596.04	o 45534732
3588.11/3596.04	o 45534462
3588.11/3596.04	o 45534269
3588.11/3596.04	o 45534121
3588.11/3596.04	o 45533816
3588.11/3596.04	o 45533654
3588.11/3596.04	o 45533629
3588.11/3596.04	o 45533413
3588.11/3596.04	o 45533206
3588.11/3596.04	o 45533199
3588.11/3596.04	o 45532894
3588.11/3596.04	o 45532461
3588.11/3596.04	o 45532409
3588.11/3596.04	o 45532193
3588.11/3596.04	o 45532065
3588.11/3596.04	o 45532015
3588.11/3596.04	o 45531961
3588.11/3596.04	o 45531710
3588.11/3596.04	o 45531656
3588.11/3596.04	o 45531615
3588.11/3596.04	o 45531561
3588.11/3596.04	o 45531418
3588.11/3596.04	o 45531113
3588.11/3596.04	o 45531059
3588.11/3596.04	o 45530897
3588.11/3596.04	o 45530843
3588.11/3596.04	o 45530647
3588.11/3596.04	o 45530593
3588.11/3596.04	o 45530214
3588.11/3596.04	o 45530160
3588.11/3596.04	o 45529959
3588.11/3596.04	o 45529905
3588.11/3596.04	o 45529894
3588.11/3596.04	o 45529271
3588.11/3596.04	o 45529218
3588.11/3596.04	o 45528355
3588.11/3596.04	o 45528050
3588.11/3596.04	o 45527822
3588.11/3596.04	o 45525932
3588.11/3596.04	o 45525627
3588.11/3596.04	o 45525499
3588.11/3596.04	o 45525194
3588.11/3596.04	o 45525037
3588.11/3596.04	o 45524983
3588.11/3596.04	o 45522614
3588.11/3596.04	o 45522413
3588.11/3596.04	o 45521980
3588.11/3596.04	o 45521764
3588.11/3596.04	o 45521725
3588.11/3596.04	o 45521509
3588.11/3596.04	o 45521361
3588.11/3596.04	o 45521268
3588.11/3596.04	o 45520835
3588.11/3596.04	o 45520333
3588.11/3596.04	o 45520305
3588.11/3596.04	o 45520089
3588.11/3596.04	o 45520080
3588.11/3596.04	o 45519864
3588.11/3596.04	o 45519668
3588.11/3596.04	o 45519467
3588.11/3596.04	o 45519034
3588.11/3596.04	o 45518847
3588.11/3596.04	o 45518793
3588.11/3596.04	o 45516424
3588.11/3596.04	o 45516326
3588.11/3596.04	o 45516169
3588.11/3596.04	o 45516113
3588.11/3596.04	o 45515956
3588.11/3596.04	o 45515847
3588.11/3596.04	o 45515622
3588.11/3596.04	o 45514118
3588.11/3596.04	o 45513917
3588.11/3596.04	o 45513697
3588.11/3596.04	o 45513442
3588.11/3596.04	o 45513406
3588.11/3596.04	o 45512973
3588.11/3596.04	o 45512917
3588.11/3596.04	o 45512760
3588.11/3596.04	o 45512748
3588.11/3596.04	o 45512532
3588.11/3596.04	o 45512482
3588.11/3596.04	o 45512236
3588.11/3596.04	o 45511951
3588.11/3596.04	o 45511735
3588.11/3596.04	o 45511215
3588.11/3596.04	o 45510990
3588.11/3596.04	o 45510901
3588.11/3596.04	o 45510685
3588.11/3596.04	o 45510167
3588.11/3596.04	o 45510010
3588.11/3596.04	o 45509548
3588.11/3596.04	o 45509353
3588.11/3596.04	o 45508835
3588.11/3596.04	o 45508678
3588.11/3596.04	o 45508622
3588.11/3596.04	o 45508465
3588.11/3596.04	o 45508274
3588.11/3596.04	o 45508117
3588.11/3596.04	o 45507976
3588.11/3596.04	o 45507671
3588.11/3596.04	o 45507455
3588.11/3596.04	o 45507260
3588.11/3596.04	o 45507213
3588.11/3596.04	o 45506997
3588.11/3596.04	o 45506742
3588.11/3596.04	o 45506585
3588.11/3596.04	o 45506529
3588.11/3596.04	o 45506372
3588.11/3596.04	o 45506305
3588.11/3596.04	o 45506050
3588.11/3596.04	o 45505893
3588.11/3596.04	o 45505531
3588.11/3596.04	o 45505315
3588.11/3596.04	o 45504235
3588.11/3596.04	o 45503923
3588.11/3596.04	o 45503490
3588.11/3596.04	o 45502946
3588.11/3596.04	o 45502616
3588.11/3596.04	o 45502400
3588.11/3596.04	o 45501861
3588.11/3596.04	o 45501645
3588.11/3596.04	o 45501428
3588.11/3596.04	o 45501212
3588.11/3596.04	o 45501096
3588.11/3596.04	o 45500880
3588.11/3596.04	o 45500791
3588.11/3596.04	o 45500761
3588.11/3596.04	o 45500536
3588.11/3596.04	o 45500519
3588.11/3596.04	o 45500303
3588.11/3596.04	o 45500090
3588.11/3596.04	o 45500041
3588.11/3596.04	o 45499884
3588.11/3596.04	o 45499861
3588.11/3596.04	o 45499822
3588.11/3596.04	o 45499606
3588.11/3596.04	o 45499552
3588.11/3596.04	o 45499073
3588.11/3596.04	o 45499037
3588.11/3596.04	o 45498909
3588.11/3596.04	o 45498604
3588.11/3596.04	o 45498005
3588.11/3596.04	o 45497356
3588.11/3596.04	o 45496512
3588.11/3596.04	o 45496405
3588.11/3596.04	o 45496180
3588.11/3596.04	o 45496150
3588.11/3596.04	o 45496120
3588.11/3596.04	o 45495925
3588.11/3596.04	o 45495730
3588.11/3596.04	o 45495261
3588.11/3596.04	o 45495230
3588.11/3596.04	o 45494944
3588.11/3596.04	o 45494923
3588.11/3596.04	o 45494728
3588.11/3596.04	o 45494475
3588.11/3596.04	o 45494259
3588.11/3596.04	o 45494201
3588.11/3596.04	o 45493896
3588.11/3596.04	o 45493690
3588.11/3596.04	o 45493558
3588.11/3596.04	o 45493265
3588.11/3596.04	o 45166601
3588.11/3596.04	o 45003269
3588.11/3596.04	o 44966792
3588.11/3596.04	o 44962436
3588.11/3596.04	o 44962223
3588.11/3596.04	o 44959737
3588.11/3596.04	o 44956245
3588.11/3596.04	o 44955536
3588.11/3596.04	o 44953920
3588.11/3596.04	o 44952844
3588.11/3596.04	o 44952513
3588.11/3596.04	o 44952455
3588.11/3596.04	o 44952384
3588.11/3596.04	o 44952300
3588.11/3596.04	o 44952084
3588.11/3596.04	o 44951927
3588.11/3596.04	o 44947571
3588.11/3596.04	o 44947239
3588.11/3596.04	o 44947106
3588.11/3596.04	o 44947072
3588.11/3596.04	o 44946639
3588.11/3596.04	o 44946484
3588.11/3596.04	o 44946038
3588.11/3596.04	o 44945906
3588.11/3596.04	o 44940116
3588.11/3596.04	o 44940043
3588.11/3596.04	o 44939960
3588.11/3596.04	o 44939847
3588.11/3596.04	o 44939844
3588.11/3596.04	o 44939548
3588.11/3596.04	o 44939283
3588.11/3596.04	o 44902806
3588.11/3596.04	o 44898450
3588.11/3596.04	o 44896456
3588.11/3596.04	o 44896102
3588.11/3596.04	o 44895734
3588.11/3596.04	o 44852413
3588.11/3596.04	o 44850637
3588.11/3596.04	o 44847516
3588.11/3596.04	o 44847117
3588.11/3596.04	o 44844588
3588.11/3596.04	o 44844242
3588.11/3596.04	o 44761328
3588.11/3596.04	o 44758526
3588.11/3596.04	o 44757922
3588.11/3596.04	o 44757341
3588.11/3596.04	o 44755831
3588.11/3596.04	o 44754893
3588.11/3596.04	o 44754742
3588.11/3596.04	o 44754709
3588.11/3596.04	o 44754668
3588.11/3596.04	o 44754452
3588.11/3596.04	o 44754064
3588.11/3596.04	o 44753643
3588.11/3596.04	o 44753138
3588.11/3596.04	o 44752948
3588.11/3596.04	o 44752939
3588.11/3596.04	o 44752314
3588.11/3596.04	o 44752227
3588.11/3596.04	o 44752011
3588.11/3596.04	o 44751935
3588.11/3596.04	o 44751430
3588.11/3596.04	o 44751376
3588.11/3596.04	o 44751215
3588.11/3596.04	o 44751112
3588.11/3596.04	o 44750610
3588.11/3596.04	o 44750305
3588.11/3596.04	o 44750263
3588.11/3596.04	o 44750047
3588.11/3596.04	o 44749993
3588.11/3596.04	o 44749833
3588.11/3596.04	o 44749719
3588.11/3596.04	o 44749503
3588.11/3596.04	o 44749449
3588.11/3596.04	o 44749426
3588.11/3596.04	o 44749291
3588.11/3596.04	o 44749219
3588.11/3596.04	o 44749164
3588.11/3596.04	o 44748907
3588.11/3596.04	o 44748778
3588.11/3596.04	o 44748754
3588.11/3596.04	o 44748489
3588.11/3596.04	o 44748273
3588.11/3596.04	o 44748116
3588.11/3596.04	o 44747768
3588.11/3596.04	o 44747552
3588.11/3596.04	o 44747045
3588.11/3596.04	o 44746309
3588.11/3596.04	o 44744851
3588.11/3596.04	o 44744033
3588.11/3596.04	o 44743891
3588.11/3596.04	o 44742321
3588.11/3596.04	o 44741136
3588.11/3596.04	o 44740346
3588.11/3596.04	o 44736592
3588.11/3596.04	o 44736048
3588.11/3596.04	o 44397768
3588.11/3596.04	o 44228628
3588.11/3596.04	o 44222820
3588.11/3596.04	o 44144058
3588.11/3596.04	o 44144034
3588.11/3596.04	o 44143827
3588.11/3596.04	o 44143515
3588.11/3596.04	o 44143036
3588.11/3596.04	o 44142173
3588.11/3596.04	o 44141937
3588.11/3596.04	o 44141648
3588.11/3596.04	o 44141277
3588.11/3596.04	o 44141223
3588.11/3596.04	o 44140654
3588.11/3596.04	o 44139737
3588.11/3596.04	o 44139407
3588.11/3596.04	o 44138336
3588.11/3596.04	o 44136718
3588.11/3596.04	o 44136249
3588.11/3596.04	o 44136189
3588.11/3596.04	o 44135978
3588.11/3596.04	o 44135871
3588.11/3596.04	o 44135862
3588.11/3596.04	o 44135646
3588.11/3596.04	o 44135548
3588.11/3596.04	o 44135441
3588.11/3596.04	o 44134962
3588.11/3596.04	o 44134737
3588.11/3596.04	o 44134456
3588.11/3596.04	o 44134202
3588.11/3596.04	o 44133954
3588.11/3596.04	o 44133449
3588.11/3596.04	o 44133336
3588.11/3596.04	o 44133334
3588.11/3596.04	o 44133139
3588.11/3596.04	o 44133003
3588.11/3596.04	o 44132834
3588.11/3596.04	o 44132348
3588.11/3596.04	o 44131895
3588.11/3596.04	o 44131186
3588.11/3596.04	o 44131100
3588.11/3596.04	o 44129496
3588.11/3596.04	o 44128991
3588.11/3596.04	o 44128944
3588.11/3596.04	o 44128719
3588.11/3596.04	o 44127469
3588.11/3596.04	o 44126929
3588.11/3596.04	o 44125737
3588.11/3596.04	o 44084550
3588.11/3596.04	o 44083898
3588.11/3596.04	o 44080370
3588.11/3596.04	o 44079971
3588.11/3596.04	o 44077790
3588.11/3596.04	o 44077641
3588.11/3596.04	o 44077535
3588.11/3596.04	o 44076833
3588.11/3596.04	o 44074134
3588.11/3596.04	o 44073803
3588.11/3596.04	o 44073124
3588.11/3596.04	o 44072185
3588.11/3596.04	o 44072136
3588.11/3596.04	o 44070896
3588.11/3596.04	o 44070870
3588.11/3596.04	o 44068750
3588.11/3596.04	o 44068744
3588.11/3596.04	o 44066135
3588.11/3596.04	o 44063231
3588.11/3596.04	o 44063213
3588.11/3596.04	o 44062730
3588.11/3596.04	o 44062109
3588.11/3596.04	o 44061690
3588.11/3596.04	o 44061521
3588.11/3596.04	o 44061308
3588.11/3596.04	o 44061238
3588.11/3596.04	o 44061083
3588.11/3596.04	o 44060451
3588.11/3596.04	o 44058993
3588.11/3596.04	o 44058761
3588.11/3596.04	o 44058178
3588.11/3596.04	o 44057659
3588.11/3596.04	o 44056548
3588.11/3596.04	o 44053644
3588.11/3596.04	o 44053638
3588.11/3596.04	o 44053380
3588.11/3596.04	o 44052939
3588.11/3596.04	o 44052840
3588.11/3596.04	o 44052627
3588.11/3596.04	o 44052470
3588.11/3596.04	o 44049566
3588.11/3596.04	o 44049434
3588.11/3596.04	o 44049321
3588.11/3596.04	o 44049315
3588.11/3596.04	o 44048402
3588.11/3596.04	o 44048061
3588.11/3596.04	o 44047489
3588.11/3596.04	o 44047388
3588.11/3596.04	o 44047163
3588.11/3596.04	o 44047157
3588.11/3596.04	o 44046918
3588.11/3596.04	o 44046607
3588.11/3596.04	o 44046548
3588.11/3596.04	o 44046416
3588.11/3596.04	o 44045910
3588.11/3596.04	o 44045816
3588.11/3596.04	o 44044142
3588.11/3596.04	o 44044027
3588.11/3596.04	o 44043508
3588.11/3596.04	o 44043395
3588.11/3596.04	o 44042934
3588.11/3596.04	o 44042718
3588.11/3596.04	o 44042374
3588.11/3596.04	o 44042372
3588.11/3596.04	o 44042348
3588.11/3596.04	o 44042214
3588.11/3596.04	o 44041868
3588.11/3596.04	o 44041652
3588.11/3596.04	o 44041472
3588.11/3596.04	o 44041259
3588.11/3596.04	o 44041123
3588.11/3596.04	o 44040604
3588.11/3596.04	o 44040491
3588.11/3596.04	o 44040461
3588.11/3596.04	o 44039971
3588.11/3596.04	o 44039609
3588.11/3596.04	o 44038075
3588.11/3596.04	o 44037326
3588.11/3596.04	o 44036705
3588.11/3596.04	o 44035677
3588.11/3596.04	o 44028777
3588.11/3596.04	o 44028069
3588.11/3596.04	o 44024421
3588.11/3596.04	o 44023713
3588.11/3596.04	o 44022066
3588.11/3596.04	o 44020817
3588.11/3596.04	o 44019957
3588.11/3596.04	o 44019928
3588.11/3596.04	o 44019275
3588.11/3596.04	o 44018968
3588.11/3596.04	o 44018902
3588.11/3596.04	o 44018881
3588.11/3596.04	o 44018747
3588.11/3596.04	o 44018442
3588.11/3596.04	o 44018376
3588.11/3596.04	o 44018179
3588.11/3596.04	o 44017874
3588.11/3596.04	o 44016867
3588.11/3596.04	o 44016312
3588.11/3596.04	o 44016007
3588.11/3596.04	o 44015941
3588.11/3596.04	o 44015725
3588.11/3596.04	o 44015649
3588.11/3596.04	o 44015583
3588.11/3596.04	o 44015484
3588.11/3596.04	o 44015372
3588.11/3596.04	o 44015067
3588.11/3596.04	o 44015001
3588.11/3596.04	o 44014645
3588.11/3596.04	o 44014340
3588.11/3596.04	o 44013511
3588.11/3596.04	o 44012914
3588.11/3596.04	o 44012698
3588.11/3596.04	o 44012632
3588.11/3596.04	o 44012556
3588.11/3596.04	o 44012490
3588.11/3596.04	o 44012119
3588.11/3596.04	o 44012065
3588.11/3596.04	o 44011855
3588.11/3596.04	o 44011801
3588.11/3596.04	o 44011633
3588.11/3596.04	o 44011328
3588.11/3596.04	o 44011133
3588.11/3596.04	o 44011038
3588.11/3596.04	o 44010793
3588.11/3596.04	o 44010598
3588.11/3596.04	o 44010288
3588.11/3596.04	o 44010161
3588.11/3596.04	o 44010140
3588.11/3596.04	o 44009945
3588.11/3596.04	o 44009647
3588.11/3596.04	o 44009214
3588.11/3596.04	o 44009078
3588.11/3596.04	o 44008862
3588.11/3596.04	o 44008837
3588.11/3596.04	o 44008734
3588.11/3596.04	o 44008642
3588.11/3596.04	o 44008429
3588.11/3596.04	o 44008386
3588.11/3596.04	o 44008043
3588.11/3596.04	o 44007885
3588.11/3596.04	o 44007288
3588.11/3596.04	o 44007072
3588.11/3596.04	o 44006679
3588.11/3596.04	o 44006374
3588.11/3596.04	o 44005740
3588.11/3596.04	o 44005608
3588.11/3596.04	o 44005106
3588.11/3596.04	o 44004826
3588.11/3596.04	o 44004631
3588.11/3596.04	o 44004524
3588.11/3596.04	o 44004299
3588.11/3596.04	o 44003813
3588.11/3596.04	o 44003405
3588.11/3596.04	o 44003189
3588.11/3596.04	o 44002756
3588.11/3596.04	o 44002722
3588.11/3596.04	o 44002379
3588.11/3596.04	o 44002047
3588.11/3596.04	o 44001535
3588.11/3596.04	o 44000500
3588.11/3596.04	o 43999999
3588.11/3596.04	o 43965396
3588.11/3596.04	o 43962070
3588.11/3596.04	o 43959166
3588.11/3596.04	o 43959158
3588.11/3596.04	o 43958852
3588.11/3596.04	o 43958834
3588.11/3596.04	o 43957971
3588.11/3596.04	o 43957186
3588.11/3596.04	o 43957136
3588.11/3596.04	o 43956994
3588.11/3596.04	o 43956857
3588.11/3596.04	o 43954719
3588.11/3596.04	o 43954696
3588.11/3596.04	o 43954539
3588.11/3596.04	o 43953645
3588.11/3596.04	o 43951763
3588.11/3596.04	o 43951315
3588.11/3596.04	o 43951184
3588.11/3596.04	o 43948666
3588.11/3596.04	o 43947775
3588.11/3596.04	o 43947769
3588.11/3596.04	o 43947764
3588.11/3596.04	o 43944860
3588.11/3596.04	o 43944391
3588.11/3596.04	o 43944160
3588.11/3596.04	o 43943828
3588.11/3596.04	o 43942826
3588.11/3596.04	o 43942790
3588.11/3596.04	o 43942750
3588.11/3596.04	o 43942325
3588.11/3596.04	o 43942096
3588.11/3596.04	o 43941663
3588.11/3596.04	o 43941331
3588.11/3596.04	o 43941288
3588.11/3596.04	o 43941164
3588.11/3596.04	o 43941007
3588.11/3596.04	o 43940993
3588.11/3596.04	o 43940861
3588.11/3596.04	o 43940715
3588.11/3596.04	o 43940705
3588.11/3596.04	o 43940572
3588.11/3596.04	o 43937668
3588.11/3596.04	o 43937258
3588.11/3596.04	o 43810555
3588.11/3596.04	o 43809251
3588.11/3596.04	o 43807391
3588.11/3596.04	o 43644487
3588.11/3596.04	o 43637559
3588.11/3596.04	o 43559571
3588.11/3596.04	o 43522309
3588.11/3596.04	o 43520577
3588.11/3596.04	o 43441367
3588.11/3596.04	o 43440715
3588.11/3596.04	o 43399854
3588.11/3596.04	o 43399389
3588.11/3596.04	o 42815165
3588.11/3596.04	o 42773757
3588.11/3596.04	o 42449709
3588.11/3596.04	o 42368697
3588.11/3596.04	o 42341131
3588.11/3596.04	o 42324681
3588.11/3596.04	o 42323761
3588.11/3596.04	o 42323496
3588.11/3596.04	o 42321721
3588.11/3596.04	o 42321158
3588.11/3596.04	o 42320130
3588.11/3596.04	o 42319886
3588.11/3596.04	o 42318793
3588.11/3596.04	o 42316008
3588.11/3596.04	o 42315866
3588.11/3596.04	o 42310905
3588.11/3596.04	o 42310271
3588.11/3596.04	o 42305917
3588.11/3596.04	o 42305831
3588.11/3596.04	o 42304027
3588.11/3596.04	o 42303955
3588.11/3596.04	o 42300933
3588.11/3596.04	o 42298299
3588.11/3596.04	o 42297186
3588.11/3596.04	o 42297071
3588.11/3596.04	o 42296726
3588.11/3596.04	o 42295987
3588.11/3596.04	o 42292593
3588.11/3596.04	o 42290210
3588.11/3596.04	o 42289431
3588.11/3596.04	o 42289289
3588.11/3596.04	o 42285310
3588.11/3596.04	o 42285103
3588.11/3596.04	o 42284791
3588.11/3596.04	o 42281997
3588.11/3596.04	o 42281943
3588.11/3596.04	o 42281125
3588.11/3596.04	o 42280983
3588.11/3596.04	o 42279099
3588.11/3596.04	o 42278337
3588.11/3596.04	o 42277703
3588.11/3596.04	o 42277150
3588.11/3596.04	o 42274356
3588.11/3596.04	o 42273417
3588.11/3596.04	o 42271601
3588.11/3596.04	o 42266271
3588.11/3596.04	o 42263369
3588.11/3596.04	o 42262705
3588.11/3596.04	o 42261969
3588.11/3596.04	o 42261156
3588.11/3596.04	o 42260511
3588.11/3596.04	o 42260344
3588.11/3596.04	o 42253956
3588.11/3596.04	o 42253667
3588.11/3596.04	o 41623987
3588.11/3596.04	o 41600755
3588.11/3596.04	o 41307275
3588.11/3596.04	o 41127351
3588.11/3596.04	o 41110759
3588.11/3596.04	o 39710759
3588.11/3596.04	o 39710754
3588.11/3596.04	o 39710748
3588.11/3596.04	o 39709134
3588.11/3596.04	o 39708599
3588.11/3596.04	o 39708096
3588.11/3596.04	o 39696590
3588.11/3596.04	o 39694725
3588.11/3596.04	o 39694399
3588.11/3596.04	o 39693934
3588.11/3596.04	o 39654790
3588.11/3596.04	o 39573694
3588.11/3596.04	o 39532533
3588.11/3596.04	o 39532207
3588.11/3596.04	o 39531742
3588.11/3596.04	o 39492624
3588.11/3596.04	o 39451437
3588.11/3596.04	o 39451111
3588.11/3596.04	o 39450646
3588.11/3596.04	o 39410889
3588.11/3596.04	o 39410563
3588.11/3596.04	o 39410098
3588.11/3596.04	o 39387896
3588.11/3596.04	o 39387087
3588.11/3596.04	o 39386506
3588.11/3596.04	o 39385992
3588.11/3596.04	o 39385841
3588.11/3596.04	o 39385339
3588.11/3596.04	o 39385182
3588.11/3596.04	o 39384888
3588.11/3596.04	o 39383950
3588.11/3596.04	o 39383799
3588.11/3596.04	o 39383297
3588.11/3596.04	o 39383140
3588.11/3596.04	o 39382797
3588.11/3596.04	o 39382174
3588.11/3596.04	o 39382170
3588.11/3596.04	o 39381781
3588.11/3596.04	o 39380843
3588.11/3596.04	o 39380692
3588.11/3596.04	o 39380395
3588.11/3596.04	o 39380118
3588.11/3596.04	o 39379457
3588.11/3596.04	o 39379306
3588.11/3596.04	o 39378804
3588.11/3596.04	o 39378146
3588.11/3596.04	o 39378060
3588.11/3596.04	o 39376456
3588.11/3596.04	o 39375951
3588.11/3596.04	o 39375800
3588.11/3596.04	o 39375295
3588.11/3596.04	o 39374777
3588.11/3596.04	o 39374124
3588.11/3596.04	o 39374025
3588.11/3596.04	o 39373520
3588.11/3596.04	o 39373087
3588.11/3596.04	o 39372582
3588.11/3596.04	o 39372434
3588.11/3596.04	o 39371929
3588.11/3596.04	o 39371192
3588.11/3596.04	o 39370760
3588.11/3596.04	o 39370567
3588.11/3596.04	o 39370566
3588.11/3596.04	o 39370415
3588.11/3596.04	o 39369913
3588.11/3596.04	o 39369481
3588.11/3596.04	o 39369288
3588.11/3596.04	o 39369146
3588.11/3596.04	o 39368644
3588.11/3596.04	o 39368139
3588.11/3596.04	o 39367853
3588.11/3596.04	o 39367197
3588.11/3596.04	o 39367167
3588.11/3596.04	o 39366665
3588.11/3596.04	o 39366490
3588.11/3596.04	o 39365893
3588.11/3596.04	o 39365773
3588.11/3596.04	o 39365461
3588.11/3596.04	o 39365268
3588.11/3596.04	o 39365117
3588.11/3596.04	o 39364612
3588.11/3596.04	o 39364464
3588.11/3596.04	o 39363959
3588.11/3596.04	o 39363543
3588.11/3596.04	o 39363000
3588.11/3596.04	o 39362403
3588.11/3596.04	o 39362347
3588.11/3596.04	o 39361750
3588.11/3596.04	o 39361627
3588.11/3596.04	o 39361318
3588.11/3596.04	o 39361125
3588.11/3596.04	o 39361072
3588.11/3596.04	o 39360977
3588.11/3596.04	o 39360475
3588.11/3596.04	o 39360234
3588.11/3596.04	o 39360093
3588.11/3596.04	o 39359904
3588.11/3596.04	o 39358313
3588.11/3596.04	o 39357387
3588.11/3596.04	o 39356492
3588.11/3596.04	o 39355895
3588.11/3596.04	o 39355583
3588.11/3596.04	o 39355390
3588.11/3596.04	o 39354953
3588.11/3596.04	o 39354231
3588.11/3596.04	o 39350916
3588.11/3596.04	o 39350376
3588.11/3596.04	o 39350304
3588.11/3596.04	o 39348990
3588.11/3596.04	o 39348334
3588.11/3596.04	o 39346043
3588.11/3596.04	o 39345524
3588.11/3596.04	o 39345091
3588.11/3596.04	o 39344441
3588.11/3596.04	o 39343463
3588.11/3596.04	o 39342807
3588.11/3596.04	o 39342552
3588.11/3596.04	o 39341708
3588.11/3596.04	o 39340738
3588.11/3596.04	o 39340674
3588.11/3596.04	o 39340541
3588.11/3596.04	o 39338403
3588.11/3596.04	o 39338172
3588.11/3596.04	o 39332850
3588.11/3596.04	o 39332200
3588.11/3596.04	o 39331415
3588.11/3596.04	o 39331181
3588.11/3596.04	o 39330940
3588.11/3596.04	o 39330709
3588.11/3596.04	o 39330455
3588.11/3596.04	o 39329426
3588.11/3596.04	o 39325701
3588.11/3596.04	o 39325051
3588.11/3596.04	o 39324266
3588.11/3596.04	o 39320108
3588.11/3596.04	o 39319134
3588.11/3596.04	o 39318240
3588.11/3596.04	o 39316358
3588.11/3596.04	o 39315910
3588.11/3596.04	o 39315815
3588.11/3596.04	o 39313794
3588.11/3596.04	o 39309803
3588.11/3596.04	o 39308983
3588.11/3596.04	o 39308918
3588.11/3596.04	o 39308687
3588.11/3596.04	o 39308471
3588.11/3596.04	o 39308139
3588.11/3596.04	o 39307659
3588.11/3596.04	o 39307300
3588.11/3596.04	o 39306475
3588.11/3596.04	o 39306473
3588.11/3596.04	o 39305552
3588.11/3596.04	o 39302531
3588.11/3596.04	o 39302346
3588.11/3596.04	o 39302032
3588.11/3596.04	o 39299814
3588.11/3596.04	o 39299504
3588.11/3596.04	o 39298779
3588.11/3596.04	o 39298671
3588.11/3596.04	o 39298478
3588.11/3596.04	o 39298335
3588.11/3596.04	o 39298215
3588.11/3596.04	o 39297925
3588.11/3596.04	o 39296422
3588.11/3596.04	o 39296189
3588.11/3596.04	o 39294117
3588.11/3596.04	o 39293713
3588.11/3596.04	o 39293545
3588.11/3596.04	o 39293390
3588.11/3596.04	o 39293286
3588.11/3596.04	o 39293040
3588.11/3596.04	o 39292654
3588.11/3596.04	o 39292149
3588.11/3596.04	o 39292092
3588.11/3596.04	o 39291469
3588.11/3596.04	o 39290897
3588.11/3596.04	o 39290681
3588.11/3596.04	o 39290565
3588.11/3596.04	o 39288683
3588.11/3596.04	o 39288437
3588.11/3596.04	o 39287546
3588.11/3596.04	o 39286937
3588.11/3596.04	o 39286903
3588.11/3596.04	o 39286083
3588.11/3596.04	o 39286070
3588.11/3596.04	o 39285689
3588.11/3596.04	o 39285451
3588.11/3596.04	o 39285216
3588.11/3596.04	o 39284907
3588.11/3596.04	o 39284758
3588.11/3596.04	o 39279709
3588.11/3596.04	o 39279552
3588.11/3596.04	o 39279052
3588.11/3596.04	o 39278696
3588.11/3596.04	o 39275013
3588.11/3596.04	o 39274738
3588.11/3596.04	o 39274697
3588.11/3596.04	o 39274236
3588.11/3596.04	o 39271766
3588.11/3596.04	o 39251195
3588.11/3596.04	o 39251164
3588.11/3596.04	o 39250909
3588.11/3596.04	o 39250476
3588.11/3596.04	o 39246120
3588.11/3596.04	o 39245804
3588.11/3596.04	o 39245343
3588.11/3596.04	o 39245316
3588.11/3596.04	o 39244693
3588.11/3596.04	o 39244284
3588.11/3596.04	o 39244042
3588.11/3596.04	o 39243298
3588.11/3596.04	o 39242576
3588.11/3596.04	o 39242208
3588.11/3596.04	o 39240422
3588.11/3596.04	o 39239884
3588.11/3596.04	o 39239516
3588.11/3596.04	o 39239370
3588.11/3596.04	o 39239115
3588.11/3596.04	o 39239009
3588.11/3596.04	o 39238765
3588.11/3596.04	o 39238397
3588.11/3596.04	o 39237712
3588.11/3596.04	o 39237410
3588.11/3596.04	o 39233243
3588.11/3596.04	o 39232670
3588.11/3596.04	o 39232421
3588.11/3596.04	o 39228078
3588.11/3596.04	o 39227453
3588.11/3596.04	o 39226505
3588.11/3596.04	o 39222410
3588.11/3596.04	o 39219746
3588.11/3596.04	o 39219053
3588.11/3596.04	o 39216857
3588.11/3596.04	o 39215465
3588.11/3596.04	o 39215381
3588.11/3596.04	o 39214852
3588.11/3596.04	o 38543236
3588.11/3596.04	o 38207428
3588.11/3596.04	o 38039524
3588.11/3596.04	o 37997548
3588.11/3596.04	o 37992548
3588.11/3596.04	o 37834128
3588.11/3596.04	o 37751754
3588.11/3596.04	o 37751102
3588.11/3596.04	o 37750172
3588.11/3596.04	o 37743584
3588.11/3596.04	o 37737458
3588.11/3596.04	o 37736114
3588.11/3596.04	o 37735974
3588.11/3596.04	o 37735098
3588.11/3596.04	o 37728170
3588.11/3596.04	o 37727875
3588.11/3596.04	o 37035795
3588.11/3596.04	o 36689755
3588.11/3596.04	o 36559990
3588.11/3596.04	o 36522125
3588.11/3596.04	o 36521588
3588.11/3596.04	o 36519644
3588.11/3596.04	o 36519212
3588.11/3596.04	o 36519019
3588.11/3596.04	o 36519009
3588.11/3596.04	o 36518876
3588.11/3596.04	o 36518851
3588.11/3596.04	o 36518756
3588.11/3596.04	o 36518466
3588.11/3596.04	o 36518258
3588.11/3596.04	o 36517445
3588.11/3596.04	o 36476807
3588.11/3596.04	o 36470919
3588.11/3596.04	o 36470501
3588.11/3596.04	o 35495189
3588.11/3596.04	o 35373275
3588.11/3596.04	o 35038139
3588.11/3596.04	o 34870571
3588.11/3596.04	o 34870512
3588.11/3596.04	o 34870125
3588.11/3596.04	o 34830321
3588.11/3596.04	o 34826334
3588.11/3596.04	o 34825625
3588.11/3596.04	o 34825291
3588.11/3596.04	o 34821681
3588.11/3596.04	o 34820828
3588.11/3596.04	o 34820460
3588.11/3596.04	o 34820052
3588.11/3596.04	o 34819750
3588.11/3596.04	o 34819637
3588.11/3596.04	o 34819631
3588.11/3596.04	o 34819628
3588.11/3596.04	o 34818233
3588.11/3596.04	o 34818156
3588.11/3596.04	o 34815361
3588.11/3596.04	o 34813641
3588.11/3596.04	o 34813254
3588.11/3596.04	o 34810977
3588.11/3596.04	o 34810302
3588.11/3596.04	o 34809468
3588.11/3596.04	o 34769664
3588.11/3596.04	o 34730092
3588.11/3596.04	o 34729881
3588.11/3596.04	o 34729454
3588.11/3596.04	o 34729419
3588.11/3596.04	o 34725038
3588.11/3596.04	o 34724754
3588.11/3596.04	o 34724701
3588.11/3596.04	o 34723278
3588.11/3596.04	o 34723196
3588.11/3596.04	o 34717749
3588.11/3596.04	o 34713792
3588.11/3596.04	o 34712798
3588.11/3596.04	o 34712389
3588.11/3596.04	o 34712383
3588.11/3596.04	o 34712300
3588.11/3596.04	o 34709906
3588.11/3596.04	o 34708339
3588.11/3596.04	o 34707017
3588.11/3596.04	o 34706860
3588.11/3596.04	o 34706817
3588.11/3596.04	o 34705809
3588.11/3596.04	o 34700748
3588.11/3596.04	o 34700459
3588.11/3596.04	o 34700453
3588.11/3596.04	c Program interrupted by user.
3588.11/3596.04	s SATISFIABLE
3588.11/3596.04	v x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 x2095 -x2096 x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 x2405 -x2406 x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 x2800 x2801 -x2802 x2803 x2804 x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 x3018 x3019 x3020 -x3021 x3022 x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 x3185 x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 x3326 x3327 x3328 x3329 x3330 x3331 x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 x3724 -x3725 x3726 x3727 x3728 x3729 x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 x3881 -x3882 x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 x4064 x4065 -x4066 -x4067 x4068 x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 x4252 x4253 x4254 x4255 x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 x4476 x4477 x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 x4648 -x4649 -x4650 -x4651 x4652 x4653 x4654 x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 x4785 x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 x5033 x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 x5173 -x5174 -x5175 -x5176 x5177 x5178 x5179 x5180 x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 x5571 -x5572 -x5573 x5574 x5575 -x5576 -x5577 -x5578 -x5579 x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 x5627 x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 x5658 -x5659 -x5660 -x5661 -x5662 -x5663 x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 x5715 -x5716 -x5717 -x5718 -x5719 -x5720 x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 x5764 -x5765 -x5766 -x5767 -x5768 -x5769 x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 x5782 x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 x5802 -x5803 -x5804 -x5805 -x5806 -x5807 x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 x5990 -x5991 -x5992 -x5993 -x5994 x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 x6046 x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 x6087 -x6088 -x6089 x6090 -x6091 -x6092 x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 x6112 -x6113 x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 x6273 -x6274 x6275 -x6276 -x6277 -x6278 -x6279 -x6280 x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 x6336 x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 x6352 -x6353 -x6354 x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402

OK	34700453

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62897 MiB free)
  memory of node 1: 64510 MiB (63646 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437010-1722948203/watcher-4437010-1722948203 -o /tmp/evaluation-result-4437010-1722948203/solver-4437010-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722948202-331439 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437010-1722948203.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=331502, runsolver pid=331487
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 0.35 0.14 0.11 8/268 331516
/proc/meminfo: memFree=129503744/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 61420935 10170368 681 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 681 604 264 0 134 0
[pid=331511] ppid=331502 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/331511/stat : 331511 (timeout) S 331502 331511 331427 0 -1 4194304 111 0 1 0 0 0 0 0 20 0 1 0 61420936 8867840 236 134679101440 94790771511296 94790771546312 140729705182896 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94790773643728 94790773645860 94790779006976 140729705190441 140729705190557 140729705190557 140729705197543 0
/proc/331511/statm: 2165 236 212 9 0 87 0
[pid=331514] ppid=331511 vsize=41312 memory=27940 CPUtime=0.07 cores=1,3
/proc/331514/stat : 331514 (LS-MabSP) R 331511 331511 331427 0 -1 4194304 5538 0 0 0 7 0 0 0 20 0 1 0 61420937 42303488 6985 134679101440 4194304 15467897 140728128660720 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37396480 140728128668732 140728128668835 140728128668835 140728128675821 0
/proc/331514/statm: 10328 6985 1073 2753 0 6981 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31608 KiB

[startup+0.206499 s]*
/proc/loadavg: 0.35 0.14 0.11 7/268 331516
/proc/meminfo: memFree=129477896/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 61420935 10170368 681 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 681 604 264 0 134 0
[pid=331511] ppid=331502 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/331511/stat : 331511 (timeout) S 331502 331511 331427 0 -1 4194304 111 0 1 0 0 0 0 0 20 0 1 0 61420936 8867840 236 134679101440 94790771511296 94790771546312 140729705182896 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94790773643728 94790773645860 94790779006976 140729705190441 140729705190557 140729705190557 140729705197543 0
/proc/331511/statm: 2165 236 212 9 0 87 0
[pid=331514] ppid=331511 vsize=41312 memory=28204 CPUtime=0.19 cores=1,3
/proc/331514/stat : 331514 (LS-MabSP) R 331511 331511 331427 0 -1 4194304 5585 0 0 0 18 1 0 0 20 0 1 0 61420937 42303488 7051 134679101440 4194304 15467897 140728128660720 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37396480 140728128668732 140728128668835 140728128668835 140728128675821 0
/proc/331514/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31872 KiB

[startup+0.306242 s]*
/proc/loadavg: 0.35 0.14 0.11 7/268 331516
/proc/meminfo: memFree=129477236/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 61420935 10170368 681 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 681 604 264 0 134 0
[pid=331511] ppid=331502 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/331511/stat : 331511 (timeout) S 331502 331511 331427 0 -1 4194304 111 0 1 0 0 0 0 0 20 0 1 0 61420936 8867840 236 134679101440 94790771511296 94790771546312 140729705182896 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94790773643728 94790773645860 94790779006976 140729705190441 140729705190557 140729705190557 140729705197543 0
/proc/331511/statm: 2165 236 212 9 0 87 0
[pid=331514] ppid=331511 vsize=41312 memory=28204 CPUtime=0.29 cores=1,3
/proc/331514/stat : 331514 (LS-MabSP) R 331511 331511 331427 0 -1 4194304 5585 0 0 0 28 1 0 0 20 0 1 0 61420937 42303488 7051 134679101440 4194304 15467897 140728128660720 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37396480 140728128668732 140728128668835 140728128668835 140728128675821 0
/proc/331514/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31872 KiB

[startup+0.700262 s]
/proc/loadavg: 0.35 0.14 0.11 6/268 331516
/proc/meminfo: memFree=129476148/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 61420935 10170368 681 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 681 604 264 0 134 0
[pid=331511] ppid=331502 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/331511/stat : 331511 (timeout) S 331502 331511 331427 0 -1 4194304 111 0 1 0 0 0 0 0 20 0 1 0 61420936 8867840 236 134679101440 94790771511296 94790771546312 140729705182896 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94790773643728 94790773645860 94790779006976 140729705190441 140729705190557 140729705190557 140729705197543 0
/proc/331511/statm: 2165 236 212 9 0 87 0
[pid=331514] ppid=331511 vsize=41312 memory=28204 CPUtime=0.67 cores=1,3
/proc/331514/stat : 331514 (LS-MabSP) R 331511 331511 331427 0 -1 4194304 5585 0 0 0 65 2 0 0 20 0 1 0 61420937 42303488 7051 134679101440 4194304 15467897 140728128660720 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37396480 140728128668732 140728128668835 140728128668835 140728128675821 0
/proc/331514/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31872 KiB

[startup+1.50026 s]
/proc/loadavg: 0.35 0.14 0.11 7/268 331516
/proc/meminfo: memFree=129403436/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 61420935 10170368 681 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 681 604 264 0 134 0
[pid=331511] ppid=331502 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/331511/stat : 331511 (timeout) S 331502 331511 331427 0 -1 4194304 111 0 1 0 0 0 0 0 20 0 1 0 61420936 8867840 236 134679101440 94790771511296 94790771546312 140729705182896 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94790773643728 94790773645860 94790779006976 140729705190441 140729705190557 140729705190557 140729705197543 0
/proc/331511/statm: 2165 236 212 9 0 87 0
[pid=331514] ppid=331511 vsize=41312 memory=28204 CPUtime=1.46 cores=1,3
/proc/331514/stat : 331514 (LS-MabSP) R 331511 331511 331427 0 -1 4194304 5585 0 0 0 143 3 0 0 20 0 1 0 61420937 42303488 7051 134679101440 4194304 15467897 140728128660720 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37396480 140728128668732 140728128668835 140728128668835 140728128675821 0
/proc/331514/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31872 KiB

[startup+3.1066 s]
/proc/loadavg: 0.35 0.14 0.11 8/268 331516
/proc/meminfo: memFree=129365292/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 61420935 10170368 681 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 681 604 264 0 134 0
[pid=331511] ppid=331502 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/331511/stat : 331511 (timeout) S 331502 331511 331427 0 -1 4194304 111 0 1 0 0 0 0 0 20 0 1 0 61420936 8867840 236 134679101440 94790771511296 94790771546312 140729705182896 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94790773643728 94790773645860 94790779006976 140729705190441 140729705190557 140729705190557 140729705197543 0
/proc/331511/statm: 2165 236 212 9 0 87 0
[pid=331514] ppid=331511 vsize=41312 memory=28204 CPUtime=3.07 cores=1,3
/proc/331514/stat : 331514 (LS-MabSP) R 331511 331511 331427 0 -1 4194304 5585 0 0 0 300 7 0 0 20 0 1 0 61420937 42303488 7051 134679101440 4194304 15467897 140728128660720 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37396480 140728128668732 140728128668835 140728128668835 140728128675821 0
/proc/331514/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31872 KiB

[startup+6.30024 s]
/proc/loadavg: 0.64 0.20 0.13 7/268 331516
/proc/meminfo: memFree=129360860/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 61420935 10170368 681 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 681 604 264 0 134 0
[pid=331511] ppid=331502 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/331511/stat : 331511 (timeout) S 331502 331511 331427 0 -1 4194304 111 0 1 0 0 0 0 0 20 0 1 0 61420936 8867840 236 134679101440 94790771511296 94790771546312 140729705182896 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94790773643728 94790773645860 94790779006976 140729705190441 140729705190557 140729705190557 140729705197543 0
/proc/331511/statm: 2165 236 212 9 0 87 0
[pid=331514] ppid=331511 vsize=41312 memory=28204 CPUtime=6.26 cores=1,3
/proc/331514/stat : 331514 (LS-MabSP) R 331511 331511 331427 0 -1 4194304 5585 0 0 0 614 12 0 0 20 0 1 0 61420937 42303488 7051 134679101440 4194304 15467897 140728128660720 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37396480 140728128668732 140728128668835 140728128668835 140728128675821 0
/proc/331514/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31872 KiB

[startup+12.7002 s]
/proc/loadavg: 0.99 0.28 0.15 7/268 331518
/proc/meminfo: memFree=129357988/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 61420935 10170368 681 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 681 604 264 0 134 0
[pid=331511] ppid=331502 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/331511/stat : 331511 (timeout) S 331502 331511 331427 0 -1 4194304 111 0 1 0 0 0 0 0 20 0 1 0 61420936 8867840 236 134679101440 94790771511296 94790771546312 140729705182896 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94790773643728 94790773645860 94790779006976 140729705190441 140729705190557 140729705190557 140729705197543 0
/proc/331511/statm: 2165 236 212 9 0 87 0
[pid=331514] ppid=331511 vsize=41312 memory=28204 CPUtime=12.64 cores=1,3
/proc/331514/stat : 331514 (LS-MabSP) R 331511 331511 331427 0 -1 4194304 5585 0 0 0 1240 24 0 0 20 0 1 0 61420937 42303488 7051 134679101440 4194304 15467897 140728128660720 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37396480 140728128668732 140728128668835 140728128668835 140728128675821 0
/proc/331514/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31872 KiB

[startup+25.5003 s]
/proc/loadavg: 1.73 0.48 0.22 7/268 331519
/proc/meminfo: memFree=129286680/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 61420935 10170368 681 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 681 604 264 0 134 0
[pid=331511] ppid=331502 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/331511/stat : 331511 (timeout) S 331502 331511 331427 0 -1 4194304 111 0 1 0 0 0 0 0 20 0 1 0 61420936 8867840 236 134679101440 94790771511296 94790771546312 140729705182896 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94790773643728 94790773645860 94790779006976 140729705190441 140729705190557 140729705190557 140729705197543 0
/proc/331511/statm: 2165 236 212 9 0 87 0
[pid=331514] ppid=331511 vsize=41312 memory=28204 CPUtime=25.43 cores=1,3
/proc/331514/stat : 331514 (LS-MabSP) R 331511 331511 331427 0 -1 4194304 5585 0 0 0 2493 50 0 0 20 0 1 0 61420937 42303488 7051 134679101440 4194304 15467897 140728128660720 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37396480 140728128668732 140728128668835 140728128668835 140728128675821 0
/proc/331514/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31872 KiB

[startup+51.1065 s]
/proc/loadavg: 2.56 0.78 0.33 7/268 331524
/proc/meminfo: memFree=129262628/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 61420935 10170368 681 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 681 604 264 0 134 0
[pid=331511] ppid=331502 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/331511/stat : 331511 (timeout) S 331502 331511 331427 0 -1 4194304 111 0 1 0 0 0 0 0 20 0 1 0 61420936 8867840 236 134679101440 94790771511296 94790771546312 140729705182896 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 1 0 0 94790773643728 94790773645860 94790779006976 140729705190441 140729705190557 140729705190557 140729705197543 0
/proc/331511/statm: 2165 236 212 9 0 87 0
[pid=331514] ppid=331511 vsize=41312 memory=28204 CPUtime=50.98 cores=1,3
/proc/331514/stat : 331514 (LS-MabSP) R 331511 331511 331427 0 -1 4194304 5586 0 0 0 5005 93 0 0 20 0 1 0 61420937 42303488 7051 134679101440 4194304 15467897 140728128660720 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 37396480 140728128668732 140728128668835 140728128668835 140728128675821 0
/proc/331514/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31872 KiB

[startup+102.3 s]
/proc/loadavg: 3.38 1.28 0.52 7/268 331533
/proc/meminfo: memFree=129308020/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2724 CPUtime=0 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 61420935 10170368 681 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0

################
# More data... #
################

/proc/332418/statm: 91623 76397 764 737 0 90711 0
Current children cumulated CPU time: 3394.95 s
Current children cumulated vsize: 385084 KiB
Current children cumulated memory: 309276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.09 8/267 333338
/proc/meminfo: memFree=126321072/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2776 CPUtime=1795.01 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 270 6170 0 1 0 0 176375 3126 20 0 1 0 61420935 10170368 694 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 694 604 264 0 134 0
[pid=332413] ppid=331502 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/332413/stat : 332413 (timeout) S 331502 332413 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61600737 8867840 228 134679101440 94040939016192 94040939051208 140726630934496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94040941148624 94040941150756 94040959655936 140726630937588 140726630937757 140726630937757 140726630944743 0
/proc/332413/statm: 2165 228 204 9 0 87 0
[pid=332418] ppid=332413 vsize=367260 memory=306320 CPUtime=1659.77 cores=1,3
/proc/332418/stat : 332418 (Exact) R 332413 332413 331427 0 -1 4194304 50758 0 0 0 165959 18 0 0 20 0 1 0 61600737 376074240 76580 134679101440 4194304 7210733 140733793901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 23478272 140733793907728 140733793907878 140733793907878 140733793914864 0
/proc/332418/statm: 91815 76580 764 737 0 90903 0
Current children cumulated CPU time: 3454.78 s
Current children cumulated vsize: 385852 KiB
Current children cumulated memory: 310008 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.09 8/265 333348
/proc/meminfo: memFree=126319068/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2776 CPUtime=1795.01 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 270 6170 0 1 0 0 176375 3126 20 0 1 0 61420935 10170368 694 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 694 604 264 0 134 0
[pid=332413] ppid=331502 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/332413/stat : 332413 (timeout) S 331502 332413 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61600737 8867840 228 134679101440 94040939016192 94040939051208 140726630934496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94040941148624 94040941150756 94040959655936 140726630937588 140726630937757 140726630937757 140726630944743 0
/proc/332413/statm: 2165 228 204 9 0 87 0
[pid=332418] ppid=332413 vsize=367260 memory=306320 CPUtime=1719.6 cores=1,3
/proc/332418/stat : 332418 (Exact) R 332413 332413 331427 0 -1 4194304 50903 0 0 0 171942 18 0 0 20 0 1 0 61600737 376074240 76580 134679101440 4194304 7210733 140733793901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 23478272 140733793907728 140733793907878 140733793907878 140733793914864 0
/proc/332418/statm: 91815 76580 764 737 0 90903 0
Current children cumulated CPU time: 3514.61 s
Current children cumulated vsize: 385852 KiB
Current children cumulated memory: 310008 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.12 4.09 8/265 333358
/proc/meminfo: memFree=126306252/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2776 CPUtime=1795.01 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 270 6170 0 1 0 0 176375 3126 20 0 1 0 61420935 10170368 694 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 694 604 264 0 134 0
[pid=332413] ppid=331502 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/332413/stat : 332413 (timeout) S 331502 332413 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61600737 8867840 228 134679101440 94040939016192 94040939051208 140726630934496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94040941148624 94040941150756 94040959655936 140726630937588 140726630937757 140726630937757 140726630944743 0
/proc/332413/statm: 2165 228 204 9 0 87 0
[pid=332418] ppid=332413 vsize=368156 memory=307172 CPUtime=1779.43 cores=1,3
/proc/332418/stat : 332418 (Exact) R 332413 332413 331427 0 -1 4194304 51242 0 0 0 177925 18 0 0 20 0 1 0 61600737 376991744 76793 134679101440 4194304 7210733 140733793901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 23478272 140733793907728 140733793907878 140733793907878 140733793914864 0
/proc/332418/statm: 92039 76793 764 737 0 91127 0
Current children cumulated CPU time: 3574.44 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 310860 KiB

[startup+3596.05 s]
# the end of solver process 331502 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3556.72 s, system=31.4652 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.05 4.12 4.09 8/265 333358
/proc/meminfo: memFree=126306248/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2776 CPUtime=1795.01 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 270 6170 0 1 0 0 176375 3126 20 0 1 0 61420935 10170368 694 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 694 604 264 0 134 0
[pid=332413] ppid=331502 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/332413/stat : 332413 (timeout) S 331502 332413 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61600737 8867840 228 134679101440 94040939016192 94040939051208 140726630934496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94040941148624 94040941150756 94040959655936 140726630937588 140726630937757 140726630937757 140726630944743 0
/proc/332413/statm: 2165 228 204 9 0 87 0
[pid=332418] ppid=332413 vsize=368156 memory=307172 CPUtime=1781.13 cores=1,3
/proc/332418/stat : 332418 (Exact) R 332413 332413 331427 0 -1 4194304 51242 0 0 0 178095 18 0 0 20 0 1 0 61600737 376991744 76793 134679101440 4194304 7210733 140733793901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 23478272 140733793907728 140733793907878 140733793907878 140733793914864 0
/proc/332418/statm: 92039 76793 764 737 0 91127 0
Current children cumulated CPU time: 3576.14 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 310860 KiB

[startup+3590.4 s]
/proc/loadavg: 4.04 4.11 4.08 8/265 333359
/proc/meminfo: memFree=126306136/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2776 CPUtime=1795.01 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 270 6170 0 1 0 0 176375 3126 20 0 1 0 61420935 10170368 694 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 694 604 264 0 134 0
[pid=332413] ppid=331502 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/332413/stat : 332413 (timeout) S 331502 332413 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61600737 8867840 228 134679101440 94040939016192 94040939051208 140726630934496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94040941148624 94040941150756 94040959655936 140726630937588 140726630937757 140726630937757 140726630944743 0
/proc/332413/statm: 2165 228 204 9 0 87 0
[pid=332418] ppid=332413 vsize=368156 memory=307172 CPUtime=1787.51 cores=1,3
/proc/332418/stat : 332418 (Exact) R 332413 332413 331427 0 -1 4194304 51242 0 0 0 178733 18 0 0 20 0 1 0 61600737 376991744 76793 134679101440 4194304 7210733 140733793901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 23478272 140733793907728 140733793907878 140733793907878 140733793914864 0
/proc/332418/statm: 92039 76793 764 737 0 91127 0
Current children cumulated CPU time: 3582.52 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 310860 KiB

[startup+3593.6 s]
/proc/loadavg: 4.04 4.11 4.08 8/265 333359
/proc/meminfo: memFree=126305792/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2776 CPUtime=1795.01 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 270 6170 0 1 0 0 176375 3126 20 0 1 0 61420935 10170368 694 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 694 604 264 0 134 0
[pid=332413] ppid=331502 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/332413/stat : 332413 (timeout) S 331502 332413 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61600737 8867840 228 134679101440 94040939016192 94040939051208 140726630934496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94040941148624 94040941150756 94040959655936 140726630937588 140726630937757 140726630937757 140726630944743 0
/proc/332413/statm: 2165 228 204 9 0 87 0
[pid=332418] ppid=332413 vsize=368156 memory=307172 CPUtime=1790.7 cores=1,3
/proc/332418/stat : 332418 (Exact) R 332413 332413 331427 0 -1 4194304 51243 0 0 0 179052 18 0 0 20 0 1 0 61600737 376991744 76793 134679101440 4194304 7210733 140733793901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 23478272 140733793907728 140733793907878 140733793907878 140733793914864 0
/proc/332418/statm: 92039 76793 764 737 0 91127 0
Current children cumulated CPU time: 3585.71 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 310860 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.13 4.09 8/265 333359
/proc/meminfo: memFree=126304304/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2776 CPUtime=1795.01 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 270 6170 0 1 0 0 176375 3126 20 0 1 0 61420935 10170368 694 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 694 604 264 0 134 0
[pid=332413] ppid=331502 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/332413/stat : 332413 (timeout) S 331502 332413 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61600737 8867840 228 134679101440 94040939016192 94040939051208 140726630934496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94040941148624 94040941150756 94040959655936 140726630937588 140726630937757 140726630937757 140726630944743 0
/proc/332413/statm: 2165 228 204 9 0 87 0
[pid=332418] ppid=332413 vsize=368156 memory=307172 CPUtime=1792.3 cores=1,3
/proc/332418/stat : 332418 (Exact) R 332413 332413 331427 0 -1 4194304 51243 0 0 0 179212 18 0 0 20 0 1 0 61600737 376991744 76793 134679101440 4194304 7210733 140733793901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 23478272 140733793907728 140733793907878 140733793907878 140733793914864 0
/proc/332418/statm: 92039 76793 764 737 0 91127 0
Current children cumulated CPU time: 3587.31 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 310860 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.13 4.09 8/265 333359
/proc/meminfo: memFree=126304304/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2776 CPUtime=1795.01 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 270 6170 0 1 0 0 176375 3126 20 0 1 0 61420935 10170368 694 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 694 604 264 0 134 0
[pid=332413] ppid=331502 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/332413/stat : 332413 (timeout) S 331502 332413 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61600737 8867840 228 134679101440 94040939016192 94040939051208 140726630934496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94040941148624 94040941150756 94040959655936 140726630937588 140726630937757 140726630937757 140726630944743 0
/proc/332413/statm: 2165 228 204 9 0 87 0
[pid=332418] ppid=332413 vsize=368156 memory=307172 CPUtime=1792.7 cores=1,3
/proc/332418/stat : 332418 (Exact) R 332413 332413 331427 0 -1 4194304 51243 0 0 0 179252 18 0 0 20 0 1 0 61600737 376991744 76793 134679101440 4194304 7210733 140733793901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 23478272 140733793907728 140733793907878 140733793907878 140733793914864 0
/proc/332418/statm: 92039 76793 764 737 0 91127 0
Current children cumulated CPU time: 3587.71 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 310860 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.13 4.09 8/265 333359
/proc/meminfo: memFree=126304176/131524600 swapFree=131071996/131071996
[pid=331502] ppid=331487 vsize=9932 memory=2776 CPUtime=1795.01 cores=1,3
/proc/331502/stat : 331502 (Hybrid-LSMabSP+) S 331487 331502 331427 0 -1 4194304 270 6170 0 1 0 0 176375 3126 20 0 1 0 61420935 10170368 694 134679101440 94557860171776 94557861251096 140725992760448 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94557863349552 94557863396740 94557872566272 140725992764392 140725992764538 140725992764538 140725992771553 0
/proc/331502/statm: 2483 694 604 264 0 134 0
[pid=332413] ppid=331502 vsize=8660 memory=912 CPUtime=0 cores=1,3
/proc/332413/stat : 332413 (timeout) S 331502 332413 331427 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61600737 8867840 228 134679101440 94040939016192 94040939051208 140726630934496 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94040941148624 94040941150756 94040959655936 140726630937588 140726630937757 140726630937757 140726630944743 0
/proc/332413/statm: 2165 228 204 9 0 87 0
[pid=332418] ppid=332413 vsize=368156 memory=307172 CPUtime=1793.1 cores=1,3
/proc/332418/stat : 332418 (Exact) R 332413 332413 331427 0 -1 4194304 51243 0 0 0 179292 18 0 0 20 0 1 0 61600737 376991744 76793 134679101440 4194304 7210733 140733793901664 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 23478272 140733793907728 140733793907878 140733793907878 140733793914864 0
/proc/332418/statm: 92039 76793 764 737 0 91127 0
Current children cumulated CPU time: 3588.11 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 310860 KiB

Child status: 0

Real time (s): 3596.05
CPU time (s): 3588.18
CPU user time (s): 3556.72
CPU system time (s): 31.4652
CPU usage (%): 99.7812
Max. virtual memory (cumulated for all children) (KiB): 386748
Max. memory (cumulated for all children) (KiB): 310860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.72
system time used= 31.4652
maximum resident set size= 317096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59293
page faults= 1
swaps= 0
block input operations= 8
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131
involuntary context switches= 1503


# summary of solver processes directly reported to runsolver:
#   pid: 331502
#   total CPU time (s): 3588.18
#   total CPU user time (s): 3556.72
#   total CPU system time (s): 31.4652

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.72566 second user time and 18.9314 second system time

The end

Begin job on nodeC027 at 2024-08-06 14:43:23
IDJOB=4437010
IDBENCH=146797
IDSOLVER=3070
FILE ID=nodeC027/4437010-1722948203
RUNJOBID= nodeC027-1722948202-331439
SLURM_JOB_ID= 8259008
Free space on /tmp= 890072 MiB

SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437010-1722948203/watcher-4437010-1722948203 -o /tmp/evaluation-result-4437010-1722948203/solver-4437010-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722948202-331439 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437010-1722948203.opb 3600 HOME 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=18592742

nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3549.380
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3324.531
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3809.026
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3647.410
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3615.177
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3616.294
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3761.534
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3772.663
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129584272 kB
MemAvailable:   129832612 kB
Buffers:          331480 kB
Cached:           763792 kB
SwapCached:            0 kB
Active:           593308 kB
Inactive:         829596 kB
Active(anon):       1468 kB
Inactive(anon):   363900 kB
Active(file):     591840 kB
Inactive(file):   465696 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             87340 kB
Writeback:            16 kB
AnonPages:        326344 kB
Mapped:            99116 kB
Shmem:             37720 kB
KReclaimable:      60904 kB
Slab:             152876 kB
SReclaimable:      60904 kB
SUnreclaim:        91972 kB
KernelStack:        3888 kB
PageTables:         9340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     696748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            28448 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      250580 kB
DirectMap2M:    19445760 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 889996 MiB
End job on nodeC027 at 2024-08-06 15:43:21