0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.06 c [STEP] preprocessing with Papilo
0.00/0.09 c [STEP] solving with SCIP
299.29/300.13 c [STEP] preprocessing done, loading into solver
299.29/300.14 c [STEP] solving
299.29/300.14 c #variables 4971 #constraints 5188
299.29/300.14 c SMALL=int, LARGE=long long
299.29/300.14 d SCIPUB 5699177
299.29/300.14 c bounds - >= -70 @ 299.156
299.29/300.14 c stratification level: 5606442
299.59/300.44 c bounds 5457003 >= -70 @ 299.441
299.59/300.44 c stratification level: 5371238
299.59/300.44 c bounds 5454783 >= -70 @ 299.446
299.59/300.44 c stratification level: 5256144
299.59/300.45 c bounds 5451927 >= -70 @ 299.45
299.59/300.45 c stratification level: 5142706
299.59/300.45 c bounds 5424481 >= -70 @ 299.455
299.59/300.45 c stratification level: 5030912
299.59/300.47 c bounds 5415993 >= -70 @ 299.472
299.59/300.47 c stratification level: 4920750
299.59/300.48 c bounds 5399187 >= -70 @ 299.476
299.59/300.48 c stratification level: 4812208
299.59/300.49 c bounds 5372321 >= -70 @ 299.485
299.59/300.49 c stratification level: 4705274
299.59/300.49 c bounds 5359233 >= -70 @ 299.49
299.59/300.49 c stratification level: 4599936
299.69/300.50 c bounds 5355623 >= -70 @ 299.493
299.69/300.50 c stratification level: 4496182
299.69/300.51 c bounds 5341089 >= -70 @ 299.509
299.69/300.51 c stratification level: 4394000
299.69/300.52 c bounds 5339265 >= -70 @ 299.517
299.69/300.52 c stratification level: 4293378
299.69/300.53 c bounds 5328779 >= -70 @ 299.52
299.69/300.53 c stratification level: 4194304
299.69/300.53 c bounds 5327383 >= -70 @ 299.525
299.69/300.53 c stratification level: 4096766
299.79/300.60 c bounds 5327091 >= -70 @ 299.588
299.79/300.60 c stratification level: 4000752
299.79/300.61 c bounds 5326193 >= -70 @ 299.598
299.79/300.61 c stratification level: 3906250
299.79/300.62 c bounds 5322033 >= -70 @ 299.603
299.79/300.62 c stratification level: 3813248
299.79/300.63 c bounds 5253403 >= -70 @ 299.612
299.79/300.63 c stratification level: 3721734
299.79/300.65 c bounds 5252971 >= -70 @ 299.629
299.79/300.65 c stratification level: 3631696
299.79/300.65 c bounds 5250251 >= -70 @ 299.635
299.79/300.65 c stratification level: 3543122
299.79/300.66 c bounds 5249547 >= -70 @ 299.643
299.79/300.66 c stratification level: 3456000
299.79/300.67 c bounds 5246739 >= -70 @ 299.651
299.79/300.67 c stratification level: 3370318
299.79/300.68 c bounds 5243821 >= -70 @ 299.658
299.79/300.68 c stratification level: 3286064
299.79/300.69 c bounds 5242637 >= -70 @ 299.668
299.79/300.69 c stratification level: 3203226
299.89/300.70 c bounds 5237821 >= -70 @ 299.677
299.89/300.70 c stratification level: 3121792
299.89/300.71 c bounds 5217245 >= -70 @ 299.685
299.89/300.71 c stratification level: 3041750
299.89/300.72 c bounds 5206291 >= -70 @ 299.691
299.89/300.72 c stratification level: 2963088
299.89/300.73 c bounds 5196931 >= -70 @ 299.707
299.89/300.73 c stratification level: 2885794
299.89/300.74 c bounds 5186781 >= -70 @ 299.719
299.89/300.74 c stratification level: 2809856
299.89/300.78 c bounds 5172285 >= -70 @ 299.752
299.89/300.78 c stratification level: 2735262
299.89/300.78 c bounds 5166885 >= -70 @ 299.76
299.89/300.78 c stratification level: 2662000
299.89/300.79 c bounds 5158553 >= -70 @ 299.767
299.89/300.79 c stratification level: 2590058
300.00/300.84 c bounds 5156929 >= -70 @ 299.818
300.00/300.84 c stratification level: 2519424
300.00/300.85 c bounds 5150285 >= -70 @ 299.827
300.00/300.85 c stratification level: 2450086
300.09/300.94 c bounds 5148527 >= -70 @ 299.917
300.09/300.94 c stratification level: 2382032
300.09/300.95 c bounds 5147203 >= -70 @ 299.926
300.09/300.95 c stratification level: 2315250
300.30/301.11 c #Conflicts: 1000 | #Constraints: 6223
300.30/301.11 c bounds 5141975 >= -70 @ 300.084
300.30/301.11 c stratification level: 2249728
300.30/301.18 c bounds 5125953 >= -70 @ 300.151
300.30/301.18 c stratification level: 2185454
300.39/301.27 c bounds 5123989 >= -70 @ 300.232
300.39/301.27 c stratification level: 2122416
300.39/301.29 c bounds 5121529 >= -70 @ 300.26
300.39/301.29 c stratification level: 2060602
300.49/301.31 c bounds 5116615 >= -70 @ 300.27
300.49/301.31 c stratification level: 2000000
300.49/301.33 c bounds 4961421 >= -70 @ 300.298
300.49/301.33 c stratification level: 1940598
300.49/301.36 c bounds 4956111 >= -70 @ 300.326
300.49/301.36 c stratification level: 1882384
300.49/301.37 c bounds 4953347 >= -70 @ 300.337
300.49/301.37 c stratification level: 1825346
300.59/301.43 c bounds 4953095 >= -70 @ 300.393
300.59/301.43 c stratification level: 1769472
300.59/301.44 c bounds 4952399 >= -70 @ 300.405
300.59/301.44 c stratification level: 1714750
300.59/301.46 c bounds 4951379 >= -70 @ 300.422
300.59/301.46 c stratification level: 1661168
300.69/301.50 c bounds 4946781 >= -70 @ 300.455
300.69/301.50 c stratification level: 1608714
300.69/301.53 c bounds 4937321 >= -70 @ 300.491
300.69/301.53 c stratification level: 1557376
300.69/301.58 c bounds 4921345 >= -70 @ 300.539
300.69/301.58 c stratification level: 1507142
300.78/301.60 c bounds 4916149 >= -70 @ 300.551
300.78/301.60 c stratification level: 1458000
300.78/301.61 c bounds 4914625 >= -70 @ 300.565
300.78/301.61 c stratification level: 1409938
300.78/301.63 c bounds 4914299 >= -70 @ 300.578
300.78/301.63 c stratification level: 1362944
300.78/301.64 c bounds 4910937 >= -70 @ 300.591
300.78/301.64 c stratification level: 1317006
302.09/302.97 c #Conflicts: 2000 | #Constraints: 7241
302.09/302.97 c INPROCESSING
302.09/302.97 c GARBAGE COLLECT
302.09/302.97 c bounds 4820277 >= -70 @ 301.901
302.09/302.97 c stratification level: 1272112
302.09/302.99 c bounds 4819803 >= -70 @ 301.923
302.09/302.99 c stratification level: 1228250
302.68/303.56 c bounds 4818805 >= -70 @ 302.476
302.68/303.56 c stratification level: 1185408
302.78/303.67 c bounds 4806451 >= -70 @ 302.588
302.78/303.67 c stratification level: 1143574
302.88/303.72 c bounds 4799749 >= -70 @ 302.635
302.88/303.72 c stratification level: 1102736
337.59/338.50 c #Conflicts: 3000 | #Constraints: 5361
337.59/338.50 c #Conflicts: 4000 | #Constraints: 6361
337.59/338.50 c INPROCESSING
337.59/338.50 c GARBAGE COLLECT
337.59/338.50 c #Conflicts: 5000 | #Constraints: 5752
337.59/338.50 c #Conflicts: 6000 | #Constraints: 6752
337.59/338.50 c INPROCESSING
337.59/338.50 c GARBAGE COLLECT
337.59/338.50 c #Conflicts: 7000 | #Constraints: 5772
337.59/338.50 c #Conflicts: 8000 | #Constraints: 6772
337.59/338.50 c #Conflicts: 9000 | #Constraints: 7772
337.59/338.50 c bounds 4797247 >= -70 @ 337.135
337.59/338.50 c stratification level: 1062882
396.12/397.26 c INPROCESSING
396.12/397.26 c GARBAGE COLLECT
396.12/397.26 c #Conflicts: 10000 | #Constraints: 6476
396.12/397.26 c #Conflicts: 11000 | #Constraints: 7476
396.12/397.26 c #Conflicts: 12000 | #Constraints: 8476
396.12/397.26 c INPROCESSING
396.12/397.26 c GARBAGE COLLECT
396.12/397.26 c #Conflicts: 13000 | #Constraints: 6938
396.12/397.26 c #Conflicts: 14000 | #Constraints: 7938
396.12/397.26 c bounds 4790915 >= -70 @ 395.489
396.12/397.26 c stratification level: 1024000
396.32/397.44 c bounds 4745147 >= -70 @ 395.676
396.32/397.44 c stratification level: 986078
396.52/397.65 c bounds 4740329 >= -70 @ 395.881
396.52/397.65 c stratification level: 949104
396.72/397.83 c bounds 4735949 >= -70 @ 396.064
396.72/397.83 c stratification level: 913066
397.02/398.17 c bounds 4734075 >= -70 @ 396.392
397.02/398.17 c stratification level: 877952
397.22/398.37 c bounds 4725445 >= -70 @ 396.591
397.22/398.37 c stratification level: 843750
397.41/398.55 c bounds 4714935 >= -70 @ 396.774
397.41/398.55 c stratification level: 810448
397.61/398.75 c bounds 4699917 >= -70 @ 396.976
397.61/398.75 c stratification level: 778034
397.81/399.00 c bounds 4697821 >= -70 @ 397.22
397.81/399.00 c stratification level: 746496
472.11/473.48 c #Conflicts: 15000 | #Constraints: 8947
472.11/473.48 c INPROCESSING
472.11/473.48 c GARBAGE COLLECT
472.11/473.48 c #Conflicts: 16000 | #Constraints: 7148
472.11/473.48 c #Conflicts: 17000 | #Constraints: 8148
472.11/473.48 c #Conflicts: 18000 | #Constraints: 9148
472.11/473.48 c INPROCESSING
472.11/473.48 c GARBAGE COLLECT
472.11/473.48 c #Conflicts: 19000 | #Constraints: 7174
472.11/473.48 c #Conflicts: 20000 | #Constraints: 8174
472.11/473.48 c #Conflicts: 21000 | #Constraints: 9174
472.11/473.48 c INPROCESSING
472.11/473.48 c GARBAGE COLLECT
472.11/473.48 c #Conflicts: 22000 | #Constraints: 6986
472.11/473.48 c #Conflicts: 23000 | #Constraints: 7986
472.11/473.48 c bounds 4696289 >= -70 @ 471.252
472.11/473.48 c stratification level: 715822
472.31/473.65 c bounds 4695073 >= -70 @ 471.417
472.31/473.65 c stratification level: 686000
472.51/473.82 c bounds 4694945 >= -70 @ 471.583
472.51/473.82 c stratification level: 657018
472.71/474.01 c bounds 4694401 >= -70 @ 471.774
472.71/474.01 c stratification level: 628864
473.71/475.05 c bounds 4692581 >= -70 @ 472.803
473.71/475.05 c stratification level: 601526
473.90/475.26 c bounds 4692517 >= -70 @ 473.014
473.90/475.26 c stratification level: 589698
474.10/475.43 c bounds 4691301 >= -70 @ 473.18
474.10/475.43 c stratification level: 574992
487.17/488.56 c #Conflicts: 24000 | #Constraints: 8993
487.17/488.56 c #Conflicts: 25000 | #Constraints: 9993
487.17/488.56 c bounds 4591781 >= -70 @ 486.238
487.17/488.56 c stratification level: 566048
487.47/488.88 c bounds 4590795 >= -70 @ 486.556
487.47/488.88 c stratification level: 549250
488.26/489.69 c bounds 4590693 >= -70 @ 487.365
488.26/489.69 c stratification level: 528392
488.56/489.97 c bounds 4587821 >= -70 @ 487.636
488.56/489.97 c stratification level: 524288
488.87/490.20 c bounds 4587611 >= -70 @ 487.861
488.87/490.20 c stratification level: 500094
489.06/490.44 c bounds 4587237 >= -70 @ 488.1
489.06/490.44 c stratification level: 500000
489.26/490.66 c bounds 4587235 >= -70 @ 488.32
489.26/490.66 c stratification level: 480200
489.46/490.88 c bounds 4586373 >= -70 @ 488.539
489.46/490.88 c stratification level: 476656
496.34/497.79 c INPROCESSING
496.34/497.79 c GARBAGE COLLECT
496.34/497.79 c #Conflicts: 26000 | #Constraints: 7564
496.34/497.79 c bounds 4585621 >= -70 @ 495.403
496.34/497.79 c stratification level: 470450
502.12/503.51 c bounds 4581661 >= -70 @ 501.104
502.12/503.51 c stratification level: 468512
502.33/503.73 c bounds 4581485 >= -70 @ 501.321
502.33/503.73 c stratification level: 460800
563.75/565.30 c #Conflicts: 27000 | #Constraints: 8567
563.75/565.30 c #Conflicts: 28000 | #Constraints: 9567
563.75/565.30 c #Conflicts: 29000 | #Constraints: 10567
563.75/565.30 c INPROCESSING
563.75/565.30 c GARBAGE COLLECT
563.75/565.30 c #Conflicts: 30000 | #Constraints: 7969
563.75/565.30 c #Conflicts: 31000 | #Constraints: 8969
563.75/565.30 c #Conflicts: 32000 | #Constraints: 9969
563.75/565.30 c #Conflicts: 33000 | #Constraints: 10969
563.75/565.30 c INPROCESSING
563.75/565.30 c GARBAGE COLLECT
563.75/565.30 c bounds 4569127 >= -70 @ 562.564
563.75/565.30 c stratification level: 456968
563.95/565.57 c bounds 4566587 >= -70 @ 562.83
563.95/565.57 c stratification level: 455058
564.15/565.73 c bounds 4566451 >= -70 @ 562.989
564.15/565.73 c stratification level: 453962
564.45/566.04 c bounds 4565749 >= -70 @ 563.295
564.45/566.04 c stratification level: 451250
564.55/566.18 c bounds 4565055 >= -70 @ 563.44
564.55/566.18 c stratification level: 449352
564.75/566.35 c bounds 4563067 >= -70 @ 563.605
564.75/566.35 c stratification level: 438048
564.85/566.48 c bounds 4562373 >= -70 @ 563.735
564.85/566.48 c stratification level: 436178
565.05/566.65 c bounds 4562237 >= -70 @ 563.898
565.05/566.65 c stratification level: 432000
567.84/569.46 c bounds 4559231 >= -70 @ 566.695
567.84/569.46 c stratification level: 415872
568.34/569.94 c bounds 4552215 >= -70 @ 567.17
568.34/569.94 c stratification level: 414050
568.84/570.44 c bounds 4550855 >= -70 @ 567.673
568.84/570.44 c stratification level: 412232
570.44/572.02 c bounds 4550175 >= -70 @ 569.239
570.44/572.02 c stratification level: 410758
570.74/572.34 c bounds 4549891 >= -70 @ 569.558
570.74/572.34 c stratification level: 406802
571.83/573.49 c #Conflicts: 34000 | #Constraints: 8188
571.83/573.49 c bounds 4538071 >= -70 @ 570.702
571.83/573.49 c stratification level: 403202
573.53/575.12 c bounds 4534915 >= -70 @ 572.321
573.53/575.12 c stratification level: 401408
575.32/577.00 c bounds 4533575 >= -70 @ 574.188
575.32/577.00 c stratification level: 399618
576.42/578.04 c bounds 4523149 >= -70 @ 575.227
576.42/578.04 c stratification level: 397832
576.81/578.40 c bounds 4522313 >= -70 @ 575.586
576.81/578.40 c stratification level: 396050
577.12/578.73 c bounds 4517251 >= -70 @ 575.907
577.12/578.73 c stratification level: 394272
577.52/579.17 c bounds 4515561 >= -70 @ 576.346
577.52/579.17 c stratification level: 392498
578.31/579.94 c bounds 4514515 >= -70 @ 577.111
578.31/579.94 c stratification level: 390728
578.71/580.37 c bounds 4510493 >= -70 @ 577.54
578.71/580.37 c stratification level: 390224
578.91/580.56 c bounds 4509657 >= -70 @ 577.724
578.91/580.56 c stratification level: 388962
582.21/583.82 c #Conflicts: 35000 | #Constraints: 9198
582.21/583.82 c bounds 4509191 >= -70 @ 580.96
582.21/583.82 c stratification level: 387200
582.51/584.11 c bounds 4508355 >= -70 @ 581.251
582.51/584.11 c stratification level: 385442
582.60/584.29 c bounds 4504333 >= -70 @ 581.432
582.60/584.29 c stratification level: 383688
583.50/585.19 c bounds 4488331 >= -70 @ 582.32
583.50/585.19 c stratification level: 381938
591.07/592.76 c bounds 4480321 >= -70 @ 589.856
591.07/592.76 c stratification level: 380192
595.37/597.07 c #Conflicts: 36000 | #Constraints: 10203
595.37/597.07 c bounds 4472537 >= -70 @ 594.152
595.37/597.07 c stratification level: 378450
595.76/597.47 c bounds 4468477 >= -70 @ 594.549
595.76/597.47 c stratification level: 374978
597.96/599.68 c bounds 4464159 >= -70 @ 596.753
597.96/599.68 c stratification level: 373248
599.25/600.90 c bounds 4460889 >= -70 @ 597.963
599.25/600.90 c stratification level: 371522
599.55/601.27 c bounds 4460195 >= -70 @ 598.329
599.55/601.27 c stratification level: 370386
670.16/672.00 c #Conflicts: 37000 | #Constraints: 11208
670.16/672.00 c INPROCESSING
670.16/672.00 c GARBAGE COLLECT
670.16/672.00 c #Conflicts: 38000 | #Constraints: 8178
670.16/672.00 c #Conflicts: 39000 | #Constraints: 9178
670.16/672.00 c #Conflicts: 40000 | #Constraints: 10178
670.16/672.00 c #Conflicts: 41000 | #Constraints: 11178
670.16/672.00 c INPROCESSING
670.16/672.00 c GARBAGE COLLECT
670.16/672.00 c #Conflicts: 42000 | #Constraints: 7960
670.16/672.00 c bounds 4459637 >= -70 @ 668.72
670.16/672.00 c stratification level: 369800
670.26/672.17 c bounds 4458587 >= -70 @ 668.883
670.26/672.17 c stratification level: 368082
670.56/672.46 c bounds 4433087 >= -70 @ 669.173
670.56/672.46 c stratification level: 366368
671.35/673.23 c bounds 4431141 >= -70 @ 669.935
671.35/673.23 c stratification level: 362952
671.75/673.63 c bounds 4430463 >= -70 @ 670.331
671.75/673.63 c stratification level: 361250
672.05/673.94 c bounds 4429161 >= -70 @ 670.641
672.05/673.94 c stratification level: 359552
672.55/674.47 c bounds 4398787 >= -70 @ 671.172
672.55/674.47 c stratification level: 356168
673.35/675.29 c bounds 4398289 >= -70 @ 671.987
673.35/675.29 c stratification level: 354482
673.84/675.70 c bounds 4393189 >= -70 @ 672.395
673.84/675.70 c stratification level: 352800
674.25/676.13 c bounds 4384141 >= -70 @ 672.827
674.25/676.13 c stratification level: 351232
674.54/676.47 c bounds 4381421 >= -70 @ 673.165
674.54/676.47 c stratification level: 351122
674.74/676.64 c bounds 4373533 >= -70 @ 673.329
674.74/676.64 c stratification level: 349448
675.04/676.92 c bounds 4369879 >= -70 @ 673.607
675.04/676.92 c stratification level: 347778
675.34/677.29 c bounds 4351043 >= -70 @ 673.972
675.34/677.29 c stratification level: 346112
676.04/677.91 c bounds 4349795 >= -70 @ 674.591
676.04/677.91 c stratification level: 344450
676.63/678.52 c bounds 4349157 >= -70 @ 675.193
676.63/678.52 c stratification level: 342792
678.54/680.46 c #Conflicts: 43000 | #Constraints: 8976
678.54/680.46 c bounds 4329189 >= -70 @ 677.121
678.54/680.46 c stratification level: 341138
679.43/681.40 c bounds 4315793 >= -70 @ 678.053
679.43/681.40 c stratification level: 337842
680.13/682.03 c bounds 4310931 >= -70 @ 678.686
680.13/682.03 c stratification level: 336200
680.32/682.26 c bounds 4305309 >= -70 @ 678.918
680.32/682.26 c stratification level: 334562
680.72/682.66 c bounds 4301655 >= -70 @ 679.313
680.72/682.66 c stratification level: 332928
681.62/683.55 c bounds 4301401 >= -70 @ 680.195
681.62/683.55 c stratification level: 332750
681.83/683.72 c bounds 4301349 >= -70 @ 680.37
681.83/683.72 c stratification level: 331298
682.23/684.19 c bounds 4299725 >= -70 @ 680.837
682.23/684.19 c stratification level: 329672
682.42/684.36 c bounds 4298477 >= -70 @ 681.004
682.42/684.36 c stratification level: 328050
682.62/684.55 c bounds 4296573 >= -70 @ 681.189
682.62/684.55 c stratification level: 324818
682.92/684.84 c bounds 4292743 >= -70 @ 681.477
682.92/684.84 c stratification level: 323208
683.42/685.37 c bounds 4288661 >= -70 @ 682.003
683.42/685.37 c stratification level: 321602
683.72/685.60 c bounds 4282277 >= -70 @ 682.234
683.72/685.60 c stratification level: 320000
685.01/686.94 c bounds 4279075 >= -70 @ 683.574
685.01/686.94 c stratification level: 318402
685.22/687.13 c bounds 4278445 >= -70 @ 683.756
685.22/687.13 c stratification level: 316808
687.11/689.05 c bounds 4278273 >= -70 @ 685.676
687.11/689.05 c stratification level: 315218
841.68/844.02 c #Conflicts: 44000 | #Constraints: 9992
841.68/844.02 c #Conflicts: 45000 | #Constraints: 10992
841.68/844.02 c #Conflicts: 46000 | #Constraints: 11992
841.68/844.02 c INPROCESSING
841.68/844.02 c GARBAGE COLLECT
841.68/844.02 c #Conflicts: 47000 | #Constraints: 8544
841.68/844.02 c #Conflicts: 48000 | #Constraints: 9544
841.68/844.02 c #Conflicts: 49000 | #Constraints: 10544
841.68/844.02 c #Conflicts: 50000 | #Constraints: 11544
841.68/844.02 c #Conflicts: 51000 | #Constraints: 12544
841.68/844.02 c INPROCESSING
841.68/844.02 c GARBAGE COLLECT
841.68/844.02 c #Conflicts: 52000 | #Constraints: 8950
841.68/844.02 c #Conflicts: 53000 | #Constraints: 9950
841.68/844.02 c #Conflicts: 54000 | #Constraints: 10950
841.68/844.02 c #Conflicts: 55000 | #Constraints: 11950
841.68/844.02 c #Conflicts: 56000 | #Constraints: 12950
841.68/844.02 c INPROCESSING
841.68/844.02 c GARBAGE COLLECT
841.68/844.02 c bounds 4276613 >= -70 @ 839.927
841.68/844.02 c stratification level: 314928
1156.97/1160.23 c #Conflicts: 57000 | #Constraints: 9159
1156.97/1160.23 c #Conflicts: 58000 | #Constraints: 10159
1156.97/1160.23 c #Conflicts: 59000 | #Constraints: 11159
1156.97/1160.23 c #Conflicts: 60000 | #Constraints: 12159
1156.97/1160.23 c #Conflicts: 61000 | #Constraints: 13159
1156.97/1160.23 c INPROCESSING
1156.97/1160.23 c GARBAGE COLLECT
1156.97/1160.23 c #Conflicts: 62000 | #Constraints: 9156
1156.97/1160.23 c #Conflicts: 63000 | #Constraints: 10156
1156.97/1160.23 c #Conflicts: 64000 | #Constraints: 11156
1156.97/1160.23 c #Conflicts: 65000 | #Constraints: 12156
1156.97/1160.23 c #Conflicts: 66000 | #Constraints: 13156
1156.97/1160.23 c INPROCESSING
1156.97/1160.23 c GARBAGE COLLECT
1156.97/1160.23 c #Conflicts: 67000 | #Constraints: 8965
1156.97/1160.23 c #Conflicts: 68000 | #Constraints: 9965
1156.97/1160.23 c #Conflicts: 69000 | #Constraints: 10965
1156.97/1160.23 c #Conflicts: 70000 | #Constraints: 11965
1156.97/1160.23 c #Conflicts: 71000 | #Constraints: 12965
1156.97/1160.23 c #Conflicts: 72000 | #Constraints: 13965
1156.97/1160.23 c INPROCESSING
1156.97/1160.23 c GARBAGE COLLECT
1156.97/1160.23 c #Conflicts: 73000 | #Constraints: 9570
1156.97/1160.23 c #Conflicts: 74000 | #Constraints: 10570
1156.97/1160.23 c #Conflicts: 75000 | #Constraints: 11570
1156.97/1160.23 c #Conflicts: 76000 | #Constraints: 12570
1156.97/1160.23 c #Conflicts: 77000 | #Constraints: 13570
1156.97/1160.23 c bounds 4276613 >= 314858 @ 1130.78
1156.97/1160.23 c #Conflicts: 78000 | #Constraints: 14571
1156.97/1160.23 c INPROCESSING
1156.97/1160.23 c GARBAGE COLLECT
1156.97/1160.23 c finalizing WCE round: reformulating cores
1157.78/1161.07 c bounds 4265903 >= 314858 @ 1155.44
1157.78/1161.07 c bounds 4264879 >= 314858 @ 1155.59
1157.78/1161.07 c stratification level: 313936
1159.06/1162.39 c bounds 4263599 >= 314858 @ 1156.9
1159.06/1162.39 c stratification level: 313632
1161.35/1164.67 c bounds 4248433 >= 314858 @ 1159.17
1161.35/1164.67 c stratification level: 312050
1164.94/1168.26 c bounds 4248371 >= 314858 @ 1162.74
1164.94/1168.26 c stratification level: 310472
1165.14/1168.44 c bounds 4245131 >= 314858 @ 1162.92
1165.14/1168.44 c stratification level: 308898
1165.34/1168.61 c bounds 4243883 >= 314858 @ 1163.09
1165.34/1168.61 c stratification level: 307328
1335.26/1339.04 c #Conflicts: 79000 | #Constraints: 9980
1335.26/1339.04 c #Conflicts: 80000 | #Constraints: 10980
1335.26/1339.04 c #Conflicts: 81000 | #Constraints: 11980
1335.26/1339.04 c #Conflicts: 82000 | #Constraints: 12980
1335.26/1339.04 c #Conflicts: 83000 | #Constraints: 13980
1335.26/1339.04 c #Conflicts: 84000 | #Constraints: 14980
1335.26/1339.04 c INPROCESSING
1335.26/1339.04 c GARBAGE COLLECT
1335.26/1339.04 c #Conflicts: 85000 | #Constraints: 10192
1335.26/1339.04 c #Conflicts: 86000 | #Constraints: 11192
1335.26/1339.04 c #Conflicts: 87000 | #Constraints: 12192
1335.26/1339.04 c bounds 4243189 >= 314858 @ 1332.79
1335.26/1339.04 c stratification level: 305762
1335.45/1339.28 c bounds 4239813 >= 314858 @ 1333.03
1335.45/1339.28 c stratification level: 304200
1335.85/1339.69 c bounds 4238195 >= 314858 @ 1333.44
1335.85/1339.69 c stratification level: 302642
1336.25/1340.06 c bounds 4235721 >= 314858 @ 1333.81
1336.25/1340.06 c stratification level: 301088
1336.55/1340.31 c bounds 4233707 >= 314858 @ 1334.05
1336.55/1340.31 c stratification level: 299538
1337.94/1341.72 c bounds 4233489 >= 314858 @ 1335.45
1337.94/1341.72 c stratification level: 297992
1347.23/1351.04 c bounds 4227327 >= 314858 @ 1344.73
1347.23/1351.04 c stratification level: 297754
1347.52/1351.30 c bounds 4226825 >= 314858 @ 1344.99
1347.52/1351.30 c stratification level: 296450
1356.90/1360.79 c #Conflicts: 88000 | #Constraints: 13200
1356.90/1360.79 c bounds 4225461 >= 314858 @ 1354.43
1356.90/1360.79 c stratification level: 294912
1358.58/1362.45 c bounds 4219619 >= 314858 @ 1356.08
1358.58/1362.45 c stratification level: 293378
1358.89/1362.73 c bounds 4219117 >= 314858 @ 1356.36
1358.89/1362.73 c stratification level: 291848
3300.13/3309.54 c #Conflicts: 89000 | #Constraints: 14203
3300.13/3309.54 c #Conflicts: 90000 | #Constraints: 15203
3300.13/3309.54 c INPROCESSING
3300.13/3309.54 c GARBAGE COLLECT
3300.13/3309.54 c #Conflicts: 91000 | #Constraints: 10210
3300.13/3309.54 c #Conflicts: 92000 | #Constraints: 11210
3300.13/3309.54 c #Conflicts: 93000 | #Constraints: 12210
3300.13/3309.54 c #Conflicts: 94000 | #Constraints: 13210
3300.13/3309.54 c #Conflicts: 95000 | #Constraints: 14210
3300.13/3309.54 c bounds 4219117 >= 606706 @ 1480.22
3300.13/3309.54 c #Conflicts: 96000 | #Constraints: 15211
3300.13/3309.54 c INPROCESSING
3300.13/3309.54 c GARBAGE COLLECT
3300.13/3309.54 c #Conflicts: 97000 | #Constraints: 10004
3300.13/3309.54 c #Conflicts: 98000 | #Constraints: 11004
3300.13/3309.54 c #Conflicts: 99000 | #Constraints: 12004
3300.13/3309.54 c #Conflicts: 100000 | #Constraints: 13004
3300.13/3309.54 c #Conflicts: 101000 | #Constraints: 14004
3300.13/3309.54 c #Conflicts: 102000 | #Constraints: 15004
3300.13/3309.54 c #Conflicts: 103000 | #Constraints: 16004
3300.13/3309.54 c INPROCESSING
3300.13/3309.54 c GARBAGE COLLECT
3300.13/3309.54 c #Conflicts: 104000 | #Constraints: 10615
3300.13/3309.54 c #Conflicts: 105000 | #Constraints: 11615
3300.13/3309.54 c #Conflicts: 106000 | #Constraints: 12615
3300.13/3309.54 c #Conflicts: 107000 | #Constraints: 13615
3300.13/3309.54 c #Conflicts: 108000 | #Constraints: 14615
3300.13/3309.54 c #Conflicts: 109000 | #Constraints: 15615
3300.13/3309.54 c #Conflicts: 110000 | #Constraints: 16615
3300.13/3309.54 c INPROCESSING
3300.13/3309.54 c GARBAGE COLLECT
3300.13/3309.54 c #Conflicts: 111000 | #Constraints: 11017
3300.13/3309.54 c #Conflicts: 112000 | #Constraints: 12017
3300.13/3309.54 c #Conflicts: 113000 | #Constraints: 13017
3300.13/3309.54 c #Conflicts: 114000 | #Constraints: 14017
3300.13/3309.54 c #Conflicts: 115000 | #Constraints: 15017
3300.13/3309.54 c #Conflicts: 116000 | #Constraints: 16017
3300.13/3309.54 c #Conflicts: 117000 | #Constraints: 17017
3300.13/3309.54 c INPROCESSING
3300.13/3309.54 c GARBAGE COLLECT
3300.13/3309.54 c #Conflicts: 118000 | #Constraints: 11221
3300.13/3309.54 c #Conflicts: 119000 | #Constraints: 12221
3300.13/3309.54 c #Conflicts: 120000 | #Constraints: 13221
3300.13/3309.54 c #Conflicts: 121000 | #Constraints: 14221
3300.13/3309.54 c #Conflicts: 122000 | #Constraints: 15221
3300.13/3309.54 c #Conflicts: 123000 | #Constraints: 16221
3300.13/3309.54 c #Conflicts: 124000 | #Constraints: 17221
3300.13/3309.54 c INPROCESSING
3300.13/3309.54 c GARBAGE COLLECT
3300.13/3309.54 c #Conflicts: 125000 | #Constraints: 11203
3300.13/3309.54 c #Conflicts: 126000 | #Constraints: 12203
3300.13/3309.54 c #Conflicts: 127000 | #Constraints: 13203
3300.13/3309.54 c #Conflicts: 128000 | #Constraints: 14203
3300.13/3309.54 c #Conflicts: 129000 | #Constraints: 15203
3300.13/3309.54 c #Conflicts: 130000 | #Constraints: 16203
3300.13/3309.54 c #Conflicts: 131000 | #Constraints: 17203
3300.13/3309.54 c INPROCESSING
3300.13/3309.54 c GARBAGE COLLECT
3300.13/3309.54 c #Conflicts: 132000 | #Constraints: 11000
3300.13/3309.54 c #Conflicts: 133000 | #Constraints: 12000
3300.13/3309.54 c #Conflicts: 134000 | #Constraints: 13000
3300.13/3309.54 c #Conflicts: 135000 | #Constraints: 14000
3300.13/3309.54 c #Conflicts: 136000 | #Constraints: 15000
3300.13/3309.54 c #Conflicts: 137000 | #Constraints: 16000
3300.13/3309.54 c #Conflicts: 138000 | #Constraints: 17000
3300.13/3309.54 c #Conflicts: 139000 | #Constraints: 18000
3300.13/3309.54 c INPROCESSING
3300.13/3309.54 c GARBAGE COLLECT
3300.13/3309.54 c #Conflicts: 140000 | #Constraints: 11588
3300.13/3309.54 c #Conflicts: 141000 | #Constraints: 12588
3300.13/3309.54 c #Conflicts: 142000 | #Constraints: 13588
3300.13/3309.54 c #Conflicts: 143000 | #Constraints: 14588
3300.13/3309.54 c #Conflicts: 144000 | #Constraints: 15588
3300.13/3309.54 c #Conflicts: 145000 | #Constraints: 16588
3300.13/3309.54 c #Conflicts: 146000 | #Constraints: 17588
3300.13/3309.54 c #Conflicts: 147000 | #Constraints: 18588
3300.13/3309.54 c INPROCESSING
3300.13/3309.54 c GARBAGE COLLECT
3300.13/3309.54 c #Conflicts: 148000 | #Constraints: 12003
3300.13/3309.54 c #Conflicts: 149000 | #Constraints: 13003
3300.13/3309.54 c #Conflicts: 150000 | #Constraints: 14003
3300.13/3309.54 c #Conflicts: 151000 | #Constraints: 15003
3300.13/3309.54 c #Conflicts: 152000 | #Constraints: 16003
3300.13/3309.54 c #Conflicts: 153000 | #Constraints: 17003
3300.13/3309.54 c #Conflicts: 154000 | #Constraints: 18003
3300.13/3309.54 c #Conflicts: 155000 | #Constraints: 19003
3300.13/3309.54 c INPROCESSING
3300.13/3309.54 c GARBAGE COLLECT
3300.13/3309.54 c #Conflicts: 156000 | #Constraints: 12220
3300.13/3309.54 c #Conflicts: 157000 | #Constraints: 13220
3300.13/3309.54 c #Conflicts: 158000 | #Constraints: 14220
3300.13/3309.54 c #Conflicts: 159000 | #Constraints: 15220
3300.13/3309.54 c #Conflicts: 160000 | #Constraints: 16220
3600.03/3610.46 c #Conflicts: 161000 | #Constraints: 17220
3600.03/3610.46 c #Conflicts: 162000 | #Constraints: 18220
3600.03/3610.46 c #Conflicts: 163000 | #Constraints: 19220
3600.03/3610.46 c INPROCESSING
3600.03/3610.46 c GARBAGE COLLECT
3600.03/3610.46 c #Conflicts: 164000 | #Constraints: 12197
3600.03/3610.46 c #Conflicts: 165000 | #Constraints: 13197
3600.03/3610.46 c #Conflicts: 166000 | #Constraints: 14197
3600.03/3610.46 c #Conflicts: 167000 | #Constraints: 15197
3600.03/3610.46 c #Conflicts: 168000 | #Constraints: 16197
3600.03/3610.46 c #Conflicts: 169000 | #Constraints: 17197
3600.03/3610.46 c Program interrupted by user.
3600.03/3610.46 c cpu time 3595.15 s
3600.03/3610.46 c deterministic time 368902381441 3.69e+11
3600.03/3610.46 c optimization time 175.196 s
3600.03/3610.46 c total solve time 3120.8 s
3600.03/3610.46 c core-guided solve time 3120.8 s
3600.03/3610.46 c propagation time 2591.54 s
3600.03/3610.46 c conflict analysis time 646.533 s
3600.03/3610.46 c propagations 38711104
3600.03/3610.46 c resolve steps 3962701
3600.03/3610.46 c decisions 2331296
3600.03/3610.46 c conflicts 169598
3600.03/3610.46 c restarts 459
3600.03/3610.46 c inprocessing phases 32
3600.03/3610.46 c input clauses 2556
3600.03/3610.46 c input cardinalities 8
3600.03/3610.46 c input general constraints 2800
3600.03/3610.46 c input average constraint length 108.35
3600.03/3610.46 c input average constraint degree 56446244.20
3600.03/3610.46 c learned clauses 22555
3600.03/3610.46 c learned cardinalities 87
3600.03/3610.46 c learned general constraints 146956
3600.03/3610.46 c learned average constraint length 2098.20
3600.03/3610.46 c learned average constraint degree 1941551735.61
3600.03/3610.46 c watched constraints 29638
3600.03/3610.46 c counting constraints 120118
3600.03/3610.46 c gcd simplifications 2412
3600.03/3610.46 c detected cardinalities 1
3600.03/3610.46 c weakened non-implied lits 11540301
3600.03/3610.46 c weakened non-implying lits 81067
3600.03/3610.46 c original variables 9940
3600.03/3610.46 c clausal propagations 27013477
3600.03/3610.46 c cardinality propagations 280790
3600.03/3610.46 c watched propagations 820380
3600.03/3610.46 c counting propagations 10506032
3600.03/3610.46 c watch lookups 44797551911
3600.03/3610.46 c watch backjump lookups 44172864685
3600.03/3610.46 c watch checks 157413985910
3600.03/3610.46 c propagation checks 121556044608
3600.03/3610.46 c constraint additions 879684687
3600.03/3610.46 c trail pops 41207239
3600.03/3610.46 c formula constraints 5188
3600.03/3610.46 c learned constraints 169598
3600.03/3610.46 c bound constraints 174
3600.03/3610.46 c core-guided constraints 2
3600.03/3610.46 c encountered formula constraints 3506735
3600.03/3610.46 c encountered learned constraints 623818
3600.03/3610.46 c encountered bound constraints 781
3600.03/3610.46 c encountered core-guided constraints 965
3600.03/3610.46 c LP total time 0 s
3600.03/3610.46 c LP solve time 0 s
3600.03/3610.46 c LP constraints added 0
3600.03/3610.46 c LP constraints removed 0
3600.03/3610.46 c LP pivots internal 0
3600.03/3610.46 c LP pivots root 0
3600.03/3610.46 c LP calls 0
3600.03/3610.46 c LP optimalities 0
3600.03/3610.46 c LP no pivot count 0
3600.03/3610.46 c LP infeasibilities 0
3600.03/3610.46 c LP valid Farkas constraints 0
3600.03/3610.46 c LP learned Farkas constraints 0
3600.03/3610.46 c LP basis resets 0
3600.03/3610.46 c LP cycling count 0
3600.03/3610.46 c LP singular count 0
3600.03/3610.46 c LP no primal count 0
3600.03/3610.46 c LP no farkas count 0
3600.03/3610.46 c LP other issue count 0
3600.03/3610.46 c LP Gomory cuts 0
3600.03/3610.46 c LP learned cuts 0
3600.03/3610.46 c LP deleted cuts 0
3600.03/3610.46 c LP encountered Gomory constraints 0
3600.03/3610.46 c LP encountered Farkas constraints 0
3600.03/3610.46 c LP encountered learned Farkas constraints 0
3600.03/3610.46 c CG auxiliary variables introduced 1
3600.03/3610.46 c CG solutions found 170
3600.03/3610.46 c CG cores constructed 2
3600.03/3610.46 c CG core cardinality constraints returned 0
3600.03/3610.46 c CG unit cores 0
3600.03/3610.46 c CG single cores 2
3600.03/3610.46 c CG blocks removed during cardinality reduction 0
3600.03/3610.46 c CG first core best 0
3600.03/3610.46 c CG decision core best 0
3600.03/3610.46 c CG core reduction tie 0
3600.03/3610.46 c CG core degree average 1.00
3600.03/3610.46 c CG core slack average 474.00
3600.03/3610.46 c CG exhausted 0
3600.03/3610.46 c CG exhaust time 0.685229 s
3600.03/3610.46 c CG trimmed 0
3600.03/3610.46 c CG trim time 0.070639 s
3600.03/3610.46 c CG minimized 0
3600.03/3610.46 c CG minimize time 0 s
3600.03/3610.46 c CG am1 prop time 0.002028 s
3600.03/3610.46 c CG # am1s reformulated 0
3600.03/3610.46 c CG lower bound derived from am1s 0
3600.03/3610.46 c CG # clausal cores 2
3600.03/3610.46 c CG # cardinality cores 0
3600.03/3610.46 c CG # pb cores 0
3600.03/3610.46 c CG # pb reforms 0
3600.03/3610.46 c CG # cores discarded because of pb reform 0
3600.03/3610.46 d LOWERBOUND 606706
3600.03/3610.46 d NCORES 2
3600.03/3610.46 d NPBCORES 0
3600.03/3610.46 d NPBREFORM 0
3600.03/3610.46 d NTRIMMED 0
3600.03/3610.46 d NEXHAUSTED 0
3600.03/3610.46 d NAM1S 0
3600.03/3610.46 d AM1LB 0
3600.03/3610.46 c [Papilo Statistics]
3600.03/3610.46 c prepro time 0.0294938s
3600.03/3610.46 c # tsx applied 12355
3600.03/3610.46 c # tsx conflicts 0
3600.03/3610.46 c # bound changes 140
3600.03/3610.46 c # side changes 2415
3600.03/3610.46 c # coef changes 31395
3600.03/3610.46 c # rounds 3
3600.03/3610.46 c # deted vars 4970
3600.03/3610.46 c # deted constrs 9662
3600.03/3610.46 c # consecutive rounds of only bound changes 0
3600.03/3610.46 c [STEP] postprocessing with Papilo
3600.03/3610.46 o 4219117
3600.03/3610.46 s SATISFIABLE
3600.03/3610.46 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 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 x9823 -x9824 -x9825 x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (55481 MiB free)
memory of node 1: 64510 MiB (58574 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454948-1721473689/watcher-4454948-1721473689 -o /tmp/evaluation-result-4454948-1721473689/solver-4454948-1721473689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721469837-1064031 --watchdog 3760 mixed-bag HOME/instance-4454948-1721473689.opb
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1066213, runsolver pid=1066210
[startup+0.100101 s]*
/proc/loadavg: 4.10 4.15 4.09 5/254 1066214
/proc/meminfo: memFree=116769860/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=108884 memory=42496 CPUtime=0.09 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 9612 0 0 0 8 1 0 0 20 0 1 0 199529066 111497216 10624 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 27221 10624 3673 3002 0 10970 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 108884 KiB
Current children cumulated memory: 42496 KiB
[startup+0.205807 s]*
/proc/loadavg: 4.10 4.15 4.09 5/254 1066214
/proc/meminfo: memFree=116740796/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=133876 memory=66328 CPUtime=0.2 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 15426 0 0 0 18 2 0 0 20 0 1 0 199529066 137089024 16582 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 33469 16582 3833 3002 0 17218 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 133876 KiB
Current children cumulated memory: 66328 KiB
[startup+0.305606 s]*
/proc/loadavg: 4.10 4.15 4.09 5/254 1066214
/proc/meminfo: memFree=116740012/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=136220 memory=67648 CPUtime=0.3 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 15730 0 0 0 28 2 0 0 20 0 1 0 199529066 139489280 16912 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 34055 16912 3833 3002 0 17804 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 136220 KiB
Current children cumulated memory: 67648 KiB
[startup+0.700245 s]
/proc/loadavg: 4.10 4.15 4.09 5/254 1066214
/proc/meminfo: memFree=116706860/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=179332 memory=101496 CPUtime=0.68 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 24786 0 0 0 65 3 0 0 20 0 1 0 199529066 183635968 25374 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 44833 25374 4040 3002 0 28582 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 179332 KiB
Current children cumulated memory: 101496 KiB
[startup+1.50025 s]
/proc/loadavg: 4.10 4.15 4.09 5/254 1066214
/proc/meminfo: memFree=116704808/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=181008 memory=102816 CPUtime=1.48 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 25104 0 0 0 145 3 0 0 20 0 1 0 199529066 185352192 25704 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 45252 25704 4040 3002 0 29001 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 181008 KiB
Current children cumulated memory: 102816 KiB
[startup+3.10546 s]
/proc/loadavg: 4.10 4.15 4.09 5/254 1066215
/proc/meminfo: memFree=116681200/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=205864 memory=126828 CPUtime=3.08 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 31132 0 0 0 304 4 0 0 20 0 1 0 199529066 210804736 31707 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 51466 31707 4040 3002 0 35215 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 205864 KiB
Current children cumulated memory: 126828 KiB
[startup+6.30023 s]
/proc/loadavg: 4.09 4.15 4.09 5/254 1066215
/proc/meminfo: memFree=116671932/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=214592 memory=135528 CPUtime=6.27 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 33322 0 0 0 623 4 0 0 20 0 1 0 199529066 219742208 33882 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 53648 33882 4040 3002 0 37397 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 214592 KiB
Current children cumulated memory: 135528 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.14 4.09 5/254 1066215
/proc/meminfo: memFree=116664900/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=221176 memory=142256 CPUtime=12.65 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 35020 0 0 0 1261 4 0 0 20 0 1 0 199529066 226484224 35564 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 55294 35564 4040 3002 0 39043 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 221176 KiB
Current children cumulated memory: 142256 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.14 4.09 5/254 1066219
/proc/meminfo: memFree=116636620/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=249672 memory=170392 CPUtime=25.41 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 42680 0 0 0 2535 6 0 0 20 0 1 0 199529066 255664128 42598 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 62418 42598 4087 3002 0 46167 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 249672 KiB
Current children cumulated memory: 170392 KiB
[startup+51.1058 s]
/proc/loadavg: 4.11 4.14 4.09 5/254 1066222
/proc/meminfo: memFree=116635388/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=249672 memory=170392 CPUtime=50.96 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 42684 0 0 0 5087 9 0 0 20 0 1 0 199529066 255664128 42598 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 62418 42598 4087 3002 0 46167 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 249672 KiB
Current children cumulated memory: 170392 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 1066235
/proc/meminfo: memFree=122482096/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=249672 memory=170392 CPUtime=102.01 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 42702 0 0 0 10187 14 0 0 20 0 1 0 199529066 255664128 42598 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 62418 42598 4087 3002 0 46167 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 249672 KiB
Current children cumulated memory: 170392 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 1066247
/proc/meminfo: memFree=122210560/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=256196 memory=177636 CPUtime=161.86 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 44617 0 0 0 16169 17 0 0 20 0 1 0 199529066 262344704 44409 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 64049 44409 4087 3002 0 47798 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 256196 KiB
Current children cumulated memory: 177636 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/258 1066258
/proc/meminfo: memFree=121993924/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=256812 memory=178260 CPUtime=221.7 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 44782 0 0 0 22153 17 0 0 20 0 1 0 199529066 262975488 44565 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 64203 44565 4087 3002 0 47952 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 256812 KiB
Current children cumulated memory: 178260 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/258 1066268
/proc/meminfo: memFree=121782508/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=274524 memory=195816 CPUtime=281.54 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 49705 0 0 0 28136 18 0 0 20 0 1 0 199529066 281112576 48954 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 68631 48954 4087 3002 0 52380 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 274524 KiB
Current children cumulated memory: 195816 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1066279
/proc/meminfo: memFree=121584356/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=378324 memory=272588 CPUtime=341.38 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 54897 0 0 0 34090 48 0 0 20 0 1 0 199529066 387403776 68147 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 94581 68147 4215 3002 0 78330 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 378324 KiB
Current children cumulated memory: 272588 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/258 1066290
/proc/meminfo: memFree=121409912/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=387724 memory=299436 CPUtime=401.2 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 56504 0 0 0 40049 71 0 0 20 0 1 0 199529066 397029376 74859 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 96931 74859 4215 3002 0 80680 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 387724 KiB
Current children cumulated memory: 299436 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/255 1066300
/proc/meminfo: memFree=120989204/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=426280 memory=341948 CPUtime=461.04 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 62594 0 0 0 46012 92 0 0 20 0 1 0 199529066 436510720 85487 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 106570 85487 4215 3002 0 90319 0
################
# More data... #
################
Current children cumulated memory: 552120 KiB
[startup+2862.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 1067734
/proc/meminfo: memFree=115798244/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=802272 memory=552120 CPUtime=2854.2 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 97474 0 0 0 285005 415 0 0 20 0 1 0 199529066 821526528 138030 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 200568 138030 4231 3002 0 184317 0
Current children cumulated CPU time: 2854.2 s
Current children cumulated vsize: 802272 KiB
Current children cumulated memory: 552120 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 1067744
/proc/meminfo: memFree=115673132/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=802272 memory=552120 CPUtime=2914.04 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 97483 0 0 0 290986 418 0 0 20 0 1 0 199529066 821526528 138030 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 200568 138030 4231 3002 0 184317 0
Current children cumulated CPU time: 2914.04 s
Current children cumulated vsize: 802272 KiB
Current children cumulated memory: 552120 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 1067925
/proc/meminfo: memFree=115571564/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=802272 memory=552120 CPUtime=2973.86 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 97503 0 0 0 296957 429 0 0 20 0 1 0 199529066 821526528 138030 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 200568 138030 4231 3002 0 184317 0
Current children cumulated CPU time: 2973.86 s
Current children cumulated vsize: 802272 KiB
Current children cumulated memory: 552120 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1067935
/proc/meminfo: memFree=115425364/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=802272 memory=552120 CPUtime=3033.69 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 97503 0 0 0 302935 434 0 0 20 0 1 0 199529066 821526528 138030 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 200568 138030 4231 3002 0 184317 0
Current children cumulated CPU time: 3033.69 s
Current children cumulated vsize: 802272 KiB
Current children cumulated memory: 552120 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/260 1067950
/proc/meminfo: memFree=115366064/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=802272 memory=552120 CPUtime=3093.53 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 97503 0 0 0 308913 440 0 0 20 0 1 0 199529066 821526528 138030 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 200568 138030 4231 3002 0 184317 0
Current children cumulated CPU time: 3093.53 s
Current children cumulated vsize: 802272 KiB
Current children cumulated memory: 552120 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 1067972
/proc/meminfo: memFree=115365468/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=802272 memory=552264 CPUtime=3153.36 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 97511 0 0 0 314891 445 0 0 20 0 1 0 199529066 821526528 138066 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 200568 138066 4231 3002 0 184317 0
Current children cumulated CPU time: 3153.36 s
Current children cumulated vsize: 802272 KiB
Current children cumulated memory: 552264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/260 1067983
/proc/meminfo: memFree=115318908/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=802272 memory=552264 CPUtime=3213.18 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 97545 0 0 0 320866 452 0 0 20 0 1 0 199529066 821526528 138066 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 200568 138066 4231 3002 0 184317 0
Current children cumulated CPU time: 3213.18 s
Current children cumulated vsize: 802272 KiB
Current children cumulated memory: 552264 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/260 1067993
/proc/meminfo: memFree=115222436/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=802272 memory=552264 CPUtime=3273.01 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 97545 0 0 0 326841 460 0 0 20 0 1 0 199529066 821526528 138066 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 200568 138066 4231 3002 0 184317 0
Current children cumulated CPU time: 3273.01 s
Current children cumulated vsize: 802272 KiB
Current children cumulated memory: 552264 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/258 1068004
/proc/meminfo: memFree=115216256/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=802272 memory=552264 CPUtime=3332.84 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 97546 0 0 0 332820 464 0 0 20 0 1 0 199529066 821526528 138066 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 200568 138066 4231 3002 0 184317 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 802272 KiB
Current children cumulated memory: 552264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.12 4.10 5/259 1068153
/proc/meminfo: memFree=119767656/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=804540 memory=557848 CPUtime=3392.65 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 97958 0 0 0 338792 473 0 0 20 0 1 0 199529066 823848960 139462 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 201135 139462 4231 3002 0 184884 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 804540 KiB
Current children cumulated memory: 557848 KiB
[startup+3462.3 s]
/proc/loadavg: 4.45 4.21 4.13 5/256 1068163
/proc/meminfo: memFree=117380904/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=814432 memory=573752 CPUtime=3452.45 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 99918 0 0 0 344768 477 0 0 20 0 1 0 199529066 833978368 143438 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 203608 143438 4231 3002 0 187357 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 814432 KiB
Current children cumulated memory: 573752 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/256 1068173
/proc/meminfo: memFree=115770008/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=814432 memory=583832 CPUtime=3512.23 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 100003 0 0 0 350737 486 0 0 20 0 1 0 199529066 833978368 145958 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 203608 145958 4231 3002 0 187357 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 814432 KiB
Current children cumulated memory: 583832 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/255 1068184
/proc/meminfo: memFree=115656052/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=814432 memory=621540 CPUtime=3572.03 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 100280 0 0 0 356710 493 0 0 20 0 1 0 199529066 833978368 155385 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 203608 155385 4231 3002 0 187357 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 814432 KiB
Current children cumulated memory: 621540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.14 4.16 4.12 5/255 1068190
/proc/meminfo: memFree=115638740/131524600 swapFree=131071996/131071996
[pid=1066213] ppid=1066210 vsize=814432 memory=635868 CPUtime=3600.03 cores=5,7
/proc/1066213/stat : 1066213 (mixed-bag) R 1066210 1066213 1064017 0 -1 4194304 100456 0 0 0 359508 495 0 0 20 0 1 0 199529066 833978368 158967 134679101440 4194304 16488053 140720610033360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 39325696 140720610034709 140720610034786 140720610034786 140720610041803 0
/proc/1066213/statm: 203608 158967 4231 3002 0 187357 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 814432 KiB
Current children cumulated memory: 635868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.48 s]
# the end of solver process 1066213 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.16 s, system=4.96176 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.48
CPU time (s): 3600.12
CPU user time (s): 3595.16
CPU system time (s): 4.96176
CPU usage (%): 99.7131
Max. virtual memory (cumulated for all children) (KiB): 814432
Max. memory (cumulated for all children) (KiB): 635868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.16
system time used= 4.96176
maximum resident set size= 638432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101061
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58
involuntary context switches= 3469
# summary of solver processes directly reported to runsolver:
# pid: 1066213
# total CPU time (s): 3600.12
# total CPU user time (s): 3595.16
# total CPU system time (s): 4.96176
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67122 second user time and 18.2331 second system time
The end
Begin job on nodeC015 at 2024-07-20 13:08:21
IDJOB=4454948
IDBENCH=155605
IDSOLVER=3083
FILE ID=nodeC015/4454948-1721473689
RUNJOBID= nodeC015-1721469837-1064031
SLURM_JOB_ID= 7545730
Free space on /tmp= 889924 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454948-1721473689/watcher-4454948-1721473689 -o /tmp/evaluation-result-4454948-1721473689/solver-4454948-1721473689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721469837-1064031 --watchdog 3760 mixed-bag HOME/instance-4454948-1721473689.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=176485559
nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.651
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.445
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.990
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.960
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.690
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.450
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.066
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.441
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 116792880 kB
MemAvailable: 118275224 kB
Buffers: 567312 kB
Cached: 1748256 kB
SwapCached: 0 kB
Active: 1861308 kB
Inactive: 12209976 kB
Active(anon): 1548 kB
Inactive(anon): 11800072 kB
Active(file): 1859760 kB
Inactive(file): 409904 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17232 kB
Writeback: 52 kB
AnonPages: 11752140 kB
Mapped: 140516 kB
Shmem: 45912 kB
KReclaimable: 104656 kB
Slab: 217672 kB
SReclaimable: 104656 kB
SUnreclaim: 113016 kB
KernelStack: 4048 kB
PageTables: 32868 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 13381096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6234112 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: 291540 kB
DirectMap2M: 38279168 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889720 MiB
End job on nodeC015 at 2024-07-20 14:08:31