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 7140 #constraints 7352
5.27/5.33	c #Conflicts:       1000 | #Constraints:       8351
5.27/5.33	c #Conflicts:       2000 | #Constraints:       9351
5.27/5.33	c INPROCESSING
5.27/5.33	c GARBAGE COLLECT
5.27/5.33	c rational objective 105
46.99/47.12	c #Conflicts:       3000 | #Constraints:       9048
46.99/47.12	c #Conflicts:       4000 | #Constraints:      10048
46.99/47.12	c INPROCESSING
46.99/47.12	c GARBAGE COLLECT
46.99/47.12	c #Conflicts:       5000 | #Constraints:       9459
46.99/47.12	c #Conflicts:       6000 | #Constraints:      10459
46.99/47.12	c INPROCESSING
46.99/47.12	c GARBAGE COLLECT
46.99/47.12	c #Conflicts:       7000 | #Constraints:       9528
46.99/47.12	c #Conflicts:       8000 | #Constraints:      10528
46.99/47.12	c #Conflicts:       9000 | #Constraints:      11528
46.99/47.12	c INPROCESSING
46.99/47.12	c GARBAGE COLLECT
46.99/47.12	c #Conflicts:      10000 | #Constraints:      10264
46.99/47.12	c #Conflicts:      11000 | #Constraints:      11264
46.99/47.12	c #Conflicts:      12000 | #Constraints:      12264
46.99/47.12	c INPROCESSING
46.99/47.12	c GARBAGE COLLECT
46.99/47.12	c #Conflicts:      13000 | #Constraints:      10767
46.99/47.12	c #Conflicts:      14000 | #Constraints:      11768
46.99/47.12	c #Conflicts:      15000 | #Constraints:      12768
46.99/47.12	c INPROCESSING
46.99/47.12	c GARBAGE COLLECT
46.99/47.12	c #Conflicts:      16000 | #Constraints:      11050
46.99/47.12	c #Conflicts:      17000 | #Constraints:      12050
46.99/47.12	c #Conflicts:      18000 | #Constraints:      13050
46.99/47.12	c INPROCESSING
46.99/47.12	c GARBAGE COLLECT
46.99/47.12	c #Conflicts:      19000 | #Constraints:      11099
46.99/47.12	c #Conflicts:      20000 | #Constraints:      12099
46.99/47.12	c #Conflicts:      21000 | #Constraints:      13099
46.99/47.12	c INPROCESSING
46.99/47.12	c GARBAGE COLLECT
46.99/47.12	c #Conflicts:      22000 | #Constraints:      10916
46.99/47.12	c #Conflicts:      23000 | #Constraints:      11916
46.99/47.12	c #Conflicts:      24000 | #Constraints:      12916
46.99/47.12	c #Conflicts:      25000 | #Constraints:      13916
46.99/47.12	c INPROCESSING
46.99/47.12	c GARBAGE COLLECT
46.99/47.12	c #Conflicts:      26000 | #Constraints:      11545
46.99/47.12	c #Conflicts:      27000 | #Constraints:      12545
46.99/47.12	c #Conflicts:      28000 | #Constraints:      13545
46.99/47.12	c #Conflicts:      29000 | #Constraints:      14545
46.99/47.12	c INPROCESSING
46.99/47.12	c GARBAGE COLLECT
46.99/47.12	c #Conflicts:      30000 | #Constraints:      11962
46.99/47.12	c #Conflicts:      31000 | #Constraints:      12962
46.99/47.12	c #Conflicts:      32000 | #Constraints:      13962
46.99/47.12	c #Conflicts:      33000 | #Constraints:      14962
46.99/47.12	c INPROCESSING
46.99/47.12	c GARBAGE COLLECT
46.99/47.12	c rational objective 105
69.73/69.94	c #Conflicts:      34000 | #Constraints:      12191
69.73/69.94	c #Conflicts:      35000 | #Constraints:      13191
69.73/69.94	c #Conflicts:      36000 | #Constraints:      14191
69.73/69.94	c #Conflicts:      37000 | #Constraints:      15191
69.73/69.94	c #Conflicts:      38000 | #Constraints:      16191
69.73/69.94	c #Conflicts:      39000 | #Constraints:      17192
69.73/69.94	c #Conflicts:      40000 | #Constraints:      18192
69.73/69.94	c #Conflicts:      41000 | #Constraints:      19192
69.73/69.94	c #Conflicts:      42000 | #Constraints:      20192
69.73/69.94	c #Conflicts:      43000 | #Constraints:      21192
69.73/69.94	c #Conflicts:      44000 | #Constraints:      22192
69.73/69.94	c #Conflicts:      45000 | #Constraints:      23192
69.73/69.94	c #Conflicts:      46000 | #Constraints:      24192
69.73/69.94	c #Conflicts:      47000 | #Constraints:      25192
69.73/69.94	c #Conflicts:      48000 | #Constraints:      26193
69.73/69.94	c INPROCESSING
69.73/69.94	c GARBAGE COLLECT
69.73/69.94	c #Conflicts:      49000 | #Constraints:      17847
69.73/69.94	c #Conflicts:      50000 | #Constraints:      18847
69.73/69.94	c #Conflicts:      51000 | #Constraints:      19847
69.73/69.94	c #Conflicts:      52000 | #Constraints:      20847
69.73/69.94	c #Conflicts:      53000 | #Constraints:      21847
69.73/69.94	c INPROCESSING
69.73/69.94	c GARBAGE COLLECT
69.73/69.94	c rational objective 105
86.99/87.29	c #Conflicts:      54000 | #Constraints:      15504
86.99/87.29	c #Conflicts:      55000 | #Constraints:      16504
86.99/87.29	c #Conflicts:      56000 | #Constraints:      17504
86.99/87.29	c #Conflicts:      57000 | #Constraints:      18505
86.99/87.29	c #Conflicts:      58000 | #Constraints:      19505
86.99/87.29	c INPROCESSING
86.99/87.29	c GARBAGE COLLECT
86.99/87.29	c #Conflicts:      59000 | #Constraints:      14090
86.99/87.29	c #Conflicts:      60000 | #Constraints:      15090
86.99/87.29	c #Conflicts:      61000 | #Constraints:      16090
86.99/87.29	c #Conflicts:      62000 | #Constraints:      17090
86.99/87.29	c #Conflicts:      63000 | #Constraints:      18090
86.99/87.29	c #Conflicts:      64000 | #Constraints:      19090
86.99/87.29	c INPROCESSING
86.99/87.29	c GARBAGE COLLECT
86.99/87.29	c rational objective 105
112.85/113.15	c #Conflicts:      65000 | #Constraints:      14072
112.85/113.15	c #Conflicts:      66000 | #Constraints:      15073
112.85/113.15	c #Conflicts:      67000 | #Constraints:      16073
112.85/113.15	c #Conflicts:      68000 | #Constraints:      17073
112.85/113.15	c #Conflicts:      69000 | #Constraints:      18073
112.85/113.15	c #Conflicts:      70000 | #Constraints:      19073
112.85/113.15	c #Conflicts:      71000 | #Constraints:      20073
112.85/113.15	c #Conflicts:      72000 | #Constraints:      21073
112.85/113.15	c #Conflicts:      73000 | #Constraints:      22073
112.85/113.15	c #Conflicts:      74000 | #Constraints:      23073
112.85/113.15	c #Conflicts:      75000 | #Constraints:      24073
112.85/113.15	c #Conflicts:      76000 | #Constraints:      25073
112.85/113.15	c #Conflicts:      77000 | #Constraints:      26073
112.85/113.15	c #Conflicts:      78000 | #Constraints:      27073
112.85/113.15	c #Conflicts:      79000 | #Constraints:      28073
112.85/113.15	c #Conflicts:      80000 | #Constraints:      29073
112.85/113.15	c #Conflicts:      81000 | #Constraints:      30073
112.85/113.15	c #Conflicts:      82000 | #Constraints:      31074
112.85/113.15	c #Conflicts:      83000 | #Constraints:      32074
112.85/113.15	c #Conflicts:      84000 | #Constraints:      33075
112.85/113.15	c INPROCESSING
112.85/113.15	c GARBAGE COLLECT
112.85/113.15	c rational objective 105
128.30/128.69	c #Conflicts:      85000 | #Constraints:      20962
128.30/128.69	c #Conflicts:      86000 | #Constraints:      21962
128.30/128.69	c #Conflicts:      87000 | #Constraints:      22962
128.30/128.69	c #Conflicts:      88000 | #Constraints:      23962
128.30/128.69	c #Conflicts:      89000 | #Constraints:      24962
128.30/128.69	c #Conflicts:      90000 | #Constraints:      25962
128.30/128.69	c #Conflicts:      91000 | #Constraints:      26962
128.30/128.69	c INPROCESSING
128.30/128.69	c GARBAGE COLLECT
128.30/128.69	c #Conflicts:      92000 | #Constraints:      17957
128.30/128.69	c #Conflicts:      93000 | #Constraints:      18957
128.30/128.69	c #Conflicts:      94000 | #Constraints:      19958
128.30/128.69	c #Conflicts:      95000 | #Constraints:      20959
128.30/128.69	c #Conflicts:      96000 | #Constraints:      21959
128.30/128.69	c #Conflicts:      97000 | #Constraints:      22959
128.30/128.69	c #Conflicts:      98000 | #Constraints:      23959
128.30/128.69	c #Conflicts:      99000 | #Constraints:      24959
128.30/128.69	c INPROCESSING
128.30/128.69	c GARBAGE COLLECT
128.30/128.69	c rational objective 105
163.32/163.71	c #Conflicts:     100000 | #Constraints:      17343
163.32/163.71	c #Conflicts:     101000 | #Constraints:      18343
163.32/163.71	c #Conflicts:     102000 | #Constraints:      19343
163.32/163.71	c #Conflicts:     103000 | #Constraints:      20343
163.32/163.71	c #Conflicts:     104000 | #Constraints:      21343
163.32/163.71	c #Conflicts:     105000 | #Constraints:      22343
163.32/163.71	c #Conflicts:     106000 | #Constraints:      23343
163.32/163.71	c INPROCESSING
163.32/163.71	c GARBAGE COLLECT
163.32/163.71	c #Conflicts:     107000 | #Constraints:      16307
163.32/163.71	c #Conflicts:     108000 | #Constraints:      17307
163.32/163.71	c #Conflicts:     109000 | #Constraints:      18307
163.32/163.71	c #Conflicts:     110000 | #Constraints:      19307
163.32/163.71	c #Conflicts:     111000 | #Constraints:      20307
163.32/163.71	c #Conflicts:     112000 | #Constraints:      21307
163.32/163.71	c #Conflicts:     113000 | #Constraints:      22307
163.32/163.71	c #Conflicts:     114000 | #Constraints:      23307
163.32/163.71	c #Conflicts:     115000 | #Constraints:      24307
163.32/163.71	c #Conflicts:     116000 | #Constraints:      25307
163.32/163.71	c #Conflicts:     117000 | #Constraints:      26307
163.32/163.71	c #Conflicts:     118000 | #Constraints:      27308
163.32/163.71	c #Conflicts:     119000 | #Constraints:      28308
163.32/163.72	c #Conflicts:     120000 | #Constraints:      29308
163.32/163.72	c #Conflicts:     121000 | #Constraints:      30308
163.32/163.72	c #Conflicts:     122000 | #Constraints:      31309
163.32/163.72	c #Conflicts:     123000 | #Constraints:      32309
163.32/163.72	c #Conflicts:     124000 | #Constraints:      33309
163.32/163.72	c #Conflicts:     125000 | #Constraints:      34309
163.32/163.72	c #Conflicts:     126000 | #Constraints:      35309
163.32/163.72	c #Conflicts:     127000 | #Constraints:      36309
163.32/163.72	c #Conflicts:     128000 | #Constraints:      37310
163.32/163.72	c #Conflicts:     129000 | #Constraints:      38310
163.32/163.72	c #Conflicts:     130000 | #Constraints:      39310
163.32/163.72	c #Conflicts:     131000 | #Constraints:      40310
163.32/163.72	c #Conflicts:     132000 | #Constraints:      41310
163.32/163.72	c INPROCESSING
163.32/163.72	c GARBAGE COLLECT
163.32/163.72	c rational objective 105
177.38/177.87	c #Conflicts:     133000 | #Constraints:      25521
177.38/177.87	c #Conflicts:     134000 | #Constraints:      26522
177.38/177.87	c #Conflicts:     135000 | #Constraints:      27522
177.38/177.87	c #Conflicts:     136000 | #Constraints:      28522
177.38/177.87	c #Conflicts:     137000 | #Constraints:      29522
177.38/177.87	c #Conflicts:     138000 | #Constraints:      30522
177.38/177.87	c #Conflicts:     139000 | #Constraints:      31522
177.38/177.87	c #Conflicts:     140000 | #Constraints:      32522
177.38/177.87	c INPROCESSING
177.38/177.87	c GARBAGE COLLECT
177.38/177.87	c rational objective 105
187.87/188.39	c #Conflicts:     141000 | #Constraints:      20863
187.87/188.39	c #Conflicts:     142000 | #Constraints:      21863
187.87/188.39	c #Conflicts:     143000 | #Constraints:      22863
187.87/188.39	c #Conflicts:     144000 | #Constraints:      23863
187.87/188.39	c #Conflicts:     145000 | #Constraints:      24863
187.87/188.39	c #Conflicts:     146000 | #Constraints:      25864
187.87/188.39	c #Conflicts:     147000 | #Constraints:      26864
187.87/188.39	c #Conflicts:     148000 | #Constraints:      27865
187.87/188.39	c #Conflicts:     149000 | #Constraints:      28865
187.87/188.39	c INPROCESSING
187.87/188.39	c GARBAGE COLLECT
187.87/188.39	c rational objective 105
197.75/198.25	c #Conflicts:     150000 | #Constraints:      19063
197.75/198.25	c #Conflicts:     151000 | #Constraints:      20063
197.75/198.25	c #Conflicts:     152000 | #Constraints:      21063
197.75/198.25	c #Conflicts:     153000 | #Constraints:      22063
197.75/198.25	c #Conflicts:     154000 | #Constraints:      23064
197.75/198.25	c #Conflicts:     155000 | #Constraints:      24065
197.75/198.25	c #Conflicts:     156000 | #Constraints:      25065
197.75/198.25	c #Conflicts:     157000 | #Constraints:      26065
197.75/198.25	c #Conflicts:     158000 | #Constraints:      27065
197.75/198.25	c INPROCESSING
197.75/198.25	c GARBAGE COLLECT
197.75/198.25	c rational objective 105
231.17/231.73	c #Conflicts:     159000 | #Constraints:      18105
231.17/231.73	c #Conflicts:     160000 | #Constraints:      19105
231.17/231.73	c #Conflicts:     161000 | #Constraints:      20105
231.17/231.73	c #Conflicts:     162000 | #Constraints:      21105
231.17/231.73	c #Conflicts:     163000 | #Constraints:      22105
231.17/231.73	c #Conflicts:     164000 | #Constraints:      23105
231.17/231.73	c #Conflicts:     165000 | #Constraints:      24105
231.17/231.73	c #Conflicts:     166000 | #Constraints:      25105
231.17/231.73	c #Conflicts:     167000 | #Constraints:      26105
231.17/231.73	c #Conflicts:     168000 | #Constraints:      27105
231.17/231.73	c #Conflicts:     169000 | #Constraints:      28105
231.17/231.73	c #Conflicts:     170000 | #Constraints:      29105
231.17/231.73	c #Conflicts:     171000 | #Constraints:      30105
231.17/231.73	c #Conflicts:     172000 | #Constraints:      31105
231.17/231.73	c #Conflicts:     173000 | #Constraints:      32105
231.17/231.73	c #Conflicts:     174000 | #Constraints:      33105
231.17/231.73	c #Conflicts:     175000 | #Constraints:      34106
231.17/231.73	c #Conflicts:     176000 | #Constraints:      35106
231.17/231.73	c #Conflicts:     177000 | #Constraints:      36106
231.17/231.73	c #Conflicts:     178000 | #Constraints:      37106
231.17/231.73	c #Conflicts:     179000 | #Constraints:      38106
231.17/231.73	c #Conflicts:     180000 | #Constraints:      39106
231.17/231.73	c #Conflicts:     181000 | #Constraints:      40106
231.17/231.73	c #Conflicts:     182000 | #Constraints:      41106
231.17/231.73	c #Conflicts:     183000 | #Constraints:      42106
231.17/231.73	c #Conflicts:     184000 | #Constraints:      43106
231.17/231.73	c #Conflicts:     185000 | #Constraints:      44106
231.17/231.73	c #Conflicts:     186000 | #Constraints:      45106
231.17/231.73	c #Conflicts:     187000 | #Constraints:      46106
231.17/231.73	c #Conflicts:     188000 | #Constraints:      47106
231.17/231.73	c #Conflicts:     189000 | #Constraints:      48106
231.17/231.73	c INPROCESSING
231.17/231.73	c GARBAGE COLLECT
231.17/231.73	c rational objective 105
245.64/246.21	c #Conflicts:     190000 | #Constraints:      28703
245.64/246.21	c #Conflicts:     191000 | #Constraints:      29703
245.64/246.21	c #Conflicts:     192000 | #Constraints:      30703
245.64/246.21	c #Conflicts:     193000 | #Constraints:      31703
245.64/246.21	c #Conflicts:     194000 | #Constraints:      32703
245.64/246.21	c #Conflicts:     195000 | #Constraints:      33703
245.64/246.21	c #Conflicts:     196000 | #Constraints:      34703
245.64/246.21	c #Conflicts:     197000 | #Constraints:      35703
245.64/246.21	c #Conflicts:     198000 | #Constraints:      36704
245.64/246.21	c #Conflicts:     199000 | #Constraints:      37705
245.64/246.21	c #Conflicts:     200000 | #Constraints:      38706
245.64/246.21	c INPROCESSING
245.64/246.21	c GARBAGE COLLECT
245.64/246.21	c rational objective 105
259.30/259.98	c #Conflicts:     201000 | #Constraints:      24349
259.30/259.98	c #Conflicts:     202000 | #Constraints:      25349
259.30/259.98	c #Conflicts:     203000 | #Constraints:      26349
259.30/259.98	c #Conflicts:     204000 | #Constraints:      27349
259.30/259.98	c #Conflicts:     205000 | #Constraints:      28349
259.30/259.98	c #Conflicts:     206000 | #Constraints:      29349
259.30/259.98	c #Conflicts:     207000 | #Constraints:      30349
259.30/259.98	c #Conflicts:     208000 | #Constraints:      31349
259.30/259.98	c #Conflicts:     209000 | #Constraints:      32349
259.30/259.98	c #Conflicts:     210000 | #Constraints:      33349
259.30/259.98	c INPROCESSING
259.30/259.98	c GARBAGE COLLECT
259.30/259.98	c rational objective 105
269.58/270.21	c #Conflicts:     211000 | #Constraints:      21380
269.58/270.21	c #Conflicts:     212000 | #Constraints:      22380
269.58/270.21	c #Conflicts:     213000 | #Constraints:      23380
269.58/270.21	c #Conflicts:     214000 | #Constraints:      24380
269.58/270.21	c #Conflicts:     215000 | #Constraints:      25380
269.58/270.21	c #Conflicts:     216000 | #Constraints:      26380
269.58/270.21	c #Conflicts:     217000 | #Constraints:      27380
269.58/270.21	c #Conflicts:     218000 | #Constraints:      28380
269.58/270.21	c #Conflicts:     219000 | #Constraints:      29381
269.58/270.21	c #Conflicts:     220000 | #Constraints:      30381
269.58/270.21	c #Conflicts:     221000 | #Constraints:      31381
269.58/270.21	c INPROCESSING
269.58/270.21	c GARBAGE COLLECT
269.58/270.21	c rational objective 105
320.07/320.87	c #Conflicts:     222000 | #Constraints:      20464
320.07/320.87	c #Conflicts:     223000 | #Constraints:      21464
320.07/320.87	c #Conflicts:     224000 | #Constraints:      22464
320.07/320.87	c #Conflicts:     225000 | #Constraints:      23464
320.07/320.87	c #Conflicts:     226000 | #Constraints:      24464
320.07/320.87	c #Conflicts:     227000 | #Constraints:      25464
320.07/320.87	c #Conflicts:     228000 | #Constraints:      26464
320.07/320.87	c #Conflicts:     229000 | #Constraints:      27465
320.07/320.87	c #Conflicts:     230000 | #Constraints:      28465
320.07/320.87	c #Conflicts:     231000 | #Constraints:      29466
320.07/320.87	c #Conflicts:     232000 | #Constraints:      30466
320.07/320.87	c #Conflicts:     233000 | #Constraints:      31466
320.07/320.87	c #Conflicts:     234000 | #Constraints:      32466
320.07/320.87	c #Conflicts:     235000 | #Constraints:      33466
320.07/320.87	c #Conflicts:     236000 | #Constraints:      34466
320.07/320.87	c #Conflicts:     237000 | #Constraints:      35466
320.07/320.87	c #Conflicts:     238000 | #Constraints:      36466
320.07/320.87	c #Conflicts:     239000 | #Constraints:      37466
320.07/320.87	c #Conflicts:     240000 | #Constraints:      38466
320.07/320.87	c #Conflicts:     241000 | #Constraints:      39466
320.07/320.87	c #Conflicts:     242000 | #Constraints:      40466
320.07/320.87	c #Conflicts:     243000 | #Constraints:      41466
320.07/320.87	c #Conflicts:     244000 | #Constraints:      42466
320.07/320.87	c #Conflicts:     245000 | #Constraints:      43466
320.07/320.87	c #Conflicts:     246000 | #Constraints:      44467
320.07/320.87	c #Conflicts:     247000 | #Constraints:      45467
320.07/320.87	c #Conflicts:     248000 | #Constraints:      46467
320.07/320.87	c #Conflicts:     249000 | #Constraints:      47467
320.07/320.87	c #Conflicts:     250000 | #Constraints:      48467
320.07/320.87	c #Conflicts:     251000 | #Constraints:      49467
320.07/320.87	c #Conflicts:     252000 | #Constraints:      50467
320.07/320.87	c #Conflicts:     253000 | #Constraints:      51467
320.07/320.87	c #Conflicts:     254000 | #Constraints:      52467
320.07/320.87	c #Conflicts:     255000 | #Constraints:      53467
320.07/320.87	c #Conflicts:     256000 | #Constraints:      54467
320.07/320.87	c #Conflicts:     257000 | #Constraints:      55467
320.07/320.87	c INPROCESSING
320.07/320.87	c GARBAGE COLLECT
320.07/320.87	c rational objective 105
340.02/340.82	c #Conflicts:     258000 | #Constraints:      32427
340.02/340.82	c #Conflicts:     259000 | #Constraints:      33427
340.02/340.82	c #Conflicts:     260000 | #Constraints:      34427
340.02/340.82	c #Conflicts:     261000 | #Constraints:      35427
340.02/340.82	c #Conflicts:     262000 | #Constraints:      36427
340.02/340.82	c #Conflicts:     263000 | #Constraints:      37427
340.02/340.82	c #Conflicts:     264000 | #Constraints:      38427
340.02/340.82	c #Conflicts:     265000 | #Constraints:      39427
340.02/340.82	c #Conflicts:     266000 | #Constraints:      40427
340.02/340.82	c #Conflicts:     267000 | #Constraints:      41427
340.02/340.82	c #Conflicts:     268000 | #Constraints:      42427
340.02/340.82	c #Conflicts:     269000 | #Constraints:      43427
340.02/340.82	c INPROCESSING
340.02/340.82	c GARBAGE COLLECT
340.02/340.82	c rational objective 105
351.69/352.51	c #Conflicts:     270000 | #Constraints:      26376
351.69/352.51	c #Conflicts:     271000 | #Constraints:      27376
351.69/352.51	c #Conflicts:     272000 | #Constraints:      28376
351.69/352.51	c #Conflicts:     273000 | #Constraints:      29376
351.69/352.51	c #Conflicts:     274000 | #Constraints:      30376
351.69/352.51	c #Conflicts:     275000 | #Constraints:      31376
351.69/352.51	c #Conflicts:     276000 | #Constraints:      32376
351.69/352.51	c #Conflicts:     277000 | #Constraints:      33376
351.69/352.51	c #Conflicts:     278000 | #Constraints:      34376
351.69/352.51	c #Conflicts:     279000 | #Constraints:      35376
351.69/352.51	c #Conflicts:     280000 | #Constraints:      36376
351.69/352.51	c #Conflicts:     281000 | #Constraints:      37377
351.69/352.51	c #Conflicts:     282000 | #Constraints:      38377
351.69/352.51	c INPROCESSING
351.69/352.51	c GARBAGE COLLECT
351.69/352.51	c rational objective 105
365.45/366.36	c #Conflicts:     283000 | #Constraints:      24251
365.45/366.36	c #Conflicts:     284000 | #Constraints:      25251
365.45/366.36	c #Conflicts:     285000 | #Constraints:      26251
365.45/366.36	c #Conflicts:     286000 | #Constraints:      27251
365.45/366.36	c #Conflicts:     287000 | #Constraints:      28251
365.45/366.36	c #Conflicts:     288000 | #Constraints:      29253
365.45/366.36	c #Conflicts:     289000 | #Constraints:      30253
365.45/366.36	c #Conflicts:     290000 | #Constraints:      31253
365.45/366.36	c #Conflicts:     291000 | #Constraints:      32253
365.45/366.36	c #Conflicts:     292000 | #Constraints:      33254
365.45/366.36	c #Conflicts:     293000 | #Constraints:      34254
365.45/366.36	c #Conflicts:     294000 | #Constraints:      35254
365.45/366.36	c INPROCESSING
365.45/366.36	c GARBAGE COLLECT
365.45/366.36	c rational objective 105
423.19/424.24	c #Conflicts:     295000 | #Constraints:      22389
423.19/424.24	c #Conflicts:     296000 | #Constraints:      23389
423.19/424.24	c #Conflicts:     297000 | #Constraints:      24390
423.19/424.24	c #Conflicts:     298000 | #Constraints:      25391
423.19/424.24	c #Conflicts:     299000 | #Constraints:      26391
423.19/424.24	c #Conflicts:     300000 | #Constraints:      27393
423.19/424.24	c #Conflicts:     301000 | #Constraints:      28393
423.19/424.24	c #Conflicts:     302000 | #Constraints:      29393
423.19/424.24	c #Conflicts:     303000 | #Constraints:      30393
423.19/424.24	c #Conflicts:     304000 | #Constraints:      31393
423.19/424.24	c #Conflicts:     305000 | #Constraints:      32393
423.19/424.24	c #Conflicts:     306000 | #Constraints:      33394
423.19/424.24	c #Conflicts:     307000 | #Constraints:      34394
423.19/424.24	c #Conflicts:     308000 | #Constraints:      35394
423.19/424.24	c #Conflicts:     309000 | #Constraints:      36394
423.19/424.24	c #Conflicts:     310000 | #Constraints:      37394
423.19/424.24	c #Conflicts:     311000 | #Constraints:      38394
423.19/424.24	c #Conflicts:     312000 | #Constraints:      39394
423.19/424.24	c #Conflicts:     313000 | #Constraints:      40394
423.19/424.24	c #Conflicts:     314000 | #Constraints:      41394
423.19/424.24	c #Conflicts:     315000 | #Constraints:      42394
423.19/424.24	c #Conflicts:     316000 | #Constraints:      43394
423.19/424.24	c #Conflicts:     317000 | #Constraints:      44394
423.19/424.24	c #Conflicts:     318000 | #Constraints:      45394
423.19/424.24	c #Conflicts:     319000 | #Constraints:      46394
423.19/424.24	c #Conflicts:     320000 | #Constraints:      47394
423.19/424.24	c #Conflicts:     321000 | #Constraints:      48394
423.19/424.24	c #Conflicts:     322000 | #Constraints:      49394
423.19/424.24	c #Conflicts:     323000 | #Constraints:      50394
423.19/424.24	c #Conflicts:     324000 | #Constraints:      51394
423.19/424.24	c #Conflicts:     325000 | #Constraints:      52395
423.19/424.24	c #Conflicts:     326000 | #Constraints:      53395
423.19/424.24	c #Conflicts:     327000 | #Constraints:      54395
423.19/424.24	c #Conflicts:     328000 | #Constraints:      55395
423.19/424.24	c #Conflicts:     329000 | #Constraints:      56395
423.19/424.24	c #Conflicts:     330000 | #Constraints:      57396
423.19/424.24	c #Conflicts:     331000 | #Constraints:      58396
423.19/424.24	c #Conflicts:     332000 | #Constraints:      59397
423.19/424.24	c #Conflicts:     333000 | #Constraints:      60397
423.19/424.24	c #Conflicts:     334000 | #Constraints:      61397
423.19/424.24	c #Conflicts:     335000 | #Constraints:      62397
423.19/424.24	c #Conflicts:     336000 | #Constraints:      63398
423.19/424.24	c INPROCESSING
423.19/424.24	c GARBAGE COLLECT
423.19/424.24	c rational objective 105
446.34/447.41	c #Conflicts:     337000 | #Constraints:      36755
446.34/447.41	c #Conflicts:     338000 | #Constraints:      37755
446.34/447.41	c #Conflicts:     339000 | #Constraints:      38755
446.34/447.41	c #Conflicts:     340000 | #Constraints:      39755
446.34/447.41	c #Conflicts:     341000 | #Constraints:      40755
446.34/447.41	c #Conflicts:     342000 | #Constraints:      41755
446.34/447.41	c #Conflicts:     343000 | #Constraints:      42755
446.34/447.41	c #Conflicts:     344000 | #Constraints:      43755
446.34/447.41	c #Conflicts:     345000 | #Constraints:      44755
446.34/447.41	c #Conflicts:     346000 | #Constraints:      45755
446.34/447.41	c #Conflicts:     347000 | #Constraints:      46756
446.34/447.41	c #Conflicts:     348000 | #Constraints:      47756
446.34/447.41	c #Conflicts:     349000 | #Constraints:      48756
446.34/447.41	c INPROCESSING
446.34/447.41	c GARBAGE COLLECT
446.34/447.41	c rational objective 105
461.30/462.45	c #Conflicts:     350000 | #Constraints:      28967
461.30/462.45	c #Conflicts:     351000 | #Constraints:      29967
461.30/462.45	c #Conflicts:     352000 | #Constraints:      30967
461.30/462.45	c #Conflicts:     353000 | #Constraints:      31967
461.30/462.45	c #Conflicts:     354000 | #Constraints:      32967
461.30/462.45	c #Conflicts:     355000 | #Constraints:      33967
461.30/462.45	c #Conflicts:     356000 | #Constraints:      34967
461.30/462.45	c #Conflicts:     357000 | #Constraints:      35967
461.30/462.45	c #Conflicts:     358000 | #Constraints:      36967
461.30/462.45	c #Conflicts:     359000 | #Constraints:      37967
461.30/462.45	c #Conflicts:     360000 | #Constraints:      38967
461.30/462.45	c #Conflicts:     361000 | #Constraints:      39967
461.30/462.45	c #Conflicts:     362000 | #Constraints:      40968
461.30/462.45	c #Conflicts:     363000 | #Constraints:      41968
461.30/462.45	c INPROCESSING
461.30/462.45	c GARBAGE COLLECT
461.30/462.45	c rational objective 105
485.06/486.21	c #Conflicts:     364000 | #Constraints:      25641
485.06/486.21	c #Conflicts:     365000 | #Constraints:      26641
485.06/486.21	c #Conflicts:     366000 | #Constraints:      27641
485.06/486.21	c #Conflicts:     367000 | #Constraints:      28641
485.06/486.21	c #Conflicts:     368000 | #Constraints:      29641
485.06/486.21	c #Conflicts:     369000 | #Constraints:      30641
485.06/486.21	c #Conflicts:     370000 | #Constraints:      31641
485.06/486.21	c #Conflicts:     371000 | #Constraints:      32641
485.06/486.21	c #Conflicts:     372000 | #Constraints:      33641
485.06/486.21	c #Conflicts:     373000 | #Constraints:      34641
485.06/486.21	c #Conflicts:     374000 | #Constraints:      35641
485.06/486.21	c #Conflicts:     375000 | #Constraints:      36642
485.06/486.21	c #Conflicts:     376000 | #Constraints:      37642
485.06/486.21	c #Conflicts:     377000 | #Constraints:      38642
485.06/486.21	c #Conflicts:     378000 | #Constraints:      39642
485.06/486.21	c INPROCESSING
485.06/486.21	c GARBAGE COLLECT
485.06/486.21	c rational objective 105
587.81/589.25	c #Conflicts:     379000 | #Constraints:      24830
587.81/589.25	c #Conflicts:     380000 | #Constraints:      25830
587.81/589.25	c #Conflicts:     381000 | #Constraints:      26830
587.81/589.25	c #Conflicts:     382000 | #Constraints:      27830
587.81/589.25	c #Conflicts:     383000 | #Constraints:      28830
587.81/589.25	c #Conflicts:     384000 | #Constraints:      29830
587.81/589.25	c #Conflicts:     385000 | #Constraints:      30830
587.81/589.25	c #Conflicts:     386000 | #Constraints:      31830
587.81/589.25	c #Conflicts:     387000 | #Constraints:      32830
587.81/589.25	c #Conflicts:     388000 | #Constraints:      33830
587.81/589.25	c #Conflicts:     389000 | #Constraints:      34830
587.81/589.25	c #Conflicts:     390000 | #Constraints:      35830
587.81/589.25	c #Conflicts:     391000 | #Constraints:      36830
587.81/589.25	c #Conflicts:     392000 | #Constraints:      37830
587.81/589.25	c #Conflicts:     393000 | #Constraints:      38830
587.81/589.25	c #Conflicts:     394000 | #Constraints:      39830
587.81/589.25	c #Conflicts:     395000 | #Constraints:      40830
587.81/589.25	c #Conflicts:     396000 | #Constraints:      41830
587.81/589.25	c #Conflicts:     397000 | #Constraints:      42830
587.81/589.25	c #Conflicts:     398000 | #Constraints:      43830
587.81/589.25	c #Conflicts:     399000 | #Constraints:      44832
587.81/589.25	c #Conflicts:     400000 | #Constraints:      45833
587.81/589.25	c #Conflicts:     401000 | #Constraints:      46833
587.81/589.25	c #Conflicts:     402000 | #Constraints:      47834
587.81/589.25	c #Conflicts:     403000 | #Constraints:      48836
587.81/589.25	c #Conflicts:     404000 | #Constraints:      49837
587.81/589.25	c #Conflicts:     405000 | #Constraints:      50838
587.81/589.25	c #Conflicts:     406000 | #Constraints:      51843
587.81/589.25	c #Conflicts:     407000 | #Constraints:      52844
587.81/589.25	c #Conflicts:     408000 | #Constraints:      53845
587.81/589.25	c #Conflicts:     409000 | #Constraints:      54846
587.81/589.25	c #Conflicts:     410000 | #Constraints:      55848
587.81/589.25	c #Conflicts:     411000 | #Constraints:      56849
587.81/589.25	c #Conflicts:     412000 | #Constraints:      57851
587.81/589.25	c #Conflicts:     413000 | #Constraints:      58852
587.81/589.25	c #Conflicts:     414000 | #Constraints:      59853
587.81/589.25	c #Conflicts:     415000 | #Constraints:      60854
587.81/589.25	c #Conflicts:     416000 | #Constraints:      61854
587.81/589.25	c #Conflicts:     417000 | #Constraints:      62855
587.81/589.25	c #Conflicts:     418000 | #Constraints:      63857
587.81/589.25	c #Conflicts:     419000 | #Constraints:      64858
587.81/589.25	c #Conflicts:     420000 | #Constraints:      65859
587.81/589.25	c #Conflicts:     421000 | #Constraints:      66859
587.81/589.25	c #Conflicts:     422000 | #Constraints:      67859
587.81/589.25	c #Conflicts:     423000 | #Constraints:      68860
587.81/589.25	c #Conflicts:     424000 | #Constraints:      69861
587.81/589.25	c INPROCESSING
587.81/589.25	c GARBAGE COLLECT
587.81/589.25	c #Conflicts:     425000 | #Constraints:      39532
587.81/589.25	c #Conflicts:     426000 | #Constraints:      40532
587.81/589.25	c #Conflicts:     427000 | #Constraints:      41533
587.81/589.25	c #Conflicts:     428000 | #Constraints:      42533
587.81/589.25	c #Conflicts:     429000 | #Constraints:      43534
587.81/589.25	c #Conflicts:     430000 | #Constraints:      44534
587.81/589.25	c #Conflicts:     431000 | #Constraints:      45534
587.81/589.25	c #Conflicts:     432000 | #Constraints:      46534
587.81/589.25	c #Conflicts:     433000 | #Constraints:      47534
587.81/589.25	c #Conflicts:     434000 | #Constraints:      48534
587.81/589.25	c #Conflicts:     435000 | #Constraints:      49534
587.81/589.25	c #Conflicts:     436000 | #Constraints:      50534
587.81/589.25	c #Conflicts:     437000 | #Constraints:      51534
587.81/589.25	c #Conflicts:     438000 | #Constraints:      52535
587.81/589.25	c #Conflicts:     439000 | #Constraints:      53535
587.81/589.25	c #Conflicts:     440000 | #Constraints:      54535
587.81/589.25	c INPROCESSING
587.81/589.25	c GARBAGE COLLECT
587.81/589.25	c rational objective 105
611.56/613.01	c #Conflicts:     441000 | #Constraints:      32167
611.56/613.01	c #Conflicts:     442000 | #Constraints:      33167
611.56/613.01	c #Conflicts:     443000 | #Constraints:      34167
611.56/613.01	c #Conflicts:     444000 | #Constraints:      35167
611.56/613.01	c #Conflicts:     445000 | #Constraints:      36167
611.56/613.01	c #Conflicts:     446000 | #Constraints:      37167
611.56/613.01	c #Conflicts:     447000 | #Constraints:      38167
611.56/613.01	c #Conflicts:     448000 | #Constraints:      39167
611.56/613.01	c #Conflicts:     449000 | #Constraints:      40167
611.56/613.01	c #Conflicts:     450000 | #Constraints:      41167
611.56/613.01	c #Conflicts:     451000 | #Constraints:      42167
611.56/613.01	c #Conflicts:     452000 | #Constraints:      43167
611.56/613.01	c #Conflicts:     453000 | #Constraints:      44167
611.56/613.01	c #Conflicts:     454000 | #Constraints:      45167
611.56/613.01	c #Conflicts:     455000 | #Constraints:      46167
611.56/613.01	c #Conflicts:     456000 | #Constraints:      47167
611.56/613.01	c INPROCESSING
611.56/613.01	c GARBAGE COLLECT
611.56/613.01	c rational objective 105
626.62/628.12	c #Conflicts:     457000 | #Constraints:      28699
626.62/628.12	c #Conflicts:     458000 | #Constraints:      29699
626.62/628.12	c #Conflicts:     459000 | #Constraints:      30699
626.62/628.12	c #Conflicts:     460000 | #Constraints:      31699
626.62/628.12	c #Conflicts:     461000 | #Constraints:      32699
626.62/628.12	c #Conflicts:     462000 | #Constraints:      33699
626.62/628.12	c #Conflicts:     463000 | #Constraints:      34699
626.62/628.12	c #Conflicts:     464000 | #Constraints:      35699
626.62/628.12	c #Conflicts:     465000 | #Constraints:      36699
626.62/628.12	c #Conflicts:     466000 | #Constraints:      37699
626.62/628.12	c #Conflicts:     467000 | #Constraints:      38699
626.62/628.12	c #Conflicts:     468000 | #Constraints:      39699
626.62/628.12	c #Conflicts:     469000 | #Constraints:      40699
626.62/628.12	c #Conflicts:     470000 | #Constraints:      41699
626.62/628.12	c #Conflicts:     471000 | #Constraints:      42699
626.62/628.12	c INPROCESSING
626.62/628.12	c GARBAGE COLLECT
626.62/628.12	c rational objective 105
716.38/718.15	c #Conflicts:     472000 | #Constraints:      25997
716.38/718.15	c #Conflicts:     473000 | #Constraints:      26997
716.38/718.15	c #Conflicts:     474000 | #Constraints:      27997
716.38/718.15	c #Conflicts:     475000 | #Constraints:      28997
716.38/718.15	c #Conflicts:     476000 | #Constraints:      29997
716.38/718.15	c #Conflicts:     477000 | #Constraints:      31000
716.38/718.15	c #Conflicts:     478000 | #Constraints:      32001
716.38/718.15	c #Conflicts:     479000 | #Constraints:      33003
716.38/718.15	c #Conflicts:     480000 | #Constraints:      34004
716.38/718.15	c #Conflicts:     481000 | #Constraints:      35006
716.38/718.15	c #Conflicts:     482000 | #Constraints:      36006
716.38/718.15	c #Conflicts:     483000 | #Constraints:      37006
716.38/718.15	c #Conflicts:     484000 | #Constraints:      38011
716.38/718.15	c #Conflicts:     485000 | #Constraints:      39011
716.38/718.15	c #Conflicts:     486000 | #Constraints:      40011
716.38/718.15	c #Conflicts:     487000 | #Constraints:      41011
716.38/718.15	c #Conflicts:     488000 | #Constraints:      42011
716.38/718.15	c #Conflicts:     489000 | #Constraints:      43012
716.38/718.15	c #Conflicts:     490000 | #Constraints:      44012
716.38/718.15	c #Conflicts:     491000 | #Constraints:      45012
716.38/718.16	c #Conflicts:     492000 | #Constraints:      46012
716.38/718.16	c #Conflicts:     493000 | #Constraints:      47012
716.38/718.16	c #Conflicts:     494000 | #Constraints:      48012
716.38/718.16	c #Conflicts:     495000 | #Constraints:      49012
716.38/718.16	c #Conflicts:     496000 | #Constraints:      50012
716.38/718.16	c #Conflicts:     497000 | #Constraints:      51012
716.38/718.16	c #Conflicts:     498000 | #Constraints:      52012
716.38/718.16	c #Conflicts:     499000 | #Constraints:      53012
716.38/718.16	c #Conflicts:     500000 | #Constraints:      54012
716.38/718.16	c #Conflicts:     501000 | #Constraints:      55012
716.38/718.16	c #Conflicts:     502000 | #Constraints:      56012
716.38/718.16	c #Conflicts:     503000 | #Constraints:      57012
716.38/718.16	c #Conflicts:     504000 | #Constraints:      58012
716.38/718.16	c #Conflicts:     505000 | #Constraints:      59012
716.38/718.16	c #Conflicts:     506000 | #Constraints:      60012
716.38/718.16	c #Conflicts:     507000 | #Constraints:      61012
716.38/718.16	c #Conflicts:     508000 | #Constraints:      62012
716.38/718.16	c #Conflicts:     509000 | #Constraints:      63012
716.38/718.16	c #Conflicts:     510000 | #Constraints:      64012
716.38/718.16	c #Conflicts:     511000 | #Constraints:      65013
716.38/718.16	c #Conflicts:     512000 | #Constraints:      66013
716.38/718.16	c #Conflicts:     513000 | #Constraints:      67013
716.38/718.16	c #Conflicts:     514000 | #Constraints:      68013
716.38/718.16	c #Conflicts:     515000 | #Constraints:      69013
716.38/718.16	c #Conflicts:     516000 | #Constraints:      70013
716.38/718.16	c #Conflicts:     517000 | #Constraints:      71014
716.38/718.16	c #Conflicts:     518000 | #Constraints:      72014
716.38/718.16	c #Conflicts:     519000 | #Constraints:      73014
716.38/718.16	c #Conflicts:     520000 | #Constraints:      74014
716.38/718.16	c #Conflicts:     521000 | #Constraints:      75014
716.38/718.16	c #Conflicts:     522000 | #Constraints:      76014
716.38/718.16	c #Conflicts:     523000 | #Constraints:      77014
716.38/718.16	c #Conflicts:     524000 | #Constraints:      78014
716.38/718.16	c INPROCESSING
716.38/718.16	c GARBAGE COLLECT
716.38/718.16	c rational objective 105
740.00/741.83	c #Conflicts:     525000 | #Constraints:      44105
740.00/741.83	c #Conflicts:     526000 | #Constraints:      45105
740.00/741.83	c #Conflicts:     527000 | #Constraints:      46105
740.00/741.83	c #Conflicts:     528000 | #Constraints:      47105
740.00/741.83	c #Conflicts:     529000 | #Constraints:      48105
740.00/741.83	c #Conflicts:     530000 | #Constraints:      49105
740.00/741.83	c #Conflicts:     531000 | #Constraints:      50106
740.00/741.83	c #Conflicts:     532000 | #Constraints:      51106
740.00/741.83	c #Conflicts:     533000 | #Constraints:      52106
740.00/741.83	c #Conflicts:     534000 | #Constraints:      53106
740.00/741.83	c #Conflicts:     535000 | #Constraints:      54106
740.00/741.83	c #Conflicts:     536000 | #Constraints:      55106
740.00/741.83	c #Conflicts:     537000 | #Constraints:      56106
740.00/741.83	c #Conflicts:     538000 | #Constraints:      57106
740.00/741.83	c #Conflicts:     539000 | #Constraints:      58106
740.00/741.83	c #Conflicts:     540000 | #Constraints:      59106
740.00/741.83	c #Conflicts:     541000 | #Constraints:      60106
740.00/741.83	c INPROCESSING
740.00/741.83	c GARBAGE COLLECT
740.00/741.83	c rational objective 105
761.84/763.77	c #Conflicts:     542000 | #Constraints:      35055
761.84/763.77	c #Conflicts:     543000 | #Constraints:      36055
761.84/763.77	c #Conflicts:     544000 | #Constraints:      37055
761.84/763.77	c #Conflicts:     545000 | #Constraints:      38055
761.84/763.77	c #Conflicts:     546000 | #Constraints:      39055
761.84/763.77	c #Conflicts:     547000 | #Constraints:      40055
761.84/763.77	c #Conflicts:     548000 | #Constraints:      41055
761.84/763.77	c #Conflicts:     549000 | #Constraints:      42056
761.84/763.77	c #Conflicts:     550000 | #Constraints:      43056
761.84/763.77	c #Conflicts:     551000 | #Constraints:      44056
761.84/763.77	c #Conflicts:     552000 | #Constraints:      45056
761.84/763.77	c #Conflicts:     553000 | #Constraints:      46057
761.84/763.77	c #Conflicts:     554000 | #Constraints:      47057
761.84/763.77	c #Conflicts:     555000 | #Constraints:      48057
761.84/763.77	c #Conflicts:     556000 | #Constraints:      49057
761.84/763.77	c #Conflicts:     557000 | #Constraints:      50057
761.84/763.77	c #Conflicts:     558000 | #Constraints:      51057
761.84/763.77	c INPROCESSING
761.84/763.77	c GARBAGE COLLECT
761.84/763.77	c rational objective 105
782.10/784.02	c #Conflicts:     559000 | #Constraints:      30310
782.10/784.02	c #Conflicts:     560000 | #Constraints:      31310
782.10/784.02	c #Conflicts:     561000 | #Constraints:      32310
782.10/784.02	c #Conflicts:     562000 | #Constraints:      33310
782.10/784.02	c #Conflicts:     563000 | #Constraints:      34310
782.10/784.02	c #Conflicts:     564000 | #Constraints:      35310
782.10/784.02	c #Conflicts:     565000 | #Constraints:      36311
782.10/784.02	c #Conflicts:     566000 | #Constraints:      37311
782.10/784.02	c #Conflicts:     567000 | #Constraints:      38311
782.10/784.02	c #Conflicts:     568000 | #Constraints:      39311
782.10/784.02	c #Conflicts:     569000 | #Constraints:      40311
782.10/784.02	c #Conflicts:     570000 | #Constraints:      41311
782.10/784.02	c #Conflicts:     571000 | #Constraints:      42311
782.10/784.02	c #Conflicts:     572000 | #Constraints:      43311
782.10/784.02	c #Conflicts:     573000 | #Constraints:      44311
782.10/784.02	c #Conflicts:     574000 | #Constraints:      45311
782.10/784.02	c #Conflicts:     575000 | #Constraints:      46311
782.10/784.02	c #Conflicts:     576000 | #Constraints:      47311
782.10/784.02	c INPROCESSING
782.10/784.02	c GARBAGE COLLECT
782.10/784.02	c rational objective 105
868.75/870.97	c #Conflicts:     577000 | #Constraints:      28665
868.75/870.97	c #Conflicts:     578000 | #Constraints:      29665
868.75/870.97	c #Conflicts:     579000 | #Constraints:      30665
868.75/870.97	c #Conflicts:     580000 | #Constraints:      31665
868.75/870.97	c #Conflicts:     581000 | #Constraints:      32665
868.75/870.97	c #Conflicts:     582000 | #Constraints:      33665
868.75/870.97	c #Conflicts:     583000 | #Constraints:      34665
868.75/870.97	c #Conflicts:     584000 | #Constraints:      35665
868.75/870.97	c #Conflicts:     585000 | #Constraints:      36665
868.75/870.97	c #Conflicts:     586000 | #Constraints:      37665
868.75/870.97	c #Conflicts:     587000 | #Constraints:      38665
868.75/870.97	c #Conflicts:     588000 | #Constraints:      39665
868.75/870.97	c #Conflicts:     589000 | #Constraints:      40665
868.75/870.97	c #Conflicts:     590000 | #Constraints:      41665
868.75/870.97	c #Conflicts:     591000 | #Constraints:      42666
868.75/870.97	c #Conflicts:     592000 | #Constraints:      43666
868.75/870.97	c #Conflicts:     593000 | #Constraints:      44666
868.75/870.97	c #Conflicts:     594000 | #Constraints:      45666
868.75/870.97	c #Conflicts:     595000 | #Constraints:      46666
868.75/870.97	c #Conflicts:     596000 | #Constraints:      47666
868.75/870.97	c #Conflicts:     597000 | #Constraints:      48666
868.75/870.97	c #Conflicts:     598000 | #Constraints:      49666
868.75/870.97	c #Conflicts:     599000 | #Constraints:      50666
868.75/870.97	c #Conflicts:     600000 | #Constraints:      51666
868.75/870.97	c #Conflicts:     601000 | #Constraints:      52666
868.75/870.97	c #Conflicts:     602000 | #Constraints:      53666
868.75/870.97	c #Conflicts:     603000 | #Constraints:      54666
868.75/870.97	c #Conflicts:     604000 | #Constraints:      55666
868.75/870.97	c #Conflicts:     605000 | #Constraints:      56666
868.75/870.97	c #Conflicts:     606000 | #Constraints:      57666
868.75/870.97	c #Conflicts:     607000 | #Constraints:      58666
868.75/870.97	c #Conflicts:     608000 | #Constraints:      59666
868.75/870.97	c #Conflicts:     609000 | #Constraints:      60666
868.75/870.97	c #Conflicts:     610000 | #Constraints:      61666
868.75/870.97	c #Conflicts:     611000 | #Constraints:      62666
868.75/870.97	c #Conflicts:     612000 | #Constraints:      63666
868.75/870.97	c #Conflicts:     613000 | #Constraints:      64666
868.75/870.97	c #Conflicts:     614000 | #Constraints:      65666
868.75/870.97	c #Conflicts:     615000 | #Constraints:      66666
868.75/870.97	c #Conflicts:     616000 | #Constraints:      67666
868.75/870.97	c #Conflicts:     617000 | #Constraints:      68666
868.75/870.97	c #Conflicts:     618000 | #Constraints:      69666
868.75/870.97	c #Conflicts:     619000 | #Constraints:      70666
868.75/870.97	c #Conflicts:     620000 | #Constraints:      71666
868.75/870.97	c #Conflicts:     621000 | #Constraints:      72666
868.75/870.97	c #Conflicts:     622000 | #Constraints:      73667
868.75/870.97	c #Conflicts:     623000 | #Constraints:      74667
868.75/870.97	c #Conflicts:     624000 | #Constraints:      75667
868.75/870.97	c #Conflicts:     625000 | #Constraints:      76668
868.75/870.97	c #Conflicts:     626000 | #Constraints:      77668
868.75/870.97	c #Conflicts:     627000 | #Constraints:      78668
868.75/870.97	c #Conflicts:     628000 | #Constraints:      79668
868.75/870.97	c #Conflicts:     629000 | #Constraints:      80668
868.75/870.97	c #Conflicts:     630000 | #Constraints:      81668
868.75/870.97	c #Conflicts:     631000 | #Constraints:      82668
868.75/870.97	c #Conflicts:     632000 | #Constraints:      83668
868.75/870.97	c #Conflicts:     633000 | #Constraints:      84668
868.75/870.97	c INPROCESSING
868.75/870.97	c GARBAGE COLLECT
868.75/870.97	c rational objective 105
903.65/906.00	c #Conflicts:     634000 | #Constraints:      47156
903.65/906.00	c #Conflicts:     635000 | #Constraints:      48156
903.65/906.00	c #Conflicts:     636000 | #Constraints:      49158
903.65/906.00	c #Conflicts:     637000 | #Constraints:      50159
903.65/906.00	c #Conflicts:     638000 | #Constraints:      51159
903.65/906.00	c #Conflicts:     639000 | #Constraints:      52159
903.65/906.00	c #Conflicts:     640000 | #Constraints:      53159
903.65/906.00	c #Conflicts:     641000 | #Constraints:      54160
903.65/906.00	c #Conflicts:     642000 | #Constraints:      55160
903.65/906.00	c #Conflicts:     643000 | #Constraints:      56160
903.65/906.00	c #Conflicts:     644000 | #Constraints:      57160
903.65/906.00	c #Conflicts:     645000 | #Constraints:      58160
903.65/906.00	c #Conflicts:     646000 | #Constraints:      59160
903.65/906.00	c #Conflicts:     647000 | #Constraints:      60160
903.65/906.00	c #Conflicts:     648000 | #Constraints:      61160
903.65/906.00	c #Conflicts:     649000 | #Constraints:      62160
903.65/906.00	c #Conflicts:     650000 | #Constraints:      63161
903.65/906.00	c #Conflicts:     651000 | #Constraints:      64161
903.65/906.00	c #Conflicts:     652000 | #Constraints:      65161
903.65/906.00	c INPROCESSING
903.65/906.00	c GARBAGE COLLECT
903.65/906.00	c rational objective 105
929.47/931.82	c #Conflicts:     653000 | #Constraints:      37440
929.47/931.82	c #Conflicts:     654000 | #Constraints:      38441
929.47/931.82	c #Conflicts:     655000 | #Constraints:      39441
929.47/931.82	c #Conflicts:     656000 | #Constraints:      40441
929.47/931.82	c #Conflicts:     657000 | #Constraints:      41441
929.47/931.82	c #Conflicts:     658000 | #Constraints:      42441
929.47/931.82	c #Conflicts:     659000 | #Constraints:      43441
929.47/931.82	c #Conflicts:     660000 | #Constraints:      44441
929.47/931.82	c #Conflicts:     661000 | #Constraints:      45441
929.47/931.82	c #Conflicts:     662000 | #Constraints:      46441
929.47/931.82	c #Conflicts:     663000 | #Constraints:      47441
929.47/931.82	c #Conflicts:     664000 | #Constraints:      48441
929.47/931.82	c #Conflicts:     665000 | #Constraints:      49441
929.47/931.82	c #Conflicts:     666000 | #Constraints:      50441
929.47/931.82	c #Conflicts:     667000 | #Constraints:      51441
929.47/931.82	c #Conflicts:     668000 | #Constraints:      52441
929.47/931.82	c #Conflicts:     669000 | #Constraints:      53441
929.47/931.82	c #Conflicts:     670000 | #Constraints:      54441
929.47/931.82	c #Conflicts:     671000 | #Constraints:      55441
929.47/931.82	c INPROCESSING
929.47/931.82	c GARBAGE COLLECT
929.47/931.82	c rational objective 105
946.03/948.48	c #Conflicts:     672000 | #Constraints:      32565
946.03/948.48	c #Conflicts:     673000 | #Constraints:      33565
946.03/948.48	c #Conflicts:     674000 | #Constraints:      34565
946.03/948.48	c #Conflicts:     675000 | #Constraints:      35566
946.03/948.48	c #Conflicts:     676000 | #Constraints:      36566
946.03/948.48	c #Conflicts:     677000 | #Constraints:      37567
946.03/948.48	c #Conflicts:     678000 | #Constraints:      38567
946.03/948.48	c #Conflicts:     679000 | #Constraints:      39567
946.03/948.48	c #Conflicts:     680000 | #Constraints:      40567
946.03/948.48	c #Conflicts:     681000 | #Constraints:      41567
946.03/948.48	c #Conflicts:     682000 | #Constraints:      42567
946.03/948.48	c #Conflicts:     683000 | #Constraints:      43567
946.03/948.48	c #Conflicts:     684000 | #Constraints:      44567
946.03/948.48	c #Conflicts:     685000 | #Constraints:      45567
946.03/948.48	c #Conflicts:     686000 | #Constraints:      46567
946.03/948.48	c #Conflicts:     687000 | #Constraints:      47567
946.03/948.48	c cpu time 931.714 s
946.03/948.48	c deterministic time 91322267589 9.13e+10
946.03/948.48	c optimization time 8.8e-05 s
946.03/948.48	c total solve time 931.69 s
946.03/948.48	c core-guided solve time 0 s
946.03/948.48	c propagation time 563.075 s
946.03/948.48	c conflict analysis time 194.588 s
946.03/948.48	c propagations 261016790
946.03/948.48	c resolve steps 22170068
946.03/948.48	c decisions 6836237
946.03/948.48	c conflicts 687255
946.03/948.48	c restarts 1498
946.03/948.48	c inprocessing phases 46
946.03/948.48	c input clauses 7247
946.03/948.48	c input cardinalities 105
946.03/948.48	c input general constraints 0
946.03/948.48	c input average constraint length 6.24
946.03/948.48	c input average constraint degree 1.94
946.03/948.48	c learned clauses 449035
946.03/948.48	c learned cardinalities 21084
946.03/948.48	c learned general constraints 217291
946.03/948.48	c learned average constraint length 718.35
946.03/948.48	c learned average constraint degree 51262934.98
946.03/948.48	c watched constraints 171124
946.03/948.48	c counting constraints 46167
946.03/948.48	c gcd simplifications 1745
946.03/948.48	c detected cardinalities 1928
946.03/948.48	c weakened non-implied lits 89884958
946.03/948.48	c weakened non-implying lits 155409
946.03/948.48	c original variables 7140
946.03/948.48	c clausal propagations 101790522
946.03/948.48	c cardinality propagations 93654284
946.03/948.48	c watched propagations 16994393
946.03/948.48	c counting propagations 45630003
946.03/948.48	c watch lookups 6886214400
946.03/948.48	c watch backjump lookups 5576501743
946.03/948.48	c watch checks 60692328552
946.03/948.48	c propagation checks 16176041322
946.03/948.48	c constraint additions 1453806458
946.03/948.48	c trail pops 268539707
946.03/948.48	c formula constraints 7352
946.03/948.48	c learned constraints 687170
946.03/948.48	c bound constraints 0
946.03/948.48	c core-guided constraints 0
946.03/948.48	c encountered formula constraints 13764196
946.03/948.48	c encountered learned constraints 9091715
946.03/948.48	c encountered bound constraints 0
946.03/948.48	c encountered core-guided constraints 0
946.03/948.48	c LP total time 349.73 s
946.03/948.48	c LP solve time 322.31 s
946.03/948.48	c LP constraints added 9556
946.03/948.48	c LP constraints removed 2154
946.03/948.48	c LP pivots internal 691217
946.03/948.48	c LP pivots root 291162
946.03/948.48	c LP calls 201
946.03/948.48	c LP optimalities 74
946.03/948.48	c LP no pivot count 0
946.03/948.48	c LP infeasibilities 121
946.03/948.48	c LP valid Farkas constraints 119
946.03/948.48	c LP learned Farkas constraints 85
946.03/948.48	c LP basis resets 3
946.03/948.48	c LP cycling count 0
946.03/948.48	c LP singular count 1
946.03/948.48	c LP no primal count 0
946.03/948.48	c LP no farkas count 2
946.03/948.48	c LP other issue count 0
946.03/948.48	c LP Gomory cuts 36
946.03/948.48	c LP learned cuts 2168
946.03/948.48	c LP deleted cuts 2154
946.03/948.48	c LP encountered Gomory constraints 24
946.03/948.48	c LP encountered Farkas constraints 987
946.03/948.48	c LP encountered learned Farkas constraints 316
946.03/948.48	c CG auxiliary variables introduced 0
946.03/948.48	c CG solutions found 0
946.03/948.48	c CG cores constructed 0
946.03/948.48	c CG core cardinality constraints returned 0
946.03/948.48	c CG unit cores 0
946.03/948.48	c CG single cores 0
946.03/948.48	c CG blocks removed during cardinality reduction 0
946.03/948.48	c CG first core best 0
946.03/948.48	c CG decision core best 0
946.03/948.48	c CG core reduction tie 0
946.03/948.48	c CG core degree average 0.00
946.03/948.48	c CG core slack average 0.00
946.03/948.48	s SATISFIABLE
946.03/948.48	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

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 (62045 MiB free)
  memory of node 1: 64510 MiB (62378 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447150-1721347856/watcher-4447150-1721347856 -o /tmp/evaluation-result-4447150-1721347856/solver-4447150-1721347856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721340648-974810 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4447150-1721347856.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=978777, runsolver pid=978774

[startup+0.100069 s]*
/proc/loadavg: 4.11 4.14 4.16 5/239 978787
/proc/meminfo: memFree=127781896/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=49716 memory=20524 CPUtime=0.11 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 3820 0 0 0 10 1 0 0 20 0 1 0 186945137 50909184 5131 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 12429 5131 1690 922 0 4381 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 49716 KiB
Current children cumulated memory: 20524 KiB

[startup+0.213084 s]*
/proc/loadavg: 4.11 4.14 4.16 4/235 978800
/proc/meminfo: memFree=128218156/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=50440 memory=21052 CPUtime=0.22 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 3997 0 0 0 21 1 0 0 20 0 1 0 186945137 51650560 5263 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 12610 5263 1690 922 0 4562 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 50440 KiB
Current children cumulated memory: 21052 KiB

[startup+0.312005 s]*
/proc/loadavg: 4.11 4.14 4.16 4/240 978824
/proc/meminfo: memFree=128213264/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=50804 memory=21580 CPUtime=0.31 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 4095 0 0 0 30 1 0 0 20 0 1 0 186945137 52023296 5395 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 12701 5395 1690 922 0 4653 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50804 KiB
Current children cumulated memory: 21580 KiB

[startup+0.700277 s]
/proc/loadavg: 4.11 4.14 4.16 5/238 978843
/proc/meminfo: memFree=128219008/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=50804 memory=21580 CPUtime=0.68 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 4130 0 0 0 67 1 0 0 20 0 1 0 186945137 52023296 5395 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 12701 5395 1690 922 0 4653 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50804 KiB
Current children cumulated memory: 21580 KiB

[startup+1.50026 s]
/proc/loadavg: 4.11 4.14 4.16 5/243 978856
/proc/meminfo: memFree=128200252/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=52888 memory=25648 CPUtime=1.48 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 4575 0 0 0 141 7 0 0 20 0 1 0 186945137 54157312 6412 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 13222 6412 1737 922 0 5174 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52888 KiB
Current children cumulated memory: 25648 KiB

[startup+3.11338 s]
/proc/loadavg: 4.10 4.13 4.16 5/243 978856
/proc/meminfo: memFree=128189736/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=52888 memory=25648 CPUtime=3.09 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 4596 0 0 0 300 9 0 0 20 0 1 0 186945137 54157312 6412 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 13222 6412 1737 922 0 5174 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52888 KiB
Current children cumulated memory: 25648 KiB

[startup+6.30024 s]
/proc/loadavg: 4.10 4.13 4.16 5/243 978902
/proc/meminfo: memFree=129045708/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=70980 memory=44680 CPUtime=6.26 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 9101 0 0 0 615 11 0 0 20 0 1 0 186945137 72683520 11170 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 17745 11170 1753 922 0 9697 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 70980 KiB
Current children cumulated memory: 44680 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 978904
/proc/meminfo: memFree=129007468/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=80088 memory=53832 CPUtime=12.66 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 11563 0 0 0 1233 33 0 0 20 0 1 0 186945137 82010112 13458 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 20022 13458 1804 922 0 11974 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 80088 KiB
Current children cumulated memory: 53832 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.14 4.16 5/243 978905
/proc/meminfo: memFree=128977040/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=94476 memory=61776 CPUtime=25.43 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 13061 0 0 0 2485 58 0 0 20 0 1 0 186945137 96743424 15444 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 23619 15444 1804 922 0 15571 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 94476 KiB
Current children cumulated memory: 61776 KiB

[startup+51.1133 s]
/proc/loadavg: 4.15 4.14 4.16 5/243 978956
/proc/meminfo: memFree=128956280/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=94940 memory=66684 CPUtime=50.99 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 13785 0 0 0 4989 110 0 0 20 0 1 0 186945137 97218560 16671 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 23735 16671 1804 922 0 15687 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 94940 KiB
Current children cumulated memory: 66684 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 979010
/proc/meminfo: memFree=128895060/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=142848 memory=112412 CPUtime=102.06 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 19995 0 0 0 9989 217 0 0 20 0 1 0 186945137 146276352 28103 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 35712 28103 1820 922 0 27664 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 142848 KiB
Current children cumulated memory: 112412 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/244 979021
/proc/meminfo: memFree=128726992/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=183532 memory=150724 CPUtime=161.92 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 22944 0 0 0 15855 337 0 0 20 0 1 0 186945137 187936768 37681 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 45883 37681 1820 922 0 37835 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 183532 KiB
Current children cumulated memory: 150724 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.11 4.15 5/244 979032
/proc/meminfo: memFree=128640464/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=188712 memory=155804 CPUtime=221.79 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 25440 0 0 0 21723 456 0 0 20 0 1 0 186945137 193241088 38951 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 47178 38951 1820 922 0 39130 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 188712 KiB
Current children cumulated memory: 155804 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/244 979088
/proc/meminfo: memFree=128541520/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=245212 memory=188092 CPUtime=281.65 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 27850 0 0 0 27626 539 0 0 20 0 1 0 186945137 251097088 47023 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 61303 47023 1820 922 0 53255 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 245212 KiB
Current children cumulated memory: 188092 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/242 979099
/proc/meminfo: memFree=128469212/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=252960 memory=222500 CPUtime=341.52 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 29854 0 0 0 33521 631 0 0 20 0 1 0 186945137 259031040 55625 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 63240 55625 1820 922 0 55192 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 252960 KiB
Current children cumulated memory: 222500 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/242 979200
/proc/meminfo: memFree=128576512/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=254720 memory=226624 CPUtime=401.35 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 32299 0 0 0 39397 738 0 0 20 0 1 0 186945137 260833280 56656 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 63680 56656 1820 922 0 55632 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 254720 KiB
Current children cumulated memory: 226624 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/241 979210
/proc/meminfo: memFree=128452464/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=347408 memory=296844 CPUtime=461.2 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 35669 0 0 0 45303 817 0 0 20 0 1 0 186945137 355745792 74211 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 86852 74211 1820 922 0 78804 0
Current children cumulated CPU time: 461.2 s
Current children cumulated vsize: 347408 KiB
Current children cumulated memory: 296844 KiB

[startup+522.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/241 979313
/proc/meminfo: memFree=128588132/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=344916 memory=295028 CPUtime=521.08 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 36577 0 0 0 51202 906 0 0 20 0 1 0 186945137 353193984 73757 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 86229 73757 1951 922 0 78181 0
Current children cumulated CPU time: 521.08 s
Current children cumulated vsize: 344916 KiB
Current children cumulated memory: 295028 KiB

[startup+582.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/243 979327
/proc/meminfo: memFree=128431008/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=344916 memory=295064 CPUtime=580.93 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 36716 0 0 0 57125 968 0 0 20 0 1 0 186945137 353193984 73766 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 86229 73766 1951 922 0 78181 0
Current children cumulated CPU time: 580.93 s
Current children cumulated vsize: 344916 KiB
Current children cumulated memory: 295064 KiB

[startup+642.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/243 979337
/proc/meminfo: memFree=128376692/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=353896 memory=304000 CPUtime=640.77 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 41285 0 0 0 63036 1041 0 0 20 0 1 0 186945137 362389504 76000 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 88474 76000 1951 922 0 80426 0
Current children cumulated CPU time: 640.77 s
Current children cumulated vsize: 353896 KiB
Current children cumulated memory: 304000 KiB

[startup+702.3 s]
/proc/loadavg: 4.14 4.11 4.12 5/243 979348
/proc/meminfo: memFree=128222932/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=499984 memory=443676 CPUtime=700.62 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 45183 0 0 0 68966 1096 0 0 20 0 1 0 186945137 511983616 110919 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 124996 110919 1951 922 0 116948 0
Current children cumulated CPU time: 700.62 s
Current children cumulated vsize: 499984 KiB
Current children cumulated memory: 443676 KiB

[startup+762.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/243 979358
/proc/meminfo: memFree=128191716/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=508232 memory=465444 CPUtime=760.45 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 47050 0 0 0 74870 1175 0 0 20 0 1 0 186945137 520429568 116361 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 127058 116361 1951 922 0 119010 0
Current children cumulated CPU time: 760.45 s
Current children cumulated vsize: 508232 KiB
Current children cumulated memory: 465444 KiB

[startup+822.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/243 979369
/proc/meminfo: memFree=128176528/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=508232 memory=465444 CPUtime=820.29 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 47093 0 0 0 80749 1280 0 0 20 0 1 0 186945137 520429568 116361 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 127058 116361 1951 922 0 119010 0
Current children cumulated CPU time: 820.29 s
Current children cumulated vsize: 508232 KiB
Current children cumulated memory: 465444 KiB

[startup+882.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/245 979763
/proc/meminfo: memFree=128152384/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=514720 memory=472064 CPUtime=880.11 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 48867 0 0 0 86666 1345 0 0 20 0 1 0 186945137 527073280 118016 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 128680 118016 1951 922 0 120632 0
Current children cumulated CPU time: 880.11 s
Current children cumulated vsize: 514720 KiB
Current children cumulated memory: 472064 KiB

[startup+942.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/243 979774
/proc/meminfo: memFree=128148032/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=516016 memory=473484 CPUtime=939.95 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 49229 0 0 0 92567 1428 0 0 20 0 1 0 186945137 528400384 118371 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 129004 118371 1951 922 0 120956 0
Current children cumulated CPU time: 939.95 s
Current children cumulated vsize: 516016 KiB
Current children cumulated memory: 473484 KiB

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

# cumulated CPU time of all completed processes:  user=931.717 s, system=14.4143 s

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

[startup+944 s]*
/proc/loadavg: 4.11 4.10 4.10 5/243 979774
/proc/meminfo: memFree=128148032/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=516016 memory=473484 CPUtime=941.65 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 49229 0 0 0 92733 1432 0 0 20 0 1 0 186945137 528400384 118371 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 129004 118371 1951 922 0 120956 0
Current children cumulated CPU time: 941.65 s
Current children cumulated vsize: 516016 KiB
Current children cumulated memory: 473484 KiB

[startup+945.6 s]
/proc/loadavg: 4.11 4.10 4.10 5/243 979774
/proc/meminfo: memFree=128147544/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=516016 memory=473484 CPUtime=943.24 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 49229 0 0 0 92888 1436 0 0 20 0 1 0 186945137 528400384 118371 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 129004 118371 1951 922 0 120956 0
Current children cumulated CPU time: 943.24 s
Current children cumulated vsize: 516016 KiB
Current children cumulated memory: 473484 KiB

[startup+947.2 s]
/proc/loadavg: 4.11 4.10 4.10 5/243 979774
/proc/meminfo: memFree=128147928/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=516016 memory=473484 CPUtime=944.83 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 49229 0 0 0 93045 1438 0 0 20 0 1 0 186945137 528400384 118371 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 129004 118371 1951 922 0 120956 0
Current children cumulated CPU time: 944.83 s
Current children cumulated vsize: 516016 KiB
Current children cumulated memory: 473484 KiB

[startup+948 s]*
/proc/loadavg: 4.10 4.10 4.10 5/243 979774
/proc/meminfo: memFree=128147496/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=516016 memory=473484 CPUtime=945.65 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 49229 0 0 0 93125 1440 0 0 20 0 1 0 186945137 528400384 118371 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 129004 118371 1951 922 0 120956 0
Current children cumulated CPU time: 945.65 s
Current children cumulated vsize: 516016 KiB
Current children cumulated memory: 473484 KiB

[startup+948.4 s]
/proc/loadavg: 4.10 4.10 4.10 5/243 979774
/proc/meminfo: memFree=128147496/131655788 swapFree=131071996/131071996
[pid=978777] ppid=978774 vsize=516016 memory=473484 CPUtime=946.03 cores=1,3
/proc/978777/stat : 978777 (roundingsat) R 978774 978777 974798 0 -1 4194304 49229 0 0 0 93163 1440 0 0 20 0 1 0 186945137 528400384 118371 134679101440 4194304 7968869 140727582424224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 36298752 140727582426045 140727582426209 140727582426209 140727582433225 0
/proc/978777/statm: 129004 118371 1951 922 0 120956 0
Current children cumulated CPU time: 946.03 s
Current children cumulated vsize: 516016 KiB
Current children cumulated memory: 473484 KiB

Child status: 0

Real time (s): 948.493
CPU time (s): 946.132
CPU user time (s): 931.717
CPU system time (s): 14.4143
CPU usage (%): 99.751
Max. virtual memory (cumulated for all children) (KiB): 516016
Max. memory (cumulated for all children) (KiB): 473484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 931.717
system time used= 14.4143
maximum resident set size= 473484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49237
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61
involuntary context switches= 796


# summary of solver processes directly reported to runsolver:
#   pid: 978777
#   total CPU time (s): 946.132
#   total CPU user time (s): 931.717
#   total CPU system time (s): 14.4143

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.4918 second user time and 8.88803 second system time

The end

Begin job on nodeC009 at 2024-07-19 02:11:07
IDJOB=4447150
IDBENCH=158365
IDSOLVER=3051
FILE ID=nodeC009/4447150-1721347856
RUNJOBID= nodeC009-1721340648-974810
SLURM_JOB_ID= 7542726
Free space on /tmp= 723752 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447150-1721347856/watcher-4447150-1721347856 -o /tmp/evaluation-result-4447150-1721347856/solver-4447150-1721347856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721340648-974810 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4447150-1721347856.opb

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

MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645
RANDOM SEED=213681779

nodeC009.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		: 3641.606
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3495.288
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.27
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.461
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.320
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.27
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		: 3493.244
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3546.466
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.27
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.330
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.400
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.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127409788 kB
MemAvailable:   128188128 kB
Buffers:          534808 kB
Cached:          1080992 kB
SwapCached:            0 kB
Active:          1039536 kB
Inactive:        2657960 kB
Active(anon):       1460 kB
Inactive(anon):  2117652 kB
Active(file):    1038076 kB
Inactive(file):   540308 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5376 kB
Writeback:             0 kB
AnonPages:       2079816 kB
Mapped:           113900 kB
Shmem:             37700 kB
KReclaimable:      79976 kB
Slab:             179768 kB
SReclaimable:      79976 kB
SUnreclaim:        99792 kB
KernelStack:        3936 kB
PageTables:        13720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2955936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58912 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1099776 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723748 MiB
End job on nodeC009 at 2024-07-19 02:26:56