0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.03 c #variables 10432 #constraints 716
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 67 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.015761
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.018528
0.00/0.05 c GLOBAL bounds - >= 29 @ 0.023022
5.76/5.89 c #Conflicts: 1000 | #Constraints: 1716
5.76/5.89 c #Conflicts: 2000 | #Constraints: 2717
5.76/5.89 c INPROCESSING
5.76/5.89 c GARBAGE COLLECT
5.76/5.89 c #Conflicts: 3000 | #Constraints: 2742
5.76/5.89 c #Conflicts: 4000 | #Constraints: 3746
5.76/5.89 c INPROCESSING
5.76/5.89 c GARBAGE COLLECT
5.76/5.89 c rational objective 29
12.14/12.25 c #Conflicts: 5000 | #Constraints: 3154
12.14/12.25 c #Conflicts: 6000 | #Constraints: 4154
12.14/12.25 c INPROCESSING
12.14/12.25 c GARBAGE COLLECT
12.14/12.25 c rational objective 29
22.72/22.88 c #Conflicts: 7000 | #Constraints: 3173
22.72/22.88 c #Conflicts: 8000 | #Constraints: 4186
22.72/22.88 c #Conflicts: 9000 | #Constraints: 5193
22.72/22.88 c INPROCESSING
22.72/22.88 c GARBAGE COLLECT
22.72/22.88 c rational objective 29
30.20/30.37 c #Conflicts: 10000 | #Constraints: 3884
30.20/30.37 c #Conflicts: 11000 | #Constraints: 4884
30.20/30.37 c #Conflicts: 12000 | #Constraints: 5884
30.20/30.37 c INPROCESSING
30.20/30.37 c GARBAGE COLLECT
30.20/30.37 c rational objective 29
34.99/35.17 c #Conflicts: 13000 | #Constraints: 4321
34.99/35.17 c #Conflicts: 14000 | #Constraints: 5321
34.99/35.17 c #Conflicts: 15000 | #Constraints: 6322
34.99/35.17 c INPROCESSING
34.99/35.17 c GARBAGE COLLECT
34.99/35.17 c rational objective 29
42.56/42.71 c #Conflicts: 16000 | #Constraints: 4551
42.56/42.71 c #Conflicts: 17000 | #Constraints: 5558
42.56/42.71 c #Conflicts: 18000 | #Constraints: 6558
42.56/42.71 c INPROCESSING
42.56/42.71 c GARBAGE COLLECT
42.56/42.71 c rational objective 29
54.23/54.41 c #Conflicts: 19000 | #Constraints: 4574
54.23/54.41 c #Conflicts: 20000 | #Constraints: 5589
54.23/54.41 c #Conflicts: 21000 | #Constraints: 6590
54.23/54.41 c INPROCESSING
54.23/54.41 c GARBAGE COLLECT
54.23/54.41 c rational objective 29
61.91/62.15 c #Conflicts: 22000 | #Constraints: 4373
61.91/62.15 c #Conflicts: 23000 | #Constraints: 5377
61.91/62.15 c #Conflicts: 24000 | #Constraints: 6388
61.91/62.15 c #Conflicts: 25000 | #Constraints: 7406
61.91/62.15 c INPROCESSING
61.91/62.15 c GARBAGE COLLECT
61.91/62.15 c rational objective 29
69.89/70.14 c #Conflicts: 26000 | #Constraints: 4988
69.89/70.14 c #Conflicts: 27000 | #Constraints: 6004
69.89/70.14 c #Conflicts: 28000 | #Constraints: 7021
69.89/70.14 c #Conflicts: 29000 | #Constraints: 8038
69.89/70.14 c INPROCESSING
69.89/70.14 c GARBAGE COLLECT
69.89/70.14 c rational objective 29
81.06/81.39 c #Conflicts: 30000 | #Constraints: 5472
81.06/81.39 c #Conflicts: 31000 | #Constraints: 6473
81.06/81.39 c #Conflicts: 32000 | #Constraints: 7473
81.06/81.39 c #Conflicts: 33000 | #Constraints: 8577
81.06/81.39 c INPROCESSING
81.06/81.39 c GARBAGE COLLECT
81.06/81.39 c #Conflicts: 34000 | #Constraints: 5659
81.06/81.39 c #Conflicts: 35000 | #Constraints: 6659
81.06/81.39 c #Conflicts: 36000 | #Constraints: 7659
81.06/81.39 c #Conflicts: 37000 | #Constraints: 8720
81.06/81.39 c INPROCESSING
81.06/81.39 c GARBAGE COLLECT
81.06/81.39 c rational objective 29
103.59/103.95 c #Conflicts: 38000 | #Constraints: 5648
103.59/103.95 c #Conflicts: 39000 | #Constraints: 6651
103.59/103.95 c #Conflicts: 40000 | #Constraints: 7671
103.59/103.95 c #Conflicts: 41000 | #Constraints: 8679
103.59/103.95 c INPROCESSING
103.59/103.95 c GARBAGE COLLECT
103.59/103.95 c #Conflicts: 42000 | #Constraints: 5418
103.59/103.95 c #Conflicts: 43000 | #Constraints: 6419
103.59/103.95 c #Conflicts: 44000 | #Constraints: 8082
103.59/103.95 c #Conflicts: 45000 | #Constraints: 9742
103.59/103.95 c #Conflicts: 46000 | #Constraints: 10750
103.59/103.95 c INPROCESSING
103.59/103.95 c GARBAGE COLLECT
103.59/103.95 c rational objective 29
111.57/111.98 c #Conflicts: 47000 | #Constraints: 6839
111.57/111.98 c #Conflicts: 48000 | #Constraints: 7839
111.57/111.98 c #Conflicts: 49000 | #Constraints: 8840
111.57/111.98 c #Conflicts: 50000 | #Constraints: 9866
111.57/111.98 c #Conflicts: 51000 | #Constraints: 10881
111.57/111.98 c INPROCESSING
111.57/111.98 c GARBAGE COLLECT
111.57/111.98 c rational objective 29
117.85/118.25 c #Conflicts: 52000 | #Constraints: 6819
117.85/118.25 c #Conflicts: 53000 | #Constraints: 7819
117.85/118.25 c #Conflicts: 54000 | #Constraints: 8871
117.85/118.25 c #Conflicts: 55000 | #Constraints: 9871
117.85/118.25 c #Conflicts: 56000 | #Constraints: 10871
117.85/118.25 c INPROCESSING
117.85/118.25 c GARBAGE COLLECT
117.85/118.25 c rational objective 29
126.74/127.19 c #Conflicts: 57000 | #Constraints: 6816
126.74/127.19 c #Conflicts: 58000 | #Constraints: 7820
126.74/127.19 c #Conflicts: 59000 | #Constraints: 8824
126.74/127.19 c #Conflicts: 60000 | #Constraints: 9827
126.74/127.19 c #Conflicts: 61000 | #Constraints: 10829
126.74/127.19 c INPROCESSING
126.74/127.19 c GARBAGE COLLECT
126.74/127.19 c rational objective 29
137.00/137.42 c #Conflicts: 62000 | #Constraints: 6700
137.00/137.42 c #Conflicts: 63000 | #Constraints: 7707
137.00/137.42 c #Conflicts: 64000 | #Constraints: 8709
137.00/137.42 c #Conflicts: 65000 | #Constraints: 9721
137.00/137.42 c #Conflicts: 66000 | #Constraints: 10746
137.00/137.42 c INPROCESSING
137.00/137.42 c GARBAGE COLLECT
137.00/137.42 c rational objective 29
146.98/147.48 c #Conflicts: 67000 | #Constraints: 6469
146.98/147.48 c #Conflicts: 68000 | #Constraints: 7485
146.98/147.48 c #Conflicts: 69000 | #Constraints: 8492
146.98/147.48 c #Conflicts: 70000 | #Constraints: 9523
146.98/147.48 c #Conflicts: 71000 | #Constraints: 10546
146.98/147.48 c #Conflicts: 72000 | #Constraints: 11548
146.98/147.48 c INPROCESSING
146.98/147.48 c GARBAGE COLLECT
146.98/147.48 c rational objective 29
160.04/160.58 c #Conflicts: 73000 | #Constraints: 7076
160.04/160.58 c #Conflicts: 74000 | #Constraints: 8077
160.04/160.58 c #Conflicts: 75000 | #Constraints: 9079
160.04/160.58 c #Conflicts: 76000 | #Constraints: 10081
160.04/160.58 c #Conflicts: 77000 | #Constraints: 11093
160.04/160.58 c #Conflicts: 78000 | #Constraints: 12096
160.04/160.58 c INPROCESSING
160.04/160.58 c GARBAGE COLLECT
160.04/160.58 c rational objective 29
172.11/172.70 c #Conflicts: 79000 | #Constraints: 7428
172.11/172.70 c #Conflicts: 80000 | #Constraints: 8437
172.11/172.70 c #Conflicts: 81000 | #Constraints: 9440
172.11/172.70 c #Conflicts: 82000 | #Constraints: 10442
172.11/172.70 c #Conflicts: 83000 | #Constraints: 11444
172.11/172.70 c #Conflicts: 84000 | #Constraints: 12454
172.11/172.70 c INPROCESSING
172.11/172.70 c GARBAGE COLLECT
172.11/172.70 c rational objective 29
186.17/186.79 c #Conflicts: 85000 | #Constraints: 7649
186.17/186.79 c #Conflicts: 86000 | #Constraints: 8786
186.17/186.79 c #Conflicts: 87000 | #Constraints: 9889
186.17/186.79 c #Conflicts: 88000 | #Constraints: 10954
186.17/186.79 c #Conflicts: 89000 | #Constraints: 12012
186.17/186.79 c #Conflicts: 90000 | #Constraints: 13168
186.17/186.79 c INPROCESSING
186.17/186.79 c GARBAGE COLLECT
186.17/186.79 c rational objective 29
194.14/194.77 c #Conflicts: 91000 | #Constraints: 7922
194.14/194.77 c #Conflicts: 92000 | #Constraints: 8922
194.14/194.77 c #Conflicts: 93000 | #Constraints: 9922
194.14/194.77 c #Conflicts: 94000 | #Constraints: 10922
194.14/194.77 c #Conflicts: 95000 | #Constraints: 11922
194.14/194.77 c #Conflicts: 96000 | #Constraints: 12924
194.14/194.77 c INPROCESSING
194.14/194.77 c GARBAGE COLLECT
194.14/194.77 c rational objective 29
210.60/211.21 c #Conflicts: 97000 | #Constraints: 7604
210.60/211.21 c #Conflicts: 98000 | #Constraints: 8610
210.60/211.21 c #Conflicts: 99000 | #Constraints: 9618
210.60/211.21 c #Conflicts: 100000 | #Constraints: 10628
210.60/211.21 c #Conflicts: 101000 | #Constraints: 11644
210.60/211.21 c #Conflicts: 102000 | #Constraints: 12645
210.60/211.21 c #Conflicts: 103000 | #Constraints: 13648
210.60/211.21 c INPROCESSING
210.60/211.21 c GARBAGE COLLECT
210.60/211.21 c rational objective 29
223.57/224.27 c #Conflicts: 104000 | #Constraints: 8115
223.57/224.27 c #Conflicts: 105000 | #Constraints: 9115
223.57/224.27 c #Conflicts: 106000 | #Constraints: 10124
223.57/224.27 c #Conflicts: 107000 | #Constraints: 11134
223.57/224.27 c #Conflicts: 108000 | #Constraints: 12136
223.57/224.27 c #Conflicts: 109000 | #Constraints: 13139
223.57/224.27 c #Conflicts: 110000 | #Constraints: 14140
223.57/224.27 c INPROCESSING
223.57/224.27 c GARBAGE COLLECT
223.57/224.27 c rational objective 29
236.63/237.37 c #Conflicts: 111000 | #Constraints: 8461
236.63/237.37 c #Conflicts: 112000 | #Constraints: 9473
236.63/237.37 c #Conflicts: 113000 | #Constraints: 10478
236.63/237.37 c #Conflicts: 114000 | #Constraints: 11489
236.63/237.37 c #Conflicts: 115000 | #Constraints: 12498
236.63/237.37 c #Conflicts: 116000 | #Constraints: 13511
236.63/237.37 c #Conflicts: 117000 | #Constraints: 14521
236.63/237.37 c INPROCESSING
236.63/237.37 c GARBAGE COLLECT
236.63/237.37 c rational objective 29
260.67/261.46 c #Conflicts: 118000 | #Constraints: 8651
260.67/261.46 c #Conflicts: 119000 | #Constraints: 9677
260.67/261.46 c #Conflicts: 120000 | #Constraints: 10694
260.67/261.46 c #Conflicts: 121000 | #Constraints: 11700
260.67/261.46 c #Conflicts: 122000 | #Constraints: 12713
260.67/261.46 c #Conflicts: 123000 | #Constraints: 13737
260.67/261.46 c #Conflicts: 124000 | #Constraints: 14752
260.67/261.46 c INPROCESSING
260.67/261.46 c GARBAGE COLLECT
260.67/261.46 c rational objective 29
276.33/277.16 c #Conflicts: 125000 | #Constraints: 8672
276.33/277.16 c #Conflicts: 126000 | #Constraints: 9691
276.33/277.16 c #Conflicts: 127000 | #Constraints: 10693
276.33/277.16 c #Conflicts: 128000 | #Constraints: 11698
276.33/277.16 c #Conflicts: 129000 | #Constraints: 12699
276.33/277.16 c #Conflicts: 130000 | #Constraints: 13699
276.33/277.16 c #Conflicts: 131000 | #Constraints: 14700
276.33/277.16 c INPROCESSING
276.33/277.16 c GARBAGE COLLECT
276.33/277.16 c rational objective 29
298.17/299.03 c #Conflicts: 132000 | #Constraints: 8423
298.17/299.03 c #Conflicts: 133000 | #Constraints: 9427
298.17/299.03 c #Conflicts: 134000 | #Constraints: 10434
298.17/299.03 c #Conflicts: 135000 | #Constraints: 11437
298.17/299.03 c #Conflicts: 136000 | #Constraints: 12439
298.17/299.03 c #Conflicts: 137000 | #Constraints: 13448
298.17/299.03 c #Conflicts: 138000 | #Constraints: 14463
298.17/299.03 c #Conflicts: 139000 | #Constraints: 15474
298.17/299.03 c INPROCESSING
298.17/299.03 c GARBAGE COLLECT
298.17/299.03 c rational objective 29
319.60/320.51 c #Conflicts: 140000 | #Constraints: 9042
319.60/320.51 c #Conflicts: 141000 | #Constraints: 10058
319.60/320.51 c #Conflicts: 142000 | #Constraints: 11062
319.60/320.51 c #Conflicts: 143000 | #Constraints: 12069
319.60/320.51 c #Conflicts: 144000 | #Constraints: 13089
319.60/320.51 c #Conflicts: 145000 | #Constraints: 14094
319.60/320.51 c #Conflicts: 146000 | #Constraints: 15096
319.60/320.51 c #Conflicts: 147000 | #Constraints: 16096
319.60/320.51 c INPROCESSING
319.60/320.51 c GARBAGE COLLECT
319.60/320.51 c rational objective 29
342.05/343.01 c #Conflicts: 148000 | #Constraints: 9458
342.05/343.01 c #Conflicts: 149000 | #Constraints: 10464
342.05/343.01 c #Conflicts: 150000 | #Constraints: 11477
342.05/343.01 c #Conflicts: 151000 | #Constraints: 12482
342.05/343.01 c #Conflicts: 152000 | #Constraints: 13486
342.05/343.01 c #Conflicts: 153000 | #Constraints: 14487
342.05/343.01 c #Conflicts: 154000 | #Constraints: 15488
342.05/343.01 c #Conflicts: 155000 | #Constraints: 16503
342.05/343.01 c INPROCESSING
342.05/343.01 c GARBAGE COLLECT
342.05/343.01 c rational objective 29
360.29/361.39 c #Conflicts: 156000 | #Constraints: 9633
360.29/361.39 c #Conflicts: 157000 | #Constraints: 10637
360.29/361.39 c #Conflicts: 158000 | #Constraints: 11638
360.29/361.39 c #Conflicts: 159000 | #Constraints: 12640
360.29/361.39 c #Conflicts: 160000 | #Constraints: 13643
360.29/361.39 c #Conflicts: 161000 | #Constraints: 14645
360.29/361.39 c #Conflicts: 162000 | #Constraints: 15672
360.29/361.39 c #Conflicts: 163000 | #Constraints: 16685
360.29/361.39 c INPROCESSING
360.29/361.39 c GARBAGE COLLECT
360.29/361.39 c rational objective 29
380.64/381.73 c #Conflicts: 164000 | #Constraints: 9647
380.64/381.73 c #Conflicts: 165000 | #Constraints: 10648
380.64/381.73 c #Conflicts: 166000 | #Constraints: 11648
380.64/381.73 c #Conflicts: 167000 | #Constraints: 12662
380.64/381.73 c #Conflicts: 168000 | #Constraints: 13662
380.64/381.73 c #Conflicts: 169000 | #Constraints: 14663
380.64/381.73 c #Conflicts: 170000 | #Constraints: 15672
380.64/381.73 c #Conflicts: 171000 | #Constraints: 16674
380.64/381.73 c INPROCESSING
380.64/381.73 c GARBAGE COLLECT
380.64/381.73 c rational objective 29
411.16/412.36 c #Conflicts: 172000 | #Constraints: 9418
411.16/412.36 c #Conflicts: 173000 | #Constraints: 10425
411.16/412.36 c #Conflicts: 174000 | #Constraints: 11426
411.16/412.36 c #Conflicts: 175000 | #Constraints: 12427
411.16/412.36 c #Conflicts: 176000 | #Constraints: 13427
411.16/412.36 c #Conflicts: 177000 | #Constraints: 14430
411.16/412.36 c #Conflicts: 178000 | #Constraints: 15435
411.16/412.36 c #Conflicts: 179000 | #Constraints: 16436
411.16/412.36 c #Conflicts: 180000 | #Constraints: 17437
411.16/412.36 c INPROCESSING
411.16/412.36 c GARBAGE COLLECT
411.16/412.36 c rational objective 29
431.00/432.22 c #Conflicts: 181000 | #Constraints: 10002
431.00/432.22 c #Conflicts: 182000 | #Constraints: 11024
431.00/432.22 c #Conflicts: 183000 | #Constraints: 12045
431.00/432.22 c #Conflicts: 184000 | #Constraints: 13072
431.00/432.22 c #Conflicts: 185000 | #Constraints: 14074
431.00/432.22 c #Conflicts: 186000 | #Constraints: 15083
431.00/432.22 c #Conflicts: 187000 | #Constraints: 16099
431.00/432.22 c #Conflicts: 188000 | #Constraints: 17103
431.00/432.22 c #Conflicts: 189000 | #Constraints: 18112
431.00/432.22 c INPROCESSING
431.00/432.22 c GARBAGE COLLECT
431.00/432.22 c rational objective 29
490.33/491.77 c #Conflicts: 190000 | #Constraints: 10470
490.33/491.77 c #Conflicts: 191000 | #Constraints: 11475
490.33/491.77 c #Conflicts: 192000 | #Constraints: 12476
490.33/491.77 c #Conflicts: 193000 | #Constraints: 13495
490.33/491.77 c #Conflicts: 194000 | #Constraints: 14496
490.33/491.77 c #Conflicts: 195000 | #Constraints: 15496
490.33/491.77 c #Conflicts: 196000 | #Constraints: 16496
490.33/491.77 c #Conflicts: 197000 | #Constraints: 17496
490.33/491.77 c #Conflicts: 198000 | #Constraints: 18496
490.33/491.77 c INPROCESSING
490.33/491.77 c GARBAGE COLLECT
490.33/491.77 c rational objective 29
506.39/507.86 c #Conflicts: 199000 | #Constraints: 10634
506.39/507.86 c #Conflicts: 200000 | #Constraints: 11637
506.39/507.86 c #Conflicts: 201000 | #Constraints: 12639
506.39/507.86 c #Conflicts: 202000 | #Constraints: 13641
506.39/507.86 c #Conflicts: 203000 | #Constraints: 14641
506.39/507.86 c #Conflicts: 204000 | #Constraints: 15641
506.39/507.86 c #Conflicts: 205000 | #Constraints: 16645
506.39/507.86 c #Conflicts: 206000 | #Constraints: 17654
506.39/507.86 c #Conflicts: 207000 | #Constraints: 18655
506.39/507.86 c INPROCESSING
506.39/507.86 c GARBAGE COLLECT
506.39/507.86 c rational objective 29
611.19/612.96 c #Conflicts: 208000 | #Constraints: 10620
611.19/612.96 c #Conflicts: 209000 | #Constraints: 11624
611.19/612.96 c #Conflicts: 210000 | #Constraints: 12632
611.19/612.96 c #Conflicts: 211000 | #Constraints: 13633
611.19/612.96 c #Conflicts: 212000 | #Constraints: 14635
611.19/612.96 c #Conflicts: 213000 | #Constraints: 15635
611.19/612.96 c #Conflicts: 214000 | #Constraints: 16635
611.19/612.96 c #Conflicts: 215000 | #Constraints: 17635
611.19/612.96 c #Conflicts: 216000 | #Constraints: 18635
611.19/612.96 c INPROCESSING
611.19/612.96 c GARBAGE COLLECT
611.19/612.96 c rational objective 29
632.93/634.71 c #Conflicts: 217000 | #Constraints: 10410
632.93/634.71 c #Conflicts: 218000 | #Constraints: 11435
632.93/634.71 c #Conflicts: 219000 | #Constraints: 12436
632.93/634.71 c #Conflicts: 220000 | #Constraints: 13446
632.93/634.71 c #Conflicts: 221000 | #Constraints: 14457
632.93/634.71 c #Conflicts: 222000 | #Constraints: 15482
632.93/634.71 c #Conflicts: 223000 | #Constraints: 16490
632.93/634.71 c #Conflicts: 224000 | #Constraints: 17504
632.93/634.71 c #Conflicts: 225000 | #Constraints: 18520
632.93/634.71 c #Conflicts: 226000 | #Constraints: 19524
632.93/634.71 c INPROCESSING
632.93/634.71 c GARBAGE COLLECT
632.93/634.71 c rational objective 29
648.59/650.49 c #Conflicts: 227000 | #Constraints: 11052
648.59/650.49 c #Conflicts: 228000 | #Constraints: 12052
648.59/650.49 c #Conflicts: 229000 | #Constraints: 13052
648.59/650.49 c #Conflicts: 230000 | #Constraints: 14057
648.59/650.49 c #Conflicts: 231000 | #Constraints: 15080
648.59/650.49 c #Conflicts: 232000 | #Constraints: 16090
648.59/650.49 c #Conflicts: 233000 | #Constraints: 17100
648.59/650.49 c #Conflicts: 234000 | #Constraints: 18105
648.59/650.49 c #Conflicts: 235000 | #Constraints: 19124
648.59/650.49 c #Conflicts: 236000 | #Constraints: 20131
648.59/650.49 c INPROCESSING
648.59/650.49 c GARBAGE COLLECT
648.59/650.49 c rational objective 29
676.11/678.06 c #Conflicts: 237000 | #Constraints: 11452
676.11/678.06 c #Conflicts: 238000 | #Constraints: 12460
676.11/678.06 c #Conflicts: 239000 | #Constraints: 13465
676.11/678.06 c #Conflicts: 240000 | #Constraints: 14479
676.11/678.06 c #Conflicts: 241000 | #Constraints: 15505
676.11/678.06 c #Conflicts: 242000 | #Constraints: 16538
676.11/678.06 c #Conflicts: 243000 | #Constraints: 17561
676.11/678.06 c #Conflicts: 244000 | #Constraints: 18598
676.11/678.06 c #Conflicts: 245000 | #Constraints: 19610
676.11/678.06 c #Conflicts: 246000 | #Constraints: 20623
676.11/678.06 c INPROCESSING
676.11/678.06 c GARBAGE COLLECT
676.11/678.06 c rational objective 29
702.53/704.51 c #Conflicts: 247000 | #Constraints: 11732
702.53/704.51 c #Conflicts: 248000 | #Constraints: 12738
702.53/704.51 c #Conflicts: 249000 | #Constraints: 13742
702.53/704.51 c #Conflicts: 250000 | #Constraints: 14753
702.53/704.51 c #Conflicts: 251000 | #Constraints: 15776
702.53/704.51 c #Conflicts: 252000 | #Constraints: 16779
702.53/704.51 c #Conflicts: 253000 | #Constraints: 17780
702.53/704.51 c #Conflicts: 254000 | #Constraints: 18784
702.53/704.51 c #Conflicts: 255000 | #Constraints: 19797
702.53/704.51 c #Conflicts: 256000 | #Constraints: 20798
702.53/704.51 c INPROCESSING
702.53/704.51 c GARBAGE COLLECT
702.53/704.51 c rational objective 29
726.47/728.51 c #Conflicts: 257000 | #Constraints: 11699
726.47/728.51 c #Conflicts: 258000 | #Constraints: 12701
726.47/728.51 c #Conflicts: 259000 | #Constraints: 13708
726.47/728.51 c #Conflicts: 260000 | #Constraints: 14710
726.47/728.51 c #Conflicts: 261000 | #Constraints: 15730
726.47/728.51 c #Conflicts: 262000 | #Constraints: 16757
726.47/728.51 c #Conflicts: 263000 | #Constraints: 17772
726.47/728.51 c #Conflicts: 264000 | #Constraints: 18784
726.47/728.51 c #Conflicts: 265000 | #Constraints: 19792
726.47/728.51 c #Conflicts: 266000 | #Constraints: 20801
726.47/728.51 c INPROCESSING
726.47/728.51 c GARBAGE COLLECT
726.47/728.51 c rational objective 29
777.22/779.40 c #Conflicts: 267000 | #Constraints: 11510
777.22/779.40 c #Conflicts: 268000 | #Constraints: 12517
777.22/779.40 c #Conflicts: 269000 | #Constraints: 13526
777.22/779.40 c #Conflicts: 270000 | #Constraints: 14547
777.22/779.40 c #Conflicts: 271000 | #Constraints: 15547
777.22/779.40 c #Conflicts: 272000 | #Constraints: 16548
777.22/779.40 c #Conflicts: 273000 | #Constraints: 17548
777.22/779.40 c #Conflicts: 274000 | #Constraints: 18548
777.22/779.40 c #Conflicts: 275000 | #Constraints: 19548
777.22/779.40 c #Conflicts: 276000 | #Constraints: 20560
777.22/779.40 c #Conflicts: 277000 | #Constraints: 21587
777.22/779.40 c INPROCESSING
777.22/779.40 c GARBAGE COLLECT
777.22/779.40 c rational objective 29
802.55/804.85 c #Conflicts: 278000 | #Constraints: 12078
802.55/804.85 c #Conflicts: 279000 | #Constraints: 13110
802.55/804.85 c #Conflicts: 280000 | #Constraints: 14130
802.55/804.85 c #Conflicts: 281000 | #Constraints: 15150
802.55/804.85 c #Conflicts: 282000 | #Constraints: 16152
802.55/804.85 c #Conflicts: 283000 | #Constraints: 17159
802.55/804.85 c #Conflicts: 284000 | #Constraints: 18171
802.55/804.85 c #Conflicts: 285000 | #Constraints: 19189
802.55/804.85 c #Conflicts: 286000 | #Constraints: 20194
802.55/804.85 c #Conflicts: 287000 | #Constraints: 21225
802.55/804.85 c #Conflicts: 288000 | #Constraints: 22244
802.55/804.85 c INPROCESSING
802.55/804.85 c GARBAGE COLLECT
802.55/804.85 c rational objective 29
824.70/827.07 c #Conflicts: 289000 | #Constraints: 12526
824.70/827.07 c #Conflicts: 290000 | #Constraints: 13531
824.70/827.07 c #Conflicts: 291000 | #Constraints: 14534
824.70/827.07 c #Conflicts: 292000 | #Constraints: 15550
824.70/827.07 c #Conflicts: 293000 | #Constraints: 16557
824.70/827.07 c #Conflicts: 294000 | #Constraints: 17564
824.70/827.07 c #Conflicts: 295000 | #Constraints: 18583
824.70/827.07 c #Conflicts: 296000 | #Constraints: 19601
824.70/827.07 c #Conflicts: 297000 | #Constraints: 20602
824.70/827.07 c #Conflicts: 298000 | #Constraints: 21604
824.70/827.07 c #Conflicts: 299000 | #Constraints: 22605
824.70/827.07 c INPROCESSING
824.70/827.07 c GARBAGE COLLECT
824.70/827.07 c rational objective 29
856.71/859.12 c #Conflicts: 300000 | #Constraints: 12687
856.71/859.12 c #Conflicts: 301000 | #Constraints: 13691
856.71/859.12 c #Conflicts: 302000 | #Constraints: 14714
856.71/859.12 c #Conflicts: 303000 | #Constraints: 15730
856.71/859.12 c #Conflicts: 304000 | #Constraints: 16745
856.71/859.12 c #Conflicts: 305000 | #Constraints: 17761
856.71/859.12 c #Conflicts: 306000 | #Constraints: 18773
856.71/859.12 c #Conflicts: 307000 | #Constraints: 19795
856.71/859.12 c #Conflicts: 308000 | #Constraints: 20828
856.71/859.12 c #Conflicts: 309000 | #Constraints: 21844
856.71/859.12 c #Conflicts: 310000 | #Constraints: 22859
856.71/859.12 c INPROCESSING
856.71/859.12 c GARBAGE COLLECT
856.71/859.12 c rational objective 29
900.58/903.13 c #Conflicts: 311000 | #Constraints: 12727
900.58/903.13 c #Conflicts: 312000 | #Constraints: 13751
900.58/903.13 c #Conflicts: 313000 | #Constraints: 14757
900.58/903.13 c #Conflicts: 314000 | #Constraints: 15771
900.58/903.13 c #Conflicts: 315000 | #Constraints: 16783
900.58/903.13 c #Conflicts: 316000 | #Constraints: 17784
900.58/903.13 c #Conflicts: 317000 | #Constraints: 18784
900.58/903.13 c #Conflicts: 318000 | #Constraints: 19787
900.58/903.13 c #Conflicts: 319000 | #Constraints: 20787
900.58/903.13 c #Conflicts: 320000 | #Constraints: 21787
900.58/903.13 c #Conflicts: 321000 | #Constraints: 22794
900.58/903.13 c INPROCESSING
900.58/903.13 c GARBAGE COLLECT
900.58/903.13 c rational objective 29
959.31/962.07 c #Conflicts: 322000 | #Constraints: 12483
959.31/962.07 c #Conflicts: 323000 | #Constraints: 13484
959.31/962.07 c #Conflicts: 324000 | #Constraints: 14485
959.31/962.07 c #Conflicts: 325000 | #Constraints: 15486
959.31/962.07 c #Conflicts: 326000 | #Constraints: 16487
959.31/962.07 c #Conflicts: 327000 | #Constraints: 17487
959.31/962.07 c #Conflicts: 328000 | #Constraints: 18487
959.31/962.07 c #Conflicts: 329000 | #Constraints: 19487
959.31/962.07 c #Conflicts: 330000 | #Constraints: 20487
959.31/962.07 c #Conflicts: 331000 | #Constraints: 21487
959.31/962.07 c #Conflicts: 332000 | #Constraints: 22487
959.31/962.07 c #Conflicts: 333000 | #Constraints: 23487
959.31/962.07 c INPROCESSING
959.31/962.07 c GARBAGE COLLECT
959.31/962.07 c rational objective 29
1008.77/1011.68 c #Conflicts: 334000 | #Constraints: 13032
1008.77/1011.68 c #Conflicts: 335000 | #Constraints: 14037
1008.77/1011.68 c #Conflicts: 336000 | #Constraints: 15048
1008.77/1011.68 c #Conflicts: 337000 | #Constraints: 16059
1008.77/1011.68 c #Conflicts: 338000 | #Constraints: 17067
1008.77/1011.68 c #Conflicts: 339000 | #Constraints: 18079
1008.77/1011.68 c #Conflicts: 340000 | #Constraints: 19080
1008.77/1011.68 c #Conflicts: 341000 | #Constraints: 20080
1008.77/1011.68 c #Conflicts: 342000 | #Constraints: 21081
1008.77/1011.68 c #Conflicts: 343000 | #Constraints: 22091
1008.77/1011.68 c #Conflicts: 344000 | #Constraints: 23092
1008.77/1011.68 c #Conflicts: 345000 | #Constraints: 24094
1008.77/1011.68 c INPROCESSING
1008.77/1011.68 c GARBAGE COLLECT
1008.77/1011.68 c rational objective 29
1052.15/1055.16 c #Conflicts: 346000 | #Constraints: 13434
1052.15/1055.16 c #Conflicts: 347000 | #Constraints: 14464
1052.15/1055.16 c #Conflicts: 348000 | #Constraints: 15481
1052.15/1055.16 c #Conflicts: 349000 | #Constraints: 16487
1052.15/1055.16 c #Conflicts: 350000 | #Constraints: 17517
1052.15/1055.16 c #Conflicts: 351000 | #Constraints: 18519
1052.15/1055.16 c #Conflicts: 352000 | #Constraints: 19527
1052.15/1055.16 c #Conflicts: 353000 | #Constraints: 20535
1052.15/1055.16 c #Conflicts: 354000 | #Constraints: 21536
1052.15/1055.16 c #Conflicts: 355000 | #Constraints: 22540
1052.15/1055.16 c #Conflicts: 356000 | #Constraints: 23541
1052.15/1055.16 c #Conflicts: 357000 | #Constraints: 24543
1052.15/1055.16 c INPROCESSING
1052.15/1055.16 c GARBAGE COLLECT
1052.15/1055.16 c rational objective 29
1087.65/1090.77 c #Conflicts: 358000 | #Constraints: 13644
1087.65/1090.77 c #Conflicts: 359000 | #Constraints: 14650
1087.65/1090.77 c #Conflicts: 360000 | #Constraints: 15670
1087.65/1090.77 c #Conflicts: 361000 | #Constraints: 16697
1087.65/1090.77 c #Conflicts: 362000 | #Constraints: 17711
1087.65/1090.77 c #Conflicts: 363000 | #Constraints: 18725
1087.65/1090.77 c #Conflicts: 364000 | #Constraints: 19747
1087.65/1090.77 c #Conflicts: 365000 | #Constraints: 20749
1087.65/1090.77 c #Conflicts: 366000 | #Constraints: 21751
1087.65/1090.77 c #Conflicts: 367000 | #Constraints: 22767
1087.65/1090.77 c #Conflicts: 368000 | #Constraints: 23786
1087.65/1090.77 c #Conflicts: 369000 | #Constraints: 24805
1087.65/1090.77 c INPROCESSING
1087.65/1090.77 c GARBAGE COLLECT
1087.65/1090.77 c rational objective 29
1143.19/1146.47 c #Conflicts: 370000 | #Constraints: 13711
1143.19/1146.47 c #Conflicts: 371000 | #Constraints: 14722
1143.19/1146.47 c #Conflicts: 372000 | #Constraints: 15731
1143.19/1146.47 c #Conflicts: 373000 | #Constraints: 16752
1143.19/1146.47 c #Conflicts: 374000 | #Constraints: 17757
1143.19/1146.47 c #Conflicts: 375000 | #Constraints: 18757
1143.19/1146.47 c #Conflicts: 376000 | #Constraints: 19758
1143.19/1146.47 c #Conflicts: 377000 | #Constraints: 20758
1143.19/1146.47 c #Conflicts: 378000 | #Constraints: 21762
1143.19/1146.47 c #Conflicts: 379000 | #Constraints: 22782
1143.19/1146.47 c #Conflicts: 380000 | #Constraints: 23783
1143.19/1146.47 c #Conflicts: 381000 | #Constraints: 24786
1143.19/1146.47 c INPROCESSING
1143.19/1146.47 c GARBAGE COLLECT
1143.19/1146.47 c rational objective 29
1177.99/1181.36 c #Conflicts: 382000 | #Constraints: 13476
1177.99/1181.36 c #Conflicts: 383000 | #Constraints: 14503
1177.99/1181.36 c #Conflicts: 384000 | #Constraints: 15544
1177.99/1181.36 c #Conflicts: 385000 | #Constraints: 16555
1177.99/1181.36 c #Conflicts: 386000 | #Constraints: 17570
1177.99/1181.36 c #Conflicts: 387000 | #Constraints: 18584
1177.99/1181.36 c #Conflicts: 388000 | #Constraints: 19599
1177.99/1181.36 c #Conflicts: 389000 | #Constraints: 20623
1177.99/1181.36 c #Conflicts: 390000 | #Constraints: 21642
1177.99/1181.36 c #Conflicts: 391000 | #Constraints: 22676
1177.99/1181.36 c #Conflicts: 392000 | #Constraints: 23693
1177.99/1181.36 c #Conflicts: 393000 | #Constraints: 24712
1177.99/1181.36 c #Conflicts: 394000 | #Constraints: 25712
1177.99/1181.36 c INPROCESSING
1177.99/1181.36 c GARBAGE COLLECT
1177.99/1181.36 c rational objective 29
1204.52/1207.96 c #Conflicts: 395000 | #Constraints: 14161
1204.52/1207.96 c #Conflicts: 396000 | #Constraints: 15161
1204.52/1207.96 c #Conflicts: 397000 | #Constraints: 16161
1204.52/1207.96 c #Conflicts: 398000 | #Constraints: 17167
1204.52/1207.96 c #Conflicts: 399000 | #Constraints: 18167
1204.52/1207.96 c #Conflicts: 400000 | #Constraints: 19167
1204.52/1207.96 c #Conflicts: 401000 | #Constraints: 20167
1204.52/1207.96 c #Conflicts: 402000 | #Constraints: 21167
1204.52/1207.96 c #Conflicts: 403000 | #Constraints: 22167
1204.52/1207.96 c #Conflicts: 404000 | #Constraints: 23167
1204.52/1207.96 c #Conflicts: 405000 | #Constraints: 24167
1204.52/1207.96 c #Conflicts: 406000 | #Constraints: 25167
1204.52/1207.96 c #Conflicts: 407000 | #Constraints: 26167
1204.52/1207.96 c INPROCESSING
1204.52/1207.96 c GARBAGE COLLECT
1204.52/1207.96 c rational objective 29
1226.86/1230.33 c #Conflicts: 408000 | #Constraints: 14460
1226.86/1230.33 c #Conflicts: 409000 | #Constraints: 15556
1226.86/1230.33 c #Conflicts: 410000 | #Constraints: 16563
1226.86/1230.33 c #Conflicts: 411000 | #Constraints: 17618
1226.86/1230.33 c #Conflicts: 412000 | #Constraints: 18765
1226.86/1230.33 c #Conflicts: 413000 | #Constraints: 20249
1226.86/1230.33 c #Conflicts: 414000 | #Constraints: 21362
1226.86/1230.33 c #Conflicts: 415000 | #Constraints: 22362
1226.86/1230.33 c #Conflicts: 416000 | #Constraints: 23362
1226.86/1230.33 c #Conflicts: 417000 | #Constraints: 24362
1226.86/1230.33 c #Conflicts: 418000 | #Constraints: 25362
1226.86/1230.33 c #Conflicts: 419000 | #Constraints: 26362
1226.86/1230.33 c #Conflicts: 420000 | #Constraints: 27362
1226.86/1230.33 c INPROCESSING
1226.86/1230.33 c GARBAGE COLLECT
1226.86/1230.33 c rational objective 29
1243.52/1247.06 c #Conflicts: 421000 | #Constraints: 15068
1243.52/1247.06 c #Conflicts: 422000 | #Constraints: 16068
1243.52/1247.06 c #Conflicts: 423000 | #Constraints: 17068
1243.52/1247.06 c #Conflicts: 424000 | #Constraints: 18068
1243.52/1247.06 c #Conflicts: 425000 | #Constraints: 19069
1243.52/1247.06 c #Conflicts: 426000 | #Constraints: 20070
1243.52/1247.06 c #Conflicts: 427000 | #Constraints: 21070
1243.52/1247.06 c #Conflicts: 428000 | #Constraints: 22073
1243.52/1247.06 c #Conflicts: 429000 | #Constraints: 23075
1243.52/1247.06 c #Conflicts: 430000 | #Constraints: 24075
1243.52/1247.06 c #Conflicts: 431000 | #Constraints: 25076
1243.52/1247.06 c #Conflicts: 432000 | #Constraints: 26077
1243.52/1247.06 c #Conflicts: 433000 | #Constraints: 27078
1243.52/1247.06 c INPROCESSING
1243.52/1247.06 c GARBAGE COLLECT
1243.52/1247.06 c rational objective 29
1339.84/1343.64 c #Conflicts: 434000 | #Constraints: 14853
1339.84/1343.64 c #Conflicts: 435000 | #Constraints: 15865
1339.84/1343.64 c #Conflicts: 436000 | #Constraints: 16872
1339.84/1343.64 c #Conflicts: 437000 | #Constraints: 17887
1339.84/1343.64 c #Conflicts: 438000 | #Constraints: 18887
1339.84/1343.64 c #Conflicts: 439000 | #Constraints: 19889
1339.84/1343.64 c #Conflicts: 440000 | #Constraints: 20889
1339.84/1343.64 c #Conflicts: 441000 | #Constraints: 21889
1339.84/1343.64 c #Conflicts: 442000 | #Constraints: 22890
1339.84/1343.64 c #Conflicts: 443000 | #Constraints: 23890
1339.84/1343.64 c #Conflicts: 444000 | #Constraints: 24890
1339.84/1343.64 c #Conflicts: 445000 | #Constraints: 25890
1339.84/1343.64 c #Conflicts: 446000 | #Constraints: 26890
1339.84/1343.64 c INPROCESSING
1339.84/1343.64 c GARBAGE COLLECT
1339.84/1343.64 c rational objective 29
1400.77/1404.71 c #Conflicts: 447000 | #Constraints: 14539
1400.77/1404.71 c #Conflicts: 448000 | #Constraints: 15549
1400.77/1404.71 c #Conflicts: 449000 | #Constraints: 16566
1400.77/1404.71 c #Conflicts: 450000 | #Constraints: 17571
1400.77/1404.71 c #Conflicts: 451000 | #Constraints: 18572
1400.77/1404.71 c #Conflicts: 452000 | #Constraints: 19572
1400.77/1404.71 c #Conflicts: 453000 | #Constraints: 20572
1400.77/1404.71 c #Conflicts: 454000 | #Constraints: 21577
1400.77/1404.71 c #Conflicts: 455000 | #Constraints: 22580
1400.77/1404.71 c #Conflicts: 456000 | #Constraints: 23582
1400.77/1404.71 c #Conflicts: 457000 | #Constraints: 24584
1400.77/1404.71 c #Conflicts: 458000 | #Constraints: 25584
1400.77/1404.71 c #Conflicts: 459000 | #Constraints: 26584
1400.77/1404.71 c #Conflicts: 460000 | #Constraints: 27584
1400.77/1404.71 c INPROCESSING
1400.77/1404.71 c GARBAGE COLLECT
1400.77/1404.71 c rational objective 29
1466.29/1470.49 c #Conflicts: 461000 | #Constraints: 15104
1466.29/1470.49 c #Conflicts: 462000 | #Constraints: 16112
1466.29/1470.49 c #Conflicts: 463000 | #Constraints: 17115
1466.29/1470.49 c #Conflicts: 464000 | #Constraints: 18117
1466.29/1470.49 c #Conflicts: 465000 | #Constraints: 19120
1466.29/1470.49 c #Conflicts: 466000 | #Constraints: 20121
1466.29/1470.49 c #Conflicts: 467000 | #Constraints: 21127
1466.29/1470.49 c #Conflicts: 468000 | #Constraints: 22134
1466.29/1470.49 c #Conflicts: 469000 | #Constraints: 23136
1466.29/1470.49 c #Conflicts: 470000 | #Constraints: 24147
1466.29/1470.49 c #Conflicts: 471000 | #Constraints: 25149
1466.29/1470.49 c #Conflicts: 472000 | #Constraints: 26150
1466.29/1470.49 c #Conflicts: 473000 | #Constraints: 27150
1466.29/1470.49 c #Conflicts: 474000 | #Constraints: 28150
1466.29/1470.49 c INPROCESSING
1466.29/1470.49 c GARBAGE COLLECT
1466.29/1470.49 c rational objective 29
1590.83/1595.36 c #Conflicts: 475000 | #Constraints: 15488
1590.83/1595.36 c #Conflicts: 476000 | #Constraints: 16490
1590.83/1595.36 c #Conflicts: 477000 | #Constraints: 17495
1590.83/1595.36 c #Conflicts: 478000 | #Constraints: 18497
1590.83/1595.36 c #Conflicts: 479000 | #Constraints: 19498
1590.83/1595.36 c #Conflicts: 480000 | #Constraints: 20499
1590.83/1595.36 c #Conflicts: 481000 | #Constraints: 21499
1590.83/1595.36 c #Conflicts: 482000 | #Constraints: 22499
1590.83/1595.36 c #Conflicts: 483000 | #Constraints: 23500
1590.83/1595.36 c #Conflicts: 484000 | #Constraints: 24500
1590.83/1595.36 c #Conflicts: 485000 | #Constraints: 25500
1590.83/1595.36 c #Conflicts: 486000 | #Constraints: 26500
1590.83/1595.36 c #Conflicts: 487000 | #Constraints: 27500
1590.83/1595.36 c #Conflicts: 488000 | #Constraints: 28500
1590.83/1595.36 c INPROCESSING
1590.83/1595.36 c GARBAGE COLLECT
1590.83/1595.36 c rational objective 29
1660.34/1665.03 c #Conflicts: 489000 | #Constraints: 15683
1660.34/1665.03 c #Conflicts: 490000 | #Constraints: 16686
1660.34/1665.03 c #Conflicts: 491000 | #Constraints: 17710
1660.34/1665.03 c #Conflicts: 492000 | #Constraints: 18719
1660.34/1665.03 c #Conflicts: 493000 | #Constraints: 19726
1660.34/1665.03 c #Conflicts: 494000 | #Constraints: 20730
1660.34/1665.03 c #Conflicts: 495000 | #Constraints: 21730
1660.34/1665.03 c #Conflicts: 496000 | #Constraints: 22730
1660.34/1665.03 c #Conflicts: 497000 | #Constraints: 23730
1660.34/1665.03 c #Conflicts: 498000 | #Constraints: 24731
1660.34/1665.03 c #Conflicts: 499000 | #Constraints: 25731
1660.34/1665.03 c #Conflicts: 500000 | #Constraints: 26731
1660.34/1665.03 c #Conflicts: 501000 | #Constraints: 27733
1660.34/1665.03 c #Conflicts: 502000 | #Constraints: 28733
1660.34/1665.03 c INPROCESSING
1660.34/1665.03 c GARBAGE COLLECT
1660.34/1665.03 c rational objective 29
1714.39/1719.27 c #Conflicts: 503000 | #Constraints: 15688
1714.39/1719.27 c #Conflicts: 504000 | #Constraints: 16712
1714.39/1719.27 c #Conflicts: 505000 | #Constraints: 17712
1714.39/1719.27 c #Conflicts: 506000 | #Constraints: 18721
1714.39/1719.27 c #Conflicts: 507000 | #Constraints: 19725
1714.39/1719.27 c #Conflicts: 508000 | #Constraints: 20725
1714.39/1719.27 c #Conflicts: 509000 | #Constraints: 21725
1714.39/1719.27 c #Conflicts: 510000 | #Constraints: 22725
1714.39/1719.27 c #Conflicts: 511000 | #Constraints: 23725
1714.39/1719.27 c #Conflicts: 512000 | #Constraints: 24725
1714.39/1719.27 c #Conflicts: 513000 | #Constraints: 25725
1714.39/1719.27 c #Conflicts: 514000 | #Constraints: 26920
1714.39/1719.27 c #Conflicts: 515000 | #Constraints: 27925
1714.39/1719.27 c #Conflicts: 516000 | #Constraints: 28925
1714.39/1719.27 c INPROCESSING
1714.39/1719.27 c GARBAGE COLLECT
1714.39/1719.27 c rational objective 29
1749.59/1754.54 c #Conflicts: 517000 | #Constraints: 15553
1749.59/1754.54 c #Conflicts: 518000 | #Constraints: 16554
1749.59/1754.54 c #Conflicts: 519000 | #Constraints: 17557
1749.59/1754.54 c #Conflicts: 520000 | #Constraints: 18576
1749.59/1754.54 c #Conflicts: 521000 | #Constraints: 19600
1749.59/1754.54 c #Conflicts: 522000 | #Constraints: 20609
1749.59/1754.54 c #Conflicts: 523000 | #Constraints: 21611
1749.59/1754.54 c #Conflicts: 524000 | #Constraints: 22620
1749.59/1754.54 c #Conflicts: 525000 | #Constraints: 23637
1749.59/1754.54 c #Conflicts: 526000 | #Constraints: 24653
1749.59/1754.54 c #Conflicts: 527000 | #Constraints: 25672
1749.59/1754.54 c #Conflicts: 528000 | #Constraints: 26690
1749.59/1754.54 c #Conflicts: 529000 | #Constraints: 27705
1749.59/1754.54 c #Conflicts: 530000 | #Constraints: 28707
1749.59/1754.54 c #Conflicts: 531000 | #Constraints: 29707
1749.59/1754.54 c INPROCESSING
1749.59/1754.54 c GARBAGE COLLECT
1749.59/1754.54 c rational objective 29
1791.68/1796.71 c #Conflicts: 532000 | #Constraints: 16172
1791.68/1796.71 c #Conflicts: 533000 | #Constraints: 17219
1791.68/1796.71 c #Conflicts: 534000 | #Constraints: 18219
1791.68/1796.71 c #Conflicts: 535000 | #Constraints: 19219
1791.68/1796.71 c #Conflicts: 536000 | #Constraints: 20219
1791.68/1796.71 c #Conflicts: 537000 | #Constraints: 21220
1791.68/1796.71 c #Conflicts: 538000 | #Constraints: 22237
1791.68/1796.71 c #Conflicts: 539000 | #Constraints: 23638
1791.68/1796.71 c #Conflicts: 540000 | #Constraints: 25017
1791.68/1796.71 c #Conflicts: 541000 | #Constraints: 26017
1791.68/1796.71 c #Conflicts: 542000 | #Constraints: 27019
1791.68/1796.71 c #Conflicts: 543000 | #Constraints: 28025
1791.68/1796.71 c #Conflicts: 544000 | #Constraints: 29030
1791.68/1796.71 c #Conflicts: 545000 | #Constraints: 30045
1791.68/1796.71 c #Conflicts: 546000 | #Constraints: 31107
1791.68/1796.71 c INPROCESSING
1791.68/1796.71 c GARBAGE COLLECT
1791.68/1796.71 c rational objective 29
1878.74/1884.06 c #Conflicts: 547000 | #Constraints: 16941
1878.74/1884.06 c #Conflicts: 548000 | #Constraints: 17956
1878.74/1884.06 c #Conflicts: 549000 | #Constraints: 18978
1878.74/1884.06 c #Conflicts: 550000 | #Constraints: 19979
1878.74/1884.06 c #Conflicts: 551000 | #Constraints: 20991
1878.74/1884.06 c #Conflicts: 552000 | #Constraints: 22002
1878.74/1884.06 c #Conflicts: 553000 | #Constraints: 23003
1878.74/1884.06 c #Conflicts: 554000 | #Constraints: 24003
1878.74/1884.06 c #Conflicts: 555000 | #Constraints: 25003
1878.74/1884.06 c #Conflicts: 556000 | #Constraints: 26003
1878.74/1884.06 c #Conflicts: 557000 | #Constraints: 27003
1878.74/1884.06 c #Conflicts: 558000 | #Constraints: 28009
1878.74/1884.06 c #Conflicts: 559000 | #Constraints: 29012
1878.74/1884.06 c #Conflicts: 560000 | #Constraints: 30014
1878.74/1884.06 c #Conflicts: 561000 | #Constraints: 31029
1878.74/1884.06 c INPROCESSING
1878.74/1884.06 c GARBAGE COLLECT
1878.74/1884.06 c rational objective 29
1926.81/1932.25 c #Conflicts: 562000 | #Constraints: 16910
1926.81/1932.25 c #Conflicts: 563000 | #Constraints: 17911
1926.81/1932.25 c #Conflicts: 564000 | #Constraints: 18915
1926.81/1932.25 c #Conflicts: 565000 | #Constraints: 19924
1926.81/1932.25 c #Conflicts: 566000 | #Constraints: 20926
1926.81/1932.25 c #Conflicts: 567000 | #Constraints: 21943
1926.81/1932.25 c #Conflicts: 568000 | #Constraints: 22955
1926.81/1932.25 c #Conflicts: 569000 | #Constraints: 23984
1926.81/1932.25 c #Conflicts: 570000 | #Constraints: 24986
1926.81/1932.25 c #Conflicts: 571000 | #Constraints: 25988
1926.81/1932.25 c #Conflicts: 572000 | #Constraints: 26991
1926.81/1932.25 c #Conflicts: 573000 | #Constraints: 27992
1926.81/1932.25 c #Conflicts: 574000 | #Constraints: 28992
1926.81/1932.25 c #Conflicts: 575000 | #Constraints: 29995
1926.81/1932.25 c #Conflicts: 576000 | #Constraints: 30998
1926.81/1932.25 c INPROCESSING
1926.81/1932.25 c GARBAGE COLLECT
1926.81/1932.25 c rational objective 29
1967.50/1973.07 c #Conflicts: 577000 | #Constraints: 16791
1967.50/1973.07 c #Conflicts: 578000 | #Constraints: 17798
1967.50/1973.07 c #Conflicts: 579000 | #Constraints: 18813
1967.50/1973.07 c #Conflicts: 580000 | #Constraints: 19831
1967.50/1973.07 c #Conflicts: 581000 | #Constraints: 20836
1967.50/1973.07 c #Conflicts: 582000 | #Constraints: 21841
1967.50/1973.07 c #Conflicts: 583000 | #Constraints: 22843
1967.50/1973.07 c #Conflicts: 584000 | #Constraints: 23850
1967.50/1973.07 c #Conflicts: 585000 | #Constraints: 24879
1967.50/1973.07 c #Conflicts: 586000 | #Constraints: 25899
1967.50/1973.07 c #Conflicts: 587000 | #Constraints: 26917
1967.50/1973.07 c #Conflicts: 588000 | #Constraints: 27919
1967.50/1973.07 c #Conflicts: 589000 | #Constraints: 28919
1967.50/1973.07 c #Conflicts: 590000 | #Constraints: 29922
1967.50/1973.07 c #Conflicts: 591000 | #Constraints: 30943
1967.50/1973.07 c INPROCESSING
1967.50/1973.07 c GARBAGE COLLECT
1967.50/1973.07 c rational objective 29
2024.54/2030.22 c #Conflicts: 592000 | #Constraints: 16561
2024.54/2030.22 c #Conflicts: 593000 | #Constraints: 17597
2024.54/2030.22 c #Conflicts: 594000 | #Constraints: 18604
2024.54/2030.22 c #Conflicts: 595000 | #Constraints: 19621
2024.54/2030.22 c #Conflicts: 596000 | #Constraints: 20627
2024.54/2030.22 c #Conflicts: 597000 | #Constraints: 21635
2024.54/2030.22 c #Conflicts: 598000 | #Constraints: 22635
2024.54/2030.22 c #Conflicts: 599000 | #Constraints: 23635
2024.54/2030.22 c #Conflicts: 600000 | #Constraints: 24635
2024.54/2030.22 c #Conflicts: 601000 | #Constraints: 25635
2024.54/2030.22 c #Conflicts: 602000 | #Constraints: 26635
2024.54/2030.22 c #Conflicts: 603000 | #Constraints: 27658
2024.54/2030.22 c #Conflicts: 604000 | #Constraints: 28666
2024.54/2030.22 c #Conflicts: 605000 | #Constraints: 29666
2024.54/2030.22 c #Conflicts: 606000 | #Constraints: 30666
2024.54/2030.22 c #Conflicts: 607000 | #Constraints: 31666
2024.54/2030.22 c INPROCESSING
2024.54/2030.22 c GARBAGE COLLECT
2024.54/2030.22 c rational objective 29
2093.85/2099.71 c #Conflicts: 608000 | #Constraints: 17132
2093.85/2099.71 c #Conflicts: 609000 | #Constraints: 18138
2093.85/2099.71 c #Conflicts: 610000 | #Constraints: 19143
2093.85/2099.71 c #Conflicts: 611000 | #Constraints: 20143
2093.85/2099.71 c #Conflicts: 612000 | #Constraints: 21146
2093.85/2099.71 c #Conflicts: 613000 | #Constraints: 22148
2093.85/2099.71 c #Conflicts: 614000 | #Constraints: 23156
2093.85/2099.71 c #Conflicts: 615000 | #Constraints: 24156
2093.85/2099.71 c #Conflicts: 616000 | #Constraints: 25193
2093.85/2099.71 c #Conflicts: 617000 | #Constraints: 26202
2093.85/2099.71 c #Conflicts: 618000 | #Constraints: 27214
2093.85/2099.71 c #Conflicts: 619000 | #Constraints: 28236
2093.85/2099.71 c #Conflicts: 620000 | #Constraints: 29271
2093.85/2099.71 c #Conflicts: 621000 | #Constraints: 30286
2093.85/2099.71 c #Conflicts: 622000 | #Constraints: 31298
2093.85/2099.71 c #Conflicts: 623000 | #Constraints: 32308
2093.85/2099.71 c INPROCESSING
2093.85/2099.71 c GARBAGE COLLECT
2093.85/2099.71 c rational objective 29
2140.43/2146.47 c #Conflicts: 624000 | #Constraints: 17544
2140.43/2146.47 c #Conflicts: 625000 | #Constraints: 18544
2140.43/2146.47 c #Conflicts: 626000 | #Constraints: 19544
2140.43/2146.47 c #Conflicts: 627000 | #Constraints: 20546
2140.43/2146.47 c #Conflicts: 628000 | #Constraints: 21581
2140.43/2146.47 c #Conflicts: 629000 | #Constraints: 22581
2140.43/2146.47 c #Conflicts: 630000 | #Constraints: 23581
2140.43/2146.47 c #Conflicts: 631000 | #Constraints: 24581
2140.43/2146.47 c #Conflicts: 632000 | #Constraints: 25582
2140.43/2146.47 c #Conflicts: 633000 | #Constraints: 26582
2140.43/2146.47 c #Conflicts: 634000 | #Constraints: 27582
2140.43/2146.47 c #Conflicts: 635000 | #Constraints: 28582
2140.43/2146.47 c #Conflicts: 636000 | #Constraints: 29582
2140.43/2146.47 c #Conflicts: 637000 | #Constraints: 30582
2140.43/2146.47 c #Conflicts: 638000 | #Constraints: 31582
2140.43/2146.47 c #Conflicts: 639000 | #Constraints: 32582
2140.43/2146.47 c INPROCESSING
2140.43/2146.47 c GARBAGE COLLECT
2140.43/2146.47 c rational objective 29
2183.02/2189.12 c #Conflicts: 640000 | #Constraints: 17666
2183.02/2189.12 c #Conflicts: 641000 | #Constraints: 18666
2183.02/2189.12 c #Conflicts: 642000 | #Constraints: 19667
2183.02/2189.12 c #Conflicts: 643000 | #Constraints: 20668
2183.02/2189.12 c #Conflicts: 644000 | #Constraints: 21668
2183.02/2189.12 c #Conflicts: 645000 | #Constraints: 22674
2183.02/2189.12 c #Conflicts: 646000 | #Constraints: 23677
2183.02/2189.12 c #Conflicts: 647000 | #Constraints: 24681
2183.02/2189.12 c #Conflicts: 648000 | #Constraints: 26032
2183.02/2189.12 c #Conflicts: 649000 | #Constraints: 27566
2183.02/2189.12 c #Conflicts: 650000 | #Constraints: 29199
2183.02/2189.12 c #Conflicts: 651000 | #Constraints: 30372
2183.02/2189.12 c #Conflicts: 652000 | #Constraints: 31380
2183.02/2189.12 c #Conflicts: 653000 | #Constraints: 32384
2183.02/2189.12 c #Conflicts: 654000 | #Constraints: 33574
2183.02/2189.12 c #Conflicts: 655000 | #Constraints: 35073
2183.02/2189.12 c INPROCESSING
2183.02/2189.12 c GARBAGE COLLECT
2183.02/2189.12 c rational objective 29
2216.12/2222.34 c #Conflicts: 656000 | #Constraints: 18865
2216.12/2222.34 c #Conflicts: 657000 | #Constraints: 19865
2216.12/2222.34 c #Conflicts: 658000 | #Constraints: 20865
2216.12/2222.34 c #Conflicts: 659000 | #Constraints: 21866
2216.12/2222.34 c #Conflicts: 660000 | #Constraints: 22867
2216.12/2222.34 c #Conflicts: 661000 | #Constraints: 23869
2216.12/2222.34 c #Conflicts: 662000 | #Constraints: 24870
2216.12/2222.34 c #Conflicts: 663000 | #Constraints: 25871
2216.12/2222.34 c #Conflicts: 664000 | #Constraints: 26872
2216.12/2222.34 c #Conflicts: 665000 | #Constraints: 27873
2216.12/2222.34 c #Conflicts: 666000 | #Constraints: 28873
2216.12/2222.34 c #Conflicts: 667000 | #Constraints: 29873
2216.12/2222.34 c #Conflicts: 668000 | #Constraints: 30873
2216.12/2222.34 c #Conflicts: 669000 | #Constraints: 31873
2216.12/2222.34 c #Conflicts: 670000 | #Constraints: 32874
2216.12/2222.34 c #Conflicts: 671000 | #Constraints: 33875
2216.12/2222.34 c INPROCESSING
2216.12/2222.34 c GARBAGE COLLECT
2216.12/2222.34 c rational objective 29
2255.92/2262.23 c #Conflicts: 672000 | #Constraints: 18011
2255.92/2262.23 c #Conflicts: 673000 | #Constraints: 19012
2255.92/2262.23 c #Conflicts: 674000 | #Constraints: 20013
2255.92/2262.23 c #Conflicts: 675000 | #Constraints: 21013
2255.92/2262.23 c #Conflicts: 676000 | #Constraints: 22013
2255.92/2262.23 c #Conflicts: 677000 | #Constraints: 23174
2255.92/2262.23 c #Conflicts: 678000 | #Constraints: 24563
2255.92/2262.23 c #Conflicts: 679000 | #Constraints: 26070
2255.92/2262.23 c #Conflicts: 680000 | #Constraints: 27127
2255.92/2262.23 c #Conflicts: 681000 | #Constraints: 28162
2255.92/2262.23 c #Conflicts: 682000 | #Constraints: 29259
2255.92/2262.23 c #Conflicts: 683000 | #Constraints: 30259
2255.92/2262.23 c #Conflicts: 684000 | #Constraints: 31259
2255.92/2262.23 c #Conflicts: 685000 | #Constraints: 32259
2255.92/2262.23 c #Conflicts: 686000 | #Constraints: 33259
2255.92/2262.23 c #Conflicts: 687000 | #Constraints: 34259
2255.92/2262.23 c #Conflicts: 688000 | #Constraints: 35259
2255.92/2262.23 c INPROCESSING
2255.92/2262.23 c GARBAGE COLLECT
2255.92/2262.23 c rational objective 29
2300.39/2306.87 c #Conflicts: 689000 | #Constraints: 18915
2300.39/2306.87 c #Conflicts: 690000 | #Constraints: 19915
2300.39/2306.87 c #Conflicts: 691000 | #Constraints: 20915
2300.39/2306.87 c #Conflicts: 692000 | #Constraints: 21915
2300.39/2306.87 c #Conflicts: 693000 | #Constraints: 22917
2300.39/2306.87 c #Conflicts: 694000 | #Constraints: 23923
2300.39/2306.87 c #Conflicts: 695000 | #Constraints: 24929
2300.39/2306.87 c #Conflicts: 696000 | #Constraints: 25935
2300.39/2306.87 c #Conflicts: 697000 | #Constraints: 26943
2300.39/2306.87 c #Conflicts: 698000 | #Constraints: 27960
2300.39/2306.87 c #Conflicts: 699000 | #Constraints: 28972
2300.39/2306.87 c #Conflicts: 700000 | #Constraints: 29976
2300.39/2306.87 c #Conflicts: 701000 | #Constraints: 30995
2300.39/2306.87 c #Conflicts: 702000 | #Constraints: 32005
2300.39/2306.87 c #Conflicts: 703000 | #Constraints: 33005
2300.39/2306.87 c #Conflicts: 704000 | #Constraints: 34005
2300.39/2306.87 c #Conflicts: 705000 | #Constraints: 35007
2300.39/2306.87 c INPROCESSING
2300.39/2306.87 c GARBAGE COLLECT
2300.39/2306.87 c rational objective 29
2323.53/2330.09 c #Conflicts: 706000 | #Constraints: 18903
2323.53/2330.09 c #Conflicts: 707000 | #Constraints: 19911
2323.53/2330.09 c #Conflicts: 708000 | #Constraints: 20914
2323.53/2330.09 c #Conflicts: 709000 | #Constraints: 21919
2323.53/2330.09 c #Conflicts: 710000 | #Constraints: 22926
2323.53/2330.09 c #Conflicts: 711000 | #Constraints: 23928
2323.53/2330.09 c #Conflicts: 712000 | #Constraints: 24928
2323.53/2330.09 c #Conflicts: 713000 | #Constraints: 25928
2323.53/2330.09 c #Conflicts: 714000 | #Constraints: 26928
2323.53/2330.09 c #Conflicts: 715000 | #Constraints: 27928
2323.53/2330.09 c #Conflicts: 716000 | #Constraints: 28929
2323.53/2330.09 c #Conflicts: 717000 | #Constraints: 29930
2323.53/2330.09 c #Conflicts: 718000 | #Constraints: 30942
2323.53/2330.09 c #Conflicts: 719000 | #Constraints: 31959
2323.53/2330.09 c #Conflicts: 720000 | #Constraints: 32963
2323.53/2330.09 c #Conflicts: 721000 | #Constraints: 33964
2323.53/2330.09 c #Conflicts: 722000 | #Constraints: 34969
2323.53/2330.09 c INPROCESSING
2323.53/2330.09 c GARBAGE COLLECT
2323.53/2330.09 c rational objective 29
2656.69/2664.15 c #Conflicts: 723000 | #Constraints: 18900
2656.69/2664.15 c #Conflicts: 724000 | #Constraints: 19911
2656.69/2664.15 c #Conflicts: 725000 | #Constraints: 20922
2656.69/2664.15 c #Conflicts: 726000 | #Constraints: 21923
2656.69/2664.15 c #Conflicts: 727000 | #Constraints: 22924
2656.69/2664.15 c #Conflicts: 728000 | #Constraints: 23925
2656.69/2664.15 c #Conflicts: 729000 | #Constraints: 24925
2656.69/2664.15 c #Conflicts: 730000 | #Constraints: 25925
2656.69/2664.15 c #Conflicts: 731000 | #Constraints: 26925
2656.69/2664.15 c #Conflicts: 732000 | #Constraints: 27925
2656.69/2664.15 c #Conflicts: 733000 | #Constraints: 28928
2656.69/2664.15 c #Conflicts: 734000 | #Constraints: 29928
2656.69/2664.15 c #Conflicts: 735000 | #Constraints: 30928
2656.69/2664.15 c #Conflicts: 736000 | #Constraints: 31928
2656.69/2664.15 c #Conflicts: 737000 | #Constraints: 32928
2656.69/2664.15 c #Conflicts: 738000 | #Constraints: 33928
2656.69/2664.15 c #Conflicts: 739000 | #Constraints: 34928
2656.69/2664.15 c INPROCESSING
2656.69/2664.15 c GARBAGE COLLECT
2656.69/2664.15 c rational objective 29
2697.08/2704.62 c #Conflicts: 740000 | #Constraints: 18769
2697.08/2704.62 c #Conflicts: 741000 | #Constraints: 19771
2697.08/2704.62 c #Conflicts: 742000 | #Constraints: 21186
2697.08/2704.62 c #Conflicts: 743000 | #Constraints: 22696
2697.08/2704.62 c #Conflicts: 744000 | #Constraints: 23770
2697.08/2704.62 c #Conflicts: 745000 | #Constraints: 24772
2697.08/2704.62 c #Conflicts: 746000 | #Constraints: 25779
2697.08/2704.62 c #Conflicts: 747000 | #Constraints: 26803
2697.08/2704.62 c #Conflicts: 748000 | #Constraints: 27824
2697.08/2704.62 c #Conflicts: 749000 | #Constraints: 28836
2697.08/2704.62 c #Conflicts: 750000 | #Constraints: 29854
2697.08/2704.62 c #Conflicts: 751000 | #Constraints: 30859
2697.08/2704.62 c #Conflicts: 752000 | #Constraints: 31883
2697.08/2704.62 c #Conflicts: 753000 | #Constraints: 32897
2697.08/2704.62 c #Conflicts: 754000 | #Constraints: 33905
2697.08/2704.62 c #Conflicts: 755000 | #Constraints: 34926
2697.08/2704.62 c #Conflicts: 756000 | #Constraints: 35945
2697.08/2704.62 c INPROCESSING
2697.08/2704.62 c GARBAGE COLLECT
2697.08/2704.62 c rational objective 29
2740.27/2747.94 c #Conflicts: 757000 | #Constraints: 19066
2740.27/2747.94 c #Conflicts: 758000 | #Constraints: 20068
2740.27/2747.94 c #Conflicts: 759000 | #Constraints: 21083
2740.27/2747.94 c #Conflicts: 760000 | #Constraints: 22088
2740.27/2747.94 c #Conflicts: 761000 | #Constraints: 23089
2740.27/2747.94 c #Conflicts: 762000 | #Constraints: 24090
2740.27/2747.94 c #Conflicts: 763000 | #Constraints: 25090
2740.27/2747.94 c #Conflicts: 764000 | #Constraints: 26091
2740.27/2747.94 c #Conflicts: 765000 | #Constraints: 27092
2740.27/2747.94 c #Conflicts: 766000 | #Constraints: 28099
2740.27/2747.94 c #Conflicts: 767000 | #Constraints: 29103
2740.27/2747.94 c #Conflicts: 768000 | #Constraints: 30105
2740.27/2747.94 c #Conflicts: 769000 | #Constraints: 31122
2740.27/2747.94 c #Conflicts: 770000 | #Constraints: 32125
2740.27/2747.94 c #Conflicts: 771000 | #Constraints: 33128
2740.27/2747.94 c #Conflicts: 772000 | #Constraints: 34137
2740.27/2747.94 c #Conflicts: 773000 | #Constraints: 35151
2740.27/2747.94 c #Conflicts: 774000 | #Constraints: 36181
2740.27/2747.94 c INPROCESSING
2740.27/2747.94 c GARBAGE COLLECT
2740.27/2747.94 c rational objective 29
2746.05/2753.78 c #Conflicts: 775000 | #Constraints: 19382
2746.05/2753.78 c #Conflicts: 776000 | #Constraints: 20410
2746.05/2753.78 c #Conflicts: 777000 | #Constraints: 21440
2746.05/2753.78 c Inconsistent constraint found
2746.05/2753.78 c cpu time 2728.48 s
2746.05/2753.78 c deterministic time 658462817268 6.58e+11
2746.05/2753.78 c optimization time 0.009247 s
2746.05/2753.78 c total solve time 2728.45 s
2746.05/2753.78 c core-guided solve time 0 s
2746.05/2753.78 c propagation time 2004.99 s
2746.05/2753.78 c conflict analysis time 507.708 s
2746.05/2753.78 c propagations 76697493
2746.05/2753.78 c resolve steps 2783311
2746.05/2753.78 c decisions 11441594
2746.05/2753.78 c conflicts 777146
2746.05/2753.78 c restarts 1658
2746.05/2753.78 c inprocessing phases 79
2746.05/2753.78 c garbage collections 79 ,( 100.00 )
2746.05/2753.78 c input clauses 325 ,( 45.33 )
2746.05/2753.78 c input cardinalities 325 ,( 45.33 )
2746.05/2753.78 c input general constraints 67 ,( 9.34 )
2746.05/2753.78 c input average constraint length 58.24
2746.05/2753.78 c input average constraint degree 12358.28
2746.05/2753.78 c learned clauses 305 ,( 0.04 )
2746.05/2753.78 c learned cardinalities 15 ,( 0.00 )
2746.05/2753.78 c learned general constraints 791968 ,( 99.96 )
2746.05/2753.78 c learned average constraint length 2934.54
2746.05/2753.78 c learned average constraint degree 8594910143.29
2746.05/2753.78 c watched CF 32, 64, 128, Arb: 217554 , 0 , 0 , 0
2746.05/2753.78 c counting CF 32, 64, 128, Arb: 574482 , 0 , 0 , 0
2746.05/2753.78 c watched constraints 217554 ,( 27.47 )
2746.05/2753.78 c counting constraints 574481 ,( 72.53 )
2746.05/2753.78 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3642314 , 2822204 , 2457260584 ,( 274174998 , 2183085586 )
2746.05/2753.78 c gcd simplifications 1025
2746.05/2753.78 c detected cardinalities 14
2746.05/2753.78 c weakened non-implied lits 389304199
2746.05/2753.78 c weakened non-implying lits 2050997
2746.05/2753.78 c original variables 10432
2746.05/2753.78 c clausal propagations 1121454
2746.05/2753.78 c cardinality propagations 17402380
2746.05/2753.78 c watched propagations 260627
2746.05/2753.78 c counting propagations 52344444
2746.05/2753.78 c watch lookups 46336045007
2746.05/2753.78 c watch backjump lookups 0
2746.05/2753.78 c watch checks 50525372870
2746.05/2753.78 c propagation checks 555722472957
2746.05/2753.78 c constraint additions 5700967600
2746.05/2753.78 c trail pops 88911257
2746.05/2753.78 c formula constraints 716
2746.05/2753.78 c learned constraints 772170
2746.05/2753.78 c bound constraints 0
2746.05/2753.78 c core-guided constraints 0
2746.05/2753.78 c encountered formula constraints 1868174
2746.05/2753.78 c encountered learned constraints 1191036
2746.05/2753.78 c encountered bound constraints 0
2746.05/2753.78 c encountered core-guided constraints 0
2746.05/2753.78 c LP total time 316.896 s
2746.05/2753.78 c LP solve time 239.75 s
2746.05/2753.78 c LP constraints added 1307
2746.05/2753.78 c LP constraints removed 585
2746.05/2753.78 c LP pivots internal 777158
2746.05/2753.78 c LP pivots root 131331
2746.05/2753.78 c LP calls 101217
2746.05/2753.78 c LP optimalities 86620
2746.05/2753.78 c LP no pivot count 30760
2746.05/2753.78 c LP infeasibilities 14567
2746.05/2753.78 c LP valid Farkas constraints 14553
2746.05/2753.78 c LP learned Farkas constraints 4976
2746.05/2753.78 c LP basis resets 39
2746.05/2753.78 c LP cycling count 0
2746.05/2753.78 c LP singular count 26
2746.05/2753.78 c LP no primal count 0
2746.05/2753.78 c LP no farkas count 13
2746.05/2753.78 c LP other issue count 0
2746.05/2753.78 c LP Gomory cuts 589
2746.05/2753.78 c LP learned cuts 2
2746.05/2753.78 c LP deleted cuts 585
2746.05/2753.78 c LP encountered Gomory constraints 11
2746.05/2753.78 c LP encountered Farkas constraints 453391
2746.05/2753.78 c LP encountered learned Farkas constraints 42869
2746.05/2753.78 c CG auxiliary variables introduced 1
2746.05/2753.78 c CG solutions found 1
2746.05/2753.78 c CG cores constructed 0
2746.05/2753.78 c CG core cardinality constraints returned 0
2746.05/2753.78 c CG unit cores 0
2746.05/2753.78 c CG single cores 0
2746.05/2753.78 c CG blocks removed during cardinality reduction 0
2746.05/2753.78 c CG first core best 0
2746.05/2753.78 c CG decision core best 0
2746.05/2753.78 c CG core reduction tie 0
2746.05/2753.78 c CG core degree average 0.00
2746.05/2753.78 c CG core slack average 0.00
2746.05/2753.78 c CG core upper bound improvements 0
2746.05/2753.78 c STR number of successful calls 0
2746.05/2753.78 c STR number of unsuccessful calls 0
2746.05/2753.78 c STR number of inconclusive calls 0
2746.05/2753.78 c STR number of successful attempts 0
2746.05/2753.78 c STR number of unsuccessful attempts 0
2746.05/2753.78 c STR number of inconclusive attempts 0
2746.05/2753.78 c STR average degree increase per successful call inf
2746.05/2753.78 c STR average degree increase per successful attempt inf
2746.05/2753.78 c STR total number of conflicts for successful attempts 0
2746.05/2753.78 c STR total number of conflicts for unsuccessful attempts 0
2746.05/2753.78 c STR total number of conflicts for inconclusive attempts 0
2746.05/2753.78 c STR average number of conflicts per successful attempt inf
2746.05/2753.78 c STR average number of conflicts per unsuccessful attempt inf
2746.05/2753.78 c STR average number of conflicts per inconclusive attempt inf
2746.05/2753.78 c AVG.sumWPerc 56.45
2746.05/2753.78 c bigint constraints 0
2746.05/2753.78 o 29
2746.05/2753.78 s OPTIMUM FOUND
2746.05/2753.78 v -x1 -x2 -x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x2440 -x2441 -x2442 -x2443 x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 x2757 x2758 x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3292 x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 x3529 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 x3665 x3666 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 x3849 -x3850 x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 x3906 -x3907 -x3908 -x3909 -x3910 -x3911 x3912 -x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 x4253 -x4254 -x4255 x4256 -x4257 -x4258 -x4259 -x4260 x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 x4279 -x4280 -x4281 -x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 x4681 -x4682 -x4683 -x4684 -x4685 x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 x4762 -x4763 -x4764 -x4765 x4766 -x4767 -x4768 -x4769 x4770 -x4771 -x4772 x4773 -x4774 -x4775 -x4776 -x4777 x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 x4857 -x4858 -x4859 -x4860 -x4861 -x4862 x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 x4909 -x4910 -x4911 -x4912 -x4913 -x4914 x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 x4962 -x4963 x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 x4979 -x4980 -x4981 x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 x4992 -x4993 -x4994 x4995 x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 x5341 -x5342 -x5343 -x5344 -x5345 x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 x5356 -x5357 -x5358 -x5359 x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 x5388 -x5389 -x5390 -x5391 x5392 -x5393 -x5394 -x5395 x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 x5472 x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 x5521 -x5522 -x5523 x5524 x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 x5586 x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 x5828 -x5829 -x5830 x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 x5851 x5852 x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 x6092 -x6093 -x6094 x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 x6356 x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 x6492 -x6493 x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 x6517 -x6518 -x6519 -x6520 x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 x7009 -x7010 -x7011 -x7012 -x7013 -x7014 x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 x7709 x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 x7950 -x7951 x7952 x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 x8066 -x8067 x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 x8111 -x8112 -x8113 x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 x8129 x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 x8184 -x8185 -x8186 -x8187 x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 x8371 -x8372 x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 x8576 -x8577 -x8578 -x8579 x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 x8825 -x8826 x8827 -x8828 -x8829 -x8830 -x8831 x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 x9239 -x9240 -x9241 x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 x9458 -x9459 x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 x9498 -x9499 -x9500 -x9501 x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 x9528 -x9529 -x9530 -x9531 -x9532 x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 x9560 -x9561 -x9562 x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 x9603 -x9604 -x9605 -x9606 -x9607 x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 x10203 -x10204 -x10205 -x10206 -x10207 x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432
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: 63665 MiB (54149 MiB free)
memory of node 1: 64507 MiB (56073 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509470-1751528245/watcher-4509470-1751528245 -o /tmp/evaluation-result-4509470-1751528245/solver-4509470-1751528245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72980 --watchdog 3760 run-opt.sh HOME/instance-4509470-1751528245.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=73786, runsolver pid=73778
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112859980/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=75208 memory=23592 CPUtime=0.08 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 4528 0 0 0 6 2 0 0 20 0 1 0 68504078 77012992 5898 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 18802 5898 2368 1147 0 6229 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 79400 KiB
Current children cumulated memory: 26664 KiB
[startup+0.205701 s]*
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112859980/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=75364 memory=23848 CPUtime=0.18 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 4556 0 0 0 16 2 0 0 20 0 1 0 68504078 77172736 5962 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 18841 5962 2400 1147 0 6268 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 79556 KiB
Current children cumulated memory: 26920 KiB
[startup+0.305684 s]*
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112855948/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=76116 memory=25512 CPUtime=0.29 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 4972 0 0 0 25 4 0 0 20 0 1 0 68504078 77942784 6378 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 19029 6378 2400 1147 0 6456 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80308 KiB
Current children cumulated memory: 28584 KiB
[startup+0.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112843284/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=95740 memory=45880 CPUtime=0.68 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 9070 0 0 0 61 7 0 0 20 0 1 0 68504078 98037760 11470 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 23935 11470 2400 1147 0 11362 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 99932 KiB
Current children cumulated memory: 48952 KiB
[startup+1.50019 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112805168/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=159452 memory=105572 CPUtime=1.47 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 21380 0 0 0 136 11 0 0 20 0 1 0 68504078 163278848 26393 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 39863 26393 2432 1147 0 27290 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 163644 KiB
Current children cumulated memory: 108644 KiB
[startup+3.10551 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112636492/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=200744 memory=135428 CPUtime=3.08 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 26824 0 0 0 294 14 0 0 20 0 1 0 68504078 205561856 33857 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 50186 33857 2432 1147 0 37613 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 204936 KiB
Current children cumulated memory: 138500 KiB
[startup+6.30018 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112414960/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=311480 memory=244060 CPUtime=6.26 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 46831 0 0 0 605 21 0 0 20 0 1 0 68504078 318955520 61015 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 77870 61015 2432 1147 0 65297 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 315672 KiB
Current children cumulated memory: 247132 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112133388/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=488076 memory=373072 CPUtime=12.64 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 72949 0 0 0 1234 30 0 0 20 0 1 0 68504078 499789824 93268 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 122019 93268 2432 1147 0 109446 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 492268 KiB
Current children cumulated memory: 376144 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.09 4.09 5/268 73788
/proc/meminfo: memFree=111686644/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=634264 memory=549672 CPUtime=25.41 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 107380 0 0 0 2493 48 0 0 20 0 1 0 68504078 649486336 137418 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 158566 137418 2432 1147 0 145993 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 638456 KiB
Current children cumulated memory: 552744 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.10 4.09 5/268 73789
/proc/meminfo: memFree=111169480/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=769032 memory=660064 CPUtime=50.94 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 135654 0 0 0 5019 75 0 0 20 0 1 0 68504078 787488768 165016 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 192258 165016 2528 1147 0 179685 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 773224 KiB
Current children cumulated memory: 663136 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 73792
/proc/meminfo: memFree=110394620/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=1152928 memory=959884 CPUtime=102 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 208503 0 0 0 10059 141 0 0 20 0 1 0 68504078 1180598272 239971 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 288232 239971 2528 1147 0 275659 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1157120 KiB
Current children cumulated memory: 962956 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 73794
/proc/meminfo: memFree=109677444/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=1289168 memory=1106120 CPUtime=161.84 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 239811 0 0 0 15959 225 0 0 20 0 1 0 68504078 1320108032 276530 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 322292 276530 2528 1147 0 309719 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1293360 KiB
Current children cumulated memory: 1109192 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 73796
/proc/meminfo: memFree=109409064/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=1432104 memory=1261100 CPUtime=221.68 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 275051 0 0 0 21887 281 0 0 20 0 1 0 68504078 1466474496 315275 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 358026 315275 2528 1147 0 345453 0
################
# More data... #
################
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 1004813 0 0 0 247877 1657 0 0 20 0 1 0 68504078 5507940352 1127830 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 1344712 1127830 2528 1147 0 1332139 0
Current children cumulated CPU time: 2495.34 s
Current children cumulated vsize: 5383040 KiB
Current children cumulated memory: 4514392 KiB
[startup+2562.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/267 74057
/proc/meminfo: memFree=113657800/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=5400100 memory=4584632 CPUtime=2555.17 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 1022276 0 0 0 253852 1665 0 0 20 0 1 0 68504078 5529702400 1146158 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 1350025 1146158 2528 1147 0 1337452 0
Current children cumulated CPU time: 2555.17 s
Current children cumulated vsize: 5404292 KiB
Current children cumulated memory: 4587704 KiB
[startup+2622.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/267 74059
/proc/meminfo: memFree=113424928/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=5762148 memory=4709752 CPUtime=2615.01 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 1040306 0 0 0 259826 1675 0 0 20 0 1 0 68504078 5900439552 1177438 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 1440537 1177438 2528 1147 0 1427964 0
Current children cumulated CPU time: 2615.01 s
Current children cumulated vsize: 5766340 KiB
Current children cumulated memory: 4712824 KiB
[startup+2682.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/268 74065
/proc/meminfo: memFree=113206812/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=5891780 memory=4851820 CPUtime=2674.84 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 1066619 0 0 0 265781 1703 0 0 20 0 1 0 68504078 6033182720 1212955 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 1472945 1212955 2528 1147 0 1460372 0
Current children cumulated CPU time: 2674.84 s
Current children cumulated vsize: 5895972 KiB
Current children cumulated memory: 4854892 KiB
[startup+2742.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/268 74067
/proc/meminfo: memFree=113133020/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=5891780 memory=4851820 CPUtime=2734.68 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 1066620 0 0 0 271713 1755 0 0 20 0 1 0 68504078 6033182720 1212955 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 1472945 1212955 2528 1147 0 1460372 0
Current children cumulated CPU time: 2734.68 s
Current children cumulated vsize: 5895972 KiB
Current children cumulated memory: 4854892 KiB
[startup+2753.97 s]
# the end of solver process 73786 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2728.48 s, system=17.8518 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2745.6 s]
/proc/loadavg: 4.14 4.12 4.10 5/268 74068
/proc/meminfo: memFree=113107940/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=5891780 memory=4851820 CPUtime=2737.97 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 1066624 0 0 0 272039 1758 0 0 20 0 1 0 68504078 6033182720 1212955 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 1472945 1212955 2528 1147 0 1460372 0
Current children cumulated CPU time: 2737.97 s
Current children cumulated vsize: 5895972 KiB
Current children cumulated memory: 4854892 KiB
[startup+2748.8 s]
/proc/loadavg: 4.12 4.12 4.10 5/268 74068
/proc/meminfo: memFree=113094896/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=5891780 memory=4851820 CPUtime=2741.16 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 1066625 0 0 0 272356 1760 0 0 20 0 1 0 68504078 6033182720 1212955 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 1472945 1212955 2528 1147 0 1460372 0
Current children cumulated CPU time: 2741.16 s
Current children cumulated vsize: 5895972 KiB
Current children cumulated memory: 4854892 KiB
[startup+2752 s]*
/proc/loadavg: 4.11 4.12 4.09 5/268 74068
/proc/meminfo: memFree=113076748/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=5891780 memory=4851820 CPUtime=2744.36 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 1066625 0 0 0 272671 1765 0 0 20 0 1 0 68504078 6033182720 1212955 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 1472945 1212955 2528 1147 0 1460372 0
Current children cumulated CPU time: 2744.36 s
Current children cumulated vsize: 5895972 KiB
Current children cumulated memory: 4854892 KiB
[startup+2752.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 74068
/proc/meminfo: memFree=113076748/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=5891780 memory=4851820 CPUtime=2745.16 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 1066625 0 0 0 272750 1766 0 0 20 0 1 0 68504078 6033182720 1212955 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 1472945 1212955 2528 1147 0 1460372 0
Current children cumulated CPU time: 2745.16 s
Current children cumulated vsize: 5895972 KiB
Current children cumulated memory: 4854892 KiB
[startup+2753.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 74068
/proc/meminfo: memFree=113074044/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=5891780 memory=4851820 CPUtime=2745.95 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 1066625 0 0 0 272829 1766 0 0 20 0 1 0 68504078 6033182720 1212955 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 1472945 1212955 2528 1147 0 1460372 0
Current children cumulated CPU time: 2745.95 s
Current children cumulated vsize: 5895972 KiB
Current children cumulated memory: 4854892 KiB
[startup+2753.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 74068
/proc/meminfo: memFree=113074044/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=5553328 memory=4594260 CPUtime=2746.15 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 1066625 0 0 0 272848 1767 0 0 20 0 1 0 68504078 5686607872 1148565 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 1388332 1148565 2528 1147 0 1375759 0
Current children cumulated CPU time: 2746.15 s
Current children cumulated vsize: 5557520 KiB
Current children cumulated memory: 4597332 KiB
[startup+2753.9 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 74068
/proc/meminfo: memFree=113074044/131249996 swapFree=33010416/33010684
[pid=73786] ppid=73778 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73786/stat : 73786 (run-opt.sh) S 73778 73786 72970 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 68504077 4292608 768 18446744073709551615 94258088259584 94258089154117 140729419775696 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94258089393168 94258089440912 94258120118272 140729419778413 140729419778536 140729419778536 140729419784138 0
/proc/73786/statm: 1048 768 704 219 0 110 0
[pid=73788] ppid=73786 vsize=4465216 memory=2923912 CPUtime=2746.25 cores=0,2
/proc/73788/stat : 73788 (roundingsat) R 73786 73786 72970 0 -1 4194304 1066625 0 0 0 272848 1777 0 0 20 0 1 0 68504078 4572381184 730978 18446744073709551615 4227072 8923433 140726295478848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11599872 140726295484834 140726295484968 140726295484968 140726295490538 0
/proc/73788/statm: 1116304 730978 2528 1147 0 1103731 0
Current children cumulated CPU time: 2746.25 s
Current children cumulated vsize: 4469408 KiB
Current children cumulated memory: 2926984 KiB
Child status: 0
Real time (s): 2753.97
CPU time (s): 2746.33
CPU user time (s): 2728.48
CPU system time (s): 17.8518
CPU usage (%): 99.7226
Max. virtual memory (cumulated for all children) (KiB): 5895972
Max. memory (cumulated for all children) (KiB): 4854892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2728.48
system time used= 17.8518
maximum resident set size= 4851820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1066852
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= 331
involuntary context switches= 6160
# summary of solver processes directly reported to runsolver:
# pid: 73786
# total CPU time (s): 2746.33
# total CPU user time (s): 2728.48
# total CPU system time (s): 17.8518
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.47465 second user time and 12.5386 second system time
The end
Begin job on nodeC030 at 2025-07-03 09:37:25
IDJOB=4509470
IDBENCH=158620
IDSOLVER=3350
FILE ID=nodeC030/4509470-1751528245
RUNJOBID= nodeC030-1751521021-72980
SLURM_JOB_ID= 9598643
Free space on /tmp= 432488 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509470-1751528245/watcher-4509470-1751528245 -o /tmp/evaluation-result-4509470-1751528245/solver-4509470-1751528245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72980 --watchdog 3760 run-opt.sh HOME/instance-4509470-1751528245.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 152bb06216511240edab5f108e287529
RANDOM SEED=1669554265
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.156
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.496
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.402
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.126
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.341
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.269
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.916
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3606.124
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 112868992 kB
MemAvailable: 113556068 kB
Buffers: 2564 kB
Cached: 1478552 kB
SwapCached: 16 kB
Active: 16657352 kB
Inactive: 1035304 kB
Active(anon): 16224760 kB
Inactive(anon): 4548 kB
Active(file): 432592 kB
Inactive(file): 1030756 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15416 kB
Writeback: 16 kB
AnonPages: 16214432 kB
Mapped: 114276 kB
Shmem: 18048 kB
KReclaimable: 125536 kB
Slab: 214264 kB
SReclaimable: 125536 kB
SUnreclaim: 88728 kB
KernelStack: 4272 kB
PageTables: 38820 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 19101748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4079616 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432476 MiB
End job on nodeC030 at 2025-07-03 10:23:19