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
2.09/2.15 c [STEP] solving
2.09/2.15 c #variables 10000 #constraints 656900
2.09/2.16 c SMALL=int, LARGE=long long
2.09/2.16 c bounds - >= 0 @ 1.5634
2.09/2.16 c stratification level: 98
2.28/2.35 c bounds 6492 >= 0 @ 1.73803
2.28/2.35 c stratification level: 97
2.28/2.36 c bounds 6467 >= 0 @ 1.74528
2.28/2.36 c stratification level: 96
2.28/2.38 c bounds 6382 >= 0 @ 1.76297
2.28/2.38 c stratification level: 95
2.28/2.39 c bounds 5963 >= 0 @ 1.77157
2.28/2.39 c stratification level: 94
2.37/2.40 c bounds 5916 >= 0 @ 1.77798
2.37/2.40 c stratification level: 93
2.37/2.41 c bounds 5870 >= 0 @ 1.78432
2.37/2.41 c stratification level: 92
2.37/2.42 c bounds 5691 >= 0 @ 1.78953
2.37/2.42 c stratification level: 91
2.37/2.43 c bounds 5601 >= 0 @ 1.7959
2.37/2.43 c stratification level: 90
2.37/2.44 c bounds 5533 >= 0 @ 1.8034
2.37/2.44 c stratification level: 89
2.37/2.45 c bounds 5522 >= 0 @ 1.80993
2.37/2.45 c stratification level: 88
2.37/2.46 c bounds 5446 >= 0 @ 1.81628
2.37/2.46 c stratification level: 87
2.37/2.47 c bounds 5327 >= 0 @ 1.82006
2.37/2.47 c stratification level: 86
2.37/2.48 c bounds 5163 >= 0 @ 1.8265
2.37/2.48 c stratification level: 85
2.37/2.49 c bounds 5078 >= 0 @ 1.83442
2.37/2.49 c stratification level: 84
2.47/2.50 c bounds 5076 >= 0 @ 1.84439
2.47/2.50 c stratification level: 83
2.47/2.51 c bounds 4923 >= 0 @ 1.85005
2.47/2.51 c stratification level: 82
2.47/2.52 c bounds 4879 >= 0 @ 1.85996
2.47/2.52 c stratification level: 81
2.47/2.53 c bounds 4841 >= 0 @ 1.86579
2.47/2.53 c stratification level: 80
2.47/2.54 c bounds 4761 >= 0 @ 1.86942
2.47/2.54 c stratification level: 79
2.47/2.55 c bounds 4749 >= 0 @ 1.87596
2.47/2.55 c stratification level: 78
2.58/2.62 c bounds 4738 >= 0 @ 1.943
2.58/2.62 c stratification level: 77
2.58/2.63 c bounds 4702 >= 0 @ 1.95142
2.58/2.63 c stratification level: 76
2.58/2.64 c bounds 4693 >= 0 @ 1.95982
2.58/2.64 c stratification level: 75
2.58/2.65 c bounds 4611 >= 0 @ 1.96579
2.58/2.65 c stratification level: 74
2.58/2.67 c bounds 4608 >= 0 @ 1.97645
2.58/2.67 c stratification level: 73
2.58/2.68 c bounds 4601 >= 0 @ 1.98472
2.58/2.68 c stratification level: 72
2.58/2.69 c bounds 4556 >= 0 @ 1.98985
2.58/2.69 c stratification level: 71
2.67/2.70 c bounds 4536 >= 0 @ 1.99712
2.67/2.70 c stratification level: 70
2.67/2.71 c bounds 4512 >= 0 @ 2.00457
2.67/2.71 c stratification level: 69
2.67/2.72 c bounds 4443 >= 0 @ 2.01025
2.67/2.72 c stratification level: 68
2.67/2.73 c bounds 4317 >= 0 @ 2.01736
2.67/2.73 c stratification level: 67
2.67/2.74 c bounds 4271 >= 0 @ 2.02491
2.67/2.74 c stratification level: 66
2.67/2.75 c bounds 3894 >= 0 @ 2.03155
2.67/2.75 c stratification level: 65
2.67/2.76 c bounds 3871 >= 0 @ 2.03827
2.67/2.76 c stratification level: 64
2.67/2.78 c bounds 3867 >= 0 @ 2.05313
2.67/2.78 c stratification level: 63
2.78/2.80 c bounds 3823 >= 0 @ 2.07627
2.78/2.80 c stratification level: 62
2.78/2.81 c bounds 3742 >= 0 @ 2.08274
2.78/2.81 c stratification level: 61
2.78/2.82 c bounds 3609 >= 0 @ 2.08936
2.78/2.82 c stratification level: 60
2.78/2.87 c bounds 3592 >= 0 @ 2.13009
2.78/2.87 c stratification level: 59
2.88/2.90 c bounds 3555 >= 0 @ 2.16042
2.88/2.90 c stratification level: 58
2.88/2.92 c bounds 3552 >= 0 @ 2.17561
2.88/2.92 c stratification level: 57
2.88/2.93 c bounds 3435 >= 0 @ 2.18149
2.88/2.93 c stratification level: 56
2.88/2.94 c bounds 3424 >= 0 @ 2.18931
2.88/2.94 c stratification level: 55
2.88/2.95 c bounds 3328 >= 0 @ 2.19516
2.88/2.95 c stratification level: 54
2.88/2.96 c bounds 3201 >= 0 @ 2.20205
2.88/2.96 c stratification level: 53
2.98/3.09 c bounds 3187 >= 0 @ 2.3308
2.98/3.09 c stratification level: 52
2.98/3.11 c bounds 3185 >= 0 @ 2.3381
2.98/3.11 c stratification level: 51
3.09/3.12 c bounds 3079 >= 0 @ 2.34863
3.09/3.12 c stratification level: 50
3.09/3.13 c bounds 3075 >= 0 @ 2.358
3.09/3.13 c stratification level: 49
3.09/3.14 c bounds 3040 >= 0 @ 2.36832
3.09/3.14 c stratification level: 48
4.27/4.31 c #Conflicts: 1000 | #Constraints: 657949
4.27/4.31 c bounds 3026 >= 0 @ 3.50818
4.27/4.31 c stratification level: 47
4.27/4.35 c bounds 3025 >= 0 @ 3.5517
4.27/4.35 c stratification level: 46
4.27/4.37 c bounds 3014 >= 0 @ 3.55952
4.27/4.37 c stratification level: 45
4.27/4.38 c bounds 2877 >= 0 @ 3.5686
4.27/4.38 c stratification level: 44
4.27/4.39 c bounds 2856 >= 0 @ 3.5778
4.27/4.39 c stratification level: 43
4.37/4.41 c bounds 2847 >= 0 @ 3.58778
4.37/4.41 c stratification level: 42
4.37/4.42 c bounds 2805 >= 0 @ 3.59721
4.37/4.42 c stratification level: 41
4.37/4.44 c bounds 2739 >= 0 @ 3.60656
4.37/4.44 c stratification level: 40
4.37/4.45 c bounds 2615 >= 0 @ 3.61484
4.37/4.45 c stratification level: 39
4.37/4.46 c bounds 2545 >= 0 @ 3.62164
4.37/4.46 c stratification level: 38
4.37/4.48 c bounds 2469 >= 0 @ 3.63123
4.37/4.48 c stratification level: 37
4.37/4.49 c bounds 2322 >= 0 @ 3.63792
4.37/4.49 c stratification level: 36
4.47/4.50 c bounds 2315 >= 0 @ 3.6455
4.47/4.50 c stratification level: 35
4.47/4.52 c bounds 2220 >= 0 @ 3.65396
4.47/4.52 c stratification level: 34
4.47/4.53 c bounds 2124 >= 0 @ 3.66171
4.47/4.53 c stratification level: 33
4.47/4.55 c bounds 2111 >= 0 @ 3.66952
4.47/4.55 c stratification level: 32
4.47/4.56 c bounds 2069 >= 0 @ 3.67833
4.47/4.56 c stratification level: 31
4.47/4.57 c bounds 1975 >= 0 @ 3.68813
4.47/4.57 c stratification level: 30
4.47/4.59 c bounds 1968 >= 0 @ 3.69909
4.47/4.59 c stratification level: 29
4.57/4.61 c bounds 1904 >= 0 @ 3.71296
4.57/4.61 c stratification level: 28
4.57/4.63 c bounds 1779 >= 0 @ 3.73173
4.57/4.63 c stratification level: 27
4.57/4.65 c bounds 1527 >= 0 @ 3.7405
4.57/4.65 c stratification level: 26
4.57/4.66 c bounds 1451 >= 0 @ 3.7505
4.57/4.66 c stratification level: 25
4.57/4.69 c bounds 1389 >= 0 @ 3.76579
4.57/4.69 c stratification level: 24
4.67/4.71 c bounds 1263 >= 0 @ 3.77401
4.67/4.71 c stratification level: 23
4.67/4.72 c bounds 1240 >= 0 @ 3.78055
4.67/4.72 c stratification level: 22
4.67/4.74 c bounds 1168 >= 0 @ 3.79069
4.67/4.74 c stratification level: 21
4.67/4.75 c bounds 1161 >= 0 @ 3.80177
4.67/4.75 c stratification level: 20
4.67/4.77 c bounds 1091 >= 0 @ 3.80957
4.67/4.77 c stratification level: 19
4.67/4.79 c bounds 1028 >= 0 @ 3.81957
4.67/4.79 c stratification level: 18
4.77/4.89 c bounds 1021 >= 0 @ 3.91145
4.77/4.89 c stratification level: 17
4.87/4.91 c bounds 993 >= 0 @ 3.9245
4.87/4.91 c stratification level: 16
4.87/5.00 c bounds 964 >= 0 @ 3.99585
4.87/5.00 c stratification level: 15
4.98/5.07 c bounds 820 >= 0 @ 4.05663
4.98/5.07 c stratification level: 14
5.87/5.90 c #Conflicts: 2000 | #Constraints: 658983
5.87/5.90 c INPROCESSING
5.87/5.90 c GARBAGE COLLECT
5.87/5.90 c bounds 819 >= 0 @ 4.83165
5.87/5.90 c stratification level: 13
6.16/6.24 c bounds 760 >= 0 @ 5.1582
6.16/6.24 c stratification level: 12
7.56/7.69 c #Conflicts: 3000 | #Constraints: 658909
7.56/7.69 c bounds 666 >= 0 @ 6.55274
7.56/7.69 c stratification level: 11
8.16/8.20 c #Conflicts: 4000 | #Constraints: 659910
8.16/8.20 c INPROCESSING
8.16/8.20 c GARBAGE COLLECT
8.16/8.20 c bounds 596 >= 0 @ 7.04136
8.16/8.20 c stratification level: 10
8.26/8.31 c bounds 518 >= 0 @ 7.13142
8.26/8.31 c stratification level: 9
8.86/8.97 c #Conflicts: 5000 | #Constraints: 659317
8.86/8.97 c bounds 492 >= 0 @ 7.75709
8.86/8.97 c stratification level: 8
23.92/24.08 c #Conflicts: 6000 | #Constraints: 660318
23.92/24.08 c INPROCESSING
23.92/24.08 c GARBAGE COLLECT
23.92/24.08 c #Conflicts: 7000 | #Constraints: 659322
23.92/24.08 c #Conflicts: 8000 | #Constraints: 660322
23.92/24.08 c #Conflicts: 9000 | #Constraints: 661322
23.92/24.08 c INPROCESSING
23.92/24.08 c GARBAGE COLLECT
23.92/24.08 c #Conflicts: 10000 | #Constraints: 660022
23.92/24.08 c #Conflicts: 11000 | #Constraints: 661022
23.92/24.08 c #Conflicts: 12000 | #Constraints: 662022
23.92/24.08 c INPROCESSING
23.92/24.08 c GARBAGE COLLECT
23.92/24.08 c #Conflicts: 13000 | #Constraints: 660475
23.92/24.08 c #Conflicts: 14000 | #Constraints: 661475
23.92/24.08 c #Conflicts: 15000 | #Constraints: 662475
23.92/24.08 c INPROCESSING
23.92/24.08 c GARBAGE COLLECT
23.92/24.08 c #Conflicts: 16000 | #Constraints: 660703
23.92/24.08 c #Conflicts: 17000 | #Constraints: 661703
23.92/24.08 c #Conflicts: 18000 | #Constraints: 662703
23.92/24.08 c INPROCESSING
23.92/24.08 c GARBAGE COLLECT
23.92/24.08 c bounds 407 >= 0 @ 22.495
23.92/24.08 c stratification level: 7
41.06/41.27 c #Conflicts: 19000 | #Constraints: 660730
41.06/41.27 c #Conflicts: 20000 | #Constraints: 661730
41.06/41.27 c #Conflicts: 21000 | #Constraints: 662730
41.06/41.27 c INPROCESSING
41.06/41.27 c GARBAGE COLLECT
41.06/41.27 c #Conflicts: 22000 | #Constraints: 660535
41.06/41.27 c #Conflicts: 23000 | #Constraints: 661535
41.06/41.27 c #Conflicts: 24000 | #Constraints: 662535
41.06/41.27 c #Conflicts: 25000 | #Constraints: 663535
41.06/41.27 c INPROCESSING
41.06/41.27 c GARBAGE COLLECT
41.06/41.27 c #Conflicts: 26000 | #Constraints: 661141
41.06/41.27 c #Conflicts: 27000 | #Constraints: 662141
41.06/41.27 c #Conflicts: 28000 | #Constraints: 663141
41.06/41.27 c #Conflicts: 29000 | #Constraints: 664141
41.06/41.27 c INPROCESSING
41.06/41.27 c GARBAGE COLLECT
41.06/41.27 c #Conflicts: 30000 | #Constraints: 661543
41.06/41.27 c #Conflicts: 31000 | #Constraints: 662543
41.06/41.27 c #Conflicts: 32000 | #Constraints: 663543
41.06/41.27 c #Conflicts: 33000 | #Constraints: 664543
41.06/41.27 c INPROCESSING
41.06/41.27 c GARBAGE COLLECT
41.06/41.27 c bounds 319 >= 0 @ 39.1396
41.06/41.27 c stratification level: 6
135.27/135.71 c bounds 319 >= 6 @ 39.1445
135.27/135.71 c #Conflicts: 34000 | #Constraints: 661747
135.27/135.71 c #Conflicts: 35000 | #Constraints: 662747
135.27/135.71 c #Conflicts: 36000 | #Constraints: 663747
135.27/135.71 c #Conflicts: 37000 | #Constraints: 664747
135.27/135.71 c INPROCESSING
135.27/135.71 c GARBAGE COLLECT
135.27/135.71 c #Conflicts: 38000 | #Constraints: 661756
135.27/135.71 c #Conflicts: 39000 | #Constraints: 662756
135.27/135.71 c #Conflicts: 40000 | #Constraints: 663756
135.27/135.71 c #Conflicts: 41000 | #Constraints: 664756
135.27/135.71 c INPROCESSING
135.27/135.71 c GARBAGE COLLECT
135.27/135.71 c #Conflicts: 42000 | #Constraints: 661558
135.27/135.71 c #Conflicts: 43000 | #Constraints: 662558
135.27/135.71 c #Conflicts: 44000 | #Constraints: 663558
135.27/135.71 c #Conflicts: 45000 | #Constraints: 664558
135.27/135.71 c #Conflicts: 46000 | #Constraints: 665558
135.27/135.71 c INPROCESSING
135.27/135.71 c GARBAGE COLLECT
135.27/135.71 c #Conflicts: 47000 | #Constraints: 662153
135.27/135.71 c #Conflicts: 48000 | #Constraints: 663153
135.27/135.71 c #Conflicts: 49000 | #Constraints: 664153
135.27/135.71 c #Conflicts: 50000 | #Constraints: 665153
135.27/135.71 c #Conflicts: 51000 | #Constraints: 666153
135.27/135.71 c INPROCESSING
135.27/135.71 c GARBAGE COLLECT
135.27/135.71 c #Conflicts: 52000 | #Constraints: 662563
135.27/135.71 c #Conflicts: 53000 | #Constraints: 663563
135.27/135.71 c #Conflicts: 54000 | #Constraints: 664563
135.27/135.71 c #Conflicts: 55000 | #Constraints: 665563
135.27/135.71 c #Conflicts: 56000 | #Constraints: 666563
135.27/135.71 c INPROCESSING
135.27/135.71 c GARBAGE COLLECT
135.27/135.71 c #Conflicts: 57000 | #Constraints: 662753
135.27/135.71 c #Conflicts: 58000 | #Constraints: 663753
135.27/135.71 c #Conflicts: 59000 | #Constraints: 664753
135.27/135.71 c #Conflicts: 60000 | #Constraints: 665753
135.27/135.71 c #Conflicts: 61000 | #Constraints: 666753
135.27/135.71 c INPROCESSING
135.27/135.71 c GARBAGE COLLECT
135.27/135.71 c #Conflicts: 62000 | #Constraints: 662764
135.27/135.71 c #Conflicts: 63000 | #Constraints: 663764
135.27/135.71 c #Conflicts: 64000 | #Constraints: 664764
135.27/135.71 c #Conflicts: 65000 | #Constraints: 665764
135.27/135.71 c #Conflicts: 66000 | #Constraints: 666764
135.27/135.71 c INPROCESSING
135.27/135.71 c GARBAGE COLLECT
135.27/135.71 c #Conflicts: 67000 | #Constraints: 662572
135.27/135.71 c #Conflicts: 68000 | #Constraints: 663572
135.27/135.71 c #Conflicts: 69000 | #Constraints: 664572
135.27/135.71 c #Conflicts: 70000 | #Constraints: 665572
135.27/135.71 c #Conflicts: 71000 | #Constraints: 666572
135.27/135.71 c #Conflicts: 72000 | #Constraints: 667572
135.27/135.71 c INPROCESSING
135.27/135.71 c GARBAGE COLLECT
135.27/135.71 c #Conflicts: 73000 | #Constraints: 663167
135.27/135.71 c #Conflicts: 74000 | #Constraints: 664167
135.27/135.71 c #Conflicts: 75000 | #Constraints: 665167
135.27/135.71 c #Conflicts: 76000 | #Constraints: 666167
135.27/135.71 c #Conflicts: 77000 | #Constraints: 667167
135.27/135.71 c #Conflicts: 78000 | #Constraints: 668167
135.27/135.71 c INPROCESSING
135.27/135.71 c GARBAGE COLLECT
135.27/135.71 c #Conflicts: 79000 | #Constraints: 663566
135.27/135.71 c #Conflicts: 80000 | #Constraints: 664566
135.27/135.71 c #Conflicts: 81000 | #Constraints: 665566
135.27/135.71 c #Conflicts: 82000 | #Constraints: 666566
135.27/135.71 c #Conflicts: 83000 | #Constraints: 667566
135.27/135.71 c #Conflicts: 84000 | #Constraints: 668566
135.27/135.71 c INPROCESSING
135.27/135.71 c GARBAGE COLLECT
135.27/135.71 c #Conflicts: 85000 | #Constraints: 663771
135.27/135.71 c #Conflicts: 86000 | #Constraints: 664771
135.27/135.71 c #Conflicts: 87000 | #Constraints: 665771
135.27/135.71 c #Conflicts: 88000 | #Constraints: 666771
135.27/135.71 c #Conflicts: 89000 | #Constraints: 667771
135.27/135.71 c #Conflicts: 90000 | #Constraints: 668771
135.27/135.71 c INPROCESSING
135.27/135.71 c GARBAGE COLLECT
135.27/135.71 c #Conflicts: 91000 | #Constraints: 663776
135.27/135.71 c #Conflicts: 92000 | #Constraints: 664776
135.27/135.71 c #Conflicts: 93000 | #Constraints: 665776
135.27/135.71 c #Conflicts: 94000 | #Constraints: 666776
135.27/135.71 c #Conflicts: 95000 | #Constraints: 667776
135.27/135.71 c #Conflicts: 96000 | #Constraints: 668776
135.27/135.71 c INPROCESSING
135.27/135.71 c GARBAGE COLLECT
135.27/135.71 c #Conflicts: 97000 | #Constraints: 663581
135.27/135.71 c #Conflicts: 98000 | #Constraints: 664581
135.27/135.71 c #Conflicts: 99000 | #Constraints: 665581
135.27/135.71 c #Conflicts: 100000 | #Constraints: 666581
135.27/135.71 c #Conflicts: 101000 | #Constraints: 667581
135.27/135.71 c #Conflicts: 102000 | #Constraints: 668581
135.27/135.71 c #Conflicts: 103000 | #Constraints: 669581
135.27/135.71 c INPROCESSING
135.27/135.71 c GARBAGE COLLECT
236.67/237.45 c #Conflicts: 104000 | #Constraints: 664183
236.67/237.45 c #Conflicts: 105000 | #Constraints: 665183
236.67/237.45 c #Conflicts: 106000 | #Constraints: 666183
236.67/237.45 c #Conflicts: 107000 | #Constraints: 667183
236.67/237.45 c #Conflicts: 108000 | #Constraints: 668183
236.67/237.45 c #Conflicts: 109000 | #Constraints: 669183
236.67/237.45 c #Conflicts: 110000 | #Constraints: 670183
236.67/237.45 c INPROCESSING
236.67/237.45 c GARBAGE COLLECT
236.67/237.45 c #Conflicts: 111000 | #Constraints: 664583
236.67/237.45 c #Conflicts: 112000 | #Constraints: 665583
236.67/237.45 c #Conflicts: 113000 | #Constraints: 666583
236.67/237.45 c #Conflicts: 114000 | #Constraints: 667583
236.67/237.45 c #Conflicts: 115000 | #Constraints: 668583
236.67/237.45 c #Conflicts: 116000 | #Constraints: 669583
236.67/237.45 c #Conflicts: 117000 | #Constraints: 670583
236.67/237.45 c INPROCESSING
236.67/237.45 c GARBAGE COLLECT
236.67/237.45 c #Conflicts: 118000 | #Constraints: 664776
236.67/237.45 c #Conflicts: 119000 | #Constraints: 665776
236.67/237.45 c #Conflicts: 120000 | #Constraints: 666776
236.67/237.45 c #Conflicts: 121000 | #Constraints: 667776
236.67/237.45 c #Conflicts: 122000 | #Constraints: 668776
236.67/237.45 c #Conflicts: 123000 | #Constraints: 669776
236.67/237.45 c #Conflicts: 124000 | #Constraints: 670776
236.67/237.45 c INPROCESSING
236.67/237.45 c GARBAGE COLLECT
236.67/237.45 c #Conflicts: 125000 | #Constraints: 664778
236.67/237.45 c #Conflicts: 126000 | #Constraints: 665778
236.67/237.45 c #Conflicts: 127000 | #Constraints: 666778
236.67/237.45 c #Conflicts: 128000 | #Constraints: 667778
236.67/237.45 c #Conflicts: 129000 | #Constraints: 668778
236.67/237.45 c #Conflicts: 130000 | #Constraints: 669778
236.67/237.45 c #Conflicts: 131000 | #Constraints: 670778
236.67/237.45 c INPROCESSING
236.67/237.45 c GARBAGE COLLECT
236.67/237.45 c #Conflicts: 132000 | #Constraints: 664575
236.67/237.45 c #Conflicts: 133000 | #Constraints: 665575
236.67/237.45 c #Conflicts: 134000 | #Constraints: 666575
236.67/237.45 c #Conflicts: 135000 | #Constraints: 667575
236.67/237.45 c #Conflicts: 136000 | #Constraints: 668575
236.67/237.45 c #Conflicts: 137000 | #Constraints: 669575
236.67/237.45 c #Conflicts: 138000 | #Constraints: 670575
236.67/237.45 c #Conflicts: 139000 | #Constraints: 671575
236.67/237.45 c INPROCESSING
236.67/237.45 c GARBAGE COLLECT
236.67/237.45 c #Conflicts: 140000 | #Constraints: 665186
236.67/237.45 c #Conflicts: 141000 | #Constraints: 666186
236.67/237.45 c #Conflicts: 142000 | #Constraints: 667186
236.67/237.45 c #Conflicts: 143000 | #Constraints: 668186
236.67/237.45 c #Conflicts: 144000 | #Constraints: 669186
236.67/237.45 c #Conflicts: 145000 | #Constraints: 670186
236.67/237.45 c #Conflicts: 146000 | #Constraints: 671186
236.67/237.45 c #Conflicts: 147000 | #Constraints: 672186
236.67/237.45 c INPROCESSING
236.67/237.45 c GARBAGE COLLECT
236.67/237.45 c #Conflicts: 148000 | #Constraints: 665583
236.67/237.45 c #Conflicts: 149000 | #Constraints: 666583
236.67/237.45 c #Conflicts: 150000 | #Constraints: 667583
236.67/237.45 c #Conflicts: 151000 | #Constraints: 668583
236.67/237.45 c #Conflicts: 152000 | #Constraints: 669583
236.67/237.45 c #Conflicts: 153000 | #Constraints: 670583
236.67/237.45 c #Conflicts: 154000 | #Constraints: 671583
236.67/237.45 c #Conflicts: 155000 | #Constraints: 672583
236.67/237.45 c INPROCESSING
236.67/237.45 c GARBAGE COLLECT
236.67/237.45 c #Conflicts: 156000 | #Constraints: 665777
236.67/237.45 c #Conflicts: 157000 | #Constraints: 666777
236.67/237.45 c #Conflicts: 158000 | #Constraints: 667777
236.67/237.45 c #Conflicts: 159000 | #Constraints: 668777
236.67/237.45 c #Conflicts: 160000 | #Constraints: 669777
236.67/237.45 c #Conflicts: 161000 | #Constraints: 670777
236.67/237.45 c #Conflicts: 162000 | #Constraints: 671777
236.67/237.45 c #Conflicts: 163000 | #Constraints: 672777
236.67/237.45 c INPROCESSING
236.67/237.45 c GARBAGE COLLECT
236.67/237.45 c #Conflicts: 164000 | #Constraints: 665782
236.67/237.45 c #Conflicts: 165000 | #Constraints: 666782
236.67/237.45 c #Conflicts: 166000 | #Constraints: 667782
236.67/237.45 c #Conflicts: 167000 | #Constraints: 668782
236.67/237.45 c #Conflicts: 168000 | #Constraints: 669782
236.67/237.45 c #Conflicts: 169000 | #Constraints: 670782
236.67/237.45 c #Conflicts: 170000 | #Constraints: 671782
236.67/237.45 c #Conflicts: 171000 | #Constraints: 672782
236.67/237.45 c INPROCESSING
236.67/237.45 c GARBAGE COLLECT
236.67/237.45 c #Conflicts: 172000 | #Constraints: 665577
236.67/237.45 c #Conflicts: 173000 | #Constraints: 666577
236.67/237.45 c #Conflicts: 174000 | #Constraints: 667577
236.67/237.45 c #Conflicts: 175000 | #Constraints: 668577
236.67/237.45 c #Conflicts: 176000 | #Constraints: 669577
236.67/237.45 c #Conflicts: 177000 | #Constraints: 670577
350.91/352.10 c #Conflicts: 178000 | #Constraints: 671577
350.91/352.10 c #Conflicts: 179000 | #Constraints: 672577
350.91/352.10 c #Conflicts: 180000 | #Constraints: 673577
350.91/352.10 c INPROCESSING
350.91/352.10 c GARBAGE COLLECT
350.91/352.10 c #Conflicts: 181000 | #Constraints: 666182
350.91/352.10 c #Conflicts: 182000 | #Constraints: 667182
350.91/352.10 c #Conflicts: 183000 | #Constraints: 668182
350.91/352.10 c #Conflicts: 184000 | #Constraints: 669182
350.91/352.10 c #Conflicts: 185000 | #Constraints: 670182
350.91/352.10 c #Conflicts: 186000 | #Constraints: 671182
350.91/352.10 c #Conflicts: 187000 | #Constraints: 672182
350.91/352.10 c #Conflicts: 188000 | #Constraints: 673182
350.91/352.10 c #Conflicts: 189000 | #Constraints: 674182
350.91/352.10 c INPROCESSING
350.91/352.10 c GARBAGE COLLECT
350.91/352.10 c #Conflicts: 190000 | #Constraints: 666605
350.91/352.10 c #Conflicts: 191000 | #Constraints: 667605
350.91/352.10 c #Conflicts: 192000 | #Constraints: 668605
350.91/352.10 c #Conflicts: 193000 | #Constraints: 669605
350.91/352.10 c #Conflicts: 194000 | #Constraints: 670605
350.91/352.10 c #Conflicts: 195000 | #Constraints: 671605
350.91/352.10 c #Conflicts: 196000 | #Constraints: 672605
350.91/352.10 c #Conflicts: 197000 | #Constraints: 673605
350.91/352.10 c #Conflicts: 198000 | #Constraints: 674605
350.91/352.10 c INPROCESSING
350.91/352.10 c GARBAGE COLLECT
350.91/352.10 c #Conflicts: 199000 | #Constraints: 666797
350.91/352.10 c #Conflicts: 200000 | #Constraints: 667797
350.91/352.10 c #Conflicts: 201000 | #Constraints: 668797
350.91/352.10 c #Conflicts: 202000 | #Constraints: 669797
350.91/352.10 c #Conflicts: 203000 | #Constraints: 670797
350.91/352.10 c #Conflicts: 204000 | #Constraints: 671797
350.91/352.10 c #Conflicts: 205000 | #Constraints: 672797
350.91/352.10 c #Conflicts: 206000 | #Constraints: 673797
350.91/352.10 c #Conflicts: 207000 | #Constraints: 674797
350.91/352.10 c INPROCESSING
350.91/352.10 c GARBAGE COLLECT
350.91/352.10 c #Conflicts: 208000 | #Constraints: 666790
350.91/352.10 c #Conflicts: 209000 | #Constraints: 667790
350.91/352.10 c #Conflicts: 210000 | #Constraints: 668790
350.91/352.10 c #Conflicts: 211000 | #Constraints: 669790
350.91/352.10 c #Conflicts: 212000 | #Constraints: 670790
350.91/352.10 c #Conflicts: 213000 | #Constraints: 671790
350.91/352.10 c #Conflicts: 214000 | #Constraints: 672790
350.91/352.10 c #Conflicts: 215000 | #Constraints: 673790
350.91/352.10 c #Conflicts: 216000 | #Constraints: 674790
350.91/352.10 c INPROCESSING
350.91/352.10 c GARBAGE COLLECT
350.91/352.10 c #Conflicts: 217000 | #Constraints: 666594
350.91/352.10 c #Conflicts: 218000 | #Constraints: 667594
350.91/352.10 c #Conflicts: 219000 | #Constraints: 668594
350.91/352.10 c #Conflicts: 220000 | #Constraints: 669594
350.91/352.10 c #Conflicts: 221000 | #Constraints: 670594
350.91/352.10 c #Conflicts: 222000 | #Constraints: 671594
350.91/352.10 c #Conflicts: 223000 | #Constraints: 672594
350.91/352.10 c #Conflicts: 224000 | #Constraints: 673594
350.91/352.10 c #Conflicts: 225000 | #Constraints: 674594
350.91/352.10 c #Conflicts: 226000 | #Constraints: 675594
350.91/352.10 c INPROCESSING
350.91/352.10 c GARBAGE COLLECT
350.91/352.10 c #Conflicts: 227000 | #Constraints: 667190
350.91/352.10 c #Conflicts: 228000 | #Constraints: 668190
350.91/352.10 c #Conflicts: 229000 | #Constraints: 669190
350.91/352.10 c #Conflicts: 230000 | #Constraints: 670190
350.91/352.10 c #Conflicts: 231000 | #Constraints: 671190
350.91/352.10 c #Conflicts: 232000 | #Constraints: 672190
350.91/352.10 c #Conflicts: 233000 | #Constraints: 673190
350.91/352.10 c #Conflicts: 234000 | #Constraints: 674190
350.91/352.10 c #Conflicts: 235000 | #Constraints: 675190
350.91/352.10 c #Conflicts: 236000 | #Constraints: 676190
350.91/352.10 c INPROCESSING
350.91/352.10 c GARBAGE COLLECT
350.91/352.10 c #Conflicts: 237000 | #Constraints: 667588
350.91/352.10 c #Conflicts: 238000 | #Constraints: 668588
350.91/352.10 c #Conflicts: 239000 | #Constraints: 669588
350.91/352.10 c #Conflicts: 240000 | #Constraints: 670588
350.91/352.10 c #Conflicts: 241000 | #Constraints: 671588
350.91/352.10 c #Conflicts: 242000 | #Constraints: 672588
350.91/352.10 c #Conflicts: 243000 | #Constraints: 673588
350.91/352.10 c #Conflicts: 244000 | #Constraints: 674588
350.91/352.10 c #Conflicts: 245000 | #Constraints: 675588
350.91/352.10 c #Conflicts: 246000 | #Constraints: 676588
350.91/352.10 c INPROCESSING
350.91/352.10 c GARBAGE COLLECT
350.91/352.10 c #Conflicts: 247000 | #Constraints: 667799
350.91/352.10 c #Conflicts: 248000 | #Constraints: 668799
350.91/352.10 c #Conflicts: 249000 | #Constraints: 669799
350.91/352.10 c #Conflicts: 250000 | #Constraints: 670799
456.59/458.10 c #Conflicts: 251000 | #Constraints: 671799
456.59/458.10 c #Conflicts: 252000 | #Constraints: 672799
456.59/458.10 c #Conflicts: 253000 | #Constraints: 673799
456.59/458.10 c #Conflicts: 254000 | #Constraints: 674799
456.59/458.10 c #Conflicts: 255000 | #Constraints: 675799
456.59/458.10 c #Conflicts: 256000 | #Constraints: 676799
456.59/458.10 c INPROCESSING
456.59/458.10 c GARBAGE COLLECT
456.59/458.10 c #Conflicts: 257000 | #Constraints: 667798
456.59/458.10 c #Conflicts: 258000 | #Constraints: 668798
456.59/458.10 c #Conflicts: 259000 | #Constraints: 669798
456.59/458.10 c #Conflicts: 260000 | #Constraints: 670798
456.59/458.10 c #Conflicts: 261000 | #Constraints: 671798
456.59/458.10 c #Conflicts: 262000 | #Constraints: 672798
456.59/458.10 c #Conflicts: 263000 | #Constraints: 673798
456.59/458.10 c #Conflicts: 264000 | #Constraints: 674798
456.59/458.10 c #Conflicts: 265000 | #Constraints: 675798
456.59/458.10 c #Conflicts: 266000 | #Constraints: 676798
456.59/458.10 c INPROCESSING
456.59/458.10 c GARBAGE COLLECT
456.59/458.10 c #Conflicts: 267000 | #Constraints: 667603
456.59/458.10 c #Conflicts: 268000 | #Constraints: 668603
456.59/458.10 c #Conflicts: 269000 | #Constraints: 669603
456.59/458.10 c #Conflicts: 270000 | #Constraints: 670603
456.59/458.10 c #Conflicts: 271000 | #Constraints: 671603
456.59/458.10 c #Conflicts: 272000 | #Constraints: 672603
456.59/458.10 c #Conflicts: 273000 | #Constraints: 673603
456.59/458.10 c #Conflicts: 274000 | #Constraints: 674603
456.59/458.10 c #Conflicts: 275000 | #Constraints: 675603
456.59/458.10 c #Conflicts: 276000 | #Constraints: 676603
456.59/458.10 c #Conflicts: 277000 | #Constraints: 677603
456.59/458.10 c INPROCESSING
456.59/458.10 c GARBAGE COLLECT
456.59/458.10 c #Conflicts: 278000 | #Constraints: 668194
456.59/458.10 c #Conflicts: 279000 | #Constraints: 669194
456.59/458.10 c #Conflicts: 280000 | #Constraints: 670194
456.59/458.10 c #Conflicts: 281000 | #Constraints: 671194
456.59/458.10 c #Conflicts: 282000 | #Constraints: 672194
456.59/458.10 c #Conflicts: 283000 | #Constraints: 673194
456.59/458.10 c #Conflicts: 284000 | #Constraints: 674194
456.59/458.10 c #Conflicts: 285000 | #Constraints: 675194
456.59/458.10 c #Conflicts: 286000 | #Constraints: 676194
456.59/458.10 c #Conflicts: 287000 | #Constraints: 677194
456.59/458.10 c #Conflicts: 288000 | #Constraints: 678194
456.59/458.10 c INPROCESSING
456.59/458.10 c GARBAGE COLLECT
456.59/458.10 c #Conflicts: 289000 | #Constraints: 668596
456.59/458.10 c #Conflicts: 290000 | #Constraints: 669596
456.59/458.10 c #Conflicts: 291000 | #Constraints: 670596
456.59/458.10 c #Conflicts: 292000 | #Constraints: 671596
456.59/458.10 c #Conflicts: 293000 | #Constraints: 672596
456.59/458.10 c #Conflicts: 294000 | #Constraints: 673596
456.59/458.10 c #Conflicts: 295000 | #Constraints: 674596
456.59/458.10 c #Conflicts: 296000 | #Constraints: 675596
456.59/458.10 c #Conflicts: 297000 | #Constraints: 676596
456.59/458.10 c #Conflicts: 298000 | #Constraints: 677596
456.59/458.10 c #Conflicts: 299000 | #Constraints: 678596
456.59/458.10 c INPROCESSING
456.59/458.10 c GARBAGE COLLECT
456.59/458.10 c #Conflicts: 300000 | #Constraints: 668803
456.59/458.10 c #Conflicts: 301000 | #Constraints: 669803
456.59/458.10 c #Conflicts: 302000 | #Constraints: 670803
456.59/458.10 c #Conflicts: 303000 | #Constraints: 671803
456.59/458.10 c #Conflicts: 304000 | #Constraints: 672803
456.59/458.10 c #Conflicts: 305000 | #Constraints: 673803
456.59/458.10 c #Conflicts: 306000 | #Constraints: 674803
456.59/458.10 c #Conflicts: 307000 | #Constraints: 675803
456.59/458.10 c #Conflicts: 308000 | #Constraints: 676803
456.59/458.10 c #Conflicts: 309000 | #Constraints: 677803
456.59/458.10 c #Conflicts: 310000 | #Constraints: 678803
456.59/458.10 c INPROCESSING
456.59/458.10 c GARBAGE COLLECT
456.59/458.10 c #Conflicts: 311000 | #Constraints: 668810
456.59/458.10 c #Conflicts: 312000 | #Constraints: 669810
456.59/458.10 c #Conflicts: 313000 | #Constraints: 670810
456.59/458.10 c #Conflicts: 314000 | #Constraints: 671810
456.59/458.10 c #Conflicts: 315000 | #Constraints: 672810
456.59/458.10 c #Conflicts: 316000 | #Constraints: 673810
456.59/458.10 c #Conflicts: 317000 | #Constraints: 674810
456.59/458.10 c #Conflicts: 318000 | #Constraints: 675810
456.59/458.10 c #Conflicts: 319000 | #Constraints: 676810
456.59/458.10 c #Conflicts: 320000 | #Constraints: 677810
456.59/458.10 c #Conflicts: 321000 | #Constraints: 678810
456.59/458.10 c INPROCESSING
456.59/458.10 c GARBAGE COLLECT
456.59/458.10 c #Conflicts: 322000 | #Constraints: 668614
456.59/458.10 c #Conflicts: 323000 | #Constraints: 669614
456.59/458.10 c #Conflicts: 324000 | #Constraints: 670614
456.59/458.10 c #Conflicts: 325000 | #Constraints: 671614
565.71/567.53 c #Conflicts: 326000 | #Constraints: 672614
565.71/567.53 c #Conflicts: 327000 | #Constraints: 673614
565.71/567.53 c #Conflicts: 328000 | #Constraints: 674614
565.71/567.53 c #Conflicts: 329000 | #Constraints: 675614
565.71/567.53 c #Conflicts: 330000 | #Constraints: 676614
565.71/567.53 c #Conflicts: 331000 | #Constraints: 677614
565.71/567.53 c #Conflicts: 332000 | #Constraints: 678614
565.71/567.53 c #Conflicts: 333000 | #Constraints: 679614
565.71/567.53 c INPROCESSING
565.71/567.53 c GARBAGE COLLECT
565.71/567.53 c #Conflicts: 334000 | #Constraints: 669214
565.71/567.53 c #Conflicts: 335000 | #Constraints: 670214
565.71/567.53 c #Conflicts: 336000 | #Constraints: 671214
565.71/567.53 c #Conflicts: 337000 | #Constraints: 672214
565.71/567.53 c #Conflicts: 338000 | #Constraints: 673214
565.71/567.53 c #Conflicts: 339000 | #Constraints: 674214
565.71/567.53 c #Conflicts: 340000 | #Constraints: 675214
565.71/567.53 c #Conflicts: 341000 | #Constraints: 676214
565.71/567.53 c #Conflicts: 342000 | #Constraints: 677214
565.71/567.53 c #Conflicts: 343000 | #Constraints: 678214
565.71/567.53 c #Conflicts: 344000 | #Constraints: 679214
565.71/567.53 c #Conflicts: 345000 | #Constraints: 680214
565.71/567.53 c INPROCESSING
565.71/567.53 c GARBAGE COLLECT
565.71/567.53 c #Conflicts: 346000 | #Constraints: 669612
565.71/567.53 c #Conflicts: 347000 | #Constraints: 670612
565.71/567.53 c #Conflicts: 348000 | #Constraints: 671612
565.71/567.53 c #Conflicts: 349000 | #Constraints: 672612
565.71/567.53 c #Conflicts: 350000 | #Constraints: 673612
565.71/567.53 c #Conflicts: 351000 | #Constraints: 674612
565.71/567.53 c #Conflicts: 352000 | #Constraints: 675612
565.71/567.53 c #Conflicts: 353000 | #Constraints: 676612
565.71/567.53 c #Conflicts: 354000 | #Constraints: 677612
565.71/567.53 c #Conflicts: 355000 | #Constraints: 678612
565.71/567.53 c #Conflicts: 356000 | #Constraints: 679612
565.71/567.53 c #Conflicts: 357000 | #Constraints: 680612
565.71/567.53 c INPROCESSING
565.71/567.53 c GARBAGE COLLECT
565.71/567.53 c #Conflicts: 358000 | #Constraints: 669788
565.71/567.53 c #Conflicts: 359000 | #Constraints: 670788
565.71/567.53 c #Conflicts: 360000 | #Constraints: 671788
565.71/567.53 c #Conflicts: 361000 | #Constraints: 672788
565.71/567.53 c #Conflicts: 362000 | #Constraints: 673788
565.71/567.53 c #Conflicts: 363000 | #Constraints: 674788
565.71/567.53 c #Conflicts: 364000 | #Constraints: 675788
565.71/567.53 c #Conflicts: 365000 | #Constraints: 676788
565.71/567.53 c #Conflicts: 366000 | #Constraints: 677788
565.71/567.53 c #Conflicts: 367000 | #Constraints: 678788
565.71/567.53 c #Conflicts: 368000 | #Constraints: 679788
565.71/567.53 c #Conflicts: 369000 | #Constraints: 680788
565.71/567.53 c INPROCESSING
565.71/567.53 c GARBAGE COLLECT
565.71/567.53 c #Conflicts: 370000 | #Constraints: 669799
565.71/567.53 c #Conflicts: 371000 | #Constraints: 670799
565.71/567.53 c #Conflicts: 372000 | #Constraints: 671799
565.71/567.53 c #Conflicts: 373000 | #Constraints: 672799
565.71/567.53 c #Conflicts: 374000 | #Constraints: 673799
565.71/567.53 c #Conflicts: 375000 | #Constraints: 674799
565.71/567.53 c #Conflicts: 376000 | #Constraints: 675799
565.71/567.53 c #Conflicts: 377000 | #Constraints: 676799
565.71/567.53 c #Conflicts: 378000 | #Constraints: 677799
565.71/567.53 c #Conflicts: 379000 | #Constraints: 678799
565.71/567.53 c #Conflicts: 380000 | #Constraints: 679799
565.71/567.53 c #Conflicts: 381000 | #Constraints: 680799
565.71/567.53 c INPROCESSING
565.71/567.53 c GARBAGE COLLECT
565.71/567.53 c #Conflicts: 382000 | #Constraints: 669589
565.71/567.53 c #Conflicts: 383000 | #Constraints: 670589
565.71/567.53 c #Conflicts: 384000 | #Constraints: 671589
565.71/567.53 c #Conflicts: 385000 | #Constraints: 672589
565.71/567.53 c #Conflicts: 386000 | #Constraints: 673589
565.71/567.53 c #Conflicts: 387000 | #Constraints: 674589
565.71/567.53 c #Conflicts: 388000 | #Constraints: 675589
565.71/567.53 c #Conflicts: 389000 | #Constraints: 676589
565.71/567.53 c #Conflicts: 390000 | #Constraints: 677589
565.71/567.53 c #Conflicts: 391000 | #Constraints: 678589
565.71/567.53 c #Conflicts: 392000 | #Constraints: 679589
565.71/567.53 c #Conflicts: 393000 | #Constraints: 680589
565.71/567.53 c #Conflicts: 394000 | #Constraints: 681589
565.71/567.53 c INPROCESSING
565.71/567.53 c GARBAGE COLLECT
565.71/567.53 c #Conflicts: 395000 | #Constraints: 670209
565.71/567.53 c #Conflicts: 396000 | #Constraints: 671209
565.71/567.53 c #Conflicts: 397000 | #Constraints: 672209
565.71/567.53 c #Conflicts: 398000 | #Constraints: 673209
565.71/567.53 c #Conflicts: 399000 | #Constraints: 674209
565.71/567.53 c #Conflicts: 400000 | #Constraints: 675209
680.12/682.32 c #Conflicts: 401000 | #Constraints: 676209
680.12/682.32 c #Conflicts: 402000 | #Constraints: 677209
680.12/682.32 c #Conflicts: 403000 | #Constraints: 678209
680.12/682.32 c #Conflicts: 404000 | #Constraints: 679209
680.12/682.32 c #Conflicts: 405000 | #Constraints: 680209
680.12/682.32 c #Conflicts: 406000 | #Constraints: 681209
680.12/682.32 c #Conflicts: 407000 | #Constraints: 682209
680.12/682.32 c INPROCESSING
680.12/682.32 c GARBAGE COLLECT
680.12/682.32 c #Conflicts: 408000 | #Constraints: 670609
680.12/682.32 c #Conflicts: 409000 | #Constraints: 671609
680.12/682.32 c #Conflicts: 410000 | #Constraints: 672609
680.12/682.32 c #Conflicts: 411000 | #Constraints: 673609
680.12/682.32 c #Conflicts: 412000 | #Constraints: 674609
680.12/682.32 c #Conflicts: 413000 | #Constraints: 675609
680.12/682.32 c #Conflicts: 414000 | #Constraints: 676609
680.12/682.32 c #Conflicts: 415000 | #Constraints: 677609
680.12/682.32 c #Conflicts: 416000 | #Constraints: 678609
680.12/682.32 c #Conflicts: 417000 | #Constraints: 679609
680.12/682.32 c #Conflicts: 418000 | #Constraints: 680609
680.12/682.32 c #Conflicts: 419000 | #Constraints: 681609
680.12/682.32 c #Conflicts: 420000 | #Constraints: 682609
680.12/682.32 c INPROCESSING
680.12/682.32 c GARBAGE COLLECT
680.12/682.32 c #Conflicts: 421000 | #Constraints: 670802
680.12/682.32 c #Conflicts: 422000 | #Constraints: 671802
680.12/682.32 c #Conflicts: 423000 | #Constraints: 672802
680.12/682.32 c #Conflicts: 424000 | #Constraints: 673802
680.12/682.32 c #Conflicts: 425000 | #Constraints: 674802
680.12/682.32 c #Conflicts: 426000 | #Constraints: 675802
680.12/682.32 c #Conflicts: 427000 | #Constraints: 676802
680.12/682.32 c #Conflicts: 428000 | #Constraints: 677802
680.12/682.32 c #Conflicts: 429000 | #Constraints: 678802
680.12/682.32 c #Conflicts: 430000 | #Constraints: 679802
680.12/682.32 c #Conflicts: 431000 | #Constraints: 680802
680.12/682.32 c #Conflicts: 432000 | #Constraints: 681802
680.12/682.32 c #Conflicts: 433000 | #Constraints: 682802
680.12/682.32 c INPROCESSING
680.12/682.32 c GARBAGE COLLECT
680.12/682.32 c #Conflicts: 434000 | #Constraints: 670820
680.12/682.32 c #Conflicts: 435000 | #Constraints: 671820
680.12/682.32 c #Conflicts: 436000 | #Constraints: 672820
680.12/682.32 c #Conflicts: 437000 | #Constraints: 673820
680.12/682.32 c #Conflicts: 438000 | #Constraints: 674820
680.12/682.32 c #Conflicts: 439000 | #Constraints: 675820
680.12/682.32 c #Conflicts: 440000 | #Constraints: 676820
680.12/682.32 c #Conflicts: 441000 | #Constraints: 677820
680.12/682.32 c #Conflicts: 442000 | #Constraints: 678820
680.12/682.32 c #Conflicts: 443000 | #Constraints: 679820
680.12/682.32 c #Conflicts: 444000 | #Constraints: 680820
680.12/682.32 c #Conflicts: 445000 | #Constraints: 681820
680.12/682.32 c #Conflicts: 446000 | #Constraints: 682820
680.12/682.32 c INPROCESSING
680.12/682.32 c GARBAGE COLLECT
680.12/682.32 c #Conflicts: 447000 | #Constraints: 670623
680.12/682.32 c #Conflicts: 448000 | #Constraints: 671623
680.12/682.32 c #Conflicts: 449000 | #Constraints: 672623
680.12/682.32 c #Conflicts: 450000 | #Constraints: 673623
680.12/682.32 c #Conflicts: 451000 | #Constraints: 674623
680.12/682.32 c #Conflicts: 452000 | #Constraints: 675623
680.12/682.32 c #Conflicts: 453000 | #Constraints: 676623
680.12/682.32 c #Conflicts: 454000 | #Constraints: 677623
680.12/682.32 c #Conflicts: 455000 | #Constraints: 678623
680.12/682.32 c #Conflicts: 456000 | #Constraints: 679623
680.12/682.32 c #Conflicts: 457000 | #Constraints: 680623
680.12/682.32 c #Conflicts: 458000 | #Constraints: 681623
680.12/682.32 c #Conflicts: 459000 | #Constraints: 682623
680.12/682.32 c #Conflicts: 460000 | #Constraints: 683623
680.12/682.32 c INPROCESSING
680.12/682.32 c GARBAGE COLLECT
680.12/682.32 c #Conflicts: 461000 | #Constraints: 671220
680.12/682.32 c #Conflicts: 462000 | #Constraints: 672220
680.12/682.32 c #Conflicts: 463000 | #Constraints: 673220
680.12/682.32 c #Conflicts: 464000 | #Constraints: 674220
680.12/682.32 c #Conflicts: 465000 | #Constraints: 675220
680.12/682.32 c #Conflicts: 466000 | #Constraints: 676220
680.12/682.32 c #Conflicts: 467000 | #Constraints: 677220
680.12/682.32 c #Conflicts: 468000 | #Constraints: 678220
680.12/682.32 c #Conflicts: 469000 | #Constraints: 679220
680.12/682.32 c #Conflicts: 470000 | #Constraints: 680220
680.12/682.32 c #Conflicts: 471000 | #Constraints: 681220
680.12/682.32 c #Conflicts: 472000 | #Constraints: 682220
680.12/682.32 c #Conflicts: 473000 | #Constraints: 683220
680.12/682.32 c #Conflicts: 474000 | #Constraints: 684220
680.12/682.32 c INPROCESSING
680.12/682.32 c GARBAGE COLLECT
682.20/684.40 c #Conflicts: 475000 | #Constraints: 671622
682.20/684.40 c finalizing WCE round: reformulating cores
682.20/684.43 c bounds 302 >= 6 @ 672.109
682.20/684.43 c bounds 301 >= 6 @ 672.115
682.20/684.43 c stratification level: 5
882.59/885.54 c #Conflicts: 476000 | #Constraints: 672627
882.59/885.54 c #Conflicts: 477000 | #Constraints: 673627
882.59/885.54 c #Conflicts: 478000 | #Constraints: 674627
882.59/885.54 c #Conflicts: 479000 | #Constraints: 675627
882.59/885.54 c #Conflicts: 480000 | #Constraints: 676627
882.59/885.54 c #Conflicts: 481000 | #Constraints: 677627
882.59/885.54 c #Conflicts: 482000 | #Constraints: 678627
882.59/885.54 c #Conflicts: 483000 | #Constraints: 679627
882.59/885.54 c #Conflicts: 484000 | #Constraints: 680627
882.59/885.54 c #Conflicts: 485000 | #Constraints: 681627
882.59/885.54 c #Conflicts: 486000 | #Constraints: 682627
882.59/885.54 c #Conflicts: 487000 | #Constraints: 683627
882.59/885.54 c #Conflicts: 488000 | #Constraints: 684627
882.59/885.54 c INPROCESSING
882.59/885.54 c GARBAGE COLLECT
882.59/885.54 c #Conflicts: 489000 | #Constraints: 671810
882.59/885.54 c #Conflicts: 490000 | #Constraints: 672810
882.59/885.54 c #Conflicts: 491000 | #Constraints: 673810
882.59/885.54 c #Conflicts: 492000 | #Constraints: 674810
882.59/885.54 c #Conflicts: 493000 | #Constraints: 675810
882.59/885.54 c #Conflicts: 494000 | #Constraints: 676810
882.59/885.54 c #Conflicts: 495000 | #Constraints: 677810
882.59/885.54 c #Conflicts: 496000 | #Constraints: 678810
882.59/885.54 c #Conflicts: 497000 | #Constraints: 679810
882.59/885.54 c #Conflicts: 498000 | #Constraints: 680810
882.59/885.54 c #Conflicts: 499000 | #Constraints: 681810
882.59/885.54 c #Conflicts: 500000 | #Constraints: 682810
882.59/885.54 c #Conflicts: 501000 | #Constraints: 683810
882.59/885.54 c #Conflicts: 502000 | #Constraints: 684810
882.59/885.54 c INPROCESSING
882.59/885.54 c GARBAGE COLLECT
882.59/885.54 c #Conflicts: 503000 | #Constraints: 671811
882.59/885.54 c #Conflicts: 504000 | #Constraints: 672811
882.59/885.54 c #Conflicts: 505000 | #Constraints: 673811
882.59/885.54 c #Conflicts: 506000 | #Constraints: 674811
882.59/885.54 c #Conflicts: 507000 | #Constraints: 675811
882.59/885.54 c #Conflicts: 508000 | #Constraints: 676811
882.59/885.54 c #Conflicts: 509000 | #Constraints: 677811
882.59/885.54 c #Conflicts: 510000 | #Constraints: 678811
882.59/885.54 c #Conflicts: 511000 | #Constraints: 679811
882.59/885.54 c #Conflicts: 512000 | #Constraints: 680811
882.59/885.54 c #Conflicts: 513000 | #Constraints: 681811
882.59/885.54 c #Conflicts: 514000 | #Constraints: 682811
882.59/885.54 c #Conflicts: 515000 | #Constraints: 683811
882.59/885.54 c #Conflicts: 516000 | #Constraints: 684811
882.59/885.54 c INPROCESSING
882.59/885.54 c GARBAGE COLLECT
882.59/885.54 c #Conflicts: 517000 | #Constraints: 671618
882.59/885.54 c #Conflicts: 518000 | #Constraints: 672618
882.59/885.54 c #Conflicts: 519000 | #Constraints: 673618
882.59/885.54 c #Conflicts: 520000 | #Constraints: 674618
882.59/885.54 c #Conflicts: 521000 | #Constraints: 675618
882.59/885.54 c #Conflicts: 522000 | #Constraints: 676618
882.59/885.54 c #Conflicts: 523000 | #Constraints: 677618
882.59/885.54 c #Conflicts: 524000 | #Constraints: 678618
882.59/885.54 c #Conflicts: 525000 | #Constraints: 679618
882.59/885.54 c #Conflicts: 526000 | #Constraints: 680618
882.59/885.54 c #Conflicts: 527000 | #Constraints: 681618
882.59/885.54 c #Conflicts: 528000 | #Constraints: 682618
882.59/885.54 c #Conflicts: 529000 | #Constraints: 683618
882.59/885.54 c #Conflicts: 530000 | #Constraints: 684618
882.59/885.54 c #Conflicts: 531000 | #Constraints: 685618
882.59/885.54 c INPROCESSING
882.59/885.54 c GARBAGE COLLECT
882.59/885.54 c #Conflicts: 532000 | #Constraints: 672212
882.59/885.54 c #Conflicts: 533000 | #Constraints: 673212
882.59/885.54 c #Conflicts: 534000 | #Constraints: 674212
882.59/885.54 c #Conflicts: 535000 | #Constraints: 675212
882.59/885.54 c #Conflicts: 536000 | #Constraints: 676212
882.59/885.54 c #Conflicts: 537000 | #Constraints: 677212
882.59/885.54 c #Conflicts: 538000 | #Constraints: 678212
882.59/885.54 c #Conflicts: 539000 | #Constraints: 679212
882.59/885.54 c #Conflicts: 540000 | #Constraints: 680212
882.59/885.54 c #Conflicts: 541000 | #Constraints: 681212
882.59/885.54 c #Conflicts: 542000 | #Constraints: 682212
882.59/885.54 c #Conflicts: 543000 | #Constraints: 683212
882.59/885.54 c #Conflicts: 544000 | #Constraints: 684212
882.59/885.54 c #Conflicts: 545000 | #Constraints: 685212
882.59/885.54 c #Conflicts: 546000 | #Constraints: 686212
882.59/885.54 c INPROCESSING
882.59/885.54 c GARBAGE COLLECT
882.59/885.54 c #Conflicts: 547000 | #Constraints: 672609
882.59/885.54 c #Conflicts: 548000 | #Constraints: 673609
882.59/885.54 c #Conflicts: 549000 | #Constraints: 674609
882.59/885.54 c #Conflicts: 550000 | #Constraints: 675609
882.59/885.54 c #Conflicts: 551000 | #Constraints: 676609
1133.79/1137.63 c #Conflicts: 552000 | #Constraints: 677609
1133.79/1137.63 c #Conflicts: 553000 | #Constraints: 678609
1133.79/1137.63 c #Conflicts: 554000 | #Constraints: 679609
1133.79/1137.63 c #Conflicts: 555000 | #Constraints: 680609
1133.79/1137.63 c #Conflicts: 556000 | #Constraints: 681609
1133.79/1137.63 c #Conflicts: 557000 | #Constraints: 682609
1133.79/1137.63 c #Conflicts: 558000 | #Constraints: 683609
1133.79/1137.63 c #Conflicts: 559000 | #Constraints: 684609
1133.79/1137.63 c #Conflicts: 560000 | #Constraints: 685609
1133.79/1137.63 c #Conflicts: 561000 | #Constraints: 686609
1133.79/1137.63 c INPROCESSING
1133.79/1137.63 c GARBAGE COLLECT
1133.79/1137.63 c #Conflicts: 562000 | #Constraints: 672808
1133.79/1137.63 c #Conflicts: 563000 | #Constraints: 673808
1133.79/1137.63 c #Conflicts: 564000 | #Constraints: 674808
1133.79/1137.63 c #Conflicts: 565000 | #Constraints: 675808
1133.79/1137.63 c #Conflicts: 566000 | #Constraints: 676808
1133.79/1137.63 c #Conflicts: 567000 | #Constraints: 677808
1133.79/1137.63 c #Conflicts: 568000 | #Constraints: 678808
1133.79/1137.63 c #Conflicts: 569000 | #Constraints: 679808
1133.79/1137.63 c #Conflicts: 570000 | #Constraints: 680808
1133.79/1137.63 c #Conflicts: 571000 | #Constraints: 681808
1133.79/1137.63 c #Conflicts: 572000 | #Constraints: 682808
1133.79/1137.63 c #Conflicts: 573000 | #Constraints: 683808
1133.79/1137.63 c #Conflicts: 574000 | #Constraints: 684808
1133.79/1137.63 c #Conflicts: 575000 | #Constraints: 685808
1133.79/1137.63 c #Conflicts: 576000 | #Constraints: 686808
1133.79/1137.63 c INPROCESSING
1133.79/1137.63 c GARBAGE COLLECT
1133.79/1137.63 c #Conflicts: 577000 | #Constraints: 672802
1133.79/1137.63 c #Conflicts: 578000 | #Constraints: 673802
1133.79/1137.63 c #Conflicts: 579000 | #Constraints: 674802
1133.79/1137.63 c #Conflicts: 580000 | #Constraints: 675802
1133.79/1137.63 c #Conflicts: 581000 | #Constraints: 676802
1133.79/1137.63 c #Conflicts: 582000 | #Constraints: 677802
1133.79/1137.63 c #Conflicts: 583000 | #Constraints: 678802
1133.79/1137.63 c #Conflicts: 584000 | #Constraints: 679802
1133.79/1137.63 c #Conflicts: 585000 | #Constraints: 680802
1133.79/1137.63 c #Conflicts: 586000 | #Constraints: 681802
1133.79/1137.63 c #Conflicts: 587000 | #Constraints: 682802
1133.79/1137.63 c #Conflicts: 588000 | #Constraints: 683802
1133.79/1137.63 c #Conflicts: 589000 | #Constraints: 684802
1133.79/1137.63 c #Conflicts: 590000 | #Constraints: 685802
1133.79/1137.63 c #Conflicts: 591000 | #Constraints: 686802
1133.79/1137.63 c INPROCESSING
1133.79/1137.63 c GARBAGE COLLECT
1133.79/1137.63 c #Conflicts: 592000 | #Constraints: 672614
1133.79/1137.63 c #Conflicts: 593000 | #Constraints: 673614
1133.79/1137.63 c #Conflicts: 594000 | #Constraints: 674614
1133.79/1137.63 c #Conflicts: 595000 | #Constraints: 675614
1133.79/1137.63 c #Conflicts: 596000 | #Constraints: 676614
1133.79/1137.63 c #Conflicts: 597000 | #Constraints: 677614
1133.79/1137.63 c #Conflicts: 598000 | #Constraints: 678614
1133.79/1137.63 c #Conflicts: 599000 | #Constraints: 679614
1133.79/1137.63 c #Conflicts: 600000 | #Constraints: 680614
1133.79/1137.63 c #Conflicts: 601000 | #Constraints: 681614
1133.79/1137.63 c #Conflicts: 602000 | #Constraints: 682614
1133.79/1137.63 c #Conflicts: 603000 | #Constraints: 683614
1133.79/1137.63 c #Conflicts: 604000 | #Constraints: 684614
1133.79/1137.63 c #Conflicts: 605000 | #Constraints: 685614
1133.79/1137.63 c #Conflicts: 606000 | #Constraints: 686614
1133.79/1137.63 c #Conflicts: 607000 | #Constraints: 687614
1133.79/1137.63 c INPROCESSING
1133.79/1137.63 c GARBAGE COLLECT
1133.79/1137.63 c #Conflicts: 608000 | #Constraints: 673214
1133.79/1137.63 c #Conflicts: 609000 | #Constraints: 674214
1133.79/1137.63 c #Conflicts: 610000 | #Constraints: 675214
1133.79/1137.63 c #Conflicts: 611000 | #Constraints: 676214
1133.79/1137.63 c #Conflicts: 612000 | #Constraints: 677214
1133.79/1137.63 c #Conflicts: 613000 | #Constraints: 678214
1133.79/1137.63 c #Conflicts: 614000 | #Constraints: 679214
1133.79/1137.63 c #Conflicts: 615000 | #Constraints: 680214
1133.79/1137.63 c #Conflicts: 616000 | #Constraints: 681214
1133.79/1137.63 c #Conflicts: 617000 | #Constraints: 682214
1133.79/1137.63 c #Conflicts: 618000 | #Constraints: 683214
1133.79/1137.63 c #Conflicts: 619000 | #Constraints: 684214
1133.79/1137.63 c #Conflicts: 620000 | #Constraints: 685214
1133.79/1137.63 c #Conflicts: 621000 | #Constraints: 686214
1133.79/1137.63 c #Conflicts: 622000 | #Constraints: 687214
1133.79/1137.63 c #Conflicts: 623000 | #Constraints: 688214
1133.79/1137.63 c INPROCESSING
1133.79/1137.63 c GARBAGE COLLECT
1133.79/1137.63 c #Conflicts: 624000 | #Constraints: 673611
1133.79/1137.63 c #Conflicts: 625000 | #Constraints: 674611
1133.79/1137.63 c #Conflicts: 626000 | #Constraints: 675611
1133.79/1137.63 c #Conflicts: 627000 | #Constraints: 676611
1403.24/1407.94 c #Conflicts: 628000 | #Constraints: 677611
1403.24/1407.94 c #Conflicts: 629000 | #Constraints: 678611
1403.24/1407.94 c #Conflicts: 630000 | #Constraints: 679611
1403.24/1407.94 c #Conflicts: 631000 | #Constraints: 680611
1403.24/1407.94 c #Conflicts: 632000 | #Constraints: 681611
1403.24/1407.94 c #Conflicts: 633000 | #Constraints: 682611
1403.24/1407.94 c #Conflicts: 634000 | #Constraints: 683611
1403.24/1407.94 c #Conflicts: 635000 | #Constraints: 684611
1403.24/1407.94 c #Conflicts: 636000 | #Constraints: 685611
1403.24/1407.94 c #Conflicts: 637000 | #Constraints: 686611
1403.24/1407.94 c #Conflicts: 638000 | #Constraints: 687611
1403.24/1407.94 c #Conflicts: 639000 | #Constraints: 688611
1403.24/1407.94 c INPROCESSING
1403.24/1407.94 c GARBAGE COLLECT
1403.24/1407.94 c #Conflicts: 640000 | #Constraints: 673823
1403.24/1407.94 c #Conflicts: 641000 | #Constraints: 674823
1403.24/1407.94 c #Conflicts: 642000 | #Constraints: 675823
1403.24/1407.94 c #Conflicts: 643000 | #Constraints: 676823
1403.24/1407.94 c #Conflicts: 644000 | #Constraints: 677823
1403.24/1407.94 c #Conflicts: 645000 | #Constraints: 678823
1403.24/1407.94 c #Conflicts: 646000 | #Constraints: 679823
1403.24/1407.95 c #Conflicts: 647000 | #Constraints: 680823
1403.24/1407.95 c #Conflicts: 648000 | #Constraints: 681823
1403.24/1407.95 c #Conflicts: 649000 | #Constraints: 682823
1403.24/1407.95 c #Conflicts: 650000 | #Constraints: 683823
1403.24/1407.95 c #Conflicts: 651000 | #Constraints: 684823
1403.24/1407.95 c #Conflicts: 652000 | #Constraints: 685823
1403.24/1407.95 c #Conflicts: 653000 | #Constraints: 686823
1403.24/1407.95 c #Conflicts: 654000 | #Constraints: 687823
1403.24/1407.95 c #Conflicts: 655000 | #Constraints: 688823
1403.24/1407.95 c INPROCESSING
1403.24/1407.95 c GARBAGE COLLECT
1403.24/1407.95 c #Conflicts: 656000 | #Constraints: 673836
1403.24/1407.95 c #Conflicts: 657000 | #Constraints: 674836
1403.24/1407.95 c #Conflicts: 658000 | #Constraints: 675836
1403.24/1407.95 c #Conflicts: 659000 | #Constraints: 676836
1403.24/1407.95 c #Conflicts: 660000 | #Constraints: 677836
1403.24/1407.95 c #Conflicts: 661000 | #Constraints: 678836
1403.24/1407.95 c #Conflicts: 662000 | #Constraints: 679836
1403.24/1407.95 c #Conflicts: 663000 | #Constraints: 680836
1403.24/1407.95 c #Conflicts: 664000 | #Constraints: 681836
1403.24/1407.95 c #Conflicts: 665000 | #Constraints: 682836
1403.24/1407.95 c #Conflicts: 666000 | #Constraints: 683836
1403.24/1407.95 c #Conflicts: 667000 | #Constraints: 684836
1403.24/1407.95 c #Conflicts: 668000 | #Constraints: 685836
1403.24/1407.95 c #Conflicts: 669000 | #Constraints: 686836
1403.24/1407.95 c #Conflicts: 670000 | #Constraints: 687836
1403.24/1407.95 c #Conflicts: 671000 | #Constraints: 688836
1403.24/1407.95 c INPROCESSING
1403.24/1407.95 c GARBAGE COLLECT
1403.24/1407.95 c #Conflicts: 672000 | #Constraints: 673640
1403.24/1407.95 c #Conflicts: 673000 | #Constraints: 674640
1403.24/1407.95 c #Conflicts: 674000 | #Constraints: 675640
1403.24/1407.95 c #Conflicts: 675000 | #Constraints: 676640
1403.24/1407.95 c #Conflicts: 676000 | #Constraints: 677640
1403.24/1407.95 c #Conflicts: 677000 | #Constraints: 678640
1403.24/1407.95 c #Conflicts: 678000 | #Constraints: 679640
1403.24/1407.95 c #Conflicts: 679000 | #Constraints: 680640
1403.24/1407.95 c #Conflicts: 680000 | #Constraints: 681640
1403.24/1407.95 c #Conflicts: 681000 | #Constraints: 682640
1403.24/1407.95 c #Conflicts: 682000 | #Constraints: 683640
1403.24/1407.95 c #Conflicts: 683000 | #Constraints: 684640
1403.24/1407.95 c #Conflicts: 684000 | #Constraints: 685640
1403.24/1407.95 c #Conflicts: 685000 | #Constraints: 686640
1403.24/1407.95 c #Conflicts: 686000 | #Constraints: 687640
1403.24/1407.95 c #Conflicts: 687000 | #Constraints: 688640
1403.24/1407.95 c #Conflicts: 688000 | #Constraints: 689640
1403.24/1407.95 c INPROCESSING
1403.24/1407.95 c GARBAGE COLLECT
1403.24/1407.95 c #Conflicts: 689000 | #Constraints: 674243
1403.24/1407.95 c #Conflicts: 690000 | #Constraints: 675243
1403.24/1407.95 c #Conflicts: 691000 | #Constraints: 676243
1403.24/1407.95 c #Conflicts: 692000 | #Constraints: 677243
1403.24/1407.95 c #Conflicts: 693000 | #Constraints: 678243
1403.24/1407.95 c #Conflicts: 694000 | #Constraints: 679243
1403.24/1407.95 c #Conflicts: 695000 | #Constraints: 680243
1403.24/1407.95 c #Conflicts: 696000 | #Constraints: 681243
1403.24/1407.95 c #Conflicts: 697000 | #Constraints: 682243
1403.24/1407.95 c #Conflicts: 698000 | #Constraints: 683243
1403.24/1407.95 c #Conflicts: 699000 | #Constraints: 684243
1403.24/1407.95 c #Conflicts: 700000 | #Constraints: 685243
1403.24/1407.95 c #Conflicts: 701000 | #Constraints: 686243
1403.24/1407.95 c #Conflicts: 702000 | #Constraints: 687243
1403.24/1407.95 c #Conflicts: 703000 | #Constraints: 688243
1891.68/1897.93 c #Conflicts: 704000 | #Constraints: 689243
1891.68/1897.93 c #Conflicts: 705000 | #Constraints: 690243
1891.68/1897.93 c INPROCESSING
1891.68/1897.93 c GARBAGE COLLECT
1891.68/1897.93 c #Conflicts: 706000 | #Constraints: 674640
1891.68/1897.93 c #Conflicts: 707000 | #Constraints: 675640
1891.68/1897.93 c #Conflicts: 708000 | #Constraints: 676640
1891.68/1897.93 c #Conflicts: 709000 | #Constraints: 677640
1891.68/1897.93 c #Conflicts: 710000 | #Constraints: 678640
1891.68/1897.93 c #Conflicts: 711000 | #Constraints: 679640
1891.68/1897.93 c #Conflicts: 712000 | #Constraints: 680640
1891.68/1897.93 c #Conflicts: 713000 | #Constraints: 681640
1891.68/1897.93 c #Conflicts: 714000 | #Constraints: 682640
1891.68/1897.93 c #Conflicts: 715000 | #Constraints: 683640
1891.68/1897.93 c #Conflicts: 716000 | #Constraints: 684640
1891.68/1897.93 c #Conflicts: 717000 | #Constraints: 685640
1891.68/1897.93 c #Conflicts: 718000 | #Constraints: 686640
1891.68/1897.93 c bounds 301 >= 11 @ 1445.44
1891.68/1897.93 c #Conflicts: 719000 | #Constraints: 687641
1891.68/1897.93 c #Conflicts: 720000 | #Constraints: 688641
1891.68/1897.93 c #Conflicts: 721000 | #Constraints: 689641
1891.68/1897.93 c #Conflicts: 722000 | #Constraints: 690641
1891.68/1897.93 c INPROCESSING
1891.68/1897.93 c GARBAGE COLLECT
1891.68/1897.93 c #Conflicts: 723000 | #Constraints: 674816
1891.68/1897.93 c #Conflicts: 724000 | #Constraints: 675816
1891.68/1897.93 c #Conflicts: 725000 | #Constraints: 676816
1891.68/1897.93 c #Conflicts: 726000 | #Constraints: 677816
1891.68/1897.93 c #Conflicts: 727000 | #Constraints: 678816
1891.68/1897.93 c #Conflicts: 728000 | #Constraints: 679816
1891.68/1897.93 c #Conflicts: 729000 | #Constraints: 680816
1891.68/1897.93 c #Conflicts: 730000 | #Constraints: 681816
1891.68/1897.93 c #Conflicts: 731000 | #Constraints: 682816
1891.68/1897.93 c #Conflicts: 732000 | #Constraints: 683816
1891.68/1897.93 c #Conflicts: 733000 | #Constraints: 684816
1891.68/1897.93 c #Conflicts: 734000 | #Constraints: 685816
1891.68/1897.93 c #Conflicts: 735000 | #Constraints: 686816
1891.68/1897.93 c #Conflicts: 736000 | #Constraints: 687816
1891.68/1897.93 c #Conflicts: 737000 | #Constraints: 688816
1891.68/1897.93 c #Conflicts: 738000 | #Constraints: 689816
1891.68/1897.93 c #Conflicts: 739000 | #Constraints: 690816
1891.68/1897.93 c INPROCESSING
1891.68/1897.93 c GARBAGE COLLECT
1891.68/1897.93 c #Conflicts: 740000 | #Constraints: 674790
1891.68/1897.93 c #Conflicts: 741000 | #Constraints: 675790
1891.68/1897.93 c #Conflicts: 742000 | #Constraints: 676790
1891.68/1897.93 c #Conflicts: 743000 | #Constraints: 677790
1891.68/1897.93 c #Conflicts: 744000 | #Constraints: 678790
1891.68/1897.93 c #Conflicts: 745000 | #Constraints: 679790
1891.68/1897.93 c #Conflicts: 746000 | #Constraints: 680790
1891.68/1897.93 c #Conflicts: 747000 | #Constraints: 681790
1891.68/1897.93 c #Conflicts: 748000 | #Constraints: 682790
1891.68/1897.93 c #Conflicts: 749000 | #Constraints: 683790
1891.68/1897.93 c #Conflicts: 750000 | #Constraints: 684790
1891.68/1897.93 c #Conflicts: 751000 | #Constraints: 685790
1891.68/1897.93 c #Conflicts: 752000 | #Constraints: 686790
1891.68/1897.93 c #Conflicts: 753000 | #Constraints: 687790
1891.68/1897.93 c #Conflicts: 754000 | #Constraints: 688790
1891.68/1897.93 c #Conflicts: 755000 | #Constraints: 689790
1891.68/1897.93 c #Conflicts: 756000 | #Constraints: 690790
1891.68/1897.93 c INPROCESSING
1891.68/1897.93 c #Conflicts: 757000 | #Constraints: 674566
1891.68/1897.93 c #Conflicts: 758000 | #Constraints: 675566
1891.68/1897.93 c #Conflicts: 759000 | #Constraints: 676566
1891.68/1897.93 c #Conflicts: 760000 | #Constraints: 677566
1891.68/1897.93 c #Conflicts: 761000 | #Constraints: 678566
1891.68/1897.93 c #Conflicts: 762000 | #Constraints: 679566
1891.68/1897.93 c #Conflicts: 763000 | #Constraints: 680566
1891.68/1897.93 c #Conflicts: 764000 | #Constraints: 681566
1891.68/1897.93 c #Conflicts: 765000 | #Constraints: 682566
1891.68/1897.93 c #Conflicts: 766000 | #Constraints: 683566
1891.68/1897.93 c #Conflicts: 767000 | #Constraints: 684566
1891.68/1897.93 c #Conflicts: 768000 | #Constraints: 685566
1891.68/1897.93 c #Conflicts: 769000 | #Constraints: 686566
1891.68/1897.93 c #Conflicts: 770000 | #Constraints: 687566
1891.68/1897.93 c #Conflicts: 771000 | #Constraints: 688566
1891.68/1897.93 c #Conflicts: 772000 | #Constraints: 689566
1891.68/1897.93 c #Conflicts: 773000 | #Constraints: 690566
1891.68/1897.93 c #Conflicts: 774000 | #Constraints: 691566
1891.68/1897.93 c INPROCESSING
1891.68/1897.93 c GARBAGE COLLECT
1891.68/1897.93 c #Conflicts: 775000 | #Constraints: 675152
1891.68/1897.93 c #Conflicts: 776000 | #Constraints: 676152
1891.68/1897.93 c #Conflicts: 777000 | #Constraints: 677152
1891.68/1897.93 c #Conflicts: 778000 | #Constraints: 678152
3301.86/3312.96 c #Conflicts: 779000 | #Constraints: 679152
3301.86/3312.96 c #Conflicts: 780000 | #Constraints: 680152
3301.86/3312.96 c #Conflicts: 781000 | #Constraints: 681152
3301.86/3312.96 c #Conflicts: 782000 | #Constraints: 682152
3301.86/3312.96 c #Conflicts: 783000 | #Constraints: 683152
3301.86/3312.96 c #Conflicts: 784000 | #Constraints: 684152
3301.86/3312.96 c #Conflicts: 785000 | #Constraints: 685152
3301.86/3312.96 c #Conflicts: 786000 | #Constraints: 686152
3301.86/3312.96 c #Conflicts: 787000 | #Constraints: 687152
3301.86/3312.96 c #Conflicts: 788000 | #Constraints: 688152
3301.86/3312.96 c #Conflicts: 789000 | #Constraints: 689152
3301.86/3312.96 c #Conflicts: 790000 | #Constraints: 690152
3301.86/3312.96 c #Conflicts: 791000 | #Constraints: 691152
3301.86/3312.96 c #Conflicts: 792000 | #Constraints: 692152
3301.86/3312.96 c INPROCESSING
3301.86/3312.96 c GARBAGE COLLECT
3301.86/3312.96 c #Conflicts: 793000 | #Constraints: 675540
3301.86/3312.96 c #Conflicts: 794000 | #Constraints: 676540
3301.86/3312.96 c #Conflicts: 795000 | #Constraints: 677540
3301.86/3312.96 c #Conflicts: 796000 | #Constraints: 678540
3301.86/3312.96 c #Conflicts: 797000 | #Constraints: 679540
3301.86/3312.96 c #Conflicts: 798000 | #Constraints: 680540
3301.86/3312.96 c #Conflicts: 799000 | #Constraints: 681540
3301.86/3312.96 c #Conflicts: 800000 | #Constraints: 682540
3301.86/3312.96 c #Conflicts: 801000 | #Constraints: 683540
3301.86/3312.96 c #Conflicts: 802000 | #Constraints: 684540
3301.86/3312.96 c #Conflicts: 803000 | #Constraints: 685540
3301.86/3312.96 c #Conflicts: 804000 | #Constraints: 686540
3301.86/3312.96 c #Conflicts: 805000 | #Constraints: 687540
3301.86/3312.96 c #Conflicts: 806000 | #Constraints: 688540
3301.86/3312.96 c #Conflicts: 807000 | #Constraints: 689540
3301.86/3312.96 c #Conflicts: 808000 | #Constraints: 690540
3301.86/3312.96 c #Conflicts: 809000 | #Constraints: 691540
3301.86/3312.96 c #Conflicts: 810000 | #Constraints: 692540
3301.86/3312.96 c INPROCESSING
3301.86/3312.96 c GARBAGE COLLECT
3301.86/3312.96 c #Conflicts: 811000 | #Constraints: 675736
3301.86/3312.96 c #Conflicts: 812000 | #Constraints: 676736
3301.86/3312.96 c #Conflicts: 813000 | #Constraints: 677736
3301.86/3312.96 c #Conflicts: 814000 | #Constraints: 678736
3301.86/3312.96 c #Conflicts: 815000 | #Constraints: 679736
3301.86/3312.96 c #Conflicts: 816000 | #Constraints: 680736
3301.86/3312.96 c #Conflicts: 817000 | #Constraints: 681736
3301.86/3312.96 c #Conflicts: 818000 | #Constraints: 682736
3301.86/3312.96 c #Conflicts: 819000 | #Constraints: 683736
3301.86/3312.96 c #Conflicts: 820000 | #Constraints: 684736
3301.86/3312.96 c #Conflicts: 821000 | #Constraints: 685736
3301.86/3312.96 c #Conflicts: 822000 | #Constraints: 686736
3301.86/3312.96 c #Conflicts: 823000 | #Constraints: 687736
3301.86/3312.96 c #Conflicts: 824000 | #Constraints: 688736
3301.86/3312.96 c #Conflicts: 825000 | #Constraints: 689736
3301.86/3312.96 c #Conflicts: 826000 | #Constraints: 690736
3301.86/3312.96 c #Conflicts: 827000 | #Constraints: 691736
3301.86/3312.96 c #Conflicts: 828000 | #Constraints: 692736
3301.86/3312.96 c INPROCESSING
3301.86/3312.96 c GARBAGE COLLECT
3301.86/3312.96 c #Conflicts: 829000 | #Constraints: 675739
3301.86/3312.96 c #Conflicts: 830000 | #Constraints: 676739
3301.86/3312.96 c #Conflicts: 831000 | #Constraints: 677739
3301.86/3312.96 c #Conflicts: 832000 | #Constraints: 678739
3301.86/3312.96 c #Conflicts: 833000 | #Constraints: 679739
3301.86/3312.96 c #Conflicts: 834000 | #Constraints: 680739
3301.86/3312.96 c #Conflicts: 835000 | #Constraints: 681739
3301.86/3312.96 c #Conflicts: 836000 | #Constraints: 682739
3301.86/3312.96 c #Conflicts: 837000 | #Constraints: 683739
3301.86/3312.96 c #Conflicts: 838000 | #Constraints: 684739
3301.86/3312.96 c #Conflicts: 839000 | #Constraints: 685739
3301.86/3312.96 c #Conflicts: 840000 | #Constraints: 686739
3301.86/3312.96 c #Conflicts: 841000 | #Constraints: 687739
3301.86/3312.96 c #Conflicts: 842000 | #Constraints: 688739
3301.86/3312.96 c #Conflicts: 843000 | #Constraints: 689739
3301.86/3312.96 c #Conflicts: 844000 | #Constraints: 690739
3301.86/3312.96 c #Conflicts: 845000 | #Constraints: 691739
3301.86/3312.96 c #Conflicts: 846000 | #Constraints: 692739
3301.86/3312.96 c INPROCESSING
3301.86/3312.96 c GARBAGE COLLECT
3301.86/3312.96 c #Conflicts: 847000 | #Constraints: 675526
3301.86/3312.96 c #Conflicts: 848000 | #Constraints: 676526
3301.86/3312.96 c #Conflicts: 849000 | #Constraints: 677526
3301.86/3312.96 c #Conflicts: 850000 | #Constraints: 678526
3301.86/3312.96 c #Conflicts: 851000 | #Constraints: 679526
3301.86/3312.96 c #Conflicts: 852000 | #Constraints: 680526
3301.86/3312.96 c #Conflicts: 853000 | #Constraints: 681526
3301.86/3312.96 c #Conflicts: 854000 | #Constraints: 682526
3301.86/3312.96 c #Conflicts: 855000 | #Constraints: 683526
3600.07/3612.11 c #Conflicts: 856000 | #Constraints: 684526
3600.07/3612.11 c #Conflicts: 857000 | #Constraints: 685526
3600.07/3612.11 c #Conflicts: 858000 | #Constraints: 686526
3600.07/3612.11 c #Conflicts: 859000 | #Constraints: 687526
3600.07/3612.11 c #Conflicts: 860000 | #Constraints: 688526
3600.07/3612.11 c #Conflicts: 861000 | #Constraints: 689526
3600.07/3612.11 c #Conflicts: 862000 | #Constraints: 690526
3600.07/3612.11 c #Conflicts: 863000 | #Constraints: 691526
3600.07/3612.11 c #Conflicts: 864000 | #Constraints: 692526
3600.07/3612.11 c #Conflicts: 865000 | #Constraints: 693526
3600.07/3612.11 c INPROCESSING
3600.07/3612.11 c GARBAGE COLLECT
3600.07/3612.11 c #Conflicts: 866000 | #Constraints: 676131
3600.07/3612.11 c #Conflicts: 867000 | #Constraints: 677131
3600.07/3612.11 c #Conflicts: 868000 | #Constraints: 678131
3600.07/3612.11 c #Conflicts: 869000 | #Constraints: 679131
3600.07/3612.11 c #Conflicts: 870000 | #Constraints: 680131
3600.07/3612.11 c #Conflicts: 871000 | #Constraints: 681131
3600.07/3612.11 c Program interrupted by user.
3600.07/3612.11 c cpu time 3577.85 s
3600.07/3612.11 c deterministic time 530267403137 5.30e+11
3600.07/3612.11 c optimization time 96.638 s
3600.07/3612.11 c total solve time 3479.65 s
3600.07/3612.11 c core-guided solve time 3479.65 s
3600.07/3612.11 c propagation time 1996.1 s
3600.07/3612.11 c conflict analysis time 1400.37 s
3600.07/3612.11 c propagations 108187892
3600.07/3612.11 c resolve steps 21033949
3600.07/3612.11 c decisions 20823099
3600.07/3612.11 c conflicts 871774
3600.07/3612.11 c restarts 1881
3600.07/3612.11 c inprocessing phases 84
3600.07/3612.11 c input clauses 656900
3600.07/3612.11 c input cardinalities 1
3600.07/3612.11 c input general constraints 98
3600.07/3612.11 c input average constraint length 3.51
3600.07/3612.11 c input average constraint degree 72.48
3600.07/3612.11 c learned clauses 754421
3600.07/3612.11 c learned cardinalities 0
3600.07/3612.11 c learned general constraints 117352
3600.07/3612.11 c learned average constraint length 4231.79
3600.07/3612.11 c learned average constraint degree 439118.12
3600.07/3612.11 c watched constraints 13700
3600.07/3612.11 c counting constraints 103750
3600.07/3612.11 c gcd simplifications 2066
3600.07/3612.11 c detected cardinalities 0
3600.07/3612.11 c weakened non-implied lits 320007875
3600.07/3612.11 c weakened non-implying lits 81721
3600.07/3612.11 c original variables 10000
3600.07/3612.11 c clausal propagations 89789537
3600.07/3612.11 c cardinality propagations 23604
3600.07/3612.11 c watched propagations 116918
3600.07/3612.11 c counting propagations 16947883
3600.07/3612.11 c watch lookups 16089730698
3600.07/3612.11 c watch backjump lookups 15240262642
3600.07/3612.11 c watch checks 102059563804
3600.07/3612.11 c propagation checks 388506017043
3600.07/3612.11 c constraint additions 8112945010
3600.07/3612.11 c trail pops 129872948
3600.07/3612.11 c formula constraints 656900
3600.07/3612.11 c learned constraints 871773
3600.07/3612.11 c bound constraints 97
3600.07/3612.11 c core-guided constraints 2
3600.07/3612.11 c encountered formula constraints 15333221
3600.07/3612.11 c encountered learned constraints 6552766
3600.07/3612.11 c encountered bound constraints 9009
3600.07/3612.11 c encountered core-guided constraints 10727
3600.07/3612.11 c LP total time 0 s
3600.07/3612.11 c LP solve time 0 s
3600.07/3612.11 c LP constraints added 0
3600.07/3612.11 c LP constraints removed 0
3600.07/3612.11 c LP pivots internal 0
3600.07/3612.11 c LP pivots root 0
3600.07/3612.11 c LP calls 0
3600.07/3612.11 c LP optimalities 0
3600.07/3612.11 c LP no pivot count 0
3600.07/3612.11 c LP infeasibilities 0
3600.07/3612.11 c LP valid Farkas constraints 0
3600.07/3612.11 c LP learned Farkas constraints 0
3600.07/3612.11 c LP basis resets 0
3600.07/3612.11 c LP cycling count 0
3600.07/3612.11 c LP singular count 0
3600.07/3612.11 c LP no primal count 0
3600.07/3612.11 c LP no farkas count 0
3600.07/3612.11 c LP other issue count 0
3600.07/3612.11 c LP Gomory cuts 0
3600.07/3612.11 c LP learned cuts 0
3600.07/3612.11 c LP deleted cuts 0
3600.07/3612.11 c LP encountered Gomory constraints 0
3600.07/3612.11 c LP encountered Farkas constraints 0
3600.07/3612.11 c LP encountered learned Farkas constraints 0
3600.07/3612.11 c CG auxiliary variables introduced 1
3600.07/3612.11 c CG solutions found 94
3600.07/3612.11 c CG cores constructed 2
3600.07/3612.11 c CG core cardinality constraints returned 0
3600.07/3612.11 c CG unit cores 0
3600.07/3612.11 c CG single cores 2
3600.07/3612.11 c CG blocks removed during cardinality reduction 0
3600.07/3612.11 c CG first core best 0
3600.07/3612.11 c CG decision core best 0
3600.07/3612.11 c CG core reduction tie 0
3600.07/3612.11 c CG core degree average 1.00
3600.07/3612.11 c CG core slack average 4782.50
3600.07/3612.11 c CG exhausted 0
3600.07/3612.11 c CG exhaust time 0.005498 s
3600.07/3612.11 c CG trimmed 0
3600.07/3612.11 c CG trim time 0.006182 s
3600.07/3612.11 c CG minimized 0
3600.07/3612.11 c CG minimize time 0 s
3600.07/3612.11 c CG am1 prop time 0.01526 s
3600.07/3612.11 c CG # am1s reformulated 0
3600.07/3612.11 c CG lower bound derived from am1s 0
3600.07/3612.11 c CG # clausal cores 2
3600.07/3612.11 c CG # cardinality cores 0
3600.07/3612.11 c CG # pb cores 0
3600.07/3612.11 c CG # pb reforms 0
3600.07/3612.11 c CG # cores discarded because of pb reform 0
3600.07/3612.11 d LOWERBOUND 11
3600.07/3612.11 d NCORES 2
3600.07/3612.11 d NPBCORES 0
3600.07/3612.11 d NPBREFORM 0
3600.07/3612.11 d NTRIMMED 0
3600.07/3612.11 d NEXHAUSTED 0
3600.07/3612.11 d NAM1S 0
3600.07/3612.11 d AM1LB 0
3600.07/3612.11 o 301
3600.07/3612.11 s SATISFIABLE
3600.07/3612.11 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: 64059 MiB (61213 MiB free)
memory of node 1: 64510 MiB (56695 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454316-1721470191/watcher-4454316-1721470191 -o /tmp/evaluation-result-4454316-1721470191/solver-4454316-1721470191 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721466587-1045261 --watchdog 3760 pb-oll-rs HOME/instance-4454316-1721470191.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1048027, runsolver pid=1048024
[startup+0.100327 s]*
/proc/loadavg: 4.12 4.12 4.12 5/241 1048028
/proc/meminfo: memFree=120733504/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=44044 memory=8156 CPUtime=0.09 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 1447 0 0 0 7 2 0 0 20 0 1 0 199178299 45101056 2039 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 11011 2039 1185 291 0 2545 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44044 KiB
Current children cumulated memory: 8156 KiB
[startup+0.212933 s]*
/proc/loadavg: 4.12 4.12 4.12 5/241 1048028
/proc/meminfo: memFree=120727988/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=44572 memory=11256 CPUtime=0.21 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 1713 0 0 0 16 5 0 0 20 0 1 0 199178299 45641728 2814 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 11143 2814 1185 291 0 2677 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44572 KiB
Current children cumulated memory: 11256 KiB
[startup+0.312761 s]*
/proc/loadavg: 4.11 4.12 4.12 5/241 1048028
/proc/meminfo: memFree=120723120/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=45100 memory=12048 CPUtime=0.31 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 1850 0 0 0 23 8 0 0 20 0 1 0 199178299 46182400 3012 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 11275 3012 1185 291 0 2809 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45100 KiB
Current children cumulated memory: 12048 KiB
[startup+0.700322 s]
/proc/loadavg: 4.11 4.12 4.12 5/241 1048028
/proc/meminfo: memFree=120704996/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=50592 memory=18696 CPUtime=0.68 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 3030 0 0 0 48 20 0 0 20 0 1 0 199178299 51806208 4674 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 12648 4674 1185 291 0 4182 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50592 KiB
Current children cumulated memory: 18696 KiB
[startup+1.50033 s]
/proc/loadavg: 4.11 4.12 4.12 5/241 1048028
/proc/meminfo: memFree=120693208/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=67472 memory=36696 CPUtime=1.48 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 5485 0 0 0 106 42 0 0 20 0 1 0 199178299 69091328 9174 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 16868 9174 1185 291 0 8402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67472 KiB
Current children cumulated memory: 36696 KiB
[startup+3.1127 s]
/proc/loadavg: 4.11 4.12 4.12 5/241 1048028
/proc/meminfo: memFree=120619396/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=118088 memory=74224 CPUtime=3.09 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 11243 0 0 0 234 75 0 0 20 0 1 0 199178299 120922112 18556 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 29522 18556 1375 291 0 21056 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 118088 KiB
Current children cumulated memory: 74224 KiB
[startup+6.30033 s]
/proc/loadavg: 4.10 4.12 4.12 5/241 1048028
/proc/meminfo: memFree=120550008/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=186400 memory=131020 CPUtime=6.26 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 21917 0 0 0 520 106 0 0 20 0 1 0 199178299 190873600 32755 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 46600 32755 1375 291 0 38134 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 186400 KiB
Current children cumulated memory: 131020 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.12 5/241 1048030
/proc/meminfo: memFree=120525240/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=192340 memory=148480 CPUtime=12.64 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 23710 0 0 0 1139 125 0 0 20 0 1 0 199178299 196956160 37120 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 48085 37120 1437 291 0 39619 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 192340 KiB
Current children cumulated memory: 148480 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.12 5/241 1048077
/proc/meminfo: memFree=122051216/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=192604 memory=163232 CPUtime=25.4 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 23831 0 0 0 2387 153 0 0 20 0 1 0 199178299 197226496 40808 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 48151 40808 1437 291 0 39685 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 192604 KiB
Current children cumulated memory: 163232 KiB
[startup+51.1123 s]
/proc/loadavg: 4.11 4.12 4.12 5/241 1048192
/proc/meminfo: memFree=122013040/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=243088 memory=179112 CPUtime=50.93 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 24283 0 0 0 4886 207 0 0 20 0 1 0 199178299 248922112 44778 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 60772 44778 1437 291 0 52306 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 243088 KiB
Current children cumulated memory: 179112 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.16 4.13 5/244 1048464
/proc/meminfo: memFree=122028956/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=243484 memory=195916 CPUtime=101.97 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 24414 0 0 0 9890 307 0 0 20 0 1 0 199178299 249327616 48979 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 60871 48979 1437 291 0 52405 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 243484 KiB
Current children cumulated memory: 195916 KiB
[startup+162.3 s]
/proc/loadavg: 4.76 4.32 4.19 5/244 1048520
/proc/meminfo: memFree=125321484/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=325400 memory=229228 CPUtime=161.8 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 25100 0 0 0 15806 374 0 0 20 0 1 0 199178299 333209600 57307 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 81350 57307 1437 291 0 72884 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 325400 KiB
Current children cumulated memory: 229228 KiB
[startup+222.3 s]
/proc/loadavg: 4.34 4.27 4.18 5/244 1048530
/proc/meminfo: memFree=125300104/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=325664 memory=239668 CPUtime=221.62 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 25215 0 0 0 21685 477 0 0 20 0 1 0 199178299 333479936 59917 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 81416 59917 1437 291 0 72950 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 325664 KiB
Current children cumulated memory: 239668 KiB
[startup+282.3 s]
/proc/loadavg: 4.27 4.27 4.18 5/244 1048541
/proc/meminfo: memFree=125225680/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=325796 memory=272656 CPUtime=281.44 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 25328 0 0 0 27604 540 0 0 20 0 1 0 199178299 333615104 68164 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 81449 68164 1437 291 0 72983 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 325796 KiB
Current children cumulated memory: 272656 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.23 4.17 5/244 1048552
/proc/meminfo: memFree=125200412/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=326192 memory=279248 CPUtime=341.23 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 25532 0 0 0 33520 603 0 0 20 0 1 0 199178299 334020608 69812 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 81548 69812 1437 291 0 73082 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 326192 KiB
Current children cumulated memory: 279248 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.23 4.18 5/242 1048563
/proc/meminfo: memFree=125183860/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=326456 memory=279344 CPUtime=401.05 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 25607 0 0 0 39407 698 0 0 20 0 1 0 199178299 334290944 69836 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 81614 69836 1437 291 0 73148 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 326456 KiB
Current children cumulated memory: 279344 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.20 4.17 5/241 1048573
/proc/meminfo: memFree=125173072/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=326588 memory=285740 CPUtime=460.86 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 25777 0 0 0 45315 771 0 0 20 0 1 0 199178299 334426112 71435 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 81647 71435 1437 291 0 73181 0
################
# More data... #
################
Current children cumulated memory: 5599988 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.13 4.16 5/244 1050181
/proc/meminfo: memFree=116269216/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6538912 memory=5599988 CPUtime=2912.58 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 874916 0 0 0 289176 2082 0 0 20 0 1 0 199178299 6695845888 1399997 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1634728 1399997 1437 291 0 1626262 0
Current children cumulated CPU time: 2912.58 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5599988 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/244 1050192
/proc/meminfo: memFree=116176196/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6538912 memory=5599996 CPUtime=2972.38 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 876956 0 0 0 295149 2089 0 0 20 0 1 0 199178299 6695845888 1399999 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1634728 1399999 1437 291 0 1626262 0
Current children cumulated CPU time: 2972.38 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5599996 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/245 1050206
/proc/meminfo: memFree=116035620/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6538912 memory=5600016 CPUtime=3032.17 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 878987 0 0 0 301123 2094 0 0 20 0 1 0 199178299 6695845888 1400004 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1634728 1400004 1437 291 0 1626262 0
Current children cumulated CPU time: 3032.17 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5600016 KiB
[startup+3102.3 s]
/proc/loadavg: 4.74 4.27 4.20 5/245 1050227
/proc/meminfo: memFree=116035332/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6538912 memory=5600080 CPUtime=3091.97 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 881275 0 0 0 307098 2099 0 0 20 0 1 0 199178299 6695845888 1400020 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1634728 1400020 1437 291 0 1626262 0
Current children cumulated CPU time: 3091.97 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5600080 KiB
[startup+3162.3 s]
/proc/loadavg: 4.60 4.34 4.23 5/245 1050239
/proc/meminfo: memFree=116024832/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6538912 memory=5600200 CPUtime=3151.77 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 883502 0 0 0 313073 2104 0 0 20 0 1 0 199178299 6695845888 1400050 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1634728 1400050 1437 291 0 1626262 0
Current children cumulated CPU time: 3151.77 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5600200 KiB
[startup+3222.3 s]
/proc/loadavg: 4.35 4.31 4.22 5/245 1050249
/proc/meminfo: memFree=115967200/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6538912 memory=5600292 CPUtime=3211.56 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 886684 0 0 0 319039 2117 0 0 20 0 1 0 199178299 6695845888 1400073 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1634728 1400073 1437 291 0 1626262 0
Current children cumulated CPU time: 3211.56 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5600292 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.26 4.21 5/243 1050260
/proc/meminfo: memFree=115867384/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6538912 memory=5600292 CPUtime=3271.36 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 888847 0 0 0 325001 2135 0 0 20 0 1 0 199178299 6695845888 1400073 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1634728 1400073 1437 291 0 1626262 0
Current children cumulated CPU time: 3271.36 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5600292 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.23 4.20 5/241 1050270
/proc/meminfo: memFree=115708756/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6538912 memory=5600308 CPUtime=3331.17 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 891236 0 0 0 330963 2154 0 0 20 0 1 0 199178299 6695845888 1400077 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1634728 1400077 1437 291 0 1626262 0
Current children cumulated CPU time: 3331.17 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5600308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.21 4.19 5/241 1050281
/proc/meminfo: memFree=114937572/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6538912 memory=5601076 CPUtime=3390.96 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 893404 0 0 0 336928 2168 0 0 20 0 1 0 199178299 6695845888 1400269 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1634728 1400269 1437 291 0 1626262 0
Current children cumulated CPU time: 3390.96 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5601076 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/241 1050291
/proc/meminfo: memFree=114524720/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6538912 memory=5609860 CPUtime=3450.75 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 897276 0 0 0 342899 2176 0 0 20 0 1 0 199178299 6695845888 1402465 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1634728 1402465 1437 291 0 1626262 0
Current children cumulated CPU time: 3450.75 s
Current children cumulated vsize: 6538912 KiB
Current children cumulated memory: 5609860 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/241 1050301
/proc/meminfo: memFree=114058116/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6939308 memory=5962168 CPUtime=3510.55 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 963516 0 0 0 348860 2195 0 0 20 0 1 0 199178299 7105851392 1490542 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1734827 1490542 1437 291 0 1726361 0
Current children cumulated CPU time: 3510.55 s
Current children cumulated vsize: 6939308 KiB
Current children cumulated memory: 5962168 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.19 4.18 5/241 1050312
/proc/meminfo: memFree=114045612/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6939308 memory=5974124 CPUtime=3570.35 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 965525 0 0 0 354822 2213 0 0 20 0 1 0 199178299 7105851392 1493531 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1734827 1493531 1437 291 0 1726361 0
Current children cumulated CPU time: 3570.35 s
Current children cumulated vsize: 6939308 KiB
Current children cumulated memory: 5974124 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.48 4.26 4.20 5/242 1050365
/proc/meminfo: memFree=119047016/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6939308 memory=5986364 CPUtime=3600.07 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 966784 0 0 0 357785 2222 0 0 20 0 1 0 199178299 7105851392 1496591 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1734827 1496591 1437 291 0 1726361 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 6939308 KiB
Current children cumulated memory: 5986364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.2 s]
# the end of solver process 1048027 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.86 s, system=22.2961 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.48 4.26 4.20 5/242 1050365
/proc/meminfo: memFree=119047016/131655788 swapFree=131071996/131071996
[pid=1048027] ppid=1048024 vsize=6939308 memory=5986364 CPUtime=3600.07 cores=0,2
/proc/1048027/stat : 1048027 (pb-oll-rs) R 1048024 1048027 1045251 0 -1 4194304 966784 0 0 0 357785 2222 0 0 20 0 1 0 199178299 7105851392 1496591 134679101440 4194304 5384485 140729845706928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 31690752 140729845715989 140729845716066 140729845716066 140729845723083 0
/proc/1048027/statm: 1734827 1496591 1437 291 0 1726361 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 6939308 KiB
Current children cumulated memory: 5986364 KiB
Child status: 0
Real time (s): 3612.2
CPU time (s): 3600.16
CPU user time (s): 3577.86
CPU system time (s): 22.2961
CPU usage (%): 99.6667
Max. virtual memory (cumulated for all children) (KiB): 6950992
Max. memory (cumulated for all children) (KiB): 5986364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.86
system time used= 22.2961
maximum resident set size= 5986584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 966799
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= 294
involuntary context switches= 25257
# summary of solver processes directly reported to runsolver:
# pid: 1048027
# total CPU time (s): 3600.16
# total CPU user time (s): 3577.86
# total CPU system time (s): 22.2961
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3125 second user time and 32.3995 second system time
The end
Begin job on nodeC010 at 2024-07-20 12:10:02
IDJOB=4454316
IDBENCH=147565
IDSOLVER=3082
FILE ID=nodeC010/4454316-1721470191
RUNJOBID= nodeC010-1721466587-1045261
SLURM_JOB_ID= 7545719
Free space on /tmp= 723744 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454316-1721470191/watcher-4454316-1721470191 -o /tmp/evaluation-result-4454316-1721470191/solver-4454316-1721470191 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721466587-1045261 --watchdog 3760 pb-oll-rs HOME/instance-4454316-1721470191.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=1268024854
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3398.466
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3623.792
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.196
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.307
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3511.761
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3666.897
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.357
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.344
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120738780 kB
MemAvailable: 124807056 kB
Buffers: 550276 kB
Cached: 4321980 kB
SwapCached: 0 kB
Active: 1098976 kB
Inactive: 9159304 kB
Active(anon): 1440 kB
Inactive(anon): 5430484 kB
Active(file): 1097536 kB
Inactive(file): 3728820 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 37652 kB
Writeback: 192 kB
AnonPages: 5386032 kB
Mapped: 111684 kB
Shmem: 45896 kB
KReclaimable: 163900 kB
Slab: 275948 kB
SReclaimable: 163900 kB
SUnreclaim: 112048 kB
KernelStack: 3888 kB
PageTables: 20980 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 6386596 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62432 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4073472 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: 295752 kB
DirectMap2M: 35260416 kB
DirectMap1G: 100663296 kB
Free space on /tmp at the end= 723184 MiB
End job on nodeC010 at 2024-07-20 13:10:14