0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
1.26/1.39 c [STEP] preprocessing with Papilo
3.46/3.55 c Papilo could not simplify the problem
3.46/3.55 c [STEP] solving with SCIP
304.30/305.44 c [STEP] preprocessing done, loading into solver
305.40/306.51 c [STEP] solving
305.40/306.51 c #variables 10001 #constraints 656900
305.40/306.51 c SMALL=int, LARGE=long long
305.40/306.51 d SCIPUB 493168
305.40/306.51 c bounds - >= 0 @ 303.827
305.40/306.51 c stratification level: 98
305.50/306.66 c bounds 7168 >= 0 @ 303.959
305.50/306.66 c stratification level: 97
305.50/306.67 c bounds 7161 >= 0 @ 303.965
305.50/306.67 c stratification level: 96
305.50/306.68 c bounds 7126 >= 0 @ 303.971
305.50/306.68 c stratification level: 95
305.50/306.69 c bounds 7038 >= 0 @ 303.977
305.50/306.69 c stratification level: 94
305.50/306.69 c bounds 6831 >= 0 @ 303.983
305.50/306.69 c stratification level: 93
305.59/306.70 c bounds 6727 >= 0 @ 303.988
305.59/306.70 c stratification level: 92
305.59/306.71 c bounds 6563 >= 0 @ 303.994
305.59/306.71 c stratification level: 91
305.59/306.72 c bounds 6529 >= 0 @ 303.999
305.59/306.72 c stratification level: 90
305.59/306.73 c bounds 6324 >= 0 @ 304.005
305.59/306.73 c stratification level: 89
305.59/306.74 c bounds 6190 >= 0 @ 304.01
305.59/306.74 c stratification level: 88
305.59/306.79 c bounds 6168 >= 0 @ 304.063
305.59/306.79 c stratification level: 87
305.69/306.82 c bounds 6148 >= 0 @ 304.084
305.69/306.82 c stratification level: 86
305.69/306.83 c bounds 6116 >= 0 @ 304.091
305.69/306.83 c stratification level: 85
305.69/306.83 c bounds 6046 >= 0 @ 304.096
305.69/306.83 c stratification level: 84
305.69/306.84 c bounds 6011 >= 0 @ 304.101
305.69/306.84 c stratification level: 83
305.69/306.85 c bounds 5867 >= 0 @ 304.108
305.69/306.85 c stratification level: 82
305.69/306.86 c bounds 5833 >= 0 @ 304.115
305.69/306.86 c stratification level: 81
305.69/306.88 c bounds 5802 >= 0 @ 304.143
305.69/306.88 c stratification level: 80
305.69/306.89 c bounds 5722 >= 0 @ 304.149
305.69/306.89 c stratification level: 79
305.80/306.90 c bounds 5695 >= 0 @ 304.154
305.80/306.90 c stratification level: 78
305.80/306.91 c bounds 5635 >= 0 @ 304.159
305.80/306.91 c stratification level: 77
305.80/306.92 c bounds 5575 >= 0 @ 304.165
305.80/306.92 c stratification level: 76
305.80/306.99 c bounds 5565 >= 0 @ 304.24
305.80/306.99 c stratification level: 75
305.90/307.00 c bounds 5453 >= 0 @ 304.247
305.90/307.00 c stratification level: 74
305.90/307.01 c bounds 5215 >= 0 @ 304.25
305.90/307.01 c stratification level: 73
305.90/307.02 c bounds 5200 >= 0 @ 304.257
305.90/307.02 c stratification level: 72
305.90/307.04 c bounds 5193 >= 0 @ 304.27
305.90/307.04 c stratification level: 71
305.90/307.04 c bounds 5149 >= 0 @ 304.275
305.90/307.04 c stratification level: 70
305.90/307.05 c bounds 5079 >= 0 @ 304.28
305.90/307.05 c stratification level: 69
305.90/307.06 c bounds 4899 >= 0 @ 304.287
305.90/307.06 c stratification level: 68
305.90/307.07 c bounds 4815 >= 0 @ 304.292
305.90/307.07 c stratification level: 67
305.90/307.08 c bounds 4672 >= 0 @ 304.299
305.90/307.08 c stratification level: 66
305.90/307.09 c bounds 4583 >= 0 @ 304.305
305.90/307.09 c stratification level: 65
305.90/307.10 c bounds 4503 >= 0 @ 304.311
305.90/307.10 c stratification level: 64
306.00/307.18 c bounds 4400 >= 0 @ 304.389
306.00/307.18 c stratification level: 63
306.00/307.19 c bounds 4300 >= 0 @ 304.395
306.00/307.19 c stratification level: 62
306.09/307.23 c bounds 4289 >= 0 @ 304.442
306.09/307.23 c stratification level: 61
306.09/307.25 c bounds 4284 >= 0 @ 304.451
306.09/307.25 c stratification level: 60
306.09/307.26 c bounds 3990 >= 0 @ 304.457
306.09/307.26 c stratification level: 59
306.09/307.27 c bounds 3939 >= 0 @ 304.462
306.09/307.27 c stratification level: 58
306.09/307.28 c bounds 3932 >= 0 @ 304.469
306.09/307.28 c stratification level: 57
306.09/307.29 c bounds 3893 >= 0 @ 304.476
306.09/307.29 c stratification level: 56
306.19/307.30 c bounds 3834 >= 0 @ 304.483
306.19/307.30 c stratification level: 55
306.19/307.31 c bounds 3819 >= 0 @ 304.489
306.19/307.31 c stratification level: 54
306.19/307.32 c bounds 3755 >= 0 @ 304.495
306.19/307.32 c stratification level: 53
306.19/307.33 c bounds 3742 >= 0 @ 304.502
306.19/307.33 c stratification level: 52
306.19/307.34 c bounds 3628 >= 0 @ 304.512
306.19/307.34 c stratification level: 51
306.19/307.35 c bounds 3619 >= 0 @ 304.518
306.19/307.35 c stratification level: 50
306.19/307.36 c bounds 3607 >= 0 @ 304.524
306.19/307.36 c stratification level: 49
306.19/307.38 c bounds 3498 >= 0 @ 304.531
306.19/307.38 c stratification level: 48
306.19/307.39 c bounds 3493 >= 0 @ 304.543
306.19/307.39 c stratification level: 47
306.29/307.41 c bounds 3340 >= 0 @ 304.551
306.29/307.41 c stratification level: 46
306.29/307.42 c bounds 3211 >= 0 @ 304.56
306.29/307.42 c stratification level: 45
306.29/307.45 c bounds 2961 >= 0 @ 304.583
306.29/307.45 c stratification level: 44
306.29/307.46 c bounds 2826 >= 0 @ 304.595
306.29/307.46 c stratification level: 43
306.29/307.48 c bounds 2738 >= 0 @ 304.602
306.29/307.48 c stratification level: 42
306.29/307.49 c bounds 2592 >= 0 @ 304.611
306.29/307.49 c stratification level: 41
306.39/307.50 c bounds 2493 >= 0 @ 304.62
306.39/307.50 c stratification level: 40
306.39/307.52 c bounds 2470 >= 0 @ 304.637
306.39/307.52 c stratification level: 39
306.39/307.53 c bounds 2318 >= 0 @ 304.644
306.39/307.53 c stratification level: 38
306.39/307.55 c bounds 2302 >= 0 @ 304.651
306.39/307.55 c stratification level: 37
306.39/307.56 c bounds 2270 >= 0 @ 304.657
306.39/307.56 c stratification level: 36
306.39/307.57 c bounds 2248 >= 0 @ 304.664
306.39/307.57 c stratification level: 35
306.39/307.59 c bounds 2228 >= 0 @ 304.672
306.39/307.59 c stratification level: 34
306.49/307.60 c bounds 2060 >= 0 @ 304.679
306.49/307.60 c stratification level: 33
306.49/307.61 c bounds 2027 >= 0 @ 304.688
306.49/307.61 c stratification level: 32
306.49/307.63 c bounds 1928 >= 0 @ 304.694
306.49/307.63 c stratification level: 31
306.49/307.64 c bounds 1799 >= 0 @ 304.702
306.49/307.64 c stratification level: 30
306.49/307.67 c bounds 1793 >= 0 @ 304.728
306.49/307.67 c stratification level: 29
306.49/307.69 c bounds 1715 >= 0 @ 304.737
306.49/307.69 c stratification level: 28
306.59/307.70 c bounds 1708 >= 0 @ 304.743
306.59/307.70 c stratification level: 27
306.59/307.71 c bounds 1686 >= 0 @ 304.752
306.59/307.71 c stratification level: 26
306.59/307.72 c bounds 1668 >= 0 @ 304.757
306.59/307.72 c stratification level: 25
306.59/307.79 c bounds 1660 >= 0 @ 304.819
306.59/307.79 c stratification level: 24
306.69/307.81 c bounds 1561 >= 0 @ 304.828
306.69/307.81 c stratification level: 23
306.69/307.82 c bounds 1475 >= 0 @ 304.838
306.69/307.82 c stratification level: 22
306.69/307.84 c bounds 1346 >= 0 @ 304.847
306.69/307.84 c stratification level: 21
306.69/307.85 c bounds 1214 >= 0 @ 304.856
306.69/307.85 c stratification level: 20
306.69/307.87 c bounds 1130 >= 0 @ 304.867
306.69/307.87 c stratification level: 19
306.69/307.88 c bounds 1120 >= 0 @ 304.876
306.69/307.88 c stratification level: 18
306.90/308.04 c #Conflicts: 1000 | #Constraints: 657979
306.90/308.04 c bounds 1041 >= 0 @ 305.019
306.90/308.04 c stratification level: 17
306.90/308.09 c bounds 954 >= 0 @ 305.053
306.90/308.09 c stratification level: 16
307.19/308.34 c bounds 951 >= 0 @ 305.279
307.19/308.34 c stratification level: 15
307.69/308.84 c #Conflicts: 2000 | #Constraints: 658982
307.69/308.84 c INPROCESSING
307.69/308.84 c GARBAGE COLLECT
307.69/308.84 c bounds 870 >= 0 @ 305.757
307.69/308.84 c stratification level: 14
307.79/308.94 c bounds 805 >= 0 @ 305.852
307.79/308.94 c stratification level: 13
307.79/308.96 c bounds 714 >= 0 @ 305.864
307.79/308.96 c stratification level: 12
307.89/309.06 c bounds 671 >= 0 @ 305.958
307.89/309.06 c stratification level: 11
307.89/309.09 c bounds 610 >= 0 @ 305.971
307.89/309.09 c stratification level: 10
309.49/310.64 c #Conflicts: 3000 | #Constraints: 658915
309.49/310.64 c bounds 541 >= 0 @ 307.473
309.49/310.64 c stratification level: 9
310.68/311.80 c #Conflicts: 4000 | #Constraints: 659916
310.68/311.80 c INPROCESSING
310.68/311.80 c GARBAGE COLLECT
310.68/311.80 c #Conflicts: 5000 | #Constraints: 659315
310.68/311.80 c bounds 516 >= 0 @ 308.568
310.68/311.80 c stratification level: 8
313.57/314.77 c #Conflicts: 6000 | #Constraints: 660316
313.57/314.77 c INPROCESSING
313.57/314.77 c GARBAGE COLLECT
313.57/314.77 c #Conflicts: 7000 | #Constraints: 659321
313.57/314.77 c bounds 408 >= 0 @ 311.473
313.57/314.77 c stratification level: 7
313.77/314.98 c bounds 404 >= 0 @ 311.678
313.77/314.98 c stratification level: 6
407.60/409.04 c #Conflicts: 8000 | #Constraints: 660323
407.60/409.04 c #Conflicts: 9000 | #Constraints: 661323
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 10000 | #Constraints: 660026
407.60/409.04 c #Conflicts: 11000 | #Constraints: 661026
407.60/409.04 c #Conflicts: 12000 | #Constraints: 662026
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 13000 | #Constraints: 660483
407.60/409.04 c #Conflicts: 14000 | #Constraints: 661483
407.60/409.04 c #Conflicts: 15000 | #Constraints: 662483
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 16000 | #Constraints: 660721
407.60/409.04 c #Conflicts: 17000 | #Constraints: 661721
407.60/409.04 c #Conflicts: 18000 | #Constraints: 662721
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 19000 | #Constraints: 660743
407.60/409.04 c #Conflicts: 20000 | #Constraints: 661743
407.60/409.04 c #Conflicts: 21000 | #Constraints: 662743
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 22000 | #Constraints: 660551
407.60/409.04 c #Conflicts: 23000 | #Constraints: 661551
407.60/409.04 c #Conflicts: 24000 | #Constraints: 662551
407.60/409.04 c #Conflicts: 25000 | #Constraints: 663551
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 26000 | #Constraints: 661158
407.60/409.04 c #Conflicts: 27000 | #Constraints: 662158
407.60/409.04 c #Conflicts: 28000 | #Constraints: 663158
407.60/409.04 c #Conflicts: 29000 | #Constraints: 664158
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 30000 | #Constraints: 661562
407.60/409.04 c #Conflicts: 31000 | #Constraints: 662562
407.60/409.04 c #Conflicts: 32000 | #Constraints: 663562
407.60/409.04 c #Conflicts: 33000 | #Constraints: 664562
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 34000 | #Constraints: 661771
407.60/409.04 c #Conflicts: 35000 | #Constraints: 662771
407.60/409.04 c #Conflicts: 36000 | #Constraints: 663771
407.60/409.04 c #Conflicts: 37000 | #Constraints: 664771
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 38000 | #Constraints: 661771
407.60/409.04 c #Conflicts: 39000 | #Constraints: 662771
407.60/409.04 c #Conflicts: 40000 | #Constraints: 663771
407.60/409.04 c #Conflicts: 41000 | #Constraints: 664771
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 42000 | #Constraints: 661575
407.60/409.04 c #Conflicts: 43000 | #Constraints: 662575
407.60/409.04 c #Conflicts: 44000 | #Constraints: 663575
407.60/409.04 c #Conflicts: 45000 | #Constraints: 664575
407.60/409.04 c #Conflicts: 46000 | #Constraints: 665575
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 47000 | #Constraints: 662171
407.60/409.04 c #Conflicts: 48000 | #Constraints: 663171
407.60/409.04 c #Conflicts: 49000 | #Constraints: 664171
407.60/409.04 c #Conflicts: 50000 | #Constraints: 665171
407.60/409.04 c #Conflicts: 51000 | #Constraints: 666171
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 52000 | #Constraints: 662564
407.60/409.04 c #Conflicts: 53000 | #Constraints: 663564
407.60/409.04 c #Conflicts: 54000 | #Constraints: 664564
407.60/409.04 c #Conflicts: 55000 | #Constraints: 665564
407.60/409.04 c #Conflicts: 56000 | #Constraints: 666564
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 57000 | #Constraints: 662774
407.60/409.04 c #Conflicts: 58000 | #Constraints: 663774
407.60/409.04 c #Conflicts: 59000 | #Constraints: 664774
407.60/409.04 c #Conflicts: 60000 | #Constraints: 665774
407.60/409.04 c #Conflicts: 61000 | #Constraints: 666774
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 62000 | #Constraints: 662772
407.60/409.04 c #Conflicts: 63000 | #Constraints: 663772
407.60/409.04 c #Conflicts: 64000 | #Constraints: 664772
407.60/409.04 c #Conflicts: 65000 | #Constraints: 665772
407.60/409.04 c #Conflicts: 66000 | #Constraints: 666772
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 67000 | #Constraints: 662570
407.60/409.04 c #Conflicts: 68000 | #Constraints: 663570
407.60/409.04 c #Conflicts: 69000 | #Constraints: 664570
407.60/409.04 c #Conflicts: 70000 | #Constraints: 665570
407.60/409.04 c #Conflicts: 71000 | #Constraints: 666570
407.60/409.04 c #Conflicts: 72000 | #Constraints: 667570
407.60/409.04 c INPROCESSING
407.60/409.04 c GARBAGE COLLECT
407.60/409.04 c #Conflicts: 73000 | #Constraints: 663181
407.60/409.04 c #Conflicts: 74000 | #Constraints: 664181
407.60/409.04 c #Conflicts: 75000 | #Constraints: 665181
407.60/409.04 c #Conflicts: 76000 | #Constraints: 666181
519.86/521.62 c #Conflicts: 77000 | #Constraints: 667181
519.86/521.62 c #Conflicts: 78000 | #Constraints: 668181
519.86/521.62 c INPROCESSING
519.86/521.62 c GARBAGE COLLECT
519.86/521.62 c #Conflicts: 79000 | #Constraints: 663593
519.86/521.62 c #Conflicts: 80000 | #Constraints: 664593
519.86/521.62 c #Conflicts: 81000 | #Constraints: 665593
519.86/521.62 c #Conflicts: 82000 | #Constraints: 666593
519.86/521.62 c #Conflicts: 83000 | #Constraints: 667593
519.86/521.62 c #Conflicts: 84000 | #Constraints: 668593
519.86/521.62 c INPROCESSING
519.86/521.62 c GARBAGE COLLECT
519.86/521.62 c #Conflicts: 85000 | #Constraints: 663780
519.86/521.62 c #Conflicts: 86000 | #Constraints: 664780
519.86/521.62 c #Conflicts: 87000 | #Constraints: 665780
519.86/521.62 c #Conflicts: 88000 | #Constraints: 666780
519.86/521.62 c #Conflicts: 89000 | #Constraints: 667780
519.86/521.62 c #Conflicts: 90000 | #Constraints: 668780
519.86/521.62 c INPROCESSING
519.86/521.62 c GARBAGE COLLECT
519.86/521.62 c #Conflicts: 91000 | #Constraints: 663780
519.86/521.62 c #Conflicts: 92000 | #Constraints: 664780
519.86/521.62 c #Conflicts: 93000 | #Constraints: 665780
519.86/521.62 c #Conflicts: 94000 | #Constraints: 666780
519.86/521.62 c #Conflicts: 95000 | #Constraints: 667780
519.86/521.62 c #Conflicts: 96000 | #Constraints: 668780
519.86/521.62 c INPROCESSING
519.86/521.62 c GARBAGE COLLECT
519.86/521.62 c #Conflicts: 97000 | #Constraints: 663579
519.86/521.62 c #Conflicts: 98000 | #Constraints: 664579
519.86/521.62 c #Conflicts: 99000 | #Constraints: 665579
519.86/521.62 c #Conflicts: 100000 | #Constraints: 666579
519.86/521.62 c #Conflicts: 101000 | #Constraints: 667579
519.86/521.62 c #Conflicts: 102000 | #Constraints: 668579
519.86/521.62 c #Conflicts: 103000 | #Constraints: 669579
519.86/521.62 c INPROCESSING
519.86/521.62 c GARBAGE COLLECT
519.86/521.62 c #Conflicts: 104000 | #Constraints: 664175
519.86/521.62 c #Conflicts: 105000 | #Constraints: 665175
519.86/521.62 c #Conflicts: 106000 | #Constraints: 666175
519.86/521.62 c #Conflicts: 107000 | #Constraints: 667175
519.86/521.62 c #Conflicts: 108000 | #Constraints: 668175
519.86/521.62 c #Conflicts: 109000 | #Constraints: 669175
519.86/521.62 c #Conflicts: 110000 | #Constraints: 670175
519.86/521.62 c INPROCESSING
519.86/521.62 c GARBAGE COLLECT
519.86/521.62 c #Conflicts: 111000 | #Constraints: 664584
519.86/521.62 c #Conflicts: 112000 | #Constraints: 665584
519.86/521.62 c #Conflicts: 113000 | #Constraints: 666584
519.86/521.62 c #Conflicts: 114000 | #Constraints: 667584
519.86/521.62 c #Conflicts: 115000 | #Constraints: 668584
519.86/521.62 c #Conflicts: 116000 | #Constraints: 669584
519.86/521.62 c #Conflicts: 117000 | #Constraints: 670584
519.86/521.62 c INPROCESSING
519.86/521.62 c GARBAGE COLLECT
519.86/521.62 c #Conflicts: 118000 | #Constraints: 664780
519.86/521.62 c #Conflicts: 119000 | #Constraints: 665780
519.86/521.62 c #Conflicts: 120000 | #Constraints: 666780
519.86/521.62 c #Conflicts: 121000 | #Constraints: 667780
519.86/521.62 c #Conflicts: 122000 | #Constraints: 668780
519.86/521.62 c #Conflicts: 123000 | #Constraints: 669780
519.86/521.62 c #Conflicts: 124000 | #Constraints: 670780
519.86/521.62 c INPROCESSING
519.86/521.62 c GARBAGE COLLECT
519.86/521.62 c #Conflicts: 125000 | #Constraints: 664777
519.86/521.62 c #Conflicts: 126000 | #Constraints: 665777
519.86/521.62 c #Conflicts: 127000 | #Constraints: 666777
519.86/521.62 c #Conflicts: 128000 | #Constraints: 667777
519.86/521.62 c #Conflicts: 129000 | #Constraints: 668777
519.86/521.62 c #Conflicts: 130000 | #Constraints: 669777
519.86/521.62 c #Conflicts: 131000 | #Constraints: 670777
519.86/521.62 c INPROCESSING
519.86/521.62 c GARBAGE COLLECT
519.86/521.62 c #Conflicts: 132000 | #Constraints: 664586
519.86/521.62 c #Conflicts: 133000 | #Constraints: 665586
519.86/521.62 c #Conflicts: 134000 | #Constraints: 666586
519.86/521.62 c #Conflicts: 135000 | #Constraints: 667586
519.86/521.62 c #Conflicts: 136000 | #Constraints: 668586
519.86/521.62 c #Conflicts: 137000 | #Constraints: 669586
519.86/521.62 c #Conflicts: 138000 | #Constraints: 670586
519.86/521.62 c #Conflicts: 139000 | #Constraints: 671586
519.86/521.62 c INPROCESSING
519.86/521.62 c GARBAGE COLLECT
519.86/521.62 c #Conflicts: 140000 | #Constraints: 665190
519.86/521.62 c #Conflicts: 141000 | #Constraints: 666190
519.86/521.62 c #Conflicts: 142000 | #Constraints: 667190
519.86/521.62 c #Conflicts: 143000 | #Constraints: 668190
519.86/521.62 c #Conflicts: 144000 | #Constraints: 669190
519.86/521.62 c #Conflicts: 145000 | #Constraints: 670190
519.86/521.62 c #Conflicts: 146000 | #Constraints: 671190
519.86/521.62 c #Conflicts: 147000 | #Constraints: 672190
519.86/521.62 c INPROCESSING
519.86/521.62 c GARBAGE COLLECT
519.86/521.62 c #Conflicts: 148000 | #Constraints: 665596
520.47/522.29 c bounds 322 >= 0 @ 515.342
520.47/522.29 c stratification level: 5
699.41/701.77 c bounds 322 >= 5 @ 515.348
699.41/701.77 c bounds 322 >= 10 @ 515.376
699.41/701.77 c #Conflicts: 149000 | #Constraints: 666599
699.41/701.77 c #Conflicts: 150000 | #Constraints: 667599
699.41/701.77 c #Conflicts: 151000 | #Constraints: 668599
699.41/701.77 c #Conflicts: 152000 | #Constraints: 669599
699.41/701.77 c #Conflicts: 153000 | #Constraints: 670599
699.41/701.77 c #Conflicts: 154000 | #Constraints: 671599
699.41/701.77 c #Conflicts: 155000 | #Constraints: 672599
699.41/701.77 c INPROCESSING
699.41/701.77 c GARBAGE COLLECT
699.41/701.77 c #Conflicts: 156000 | #Constraints: 665773
699.41/701.77 c #Conflicts: 157000 | #Constraints: 666773
699.41/701.77 c #Conflicts: 158000 | #Constraints: 667773
699.41/701.77 c #Conflicts: 159000 | #Constraints: 668773
699.41/701.77 c #Conflicts: 160000 | #Constraints: 669773
699.41/701.77 c #Conflicts: 161000 | #Constraints: 670773
699.41/701.77 c #Conflicts: 162000 | #Constraints: 671773
699.41/701.77 c #Conflicts: 163000 | #Constraints: 672773
699.41/701.77 c INPROCESSING
699.41/701.77 c GARBAGE COLLECT
699.41/701.77 c #Conflicts: 164000 | #Constraints: 665760
699.41/701.77 c #Conflicts: 165000 | #Constraints: 666760
699.41/701.77 c #Conflicts: 166000 | #Constraints: 667760
699.41/701.77 c #Conflicts: 167000 | #Constraints: 668760
699.41/701.77 c #Conflicts: 168000 | #Constraints: 669760
699.41/701.77 c #Conflicts: 169000 | #Constraints: 670760
699.41/701.77 c #Conflicts: 170000 | #Constraints: 671760
699.41/701.77 c #Conflicts: 171000 | #Constraints: 672760
699.41/701.77 c INPROCESSING
699.41/701.77 c GARBAGE COLLECT
699.41/701.77 c #Conflicts: 172000 | #Constraints: 665553
699.41/701.77 c #Conflicts: 173000 | #Constraints: 666553
699.41/701.77 c #Conflicts: 174000 | #Constraints: 667553
699.41/701.77 c #Conflicts: 175000 | #Constraints: 668553
699.41/701.77 c #Conflicts: 176000 | #Constraints: 669553
699.41/701.77 c #Conflicts: 177000 | #Constraints: 670553
699.41/701.77 c #Conflicts: 178000 | #Constraints: 671553
699.41/701.77 c #Conflicts: 179000 | #Constraints: 672553
699.41/701.77 c #Conflicts: 180000 | #Constraints: 673553
699.41/701.77 c INPROCESSING
699.41/701.77 c GARBAGE COLLECT
699.41/701.77 c #Conflicts: 181000 | #Constraints: 666149
699.41/701.77 c #Conflicts: 182000 | #Constraints: 667149
699.41/701.77 c #Conflicts: 183000 | #Constraints: 668149
699.41/701.77 c #Conflicts: 184000 | #Constraints: 669149
699.41/701.77 c #Conflicts: 185000 | #Constraints: 670149
699.41/701.77 c #Conflicts: 186000 | #Constraints: 671149
699.41/701.77 c #Conflicts: 187000 | #Constraints: 672149
699.41/701.77 c #Conflicts: 188000 | #Constraints: 673149
699.41/701.77 c #Conflicts: 189000 | #Constraints: 674149
699.41/701.77 c INPROCESSING
699.41/701.77 c GARBAGE COLLECT
699.41/701.77 c #Conflicts: 190000 | #Constraints: 666565
699.41/701.77 c #Conflicts: 191000 | #Constraints: 667565
699.41/701.77 c #Conflicts: 192000 | #Constraints: 668565
699.41/701.77 c #Conflicts: 193000 | #Constraints: 669565
699.41/701.77 c #Conflicts: 194000 | #Constraints: 670565
699.41/701.77 c #Conflicts: 195000 | #Constraints: 671565
699.41/701.77 c #Conflicts: 196000 | #Constraints: 672565
699.41/701.77 c #Conflicts: 197000 | #Constraints: 673565
699.41/701.77 c #Conflicts: 198000 | #Constraints: 674565
699.41/701.77 c INPROCESSING
699.41/701.77 c GARBAGE COLLECT
699.41/701.77 c #Conflicts: 199000 | #Constraints: 666773
699.41/701.77 c #Conflicts: 200000 | #Constraints: 667773
699.41/701.77 c #Conflicts: 201000 | #Constraints: 668773
699.41/701.77 c #Conflicts: 202000 | #Constraints: 669773
699.41/701.77 c #Conflicts: 203000 | #Constraints: 670773
699.41/701.77 c #Conflicts: 204000 | #Constraints: 671773
699.41/701.77 c #Conflicts: 205000 | #Constraints: 672773
699.41/701.77 c #Conflicts: 206000 | #Constraints: 673773
699.41/701.77 c #Conflicts: 207000 | #Constraints: 674773
699.41/701.77 c INPROCESSING
699.41/701.77 c GARBAGE COLLECT
699.41/701.77 c #Conflicts: 208000 | #Constraints: 666778
699.41/701.77 c #Conflicts: 209000 | #Constraints: 667778
699.41/701.77 c #Conflicts: 210000 | #Constraints: 668778
699.41/701.77 c #Conflicts: 211000 | #Constraints: 669778
699.41/701.77 c #Conflicts: 212000 | #Constraints: 670778
699.41/701.77 c #Conflicts: 213000 | #Constraints: 671778
699.41/701.77 c #Conflicts: 214000 | #Constraints: 672778
699.41/701.77 c #Conflicts: 215000 | #Constraints: 673778
699.41/701.77 c #Conflicts: 216000 | #Constraints: 674778
699.41/701.77 c INPROCESSING
699.41/701.77 c GARBAGE COLLECT
699.41/701.77 c #Conflicts: 217000 | #Constraints: 666589
699.41/701.77 c #Conflicts: 218000 | #Constraints: 667589
699.41/701.77 c #Conflicts: 219000 | #Constraints: 668589
699.41/701.77 c #Conflicts: 220000 | #Constraints: 669589
699.41/701.77 c #Conflicts: 221000 | #Constraints: 670589
902.87/905.89 c #Conflicts: 222000 | #Constraints: 671589
902.87/905.89 c #Conflicts: 223000 | #Constraints: 672589
902.87/905.89 c #Conflicts: 224000 | #Constraints: 673589
902.87/905.89 c #Conflicts: 225000 | #Constraints: 674589
902.87/905.89 c #Conflicts: 226000 | #Constraints: 675589
902.87/905.89 c INPROCESSING
902.87/905.89 c GARBAGE COLLECT
902.87/905.89 c #Conflicts: 227000 | #Constraints: 667189
902.87/905.89 c #Conflicts: 228000 | #Constraints: 668189
902.87/905.89 c #Conflicts: 229000 | #Constraints: 669189
902.87/905.89 c #Conflicts: 230000 | #Constraints: 670189
902.87/905.89 c #Conflicts: 231000 | #Constraints: 671189
902.87/905.89 c #Conflicts: 232000 | #Constraints: 672189
902.87/905.89 c #Conflicts: 233000 | #Constraints: 673189
902.87/905.89 c #Conflicts: 234000 | #Constraints: 674189
902.87/905.89 c #Conflicts: 235000 | #Constraints: 675189
902.87/905.89 c #Conflicts: 236000 | #Constraints: 676189
902.87/905.89 c INPROCESSING
902.87/905.89 c GARBAGE COLLECT
902.87/905.89 c #Conflicts: 237000 | #Constraints: 667576
902.87/905.89 c #Conflicts: 238000 | #Constraints: 668576
902.87/905.89 c #Conflicts: 239000 | #Constraints: 669576
902.87/905.89 c #Conflicts: 240000 | #Constraints: 670576
902.87/905.89 c #Conflicts: 241000 | #Constraints: 671576
902.87/905.89 c #Conflicts: 242000 | #Constraints: 672576
902.87/905.89 c #Conflicts: 243000 | #Constraints: 673576
902.87/905.89 c #Conflicts: 244000 | #Constraints: 674576
902.87/905.89 c #Conflicts: 245000 | #Constraints: 675576
902.87/905.89 c #Conflicts: 246000 | #Constraints: 676576
902.87/905.89 c INPROCESSING
902.87/905.89 c GARBAGE COLLECT
902.87/905.89 c #Conflicts: 247000 | #Constraints: 667765
902.87/905.89 c #Conflicts: 248000 | #Constraints: 668765
902.87/905.89 c #Conflicts: 249000 | #Constraints: 669765
902.87/905.89 c #Conflicts: 250000 | #Constraints: 670765
902.87/905.89 c #Conflicts: 251000 | #Constraints: 671765
902.87/905.89 c #Conflicts: 252000 | #Constraints: 672765
902.87/905.89 c #Conflicts: 253000 | #Constraints: 673765
902.87/905.89 c #Conflicts: 254000 | #Constraints: 674765
902.87/905.89 c #Conflicts: 255000 | #Constraints: 675765
902.87/905.89 c #Conflicts: 256000 | #Constraints: 676765
902.87/905.89 c INPROCESSING
902.87/905.89 c GARBAGE COLLECT
902.87/905.89 c #Conflicts: 257000 | #Constraints: 667758
902.87/905.89 c #Conflicts: 258000 | #Constraints: 668758
902.87/905.89 c #Conflicts: 259000 | #Constraints: 669758
902.87/905.89 c #Conflicts: 260000 | #Constraints: 670758
902.87/905.89 c #Conflicts: 261000 | #Constraints: 671758
902.87/905.89 c #Conflicts: 262000 | #Constraints: 672758
902.87/905.89 c #Conflicts: 263000 | #Constraints: 673758
902.87/905.89 c #Conflicts: 264000 | #Constraints: 674758
902.87/905.89 c #Conflicts: 265000 | #Constraints: 675758
902.87/905.89 c #Conflicts: 266000 | #Constraints: 676758
902.87/905.89 c INPROCESSING
902.87/905.89 c GARBAGE COLLECT
902.87/905.89 c #Conflicts: 267000 | #Constraints: 667558
902.87/905.89 c #Conflicts: 268000 | #Constraints: 668558
902.87/905.89 c #Conflicts: 269000 | #Constraints: 669558
902.87/905.89 c #Conflicts: 270000 | #Constraints: 670558
902.87/905.89 c #Conflicts: 271000 | #Constraints: 671558
902.87/905.89 c #Conflicts: 272000 | #Constraints: 672558
902.87/905.89 c #Conflicts: 273000 | #Constraints: 673558
902.87/905.89 c #Conflicts: 274000 | #Constraints: 674558
902.87/905.89 c #Conflicts: 275000 | #Constraints: 675558
902.87/905.89 c #Conflicts: 276000 | #Constraints: 676558
902.87/905.89 c #Conflicts: 277000 | #Constraints: 677558
902.87/905.89 c INPROCESSING
902.87/905.89 c GARBAGE COLLECT
902.87/905.89 c #Conflicts: 278000 | #Constraints: 668157
902.87/905.89 c #Conflicts: 279000 | #Constraints: 669157
902.87/905.89 c #Conflicts: 280000 | #Constraints: 670157
902.87/905.89 c #Conflicts: 281000 | #Constraints: 671157
902.87/905.89 c #Conflicts: 282000 | #Constraints: 672157
902.87/905.89 c #Conflicts: 283000 | #Constraints: 673157
902.87/905.89 c #Conflicts: 284000 | #Constraints: 674157
902.87/905.89 c #Conflicts: 285000 | #Constraints: 675157
902.87/905.89 c #Conflicts: 286000 | #Constraints: 676157
902.87/905.89 c #Conflicts: 287000 | #Constraints: 677157
902.87/905.89 c #Conflicts: 288000 | #Constraints: 678157
902.87/905.89 c INPROCESSING
902.87/905.89 c GARBAGE COLLECT
902.87/905.89 c #Conflicts: 289000 | #Constraints: 668560
902.87/905.89 c #Conflicts: 290000 | #Constraints: 669560
902.87/905.89 c #Conflicts: 291000 | #Constraints: 670560
902.87/905.89 c #Conflicts: 292000 | #Constraints: 671560
902.87/905.89 c #Conflicts: 293000 | #Constraints: 672560
902.87/905.89 c #Conflicts: 294000 | #Constraints: 673560
902.87/905.89 c #Conflicts: 295000 | #Constraints: 674560
1135.74/1139.41 c #Conflicts: 296000 | #Constraints: 675560
1135.74/1139.41 c #Conflicts: 297000 | #Constraints: 676560
1135.74/1139.41 c #Conflicts: 298000 | #Constraints: 677560
1135.74/1139.41 c #Conflicts: 299000 | #Constraints: 678560
1135.74/1139.41 c INPROCESSING
1135.74/1139.41 c GARBAGE COLLECT
1135.74/1139.41 c #Conflicts: 300000 | #Constraints: 668764
1135.74/1139.41 c #Conflicts: 301000 | #Constraints: 669764
1135.74/1139.41 c #Conflicts: 302000 | #Constraints: 670764
1135.74/1139.41 c #Conflicts: 303000 | #Constraints: 671764
1135.74/1139.41 c #Conflicts: 304000 | #Constraints: 672764
1135.74/1139.41 c #Conflicts: 305000 | #Constraints: 673764
1135.74/1139.41 c #Conflicts: 306000 | #Constraints: 674764
1135.74/1139.41 c #Conflicts: 307000 | #Constraints: 675764
1135.74/1139.41 c #Conflicts: 308000 | #Constraints: 676764
1135.74/1139.41 c #Conflicts: 309000 | #Constraints: 677764
1135.74/1139.41 c #Conflicts: 310000 | #Constraints: 678764
1135.74/1139.41 c INPROCESSING
1135.74/1139.41 c GARBAGE COLLECT
1135.74/1139.41 c #Conflicts: 311000 | #Constraints: 668762
1135.74/1139.41 c #Conflicts: 312000 | #Constraints: 669762
1135.74/1139.41 c #Conflicts: 313000 | #Constraints: 670762
1135.74/1139.41 c #Conflicts: 314000 | #Constraints: 671762
1135.74/1139.41 c #Conflicts: 315000 | #Constraints: 672762
1135.74/1139.41 c #Conflicts: 316000 | #Constraints: 673762
1135.74/1139.41 c #Conflicts: 317000 | #Constraints: 674762
1135.74/1139.41 c #Conflicts: 318000 | #Constraints: 675762
1135.74/1139.41 c #Conflicts: 319000 | #Constraints: 676762
1135.74/1139.41 c #Conflicts: 320000 | #Constraints: 677762
1135.74/1139.41 c #Conflicts: 321000 | #Constraints: 678762
1135.74/1139.41 c INPROCESSING
1135.74/1139.41 c GARBAGE COLLECT
1135.74/1139.41 c #Conflicts: 322000 | #Constraints: 668577
1135.74/1139.41 c #Conflicts: 323000 | #Constraints: 669577
1135.74/1139.41 c #Conflicts: 324000 | #Constraints: 670577
1135.74/1139.41 c #Conflicts: 325000 | #Constraints: 671577
1135.74/1139.41 c #Conflicts: 326000 | #Constraints: 672577
1135.74/1139.41 c #Conflicts: 327000 | #Constraints: 673577
1135.74/1139.41 c #Conflicts: 328000 | #Constraints: 674577
1135.74/1139.41 c #Conflicts: 329000 | #Constraints: 675577
1135.74/1139.41 c #Conflicts: 330000 | #Constraints: 676577
1135.74/1139.41 c #Conflicts: 331000 | #Constraints: 677577
1135.74/1139.41 c #Conflicts: 332000 | #Constraints: 678577
1135.74/1139.41 c #Conflicts: 333000 | #Constraints: 679577
1135.74/1139.41 c INPROCESSING
1135.74/1139.41 c GARBAGE COLLECT
1135.74/1139.41 c #Conflicts: 334000 | #Constraints: 669184
1135.74/1139.41 c #Conflicts: 335000 | #Constraints: 670184
1135.74/1139.41 c #Conflicts: 336000 | #Constraints: 671184
1135.74/1139.41 c #Conflicts: 337000 | #Constraints: 672184
1135.74/1139.41 c #Conflicts: 338000 | #Constraints: 673184
1135.74/1139.41 c #Conflicts: 339000 | #Constraints: 674184
1135.74/1139.41 c #Conflicts: 340000 | #Constraints: 675184
1135.74/1139.41 c #Conflicts: 341000 | #Constraints: 676184
1135.74/1139.41 c #Conflicts: 342000 | #Constraints: 677184
1135.74/1139.41 c #Conflicts: 343000 | #Constraints: 678184
1135.74/1139.41 c #Conflicts: 344000 | #Constraints: 679184
1135.74/1139.41 c #Conflicts: 345000 | #Constraints: 680184
1135.74/1139.41 c INPROCESSING
1135.74/1139.41 c GARBAGE COLLECT
1135.74/1139.41 c #Conflicts: 346000 | #Constraints: 669568
1135.74/1139.41 c #Conflicts: 347000 | #Constraints: 670568
1135.74/1139.41 c #Conflicts: 348000 | #Constraints: 671568
1135.74/1139.41 c #Conflicts: 349000 | #Constraints: 672568
1135.74/1139.41 c #Conflicts: 350000 | #Constraints: 673568
1135.74/1139.41 c #Conflicts: 351000 | #Constraints: 674568
1135.74/1139.41 c #Conflicts: 352000 | #Constraints: 675568
1135.74/1139.41 c #Conflicts: 353000 | #Constraints: 676568
1135.74/1139.41 c #Conflicts: 354000 | #Constraints: 677568
1135.74/1139.41 c #Conflicts: 355000 | #Constraints: 678568
1135.74/1139.41 c #Conflicts: 356000 | #Constraints: 679568
1135.74/1139.41 c #Conflicts: 357000 | #Constraints: 680568
1135.74/1139.41 c INPROCESSING
1135.74/1139.41 c GARBAGE COLLECT
1135.74/1139.41 c #Conflicts: 358000 | #Constraints: 669773
1135.74/1139.41 c #Conflicts: 359000 | #Constraints: 670773
1135.74/1139.41 c #Conflicts: 360000 | #Constraints: 671773
1135.74/1139.41 c #Conflicts: 361000 | #Constraints: 672773
1135.74/1139.41 c #Conflicts: 362000 | #Constraints: 673773
1135.74/1139.41 c #Conflicts: 363000 | #Constraints: 674773
1135.74/1139.41 c #Conflicts: 364000 | #Constraints: 675773
1135.74/1139.41 c #Conflicts: 365000 | #Constraints: 676773
1135.74/1139.41 c #Conflicts: 366000 | #Constraints: 677773
1135.74/1139.41 c #Conflicts: 367000 | #Constraints: 678773
1135.74/1139.41 c #Conflicts: 368000 | #Constraints: 679773
1135.74/1139.41 c #Conflicts: 369000 | #Constraints: 680773
1135.74/1139.41 c INPROCESSING
1135.74/1139.41 c GARBAGE COLLECT
1135.74/1139.41 c #Conflicts: 370000 | #Constraints: 669767
1407.49/1412.09 c #Conflicts: 371000 | #Constraints: 670767
1407.49/1412.09 c #Conflicts: 372000 | #Constraints: 671767
1407.49/1412.09 c #Conflicts: 373000 | #Constraints: 672767
1407.49/1412.09 c #Conflicts: 374000 | #Constraints: 673767
1407.49/1412.09 c #Conflicts: 375000 | #Constraints: 674767
1407.49/1412.09 c #Conflicts: 376000 | #Constraints: 675767
1407.49/1412.09 c #Conflicts: 377000 | #Constraints: 676767
1407.49/1412.09 c #Conflicts: 378000 | #Constraints: 677767
1407.49/1412.09 c #Conflicts: 379000 | #Constraints: 678767
1407.49/1412.09 c #Conflicts: 380000 | #Constraints: 679767
1407.49/1412.09 c #Conflicts: 381000 | #Constraints: 680767
1407.49/1412.09 c INPROCESSING
1407.49/1412.09 c GARBAGE COLLECT
1407.49/1412.09 c #Conflicts: 382000 | #Constraints: 669569
1407.49/1412.09 c #Conflicts: 383000 | #Constraints: 670569
1407.49/1412.09 c #Conflicts: 384000 | #Constraints: 671569
1407.49/1412.09 c #Conflicts: 385000 | #Constraints: 672569
1407.49/1412.09 c #Conflicts: 386000 | #Constraints: 673569
1407.49/1412.09 c #Conflicts: 387000 | #Constraints: 674569
1407.49/1412.09 c #Conflicts: 388000 | #Constraints: 675569
1407.49/1412.09 c #Conflicts: 389000 | #Constraints: 676569
1407.49/1412.09 c #Conflicts: 390000 | #Constraints: 677569
1407.49/1412.09 c #Conflicts: 391000 | #Constraints: 678569
1407.49/1412.09 c #Conflicts: 392000 | #Constraints: 679569
1407.49/1412.09 c #Conflicts: 393000 | #Constraints: 680569
1407.49/1412.09 c #Conflicts: 394000 | #Constraints: 681569
1407.49/1412.09 c INPROCESSING
1407.49/1412.09 c GARBAGE COLLECT
1407.49/1412.09 c #Conflicts: 395000 | #Constraints: 670170
1407.49/1412.09 c #Conflicts: 396000 | #Constraints: 671170
1407.49/1412.09 c #Conflicts: 397000 | #Constraints: 672170
1407.49/1412.09 c #Conflicts: 398000 | #Constraints: 673170
1407.49/1412.09 c #Conflicts: 399000 | #Constraints: 674170
1407.49/1412.09 c #Conflicts: 400000 | #Constraints: 675170
1407.49/1412.09 c #Conflicts: 401000 | #Constraints: 676170
1407.49/1412.09 c #Conflicts: 402000 | #Constraints: 677170
1407.49/1412.09 c #Conflicts: 403000 | #Constraints: 678170
1407.49/1412.09 c #Conflicts: 404000 | #Constraints: 679170
1407.49/1412.09 c #Conflicts: 405000 | #Constraints: 680170
1407.49/1412.09 c #Conflicts: 406000 | #Constraints: 681170
1407.49/1412.09 c #Conflicts: 407000 | #Constraints: 682170
1407.49/1412.09 c INPROCESSING
1407.49/1412.09 c GARBAGE COLLECT
1407.49/1412.09 c #Conflicts: 408000 | #Constraints: 670571
1407.49/1412.09 c #Conflicts: 409000 | #Constraints: 671571
1407.49/1412.09 c #Conflicts: 410000 | #Constraints: 672571
1407.49/1412.09 c #Conflicts: 411000 | #Constraints: 673571
1407.49/1412.09 c #Conflicts: 412000 | #Constraints: 674571
1407.49/1412.09 c #Conflicts: 413000 | #Constraints: 675571
1407.49/1412.09 c #Conflicts: 414000 | #Constraints: 676571
1407.49/1412.09 c #Conflicts: 415000 | #Constraints: 677571
1407.49/1412.09 c #Conflicts: 416000 | #Constraints: 678571
1407.49/1412.09 c #Conflicts: 417000 | #Constraints: 679571
1407.49/1412.09 c #Conflicts: 418000 | #Constraints: 680571
1407.49/1412.09 c #Conflicts: 419000 | #Constraints: 681571
1407.49/1412.09 c #Conflicts: 420000 | #Constraints: 682571
1407.49/1412.09 c INPROCESSING
1407.49/1412.09 c GARBAGE COLLECT
1407.49/1412.09 c #Conflicts: 421000 | #Constraints: 670776
1407.49/1412.09 c #Conflicts: 422000 | #Constraints: 671776
1407.49/1412.09 c #Conflicts: 423000 | #Constraints: 672776
1407.49/1412.09 c #Conflicts: 424000 | #Constraints: 673776
1407.49/1412.09 c #Conflicts: 425000 | #Constraints: 674776
1407.49/1412.09 c #Conflicts: 426000 | #Constraints: 675776
1407.49/1412.09 c #Conflicts: 427000 | #Constraints: 676776
1407.49/1412.09 c #Conflicts: 428000 | #Constraints: 677776
1407.49/1412.09 c #Conflicts: 429000 | #Constraints: 678776
1407.49/1412.09 c #Conflicts: 430000 | #Constraints: 679776
1407.49/1412.09 c #Conflicts: 431000 | #Constraints: 680776
1407.49/1412.09 c #Conflicts: 432000 | #Constraints: 681776
1407.49/1412.09 c #Conflicts: 433000 | #Constraints: 682776
1407.49/1412.09 c INPROCESSING
1407.49/1412.09 c GARBAGE COLLECT
1407.49/1412.09 c #Conflicts: 434000 | #Constraints: 670782
1407.49/1412.09 c #Conflicts: 435000 | #Constraints: 671782
1407.49/1412.09 c #Conflicts: 436000 | #Constraints: 672782
1407.49/1412.09 c #Conflicts: 437000 | #Constraints: 673782
1407.49/1412.09 c #Conflicts: 438000 | #Constraints: 674782
1407.49/1412.09 c #Conflicts: 439000 | #Constraints: 675782
1407.49/1412.09 c #Conflicts: 440000 | #Constraints: 676782
1407.49/1412.09 c #Conflicts: 441000 | #Constraints: 677782
1407.49/1412.09 c #Conflicts: 442000 | #Constraints: 678782
1407.49/1412.09 c #Conflicts: 443000 | #Constraints: 679782
1407.49/1412.09 c #Conflicts: 444000 | #Constraints: 680782
1407.49/1412.09 c #Conflicts: 445000 | #Constraints: 681782
1765.29/1770.95 c #Conflicts: 446000 | #Constraints: 682782
1765.29/1770.95 c INPROCESSING
1765.29/1770.95 c GARBAGE COLLECT
1765.29/1770.95 c #Conflicts: 447000 | #Constraints: 670594
1765.29/1770.95 c #Conflicts: 448000 | #Constraints: 671594
1765.29/1770.95 c #Conflicts: 449000 | #Constraints: 672594
1765.29/1770.95 c #Conflicts: 450000 | #Constraints: 673594
1765.29/1770.95 c #Conflicts: 451000 | #Constraints: 674594
1765.29/1770.95 c #Conflicts: 452000 | #Constraints: 675594
1765.29/1770.95 c #Conflicts: 453000 | #Constraints: 676594
1765.29/1770.95 c #Conflicts: 454000 | #Constraints: 677594
1765.29/1770.95 c #Conflicts: 455000 | #Constraints: 678594
1765.29/1770.95 c #Conflicts: 456000 | #Constraints: 679594
1765.29/1770.95 c #Conflicts: 457000 | #Constraints: 680594
1765.29/1770.95 c #Conflicts: 458000 | #Constraints: 681594
1765.29/1770.95 c #Conflicts: 459000 | #Constraints: 682594
1765.29/1770.95 c #Conflicts: 460000 | #Constraints: 683594
1765.29/1770.95 c INPROCESSING
1765.29/1770.95 c GARBAGE COLLECT
1765.29/1770.95 c #Conflicts: 461000 | #Constraints: 671192
1765.29/1770.95 c #Conflicts: 462000 | #Constraints: 672192
1765.29/1770.95 c #Conflicts: 463000 | #Constraints: 673192
1765.29/1770.95 c #Conflicts: 464000 | #Constraints: 674192
1765.29/1770.95 c #Conflicts: 465000 | #Constraints: 675192
1765.29/1770.95 c #Conflicts: 466000 | #Constraints: 676192
1765.29/1770.95 c #Conflicts: 467000 | #Constraints: 677192
1765.29/1770.95 c #Conflicts: 468000 | #Constraints: 678192
1765.29/1770.95 c #Conflicts: 469000 | #Constraints: 679192
1765.29/1770.95 c #Conflicts: 470000 | #Constraints: 680192
1765.29/1770.95 c #Conflicts: 471000 | #Constraints: 681192
1765.29/1770.95 c #Conflicts: 472000 | #Constraints: 682192
1765.29/1770.95 c #Conflicts: 473000 | #Constraints: 683192
1765.29/1770.95 c #Conflicts: 474000 | #Constraints: 684192
1765.29/1770.95 c INPROCESSING
1765.29/1770.95 c GARBAGE COLLECT
1765.29/1770.95 c #Conflicts: 475000 | #Constraints: 671591
1765.29/1770.95 c #Conflicts: 476000 | #Constraints: 672591
1765.29/1770.95 c #Conflicts: 477000 | #Constraints: 673591
1765.29/1770.95 c #Conflicts: 478000 | #Constraints: 674591
1765.29/1770.95 c #Conflicts: 479000 | #Constraints: 675591
1765.29/1770.95 c #Conflicts: 480000 | #Constraints: 676591
1765.29/1770.95 c #Conflicts: 481000 | #Constraints: 677591
1765.29/1770.95 c #Conflicts: 482000 | #Constraints: 678591
1765.29/1770.95 c #Conflicts: 483000 | #Constraints: 679591
1765.29/1770.95 c #Conflicts: 484000 | #Constraints: 680591
1765.29/1770.95 c #Conflicts: 485000 | #Constraints: 681591
1765.29/1770.95 c #Conflicts: 486000 | #Constraints: 682591
1765.29/1770.95 c #Conflicts: 487000 | #Constraints: 683591
1765.29/1770.95 c #Conflicts: 488000 | #Constraints: 684591
1765.29/1770.95 c INPROCESSING
1765.29/1770.95 c GARBAGE COLLECT
1765.29/1770.95 c #Conflicts: 489000 | #Constraints: 671794
1765.29/1770.95 c #Conflicts: 490000 | #Constraints: 672794
1765.29/1770.95 c #Conflicts: 491000 | #Constraints: 673794
1765.29/1770.95 c #Conflicts: 492000 | #Constraints: 674794
1765.29/1770.95 c #Conflicts: 493000 | #Constraints: 675794
1765.29/1770.95 c #Conflicts: 494000 | #Constraints: 676794
1765.29/1770.95 c #Conflicts: 495000 | #Constraints: 677794
1765.29/1770.95 c #Conflicts: 496000 | #Constraints: 678794
1765.29/1770.95 c #Conflicts: 497000 | #Constraints: 679794
1765.29/1770.95 c #Conflicts: 498000 | #Constraints: 680794
1765.29/1770.95 c #Conflicts: 499000 | #Constraints: 681794
1765.29/1770.95 c #Conflicts: 500000 | #Constraints: 682794
1765.29/1770.95 c #Conflicts: 501000 | #Constraints: 683794
1765.29/1770.95 c #Conflicts: 502000 | #Constraints: 684794
1765.29/1770.95 c INPROCESSING
1765.29/1770.95 c GARBAGE COLLECT
1765.29/1770.95 c #Conflicts: 503000 | #Constraints: 671796
1765.29/1770.95 c #Conflicts: 504000 | #Constraints: 672796
1765.29/1770.95 c #Conflicts: 505000 | #Constraints: 673796
1765.29/1770.95 c #Conflicts: 506000 | #Constraints: 674796
1765.29/1770.95 c #Conflicts: 507000 | #Constraints: 675796
1765.29/1770.95 c #Conflicts: 508000 | #Constraints: 676796
1765.29/1770.95 c #Conflicts: 509000 | #Constraints: 677796
1765.29/1770.95 c #Conflicts: 510000 | #Constraints: 678796
1765.29/1770.95 c #Conflicts: 511000 | #Constraints: 679796
1765.29/1770.95 c #Conflicts: 512000 | #Constraints: 680796
1765.29/1770.95 c #Conflicts: 513000 | #Constraints: 681796
1765.29/1770.95 c #Conflicts: 514000 | #Constraints: 682796
1765.29/1770.95 c #Conflicts: 515000 | #Constraints: 683796
1765.29/1770.95 c #Conflicts: 516000 | #Constraints: 684796
1765.29/1770.95 c INPROCESSING
1765.29/1770.95 c GARBAGE COLLECT
1765.29/1770.95 c #Conflicts: 517000 | #Constraints: 671577
1765.29/1770.95 c #Conflicts: 518000 | #Constraints: 672577
1765.29/1770.95 c #Conflicts: 519000 | #Constraints: 673577
1765.29/1770.95 c #Conflicts: 520000 | #Constraints: 674577
2150.14/2156.88 c #Conflicts: 521000 | #Constraints: 675577
2150.14/2156.88 c #Conflicts: 522000 | #Constraints: 676577
2150.14/2156.88 c #Conflicts: 523000 | #Constraints: 677577
2150.14/2156.88 c #Conflicts: 524000 | #Constraints: 678577
2150.14/2156.88 c #Conflicts: 525000 | #Constraints: 679577
2150.14/2156.88 c #Conflicts: 526000 | #Constraints: 680577
2150.14/2156.88 c #Conflicts: 527000 | #Constraints: 681577
2150.14/2156.88 c #Conflicts: 528000 | #Constraints: 682577
2150.14/2156.88 c #Conflicts: 529000 | #Constraints: 683577
2150.14/2156.88 c #Conflicts: 530000 | #Constraints: 684577
2150.14/2156.88 c #Conflicts: 531000 | #Constraints: 685577
2150.14/2156.88 c INPROCESSING
2150.14/2156.88 c GARBAGE COLLECT
2150.14/2156.88 c #Conflicts: 532000 | #Constraints: 672178
2150.14/2156.88 c #Conflicts: 533000 | #Constraints: 673178
2150.14/2156.88 c #Conflicts: 534000 | #Constraints: 674178
2150.14/2156.88 c #Conflicts: 535000 | #Constraints: 675178
2150.14/2156.88 c #Conflicts: 536000 | #Constraints: 676178
2150.14/2156.88 c #Conflicts: 537000 | #Constraints: 677178
2150.14/2156.88 c #Conflicts: 538000 | #Constraints: 678178
2150.14/2156.88 c #Conflicts: 539000 | #Constraints: 679178
2150.14/2156.88 c #Conflicts: 540000 | #Constraints: 680178
2150.14/2156.88 c #Conflicts: 541000 | #Constraints: 681178
2150.14/2156.88 c #Conflicts: 542000 | #Constraints: 682178
2150.14/2156.88 c #Conflicts: 543000 | #Constraints: 683178
2150.14/2156.88 c #Conflicts: 544000 | #Constraints: 684178
2150.14/2156.88 c #Conflicts: 545000 | #Constraints: 685178
2150.14/2156.88 c #Conflicts: 546000 | #Constraints: 686178
2150.14/2156.88 c INPROCESSING
2150.14/2156.88 c GARBAGE COLLECT
2150.14/2156.88 c #Conflicts: 547000 | #Constraints: 672575
2150.14/2156.88 c #Conflicts: 548000 | #Constraints: 673575
2150.14/2156.88 c #Conflicts: 549000 | #Constraints: 674575
2150.14/2156.88 c #Conflicts: 550000 | #Constraints: 675575
2150.14/2156.88 c #Conflicts: 551000 | #Constraints: 676575
2150.14/2156.88 c #Conflicts: 552000 | #Constraints: 677575
2150.14/2156.88 c #Conflicts: 553000 | #Constraints: 678575
2150.14/2156.88 c #Conflicts: 554000 | #Constraints: 679575
2150.14/2156.88 c #Conflicts: 555000 | #Constraints: 680575
2150.14/2156.88 c #Conflicts: 556000 | #Constraints: 681575
2150.14/2156.88 c #Conflicts: 557000 | #Constraints: 682575
2150.14/2156.88 c #Conflicts: 558000 | #Constraints: 683575
2150.14/2156.88 c #Conflicts: 559000 | #Constraints: 684575
2150.14/2156.88 c #Conflicts: 560000 | #Constraints: 685575
2150.14/2156.88 c #Conflicts: 561000 | #Constraints: 686575
2150.14/2156.88 c INPROCESSING
2150.14/2156.88 c GARBAGE COLLECT
2150.14/2156.88 c #Conflicts: 562000 | #Constraints: 672773
2150.14/2156.88 c #Conflicts: 563000 | #Constraints: 673773
2150.14/2156.88 c #Conflicts: 564000 | #Constraints: 674773
2150.14/2156.88 c #Conflicts: 565000 | #Constraints: 675773
2150.14/2156.88 c #Conflicts: 566000 | #Constraints: 676773
2150.14/2156.88 c #Conflicts: 567000 | #Constraints: 677773
2150.14/2156.88 c #Conflicts: 568000 | #Constraints: 678773
2150.14/2156.88 c #Conflicts: 569000 | #Constraints: 679773
2150.14/2156.88 c #Conflicts: 570000 | #Constraints: 680773
2150.14/2156.88 c #Conflicts: 571000 | #Constraints: 681773
2150.14/2156.88 c #Conflicts: 572000 | #Constraints: 682773
2150.14/2156.88 c #Conflicts: 573000 | #Constraints: 683773
2150.14/2156.88 c #Conflicts: 574000 | #Constraints: 684773
2150.14/2156.88 c #Conflicts: 575000 | #Constraints: 685773
2150.14/2156.88 c #Conflicts: 576000 | #Constraints: 686773
2150.14/2156.88 c INPROCESSING
2150.14/2156.88 c GARBAGE COLLECT
2150.14/2156.88 c #Conflicts: 577000 | #Constraints: 672779
2150.14/2156.88 c #Conflicts: 578000 | #Constraints: 673779
2150.14/2156.88 c #Conflicts: 579000 | #Constraints: 674779
2150.14/2156.88 c #Conflicts: 580000 | #Constraints: 675779
2150.14/2156.88 c #Conflicts: 581000 | #Constraints: 676779
2150.14/2156.88 c #Conflicts: 582000 | #Constraints: 677779
2150.14/2156.88 c #Conflicts: 583000 | #Constraints: 678779
2150.14/2156.88 c #Conflicts: 584000 | #Constraints: 679779
2150.14/2156.88 c #Conflicts: 585000 | #Constraints: 680779
2150.14/2156.88 c #Conflicts: 586000 | #Constraints: 681779
2150.14/2156.88 c #Conflicts: 587000 | #Constraints: 682779
2150.14/2156.88 c #Conflicts: 588000 | #Constraints: 683779
2150.14/2156.88 c #Conflicts: 589000 | #Constraints: 684779
2150.14/2156.88 c #Conflicts: 590000 | #Constraints: 685779
2150.14/2156.88 c #Conflicts: 591000 | #Constraints: 686779
2150.14/2156.88 c INPROCESSING
2150.14/2156.88 c GARBAGE COLLECT
2150.14/2156.88 c #Conflicts: 592000 | #Constraints: 672586
2150.14/2156.88 c #Conflicts: 593000 | #Constraints: 673586
2150.14/2156.88 c #Conflicts: 594000 | #Constraints: 674586
2150.14/2156.88 c #Conflicts: 595000 | #Constraints: 675586
2150.14/2156.88 c #Conflicts: 596000 | #Constraints: 676586
2546.23/2554.08 c #Conflicts: 597000 | #Constraints: 677586
2546.23/2554.08 c #Conflicts: 598000 | #Constraints: 678586
2546.23/2554.08 c #Conflicts: 599000 | #Constraints: 679586
2546.23/2554.08 c #Conflicts: 600000 | #Constraints: 680586
2546.23/2554.08 c #Conflicts: 601000 | #Constraints: 681586
2546.23/2554.08 c #Conflicts: 602000 | #Constraints: 682586
2546.23/2554.08 c #Conflicts: 603000 | #Constraints: 683586
2546.23/2554.08 c #Conflicts: 604000 | #Constraints: 684586
2546.23/2554.08 c #Conflicts: 605000 | #Constraints: 685586
2546.23/2554.08 c #Conflicts: 606000 | #Constraints: 686586
2546.23/2554.08 c #Conflicts: 607000 | #Constraints: 687586
2546.23/2554.08 c INPROCESSING
2546.23/2554.08 c GARBAGE COLLECT
2546.23/2554.08 c #Conflicts: 608000 | #Constraints: 673188
2546.23/2554.08 c #Conflicts: 609000 | #Constraints: 674188
2546.23/2554.08 c #Conflicts: 610000 | #Constraints: 675188
2546.23/2554.08 c #Conflicts: 611000 | #Constraints: 676188
2546.23/2554.08 c #Conflicts: 612000 | #Constraints: 677188
2546.23/2554.08 c #Conflicts: 613000 | #Constraints: 678188
2546.23/2554.08 c #Conflicts: 614000 | #Constraints: 679188
2546.23/2554.08 c #Conflicts: 615000 | #Constraints: 680188
2546.23/2554.08 c #Conflicts: 616000 | #Constraints: 681188
2546.23/2554.08 c #Conflicts: 617000 | #Constraints: 682188
2546.23/2554.08 c #Conflicts: 618000 | #Constraints: 683188
2546.23/2554.08 c #Conflicts: 619000 | #Constraints: 684188
2546.23/2554.08 c #Conflicts: 620000 | #Constraints: 685188
2546.23/2554.08 c #Conflicts: 621000 | #Constraints: 686188
2546.23/2554.08 c #Conflicts: 622000 | #Constraints: 687188
2546.23/2554.08 c #Conflicts: 623000 | #Constraints: 688188
2546.23/2554.08 c INPROCESSING
2546.23/2554.08 c GARBAGE COLLECT
2546.23/2554.08 c #Conflicts: 624000 | #Constraints: 673591
2546.23/2554.08 c #Conflicts: 625000 | #Constraints: 674591
2546.23/2554.08 c #Conflicts: 626000 | #Constraints: 675591
2546.23/2554.08 c #Conflicts: 627000 | #Constraints: 676591
2546.23/2554.08 c #Conflicts: 628000 | #Constraints: 677591
2546.23/2554.08 c #Conflicts: 629000 | #Constraints: 678591
2546.23/2554.08 c #Conflicts: 630000 | #Constraints: 679591
2546.23/2554.08 c #Conflicts: 631000 | #Constraints: 680591
2546.23/2554.08 c #Conflicts: 632000 | #Constraints: 681591
2546.23/2554.08 c #Conflicts: 633000 | #Constraints: 682591
2546.23/2554.08 c #Conflicts: 634000 | #Constraints: 683591
2546.23/2554.08 c #Conflicts: 635000 | #Constraints: 684591
2546.23/2554.08 c #Conflicts: 636000 | #Constraints: 685591
2546.23/2554.08 c #Conflicts: 637000 | #Constraints: 686591
2546.23/2554.08 c #Conflicts: 638000 | #Constraints: 687591
2546.23/2554.08 c #Conflicts: 639000 | #Constraints: 688591
2546.23/2554.08 c INPROCESSING
2546.23/2554.08 c GARBAGE COLLECT
2546.23/2554.08 c #Conflicts: 640000 | #Constraints: 673788
2546.23/2554.08 c #Conflicts: 641000 | #Constraints: 674788
2546.23/2554.08 c #Conflicts: 642000 | #Constraints: 675788
2546.23/2554.08 c #Conflicts: 643000 | #Constraints: 676788
2546.23/2554.08 c #Conflicts: 644000 | #Constraints: 677788
2546.23/2554.08 c #Conflicts: 645000 | #Constraints: 678788
2546.23/2554.08 c #Conflicts: 646000 | #Constraints: 679788
2546.23/2554.08 c #Conflicts: 647000 | #Constraints: 680788
2546.23/2554.08 c #Conflicts: 648000 | #Constraints: 681788
2546.23/2554.08 c #Conflicts: 649000 | #Constraints: 682788
2546.23/2554.08 c #Conflicts: 650000 | #Constraints: 683788
2546.23/2554.08 c #Conflicts: 651000 | #Constraints: 684788
2546.23/2554.08 c #Conflicts: 652000 | #Constraints: 685788
2546.23/2554.08 c #Conflicts: 653000 | #Constraints: 686788
2546.23/2554.08 c #Conflicts: 654000 | #Constraints: 687788
2546.23/2554.08 c #Conflicts: 655000 | #Constraints: 688788
2546.23/2554.08 c INPROCESSING
2546.23/2554.08 c GARBAGE COLLECT
2546.23/2554.08 c #Conflicts: 656000 | #Constraints: 673790
2546.23/2554.08 c #Conflicts: 657000 | #Constraints: 674790
2546.23/2554.08 c #Conflicts: 658000 | #Constraints: 675790
2546.23/2554.08 c #Conflicts: 659000 | #Constraints: 676790
2546.23/2554.08 c #Conflicts: 660000 | #Constraints: 677790
2546.23/2554.08 c #Conflicts: 661000 | #Constraints: 678790
2546.23/2554.08 c #Conflicts: 662000 | #Constraints: 679790
2546.23/2554.08 c #Conflicts: 663000 | #Constraints: 680790
2546.23/2554.08 c #Conflicts: 664000 | #Constraints: 681790
2546.23/2554.08 c #Conflicts: 665000 | #Constraints: 682790
2546.23/2554.08 c #Conflicts: 666000 | #Constraints: 683790
2546.23/2554.08 c #Conflicts: 667000 | #Constraints: 684790
2546.23/2554.08 c #Conflicts: 668000 | #Constraints: 685790
2546.23/2554.08 c #Conflicts: 669000 | #Constraints: 686790
2546.23/2554.08 c #Conflicts: 670000 | #Constraints: 687790
2546.23/2554.08 c #Conflicts: 671000 | #Constraints: 688790
2546.23/2554.08 c INPROCESSING
2546.23/2554.08 c GARBAGE COLLECT
2931.52/2940.49 c #Conflicts: 672000 | #Constraints: 673589
2931.52/2940.49 c #Conflicts: 673000 | #Constraints: 674589
2931.52/2940.49 c #Conflicts: 674000 | #Constraints: 675589
2931.52/2940.49 c #Conflicts: 675000 | #Constraints: 676589
2931.52/2940.49 c #Conflicts: 676000 | #Constraints: 677589
2931.52/2940.49 c #Conflicts: 677000 | #Constraints: 678589
2931.52/2940.49 c #Conflicts: 678000 | #Constraints: 679589
2931.52/2940.49 c #Conflicts: 679000 | #Constraints: 680589
2931.52/2940.49 c #Conflicts: 680000 | #Constraints: 681589
2931.52/2940.49 c #Conflicts: 681000 | #Constraints: 682589
2931.52/2940.49 c #Conflicts: 682000 | #Constraints: 683589
2931.52/2940.49 c #Conflicts: 683000 | #Constraints: 684589
2931.52/2940.49 c #Conflicts: 684000 | #Constraints: 685589
2931.52/2940.49 c #Conflicts: 685000 | #Constraints: 686589
2931.52/2940.49 c #Conflicts: 686000 | #Constraints: 687589
2931.52/2940.49 c #Conflicts: 687000 | #Constraints: 688589
2931.52/2940.49 c #Conflicts: 688000 | #Constraints: 689589
2931.52/2940.49 c INPROCESSING
2931.52/2940.49 c GARBAGE COLLECT
2931.52/2940.49 c #Conflicts: 689000 | #Constraints: 674183
2931.52/2940.49 c #Conflicts: 690000 | #Constraints: 675183
2931.52/2940.49 c #Conflicts: 691000 | #Constraints: 676183
2931.52/2940.49 c #Conflicts: 692000 | #Constraints: 677183
2931.52/2940.49 c #Conflicts: 693000 | #Constraints: 678183
2931.52/2940.49 c #Conflicts: 694000 | #Constraints: 679183
2931.52/2940.49 c #Conflicts: 695000 | #Constraints: 680183
2931.52/2940.49 c #Conflicts: 696000 | #Constraints: 681183
2931.52/2940.49 c #Conflicts: 697000 | #Constraints: 682183
2931.52/2940.49 c #Conflicts: 698000 | #Constraints: 683183
2931.52/2940.49 c #Conflicts: 699000 | #Constraints: 684183
2931.52/2940.49 c #Conflicts: 700000 | #Constraints: 685183
2931.52/2940.49 c #Conflicts: 701000 | #Constraints: 686183
2931.52/2940.49 c #Conflicts: 702000 | #Constraints: 687183
2931.52/2940.49 c #Conflicts: 703000 | #Constraints: 688183
2931.52/2940.49 c #Conflicts: 704000 | #Constraints: 689183
2931.52/2940.49 c #Conflicts: 705000 | #Constraints: 690183
2931.52/2940.49 c INPROCESSING
2931.52/2940.49 c GARBAGE COLLECT
2931.52/2940.49 c #Conflicts: 706000 | #Constraints: 674582
2931.52/2940.49 c #Conflicts: 707000 | #Constraints: 675582
2931.52/2940.49 c #Conflicts: 708000 | #Constraints: 676582
2931.52/2940.49 c #Conflicts: 709000 | #Constraints: 677582
2931.52/2940.49 c #Conflicts: 710000 | #Constraints: 678582
2931.52/2940.49 c #Conflicts: 711000 | #Constraints: 679582
2931.52/2940.49 c #Conflicts: 712000 | #Constraints: 680582
2931.52/2940.49 c #Conflicts: 713000 | #Constraints: 681582
2931.52/2940.49 c #Conflicts: 714000 | #Constraints: 682582
2931.52/2940.49 c #Conflicts: 715000 | #Constraints: 683582
2931.52/2940.49 c #Conflicts: 716000 | #Constraints: 684582
2931.52/2940.49 c #Conflicts: 717000 | #Constraints: 685582
2931.52/2940.49 c #Conflicts: 718000 | #Constraints: 686582
2931.52/2940.49 c #Conflicts: 719000 | #Constraints: 687582
2931.52/2940.49 c #Conflicts: 720000 | #Constraints: 688582
2931.52/2940.49 c #Conflicts: 721000 | #Constraints: 689582
2931.52/2940.49 c #Conflicts: 722000 | #Constraints: 690582
2931.52/2940.49 c INPROCESSING
2931.52/2940.49 c GARBAGE COLLECT
2931.52/2940.49 c #Conflicts: 723000 | #Constraints: 674796
2931.52/2940.49 c #Conflicts: 724000 | #Constraints: 675796
2931.52/2940.49 c #Conflicts: 725000 | #Constraints: 676796
2931.52/2940.49 c #Conflicts: 726000 | #Constraints: 677796
2931.52/2940.49 c #Conflicts: 727000 | #Constraints: 678796
2931.52/2940.49 c #Conflicts: 728000 | #Constraints: 679796
2931.52/2940.49 c #Conflicts: 729000 | #Constraints: 680796
2931.52/2940.49 c #Conflicts: 730000 | #Constraints: 681796
2931.52/2940.49 c #Conflicts: 731000 | #Constraints: 682796
2931.52/2940.49 c #Conflicts: 732000 | #Constraints: 683796
2931.52/2940.49 c #Conflicts: 733000 | #Constraints: 684796
2931.52/2940.49 c #Conflicts: 734000 | #Constraints: 685796
2931.52/2940.49 c #Conflicts: 735000 | #Constraints: 686796
2931.52/2940.49 c #Conflicts: 736000 | #Constraints: 687796
2931.52/2940.49 c #Conflicts: 737000 | #Constraints: 688796
2931.52/2940.49 c #Conflicts: 738000 | #Constraints: 689796
2931.52/2940.49 c #Conflicts: 739000 | #Constraints: 690796
2931.52/2940.49 c INPROCESSING
2931.52/2940.49 c GARBAGE COLLECT
2931.52/2940.49 c #Conflicts: 740000 | #Constraints: 674798
2931.52/2940.49 c #Conflicts: 741000 | #Constraints: 675798
2931.52/2940.49 c #Conflicts: 742000 | #Constraints: 676798
2931.52/2940.49 c #Conflicts: 743000 | #Constraints: 677798
2931.52/2940.49 c #Conflicts: 744000 | #Constraints: 678798
2931.52/2940.49 c #Conflicts: 745000 | #Constraints: 679798
2931.52/2940.49 c #Conflicts: 746000 | #Constraints: 680798
2931.52/2940.49 c #Conflicts: 747000 | #Constraints: 681798
2931.52/2940.49 c #Conflicts: 748000 | #Constraints: 682798
3288.92/3298.85 c #Conflicts: 749000 | #Constraints: 683798
3288.92/3298.85 c #Conflicts: 750000 | #Constraints: 684798
3288.92/3298.85 c #Conflicts: 751000 | #Constraints: 685798
3288.92/3298.85 c #Conflicts: 752000 | #Constraints: 686798
3288.92/3298.85 c #Conflicts: 753000 | #Constraints: 687798
3288.92/3298.85 c #Conflicts: 754000 | #Constraints: 688798
3288.92/3298.85 c #Conflicts: 755000 | #Constraints: 689798
3288.92/3298.85 c #Conflicts: 756000 | #Constraints: 690798
3288.92/3298.85 c INPROCESSING
3288.92/3298.85 c GARBAGE COLLECT
3288.92/3298.85 c #Conflicts: 757000 | #Constraints: 674587
3288.92/3298.85 c #Conflicts: 758000 | #Constraints: 675587
3288.92/3298.85 c #Conflicts: 759000 | #Constraints: 676587
3288.92/3298.85 c #Conflicts: 760000 | #Constraints: 677587
3288.92/3298.85 c #Conflicts: 761000 | #Constraints: 678587
3288.92/3298.85 c #Conflicts: 762000 | #Constraints: 679587
3288.92/3298.85 c #Conflicts: 763000 | #Constraints: 680587
3288.92/3298.85 c #Conflicts: 764000 | #Constraints: 681587
3288.92/3298.85 c #Conflicts: 765000 | #Constraints: 682587
3288.92/3298.85 c #Conflicts: 766000 | #Constraints: 683587
3288.92/3298.85 c #Conflicts: 767000 | #Constraints: 684587
3288.92/3298.85 c #Conflicts: 768000 | #Constraints: 685587
3288.92/3298.85 c #Conflicts: 769000 | #Constraints: 686587
3288.92/3298.85 c #Conflicts: 770000 | #Constraints: 687587
3288.92/3298.85 c #Conflicts: 771000 | #Constraints: 688587
3288.92/3298.85 c #Conflicts: 772000 | #Constraints: 689587
3288.92/3298.85 c #Conflicts: 773000 | #Constraints: 690587
3288.92/3298.85 c #Conflicts: 774000 | #Constraints: 691587
3288.92/3298.85 c INPROCESSING
3288.92/3298.85 c GARBAGE COLLECT
3288.92/3298.85 c #Conflicts: 775000 | #Constraints: 675177
3288.92/3298.85 c #Conflicts: 776000 | #Constraints: 676177
3288.92/3298.85 c #Conflicts: 777000 | #Constraints: 677177
3288.92/3298.85 c #Conflicts: 778000 | #Constraints: 678177
3288.92/3298.85 c #Conflicts: 779000 | #Constraints: 679177
3288.92/3298.85 c #Conflicts: 780000 | #Constraints: 680177
3288.92/3298.85 c #Conflicts: 781000 | #Constraints: 681177
3288.92/3298.85 c #Conflicts: 782000 | #Constraints: 682177
3288.92/3298.85 c #Conflicts: 783000 | #Constraints: 683177
3288.92/3298.85 c #Conflicts: 784000 | #Constraints: 684177
3288.92/3298.85 c #Conflicts: 785000 | #Constraints: 685177
3288.92/3298.85 c #Conflicts: 786000 | #Constraints: 686177
3288.92/3298.85 c #Conflicts: 787000 | #Constraints: 687177
3288.92/3298.85 c #Conflicts: 788000 | #Constraints: 688177
3288.92/3298.85 c #Conflicts: 789000 | #Constraints: 689177
3288.92/3298.85 c #Conflicts: 790000 | #Constraints: 690177
3288.92/3298.85 c #Conflicts: 791000 | #Constraints: 691177
3288.92/3298.85 c #Conflicts: 792000 | #Constraints: 692177
3288.92/3298.85 c INPROCESSING
3288.92/3298.85 c GARBAGE COLLECT
3288.92/3298.85 c #Conflicts: 793000 | #Constraints: 675580
3288.92/3298.85 c #Conflicts: 794000 | #Constraints: 676580
3288.92/3298.85 c #Conflicts: 795000 | #Constraints: 677580
3288.92/3298.85 c #Conflicts: 796000 | #Constraints: 678580
3288.92/3298.85 c #Conflicts: 797000 | #Constraints: 679580
3288.92/3298.85 c #Conflicts: 798000 | #Constraints: 680580
3288.92/3298.85 c #Conflicts: 799000 | #Constraints: 681580
3288.92/3298.85 c #Conflicts: 800000 | #Constraints: 682580
3288.92/3298.85 c #Conflicts: 801000 | #Constraints: 683580
3288.92/3298.85 c #Conflicts: 802000 | #Constraints: 684580
3288.92/3298.85 c #Conflicts: 803000 | #Constraints: 685580
3288.92/3298.85 c #Conflicts: 804000 | #Constraints: 686580
3288.92/3298.85 c #Conflicts: 805000 | #Constraints: 687580
3288.92/3298.85 c #Conflicts: 806000 | #Constraints: 688580
3288.92/3298.85 c #Conflicts: 807000 | #Constraints: 689580
3288.92/3298.85 c #Conflicts: 808000 | #Constraints: 690580
3288.92/3298.85 c #Conflicts: 809000 | #Constraints: 691580
3288.92/3298.85 c #Conflicts: 810000 | #Constraints: 692580
3288.92/3298.85 c INPROCESSING
3288.92/3298.85 c GARBAGE COLLECT
3288.92/3298.85 c #Conflicts: 811000 | #Constraints: 675786
3288.92/3298.85 c #Conflicts: 812000 | #Constraints: 676786
3288.92/3298.85 c #Conflicts: 813000 | #Constraints: 677786
3288.92/3298.85 c #Conflicts: 814000 | #Constraints: 678786
3288.92/3298.85 c #Conflicts: 815000 | #Constraints: 679786
3288.92/3298.85 c #Conflicts: 816000 | #Constraints: 680786
3288.92/3298.85 c #Conflicts: 817000 | #Constraints: 681786
3288.92/3298.85 c #Conflicts: 818000 | #Constraints: 682786
3288.92/3298.85 c #Conflicts: 819000 | #Constraints: 683786
3288.92/3298.85 c #Conflicts: 820000 | #Constraints: 684786
3288.92/3298.85 c #Conflicts: 821000 | #Constraints: 685786
3288.92/3298.85 c #Conflicts: 822000 | #Constraints: 686786
3288.92/3298.85 c #Conflicts: 823000 | #Constraints: 687786
3288.92/3298.85 c #Conflicts: 824000 | #Constraints: 688786
3600.02/3610.70 c #Conflicts: 825000 | #Constraints: 689786
3600.02/3610.70 c #Conflicts: 826000 | #Constraints: 690786
3600.02/3610.70 c #Conflicts: 827000 | #Constraints: 691786
3600.02/3610.70 c #Conflicts: 828000 | #Constraints: 692786
3600.02/3610.70 c INPROCESSING
3600.02/3610.70 c GARBAGE COLLECT
3600.02/3610.70 c #Conflicts: 829000 | #Constraints: 675786
3600.02/3610.70 c #Conflicts: 830000 | #Constraints: 676786
3600.02/3610.70 c #Conflicts: 831000 | #Constraints: 677786
3600.02/3610.70 c #Conflicts: 832000 | #Constraints: 678786
3600.02/3610.70 c #Conflicts: 833000 | #Constraints: 679786
3600.02/3610.70 c #Conflicts: 834000 | #Constraints: 680786
3600.02/3610.70 c #Conflicts: 835000 | #Constraints: 681786
3600.02/3610.70 c #Conflicts: 836000 | #Constraints: 682786
3600.02/3610.70 c #Conflicts: 837000 | #Constraints: 683786
3600.02/3610.70 c #Conflicts: 838000 | #Constraints: 684786
3600.02/3610.70 c #Conflicts: 839000 | #Constraints: 685786
3600.02/3610.70 c #Conflicts: 840000 | #Constraints: 686786
3600.02/3610.70 c #Conflicts: 841000 | #Constraints: 687786
3600.02/3610.70 c #Conflicts: 842000 | #Constraints: 688786
3600.02/3610.70 c #Conflicts: 843000 | #Constraints: 689786
3600.02/3610.70 c #Conflicts: 844000 | #Constraints: 690786
3600.02/3610.70 c #Conflicts: 845000 | #Constraints: 691786
3600.02/3610.70 c #Conflicts: 846000 | #Constraints: 692786
3600.02/3610.70 c INPROCESSING
3600.02/3610.70 c GARBAGE COLLECT
3600.02/3610.70 c #Conflicts: 847000 | #Constraints: 675587
3600.02/3610.70 c #Conflicts: 848000 | #Constraints: 676587
3600.02/3610.70 c #Conflicts: 849000 | #Constraints: 677587
3600.02/3610.70 c #Conflicts: 850000 | #Constraints: 678587
3600.02/3610.70 c #Conflicts: 851000 | #Constraints: 679587
3600.02/3610.70 c #Conflicts: 852000 | #Constraints: 680587
3600.02/3610.70 c #Conflicts: 853000 | #Constraints: 681587
3600.02/3610.70 c #Conflicts: 854000 | #Constraints: 682587
3600.02/3610.70 c #Conflicts: 855000 | #Constraints: 683587
3600.02/3610.70 c #Conflicts: 856000 | #Constraints: 684587
3600.02/3610.70 c #Conflicts: 857000 | #Constraints: 685587
3600.02/3610.70 c #Conflicts: 858000 | #Constraints: 686587
3600.02/3610.70 c #Conflicts: 859000 | #Constraints: 687587
3600.02/3610.70 c #Conflicts: 860000 | #Constraints: 688587
3600.02/3610.70 c #Conflicts: 861000 | #Constraints: 689587
3600.02/3610.70 c #Conflicts: 862000 | #Constraints: 690587
3600.02/3610.70 c #Conflicts: 863000 | #Constraints: 691587
3600.02/3610.70 c #Conflicts: 864000 | #Constraints: 692587
3600.02/3610.70 c #Conflicts: 865000 | #Constraints: 693587
3600.02/3610.70 c INPROCESSING
3600.02/3610.70 c GARBAGE COLLECT
3600.02/3610.70 c #Conflicts: 866000 | #Constraints: 676186
3600.02/3610.70 c #Conflicts: 867000 | #Constraints: 677186
3600.02/3610.70 c #Conflicts: 868000 | #Constraints: 678186
3600.02/3610.70 c #Conflicts: 869000 | #Constraints: 679186
3600.02/3610.70 c #Conflicts: 870000 | #Constraints: 680186
3600.02/3610.70 c #Conflicts: 871000 | #Constraints: 681186
3600.02/3610.70 c #Conflicts: 872000 | #Constraints: 682186
3600.02/3610.70 c #Conflicts: 873000 | #Constraints: 683186
3600.02/3610.70 c #Conflicts: 874000 | #Constraints: 684186
3600.02/3610.70 c #Conflicts: 875000 | #Constraints: 685186
3600.02/3610.70 c #Conflicts: 876000 | #Constraints: 686186
3600.02/3610.70 c #Conflicts: 877000 | #Constraints: 687186
3600.02/3610.70 c #Conflicts: 878000 | #Constraints: 688186
3600.02/3610.70 c #Conflicts: 879000 | #Constraints: 689186
3600.02/3610.70 c #Conflicts: 880000 | #Constraints: 690186
3600.02/3610.70 c #Conflicts: 881000 | #Constraints: 691186
3600.02/3610.70 c #Conflicts: 882000 | #Constraints: 692186
3600.02/3610.70 c #Conflicts: 883000 | #Constraints: 693186
3600.02/3610.70 c #Conflicts: 884000 | #Constraints: 694186
3600.02/3610.70 c INPROCESSING
3600.02/3610.70 c GARBAGE COLLECT
3600.02/3610.70 c #Conflicts: 885000 | #Constraints: 676584
3600.02/3610.70 c #Conflicts: 886000 | #Constraints: 677584
3600.02/3610.70 c #Conflicts: 887000 | #Constraints: 678584
3600.02/3610.70 c #Conflicts: 888000 | #Constraints: 679584
3600.02/3610.70 c Program interrupted by user.
3600.02/3610.70 c cpu time 3579.24 s
3600.02/3610.70 c deterministic time 154131160243 1.54e+11
3600.02/3610.70 c optimization time 21.258 s
3600.02/3610.70 c total solve time 3254.15 s
3600.02/3610.70 c core-guided solve time 3254.15 s
3600.02/3610.70 c propagation time 1513.36 s
3600.02/3610.70 c conflict analysis time 1565.63 s
3600.02/3610.70 c propagations 94279915
3600.02/3610.70 c resolve steps 23186931
3600.02/3610.70 c decisions 20429225
3600.02/3610.70 c conflicts 888889
3600.02/3610.70 c restarts 1915
3600.02/3610.70 c inprocessing phases 85
3600.02/3610.70 c input clauses 656900
3600.02/3610.70 c input cardinalities 0
3600.02/3610.70 c input general constraints 95
3600.02/3610.70 c input average constraint length 3.48
3600.02/3610.70 c input average constraint degree 70.30
3600.02/3610.70 c learned clauses 868255
3600.02/3610.70 c learned cardinalities 0
3600.02/3610.70 c learned general constraints 20633
3600.02/3610.70 c learned average constraint length 3097.30
3600.02/3610.70 c learned average constraint degree 6199.52
3600.02/3610.70 c watched constraints 3801
3600.02/3610.70 c counting constraints 16927
3600.02/3610.70 c gcd simplifications 2694
3600.02/3610.70 c detected cardinalities 0
3600.02/3610.70 c weakened non-implied lits 270128830
3600.02/3610.70 c weakened non-implying lits 158134
3600.02/3610.70 c original variables 10000
3600.02/3610.70 c clausal propagations 90595422
3600.02/3610.70 c cardinality propagations 0
3600.02/3610.70 c watched propagations 17602
3600.02/3610.70 c counting propagations 2763916
3600.02/3610.70 c watch lookups 36354696946
3600.02/3610.70 c watch backjump lookups 35780247075
3600.02/3610.70 c watch checks 25885294577
3600.02/3610.70 c propagation checks 50102793455
3600.02/3610.70 c constraint additions 5777830836
3600.02/3610.70 c trail pops 115588213
3600.02/3610.70 c formula constraints 656900
3600.02/3610.70 c learned constraints 888888
3600.02/3610.70 c bound constraints 95
3600.02/3610.70 c core-guided constraints 0
3600.02/3610.70 c encountered formula constraints 17357009
3600.02/3610.70 c encountered learned constraints 6695591
3600.02/3610.70 c encountered bound constraints 23220
3600.02/3610.70 c encountered core-guided constraints 0
3600.02/3610.70 c LP total time 0 s
3600.02/3610.70 c LP solve time 0 s
3600.02/3610.70 c LP constraints added 0
3600.02/3610.70 c LP constraints removed 0
3600.02/3610.70 c LP pivots internal 0
3600.02/3610.70 c LP pivots root 0
3600.02/3610.70 c LP calls 0
3600.02/3610.70 c LP optimalities 0
3600.02/3610.70 c LP no pivot count 0
3600.02/3610.70 c LP infeasibilities 0
3600.02/3610.70 c LP valid Farkas constraints 0
3600.02/3610.70 c LP learned Farkas constraints 0
3600.02/3610.70 c LP basis resets 0
3600.02/3610.70 c LP cycling count 0
3600.02/3610.70 c LP singular count 0
3600.02/3610.70 c LP no primal count 0
3600.02/3610.70 c LP no farkas count 0
3600.02/3610.70 c LP other issue count 0
3600.02/3610.70 c LP Gomory cuts 0
3600.02/3610.70 c LP learned cuts 0
3600.02/3610.70 c LP deleted cuts 0
3600.02/3610.70 c LP encountered Gomory constraints 0
3600.02/3610.70 c LP encountered Farkas constraints 0
3600.02/3610.70 c LP encountered learned Farkas constraints 0
3600.02/3610.70 c CG auxiliary variables introduced 0
3600.02/3610.70 c CG solutions found 93
3600.02/3610.70 c CG cores constructed 2
3600.02/3610.70 c CG core cardinality constraints returned 0
3600.02/3610.70 c CG unit cores 0
3600.02/3610.70 c CG single cores 2
3600.02/3610.70 c CG blocks removed during cardinality reduction 0
3600.02/3610.70 c CG first core best 0
3600.02/3610.70 c CG decision core best 0
3600.02/3610.70 c CG core reduction tie 0
3600.02/3610.70 c CG core degree average 1.00
3600.02/3610.70 c CG core slack average 2894.50
3600.02/3610.70 c CG exhausted 0
3600.02/3610.70 c CG exhaust time 0 s
3600.02/3610.70 c CG trimmed 0
3600.02/3610.70 c CG trim time 0.004648 s
3600.02/3610.70 c CG minimized 0
3600.02/3610.70 c CG minimize time 0 s
3600.02/3610.70 c CG am1 prop time 0.015214 s
3600.02/3610.70 c CG # am1s reformulated 0
3600.02/3610.70 c CG lower bound derived from am1s 0
3600.02/3610.70 c CG # clausal cores 2
3600.02/3610.70 c CG # cardinality cores 0
3600.02/3610.70 c CG # pb cores 0
3600.02/3610.70 c CG # pb reforms 0
3600.02/3610.70 c CG # cores discarded because of pb reform 0
3600.02/3610.70 d LOWERBOUND 10
3600.02/3610.70 d NCORES 2
3600.02/3610.70 d NPBCORES 0
3600.02/3610.70 d NPBREFORM 0
3600.02/3610.70 d NTRIMMED 0
3600.02/3610.70 d NEXHAUSTED 0
3600.02/3610.70 d NAM1S 0
3600.02/3610.70 d AM1LB 0
3600.02/3610.70 c [Papilo Statistics]
3600.02/3610.70 c prepro time 2.15719s
3600.02/3610.70 c # tsx applied 0
3600.02/3610.70 c # tsx conflicts 0
3600.02/3610.70 c # bound changes 0
3600.02/3610.70 c # side changes 0
3600.02/3610.70 c # coef changes 0
3600.02/3610.70 c # rounds 1
3600.02/3610.70 c # deted vars 0
3600.02/3610.70 c # deted constrs 0
3600.02/3610.70 c # consecutive rounds of only bound changes 0
3600.02/3610.70 c [STEP] postprocessing with Papilo
3600.02/3610.71 o 322
3600.02/3610.71 s SATISFIABLE
3600.02/3610.71 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 x3360 -x3361 -x3362 -x3363 -x3364 -x3365 x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 x9236 -x9237 -x9238 -x9239 -x9240 -x9241 x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61482 MiB free)
memory of node 1: 64510 MiB (58021 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454733-1721469661/watcher-4454733-1721469661 -o /tmp/evaluation-result-4454733-1721469661/solver-4454733-1721469661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079549 --watchdog 3760 mixed-bag HOME/instance-4454733-1721469661.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=1082762, runsolver pid=1082759
[startup+0.100987 s]*
/proc/loadavg: 4.12 4.11 4.09 5/257 1082763
/proc/meminfo: memFree=122361400/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=110980 memory=16764 CPUtime=0.09 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 3086 0 0 0 9 0 0 0 20 0 1 0 199127936 113643520 4191 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 27745 4191 1640 3002 0 12033 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 110980 KiB
Current children cumulated memory: 16764 KiB
[startup+0.206006 s]*
/proc/loadavg: 4.12 4.11 4.09 5/257 1082763
/proc/meminfo: memFree=122352620/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=115076 memory=25228 CPUtime=0.18 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 3684 0 0 0 18 0 0 0 20 0 1 0 199127936 117837824 6307 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 28769 6307 1640 3002 0 13057 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 115076 KiB
Current children cumulated memory: 25228 KiB
[startup+0.306006 s]*
/proc/loadavg: 4.12 4.11 4.09 5/257 1082763
/proc/meminfo: memFree=122345804/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=123268 memory=31916 CPUtime=0.29 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 4317 0 0 0 28 1 0 0 20 0 1 0 199127936 126226432 7979 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 30817 7979 1640 3002 0 15105 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 123268 KiB
Current children cumulated memory: 31916 KiB
[startup+0.700194 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1082763
/proc/meminfo: memFree=122334628/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=139652 memory=57092 CPUtime=0.67 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 5024 0 0 0 65 2 0 0 20 0 1 0 199127936 143003648 14273 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 34913 14273 1640 3002 0 19201 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 139652 KiB
Current children cumulated memory: 57092 KiB
[startup+1.50019 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1082763
/proc/meminfo: memFree=122305320/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=394456 memory=296756 CPUtime=1.46 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 19504 0 0 0 135 11 0 0 20 0 1 0 199127936 403922944 74189 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 98614 74189 1762 3002 0 82363 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 394456 KiB
Current children cumulated memory: 296756 KiB
[startup+3.10551 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1082763
/proc/meminfo: memFree=122045892/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=429052 memory=331940 CPUtime=3.06 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 27232 0 0 0 294 12 0 0 20 0 1 0 199127936 439349248 82985 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 107263 82985 1857 3002 0 91012 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 429052 KiB
Current children cumulated memory: 331940 KiB
[startup+6.30018 s]
/proc/loadavg: 4.11 4.10 4.09 4/251 1082794
/proc/meminfo: memFree=122371824/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=1109916 memory=1016296 CPUtime=6.26 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 204103 0 0 0 590 36 0 0 20 0 1 0 199127936 1136553984 254074 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 277479 254074 3788 3002 0 261228 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1109916 KiB
Current children cumulated memory: 1016296 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1082811
/proc/meminfo: memFree=120948180/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=1506544 memory=1409296 CPUtime=12.64 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 257874 0 0 0 1212 52 0 0 20 0 1 0 199127936 1542701056 352324 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 376636 352324 3804 3002 0 360385 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1506544 KiB
Current children cumulated memory: 1409296 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 1082812
/proc/meminfo: memFree=118394588/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=3790256 memory=3435660 CPUtime=25.39 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 377411 0 0 0 2437 102 0 0 20 0 1 0 199127936 3881222144 858915 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 947564 858915 3895 3002 0 931313 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3790256 KiB
Current children cumulated memory: 3435660 KiB
[startup+51.1055 s]
/proc/loadavg: 4.19 4.12 4.10 5/257 1082818
/proc/meminfo: memFree=116085484/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=3944464 memory=3572956 CPUtime=50.91 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 388614 0 0 0 4985 106 0 0 20 0 1 0 199127936 4039131136 893239 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 986116 893239 4055 3002 0 969865 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 3944464 KiB
Current children cumulated memory: 3572956 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1082826
/proc/meminfo: memFree=115895668/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=4131984 memory=3682340 CPUtime=101.92 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 397897 0 0 0 10083 109 0 0 20 0 1 0 199127936 4231151616 920585 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 1032996 920585 4055 3002 0 1016745 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 4131984 KiB
Current children cumulated memory: 3682340 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/257 1082836
/proc/meminfo: memFree=115728480/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=4217256 memory=3699292 CPUtime=161.72 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 399578 0 0 0 16061 111 0 0 20 0 1 0 199127936 4318470144 924823 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 1054314 924823 4055 3002 0 1038063 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 4217256 KiB
Current children cumulated memory: 3699292 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 1082848
/proc/meminfo: memFree=115670088/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=4365764 memory=3726672 CPUtime=221.51 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 401632 0 0 0 22038 113 0 0 20 0 1 0 199127936 4470542336 931668 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 1091441 931668 4055 3002 0 1075190 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 4365764 KiB
Current children cumulated memory: 3726672 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 1082858
/proc/meminfo: memFree=117431904/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=4427356 memory=3735024 CPUtime=281.29 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 401945 0 0 0 28015 114 0 0 20 0 1 0 199127936 4533612544 933756 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 1106839 933756 4055 3002 0 1090588 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 4427356 KiB
Current children cumulated memory: 3735024 KiB
[startup+342.3 s]
/proc/loadavg: 4.30 4.14 4.10 5/255 1082868
/proc/meminfo: memFree=120748436/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2133884 memory=2055272 CPUtime=341.09 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 406299 0 0 0 33829 280 0 0 20 0 1 0 199127936 2185097216 513818 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 533471 513818 4198 3002 0 517220 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 2133884 KiB
Current children cumulated memory: 2055272 KiB
[startup+402.3 s]
/proc/loadavg: 4.57 4.25 4.14 5/255 1082879
/proc/meminfo: memFree=120653508/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2183972 memory=2081896 CPUtime=400.92 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 406890 0 0 0 39714 378 0 0 20 0 1 0 199127936 2236387328 520474 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 545993 520474 4198 3002 0 529742 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 2183972 KiB
Current children cumulated memory: 2081896 KiB
[startup+462.3 s]
/proc/loadavg: 4.33 4.25 4.15 5/255 1082889
/proc/meminfo: memFree=120586028/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2183972 memory=2106472 CPUtime=460.74 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 406992 0 0 0 45635 439 0 0 20 0 1 0 199127936 2236387328 526618 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 545993 526618 4198 3002 0 529742 0
################
# More data... #
################
Current children cumulated memory: 2720896 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.17 4.14 6/255 1083944
/proc/meminfo: memFree=118658784/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2733256 CPUtime=2913.47 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 425630 0 0 0 289618 1729 0 0 20 0 1 0 199127936 3032875008 683314 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 683314 4198 3002 0 724197 0
Current children cumulated CPU time: 2913.47 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2733256 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.17 4.14 5/257 1083959
/proc/meminfo: memFree=118440060/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2735304 CPUtime=2973.28 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 426525 0 0 0 295557 1771 0 0 20 0 1 0 199127936 3032875008 683826 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 683826 4198 3002 0 724197 0
Current children cumulated CPU time: 2973.28 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2735304 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.18 4.15 5/257 1083970
/proc/meminfo: memFree=118355072/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2735304 CPUtime=3033.09 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 427323 0 0 0 301507 1802 0 0 20 0 1 0 199127936 3032875008 683826 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 683826 4198 3002 0 724197 0
Current children cumulated CPU time: 3033.09 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2735304 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.17 4.15 5/257 1083980
/proc/meminfo: memFree=118273000/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2735304 CPUtime=3092.92 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 428231 0 0 0 307457 1835 0 0 20 0 1 0 199127936 3032875008 683826 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 683826 4198 3002 0 724197 0
Current children cumulated CPU time: 3092.92 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2735304 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/257 1083990
/proc/meminfo: memFree=118045212/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2749640 CPUtime=3152.76 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 429119 0 0 0 313410 1866 0 0 20 0 1 0 199127936 3032875008 687410 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 687410 4198 3002 0 724197 0
Current children cumulated CPU time: 3152.76 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2749640 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/257 1084002
/proc/meminfo: memFree=117865564/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2749640 CPUtime=3212.61 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 429944 0 0 0 319364 1897 0 0 20 0 1 0 199127936 3032875008 687410 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 687410 4198 3002 0 724197 0
Current children cumulated CPU time: 3212.61 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2749640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/258 1084397
/proc/meminfo: memFree=117715408/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2749640 CPUtime=3272.47 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 430846 0 0 0 325305 1942 0 0 20 0 1 0 199127936 3032875008 687410 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 687410 4198 3002 0 724197 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2749640 KiB
[startup+3342.3 s]
/proc/loadavg: 4.37 4.19 4.15 5/257 1084407
/proc/meminfo: memFree=117555684/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2766024 CPUtime=3332.31 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 431812 0 0 0 331277 1954 0 0 20 0 1 0 199127936 3032875008 691506 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 691506 4198 3002 0 724197 0
Current children cumulated CPU time: 3332.31 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2766024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.19 4.16 5/257 1084418
/proc/meminfo: memFree=117376332/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2800840 CPUtime=3392.16 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 432688 0 0 0 337250 1966 0 0 20 0 1 0 199127936 3032875008 700210 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 700210 4198 3002 0 724197 0
Current children cumulated CPU time: 3392.16 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2800840 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.20 4.16 5/259 1084598
/proc/meminfo: memFree=117282952/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2806876 CPUtime=3452.01 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 433528 0 0 0 343190 2011 0 0 20 0 1 0 199127936 3032875008 701719 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 701719 4198 3002 0 724197 0
Current children cumulated CPU time: 3452.01 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2806876 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.18 4.16 5/260 1084609
/proc/meminfo: memFree=117271872/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2806876 CPUtime=3511.86 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 434446 0 0 0 349143 2043 0 0 20 0 1 0 199127936 3032875008 701719 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 701719 4198 3002 0 724197 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2806876 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.15 5/257 1085036
/proc/meminfo: memFree=116726140/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2806876 CPUtime=3571.69 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 435362 0 0 0 355095 2074 0 0 20 0 1 0 199127936 3032875008 701719 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 701719 4198 3002 0 724197 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2806876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.05 4.14 4.14 5/258 1085099
/proc/meminfo: memFree=116635220/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2806876 CPUtime=3600.02 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 435856 0 0 0 357923 2079 0 0 20 0 1 0 199127936 3032875008 701719 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 701719 4198 3002 0 724197 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2806876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.73 s]
# the end of solver process 1082762 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.26 s, system=20.8047 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.05 4.14 4.14 5/258 1085099
/proc/meminfo: memFree=116635220/131524600 swapFree=131071996/131071996
[pid=1082762] ppid=1082759 vsize=2961792 memory=2806876 CPUtime=3600.02 cores=4,6
/proc/1082762/stat : 1082762 (mixed-bag) R 1082759 1082762 1079538 0 -1 4194304 435856 0 0 0 357923 2079 0 0 20 0 1 0 199127936 3032875008 701719 134679101440 4194304 16488053 140723345364208 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 46735360 140723345368085 140723345368162 140723345368162 140723345375179 0
/proc/1082762/statm: 740448 701719 4198 3002 0 724197 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2961792 KiB
Current children cumulated memory: 2806876 KiB
Child status: 0
Real time (s): 3610.73
CPU time (s): 3600.06
CPU user time (s): 3579.26
CPU system time (s): 20.8047
CPU usage (%): 99.7046
Max. virtual memory (cumulated for all children) (KiB): 4427356
Max. memory (cumulated for all children) (KiB): 3735024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.26
system time used= 20.8047
maximum resident set size= 3735024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435942
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= 225
involuntary context switches= 3011
# summary of solver processes directly reported to runsolver:
# pid: 1082762
# total CPU time (s): 3600.06
# total CPU user time (s): 3579.26
# total CPU system time (s): 20.8047
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77692 second user time and 16.233 second system time
The end
Begin job on nodeC017 at 2024-07-20 12:01:13
IDJOB=4454733
IDBENCH=147553
IDSOLVER=3083
FILE ID=nodeC017/4454733-1721469661
RUNJOBID= nodeC017-1721465999-1079549
SLURM_JOB_ID= 7545717
Free space on /tmp= 889980 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454733-1721469661/watcher-4454733-1721469661 -o /tmp/evaluation-result-4454733-1721469661/solver-4454733-1721469661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721465999-1079549 --watchdog 3760 mixed-bag HOME/instance-4454733-1721469661.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0cfe35c6a899c796e17247c8eb2f096e
RANDOM SEED=1023813509
nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3676.404
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.548
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.808
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.761
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3681.486
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.560
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3634.484
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.909
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122372208 kB
MemAvailable: 124988084 kB
Buffers: 608400 kB
Cached: 2833128 kB
SwapCached: 0 kB
Active: 1350164 kB
Inactive: 7131936 kB
Active(anon): 1544 kB
Inactive(anon): 5085240 kB
Active(file): 1348620 kB
Inactive(file): 2046696 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 33256 kB
Writeback: 12 kB
AnonPages: 5039876 kB
Mapped: 132268 kB
Shmem: 45912 kB
KReclaimable: 120412 kB
Slab: 236472 kB
SReclaimable: 120412 kB
SUnreclaim: 116060 kB
KernelStack: 4064 kB
PageTables: 19436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5774068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72448 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2859008 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: 305876 kB
DirectMap2M: 43507712 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889748 MiB
End job on nodeC017 at 2024-07-20 13:01:24