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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=5865, runsolver pid=5862

[startup+0.100101 s]*
/proc/loadavg: 1.51 0.44 0.20 5/248 5866
/proc/meminfo: memFree=130085744/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=48924 memory=17996 CPUtime=0.11 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 4680 0 0 0 10 1 0 0 20 0 1 0 449379 50098176 4499 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 12231 4499 1717 992 0 4089 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 48924 KiB
Current children cumulated memory: 17996 KiB

[startup+0.213103 s]*
/proc/loadavg: 1.51 0.44 0.20 5/248 5866
/proc/meminfo: memFree=130084232/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=49108 memory=18244 CPUtime=0.22 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 4749 0 0 0 21 1 0 0 20 0 1 0 449379 50286592 4561 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 12277 4561 1717 992 0 4135 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 49108 KiB
Current children cumulated memory: 18244 KiB

[startup+0.312955 s]*
/proc/loadavg: 1.51 0.44 0.20 5/248 5866
/proc/meminfo: memFree=130082784/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=49488 memory=18508 CPUtime=0.32 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 4812 0 0 0 31 1 0 0 20 0 1 0 449379 50675712 4627 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 12372 4627 1717 992 0 4230 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 49488 KiB
Current children cumulated memory: 18508 KiB

[startup+0.700287 s]
/proc/loadavg: 1.51 0.44 0.20 5/248 5866
/proc/meminfo: memFree=130080964/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=49488 memory=18508 CPUtime=0.68 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 4812 0 0 0 67 1 0 0 20 0 1 0 449379 50675712 4627 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 12372 4627 1717 992 0 4230 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49488 KiB
Current children cumulated memory: 18508 KiB

[startup+1.50031 s]
/proc/loadavg: 1.51 0.44 0.20 5/248 5866
/proc/meminfo: memFree=130069012/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=61608 memory=32908 CPUtime=1.49 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 7306 0 0 0 143 6 0 0 20 0 1 0 449379 63086592 8227 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 15402 8227 1762 992 0 7260 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61608 KiB
Current children cumulated memory: 32908 KiB

[startup+3.11409 s]
/proc/loadavg: 1.79 0.52 0.23 5/248 5868
/proc/meminfo: memFree=130034988/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=63184 memory=34224 CPUtime=3.09 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 7668 0 0 0 301 8 0 0 20 0 1 0 449379 64700416 8556 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 15796 8556 1762 992 0 7654 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 63184 KiB
Current children cumulated memory: 34224 KiB

[startup+6.3003 s]
/proc/loadavg: 1.79 0.52 0.23 5/248 5868
/proc/meminfo: memFree=129971572/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=75912 memory=48444 CPUtime=6.27 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 9145 0 0 0 611 16 0 0 20 0 1 0 449379 77733888 12111 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 18978 12111 1818 992 0 10836 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 75912 KiB
Current children cumulated memory: 48444 KiB

[startup+12.7003 s]
/proc/loadavg: 1.97 0.57 0.25 5/248 5869
/proc/meminfo: memFree=129864056/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=96860 memory=63992 CPUtime=12.66 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 11979 0 0 0 1235 31 0 0 20 0 1 0 449379 99184640 15998 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 24215 15998 1850 992 0 16073 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 96860 KiB
Current children cumulated memory: 63992 KiB

[startup+25.5003 s]
/proc/loadavg: 2.48 0.76 0.31 5/248 5871
/proc/meminfo: memFree=129606716/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=103212 memory=76388 CPUtime=25.42 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 13522 0 0 0 2489 53 0 0 20 0 1 0 449379 105689088 19097 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 25803 19097 1850 992 0 17661 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 103212 KiB
Current children cumulated memory: 76388 KiB

[startup+51.1132 s]
/proc/loadavg: 3.16 1.05 0.42 5/249 5877
/proc/meminfo: memFree=129197448/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=132336 memory=97996 CPUtime=50.97 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 16411 0 0 0 4998 99 0 0 20 0 1 0 449379 135512064 24499 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 33084 24499 1850 992 0 24942 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 132336 KiB
Current children cumulated memory: 97996 KiB

[startup+102.3 s]
/proc/loadavg: 3.71 1.53 0.62 5/247 5900
/proc/meminfo: memFree=128610860/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=178380 memory=135776 CPUtime=102.03 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 21128 0 0 0 10026 177 0 0 20 0 1 0 449379 182661120 33944 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 44595 33944 1850 992 0 36453 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 178380 KiB
Current children cumulated memory: 135776 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 1.99 0.84 5/247 5912
/proc/meminfo: memFree=128005892/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=187684 memory=157404 CPUtime=161.89 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 23466 0 0 0 15922 267 0 0 20 0 1 0 449379 192188416 39351 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 46921 39351 1850 992 0 38779 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 187684 KiB
Current children cumulated memory: 157404 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.39 1.05 5/247 5922
/proc/meminfo: memFree=127437344/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=249132 memory=190564 CPUtime=221.74 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 26642 0 0 0 21830 344 0 0 20 0 1 0 449379 255111168 47641 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 62283 47641 1850 992 0 54141 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 249132 KiB
Current children cumulated memory: 190564 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.70 1.24 5/246 5932
/proc/meminfo: memFree=126844812/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=259096 memory=200288 CPUtime=281.57 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 29125 0 0 0 27736 421 0 0 20 0 1 0 449379 265314304 50072 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 64774 50072 1850 992 0 56632 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 259096 KiB
Current children cumulated memory: 200288 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 2.97 1.43 5/246 5943
/proc/meminfo: memFree=126356176/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=353272 memory=251956 CPUtime=341.39 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 33198 0 0 0 33645 494 0 0 20 0 1 0 449379 361750528 62989 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 88318 62989 1850 992 0 80176 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 353272 KiB
Current children cumulated memory: 251956 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.18 1.60 5/245 5955
/proc/meminfo: memFree=125893220/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=356836 memory=255596 CPUtime=401.2 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 34104 0 0 0 39551 569 0 0 20 0 1 0 449379 365400064 63899 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 89209 63899 1850 992 0 81067 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 356836 KiB
Current children cumulated memory: 255596 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.35 1.76 5/245 5965
/proc/meminfo: memFree=125449156/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=365312 memory=264120 CPUtime=461.02 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 36261 0 0 0 45474 628 0 0 20 0 1 0 449379 374079488 66030 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 91328 66030 1850 992 0 83186 0

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

/proc/loadavg: 4.28 3.75 2.20 5/247 6001
/proc/meminfo: memFree=124001372/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=376388 memory=335972 CPUtime=640.47 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 39685 0 0 0 63252 795 0 0 20 0 1 0 449379 385421312 83993 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 94097 83993 1850 992 0 85955 0
Current children cumulated CPU time: 640.47 s
Current children cumulated vsize: 376388 KiB
Current children cumulated memory: 335972 KiB

[startup+702.3 s]
/proc/loadavg: 4.33 3.86 2.33 5/251 6018
/proc/meminfo: memFree=123606140/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=377500 memory=337228 CPUtime=700.29 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 40052 0 0 0 69166 863 0 0 20 0 1 0 449379 386560000 84307 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 94375 84307 1850 992 0 86233 0
Current children cumulated CPU time: 700.29 s
Current children cumulated vsize: 377500 KiB
Current children cumulated memory: 337228 KiB

[startup+762.3 s]
/proc/loadavg: 4.26 3.92 2.45 5/251 6029
/proc/meminfo: memFree=123193264/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=379840 memory=339524 CPUtime=760.13 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 40766 0 0 0 75088 925 0 0 20 0 1 0 449379 388956160 84881 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 94960 84881 1850 992 0 86818 0
Current children cumulated CPU time: 760.13 s
Current children cumulated vsize: 379840 KiB
Current children cumulated memory: 339524 KiB

[startup+822.3 s]
/proc/loadavg: 4.17 3.96 2.56 5/248 6040
/proc/meminfo: memFree=122833164/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=381224 memory=340864 CPUtime=819.98 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 41265 0 0 0 81008 990 0 0 20 0 1 0 449379 390373376 85216 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 95306 85216 1850 992 0 87164 0
Current children cumulated CPU time: 819.98 s
Current children cumulated vsize: 381224 KiB
Current children cumulated memory: 340864 KiB

[startup+882.3 s]
/proc/loadavg: 4.20 4.00 2.66 5/249 6051
/proc/meminfo: memFree=122382964/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=386816 memory=346520 CPUtime=879.83 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 42822 0 0 0 86950 1033 0 0 20 0 1 0 449379 396099584 86630 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 96704 86630 1850 992 0 88562 0
Current children cumulated CPU time: 879.83 s
Current children cumulated vsize: 386816 KiB
Current children cumulated memory: 346520 KiB

[startup+942.3 s]
/proc/loadavg: 4.12 4.01 2.75 5/249 6063
/proc/meminfo: memFree=121936648/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=393328 memory=352928 CPUtime=939.7 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 44564 0 0 0 92874 1096 0 0 20 0 1 0 449379 402767872 88232 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 98332 88232 1850 992 0 90190 0
Current children cumulated CPU time: 939.7 s
Current children cumulated vsize: 393328 KiB
Current children cumulated memory: 352928 KiB

[startup+1002.3 s]
/proc/loadavg: 4.14 4.04 2.84 5/246 6075
/proc/meminfo: memFree=121539512/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=393328 memory=353120 CPUtime=999.56 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 44737 0 0 0 98799 1157 0 0 20 0 1 0 449379 402767872 88280 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 98332 88280 1850 992 0 90190 0
Current children cumulated CPU time: 999.56 s
Current children cumulated vsize: 393328 KiB
Current children cumulated memory: 353120 KiB

[startup+1062.3 s]
/proc/loadavg: 4.16 4.06 2.93 5/246 6086
/proc/meminfo: memFree=121169824/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=400988 memory=360476 CPUtime=1059.4 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 46771 0 0 0 104728 1212 0 0 20 0 1 0 449379 410611712 90119 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 100247 90119 1850 992 0 92105 0
Current children cumulated CPU time: 1059.4 s
Current children cumulated vsize: 400988 KiB
Current children cumulated memory: 360476 KiB

[startup+1122.3 s]
/proc/loadavg: 4.81 4.27 3.07 5/246 6096
/proc/meminfo: memFree=120810992/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=401344 memory=361024 CPUtime=1119.26 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 47002 0 0 0 110649 1277 0 0 20 0 1 0 449379 410976256 90256 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 100336 90256 1850 992 0 92194 0
Current children cumulated CPU time: 1119.26 s
Current children cumulated vsize: 401344 KiB
Current children cumulated memory: 361024 KiB

[startup+1182.3 s]
/proc/loadavg: 4.39 4.24 3.14 5/245 6107
/proc/meminfo: memFree=120401304/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=406364 memory=365928 CPUtime=1179.12 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 48415 0 0 0 116582 1330 0 0 20 0 1 0 449379 416116736 91482 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 101591 91482 1850 992 0 93449 0
Current children cumulated CPU time: 1179.12 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 365928 KiB

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

# cumulated CPU time of all completed processes:  user=1167.15 s, system=13.3286 s

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

[startup+1182.4 s]
/proc/loadavg: 4.39 4.24 3.14 5/245 6107
/proc/meminfo: memFree=120401304/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=406364 memory=365928 CPUtime=1179.21 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 48415 0 0 0 116591 1330 0 0 20 0 1 0 449379 416116736 91482 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 101591 91482 1850 992 0 93449 0
Current children cumulated CPU time: 1179.21 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 365928 KiB

[startup+1183.2 s]
/proc/loadavg: 4.36 4.24 3.15 5/245 6107
/proc/meminfo: memFree=120393312/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=406364 memory=365928 CPUtime=1180.01 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 48415 0 0 0 116671 1330 0 0 20 0 1 0 449379 416116736 91482 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 101591 91482 1850 992 0 93449 0
Current children cumulated CPU time: 1180.01 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 365928 KiB

[startup+1183.6 s]
/proc/loadavg: 4.36 4.24 3.15 5/245 6107
/proc/meminfo: memFree=120393312/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=406364 memory=365928 CPUtime=1180.42 cores=4,6
/proc/5865/stat : 5865 (roundingsat) R 5862 5865 5693 0 -1 4194304 48415 0 0 0 116711 1331 0 0 20 0 1 0 449379 416116736 91482 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 101591 91482 1850 992 0 93449 0
Current children cumulated CPU time: 1180.42 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 365928 KiB

[startup+1183.8 s]
/proc/loadavg: 4.36 4.24 3.15 5/245 6107
/proc/meminfo: memFree=120393312/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=406364 memory=365928 CPUtime=1180.46 cores=4,6
/proc/5865/stat : 5865 (roundingsat) D 5862 5865 5693 0 -1 4194304 48415 0 0 0 116715 1331 0 0 20 0 1 0 449379 416116736 91482 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 26 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 101591 91482 1850 992 0 93449 0
Current children cumulated CPU time: 1180.46 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 365928 KiB

[startup+1183.9 s]
/proc/loadavg: 4.36 4.24 3.15 5/245 6107
/proc/meminfo: memFree=120393312/131655788 swapFree=131071996/131071996
[pid=5865] ppid=5862 vsize=406364 memory=365928 CPUtime=1180.47 cores=4,6
/proc/5865/stat : 5865 (roundingsat) D 5862 5865 5693 0 -1 4194304 48415 0 0 0 116715 1332 0 0 20 0 1 0 449379 416116736 91482 134679101440 4194304 8255733 140733301709152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 40 0 0 9037040 9046032 31719424 140733301715806 140733301716068 140733301716068 140733301723081 0
/proc/5865/statm: 101591 91482 1850 992 0 93449 0
Current children cumulated CPU time: 1180.47 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 365928 KiB

Child status: 0

Real time (s): 1183.95
CPU time (s): 1180.48
CPU user time (s): 1167.15
CPU system time (s): 13.3286
CPU usage (%): 99.7074
Max. virtual memory (cumulated for all children) (KiB): 406364
Max. memory (cumulated for all children) (KiB): 365928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1167.15
system time used= 13.3286
maximum resident set size= 365928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48423
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= 3464
involuntary context switches= 1579


# summary of solver processes directly reported to runsolver:
#   pid: 5865
#   total CPU time (s): 1180.48
#   total CPU user time (s): 1167.15
#   total CPU system time (s): 13.3286

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2974 second user time and 12.151 second system time

The end

Begin job on nodeC011 at 2024-07-30 13:59:50
IDJOB=4462971
IDBENCH=147860
IDSOLVER=3089
FILE ID=nodeC011/4462971-1722340790
RUNJOBID= nodeC011-1722340763-5704
SLURM_JOB_ID= 8248991
Free space on /tmp= 723760 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-4462971-1722340790/watcher-4462971-1722340790 -o /tmp/evaluation-result-4462971-1722340790/solver-4462971-1722340790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722340763-5704 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462971-1722340790 --lp-cut-gomory=0 HOME/instance-4462971-1722340790.opb

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

MD5SUM BENCH= 946fa793c8e40fdbe884453e390b9fbe
RANDOM SEED=2076811527

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        130098488 kB
MemAvailable:   129815920 kB
Buffers:           39032 kB
Cached:           526480 kB
SwapCached:            0 kB
Active:           133912 kB
Inactive:        1006600 kB
Active(anon):       1920 kB
Inactive(anon):   602736 kB
Active(file):     131992 kB
Inactive(file):   403864 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            166328 kB
Writeback:             0 kB
AnonPages:        573220 kB
Mapped:           101496 kB
Shmem:             29512 kB
KReclaimable:      43548 kB
Slab:             119612 kB
SReclaimable:      43548 kB
SUnreclaim:        76064 kB
KernelStack:        3984 kB
PageTables:        10352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     935980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6176 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      156488 kB
DirectMap2M:     9185280 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC011 at 2024-07-30 14:19:35