0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.04	c #variables 5576 #constraints 5742
13.44/13.59	c #Conflicts:       1000 | #Constraints:       6741
13.44/13.59	c #Conflicts:       2000 | #Constraints:       7741
13.44/13.59	c INPROCESSING
13.44/13.59	c GARBAGE COLLECT
13.44/13.59	c #Conflicts:       3000 | #Constraints:       7423
13.44/13.59	c #Conflicts:       4000 | #Constraints:       8423
13.44/13.59	c INPROCESSING
13.44/13.59	c GARBAGE COLLECT
13.44/13.59	c #Conflicts:       5000 | #Constraints:       7894
13.44/13.59	c #Conflicts:       6000 | #Constraints:       8894
13.44/13.59	c INPROCESSING
13.44/13.59	c GARBAGE COLLECT
13.44/13.59	c #Conflicts:       7000 | #Constraints:       7933
13.44/13.59	c #Conflicts:       8000 | #Constraints:       8933
13.44/13.59	c #Conflicts:       9000 | #Constraints:       9933
13.44/13.59	c INPROCESSING
13.44/13.59	c GARBAGE COLLECT
13.44/13.59	c rational objective 82
25.42/25.54	c #Conflicts:      10000 | #Constraints:       8691
25.42/25.54	c #Conflicts:      11000 | #Constraints:       9691
25.42/25.54	c #Conflicts:      12000 | #Constraints:      10692
25.42/25.54	c INPROCESSING
25.42/25.54	c GARBAGE COLLECT
25.42/25.54	c #Conflicts:      13000 | #Constraints:       9186
25.42/25.54	c #Conflicts:      14000 | #Constraints:      10186
25.42/25.54	c #Conflicts:      15000 | #Constraints:      11186
25.42/25.54	c INPROCESSING
25.42/25.54	c GARBAGE COLLECT
25.42/25.54	c #Conflicts:      16000 | #Constraints:       9457
25.42/25.54	c #Conflicts:      17000 | #Constraints:      10457
25.42/25.54	c #Conflicts:      18000 | #Constraints:      11457
25.42/25.54	c INPROCESSING
25.42/25.54	c GARBAGE COLLECT
25.42/25.54	c #Conflicts:      19000 | #Constraints:       9475
25.42/25.54	c #Conflicts:      20000 | #Constraints:      10475
25.42/25.54	c #Conflicts:      21000 | #Constraints:      11475
25.42/25.54	c INPROCESSING
25.42/25.54	c GARBAGE COLLECT
25.42/25.54	c #Conflicts:      22000 | #Constraints:       9218
25.42/25.54	c #Conflicts:      23000 | #Constraints:      10218
25.42/25.54	c #Conflicts:      24000 | #Constraints:      11218
25.42/25.54	c #Conflicts:      25000 | #Constraints:      12218
25.42/25.54	c INPROCESSING
25.42/25.54	c GARBAGE COLLECT
25.42/25.54	c rational objective 82
28.02/28.16	c #Conflicts:      26000 | #Constraints:       9850
28.02/28.16	c #Conflicts:      27000 | #Constraints:      10850
28.02/28.16	c #Conflicts:      28000 | #Constraints:      11850
28.02/28.16	c #Conflicts:      29000 | #Constraints:      12850
28.02/28.16	c INPROCESSING
28.02/28.16	c GARBAGE COLLECT
28.02/28.16	c rational objective 82
53.66/53.81	c #Conflicts:      30000 | #Constraints:      10291
53.66/53.81	c #Conflicts:      31000 | #Constraints:      11291
53.66/53.81	c #Conflicts:      32000 | #Constraints:      12291
53.66/53.81	c #Conflicts:      33000 | #Constraints:      13291
53.66/53.81	c INPROCESSING
53.66/53.81	c GARBAGE COLLECT
53.66/53.81	c #Conflicts:      34000 | #Constraints:      10528
53.66/53.81	c #Conflicts:      35000 | #Constraints:      11528
53.66/53.81	c #Conflicts:      36000 | #Constraints:      12528
53.66/53.81	c #Conflicts:      37000 | #Constraints:      13528
53.66/53.81	c INPROCESSING
53.66/53.81	c GARBAGE COLLECT
53.66/53.81	c #Conflicts:      38000 | #Constraints:      10540
53.66/53.81	c #Conflicts:      39000 | #Constraints:      11540
53.66/53.81	c #Conflicts:      40000 | #Constraints:      12540
53.66/53.81	c #Conflicts:      41000 | #Constraints:      13540
53.66/53.81	c INPROCESSING
53.66/53.81	c GARBAGE COLLECT
53.66/53.81	c #Conflicts:      42000 | #Constraints:      10388
53.66/53.81	c #Conflicts:      43000 | #Constraints:      11389
53.66/53.81	c #Conflicts:      44000 | #Constraints:      12389
53.66/53.81	c #Conflicts:      45000 | #Constraints:      13390
53.66/53.81	c #Conflicts:      46000 | #Constraints:      14390
53.66/53.81	c INPROCESSING
53.66/53.81	c GARBAGE COLLECT
53.66/53.81	c rational objective 82
57.14/57.33	c #Conflicts:      47000 | #Constraints:      10984
57.14/57.33	c #Conflicts:      48000 | #Constraints:      11984
57.14/57.33	c #Conflicts:      49000 | #Constraints:      12984
57.14/57.33	c #Conflicts:      50000 | #Constraints:      13984
57.14/57.33	c #Conflicts:      51000 | #Constraints:      14984
57.14/57.33	c INPROCESSING
57.14/57.33	c GARBAGE COLLECT
57.14/57.33	c rational objective 82
66.72/66.96	c #Conflicts:      52000 | #Constraints:      11421
66.72/66.96	c #Conflicts:      53000 | #Constraints:      12421
66.72/66.96	c #Conflicts:      54000 | #Constraints:      13421
66.72/66.96	c #Conflicts:      55000 | #Constraints:      14421
66.72/66.96	c #Conflicts:      56000 | #Constraints:      15422
66.72/66.96	c INPROCESSING
66.72/66.96	c GARBAGE COLLECT
66.72/66.96	c rational objective 82
86.77/87.08	c #Conflicts:      57000 | #Constraints:      11608
86.77/87.08	c #Conflicts:      58000 | #Constraints:      12609
86.77/87.08	c #Conflicts:      59000 | #Constraints:      13610
86.77/87.08	c #Conflicts:      60000 | #Constraints:      14610
86.77/87.08	c #Conflicts:      61000 | #Constraints:      15610
86.77/87.08	c INPROCESSING
86.77/87.08	c GARBAGE COLLECT
86.77/87.08	c #Conflicts:      62000 | #Constraints:      11586
86.77/87.08	c #Conflicts:      63000 | #Constraints:      12586
86.77/87.08	c #Conflicts:      64000 | #Constraints:      13586
86.77/87.08	c #Conflicts:      65000 | #Constraints:      14586
86.77/87.08	c #Conflicts:      66000 | #Constraints:      15586
86.77/87.08	c INPROCESSING
86.77/87.08	c GARBAGE COLLECT
86.77/87.08	c #Conflicts:      67000 | #Constraints:      11426
86.77/87.08	c #Conflicts:      68000 | #Constraints:      12426
86.77/87.08	c #Conflicts:      69000 | #Constraints:      13426
86.77/87.08	c #Conflicts:      70000 | #Constraints:      14426
86.77/87.08	c #Conflicts:      71000 | #Constraints:      15426
86.77/87.08	c #Conflicts:      72000 | #Constraints:      16426
86.77/87.08	c INPROCESSING
86.77/87.08	c GARBAGE COLLECT
86.77/87.08	c #Conflicts:      73000 | #Constraints:      12055
86.77/87.08	c #Conflicts:      74000 | #Constraints:      13055
86.77/87.08	c #Conflicts:      75000 | #Constraints:      14056
86.77/87.08	c #Conflicts:      76000 | #Constraints:      15056
86.77/87.08	c #Conflicts:      77000 | #Constraints:      16056
86.77/87.08	c #Conflicts:      78000 | #Constraints:      17056
86.77/87.08	c INPROCESSING
86.77/87.08	c GARBAGE COLLECT
86.77/87.08	c rational objective 82
122.08/122.48	c #Conflicts:      79000 | #Constraints:      12460
122.08/122.48	c #Conflicts:      80000 | #Constraints:      13460
122.08/122.48	c #Conflicts:      81000 | #Constraints:      14460
122.08/122.48	c #Conflicts:      82000 | #Constraints:      15460
122.08/122.48	c #Conflicts:      83000 | #Constraints:      16460
122.08/122.48	c #Conflicts:      84000 | #Constraints:      17460
122.08/122.48	c #Conflicts:      85000 | #Constraints:      18460
122.08/122.48	c #Conflicts:      86000 | #Constraints:      19460
122.08/122.48	c #Conflicts:      87000 | #Constraints:      20461
122.08/122.48	c #Conflicts:      88000 | #Constraints:      21461
122.08/122.48	c #Conflicts:      89000 | #Constraints:      22461
122.08/122.48	c #Conflicts:      90000 | #Constraints:      23461
122.08/122.48	c #Conflicts:      91000 | #Constraints:      24461
122.08/122.48	c #Conflicts:      92000 | #Constraints:      25461
122.08/122.48	c #Conflicts:      93000 | #Constraints:      26461
122.08/122.48	c #Conflicts:      94000 | #Constraints:      27461
122.08/122.48	c #Conflicts:      95000 | #Constraints:      28461
122.08/122.48	c #Conflicts:      96000 | #Constraints:      29461
122.08/122.48	c #Conflicts:      97000 | #Constraints:      30461
122.08/122.48	c #Conflicts:      98000 | #Constraints:      31462
122.08/122.48	c #Conflicts:      99000 | #Constraints:      32462
122.08/122.48	c #Conflicts:     100000 | #Constraints:      33462
122.08/122.48	c #Conflicts:     101000 | #Constraints:      34462
122.08/122.48	c #Conflicts:     102000 | #Constraints:      35462
122.08/122.48	c INPROCESSING
122.08/122.48	c GARBAGE COLLECT
122.08/122.48	c rational objective 82
129.68/130.07	c #Conflicts:     103000 | #Constraints:      21247
129.68/130.07	c #Conflicts:     104000 | #Constraints:      22247
129.68/130.07	c #Conflicts:     105000 | #Constraints:      23247
129.68/130.07	c #Conflicts:     106000 | #Constraints:      24247
129.68/130.07	c #Conflicts:     107000 | #Constraints:      25247
129.68/130.07	c #Conflicts:     108000 | #Constraints:      26247
129.68/130.07	c #Conflicts:     109000 | #Constraints:      27247
129.68/130.07	c #Conflicts:     110000 | #Constraints:      28247
129.68/130.07	c INPROCESSING
129.68/130.07	c GARBAGE COLLECT
129.68/130.07	c rational objective 82
149.52/149.99	c #Conflicts:     111000 | #Constraints:      18081
149.52/149.99	c #Conflicts:     112000 | #Constraints:      19081
149.52/149.99	c #Conflicts:     113000 | #Constraints:      20081
149.52/149.99	c #Conflicts:     114000 | #Constraints:      21081
149.52/149.99	c #Conflicts:     115000 | #Constraints:      22081
149.52/149.99	c #Conflicts:     116000 | #Constraints:      23082
149.52/149.99	c #Conflicts:     117000 | #Constraints:      24082
149.52/149.99	c INPROCESSING
149.52/149.99	c GARBAGE COLLECT
149.52/149.99	c rational objective 82
171.67/172.13	c #Conflicts:     118000 | #Constraints:      15883
171.67/172.13	c #Conflicts:     119000 | #Constraints:      16883
171.67/172.13	c #Conflicts:     120000 | #Constraints:      17883
171.67/172.13	c #Conflicts:     121000 | #Constraints:      18883
171.67/172.13	c #Conflicts:     122000 | #Constraints:      19884
171.67/172.13	c #Conflicts:     123000 | #Constraints:      20885
171.67/172.13	c #Conflicts:     124000 | #Constraints:      21885
171.67/172.13	c INPROCESSING
171.67/172.13	c GARBAGE COLLECT
171.67/172.13	c #Conflicts:     125000 | #Constraints:      14539
171.67/172.13	c #Conflicts:     126000 | #Constraints:      15539
171.67/172.13	c #Conflicts:     127000 | #Constraints:      16540
171.67/172.13	c #Conflicts:     128000 | #Constraints:      17541
171.67/172.13	c #Conflicts:     129000 | #Constraints:      18541
171.67/172.13	c #Conflicts:     130000 | #Constraints:      19542
171.67/172.13	c #Conflicts:     131000 | #Constraints:      20542
171.67/172.13	c #Conflicts:     132000 | #Constraints:      21542
171.67/172.13	c INPROCESSING
171.67/172.13	c GARBAGE COLLECT
171.67/172.13	c #Conflicts:     133000 | #Constraints:      14510
171.67/172.13	c #Conflicts:     134000 | #Constraints:      15510
171.67/172.13	c #Conflicts:     135000 | #Constraints:      16510
171.67/172.13	c #Conflicts:     136000 | #Constraints:      17510
171.67/172.13	c #Conflicts:     137000 | #Constraints:      18510
171.67/172.13	c #Conflicts:     138000 | #Constraints:      19511
171.67/172.13	c #Conflicts:     139000 | #Constraints:      20511
171.67/172.13	c #Conflicts:     140000 | #Constraints:      21511
171.67/172.13	c INPROCESSING
171.67/172.13	c GARBAGE COLLECT
171.67/172.13	c rational objective 82
212.77/213.32	c #Conflicts:     141000 | #Constraints:      14564
212.77/213.32	c #Conflicts:     142000 | #Constraints:      15564
212.77/213.32	c #Conflicts:     143000 | #Constraints:      16564
212.77/213.32	c #Conflicts:     144000 | #Constraints:      17564
212.77/213.32	c #Conflicts:     145000 | #Constraints:      18564
212.77/213.32	c #Conflicts:     146000 | #Constraints:      19565
212.77/213.32	c #Conflicts:     147000 | #Constraints:      20565
212.77/213.32	c #Conflicts:     148000 | #Constraints:      21565
212.77/213.32	c #Conflicts:     149000 | #Constraints:      22566
212.77/213.32	c #Conflicts:     150000 | #Constraints:      23566
212.77/213.32	c #Conflicts:     151000 | #Constraints:      24566
212.77/213.32	c #Conflicts:     152000 | #Constraints:      25567
212.77/213.32	c #Conflicts:     153000 | #Constraints:      26568
212.77/213.32	c #Conflicts:     154000 | #Constraints:      27568
212.77/213.32	c #Conflicts:     155000 | #Constraints:      28568
212.77/213.32	c #Conflicts:     156000 | #Constraints:      29568
212.77/213.32	c #Conflicts:     157000 | #Constraints:      30568
212.77/213.32	c #Conflicts:     158000 | #Constraints:      31568
212.77/213.32	c #Conflicts:     159000 | #Constraints:      32569
212.77/213.32	c #Conflicts:     160000 | #Constraints:      33569
212.77/213.32	c #Conflicts:     161000 | #Constraints:      34569
212.77/213.32	c #Conflicts:     162000 | #Constraints:      35569
212.77/213.32	c #Conflicts:     163000 | #Constraints:      36570
212.77/213.32	c #Conflicts:     164000 | #Constraints:      37570
212.77/213.32	c #Conflicts:     165000 | #Constraints:      38570
212.77/213.32	c #Conflicts:     166000 | #Constraints:      39570
212.77/213.32	c #Conflicts:     167000 | #Constraints:      40570
212.77/213.32	c #Conflicts:     168000 | #Constraints:      41570
212.77/213.32	c #Conflicts:     169000 | #Constraints:      42570
212.77/213.32	c #Conflicts:     170000 | #Constraints:      43570
212.77/213.32	c #Conflicts:     171000 | #Constraints:      44570
212.77/213.32	c #Conflicts:     172000 | #Constraints:      45570
212.77/213.32	c INPROCESSING
212.77/213.32	c GARBAGE COLLECT
212.77/213.32	c rational objective 82
229.83/230.40	c #Conflicts:     173000 | #Constraints:      26382
229.83/230.40	c #Conflicts:     174000 | #Constraints:      27382
229.83/230.40	c #Conflicts:     175000 | #Constraints:      28382
229.83/230.40	c #Conflicts:     176000 | #Constraints:      29383
229.83/230.40	c #Conflicts:     177000 | #Constraints:      30383
229.83/230.40	c #Conflicts:     178000 | #Constraints:      31383
229.83/230.40	c #Conflicts:     179000 | #Constraints:      32383
229.83/230.40	c #Conflicts:     180000 | #Constraints:      33383
229.83/230.40	c #Conflicts:     181000 | #Constraints:      34384
229.83/230.40	c #Conflicts:     182000 | #Constraints:      35384
229.83/230.40	c INPROCESSING
229.83/230.40	c GARBAGE COLLECT
229.83/230.40	c rational objective 82
240.20/240.83	c #Conflicts:     183000 | #Constraints:      21716
240.20/240.83	c #Conflicts:     184000 | #Constraints:      22716
240.20/240.83	c #Conflicts:     185000 | #Constraints:      23716
240.20/240.83	c #Conflicts:     186000 | #Constraints:      24716
240.20/240.83	c #Conflicts:     187000 | #Constraints:      25716
240.20/240.83	c #Conflicts:     188000 | #Constraints:      26716
240.20/240.83	c #Conflicts:     189000 | #Constraints:      27716
240.20/240.83	c #Conflicts:     190000 | #Constraints:      28716
240.20/240.83	c #Conflicts:     191000 | #Constraints:      29716
240.20/240.83	c INPROCESSING
240.20/240.83	c GARBAGE COLLECT
240.20/240.83	c rational objective 82
251.28/252.00	c #Conflicts:     192000 | #Constraints:      18709
251.28/252.00	c #Conflicts:     193000 | #Constraints:      19711
251.28/252.00	c #Conflicts:     194000 | #Constraints:      20711
251.28/252.00	c #Conflicts:     195000 | #Constraints:      21711
251.28/252.00	c #Conflicts:     196000 | #Constraints:      22711
251.28/252.00	c #Conflicts:     197000 | #Constraints:      23711
251.28/252.00	c #Conflicts:     198000 | #Constraints:      24711
251.28/252.00	c #Conflicts:     199000 | #Constraints:      25711
251.28/252.00	c #Conflicts:     200000 | #Constraints:      26711
251.28/252.00	c #Conflicts:     201000 | #Constraints:      27711
251.28/252.00	c INPROCESSING
251.28/252.00	c GARBAGE COLLECT
251.28/252.00	c rational objective 82
261.36/262.03	c #Conflicts:     202000 | #Constraints:      17879
261.36/262.03	c #Conflicts:     203000 | #Constraints:      18879
261.36/262.03	c #Conflicts:     204000 | #Constraints:      19879
261.36/262.03	c #Conflicts:     205000 | #Constraints:      20881
261.36/262.03	c #Conflicts:     206000 | #Constraints:      21881
261.36/262.03	c #Conflicts:     207000 | #Constraints:      22881
261.36/262.03	c #Conflicts:     208000 | #Constraints:      23881
261.36/262.03	c #Conflicts:     209000 | #Constraints:      24881
261.36/262.03	c #Conflicts:     210000 | #Constraints:      25881
261.36/262.03	c INPROCESSING
261.36/262.03	c GARBAGE COLLECT
261.36/262.03	c rational objective 82
317.23/318.05	c #Conflicts:     211000 | #Constraints:      16599
317.23/318.05	c #Conflicts:     212000 | #Constraints:      17599
317.23/318.05	c #Conflicts:     213000 | #Constraints:      18599
317.23/318.05	c #Conflicts:     214000 | #Constraints:      19599
317.23/318.05	c #Conflicts:     215000 | #Constraints:      20599
317.23/318.05	c #Conflicts:     216000 | #Constraints:      21600
317.23/318.05	c #Conflicts:     217000 | #Constraints:      22600
317.23/318.05	c #Conflicts:     218000 | #Constraints:      23600
317.23/318.05	c #Conflicts:     219000 | #Constraints:      24601
317.23/318.05	c #Conflicts:     220000 | #Constraints:      25601
317.23/318.05	c #Conflicts:     221000 | #Constraints:      26601
317.23/318.05	c #Conflicts:     222000 | #Constraints:      27601
317.23/318.05	c #Conflicts:     223000 | #Constraints:      28601
317.23/318.05	c #Conflicts:     224000 | #Constraints:      29601
317.23/318.05	c #Conflicts:     225000 | #Constraints:      30601
317.23/318.05	c #Conflicts:     226000 | #Constraints:      31601
317.23/318.05	c #Conflicts:     227000 | #Constraints:      32601
317.23/318.05	c #Conflicts:     228000 | #Constraints:      33601
317.23/318.05	c #Conflicts:     229000 | #Constraints:      34601
317.23/318.05	c #Conflicts:     230000 | #Constraints:      35601
317.23/318.05	c #Conflicts:     231000 | #Constraints:      36601
317.23/318.05	c #Conflicts:     232000 | #Constraints:      37601
317.23/318.05	c #Conflicts:     233000 | #Constraints:      38601
317.23/318.05	c #Conflicts:     234000 | #Constraints:      39601
317.23/318.05	c #Conflicts:     235000 | #Constraints:      40601
317.23/318.05	c #Conflicts:     236000 | #Constraints:      41601
317.23/318.05	c #Conflicts:     237000 | #Constraints:      42601
317.23/318.05	c #Conflicts:     238000 | #Constraints:      43601
317.23/318.05	c #Conflicts:     239000 | #Constraints:      44601
317.23/318.05	c #Conflicts:     240000 | #Constraints:      45601
317.23/318.05	c #Conflicts:     241000 | #Constraints:      46601
317.23/318.05	c #Conflicts:     242000 | #Constraints:      47601
317.23/318.05	c #Conflicts:     243000 | #Constraints:      48601
317.23/318.05	c #Conflicts:     244000 | #Constraints:      49602
317.23/318.05	c #Conflicts:     245000 | #Constraints:      50602
317.23/318.05	c #Conflicts:     246000 | #Constraints:      51602
317.23/318.05	c #Conflicts:     247000 | #Constraints:      52602
317.23/318.05	c #Conflicts:     248000 | #Constraints:      53602
317.23/318.05	c #Conflicts:     249000 | #Constraints:      54602
317.23/318.05	c INPROCESSING
317.23/318.05	c GARBAGE COLLECT
317.23/318.05	c rational objective 82
333.08/333.98	c #Conflicts:     250000 | #Constraints:      31061
333.08/333.98	c #Conflicts:     251000 | #Constraints:      32061
333.08/333.98	c #Conflicts:     252000 | #Constraints:      33061
333.08/333.98	c #Conflicts:     253000 | #Constraints:      34061
333.08/333.98	c #Conflicts:     254000 | #Constraints:      35063
333.08/333.98	c #Conflicts:     255000 | #Constraints:      36063
333.08/333.98	c #Conflicts:     256000 | #Constraints:      37063
333.08/333.98	c #Conflicts:     257000 | #Constraints:      38064
333.08/333.98	c #Conflicts:     258000 | #Constraints:      39064
333.08/333.98	c #Conflicts:     259000 | #Constraints:      40065
333.08/333.98	c #Conflicts:     260000 | #Constraints:      41065
333.08/333.98	c INPROCESSING
333.08/333.98	c GARBAGE COLLECT
333.08/333.98	c rational objective 82
343.05/343.96	c #Conflicts:     261000 | #Constraints:      24240
343.05/343.96	c #Conflicts:     262000 | #Constraints:      25240
343.05/343.96	c #Conflicts:     263000 | #Constraints:      26240
343.05/343.96	c #Conflicts:     264000 | #Constraints:      27240
343.05/343.96	c #Conflicts:     265000 | #Constraints:      28240
343.05/343.96	c #Conflicts:     266000 | #Constraints:      29240
343.05/343.96	c #Conflicts:     267000 | #Constraints:      30240
343.05/343.96	c #Conflicts:     268000 | #Constraints:      31240
343.05/343.96	c #Conflicts:     269000 | #Constraints:      32240
343.05/343.96	c #Conflicts:     270000 | #Constraints:      33240
343.05/343.96	c #Conflicts:     271000 | #Constraints:      34240
343.05/343.96	c #Conflicts:     272000 | #Constraints:      35240
343.05/343.96	c INPROCESSING
343.05/343.96	c GARBAGE COLLECT
343.05/343.96	c rational objective 82
359.02/359.96	c #Conflicts:     273000 | #Constraints:      21675
359.02/359.96	c #Conflicts:     274000 | #Constraints:      22675
359.02/359.96	c #Conflicts:     275000 | #Constraints:      23675
359.02/359.96	c #Conflicts:     276000 | #Constraints:      24675
359.02/359.96	c #Conflicts:     277000 | #Constraints:      25675
359.02/359.96	c #Conflicts:     278000 | #Constraints:      26675
359.02/359.96	c #Conflicts:     279000 | #Constraints:      27675
359.02/359.96	c #Conflicts:     280000 | #Constraints:      28675
359.02/359.96	c #Conflicts:     281000 | #Constraints:      29675
359.02/359.96	c #Conflicts:     282000 | #Constraints:      30675
359.02/359.96	c #Conflicts:     283000 | #Constraints:      31676
359.02/359.96	c INPROCESSING
359.02/359.96	c GARBAGE COLLECT
359.02/359.96	c rational objective 82
374.58/375.53	c #Conflicts:     284000 | #Constraints:      19666
374.58/375.53	c #Conflicts:     285000 | #Constraints:      20666
374.58/375.53	c #Conflicts:     286000 | #Constraints:      21666
374.58/375.53	c #Conflicts:     287000 | #Constraints:      22666
374.58/375.53	c #Conflicts:     288000 | #Constraints:      23666
374.58/375.53	c #Conflicts:     289000 | #Constraints:      24666
374.58/375.53	c #Conflicts:     290000 | #Constraints:      25667
374.58/375.53	c #Conflicts:     291000 | #Constraints:      26667
374.58/375.53	c #Conflicts:     292000 | #Constraints:      27667
374.58/375.53	c #Conflicts:     293000 | #Constraints:      28667
374.58/375.53	c #Conflicts:     294000 | #Constraints:      29668
374.58/375.53	c #Conflicts:     295000 | #Constraints:      30668
374.58/375.53	c INPROCESSING
374.58/375.53	c GARBAGE COLLECT
374.58/375.53	c rational objective 82
446.61/447.75	c #Conflicts:     296000 | #Constraints:      19341
446.61/447.75	c #Conflicts:     297000 | #Constraints:      20341
446.61/447.75	c #Conflicts:     298000 | #Constraints:      21341
446.61/447.75	c #Conflicts:     299000 | #Constraints:      22341
446.61/447.75	c #Conflicts:     300000 | #Constraints:      23341
446.61/447.75	c #Conflicts:     301000 | #Constraints:      24342
446.61/447.75	c #Conflicts:     302000 | #Constraints:      25342
446.61/447.75	c #Conflicts:     303000 | #Constraints:      26342
446.61/447.75	c #Conflicts:     304000 | #Constraints:      27342
446.61/447.75	c #Conflicts:     305000 | #Constraints:      28342
446.61/447.75	c #Conflicts:     306000 | #Constraints:      29343
446.61/447.75	c #Conflicts:     307000 | #Constraints:      30343
446.61/447.75	c #Conflicts:     308000 | #Constraints:      31343
446.61/447.75	c #Conflicts:     309000 | #Constraints:      32343
446.61/447.75	c #Conflicts:     310000 | #Constraints:      33343
446.61/447.75	c #Conflicts:     311000 | #Constraints:      34343
446.61/447.75	c #Conflicts:     312000 | #Constraints:      35343
446.61/447.75	c #Conflicts:     313000 | #Constraints:      36343
446.61/447.75	c #Conflicts:     314000 | #Constraints:      37343
446.61/447.75	c #Conflicts:     315000 | #Constraints:      38343
446.61/447.75	c #Conflicts:     316000 | #Constraints:      39343
446.61/447.75	c #Conflicts:     317000 | #Constraints:      40343
446.61/447.75	c #Conflicts:     318000 | #Constraints:      41343
446.61/447.75	c #Conflicts:     319000 | #Constraints:      42344
446.61/447.75	c #Conflicts:     320000 | #Constraints:      43344
446.61/447.75	c #Conflicts:     321000 | #Constraints:      44345
446.61/447.75	c #Conflicts:     322000 | #Constraints:      45345
446.61/447.75	c #Conflicts:     323000 | #Constraints:      46345
446.61/447.75	c #Conflicts:     324000 | #Constraints:      47345
446.61/447.75	c #Conflicts:     325000 | #Constraints:      48345
446.61/447.75	c #Conflicts:     326000 | #Constraints:      49345
446.61/447.75	c #Conflicts:     327000 | #Constraints:      50345
446.61/447.75	c #Conflicts:     328000 | #Constraints:      51345
446.61/447.75	c #Conflicts:     329000 | #Constraints:      52346
446.61/447.75	c #Conflicts:     330000 | #Constraints:      53346
446.61/447.75	c #Conflicts:     331000 | #Constraints:      54346
446.61/447.75	c #Conflicts:     332000 | #Constraints:      55347
446.61/447.75	c #Conflicts:     333000 | #Constraints:      56347
446.61/447.75	c #Conflicts:     334000 | #Constraints:      57347
446.61/447.75	c #Conflicts:     335000 | #Constraints:      58347
446.61/447.75	c #Conflicts:     336000 | #Constraints:      59347
446.61/447.75	c #Conflicts:     337000 | #Constraints:      60347
446.61/447.75	c #Conflicts:     338000 | #Constraints:      61347
446.61/447.75	c #Conflicts:     339000 | #Constraints:      62347
446.61/447.75	c #Conflicts:     340000 | #Constraints:      63347
446.61/447.75	c INPROCESSING
446.61/447.75	c GARBAGE COLLECT
446.61/447.75	c rational objective 82
471.85/473.10	c #Conflicts:     341000 | #Constraints:      35595
471.85/473.10	c #Conflicts:     342000 | #Constraints:      36595
471.85/473.10	c #Conflicts:     343000 | #Constraints:      37595
471.85/473.10	c #Conflicts:     344000 | #Constraints:      38595
471.85/473.10	c #Conflicts:     345000 | #Constraints:      39595
471.85/473.10	c #Conflicts:     346000 | #Constraints:      40595
471.85/473.10	c #Conflicts:     347000 | #Constraints:      41595
471.85/473.10	c #Conflicts:     348000 | #Constraints:      42595
471.85/473.10	c #Conflicts:     349000 | #Constraints:      43595
471.85/473.10	c #Conflicts:     350000 | #Constraints:      44595
471.85/473.10	c #Conflicts:     351000 | #Constraints:      45595
471.85/473.10	c #Conflicts:     352000 | #Constraints:      46596
471.85/473.10	c #Conflicts:     353000 | #Constraints:      47596
471.85/473.10	c INPROCESSING
471.85/473.10	c GARBAGE COLLECT
471.85/473.10	c rational objective 82
492.00/493.25	c #Conflicts:     354000 | #Constraints:      27714
492.00/493.25	c #Conflicts:     355000 | #Constraints:      28714
492.00/493.25	c #Conflicts:     356000 | #Constraints:      29714
492.00/493.25	c #Conflicts:     357000 | #Constraints:      30715
492.00/493.25	c #Conflicts:     358000 | #Constraints:      31715
492.00/493.25	c #Conflicts:     359000 | #Constraints:      32715
492.00/493.25	c #Conflicts:     360000 | #Constraints:      33715
492.00/493.25	c #Conflicts:     361000 | #Constraints:      34715
492.00/493.25	c #Conflicts:     362000 | #Constraints:      35715
492.00/493.25	c #Conflicts:     363000 | #Constraints:      36715
492.00/493.25	c #Conflicts:     364000 | #Constraints:      37716
492.00/493.25	c #Conflicts:     365000 | #Constraints:      38716
492.00/493.25	c #Conflicts:     366000 | #Constraints:      39716
492.00/493.25	c INPROCESSING
492.00/493.25	c GARBAGE COLLECT
492.00/493.25	c rational objective 82
509.86/511.17	c #Conflicts:     367000 | #Constraints:      23662
509.86/511.17	c #Conflicts:     368000 | #Constraints:      24662
509.86/511.17	c #Conflicts:     369000 | #Constraints:      25662
509.86/511.17	c #Conflicts:     370000 | #Constraints:      26662
509.86/511.17	c #Conflicts:     371000 | #Constraints:      27662
509.86/511.17	c #Conflicts:     372000 | #Constraints:      28662
509.86/511.17	c #Conflicts:     373000 | #Constraints:      29662
509.86/511.17	c #Conflicts:     374000 | #Constraints:      30662
509.86/511.17	c #Conflicts:     375000 | #Constraints:      31663
509.86/511.17	c #Conflicts:     376000 | #Constraints:      32663
509.86/511.17	c #Conflicts:     377000 | #Constraints:      33663
509.86/511.17	c #Conflicts:     378000 | #Constraints:      34664
509.86/511.17	c #Conflicts:     379000 | #Constraints:      35664
509.86/511.17	c #Conflicts:     380000 | #Constraints:      36664
509.86/511.17	c INPROCESSING
509.86/511.17	c GARBAGE COLLECT
509.86/511.17	c rational objective 82
525.01/526.30	c #Conflicts:     381000 | #Constraints:      22451
525.01/526.30	c #Conflicts:     382000 | #Constraints:      23451
525.01/526.30	c #Conflicts:     383000 | #Constraints:      24451
525.01/526.30	c #Conflicts:     384000 | #Constraints:      25451
525.01/526.30	c #Conflicts:     385000 | #Constraints:      26451
525.01/526.30	c #Conflicts:     386000 | #Constraints:      27451
525.01/526.30	c #Conflicts:     387000 | #Constraints:      28451
525.01/526.30	c #Conflicts:     388000 | #Constraints:      29451
525.01/526.30	c #Conflicts:     389000 | #Constraints:      30451
525.01/526.30	c #Conflicts:     390000 | #Constraints:      31452
525.01/526.30	c #Conflicts:     391000 | #Constraints:      32452
525.01/526.30	c #Conflicts:     392000 | #Constraints:      33452
525.01/526.30	c #Conflicts:     393000 | #Constraints:      34452
525.01/526.30	c INPROCESSING
525.01/526.30	c GARBAGE COLLECT
525.01/526.30	c rational objective 82
620.09/621.64	c #Conflicts:     394000 | #Constraints:      20981
620.09/621.64	c #Conflicts:     395000 | #Constraints:      21981
620.09/621.64	c #Conflicts:     396000 | #Constraints:      22981
620.09/621.64	c #Conflicts:     397000 | #Constraints:      23981
620.09/621.64	c #Conflicts:     398000 | #Constraints:      24981
620.09/621.64	c #Conflicts:     399000 | #Constraints:      25981
620.09/621.64	c #Conflicts:     400000 | #Constraints:      26981
620.09/621.64	c #Conflicts:     401000 | #Constraints:      27981
620.09/621.64	c #Conflicts:     402000 | #Constraints:      28982
620.09/621.64	c #Conflicts:     403000 | #Constraints:      29982
620.09/621.64	c #Conflicts:     404000 | #Constraints:      30983
620.09/621.64	c #Conflicts:     405000 | #Constraints:      31983
620.09/621.64	c #Conflicts:     406000 | #Constraints:      32984
620.09/621.64	c #Conflicts:     407000 | #Constraints:      33984
620.09/621.64	c #Conflicts:     408000 | #Constraints:      34984
620.09/621.64	c #Conflicts:     409000 | #Constraints:      35984
620.09/621.64	c #Conflicts:     410000 | #Constraints:      36984
620.09/621.64	c #Conflicts:     411000 | #Constraints:      37984
620.09/621.64	c #Conflicts:     412000 | #Constraints:      38984
620.09/621.64	c #Conflicts:     413000 | #Constraints:      39984
620.09/621.64	c #Conflicts:     414000 | #Constraints:      40984
620.09/621.64	c #Conflicts:     415000 | #Constraints:      41984
620.09/621.64	c #Conflicts:     416000 | #Constraints:      42985
620.09/621.64	c #Conflicts:     417000 | #Constraints:      43985
620.09/621.64	c #Conflicts:     418000 | #Constraints:      44985
620.09/621.64	c #Conflicts:     419000 | #Constraints:      45985
620.09/621.64	c #Conflicts:     420000 | #Constraints:      46985
620.09/621.64	c #Conflicts:     421000 | #Constraints:      47985
620.09/621.64	c #Conflicts:     422000 | #Constraints:      48985
620.09/621.64	c #Conflicts:     423000 | #Constraints:      49985
620.09/621.64	c #Conflicts:     424000 | #Constraints:      50985
620.09/621.64	c #Conflicts:     425000 | #Constraints:      51985
620.09/621.64	c #Conflicts:     426000 | #Constraints:      52985
620.09/621.64	c #Conflicts:     427000 | #Constraints:      53985
620.09/621.64	c #Conflicts:     428000 | #Constraints:      54986
620.09/621.64	c #Conflicts:     429000 | #Constraints:      55986
620.09/621.64	c #Conflicts:     430000 | #Constraints:      56987
620.09/621.64	c #Conflicts:     431000 | #Constraints:      57987
620.09/621.64	c #Conflicts:     432000 | #Constraints:      58987
620.09/621.64	c #Conflicts:     433000 | #Constraints:      59987
620.09/621.64	c #Conflicts:     434000 | #Constraints:      60987
620.09/621.64	c #Conflicts:     435000 | #Constraints:      61987
620.09/621.64	c #Conflicts:     436000 | #Constraints:      62987
620.09/621.64	c #Conflicts:     437000 | #Constraints:      63987
620.09/621.64	c #Conflicts:     438000 | #Constraints:      64987
620.09/621.64	c #Conflicts:     439000 | #Constraints:      65987
620.09/621.64	c #Conflicts:     440000 | #Constraints:      66987
620.09/621.64	c #Conflicts:     441000 | #Constraints:      67987
620.09/621.64	c #Conflicts:     442000 | #Constraints:      68987
620.09/621.64	c #Conflicts:     443000 | #Constraints:      69987
620.09/621.64	c #Conflicts:     444000 | #Constraints:      70987
620.09/621.64	c #Conflicts:     445000 | #Constraints:      71987
620.09/621.64	c INPROCESSING
620.09/621.64	c GARBAGE COLLECT
620.09/621.64	c rational objective 82
649.21/650.89	c #Conflicts:     446000 | #Constraints:      40041
649.21/650.89	c #Conflicts:     447000 | #Constraints:      41041
649.21/650.89	c #Conflicts:     448000 | #Constraints:      42041
649.21/650.89	c #Conflicts:     449000 | #Constraints:      43042
649.21/650.89	c #Conflicts:     450000 | #Constraints:      44042
649.21/650.89	c #Conflicts:     451000 | #Constraints:      45042
649.21/650.89	c #Conflicts:     452000 | #Constraints:      46042
649.21/650.89	c #Conflicts:     453000 | #Constraints:      47042
649.21/650.89	c #Conflicts:     454000 | #Constraints:      48042
649.21/650.89	c #Conflicts:     455000 | #Constraints:      49042
649.21/650.89	c #Conflicts:     456000 | #Constraints:      50042
649.21/650.89	c #Conflicts:     457000 | #Constraints:      51042
649.21/650.89	c #Conflicts:     458000 | #Constraints:      52042
649.21/650.89	c #Conflicts:     459000 | #Constraints:      53042
649.21/650.89	c #Conflicts:     460000 | #Constraints:      54042
649.21/650.89	c INPROCESSING
649.21/650.89	c GARBAGE COLLECT
649.21/650.89	c rational objective 82
677.74/679.43	c #Conflicts:     461000 | #Constraints:      31110
677.74/679.43	c #Conflicts:     462000 | #Constraints:      32110
677.74/679.43	c #Conflicts:     463000 | #Constraints:      33110
677.74/679.43	c #Conflicts:     464000 | #Constraints:      34110
677.74/679.43	c #Conflicts:     465000 | #Constraints:      35110
677.74/679.43	c #Conflicts:     466000 | #Constraints:      36110
677.74/679.43	c #Conflicts:     467000 | #Constraints:      37110
677.74/679.43	c #Conflicts:     468000 | #Constraints:      38110
677.74/679.43	c #Conflicts:     469000 | #Constraints:      39110
677.74/679.43	c #Conflicts:     470000 | #Constraints:      40110
677.74/679.43	c #Conflicts:     471000 | #Constraints:      41111
677.74/679.43	c #Conflicts:     472000 | #Constraints:      42111
677.74/679.43	c #Conflicts:     473000 | #Constraints:      43111
677.74/679.43	c #Conflicts:     474000 | #Constraints:      44111
677.74/679.43	c #Conflicts:     475000 | #Constraints:      45111
677.74/679.43	c INPROCESSING
677.74/679.43	c GARBAGE COLLECT
677.74/679.43	c rational objective 82
704.18/705.91	c #Conflicts:     476000 | #Constraints:      26577
704.18/705.91	c #Conflicts:     477000 | #Constraints:      27577
704.18/705.91	c #Conflicts:     478000 | #Constraints:      28577
704.18/705.91	c #Conflicts:     479000 | #Constraints:      29577
704.18/705.91	c #Conflicts:     480000 | #Constraints:      30577
704.18/705.91	c #Conflicts:     481000 | #Constraints:      31577
704.18/705.91	c #Conflicts:     482000 | #Constraints:      32577
704.18/705.91	c #Conflicts:     483000 | #Constraints:      33578
704.18/705.91	c #Conflicts:     484000 | #Constraints:      34578
704.18/705.91	c #Conflicts:     485000 | #Constraints:      35578
704.18/705.91	c #Conflicts:     486000 | #Constraints:      36578
704.18/705.91	c #Conflicts:     487000 | #Constraints:      37578
704.18/705.91	c #Conflicts:     488000 | #Constraints:      38578
704.18/705.91	c #Conflicts:     489000 | #Constraints:      39578
704.18/705.91	c #Conflicts:     490000 | #Constraints:      40578
704.18/705.91	c INPROCESSING
704.18/705.91	c GARBAGE COLLECT
704.18/705.91	c rational objective 82
731.33/733.19	c #Conflicts:     491000 | #Constraints:      24182
731.33/733.19	c #Conflicts:     492000 | #Constraints:      25182
731.33/733.19	c #Conflicts:     493000 | #Constraints:      26182
731.33/733.19	c #Conflicts:     494000 | #Constraints:      27182
731.33/733.19	c #Conflicts:     495000 | #Constraints:      28182
731.33/733.19	c #Conflicts:     496000 | #Constraints:      29182
731.33/733.19	c #Conflicts:     497000 | #Constraints:      30182
731.33/733.19	c #Conflicts:     498000 | #Constraints:      31182
731.33/733.19	c #Conflicts:     499000 | #Constraints:      32182
731.33/733.19	c #Conflicts:     500000 | #Constraints:      33182
731.33/733.19	c #Conflicts:     501000 | #Constraints:      34182
731.33/733.19	c #Conflicts:     502000 | #Constraints:      35182
731.33/733.19	c #Conflicts:     503000 | #Constraints:      36182
731.33/733.19	c #Conflicts:     504000 | #Constraints:      37182
731.33/733.19	c #Conflicts:     505000 | #Constraints:      38183
731.33/733.19	c #Conflicts:     506000 | #Constraints:      39183
731.33/733.19	c INPROCESSING
731.33/733.19	c GARBAGE COLLECT
731.33/733.19	c rational objective 82
833.07/835.19	c #Conflicts:     507000 | #Constraints:      23727
833.07/835.19	c #Conflicts:     508000 | #Constraints:      24727
833.07/835.19	c #Conflicts:     509000 | #Constraints:      25727
833.07/835.19	c #Conflicts:     510000 | #Constraints:      26727
833.07/835.19	c #Conflicts:     511000 | #Constraints:      27727
833.07/835.19	c #Conflicts:     512000 | #Constraints:      28727
833.07/835.19	c #Conflicts:     513000 | #Constraints:      29727
833.07/835.19	c #Conflicts:     514000 | #Constraints:      30727
833.07/835.19	c #Conflicts:     515000 | #Constraints:      31727
833.07/835.19	c #Conflicts:     516000 | #Constraints:      32727
833.07/835.19	c #Conflicts:     517000 | #Constraints:      33727
833.07/835.19	c #Conflicts:     518000 | #Constraints:      34728
833.07/835.19	c #Conflicts:     519000 | #Constraints:      35728
833.07/835.19	c #Conflicts:     520000 | #Constraints:      36728
833.07/835.19	c #Conflicts:     521000 | #Constraints:      37728
833.07/835.19	c #Conflicts:     522000 | #Constraints:      38728
833.07/835.19	c #Conflicts:     523000 | #Constraints:      39728
833.07/835.19	c #Conflicts:     524000 | #Constraints:      40728
833.07/835.19	c #Conflicts:     525000 | #Constraints:      41728
833.07/835.19	c #Conflicts:     526000 | #Constraints:      42728
833.07/835.19	c #Conflicts:     527000 | #Constraints:      43728
833.07/835.19	c #Conflicts:     528000 | #Constraints:      44728
833.07/835.19	c #Conflicts:     529000 | #Constraints:      45728
833.07/835.19	c #Conflicts:     530000 | #Constraints:      46728
833.07/835.19	c #Conflicts:     531000 | #Constraints:      47728
833.07/835.19	c #Conflicts:     532000 | #Constraints:      48728
833.07/835.19	c #Conflicts:     533000 | #Constraints:      49728
833.07/835.19	c #Conflicts:     534000 | #Constraints:      50728
833.07/835.19	c #Conflicts:     535000 | #Constraints:      51728
833.07/835.19	c #Conflicts:     536000 | #Constraints:      52728
833.07/835.19	c #Conflicts:     537000 | #Constraints:      53728
833.07/835.19	c #Conflicts:     538000 | #Constraints:      54728
833.07/835.19	c #Conflicts:     539000 | #Constraints:      55729
833.07/835.19	c #Conflicts:     540000 | #Constraints:      56729
833.07/835.19	c #Conflicts:     541000 | #Constraints:      57729
833.07/835.19	c #Conflicts:     542000 | #Constraints:      58730
833.07/835.19	c #Conflicts:     543000 | #Constraints:      59730
833.07/835.19	c #Conflicts:     544000 | #Constraints:      60730
833.07/835.19	c #Conflicts:     545000 | #Constraints:      61730
833.07/835.19	c #Conflicts:     546000 | #Constraints:      62730
833.07/835.19	c #Conflicts:     547000 | #Constraints:      63730
833.07/835.19	c #Conflicts:     548000 | #Constraints:      64730
833.07/835.19	c #Conflicts:     549000 | #Constraints:      65730
833.07/835.19	c #Conflicts:     550000 | #Constraints:      66730
833.07/835.19	c #Conflicts:     551000 | #Constraints:      67730
833.07/835.19	c #Conflicts:     552000 | #Constraints:      68730
833.07/835.19	c #Conflicts:     553000 | #Constraints:      69731
833.07/835.19	c #Conflicts:     554000 | #Constraints:      70731
833.07/835.19	c #Conflicts:     555000 | #Constraints:      71731
833.07/835.19	c #Conflicts:     556000 | #Constraints:      72731
833.07/835.19	c #Conflicts:     557000 | #Constraints:      73731
833.07/835.19	c #Conflicts:     558000 | #Constraints:      74731
833.07/835.19	c #Conflicts:     559000 | #Constraints:      75732
833.07/835.19	c #Conflicts:     560000 | #Constraints:      76732
833.07/835.19	c #Conflicts:     561000 | #Constraints:      77732
833.07/835.19	c #Conflicts:     562000 | #Constraints:      78732
833.07/835.19	c #Conflicts:     563000 | #Constraints:      79732
833.07/835.19	c #Conflicts:     564000 | #Constraints:      80732
833.07/835.19	c INPROCESSING
833.07/835.19	c GARBAGE COLLECT
833.07/835.19	c rational objective 82
861.79/863.91	c #Conflicts:     565000 | #Constraints:      44508
861.79/863.91	c #Conflicts:     566000 | #Constraints:      45508
861.79/863.91	c #Conflicts:     567000 | #Constraints:      46508
861.79/863.91	c #Conflicts:     568000 | #Constraints:      47508
861.79/863.91	c #Conflicts:     569000 | #Constraints:      48508
861.79/863.91	c #Conflicts:     570000 | #Constraints:      49508
861.79/863.91	c #Conflicts:     571000 | #Constraints:      50508
861.79/863.91	c #Conflicts:     572000 | #Constraints:      51508
861.79/863.91	c #Conflicts:     573000 | #Constraints:      52508
861.79/863.91	c #Conflicts:     574000 | #Constraints:      53508
861.79/863.91	c #Conflicts:     575000 | #Constraints:      54508
861.79/863.91	c #Conflicts:     576000 | #Constraints:      55509
861.79/863.91	c #Conflicts:     577000 | #Constraints:      56509
861.79/863.91	c #Conflicts:     578000 | #Constraints:      57510
861.79/863.91	c #Conflicts:     579000 | #Constraints:      58510
861.79/863.91	c #Conflicts:     580000 | #Constraints:      59510
861.79/863.91	c INPROCESSING
861.79/863.91	c GARBAGE COLLECT
861.79/863.91	c rational objective 82
891.10/893.35	c #Conflicts:     581000 | #Constraints:      33516
891.10/893.35	c #Conflicts:     582000 | #Constraints:      34516
891.10/893.35	c #Conflicts:     583000 | #Constraints:      35516
891.10/893.35	c #Conflicts:     584000 | #Constraints:      36517
891.10/893.35	c #Conflicts:     585000 | #Constraints:      37517
891.10/893.35	c #Conflicts:     586000 | #Constraints:      38517
891.10/893.35	c #Conflicts:     587000 | #Constraints:      39517
891.10/893.35	c #Conflicts:     588000 | #Constraints:      40517
891.10/893.35	c #Conflicts:     589000 | #Constraints:      41517
891.10/893.35	c #Conflicts:     590000 | #Constraints:      42518
891.10/893.35	c #Conflicts:     591000 | #Constraints:      43518
891.10/893.35	c #Conflicts:     592000 | #Constraints:      44518
891.10/893.35	c #Conflicts:     593000 | #Constraints:      45518
891.10/893.35	c #Conflicts:     594000 | #Constraints:      46518
891.10/893.35	c #Conflicts:     595000 | #Constraints:      47518
891.10/893.35	c #Conflicts:     596000 | #Constraints:      48518
891.10/893.35	c #Conflicts:     597000 | #Constraints:      49518
891.10/893.35	c INPROCESSING
891.10/893.35	c GARBAGE COLLECT
891.10/893.35	c rational objective 82
915.05/917.35	c #Conflicts:     598000 | #Constraints:      28513
915.05/917.35	c #Conflicts:     599000 | #Constraints:      29513
915.05/917.35	c #Conflicts:     600000 | #Constraints:      30513
915.05/917.35	c #Conflicts:     601000 | #Constraints:      31513
915.05/917.35	c #Conflicts:     602000 | #Constraints:      32514
915.05/917.35	c #Conflicts:     603000 | #Constraints:      33514
915.05/917.35	c #Conflicts:     604000 | #Constraints:      34514
915.05/917.35	c #Conflicts:     605000 | #Constraints:      35514
915.05/917.35	c #Conflicts:     606000 | #Constraints:      36514
915.05/917.35	c #Conflicts:     607000 | #Constraints:      37514
915.05/917.35	c #Conflicts:     608000 | #Constraints:      38514
915.05/917.35	c #Conflicts:     609000 | #Constraints:      39514
915.05/917.35	c #Conflicts:     610000 | #Constraints:      40514
915.05/917.35	c #Conflicts:     611000 | #Constraints:      41514
915.05/917.35	c #Conflicts:     612000 | #Constraints:      42514
915.05/917.35	c #Conflicts:     613000 | #Constraints:      43514
915.05/917.35	c #Conflicts:     614000 | #Constraints:      44514
915.05/917.35	c #Conflicts:     615000 | #Constraints:      45514
915.05/917.35	c INPROCESSING
915.05/917.35	c GARBAGE COLLECT
915.05/917.35	c rational objective 82
932.31/934.63	c #Conflicts:     616000 | #Constraints:      26904
932.31/934.63	c #Conflicts:     617000 | #Constraints:      27904
932.31/934.63	c #Conflicts:     618000 | #Constraints:      28904
932.31/934.63	c #Conflicts:     619000 | #Constraints:      29904
932.31/934.63	c #Conflicts:     620000 | #Constraints:      30904
932.31/934.63	c #Conflicts:     621000 | #Constraints:      31904
932.31/934.63	c #Conflicts:     622000 | #Constraints:      32904
932.31/934.63	c #Conflicts:     623000 | #Constraints:      33905
932.31/934.63	c #Conflicts:     624000 | #Constraints:      34905
932.31/934.63	c #Conflicts:     625000 | #Constraints:      35906
932.31/934.63	c #Conflicts:     626000 | #Constraints:      36906
932.31/934.63	c #Conflicts:     627000 | #Constraints:      37907
932.31/934.63	c #Conflicts:     628000 | #Constraints:      38907
932.31/934.63	c #Conflicts:     629000 | #Constraints:      39907
932.31/934.63	c #Conflicts:     630000 | #Constraints:      40907
932.31/934.63	c #Conflicts:     631000 | #Constraints:      41907
932.31/934.63	c #Conflicts:     632000 | #Constraints:      42907
932.31/934.63	c INPROCESSING
932.31/934.63	c GARBAGE COLLECT
932.31/934.63	c rational objective 82
1058.70/1061.36	c #Conflicts:     633000 | #Constraints:      25401
1058.70/1061.36	c #Conflicts:     634000 | #Constraints:      26401
1058.70/1061.36	c #Conflicts:     635000 | #Constraints:      27401
1058.70/1061.36	c #Conflicts:     636000 | #Constraints:      28401
1058.70/1061.36	c #Conflicts:     637000 | #Constraints:      29401
1058.70/1061.36	c #Conflicts:     638000 | #Constraints:      30401
1058.70/1061.36	c #Conflicts:     639000 | #Constraints:      31401
1058.70/1061.36	c #Conflicts:     640000 | #Constraints:      32402
1058.70/1061.36	c #Conflicts:     641000 | #Constraints:      33402
1058.70/1061.36	c #Conflicts:     642000 | #Constraints:      34402
1058.70/1061.36	c #Conflicts:     643000 | #Constraints:      35402
1058.70/1061.36	c #Conflicts:     644000 | #Constraints:      36402
1058.70/1061.36	c #Conflicts:     645000 | #Constraints:      37402
1058.70/1061.36	c #Conflicts:     646000 | #Constraints:      38403
1058.70/1061.36	c #Conflicts:     647000 | #Constraints:      39403
1058.70/1061.36	c #Conflicts:     648000 | #Constraints:      40403
1058.70/1061.36	c #Conflicts:     649000 | #Constraints:      41404
1058.70/1061.36	c #Conflicts:     650000 | #Constraints:      42404
1058.70/1061.36	c #Conflicts:     651000 | #Constraints:      43404
1058.70/1061.36	c #Conflicts:     652000 | #Constraints:      44404
1058.70/1061.36	c #Conflicts:     653000 | #Constraints:      45405
1058.70/1061.36	c #Conflicts:     654000 | #Constraints:      46405
1058.70/1061.36	c #Conflicts:     655000 | #Constraints:      47405
1058.70/1061.36	c #Conflicts:     656000 | #Constraints:      48405
1058.70/1061.36	c #Conflicts:     657000 | #Constraints:      49405
1058.70/1061.36	c #Conflicts:     658000 | #Constraints:      50405
1058.70/1061.36	c #Conflicts:     659000 | #Constraints:      51405
1058.70/1061.36	c #Conflicts:     660000 | #Constraints:      52406
1058.70/1061.36	c #Conflicts:     661000 | #Constraints:      53406
1058.70/1061.36	c #Conflicts:     662000 | #Constraints:      54406
1058.70/1061.36	c #Conflicts:     663000 | #Constraints:      55406
1058.70/1061.36	c #Conflicts:     664000 | #Constraints:      56406
1058.70/1061.36	c #Conflicts:     665000 | #Constraints:      57407
1058.70/1061.36	c #Conflicts:     666000 | #Constraints:      58407
1058.70/1061.36	c #Conflicts:     667000 | #Constraints:      59407
1058.70/1061.36	c #Conflicts:     668000 | #Constraints:      60407
1058.70/1061.36	c #Conflicts:     669000 | #Constraints:      61408
1058.70/1061.36	c #Conflicts:     670000 | #Constraints:      62408
1058.70/1061.36	c #Conflicts:     671000 | #Constraints:      63409
1058.70/1061.36	c #Conflicts:     672000 | #Constraints:      64409
1058.70/1061.36	c #Conflicts:     673000 | #Constraints:      65409
1058.70/1061.36	c #Conflicts:     674000 | #Constraints:      66409
1058.70/1061.36	c #Conflicts:     675000 | #Constraints:      67409
1058.70/1061.36	c #Conflicts:     676000 | #Constraints:      68410
1058.70/1061.36	c #Conflicts:     677000 | #Constraints:      69410
1058.70/1061.36	c #Conflicts:     678000 | #Constraints:      70410
1058.70/1061.36	c #Conflicts:     679000 | #Constraints:      71411
1058.70/1061.36	c #Conflicts:     680000 | #Constraints:      72411
1058.70/1061.36	c #Conflicts:     681000 | #Constraints:      73411
1058.70/1061.36	c #Conflicts:     682000 | #Constraints:      74411
1058.70/1061.36	c #Conflicts:     683000 | #Constraints:      75411
1058.70/1061.36	c #Conflicts:     684000 | #Constraints:      76411
1058.70/1061.36	c #Conflicts:     685000 | #Constraints:      77411
1058.70/1061.36	c #Conflicts:     686000 | #Constraints:      78412
1058.70/1061.36	c #Conflicts:     687000 | #Constraints:      79412
1058.70/1061.36	c #Conflicts:     688000 | #Constraints:      80412
1058.70/1061.36	c #Conflicts:     689000 | #Constraints:      81412
1058.70/1061.36	c #Conflicts:     690000 | #Constraints:      82413
1058.70/1061.36	c #Conflicts:     691000 | #Constraints:      83413
1058.70/1061.36	c #Conflicts:     692000 | #Constraints:      84413
1058.70/1061.37	c #Conflicts:     693000 | #Constraints:      85413
1058.70/1061.37	c #Conflicts:     694000 | #Constraints:      86413
1058.70/1061.37	c #Conflicts:     695000 | #Constraints:      87413
1058.70/1061.37	c #Conflicts:     696000 | #Constraints:      88413
1058.70/1061.37	c INPROCESSING
1058.70/1061.37	c GARBAGE COLLECT
1058.70/1061.37	c rational objective 82
1093.72/1096.40	c #Conflicts:     697000 | #Constraints:      48026
1093.72/1096.40	c #Conflicts:     698000 | #Constraints:      49026
1093.72/1096.40	c #Conflicts:     699000 | #Constraints:      50026
1093.72/1096.40	c #Conflicts:     700000 | #Constraints:      51026
1093.72/1096.40	c #Conflicts:     701000 | #Constraints:      52026
1093.72/1096.40	c #Conflicts:     702000 | #Constraints:      53026
1093.72/1096.40	c #Conflicts:     703000 | #Constraints:      54026
1093.72/1096.40	c #Conflicts:     704000 | #Constraints:      55029
1093.72/1096.40	c #Conflicts:     705000 | #Constraints:      56030
1093.72/1096.40	c #Conflicts:     706000 | #Constraints:      57031
1093.72/1096.40	c #Conflicts:     707000 | #Constraints:      58031
1093.72/1096.40	c #Conflicts:     708000 | #Constraints:      59031
1093.72/1096.40	c #Conflicts:     709000 | #Constraints:      60031
1093.72/1096.40	c #Conflicts:     710000 | #Constraints:      61031
1093.72/1096.40	c #Conflicts:     711000 | #Constraints:      62031
1093.72/1096.40	c #Conflicts:     712000 | #Constraints:      63031
1093.72/1096.40	c #Conflicts:     713000 | #Constraints:      64031
1093.72/1096.40	c #Conflicts:     714000 | #Constraints:      65031
1093.72/1096.40	c #Conflicts:     715000 | #Constraints:      66031
1093.72/1096.40	c INPROCESSING
1093.72/1096.40	c GARBAGE COLLECT
1093.72/1096.40	c rational objective 82
1131.03/1133.81	c #Conflicts:     716000 | #Constraints:      36966
1131.03/1133.81	c #Conflicts:     717000 | #Constraints:      37966
1131.03/1133.81	c #Conflicts:     718000 | #Constraints:      38966
1131.03/1133.81	c #Conflicts:     719000 | #Constraints:      39966
1131.03/1133.81	c #Conflicts:     720000 | #Constraints:      40966
1131.03/1133.81	c #Conflicts:     721000 | #Constraints:      41966
1131.03/1133.81	c #Conflicts:     722000 | #Constraints:      42967
1131.03/1133.81	c #Conflicts:     723000 | #Constraints:      43967
1131.03/1133.81	c #Conflicts:     724000 | #Constraints:      44967
1131.03/1133.81	c #Conflicts:     725000 | #Constraints:      45967
1131.03/1133.81	c #Conflicts:     726000 | #Constraints:      46967
1131.03/1133.81	c #Conflicts:     727000 | #Constraints:      47967
1131.03/1133.81	c #Conflicts:     728000 | #Constraints:      48967
1131.03/1133.81	c #Conflicts:     729000 | #Constraints:      49967
1131.03/1133.81	c #Conflicts:     730000 | #Constraints:      50967
1131.03/1133.81	c #Conflicts:     731000 | #Constraints:      51967
1131.03/1133.81	c #Conflicts:     732000 | #Constraints:      52967
1131.03/1133.81	c #Conflicts:     733000 | #Constraints:      53967
1131.03/1133.81	c #Conflicts:     734000 | #Constraints:      54968
1131.03/1133.81	c INPROCESSING
1131.03/1133.81	c GARBAGE COLLECT
1131.03/1133.81	c rational objective 82
1154.08/1156.94	c #Conflicts:     735000 | #Constraints:      31409
1154.08/1156.94	c #Conflicts:     736000 | #Constraints:      32409
1154.08/1156.94	c #Conflicts:     737000 | #Constraints:      33409
1154.08/1156.94	c #Conflicts:     738000 | #Constraints:      34409
1154.08/1156.94	c #Conflicts:     739000 | #Constraints:      35409
1154.08/1156.94	c #Conflicts:     740000 | #Constraints:      36409
1154.08/1156.94	c #Conflicts:     741000 | #Constraints:      37409
1154.08/1156.94	c #Conflicts:     742000 | #Constraints:      38409
1154.08/1156.94	c #Conflicts:     743000 | #Constraints:      39409
1154.08/1156.94	c #Conflicts:     744000 | #Constraints:      40409
1154.08/1156.94	c #Conflicts:     745000 | #Constraints:      41409
1154.08/1156.94	c #Conflicts:     746000 | #Constraints:      42409
1154.08/1156.94	c #Conflicts:     747000 | #Constraints:      43409
1154.08/1156.94	c #Conflicts:     748000 | #Constraints:      44409
1154.08/1156.94	c #Conflicts:     749000 | #Constraints:      45409
1154.08/1156.94	c #Conflicts:     750000 | #Constraints:      46409
1154.08/1156.94	c #Conflicts:     751000 | #Constraints:      47409
1154.08/1156.94	c #Conflicts:     752000 | #Constraints:      48409
1154.08/1156.94	c #Conflicts:     753000 | #Constraints:      49409
1154.08/1156.94	c INPROCESSING
1154.08/1156.94	c GARBAGE COLLECT
1154.08/1156.94	c rational objective 82
1177.43/1180.33	c #Conflicts:     754000 | #Constraints:      28617
1177.43/1180.33	c #Conflicts:     755000 | #Constraints:      29617
1177.43/1180.33	c #Conflicts:     756000 | #Constraints:      30617
1177.43/1180.33	c #Conflicts:     757000 | #Constraints:      31617
1177.43/1180.33	c #Conflicts:     758000 | #Constraints:      32617
1177.43/1180.33	c #Conflicts:     759000 | #Constraints:      33618
1177.43/1180.33	c #Conflicts:     760000 | #Constraints:      34618
1177.43/1180.33	c #Conflicts:     761000 | #Constraints:      35618
1177.43/1180.33	c #Conflicts:     762000 | #Constraints:      36618
1177.43/1180.33	c #Conflicts:     763000 | #Constraints:      37618
1177.43/1180.33	c #Conflicts:     764000 | #Constraints:      38618
1177.43/1180.33	c #Conflicts:     765000 | #Constraints:      39618
1177.43/1180.33	c #Conflicts:     766000 | #Constraints:      40618
1177.43/1180.33	c #Conflicts:     767000 | #Constraints:      41618
1177.43/1180.33	c #Conflicts:     768000 | #Constraints:      42618
1177.43/1180.33	c #Conflicts:     769000 | #Constraints:      43618
1177.43/1180.33	c #Conflicts:     770000 | #Constraints:      44618
1177.43/1180.33	c #Conflicts:     771000 | #Constraints:      45618
1177.43/1180.33	c #Conflicts:     772000 | #Constraints:      46618
1177.43/1180.33	c INPROCESSING
1177.43/1180.33	c GARBAGE COLLECT
1177.43/1180.33	c rational objective 82
1341.14/1344.49	c #Conflicts:     773000 | #Constraints:      27087
1341.14/1344.49	c #Conflicts:     774000 | #Constraints:      28087
1341.14/1344.49	c #Conflicts:     775000 | #Constraints:      29087
1341.14/1344.49	c #Conflicts:     776000 | #Constraints:      30087
1341.14/1344.49	c #Conflicts:     777000 | #Constraints:      31087
1341.14/1344.49	c #Conflicts:     778000 | #Constraints:      32087
1341.14/1344.49	c #Conflicts:     779000 | #Constraints:      33087
1341.14/1344.49	c #Conflicts:     780000 | #Constraints:      34087
1341.14/1344.49	c #Conflicts:     781000 | #Constraints:      35087
1341.14/1344.49	c #Conflicts:     782000 | #Constraints:      36088
1341.14/1344.49	c #Conflicts:     783000 | #Constraints:      37088
1341.14/1344.49	c #Conflicts:     784000 | #Constraints:      38089
1341.14/1344.49	c #Conflicts:     785000 | #Constraints:      39089
1341.14/1344.49	c #Conflicts:     786000 | #Constraints:      40089
1341.14/1344.49	c #Conflicts:     787000 | #Constraints:      41089
1341.14/1344.49	c #Conflicts:     788000 | #Constraints:      42090
1341.14/1344.49	c #Conflicts:     789000 | #Constraints:      43090
1341.14/1344.49	c #Conflicts:     790000 | #Constraints:      44090
1341.14/1344.49	c #Conflicts:     791000 | #Constraints:      45090
1341.14/1344.49	c #Conflicts:     792000 | #Constraints:      46090
1341.14/1344.49	c #Conflicts:     793000 | #Constraints:      47090
1341.14/1344.49	c #Conflicts:     794000 | #Constraints:      48090
1341.14/1344.49	c #Conflicts:     795000 | #Constraints:      49090
1341.14/1344.49	c #Conflicts:     796000 | #Constraints:      50090
1341.14/1344.49	c #Conflicts:     797000 | #Constraints:      51090
1341.14/1344.49	c #Conflicts:     798000 | #Constraints:      52090
1341.14/1344.49	c #Conflicts:     799000 | #Constraints:      53090
1341.14/1344.49	c #Conflicts:     800000 | #Constraints:      54090
1341.14/1344.49	c #Conflicts:     801000 | #Constraints:      55090
1341.14/1344.49	c #Conflicts:     802000 | #Constraints:      56090
1341.14/1344.49	c #Conflicts:     803000 | #Constraints:      57090
1341.14/1344.49	c #Conflicts:     804000 | #Constraints:      58090
1341.14/1344.49	c #Conflicts:     805000 | #Constraints:      59090
1341.14/1344.49	c #Conflicts:     806000 | #Constraints:      60090
1341.14/1344.49	c #Conflicts:     807000 | #Constraints:      61091
1341.14/1344.49	c #Conflicts:     808000 | #Constraints:      62091
1341.14/1344.49	c #Conflicts:     809000 | #Constraints:      63092
1341.14/1344.49	c #Conflicts:     810000 | #Constraints:      64092
1341.14/1344.49	c #Conflicts:     811000 | #Constraints:      65092
1341.14/1344.49	c #Conflicts:     812000 | #Constraints:      66092
1341.14/1344.49	c #Conflicts:     813000 | #Constraints:      67092
1341.14/1344.49	c #Conflicts:     814000 | #Constraints:      68093
1341.14/1344.49	c #Conflicts:     815000 | #Constraints:      69093
1341.14/1344.49	c #Conflicts:     816000 | #Constraints:      70093
1341.14/1344.49	c #Conflicts:     817000 | #Constraints:      71093
1341.14/1344.49	c #Conflicts:     818000 | #Constraints:      72093
1341.14/1344.49	c #Conflicts:     819000 | #Constraints:      73093
1341.14/1344.49	c #Conflicts:     820000 | #Constraints:      74094
1341.14/1344.49	c #Conflicts:     821000 | #Constraints:      75094
1341.14/1344.49	c #Conflicts:     822000 | #Constraints:      76094
1341.14/1344.49	c #Conflicts:     823000 | #Constraints:      77094
1341.14/1344.49	c #Conflicts:     824000 | #Constraints:      78094
1341.14/1344.49	c #Conflicts:     825000 | #Constraints:      79095
1341.14/1344.49	c #Conflicts:     826000 | #Constraints:      80095
1341.14/1344.49	c #Conflicts:     827000 | #Constraints:      81095
1341.14/1344.49	c #Conflicts:     828000 | #Constraints:      82096
1341.14/1344.49	c #Conflicts:     829000 | #Constraints:      83096
1341.14/1344.49	c #Conflicts:     830000 | #Constraints:      84096
1341.14/1344.49	c #Conflicts:     831000 | #Constraints:      85096
1341.14/1344.49	c #Conflicts:     832000 | #Constraints:      86096
1341.14/1344.49	c #Conflicts:     833000 | #Constraints:      87096
1341.14/1344.49	c #Conflicts:     834000 | #Constraints:      88096
1341.14/1344.49	c #Conflicts:     835000 | #Constraints:      89096
1341.14/1344.49	c #Conflicts:     836000 | #Constraints:      90096
1341.14/1344.49	c #Conflicts:     837000 | #Constraints:      91096
1341.14/1344.49	c #Conflicts:     838000 | #Constraints:      92097
1341.14/1344.49	c #Conflicts:     839000 | #Constraints:      93097
1341.14/1344.49	c #Conflicts:     840000 | #Constraints:      94097
1341.14/1344.49	c #Conflicts:     841000 | #Constraints:      95097
1341.14/1344.49	c #Conflicts:     842000 | #Constraints:      96097
1341.14/1344.49	c #Conflicts:     843000 | #Constraints:      97097
1341.14/1344.49	c INPROCESSING
1341.14/1344.49	c GARBAGE COLLECT
1341.14/1344.49	c rational objective 82
1379.35/1382.79	c #Conflicts:     844000 | #Constraints:      52392
1379.35/1382.79	c #Conflicts:     845000 | #Constraints:      53392
1379.35/1382.79	c #Conflicts:     846000 | #Constraints:      54392
1379.35/1382.79	c #Conflicts:     847000 | #Constraints:      55392
1379.35/1382.79	c #Conflicts:     848000 | #Constraints:      56392
1379.35/1382.79	c #Conflicts:     849000 | #Constraints:      57392
1379.35/1382.79	c #Conflicts:     850000 | #Constraints:      58392
1379.35/1382.79	c #Conflicts:     851000 | #Constraints:      59392
1379.35/1382.79	c #Conflicts:     852000 | #Constraints:      60392
1379.35/1382.79	c #Conflicts:     853000 | #Constraints:      61392
1379.35/1382.79	c #Conflicts:     854000 | #Constraints:      62392
1379.35/1382.79	c #Conflicts:     855000 | #Constraints:      63392
1379.35/1382.79	c #Conflicts:     856000 | #Constraints:      64392
1379.35/1382.79	c #Conflicts:     857000 | #Constraints:      65392
1379.35/1382.79	c #Conflicts:     858000 | #Constraints:      66392
1379.35/1382.79	c #Conflicts:     859000 | #Constraints:      67392
1379.35/1382.79	c #Conflicts:     860000 | #Constraints:      68392
1379.35/1382.79	c #Conflicts:     861000 | #Constraints:      69393
1379.35/1382.79	c #Conflicts:     862000 | #Constraints:      70393
1379.35/1382.79	c #Conflicts:     863000 | #Constraints:      71393
1379.35/1382.79	c #Conflicts:     864000 | #Constraints:      72393
1379.35/1382.79	c INPROCESSING
1379.35/1382.79	c GARBAGE COLLECT
1379.35/1382.79	c rational objective 82
1410.77/1414.21	c #Conflicts:     865000 | #Constraints:      40286
1410.77/1414.21	c #Conflicts:     866000 | #Constraints:      41286
1410.77/1414.21	c #Conflicts:     867000 | #Constraints:      42286
1410.77/1414.21	c #Conflicts:     868000 | #Constraints:      43286
1410.77/1414.21	c #Conflicts:     869000 | #Constraints:      44286
1410.77/1414.21	c #Conflicts:     870000 | #Constraints:      45286
1410.77/1414.21	c #Conflicts:     871000 | #Constraints:      46286
1410.77/1414.21	c #Conflicts:     872000 | #Constraints:      47286
1410.77/1414.21	c #Conflicts:     873000 | #Constraints:      48286
1410.77/1414.21	c #Conflicts:     874000 | #Constraints:      49287
1410.77/1414.21	c #Conflicts:     875000 | #Constraints:      50287
1410.77/1414.21	c #Conflicts:     876000 | #Constraints:      51287
1410.77/1414.21	c #Conflicts:     877000 | #Constraints:      52287
1410.77/1414.21	c #Conflicts:     878000 | #Constraints:      53287
1410.77/1414.21	c #Conflicts:     879000 | #Constraints:      54287
1410.77/1414.21	c #Conflicts:     880000 | #Constraints:      55287
1410.77/1414.21	c #Conflicts:     881000 | #Constraints:      56287
1410.77/1414.21	c #Conflicts:     882000 | #Constraints:      57287
1410.77/1414.21	c #Conflicts:     883000 | #Constraints:      58287
1410.77/1414.21	c #Conflicts:     884000 | #Constraints:      59287
1410.77/1414.21	c #Conflicts:     885000 | #Constraints:      60287
1410.77/1414.21	c INPROCESSING
1410.77/1414.21	c GARBAGE COLLECT
1410.77/1414.21	c rational objective 82
1444.88/1448.41	c #Conflicts:     886000 | #Constraints:      34331
1444.88/1448.41	c #Conflicts:     887000 | #Constraints:      35331
1444.88/1448.41	c #Conflicts:     888000 | #Constraints:      36331
1444.88/1448.41	c #Conflicts:     889000 | #Constraints:      37331
1444.88/1448.41	c #Conflicts:     890000 | #Constraints:      38332
1444.88/1448.41	c #Conflicts:     891000 | #Constraints:      39332
1444.88/1448.41	c #Conflicts:     892000 | #Constraints:      40332
1444.88/1448.41	c #Conflicts:     893000 | #Constraints:      41332
1444.88/1448.41	c #Conflicts:     894000 | #Constraints:      42332
1444.88/1448.41	c #Conflicts:     895000 | #Constraints:      43332
1444.88/1448.41	c #Conflicts:     896000 | #Constraints:      44332
1444.88/1448.41	c #Conflicts:     897000 | #Constraints:      45332
1444.88/1448.41	c #Conflicts:     898000 | #Constraints:      46332
1444.88/1448.41	c #Conflicts:     899000 | #Constraints:      47332
1444.88/1448.41	c #Conflicts:     900000 | #Constraints:      48332
1444.88/1448.41	c #Conflicts:     901000 | #Constraints:      49332
1444.88/1448.41	c #Conflicts:     902000 | #Constraints:      50332
1444.88/1448.41	c #Conflicts:     903000 | #Constraints:      51332
1444.88/1448.41	c #Conflicts:     904000 | #Constraints:      52332
1444.88/1448.41	c #Conflicts:     905000 | #Constraints:      53332
1444.88/1448.41	c #Conflicts:     906000 | #Constraints:      54332
1444.88/1448.41	c INPROCESSING
1444.88/1448.41	c GARBAGE COLLECT
1444.88/1448.41	c rational objective 82
1473.53/1477.19	c #Conflicts:     907000 | #Constraints:      31363
1473.53/1477.19	c #Conflicts:     908000 | #Constraints:      32363
1473.53/1477.19	c #Conflicts:     909000 | #Constraints:      33363
1473.53/1477.19	c #Conflicts:     910000 | #Constraints:      34363
1473.53/1477.19	c #Conflicts:     911000 | #Constraints:      35363
1473.53/1477.19	c #Conflicts:     912000 | #Constraints:      36363
1473.53/1477.19	c #Conflicts:     913000 | #Constraints:      37363
1473.53/1477.19	c #Conflicts:     914000 | #Constraints:      38363
1473.53/1477.19	c #Conflicts:     915000 | #Constraints:      39363
1473.53/1477.19	c #Conflicts:     916000 | #Constraints:      40363
1473.53/1477.19	c #Conflicts:     917000 | #Constraints:      41363
1473.53/1477.19	c #Conflicts:     918000 | #Constraints:      42363
1473.53/1477.19	c #Conflicts:     919000 | #Constraints:      43364
1473.53/1477.19	c #Conflicts:     920000 | #Constraints:      44364
1473.53/1477.19	c #Conflicts:     921000 | #Constraints:      45365
1473.53/1477.19	c #Conflicts:     922000 | #Constraints:      46366
1473.53/1477.19	c #Conflicts:     923000 | #Constraints:      47366
1473.53/1477.19	c #Conflicts:     924000 | #Constraints:      48366
1473.53/1477.19	c #Conflicts:     925000 | #Constraints:      49366
1473.53/1477.19	c #Conflicts:     926000 | #Constraints:      50366
1473.53/1477.19	c #Conflicts:     927000 | #Constraints:      51366
1473.53/1477.19	c INPROCESSING
1473.53/1477.19	c GARBAGE COLLECT
1473.53/1477.19	c rational objective 82
1653.89/1657.98	c #Conflicts:     928000 | #Constraints:      29682
1653.89/1657.98	c #Conflicts:     929000 | #Constraints:      30682
1653.89/1657.98	c #Conflicts:     930000 | #Constraints:      31682
1653.89/1657.98	c #Conflicts:     931000 | #Constraints:      32682
1653.89/1657.98	c #Conflicts:     932000 | #Constraints:      33682
1653.89/1657.98	c #Conflicts:     933000 | #Constraints:      34682
1653.89/1657.98	c #Conflicts:     934000 | #Constraints:      35682
1653.89/1657.98	c #Conflicts:     935000 | #Constraints:      36682
1653.89/1657.98	c #Conflicts:     936000 | #Constraints:      37682
1653.89/1657.98	c #Conflicts:     937000 | #Constraints:      38682
1653.89/1657.98	c #Conflicts:     938000 | #Constraints:      39682
1653.89/1657.98	c #Conflicts:     939000 | #Constraints:      40682
1653.89/1657.98	c #Conflicts:     940000 | #Constraints:      41682
1653.89/1657.98	c #Conflicts:     941000 | #Constraints:      42682
1653.89/1657.98	c #Conflicts:     942000 | #Constraints:      43682
1653.89/1657.98	c #Conflicts:     943000 | #Constraints:      44683
1653.89/1657.98	c #Conflicts:     944000 | #Constraints:      45683
1653.89/1657.98	c #Conflicts:     945000 | #Constraints:      46683
1653.89/1657.98	c #Conflicts:     946000 | #Constraints:      47683
1653.89/1657.98	c #Conflicts:     947000 | #Constraints:      48683
1653.89/1657.98	c #Conflicts:     948000 | #Constraints:      49683
1653.89/1657.98	c #Conflicts:     949000 | #Constraints:      50683
1653.89/1657.98	c #Conflicts:     950000 | #Constraints:      51683
1653.89/1657.98	c #Conflicts:     951000 | #Constraints:      52683
1653.89/1657.98	c #Conflicts:     952000 | #Constraints:      53683
1653.89/1657.98	c #Conflicts:     953000 | #Constraints:      54683
1653.89/1657.98	c #Conflicts:     954000 | #Constraints:      55683
1653.89/1657.98	c #Conflicts:     955000 | #Constraints:      56683
1653.89/1657.98	c #Conflicts:     956000 | #Constraints:      57683
1653.89/1657.98	c #Conflicts:     957000 | #Constraints:      58683
1653.89/1657.98	c #Conflicts:     958000 | #Constraints:      59683
1653.89/1657.98	c #Conflicts:     959000 | #Constraints:      60683
1653.89/1657.98	c #Conflicts:     960000 | #Constraints:      61683
1653.89/1657.98	c #Conflicts:     961000 | #Constraints:      62683
1653.89/1657.98	c #Conflicts:     962000 | #Constraints:      63683
1653.89/1657.98	c #Conflicts:     963000 | #Constraints:      64683
1653.89/1657.98	c #Conflicts:     964000 | #Constraints:      65683
1653.89/1657.98	c #Conflicts:     965000 | #Constraints:      66683
1653.89/1657.98	c #Conflicts:     966000 | #Constraints:      67683
1653.89/1657.98	c #Conflicts:     967000 | #Constraints:      68683
1653.89/1657.98	c #Conflicts:     968000 | #Constraints:      69683
1653.89/1657.98	c #Conflicts:     969000 | #Constraints:      70683
1653.89/1657.98	c #Conflicts:     970000 | #Constraints:      71683
1653.89/1657.98	c #Conflicts:     971000 | #Constraints:      72683
1653.89/1657.98	c #Conflicts:     972000 | #Constraints:      73683
1653.89/1657.98	c #Conflicts:     973000 | #Constraints:      74683
1653.89/1657.98	c #Conflicts:     974000 | #Constraints:      75683
1653.89/1657.98	c #Conflicts:     975000 | #Constraints:      76683
1653.89/1657.98	c #Conflicts:     976000 | #Constraints:      77683
1653.89/1657.98	c #Conflicts:     977000 | #Constraints:      78683
1653.89/1657.98	c #Conflicts:     978000 | #Constraints:      79684
1653.89/1657.98	c #Conflicts:     979000 | #Constraints:      80684
1653.89/1657.98	c #Conflicts:     980000 | #Constraints:      81684
1653.89/1657.98	c #Conflicts:     981000 | #Constraints:      82684
1653.89/1657.98	c #Conflicts:     982000 | #Constraints:      83684
1653.89/1657.98	c #Conflicts:     983000 | #Constraints:      84684
1653.89/1657.98	c #Conflicts:     984000 | #Constraints:      85684
1653.89/1657.98	c #Conflicts:     985000 | #Constraints:      86684
1653.89/1657.98	c #Conflicts:     986000 | #Constraints:      87687
1653.89/1657.98	c #Conflicts:     987000 | #Constraints:      88689
1653.89/1657.99	c #Conflicts:     988000 | #Constraints:      89691
1653.89/1657.99	c #Conflicts:     989000 | #Constraints:      90691
1653.89/1657.99	c #Conflicts:     990000 | #Constraints:      91692
1653.89/1657.99	c #Conflicts:     991000 | #Constraints:      92692
1653.89/1657.99	c #Conflicts:     992000 | #Constraints:      93692
1653.89/1657.99	c #Conflicts:     993000 | #Constraints:      94692
1653.89/1657.99	c #Conflicts:     994000 | #Constraints:      95692
1653.89/1657.99	c #Conflicts:     995000 | #Constraints:      96692
1653.89/1657.99	c #Conflicts:     996000 | #Constraints:      97692
1653.89/1657.99	c #Conflicts:     997000 | #Constraints:      98692
1653.89/1657.99	c #Conflicts:     998000 | #Constraints:      99692
1653.89/1657.99	c #Conflicts:     999000 | #Constraints:     100692
1653.89/1657.99	c #Conflicts:    1000000 | #Constraints:     101692
1653.89/1657.99	c #Conflicts:    1001000 | #Constraints:     102693
1653.89/1657.99	c #Conflicts:    1002000 | #Constraints:     103693
1653.89/1657.99	c #Conflicts:    1003000 | #Constraints:     104693
1653.89/1657.99	c #Conflicts:    1004000 | #Constraints:     105693
1653.89/1657.99	c INPROCESSING
1653.89/1657.99	c GARBAGE COLLECT
1653.89/1657.99	c rational objective 82
1711.95/1716.13	c #Conflicts:    1005000 | #Constraints:      56804
1711.95/1716.13	c #Conflicts:    1006000 | #Constraints:      57804
1711.95/1716.13	c #Conflicts:    1007000 | #Constraints:      58805
1711.95/1716.13	c #Conflicts:    1008000 | #Constraints:      59805
1711.95/1716.13	c #Conflicts:    1009000 | #Constraints:      60806
1711.95/1716.13	c #Conflicts:    1010000 | #Constraints:      61807
1711.95/1716.13	c #Conflicts:    1011000 | #Constraints:      62807
1711.95/1716.13	c #Conflicts:    1012000 | #Constraints:      63807
1711.95/1716.13	c #Conflicts:    1013000 | #Constraints:      64807
1711.95/1716.13	c #Conflicts:    1014000 | #Constraints:      65808
1711.95/1716.13	c #Conflicts:    1015000 | #Constraints:      66808
1711.95/1716.13	c #Conflicts:    1016000 | #Constraints:      67808
1711.95/1716.13	c #Conflicts:    1017000 | #Constraints:      68808
1711.95/1716.13	c #Conflicts:    1018000 | #Constraints:      69808
1711.95/1716.13	c #Conflicts:    1019000 | #Constraints:      70808
1711.95/1716.13	c #Conflicts:    1020000 | #Constraints:      71808
1711.95/1716.13	c #Conflicts:    1021000 | #Constraints:      72808
1711.95/1716.13	c #Conflicts:    1022000 | #Constraints:      73808
1711.95/1716.13	c #Conflicts:    1023000 | #Constraints:      74808
1711.95/1716.13	c #Conflicts:    1024000 | #Constraints:      75808
1711.95/1716.13	c #Conflicts:    1025000 | #Constraints:      76808
1711.95/1716.13	c #Conflicts:    1026000 | #Constraints:      77808
1711.95/1716.13	c INPROCESSING
1711.95/1716.13	c GARBAGE COLLECT
1711.95/1716.13	c rational objective 82
1753.84/1758.10	c #Conflicts:    1027000 | #Constraints:      42645
1753.84/1758.10	c #Conflicts:    1028000 | #Constraints:      43645
1753.84/1758.10	c #Conflicts:    1029000 | #Constraints:      44645
1753.84/1758.10	c #Conflicts:    1030000 | #Constraints:      45645
1753.84/1758.10	c #Conflicts:    1031000 | #Constraints:      46645
1753.84/1758.10	c #Conflicts:    1032000 | #Constraints:      47645
1753.84/1758.10	c #Conflicts:    1033000 | #Constraints:      48645
1753.84/1758.10	c #Conflicts:    1034000 | #Constraints:      49645
1753.84/1758.10	c #Conflicts:    1035000 | #Constraints:      50645
1753.84/1758.10	c #Conflicts:    1036000 | #Constraints:      51645
1753.84/1758.10	c #Conflicts:    1037000 | #Constraints:      52645
1753.84/1758.10	c #Conflicts:    1038000 | #Constraints:      53645
1753.84/1758.10	c #Conflicts:    1039000 | #Constraints:      54645
1753.84/1758.10	c #Conflicts:    1040000 | #Constraints:      55645
1753.84/1758.10	c #Conflicts:    1041000 | #Constraints:      56645
1753.84/1758.10	c #Conflicts:    1042000 | #Constraints:      57645
1753.84/1758.10	c #Conflicts:    1043000 | #Constraints:      58646
1753.84/1758.10	c #Conflicts:    1044000 | #Constraints:      59646
1753.84/1758.10	c #Conflicts:    1045000 | #Constraints:      60646
1753.84/1758.10	c #Conflicts:    1046000 | #Constraints:      61646
1753.84/1758.10	c #Conflicts:    1047000 | #Constraints:      62646
1753.84/1758.10	c #Conflicts:    1048000 | #Constraints:      63646
1753.84/1758.10	c #Conflicts:    1049000 | #Constraints:      64646
1753.84/1758.10	c INPROCESSING
1753.84/1758.10	c GARBAGE COLLECT
1753.84/1758.10	c rational objective 82
1793.25/1797.61	c #Conflicts:    1050000 | #Constraints:      36301
1793.25/1797.61	c #Conflicts:    1051000 | #Constraints:      37302
1793.25/1797.61	c #Conflicts:    1052000 | #Constraints:      38302
1793.25/1797.61	c #Conflicts:    1053000 | #Constraints:      39302
1793.25/1797.61	c #Conflicts:    1054000 | #Constraints:      40302
1793.25/1797.61	c #Conflicts:    1055000 | #Constraints:      41302
1793.25/1797.61	c #Conflicts:    1056000 | #Constraints:      42302
1793.25/1797.61	c #Conflicts:    1057000 | #Constraints:      43302
1793.25/1797.61	c #Conflicts:    1058000 | #Constraints:      44302
1793.25/1797.61	c #Conflicts:    1059000 | #Constraints:      45302
1793.25/1797.61	c #Conflicts:    1060000 | #Constraints:      46302
1793.25/1797.61	c #Conflicts:    1061000 | #Constraints:      47302
1793.25/1797.61	c #Conflicts:    1062000 | #Constraints:      48302
1793.25/1797.61	c #Conflicts:    1063000 | #Constraints:      49303
1793.25/1797.61	c #Conflicts:    1064000 | #Constraints:      50303
1793.25/1797.61	c #Conflicts:    1065000 | #Constraints:      51303
1793.25/1797.61	c #Conflicts:    1066000 | #Constraints:      52303
1793.25/1797.61	c #Conflicts:    1067000 | #Constraints:      53303
1793.25/1797.61	c #Conflicts:    1068000 | #Constraints:      54303
1793.25/1797.61	c #Conflicts:    1069000 | #Constraints:      55303
1793.25/1797.61	c #Conflicts:    1070000 | #Constraints:      56303
1793.25/1797.61	c #Conflicts:    1071000 | #Constraints:      57304
1793.25/1797.61	c #Conflicts:    1072000 | #Constraints:      58304
1793.25/1797.61	c INPROCESSING
1793.25/1797.61	c GARBAGE COLLECT
1793.25/1797.61	c rational objective 82
1827.67/1832.12	c #Conflicts:    1073000 | #Constraints:      33136
1827.67/1832.12	c #Conflicts:    1074000 | #Constraints:      34136
1827.67/1832.12	c #Conflicts:    1075000 | #Constraints:      35136
1827.67/1832.12	c #Conflicts:    1076000 | #Constraints:      36136
1827.67/1832.12	c #Conflicts:    1077000 | #Constraints:      37136
1827.67/1832.12	c #Conflicts:    1078000 | #Constraints:      38136
1827.67/1832.12	c #Conflicts:    1079000 | #Constraints:      39136
1827.67/1832.12	c #Conflicts:    1080000 | #Constraints:      40137
1827.67/1832.12	c #Conflicts:    1081000 | #Constraints:      41137
1827.67/1832.12	c #Conflicts:    1082000 | #Constraints:      42137
1827.67/1832.12	c #Conflicts:    1083000 | #Constraints:      43137
1827.67/1832.12	c #Conflicts:    1084000 | #Constraints:      44137
1827.67/1832.12	c #Conflicts:    1085000 | #Constraints:      45137
1827.67/1832.12	c #Conflicts:    1086000 | #Constraints:      46137
1827.67/1832.12	c #Conflicts:    1087000 | #Constraints:      47137
1827.67/1832.12	c #Conflicts:    1088000 | #Constraints:      48137
1827.67/1832.12	c #Conflicts:    1089000 | #Constraints:      49138
1827.67/1832.12	c #Conflicts:    1090000 | #Constraints:      50138
1827.67/1832.12	c #Conflicts:    1091000 | #Constraints:      51138
1827.67/1832.12	c #Conflicts:    1092000 | #Constraints:      52138
1827.67/1832.12	c #Conflicts:    1093000 | #Constraints:      53138
1827.67/1832.12	c #Conflicts:    1094000 | #Constraints:      54138
1827.67/1832.12	c #Conflicts:    1095000 | #Constraints:      55138
1827.67/1832.12	c INPROCESSING
1827.67/1832.12	c GARBAGE COLLECT
1827.67/1832.12	c rational objective 82
2028.56/2033.57	c #Conflicts:    1096000 | #Constraints:      31456
2028.56/2033.57	c #Conflicts:    1097000 | #Constraints:      32456
2028.56/2033.57	c #Conflicts:    1098000 | #Constraints:      33456
2028.56/2033.57	c #Conflicts:    1099000 | #Constraints:      34456
2028.56/2033.57	c #Conflicts:    1100000 | #Constraints:      35456
2028.56/2033.57	c #Conflicts:    1101000 | #Constraints:      36456
2028.56/2033.57	c #Conflicts:    1102000 | #Constraints:      37457
2028.56/2033.57	c #Conflicts:    1103000 | #Constraints:      38458
2028.56/2033.57	c #Conflicts:    1104000 | #Constraints:      39458
2028.56/2033.57	c #Conflicts:    1105000 | #Constraints:      40458
2028.56/2033.57	c #Conflicts:    1106000 | #Constraints:      41458
2028.56/2033.57	c #Conflicts:    1107000 | #Constraints:      42458
2028.56/2033.57	c #Conflicts:    1108000 | #Constraints:      43458
2028.56/2033.57	c #Conflicts:    1109000 | #Constraints:      44458
2028.56/2033.57	c #Conflicts:    1110000 | #Constraints:      45458
2028.56/2033.57	c #Conflicts:    1111000 | #Constraints:      46458
2028.56/2033.57	c #Conflicts:    1112000 | #Constraints:      47458
2028.56/2033.57	c #Conflicts:    1113000 | #Constraints:      48458
2028.56/2033.57	c #Conflicts:    1114000 | #Constraints:      49458
2028.56/2033.57	c #Conflicts:    1115000 | #Constraints:      50459
2028.56/2033.57	c #Conflicts:    1116000 | #Constraints:      51459
2028.56/2033.57	c #Conflicts:    1117000 | #Constraints:      52459
2028.56/2033.57	c #Conflicts:    1118000 | #Constraints:      53459
2028.56/2033.57	c #Conflicts:    1119000 | #Constraints:      54459
2028.56/2033.57	c #Conflicts:    1120000 | #Constraints:      55459
2028.56/2033.57	c #Conflicts:    1121000 | #Constraints:      56459
2028.56/2033.57	c #Conflicts:    1122000 | #Constraints:      57459
2028.56/2033.57	c #Conflicts:    1123000 | #Constraints:      58459
2028.56/2033.57	c #Conflicts:    1124000 | #Constraints:      59459
2028.56/2033.57	c #Conflicts:    1125000 | #Constraints:      60459
2028.56/2033.57	c #Conflicts:    1126000 | #Constraints:      61459
2028.56/2033.57	c #Conflicts:    1127000 | #Constraints:      62459
2028.56/2033.57	c #Conflicts:    1128000 | #Constraints:      63459
2028.56/2033.57	c #Conflicts:    1129000 | #Constraints:      64459
2028.56/2033.57	c #Conflicts:    1130000 | #Constraints:      65459
2028.56/2033.57	c #Conflicts:    1131000 | #Constraints:      66459
2028.56/2033.57	c #Conflicts:    1132000 | #Constraints:      67459
2028.56/2033.57	c #Conflicts:    1133000 | #Constraints:      68459
2028.56/2033.57	c #Conflicts:    1134000 | #Constraints:      69459
2028.56/2033.57	c #Conflicts:    1135000 | #Constraints:      70459
2028.56/2033.57	c #Conflicts:    1136000 | #Constraints:      71460
2028.56/2033.57	c #Conflicts:    1137000 | #Constraints:      72460
2028.56/2033.57	c #Conflicts:    1138000 | #Constraints:      73460
2028.56/2033.57	c #Conflicts:    1139000 | #Constraints:      74460
2028.56/2033.57	c #Conflicts:    1140000 | #Constraints:      75460
2028.56/2033.57	c #Conflicts:    1141000 | #Constraints:      76460
2028.56/2033.57	c #Conflicts:    1142000 | #Constraints:      77460
2028.56/2033.57	c #Conflicts:    1143000 | #Constraints:      78461
2028.56/2033.57	c #Conflicts:    1144000 | #Constraints:      79461
2028.56/2033.57	c #Conflicts:    1145000 | #Constraints:      80461
2028.56/2033.57	c #Conflicts:    1146000 | #Constraints:      81461
2028.56/2033.57	c #Conflicts:    1147000 | #Constraints:      82461
2028.56/2033.57	c #Conflicts:    1148000 | #Constraints:      83461
2028.56/2033.57	c #Conflicts:    1149000 | #Constraints:      84461
2028.56/2033.57	c #Conflicts:    1150000 | #Constraints:      85461
2028.56/2033.57	c #Conflicts:    1151000 | #Constraints:      86461
2028.56/2033.57	c #Conflicts:    1152000 | #Constraints:      87461
2028.56/2033.57	c #Conflicts:    1153000 | #Constraints:      88461
2028.56/2033.57	c #Conflicts:    1154000 | #Constraints:      89461
2028.56/2033.57	c #Conflicts:    1155000 | #Constraints:      90461
2028.56/2033.57	c #Conflicts:    1156000 | #Constraints:      91462
2028.56/2033.57	c #Conflicts:    1157000 | #Constraints:      92462
2028.56/2033.57	c #Conflicts:    1158000 | #Constraints:      93462
2028.56/2033.57	c #Conflicts:    1159000 | #Constraints:      94463
2028.56/2033.57	c #Conflicts:    1160000 | #Constraints:      95463
2028.56/2033.57	c #Conflicts:    1161000 | #Constraints:      96463
2028.56/2033.57	c #Conflicts:    1162000 | #Constraints:      97463
2028.56/2033.57	c #Conflicts:    1163000 | #Constraints:      98463
2028.56/2033.57	c #Conflicts:    1164000 | #Constraints:      99463
2028.56/2033.57	c #Conflicts:    1165000 | #Constraints:     100463
2028.56/2033.57	c #Conflicts:    1166000 | #Constraints:     101463
2028.56/2033.57	c #Conflicts:    1167000 | #Constraints:     102463
2028.56/2033.57	c #Conflicts:    1168000 | #Constraints:     103463
2028.56/2033.57	c #Conflicts:    1169000 | #Constraints:     104463
2028.56/2033.57	c #Conflicts:    1170000 | #Constraints:     105463
2028.56/2033.57	c #Conflicts:    1171000 | #Constraints:     106463
2028.56/2033.57	c #Conflicts:    1172000 | #Constraints:     107463
2028.56/2033.57	c #Conflicts:    1173000 | #Constraints:     108463
2028.56/2033.57	c #Conflicts:    1174000 | #Constraints:     109463
2054.79/2059.84	c #Conflicts:    1175000 | #Constraints:     110463
2054.79/2059.84	c #Conflicts:    1176000 | #Constraints:     111463
2054.79/2059.84	c #Conflicts:    1177000 | #Constraints:     112463
2054.79/2059.84	c #Conflicts:    1178000 | #Constraints:     113463
2054.79/2059.84	c #Conflicts:    1179000 | #Constraints:     114463
2054.79/2059.84	c INPROCESSING
2054.79/2059.84	c GARBAGE COLLECT
2054.79/2059.84	c rational objective 82
2120.82/2126.00	c #Conflicts:    1180000 | #Constraints:      61371
2120.82/2126.00	c #Conflicts:    1181000 | #Constraints:      62371
2120.82/2126.00	c #Conflicts:    1182000 | #Constraints:      63371
2120.82/2126.00	c #Conflicts:    1183000 | #Constraints:      64371
2120.82/2126.00	c #Conflicts:    1184000 | #Constraints:      65371
2120.82/2126.00	c #Conflicts:    1185000 | #Constraints:      66371
2120.82/2126.00	c #Conflicts:    1186000 | #Constraints:      67371
2120.82/2126.00	c #Conflicts:    1187000 | #Constraints:      68372
2120.82/2126.00	c #Conflicts:    1188000 | #Constraints:      69372
2120.82/2126.00	c #Conflicts:    1189000 | #Constraints:      70372
2120.82/2126.00	c #Conflicts:    1190000 | #Constraints:      71373
2120.82/2126.00	c #Conflicts:    1191000 | #Constraints:      72373
2120.82/2126.00	c #Conflicts:    1192000 | #Constraints:      73373
2120.82/2126.00	c #Conflicts:    1193000 | #Constraints:      74374
2120.82/2126.00	c #Conflicts:    1194000 | #Constraints:      75374
2120.82/2126.00	c #Conflicts:    1195000 | #Constraints:      76374
2120.82/2126.00	c #Conflicts:    1196000 | #Constraints:      77374
2120.82/2126.00	c #Conflicts:    1197000 | #Constraints:      78374
2120.82/2126.00	c #Conflicts:    1198000 | #Constraints:      79375
2120.82/2126.00	c #Conflicts:    1199000 | #Constraints:      80375
2120.82/2126.00	c #Conflicts:    1200000 | #Constraints:      81375
2120.82/2126.00	c #Conflicts:    1201000 | #Constraints:      82375
2120.82/2126.00	c #Conflicts:    1202000 | #Constraints:      83375
2120.82/2126.00	c #Conflicts:    1203000 | #Constraints:      84375
2120.82/2126.00	c INPROCESSING
2120.82/2126.00	c GARBAGE COLLECT
2120.82/2126.00	c rational objective 82
2166.90/2172.28	c #Conflicts:    1204000 | #Constraints:      46150
2166.90/2172.28	c #Conflicts:    1205000 | #Constraints:      47150
2166.90/2172.28	c #Conflicts:    1206000 | #Constraints:      48150
2166.90/2172.28	c #Conflicts:    1207000 | #Constraints:      49150
2166.90/2172.28	c #Conflicts:    1208000 | #Constraints:      50150
2166.90/2172.28	c #Conflicts:    1209000 | #Constraints:      51150
2166.90/2172.28	c #Conflicts:    1210000 | #Constraints:      52150
2166.90/2172.28	c #Conflicts:    1211000 | #Constraints:      53150
2166.90/2172.28	c #Conflicts:    1212000 | #Constraints:      54150
2166.90/2172.28	c #Conflicts:    1213000 | #Constraints:      55150
2166.90/2172.28	c #Conflicts:    1214000 | #Constraints:      56150
2166.90/2172.28	c #Conflicts:    1215000 | #Constraints:      57150
2166.90/2172.28	c #Conflicts:    1216000 | #Constraints:      58150
2166.90/2172.28	c #Conflicts:    1217000 | #Constraints:      59150
2166.90/2172.28	c #Conflicts:    1218000 | #Constraints:      60150
2166.90/2172.28	c #Conflicts:    1219000 | #Constraints:      61150
2166.90/2172.28	c #Conflicts:    1220000 | #Constraints:      62151
2166.90/2172.28	c #Conflicts:    1221000 | #Constraints:      63151
2166.90/2172.28	c #Conflicts:    1222000 | #Constraints:      64151
2166.90/2172.28	c #Conflicts:    1223000 | #Constraints:      65151
2166.90/2172.28	c #Conflicts:    1224000 | #Constraints:      66151
2166.90/2172.28	c #Conflicts:    1225000 | #Constraints:      67151
2166.90/2172.28	c #Conflicts:    1226000 | #Constraints:      68151
2166.90/2172.28	c #Conflicts:    1227000 | #Constraints:      69151
2166.90/2172.28	c #Conflicts:    1228000 | #Constraints:      70151
2166.90/2172.28	c INPROCESSING
2166.90/2172.28	c GARBAGE COLLECT
2166.90/2172.28	c rational objective 82
2207.31/2212.73	c #Conflicts:    1229000 | #Constraints:      39194
2207.31/2212.73	c #Conflicts:    1230000 | #Constraints:      40194
2207.31/2212.73	c #Conflicts:    1231000 | #Constraints:      41194
2207.31/2212.73	c #Conflicts:    1232000 | #Constraints:      42194
2207.31/2212.73	c #Conflicts:    1233000 | #Constraints:      43194
2207.31/2212.73	c #Conflicts:    1234000 | #Constraints:      44194
2207.31/2212.73	c #Conflicts:    1235000 | #Constraints:      45194
2207.31/2212.73	c #Conflicts:    1236000 | #Constraints:      46194
2207.31/2212.73	c #Conflicts:    1237000 | #Constraints:      47194
2207.31/2212.73	c #Conflicts:    1238000 | #Constraints:      48194
2207.31/2212.73	c #Conflicts:    1239000 | #Constraints:      49195
2207.31/2212.73	c #Conflicts:    1240000 | #Constraints:      50195
2207.31/2212.73	c #Conflicts:    1241000 | #Constraints:      51195
2207.31/2212.73	c #Conflicts:    1242000 | #Constraints:      52195
2207.31/2212.73	c #Conflicts:    1243000 | #Constraints:      53195
2207.31/2212.73	c #Conflicts:    1244000 | #Constraints:      54195
2207.31/2212.73	c #Conflicts:    1245000 | #Constraints:      55195
2207.31/2212.73	c #Conflicts:    1246000 | #Constraints:      56195
2207.31/2212.73	c #Conflicts:    1247000 | #Constraints:      57195
2207.31/2212.73	c #Conflicts:    1248000 | #Constraints:      58195
2207.31/2212.73	c #Conflicts:    1249000 | #Constraints:      59195
2207.31/2212.73	c #Conflicts:    1250000 | #Constraints:      60195
2207.31/2212.73	c #Conflicts:    1251000 | #Constraints:      61196
2207.31/2212.73	c #Conflicts:    1252000 | #Constraints:      62196
2207.31/2212.73	c #Conflicts:    1253000 | #Constraints:      63196
2207.31/2212.73	c INPROCESSING
2207.31/2212.73	c GARBAGE COLLECT
2207.31/2212.73	c rational objective 82
2247.01/2252.59	c #Conflicts:    1254000 | #Constraints:      35852
2247.01/2252.59	c #Conflicts:    1255000 | #Constraints:      36852
2247.01/2252.59	c #Conflicts:    1256000 | #Constraints:      37853
2247.01/2252.59	c #Conflicts:    1257000 | #Constraints:      38853
2247.01/2252.59	c #Conflicts:    1258000 | #Constraints:      39853
2247.01/2252.59	c #Conflicts:    1259000 | #Constraints:      40853
2247.01/2252.59	c #Conflicts:    1260000 | #Constraints:      41853
2247.01/2252.59	c #Conflicts:    1261000 | #Constraints:      42853
2247.01/2252.59	c #Conflicts:    1262000 | #Constraints:      43853
2247.01/2252.59	c #Conflicts:    1263000 | #Constraints:      44853
2247.01/2252.59	c #Conflicts:    1264000 | #Constraints:      45853
2247.01/2252.59	c #Conflicts:    1265000 | #Constraints:      46853
2247.01/2252.59	c #Conflicts:    1266000 | #Constraints:      47853
2247.01/2252.59	c #Conflicts:    1267000 | #Constraints:      48853
2247.01/2252.59	c #Conflicts:    1268000 | #Constraints:      49853
2247.01/2252.59	c #Conflicts:    1269000 | #Constraints:      50853
2247.01/2252.59	c #Conflicts:    1270000 | #Constraints:      51853
2247.01/2252.59	c #Conflicts:    1271000 | #Constraints:      52854
2247.01/2252.59	c #Conflicts:    1272000 | #Constraints:      53854
2247.01/2252.59	c #Conflicts:    1273000 | #Constraints:      54854
2247.01/2252.59	c #Conflicts:    1274000 | #Constraints:      55854
2247.01/2252.59	c #Conflicts:    1275000 | #Constraints:      56854
2247.01/2252.59	c #Conflicts:    1276000 | #Constraints:      57854
2247.01/2252.59	c #Conflicts:    1277000 | #Constraints:      58854
2247.01/2252.59	c #Conflicts:    1278000 | #Constraints:      59854
2247.01/2252.59	c INPROCESSING
2247.01/2252.59	c GARBAGE COLLECT
2247.01/2252.59	c rational objective 82
2452.40/2458.43	c #Conflicts:    1279000 | #Constraints:      34199
2452.40/2458.43	c #Conflicts:    1280000 | #Constraints:      35199
2452.40/2458.43	c #Conflicts:    1281000 | #Constraints:      36199
2452.40/2458.43	c #Conflicts:    1282000 | #Constraints:      37199
2452.40/2458.43	c #Conflicts:    1283000 | #Constraints:      38199
2452.40/2458.43	c #Conflicts:    1284000 | #Constraints:      39199
2452.40/2458.43	c #Conflicts:    1285000 | #Constraints:      40199
2452.40/2458.43	c #Conflicts:    1286000 | #Constraints:      41199
2452.40/2458.43	c #Conflicts:    1287000 | #Constraints:      42200
2452.40/2458.43	c #Conflicts:    1288000 | #Constraints:      43201
2452.40/2458.43	c #Conflicts:    1289000 | #Constraints:      44201
2452.40/2458.43	c #Conflicts:    1290000 | #Constraints:      45201
2452.40/2458.43	c #Conflicts:    1291000 | #Constraints:      46201
2452.40/2458.43	c #Conflicts:    1292000 | #Constraints:      47201
2452.40/2458.43	c #Conflicts:    1293000 | #Constraints:      48201
2452.40/2458.43	c #Conflicts:    1294000 | #Constraints:      49201
2452.40/2458.43	c #Conflicts:    1295000 | #Constraints:      50201
2452.40/2458.43	c #Conflicts:    1296000 | #Constraints:      51201
2452.40/2458.43	c #Conflicts:    1297000 | #Constraints:      52201
2452.40/2458.43	c #Conflicts:    1298000 | #Constraints:      53201
2452.40/2458.43	c #Conflicts:    1299000 | #Constraints:      54201
2452.40/2458.43	c #Conflicts:    1300000 | #Constraints:      55201
2452.40/2458.43	c #Conflicts:    1301000 | #Constraints:      56201
2452.40/2458.43	c #Conflicts:    1302000 | #Constraints:      57201
2452.40/2458.43	c #Conflicts:    1303000 | #Constraints:      58202
2452.40/2458.43	c #Conflicts:    1304000 | #Constraints:      59202
2452.40/2458.43	c #Conflicts:    1305000 | #Constraints:      60202
2452.40/2458.43	c #Conflicts:    1306000 | #Constraints:      61202
2452.40/2458.43	c #Conflicts:    1307000 | #Constraints:      62202
2452.40/2458.43	c #Conflicts:    1308000 | #Constraints:      63202
2452.40/2458.43	c #Conflicts:    1309000 | #Constraints:      64202
2452.40/2458.43	c #Conflicts:    1310000 | #Constraints:      65202
2452.40/2458.43	c #Conflicts:    1311000 | #Constraints:      66202
2452.40/2458.43	c #Conflicts:    1312000 | #Constraints:      67202
2452.40/2458.43	c #Conflicts:    1313000 | #Constraints:      68202
2452.40/2458.43	c #Conflicts:    1314000 | #Constraints:      69203
2452.40/2458.43	c #Conflicts:    1315000 | #Constraints:      70203
2452.40/2458.43	c #Conflicts:    1316000 | #Constraints:      71203
2452.40/2458.43	c #Conflicts:    1317000 | #Constraints:      72203
2452.40/2458.43	c #Conflicts:    1318000 | #Constraints:      73203
2452.40/2458.43	c #Conflicts:    1319000 | #Constraints:      74203
2452.40/2458.43	c #Conflicts:    1320000 | #Constraints:      75203
2452.40/2458.43	c #Conflicts:    1321000 | #Constraints:      76203
2452.40/2458.43	c #Conflicts:    1322000 | #Constraints:      77203
2452.40/2458.43	c #Conflicts:    1323000 | #Constraints:      78203
2452.40/2458.43	c #Conflicts:    1324000 | #Constraints:      79203
2452.40/2458.43	c #Conflicts:    1325000 | #Constraints:      80203
2452.40/2458.43	c #Conflicts:    1326000 | #Constraints:      81204
2452.40/2458.43	c #Conflicts:    1327000 | #Constraints:      82204
2452.40/2458.43	c #Conflicts:    1328000 | #Constraints:      83204
2452.40/2458.43	c #Conflicts:    1329000 | #Constraints:      84204
2452.40/2458.43	c #Conflicts:    1330000 | #Constraints:      85204
2452.40/2458.43	c #Conflicts:    1331000 | #Constraints:      86206
2452.40/2458.43	c #Conflicts:    1332000 | #Constraints:      87206
2452.40/2458.43	c #Conflicts:    1333000 | #Constraints:      88206
2452.40/2458.43	c #Conflicts:    1334000 | #Constraints:      89206
2452.40/2458.43	c #Conflicts:    1335000 | #Constraints:      90206
2452.40/2458.43	c #Conflicts:    1336000 | #Constraints:      91206
2452.40/2458.43	c #Conflicts:    1337000 | #Constraints:      92206
2452.40/2458.43	c #Conflicts:    1338000 | #Constraints:      93206
2452.40/2458.43	c #Conflicts:    1339000 | #Constraints:      94206
2452.40/2458.43	c #Conflicts:    1340000 | #Constraints:      95206
2452.40/2458.43	c #Conflicts:    1341000 | #Constraints:      96206
2452.40/2458.43	c #Conflicts:    1342000 | #Constraints:      97206
2452.40/2458.43	c #Conflicts:    1343000 | #Constraints:      98206
2452.40/2458.43	c #Conflicts:    1344000 | #Constraints:      99207
2452.40/2458.43	c #Conflicts:    1345000 | #Constraints:     100207
2452.40/2458.43	c #Conflicts:    1346000 | #Constraints:     101207
2452.40/2458.43	c #Conflicts:    1347000 | #Constraints:     102207
2452.40/2458.43	c #Conflicts:    1348000 | #Constraints:     103207
2452.40/2458.43	c #Conflicts:    1349000 | #Constraints:     104207
2452.40/2458.43	c #Conflicts:    1350000 | #Constraints:     105207
2452.40/2458.43	c #Conflicts:    1351000 | #Constraints:     106207
2452.40/2458.43	c #Conflicts:    1352000 | #Constraints:     107207
2452.40/2458.43	c #Conflicts:    1353000 | #Constraints:     108207
2452.40/2458.43	c #Conflicts:    1354000 | #Constraints:     109207
2452.40/2458.43	c #Conflicts:    1355000 | #Constraints:     110207
2452.40/2458.43	c #Conflicts:    1356000 | #Constraints:     111207
2452.40/2458.43	c #Conflicts:    1357000 | #Constraints:     112207
2509.35/2515.50	c #Conflicts:    1358000 | #Constraints:     113207
2509.35/2515.50	c #Conflicts:    1359000 | #Constraints:     114207
2509.35/2515.50	c #Conflicts:    1360000 | #Constraints:     115207
2509.35/2515.50	c #Conflicts:    1361000 | #Constraints:     116207
2509.35/2515.50	c #Conflicts:    1362000 | #Constraints:     117207
2509.35/2515.50	c #Conflicts:    1363000 | #Constraints:     118207
2509.35/2515.50	c #Conflicts:    1364000 | #Constraints:     119207
2509.35/2515.50	c #Conflicts:    1365000 | #Constraints:     120207
2509.35/2515.50	c #Conflicts:    1366000 | #Constraints:     121207
2509.35/2515.50	c #Conflicts:    1367000 | #Constraints:     122207
2509.35/2515.50	c #Conflicts:    1368000 | #Constraints:     123207
2509.35/2515.50	c INPROCESSING
2509.35/2515.50	c GARBAGE COLLECT
2509.35/2515.50	c rational objective 82
2580.36/2586.71	c #Conflicts:    1369000 | #Constraints:      65868
2580.36/2586.71	c #Conflicts:    1370000 | #Constraints:      66868
2580.36/2586.71	c #Conflicts:    1371000 | #Constraints:      67868
2580.36/2586.71	c #Conflicts:    1372000 | #Constraints:      68868
2580.36/2586.71	c #Conflicts:    1373000 | #Constraints:      69868
2580.36/2586.71	c #Conflicts:    1374000 | #Constraints:      70868
2580.36/2586.71	c #Conflicts:    1375000 | #Constraints:      71869
2580.36/2586.71	c #Conflicts:    1376000 | #Constraints:      72869
2580.36/2586.71	c #Conflicts:    1377000 | #Constraints:      73869
2580.36/2586.71	c #Conflicts:    1378000 | #Constraints:      74869
2580.36/2586.71	c #Conflicts:    1379000 | #Constraints:      75869
2580.36/2586.71	c #Conflicts:    1380000 | #Constraints:      76869
2580.36/2586.71	c #Conflicts:    1381000 | #Constraints:      77869
2580.36/2586.71	c #Conflicts:    1382000 | #Constraints:      78869
2580.36/2586.71	c #Conflicts:    1383000 | #Constraints:      79869
2580.36/2586.71	c #Conflicts:    1384000 | #Constraints:      80869
2580.36/2586.71	c #Conflicts:    1385000 | #Constraints:      81869
2580.36/2586.71	c #Conflicts:    1386000 | #Constraints:      82869
2580.36/2586.71	c #Conflicts:    1387000 | #Constraints:      83869
2580.36/2586.71	c #Conflicts:    1388000 | #Constraints:      84869
2580.36/2586.71	c #Conflicts:    1389000 | #Constraints:      85869
2580.36/2586.71	c #Conflicts:    1390000 | #Constraints:      86869
2580.36/2586.71	c #Conflicts:    1391000 | #Constraints:      87869
2580.36/2586.71	c #Conflicts:    1392000 | #Constraints:      88869
2580.36/2586.71	c #Conflicts:    1393000 | #Constraints:      89869
2580.36/2586.71	c #Conflicts:    1394000 | #Constraints:      90869
2580.36/2586.71	c INPROCESSING
2580.36/2586.71	c GARBAGE COLLECT
2580.36/2586.71	c rational objective 82
2630.82/2637.36	c #Conflicts:    1395000 | #Constraints:      49511
2630.82/2637.36	c #Conflicts:    1396000 | #Constraints:      50511
2630.82/2637.36	c #Conflicts:    1397000 | #Constraints:      51512
2630.82/2637.36	c #Conflicts:    1398000 | #Constraints:      52512
2630.82/2637.36	c #Conflicts:    1399000 | #Constraints:      53512
2630.82/2637.36	c #Conflicts:    1400000 | #Constraints:      54512
2630.82/2637.36	c #Conflicts:    1401000 | #Constraints:      55512
2630.82/2637.36	c #Conflicts:    1402000 | #Constraints:      56512
2630.82/2637.36	c #Conflicts:    1403000 | #Constraints:      57512
2630.82/2637.36	c #Conflicts:    1404000 | #Constraints:      58512
2630.82/2637.36	c #Conflicts:    1405000 | #Constraints:      59512
2630.82/2637.36	c #Conflicts:    1406000 | #Constraints:      60512
2630.82/2637.36	c #Conflicts:    1407000 | #Constraints:      61512
2630.82/2637.36	c #Conflicts:    1408000 | #Constraints:      62512
2630.82/2637.36	c #Conflicts:    1409000 | #Constraints:      63512
2630.82/2637.36	c #Conflicts:    1410000 | #Constraints:      64512
2630.82/2637.36	c #Conflicts:    1411000 | #Constraints:      65512
2630.82/2637.36	c #Conflicts:    1412000 | #Constraints:      66512
2630.82/2637.36	c #Conflicts:    1413000 | #Constraints:      67512
2630.82/2637.36	c #Conflicts:    1414000 | #Constraints:      68512
2630.82/2637.36	c #Conflicts:    1415000 | #Constraints:      69512
2630.82/2637.36	c #Conflicts:    1416000 | #Constraints:      70512
2630.82/2637.36	c #Conflicts:    1417000 | #Constraints:      71512
2630.82/2637.36	c #Conflicts:    1418000 | #Constraints:      72512
2630.82/2637.36	c #Conflicts:    1419000 | #Constraints:      73512
2630.82/2637.36	c #Conflicts:    1420000 | #Constraints:      74512
2630.82/2637.36	c INPROCESSING
2630.82/2637.36	c GARBAGE COLLECT
2630.82/2637.36	c rational objective 82
2685.99/2692.67	c #Conflicts:    1421000 | #Constraints:      41079
2685.99/2692.67	c #Conflicts:    1422000 | #Constraints:      42079
2685.99/2692.67	c #Conflicts:    1423000 | #Constraints:      43079
2685.99/2692.67	c #Conflicts:    1424000 | #Constraints:      44079
2685.99/2692.67	c #Conflicts:    1425000 | #Constraints:      45079
2685.99/2692.67	c #Conflicts:    1426000 | #Constraints:      46079
2685.99/2692.67	c #Conflicts:    1427000 | #Constraints:      47079
2685.99/2692.67	c #Conflicts:    1428000 | #Constraints:      48079
2685.99/2692.67	c #Conflicts:    1429000 | #Constraints:      49079
2685.99/2692.67	c #Conflicts:    1430000 | #Constraints:      50079
2685.99/2692.67	c #Conflicts:    1431000 | #Constraints:      51079
2685.99/2692.67	c #Conflicts:    1432000 | #Constraints:      52079
2685.99/2692.67	c #Conflicts:    1433000 | #Constraints:      53079
2685.99/2692.67	c #Conflicts:    1434000 | #Constraints:      54079
2685.99/2692.67	c #Conflicts:    1435000 | #Constraints:      55079
2685.99/2692.67	c #Conflicts:    1436000 | #Constraints:      56080
2685.99/2692.67	c #Conflicts:    1437000 | #Constraints:      57080
2685.99/2692.67	c #Conflicts:    1438000 | #Constraints:      58080
2685.99/2692.67	c #Conflicts:    1439000 | #Constraints:      59080
2685.99/2692.67	c #Conflicts:    1440000 | #Constraints:      60081
2685.99/2692.67	c #Conflicts:    1441000 | #Constraints:      61081
2685.99/2692.67	c #Conflicts:    1442000 | #Constraints:      62081
2685.99/2692.67	c #Conflicts:    1443000 | #Constraints:      63081
2685.99/2692.67	c #Conflicts:    1444000 | #Constraints:      64081
2685.99/2692.67	c #Conflicts:    1445000 | #Constraints:      65081
2685.99/2692.67	c #Conflicts:    1446000 | #Constraints:      66081
2685.99/2692.67	c #Conflicts:    1447000 | #Constraints:      67081
2685.99/2692.67	c INPROCESSING
2685.99/2692.67	c GARBAGE COLLECT
2685.99/2692.67	c rational objective 82
2731.89/2738.63	c #Conflicts:    1448000 | #Constraints:      37554
2731.89/2738.63	c #Conflicts:    1449000 | #Constraints:      38554
2731.89/2738.63	c #Conflicts:    1450000 | #Constraints:      39554
2731.89/2738.63	c #Conflicts:    1451000 | #Constraints:      40554
2731.89/2738.63	c #Conflicts:    1452000 | #Constraints:      41554
2731.89/2738.63	c #Conflicts:    1453000 | #Constraints:      42554
2731.89/2738.63	c #Conflicts:    1454000 | #Constraints:      43554
2731.89/2738.63	c #Conflicts:    1455000 | #Constraints:      44554
2731.89/2738.63	c #Conflicts:    1456000 | #Constraints:      45554
2731.89/2738.63	c #Conflicts:    1457000 | #Constraints:      46554
2731.89/2738.63	c #Conflicts:    1458000 | #Constraints:      47554
2731.89/2738.63	c #Conflicts:    1459000 | #Constraints:      48554
2731.89/2738.63	c #Conflicts:    1460000 | #Constraints:      49554
2731.89/2738.63	c #Conflicts:    1461000 | #Constraints:      50554
2731.89/2738.63	c #Conflicts:    1462000 | #Constraints:      51554
2731.89/2738.63	c #Conflicts:    1463000 | #Constraints:      52554
2731.89/2738.63	c #Conflicts:    1464000 | #Constraints:      53554
2731.89/2738.63	c #Conflicts:    1465000 | #Constraints:      54554
2731.89/2738.63	c #Conflicts:    1466000 | #Constraints:      55554
2731.89/2738.63	c #Conflicts:    1467000 | #Constraints:      56554
2731.89/2738.63	c #Conflicts:    1468000 | #Constraints:      57554
2731.89/2738.63	c #Conflicts:    1469000 | #Constraints:      58554
2731.89/2738.63	c #Conflicts:    1470000 | #Constraints:      59554
2731.89/2738.63	c #Conflicts:    1471000 | #Constraints:      60554
2731.89/2738.63	c #Conflicts:    1472000 | #Constraints:      61554
2731.89/2738.63	c #Conflicts:    1473000 | #Constraints:      62554
2731.89/2738.63	c #Conflicts:    1474000 | #Constraints:      63554
2731.89/2738.63	c INPROCESSING
2731.89/2738.63	c GARBAGE COLLECT
2731.89/2738.63	c rational objective 82
2909.77/2916.90	c #Conflicts:    1475000 | #Constraints:      35875
2909.77/2916.90	c #Conflicts:    1476000 | #Constraints:      36875
2909.77/2916.90	c #Conflicts:    1477000 | #Constraints:      37875
2909.77/2916.90	c #Conflicts:    1478000 | #Constraints:      38875
2909.77/2916.90	c #Conflicts:    1479000 | #Constraints:      39875
2909.77/2916.90	c #Conflicts:    1480000 | #Constraints:      40875
2909.77/2916.90	c #Conflicts:    1481000 | #Constraints:      41876
2909.77/2916.90	c #Conflicts:    1482000 | #Constraints:      42876
2909.77/2916.90	c #Conflicts:    1483000 | #Constraints:      43876
2909.77/2916.90	c #Conflicts:    1484000 | #Constraints:      44876
2909.77/2916.90	c #Conflicts:    1485000 | #Constraints:      45876
2909.77/2916.90	c #Conflicts:    1486000 | #Constraints:      46876
2909.77/2916.90	c #Conflicts:    1487000 | #Constraints:      47876
2909.77/2916.90	c #Conflicts:    1488000 | #Constraints:      48876
2909.77/2916.90	c #Conflicts:    1489000 | #Constraints:      49876
2909.77/2916.90	c #Conflicts:    1490000 | #Constraints:      50876
2909.77/2916.90	c #Conflicts:    1491000 | #Constraints:      51876
2909.77/2916.90	c #Conflicts:    1492000 | #Constraints:      52877
2909.77/2916.90	c #Conflicts:    1493000 | #Constraints:      53878
2909.77/2916.90	c #Conflicts:    1494000 | #Constraints:      54878
2909.77/2916.90	c #Conflicts:    1495000 | #Constraints:      55878
2909.77/2916.90	c #Conflicts:    1496000 | #Constraints:      56878
2909.77/2916.90	c #Conflicts:    1497000 | #Constraints:      57878
2909.77/2916.90	c #Conflicts:    1498000 | #Constraints:      58878
2909.77/2916.90	c #Conflicts:    1499000 | #Constraints:      59878
2909.77/2916.90	c #Conflicts:    1500000 | #Constraints:      60878
2909.77/2916.90	c #Conflicts:    1501000 | #Constraints:      61878
2909.77/2916.90	c #Conflicts:    1502000 | #Constraints:      62878
2909.77/2916.90	c #Conflicts:    1503000 | #Constraints:      63878
2909.77/2916.90	c #Conflicts:    1504000 | #Constraints:      64878
2909.77/2916.90	c #Conflicts:    1505000 | #Constraints:      65878
2909.77/2916.90	c #Conflicts:    1506000 | #Constraints:      66878
2909.77/2916.90	c #Conflicts:    1507000 | #Constraints:      67878
2909.77/2916.90	c #Conflicts:    1508000 | #Constraints:      68878
2909.77/2916.90	c #Conflicts:    1509000 | #Constraints:      69878
2909.77/2916.90	c #Conflicts:    1510000 | #Constraints:      70878
2909.77/2916.90	c #Conflicts:    1511000 | #Constraints:      71878
2909.77/2916.90	c #Conflicts:    1512000 | #Constraints:      72878
2909.77/2916.90	c #Conflicts:    1513000 | #Constraints:      73878
2909.77/2916.90	c #Conflicts:    1514000 | #Constraints:      74878
2909.77/2916.90	c #Conflicts:    1515000 | #Constraints:      75878
2909.77/2916.90	c #Conflicts:    1516000 | #Constraints:      76878
2909.77/2916.90	c #Conflicts:    1517000 | #Constraints:      77878
2909.77/2916.90	c #Conflicts:    1518000 | #Constraints:      78878
2909.77/2916.90	c #Conflicts:    1519000 | #Constraints:      79878
2909.77/2916.90	c #Conflicts:    1520000 | #Constraints:      80878
2909.77/2916.90	c #Conflicts:    1521000 | #Constraints:      81878
2909.77/2916.90	c #Conflicts:    1522000 | #Constraints:      82878
2909.77/2916.90	c #Conflicts:    1523000 | #Constraints:      83878
2909.77/2916.90	c #Conflicts:    1524000 | #Constraints:      84878
2909.77/2916.90	c #Conflicts:    1525000 | #Constraints:      85878
2909.77/2916.90	c #Conflicts:    1526000 | #Constraints:      86878
2909.77/2916.90	c #Conflicts:    1527000 | #Constraints:      87878
2909.77/2916.90	c #Conflicts:    1528000 | #Constraints:      88878
2909.77/2916.90	c #Conflicts:    1529000 | #Constraints:      89879
2909.77/2916.90	c #Conflicts:    1530000 | #Constraints:      90879
2909.77/2916.90	c #Conflicts:    1531000 | #Constraints:      91880
2909.77/2916.90	c #Conflicts:    1532000 | #Constraints:      92880
2909.77/2916.90	c #Conflicts:    1533000 | #Constraints:      93880
2909.77/2916.90	c #Conflicts:    1534000 | #Constraints:      94880
2909.77/2916.90	c #Conflicts:    1535000 | #Constraints:      95880
2909.77/2916.90	c #Conflicts:    1536000 | #Constraints:      96881
2909.77/2916.90	c #Conflicts:    1537000 | #Constraints:      97881
2909.77/2916.90	c #Conflicts:    1538000 | #Constraints:      98881
2909.77/2916.90	c #Conflicts:    1539000 | #Constraints:      99881
2909.77/2916.90	c #Conflicts:    1540000 | #Constraints:     100881
2909.77/2916.90	c #Conflicts:    1541000 | #Constraints:     101881
2909.77/2916.90	c #Conflicts:    1542000 | #Constraints:     102881
2909.77/2916.90	c #Conflicts:    1543000 | #Constraints:     103881
2909.77/2916.90	c #Conflicts:    1544000 | #Constraints:     104881
2909.77/2916.90	c #Conflicts:    1545000 | #Constraints:     105881
2909.77/2916.90	c #Conflicts:    1546000 | #Constraints:     106881
2909.77/2916.90	c #Conflicts:    1547000 | #Constraints:     107881
2909.77/2916.90	c #Conflicts:    1548000 | #Constraints:     108881
2909.77/2916.90	c #Conflicts:    1549000 | #Constraints:     109881
2909.77/2916.90	c #Conflicts:    1550000 | #Constraints:     110881
2909.77/2916.90	c #Conflicts:    1551000 | #Constraints:     111881
2909.77/2916.90	c #Conflicts:    1552000 | #Constraints:     112881
2909.77/2916.90	c #Conflicts:    1553000 | #Constraints:     113881
2975.82/2983.13	c #Conflicts:    1554000 | #Constraints:     114881
2975.82/2983.13	c #Conflicts:    1555000 | #Constraints:     115882
2975.82/2983.13	c #Conflicts:    1556000 | #Constraints:     116882
2975.82/2983.13	c #Conflicts:    1557000 | #Constraints:     117882
2975.82/2983.13	c #Conflicts:    1558000 | #Constraints:     118882
2975.82/2983.13	c #Conflicts:    1559000 | #Constraints:     119882
2975.82/2983.13	c #Conflicts:    1560000 | #Constraints:     120882
2975.82/2983.13	c #Conflicts:    1561000 | #Constraints:     121882
2975.82/2983.13	c #Conflicts:    1562000 | #Constraints:     122882
2975.82/2983.13	c #Conflicts:    1563000 | #Constraints:     123882
2975.82/2983.13	c #Conflicts:    1564000 | #Constraints:     124882
2975.82/2983.13	c #Conflicts:    1565000 | #Constraints:     125882
2975.82/2983.13	c #Conflicts:    1566000 | #Constraints:     126882
2975.82/2983.13	c #Conflicts:    1567000 | #Constraints:     127882
2975.82/2983.13	c #Conflicts:    1568000 | #Constraints:     128883
2975.82/2983.13	c #Conflicts:    1569000 | #Constraints:     129883
2975.82/2983.13	c #Conflicts:    1570000 | #Constraints:     130883
2975.82/2983.13	c INPROCESSING
2975.82/2983.13	c GARBAGE COLLECT
2975.82/2983.13	c rational objective 82
3048.65/3056.13	c #Conflicts:    1571000 | #Constraints:      69377
3048.65/3056.13	c #Conflicts:    1572000 | #Constraints:      70377
3048.65/3056.13	c #Conflicts:    1573000 | #Constraints:      71377
3048.65/3056.13	c #Conflicts:    1574000 | #Constraints:      72378
3048.65/3056.13	c #Conflicts:    1575000 | #Constraints:      73378
3048.65/3056.13	c #Conflicts:    1576000 | #Constraints:      74378
3048.65/3056.13	c #Conflicts:    1577000 | #Constraints:      75378
3048.65/3056.13	c #Conflicts:    1578000 | #Constraints:      76378
3048.65/3056.13	c #Conflicts:    1579000 | #Constraints:      77378
3048.65/3056.13	c #Conflicts:    1580000 | #Constraints:      78378
3048.65/3056.13	c #Conflicts:    1581000 | #Constraints:      79378
3048.65/3056.13	c #Conflicts:    1582000 | #Constraints:      80378
3048.65/3056.13	c #Conflicts:    1583000 | #Constraints:      81378
3048.65/3056.13	c #Conflicts:    1584000 | #Constraints:      82378
3048.65/3056.13	c #Conflicts:    1585000 | #Constraints:      83378
3048.65/3056.13	c #Conflicts:    1586000 | #Constraints:      84378
3048.65/3056.13	c #Conflicts:    1587000 | #Constraints:      85378
3048.65/3056.13	c #Conflicts:    1588000 | #Constraints:      86378
3048.65/3056.13	c #Conflicts:    1589000 | #Constraints:      87378
3048.65/3056.13	c #Conflicts:    1590000 | #Constraints:      88378
3048.65/3056.13	c #Conflicts:    1591000 | #Constraints:      89378
3048.65/3056.13	c #Conflicts:    1592000 | #Constraints:      90378
3048.65/3056.13	c #Conflicts:    1593000 | #Constraints:      91378
3048.65/3056.13	c #Conflicts:    1594000 | #Constraints:      92378
3048.65/3056.13	c #Conflicts:    1595000 | #Constraints:      93378
3048.65/3056.13	c #Conflicts:    1596000 | #Constraints:      94378
3048.65/3056.13	c #Conflicts:    1597000 | #Constraints:      95378
3048.65/3056.13	c #Conflicts:    1598000 | #Constraints:      96378
3048.65/3056.13	c #Conflicts:    1599000 | #Constraints:      97379
3048.65/3056.13	c INPROCESSING
3048.65/3056.13	c GARBAGE COLLECT
3048.65/3056.13	c rational objective 82
3110.51/3118.16	c #Conflicts:    1600000 | #Constraints:      52987
3110.51/3118.16	c #Conflicts:    1601000 | #Constraints:      53987
3110.51/3118.16	c #Conflicts:    1602000 | #Constraints:      54988
3110.51/3118.16	c #Conflicts:    1603000 | #Constraints:      55988
3110.51/3118.16	c #Conflicts:    1604000 | #Constraints:      56988
3110.51/3118.16	c #Conflicts:    1605000 | #Constraints:      57988
3110.51/3118.16	c #Conflicts:    1606000 | #Constraints:      58988
3110.51/3118.16	c #Conflicts:    1607000 | #Constraints:      59988
3110.51/3118.16	c #Conflicts:    1608000 | #Constraints:      60988
3110.51/3118.16	c #Conflicts:    1609000 | #Constraints:      61988
3110.51/3118.16	c #Conflicts:    1610000 | #Constraints:      62988
3110.51/3118.16	c #Conflicts:    1611000 | #Constraints:      63988
3110.51/3118.16	c #Conflicts:    1612000 | #Constraints:      64988
3110.51/3118.16	c #Conflicts:    1613000 | #Constraints:      65988
3110.51/3118.16	c #Conflicts:    1614000 | #Constraints:      66988
3110.51/3118.16	c #Conflicts:    1615000 | #Constraints:      67988
3110.51/3118.16	c #Conflicts:    1616000 | #Constraints:      68988
3110.51/3118.16	c #Conflicts:    1617000 | #Constraints:      69988
3110.51/3118.16	c #Conflicts:    1618000 | #Constraints:      70988
3110.51/3118.16	c #Conflicts:    1619000 | #Constraints:      71988
3110.51/3118.16	c #Conflicts:    1620000 | #Constraints:      72988
3110.51/3118.16	c #Conflicts:    1621000 | #Constraints:      73988
3110.51/3118.16	c #Conflicts:    1622000 | #Constraints:      74988
3110.51/3118.16	c #Conflicts:    1623000 | #Constraints:      75988
3110.51/3118.16	c #Conflicts:    1624000 | #Constraints:      76988
3110.51/3118.16	c #Conflicts:    1625000 | #Constraints:      77988
3110.51/3118.16	c #Conflicts:    1626000 | #Constraints:      78988
3110.51/3118.16	c #Conflicts:    1627000 | #Constraints:      79988
3110.51/3118.16	c INPROCESSING
3110.51/3118.16	c GARBAGE COLLECT
3110.51/3118.16	c rational objective 82
3162.58/3170.31	c #Conflicts:    1628000 | #Constraints:      44077
3162.58/3170.31	c #Conflicts:    1629000 | #Constraints:      45077
3162.58/3170.31	c #Conflicts:    1630000 | #Constraints:      46077
3162.58/3170.31	c #Conflicts:    1631000 | #Constraints:      47077
3162.58/3170.31	c #Conflicts:    1632000 | #Constraints:      48077
3162.58/3170.31	c #Conflicts:    1633000 | #Constraints:      49077
3162.58/3170.31	c #Conflicts:    1634000 | #Constraints:      50077
3162.58/3170.31	c #Conflicts:    1635000 | #Constraints:      51077
3162.58/3170.31	c #Conflicts:    1636000 | #Constraints:      52077
3162.58/3170.31	c #Conflicts:    1637000 | #Constraints:      53077
3162.58/3170.31	c #Conflicts:    1638000 | #Constraints:      54077
3162.58/3170.31	c #Conflicts:    1639000 | #Constraints:      55077
3162.58/3170.31	c #Conflicts:    1640000 | #Constraints:      56077
3162.58/3170.31	c #Conflicts:    1641000 | #Constraints:      57077
3162.58/3170.31	c #Conflicts:    1642000 | #Constraints:      58077
3162.58/3170.31	c #Conflicts:    1643000 | #Constraints:      59077
3162.58/3170.31	c #Conflicts:    1644000 | #Constraints:      60078
3162.58/3170.31	c #Conflicts:    1645000 | #Constraints:      61078
3162.58/3170.31	c #Conflicts:    1646000 | #Constraints:      62078
3162.58/3170.31	c #Conflicts:    1647000 | #Constraints:      63079
3162.58/3170.31	c #Conflicts:    1648000 | #Constraints:      64079
3162.58/3170.31	c #Conflicts:    1649000 | #Constraints:      65079
3162.58/3170.31	c #Conflicts:    1650000 | #Constraints:      66080
3162.58/3170.31	c #Conflicts:    1651000 | #Constraints:      67080
3162.58/3170.31	c #Conflicts:    1652000 | #Constraints:      68081
3162.58/3170.31	c #Conflicts:    1653000 | #Constraints:      69081
3162.58/3170.31	c #Conflicts:    1654000 | #Constraints:      70082
3162.58/3170.31	c #Conflicts:    1655000 | #Constraints:      71082
3162.58/3170.31	c #Conflicts:    1656000 | #Constraints:      72082
3162.58/3170.31	c INPROCESSING
3162.58/3170.31	c GARBAGE COLLECT
3162.58/3170.31	c rational objective 82
3206.29/3214.18	c #Conflicts:    1657000 | #Constraints:      40255
3206.29/3214.18	c #Conflicts:    1658000 | #Constraints:      41255
3206.29/3214.18	c #Conflicts:    1659000 | #Constraints:      42255
3206.29/3214.18	c #Conflicts:    1660000 | #Constraints:      43255
3206.29/3214.18	c #Conflicts:    1661000 | #Constraints:      44255
3206.29/3214.18	c #Conflicts:    1662000 | #Constraints:      45255
3206.29/3214.18	c #Conflicts:    1663000 | #Constraints:      46255
3206.29/3214.18	c #Conflicts:    1664000 | #Constraints:      47255
3206.29/3214.18	c #Conflicts:    1665000 | #Constraints:      48255
3206.29/3214.18	c #Conflicts:    1666000 | #Constraints:      49255
3206.29/3214.18	c #Conflicts:    1667000 | #Constraints:      50255
3206.29/3214.18	c #Conflicts:    1668000 | #Constraints:      51255
3206.29/3214.18	c #Conflicts:    1669000 | #Constraints:      52255
3206.29/3214.18	c #Conflicts:    1670000 | #Constraints:      53255
3206.29/3214.18	c #Conflicts:    1671000 | #Constraints:      54255
3206.29/3214.18	c #Conflicts:    1672000 | #Constraints:      55255
3206.29/3214.18	c #Conflicts:    1673000 | #Constraints:      56255
3206.29/3214.18	c #Conflicts:    1674000 | #Constraints:      57255
3206.29/3214.18	c #Conflicts:    1675000 | #Constraints:      58256
3206.29/3214.18	c #Conflicts:    1676000 | #Constraints:      59257
3206.29/3214.18	c #Conflicts:    1677000 | #Constraints:      60257
3206.29/3214.18	c #Conflicts:    1678000 | #Constraints:      61257
3206.29/3214.18	c #Conflicts:    1679000 | #Constraints:      62257
3206.29/3214.18	c #Conflicts:    1680000 | #Constraints:      63257
3206.29/3214.18	c #Conflicts:    1681000 | #Constraints:      64257
3206.29/3214.18	c #Conflicts:    1682000 | #Constraints:      65257
3206.29/3214.18	c #Conflicts:    1683000 | #Constraints:      66257
3206.29/3214.18	c #Conflicts:    1684000 | #Constraints:      67257
3206.29/3214.18	c INPROCESSING
3206.29/3214.18	c GARBAGE COLLECT
3206.29/3214.18	c rational objective 82
3383.26/3391.55	c #Conflicts:    1685000 | #Constraints:      37560
3383.26/3391.55	c #Conflicts:    1686000 | #Constraints:      38560
3383.26/3391.55	c #Conflicts:    1687000 | #Constraints:      39560
3383.26/3391.55	c #Conflicts:    1688000 | #Constraints:      40560
3383.26/3391.55	c #Conflicts:    1689000 | #Constraints:      41560
3383.26/3391.55	c #Conflicts:    1690000 | #Constraints:      42560
3383.26/3391.55	c #Conflicts:    1691000 | #Constraints:      43560
3383.26/3391.55	c #Conflicts:    1692000 | #Constraints:      44560
3383.26/3391.55	c #Conflicts:    1693000 | #Constraints:      45560
3383.26/3391.55	c #Conflicts:    1694000 | #Constraints:      46560
3383.26/3391.55	c #Conflicts:    1695000 | #Constraints:      47560
3383.26/3391.55	c #Conflicts:    1696000 | #Constraints:      48561
3383.26/3391.55	c #Conflicts:    1697000 | #Constraints:      49561
3383.26/3391.55	c #Conflicts:    1698000 | #Constraints:      50563
3383.26/3391.55	c #Conflicts:    1699000 | #Constraints:      51563
3383.26/3391.55	c #Conflicts:    1700000 | #Constraints:      52563
3383.26/3391.55	c #Conflicts:    1701000 | #Constraints:      53563
3383.26/3391.55	c #Conflicts:    1702000 | #Constraints:      54563
3383.26/3391.55	c #Conflicts:    1703000 | #Constraints:      55563
3383.26/3391.55	c #Conflicts:    1704000 | #Constraints:      56563
3383.26/3391.55	c #Conflicts:    1705000 | #Constraints:      57563
3383.26/3391.55	c #Conflicts:    1706000 | #Constraints:      58563
3383.26/3391.55	c #Conflicts:    1707000 | #Constraints:      59564
3383.26/3391.55	c #Conflicts:    1708000 | #Constraints:      60564
3383.26/3391.55	c #Conflicts:    1709000 | #Constraints:      61565
3383.26/3391.55	c #Conflicts:    1710000 | #Constraints:      62565
3383.26/3391.55	c #Conflicts:    1711000 | #Constraints:      63566
3383.26/3391.55	c #Conflicts:    1712000 | #Constraints:      64566
3383.26/3391.55	c #Conflicts:    1713000 | #Constraints:      65567
3383.26/3391.55	c #Conflicts:    1714000 | #Constraints:      66567
3383.26/3391.55	c #Conflicts:    1715000 | #Constraints:      67567
3383.26/3391.55	c #Conflicts:    1716000 | #Constraints:      68567
3383.26/3391.55	c #Conflicts:    1717000 | #Constraints:      69567
3383.26/3391.55	c #Conflicts:    1718000 | #Constraints:      70567
3383.26/3391.55	c #Conflicts:    1719000 | #Constraints:      71567
3383.26/3391.55	c #Conflicts:    1720000 | #Constraints:      72567
3383.26/3391.55	c #Conflicts:    1721000 | #Constraints:      73567
3383.26/3391.55	c #Conflicts:    1722000 | #Constraints:      74567
3383.26/3391.55	c #Conflicts:    1723000 | #Constraints:      75567
3383.26/3391.55	c #Conflicts:    1724000 | #Constraints:      76567
3383.26/3391.55	c #Conflicts:    1725000 | #Constraints:      77567
3383.26/3391.55	c #Conflicts:    1726000 | #Constraints:      78567
3383.26/3391.55	c #Conflicts:    1727000 | #Constraints:      79567
3383.26/3391.55	c #Conflicts:    1728000 | #Constraints:      80568
3383.26/3391.55	c #Conflicts:    1729000 | #Constraints:      81568
3383.26/3391.55	c #Conflicts:    1730000 | #Constraints:      82568
3383.26/3391.55	c #Conflicts:    1731000 | #Constraints:      83569
3383.26/3391.55	c #Conflicts:    1732000 | #Constraints:      84569
3383.26/3391.55	c #Conflicts:    1733000 | #Constraints:      85569
3383.26/3391.55	c #Conflicts:    1734000 | #Constraints:      86569
3383.26/3391.55	c #Conflicts:    1735000 | #Constraints:      87569
3383.26/3391.55	c #Conflicts:    1736000 | #Constraints:      88569
3383.26/3391.55	c #Conflicts:    1737000 | #Constraints:      89569
3383.26/3391.55	c #Conflicts:    1738000 | #Constraints:      90569
3383.26/3391.55	c #Conflicts:    1739000 | #Constraints:      91569
3383.26/3391.55	c #Conflicts:    1740000 | #Constraints:      92569
3383.26/3391.55	c #Conflicts:    1741000 | #Constraints:      93569
3383.26/3391.55	c #Conflicts:    1742000 | #Constraints:      94569
3383.26/3391.55	c #Conflicts:    1743000 | #Constraints:      95569
3383.26/3391.55	c #Conflicts:    1744000 | #Constraints:      96569
3383.26/3391.55	c #Conflicts:    1745000 | #Constraints:      97569
3383.26/3391.55	c #Conflicts:    1746000 | #Constraints:      98569
3383.26/3391.55	c #Conflicts:    1747000 | #Constraints:      99569
3383.26/3391.55	c #Conflicts:    1748000 | #Constraints:     100569
3383.26/3391.55	c #Conflicts:    1749000 | #Constraints:     101569
3383.26/3391.55	c #Conflicts:    1750000 | #Constraints:     102569
3383.26/3391.55	c #Conflicts:    1751000 | #Constraints:     103569
3383.26/3391.55	c #Conflicts:    1752000 | #Constraints:     104570
3383.26/3391.55	c #Conflicts:    1753000 | #Constraints:     105570
3383.26/3391.55	c #Conflicts:    1754000 | #Constraints:     106570
3383.26/3391.55	c #Conflicts:    1755000 | #Constraints:     107570
3383.26/3391.55	c #Conflicts:    1756000 | #Constraints:     108570
3383.26/3391.55	c #Conflicts:    1757000 | #Constraints:     109570
3383.26/3391.55	c #Conflicts:    1758000 | #Constraints:     110570
3383.26/3391.55	c #Conflicts:    1759000 | #Constraints:     111571
3383.26/3391.55	c #Conflicts:    1760000 | #Constraints:     112571
3383.26/3391.55	c #Conflicts:    1761000 | #Constraints:     113571
3383.26/3391.55	c #Conflicts:    1762000 | #Constraints:     114571
3383.26/3391.55	c #Conflicts:    1763000 | #Constraints:     115571
3493.00/3501.54	c #Conflicts:    1764000 | #Constraints:     116571
3493.00/3501.54	c #Conflicts:    1765000 | #Constraints:     117571
3493.00/3501.54	c #Conflicts:    1766000 | #Constraints:     118571
3493.00/3501.54	c #Conflicts:    1767000 | #Constraints:     119571
3493.00/3501.54	c #Conflicts:    1768000 | #Constraints:     120571
3493.00/3501.54	c #Conflicts:    1769000 | #Constraints:     121571
3493.00/3501.54	c #Conflicts:    1770000 | #Constraints:     122571
3493.00/3501.54	c #Conflicts:    1771000 | #Constraints:     123571
3493.00/3501.54	c #Conflicts:    1772000 | #Constraints:     124572
3493.00/3501.54	c #Conflicts:    1773000 | #Constraints:     125572
3493.00/3501.54	c #Conflicts:    1774000 | #Constraints:     126572
3493.00/3501.54	c #Conflicts:    1775000 | #Constraints:     127572
3493.00/3501.54	c #Conflicts:    1776000 | #Constraints:     128572
3493.00/3501.54	c #Conflicts:    1777000 | #Constraints:     129572
3493.00/3501.54	c #Conflicts:    1778000 | #Constraints:     130572
3493.00/3501.54	c #Conflicts:    1779000 | #Constraints:     131572
3493.00/3501.54	c #Conflicts:    1780000 | #Constraints:     132572
3493.00/3501.54	c #Conflicts:    1781000 | #Constraints:     133572
3493.00/3501.54	c #Conflicts:    1782000 | #Constraints:     134572
3493.00/3501.54	c #Conflicts:    1783000 | #Constraints:     135572
3493.00/3501.54	c #Conflicts:    1784000 | #Constraints:     136572
3493.00/3501.54	c #Conflicts:    1785000 | #Constraints:     137572
3493.00/3501.54	c #Conflicts:    1786000 | #Constraints:     138572
3493.00/3501.54	c #Conflicts:    1787000 | #Constraints:     139572
3493.00/3501.54	c INPROCESSING
3493.00/3501.54	c GARBAGE COLLECT
3493.00/3501.54	c rational objective 82
3564.73/3573.48	c #Conflicts:    1788000 | #Constraints:      73794
3564.73/3573.48	c #Conflicts:    1789000 | #Constraints:      74794
3564.73/3573.48	c #Conflicts:    1790000 | #Constraints:      75794
3564.73/3573.48	c #Conflicts:    1791000 | #Constraints:      76794
3564.73/3573.48	c #Conflicts:    1792000 | #Constraints:      77794
3564.73/3573.48	c #Conflicts:    1793000 | #Constraints:      78794
3564.73/3573.48	c #Conflicts:    1794000 | #Constraints:      79794
3564.73/3573.48	c #Conflicts:    1795000 | #Constraints:      80794
3564.73/3573.48	c #Conflicts:    1796000 | #Constraints:      81795
3564.73/3573.48	c #Conflicts:    1797000 | #Constraints:      82795
3564.73/3573.48	c #Conflicts:    1798000 | #Constraints:      83795
3564.73/3573.48	c #Conflicts:    1799000 | #Constraints:      84795
3564.73/3573.48	c #Conflicts:    1800000 | #Constraints:      85795
3564.73/3573.48	c #Conflicts:    1801000 | #Constraints:      86795
3564.73/3573.48	c #Conflicts:    1802000 | #Constraints:      87795
3564.73/3573.48	c #Conflicts:    1803000 | #Constraints:      88795
3564.73/3573.48	c #Conflicts:    1804000 | #Constraints:      89795
3564.73/3573.48	c #Conflicts:    1805000 | #Constraints:      90795
3564.73/3573.48	c #Conflicts:    1806000 | #Constraints:      91795
3564.73/3573.48	c #Conflicts:    1807000 | #Constraints:      92795
3564.73/3573.48	c #Conflicts:    1808000 | #Constraints:      93795
3564.73/3573.48	c #Conflicts:    1809000 | #Constraints:      94795
3564.73/3573.48	c #Conflicts:    1810000 | #Constraints:      95795
3564.73/3573.48	c #Conflicts:    1811000 | #Constraints:      96795
3564.73/3573.48	c #Conflicts:    1812000 | #Constraints:      97795
3564.73/3573.48	c #Conflicts:    1813000 | #Constraints:      98796
3564.73/3573.48	c #Conflicts:    1814000 | #Constraints:      99796
3564.73/3573.48	c #Conflicts:    1815000 | #Constraints:     100796
3564.73/3573.48	c #Conflicts:    1816000 | #Constraints:     101796
3564.73/3573.48	c #Conflicts:    1817000 | #Constraints:     102796
3564.73/3573.48	c INPROCESSING
3564.73/3573.48	c GARBAGE COLLECT
3564.73/3573.48	c rational objective 82
3600.05/3608.80	c #Conflicts:    1818000 | #Constraints:      55316
3600.05/3608.80	c #Conflicts:    1819000 | #Constraints:      56317
3600.05/3608.80	c #Conflicts:    1820000 | #Constraints:      57317
3600.05/3608.80	c #Conflicts:    1821000 | #Constraints:      58317
3600.05/3608.80	c #Conflicts:    1822000 | #Constraints:      59317
3600.05/3608.80	c #Conflicts:    1823000 | #Constraints:      60317
3600.05/3608.80	c #Conflicts:    1824000 | #Constraints:      61317
3600.05/3608.80	c #Conflicts:    1825000 | #Constraints:      62317
3600.05/3608.80	c #Conflicts:    1826000 | #Constraints:      63317
3600.05/3608.80	c #Conflicts:    1827000 | #Constraints:      64317
3600.05/3608.80	c #Conflicts:    1828000 | #Constraints:      65317
3600.05/3608.80	c #Conflicts:    1829000 | #Constraints:      66317
3600.05/3608.80	c #Conflicts:    1830000 | #Constraints:      67317
3600.05/3608.80	c #Conflicts:    1831000 | #Constraints:      68317
3600.05/3608.80	c #Conflicts:    1832000 | #Constraints:      69317
3600.05/3608.80	c #Conflicts:    1833000 | #Constraints:      70317
3600.05/3608.80	c #Conflicts:    1834000 | #Constraints:      71317
3600.05/3608.80	c #Conflicts:    1835000 | #Constraints:      72317
3600.05/3608.80	c #Conflicts:    1836000 | #Constraints:      73317
3600.05/3608.80	c Program interrupted by user.
3600.05/3609.07	c cpu time 3561.49 s
3600.05/3609.07	c deterministic time 408581621659 4.09e+11
3600.05/3609.07	c optimization time 34.7146 s
3600.05/3609.07	c total solve time 3526.75 s
3600.05/3609.07	c core-guided solve time 0 s
3600.05/3609.07	c propagation time 2448.54 s
3600.05/3609.07	c conflict analysis time 837.738 s
3600.05/3609.07	c propagations 776155420
3600.05/3609.07	c resolve steps 69472704
3600.05/3609.07	c decisions 12990145
3600.05/3609.07	c conflicts 1836310
3600.05/3609.07	c restarts 3579
3600.05/3609.07	c inprocessing phases 83
3600.05/3609.07	c input clauses 5660
3600.05/3609.07	c input cardinalities 82
3600.05/3609.07	c input general constraints 0
3600.05/3609.07	c input average constraint length 6.23
3600.05/3609.07	c input average constraint degree 1.94
3600.05/3609.07	c learned clauses 1273047
3600.05/3609.07	c learned cardinalities 36076
3600.05/3609.07	c learned general constraints 527388
3600.05/3609.07	c learned average constraint length 813.47
3600.05/3609.07	c learned average constraint degree 73772190.52
3600.05/3609.07	c watched constraints 457372
3600.05/3609.07	c counting constraints 70016
3600.05/3609.07	c gcd simplifications 7418
3600.05/3609.07	c detected cardinalities 1541
3600.05/3609.07	c weakened non-implied lits 265597973
3600.05/3609.07	c weakened non-implying lits 679310
3600.05/3609.07	c original variables 5576
3600.05/3609.07	c clausal propagations 289330336
3600.05/3609.07	c cardinality propagations 254067607
3600.05/3609.07	c watched propagations 72326874
3600.05/3609.07	c counting propagations 154571159
3600.05/3609.07	c watch lookups 36285593420
3600.05/3609.07	c watch backjump lookups 28888330881
3600.05/3609.07	c watch checks 286788902277
3600.05/3609.07	c propagation checks 50499701081
3600.05/3609.07	c constraint additions 4536609941
3600.05/3609.07	c trail pops 790976824
3600.05/3609.07	c formula constraints 5742
3600.05/3609.07	c learned constraints 1836107
3600.05/3609.07	c bound constraints 0
3600.05/3609.07	c core-guided constraints 0
3600.05/3609.07	c encountered formula constraints 39512600
3600.05/3609.07	c encountered learned constraints 31792510
3600.05/3609.07	c encountered bound constraints 0
3600.05/3609.07	c encountered core-guided constraints 0
3600.05/3609.07	c LP total time 735.234 s
3600.05/3609.07	c LP solve time 727.3 s
3600.05/3609.07	c LP constraints added 11156
3600.05/3609.07	c LP constraints removed 5289
3600.05/3609.07	c LP pivots internal 1847419
3600.05/3609.07	c LP pivots root 514250
3600.05/3609.07	c LP calls 344
3600.05/3609.07	c LP optimalities 137
3600.05/3609.07	c LP no pivot count 2
3600.05/3609.07	c LP infeasibilities 202
3600.05/3609.07	c LP valid Farkas constraints 202
3600.05/3609.07	c LP learned Farkas constraints 202
3600.05/3609.07	c LP basis resets 0
3600.05/3609.07	c LP cycling count 0
3600.05/3609.07	c LP singular count 0
3600.05/3609.07	c LP no primal count 0
3600.05/3609.07	c LP no farkas count 0
3600.05/3609.07	c LP other issue count 0
3600.05/3609.07	c LP Gomory cuts 0
3600.05/3609.07	c LP learned cuts 5414
3600.05/3609.07	c LP deleted cuts 5289
3600.05/3609.07	c LP encountered Gomory constraints 0
3600.05/3609.07	c LP encountered Farkas constraints 2878
3600.05/3609.07	c LP encountered learned Farkas constraints 824
3600.05/3609.07	c CG auxiliary variables introduced 0
3600.05/3609.07	c CG solutions found 0
3600.05/3609.07	c CG cores constructed 0
3600.05/3609.07	c CG core cardinality constraints returned 0
3600.05/3609.07	c CG unit cores 0
3600.05/3609.07	c CG single cores 0
3600.05/3609.07	c CG blocks removed during cardinality reduction 0
3600.05/3609.07	c CG first core best 0
3600.05/3609.07	c CG decision core best 0
3600.05/3609.07	c CG core reduction tie 0
3600.05/3609.07	c CG core degree average 0.00
3600.05/3609.07	c CG core slack average 0.00
3600.05/3609.07	s UNKNOWN

ERROR: no interpretation found !

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457176-1721829622/watcher-4457176-1721829622 -o /tmp/evaluation-result-4457176-1721829622/solver-4457176-1721829622 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721829622-184634 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457176-1721829622 --lp-cut-gomory=0 HOME/instance-4457176-1721829622.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=184675, runsolver pid=184670

[startup+0.10017 s]*
/proc/loadavg: 1.36 1.42 2.33 6/265 184695
/proc/meminfo: memFree=110943880/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=47744 memory=16520 CPUtime=0.09 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 3139 0 0 0 8 1 0 0 20 0 1 0 19486392 48889856 4130 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 11936 4130 1715 992 0 3794 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47744 KiB
Current children cumulated memory: 16520 KiB

[startup+0.205738 s]*
/proc/loadavg: 1.36 1.42 2.33 6/265 184695
/proc/meminfo: memFree=110892052/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=48960 memory=17576 CPUtime=0.19 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 3421 0 0 0 18 1 0 0 20 0 1 0 19486392 50135040 4394 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 12240 4394 1715 992 0 4098 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48960 KiB
Current children cumulated memory: 17576 KiB

[startup+0.305784 s]*
/proc/loadavg: 1.36 1.42 2.33 6/265 184695
/proc/meminfo: memFree=110887812/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=48960 memory=17576 CPUtime=0.29 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 3429 0 0 0 28 1 0 0 20 0 1 0 19486392 50135040 4394 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 12240 4394 1715 992 0 4098 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48960 KiB
Current children cumulated memory: 17576 KiB

[startup+0.700204 s]
/proc/loadavg: 1.36 1.42 2.33 6/265 184695
/proc/meminfo: memFree=110884572/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=48960 memory=17576 CPUtime=0.67 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 3430 0 0 0 66 1 0 0 20 0 1 0 19486392 50135040 4394 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 12240 4394 1715 992 0 4098 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 48960 KiB
Current children cumulated memory: 17576 KiB

[startup+1.50018 s]
/proc/loadavg: 1.36 1.42 2.33 6/265 184695
/proc/meminfo: memFree=110871208/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=50240 memory=21376 CPUtime=1.47 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 3850 0 0 0 141 6 0 0 20 0 1 0 19486392 51445760 5344 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 12560 5344 1761 992 0 4418 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 50240 KiB
Current children cumulated memory: 21376 KiB

[startup+3.10569 s]
/proc/loadavg: 1.36 1.42 2.33 6/265 184695
/proc/meminfo: memFree=110848352/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=51524 memory=22692 CPUtime=3.07 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 4136 0 0 0 299 8 0 0 20 0 1 0 19486392 52760576 5673 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 12881 5673 1761 992 0 4739 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 51524 KiB
Current children cumulated memory: 22692 KiB

[startup+6.3002 s]
/proc/loadavg: 1.57 1.46 2.34 6/265 184695
/proc/meminfo: memFree=110827576/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=52696 memory=25300 CPUtime=6.26 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 4743 0 0 0 608 18 0 0 20 0 1 0 19486392 53960704 6325 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 13174 6325 1824 992 0 5032 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52696 KiB
Current children cumulated memory: 25300 KiB

[startup+12.7002 s]
/proc/loadavg: 1.77 1.50 2.35 6/265 184697
/proc/meminfo: memFree=110787760/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=57128 memory=30416 CPUtime=12.65 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 5462 0 0 0 1235 30 0 0 20 0 1 0 19486392 58499072 7604 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 14282 7604 1856 992 0 6140 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57128 KiB
Current children cumulated memory: 30416 KiB

[startup+25.5002 s]
/proc/loadavg: 2.11 1.59 2.37 6/264 184698
/proc/meminfo: memFree=110698584/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=64836 memory=34488 CPUtime=25.42 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 6485 0 0 0 2477 65 0 0 20 0 1 0 19486392 66392064 8622 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 16209 8622 1856 992 0 8067 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 64836 KiB
Current children cumulated memory: 34488 KiB

[startup+51.1057 s]
/proc/loadavg: 2.91 1.83 2.42 6/264 184714
/proc/meminfo: memFree=110565928/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=77280 memory=45604 CPUtime=50.97 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 8456 0 0 0 4979 118 0 0 20 0 1 0 19486392 79134720 11401 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 19320 11401 1856 992 0 11178 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 77280 KiB
Current children cumulated memory: 45604 KiB

[startup+102.3 s]
/proc/loadavg: 3.85 2.26 2.54 6/264 184724
/proc/meminfo: memFree=110145020/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=145208 memory=95900 CPUtime=102.03 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 11658 0 0 0 9980 223 0 0 20 0 1 0 19486392 148692992 23975 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 36302 23975 1856 992 0 28160 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 145208 KiB
Current children cumulated memory: 95900 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 2.61 2.65 6/263 184734
/proc/meminfo: memFree=109024740/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=206300 memory=147144 CPUtime=161.89 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 15259 0 0 0 15863 326 0 0 20 0 1 0 19486392 211251200 36786 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 51575 36786 1856 992 0 43433 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 206300 KiB
Current children cumulated memory: 147144 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 2.91 2.75 6/262 184746
/proc/meminfo: memFree=108690724/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=221708 memory=170496 CPUtime=221.75 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 19057 0 0 0 21741 434 0 0 20 0 1 0 19486392 227028992 42624 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 55427 42624 1856 992 0 47285 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 221708 KiB
Current children cumulated memory: 170496 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 3.14 2.84 6/262 184756
/proc/meminfo: memFree=108250476/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=224504 memory=172852 CPUtime=281.61 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 20110 0 0 0 27627 534 0 0 20 0 1 0 19486392 229892096 43213 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 56126 43213 1856 992 0 47984 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 224504 KiB
Current children cumulated memory: 172852 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 3.33 2.93 6/259 184767
/proc/meminfo: memFree=107692000/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=313168 memory=227464 CPUtime=341.46 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 22056 0 0 0 33519 627 0 0 20 0 1 0 19486392 320684032 56866 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 78292 56866 1856 992 0 70150 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 313168 KiB
Current children cumulated memory: 227464 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.47 3.00 6/259 184778
/proc/meminfo: memFree=107175832/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=314328 memory=228476 CPUtime=401.32 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 22266 0 0 0 39404 728 0 0 20 0 1 0 19486392 321871872 57119 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 78582 57119 1856 992 0 70440 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 314328 KiB
Current children cumulated memory: 228476 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.60 3.08 6/258 184788
/proc/meminfo: memFree=106718056/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=323628 memory=278024 CPUtime=461.17 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 24495 0 0 0 45323 794 0 0 20 0 1 0 19486392 331395072 69506 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 80907 69506 1856 992 0 72765 0

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

Current children cumulated memory: 662032 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.01 6/257 185857
/proc/meminfo: memFree=90571700/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=762184 memory=662348 CPUtime=2915.16 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 60645 0 0 0 288205 3311 0 0 20 0 1 0 19486392 780476416 165587 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 190546 165587 1856 992 0 182404 0
Current children cumulated CPU time: 2915.16 s
Current children cumulated vsize: 762184 KiB
Current children cumulated memory: 662348 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.01 6/260 185870
/proc/meminfo: memFree=89540580/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=767664 memory=666644 CPUtime=2975.02 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 62061 0 0 0 294159 3343 0 0 20 0 1 0 19486392 786087936 166661 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 191916 166661 1856 992 0 183774 0
Current children cumulated CPU time: 2975.02 s
Current children cumulated vsize: 767664 KiB
Current children cumulated memory: 666644 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.11 4.02 6/262 185885
/proc/meminfo: memFree=89056660/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=767312 memory=666536 CPUtime=3034.87 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 62572 0 0 0 300100 3387 0 0 20 0 1 0 19486392 785727488 166634 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 191828 166634 1856 992 0 183686 0
Current children cumulated CPU time: 3034.87 s
Current children cumulated vsize: 767312 KiB
Current children cumulated memory: 666536 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.02 6/263 185897
/proc/meminfo: memFree=88040952/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=767764 memory=666924 CPUtime=3094.73 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 63203 0 0 0 306026 3447 0 0 20 0 1 0 19486392 786190336 166731 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 191941 166731 1856 992 0 183799 0
Current children cumulated CPU time: 3094.73 s
Current children cumulated vsize: 767764 KiB
Current children cumulated memory: 666924 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.02 6/263 185908
/proc/meminfo: memFree=87654980/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=767764 memory=666940 CPUtime=3154.6 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 63727 0 0 0 311956 3504 0 0 20 0 1 0 19486392 786190336 166735 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 191941 166735 1856 992 0 183799 0
Current children cumulated CPU time: 3154.6 s
Current children cumulated vsize: 767764 KiB
Current children cumulated memory: 666940 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.02 6/263 185919
/proc/meminfo: memFree=87317724/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=767836 memory=666880 CPUtime=3214.46 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 64255 0 0 0 317872 3574 0 0 20 0 1 0 19486392 786264064 166720 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 191959 166720 1856 992 0 183817 0
Current children cumulated CPU time: 3214.46 s
Current children cumulated vsize: 767836 KiB
Current children cumulated memory: 666880 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/261 185932
/proc/meminfo: memFree=86820848/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=767836 memory=667108 CPUtime=3274.32 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 64464 0 0 0 323795 3637 0 0 20 0 1 0 19486392 786264064 166777 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 191959 166777 1856 992 0 183817 0
Current children cumulated CPU time: 3274.32 s
Current children cumulated vsize: 767836 KiB
Current children cumulated memory: 667108 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.02 6/261 186326
/proc/meminfo: memFree=86583940/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=767836 memory=667108 CPUtime=3334.17 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 64734 0 0 0 329740 3677 0 0 20 0 1 0 19486392 786264064 166777 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 191959 166777 1856 992 0 183817 0
Current children cumulated CPU time: 3334.17 s
Current children cumulated vsize: 767836 KiB
Current children cumulated memory: 667108 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.03 6/258 186336
/proc/meminfo: memFree=86357884/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=768444 memory=667588 CPUtime=3394.03 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 65142 0 0 0 335693 3710 0 0 20 0 1 0 19486392 786886656 166897 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 192111 166897 1856 992 0 183969 0
Current children cumulated CPU time: 3394.03 s
Current children cumulated vsize: 768444 KiB
Current children cumulated memory: 667588 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.03 6/259 186347
/proc/meminfo: memFree=86162288/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=772276 memory=670504 CPUtime=3453.89 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 66162 0 0 0 341648 3741 0 0 20 0 1 0 19486392 790810624 167626 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 193069 167626 1856 992 0 184927 0
Current children cumulated CPU time: 3453.89 s
Current children cumulated vsize: 772276 KiB
Current children cumulated memory: 670504 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.03 6/259 186526
/proc/meminfo: memFree=85896760/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=775916 memory=673212 CPUtime=3513.75 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 67584 0 0 0 347594 3781 0 0 20 0 1 0 19486392 794537984 168303 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 193979 168303 1856 992 0 185837 0
Current children cumulated CPU time: 3513.75 s
Current children cumulated vsize: 775916 KiB
Current children cumulated memory: 673212 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.03 6/260 186537
/proc/meminfo: memFree=85500448/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=776496 memory=673576 CPUtime=3573.61 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 68384 0 0 0 353529 3832 0 0 20 0 1 0 19486392 795131904 168394 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 194124 168394 1856 992 0 185982 0
Current children cumulated CPU time: 3573.61 s
Current children cumulated vsize: 776496 KiB
Current children cumulated memory: 673576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.14 4.10 4.04 6/261 186544
/proc/meminfo: memFree=85017708/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=776496 memory=673576 CPUtime=3600.05 cores=1,3
/proc/184675/stat : 184675 (roundingsat) R 184670 184675 184622 0 -1 4194304 68394 0 0 0 356148 3857 0 0 20 0 1 0 19486392 795131904 168394 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 194124 168394 1856 992 0 185982 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 776496 KiB
Current children cumulated memory: 673576 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3561.49 s, system=38.575 s

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

[startup+3609 s]*
/proc/loadavg: 4.14 4.10 4.04 4/261 186546
/proc/meminfo: memFree=84990992/131524600 swapFree=131054736/131071996
[pid=184675] ppid=184670 vsize=776496 memory=673576 CPUtime=3600.05 cores=1,3
/proc/184675/stat : 184675 (roundingsat) D 184670 184675 184622 0 -1 4194304 68401 0 0 0 356148 3857 0 0 20 0 1 0 19486392 795131904 168394 134679101440 4194304 8254037 140725116304368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 38 0 0 9037040 9046032 34934784 140725116306268 140725116306530 140725116306530 140725116313545 0
/proc/184675/statm: 194124 168394 1856 992 0 185982 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 776496 KiB
Current children cumulated memory: 673576 KiB

Child status: 0

Real time (s): 3609.08
CPU time (s): 3600.06
CPU user time (s): 3561.49
CPU system time (s): 38.575
CPU usage (%): 99.7503
Max. virtual memory (cumulated for all children) (KiB): 778192
Max. memory (cumulated for all children) (KiB): 674716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.49
system time used= 38.575
maximum resident set size= 674936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68409
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10477544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 392
involuntary context switches= 4689


# summary of solver processes directly reported to runsolver:
#   pid: 184675
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3561.49
#   total CPU system time (s): 38.575

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08538 second user time and 16.7916 second system time

The end

Begin job on nodeC034 at 2024-07-24 16:00:22
IDJOB=4457176
IDBENCH=158340
IDSOLVER=3085
FILE ID=nodeC034/4457176-1721829622
RUNJOBID= nodeC034-1721829622-184634
SLURM_JOB_ID= 7891500
Free space on /tmp= 890080 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K82.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457176-1721829622/watcher-4457176-1721829622 -o /tmp/evaluation-result-4457176-1721829622/solver-4457176-1721829622 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721829622-184634 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457176-1721829622 --lp-cut-gomory=0 HOME/instance-4457176-1721829622.opb

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

MD5SUM BENCH= 5599f1c242004f89302cb9020bac47d1
RANDOM SEED=588309019

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        110991480 kB
MemAvailable:   129688276 kB
Buffers:          252444 kB
Cached:         19203144 kB
SwapCached:           96 kB
Active:          1631560 kB
Inactive:       18188464 kB
Active(anon):       1868 kB
Inactive(anon):   404916 kB
Active(file):    1629692 kB
Inactive(file): 17783548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054736 kB
Dirty:             13208 kB
Writeback:             0 kB
AnonPages:        363208 kB
Mapped:            93316 kB
Shmem:             42580 kB
KReclaimable:     246408 kB
Slab:             361464 kB
SReclaimable:     246408 kB
SUnreclaim:       115056 kB
KernelStack:        4112 kB
PageTables:         9736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     746000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14048 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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:      357076 kB
DirectMap2M:    48699392 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC034 at 2024-07-24 17:00:31