0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.30/0.39	c #variables 1650 #constraints 113714
195.12/195.73	c #Conflicts:       1000 | #Constraints:     114713
195.12/195.73	c #Conflicts:       2000 | #Constraints:     115713
195.12/195.73	c INPROCESSING
195.12/195.73	c #Conflicts:       3000 | #Constraints:     115718
195.12/195.73	c #Conflicts:       4000 | #Constraints:     116718
195.12/195.73	c INPROCESSING
195.12/195.73	c GARBAGE COLLECT
195.12/195.73	c #Conflicts:       5000 | #Constraints:     116123
195.12/195.73	c #Conflicts:       6000 | #Constraints:     117123
195.12/195.73	c INPROCESSING
195.12/195.73	c #Conflicts:       7000 | #Constraints:     116131
195.12/195.73	c #Conflicts:       8000 | #Constraints:     117131
195.12/195.73	c #Conflicts:       9000 | #Constraints:     118131
195.12/195.73	c INPROCESSING
195.12/195.73	c GARBAGE COLLECT
195.12/195.73	c #Conflicts:      10000 | #Constraints:     116828
195.12/195.73	c #Conflicts:      11000 | #Constraints:     117828
195.12/195.73	c #Conflicts:      12000 | #Constraints:     118828
195.12/195.73	c INPROCESSING
195.12/195.73	c #Conflicts:      13000 | #Constraints:     117279
195.12/195.73	c #Conflicts:      14000 | #Constraints:     118279
195.12/195.73	c #Conflicts:      15000 | #Constraints:     119279
195.12/195.73	c INPROCESSING
195.12/195.73	c GARBAGE COLLECT
195.12/195.73	c #Conflicts:      16000 | #Constraints:     117507
195.12/195.73	c #Conflicts:      17000 | #Constraints:     118507
195.12/195.73	c #Conflicts:      18000 | #Constraints:     119507
195.12/195.73	c INPROCESSING
195.12/195.73	c GARBAGE COLLECT
195.12/195.73	c #Conflicts:      19000 | #Constraints:     117523
195.12/195.73	c #Conflicts:      20000 | #Constraints:     118523
195.12/195.73	c #Conflicts:      21000 | #Constraints:     119523
195.12/195.73	c INPROCESSING
195.12/195.73	c GARBAGE COLLECT
195.12/195.73	c rational objective 550
229.62/230.31	c #Conflicts:      22000 | #Constraints:     117325
229.62/230.31	c #Conflicts:      23000 | #Constraints:     118325
229.62/230.31	c #Conflicts:      24000 | #Constraints:     119325
229.62/230.31	c #Conflicts:      25000 | #Constraints:     120325
229.62/230.31	c INPROCESSING
229.62/230.31	c GARBAGE COLLECT
229.62/230.31	c rational objective 550
254.16/254.93	c #Conflicts:      26000 | #Constraints:     117930
254.16/254.93	c #Conflicts:      27000 | #Constraints:     118930
254.16/254.93	c #Conflicts:      28000 | #Constraints:     119930
254.16/254.93	c #Conflicts:      29000 | #Constraints:     120930
254.16/254.93	c INPROCESSING
254.16/254.93	c GARBAGE COLLECT
254.16/254.93	c #Conflicts:      30000 | #Constraints:     118325
254.16/254.93	c #Conflicts:      31000 | #Constraints:     119325
254.16/254.93	c #Conflicts:      32000 | #Constraints:     120325
254.16/254.93	c #Conflicts:      33000 | #Constraints:     121325
254.16/254.93	c INPROCESSING
254.16/254.93	c GARBAGE COLLECT
254.16/254.93	c rational objective 550
263.13/263.99	c #Conflicts:      34000 | #Constraints:     118527
263.13/263.99	c #Conflicts:      35000 | #Constraints:     119527
263.13/263.99	c #Conflicts:      36000 | #Constraints:     120527
263.13/263.99	c #Conflicts:      37000 | #Constraints:     121527
263.13/263.99	c INPROCESSING
263.13/263.99	c GARBAGE COLLECT
263.13/263.99	c rational objective 550
275.21/276.03	c #Conflicts:      38000 | #Constraints:     118543
275.21/276.03	c #Conflicts:      39000 | #Constraints:     119543
275.21/276.03	c #Conflicts:      40000 | #Constraints:     120543
275.21/276.03	c #Conflicts:      41000 | #Constraints:     121543
275.21/276.03	c INPROCESSING
275.21/276.03	c GARBAGE COLLECT
275.21/276.03	c rational objective 550
283.98/284.83	c #Conflicts:      42000 | #Constraints:     118343
283.98/284.83	c #Conflicts:      43000 | #Constraints:     119343
283.98/284.83	c #Conflicts:      44000 | #Constraints:     120343
283.98/284.83	c #Conflicts:      45000 | #Constraints:     121343
283.98/284.83	c #Conflicts:      46000 | #Constraints:     122343
283.98/284.83	c INPROCESSING
283.98/284.83	c GARBAGE COLLECT
283.98/284.83	c rational objective 550
294.25/295.15	c #Conflicts:      47000 | #Constraints:     118937
294.25/295.15	c #Conflicts:      48000 | #Constraints:     119937
294.25/295.15	c #Conflicts:      49000 | #Constraints:     120937
294.25/295.15	c #Conflicts:      50000 | #Constraints:     121937
294.25/295.15	c #Conflicts:      51000 | #Constraints:     122937
294.25/295.15	c INPROCESSING
294.25/295.15	c GARBAGE COLLECT
294.25/295.15	c rational objective 550
304.52/305.44	c #Conflicts:      52000 | #Constraints:     119339
304.52/305.44	c #Conflicts:      53000 | #Constraints:     120339
304.52/305.44	c #Conflicts:      54000 | #Constraints:     121339
304.52/305.44	c #Conflicts:      55000 | #Constraints:     122339
304.52/305.44	c #Conflicts:      56000 | #Constraints:     123339
304.52/305.44	c INPROCESSING
304.52/305.44	c GARBAGE COLLECT
304.52/305.44	c rational objective 550
320.67/321.68	c #Conflicts:      57000 | #Constraints:     119535
320.67/321.68	c #Conflicts:      58000 | #Constraints:     120535
320.67/321.68	c #Conflicts:      59000 | #Constraints:     121535
320.67/321.68	c #Conflicts:      60000 | #Constraints:     122535
320.67/321.68	c #Conflicts:      61000 | #Constraints:     123535
320.67/321.68	c INPROCESSING
320.67/321.68	c GARBAGE COLLECT
320.67/321.68	c rational objective 550
334.93/335.98	c #Conflicts:      62000 | #Constraints:     119538
334.93/335.98	c #Conflicts:      63000 | #Constraints:     120538
334.93/335.98	c #Conflicts:      64000 | #Constraints:     121538
334.93/335.98	c #Conflicts:      65000 | #Constraints:     122538
334.93/335.98	c #Conflicts:      66000 | #Constraints:     123538
334.93/335.98	c INPROCESSING
334.93/335.98	c GARBAGE COLLECT
334.93/335.98	c rational objective 550
349.39/350.44	c #Conflicts:      67000 | #Constraints:     119332
349.39/350.44	c #Conflicts:      68000 | #Constraints:     120332
349.39/350.44	c #Conflicts:      69000 | #Constraints:     121332
349.39/350.44	c #Conflicts:      70000 | #Constraints:     122332
349.39/350.44	c #Conflicts:      71000 | #Constraints:     123332
349.39/350.44	c #Conflicts:      72000 | #Constraints:     124332
349.39/350.44	c INPROCESSING
349.39/350.44	c GARBAGE COLLECT
349.39/350.44	c rational objective 550
372.23/373.38	c #Conflicts:      73000 | #Constraints:     119926
372.23/373.38	c #Conflicts:      74000 | #Constraints:     120926
372.23/373.38	c #Conflicts:      75000 | #Constraints:     121926
372.23/373.38	c #Conflicts:      76000 | #Constraints:     122926
372.23/373.38	c #Conflicts:      77000 | #Constraints:     123926
372.23/373.38	c #Conflicts:      78000 | #Constraints:     124926
372.23/373.38	c INPROCESSING
372.23/373.38	c GARBAGE COLLECT
372.23/373.38	c rational objective 550
379.91/381.08	c #Conflicts:      79000 | #Constraints:     120331
379.91/381.08	c #Conflicts:      80000 | #Constraints:     121331
379.91/381.08	c #Conflicts:      81000 | #Constraints:     122331
379.91/381.08	c #Conflicts:      82000 | #Constraints:     123331
379.91/381.08	c #Conflicts:      83000 | #Constraints:     124331
379.91/381.08	c #Conflicts:      84000 | #Constraints:     125331
379.91/381.08	c INPROCESSING
379.91/381.08	c GARBAGE COLLECT
379.91/381.08	c rational objective 550
391.68/392.89	c #Conflicts:      85000 | #Constraints:     120541
391.68/392.89	c #Conflicts:      86000 | #Constraints:     121541
391.68/392.89	c #Conflicts:      87000 | #Constraints:     122541
391.68/392.89	c #Conflicts:      88000 | #Constraints:     123541
391.68/392.89	c #Conflicts:      89000 | #Constraints:     124541
391.68/392.89	c #Conflicts:      90000 | #Constraints:     125541
391.68/392.89	c INPROCESSING
391.68/392.89	c GARBAGE COLLECT
391.68/392.89	c rational objective 550
408.74/409.96	c #Conflicts:      91000 | #Constraints:     120544
408.74/409.96	c #Conflicts:      92000 | #Constraints:     121544
408.74/409.96	c #Conflicts:      93000 | #Constraints:     122544
408.74/409.96	c #Conflicts:      94000 | #Constraints:     123544
408.74/409.96	c #Conflicts:      95000 | #Constraints:     124544
408.74/409.96	c #Conflicts:      96000 | #Constraints:     125544
408.74/409.96	c INPROCESSING
408.74/409.96	c GARBAGE COLLECT
408.74/409.96	c rational objective 550
434.16/435.41	c #Conflicts:      97000 | #Constraints:     120353
434.16/435.41	c #Conflicts:      98000 | #Constraints:     121353
434.16/435.41	c #Conflicts:      99000 | #Constraints:     122353
434.16/435.41	c #Conflicts:     100000 | #Constraints:     123353
434.16/435.41	c #Conflicts:     101000 | #Constraints:     124353
434.16/435.41	c #Conflicts:     102000 | #Constraints:     125353
434.16/435.41	c #Conflicts:     103000 | #Constraints:     126353
434.16/435.41	c INPROCESSING
434.16/435.41	c GARBAGE COLLECT
434.16/435.41	c rational objective 550
444.84/446.12	c #Conflicts:     104000 | #Constraints:     120939
444.84/446.12	c #Conflicts:     105000 | #Constraints:     121939
444.84/446.12	c #Conflicts:     106000 | #Constraints:     122939
444.84/446.12	c #Conflicts:     107000 | #Constraints:     123939
444.84/446.12	c #Conflicts:     108000 | #Constraints:     124939
444.84/446.12	c #Conflicts:     109000 | #Constraints:     125939
444.84/446.12	c #Conflicts:     110000 | #Constraints:     126939
444.84/446.12	c INPROCESSING
444.84/446.12	c GARBAGE COLLECT
444.84/446.12	c rational objective 550
458.59/459.90	c #Conflicts:     111000 | #Constraints:     121339
458.59/459.90	c #Conflicts:     112000 | #Constraints:     122339
458.59/459.90	c #Conflicts:     113000 | #Constraints:     123339
458.59/459.90	c #Conflicts:     114000 | #Constraints:     124339
458.59/459.90	c #Conflicts:     115000 | #Constraints:     125339
458.59/459.90	c #Conflicts:     116000 | #Constraints:     126339
458.59/459.90	c #Conflicts:     117000 | #Constraints:     127339
458.59/459.90	c INPROCESSING
458.59/459.90	c GARBAGE COLLECT
458.59/459.90	c rational objective 550
488.52/489.93	c #Conflicts:     118000 | #Constraints:     121530
488.52/489.93	c #Conflicts:     119000 | #Constraints:     122530
488.52/489.93	c #Conflicts:     120000 | #Constraints:     123530
488.52/489.93	c #Conflicts:     121000 | #Constraints:     124530
488.52/489.93	c #Conflicts:     122000 | #Constraints:     125530
488.52/489.93	c #Conflicts:     123000 | #Constraints:     126530
488.52/489.93	c #Conflicts:     124000 | #Constraints:     127530
488.52/489.93	c INPROCESSING
488.52/489.93	c GARBAGE COLLECT
488.52/489.93	c rational objective 550
505.57/507.04	c #Conflicts:     125000 | #Constraints:     121527
505.57/507.04	c #Conflicts:     126000 | #Constraints:     122527
505.57/507.04	c #Conflicts:     127000 | #Constraints:     123527
505.57/507.04	c #Conflicts:     128000 | #Constraints:     124527
505.57/507.04	c #Conflicts:     129000 | #Constraints:     125527
505.57/507.04	c #Conflicts:     130000 | #Constraints:     126527
505.57/507.04	c #Conflicts:     131000 | #Constraints:     127527
505.57/507.04	c INPROCESSING
505.57/507.04	c GARBAGE COLLECT
505.57/507.04	c rational objective 550
518.24/519.74	c #Conflicts:     132000 | #Constraints:     121323
518.24/519.74	c #Conflicts:     133000 | #Constraints:     122323
518.24/519.74	c #Conflicts:     134000 | #Constraints:     123323
518.24/519.74	c #Conflicts:     135000 | #Constraints:     124323
518.24/519.74	c #Conflicts:     136000 | #Constraints:     125323
518.24/519.74	c #Conflicts:     137000 | #Constraints:     126323
518.24/519.74	c #Conflicts:     138000 | #Constraints:     127323
518.24/519.74	c #Conflicts:     139000 | #Constraints:     128323
518.24/519.74	c INPROCESSING
518.24/519.74	c GARBAGE COLLECT
518.24/519.74	c rational objective 550
535.89/537.47	c #Conflicts:     140000 | #Constraints:     121937
535.89/537.47	c #Conflicts:     141000 | #Constraints:     122937
535.89/537.47	c #Conflicts:     142000 | #Constraints:     123937
535.89/537.47	c #Conflicts:     143000 | #Constraints:     124937
535.89/537.47	c #Conflicts:     144000 | #Constraints:     125937
535.89/537.47	c #Conflicts:     145000 | #Constraints:     126937
535.89/537.47	c #Conflicts:     146000 | #Constraints:     127937
535.89/537.47	c #Conflicts:     147000 | #Constraints:     128937
535.89/537.47	c INPROCESSING
535.89/537.47	c GARBAGE COLLECT
535.89/537.47	c rational objective 550
559.93/561.51	c #Conflicts:     148000 | #Constraints:     122349
559.93/561.51	c #Conflicts:     149000 | #Constraints:     123349
559.93/561.51	c #Conflicts:     150000 | #Constraints:     124349
559.93/561.51	c #Conflicts:     151000 | #Constraints:     125349
559.93/561.51	c #Conflicts:     152000 | #Constraints:     126349
559.93/561.51	c #Conflicts:     153000 | #Constraints:     127349
559.93/561.51	c #Conflicts:     154000 | #Constraints:     128349
559.93/561.51	c #Conflicts:     155000 | #Constraints:     129349
559.93/561.51	c INPROCESSING
559.93/561.51	c GARBAGE COLLECT
559.93/561.51	c rational objective 550
573.39/575.10	c #Conflicts:     156000 | #Constraints:     122546
573.39/575.10	c #Conflicts:     157000 | #Constraints:     123546
573.39/575.10	c #Conflicts:     158000 | #Constraints:     124546
573.39/575.10	c #Conflicts:     159000 | #Constraints:     125546
573.39/575.10	c #Conflicts:     160000 | #Constraints:     126546
573.39/575.10	c #Conflicts:     161000 | #Constraints:     127546
573.39/575.10	c #Conflicts:     162000 | #Constraints:     128546
573.39/575.10	c #Conflicts:     163000 | #Constraints:     129546
573.39/575.10	c INPROCESSING
573.39/575.10	c GARBAGE COLLECT
573.39/575.10	c rational objective 550
602.71/604.49	c #Conflicts:     164000 | #Constraints:     122550
602.71/604.49	c #Conflicts:     165000 | #Constraints:     123550
602.71/604.49	c #Conflicts:     166000 | #Constraints:     124550
602.71/604.49	c #Conflicts:     167000 | #Constraints:     125550
602.71/604.49	c #Conflicts:     168000 | #Constraints:     126550
602.71/604.49	c #Conflicts:     169000 | #Constraints:     127550
602.71/604.49	c #Conflicts:     170000 | #Constraints:     128550
602.71/604.49	c #Conflicts:     171000 | #Constraints:     129550
602.71/604.49	c INPROCESSING
602.71/604.49	c GARBAGE COLLECT
602.71/604.49	c rational objective 550
616.98/618.72	c #Conflicts:     172000 | #Constraints:     122336
616.98/618.72	c #Conflicts:     173000 | #Constraints:     123336
616.98/618.72	c #Conflicts:     174000 | #Constraints:     124336
616.98/618.72	c #Conflicts:     175000 | #Constraints:     125336
616.98/618.72	c #Conflicts:     176000 | #Constraints:     126336
616.98/618.72	c #Conflicts:     177000 | #Constraints:     127336
616.98/618.72	c #Conflicts:     178000 | #Constraints:     128336
616.98/618.72	c #Conflicts:     179000 | #Constraints:     129336
616.98/618.72	c #Conflicts:     180000 | #Constraints:     130336
616.98/618.72	c INPROCESSING
616.98/618.72	c GARBAGE COLLECT
616.98/618.72	c rational objective 550
638.12/640.00	c #Conflicts:     181000 | #Constraints:     122931
638.12/640.00	c #Conflicts:     182000 | #Constraints:     123931
638.12/640.00	c #Conflicts:     183000 | #Constraints:     124931
638.12/640.00	c #Conflicts:     184000 | #Constraints:     125931
638.12/640.00	c #Conflicts:     185000 | #Constraints:     126931
638.12/640.00	c #Conflicts:     186000 | #Constraints:     127931
638.12/640.00	c #Conflicts:     187000 | #Constraints:     128931
638.12/640.00	c #Conflicts:     188000 | #Constraints:     129931
638.12/640.00	c #Conflicts:     189000 | #Constraints:     130931
638.12/640.00	c INPROCESSING
638.12/640.00	c GARBAGE COLLECT
638.12/640.00	c rational objective 550
661.96/663.89	c #Conflicts:     190000 | #Constraints:     123342
661.96/663.89	c #Conflicts:     191000 | #Constraints:     124342
661.96/663.89	c #Conflicts:     192000 | #Constraints:     125342
661.96/663.89	c #Conflicts:     193000 | #Constraints:     126342
661.96/663.89	c #Conflicts:     194000 | #Constraints:     127342
661.96/663.89	c #Conflicts:     195000 | #Constraints:     128342
661.96/663.89	c #Conflicts:     196000 | #Constraints:     129342
661.96/663.89	c #Conflicts:     197000 | #Constraints:     130342
661.96/663.89	c #Conflicts:     198000 | #Constraints:     131342
661.96/663.89	c INPROCESSING
661.96/663.89	c GARBAGE COLLECT
661.96/663.89	c rational objective 550
684.20/686.13	c #Conflicts:     199000 | #Constraints:     123547
684.20/686.13	c #Conflicts:     200000 | #Constraints:     124547
684.20/686.13	c #Conflicts:     201000 | #Constraints:     125547
684.20/686.13	c #Conflicts:     202000 | #Constraints:     126547
684.20/686.13	c #Conflicts:     203000 | #Constraints:     127547
684.20/686.13	c #Conflicts:     204000 | #Constraints:     128547
684.20/686.13	c #Conflicts:     205000 | #Constraints:     129547
684.20/686.13	c #Conflicts:     206000 | #Constraints:     130547
684.20/686.13	c #Conflicts:     207000 | #Constraints:     131547
684.20/686.13	c INPROCESSING
684.20/686.13	c GARBAGE COLLECT
684.20/686.13	c rational objective 550
701.85/703.87	c #Conflicts:     208000 | #Constraints:     123542
701.85/703.87	c #Conflicts:     209000 | #Constraints:     124542
701.85/703.87	c #Conflicts:     210000 | #Constraints:     125542
701.85/703.87	c #Conflicts:     211000 | #Constraints:     126542
701.85/703.87	c #Conflicts:     212000 | #Constraints:     127542
701.85/703.87	c #Conflicts:     213000 | #Constraints:     128542
701.85/703.87	c #Conflicts:     214000 | #Constraints:     129542
701.85/703.87	c #Conflicts:     215000 | #Constraints:     130542
701.85/703.87	c #Conflicts:     216000 | #Constraints:     131542
701.85/703.87	c INPROCESSING
701.85/703.87	c GARBAGE COLLECT
701.85/703.87	c rational objective 550
721.40/723.41	c #Conflicts:     217000 | #Constraints:     123349
721.40/723.41	c #Conflicts:     218000 | #Constraints:     124349
721.40/723.41	c #Conflicts:     219000 | #Constraints:     125349
721.40/723.41	c #Conflicts:     220000 | #Constraints:     126349
721.40/723.41	c #Conflicts:     221000 | #Constraints:     127349
721.40/723.41	c #Conflicts:     222000 | #Constraints:     128349
721.40/723.41	c #Conflicts:     223000 | #Constraints:     129349
721.40/723.41	c #Conflicts:     224000 | #Constraints:     130349
721.40/723.41	c #Conflicts:     225000 | #Constraints:     131349
721.40/723.41	c #Conflicts:     226000 | #Constraints:     132349
721.40/723.41	c INPROCESSING
721.40/723.41	c GARBAGE COLLECT
721.40/723.41	c rational objective 550
746.13/748.27	c #Conflicts:     227000 | #Constraints:     123956
746.13/748.27	c #Conflicts:     228000 | #Constraints:     124956
746.13/748.27	c #Conflicts:     229000 | #Constraints:     125956
746.13/748.27	c #Conflicts:     230000 | #Constraints:     126956
746.13/748.27	c #Conflicts:     231000 | #Constraints:     127956
746.13/748.27	c #Conflicts:     232000 | #Constraints:     128956
746.13/748.27	c #Conflicts:     233000 | #Constraints:     129956
746.13/748.27	c #Conflicts:     234000 | #Constraints:     130956
746.13/748.27	c #Conflicts:     235000 | #Constraints:     131956
746.13/748.27	c #Conflicts:     236000 | #Constraints:     132956
746.13/748.27	c INPROCESSING
746.13/748.27	c GARBAGE COLLECT
746.13/748.27	c rational objective 550
772.57/774.78	c #Conflicts:     237000 | #Constraints:     124342
772.57/774.78	c #Conflicts:     238000 | #Constraints:     125342
772.57/774.78	c #Conflicts:     239000 | #Constraints:     126342
772.57/774.78	c #Conflicts:     240000 | #Constraints:     127342
772.57/774.78	c #Conflicts:     241000 | #Constraints:     128342
772.57/774.78	c #Conflicts:     242000 | #Constraints:     129342
772.57/774.78	c #Conflicts:     243000 | #Constraints:     130342
772.57/774.78	c #Conflicts:     244000 | #Constraints:     131342
772.57/774.78	c #Conflicts:     245000 | #Constraints:     132342
772.57/774.78	c #Conflicts:     246000 | #Constraints:     133342
772.57/774.78	c INPROCESSING
772.57/774.78	c GARBAGE COLLECT
772.57/774.78	c rational objective 550
795.11/797.30	c #Conflicts:     247000 | #Constraints:     124543
795.11/797.30	c #Conflicts:     248000 | #Constraints:     125543
795.11/797.30	c #Conflicts:     249000 | #Constraints:     126543
795.11/797.30	c #Conflicts:     250000 | #Constraints:     127543
795.11/797.30	c #Conflicts:     251000 | #Constraints:     128543
795.11/797.30	c #Conflicts:     252000 | #Constraints:     129543
795.11/797.30	c #Conflicts:     253000 | #Constraints:     130543
795.11/797.30	c #Conflicts:     254000 | #Constraints:     131543
795.11/797.30	c #Conflicts:     255000 | #Constraints:     132543
795.11/797.30	c #Conflicts:     256000 | #Constraints:     133543
795.11/797.30	c INPROCESSING
795.11/797.30	c GARBAGE COLLECT
795.11/797.30	c rational objective 550
821.84/824.14	c #Conflicts:     257000 | #Constraints:     124538
821.84/824.14	c #Conflicts:     258000 | #Constraints:     125538
821.84/824.14	c #Conflicts:     259000 | #Constraints:     126538
821.84/824.14	c #Conflicts:     260000 | #Constraints:     127538
821.84/824.14	c #Conflicts:     261000 | #Constraints:     128538
821.84/824.14	c #Conflicts:     262000 | #Constraints:     129538
821.84/824.14	c #Conflicts:     263000 | #Constraints:     130538
821.84/824.14	c #Conflicts:     264000 | #Constraints:     131538
821.84/824.14	c #Conflicts:     265000 | #Constraints:     132538
821.84/824.14	c #Conflicts:     266000 | #Constraints:     133538
821.84/824.14	c INPROCESSING
821.84/824.14	c GARBAGE COLLECT
821.84/824.14	c rational objective 550
842.97/845.35	c #Conflicts:     267000 | #Constraints:     124336
842.97/845.35	c #Conflicts:     268000 | #Constraints:     125336
842.97/845.35	c #Conflicts:     269000 | #Constraints:     126336
842.97/845.35	c #Conflicts:     270000 | #Constraints:     127336
842.97/845.35	c #Conflicts:     271000 | #Constraints:     128336
842.97/845.35	c #Conflicts:     272000 | #Constraints:     129336
842.97/845.35	c #Conflicts:     273000 | #Constraints:     130336
842.97/845.35	c #Conflicts:     274000 | #Constraints:     131336
842.97/845.35	c #Conflicts:     275000 | #Constraints:     132336
842.97/845.35	c #Conflicts:     276000 | #Constraints:     133336
842.97/845.35	c #Conflicts:     277000 | #Constraints:     134336
842.97/845.35	c INPROCESSING
842.97/845.35	c GARBAGE COLLECT
842.97/845.35	c rational objective 550
885.66/888.12	c #Conflicts:     278000 | #Constraints:     124933
885.66/888.12	c #Conflicts:     279000 | #Constraints:     125933
885.66/888.12	c #Conflicts:     280000 | #Constraints:     126933
885.66/888.12	c #Conflicts:     281000 | #Constraints:     127933
885.66/888.12	c #Conflicts:     282000 | #Constraints:     128933
885.66/888.12	c #Conflicts:     283000 | #Constraints:     129933
885.66/888.12	c #Conflicts:     284000 | #Constraints:     130933
885.66/888.12	c #Conflicts:     285000 | #Constraints:     131933
885.66/888.12	c #Conflicts:     286000 | #Constraints:     132933
885.66/888.12	c #Conflicts:     287000 | #Constraints:     133933
885.66/888.12	c #Conflicts:     288000 | #Constraints:     134933
885.66/888.12	c INPROCESSING
885.66/888.12	c GARBAGE COLLECT
885.66/888.12	c rational objective 550
901.72/904.25	c #Conflicts:     289000 | #Constraints:     125331
901.72/904.25	c #Conflicts:     290000 | #Constraints:     126331
901.72/904.25	c #Conflicts:     291000 | #Constraints:     127331
901.72/904.25	c #Conflicts:     292000 | #Constraints:     128331
901.72/904.25	c #Conflicts:     293000 | #Constraints:     129331
901.72/904.25	c #Conflicts:     294000 | #Constraints:     130331
901.72/904.25	c #Conflicts:     295000 | #Constraints:     131331
901.72/904.25	c #Conflicts:     296000 | #Constraints:     132331
901.72/904.25	c #Conflicts:     297000 | #Constraints:     133331
901.72/904.25	c #Conflicts:     298000 | #Constraints:     134331
901.72/904.25	c #Conflicts:     299000 | #Constraints:     135331
901.72/904.25	c INPROCESSING
901.72/904.25	c GARBAGE COLLECT
901.72/904.25	c rational objective 550
928.35/930.97	c #Conflicts:     300000 | #Constraints:     125527
928.35/930.97	c #Conflicts:     301000 | #Constraints:     126527
928.35/930.97	c #Conflicts:     302000 | #Constraints:     127527
928.35/930.97	c #Conflicts:     303000 | #Constraints:     128527
928.35/930.97	c #Conflicts:     304000 | #Constraints:     129527
928.35/930.97	c #Conflicts:     305000 | #Constraints:     130527
928.35/930.97	c #Conflicts:     306000 | #Constraints:     131527
928.35/930.97	c #Conflicts:     307000 | #Constraints:     132527
928.35/930.97	c #Conflicts:     308000 | #Constraints:     133527
928.35/930.97	c #Conflicts:     309000 | #Constraints:     134527
928.35/930.97	c #Conflicts:     310000 | #Constraints:     135527
928.35/930.97	c INPROCESSING
928.35/930.97	c GARBAGE COLLECT
928.35/930.97	c rational objective 550
953.38/956.03	c #Conflicts:     311000 | #Constraints:     125538
953.38/956.03	c #Conflicts:     312000 | #Constraints:     126538
953.38/956.03	c #Conflicts:     313000 | #Constraints:     127538
953.38/956.03	c #Conflicts:     314000 | #Constraints:     128538
953.38/956.03	c #Conflicts:     315000 | #Constraints:     129538
953.38/956.03	c #Conflicts:     316000 | #Constraints:     130538
953.38/956.03	c #Conflicts:     317000 | #Constraints:     131538
953.38/956.03	c #Conflicts:     318000 | #Constraints:     132538
953.38/956.03	c #Conflicts:     319000 | #Constraints:     133538
953.38/956.03	c #Conflicts:     320000 | #Constraints:     134538
953.38/956.03	c #Conflicts:     321000 | #Constraints:     135538
953.38/956.03	c INPROCESSING
953.38/956.03	c GARBAGE COLLECT
953.38/956.03	c rational objective 550
980.21/982.96	c #Conflicts:     322000 | #Constraints:     125341
980.21/982.96	c #Conflicts:     323000 | #Constraints:     126341
980.21/982.96	c #Conflicts:     324000 | #Constraints:     127341
980.21/982.96	c #Conflicts:     325000 | #Constraints:     128341
980.21/982.96	c #Conflicts:     326000 | #Constraints:     129341
980.21/982.96	c #Conflicts:     327000 | #Constraints:     130341
980.21/982.96	c #Conflicts:     328000 | #Constraints:     131341
980.21/982.96	c #Conflicts:     329000 | #Constraints:     132341
980.21/982.96	c #Conflicts:     330000 | #Constraints:     133341
980.21/982.96	c #Conflicts:     331000 | #Constraints:     134341
980.21/982.96	c #Conflicts:     332000 | #Constraints:     135341
980.21/982.96	c #Conflicts:     333000 | #Constraints:     136341
980.21/982.96	c INPROCESSING
980.21/982.96	c GARBAGE COLLECT
980.21/982.96	c rational objective 550
1012.12/1015.00	c #Conflicts:     334000 | #Constraints:     125949
1012.12/1015.00	c #Conflicts:     335000 | #Constraints:     126949
1012.12/1015.00	c #Conflicts:     336000 | #Constraints:     127949
1012.12/1015.00	c #Conflicts:     337000 | #Constraints:     128949
1012.12/1015.00	c #Conflicts:     338000 | #Constraints:     129949
1012.12/1015.00	c #Conflicts:     339000 | #Constraints:     130949
1012.12/1015.00	c #Conflicts:     340000 | #Constraints:     131949
1012.12/1015.00	c #Conflicts:     341000 | #Constraints:     132949
1012.12/1015.00	c #Conflicts:     342000 | #Constraints:     133949
1012.12/1015.00	c #Conflicts:     343000 | #Constraints:     134949
1012.12/1015.00	c #Conflicts:     344000 | #Constraints:     135949
1012.12/1015.00	c #Conflicts:     345000 | #Constraints:     136949
1012.12/1015.00	c INPROCESSING
1012.12/1015.00	c GARBAGE COLLECT
1012.12/1015.00	c rational objective 550
1050.53/1053.48	c #Conflicts:     346000 | #Constraints:     126335
1050.53/1053.48	c #Conflicts:     347000 | #Constraints:     127335
1050.53/1053.48	c #Conflicts:     348000 | #Constraints:     128335
1050.53/1053.48	c #Conflicts:     349000 | #Constraints:     129335
1050.53/1053.48	c #Conflicts:     350000 | #Constraints:     130335
1050.53/1053.48	c #Conflicts:     351000 | #Constraints:     131335
1050.53/1053.48	c #Conflicts:     352000 | #Constraints:     132335
1050.53/1053.48	c #Conflicts:     353000 | #Constraints:     133335
1050.53/1053.48	c #Conflicts:     354000 | #Constraints:     134335
1050.53/1053.48	c #Conflicts:     355000 | #Constraints:     135335
1050.53/1053.48	c #Conflicts:     356000 | #Constraints:     136335
1050.53/1053.48	c #Conflicts:     357000 | #Constraints:     137335
1050.53/1053.48	c INPROCESSING
1050.53/1053.48	c GARBAGE COLLECT
1050.53/1053.48	c rational objective 550
1079.05/1082.03	c #Conflicts:     358000 | #Constraints:     126527
1079.05/1082.03	c #Conflicts:     359000 | #Constraints:     127527
1079.05/1082.03	c #Conflicts:     360000 | #Constraints:     128527
1079.05/1082.03	c #Conflicts:     361000 | #Constraints:     129527
1079.05/1082.03	c #Conflicts:     362000 | #Constraints:     130527
1079.05/1082.03	c #Conflicts:     363000 | #Constraints:     131527
1079.05/1082.03	c #Conflicts:     364000 | #Constraints:     132527
1079.05/1082.03	c #Conflicts:     365000 | #Constraints:     133527
1079.05/1082.03	c #Conflicts:     366000 | #Constraints:     134527
1079.05/1082.03	c #Conflicts:     367000 | #Constraints:     135527
1079.05/1082.03	c #Conflicts:     368000 | #Constraints:     136527
1079.05/1082.03	c #Conflicts:     369000 | #Constraints:     137527
1079.05/1082.03	c INPROCESSING
1079.05/1082.03	c GARBAGE COLLECT
1079.05/1082.03	c rational objective 550
1106.17/1109.22	c #Conflicts:     370000 | #Constraints:     126534
1106.17/1109.22	c #Conflicts:     371000 | #Constraints:     127534
1106.17/1109.22	c #Conflicts:     372000 | #Constraints:     128534
1106.17/1109.22	c #Conflicts:     373000 | #Constraints:     129534
1106.17/1109.22	c #Conflicts:     374000 | #Constraints:     130534
1106.17/1109.22	c #Conflicts:     375000 | #Constraints:     131534
1106.17/1109.22	c #Conflicts:     376000 | #Constraints:     132534
1106.17/1109.22	c #Conflicts:     377000 | #Constraints:     133534
1106.17/1109.22	c #Conflicts:     378000 | #Constraints:     134534
1106.17/1109.22	c #Conflicts:     379000 | #Constraints:     135534
1106.17/1109.22	c #Conflicts:     380000 | #Constraints:     136534
1106.17/1109.22	c #Conflicts:     381000 | #Constraints:     137534
1106.17/1109.22	c INPROCESSING
1106.17/1109.22	c GARBAGE COLLECT
1106.17/1109.22	c rational objective 550
1135.39/1138.54	c #Conflicts:     382000 | #Constraints:     126330
1135.39/1138.54	c #Conflicts:     383000 | #Constraints:     127330
1135.39/1138.54	c #Conflicts:     384000 | #Constraints:     128330
1135.39/1138.54	c #Conflicts:     385000 | #Constraints:     129330
1135.39/1138.54	c #Conflicts:     386000 | #Constraints:     130330
1135.39/1138.54	c #Conflicts:     387000 | #Constraints:     131330
1135.39/1138.54	c #Conflicts:     388000 | #Constraints:     132330
1135.39/1138.54	c #Conflicts:     389000 | #Constraints:     133330
1135.39/1138.54	c #Conflicts:     390000 | #Constraints:     134330
1135.39/1138.54	c #Conflicts:     391000 | #Constraints:     135330
1135.39/1138.54	c #Conflicts:     392000 | #Constraints:     136330
1135.39/1138.54	c #Conflicts:     393000 | #Constraints:     137330
1135.39/1138.54	c #Conflicts:     394000 | #Constraints:     138330
1135.39/1138.54	c INPROCESSING
1135.39/1138.54	c GARBAGE COLLECT
1135.39/1138.54	c rational objective 550
1171.29/1174.56	c #Conflicts:     395000 | #Constraints:     126938
1171.29/1174.56	c #Conflicts:     396000 | #Constraints:     127938
1171.29/1174.56	c #Conflicts:     397000 | #Constraints:     128938
1171.29/1174.56	c #Conflicts:     398000 | #Constraints:     129938
1171.29/1174.56	c #Conflicts:     399000 | #Constraints:     130938
1171.29/1174.56	c #Conflicts:     400000 | #Constraints:     131938
1171.29/1174.56	c #Conflicts:     401000 | #Constraints:     132938
1171.29/1174.56	c #Conflicts:     402000 | #Constraints:     133938
1171.29/1174.56	c #Conflicts:     403000 | #Constraints:     134938
1171.29/1174.56	c #Conflicts:     404000 | #Constraints:     135938
1171.29/1174.56	c #Conflicts:     405000 | #Constraints:     136938
1171.29/1174.56	c #Conflicts:     406000 | #Constraints:     137938
1171.29/1174.56	c #Conflicts:     407000 | #Constraints:     138938
1171.29/1174.56	c INPROCESSING
1171.29/1174.56	c GARBAGE COLLECT
1171.29/1174.56	c rational objective 550
1199.11/1202.41	c #Conflicts:     408000 | #Constraints:     127332
1199.11/1202.41	c #Conflicts:     409000 | #Constraints:     128332
1199.11/1202.41	c #Conflicts:     410000 | #Constraints:     129332
1199.11/1202.41	c #Conflicts:     411000 | #Constraints:     130332
1199.11/1202.41	c #Conflicts:     412000 | #Constraints:     131332
1199.11/1202.41	c #Conflicts:     413000 | #Constraints:     132332
1199.11/1202.41	c #Conflicts:     414000 | #Constraints:     133332
1199.11/1202.41	c #Conflicts:     415000 | #Constraints:     134332
1199.11/1202.41	c #Conflicts:     416000 | #Constraints:     135332
1199.11/1202.41	c #Conflicts:     417000 | #Constraints:     136332
1199.11/1202.41	c #Conflicts:     418000 | #Constraints:     137332
1199.11/1202.41	c #Conflicts:     419000 | #Constraints:     138332
1199.11/1202.41	c #Conflicts:     420000 | #Constraints:     139332
1199.11/1202.41	c INPROCESSING
1199.11/1202.41	c GARBAGE COLLECT
1199.11/1202.41	c rational objective 550
1228.43/1231.85	c #Conflicts:     421000 | #Constraints:     127544
1228.43/1231.85	c #Conflicts:     422000 | #Constraints:     128544
1228.43/1231.85	c #Conflicts:     423000 | #Constraints:     129544
1228.43/1231.85	c #Conflicts:     424000 | #Constraints:     130544
1228.43/1231.85	c #Conflicts:     425000 | #Constraints:     131544
1228.43/1231.85	c #Conflicts:     426000 | #Constraints:     132544
1228.43/1231.85	c #Conflicts:     427000 | #Constraints:     133544
1228.43/1231.85	c #Conflicts:     428000 | #Constraints:     134544
1228.43/1231.85	c #Conflicts:     429000 | #Constraints:     135544
1228.43/1231.85	c #Conflicts:     430000 | #Constraints:     136544
1228.43/1231.85	c #Conflicts:     431000 | #Constraints:     137544
1228.43/1231.85	c #Conflicts:     432000 | #Constraints:     138544
1228.43/1231.85	c #Conflicts:     433000 | #Constraints:     139544
1228.43/1231.85	c INPROCESSING
1228.43/1231.85	c GARBAGE COLLECT
1228.43/1231.85	c rational objective 550
1254.77/1258.27	c #Conflicts:     434000 | #Constraints:     127554
1254.77/1258.27	c #Conflicts:     435000 | #Constraints:     128554
1254.77/1258.27	c #Conflicts:     436000 | #Constraints:     129554
1254.77/1258.27	c #Conflicts:     437000 | #Constraints:     130554
1254.77/1258.27	c #Conflicts:     438000 | #Constraints:     131554
1254.77/1258.27	c #Conflicts:     439000 | #Constraints:     132554
1254.77/1258.27	c #Conflicts:     440000 | #Constraints:     133554
1254.77/1258.27	c #Conflicts:     441000 | #Constraints:     134554
1254.77/1258.27	c #Conflicts:     442000 | #Constraints:     135554
1254.77/1258.27	c #Conflicts:     443000 | #Constraints:     136554
1254.77/1258.27	c #Conflicts:     444000 | #Constraints:     137554
1254.77/1258.27	c #Conflicts:     445000 | #Constraints:     138554
1254.77/1258.27	c #Conflicts:     446000 | #Constraints:     139554
1254.77/1258.27	c INPROCESSING
1254.77/1258.27	c GARBAGE COLLECT
1254.77/1258.27	c rational objective 550
1280.20/1283.74	c #Conflicts:     447000 | #Constraints:     127360
1280.20/1283.74	c #Conflicts:     448000 | #Constraints:     128360
1280.20/1283.74	c #Conflicts:     449000 | #Constraints:     129360
1280.20/1283.74	c #Conflicts:     450000 | #Constraints:     130360
1280.20/1283.74	c #Conflicts:     451000 | #Constraints:     131360
1280.20/1283.74	c #Conflicts:     452000 | #Constraints:     132360
1280.20/1283.74	c #Conflicts:     453000 | #Constraints:     133360
1280.20/1283.74	c #Conflicts:     454000 | #Constraints:     134360
1280.20/1283.74	c #Conflicts:     455000 | #Constraints:     135360
1280.20/1283.74	c #Conflicts:     456000 | #Constraints:     136360
1280.20/1283.74	c #Conflicts:     457000 | #Constraints:     137360
1280.20/1283.74	c #Conflicts:     458000 | #Constraints:     138360
1280.20/1283.74	c #Conflicts:     459000 | #Constraints:     139360
1280.20/1283.74	c #Conflicts:     460000 | #Constraints:     140360
1280.20/1283.74	c INPROCESSING
1280.20/1283.74	c GARBAGE COLLECT
1280.20/1283.74	c rational objective 550
1307.82/1311.48	c #Conflicts:     461000 | #Constraints:     127968
1307.82/1311.48	c #Conflicts:     462000 | #Constraints:     128968
1307.82/1311.48	c #Conflicts:     463000 | #Constraints:     129968
1307.82/1311.48	c #Conflicts:     464000 | #Constraints:     130968
1307.82/1311.48	c #Conflicts:     465000 | #Constraints:     131968
1307.82/1311.48	c #Conflicts:     466000 | #Constraints:     132968
1307.82/1311.48	c #Conflicts:     467000 | #Constraints:     133968
1307.82/1311.48	c #Conflicts:     468000 | #Constraints:     134968
1307.82/1311.48	c #Conflicts:     469000 | #Constraints:     135968
1307.82/1311.48	c #Conflicts:     470000 | #Constraints:     136968
1307.82/1311.48	c #Conflicts:     471000 | #Constraints:     137968
1307.82/1311.48	c #Conflicts:     472000 | #Constraints:     138968
1307.82/1311.48	c #Conflicts:     473000 | #Constraints:     139968
1307.82/1311.48	c #Conflicts:     474000 | #Constraints:     140968
1307.82/1311.48	c INPROCESSING
1307.82/1311.48	c GARBAGE COLLECT
1307.82/1311.48	c rational objective 550
1331.97/1335.64	c #Conflicts:     475000 | #Constraints:     128373
1331.97/1335.64	c #Conflicts:     476000 | #Constraints:     129373
1331.97/1335.64	c #Conflicts:     477000 | #Constraints:     130373
1331.97/1335.64	c #Conflicts:     478000 | #Constraints:     131373
1331.97/1335.64	c #Conflicts:     479000 | #Constraints:     132373
1331.97/1335.64	c #Conflicts:     480000 | #Constraints:     133373
1331.97/1335.64	c #Conflicts:     481000 | #Constraints:     134373
1331.97/1335.64	c #Conflicts:     482000 | #Constraints:     135373
1331.97/1335.64	c #Conflicts:     483000 | #Constraints:     136373
1331.97/1335.64	c #Conflicts:     484000 | #Constraints:     137373
1331.97/1335.64	c #Conflicts:     485000 | #Constraints:     138373
1331.97/1335.64	c #Conflicts:     486000 | #Constraints:     139373
1331.97/1335.64	c #Conflicts:     487000 | #Constraints:     140373
1331.97/1335.64	c #Conflicts:     488000 | #Constraints:     141373
1331.97/1335.64	c INPROCESSING
1331.97/1335.64	c GARBAGE COLLECT
1331.97/1335.64	c rational objective 550
1359.40/1363.14	c #Conflicts:     489000 | #Constraints:     128581
1359.40/1363.14	c #Conflicts:     490000 | #Constraints:     129581
1359.40/1363.14	c #Conflicts:     491000 | #Constraints:     130581
1359.40/1363.14	c #Conflicts:     492000 | #Constraints:     131581
1359.40/1363.14	c #Conflicts:     493000 | #Constraints:     132581
1359.40/1363.14	c #Conflicts:     494000 | #Constraints:     133581
1359.40/1363.14	c #Conflicts:     495000 | #Constraints:     134581
1359.40/1363.14	c #Conflicts:     496000 | #Constraints:     135581
1359.40/1363.14	c #Conflicts:     497000 | #Constraints:     136581
1359.40/1363.14	c #Conflicts:     498000 | #Constraints:     137581
1359.40/1363.14	c #Conflicts:     499000 | #Constraints:     138581
1359.40/1363.14	c #Conflicts:     500000 | #Constraints:     139581
1359.40/1363.14	c #Conflicts:     501000 | #Constraints:     140581
1359.40/1363.14	c #Conflicts:     502000 | #Constraints:     141581
1359.40/1363.14	c INPROCESSING
1359.40/1363.14	c GARBAGE COLLECT
1359.40/1363.14	c rational objective 550
1390.00/1393.80	c #Conflicts:     503000 | #Constraints:     128583
1390.00/1393.80	c #Conflicts:     504000 | #Constraints:     129583
1390.00/1393.80	c #Conflicts:     505000 | #Constraints:     130583
1390.00/1393.80	c #Conflicts:     506000 | #Constraints:     131583
1390.00/1393.80	c #Conflicts:     507000 | #Constraints:     132583
1390.00/1393.80	c #Conflicts:     508000 | #Constraints:     133583
1390.00/1393.80	c #Conflicts:     509000 | #Constraints:     134583
1390.00/1393.80	c #Conflicts:     510000 | #Constraints:     135583
1390.00/1393.80	c #Conflicts:     511000 | #Constraints:     136583
1390.00/1393.80	c #Conflicts:     512000 | #Constraints:     137583
1390.00/1393.80	c #Conflicts:     513000 | #Constraints:     138583
1390.00/1393.80	c #Conflicts:     514000 | #Constraints:     139583
1390.00/1393.80	c #Conflicts:     515000 | #Constraints:     140583
1390.00/1393.80	c #Conflicts:     516000 | #Constraints:     141583
1390.00/1393.80	c INPROCESSING
1390.00/1393.80	c GARBAGE COLLECT
1390.00/1393.80	c rational objective 550
1424.23/1428.13	c #Conflicts:     517000 | #Constraints:     128353
1424.23/1428.13	c #Conflicts:     518000 | #Constraints:     129353
1424.23/1428.13	c #Conflicts:     519000 | #Constraints:     130353
1424.23/1428.13	c #Conflicts:     520000 | #Constraints:     131353
1424.23/1428.13	c #Conflicts:     521000 | #Constraints:     132353
1424.23/1428.13	c #Conflicts:     522000 | #Constraints:     133353
1424.23/1428.13	c #Conflicts:     523000 | #Constraints:     134353
1424.23/1428.13	c #Conflicts:     524000 | #Constraints:     135353
1424.23/1428.13	c #Conflicts:     525000 | #Constraints:     136353
1424.23/1428.13	c #Conflicts:     526000 | #Constraints:     137353
1424.23/1428.13	c #Conflicts:     527000 | #Constraints:     138353
1424.23/1428.13	c #Conflicts:     528000 | #Constraints:     139353
1424.23/1428.13	c #Conflicts:     529000 | #Constraints:     140353
1424.23/1428.13	c #Conflicts:     530000 | #Constraints:     141353
1424.23/1428.13	c #Conflicts:     531000 | #Constraints:     142353
1424.23/1428.13	c INPROCESSING
1424.23/1428.13	c GARBAGE COLLECT
1424.23/1428.13	c rational objective 550
1460.52/1464.51	c #Conflicts:     532000 | #Constraints:     128955
1460.52/1464.51	c #Conflicts:     533000 | #Constraints:     129955
1460.52/1464.51	c #Conflicts:     534000 | #Constraints:     130955
1460.52/1464.51	c #Conflicts:     535000 | #Constraints:     131955
1460.52/1464.51	c #Conflicts:     536000 | #Constraints:     132955
1460.52/1464.51	c #Conflicts:     537000 | #Constraints:     133955
1460.52/1464.51	c #Conflicts:     538000 | #Constraints:     134955
1460.52/1464.51	c #Conflicts:     539000 | #Constraints:     135955
1460.52/1464.51	c #Conflicts:     540000 | #Constraints:     136955
1460.52/1464.51	c #Conflicts:     541000 | #Constraints:     137955
1460.52/1464.51	c #Conflicts:     542000 | #Constraints:     138955
1460.52/1464.51	c #Conflicts:     543000 | #Constraints:     139955
1460.52/1464.51	c #Conflicts:     544000 | #Constraints:     140955
1460.52/1464.51	c #Conflicts:     545000 | #Constraints:     141955
1460.52/1464.51	c #Conflicts:     546000 | #Constraints:     142955
1460.52/1464.51	c INPROCESSING
1460.52/1464.51	c GARBAGE COLLECT
1460.52/1464.51	c rational objective 550
1499.11/1503.28	c #Conflicts:     547000 | #Constraints:     129349
1499.11/1503.28	c #Conflicts:     548000 | #Constraints:     130349
1499.11/1503.28	c #Conflicts:     549000 | #Constraints:     131349
1499.11/1503.28	c #Conflicts:     550000 | #Constraints:     132349
1499.11/1503.28	c #Conflicts:     551000 | #Constraints:     133349
1499.11/1503.28	c #Conflicts:     552000 | #Constraints:     134349
1499.11/1503.28	c #Conflicts:     553000 | #Constraints:     135349
1499.11/1503.28	c #Conflicts:     554000 | #Constraints:     136349
1499.11/1503.28	c #Conflicts:     555000 | #Constraints:     137349
1499.11/1503.28	c #Conflicts:     556000 | #Constraints:     138349
1499.11/1503.28	c #Conflicts:     557000 | #Constraints:     139349
1499.11/1503.28	c #Conflicts:     558000 | #Constraints:     140349
1499.11/1503.28	c #Conflicts:     559000 | #Constraints:     141349
1499.11/1503.28	c #Conflicts:     560000 | #Constraints:     142349
1499.11/1503.28	c #Conflicts:     561000 | #Constraints:     143349
1499.11/1503.28	c INPROCESSING
1499.11/1503.28	c GARBAGE COLLECT
1499.11/1503.28	c rational objective 550
1538.51/1542.71	c #Conflicts:     562000 | #Constraints:     129537
1538.51/1542.71	c #Conflicts:     563000 | #Constraints:     130537
1538.51/1542.71	c #Conflicts:     564000 | #Constraints:     131537
1538.51/1542.71	c #Conflicts:     565000 | #Constraints:     132537
1538.51/1542.71	c #Conflicts:     566000 | #Constraints:     133537
1538.51/1542.71	c #Conflicts:     567000 | #Constraints:     134537
1538.51/1542.71	c #Conflicts:     568000 | #Constraints:     135537
1538.51/1542.71	c #Conflicts:     569000 | #Constraints:     136537
1538.51/1542.71	c #Conflicts:     570000 | #Constraints:     137537
1538.51/1542.71	c #Conflicts:     571000 | #Constraints:     138537
1538.51/1542.71	c #Conflicts:     572000 | #Constraints:     139537
1538.51/1542.71	c #Conflicts:     573000 | #Constraints:     140537
1538.51/1542.71	c #Conflicts:     574000 | #Constraints:     141537
1538.51/1542.71	c #Conflicts:     575000 | #Constraints:     142537
1538.51/1542.71	c #Conflicts:     576000 | #Constraints:     143537
1538.51/1542.71	c INPROCESSING
1538.51/1542.71	c GARBAGE COLLECT
1538.51/1542.71	c rational objective 550
1567.74/1572.02	c #Conflicts:     577000 | #Constraints:     129542
1567.74/1572.02	c #Conflicts:     578000 | #Constraints:     130542
1567.74/1572.02	c #Conflicts:     579000 | #Constraints:     131542
1567.74/1572.02	c #Conflicts:     580000 | #Constraints:     132542
1567.74/1572.02	c #Conflicts:     581000 | #Constraints:     133542
1567.74/1572.02	c #Conflicts:     582000 | #Constraints:     134542
1567.74/1572.02	c #Conflicts:     583000 | #Constraints:     135542
1567.74/1572.02	c #Conflicts:     584000 | #Constraints:     136542
1567.74/1572.02	c #Conflicts:     585000 | #Constraints:     137542
1567.74/1572.02	c #Conflicts:     586000 | #Constraints:     138542
1567.74/1572.02	c #Conflicts:     587000 | #Constraints:     139542
1567.74/1572.02	c #Conflicts:     588000 | #Constraints:     140542
1567.74/1572.02	c #Conflicts:     589000 | #Constraints:     141542
1567.74/1572.02	c #Conflicts:     590000 | #Constraints:     142542
1567.74/1572.02	c #Conflicts:     591000 | #Constraints:     143542
1567.74/1572.02	c INPROCESSING
1567.74/1572.02	c GARBAGE COLLECT
1567.74/1572.02	c rational objective 550
1605.34/1609.78	c #Conflicts:     592000 | #Constraints:     129339
1605.34/1609.78	c #Conflicts:     593000 | #Constraints:     130339
1605.34/1609.78	c #Conflicts:     594000 | #Constraints:     131339
1605.34/1609.78	c #Conflicts:     595000 | #Constraints:     132339
1605.34/1609.78	c #Conflicts:     596000 | #Constraints:     133339
1605.34/1609.78	c #Conflicts:     597000 | #Constraints:     134339
1605.34/1609.78	c #Conflicts:     598000 | #Constraints:     135339
1605.34/1609.78	c #Conflicts:     599000 | #Constraints:     136339
1605.34/1609.78	c #Conflicts:     600000 | #Constraints:     137339
1605.34/1609.78	c #Conflicts:     601000 | #Constraints:     138339
1605.34/1609.78	c #Conflicts:     602000 | #Constraints:     139339
1605.34/1609.78	c #Conflicts:     603000 | #Constraints:     140339
1605.34/1609.78	c #Conflicts:     604000 | #Constraints:     141339
1605.34/1609.78	c #Conflicts:     605000 | #Constraints:     142339
1605.34/1609.78	c #Conflicts:     606000 | #Constraints:     143339
1605.34/1609.78	c #Conflicts:     607000 | #Constraints:     144339
1605.34/1609.78	c INPROCESSING
1605.34/1609.78	c GARBAGE COLLECT
1605.34/1609.78	c rational objective 550
1647.82/1652.37	c #Conflicts:     608000 | #Constraints:     129955
1647.82/1652.37	c #Conflicts:     609000 | #Constraints:     130955
1647.82/1652.37	c #Conflicts:     610000 | #Constraints:     131955
1647.82/1652.37	c #Conflicts:     611000 | #Constraints:     132955
1647.82/1652.37	c #Conflicts:     612000 | #Constraints:     133955
1647.82/1652.37	c #Conflicts:     613000 | #Constraints:     134955
1647.82/1652.37	c #Conflicts:     614000 | #Constraints:     135955
1647.82/1652.37	c #Conflicts:     615000 | #Constraints:     136955
1647.82/1652.37	c #Conflicts:     616000 | #Constraints:     137955
1647.82/1652.37	c #Conflicts:     617000 | #Constraints:     138955
1647.82/1652.37	c #Conflicts:     618000 | #Constraints:     139955
1647.82/1652.37	c #Conflicts:     619000 | #Constraints:     140955
1647.82/1652.37	c #Conflicts:     620000 | #Constraints:     141955
1647.82/1652.37	c #Conflicts:     621000 | #Constraints:     142955
1647.82/1652.37	c #Conflicts:     622000 | #Constraints:     143955
1647.82/1652.37	c #Conflicts:     623000 | #Constraints:     144955
1647.82/1652.37	c INPROCESSING
1647.82/1652.37	c GARBAGE COLLECT
1647.82/1652.37	c rational objective 550
1689.11/1693.73	c #Conflicts:     624000 | #Constraints:     130348
1689.11/1693.73	c #Conflicts:     625000 | #Constraints:     131348
1689.11/1693.73	c #Conflicts:     626000 | #Constraints:     132348
1689.11/1693.73	c #Conflicts:     627000 | #Constraints:     133348
1689.11/1693.73	c #Conflicts:     628000 | #Constraints:     134348
1689.11/1693.73	c #Conflicts:     629000 | #Constraints:     135348
1689.11/1693.73	c #Conflicts:     630000 | #Constraints:     136348
1689.11/1693.73	c #Conflicts:     631000 | #Constraints:     137348
1689.11/1693.73	c #Conflicts:     632000 | #Constraints:     138348
1689.11/1693.73	c #Conflicts:     633000 | #Constraints:     139348
1689.11/1693.73	c #Conflicts:     634000 | #Constraints:     140348
1689.11/1693.73	c #Conflicts:     635000 | #Constraints:     141348
1689.11/1693.73	c #Conflicts:     636000 | #Constraints:     142348
1689.11/1693.73	c #Conflicts:     637000 | #Constraints:     143348
1689.11/1693.73	c #Conflicts:     638000 | #Constraints:     144348
1689.11/1693.73	c #Conflicts:     639000 | #Constraints:     145348
1689.11/1693.73	c INPROCESSING
1689.11/1693.73	c GARBAGE COLLECT
1689.11/1693.73	c rational objective 550
1721.53/1726.29	c #Conflicts:     640000 | #Constraints:     130535
1721.53/1726.29	c #Conflicts:     641000 | #Constraints:     131535
1721.53/1726.29	c #Conflicts:     642000 | #Constraints:     132535
1721.53/1726.29	c #Conflicts:     643000 | #Constraints:     133535
1721.53/1726.29	c #Conflicts:     644000 | #Constraints:     134535
1721.53/1726.29	c #Conflicts:     645000 | #Constraints:     135535
1721.53/1726.29	c #Conflicts:     646000 | #Constraints:     136535
1721.53/1726.29	c #Conflicts:     647000 | #Constraints:     137535
1721.53/1726.29	c #Conflicts:     648000 | #Constraints:     138535
1721.53/1726.29	c #Conflicts:     649000 | #Constraints:     139535
1721.53/1726.29	c #Conflicts:     650000 | #Constraints:     140535
1721.53/1726.29	c #Conflicts:     651000 | #Constraints:     141535
1721.53/1726.29	c #Conflicts:     652000 | #Constraints:     142535
1721.53/1726.29	c #Conflicts:     653000 | #Constraints:     143535
1721.53/1726.29	c #Conflicts:     654000 | #Constraints:     144535
1721.53/1726.29	c #Conflicts:     655000 | #Constraints:     145535
1721.53/1726.29	c INPROCESSING
1721.53/1726.29	c GARBAGE COLLECT
1721.53/1726.29	c rational objective 550
1758.93/1763.73	c #Conflicts:     656000 | #Constraints:     130537
1758.93/1763.73	c #Conflicts:     657000 | #Constraints:     131537
1758.93/1763.73	c #Conflicts:     658000 | #Constraints:     132537
1758.93/1763.73	c #Conflicts:     659000 | #Constraints:     133537
1758.93/1763.73	c #Conflicts:     660000 | #Constraints:     134537
1758.93/1763.73	c #Conflicts:     661000 | #Constraints:     135537
1758.93/1763.73	c #Conflicts:     662000 | #Constraints:     136537
1758.93/1763.73	c #Conflicts:     663000 | #Constraints:     137537
1758.93/1763.73	c #Conflicts:     664000 | #Constraints:     138537
1758.93/1763.73	c #Conflicts:     665000 | #Constraints:     139537
1758.93/1763.73	c #Conflicts:     666000 | #Constraints:     140537
1758.93/1763.73	c #Conflicts:     667000 | #Constraints:     141537
1758.93/1763.73	c #Conflicts:     668000 | #Constraints:     142537
1758.93/1763.73	c #Conflicts:     669000 | #Constraints:     143537
1758.93/1763.73	c #Conflicts:     670000 | #Constraints:     144537
1758.93/1763.73	c #Conflicts:     671000 | #Constraints:     145537
1758.93/1763.73	c INPROCESSING
1758.93/1763.73	c GARBAGE COLLECT
1758.93/1763.73	c rational objective 550
1804.40/1809.32	c #Conflicts:     672000 | #Constraints:     130328
1804.40/1809.32	c #Conflicts:     673000 | #Constraints:     131328
1804.40/1809.32	c #Conflicts:     674000 | #Constraints:     132328
1804.40/1809.32	c #Conflicts:     675000 | #Constraints:     133328
1804.40/1809.32	c #Conflicts:     676000 | #Constraints:     134328
1804.40/1809.32	c #Conflicts:     677000 | #Constraints:     135328
1804.40/1809.32	c #Conflicts:     678000 | #Constraints:     136328
1804.40/1809.32	c #Conflicts:     679000 | #Constraints:     137328
1804.40/1809.32	c #Conflicts:     680000 | #Constraints:     138328
1804.40/1809.32	c #Conflicts:     681000 | #Constraints:     139328
1804.40/1809.32	c #Conflicts:     682000 | #Constraints:     140328
1804.40/1809.32	c #Conflicts:     683000 | #Constraints:     141328
1804.40/1809.32	c #Conflicts:     684000 | #Constraints:     142328
1804.40/1809.32	c #Conflicts:     685000 | #Constraints:     143328
1804.40/1809.32	c #Conflicts:     686000 | #Constraints:     144328
1804.40/1809.32	c #Conflicts:     687000 | #Constraints:     145328
1804.40/1809.32	c #Conflicts:     688000 | #Constraints:     146328
1804.40/1809.32	c INPROCESSING
1804.40/1809.32	c GARBAGE COLLECT
1804.40/1809.32	c rational objective 550
1838.52/1843.58	c #Conflicts:     689000 | #Constraints:     130932
1838.52/1843.58	c #Conflicts:     690000 | #Constraints:     131932
1838.52/1843.58	c #Conflicts:     691000 | #Constraints:     132932
1838.52/1843.58	c #Conflicts:     692000 | #Constraints:     133932
1838.52/1843.58	c #Conflicts:     693000 | #Constraints:     134932
1838.52/1843.58	c #Conflicts:     694000 | #Constraints:     135932
1838.52/1843.58	c #Conflicts:     695000 | #Constraints:     136932
1838.52/1843.58	c #Conflicts:     696000 | #Constraints:     137932
1838.52/1843.58	c #Conflicts:     697000 | #Constraints:     138932
1838.52/1843.58	c #Conflicts:     698000 | #Constraints:     139932
1838.52/1843.58	c #Conflicts:     699000 | #Constraints:     140932
1838.52/1843.58	c #Conflicts:     700000 | #Constraints:     141932
1838.52/1843.58	c #Conflicts:     701000 | #Constraints:     142932
1838.52/1843.58	c #Conflicts:     702000 | #Constraints:     143932
1838.52/1843.58	c #Conflicts:     703000 | #Constraints:     144932
1838.52/1843.58	c #Conflicts:     704000 | #Constraints:     145932
1838.52/1843.58	c #Conflicts:     705000 | #Constraints:     146932
1838.52/1843.58	c INPROCESSING
1838.52/1843.58	c GARBAGE COLLECT
1838.52/1843.58	c rational objective 550
1874.72/1879.86	c #Conflicts:     706000 | #Constraints:     131350
1874.72/1879.86	c #Conflicts:     707000 | #Constraints:     132350
1874.72/1879.86	c #Conflicts:     708000 | #Constraints:     133350
1874.72/1879.86	c #Conflicts:     709000 | #Constraints:     134350
1874.72/1879.86	c #Conflicts:     710000 | #Constraints:     135350
1874.72/1879.86	c #Conflicts:     711000 | #Constraints:     136350
1874.72/1879.86	c #Conflicts:     712000 | #Constraints:     137350
1874.72/1879.86	c #Conflicts:     713000 | #Constraints:     138350
1874.72/1879.86	c #Conflicts:     714000 | #Constraints:     139350
1874.72/1879.86	c #Conflicts:     715000 | #Constraints:     140350
1874.72/1879.86	c #Conflicts:     716000 | #Constraints:     141350
1874.72/1879.86	c #Conflicts:     717000 | #Constraints:     142350
1874.72/1879.86	c #Conflicts:     718000 | #Constraints:     143350
1874.72/1879.86	c #Conflicts:     719000 | #Constraints:     144350
1874.72/1879.86	c #Conflicts:     720000 | #Constraints:     145350
1874.72/1879.86	c #Conflicts:     721000 | #Constraints:     146350
1874.72/1879.86	c #Conflicts:     722000 | #Constraints:     147350
1874.72/1879.86	c INPROCESSING
1874.72/1879.86	c GARBAGE COLLECT
1874.72/1879.86	c rational objective 550
1911.21/1916.44	c #Conflicts:     723000 | #Constraints:     131551
1911.21/1916.44	c #Conflicts:     724000 | #Constraints:     132551
1911.21/1916.44	c #Conflicts:     725000 | #Constraints:     133551
1911.21/1916.44	c #Conflicts:     726000 | #Constraints:     134551
1911.21/1916.44	c #Conflicts:     727000 | #Constraints:     135551
1911.21/1916.44	c #Conflicts:     728000 | #Constraints:     136551
1911.21/1916.44	c #Conflicts:     729000 | #Constraints:     137551
1911.21/1916.44	c #Conflicts:     730000 | #Constraints:     138551
1911.21/1916.44	c #Conflicts:     731000 | #Constraints:     139551
1911.21/1916.44	c #Conflicts:     732000 | #Constraints:     140551
1911.21/1916.44	c #Conflicts:     733000 | #Constraints:     141551
1911.21/1916.44	c #Conflicts:     734000 | #Constraints:     142551
1911.21/1916.44	c #Conflicts:     735000 | #Constraints:     143551
1911.21/1916.44	c #Conflicts:     736000 | #Constraints:     144551
1911.21/1916.44	c #Conflicts:     737000 | #Constraints:     145551
1911.21/1916.44	c #Conflicts:     738000 | #Constraints:     146551
1911.21/1916.44	c #Conflicts:     739000 | #Constraints:     147551
1911.21/1916.44	c INPROCESSING
1911.21/1916.44	c GARBAGE COLLECT
1911.21/1916.44	c rational objective 550
1956.59/1962.00	c #Conflicts:     740000 | #Constraints:     131563
1956.59/1962.00	c #Conflicts:     741000 | #Constraints:     132563
1956.59/1962.00	c #Conflicts:     742000 | #Constraints:     133563
1956.59/1962.00	c #Conflicts:     743000 | #Constraints:     134563
1956.59/1962.00	c #Conflicts:     744000 | #Constraints:     135563
1956.59/1962.00	c #Conflicts:     745000 | #Constraints:     136563
1956.59/1962.00	c #Conflicts:     746000 | #Constraints:     137563
1956.59/1962.00	c #Conflicts:     747000 | #Constraints:     138563
1956.59/1962.00	c #Conflicts:     748000 | #Constraints:     139563
1956.59/1962.00	c #Conflicts:     749000 | #Constraints:     140563
1956.59/1962.00	c #Conflicts:     750000 | #Constraints:     141563
1956.59/1962.00	c #Conflicts:     751000 | #Constraints:     142563
1956.59/1962.00	c #Conflicts:     752000 | #Constraints:     143563
1956.59/1962.00	c #Conflicts:     753000 | #Constraints:     144563
1956.59/1962.00	c #Conflicts:     754000 | #Constraints:     145563
1956.59/1962.00	c #Conflicts:     755000 | #Constraints:     146563
1956.59/1962.00	c #Conflicts:     756000 | #Constraints:     147563
1956.59/1962.00	c INPROCESSING
1956.59/1962.00	c GARBAGE COLLECT
1956.59/1962.00	c rational objective 550
1994.70/2000.20	c #Conflicts:     757000 | #Constraints:     131345
1994.70/2000.20	c #Conflicts:     758000 | #Constraints:     132345
1994.70/2000.20	c #Conflicts:     759000 | #Constraints:     133345
1994.70/2000.20	c #Conflicts:     760000 | #Constraints:     134345
1994.70/2000.20	c #Conflicts:     761000 | #Constraints:     135345
1994.70/2000.20	c #Conflicts:     762000 | #Constraints:     136345
1994.70/2000.20	c #Conflicts:     763000 | #Constraints:     137345
1994.70/2000.20	c #Conflicts:     764000 | #Constraints:     138345
1994.70/2000.20	c #Conflicts:     765000 | #Constraints:     139345
1994.70/2000.20	c #Conflicts:     766000 | #Constraints:     140345
1994.70/2000.20	c #Conflicts:     767000 | #Constraints:     141345
1994.70/2000.20	c #Conflicts:     768000 | #Constraints:     142345
1994.70/2000.20	c #Conflicts:     769000 | #Constraints:     143345
1994.70/2000.20	c #Conflicts:     770000 | #Constraints:     144345
1994.70/2000.20	c #Conflicts:     771000 | #Constraints:     145345
1994.70/2000.20	c #Conflicts:     772000 | #Constraints:     146345
1994.70/2000.20	c #Conflicts:     773000 | #Constraints:     147345
1994.70/2000.20	c #Conflicts:     774000 | #Constraints:     148345
1994.70/2000.20	c INPROCESSING
1994.70/2000.20	c GARBAGE COLLECT
1994.70/2000.20	c rational objective 550
2051.03/2056.69	c #Conflicts:     775000 | #Constraints:     131936
2051.03/2056.69	c #Conflicts:     776000 | #Constraints:     132936
2051.03/2056.69	c #Conflicts:     777000 | #Constraints:     133936
2051.03/2056.69	c #Conflicts:     778000 | #Constraints:     134936
2051.03/2056.69	c #Conflicts:     779000 | #Constraints:     135936
2051.03/2056.69	c #Conflicts:     780000 | #Constraints:     136936
2051.03/2056.69	c #Conflicts:     781000 | #Constraints:     137936
2051.03/2056.69	c #Conflicts:     782000 | #Constraints:     138936
2051.03/2056.69	c #Conflicts:     783000 | #Constraints:     139936
2051.03/2056.69	c #Conflicts:     784000 | #Constraints:     140936
2051.03/2056.69	c #Conflicts:     785000 | #Constraints:     141936
2051.03/2056.69	c #Conflicts:     786000 | #Constraints:     142936
2051.03/2056.69	c #Conflicts:     787000 | #Constraints:     143936
2051.03/2056.69	c #Conflicts:     788000 | #Constraints:     144936
2051.03/2056.69	c #Conflicts:     789000 | #Constraints:     145936
2051.03/2056.69	c #Conflicts:     790000 | #Constraints:     146936
2051.03/2056.69	c #Conflicts:     791000 | #Constraints:     147936
2051.03/2056.69	c #Conflicts:     792000 | #Constraints:     148936
2051.03/2056.69	c INPROCESSING
2051.03/2056.69	c GARBAGE COLLECT
2051.03/2056.69	c rational objective 550
2085.94/2091.65	c #Conflicts:     793000 | #Constraints:     132339
2085.94/2091.65	c #Conflicts:     794000 | #Constraints:     133339
2085.94/2091.65	c #Conflicts:     795000 | #Constraints:     134339
2085.94/2091.65	c #Conflicts:     796000 | #Constraints:     135339
2085.94/2091.65	c #Conflicts:     797000 | #Constraints:     136339
2085.94/2091.65	c #Conflicts:     798000 | #Constraints:     137339
2085.94/2091.65	c #Conflicts:     799000 | #Constraints:     138339
2085.94/2091.65	c #Conflicts:     800000 | #Constraints:     139339
2085.94/2091.65	c #Conflicts:     801000 | #Constraints:     140339
2085.94/2091.65	c #Conflicts:     802000 | #Constraints:     141339
2085.94/2091.65	c #Conflicts:     803000 | #Constraints:     142339
2085.94/2091.65	c #Conflicts:     804000 | #Constraints:     143339
2085.94/2091.65	c #Conflicts:     805000 | #Constraints:     144339
2085.94/2091.65	c #Conflicts:     806000 | #Constraints:     145339
2085.94/2091.65	c #Conflicts:     807000 | #Constraints:     146339
2085.94/2091.65	c #Conflicts:     808000 | #Constraints:     147339
2085.94/2091.65	c #Conflicts:     809000 | #Constraints:     148339
2085.94/2091.65	c #Conflicts:     810000 | #Constraints:     149339
2085.94/2091.65	c INPROCESSING
2085.94/2091.65	c GARBAGE COLLECT
2085.94/2091.65	c rational objective 550
2136.10/2141.90	c #Conflicts:     811000 | #Constraints:     132539
2136.10/2141.90	c #Conflicts:     812000 | #Constraints:     133539
2136.10/2141.90	c #Conflicts:     813000 | #Constraints:     134539
2136.10/2141.90	c #Conflicts:     814000 | #Constraints:     135539
2136.10/2141.90	c #Conflicts:     815000 | #Constraints:     136539
2136.10/2141.90	c #Conflicts:     816000 | #Constraints:     137539
2136.10/2141.90	c #Conflicts:     817000 | #Constraints:     138539
2136.10/2141.90	c #Conflicts:     818000 | #Constraints:     139539
2136.10/2141.90	c #Conflicts:     819000 | #Constraints:     140539
2136.10/2141.90	c #Conflicts:     820000 | #Constraints:     141539
2136.10/2141.90	c #Conflicts:     821000 | #Constraints:     142539
2136.10/2141.90	c #Conflicts:     822000 | #Constraints:     143539
2136.10/2141.90	c #Conflicts:     823000 | #Constraints:     144539
2136.10/2141.90	c #Conflicts:     824000 | #Constraints:     145539
2136.10/2141.90	c #Conflicts:     825000 | #Constraints:     146539
2136.10/2141.90	c #Conflicts:     826000 | #Constraints:     147539
2136.10/2141.90	c #Conflicts:     827000 | #Constraints:     148539
2136.10/2141.90	c #Conflicts:     828000 | #Constraints:     149539
2136.10/2141.90	c INPROCESSING
2136.10/2141.90	c GARBAGE COLLECT
2136.10/2141.90	c rational objective 550
2177.90/2183.80	c #Conflicts:     829000 | #Constraints:     132540
2177.90/2183.80	c #Conflicts:     830000 | #Constraints:     133540
2177.90/2183.80	c #Conflicts:     831000 | #Constraints:     134540
2177.90/2183.80	c #Conflicts:     832000 | #Constraints:     135540
2177.90/2183.80	c #Conflicts:     833000 | #Constraints:     136540
2177.90/2183.80	c #Conflicts:     834000 | #Constraints:     137540
2177.90/2183.80	c #Conflicts:     835000 | #Constraints:     138540
2177.90/2183.80	c #Conflicts:     836000 | #Constraints:     139540
2177.90/2183.80	c #Conflicts:     837000 | #Constraints:     140540
2177.90/2183.80	c #Conflicts:     838000 | #Constraints:     141540
2177.90/2183.80	c #Conflicts:     839000 | #Constraints:     142540
2177.90/2183.80	c #Conflicts:     840000 | #Constraints:     143540
2177.90/2183.80	c #Conflicts:     841000 | #Constraints:     144540
2177.90/2183.80	c #Conflicts:     842000 | #Constraints:     145540
2177.90/2183.80	c #Conflicts:     843000 | #Constraints:     146540
2177.90/2183.80	c #Conflicts:     844000 | #Constraints:     147540
2177.90/2183.80	c #Conflicts:     845000 | #Constraints:     148540
2177.90/2183.80	c #Conflicts:     846000 | #Constraints:     149540
2177.90/2183.80	c INPROCESSING
2177.90/2183.80	c GARBAGE COLLECT
2177.90/2183.80	c rational objective 550
2217.29/2223.36	c #Conflicts:     847000 | #Constraints:     132333
2217.29/2223.36	c #Conflicts:     848000 | #Constraints:     133333
2217.29/2223.36	c #Conflicts:     849000 | #Constraints:     134333
2217.29/2223.36	c #Conflicts:     850000 | #Constraints:     135333
2217.29/2223.36	c #Conflicts:     851000 | #Constraints:     136333
2217.29/2223.36	c #Conflicts:     852000 | #Constraints:     137333
2217.29/2223.36	c #Conflicts:     853000 | #Constraints:     138333
2217.29/2223.36	c #Conflicts:     854000 | #Constraints:     139333
2217.29/2223.36	c #Conflicts:     855000 | #Constraints:     140333
2217.29/2223.36	c #Conflicts:     856000 | #Constraints:     141333
2217.29/2223.36	c #Conflicts:     857000 | #Constraints:     142333
2217.29/2223.36	c #Conflicts:     858000 | #Constraints:     143333
2217.29/2223.36	c #Conflicts:     859000 | #Constraints:     144333
2217.29/2223.36	c #Conflicts:     860000 | #Constraints:     145333
2217.29/2223.36	c #Conflicts:     861000 | #Constraints:     146333
2217.29/2223.36	c #Conflicts:     862000 | #Constraints:     147333
2217.29/2223.36	c #Conflicts:     863000 | #Constraints:     148333
2217.29/2223.36	c #Conflicts:     864000 | #Constraints:     149333
2217.29/2223.36	c #Conflicts:     865000 | #Constraints:     150333
2217.29/2223.36	c INPROCESSING
2217.29/2223.36	c GARBAGE COLLECT
2217.29/2223.36	c rational objective 550
2265.27/2271.43	c #Conflicts:     866000 | #Constraints:     132942
2265.27/2271.43	c #Conflicts:     867000 | #Constraints:     133942
2265.27/2271.43	c #Conflicts:     868000 | #Constraints:     134942
2265.27/2271.43	c #Conflicts:     869000 | #Constraints:     135942
2265.27/2271.43	c #Conflicts:     870000 | #Constraints:     136942
2265.27/2271.43	c #Conflicts:     871000 | #Constraints:     137942
2265.27/2271.43	c #Conflicts:     872000 | #Constraints:     138942
2265.27/2271.43	c #Conflicts:     873000 | #Constraints:     139942
2265.27/2271.43	c #Conflicts:     874000 | #Constraints:     140942
2265.27/2271.43	c #Conflicts:     875000 | #Constraints:     141942
2265.27/2271.43	c #Conflicts:     876000 | #Constraints:     142942
2265.27/2271.43	c #Conflicts:     877000 | #Constraints:     143942
2265.27/2271.43	c #Conflicts:     878000 | #Constraints:     144942
2265.27/2271.43	c #Conflicts:     879000 | #Constraints:     145942
2265.27/2271.43	c #Conflicts:     880000 | #Constraints:     146942
2265.27/2271.43	c #Conflicts:     881000 | #Constraints:     147942
2265.27/2271.43	c #Conflicts:     882000 | #Constraints:     148942
2265.27/2271.43	c #Conflicts:     883000 | #Constraints:     149942
2265.27/2271.43	c #Conflicts:     884000 | #Constraints:     150942
2265.27/2271.43	c INPROCESSING
2265.27/2271.43	c GARBAGE COLLECT
2265.27/2271.43	c rational objective 550
2308.95/2315.23	c #Conflicts:     885000 | #Constraints:     133350
2308.95/2315.23	c #Conflicts:     886000 | #Constraints:     134350
2308.95/2315.23	c #Conflicts:     887000 | #Constraints:     135350
2308.95/2315.23	c #Conflicts:     888000 | #Constraints:     136350
2308.95/2315.23	c #Conflicts:     889000 | #Constraints:     137350
2308.95/2315.23	c #Conflicts:     890000 | #Constraints:     138350
2308.95/2315.23	c #Conflicts:     891000 | #Constraints:     139350
2308.95/2315.23	c #Conflicts:     892000 | #Constraints:     140350
2308.95/2315.23	c #Conflicts:     893000 | #Constraints:     141350
2308.95/2315.23	c #Conflicts:     894000 | #Constraints:     142350
2308.95/2315.23	c #Conflicts:     895000 | #Constraints:     143350
2308.95/2315.23	c #Conflicts:     896000 | #Constraints:     144350
2308.95/2315.23	c #Conflicts:     897000 | #Constraints:     145350
2308.95/2315.23	c #Conflicts:     898000 | #Constraints:     146350
2308.95/2315.23	c #Conflicts:     899000 | #Constraints:     147350
2308.95/2315.23	c #Conflicts:     900000 | #Constraints:     148350
2308.95/2315.23	c #Conflicts:     901000 | #Constraints:     149350
2308.95/2315.23	c #Conflicts:     902000 | #Constraints:     150350
2308.95/2315.23	c #Conflicts:     903000 | #Constraints:     151350
2308.95/2315.23	c INPROCESSING
2308.95/2315.23	c GARBAGE COLLECT
2308.95/2315.23	c rational objective 550
2354.53/2360.92	c #Conflicts:     904000 | #Constraints:     133540
2354.53/2360.92	c #Conflicts:     905000 | #Constraints:     134540
2354.53/2360.92	c #Conflicts:     906000 | #Constraints:     135540
2354.53/2360.92	c #Conflicts:     907000 | #Constraints:     136540
2354.53/2360.92	c #Conflicts:     908000 | #Constraints:     137540
2354.53/2360.92	c #Conflicts:     909000 | #Constraints:     138540
2354.53/2360.92	c #Conflicts:     910000 | #Constraints:     139540
2354.53/2360.92	c #Conflicts:     911000 | #Constraints:     140540
2354.53/2360.92	c #Conflicts:     912000 | #Constraints:     141540
2354.53/2360.92	c #Conflicts:     913000 | #Constraints:     142540
2354.53/2360.92	c #Conflicts:     914000 | #Constraints:     143540
2354.53/2360.92	c #Conflicts:     915000 | #Constraints:     144540
2354.53/2360.92	c #Conflicts:     916000 | #Constraints:     145540
2354.53/2360.92	c #Conflicts:     917000 | #Constraints:     146540
2354.53/2360.92	c #Conflicts:     918000 | #Constraints:     147540
2354.53/2360.92	c #Conflicts:     919000 | #Constraints:     148540
2354.53/2360.92	c #Conflicts:     920000 | #Constraints:     149540
2354.53/2360.92	c #Conflicts:     921000 | #Constraints:     150540
2354.53/2360.92	c #Conflicts:     922000 | #Constraints:     151540
2354.53/2360.92	c INPROCESSING
2354.53/2360.92	c GARBAGE COLLECT
2354.53/2360.92	c rational objective 550
2400.61/2407.18	c #Conflicts:     923000 | #Constraints:     133533
2400.61/2407.18	c #Conflicts:     924000 | #Constraints:     134533
2400.61/2407.18	c #Conflicts:     925000 | #Constraints:     135533
2400.61/2407.18	c #Conflicts:     926000 | #Constraints:     136533
2400.61/2407.18	c #Conflicts:     927000 | #Constraints:     137533
2400.61/2407.18	c #Conflicts:     928000 | #Constraints:     138533
2400.61/2407.18	c #Conflicts:     929000 | #Constraints:     139533
2400.61/2407.18	c #Conflicts:     930000 | #Constraints:     140533
2400.61/2407.18	c #Conflicts:     931000 | #Constraints:     141533
2400.61/2407.18	c #Conflicts:     932000 | #Constraints:     142533
2400.61/2407.18	c #Conflicts:     933000 | #Constraints:     143533
2400.61/2407.18	c #Conflicts:     934000 | #Constraints:     144533
2400.61/2407.18	c #Conflicts:     935000 | #Constraints:     145533
2400.61/2407.18	c #Conflicts:     936000 | #Constraints:     146533
2400.61/2407.18	c #Conflicts:     937000 | #Constraints:     147533
2400.61/2407.18	c #Conflicts:     938000 | #Constraints:     148533
2400.61/2407.18	c #Conflicts:     939000 | #Constraints:     149533
2400.61/2407.18	c #Conflicts:     940000 | #Constraints:     150533
2400.61/2407.18	c #Conflicts:     941000 | #Constraints:     151533
2400.61/2407.18	c INPROCESSING
2400.61/2407.18	c GARBAGE COLLECT
2400.61/2407.18	c rational objective 550
2443.49/2450.16	c #Conflicts:     942000 | #Constraints:     133342
2443.49/2450.16	c #Conflicts:     943000 | #Constraints:     134342
2443.49/2450.16	c #Conflicts:     944000 | #Constraints:     135342
2443.49/2450.16	c #Conflicts:     945000 | #Constraints:     136342
2443.49/2450.16	c #Conflicts:     946000 | #Constraints:     137342
2443.49/2450.16	c #Conflicts:     947000 | #Constraints:     138342
2443.49/2450.16	c #Conflicts:     948000 | #Constraints:     139342
2443.49/2450.16	c #Conflicts:     949000 | #Constraints:     140342
2443.49/2450.16	c #Conflicts:     950000 | #Constraints:     141342
2443.49/2450.16	c #Conflicts:     951000 | #Constraints:     142342
2443.49/2450.16	c #Conflicts:     952000 | #Constraints:     143342
2443.49/2450.16	c #Conflicts:     953000 | #Constraints:     144342
2443.49/2450.16	c #Conflicts:     954000 | #Constraints:     145342
2443.49/2450.16	c #Conflicts:     955000 | #Constraints:     146342
2443.49/2450.16	c #Conflicts:     956000 | #Constraints:     147342
2443.49/2450.16	c #Conflicts:     957000 | #Constraints:     148342
2443.49/2450.16	c #Conflicts:     958000 | #Constraints:     149342
2443.49/2450.16	c #Conflicts:     959000 | #Constraints:     150342
2443.49/2450.16	c #Conflicts:     960000 | #Constraints:     151342
2443.49/2450.16	c #Conflicts:     961000 | #Constraints:     152342
2443.49/2450.16	c INPROCESSING
2443.49/2450.16	c GARBAGE COLLECT
2443.49/2450.16	c rational objective 550
2482.08/2488.85	c #Conflicts:     962000 | #Constraints:     133969
2482.08/2488.85	c #Conflicts:     963000 | #Constraints:     134969
2482.08/2488.85	c #Conflicts:     964000 | #Constraints:     135969
2482.08/2488.85	c #Conflicts:     965000 | #Constraints:     136969
2482.08/2488.85	c #Conflicts:     966000 | #Constraints:     137969
2482.08/2488.85	c #Conflicts:     967000 | #Constraints:     138969
2482.08/2488.85	c #Conflicts:     968000 | #Constraints:     139969
2482.08/2488.85	c #Conflicts:     969000 | #Constraints:     140969
2482.08/2488.85	c #Conflicts:     970000 | #Constraints:     141969
2482.08/2488.85	c #Conflicts:     971000 | #Constraints:     142969
2482.08/2488.85	c #Conflicts:     972000 | #Constraints:     143969
2482.08/2488.85	c #Conflicts:     973000 | #Constraints:     144969
2482.08/2488.85	c #Conflicts:     974000 | #Constraints:     145969
2482.08/2488.85	c #Conflicts:     975000 | #Constraints:     146969
2482.08/2488.85	c #Conflicts:     976000 | #Constraints:     147969
2482.08/2488.85	c #Conflicts:     977000 | #Constraints:     148969
2482.08/2488.85	c #Conflicts:     978000 | #Constraints:     149969
2482.08/2488.85	c #Conflicts:     979000 | #Constraints:     150969
2482.08/2488.85	c #Conflicts:     980000 | #Constraints:     151969
2482.08/2488.85	c #Conflicts:     981000 | #Constraints:     152969
2482.08/2488.85	c INPROCESSING
2482.08/2488.85	c GARBAGE COLLECT
2482.08/2488.85	c rational objective 550
2518.39/2525.22	c #Conflicts:     982000 | #Constraints:     134374
2518.39/2525.22	c #Conflicts:     983000 | #Constraints:     135374
2518.39/2525.22	c #Conflicts:     984000 | #Constraints:     136374
2518.39/2525.22	c #Conflicts:     985000 | #Constraints:     137374
2518.39/2525.22	c #Conflicts:     986000 | #Constraints:     138374
2518.39/2525.22	c #Conflicts:     987000 | #Constraints:     139374
2518.39/2525.22	c #Conflicts:     988000 | #Constraints:     140374
2518.39/2525.22	c #Conflicts:     989000 | #Constraints:     141374
2518.39/2525.22	c #Conflicts:     990000 | #Constraints:     142374
2518.39/2525.22	c #Conflicts:     991000 | #Constraints:     143374
2518.39/2525.22	c #Conflicts:     992000 | #Constraints:     144374
2518.39/2525.22	c #Conflicts:     993000 | #Constraints:     145374
2518.39/2525.22	c #Conflicts:     994000 | #Constraints:     146374
2518.39/2525.22	c #Conflicts:     995000 | #Constraints:     147374
2518.39/2525.22	c #Conflicts:     996000 | #Constraints:     148374
2518.39/2525.22	c #Conflicts:     997000 | #Constraints:     149374
2518.39/2525.22	c #Conflicts:     998000 | #Constraints:     150374
2518.39/2525.22	c #Conflicts:     999000 | #Constraints:     151374
2518.39/2525.22	c #Conflicts:    1000000 | #Constraints:     152374
2518.39/2525.22	c #Conflicts:    1001000 | #Constraints:     153374
2518.39/2525.22	c INPROCESSING
2518.39/2525.22	c GARBAGE COLLECT
2518.39/2525.22	c rational objective 550
2559.58/2566.54	c #Conflicts:    1002000 | #Constraints:     134581
2559.58/2566.54	c #Conflicts:    1003000 | #Constraints:     135581
2559.58/2566.54	c #Conflicts:    1004000 | #Constraints:     136581
2559.58/2566.54	c #Conflicts:    1005000 | #Constraints:     137581
2559.58/2566.54	c #Conflicts:    1006000 | #Constraints:     138581
2559.58/2566.54	c #Conflicts:    1007000 | #Constraints:     139581
2559.58/2566.54	c #Conflicts:    1008000 | #Constraints:     140581
2559.58/2566.54	c #Conflicts:    1009000 | #Constraints:     141581
2559.58/2566.54	c #Conflicts:    1010000 | #Constraints:     142581
2559.58/2566.54	c #Conflicts:    1011000 | #Constraints:     143581
2559.58/2566.54	c #Conflicts:    1012000 | #Constraints:     144581
2559.58/2566.54	c #Conflicts:    1013000 | #Constraints:     145581
2559.58/2566.54	c #Conflicts:    1014000 | #Constraints:     146581
2559.58/2566.54	c #Conflicts:    1015000 | #Constraints:     147581
2559.58/2566.54	c #Conflicts:    1016000 | #Constraints:     148581
2559.58/2566.54	c #Conflicts:    1017000 | #Constraints:     149581
2559.58/2566.54	c #Conflicts:    1018000 | #Constraints:     150581
2559.58/2566.54	c #Conflicts:    1019000 | #Constraints:     151581
2559.58/2566.54	c #Conflicts:    1020000 | #Constraints:     152581
2559.58/2566.54	c #Conflicts:    1021000 | #Constraints:     153581
2559.58/2566.54	c INPROCESSING
2559.58/2566.54	c GARBAGE COLLECT
2559.58/2566.54	c rational objective 550
2596.58/2603.65	c #Conflicts:    1022000 | #Constraints:     134583
2596.58/2603.65	c #Conflicts:    1023000 | #Constraints:     135583
2596.58/2603.65	c #Conflicts:    1024000 | #Constraints:     136583
2596.58/2603.65	c #Conflicts:    1025000 | #Constraints:     137583
2596.58/2603.65	c #Conflicts:    1026000 | #Constraints:     138583
2596.58/2603.65	c #Conflicts:    1027000 | #Constraints:     139583
2596.58/2603.65	c #Conflicts:    1028000 | #Constraints:     140583
2596.58/2603.65	c #Conflicts:    1029000 | #Constraints:     141583
2596.58/2603.65	c #Conflicts:    1030000 | #Constraints:     142583
2596.58/2603.65	c #Conflicts:    1031000 | #Constraints:     143583
2596.58/2603.65	c #Conflicts:    1032000 | #Constraints:     144583
2596.58/2603.65	c #Conflicts:    1033000 | #Constraints:     145583
2596.58/2603.65	c #Conflicts:    1034000 | #Constraints:     146583
2596.58/2603.65	c #Conflicts:    1035000 | #Constraints:     147583
2596.58/2603.65	c #Conflicts:    1036000 | #Constraints:     148583
2596.58/2603.65	c #Conflicts:    1037000 | #Constraints:     149583
2596.58/2603.65	c #Conflicts:    1038000 | #Constraints:     150583
2596.58/2603.65	c #Conflicts:    1039000 | #Constraints:     151583
2596.58/2603.65	c #Conflicts:    1040000 | #Constraints:     152583
2596.58/2603.65	c #Conflicts:    1041000 | #Constraints:     153583
2596.58/2603.65	c INPROCESSING
2596.58/2603.65	c GARBAGE COLLECT
2596.58/2603.65	c rational objective 550
2637.88/2645.08	c #Conflicts:    1042000 | #Constraints:     134388
2637.88/2645.08	c #Conflicts:    1043000 | #Constraints:     135388
2637.88/2645.08	c #Conflicts:    1044000 | #Constraints:     136388
2637.88/2645.08	c #Conflicts:    1045000 | #Constraints:     137388
2637.88/2645.08	c #Conflicts:    1046000 | #Constraints:     138388
2637.88/2645.08	c #Conflicts:    1047000 | #Constraints:     139388
2637.88/2645.08	c #Conflicts:    1048000 | #Constraints:     140388
2637.88/2645.08	c #Conflicts:    1049000 | #Constraints:     141388
2637.88/2645.08	c #Conflicts:    1050000 | #Constraints:     142388
2637.88/2645.08	c #Conflicts:    1051000 | #Constraints:     143388
2637.88/2645.08	c #Conflicts:    1052000 | #Constraints:     144388
2637.88/2645.08	c #Conflicts:    1053000 | #Constraints:     145388
2637.88/2645.08	c #Conflicts:    1054000 | #Constraints:     146388
2637.88/2645.08	c #Conflicts:    1055000 | #Constraints:     147388
2637.88/2645.08	c #Conflicts:    1056000 | #Constraints:     148388
2637.88/2645.08	c #Conflicts:    1057000 | #Constraints:     149388
2637.88/2645.08	c #Conflicts:    1058000 | #Constraints:     150388
2637.88/2645.08	c #Conflicts:    1059000 | #Constraints:     151388
2637.88/2645.08	c #Conflicts:    1060000 | #Constraints:     152388
2637.88/2645.08	c #Conflicts:    1061000 | #Constraints:     153388
2637.88/2645.08	c #Conflicts:    1062000 | #Constraints:     154388
2637.88/2645.08	c INPROCESSING
2637.88/2645.08	c GARBAGE COLLECT
2637.88/2645.08	c rational objective 550
2677.57/2684.83	c #Conflicts:    1063000 | #Constraints:     134986
2677.57/2684.83	c #Conflicts:    1064000 | #Constraints:     135986
2677.57/2684.83	c #Conflicts:    1065000 | #Constraints:     136986
2677.57/2684.83	c #Conflicts:    1066000 | #Constraints:     137986
2677.57/2684.83	c #Conflicts:    1067000 | #Constraints:     138986
2677.57/2684.83	c #Conflicts:    1068000 | #Constraints:     139986
2677.57/2684.83	c #Conflicts:    1069000 | #Constraints:     140986
2677.57/2684.83	c #Conflicts:    1070000 | #Constraints:     141986
2677.57/2684.83	c #Conflicts:    1071000 | #Constraints:     142986
2677.57/2684.83	c #Conflicts:    1072000 | #Constraints:     143986
2677.57/2684.83	c #Conflicts:    1073000 | #Constraints:     144986
2677.57/2684.83	c #Conflicts:    1074000 | #Constraints:     145986
2677.57/2684.83	c #Conflicts:    1075000 | #Constraints:     146986
2677.57/2684.83	c #Conflicts:    1076000 | #Constraints:     147986
2677.57/2684.83	c #Conflicts:    1077000 | #Constraints:     148986
2677.57/2684.83	c #Conflicts:    1078000 | #Constraints:     149986
2677.57/2684.83	c #Conflicts:    1079000 | #Constraints:     150986
2677.57/2684.83	c #Conflicts:    1080000 | #Constraints:     151986
2677.57/2684.83	c #Conflicts:    1081000 | #Constraints:     152986
2677.57/2684.83	c #Conflicts:    1082000 | #Constraints:     153986
2677.57/2684.83	c #Conflicts:    1083000 | #Constraints:     154986
2677.57/2684.83	c INPROCESSING
2677.57/2684.83	c GARBAGE COLLECT
2677.57/2684.83	c rational objective 550
2713.08/2720.40	c #Conflicts:    1084000 | #Constraints:     135380
2713.08/2720.40	c #Conflicts:    1085000 | #Constraints:     136380
2713.08/2720.40	c #Conflicts:    1086000 | #Constraints:     137380
2713.08/2720.40	c #Conflicts:    1087000 | #Constraints:     138380
2713.08/2720.40	c #Conflicts:    1088000 | #Constraints:     139380
2713.08/2720.40	c #Conflicts:    1089000 | #Constraints:     140380
2713.08/2720.40	c #Conflicts:    1090000 | #Constraints:     141380
2713.08/2720.40	c #Conflicts:    1091000 | #Constraints:     142380
2713.08/2720.40	c #Conflicts:    1092000 | #Constraints:     143380
2713.08/2720.40	c #Conflicts:    1093000 | #Constraints:     144380
2713.08/2720.40	c #Conflicts:    1094000 | #Constraints:     145380
2713.08/2720.40	c #Conflicts:    1095000 | #Constraints:     146380
2713.08/2720.40	c #Conflicts:    1096000 | #Constraints:     147380
2713.08/2720.40	c #Conflicts:    1097000 | #Constraints:     148380
2713.08/2720.40	c #Conflicts:    1098000 | #Constraints:     149380
2713.08/2720.40	c #Conflicts:    1099000 | #Constraints:     150380
2713.08/2720.40	c #Conflicts:    1100000 | #Constraints:     151380
2713.08/2720.40	c #Conflicts:    1101000 | #Constraints:     152380
2713.08/2720.40	c #Conflicts:    1102000 | #Constraints:     153380
2713.08/2720.40	c #Conflicts:    1103000 | #Constraints:     154380
2713.08/2720.40	c #Conflicts:    1104000 | #Constraints:     155380
2713.08/2720.40	c INPROCESSING
2713.08/2720.40	c GARBAGE COLLECT
2713.08/2720.40	c rational objective 550
2755.46/2762.93	c #Conflicts:    1105000 | #Constraints:     135589
2755.46/2762.93	c #Conflicts:    1106000 | #Constraints:     136589
2755.46/2762.93	c #Conflicts:    1107000 | #Constraints:     137589
2755.46/2762.93	c #Conflicts:    1108000 | #Constraints:     138589
2755.46/2762.93	c #Conflicts:    1109000 | #Constraints:     139589
2755.46/2762.93	c #Conflicts:    1110000 | #Constraints:     140589
2755.46/2762.93	c #Conflicts:    1111000 | #Constraints:     141589
2755.46/2762.93	c #Conflicts:    1112000 | #Constraints:     142589
2755.46/2762.93	c #Conflicts:    1113000 | #Constraints:     143589
2755.46/2762.93	c #Conflicts:    1114000 | #Constraints:     144589
2755.46/2762.93	c #Conflicts:    1115000 | #Constraints:     145589
2755.46/2762.93	c #Conflicts:    1116000 | #Constraints:     146589
2755.46/2762.93	c #Conflicts:    1117000 | #Constraints:     147589
2755.46/2762.93	c #Conflicts:    1118000 | #Constraints:     148589
2755.46/2762.93	c #Conflicts:    1119000 | #Constraints:     149589
2755.46/2762.93	c #Conflicts:    1120000 | #Constraints:     150589
2755.46/2762.93	c #Conflicts:    1121000 | #Constraints:     151589
2755.46/2762.93	c #Conflicts:    1122000 | #Constraints:     152589
2755.46/2762.93	c #Conflicts:    1123000 | #Constraints:     153589
2755.46/2762.93	c #Conflicts:    1124000 | #Constraints:     154589
2755.46/2762.93	c #Conflicts:    1125000 | #Constraints:     155589
2755.46/2762.93	c INPROCESSING
2755.46/2762.93	c GARBAGE COLLECT
2755.46/2762.93	c rational objective 550
2818.10/2825.78	c #Conflicts:    1126000 | #Constraints:     135585
2818.10/2825.78	c #Conflicts:    1127000 | #Constraints:     136585
2818.10/2825.78	c #Conflicts:    1128000 | #Constraints:     137585
2818.10/2825.78	c #Conflicts:    1129000 | #Constraints:     138585
2818.10/2825.78	c #Conflicts:    1130000 | #Constraints:     139585
2818.10/2825.78	c #Conflicts:    1131000 | #Constraints:     140585
2818.10/2825.78	c #Conflicts:    1132000 | #Constraints:     141585
2818.10/2825.78	c #Conflicts:    1133000 | #Constraints:     142585
2818.10/2825.78	c #Conflicts:    1134000 | #Constraints:     143585
2818.10/2825.78	c #Conflicts:    1135000 | #Constraints:     144585
2818.10/2825.78	c #Conflicts:    1136000 | #Constraints:     145585
2818.10/2825.78	c #Conflicts:    1137000 | #Constraints:     146585
2818.10/2825.78	c #Conflicts:    1138000 | #Constraints:     147585
2818.10/2825.78	c #Conflicts:    1139000 | #Constraints:     148585
2818.10/2825.78	c #Conflicts:    1140000 | #Constraints:     149585
2818.10/2825.78	c #Conflicts:    1141000 | #Constraints:     150585
2818.10/2825.78	c #Conflicts:    1142000 | #Constraints:     151585
2818.10/2825.78	c #Conflicts:    1143000 | #Constraints:     152585
2818.10/2825.78	c #Conflicts:    1144000 | #Constraints:     153585
2818.10/2825.78	c #Conflicts:    1145000 | #Constraints:     154585
2818.10/2825.78	c #Conflicts:    1146000 | #Constraints:     155585
2818.10/2825.78	c INPROCESSING
2818.10/2825.78	c GARBAGE COLLECT
2818.10/2825.78	c rational objective 550
2859.18/2867.00	c #Conflicts:    1147000 | #Constraints:     135371
2859.18/2867.00	c #Conflicts:    1148000 | #Constraints:     136371
2859.18/2867.00	c #Conflicts:    1149000 | #Constraints:     137371
2859.18/2867.00	c #Conflicts:    1150000 | #Constraints:     138371
2859.18/2867.00	c #Conflicts:    1151000 | #Constraints:     139371
2859.18/2867.00	c #Conflicts:    1152000 | #Constraints:     140371
2859.18/2867.00	c #Conflicts:    1153000 | #Constraints:     141371
2859.18/2867.00	c #Conflicts:    1154000 | #Constraints:     142371
2859.18/2867.00	c #Conflicts:    1155000 | #Constraints:     143371
2859.18/2867.00	c #Conflicts:    1156000 | #Constraints:     144371
2859.18/2867.00	c #Conflicts:    1157000 | #Constraints:     145371
2859.18/2867.00	c #Conflicts:    1158000 | #Constraints:     146371
2859.18/2867.00	c #Conflicts:    1159000 | #Constraints:     147371
2859.18/2867.00	c #Conflicts:    1160000 | #Constraints:     148371
2859.18/2867.00	c #Conflicts:    1161000 | #Constraints:     149371
2859.18/2867.00	c #Conflicts:    1162000 | #Constraints:     150371
2859.18/2867.00	c #Conflicts:    1163000 | #Constraints:     151371
2859.18/2867.00	c #Conflicts:    1164000 | #Constraints:     152371
2859.18/2867.00	c #Conflicts:    1165000 | #Constraints:     153371
2859.18/2867.00	c #Conflicts:    1166000 | #Constraints:     154371
2859.18/2867.00	c #Conflicts:    1167000 | #Constraints:     155371
2859.18/2867.00	c #Conflicts:    1168000 | #Constraints:     156371
2859.18/2867.00	c INPROCESSING
2859.18/2867.00	c GARBAGE COLLECT
2859.18/2867.00	c rational objective 550
2922.51/2930.40	c #Conflicts:    1169000 | #Constraints:     135962
2922.51/2930.40	c #Conflicts:    1170000 | #Constraints:     136962
2922.51/2930.40	c #Conflicts:    1171000 | #Constraints:     137962
2922.51/2930.40	c #Conflicts:    1172000 | #Constraints:     138962
2922.51/2930.40	c #Conflicts:    1173000 | #Constraints:     139962
2922.51/2930.40	c #Conflicts:    1174000 | #Constraints:     140962
2922.51/2930.40	c #Conflicts:    1175000 | #Constraints:     141962
2922.51/2930.40	c #Conflicts:    1176000 | #Constraints:     142962
2922.51/2930.40	c #Conflicts:    1177000 | #Constraints:     143962
2922.51/2930.40	c #Conflicts:    1178000 | #Constraints:     144962
2922.51/2930.40	c #Conflicts:    1179000 | #Constraints:     145962
2922.51/2930.40	c #Conflicts:    1180000 | #Constraints:     146962
2922.51/2930.40	c #Conflicts:    1181000 | #Constraints:     147962
2922.51/2930.40	c #Conflicts:    1182000 | #Constraints:     148962
2922.51/2930.40	c #Conflicts:    1183000 | #Constraints:     149962
2922.51/2930.40	c #Conflicts:    1184000 | #Constraints:     150962
2922.51/2930.40	c #Conflicts:    1185000 | #Constraints:     151962
2922.51/2930.40	c #Conflicts:    1186000 | #Constraints:     152962
2922.51/2930.40	c #Conflicts:    1187000 | #Constraints:     153962
2922.51/2930.40	c #Conflicts:    1188000 | #Constraints:     154962
2922.51/2930.40	c #Conflicts:    1189000 | #Constraints:     155962
2922.51/2930.40	c #Conflicts:    1190000 | #Constraints:     156962
2922.51/2930.40	c INPROCESSING
2922.51/2930.40	c GARBAGE COLLECT
2922.51/2930.40	c rational objective 550
2969.90/2977.99	c #Conflicts:    1191000 | #Constraints:     136353
2969.90/2977.99	c #Conflicts:    1192000 | #Constraints:     137353
2969.90/2977.99	c #Conflicts:    1193000 | #Constraints:     138353
2969.90/2977.99	c #Conflicts:    1194000 | #Constraints:     139353
2969.90/2977.99	c #Conflicts:    1195000 | #Constraints:     140353
2969.90/2977.99	c #Conflicts:    1196000 | #Constraints:     141353
2969.90/2977.99	c #Conflicts:    1197000 | #Constraints:     142353
2969.90/2977.99	c #Conflicts:    1198000 | #Constraints:     143353
2969.90/2977.99	c #Conflicts:    1199000 | #Constraints:     144353
2969.90/2977.99	c #Conflicts:    1200000 | #Constraints:     145353
2969.90/2977.99	c #Conflicts:    1201000 | #Constraints:     146353
2969.90/2977.99	c #Conflicts:    1202000 | #Constraints:     147353
2969.90/2977.99	c #Conflicts:    1203000 | #Constraints:     148353
2969.90/2977.99	c #Conflicts:    1204000 | #Constraints:     149353
2969.90/2977.99	c #Conflicts:    1205000 | #Constraints:     150353
2969.90/2977.99	c #Conflicts:    1206000 | #Constraints:     151353
2969.90/2977.99	c #Conflicts:    1207000 | #Constraints:     152353
2969.90/2977.99	c #Conflicts:    1208000 | #Constraints:     153353
2969.90/2977.99	c #Conflicts:    1209000 | #Constraints:     154353
2969.90/2977.99	c #Conflicts:    1210000 | #Constraints:     155353
2969.90/2977.99	c #Conflicts:    1211000 | #Constraints:     156353
2969.90/2977.99	c #Conflicts:    1212000 | #Constraints:     157353
2969.90/2977.99	c INPROCESSING
2969.90/2977.99	c GARBAGE COLLECT
2969.90/2977.99	c rational objective 550
3010.28/3018.40	c #Conflicts:    1213000 | #Constraints:     136551
3010.28/3018.40	c #Conflicts:    1214000 | #Constraints:     137551
3010.28/3018.40	c #Conflicts:    1215000 | #Constraints:     138551
3010.28/3018.40	c #Conflicts:    1216000 | #Constraints:     139551
3010.28/3018.40	c #Conflicts:    1217000 | #Constraints:     140551
3010.28/3018.40	c #Conflicts:    1218000 | #Constraints:     141551
3010.28/3018.40	c #Conflicts:    1219000 | #Constraints:     142551
3010.28/3018.40	c #Conflicts:    1220000 | #Constraints:     143551
3010.28/3018.40	c #Conflicts:    1221000 | #Constraints:     144551
3010.28/3018.40	c #Conflicts:    1222000 | #Constraints:     145551
3010.28/3018.40	c #Conflicts:    1223000 | #Constraints:     146551
3010.28/3018.40	c #Conflicts:    1224000 | #Constraints:     147551
3010.28/3018.40	c #Conflicts:    1225000 | #Constraints:     148551
3010.28/3018.40	c #Conflicts:    1226000 | #Constraints:     149551
3010.28/3018.40	c #Conflicts:    1227000 | #Constraints:     150551
3010.28/3018.40	c #Conflicts:    1228000 | #Constraints:     151551
3010.28/3018.40	c #Conflicts:    1229000 | #Constraints:     152551
3010.28/3018.40	c #Conflicts:    1230000 | #Constraints:     153551
3010.28/3018.40	c #Conflicts:    1231000 | #Constraints:     154551
3010.28/3018.40	c #Conflicts:    1232000 | #Constraints:     155551
3010.28/3018.40	c #Conflicts:    1233000 | #Constraints:     156551
3010.28/3018.40	c #Conflicts:    1234000 | #Constraints:     157551
3010.28/3018.40	c INPROCESSING
3010.28/3018.40	c GARBAGE COLLECT
3010.28/3018.40	c rational objective 550
3066.43/3074.77	c #Conflicts:    1235000 | #Constraints:     136537
3066.43/3074.77	c #Conflicts:    1236000 | #Constraints:     137537
3066.43/3074.77	c #Conflicts:    1237000 | #Constraints:     138537
3066.43/3074.77	c #Conflicts:    1238000 | #Constraints:     139537
3066.43/3074.77	c #Conflicts:    1239000 | #Constraints:     140537
3066.43/3074.77	c #Conflicts:    1240000 | #Constraints:     141537
3066.43/3074.77	c #Conflicts:    1241000 | #Constraints:     142537
3066.43/3074.77	c #Conflicts:    1242000 | #Constraints:     143537
3066.43/3074.77	c #Conflicts:    1243000 | #Constraints:     144537
3066.43/3074.77	c #Conflicts:    1244000 | #Constraints:     145537
3066.43/3074.77	c #Conflicts:    1245000 | #Constraints:     146537
3066.43/3074.77	c #Conflicts:    1246000 | #Constraints:     147537
3066.43/3074.77	c #Conflicts:    1247000 | #Constraints:     148537
3066.43/3074.77	c #Conflicts:    1248000 | #Constraints:     149537
3066.43/3074.77	c #Conflicts:    1249000 | #Constraints:     150537
3066.43/3074.77	c #Conflicts:    1250000 | #Constraints:     151537
3066.43/3074.77	c #Conflicts:    1251000 | #Constraints:     152537
3066.43/3074.77	c #Conflicts:    1252000 | #Constraints:     153537
3066.43/3074.77	c #Conflicts:    1253000 | #Constraints:     154537
3066.43/3074.77	c #Conflicts:    1254000 | #Constraints:     155537
3066.43/3074.77	c #Conflicts:    1255000 | #Constraints:     156537
3066.43/3074.77	c #Conflicts:    1256000 | #Constraints:     157537
3066.43/3074.77	c INPROCESSING
3066.43/3074.77	c GARBAGE COLLECT
3066.43/3074.77	c rational objective 550
3125.27/3133.78	c #Conflicts:    1257000 | #Constraints:     136337
3125.27/3133.78	c #Conflicts:    1258000 | #Constraints:     137337
3125.27/3133.78	c #Conflicts:    1259000 | #Constraints:     138337
3125.27/3133.78	c #Conflicts:    1260000 | #Constraints:     139337
3125.27/3133.78	c #Conflicts:    1261000 | #Constraints:     140337
3125.27/3133.78	c #Conflicts:    1262000 | #Constraints:     141337
3125.27/3133.78	c #Conflicts:    1263000 | #Constraints:     142337
3125.27/3133.78	c #Conflicts:    1264000 | #Constraints:     143337
3125.27/3133.78	c #Conflicts:    1265000 | #Constraints:     144337
3125.27/3133.78	c #Conflicts:    1266000 | #Constraints:     145337
3125.27/3133.78	c #Conflicts:    1267000 | #Constraints:     146337
3125.27/3133.78	c #Conflicts:    1268000 | #Constraints:     147337
3125.27/3133.78	c #Conflicts:    1269000 | #Constraints:     148337
3125.27/3133.78	c #Conflicts:    1270000 | #Constraints:     149337
3125.27/3133.78	c #Conflicts:    1271000 | #Constraints:     150337
3125.27/3133.78	c #Conflicts:    1272000 | #Constraints:     151337
3125.27/3133.78	c #Conflicts:    1273000 | #Constraints:     152337
3125.27/3133.78	c #Conflicts:    1274000 | #Constraints:     153337
3125.27/3133.78	c #Conflicts:    1275000 | #Constraints:     154337
3125.27/3133.78	c #Conflicts:    1276000 | #Constraints:     155337
3125.27/3133.78	c #Conflicts:    1277000 | #Constraints:     156337
3125.27/3133.78	c #Conflicts:    1278000 | #Constraints:     157337
3125.27/3133.78	c #Conflicts:    1279000 | #Constraints:     158337
3125.27/3133.78	c INPROCESSING
3125.27/3133.78	c GARBAGE COLLECT
3125.27/3133.78	c rational objective 550
3185.91/3194.58	c #Conflicts:    1280000 | #Constraints:     136929
3185.91/3194.58	c #Conflicts:    1281000 | #Constraints:     137929
3185.91/3194.58	c #Conflicts:    1282000 | #Constraints:     138929
3185.91/3194.58	c #Conflicts:    1283000 | #Constraints:     139929
3185.91/3194.58	c #Conflicts:    1284000 | #Constraints:     140929
3185.91/3194.58	c #Conflicts:    1285000 | #Constraints:     141929
3185.91/3194.58	c #Conflicts:    1286000 | #Constraints:     142929
3185.91/3194.58	c #Conflicts:    1287000 | #Constraints:     143929
3185.91/3194.58	c #Conflicts:    1288000 | #Constraints:     144929
3185.91/3194.58	c #Conflicts:    1289000 | #Constraints:     145929
3185.91/3194.58	c #Conflicts:    1290000 | #Constraints:     146929
3185.91/3194.58	c #Conflicts:    1291000 | #Constraints:     147929
3185.91/3194.58	c #Conflicts:    1292000 | #Constraints:     148929
3185.91/3194.58	c #Conflicts:    1293000 | #Constraints:     149929
3185.91/3194.58	c #Conflicts:    1294000 | #Constraints:     150929
3185.91/3194.58	c #Conflicts:    1295000 | #Constraints:     151929
3185.91/3194.58	c #Conflicts:    1296000 | #Constraints:     152929
3185.91/3194.58	c #Conflicts:    1297000 | #Constraints:     153929
3185.91/3194.58	c #Conflicts:    1298000 | #Constraints:     154929
3185.91/3194.58	c #Conflicts:    1299000 | #Constraints:     155929
3185.91/3194.58	c #Conflicts:    1300000 | #Constraints:     156929
3185.91/3194.58	c #Conflicts:    1301000 | #Constraints:     157929
3185.91/3194.58	c #Conflicts:    1302000 | #Constraints:     158929
3185.91/3194.58	c INPROCESSING
3185.91/3194.58	c GARBAGE COLLECT
3185.91/3194.58	c rational objective 550
3235.07/3243.82	c #Conflicts:    1303000 | #Constraints:     137336
3235.07/3243.82	c #Conflicts:    1304000 | #Constraints:     138336
3235.07/3243.82	c #Conflicts:    1305000 | #Constraints:     139336
3235.07/3243.82	c #Conflicts:    1306000 | #Constraints:     140336
3235.07/3243.82	c #Conflicts:    1307000 | #Constraints:     141336
3235.07/3243.82	c #Conflicts:    1308000 | #Constraints:     142336
3235.07/3243.82	c #Conflicts:    1309000 | #Constraints:     143336
3235.07/3243.82	c #Conflicts:    1310000 | #Constraints:     144336
3235.07/3243.82	c #Conflicts:    1311000 | #Constraints:     145336
3235.07/3243.82	c #Conflicts:    1312000 | #Constraints:     146336
3235.07/3243.82	c #Conflicts:    1313000 | #Constraints:     147336
3235.07/3243.82	c #Conflicts:    1314000 | #Constraints:     148336
3235.07/3243.82	c #Conflicts:    1315000 | #Constraints:     149336
3235.07/3243.82	c #Conflicts:    1316000 | #Constraints:     150336
3235.07/3243.82	c #Conflicts:    1317000 | #Constraints:     151336
3235.07/3243.82	c #Conflicts:    1318000 | #Constraints:     152336
3235.07/3243.82	c #Conflicts:    1319000 | #Constraints:     153336
3235.07/3243.82	c #Conflicts:    1320000 | #Constraints:     154336
3235.07/3243.82	c #Conflicts:    1321000 | #Constraints:     155336
3235.07/3243.82	c #Conflicts:    1322000 | #Constraints:     156336
3235.07/3243.82	c #Conflicts:    1323000 | #Constraints:     157336
3235.07/3243.82	c #Conflicts:    1324000 | #Constraints:     158336
3235.07/3243.82	c #Conflicts:    1325000 | #Constraints:     159336
3235.07/3243.82	c INPROCESSING
3235.07/3243.82	c GARBAGE COLLECT
3235.07/3243.82	c rational objective 550
3281.74/3290.62	c #Conflicts:    1326000 | #Constraints:     137544
3281.74/3290.62	c #Conflicts:    1327000 | #Constraints:     138544
3281.74/3290.62	c #Conflicts:    1328000 | #Constraints:     139544
3281.74/3290.62	c #Conflicts:    1329000 | #Constraints:     140544
3281.74/3290.62	c #Conflicts:    1330000 | #Constraints:     141544
3281.74/3290.62	c #Conflicts:    1331000 | #Constraints:     142544
3281.74/3290.62	c #Conflicts:    1332000 | #Constraints:     143544
3281.74/3290.62	c #Conflicts:    1333000 | #Constraints:     144544
3281.74/3290.62	c #Conflicts:    1334000 | #Constraints:     145544
3281.74/3290.62	c #Conflicts:    1335000 | #Constraints:     146544
3281.74/3290.62	c #Conflicts:    1336000 | #Constraints:     147544
3281.74/3290.62	c #Conflicts:    1337000 | #Constraints:     148544
3281.74/3290.62	c #Conflicts:    1338000 | #Constraints:     149544
3281.74/3290.62	c #Conflicts:    1339000 | #Constraints:     150544
3281.74/3290.62	c #Conflicts:    1340000 | #Constraints:     151544
3281.74/3290.62	c #Conflicts:    1341000 | #Constraints:     152544
3281.74/3290.62	c #Conflicts:    1342000 | #Constraints:     153544
3281.74/3290.62	c #Conflicts:    1343000 | #Constraints:     154544
3281.74/3290.62	c #Conflicts:    1344000 | #Constraints:     155544
3281.74/3290.62	c #Conflicts:    1345000 | #Constraints:     156544
3281.74/3290.62	c #Conflicts:    1346000 | #Constraints:     157544
3281.74/3290.62	c #Conflicts:    1347000 | #Constraints:     158544
3281.74/3290.62	c #Conflicts:    1348000 | #Constraints:     159544
3281.74/3290.62	c INPROCESSING
3281.74/3290.62	c GARBAGE COLLECT
3281.74/3290.62	c rational objective 550
3337.59/3346.60	c #Conflicts:    1349000 | #Constraints:     137554
3337.59/3346.60	c #Conflicts:    1350000 | #Constraints:     138554
3337.59/3346.60	c #Conflicts:    1351000 | #Constraints:     139554
3337.59/3346.60	c #Conflicts:    1352000 | #Constraints:     140554
3337.59/3346.60	c #Conflicts:    1353000 | #Constraints:     141554
3337.59/3346.60	c #Conflicts:    1354000 | #Constraints:     142554
3337.59/3346.60	c #Conflicts:    1355000 | #Constraints:     143554
3337.59/3346.60	c #Conflicts:    1356000 | #Constraints:     144554
3337.59/3346.60	c #Conflicts:    1357000 | #Constraints:     145554
3337.59/3346.60	c #Conflicts:    1358000 | #Constraints:     146554
3337.59/3346.60	c #Conflicts:    1359000 | #Constraints:     147554
3337.59/3346.60	c #Conflicts:    1360000 | #Constraints:     148554
3337.59/3346.60	c #Conflicts:    1361000 | #Constraints:     149554
3337.59/3346.60	c #Conflicts:    1362000 | #Constraints:     150554
3337.59/3346.60	c #Conflicts:    1363000 | #Constraints:     151554
3337.59/3346.60	c #Conflicts:    1364000 | #Constraints:     152554
3337.59/3346.60	c #Conflicts:    1365000 | #Constraints:     153554
3337.59/3346.60	c #Conflicts:    1366000 | #Constraints:     154554
3337.59/3346.60	c #Conflicts:    1367000 | #Constraints:     155554
3337.59/3346.60	c #Conflicts:    1368000 | #Constraints:     156554
3337.59/3346.61	c #Conflicts:    1369000 | #Constraints:     157554
3337.59/3346.61	c #Conflicts:    1370000 | #Constraints:     158554
3337.59/3346.61	c #Conflicts:    1371000 | #Constraints:     159554
3337.59/3346.61	c INPROCESSING
3337.59/3346.61	c GARBAGE COLLECT
3337.59/3346.61	c rational objective 550
3398.73/3407.99	c #Conflicts:    1372000 | #Constraints:     137344
3398.73/3407.99	c #Conflicts:    1373000 | #Constraints:     138344
3398.73/3407.99	c #Conflicts:    1374000 | #Constraints:     139344
3398.73/3407.99	c #Conflicts:    1375000 | #Constraints:     140344
3398.73/3407.99	c #Conflicts:    1376000 | #Constraints:     141344
3398.73/3407.99	c #Conflicts:    1377000 | #Constraints:     142344
3398.73/3407.99	c #Conflicts:    1378000 | #Constraints:     143344
3398.73/3407.99	c #Conflicts:    1379000 | #Constraints:     144344
3398.73/3407.99	c #Conflicts:    1380000 | #Constraints:     145344
3398.73/3407.99	c #Conflicts:    1381000 | #Constraints:     146344
3398.73/3407.99	c #Conflicts:    1382000 | #Constraints:     147344
3398.73/3407.99	c #Conflicts:    1383000 | #Constraints:     148344
3398.73/3407.99	c #Conflicts:    1384000 | #Constraints:     149344
3398.73/3407.99	c #Conflicts:    1385000 | #Constraints:     150344
3398.73/3407.99	c #Conflicts:    1386000 | #Constraints:     151344
3398.73/3407.99	c #Conflicts:    1387000 | #Constraints:     152344
3398.73/3407.99	c #Conflicts:    1388000 | #Constraints:     153344
3398.73/3407.99	c #Conflicts:    1389000 | #Constraints:     154344
3398.73/3407.99	c #Conflicts:    1390000 | #Constraints:     155344
3398.73/3407.99	c #Conflicts:    1391000 | #Constraints:     156344
3398.73/3407.99	c #Conflicts:    1392000 | #Constraints:     157344
3398.73/3407.99	c #Conflicts:    1393000 | #Constraints:     158344
3398.73/3407.99	c #Conflicts:    1394000 | #Constraints:     159344
3398.73/3407.99	c #Conflicts:    1395000 | #Constraints:     160344
3398.73/3407.99	c INPROCESSING
3398.73/3407.99	c GARBAGE COLLECT
3398.73/3407.99	c rational objective 550
3461.46/3470.83	c #Conflicts:    1396000 | #Constraints:     137940
3461.46/3470.83	c #Conflicts:    1397000 | #Constraints:     138940
3461.46/3470.83	c #Conflicts:    1398000 | #Constraints:     139940
3461.46/3470.83	c #Conflicts:    1399000 | #Constraints:     140940
3461.46/3470.83	c #Conflicts:    1400000 | #Constraints:     141940
3461.46/3470.83	c #Conflicts:    1401000 | #Constraints:     142940
3461.46/3470.83	c #Conflicts:    1402000 | #Constraints:     143940
3461.46/3470.83	c #Conflicts:    1403000 | #Constraints:     144940
3461.46/3470.83	c #Conflicts:    1404000 | #Constraints:     145940
3461.46/3470.83	c #Conflicts:    1405000 | #Constraints:     146940
3461.46/3470.83	c #Conflicts:    1406000 | #Constraints:     147940
3461.46/3470.83	c #Conflicts:    1407000 | #Constraints:     148940
3461.46/3470.83	c #Conflicts:    1408000 | #Constraints:     149940
3461.46/3470.83	c #Conflicts:    1409000 | #Constraints:     150940
3461.46/3470.83	c #Conflicts:    1410000 | #Constraints:     151940
3461.46/3470.83	c #Conflicts:    1411000 | #Constraints:     152940
3461.46/3470.83	c #Conflicts:    1412000 | #Constraints:     153940
3461.46/3470.83	c #Conflicts:    1413000 | #Constraints:     154940
3461.46/3470.83	c #Conflicts:    1414000 | #Constraints:     155940
3461.46/3470.83	c #Conflicts:    1415000 | #Constraints:     156940
3461.46/3470.83	c #Conflicts:    1416000 | #Constraints:     157940
3461.46/3470.83	c #Conflicts:    1417000 | #Constraints:     158940
3461.46/3470.83	c #Conflicts:    1418000 | #Constraints:     159940
3461.46/3470.83	c #Conflicts:    1419000 | #Constraints:     160940
3461.46/3470.83	c INPROCESSING
3461.46/3470.83	c GARBAGE COLLECT
3461.46/3470.83	c rational objective 550
3514.11/3523.64	c #Conflicts:    1420000 | #Constraints:     138341
3514.11/3523.64	c #Conflicts:    1421000 | #Constraints:     139341
3514.11/3523.64	c #Conflicts:    1422000 | #Constraints:     140341
3514.11/3523.64	c #Conflicts:    1423000 | #Constraints:     141341
3514.11/3523.64	c #Conflicts:    1424000 | #Constraints:     142341
3514.11/3523.64	c #Conflicts:    1425000 | #Constraints:     143341
3514.11/3523.64	c #Conflicts:    1426000 | #Constraints:     144341
3514.11/3523.64	c #Conflicts:    1427000 | #Constraints:     145341
3514.11/3523.64	c #Conflicts:    1428000 | #Constraints:     146341
3514.11/3523.64	c #Conflicts:    1429000 | #Constraints:     147341
3514.11/3523.64	c #Conflicts:    1430000 | #Constraints:     148341
3514.11/3523.64	c #Conflicts:    1431000 | #Constraints:     149341
3514.11/3523.64	c #Conflicts:    1432000 | #Constraints:     150341
3514.11/3523.64	c #Conflicts:    1433000 | #Constraints:     151341
3514.11/3523.64	c #Conflicts:    1434000 | #Constraints:     152341
3514.11/3523.64	c #Conflicts:    1435000 | #Constraints:     153341
3514.11/3523.64	c #Conflicts:    1436000 | #Constraints:     154341
3514.11/3523.64	c #Conflicts:    1437000 | #Constraints:     155341
3514.11/3523.64	c #Conflicts:    1438000 | #Constraints:     156341
3514.11/3523.64	c #Conflicts:    1439000 | #Constraints:     157341
3514.11/3523.64	c #Conflicts:    1440000 | #Constraints:     158341
3514.11/3523.64	c #Conflicts:    1441000 | #Constraints:     159341
3514.11/3523.64	c #Conflicts:    1442000 | #Constraints:     160341
3514.11/3523.64	c #Conflicts:    1443000 | #Constraints:     161341
3514.11/3523.64	c INPROCESSING
3514.11/3523.64	c GARBAGE COLLECT
3514.11/3523.64	c rational objective 550
3583.12/3592.87	c #Conflicts:    1444000 | #Constraints:     138540
3583.12/3592.87	c #Conflicts:    1445000 | #Constraints:     139540
3583.12/3592.87	c #Conflicts:    1446000 | #Constraints:     140540
3583.12/3592.87	c #Conflicts:    1447000 | #Constraints:     141540
3583.12/3592.87	c #Conflicts:    1448000 | #Constraints:     142540
3583.12/3592.87	c #Conflicts:    1449000 | #Constraints:     143540
3583.12/3592.87	c #Conflicts:    1450000 | #Constraints:     144540
3583.12/3592.87	c #Conflicts:    1451000 | #Constraints:     145540
3583.12/3592.87	c #Conflicts:    1452000 | #Constraints:     146540
3583.12/3592.87	c #Conflicts:    1453000 | #Constraints:     147540
3583.12/3592.87	c #Conflicts:    1454000 | #Constraints:     148540
3583.12/3592.87	c #Conflicts:    1455000 | #Constraints:     149540
3583.12/3592.87	c #Conflicts:    1456000 | #Constraints:     150540
3583.12/3592.87	c #Conflicts:    1457000 | #Constraints:     151540
3583.12/3592.87	c #Conflicts:    1458000 | #Constraints:     152540
3583.12/3592.87	c #Conflicts:    1459000 | #Constraints:     153540
3583.12/3592.87	c #Conflicts:    1460000 | #Constraints:     154540
3583.12/3592.87	c #Conflicts:    1461000 | #Constraints:     155540
3583.12/3592.87	c #Conflicts:    1462000 | #Constraints:     156540
3583.12/3592.87	c #Conflicts:    1463000 | #Constraints:     157540
3583.12/3592.87	c #Conflicts:    1464000 | #Constraints:     158540
3583.12/3592.87	c #Conflicts:    1465000 | #Constraints:     159540
3583.12/3592.87	c #Conflicts:    1466000 | #Constraints:     160540
3583.12/3592.87	c #Conflicts:    1467000 | #Constraints:     161540
3583.12/3592.87	c INPROCESSING
3583.12/3592.87	c GARBAGE COLLECT
3583.12/3592.87	c rational objective 550
3600.07/3609.80	c
3600.07/3609.80	s SATISFIABLE
3600.07/3609.80	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 ~x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 x802 x803 x804 x805 x806 x807 x808 x809 x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 x822 x823 x824 x825 x826 x827 x828 x829 x830 x831 x832 x833 x834 x835 x836 x837 x838 x839 x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 x882 x883 x884 x885 x886 x887 x888 x889 x890 x891 x892 x893 x894 x895 x896 x897 x898 x899 x900 x901 x902 x903 x904 x905 x906 x907 x908 x909 x910 x911 x912 x913 x914 x915 x916 x917 x918 x919 x920 x921 x922 x923 x924 x925 x926 x927 x928 x929 x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 x945 x946 x947 x948 x949 x950 x951 x952 x953 x954 x955 x956 x957 x958 x959 x960 x961 x962 x963 x964 x965 x966 x967 x968 x969 x970 x971 x972 x973 x974 x975 x976 x977 x978 x979 x980 x981 x982 x983 x984 x985 x986 x987 x988 x989 x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000 x1001 x1002 x1003 x1004 x1005 x1006 x1007 x1008 x1009 x1010 x1011 x1012 x1013 x1014 x1015 x1016 x1017 x1018 x1019 x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 x1041 x1042 x1043 x1044 x1045 x1046 x1047 x1048 x1049 x1050 x1051 x1052 x1053 x1054 x1055 x1056 x1057 x1058 x1059 x1060 x1061 x1062 x1063 x1064 x1065 x1066 x1067 x1068 x1069 x1070 x1071 x1072 x1073 x1074 x1075 x1076 x1077 x1078 x1079 x1080 x1081 x1082 x1083 x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 x1124 x1125 x1126 x1127 x1128 x1129 x1130 x1131 x1132 x1133 x1134 x1135 x1136 x1137 x1138 x1139 x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151 x1152 x1153 x1154 x1155 x1156 x1157 x1158 x1159 x1160 x1161 x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 x1209 x1210 x1211 x1212 x1213 x1214 x1215 x1216 x1217 x1218 x1219 x1220 x1221 x1222 x1223 x1224 x1225 x1226 x1227 x1228 x1229 x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x1250 x1251 x1252 x1253 x1254 x1255 x1256 x1257 x1258 x1259 x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 x1282 x1283 x1284 x1285 x1286 x1287 x1288 x1289 x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 x1307 x1308 x1309 x1310 x1311 x1312 x1313 x1314 x1315 x1316 x1317 x1318 x1319 x1320 x1321 x1322 x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 x1332 x1333 x1334 x1335 x1336 x1337 x1338 x1339 x1340 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 x1366 x1367 x1368 x1369 x1370 x1371 x1372 x1373 x1374 x1375 x1376 x1377 x1378 x1379 x1380 x1381 x1382 x1383 x1384 x1385 x1386 x1387 x1388 x1389 x1390 x1391 x1392 x1393 x1394 x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 x1411 x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 x1428 x1429 x1430 x1431 x1432 x1433 x1434 x1435 x1436 x1437 x1438 x1439 x1440 x1441 x1442 x1443 x1444 x1445 x1446 x1447 x1448 x1449 x1450 x1451 x1452 x1453 x1454 x1455 x1456 x1457 x1458 x1459 x1460 x1461 x1462 x1463 x1464 x1465 x1466 x1467 x1468 x1469 x1470 x1471 x1472 x1473 x1474 x1475 x1476 x1477 x1478 x1479 x1480 x1481 x1482 x1483 x1484 x1485 x1486 x1487 x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 x1498 x1499 x1500 x1501 x1502 x1503 x1504 x1505 x1506 x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 x1522 x1523 x1524 x1525 x1526 x1527 x1528 x1529 x1530 x1531 x1532 x1533 x1534 x1535 x1536 x1537 x1538 x1539 x1540 x1541 x1542 x1543 x1544 x1545 x1546 x1547 x1548 x1549 x1550 x1551 x1552 x1553 x1554 x1555 x1556 x1557 x1558 x1559 x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571 x1572 x1573 x1574 x1575 x1576 x1577 x1578 x1579 x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1608 x1609 x1610 x1611 x1612 x1613 x1614 x1615 x1616 x1617 x1618 x1619 x1620 x1621 x1622 x1623 x1624 x1625 x1626 x1627 x1628 x1629 x1630 x1631 x1632 x1633 x1634 x1635 x1636 x1637 x1638 x1639 x1640 x1641 x1642 x1643 x1644 x1645 x1646 x1647 x1648 x1649 x1650
3600.07/3609.80	c #Conflicts:    1468000 | #Constraints:     138538
3600.07/3609.80	c #Conflicts:    1469000 | #Constraints:     139538
3600.07/3609.80	c #Conflicts:    1470000 | #Constraints:     140538
3600.07/3609.80	c #Conflicts:    1471000 | #Constraints:     141538
3600.07/3609.80	c #Conflicts:    1472000 | #Constraints:     142538

FAILED
ERROR: unsatisfied constraint on line 7
	3=1

Falsified constraint is:
+1*x1[=1] +1*x2[=1] +1*x3[=1] = 1 

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444030-1721317591/watcher-4444030-1721317591 -o /tmp/evaluation-result-4444030-1721317591/solver-4444030-1721317591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721317352-992378 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4444030-1721317591.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100094 s]*
/proc/loadavg: 4.17 3.43 3.55 5/257 993218
/proc/meminfo: memFree=127402804/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=38484 memory=9100 CPUtime=0.09 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 638 0 0 0 7 2 0 0 20 0 1 0 183920953 39407616 2275 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 9621 2275 1311 922 0 1573 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38484 KiB
Current children cumulated memory: 9100 KiB

[startup+0.20575 s]*
/proc/loadavg: 4.17 3.43 3.55 5/257 993218
/proc/meminfo: memFree=127399720/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=39400 memory=11932 CPUtime=0.2 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 906 0 0 0 15 5 0 0 20 0 1 0 183920953 40345600 2983 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 9850 2983 1311 922 0 1802 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39400 KiB
Current children cumulated memory: 11932 KiB

[startup+0.305646 s]*
/proc/loadavg: 4.17 3.43 3.55 5/257 993218
/proc/meminfo: memFree=127397488/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=43044 memory=14180 CPUtime=0.3 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 1467 0 0 0 23 7 0 0 20 0 1 0 183920953 44077056 3545 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 10761 3545 1311 922 0 2713 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43044 KiB
Current children cumulated memory: 14180 KiB

[startup+0.700236 s]
/proc/loadavg: 4.17 3.43 3.55 5/257 993218
/proc/meminfo: memFree=127332240/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=107288 memory=79844 CPUtime=0.68 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 21892 0 0 0 57 11 0 0 20 0 1 0 183920953 109862912 19961 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 26822 19961 1614 922 0 18774 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107288 KiB
Current children cumulated memory: 79844 KiB

[startup+1.50024 s]
/proc/loadavg: 4.17 3.43 3.55 5/257 993218
/proc/meminfo: memFree=127332212/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=107288 memory=79844 CPUtime=1.49 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 21892 0 0 0 137 12 0 0 20 0 1 0 183920953 109862912 19961 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 26822 19961 1614 922 0 18774 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 107288 KiB
Current children cumulated memory: 79844 KiB

[startup+3.10573 s]
/proc/loadavg: 4.17 3.43 3.55 5/257 993218
/proc/meminfo: memFree=127332512/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=107288 memory=79844 CPUtime=3.09 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 21942 0 0 0 296 13 0 0 20 0 1 0 183920953 109862912 19961 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 26822 19961 1614 922 0 18774 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 107288 KiB
Current children cumulated memory: 79844 KiB

[startup+6.30022 s]
/proc/loadavg: 4.23 3.46 3.56 5/257 993218
/proc/meminfo: memFree=127332528/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=107288 memory=79844 CPUtime=6.27 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 21950 0 0 0 614 13 0 0 20 0 1 0 183920953 109862912 19961 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 26822 19961 1614 922 0 18774 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 107288 KiB
Current children cumulated memory: 79844 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 3.47 3.56 5/257 993220
/proc/meminfo: memFree=127323140/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=120964 memory=88292 CPUtime=12.65 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 22885 0 0 0 1250 15 0 0 20 0 1 0 183920953 123867136 22073 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 30241 22073 1756 922 0 22193 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 120964 KiB
Current children cumulated memory: 88292 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 3.49 3.57 5/257 993221
/proc/meminfo: memFree=127313956/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=120964 memory=92388 CPUtime=25.42 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 22935 0 0 0 2524 18 0 0 20 0 1 0 183920953 123867136 23097 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 30241 23097 1756 922 0 22193 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 120964 KiB
Current children cumulated memory: 92388 KiB

[startup+51.1058 s]
/proc/loadavg: 4.17 3.55 3.59 5/257 993227
/proc/meminfo: memFree=127306360/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=120964 memory=92976 CPUtime=50.95 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 23023 0 0 0 5072 23 0 0 20 0 1 0 183920953 123867136 23244 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 30241 23244 1819 922 0 22193 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 120964 KiB
Current children cumulated memory: 92976 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 3.62 3.61 5/255 993235
/proc/meminfo: memFree=127222712/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=141336 memory=105980 CPUtime=101.99 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 24307 0 0 0 10163 36 0 0 20 0 1 0 183920953 144728064 26495 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 35334 26495 1819 922 0 27286 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 141336 KiB
Current children cumulated memory: 105980 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 3.74 3.66 5/255 993245
/proc/meminfo: memFree=127197272/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=141336 memory=110800 CPUtime=161.81 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 24513 0 0 0 16134 47 0 0 20 0 1 0 183920953 144728064 27700 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 35334 27700 1819 922 0 27286 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 141336 KiB
Current children cumulated memory: 110800 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 3.80 3.68 5/258 993260
/proc/meminfo: memFree=127162184/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=155492 memory=118388 CPUtime=221.65 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 28432 0 0 0 22096 69 0 0 20 0 1 0 183920953 159223808 29597 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 38873 29597 1835 922 0 30825 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 155492 KiB
Current children cumulated memory: 118388 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.86 3.71 5/257 993271
/proc/meminfo: memFree=127151164/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=155492 memory=123272 CPUtime=281.48 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 28690 0 0 0 28058 90 0 0 20 0 1 0 183920953 159223808 30818 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 38873 30818 1835 922 0 30825 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 155492 KiB
Current children cumulated memory: 123272 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.92 3.74 5/258 993282
/proc/meminfo: memFree=127142204/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=155492 memory=128220 CPUtime=341.31 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 28745 0 0 0 34019 112 0 0 20 0 1 0 183920953 159223808 32055 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 38873 32055 1851 922 0 30825 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 155492 KiB
Current children cumulated memory: 128220 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.96 3.77 5/258 993292
/proc/meminfo: memFree=127129192/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=160340 memory=129972 CPUtime=401.15 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 28925 0 0 0 39981 134 0 0 20 0 1 0 183920953 164188160 32493 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 40085 32493 1851 922 0 32037 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 160340 KiB
Current children cumulated memory: 129972 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.00 3.80 5/258 993304
/proc/meminfo: memFree=127128716/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=160340 memory=130184 CPUtime=460.99 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 28995 0 0 0 45941 158 0 0 20 0 1 0 183920953 164188160 32546 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 40085 32546 1851 922 0 32037 0

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

Current children cumulated memory: 146392 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.20 4.12 5/257 994911
/proc/meminfo: memFree=126871352/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=2854.6 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 32474 0 0 0 284360 1100 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 2854.6 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.17 4.12 5/254 994921
/proc/meminfo: memFree=126856540/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=2914.44 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 32533 0 0 0 290321 1123 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.16 4.11 5/254 994931
/proc/meminfo: memFree=126856240/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=2974.28 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 32593 0 0 0 296280 1148 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 2974.28 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/254 994941
/proc/meminfo: memFree=126847932/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=3034.12 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 32647 0 0 0 302236 1176 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/254 994952
/proc/meminfo: memFree=126855388/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=3093.96 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 32705 0 0 0 308194 1202 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/254 994963
/proc/meminfo: memFree=126854912/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=3153.8 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 32765 0 0 0 314154 1226 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/256 994977
/proc/meminfo: memFree=126854376/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=3213.63 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 32825 0 0 0 320113 1250 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 994988
/proc/meminfo: memFree=126854024/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=3273.47 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 32886 0 0 0 326073 1274 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 3273.47 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 994998
/proc/meminfo: memFree=126850436/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=3333.31 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 32947 0 0 0 332032 1299 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 995008
/proc/meminfo: memFree=126849988/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=3393.14 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 33007 0 0 0 337990 1324 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 995021
/proc/meminfo: memFree=126849540/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=3452.98 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 33066 0 0 0 343952 1346 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 995031
/proc/meminfo: memFree=126848216/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=3512.81 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 33108 0 0 0 349914 1367 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/255 995133
/proc/meminfo: memFree=126583160/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=3572.65 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 33185 0 0 0 355874 1391 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 995184
/proc/meminfo: memFree=126592776/131524600 swapFree=131071996/131071996
[pid=993217] ppid=993214 vsize=178680 memory=146392 CPUtime=3600.07 cores=4,6
/proc/993217/stat : 993217 (roundingsat) R 993214 993217 992365 0 -1 4194304 33186 0 0 0 358607 1400 0 0 20 0 1 0 183920953 182968320 36598 134679101440 4194304 7968869 140733751949792 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 14868480 140733751956413 140733751956577 140733751956577 140733751963593 0
/proc/993217/statm: 44670 36598 1851 922 0 36622 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 178680 KiB
Current children cumulated memory: 146392 KiB

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

[startup+3609.8 s]
# the end of solver process 993217 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=3586.07 s, system=14.0006 s

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

Child status: 1

Real time (s): 3609.8
CPU time (s): 3600.07
CPU user time (s): 3586.07
CPU system time (s): 14.0006
CPU usage (%): 99.7305
Max. virtual memory (cumulated for all children) (KiB): 178680
Max. memory (cumulated for all children) (KiB): 146392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.07
system time used= 14.0006
maximum resident set size= 146392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 2832


# summary of solver processes directly reported to runsolver:
#   pid: 993217
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3586.07
#   total CPU system time (s): 14.0006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2151 second user time and 13.9081 second system time

The end

Begin job on nodeC017 at 2024-07-18 17:46:44
IDJOB=4444030
IDBENCH=147894
IDSOLVER=3051
FILE ID=nodeC017/4444030-1721317591
RUNJOBID= nodeC017-1721317352-992378
SLURM_JOB_ID= 7542660
Free space on /tmp= 890036 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444030-1721317591/watcher-4444030-1721317591 -o /tmp/evaluation-result-4444030-1721317591/solver-4444030-1721317591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721317352-992378 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4444030-1721317591.opb

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

MD5SUM BENCH= 392bb637b95a9bbde51dfdce2cdaf17a
RANDOM SEED=1079502006

nodeC017.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		: 3668.203
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.46
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		: 3684.704
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.99
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		: 3600.094
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.46
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		: 3600.023
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.99
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		: 3649.567
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.46
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		: 3684.798
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.99
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		: 3671.258
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.46
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		: 3599.996
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.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127407220 kB
MemAvailable:   129331316 kB
Buffers:          521784 kB
Cached:          2227852 kB
SwapCached:            0 kB
Active:          1227188 kB
Inactive:        2256360 kB
Active(anon):       1560 kB
Inactive(anon):   769744 kB
Active(file):    1225628 kB
Inactive(file):  1486616 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             44344 kB
Writeback:             0 kB
AnonPages:        733288 kB
Mapped:           115184 kB
Shmem:             37720 kB
KReclaimable:     103000 kB
Slab:             215452 kB
SReclaimable:     103000 kB
SUnreclaim:       112452 kB
KernelStack:        4176 kB
PageTables:        10732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1233480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67584 kB
HardwareCorrupted:     0 kB
AnonHugePages:    354304 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:      279252 kB
DirectMap2M:    38291456 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 889988 MiB
End job on nodeC017 at 2024-07-18 18:46:53