0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.09 c #variables 10432 #constraints 716
0.00/0.09 c objective is ce32
0.00/0.10 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.10 c initial counting CF 32, 64, 128, Arb: 67 , 0 , 0 , 0
0.00/0.10 c GLOBAL bounds - >= 0 @ 0.060249
0.07/0.13 c GLOBAL bounds - >= 0 @ 0.069645
0.07/0.16 c GLOBAL bounds - >= 29 @ 0.081936
7.95/8.08 c #Conflicts: 1000 | #Constraints: 1716
7.95/8.08 c #Conflicts: 2000 | #Constraints: 2717
7.95/8.08 c INPROCESSING
7.95/8.08 c GARBAGE COLLECT
7.95/8.08 c #Conflicts: 3000 | #Constraints: 2742
7.95/8.08 c #Conflicts: 4000 | #Constraints: 3746
7.95/8.08 c INPROCESSING
7.95/8.08 c GARBAGE COLLECT
7.95/8.08 c rational objective 29
15.93/16.02 c #Conflicts: 5000 | #Constraints: 3154
15.93/16.02 c #Conflicts: 6000 | #Constraints: 4154
15.93/16.02 c INPROCESSING
15.93/16.02 c GARBAGE COLLECT
15.93/16.02 c rational objective 29
29.57/29.73 c #Conflicts: 7000 | #Constraints: 3173
29.57/29.73 c #Conflicts: 8000 | #Constraints: 4186
29.57/29.73 c #Conflicts: 9000 | #Constraints: 5193
29.57/29.73 c INPROCESSING
29.57/29.73 c GARBAGE COLLECT
29.57/29.73 c rational objective 29
38.61/38.86 c #Conflicts: 10000 | #Constraints: 3884
38.61/38.86 c #Conflicts: 11000 | #Constraints: 4884
38.61/38.86 c #Conflicts: 12000 | #Constraints: 5884
38.61/38.86 c INPROCESSING
38.61/38.86 c GARBAGE COLLECT
38.61/38.86 c rational objective 29
45.20/45.47 c #Conflicts: 13000 | #Constraints: 4321
45.20/45.47 c #Conflicts: 14000 | #Constraints: 5321
45.20/45.47 c #Conflicts: 15000 | #Constraints: 6322
45.20/45.47 c INPROCESSING
45.20/45.47 c GARBAGE COLLECT
45.20/45.47 c rational objective 29
54.97/55.21 c #Conflicts: 16000 | #Constraints: 4551
54.97/55.21 c #Conflicts: 17000 | #Constraints: 5558
54.97/55.21 c #Conflicts: 18000 | #Constraints: 6558
54.97/55.21 c INPROCESSING
54.97/55.21 c GARBAGE COLLECT
54.97/55.21 c rational objective 29
69.61/69.97 c #Conflicts: 19000 | #Constraints: 4574
69.61/69.97 c #Conflicts: 20000 | #Constraints: 5589
69.61/69.97 c #Conflicts: 21000 | #Constraints: 6590
69.61/69.97 c INPROCESSING
69.61/69.97 c GARBAGE COLLECT
69.61/69.97 c rational objective 29
79.70/80.02 c #Conflicts: 22000 | #Constraints: 4373
79.70/80.02 c #Conflicts: 23000 | #Constraints: 5377
79.70/80.02 c #Conflicts: 24000 | #Constraints: 6388
79.70/80.02 c #Conflicts: 25000 | #Constraints: 7406
79.70/80.02 c INPROCESSING
79.70/80.02 c GARBAGE COLLECT
79.70/80.02 c rational objective 29
90.03/90.43 c #Conflicts: 26000 | #Constraints: 4988
90.03/90.43 c #Conflicts: 27000 | #Constraints: 6004
90.03/90.43 c #Conflicts: 28000 | #Constraints: 7021
90.03/90.43 c #Conflicts: 29000 | #Constraints: 8038
90.03/90.43 c INPROCESSING
90.03/90.43 c GARBAGE COLLECT
90.03/90.43 c rational objective 29
103.57/104.03 c #Conflicts: 30000 | #Constraints: 5472
103.57/104.03 c #Conflicts: 31000 | #Constraints: 6473
103.57/104.03 c #Conflicts: 32000 | #Constraints: 7473
103.57/104.03 c #Conflicts: 33000 | #Constraints: 8577
103.57/104.03 c INPROCESSING
103.57/104.03 c GARBAGE COLLECT
103.57/104.03 c #Conflicts: 34000 | #Constraints: 5659
103.57/104.03 c #Conflicts: 35000 | #Constraints: 6659
103.57/104.03 c #Conflicts: 36000 | #Constraints: 7659
103.57/104.03 c #Conflicts: 37000 | #Constraints: 8720
103.57/104.03 c INPROCESSING
103.57/104.03 c GARBAGE COLLECT
103.57/104.03 c rational objective 29
132.57/133.19 c #Conflicts: 38000 | #Constraints: 5648
132.57/133.19 c #Conflicts: 39000 | #Constraints: 6651
132.57/133.19 c #Conflicts: 40000 | #Constraints: 7671
132.57/133.19 c #Conflicts: 41000 | #Constraints: 8679
132.57/133.19 c INPROCESSING
132.57/133.19 c GARBAGE COLLECT
132.57/133.19 c #Conflicts: 42000 | #Constraints: 5418
132.57/133.19 c #Conflicts: 43000 | #Constraints: 6419
132.57/133.19 c #Conflicts: 44000 | #Constraints: 8082
132.57/133.19 c #Conflicts: 45000 | #Constraints: 9742
132.57/133.19 c #Conflicts: 46000 | #Constraints: 10750
132.57/133.19 c INPROCESSING
132.57/133.19 c GARBAGE COLLECT
132.57/133.19 c rational objective 29
143.62/144.22 c #Conflicts: 47000 | #Constraints: 6839
143.62/144.22 c #Conflicts: 48000 | #Constraints: 7839
143.62/144.22 c #Conflicts: 49000 | #Constraints: 8840
143.62/144.22 c #Conflicts: 50000 | #Constraints: 9866
143.62/144.22 c #Conflicts: 51000 | #Constraints: 10881
143.62/144.22 c INPROCESSING
143.62/144.22 c GARBAGE COLLECT
143.62/144.22 c rational objective 29
151.08/151.78 c #Conflicts: 52000 | #Constraints: 6819
151.08/151.78 c #Conflicts: 53000 | #Constraints: 7819
151.08/151.78 c #Conflicts: 54000 | #Constraints: 8871
151.08/151.78 c #Conflicts: 55000 | #Constraints: 9871
151.08/151.78 c #Conflicts: 56000 | #Constraints: 10871
151.08/151.78 c INPROCESSING
151.08/151.78 c GARBAGE COLLECT
151.08/151.78 c rational objective 29
163.33/164.07 c #Conflicts: 57000 | #Constraints: 6816
163.33/164.07 c #Conflicts: 58000 | #Constraints: 7820
163.33/164.07 c #Conflicts: 59000 | #Constraints: 8824
163.33/164.07 c #Conflicts: 60000 | #Constraints: 9827
163.33/164.07 c #Conflicts: 61000 | #Constraints: 10829
163.33/164.07 c INPROCESSING
163.33/164.07 c GARBAGE COLLECT
163.33/164.07 c rational objective 29
177.18/177.95 c #Conflicts: 62000 | #Constraints: 6700
177.18/177.95 c #Conflicts: 63000 | #Constraints: 7707
177.18/177.95 c #Conflicts: 64000 | #Constraints: 8709
177.18/177.95 c #Conflicts: 65000 | #Constraints: 9721
177.18/177.95 c #Conflicts: 66000 | #Constraints: 10746
177.18/177.95 c INPROCESSING
177.18/177.95 c GARBAGE COLLECT
177.18/177.95 c rational objective 29
189.52/190.32 c #Conflicts: 67000 | #Constraints: 6469
189.52/190.32 c #Conflicts: 68000 | #Constraints: 7485
189.52/190.32 c #Conflicts: 69000 | #Constraints: 8492
189.52/190.32 c #Conflicts: 70000 | #Constraints: 9523
189.52/190.32 c #Conflicts: 71000 | #Constraints: 10546
189.52/190.32 c #Conflicts: 72000 | #Constraints: 11548
189.52/190.32 c INPROCESSING
189.52/190.32 c GARBAGE COLLECT
189.52/190.32 c rational objective 29
205.57/206.44 c #Conflicts: 73000 | #Constraints: 7076
205.57/206.44 c #Conflicts: 74000 | #Constraints: 8077
205.57/206.44 c #Conflicts: 75000 | #Constraints: 9079
205.57/206.44 c #Conflicts: 76000 | #Constraints: 10081
205.57/206.44 c #Conflicts: 77000 | #Constraints: 11093
205.57/206.44 c #Conflicts: 78000 | #Constraints: 12096
205.57/206.44 c INPROCESSING
205.57/206.44 c GARBAGE COLLECT
205.57/206.44 c rational objective 29
221.12/222.03 c #Conflicts: 79000 | #Constraints: 7428
221.12/222.03 c #Conflicts: 80000 | #Constraints: 8437
221.12/222.03 c #Conflicts: 81000 | #Constraints: 9440
221.12/222.03 c #Conflicts: 82000 | #Constraints: 10442
221.12/222.03 c #Conflicts: 83000 | #Constraints: 11444
221.12/222.03 c #Conflicts: 84000 | #Constraints: 12454
221.12/222.03 c INPROCESSING
221.12/222.03 c GARBAGE COLLECT
221.12/222.03 c rational objective 29
238.16/239.14 c #Conflicts: 85000 | #Constraints: 7649
238.16/239.14 c #Conflicts: 86000 | #Constraints: 8786
238.16/239.14 c #Conflicts: 87000 | #Constraints: 9889
238.16/239.14 c #Conflicts: 88000 | #Constraints: 10954
238.16/239.14 c #Conflicts: 89000 | #Constraints: 12012
238.16/239.14 c #Conflicts: 90000 | #Constraints: 13168
238.16/239.14 c INPROCESSING
238.16/239.14 c GARBAGE COLLECT
238.16/239.14 c rational objective 29
249.38/250.47 c #Conflicts: 91000 | #Constraints: 7922
249.38/250.47 c #Conflicts: 92000 | #Constraints: 8922
249.38/250.47 c #Conflicts: 93000 | #Constraints: 9922
249.38/250.47 c #Conflicts: 94000 | #Constraints: 10922
249.38/250.47 c #Conflicts: 95000 | #Constraints: 11922
249.38/250.47 c #Conflicts: 96000 | #Constraints: 12924
249.38/250.47 c INPROCESSING
249.38/250.47 c GARBAGE COLLECT
249.38/250.47 c rational objective 29
270.42/271.51 c #Conflicts: 97000 | #Constraints: 7604
270.42/271.51 c #Conflicts: 98000 | #Constraints: 8610
270.42/271.51 c #Conflicts: 99000 | #Constraints: 9618
270.42/271.51 c #Conflicts: 100000 | #Constraints: 10628
270.42/271.51 c #Conflicts: 101000 | #Constraints: 11644
270.42/271.51 c #Conflicts: 102000 | #Constraints: 12645
270.42/271.51 c #Conflicts: 103000 | #Constraints: 13648
270.42/271.51 c INPROCESSING
270.42/271.51 c GARBAGE COLLECT
270.42/271.51 c rational objective 29
286.46/287.62 c #Conflicts: 104000 | #Constraints: 8115
286.46/287.62 c #Conflicts: 105000 | #Constraints: 9115
286.46/287.62 c #Conflicts: 106000 | #Constraints: 10124
286.46/287.62 c #Conflicts: 107000 | #Constraints: 11134
286.46/287.62 c #Conflicts: 108000 | #Constraints: 12136
286.46/287.62 c #Conflicts: 109000 | #Constraints: 13139
286.46/287.62 c #Conflicts: 110000 | #Constraints: 14140
286.46/287.62 c INPROCESSING
286.46/287.62 c GARBAGE COLLECT
286.46/287.62 c rational objective 29
303.20/304.44 c #Conflicts: 111000 | #Constraints: 8461
303.20/304.44 c #Conflicts: 112000 | #Constraints: 9473
303.20/304.44 c #Conflicts: 113000 | #Constraints: 10478
303.20/304.44 c #Conflicts: 114000 | #Constraints: 11489
303.20/304.44 c #Conflicts: 115000 | #Constraints: 12498
303.20/304.44 c #Conflicts: 116000 | #Constraints: 13511
303.20/304.44 c #Conflicts: 117000 | #Constraints: 14521
303.20/304.44 c INPROCESSING
303.20/304.44 c GARBAGE COLLECT
303.20/304.44 c rational objective 29
332.28/333.63 c #Conflicts: 118000 | #Constraints: 8651
332.28/333.63 c #Conflicts: 119000 | #Constraints: 9677
332.28/333.63 c #Conflicts: 120000 | #Constraints: 10694
332.28/333.63 c #Conflicts: 121000 | #Constraints: 11700
332.28/333.63 c #Conflicts: 122000 | #Constraints: 12713
332.28/333.63 c #Conflicts: 123000 | #Constraints: 13737
332.28/333.63 c #Conflicts: 124000 | #Constraints: 14752
332.28/333.63 c INPROCESSING
332.28/333.63 c GARBAGE COLLECT
332.28/333.63 c rational objective 29
350.90/352.38 c #Conflicts: 125000 | #Constraints: 8672
350.90/352.38 c #Conflicts: 126000 | #Constraints: 9691
350.90/352.38 c #Conflicts: 127000 | #Constraints: 10693
350.90/352.38 c #Conflicts: 128000 | #Constraints: 11698
350.90/352.38 c #Conflicts: 129000 | #Constraints: 12699
350.90/352.38 c #Conflicts: 130000 | #Constraints: 13699
350.90/352.38 c #Conflicts: 131000 | #Constraints: 14700
350.90/352.38 c INPROCESSING
350.90/352.38 c GARBAGE COLLECT
350.90/352.38 c rational objective 29
377.69/379.25 c #Conflicts: 132000 | #Constraints: 8423
377.69/379.25 c #Conflicts: 133000 | #Constraints: 9427
377.69/379.25 c #Conflicts: 134000 | #Constraints: 10434
377.69/379.25 c #Conflicts: 135000 | #Constraints: 11437
377.69/379.25 c #Conflicts: 136000 | #Constraints: 12439
377.69/379.25 c #Conflicts: 137000 | #Constraints: 13448
377.69/379.25 c #Conflicts: 138000 | #Constraints: 14463
377.69/379.25 c #Conflicts: 139000 | #Constraints: 15474
377.69/379.25 c INPROCESSING
377.69/379.25 c GARBAGE COLLECT
377.69/379.25 c rational objective 29
402.50/404.17 c #Conflicts: 140000 | #Constraints: 9042
402.50/404.17 c #Conflicts: 141000 | #Constraints: 10058
402.50/404.17 c #Conflicts: 142000 | #Constraints: 11062
402.50/404.17 c #Conflicts: 143000 | #Constraints: 12069
402.50/404.17 c #Conflicts: 144000 | #Constraints: 13089
402.50/404.17 c #Conflicts: 145000 | #Constraints: 14094
402.50/404.17 c #Conflicts: 146000 | #Constraints: 15096
402.50/404.17 c #Conflicts: 147000 | #Constraints: 16096
402.50/404.17 c INPROCESSING
402.50/404.17 c GARBAGE COLLECT
402.50/404.17 c rational objective 29
429.28/431.11 c #Conflicts: 148000 | #Constraints: 9458
429.28/431.11 c #Conflicts: 149000 | #Constraints: 10464
429.28/431.11 c #Conflicts: 150000 | #Constraints: 11477
429.28/431.11 c #Conflicts: 151000 | #Constraints: 12482
429.28/431.11 c #Conflicts: 152000 | #Constraints: 13486
429.28/431.11 c #Conflicts: 153000 | #Constraints: 14487
429.28/431.11 c #Conflicts: 154000 | #Constraints: 15488
429.28/431.11 c #Conflicts: 155000 | #Constraints: 16503
429.28/431.11 c INPROCESSING
429.28/431.11 c GARBAGE COLLECT
429.28/431.11 c rational objective 29
452.07/453.94 c #Conflicts: 156000 | #Constraints: 9633
452.07/453.94 c #Conflicts: 157000 | #Constraints: 10637
452.07/453.94 c #Conflicts: 158000 | #Constraints: 11638
452.07/453.94 c #Conflicts: 159000 | #Constraints: 12640
452.07/453.94 c #Conflicts: 160000 | #Constraints: 13643
452.07/453.94 c #Conflicts: 161000 | #Constraints: 14645
452.07/453.94 c #Conflicts: 162000 | #Constraints: 15672
452.07/453.94 c #Conflicts: 163000 | #Constraints: 16685
452.07/453.94 c INPROCESSING
452.07/453.94 c GARBAGE COLLECT
452.07/453.94 c rational objective 29
477.09/479.06 c #Conflicts: 164000 | #Constraints: 9647
477.09/479.06 c #Conflicts: 165000 | #Constraints: 10648
477.09/479.06 c #Conflicts: 166000 | #Constraints: 11648
477.09/479.06 c #Conflicts: 167000 | #Constraints: 12662
477.09/479.06 c #Conflicts: 168000 | #Constraints: 13662
477.09/479.06 c #Conflicts: 169000 | #Constraints: 14663
477.09/479.06 c #Conflicts: 170000 | #Constraints: 15672
477.09/479.06 c #Conflicts: 171000 | #Constraints: 16674
477.09/479.06 c INPROCESSING
477.09/479.06 c GARBAGE COLLECT
477.09/479.06 c rational objective 29
513.54/515.68 c #Conflicts: 172000 | #Constraints: 9418
513.54/515.68 c #Conflicts: 173000 | #Constraints: 10425
513.54/515.68 c #Conflicts: 174000 | #Constraints: 11426
513.54/515.68 c #Conflicts: 175000 | #Constraints: 12427
513.54/515.68 c #Conflicts: 176000 | #Constraints: 13427
513.54/515.68 c #Conflicts: 177000 | #Constraints: 14430
513.54/515.68 c #Conflicts: 178000 | #Constraints: 15435
513.54/515.68 c #Conflicts: 179000 | #Constraints: 16436
513.54/515.68 c #Conflicts: 180000 | #Constraints: 17437
513.54/515.68 c INPROCESSING
513.54/515.68 c GARBAGE COLLECT
513.54/515.68 c rational objective 29
538.74/540.96 c #Conflicts: 181000 | #Constraints: 10002
538.74/540.96 c #Conflicts: 182000 | #Constraints: 11024
538.74/540.96 c #Conflicts: 183000 | #Constraints: 12045
538.74/540.96 c #Conflicts: 184000 | #Constraints: 13072
538.74/540.96 c #Conflicts: 185000 | #Constraints: 14074
538.74/540.96 c #Conflicts: 186000 | #Constraints: 15083
538.74/540.96 c #Conflicts: 187000 | #Constraints: 16099
538.74/540.96 c #Conflicts: 188000 | #Constraints: 17103
538.74/540.96 c #Conflicts: 189000 | #Constraints: 18112
538.74/540.96 c INPROCESSING
538.74/540.96 c GARBAGE COLLECT
538.74/540.96 c rational objective 29
604.28/606.72 c #Conflicts: 190000 | #Constraints: 10470
604.28/606.72 c #Conflicts: 191000 | #Constraints: 11475
604.28/606.72 c #Conflicts: 192000 | #Constraints: 12476
604.28/606.72 c #Conflicts: 193000 | #Constraints: 13495
604.28/606.72 c #Conflicts: 194000 | #Constraints: 14496
604.28/606.72 c #Conflicts: 195000 | #Constraints: 15496
604.28/606.72 c #Conflicts: 196000 | #Constraints: 16496
604.28/606.72 c #Conflicts: 197000 | #Constraints: 17496
604.28/606.72 c #Conflicts: 198000 | #Constraints: 18496
604.28/606.72 c INPROCESSING
604.28/606.72 c GARBAGE COLLECT
604.28/606.72 c rational objective 29
625.31/627.83 c #Conflicts: 199000 | #Constraints: 10634
625.31/627.83 c #Conflicts: 200000 | #Constraints: 11637
625.31/627.83 c #Conflicts: 201000 | #Constraints: 12639
625.31/627.83 c #Conflicts: 202000 | #Constraints: 13641
625.31/627.83 c #Conflicts: 203000 | #Constraints: 14641
625.31/627.83 c #Conflicts: 204000 | #Constraints: 15641
625.31/627.83 c #Conflicts: 205000 | #Constraints: 16645
625.31/627.83 c #Conflicts: 206000 | #Constraints: 17654
625.31/627.83 c #Conflicts: 207000 | #Constraints: 18655
625.31/627.83 c INPROCESSING
625.31/627.83 c GARBAGE COLLECT
625.31/627.83 c rational objective 29
742.67/745.61 c #Conflicts: 208000 | #Constraints: 10620
742.67/745.61 c #Conflicts: 209000 | #Constraints: 11624
742.67/745.61 c #Conflicts: 210000 | #Constraints: 12632
742.67/745.61 c #Conflicts: 211000 | #Constraints: 13633
742.67/745.61 c #Conflicts: 212000 | #Constraints: 14635
742.67/745.61 c #Conflicts: 213000 | #Constraints: 15635
742.67/745.61 c #Conflicts: 214000 | #Constraints: 16635
742.67/745.61 c #Conflicts: 215000 | #Constraints: 17635
742.67/745.61 c #Conflicts: 216000 | #Constraints: 18635
742.67/745.61 c INPROCESSING
742.67/745.61 c GARBAGE COLLECT
742.67/745.61 c rational objective 29
771.34/774.45 c #Conflicts: 217000 | #Constraints: 10410
771.34/774.45 c #Conflicts: 218000 | #Constraints: 11435
771.34/774.45 c #Conflicts: 219000 | #Constraints: 12436
771.34/774.45 c #Conflicts: 220000 | #Constraints: 13446
771.34/774.45 c #Conflicts: 221000 | #Constraints: 14457
771.34/774.45 c #Conflicts: 222000 | #Constraints: 15482
771.34/774.45 c #Conflicts: 223000 | #Constraints: 16490
771.34/774.45 c #Conflicts: 224000 | #Constraints: 17504
771.34/774.45 c #Conflicts: 225000 | #Constraints: 18520
771.34/774.45 c #Conflicts: 226000 | #Constraints: 19524
771.34/774.45 c INPROCESSING
771.34/774.45 c GARBAGE COLLECT
771.34/774.45 c rational objective 29
791.38/794.59 c #Conflicts: 227000 | #Constraints: 11052
791.38/794.59 c #Conflicts: 228000 | #Constraints: 12052
791.38/794.59 c #Conflicts: 229000 | #Constraints: 13052
791.38/794.59 c #Conflicts: 230000 | #Constraints: 14057
791.38/794.59 c #Conflicts: 231000 | #Constraints: 15080
791.38/794.59 c #Conflicts: 232000 | #Constraints: 16090
791.38/794.59 c #Conflicts: 233000 | #Constraints: 17100
791.38/794.59 c #Conflicts: 234000 | #Constraints: 18105
791.38/794.59 c #Conflicts: 235000 | #Constraints: 19124
791.38/794.59 c #Conflicts: 236000 | #Constraints: 20131
791.38/794.59 c INPROCESSING
791.38/794.59 c GARBAGE COLLECT
791.38/794.59 c rational objective 29
824.52/827.84 c #Conflicts: 237000 | #Constraints: 11452
824.52/827.84 c #Conflicts: 238000 | #Constraints: 12460
824.52/827.84 c #Conflicts: 239000 | #Constraints: 13465
824.52/827.84 c #Conflicts: 240000 | #Constraints: 14479
824.52/827.84 c #Conflicts: 241000 | #Constraints: 15505
824.52/827.84 c #Conflicts: 242000 | #Constraints: 16538
824.52/827.84 c #Conflicts: 243000 | #Constraints: 17561
824.52/827.84 c #Conflicts: 244000 | #Constraints: 18598
824.52/827.84 c #Conflicts: 245000 | #Constraints: 19610
824.52/827.84 c #Conflicts: 246000 | #Constraints: 20623
824.52/827.84 c INPROCESSING
824.52/827.84 c GARBAGE COLLECT
824.52/827.84 c rational objective 29
857.72/861.17 c #Conflicts: 247000 | #Constraints: 11732
857.72/861.17 c #Conflicts: 248000 | #Constraints: 12738
857.72/861.17 c #Conflicts: 249000 | #Constraints: 13742
857.72/861.17 c #Conflicts: 250000 | #Constraints: 14753
857.72/861.17 c #Conflicts: 251000 | #Constraints: 15776
857.72/861.17 c #Conflicts: 252000 | #Constraints: 16779
857.72/861.17 c #Conflicts: 253000 | #Constraints: 17780
857.72/861.17 c #Conflicts: 254000 | #Constraints: 18784
857.72/861.17 c #Conflicts: 255000 | #Constraints: 19797
857.72/861.17 c #Conflicts: 256000 | #Constraints: 20798
857.72/861.17 c INPROCESSING
857.72/861.17 c GARBAGE COLLECT
857.72/861.17 c rational objective 29
886.88/890.47 c #Conflicts: 257000 | #Constraints: 11699
886.88/890.47 c #Conflicts: 258000 | #Constraints: 12701
886.88/890.47 c #Conflicts: 259000 | #Constraints: 13708
886.88/890.47 c #Conflicts: 260000 | #Constraints: 14710
886.88/890.47 c #Conflicts: 261000 | #Constraints: 15730
886.88/890.47 c #Conflicts: 262000 | #Constraints: 16757
886.88/890.47 c #Conflicts: 263000 | #Constraints: 17772
886.88/890.47 c #Conflicts: 264000 | #Constraints: 18784
886.88/890.47 c #Conflicts: 265000 | #Constraints: 19792
886.88/890.47 c #Conflicts: 266000 | #Constraints: 20801
886.88/890.47 c INPROCESSING
886.88/890.47 c GARBAGE COLLECT
886.88/890.47 c rational objective 29
947.54/951.38 c #Conflicts: 267000 | #Constraints: 11510
947.54/951.38 c #Conflicts: 268000 | #Constraints: 12517
947.54/951.38 c #Conflicts: 269000 | #Constraints: 13526
947.54/951.38 c #Conflicts: 270000 | #Constraints: 14547
947.54/951.38 c #Conflicts: 271000 | #Constraints: 15547
947.54/951.38 c #Conflicts: 272000 | #Constraints: 16548
947.54/951.38 c #Conflicts: 273000 | #Constraints: 17548
947.54/951.38 c #Conflicts: 274000 | #Constraints: 18548
947.54/951.38 c #Conflicts: 275000 | #Constraints: 19548
947.54/951.38 c #Conflicts: 276000 | #Constraints: 20560
947.54/951.38 c #Conflicts: 277000 | #Constraints: 21587
947.54/951.38 c INPROCESSING
947.54/951.38 c GARBAGE COLLECT
947.54/951.38 c rational objective 29
979.60/983.56 c #Conflicts: 278000 | #Constraints: 12078
979.60/983.56 c #Conflicts: 279000 | #Constraints: 13110
979.60/983.56 c #Conflicts: 280000 | #Constraints: 14130
979.60/983.56 c #Conflicts: 281000 | #Constraints: 15150
979.60/983.56 c #Conflicts: 282000 | #Constraints: 16152
979.60/983.56 c #Conflicts: 283000 | #Constraints: 17159
979.60/983.56 c #Conflicts: 284000 | #Constraints: 18171
979.60/983.56 c #Conflicts: 285000 | #Constraints: 19189
979.60/983.56 c #Conflicts: 286000 | #Constraints: 20194
979.60/983.56 c #Conflicts: 287000 | #Constraints: 21225
979.60/983.56 c #Conflicts: 288000 | #Constraints: 22244
979.60/983.56 c INPROCESSING
979.60/983.56 c GARBAGE COLLECT
979.60/983.56 c rational objective 29
1007.99/1012.03 c #Conflicts: 289000 | #Constraints: 12526
1007.99/1012.03 c #Conflicts: 290000 | #Constraints: 13531
1007.99/1012.03 c #Conflicts: 291000 | #Constraints: 14534
1007.99/1012.03 c #Conflicts: 292000 | #Constraints: 15550
1007.99/1012.03 c #Conflicts: 293000 | #Constraints: 16557
1007.99/1012.03 c #Conflicts: 294000 | #Constraints: 17564
1007.99/1012.03 c #Conflicts: 295000 | #Constraints: 18583
1007.99/1012.03 c #Conflicts: 296000 | #Constraints: 19601
1007.99/1012.03 c #Conflicts: 297000 | #Constraints: 20602
1007.99/1012.03 c #Conflicts: 298000 | #Constraints: 21604
1007.99/1012.03 c #Conflicts: 299000 | #Constraints: 22605
1007.99/1012.03 c INPROCESSING
1007.99/1012.03 c GARBAGE COLLECT
1007.99/1012.03 c rational objective 29
1046.02/1050.22 c #Conflicts: 300000 | #Constraints: 12687
1046.02/1050.22 c #Conflicts: 301000 | #Constraints: 13691
1046.02/1050.22 c #Conflicts: 302000 | #Constraints: 14714
1046.02/1050.22 c #Conflicts: 303000 | #Constraints: 15730
1046.02/1050.22 c #Conflicts: 304000 | #Constraints: 16745
1046.02/1050.22 c #Conflicts: 305000 | #Constraints: 17761
1046.02/1050.22 c #Conflicts: 306000 | #Constraints: 18773
1046.02/1050.22 c #Conflicts: 307000 | #Constraints: 19795
1046.02/1050.22 c #Conflicts: 308000 | #Constraints: 20828
1046.02/1050.22 c #Conflicts: 309000 | #Constraints: 21844
1046.02/1050.22 c #Conflicts: 310000 | #Constraints: 22859
1046.02/1050.22 c INPROCESSING
1046.02/1050.22 c GARBAGE COLLECT
1046.02/1050.22 c rational objective 29
1097.62/1102.07 c #Conflicts: 311000 | #Constraints: 12727
1097.62/1102.07 c #Conflicts: 312000 | #Constraints: 13751
1097.62/1102.07 c #Conflicts: 313000 | #Constraints: 14757
1097.62/1102.07 c #Conflicts: 314000 | #Constraints: 15771
1097.62/1102.07 c #Conflicts: 315000 | #Constraints: 16783
1097.62/1102.07 c #Conflicts: 316000 | #Constraints: 17784
1097.62/1102.07 c #Conflicts: 317000 | #Constraints: 18784
1097.62/1102.07 c #Conflicts: 318000 | #Constraints: 19787
1097.62/1102.07 c #Conflicts: 319000 | #Constraints: 20787
1097.62/1102.07 c #Conflicts: 320000 | #Constraints: 21787
1097.62/1102.07 c #Conflicts: 321000 | #Constraints: 22794
1097.62/1102.07 c INPROCESSING
1097.62/1102.07 c GARBAGE COLLECT
1097.62/1102.07 c rational objective 29
1167.13/1171.85 c #Conflicts: 322000 | #Constraints: 12483
1167.13/1171.85 c #Conflicts: 323000 | #Constraints: 13484
1167.13/1171.85 c #Conflicts: 324000 | #Constraints: 14485
1167.13/1171.85 c #Conflicts: 325000 | #Constraints: 15486
1167.13/1171.85 c #Conflicts: 326000 | #Constraints: 16487
1167.13/1171.85 c #Conflicts: 327000 | #Constraints: 17487
1167.13/1171.85 c #Conflicts: 328000 | #Constraints: 18487
1167.13/1171.85 c #Conflicts: 329000 | #Constraints: 19487
1167.13/1171.85 c #Conflicts: 330000 | #Constraints: 20487
1167.13/1171.85 c #Conflicts: 331000 | #Constraints: 21487
1167.13/1171.85 c #Conflicts: 332000 | #Constraints: 22487
1167.13/1171.85 c #Conflicts: 333000 | #Constraints: 23487
1167.13/1171.85 c INPROCESSING
1167.13/1171.85 c GARBAGE COLLECT
1167.13/1171.85 c rational objective 29
1224.43/1229.36 c #Conflicts: 334000 | #Constraints: 13032
1224.43/1229.36 c #Conflicts: 335000 | #Constraints: 14037
1224.43/1229.36 c #Conflicts: 336000 | #Constraints: 15048
1224.43/1229.36 c #Conflicts: 337000 | #Constraints: 16059
1224.43/1229.36 c #Conflicts: 338000 | #Constraints: 17067
1224.43/1229.36 c #Conflicts: 339000 | #Constraints: 18079
1224.43/1229.36 c #Conflicts: 340000 | #Constraints: 19080
1224.43/1229.36 c #Conflicts: 341000 | #Constraints: 20080
1224.43/1229.36 c #Conflicts: 342000 | #Constraints: 21081
1224.43/1229.36 c #Conflicts: 343000 | #Constraints: 22091
1224.43/1229.36 c #Conflicts: 344000 | #Constraints: 23092
1224.43/1229.36 c #Conflicts: 345000 | #Constraints: 24094
1224.43/1229.36 c INPROCESSING
1224.43/1229.36 c GARBAGE COLLECT
1224.43/1229.36 c rational objective 29
1274.88/1279.96 c #Conflicts: 346000 | #Constraints: 13434
1274.88/1279.96 c #Conflicts: 347000 | #Constraints: 14464
1274.88/1279.96 c #Conflicts: 348000 | #Constraints: 15481
1274.88/1279.96 c #Conflicts: 349000 | #Constraints: 16487
1274.88/1279.96 c #Conflicts: 350000 | #Constraints: 17517
1274.88/1279.96 c #Conflicts: 351000 | #Constraints: 18519
1274.88/1279.96 c #Conflicts: 352000 | #Constraints: 19527
1274.88/1279.96 c #Conflicts: 353000 | #Constraints: 20535
1274.88/1279.96 c #Conflicts: 354000 | #Constraints: 21536
1274.88/1279.96 c #Conflicts: 355000 | #Constraints: 22540
1274.88/1279.96 c #Conflicts: 356000 | #Constraints: 23541
1274.88/1279.96 c #Conflicts: 357000 | #Constraints: 24543
1274.88/1279.96 c INPROCESSING
1274.88/1279.96 c GARBAGE COLLECT
1274.88/1279.96 c rational objective 29
1318.12/1323.39 c #Conflicts: 358000 | #Constraints: 13644
1318.12/1323.39 c #Conflicts: 359000 | #Constraints: 14650
1318.12/1323.39 c #Conflicts: 360000 | #Constraints: 15670
1318.12/1323.39 c #Conflicts: 361000 | #Constraints: 16697
1318.12/1323.39 c #Conflicts: 362000 | #Constraints: 17711
1318.12/1323.39 c #Conflicts: 363000 | #Constraints: 18725
1318.12/1323.39 c #Conflicts: 364000 | #Constraints: 19747
1318.12/1323.39 c #Conflicts: 365000 | #Constraints: 20749
1318.12/1323.39 c #Conflicts: 366000 | #Constraints: 21751
1318.12/1323.39 c #Conflicts: 367000 | #Constraints: 22767
1318.12/1323.39 c #Conflicts: 368000 | #Constraints: 23786
1318.12/1323.39 c #Conflicts: 369000 | #Constraints: 24805
1318.12/1323.39 c INPROCESSING
1318.12/1323.39 c GARBAGE COLLECT
1318.12/1323.39 c rational objective 29
1380.92/1386.39 c #Conflicts: 370000 | #Constraints: 13711
1380.92/1386.39 c #Conflicts: 371000 | #Constraints: 14722
1380.92/1386.39 c #Conflicts: 372000 | #Constraints: 15731
1380.92/1386.39 c #Conflicts: 373000 | #Constraints: 16752
1380.92/1386.39 c #Conflicts: 374000 | #Constraints: 17757
1380.92/1386.39 c #Conflicts: 375000 | #Constraints: 18757
1380.92/1386.39 c #Conflicts: 376000 | #Constraints: 19758
1380.92/1386.39 c #Conflicts: 377000 | #Constraints: 20758
1380.92/1386.39 c #Conflicts: 378000 | #Constraints: 21762
1380.92/1386.39 c #Conflicts: 379000 | #Constraints: 22782
1380.92/1386.39 c #Conflicts: 380000 | #Constraints: 23783
1380.92/1386.39 c #Conflicts: 381000 | #Constraints: 24786
1380.92/1386.39 c INPROCESSING
1380.92/1386.39 c GARBAGE COLLECT
1380.92/1386.39 c rational objective 29
1421.75/1427.33 c #Conflicts: 382000 | #Constraints: 13476
1421.75/1427.33 c #Conflicts: 383000 | #Constraints: 14503
1421.75/1427.33 c #Conflicts: 384000 | #Constraints: 15544
1421.75/1427.33 c #Conflicts: 385000 | #Constraints: 16555
1421.75/1427.33 c #Conflicts: 386000 | #Constraints: 17570
1421.75/1427.33 c #Conflicts: 387000 | #Constraints: 18584
1421.75/1427.33 c #Conflicts: 388000 | #Constraints: 19599
1421.75/1427.33 c #Conflicts: 389000 | #Constraints: 20623
1421.75/1427.33 c #Conflicts: 390000 | #Constraints: 21642
1421.75/1427.33 c #Conflicts: 391000 | #Constraints: 22676
1421.75/1427.33 c #Conflicts: 392000 | #Constraints: 23693
1421.75/1427.33 c #Conflicts: 393000 | #Constraints: 24712
1421.75/1427.33 c #Conflicts: 394000 | #Constraints: 25712
1421.75/1427.33 c INPROCESSING
1421.75/1427.33 c GARBAGE COLLECT
1421.75/1427.33 c rational objective 29
1452.47/1458.13 c #Conflicts: 395000 | #Constraints: 14161
1452.47/1458.13 c #Conflicts: 396000 | #Constraints: 15161
1452.47/1458.13 c #Conflicts: 397000 | #Constraints: 16161
1452.47/1458.13 c #Conflicts: 398000 | #Constraints: 17167
1452.47/1458.13 c #Conflicts: 399000 | #Constraints: 18167
1452.47/1458.13 c #Conflicts: 400000 | #Constraints: 19167
1452.47/1458.13 c #Conflicts: 401000 | #Constraints: 20167
1452.47/1458.13 c #Conflicts: 402000 | #Constraints: 21167
1452.47/1458.13 c #Conflicts: 403000 | #Constraints: 22167
1452.47/1458.13 c #Conflicts: 404000 | #Constraints: 23167
1452.47/1458.13 c #Conflicts: 405000 | #Constraints: 24167
1452.47/1458.13 c #Conflicts: 406000 | #Constraints: 25167
1452.47/1458.13 c #Conflicts: 407000 | #Constraints: 26167
1452.47/1458.13 c INPROCESSING
1452.47/1458.13 c GARBAGE COLLECT
1452.47/1458.13 c rational objective 29
1478.78/1484.57 c #Conflicts: 408000 | #Constraints: 14460
1478.78/1484.57 c #Conflicts: 409000 | #Constraints: 15556
1478.78/1484.57 c #Conflicts: 410000 | #Constraints: 16563
1478.78/1484.57 c #Conflicts: 411000 | #Constraints: 17618
1478.78/1484.57 c #Conflicts: 412000 | #Constraints: 18765
1478.78/1484.57 c #Conflicts: 413000 | #Constraints: 20249
1478.78/1484.57 c #Conflicts: 414000 | #Constraints: 21362
1478.78/1484.57 c #Conflicts: 415000 | #Constraints: 22362
1478.78/1484.57 c #Conflicts: 416000 | #Constraints: 23362
1478.78/1484.57 c #Conflicts: 417000 | #Constraints: 24362
1478.78/1484.57 c #Conflicts: 418000 | #Constraints: 25362
1478.78/1484.57 c #Conflicts: 419000 | #Constraints: 26362
1478.78/1484.57 c #Conflicts: 420000 | #Constraints: 27362
1478.78/1484.57 c INPROCESSING
1478.78/1484.57 c GARBAGE COLLECT
1478.78/1484.57 c rational objective 29
1502.59/1508.49 c #Conflicts: 421000 | #Constraints: 15068
1502.59/1508.49 c #Conflicts: 422000 | #Constraints: 16068
1502.59/1508.49 c #Conflicts: 423000 | #Constraints: 17068
1502.59/1508.49 c #Conflicts: 424000 | #Constraints: 18068
1502.59/1508.49 c #Conflicts: 425000 | #Constraints: 19069
1502.59/1508.49 c #Conflicts: 426000 | #Constraints: 20070
1502.59/1508.49 c #Conflicts: 427000 | #Constraints: 21070
1502.59/1508.49 c #Conflicts: 428000 | #Constraints: 22073
1502.59/1508.49 c #Conflicts: 429000 | #Constraints: 23075
1502.59/1508.49 c #Conflicts: 430000 | #Constraints: 24075
1502.59/1508.49 c #Conflicts: 431000 | #Constraints: 25076
1502.59/1508.49 c #Conflicts: 432000 | #Constraints: 26077
1502.59/1508.49 c #Conflicts: 433000 | #Constraints: 27078
1502.59/1508.49 c INPROCESSING
1502.59/1508.49 c GARBAGE COLLECT
1502.59/1508.49 c rational objective 29
1608.76/1614.92 c #Conflicts: 434000 | #Constraints: 14853
1608.76/1614.92 c #Conflicts: 435000 | #Constraints: 15865
1608.76/1614.92 c #Conflicts: 436000 | #Constraints: 16872
1608.76/1614.92 c #Conflicts: 437000 | #Constraints: 17887
1608.76/1614.92 c #Conflicts: 438000 | #Constraints: 18887
1608.76/1614.92 c #Conflicts: 439000 | #Constraints: 19889
1608.76/1614.92 c #Conflicts: 440000 | #Constraints: 20889
1608.76/1614.92 c #Conflicts: 441000 | #Constraints: 21889
1608.76/1614.92 c #Conflicts: 442000 | #Constraints: 22890
1608.76/1614.92 c #Conflicts: 443000 | #Constraints: 23890
1608.76/1614.92 c #Conflicts: 444000 | #Constraints: 24890
1608.76/1614.92 c #Conflicts: 445000 | #Constraints: 25890
1608.76/1614.92 c #Conflicts: 446000 | #Constraints: 26890
1608.76/1614.92 c INPROCESSING
1608.76/1614.92 c GARBAGE COLLECT
1608.76/1614.92 c rational objective 29
1678.55/1684.97 c #Conflicts: 447000 | #Constraints: 14539
1678.55/1684.97 c #Conflicts: 448000 | #Constraints: 15549
1678.55/1684.97 c #Conflicts: 449000 | #Constraints: 16566
1678.55/1684.97 c #Conflicts: 450000 | #Constraints: 17571
1678.55/1684.97 c #Conflicts: 451000 | #Constraints: 18572
1678.55/1684.97 c #Conflicts: 452000 | #Constraints: 19572
1678.55/1684.97 c #Conflicts: 453000 | #Constraints: 20572
1678.55/1684.97 c #Conflicts: 454000 | #Constraints: 21577
1678.55/1684.97 c #Conflicts: 455000 | #Constraints: 22580
1678.55/1684.97 c #Conflicts: 456000 | #Constraints: 23582
1678.55/1684.97 c #Conflicts: 457000 | #Constraints: 24584
1678.55/1684.97 c #Conflicts: 458000 | #Constraints: 25584
1678.55/1684.97 c #Conflicts: 459000 | #Constraints: 26584
1678.55/1684.97 c #Conflicts: 460000 | #Constraints: 27584
1678.55/1684.97 c INPROCESSING
1678.55/1684.97 c GARBAGE COLLECT
1678.55/1684.97 c rational objective 29
1754.71/1761.33 c #Conflicts: 461000 | #Constraints: 15104
1754.71/1761.33 c #Conflicts: 462000 | #Constraints: 16112
1754.71/1761.33 c #Conflicts: 463000 | #Constraints: 17115
1754.71/1761.33 c #Conflicts: 464000 | #Constraints: 18117
1754.71/1761.33 c #Conflicts: 465000 | #Constraints: 19120
1754.71/1761.33 c #Conflicts: 466000 | #Constraints: 20121
1754.71/1761.33 c #Conflicts: 467000 | #Constraints: 21127
1754.71/1761.33 c #Conflicts: 468000 | #Constraints: 22134
1754.71/1761.33 c #Conflicts: 469000 | #Constraints: 23136
1754.71/1761.33 c #Conflicts: 470000 | #Constraints: 24147
1754.71/1761.33 c #Conflicts: 471000 | #Constraints: 25149
1754.71/1761.33 c #Conflicts: 472000 | #Constraints: 26150
1754.71/1761.33 c #Conflicts: 473000 | #Constraints: 27150
1754.71/1761.33 c #Conflicts: 474000 | #Constraints: 28150
1754.71/1761.33 c INPROCESSING
1754.71/1761.33 c GARBAGE COLLECT
1754.71/1761.33 c rational objective 29
1889.81/1896.84 c #Conflicts: 475000 | #Constraints: 15488
1889.81/1896.84 c #Conflicts: 476000 | #Constraints: 16490
1889.81/1896.84 c #Conflicts: 477000 | #Constraints: 17495
1889.81/1896.84 c #Conflicts: 478000 | #Constraints: 18497
1889.81/1896.84 c #Conflicts: 479000 | #Constraints: 19498
1889.81/1896.84 c #Conflicts: 480000 | #Constraints: 20499
1889.81/1896.84 c #Conflicts: 481000 | #Constraints: 21499
1889.81/1896.84 c #Conflicts: 482000 | #Constraints: 22499
1889.81/1896.84 c #Conflicts: 483000 | #Constraints: 23500
1889.81/1896.84 c #Conflicts: 484000 | #Constraints: 24500
1889.81/1896.84 c #Conflicts: 485000 | #Constraints: 25500
1889.81/1896.84 c #Conflicts: 486000 | #Constraints: 26500
1889.81/1896.84 c #Conflicts: 487000 | #Constraints: 27500
1889.81/1896.84 c #Conflicts: 488000 | #Constraints: 28500
1889.81/1896.84 c INPROCESSING
1889.81/1896.84 c GARBAGE COLLECT
1889.81/1896.84 c rational objective 29
1964.97/1972.26 c #Conflicts: 489000 | #Constraints: 15683
1964.97/1972.26 c #Conflicts: 490000 | #Constraints: 16686
1964.97/1972.26 c #Conflicts: 491000 | #Constraints: 17710
1964.97/1972.26 c #Conflicts: 492000 | #Constraints: 18719
1964.97/1972.26 c #Conflicts: 493000 | #Constraints: 19726
1964.97/1972.26 c #Conflicts: 494000 | #Constraints: 20730
1964.97/1972.26 c #Conflicts: 495000 | #Constraints: 21730
1964.97/1972.26 c #Conflicts: 496000 | #Constraints: 22730
1964.97/1972.26 c #Conflicts: 497000 | #Constraints: 23730
1964.97/1972.26 c #Conflicts: 498000 | #Constraints: 24731
1964.97/1972.26 c #Conflicts: 499000 | #Constraints: 25731
1964.97/1972.26 c #Conflicts: 500000 | #Constraints: 26731
1964.97/1972.26 c #Conflicts: 501000 | #Constraints: 27733
1964.97/1972.26 c #Conflicts: 502000 | #Constraints: 28733
1964.97/1972.26 c INPROCESSING
1964.97/1972.26 c GARBAGE COLLECT
1964.97/1972.26 c rational objective 29
2025.89/2033.33 c #Conflicts: 503000 | #Constraints: 15688
2025.89/2033.33 c #Conflicts: 504000 | #Constraints: 16712
2025.89/2033.33 c #Conflicts: 505000 | #Constraints: 17712
2025.89/2033.33 c #Conflicts: 506000 | #Constraints: 18721
2025.89/2033.33 c #Conflicts: 507000 | #Constraints: 19725
2025.89/2033.33 c #Conflicts: 508000 | #Constraints: 20725
2025.89/2033.33 c #Conflicts: 509000 | #Constraints: 21725
2025.89/2033.33 c #Conflicts: 510000 | #Constraints: 22725
2025.89/2033.33 c #Conflicts: 511000 | #Constraints: 23725
2025.89/2033.33 c #Conflicts: 512000 | #Constraints: 24725
2025.89/2033.33 c #Conflicts: 513000 | #Constraints: 25725
2025.89/2033.33 c #Conflicts: 514000 | #Constraints: 26920
2025.89/2033.33 c #Conflicts: 515000 | #Constraints: 27925
2025.89/2033.33 c #Conflicts: 516000 | #Constraints: 28925
2025.89/2033.33 c INPROCESSING
2025.89/2033.33 c GARBAGE COLLECT
2025.89/2033.33 c rational objective 29
2068.57/2076.18 c #Conflicts: 517000 | #Constraints: 15553
2068.57/2076.18 c #Conflicts: 518000 | #Constraints: 16554
2068.57/2076.18 c #Conflicts: 519000 | #Constraints: 17557
2068.57/2076.18 c #Conflicts: 520000 | #Constraints: 18576
2068.57/2076.18 c #Conflicts: 521000 | #Constraints: 19600
2068.57/2076.18 c #Conflicts: 522000 | #Constraints: 20609
2068.57/2076.18 c #Conflicts: 523000 | #Constraints: 21611
2068.57/2076.18 c #Conflicts: 524000 | #Constraints: 22620
2068.57/2076.18 c #Conflicts: 525000 | #Constraints: 23637
2068.57/2076.18 c #Conflicts: 526000 | #Constraints: 24653
2068.57/2076.18 c #Conflicts: 527000 | #Constraints: 25672
2068.57/2076.18 c #Conflicts: 528000 | #Constraints: 26690
2068.57/2076.18 c #Conflicts: 529000 | #Constraints: 27705
2068.57/2076.18 c #Conflicts: 530000 | #Constraints: 28707
2068.57/2076.18 c #Conflicts: 531000 | #Constraints: 29707
2068.57/2076.18 c INPROCESSING
2068.57/2076.18 c GARBAGE COLLECT
2068.57/2076.18 c rational objective 29
2117.41/2125.20 c #Conflicts: 532000 | #Constraints: 16172
2117.41/2125.20 c #Conflicts: 533000 | #Constraints: 17219
2117.41/2125.20 c #Conflicts: 534000 | #Constraints: 18219
2117.41/2125.20 c #Conflicts: 535000 | #Constraints: 19219
2117.41/2125.20 c #Conflicts: 536000 | #Constraints: 20219
2117.41/2125.20 c #Conflicts: 537000 | #Constraints: 21220
2117.41/2125.20 c #Conflicts: 538000 | #Constraints: 22237
2117.41/2125.20 c #Conflicts: 539000 | #Constraints: 23638
2117.41/2125.20 c #Conflicts: 540000 | #Constraints: 25017
2117.41/2125.20 c #Conflicts: 541000 | #Constraints: 26017
2117.41/2125.20 c #Conflicts: 542000 | #Constraints: 27019
2117.41/2125.20 c #Conflicts: 543000 | #Constraints: 28025
2117.41/2125.20 c #Conflicts: 544000 | #Constraints: 29030
2117.41/2125.20 c #Conflicts: 545000 | #Constraints: 30045
2117.41/2125.20 c #Conflicts: 546000 | #Constraints: 31107
2117.41/2125.20 c INPROCESSING
2117.41/2125.20 c GARBAGE COLLECT
2117.41/2125.20 c rational objective 29
2215.10/2223.17 c #Conflicts: 547000 | #Constraints: 16941
2215.10/2223.17 c #Conflicts: 548000 | #Constraints: 17956
2215.10/2223.17 c #Conflicts: 549000 | #Constraints: 18978
2215.10/2223.17 c #Conflicts: 550000 | #Constraints: 19979
2215.10/2223.17 c #Conflicts: 551000 | #Constraints: 20991
2215.10/2223.17 c #Conflicts: 552000 | #Constraints: 22002
2215.10/2223.17 c #Conflicts: 553000 | #Constraints: 23003
2215.10/2223.17 c #Conflicts: 554000 | #Constraints: 24003
2215.10/2223.17 c #Conflicts: 555000 | #Constraints: 25003
2215.10/2223.17 c #Conflicts: 556000 | #Constraints: 26003
2215.10/2223.17 c #Conflicts: 557000 | #Constraints: 27003
2215.10/2223.17 c #Conflicts: 558000 | #Constraints: 28009
2215.10/2223.17 c #Conflicts: 559000 | #Constraints: 29012
2215.10/2223.17 c #Conflicts: 560000 | #Constraints: 30014
2215.10/2223.17 c #Conflicts: 561000 | #Constraints: 31029
2215.10/2223.17 c INPROCESSING
2215.10/2223.17 c GARBAGE COLLECT
2215.10/2223.17 c rational objective 29
2272.10/2280.39 c #Conflicts: 562000 | #Constraints: 16910
2272.10/2280.39 c #Conflicts: 563000 | #Constraints: 17911
2272.10/2280.39 c #Conflicts: 564000 | #Constraints: 18915
2272.10/2280.39 c #Conflicts: 565000 | #Constraints: 19924
2272.10/2280.39 c #Conflicts: 566000 | #Constraints: 20926
2272.10/2280.39 c #Conflicts: 567000 | #Constraints: 21943
2272.10/2280.39 c #Conflicts: 568000 | #Constraints: 22955
2272.10/2280.39 c #Conflicts: 569000 | #Constraints: 23984
2272.10/2280.39 c #Conflicts: 570000 | #Constraints: 24986
2272.10/2280.39 c #Conflicts: 571000 | #Constraints: 25988
2272.10/2280.39 c #Conflicts: 572000 | #Constraints: 26991
2272.10/2280.39 c #Conflicts: 573000 | #Constraints: 27992
2272.10/2280.39 c #Conflicts: 574000 | #Constraints: 28992
2272.10/2280.39 c #Conflicts: 575000 | #Constraints: 29995
2272.10/2280.39 c #Conflicts: 576000 | #Constraints: 30998
2272.10/2280.39 c INPROCESSING
2272.10/2280.39 c GARBAGE COLLECT
2272.10/2280.39 c rational objective 29
2321.36/2329.75 c #Conflicts: 577000 | #Constraints: 16791
2321.36/2329.75 c #Conflicts: 578000 | #Constraints: 17798
2321.36/2329.75 c #Conflicts: 579000 | #Constraints: 18813
2321.36/2329.75 c #Conflicts: 580000 | #Constraints: 19831
2321.36/2329.75 c #Conflicts: 581000 | #Constraints: 20836
2321.36/2329.75 c #Conflicts: 582000 | #Constraints: 21841
2321.36/2329.75 c #Conflicts: 583000 | #Constraints: 22843
2321.36/2329.75 c #Conflicts: 584000 | #Constraints: 23850
2321.36/2329.75 c #Conflicts: 585000 | #Constraints: 24879
2321.36/2329.75 c #Conflicts: 586000 | #Constraints: 25899
2321.36/2329.75 c #Conflicts: 587000 | #Constraints: 26917
2321.36/2329.75 c #Conflicts: 588000 | #Constraints: 27919
2321.36/2329.75 c #Conflicts: 589000 | #Constraints: 28919
2321.36/2329.75 c #Conflicts: 590000 | #Constraints: 29922
2321.36/2329.75 c #Conflicts: 591000 | #Constraints: 30943
2321.36/2329.75 c INPROCESSING
2321.36/2329.75 c GARBAGE COLLECT
2321.36/2329.75 c rational objective 29
2386.94/2395.57 c #Conflicts: 592000 | #Constraints: 16561
2386.94/2395.57 c #Conflicts: 593000 | #Constraints: 17597
2386.94/2395.57 c #Conflicts: 594000 | #Constraints: 18604
2386.94/2395.57 c #Conflicts: 595000 | #Constraints: 19621
2386.94/2395.57 c #Conflicts: 596000 | #Constraints: 20627
2386.94/2395.57 c #Conflicts: 597000 | #Constraints: 21635
2386.94/2395.57 c #Conflicts: 598000 | #Constraints: 22635
2386.94/2395.57 c #Conflicts: 599000 | #Constraints: 23635
2386.94/2395.57 c #Conflicts: 600000 | #Constraints: 24635
2386.94/2395.57 c #Conflicts: 601000 | #Constraints: 25635
2386.94/2395.57 c #Conflicts: 602000 | #Constraints: 26635
2386.94/2395.57 c #Conflicts: 603000 | #Constraints: 27658
2386.94/2395.57 c #Conflicts: 604000 | #Constraints: 28666
2386.94/2395.57 c #Conflicts: 605000 | #Constraints: 29666
2386.94/2395.57 c #Conflicts: 606000 | #Constraints: 30666
2386.94/2395.57 c #Conflicts: 607000 | #Constraints: 31666
2386.94/2395.57 c INPROCESSING
2386.94/2395.57 c GARBAGE COLLECT
2386.94/2395.57 c rational objective 29
2468.38/2477.22 c #Conflicts: 608000 | #Constraints: 17132
2468.38/2477.22 c #Conflicts: 609000 | #Constraints: 18138
2468.38/2477.22 c #Conflicts: 610000 | #Constraints: 19143
2468.38/2477.22 c #Conflicts: 611000 | #Constraints: 20143
2468.38/2477.22 c #Conflicts: 612000 | #Constraints: 21146
2468.38/2477.22 c #Conflicts: 613000 | #Constraints: 22148
2468.38/2477.22 c #Conflicts: 614000 | #Constraints: 23156
2468.38/2477.22 c #Conflicts: 615000 | #Constraints: 24156
2468.38/2477.22 c #Conflicts: 616000 | #Constraints: 25193
2468.38/2477.22 c #Conflicts: 617000 | #Constraints: 26202
2468.38/2477.22 c #Conflicts: 618000 | #Constraints: 27214
2468.38/2477.22 c #Conflicts: 619000 | #Constraints: 28236
2468.38/2477.22 c #Conflicts: 620000 | #Constraints: 29271
2468.38/2477.22 c #Conflicts: 621000 | #Constraints: 30286
2468.38/2477.22 c #Conflicts: 622000 | #Constraints: 31298
2468.38/2477.22 c #Conflicts: 623000 | #Constraints: 32308
2468.38/2477.22 c INPROCESSING
2468.38/2477.22 c GARBAGE COLLECT
2468.38/2477.22 c rational objective 29
2520.93/2529.98 c #Conflicts: 624000 | #Constraints: 17544
2520.93/2529.98 c #Conflicts: 625000 | #Constraints: 18544
2520.93/2529.98 c #Conflicts: 626000 | #Constraints: 19544
2520.93/2529.98 c #Conflicts: 627000 | #Constraints: 20546
2520.93/2529.98 c #Conflicts: 628000 | #Constraints: 21581
2520.93/2529.98 c #Conflicts: 629000 | #Constraints: 22581
2520.93/2529.98 c #Conflicts: 630000 | #Constraints: 23581
2520.93/2529.98 c #Conflicts: 631000 | #Constraints: 24581
2520.93/2529.98 c #Conflicts: 632000 | #Constraints: 25582
2520.93/2529.98 c #Conflicts: 633000 | #Constraints: 26582
2520.93/2529.98 c #Conflicts: 634000 | #Constraints: 27582
2520.93/2529.98 c #Conflicts: 635000 | #Constraints: 28582
2520.93/2529.98 c #Conflicts: 636000 | #Constraints: 29582
2520.93/2529.98 c #Conflicts: 637000 | #Constraints: 30582
2520.93/2529.98 c #Conflicts: 638000 | #Constraints: 31582
2520.93/2529.98 c #Conflicts: 639000 | #Constraints: 32582
2520.93/2529.98 c INPROCESSING
2520.93/2529.98 c GARBAGE COLLECT
2520.93/2529.98 c rational objective 29
2570.18/2579.32 c #Conflicts: 640000 | #Constraints: 17666
2570.18/2579.32 c #Conflicts: 641000 | #Constraints: 18666
2570.18/2579.32 c #Conflicts: 642000 | #Constraints: 19667
2570.18/2579.32 c #Conflicts: 643000 | #Constraints: 20668
2570.18/2579.32 c #Conflicts: 644000 | #Constraints: 21668
2570.18/2579.32 c #Conflicts: 645000 | #Constraints: 22674
2570.18/2579.32 c #Conflicts: 646000 | #Constraints: 23677
2570.18/2579.32 c #Conflicts: 647000 | #Constraints: 24681
2570.18/2579.32 c #Conflicts: 648000 | #Constraints: 26032
2570.18/2579.32 c #Conflicts: 649000 | #Constraints: 27566
2570.18/2579.32 c #Conflicts: 650000 | #Constraints: 29199
2570.18/2579.32 c #Conflicts: 651000 | #Constraints: 30372
2570.18/2579.32 c #Conflicts: 652000 | #Constraints: 31380
2570.18/2579.32 c #Conflicts: 653000 | #Constraints: 32384
2570.18/2579.32 c #Conflicts: 654000 | #Constraints: 33574
2570.18/2579.32 c #Conflicts: 655000 | #Constraints: 35073
2570.18/2579.32 c INPROCESSING
2570.18/2579.32 c GARBAGE COLLECT
2570.18/2579.32 c rational objective 29
2609.45/2618.75 c #Conflicts: 656000 | #Constraints: 18865
2609.45/2618.75 c #Conflicts: 657000 | #Constraints: 19865
2609.45/2618.75 c #Conflicts: 658000 | #Constraints: 20865
2609.45/2618.75 c #Conflicts: 659000 | #Constraints: 21866
2609.45/2618.75 c #Conflicts: 660000 | #Constraints: 22867
2609.45/2618.75 c #Conflicts: 661000 | #Constraints: 23869
2609.45/2618.75 c #Conflicts: 662000 | #Constraints: 24870
2609.45/2618.75 c #Conflicts: 663000 | #Constraints: 25871
2609.45/2618.75 c #Conflicts: 664000 | #Constraints: 26872
2609.45/2618.75 c #Conflicts: 665000 | #Constraints: 27873
2609.45/2618.75 c #Conflicts: 666000 | #Constraints: 28873
2609.45/2618.75 c #Conflicts: 667000 | #Constraints: 29873
2609.45/2618.75 c #Conflicts: 668000 | #Constraints: 30873
2609.45/2618.75 c #Conflicts: 669000 | #Constraints: 31873
2609.45/2618.75 c #Conflicts: 670000 | #Constraints: 32874
2609.45/2618.75 c #Conflicts: 671000 | #Constraints: 33875
2609.45/2618.75 c INPROCESSING
2609.45/2618.75 c GARBAGE COLLECT
2609.45/2618.75 c rational objective 29
2654.91/2664.33 c #Conflicts: 672000 | #Constraints: 18011
2654.91/2664.33 c #Conflicts: 673000 | #Constraints: 19012
2654.91/2664.33 c #Conflicts: 674000 | #Constraints: 20013
2654.91/2664.33 c #Conflicts: 675000 | #Constraints: 21013
2654.91/2664.33 c #Conflicts: 676000 | #Constraints: 22013
2654.91/2664.33 c #Conflicts: 677000 | #Constraints: 23174
2654.91/2664.33 c #Conflicts: 678000 | #Constraints: 24563
2654.91/2664.33 c #Conflicts: 679000 | #Constraints: 26070
2654.91/2664.33 c #Conflicts: 680000 | #Constraints: 27127
2654.91/2664.33 c #Conflicts: 681000 | #Constraints: 28162
2654.91/2664.33 c #Conflicts: 682000 | #Constraints: 29259
2654.91/2664.33 c #Conflicts: 683000 | #Constraints: 30259
2654.91/2664.33 c #Conflicts: 684000 | #Constraints: 31259
2654.91/2664.33 c #Conflicts: 685000 | #Constraints: 32259
2654.91/2664.33 c #Conflicts: 686000 | #Constraints: 33259
2654.91/2664.33 c #Conflicts: 687000 | #Constraints: 34259
2654.91/2664.33 c #Conflicts: 688000 | #Constraints: 35259
2654.91/2664.33 c INPROCESSING
2654.91/2664.33 c GARBAGE COLLECT
2654.91/2664.33 c rational objective 29
2708.53/2718.16 c #Conflicts: 689000 | #Constraints: 18915
2708.53/2718.16 c #Conflicts: 690000 | #Constraints: 19915
2708.53/2718.16 c #Conflicts: 691000 | #Constraints: 20915
2708.53/2718.16 c #Conflicts: 692000 | #Constraints: 21915
2708.53/2718.16 c #Conflicts: 693000 | #Constraints: 22917
2708.53/2718.16 c #Conflicts: 694000 | #Constraints: 23923
2708.53/2718.16 c #Conflicts: 695000 | #Constraints: 24929
2708.53/2718.16 c #Conflicts: 696000 | #Constraints: 25935
2708.53/2718.16 c #Conflicts: 697000 | #Constraints: 26943
2708.53/2718.16 c #Conflicts: 698000 | #Constraints: 27960
2708.53/2718.16 c #Conflicts: 699000 | #Constraints: 28972
2708.53/2718.16 c #Conflicts: 700000 | #Constraints: 29976
2708.53/2718.16 c #Conflicts: 701000 | #Constraints: 30995
2708.53/2718.16 c #Conflicts: 702000 | #Constraints: 32005
2708.53/2718.16 c #Conflicts: 703000 | #Constraints: 33005
2708.53/2718.16 c #Conflicts: 704000 | #Constraints: 34005
2708.53/2718.16 c #Conflicts: 705000 | #Constraints: 35007
2708.53/2718.16 c INPROCESSING
2708.53/2718.16 c GARBAGE COLLECT
2708.53/2718.16 c rational objective 29
2737.34/2747.10 c #Conflicts: 706000 | #Constraints: 18903
2737.34/2747.10 c #Conflicts: 707000 | #Constraints: 19911
2737.34/2747.10 c #Conflicts: 708000 | #Constraints: 20914
2737.34/2747.10 c #Conflicts: 709000 | #Constraints: 21919
2737.34/2747.10 c #Conflicts: 710000 | #Constraints: 22926
2737.34/2747.10 c #Conflicts: 711000 | #Constraints: 23928
2737.34/2747.10 c #Conflicts: 712000 | #Constraints: 24928
2737.34/2747.10 c #Conflicts: 713000 | #Constraints: 25928
2737.34/2747.10 c #Conflicts: 714000 | #Constraints: 26928
2737.34/2747.10 c #Conflicts: 715000 | #Constraints: 27928
2737.34/2747.10 c #Conflicts: 716000 | #Constraints: 28929
2737.34/2747.10 c #Conflicts: 717000 | #Constraints: 29930
2737.34/2747.10 c #Conflicts: 718000 | #Constraints: 30942
2737.34/2747.10 c #Conflicts: 719000 | #Constraints: 31959
2737.34/2747.10 c #Conflicts: 720000 | #Constraints: 32963
2737.34/2747.10 c #Conflicts: 721000 | #Constraints: 33964
2737.34/2747.10 c #Conflicts: 722000 | #Constraints: 34969
2737.34/2747.10 c INPROCESSING
2737.34/2747.10 c GARBAGE COLLECT
2737.34/2747.10 c rational objective 29
3091.67/3102.45 c #Conflicts: 723000 | #Constraints: 18900
3091.67/3102.45 c #Conflicts: 724000 | #Constraints: 19911
3091.67/3102.45 c #Conflicts: 725000 | #Constraints: 20922
3091.67/3102.45 c #Conflicts: 726000 | #Constraints: 21923
3091.67/3102.45 c #Conflicts: 727000 | #Constraints: 22924
3091.67/3102.45 c #Conflicts: 728000 | #Constraints: 23925
3091.67/3102.45 c #Conflicts: 729000 | #Constraints: 24925
3091.67/3102.45 c #Conflicts: 730000 | #Constraints: 25925
3091.67/3102.45 c #Conflicts: 731000 | #Constraints: 26925
3091.67/3102.45 c #Conflicts: 732000 | #Constraints: 27925
3091.67/3102.45 c #Conflicts: 733000 | #Constraints: 28928
3091.67/3102.45 c #Conflicts: 734000 | #Constraints: 29928
3091.67/3102.45 c #Conflicts: 735000 | #Constraints: 30928
3091.67/3102.45 c #Conflicts: 736000 | #Constraints: 31928
3091.67/3102.45 c #Conflicts: 737000 | #Constraints: 32928
3091.67/3102.45 c #Conflicts: 738000 | #Constraints: 33928
3091.67/3102.45 c #Conflicts: 739000 | #Constraints: 34928
3091.67/3102.45 c INPROCESSING
3091.67/3102.45 c GARBAGE COLLECT
3091.67/3102.45 c rational objective 29
3141.10/3152.02 c #Conflicts: 740000 | #Constraints: 18769
3141.10/3152.02 c #Conflicts: 741000 | #Constraints: 19771
3141.10/3152.02 c #Conflicts: 742000 | #Constraints: 21186
3141.10/3152.02 c #Conflicts: 743000 | #Constraints: 22696
3141.10/3152.02 c #Conflicts: 744000 | #Constraints: 23770
3141.10/3152.02 c #Conflicts: 745000 | #Constraints: 24772
3141.10/3152.02 c #Conflicts: 746000 | #Constraints: 25779
3141.10/3152.02 c #Conflicts: 747000 | #Constraints: 26803
3141.10/3152.02 c #Conflicts: 748000 | #Constraints: 27824
3141.10/3152.02 c #Conflicts: 749000 | #Constraints: 28836
3141.10/3152.02 c #Conflicts: 750000 | #Constraints: 29854
3141.10/3152.02 c #Conflicts: 751000 | #Constraints: 30859
3141.10/3152.02 c #Conflicts: 752000 | #Constraints: 31883
3141.10/3152.02 c #Conflicts: 753000 | #Constraints: 32897
3141.10/3152.02 c #Conflicts: 754000 | #Constraints: 33905
3141.10/3152.02 c #Conflicts: 755000 | #Constraints: 34926
3141.10/3152.02 c #Conflicts: 756000 | #Constraints: 35945
3141.10/3152.02 c INPROCESSING
3141.10/3152.02 c GARBAGE COLLECT
3141.10/3152.02 c rational objective 29
3189.16/3200.24 c #Conflicts: 757000 | #Constraints: 19066
3189.16/3200.24 c #Conflicts: 758000 | #Constraints: 20068
3189.16/3200.24 c #Conflicts: 759000 | #Constraints: 21083
3189.16/3200.24 c #Conflicts: 760000 | #Constraints: 22088
3189.16/3200.24 c #Conflicts: 761000 | #Constraints: 23089
3189.16/3200.24 c #Conflicts: 762000 | #Constraints: 24090
3189.16/3200.24 c #Conflicts: 763000 | #Constraints: 25090
3189.16/3200.24 c #Conflicts: 764000 | #Constraints: 26091
3189.16/3200.24 c #Conflicts: 765000 | #Constraints: 27092
3189.16/3200.24 c #Conflicts: 766000 | #Constraints: 28099
3189.16/3200.24 c #Conflicts: 767000 | #Constraints: 29103
3189.16/3200.24 c #Conflicts: 768000 | #Constraints: 30105
3189.16/3200.24 c #Conflicts: 769000 | #Constraints: 31122
3189.16/3200.24 c #Conflicts: 770000 | #Constraints: 32125
3189.16/3200.24 c #Conflicts: 771000 | #Constraints: 33128
3189.16/3200.24 c #Conflicts: 772000 | #Constraints: 34137
3189.16/3200.24 c #Conflicts: 773000 | #Constraints: 35151
3189.16/3200.24 c #Conflicts: 774000 | #Constraints: 36181
3189.16/3200.24 c INPROCESSING
3189.16/3200.24 c GARBAGE COLLECT
3189.16/3200.24 c rational objective 29
3196.34/3207.40 c #Conflicts: 775000 | #Constraints: 19382
3196.34/3207.40 c #Conflicts: 776000 | #Constraints: 20410
3196.34/3207.40 c #Conflicts: 777000 | #Constraints: 21440
3196.34/3207.40 c Inconsistent constraint found
3196.34/3207.40 c cpu time 3156.98 s
3196.34/3207.40 c deterministic time 658462817268 6.58e+11
3196.34/3207.40 c optimization time 0.036535 s
3196.34/3207.40 c total solve time 3156.9 s
3196.34/3207.40 c core-guided solve time 0 s
3196.34/3207.40 c propagation time 2116.83 s
3196.34/3207.40 c conflict analysis time 772.708 s
3196.34/3207.40 c propagations 76697493
3196.34/3207.40 c resolve steps 2783311
3196.34/3207.40 c decisions 11441594
3196.34/3207.40 c conflicts 777146
3196.34/3207.40 c restarts 1658
3196.34/3207.40 c inprocessing phases 79
3196.34/3207.40 c garbage collections 79 ,( 100.00 )
3196.34/3207.40 c input clauses 325 ,( 45.33 )
3196.34/3207.40 c input cardinalities 325 ,( 45.33 )
3196.34/3207.40 c input general constraints 67 ,( 9.34 )
3196.34/3207.40 c input average constraint length 58.24
3196.34/3207.40 c input average constraint degree 12358.28
3196.34/3207.40 c learned clauses 305 ,( 0.04 )
3196.34/3207.40 c learned cardinalities 15 ,( 0.00 )
3196.34/3207.40 c learned general constraints 791968 ,( 99.96 )
3196.34/3207.40 c learned average constraint length 2934.54
3196.34/3207.40 c learned average constraint degree 8594910143.29
3196.34/3207.40 c watched CF 32, 64, 128, Arb: 217554 , 0 , 0 , 0
3196.34/3207.40 c counting CF 32, 64, 128, Arb: 574482 , 0 , 0 , 0
3196.34/3207.40 c watched constraints 217554 ,( 27.47 )
3196.34/3207.40 c counting constraints 574481 ,( 72.53 )
3196.34/3207.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3642314 , 2822204 , 2457260584 ,( 274174998 , 2183085586 )
3196.34/3207.40 c gcd simplifications 1025
3196.34/3207.40 c detected cardinalities 14
3196.34/3207.40 c weakened non-implied lits 389304199
3196.34/3207.40 c weakened non-implying lits 2050997
3196.34/3207.40 c original variables 10432
3196.34/3207.40 c clausal propagations 1121454
3196.34/3207.40 c cardinality propagations 17402380
3196.34/3207.40 c watched propagations 260627
3196.34/3207.40 c counting propagations 52344444
3196.34/3207.40 c watch lookups 46336045007
3196.34/3207.40 c watch backjump lookups 0
3196.34/3207.40 c watch checks 50525372870
3196.34/3207.40 c propagation checks 555722472957
3196.34/3207.40 c constraint additions 5700967600
3196.34/3207.40 c trail pops 88911257
3196.34/3207.40 c formula constraints 716
3196.34/3207.40 c learned constraints 772170
3196.34/3207.40 c bound constraints 0
3196.34/3207.40 c core-guided constraints 0
3196.34/3207.40 c encountered formula constraints 1868174
3196.34/3207.40 c encountered learned constraints 1191036
3196.34/3207.40 c encountered bound constraints 0
3196.34/3207.40 c encountered core-guided constraints 0
3196.34/3207.40 c LP total time 355.467 s
3196.34/3207.40 c LP solve time 237.69 s
3196.34/3207.40 c LP constraints added 1307
3196.34/3207.40 c LP constraints removed 585
3196.34/3207.40 c LP pivots internal 777158
3196.34/3207.40 c LP pivots root 131331
3196.34/3207.40 c LP calls 101217
3196.34/3207.40 c LP optimalities 86620
3196.34/3207.40 c LP no pivot count 30760
3196.34/3207.40 c LP infeasibilities 14567
3196.34/3207.40 c LP valid Farkas constraints 14553
3196.34/3207.40 c LP learned Farkas constraints 4976
3196.34/3207.40 c LP basis resets 39
3196.34/3207.40 c LP cycling count 0
3196.34/3207.40 c LP singular count 26
3196.34/3207.40 c LP no primal count 0
3196.34/3207.40 c LP no farkas count 13
3196.34/3207.40 c LP other issue count 0
3196.34/3207.40 c LP Gomory cuts 589
3196.34/3207.40 c LP learned cuts 2
3196.34/3207.40 c LP deleted cuts 585
3196.34/3207.40 c LP encountered Gomory constraints 11
3196.34/3207.40 c LP encountered Farkas constraints 453391
3196.34/3207.40 c LP encountered learned Farkas constraints 42869
3196.34/3207.40 c CG auxiliary variables introduced 1
3196.34/3207.40 c CG solutions found 1
3196.34/3207.40 c CG cores constructed 0
3196.34/3207.40 c CG core cardinality constraints returned 0
3196.34/3207.40 c CG unit cores 0
3196.34/3207.40 c CG single cores 0
3196.34/3207.40 c CG blocks removed during cardinality reduction 0
3196.34/3207.40 c CG first core best 0
3196.34/3207.40 c CG decision core best 0
3196.34/3207.40 c CG core reduction tie 0
3196.34/3207.40 c CG core degree average 0.00
3196.34/3207.40 c CG core slack average 0.00
3196.34/3207.40 c CG core upper bound improvements 0
3196.34/3207.40 c STR number of successful calls 0
3196.34/3207.40 c STR number of unsuccessful calls 0
3196.34/3207.40 c STR number of inconclusive calls 0
3196.34/3207.40 c STR number of successful attempts 0
3196.34/3207.40 c STR number of unsuccessful attempts 0
3196.34/3207.40 c STR number of inconclusive attempts 0
3196.34/3207.40 c STR average degree increase per successful call inf
3196.34/3207.40 c STR average degree increase per successful attempt inf
3196.34/3207.40 c STR total number of conflicts for successful attempts 0
3196.34/3207.40 c STR total number of conflicts for unsuccessful attempts 0
3196.34/3207.40 c STR total number of conflicts for inconclusive attempts 0
3196.34/3207.40 c STR average number of conflicts per successful attempt inf
3196.34/3207.40 c STR average number of conflicts per unsuccessful attempt inf
3196.34/3207.40 c STR average number of conflicts per inconclusive attempt inf
3196.34/3207.40 c AVG.sumWPerc 56.45
3196.34/3207.40 c bigint constraints 0
3196.34/3207.40 o 29
3196.34/3207.40 s OPTIMUM FOUND
3196.34/3207.40 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: 63837 MiB (38880 MiB free)
memory of node 1: 64465 MiB (56775 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509471-1751522477/watcher-4509471-1751522477 -o /tmp/evaluation-result-4509471-1751522477/solver-4509471-1751522477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82246 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4509471-1751522477.opb PROOFDIR/proof-4509471-1751522477
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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
Current StackSize limit: 8192 KiB
solver pid=83520, runsolver pid=83517
[startup+0.100088 s]*
/proc/loadavg: 4.16 4.22 4.20 5/263 83522
/proc/meminfo: memFree=97943652/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=67116 memory=17564 CPUtime=0.07 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 2747 0 0 0 6 1 0 0 20 0 1 0 67926887 68726784 4391 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 16779 4391 2368 1147 0 4206 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 71308 KiB
Current children cumulated memory: 20508 KiB
[startup+0.208301 s]*
/proc/loadavg: 4.16 4.22 4.20 5/263 83522
/proc/meminfo: memFree=97939872/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=75368 memory=23600 CPUtime=0.18 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 4538 0 0 0 13 5 0 0 20 0 1 0 67926887 77176832 5900 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 18842 5900 2368 1147 0 6269 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 79560 KiB
Current children cumulated memory: 26544 KiB
[startup+0.314286 s]*
/proc/loadavg: 4.16 4.22 4.20 5/263 83522
/proc/meminfo: memFree=97939872/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=75528 memory=23984 CPUtime=0.29 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 4592 0 0 0 23 6 0 0 20 0 1 0 67926887 77340672 5996 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 18882 5996 2400 1147 0 6309 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79720 KiB
Current children cumulated memory: 26928 KiB
[startup+0.700406 s]
/proc/loadavg: 4.16 4.22 4.20 5/263 83522
/proc/meminfo: memFree=97927776/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=75888 memory=24368 CPUtime=0.66 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 4688 0 0 0 59 7 0 0 20 0 1 0 67926887 77709312 6092 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 18972 6092 2400 1147 0 6399 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 80080 KiB
Current children cumulated memory: 27312 KiB
[startup+1.50039 s]
/proc/loadavg: 4.16 4.22 4.20 5/263 83522
/proc/meminfo: memFree=97911900/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=88100 memory=39788 CPUtime=1.45 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 8040 0 0 0 132 13 0 0 20 0 1 0 67926887 90214400 9947 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 22025 9947 2400 1147 0 9452 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 92292 KiB
Current children cumulated memory: 42732 KiB
[startup+3.11488 s]
/proc/loadavg: 4.14 4.21 4.20 5/263 83522
/proc/meminfo: memFree=97682052/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=170500 memory=121084 CPUtime=3.07 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 24246 0 0 0 287 20 0 0 20 0 1 0 67926887 174592000 30271 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 42625 30271 2432 1147 0 30052 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 174692 KiB
Current children cumulated memory: 124028 KiB
[startup+6.30039 s]
/proc/loadavg: 4.14 4.21 4.20 5/263 83522
/proc/meminfo: memFree=96662232/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=237380 memory=179396 CPUtime=6.24 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 36257 0 0 0 596 28 0 0 20 0 1 0 67926887 243077120 44849 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 59345 44849 2432 1147 0 46772 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 241572 KiB
Current children cumulated memory: 182340 KiB
[startup+12.7004 s]
/proc/loadavg: 4.13 4.21 4.20 5/263 83522
/proc/meminfo: memFree=96376168/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=339388 memory=269748 CPUtime=12.62 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 54265 0 0 0 1218 44 0 0 20 0 1 0 67926887 347533312 67437 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 84847 67437 2432 1147 0 72274 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 343580 KiB
Current children cumulated memory: 272692 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.20 4.20 5/263 83522
/proc/meminfo: memFree=95710396/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=631016 memory=504964 CPUtime=25.39 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 107449 0 0 0 2470 69 0 0 20 0 1 0 67926887 646160384 126241 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 157754 126241 2432 1147 0 145181 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 635208 KiB
Current children cumulated memory: 507908 KiB
[startup+51.1143 s]
/proc/loadavg: 4.13 4.20 4.19 5/263 83523
/proc/meminfo: memFree=94790820/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=675132 memory=594260 CPUtime=50.89 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 120818 0 0 0 4975 114 0 0 20 0 1 0 67926887 691335168 148565 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 168783 148565 2432 1147 0 156210 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 679324 KiB
Current children cumulated memory: 597204 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.18 4.19 5/263 83525
/proc/meminfo: memFree=93380472/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=941912 memory=747084 CPUtime=101.86 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 158857 0 0 0 9967 219 0 0 20 0 1 0 67926887 964517888 186771 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 235478 186771 2528 1147 0 222905 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 946104 KiB
Current children cumulated memory: 750028 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.17 4.18 5/261 83527
/proc/meminfo: memFree=91086204/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=1184360 memory=995544 CPUtime=161.63 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 219583 0 0 0 15819 344 0 0 20 0 1 0 67926887 1212784640 248886 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 296090 248886 2528 1147 0 283517 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 1188552 KiB
Current children cumulated memory: 998488 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 4.22 4.19 5/260 83575
/proc/meminfo: memFree=101901228/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=1371876 memory=1204012 CPUtime=221.4 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 258455 0 0 0 21680 460 0 0 20 0 1 0 67926887 1404801024 301003 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
################
# More data... #
################
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=5467332 memory=4625540 CPUtime=2971.91 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 1042937 0 0 0 293480 3711 0 0 20 0 1 0 67926887 5598547968 1156385 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 1366833 1156385 2528 1147 0 1354260 0
Current children cumulated CPU time: 2971.91 s
Current children cumulated vsize: 5471524 KiB
Current children cumulated memory: 4628484 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.12 4.09 5/264 83817
/proc/meminfo: memFree=28475824/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=5826820 memory=4741892 CPUtime=3031.74 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 1072084 0 0 0 299440 3734 0 0 20 0 1 0 67926887 5966663680 1185473 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 1456705 1185473 2528 1147 0 1444132 0
Current children cumulated CPU time: 3031.74 s
Current children cumulated vsize: 5831012 KiB
Current children cumulated memory: 4744836 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 83819
/proc/meminfo: memFree=26989740/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=5961992 memory=4909060 CPUtime=3091.57 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 1120480 0 0 0 305401 3756 0 0 20 0 1 0 67926887 6105079808 1227265 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 1490498 1227265 2528 1147 0 1477925 0
Current children cumulated CPU time: 3091.57 s
Current children cumulated vsize: 5966184 KiB
Current children cumulated memory: 4912004 KiB
[startup+3162.3 s]
/proc/loadavg: 3.94 4.08 4.08 4/254 83852
/proc/meminfo: memFree=60240648/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=5966180 memory=4913284 CPUtime=3151.36 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 1141464 0 0 0 311271 3865 0 0 20 0 1 0 67926887 6109368320 1228321 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 1491545 1228321 2528 1147 0 1478972 0
Current children cumulated CPU time: 3151.36 s
Current children cumulated vsize: 5970372 KiB
Current children cumulated memory: 4916228 KiB
[startup+3209.05 s]
# the end of solver process 83520 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3157 s, system=39.922 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3174.4 s]
/proc/loadavg: 3.73 4.03 4.06 4/254 83853
/proc/meminfo: memFree=60014716/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=5966180 memory=4913284 CPUtime=3163.43 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 1142153 0 0 0 312460 3883 0 0 20 0 1 0 67926887 6109368320 1228321 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 1491545 1228321 2528 1147 0 1478972 0
Current children cumulated CPU time: 3163.43 s
Current children cumulated vsize: 5970372 KiB
Current children cumulated memory: 4916228 KiB
[startup+3187.2 s]
/proc/loadavg: 3.69 4.01 4.06 4/256 83855
/proc/meminfo: memFree=59731768/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=5966180 memory=4913284 CPUtime=3176.19 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 1142689 0 0 0 313714 3905 0 0 20 0 1 0 67926887 6109368320 1228321 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 1491545 1228321 2528 1147 0 1478972 0
Current children cumulated CPU time: 3176.19 s
Current children cumulated vsize: 5970372 KiB
Current children cumulated memory: 4916228 KiB
[startup+3200 s]*
/proc/loadavg: 3.54 3.96 4.04 4/255 83855
/proc/meminfo: memFree=59425092/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=5966180 memory=4913412 CPUtime=3188.97 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 1143940 0 0 0 314976 3921 0 0 20 0 1 0 67926887 6109368320 1228353 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 1491545 1228353 2528 1147 0 1478972 0
Current children cumulated CPU time: 3188.97 s
Current children cumulated vsize: 5970372 KiB
Current children cumulated memory: 4916356 KiB
[startup+3203.2 s]
/proc/loadavg: 3.50 3.94 4.03 4/255 83855
/proc/meminfo: memFree=59344452/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=5966180 memory=4913412 CPUtime=3192.15 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 1143944 0 0 0 315287 3928 0 0 20 0 1 0 67926887 6109368320 1228353 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 1491545 1228353 2528 1147 0 1478972 0
Current children cumulated CPU time: 3192.15 s
Current children cumulated vsize: 5970372 KiB
Current children cumulated memory: 4916356 KiB
[startup+3206.4 s]
/proc/loadavg: 3.50 3.94 4.03 4/255 83855
/proc/meminfo: memFree=59241300/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=5966180 memory=4913412 CPUtime=3195.34 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 1143953 0 0 0 315599 3935 0 0 20 0 1 0 67926887 6109368320 1228353 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 1491545 1228353 2528 1147 0 1478972 0
Current children cumulated CPU time: 3195.34 s
Current children cumulated vsize: 5970372 KiB
Current children cumulated memory: 4916356 KiB
[startup+3208 s]*
/proc/loadavg: 3.46 3.93 4.03 3/255 83855
/proc/meminfo: memFree=59214628/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=5966180 memory=4913412 CPUtime=3196.35 cores=1,3
/proc/83522/stat : 83522 (roundingsat) D 83520 83520 82234 0 -1 4194304 1143953 0 0 0 315698 3937 0 0 20 0 1 0 67926887 6109368320 1228353 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 1491545 1228353 2528 1147 0 1478972 0
Current children cumulated CPU time: 3196.35 s
Current children cumulated vsize: 5970372 KiB
Current children cumulated memory: 4916356 KiB
[startup+3208.8 s]
/proc/loadavg: 3.46 3.93 4.03 3/255 83855
/proc/meminfo: memFree=59214628/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
[pid=83522] ppid=83520 vsize=4234380 memory=2441384 CPUtime=3196.67 cores=1,3
/proc/83522/stat : 83522 (roundingsat) R 83520 83520 82234 0 -1 4194304 1143963 0 0 0 315700 3967 0 0 20 0 1 0 67926887 4336005120 610346 18446744073709551615 4227072 8923433 140726516005184 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 22802432 140726516013394 140726516013608 140726516013608 140726516019178 0
/proc/83522/statm: 1058595 610346 2528 1147 0 1046022 0
Current children cumulated CPU time: 3196.67 s
Current children cumulated vsize: 4238572 KiB
Current children cumulated memory: 2444328 KiB
[startup+3209 s]*
/proc/loadavg: 3.46 3.93 4.03 4/255 83856
/proc/meminfo: memFree=63633596/131382112 swapFree=33005784/33010684
[pid=83520] ppid=83517 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83520/stat : 83520 (run-opt-log.sh) S 83517 83520 82234 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67926886 4292608 736 18446744073709551615 94222004736000 94222005630533 140736958958128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222005869584 94222005917328 94222013796352 140736958961953 140736958962148 140736958962148 140736958967750 0
/proc/83520/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 3209.05
CPU time (s): 3196.92
CPU user time (s): 3157
CPU system time (s): 39.922
CPU usage (%): 99.6221
Max. virtual memory (cumulated for all children) (KiB): 5970372
Max. memory (cumulated for all children) (KiB): 4916356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3157
system time used= 39.922
maximum resident set size= 4913412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1144194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 57817784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15837
involuntary context switches= 6550
# summary of solver processes directly reported to runsolver:
# pid: 83520
# total CPU time (s): 3196.92
# total CPU user time (s): 3157
# total CPU system time (s): 39.922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0495 second user time and 34.5236 second system time
The end
Begin job on nodeC007 at 2025-07-03 08:01:17
IDJOB=4509471
IDBENCH=158620
IDSOLVER=3351
FILE ID=nodeC007/4509471-1751522477
RUNJOBID= nodeC007-1751514781-82246
SLURM_JOB_ID= 9598624
Free space on /tmp= 431008 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509471-1751522477/watcher-4509471-1751522477 -o /tmp/evaluation-result-4509471-1751522477/solver-4509471-1751522477 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82246 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4509471-1751522477.opb PROOFDIR/proof-4509471-1751522477
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 152bb06216511240edab5f108e287529
RANDOM SEED=1617984041
nodeC007 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 : 0xb00001f
cpu MHz : 3662.609
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.543
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.413
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2294.632
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.677
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.649
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.520
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 97951464 kB
MemAvailable: 114063260 kB
Buffers: 16 kB
Cached: 16781384 kB
SwapCached: 252 kB
Active: 15976836 kB
Inactive: 16555920 kB
Active(anon): 15717068 kB
Inactive(anon): 47904 kB
Active(file): 259768 kB
Inactive(file): 16508016 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 74292 kB
Writeback: 0 kB
AnonPages: 15754288 kB
Mapped: 112604 kB
Shmem: 13504 kB
KReclaimable: 367280 kB
Slab: 460196 kB
SReclaimable: 367280 kB
SUnreclaim: 92916 kB
KernelStack: 4224 kB
PageTables: 36336 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 19582144 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149624 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5165056 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431020 MiB
End job on nodeC007 at 2025-07-03 08:54:47