0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
1.48/1.52 c [STEP] solving
1.48/1.52 c #variables 10000 #constraints 656900
1.48/1.52 c SMALL=int, LARGE=long long
1.48/1.52 c bounds - >= 0 @ 1.06983
1.48/1.52 c stratification level: 98
1.69/1.71 c bounds 7166 >= 0 @ 1.24545
1.69/1.71 c stratification level: 97
1.69/1.72 c bounds 7149 >= 0 @ 1.25214
1.69/1.72 c stratification level: 96
1.69/1.73 c bounds 6681 >= 0 @ 1.2565
1.69/1.73 c stratification level: 95
1.69/1.74 c bounds 6570 >= 0 @ 1.26176
1.69/1.74 c stratification level: 94
1.79/1.87 c bounds 6552 >= 0 @ 1.38763
1.79/1.87 c stratification level: 93
1.88/1.94 c bounds 6547 >= 0 @ 1.45833
1.88/1.94 c stratification level: 92
1.88/1.95 c bounds 6483 >= 0 @ 1.4644
1.88/1.95 c stratification level: 91
1.88/1.95 c bounds 6417 >= 0 @ 1.46743
1.88/1.95 c stratification level: 90
1.88/1.96 c bounds 6399 >= 0 @ 1.47252
1.88/1.96 c stratification level: 89
1.88/1.96 c bounds 6283 >= 0 @ 1.47775
1.88/1.96 c stratification level: 88
1.88/1.97 c bounds 6247 >= 0 @ 1.48111
1.88/1.97 c stratification level: 87
1.88/1.98 c bounds 6089 >= 0 @ 1.48662
1.88/1.98 c stratification level: 86
1.88/1.99 c bounds 6078 >= 0 @ 1.49455
1.88/1.99 c stratification level: 85
1.88/1.99 c bounds 5919 >= 0 @ 1.50068
1.88/1.99 c stratification level: 84
1.88/2.00 c bounds 5849 >= 0 @ 1.50727
1.88/2.00 c stratification level: 83
1.99/2.01 c bounds 5810 >= 0 @ 1.51121
1.99/2.01 c stratification level: 82
1.99/2.02 c bounds 5548 >= 0 @ 1.5158
1.99/2.02 c stratification level: 81
1.99/2.02 c bounds 5528 >= 0 @ 1.52314
1.99/2.02 c stratification level: 80
1.99/2.03 c bounds 5512 >= 0 @ 1.52748
1.99/2.03 c stratification level: 79
1.99/2.04 c bounds 5065 >= 0 @ 1.53474
1.99/2.04 c stratification level: 78
1.99/2.05 c bounds 4907 >= 0 @ 1.53837
1.99/2.05 c stratification level: 77
2.09/2.13 c bounds 4896 >= 0 @ 1.61333
2.09/2.13 c stratification level: 76
2.09/2.13 c bounds 4718 >= 0 @ 1.61931
2.09/2.13 c stratification level: 75
2.09/2.15 c bounds 4671 >= 0 @ 1.63046
2.09/2.15 c stratification level: 74
2.09/2.16 c bounds 4649 >= 0 @ 1.64286
2.09/2.16 c stratification level: 73
2.09/2.17 c bounds 4604 >= 0 @ 1.64672
2.09/2.17 c stratification level: 72
2.09/2.18 c bounds 4532 >= 0 @ 1.65114
2.09/2.18 c stratification level: 71
2.09/2.19 c bounds 4484 >= 0 @ 1.657
2.09/2.19 c stratification level: 70
2.09/2.19 c bounds 4318 >= 0 @ 1.66236
2.09/2.19 c stratification level: 69
2.18/2.21 c bounds 4312 >= 0 @ 1.67318
2.18/2.21 c stratification level: 68
2.18/2.21 c bounds 4244 >= 0 @ 1.67802
2.18/2.21 c stratification level: 67
2.18/2.22 c bounds 4190 >= 0 @ 1.68316
2.18/2.22 c stratification level: 66
2.18/2.23 c bounds 4184 >= 0 @ 1.68775
2.18/2.23 c stratification level: 65
2.18/2.25 c bounds 4010 >= 0 @ 1.69806
2.18/2.25 c stratification level: 64
2.18/2.25 c bounds 3981 >= 0 @ 1.70192
2.18/2.25 c stratification level: 63
2.18/2.26 c bounds 3856 >= 0 @ 1.7077
2.18/2.26 c stratification level: 62
2.18/2.27 c bounds 3823 >= 0 @ 1.71553
2.18/2.27 c stratification level: 61
2.18/2.28 c bounds 3804 >= 0 @ 1.71959
2.18/2.28 c stratification level: 60
2.18/2.29 c bounds 3802 >= 0 @ 1.72242
2.18/2.29 c stratification level: 59
2.28/2.30 c bounds 3638 >= 0 @ 1.72936
2.28/2.30 c stratification level: 58
2.28/2.31 c bounds 3552 >= 0 @ 1.73454
2.28/2.31 c stratification level: 57
2.28/2.32 c bounds 3505 >= 0 @ 1.74145
2.28/2.32 c stratification level: 56
2.28/2.33 c bounds 3414 >= 0 @ 1.74777
2.28/2.33 c stratification level: 55
2.28/2.34 c bounds 3406 >= 0 @ 1.75651
2.28/2.34 c stratification level: 54
2.28/2.36 c bounds 3335 >= 0 @ 1.76429
2.28/2.36 c stratification level: 53
2.28/2.37 c bounds 3229 >= 0 @ 1.76997
2.28/2.37 c stratification level: 52
2.28/2.38 c bounds 3224 >= 0 @ 1.77488
2.28/2.38 c stratification level: 51
2.28/2.39 c bounds 3193 >= 0 @ 1.78385
2.28/2.39 c stratification level: 50
2.38/2.40 c bounds 2962 >= 0 @ 1.79232
2.38/2.40 c stratification level: 49
2.38/2.42 c bounds 2502 >= 0 @ 1.80514
2.38/2.42 c stratification level: 48
2.38/2.43 c bounds 2388 >= 0 @ 1.8108
2.38/2.43 c stratification level: 47
2.38/2.44 c bounds 2367 >= 0 @ 1.81734
2.38/2.44 c stratification level: 46
2.38/2.45 c bounds 2321 >= 0 @ 1.82181
2.38/2.45 c stratification level: 45
2.38/2.46 c bounds 2291 >= 0 @ 1.83026
2.38/2.46 c stratification level: 44
2.38/2.47 c bounds 2237 >= 0 @ 1.83398
2.38/2.47 c stratification level: 43
2.38/2.48 c bounds 2183 >= 0 @ 1.83839
2.38/2.48 c stratification level: 42
2.48/2.50 c bounds 2158 >= 0 @ 1.8513
2.48/2.50 c stratification level: 41
2.48/2.51 c bounds 2026 >= 0 @ 1.85744
2.48/2.51 c stratification level: 40
2.48/2.52 c bounds 1986 >= 0 @ 1.86147
2.48/2.52 c stratification level: 39
2.48/2.53 c bounds 1983 >= 0 @ 1.86723
2.48/2.53 c stratification level: 38
2.48/2.54 c bounds 1887 >= 0 @ 1.87449
2.48/2.54 c stratification level: 37
2.48/2.55 c bounds 1761 >= 0 @ 1.87942
2.48/2.55 c stratification level: 36
2.48/2.57 c bounds 1750 >= 0 @ 1.88628
2.48/2.57 c stratification level: 35
2.48/2.58 c bounds 1715 >= 0 @ 1.89434
2.48/2.58 c stratification level: 34
2.48/2.59 c bounds 1706 >= 0 @ 1.90665
2.48/2.59 c stratification level: 33
2.59/2.61 c bounds 1640 >= 0 @ 1.92084
2.59/2.61 c stratification level: 32
2.59/2.62 c bounds 1612 >= 0 @ 1.92719
2.59/2.62 c stratification level: 31
2.59/2.64 c bounds 1570 >= 0 @ 1.93556
2.59/2.64 c stratification level: 30
2.59/2.65 c bounds 1533 >= 0 @ 1.94453
2.59/2.65 c stratification level: 29
2.59/2.66 c bounds 1516 >= 0 @ 1.95137
2.59/2.66 c stratification level: 28
2.59/2.67 c bounds 1464 >= 0 @ 1.95535
2.59/2.67 c stratification level: 27
2.59/2.69 c bounds 1459 >= 0 @ 1.96507
2.59/2.69 c stratification level: 26
2.69/2.70 c bounds 1410 >= 0 @ 1.97174
2.69/2.70 c stratification level: 25
2.69/2.71 c bounds 1405 >= 0 @ 1.98002
2.69/2.71 c stratification level: 24
2.69/2.72 c bounds 1256 >= 0 @ 1.98605
2.69/2.72 c stratification level: 23
2.69/2.74 c bounds 1183 >= 0 @ 1.99198
2.69/2.74 c stratification level: 22
2.69/2.75 c bounds 1144 >= 0 @ 1.9999
2.69/2.75 c stratification level: 21
2.69/2.76 c bounds 1062 >= 0 @ 2.0078
2.69/2.76 c stratification level: 20
2.69/2.78 c bounds 1030 >= 0 @ 2.02386
2.69/2.78 c stratification level: 19
2.78/2.80 c bounds 1027 >= 0 @ 2.02806
2.78/2.80 c stratification level: 18
2.78/2.81 c bounds 1026 >= 0 @ 2.04028
2.78/2.81 c stratification level: 17
2.78/2.84 c bounds 1025 >= 0 @ 2.06445
2.78/2.84 c stratification level: 16
2.78/2.86 c bounds 885 >= 0 @ 2.07896
2.78/2.86 c stratification level: 15
2.78/2.88 c bounds 872 >= 0 @ 2.08738
2.78/2.88 c stratification level: 14
2.89/2.92 c bounds 871 >= 0 @ 2.12396
2.89/2.92 c stratification level: 13
2.89/2.96 c bounds 783 >= 0 @ 2.16198
2.89/2.96 c stratification level: 12
2.99/3.04 c #Conflicts: 1000 | #Constraints: 657985
2.99/3.04 c bounds 694 >= 0 @ 2.23121
2.99/3.04 c stratification level: 11
2.99/3.08 c bounds 619 >= 0 @ 2.26771
2.99/3.08 c stratification level: 10
3.18/3.22 c bounds 578 >= 0 @ 2.39036
3.18/3.22 c stratification level: 9
5.57/5.64 c #Conflicts: 2000 | #Constraints: 658988
5.57/5.64 c INPROCESSING
5.57/5.64 c GARBAGE COLLECT
5.57/5.64 c #Conflicts: 3000 | #Constraints: 658907
5.57/5.64 c bounds 529 >= 0 @ 4.69728
5.57/5.64 c stratification level: 8
6.77/6.82 c bounds 529 >= 8 @ 4.70215
6.77/6.82 c #Conflicts: 4000 | #Constraints: 659909
6.77/6.82 c INPROCESSING
6.77/6.82 c GARBAGE COLLECT
6.77/6.82 c #Conflicts: 5000 | #Constraints: 659317
6.77/6.82 c finalizing WCE round: reformulating cores
12.06/12.18 c bounds 415 >= 8 @ 5.81318
12.06/12.18 c #Conflicts: 6000 | #Constraints: 660321
12.06/12.18 c INPROCESSING
12.06/12.18 c GARBAGE COLLECT
12.06/12.18 c #Conflicts: 7000 | #Constraints: 659321
12.06/12.18 c #Conflicts: 8000 | #Constraints: 660321
12.06/12.18 c #Conflicts: 9000 | #Constraints: 661321
12.06/12.18 c INPROCESSING
12.06/12.18 c GARBAGE COLLECT
12.06/12.18 c #Conflicts: 10000 | #Constraints: 660025
12.06/12.18 c bounds 414 >= 8 @ 10.9936
12.06/12.18 c stratification level: 7
88.78/89.06 c #Conflicts: 11000 | #Constraints: 661026
88.78/89.06 c #Conflicts: 12000 | #Constraints: 662026
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 13000 | #Constraints: 660476
88.78/89.06 c #Conflicts: 14000 | #Constraints: 661476
88.78/89.06 c #Conflicts: 15000 | #Constraints: 662476
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 16000 | #Constraints: 660713
88.78/89.06 c #Conflicts: 17000 | #Constraints: 661713
88.78/89.06 c #Conflicts: 18000 | #Constraints: 662713
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 19000 | #Constraints: 660732
88.78/89.06 c #Conflicts: 20000 | #Constraints: 661732
88.78/89.06 c #Conflicts: 21000 | #Constraints: 662732
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 22000 | #Constraints: 660534
88.78/89.06 c #Conflicts: 23000 | #Constraints: 661534
88.78/89.06 c #Conflicts: 24000 | #Constraints: 662534
88.78/89.06 c #Conflicts: 25000 | #Constraints: 663534
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 26000 | #Constraints: 661142
88.78/89.06 c #Conflicts: 27000 | #Constraints: 662142
88.78/89.06 c #Conflicts: 28000 | #Constraints: 663142
88.78/89.06 c #Conflicts: 29000 | #Constraints: 664142
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 30000 | #Constraints: 661540
88.78/89.06 c #Conflicts: 31000 | #Constraints: 662540
88.78/89.06 c #Conflicts: 32000 | #Constraints: 663540
88.78/89.06 c #Conflicts: 33000 | #Constraints: 664540
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 34000 | #Constraints: 661742
88.78/89.06 c #Conflicts: 35000 | #Constraints: 662742
88.78/89.06 c #Conflicts: 36000 | #Constraints: 663742
88.78/89.06 c #Conflicts: 37000 | #Constraints: 664742
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 38000 | #Constraints: 661755
88.78/89.06 c #Conflicts: 39000 | #Constraints: 662755
88.78/89.06 c #Conflicts: 40000 | #Constraints: 663755
88.78/89.06 c #Conflicts: 41000 | #Constraints: 664755
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 42000 | #Constraints: 661553
88.78/89.06 c #Conflicts: 43000 | #Constraints: 662553
88.78/89.06 c #Conflicts: 44000 | #Constraints: 663553
88.78/89.06 c #Conflicts: 45000 | #Constraints: 664553
88.78/89.06 c #Conflicts: 46000 | #Constraints: 665553
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 47000 | #Constraints: 662156
88.78/89.06 c #Conflicts: 48000 | #Constraints: 663156
88.78/89.06 c #Conflicts: 49000 | #Constraints: 664156
88.78/89.06 c #Conflicts: 50000 | #Constraints: 665156
88.78/89.06 c #Conflicts: 51000 | #Constraints: 666156
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 52000 | #Constraints: 662555
88.78/89.06 c #Conflicts: 53000 | #Constraints: 663555
88.78/89.06 c #Conflicts: 54000 | #Constraints: 664555
88.78/89.06 c #Conflicts: 55000 | #Constraints: 665555
88.78/89.06 c #Conflicts: 56000 | #Constraints: 666555
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 57000 | #Constraints: 662752
88.78/89.06 c #Conflicts: 58000 | #Constraints: 663752
88.78/89.06 c #Conflicts: 59000 | #Constraints: 664752
88.78/89.06 c #Conflicts: 60000 | #Constraints: 665752
88.78/89.06 c #Conflicts: 61000 | #Constraints: 666752
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 62000 | #Constraints: 662750
88.78/89.06 c #Conflicts: 63000 | #Constraints: 663750
88.78/89.06 c #Conflicts: 64000 | #Constraints: 664750
88.78/89.06 c #Conflicts: 65000 | #Constraints: 665750
88.78/89.06 c #Conflicts: 66000 | #Constraints: 666750
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 67000 | #Constraints: 662555
88.78/89.06 c #Conflicts: 68000 | #Constraints: 663555
88.78/89.06 c #Conflicts: 69000 | #Constraints: 664555
88.78/89.06 c #Conflicts: 70000 | #Constraints: 665555
88.78/89.06 c #Conflicts: 71000 | #Constraints: 666555
88.78/89.06 c #Conflicts: 72000 | #Constraints: 667555
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 73000 | #Constraints: 663161
88.78/89.06 c #Conflicts: 74000 | #Constraints: 664161
88.78/89.06 c #Conflicts: 75000 | #Constraints: 665161
88.78/89.06 c #Conflicts: 76000 | #Constraints: 666161
88.78/89.06 c #Conflicts: 77000 | #Constraints: 667161
88.78/89.06 c #Conflicts: 78000 | #Constraints: 668161
88.78/89.06 c INPROCESSING
88.78/89.06 c GARBAGE COLLECT
88.78/89.06 c #Conflicts: 79000 | #Constraints: 663563
181.67/182.18 c #Conflicts: 80000 | #Constraints: 664563
181.67/182.18 c #Conflicts: 81000 | #Constraints: 665563
181.67/182.18 c #Conflicts: 82000 | #Constraints: 666563
181.67/182.18 c #Conflicts: 83000 | #Constraints: 667563
181.67/182.18 c #Conflicts: 84000 | #Constraints: 668563
181.67/182.18 c INPROCESSING
181.67/182.18 c GARBAGE COLLECT
181.67/182.18 c #Conflicts: 85000 | #Constraints: 663758
181.67/182.18 c #Conflicts: 86000 | #Constraints: 664758
181.67/182.18 c #Conflicts: 87000 | #Constraints: 665758
181.67/182.18 c #Conflicts: 88000 | #Constraints: 666758
181.67/182.18 c #Conflicts: 89000 | #Constraints: 667758
181.67/182.18 c #Conflicts: 90000 | #Constraints: 668758
181.67/182.18 c INPROCESSING
181.67/182.18 c GARBAGE COLLECT
181.67/182.18 c #Conflicts: 91000 | #Constraints: 663761
181.67/182.18 c #Conflicts: 92000 | #Constraints: 664761
181.67/182.18 c #Conflicts: 93000 | #Constraints: 665761
181.67/182.18 c #Conflicts: 94000 | #Constraints: 666761
181.67/182.18 c #Conflicts: 95000 | #Constraints: 667761
181.67/182.18 c #Conflicts: 96000 | #Constraints: 668761
181.67/182.18 c INPROCESSING
181.67/182.18 c GARBAGE COLLECT
181.67/182.18 c #Conflicts: 97000 | #Constraints: 663566
181.67/182.18 c #Conflicts: 98000 | #Constraints: 664566
181.67/182.18 c #Conflicts: 99000 | #Constraints: 665566
181.67/182.18 c #Conflicts: 100000 | #Constraints: 666566
181.67/182.18 c #Conflicts: 101000 | #Constraints: 667566
181.67/182.18 c #Conflicts: 102000 | #Constraints: 668566
181.67/182.18 c #Conflicts: 103000 | #Constraints: 669566
181.67/182.18 c INPROCESSING
181.67/182.18 c GARBAGE COLLECT
181.67/182.18 c #Conflicts: 104000 | #Constraints: 664166
181.67/182.18 c #Conflicts: 105000 | #Constraints: 665166
181.67/182.18 c #Conflicts: 106000 | #Constraints: 666166
181.67/182.18 c #Conflicts: 107000 | #Constraints: 667166
181.67/182.18 c #Conflicts: 108000 | #Constraints: 668166
181.67/182.18 c #Conflicts: 109000 | #Constraints: 669166
181.67/182.18 c #Conflicts: 110000 | #Constraints: 670166
181.67/182.18 c INPROCESSING
181.67/182.18 c GARBAGE COLLECT
181.67/182.18 c #Conflicts: 111000 | #Constraints: 664567
181.67/182.18 c #Conflicts: 112000 | #Constraints: 665567
181.67/182.18 c #Conflicts: 113000 | #Constraints: 666567
181.67/182.18 c #Conflicts: 114000 | #Constraints: 667567
181.67/182.18 c #Conflicts: 115000 | #Constraints: 668567
181.67/182.18 c #Conflicts: 116000 | #Constraints: 669567
181.67/182.18 c #Conflicts: 117000 | #Constraints: 670567
181.67/182.18 c INPROCESSING
181.67/182.18 c GARBAGE COLLECT
181.67/182.18 c #Conflicts: 118000 | #Constraints: 664773
181.67/182.18 c #Conflicts: 119000 | #Constraints: 665773
181.67/182.18 c #Conflicts: 120000 | #Constraints: 666773
181.67/182.18 c #Conflicts: 121000 | #Constraints: 667773
181.67/182.18 c #Conflicts: 122000 | #Constraints: 668773
181.67/182.18 c #Conflicts: 123000 | #Constraints: 669773
181.67/182.18 c #Conflicts: 124000 | #Constraints: 670773
181.67/182.18 c INPROCESSING
181.67/182.18 c GARBAGE COLLECT
181.67/182.18 c #Conflicts: 125000 | #Constraints: 664773
181.67/182.18 c #Conflicts: 126000 | #Constraints: 665773
181.67/182.18 c #Conflicts: 127000 | #Constraints: 666773
181.67/182.18 c #Conflicts: 128000 | #Constraints: 667773
181.67/182.18 c #Conflicts: 129000 | #Constraints: 668773
181.67/182.18 c #Conflicts: 130000 | #Constraints: 669773
181.67/182.18 c #Conflicts: 131000 | #Constraints: 670773
181.67/182.18 c INPROCESSING
181.67/182.18 c GARBAGE COLLECT
181.67/182.18 c #Conflicts: 132000 | #Constraints: 664574
181.67/182.18 c #Conflicts: 133000 | #Constraints: 665574
181.67/182.18 c #Conflicts: 134000 | #Constraints: 666574
181.67/182.18 c #Conflicts: 135000 | #Constraints: 667574
181.67/182.18 c #Conflicts: 136000 | #Constraints: 668574
181.67/182.18 c #Conflicts: 137000 | #Constraints: 669574
181.67/182.18 c #Conflicts: 138000 | #Constraints: 670574
181.67/182.18 c #Conflicts: 139000 | #Constraints: 671574
181.67/182.18 c INPROCESSING
181.67/182.18 c GARBAGE COLLECT
181.67/182.18 c #Conflicts: 140000 | #Constraints: 665178
181.67/182.18 c #Conflicts: 141000 | #Constraints: 666178
181.67/182.18 c #Conflicts: 142000 | #Constraints: 667178
181.67/182.18 c #Conflicts: 143000 | #Constraints: 668178
181.67/182.18 c #Conflicts: 144000 | #Constraints: 669178
181.67/182.18 c #Conflicts: 145000 | #Constraints: 670178
181.67/182.18 c #Conflicts: 146000 | #Constraints: 671178
181.67/182.18 c #Conflicts: 147000 | #Constraints: 672178
181.67/182.18 c INPROCESSING
181.67/182.18 c GARBAGE COLLECT
181.67/182.18 c #Conflicts: 148000 | #Constraints: 665588
181.67/182.18 c #Conflicts: 149000 | #Constraints: 666588
181.67/182.18 c #Conflicts: 150000 | #Constraints: 667588
181.67/182.18 c #Conflicts: 151000 | #Constraints: 668588
181.67/182.18 c #Conflicts: 152000 | #Constraints: 669588
282.43/283.13 c #Conflicts: 153000 | #Constraints: 670588
282.43/283.13 c #Conflicts: 154000 | #Constraints: 671588
282.43/283.13 c #Conflicts: 155000 | #Constraints: 672588
282.43/283.13 c INPROCESSING
282.43/283.13 c GARBAGE COLLECT
282.43/283.13 c #Conflicts: 156000 | #Constraints: 665780
282.43/283.13 c #Conflicts: 157000 | #Constraints: 666780
282.43/283.13 c #Conflicts: 158000 | #Constraints: 667780
282.43/283.13 c #Conflicts: 159000 | #Constraints: 668780
282.43/283.13 c #Conflicts: 160000 | #Constraints: 669780
282.43/283.13 c #Conflicts: 161000 | #Constraints: 670780
282.43/283.13 c #Conflicts: 162000 | #Constraints: 671780
282.43/283.13 c #Conflicts: 163000 | #Constraints: 672780
282.43/283.13 c INPROCESSING
282.43/283.13 c GARBAGE COLLECT
282.43/283.13 c #Conflicts: 164000 | #Constraints: 665785
282.43/283.13 c #Conflicts: 165000 | #Constraints: 666785
282.43/283.13 c #Conflicts: 166000 | #Constraints: 667785
282.43/283.13 c #Conflicts: 167000 | #Constraints: 668785
282.43/283.13 c #Conflicts: 168000 | #Constraints: 669785
282.43/283.13 c #Conflicts: 169000 | #Constraints: 670785
282.43/283.13 c #Conflicts: 170000 | #Constraints: 671785
282.43/283.13 c #Conflicts: 171000 | #Constraints: 672785
282.43/283.13 c INPROCESSING
282.43/283.13 c GARBAGE COLLECT
282.43/283.13 c #Conflicts: 172000 | #Constraints: 665580
282.43/283.13 c #Conflicts: 173000 | #Constraints: 666580
282.43/283.13 c #Conflicts: 174000 | #Constraints: 667580
282.43/283.13 c #Conflicts: 175000 | #Constraints: 668580
282.43/283.13 c #Conflicts: 176000 | #Constraints: 669580
282.43/283.13 c #Conflicts: 177000 | #Constraints: 670580
282.43/283.13 c #Conflicts: 178000 | #Constraints: 671580
282.43/283.13 c #Conflicts: 179000 | #Constraints: 672580
282.43/283.13 c #Conflicts: 180000 | #Constraints: 673580
282.43/283.13 c INPROCESSING
282.43/283.13 c GARBAGE COLLECT
282.43/283.13 c #Conflicts: 181000 | #Constraints: 666181
282.43/283.13 c #Conflicts: 182000 | #Constraints: 667181
282.43/283.13 c #Conflicts: 183000 | #Constraints: 668181
282.43/283.13 c #Conflicts: 184000 | #Constraints: 669181
282.43/283.13 c #Conflicts: 185000 | #Constraints: 670181
282.43/283.13 c #Conflicts: 186000 | #Constraints: 671181
282.43/283.13 c #Conflicts: 187000 | #Constraints: 672181
282.43/283.13 c #Conflicts: 188000 | #Constraints: 673181
282.43/283.13 c #Conflicts: 189000 | #Constraints: 674181
282.43/283.13 c INPROCESSING
282.43/283.13 c GARBAGE COLLECT
282.43/283.13 c #Conflicts: 190000 | #Constraints: 666589
282.43/283.13 c #Conflicts: 191000 | #Constraints: 667589
282.43/283.13 c #Conflicts: 192000 | #Constraints: 668589
282.43/283.13 c #Conflicts: 193000 | #Constraints: 669589
282.43/283.13 c #Conflicts: 194000 | #Constraints: 670589
282.43/283.13 c #Conflicts: 195000 | #Constraints: 671589
282.43/283.13 c #Conflicts: 196000 | #Constraints: 672589
282.43/283.13 c #Conflicts: 197000 | #Constraints: 673589
282.43/283.13 c #Conflicts: 198000 | #Constraints: 674589
282.43/283.13 c INPROCESSING
282.43/283.13 c GARBAGE COLLECT
282.43/283.13 c #Conflicts: 199000 | #Constraints: 666782
282.43/283.13 c #Conflicts: 200000 | #Constraints: 667782
282.43/283.13 c #Conflicts: 201000 | #Constraints: 668782
282.43/283.13 c #Conflicts: 202000 | #Constraints: 669782
282.43/283.13 c #Conflicts: 203000 | #Constraints: 670782
282.43/283.13 c #Conflicts: 204000 | #Constraints: 671782
282.43/283.13 c #Conflicts: 205000 | #Constraints: 672782
282.43/283.13 c #Conflicts: 206000 | #Constraints: 673782
282.43/283.13 c #Conflicts: 207000 | #Constraints: 674782
282.43/283.13 c INPROCESSING
282.43/283.13 c GARBAGE COLLECT
282.43/283.13 c #Conflicts: 208000 | #Constraints: 666788
282.43/283.13 c #Conflicts: 209000 | #Constraints: 667788
282.43/283.13 c #Conflicts: 210000 | #Constraints: 668788
282.43/283.13 c #Conflicts: 211000 | #Constraints: 669788
282.43/283.13 c #Conflicts: 212000 | #Constraints: 670788
282.43/283.13 c #Conflicts: 213000 | #Constraints: 671788
282.43/283.13 c #Conflicts: 214000 | #Constraints: 672788
282.43/283.13 c #Conflicts: 215000 | #Constraints: 673788
282.43/283.13 c #Conflicts: 216000 | #Constraints: 674788
282.43/283.13 c INPROCESSING
282.43/283.13 c GARBAGE COLLECT
282.43/283.13 c #Conflicts: 217000 | #Constraints: 666590
282.43/283.13 c #Conflicts: 218000 | #Constraints: 667590
282.43/283.13 c #Conflicts: 219000 | #Constraints: 668590
282.43/283.13 c #Conflicts: 220000 | #Constraints: 669590
282.43/283.13 c #Conflicts: 221000 | #Constraints: 670590
282.43/283.13 c #Conflicts: 222000 | #Constraints: 671590
282.43/283.13 c #Conflicts: 223000 | #Constraints: 672590
282.43/283.13 c #Conflicts: 224000 | #Constraints: 673590
282.43/283.13 c #Conflicts: 225000 | #Constraints: 674590
305.06/305.85 c #Conflicts: 226000 | #Constraints: 675590
305.06/305.85 c INPROCESSING
305.06/305.85 c GARBAGE COLLECT
305.06/305.85 c #Conflicts: 227000 | #Constraints: 667196
305.06/305.85 c #Conflicts: 228000 | #Constraints: 668196
305.06/305.85 c #Conflicts: 229000 | #Constraints: 669196
305.06/305.85 c #Conflicts: 230000 | #Constraints: 670196
305.06/305.85 c #Conflicts: 231000 | #Constraints: 671196
305.06/305.85 c #Conflicts: 232000 | #Constraints: 672196
305.06/305.85 c #Conflicts: 233000 | #Constraints: 673196
305.06/305.85 c #Conflicts: 234000 | #Constraints: 674196
305.06/305.85 c #Conflicts: 235000 | #Constraints: 675196
305.06/305.85 c #Conflicts: 236000 | #Constraints: 676196
305.06/305.85 c INPROCESSING
305.06/305.85 c GARBAGE COLLECT
305.06/305.85 c #Conflicts: 237000 | #Constraints: 667590
305.06/305.85 c #Conflicts: 238000 | #Constraints: 668590
305.06/305.85 c #Conflicts: 239000 | #Constraints: 669590
305.06/305.85 c #Conflicts: 240000 | #Constraints: 670590
305.06/305.85 c #Conflicts: 241000 | #Constraints: 671590
305.06/305.85 c #Conflicts: 242000 | #Constraints: 672590
305.06/305.85 c #Conflicts: 243000 | #Constraints: 673590
305.06/305.85 c bounds 410 >= 8 @ 299.402
305.06/305.86 c stratification level: 6
407.71/408.71 c #Conflicts: 244000 | #Constraints: 674591
407.71/408.71 c #Conflicts: 245000 | #Constraints: 675591
407.71/408.71 c #Conflicts: 246000 | #Constraints: 676591
407.71/408.71 c INPROCESSING
407.71/408.71 c GARBAGE COLLECT
407.71/408.71 c #Conflicts: 247000 | #Constraints: 667790
407.71/408.71 c #Conflicts: 248000 | #Constraints: 668790
407.71/408.71 c #Conflicts: 249000 | #Constraints: 669790
407.71/408.71 c #Conflicts: 250000 | #Constraints: 670790
407.71/408.71 c #Conflicts: 251000 | #Constraints: 671790
407.71/408.71 c #Conflicts: 252000 | #Constraints: 672790
407.71/408.71 c #Conflicts: 253000 | #Constraints: 673790
407.71/408.71 c #Conflicts: 254000 | #Constraints: 674790
407.71/408.71 c #Conflicts: 255000 | #Constraints: 675790
407.71/408.71 c #Conflicts: 256000 | #Constraints: 676790
407.71/408.71 c INPROCESSING
407.71/408.71 c GARBAGE COLLECT
407.71/408.71 c #Conflicts: 257000 | #Constraints: 667802
407.71/408.71 c #Conflicts: 258000 | #Constraints: 668802
407.71/408.71 c #Conflicts: 259000 | #Constraints: 669802
407.71/408.71 c #Conflicts: 260000 | #Constraints: 670802
407.71/408.71 c #Conflicts: 261000 | #Constraints: 671802
407.71/408.71 c #Conflicts: 262000 | #Constraints: 672802
407.71/408.71 c #Conflicts: 263000 | #Constraints: 673802
407.71/408.71 c #Conflicts: 264000 | #Constraints: 674802
407.71/408.71 c #Conflicts: 265000 | #Constraints: 675802
407.71/408.71 c #Conflicts: 266000 | #Constraints: 676802
407.71/408.71 c INPROCESSING
407.71/408.71 c GARBAGE COLLECT
407.71/408.71 c #Conflicts: 267000 | #Constraints: 667597
407.71/408.71 c #Conflicts: 268000 | #Constraints: 668597
407.71/408.71 c #Conflicts: 269000 | #Constraints: 669597
407.71/408.71 c #Conflicts: 270000 | #Constraints: 670597
407.71/408.71 c #Conflicts: 271000 | #Constraints: 671597
407.71/408.71 c #Conflicts: 272000 | #Constraints: 672597
407.71/408.71 c #Conflicts: 273000 | #Constraints: 673597
407.71/408.71 c #Conflicts: 274000 | #Constraints: 674597
407.71/408.71 c #Conflicts: 275000 | #Constraints: 675597
407.71/408.71 c #Conflicts: 276000 | #Constraints: 676597
407.71/408.71 c #Conflicts: 277000 | #Constraints: 677597
407.71/408.71 c INPROCESSING
407.71/408.71 c GARBAGE COLLECT
407.71/408.71 c #Conflicts: 278000 | #Constraints: 668209
407.71/408.71 c #Conflicts: 279000 | #Constraints: 669209
407.71/408.71 c #Conflicts: 280000 | #Constraints: 670209
407.71/408.71 c #Conflicts: 281000 | #Constraints: 671209
407.71/408.71 c #Conflicts: 282000 | #Constraints: 672209
407.71/408.71 c #Conflicts: 283000 | #Constraints: 673209
407.71/408.71 c #Conflicts: 284000 | #Constraints: 674209
407.71/408.71 c #Conflicts: 285000 | #Constraints: 675209
407.71/408.71 c #Conflicts: 286000 | #Constraints: 676209
407.71/408.71 c #Conflicts: 287000 | #Constraints: 677209
407.71/408.71 c #Conflicts: 288000 | #Constraints: 678209
407.71/408.71 c INPROCESSING
407.71/408.71 c GARBAGE COLLECT
407.71/408.71 c #Conflicts: 289000 | #Constraints: 668605
407.71/408.71 c #Conflicts: 290000 | #Constraints: 669605
407.71/408.71 c #Conflicts: 291000 | #Constraints: 670605
407.71/408.71 c #Conflicts: 292000 | #Constraints: 671605
407.71/408.71 c #Conflicts: 293000 | #Constraints: 672605
407.71/408.71 c #Conflicts: 294000 | #Constraints: 673605
407.71/408.71 c #Conflicts: 295000 | #Constraints: 674605
407.71/408.71 c #Conflicts: 296000 | #Constraints: 675605
407.71/408.71 c #Conflicts: 297000 | #Constraints: 676605
407.71/408.71 c #Conflicts: 298000 | #Constraints: 677605
407.71/408.71 c #Conflicts: 299000 | #Constraints: 678605
407.71/408.71 c INPROCESSING
407.71/408.71 c GARBAGE COLLECT
407.71/408.71 c #Conflicts: 300000 | #Constraints: 668803
407.71/408.71 c #Conflicts: 301000 | #Constraints: 669803
407.71/408.71 c #Conflicts: 302000 | #Constraints: 670803
407.71/408.71 c #Conflicts: 303000 | #Constraints: 671803
407.71/408.71 c #Conflicts: 304000 | #Constraints: 672803
407.71/408.71 c #Conflicts: 305000 | #Constraints: 673803
407.71/408.71 c #Conflicts: 306000 | #Constraints: 674803
407.71/408.71 c #Conflicts: 307000 | #Constraints: 675803
407.71/408.71 c #Conflicts: 308000 | #Constraints: 676803
407.71/408.71 c #Conflicts: 309000 | #Constraints: 677803
407.71/408.71 c #Conflicts: 310000 | #Constraints: 678803
407.71/408.71 c INPROCESSING
407.71/408.71 c GARBAGE COLLECT
407.71/408.71 c #Conflicts: 311000 | #Constraints: 668796
407.71/408.71 c #Conflicts: 312000 | #Constraints: 669796
407.71/408.71 c #Conflicts: 313000 | #Constraints: 670796
407.71/408.71 c #Conflicts: 314000 | #Constraints: 671796
407.71/408.71 c #Conflicts: 315000 | #Constraints: 672796
407.71/408.71 c #Conflicts: 316000 | #Constraints: 673796
407.71/408.71 c #Conflicts: 317000 | #Constraints: 674796
407.71/408.71 c #Conflicts: 318000 | #Constraints: 675796
515.26/516.58 c #Conflicts: 319000 | #Constraints: 676796
515.26/516.58 c #Conflicts: 320000 | #Constraints: 677796
515.26/516.58 c #Conflicts: 321000 | #Constraints: 678796
515.26/516.58 c INPROCESSING
515.26/516.58 c GARBAGE COLLECT
515.26/516.58 c #Conflicts: 322000 | #Constraints: 668612
515.26/516.58 c #Conflicts: 323000 | #Constraints: 669612
515.26/516.58 c #Conflicts: 324000 | #Constraints: 670612
515.26/516.58 c #Conflicts: 325000 | #Constraints: 671612
515.26/516.58 c #Conflicts: 326000 | #Constraints: 672612
515.26/516.58 c #Conflicts: 327000 | #Constraints: 673612
515.26/516.58 c #Conflicts: 328000 | #Constraints: 674612
515.26/516.58 c #Conflicts: 329000 | #Constraints: 675612
515.26/516.58 c #Conflicts: 330000 | #Constraints: 676612
515.26/516.58 c #Conflicts: 331000 | #Constraints: 677612
515.26/516.58 c #Conflicts: 332000 | #Constraints: 678612
515.26/516.58 c #Conflicts: 333000 | #Constraints: 679612
515.26/516.58 c INPROCESSING
515.26/516.58 c GARBAGE COLLECT
515.26/516.58 c #Conflicts: 334000 | #Constraints: 669208
515.26/516.58 c #Conflicts: 335000 | #Constraints: 670208
515.26/516.58 c #Conflicts: 336000 | #Constraints: 671208
515.26/516.58 c #Conflicts: 337000 | #Constraints: 672208
515.26/516.58 c #Conflicts: 338000 | #Constraints: 673208
515.26/516.58 c #Conflicts: 339000 | #Constraints: 674208
515.26/516.58 c #Conflicts: 340000 | #Constraints: 675208
515.26/516.58 c #Conflicts: 341000 | #Constraints: 676208
515.26/516.58 c #Conflicts: 342000 | #Constraints: 677208
515.26/516.58 c #Conflicts: 343000 | #Constraints: 678208
515.26/516.58 c #Conflicts: 344000 | #Constraints: 679208
515.26/516.58 c #Conflicts: 345000 | #Constraints: 680208
515.26/516.58 c INPROCESSING
515.26/516.58 c GARBAGE COLLECT
515.26/516.58 c #Conflicts: 346000 | #Constraints: 669602
515.26/516.58 c #Conflicts: 347000 | #Constraints: 670602
515.26/516.58 c #Conflicts: 348000 | #Constraints: 671602
515.26/516.58 c #Conflicts: 349000 | #Constraints: 672602
515.26/516.58 c #Conflicts: 350000 | #Constraints: 673602
515.26/516.58 c #Conflicts: 351000 | #Constraints: 674602
515.26/516.58 c #Conflicts: 352000 | #Constraints: 675602
515.26/516.58 c #Conflicts: 353000 | #Constraints: 676602
515.26/516.58 c #Conflicts: 354000 | #Constraints: 677602
515.26/516.58 c #Conflicts: 355000 | #Constraints: 678602
515.26/516.58 c #Conflicts: 356000 | #Constraints: 679602
515.26/516.58 c #Conflicts: 357000 | #Constraints: 680602
515.26/516.58 c INPROCESSING
515.26/516.58 c GARBAGE COLLECT
515.26/516.58 c #Conflicts: 358000 | #Constraints: 669809
515.26/516.58 c #Conflicts: 359000 | #Constraints: 670809
515.26/516.58 c #Conflicts: 360000 | #Constraints: 671809
515.26/516.58 c #Conflicts: 361000 | #Constraints: 672809
515.26/516.58 c #Conflicts: 362000 | #Constraints: 673809
515.26/516.58 c #Conflicts: 363000 | #Constraints: 674809
515.26/516.58 c #Conflicts: 364000 | #Constraints: 675809
515.26/516.58 c #Conflicts: 365000 | #Constraints: 676809
515.26/516.58 c #Conflicts: 366000 | #Constraints: 677809
515.26/516.58 c #Conflicts: 367000 | #Constraints: 678809
515.26/516.58 c #Conflicts: 368000 | #Constraints: 679809
515.26/516.58 c #Conflicts: 369000 | #Constraints: 680809
515.26/516.58 c INPROCESSING
515.26/516.58 c GARBAGE COLLECT
515.26/516.58 c #Conflicts: 370000 | #Constraints: 669812
515.26/516.58 c #Conflicts: 371000 | #Constraints: 670812
515.26/516.58 c #Conflicts: 372000 | #Constraints: 671812
515.26/516.58 c #Conflicts: 373000 | #Constraints: 672812
515.26/516.58 c #Conflicts: 374000 | #Constraints: 673812
515.26/516.58 c #Conflicts: 375000 | #Constraints: 674812
515.26/516.58 c #Conflicts: 376000 | #Constraints: 675812
515.26/516.58 c #Conflicts: 377000 | #Constraints: 676812
515.26/516.58 c #Conflicts: 378000 | #Constraints: 677812
515.26/516.58 c #Conflicts: 379000 | #Constraints: 678812
515.26/516.58 c #Conflicts: 380000 | #Constraints: 679812
515.26/516.58 c #Conflicts: 381000 | #Constraints: 680812
515.26/516.58 c INPROCESSING
515.26/516.58 c GARBAGE COLLECT
515.26/516.58 c #Conflicts: 382000 | #Constraints: 669616
515.26/516.58 c #Conflicts: 383000 | #Constraints: 670616
515.26/516.58 c #Conflicts: 384000 | #Constraints: 671616
515.26/516.58 c #Conflicts: 385000 | #Constraints: 672616
515.26/516.58 c #Conflicts: 386000 | #Constraints: 673616
515.26/516.58 c #Conflicts: 387000 | #Constraints: 674616
515.26/516.58 c #Conflicts: 388000 | #Constraints: 675616
515.26/516.58 c #Conflicts: 389000 | #Constraints: 676616
515.26/516.58 c #Conflicts: 390000 | #Constraints: 677616
515.26/516.58 c #Conflicts: 391000 | #Constraints: 678616
515.26/516.58 c #Conflicts: 392000 | #Constraints: 679616
515.26/516.58 c #Conflicts: 393000 | #Constraints: 680616
521.44/522.77 c #Conflicts: 394000 | #Constraints: 681616
521.44/522.77 c INPROCESSING
521.44/522.77 c GARBAGE COLLECT
521.44/522.77 c #Conflicts: 395000 | #Constraints: 670220
521.44/522.77 c #Conflicts: 396000 | #Constraints: 671220
521.44/522.77 c bounds 326 >= 8 @ 512.53
521.44/522.77 c stratification level: 5
908.27/910.59 c bounds 326 >= 13 @ 512.537
908.27/910.59 c #Conflicts: 397000 | #Constraints: 672223
908.27/910.59 c #Conflicts: 398000 | #Constraints: 673223
908.27/910.59 c #Conflicts: 399000 | #Constraints: 674223
908.27/910.59 c #Conflicts: 400000 | #Constraints: 675223
908.27/910.59 c #Conflicts: 401000 | #Constraints: 676223
908.27/910.59 c #Conflicts: 402000 | #Constraints: 677223
908.27/910.59 c #Conflicts: 403000 | #Constraints: 678223
908.27/910.59 c #Conflicts: 404000 | #Constraints: 679223
908.27/910.59 c #Conflicts: 405000 | #Constraints: 680223
908.27/910.59 c #Conflicts: 406000 | #Constraints: 681223
908.27/910.59 c #Conflicts: 407000 | #Constraints: 682223
908.27/910.59 c INPROCESSING
908.27/910.59 c GARBAGE COLLECT
908.27/910.59 c #Conflicts: 408000 | #Constraints: 670617
908.27/910.59 c #Conflicts: 409000 | #Constraints: 671617
908.27/910.59 c #Conflicts: 410000 | #Constraints: 672617
908.27/910.59 c #Conflicts: 411000 | #Constraints: 673617
908.27/910.59 c #Conflicts: 412000 | #Constraints: 674617
908.27/910.59 c #Conflicts: 413000 | #Constraints: 675617
908.27/910.59 c #Conflicts: 414000 | #Constraints: 676617
908.27/910.59 c #Conflicts: 415000 | #Constraints: 677617
908.27/910.59 c #Conflicts: 416000 | #Constraints: 678617
908.27/910.59 c #Conflicts: 417000 | #Constraints: 679617
908.27/910.59 c #Conflicts: 418000 | #Constraints: 680617
908.27/910.59 c #Conflicts: 419000 | #Constraints: 681617
908.27/910.59 c #Conflicts: 420000 | #Constraints: 682617
908.27/910.59 c INPROCESSING
908.27/910.59 c GARBAGE COLLECT
908.27/910.59 c #Conflicts: 421000 | #Constraints: 670815
908.27/910.59 c #Conflicts: 422000 | #Constraints: 671815
908.27/910.59 c #Conflicts: 423000 | #Constraints: 672815
908.27/910.59 c #Conflicts: 424000 | #Constraints: 673815
908.27/910.59 c #Conflicts: 425000 | #Constraints: 674815
908.27/910.59 c #Conflicts: 426000 | #Constraints: 675815
908.27/910.59 c #Conflicts: 427000 | #Constraints: 676815
908.27/910.59 c #Conflicts: 428000 | #Constraints: 677815
908.27/910.59 c #Conflicts: 429000 | #Constraints: 678815
908.27/910.59 c #Conflicts: 430000 | #Constraints: 679815
908.27/910.59 c #Conflicts: 431000 | #Constraints: 680815
908.27/910.59 c #Conflicts: 432000 | #Constraints: 681815
908.27/910.59 c #Conflicts: 433000 | #Constraints: 682815
908.27/910.59 c INPROCESSING
908.27/910.59 c GARBAGE COLLECT
908.27/910.59 c #Conflicts: 434000 | #Constraints: 670817
908.27/910.59 c bounds 326 >= 18 @ 577.407
908.27/910.59 c #Conflicts: 435000 | #Constraints: 671818
908.27/910.59 c #Conflicts: 436000 | #Constraints: 672818
908.27/910.59 c #Conflicts: 437000 | #Constraints: 673818
908.27/910.59 c #Conflicts: 438000 | #Constraints: 674818
908.27/910.59 c #Conflicts: 439000 | #Constraints: 675818
908.27/910.59 c #Conflicts: 440000 | #Constraints: 676818
908.27/910.59 c #Conflicts: 441000 | #Constraints: 677818
908.27/910.59 c #Conflicts: 442000 | #Constraints: 678818
908.27/910.59 c #Conflicts: 443000 | #Constraints: 679818
908.27/910.59 c #Conflicts: 444000 | #Constraints: 680818
908.27/910.59 c #Conflicts: 445000 | #Constraints: 681818
908.27/910.59 c #Conflicts: 446000 | #Constraints: 682818
908.27/910.59 c INPROCESSING
908.27/910.59 c GARBAGE COLLECT
908.27/910.59 c #Conflicts: 447000 | #Constraints: 670599
908.27/910.59 c #Conflicts: 448000 | #Constraints: 671599
908.27/910.59 c #Conflicts: 449000 | #Constraints: 672599
908.27/910.59 c #Conflicts: 450000 | #Constraints: 673599
908.27/910.59 c #Conflicts: 451000 | #Constraints: 674599
908.27/910.59 c #Conflicts: 452000 | #Constraints: 675599
908.27/910.59 c #Conflicts: 453000 | #Constraints: 676599
908.27/910.59 c #Conflicts: 454000 | #Constraints: 677599
908.27/910.59 c #Conflicts: 455000 | #Constraints: 678599
908.27/910.59 c #Conflicts: 456000 | #Constraints: 679599
908.27/910.59 c #Conflicts: 457000 | #Constraints: 680599
908.27/910.59 c #Conflicts: 458000 | #Constraints: 681599
908.27/910.59 c #Conflicts: 459000 | #Constraints: 682599
908.27/910.59 c #Conflicts: 460000 | #Constraints: 683599
908.27/910.59 c INPROCESSING
908.27/910.59 c GARBAGE COLLECT
908.27/910.59 c #Conflicts: 461000 | #Constraints: 671171
908.27/910.59 c #Conflicts: 462000 | #Constraints: 672171
908.27/910.59 c #Conflicts: 463000 | #Constraints: 673171
908.27/910.59 c #Conflicts: 464000 | #Constraints: 674171
908.27/910.59 c #Conflicts: 465000 | #Constraints: 675171
908.27/910.59 c #Conflicts: 466000 | #Constraints: 676171
908.27/910.59 c #Conflicts: 467000 | #Constraints: 677171
908.27/910.59 c #Conflicts: 468000 | #Constraints: 678171
908.27/910.59 c #Conflicts: 469000 | #Constraints: 679171
908.27/910.59 c #Conflicts: 470000 | #Constraints: 680171
908.27/910.59 c #Conflicts: 471000 | #Constraints: 681171
2007.20/2012.22 c #Conflicts: 472000 | #Constraints: 682171
2007.20/2012.22 c #Conflicts: 473000 | #Constraints: 683171
2007.20/2012.22 c #Conflicts: 474000 | #Constraints: 684171
2007.20/2012.22 c INPROCESSING
2007.20/2012.22 c GARBAGE COLLECT
2007.20/2012.22 c #Conflicts: 475000 | #Constraints: 671566
2007.20/2012.22 c #Conflicts: 476000 | #Constraints: 672566
2007.20/2012.22 c #Conflicts: 477000 | #Constraints: 673566
2007.20/2012.22 c #Conflicts: 478000 | #Constraints: 674566
2007.20/2012.22 c #Conflicts: 479000 | #Constraints: 675566
2007.20/2012.22 c #Conflicts: 480000 | #Constraints: 676566
2007.20/2012.22 c #Conflicts: 481000 | #Constraints: 677566
2007.20/2012.22 c #Conflicts: 482000 | #Constraints: 678566
2007.20/2012.22 c #Conflicts: 483000 | #Constraints: 679566
2007.20/2012.22 c #Conflicts: 484000 | #Constraints: 680566
2007.20/2012.22 c #Conflicts: 485000 | #Constraints: 681566
2007.20/2012.22 c #Conflicts: 486000 | #Constraints: 682566
2007.20/2012.22 c #Conflicts: 487000 | #Constraints: 683566
2007.20/2012.22 c #Conflicts: 488000 | #Constraints: 684566
2007.20/2012.22 c INPROCESSING
2007.20/2012.22 c GARBAGE COLLECT
2007.20/2012.22 c #Conflicts: 489000 | #Constraints: 671766
2007.20/2012.22 c #Conflicts: 490000 | #Constraints: 672766
2007.20/2012.22 c #Conflicts: 491000 | #Constraints: 673766
2007.20/2012.22 c #Conflicts: 492000 | #Constraints: 674766
2007.20/2012.22 c #Conflicts: 493000 | #Constraints: 675766
2007.20/2012.22 c #Conflicts: 494000 | #Constraints: 676766
2007.20/2012.22 c #Conflicts: 495000 | #Constraints: 677766
2007.20/2012.22 c #Conflicts: 496000 | #Constraints: 678766
2007.20/2012.22 c #Conflicts: 497000 | #Constraints: 679766
2007.20/2012.22 c #Conflicts: 498000 | #Constraints: 680766
2007.20/2012.22 c #Conflicts: 499000 | #Constraints: 681766
2007.20/2012.22 c #Conflicts: 500000 | #Constraints: 682766
2007.20/2012.22 c #Conflicts: 501000 | #Constraints: 683766
2007.20/2012.22 c #Conflicts: 502000 | #Constraints: 684766
2007.20/2012.22 c INPROCESSING
2007.20/2012.22 c GARBAGE COLLECT
2007.20/2012.22 c #Conflicts: 503000 | #Constraints: 671765
2007.20/2012.22 c #Conflicts: 504000 | #Constraints: 672765
2007.20/2012.22 c #Conflicts: 505000 | #Constraints: 673765
2007.20/2012.22 c #Conflicts: 506000 | #Constraints: 674765
2007.20/2012.22 c #Conflicts: 507000 | #Constraints: 675765
2007.20/2012.22 c #Conflicts: 508000 | #Constraints: 676765
2007.20/2012.22 c #Conflicts: 509000 | #Constraints: 677765
2007.20/2012.22 c #Conflicts: 510000 | #Constraints: 678765
2007.20/2012.22 c #Conflicts: 511000 | #Constraints: 679765
2007.20/2012.22 c #Conflicts: 512000 | #Constraints: 680765
2007.20/2012.22 c #Conflicts: 513000 | #Constraints: 681765
2007.20/2012.22 c #Conflicts: 514000 | #Constraints: 682765
2007.20/2012.22 c #Conflicts: 515000 | #Constraints: 683765
2007.20/2012.22 c #Conflicts: 516000 | #Constraints: 684765
2007.20/2012.22 c INPROCESSING
2007.20/2012.22 c GARBAGE COLLECT
2007.20/2012.22 c #Conflicts: 517000 | #Constraints: 671545
2007.20/2012.22 c #Conflicts: 518000 | #Constraints: 672545
2007.20/2012.22 c #Conflicts: 519000 | #Constraints: 673545
2007.20/2012.22 c #Conflicts: 520000 | #Constraints: 674545
2007.20/2012.22 c #Conflicts: 521000 | #Constraints: 675545
2007.20/2012.22 c #Conflicts: 522000 | #Constraints: 676545
2007.20/2012.22 c #Conflicts: 523000 | #Constraints: 677545
2007.20/2012.22 c #Conflicts: 524000 | #Constraints: 678545
2007.20/2012.22 c #Conflicts: 525000 | #Constraints: 679545
2007.20/2012.22 c #Conflicts: 526000 | #Constraints: 680545
2007.20/2012.22 c #Conflicts: 527000 | #Constraints: 681545
2007.20/2012.22 c #Conflicts: 528000 | #Constraints: 682545
2007.20/2012.22 c #Conflicts: 529000 | #Constraints: 683545
2007.20/2012.22 c #Conflicts: 530000 | #Constraints: 684545
2007.20/2012.22 c #Conflicts: 531000 | #Constraints: 685545
2007.20/2012.22 c INPROCESSING
2007.20/2012.22 c GARBAGE COLLECT
2007.20/2012.22 c #Conflicts: 532000 | #Constraints: 672138
2007.20/2012.22 c #Conflicts: 533000 | #Constraints: 673138
2007.20/2012.22 c #Conflicts: 534000 | #Constraints: 674138
2007.20/2012.22 c #Conflicts: 535000 | #Constraints: 675138
2007.20/2012.22 c #Conflicts: 536000 | #Constraints: 676138
2007.20/2012.22 c #Conflicts: 537000 | #Constraints: 677138
2007.20/2012.22 c #Conflicts: 538000 | #Constraints: 678138
2007.20/2012.22 c #Conflicts: 539000 | #Constraints: 679138
2007.20/2012.22 c #Conflicts: 540000 | #Constraints: 680138
2007.20/2012.22 c #Conflicts: 541000 | #Constraints: 681138
2007.20/2012.22 c #Conflicts: 542000 | #Constraints: 682138
2007.20/2012.22 c #Conflicts: 543000 | #Constraints: 683138
2007.20/2012.22 c #Conflicts: 544000 | #Constraints: 684138
2007.20/2012.22 c #Conflicts: 545000 | #Constraints: 685138
2007.20/2012.22 c #Conflicts: 546000 | #Constraints: 686138
2007.20/2012.22 c INPROCESSING
3225.56/3233.59 c GARBAGE COLLECT
3225.56/3233.59 c #Conflicts: 547000 | #Constraints: 672532
3225.56/3233.59 c #Conflicts: 548000 | #Constraints: 673532
3225.56/3233.59 c #Conflicts: 549000 | #Constraints: 674532
3225.56/3233.59 c #Conflicts: 550000 | #Constraints: 675532
3225.56/3233.59 c #Conflicts: 551000 | #Constraints: 676532
3225.56/3233.59 c #Conflicts: 552000 | #Constraints: 677532
3225.56/3233.59 c #Conflicts: 553000 | #Constraints: 678532
3225.56/3233.59 c #Conflicts: 554000 | #Constraints: 679532
3225.56/3233.59 c #Conflicts: 555000 | #Constraints: 680532
3225.56/3233.59 c #Conflicts: 556000 | #Constraints: 681532
3225.56/3233.59 c #Conflicts: 557000 | #Constraints: 682532
3225.56/3233.59 c #Conflicts: 558000 | #Constraints: 683532
3225.56/3233.59 c #Conflicts: 559000 | #Constraints: 684532
3225.56/3233.59 c #Conflicts: 560000 | #Constraints: 685532
3225.56/3233.59 c #Conflicts: 561000 | #Constraints: 686532
3225.56/3233.59 c INPROCESSING
3225.56/3233.59 c GARBAGE COLLECT
3225.56/3233.59 c #Conflicts: 562000 | #Constraints: 672721
3225.56/3233.59 c #Conflicts: 563000 | #Constraints: 673721
3225.56/3233.59 c #Conflicts: 564000 | #Constraints: 674721
3225.56/3233.59 c #Conflicts: 565000 | #Constraints: 675721
3225.56/3233.59 c #Conflicts: 566000 | #Constraints: 676721
3225.56/3233.59 c #Conflicts: 567000 | #Constraints: 677721
3225.56/3233.59 c #Conflicts: 568000 | #Constraints: 678721
3225.56/3233.59 c #Conflicts: 569000 | #Constraints: 679721
3225.56/3233.59 c #Conflicts: 570000 | #Constraints: 680721
3225.56/3233.59 c #Conflicts: 571000 | #Constraints: 681721
3225.56/3233.59 c #Conflicts: 572000 | #Constraints: 682721
3225.56/3233.59 c #Conflicts: 573000 | #Constraints: 683721
3225.56/3233.59 c #Conflicts: 574000 | #Constraints: 684721
3225.56/3233.59 c #Conflicts: 575000 | #Constraints: 685721
3225.56/3233.59 c #Conflicts: 576000 | #Constraints: 686721
3225.56/3233.59 c INPROCESSING
3225.56/3233.59 c GARBAGE COLLECT
3225.56/3233.59 c #Conflicts: 577000 | #Constraints: 672723
3225.56/3233.59 c #Conflicts: 578000 | #Constraints: 673723
3225.56/3233.59 c #Conflicts: 579000 | #Constraints: 674723
3225.56/3233.59 c #Conflicts: 580000 | #Constraints: 675723
3225.56/3233.59 c #Conflicts: 581000 | #Constraints: 676723
3225.56/3233.59 c #Conflicts: 582000 | #Constraints: 677723
3225.56/3233.59 c #Conflicts: 583000 | #Constraints: 678723
3225.56/3233.59 c #Conflicts: 584000 | #Constraints: 679723
3225.56/3233.59 c #Conflicts: 585000 | #Constraints: 680723
3225.56/3233.59 c #Conflicts: 586000 | #Constraints: 681723
3225.56/3233.59 c #Conflicts: 587000 | #Constraints: 682723
3225.56/3233.59 c #Conflicts: 588000 | #Constraints: 683723
3225.56/3233.59 c #Conflicts: 589000 | #Constraints: 684723
3225.56/3233.59 c #Conflicts: 590000 | #Constraints: 685723
3225.56/3233.59 c #Conflicts: 591000 | #Constraints: 686723
3225.56/3233.59 c INPROCESSING
3225.56/3233.59 c GARBAGE COLLECT
3225.56/3233.59 c #Conflicts: 592000 | #Constraints: 672522
3225.56/3233.59 c #Conflicts: 593000 | #Constraints: 673522
3225.56/3233.59 c #Conflicts: 594000 | #Constraints: 674522
3225.56/3233.59 c #Conflicts: 595000 | #Constraints: 675522
3225.56/3233.59 c #Conflicts: 596000 | #Constraints: 676522
3225.56/3233.59 c #Conflicts: 597000 | #Constraints: 677522
3225.56/3233.59 c #Conflicts: 598000 | #Constraints: 678522
3225.56/3233.59 c #Conflicts: 599000 | #Constraints: 679522
3225.56/3233.59 c #Conflicts: 600000 | #Constraints: 680522
3225.56/3233.59 c #Conflicts: 601000 | #Constraints: 681522
3225.56/3233.59 c #Conflicts: 602000 | #Constraints: 682522
3225.56/3233.59 c #Conflicts: 603000 | #Constraints: 683522
3225.56/3233.59 c #Conflicts: 604000 | #Constraints: 684522
3225.56/3233.59 c #Conflicts: 605000 | #Constraints: 685522
3225.56/3233.59 c #Conflicts: 606000 | #Constraints: 686522
3225.56/3233.59 c #Conflicts: 607000 | #Constraints: 687522
3225.56/3233.59 c INPROCESSING
3225.56/3233.59 c GARBAGE COLLECT
3225.56/3233.59 c #Conflicts: 608000 | #Constraints: 673133
3225.56/3233.59 c #Conflicts: 609000 | #Constraints: 674133
3225.56/3233.59 c #Conflicts: 610000 | #Constraints: 675133
3225.56/3233.59 c #Conflicts: 611000 | #Constraints: 676133
3225.56/3233.59 c #Conflicts: 612000 | #Constraints: 677133
3225.56/3233.59 c #Conflicts: 613000 | #Constraints: 678133
3225.56/3233.59 c #Conflicts: 614000 | #Constraints: 679133
3225.56/3233.59 c #Conflicts: 615000 | #Constraints: 680133
3225.56/3233.59 c #Conflicts: 616000 | #Constraints: 681133
3225.56/3233.59 c #Conflicts: 617000 | #Constraints: 682133
3225.56/3233.59 c #Conflicts: 618000 | #Constraints: 683133
3225.56/3233.59 c #Conflicts: 619000 | #Constraints: 684133
3225.56/3233.59 c #Conflicts: 620000 | #Constraints: 685133
3225.56/3233.59 c #Conflicts: 621000 | #Constraints: 686133
3225.56/3233.59 c #Conflicts: 622000 | #Constraints: 687133
3600.05/3608.90 c #Conflicts: 623000 | #Constraints: 688133
3600.05/3608.90 c INPROCESSING
3600.05/3608.90 c GARBAGE COLLECT
3600.05/3608.90 c #Conflicts: 624000 | #Constraints: 673532
3600.05/3608.90 c #Conflicts: 625000 | #Constraints: 674532
3600.05/3608.90 c #Conflicts: 626000 | #Constraints: 675532
3600.05/3608.90 c #Conflicts: 627000 | #Constraints: 676532
3600.05/3608.90 c #Conflicts: 628000 | #Constraints: 677532
3600.05/3608.90 c #Conflicts: 629000 | #Constraints: 678532
3600.05/3608.90 c #Conflicts: 630000 | #Constraints: 679532
3600.05/3608.90 c #Conflicts: 631000 | #Constraints: 680532
3600.05/3608.90 c #Conflicts: 632000 | #Constraints: 681532
3600.05/3608.90 c #Conflicts: 633000 | #Constraints: 682532
3600.05/3608.90 c #Conflicts: 634000 | #Constraints: 683532
3600.05/3608.90 c #Conflicts: 635000 | #Constraints: 684532
3600.05/3608.90 c #Conflicts: 636000 | #Constraints: 685532
3600.05/3608.90 c #Conflicts: 637000 | #Constraints: 686532
3600.05/3608.90 c #Conflicts: 638000 | #Constraints: 687532
3600.05/3608.90 c #Conflicts: 639000 | #Constraints: 688532
3600.05/3608.90 c INPROCESSING
3600.05/3608.90 c GARBAGE COLLECT
3600.05/3608.90 c #Conflicts: 640000 | #Constraints: 673727
3600.05/3608.90 c #Conflicts: 641000 | #Constraints: 674727
3600.05/3608.90 c #Conflicts: 642000 | #Constraints: 675727
3600.05/3608.90 c #Conflicts: 643000 | #Constraints: 676727
3600.05/3608.90 c #Conflicts: 644000 | #Constraints: 677727
3600.05/3608.90 c #Conflicts: 645000 | #Constraints: 678727
3600.05/3608.90 c #Conflicts: 646000 | #Constraints: 679727
3600.05/3608.90 c #Conflicts: 647000 | #Constraints: 680727
3600.05/3608.90 c Program interrupted by user.
3600.05/3608.90 c cpu time 3582.78 s
3600.05/3608.90 c deterministic time 698463094804 6.98e+11
3600.05/3608.90 c optimization time 116.106 s
3600.05/3608.90 c total solve time 3465.61 s
3600.05/3608.90 c core-guided solve time 3465.61 s
3600.05/3608.90 c propagation time 2225.32 s
3600.05/3608.90 c conflict analysis time 1181.82 s
3600.05/3608.90 c propagations 87662947
3600.05/3608.90 c resolve steps 13659778
3600.05/3608.90 c decisions 15894560
3600.05/3608.90 c conflicts 647558
3600.05/3608.90 c restarts 1399
3600.05/3608.90 c inprocessing phases 71
3600.05/3608.90 c input clauses 656900
3600.05/3608.90 c input cardinalities 1
3600.05/3608.90 c input general constraints 99
3600.05/3608.90 c input average constraint length 3.52
3600.05/3608.90 c input average constraint degree 72.16
3600.05/3608.90 c learned clauses 479633
3600.05/3608.90 c learned cardinalities 0
3600.05/3608.90 c learned general constraints 167925
3600.05/3608.90 c learned average constraint length 4096.44
3600.05/3608.90 c learned average constraint degree 8573208.42
3600.05/3608.90 c watched constraints 10219
3600.05/3608.90 c counting constraints 157805
3600.05/3608.90 c gcd simplifications 4614
3600.05/3608.90 c detected cardinalities 0
3600.05/3608.90 c weakened non-implied lits 498963010
3600.05/3608.90 c weakened non-implying lits 141075
3600.05/3608.90 c original variables 10000
3600.05/3608.90 c clausal propagations 58593091
3600.05/3608.90 c cardinality propagations 70245
3600.05/3608.90 c watched propagations 44584
3600.05/3608.90 c counting propagations 27707878
3600.05/3608.90 c watch lookups 21497995920
3600.05/3608.90 c watch backjump lookups 21100251374
3600.05/3608.90 c watch checks 33809793736
3600.05/3608.90 c propagation checks 615639485120
3600.05/3608.90 c constraint additions 6207815774
3600.05/3608.90 c trail pops 104195372
3600.05/3608.90 c formula constraints 656900
3600.05/3608.90 c learned constraints 647558
3600.05/3608.90 c bound constraints 98
3600.05/3608.90 c core-guided constraints 2
3600.05/3608.90 c encountered formula constraints 10469753
3600.05/3608.90 c encountered learned constraints 3822522
3600.05/3608.90 c encountered bound constraints 8055
3600.05/3608.90 c encountered core-guided constraints 7006
3600.05/3608.90 c LP total time 0 s
3600.05/3608.90 c LP solve time 0 s
3600.05/3608.90 c LP constraints added 0
3600.05/3608.90 c LP constraints removed 0
3600.05/3608.90 c LP pivots internal 0
3600.05/3608.90 c LP pivots root 0
3600.05/3608.90 c LP calls 0
3600.05/3608.90 c LP optimalities 0
3600.05/3608.90 c LP no pivot count 0
3600.05/3608.90 c LP infeasibilities 0
3600.05/3608.90 c LP valid Farkas constraints 0
3600.05/3608.90 c LP learned Farkas constraints 0
3600.05/3608.90 c LP basis resets 0
3600.05/3608.90 c LP cycling count 0
3600.05/3608.90 c LP singular count 0
3600.05/3608.90 c LP no primal count 0
3600.05/3608.90 c LP no farkas count 0
3600.05/3608.90 c LP other issue count 0
3600.05/3608.90 c LP Gomory cuts 0
3600.05/3608.90 c LP learned cuts 0
3600.05/3608.90 c LP deleted cuts 0
3600.05/3608.90 c LP encountered Gomory constraints 0
3600.05/3608.90 c LP encountered Farkas constraints 0
3600.05/3608.90 c LP encountered learned Farkas constraints 0
3600.05/3608.90 c CG auxiliary variables introduced 1
3600.05/3608.90 c CG solutions found 94
3600.05/3608.90 c CG cores constructed 3
3600.05/3608.90 c CG core cardinality constraints returned 0
3600.05/3608.90 c CG unit cores 0
3600.05/3608.90 c CG single cores 3
3600.05/3608.90 c CG blocks removed during cardinality reduction 0
3600.05/3608.90 c CG first core best 0
3600.05/3608.90 c CG decision core best 0
3600.05/3608.90 c CG core reduction tie 0
3600.05/3608.90 c CG core degree average 1.00
3600.05/3608.90 c CG core slack average 3288.33
3600.05/3608.90 c CG exhausted 0
3600.05/3608.90 c CG exhaust time 0.004426 s
3600.05/3608.90 c CG trimmed 0
3600.05/3608.90 c CG trim time 0.005209 s
3600.05/3608.90 c CG minimized 0
3600.05/3608.90 c CG minimize time 0 s
3600.05/3608.90 c CG am1 prop time 0.013714 s
3600.05/3608.90 c CG # am1s reformulated 0
3600.05/3608.90 c CG lower bound derived from am1s 0
3600.05/3608.90 c CG # clausal cores 3
3600.05/3608.90 c CG # cardinality cores 0
3600.05/3608.90 c CG # pb cores 0
3600.05/3608.90 c CG # pb reforms 0
3600.05/3608.90 c CG # cores discarded because of pb reform 0
3600.05/3608.90 d LOWERBOUND 18
3600.05/3608.90 d NCORES 3
3600.05/3608.90 d NPBCORES 0
3600.05/3608.90 d NPBREFORM 0
3600.05/3608.90 d NTRIMMED 0
3600.05/3608.90 d NEXHAUSTED 0
3600.05/3608.90 d NAM1S 0
3600.05/3608.90 d AM1LB 0
3600.05/3608.90 o 326
3600.05/3608.90 s SATISFIABLE
3600.05/3608.90 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: 63931 MiB (62511 MiB free)
memory of node 1: 64510 MiB (63095 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454313-1721470186/watcher-4454313-1721470186 -o /tmp/evaluation-result-4454313-1721470186/solver-4454313-1721470186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721470199-1075353 --watchdog 3760 pb-oll-rs HOME/instance-4454313-1721470186.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1075406, runsolver pid=1075396
[startup+0.100643 s]*
/proc/loadavg: 1.10 1.21 2.14 8/256 1075414
/proc/meminfo: memFree=128593324/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=44968 memory=12020 CPUtime=0.11 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 1856 0 0 0 9 2 0 0 20 0 1 0 199186043 46047232 3005 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 11242 3005 1180 291 0 2776 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 44968 KiB
Current children cumulated memory: 12020 KiB
[startup+0.216673 s]*
/proc/loadavg: 1.10 1.21 2.14 7/256 1075414
/proc/meminfo: memFree=128584564/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=46156 memory=13604 CPUtime=0.21 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 2294 0 0 0 15 6 0 0 20 0 1 0 199186043 47263744 3401 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 11539 3401 1180 291 0 3073 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46156 KiB
Current children cumulated memory: 13604 KiB
[startup+0.305348 s]*
/proc/loadavg: 1.10 1.21 2.14 9/256 1075414
/proc/meminfo: memFree=128573676/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=49008 memory=17092 CPUtime=0.3 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 2641 0 0 0 21 9 0 0 20 0 1 0 199186043 50184192 4273 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 12252 4273 1180 291 0 3786 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49008 KiB
Current children cumulated memory: 17092 KiB
[startup+0.700172 s]
/proc/loadavg: 1.10 1.21 2.14 7/256 1075414
/proc/meminfo: memFree=128550964/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=65492 memory=27632 CPUtime=0.69 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 4767 0 0 0 48 21 0 0 20 0 1 0 199186043 67063808 6908 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 16373 6908 1180 291 0 7907 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65492 KiB
Current children cumulated memory: 27632 KiB
[startup+1.50019 s]
/proc/loadavg: 1.10 1.21 2.14 8/256 1075414
/proc/meminfo: memFree=128493880/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=86012 memory=52832 CPUtime=1.48 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 7961 0 0 0 105 43 0 0 20 0 1 0 199186043 88076288 13208 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 21503 13208 1180 291 0 13037 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86012 KiB
Current children cumulated memory: 52832 KiB
[startup+3.1063 s]
/proc/loadavg: 1.34 1.26 2.15 8/256 1075414
/proc/meminfo: memFree=128301556/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=122348 memory=80864 CPUtime=3.08 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 12381 0 0 0 227 81 0 0 20 0 1 0 199186043 125284352 20216 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 30587 20216 1369 291 0 22121 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 122348 KiB
Current children cumulated memory: 80864 KiB
[startup+6.30021 s]
/proc/loadavg: 1.34 1.26 2.15 8/256 1075416
/proc/meminfo: memFree=128179528/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=147388 memory=115332 CPUtime=6.27 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 19486 0 0 0 531 96 0 0 20 0 1 0 199186043 150925312 28833 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 36847 28833 1425 291 0 28381 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 147388 KiB
Current children cumulated memory: 115332 KiB
[startup+12.7002 s]
/proc/loadavg: 1.55 1.30 2.16 8/256 1075416
/proc/meminfo: memFree=128126676/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=179576 memory=121772 CPUtime=12.66 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 20724 0 0 0 1148 118 0 0 20 0 1 0 199186043 183885824 30443 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 44894 30443 1425 291 0 36428 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 179576 KiB
Current children cumulated memory: 121772 KiB
[startup+25.5002 s]
/proc/loadavg: 2.09 1.43 2.19 8/258 1075423
/proc/meminfo: memFree=128070084/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=179840 memory=138492 CPUtime=25.43 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 20825 0 0 0 2394 149 0 0 20 0 1 0 199186043 184156160 34623 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 44960 34623 1425 291 0 36494 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 179840 KiB
Current children cumulated memory: 138492 KiB
[startup+51.1063 s]
/proc/loadavg: 2.80 1.66 2.25 8/258 1075426
/proc/meminfo: memFree=128003732/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=185572 memory=154492 CPUtime=50.97 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 21299 0 0 0 4903 194 0 0 20 0 1 0 199186043 190025728 38623 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 46393 38623 1425 291 0 37927 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 185572 KiB
Current children cumulated memory: 154492 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 2.04 2.34 8/258 1075434
/proc/meminfo: memFree=127920676/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=235660 memory=182320 CPUtime=102.05 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 21627 0 0 0 9913 292 0 0 20 0 1 0 199186043 241315840 45580 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 58915 45580 1425 291 0 50449 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 235660 KiB
Current children cumulated memory: 182320 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.41 2.46 8/258 1075445
/proc/meminfo: memFree=127843276/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=235660 memory=194608 CPUtime=161.91 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 21670 0 0 0 15793 398 0 0 20 0 1 0 199186043 241315840 48652 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 58915 48652 1425 291 0 50449 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 235660 KiB
Current children cumulated memory: 194608 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.72 2.56 8/258 1075456
/proc/meminfo: memFree=126950652/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=317048 memory=210992 CPUtime=221.76 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 22216 0 0 0 21673 503 0 0 20 0 1 0 199186043 324657152 52748 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 79262 52748 1425 291 0 70796 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 317048 KiB
Current children cumulated memory: 210992 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.99 2.66 8/257 1075466
/proc/meminfo: memFree=126238348/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=317048 memory=233520 CPUtime=281.62 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 22231 0 0 0 27636 526 0 0 20 0 1 0 199186043 324657152 58380 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 79262 58380 1425 291 0 70796 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 317048 KiB
Current children cumulated memory: 233520 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.19 2.76 8/254 1075476
/proc/meminfo: memFree=125772160/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=317048 memory=258120 CPUtime=341.48 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 22321 0 0 0 33515 633 0 0 20 0 1 0 199186043 324657152 64530 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 79262 64530 1425 291 0 70796 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 317048 KiB
Current children cumulated memory: 258120 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.37 2.85 8/254 1075487
/proc/meminfo: memFree=125732452/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=317048 memory=258120 CPUtime=401.33 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 22350 0 0 0 39398 735 0 0 20 0 1 0 199186043 324657152 64530 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 79262 64530 1425 291 0 70796 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 317048 KiB
Current children cumulated memory: 258120 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.52 2.93 8/254 1075497
/proc/meminfo: memFree=125651424/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=317048 memory=266312 CPUtime=461.19 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 22475 0 0 0 45312 807 0 0 20 0 1 0 199186043 324657152 66578 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 79262 66578 1425 291 0 70796 0
################
# More data... #
################
/proc/1075406/statm: 1265997 1088420 1425 291 0 1257531 0
Current children cumulated CPU time: 2855.23 s
Current children cumulated vsize: 5063988 KiB
Current children cumulated memory: 4353680 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.05 8/258 1077111
/proc/meminfo: memFree=118953904/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=5079092 memory=4479296 CPUtime=2915.08 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 670952 0 0 0 289946 1562 0 0 20 0 1 0 199186043 5200990208 1119824 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 1269773 1119824 1425 291 0 1261307 0
Current children cumulated CPU time: 2915.08 s
Current children cumulated vsize: 5079092 KiB
Current children cumulated memory: 4479296 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.09 4.05 8/258 1077121
/proc/meminfo: memFree=118951340/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=5079092 memory=4479296 CPUtime=2974.94 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 671645 0 0 0 295925 1569 0 0 20 0 1 0 199186043 5200990208 1119824 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 1269773 1119824 1425 291 0 1261307 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 5079092 KiB
Current children cumulated memory: 4479296 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.05 8/258 1077133
/proc/meminfo: memFree=118951172/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=5079092 memory=4479304 CPUtime=3034.8 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 672514 0 0 0 301905 1575 0 0 20 0 1 0 199186043 5200990208 1119826 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 1269773 1119826 1425 291 0 1261307 0
Current children cumulated CPU time: 3034.8 s
Current children cumulated vsize: 5079092 KiB
Current children cumulated memory: 4479304 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.05 8/257 1077155
/proc/meminfo: memFree=118932060/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=5079092 memory=4479304 CPUtime=3094.67 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 673599 0 0 0 307885 1582 0 0 20 0 1 0 199186043 5200990208 1119826 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 1269773 1119826 1425 291 0 1261307 0
Current children cumulated CPU time: 3094.67 s
Current children cumulated vsize: 5079092 KiB
Current children cumulated memory: 4479304 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.05 8/257 1077165
/proc/meminfo: memFree=118921512/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=5079092 memory=4479304 CPUtime=3154.53 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 674642 0 0 0 313854 1599 0 0 20 0 1 0 199186043 5200990208 1119826 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 1269773 1119826 1425 291 0 1261307 0
Current children cumulated CPU time: 3154.53 s
Current children cumulated vsize: 5079092 KiB
Current children cumulated memory: 4479304 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.05 8/255 1077176
/proc/meminfo: memFree=118898068/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=5080116 memory=4479780 CPUtime=3214.38 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 676142 0 0 0 319823 1615 0 0 20 0 1 0 199186043 5202038784 1119945 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 1270029 1119945 1425 291 0 1261563 0
Current children cumulated CPU time: 3214.38 s
Current children cumulated vsize: 5080116 KiB
Current children cumulated memory: 4479780 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.05 8/255 1077188
/proc/meminfo: memFree=118894788/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=5080372 memory=4480244 CPUtime=3274.24 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 679309 0 0 0 325793 1631 0 0 20 0 1 0 199186043 5202300928 1120061 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 1270093 1120061 1425 291 0 1261627 0
Current children cumulated CPU time: 3274.24 s
Current children cumulated vsize: 5080372 KiB
Current children cumulated memory: 4480244 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.05 8/254 1077198
/proc/meminfo: memFree=118892424/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=5080372 memory=4480244 CPUtime=3334.09 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 680214 0 0 0 331759 1650 0 0 20 0 1 0 199186043 5202300928 1120061 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 1270093 1120061 1425 291 0 1261627 0
Current children cumulated CPU time: 3334.09 s
Current children cumulated vsize: 5080372 KiB
Current children cumulated memory: 4480244 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.05 8/254 1077208
/proc/meminfo: memFree=118861124/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=5080372 memory=4480244 CPUtime=3393.94 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 681285 0 0 0 337735 1659 0 0 20 0 1 0 199186043 5202300928 1120061 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 1270093 1120061 1425 291 0 1261627 0
Current children cumulated CPU time: 3393.94 s
Current children cumulated vsize: 5080372 KiB
Current children cumulated memory: 4480244 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.05 8/254 1077219
/proc/meminfo: memFree=118829728/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=5080628 memory=4480380 CPUtime=3453.8 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 682678 0 0 0 343704 1676 0 0 20 0 1 0 199186043 5202563072 1120095 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 1270157 1120095 1425 291 0 1261691 0
Current children cumulated CPU time: 3453.8 s
Current children cumulated vsize: 5080628 KiB
Current children cumulated memory: 4480380 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.11 4.07 8/254 1077229
/proc/meminfo: memFree=118798100/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=5087800 memory=4509196 CPUtime=3513.66 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 689312 0 0 0 349670 1696 0 0 20 0 1 0 199186043 5209907200 1127299 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 1271950 1127299 1425 291 0 1263484 0
Current children cumulated CPU time: 3513.66 s
Current children cumulated vsize: 5087800 KiB
Current children cumulated memory: 4509196 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.07 8/254 1077239
/proc/meminfo: memFree=118748576/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=5087800 memory=4509196 CPUtime=3573.51 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 690228 0 0 0 355636 1715 0 0 20 0 1 0 199186043 5209907200 1127299 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 1271950 1127299 1425 291 0 1263484 0
Current children cumulated CPU time: 3573.51 s
Current children cumulated vsize: 5087800 KiB
Current children cumulated memory: 4509196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.08 4.09 4.06 8/254 1077244
/proc/meminfo: memFree=118706748/131524600 swapFree=131071996/131071996
[pid=1075406] ppid=1075396 vsize=5087800 memory=4509196 CPUtime=3600.05 cores=5,7
/proc/1075406/stat : 1075406 (pb-oll-rs) R 1075396 1075406 1075340 0 -1 4194304 690617 0 0 0 358278 1727 0 0 20 0 1 0 199186043 5209907200 1127299 134679101440 4194304 5384485 140735137570192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 31207424 140735137571861 140735137571938 140735137571938 140735137578955 0
/proc/1075406/statm: 1271950 1127299 1425 291 0 1263484 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 5087800 KiB
Current children cumulated memory: 4509196 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.03 s]
# the end of solver process 1075406 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.79 s, system=17.4077 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609 s]*
/proc/loadavg: 4.08 4.09 4.06 7/252 1077258
/proc/meminfo: memFree=125078580/131524600 swapFree=131071996/131071996
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.03
CPU time (s): 3600.19
CPU user time (s): 3582.79
CPU system time (s): 17.4077
CPU usage (%): 99.7551
Max. virtual memory (cumulated for all children) (KiB): 5099800
Max. memory (cumulated for all children) (KiB): 4519620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.79
system time used= 17.4077
maximum resident set size= 4519620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 690637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 3900
# summary of solver processes directly reported to runsolver:
# pid: 1075406
# total CPU time (s): 3600.19
# total CPU user time (s): 3582.79
# total CPU system time (s): 17.4077
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70184 second user time and 20.202 second system time
The end
Begin job on nodeC029 at 2024-07-20 12:09:59
IDJOB=4454313
IDBENCH=147558
IDSOLVER=3082
FILE ID=nodeC029/4454313-1721470186
RUNJOBID= nodeC029-1721470199-1075353
SLURM_JOB_ID= 7545733
Free space on /tmp= 890000 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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 --file-size-limit 102400 -w /tmp/evaluation-result-4454313-1721470186/watcher-4454313-1721470186 -o /tmp/evaluation-result-4454313-1721470186/solver-4454313-1721470186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721470199-1075353 --watchdog 3760 pb-oll-rs HOME/instance-4454313-1721470186.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=1504453240
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3534.277
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3682.001
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3670.785
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3615.331
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3466.886
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3492.823
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3676.707
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3677.112
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128623580 kB
MemAvailable: 129717788 kB
Buffers: 555444 kB
Cached: 1379948 kB
SwapCached: 0 kB
Active: 1073452 kB
Inactive: 1198052 kB
Active(anon): 1352 kB
Inactive(anon): 381636 kB
Active(file): 1072100 kB
Inactive(file): 816416 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 74872 kB
Writeback: 12 kB
AnonPages: 337132 kB
Mapped: 107272 kB
Shmem: 45912 kB
KReclaimable: 90676 kB
Slab: 203424 kB
SReclaimable: 90676 kB
SUnreclaim: 112748 kB
KernelStack: 3760 kB
PageTables: 9280 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 688568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72512 kB
HardwareCorrupted: 0 kB
AnonHugePages: 215040 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889992 MiB
End job on nodeC029 at 2024-07-20 13:10:09