0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.04	c #variables 6120 #constraints 6302
18.40/18.56	c #Conflicts:       1000 | #Constraints:       7301
18.40/18.56	c #Conflicts:       2000 | #Constraints:       8301
18.40/18.56	c INPROCESSING
18.40/18.56	c GARBAGE COLLECT
18.40/18.56	c #Conflicts:       3000 | #Constraints:       7984
18.40/18.56	c #Conflicts:       4000 | #Constraints:       8984
18.40/18.56	c INPROCESSING
18.40/18.56	c GARBAGE COLLECT
18.40/18.56	c #Conflicts:       5000 | #Constraints:       8435
18.40/18.56	c #Conflicts:       6000 | #Constraints:       9436
18.40/18.56	c INPROCESSING
18.40/18.56	c GARBAGE COLLECT
18.40/18.56	c #Conflicts:       7000 | #Constraints:       8502
18.40/18.56	c #Conflicts:       8000 | #Constraints:       9502
18.40/18.56	c #Conflicts:       9000 | #Constraints:      10503
18.40/18.56	c INPROCESSING
18.40/18.56	c GARBAGE COLLECT
18.40/18.56	c #Conflicts:      10000 | #Constraints:       9263
18.40/18.56	c #Conflicts:      11000 | #Constraints:      10263
18.40/18.56	c #Conflicts:      12000 | #Constraints:      11264
18.40/18.56	c INPROCESSING
18.40/18.56	c GARBAGE COLLECT
18.40/18.56	c #Conflicts:      13000 | #Constraints:       9748
18.40/18.56	c #Conflicts:      14000 | #Constraints:      10748
18.40/18.56	c #Conflicts:      15000 | #Constraints:      11749
18.40/18.56	c INPROCESSING
18.40/18.56	c GARBAGE COLLECT
18.40/18.56	c rational objective 90
32.76/32.99	c #Conflicts:      16000 | #Constraints:      10021
32.76/32.99	c #Conflicts:      17000 | #Constraints:      11021
32.76/32.99	c #Conflicts:      18000 | #Constraints:      12021
32.76/32.99	c INPROCESSING
32.76/32.99	c GARBAGE COLLECT
32.76/32.99	c #Conflicts:      19000 | #Constraints:      10058
32.76/32.99	c #Conflicts:      20000 | #Constraints:      11058
32.76/32.99	c #Conflicts:      21000 | #Constraints:      12058
32.76/32.99	c INPROCESSING
32.76/32.99	c GARBAGE COLLECT
32.76/32.99	c #Conflicts:      22000 | #Constraints:       9901
32.76/32.99	c #Conflicts:      23000 | #Constraints:      10901
32.76/32.99	c #Conflicts:      24000 | #Constraints:      11901
32.76/32.99	c #Conflicts:      25000 | #Constraints:      12901
32.76/32.99	c INPROCESSING
32.76/32.99	c GARBAGE COLLECT
32.76/32.99	c #Conflicts:      26000 | #Constraints:      10528
32.76/32.99	c #Conflicts:      27000 | #Constraints:      11528
32.76/32.99	c #Conflicts:      28000 | #Constraints:      12528
32.76/32.99	c #Conflicts:      29000 | #Constraints:      13528
32.76/32.99	c INPROCESSING
32.76/32.99	c GARBAGE COLLECT
32.76/32.99	c rational objective 90
51.69/51.95	c #Conflicts:      30000 | #Constraints:      10905
51.69/51.95	c #Conflicts:      31000 | #Constraints:      11905
51.69/51.95	c #Conflicts:      32000 | #Constraints:      12905
51.69/51.95	c #Conflicts:      33000 | #Constraints:      13905
51.69/51.95	c INPROCESSING
51.69/51.95	c GARBAGE COLLECT
51.69/51.95	c #Conflicts:      34000 | #Constraints:      11132
51.69/51.95	c #Conflicts:      35000 | #Constraints:      12132
51.69/51.95	c #Conflicts:      36000 | #Constraints:      13132
51.69/51.95	c #Conflicts:      37000 | #Constraints:      14133
51.69/51.95	c INPROCESSING
51.69/51.95	c GARBAGE COLLECT
51.69/51.95	c #Conflicts:      38000 | #Constraints:      11173
51.69/51.95	c #Conflicts:      39000 | #Constraints:      12173
51.69/51.95	c #Conflicts:      40000 | #Constraints:      13173
51.69/51.95	c #Conflicts:      41000 | #Constraints:      14173
51.69/51.95	c INPROCESSING
51.69/51.95	c GARBAGE COLLECT
51.69/51.95	c rational objective 90
62.85/63.15	c #Conflicts:      42000 | #Constraints:      10988
62.85/63.15	c #Conflicts:      43000 | #Constraints:      11988
62.85/63.15	c #Conflicts:      44000 | #Constraints:      12988
62.85/63.15	c #Conflicts:      45000 | #Constraints:      13988
62.85/63.15	c #Conflicts:      46000 | #Constraints:      14988
62.85/63.15	c INPROCESSING
62.85/63.15	c GARBAGE COLLECT
62.85/63.15	c #Conflicts:      47000 | #Constraints:      11582
62.85/63.15	c #Conflicts:      48000 | #Constraints:      12582
62.85/63.15	c #Conflicts:      49000 | #Constraints:      13582
62.85/63.15	c #Conflicts:      50000 | #Constraints:      14582
62.85/63.15	c #Conflicts:      51000 | #Constraints:      15582
62.85/63.15	c INPROCESSING
62.85/63.15	c GARBAGE COLLECT
62.85/63.15	c #Conflicts:      52000 | #Constraints:      11986
62.85/63.15	c #Conflicts:      53000 | #Constraints:      12986
62.85/63.15	c #Conflicts:      54000 | #Constraints:      13986
62.85/63.15	c #Conflicts:      55000 | #Constraints:      14986
62.85/63.15	c #Conflicts:      56000 | #Constraints:      15986
62.85/63.15	c INPROCESSING
62.85/63.15	c GARBAGE COLLECT
62.85/63.15	c rational objective 90
93.53/93.97	c #Conflicts:      57000 | #Constraints:      12218
93.53/93.97	c #Conflicts:      58000 | #Constraints:      13219
93.53/93.97	c #Conflicts:      59000 | #Constraints:      14219
93.53/93.97	c #Conflicts:      60000 | #Constraints:      15219
93.53/93.97	c #Conflicts:      61000 | #Constraints:      16219
93.53/93.97	c INPROCESSING
93.53/93.97	c GARBAGE COLLECT
93.53/93.97	c #Conflicts:      62000 | #Constraints:      12223
93.53/93.97	c #Conflicts:      63000 | #Constraints:      13223
93.53/93.97	c #Conflicts:      64000 | #Constraints:      14223
93.53/93.97	c #Conflicts:      65000 | #Constraints:      15223
93.53/93.97	c #Conflicts:      66000 | #Constraints:      16223
93.53/93.97	c INPROCESSING
93.53/93.97	c GARBAGE COLLECT
93.53/93.97	c #Conflicts:      67000 | #Constraints:      11996
93.53/93.97	c #Conflicts:      68000 | #Constraints:      12996
93.53/93.97	c #Conflicts:      69000 | #Constraints:      13996
93.53/93.97	c #Conflicts:      70000 | #Constraints:      14997
93.53/93.97	c #Conflicts:      71000 | #Constraints:      15997
93.53/93.97	c #Conflicts:      72000 | #Constraints:      16997
93.53/93.97	c INPROCESSING
93.53/93.97	c GARBAGE COLLECT
93.53/93.97	c rational objective 90
124.64/125.19	c #Conflicts:      73000 | #Constraints:      12663
124.64/125.19	c #Conflicts:      74000 | #Constraints:      13663
124.64/125.19	c #Conflicts:      75000 | #Constraints:      14663
124.64/125.19	c #Conflicts:      76000 | #Constraints:      15663
124.64/125.19	c #Conflicts:      77000 | #Constraints:      16663
124.64/125.19	c #Conflicts:      78000 | #Constraints:      17663
124.64/125.19	c INPROCESSING
124.64/125.19	c GARBAGE COLLECT
124.64/125.19	c #Conflicts:      79000 | #Constraints:      13098
124.64/125.19	c #Conflicts:      80000 | #Constraints:      14098
124.64/125.19	c #Conflicts:      81000 | #Constraints:      15098
124.64/125.19	c #Conflicts:      82000 | #Constraints:      16098
124.64/125.19	c #Conflicts:      83000 | #Constraints:      17098
124.64/125.19	c #Conflicts:      84000 | #Constraints:      18099
124.64/125.19	c #Conflicts:      85000 | #Constraints:      19099
124.64/125.19	c #Conflicts:      86000 | #Constraints:      20099
124.64/125.19	c #Conflicts:      87000 | #Constraints:      21099
124.64/125.19	c #Conflicts:      88000 | #Constraints:      22099
124.64/125.19	c #Conflicts:      89000 | #Constraints:      23099
124.64/125.19	c #Conflicts:      90000 | #Constraints:      24099
124.64/125.19	c #Conflicts:      91000 | #Constraints:      25099
124.64/125.19	c #Conflicts:      92000 | #Constraints:      26100
124.64/125.19	c #Conflicts:      93000 | #Constraints:      27100
124.64/125.19	c #Conflicts:      94000 | #Constraints:      28100
124.64/125.19	c #Conflicts:      95000 | #Constraints:      29100
124.64/125.19	c #Conflicts:      96000 | #Constraints:      30100
124.64/125.19	c #Conflicts:      97000 | #Constraints:      31100
124.64/125.19	c #Conflicts:      98000 | #Constraints:      32100
124.64/125.19	c #Conflicts:      99000 | #Constraints:      33100
124.64/125.19	c #Conflicts:     100000 | #Constraints:      34100
124.64/125.19	c #Conflicts:     101000 | #Constraints:      35100
124.64/125.19	c #Conflicts:     102000 | #Constraints:      36100
124.64/125.19	c INPROCESSING
124.64/125.19	c GARBAGE COLLECT
124.64/125.19	c rational objective 90
133.70/134.24	c #Conflicts:     103000 | #Constraints:      21892
133.70/134.24	c #Conflicts:     104000 | #Constraints:      22892
133.70/134.24	c #Conflicts:     105000 | #Constraints:      23893
133.70/134.24	c #Conflicts:     106000 | #Constraints:      24894
133.70/134.24	c #Conflicts:     107000 | #Constraints:      25894
133.70/134.24	c #Conflicts:     108000 | #Constraints:      26894
133.70/134.24	c #Conflicts:     109000 | #Constraints:      27894
133.70/134.24	c #Conflicts:     110000 | #Constraints:      28894
133.70/134.24	c INPROCESSING
133.70/134.24	c GARBAGE COLLECT
133.70/134.24	c rational objective 90
141.18/141.78	c #Conflicts:     111000 | #Constraints:      18770
141.18/141.78	c #Conflicts:     112000 | #Constraints:      19770
141.18/141.78	c #Conflicts:     113000 | #Constraints:      20770
141.18/141.78	c #Conflicts:     114000 | #Constraints:      21770
141.18/141.78	c #Conflicts:     115000 | #Constraints:      22770
141.18/141.78	c #Conflicts:     116000 | #Constraints:      23770
141.18/141.78	c #Conflicts:     117000 | #Constraints:      24770
141.18/141.78	c INPROCESSING
141.18/141.78	c GARBAGE COLLECT
141.18/141.78	c rational objective 90
154.44/155.08	c #Conflicts:     118000 | #Constraints:      16562
154.44/155.08	c #Conflicts:     119000 | #Constraints:      17562
154.44/155.08	c #Conflicts:     120000 | #Constraints:      18563
154.44/155.08	c #Conflicts:     121000 | #Constraints:      19563
154.44/155.08	c #Conflicts:     122000 | #Constraints:      20563
154.44/155.08	c #Conflicts:     123000 | #Constraints:      21563
154.44/155.08	c #Conflicts:     124000 | #Constraints:      22563
154.44/155.08	c INPROCESSING
154.44/155.08	c GARBAGE COLLECT
154.44/155.08	c rational objective 90
163.71/164.32	c #Conflicts:     125000 | #Constraints:      15220
163.71/164.32	c #Conflicts:     126000 | #Constraints:      16220
163.71/164.32	c #Conflicts:     127000 | #Constraints:      17220
163.71/164.32	c #Conflicts:     128000 | #Constraints:      18220
163.71/164.32	c #Conflicts:     129000 | #Constraints:      19220
163.71/164.32	c #Conflicts:     130000 | #Constraints:      20220
163.71/164.32	c #Conflicts:     131000 | #Constraints:      21220
163.71/164.32	c #Conflicts:     132000 | #Constraints:      22220
163.71/164.32	c INPROCESSING
163.71/164.32	c GARBAGE COLLECT
163.71/164.32	c rational objective 90
168.30/168.98	c #Conflicts:     133000 | #Constraints:      15184
168.30/168.98	c #Conflicts:     134000 | #Constraints:      16184
168.30/168.98	c #Conflicts:     135000 | #Constraints:      17184
168.30/168.98	c #Conflicts:     136000 | #Constraints:      18184
168.30/168.98	c #Conflicts:     137000 | #Constraints:      19184
168.30/168.98	c #Conflicts:     138000 | #Constraints:      20184
168.30/168.98	c #Conflicts:     139000 | #Constraints:      21184
168.30/168.98	c #Conflicts:     140000 | #Constraints:      22184
168.30/168.98	c INPROCESSING
168.30/168.98	c GARBAGE COLLECT
168.30/168.98	c rational objective 90
205.77/206.59	c #Conflicts:     141000 | #Constraints:      15219
205.77/206.59	c #Conflicts:     142000 | #Constraints:      16219
205.77/206.59	c #Conflicts:     143000 | #Constraints:      17219
205.77/206.59	c #Conflicts:     144000 | #Constraints:      18220
205.77/206.59	c #Conflicts:     145000 | #Constraints:      19222
205.77/206.59	c #Conflicts:     146000 | #Constraints:      20222
205.77/206.59	c #Conflicts:     147000 | #Constraints:      21222
205.77/206.59	c #Conflicts:     148000 | #Constraints:      22222
205.77/206.59	c #Conflicts:     149000 | #Constraints:      23222
205.77/206.59	c #Conflicts:     150000 | #Constraints:      24222
205.77/206.59	c #Conflicts:     151000 | #Constraints:      25222
205.77/206.59	c #Conflicts:     152000 | #Constraints:      26222
205.77/206.59	c #Conflicts:     153000 | #Constraints:      27222
205.77/206.59	c #Conflicts:     154000 | #Constraints:      28222
205.77/206.59	c #Conflicts:     155000 | #Constraints:      29222
205.77/206.59	c #Conflicts:     156000 | #Constraints:      30222
205.77/206.59	c #Conflicts:     157000 | #Constraints:      31222
205.77/206.59	c #Conflicts:     158000 | #Constraints:      32222
205.77/206.59	c #Conflicts:     159000 | #Constraints:      33223
205.77/206.59	c #Conflicts:     160000 | #Constraints:      34223
205.77/206.59	c #Conflicts:     161000 | #Constraints:      35223
205.77/206.59	c #Conflicts:     162000 | #Constraints:      36223
205.77/206.59	c #Conflicts:     163000 | #Constraints:      37223
205.77/206.59	c #Conflicts:     164000 | #Constraints:      38223
205.77/206.59	c #Conflicts:     165000 | #Constraints:      39223
205.77/206.59	c #Conflicts:     166000 | #Constraints:      40223
205.77/206.59	c #Conflicts:     167000 | #Constraints:      41223
205.77/206.59	c #Conflicts:     168000 | #Constraints:      42223
205.77/206.59	c #Conflicts:     169000 | #Constraints:      43223
205.77/206.59	c #Conflicts:     170000 | #Constraints:      44223
205.77/206.59	c #Conflicts:     171000 | #Constraints:      45223
205.77/206.59	c #Conflicts:     172000 | #Constraints:      46223
205.77/206.59	c INPROCESSING
205.77/206.59	c GARBAGE COLLECT
205.77/206.59	c rational objective 90
218.53/219.39	c #Conflicts:     173000 | #Constraints:      27047
218.53/219.39	c #Conflicts:     174000 | #Constraints:      28047
218.53/219.39	c #Conflicts:     175000 | #Constraints:      29047
218.53/219.39	c #Conflicts:     176000 | #Constraints:      30047
218.53/219.39	c #Conflicts:     177000 | #Constraints:      31047
218.53/219.39	c #Conflicts:     178000 | #Constraints:      32047
218.53/219.39	c #Conflicts:     179000 | #Constraints:      33048
218.53/219.39	c #Conflicts:     180000 | #Constraints:      34049
218.53/219.39	c #Conflicts:     181000 | #Constraints:      35049
218.53/219.39	c #Conflicts:     182000 | #Constraints:      36049
218.53/219.39	c INPROCESSING
218.53/219.39	c GARBAGE COLLECT
218.53/219.39	c rational objective 90
233.58/234.48	c #Conflicts:     183000 | #Constraints:      22409
233.58/234.48	c #Conflicts:     184000 | #Constraints:      23409
233.58/234.48	c #Conflicts:     185000 | #Constraints:      24410
233.58/234.48	c #Conflicts:     186000 | #Constraints:      25410
233.58/234.48	c #Conflicts:     187000 | #Constraints:      26410
233.58/234.48	c #Conflicts:     188000 | #Constraints:      27410
233.58/234.48	c #Conflicts:     189000 | #Constraints:      28410
233.58/234.48	c #Conflicts:     190000 | #Constraints:      29411
233.58/234.48	c #Conflicts:     191000 | #Constraints:      30411
233.58/234.48	c INPROCESSING
233.58/234.48	c GARBAGE COLLECT
233.58/234.48	c rational objective 90
244.64/245.55	c #Conflicts:     192000 | #Constraints:      19363
244.64/245.55	c #Conflicts:     193000 | #Constraints:      20363
244.64/245.55	c #Conflicts:     194000 | #Constraints:      21363
244.64/245.55	c #Conflicts:     195000 | #Constraints:      22363
244.64/245.55	c #Conflicts:     196000 | #Constraints:      23363
244.64/245.55	c #Conflicts:     197000 | #Constraints:      24363
244.64/245.55	c #Conflicts:     198000 | #Constraints:      25363
244.64/245.55	c #Conflicts:     199000 | #Constraints:      26363
244.64/245.55	c #Conflicts:     200000 | #Constraints:      27363
244.64/245.55	c #Conflicts:     201000 | #Constraints:      28363
244.64/245.55	c INPROCESSING
244.64/245.55	c GARBAGE COLLECT
244.64/245.55	c rational objective 90
262.20/263.17	c #Conflicts:     202000 | #Constraints:      18572
262.20/263.17	c #Conflicts:     203000 | #Constraints:      19572
262.20/263.17	c #Conflicts:     204000 | #Constraints:      20573
262.20/263.17	c #Conflicts:     205000 | #Constraints:      21573
262.20/263.17	c #Conflicts:     206000 | #Constraints:      22573
262.20/263.17	c #Conflicts:     207000 | #Constraints:      23573
262.20/263.17	c #Conflicts:     208000 | #Constraints:      24573
262.20/263.17	c #Conflicts:     209000 | #Constraints:      25573
262.20/263.17	c #Conflicts:     210000 | #Constraints:      26573
262.20/263.17	c INPROCESSING
262.20/263.17	c GARBAGE COLLECT
262.20/263.17	c rational objective 90
310.94/312.05	c #Conflicts:     211000 | #Constraints:      17302
310.94/312.05	c #Conflicts:     212000 | #Constraints:      18302
310.94/312.05	c #Conflicts:     213000 | #Constraints:      19302
310.94/312.05	c #Conflicts:     214000 | #Constraints:      20302
310.94/312.05	c #Conflicts:     215000 | #Constraints:      21303
310.94/312.05	c #Conflicts:     216000 | #Constraints:      22303
310.94/312.05	c #Conflicts:     217000 | #Constraints:      23304
310.94/312.05	c #Conflicts:     218000 | #Constraints:      24304
310.94/312.05	c #Conflicts:     219000 | #Constraints:      25304
310.94/312.05	c #Conflicts:     220000 | #Constraints:      26304
310.94/312.05	c #Conflicts:     221000 | #Constraints:      27305
310.94/312.05	c #Conflicts:     222000 | #Constraints:      28305
310.94/312.05	c #Conflicts:     223000 | #Constraints:      29305
310.94/312.05	c #Conflicts:     224000 | #Constraints:      30305
310.94/312.05	c #Conflicts:     225000 | #Constraints:      31305
310.94/312.05	c #Conflicts:     226000 | #Constraints:      32305
310.94/312.05	c #Conflicts:     227000 | #Constraints:      33305
310.94/312.05	c #Conflicts:     228000 | #Constraints:      34305
310.94/312.05	c #Conflicts:     229000 | #Constraints:      35305
310.94/312.05	c #Conflicts:     230000 | #Constraints:      36305
310.94/312.05	c #Conflicts:     231000 | #Constraints:      37305
310.94/312.05	c #Conflicts:     232000 | #Constraints:      38305
310.94/312.05	c #Conflicts:     233000 | #Constraints:      39305
310.94/312.05	c #Conflicts:     234000 | #Constraints:      40305
310.94/312.05	c #Conflicts:     235000 | #Constraints:      41305
310.94/312.05	c #Conflicts:     236000 | #Constraints:      42305
310.94/312.05	c #Conflicts:     237000 | #Constraints:      43305
310.94/312.05	c #Conflicts:     238000 | #Constraints:      44305
310.94/312.05	c #Conflicts:     239000 | #Constraints:      45305
310.94/312.05	c #Conflicts:     240000 | #Constraints:      46305
310.94/312.05	c #Conflicts:     241000 | #Constraints:      47305
310.94/312.05	c #Conflicts:     242000 | #Constraints:      48305
310.94/312.05	c #Conflicts:     243000 | #Constraints:      49306
310.94/312.05	c #Conflicts:     244000 | #Constraints:      50307
310.94/312.05	c #Conflicts:     245000 | #Constraints:      51307
310.94/312.05	c #Conflicts:     246000 | #Constraints:      52307
310.94/312.05	c #Conflicts:     247000 | #Constraints:      53307
310.94/312.05	c #Conflicts:     248000 | #Constraints:      54307
310.94/312.05	c #Conflicts:     249000 | #Constraints:      55307
310.94/312.05	c INPROCESSING
310.94/312.05	c GARBAGE COLLECT
310.94/312.05	c rational objective 90
331.76/332.90	c #Conflicts:     250000 | #Constraints:      31754
331.76/332.90	c #Conflicts:     251000 | #Constraints:      32754
331.76/332.90	c #Conflicts:     252000 | #Constraints:      33754
331.76/332.90	c #Conflicts:     253000 | #Constraints:      34754
331.76/332.90	c #Conflicts:     254000 | #Constraints:      35754
331.76/332.90	c #Conflicts:     255000 | #Constraints:      36754
331.76/332.90	c #Conflicts:     256000 | #Constraints:      37754
331.76/332.90	c #Conflicts:     257000 | #Constraints:      38754
331.76/332.90	c #Conflicts:     258000 | #Constraints:      39754
331.76/332.90	c #Conflicts:     259000 | #Constraints:      40754
331.76/332.90	c #Conflicts:     260000 | #Constraints:      41754
331.76/332.90	c INPROCESSING
331.76/332.90	c GARBAGE COLLECT
331.76/332.90	c rational objective 90
349.01/350.27	c #Conflicts:     261000 | #Constraints:      24939
349.01/350.27	c #Conflicts:     262000 | #Constraints:      25939
349.01/350.27	c #Conflicts:     263000 | #Constraints:      26939
349.01/350.27	c #Conflicts:     264000 | #Constraints:      27939
349.01/350.27	c #Conflicts:     265000 | #Constraints:      28941
349.01/350.27	c #Conflicts:     266000 | #Constraints:      29941
349.01/350.27	c #Conflicts:     267000 | #Constraints:      30941
349.01/350.27	c #Conflicts:     268000 | #Constraints:      31942
349.01/350.27	c #Conflicts:     269000 | #Constraints:      32942
349.01/350.27	c #Conflicts:     270000 | #Constraints:      33942
349.01/350.27	c #Conflicts:     271000 | #Constraints:      34942
349.01/350.27	c #Conflicts:     272000 | #Constraints:      35942
349.01/350.27	c INPROCESSING
349.01/350.27	c GARBAGE COLLECT
349.01/350.27	c rational objective 90
368.14/369.47	c #Conflicts:     273000 | #Constraints:      22426
368.14/369.47	c #Conflicts:     274000 | #Constraints:      23427
368.14/369.47	c #Conflicts:     275000 | #Constraints:      24427
368.14/369.47	c #Conflicts:     276000 | #Constraints:      25427
368.14/369.47	c #Conflicts:     277000 | #Constraints:      26427
368.14/369.47	c #Conflicts:     278000 | #Constraints:      27427
368.14/369.47	c #Conflicts:     279000 | #Constraints:      28427
368.14/369.47	c #Conflicts:     280000 | #Constraints:      29428
368.14/369.47	c #Conflicts:     281000 | #Constraints:      30428
368.14/369.47	c #Conflicts:     282000 | #Constraints:      31428
368.14/369.47	c #Conflicts:     283000 | #Constraints:      32428
368.14/369.47	c INPROCESSING
368.14/369.47	c GARBAGE COLLECT
368.14/369.47	c rational objective 90
386.69/388.01	c #Conflicts:     284000 | #Constraints:      20421
386.69/388.01	c #Conflicts:     285000 | #Constraints:      21421
386.69/388.01	c #Conflicts:     286000 | #Constraints:      22421
386.69/388.01	c #Conflicts:     287000 | #Constraints:      23421
386.69/388.01	c #Conflicts:     288000 | #Constraints:      24421
386.69/388.01	c #Conflicts:     289000 | #Constraints:      25421
386.69/388.01	c #Conflicts:     290000 | #Constraints:      26421
386.69/388.01	c #Conflicts:     291000 | #Constraints:      27421
386.69/388.01	c #Conflicts:     292000 | #Constraints:      28422
386.69/388.01	c #Conflicts:     293000 | #Constraints:      29422
386.69/388.01	c #Conflicts:     294000 | #Constraints:      30422
386.69/388.01	c #Conflicts:     295000 | #Constraints:      31422
386.69/388.01	c INPROCESSING
386.69/388.01	c GARBAGE COLLECT
386.69/388.01	c rational objective 90
487.26/488.96	c #Conflicts:     296000 | #Constraints:      20042
487.26/488.96	c #Conflicts:     297000 | #Constraints:      21043
487.26/488.96	c #Conflicts:     298000 | #Constraints:      22043
487.26/488.96	c #Conflicts:     299000 | #Constraints:      23043
487.26/488.96	c #Conflicts:     300000 | #Constraints:      24043
487.26/488.96	c #Conflicts:     301000 | #Constraints:      25043
487.26/488.96	c #Conflicts:     302000 | #Constraints:      26043
487.26/488.96	c #Conflicts:     303000 | #Constraints:      27043
487.26/488.96	c #Conflicts:     304000 | #Constraints:      28043
487.26/488.96	c #Conflicts:     305000 | #Constraints:      29043
487.26/488.96	c #Conflicts:     306000 | #Constraints:      30043
487.26/488.96	c #Conflicts:     307000 | #Constraints:      31043
487.26/488.96	c #Conflicts:     308000 | #Constraints:      32043
487.26/488.96	c #Conflicts:     309000 | #Constraints:      33043
487.26/488.96	c #Conflicts:     310000 | #Constraints:      34043
487.26/488.96	c #Conflicts:     311000 | #Constraints:      35043
487.26/488.96	c #Conflicts:     312000 | #Constraints:      36043
487.26/488.96	c #Conflicts:     313000 | #Constraints:      37043
487.26/488.96	c #Conflicts:     314000 | #Constraints:      38043
487.26/488.96	c #Conflicts:     315000 | #Constraints:      39043
487.26/488.96	c #Conflicts:     316000 | #Constraints:      40043
487.26/488.96	c #Conflicts:     317000 | #Constraints:      41043
487.26/488.96	c #Conflicts:     318000 | #Constraints:      42043
487.26/488.96	c #Conflicts:     319000 | #Constraints:      43043
487.26/488.96	c #Conflicts:     320000 | #Constraints:      44043
487.26/488.96	c #Conflicts:     321000 | #Constraints:      45043
487.26/488.96	c #Conflicts:     322000 | #Constraints:      46043
487.26/488.96	c #Conflicts:     323000 | #Constraints:      47043
487.26/488.96	c #Conflicts:     324000 | #Constraints:      48043
487.26/488.96	c #Conflicts:     325000 | #Constraints:      49043
487.26/488.96	c #Conflicts:     326000 | #Constraints:      50043
487.26/488.96	c #Conflicts:     327000 | #Constraints:      51043
487.26/488.96	c #Conflicts:     328000 | #Constraints:      52043
487.26/488.96	c #Conflicts:     329000 | #Constraints:      53043
487.26/488.96	c #Conflicts:     330000 | #Constraints:      54043
487.26/488.96	c #Conflicts:     331000 | #Constraints:      55043
487.26/488.96	c #Conflicts:     332000 | #Constraints:      56043
487.26/488.96	c #Conflicts:     333000 | #Constraints:      57043
487.26/488.96	c #Conflicts:     334000 | #Constraints:      58043
487.26/488.96	c #Conflicts:     335000 | #Constraints:      59043
487.26/488.96	c #Conflicts:     336000 | #Constraints:      60043
487.26/488.96	c #Conflicts:     337000 | #Constraints:      61043
487.26/488.96	c #Conflicts:     338000 | #Constraints:      62043
487.26/488.96	c #Conflicts:     339000 | #Constraints:      63043
487.26/488.96	c #Conflicts:     340000 | #Constraints:      64043
487.26/488.96	c INPROCESSING
487.26/488.96	c GARBAGE COLLECT
487.26/488.96	c rational objective 90
505.59/507.33	c #Conflicts:     341000 | #Constraints:      36256
505.59/507.33	c #Conflicts:     342000 | #Constraints:      37256
505.59/507.33	c #Conflicts:     343000 | #Constraints:      38256
505.59/507.33	c #Conflicts:     344000 | #Constraints:      39256
505.59/507.33	c #Conflicts:     345000 | #Constraints:      40256
505.59/507.33	c #Conflicts:     346000 | #Constraints:      41256
505.59/507.33	c #Conflicts:     347000 | #Constraints:      42256
505.59/507.33	c #Conflicts:     348000 | #Constraints:      43256
505.59/507.33	c #Conflicts:     349000 | #Constraints:      44256
505.59/507.33	c #Conflicts:     350000 | #Constraints:      45256
505.59/507.33	c #Conflicts:     351000 | #Constraints:      46256
505.59/507.33	c #Conflicts:     352000 | #Constraints:      47256
505.59/507.33	c #Conflicts:     353000 | #Constraints:      48256
505.59/507.33	c INPROCESSING
505.59/507.33	c GARBAGE COLLECT
505.59/507.33	c rational objective 90
518.75/520.58	c #Conflicts:     354000 | #Constraints:      28342
518.75/520.58	c #Conflicts:     355000 | #Constraints:      29342
518.75/520.58	c #Conflicts:     356000 | #Constraints:      30342
518.75/520.58	c #Conflicts:     357000 | #Constraints:      31342
518.75/520.58	c #Conflicts:     358000 | #Constraints:      32342
518.75/520.58	c #Conflicts:     359000 | #Constraints:      33342
518.75/520.58	c #Conflicts:     360000 | #Constraints:      34342
518.75/520.58	c #Conflicts:     361000 | #Constraints:      35342
518.75/520.58	c #Conflicts:     362000 | #Constraints:      36342
518.75/520.58	c #Conflicts:     363000 | #Constraints:      37342
518.75/520.58	c #Conflicts:     364000 | #Constraints:      38342
518.75/520.58	c #Conflicts:     365000 | #Constraints:      39342
518.75/520.58	c #Conflicts:     366000 | #Constraints:      40342
518.75/520.58	c INPROCESSING
518.75/520.58	c GARBAGE COLLECT
518.75/520.58	c rational objective 90
532.70/534.52	c #Conflicts:     367000 | #Constraints:      24322
532.70/534.52	c #Conflicts:     368000 | #Constraints:      25322
532.70/534.52	c #Conflicts:     369000 | #Constraints:      26322
532.70/534.52	c #Conflicts:     370000 | #Constraints:      27322
532.70/534.52	c #Conflicts:     371000 | #Constraints:      28322
532.70/534.52	c #Conflicts:     372000 | #Constraints:      29322
532.70/534.52	c #Conflicts:     373000 | #Constraints:      30322
532.70/534.52	c #Conflicts:     374000 | #Constraints:      31322
532.70/534.52	c #Conflicts:     375000 | #Constraints:      32322
532.70/534.52	c #Conflicts:     376000 | #Constraints:      33322
532.70/534.52	c #Conflicts:     377000 | #Constraints:      34322
532.70/534.52	c #Conflicts:     378000 | #Constraints:      35322
532.70/534.52	c #Conflicts:     379000 | #Constraints:      36322
532.70/534.52	c #Conflicts:     380000 | #Constraints:      37322
532.70/534.52	c INPROCESSING
532.70/534.52	c GARBAGE COLLECT
532.70/534.52	c rational objective 90
545.76/547.66	c #Conflicts:     381000 | #Constraints:      23155
545.76/547.66	c #Conflicts:     382000 | #Constraints:      24155
545.76/547.66	c #Conflicts:     383000 | #Constraints:      25155
545.76/547.66	c #Conflicts:     384000 | #Constraints:      26155
545.76/547.66	c #Conflicts:     385000 | #Constraints:      27155
545.76/547.66	c #Conflicts:     386000 | #Constraints:      28155
545.76/547.66	c #Conflicts:     387000 | #Constraints:      29155
545.76/547.66	c #Conflicts:     388000 | #Constraints:      30155
545.76/547.66	c #Conflicts:     389000 | #Constraints:      31155
545.76/547.66	c #Conflicts:     390000 | #Constraints:      32155
545.76/547.66	c #Conflicts:     391000 | #Constraints:      33155
545.76/547.66	c #Conflicts:     392000 | #Constraints:      34155
545.76/547.66	c #Conflicts:     393000 | #Constraints:      35155
545.76/547.66	c INPROCESSING
545.76/547.66	c GARBAGE COLLECT
545.76/547.66	c rational objective 90
630.74/632.98	c #Conflicts:     394000 | #Constraints:      21769
630.74/632.98	c #Conflicts:     395000 | #Constraints:      22769
630.74/632.98	c #Conflicts:     396000 | #Constraints:      23769
630.74/632.98	c #Conflicts:     397000 | #Constraints:      24769
630.74/632.98	c #Conflicts:     398000 | #Constraints:      25769
630.74/632.98	c #Conflicts:     399000 | #Constraints:      26769
630.74/632.98	c #Conflicts:     400000 | #Constraints:      27769
630.74/632.98	c #Conflicts:     401000 | #Constraints:      28769
630.74/632.98	c #Conflicts:     402000 | #Constraints:      29769
630.74/632.98	c #Conflicts:     403000 | #Constraints:      30769
630.74/632.98	c #Conflicts:     404000 | #Constraints:      31770
630.74/632.98	c #Conflicts:     405000 | #Constraints:      32770
630.74/632.98	c #Conflicts:     406000 | #Constraints:      33770
630.74/632.98	c #Conflicts:     407000 | #Constraints:      34770
630.74/632.98	c #Conflicts:     408000 | #Constraints:      35770
630.74/632.98	c #Conflicts:     409000 | #Constraints:      36770
630.74/632.98	c #Conflicts:     410000 | #Constraints:      37770
630.74/632.98	c #Conflicts:     411000 | #Constraints:      38770
630.74/632.98	c #Conflicts:     412000 | #Constraints:      39770
630.74/632.98	c #Conflicts:     413000 | #Constraints:      40770
630.74/632.98	c #Conflicts:     414000 | #Constraints:      41770
630.74/632.98	c #Conflicts:     415000 | #Constraints:      42770
630.74/632.98	c #Conflicts:     416000 | #Constraints:      43770
630.74/632.98	c #Conflicts:     417000 | #Constraints:      44770
630.74/632.98	c #Conflicts:     418000 | #Constraints:      45770
630.74/632.98	c #Conflicts:     419000 | #Constraints:      46770
630.74/632.98	c #Conflicts:     420000 | #Constraints:      47770
630.74/632.98	c #Conflicts:     421000 | #Constraints:      48770
630.74/632.98	c #Conflicts:     422000 | #Constraints:      49770
630.74/632.98	c #Conflicts:     423000 | #Constraints:      50770
630.74/632.98	c #Conflicts:     424000 | #Constraints:      51770
630.74/632.98	c #Conflicts:     425000 | #Constraints:      52770
630.74/632.98	c #Conflicts:     426000 | #Constraints:      53770
630.74/632.98	c #Conflicts:     427000 | #Constraints:      54770
630.74/632.98	c #Conflicts:     428000 | #Constraints:      55770
630.74/632.98	c #Conflicts:     429000 | #Constraints:      56770
630.74/632.98	c #Conflicts:     430000 | #Constraints:      57770
630.74/632.98	c #Conflicts:     431000 | #Constraints:      58770
630.74/632.98	c #Conflicts:     432000 | #Constraints:      59770
630.74/632.98	c #Conflicts:     433000 | #Constraints:      60770
630.74/632.98	c #Conflicts:     434000 | #Constraints:      61770
630.74/632.98	c #Conflicts:     435000 | #Constraints:      62770
630.74/632.98	c #Conflicts:     436000 | #Constraints:      63770
630.74/632.98	c #Conflicts:     437000 | #Constraints:      64770
630.74/632.98	c #Conflicts:     438000 | #Constraints:      65770
630.74/632.98	c #Conflicts:     439000 | #Constraints:      66770
630.74/632.98	c #Conflicts:     440000 | #Constraints:      67770
630.74/632.98	c #Conflicts:     441000 | #Constraints:      68770
630.74/632.98	c #Conflicts:     442000 | #Constraints:      69770
630.74/632.98	c #Conflicts:     443000 | #Constraints:      70771
630.74/632.98	c #Conflicts:     444000 | #Constraints:      71771
630.74/632.98	c #Conflicts:     445000 | #Constraints:      72771
630.74/632.98	c INPROCESSING
630.74/632.98	c GARBAGE COLLECT
630.74/632.98	c rational objective 90
661.93/664.24	c #Conflicts:     446000 | #Constraints:      40788
661.93/664.24	c #Conflicts:     447000 | #Constraints:      41788
661.93/664.24	c #Conflicts:     448000 | #Constraints:      42788
661.93/664.24	c #Conflicts:     449000 | #Constraints:      43788
661.93/664.24	c #Conflicts:     450000 | #Constraints:      44788
661.93/664.24	c #Conflicts:     451000 | #Constraints:      45788
661.93/664.24	c #Conflicts:     452000 | #Constraints:      46788
661.93/664.24	c #Conflicts:     453000 | #Constraints:      47788
661.93/664.24	c #Conflicts:     454000 | #Constraints:      48788
661.93/664.24	c #Conflicts:     455000 | #Constraints:      49788
661.93/664.24	c #Conflicts:     456000 | #Constraints:      50788
661.93/664.24	c #Conflicts:     457000 | #Constraints:      51789
661.93/664.24	c #Conflicts:     458000 | #Constraints:      52789
661.93/664.24	c #Conflicts:     459000 | #Constraints:      53789
661.93/664.24	c #Conflicts:     460000 | #Constraints:      54789
661.93/664.24	c INPROCESSING
661.93/664.24	c GARBAGE COLLECT
661.93/664.24	c rational objective 90
684.03/686.40	c #Conflicts:     461000 | #Constraints:      31825
684.03/686.40	c #Conflicts:     462000 | #Constraints:      32825
684.03/686.40	c #Conflicts:     463000 | #Constraints:      33825
684.03/686.40	c #Conflicts:     464000 | #Constraints:      34825
684.03/686.40	c #Conflicts:     465000 | #Constraints:      35825
684.03/686.40	c #Conflicts:     466000 | #Constraints:      36825
684.03/686.40	c #Conflicts:     467000 | #Constraints:      37825
684.03/686.40	c #Conflicts:     468000 | #Constraints:      38825
684.03/686.40	c #Conflicts:     469000 | #Constraints:      39825
684.03/686.40	c #Conflicts:     470000 | #Constraints:      40826
684.03/686.40	c #Conflicts:     471000 | #Constraints:      41827
684.03/686.40	c #Conflicts:     472000 | #Constraints:      42828
684.03/686.40	c #Conflicts:     473000 | #Constraints:      43829
684.03/686.40	c #Conflicts:     474000 | #Constraints:      44829
684.03/686.40	c #Conflicts:     475000 | #Constraints:      45830
684.03/686.40	c INPROCESSING
684.03/686.40	c GARBAGE COLLECT
684.03/686.40	c rational objective 90
716.41/718.91	c #Conflicts:     476000 | #Constraints:      27283
716.41/718.91	c #Conflicts:     477000 | #Constraints:      28283
716.41/718.91	c #Conflicts:     478000 | #Constraints:      29283
716.41/718.91	c #Conflicts:     479000 | #Constraints:      30283
716.41/718.91	c #Conflicts:     480000 | #Constraints:      31284
716.41/718.91	c #Conflicts:     481000 | #Constraints:      32285
716.41/718.91	c #Conflicts:     482000 | #Constraints:      33286
716.41/718.91	c #Conflicts:     483000 | #Constraints:      34288
716.41/718.91	c #Conflicts:     484000 | #Constraints:      35288
716.41/718.91	c #Conflicts:     485000 | #Constraints:      36289
716.41/718.91	c #Conflicts:     486000 | #Constraints:      37291
716.41/718.91	c #Conflicts:     487000 | #Constraints:      38291
716.41/718.91	c #Conflicts:     488000 | #Constraints:      39292
716.41/718.91	c #Conflicts:     489000 | #Constraints:      40294
716.41/718.91	c #Conflicts:     490000 | #Constraints:      41294
716.41/718.91	c INPROCESSING
716.41/718.91	c GARBAGE COLLECT
716.41/718.91	c rational objective 90
733.05/735.69	c #Conflicts:     491000 | #Constraints:      24895
733.05/735.69	c #Conflicts:     492000 | #Constraints:      25895
733.05/735.69	c #Conflicts:     493000 | #Constraints:      26895
733.05/735.69	c #Conflicts:     494000 | #Constraints:      27895
733.05/735.69	c #Conflicts:     495000 | #Constraints:      28895
733.05/735.69	c #Conflicts:     496000 | #Constraints:      29896
733.05/735.69	c #Conflicts:     497000 | #Constraints:      30896
733.05/735.69	c #Conflicts:     498000 | #Constraints:      31896
733.05/735.69	c #Conflicts:     499000 | #Constraints:      32896
733.05/735.69	c #Conflicts:     500000 | #Constraints:      33896
733.05/735.69	c #Conflicts:     501000 | #Constraints:      34896
733.05/735.69	c #Conflicts:     502000 | #Constraints:      35896
733.05/735.69	c #Conflicts:     503000 | #Constraints:      36896
733.05/735.69	c #Conflicts:     504000 | #Constraints:      37897
733.05/735.69	c #Conflicts:     505000 | #Constraints:      38897
733.05/735.69	c #Conflicts:     506000 | #Constraints:      39897
733.05/735.69	c INPROCESSING
733.05/735.69	c GARBAGE COLLECT
733.05/735.69	c rational objective 90
837.51/840.52	c #Conflicts:     507000 | #Constraints:      24452
837.51/840.52	c #Conflicts:     508000 | #Constraints:      25453
837.51/840.52	c #Conflicts:     509000 | #Constraints:      26453
837.51/840.52	c #Conflicts:     510000 | #Constraints:      27453
837.51/840.52	c #Conflicts:     511000 | #Constraints:      28453
837.51/840.52	c #Conflicts:     512000 | #Constraints:      29454
837.51/840.52	c #Conflicts:     513000 | #Constraints:      30455
837.51/840.52	c #Conflicts:     514000 | #Constraints:      31455
837.51/840.52	c #Conflicts:     515000 | #Constraints:      32455
837.51/840.52	c #Conflicts:     516000 | #Constraints:      33455
837.51/840.52	c #Conflicts:     517000 | #Constraints:      34455
837.51/840.52	c #Conflicts:     518000 | #Constraints:      35455
837.51/840.52	c #Conflicts:     519000 | #Constraints:      36455
837.51/840.52	c #Conflicts:     520000 | #Constraints:      37455
837.51/840.52	c #Conflicts:     521000 | #Constraints:      38455
837.51/840.52	c #Conflicts:     522000 | #Constraints:      39455
837.51/840.52	c #Conflicts:     523000 | #Constraints:      40455
837.51/840.52	c #Conflicts:     524000 | #Constraints:      41455
837.51/840.52	c #Conflicts:     525000 | #Constraints:      42455
837.51/840.52	c #Conflicts:     526000 | #Constraints:      43455
837.51/840.52	c #Conflicts:     527000 | #Constraints:      44455
837.51/840.52	c #Conflicts:     528000 | #Constraints:      45455
837.51/840.52	c #Conflicts:     529000 | #Constraints:      46455
837.51/840.52	c #Conflicts:     530000 | #Constraints:      47455
837.51/840.52	c #Conflicts:     531000 | #Constraints:      48455
837.51/840.52	c #Conflicts:     532000 | #Constraints:      49456
837.51/840.52	c #Conflicts:     533000 | #Constraints:      50456
837.51/840.52	c #Conflicts:     534000 | #Constraints:      51456
837.51/840.52	c #Conflicts:     535000 | #Constraints:      52456
837.51/840.52	c #Conflicts:     536000 | #Constraints:      53456
837.51/840.52	c #Conflicts:     537000 | #Constraints:      54456
837.51/840.52	c #Conflicts:     538000 | #Constraints:      55456
837.51/840.52	c #Conflicts:     539000 | #Constraints:      56456
837.51/840.52	c #Conflicts:     540000 | #Constraints:      57456
837.51/840.52	c #Conflicts:     541000 | #Constraints:      58456
837.51/840.52	c #Conflicts:     542000 | #Constraints:      59456
837.51/840.52	c #Conflicts:     543000 | #Constraints:      60456
837.51/840.52	c #Conflicts:     544000 | #Constraints:      61456
837.51/840.52	c #Conflicts:     545000 | #Constraints:      62456
837.51/840.52	c #Conflicts:     546000 | #Constraints:      63457
837.51/840.52	c #Conflicts:     547000 | #Constraints:      64457
837.51/840.52	c #Conflicts:     548000 | #Constraints:      65457
837.51/840.52	c #Conflicts:     549000 | #Constraints:      66457
837.51/840.52	c #Conflicts:     550000 | #Constraints:      67457
837.51/840.52	c #Conflicts:     551000 | #Constraints:      68457
837.51/840.52	c #Conflicts:     552000 | #Constraints:      69457
837.51/840.52	c #Conflicts:     553000 | #Constraints:      70457
837.51/840.52	c #Conflicts:     554000 | #Constraints:      71457
837.51/840.52	c #Conflicts:     555000 | #Constraints:      72457
837.51/840.52	c #Conflicts:     556000 | #Constraints:      73457
837.51/840.52	c #Conflicts:     557000 | #Constraints:      74457
837.51/840.52	c #Conflicts:     558000 | #Constraints:      75457
837.51/840.52	c #Conflicts:     559000 | #Constraints:      76457
837.51/840.52	c #Conflicts:     560000 | #Constraints:      77457
837.51/840.52	c #Conflicts:     561000 | #Constraints:      78457
837.51/840.52	c #Conflicts:     562000 | #Constraints:      79457
837.51/840.52	c #Conflicts:     563000 | #Constraints:      80457
837.51/840.52	c #Conflicts:     564000 | #Constraints:      81457
837.51/840.52	c INPROCESSING
837.51/840.52	c GARBAGE COLLECT
837.51/840.52	c rational objective 90
864.70/867.83	c #Conflicts:     565000 | #Constraints:      45185
864.70/867.83	c #Conflicts:     566000 | #Constraints:      46185
864.70/867.83	c #Conflicts:     567000 | #Constraints:      47185
864.70/867.83	c #Conflicts:     568000 | #Constraints:      48185
864.70/867.83	c #Conflicts:     569000 | #Constraints:      49185
864.70/867.83	c #Conflicts:     570000 | #Constraints:      50185
864.70/867.83	c #Conflicts:     571000 | #Constraints:      51185
864.70/867.83	c #Conflicts:     572000 | #Constraints:      52185
864.70/867.83	c #Conflicts:     573000 | #Constraints:      53185
864.70/867.83	c #Conflicts:     574000 | #Constraints:      54185
864.70/867.83	c #Conflicts:     575000 | #Constraints:      55185
864.70/867.83	c #Conflicts:     576000 | #Constraints:      56185
864.70/867.83	c #Conflicts:     577000 | #Constraints:      57185
864.70/867.83	c #Conflicts:     578000 | #Constraints:      58185
864.70/867.83	c #Conflicts:     579000 | #Constraints:      59185
864.70/867.83	c #Conflicts:     580000 | #Constraints:      60185
864.70/867.83	c INPROCESSING
864.70/867.83	c GARBAGE COLLECT
864.70/867.83	c rational objective 90
886.31/889.58	c #Conflicts:     581000 | #Constraints:      34236
886.31/889.58	c #Conflicts:     582000 | #Constraints:      35236
886.31/889.58	c #Conflicts:     583000 | #Constraints:      36236
886.31/889.58	c #Conflicts:     584000 | #Constraints:      37236
886.31/889.58	c #Conflicts:     585000 | #Constraints:      38236
886.31/889.58	c #Conflicts:     586000 | #Constraints:      39236
886.31/889.58	c #Conflicts:     587000 | #Constraints:      40236
886.31/889.58	c #Conflicts:     588000 | #Constraints:      41236
886.31/889.58	c #Conflicts:     589000 | #Constraints:      42236
886.31/889.58	c #Conflicts:     590000 | #Constraints:      43236
886.31/889.58	c #Conflicts:     591000 | #Constraints:      44236
886.31/889.58	c #Conflicts:     592000 | #Constraints:      45236
886.31/889.58	c #Conflicts:     593000 | #Constraints:      46236
886.31/889.58	c #Conflicts:     594000 | #Constraints:      47236
886.31/889.58	c #Conflicts:     595000 | #Constraints:      48236
886.31/889.58	c #Conflicts:     596000 | #Constraints:      49236
886.31/889.58	c #Conflicts:     597000 | #Constraints:      50236
886.31/889.58	c INPROCESSING
886.31/889.58	c GARBAGE COLLECT
886.31/889.58	c rational objective 90
914.01/917.38	c #Conflicts:     598000 | #Constraints:      29280
914.01/917.38	c #Conflicts:     599000 | #Constraints:      30280
914.01/917.38	c #Conflicts:     600000 | #Constraints:      31280
914.01/917.38	c #Conflicts:     601000 | #Constraints:      32280
914.01/917.38	c #Conflicts:     602000 | #Constraints:      33280
914.01/917.38	c #Conflicts:     603000 | #Constraints:      34281
914.01/917.38	c #Conflicts:     604000 | #Constraints:      35281
914.01/917.38	c #Conflicts:     605000 | #Constraints:      36281
914.01/917.38	c #Conflicts:     606000 | #Constraints:      37281
914.01/917.38	c #Conflicts:     607000 | #Constraints:      38281
914.01/917.38	c #Conflicts:     608000 | #Constraints:      39281
914.01/917.38	c #Conflicts:     609000 | #Constraints:      40281
914.01/917.38	c #Conflicts:     610000 | #Constraints:      41281
914.01/917.38	c #Conflicts:     611000 | #Constraints:      42281
914.01/917.38	c #Conflicts:     612000 | #Constraints:      43282
914.01/917.38	c #Conflicts:     613000 | #Constraints:      44282
914.01/917.38	c #Conflicts:     614000 | #Constraints:      45282
914.01/917.38	c #Conflicts:     615000 | #Constraints:      46282
914.01/917.38	c INPROCESSING
914.01/917.38	c GARBAGE COLLECT
914.01/917.38	c rational objective 90
936.52/939.92	c #Conflicts:     616000 | #Constraints:      27657
936.52/939.92	c #Conflicts:     617000 | #Constraints:      28657
936.52/939.92	c #Conflicts:     618000 | #Constraints:      29658
936.52/939.92	c #Conflicts:     619000 | #Constraints:      30658
936.52/939.92	c #Conflicts:     620000 | #Constraints:      31658
936.52/939.92	c #Conflicts:     621000 | #Constraints:      32658
936.52/939.92	c #Conflicts:     622000 | #Constraints:      33659
936.52/939.92	c #Conflicts:     623000 | #Constraints:      34659
936.52/939.92	c #Conflicts:     624000 | #Constraints:      35659
936.52/939.92	c #Conflicts:     625000 | #Constraints:      36660
936.52/939.92	c #Conflicts:     626000 | #Constraints:      37661
936.52/939.92	c #Conflicts:     627000 | #Constraints:      38661
936.52/939.92	c #Conflicts:     628000 | #Constraints:      39661
936.52/939.92	c #Conflicts:     629000 | #Constraints:      40661
936.52/939.92	c #Conflicts:     630000 | #Constraints:      41661
936.52/939.92	c #Conflicts:     631000 | #Constraints:      42661
936.52/939.92	c #Conflicts:     632000 | #Constraints:      43661
936.52/939.92	c INPROCESSING
936.52/939.92	c GARBAGE COLLECT
936.52/939.92	c rational objective 90
1059.33/1063.25	c #Conflicts:     633000 | #Constraints:      26155
1059.33/1063.25	c #Conflicts:     634000 | #Constraints:      27155
1059.33/1063.25	c #Conflicts:     635000 | #Constraints:      28156
1059.33/1063.25	c #Conflicts:     636000 | #Constraints:      29156
1059.33/1063.25	c #Conflicts:     637000 | #Constraints:      30156
1059.33/1063.25	c #Conflicts:     638000 | #Constraints:      31156
1059.33/1063.25	c #Conflicts:     639000 | #Constraints:      32156
1059.33/1063.25	c #Conflicts:     640000 | #Constraints:      33156
1059.33/1063.25	c #Conflicts:     641000 | #Constraints:      34156
1059.33/1063.25	c #Conflicts:     642000 | #Constraints:      35156
1059.33/1063.25	c #Conflicts:     643000 | #Constraints:      36156
1059.33/1063.25	c #Conflicts:     644000 | #Constraints:      37156
1059.33/1063.25	c #Conflicts:     645000 | #Constraints:      38156
1059.33/1063.25	c #Conflicts:     646000 | #Constraints:      39156
1059.33/1063.25	c #Conflicts:     647000 | #Constraints:      40156
1059.33/1063.25	c #Conflicts:     648000 | #Constraints:      41156
1059.33/1063.25	c #Conflicts:     649000 | #Constraints:      42156
1059.33/1063.25	c #Conflicts:     650000 | #Constraints:      43156
1059.33/1063.25	c #Conflicts:     651000 | #Constraints:      44156
1059.33/1063.25	c #Conflicts:     652000 | #Constraints:      45156
1059.33/1063.25	c #Conflicts:     653000 | #Constraints:      46156
1059.33/1063.25	c #Conflicts:     654000 | #Constraints:      47156
1059.33/1063.25	c #Conflicts:     655000 | #Constraints:      48156
1059.33/1063.25	c #Conflicts:     656000 | #Constraints:      49156
1059.33/1063.25	c #Conflicts:     657000 | #Constraints:      50156
1059.33/1063.25	c #Conflicts:     658000 | #Constraints:      51157
1059.33/1063.25	c #Conflicts:     659000 | #Constraints:      52157
1059.33/1063.25	c #Conflicts:     660000 | #Constraints:      53157
1059.33/1063.25	c #Conflicts:     661000 | #Constraints:      54157
1059.33/1063.25	c #Conflicts:     662000 | #Constraints:      55157
1059.33/1063.25	c #Conflicts:     663000 | #Constraints:      56157
1059.33/1063.25	c #Conflicts:     664000 | #Constraints:      57157
1059.33/1063.25	c #Conflicts:     665000 | #Constraints:      58157
1059.33/1063.25	c #Conflicts:     666000 | #Constraints:      59157
1059.33/1063.25	c #Conflicts:     667000 | #Constraints:      60157
1059.33/1063.25	c #Conflicts:     668000 | #Constraints:      61157
1059.33/1063.25	c #Conflicts:     669000 | #Constraints:      62157
1059.33/1063.25	c #Conflicts:     670000 | #Constraints:      63158
1059.33/1063.25	c #Conflicts:     671000 | #Constraints:      64158
1059.33/1063.25	c #Conflicts:     672000 | #Constraints:      65158
1059.33/1063.25	c #Conflicts:     673000 | #Constraints:      66158
1059.33/1063.25	c #Conflicts:     674000 | #Constraints:      67158
1059.33/1063.25	c #Conflicts:     675000 | #Constraints:      68158
1059.33/1063.25	c #Conflicts:     676000 | #Constraints:      69158
1059.33/1063.25	c #Conflicts:     677000 | #Constraints:      70158
1059.33/1063.25	c #Conflicts:     678000 | #Constraints:      71158
1059.33/1063.25	c #Conflicts:     679000 | #Constraints:      72158
1059.33/1063.25	c #Conflicts:     680000 | #Constraints:      73158
1059.33/1063.25	c #Conflicts:     681000 | #Constraints:      74158
1059.33/1063.25	c #Conflicts:     682000 | #Constraints:      75158
1059.33/1063.25	c #Conflicts:     683000 | #Constraints:      76158
1059.33/1063.25	c #Conflicts:     684000 | #Constraints:      77158
1059.33/1063.25	c #Conflicts:     685000 | #Constraints:      78158
1059.33/1063.25	c #Conflicts:     686000 | #Constraints:      79158
1059.33/1063.25	c #Conflicts:     687000 | #Constraints:      80158
1059.33/1063.25	c #Conflicts:     688000 | #Constraints:      81158
1059.33/1063.25	c #Conflicts:     689000 | #Constraints:      82159
1059.33/1063.25	c #Conflicts:     690000 | #Constraints:      83159
1059.33/1063.25	c #Conflicts:     691000 | #Constraints:      84159
1059.33/1063.25	c #Conflicts:     692000 | #Constraints:      85159
1059.33/1063.25	c #Conflicts:     693000 | #Constraints:      86159
1059.33/1063.25	c #Conflicts:     694000 | #Constraints:      87159
1059.33/1063.25	c #Conflicts:     695000 | #Constraints:      88159
1059.33/1063.25	c #Conflicts:     696000 | #Constraints:      89159
1059.33/1063.25	c INPROCESSING
1059.33/1063.25	c GARBAGE COLLECT
1059.33/1063.25	c rational objective 90
1091.20/1095.22	c #Conflicts:     697000 | #Constraints:      48741
1091.20/1095.22	c #Conflicts:     698000 | #Constraints:      49741
1091.20/1095.22	c #Conflicts:     699000 | #Constraints:      50741
1091.20/1095.22	c #Conflicts:     700000 | #Constraints:      51741
1091.20/1095.22	c #Conflicts:     701000 | #Constraints:      52741
1091.20/1095.22	c #Conflicts:     702000 | #Constraints:      53741
1091.20/1095.22	c #Conflicts:     703000 | #Constraints:      54741
1091.20/1095.22	c #Conflicts:     704000 | #Constraints:      55741
1091.20/1095.22	c #Conflicts:     705000 | #Constraints:      56741
1091.20/1095.22	c #Conflicts:     706000 | #Constraints:      57742
1091.20/1095.22	c #Conflicts:     707000 | #Constraints:      58742
1091.20/1095.22	c #Conflicts:     708000 | #Constraints:      59742
1091.20/1095.22	c #Conflicts:     709000 | #Constraints:      60743
1091.20/1095.22	c #Conflicts:     710000 | #Constraints:      61743
1091.20/1095.22	c #Conflicts:     711000 | #Constraints:      62743
1091.20/1095.22	c #Conflicts:     712000 | #Constraints:      63743
1091.20/1095.22	c #Conflicts:     713000 | #Constraints:      64744
1091.20/1095.22	c #Conflicts:     714000 | #Constraints:      65745
1091.20/1095.22	c #Conflicts:     715000 | #Constraints:      66745
1091.20/1095.22	c INPROCESSING
1091.20/1095.22	c GARBAGE COLLECT
1091.20/1095.22	c rational objective 90
1118.79/1122.96	c #Conflicts:     716000 | #Constraints:      37664
1118.79/1122.96	c #Conflicts:     717000 | #Constraints:      38664
1118.79/1122.96	c #Conflicts:     718000 | #Constraints:      39664
1118.79/1122.96	c #Conflicts:     719000 | #Constraints:      40666
1118.79/1122.96	c #Conflicts:     720000 | #Constraints:      41666
1118.79/1122.96	c #Conflicts:     721000 | #Constraints:      42666
1118.79/1122.96	c #Conflicts:     722000 | #Constraints:      43666
1118.79/1122.96	c #Conflicts:     723000 | #Constraints:      44666
1118.79/1122.96	c #Conflicts:     724000 | #Constraints:      45667
1118.79/1122.96	c #Conflicts:     725000 | #Constraints:      46667
1118.79/1122.96	c #Conflicts:     726000 | #Constraints:      47667
1118.79/1122.96	c #Conflicts:     727000 | #Constraints:      48667
1118.79/1122.96	c #Conflicts:     728000 | #Constraints:      49667
1118.79/1122.96	c #Conflicts:     729000 | #Constraints:      50667
1118.79/1122.96	c #Conflicts:     730000 | #Constraints:      51667
1118.79/1122.96	c #Conflicts:     731000 | #Constraints:      52667
1118.79/1122.96	c #Conflicts:     732000 | #Constraints:      53667
1118.79/1122.96	c #Conflicts:     733000 | #Constraints:      54667
1118.79/1122.96	c #Conflicts:     734000 | #Constraints:      55667
1118.79/1122.96	c INPROCESSING
1118.79/1122.96	c GARBAGE COLLECT
1118.79/1122.96	c rational objective 90
1153.35/1157.69	c #Conflicts:     735000 | #Constraints:      32207
1153.35/1157.69	c #Conflicts:     736000 | #Constraints:      33207
1153.35/1157.69	c #Conflicts:     737000 | #Constraints:      34207
1153.35/1157.69	c #Conflicts:     738000 | #Constraints:      35207
1153.35/1157.69	c #Conflicts:     739000 | #Constraints:      36207
1153.35/1157.69	c #Conflicts:     740000 | #Constraints:      37207
1153.35/1157.69	c #Conflicts:     741000 | #Constraints:      38207
1153.35/1157.69	c #Conflicts:     742000 | #Constraints:      39207
1153.35/1157.69	c #Conflicts:     743000 | #Constraints:      40207
1153.35/1157.69	c #Conflicts:     744000 | #Constraints:      41207
1153.35/1157.69	c #Conflicts:     745000 | #Constraints:      42207
1153.35/1157.69	c #Conflicts:     746000 | #Constraints:      43208
1153.35/1157.69	c #Conflicts:     747000 | #Constraints:      44208
1153.35/1157.69	c #Conflicts:     748000 | #Constraints:      45208
1153.35/1157.69	c #Conflicts:     749000 | #Constraints:      46208
1153.35/1157.69	c #Conflicts:     750000 | #Constraints:      47209
1153.35/1157.69	c #Conflicts:     751000 | #Constraints:      48209
1153.35/1157.69	c #Conflicts:     752000 | #Constraints:      49209
1153.35/1157.69	c #Conflicts:     753000 | #Constraints:      50210
1153.35/1157.69	c INPROCESSING
1153.35/1157.69	c GARBAGE COLLECT
1153.35/1157.69	c rational objective 90
1176.08/1180.43	c #Conflicts:     754000 | #Constraints:      29417
1176.08/1180.43	c #Conflicts:     755000 | #Constraints:      30417
1176.08/1180.43	c #Conflicts:     756000 | #Constraints:      31417
1176.08/1180.43	c #Conflicts:     757000 | #Constraints:      32417
1176.08/1180.43	c #Conflicts:     758000 | #Constraints:      33417
1176.08/1180.43	c #Conflicts:     759000 | #Constraints:      34417
1176.08/1180.43	c #Conflicts:     760000 | #Constraints:      35417
1176.08/1180.43	c #Conflicts:     761000 | #Constraints:      36417
1176.08/1180.43	c #Conflicts:     762000 | #Constraints:      37418
1176.08/1180.43	c #Conflicts:     763000 | #Constraints:      38418
1176.08/1180.43	c #Conflicts:     764000 | #Constraints:      39418
1176.08/1180.43	c #Conflicts:     765000 | #Constraints:      40418
1176.08/1180.43	c #Conflicts:     766000 | #Constraints:      41418
1176.08/1180.43	c #Conflicts:     767000 | #Constraints:      42418
1176.08/1180.43	c #Conflicts:     768000 | #Constraints:      43418
1176.08/1180.43	c #Conflicts:     769000 | #Constraints:      44418
1176.08/1180.43	c #Conflicts:     770000 | #Constraints:      45418
1176.08/1180.43	c #Conflicts:     771000 | #Constraints:      46418
1176.08/1180.43	c #Conflicts:     772000 | #Constraints:      47418
1176.08/1180.43	c INPROCESSING
1176.08/1180.43	c GARBAGE COLLECT
1176.08/1180.43	c rational objective 90
1324.04/1328.98	c #Conflicts:     773000 | #Constraints:      27823
1324.04/1328.98	c #Conflicts:     774000 | #Constraints:      28823
1324.04/1328.98	c #Conflicts:     775000 | #Constraints:      29824
1324.04/1328.98	c #Conflicts:     776000 | #Constraints:      30824
1324.04/1328.98	c #Conflicts:     777000 | #Constraints:      31825
1324.04/1328.98	c #Conflicts:     778000 | #Constraints:      32825
1324.04/1328.98	c #Conflicts:     779000 | #Constraints:      33825
1324.04/1328.98	c #Conflicts:     780000 | #Constraints:      34825
1324.04/1328.98	c #Conflicts:     781000 | #Constraints:      35825
1324.04/1328.98	c #Conflicts:     782000 | #Constraints:      36825
1324.04/1328.98	c #Conflicts:     783000 | #Constraints:      37825
1324.04/1328.98	c #Conflicts:     784000 | #Constraints:      38825
1324.04/1328.98	c #Conflicts:     785000 | #Constraints:      39825
1324.04/1328.98	c #Conflicts:     786000 | #Constraints:      40825
1324.04/1328.98	c #Conflicts:     787000 | #Constraints:      41825
1324.04/1328.98	c #Conflicts:     788000 | #Constraints:      42825
1324.04/1328.98	c #Conflicts:     789000 | #Constraints:      43825
1324.04/1328.98	c #Conflicts:     790000 | #Constraints:      44825
1324.04/1328.98	c #Conflicts:     791000 | #Constraints:      45825
1324.04/1328.98	c #Conflicts:     792000 | #Constraints:      46825
1324.04/1328.98	c #Conflicts:     793000 | #Constraints:      47826
1324.04/1328.98	c #Conflicts:     794000 | #Constraints:      48826
1324.04/1328.98	c #Conflicts:     795000 | #Constraints:      49826
1324.04/1328.98	c #Conflicts:     796000 | #Constraints:      50826
1324.04/1328.98	c #Conflicts:     797000 | #Constraints:      51826
1324.04/1328.98	c #Conflicts:     798000 | #Constraints:      52827
1324.04/1328.98	c #Conflicts:     799000 | #Constraints:      53827
1324.04/1328.98	c #Conflicts:     800000 | #Constraints:      54827
1324.04/1328.98	c #Conflicts:     801000 | #Constraints:      55827
1324.04/1328.98	c #Conflicts:     802000 | #Constraints:      56827
1324.04/1328.98	c #Conflicts:     803000 | #Constraints:      57828
1324.04/1328.98	c #Conflicts:     804000 | #Constraints:      58828
1324.04/1328.98	c #Conflicts:     805000 | #Constraints:      59828
1324.04/1328.98	c #Conflicts:     806000 | #Constraints:      60829
1324.04/1328.98	c #Conflicts:     807000 | #Constraints:      61829
1324.04/1328.98	c #Conflicts:     808000 | #Constraints:      62829
1324.04/1328.98	c #Conflicts:     809000 | #Constraints:      63829
1324.04/1328.98	c #Conflicts:     810000 | #Constraints:      64829
1324.04/1328.98	c #Conflicts:     811000 | #Constraints:      65829
1324.04/1328.98	c #Conflicts:     812000 | #Constraints:      66829
1324.04/1328.98	c #Conflicts:     813000 | #Constraints:      67829
1324.04/1328.98	c #Conflicts:     814000 | #Constraints:      68829
1324.04/1328.98	c #Conflicts:     815000 | #Constraints:      69829
1324.04/1328.98	c #Conflicts:     816000 | #Constraints:      70830
1324.04/1328.98	c #Conflicts:     817000 | #Constraints:      71830
1324.04/1328.98	c #Conflicts:     818000 | #Constraints:      72830
1324.04/1328.98	c #Conflicts:     819000 | #Constraints:      73830
1324.04/1328.98	c #Conflicts:     820000 | #Constraints:      74830
1324.04/1328.98	c #Conflicts:     821000 | #Constraints:      75830
1324.04/1328.98	c #Conflicts:     822000 | #Constraints:      76830
1324.04/1328.98	c #Conflicts:     823000 | #Constraints:      77830
1324.04/1328.98	c #Conflicts:     824000 | #Constraints:      78830
1324.04/1328.98	c #Conflicts:     825000 | #Constraints:      79830
1324.04/1328.98	c #Conflicts:     826000 | #Constraints:      80830
1324.04/1328.98	c #Conflicts:     827000 | #Constraints:      81831
1324.04/1328.98	c #Conflicts:     828000 | #Constraints:      82831
1324.04/1328.98	c #Conflicts:     829000 | #Constraints:      83831
1324.04/1328.98	c #Conflicts:     830000 | #Constraints:      84831
1324.04/1328.98	c #Conflicts:     831000 | #Constraints:      85831
1324.04/1328.98	c #Conflicts:     832000 | #Constraints:      86831
1324.04/1328.98	c #Conflicts:     833000 | #Constraints:      87831
1324.04/1328.98	c #Conflicts:     834000 | #Constraints:      88831
1324.04/1328.98	c #Conflicts:     835000 | #Constraints:      89831
1324.04/1328.98	c #Conflicts:     836000 | #Constraints:      90831
1324.04/1328.98	c #Conflicts:     837000 | #Constraints:      91831
1324.04/1328.98	c #Conflicts:     838000 | #Constraints:      92831
1324.04/1328.98	c #Conflicts:     839000 | #Constraints:      93832
1324.04/1328.98	c #Conflicts:     840000 | #Constraints:      94832
1324.04/1328.98	c #Conflicts:     841000 | #Constraints:      95832
1324.04/1328.98	c #Conflicts:     842000 | #Constraints:      96832
1324.04/1328.98	c #Conflicts:     843000 | #Constraints:      97832
1324.04/1328.98	c INPROCESSING
1324.04/1328.98	c GARBAGE COLLECT
1324.04/1328.98	c rational objective 90
1364.21/1369.21	c #Conflicts:     844000 | #Constraints:      53193
1364.21/1369.21	c #Conflicts:     845000 | #Constraints:      54193
1364.21/1369.21	c #Conflicts:     846000 | #Constraints:      55193
1364.21/1369.21	c #Conflicts:     847000 | #Constraints:      56193
1364.21/1369.21	c #Conflicts:     848000 | #Constraints:      57193
1364.21/1369.21	c #Conflicts:     849000 | #Constraints:      58193
1364.21/1369.21	c #Conflicts:     850000 | #Constraints:      59193
1364.21/1369.21	c #Conflicts:     851000 | #Constraints:      60193
1364.21/1369.21	c #Conflicts:     852000 | #Constraints:      61196
1364.21/1369.21	c #Conflicts:     853000 | #Constraints:      62196
1364.21/1369.21	c #Conflicts:     854000 | #Constraints:      63197
1364.21/1369.21	c #Conflicts:     855000 | #Constraints:      64198
1364.21/1369.21	c #Conflicts:     856000 | #Constraints:      65198
1364.21/1369.21	c #Conflicts:     857000 | #Constraints:      66198
1364.21/1369.21	c #Conflicts:     858000 | #Constraints:      67198
1364.21/1369.21	c #Conflicts:     859000 | #Constraints:      68198
1364.21/1369.21	c #Conflicts:     860000 | #Constraints:      69198
1364.21/1369.21	c #Conflicts:     861000 | #Constraints:      70198
1364.21/1369.21	c #Conflicts:     862000 | #Constraints:      71198
1364.21/1369.21	c #Conflicts:     863000 | #Constraints:      72198
1364.21/1369.21	c #Conflicts:     864000 | #Constraints:      73198
1364.21/1369.21	c INPROCESSING
1364.21/1369.21	c GARBAGE COLLECT
1364.21/1369.21	c rational objective 90
1399.10/1404.29	c #Conflicts:     865000 | #Constraints:      41014
1399.10/1404.29	c #Conflicts:     866000 | #Constraints:      42014
1399.10/1404.29	c #Conflicts:     867000 | #Constraints:      43015
1399.10/1404.29	c #Conflicts:     868000 | #Constraints:      44015
1399.10/1404.29	c #Conflicts:     869000 | #Constraints:      45015
1399.10/1404.29	c #Conflicts:     870000 | #Constraints:      46015
1399.10/1404.29	c #Conflicts:     871000 | #Constraints:      47016
1399.10/1404.29	c #Conflicts:     872000 | #Constraints:      48016
1399.10/1404.29	c #Conflicts:     873000 | #Constraints:      49016
1399.10/1404.29	c #Conflicts:     874000 | #Constraints:      50016
1399.10/1404.29	c #Conflicts:     875000 | #Constraints:      51016
1399.10/1404.29	c #Conflicts:     876000 | #Constraints:      52016
1399.10/1404.29	c #Conflicts:     877000 | #Constraints:      53016
1399.10/1404.29	c #Conflicts:     878000 | #Constraints:      54016
1399.10/1404.29	c #Conflicts:     879000 | #Constraints:      55016
1399.10/1404.29	c #Conflicts:     880000 | #Constraints:      56016
1399.10/1404.29	c #Conflicts:     881000 | #Constraints:      57017
1399.10/1404.29	c #Conflicts:     882000 | #Constraints:      58017
1399.10/1404.29	c #Conflicts:     883000 | #Constraints:      59017
1399.10/1404.29	c #Conflicts:     884000 | #Constraints:      60017
1399.10/1404.29	c #Conflicts:     885000 | #Constraints:      61017
1399.10/1404.29	c INPROCESSING
1399.10/1404.29	c GARBAGE COLLECT
1399.10/1404.29	c rational objective 90
1429.01/1434.24	c #Conflicts:     886000 | #Constraints:      35019
1429.01/1434.24	c #Conflicts:     887000 | #Constraints:      36019
1429.01/1434.24	c #Conflicts:     888000 | #Constraints:      37019
1429.01/1434.24	c #Conflicts:     889000 | #Constraints:      38019
1429.01/1434.24	c #Conflicts:     890000 | #Constraints:      39019
1429.01/1434.24	c #Conflicts:     891000 | #Constraints:      40019
1429.01/1434.24	c #Conflicts:     892000 | #Constraints:      41019
1429.01/1434.24	c #Conflicts:     893000 | #Constraints:      42021
1429.01/1434.24	c #Conflicts:     894000 | #Constraints:      43022
1429.01/1434.24	c #Conflicts:     895000 | #Constraints:      44023
1429.01/1434.24	c #Conflicts:     896000 | #Constraints:      45023
1429.01/1434.24	c #Conflicts:     897000 | #Constraints:      46023
1429.01/1434.24	c #Conflicts:     898000 | #Constraints:      47023
1429.01/1434.24	c #Conflicts:     899000 | #Constraints:      48023
1429.01/1434.24	c #Conflicts:     900000 | #Constraints:      49023
1429.01/1434.24	c #Conflicts:     901000 | #Constraints:      50023
1429.01/1434.24	c #Conflicts:     902000 | #Constraints:      51023
1429.01/1434.24	c #Conflicts:     903000 | #Constraints:      52023
1429.01/1434.24	c #Conflicts:     904000 | #Constraints:      53024
1429.01/1434.24	c #Conflicts:     905000 | #Constraints:      54024
1429.01/1434.24	c #Conflicts:     906000 | #Constraints:      55024
1429.01/1434.24	c INPROCESSING
1429.01/1434.24	c GARBAGE COLLECT
1429.01/1434.24	c rational objective 90
1456.40/1461.79	c #Conflicts:     907000 | #Constraints:      32065
1456.40/1461.79	c #Conflicts:     908000 | #Constraints:      33065
1456.40/1461.79	c #Conflicts:     909000 | #Constraints:      34065
1456.40/1461.79	c #Conflicts:     910000 | #Constraints:      35065
1456.40/1461.79	c #Conflicts:     911000 | #Constraints:      36065
1456.40/1461.79	c #Conflicts:     912000 | #Constraints:      37065
1456.40/1461.79	c #Conflicts:     913000 | #Constraints:      38065
1456.40/1461.79	c #Conflicts:     914000 | #Constraints:      39065
1456.40/1461.79	c #Conflicts:     915000 | #Constraints:      40065
1456.40/1461.79	c #Conflicts:     916000 | #Constraints:      41065
1456.40/1461.79	c #Conflicts:     917000 | #Constraints:      42065
1456.40/1461.79	c #Conflicts:     918000 | #Constraints:      43066
1456.40/1461.79	c #Conflicts:     919000 | #Constraints:      44066
1456.40/1461.79	c #Conflicts:     920000 | #Constraints:      45066
1456.40/1461.79	c #Conflicts:     921000 | #Constraints:      46066
1456.40/1461.79	c #Conflicts:     922000 | #Constraints:      47066
1456.40/1461.79	c #Conflicts:     923000 | #Constraints:      48066
1456.40/1461.79	c #Conflicts:     924000 | #Constraints:      49067
1456.40/1461.79	c #Conflicts:     925000 | #Constraints:      50067
1456.40/1461.79	c #Conflicts:     926000 | #Constraints:      51067
1456.40/1461.79	c #Conflicts:     927000 | #Constraints:      52067
1456.40/1461.79	c INPROCESSING
1456.40/1461.79	c GARBAGE COLLECT
1456.40/1461.79	c rational objective 90
1615.98/1621.88	c #Conflicts:     928000 | #Constraints:      30509
1615.98/1621.88	c #Conflicts:     929000 | #Constraints:      31509
1615.98/1621.88	c #Conflicts:     930000 | #Constraints:      32509
1615.98/1621.88	c #Conflicts:     931000 | #Constraints:      33509
1615.98/1621.88	c #Conflicts:     932000 | #Constraints:      34509
1615.98/1621.88	c #Conflicts:     933000 | #Constraints:      35509
1615.98/1621.88	c #Conflicts:     934000 | #Constraints:      36509
1615.98/1621.88	c #Conflicts:     935000 | #Constraints:      37509
1615.98/1621.88	c #Conflicts:     936000 | #Constraints:      38509
1615.98/1621.88	c #Conflicts:     937000 | #Constraints:      39510
1615.98/1621.88	c #Conflicts:     938000 | #Constraints:      40510
1615.98/1621.88	c #Conflicts:     939000 | #Constraints:      41510
1615.98/1621.88	c #Conflicts:     940000 | #Constraints:      42510
1615.98/1621.88	c #Conflicts:     941000 | #Constraints:      43510
1615.98/1621.88	c #Conflicts:     942000 | #Constraints:      44510
1615.98/1621.88	c #Conflicts:     943000 | #Constraints:      45510
1615.98/1621.88	c #Conflicts:     944000 | #Constraints:      46510
1615.98/1621.88	c #Conflicts:     945000 | #Constraints:      47510
1615.98/1621.88	c #Conflicts:     946000 | #Constraints:      48510
1615.98/1621.88	c #Conflicts:     947000 | #Constraints:      49510
1615.98/1621.88	c #Conflicts:     948000 | #Constraints:      50510
1615.98/1621.88	c #Conflicts:     949000 | #Constraints:      51510
1615.98/1621.88	c #Conflicts:     950000 | #Constraints:      52510
1615.98/1621.88	c #Conflicts:     951000 | #Constraints:      53510
1615.98/1621.88	c #Conflicts:     952000 | #Constraints:      54511
1615.98/1621.88	c #Conflicts:     953000 | #Constraints:      55511
1615.98/1621.88	c #Conflicts:     954000 | #Constraints:      56511
1615.98/1621.88	c #Conflicts:     955000 | #Constraints:      57511
1615.98/1621.88	c #Conflicts:     956000 | #Constraints:      58511
1615.98/1621.88	c #Conflicts:     957000 | #Constraints:      59511
1615.98/1621.88	c #Conflicts:     958000 | #Constraints:      60511
1615.98/1621.88	c #Conflicts:     959000 | #Constraints:      61511
1615.98/1621.88	c #Conflicts:     960000 | #Constraints:      62511
1615.98/1621.88	c #Conflicts:     961000 | #Constraints:      63512
1615.98/1621.88	c #Conflicts:     962000 | #Constraints:      64512
1615.98/1621.88	c #Conflicts:     963000 | #Constraints:      65512
1615.98/1621.88	c #Conflicts:     964000 | #Constraints:      66512
1615.98/1621.88	c #Conflicts:     965000 | #Constraints:      67512
1615.98/1621.88	c #Conflicts:     966000 | #Constraints:      68512
1615.98/1621.88	c #Conflicts:     967000 | #Constraints:      69512
1615.98/1621.88	c #Conflicts:     968000 | #Constraints:      70512
1615.98/1621.88	c #Conflicts:     969000 | #Constraints:      71512
1615.98/1621.88	c #Conflicts:     970000 | #Constraints:      72512
1615.98/1621.88	c #Conflicts:     971000 | #Constraints:      73512
1615.98/1621.88	c #Conflicts:     972000 | #Constraints:      74512
1615.98/1621.88	c #Conflicts:     973000 | #Constraints:      75512
1615.98/1621.88	c #Conflicts:     974000 | #Constraints:      76512
1615.98/1621.88	c #Conflicts:     975000 | #Constraints:      77512
1615.98/1621.88	c #Conflicts:     976000 | #Constraints:      78512
1615.98/1621.88	c #Conflicts:     977000 | #Constraints:      79512
1615.98/1621.88	c #Conflicts:     978000 | #Constraints:      80512
1615.98/1621.88	c #Conflicts:     979000 | #Constraints:      81512
1615.98/1621.88	c #Conflicts:     980000 | #Constraints:      82512
1615.98/1621.88	c #Conflicts:     981000 | #Constraints:      83512
1615.98/1621.88	c #Conflicts:     982000 | #Constraints:      84512
1615.98/1621.88	c #Conflicts:     983000 | #Constraints:      85512
1615.98/1621.88	c #Conflicts:     984000 | #Constraints:      86512
1615.98/1621.88	c #Conflicts:     985000 | #Constraints:      87512
1615.98/1621.88	c #Conflicts:     986000 | #Constraints:      88512
1615.98/1621.88	c #Conflicts:     987000 | #Constraints:      89512
1615.98/1621.88	c #Conflicts:     988000 | #Constraints:      90512
1615.98/1621.88	c #Conflicts:     989000 | #Constraints:      91512
1615.98/1621.88	c #Conflicts:     990000 | #Constraints:      92512
1615.98/1621.88	c #Conflicts:     991000 | #Constraints:      93512
1615.98/1621.88	c #Conflicts:     992000 | #Constraints:      94512
1615.98/1621.88	c #Conflicts:     993000 | #Constraints:      95512
1615.98/1621.88	c #Conflicts:     994000 | #Constraints:      96512
1615.98/1621.88	c #Conflicts:     995000 | #Constraints:      97512
1615.98/1621.88	c #Conflicts:     996000 | #Constraints:      98512
1615.98/1621.88	c #Conflicts:     997000 | #Constraints:      99512
1615.98/1621.88	c #Conflicts:     998000 | #Constraints:     100512
1615.98/1621.88	c #Conflicts:     999000 | #Constraints:     101512
1615.98/1621.88	c #Conflicts:    1000000 | #Constraints:     102512
1615.98/1621.88	c #Conflicts:    1001000 | #Constraints:     103512
1615.98/1621.88	c #Conflicts:    1002000 | #Constraints:     104512
1615.98/1621.88	c #Conflicts:    1003000 | #Constraints:     105512
1615.98/1621.88	c #Conflicts:    1004000 | #Constraints:     106512
1615.98/1621.88	c INPROCESSING
1615.98/1621.88	c GARBAGE COLLECT
1615.98/1621.88	c rational objective 90
1658.75/1664.75	c #Conflicts:    1005000 | #Constraints:      57627
1658.75/1664.75	c #Conflicts:    1006000 | #Constraints:      58627
1658.75/1664.75	c #Conflicts:    1007000 | #Constraints:      59628
1658.75/1664.75	c #Conflicts:    1008000 | #Constraints:      60628
1658.75/1664.75	c #Conflicts:    1009000 | #Constraints:      61628
1658.75/1664.75	c #Conflicts:    1010000 | #Constraints:      62628
1658.75/1664.75	c #Conflicts:    1011000 | #Constraints:      63628
1658.75/1664.75	c #Conflicts:    1012000 | #Constraints:      64628
1658.75/1664.75	c #Conflicts:    1013000 | #Constraints:      65628
1658.75/1664.75	c #Conflicts:    1014000 | #Constraints:      66628
1658.75/1664.75	c #Conflicts:    1015000 | #Constraints:      67628
1658.75/1664.75	c #Conflicts:    1016000 | #Constraints:      68628
1658.75/1664.75	c #Conflicts:    1017000 | #Constraints:      69628
1658.75/1664.75	c #Conflicts:    1018000 | #Constraints:      70628
1658.75/1664.75	c #Conflicts:    1019000 | #Constraints:      71629
1658.75/1664.75	c #Conflicts:    1020000 | #Constraints:      72629
1658.75/1664.75	c #Conflicts:    1021000 | #Constraints:      73629
1658.75/1664.75	c #Conflicts:    1022000 | #Constraints:      74629
1658.75/1664.75	c #Conflicts:    1023000 | #Constraints:      75629
1658.75/1664.75	c #Conflicts:    1024000 | #Constraints:      76629
1658.75/1664.75	c #Conflicts:    1025000 | #Constraints:      77629
1658.75/1664.75	c #Conflicts:    1026000 | #Constraints:      78629
1658.75/1664.75	c INPROCESSING
1658.75/1664.75	c GARBAGE COLLECT
1658.75/1664.75	c rational objective 90
1692.44/1698.56	c #Conflicts:    1027000 | #Constraints:      43444
1692.44/1698.56	c #Conflicts:    1028000 | #Constraints:      44444
1692.44/1698.56	c #Conflicts:    1029000 | #Constraints:      45444
1692.44/1698.56	c #Conflicts:    1030000 | #Constraints:      46444
1692.44/1698.56	c #Conflicts:    1031000 | #Constraints:      47444
1692.44/1698.56	c #Conflicts:    1032000 | #Constraints:      48444
1692.44/1698.56	c #Conflicts:    1033000 | #Constraints:      49444
1692.44/1698.56	c #Conflicts:    1034000 | #Constraints:      50444
1692.44/1698.56	c #Conflicts:    1035000 | #Constraints:      51444
1692.44/1698.56	c #Conflicts:    1036000 | #Constraints:      52444
1692.44/1698.56	c #Conflicts:    1037000 | #Constraints:      53444
1692.44/1698.56	c #Conflicts:    1038000 | #Constraints:      54444
1692.44/1698.56	c #Conflicts:    1039000 | #Constraints:      55445
1692.44/1698.56	c #Conflicts:    1040000 | #Constraints:      56445
1692.44/1698.56	c #Conflicts:    1041000 | #Constraints:      57445
1692.44/1698.56	c #Conflicts:    1042000 | #Constraints:      58445
1692.44/1698.56	c #Conflicts:    1043000 | #Constraints:      59445
1692.44/1698.56	c #Conflicts:    1044000 | #Constraints:      60445
1692.44/1698.56	c #Conflicts:    1045000 | #Constraints:      61445
1692.44/1698.56	c #Conflicts:    1046000 | #Constraints:      62445
1692.44/1698.56	c #Conflicts:    1047000 | #Constraints:      63445
1692.44/1698.56	c #Conflicts:    1048000 | #Constraints:      64445
1692.44/1698.56	c #Conflicts:    1049000 | #Constraints:      65445
1692.44/1698.56	c INPROCESSING
1692.44/1698.56	c GARBAGE COLLECT
1692.44/1698.56	c rational objective 90
1723.44/1729.67	c #Conflicts:    1050000 | #Constraints:      37002
1723.44/1729.67	c #Conflicts:    1051000 | #Constraints:      38002
1723.44/1729.67	c #Conflicts:    1052000 | #Constraints:      39002
1723.44/1729.67	c #Conflicts:    1053000 | #Constraints:      40004
1723.44/1729.67	c #Conflicts:    1054000 | #Constraints:      41004
1723.44/1729.67	c #Conflicts:    1055000 | #Constraints:      42004
1723.44/1729.67	c #Conflicts:    1056000 | #Constraints:      43004
1723.44/1729.67	c #Conflicts:    1057000 | #Constraints:      44004
1723.44/1729.67	c #Conflicts:    1058000 | #Constraints:      45004
1723.44/1729.67	c #Conflicts:    1059000 | #Constraints:      46004
1723.44/1729.67	c #Conflicts:    1060000 | #Constraints:      47004
1723.44/1729.67	c #Conflicts:    1061000 | #Constraints:      48004
1723.44/1729.67	c #Conflicts:    1062000 | #Constraints:      49004
1723.44/1729.67	c #Conflicts:    1063000 | #Constraints:      50004
1723.44/1729.67	c #Conflicts:    1064000 | #Constraints:      51005
1723.44/1729.67	c #Conflicts:    1065000 | #Constraints:      52005
1723.44/1729.67	c #Conflicts:    1066000 | #Constraints:      53005
1723.44/1729.67	c #Conflicts:    1067000 | #Constraints:      54005
1723.44/1729.67	c #Conflicts:    1068000 | #Constraints:      55005
1723.44/1729.67	c #Conflicts:    1069000 | #Constraints:      56005
1723.44/1729.67	c #Conflicts:    1070000 | #Constraints:      57005
1723.44/1729.67	c #Conflicts:    1071000 | #Constraints:      58005
1723.44/1729.67	c #Conflicts:    1072000 | #Constraints:      59005
1723.44/1729.67	c INPROCESSING
1723.44/1729.67	c GARBAGE COLLECT
1723.44/1729.67	c rational objective 90
1773.17/1779.50	c #Conflicts:    1073000 | #Constraints:      33849
1773.17/1779.50	c #Conflicts:    1074000 | #Constraints:      34849
1773.17/1779.50	c #Conflicts:    1075000 | #Constraints:      35849
1773.17/1779.50	c #Conflicts:    1076000 | #Constraints:      36849
1773.17/1779.50	c #Conflicts:    1077000 | #Constraints:      37849
1773.17/1779.50	c #Conflicts:    1078000 | #Constraints:      38849
1773.17/1779.50	c #Conflicts:    1079000 | #Constraints:      39849
1773.17/1779.50	c #Conflicts:    1080000 | #Constraints:      40849
1773.17/1779.50	c #Conflicts:    1081000 | #Constraints:      41849
1773.17/1779.50	c #Conflicts:    1082000 | #Constraints:      42849
1773.17/1779.50	c #Conflicts:    1083000 | #Constraints:      43849
1773.17/1779.50	c #Conflicts:    1084000 | #Constraints:      44849
1773.17/1779.50	c #Conflicts:    1085000 | #Constraints:      45849
1773.17/1779.50	c #Conflicts:    1086000 | #Constraints:      46849
1773.17/1779.50	c #Conflicts:    1087000 | #Constraints:      47849
1773.17/1779.50	c #Conflicts:    1088000 | #Constraints:      48850
1773.17/1779.50	c #Conflicts:    1089000 | #Constraints:      49850
1773.17/1779.50	c #Conflicts:    1090000 | #Constraints:      50850
1773.17/1779.50	c #Conflicts:    1091000 | #Constraints:      51850
1773.17/1779.50	c #Conflicts:    1092000 | #Constraints:      52850
1773.17/1779.50	c #Conflicts:    1093000 | #Constraints:      53851
1773.17/1779.50	c #Conflicts:    1094000 | #Constraints:      54851
1773.17/1779.50	c #Conflicts:    1095000 | #Constraints:      55851
1773.17/1779.50	c INPROCESSING
1773.17/1779.50	c GARBAGE COLLECT
1773.17/1779.50	c rational objective 90
1963.13/1970.12	c #Conflicts:    1096000 | #Constraints:      32255
1963.13/1970.12	c #Conflicts:    1097000 | #Constraints:      33255
1963.13/1970.12	c #Conflicts:    1098000 | #Constraints:      34256
1963.13/1970.12	c #Conflicts:    1099000 | #Constraints:      35256
1963.13/1970.12	c #Conflicts:    1100000 | #Constraints:      36256
1963.13/1970.12	c #Conflicts:    1101000 | #Constraints:      37257
1963.13/1970.12	c #Conflicts:    1102000 | #Constraints:      38257
1963.13/1970.12	c #Conflicts:    1103000 | #Constraints:      39257
1963.13/1970.12	c #Conflicts:    1104000 | #Constraints:      40258
1963.13/1970.12	c #Conflicts:    1105000 | #Constraints:      41258
1963.13/1970.12	c #Conflicts:    1106000 | #Constraints:      42258
1963.13/1970.12	c #Conflicts:    1107000 | #Constraints:      43258
1963.13/1970.12	c #Conflicts:    1108000 | #Constraints:      44258
1963.13/1970.12	c #Conflicts:    1109000 | #Constraints:      45258
1963.13/1970.12	c #Conflicts:    1110000 | #Constraints:      46258
1963.13/1970.12	c #Conflicts:    1111000 | #Constraints:      47258
1963.13/1970.12	c #Conflicts:    1112000 | #Constraints:      48258
1963.13/1970.12	c #Conflicts:    1113000 | #Constraints:      49258
1963.13/1970.12	c #Conflicts:    1114000 | #Constraints:      50258
1963.13/1970.12	c #Conflicts:    1115000 | #Constraints:      51258
1963.13/1970.12	c #Conflicts:    1116000 | #Constraints:      52258
1963.13/1970.12	c #Conflicts:    1117000 | #Constraints:      53258
1963.13/1970.12	c #Conflicts:    1118000 | #Constraints:      54258
1963.13/1970.12	c #Conflicts:    1119000 | #Constraints:      55258
1963.13/1970.12	c #Conflicts:    1120000 | #Constraints:      56258
1963.13/1970.12	c #Conflicts:    1121000 | #Constraints:      57258
1963.13/1970.12	c #Conflicts:    1122000 | #Constraints:      58258
1963.13/1970.12	c #Conflicts:    1123000 | #Constraints:      59258
1963.13/1970.12	c #Conflicts:    1124000 | #Constraints:      60258
1963.13/1970.12	c #Conflicts:    1125000 | #Constraints:      61258
1963.13/1970.12	c #Conflicts:    1126000 | #Constraints:      62258
1963.13/1970.12	c #Conflicts:    1127000 | #Constraints:      63258
1963.13/1970.12	c #Conflicts:    1128000 | #Constraints:      64258
1963.13/1970.12	c #Conflicts:    1129000 | #Constraints:      65258
1963.13/1970.12	c #Conflicts:    1130000 | #Constraints:      66258
1963.13/1970.12	c #Conflicts:    1131000 | #Constraints:      67258
1963.13/1970.12	c #Conflicts:    1132000 | #Constraints:      68258
1963.13/1970.12	c #Conflicts:    1133000 | #Constraints:      69258
1963.13/1970.12	c #Conflicts:    1134000 | #Constraints:      70258
1963.13/1970.12	c #Conflicts:    1135000 | #Constraints:      71258
1963.13/1970.12	c #Conflicts:    1136000 | #Constraints:      72258
1963.13/1970.12	c #Conflicts:    1137000 | #Constraints:      73258
1963.13/1970.12	c #Conflicts:    1138000 | #Constraints:      74258
1963.13/1970.12	c #Conflicts:    1139000 | #Constraints:      75258
1963.13/1970.12	c #Conflicts:    1140000 | #Constraints:      76258
1963.13/1970.12	c #Conflicts:    1141000 | #Constraints:      77258
1963.13/1970.12	c #Conflicts:    1142000 | #Constraints:      78258
1963.13/1970.12	c #Conflicts:    1143000 | #Constraints:      79259
1963.13/1970.12	c #Conflicts:    1144000 | #Constraints:      80259
1963.13/1970.12	c #Conflicts:    1145000 | #Constraints:      81259
1963.13/1970.12	c #Conflicts:    1146000 | #Constraints:      82260
1963.13/1970.12	c #Conflicts:    1147000 | #Constraints:      83260
1963.13/1970.12	c #Conflicts:    1148000 | #Constraints:      84260
1963.13/1970.12	c #Conflicts:    1149000 | #Constraints:      85260
1963.13/1970.12	c #Conflicts:    1150000 | #Constraints:      86260
1963.13/1970.12	c #Conflicts:    1151000 | #Constraints:      87260
1963.13/1970.12	c #Conflicts:    1152000 | #Constraints:      88260
1963.13/1970.12	c #Conflicts:    1153000 | #Constraints:      89261
1963.13/1970.12	c #Conflicts:    1154000 | #Constraints:      90261
1963.13/1970.12	c #Conflicts:    1155000 | #Constraints:      91261
1963.13/1970.12	c #Conflicts:    1156000 | #Constraints:      92261
1963.13/1970.12	c #Conflicts:    1157000 | #Constraints:      93261
1963.13/1970.12	c #Conflicts:    1158000 | #Constraints:      94261
1963.13/1970.12	c #Conflicts:    1159000 | #Constraints:      95261
1963.13/1970.12	c #Conflicts:    1160000 | #Constraints:      96261
1963.13/1970.12	c #Conflicts:    1161000 | #Constraints:      97261
1963.13/1970.12	c #Conflicts:    1162000 | #Constraints:      98261
1963.13/1970.12	c #Conflicts:    1163000 | #Constraints:      99261
1963.13/1970.12	c #Conflicts:    1164000 | #Constraints:     100261
1963.13/1970.12	c #Conflicts:    1165000 | #Constraints:     101261
1963.13/1970.12	c #Conflicts:    1166000 | #Constraints:     102261
1963.13/1970.12	c #Conflicts:    1167000 | #Constraints:     103262
1963.13/1970.12	c #Conflicts:    1168000 | #Constraints:     104262
1963.13/1970.12	c #Conflicts:    1169000 | #Constraints:     105262
1963.13/1970.12	c #Conflicts:    1170000 | #Constraints:     106262
1963.13/1970.12	c #Conflicts:    1171000 | #Constraints:     107262
1963.13/1970.12	c #Conflicts:    1172000 | #Constraints:     108262
1963.13/1970.12	c #Conflicts:    1173000 | #Constraints:     109262
1963.13/1970.12	c #Conflicts:    1174000 | #Constraints:     110262
1983.06/1990.12	c #Conflicts:    1175000 | #Constraints:     111262
1983.06/1990.12	c #Conflicts:    1176000 | #Constraints:     112262
1983.06/1990.12	c #Conflicts:    1177000 | #Constraints:     113262
1983.06/1990.12	c #Conflicts:    1178000 | #Constraints:     114262
1983.06/1990.12	c #Conflicts:    1179000 | #Constraints:     115262
1983.06/1990.12	c INPROCESSING
1983.06/1990.12	c GARBAGE COLLECT
1983.06/1990.12	c rational objective 90
2030.80/2038.09	c #Conflicts:    1180000 | #Constraints:      62048
2030.80/2038.09	c #Conflicts:    1181000 | #Constraints:      63048
2030.80/2038.09	c #Conflicts:    1182000 | #Constraints:      64048
2030.80/2038.09	c #Conflicts:    1183000 | #Constraints:      65048
2030.80/2038.09	c #Conflicts:    1184000 | #Constraints:      66048
2030.80/2038.09	c #Conflicts:    1185000 | #Constraints:      67049
2030.80/2038.09	c #Conflicts:    1186000 | #Constraints:      68050
2030.80/2038.09	c #Conflicts:    1187000 | #Constraints:      69050
2030.80/2038.09	c #Conflicts:    1188000 | #Constraints:      70050
2030.80/2038.09	c #Conflicts:    1189000 | #Constraints:      71051
2030.80/2038.09	c #Conflicts:    1190000 | #Constraints:      72051
2030.80/2038.09	c #Conflicts:    1191000 | #Constraints:      73051
2030.80/2038.09	c #Conflicts:    1192000 | #Constraints:      74051
2030.80/2038.09	c #Conflicts:    1193000 | #Constraints:      75051
2030.80/2038.09	c #Conflicts:    1194000 | #Constraints:      76051
2030.80/2038.09	c #Conflicts:    1195000 | #Constraints:      77051
2030.80/2038.09	c #Conflicts:    1196000 | #Constraints:      78051
2030.80/2038.09	c #Conflicts:    1197000 | #Constraints:      79051
2030.80/2038.09	c #Conflicts:    1198000 | #Constraints:      80051
2030.80/2038.09	c #Conflicts:    1199000 | #Constraints:      81051
2030.80/2038.09	c #Conflicts:    1200000 | #Constraints:      82051
2030.80/2038.09	c #Conflicts:    1201000 | #Constraints:      83051
2030.80/2038.09	c #Conflicts:    1202000 | #Constraints:      84051
2030.80/2038.09	c #Conflicts:    1203000 | #Constraints:      85051
2030.80/2038.09	c INPROCESSING
2030.80/2038.09	c GARBAGE COLLECT
2030.80/2038.09	c rational objective 90
2069.36/2076.72	c #Conflicts:    1204000 | #Constraints:      46807
2069.36/2076.72	c #Conflicts:    1205000 | #Constraints:      47808
2069.36/2076.72	c #Conflicts:    1206000 | #Constraints:      48809
2069.36/2076.72	c #Conflicts:    1207000 | #Constraints:      49809
2069.36/2076.72	c #Conflicts:    1208000 | #Constraints:      50809
2069.36/2076.72	c #Conflicts:    1209000 | #Constraints:      51810
2069.36/2076.72	c #Conflicts:    1210000 | #Constraints:      52810
2069.36/2076.72	c #Conflicts:    1211000 | #Constraints:      53810
2069.36/2076.72	c #Conflicts:    1212000 | #Constraints:      54810
2069.36/2076.72	c #Conflicts:    1213000 | #Constraints:      55810
2069.36/2076.72	c #Conflicts:    1214000 | #Constraints:      56810
2069.36/2076.72	c #Conflicts:    1215000 | #Constraints:      57810
2069.36/2076.72	c #Conflicts:    1216000 | #Constraints:      58810
2069.36/2076.72	c #Conflicts:    1217000 | #Constraints:      59811
2069.36/2076.72	c #Conflicts:    1218000 | #Constraints:      60811
2069.36/2076.72	c #Conflicts:    1219000 | #Constraints:      61811
2069.36/2076.72	c #Conflicts:    1220000 | #Constraints:      62811
2069.36/2076.72	c #Conflicts:    1221000 | #Constraints:      63811
2069.36/2076.72	c #Conflicts:    1222000 | #Constraints:      64811
2069.36/2076.72	c #Conflicts:    1223000 | #Constraints:      65811
2069.36/2076.72	c #Conflicts:    1224000 | #Constraints:      66811
2069.36/2076.72	c #Conflicts:    1225000 | #Constraints:      67811
2069.36/2076.72	c #Conflicts:    1226000 | #Constraints:      68811
2069.36/2076.72	c #Conflicts:    1227000 | #Constraints:      69811
2069.36/2076.72	c #Conflicts:    1228000 | #Constraints:      70811
2069.36/2076.72	c INPROCESSING
2069.36/2076.72	c GARBAGE COLLECT
2069.36/2076.72	c rational objective 90
2102.94/2110.46	c #Conflicts:    1229000 | #Constraints:      39858
2102.94/2110.46	c #Conflicts:    1230000 | #Constraints:      40858
2102.94/2110.46	c #Conflicts:    1231000 | #Constraints:      41858
2102.94/2110.46	c #Conflicts:    1232000 | #Constraints:      42858
2102.94/2110.46	c #Conflicts:    1233000 | #Constraints:      43860
2102.94/2110.46	c #Conflicts:    1234000 | #Constraints:      44861
2102.94/2110.46	c #Conflicts:    1235000 | #Constraints:      45861
2102.94/2110.46	c #Conflicts:    1236000 | #Constraints:      46861
2102.94/2110.46	c #Conflicts:    1237000 | #Constraints:      47861
2102.94/2110.46	c #Conflicts:    1238000 | #Constraints:      48861
2102.94/2110.46	c #Conflicts:    1239000 | #Constraints:      49861
2102.94/2110.46	c #Conflicts:    1240000 | #Constraints:      50861
2102.94/2110.46	c #Conflicts:    1241000 | #Constraints:      51861
2102.94/2110.46	c #Conflicts:    1242000 | #Constraints:      52861
2102.94/2110.46	c #Conflicts:    1243000 | #Constraints:      53861
2102.94/2110.46	c #Conflicts:    1244000 | #Constraints:      54861
2102.94/2110.46	c #Conflicts:    1245000 | #Constraints:      55861
2102.94/2110.46	c #Conflicts:    1246000 | #Constraints:      56861
2102.94/2110.46	c #Conflicts:    1247000 | #Constraints:      57861
2102.94/2110.46	c #Conflicts:    1248000 | #Constraints:      58861
2102.94/2110.46	c #Conflicts:    1249000 | #Constraints:      59861
2102.94/2110.46	c #Conflicts:    1250000 | #Constraints:      60861
2102.94/2110.46	c #Conflicts:    1251000 | #Constraints:      61861
2102.94/2110.46	c #Conflicts:    1252000 | #Constraints:      62861
2102.94/2110.46	c #Conflicts:    1253000 | #Constraints:      63861
2102.94/2110.46	c INPROCESSING
2102.94/2110.46	c GARBAGE COLLECT
2102.94/2110.46	c rational objective 90
2134.43/2142.05	c #Conflicts:    1254000 | #Constraints:      36533
2134.43/2142.05	c #Conflicts:    1255000 | #Constraints:      37533
2134.43/2142.05	c #Conflicts:    1256000 | #Constraints:      38533
2134.43/2142.05	c #Conflicts:    1257000 | #Constraints:      39533
2134.43/2142.05	c #Conflicts:    1258000 | #Constraints:      40533
2134.43/2142.05	c #Conflicts:    1259000 | #Constraints:      41533
2134.43/2142.05	c #Conflicts:    1260000 | #Constraints:      42534
2134.43/2142.05	c #Conflicts:    1261000 | #Constraints:      43535
2134.43/2142.05	c #Conflicts:    1262000 | #Constraints:      44535
2134.43/2142.05	c #Conflicts:    1263000 | #Constraints:      45535
2134.43/2142.05	c #Conflicts:    1264000 | #Constraints:      46535
2134.43/2142.05	c #Conflicts:    1265000 | #Constraints:      47535
2134.43/2142.05	c #Conflicts:    1266000 | #Constraints:      48535
2134.43/2142.05	c #Conflicts:    1267000 | #Constraints:      49535
2134.43/2142.05	c #Conflicts:    1268000 | #Constraints:      50535
2134.43/2142.05	c #Conflicts:    1269000 | #Constraints:      51535
2134.43/2142.05	c #Conflicts:    1270000 | #Constraints:      52535
2134.43/2142.05	c #Conflicts:    1271000 | #Constraints:      53535
2134.43/2142.05	c #Conflicts:    1272000 | #Constraints:      54535
2134.43/2142.05	c #Conflicts:    1273000 | #Constraints:      55535
2134.43/2142.05	c #Conflicts:    1274000 | #Constraints:      56535
2134.43/2142.05	c #Conflicts:    1275000 | #Constraints:      57535
2134.43/2142.05	c #Conflicts:    1276000 | #Constraints:      58535
2134.43/2142.05	c #Conflicts:    1277000 | #Constraints:      59535
2134.43/2142.05	c #Conflicts:    1278000 | #Constraints:      60535
2134.43/2142.05	c INPROCESSING
2134.43/2142.05	c GARBAGE COLLECT
2134.43/2142.05	c rational objective 90
2332.60/2340.94	c #Conflicts:    1279000 | #Constraints:      34886
2332.60/2340.94	c #Conflicts:    1280000 | #Constraints:      35886
2332.60/2340.94	c #Conflicts:    1281000 | #Constraints:      36887
2332.60/2340.94	c #Conflicts:    1282000 | #Constraints:      37887
2332.60/2340.94	c #Conflicts:    1283000 | #Constraints:      38887
2332.60/2340.94	c #Conflicts:    1284000 | #Constraints:      39887
2332.60/2340.94	c #Conflicts:    1285000 | #Constraints:      40887
2332.60/2340.94	c #Conflicts:    1286000 | #Constraints:      41887
2332.60/2340.94	c #Conflicts:    1287000 | #Constraints:      42887
2332.60/2340.94	c #Conflicts:    1288000 | #Constraints:      43887
2332.60/2340.94	c #Conflicts:    1289000 | #Constraints:      44887
2332.60/2340.94	c #Conflicts:    1290000 | #Constraints:      45887
2332.60/2340.94	c #Conflicts:    1291000 | #Constraints:      46887
2332.60/2340.94	c #Conflicts:    1292000 | #Constraints:      47887
2332.60/2340.94	c #Conflicts:    1293000 | #Constraints:      48887
2332.60/2340.94	c #Conflicts:    1294000 | #Constraints:      49887
2332.60/2340.94	c #Conflicts:    1295000 | #Constraints:      50887
2332.60/2340.94	c #Conflicts:    1296000 | #Constraints:      51887
2332.60/2340.94	c #Conflicts:    1297000 | #Constraints:      52888
2332.60/2340.94	c #Conflicts:    1298000 | #Constraints:      53888
2332.60/2340.94	c #Conflicts:    1299000 | #Constraints:      54889
2332.60/2340.94	c #Conflicts:    1300000 | #Constraints:      55889
2332.60/2340.94	c #Conflicts:    1301000 | #Constraints:      56889
2332.60/2340.94	c #Conflicts:    1302000 | #Constraints:      57889
2332.60/2340.94	c #Conflicts:    1303000 | #Constraints:      58889
2332.60/2340.94	c #Conflicts:    1304000 | #Constraints:      59890
2332.60/2340.94	c #Conflicts:    1305000 | #Constraints:      60891
2332.60/2340.94	c #Conflicts:    1306000 | #Constraints:      61891
2332.60/2340.94	c #Conflicts:    1307000 | #Constraints:      62891
2332.60/2340.94	c #Conflicts:    1308000 | #Constraints:      63891
2332.60/2340.94	c #Conflicts:    1309000 | #Constraints:      64891
2332.60/2340.94	c #Conflicts:    1310000 | #Constraints:      65891
2332.60/2340.94	c #Conflicts:    1311000 | #Constraints:      66891
2332.60/2340.94	c #Conflicts:    1312000 | #Constraints:      67891
2332.60/2340.94	c #Conflicts:    1313000 | #Constraints:      68891
2332.60/2340.94	c #Conflicts:    1314000 | #Constraints:      69891
2332.60/2340.94	c #Conflicts:    1315000 | #Constraints:      70891
2332.60/2340.94	c #Conflicts:    1316000 | #Constraints:      71891
2332.60/2340.94	c #Conflicts:    1317000 | #Constraints:      72891
2332.60/2340.94	c #Conflicts:    1318000 | #Constraints:      73891
2332.60/2340.94	c #Conflicts:    1319000 | #Constraints:      74891
2332.60/2340.94	c #Conflicts:    1320000 | #Constraints:      75891
2332.60/2340.94	c #Conflicts:    1321000 | #Constraints:      76891
2332.60/2340.94	c #Conflicts:    1322000 | #Constraints:      77891
2332.60/2340.94	c #Conflicts:    1323000 | #Constraints:      78891
2332.60/2340.94	c #Conflicts:    1324000 | #Constraints:      79891
2332.60/2340.94	c #Conflicts:    1325000 | #Constraints:      80891
2332.60/2340.94	c #Conflicts:    1326000 | #Constraints:      81891
2332.60/2340.94	c #Conflicts:    1327000 | #Constraints:      82891
2332.60/2340.94	c #Conflicts:    1328000 | #Constraints:      83891
2332.60/2340.94	c #Conflicts:    1329000 | #Constraints:      84891
2332.60/2340.94	c #Conflicts:    1330000 | #Constraints:      85891
2332.60/2340.94	c #Conflicts:    1331000 | #Constraints:      86891
2332.60/2340.94	c #Conflicts:    1332000 | #Constraints:      87891
2332.60/2340.94	c #Conflicts:    1333000 | #Constraints:      88891
2332.60/2340.94	c #Conflicts:    1334000 | #Constraints:      89891
2332.60/2340.94	c #Conflicts:    1335000 | #Constraints:      90891
2332.60/2340.94	c #Conflicts:    1336000 | #Constraints:      91891
2332.60/2340.94	c #Conflicts:    1337000 | #Constraints:      92891
2332.60/2340.94	c #Conflicts:    1338000 | #Constraints:      93891
2332.60/2340.94	c #Conflicts:    1339000 | #Constraints:      94891
2332.60/2340.94	c #Conflicts:    1340000 | #Constraints:      95891
2332.60/2340.94	c #Conflicts:    1341000 | #Constraints:      96891
2332.60/2340.94	c #Conflicts:    1342000 | #Constraints:      97891
2332.60/2340.94	c #Conflicts:    1343000 | #Constraints:      98891
2332.60/2340.94	c #Conflicts:    1344000 | #Constraints:      99891
2332.60/2340.94	c #Conflicts:    1345000 | #Constraints:     100891
2332.60/2340.94	c #Conflicts:    1346000 | #Constraints:     101891
2332.60/2340.94	c #Conflicts:    1347000 | #Constraints:     102891
2332.60/2340.94	c #Conflicts:    1348000 | #Constraints:     103891
2332.60/2340.94	c #Conflicts:    1349000 | #Constraints:     104891
2332.60/2340.94	c #Conflicts:    1350000 | #Constraints:     105891
2332.60/2340.94	c #Conflicts:    1351000 | #Constraints:     106891
2332.60/2340.94	c #Conflicts:    1352000 | #Constraints:     107892
2332.60/2340.94	c #Conflicts:    1353000 | #Constraints:     108893
2332.60/2340.94	c #Conflicts:    1354000 | #Constraints:     109895
2332.60/2340.94	c #Conflicts:    1355000 | #Constraints:     110895
2332.60/2340.94	c #Conflicts:    1356000 | #Constraints:     111895
2332.60/2340.94	c #Conflicts:    1357000 | #Constraints:     112895
2381.71/2390.26	c #Conflicts:    1358000 | #Constraints:     113895
2381.71/2390.26	c #Conflicts:    1359000 | #Constraints:     114895
2381.71/2390.26	c #Conflicts:    1360000 | #Constraints:     115895
2381.71/2390.26	c #Conflicts:    1361000 | #Constraints:     116895
2381.71/2390.26	c #Conflicts:    1362000 | #Constraints:     117895
2381.71/2390.26	c #Conflicts:    1363000 | #Constraints:     118895
2381.71/2390.26	c #Conflicts:    1364000 | #Constraints:     119895
2381.71/2390.26	c #Conflicts:    1365000 | #Constraints:     120895
2381.71/2390.26	c #Conflicts:    1366000 | #Constraints:     121896
2381.71/2390.26	c #Conflicts:    1367000 | #Constraints:     122896
2381.71/2390.26	c #Conflicts:    1368000 | #Constraints:     123896
2381.71/2390.26	c INPROCESSING
2381.71/2390.26	c GARBAGE COLLECT
2381.71/2390.26	c rational objective 90
2437.41/2446.11	c #Conflicts:    1369000 | #Constraints:      66565
2437.41/2446.11	c #Conflicts:    1370000 | #Constraints:      67565
2437.41/2446.11	c #Conflicts:    1371000 | #Constraints:      68565
2437.41/2446.11	c #Conflicts:    1372000 | #Constraints:      69565
2437.41/2446.11	c #Conflicts:    1373000 | #Constraints:      70565
2437.41/2446.11	c #Conflicts:    1374000 | #Constraints:      71566
2437.41/2446.11	c #Conflicts:    1375000 | #Constraints:      72566
2437.41/2446.11	c #Conflicts:    1376000 | #Constraints:      73566
2437.41/2446.11	c #Conflicts:    1377000 | #Constraints:      74566
2437.41/2446.11	c #Conflicts:    1378000 | #Constraints:      75566
2437.41/2446.11	c #Conflicts:    1379000 | #Constraints:      76566
2437.41/2446.11	c #Conflicts:    1380000 | #Constraints:      77566
2437.41/2446.11	c #Conflicts:    1381000 | #Constraints:      78566
2437.41/2446.11	c #Conflicts:    1382000 | #Constraints:      79566
2437.41/2446.11	c #Conflicts:    1383000 | #Constraints:      80566
2437.41/2446.11	c #Conflicts:    1384000 | #Constraints:      81566
2437.41/2446.11	c #Conflicts:    1385000 | #Constraints:      82566
2437.41/2446.11	c #Conflicts:    1386000 | #Constraints:      83566
2437.41/2446.11	c #Conflicts:    1387000 | #Constraints:      84566
2437.41/2446.11	c #Conflicts:    1388000 | #Constraints:      85566
2437.41/2446.11	c #Conflicts:    1389000 | #Constraints:      86566
2437.41/2446.11	c #Conflicts:    1390000 | #Constraints:      87566
2437.41/2446.11	c #Conflicts:    1391000 | #Constraints:      88566
2437.41/2446.11	c #Conflicts:    1392000 | #Constraints:      89566
2437.41/2446.11	c #Conflicts:    1393000 | #Constraints:      90566
2437.41/2446.11	c #Conflicts:    1394000 | #Constraints:      91566
2437.41/2446.11	c INPROCESSING
2437.41/2446.11	c GARBAGE COLLECT
2437.41/2446.11	c rational objective 90
2480.35/2489.28	c #Conflicts:    1395000 | #Constraints:      50205
2480.35/2489.28	c #Conflicts:    1396000 | #Constraints:      51205
2480.35/2489.28	c #Conflicts:    1397000 | #Constraints:      52206
2480.35/2489.28	c #Conflicts:    1398000 | #Constraints:      53206
2480.35/2489.28	c #Conflicts:    1399000 | #Constraints:      54206
2480.35/2489.28	c #Conflicts:    1400000 | #Constraints:      55206
2480.35/2489.28	c #Conflicts:    1401000 | #Constraints:      56206
2480.35/2489.28	c #Conflicts:    1402000 | #Constraints:      57206
2480.35/2489.28	c #Conflicts:    1403000 | #Constraints:      58206
2480.35/2489.28	c #Conflicts:    1404000 | #Constraints:      59207
2480.35/2489.28	c #Conflicts:    1405000 | #Constraints:      60207
2480.35/2489.28	c #Conflicts:    1406000 | #Constraints:      61207
2480.35/2489.28	c #Conflicts:    1407000 | #Constraints:      62207
2480.35/2489.28	c #Conflicts:    1408000 | #Constraints:      63207
2480.35/2489.28	c #Conflicts:    1409000 | #Constraints:      64207
2480.35/2489.28	c #Conflicts:    1410000 | #Constraints:      65207
2480.35/2489.28	c #Conflicts:    1411000 | #Constraints:      66207
2480.35/2489.28	c #Conflicts:    1412000 | #Constraints:      67207
2480.35/2489.28	c #Conflicts:    1413000 | #Constraints:      68207
2480.35/2489.28	c #Conflicts:    1414000 | #Constraints:      69207
2480.35/2489.28	c #Conflicts:    1415000 | #Constraints:      70207
2480.35/2489.28	c #Conflicts:    1416000 | #Constraints:      71207
2480.35/2489.28	c #Conflicts:    1417000 | #Constraints:      72207
2480.35/2489.28	c #Conflicts:    1418000 | #Constraints:      73207
2480.35/2489.28	c #Conflicts:    1419000 | #Constraints:      74207
2480.35/2489.28	c #Conflicts:    1420000 | #Constraints:      75207
2480.35/2489.28	c INPROCESSING
2480.35/2489.28	c GARBAGE COLLECT
2480.35/2489.28	c rational objective 90
2525.99/2535.10	c #Conflicts:    1421000 | #Constraints:      41887
2525.99/2535.10	c #Conflicts:    1422000 | #Constraints:      42887
2525.99/2535.10	c #Conflicts:    1423000 | #Constraints:      43887
2525.99/2535.10	c #Conflicts:    1424000 | #Constraints:      44888
2525.99/2535.10	c #Conflicts:    1425000 | #Constraints:      45888
2525.99/2535.10	c #Conflicts:    1426000 | #Constraints:      46888
2525.99/2535.10	c #Conflicts:    1427000 | #Constraints:      47888
2525.99/2535.10	c #Conflicts:    1428000 | #Constraints:      48888
2525.99/2535.10	c #Conflicts:    1429000 | #Constraints:      49888
2525.99/2535.10	c #Conflicts:    1430000 | #Constraints:      50888
2525.99/2535.10	c #Conflicts:    1431000 | #Constraints:      51888
2525.99/2535.10	c #Conflicts:    1432000 | #Constraints:      52888
2525.99/2535.10	c #Conflicts:    1433000 | #Constraints:      53888
2525.99/2535.10	c #Conflicts:    1434000 | #Constraints:      54888
2525.99/2535.10	c #Conflicts:    1435000 | #Constraints:      55888
2525.99/2535.10	c #Conflicts:    1436000 | #Constraints:      56888
2525.99/2535.10	c #Conflicts:    1437000 | #Constraints:      57889
2525.99/2535.10	c #Conflicts:    1438000 | #Constraints:      58889
2525.99/2535.10	c #Conflicts:    1439000 | #Constraints:      59889
2525.99/2535.10	c #Conflicts:    1440000 | #Constraints:      60889
2525.99/2535.10	c #Conflicts:    1441000 | #Constraints:      61889
2525.99/2535.10	c #Conflicts:    1442000 | #Constraints:      62889
2525.99/2535.10	c #Conflicts:    1443000 | #Constraints:      63889
2525.99/2535.10	c #Conflicts:    1444000 | #Constraints:      64889
2525.99/2535.10	c #Conflicts:    1445000 | #Constraints:      65889
2525.99/2535.10	c #Conflicts:    1446000 | #Constraints:      66889
2525.99/2535.10	c #Conflicts:    1447000 | #Constraints:      67889
2525.99/2535.10	c INPROCESSING
2525.99/2535.10	c GARBAGE COLLECT
2525.99/2535.10	c rational objective 90
2571.12/2580.38	c #Conflicts:    1448000 | #Constraints:      38358
2571.12/2580.38	c #Conflicts:    1449000 | #Constraints:      39358
2571.12/2580.38	c #Conflicts:    1450000 | #Constraints:      40358
2571.12/2580.38	c #Conflicts:    1451000 | #Constraints:      41358
2571.12/2580.38	c #Conflicts:    1452000 | #Constraints:      42358
2571.12/2580.38	c #Conflicts:    1453000 | #Constraints:      43358
2571.12/2580.38	c #Conflicts:    1454000 | #Constraints:      44358
2571.12/2580.38	c #Conflicts:    1455000 | #Constraints:      45358
2571.12/2580.38	c #Conflicts:    1456000 | #Constraints:      46358
2571.12/2580.38	c #Conflicts:    1457000 | #Constraints:      47358
2571.12/2580.38	c #Conflicts:    1458000 | #Constraints:      48358
2571.12/2580.38	c #Conflicts:    1459000 | #Constraints:      49358
2571.12/2580.38	c #Conflicts:    1460000 | #Constraints:      50358
2571.12/2580.38	c #Conflicts:    1461000 | #Constraints:      51358
2571.12/2580.38	c #Conflicts:    1462000 | #Constraints:      52358
2571.12/2580.38	c #Conflicts:    1463000 | #Constraints:      53359
2571.12/2580.38	c #Conflicts:    1464000 | #Constraints:      54359
2571.12/2580.38	c #Conflicts:    1465000 | #Constraints:      55359
2571.12/2580.38	c #Conflicts:    1466000 | #Constraints:      56360
2571.12/2580.38	c #Conflicts:    1467000 | #Constraints:      57360
2571.12/2580.38	c #Conflicts:    1468000 | #Constraints:      58360
2571.12/2580.38	c #Conflicts:    1469000 | #Constraints:      59360
2571.12/2580.38	c #Conflicts:    1470000 | #Constraints:      60360
2571.12/2580.38	c #Conflicts:    1471000 | #Constraints:      61360
2571.12/2580.38	c #Conflicts:    1472000 | #Constraints:      62360
2571.12/2580.38	c #Conflicts:    1473000 | #Constraints:      63360
2571.12/2580.38	c #Conflicts:    1474000 | #Constraints:      64361
2571.12/2580.38	c INPROCESSING
2571.12/2580.38	c GARBAGE COLLECT
2571.12/2580.38	c rational objective 90
2753.46/2763.34	c #Conflicts:    1475000 | #Constraints:      36594
2753.46/2763.34	c #Conflicts:    1476000 | #Constraints:      37594
2753.46/2763.34	c #Conflicts:    1477000 | #Constraints:      38594
2753.46/2763.34	c #Conflicts:    1478000 | #Constraints:      39594
2753.46/2763.34	c #Conflicts:    1479000 | #Constraints:      40594
2753.46/2763.34	c #Conflicts:    1480000 | #Constraints:      41594
2753.46/2763.34	c #Conflicts:    1481000 | #Constraints:      42594
2753.46/2763.34	c #Conflicts:    1482000 | #Constraints:      43594
2753.46/2763.34	c #Conflicts:    1483000 | #Constraints:      44594
2753.46/2763.34	c #Conflicts:    1484000 | #Constraints:      45594
2753.46/2763.34	c #Conflicts:    1485000 | #Constraints:      46594
2753.46/2763.34	c #Conflicts:    1486000 | #Constraints:      47594
2753.46/2763.34	c #Conflicts:    1487000 | #Constraints:      48594
2753.46/2763.34	c #Conflicts:    1488000 | #Constraints:      49594
2753.46/2763.34	c #Conflicts:    1489000 | #Constraints:      50594
2753.46/2763.34	c #Conflicts:    1490000 | #Constraints:      51594
2753.46/2763.34	c #Conflicts:    1491000 | #Constraints:      52594
2753.46/2763.34	c #Conflicts:    1492000 | #Constraints:      53594
2753.46/2763.34	c #Conflicts:    1493000 | #Constraints:      54595
2753.46/2763.34	c #Conflicts:    1494000 | #Constraints:      55595
2753.46/2763.34	c #Conflicts:    1495000 | #Constraints:      56595
2753.46/2763.34	c #Conflicts:    1496000 | #Constraints:      57595
2753.46/2763.34	c #Conflicts:    1497000 | #Constraints:      58595
2753.46/2763.34	c #Conflicts:    1498000 | #Constraints:      59596
2753.46/2763.34	c #Conflicts:    1499000 | #Constraints:      60596
2753.46/2763.34	c #Conflicts:    1500000 | #Constraints:      61596
2753.46/2763.34	c #Conflicts:    1501000 | #Constraints:      62597
2753.46/2763.34	c #Conflicts:    1502000 | #Constraints:      63597
2753.46/2763.34	c #Conflicts:    1503000 | #Constraints:      64597
2753.46/2763.34	c #Conflicts:    1504000 | #Constraints:      65597
2753.46/2763.34	c #Conflicts:    1505000 | #Constraints:      66597
2753.46/2763.34	c #Conflicts:    1506000 | #Constraints:      67597
2753.46/2763.34	c #Conflicts:    1507000 | #Constraints:      68597
2753.46/2763.34	c #Conflicts:    1508000 | #Constraints:      69597
2753.46/2763.34	c #Conflicts:    1509000 | #Constraints:      70597
2753.46/2763.34	c #Conflicts:    1510000 | #Constraints:      71597
2753.46/2763.34	c #Conflicts:    1511000 | #Constraints:      72597
2753.46/2763.34	c #Conflicts:    1512000 | #Constraints:      73597
2753.46/2763.34	c #Conflicts:    1513000 | #Constraints:      74597
2753.46/2763.34	c #Conflicts:    1514000 | #Constraints:      75597
2753.46/2763.34	c #Conflicts:    1515000 | #Constraints:      76597
2753.46/2763.34	c #Conflicts:    1516000 | #Constraints:      77598
2753.46/2763.34	c #Conflicts:    1517000 | #Constraints:      78598
2753.46/2763.34	c #Conflicts:    1518000 | #Constraints:      79598
2753.46/2763.34	c #Conflicts:    1519000 | #Constraints:      80599
2753.46/2763.34	c #Conflicts:    1520000 | #Constraints:      81600
2753.46/2763.34	c #Conflicts:    1521000 | #Constraints:      82600
2753.46/2763.34	c #Conflicts:    1522000 | #Constraints:      83600
2753.46/2763.34	c #Conflicts:    1523000 | #Constraints:      84600
2753.46/2763.34	c #Conflicts:    1524000 | #Constraints:      85600
2753.46/2763.34	c #Conflicts:    1525000 | #Constraints:      86600
2753.46/2763.34	c #Conflicts:    1526000 | #Constraints:      87600
2753.46/2763.34	c #Conflicts:    1527000 | #Constraints:      88600
2753.46/2763.34	c #Conflicts:    1528000 | #Constraints:      89600
2753.46/2763.34	c #Conflicts:    1529000 | #Constraints:      90600
2753.46/2763.34	c #Conflicts:    1530000 | #Constraints:      91600
2753.46/2763.34	c #Conflicts:    1531000 | #Constraints:      92600
2753.46/2763.34	c #Conflicts:    1532000 | #Constraints:      93600
2753.46/2763.34	c #Conflicts:    1533000 | #Constraints:      94600
2753.46/2763.34	c #Conflicts:    1534000 | #Constraints:      95600
2753.46/2763.34	c #Conflicts:    1535000 | #Constraints:      96600
2753.46/2763.34	c #Conflicts:    1536000 | #Constraints:      97600
2753.46/2763.34	c #Conflicts:    1537000 | #Constraints:      98600
2753.46/2763.34	c #Conflicts:    1538000 | #Constraints:      99600
2753.46/2763.34	c #Conflicts:    1539000 | #Constraints:     100600
2753.46/2763.34	c #Conflicts:    1540000 | #Constraints:     101601
2753.46/2763.34	c #Conflicts:    1541000 | #Constraints:     102601
2753.46/2763.34	c #Conflicts:    1542000 | #Constraints:     103601
2753.46/2763.34	c #Conflicts:    1543000 | #Constraints:     104602
2753.46/2763.34	c #Conflicts:    1544000 | #Constraints:     105602
2753.46/2763.34	c #Conflicts:    1545000 | #Constraints:     106602
2753.46/2763.34	c #Conflicts:    1546000 | #Constraints:     107602
2753.46/2763.34	c #Conflicts:    1547000 | #Constraints:     108602
2753.46/2763.34	c #Conflicts:    1548000 | #Constraints:     109602
2753.46/2763.34	c #Conflicts:    1549000 | #Constraints:     110602
2753.46/2763.34	c #Conflicts:    1550000 | #Constraints:     111603
2753.46/2763.34	c #Conflicts:    1551000 | #Constraints:     112603
2753.46/2763.34	c #Conflicts:    1552000 | #Constraints:     113603
2753.46/2763.34	c #Conflicts:    1553000 | #Constraints:     114603
2818.32/2828.46	c #Conflicts:    1554000 | #Constraints:     115603
2818.32/2828.46	c #Conflicts:    1555000 | #Constraints:     116603
2818.32/2828.46	c #Conflicts:    1556000 | #Constraints:     117603
2818.32/2828.46	c #Conflicts:    1557000 | #Constraints:     118603
2818.32/2828.46	c #Conflicts:    1558000 | #Constraints:     119603
2818.32/2828.46	c #Conflicts:    1559000 | #Constraints:     120603
2818.32/2828.46	c #Conflicts:    1560000 | #Constraints:     121603
2818.32/2828.46	c #Conflicts:    1561000 | #Constraints:     122603
2818.32/2828.46	c #Conflicts:    1562000 | #Constraints:     123603
2818.32/2828.46	c #Conflicts:    1563000 | #Constraints:     124604
2818.32/2828.46	c #Conflicts:    1564000 | #Constraints:     125604
2818.32/2828.46	c #Conflicts:    1565000 | #Constraints:     126604
2818.32/2828.46	c #Conflicts:    1566000 | #Constraints:     127604
2818.32/2828.46	c #Conflicts:    1567000 | #Constraints:     128604
2818.32/2828.46	c #Conflicts:    1568000 | #Constraints:     129604
2818.32/2828.46	c #Conflicts:    1569000 | #Constraints:     130605
2818.32/2828.46	c #Conflicts:    1570000 | #Constraints:     131605
2818.32/2828.46	c INPROCESSING
2818.32/2828.46	c GARBAGE COLLECT
2818.32/2828.46	c rational objective 90
2886.68/2897.05	c #Conflicts:    1571000 | #Constraints:      70048
2886.68/2897.05	c #Conflicts:    1572000 | #Constraints:      71048
2886.68/2897.05	c #Conflicts:    1573000 | #Constraints:      72048
2886.68/2897.05	c #Conflicts:    1574000 | #Constraints:      73048
2886.68/2897.05	c #Conflicts:    1575000 | #Constraints:      74048
2886.68/2897.05	c #Conflicts:    1576000 | #Constraints:      75048
2886.68/2897.05	c #Conflicts:    1577000 | #Constraints:      76048
2886.68/2897.05	c #Conflicts:    1578000 | #Constraints:      77048
2886.68/2897.05	c #Conflicts:    1579000 | #Constraints:      78048
2886.68/2897.05	c #Conflicts:    1580000 | #Constraints:      79048
2886.68/2897.05	c #Conflicts:    1581000 | #Constraints:      80048
2886.68/2897.05	c #Conflicts:    1582000 | #Constraints:      81048
2886.68/2897.05	c #Conflicts:    1583000 | #Constraints:      82048
2886.68/2897.05	c #Conflicts:    1584000 | #Constraints:      83048
2886.68/2897.05	c #Conflicts:    1585000 | #Constraints:      84048
2886.68/2897.05	c #Conflicts:    1586000 | #Constraints:      85048
2886.68/2897.05	c #Conflicts:    1587000 | #Constraints:      86048
2886.68/2897.05	c #Conflicts:    1588000 | #Constraints:      87048
2886.68/2897.05	c #Conflicts:    1589000 | #Constraints:      88048
2886.68/2897.05	c #Conflicts:    1590000 | #Constraints:      89048
2886.68/2897.05	c #Conflicts:    1591000 | #Constraints:      90048
2886.68/2897.05	c #Conflicts:    1592000 | #Constraints:      91048
2886.68/2897.05	c #Conflicts:    1593000 | #Constraints:      92048
2886.68/2897.05	c #Conflicts:    1594000 | #Constraints:      93048
2886.68/2897.05	c #Conflicts:    1595000 | #Constraints:      94048
2886.68/2897.05	c #Conflicts:    1596000 | #Constraints:      95048
2886.68/2897.05	c #Conflicts:    1597000 | #Constraints:      96048
2886.68/2897.05	c #Conflicts:    1598000 | #Constraints:      97048
2886.68/2897.05	c #Conflicts:    1599000 | #Constraints:      98048
2886.68/2897.05	c INPROCESSING
2886.68/2897.05	c GARBAGE COLLECT
2886.68/2897.05	c rational objective 90
2977.25/2987.90	c #Conflicts:    1600000 | #Constraints:      53682
2977.25/2987.90	c #Conflicts:    1601000 | #Constraints:      54682
2977.25/2987.90	c #Conflicts:    1602000 | #Constraints:      55682
2977.25/2987.90	c #Conflicts:    1603000 | #Constraints:      56682
2977.25/2987.90	c #Conflicts:    1604000 | #Constraints:      57682
2977.25/2987.90	c #Conflicts:    1605000 | #Constraints:      58682
2977.25/2987.90	c #Conflicts:    1606000 | #Constraints:      59682
2977.25/2987.90	c #Conflicts:    1607000 | #Constraints:      60682
2977.25/2987.90	c #Conflicts:    1608000 | #Constraints:      61682
2977.25/2987.90	c #Conflicts:    1609000 | #Constraints:      62682
2977.25/2987.90	c #Conflicts:    1610000 | #Constraints:      63682
2977.25/2987.90	c #Conflicts:    1611000 | #Constraints:      64682
2977.25/2987.90	c #Conflicts:    1612000 | #Constraints:      65682
2977.25/2987.90	c #Conflicts:    1613000 | #Constraints:      66682
2977.25/2987.90	c #Conflicts:    1614000 | #Constraints:      67682
2977.25/2987.90	c #Conflicts:    1615000 | #Constraints:      68682
2977.25/2987.90	c #Conflicts:    1616000 | #Constraints:      69682
2977.25/2987.90	c #Conflicts:    1617000 | #Constraints:      70682
2977.25/2987.90	c #Conflicts:    1618000 | #Constraints:      71682
2977.25/2987.90	c #Conflicts:    1619000 | #Constraints:      72682
2977.25/2987.90	c #Conflicts:    1620000 | #Constraints:      73682
2977.25/2987.90	c #Conflicts:    1621000 | #Constraints:      74682
2977.25/2987.90	c #Conflicts:    1622000 | #Constraints:      75683
2977.25/2987.90	c #Conflicts:    1623000 | #Constraints:      76683
2977.25/2987.90	c #Conflicts:    1624000 | #Constraints:      77683
2977.25/2987.90	c #Conflicts:    1625000 | #Constraints:      78683
2977.25/2987.90	c #Conflicts:    1626000 | #Constraints:      79683
2977.25/2987.90	c #Conflicts:    1627000 | #Constraints:      80683
2977.25/2987.90	c INPROCESSING
2977.25/2987.90	c GARBAGE COLLECT
2977.25/2987.90	c rational objective 90
3028.67/3039.58	c #Conflicts:    1628000 | #Constraints:      44826
3028.67/3039.58	c #Conflicts:    1629000 | #Constraints:      45826
3028.67/3039.58	c #Conflicts:    1630000 | #Constraints:      46826
3028.67/3039.58	c #Conflicts:    1631000 | #Constraints:      47826
3028.67/3039.58	c #Conflicts:    1632000 | #Constraints:      48826
3028.67/3039.58	c #Conflicts:    1633000 | #Constraints:      49827
3028.67/3039.58	c #Conflicts:    1634000 | #Constraints:      50827
3028.67/3039.58	c #Conflicts:    1635000 | #Constraints:      51827
3028.67/3039.58	c #Conflicts:    1636000 | #Constraints:      52827
3028.67/3039.58	c #Conflicts:    1637000 | #Constraints:      53827
3028.67/3039.58	c #Conflicts:    1638000 | #Constraints:      54827
3028.67/3039.58	c #Conflicts:    1639000 | #Constraints:      55827
3028.67/3039.58	c #Conflicts:    1640000 | #Constraints:      56827
3028.67/3039.58	c #Conflicts:    1641000 | #Constraints:      57827
3028.67/3039.58	c #Conflicts:    1642000 | #Constraints:      58827
3028.67/3039.58	c #Conflicts:    1643000 | #Constraints:      59827
3028.67/3039.58	c #Conflicts:    1644000 | #Constraints:      60827
3028.67/3039.58	c #Conflicts:    1645000 | #Constraints:      61827
3028.67/3039.58	c #Conflicts:    1646000 | #Constraints:      62827
3028.67/3039.58	c #Conflicts:    1647000 | #Constraints:      63827
3028.67/3039.58	c #Conflicts:    1648000 | #Constraints:      64827
3028.67/3039.58	c #Conflicts:    1649000 | #Constraints:      65827
3028.67/3039.58	c #Conflicts:    1650000 | #Constraints:      66827
3028.67/3039.58	c #Conflicts:    1651000 | #Constraints:      67827
3028.67/3039.58	c #Conflicts:    1652000 | #Constraints:      68827
3028.67/3039.58	c #Conflicts:    1653000 | #Constraints:      69827
3028.67/3039.58	c #Conflicts:    1654000 | #Constraints:      70827
3028.67/3039.58	c #Conflicts:    1655000 | #Constraints:      71827
3028.67/3039.58	c #Conflicts:    1656000 | #Constraints:      72828
3028.67/3039.58	c INPROCESSING
3028.67/3039.58	c GARBAGE COLLECT
3028.67/3039.58	c rational objective 90
3067.94/3078.95	c #Conflicts:    1657000 | #Constraints:      41020
3067.94/3078.95	c #Conflicts:    1658000 | #Constraints:      42020
3067.94/3078.95	c #Conflicts:    1659000 | #Constraints:      43020
3067.94/3078.95	c #Conflicts:    1660000 | #Constraints:      44020
3067.94/3078.95	c #Conflicts:    1661000 | #Constraints:      45020
3067.94/3078.95	c #Conflicts:    1662000 | #Constraints:      46020
3067.94/3078.95	c #Conflicts:    1663000 | #Constraints:      47020
3067.94/3078.95	c #Conflicts:    1664000 | #Constraints:      48020
3067.94/3078.95	c #Conflicts:    1665000 | #Constraints:      49020
3067.94/3078.95	c #Conflicts:    1666000 | #Constraints:      50020
3067.94/3078.95	c #Conflicts:    1667000 | #Constraints:      51020
3067.94/3078.95	c #Conflicts:    1668000 | #Constraints:      52020
3067.94/3078.95	c #Conflicts:    1669000 | #Constraints:      53020
3067.94/3078.95	c #Conflicts:    1670000 | #Constraints:      54020
3067.94/3078.95	c #Conflicts:    1671000 | #Constraints:      55020
3067.94/3078.95	c #Conflicts:    1672000 | #Constraints:      56020
3067.94/3078.95	c #Conflicts:    1673000 | #Constraints:      57020
3067.94/3078.95	c #Conflicts:    1674000 | #Constraints:      58020
3067.94/3078.95	c #Conflicts:    1675000 | #Constraints:      59020
3067.94/3078.95	c #Conflicts:    1676000 | #Constraints:      60020
3067.94/3078.95	c #Conflicts:    1677000 | #Constraints:      61020
3067.94/3078.95	c #Conflicts:    1678000 | #Constraints:      62020
3067.94/3078.95	c #Conflicts:    1679000 | #Constraints:      63020
3067.94/3078.95	c #Conflicts:    1680000 | #Constraints:      64020
3067.94/3078.95	c #Conflicts:    1681000 | #Constraints:      65020
3067.94/3078.95	c #Conflicts:    1682000 | #Constraints:      66020
3067.94/3078.95	c #Conflicts:    1683000 | #Constraints:      67020
3067.94/3078.95	c #Conflicts:    1684000 | #Constraints:      68020
3067.94/3078.95	c INPROCESSING
3067.94/3078.95	c GARBAGE COLLECT
3067.94/3078.95	c rational objective 90
3259.14/3270.72	c #Conflicts:    1685000 | #Constraints:      38226
3259.14/3270.72	c #Conflicts:    1686000 | #Constraints:      39226
3259.14/3270.72	c #Conflicts:    1687000 | #Constraints:      40226
3259.14/3270.72	c #Conflicts:    1688000 | #Constraints:      41226
3259.14/3270.72	c #Conflicts:    1689000 | #Constraints:      42226
3259.14/3270.72	c #Conflicts:    1690000 | #Constraints:      43226
3259.14/3270.72	c #Conflicts:    1691000 | #Constraints:      44226
3259.14/3270.72	c #Conflicts:    1692000 | #Constraints:      45226
3259.14/3270.72	c #Conflicts:    1693000 | #Constraints:      46226
3259.14/3270.72	c #Conflicts:    1694000 | #Constraints:      47226
3259.14/3270.72	c #Conflicts:    1695000 | #Constraints:      48226
3259.14/3270.72	c #Conflicts:    1696000 | #Constraints:      49226
3259.14/3270.72	c #Conflicts:    1697000 | #Constraints:      50226
3259.14/3270.72	c #Conflicts:    1698000 | #Constraints:      51226
3259.14/3270.72	c #Conflicts:    1699000 | #Constraints:      52226
3259.14/3270.72	c #Conflicts:    1700000 | #Constraints:      53226
3259.14/3270.72	c #Conflicts:    1701000 | #Constraints:      54226
3259.14/3270.72	c #Conflicts:    1702000 | #Constraints:      55226
3259.14/3270.72	c #Conflicts:    1703000 | #Constraints:      56226
3259.14/3270.72	c #Conflicts:    1704000 | #Constraints:      57226
3259.14/3270.72	c #Conflicts:    1705000 | #Constraints:      58226
3259.14/3270.72	c #Conflicts:    1706000 | #Constraints:      59227
3259.14/3270.72	c #Conflicts:    1707000 | #Constraints:      60227
3259.14/3270.72	c #Conflicts:    1708000 | #Constraints:      61227
3259.14/3270.72	c #Conflicts:    1709000 | #Constraints:      62227
3259.14/3270.72	c #Conflicts:    1710000 | #Constraints:      63227
3259.14/3270.72	c #Conflicts:    1711000 | #Constraints:      64227
3259.14/3270.72	c #Conflicts:    1712000 | #Constraints:      65227
3259.14/3270.72	c #Conflicts:    1713000 | #Constraints:      66227
3259.14/3270.72	c #Conflicts:    1714000 | #Constraints:      67227
3259.14/3270.72	c #Conflicts:    1715000 | #Constraints:      68227
3259.14/3270.72	c #Conflicts:    1716000 | #Constraints:      69227
3259.14/3270.72	c #Conflicts:    1717000 | #Constraints:      70227
3259.14/3270.72	c #Conflicts:    1718000 | #Constraints:      71227
3259.14/3270.72	c #Conflicts:    1719000 | #Constraints:      72227
3259.14/3270.72	c #Conflicts:    1720000 | #Constraints:      73227
3259.14/3270.72	c #Conflicts:    1721000 | #Constraints:      74227
3259.14/3270.72	c #Conflicts:    1722000 | #Constraints:      75227
3259.14/3270.72	c #Conflicts:    1723000 | #Constraints:      76227
3259.14/3270.72	c #Conflicts:    1724000 | #Constraints:      77227
3259.14/3270.72	c #Conflicts:    1725000 | #Constraints:      78227
3259.14/3270.72	c #Conflicts:    1726000 | #Constraints:      79227
3259.14/3270.72	c #Conflicts:    1727000 | #Constraints:      80227
3259.14/3270.72	c #Conflicts:    1728000 | #Constraints:      81227
3259.14/3270.72	c #Conflicts:    1729000 | #Constraints:      82227
3259.14/3270.72	c #Conflicts:    1730000 | #Constraints:      83227
3259.14/3270.72	c #Conflicts:    1731000 | #Constraints:      84227
3259.14/3270.72	c #Conflicts:    1732000 | #Constraints:      85227
3259.14/3270.72	c #Conflicts:    1733000 | #Constraints:      86227
3259.14/3270.72	c #Conflicts:    1734000 | #Constraints:      87227
3259.14/3270.72	c #Conflicts:    1735000 | #Constraints:      88227
3259.14/3270.72	c #Conflicts:    1736000 | #Constraints:      89227
3259.14/3270.72	c #Conflicts:    1737000 | #Constraints:      90227
3259.14/3270.72	c #Conflicts:    1738000 | #Constraints:      91228
3259.14/3270.72	c #Conflicts:    1739000 | #Constraints:      92228
3259.14/3270.72	c #Conflicts:    1740000 | #Constraints:      93228
3259.14/3270.72	c #Conflicts:    1741000 | #Constraints:      94228
3259.14/3270.72	c #Conflicts:    1742000 | #Constraints:      95228
3259.14/3270.72	c #Conflicts:    1743000 | #Constraints:      96228
3259.14/3270.72	c #Conflicts:    1744000 | #Constraints:      97228
3259.14/3270.72	c #Conflicts:    1745000 | #Constraints:      98228
3259.14/3270.72	c #Conflicts:    1746000 | #Constraints:      99228
3259.14/3270.72	c #Conflicts:    1747000 | #Constraints:     100228
3259.14/3270.72	c #Conflicts:    1748000 | #Constraints:     101228
3259.14/3270.72	c #Conflicts:    1749000 | #Constraints:     102228
3259.14/3270.72	c #Conflicts:    1750000 | #Constraints:     103228
3259.14/3270.72	c #Conflicts:    1751000 | #Constraints:     104228
3259.14/3270.72	c #Conflicts:    1752000 | #Constraints:     105228
3259.14/3270.72	c #Conflicts:    1753000 | #Constraints:     106228
3259.14/3270.72	c #Conflicts:    1754000 | #Constraints:     107228
3259.14/3270.72	c #Conflicts:    1755000 | #Constraints:     108228
3259.14/3270.72	c #Conflicts:    1756000 | #Constraints:     109228
3259.14/3270.72	c #Conflicts:    1757000 | #Constraints:     110228
3259.14/3270.72	c #Conflicts:    1758000 | #Constraints:     111228
3259.14/3270.72	c #Conflicts:    1759000 | #Constraints:     112228
3259.14/3270.72	c #Conflicts:    1760000 | #Constraints:     113228
3259.14/3270.72	c #Conflicts:    1761000 | #Constraints:     114228
3259.14/3270.72	c #Conflicts:    1762000 | #Constraints:     115228
3259.14/3270.72	c #Conflicts:    1763000 | #Constraints:     116229
3375.16/3387.19	c #Conflicts:    1764000 | #Constraints:     117229
3375.16/3387.19	c #Conflicts:    1765000 | #Constraints:     118229
3375.16/3387.19	c #Conflicts:    1766000 | #Constraints:     119229
3375.16/3387.19	c #Conflicts:    1767000 | #Constraints:     120229
3375.16/3387.19	c #Conflicts:    1768000 | #Constraints:     121229
3375.16/3387.19	c #Conflicts:    1769000 | #Constraints:     122229
3375.16/3387.19	c #Conflicts:    1770000 | #Constraints:     123229
3375.16/3387.19	c #Conflicts:    1771000 | #Constraints:     124229
3375.16/3387.19	c #Conflicts:    1772000 | #Constraints:     125229
3375.16/3387.19	c #Conflicts:    1773000 | #Constraints:     126229
3375.16/3387.19	c #Conflicts:    1774000 | #Constraints:     127229
3375.16/3387.19	c #Conflicts:    1775000 | #Constraints:     128230
3375.16/3387.19	c #Conflicts:    1776000 | #Constraints:     129230
3375.16/3387.19	c #Conflicts:    1777000 | #Constraints:     130230
3375.16/3387.19	c #Conflicts:    1778000 | #Constraints:     131230
3375.16/3387.19	c #Conflicts:    1779000 | #Constraints:     132230
3375.16/3387.19	c #Conflicts:    1780000 | #Constraints:     133230
3375.16/3387.19	c #Conflicts:    1781000 | #Constraints:     134230
3375.16/3387.19	c #Conflicts:    1782000 | #Constraints:     135230
3375.16/3387.19	c #Conflicts:    1783000 | #Constraints:     136230
3375.16/3387.19	c #Conflicts:    1784000 | #Constraints:     137230
3375.16/3387.19	c #Conflicts:    1785000 | #Constraints:     138230
3375.16/3387.19	c #Conflicts:    1786000 | #Constraints:     139230
3375.16/3387.19	c #Conflicts:    1787000 | #Constraints:     140231
3375.16/3387.19	c INPROCESSING
3375.16/3387.19	c GARBAGE COLLECT
3375.16/3387.19	c rational objective 90
3458.80/3471.06	c #Conflicts:    1788000 | #Constraints:      74443
3458.80/3471.06	c #Conflicts:    1789000 | #Constraints:      75443
3458.80/3471.06	c #Conflicts:    1790000 | #Constraints:      76443
3458.80/3471.06	c #Conflicts:    1791000 | #Constraints:      77443
3458.80/3471.06	c #Conflicts:    1792000 | #Constraints:      78443
3458.80/3471.06	c #Conflicts:    1793000 | #Constraints:      79443
3458.80/3471.06	c #Conflicts:    1794000 | #Constraints:      80443
3458.80/3471.06	c #Conflicts:    1795000 | #Constraints:      81443
3458.80/3471.06	c #Conflicts:    1796000 | #Constraints:      82444
3458.80/3471.06	c #Conflicts:    1797000 | #Constraints:      83444
3458.80/3471.06	c #Conflicts:    1798000 | #Constraints:      84444
3458.80/3471.06	c #Conflicts:    1799000 | #Constraints:      85444
3458.80/3471.06	c #Conflicts:    1800000 | #Constraints:      86444
3458.80/3471.06	c #Conflicts:    1801000 | #Constraints:      87444
3458.80/3471.06	c #Conflicts:    1802000 | #Constraints:      88444
3458.80/3471.06	c #Conflicts:    1803000 | #Constraints:      89444
3458.80/3471.06	c #Conflicts:    1804000 | #Constraints:      90444
3458.80/3471.06	c #Conflicts:    1805000 | #Constraints:      91444
3458.80/3471.06	c #Conflicts:    1806000 | #Constraints:      92444
3458.80/3471.06	c #Conflicts:    1807000 | #Constraints:      93444
3458.80/3471.06	c #Conflicts:    1808000 | #Constraints:      94444
3458.80/3471.06	c #Conflicts:    1809000 | #Constraints:      95444
3458.80/3471.06	c #Conflicts:    1810000 | #Constraints:      96444
3458.80/3471.06	c #Conflicts:    1811000 | #Constraints:      97444
3458.80/3471.06	c #Conflicts:    1812000 | #Constraints:      98444
3458.80/3471.06	c #Conflicts:    1813000 | #Constraints:      99444
3458.80/3471.06	c #Conflicts:    1814000 | #Constraints:     100444
3458.80/3471.06	c #Conflicts:    1815000 | #Constraints:     101444
3458.80/3471.06	c #Conflicts:    1816000 | #Constraints:     102444
3458.80/3471.06	c #Conflicts:    1817000 | #Constraints:     103445
3458.80/3471.06	c INPROCESSING
3458.80/3471.06	c GARBAGE COLLECT
3458.80/3471.06	c rational objective 90
3519.80/3532.29	c #Conflicts:    1818000 | #Constraints:      55962
3519.80/3532.29	c #Conflicts:    1819000 | #Constraints:      56962
3519.80/3532.29	c #Conflicts:    1820000 | #Constraints:      57962
3519.80/3532.29	c #Conflicts:    1821000 | #Constraints:      58962
3519.80/3532.29	c #Conflicts:    1822000 | #Constraints:      59962
3519.80/3532.29	c #Conflicts:    1823000 | #Constraints:      60963
3519.80/3532.29	c #Conflicts:    1824000 | #Constraints:      61963
3519.80/3532.29	c #Conflicts:    1825000 | #Constraints:      62963
3519.80/3532.29	c #Conflicts:    1826000 | #Constraints:      63963
3519.80/3532.29	c #Conflicts:    1827000 | #Constraints:      64963
3519.80/3532.29	c #Conflicts:    1828000 | #Constraints:      65963
3519.80/3532.29	c #Conflicts:    1829000 | #Constraints:      66964
3519.80/3532.29	c #Conflicts:    1830000 | #Constraints:      67964
3519.80/3532.29	c #Conflicts:    1831000 | #Constraints:      68964
3519.80/3532.29	c #Conflicts:    1832000 | #Constraints:      69964
3519.80/3532.29	c #Conflicts:    1833000 | #Constraints:      70964
3519.80/3532.29	c #Conflicts:    1834000 | #Constraints:      71964
3519.80/3532.29	c #Conflicts:    1835000 | #Constraints:      72964
3519.80/3532.29	c #Conflicts:    1836000 | #Constraints:      73964
3519.80/3532.29	c #Conflicts:    1837000 | #Constraints:      74964
3519.80/3532.29	c #Conflicts:    1838000 | #Constraints:      75964
3519.80/3532.29	c #Conflicts:    1839000 | #Constraints:      76964
3519.80/3532.29	c #Conflicts:    1840000 | #Constraints:      77964
3519.80/3532.29	c #Conflicts:    1841000 | #Constraints:      78964
3519.80/3532.29	c #Conflicts:    1842000 | #Constraints:      79964
3519.80/3532.29	c #Conflicts:    1843000 | #Constraints:      80964
3519.80/3532.29	c #Conflicts:    1844000 | #Constraints:      81964
3519.80/3532.29	c #Conflicts:    1845000 | #Constraints:      82964
3519.80/3532.29	c #Conflicts:    1846000 | #Constraints:      83964
3519.80/3532.29	c #Conflicts:    1847000 | #Constraints:      84964
3519.80/3532.29	c #Conflicts:    1848000 | #Constraints:      85964
3519.80/3532.29	c INPROCESSING
3519.80/3532.29	c GARBAGE COLLECT
3519.80/3532.29	c rational objective 90
3595.77/3608.47	c #Conflicts:    1849000 | #Constraints:      47596
3595.77/3608.47	c #Conflicts:    1850000 | #Constraints:      48596
3595.77/3608.47	c #Conflicts:    1851000 | #Constraints:      49596
3595.77/3608.47	c #Conflicts:    1852000 | #Constraints:      50596
3595.77/3608.47	c #Conflicts:    1853000 | #Constraints:      51596
3595.77/3608.47	c #Conflicts:    1854000 | #Constraints:      52597
3595.77/3608.47	c #Conflicts:    1855000 | #Constraints:      53597
3595.77/3608.47	c #Conflicts:    1856000 | #Constraints:      54597
3595.77/3608.47	c #Conflicts:    1857000 | #Constraints:      55597
3595.77/3608.47	c #Conflicts:    1858000 | #Constraints:      56598
3595.77/3608.47	c #Conflicts:    1859000 | #Constraints:      57598
3595.77/3608.47	c #Conflicts:    1860000 | #Constraints:      58598
3595.77/3608.47	c #Conflicts:    1861000 | #Constraints:      59598
3595.77/3608.47	c #Conflicts:    1862000 | #Constraints:      60598
3595.77/3608.47	c #Conflicts:    1863000 | #Constraints:      61598
3595.77/3608.47	c #Conflicts:    1864000 | #Constraints:      62598
3595.77/3608.47	c #Conflicts:    1865000 | #Constraints:      63598
3595.77/3608.47	c #Conflicts:    1866000 | #Constraints:      64598
3595.77/3608.47	c #Conflicts:    1867000 | #Constraints:      65598
3595.77/3608.47	c #Conflicts:    1868000 | #Constraints:      66598
3595.77/3608.47	c #Conflicts:    1869000 | #Constraints:      67598
3595.77/3608.47	c #Conflicts:    1870000 | #Constraints:      68598
3595.77/3608.47	c #Conflicts:    1871000 | #Constraints:      69598
3595.77/3608.47	c #Conflicts:    1872000 | #Constraints:      70598
3595.77/3608.47	c #Conflicts:    1873000 | #Constraints:      71598
3595.77/3608.47	c #Conflicts:    1874000 | #Constraints:      72598
3595.77/3608.47	c #Conflicts:    1875000 | #Constraints:      73598
3595.77/3608.47	c #Conflicts:    1876000 | #Constraints:      74599
3595.77/3608.47	c #Conflicts:    1877000 | #Constraints:      75599
3595.77/3608.47	c #Conflicts:    1878000 | #Constraints:      76599
3595.77/3608.47	c INPROCESSING
3595.77/3608.47	c GARBAGE COLLECT
3595.77/3608.47	c rational objective 90
3600.05/3612.70	c #Conflicts:    1879000 | #Constraints:      42684
3600.05/3612.70	c #Conflicts:    1880000 | #Constraints:      43684
3600.05/3612.70	c #Conflicts:    1881000 | #Constraints:      44684
3600.05/3612.70	c #Conflicts:    1882000 | #Constraints:      45684
3600.05/3612.70	c #Conflicts:    1883000 | #Constraints:      46684
3600.05/3612.70	c #Conflicts:    1884000 | #Constraints:      47684
3600.05/3612.70	c Program interrupted by user.
3600.05/3612.73	c cpu time 3560.24 s
3600.05/3612.73	c deterministic time 427112103614 4.27e+11
3600.05/3612.73	c optimization time 4.04495 s
3600.05/3612.73	c total solve time 3556.17 s
3600.05/3612.73	c core-guided solve time 0 s
3600.05/3612.73	c propagation time 2444.45 s
3600.05/3612.73	c conflict analysis time 820.592 s
3600.05/3612.73	c propagations 759742638
3600.05/3612.73	c resolve steps 67358017
3600.05/3612.73	c decisions 14242665
3600.05/3612.73	c conflicts 1884187
3600.05/3612.73	c restarts 3633
3600.05/3612.73	c inprocessing phases 85
3600.05/3612.73	c input clauses 6212
3600.05/3612.73	c input cardinalities 90
3600.05/3612.73	c input general constraints 0
3600.05/3612.73	c input average constraint length 6.23
3600.05/3612.73	c input average constraint degree 1.94
3600.05/3612.73	c learned clauses 1301268
3600.05/3612.73	c learned cardinalities 39057
3600.05/3612.73	c learned general constraints 544047
3600.05/3612.73	c learned average constraint length 865.40
3600.05/3612.73	c learned average constraint degree 44256708.46
3600.05/3612.73	c watched constraints 465958
3600.05/3612.73	c counting constraints 78089
3600.05/3612.73	c gcd simplifications 5736
3600.05/3612.73	c detected cardinalities 2153
3600.05/3612.73	c weakened non-implied lits 268203430
3600.05/3612.73	c weakened non-implying lits 645787
3600.05/3612.73	c original variables 6120
3600.05/3612.73	c clausal propagations 277767074
3600.05/3612.73	c cardinality propagations 264771940
3600.05/3612.73	c watched propagations 68534926
3600.05/3612.73	c counting propagations 142440803
3600.05/3612.73	c watch lookups 32493754642
3600.05/3612.73	c watch backjump lookups 25738622544
3600.05/3612.73	c watch checks 306405685008
3600.05/3612.73	c propagation checks 56120248392
3600.05/3612.73	c constraint additions 4801501020
3600.05/3612.73	c trail pops 775864872
3600.05/3612.73	c formula constraints 6302
3600.05/3612.73	c learned constraints 1884000
3600.05/3612.73	c bound constraints 0
3600.05/3612.73	c core-guided constraints 0
3600.05/3612.73	c encountered formula constraints 37733977
3600.05/3612.73	c encountered learned constraints 31505510
3600.05/3612.73	c encountered bound constraints 0
3600.05/3612.73	c encountered core-guided constraints 0
3600.05/3612.73	c LP total time 787.065 s
3600.05/3612.73	c LP solve time 778.9 s
3600.05/3612.73	c LP constraints added 11764
3600.05/3612.73	c LP constraints removed 5393
3600.05/3612.73	c LP pivots internal 1892188
3600.05/3612.73	c LP pivots root 549644
3600.05/3612.73	c LP calls 370
3600.05/3612.73	c LP optimalities 177
3600.05/3612.73	c LP no pivot count 4
3600.05/3612.73	c LP infeasibilities 187
3600.05/3612.73	c LP valid Farkas constraints 186
3600.05/3612.73	c LP learned Farkas constraints 186
3600.05/3612.73	c LP basis resets 1
3600.05/3612.73	c LP cycling count 0
3600.05/3612.73	c LP singular count 0
3600.05/3612.73	c LP no primal count 0
3600.05/3612.73	c LP no farkas count 1
3600.05/3612.73	c LP other issue count 0
3600.05/3612.73	c LP Gomory cuts 0
3600.05/3612.73	c LP learned cuts 5550
3600.05/3612.73	c LP deleted cuts 5453
3600.05/3612.73	c LP encountered Gomory constraints 0
3600.05/3612.73	c LP encountered Farkas constraints 1734
3600.05/3612.73	c LP encountered learned Farkas constraints 797
3600.05/3612.73	c CG auxiliary variables introduced 0
3600.05/3612.73	c CG solutions found 0
3600.05/3612.73	c CG cores constructed 0
3600.05/3612.73	c CG core cardinality constraints returned 0
3600.05/3612.73	c CG unit cores 0
3600.05/3612.73	c CG single cores 0
3600.05/3612.73	c CG blocks removed during cardinality reduction 0
3600.05/3612.73	c CG first core best 0
3600.05/3612.73	c CG decision core best 0
3600.05/3612.73	c CG core reduction tie 0
3600.05/3612.73	c CG core degree average 0.00
3600.05/3612.73	c CG core slack average 0.00
3600.05/3612.73	s UNKNOWN

ERROR: no interpretation found !

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=184667, runsolver pid=184664

[startup+0.100087 s]*
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110944216/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=48488 memory=17040 CPUtime=0.08 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 3369 0 0 0 8 0 0 0 20 0 1 0 19486391 49651712 4260 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 12122 4260 1698 992 0 3980 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 17040 KiB

[startup+0.205912 s]*
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110892052/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=49784 memory=18624 CPUtime=0.19 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 3706 0 0 0 18 1 0 0 20 0 1 0 19486391 50978816 4656 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 12446 4656 1698 992 0 4304 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 49784 KiB
Current children cumulated memory: 18624 KiB

[startup+0.30594 s]*
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110887812/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=49784 memory=18624 CPUtime=0.29 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 3717 0 0 0 28 1 0 0 20 0 1 0 19486391 50978816 4656 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 12446 4656 1698 992 0 4304 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 49784 KiB
Current children cumulated memory: 18624 KiB

[startup+0.700189 s]
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110884572/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=49784 memory=18624 CPUtime=0.67 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 3756 0 0 0 66 1 0 0 20 0 1 0 19486391 50978816 4656 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 12446 4656 1698 992 0 4304 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 49784 KiB
Current children cumulated memory: 18624 KiB

[startup+1.50014 s]
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110871208/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=51460 memory=22952 CPUtime=1.47 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 4246 0 0 0 141 6 0 0 20 0 1 0 19486391 52695040 5738 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 12865 5738 1744 992 0 4723 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 51460 KiB
Current children cumulated memory: 22952 KiB

[startup+3.10585 s]
/proc/loadavg: 1.36 1.42 2.33 5/265 184695
/proc/meminfo: memFree=110848688/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=53916 memory=24888 CPUtime=3.06 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 4674 0 0 0 298 8 0 0 20 0 1 0 19486391 55209984 6222 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 13479 6222 1839 992 0 5337 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 53916 KiB
Current children cumulated memory: 24888 KiB

[startup+6.30019 s]
/proc/loadavg: 1.57 1.46 2.34 5/265 184695
/proc/meminfo: memFree=110827576/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=57724 memory=28228 CPUtime=6.25 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 5466 0 0 0 605 20 0 0 20 0 1 0 19486391 59109376 7057 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 14431 7057 1839 992 0 6289 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 57724 KiB
Current children cumulated memory: 28228 KiB

[startup+12.7001 s]
/proc/loadavg: 1.77 1.50 2.35 5/265 184697
/proc/meminfo: memFree=110787760/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=59004 memory=30336 CPUtime=12.63 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 6007 0 0 0 1225 38 0 0 20 0 1 0 19486391 60420096 7584 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 14751 7584 1839 992 0 6609 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 59004 KiB
Current children cumulated memory: 30336 KiB

[startup+25.5002 s]
/proc/loadavg: 2.11 1.59 2.37 5/264 184698
/proc/meminfo: memFree=110698584/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=67984 memory=40568 CPUtime=25.39 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 8104 0 0 0 2470 69 0 0 20 0 1 0 19486391 69615616 10142 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 16996 10142 1839 992 0 8854 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 67984 KiB
Current children cumulated memory: 40568 KiB

[startup+51.106 s]
/proc/loadavg: 2.91 1.83 2.42 5/264 184714
/proc/meminfo: memFree=110565928/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=78248 memory=50388 CPUtime=50.89 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 9717 0 0 0 4977 112 0 0 20 0 1 0 19486391 80125952 12597 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 19562 12597 1839 992 0 11420 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 78248 KiB
Current children cumulated memory: 50388 KiB

[startup+102.3 s]
/proc/loadavg: 3.85 2.26 2.54 5/264 184724
/proc/meminfo: memFree=110145020/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=94448 memory=59100 CPUtime=101.9 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 11520 0 0 0 9974 216 0 0 20 0 1 0 19486391 96714752 14775 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 23612 14775 1839 992 0 15470 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 94448 KiB
Current children cumulated memory: 59100 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 2.61 2.65 5/263 184734
/proc/meminfo: memFree=109024740/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=207096 memory=163644 CPUtime=161.71 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 16097 0 0 0 15850 321 0 0 20 0 1 0 19486391 212066304 40911 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 51774 40911 1839 992 0 43632 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 207096 KiB
Current children cumulated memory: 163644 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 2.91 2.75 5/262 184746
/proc/meminfo: memFree=108690724/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=219308 memory=175696 CPUtime=221.52 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 19102 0 0 0 21715 437 0 0 20 0 1 0 19486391 224571392 43924 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 54827 43924 1839 992 0 46685 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 219308 KiB
Current children cumulated memory: 175696 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 3.14 2.84 5/262 184756
/proc/meminfo: memFree=108250476/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=221400 memory=177760 CPUtime=281.33 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 19633 0 0 0 27605 528 0 0 20 0 1 0 19486391 226713600 44440 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 55350 44440 1839 992 0 47208 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 221400 KiB
Current children cumulated memory: 177760 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 3.33 2.93 5/259 184767
/proc/meminfo: memFree=107692000/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=310376 memory=207408 CPUtime=341.14 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 22480 0 0 0 33494 620 0 0 20 0 1 0 19486391 317825024 51852 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 77594 51852 1839 992 0 69452 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 310376 KiB
Current children cumulated memory: 207408 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.47 3.00 5/259 184778
/proc/meminfo: memFree=107175832/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=312060 memory=209212 CPUtime=400.94 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 22912 0 0 0 39377 717 0 0 20 0 1 0 19486391 319549440 52303 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 78015 52303 1839 992 0 69873 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 312060 KiB
Current children cumulated memory: 209212 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.60 3.08 5/258 184788
/proc/meminfo: memFree=106718056/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=321112 memory=237728 CPUtime=460.74 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 24954 0 0 0 45287 787 0 0 20 0 1 0 19486391 328818688 59432 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 80278 59432 1839 992 0 72136 0

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

Current children cumulated memory: 703504 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/257 185857
/proc/meminfo: memFree=90572036/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=768816 memory=702988 CPUtime=2911.89 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 61464 0 0 0 287767 3422 0 0 20 0 1 0 19486391 787267584 175747 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 192204 175747 1839 992 0 184062 0
Current children cumulated CPU time: 2911.89 s
Current children cumulated vsize: 768816 KiB
Current children cumulated memory: 702988 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/260 185870
/proc/meminfo: memFree=89540916/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=770236 memory=704316 CPUtime=2971.67 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 62018 0 0 0 293712 3455 0 0 20 0 1 0 19486391 788721664 176079 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 192559 176079 1839 992 0 184417 0
Current children cumulated CPU time: 2971.67 s
Current children cumulated vsize: 770236 KiB
Current children cumulated memory: 704316 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.11 4.02 5/262 185885
/proc/meminfo: memFree=89056660/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=771860 memory=709628 CPUtime=3031.46 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 63035 0 0 0 299625 3521 0 0 20 0 1 0 19486391 790384640 177407 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 192965 177407 1839 992 0 184823 0
Current children cumulated CPU time: 3031.46 s
Current children cumulated vsize: 771860 KiB
Current children cumulated memory: 709628 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/263 185897
/proc/meminfo: memFree=88040952/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=771696 memory=713572 CPUtime=3091.27 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 63622 0 0 0 305525 3602 0 0 20 0 1 0 19486391 790216704 178393 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 192924 178393 1839 992 0 184782 0
Current children cumulated CPU time: 3091.27 s
Current children cumulated vsize: 771696 KiB
Current children cumulated memory: 713572 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/263 185908
/proc/meminfo: memFree=87654980/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=771696 memory=713780 CPUtime=3151.08 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 63852 0 0 0 311454 3654 0 0 20 0 1 0 19486391 790216704 178445 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 192924 178445 1839 992 0 184782 0
Current children cumulated CPU time: 3151.08 s
Current children cumulated vsize: 771696 KiB
Current children cumulated memory: 713780 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/263 185919
/proc/meminfo: memFree=87317724/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=772204 memory=713896 CPUtime=3210.9 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 64193 0 0 0 317396 3694 0 0 20 0 1 0 19486391 790736896 178474 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 193051 178474 1839 992 0 184909 0
Current children cumulated CPU time: 3210.9 s
Current children cumulated vsize: 772204 KiB
Current children cumulated memory: 713896 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/261 185932
/proc/meminfo: memFree=86820848/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=774092 memory=715632 CPUtime=3270.7 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 64910 0 0 0 323344 3726 0 0 20 0 1 0 19486391 792670208 178908 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 193523 178908 1839 992 0 185381 0
Current children cumulated CPU time: 3270.7 s
Current children cumulated vsize: 774092 KiB
Current children cumulated memory: 715632 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/261 186326
/proc/meminfo: memFree=86583940/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=778376 memory=718892 CPUtime=3330.5 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 66067 0 0 0 329291 3759 0 0 20 0 1 0 19486391 797057024 179723 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 194594 179723 1839 992 0 186452 0
Current children cumulated CPU time: 3330.5 s
Current children cumulated vsize: 778376 KiB
Current children cumulated memory: 718892 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/258 186336
/proc/meminfo: memFree=86357884/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=781488 memory=721836 CPUtime=3390.31 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 67432 0 0 0 335237 3794 0 0 20 0 1 0 19486391 800243712 180459 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 195372 180459 1839 992 0 187230 0
Current children cumulated CPU time: 3390.31 s
Current children cumulated vsize: 781488 KiB
Current children cumulated memory: 721836 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/259 186347
/proc/meminfo: memFree=86162288/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=781816 memory=721992 CPUtime=3450.12 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 67672 0 0 0 341170 3842 0 0 20 0 1 0 19486391 800579584 180498 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 195454 180498 1839 992 0 187312 0
Current children cumulated CPU time: 3450.12 s
Current children cumulated vsize: 781816 KiB
Current children cumulated memory: 721992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/259 186526
/proc/meminfo: memFree=85896760/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=782080 memory=722324 CPUtime=3509.93 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 68450 0 0 0 347090 3903 0 0 20 0 1 0 19486391 800849920 180581 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 195520 180581 1839 992 0 187378 0
Current children cumulated CPU time: 3509.93 s
Current children cumulated vsize: 782080 KiB
Current children cumulated memory: 722324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/260 186537
/proc/meminfo: memFree=85500448/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=782140 memory=722280 CPUtime=3569.75 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 69123 0 0 0 353027 3948 0 0 20 0 1 0 19486391 800911360 180570 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 195535 180570 1839 992 0 187393 0
Current children cumulated CPU time: 3569.75 s
Current children cumulated vsize: 782140 KiB
Current children cumulated memory: 722280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 4.13 4.10 4.04 5/261 186684
/proc/meminfo: memFree=105187760/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=782652 memory=722768 CPUtime=3600.05 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 69786 0 0 0 356024 3981 0 0 20 0 1 0 19486391 801435648 180692 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 195663 180692 1839 992 0 187521 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 782652 KiB
Current children cumulated memory: 722768 KiB

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

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

# cumulated CPU time of all completed processes:  user=3560.24 s, system=39.8235 s

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

[startup+3612.7 s]
/proc/loadavg: 4.13 4.10 4.04 5/261 186684
/proc/meminfo: memFree=105187760/131524600 swapFree=131054736/131071996
[pid=184667] ppid=184664 vsize=782652 memory=722768 CPUtime=3600.05 cores=0,2
/proc/184667/stat : 184667 (roundingsat) R 184664 184667 184622 0 -1 4194304 69786 0 0 0 356024 3981 0 0 20 0 1 0 19486391 801435648 180692 134679101440 4194304 8254037 140735248517872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 13877248 140735248520028 140735248520290 140735248520290 140735248527305 0
/proc/184667/statm: 195663 180692 1839 992 0 187521 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 782652 KiB
Current children cumulated memory: 722768 KiB

Child status: 0

Real time (s): 3612.73
CPU time (s): 3600.07
CPU user time (s): 3560.24
CPU system time (s): 39.8235
CPU usage (%): 99.6494
Max. virtual memory (cumulated for all children) (KiB): 783948
Max. memory (cumulated for all children) (KiB): 723688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.24
system time used= 39.8235
maximum resident set size= 724148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9958760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 314
involuntary context switches= 25485


# summary of solver processes directly reported to runsolver:
#   pid: 184667
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3560.24
#   total CPU system time (s): 39.8235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94045 second user time and 17.0295 second system time

The end

Begin job on nodeC034 at 2024-07-24 16:00:22
IDJOB=4457175
IDBENCH=158339
IDSOLVER=3085
FILE ID=nodeC034/4457175-1721829622
RUNJOBID= nodeC034-1721829622-184632
SLURM_JOB_ID= 7891500
Free space on /tmp= 890084 MiB

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

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

MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=588309019

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        110988324 kB
MemAvailable:   129684796 kB
Buffers:          252444 kB
Cached:         19203144 kB
SwapCached:           96 kB
Active:          1631560 kB
Inactive:       18191316 kB
Active(anon):       1868 kB
Inactive(anon):   408092 kB
Active(file):    1629692 kB
Inactive(file): 17783224 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054736 kB
Dirty:             13208 kB
Writeback:             0 kB
AnonPages:        366384 kB
Mapped:            92992 kB
Shmem:             42580 kB
KReclaimable:     246408 kB
Slab:             361464 kB
SReclaimable:     246408 kB
SUnreclaim:       115056 kB
KernelStack:        4112 kB
PageTables:         9736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     746000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14048 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      357076 kB
DirectMap2M:    48699392 kB
DirectMap1G:    87031808 kB

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