0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.03	c #variables 8281 #constraints 826
12.25/12.37	c #Conflicts:       1000 | #Constraints:       1825
12.25/12.37	c #Conflicts:       2000 | #Constraints:       2825
12.25/12.37	c INPROCESSING
12.25/12.37	c GARBAGE COLLECT
12.25/12.37	c #Conflicts:       3000 | #Constraints:       2854
12.25/12.37	c #Conflicts:       4000 | #Constraints:       3854
12.25/12.37	c INPROCESSING
12.25/12.37	c GARBAGE COLLECT
12.25/12.37	c #Conflicts:       5000 | #Constraints:       3279
12.25/12.37	c #Conflicts:       6000 | #Constraints:       4279
12.25/12.37	c INPROCESSING
12.25/12.37	c GARBAGE COLLECT
12.25/12.37	c #Conflicts:       7000 | #Constraints:       3313
12.25/12.37	c #Conflicts:       8000 | #Constraints:       4313
12.25/12.37	c #Conflicts:       9000 | #Constraints:       5313
12.25/12.37	c INPROCESSING
12.25/12.37	c GARBAGE COLLECT
12.25/12.37	c rational objective 91
20.94/21.01	c #Conflicts:      10000 | #Constraints:       4017
20.94/21.01	c #Conflicts:      11000 | #Constraints:       5017
20.94/21.01	c #Conflicts:      12000 | #Constraints:       6017
20.94/21.01	c INPROCESSING
20.94/21.01	c GARBAGE COLLECT
20.94/21.01	c #Conflicts:      13000 | #Constraints:       4493
20.94/21.01	c #Conflicts:      14000 | #Constraints:       5493
20.94/21.01	c #Conflicts:      15000 | #Constraints:       6493
20.94/21.01	c INPROCESSING
20.94/21.01	c GARBAGE COLLECT
20.94/21.01	c rational objective 91
70.31/70.53	c #Conflicts:      16000 | #Constraints:       4732
70.31/70.53	c #Conflicts:      17000 | #Constraints:       5732
70.31/70.53	c #Conflicts:      18000 | #Constraints:       6732
70.31/70.53	c INPROCESSING
70.31/70.53	c GARBAGE COLLECT
70.31/70.53	c #Conflicts:      19000 | #Constraints:       4769
70.31/70.53	c #Conflicts:      20000 | #Constraints:       5770
70.31/70.53	c #Conflicts:      21000 | #Constraints:       6770
70.31/70.53	c INPROCESSING
70.31/70.53	c GARBAGE COLLECT
70.31/70.53	c #Conflicts:      22000 | #Constraints:       4558
70.31/70.53	c #Conflicts:      23000 | #Constraints:       5559
70.31/70.53	c #Conflicts:      24000 | #Constraints:       6559
70.31/70.53	c #Conflicts:      25000 | #Constraints:       7559
70.31/70.53	c INPROCESSING
70.31/70.53	c GARBAGE COLLECT
70.31/70.53	c #Conflicts:      26000 | #Constraints:       5153
70.31/70.53	c #Conflicts:      27000 | #Constraints:       6153
70.31/70.53	c #Conflicts:      28000 | #Constraints:       7153
70.31/70.53	c #Conflicts:      29000 | #Constraints:       8153
70.31/70.53	c INPROCESSING
70.31/70.53	c GARBAGE COLLECT
70.31/70.53	c #Conflicts:      30000 | #Constraints:       5542
70.31/70.53	c #Conflicts:      31000 | #Constraints:       6542
70.31/70.53	c #Conflicts:      32000 | #Constraints:       7542
70.31/70.53	c #Conflicts:      33000 | #Constraints:       8542
70.31/70.53	c INPROCESSING
70.31/70.53	c GARBAGE COLLECT
70.31/70.53	c #Conflicts:      34000 | #Constraints:       5759
70.31/70.53	c #Conflicts:      35000 | #Constraints:       6759
70.31/70.53	c #Conflicts:      36000 | #Constraints:       7759
70.31/70.53	c #Conflicts:      37000 | #Constraints:       8759
70.31/70.53	c INPROCESSING
70.31/70.53	c GARBAGE COLLECT
70.31/70.53	c #Conflicts:      38000 | #Constraints:       5776
70.31/70.53	c #Conflicts:      39000 | #Constraints:       6776
70.31/70.53	c #Conflicts:      40000 | #Constraints:       7776
70.31/70.53	c #Conflicts:      41000 | #Constraints:       8776
70.31/70.53	c INPROCESSING
70.31/70.53	c GARBAGE COLLECT
70.31/70.53	c #Conflicts:      42000 | #Constraints:       5588
70.31/70.53	c #Conflicts:      43000 | #Constraints:       6588
70.31/70.53	c #Conflicts:      44000 | #Constraints:       7588
70.31/70.53	c #Conflicts:      45000 | #Constraints:       8588
70.31/70.53	c #Conflicts:      46000 | #Constraints:       9588
70.31/70.53	c INPROCESSING
70.31/70.53	c GARBAGE COLLECT
70.31/70.53	c rational objective 91
80.28/80.59	c #Conflicts:      47000 | #Constraints:       6168
80.28/80.59	c #Conflicts:      48000 | #Constraints:       7169
80.28/80.59	c #Conflicts:      49000 | #Constraints:       8169
80.28/80.59	c #Conflicts:      50000 | #Constraints:       9169
80.28/80.59	c #Conflicts:      51000 | #Constraints:      10170
80.28/80.59	c INPROCESSING
80.28/80.59	c GARBAGE COLLECT
80.28/80.59	c rational objective 91
87.97/88.21	c #Conflicts:      52000 | #Constraints:       6566
87.97/88.21	c #Conflicts:      53000 | #Constraints:       7566
87.97/88.21	c #Conflicts:      54000 | #Constraints:       8566
87.97/88.21	c #Conflicts:      55000 | #Constraints:       9566
87.97/88.21	c #Conflicts:      56000 | #Constraints:      10566
87.97/88.21	c INPROCESSING
87.97/88.21	c GARBAGE COLLECT
87.97/88.21	c rational objective 91
94.95/95.30	c #Conflicts:      57000 | #Constraints:       6763
94.95/95.30	c #Conflicts:      58000 | #Constraints:       7763
94.95/95.30	c #Conflicts:      59000 | #Constraints:       8763
94.95/95.30	c #Conflicts:      60000 | #Constraints:       9763
94.95/95.30	c #Conflicts:      61000 | #Constraints:      10763
94.95/95.30	c INPROCESSING
94.95/95.30	c GARBAGE COLLECT
94.95/95.30	c rational objective 91
107.03/107.39	c #Conflicts:      62000 | #Constraints:       6774
107.03/107.39	c #Conflicts:      63000 | #Constraints:       7774
107.03/107.39	c #Conflicts:      64000 | #Constraints:       8775
107.03/107.39	c #Conflicts:      65000 | #Constraints:       9775
107.03/107.39	c #Conflicts:      66000 | #Constraints:      10775
107.03/107.39	c INPROCESSING
107.03/107.39	c GARBAGE COLLECT
107.03/107.39	c rational objective 91
116.90/117.24	c #Conflicts:      67000 | #Constraints:       6581
116.90/117.24	c #Conflicts:      68000 | #Constraints:       7581
116.90/117.24	c #Conflicts:      69000 | #Constraints:       8581
116.90/117.24	c #Conflicts:      70000 | #Constraints:       9581
116.90/117.24	c #Conflicts:      71000 | #Constraints:      10581
116.90/117.24	c #Conflicts:      72000 | #Constraints:      11582
116.90/117.24	c INPROCESSING
116.90/117.24	c GARBAGE COLLECT
116.90/117.24	c rational objective 91
140.74/141.18	c #Conflicts:      73000 | #Constraints:       7164
140.74/141.18	c #Conflicts:      74000 | #Constraints:       8165
140.74/141.18	c #Conflicts:      75000 | #Constraints:       9165
140.74/141.18	c #Conflicts:      76000 | #Constraints:      10165
140.74/141.18	c #Conflicts:      77000 | #Constraints:      11166
140.74/141.18	c #Conflicts:      78000 | #Constraints:      12166
140.74/141.18	c INPROCESSING
140.74/141.18	c GARBAGE COLLECT
140.74/141.18	c #Conflicts:      79000 | #Constraints:       7581
140.74/141.18	c #Conflicts:      80000 | #Constraints:       8581
140.74/141.18	c #Conflicts:      81000 | #Constraints:       9581
140.74/141.18	c #Conflicts:      82000 | #Constraints:      10581
140.74/141.18	c #Conflicts:      83000 | #Constraints:      11581
140.74/141.18	c #Conflicts:      84000 | #Constraints:      12581
140.74/141.18	c INPROCESSING
140.74/141.18	c GARBAGE COLLECT
140.74/141.18	c rational objective 91
166.67/167.14	c #Conflicts:      85000 | #Constraints:       7793
166.67/167.14	c #Conflicts:      86000 | #Constraints:       8793
166.67/167.14	c #Conflicts:      87000 | #Constraints:       9794
166.67/167.14	c #Conflicts:      88000 | #Constraints:      10794
166.67/167.14	c #Conflicts:      89000 | #Constraints:      11794
166.67/167.14	c #Conflicts:      90000 | #Constraints:      12795
166.67/167.14	c INPROCESSING
166.67/167.14	c GARBAGE COLLECT
166.67/167.14	c #Conflicts:      91000 | #Constraints:       7792
166.67/167.14	c #Conflicts:      92000 | #Constraints:       8792
166.67/167.14	c #Conflicts:      93000 | #Constraints:       9792
166.67/167.14	c #Conflicts:      94000 | #Constraints:      10792
166.67/167.14	c #Conflicts:      95000 | #Constraints:      11792
166.67/167.14	c #Conflicts:      96000 | #Constraints:      12792
166.67/167.14	c INPROCESSING
166.67/167.14	c GARBAGE COLLECT
166.67/167.14	c rational objective 91
184.73/185.26	c #Conflicts:      97000 | #Constraints:       7606
184.73/185.26	c #Conflicts:      98000 | #Constraints:       8606
184.73/185.26	c #Conflicts:      99000 | #Constraints:       9606
184.73/185.26	c #Conflicts:     100000 | #Constraints:      10606
184.73/185.26	c #Conflicts:     101000 | #Constraints:      11606
184.73/185.26	c #Conflicts:     102000 | #Constraints:      12607
184.73/185.26	c #Conflicts:     103000 | #Constraints:      13607
184.73/185.26	c INPROCESSING
184.73/185.26	c GARBAGE COLLECT
184.73/185.26	c rational objective 91
196.09/196.60	c #Conflicts:     104000 | #Constraints:       8210
196.09/196.60	c #Conflicts:     105000 | #Constraints:       9210
196.09/196.60	c #Conflicts:     106000 | #Constraints:      10210
196.09/196.60	c #Conflicts:     107000 | #Constraints:      11210
196.09/196.60	c #Conflicts:     108000 | #Constraints:      12210
196.09/196.60	c #Conflicts:     109000 | #Constraints:      13210
196.09/196.60	c #Conflicts:     110000 | #Constraints:      14210
196.09/196.60	c INPROCESSING
196.09/196.60	c GARBAGE COLLECT
196.09/196.60	c rational objective 91
210.26/210.88	c #Conflicts:     111000 | #Constraints:       8610
210.26/210.88	c #Conflicts:     112000 | #Constraints:       9610
210.26/210.88	c #Conflicts:     113000 | #Constraints:      10611
210.26/210.88	c #Conflicts:     114000 | #Constraints:      11611
210.26/210.88	c #Conflicts:     115000 | #Constraints:      12612
210.26/210.88	c #Conflicts:     116000 | #Constraints:      13612
210.26/210.88	c #Conflicts:     117000 | #Constraints:      14612
210.26/210.88	c INPROCESSING
210.26/210.88	c GARBAGE COLLECT
210.26/210.88	c rational objective 91
227.42/228.06	c #Conflicts:     118000 | #Constraints:       8812
227.42/228.06	c #Conflicts:     119000 | #Constraints:       9812
227.42/228.06	c #Conflicts:     120000 | #Constraints:      10813
227.42/228.06	c #Conflicts:     121000 | #Constraints:      11813
227.42/228.06	c #Conflicts:     122000 | #Constraints:      12813
227.42/228.06	c #Conflicts:     123000 | #Constraints:      13814
227.42/228.06	c #Conflicts:     124000 | #Constraints:      14814
227.42/228.06	c INPROCESSING
227.42/228.06	c GARBAGE COLLECT
227.42/228.06	c rational objective 91
243.97/244.62	c #Conflicts:     125000 | #Constraints:       8803
243.97/244.62	c #Conflicts:     126000 | #Constraints:       9803
243.97/244.62	c #Conflicts:     127000 | #Constraints:      10803
243.97/244.62	c #Conflicts:     128000 | #Constraints:      11803
243.97/244.62	c #Conflicts:     129000 | #Constraints:      12803
243.97/244.62	c #Conflicts:     130000 | #Constraints:      13803
243.97/244.62	c #Conflicts:     131000 | #Constraints:      14803
243.97/244.62	c INPROCESSING
243.97/244.62	c GARBAGE COLLECT
243.97/244.62	c rational objective 91
263.12/263.87	c #Conflicts:     132000 | #Constraints:       8605
263.12/263.87	c #Conflicts:     133000 | #Constraints:       9605
263.12/263.87	c #Conflicts:     134000 | #Constraints:      10605
263.12/263.87	c #Conflicts:     135000 | #Constraints:      11605
263.12/263.87	c #Conflicts:     136000 | #Constraints:      12605
263.12/263.87	c #Conflicts:     137000 | #Constraints:      13605
263.12/263.87	c #Conflicts:     138000 | #Constraints:      14606
263.12/263.87	c #Conflicts:     139000 | #Constraints:      15606
263.12/263.87	c INPROCESSING
263.12/263.87	c GARBAGE COLLECT
263.12/263.87	c rational objective 91
290.55/291.38	c #Conflicts:     140000 | #Constraints:       9225
290.55/291.38	c #Conflicts:     141000 | #Constraints:      10225
290.55/291.38	c #Conflicts:     142000 | #Constraints:      11225
290.55/291.38	c #Conflicts:     143000 | #Constraints:      12225
290.55/291.38	c #Conflicts:     144000 | #Constraints:      13225
290.55/291.38	c #Conflicts:     145000 | #Constraints:      14225
290.55/291.38	c #Conflicts:     146000 | #Constraints:      15225
290.55/291.38	c #Conflicts:     147000 | #Constraints:      16226
290.55/291.38	c INPROCESSING
290.55/291.38	c GARBAGE COLLECT
290.55/291.38	c rational objective 91
308.81/309.66	c #Conflicts:     148000 | #Constraints:       9654
308.81/309.66	c #Conflicts:     149000 | #Constraints:      10655
308.81/309.66	c #Conflicts:     150000 | #Constraints:      11655
308.81/309.66	c #Conflicts:     151000 | #Constraints:      12655
308.81/309.66	c #Conflicts:     152000 | #Constraints:      13655
308.81/309.66	c #Conflicts:     153000 | #Constraints:      14656
308.81/309.66	c #Conflicts:     154000 | #Constraints:      15656
308.81/309.66	c #Conflicts:     155000 | #Constraints:      16656
308.81/309.66	c INPROCESSING
308.81/309.66	c GARBAGE COLLECT
308.81/309.66	c rational objective 91
348.41/349.31	c #Conflicts:     156000 | #Constraints:       9836
348.41/349.31	c #Conflicts:     157000 | #Constraints:      10836
348.41/349.31	c #Conflicts:     158000 | #Constraints:      11836
348.41/349.31	c #Conflicts:     159000 | #Constraints:      12836
348.41/349.31	c #Conflicts:     160000 | #Constraints:      13836
348.41/349.31	c #Conflicts:     161000 | #Constraints:      14837
348.41/349.31	c #Conflicts:     162000 | #Constraints:      15837
348.41/349.31	c #Conflicts:     163000 | #Constraints:      16837
348.41/349.31	c INPROCESSING
348.41/349.31	c GARBAGE COLLECT
348.41/349.31	c #Conflicts:     164000 | #Constraints:       9847
348.41/349.31	c #Conflicts:     165000 | #Constraints:      10848
348.41/349.31	c #Conflicts:     166000 | #Constraints:      11848
348.41/349.31	c #Conflicts:     167000 | #Constraints:      12848
348.41/349.31	c #Conflicts:     168000 | #Constraints:      13848
348.41/349.31	c #Conflicts:     169000 | #Constraints:      14848
348.41/349.31	c #Conflicts:     170000 | #Constraints:      15849
348.41/349.31	c #Conflicts:     171000 | #Constraints:      16849
348.41/349.31	c INPROCESSING
348.41/349.31	c GARBAGE COLLECT
348.41/349.31	c rational objective 91
367.47/368.40	c #Conflicts:     172000 | #Constraints:       9636
367.47/368.40	c #Conflicts:     173000 | #Constraints:      10636
367.47/368.40	c #Conflicts:     174000 | #Constraints:      11636
367.47/368.40	c #Conflicts:     175000 | #Constraints:      12636
367.47/368.40	c #Conflicts:     176000 | #Constraints:      13636
367.47/368.40	c #Conflicts:     177000 | #Constraints:      14636
367.47/368.40	c #Conflicts:     178000 | #Constraints:      15636
367.47/368.40	c #Conflicts:     179000 | #Constraints:      16637
367.47/368.40	c #Conflicts:     180000 | #Constraints:      17637
367.47/368.40	c INPROCESSING
367.47/368.40	c GARBAGE COLLECT
367.47/368.40	c rational objective 91
393.01/394.03	c #Conflicts:     181000 | #Constraints:      10221
393.01/394.03	c #Conflicts:     182000 | #Constraints:      11221
393.01/394.03	c #Conflicts:     183000 | #Constraints:      12221
393.01/394.03	c #Conflicts:     184000 | #Constraints:      13221
393.01/394.03	c #Conflicts:     185000 | #Constraints:      14221
393.01/394.03	c #Conflicts:     186000 | #Constraints:      15222
393.01/394.03	c #Conflicts:     187000 | #Constraints:      16222
393.01/394.03	c #Conflicts:     188000 | #Constraints:      17223
393.01/394.03	c #Conflicts:     189000 | #Constraints:      18223
393.01/394.03	c INPROCESSING
393.01/394.03	c GARBAGE COLLECT
393.01/394.03	c rational objective 91
439.09/440.28	c #Conflicts:     190000 | #Constraints:      10627
439.09/440.28	c #Conflicts:     191000 | #Constraints:      11627
439.09/440.28	c #Conflicts:     192000 | #Constraints:      12627
439.09/440.28	c #Conflicts:     193000 | #Constraints:      13627
439.09/440.28	c #Conflicts:     194000 | #Constraints:      14627
439.09/440.28	c #Conflicts:     195000 | #Constraints:      15627
439.09/440.28	c #Conflicts:     196000 | #Constraints:      16628
439.09/440.28	c #Conflicts:     197000 | #Constraints:      17628
439.09/440.28	c #Conflicts:     198000 | #Constraints:      18628
439.09/440.28	c INPROCESSING
439.09/440.28	c GARBAGE COLLECT
439.09/440.28	c #Conflicts:     199000 | #Constraints:      10829
439.09/440.28	c #Conflicts:     200000 | #Constraints:      11829
439.09/440.28	c #Conflicts:     201000 | #Constraints:      12829
439.09/440.28	c #Conflicts:     202000 | #Constraints:      13829
439.09/440.28	c #Conflicts:     203000 | #Constraints:      14829
439.09/440.28	c #Conflicts:     204000 | #Constraints:      15829
439.09/440.28	c #Conflicts:     205000 | #Constraints:      16829
439.09/440.28	c #Conflicts:     206000 | #Constraints:      17829
439.09/440.28	c #Conflicts:     207000 | #Constraints:      18829
439.09/440.28	c INPROCESSING
439.09/440.28	c GARBAGE COLLECT
439.09/440.28	c rational objective 91
469.02/470.23	c #Conflicts:     208000 | #Constraints:      10831
469.02/470.23	c #Conflicts:     209000 | #Constraints:      11831
469.02/470.23	c #Conflicts:     210000 | #Constraints:      12831
469.02/470.23	c #Conflicts:     211000 | #Constraints:      13832
469.02/470.23	c #Conflicts:     212000 | #Constraints:      14832
469.02/470.23	c #Conflicts:     213000 | #Constraints:      15832
469.02/470.23	c #Conflicts:     214000 | #Constraints:      16832
469.02/470.23	c #Conflicts:     215000 | #Constraints:      17832
469.02/470.23	c #Conflicts:     216000 | #Constraints:      18832
469.02/470.23	c INPROCESSING
469.02/470.23	c GARBAGE COLLECT
469.02/470.23	c rational objective 91
508.32/509.66	c #Conflicts:     217000 | #Constraints:      10653
508.32/509.66	c #Conflicts:     218000 | #Constraints:      11653
508.32/509.66	c #Conflicts:     219000 | #Constraints:      12653
508.32/509.66	c #Conflicts:     220000 | #Constraints:      13653
508.32/509.66	c #Conflicts:     221000 | #Constraints:      14653
508.32/509.66	c #Conflicts:     222000 | #Constraints:      15653
508.32/509.66	c #Conflicts:     223000 | #Constraints:      16653
508.32/509.66	c #Conflicts:     224000 | #Constraints:      17653
508.32/509.66	c #Conflicts:     225000 | #Constraints:      18653
508.32/509.66	c #Conflicts:     226000 | #Constraints:      19654
508.32/509.66	c INPROCESSING
508.32/509.66	c GARBAGE COLLECT
508.32/509.66	c rational objective 91
534.16/535.59	c #Conflicts:     227000 | #Constraints:      11266
534.16/535.59	c #Conflicts:     228000 | #Constraints:      12266
534.16/535.59	c #Conflicts:     229000 | #Constraints:      13266
534.16/535.59	c #Conflicts:     230000 | #Constraints:      14266
534.16/535.59	c #Conflicts:     231000 | #Constraints:      15266
534.16/535.59	c #Conflicts:     232000 | #Constraints:      16266
534.16/535.59	c #Conflicts:     233000 | #Constraints:      17266
534.16/535.59	c #Conflicts:     234000 | #Constraints:      18266
534.16/535.59	c #Conflicts:     235000 | #Constraints:      19266
534.16/535.59	c #Conflicts:     236000 | #Constraints:      20266
534.16/535.59	c INPROCESSING
534.16/535.59	c GARBAGE COLLECT
534.16/535.59	c rational objective 91
559.70/561.17	c #Conflicts:     237000 | #Constraints:      11629
559.70/561.17	c #Conflicts:     238000 | #Constraints:      12629
559.70/561.17	c #Conflicts:     239000 | #Constraints:      13629
559.70/561.17	c #Conflicts:     240000 | #Constraints:      14629
559.70/561.17	c #Conflicts:     241000 | #Constraints:      15629
559.70/561.17	c #Conflicts:     242000 | #Constraints:      16630
559.70/561.17	c #Conflicts:     243000 | #Constraints:      17630
559.70/561.17	c #Conflicts:     244000 | #Constraints:      18630
559.70/561.17	c #Conflicts:     245000 | #Constraints:      19631
559.70/561.17	c #Conflicts:     246000 | #Constraints:      20631
559.70/561.17	c INPROCESSING
559.70/561.17	c GARBAGE COLLECT
559.70/561.17	c rational objective 91
590.02/591.51	c #Conflicts:     247000 | #Constraints:      11832
590.02/591.51	c #Conflicts:     248000 | #Constraints:      12832
590.02/591.51	c #Conflicts:     249000 | #Constraints:      13832
590.02/591.51	c #Conflicts:     250000 | #Constraints:      14832
590.02/591.51	c #Conflicts:     251000 | #Constraints:      15833
590.02/591.51	c #Conflicts:     252000 | #Constraints:      16833
590.02/591.51	c #Conflicts:     253000 | #Constraints:      17833
590.02/591.51	c #Conflicts:     254000 | #Constraints:      18834
590.02/591.51	c #Conflicts:     255000 | #Constraints:      19834
590.02/591.51	c #Conflicts:     256000 | #Constraints:      20834
590.02/591.51	c INPROCESSING
590.02/591.51	c GARBAGE COLLECT
590.02/591.51	c rational objective 91
618.84/620.43	c #Conflicts:     257000 | #Constraints:      11824
618.84/620.43	c #Conflicts:     258000 | #Constraints:      12824
618.84/620.43	c #Conflicts:     259000 | #Constraints:      13824
618.84/620.43	c #Conflicts:     260000 | #Constraints:      14824
618.84/620.43	c #Conflicts:     261000 | #Constraints:      15825
618.84/620.43	c #Conflicts:     262000 | #Constraints:      16825
618.84/620.43	c #Conflicts:     263000 | #Constraints:      17826
618.84/620.43	c #Conflicts:     264000 | #Constraints:      18826
618.84/620.43	c #Conflicts:     265000 | #Constraints:      19826
618.84/620.43	c #Conflicts:     266000 | #Constraints:      20826
618.84/620.43	c INPROCESSING
618.84/620.43	c GARBAGE COLLECT
618.84/620.43	c rational objective 91
648.37/650.09	c #Conflicts:     267000 | #Constraints:      11633
648.37/650.09	c #Conflicts:     268000 | #Constraints:      12633
648.37/650.09	c #Conflicts:     269000 | #Constraints:      13633
648.37/650.09	c #Conflicts:     270000 | #Constraints:      14634
648.37/650.09	c #Conflicts:     271000 | #Constraints:      15634
648.37/650.09	c #Conflicts:     272000 | #Constraints:      16635
648.37/650.09	c #Conflicts:     273000 | #Constraints:      17635
648.37/650.09	c #Conflicts:     274000 | #Constraints:      18635
648.37/650.09	c #Conflicts:     275000 | #Constraints:      19635
648.37/650.09	c #Conflicts:     276000 | #Constraints:      20635
648.37/650.09	c #Conflicts:     277000 | #Constraints:      21635
648.37/650.09	c INPROCESSING
648.37/650.09	c GARBAGE COLLECT
648.37/650.09	c rational objective 91
679.18/680.96	c #Conflicts:     278000 | #Constraints:      12224
679.18/680.96	c #Conflicts:     279000 | #Constraints:      13225
679.18/680.96	c #Conflicts:     280000 | #Constraints:      14225
679.18/680.96	c #Conflicts:     281000 | #Constraints:      15225
679.18/680.96	c #Conflicts:     282000 | #Constraints:      16225
679.18/680.96	c #Conflicts:     283000 | #Constraints:      17225
679.18/680.96	c #Conflicts:     284000 | #Constraints:      18225
679.18/680.96	c #Conflicts:     285000 | #Constraints:      19226
679.18/680.96	c #Conflicts:     286000 | #Constraints:      20226
679.18/680.96	c #Conflicts:     287000 | #Constraints:      21226
679.18/680.96	c #Conflicts:     288000 | #Constraints:      22226
679.18/680.96	c INPROCESSING
679.18/680.96	c GARBAGE COLLECT
679.18/680.96	c rational objective 91
707.51/709.35	c #Conflicts:     289000 | #Constraints:      12599
707.51/709.35	c #Conflicts:     290000 | #Constraints:      13599
707.51/709.35	c #Conflicts:     291000 | #Constraints:      14599
707.51/709.35	c #Conflicts:     292000 | #Constraints:      15599
707.51/709.35	c #Conflicts:     293000 | #Constraints:      16600
707.51/709.35	c #Conflicts:     294000 | #Constraints:      17600
707.51/709.35	c #Conflicts:     295000 | #Constraints:      18600
707.51/709.35	c #Conflicts:     296000 | #Constraints:      19600
707.51/709.35	c #Conflicts:     297000 | #Constraints:      20600
707.51/709.35	c #Conflicts:     298000 | #Constraints:      21600
707.51/709.35	c #Conflicts:     299000 | #Constraints:      22600
707.51/709.35	c INPROCESSING
707.51/709.35	c GARBAGE COLLECT
707.51/709.35	c rational objective 91
740.02/741.93	c #Conflicts:     300000 | #Constraints:      12799
740.02/741.93	c #Conflicts:     301000 | #Constraints:      13799
740.02/741.93	c #Conflicts:     302000 | #Constraints:      14799
740.02/741.93	c #Conflicts:     303000 | #Constraints:      15799
740.02/741.93	c #Conflicts:     304000 | #Constraints:      16799
740.02/741.93	c #Conflicts:     305000 | #Constraints:      17800
740.02/741.93	c #Conflicts:     306000 | #Constraints:      18800
740.02/741.93	c #Conflicts:     307000 | #Constraints:      19800
740.02/741.93	c #Conflicts:     308000 | #Constraints:      20800
740.02/741.93	c #Conflicts:     309000 | #Constraints:      21801
740.02/741.93	c #Conflicts:     310000 | #Constraints:      22801
740.02/741.93	c INPROCESSING
740.02/741.93	c GARBAGE COLLECT
740.02/741.93	c rational objective 91
780.50/782.59	c #Conflicts:     311000 | #Constraints:      12830
780.50/782.59	c #Conflicts:     312000 | #Constraints:      13830
780.50/782.59	c #Conflicts:     313000 | #Constraints:      14831
780.50/782.59	c #Conflicts:     314000 | #Constraints:      15831
780.50/782.59	c #Conflicts:     315000 | #Constraints:      16831
780.50/782.59	c #Conflicts:     316000 | #Constraints:      17831
780.50/782.59	c #Conflicts:     317000 | #Constraints:      18831
780.50/782.59	c #Conflicts:     318000 | #Constraints:      19831
780.50/782.59	c #Conflicts:     319000 | #Constraints:      20831
780.50/782.59	c #Conflicts:     320000 | #Constraints:      21831
780.50/782.59	c #Conflicts:     321000 | #Constraints:      22831
780.50/782.59	c INPROCESSING
780.50/782.59	c GARBAGE COLLECT
780.50/782.59	c rational objective 91
817.09/819.29	c #Conflicts:     322000 | #Constraints:      12653
817.09/819.29	c #Conflicts:     323000 | #Constraints:      13653
817.09/819.29	c #Conflicts:     324000 | #Constraints:      14653
817.09/819.29	c #Conflicts:     325000 | #Constraints:      15653
817.09/819.29	c #Conflicts:     326000 | #Constraints:      16653
817.09/819.29	c #Conflicts:     327000 | #Constraints:      17654
817.09/819.29	c #Conflicts:     328000 | #Constraints:      18654
817.09/819.29	c #Conflicts:     329000 | #Constraints:      19654
817.09/819.29	c #Conflicts:     330000 | #Constraints:      20654
817.09/819.29	c #Conflicts:     331000 | #Constraints:      21654
817.09/819.29	c #Conflicts:     332000 | #Constraints:      22654
817.09/819.29	c #Conflicts:     333000 | #Constraints:      23654
817.09/819.29	c INPROCESSING
817.09/819.29	c GARBAGE COLLECT
817.09/819.29	c rational objective 91
851.60/853.81	c #Conflicts:     334000 | #Constraints:      13245
851.60/853.81	c #Conflicts:     335000 | #Constraints:      14245
851.60/853.81	c #Conflicts:     336000 | #Constraints:      15246
851.60/853.81	c #Conflicts:     337000 | #Constraints:      16246
851.60/853.81	c #Conflicts:     338000 | #Constraints:      17246
851.60/853.81	c #Conflicts:     339000 | #Constraints:      18246
851.60/853.81	c #Conflicts:     340000 | #Constraints:      19246
851.60/853.81	c #Conflicts:     341000 | #Constraints:      20247
851.60/853.81	c #Conflicts:     342000 | #Constraints:      21247
851.60/853.81	c #Conflicts:     343000 | #Constraints:      22247
851.60/853.81	c #Conflicts:     344000 | #Constraints:      23247
851.60/853.81	c #Conflicts:     345000 | #Constraints:      24247
851.60/853.81	c INPROCESSING
851.60/853.81	c GARBAGE COLLECT
851.60/853.81	c rational objective 91
884.33/886.60	c #Conflicts:     346000 | #Constraints:      13642
884.33/886.60	c #Conflicts:     347000 | #Constraints:      14642
884.33/886.60	c #Conflicts:     348000 | #Constraints:      15642
884.33/886.60	c #Conflicts:     349000 | #Constraints:      16642
884.33/886.60	c #Conflicts:     350000 | #Constraints:      17642
884.33/886.60	c #Conflicts:     351000 | #Constraints:      18642
884.33/886.60	c #Conflicts:     352000 | #Constraints:      19642
884.33/886.60	c #Conflicts:     353000 | #Constraints:      20643
884.33/886.60	c #Conflicts:     354000 | #Constraints:      21643
884.33/886.60	c #Conflicts:     355000 | #Constraints:      22643
884.33/886.60	c #Conflicts:     356000 | #Constraints:      23643
884.33/886.60	c #Conflicts:     357000 | #Constraints:      24643
884.33/886.60	c INPROCESSING
884.33/886.60	c GARBAGE COLLECT
884.33/886.60	c rational objective 91
917.15/919.56	c #Conflicts:     358000 | #Constraints:      13831
917.15/919.56	c #Conflicts:     359000 | #Constraints:      14831
917.15/919.56	c #Conflicts:     360000 | #Constraints:      15831
917.15/919.56	c #Conflicts:     361000 | #Constraints:      16831
917.15/919.56	c #Conflicts:     362000 | #Constraints:      17832
917.15/919.56	c #Conflicts:     363000 | #Constraints:      18832
917.15/919.56	c #Conflicts:     364000 | #Constraints:      19832
917.15/919.56	c #Conflicts:     365000 | #Constraints:      20832
917.15/919.56	c #Conflicts:     366000 | #Constraints:      21832
917.15/919.56	c #Conflicts:     367000 | #Constraints:      22832
917.15/919.56	c #Conflicts:     368000 | #Constraints:      23832
917.15/919.56	c #Conflicts:     369000 | #Constraints:      24832
917.15/919.56	c INPROCESSING
917.15/919.56	c GARBAGE COLLECT
917.15/919.56	c rational objective 91
957.56/960.05	c #Conflicts:     370000 | #Constraints:      13849
957.56/960.05	c #Conflicts:     371000 | #Constraints:      14849
957.56/960.05	c #Conflicts:     372000 | #Constraints:      15849
957.56/960.05	c #Conflicts:     373000 | #Constraints:      16849
957.56/960.05	c #Conflicts:     374000 | #Constraints:      17849
957.56/960.05	c #Conflicts:     375000 | #Constraints:      18850
957.56/960.05	c #Conflicts:     376000 | #Constraints:      19850
957.56/960.05	c #Conflicts:     377000 | #Constraints:      20850
957.56/960.05	c #Conflicts:     378000 | #Constraints:      21850
957.56/960.05	c #Conflicts:     379000 | #Constraints:      22851
957.56/960.05	c #Conflicts:     380000 | #Constraints:      23851
957.56/960.05	c #Conflicts:     381000 | #Constraints:      24851
957.56/960.05	c INPROCESSING
957.56/960.05	c GARBAGE COLLECT
957.56/960.05	c rational objective 91
989.68/992.26	c #Conflicts:     382000 | #Constraints:      13626
989.68/992.26	c #Conflicts:     383000 | #Constraints:      14626
989.68/992.26	c #Conflicts:     384000 | #Constraints:      15626
989.68/992.26	c #Conflicts:     385000 | #Constraints:      16626
989.68/992.26	c #Conflicts:     386000 | #Constraints:      17626
989.68/992.26	c #Conflicts:     387000 | #Constraints:      18626
989.68/992.26	c #Conflicts:     388000 | #Constraints:      19626
989.68/992.26	c #Conflicts:     389000 | #Constraints:      20626
989.68/992.26	c #Conflicts:     390000 | #Constraints:      21626
989.68/992.26	c #Conflicts:     391000 | #Constraints:      22626
989.68/992.26	c #Conflicts:     392000 | #Constraints:      23626
989.68/992.26	c #Conflicts:     393000 | #Constraints:      24626
989.68/992.26	c #Conflicts:     394000 | #Constraints:      25626
989.68/992.26	c INPROCESSING
989.68/992.26	c GARBAGE COLLECT
989.68/992.26	c rational objective 91
1023.30/1025.95	c #Conflicts:     395000 | #Constraints:      14246
1023.30/1025.95	c #Conflicts:     396000 | #Constraints:      15246
1023.30/1025.95	c #Conflicts:     397000 | #Constraints:      16246
1023.30/1025.95	c #Conflicts:     398000 | #Constraints:      17247
1023.30/1025.95	c #Conflicts:     399000 | #Constraints:      18247
1023.30/1025.95	c #Conflicts:     400000 | #Constraints:      19247
1023.30/1025.95	c #Conflicts:     401000 | #Constraints:      20247
1023.30/1025.95	c #Conflicts:     402000 | #Constraints:      21247
1023.30/1025.95	c #Conflicts:     403000 | #Constraints:      22247
1023.30/1025.95	c #Conflicts:     404000 | #Constraints:      23247
1023.30/1025.95	c #Conflicts:     405000 | #Constraints:      24247
1023.30/1025.95	c #Conflicts:     406000 | #Constraints:      25247
1023.30/1025.95	c #Conflicts:     407000 | #Constraints:      26247
1023.30/1025.95	c INPROCESSING
1023.30/1025.95	c GARBAGE COLLECT
1023.30/1025.95	c rational objective 91
1059.91/1062.60	c #Conflicts:     408000 | #Constraints:      14645
1059.91/1062.60	c #Conflicts:     409000 | #Constraints:      15645
1059.91/1062.60	c #Conflicts:     410000 | #Constraints:      16646
1059.91/1062.60	c #Conflicts:     411000 | #Constraints:      17646
1059.91/1062.60	c #Conflicts:     412000 | #Constraints:      18646
1059.91/1062.60	c #Conflicts:     413000 | #Constraints:      19646
1059.91/1062.60	c #Conflicts:     414000 | #Constraints:      20646
1059.91/1062.60	c #Conflicts:     415000 | #Constraints:      21646
1059.91/1062.60	c #Conflicts:     416000 | #Constraints:      22646
1059.91/1062.60	c #Conflicts:     417000 | #Constraints:      23646
1059.91/1062.60	c #Conflicts:     418000 | #Constraints:      24646
1059.91/1062.60	c #Conflicts:     419000 | #Constraints:      25646
1059.91/1062.60	c #Conflicts:     420000 | #Constraints:      26646
1059.91/1062.60	c INPROCESSING
1059.91/1062.60	c GARBAGE COLLECT
1059.91/1062.60	c rational objective 91
1070.28/1073.03	c #Conflicts:     421000 | #Constraints:      14838
1070.28/1073.03	c #Conflicts:     422000 | #Constraints:      15838
1070.28/1073.03	c #Conflicts:     423000 | #Constraints:      16838
1070.28/1073.03	c #Conflicts:     424000 | #Constraints:      17839
1070.28/1073.03	c cpu time 1057.53 s
1070.28/1073.03	c deterministic time 145738850064 1.46e+11
1070.28/1073.03	c optimization time 0.000104 s
1070.28/1073.03	c total solve time 1057.5 s
1070.28/1073.03	c core-guided solve time 0 s
1070.28/1073.03	c propagation time 699.052 s
1070.28/1073.03	c conflict analysis time 254.31 s
1070.28/1073.03	c propagations 77776567
1070.28/1073.03	c resolve steps 4436183
1070.28/1073.03	c decisions 3575907
1070.28/1073.03	c conflicts 424657
1070.28/1073.03	c restarts 1020
1070.28/1073.03	c inprocessing phases 56
1070.28/1073.03	c input clauses 364
1070.28/1073.03	c input cardinalities 462
1070.28/1073.03	c input general constraints 0
1070.28/1073.03	c input average constraint length 100.25
1070.28/1073.03	c input average constraint degree 59.92
1070.28/1073.03	c learned clauses 53415
1070.28/1073.03	c learned cardinalities 16333
1070.28/1073.03	c learned general constraints 354970
1070.28/1073.03	c learned average constraint length 1646.93
1070.28/1073.03	c learned average constraint degree 82743345.87
1070.28/1073.03	c watched constraints 264682
1070.28/1073.03	c counting constraints 90288
1070.28/1073.03	c gcd simplifications 176
1070.28/1073.03	c detected cardinalities 0
1070.28/1073.03	c weakened non-implied lits 313511108
1070.28/1073.03	c weakened non-implying lits 155366
1070.28/1073.03	c original variables 8281
1070.28/1073.03	c clausal propagations 530036
1070.28/1073.03	c cardinality propagations 52296692
1070.28/1073.03	c watched propagations 4085310
1070.28/1073.03	c counting propagations 19688867
1070.28/1073.03	c watch lookups 5244144666
1070.28/1073.03	c watch backjump lookups 4460766828
1070.28/1073.03	c watch checks 93079557582
1070.28/1073.03	c propagation checks 40731358278
1070.28/1073.03	c constraint additions 2059153551
1070.28/1073.03	c trail pops 81777070
1070.28/1073.03	c formula constraints 826
1070.28/1073.03	c learned constraints 424596
1070.28/1073.03	c bound constraints 0
1070.28/1073.03	c core-guided constraints 0
1070.28/1073.03	c encountered formula constraints 1315045
1070.28/1073.03	c encountered learned constraints 3545478
1070.28/1073.03	c encountered bound constraints 0
1070.28/1073.03	c encountered core-guided constraints 0
1070.28/1073.03	c LP total time 147.41 s
1070.28/1073.03	c LP solve time 143.38 s
1070.28/1073.03	c LP constraints added 841
1070.28/1073.03	c LP constraints removed 15
1070.28/1073.03	c LP pivots internal 426371
1070.28/1073.03	c LP pivots root 313243
1070.28/1073.03	c LP calls 123
1070.28/1073.03	c LP optimalities 57
1070.28/1073.03	c LP no pivot count 4
1070.28/1073.03	c LP infeasibilities 61
1070.28/1073.03	c LP valid Farkas constraints 61
1070.28/1073.03	c LP learned Farkas constraints 61
1070.28/1073.03	c LP basis resets 0
1070.28/1073.03	c LP cycling count 0
1070.28/1073.03	c LP singular count 0
1070.28/1073.03	c LP no primal count 0
1070.28/1073.03	c LP no farkas count 0
1070.28/1073.03	c LP other issue count 0
1070.28/1073.03	c LP Gomory cuts 0
1070.28/1073.03	c LP learned cuts 15
1070.28/1073.03	c LP deleted cuts 15
1070.28/1073.03	c LP encountered Gomory constraints 0
1070.28/1073.03	c LP encountered Farkas constraints 162
1070.28/1073.03	c LP encountered learned Farkas constraints 94
1070.28/1073.03	c CG auxiliary variables introduced 0
1070.28/1073.03	c CG solutions found 0
1070.28/1073.03	c CG cores constructed 0
1070.28/1073.03	c CG core cardinality constraints returned 0
1070.28/1073.03	c CG unit cores 0
1070.28/1073.03	c CG single cores 0
1070.28/1073.03	c CG blocks removed during cardinality reduction 0
1070.28/1073.03	c CG first core best 0
1070.28/1073.03	c CG decision core best 0
1070.28/1073.03	c CG core reduction tie 0
1070.28/1073.03	c CG core degree average 0.00
1070.28/1073.03	c CG core slack average 0.00
1070.28/1073.03	s SATISFIABLE
1070.28/1073.03	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

OK	0

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (2080 MiB free)
  memory of node 1: 64510 MiB (783 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456858-1721775154/watcher-4456858-1721775154 -o /tmp/evaluation-result-4456858-1721775154/solver-4456858-1721775154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721765707-133406 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456858-1721775154 --lp-cut-gomory=0 HOME/instance-4456858-1721775154.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=139546, runsolver pid=139543

[startup+0.100092 s]*
/proc/loadavg: 4.08 4.13 4.11 5/260 139547
/proc/meminfo: memFree=2921376/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=48924 memory=17964 CPUtime=0.09 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 4681 0 0 0 9 0 0 0 20 0 1 0 14043888 50098176 4491 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 12231 4491 1710 992 0 4089 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48924 KiB
Current children cumulated memory: 17964 KiB

[startup+0.205766 s]*
/proc/loadavg: 4.08 4.13 4.11 5/260 139547
/proc/meminfo: memFree=2919784/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=48924 memory=18212 CPUtime=0.19 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 4717 0 0 0 19 0 0 0 20 0 1 0 14043888 50098176 4553 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 12231 4553 1710 992 0 4089 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48924 KiB
Current children cumulated memory: 18212 KiB

[startup+0.305702 s]*
/proc/loadavg: 4.08 4.13 4.11 5/260 139547
/proc/meminfo: memFree=2918300/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=49488 memory=18476 CPUtime=0.29 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 4813 0 0 0 29 0 0 0 20 0 1 0 14043888 50675712 4619 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 12372 4619 1710 992 0 4230 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 49488 KiB
Current children cumulated memory: 18476 KiB

[startup+0.700206 s]
/proc/loadavg: 4.08 4.13 4.11 5/260 139547
/proc/meminfo: memFree=2915664/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=49488 memory=18476 CPUtime=0.68 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 4813 0 0 0 67 1 0 0 20 0 1 0 14043888 50675712 4619 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 12372 4619 1710 992 0 4230 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49488 KiB
Current children cumulated memory: 18476 KiB

[startup+1.50023 s]
/proc/loadavg: 4.08 4.13 4.11 5/260 139547
/proc/meminfo: memFree=2900156/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=62008 memory=31632 CPUtime=1.48 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 7564 0 0 0 142 6 0 0 20 0 1 0 14043888 63496192 7908 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 15502 7908 1756 992 0 7360 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62008 KiB
Current children cumulated memory: 31632 KiB

[startup+3.10566 s]
/proc/loadavg: 4.08 4.13 4.11 5/260 139547
/proc/meminfo: memFree=2860628/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=63184 memory=35520 CPUtime=3.09 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 7980 0 0 0 299 10 0 0 20 0 1 0 14043888 64700416 8880 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 15796 8880 1756 992 0 7654 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 63184 KiB
Current children cumulated memory: 35520 KiB

[startup+6.30021 s]
/proc/loadavg: 4.16 4.14 4.11 5/260 139547
/proc/meminfo: memFree=2795720/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=75912 memory=47676 CPUtime=6.28 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 9964 0 0 0 607 21 0 0 20 0 1 0 14043888 77733888 11919 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 18978 11919 1804 992 0 10836 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 75912 KiB
Current children cumulated memory: 47676 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.11 5/260 139549
/proc/meminfo: memFree=2725764/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=97992 memory=66056 CPUtime=12.66 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 13007 0 0 0 1231 35 0 0 20 0 1 0 14043888 100343808 16514 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 24498 16514 1836 992 0 16356 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 97992 KiB
Current children cumulated memory: 66056 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.11 5/260 139550
/proc/meminfo: memFree=2620976/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=124816 memory=88532 CPUtime=25.43 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 15553 0 0 0 2484 59 0 0 20 0 1 0 14043888 127811584 22133 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 31204 22133 1836 992 0 23062 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 124816 KiB
Current children cumulated memory: 88532 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.14 4.11 5/260 139555
/proc/meminfo: memFree=2361812/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=132488 memory=99452 CPUtime=50.96 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 17280 0 0 0 4992 104 0 0 20 0 1 0 14043888 135667712 24863 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 33122 24863 1836 992 0 24980 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 132488 KiB
Current children cumulated memory: 99452 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/259 139563
/proc/meminfo: memFree=1942892/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=178820 memory=137452 CPUtime=102.03 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 24155 0 0 0 10018 185 0 0 20 0 1 0 14043888 183111680 34363 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 44705 34363 1836 992 0 36563 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 178820 KiB
Current children cumulated memory: 137452 KiB

[startup+162.3 s]
/proc/loadavg: 4.33 4.17 4.12 5/259 139574
/proc/meminfo: memFree=1507532/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=239932 memory=165964 CPUtime=161.88 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 30354 0 0 0 15910 278 0 0 20 0 1 0 14043888 245690368 41491 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 59983 41491 1836 992 0 51841 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 239932 KiB
Current children cumulated memory: 165964 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 4.20 4.13 5/260 139969
/proc/meminfo: memFree=1077648/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=250180 memory=192660 CPUtime=221.73 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 39720 0 0 0 21811 362 0 0 20 0 1 0 14043888 256184320 48165 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 62545 48165 1836 992 0 54403 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 250180 KiB
Current children cumulated memory: 192660 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/260 139980
/proc/meminfo: memFree=681444/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=265856 memory=224908 CPUtime=281.58 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 54148 0 0 0 27717 441 0 0 20 0 1 0 14043888 272236544 56227 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 66464 56227 1836 992 0 58322 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 265856 KiB
Current children cumulated memory: 224908 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/260 139991
/proc/meminfo: memFree=582536/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=354916 memory=253384 CPUtime=341.43 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 72919 0 0 0 33622 521 0 0 20 0 1 0 14043888 363433984 63346 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 88729 63346 1836 992 0 80587 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 354916 KiB
Current children cumulated memory: 253384 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/261 140171
/proc/meminfo: memFree=641880/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=362624 memory=261108 CPUtime=401.29 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 76417 0 0 0 39533 596 0 0 20 0 1 0 14043888 371326976 65277 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 90656 65277 1836 992 0 82514 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 362624 KiB
Current children cumulated memory: 261108 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/261 140181
/proc/meminfo: memFree=662072/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=368440 memory=270456 CPUtime=461.14 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 82247 0 0 0 45463 651 0 0 20 0 1 0 14043888 377282560 67614 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 92110 67614 1836 992 0 83968 0

################
# More data... #
################

/proc/loadavg: 4.08 4.12 4.10 5/260 140231
/proc/meminfo: memFree=687508/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=377500 memory=335080 CPUtime=640.69 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 110065 0 0 0 63229 840 0 0 20 0 1 0 14043888 386560000 83770 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 94375 83770 1836 992 0 86233 0
Current children cumulated CPU time: 640.69 s
Current children cumulated vsize: 377500 KiB
Current children cumulated memory: 335080 KiB

[startup+702.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/259 140242
/proc/meminfo: memFree=566560/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=379840 memory=337376 CPUtime=700.52 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 118833 0 0 0 69140 912 0 0 20 0 1 0 14043888 388956160 84344 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 94960 84344 1836 992 0 86818 0
Current children cumulated CPU time: 700.52 s
Current children cumulated vsize: 379840 KiB
Current children cumulated memory: 337376 KiB

[startup+762.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 140253
/proc/meminfo: memFree=664812/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=381224 memory=339972 CPUtime=760.36 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 120237 0 0 0 75062 974 0 0 20 0 1 0 14043888 390373376 84993 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 95306 84993 1836 992 0 87164 0
Current children cumulated CPU time: 760.36 s
Current children cumulated vsize: 381224 KiB
Current children cumulated memory: 339972 KiB

[startup+822.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 140264
/proc/meminfo: memFree=497184/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=392792 memory=351752 CPUtime=820.19 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 127145 0 0 0 80994 1025 0 0 20 0 1 0 14043888 402219008 87938 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 98198 87938 1836 992 0 90056 0
Current children cumulated CPU time: 820.19 s
Current children cumulated vsize: 392792 KiB
Current children cumulated memory: 351752 KiB

[startup+882.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 140274
/proc/meminfo: memFree=625020/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=393328 memory=352464 CPUtime=880.04 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 127447 0 0 0 86912 1092 0 0 20 0 1 0 14043888 402767872 88116 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 98332 88116 1836 992 0 90190 0
Current children cumulated CPU time: 880.04 s
Current children cumulated vsize: 393328 KiB
Current children cumulated memory: 352464 KiB

[startup+942.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 140284
/proc/meminfo: memFree=527380/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=395500 memory=356528 CPUtime=939.89 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 128352 0 0 0 92841 1148 0 0 20 0 1 0 14043888 404992000 89132 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 98875 89132 1836 992 0 90733 0
Current children cumulated CPU time: 939.89 s
Current children cumulated vsize: 395500 KiB
Current children cumulated memory: 356528 KiB

[startup+1002.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/258 140296
/proc/meminfo: memFree=612684/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=401344 memory=362088 CPUtime=999.75 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 130522 0 0 0 98763 1212 0 0 20 0 1 0 14043888 410976256 90522 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 100336 90522 1836 992 0 92194 0
Current children cumulated CPU time: 999.75 s
Current children cumulated vsize: 401344 KiB
Current children cumulated memory: 362088 KiB

[startup+1062.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 140307
/proc/meminfo: memFree=599756/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=405788 memory=366616 CPUtime=1059.61 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 132027 0 0 0 104694 1267 0 0 20 0 1 0 14043888 415526912 91654 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 101447 91654 1836 992 0 93305 0
Current children cumulated CPU time: 1059.61 s
Current children cumulated vsize: 405788 KiB
Current children cumulated memory: 366616 KiB

[startup+1073.18 s]
# the end of solver process 139546 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1057.53 s, system=12.8178 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1062.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 140307
/proc/meminfo: memFree=599756/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=406124 memory=367044 CPUtime=1059.71 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 132203 0 0 0 104704 1267 0 0 20 0 1 0 14043888 415870976 91761 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 101531 91761 1836 992 0 93389 0
Current children cumulated CPU time: 1059.71 s
Current children cumulated vsize: 406124 KiB
Current children cumulated memory: 367044 KiB

[startup+1068.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 140307
/proc/meminfo: memFree=554096/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=406364 memory=367388 CPUtime=1066.1 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 132576 0 0 0 105335 1275 0 0 20 0 1 0 14043888 416116736 91847 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 101591 91847 1836 992 0 93449 0
Current children cumulated CPU time: 1066.1 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 367388 KiB

[startup+1070.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 140308
/proc/meminfo: memFree=539436/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=406364 memory=367388 CPUtime=1067.68 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 132576 0 0 0 105492 1276 0 0 20 0 1 0 14043888 416116736 91847 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 101591 91847 1836 992 0 93449 0
Current children cumulated CPU time: 1067.68 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 367388 KiB

[startup+1072 s]*
/proc/loadavg: 4.07 4.10 4.09 5/257 140308
/proc/meminfo: memFree=524956/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=406364 memory=367388 CPUtime=1069.29 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 132576 0 0 0 105651 1278 0 0 20 0 1 0 14043888 416116736 91847 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 101591 91847 1836 992 0 93449 0
Current children cumulated CPU time: 1069.29 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 367388 KiB

[startup+1072.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 140308
/proc/meminfo: memFree=524956/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=406364 memory=367388 CPUtime=1070.08 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 132581 0 0 0 105729 1279 0 0 20 0 1 0 14043888 416116736 91847 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 101591 91847 1836 992 0 93449 0
Current children cumulated CPU time: 1070.08 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 367388 KiB

[startup+1073 s]*
/proc/loadavg: 4.07 4.10 4.09 5/257 140308
/proc/meminfo: memFree=519400/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=406364 memory=367388 CPUtime=1070.28 cores=5,7
/proc/139546/stat : 139546 (roundingsat) R 139543 139546 133393 0 -1 4194304 132581 0 0 0 105749 1279 0 0 20 0 1 0 14043888 416116736 91847 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 101591 91847 1836 992 0 93449 0
Current children cumulated CPU time: 1070.28 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 367388 KiB

[startup+1073.11 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 140308
/proc/meminfo: memFree=519400/131524600 swapFree=131071996/131071996
[pid=139546] ppid=139543 vsize=406364 memory=367388 CPUtime=1070.34 cores=5,7
/proc/139546/stat : 139546 (roundingsat) D 139543 139546 133393 0 -1 4194304 132581 0 0 0 105753 1281 0 0 20 0 1 0 14043888 416116736 91847 134679101440 4194304 8254037 140721587008768 0 0 0 0 0 25182210 0 0 0 17 5 0 0 5 0 0 9037040 9046032 17506304 140721587012444 140721587012706 140721587012706 140721587019721 0
/proc/139546/statm: 101591 91847 1836 992 0 93449 0
Current children cumulated CPU time: 1070.34 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 367388 KiB

Child status: 0

Real time (s): 1073.18
CPU time (s): 1070.35
CPU user time (s): 1057.53
CPU system time (s): 12.8178
CPU usage (%): 99.7364
Max. virtual memory (cumulated for all children) (KiB): 406364
Max. memory (cumulated for all children) (KiB): 367388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1057.53
system time used= 12.8178
maximum resident set size= 367388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9988384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1622
involuntary context switches= 1432


# summary of solver processes directly reported to runsolver:
#   pid: 139546
#   total CPU time (s): 1070.35
#   total CPU user time (s): 1057.53
#   total CPU system time (s): 12.8178

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.2471 second user time and 4.90328 second system time

The end

Begin job on nodeC016 at 2024-07-24 00:52:34
IDJOB=4456858
IDBENCH=147860
IDSOLVER=3085
FILE ID=nodeC016/4456858-1721775154
RUNJOBID= nodeC016-1721765707-133406
SLURM_JOB_ID= 7770673
Free space on /tmp= 890060 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin14.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456858-1721775154/watcher-4456858-1721775154 -o /tmp/evaluation-result-4456858-1721775154/solver-4456858-1721775154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721765707-133406 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456858-1721775154 --lp-cut-gomory=0 HOME/instance-4456858-1721775154.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 946fa793c8e40fdbe884453e390b9fbe
RANDOM SEED=1988532474

nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3676.232
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3682.769
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.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	: 0xb00002a
cpu MHz		: 3599.886
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3666.390
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.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	: 0xb00002a
cpu MHz		: 3676.216
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.655
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.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	: 0xb00002a
cpu MHz		: 3599.940
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3660.906
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:         2933104 kB
MemAvailable:   128842964 kB
Buffers:          202408 kB
Cached:         126260344 kB
SwapCached:            0 kB
Active:          1311556 kB
Inactive:       126248292 kB
Active(anon):       1556 kB
Inactive(anon):  1141492 kB
Active(file):    1310000 kB
Inactive(file): 125106800 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             15004 kB
Writeback:             8 kB
AnonPages:       1094916 kB
Mapped:           115192 kB
Shmem:             45912 kB
KReclaimable:     554292 kB
Slab:             671436 kB
SReclaimable:     554292 kB
SUnreclaim:       117144 kB
KernelStack:        4160 kB
PageTables:        11700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1543264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21280 kB
HardwareCorrupted:     0 kB
AnonHugePages:    862208 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      342740 kB
DirectMap2M:    36130816 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC016 at 2024-07-24 01:10:27