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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=314641, runsolver pid=314638

[startup+0.100115 s]*
/proc/loadavg: 2.62 0.81 0.34 5/248 314642
/proc/meminfo: memFree=97011888/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=48924 memory=17992 CPUtime=0.1 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 4677 0 0 0 9 1 0 0 20 0 1 0 42478757 50098176 4498 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 12231 4498 1716 992 0 4089 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48924 KiB
Current children cumulated memory: 17992 KiB

[startup+0.21341 s]*
/proc/loadavg: 2.62 0.81 0.34 5/248 314642
/proc/meminfo: memFree=97004288/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=48924 memory=18240 CPUtime=0.22 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 4713 0 0 0 21 1 0 0 20 0 1 0 42478757 50098176 4560 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 12231 4560 1716 992 0 4089 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 48924 KiB
Current children cumulated memory: 18240 KiB

[startup+0.313551 s]*
/proc/loadavg: 2.62 0.81 0.34 5/248 314642
/proc/meminfo: memFree=96999864/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=49488 memory=18504 CPUtime=0.32 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 4809 0 0 0 31 1 0 0 20 0 1 0 42478757 50675712 4626 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 12372 4626 1716 992 0 4230 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 49488 KiB
Current children cumulated memory: 18504 KiB

[startup+0.700332 s]
/proc/loadavg: 2.62 0.81 0.34 5/248 314642
/proc/meminfo: memFree=96988884/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=49488 memory=18504 CPUtime=0.68 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 4809 0 0 0 67 1 0 0 20 0 1 0 42478757 50675712 4626 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 12372 4626 1716 992 0 4230 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49488 KiB
Current children cumulated memory: 18504 KiB

[startup+1.50034 s]
/proc/loadavg: 2.62 0.81 0.34 5/248 314642
/proc/meminfo: memFree=96947148/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=61740 memory=31128 CPUtime=1.48 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 6871 0 0 0 141 7 0 0 20 0 1 0 42478757 63221760 7782 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 15435 7782 1762 992 0 7293 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61740 KiB
Current children cumulated memory: 31128 KiB

[startup+3.11399 s]
/proc/loadavg: 2.73 0.87 0.36 5/248 314642
/proc/meminfo: memFree=96845156/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=63184 memory=34752 CPUtime=3.09 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 7284 0 0 0 299 10 0 0 20 0 1 0 42478757 64700416 8688 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 15796 8688 1762 992 0 7654 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 63184 KiB
Current children cumulated memory: 34752 KiB

[startup+6.30028 s]
/proc/loadavg: 2.73 0.87 0.36 5/248 314642
/proc/meminfo: memFree=96718680/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=75912 memory=49012 CPUtime=6.27 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 9269 0 0 0 609 18 0 0 20 0 1 0 42478757 77733888 12253 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 18978 12253 1825 992 0 10836 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 75912 KiB
Current children cumulated memory: 49012 KiB

[startup+12.7003 s]
/proc/loadavg: 2.83 0.92 0.38 5/248 314643
/proc/meminfo: memFree=96508056/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=97992 memory=65320 CPUtime=12.65 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 12318 0 0 0 1232 33 0 0 20 0 1 0 42478757 100343808 16330 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 24498 16330 1857 992 0 16356 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 97992 KiB
Current children cumulated memory: 65320 KiB

[startup+25.5004 s]
/proc/loadavg: 3.17 1.09 0.44 5/249 314646
/proc/meminfo: memFree=95989904/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=123732 memory=82696 CPUtime=25.39 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 15432 0 0 0 2480 59 0 0 20 0 1 0 42478757 126701568 20674 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 30933 20674 1857 992 0 22791 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 123732 KiB
Current children cumulated memory: 82696 KiB

[startup+51.1144 s]
/proc/loadavg: 3.45 1.32 0.54 5/250 314651
/proc/meminfo: memFree=94857712/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=132336 memory=98448 CPUtime=50.9 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 17568 0 0 0 4980 110 0 0 20 0 1 0 42478757 135512064 24612 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 33084 24612 1857 992 0 24942 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 132336 KiB
Current children cumulated memory: 98448 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 1.75 0.73 5/250 314660
/proc/meminfo: memFree=92501604/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=178684 memory=136900 CPUtime=101.9 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 22371 0 0 0 9993 197 0 0 20 0 1 0 42478757 182972416 34225 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 44671 34225 1857 992 0 36529 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 178684 KiB
Current children cumulated memory: 136900 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 2.19 0.95 5/271 314692
/proc/meminfo: memFree=90197764/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=239068 memory=164472 CPUtime=161.68 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 25275 0 0 0 15882 286 0 0 20 0 1 0 42478757 244805632 41118 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 59767 41118 1857 992 0 51625 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 239068 KiB
Current children cumulated memory: 164472 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 2.59 1.16 5/271 315087
/proc/meminfo: memFree=87730944/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=249452 memory=191384 CPUtime=221.4 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 27866 0 0 0 21762 378 0 0 20 0 1 0 42478757 255438848 47846 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 62363 47846 1857 992 0 54221 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 249452 KiB
Current children cumulated memory: 191384 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 2.87 1.35 5/270 315097
/proc/meminfo: memFree=86200912/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=261088 memory=215208 CPUtime=281.21 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 30791 0 0 0 27654 467 0 0 20 0 1 0 42478757 267354112 53802 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 65272 53802 1857 992 0 57130 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 261088 KiB
Current children cumulated memory: 215208 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 3.11 1.53 5/270 315108
/proc/meminfo: memFree=84705564/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=354476 memory=253776 CPUtime=341.01 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 34666 0 0 0 33562 539 0 0 20 0 1 0 42478757 362983424 63444 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 88619 63444 1857 992 0 80477 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 354476 KiB
Current children cumulated memory: 253776 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 3.28 1.69 5/271 315287
/proc/meminfo: memFree=83811408/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=359584 memory=259008 CPUtime=400.83 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 35976 0 0 0 39472 611 0 0 20 0 1 0 42478757 368214016 64752 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 89896 64752 1857 992 0 81754 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 359584 KiB
Current children cumulated memory: 259008 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 3.46 1.85 5/259 315303
/proc/meminfo: memFree=81683512/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=366332 memory=269792 CPUtime=460.62 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 37729 0 0 0 45390 672 0 0 20 0 1 0 42478757 375123968 67448 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 91583 67448 1857 992 0 83441 0

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

/proc/loadavg: 4.15 3.85 2.38 5/265 315412
/proc/meminfo: memFree=73202032/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=379280 memory=338224 CPUtime=699.75 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 41594 0 0 0 69032 943 0 0 20 0 1 0 42478757 388382720 84556 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 94820 84556 1857 992 0 86678 0
Current children cumulated CPU time: 699.75 s
Current children cumulated vsize: 379280 KiB
Current children cumulated memory: 338224 KiB

[startup+762.3 s]
/proc/loadavg: 4.31 3.94 2.51 5/265 315423
/proc/meminfo: memFree=70111380/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=380584 memory=339524 CPUtime=759.53 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 41971 0 0 0 74935 1018 0 0 20 0 1 0 42478757 389718016 84881 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 95146 84881 1857 992 0 87004 0
Current children cumulated CPU time: 759.53 s
Current children cumulated vsize: 380584 KiB
Current children cumulated memory: 339524 KiB

[startup+822.3 s]
/proc/loadavg: 4.26 4.01 2.63 5/264 315433
/proc/meminfo: memFree=66791208/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=386000 memory=345024 CPUtime=819.27 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 43462 0 0 0 80849 1078 0 0 20 0 1 0 42478757 395264000 86256 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 96500 86256 1857 992 0 88358 0
Current children cumulated CPU time: 819.27 s
Current children cumulated vsize: 386000 KiB
Current children cumulated memory: 345024 KiB

[startup+882.3 s]
/proc/loadavg: 4.13 4.02 2.72 5/262 315443
/proc/meminfo: memFree=63870020/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=392792 memory=351940 CPUtime=879.05 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 45206 0 0 0 86761 1144 0 0 20 0 1 0 42478757 402219008 87985 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 98198 87985 1857 992 0 90056 0
Current children cumulated CPU time: 879.05 s
Current children cumulated vsize: 392792 KiB
Current children cumulated memory: 351940 KiB

[startup+942.3 s]
/proc/loadavg: 4.15 4.04 2.81 5/262 315454
/proc/meminfo: memFree=60818456/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=393328 memory=352452 CPUtime=938.82 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 45450 0 0 0 92665 1217 0 0 20 0 1 0 42478757 402767872 88113 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 98332 88113 1857 992 0 90190 0
Current children cumulated CPU time: 938.82 s
Current children cumulated vsize: 393328 KiB
Current children cumulated memory: 352452 KiB

[startup+1002.3 s]
/proc/loadavg: 4.11 4.05 2.90 5/258 315464
/proc/meminfo: memFree=57590800/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=395768 memory=354744 CPUtime=998.55 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 46098 0 0 0 98572 1283 0 0 20 0 1 0 42478757 405266432 88686 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 98942 88686 1857 992 0 90800 0
Current children cumulated CPU time: 998.55 s
Current children cumulated vsize: 395768 KiB
Current children cumulated memory: 354744 KiB

[startup+1062.3 s]
/proc/loadavg: 4.11 4.05 2.97 5/255 315474
/proc/meminfo: memFree=55518888/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=401344 memory=360372 CPUtime=1058.35 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 47594 0 0 0 104488 1347 0 0 20 0 1 0 42478757 410976256 90093 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 100336 90093 1857 992 0 92194 0
Current children cumulated CPU time: 1058.35 s
Current children cumulated vsize: 401344 KiB
Current children cumulated memory: 360372 KiB

[startup+1122.3 s]
/proc/loadavg: 4.15 4.07 3.05 5/270 315502
/proc/meminfo: memFree=52561840/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=401652 memory=360756 CPUtime=1118.11 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 47737 0 0 0 110391 1420 0 0 20 0 1 0 42478757 411291648 90189 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 100413 90189 1857 992 0 92271 0
Current children cumulated CPU time: 1118.11 s
Current children cumulated vsize: 401652 KiB
Current children cumulated memory: 360756 KiB

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

# cumulated CPU time of all completed processes:  user=1131.65 s, system=14.5375 s

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

[startup+1126.5 s]
/proc/loadavg: 4.14 4.07 3.06 5/270 315502
/proc/meminfo: memFree=52398604/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=401652 memory=360756 CPUtime=1122.3 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 47744 0 0 0 110807 1423 0 0 20 0 1 0 42478757 411291648 90189 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 100413 90189 1857 992 0 92271 0
Current children cumulated CPU time: 1122.3 s
Current children cumulated vsize: 401652 KiB
Current children cumulated memory: 360756 KiB

[startup+1139.3 s]
/proc/loadavg: 4.11 4.07 3.07 5/270 315505
/proc/meminfo: memFree=51846596/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=406364 memory=365380 CPUtime=1135.06 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 48985 0 0 0 112073 1433 0 0 20 0 1 0 42478757 416116736 91345 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 101591 91345 1857 992 0 93449 0
Current children cumulated CPU time: 1135.06 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 365380 KiB

[startup+1145.7 s]
/proc/loadavg: 4.26 4.10 3.09 5/270 315506
/proc/meminfo: memFree=51615684/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=406364 memory=365380 CPUtime=1141.4 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 48996 0 0 0 112695 1445 0 0 20 0 1 0 42478757 416116736 91345 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 101591 91345 1857 992 0 93449 0
Current children cumulated CPU time: 1141.4 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 365380 KiB

[startup+1148.9 s]
/proc/loadavg: 4.24 4.10 3.09 5/270 315508
/proc/meminfo: memFree=51489640/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=406364 memory=365380 CPUtime=1144.59 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 48996 0 0 0 113011 1448 0 0 20 0 1 0 42478757 416116736 91345 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 101591 91345 1857 992 0 93449 0
Current children cumulated CPU time: 1144.59 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 365380 KiB

[startup+1149.7 s]
/proc/loadavg: 4.24 4.10 3.09 5/270 315508
/proc/meminfo: memFree=51446040/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=406364 memory=365380 CPUtime=1145.39 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 48996 0 0 0 113090 1449 0 0 20 0 1 0 42478757 416116736 91345 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 101591 91345 1857 992 0 93449 0
Current children cumulated CPU time: 1145.39 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 365380 KiB

[startup+1150.1 s]*
/proc/loadavg: 4.24 4.10 3.09 5/270 315508
/proc/meminfo: memFree=51399288/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=406364 memory=365380 CPUtime=1145.8 cores=1,3
/proc/314641/stat : 314641 (roundingsat) R 314638 314641 314272 0 -1 4194304 48996 0 0 0 113130 1450 0 0 20 0 1 0 42478757 416116736 91345 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 101591 91345 1857 992 0 93449 0
Current children cumulated CPU time: 1145.8 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 365380 KiB

[startup+1150.5 s]
/proc/loadavg: 4.24 4.10 3.09 5/270 315508
/proc/meminfo: memFree=51399288/131655788 swapFree=131062644/131071996
[pid=314641] ppid=314638 vsize=406364 memory=365380 CPUtime=1146.14 cores=1,3
/proc/314641/stat : 314641 (roundingsat) D 314638 314641 314272 0 -1 4194304 48996 0 0 0 113163 1451 0 0 20 0 1 0 42478757 416116736 91345 134679101440 4194304 8254357 140735498358544 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 23044096 140735498363739 140735498364001 140735498364001 140735498371017 0
/proc/314641/statm: 101591 91345 1857 992 0 93449 0
Current children cumulated CPU time: 1146.14 s
Current children cumulated vsize: 406364 KiB
Current children cumulated memory: 365380 KiB

Child status: 0

Real time (s): 1150.58
CPU time (s): 1146.18
CPU user time (s): 1131.65
CPU system time (s): 14.5375
CPU usage (%): 99.6182
Max. virtual memory (cumulated for all children) (KiB): 406364
Max. memory (cumulated for all children) (KiB): 365380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1131.65
system time used= 14.5375
maximum resident set size= 365380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49004
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= 3178
involuntary context switches= 1864


# summary of solver processes directly reported to runsolver:
#   pid: 314641
#   total CPU time (s): 1146.18
#   total CPU user time (s): 1131.65
#   total CPU system time (s): 14.5375

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31404 second user time and 11.9923 second system time

The end

Begin job on nodeC003 at 2024-07-27 09:21:37
IDJOB=4460581
IDBENCH=147860
IDSOLVER=3086
FILE ID=nodeC003/4460581-1722064897
RUNJOBID= nodeC003-1722064837-314284
SLURM_JOB_ID= 8248105
Free space on /tmp= 723764 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-4460581-1722064897/watcher-4460581-1722064897 -o /tmp/evaluation-result-4460581-1722064897/solver-4460581-1722064897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722064837-314284 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460581-1722064897 --lp-cut-gomory=0 HOME/instance-4460581-1722064897.opb

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

MD5SUM BENCH= 946fa793c8e40fdbe884453e390b9fbe
RANDOM SEED=107886715

nodeC003.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		: 3673.927
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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		: 3492.056
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.31
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.451
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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.277
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.31
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		: 3674.032
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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		: 3615.302
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.31
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.455
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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.386
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        97031556 kB
MemAvailable:   128405604 kB
Buffers:          372800 kB
Cached:         31544840 kB
SwapCached:          968 kB
Active:          2591560 kB
Inactive:       31010044 kB
Active(anon):       2580 kB
Inactive(anon):  1735192 kB
Active(file):    2588980 kB
Inactive(file): 29274852 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131062644 kB
Dirty:            481796 kB
Writeback:           160 kB
AnonPages:       1681608 kB
Mapped:           121448 kB
Shmem:             53440 kB
KReclaimable:     571960 kB
Slab:             702760 kB
SReclaimable:     571960 kB
SUnreclaim:       130800 kB
KernelStack:        4016 kB
PageTables:        13036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2375128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    350208 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:      394056 kB
DirectMap2M:    40404992 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC003 at 2024-07-27 09:40:48