0.00/0.05 c RoundingSat 2
0.00/0.05 c branch
0.00/0.05 c commit
0.00/0.05 c with Papilo
0.00/0.05 c with SCIP
0.00/0.05 c [STEP] parsing instance
0.04/0.10 c [STEP] preprocessing with Papilo
0.04/0.13 c [STEP] solving with SCIP
299.23/300.17 c [STEP] preprocessing done, loading into solver
299.23/300.18 c [STEP] solving
299.23/300.18 c #variables 4971 #constraints 5188
299.23/300.18 c SMALL=int, LARGE=long long
299.23/300.18 d SCIPUB 5699177
299.23/300.18 c bounds - >= -70 @ 299.213
299.23/300.18 c stratification level: 5606442
299.52/300.49 c bounds 5457003 >= -70 @ 299.508
299.52/300.49 c stratification level: 5371238
299.52/300.49 c bounds 5454783 >= -70 @ 299.512
299.52/300.49 c stratification level: 5256144
299.62/300.50 c bounds 5451927 >= -70 @ 299.517
299.62/300.50 c stratification level: 5142706
299.62/300.51 c bounds 5424481 >= -70 @ 299.524
299.62/300.51 c stratification level: 5030912
299.62/300.53 c bounds 5415993 >= -70 @ 299.542
299.62/300.53 c stratification level: 4920750
299.62/300.53 c bounds 5399187 >= -70 @ 299.547
299.62/300.53 c stratification level: 4812208
299.62/300.54 c bounds 5372321 >= -70 @ 299.556
299.62/300.54 c stratification level: 4705274
299.62/300.55 c bounds 5359233 >= -70 @ 299.561
299.62/300.55 c stratification level: 4599936
299.62/300.55 c bounds 5355623 >= -70 @ 299.566
299.62/300.55 c stratification level: 4496182
299.62/300.57 c bounds 5341089 >= -70 @ 299.582
299.62/300.57 c stratification level: 4394000
299.62/300.58 c bounds 5339265 >= -70 @ 299.591
299.62/300.58 c stratification level: 4293378
299.62/300.58 c bounds 5328779 >= -70 @ 299.597
299.62/300.58 c stratification level: 4194304
299.62/300.59 c bounds 5327383 >= -70 @ 299.602
299.62/300.59 c stratification level: 4096766
299.72/300.66 c bounds 5327091 >= -70 @ 299.667
299.72/300.66 c stratification level: 4000752
299.72/300.67 c bounds 5326193 >= -70 @ 299.679
299.72/300.67 c stratification level: 3906250
299.72/300.68 c bounds 5322033 >= -70 @ 299.685
299.72/300.68 c stratification level: 3813248
299.72/300.69 c bounds 5253403 >= -70 @ 299.696
299.72/300.69 c stratification level: 3721734
299.83/300.71 c bounds 5252971 >= -70 @ 299.714
299.83/300.71 c stratification level: 3631696
299.83/300.72 c bounds 5250251 >= -70 @ 299.721
299.83/300.72 c stratification level: 3543122
299.83/300.73 c bounds 5249547 >= -70 @ 299.728
299.83/300.73 c stratification level: 3456000
299.83/300.73 c bounds 5246739 >= -70 @ 299.736
299.83/300.73 c stratification level: 3370318
299.83/300.74 c bounds 5243821 >= -70 @ 299.745
299.83/300.74 c stratification level: 3286064
299.83/300.75 c bounds 5242637 >= -70 @ 299.756
299.83/300.75 c stratification level: 3203226
299.83/300.77 c bounds 5237821 >= -70 @ 299.766
299.83/300.77 c stratification level: 3121792
299.83/300.78 c bounds 5217245 >= -70 @ 299.777
299.83/300.78 c stratification level: 3041750
299.83/300.78 c bounds 5206291 >= -70 @ 299.784
299.83/300.78 c stratification level: 2963088
299.93/300.80 c bounds 5196931 >= -70 @ 299.801
299.93/300.80 c stratification level: 2885794
299.93/300.81 c bounds 5186781 >= -70 @ 299.813
299.93/300.81 c stratification level: 2809856
299.93/300.85 c bounds 5172285 >= -70 @ 299.85
299.93/300.85 c stratification level: 2735262
299.93/300.86 c bounds 5166885 >= -70 @ 299.859
299.93/300.86 c stratification level: 2662000
299.93/300.87 c bounds 5158553 >= -70 @ 299.867
299.93/300.87 c stratification level: 2590058
300.02/300.92 c bounds 5156929 >= -70 @ 299.92
300.02/300.92 c stratification level: 2519424
300.02/300.93 c bounds 5150285 >= -70 @ 299.93
300.02/300.93 c stratification level: 2450086
300.13/301.03 c bounds 5148527 >= -70 @ 300.023
300.13/301.03 c stratification level: 2382032
300.13/301.04 c bounds 5147203 >= -70 @ 300.03
300.13/301.04 c stratification level: 2315250
300.33/301.20 c #Conflicts: 1000 | #Constraints: 6223
300.33/301.20 c bounds 5141975 >= -70 @ 300.192
300.33/301.20 c stratification level: 2249728
300.33/301.27 c bounds 5125953 >= -70 @ 300.264
300.33/301.27 c stratification level: 2185454
300.42/301.36 c bounds 5123989 >= -70 @ 300.347
300.42/301.36 c stratification level: 2122416
300.42/301.39 c bounds 5121529 >= -70 @ 300.376
300.42/301.39 c stratification level: 2060602
300.52/301.40 c bounds 5116615 >= -70 @ 300.387
300.52/301.40 c stratification level: 2000000
300.52/301.43 c bounds 4961421 >= -70 @ 300.416
300.52/301.43 c stratification level: 1940598
300.52/301.46 c bounds 4956111 >= -70 @ 300.446
300.52/301.46 c stratification level: 1882384
300.52/301.47 c bounds 4953347 >= -70 @ 300.459
300.52/301.47 c stratification level: 1825346
300.62/301.53 c bounds 4953095 >= -70 @ 300.518
300.62/301.53 c stratification level: 1769472
300.62/301.55 c bounds 4952399 >= -70 @ 300.53
300.62/301.55 c stratification level: 1714750
300.62/301.57 c bounds 4951379 >= -70 @ 300.547
300.62/301.57 c stratification level: 1661168
300.72/301.60 c bounds 4946781 >= -70 @ 300.582
300.72/301.60 c stratification level: 1608714
300.72/301.64 c bounds 4937321 >= -70 @ 300.618
300.72/301.64 c stratification level: 1557376
300.72/301.69 c bounds 4921345 >= -70 @ 300.668
300.72/301.69 c stratification level: 1507142
300.82/301.71 c bounds 4916149 >= -70 @ 300.681
300.82/301.71 c stratification level: 1458000
300.82/301.72 c bounds 4914625 >= -70 @ 300.697
300.82/301.72 c stratification level: 1409938
300.82/301.74 c bounds 4914299 >= -70 @ 300.71
300.82/301.74 c stratification level: 1362944
300.82/301.75 c bounds 4910937 >= -70 @ 300.723
300.82/301.75 c stratification level: 1317006
302.23/303.13 c #Conflicts: 2000 | #Constraints: 7241
302.23/303.13 c INPROCESSING
302.23/303.13 c GARBAGE COLLECT
302.23/303.13 c bounds 4820277 >= -70 @ 302.074
302.23/303.13 c stratification level: 1272112
302.23/303.15 c bounds 4819803 >= -70 @ 302.097
302.23/303.15 c stratification level: 1228250
302.81/303.74 c bounds 4818805 >= -70 @ 302.682
302.81/303.74 c stratification level: 1185408
302.92/303.87 c bounds 4806451 >= -70 @ 302.8
302.92/303.87 c stratification level: 1143574
303.01/303.92 c bounds 4799749 >= -70 @ 302.846
303.01/303.92 c stratification level: 1102736
336.14/337.17 c #Conflicts: 3000 | #Constraints: 5361
336.14/337.17 c #Conflicts: 4000 | #Constraints: 6361
336.14/337.17 c INPROCESSING
336.14/337.17 c GARBAGE COLLECT
336.14/337.17 c #Conflicts: 5000 | #Constraints: 5752
336.14/337.17 c #Conflicts: 6000 | #Constraints: 6752
336.14/337.17 c INPROCESSING
336.14/337.17 c GARBAGE COLLECT
336.14/337.17 c #Conflicts: 7000 | #Constraints: 5772
336.14/337.17 c #Conflicts: 8000 | #Constraints: 6772
336.14/337.17 c #Conflicts: 9000 | #Constraints: 7772
336.14/337.17 c bounds 4797247 >= -70 @ 335.854
336.14/337.17 c stratification level: 1062882
392.99/394.15 c INPROCESSING
392.99/394.15 c GARBAGE COLLECT
392.99/394.15 c #Conflicts: 10000 | #Constraints: 6476
392.99/394.15 c #Conflicts: 11000 | #Constraints: 7476
392.99/394.15 c #Conflicts: 12000 | #Constraints: 8476
392.99/394.15 c INPROCESSING
392.99/394.15 c GARBAGE COLLECT
392.99/394.15 c #Conflicts: 13000 | #Constraints: 6938
392.99/394.15 c #Conflicts: 14000 | #Constraints: 7938
392.99/394.15 c bounds 4790915 >= -70 @ 392.478
392.99/394.15 c stratification level: 1024000
393.18/394.34 c bounds 4745147 >= -70 @ 392.663
393.18/394.34 c stratification level: 986078
393.38/394.54 c bounds 4740329 >= -70 @ 392.865
393.38/394.54 c stratification level: 949104
393.58/394.72 c bounds 4735949 >= -70 @ 393.045
393.58/394.72 c stratification level: 913066
393.89/395.04 c bounds 4734075 >= -70 @ 393.362
393.89/395.04 c stratification level: 877952
394.08/395.24 c bounds 4725445 >= -70 @ 393.558
394.08/395.24 c stratification level: 843750
394.28/395.42 c bounds 4714935 >= -70 @ 393.738
394.28/395.42 c stratification level: 810448
394.48/395.62 c bounds 4699917 >= -70 @ 393.935
394.48/395.62 c stratification level: 778034
394.68/395.86 c bounds 4697821 >= -70 @ 394.173
394.68/395.86 c stratification level: 746496
467.19/468.55 c #Conflicts: 15000 | #Constraints: 8947
467.19/468.55 c INPROCESSING
467.19/468.55 c GARBAGE COLLECT
467.19/468.55 c #Conflicts: 16000 | #Constraints: 7148
467.19/468.55 c #Conflicts: 17000 | #Constraints: 8148
467.19/468.55 c #Conflicts: 18000 | #Constraints: 9148
467.19/468.55 c INPROCESSING
467.19/468.55 c GARBAGE COLLECT
467.19/468.55 c #Conflicts: 19000 | #Constraints: 7174
467.19/468.55 c #Conflicts: 20000 | #Constraints: 8174
467.19/468.55 c #Conflicts: 21000 | #Constraints: 9174
467.19/468.55 c INPROCESSING
467.19/468.55 c GARBAGE COLLECT
467.19/468.55 c #Conflicts: 22000 | #Constraints: 6986
467.19/468.55 c #Conflicts: 23000 | #Constraints: 7986
467.19/468.55 c bounds 4696289 >= -70 @ 466.458
467.19/468.55 c stratification level: 715822
467.39/468.71 c bounds 4695073 >= -70 @ 466.621
467.39/468.71 c stratification level: 686000
467.49/468.88 c bounds 4694945 >= -70 @ 466.784
467.49/468.88 c stratification level: 657018
467.69/469.06 c bounds 4694401 >= -70 @ 466.967
467.69/469.06 c stratification level: 628864
468.69/470.05 c bounds 4692581 >= -70 @ 467.947
468.69/470.05 c stratification level: 601526
468.88/470.25 c bounds 4692517 >= -70 @ 468.153
468.88/470.25 c stratification level: 589698
469.08/470.42 c bounds 4691301 >= -70 @ 468.314
469.08/470.42 c stratification level: 574992
482.05/483.41 c #Conflicts: 24000 | #Constraints: 8993
482.05/483.41 c #Conflicts: 25000 | #Constraints: 9993
482.05/483.41 c bounds 4591781 >= -70 @ 481.231
482.05/483.41 c stratification level: 566048
482.35/483.73 c bounds 4590795 >= -70 @ 481.541
482.35/483.73 c stratification level: 549250
483.14/484.53 c bounds 4590693 >= -70 @ 482.339
483.14/484.53 c stratification level: 528392
483.44/484.80 c bounds 4587821 >= -70 @ 482.607
483.44/484.80 c stratification level: 524288
483.66/485.02 c bounds 4587611 >= -70 @ 482.827
483.66/485.02 c stratification level: 500094
483.85/485.26 c bounds 4587237 >= -70 @ 483.065
483.85/485.26 c stratification level: 500000
484.05/485.48 c bounds 4587235 >= -70 @ 483.279
484.05/485.48 c stratification level: 480200
484.25/485.69 c bounds 4586373 >= -70 @ 483.496
484.25/485.69 c stratification level: 476656
491.13/492.50 c INPROCESSING
491.13/492.50 c GARBAGE COLLECT
491.13/492.50 c #Conflicts: 26000 | #Constraints: 7564
491.13/492.50 c bounds 4585621 >= -70 @ 490.258
491.13/492.50 c stratification level: 470450
496.72/498.12 c bounds 4581661 >= -70 @ 495.852
496.72/498.12 c stratification level: 468512
496.91/498.34 c bounds 4581485 >= -70 @ 496.066
496.91/498.34 c stratification level: 460800
557.06/558.66 c #Conflicts: 27000 | #Constraints: 8567
557.06/558.66 c #Conflicts: 28000 | #Constraints: 9567
557.06/558.66 c #Conflicts: 29000 | #Constraints: 10567
557.06/558.66 c INPROCESSING
557.06/558.66 c GARBAGE COLLECT
557.06/558.66 c #Conflicts: 30000 | #Constraints: 7969
557.06/558.66 c #Conflicts: 31000 | #Constraints: 8969
557.06/558.66 c #Conflicts: 32000 | #Constraints: 9969
557.06/558.66 c #Conflicts: 33000 | #Constraints: 10969
557.06/558.66 c INPROCESSING
557.06/558.66 c GARBAGE COLLECT
557.06/558.66 c bounds 4569127 >= -70 @ 556.084
557.06/558.66 c stratification level: 456968
557.36/558.92 c bounds 4566587 >= -70 @ 556.347
557.36/558.92 c stratification level: 455058
557.46/559.08 c bounds 4566451 >= -70 @ 556.505
557.46/559.08 c stratification level: 453962
557.75/559.39 c bounds 4565749 >= -70 @ 556.808
557.75/559.39 c stratification level: 451250
557.95/559.53 c bounds 4565055 >= -70 @ 556.95
557.95/559.53 c stratification level: 449352
558.15/559.70 c bounds 4563067 >= -70 @ 557.115
558.15/559.70 c stratification level: 438048
558.25/559.83 c bounds 4562373 >= -70 @ 557.243
558.25/559.83 c stratification level: 436178
558.35/559.99 c bounds 4562237 >= -70 @ 557.405
558.35/559.99 c stratification level: 432000
561.14/562.76 c bounds 4559231 >= -70 @ 560.156
561.14/562.76 c stratification level: 415872
561.65/563.23 c bounds 4552215 >= -70 @ 560.621
561.65/563.23 c stratification level: 414050
562.15/563.72 c bounds 4550855 >= -70 @ 561.118
562.15/563.72 c stratification level: 412232
563.65/565.27 c bounds 4550175 >= -70 @ 562.653
563.65/565.27 c stratification level: 410758
563.94/565.59 c bounds 4549891 >= -70 @ 562.966
563.94/565.59 c stratification level: 406802
565.14/566.71 c #Conflicts: 34000 | #Constraints: 8188
565.14/566.71 c bounds 4538071 >= -70 @ 564.089
565.14/566.71 c stratification level: 403202
566.74/568.32 c bounds 4534915 >= -70 @ 565.686
566.74/568.32 c stratification level: 401408
568.54/570.17 c bounds 4533575 >= -70 @ 567.53
568.54/570.17 c stratification level: 399618
569.62/571.20 c bounds 4523149 >= -70 @ 568.55
569.62/571.20 c stratification level: 397832
569.92/571.55 c bounds 4522313 >= -70 @ 568.901
569.92/571.55 c stratification level: 396050
570.22/571.87 c bounds 4517251 >= -70 @ 569.216
570.22/571.87 c stratification level: 394272
570.72/572.30 c bounds 4515561 >= -70 @ 569.648
570.72/572.30 c stratification level: 392498
571.43/573.06 c bounds 4514515 >= -70 @ 570.401
571.43/573.06 c stratification level: 390728
571.82/573.48 c bounds 4510493 >= -70 @ 570.819
571.82/573.48 c stratification level: 390224
572.02/573.67 c bounds 4509657 >= -70 @ 571.001
572.02/573.67 c stratification level: 388962
575.11/576.76 c #Conflicts: 35000 | #Constraints: 9198
575.11/576.76 c bounds 4509191 >= -70 @ 574.078
575.11/576.76 c stratification level: 387200
575.42/577.04 c bounds 4508355 >= -70 @ 574.357
575.42/577.04 c stratification level: 385442
575.61/577.22 c bounds 4504333 >= -70 @ 574.538
575.61/577.22 c stratification level: 383688
576.41/578.09 c bounds 4488331 >= -70 @ 575.398
576.41/578.09 c stratification level: 381938
583.79/585.43 c bounds 4480321 >= -70 @ 582.717
583.79/585.43 c stratification level: 380192
587.97/589.65 c #Conflicts: 36000 | #Constraints: 10203
587.97/589.65 c bounds 4472537 >= -70 @ 586.921
587.97/589.65 c stratification level: 378450
588.38/590.04 c bounds 4468477 >= -70 @ 587.308
588.38/590.04 c stratification level: 374978
590.67/592.31 c bounds 4464159 >= -70 @ 589.564
590.67/592.31 c stratification level: 373248
591.86/593.51 c bounds 4460889 >= -70 @ 590.763
591.86/593.51 c stratification level: 371522
592.16/593.88 c bounds 4460195 >= -70 @ 591.127
592.16/593.88 c stratification level: 370386
661.48/663.34 c #Conflicts: 37000 | #Constraints: 11208
661.48/663.34 c INPROCESSING
661.48/663.34 c GARBAGE COLLECT
661.48/663.34 c #Conflicts: 38000 | #Constraints: 8178
661.48/663.34 c #Conflicts: 39000 | #Constraints: 9178
661.48/663.34 c #Conflicts: 40000 | #Constraints: 10178
661.48/663.34 c #Conflicts: 41000 | #Constraints: 11178
661.48/663.34 c INPROCESSING
661.48/663.34 c GARBAGE COLLECT
661.48/663.34 c #Conflicts: 42000 | #Constraints: 7960
661.48/663.34 c bounds 4459637 >= -70 @ 660.277
661.48/663.34 c stratification level: 369800
661.68/663.50 c bounds 4458587 >= -70 @ 660.439
661.68/663.50 c stratification level: 368082
661.88/663.79 c bounds 4433087 >= -70 @ 660.728
661.88/663.79 c stratification level: 366368
662.68/664.55 c bounds 4431141 >= -70 @ 661.478
662.68/664.55 c stratification level: 362952
663.08/664.94 c bounds 4430463 >= -70 @ 661.862
663.08/664.94 c stratification level: 361250
663.38/665.25 c bounds 4429161 >= -70 @ 662.173
663.38/665.25 c stratification level: 359552
663.87/665.75 c bounds 4398787 >= -70 @ 662.669
663.87/665.75 c stratification level: 356168
664.67/666.53 c bounds 4398289 >= -70 @ 663.445
664.67/666.53 c stratification level: 354482
665.07/666.93 c bounds 4393189 >= -70 @ 663.844
665.07/666.93 c stratification level: 352800
665.47/667.36 c bounds 4384141 >= -70 @ 664.272
665.47/667.36 c stratification level: 351232
665.77/667.69 c bounds 4381421 >= -70 @ 664.6
665.77/667.69 c stratification level: 351122
665.97/667.85 c bounds 4373533 >= -70 @ 664.766
665.97/667.85 c stratification level: 349448
666.28/668.13 c bounds 4369879 >= -70 @ 665.038
666.28/668.13 c stratification level: 347778
666.57/668.49 c bounds 4351043 >= -70 @ 665.399
666.57/668.49 c stratification level: 346112
667.27/669.12 c bounds 4349795 >= -70 @ 666.015
667.27/669.12 c stratification level: 344450
667.87/669.72 c bounds 4349157 >= -70 @ 666.611
667.87/669.72 c stratification level: 342792
669.76/671.62 c #Conflicts: 43000 | #Constraints: 8976
669.76/671.62 c bounds 4329189 >= -70 @ 668.499
669.76/671.62 c stratification level: 341138
670.66/672.54 c bounds 4315793 >= -70 @ 669.42
670.66/672.54 c stratification level: 337842
671.26/673.17 c bounds 4310931 >= -70 @ 670.044
671.26/673.17 c stratification level: 336200
671.56/673.40 c bounds 4305309 >= -70 @ 670.271
671.56/673.40 c stratification level: 334562
671.86/673.79 c bounds 4301655 >= -70 @ 670.657
671.86/673.79 c stratification level: 332928
672.75/674.66 c bounds 4301401 >= -70 @ 671.527
672.75/674.66 c stratification level: 332750
672.96/674.84 c bounds 4301349 >= -70 @ 671.699
672.96/674.84 c stratification level: 331298
673.45/675.30 c bounds 4299725 >= -70 @ 672.159
673.45/675.30 c stratification level: 329672
673.55/675.47 c bounds 4298477 >= -70 @ 672.323
673.55/675.47 c stratification level: 328050
673.75/675.65 c bounds 4296573 >= -70 @ 672.508
673.75/675.65 c stratification level: 324818
674.05/675.94 c bounds 4292743 >= -70 @ 672.79
674.05/675.94 c stratification level: 323208
674.55/676.46 c bounds 4288661 >= -70 @ 673.312
674.55/676.46 c stratification level: 321602
674.75/676.69 c bounds 4282277 >= -70 @ 673.539
674.75/676.69 c stratification level: 320000
676.15/678.01 c bounds 4279075 >= -70 @ 674.855
676.15/678.01 c stratification level: 318402
676.25/678.19 c bounds 4278445 >= -70 @ 675.035
676.25/678.19 c stratification level: 316808
678.14/680.08 c bounds 4278273 >= -70 @ 676.913
678.14/680.08 c stratification level: 315218
830.03/832.36 c #Conflicts: 44000 | #Constraints: 9992
830.03/832.36 c #Conflicts: 45000 | #Constraints: 10992
830.03/832.36 c #Conflicts: 46000 | #Constraints: 11992
830.03/832.36 c INPROCESSING
830.03/832.36 c GARBAGE COLLECT
830.03/832.36 c #Conflicts: 47000 | #Constraints: 8544
830.03/832.36 c #Conflicts: 48000 | #Constraints: 9544
830.03/832.36 c #Conflicts: 49000 | #Constraints: 10544
830.03/832.36 c #Conflicts: 50000 | #Constraints: 11544
830.03/832.36 c #Conflicts: 51000 | #Constraints: 12544
830.03/832.36 c INPROCESSING
830.03/832.36 c GARBAGE COLLECT
830.03/832.36 c #Conflicts: 52000 | #Constraints: 8950
830.03/832.36 c #Conflicts: 53000 | #Constraints: 9950
830.03/832.36 c #Conflicts: 54000 | #Constraints: 10950
830.03/832.36 c #Conflicts: 55000 | #Constraints: 11950
830.03/832.36 c #Conflicts: 56000 | #Constraints: 12950
830.03/832.36 c INPROCESSING
830.03/832.36 c GARBAGE COLLECT
830.03/832.36 c bounds 4276613 >= -70 @ 828.482
830.03/832.36 c stratification level: 314928
1139.10/1142.27 c #Conflicts: 57000 | #Constraints: 9159
1139.10/1142.27 c #Conflicts: 58000 | #Constraints: 10159
1139.10/1142.27 c #Conflicts: 59000 | #Constraints: 11159
1139.10/1142.27 c #Conflicts: 60000 | #Constraints: 12159
1139.10/1142.27 c #Conflicts: 61000 | #Constraints: 13159
1139.10/1142.27 c INPROCESSING
1139.10/1142.27 c GARBAGE COLLECT
1139.10/1142.27 c #Conflicts: 62000 | #Constraints: 9156
1139.10/1142.27 c #Conflicts: 63000 | #Constraints: 10156
1139.10/1142.27 c #Conflicts: 64000 | #Constraints: 11156
1139.10/1142.27 c #Conflicts: 65000 | #Constraints: 12156
1139.10/1142.27 c #Conflicts: 66000 | #Constraints: 13156
1139.10/1142.27 c INPROCESSING
1139.10/1142.27 c GARBAGE COLLECT
1139.10/1142.27 c #Conflicts: 67000 | #Constraints: 8965
1139.10/1142.27 c #Conflicts: 68000 | #Constraints: 9965
1139.10/1142.27 c #Conflicts: 69000 | #Constraints: 10965
1139.10/1142.27 c #Conflicts: 70000 | #Constraints: 11965
1139.10/1142.27 c #Conflicts: 71000 | #Constraints: 12965
1139.10/1142.27 c #Conflicts: 72000 | #Constraints: 13965
1139.10/1142.27 c INPROCESSING
1139.10/1142.27 c GARBAGE COLLECT
1139.10/1142.27 c #Conflicts: 73000 | #Constraints: 9570
1139.10/1142.27 c #Conflicts: 74000 | #Constraints: 10570
1139.10/1142.27 c #Conflicts: 75000 | #Constraints: 11570
1139.10/1142.27 c #Conflicts: 76000 | #Constraints: 12570
1139.10/1142.27 c #Conflicts: 77000 | #Constraints: 13570
1139.10/1142.27 c bounds 4276613 >= 314858 @ 1113.48
1139.10/1142.27 c #Conflicts: 78000 | #Constraints: 14571
1139.10/1142.27 c INPROCESSING
1139.10/1142.27 c GARBAGE COLLECT
1139.10/1142.27 c finalizing WCE round: reformulating cores
1140.00/1143.11 c bounds 4265903 >= 314858 @ 1137.82
1140.00/1143.11 c bounds 4264879 >= 314858 @ 1137.97
1140.00/1143.11 c stratification level: 313936
1141.30/1144.44 c bounds 4263599 >= 314858 @ 1139.29
1141.30/1144.44 c stratification level: 313632
1143.59/1146.73 c bounds 4248433 >= 314858 @ 1141.58
1143.59/1146.73 c stratification level: 312050
1147.18/1150.32 c bounds 4248371 >= 314858 @ 1145.15
1147.18/1150.32 c stratification level: 310472
1147.38/1150.50 c bounds 4245131 >= 314858 @ 1145.33
1147.38/1150.50 c stratification level: 308898
1147.48/1150.67 c bounds 4243883 >= 314858 @ 1145.5
1147.48/1150.67 c stratification level: 307328
1315.43/1319.03 c #Conflicts: 79000 | #Constraints: 9980
1315.43/1319.03 c #Conflicts: 80000 | #Constraints: 10980
1315.43/1319.03 c #Conflicts: 81000 | #Constraints: 11980
1315.43/1319.03 c #Conflicts: 82000 | #Constraints: 12980
1315.43/1319.03 c #Conflicts: 83000 | #Constraints: 13980
1315.43/1319.03 c #Conflicts: 84000 | #Constraints: 14980
1315.43/1319.03 c INPROCESSING
1315.43/1319.03 c GARBAGE COLLECT
1315.43/1319.03 c #Conflicts: 85000 | #Constraints: 10192
1315.43/1319.03 c #Conflicts: 86000 | #Constraints: 11192
1315.43/1319.03 c #Conflicts: 87000 | #Constraints: 12192
1315.43/1319.03 c bounds 4243189 >= 314858 @ 1313.2
1315.43/1319.03 c stratification level: 305762
1315.63/1319.26 c bounds 4239813 >= 314858 @ 1313.43
1315.63/1319.26 c stratification level: 304200
1316.03/1319.68 c bounds 4238195 >= 314858 @ 1313.84
1316.03/1319.68 c stratification level: 302642
1316.43/1320.05 c bounds 4235721 >= 314858 @ 1314.21
1316.43/1320.05 c stratification level: 301088
1316.62/1320.29 c bounds 4233707 >= 314858 @ 1314.45
1316.62/1320.29 c stratification level: 299538
1318.12/1321.70 c bounds 4233489 >= 314858 @ 1315.85
1318.12/1321.70 c stratification level: 297992
1327.30/1331.00 c bounds 4227327 >= 314858 @ 1325.11
1327.30/1331.00 c stratification level: 297754
1327.60/1331.26 c bounds 4226825 >= 314858 @ 1325.36
1327.60/1331.26 c stratification level: 296450
1336.97/1340.64 c #Conflicts: 88000 | #Constraints: 13200
1336.97/1340.64 c bounds 4225461 >= 314858 @ 1334.7
1336.97/1340.64 c stratification level: 294912
1338.57/1342.27 c bounds 4219619 >= 314858 @ 1336.31
1338.57/1342.27 c stratification level: 293378
1338.87/1342.54 c bounds 4219117 >= 314858 @ 1336.58
1338.87/1342.54 c stratification level: 291848
3231.52/3240.35 c #Conflicts: 89000 | #Constraints: 14203
3231.52/3240.35 c #Conflicts: 90000 | #Constraints: 15203
3231.52/3240.35 c INPROCESSING
3231.52/3240.35 c GARBAGE COLLECT
3231.52/3240.35 c #Conflicts: 91000 | #Constraints: 10210
3231.52/3240.35 c #Conflicts: 92000 | #Constraints: 11210
3231.52/3240.35 c #Conflicts: 93000 | #Constraints: 12210
3231.52/3240.35 c #Conflicts: 94000 | #Constraints: 13210
3231.52/3240.35 c #Conflicts: 95000 | #Constraints: 14210
3231.52/3240.35 c bounds 4219117 >= 606706 @ 1458.46
3231.52/3240.35 c #Conflicts: 96000 | #Constraints: 15211
3231.52/3240.35 c INPROCESSING
3231.52/3240.35 c GARBAGE COLLECT
3231.52/3240.35 c #Conflicts: 97000 | #Constraints: 10004
3231.52/3240.35 c #Conflicts: 98000 | #Constraints: 11004
3231.52/3240.35 c #Conflicts: 99000 | #Constraints: 12004
3231.52/3240.35 c #Conflicts: 100000 | #Constraints: 13004
3231.52/3240.35 c #Conflicts: 101000 | #Constraints: 14004
3231.52/3240.35 c #Conflicts: 102000 | #Constraints: 15004
3231.52/3240.35 c #Conflicts: 103000 | #Constraints: 16004
3231.52/3240.35 c INPROCESSING
3231.52/3240.35 c GARBAGE COLLECT
3231.52/3240.35 c #Conflicts: 104000 | #Constraints: 10615
3231.52/3240.35 c #Conflicts: 105000 | #Constraints: 11615
3231.52/3240.35 c #Conflicts: 106000 | #Constraints: 12615
3231.52/3240.35 c #Conflicts: 107000 | #Constraints: 13615
3231.52/3240.35 c #Conflicts: 108000 | #Constraints: 14615
3231.52/3240.35 c #Conflicts: 109000 | #Constraints: 15615
3231.52/3240.35 c #Conflicts: 110000 | #Constraints: 16615
3231.52/3240.35 c INPROCESSING
3231.52/3240.35 c GARBAGE COLLECT
3231.52/3240.35 c #Conflicts: 111000 | #Constraints: 11017
3231.52/3240.35 c #Conflicts: 112000 | #Constraints: 12017
3231.52/3240.35 c #Conflicts: 113000 | #Constraints: 13017
3231.52/3240.35 c #Conflicts: 114000 | #Constraints: 14017
3231.52/3240.35 c #Conflicts: 115000 | #Constraints: 15017
3231.52/3240.35 c #Conflicts: 116000 | #Constraints: 16017
3231.52/3240.35 c #Conflicts: 117000 | #Constraints: 17017
3231.52/3240.35 c INPROCESSING
3231.52/3240.35 c GARBAGE COLLECT
3231.52/3240.35 c #Conflicts: 118000 | #Constraints: 11221
3231.52/3240.35 c #Conflicts: 119000 | #Constraints: 12221
3231.52/3240.35 c #Conflicts: 120000 | #Constraints: 13221
3231.52/3240.35 c #Conflicts: 121000 | #Constraints: 14221
3231.52/3240.35 c #Conflicts: 122000 | #Constraints: 15221
3231.52/3240.35 c #Conflicts: 123000 | #Constraints: 16221
3231.52/3240.35 c #Conflicts: 124000 | #Constraints: 17221
3231.52/3240.35 c INPROCESSING
3231.52/3240.35 c GARBAGE COLLECT
3231.52/3240.35 c #Conflicts: 125000 | #Constraints: 11203
3231.52/3240.35 c #Conflicts: 126000 | #Constraints: 12203
3231.52/3240.35 c #Conflicts: 127000 | #Constraints: 13203
3231.52/3240.35 c #Conflicts: 128000 | #Constraints: 14203
3231.52/3240.35 c #Conflicts: 129000 | #Constraints: 15203
3231.52/3240.35 c #Conflicts: 130000 | #Constraints: 16203
3231.52/3240.35 c #Conflicts: 131000 | #Constraints: 17203
3231.52/3240.35 c INPROCESSING
3231.52/3240.35 c GARBAGE COLLECT
3231.52/3240.35 c #Conflicts: 132000 | #Constraints: 11000
3231.52/3240.35 c #Conflicts: 133000 | #Constraints: 12000
3231.52/3240.35 c #Conflicts: 134000 | #Constraints: 13000
3231.52/3240.35 c #Conflicts: 135000 | #Constraints: 14000
3231.52/3240.35 c #Conflicts: 136000 | #Constraints: 15000
3231.52/3240.35 c #Conflicts: 137000 | #Constraints: 16000
3231.52/3240.35 c #Conflicts: 138000 | #Constraints: 17000
3231.52/3240.35 c #Conflicts: 139000 | #Constraints: 18000
3231.52/3240.35 c INPROCESSING
3231.52/3240.35 c GARBAGE COLLECT
3231.52/3240.35 c #Conflicts: 140000 | #Constraints: 11588
3231.52/3240.35 c #Conflicts: 141000 | #Constraints: 12588
3231.52/3240.35 c #Conflicts: 142000 | #Constraints: 13588
3231.52/3240.35 c #Conflicts: 143000 | #Constraints: 14588
3231.52/3240.35 c #Conflicts: 144000 | #Constraints: 15588
3231.52/3240.35 c #Conflicts: 145000 | #Constraints: 16588
3231.52/3240.35 c #Conflicts: 146000 | #Constraints: 17588
3231.52/3240.35 c #Conflicts: 147000 | #Constraints: 18588
3231.52/3240.35 c INPROCESSING
3231.52/3240.35 c GARBAGE COLLECT
3231.52/3240.35 c #Conflicts: 148000 | #Constraints: 12003
3231.52/3240.35 c #Conflicts: 149000 | #Constraints: 13003
3231.52/3240.35 c #Conflicts: 150000 | #Constraints: 14003
3231.52/3240.35 c #Conflicts: 151000 | #Constraints: 15003
3231.52/3240.35 c #Conflicts: 152000 | #Constraints: 16003
3231.52/3240.35 c #Conflicts: 153000 | #Constraints: 17003
3231.52/3240.35 c #Conflicts: 154000 | #Constraints: 18003
3231.52/3240.35 c #Conflicts: 155000 | #Constraints: 19003
3231.52/3240.35 c INPROCESSING
3231.52/3240.35 c GARBAGE COLLECT
3231.52/3240.35 c #Conflicts: 156000 | #Constraints: 12220
3231.52/3240.35 c #Conflicts: 157000 | #Constraints: 13220
3231.52/3240.35 c #Conflicts: 158000 | #Constraints: 14220
3231.52/3240.35 c #Conflicts: 159000 | #Constraints: 15220
3231.52/3240.35 c #Conflicts: 160000 | #Constraints: 16220
3600.04/3609.81 c #Conflicts: 161000 | #Constraints: 17220
3600.04/3609.81 c #Conflicts: 162000 | #Constraints: 18220
3600.04/3609.81 c #Conflicts: 163000 | #Constraints: 19220
3600.04/3609.81 c INPROCESSING
3600.04/3609.81 c GARBAGE COLLECT
3600.04/3609.81 c #Conflicts: 164000 | #Constraints: 12197
3600.04/3609.81 c #Conflicts: 165000 | #Constraints: 13197
3600.04/3609.81 c #Conflicts: 166000 | #Constraints: 14197
3600.04/3609.81 c #Conflicts: 167000 | #Constraints: 15197
3600.04/3609.81 c #Conflicts: 168000 | #Constraints: 16197
3600.04/3609.81 c #Conflicts: 169000 | #Constraints: 17197
3600.04/3609.81 c #Conflicts: 170000 | #Constraints: 18197
3600.04/3609.81 c #Conflicts: 171000 | #Constraints: 19197
3600.04/3609.81 c INPROCESSING
3600.04/3609.81 c GARBAGE COLLECT
3600.04/3609.81 c #Conflicts: 172000 | #Constraints: 11993
3600.04/3609.81 c #Conflicts: 173000 | #Constraints: 12993
3600.04/3609.81 c #Conflicts: 174000 | #Constraints: 13993
3600.04/3609.81 c #Conflicts: 175000 | #Constraints: 14993
3600.04/3609.81 c Program interrupted by user.
3600.04/3609.81 c cpu time 3595.85 s
3600.04/3609.81 c deterministic time 382561473451 3.83e+11
3600.04/3609.81 c optimization time 71.4606 s
3600.04/3609.81 c total solve time 3225.18 s
3600.04/3609.81 c core-guided solve time 3225.18 s
3600.04/3609.81 c propagation time 2582.38 s
3600.04/3609.81 c conflict analysis time 656.366 s
3600.04/3609.81 c propagations 40946965
3600.04/3609.81 c resolve steps 4198845
3600.04/3609.81 c decisions 2380466
3600.04/3609.81 c conflicts 175073
3600.04/3609.81 c restarts 481
3600.04/3609.81 c inprocessing phases 33
3600.04/3609.81 c input clauses 2556
3600.04/3609.81 c input cardinalities 8
3600.04/3609.81 c input general constraints 2800
3600.04/3609.81 c input average constraint length 108.35
3600.04/3609.81 c input average constraint degree 56446244.20
3600.04/3609.81 c learned clauses 24251
3600.04/3609.81 c learned cardinalities 89
3600.04/3609.81 c learned general constraints 150732
3600.04/3609.81 c learned average constraint length 2083.82
3600.04/3609.81 c learned average constraint degree 1929686643.33
3600.04/3609.81 c watched constraints 30953
3600.04/3609.81 c counting constraints 122579
3600.04/3609.81 c gcd simplifications 2589
3600.04/3609.81 c detected cardinalities 1
3600.04/3609.81 c weakened non-implied lits 12213121
3600.04/3609.81 c weakened non-implying lits 86431
3600.04/3609.81 c original variables 9940
3600.04/3609.81 c clausal propagations 28798807
3600.04/3609.81 c cardinality propagations 291777
3600.04/3609.81 c watched propagations 844351
3600.04/3609.81 c counting propagations 10916736
3600.04/3609.81 c watch lookups 47102453237
3600.04/3609.81 c watch backjump lookups 46437601914
3600.04/3609.81 c watch checks 163618827067
3600.04/3609.81 c propagation checks 124411400504
3600.04/3609.81 c constraint additions 904365558
3600.04/3609.81 c trail pops 43497739
3600.04/3609.81 c formula constraints 5188
3600.04/3609.81 c learned constraints 175072
3600.04/3609.81 c bound constraints 174
3600.04/3609.81 c core-guided constraints 2
3600.04/3609.81 c encountered formula constraints 3717949
3600.04/3609.81 c encountered learned constraints 654117
3600.04/3609.81 c encountered bound constraints 781
3600.04/3609.81 c encountered core-guided constraints 1071
3600.04/3609.81 c LP total time 0 s
3600.04/3609.81 c LP solve time 0 s
3600.04/3609.81 c LP constraints added 0
3600.04/3609.81 c LP constraints removed 0
3600.04/3609.81 c LP pivots internal 0
3600.04/3609.81 c LP pivots root 0
3600.04/3609.81 c LP calls 0
3600.04/3609.81 c LP optimalities 0
3600.04/3609.81 c LP no pivot count 0
3600.04/3609.81 c LP infeasibilities 0
3600.04/3609.81 c LP valid Farkas constraints 0
3600.04/3609.81 c LP learned Farkas constraints 0
3600.04/3609.81 c LP basis resets 0
3600.04/3609.81 c LP cycling count 0
3600.04/3609.81 c LP singular count 0
3600.04/3609.81 c LP no primal count 0
3600.04/3609.81 c LP no farkas count 0
3600.04/3609.81 c LP other issue count 0
3600.04/3609.81 c LP Gomory cuts 0
3600.04/3609.81 c LP learned cuts 0
3600.04/3609.81 c LP deleted cuts 0
3600.04/3609.81 c LP encountered Gomory constraints 0
3600.04/3609.81 c LP encountered Farkas constraints 0
3600.04/3609.81 c LP encountered learned Farkas constraints 0
3600.04/3609.81 c CG auxiliary variables introduced 1
3600.04/3609.81 c CG solutions found 170
3600.04/3609.81 c CG cores constructed 2
3600.04/3609.81 c CG core cardinality constraints returned 0
3600.04/3609.81 c CG unit cores 0
3600.04/3609.81 c CG single cores 2
3600.04/3609.81 c CG blocks removed during cardinality reduction 0
3600.04/3609.81 c CG first core best 0
3600.04/3609.81 c CG decision core best 0
3600.04/3609.81 c CG core reduction tie 0
3600.04/3609.81 c CG core degree average 1.00
3600.04/3609.81 c CG core slack average 474.00
3600.04/3609.81 c CG exhausted 0
3600.04/3609.81 c CG exhaust time 0.680531 s
3600.04/3609.81 c CG trimmed 0
3600.04/3609.81 c CG trim time 0.070271 s
3600.04/3609.81 c CG minimized 0
3600.04/3609.81 c CG minimize time 0 s
3600.04/3609.81 c CG am1 prop time 0.001941 s
3600.04/3609.81 c CG # am1s reformulated 0
3600.04/3609.81 c CG lower bound derived from am1s 0
3600.04/3609.81 c CG # clausal cores 2
3600.04/3609.81 c CG # cardinality cores 0
3600.04/3609.81 c CG # pb cores 0
3600.04/3609.81 c CG # pb reforms 0
3600.04/3609.81 c CG # cores discarded because of pb reform 0
3600.04/3609.81 d LOWERBOUND 606706
3600.04/3609.81 d NCORES 2
3600.04/3609.81 d NPBCORES 0
3600.04/3609.81 d NPBREFORM 0
3600.04/3609.81 d NTRIMMED 0
3600.04/3609.81 d NEXHAUSTED 0
3600.04/3609.81 d NAM1S 0
3600.04/3609.81 d AM1LB 0
3600.04/3609.81 c [Papilo Statistics]
3600.04/3609.81 c prepro time 0.0265365s
3600.04/3609.81 c # tsx applied 12355
3600.04/3609.81 c # tsx conflicts 0
3600.04/3609.81 c # bound changes 140
3600.04/3609.81 c # side changes 2415
3600.04/3609.81 c # coef changes 31395
3600.04/3609.81 c # rounds 3
3600.04/3609.81 c # deted vars 4970
3600.04/3609.81 c # deted constrs 9662
3600.04/3609.81 c # consecutive rounds of only bound changes 0
3600.04/3609.81 c [STEP] postprocessing with Papilo
3600.04/3609.81 o 4219117
3600.04/3609.81 s SATISFIABLE
3600.04/3609.81 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: 63708 MiB (62703 MiB free)
memory of node 1: 64465 MiB (62919 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503827-1751447326/watcher-4503827-1751447326 -o /tmp/evaluation-result-4503827-1751447326/solver-4503827-1751447326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751447326-63810 --watchdog 3760 mixed-bag HOME/instance-4503827-1751447326.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=63855, runsolver pid=63849
[startup+0.10006 s]*
/proc/loadavg: 1.07 1.18 1.52 5/264 63868
/proc/meminfo: memFree=128601360/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=94464 memory=21780 CPUtime=0.04 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 4487 0 3 0 4 0 0 0 20 0 1 0 60410474 96731136 5445 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 23616 5445 2144 2842 0 5849 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 94464 KiB
Current children cumulated memory: 21780 KiB
[startup+0.205643 s]*
/proc/loadavg: 1.07 1.18 1.52 5/264 63868
/proc/meminfo: memFree=128505916/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=140912 memory=66792 CPUtime=0.15 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 16039 0 3 0 13 2 0 0 20 0 1 0 60410474 144293888 16698 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 35228 16698 4096 2842 0 16922 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 140912 KiB
Current children cumulated memory: 66792 KiB
[startup+0.305522 s]*
/proc/loadavg: 1.07 1.18 1.52 5/264 63868
/proc/meminfo: memFree=128460304/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=142804 memory=68072 CPUtime=0.25 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 16386 0 3 0 23 2 0 0 20 0 1 0 60410474 146231296 17018 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 35701 17018 4096 2842 0 17395 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 142804 KiB
Current children cumulated memory: 68072 KiB
[startup+0.700155 s]
/proc/loadavg: 1.07 1.18 1.52 5/264 63868
/proc/meminfo: memFree=128397552/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=187428 memory=102376 CPUtime=0.64 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 25528 0 3 0 60 4 0 0 20 0 1 0 60410474 191926272 25594 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 46857 25594 4288 2842 0 28551 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 187428 KiB
Current children cumulated memory: 102376 KiB
[startup+1.50015 s]
/proc/loadavg: 1.07 1.18 1.52 5/264 63868
/proc/meminfo: memFree=128362144/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=189256 memory=103912 CPUtime=1.44 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 25926 0 3 0 140 4 0 0 20 0 1 0 60410474 193798144 25978 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 47314 25978 4288 2842 0 29008 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 189256 KiB
Current children cumulated memory: 103912 KiB
[startup+3.10529 s]
/proc/loadavg: 1.39 1.24 1.54 5/264 63868
/proc/meminfo: memFree=128187604/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=213300 memory=127208 CPUtime=3.04 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 31749 0 3 0 299 5 0 0 20 0 1 0 60410474 218419200 31802 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 53325 31802 4288 2842 0 35019 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 213300 KiB
Current children cumulated memory: 127208 KiB
[startup+6.30017 s]
/proc/loadavg: 1.39 1.24 1.54 5/264 63868
/proc/meminfo: memFree=127061696/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=222180 memory=136040 CPUtime=6.22 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 33968 0 3 0 617 5 0 0 20 0 1 0 60410474 227512320 34010 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 55545 34010 4288 2842 0 37239 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 222180 KiB
Current children cumulated memory: 136040 KiB
[startup+12.7002 s]
/proc/loadavg: 1.79 1.33 1.57 5/264 63868
/proc/meminfo: memFree=126018428/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=231016 memory=144232 CPUtime=12.62 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 36095 0 3 0 1256 6 0 0 20 0 1 0 60410474 236560384 36058 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 57754 36058 4288 2842 0 39448 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 231016 KiB
Current children cumulated memory: 144232 KiB
[startup+25.5002 s]
/proc/loadavg: 2.13 1.42 1.59 5/264 63868
/proc/meminfo: memFree=123492688/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=257836 memory=170472 CPUtime=25.37 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 42690 0 3 0 2531 6 0 0 20 0 1 0 60410474 264024064 42618 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 64459 42618 4288 2842 0 46153 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 257836 KiB
Current children cumulated memory: 170472 KiB
[startup+51.1054 s]
/proc/loadavg: 2.85 1.64 1.66 5/264 63868
/proc/meminfo: memFree=123548396/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=257836 memory=170600 CPUtime=50.91 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 42695 0 3 0 5085 6 0 0 20 0 1 0 60410474 264024064 42650 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 64459 42650 4288 2842 0 46153 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 257836 KiB
Current children cumulated memory: 170600 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.06 1.81 4/262 63910
/proc/meminfo: memFree=123613396/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=257836 memory=170728 CPUtime=101.98 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 42730 0 3 0 10191 7 0 0 20 0 1 0 60410474 264024064 42682 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 64459 42682 4288 2842 0 46153 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 257836 KiB
Current children cumulated memory: 170728 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.43 1.95 5/264 63917
/proc/meminfo: memFree=123426728/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=264460 memory=179816 CPUtime=161.8 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 44419 0 3 0 16173 7 0 0 20 0 1 0 60410474 270807040 44954 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 66115 44954 4288 2842 0 47809 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 264460 KiB
Current children cumulated memory: 179816 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.75 2.09 5/264 63963
/proc/meminfo: memFree=123288968/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=264780 memory=183272 CPUtime=221.63 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 44556 0 3 0 22155 8 0 0 20 0 1 0 60410474 271134720 45818 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 66195 45818 4288 2842 0 47889 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 264780 KiB
Current children cumulated memory: 183272 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.00 2.22 5/262 63965
/proc/meminfo: memFree=123241092/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=282728 memory=213084 CPUtime=281.48 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 49619 0 3 0 28138 10 0 0 20 0 1 0 60410474 289513472 53271 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 70682 53271 4288 2842 0 52376 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 282728 KiB
Current children cumulated memory: 213084 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.21 2.34 5/263 63968
/proc/meminfo: memFree=126312508/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=386528 memory=280596 CPUtime=341.32 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 52590 0 3 0 34095 37 0 0 20 0 1 0 60410474 395804672 70149 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 96632 70149 4480 2842 0 78326 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 386528 KiB
Current children cumulated memory: 280596 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.37 2.46 5/263 63970
/proc/meminfo: memFree=126159800/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=399704 memory=311036 CPUtime=401.16 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 54595 0 3 0 40057 59 0 0 20 0 1 0 60410474 409296896 77759 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 99926 77759 4480 2842 0 81620 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 399704 KiB
Current children cumulated memory: 311036 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.51 2.56 5/264 63977
/proc/meminfo: memFree=125919744/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=434544 memory=349320 CPUtime=461.01 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 60160 0 3 0 46024 77 0 0 20 0 1 0 60410474 444973056 87330 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 108636 87330 4480 2842 0 90330 0
################
# More data... #
################
Current children cumulated memory: 559724 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/265 64108
/proc/meminfo: memFree=121699024/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=811692 memory=559724 CPUtime=2854.56 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 91614 0 3 0 285097 359 0 0 20 0 1 0 60410474 831172608 139931 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 202923 139931 4480 2842 0 184617 0
Current children cumulated CPU time: 2854.56 s
Current children cumulated vsize: 811692 KiB
Current children cumulated memory: 559724 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/264 64110
/proc/meminfo: memFree=121658848/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=811692 memory=561900 CPUtime=2914.39 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 91624 0 3 0 291077 362 0 0 20 0 1 0 60410474 831172608 140475 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 202923 140475 4480 2842 0 184617 0
Current children cumulated CPU time: 2914.39 s
Current children cumulated vsize: 811692 KiB
Current children cumulated memory: 561900 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/264 64113
/proc/meminfo: memFree=121588560/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=811692 memory=590956 CPUtime=2974.23 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 91633 0 3 0 297053 370 0 0 20 0 1 0 60410474 831172608 147739 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 202923 147739 4480 2842 0 184617 0
Current children cumulated CPU time: 2974.23 s
Current children cumulated vsize: 811692 KiB
Current children cumulated memory: 590956 KiB
[startup+3042.3 s]
/proc/loadavg: 4.27 4.15 4.04 5/264 64117
/proc/meminfo: memFree=121556828/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=811692 memory=620652 CPUtime=3034.07 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 91649 0 3 0 303033 374 0 0 20 0 1 0 60410474 831172608 155163 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 202923 155163 4480 2842 0 184617 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 811692 KiB
Current children cumulated memory: 620652 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.15 4.04 5/264 64119
/proc/meminfo: memFree=121562056/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=811692 memory=620652 CPUtime=3093.89 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 91689 0 3 0 309009 380 0 0 20 0 1 0 60410474 831172608 155163 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 202923 155163 4480 2842 0 184617 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 811692 KiB
Current children cumulated memory: 620652 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.04 5/264 64132
/proc/meminfo: memFree=121402508/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=812204 memory=621036 CPUtime=3153.72 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 91794 0 3 0 314987 385 0 0 20 0 1 0 60410474 831696896 155259 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 203051 155259 4480 2842 0 184745 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 812204 KiB
Current children cumulated memory: 621036 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.04 5/264 64134
/proc/meminfo: memFree=121407352/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=812204 memory=621036 CPUtime=3213.57 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 91794 0 3 0 320968 389 0 0 20 0 1 0 60410474 831696896 155259 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 203051 155259 4480 2842 0 184745 0
Current children cumulated CPU time: 3213.57 s
Current children cumulated vsize: 812204 KiB
Current children cumulated memory: 621036 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.05 5/264 64136
/proc/meminfo: memFree=121267040/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=812204 memory=621036 CPUtime=3273.41 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 91888 0 3 0 326948 393 0 0 20 0 1 0 60410474 831696896 155259 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 203051 155259 4480 2842 0 184745 0
Current children cumulated CPU time: 3273.41 s
Current children cumulated vsize: 812204 KiB
Current children cumulated memory: 621036 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/264 64139
/proc/meminfo: memFree=121238856/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=824712 memory=640248 CPUtime=3333.26 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 93652 0 3 0 332928 398 0 0 20 0 1 0 60410474 844505088 160062 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 206178 160062 4480 2842 0 187872 0
Current children cumulated CPU time: 3333.26 s
Current children cumulated vsize: 824712 KiB
Current children cumulated memory: 640248 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/264 64141
/proc/meminfo: memFree=121239696/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=825132 memory=640504 CPUtime=3393.1 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 93711 0 3 0 338905 405 0 0 20 0 1 0 60410474 844935168 160126 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 206283 160126 4480 2842 0 187977 0
Current children cumulated CPU time: 3393.1 s
Current children cumulated vsize: 825132 KiB
Current children cumulated memory: 640504 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/264 64148
/proc/meminfo: memFree=121192208/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=825132 memory=640504 CPUtime=3452.94 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 93711 0 3 0 344883 411 0 0 20 0 1 0 60410474 844935168 160126 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 206283 160126 4480 2842 0 187977 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 825132 KiB
Current children cumulated memory: 640504 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/264 64150
/proc/meminfo: memFree=121193348/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=825132 memory=640504 CPUtime=3512.77 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 93711 0 3 0 350863 414 0 0 20 0 1 0 60410474 844935168 160126 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 206283 160126 4480 2842 0 187977 0
Current children cumulated CPU time: 3512.77 s
Current children cumulated vsize: 825132 KiB
Current children cumulated memory: 640504 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/264 64152
/proc/meminfo: memFree=121199500/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=825388 memory=640760 CPUtime=3572.61 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 93761 0 3 0 356843 418 0 0 20 0 1 0 60410474 845197312 160190 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 206347 160190 4480 2842 0 188041 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 825388 KiB
Current children cumulated memory: 640760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.10 4.12 4.06 5/264 64155
/proc/meminfo: memFree=121094108/131249996 swapFree=33005272/33010684
[pid=63855] ppid=63849 vsize=825388 memory=640760 CPUtime=3600.04 cores=4,6
/proc/63855/stat : 63855 (mixed-bag) R 63849 63855 63799 0 -1 4194304 93761 0 3 0 359584 420 0 0 20 0 1 0 60410474 845197312 160190 18446744073709551615 4235264 15874749 140723657467312 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26189824 140723657472412 140723657472489 140723657472489 140723657478091 0
/proc/63855/statm: 206347 160190 4480 2842 0 188041 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 825388 KiB
Current children cumulated memory: 640760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.82 s]
# the end of solver process 63855 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.86 s, system=4.20793 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.82
CPU time (s): 3600.07
CPU user time (s): 3595.86
CPU system time (s): 4.20793
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 825388
Max. memory (cumulated for all children) (KiB): 640760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.86
system time used= 4.20793
maximum resident set size= 643576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94375
page faults= 3
swaps= 0
block input operations= 544
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253
involuntary context switches= 2040
# summary of solver processes directly reported to runsolver:
# pid: 63855
# total CPU time (s): 3600.07
# total CPU user time (s): 3595.86
# total CPU system time (s): 4.20793
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87414 second user time and 15.8886 second system time
The end
Begin job on nodeC023 at 2025-07-02 11:08:46
IDJOB=4503827
IDBENCH=155605
IDSOLVER=3340
FILE ID=nodeC023/4503827-1751447326
RUNJOBID= nodeC023-1751447326-63810
SLURM_JOB_ID= 9598425
Free space on /tmp= 431956 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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 -w /tmp/evaluation-result-4503827-1751447326/watcher-4503827-1751447326 -o /tmp/evaluation-result-4503827-1751447326/solver-4503827-1751447326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751447326-63810 --watchdog 3760 mixed-bag HOME/instance-4503827-1751447326.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=1057297440
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.910
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.909
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3601.077
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3600.579
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3576.669
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3597.018
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.901
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.888
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128620124 kB
MemAvailable: 129765432 kB
Buffers: 1328 kB
Cached: 1942908 kB
SwapCached: 372 kB
Active: 252516 kB
Inactive: 1772216 kB
Active(anon): 39460 kB
Inactive(anon): 54520 kB
Active(file): 213056 kB
Inactive(file): 1717696 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 111744 kB
Writeback: 0 kB
AnonPages: 83200 kB
Mapped: 99036 kB
Shmem: 13440 kB
KReclaimable: 107588 kB
Slab: 195708 kB
SReclaimable: 107588 kB
SUnreclaim: 88120 kB
KernelStack: 3956 kB
PageTables: 2480 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 340132 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150344 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431844 MiB
End job on nodeC023 at 2025-07-02 12:08:56