3585.92/3596.06	o 83155259
3585.92/3596.06	o 63029999
3585.92/3596.06	o 53255759
3585.92/3596.06	o 52767047
3585.92/3596.06	o 52685595
3585.92/3596.06	o 52673351
3585.92/3596.06	o 52672271
3585.92/3596.06	o 52669887
3585.92/3596.06	o 52664975
3585.92/3596.06	o 52664529
3585.92/3596.06	o 52663762
3585.92/3596.06	o 52663128
3585.92/3596.06	o 52662208
3585.92/3596.06	o 52661943
3585.92/3596.06	o 52659447
3585.92/3596.06	o 52658124
3585.92/3596.06	o 52657761
3585.92/3596.06	o 52657031
3585.92/3596.06	o 52655490
3585.92/3596.06	o 52655418
3585.92/3596.06	o 52654104
3585.92/3596.06	o 52650546
3585.92/3596.06	o 52650460
3585.92/3596.06	o 52648656
3585.92/3596.06	o 52648351
3585.92/3596.06	o 52647705
3585.92/3596.06	o 52647489
3585.92/3596.06	o 52647389
3585.92/3596.06	o 52647238
3585.92/3596.06	o 52646736
3585.92/3596.06	o 52643756
3585.92/3596.06	o 52643702
3585.92/3596.06	o 52642455
3585.92/3596.06	o 52641174
3585.92/3596.06	o 52641059
3585.92/3596.06	o 52640971
3585.92/3596.06	o 52638916
3585.92/3596.06	o 52638473
3585.92/3596.06	o 52638161
3585.92/3596.06	o 52637728
3585.92/3596.06	o 52636422
3585.92/3596.06	o 52636039
3585.92/3596.06	o 52635897
3585.92/3596.06	o 52635642
3585.92/3596.06	o 52634935
3585.92/3596.06	o 52633677
3585.92/3596.06	o 52632863
3585.92/3596.06	o 52630069
3585.92/3596.06	o 52629290
3585.92/3596.06	o 52629148
3585.92/3596.06	o 52629094
3585.92/3596.06	o 52626472
3585.92/3596.06	o 52624590
3585.92/3596.06	o 52624344
3585.92/3596.06	o 52623258
3585.92/3596.06	o 52622547
3585.92/3596.06	o 52621412
3585.92/3596.06	o 52621187
3585.92/3596.06	o 52620687
3585.92/3596.06	o 52597455
3585.92/3596.06	o 52119771
3585.92/3596.06	o 52113267
3585.92/3596.06	o 52107459
3585.92/3596.06	o 52107432
3585.92/3596.06	o 52107277
3585.92/3596.06	o 52107183
3585.92/3596.06	o 52107125
3585.92/3596.06	o 52106621
3585.92/3596.06	o 52106615
3585.92/3596.06	o 52075016
3585.92/3596.06	o 52070138
3585.92/3596.06	o 52065782
3585.92/3596.06	o 52065279
3585.92/3596.06	o 52060725
3585.92/3596.06	o 52060167
3585.92/3596.06	o 52059735
3585.92/3596.06	o 52058346
3585.92/3596.06	o 52058203
3585.92/3596.06	o 52057637
3585.92/3596.06	o 52057498
3585.92/3596.06	o 52057093
3585.92/3596.06	o 52056944
3585.92/3596.06	o 52052460
3585.92/3596.06	o 52051978
3585.92/3596.06	o 52051902
3585.92/3596.06	o 52051844
3585.92/3596.06	o 52051649
3585.92/3596.06	o 52051119
3585.92/3596.06	o 52049006
3585.92/3596.06	o 52048625
3585.92/3596.06	o 52048387
3585.92/3596.06	o 52047897
3585.92/3596.06	o 52047801
3585.92/3596.06	o 52047475
3585.92/3596.06	o 52045711
3585.92/3596.06	o 52042998
3585.92/3596.06	o 52042345
3585.92/3596.06	o 52041615
3585.92/3596.06	o 52040074
3585.92/3596.06	o 52038830
3585.92/3596.06	o 52038063
3585.92/3596.06	o 52033623
3585.92/3596.06	o 52032019
3585.92/3596.06	o 52031819
3585.92/3596.06	o 52031514
3585.92/3596.06	o 52029570
3585.92/3596.06	o 52028492
3585.92/3596.06	o 52026389
3585.92/3596.06	o 52024495
3585.92/3596.06	o 52023718
3585.92/3596.06	o 52022701
3585.92/3596.06	o 52022440
3585.92/3596.06	o 52019214
3585.92/3596.06	o 52018968
3585.92/3596.06	o 52018960
3585.92/3596.06	o 52018528
3585.92/3596.06	o 52018000
3585.92/3596.06	o 52013114
3585.92/3596.06	o 52012955
3585.92/3596.06	o 52012586
3585.92/3596.06	o 52009884
3585.92/3596.06	o 52009334
3585.92/3596.06	o 52009291
3585.92/3596.06	o 52009264
3585.92/3596.06	o 52009252
3585.92/3596.06	o 52008892
3585.92/3596.06	o 52008696
3585.92/3596.06	o 52006598
3585.92/3596.06	o 52006470
3585.92/3596.06	o 52006249
3585.92/3596.06	o 49485865
3585.92/3596.06	o 48132745
3585.92/3596.06	o 47456185
3585.92/3596.06	o 47117905
3585.92/3596.06	o 46948765
3585.92/3596.06	o 46942957
3585.92/3596.06	o 46864195
3585.92/3596.06	o 46861291
3585.92/3596.06	o 46859150
3585.92/3596.06	o 46858791
3585.92/3596.06	o 46858272
3585.92/3596.06	o 46857839
3585.92/3596.06	o 46857470
3585.92/3596.06	o 46856888
3585.92/3596.06	o 46856663
3585.92/3596.06	o 46856379
3585.92/3596.06	o 46855864
3585.92/3596.06	o 46851037
3585.92/3596.06	o 46850398
3585.92/3596.06	o 46849929
3585.92/3596.06	o 46848488
3585.92/3596.06	o 46847352
3585.92/3596.06	o 46846105
3585.92/3596.06	o 46846058
3585.92/3596.06	o 46844154
3585.92/3596.06	o 46844143
3585.92/3596.06	o 46844142
3585.92/3596.06	o 46843985
3585.92/3596.06	o 46843681
3585.92/3596.06	o 46842702
3585.92/3596.06	o 46842256
3585.92/3596.06	o 46842223
3585.92/3596.06	o 46761709
3585.92/3596.06	o 46721452
3585.92/3596.06	o 46719676
3585.92/3596.06	o 46717644
3585.92/3596.06	o 46713560
3585.92/3596.06	o 46387752
3585.92/3596.06	o 46265574
3585.92/3596.06	o 46231397
3585.92/3596.06	o 46227043
3585.92/3596.06	o 46226957
3585.92/3596.06	o 46223717
3585.92/3596.06	o 46223217
3585.92/3596.06	o 46223095
3585.92/3596.06	o 46222296
3585.92/3596.06	o 46222060
3585.92/3596.06	o 46214908
3585.92/3596.06	o 46185015
3585.92/3596.06	o 46184944
3585.92/3596.06	o 46184632
3585.92/3596.06	o 46183932
3585.92/3596.06	o 46183602
3585.92/3596.06	o 46183505
3585.92/3596.06	o 46182714
3585.92/3596.06	o 46182520
3585.92/3596.06	o 46179616
3585.92/3596.06	o 46179523
3585.92/3596.06	o 46179437
3585.92/3596.06	o 46179333
3585.92/3596.06	o 46179050
3585.92/3596.06	o 46178871
3585.92/3596.06	o 46085161
3585.92/3596.06	o 46055041
3585.92/3596.06	o 46041348
3585.92/3596.06	o 46040782
3585.92/3596.06	o 46036876
3585.92/3596.06	o 45741028
3585.92/3596.06	o 45724060
3585.92/3596.06	o 45562036
3585.92/3596.06	o 45559228
3585.92/3596.06	o 45558852
3585.92/3596.06	o 45556750
3585.92/3596.06	o 45556494
3585.92/3596.06	o 45556332
3585.92/3596.06	o 45555656
3585.92/3596.06	o 45554637
3585.92/3596.06	o 45554371
3585.92/3596.06	o 45554115
3585.92/3596.06	o 45553953
3585.92/3596.06	o 45553033
3585.92/3596.06	o 45552768
3585.92/3596.06	o 45552453
3585.92/3596.06	o 45552188
3585.92/3596.06	o 45551897
3585.92/3596.06	o 45551677
3585.92/3596.06	o 45551421
3585.92/3596.06	o 45551259
3585.92/3596.06	o 45551220
3585.92/3596.06	o 45551058
3585.92/3596.06	o 45550902
3585.92/3596.06	o 45550586
3585.92/3596.06	o 45550321
3585.92/3596.06	o 45550086
3585.92/3596.06	o 45549933
3585.92/3596.06	o 45549830
3585.92/3596.06	o 45549668
3585.92/3596.06	o 45549616
3585.92/3596.06	o 45549454
3585.92/3596.06	o 45549042
3585.92/3596.06	o 45548540
3585.92/3596.06	o 45548275
3585.92/3596.06	o 45548122
3585.92/3596.06	o 45548019
3585.92/3596.06	o 45547857
3585.92/3596.06	o 45547763
3585.92/3596.06	o 45547293
3585.92/3596.06	o 45547187
3585.92/3596.06	o 45545881
3585.92/3596.06	o 45545873
3585.92/3596.06	o 45544701
3585.92/3596.06	o 45544559
3585.92/3596.06	o 45544502
3585.92/3596.06	o 45544118
3585.92/3596.06	o 45543976
3585.92/3596.06	o 45541182
3585.92/3596.06	o 45540680
3585.92/3596.06	o 45540042
3585.92/3596.06	o 45539910
3585.92/3596.06	o 45539408
3585.92/3596.06	o 45537680
3585.92/3596.06	o 45537375
3585.92/3596.06	o 45537213
3585.92/3596.06	o 45537095
3585.92/3596.06	o 45536590
3585.92/3596.06	o 45535237
3585.92/3596.06	o 45534732
3585.92/3596.06	o 45534462
3585.92/3596.06	o 45534269
3585.92/3596.06	o 45534121
3585.92/3596.06	o 45533816
3585.92/3596.06	o 45533654
3585.92/3596.06	o 45533629
3585.92/3596.06	o 45533413
3585.92/3596.06	o 45533206
3585.92/3596.06	o 45533199
3585.92/3596.06	o 45532894
3585.92/3596.06	o 45532461
3585.92/3596.06	o 45532409
3585.92/3596.06	o 45532193
3585.92/3596.06	o 45532065
3585.92/3596.06	o 45532015
3585.92/3596.06	o 45531961
3585.92/3596.06	o 45531710
3585.92/3596.06	o 45531656
3585.92/3596.06	o 45531615
3585.92/3596.06	o 45531561
3585.92/3596.06	o 45531418
3585.92/3596.06	o 45531113
3585.92/3596.06	o 45531059
3585.92/3596.06	o 45530897
3585.92/3596.06	o 45530843
3585.92/3596.06	o 45530647
3585.92/3596.06	o 45530593
3585.92/3596.06	o 45530214
3585.92/3596.06	o 45530160
3585.92/3596.06	o 45529959
3585.92/3596.06	o 45529905
3585.92/3596.06	o 45529894
3585.92/3596.06	o 45529271
3585.92/3596.06	o 45529218
3585.92/3596.06	o 45528355
3585.92/3596.06	o 45528050
3585.92/3596.06	o 45527822
3585.92/3596.06	o 45525932
3585.92/3596.06	o 45525627
3585.92/3596.06	o 45525499
3585.92/3596.06	o 45525194
3585.92/3596.06	o 45525037
3585.92/3596.06	o 45524983
3585.92/3596.06	o 45522614
3585.92/3596.06	o 45522413
3585.92/3596.06	o 45521980
3585.92/3596.06	o 45521764
3585.92/3596.06	o 45521725
3585.92/3596.06	o 45521509
3585.92/3596.06	o 45521361
3585.92/3596.06	o 45521268
3585.92/3596.06	o 45520835
3585.92/3596.06	o 45520333
3585.92/3596.06	o 45520305
3585.92/3596.06	o 45520089
3585.92/3596.06	o 45520080
3585.92/3596.06	o 45519864
3585.92/3596.06	o 45519668
3585.92/3596.06	o 45519467
3585.92/3596.06	o 45519034
3585.92/3596.06	o 45518847
3585.92/3596.06	o 45518793
3585.92/3596.06	o 45516424
3585.92/3596.06	o 45516326
3585.92/3596.06	o 45516169
3585.92/3596.06	o 45516113
3585.92/3596.06	o 45515956
3585.92/3596.06	o 45515847
3585.92/3596.06	o 45515622
3585.92/3596.06	o 45514118
3585.92/3596.06	o 45513917
3585.92/3596.06	o 45513697
3585.92/3596.06	o 45513442
3585.92/3596.06	o 45513406
3585.92/3596.06	o 45512973
3585.92/3596.06	o 45512917
3585.92/3596.06	o 45512760
3585.92/3596.06	o 45512748
3585.92/3596.06	o 45512532
3585.92/3596.06	o 45512482
3585.92/3596.06	o 45512236
3585.92/3596.06	o 45511951
3585.92/3596.06	o 45511735
3585.92/3596.06	o 45511215
3585.92/3596.06	o 45510990
3585.92/3596.06	o 45510901
3585.92/3596.06	o 45510685
3585.92/3596.06	o 45510167
3585.92/3596.06	o 45510010
3585.92/3596.06	o 45509548
3585.92/3596.06	o 45509353
3585.92/3596.06	o 45508835
3585.92/3596.06	o 45508678
3585.92/3596.06	o 45508622
3585.92/3596.06	o 45508465
3585.92/3596.06	o 45508274
3585.92/3596.06	o 45508117
3585.92/3596.06	o 45507976
3585.92/3596.06	o 45507671
3585.92/3596.06	o 45507455
3585.92/3596.06	o 45507260
3585.92/3596.06	o 45507213
3585.92/3596.06	o 45506997
3585.92/3596.06	o 45506742
3585.92/3596.06	o 45506585
3585.92/3596.06	o 45506529
3585.92/3596.06	o 45506372
3585.92/3596.06	o 45506305
3585.92/3596.06	o 45506050
3585.92/3596.06	o 45505893
3585.92/3596.06	o 45505531
3585.92/3596.06	o 45505315
3585.92/3596.06	o 45504235
3585.92/3596.06	o 45503923
3585.92/3596.06	o 45503490
3585.92/3596.06	o 45502946
3585.92/3596.06	o 45502616
3585.92/3596.06	o 45502400
3585.92/3596.06	o 45501861
3585.92/3596.06	o 45501645
3585.92/3596.06	o 45501428
3585.92/3596.06	o 45501212
3585.92/3596.06	o 45501096
3585.92/3596.06	o 45500880
3585.92/3596.06	o 45500791
3585.92/3596.06	o 45500761
3585.92/3596.06	o 45500536
3585.92/3596.06	o 45500519
3585.92/3596.06	o 45500303
3585.92/3596.06	o 45500090
3585.92/3596.06	o 45500041
3585.92/3596.06	o 45499884
3585.92/3596.06	o 45499861
3585.92/3596.06	o 45499822
3585.92/3596.06	o 45499606
3585.92/3596.06	o 45499552
3585.92/3596.06	o 45499073
3585.92/3596.06	o 45499037
3585.92/3596.06	o 45498909
3585.92/3596.06	o 45498604
3585.92/3596.06	o 45498005
3585.92/3596.06	o 45497356
3585.92/3596.06	o 45496512
3585.92/3596.06	o 45496405
3585.92/3596.06	o 45496180
3585.92/3596.06	o 45496150
3585.92/3596.06	o 45496120
3585.92/3596.06	o 45495925
3585.92/3596.06	o 45495730
3585.92/3596.06	o 45495261
3585.92/3596.06	o 45495230
3585.92/3596.06	o 45494944
3585.92/3596.06	o 45494923
3585.92/3596.06	o 45494728
3585.92/3596.06	o 45494475
3585.92/3596.06	o 45494259
3585.92/3596.06	o 45494201
3585.92/3596.06	o 45493896
3585.92/3596.06	o 45493690
3585.92/3596.06	o 45493558
3585.92/3596.06	o 45493265
3585.92/3596.06	o 45166601
3585.92/3596.06	o 45003269
3585.92/3596.06	o 44966792
3585.92/3596.06	o 44962436
3585.92/3596.06	o 44962223
3585.92/3596.06	o 44959737
3585.92/3596.06	o 44956245
3585.92/3596.06	o 44955536
3585.92/3596.06	o 44953920
3585.92/3596.06	o 44952844
3585.92/3596.06	o 44952513
3585.92/3596.06	o 44952455
3585.92/3596.06	o 44952384
3585.92/3596.06	o 44952300
3585.92/3596.06	o 44952084
3585.92/3596.06	o 44951927
3585.92/3596.06	o 44947571
3585.92/3596.06	o 44947239
3585.92/3596.06	o 44947106
3585.92/3596.06	o 44947072
3585.92/3596.06	o 44946639
3585.92/3596.06	o 44946484
3585.92/3596.06	o 44946038
3585.92/3596.06	o 44945906
3585.92/3596.06	o 44940116
3585.92/3596.06	o 44940043
3585.92/3596.06	o 44939960
3585.92/3596.06	o 44939847
3585.92/3596.06	o 44939844
3585.92/3596.06	o 44939548
3585.92/3596.06	o 44939283
3585.92/3596.06	o 44902806
3585.92/3596.06	o 44898450
3585.92/3596.06	o 44896456
3585.92/3596.06	o 44896102
3585.92/3596.06	o 44895734
3585.92/3596.06	o 44852413
3585.92/3596.06	o 44850637
3585.92/3596.06	o 44847516
3585.92/3596.06	o 44847117
3585.92/3596.06	o 44844588
3585.92/3596.06	o 44844242
3585.92/3596.06	o 44761328
3585.92/3596.06	o 44758526
3585.92/3596.06	o 44757922
3585.92/3596.06	o 44757341
3585.92/3596.06	o 44755831
3585.92/3596.06	o 44754893
3585.92/3596.06	o 44754742
3585.92/3596.06	o 44754709
3585.92/3596.06	o 44754668
3585.92/3596.06	o 44754452
3585.92/3596.06	o 44754064
3585.92/3596.06	o 44753643
3585.92/3596.06	o 44753138
3585.92/3596.06	o 44752948
3585.92/3596.06	o 44752939
3585.92/3596.06	o 44752314
3585.92/3596.06	o 44752227
3585.92/3596.06	o 44752011
3585.92/3596.06	o 44751935
3585.92/3596.06	o 44751430
3585.92/3596.06	o 44751376
3585.92/3596.06	o 44751215
3585.92/3596.06	o 44751112
3585.92/3596.06	o 44750610
3585.92/3596.06	o 44750305
3585.92/3596.06	o 44750263
3585.92/3596.06	o 44750047
3585.92/3596.06	o 44749993
3585.92/3596.06	o 44749833
3585.92/3596.06	o 44749719
3585.92/3596.06	o 44749503
3585.92/3596.06	o 44749449
3585.92/3596.06	o 44749426
3585.92/3596.06	o 44749291
3585.92/3596.06	o 44749219
3585.92/3596.06	o 44749164
3585.92/3596.06	o 44748907
3585.92/3596.06	o 44748778
3585.92/3596.06	o 44748754
3585.92/3596.06	o 44748489
3585.92/3596.06	o 44748273
3585.92/3596.06	o 44748116
3585.92/3596.06	o 44747768
3585.92/3596.06	o 44747552
3585.92/3596.06	o 44747045
3585.92/3596.06	o 44746309
3585.92/3596.06	o 44744851
3585.92/3596.06	o 44744033
3585.92/3596.06	o 44743891
3585.92/3596.06	o 44742321
3585.92/3596.06	o 44741136
3585.92/3596.06	o 44740346
3585.92/3596.06	o 44736592
3585.92/3596.06	o 44736048
3585.92/3596.06	o 44397768
3585.92/3596.06	o 44228628
3585.92/3596.06	o 44222820
3585.92/3596.06	o 44144058
3585.92/3596.06	o 44144034
3585.92/3596.06	o 44143827
3585.92/3596.06	o 44143515
3585.92/3596.06	o 44143036
3585.92/3596.06	o 44142173
3585.92/3596.06	o 44141937
3585.92/3596.06	o 44141648
3585.92/3596.06	o 44141277
3585.92/3596.06	o 44141223
3585.92/3596.06	o 44140654
3585.92/3596.06	o 44139737
3585.92/3596.06	o 44139407
3585.92/3596.06	o 44138336
3585.92/3596.06	o 44136718
3585.92/3596.06	o 44136249
3585.92/3596.06	o 44136189
3585.92/3596.06	o 44135978
3585.92/3596.06	o 44135871
3585.92/3596.06	o 44135862
3585.92/3596.06	o 44135646
3585.92/3596.06	o 44135548
3585.92/3596.06	o 44135441
3585.92/3596.06	o 44134962
3585.92/3596.06	o 44134737
3585.92/3596.06	o 44134456
3585.92/3596.06	o 44134202
3585.92/3596.06	o 44133954
3585.92/3596.06	o 44133449
3585.92/3596.06	o 44133336
3585.92/3596.06	o 44133334
3585.92/3596.06	o 44133139
3585.92/3596.06	o 44133003
3585.92/3596.06	o 44132834
3585.92/3596.06	o 44132348
3585.92/3596.06	o 44131895
3585.92/3596.06	o 44131186
3585.92/3596.06	o 44131100
3585.92/3596.06	o 44129496
3585.92/3596.06	o 44128991
3585.92/3596.06	o 44128944
3585.92/3596.06	o 44128719
3585.92/3596.06	o 44127469
3585.92/3596.06	o 44126929
3585.92/3596.06	o 44125737
3585.92/3596.06	o 44084550
3585.92/3596.06	o 44083898
3585.92/3596.06	o 44080370
3585.92/3596.06	o 44079971
3585.92/3596.06	o 44077790
3585.92/3596.06	o 44077641
3585.92/3596.06	o 44077535
3585.92/3596.06	o 44076833
3585.92/3596.06	o 44074134
3585.92/3596.06	o 44073803
3585.92/3596.06	o 44073124
3585.92/3596.06	o 44072185
3585.92/3596.06	o 44072136
3585.92/3596.06	o 44070896
3585.92/3596.06	o 44070870
3585.92/3596.06	o 44068750
3585.92/3596.06	o 44068744
3585.92/3596.06	o 44066135
3585.92/3596.06	o 44063231
3585.92/3596.06	o 44063213
3585.92/3596.06	o 44062730
3585.92/3596.06	o 44062109
3585.92/3596.06	o 44061690
3585.92/3596.06	o 44061521
3585.92/3596.06	o 44061308
3585.92/3596.06	o 44061238
3585.92/3596.06	o 44061083
3585.92/3596.06	o 44060451
3585.92/3596.06	o 44058993
3585.92/3596.06	o 44058761
3585.92/3596.06	o 44058178
3585.92/3596.06	o 44057659
3585.92/3596.06	o 44056548
3585.92/3596.06	o 44053644
3585.92/3596.06	o 44053638
3585.92/3596.06	o 44053380
3585.92/3596.06	o 44052939
3585.92/3596.06	o 44052840
3585.92/3596.06	o 44052627
3585.92/3596.06	o 44052470
3585.92/3596.06	o 44049566
3585.92/3596.06	o 44049434
3585.92/3596.06	o 44049321
3585.92/3596.06	o 44049315
3585.92/3596.06	o 44048402
3585.92/3596.06	o 44048061
3585.92/3596.06	o 44047489
3585.92/3596.06	o 44047388
3585.92/3596.06	o 44047163
3585.92/3596.06	o 44047157
3585.92/3596.06	o 44046918
3585.92/3596.06	o 44046607
3585.92/3596.06	o 44046548
3585.92/3596.06	o 44046416
3585.92/3596.06	o 44045910
3585.92/3596.06	o 44045816
3585.92/3596.06	o 44044142
3585.92/3596.06	o 44044027
3585.92/3596.06	o 44043508
3585.92/3596.06	o 44043395
3585.92/3596.06	o 44042934
3585.92/3596.06	o 44042718
3585.92/3596.06	o 44042374
3585.92/3596.06	o 44042372
3585.92/3596.06	o 44042348
3585.92/3596.06	o 44042214
3585.92/3596.06	o 44041868
3585.92/3596.06	o 44041652
3585.92/3596.06	o 44041472
3585.92/3596.06	o 44041259
3585.92/3596.06	o 44041123
3585.92/3596.06	o 44040604
3585.92/3596.06	o 44040491
3585.92/3596.06	o 44040461
3585.92/3596.06	o 44039971
3585.92/3596.06	o 44039609
3585.92/3596.06	o 44038075
3585.92/3596.06	o 44037326
3585.92/3596.06	o 44036705
3585.92/3596.06	o 44035677
3585.92/3596.06	o 44028777
3585.92/3596.06	o 44028069
3585.92/3596.06	o 44024421
3585.92/3596.06	o 44023713
3585.92/3596.06	o 44022066
3585.92/3596.06	o 44020817
3585.92/3596.06	o 44019957
3585.92/3596.06	o 44019928
3585.92/3596.06	o 44019275
3585.92/3596.06	o 44018968
3585.92/3596.06	o 44018902
3585.92/3596.06	o 44018881
3585.92/3596.06	o 44018747
3585.92/3596.06	o 44018442
3585.92/3596.06	o 44018376
3585.92/3596.06	o 44018179
3585.92/3596.06	o 44017874
3585.92/3596.06	o 44016867
3585.92/3596.06	o 44016312
3585.92/3596.06	o 44016007
3585.92/3596.06	o 44015941
3585.92/3596.06	o 44015725
3585.92/3596.06	o 44015649
3585.92/3596.06	o 44015583
3585.92/3596.06	o 44015484
3585.92/3596.06	o 44015372
3585.92/3596.06	o 44015067
3585.92/3596.06	o 44015001
3585.92/3596.06	o 44014645
3585.92/3596.06	o 44014340
3585.92/3596.06	o 44013511
3585.92/3596.06	o 44012914
3585.92/3596.06	o 44012698
3585.92/3596.06	o 44012632
3585.92/3596.06	o 44012556
3585.92/3596.06	o 44012490
3585.92/3596.06	o 44012119
3585.92/3596.06	o 44012065
3585.92/3596.06	o 44011855
3585.92/3596.06	o 44011801
3585.92/3596.06	o 44011633
3585.92/3596.07	o 44011328
3585.92/3596.07	o 44011133
3585.92/3596.07	o 44011038
3585.92/3596.07	o 44010793
3585.92/3596.07	o 44010598
3585.92/3596.07	o 44010288
3585.92/3596.07	o 44010161
3585.92/3596.07	o 44010140
3585.92/3596.07	o 44009945
3585.92/3596.07	o 44009647
3585.92/3596.07	o 44009214
3585.92/3596.07	o 44009078
3585.92/3596.07	o 44008862
3585.92/3596.07	o 44008837
3585.92/3596.07	o 44008734
3585.92/3596.07	o 44008642
3585.92/3596.07	o 44008429
3585.92/3596.07	o 44008386
3585.92/3596.07	o 44008043
3585.92/3596.07	o 44007885
3585.92/3596.07	o 44007288
3585.92/3596.07	o 44007072
3585.92/3596.07	o 44006679
3585.92/3596.07	o 44006374
3585.92/3596.07	o 44005740
3585.92/3596.07	o 44005608
3585.92/3596.07	o 44005106
3585.92/3596.07	o 44004826
3585.92/3596.07	o 44004631
3585.92/3596.07	o 44004524
3585.92/3596.07	o 44004299
3585.92/3596.07	o 44003813
3585.92/3596.07	o 44003405
3585.92/3596.07	o 44003189
3585.92/3596.07	o 44002756
3585.92/3596.07	o 44002722
3585.92/3596.07	o 44002379
3585.92/3596.07	o 44002047
3585.92/3596.07	o 44001535
3585.92/3596.07	o 44000500
3585.92/3596.07	o 43999999
3585.92/3596.07	o 43965396
3585.92/3596.07	o 43962070
3585.92/3596.07	o 43959166
3585.92/3596.07	o 43959158
3585.92/3596.07	o 43958852
3585.92/3596.07	o 43958834
3585.92/3596.07	o 43957971
3585.92/3596.07	o 43957186
3585.92/3596.07	o 43957136
3585.92/3596.07	o 43956994
3585.92/3596.07	o 43956857
3585.92/3596.07	o 43954719
3585.92/3596.07	o 43954696
3585.92/3596.07	o 43954539
3585.92/3596.07	o 43953645
3585.92/3596.07	o 43951763
3585.92/3596.07	o 43951315
3585.92/3596.07	o 43951184
3585.92/3596.07	o 43948666
3585.92/3596.07	o 43947775
3585.92/3596.07	o 43947769
3585.92/3596.07	o 43947764
3585.92/3596.07	o 43944860
3585.92/3596.07	o 43944391
3585.92/3596.07	o 43944160
3585.92/3596.07	o 43943828
3585.92/3596.07	o 43942826
3585.92/3596.07	o 43942790
3585.92/3596.07	o 43942750
3585.92/3596.07	o 43942325
3585.92/3596.07	o 43942096
3585.92/3596.07	o 43941663
3585.92/3596.07	o 43941331
3585.92/3596.07	o 43941288
3585.92/3596.07	o 43941164
3585.92/3596.07	o 43941007
3585.92/3596.07	o 43940993
3585.92/3596.07	o 43940861
3585.92/3596.07	o 43940715
3585.92/3596.07	o 43940705
3585.92/3596.07	o 43940572
3585.92/3596.07	o 43937668
3585.92/3596.07	o 43937258
3585.92/3596.07	o 43810555
3585.92/3596.07	o 43809251
3585.92/3596.07	o 43807391
3585.92/3596.07	o 43644487
3585.92/3596.07	o 43637559
3585.92/3596.07	o 43559571
3585.92/3596.07	o 43522309
3585.92/3596.07	o 43520577
3585.92/3596.07	o 43441367
3585.92/3596.07	o 43440715
3585.92/3596.07	o 43399854
3585.92/3596.07	o 43399389
3585.92/3596.07	o 42815165
3585.92/3596.07	o 42773757
3585.92/3596.07	o 42449709
3585.92/3596.07	o 42368697
3585.92/3596.07	o 42341131
3585.92/3596.07	o 42324681
3585.92/3596.07	o 42323761
3585.92/3596.07	o 42323496
3585.92/3596.07	o 42321721
3585.92/3596.07	o 42321158
3585.92/3596.07	o 42320130
3585.92/3596.07	o 42319886
3585.92/3596.07	o 42318793
3585.92/3596.07	o 42316008
3585.92/3596.07	o 42315866
3585.92/3596.07	o 42310905
3585.92/3596.07	o 42310271
3585.92/3596.07	o 42305917
3585.92/3596.07	o 42305831
3585.92/3596.07	o 42304027
3585.92/3596.07	o 42303955
3585.92/3596.07	o 42300933
3585.92/3596.07	o 42298299
3585.92/3596.07	o 42297186
3585.92/3596.07	o 42297071
3585.92/3596.07	o 42296726
3585.92/3596.07	o 42295987
3585.92/3596.07	o 42292593
3585.92/3596.07	o 42290210
3585.92/3596.07	o 42289431
3585.92/3596.07	o 42289289
3585.92/3596.07	o 42285310
3585.92/3596.07	o 42285103
3585.92/3596.07	o 42284791
3585.92/3596.07	o 42281997
3585.92/3596.07	o 42281943
3585.92/3596.07	o 42281125
3585.92/3596.07	o 42280983
3585.92/3596.07	o 42279099
3585.92/3596.07	o 42278337
3585.92/3596.07	o 42277703
3585.92/3596.07	o 42277150
3585.92/3596.07	o 42274356
3585.92/3596.07	o 42273417
3585.92/3596.07	o 42271601
3585.92/3596.07	o 42266271
3585.92/3596.07	o 42263369
3585.92/3596.07	o 42262705
3585.92/3596.07	o 42261969
3585.92/3596.07	o 42261156
3585.92/3596.07	o 42260511
3585.92/3596.07	o 42260344
3585.92/3596.07	o 42253956
3585.92/3596.07	o 42253667
3585.92/3596.07	o 41623987
3585.92/3596.07	o 41600755
3585.92/3596.07	o 41307275
3585.92/3596.07	o 41127351
3585.92/3596.07	o 41110759
3585.92/3596.07	o 39710759
3585.92/3596.07	o 39710754
3585.92/3596.07	o 39710748
3585.92/3596.07	o 39709134
3585.92/3596.07	o 39708599
3585.92/3596.07	o 39708096
3585.92/3596.07	o 39696590
3585.92/3596.07	o 39694725
3585.92/3596.07	o 39694399
3585.92/3596.07	o 39693934
3585.92/3596.07	o 39654790
3585.92/3596.07	o 39573694
3585.92/3596.07	o 39532533
3585.92/3596.07	o 39532207
3585.92/3596.07	o 39531742
3585.92/3596.07	o 39492624
3585.92/3596.07	o 39451437
3585.92/3596.07	o 39451111
3585.92/3596.07	o 39450646
3585.92/3596.07	o 39410889
3585.92/3596.07	o 39410563
3585.92/3596.07	o 39410098
3585.92/3596.07	o 39387896
3585.92/3596.07	o 39387087
3585.92/3596.07	o 39386506
3585.92/3596.07	o 39385992
3585.92/3596.07	o 39385841
3585.92/3596.07	o 39385339
3585.92/3596.07	o 39385182
3585.92/3596.07	o 39384888
3585.92/3596.07	o 39383950
3585.92/3596.07	o 39383799
3585.92/3596.07	o 39383297
3585.92/3596.07	o 39383140
3585.92/3596.07	o 39382797
3585.92/3596.07	o 39382174
3585.92/3596.07	o 39382170
3585.92/3596.07	o 39381781
3585.92/3596.07	o 39380843
3585.92/3596.07	o 39380692
3585.92/3596.07	o 39380395
3585.92/3596.07	o 39380118
3585.92/3596.07	o 39379457
3585.92/3596.07	o 39379306
3585.92/3596.07	o 39378804
3585.92/3596.07	o 39378146
3585.92/3596.07	o 39378060
3585.92/3596.07	o 39376456
3585.92/3596.07	o 39375951
3585.92/3596.07	o 39375800
3585.92/3596.07	o 39375295
3585.92/3596.07	o 39374777
3585.92/3596.07	o 39374124
3585.92/3596.07	o 39374025
3585.92/3596.07	o 39373520
3585.92/3596.07	o 39373087
3585.92/3596.07	o 39372582
3585.92/3596.07	o 39372434
3585.92/3596.07	o 39371929
3585.92/3596.07	o 39371192
3585.92/3596.07	o 39370760
3585.92/3596.07	o 39370567
3585.92/3596.07	o 39370566
3585.92/3596.07	o 39370415
3585.92/3596.07	o 39369913
3585.92/3596.07	o 39369481
3585.92/3596.07	o 39369288
3585.92/3596.07	o 39369146
3585.92/3596.07	o 39368644
3585.92/3596.07	o 39368139
3585.92/3596.07	o 39367853
3585.92/3596.07	o 39367197
3585.92/3596.07	o 39367167
3585.92/3596.07	o 39366665
3585.92/3596.07	o 39366490
3585.92/3596.07	o 39365893
3585.92/3596.07	o 39365773
3585.92/3596.07	o 39365461
3585.92/3596.07	o 39365268
3585.92/3596.07	o 39365117
3585.92/3596.07	o 39364612
3585.92/3596.07	o 39364464
3585.92/3596.07	o 39363959
3585.92/3596.07	o 39363543
3585.92/3596.07	o 39363000
3585.92/3596.07	o 39362403
3585.92/3596.07	o 39362347
3585.92/3596.07	o 39361750
3585.92/3596.07	o 39361627
3585.92/3596.07	o 39361318
3585.92/3596.07	o 39361125
3585.92/3596.07	o 39361072
3585.92/3596.07	o 39360977
3585.92/3596.07	o 39360475
3585.92/3596.07	o 39360234
3585.92/3596.07	o 39360093
3585.92/3596.07	o 39359904
3585.92/3596.07	o 39358313
3585.92/3596.07	o 39357387
3585.92/3596.07	o 39356492
3585.92/3596.07	o 39355895
3585.92/3596.07	o 39355583
3585.92/3596.07	o 39355390
3585.92/3596.07	o 39354953
3585.92/3596.07	o 39354231
3585.92/3596.07	o 39350916
3585.92/3596.07	o 39350376
3585.92/3596.07	o 39350304
3585.92/3596.07	o 39348990
3585.92/3596.07	o 39348334
3585.92/3596.07	o 39346043
3585.92/3596.07	o 39345524
3585.92/3596.07	o 39345091
3585.92/3596.07	o 39344441
3585.92/3596.07	o 39343463
3585.92/3596.07	o 39342807
3585.92/3596.07	o 39342552
3585.92/3596.07	o 39341708
3585.92/3596.07	o 39340738
3585.92/3596.07	o 39340674
3585.92/3596.07	o 39340541
3585.92/3596.07	o 39338403
3585.92/3596.07	o 39338172
3585.92/3596.07	o 39332850
3585.92/3596.07	o 39332200
3585.92/3596.07	o 39331415
3585.92/3596.07	o 39331181
3585.92/3596.07	o 39330940
3585.92/3596.07	o 39330709
3585.92/3596.07	o 39330455
3585.92/3596.07	o 39329426
3585.92/3596.07	o 39325701
3585.92/3596.07	o 39325051
3585.92/3596.07	o 39324266
3585.92/3596.07	o 39320108
3585.92/3596.07	o 39319134
3585.92/3596.07	o 39318240
3585.92/3596.07	o 39316358
3585.92/3596.07	o 39315910
3585.92/3596.07	o 39315815
3585.92/3596.07	o 39313794
3585.92/3596.07	o 39309803
3585.92/3596.07	o 39308983
3585.92/3596.07	o 39308918
3585.92/3596.07	o 39308687
3585.92/3596.07	o 39308471
3585.92/3596.07	o 39308139
3585.92/3596.07	o 39307659
3585.92/3596.07	o 39307300
3585.92/3596.07	o 39306475
3585.92/3596.07	o 39306473
3585.92/3596.07	o 39305552
3585.92/3596.07	o 39302531
3585.92/3596.07	o 39302346
3585.92/3596.07	o 39302032
3585.92/3596.07	o 39299814
3585.92/3596.07	o 39299504
3585.92/3596.07	o 39298779
3585.92/3596.07	o 39298671
3585.92/3596.07	o 39298478
3585.92/3596.07	o 39298335
3585.92/3596.07	o 39298215
3585.92/3596.07	o 39297925
3585.92/3596.07	o 39296422
3585.92/3596.07	o 39296189
3585.92/3596.07	o 39294117
3585.92/3596.07	o 39293713
3585.92/3596.07	o 39293545
3585.92/3596.07	o 39293390
3585.92/3596.07	o 39293286
3585.92/3596.07	o 39293040
3585.92/3596.07	o 39292654
3585.92/3596.07	o 39292149
3585.92/3596.07	o 39292092
3585.92/3596.07	o 39291469
3585.92/3596.07	o 39290897
3585.92/3596.07	o 39290681
3585.92/3596.07	o 39290565
3585.92/3596.07	o 39288683
3585.92/3596.07	o 39288437
3585.92/3596.07	o 39287546
3585.92/3596.07	o 39286937
3585.92/3596.07	o 39286903
3585.92/3596.07	o 39286083
3585.92/3596.07	o 39286070
3585.92/3596.07	o 39285689
3585.92/3596.07	o 39285451
3585.92/3596.07	o 39285216
3585.92/3596.07	o 39284907
3585.92/3596.07	o 39284758
3585.92/3596.07	o 39279709
3585.92/3596.07	o 39279552
3585.92/3596.07	o 39279052
3585.92/3596.07	o 39278696
3585.92/3596.07	o 39275013
3585.92/3596.07	o 39274738
3585.92/3596.07	o 39274697
3585.92/3596.07	o 39274236
3585.92/3596.07	o 39271766
3585.92/3596.07	o 39251195
3585.92/3596.07	o 39251164
3585.92/3596.07	o 39250909
3585.92/3596.07	o 39250476
3585.92/3596.07	o 39246120
3585.92/3596.07	o 39245804
3585.92/3596.07	o 39245343
3585.92/3596.07	o 39245316
3585.92/3596.07	o 39244693
3585.92/3596.07	o 39244284
3585.92/3596.07	o 39244042
3585.92/3596.07	o 39243298
3585.92/3596.07	o 39242576
3585.92/3596.07	o 39242208
3585.92/3596.07	o 39240422
3585.92/3596.07	o 39239884
3585.92/3596.07	o 39239516
3585.92/3596.07	o 39239370
3585.92/3596.07	o 39239115
3585.92/3596.07	o 39239009
3585.92/3596.07	o 39238765
3585.92/3596.07	o 39238397
3585.92/3596.07	o 39237712
3585.92/3596.07	o 39237410
3585.92/3596.07	o 39233243
3585.92/3596.07	o 39232670
3585.92/3596.07	o 39232421
3585.92/3596.07	o 39228078
3585.92/3596.07	o 39227453
3585.92/3596.07	o 39226505
3585.92/3596.07	o 39222410
3585.92/3596.07	o 39219746
3585.92/3596.07	o 39219053
3585.92/3596.07	o 39216857
3585.92/3596.07	o 39215465
3585.92/3596.07	o 39215381
3585.92/3596.07	o 39214852
3585.92/3596.07	o 38543236
3585.92/3596.07	o 38207428
3585.92/3596.07	o 38039524
3585.92/3596.07	o 37997548
3585.92/3596.07	o 37992548
3585.92/3596.07	o 37834128
3585.92/3596.07	o 37751754
3585.92/3596.07	o 37751102
3585.92/3596.07	o 37750172
3585.92/3596.07	o 37743584
3585.92/3596.07	o 37737458
3585.92/3596.07	o 37736114
3585.92/3596.07	o 37735974
3585.92/3596.07	o 37735098
3585.92/3596.07	o 37728170
3585.92/3596.07	o 37727875
3585.92/3596.07	o 37035795
3585.92/3596.07	o 36689755
3585.92/3596.07	o 36559990
3585.92/3596.07	o 36522125
3585.92/3596.07	o 36521588
3585.92/3596.07	o 36519644
3585.92/3596.07	o 36519212
3585.92/3596.07	o 36519019
3585.92/3596.07	o 36519009
3585.92/3596.07	o 36518876
3585.92/3596.07	o 36518851
3585.92/3596.07	o 36518756
3585.92/3596.07	o 36518466
3585.92/3596.07	o 36518258
3585.92/3596.07	o 36517445
3585.92/3596.07	o 36476807
3585.92/3596.07	o 36470919
3585.92/3596.07	o 36470501
3585.92/3596.07	o 35495189
3585.92/3596.07	o 35373275
3585.92/3596.07	o 35038139
3585.92/3596.07	o 34870571
3585.92/3596.07	o 34870512
3585.92/3596.07	o 34870125
3585.92/3596.07	o 34830321
3585.92/3596.07	o 34826334
3585.92/3596.07	o 34825625
3585.92/3596.07	o 34825291
3585.92/3596.07	o 34821681
3585.92/3596.07	o 34820828
3585.92/3596.07	o 34820460
3585.92/3596.07	o 34820052
3585.92/3596.07	o 34819750
3585.92/3596.07	o 34819637
3585.92/3596.07	o 34819631
3585.92/3596.07	o 34819628
3585.92/3596.07	o 34818233
3585.92/3596.07	o 34818156
3585.92/3596.07	o 34815361
3585.92/3596.07	o 34813641
3585.92/3596.07	o 34813254
3585.92/3596.07	o 34810977
3585.92/3596.07	o 34810302
3585.92/3596.07	o 34809468
3585.92/3596.07	o 34769664
3585.92/3596.07	o 34730092
3585.92/3596.07	o 34729881
3585.92/3596.07	o 34729454
3585.92/3596.07	o 34729419
3585.92/3596.07	o 34725038
3585.92/3596.07	o 34724754
3585.92/3596.07	o 34724701
3585.92/3596.07	o 34723278
3585.92/3596.07	o 34723196
3585.92/3596.07	o 34717749
3585.92/3596.07	o 34713792
3585.92/3596.07	o 34712798
3585.92/3596.07	o 34712389
3585.92/3596.07	o 34712383
3585.92/3596.07	o 34712300
3585.92/3596.07	o 34709906
3585.92/3596.07	o 34708339
3585.92/3596.07	o 34707017
3585.92/3596.07	o 34706860
3585.92/3596.07	o 34706817
3585.92/3596.07	o 34705809
3585.92/3596.07	o 34700748
3585.92/3596.07	o 34700459
3585.92/3596.07	c Program interrupted by user.
3585.92/3596.07	s SATISFIABLE
3585.92/3596.07	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	34700459

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: 64059 MiB (63159 MiB free)
  memory of node 1: 64510 MiB (60521 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438219-1722959538/watcher-4438219-1722959538 -o /tmp/evaluation-result-4438219-1722959538/solver-4438219-1722959538 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722959538-329635 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438219-1722959538.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=329669, runsolver pid=329666

[startup+0.100159 s]*
/proc/loadavg: 0.79 1.57 2.82 5/250 329708
/proc/meminfo: memFree=126625860/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62550702 10170368 679 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 679 601 264 0 134 0
[pid=329678] ppid=329669 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/329678/stat : 329678 (timeout) S 329669 329678 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62550702 8867840 254 134679101440 94679156129792 94679156164808 140736973552672 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94679158262224 94679158264356 94679182299136 140736973554704 140736973554849 140736973554849 140736973561831 0
/proc/329678/statm: 2165 254 230 9 0 87 0
[pid=329680] ppid=329678 vsize=26144 memory=7548 CPUtime=0.09 cores=5,7
/proc/329680/stat : 329680 (CASHWMaxSAT-Dis) R 329678 329678 329622 0 -1 4194304 1211 0 0 0 9 0 0 0 20 0 1 0 62550703 26771456 1887 134679101440 4194304 14093885 140726073792000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44625920 140726073799702 140726073799834 140726073799834 140726073806816 0
/proc/329680/statm: 6536 1887 750 2417 0 3638 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44736 KiB
Current children cumulated memory: 11280 KiB

[startup+0.214448 s]*
/proc/loadavg: 0.79 1.57 2.82 5/250 329708
/proc/meminfo: memFree=126602408/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62550702 10170368 679 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 679 601 264 0 134 0
[pid=329678] ppid=329669 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/329678/stat : 329678 (timeout) S 329669 329678 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62550702 8867840 254 134679101440 94679156129792 94679156164808 140736973552672 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94679158262224 94679158264356 94679182299136 140736973554704 140736973554849 140736973554849 140736973561831 0
/proc/329678/statm: 2165 254 230 9 0 87 0
[pid=329680] ppid=329678 vsize=30172 memory=11528 CPUtime=0.2 cores=5,7
/proc/329680/stat : 329680 (CASHWMaxSAT-Dis) R 329678 329678 329622 0 -1 4194304 2191 0 0 0 19 1 0 0 20 0 1 0 62550703 30896128 2882 134679101440 4194304 14093885 140726073792000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44625920 140726073799702 140726073799834 140726073799834 140726073806816 0
/proc/329680/statm: 7543 2882 766 2417 0 4645 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48764 KiB
Current children cumulated memory: 15260 KiB

[startup+0.314118 s]*
/proc/loadavg: 0.79 1.57 2.82 5/250 329708
/proc/meminfo: memFree=126586796/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62550702 10170368 679 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 679 601 264 0 134 0
[pid=329678] ppid=329669 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/329678/stat : 329678 (timeout) S 329669 329678 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62550702 8867840 254 134679101440 94679156129792 94679156164808 140736973552672 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94679158262224 94679158264356 94679182299136 140736973554704 140736973554849 140736973554849 140736973561831 0
/proc/329678/statm: 2165 254 230 9 0 87 0
[pid=329680] ppid=329678 vsize=32748 memory=14044 CPUtime=0.3 cores=5,7
/proc/329680/stat : 329680 (CASHWMaxSAT-Dis) R 329678 329678 329622 0 -1 4194304 2928 0 0 0 29 1 0 0 20 0 1 0 62550703 33533952 3511 134679101440 4194304 14093885 140726073792000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44625920 140726073799702 140726073799834 140726073799834 140726073806816 0
/proc/329680/statm: 8187 3511 798 2417 0 5289 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51340 KiB
Current children cumulated memory: 17776 KiB

[startup+0.700539 s]
/proc/loadavg: 0.79 1.57 2.82 5/250 329708
/proc/meminfo: memFree=126552696/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62550702 10170368 679 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 679 601 264 0 134 0
[pid=329678] ppid=329669 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/329678/stat : 329678 (timeout) S 329669 329678 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62550702 8867840 254 134679101440 94679156129792 94679156164808 140736973552672 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94679158262224 94679158264356 94679182299136 140736973554704 140736973554849 140736973554849 140736973561831 0
/proc/329678/statm: 2165 254 230 9 0 87 0
[pid=329680] ppid=329678 vsize=64576 memory=45668 CPUtime=0.67 cores=5,7
/proc/329680/stat : 329680 (CASHWMaxSAT-Dis) R 329678 329678 329622 0 -1 4194304 9715 0 0 0 63 4 0 0 20 0 1 0 62550703 66125824 11417 134679101440 4194304 14093885 140726073792000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44625920 140726073799702 140726073799834 140726073799834 140726073806816 0
/proc/329680/statm: 16144 11417 798 2417 0 13246 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 83168 KiB
Current children cumulated memory: 49400 KiB

[startup+1.50053 s]
/proc/loadavg: 0.79 1.57 2.82 5/250 329708
/proc/meminfo: memFree=126466996/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62550702 10170368 679 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 679 601 264 0 134 0
[pid=329678] ppid=329669 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/329678/stat : 329678 (timeout) S 329669 329678 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62550702 8867840 254 134679101440 94679156129792 94679156164808 140736973552672 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94679158262224 94679158264356 94679182299136 140736973554704 140736973554849 140736973554849 140736973561831 0
/proc/329678/statm: 2165 254 230 9 0 87 0
[pid=329680] ppid=329678 vsize=88308 memory=70276 CPUtime=1.47 cores=5,7
/proc/329680/stat : 329680 (CASHWMaxSAT-Dis) R 329678 329678 329622 0 -1 4194304 12176 0 0 0 141 6 0 0 20 0 1 0 62550703 90427392 17569 134679101440 4194304 14093885 140726073792000 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44625920 140726073799702 140726073799834 140726073799834 140726073806816 0
/proc/329680/statm: 22077 17569 1038 2417 0 19179 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 106900 KiB
Current children cumulated memory: 74008 KiB

[startup+3.11329 s]
/proc/loadavg: 0.79 1.57 2.82 5/250 329708
/proc/meminfo: memFree=125870412/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62550702 10170368 679 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 679 601 264 0 134 0
[pid=329678] ppid=329669 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/329678/stat : 329678 (timeout) S 329669 329678 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62550702 8867840 254 134679101440 94679156129792 94679156164808 140736973552672 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94679158262224 94679158264356 94679182299136 140736973554704 140736973554849 140736973554849 140736973561831 0
/proc/329678/statm: 2165 254 230 9 0 87 0
[pid=329680] ppid=329678 vsize=161640 memory=132336 CPUtime=3.07 cores=5,7
/proc/329680/stat : 329680 (CASHWMaxSAT-Dis) R 329678 329678 329622 0 -1 4194304 24130 0 0 0 299 8 0 0 20 0 1 0 62550703 165519360 33084 134679101440 4194304 14093885 140726073792000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44625920 140726073799702 140726073799834 140726073799834 140726073806816 0
/proc/329680/statm: 40410 33084 1038 2417 0 37512 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 180232 KiB
Current children cumulated memory: 136068 KiB

[startup+6.30049 s]
/proc/loadavg: 1.13 1.63 2.83 5/250 329708
/proc/meminfo: memFree=125160900/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62550702 10170368 679 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 679 601 264 0 134 0
[pid=329678] ppid=329669 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/329678/stat : 329678 (timeout) S 329669 329678 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62550702 8867840 254 134679101440 94679156129792 94679156164808 140736973552672 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94679158262224 94679158264356 94679182299136 140736973554704 140736973554849 140736973554849 140736973561831 0
/proc/329678/statm: 2165 254 230 9 0 87 0
[pid=329680] ppid=329678 vsize=161640 memory=136432 CPUtime=6.25 cores=5,7
/proc/329680/stat : 329680 (CASHWMaxSAT-Dis) R 329678 329678 329622 0 -1 4194304 24175 0 0 0 617 8 0 0 20 0 1 0 62550703 165519360 34108 134679101440 4194304 14093885 140726073792000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44625920 140726073799702 140726073799834 140726073799834 140726073806816 0
/proc/329680/statm: 40410 34108 1038 2417 0 37512 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 180232 KiB
Current children cumulated memory: 140164 KiB

[startup+12.7005 s]
/proc/loadavg: 1.44 1.69 2.84 5/250 329710
/proc/meminfo: memFree=124201264/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62550702 10170368 679 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 679 601 264 0 134 0
[pid=329678] ppid=329669 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/329678/stat : 329678 (timeout) S 329669 329678 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62550702 8867840 254 134679101440 94679156129792 94679156164808 140736973552672 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94679158262224 94679158264356 94679182299136 140736973554704 140736973554849 140736973554849 140736973561831 0
/proc/329678/statm: 2165 254 230 9 0 87 0
[pid=329680] ppid=329678 vsize=191988 memory=162852 CPUtime=12.63 cores=5,7
/proc/329680/stat : 329680 (CASHWMaxSAT-Dis) R 329678 329678 329622 0 -1 4194304 25178 0 0 0 1254 9 0 0 20 0 1 0 62550703 196595712 40713 134679101440 4194304 14093885 140726073792000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44625920 140726073799702 140726073799834 140726073799834 140726073806816 0
/proc/329680/statm: 47997 40713 1070 2417 0 45099 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 210580 KiB
Current children cumulated memory: 166584 KiB

[startup+25.5005 s]
/proc/loadavg: 2.45 1.90 2.90 5/250 329711
/proc/meminfo: memFree=124180428/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62550702 10170368 679 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 679 601 264 0 134 0
[pid=329678] ppid=329669 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/329678/stat : 329678 (timeout) S 329669 329678 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62550702 8867840 254 134679101440 94679156129792 94679156164808 140736973552672 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94679158262224 94679158264356 94679182299136 140736973554704 140736973554849 140736973554849 140736973561831 0
/proc/329678/statm: 2165 254 230 9 0 87 0
[pid=329680] ppid=329678 vsize=203660 memory=169512 CPUtime=25.41 cores=5,7
/proc/329680/stat : 329680 (CASHWMaxSAT-Dis) R 329678 329678 329622 0 -1 4194304 25340 0 0 0 2531 10 0 0 20 0 1 0 62550703 208547840 42378 134679101440 4194304 14093885 140726073792000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44625920 140726073799702 140726073799834 140726073799834 140726073806816 0
/proc/329680/statm: 50915 42378 1070 2417 0 48017 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 222252 KiB
Current children cumulated memory: 173244 KiB

[startup+51.1132 s]
/proc/loadavg: 3.79 2.26 2.99 5/250 329716
/proc/meminfo: memFree=124135952/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62550702 10170368 679 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 679 601 264 0 134 0
[pid=329678] ppid=329669 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/329678/stat : 329678 (timeout) S 329669 329678 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62550702 8867840 254 134679101440 94679156129792 94679156164808 140736973552672 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94679158262224 94679158264356 94679182299136 140736973554704 140736973554849 140736973554849 140736973561831 0
/proc/329678/statm: 2165 254 230 9 0 87 0
[pid=329680] ppid=329678 vsize=235852 memory=205376 CPUtime=50.94 cores=5,7
/proc/329680/stat : 329680 (CASHWMaxSAT-Dis) R 329678 329678 329622 0 -1 4194304 27652 0 0 0 5081 13 0 0 20 0 1 0 62550703 241512448 51344 134679101440 4194304 14093885 140726073792000 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 44625920 140726073799702 140726073799834 140726073799834 140726073806816 0
/proc/329680/statm: 58963 51344 1070 2417 0 56065 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 254444 KiB
Current children cumulated memory: 209108 KiB

[startup+102.301 s]
/proc/loadavg: 4.48 2.71 3.11 5/250 329724
/proc/meminfo: memFree=124109384/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2716 CPUtime=0 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62550702 10170368 679 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0

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

/proc/330601/statm: 91623 76172 764 737 0 90711 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 385084 KiB
Current children cumulated memory: 308380 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/249 331518
/proc/meminfo: memFree=119984816/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2780 CPUtime=1792.5 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 277 259908 0 0 0 0 178708 542 20 0 1 0 62550702 10170368 695 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 695 601 264 0 134 0
[pid=330600] ppid=329669 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/330600/stat : 330600 (timeout) S 329669 330600 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62730503 8867840 228 134679101440 94634786013184 94634786048200 140729562348896 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94634788145616 94634788147748 94634820243456 140729562350584 140729562350753 140729562350753 140729562357735 0
/proc/330600/statm: 2165 228 204 9 0 87 0
[pid=330601] ppid=330600 vsize=367260 memory=305464 CPUtime=1660.04 cores=5,7
/proc/330601/stat : 330601 (Exact) R 330600 330600 329622 0 -1 4194304 51088 0 0 0 165987 17 0 0 20 0 1 0 62730503 376074240 76366 134679101440 4194304 7210733 140730193699168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 32632832 140730193703956 140730193704106 140730193704106 140730193711088 0
/proc/330601/statm: 91815 76366 764 737 0 90903 0
Current children cumulated CPU time: 3452.54 s
Current children cumulated vsize: 385852 KiB
Current children cumulated memory: 309156 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/249 331530
/proc/meminfo: memFree=119978600/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2780 CPUtime=1792.5 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 277 259908 0 0 0 0 178708 542 20 0 1 0 62550702 10170368 695 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 695 601 264 0 134 0
[pid=330600] ppid=329669 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/330600/stat : 330600 (timeout) S 329669 330600 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62730503 8867840 228 134679101440 94634786013184 94634786048200 140729562348896 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94634788145616 94634788147748 94634820243456 140729562350584 140729562350753 140729562350753 140729562357735 0
/proc/330600/statm: 2165 228 204 9 0 87 0
[pid=330601] ppid=330600 vsize=367260 memory=305464 CPUtime=1719.89 cores=5,7
/proc/330601/stat : 330601 (Exact) R 330600 330600 329622 0 -1 4194304 51213 0 0 0 171972 17 0 0 20 0 1 0 62730503 376074240 76366 134679101440 4194304 7210733 140730193699168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 32632832 140730193703956 140730193704106 140730193704106 140730193711088 0
/proc/330601/statm: 91815 76366 764 737 0 90903 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 385852 KiB
Current children cumulated memory: 309156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/249 331540
/proc/meminfo: memFree=119974144/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2780 CPUtime=1792.5 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 277 259908 0 0 0 0 178708 542 20 0 1 0 62550702 10170368 695 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 695 601 264 0 134 0
[pid=330600] ppid=329669 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/330600/stat : 330600 (timeout) S 329669 330600 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62730503 8867840 228 134679101440 94634786013184 94634786048200 140729562348896 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94634788145616 94634788147748 94634820243456 140729562350584 140729562350753 140729562350753 140729562357735 0
/proc/330600/statm: 2165 228 204 9 0 87 0
[pid=330601] ppid=330600 vsize=368156 memory=306080 CPUtime=1779.74 cores=5,7
/proc/330601/stat : 330601 (Exact) R 330600 330600 329622 0 -1 4194304 51560 0 0 0 177957 17 0 0 20 0 1 0 62730503 376991744 76520 134679101440 4194304 7210733 140730193699168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 32632832 140730193703956 140730193704106 140730193704106 140730193711088 0
/proc/330601/statm: 92039 76520 764 737 0 91127 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 309772 KiB

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

# cumulated CPU time of all completed processes:  user=3580.37 s, system=5.62145 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.13 4.09 5/249 331540
/proc/meminfo: memFree=119974144/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2780 CPUtime=1792.5 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 277 259908 0 0 0 0 178708 542 20 0 1 0 62550702 10170368 695 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 695 601 264 0 134 0
[pid=330600] ppid=329669 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/330600/stat : 330600 (timeout) S 329669 330600 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62730503 8867840 228 134679101440 94634786013184 94634786048200 140729562348896 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94634788145616 94634788147748 94634820243456 140729562350584 140729562350753 140729562350753 140729562357735 0
/proc/330600/statm: 2165 228 204 9 0 87 0
[pid=330601] ppid=330600 vsize=368156 memory=306080 CPUtime=1781.45 cores=5,7
/proc/330601/stat : 330601 (Exact) R 330600 330600 329622 0 -1 4194304 51560 0 0 0 178128 17 0 0 20 0 1 0 62730503 376991744 76520 134679101440 4194304 7210733 140730193699168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 32632832 140730193703956 140730193704106 140730193704106 140730193711088 0
/proc/330601/statm: 92039 76520 764 737 0 91127 0
Current children cumulated CPU time: 3573.95 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 309772 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/249 331541
/proc/meminfo: memFree=119973664/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2780 CPUtime=1792.5 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 277 259908 0 0 0 0 178708 542 20 0 1 0 62550702 10170368 695 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 695 601 264 0 134 0
[pid=330600] ppid=329669 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/330600/stat : 330600 (timeout) S 329669 330600 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62730503 8867840 228 134679101440 94634786013184 94634786048200 140729562348896 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94634788145616 94634788147748 94634820243456 140729562350584 140729562350753 140729562350753 140729562357735 0
/proc/330600/statm: 2165 228 204 9 0 87 0
[pid=330601] ppid=330600 vsize=368156 memory=306080 CPUtime=1787.82 cores=5,7
/proc/330601/stat : 330601 (Exact) R 330600 330600 329622 0 -1 4194304 51560 0 0 0 178765 17 0 0 20 0 1 0 62730503 376991744 76520 134679101440 4194304 7210733 140730193699168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 32632832 140730193703956 140730193704106 140730193704106 140730193711088 0
/proc/330601/statm: 92039 76520 764 737 0 91127 0
Current children cumulated CPU time: 3580.32 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 309772 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/249 331541
/proc/meminfo: memFree=119973356/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2780 CPUtime=1792.5 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 277 259908 0 0 0 0 178708 542 20 0 1 0 62550702 10170368 695 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 695 601 264 0 134 0
[pid=330600] ppid=329669 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/330600/stat : 330600 (timeout) S 329669 330600 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62730503 8867840 228 134679101440 94634786013184 94634786048200 140729562348896 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94634788145616 94634788147748 94634820243456 140729562350584 140729562350753 140729562350753 140729562357735 0
/proc/330600/statm: 2165 228 204 9 0 87 0
[pid=330601] ppid=330600 vsize=368156 memory=306344 CPUtime=1791.02 cores=5,7
/proc/330601/stat : 330601 (Exact) R 330600 330600 329622 0 -1 4194304 51561 0 0 0 179085 17 0 0 20 0 1 0 62730503 376991744 76586 134679101440 4194304 7210733 140730193699168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 32632832 140730193703956 140730193704106 140730193704106 140730193711088 0
/proc/330601/statm: 92039 76586 764 737 0 91127 0
Current children cumulated CPU time: 3583.52 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 310036 KiB

[startup+3595.2 s]
/proc/loadavg: 4.17 4.14 4.10 5/249 331541
/proc/meminfo: memFree=119973144/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2780 CPUtime=1792.5 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 277 259908 0 0 0 0 178708 542 20 0 1 0 62550702 10170368 695 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 695 601 264 0 134 0
[pid=330600] ppid=329669 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/330600/stat : 330600 (timeout) S 329669 330600 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62730503 8867840 228 134679101440 94634786013184 94634786048200 140729562348896 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94634788145616 94634788147748 94634820243456 140729562350584 140729562350753 140729562350753 140729562357735 0
/proc/330600/statm: 2165 228 204 9 0 87 0
[pid=330601] ppid=330600 vsize=368156 memory=306344 CPUtime=1792.61 cores=5,7
/proc/330601/stat : 330601 (Exact) R 330600 330600 329622 0 -1 4194304 51561 0 0 0 179244 17 0 0 20 0 1 0 62730503 376991744 76586 134679101440 4194304 7210733 140730193699168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 32632832 140730193703956 140730193704106 140730193704106 140730193711088 0
/proc/330601/statm: 92039 76586 764 737 0 91127 0
Current children cumulated CPU time: 3585.11 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 310036 KiB

[startup+3595.6 s]
/proc/loadavg: 4.17 4.14 4.10 5/249 331541
/proc/meminfo: memFree=119973144/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2780 CPUtime=1792.5 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 277 259908 0 0 0 0 178708 542 20 0 1 0 62550702 10170368 695 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 695 601 264 0 134 0
[pid=330600] ppid=329669 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/330600/stat : 330600 (timeout) S 329669 330600 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62730503 8867840 228 134679101440 94634786013184 94634786048200 140729562348896 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94634788145616 94634788147748 94634820243456 140729562350584 140729562350753 140729562350753 140729562357735 0
/proc/330600/statm: 2165 228 204 9 0 87 0
[pid=330601] ppid=330600 vsize=368156 memory=306344 CPUtime=1793.01 cores=5,7
/proc/330601/stat : 330601 (Exact) R 330600 330600 329622 0 -1 4194304 51561 0 0 0 179284 17 0 0 20 0 1 0 62730503 376991744 76586 134679101440 4194304 7210733 140730193699168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 32632832 140730193703956 140730193704106 140730193704106 140730193711088 0
/proc/330601/statm: 92039 76586 764 737 0 91127 0
Current children cumulated CPU time: 3585.51 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 310036 KiB

[startup+3596 s]*
/proc/loadavg: 4.17 4.14 4.10 5/249 331541
/proc/meminfo: memFree=119973032/131655788 swapFree=131071996/131071996
[pid=329669] ppid=329666 vsize=9932 memory=2780 CPUtime=1792.5 cores=5,7
/proc/329669/stat : 329669 (Hybrid-CASHWMax) S 329666 329669 329622 0 -1 4194304 277 259908 0 0 0 0 178708 542 20 0 1 0 62550702 10170368 695 134679101440 94061778337792 94061779417112 140730010568256 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94061781515568 94061781562756 94061782974464 140730010571732 140730010571890 140730010571890 140730010578901 0
/proc/329669/statm: 2483 695 601 264 0 134 0
[pid=330600] ppid=329669 vsize=8660 memory=912 CPUtime=0 cores=5,7
/proc/330600/stat : 330600 (timeout) S 329669 330600 329622 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62730503 8867840 228 134679101440 94634786013184 94634786048200 140729562348896 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94634788145616 94634788147748 94634820243456 140729562350584 140729562350753 140729562350753 140729562357735 0
/proc/330600/statm: 2165 228 204 9 0 87 0
[pid=330601] ppid=330600 vsize=368156 memory=306344 CPUtime=1793.42 cores=5,7
/proc/330601/stat : 330601 (Exact) R 330600 330600 329622 0 -1 4194304 51561 0 0 0 179325 17 0 0 20 0 1 0 62730503 376991744 76586 134679101440 4194304 7210733 140730193699168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 7850304 7914896 32632832 140730193703956 140730193704106 140730193704106 140730193711088 0
/proc/330601/statm: 92039 76586 764 737 0 91127 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 386748 KiB
Current children cumulated memory: 310036 KiB

Child status: 0

Real time (s): 3596.08
CPU time (s): 3585.99
CPU user time (s): 3580.37
CPU system time (s): 5.62145
CPU usage (%): 99.7196
Max. virtual memory (cumulated for all children) (KiB): 564716
Max. memory (cumulated for all children) (KiB): 461360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.37
system time used= 5.62145
maximum resident set size= 468152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147
involuntary context switches= 3211


# summary of solver processes directly reported to runsolver:
#   pid: 329669
#   total CPU time (s): 3585.99
#   total CPU user time (s): 3580.37
#   total CPU system time (s): 5.62145

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3165 second user time and 37.831 second system time

The end

Begin job on nodeC010 at 2024-08-06 17:52:18
IDJOB=4438219
IDBENCH=146797
IDSOLVER=3073
FILE ID=nodeC010/4438219-1722959538
RUNJOBID= nodeC010-1722959538-329635
SLURM_JOB_ID= 8259036
Free space on /tmp= 723780 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+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-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438219-1722959538/watcher-4438219-1722959538 -o /tmp/evaluation-result-4438219-1722959538/solver-4438219-1722959538 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722959538-329635 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438219-1722959538.opb 3600 HOME 31000

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

MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=1592696277

nodeC010.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	: 0xb00001f
cpu MHz		: 1197.126
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.21
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	: 0xb00001f
cpu MHz		: 1197.125
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
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	: 0xb00001f
cpu MHz		: 1197.140
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.21
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	: 0xb00001f
cpu MHz		: 1197.126
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
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	: 0xb00001f
cpu MHz		: 1197.128
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.21
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	: 0xb00001f
cpu MHz		: 1197.135
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
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	: 0xb00001f
cpu MHz		: 1197.134
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.21
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	: 0xb00001f
cpu MHz		: 1197.123
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126657080 kB
MemAvailable:   130016192 kB
Buffers:          338040 kB
Cached:          3872788 kB
SwapCached:            0 kB
Active:           605268 kB
Inactive:        3913080 kB
Active(anon):       1848 kB
Inactive(anon):   351576 kB
Active(file):     603420 kB
Inactive(file):  3561504 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             77420 kB
Writeback:            16 kB
AnonPages:        307548 kB
Mapped:           102404 kB
Shmem:             45888 kB
KReclaimable:      68440 kB
Slab:             154200 kB
SReclaimable:      68440 kB
SUnreclaim:        85760 kB
KernelStack:        3552 kB
PageTables:         9016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     717984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            23744 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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:      248648 kB
DirectMap2M:    22724608 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723704 MiB
End job on nodeC010 at 2024-08-06 18:52:14