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
0.00/0.06 c [STEP] preprocessing with Papilo
0.00/0.09 c [STEP] solving with SCIP
299.26/300.13 c [STEP] preprocessing done, loading into solver
299.26/300.14 c [STEP] solving
299.26/300.14 c #variables 4971 #constraints 5188
299.26/300.14 c SMALL=int, LARGE=long long
299.26/300.15 d SCIPUB 4121519
299.26/300.15 c bounds - >= -70 @ 299.169
299.26/300.15 c stratification level: 4096766
308.24/309.11 c #Conflicts: 1000 | #Constraints: 6188
308.24/309.11 c #Conflicts: 2000 | #Constraints: 7188
308.24/309.11 c INPROCESSING
308.24/309.11 c GARBAGE COLLECT
308.24/309.11 c #Conflicts: 3000 | #Constraints: 5336
308.24/309.11 c #Conflicts: 4000 | #Constraints: 6336
308.24/309.11 c INPROCESSING
308.24/309.11 c GARBAGE COLLECT
308.24/309.11 c #Conflicts: 5000 | #Constraints: 5741
308.24/309.11 c bounds 4101735 >= -70 @ 308.028
308.24/309.11 c stratification level: 4000752
308.33/309.21 c #Conflicts: 6000 | #Constraints: 6742
308.33/309.21 c bounds 4100469 >= -70 @ 308.129
308.33/309.21 c stratification level: 3906250
308.33/309.26 c bounds 4094551 >= -70 @ 308.182
308.33/309.26 c stratification level: 3813248
308.43/309.32 c bounds 4092759 >= -70 @ 308.236
308.43/309.32 c stratification level: 3721734
309.03/309.91 c bounds 4070589 >= -70 @ 308.816
309.03/309.91 c stratification level: 3631696
310.13/311.10 c INPROCESSING
310.13/311.10 c GARBAGE COLLECT
310.13/311.10 c bounds 4062027 >= -70 @ 309.987
310.13/311.10 c stratification level: 3543122
310.23/311.16 c bounds 4059533 >= -70 @ 310.047
310.23/311.16 c stratification level: 3456000
310.32/311.22 c bounds 4058333 >= -70 @ 310.113
310.32/311.22 c stratification level: 3370318
310.32/311.24 c bounds 4055403 >= -70 @ 310.13
310.32/311.24 c stratification level: 3286064
310.43/311.31 c bounds 4054263 >= -70 @ 310.2
310.43/311.31 c stratification level: 3203226
310.43/311.36 c bounds 4048569 >= -70 @ 310.244
310.43/311.36 c stratification level: 3121792
310.43/311.39 c bounds 4046585 >= -70 @ 310.271
310.43/311.39 c stratification level: 3041750
310.53/311.41 c bounds 4045913 >= -70 @ 310.291
310.53/311.41 c stratification level: 2963088
310.53/311.44 c bounds 4045839 >= -70 @ 310.323
310.53/311.44 c stratification level: 2885794
474.52/475.97 c #Conflicts: 7000 | #Constraints: 5764
474.52/475.97 c #Conflicts: 8000 | #Constraints: 6764
474.52/475.97 c #Conflicts: 9000 | #Constraints: 7764
474.52/475.97 c INPROCESSING
474.52/475.97 c GARBAGE COLLECT
474.52/475.97 c #Conflicts: 10000 | #Constraints: 6444
474.52/475.97 c #Conflicts: 11000 | #Constraints: 7444
474.52/475.97 c #Conflicts: 12000 | #Constraints: 8444
474.52/475.97 c INPROCESSING
474.52/475.97 c GARBAGE COLLECT
474.52/475.97 c #Conflicts: 13000 | #Constraints: 6904
474.52/475.97 c #Conflicts: 14000 | #Constraints: 7904
474.52/475.97 c #Conflicts: 15000 | #Constraints: 8904
474.52/475.97 c INPROCESSING
474.52/475.97 c GARBAGE COLLECT
474.52/475.97 c #Conflicts: 16000 | #Constraints: 7144
474.52/475.97 c #Conflicts: 17000 | #Constraints: 8144
474.52/475.97 c #Conflicts: 18000 | #Constraints: 9144
474.52/475.97 c INPROCESSING
474.52/475.97 c GARBAGE COLLECT
474.52/475.97 c #Conflicts: 19000 | #Constraints: 7180
474.52/475.97 c #Conflicts: 20000 | #Constraints: 8180
474.52/475.97 c #Conflicts: 21000 | #Constraints: 9180
474.52/475.97 c INPROCESSING
474.52/475.97 c GARBAGE COLLECT
474.52/475.97 c #Conflicts: 22000 | #Constraints: 7003
474.52/475.97 c #Conflicts: 23000 | #Constraints: 8003
474.52/475.97 c #Conflicts: 24000 | #Constraints: 9003
474.52/475.97 c #Conflicts: 25000 | #Constraints: 10003
474.52/475.97 c INPROCESSING
474.52/475.97 c GARBAGE COLLECT
474.52/475.97 c #Conflicts: 26000 | #Constraints: 7647
474.52/475.97 c #Conflicts: 27000 | #Constraints: 8647
474.52/475.97 c #Conflicts: 28000 | #Constraints: 9647
474.52/475.97 c #Conflicts: 29000 | #Constraints: 10647
474.52/475.97 c INPROCESSING
474.52/475.97 c GARBAGE COLLECT
474.52/475.97 c #Conflicts: 30000 | #Constraints: 8056
474.52/475.97 c #Conflicts: 31000 | #Constraints: 9056
474.52/475.97 c #Conflicts: 32000 | #Constraints: 10056
474.52/475.97 c #Conflicts: 33000 | #Constraints: 11056
474.52/475.97 c INPROCESSING
474.52/475.97 c GARBAGE COLLECT
474.52/475.97 c #Conflicts: 34000 | #Constraints: 8254
474.52/475.97 c #Conflicts: 35000 | #Constraints: 9254
474.52/475.97 c #Conflicts: 36000 | #Constraints: 10254
474.52/475.97 c #Conflicts: 37000 | #Constraints: 11254
474.52/475.97 c INPROCESSING
474.52/475.97 c GARBAGE COLLECT
474.52/475.97 c #Conflicts: 38000 | #Constraints: 8280
474.52/475.97 c #Conflicts: 39000 | #Constraints: 9280
474.52/475.97 c #Conflicts: 40000 | #Constraints: 10280
474.52/475.97 c #Conflicts: 41000 | #Constraints: 11280
474.52/475.97 c INPROCESSING
474.52/475.97 c GARBAGE COLLECT
474.52/475.97 c #Conflicts: 42000 | #Constraints: 8045
474.52/475.97 c #Conflicts: 43000 | #Constraints: 9045
474.52/475.97 c #Conflicts: 44000 | #Constraints: 10045
474.52/475.97 c #Conflicts: 45000 | #Constraints: 11045
474.52/475.97 c bounds 4045137 >= -70 @ 473.851
474.52/475.97 c stratification level: 2809856
474.62/476.06 c bounds 4042179 >= -70 @ 473.938
474.62/476.06 c stratification level: 2735262
474.72/476.17 c bounds 4040867 >= -70 @ 474.045
474.72/476.17 c stratification level: 2662000
474.92/476.33 c bounds 4036773 >= -70 @ 474.202
474.92/476.33 c stratification level: 2590058
475.11/476.52 c bounds 4020577 >= -70 @ 474.388
475.11/476.52 c stratification level: 2519424
504.23/505.76 c #Conflicts: 46000 | #Constraints: 12050
504.23/505.76 c INPROCESSING
504.23/505.76 c GARBAGE COLLECT
504.23/505.76 c #Conflicts: 47000 | #Constraints: 8678
504.23/505.76 c #Conflicts: 48000 | #Constraints: 9678
504.23/505.76 c #Conflicts: 49000 | #Constraints: 10678
504.23/505.76 c #Conflicts: 50000 | #Constraints: 11678
504.23/505.76 c bounds 4020561 >= -70 @ 503.427
504.23/505.76 c stratification level: 2450086
504.43/505.91 c bounds 4019481 >= -70 @ 503.577
504.43/505.91 c stratification level: 2382032
504.54/506.05 c bounds 4017279 >= -70 @ 503.723
504.54/506.05 c stratification level: 2315250
504.73/506.21 c bounds 4015491 >= -70 @ 503.874
504.73/506.21 c stratification level: 2249728
509.32/510.88 c #Conflicts: 51000 | #Constraints: 12682
509.32/510.88 c INPROCESSING
509.32/510.88 c GARBAGE COLLECT
509.32/510.88 c #Conflicts: 52000 | #Constraints: 9095
509.32/510.88 c bounds 4010377 >= -70 @ 508.49
509.32/510.88 c stratification level: 2185454
509.52/511.06 c bounds 3990517 >= -70 @ 508.67
509.52/511.06 c stratification level: 2122416
509.72/511.22 c bounds 3987345 >= -70 @ 508.825
509.72/511.22 c stratification level: 2060602
509.82/511.38 c bounds 3966643 >= -70 @ 508.982
509.82/511.38 c stratification level: 2000000
512.31/513.83 c bounds 3955649 >= -70 @ 511.418
512.31/513.83 c stratification level: 1940598
512.41/513.97 c bounds 3953875 >= -70 @ 511.552
512.41/513.97 c stratification level: 1882384
721.76/724.66 c #Conflicts: 53000 | #Constraints: 10101
721.76/724.66 c #Conflicts: 54000 | #Constraints: 11101
721.76/724.66 c #Conflicts: 55000 | #Constraints: 12101
721.76/724.66 c #Conflicts: 56000 | #Constraints: 13101
721.76/724.66 c INPROCESSING
721.76/724.66 c GARBAGE COLLECT
721.76/724.66 c #Conflicts: 57000 | #Constraints: 9241
721.76/724.66 c #Conflicts: 58000 | #Constraints: 10241
721.76/724.66 c #Conflicts: 59000 | #Constraints: 11241
721.76/724.66 c #Conflicts: 60000 | #Constraints: 12241
721.76/724.66 c #Conflicts: 61000 | #Constraints: 13241
721.76/724.66 c INPROCESSING
721.76/724.66 c GARBAGE COLLECT
721.76/724.66 c #Conflicts: 62000 | #Constraints: 9233
721.76/724.66 c #Conflicts: 63000 | #Constraints: 10233
721.76/724.66 c #Conflicts: 64000 | #Constraints: 11233
721.76/724.66 c #Conflicts: 65000 | #Constraints: 12233
721.76/724.66 c #Conflicts: 66000 | #Constraints: 13233
721.76/724.66 c INPROCESSING
721.76/724.66 c GARBAGE COLLECT
721.76/724.66 c #Conflicts: 67000 | #Constraints: 9060
721.76/724.66 c #Conflicts: 68000 | #Constraints: 10060
721.76/724.66 c #Conflicts: 69000 | #Constraints: 11060
721.76/724.66 c #Conflicts: 70000 | #Constraints: 12060
721.76/724.66 c #Conflicts: 71000 | #Constraints: 13060
721.76/724.66 c #Conflicts: 72000 | #Constraints: 14060
721.76/724.66 c INPROCESSING
721.76/724.66 c GARBAGE COLLECT
721.76/724.66 c #Conflicts: 73000 | #Constraints: 9596
721.76/724.66 c #Conflicts: 74000 | #Constraints: 10596
721.76/724.66 c #Conflicts: 75000 | #Constraints: 11596
721.76/724.66 c #Conflicts: 76000 | #Constraints: 12596
721.76/724.66 c #Conflicts: 77000 | #Constraints: 13596
721.76/724.66 c #Conflicts: 78000 | #Constraints: 14596
721.76/724.66 c INPROCESSING
721.76/724.66 c GARBAGE COLLECT
721.76/724.66 c #Conflicts: 79000 | #Constraints: 9973
721.76/724.66 c #Conflicts: 80000 | #Constraints: 10973
721.76/724.66 c #Conflicts: 81000 | #Constraints: 11973
721.76/724.66 c #Conflicts: 82000 | #Constraints: 12973
721.76/724.66 c #Conflicts: 83000 | #Constraints: 13973
721.76/724.66 c #Conflicts: 84000 | #Constraints: 14973
721.76/724.66 c INPROCESSING
721.76/724.66 c GARBAGE COLLECT
721.76/724.66 c #Conflicts: 85000 | #Constraints: 10192
721.76/724.66 c #Conflicts: 86000 | #Constraints: 11192
721.76/724.66 c #Conflicts: 87000 | #Constraints: 12192
721.76/724.66 c #Conflicts: 88000 | #Constraints: 13192
721.76/724.66 c #Conflicts: 89000 | #Constraints: 14192
721.76/724.66 c #Conflicts: 90000 | #Constraints: 15192
721.76/724.66 c INPROCESSING
721.76/724.66 c GARBAGE COLLECT
721.76/724.66 c #Conflicts: 91000 | #Constraints: 10237
721.76/724.66 c bounds 3953483 >= -70 @ 720.377
721.76/724.66 c stratification level: 1825346
721.86/724.70 c bounds 3953329 >= -70 @ 720.419
721.86/724.70 c stratification level: 1769472
721.96/724.81 c bounds 3949493 >= -70 @ 720.522
721.96/724.81 c stratification level: 1714750
722.35/725.24 c bounds 3947299 >= -70 @ 720.949
722.35/725.24 c stratification level: 1661168
722.56/725.45 c bounds 3942349 >= -70 @ 721.153
722.56/725.45 c stratification level: 1608714
723.05/726.00 c bounds 3942155 >= -70 @ 721.695
723.05/726.00 c stratification level: 1557376
723.15/726.08 c bounds 3936815 >= -70 @ 721.777
723.15/726.08 c stratification level: 1507142
723.94/726.80 c bounds 3934123 >= -70 @ 722.491
723.94/726.80 c stratification level: 1458000
724.44/727.33 c bounds 3933767 >= -70 @ 723.008
724.44/727.33 c stratification level: 1409938
724.54/727.41 c bounds 3933573 >= -70 @ 723.08
724.54/727.41 c stratification level: 1362944
724.64/727.57 c bounds 3930887 >= -70 @ 723.242
724.64/727.57 c stratification level: 1317006
726.02/728.90 c #Conflicts: 92000 | #Constraints: 11248
726.02/728.90 c bounds 3929919 >= -70 @ 724.564
726.02/728.90 c stratification level: 1272112
731.28/734.21 c #Conflicts: 93000 | #Constraints: 12249
731.28/734.21 c bounds 3928635 >= -70 @ 729.809
731.28/734.21 c stratification level: 1228250
769.52/772.87 c #Conflicts: 94000 | #Constraints: 13250
769.52/772.87 c #Conflicts: 95000 | #Constraints: 14250
769.52/772.87 c #Conflicts: 96000 | #Constraints: 15250
769.52/772.87 c INPROCESSING
769.52/772.87 c GARBAGE COLLECT
769.52/772.87 c #Conflicts: 97000 | #Constraints: 10035
769.52/772.87 c #Conflicts: 98000 | #Constraints: 11035
769.52/772.87 c bounds 3923867 >= -70 @ 768.005
769.52/772.87 c stratification level: 1185408
780.12/783.52 c #Conflicts: 99000 | #Constraints: 12036
780.12/783.52 c bounds 3922099 >= -70 @ 778.537
780.12/783.52 c stratification level: 1143574
780.22/783.69 c bounds 3920669 >= -70 @ 778.706
780.22/783.69 c stratification level: 1102736
781.31/784.71 c bounds 3916043 >= -70 @ 779.708
781.31/784.71 c stratification level: 1062882
782.29/785.78 c bounds 3915613 >= -70 @ 780.774
782.29/785.78 c stratification level: 1024000
782.88/786.33 c bounds 3902967 >= -70 @ 781.312
782.88/786.33 c stratification level: 986078
783.69/787.13 c bounds 3901165 >= -70 @ 782.099
783.69/787.13 c stratification level: 949104
784.28/787.74 c bounds 3898405 >= -70 @ 782.706
784.28/787.74 c stratification level: 913066
784.48/787.94 c bounds 3895719 >= -70 @ 782.898
784.48/787.94 c stratification level: 877952
789.33/792.80 c #Conflicts: 100000 | #Constraints: 13044
789.33/792.80 c bounds 3895549 >= -70 @ 787.712
789.33/792.80 c stratification level: 843750
789.63/793.17 c bounds 3892983 >= -70 @ 788.069
789.63/793.17 c stratification level: 810448
792.69/796.25 c bounds 3892789 >= -70 @ 791.118
792.69/796.25 c stratification level: 778034
1492.05/1502.27 c #Conflicts: 101000 | #Constraints: 14047
1492.05/1502.27 c #Conflicts: 102000 | #Constraints: 15047
1492.05/1502.27 c #Conflicts: 103000 | #Constraints: 16047
1492.05/1502.27 c INPROCESSING
1492.05/1502.27 c GARBAGE COLLECT
1492.05/1502.27 c #Conflicts: 104000 | #Constraints: 10620
1492.05/1502.27 c #Conflicts: 105000 | #Constraints: 11620
1492.05/1502.27 c #Conflicts: 106000 | #Constraints: 12620
1492.05/1502.27 c #Conflicts: 107000 | #Constraints: 13620
1492.05/1502.27 c #Conflicts: 108000 | #Constraints: 14620
1492.05/1502.27 c #Conflicts: 109000 | #Constraints: 15620
1492.05/1502.27 c #Conflicts: 110000 | #Constraints: 16620
1492.05/1502.27 c INPROCESSING
1492.05/1502.27 c GARBAGE COLLECT
1492.05/1502.27 c #Conflicts: 111000 | #Constraints: 10996
1492.05/1502.27 c #Conflicts: 112000 | #Constraints: 11996
1492.05/1502.27 c #Conflicts: 113000 | #Constraints: 12996
1492.05/1502.27 c #Conflicts: 114000 | #Constraints: 13996
1492.05/1502.27 c #Conflicts: 115000 | #Constraints: 14996
1492.05/1502.27 c #Conflicts: 116000 | #Constraints: 15996
1492.05/1502.27 c #Conflicts: 117000 | #Constraints: 16996
1492.05/1502.27 c INPROCESSING
1492.05/1502.27 c GARBAGE COLLECT
1492.05/1502.27 c #Conflicts: 118000 | #Constraints: 11208
1492.05/1502.27 c #Conflicts: 119000 | #Constraints: 12208
1492.05/1502.27 c #Conflicts: 120000 | #Constraints: 13208
1492.05/1502.27 c #Conflicts: 121000 | #Constraints: 14208
1492.05/1502.27 c #Conflicts: 122000 | #Constraints: 15208
1492.05/1502.27 c #Conflicts: 123000 | #Constraints: 16208
1492.05/1502.27 c #Conflicts: 124000 | #Constraints: 17208
1492.05/1502.27 c INPROCESSING
1492.05/1502.27 c GARBAGE COLLECT
1492.05/1502.27 c #Conflicts: 125000 | #Constraints: 11200
1492.05/1502.27 c #Conflicts: 126000 | #Constraints: 12200
1492.05/1502.27 c #Conflicts: 127000 | #Constraints: 13200
1492.05/1502.27 c #Conflicts: 128000 | #Constraints: 14200
1492.05/1502.27 c #Conflicts: 129000 | #Constraints: 15200
1492.05/1502.27 c #Conflicts: 130000 | #Constraints: 16200
1492.05/1502.27 c #Conflicts: 131000 | #Constraints: 17200
1492.05/1502.27 c INPROCESSING
1492.05/1502.27 c GARBAGE COLLECT
1492.05/1502.27 c #Conflicts: 132000 | #Constraints: 11005
1492.05/1502.27 c #Conflicts: 133000 | #Constraints: 12005
1492.05/1502.27 c #Conflicts: 134000 | #Constraints: 13005
1492.05/1502.27 c #Conflicts: 135000 | #Constraints: 14005
1492.05/1502.27 c #Conflicts: 136000 | #Constraints: 15005
1492.05/1502.27 c #Conflicts: 137000 | #Constraints: 16005
1492.05/1502.27 c #Conflicts: 138000 | #Constraints: 17005
1492.05/1502.27 c bounds 3892789 >= 777964 @ 1200.54
1492.05/1502.27 c #Conflicts: 139000 | #Constraints: 18006
1492.05/1502.27 c INPROCESSING
1492.05/1502.27 c GARBAGE COLLECT
1492.05/1502.27 c #Conflicts: 140000 | #Constraints: 11601
1492.05/1502.27 c #Conflicts: 141000 | #Constraints: 12601
1492.05/1502.27 c #Conflicts: 142000 | #Constraints: 13601
1492.05/1502.27 c #Conflicts: 143000 | #Constraints: 14601
1492.05/1502.27 c #Conflicts: 144000 | #Constraints: 15601
1492.05/1502.27 c #Conflicts: 145000 | #Constraints: 16601
1492.05/1502.27 c #Conflicts: 146000 | #Constraints: 17601
1492.05/1502.27 c #Conflicts: 147000 | #Constraints: 18601
1492.05/1502.27 c INPROCESSING
1492.05/1502.27 c GARBAGE COLLECT
1492.05/1502.27 c #Conflicts: 148000 | #Constraints: 11974
1492.05/1502.27 c #Conflicts: 149000 | #Constraints: 12974
1492.05/1502.27 c #Conflicts: 150000 | #Constraints: 13974
1492.05/1502.27 c #Conflicts: 151000 | #Constraints: 14974
1492.05/1502.27 c #Conflicts: 152000 | #Constraints: 15974
1492.05/1502.27 c #Conflicts: 153000 | #Constraints: 16974
1492.05/1502.27 c #Conflicts: 154000 | #Constraints: 17974
1492.05/1502.27 c #Conflicts: 155000 | #Constraints: 18974
1492.05/1502.27 c INPROCESSING
1492.05/1502.27 c GARBAGE COLLECT
1492.05/1502.27 c #Conflicts: 156000 | #Constraints: 12206
1492.05/1502.27 c #Conflicts: 157000 | #Constraints: 13206
1492.05/1502.27 c #Conflicts: 158000 | #Constraints: 14206
1492.05/1502.27 c #Conflicts: 159000 | #Constraints: 15206
1492.05/1502.27 c #Conflicts: 160000 | #Constraints: 16206
1492.05/1502.27 c #Conflicts: 161000 | #Constraints: 17206
1492.05/1502.27 c #Conflicts: 162000 | #Constraints: 18206
1492.05/1502.27 c #Conflicts: 163000 | #Constraints: 19206
1492.05/1502.27 c INPROCESSING
1492.05/1502.27 c GARBAGE COLLECT
1492.05/1502.27 c #Conflicts: 164000 | #Constraints: 12179
1492.05/1502.27 c #Conflicts: 165000 | #Constraints: 13179
1492.05/1502.27 c #Conflicts: 166000 | #Constraints: 14179
1492.05/1502.27 c #Conflicts: 167000 | #Constraints: 15179
1492.05/1502.27 c #Conflicts: 168000 | #Constraints: 16179
1492.05/1502.27 c #Conflicts: 169000 | #Constraints: 17179
1492.05/1502.27 c bounds 3892789 >= 1557306 @ 1472.2
1492.05/1502.27 c #Conflicts: 170000 | #Constraints: 18180
1492.05/1502.27 c #Conflicts: 171000 | #Constraints: 19180
1492.05/1502.27 c INPROCESSING
1492.05/1502.27 c GARBAGE COLLECT
2108.43/2124.49 c #Conflicts: 172000 | #Constraints: 12038
2108.43/2124.49 c #Conflicts: 173000 | #Constraints: 13038
2108.43/2124.49 c #Conflicts: 174000 | #Constraints: 14038
2108.43/2124.49 c #Conflicts: 175000 | #Constraints: 15038
2108.43/2124.49 c #Conflicts: 176000 | #Constraints: 16038
2108.43/2124.49 c #Conflicts: 177000 | #Constraints: 17038
2108.43/2124.49 c #Conflicts: 178000 | #Constraints: 18038
2108.43/2124.49 c #Conflicts: 179000 | #Constraints: 19038
2108.43/2124.49 c #Conflicts: 180000 | #Constraints: 20038
2108.43/2124.49 c INPROCESSING
2108.43/2124.49 c GARBAGE COLLECT
2108.43/2124.49 c #Conflicts: 181000 | #Constraints: 12652
2108.43/2124.49 c #Conflicts: 182000 | #Constraints: 13652
2108.43/2124.49 c #Conflicts: 183000 | #Constraints: 14652
2108.43/2124.49 c #Conflicts: 184000 | #Constraints: 15652
2108.43/2124.49 c #Conflicts: 185000 | #Constraints: 16652
2108.43/2124.49 c #Conflicts: 186000 | #Constraints: 17652
2108.43/2124.49 c #Conflicts: 187000 | #Constraints: 18652
2108.43/2124.49 c #Conflicts: 188000 | #Constraints: 19652
2108.43/2124.49 c #Conflicts: 189000 | #Constraints: 20652
2108.43/2124.49 c INPROCESSING
2108.43/2124.49 c GARBAGE COLLECT
2108.43/2124.49 c #Conflicts: 190000 | #Constraints: 13064
2108.43/2124.49 c #Conflicts: 191000 | #Constraints: 14064
2108.43/2124.49 c #Conflicts: 192000 | #Constraints: 15064
2108.43/2124.49 c #Conflicts: 193000 | #Constraints: 16064
2108.43/2124.49 c #Conflicts: 194000 | #Constraints: 17064
2108.43/2124.49 c #Conflicts: 195000 | #Constraints: 18064
2108.43/2124.49 c #Conflicts: 196000 | #Constraints: 19064
2108.43/2124.49 c #Conflicts: 197000 | #Constraints: 20064
2108.43/2124.49 c #Conflicts: 198000 | #Constraints: 21064
2108.43/2124.49 c INPROCESSING
2108.43/2124.49 c GARBAGE COLLECT
2108.43/2124.49 c #Conflicts: 199000 | #Constraints: 13294
2108.43/2124.49 c #Conflicts: 200000 | #Constraints: 14294
2108.43/2124.49 c #Conflicts: 201000 | #Constraints: 15294
2108.43/2124.49 c #Conflicts: 202000 | #Constraints: 16294
2108.43/2124.49 c #Conflicts: 203000 | #Constraints: 17294
2108.43/2124.49 c #Conflicts: 204000 | #Constraints: 18294
2108.43/2124.49 c #Conflicts: 205000 | #Constraints: 19294
2108.43/2124.49 c #Conflicts: 206000 | #Constraints: 20294
2108.43/2124.49 c #Conflicts: 207000 | #Constraints: 21294
2108.43/2124.49 c INPROCESSING
2108.43/2124.49 c GARBAGE COLLECT
2108.43/2124.49 c #Conflicts: 208000 | #Constraints: 13269
2108.43/2124.49 c #Conflicts: 209000 | #Constraints: 14269
2108.43/2124.49 c #Conflicts: 210000 | #Constraints: 15269
2108.43/2124.49 c #Conflicts: 211000 | #Constraints: 16269
2108.43/2124.49 c #Conflicts: 212000 | #Constraints: 17269
2108.43/2124.49 c #Conflicts: 213000 | #Constraints: 18269
2108.43/2124.49 c #Conflicts: 214000 | #Constraints: 19269
2108.43/2124.49 c #Conflicts: 215000 | #Constraints: 20269
2108.43/2124.49 c bounds 3892789 >= 2381962 @ 1873.03
2108.43/2124.49 c #Conflicts: 216000 | #Constraints: 21270
2108.43/2124.49 c INPROCESSING
2108.43/2124.49 c GARBAGE COLLECT
2108.43/2124.49 c #Conflicts: 217000 | #Constraints: 13083
2108.43/2124.49 c #Conflicts: 218000 | #Constraints: 14083
2108.43/2124.49 c #Conflicts: 219000 | #Constraints: 15083
2108.43/2124.49 c #Conflicts: 220000 | #Constraints: 16083
2108.43/2124.49 c #Conflicts: 221000 | #Constraints: 17083
2108.43/2124.49 c #Conflicts: 222000 | #Constraints: 18083
2108.43/2124.49 c #Conflicts: 223000 | #Constraints: 19083
2108.43/2124.49 c #Conflicts: 224000 | #Constraints: 20083
2108.43/2124.49 c #Conflicts: 225000 | #Constraints: 21083
2108.43/2124.49 c #Conflicts: 226000 | #Constraints: 22083
2108.43/2124.49 c INPROCESSING
2108.43/2124.49 c GARBAGE COLLECT
2108.43/2124.49 c #Conflicts: 227000 | #Constraints: 13689
2108.43/2124.49 c #Conflicts: 228000 | #Constraints: 14689
2108.43/2124.49 c #Conflicts: 229000 | #Constraints: 15689
2108.43/2124.49 c #Conflicts: 230000 | #Constraints: 16689
2108.43/2124.49 c #Conflicts: 231000 | #Constraints: 17689
2108.43/2124.49 c #Conflicts: 232000 | #Constraints: 18689
2108.43/2124.49 c #Conflicts: 233000 | #Constraints: 19689
2108.43/2124.49 c #Conflicts: 234000 | #Constraints: 20689
2108.43/2124.49 c #Conflicts: 235000 | #Constraints: 21689
2108.43/2124.49 c #Conflicts: 236000 | #Constraints: 22689
2108.43/2124.49 c INPROCESSING
2108.43/2124.49 c GARBAGE COLLECT
2108.43/2124.49 c #Conflicts: 237000 | #Constraints: 14093
2108.43/2124.49 c #Conflicts: 238000 | #Constraints: 15093
2108.43/2124.49 c #Conflicts: 239000 | #Constraints: 16093
2108.43/2124.49 c #Conflicts: 240000 | #Constraints: 17093
2108.43/2124.49 c #Conflicts: 241000 | #Constraints: 18093
2108.43/2124.49 c #Conflicts: 242000 | #Constraints: 19093
2108.43/2124.49 c #Conflicts: 243000 | #Constraints: 20093
2108.43/2124.49 c #Conflicts: 244000 | #Constraints: 21093
2108.43/2124.49 c #Conflicts: 245000 | #Constraints: 22093
2521.55/2541.49 c #Conflicts: 246000 | #Constraints: 23093
2521.55/2541.49 c INPROCESSING
2521.55/2541.49 c GARBAGE COLLECT
2521.55/2541.49 c #Conflicts: 247000 | #Constraints: 14283
2521.55/2541.49 c #Conflicts: 248000 | #Constraints: 15283
2521.55/2541.49 c #Conflicts: 249000 | #Constraints: 16283
2521.55/2541.49 c #Conflicts: 250000 | #Constraints: 17283
2521.55/2541.49 c #Conflicts: 251000 | #Constraints: 18283
2521.55/2541.49 c #Conflicts: 252000 | #Constraints: 19283
2521.55/2541.49 c #Conflicts: 253000 | #Constraints: 20283
2521.55/2541.49 c #Conflicts: 254000 | #Constraints: 21283
2521.55/2541.49 c #Conflicts: 255000 | #Constraints: 22283
2521.55/2541.49 c #Conflicts: 256000 | #Constraints: 23283
2521.55/2541.49 c INPROCESSING
2521.55/2541.49 c GARBAGE COLLECT
2521.55/2541.49 c #Conflicts: 257000 | #Constraints: 14241
2521.55/2541.49 c #Conflicts: 258000 | #Constraints: 15241
2521.55/2541.49 c #Conflicts: 259000 | #Constraints: 16241
2521.55/2541.49 c #Conflicts: 260000 | #Constraints: 17241
2521.55/2541.49 c #Conflicts: 261000 | #Constraints: 18241
2521.55/2541.49 c #Conflicts: 262000 | #Constraints: 19241
2521.55/2541.49 c #Conflicts: 263000 | #Constraints: 20241
2521.55/2541.49 c #Conflicts: 264000 | #Constraints: 21241
2521.55/2541.49 c #Conflicts: 265000 | #Constraints: 22241
2521.55/2541.49 c #Conflicts: 266000 | #Constraints: 23241
2521.55/2541.49 c INPROCESSING
2521.55/2541.49 c GARBAGE COLLECT
2521.55/2541.49 c #Conflicts: 267000 | #Constraints: 14099
2521.55/2541.49 c #Conflicts: 268000 | #Constraints: 15099
2521.55/2541.49 c #Conflicts: 269000 | #Constraints: 16099
2521.55/2541.49 c #Conflicts: 270000 | #Constraints: 17099
2521.55/2541.49 c #Conflicts: 271000 | #Constraints: 18099
2521.55/2541.49 c #Conflicts: 272000 | #Constraints: 19099
2521.55/2541.49 c #Conflicts: 273000 | #Constraints: 20099
2521.55/2541.49 c #Conflicts: 274000 | #Constraints: 21099
2521.55/2541.49 c #Conflicts: 275000 | #Constraints: 22099
2521.55/2541.49 c #Conflicts: 276000 | #Constraints: 23099
2521.55/2541.49 c #Conflicts: 277000 | #Constraints: 24099
2521.55/2541.49 c INPROCESSING
2521.55/2541.49 c GARBAGE COLLECT
2521.55/2541.49 c #Conflicts: 278000 | #Constraints: 14682
2521.55/2541.49 c #Conflicts: 279000 | #Constraints: 15682
2521.55/2541.49 c #Conflicts: 280000 | #Constraints: 16682
2521.55/2541.49 c #Conflicts: 281000 | #Constraints: 17682
2521.55/2541.49 c #Conflicts: 282000 | #Constraints: 18682
2521.55/2541.49 c #Conflicts: 283000 | #Constraints: 19682
2521.55/2541.49 c #Conflicts: 284000 | #Constraints: 20682
2521.55/2541.49 c #Conflicts: 285000 | #Constraints: 21682
2521.55/2541.49 c #Conflicts: 286000 | #Constraints: 22682
2521.55/2541.49 c #Conflicts: 287000 | #Constraints: 23682
2521.55/2541.49 c #Conflicts: 288000 | #Constraints: 24682
2521.55/2541.49 c INPROCESSING
2521.55/2541.49 c GARBAGE COLLECT
2521.55/2541.49 c #Conflicts: 289000 | #Constraints: 15079
2521.55/2541.49 c #Conflicts: 290000 | #Constraints: 16079
2521.55/2541.49 c #Conflicts: 291000 | #Constraints: 17079
2521.55/2541.49 c #Conflicts: 292000 | #Constraints: 18079
2521.55/2541.49 c #Conflicts: 293000 | #Constraints: 19079
2521.55/2541.49 c #Conflicts: 294000 | #Constraints: 20079
2521.55/2541.49 c #Conflicts: 295000 | #Constraints: 21079
2521.55/2541.49 c #Conflicts: 296000 | #Constraints: 22079
2521.55/2541.49 c #Conflicts: 297000 | #Constraints: 23079
2521.55/2541.49 c #Conflicts: 298000 | #Constraints: 24079
2521.55/2541.49 c #Conflicts: 299000 | #Constraints: 25079
2521.55/2541.49 c INPROCESSING
2521.55/2541.49 c GARBAGE COLLECT
2521.55/2541.49 c #Conflicts: 300000 | #Constraints: 15324
2521.55/2541.49 c #Conflicts: 301000 | #Constraints: 16324
2521.55/2541.49 c #Conflicts: 302000 | #Constraints: 17324
2521.55/2541.49 c #Conflicts: 303000 | #Constraints: 18324
2521.55/2541.49 c #Conflicts: 304000 | #Constraints: 19324
2521.55/2541.49 c #Conflicts: 305000 | #Constraints: 20324
2521.55/2541.49 c #Conflicts: 306000 | #Constraints: 21324
2521.55/2541.49 c #Conflicts: 307000 | #Constraints: 22324
2521.55/2541.49 c #Conflicts: 308000 | #Constraints: 23324
2521.55/2541.49 c #Conflicts: 309000 | #Constraints: 24324
2521.55/2541.49 c #Conflicts: 310000 | #Constraints: 25324
2521.55/2541.49 c INPROCESSING
2521.55/2541.49 c GARBAGE COLLECT
2521.55/2541.49 c #Conflicts: 311000 | #Constraints: 15243
2521.55/2541.49 c #Conflicts: 312000 | #Constraints: 16243
2521.55/2541.49 c #Conflicts: 313000 | #Constraints: 17243
2521.55/2541.49 c #Conflicts: 314000 | #Constraints: 18243
2521.55/2541.49 c #Conflicts: 315000 | #Constraints: 19243
2521.55/2541.49 c #Conflicts: 316000 | #Constraints: 20243
2521.55/2541.49 c #Conflicts: 317000 | #Constraints: 21243
2521.55/2541.49 c #Conflicts: 318000 | #Constraints: 22243
2521.55/2541.49 c #Conflicts: 319000 | #Constraints: 23243
3318.00/3341.76 c #Conflicts: 320000 | #Constraints: 24243
3318.00/3341.76 c #Conflicts: 321000 | #Constraints: 25243
3318.00/3341.76 c INPROCESSING
3318.00/3341.76 c GARBAGE COLLECT
3318.00/3341.76 c #Conflicts: 322000 | #Constraints: 15079
3318.00/3341.76 c #Conflicts: 323000 | #Constraints: 16079
3318.00/3341.76 c #Conflicts: 324000 | #Constraints: 17079
3318.00/3341.76 c #Conflicts: 325000 | #Constraints: 18079
3318.00/3341.76 c #Conflicts: 326000 | #Constraints: 19079
3318.00/3341.76 c #Conflicts: 327000 | #Constraints: 20079
3318.00/3341.76 c #Conflicts: 328000 | #Constraints: 21079
3318.00/3341.76 c #Conflicts: 329000 | #Constraints: 22079
3318.00/3341.76 c #Conflicts: 330000 | #Constraints: 23079
3318.00/3341.76 c #Conflicts: 331000 | #Constraints: 24079
3318.00/3341.76 c #Conflicts: 332000 | #Constraints: 25079
3318.00/3341.76 c #Conflicts: 333000 | #Constraints: 26079
3318.00/3341.76 c INPROCESSING
3318.00/3341.76 c GARBAGE COLLECT
3318.00/3341.76 c #Conflicts: 334000 | #Constraints: 15702
3318.00/3341.76 c #Conflicts: 335000 | #Constraints: 16702
3318.00/3341.76 c #Conflicts: 336000 | #Constraints: 17702
3318.00/3341.76 c #Conflicts: 337000 | #Constraints: 18702
3318.00/3341.76 c #Conflicts: 338000 | #Constraints: 19702
3318.00/3341.76 c #Conflicts: 339000 | #Constraints: 20702
3318.00/3341.76 c #Conflicts: 340000 | #Constraints: 21702
3318.00/3341.76 c #Conflicts: 341000 | #Constraints: 22702
3318.00/3341.76 c #Conflicts: 342000 | #Constraints: 23702
3318.00/3341.76 c #Conflicts: 343000 | #Constraints: 24702
3318.00/3341.76 c #Conflicts: 344000 | #Constraints: 25702
3318.00/3341.76 c #Conflicts: 345000 | #Constraints: 26702
3318.00/3341.76 c INPROCESSING
3318.00/3341.76 c GARBAGE COLLECT
3318.00/3341.76 c #Conflicts: 346000 | #Constraints: 16156
3318.00/3341.76 c #Conflicts: 347000 | #Constraints: 17156
3318.00/3341.76 c #Conflicts: 348000 | #Constraints: 18156
3318.00/3341.76 c #Conflicts: 349000 | #Constraints: 19156
3318.00/3341.76 c #Conflicts: 350000 | #Constraints: 20156
3318.00/3341.76 c #Conflicts: 351000 | #Constraints: 21156
3318.00/3341.76 c #Conflicts: 352000 | #Constraints: 22156
3318.00/3341.76 c #Conflicts: 353000 | #Constraints: 23156
3318.00/3341.76 c #Conflicts: 354000 | #Constraints: 24156
3318.00/3341.76 c #Conflicts: 355000 | #Constraints: 25156
3318.00/3341.76 c #Conflicts: 356000 | #Constraints: 26156
3318.00/3341.76 c #Conflicts: 357000 | #Constraints: 27156
3318.00/3341.76 c INPROCESSING
3318.00/3341.76 c GARBAGE COLLECT
3318.00/3341.76 c #Conflicts: 358000 | #Constraints: 16373
3318.00/3341.76 c #Conflicts: 359000 | #Constraints: 17373
3318.00/3341.76 c #Conflicts: 360000 | #Constraints: 18373
3318.00/3341.76 c #Conflicts: 361000 | #Constraints: 19373
3318.00/3341.76 c #Conflicts: 362000 | #Constraints: 20373
3318.00/3341.76 c #Conflicts: 363000 | #Constraints: 21373
3318.00/3341.76 c #Conflicts: 364000 | #Constraints: 22373
3318.00/3341.76 c #Conflicts: 365000 | #Constraints: 23373
3318.00/3341.76 c #Conflicts: 366000 | #Constraints: 24373
3318.00/3341.76 c #Conflicts: 367000 | #Constraints: 25373
3318.00/3341.76 c #Conflicts: 368000 | #Constraints: 26373
3318.00/3341.76 c #Conflicts: 369000 | #Constraints: 27373
3318.00/3341.76 c INPROCESSING
3318.00/3341.76 c GARBAGE COLLECT
3318.00/3341.76 c #Conflicts: 370000 | #Constraints: 16345
3318.00/3341.76 c #Conflicts: 371000 | #Constraints: 17345
3318.00/3341.76 c #Conflicts: 372000 | #Constraints: 18345
3318.00/3341.76 c #Conflicts: 373000 | #Constraints: 19345
3318.00/3341.76 c #Conflicts: 374000 | #Constraints: 20345
3318.00/3341.76 c #Conflicts: 375000 | #Constraints: 21345
3318.00/3341.76 c #Conflicts: 376000 | #Constraints: 22345
3318.00/3341.76 c #Conflicts: 377000 | #Constraints: 23345
3318.00/3341.76 c #Conflicts: 378000 | #Constraints: 24345
3318.00/3341.76 c #Conflicts: 379000 | #Constraints: 25345
3318.00/3341.76 c #Conflicts: 380000 | #Constraints: 26345
3318.00/3341.76 c #Conflicts: 381000 | #Constraints: 27345
3318.00/3341.76 c INPROCESSING
3318.00/3341.76 c GARBAGE COLLECT
3318.00/3341.76 c #Conflicts: 382000 | #Constraints: 16123
3318.00/3341.76 c #Conflicts: 383000 | #Constraints: 17123
3318.00/3341.76 c #Conflicts: 384000 | #Constraints: 18123
3318.00/3341.76 c #Conflicts: 385000 | #Constraints: 19123
3318.00/3341.76 c #Conflicts: 386000 | #Constraints: 20123
3318.00/3341.76 c #Conflicts: 387000 | #Constraints: 21123
3318.00/3341.76 c #Conflicts: 388000 | #Constraints: 22123
3318.00/3341.76 c #Conflicts: 389000 | #Constraints: 23123
3318.00/3341.76 c #Conflicts: 390000 | #Constraints: 24123
3318.00/3341.76 c #Conflicts: 391000 | #Constraints: 25123
3318.00/3341.76 c bounds 3892789 >= 3203156 @ 3302.32
3318.00/3341.76 c #Conflicts: 392000 | #Constraints: 26161
3318.00/3341.76 c #Conflicts: 393000 | #Constraints: 27161
3318.00/3341.76 c #Conflicts: 394000 | #Constraints: 28161
3323.39/3347.13 c INPROCESSING
3323.39/3347.13 c GARBAGE COLLECT
3323.39/3347.13 c #Conflicts: 395000 | #Constraints: 16484
3323.39/3347.13 c bounds 3892789 >= 3203156 @ 3319.22
3323.39/3347.13 d SOLVEDBY oll
3323.39/3347.13 c cpu time 3319.22 s
3323.39/3347.13 c deterministic time 233823821756 2.34e+11
3323.39/3347.13 c optimization time 0.06768 s
3323.39/3347.13 c total solve time 3019.99 s
3323.39/3347.13 c core-guided solve time 3019.99 s
3323.39/3347.13 c propagation time 1866.13 s
3323.39/3347.13 c conflict analysis time 1115.45 s
3323.39/3347.13 c propagations 209861300
3323.39/3347.13 c resolve steps 25613696
3323.39/3347.13 c decisions 2094404
3323.39/3347.13 c conflicts 395679
3323.39/3347.13 c restarts 955
3323.39/3347.13 c inprocessing phases 54
3323.39/3347.13 c input clauses 2593
3323.39/3347.13 c input cardinalities 7
3323.39/3347.13 c input general constraints 2684
3323.39/3347.13 c input average constraint length 43.39
3323.39/3347.13 c input average constraint degree 27386446.27
3323.39/3347.13 c learned clauses 197329
3323.39/3347.13 c learned cardinalities 447
3323.39/3347.13 c learned general constraints 197902
3323.39/3347.13 c learned average constraint length 1231.44
3323.39/3347.13 c learned average constraint degree 525771889.80
3323.39/3347.13 c watched constraints 91585
3323.39/3347.13 c counting constraints 109001
3323.39/3347.13 c gcd simplifications 33341
3323.39/3347.13 c detected cardinalities 26
3323.39/3347.13 c weakened non-implied lits 91482117
3323.39/3347.13 c weakened non-implying lits 974464
3323.39/3347.13 c original variables 9940
3323.39/3347.13 c clausal propagations 168574077
3323.39/3347.13 c cardinality propagations 1349700
3323.39/3347.13 c watched propagations 2081731
3323.39/3347.13 c counting propagations 37423814
3323.39/3347.13 c watch lookups 61173373295
3323.39/3347.13 c watch backjump lookups 60318693706
3323.39/3347.13 c watch checks 46959916989
3323.39/3347.13 c propagation checks 62866800599
3323.39/3347.13 c constraint additions 2080732330
3323.39/3347.13 c trail pops 212349132
3323.39/3347.13 c formula constraints 5188
3323.39/3347.13 c learned constraints 395678
3323.39/3347.13 c bound constraints 96
3323.39/3347.13 c core-guided constraints 0
3323.39/3347.13 c encountered formula constraints 22553763
3323.39/3347.13 c encountered learned constraints 3452649
3323.39/3347.13 c encountered bound constraints 2963
3323.39/3347.13 c encountered core-guided constraints 0
3323.39/3347.13 c LP total time 0 s
3323.39/3347.13 c LP solve time 0 s
3323.39/3347.13 c LP constraints added 0
3323.39/3347.13 c LP constraints removed 0
3323.39/3347.13 c LP pivots internal 0
3323.39/3347.13 c LP pivots root 0
3323.39/3347.13 c LP calls 0
3323.39/3347.13 c LP optimalities 0
3323.39/3347.13 c LP no pivot count 0
3323.39/3347.13 c LP infeasibilities 0
3323.39/3347.13 c LP valid Farkas constraints 0
3323.39/3347.13 c LP learned Farkas constraints 0
3323.39/3347.13 c LP basis resets 0
3323.39/3347.13 c LP cycling count 0
3323.39/3347.13 c LP singular count 0
3323.39/3347.13 c LP no primal count 0
3323.39/3347.13 c LP no farkas count 0
3323.39/3347.13 c LP other issue count 0
3323.39/3347.13 c LP Gomory cuts 0
3323.39/3347.13 c LP learned cuts 0
3323.39/3347.13 c LP deleted cuts 0
3323.39/3347.13 c LP encountered Gomory constraints 0
3323.39/3347.13 c LP encountered Farkas constraints 0
3323.39/3347.13 c LP encountered learned Farkas constraints 0
3323.39/3347.13 c CG auxiliary variables introduced 0
3323.39/3347.13 c CG solutions found 54
3323.39/3347.13 c CG cores constructed 4
3323.39/3347.13 c CG core cardinality constraints returned 0
3323.39/3347.13 c CG unit cores 0
3323.39/3347.13 c CG single cores 4
3323.39/3347.13 c CG blocks removed during cardinality reduction 0
3323.39/3347.13 c CG first core best 0
3323.39/3347.13 c CG decision core best 0
3323.39/3347.13 c CG core reduction tie 0
3323.39/3347.13 c CG core degree average 1.00
3323.39/3347.13 c CG core slack average 191.75
3323.39/3347.13 c CG exhausted 0
3323.39/3347.13 c CG exhaust time 0 s
3323.39/3347.13 c CG trimmed 0
3323.39/3347.13 c CG trim time 0.018851 s
3323.39/3347.13 c CG minimized 0
3323.39/3347.13 c CG minimize time 0 s
3323.39/3347.13 c CG am1 prop time 0.001351 s
3323.39/3347.13 c CG # am1s reformulated 0
3323.39/3347.13 c CG lower bound derived from am1s 0
3323.39/3347.13 c CG # clausal cores 4
3323.39/3347.13 c CG # cardinality cores 0
3323.39/3347.13 c CG # pb cores 0
3323.39/3347.13 c CG # pb reforms 0
3323.39/3347.13 c CG # cores discarded because of pb reform 0
3323.39/3347.13 d LOWERBOUND 3203156
3323.39/3347.13 d NCORES 4
3323.39/3347.13 d NPBCORES 0
3323.39/3347.13 d NPBREFORM 0
3323.39/3347.13 d NTRIMMED 0
3323.39/3347.13 d NEXHAUSTED 0
3323.39/3347.13 d NAM1S 0
3323.39/3347.13 d AM1LB 0
3323.39/3347.13 c [Papilo Statistics]
3323.39/3347.13 c prepro time 0.0290854s
3323.39/3347.13 c # tsx applied 12355
3323.39/3347.13 c # tsx conflicts 0
3323.39/3347.13 c # bound changes 140
3323.39/3347.13 c # side changes 2415
3323.39/3347.13 c # coef changes 31395
3323.39/3347.13 c # rounds 3
3323.39/3347.13 c # deted vars 4970
3323.39/3347.13 c # deted constrs 9662
3323.39/3347.13 c # consecutive rounds of only bound changes 0
3323.39/3347.13 c [STEP] postprocessing with Papilo
3323.39/3347.13 o 3892789
3323.39/3347.13 s OPTIMUM FOUND
3323.39/3347.13 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 x2814 x2815 -x2816 x2817 -x2818 -x2819 -x2820 x2821 -x2822 x2823 x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 x2833 x2834 -x2835 x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851 x2852 -x2853 x2854 x2855 -x2856 x2857 -x2858 x2859 -x2860 x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3572 -x3573 -x3574 x3575 -x3576 -x3577 -x3578 x3579 -x3580 x3581 -x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 x3589 x3590 -x3591 x3592 -x3593 -x3594 -x3595 x3596 x3597 -x3598 -x3599 x3600 x3601 -x3602 -x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 x3610 x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 x3630 -x3631 -x3632 x3633 -x3634 x3635 x3636 x3637 -x3638 -x3639 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 x4834 -x4835 x4836 -x4837 -x4838 -x4839 -x4840 -x4841 x4842 -x4843 -x4844 -x4845 x4846 -x4847 x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 x4858 x4859 -x4860 -x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 x4868 x4869 -x4870 -x4871 x4872 x4873 x4874 x4875 -x4876 x4877 -x4878 x4879 x4880 -x4881 -x4882 x4883 -x4884 -x4885 -x4886 -x4887 x4888 -x4889 -x4890 -x4891 x4892 -x4893 -x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (57055 MiB free)
memory of node 1: 64473 MiB (60901 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454946-1721473699/watcher-4454946-1721473699 -o /tmp/evaluation-result-4454946-1721473699/solver-4454946-1721473699 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721470098-1062223 --watchdog 3760 mixed-bag HOME/instance-4454946-1721473699.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=1064267, runsolver pid=1064264
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.11 4.12 4.09 4/252 1064268
/proc/meminfo: memFree=125372864/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=110820 memory=44512 CPUtime=0.1 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 10113 0 0 0 9 1 0 0 20 0 1 0 199540785 113479680 11128 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 27705 11128 3649 3002 0 11454 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 110820 KiB
Current children cumulated memory: 44512 KiB
[startup+0.205518 s]*
/proc/loadavg: 4.11 4.12 4.09 5/249 1064278
/proc/meminfo: memFree=125347272/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=133876 memory=66232 CPUtime=0.2 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 15423 0 0 0 18 2 0 0 20 0 1 0 199540785 137089024 16558 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 33469 16558 3809 3002 0 17218 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 133876 KiB
Current children cumulated memory: 66232 KiB
[startup+0.305531 s]*
/proc/loadavg: 4.11 4.12 4.09 5/252 1064282
/proc/meminfo: memFree=125345132/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=143508 memory=73224 CPUtime=0.3 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 17263 0 0 0 28 2 0 0 20 0 1 0 199540785 146952192 18306 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 35877 18306 3809 3002 0 19626 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 143508 KiB
Current children cumulated memory: 73224 KiB
[startup+0.700233 s]
/proc/loadavg: 4.11 4.12 4.09 5/252 1064282
/proc/meminfo: memFree=125311180/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=179808 memory=101492 CPUtime=0.69 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 24801 0 0 0 66 3 0 0 20 0 1 0 199540785 184123392 25373 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 44952 25373 4015 3002 0 28701 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 179808 KiB
Current children cumulated memory: 101492 KiB
[startup+1.50024 s]
/proc/loadavg: 4.11 4.12 4.09 5/252 1064282
/proc/meminfo: memFree=125310072/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=180352 memory=102236 CPUtime=1.49 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 25002 0 0 0 146 3 0 0 20 0 1 0 199540785 184680448 25559 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 45088 25559 4015 3002 0 28837 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 180352 KiB
Current children cumulated memory: 102236 KiB
[startup+3.10572 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 1064314
/proc/meminfo: memFree=125133808/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=190392 memory=111204 CPUtime=3.08 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 27254 0 0 0 305 3 0 0 20 0 1 0 199540785 194961408 27801 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 47598 27801 4015 3002 0 31347 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 190392 KiB
Current children cumulated memory: 111204 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 1064314
/proc/meminfo: memFree=125075456/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=206872 memory=126128 CPUtime=6.27 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 31067 0 0 0 624 3 0 0 20 0 1 0 199540785 211836928 31532 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 51718 31532 4015 3002 0 35467 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 206872 KiB
Current children cumulated memory: 126128 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 1064316
/proc/meminfo: memFree=125041556/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=217628 memory=136404 CPUtime=12.65 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 33681 0 0 0 1261 4 0 0 20 0 1 0 199540785 222851072 34101 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 54407 34101 4015 3002 0 38156 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 217628 KiB
Current children cumulated memory: 136404 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 1064317
/proc/meminfo: memFree=124981928/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=241436 memory=159396 CPUtime=25.42 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 39424 0 0 0 2536 6 0 0 20 0 1 0 199540785 247230464 39849 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 60359 39849 4031 3002 0 44108 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 241436 KiB
Current children cumulated memory: 159396 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 1064322
/proc/meminfo: memFree=124924528/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=259736 memory=176588 CPUtime=50.96 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 43766 0 0 0 5087 9 0 0 20 0 1 0 199540785 265969664 44147 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 64934 44147 4031 3002 0 48683 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 259736 KiB
Current children cumulated memory: 176588 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 1064334
/proc/meminfo: memFree=124877196/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=259736 memory=176716 CPUtime=102 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 43846 0 0 0 10190 10 0 0 20 0 1 0 199540785 265969664 44179 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 64934 44179 4040 3002 0 48683 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 259736 KiB
Current children cumulated memory: 176716 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/256 1064345
/proc/meminfo: memFree=124834512/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=259736 memory=176716 CPUtime=161.83 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 43861 0 0 0 16173 10 0 0 20 0 1 0 199540785 265969664 44179 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 64934 44179 4040 3002 0 48683 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 259736 KiB
Current children cumulated memory: 176716 KiB
[startup+222.3 s]
/proc/loadavg: 4.40 4.19 4.11 5/256 1064355
/proc/meminfo: memFree=124812808/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=278144 memory=195176 CPUtime=221.67 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 48480 0 0 0 22155 12 0 0 20 0 1 0 199540785 284819456 48794 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 69536 48794 4040 3002 0 53285 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 278144 KiB
Current children cumulated memory: 195176 KiB
[startup+282.3 s]
/proc/loadavg: 4.36 4.21 4.13 5/256 1064366
/proc/meminfo: memFree=124793760/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=290160 memory=207304 CPUtime=281.5 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 51484 0 0 0 28137 13 0 0 20 0 1 0 199540785 297123840 51826 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 72540 51826 4040 3002 0 56289 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 290160 KiB
Current children cumulated memory: 207304 KiB
[startup+342.3 s]
/proc/loadavg: 4.27 4.20 4.13 5/256 1064424
/proc/meminfo: memFree=122706812/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=344012 memory=254920 CPUtime=341.33 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 55909 0 0 0 34097 36 0 0 20 0 1 0 199540785 352268288 63730 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 86003 63730 4307 3002 0 69752 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 344012 KiB
Current children cumulated memory: 254920 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/257 1064435
/proc/meminfo: memFree=122579460/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=344012 memory=254920 CPUtime=401.14 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 55917 0 0 0 40057 57 0 0 20 0 1 0 199540785 352268288 63730 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 86003 63730 4307 3002 0 69752 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 344012 KiB
Current children cumulated memory: 254920 KiB
[startup+462.3 s]
/proc/loadavg: 4.44 4.23 4.14 5/255 1064446
/proc/meminfo: memFree=121504172/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=344012 memory=254920 CPUtime=460.96 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 55934 0 0 0 46023 73 0 0 20 0 1 0 199540785 352268288 63730 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 86003 63730 4307 3002 0 69752 0
################
# More data... #
################
/proc/loadavg: 4.17 4.13 4.10 5/255 1065888
/proc/meminfo: memFree=114861032/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=535352 memory=401028 CPUtime=2840.1 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 72832 0 0 0 283627 383 0 0 20 0 1 0 199540785 548200448 100257 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 133838 100257 4307 3002 0 117587 0
Current children cumulated CPU time: 2840.1 s
Current children cumulated vsize: 535352 KiB
Current children cumulated memory: 401028 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 1065898
/proc/meminfo: memFree=114859936/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=535928 memory=401448 CPUtime=2899.91 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 73083 0 0 0 289606 385 0 0 20 0 1 0 199540785 548790272 100362 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 133982 100362 4307 3002 0 117731 0
Current children cumulated CPU time: 2899.91 s
Current children cumulated vsize: 535928 KiB
Current children cumulated memory: 401448 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1066079
/proc/meminfo: memFree=114858276/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=536916 memory=401884 CPUtime=2959.73 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 73359 0 0 0 295581 392 0 0 20 0 1 0 199540785 549801984 100471 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 134229 100471 4307 3002 0 117978 0
Current children cumulated CPU time: 2959.73 s
Current children cumulated vsize: 536916 KiB
Current children cumulated memory: 401884 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1066090
/proc/meminfo: memFree=114857540/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=536916 memory=402136 CPUtime=3019.54 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 73492 0 0 0 301557 397 0 0 20 0 1 0 199540785 549801984 100534 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 134229 100534 4307 3002 0 117978 0
Current children cumulated CPU time: 3019.54 s
Current children cumulated vsize: 536916 KiB
Current children cumulated memory: 402136 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1066103
/proc/meminfo: memFree=114662792/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=536916 memory=402136 CPUtime=3079.35 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 73634 0 0 0 307536 399 0 0 20 0 1 0 199540785 549801984 100534 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 134229 100534 4307 3002 0 117978 0
Current children cumulated CPU time: 3079.35 s
Current children cumulated vsize: 536916 KiB
Current children cumulated memory: 402136 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 1066125
/proc/meminfo: memFree=114658524/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=536916 memory=402136 CPUtime=3139.16 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 73806 0 0 0 313511 405 0 0 20 0 1 0 199540785 549801984 100534 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 134229 100534 4307 3002 0 117978 0
Current children cumulated CPU time: 3139.16 s
Current children cumulated vsize: 536916 KiB
Current children cumulated memory: 402136 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 7/258 1066137
/proc/meminfo: memFree=114657776/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=536916 memory=402212 CPUtime=3198.98 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 73937 0 0 0 319489 409 0 0 20 0 1 0 199540785 549801984 100553 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 134229 100553 4307 3002 0 117978 0
Current children cumulated CPU time: 3198.98 s
Current children cumulated vsize: 536916 KiB
Current children cumulated memory: 402212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1066148
/proc/meminfo: memFree=114656856/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=536916 memory=402212 CPUtime=3258.79 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 74074 0 0 0 325466 413 0 0 20 0 1 0 199540785 549801984 100553 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 134229 100553 4307 3002 0 117978 0
Current children cumulated CPU time: 3258.79 s
Current children cumulated vsize: 536916 KiB
Current children cumulated memory: 402212 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1066159
/proc/meminfo: memFree=114655576/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=536916 memory=402216 CPUtime=3318.6 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 74196 0 0 0 331441 419 0 0 20 0 1 0 199540785 549801984 100554 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 134229 100554 4307 3002 0 117978 0
Current children cumulated CPU time: 3318.6 s
Current children cumulated vsize: 536916 KiB
Current children cumulated memory: 402216 KiB
[startup+3347.15 s]
# the end of solver process 1064267 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3319.23 s, system=4.21062 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3344 s]*
/proc/loadavg: 4.16 4.13 4.09 5/257 1066159
/proc/meminfo: memFree=114655492/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=536916 memory=402216 CPUtime=3320.3 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 74199 0 0 0 331610 420 0 0 20 0 1 0 199540785 549801984 100554 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 134229 100554 4307 3002 0 117978 0
Current children cumulated CPU time: 3320.3 s
Current children cumulated vsize: 536916 KiB
Current children cumulated memory: 402216 KiB
[startup+3345.6 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1066159
/proc/meminfo: memFree=114655436/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=536916 memory=402216 CPUtime=3321.89 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 74199 0 0 0 331769 420 0 0 20 0 1 0 199540785 549801984 100554 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 134229 100554 4307 3002 0 117978 0
Current children cumulated CPU time: 3321.89 s
Current children cumulated vsize: 536916 KiB
Current children cumulated memory: 402216 KiB
[startup+3346.4 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1066159
/proc/meminfo: memFree=114655436/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=536916 memory=402216 CPUtime=3322.69 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 74200 0 0 0 331849 420 0 0 20 0 1 0 199540785 549801984 100554 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 134229 100554 4307 3002 0 117978 0
Current children cumulated CPU time: 3322.69 s
Current children cumulated vsize: 536916 KiB
Current children cumulated memory: 402216 KiB
[startup+3346.8 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1066159
/proc/meminfo: memFree=114655436/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=536916 memory=402216 CPUtime=3323.09 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 74200 0 0 0 331889 420 0 0 20 0 1 0 199540785 549801984 100554 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 134229 100554 4307 3002 0 117978 0
Current children cumulated CPU time: 3323.09 s
Current children cumulated vsize: 536916 KiB
Current children cumulated memory: 402216 KiB
[startup+3347 s]*
/proc/loadavg: 4.15 4.12 4.09 6/257 1066159
/proc/meminfo: memFree=114655436/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=536916 memory=402216 CPUtime=3323.29 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 74200 0 0 0 331909 420 0 0 20 0 1 0 199540785 549801984 100554 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 134229 100554 4307 3002 0 117978 0
Current children cumulated CPU time: 3323.29 s
Current children cumulated vsize: 536916 KiB
Current children cumulated memory: 402216 KiB
[startup+3347.11 s]
/proc/loadavg: 4.15 4.12 4.09 6/257 1066159
/proc/meminfo: memFree=114655436/131524600 swapFree=131071996/131071996
[pid=1064267] ppid=1064264 vsize=536916 memory=402216 CPUtime=3323.39 cores=1,3
/proc/1064267/stat : 1064267 (mixed-bag) R 1064264 1064267 1062211 0 -1 4194304 74200 0 0 0 331919 420 0 0 20 0 1 0 199540785 549801984 100554 134679101440 4194304 16488053 140723659292880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 31825920 140723659301909 140723659301986 140723659301986 140723659309003 0
/proc/1064267/statm: 134229 100554 4307 3002 0 117978 0
Current children cumulated CPU time: 3323.39 s
Current children cumulated vsize: 536916 KiB
Current children cumulated memory: 402216 KiB
Child status: 0
Real time (s): 3347.15
CPU time (s): 3323.44
CPU user time (s): 3319.23
CPU system time (s): 4.21062
CPU usage (%): 99.2918
Max. virtual memory (cumulated for all children) (KiB): 536916
Max. memory (cumulated for all children) (KiB): 402216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3319.23
system time used= 4.21062
maximum resident set size= 404936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74944
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= 90
involuntary context switches= 26461
# summary of solver processes directly reported to runsolver:
# pid: 1064267
# total CPU time (s): 3323.44
# total CPU user time (s): 3319.23
# total CPU system time (s): 4.21062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.26199 second user time and 15.9879 second system time
The end
Begin job on nodeC035 at 2024-07-20 13:08:32
IDJOB=4454946
IDBENCH=155609
IDSOLVER=3083
FILE ID=nodeC035/4454946-1721473699
RUNJOBID= nodeC035-1721470098-1062223
SLURM_JOB_ID= 7545732
Free space on /tmp= 890000 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454946-1721473699/watcher-4454946-1721473699 -o /tmp/evaluation-result-4454946-1721473699/solver-4454946-1721473699 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721470098-1062223 --watchdog 3760 mixed-bag HOME/instance-4454946-1721473699.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f134d089c54411466f2bcbd6371e604a
RANDOM SEED=171405281
nodeC035.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 : 3673.056
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.65
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 : 3646.652
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 : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.028
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.65
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 : 3668.289
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 : 7005.79
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 : 3673.027
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.65
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 : 3668.243
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 : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.073
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.65
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.852
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 : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120736052 kB
MemAvailable: 124481904 kB
Buffers: 577956 kB
Cached: 3971768 kB
SwapCached: 0 kB
Active: 1107156 kB
Inactive: 8965332 kB
Active(anon): 1536 kB
Inactive(anon): 5567176 kB
Active(file): 1105620 kB
Inactive(file): 3398156 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 34884 kB
Writeback: 0 kB
AnonPages: 5518160 kB
Mapped: 142508 kB
Shmem: 45916 kB
KReclaimable: 163800 kB
Slab: 284100 kB
SReclaimable: 163800 kB
SUnreclaim: 120300 kB
KernelStack: 4048 kB
PageTables: 20592 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6324284 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74624 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2836480 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: 209620 kB
DirectMap2M: 19486720 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 889976 MiB
End job on nodeC035 at 2024-07-20 14:04:19