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.09/0.13 c [STEP] preprocessing with Papilo
0.09/0.16 c [STEP] solving with SCIP
299.34/300.20 c [STEP] preprocessing done, loading into solver
299.34/300.21 c [STEP] solving
299.34/300.21 c #variables 4971 #constraints 5188
299.34/300.21 c SMALL=int, LARGE=long long
299.34/300.22 c bounds - >= -70 @ 299.177
299.34/300.22 c stratification level: 4096766
308.71/309.60 c #Conflicts: 1000 | #Constraints: 6188
308.71/309.60 c #Conflicts: 2000 | #Constraints: 7188
308.71/309.60 c INPROCESSING
308.71/309.60 c GARBAGE COLLECT
308.71/309.60 c #Conflicts: 3000 | #Constraints: 5336
308.71/309.60 c #Conflicts: 4000 | #Constraints: 6336
308.71/309.60 c INPROCESSING
308.71/309.60 c GARBAGE COLLECT
308.71/309.60 c #Conflicts: 5000 | #Constraints: 5741
308.71/309.60 c bounds 4101735 >= -70 @ 308.445
308.71/309.60 c stratification level: 4000752
308.81/309.71 c #Conflicts: 6000 | #Constraints: 6742
308.81/309.71 c bounds 4100469 >= -70 @ 308.563
308.81/309.71 c stratification level: 3906250
308.81/309.78 c bounds 4094551 >= -70 @ 308.63
308.81/309.78 c stratification level: 3813248
308.91/309.85 c bounds 4092759 >= -70 @ 308.697
308.91/309.85 c stratification level: 3721734
309.51/310.42 c bounds 4070589 >= -70 @ 309.26
309.51/310.42 c stratification level: 3631696
310.71/311.60 c INPROCESSING
310.71/311.60 c GARBAGE COLLECT
310.71/311.60 c bounds 4062027 >= -70 @ 310.419
310.71/311.60 c stratification level: 3543122
310.71/311.66 c bounds 4059533 >= -70 @ 310.478
310.71/311.66 c stratification level: 3456000
310.81/311.72 c bounds 4058333 >= -70 @ 310.542
310.81/311.72 c stratification level: 3370318
310.81/311.74 c bounds 4055403 >= -70 @ 310.56
310.81/311.74 c stratification level: 3286064
310.91/311.81 c bounds 4054263 >= -70 @ 310.628
310.91/311.81 c stratification level: 3203226
310.91/311.86 c bounds 4048569 >= -70 @ 310.671
310.91/311.86 c stratification level: 3121792
310.91/311.89 c bounds 4046585 >= -70 @ 310.699
310.91/311.89 c stratification level: 3041750
311.01/311.91 c bounds 4045913 >= -70 @ 310.721
311.01/311.91 c stratification level: 2963088
311.01/311.94 c bounds 4045839 >= -70 @ 310.753
311.01/311.94 c stratification level: 2885794
457.02/458.38 c #Conflicts: 7000 | #Constraints: 5764
457.02/458.38 c #Conflicts: 8000 | #Constraints: 6764
457.02/458.38 c #Conflicts: 9000 | #Constraints: 7764
457.02/458.38 c INPROCESSING
457.02/458.38 c GARBAGE COLLECT
457.02/458.38 c #Conflicts: 10000 | #Constraints: 6444
457.02/458.38 c #Conflicts: 11000 | #Constraints: 7444
457.02/458.38 c #Conflicts: 12000 | #Constraints: 8444
457.02/458.38 c INPROCESSING
457.02/458.38 c GARBAGE COLLECT
457.02/458.38 c #Conflicts: 13000 | #Constraints: 6904
457.02/458.38 c #Conflicts: 14000 | #Constraints: 7904
457.02/458.38 c #Conflicts: 15000 | #Constraints: 8904
457.02/458.38 c INPROCESSING
457.02/458.38 c GARBAGE COLLECT
457.02/458.38 c #Conflicts: 16000 | #Constraints: 7144
457.02/458.38 c #Conflicts: 17000 | #Constraints: 8144
457.02/458.38 c #Conflicts: 18000 | #Constraints: 9144
457.02/458.38 c INPROCESSING
457.02/458.38 c GARBAGE COLLECT
457.02/458.38 c #Conflicts: 19000 | #Constraints: 7180
457.02/458.38 c #Conflicts: 20000 | #Constraints: 8180
457.02/458.38 c #Conflicts: 21000 | #Constraints: 9180
457.02/458.38 c INPROCESSING
457.02/458.38 c GARBAGE COLLECT
457.02/458.38 c #Conflicts: 22000 | #Constraints: 7003
457.02/458.38 c #Conflicts: 23000 | #Constraints: 8003
457.02/458.38 c #Conflicts: 24000 | #Constraints: 9003
457.02/458.38 c #Conflicts: 25000 | #Constraints: 10003
457.02/458.38 c INPROCESSING
457.02/458.38 c GARBAGE COLLECT
457.02/458.38 c #Conflicts: 26000 | #Constraints: 7647
457.02/458.38 c #Conflicts: 27000 | #Constraints: 8647
457.02/458.38 c #Conflicts: 28000 | #Constraints: 9647
457.02/458.38 c #Conflicts: 29000 | #Constraints: 10647
457.02/458.38 c INPROCESSING
457.02/458.38 c GARBAGE COLLECT
457.02/458.38 c #Conflicts: 30000 | #Constraints: 8056
457.02/458.38 c #Conflicts: 31000 | #Constraints: 9056
457.02/458.38 c #Conflicts: 32000 | #Constraints: 10056
457.02/458.38 c #Conflicts: 33000 | #Constraints: 11056
457.02/458.38 c INPROCESSING
457.02/458.38 c GARBAGE COLLECT
457.02/458.38 c #Conflicts: 34000 | #Constraints: 8254
457.02/458.38 c #Conflicts: 35000 | #Constraints: 9254
457.02/458.38 c #Conflicts: 36000 | #Constraints: 10254
457.02/458.38 c #Conflicts: 37000 | #Constraints: 11254
457.02/458.38 c INPROCESSING
457.02/458.38 c GARBAGE COLLECT
457.02/458.38 c #Conflicts: 38000 | #Constraints: 8280
457.02/458.38 c #Conflicts: 39000 | #Constraints: 9280
457.02/458.38 c #Conflicts: 40000 | #Constraints: 10280
457.02/458.38 c #Conflicts: 41000 | #Constraints: 11280
457.02/458.38 c INPROCESSING
457.02/458.38 c GARBAGE COLLECT
457.02/458.38 c #Conflicts: 42000 | #Constraints: 8045
457.02/458.38 c #Conflicts: 43000 | #Constraints: 9045
457.02/458.38 c #Conflicts: 44000 | #Constraints: 10045
457.02/458.38 c #Conflicts: 45000 | #Constraints: 11045
457.02/458.38 c bounds 4045137 >= -70 @ 456.368
457.02/458.38 c stratification level: 2809856
457.12/458.46 c bounds 4042179 >= -70 @ 456.445
457.12/458.46 c stratification level: 2735262
457.22/458.56 c bounds 4040867 >= -70 @ 456.539
457.22/458.56 c stratification level: 2662000
457.31/458.70 c bounds 4036773 >= -70 @ 456.676
457.31/458.70 c stratification level: 2590058
457.51/458.86 c bounds 4020577 >= -70 @ 456.844
457.51/458.86 c stratification level: 2519424
485.64/487.07 c #Conflicts: 46000 | #Constraints: 12050
485.64/487.07 c INPROCESSING
485.64/487.07 c GARBAGE COLLECT
485.64/487.07 c #Conflicts: 47000 | #Constraints: 8678
485.64/487.07 c #Conflicts: 48000 | #Constraints: 9678
485.64/487.07 c #Conflicts: 49000 | #Constraints: 10678
485.64/487.07 c #Conflicts: 50000 | #Constraints: 11678
485.64/487.07 c bounds 4020561 >= -70 @ 484.853
485.64/487.07 c stratification level: 2450086
485.82/487.22 c bounds 4019481 >= -70 @ 484.997
485.82/487.22 c stratification level: 2382032
485.92/487.36 c bounds 4017279 >= -70 @ 485.137
485.92/487.36 c stratification level: 2315250
486.12/487.50 c bounds 4015491 >= -70 @ 485.283
486.12/487.50 c stratification level: 2249728
490.22/491.68 c #Conflicts: 51000 | #Constraints: 12682
490.22/491.68 c INPROCESSING
490.22/491.68 c GARBAGE COLLECT
490.22/491.68 c #Conflicts: 52000 | #Constraints: 9095
490.22/491.68 c bounds 4010377 >= -70 @ 489.416
490.22/491.68 c stratification level: 2185454
490.42/491.84 c bounds 3990517 >= -70 @ 489.576
490.42/491.84 c stratification level: 2122416
490.52/491.98 c bounds 3987345 >= -70 @ 489.713
490.52/491.98 c stratification level: 2060602
490.73/492.13 c bounds 3966643 >= -70 @ 489.856
490.73/492.13 c stratification level: 2000000
492.81/494.24 c bounds 3955649 >= -70 @ 491.944
492.81/494.24 c stratification level: 1940598
492.91/494.37 c bounds 3953875 >= -70 @ 492.069
492.91/494.37 c stratification level: 1882384
686.49/688.44 c #Conflicts: 53000 | #Constraints: 10101
686.49/688.44 c #Conflicts: 54000 | #Constraints: 11101
686.49/688.44 c #Conflicts: 55000 | #Constraints: 12101
686.49/688.44 c #Conflicts: 56000 | #Constraints: 13101
686.49/688.44 c INPROCESSING
686.49/688.44 c GARBAGE COLLECT
686.49/688.44 c #Conflicts: 57000 | #Constraints: 9241
686.49/688.44 c #Conflicts: 58000 | #Constraints: 10241
686.49/688.44 c #Conflicts: 59000 | #Constraints: 11241
686.49/688.44 c #Conflicts: 60000 | #Constraints: 12241
686.49/688.44 c #Conflicts: 61000 | #Constraints: 13241
686.49/688.44 c INPROCESSING
686.49/688.44 c GARBAGE COLLECT
686.49/688.44 c #Conflicts: 62000 | #Constraints: 9233
686.49/688.44 c #Conflicts: 63000 | #Constraints: 10233
686.49/688.44 c #Conflicts: 64000 | #Constraints: 11233
686.49/688.44 c #Conflicts: 65000 | #Constraints: 12233
686.49/688.44 c #Conflicts: 66000 | #Constraints: 13233
686.49/688.44 c INPROCESSING
686.49/688.44 c GARBAGE COLLECT
686.49/688.44 c #Conflicts: 67000 | #Constraints: 9060
686.49/688.44 c #Conflicts: 68000 | #Constraints: 10060
686.49/688.44 c #Conflicts: 69000 | #Constraints: 11060
686.49/688.44 c #Conflicts: 70000 | #Constraints: 12060
686.49/688.44 c #Conflicts: 71000 | #Constraints: 13060
686.49/688.44 c #Conflicts: 72000 | #Constraints: 14060
686.49/688.44 c INPROCESSING
686.49/688.44 c GARBAGE COLLECT
686.49/688.44 c #Conflicts: 73000 | #Constraints: 9596
686.49/688.44 c #Conflicts: 74000 | #Constraints: 10596
686.49/688.44 c #Conflicts: 75000 | #Constraints: 11596
686.49/688.44 c #Conflicts: 76000 | #Constraints: 12596
686.49/688.44 c #Conflicts: 77000 | #Constraints: 13596
686.49/688.44 c #Conflicts: 78000 | #Constraints: 14596
686.49/688.44 c INPROCESSING
686.49/688.44 c GARBAGE COLLECT
686.49/688.44 c #Conflicts: 79000 | #Constraints: 9973
686.49/688.44 c #Conflicts: 80000 | #Constraints: 10973
686.49/688.44 c #Conflicts: 81000 | #Constraints: 11973
686.49/688.44 c #Conflicts: 82000 | #Constraints: 12973
686.49/688.44 c #Conflicts: 83000 | #Constraints: 13973
686.49/688.44 c #Conflicts: 84000 | #Constraints: 14973
686.49/688.44 c INPROCESSING
686.49/688.44 c GARBAGE COLLECT
686.49/688.44 c #Conflicts: 85000 | #Constraints: 10192
686.49/688.44 c #Conflicts: 86000 | #Constraints: 11192
686.49/688.44 c #Conflicts: 87000 | #Constraints: 12192
686.49/688.44 c #Conflicts: 88000 | #Constraints: 13192
686.49/688.44 c #Conflicts: 89000 | #Constraints: 14192
686.49/688.44 c #Conflicts: 90000 | #Constraints: 15192
686.49/688.44 c INPROCESSING
686.49/688.44 c GARBAGE COLLECT
686.49/688.44 c #Conflicts: 91000 | #Constraints: 10237
686.49/688.44 c bounds 3953483 >= -70 @ 685.133
686.49/688.44 c stratification level: 1825346
686.49/688.48 c bounds 3953329 >= -70 @ 685.175
686.49/688.48 c stratification level: 1769472
686.59/688.58 c bounds 3949493 >= -70 @ 685.279
686.59/688.58 c stratification level: 1714750
687.10/689.01 c bounds 3947299 >= -70 @ 685.707
687.10/689.01 c stratification level: 1661168
687.29/689.22 c bounds 3942349 >= -70 @ 685.914
687.29/689.22 c stratification level: 1608714
687.78/689.78 c bounds 3942155 >= -70 @ 686.467
687.78/689.78 c stratification level: 1557376
687.88/689.86 c bounds 3936815 >= -70 @ 686.549
687.88/689.86 c stratification level: 1507142
688.59/690.59 c bounds 3934123 >= -70 @ 687.276
688.59/690.59 c stratification level: 1458000
689.20/691.12 c bounds 3933767 >= -70 @ 687.804
689.20/691.12 c stratification level: 1409938
689.20/691.20 c bounds 3933573 >= -70 @ 687.876
689.20/691.20 c stratification level: 1362944
689.38/691.36 c bounds 3930887 >= -70 @ 688.041
689.38/691.36 c stratification level: 1317006
690.77/692.74 c #Conflicts: 92000 | #Constraints: 11248
690.77/692.74 c bounds 3929919 >= -70 @ 689.407
690.77/692.74 c stratification level: 1272112
696.26/698.27 c #Conflicts: 93000 | #Constraints: 12249
696.26/698.27 c bounds 3928635 >= -70 @ 694.906
696.26/698.27 c stratification level: 1228250
736.27/738.34 c #Conflicts: 94000 | #Constraints: 13250
736.27/738.34 c #Conflicts: 95000 | #Constraints: 14250
736.27/738.34 c #Conflicts: 96000 | #Constraints: 15250
736.27/738.34 c INPROCESSING
736.27/738.34 c GARBAGE COLLECT
736.27/738.34 c #Conflicts: 97000 | #Constraints: 10035
736.27/738.34 c #Conflicts: 98000 | #Constraints: 11035
736.27/738.34 c bounds 3923867 >= -70 @ 734.791
736.27/738.34 c stratification level: 1185408
747.14/749.26 c #Conflicts: 99000 | #Constraints: 12036
747.14/749.26 c bounds 3922099 >= -70 @ 745.669
747.14/749.26 c stratification level: 1143574
747.34/749.44 c bounds 3920669 >= -70 @ 745.844
747.34/749.44 c stratification level: 1102736
748.34/750.49 c bounds 3916043 >= -70 @ 746.893
748.34/750.49 c stratification level: 1062882
749.53/751.61 c bounds 3915613 >= -70 @ 748.005
749.53/751.61 c stratification level: 1024000
750.04/752.18 c bounds 3902967 >= -70 @ 748.571
750.04/752.18 c stratification level: 986078
750.94/753.02 c bounds 3901165 >= -70 @ 749.408
750.94/753.02 c stratification level: 949104
751.53/753.66 c bounds 3898405 >= -70 @ 750.041
751.53/753.66 c stratification level: 913066
751.73/753.85 c bounds 3895719 >= -70 @ 750.235
751.73/753.85 c stratification level: 877952
756.71/758.86 c #Conflicts: 100000 | #Constraints: 13044
756.71/758.86 c bounds 3895549 >= -70 @ 755.217
756.71/758.86 c stratification level: 843750
757.11/759.23 c bounds 3892983 >= -70 @ 755.584
757.11/759.23 c stratification level: 810448
760.30/762.41 c bounds 3892789 >= -70 @ 758.748
760.30/762.41 c stratification level: 778034
1480.31/1484.25 c #Conflicts: 101000 | #Constraints: 14047
1480.31/1484.25 c #Conflicts: 102000 | #Constraints: 15047
1480.31/1484.25 c #Conflicts: 103000 | #Constraints: 16047
1480.31/1484.25 c INPROCESSING
1480.31/1484.25 c GARBAGE COLLECT
1480.31/1484.25 c #Conflicts: 104000 | #Constraints: 10620
1480.31/1484.25 c #Conflicts: 105000 | #Constraints: 11620
1480.31/1484.25 c #Conflicts: 106000 | #Constraints: 12620
1480.31/1484.25 c #Conflicts: 107000 | #Constraints: 13620
1480.31/1484.25 c #Conflicts: 108000 | #Constraints: 14620
1480.31/1484.25 c #Conflicts: 109000 | #Constraints: 15620
1480.31/1484.25 c #Conflicts: 110000 | #Constraints: 16620
1480.31/1484.25 c INPROCESSING
1480.31/1484.25 c GARBAGE COLLECT
1480.31/1484.25 c #Conflicts: 111000 | #Constraints: 10996
1480.31/1484.25 c #Conflicts: 112000 | #Constraints: 11996
1480.31/1484.25 c #Conflicts: 113000 | #Constraints: 12996
1480.31/1484.25 c #Conflicts: 114000 | #Constraints: 13996
1480.31/1484.25 c #Conflicts: 115000 | #Constraints: 14996
1480.31/1484.25 c #Conflicts: 116000 | #Constraints: 15996
1480.31/1484.25 c #Conflicts: 117000 | #Constraints: 16996
1480.31/1484.25 c INPROCESSING
1480.31/1484.25 c GARBAGE COLLECT
1480.31/1484.25 c #Conflicts: 118000 | #Constraints: 11208
1480.31/1484.25 c #Conflicts: 119000 | #Constraints: 12208
1480.31/1484.25 c #Conflicts: 120000 | #Constraints: 13208
1480.31/1484.25 c #Conflicts: 121000 | #Constraints: 14208
1480.31/1484.25 c #Conflicts: 122000 | #Constraints: 15208
1480.31/1484.25 c #Conflicts: 123000 | #Constraints: 16208
1480.31/1484.25 c #Conflicts: 124000 | #Constraints: 17208
1480.31/1484.25 c INPROCESSING
1480.31/1484.25 c GARBAGE COLLECT
1480.31/1484.25 c #Conflicts: 125000 | #Constraints: 11200
1480.31/1484.25 c #Conflicts: 126000 | #Constraints: 12200
1480.31/1484.25 c #Conflicts: 127000 | #Constraints: 13200
1480.31/1484.25 c #Conflicts: 128000 | #Constraints: 14200
1480.31/1484.25 c #Conflicts: 129000 | #Constraints: 15200
1480.31/1484.25 c #Conflicts: 130000 | #Constraints: 16200
1480.31/1484.25 c #Conflicts: 131000 | #Constraints: 17200
1480.31/1484.25 c INPROCESSING
1480.31/1484.25 c GARBAGE COLLECT
1480.31/1484.25 c #Conflicts: 132000 | #Constraints: 11005
1480.31/1484.25 c #Conflicts: 133000 | #Constraints: 12005
1480.31/1484.25 c #Conflicts: 134000 | #Constraints: 13005
1480.31/1484.25 c #Conflicts: 135000 | #Constraints: 14005
1480.31/1484.25 c #Conflicts: 136000 | #Constraints: 15005
1480.31/1484.25 c #Conflicts: 137000 | #Constraints: 16005
1480.31/1484.25 c #Conflicts: 138000 | #Constraints: 17005
1480.31/1484.25 c bounds 3892789 >= 777964 @ 1179.88
1480.31/1484.25 c #Conflicts: 139000 | #Constraints: 18006
1480.31/1484.25 c INPROCESSING
1480.31/1484.25 c GARBAGE COLLECT
1480.31/1484.25 c #Conflicts: 140000 | #Constraints: 11601
1480.31/1484.25 c #Conflicts: 141000 | #Constraints: 12601
1480.31/1484.25 c #Conflicts: 142000 | #Constraints: 13601
1480.31/1484.25 c #Conflicts: 143000 | #Constraints: 14601
1480.31/1484.25 c #Conflicts: 144000 | #Constraints: 15601
1480.31/1484.25 c #Conflicts: 145000 | #Constraints: 16601
1480.31/1484.25 c #Conflicts: 146000 | #Constraints: 17601
1480.31/1484.25 c #Conflicts: 147000 | #Constraints: 18601
1480.31/1484.25 c INPROCESSING
1480.31/1484.25 c GARBAGE COLLECT
1480.31/1484.25 c #Conflicts: 148000 | #Constraints: 11974
1480.31/1484.25 c #Conflicts: 149000 | #Constraints: 12974
1480.31/1484.25 c #Conflicts: 150000 | #Constraints: 13974
1480.31/1484.25 c #Conflicts: 151000 | #Constraints: 14974
1480.31/1484.25 c #Conflicts: 152000 | #Constraints: 15974
1480.31/1484.25 c #Conflicts: 153000 | #Constraints: 16974
1480.31/1484.25 c #Conflicts: 154000 | #Constraints: 17974
1480.31/1484.25 c #Conflicts: 155000 | #Constraints: 18974
1480.31/1484.25 c INPROCESSING
1480.31/1484.25 c GARBAGE COLLECT
1480.31/1484.25 c #Conflicts: 156000 | #Constraints: 12206
1480.31/1484.25 c #Conflicts: 157000 | #Constraints: 13206
1480.31/1484.25 c #Conflicts: 158000 | #Constraints: 14206
1480.31/1484.25 c #Conflicts: 159000 | #Constraints: 15206
1480.31/1484.25 c #Conflicts: 160000 | #Constraints: 16206
1480.31/1484.25 c #Conflicts: 161000 | #Constraints: 17206
1480.31/1484.25 c #Conflicts: 162000 | #Constraints: 18206
1480.31/1484.25 c #Conflicts: 163000 | #Constraints: 19206
1480.31/1484.25 c INPROCESSING
1480.31/1484.25 c GARBAGE COLLECT
1480.31/1484.25 c #Conflicts: 164000 | #Constraints: 12179
1480.31/1484.25 c #Conflicts: 165000 | #Constraints: 13179
1480.31/1484.25 c #Conflicts: 166000 | #Constraints: 14179
1480.31/1484.25 c #Conflicts: 167000 | #Constraints: 15179
1480.31/1484.25 c #Conflicts: 168000 | #Constraints: 16179
1480.31/1484.25 c #Conflicts: 169000 | #Constraints: 17179
1480.31/1484.25 c bounds 3892789 >= 1557306 @ 1462.12
1480.31/1484.25 c #Conflicts: 170000 | #Constraints: 18180
1480.31/1484.25 c #Conflicts: 171000 | #Constraints: 19180
1480.31/1484.25 c INPROCESSING
1480.31/1484.25 c GARBAGE COLLECT
2117.29/2122.87 c #Conflicts: 172000 | #Constraints: 12038
2117.29/2122.87 c #Conflicts: 173000 | #Constraints: 13038
2117.29/2122.87 c #Conflicts: 174000 | #Constraints: 14038
2117.29/2122.87 c #Conflicts: 175000 | #Constraints: 15038
2117.29/2122.87 c #Conflicts: 176000 | #Constraints: 16038
2117.29/2122.87 c #Conflicts: 177000 | #Constraints: 17038
2117.29/2122.87 c #Conflicts: 178000 | #Constraints: 18038
2117.29/2122.87 c #Conflicts: 179000 | #Constraints: 19038
2117.29/2122.87 c #Conflicts: 180000 | #Constraints: 20038
2117.29/2122.87 c INPROCESSING
2117.29/2122.87 c GARBAGE COLLECT
2117.29/2122.87 c #Conflicts: 181000 | #Constraints: 12652
2117.29/2122.87 c #Conflicts: 182000 | #Constraints: 13652
2117.29/2122.87 c #Conflicts: 183000 | #Constraints: 14652
2117.29/2122.87 c #Conflicts: 184000 | #Constraints: 15652
2117.29/2122.87 c #Conflicts: 185000 | #Constraints: 16652
2117.29/2122.87 c #Conflicts: 186000 | #Constraints: 17652
2117.29/2122.87 c #Conflicts: 187000 | #Constraints: 18652
2117.29/2122.87 c #Conflicts: 188000 | #Constraints: 19652
2117.29/2122.87 c #Conflicts: 189000 | #Constraints: 20652
2117.29/2122.87 c INPROCESSING
2117.29/2122.87 c GARBAGE COLLECT
2117.29/2122.87 c #Conflicts: 190000 | #Constraints: 13064
2117.29/2122.87 c #Conflicts: 191000 | #Constraints: 14064
2117.29/2122.87 c #Conflicts: 192000 | #Constraints: 15064
2117.29/2122.87 c #Conflicts: 193000 | #Constraints: 16064
2117.29/2122.87 c #Conflicts: 194000 | #Constraints: 17064
2117.29/2122.87 c #Conflicts: 195000 | #Constraints: 18064
2117.29/2122.87 c #Conflicts: 196000 | #Constraints: 19064
2117.29/2122.87 c #Conflicts: 197000 | #Constraints: 20064
2117.29/2122.87 c #Conflicts: 198000 | #Constraints: 21064
2117.29/2122.87 c INPROCESSING
2117.29/2122.87 c GARBAGE COLLECT
2117.29/2122.87 c #Conflicts: 199000 | #Constraints: 13294
2117.29/2122.87 c #Conflicts: 200000 | #Constraints: 14294
2117.29/2122.87 c #Conflicts: 201000 | #Constraints: 15294
2117.29/2122.87 c #Conflicts: 202000 | #Constraints: 16294
2117.29/2122.87 c #Conflicts: 203000 | #Constraints: 17294
2117.29/2122.87 c #Conflicts: 204000 | #Constraints: 18294
2117.29/2122.87 c #Conflicts: 205000 | #Constraints: 19294
2117.29/2122.87 c #Conflicts: 206000 | #Constraints: 20294
2117.29/2122.87 c #Conflicts: 207000 | #Constraints: 21294
2117.29/2122.87 c INPROCESSING
2117.29/2122.87 c GARBAGE COLLECT
2117.29/2122.87 c #Conflicts: 208000 | #Constraints: 13269
2117.29/2122.87 c #Conflicts: 209000 | #Constraints: 14269
2117.29/2122.87 c #Conflicts: 210000 | #Constraints: 15269
2117.29/2122.87 c #Conflicts: 211000 | #Constraints: 16269
2117.29/2122.87 c #Conflicts: 212000 | #Constraints: 17269
2117.29/2122.87 c #Conflicts: 213000 | #Constraints: 18269
2117.29/2122.87 c #Conflicts: 214000 | #Constraints: 19269
2117.29/2122.87 c #Conflicts: 215000 | #Constraints: 20269
2117.29/2122.87 c bounds 3892789 >= 2381962 @ 1875.24
2117.29/2122.87 c #Conflicts: 216000 | #Constraints: 21270
2117.29/2122.87 c INPROCESSING
2117.29/2122.87 c GARBAGE COLLECT
2117.29/2122.87 c #Conflicts: 217000 | #Constraints: 13083
2117.29/2122.87 c #Conflicts: 218000 | #Constraints: 14083
2117.29/2122.87 c #Conflicts: 219000 | #Constraints: 15083
2117.29/2122.87 c #Conflicts: 220000 | #Constraints: 16083
2117.29/2122.87 c #Conflicts: 221000 | #Constraints: 17083
2117.29/2122.87 c #Conflicts: 222000 | #Constraints: 18083
2117.29/2122.87 c #Conflicts: 223000 | #Constraints: 19083
2117.29/2122.87 c #Conflicts: 224000 | #Constraints: 20083
2117.29/2122.87 c #Conflicts: 225000 | #Constraints: 21083
2117.29/2122.87 c #Conflicts: 226000 | #Constraints: 22083
2117.29/2122.87 c INPROCESSING
2117.29/2122.87 c GARBAGE COLLECT
2117.29/2122.87 c #Conflicts: 227000 | #Constraints: 13689
2117.29/2122.87 c #Conflicts: 228000 | #Constraints: 14689
2117.29/2122.87 c #Conflicts: 229000 | #Constraints: 15689
2117.29/2122.87 c #Conflicts: 230000 | #Constraints: 16689
2117.29/2122.87 c #Conflicts: 231000 | #Constraints: 17689
2117.29/2122.87 c #Conflicts: 232000 | #Constraints: 18689
2117.29/2122.87 c #Conflicts: 233000 | #Constraints: 19689
2117.29/2122.87 c #Conflicts: 234000 | #Constraints: 20689
2117.29/2122.87 c #Conflicts: 235000 | #Constraints: 21689
2117.29/2122.87 c #Conflicts: 236000 | #Constraints: 22689
2117.29/2122.87 c INPROCESSING
2117.29/2122.87 c GARBAGE COLLECT
2117.29/2122.87 c #Conflicts: 237000 | #Constraints: 14093
2117.29/2122.87 c #Conflicts: 238000 | #Constraints: 15093
2117.29/2122.87 c #Conflicts: 239000 | #Constraints: 16093
2117.29/2122.87 c #Conflicts: 240000 | #Constraints: 17093
2117.29/2122.87 c #Conflicts: 241000 | #Constraints: 18093
2117.29/2122.87 c #Conflicts: 242000 | #Constraints: 19093
2117.29/2122.87 c #Conflicts: 243000 | #Constraints: 20093
2117.29/2122.87 c #Conflicts: 244000 | #Constraints: 21093
2117.29/2122.87 c #Conflicts: 245000 | #Constraints: 22093
2547.33/2553.99 c #Conflicts: 246000 | #Constraints: 23093
2547.33/2553.99 c INPROCESSING
2547.33/2553.99 c GARBAGE COLLECT
2547.33/2553.99 c #Conflicts: 247000 | #Constraints: 14283
2547.33/2553.99 c #Conflicts: 248000 | #Constraints: 15283
2547.33/2553.99 c #Conflicts: 249000 | #Constraints: 16283
2547.33/2553.99 c #Conflicts: 250000 | #Constraints: 17283
2547.33/2553.99 c #Conflicts: 251000 | #Constraints: 18283
2547.33/2553.99 c #Conflicts: 252000 | #Constraints: 19283
2547.33/2553.99 c #Conflicts: 253000 | #Constraints: 20283
2547.33/2553.99 c #Conflicts: 254000 | #Constraints: 21283
2547.33/2553.99 c #Conflicts: 255000 | #Constraints: 22283
2547.33/2553.99 c #Conflicts: 256000 | #Constraints: 23283
2547.33/2553.99 c INPROCESSING
2547.33/2553.99 c GARBAGE COLLECT
2547.33/2553.99 c #Conflicts: 257000 | #Constraints: 14241
2547.33/2553.99 c #Conflicts: 258000 | #Constraints: 15241
2547.33/2553.99 c #Conflicts: 259000 | #Constraints: 16241
2547.33/2553.99 c #Conflicts: 260000 | #Constraints: 17241
2547.33/2553.99 c #Conflicts: 261000 | #Constraints: 18241
2547.33/2553.99 c #Conflicts: 262000 | #Constraints: 19241
2547.33/2553.99 c #Conflicts: 263000 | #Constraints: 20241
2547.33/2553.99 c #Conflicts: 264000 | #Constraints: 21241
2547.33/2553.99 c #Conflicts: 265000 | #Constraints: 22241
2547.33/2553.99 c #Conflicts: 266000 | #Constraints: 23241
2547.33/2553.99 c INPROCESSING
2547.33/2553.99 c GARBAGE COLLECT
2547.33/2553.99 c #Conflicts: 267000 | #Constraints: 14099
2547.33/2553.99 c #Conflicts: 268000 | #Constraints: 15099
2547.33/2553.99 c #Conflicts: 269000 | #Constraints: 16099
2547.33/2553.99 c #Conflicts: 270000 | #Constraints: 17099
2547.33/2553.99 c #Conflicts: 271000 | #Constraints: 18099
2547.33/2553.99 c #Conflicts: 272000 | #Constraints: 19099
2547.33/2553.99 c #Conflicts: 273000 | #Constraints: 20099
2547.33/2553.99 c #Conflicts: 274000 | #Constraints: 21099
2547.33/2553.99 c #Conflicts: 275000 | #Constraints: 22099
2547.33/2553.99 c #Conflicts: 276000 | #Constraints: 23099
2547.33/2553.99 c #Conflicts: 277000 | #Constraints: 24099
2547.33/2553.99 c INPROCESSING
2547.33/2553.99 c GARBAGE COLLECT
2547.33/2553.99 c #Conflicts: 278000 | #Constraints: 14682
2547.33/2553.99 c #Conflicts: 279000 | #Constraints: 15682
2547.33/2553.99 c #Conflicts: 280000 | #Constraints: 16682
2547.33/2553.99 c #Conflicts: 281000 | #Constraints: 17682
2547.33/2553.99 c #Conflicts: 282000 | #Constraints: 18682
2547.33/2553.99 c #Conflicts: 283000 | #Constraints: 19682
2547.33/2553.99 c #Conflicts: 284000 | #Constraints: 20682
2547.33/2553.99 c #Conflicts: 285000 | #Constraints: 21682
2547.33/2553.99 c #Conflicts: 286000 | #Constraints: 22682
2547.33/2553.99 c #Conflicts: 287000 | #Constraints: 23682
2547.33/2553.99 c #Conflicts: 288000 | #Constraints: 24682
2547.33/2553.99 c INPROCESSING
2547.33/2553.99 c GARBAGE COLLECT
2547.33/2553.99 c #Conflicts: 289000 | #Constraints: 15079
2547.33/2553.99 c #Conflicts: 290000 | #Constraints: 16079
2547.33/2553.99 c #Conflicts: 291000 | #Constraints: 17079
2547.33/2553.99 c #Conflicts: 292000 | #Constraints: 18079
2547.33/2553.99 c #Conflicts: 293000 | #Constraints: 19079
2547.33/2553.99 c #Conflicts: 294000 | #Constraints: 20079
2547.33/2553.99 c #Conflicts: 295000 | #Constraints: 21079
2547.33/2553.99 c #Conflicts: 296000 | #Constraints: 22079
2547.33/2553.99 c #Conflicts: 297000 | #Constraints: 23079
2547.33/2553.99 c #Conflicts: 298000 | #Constraints: 24079
2547.33/2553.99 c #Conflicts: 299000 | #Constraints: 25079
2547.33/2553.99 c INPROCESSING
2547.33/2553.99 c GARBAGE COLLECT
2547.33/2553.99 c #Conflicts: 300000 | #Constraints: 15324
2547.33/2553.99 c #Conflicts: 301000 | #Constraints: 16324
2547.33/2553.99 c #Conflicts: 302000 | #Constraints: 17324
2547.33/2553.99 c #Conflicts: 303000 | #Constraints: 18324
2547.33/2553.99 c #Conflicts: 304000 | #Constraints: 19324
2547.33/2553.99 c #Conflicts: 305000 | #Constraints: 20324
2547.33/2553.99 c #Conflicts: 306000 | #Constraints: 21324
2547.33/2553.99 c #Conflicts: 307000 | #Constraints: 22324
2547.33/2553.99 c #Conflicts: 308000 | #Constraints: 23324
2547.33/2553.99 c #Conflicts: 309000 | #Constraints: 24324
2547.33/2553.99 c #Conflicts: 310000 | #Constraints: 25324
2547.33/2553.99 c INPROCESSING
2547.33/2553.99 c GARBAGE COLLECT
2547.33/2553.99 c #Conflicts: 311000 | #Constraints: 15243
2547.33/2553.99 c #Conflicts: 312000 | #Constraints: 16243
2547.33/2553.99 c #Conflicts: 313000 | #Constraints: 17243
2547.33/2553.99 c #Conflicts: 314000 | #Constraints: 18243
2547.33/2553.99 c #Conflicts: 315000 | #Constraints: 19243
2547.33/2553.99 c #Conflicts: 316000 | #Constraints: 20243
2547.33/2553.99 c #Conflicts: 317000 | #Constraints: 21243
2547.33/2553.99 c #Conflicts: 318000 | #Constraints: 22243
2547.33/2553.99 c #Conflicts: 319000 | #Constraints: 23243
3387.19/3395.99 c #Conflicts: 320000 | #Constraints: 24243
3387.19/3395.99 c #Conflicts: 321000 | #Constraints: 25243
3387.19/3395.99 c INPROCESSING
3387.19/3395.99 c GARBAGE COLLECT
3387.19/3395.99 c #Conflicts: 322000 | #Constraints: 15079
3387.19/3395.99 c #Conflicts: 323000 | #Constraints: 16079
3387.19/3395.99 c #Conflicts: 324000 | #Constraints: 17079
3387.19/3395.99 c #Conflicts: 325000 | #Constraints: 18079
3387.19/3395.99 c #Conflicts: 326000 | #Constraints: 19079
3387.19/3395.99 c #Conflicts: 327000 | #Constraints: 20079
3387.19/3395.99 c #Conflicts: 328000 | #Constraints: 21079
3387.19/3395.99 c #Conflicts: 329000 | #Constraints: 22079
3387.19/3395.99 c #Conflicts: 330000 | #Constraints: 23079
3387.19/3395.99 c #Conflicts: 331000 | #Constraints: 24079
3387.19/3395.99 c #Conflicts: 332000 | #Constraints: 25079
3387.19/3395.99 c #Conflicts: 333000 | #Constraints: 26079
3387.19/3395.99 c INPROCESSING
3387.19/3395.99 c GARBAGE COLLECT
3387.19/3395.99 c #Conflicts: 334000 | #Constraints: 15702
3387.19/3395.99 c #Conflicts: 335000 | #Constraints: 16702
3387.19/3395.99 c #Conflicts: 336000 | #Constraints: 17702
3387.19/3395.99 c #Conflicts: 337000 | #Constraints: 18702
3387.19/3395.99 c #Conflicts: 338000 | #Constraints: 19702
3387.19/3395.99 c #Conflicts: 339000 | #Constraints: 20702
3387.19/3395.99 c #Conflicts: 340000 | #Constraints: 21702
3387.19/3395.99 c #Conflicts: 341000 | #Constraints: 22702
3387.19/3395.99 c #Conflicts: 342000 | #Constraints: 23702
3387.19/3395.99 c #Conflicts: 343000 | #Constraints: 24702
3387.19/3395.99 c #Conflicts: 344000 | #Constraints: 25702
3387.19/3395.99 c #Conflicts: 345000 | #Constraints: 26702
3387.19/3395.99 c INPROCESSING
3387.19/3395.99 c GARBAGE COLLECT
3387.19/3395.99 c #Conflicts: 346000 | #Constraints: 16156
3387.19/3395.99 c #Conflicts: 347000 | #Constraints: 17156
3387.19/3395.99 c #Conflicts: 348000 | #Constraints: 18156
3387.19/3395.99 c #Conflicts: 349000 | #Constraints: 19156
3387.19/3395.99 c #Conflicts: 350000 | #Constraints: 20156
3387.19/3395.99 c #Conflicts: 351000 | #Constraints: 21156
3387.19/3395.99 c #Conflicts: 352000 | #Constraints: 22156
3387.19/3395.99 c #Conflicts: 353000 | #Constraints: 23156
3387.19/3395.99 c #Conflicts: 354000 | #Constraints: 24156
3387.19/3395.99 c #Conflicts: 355000 | #Constraints: 25156
3387.19/3395.99 c #Conflicts: 356000 | #Constraints: 26156
3387.19/3395.99 c #Conflicts: 357000 | #Constraints: 27156
3387.19/3395.99 c INPROCESSING
3387.19/3395.99 c GARBAGE COLLECT
3387.19/3395.99 c #Conflicts: 358000 | #Constraints: 16373
3387.19/3395.99 c #Conflicts: 359000 | #Constraints: 17373
3387.19/3395.99 c #Conflicts: 360000 | #Constraints: 18373
3387.19/3395.99 c #Conflicts: 361000 | #Constraints: 19373
3387.19/3395.99 c #Conflicts: 362000 | #Constraints: 20373
3387.19/3395.99 c #Conflicts: 363000 | #Constraints: 21373
3387.19/3395.99 c #Conflicts: 364000 | #Constraints: 22373
3387.19/3395.99 c #Conflicts: 365000 | #Constraints: 23373
3387.19/3395.99 c #Conflicts: 366000 | #Constraints: 24373
3387.19/3395.99 c #Conflicts: 367000 | #Constraints: 25373
3387.19/3395.99 c #Conflicts: 368000 | #Constraints: 26373
3387.19/3395.99 c #Conflicts: 369000 | #Constraints: 27373
3387.19/3395.99 c INPROCESSING
3387.19/3395.99 c GARBAGE COLLECT
3387.19/3395.99 c #Conflicts: 370000 | #Constraints: 16345
3387.19/3395.99 c #Conflicts: 371000 | #Constraints: 17345
3387.19/3395.99 c #Conflicts: 372000 | #Constraints: 18345
3387.19/3395.99 c #Conflicts: 373000 | #Constraints: 19345
3387.19/3395.99 c #Conflicts: 374000 | #Constraints: 20345
3387.19/3395.99 c #Conflicts: 375000 | #Constraints: 21345
3387.19/3395.99 c #Conflicts: 376000 | #Constraints: 22345
3387.19/3395.99 c #Conflicts: 377000 | #Constraints: 23345
3387.19/3395.99 c #Conflicts: 378000 | #Constraints: 24345
3387.19/3395.99 c #Conflicts: 379000 | #Constraints: 25345
3387.19/3395.99 c #Conflicts: 380000 | #Constraints: 26345
3387.19/3395.99 c #Conflicts: 381000 | #Constraints: 27345
3387.19/3395.99 c INPROCESSING
3387.19/3395.99 c GARBAGE COLLECT
3387.19/3395.99 c #Conflicts: 382000 | #Constraints: 16123
3387.19/3395.99 c #Conflicts: 383000 | #Constraints: 17123
3387.19/3395.99 c #Conflicts: 384000 | #Constraints: 18123
3387.19/3395.99 c #Conflicts: 385000 | #Constraints: 19123
3387.19/3395.99 c #Conflicts: 386000 | #Constraints: 20123
3387.19/3395.99 c #Conflicts: 387000 | #Constraints: 21123
3387.19/3395.99 c #Conflicts: 388000 | #Constraints: 22123
3387.19/3395.99 c #Conflicts: 389000 | #Constraints: 23123
3387.19/3395.99 c #Conflicts: 390000 | #Constraints: 24123
3387.19/3395.99 c #Conflicts: 391000 | #Constraints: 25123
3387.19/3395.99 c bounds 3892789 >= 3203156 @ 3368.97
3387.19/3395.99 c #Conflicts: 392000 | #Constraints: 26161
3387.19/3395.99 c #Conflicts: 393000 | #Constraints: 27161
3387.19/3395.99 c #Conflicts: 394000 | #Constraints: 28161
3393.76/3402.55 c INPROCESSING
3393.76/3402.55 c GARBAGE COLLECT
3393.76/3402.55 c #Conflicts: 395000 | #Constraints: 16484
3393.76/3402.55 d SOLVEDBY oll
3393.76/3402.55 c cpu time 3389.46 s
3393.76/3402.55 c deterministic time 233823821756 2.34e+11
3393.76/3402.55 c optimization time 0.069847 s
3393.76/3402.55 c total solve time 3090.21 s
3393.76/3402.55 c core-guided solve time 3090.21 s
3393.76/3402.55 c propagation time 1898.28 s
3393.76/3402.55 c conflict analysis time 1153.91 s
3393.76/3402.55 c propagations 209861300
3393.76/3402.55 c resolve steps 25613696
3393.76/3402.55 c decisions 2094404
3393.76/3402.55 c conflicts 395679
3393.76/3402.55 c restarts 955
3393.76/3402.55 c inprocessing phases 54
3393.76/3402.55 c input clauses 2593
3393.76/3402.55 c input cardinalities 7
3393.76/3402.55 c input general constraints 2684
3393.76/3402.55 c input average constraint length 43.39
3393.76/3402.55 c input average constraint degree 27386446.27
3393.76/3402.55 c learned clauses 197329
3393.76/3402.55 c learned cardinalities 447
3393.76/3402.55 c learned general constraints 197902
3393.76/3402.55 c learned average constraint length 1231.44
3393.76/3402.55 c learned average constraint degree 525771889.80
3393.76/3402.55 c watched constraints 91585
3393.76/3402.55 c counting constraints 109001
3393.76/3402.55 c gcd simplifications 33341
3393.76/3402.55 c detected cardinalities 26
3393.76/3402.55 c weakened non-implied lits 91482117
3393.76/3402.55 c weakened non-implying lits 974464
3393.76/3402.55 c original variables 9940
3393.76/3402.55 c clausal propagations 168574077
3393.76/3402.55 c cardinality propagations 1349700
3393.76/3402.55 c watched propagations 2081731
3393.76/3402.55 c counting propagations 37423814
3393.76/3402.55 c watch lookups 61173373295
3393.76/3402.55 c watch backjump lookups 60318693706
3393.76/3402.55 c watch checks 46959916989
3393.76/3402.55 c propagation checks 62866800599
3393.76/3402.55 c constraint additions 2080732330
3393.76/3402.55 c trail pops 212349132
3393.76/3402.55 c formula constraints 5188
3393.76/3402.55 c learned constraints 395678
3393.76/3402.55 c bound constraints 96
3393.76/3402.55 c core-guided constraints 0
3393.76/3402.55 c encountered formula constraints 22553763
3393.76/3402.55 c encountered learned constraints 3452649
3393.76/3402.55 c encountered bound constraints 2963
3393.76/3402.55 c encountered core-guided constraints 0
3393.76/3402.55 c LP total time 0 s
3393.76/3402.55 c LP solve time 0 s
3393.76/3402.55 c LP constraints added 0
3393.76/3402.55 c LP constraints removed 0
3393.76/3402.55 c LP pivots internal 0
3393.76/3402.55 c LP pivots root 0
3393.76/3402.55 c LP calls 0
3393.76/3402.55 c LP optimalities 0
3393.76/3402.55 c LP no pivot count 0
3393.76/3402.55 c LP infeasibilities 0
3393.76/3402.55 c LP valid Farkas constraints 0
3393.76/3402.55 c LP learned Farkas constraints 0
3393.76/3402.55 c LP basis resets 0
3393.76/3402.55 c LP cycling count 0
3393.76/3402.55 c LP singular count 0
3393.76/3402.55 c LP no primal count 0
3393.76/3402.55 c LP no farkas count 0
3393.76/3402.55 c LP other issue count 0
3393.76/3402.55 c LP Gomory cuts 0
3393.76/3402.55 c LP learned cuts 0
3393.76/3402.55 c LP deleted cuts 0
3393.76/3402.55 c LP encountered Gomory constraints 0
3393.76/3402.55 c LP encountered Farkas constraints 0
3393.76/3402.55 c LP encountered learned Farkas constraints 0
3393.76/3402.55 c CG auxiliary variables introduced 0
3393.76/3402.55 c CG solutions found 54
3393.76/3402.55 c CG cores constructed 4
3393.76/3402.55 c CG core cardinality constraints returned 0
3393.76/3402.55 c CG unit cores 0
3393.76/3402.55 c CG single cores 4
3393.76/3402.55 c CG blocks removed during cardinality reduction 0
3393.76/3402.55 c CG first core best 0
3393.76/3402.55 c CG decision core best 0
3393.76/3402.55 c CG core reduction tie 0
3393.76/3402.55 c CG core degree average 1.00
3393.76/3402.55 c CG core slack average 191.75
3393.76/3402.55 c CG exhausted 0
3393.76/3402.55 c CG exhaust time 0 s
3393.76/3402.55 c CG trimmed 0
3393.76/3402.55 c CG trim time 0.020477 s
3393.76/3402.55 c CG minimized 0
3393.76/3402.55 c CG minimize time 0 s
3393.76/3402.55 c CG am1 prop time 0.001343 s
3393.76/3402.55 c CG # am1s reformulated 0
3393.76/3402.55 c CG lower bound derived from am1s 0
3393.76/3402.55 c CG # clausal cores 4
3393.76/3402.55 c CG # cardinality cores 0
3393.76/3402.55 c CG # pb cores 0
3393.76/3402.55 c CG # pb reforms 0
3393.76/3402.55 c CG # cores discarded because of pb reform 0
3393.76/3402.55 d LOWERBOUND 3203156
3393.76/3402.55 d NCORES 4
3393.76/3402.55 d NPBCORES 0
3393.76/3402.55 d NPBREFORM 0
3393.76/3402.55 d NTRIMMED 0
3393.76/3402.55 d NEXHAUSTED 0
3393.76/3402.55 d NAM1S 0
3393.76/3402.55 d AM1LB 0
3393.76/3402.55 c [Papilo Statistics]
3393.76/3402.55 c prepro time 0.0296308s
3393.76/3402.55 c # tsx applied 12355
3393.76/3402.55 c # tsx conflicts 0
3393.76/3402.55 c # bound changes 140
3393.76/3402.55 c # side changes 2415
3393.76/3402.55 c # coef changes 31395
3393.76/3402.55 c # rounds 3
3393.76/3402.55 c # deted vars 4970
3393.76/3402.55 c # deted constrs 9662
3393.76/3402.55 c # consecutive rounds of only bound changes 0
3393.76/3402.55 c [STEP] postprocessing with Papilo
3393.76/3402.55 o 3892789
3393.76/3402.55 s OPTIMUM FOUND
3393.76/3402.55 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: 64059 MiB (61282 MiB free)
memory of node 1: 64510 MiB (63201 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435688-1721133829/watcher-4435688-1721133829 -o /tmp/evaluation-result-4435688-1721133829/solver-4435688-1721133829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721129892-842642 --watchdog 3760 mixed-bag HOME/instance-4435688-1721133829.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=844875, runsolver pid=844872
[startup+0.10023 s]*
/proc/loadavg: 4.56 4.22 4.13 5/244 844876
/proc/meminfo: memFree=127466504/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=78080 memory=11732 CPUtime=0.09 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 2425 0 0 0 9 0 0 0 20 0 1 0 165542544 79953920 2933 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 19520 2933 1672 3002 0 3810 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 78080 KiB
Current children cumulated memory: 11732 KiB
[startup+0.213263 s]*
/proc/loadavg: 4.56 4.22 4.13 5/244 844876
/proc/meminfo: memFree=127425008/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=128632 memory=61692 CPUtime=0.2 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 14222 0 0 0 18 2 0 0 20 0 1 0 165542544 131719168 15423 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 32158 15423 3861 3002 0 15909 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128632 KiB
Current children cumulated memory: 61692 KiB
[startup+0.313095 s]*
/proc/loadavg: 4.56 4.22 4.13 5/244 844876
/proc/meminfo: memFree=127417212/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=134532 memory=67092 CPUtime=0.31 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 15568 0 0 0 28 3 0 0 20 0 1 0 165542544 137760768 16773 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 33633 16773 3893 3002 0 17384 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 134532 KiB
Current children cumulated memory: 67092 KiB
[startup+0.700338 s]
/proc/loadavg: 4.56 4.22 4.13 5/244 844876
/proc/meminfo: memFree=127385180/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=179800 memory=101804 CPUtime=0.68 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 24777 0 0 0 64 4 0 0 20 0 1 0 165542544 184115200 25451 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 44950 25451 4093 3002 0 28701 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 179800 KiB
Current children cumulated memory: 101804 KiB
[startup+1.50034 s]
/proc/loadavg: 4.59 4.23 4.14 5/244 844876
/proc/meminfo: memFree=127378708/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=180344 memory=102548 CPUtime=1.48 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 24998 0 0 0 144 4 0 0 20 0 1 0 165542544 184672256 25637 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 45086 25637 4093 3002 0 28837 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180344 KiB
Current children cumulated memory: 102548 KiB
[startup+3.11295 s]
/proc/loadavg: 4.59 4.23 4.14 5/244 844876
/proc/meminfo: memFree=127364828/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=190384 memory=111516 CPUtime=3.09 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 27261 0 0 0 304 5 0 0 20 0 1 0 165542544 194953216 27879 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 47596 27879 4093 3002 0 31347 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 190384 KiB
Current children cumulated memory: 111516 KiB
[startup+6.30031 s]
/proc/loadavg: 4.63 4.25 4.14 5/244 844878
/proc/meminfo: memFree=127338400/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=206864 memory=126440 CPUtime=6.27 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 31074 0 0 0 621 6 0 0 20 0 1 0 165542544 211828736 31610 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 51716 31610 4093 3002 0 35467 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 206864 KiB
Current children cumulated memory: 126440 KiB
[startup+12.7003 s]
/proc/loadavg: 4.66 4.26 4.15 5/244 844879
/proc/meminfo: memFree=127316604/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=217620 memory=136772 CPUtime=12.65 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 33689 0 0 0 1259 6 0 0 20 0 1 0 165542544 222842880 34193 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 54405 34193 4108 3002 0 38156 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 217620 KiB
Current children cumulated memory: 136772 KiB
[startup+25.5004 s]
/proc/loadavg: 4.63 4.27 4.15 5/244 844880
/proc/meminfo: memFree=127279932/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=241428 memory=159764 CPUtime=25.41 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 39433 0 0 0 2534 7 0 0 20 0 1 0 165542544 247222272 39941 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 60357 39941 4124 3002 0 44108 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 241428 KiB
Current children cumulated memory: 159764 KiB
[startup+51.1129 s]
/proc/loadavg: 4.43 4.25 4.15 5/244 844885
/proc/meminfo: memFree=127223560/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=259728 memory=176816 CPUtime=50.95 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 43751 0 0 0 5085 10 0 0 20 0 1 0 165542544 265961472 44204 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 64932 44204 4140 3002 0 48683 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 259728 KiB
Current children cumulated memory: 176816 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.24 4.15 5/244 844894
/proc/meminfo: memFree=127166252/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=259728 memory=177044 CPUtime=102 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 43889 0 0 0 10187 13 0 0 20 0 1 0 165542544 265961472 44261 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 64932 44261 4140 3002 0 48683 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 259728 KiB
Current children cumulated memory: 177044 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.23 4.15 5/244 844910
/proc/meminfo: memFree=127109368/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=259728 memory=177216 CPUtime=161.83 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 43915 0 0 0 16169 14 0 0 20 0 1 0 165542544 265961472 44304 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 64932 44304 4140 3002 0 48683 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 259728 KiB
Current children cumulated memory: 177216 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.18 4.14 5/244 844920
/proc/meminfo: memFree=127017792/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=278136 memory=195644 CPUtime=221.66 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 48536 0 0 0 22150 16 0 0 20 0 1 0 165542544 284811264 48911 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 69534 48911 4140 3002 0 53285 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 278136 KiB
Current children cumulated memory: 195644 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.16 4.13 5/244 844930
/proc/meminfo: memFree=126922432/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=290152 memory=207528 CPUtime=281.49 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 51676 0 0 0 28131 18 0 0 20 0 1 0 165542544 297115648 51882 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 72538 51882 4140 3002 0 56289 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 290152 KiB
Current children cumulated memory: 207528 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/244 844941
/proc/meminfo: memFree=126778260/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=344004 memory=254008 CPUtime=341.33 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 56925 0 0 0 34093 40 0 0 20 0 1 0 165542544 352260096 63502 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 86001 63502 4396 3002 0 69752 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 344004 KiB
Current children cumulated memory: 254008 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/245 844954
/proc/meminfo: memFree=126698764/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=344004 memory=254228 CPUtime=401.17 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 56939 0 0 0 40053 64 0 0 20 0 1 0 165542544 352260096 63557 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 86001 63557 4396 3002 0 69752 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 344004 KiB
Current children cumulated memory: 254228 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/245 844964
/proc/meminfo: memFree=126661932/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=344004 memory=258364 CPUtime=461.01 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 56981 0 0 0 46024 77 0 0 20 0 1 0 165542544 352260096 64591 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 86001 64591 4396 3002 0 69752 0
################
# More data... #
################
/proc/loadavg: 4.07 4.13 4.17 5/243 846479
/proc/meminfo: memFree=125914964/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=534856 memory=419448 CPUtime=2675.41 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 74209 0 0 0 267165 376 0 0 20 0 1 0 165542544 547692544 104862 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 133714 104862 4396 3002 0 117465 0
Current children cumulated CPU time: 2675.41 s
Current children cumulated vsize: 534856 KiB
Current children cumulated memory: 419448 KiB
[startup+2742.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/243 846490
/proc/meminfo: memFree=125915012/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=534856 memory=419532 CPUtime=2735.27 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 74379 0 0 0 273146 381 0 0 20 0 1 0 165542544 547692544 104883 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 133714 104883 4396 3002 0 117465 0
Current children cumulated CPU time: 2735.27 s
Current children cumulated vsize: 534856 KiB
Current children cumulated memory: 419532 KiB
[startup+2802.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/246 846559
/proc/meminfo: memFree=125914304/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=534856 memory=419532 CPUtime=2795.12 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 74548 0 0 0 279121 391 0 0 20 0 1 0 165542544 547692544 104883 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 133714 104883 4396 3002 0 117465 0
Current children cumulated CPU time: 2795.12 s
Current children cumulated vsize: 534856 KiB
Current children cumulated memory: 419532 KiB
[startup+2862.3 s]
/proc/loadavg: 4.04 4.11 4.15 5/245 846569
/proc/meminfo: memFree=125914264/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=534856 memory=419532 CPUtime=2854.97 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 74734 0 0 0 285103 394 0 0 20 0 1 0 165542544 547692544 104883 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 133714 104883 4396 3002 0 117465 0
Current children cumulated CPU time: 2854.97 s
Current children cumulated vsize: 534856 KiB
Current children cumulated memory: 419532 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/245 846580
/proc/meminfo: memFree=125913268/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=535984 memory=420168 CPUtime=2914.82 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 75081 0 0 0 291086 396 0 0 20 0 1 0 165542544 548847616 105042 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 133996 105042 4396 3002 0 117747 0
Current children cumulated CPU time: 2914.82 s
Current children cumulated vsize: 535984 KiB
Current children cumulated memory: 420168 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/244 846590
/proc/meminfo: memFree=125895236/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=535984 memory=420240 CPUtime=2974.67 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 75291 0 0 0 297069 398 0 0 20 0 1 0 165542544 548847616 105060 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 133996 105060 4396 3002 0 117747 0
Current children cumulated CPU time: 2974.67 s
Current children cumulated vsize: 535984 KiB
Current children cumulated memory: 420240 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/244 846601
/proc/meminfo: memFree=125890488/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=536908 memory=420824 CPUtime=3034.53 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 75597 0 0 0 303047 406 0 0 20 0 1 0 165542544 549793792 105206 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 134227 105206 4396 3002 0 117978 0
Current children cumulated CPU time: 3034.53 s
Current children cumulated vsize: 536908 KiB
Current children cumulated memory: 420824 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/241 846611
/proc/meminfo: memFree=125890136/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=536908 memory=420824 CPUtime=3094.37 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 75769 0 0 0 309029 408 0 0 20 0 1 0 165542544 549793792 105206 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 134227 105206 4396 3002 0 117978 0
Current children cumulated CPU time: 3094.37 s
Current children cumulated vsize: 536908 KiB
Current children cumulated memory: 420824 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.13 5/241 846622
/proc/meminfo: memFree=125884416/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=536908 memory=420824 CPUtime=3154.23 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 75962 0 0 0 315011 412 0 0 20 0 1 0 165542544 549793792 105206 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 134227 105206 4396 3002 0 117978 0
Current children cumulated CPU time: 3154.23 s
Current children cumulated vsize: 536908 KiB
Current children cumulated memory: 420824 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.12 4.14 5/241 846632
/proc/meminfo: memFree=125873424/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=536908 memory=420824 CPUtime=3214.08 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 76119 0 0 0 320989 419 0 0 20 0 1 0 165542544 549793792 105206 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 134227 105206 4396 3002 0 117978 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 536908 KiB
Current children cumulated memory: 420824 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.13 4.14 5/241 846780
/proc/meminfo: memFree=124527892/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=536908 memory=420824 CPUtime=3273.93 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 76286 0 0 0 326970 423 0 0 20 0 1 0 165542544 549793792 105206 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 134227 105206 4396 3002 0 117978 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 536908 KiB
Current children cumulated memory: 420824 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.13 4.14 5/241 846791
/proc/meminfo: memFree=122594412/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=536908 memory=420832 CPUtime=3333.75 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 76430 0 0 0 332947 428 0 0 20 0 1 0 165542544 549793792 105208 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 134227 105208 4396 3002 0 117978 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 536908 KiB
Current children cumulated memory: 420832 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.14 4.14 5/244 846806
/proc/meminfo: memFree=122276988/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=536908 memory=420832 CPUtime=3393.56 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 76592 0 0 0 338920 436 0 0 20 0 1 0 165542544 549793792 105208 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 134227 105208 4396 3002 0 117978 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 536908 KiB
Current children cumulated memory: 420832 KiB
[startup+3402.56 s]
# the end of solver process 844875 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3389.47 s, system=4.37197 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3402.4 s]
/proc/loadavg: 4.20 4.14 4.14 5/244 846806
/proc/meminfo: memFree=122276988/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=536908 memory=420832 CPUtime=3393.66 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 76592 0 0 0 338930 436 0 0 20 0 1 0 165542544 549793792 105208 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 134227 105208 4396 3002 0 117978 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 536908 KiB
Current children cumulated memory: 420832 KiB
[startup+3402.5 s]
/proc/loadavg: 4.20 4.14 4.14 5/244 846806
/proc/meminfo: memFree=122276988/131655788 swapFree=131071996/131071996
[pid=844875] ppid=844872 vsize=536908 memory=420832 CPUtime=3393.76 cores=5,7
/proc/844875/stat : 844875 (mixed-bag) R 844872 844875 842629 0 -1 4194304 76592 0 0 0 338940 436 0 0 20 0 1 0 165542544 549793792 105208 134679101440 4194304 16487941 140737375764416 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 41123840 140737375769623 140737375769700 140737375769700 140737375776715 0
/proc/844875/statm: 134227 105208 4396 3002 0 117978 0
Current children cumulated CPU time: 3393.76 s
Current children cumulated vsize: 536908 KiB
Current children cumulated memory: 420832 KiB
Child status: 0
Real time (s): 3402.56
CPU time (s): 3393.84
CPU user time (s): 3389.47
CPU system time (s): 4.37197
CPU usage (%): 99.7436
Max. virtual memory (cumulated for all children) (KiB): 536908
Max. memory (cumulated for all children) (KiB): 420832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3389.47
system time used= 4.37197
maximum resident set size= 423576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77338
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= 94
involuntary context switches= 1449
# summary of solver processes directly reported to runsolver:
# pid: 844875
# total CPU time (s): 3393.84
# total CPU user time (s): 3389.47
# total CPU system time (s): 4.37197
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5405 second user time and 32.7759 second system time
The end
Begin job on nodeC009 at 2024-07-16 14:44:01
IDJOB=4435688
IDBENCH=155609
IDSOLVER=3066
FILE ID=nodeC009/4435688-1721133829
RUNJOBID= nodeC009-1721129892-842642
SLURM_JOB_ID= 7505696
Free space on /tmp= 723716 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435688-1721133829/watcher-4435688-1721133829 -o /tmp/evaluation-result-4435688-1721133829/solver-4435688-1721133829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721129892-842642 --watchdog 3760 mixed-bag HOME/instance-4435688-1721133829.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f134d089c54411466f2bcbd6371e604a
RANDOM SEED=2004521258
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3505.160
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3586.160
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.503
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.414
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3634.689
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3494.275
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.503
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.328
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127471876 kB
MemAvailable: 129056372 kB
Buffers: 418572 kB
Cached: 1992456 kB
SwapCached: 0 kB
Active: 732272 kB
Inactive: 2889660 kB
Active(anon): 1476 kB
Inactive(anon): 1247444 kB
Active(file): 730796 kB
Inactive(file): 1642216 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16668 kB
Writeback: 0 kB
AnonPages: 1209544 kB
Mapped: 138880 kB
Shmem: 37700 kB
KReclaimable: 103032 kB
Slab: 201488 kB
SReclaimable: 103032 kB
SUnreclaim: 98456 kB
KernelStack: 3932 kB
PageTables: 11992 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1545304 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 743424 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723652 MiB
End job on nodeC009 at 2024-07-16 15:40:44