0.00/0.03 c RoundingSat 2
0.00/0.03 c branch
0.00/0.03 c commit
0.00/0.03 c [STEP] parsing instance
1.55/1.62 c [STEP] solving
1.55/1.62 c #variables 10000 #constraints 656900
1.55/1.62 c SMALL=int, LARGE=long long
1.55/1.62 c bounds - >= 0 @ 1.1628
1.55/1.62 c stratification level: 98
1.75/1.86 c bounds 7166 >= 0 @ 1.38336
1.75/1.86 c stratification level: 97
1.75/1.86 c bounds 7149 >= 0 @ 1.38838
1.75/1.86 c stratification level: 96
1.75/1.87 c bounds 6681 >= 0 @ 1.39574
1.75/1.87 c stratification level: 95
1.75/1.88 c bounds 6570 >= 0 @ 1.40018
1.75/1.88 c stratification level: 94
1.96/2.04 c bounds 6552 >= 0 @ 1.54876
1.96/2.04 c stratification level: 93
2.06/2.12 c bounds 6547 >= 0 @ 1.63187
2.06/2.12 c stratification level: 92
2.06/2.13 c bounds 6483 >= 0 @ 1.6374
2.06/2.13 c stratification level: 91
2.06/2.14 c bounds 6417 >= 0 @ 1.64064
2.06/2.14 c stratification level: 90
2.06/2.14 c bounds 6399 >= 0 @ 1.64593
2.06/2.14 c stratification level: 89
2.06/2.15 c bounds 6283 >= 0 @ 1.6523
2.06/2.15 c stratification level: 88
2.06/2.15 c bounds 6247 >= 0 @ 1.65767
2.06/2.15 c stratification level: 87
2.06/2.16 c bounds 6089 >= 0 @ 1.66354
2.06/2.16 c stratification level: 86
2.06/2.17 c bounds 6078 >= 0 @ 1.67105
2.06/2.17 c stratification level: 85
2.06/2.18 c bounds 5919 >= 0 @ 1.67731
2.06/2.18 c stratification level: 84
2.06/2.19 c bounds 5849 >= 0 @ 1.68176
2.06/2.19 c stratification level: 83
2.06/2.19 c bounds 5810 >= 0 @ 1.68812
2.06/2.19 c stratification level: 82
2.16/2.20 c bounds 5548 >= 0 @ 1.69262
2.16/2.20 c stratification level: 81
2.16/2.21 c bounds 5528 >= 0 @ 1.69903
2.16/2.21 c stratification level: 80
2.16/2.22 c bounds 5512 >= 0 @ 1.70437
2.16/2.22 c stratification level: 79
2.16/2.22 c bounds 5065 >= 0 @ 1.71188
2.16/2.22 c stratification level: 78
2.16/2.23 c bounds 4907 >= 0 @ 1.71865
2.16/2.23 c stratification level: 77
2.26/2.32 c bounds 4896 >= 0 @ 1.80519
2.26/2.32 c stratification level: 76
2.26/2.33 c bounds 4718 >= 0 @ 1.81019
2.26/2.33 c stratification level: 75
2.26/2.34 c bounds 4671 >= 0 @ 1.81946
2.26/2.34 c stratification level: 74
2.26/2.36 c bounds 4649 >= 0 @ 1.83263
2.26/2.36 c stratification level: 73
2.26/2.37 c bounds 4604 >= 0 @ 1.83814
2.26/2.37 c stratification level: 72
2.26/2.38 c bounds 4532 >= 0 @ 1.84457
2.26/2.38 c stratification level: 71
2.26/2.39 c bounds 4484 >= 0 @ 1.85347
2.26/2.39 c stratification level: 70
2.26/2.39 c bounds 4318 >= 0 @ 1.8604
2.26/2.39 c stratification level: 69
2.35/2.41 c bounds 4312 >= 0 @ 1.87112
2.35/2.41 c stratification level: 68
2.35/2.42 c bounds 4244 >= 0 @ 1.87683
2.35/2.42 c stratification level: 67
2.35/2.43 c bounds 4190 >= 0 @ 1.88212
2.35/2.43 c stratification level: 66
2.35/2.43 c bounds 4184 >= 0 @ 1.88784
2.35/2.43 c stratification level: 65
2.35/2.45 c bounds 4010 >= 0 @ 1.90273
2.35/2.45 c stratification level: 64
2.35/2.46 c bounds 3981 >= 0 @ 1.90875
2.35/2.46 c stratification level: 63
2.35/2.47 c bounds 3856 >= 0 @ 1.91369
2.35/2.47 c stratification level: 62
2.35/2.48 c bounds 3823 >= 0 @ 1.91763
2.35/2.48 c stratification level: 61
2.35/2.49 c bounds 3804 >= 0 @ 1.92283
2.35/2.49 c stratification level: 60
2.35/2.50 c bounds 3802 >= 0 @ 1.9306
2.35/2.50 c stratification level: 59
2.45/2.51 c bounds 3638 >= 0 @ 1.93544
2.45/2.51 c stratification level: 58
2.45/2.52 c bounds 3552 >= 0 @ 1.94243
2.45/2.52 c stratification level: 57
2.45/2.53 c bounds 3505 >= 0 @ 1.95046
2.45/2.53 c stratification level: 56
2.45/2.54 c bounds 3414 >= 0 @ 1.95908
2.45/2.54 c stratification level: 55
2.45/2.55 c bounds 3406 >= 0 @ 1.96742
2.45/2.55 c stratification level: 54
2.45/2.56 c bounds 3335 >= 0 @ 1.97778
2.45/2.56 c stratification level: 53
2.45/2.57 c bounds 3229 >= 0 @ 1.9847
2.45/2.57 c stratification level: 52
2.45/2.58 c bounds 3224 >= 0 @ 1.99063
2.45/2.58 c stratification level: 51
2.45/2.59 c bounds 3193 >= 0 @ 1.99862
2.45/2.59 c stratification level: 50
2.55/2.60 c bounds 2962 >= 0 @ 2.0057
2.55/2.60 c stratification level: 49
2.55/2.63 c bounds 2502 >= 0 @ 2.02259
2.55/2.63 c stratification level: 48
2.55/2.64 c bounds 2388 >= 0 @ 2.0287
2.55/2.64 c stratification level: 47
2.55/2.65 c bounds 2367 >= 0 @ 2.0341
2.55/2.65 c stratification level: 46
2.55/2.66 c bounds 2321 >= 0 @ 2.04067
2.55/2.66 c stratification level: 45
2.55/2.67 c bounds 2291 >= 0 @ 2.04719
2.55/2.67 c stratification level: 44
2.55/2.68 c bounds 2237 >= 0 @ 2.05392
2.55/2.68 c stratification level: 43
2.55/2.69 c bounds 2183 >= 0 @ 2.0614
2.55/2.69 c stratification level: 42
2.65/2.71 c bounds 2158 >= 0 @ 2.07101
2.65/2.71 c stratification level: 41
2.65/2.72 c bounds 2026 >= 0 @ 2.07902
2.65/2.72 c stratification level: 40
2.65/2.73 c bounds 1986 >= 0 @ 2.08591
2.65/2.73 c stratification level: 39
2.65/2.74 c bounds 1983 >= 0 @ 2.08966
2.65/2.74 c stratification level: 38
2.65/2.75 c bounds 1887 >= 0 @ 2.09609
2.65/2.75 c stratification level: 37
2.65/2.76 c bounds 1761 >= 0 @ 2.10122
2.65/2.76 c stratification level: 36
2.65/2.77 c bounds 1750 >= 0 @ 2.10684
2.65/2.77 c stratification level: 35
2.65/2.78 c bounds 1715 >= 0 @ 2.11188
2.65/2.78 c stratification level: 34
2.75/2.80 c bounds 1706 >= 0 @ 2.12518
2.75/2.80 c stratification level: 33
2.75/2.82 c bounds 1640 >= 0 @ 2.1405
2.75/2.82 c stratification level: 32
2.75/2.83 c bounds 1612 >= 0 @ 2.14996
2.75/2.83 c stratification level: 31
2.75/2.85 c bounds 1570 >= 0 @ 2.15645
2.75/2.85 c stratification level: 30
2.75/2.86 c bounds 1533 >= 0 @ 2.16285
2.75/2.86 c stratification level: 29
2.75/2.87 c bounds 1516 >= 0 @ 2.16869
2.75/2.87 c stratification level: 28
2.75/2.88 c bounds 1464 >= 0 @ 2.17521
2.75/2.88 c stratification level: 27
2.85/2.90 c bounds 1459 >= 0 @ 2.18309
2.85/2.90 c stratification level: 26
2.85/2.91 c bounds 1410 >= 0 @ 2.18875
2.85/2.91 c stratification level: 25
2.85/2.92 c bounds 1405 >= 0 @ 2.19413
2.85/2.92 c stratification level: 24
2.85/2.93 c bounds 1256 >= 0 @ 2.20108
2.85/2.93 c stratification level: 23
2.85/2.95 c bounds 1183 >= 0 @ 2.20602
2.85/2.95 c stratification level: 22
2.85/2.96 c bounds 1144 >= 0 @ 2.21089
2.85/2.96 c stratification level: 21
2.85/2.97 c bounds 1062 >= 0 @ 2.21677
2.85/2.97 c stratification level: 20
2.85/3.00 c bounds 1030 >= 0 @ 2.23584
2.85/3.00 c stratification level: 19
2.95/3.01 c bounds 1027 >= 0 @ 2.24106
2.95/3.01 c stratification level: 18
2.95/3.03 c bounds 1026 >= 0 @ 2.25438
2.95/3.03 c stratification level: 17
2.95/3.06 c bounds 1025 >= 0 @ 2.27917
2.95/3.06 c stratification level: 16
2.95/3.08 c bounds 885 >= 0 @ 2.29245
2.95/3.08 c stratification level: 15
2.95/3.09 c bounds 872 >= 0 @ 2.3011
2.95/3.09 c stratification level: 14
3.05/3.14 c bounds 871 >= 0 @ 2.34251
3.05/3.14 c stratification level: 13
3.05/3.19 c bounds 783 >= 0 @ 2.3843
3.05/3.19 c stratification level: 12
3.14/3.27 c #Conflicts: 1000 | #Constraints: 657985
3.14/3.27 c bounds 694 >= 0 @ 2.46195
3.14/3.27 c stratification level: 11
3.25/3.32 c bounds 619 >= 0 @ 2.50108
3.25/3.32 c stratification level: 10
3.34/3.48 c bounds 578 >= 0 @ 2.64879
3.34/3.48 c stratification level: 9
6.14/6.26 c #Conflicts: 2000 | #Constraints: 658988
6.14/6.26 c INPROCESSING
6.14/6.26 c GARBAGE COLLECT
6.14/6.26 c #Conflicts: 3000 | #Constraints: 658907
6.14/6.26 c bounds 529 >= 0 @ 5.33228
6.14/6.26 c stratification level: 8
7.54/7.60 c bounds 529 >= 8 @ 5.33514
7.54/7.60 c #Conflicts: 4000 | #Constraints: 659909
7.54/7.60 c INPROCESSING
7.54/7.60 c GARBAGE COLLECT
7.54/7.60 c #Conflicts: 5000 | #Constraints: 659317
7.54/7.60 c finalizing WCE round: reformulating cores
13.72/13.89 c bounds 415 >= 8 @ 6.60199
13.72/13.89 c #Conflicts: 6000 | #Constraints: 660321
13.72/13.89 c INPROCESSING
13.72/13.89 c GARBAGE COLLECT
13.72/13.89 c #Conflicts: 7000 | #Constraints: 659321
13.72/13.89 c #Conflicts: 8000 | #Constraints: 660321
13.72/13.89 c #Conflicts: 9000 | #Constraints: 661321
13.72/13.89 c INPROCESSING
13.72/13.89 c GARBAGE COLLECT
13.72/13.89 c #Conflicts: 10000 | #Constraints: 660025
13.72/13.89 c bounds 414 >= 8 @ 12.7323
13.72/13.89 c stratification level: 7
104.09/104.48 c #Conflicts: 11000 | #Constraints: 661026
104.09/104.48 c #Conflicts: 12000 | #Constraints: 662026
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 13000 | #Constraints: 660476
104.09/104.48 c #Conflicts: 14000 | #Constraints: 661476
104.09/104.48 c #Conflicts: 15000 | #Constraints: 662476
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 16000 | #Constraints: 660713
104.09/104.48 c #Conflicts: 17000 | #Constraints: 661713
104.09/104.48 c #Conflicts: 18000 | #Constraints: 662713
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 19000 | #Constraints: 660732
104.09/104.48 c #Conflicts: 20000 | #Constraints: 661732
104.09/104.48 c #Conflicts: 21000 | #Constraints: 662732
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 22000 | #Constraints: 660534
104.09/104.48 c #Conflicts: 23000 | #Constraints: 661534
104.09/104.48 c #Conflicts: 24000 | #Constraints: 662534
104.09/104.48 c #Conflicts: 25000 | #Constraints: 663534
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 26000 | #Constraints: 661142
104.09/104.48 c #Conflicts: 27000 | #Constraints: 662142
104.09/104.48 c #Conflicts: 28000 | #Constraints: 663142
104.09/104.48 c #Conflicts: 29000 | #Constraints: 664142
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 30000 | #Constraints: 661540
104.09/104.48 c #Conflicts: 31000 | #Constraints: 662540
104.09/104.48 c #Conflicts: 32000 | #Constraints: 663540
104.09/104.48 c #Conflicts: 33000 | #Constraints: 664540
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 34000 | #Constraints: 661742
104.09/104.48 c #Conflicts: 35000 | #Constraints: 662742
104.09/104.48 c #Conflicts: 36000 | #Constraints: 663742
104.09/104.48 c #Conflicts: 37000 | #Constraints: 664742
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 38000 | #Constraints: 661755
104.09/104.48 c #Conflicts: 39000 | #Constraints: 662755
104.09/104.48 c #Conflicts: 40000 | #Constraints: 663755
104.09/104.48 c #Conflicts: 41000 | #Constraints: 664755
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 42000 | #Constraints: 661553
104.09/104.48 c #Conflicts: 43000 | #Constraints: 662553
104.09/104.48 c #Conflicts: 44000 | #Constraints: 663553
104.09/104.48 c #Conflicts: 45000 | #Constraints: 664553
104.09/104.48 c #Conflicts: 46000 | #Constraints: 665553
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 47000 | #Constraints: 662156
104.09/104.48 c #Conflicts: 48000 | #Constraints: 663156
104.09/104.48 c #Conflicts: 49000 | #Constraints: 664156
104.09/104.48 c #Conflicts: 50000 | #Constraints: 665156
104.09/104.48 c #Conflicts: 51000 | #Constraints: 666156
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 52000 | #Constraints: 662555
104.09/104.48 c #Conflicts: 53000 | #Constraints: 663555
104.09/104.48 c #Conflicts: 54000 | #Constraints: 664555
104.09/104.48 c #Conflicts: 55000 | #Constraints: 665555
104.09/104.48 c #Conflicts: 56000 | #Constraints: 666555
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 57000 | #Constraints: 662752
104.09/104.48 c #Conflicts: 58000 | #Constraints: 663752
104.09/104.48 c #Conflicts: 59000 | #Constraints: 664752
104.09/104.48 c #Conflicts: 60000 | #Constraints: 665752
104.09/104.48 c #Conflicts: 61000 | #Constraints: 666752
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 62000 | #Constraints: 662750
104.09/104.48 c #Conflicts: 63000 | #Constraints: 663750
104.09/104.48 c #Conflicts: 64000 | #Constraints: 664750
104.09/104.48 c #Conflicts: 65000 | #Constraints: 665750
104.09/104.48 c #Conflicts: 66000 | #Constraints: 666750
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 67000 | #Constraints: 662555
104.09/104.48 c #Conflicts: 68000 | #Constraints: 663555
104.09/104.48 c #Conflicts: 69000 | #Constraints: 664555
104.09/104.48 c #Conflicts: 70000 | #Constraints: 665555
104.09/104.48 c #Conflicts: 71000 | #Constraints: 666555
104.09/104.48 c #Conflicts: 72000 | #Constraints: 667555
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 73000 | #Constraints: 663161
104.09/104.48 c #Conflicts: 74000 | #Constraints: 664161
104.09/104.48 c #Conflicts: 75000 | #Constraints: 665161
104.09/104.48 c #Conflicts: 76000 | #Constraints: 666161
104.09/104.48 c #Conflicts: 77000 | #Constraints: 667161
104.09/104.48 c #Conflicts: 78000 | #Constraints: 668161
104.09/104.48 c INPROCESSING
104.09/104.48 c GARBAGE COLLECT
104.09/104.48 c #Conflicts: 79000 | #Constraints: 663563
212.80/213.46 c #Conflicts: 80000 | #Constraints: 664563
212.80/213.46 c #Conflicts: 81000 | #Constraints: 665563
212.80/213.46 c #Conflicts: 82000 | #Constraints: 666563
212.80/213.46 c #Conflicts: 83000 | #Constraints: 667563
212.80/213.46 c #Conflicts: 84000 | #Constraints: 668563
212.80/213.46 c INPROCESSING
212.80/213.46 c GARBAGE COLLECT
212.80/213.46 c #Conflicts: 85000 | #Constraints: 663758
212.80/213.46 c #Conflicts: 86000 | #Constraints: 664758
212.80/213.46 c #Conflicts: 87000 | #Constraints: 665758
212.80/213.46 c #Conflicts: 88000 | #Constraints: 666758
212.80/213.46 c #Conflicts: 89000 | #Constraints: 667758
212.80/213.46 c #Conflicts: 90000 | #Constraints: 668758
212.80/213.46 c INPROCESSING
212.80/213.46 c GARBAGE COLLECT
212.80/213.46 c #Conflicts: 91000 | #Constraints: 663761
212.80/213.46 c #Conflicts: 92000 | #Constraints: 664761
212.80/213.46 c #Conflicts: 93000 | #Constraints: 665761
212.80/213.46 c #Conflicts: 94000 | #Constraints: 666761
212.80/213.46 c #Conflicts: 95000 | #Constraints: 667761
212.80/213.46 c #Conflicts: 96000 | #Constraints: 668761
212.80/213.46 c INPROCESSING
212.80/213.46 c GARBAGE COLLECT
212.80/213.46 c #Conflicts: 97000 | #Constraints: 663566
212.80/213.46 c #Conflicts: 98000 | #Constraints: 664566
212.80/213.46 c #Conflicts: 99000 | #Constraints: 665566
212.80/213.46 c #Conflicts: 100000 | #Constraints: 666566
212.80/213.46 c #Conflicts: 101000 | #Constraints: 667566
212.80/213.46 c #Conflicts: 102000 | #Constraints: 668566
212.80/213.46 c #Conflicts: 103000 | #Constraints: 669566
212.80/213.46 c INPROCESSING
212.80/213.46 c GARBAGE COLLECT
212.80/213.46 c #Conflicts: 104000 | #Constraints: 664166
212.80/213.46 c #Conflicts: 105000 | #Constraints: 665166
212.80/213.46 c #Conflicts: 106000 | #Constraints: 666166
212.80/213.46 c #Conflicts: 107000 | #Constraints: 667166
212.80/213.46 c #Conflicts: 108000 | #Constraints: 668166
212.80/213.46 c #Conflicts: 109000 | #Constraints: 669166
212.80/213.46 c #Conflicts: 110000 | #Constraints: 670166
212.80/213.46 c INPROCESSING
212.80/213.46 c GARBAGE COLLECT
212.80/213.46 c #Conflicts: 111000 | #Constraints: 664567
212.80/213.46 c #Conflicts: 112000 | #Constraints: 665567
212.80/213.46 c #Conflicts: 113000 | #Constraints: 666567
212.80/213.46 c #Conflicts: 114000 | #Constraints: 667567
212.80/213.46 c #Conflicts: 115000 | #Constraints: 668567
212.80/213.46 c #Conflicts: 116000 | #Constraints: 669567
212.80/213.46 c #Conflicts: 117000 | #Constraints: 670567
212.80/213.46 c INPROCESSING
212.80/213.46 c GARBAGE COLLECT
212.80/213.46 c #Conflicts: 118000 | #Constraints: 664773
212.80/213.46 c #Conflicts: 119000 | #Constraints: 665773
212.80/213.46 c #Conflicts: 120000 | #Constraints: 666773
212.80/213.46 c #Conflicts: 121000 | #Constraints: 667773
212.80/213.46 c #Conflicts: 122000 | #Constraints: 668773
212.80/213.46 c #Conflicts: 123000 | #Constraints: 669773
212.80/213.46 c #Conflicts: 124000 | #Constraints: 670773
212.80/213.46 c INPROCESSING
212.80/213.46 c GARBAGE COLLECT
212.80/213.46 c #Conflicts: 125000 | #Constraints: 664773
212.80/213.46 c #Conflicts: 126000 | #Constraints: 665773
212.80/213.46 c #Conflicts: 127000 | #Constraints: 666773
212.80/213.46 c #Conflicts: 128000 | #Constraints: 667773
212.80/213.46 c #Conflicts: 129000 | #Constraints: 668773
212.80/213.46 c #Conflicts: 130000 | #Constraints: 669773
212.80/213.46 c #Conflicts: 131000 | #Constraints: 670773
212.80/213.46 c INPROCESSING
212.80/213.46 c GARBAGE COLLECT
212.80/213.46 c #Conflicts: 132000 | #Constraints: 664574
212.80/213.46 c #Conflicts: 133000 | #Constraints: 665574
212.80/213.46 c #Conflicts: 134000 | #Constraints: 666574
212.80/213.46 c #Conflicts: 135000 | #Constraints: 667574
212.80/213.46 c #Conflicts: 136000 | #Constraints: 668574
212.80/213.46 c #Conflicts: 137000 | #Constraints: 669574
212.80/213.46 c #Conflicts: 138000 | #Constraints: 670574
212.80/213.46 c #Conflicts: 139000 | #Constraints: 671574
212.80/213.46 c INPROCESSING
212.80/213.46 c GARBAGE COLLECT
212.80/213.46 c #Conflicts: 140000 | #Constraints: 665178
212.80/213.46 c #Conflicts: 141000 | #Constraints: 666178
212.80/213.46 c #Conflicts: 142000 | #Constraints: 667178
212.80/213.46 c #Conflicts: 143000 | #Constraints: 668178
212.80/213.46 c #Conflicts: 144000 | #Constraints: 669178
212.80/213.46 c #Conflicts: 145000 | #Constraints: 670178
212.80/213.46 c #Conflicts: 146000 | #Constraints: 671178
212.80/213.46 c #Conflicts: 147000 | #Constraints: 672178
212.80/213.46 c INPROCESSING
212.80/213.46 c GARBAGE COLLECT
212.80/213.46 c #Conflicts: 148000 | #Constraints: 665588
212.80/213.46 c #Conflicts: 149000 | #Constraints: 666588
212.80/213.46 c #Conflicts: 150000 | #Constraints: 667588
212.80/213.46 c #Conflicts: 151000 | #Constraints: 668588
212.80/213.46 c #Conflicts: 152000 | #Constraints: 669588
330.01/330.91 c #Conflicts: 153000 | #Constraints: 670588
330.01/330.91 c #Conflicts: 154000 | #Constraints: 671588
330.01/330.91 c #Conflicts: 155000 | #Constraints: 672588
330.01/330.91 c INPROCESSING
330.01/330.91 c GARBAGE COLLECT
330.01/330.91 c #Conflicts: 156000 | #Constraints: 665780
330.01/330.91 c #Conflicts: 157000 | #Constraints: 666780
330.01/330.91 c #Conflicts: 158000 | #Constraints: 667780
330.01/330.91 c #Conflicts: 159000 | #Constraints: 668780
330.01/330.91 c #Conflicts: 160000 | #Constraints: 669780
330.01/330.91 c #Conflicts: 161000 | #Constraints: 670780
330.01/330.91 c #Conflicts: 162000 | #Constraints: 671780
330.01/330.91 c #Conflicts: 163000 | #Constraints: 672780
330.01/330.91 c INPROCESSING
330.01/330.91 c GARBAGE COLLECT
330.01/330.91 c #Conflicts: 164000 | #Constraints: 665785
330.01/330.91 c #Conflicts: 165000 | #Constraints: 666785
330.01/330.91 c #Conflicts: 166000 | #Constraints: 667785
330.01/330.91 c #Conflicts: 167000 | #Constraints: 668785
330.01/330.91 c #Conflicts: 168000 | #Constraints: 669785
330.01/330.91 c #Conflicts: 169000 | #Constraints: 670785
330.01/330.91 c #Conflicts: 170000 | #Constraints: 671785
330.01/330.91 c #Conflicts: 171000 | #Constraints: 672785
330.01/330.91 c INPROCESSING
330.01/330.91 c GARBAGE COLLECT
330.01/330.91 c #Conflicts: 172000 | #Constraints: 665580
330.01/330.91 c #Conflicts: 173000 | #Constraints: 666580
330.01/330.91 c #Conflicts: 174000 | #Constraints: 667580
330.01/330.91 c #Conflicts: 175000 | #Constraints: 668580
330.01/330.91 c #Conflicts: 176000 | #Constraints: 669580
330.01/330.91 c #Conflicts: 177000 | #Constraints: 670580
330.01/330.91 c #Conflicts: 178000 | #Constraints: 671580
330.01/330.91 c #Conflicts: 179000 | #Constraints: 672580
330.01/330.91 c #Conflicts: 180000 | #Constraints: 673580
330.01/330.91 c INPROCESSING
330.01/330.91 c GARBAGE COLLECT
330.01/330.91 c #Conflicts: 181000 | #Constraints: 666181
330.01/330.91 c #Conflicts: 182000 | #Constraints: 667181
330.01/330.91 c #Conflicts: 183000 | #Constraints: 668181
330.01/330.91 c #Conflicts: 184000 | #Constraints: 669181
330.01/330.91 c #Conflicts: 185000 | #Constraints: 670181
330.01/330.91 c #Conflicts: 186000 | #Constraints: 671181
330.01/330.91 c #Conflicts: 187000 | #Constraints: 672181
330.01/330.91 c #Conflicts: 188000 | #Constraints: 673181
330.01/330.91 c #Conflicts: 189000 | #Constraints: 674181
330.01/330.91 c INPROCESSING
330.01/330.91 c GARBAGE COLLECT
330.01/330.91 c #Conflicts: 190000 | #Constraints: 666589
330.01/330.91 c #Conflicts: 191000 | #Constraints: 667589
330.01/330.91 c #Conflicts: 192000 | #Constraints: 668589
330.01/330.91 c #Conflicts: 193000 | #Constraints: 669589
330.01/330.91 c #Conflicts: 194000 | #Constraints: 670589
330.01/330.91 c #Conflicts: 195000 | #Constraints: 671589
330.01/330.91 c #Conflicts: 196000 | #Constraints: 672589
330.01/330.91 c #Conflicts: 197000 | #Constraints: 673589
330.01/330.91 c #Conflicts: 198000 | #Constraints: 674589
330.01/330.91 c INPROCESSING
330.01/330.91 c GARBAGE COLLECT
330.01/330.91 c #Conflicts: 199000 | #Constraints: 666782
330.01/330.91 c #Conflicts: 200000 | #Constraints: 667782
330.01/330.91 c #Conflicts: 201000 | #Constraints: 668782
330.01/330.91 c #Conflicts: 202000 | #Constraints: 669782
330.01/330.91 c #Conflicts: 203000 | #Constraints: 670782
330.01/330.91 c #Conflicts: 204000 | #Constraints: 671782
330.01/330.91 c #Conflicts: 205000 | #Constraints: 672782
330.01/330.91 c #Conflicts: 206000 | #Constraints: 673782
330.01/330.91 c #Conflicts: 207000 | #Constraints: 674782
330.01/330.91 c INPROCESSING
330.01/330.91 c GARBAGE COLLECT
330.01/330.91 c #Conflicts: 208000 | #Constraints: 666788
330.01/330.91 c #Conflicts: 209000 | #Constraints: 667788
330.01/330.91 c #Conflicts: 210000 | #Constraints: 668788
330.01/330.91 c #Conflicts: 211000 | #Constraints: 669788
330.01/330.91 c #Conflicts: 212000 | #Constraints: 670788
330.01/330.91 c #Conflicts: 213000 | #Constraints: 671788
330.01/330.91 c #Conflicts: 214000 | #Constraints: 672788
330.01/330.91 c #Conflicts: 215000 | #Constraints: 673788
330.01/330.91 c #Conflicts: 216000 | #Constraints: 674788
330.01/330.91 c INPROCESSING
330.01/330.91 c GARBAGE COLLECT
330.01/330.91 c #Conflicts: 217000 | #Constraints: 666590
330.01/330.91 c #Conflicts: 218000 | #Constraints: 667590
330.01/330.91 c #Conflicts: 219000 | #Constraints: 668590
330.01/330.91 c #Conflicts: 220000 | #Constraints: 669590
330.01/330.91 c #Conflicts: 221000 | #Constraints: 670590
330.01/330.91 c #Conflicts: 222000 | #Constraints: 671590
330.01/330.91 c #Conflicts: 223000 | #Constraints: 672590
330.01/330.91 c #Conflicts: 224000 | #Constraints: 673590
330.01/330.91 c #Conflicts: 225000 | #Constraints: 674590
356.24/357.27 c #Conflicts: 226000 | #Constraints: 675590
356.24/357.27 c INPROCESSING
356.24/357.27 c GARBAGE COLLECT
356.24/357.27 c #Conflicts: 227000 | #Constraints: 667196
356.24/357.27 c #Conflicts: 228000 | #Constraints: 668196
356.24/357.27 c #Conflicts: 229000 | #Constraints: 669196
356.24/357.27 c #Conflicts: 230000 | #Constraints: 670196
356.24/357.27 c #Conflicts: 231000 | #Constraints: 671196
356.24/357.27 c #Conflicts: 232000 | #Constraints: 672196
356.24/357.27 c #Conflicts: 233000 | #Constraints: 673196
356.24/357.27 c #Conflicts: 234000 | #Constraints: 674196
356.24/357.27 c #Conflicts: 235000 | #Constraints: 675196
356.24/357.27 c #Conflicts: 236000 | #Constraints: 676196
356.24/357.27 c INPROCESSING
356.24/357.27 c GARBAGE COLLECT
356.24/357.27 c #Conflicts: 237000 | #Constraints: 667590
356.24/357.27 c #Conflicts: 238000 | #Constraints: 668590
356.24/357.27 c #Conflicts: 239000 | #Constraints: 669590
356.24/357.27 c #Conflicts: 240000 | #Constraints: 670590
356.24/357.27 c #Conflicts: 241000 | #Constraints: 671590
356.24/357.27 c #Conflicts: 242000 | #Constraints: 672590
356.24/357.27 c #Conflicts: 243000 | #Constraints: 673590
356.24/357.27 c bounds 410 >= 8 @ 350.971
356.24/357.27 c stratification level: 6
476.94/478.28 c #Conflicts: 244000 | #Constraints: 674591
476.94/478.28 c #Conflicts: 245000 | #Constraints: 675591
476.94/478.28 c #Conflicts: 246000 | #Constraints: 676591
476.94/478.28 c INPROCESSING
476.94/478.28 c GARBAGE COLLECT
476.94/478.28 c #Conflicts: 247000 | #Constraints: 667790
476.94/478.28 c #Conflicts: 248000 | #Constraints: 668790
476.94/478.28 c #Conflicts: 249000 | #Constraints: 669790
476.94/478.28 c #Conflicts: 250000 | #Constraints: 670790
476.94/478.28 c #Conflicts: 251000 | #Constraints: 671790
476.94/478.28 c #Conflicts: 252000 | #Constraints: 672790
476.94/478.28 c #Conflicts: 253000 | #Constraints: 673790
476.94/478.28 c #Conflicts: 254000 | #Constraints: 674790
476.94/478.28 c #Conflicts: 255000 | #Constraints: 675790
476.94/478.28 c #Conflicts: 256000 | #Constraints: 676790
476.94/478.28 c INPROCESSING
476.94/478.28 c GARBAGE COLLECT
476.94/478.28 c #Conflicts: 257000 | #Constraints: 667802
476.94/478.28 c #Conflicts: 258000 | #Constraints: 668802
476.94/478.28 c #Conflicts: 259000 | #Constraints: 669802
476.94/478.28 c #Conflicts: 260000 | #Constraints: 670802
476.94/478.28 c #Conflicts: 261000 | #Constraints: 671802
476.94/478.28 c #Conflicts: 262000 | #Constraints: 672802
476.94/478.28 c #Conflicts: 263000 | #Constraints: 673802
476.94/478.28 c #Conflicts: 264000 | #Constraints: 674802
476.94/478.28 c #Conflicts: 265000 | #Constraints: 675802
476.94/478.28 c #Conflicts: 266000 | #Constraints: 676802
476.94/478.28 c INPROCESSING
476.94/478.28 c GARBAGE COLLECT
476.94/478.28 c #Conflicts: 267000 | #Constraints: 667597
476.94/478.28 c #Conflicts: 268000 | #Constraints: 668597
476.94/478.28 c #Conflicts: 269000 | #Constraints: 669597
476.94/478.28 c #Conflicts: 270000 | #Constraints: 670597
476.94/478.28 c #Conflicts: 271000 | #Constraints: 671597
476.94/478.28 c #Conflicts: 272000 | #Constraints: 672597
476.94/478.28 c #Conflicts: 273000 | #Constraints: 673597
476.94/478.28 c #Conflicts: 274000 | #Constraints: 674597
476.94/478.28 c #Conflicts: 275000 | #Constraints: 675597
476.94/478.28 c #Conflicts: 276000 | #Constraints: 676597
476.94/478.28 c #Conflicts: 277000 | #Constraints: 677597
476.94/478.28 c INPROCESSING
476.94/478.28 c GARBAGE COLLECT
476.94/478.28 c #Conflicts: 278000 | #Constraints: 668209
476.94/478.28 c #Conflicts: 279000 | #Constraints: 669209
476.94/478.28 c #Conflicts: 280000 | #Constraints: 670209
476.94/478.28 c #Conflicts: 281000 | #Constraints: 671209
476.94/478.28 c #Conflicts: 282000 | #Constraints: 672209
476.94/478.28 c #Conflicts: 283000 | #Constraints: 673209
476.94/478.28 c #Conflicts: 284000 | #Constraints: 674209
476.94/478.28 c #Conflicts: 285000 | #Constraints: 675209
476.94/478.28 c #Conflicts: 286000 | #Constraints: 676209
476.94/478.28 c #Conflicts: 287000 | #Constraints: 677209
476.94/478.28 c #Conflicts: 288000 | #Constraints: 678209
476.94/478.28 c INPROCESSING
476.94/478.28 c GARBAGE COLLECT
476.94/478.28 c #Conflicts: 289000 | #Constraints: 668605
476.94/478.28 c #Conflicts: 290000 | #Constraints: 669605
476.94/478.28 c #Conflicts: 291000 | #Constraints: 670605
476.94/478.28 c #Conflicts: 292000 | #Constraints: 671605
476.94/478.28 c #Conflicts: 293000 | #Constraints: 672605
476.94/478.28 c #Conflicts: 294000 | #Constraints: 673605
476.94/478.28 c #Conflicts: 295000 | #Constraints: 674605
476.94/478.28 c #Conflicts: 296000 | #Constraints: 675605
476.94/478.28 c #Conflicts: 297000 | #Constraints: 676605
476.94/478.28 c #Conflicts: 298000 | #Constraints: 677605
476.94/478.28 c #Conflicts: 299000 | #Constraints: 678605
476.94/478.28 c INPROCESSING
476.94/478.28 c GARBAGE COLLECT
476.94/478.28 c #Conflicts: 300000 | #Constraints: 668803
476.94/478.28 c #Conflicts: 301000 | #Constraints: 669803
476.94/478.28 c #Conflicts: 302000 | #Constraints: 670803
476.94/478.28 c #Conflicts: 303000 | #Constraints: 671803
476.94/478.28 c #Conflicts: 304000 | #Constraints: 672803
476.94/478.28 c #Conflicts: 305000 | #Constraints: 673803
476.94/478.28 c #Conflicts: 306000 | #Constraints: 674803
476.94/478.28 c #Conflicts: 307000 | #Constraints: 675803
476.94/478.28 c #Conflicts: 308000 | #Constraints: 676803
476.94/478.28 c #Conflicts: 309000 | #Constraints: 677803
476.94/478.28 c #Conflicts: 310000 | #Constraints: 678803
476.94/478.28 c INPROCESSING
476.94/478.28 c GARBAGE COLLECT
476.94/478.28 c #Conflicts: 311000 | #Constraints: 668796
476.94/478.28 c #Conflicts: 312000 | #Constraints: 669796
476.94/478.28 c #Conflicts: 313000 | #Constraints: 670796
476.94/478.28 c #Conflicts: 314000 | #Constraints: 671796
476.94/478.28 c #Conflicts: 315000 | #Constraints: 672796
476.94/478.28 c #Conflicts: 316000 | #Constraints: 673796
476.94/478.28 c #Conflicts: 317000 | #Constraints: 674796
476.94/478.28 c #Conflicts: 318000 | #Constraints: 675796
603.44/605.05 c #Conflicts: 319000 | #Constraints: 676796
603.44/605.05 c #Conflicts: 320000 | #Constraints: 677796
603.44/605.05 c #Conflicts: 321000 | #Constraints: 678796
603.44/605.05 c INPROCESSING
603.44/605.05 c GARBAGE COLLECT
603.44/605.05 c #Conflicts: 322000 | #Constraints: 668612
603.44/605.05 c #Conflicts: 323000 | #Constraints: 669612
603.44/605.05 c #Conflicts: 324000 | #Constraints: 670612
603.44/605.05 c #Conflicts: 325000 | #Constraints: 671612
603.44/605.05 c #Conflicts: 326000 | #Constraints: 672612
603.44/605.05 c #Conflicts: 327000 | #Constraints: 673612
603.44/605.05 c #Conflicts: 328000 | #Constraints: 674612
603.44/605.05 c #Conflicts: 329000 | #Constraints: 675612
603.44/605.05 c #Conflicts: 330000 | #Constraints: 676612
603.44/605.05 c #Conflicts: 331000 | #Constraints: 677612
603.44/605.05 c #Conflicts: 332000 | #Constraints: 678612
603.44/605.05 c #Conflicts: 333000 | #Constraints: 679612
603.44/605.05 c INPROCESSING
603.44/605.05 c GARBAGE COLLECT
603.44/605.05 c #Conflicts: 334000 | #Constraints: 669208
603.44/605.05 c #Conflicts: 335000 | #Constraints: 670208
603.44/605.05 c #Conflicts: 336000 | #Constraints: 671208
603.44/605.05 c #Conflicts: 337000 | #Constraints: 672208
603.44/605.05 c #Conflicts: 338000 | #Constraints: 673208
603.44/605.05 c #Conflicts: 339000 | #Constraints: 674208
603.44/605.05 c #Conflicts: 340000 | #Constraints: 675208
603.44/605.05 c #Conflicts: 341000 | #Constraints: 676208
603.44/605.05 c #Conflicts: 342000 | #Constraints: 677208
603.44/605.05 c #Conflicts: 343000 | #Constraints: 678208
603.44/605.05 c #Conflicts: 344000 | #Constraints: 679208
603.44/605.05 c #Conflicts: 345000 | #Constraints: 680208
603.44/605.05 c INPROCESSING
603.44/605.05 c GARBAGE COLLECT
603.44/605.05 c #Conflicts: 346000 | #Constraints: 669602
603.44/605.05 c #Conflicts: 347000 | #Constraints: 670602
603.44/605.05 c #Conflicts: 348000 | #Constraints: 671602
603.44/605.05 c #Conflicts: 349000 | #Constraints: 672602
603.44/605.05 c #Conflicts: 350000 | #Constraints: 673602
603.44/605.05 c #Conflicts: 351000 | #Constraints: 674602
603.44/605.05 c #Conflicts: 352000 | #Constraints: 675602
603.44/605.05 c #Conflicts: 353000 | #Constraints: 676602
603.44/605.05 c #Conflicts: 354000 | #Constraints: 677602
603.44/605.05 c #Conflicts: 355000 | #Constraints: 678602
603.44/605.05 c #Conflicts: 356000 | #Constraints: 679602
603.44/605.05 c #Conflicts: 357000 | #Constraints: 680602
603.44/605.05 c INPROCESSING
603.44/605.05 c GARBAGE COLLECT
603.44/605.05 c #Conflicts: 358000 | #Constraints: 669809
603.44/605.05 c #Conflicts: 359000 | #Constraints: 670809
603.44/605.05 c #Conflicts: 360000 | #Constraints: 671809
603.44/605.05 c #Conflicts: 361000 | #Constraints: 672809
603.44/605.05 c #Conflicts: 362000 | #Constraints: 673809
603.44/605.05 c #Conflicts: 363000 | #Constraints: 674809
603.44/605.05 c #Conflicts: 364000 | #Constraints: 675809
603.44/605.05 c #Conflicts: 365000 | #Constraints: 676809
603.44/605.05 c #Conflicts: 366000 | #Constraints: 677809
603.44/605.05 c #Conflicts: 367000 | #Constraints: 678809
603.44/605.05 c #Conflicts: 368000 | #Constraints: 679809
603.44/605.05 c #Conflicts: 369000 | #Constraints: 680809
603.44/605.05 c INPROCESSING
603.44/605.05 c GARBAGE COLLECT
603.44/605.05 c #Conflicts: 370000 | #Constraints: 669812
603.44/605.05 c #Conflicts: 371000 | #Constraints: 670812
603.44/605.05 c #Conflicts: 372000 | #Constraints: 671812
603.44/605.05 c #Conflicts: 373000 | #Constraints: 672812
603.44/605.05 c #Conflicts: 374000 | #Constraints: 673812
603.44/605.05 c #Conflicts: 375000 | #Constraints: 674812
603.44/605.05 c #Conflicts: 376000 | #Constraints: 675812
603.44/605.05 c #Conflicts: 377000 | #Constraints: 676812
603.44/605.05 c #Conflicts: 378000 | #Constraints: 677812
603.44/605.05 c #Conflicts: 379000 | #Constraints: 678812
603.44/605.05 c #Conflicts: 380000 | #Constraints: 679812
603.44/605.05 c #Conflicts: 381000 | #Constraints: 680812
603.44/605.05 c INPROCESSING
603.44/605.05 c GARBAGE COLLECT
603.44/605.05 c #Conflicts: 382000 | #Constraints: 669616
603.44/605.05 c #Conflicts: 383000 | #Constraints: 670616
603.44/605.05 c #Conflicts: 384000 | #Constraints: 671616
603.44/605.05 c #Conflicts: 385000 | #Constraints: 672616
603.44/605.05 c #Conflicts: 386000 | #Constraints: 673616
603.44/605.05 c #Conflicts: 387000 | #Constraints: 674616
603.44/605.05 c #Conflicts: 388000 | #Constraints: 675616
603.44/605.05 c #Conflicts: 389000 | #Constraints: 676616
603.44/605.05 c #Conflicts: 390000 | #Constraints: 677616
603.44/605.05 c #Conflicts: 391000 | #Constraints: 678616
603.44/605.05 c #Conflicts: 392000 | #Constraints: 679616
603.44/605.05 c #Conflicts: 393000 | #Constraints: 680616
610.72/612.34 c #Conflicts: 394000 | #Constraints: 681616
610.72/612.34 c INPROCESSING
610.72/612.34 c GARBAGE COLLECT
610.72/612.34 c #Conflicts: 395000 | #Constraints: 670220
610.72/612.34 c #Conflicts: 396000 | #Constraints: 671220
610.72/612.34 c bounds 326 >= 8 @ 602.258
610.72/612.34 c stratification level: 5
1041.28/1044.09 c bounds 326 >= 13 @ 602.261
1041.28/1044.09 c #Conflicts: 397000 | #Constraints: 672223
1041.28/1044.09 c #Conflicts: 398000 | #Constraints: 673223
1041.28/1044.09 c #Conflicts: 399000 | #Constraints: 674223
1041.28/1044.09 c #Conflicts: 400000 | #Constraints: 675223
1041.28/1044.09 c #Conflicts: 401000 | #Constraints: 676223
1041.28/1044.09 c #Conflicts: 402000 | #Constraints: 677223
1041.28/1044.09 c #Conflicts: 403000 | #Constraints: 678223
1041.28/1044.09 c #Conflicts: 404000 | #Constraints: 679223
1041.28/1044.09 c #Conflicts: 405000 | #Constraints: 680223
1041.28/1044.09 c #Conflicts: 406000 | #Constraints: 681223
1041.28/1044.09 c #Conflicts: 407000 | #Constraints: 682223
1041.28/1044.09 c INPROCESSING
1041.28/1044.09 c GARBAGE COLLECT
1041.28/1044.09 c #Conflicts: 408000 | #Constraints: 670617
1041.28/1044.09 c #Conflicts: 409000 | #Constraints: 671617
1041.28/1044.09 c #Conflicts: 410000 | #Constraints: 672617
1041.28/1044.09 c #Conflicts: 411000 | #Constraints: 673617
1041.28/1044.09 c #Conflicts: 412000 | #Constraints: 674617
1041.28/1044.09 c #Conflicts: 413000 | #Constraints: 675617
1041.28/1044.09 c #Conflicts: 414000 | #Constraints: 676617
1041.28/1044.09 c #Conflicts: 415000 | #Constraints: 677617
1041.28/1044.09 c #Conflicts: 416000 | #Constraints: 678617
1041.28/1044.09 c #Conflicts: 417000 | #Constraints: 679617
1041.28/1044.09 c #Conflicts: 418000 | #Constraints: 680617
1041.28/1044.09 c #Conflicts: 419000 | #Constraints: 681617
1041.28/1044.09 c #Conflicts: 420000 | #Constraints: 682617
1041.28/1044.09 c INPROCESSING
1041.28/1044.09 c GARBAGE COLLECT
1041.28/1044.09 c #Conflicts: 421000 | #Constraints: 670815
1041.28/1044.09 c #Conflicts: 422000 | #Constraints: 671815
1041.28/1044.09 c #Conflicts: 423000 | #Constraints: 672815
1041.28/1044.09 c #Conflicts: 424000 | #Constraints: 673815
1041.28/1044.09 c #Conflicts: 425000 | #Constraints: 674815
1041.28/1044.09 c #Conflicts: 426000 | #Constraints: 675815
1041.28/1044.09 c #Conflicts: 427000 | #Constraints: 676815
1041.28/1044.09 c #Conflicts: 428000 | #Constraints: 677815
1041.28/1044.09 c #Conflicts: 429000 | #Constraints: 678815
1041.28/1044.09 c #Conflicts: 430000 | #Constraints: 679815
1041.28/1044.09 c #Conflicts: 431000 | #Constraints: 680815
1041.28/1044.09 c #Conflicts: 432000 | #Constraints: 681815
1041.28/1044.09 c #Conflicts: 433000 | #Constraints: 682815
1041.28/1044.09 c INPROCESSING
1041.28/1044.09 c GARBAGE COLLECT
1041.28/1044.09 c #Conflicts: 434000 | #Constraints: 670817
1041.28/1044.09 c bounds 326 >= 18 @ 679.75
1041.28/1044.09 c #Conflicts: 435000 | #Constraints: 671818
1041.28/1044.09 c #Conflicts: 436000 | #Constraints: 672818
1041.28/1044.09 c #Conflicts: 437000 | #Constraints: 673818
1041.28/1044.09 c #Conflicts: 438000 | #Constraints: 674818
1041.28/1044.09 c #Conflicts: 439000 | #Constraints: 675818
1041.28/1044.09 c #Conflicts: 440000 | #Constraints: 676818
1041.28/1044.09 c #Conflicts: 441000 | #Constraints: 677818
1041.28/1044.09 c #Conflicts: 442000 | #Constraints: 678818
1041.28/1044.09 c #Conflicts: 443000 | #Constraints: 679818
1041.28/1044.09 c #Conflicts: 444000 | #Constraints: 680818
1041.28/1044.09 c #Conflicts: 445000 | #Constraints: 681818
1041.28/1044.09 c #Conflicts: 446000 | #Constraints: 682818
1041.28/1044.09 c INPROCESSING
1041.28/1044.09 c GARBAGE COLLECT
1041.28/1044.09 c #Conflicts: 447000 | #Constraints: 670599
1041.28/1044.09 c #Conflicts: 448000 | #Constraints: 671599
1041.28/1044.09 c #Conflicts: 449000 | #Constraints: 672599
1041.28/1044.09 c #Conflicts: 450000 | #Constraints: 673599
1041.28/1044.09 c #Conflicts: 451000 | #Constraints: 674599
1041.28/1044.09 c #Conflicts: 452000 | #Constraints: 675599
1041.28/1044.09 c #Conflicts: 453000 | #Constraints: 676599
1041.28/1044.09 c #Conflicts: 454000 | #Constraints: 677599
1041.28/1044.09 c #Conflicts: 455000 | #Constraints: 678599
1041.28/1044.09 c #Conflicts: 456000 | #Constraints: 679599
1041.28/1044.09 c #Conflicts: 457000 | #Constraints: 680599
1041.28/1044.09 c #Conflicts: 458000 | #Constraints: 681599
1041.28/1044.09 c #Conflicts: 459000 | #Constraints: 682599
1041.28/1044.09 c #Conflicts: 460000 | #Constraints: 683599
1041.28/1044.09 c INPROCESSING
1041.28/1044.09 c GARBAGE COLLECT
1041.28/1044.09 c #Conflicts: 461000 | #Constraints: 671171
1041.28/1044.09 c #Conflicts: 462000 | #Constraints: 672171
1041.28/1044.09 c #Conflicts: 463000 | #Constraints: 673171
1041.28/1044.09 c #Conflicts: 464000 | #Constraints: 674171
1041.28/1044.09 c #Conflicts: 465000 | #Constraints: 675171
1041.28/1044.09 c #Conflicts: 466000 | #Constraints: 676171
1041.28/1044.09 c #Conflicts: 467000 | #Constraints: 677171
1041.28/1044.09 c #Conflicts: 468000 | #Constraints: 678171
1041.28/1044.09 c #Conflicts: 469000 | #Constraints: 679171
1041.28/1044.09 c #Conflicts: 470000 | #Constraints: 680171
1041.28/1044.09 c #Conflicts: 471000 | #Constraints: 681171
2205.99/2211.90 c #Conflicts: 472000 | #Constraints: 682171
2205.99/2211.90 c #Conflicts: 473000 | #Constraints: 683171
2205.99/2211.90 c #Conflicts: 474000 | #Constraints: 684171
2205.99/2211.90 c INPROCESSING
2205.99/2211.90 c GARBAGE COLLECT
2205.99/2211.90 c #Conflicts: 475000 | #Constraints: 671566
2205.99/2211.90 c #Conflicts: 476000 | #Constraints: 672566
2205.99/2211.90 c #Conflicts: 477000 | #Constraints: 673566
2205.99/2211.90 c #Conflicts: 478000 | #Constraints: 674566
2205.99/2211.90 c #Conflicts: 479000 | #Constraints: 675566
2205.99/2211.90 c #Conflicts: 480000 | #Constraints: 676566
2205.99/2211.90 c #Conflicts: 481000 | #Constraints: 677566
2205.99/2211.90 c #Conflicts: 482000 | #Constraints: 678566
2205.99/2211.90 c #Conflicts: 483000 | #Constraints: 679566
2205.99/2211.90 c #Conflicts: 484000 | #Constraints: 680566
2205.99/2211.90 c #Conflicts: 485000 | #Constraints: 681566
2205.99/2211.90 c #Conflicts: 486000 | #Constraints: 682566
2205.99/2211.90 c #Conflicts: 487000 | #Constraints: 683566
2205.99/2211.90 c #Conflicts: 488000 | #Constraints: 684566
2205.99/2211.90 c INPROCESSING
2205.99/2211.90 c GARBAGE COLLECT
2205.99/2211.90 c #Conflicts: 489000 | #Constraints: 671766
2205.99/2211.90 c #Conflicts: 490000 | #Constraints: 672766
2205.99/2211.90 c #Conflicts: 491000 | #Constraints: 673766
2205.99/2211.90 c #Conflicts: 492000 | #Constraints: 674766
2205.99/2211.90 c #Conflicts: 493000 | #Constraints: 675766
2205.99/2211.90 c #Conflicts: 494000 | #Constraints: 676766
2205.99/2211.90 c #Conflicts: 495000 | #Constraints: 677766
2205.99/2211.90 c #Conflicts: 496000 | #Constraints: 678766
2205.99/2211.90 c #Conflicts: 497000 | #Constraints: 679766
2205.99/2211.90 c #Conflicts: 498000 | #Constraints: 680766
2205.99/2211.90 c #Conflicts: 499000 | #Constraints: 681766
2205.99/2211.90 c #Conflicts: 500000 | #Constraints: 682766
2205.99/2211.90 c #Conflicts: 501000 | #Constraints: 683766
2205.99/2211.90 c #Conflicts: 502000 | #Constraints: 684766
2205.99/2211.90 c INPROCESSING
2205.99/2211.90 c GARBAGE COLLECT
2205.99/2211.90 c #Conflicts: 503000 | #Constraints: 671765
2205.99/2211.90 c #Conflicts: 504000 | #Constraints: 672765
2205.99/2211.90 c #Conflicts: 505000 | #Constraints: 673765
2205.99/2211.90 c #Conflicts: 506000 | #Constraints: 674765
2205.99/2211.90 c #Conflicts: 507000 | #Constraints: 675765
2205.99/2211.90 c #Conflicts: 508000 | #Constraints: 676765
2205.99/2211.90 c #Conflicts: 509000 | #Constraints: 677765
2205.99/2211.90 c #Conflicts: 510000 | #Constraints: 678765
2205.99/2211.90 c #Conflicts: 511000 | #Constraints: 679765
2205.99/2211.90 c #Conflicts: 512000 | #Constraints: 680765
2205.99/2211.90 c #Conflicts: 513000 | #Constraints: 681765
2205.99/2211.90 c #Conflicts: 514000 | #Constraints: 682765
2205.99/2211.90 c #Conflicts: 515000 | #Constraints: 683765
2205.99/2211.90 c #Conflicts: 516000 | #Constraints: 684765
2205.99/2211.90 c INPROCESSING
2205.99/2211.90 c GARBAGE COLLECT
2205.99/2211.90 c #Conflicts: 517000 | #Constraints: 671545
2205.99/2211.90 c #Conflicts: 518000 | #Constraints: 672545
2205.99/2211.90 c #Conflicts: 519000 | #Constraints: 673545
2205.99/2211.90 c #Conflicts: 520000 | #Constraints: 674545
2205.99/2211.90 c #Conflicts: 521000 | #Constraints: 675545
2205.99/2211.90 c #Conflicts: 522000 | #Constraints: 676545
2205.99/2211.90 c #Conflicts: 523000 | #Constraints: 677545
2205.99/2211.90 c #Conflicts: 524000 | #Constraints: 678545
2205.99/2211.90 c #Conflicts: 525000 | #Constraints: 679545
2205.99/2211.90 c #Conflicts: 526000 | #Constraints: 680545
2205.99/2211.90 c #Conflicts: 527000 | #Constraints: 681545
2205.99/2211.90 c #Conflicts: 528000 | #Constraints: 682545
2205.99/2211.90 c #Conflicts: 529000 | #Constraints: 683545
2205.99/2211.90 c #Conflicts: 530000 | #Constraints: 684545
2205.99/2211.90 c #Conflicts: 531000 | #Constraints: 685545
2205.99/2211.90 c INPROCESSING
2205.99/2211.90 c GARBAGE COLLECT
2205.99/2211.90 c #Conflicts: 532000 | #Constraints: 672138
2205.99/2211.90 c #Conflicts: 533000 | #Constraints: 673138
2205.99/2211.90 c #Conflicts: 534000 | #Constraints: 674138
2205.99/2211.90 c #Conflicts: 535000 | #Constraints: 675138
2205.99/2211.90 c #Conflicts: 536000 | #Constraints: 676138
2205.99/2211.90 c #Conflicts: 537000 | #Constraints: 677138
2205.99/2211.90 c #Conflicts: 538000 | #Constraints: 678138
2205.99/2211.90 c #Conflicts: 539000 | #Constraints: 679138
2205.99/2211.90 c #Conflicts: 540000 | #Constraints: 680138
2205.99/2211.90 c #Conflicts: 541000 | #Constraints: 681138
2205.99/2211.90 c #Conflicts: 542000 | #Constraints: 682138
2205.99/2211.90 c #Conflicts: 543000 | #Constraints: 683138
2205.99/2211.90 c #Conflicts: 544000 | #Constraints: 684138
2205.99/2211.90 c #Conflicts: 545000 | #Constraints: 685138
2205.99/2211.90 c #Conflicts: 546000 | #Constraints: 686138
2205.99/2211.90 c INPROCESSING
3490.38/3499.76 c GARBAGE COLLECT
3490.38/3499.76 c #Conflicts: 547000 | #Constraints: 672532
3490.38/3499.76 c #Conflicts: 548000 | #Constraints: 673532
3490.38/3499.76 c #Conflicts: 549000 | #Constraints: 674532
3490.38/3499.76 c #Conflicts: 550000 | #Constraints: 675532
3490.38/3499.76 c #Conflicts: 551000 | #Constraints: 676532
3490.38/3499.76 c #Conflicts: 552000 | #Constraints: 677532
3490.38/3499.76 c #Conflicts: 553000 | #Constraints: 678532
3490.38/3499.76 c #Conflicts: 554000 | #Constraints: 679532
3490.38/3499.76 c #Conflicts: 555000 | #Constraints: 680532
3490.38/3499.76 c #Conflicts: 556000 | #Constraints: 681532
3490.38/3499.76 c #Conflicts: 557000 | #Constraints: 682532
3490.38/3499.76 c #Conflicts: 558000 | #Constraints: 683532
3490.38/3499.76 c #Conflicts: 559000 | #Constraints: 684532
3490.38/3499.76 c #Conflicts: 560000 | #Constraints: 685532
3490.38/3499.76 c #Conflicts: 561000 | #Constraints: 686532
3490.38/3499.76 c INPROCESSING
3490.38/3499.76 c GARBAGE COLLECT
3490.38/3499.76 c #Conflicts: 562000 | #Constraints: 672721
3490.38/3499.76 c #Conflicts: 563000 | #Constraints: 673721
3490.38/3499.76 c #Conflicts: 564000 | #Constraints: 674721
3490.38/3499.76 c #Conflicts: 565000 | #Constraints: 675721
3490.38/3499.76 c #Conflicts: 566000 | #Constraints: 676721
3490.38/3499.76 c #Conflicts: 567000 | #Constraints: 677721
3490.38/3499.76 c #Conflicts: 568000 | #Constraints: 678721
3490.38/3499.76 c #Conflicts: 569000 | #Constraints: 679721
3490.38/3499.76 c #Conflicts: 570000 | #Constraints: 680721
3490.38/3499.76 c #Conflicts: 571000 | #Constraints: 681721
3490.38/3499.76 c #Conflicts: 572000 | #Constraints: 682721
3490.38/3499.76 c #Conflicts: 573000 | #Constraints: 683721
3490.38/3499.76 c #Conflicts: 574000 | #Constraints: 684721
3490.38/3499.76 c #Conflicts: 575000 | #Constraints: 685721
3490.38/3499.76 c #Conflicts: 576000 | #Constraints: 686721
3490.38/3499.76 c INPROCESSING
3490.38/3499.76 c GARBAGE COLLECT
3490.38/3499.76 c #Conflicts: 577000 | #Constraints: 672723
3490.38/3499.76 c #Conflicts: 578000 | #Constraints: 673723
3490.38/3499.76 c #Conflicts: 579000 | #Constraints: 674723
3490.38/3499.76 c #Conflicts: 580000 | #Constraints: 675723
3490.38/3499.76 c #Conflicts: 581000 | #Constraints: 676723
3490.38/3499.76 c #Conflicts: 582000 | #Constraints: 677723
3490.38/3499.76 c #Conflicts: 583000 | #Constraints: 678723
3490.38/3499.76 c #Conflicts: 584000 | #Constraints: 679723
3490.38/3499.76 c #Conflicts: 585000 | #Constraints: 680723
3490.38/3499.76 c #Conflicts: 586000 | #Constraints: 681723
3490.38/3499.76 c #Conflicts: 587000 | #Constraints: 682723
3490.38/3499.76 c #Conflicts: 588000 | #Constraints: 683723
3490.38/3499.76 c #Conflicts: 589000 | #Constraints: 684723
3490.38/3499.76 c #Conflicts: 590000 | #Constraints: 685723
3490.38/3499.76 c #Conflicts: 591000 | #Constraints: 686723
3490.38/3499.76 c INPROCESSING
3490.38/3499.76 c GARBAGE COLLECT
3490.38/3499.76 c #Conflicts: 592000 | #Constraints: 672522
3490.38/3499.76 c #Conflicts: 593000 | #Constraints: 673522
3490.38/3499.76 c #Conflicts: 594000 | #Constraints: 674522
3490.38/3499.76 c #Conflicts: 595000 | #Constraints: 675522
3490.38/3499.76 c #Conflicts: 596000 | #Constraints: 676522
3490.38/3499.76 c #Conflicts: 597000 | #Constraints: 677522
3490.38/3499.76 c #Conflicts: 598000 | #Constraints: 678522
3490.38/3499.76 c #Conflicts: 599000 | #Constraints: 679522
3490.38/3499.76 c #Conflicts: 600000 | #Constraints: 680522
3490.38/3499.76 c #Conflicts: 601000 | #Constraints: 681522
3490.38/3499.76 c #Conflicts: 602000 | #Constraints: 682522
3490.38/3499.76 c #Conflicts: 603000 | #Constraints: 683522
3490.38/3499.76 c #Conflicts: 604000 | #Constraints: 684522
3490.38/3499.76 c #Conflicts: 605000 | #Constraints: 685522
3490.38/3499.76 c #Conflicts: 606000 | #Constraints: 686522
3490.38/3499.76 c #Conflicts: 607000 | #Constraints: 687522
3490.38/3499.76 c INPROCESSING
3490.38/3499.76 c GARBAGE COLLECT
3490.38/3499.76 c #Conflicts: 608000 | #Constraints: 673133
3490.38/3499.76 c #Conflicts: 609000 | #Constraints: 674133
3490.38/3499.76 c #Conflicts: 610000 | #Constraints: 675133
3490.38/3499.76 c #Conflicts: 611000 | #Constraints: 676133
3490.38/3499.76 c #Conflicts: 612000 | #Constraints: 677133
3490.38/3499.76 c #Conflicts: 613000 | #Constraints: 678133
3490.38/3499.76 c #Conflicts: 614000 | #Constraints: 679133
3490.38/3499.76 c #Conflicts: 615000 | #Constraints: 680133
3490.38/3499.76 c #Conflicts: 616000 | #Constraints: 681133
3490.38/3499.76 c #Conflicts: 617000 | #Constraints: 682133
3490.38/3499.76 c #Conflicts: 618000 | #Constraints: 683133
3490.38/3499.76 c #Conflicts: 619000 | #Constraints: 684133
3490.38/3499.76 c #Conflicts: 620000 | #Constraints: 685133
3490.38/3499.76 c #Conflicts: 621000 | #Constraints: 686133
3490.38/3499.76 c #Conflicts: 622000 | #Constraints: 687133
3600.08/3609.70 c #Conflicts: 623000 | #Constraints: 688133
3600.08/3609.70 c INPROCESSING
3600.08/3609.70 c GARBAGE COLLECT
3600.08/3609.70 c #Conflicts: 624000 | #Constraints: 673532
3600.08/3609.70 c #Conflicts: 625000 | #Constraints: 674532
3600.08/3609.70 c #Conflicts: 626000 | #Constraints: 675532
3600.08/3609.70 c #Conflicts: 627000 | #Constraints: 676532
3600.08/3609.70 c #Conflicts: 628000 | #Constraints: 677532
3600.08/3609.70 c #Conflicts: 629000 | #Constraints: 678532
3600.08/3609.70 c Program interrupted by user.
3600.08/3609.70 c cpu time 3585.31 s
3600.08/3609.70 c deterministic time 628839016327 6.29e+11
3600.08/3609.70 c optimization time 85.6874 s
3600.08/3609.70 c total solve time 3498.46 s
3600.08/3609.70 c core-guided solve time 3498.46 s
3600.08/3609.70 c propagation time 2085.97 s
3600.08/3609.70 c conflict analysis time 1327.78 s
3600.08/3609.70 c propagations 83591449
3600.08/3609.70 c resolve steps 13495886
3600.08/3609.70 c decisions 15261487
3600.08/3609.70 c conflicts 629572
3600.08/3609.70 c restarts 1338
3600.08/3609.70 c inprocessing phases 70
3600.08/3609.70 c input clauses 656900
3600.08/3609.70 c input cardinalities 1
3600.08/3609.70 c input general constraints 99
3600.08/3609.70 c input average constraint length 3.52
3600.08/3609.70 c input average constraint degree 72.16
3600.08/3609.70 c learned clauses 478020
3600.08/3609.70 c learned cardinalities 0
3600.08/3609.70 c learned general constraints 151552
3600.08/3609.70 c learned average constraint length 4000.27
3600.08/3609.70 c learned average constraint degree 8782149.50
3600.08/3609.70 c watched constraints 10140
3600.08/3609.70 c counting constraints 141511
3600.08/3609.70 c gcd simplifications 4413
3600.08/3609.70 c detected cardinalities 0
3600.08/3609.70 c weakened non-implied lits 465484026
3600.08/3609.70 c weakened non-implying lits 133189
3600.08/3609.70 c original variables 10000
3600.08/3609.70 c clausal propagations 57844813
3600.08/3609.70 c cardinality propagations 63282
3600.08/3609.70 c watched propagations 44387
3600.08/3609.70 c counting propagations 24489901
3600.08/3609.70 c watch lookups 19938865253
3600.08/3609.70 c watch backjump lookups 19541099663
3600.08/3609.70 c watch checks 33769286171
3600.08/3609.70 c propagation checks 549508455327
3600.08/3609.70 c constraint additions 5882984282
3600.08/3609.70 c trail pops 99472694
3600.08/3609.70 c formula constraints 656900
3600.08/3609.70 c learned constraints 629572
3600.08/3609.70 c bound constraints 98
3600.08/3609.70 c core-guided constraints 2
3600.08/3609.70 c encountered formula constraints 10329615
3600.08/3609.70 c encountered learned constraints 3780999
3600.08/3609.70 c encountered bound constraints 8055
3600.08/3609.70 c encountered core-guided constraints 6789
3600.08/3609.70 c LP total time 0 s
3600.08/3609.70 c LP solve time 0 s
3600.08/3609.70 c LP constraints added 0
3600.08/3609.70 c LP constraints removed 0
3600.08/3609.70 c LP pivots internal 0
3600.08/3609.70 c LP pivots root 0
3600.08/3609.70 c LP calls 0
3600.08/3609.70 c LP optimalities 0
3600.08/3609.70 c LP no pivot count 0
3600.08/3609.70 c LP infeasibilities 0
3600.08/3609.70 c LP valid Farkas constraints 0
3600.08/3609.70 c LP learned Farkas constraints 0
3600.08/3609.70 c LP basis resets 0
3600.08/3609.70 c LP cycling count 0
3600.08/3609.70 c LP singular count 0
3600.08/3609.70 c LP no primal count 0
3600.08/3609.70 c LP no farkas count 0
3600.08/3609.70 c LP other issue count 0
3600.08/3609.70 c LP Gomory cuts 0
3600.08/3609.70 c LP learned cuts 0
3600.08/3609.70 c LP deleted cuts 0
3600.08/3609.70 c LP encountered Gomory constraints 0
3600.08/3609.70 c LP encountered Farkas constraints 0
3600.08/3609.70 c LP encountered learned Farkas constraints 0
3600.08/3609.70 c CG auxiliary variables introduced 1
3600.08/3609.70 c CG solutions found 94
3600.08/3609.70 c CG cores constructed 3
3600.08/3609.70 c CG core cardinality constraints returned 0
3600.08/3609.70 c CG unit cores 0
3600.08/3609.70 c CG single cores 3
3600.08/3609.70 c CG blocks removed during cardinality reduction 0
3600.08/3609.70 c CG first core best 0
3600.08/3609.70 c CG decision core best 0
3600.08/3609.70 c CG core reduction tie 0
3600.08/3609.70 c CG core degree average 1.00
3600.08/3609.70 c CG core slack average 3288.33
3600.08/3609.70 c CG exhausted 0
3600.08/3609.70 c CG exhaust time 0.002923 s
3600.08/3609.70 c CG trimmed 0
3600.08/3609.70 c CG trim time 0.005485 s
3600.08/3609.70 c CG minimized 0
3600.08/3609.70 c CG minimize time 0 s
3600.08/3609.70 c CG am1 prop time 0.012904 s
3600.08/3609.70 c CG # am1s reformulated 0
3600.08/3609.70 c CG lower bound derived from am1s 0
3600.08/3609.70 c CG # clausal cores 3
3600.08/3609.70 c CG # cardinality cores 0
3600.08/3609.70 c CG # pb cores 0
3600.08/3609.70 c CG # pb reforms 0
3600.08/3609.70 c CG # cores discarded because of pb reform 0
3600.08/3609.70 d LOWERBOUND 18
3600.08/3609.70 d NCORES 3
3600.08/3609.70 d NPBCORES 0
3600.08/3609.70 d NPBREFORM 0
3600.08/3609.70 d NTRIMMED 0
3600.08/3609.70 d NEXHAUSTED 0
3600.08/3609.70 d NAM1S 0
3600.08/3609.70 d AM1LB 0
3600.08/3609.70 o 326
3600.08/3609.70 s SATISFIABLE
3600.08/3609.70 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 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
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 (62883 MiB free)
memory of node 1: 64465 MiB (63880 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489594-1751363225/watcher-4489594-1751363225 -o /tmp/evaluation-result-4489594-1751363225/solver-4489594-1751363225 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49198 --watchdog 3760 pb-oll-rs HOME/instance-4489594-1751363225.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=49244, runsolver pid=49238
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 2.13 3.60 3.92 5/264 49257
/proc/meminfo: memFree=129789732/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=25472 memory=10220 CPUtime=0.06 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 1533 0 2 0 4 2 0 0 20 0 1 0 51945028 26083328 2555 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 6368 2555 1120 243 0 2617 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 25472 KiB
Current children cumulated memory: 10220 KiB
[startup+0.205438 s]*
/proc/loadavg: 2.13 3.60 3.92 5/264 49257
/proc/meminfo: memFree=129785448/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=26264 memory=11628 CPUtime=0.16 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 1876 0 2 0 12 4 0 0 20 0 1 0 51945028 26894336 2907 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 6566 2907 1120 243 0 2815 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 26264 KiB
Current children cumulated memory: 11628 KiB
[startup+0.304827 s]*
/proc/loadavg: 2.13 3.60 3.92 5/264 49257
/proc/meminfo: memFree=129776124/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=30172 memory=14444 CPUtime=0.27 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 2615 0 2 0 20 7 0 0 20 0 1 0 51945028 30896128 3611 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 7543 3611 1120 243 0 3792 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 30172 KiB
Current children cumulated memory: 14444 KiB
[startup+0.700132 s]
/proc/loadavg: 2.13 3.60 3.92 5/264 49257
/proc/meminfo: memFree=129761508/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=38684 memory=25708 CPUtime=0.65 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 5243 0 2 0 46 19 0 0 20 0 1 0 51945028 39612416 6427 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 9671 6427 1120 243 0 5920 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 38684 KiB
Current children cumulated memory: 25708 KiB
[startup+1.50012 s]
/proc/loadavg: 2.13 3.60 3.92 5/264 49257
/proc/meminfo: memFree=129704052/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=65988 memory=48500 CPUtime=1.45 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 10479 0 2 0 106 39 0 0 20 0 1 0 51945028 67571712 12125 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 16497 12125 1120 243 0 12746 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 65988 KiB
Current children cumulated memory: 48500 KiB
[startup+3.10526 s]
/proc/loadavg: 2.13 3.60 3.92 5/264 49257
/proc/meminfo: memFree=129572160/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=102160 memory=77768 CPUtime=3.05 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 15173 0 2 0 230 75 0 0 20 0 1 0 51945028 104611840 19442 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 25540 19442 1344 243 0 21789 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 102160 KiB
Current children cumulated memory: 77768 KiB
[startup+6.3001 s]
/proc/loadavg: 2.36 3.63 3.93 5/264 49257
/proc/meminfo: memFree=129415580/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=122612 memory=105484 CPUtime=6.24 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 20612 0 2 0 535 89 0 0 20 0 1 0 51945028 125554688 26371 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 30653 26371 1344 243 0 26902 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 122612 KiB
Current children cumulated memory: 105484 KiB
[startup+12.7001 s]
/proc/loadavg: 2.49 3.63 3.93 5/264 49257
/proc/meminfo: memFree=129311572/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=160740 memory=121912 CPUtime=12.62 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 23322 0 2 0 1157 105 0 0 20 0 1 0 51945028 164597760 30478 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 40185 30478 1344 243 0 36434 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 160740 KiB
Current children cumulated memory: 121912 KiB
[startup+25.5001 s]
/proc/loadavg: 2.83 3.65 3.93 5/264 49258
/proc/meminfo: memFree=129262572/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=160872 memory=138548 CPUtime=25.39 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 23380 0 2 0 2412 127 0 0 20 0 1 0 51945028 164732928 34637 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 40218 34637 1344 243 0 36467 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 160872 KiB
Current children cumulated memory: 138548 KiB
[startup+51.1053 s]
/proc/loadavg: 3.29 3.70 3.94 5/264 49258
/proc/meminfo: memFree=129221384/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=166744 memory=152456 CPUtime=50.93 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 23802 0 2 0 4920 173 0 0 20 0 1 0 51945028 170745856 38114 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 41686 38114 1344 243 0 37935 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 166744 KiB
Current children cumulated memory: 152456 KiB
[startup+102.3 s]
/proc/loadavg: 3.76 3.76 3.95 5/264 49264
/proc/meminfo: memFree=129146152/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=216832 memory=168108 CPUtime=101.99 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 24630 0 2 0 9936 263 0 0 20 0 1 0 51945028 222035968 42027 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 54208 42027 1344 243 0 50457 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 216832 KiB
Current children cumulated memory: 168108 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 3.82 3.96 5/264 49266
/proc/meminfo: memFree=129065108/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=216832 memory=190636 CPUtime=161.83 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 24687 0 2 0 15861 322 0 0 20 0 1 0 51945028 222035968 47659 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 54208 47659 1344 243 0 50457 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 216832 KiB
Current children cumulated memory: 190636 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.89 3.98 5/264 49268
/proc/meminfo: memFree=129002700/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=298220 memory=211116 CPUtime=221.67 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 25219 0 2 0 21756 411 0 0 20 0 1 0 51945028 305377280 52779 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 74555 52779 1344 243 0 70804 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 298220 KiB
Current children cumulated memory: 211116 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.93 3.99 5/263 49272
/proc/meminfo: memFree=128656636/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=298220 memory=219308 CPUtime=281.53 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 25290 0 2 0 27673 480 0 0 20 0 1 0 51945028 305377280 54827 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 74555 54827 1344 243 0 70804 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 298220 KiB
Current children cumulated memory: 219308 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.96 4.00 5/262 49274
/proc/meminfo: memFree=127680012/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=298220 memory=256172 CPUtime=341.37 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 25308 0 2 0 33634 503 0 0 20 0 1 0 51945028 305377280 64043 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 74555 64043 1344 243 0 70804 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 298220 KiB
Current children cumulated memory: 256172 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.00 4.01 5/262 49276
/proc/meminfo: memFree=127160744/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=298220 memory=256172 CPUtime=401.23 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 25386 0 2 0 39531 592 0 0 20 0 1 0 51945028 305377280 64043 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 74555 64043 1344 243 0 70804 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 298220 KiB
Current children cumulated memory: 256172 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.01 4.01 5/262 49278
/proc/meminfo: memFree=126947244/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=298220 memory=256172 CPUtime=461.08 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 25394 0 2 0 45421 687 0 0 20 0 1 0 51945028 305377280 64043 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 74555 64043 1344 243 0 70804 0
Current children cumulated CPU time: 461.08 s
################
# More data... #
################
/proc/49244/statm: 1263336 1090470 1344 243 0 1259585 0
Current children cumulated CPU time: 2854.64 s
Current children cumulated vsize: 5053344 KiB
Current children cumulated memory: 4361880 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 49404
/proc/meminfo: memFree=120549284/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=5041344 memory=4351384 CPUtime=2914.49 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 636384 0 2 0 290053 1396 0 0 20 0 1 0 51945028 5162336256 1087846 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 1260336 1087846 1344 243 0 1256585 0
Current children cumulated CPU time: 2914.49 s
Current children cumulated vsize: 5041344 KiB
Current children cumulated memory: 4351384 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 49406
/proc/meminfo: memFree=120545808/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=5041344 memory=4351384 CPUtime=2974.34 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 636393 0 2 0 296033 1401 0 0 20 0 1 0 51945028 5162336256 1087846 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 1260336 1087846 1344 243 0 1256585 0
Current children cumulated CPU time: 2974.34 s
Current children cumulated vsize: 5041344 KiB
Current children cumulated memory: 4351384 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 49411
/proc/meminfo: memFree=120520024/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=5041344 memory=4351384 CPUtime=3034.17 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 636822 0 2 0 302013 1404 0 0 20 0 1 0 51945028 5162336256 1087846 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 1260336 1087846 1344 243 0 1256585 0
Current children cumulated CPU time: 3034.17 s
Current children cumulated vsize: 5041344 KiB
Current children cumulated memory: 4351384 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 49419
/proc/meminfo: memFree=120496616/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=5049284 memory=4356632 CPUtime=3094.02 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 638246 0 2 0 307994 1408 0 0 20 0 1 0 51945028 5170466816 1089158 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 1262321 1089158 1344 243 0 1258570 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 5049284 KiB
Current children cumulated memory: 4356632 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 49421
/proc/meminfo: memFree=120296756/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=5066692 memory=4484848 CPUtime=3153.86 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 652542 0 2 0 313968 1418 0 0 20 0 1 0 51945028 5188292608 1121212 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 1266673 1121212 1344 243 0 1262922 0
Current children cumulated CPU time: 3153.86 s
Current children cumulated vsize: 5066692 KiB
Current children cumulated memory: 4484848 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 49423
/proc/meminfo: memFree=120220476/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=5066692 memory=4484848 CPUtime=3213.71 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 652542 0 2 0 319949 1422 0 0 20 0 1 0 51945028 5188292608 1121212 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 1266673 1121212 1344 243 0 1262922 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 5066692 KiB
Current children cumulated memory: 4484848 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 49425
/proc/meminfo: memFree=120219768/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=5066692 memory=4484848 CPUtime=3273.55 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 652544 0 2 0 325931 1424 0 0 20 0 1 0 51945028 5188292608 1121212 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 1266673 1121212 1344 243 0 1262922 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 5066692 KiB
Current children cumulated memory: 4484848 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 49427
/proc/meminfo: memFree=120215516/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=5066692 memory=4484848 CPUtime=3333.39 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 652882 0 2 0 331913 1426 0 0 20 0 1 0 51945028 5188292608 1121212 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 1266673 1121212 1344 243 0 1262922 0
Current children cumulated CPU time: 3333.39 s
Current children cumulated vsize: 5066692 KiB
Current children cumulated memory: 4484848 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 49429
/proc/meminfo: memFree=120211660/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=5066692 memory=4484848 CPUtime=3393.24 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 652930 0 2 0 337891 1433 0 0 20 0 1 0 51945028 5188292608 1121212 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 1266673 1121212 1344 243 0 1262922 0
Current children cumulated CPU time: 3393.24 s
Current children cumulated vsize: 5066692 KiB
Current children cumulated memory: 4484848 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 49431
/proc/meminfo: memFree=120211220/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=5066692 memory=4484848 CPUtime=3453.08 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 653436 0 2 0 343860 1448 0 0 20 0 1 0 51945028 5188292608 1121212 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 1266673 1121212 1344 243 0 1262922 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 5066692 KiB
Current children cumulated memory: 4484848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 49433
/proc/meminfo: memFree=120169472/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=5079716 memory=4496212 CPUtime=3512.92 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 655789 0 2 0 349838 1454 0 0 20 0 1 0 51945028 5201629184 1124053 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 1269929 1124053 1344 243 0 1266178 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 5079716 KiB
Current children cumulated memory: 4496212 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 49435
/proc/meminfo: memFree=120157664/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=5067716 memory=4485636 CPUtime=3572.76 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 655801 0 2 0 355805 1471 0 0 20 0 1 0 51945028 5189341184 1121409 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 1266929 1121409 1344 243 0 1263178 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 5067716 KiB
Current children cumulated memory: 4485636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.09 4.10 4.09 4/262 49439
/proc/meminfo: memFree=120665976/131250000 swapFree=33010684/33010684
[pid=49244] ppid=49238 vsize=5067716 memory=4485636 CPUtime=3600.08 cores=0,2
/proc/49244/stat : 49244 (pb-oll-rs) R 49238 49244 49188 0 -1 4194304 655802 0 2 0 358530 1478 0 0 20 0 1 0 51945028 5189341184 1121409 18446744073709551615 4218880 5211445 140737408247792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18784256 140737408256412 140737408256489 140737408256489 140737408262091 0
/proc/49244/statm: 1266929 1121409 1344 243 0 1263178 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 5067716 KiB
Current children cumulated memory: 4485636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.83 s]
# the end of solver process 49244 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.31 s, system=14.9075 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.8 s]*
/proc/loadavg: 4.08 4.10 4.09 3/256 49455
/proc/meminfo: memFree=127056264/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3609.83
CPU time (s): 3600.22
CPU user time (s): 3585.31
CPU system time (s): 14.9075
CPU usage (%): 99.7339
Max. virtual memory (cumulated for all children) (KiB): 5079716
Max. memory (cumulated for all children) (KiB): 4496212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.31
system time used= 14.9075
maximum resident set size= 4496212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 655816
page faults= 2
swaps= 0
block input operations= 168
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147
involuntary context switches= 5153
# summary of solver processes directly reported to runsolver:
# pid: 49244
# total CPU time (s): 3600.22
# total CPU user time (s): 3585.31
# total CPU system time (s): 14.9075
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78149 second user time and 16.4098 second system time
The end
Begin job on nodeC028 at 2025-07-01 11:47:05
IDJOB=4489594
IDBENCH=147558
IDSOLVER=3345
FILE ID=nodeC028/4489594-1751363225
RUNJOBID= nodeC028-1751363225-49198
SLURM_JOB_ID= 9598179
Free space on /tmp= 432996 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489594-1751363225/watcher-4489594-1751363225 -o /tmp/evaluation-result-4489594-1751363225/solver-4489594-1751363225 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49198 --watchdog 3760 pb-oll-rs HOME/instance-4489594-1751363225.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=843059325
nodeC028 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 : 3600.067
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 : 7000.16
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 : 3600.086
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 : 7000.16
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 : 3600.517
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 : 7000.16
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.934
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 : 7000.16
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 : 3600.044
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 : 7000.16
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 : 3602.677
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.304
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 : 7000.16
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 : 3600.081
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129806220 kB
MemAvailable: 129744984 kB
Buffers: 3280 kB
Cached: 746372 kB
SwapCached: 0 kB
Active: 323492 kB
Inactive: 489600 kB
Active(anon): 81620 kB
Inactive(anon): 0 kB
Active(file): 241872 kB
Inactive(file): 489600 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 74064 kB
Writeback: 0 kB
AnonPages: 66640 kB
Mapped: 103080 kB
Shmem: 18068 kB
KReclaimable: 93060 kB
Slab: 179304 kB
SReclaimable: 93060 kB
SUnreclaim: 86244 kB
KernelStack: 4080 kB
PageTables: 2928 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 330036 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC028 at 2025-07-01 12:47:15