0.00/0.05	c RoundingSat 2
0.00/0.05	c branch pb25
0.00/0.05	c commit 63f22ad
0.00/0.07	c #variables 3484 #constraints 4941
0.00/0.08	c rational objective 0
48.29/48.56	c #Conflicts:       1000 | #Constraints:       5941
48.29/48.56	c #Conflicts:       2000 | #Constraints:       6941
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:       3000 | #Constraints:       6966
48.29/48.56	c #Conflicts:       4000 | #Constraints:       7966
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:       5000 | #Constraints:       7388
48.29/48.56	c #Conflicts:       6000 | #Constraints:       8388
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:       7000 | #Constraints:       7436
48.29/48.56	c #Conflicts:       8000 | #Constraints:       8436
48.29/48.56	c #Conflicts:       9000 | #Constraints:       9436
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:      10000 | #Constraints:       8139
48.29/48.56	c #Conflicts:      11000 | #Constraints:       9139
48.29/48.56	c #Conflicts:      12000 | #Constraints:      10139
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:      13000 | #Constraints:       8627
48.29/48.56	c #Conflicts:      14000 | #Constraints:       9627
48.29/48.56	c #Conflicts:      15000 | #Constraints:      10627
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:      16000 | #Constraints:       8889
48.29/48.56	c #Conflicts:      17000 | #Constraints:       9889
48.29/48.56	c #Conflicts:      18000 | #Constraints:      10889
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:      19000 | #Constraints:       8922
48.29/48.56	c #Conflicts:      20000 | #Constraints:       9922
48.29/48.56	c #Conflicts:      21000 | #Constraints:      10922
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:      22000 | #Constraints:       8729
48.29/48.56	c #Conflicts:      23000 | #Constraints:       9729
48.29/48.56	c #Conflicts:      24000 | #Constraints:      10729
48.29/48.56	c #Conflicts:      25000 | #Constraints:      11729
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:      26000 | #Constraints:       9347
48.29/48.56	c #Conflicts:      27000 | #Constraints:      10347
48.29/48.56	c #Conflicts:      28000 | #Constraints:      11347
48.29/48.56	c #Conflicts:      29000 | #Constraints:      12347
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:      30000 | #Constraints:       9766
48.29/48.56	c #Conflicts:      31000 | #Constraints:      10766
48.29/48.56	c #Conflicts:      32000 | #Constraints:      11766
48.29/48.56	c #Conflicts:      33000 | #Constraints:      12766
48.29/48.56	c #Conflicts:      34000 | #Constraints:      13766
48.29/48.56	c #Conflicts:      35000 | #Constraints:      14766
48.29/48.56	c #Conflicts:      36000 | #Constraints:      15766
48.29/48.56	c #Conflicts:      37000 | #Constraints:      16766
48.29/48.56	c #Conflicts:      38000 | #Constraints:      17766
48.29/48.56	c #Conflicts:      39000 | #Constraints:      18766
48.29/48.56	c #Conflicts:      40000 | #Constraints:      19766
48.29/48.56	c #Conflicts:      41000 | #Constraints:      20766
48.29/48.56	c #Conflicts:      42000 | #Constraints:      21766
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:      43000 | #Constraints:      14068
48.29/48.56	c #Conflicts:      44000 | #Constraints:      15068
48.29/48.56	c #Conflicts:      45000 | #Constraints:      16068
48.29/48.56	c #Conflicts:      46000 | #Constraints:      17068
48.29/48.56	c #Conflicts:      47000 | #Constraints:      18068
48.29/48.56	c #Conflicts:      48000 | #Constraints:      19068
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:      49000 | #Constraints:      13176
48.29/48.56	c #Conflicts:      50000 | #Constraints:      14176
48.29/48.56	c #Conflicts:      51000 | #Constraints:      15176
48.29/48.56	c #Conflicts:      52000 | #Constraints:      16176
48.29/48.56	c #Conflicts:      53000 | #Constraints:      17176
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:      54000 | #Constraints:      12080
48.29/48.56	c #Conflicts:      55000 | #Constraints:      13080
48.29/48.56	c #Conflicts:      56000 | #Constraints:      14080
48.29/48.56	c #Conflicts:      57000 | #Constraints:      15080
48.29/48.56	c #Conflicts:      58000 | #Constraints:      16080
48.29/48.56	c INPROCESSING
48.29/48.56	c GARBAGE COLLECT
48.29/48.56	c #Conflicts:      59000 | #Constraints:      11286
48.29/48.56	c #Conflicts:      60000 | #Constraints:      12286
48.29/48.56	c #Conflicts:      61000 | #Constraints:      13286
48.29/48.56	c #Conflicts:      62000 | #Constraints:      14286
48.29/48.56	c #Conflicts:      63000 | #Constraints:      15286
48.29/48.56	c #Conflicts:      64000 | #Constraints:      16286
48.29/48.56	c #Conflicts:      65000 | #Constraints:      17286
48.29/48.56	c #Conflicts:      66000 | #Constraints:      18286
48.29/48.56	c #Conflicts:      67000 | #Constraints:      19286
48.29/48.56	c #Conflicts:      68000 | #Constraints:      20286
48.29/48.56	c #Conflicts:      69000 | #Constraints:      21286
48.29/48.56	c #Conflicts:      70000 | #Constraints:      22286
54.96/55.25	c #Conflicts:      71000 | #Constraints:      23286
54.96/55.25	c #Conflicts:      72000 | #Constraints:      24286
54.96/55.25	c #Conflicts:      73000 | #Constraints:      25286
54.96/55.25	c #Conflicts:      74000 | #Constraints:      26286
54.96/55.25	c #Conflicts:      75000 | #Constraints:      27286
54.96/55.25	c #Conflicts:      76000 | #Constraints:      28286
54.96/55.25	c #Conflicts:      77000 | #Constraints:      29286
54.96/55.25	c #Conflicts:      78000 | #Constraints:      30286
54.96/55.25	c INPROCESSING
54.96/55.25	c GARBAGE COLLECT
54.96/55.25	c rational objective 0
139.38/139.95	c #Conflicts:      79000 | #Constraints:      18793
139.38/139.95	c #Conflicts:      80000 | #Constraints:      19793
139.38/139.95	c #Conflicts:      81000 | #Constraints:      20793
139.38/139.95	c #Conflicts:      82000 | #Constraints:      21793
139.38/139.95	c #Conflicts:      83000 | #Constraints:      22793
139.38/139.95	c #Conflicts:      84000 | #Constraints:      23793
139.38/139.95	c INPROCESSING
139.38/139.95	c GARBAGE COLLECT
139.38/139.95	c #Conflicts:      85000 | #Constraints:      15181
139.38/139.95	c #Conflicts:      86000 | #Constraints:      16181
139.38/139.95	c #Conflicts:      87000 | #Constraints:      17181
139.38/139.95	c #Conflicts:      88000 | #Constraints:      18181
139.38/139.95	c #Conflicts:      89000 | #Constraints:      19181
139.38/139.95	c #Conflicts:      90000 | #Constraints:      20181
139.38/139.95	c #Conflicts:      91000 | #Constraints:      21181
139.38/139.95	c INPROCESSING
139.38/139.95	c GARBAGE COLLECT
139.38/139.95	c #Conflicts:      92000 | #Constraints:      13882
139.38/139.95	c #Conflicts:      93000 | #Constraints:      14882
139.38/139.95	c #Conflicts:      94000 | #Constraints:      15882
139.38/139.95	c #Conflicts:      95000 | #Constraints:      16882
139.38/139.95	c #Conflicts:      96000 | #Constraints:      17882
139.38/139.95	c #Conflicts:      97000 | #Constraints:      18882
139.38/139.95	c #Conflicts:      98000 | #Constraints:      19882
139.38/139.95	c #Conflicts:      99000 | #Constraints:      20882
139.38/139.95	c #Conflicts:     100000 | #Constraints:      21882
139.38/139.95	c #Conflicts:     101000 | #Constraints:      22882
139.38/139.95	c #Conflicts:     102000 | #Constraints:      23882
139.38/139.95	c #Conflicts:     103000 | #Constraints:      24882
139.38/139.95	c #Conflicts:     104000 | #Constraints:      25882
139.38/139.95	c #Conflicts:     105000 | #Constraints:      26882
139.38/139.95	c #Conflicts:     106000 | #Constraints:      27882
139.38/139.95	c #Conflicts:     107000 | #Constraints:      28882
139.38/139.95	c #Conflicts:     108000 | #Constraints:      29882
139.38/139.95	c #Conflicts:     109000 | #Constraints:      30882
139.38/139.95	c #Conflicts:     110000 | #Constraints:      31882
139.38/139.95	c #Conflicts:     111000 | #Constraints:      32882
139.38/139.95	c #Conflicts:     112000 | #Constraints:      33882
139.38/139.95	c #Conflicts:     113000 | #Constraints:      34882
139.38/139.95	c #Conflicts:     114000 | #Constraints:      35882
139.38/139.95	c #Conflicts:     115000 | #Constraints:      36882
139.38/139.95	c INPROCESSING
139.38/139.95	c GARBAGE COLLECT
139.38/139.95	c #Conflicts:     116000 | #Constraints:      22108
139.38/139.95	c #Conflicts:     117000 | #Constraints:      23108
139.38/139.95	c #Conflicts:     118000 | #Constraints:      24108
139.38/139.95	c #Conflicts:     119000 | #Constraints:      25108
139.38/139.95	c #Conflicts:     120000 | #Constraints:      26108
139.38/139.95	c #Conflicts:     121000 | #Constraints:      27108
139.38/139.95	c #Conflicts:     122000 | #Constraints:      28108
139.38/139.95	c #Conflicts:     123000 | #Constraints:      29108
139.38/139.95	c INPROCESSING
139.38/139.95	c GARBAGE COLLECT
139.38/139.95	c #Conflicts:     124000 | #Constraints:      18029
139.38/139.95	c #Conflicts:     125000 | #Constraints:      19029
139.38/139.95	c #Conflicts:     126000 | #Constraints:      20029
139.38/139.95	c #Conflicts:     127000 | #Constraints:      21029
139.38/139.95	c #Conflicts:     128000 | #Constraints:      22029
139.38/139.95	c #Conflicts:     129000 | #Constraints:      23029
139.38/139.95	c #Conflicts:     130000 | #Constraints:      24029
139.38/139.95	c #Conflicts:     131000 | #Constraints:      25029
139.38/139.95	c #Conflicts:     132000 | #Constraints:      26029
139.38/139.95	c INPROCESSING
139.38/139.95	c GARBAGE COLLECT
139.38/139.95	c #Conflicts:     133000 | #Constraints:      16791
139.38/139.95	c #Conflicts:     134000 | #Constraints:      17791
139.38/139.95	c #Conflicts:     135000 | #Constraints:      18791
139.38/139.95	c #Conflicts:     136000 | #Constraints:      19791
139.38/139.95	c #Conflicts:     137000 | #Constraints:      20791
139.38/139.95	c #Conflicts:     138000 | #Constraints:      21791
139.38/139.95	c #Conflicts:     139000 | #Constraints:      22791
139.38/139.95	c #Conflicts:     140000 | #Constraints:      23791
139.38/139.95	c #Conflicts:     141000 | #Constraints:      24791
139.38/139.95	c #Conflicts:     142000 | #Constraints:      25791
139.38/139.95	c #Conflicts:     143000 | #Constraints:      26791
139.38/139.95	c #Conflicts:     144000 | #Constraints:      27791
139.38/139.95	c #Conflicts:     145000 | #Constraints:      28791
139.38/139.95	c #Conflicts:     146000 | #Constraints:      29791
139.38/139.95	c #Conflicts:     147000 | #Constraints:      30791
139.38/139.95	c #Conflicts:     148000 | #Constraints:      31791
139.38/139.95	c #Conflicts:     149000 | #Constraints:      32791
139.38/139.95	c #Conflicts:     150000 | #Constraints:      33791
139.38/139.95	c #Conflicts:     151000 | #Constraints:      34791
139.38/139.95	c #Conflicts:     152000 | #Constraints:      35791
139.38/139.95	c #Conflicts:     153000 | #Constraints:      36791
139.38/139.95	c #Conflicts:     154000 | #Constraints:      37791
194.80/195.59	c #Conflicts:     155000 | #Constraints:      38791
194.80/195.59	c #Conflicts:     156000 | #Constraints:      39791
194.80/195.59	c #Conflicts:     157000 | #Constraints:      40791
194.80/195.59	c #Conflicts:     158000 | #Constraints:      41791
194.80/195.59	c #Conflicts:     159000 | #Constraints:      42791
194.80/195.59	c INPROCESSING
194.80/195.59	c GARBAGE COLLECT
194.80/195.59	c #Conflicts:     160000 | #Constraints:      24830
194.80/195.59	c #Conflicts:     161000 | #Constraints:      25830
194.80/195.59	c #Conflicts:     162000 | #Constraints:      26830
194.80/195.59	c #Conflicts:     163000 | #Constraints:      27830
194.80/195.59	c #Conflicts:     164000 | #Constraints:      28830
194.80/195.59	c #Conflicts:     165000 | #Constraints:      29830
194.80/195.59	c #Conflicts:     166000 | #Constraints:      30830
194.80/195.59	c #Conflicts:     167000 | #Constraints:      31830
194.80/195.59	c #Conflicts:     168000 | #Constraints:      32830
194.80/195.59	c #Conflicts:     169000 | #Constraints:      33830
194.80/195.59	c INPROCESSING
194.80/195.59	c GARBAGE COLLECT
194.80/195.59	c #Conflicts:     170000 | #Constraints:      20506
194.80/195.59	c #Conflicts:     171000 | #Constraints:      21506
194.80/195.59	c #Conflicts:     172000 | #Constraints:      22506
194.80/195.59	c #Conflicts:     173000 | #Constraints:      23506
194.80/195.59	c #Conflicts:     174000 | #Constraints:      24506
194.80/195.59	c #Conflicts:     175000 | #Constraints:      25506
194.80/195.59	c #Conflicts:     176000 | #Constraints:      26506
194.80/195.59	c #Conflicts:     177000 | #Constraints:      27506
194.80/195.59	c #Conflicts:     178000 | #Constraints:      28506
194.80/195.59	c #Conflicts:     179000 | #Constraints:      29506
194.80/195.59	c INPROCESSING
194.80/195.59	c GARBAGE COLLECT
194.80/195.59	c #Conflicts:     180000 | #Constraints:      18341
194.80/195.59	c #Conflicts:     181000 | #Constraints:      19341
194.80/195.59	c #Conflicts:     182000 | #Constraints:      20341
194.80/195.59	c #Conflicts:     183000 | #Constraints:      21341
194.80/195.59	c #Conflicts:     184000 | #Constraints:      22341
194.80/195.59	c #Conflicts:     185000 | #Constraints:      23341
194.80/195.59	c #Conflicts:     186000 | #Constraints:      24341
194.80/195.59	c #Conflicts:     187000 | #Constraints:      25341
194.80/195.59	c #Conflicts:     188000 | #Constraints:      26341
194.80/195.59	c #Conflicts:     189000 | #Constraints:      27341
194.80/195.59	c #Conflicts:     190000 | #Constraints:      28341
194.80/195.59	c #Conflicts:     191000 | #Constraints:      29341
194.80/195.59	c #Conflicts:     192000 | #Constraints:      30341
194.80/195.59	c #Conflicts:     193000 | #Constraints:      31341
194.80/195.59	c #Conflicts:     194000 | #Constraints:      32341
194.80/195.59	c #Conflicts:     195000 | #Constraints:      33341
194.80/195.59	c #Conflicts:     196000 | #Constraints:      34341
194.80/195.59	c #Conflicts:     197000 | #Constraints:      35341
194.80/195.59	c #Conflicts:     198000 | #Constraints:      36342
194.80/195.59	c #Conflicts:     199000 | #Constraints:      37342
194.80/195.59	c #Conflicts:     200000 | #Constraints:      38342
194.80/195.59	c #Conflicts:     201000 | #Constraints:      39342
194.80/195.59	c #Conflicts:     202000 | #Constraints:      40342
194.80/195.59	c #Conflicts:     203000 | #Constraints:      41342
194.80/195.59	c #Conflicts:     204000 | #Constraints:      42342
194.80/195.59	c #Conflicts:     205000 | #Constraints:      43342
194.80/195.59	c #Conflicts:     206000 | #Constraints:      44342
194.80/195.59	c #Conflicts:     207000 | #Constraints:      45342
194.80/195.59	c #Conflicts:     208000 | #Constraints:      46342
194.80/195.59	c #Conflicts:     209000 | #Constraints:      47342
194.80/195.59	c #Conflicts:     210000 | #Constraints:      48342
194.80/195.59	c #Conflicts:     211000 | #Constraints:      49342
194.80/195.59	c INPROCESSING
194.80/195.59	c GARBAGE COLLECT
194.80/195.59	c rational objective 1.13243e-13
261.23/262.19	c #Conflicts:     212000 | #Constraints:      28356
261.23/262.19	c #Conflicts:     213000 | #Constraints:      29356
261.23/262.19	c #Conflicts:     214000 | #Constraints:      30356
261.23/262.19	c #Conflicts:     215000 | #Constraints:      31356
261.23/262.19	c #Conflicts:     216000 | #Constraints:      32356
261.23/262.19	c #Conflicts:     217000 | #Constraints:      33356
261.23/262.19	c #Conflicts:     218000 | #Constraints:      34356
261.23/262.19	c #Conflicts:     219000 | #Constraints:      35356
261.23/262.19	c #Conflicts:     220000 | #Constraints:      36356
261.23/262.19	c #Conflicts:     221000 | #Constraints:      37356
261.23/262.19	c #Conflicts:     222000 | #Constraints:      38356
261.23/262.19	c INPROCESSING
261.23/262.19	c GARBAGE COLLECT
261.23/262.19	c #Conflicts:     223000 | #Constraints:      22664
261.23/262.19	c #Conflicts:     224000 | #Constraints:      23664
261.23/262.19	c #Conflicts:     225000 | #Constraints:      24664
261.23/262.19	c #Conflicts:     226000 | #Constraints:      25664
261.23/262.19	c #Conflicts:     227000 | #Constraints:      26664
261.23/262.19	c #Conflicts:     228000 | #Constraints:      27664
261.23/262.19	c #Conflicts:     229000 | #Constraints:      28664
261.23/262.19	c #Conflicts:     230000 | #Constraints:      29664
261.23/262.19	c #Conflicts:     231000 | #Constraints:      30664
261.23/262.19	c #Conflicts:     232000 | #Constraints:      31664
261.23/262.19	c #Conflicts:     233000 | #Constraints:      32664
261.23/262.19	c #Conflicts:     234000 | #Constraints:      33664
261.23/262.19	c INPROCESSING
261.23/262.19	c GARBAGE COLLECT
261.23/262.19	c #Conflicts:     235000 | #Constraints:      20595
261.23/262.19	c #Conflicts:     236000 | #Constraints:      21595
261.23/262.19	c #Conflicts:     237000 | #Constraints:      22595
261.23/262.19	c #Conflicts:     238000 | #Constraints:      23595
261.23/262.19	c #Conflicts:     239000 | #Constraints:      24595
261.23/262.19	c #Conflicts:     240000 | #Constraints:      25595
261.23/262.19	c #Conflicts:     241000 | #Constraints:      26595
261.23/262.19	c #Conflicts:     242000 | #Constraints:      27595
261.23/262.19	c #Conflicts:     243000 | #Constraints:      28595
261.23/262.19	c #Conflicts:     244000 | #Constraints:      29595
261.23/262.19	c #Conflicts:     245000 | #Constraints:      30595
261.23/262.19	c #Conflicts:     246000 | #Constraints:      31595
261.23/262.19	c #Conflicts:     247000 | #Constraints:      32595
261.23/262.19	c #Conflicts:     248000 | #Constraints:      33595
261.23/262.19	c #Conflicts:     249000 | #Constraints:      34595
261.23/262.19	c #Conflicts:     250000 | #Constraints:      35595
261.23/262.19	c #Conflicts:     251000 | #Constraints:      36595
261.23/262.19	c #Conflicts:     252000 | #Constraints:      37595
261.23/262.19	c #Conflicts:     253000 | #Constraints:      38595
261.23/262.19	c #Conflicts:     254000 | #Constraints:      39595
261.23/262.19	c #Conflicts:     255000 | #Constraints:      40596
261.23/262.19	c #Conflicts:     256000 | #Constraints:      41596
261.23/262.19	c #Conflicts:     257000 | #Constraints:      42596
261.23/262.19	c #Conflicts:     258000 | #Constraints:      43596
261.23/262.19	c #Conflicts:     259000 | #Constraints:      44596
261.23/262.19	c #Conflicts:     260000 | #Constraints:      45596
261.23/262.19	c #Conflicts:     261000 | #Constraints:      46596
261.23/262.19	c #Conflicts:     262000 | #Constraints:      47596
261.23/262.19	c #Conflicts:     263000 | #Constraints:      48596
261.23/262.19	c #Conflicts:     264000 | #Constraints:      49596
261.23/262.19	c #Conflicts:     265000 | #Constraints:      50596
261.23/262.19	c #Conflicts:     266000 | #Constraints:      51596
261.23/262.19	c #Conflicts:     267000 | #Constraints:      52596
261.23/262.19	c #Conflicts:     268000 | #Constraints:      53596
261.23/262.19	c #Conflicts:     269000 | #Constraints:      54596
261.23/262.19	c #Conflicts:     270000 | #Constraints:      55596
261.23/262.19	c INPROCESSING
261.23/262.19	c GARBAGE COLLECT
261.23/262.19	c rational objective 1.13243e-13
345.50/346.66	c #Conflicts:     271000 | #Constraints:      31678
345.50/346.66	c #Conflicts:     272000 | #Constraints:      32678
345.50/346.66	c #Conflicts:     273000 | #Constraints:      33678
345.50/346.66	c #Conflicts:     274000 | #Constraints:      34678
345.50/346.66	c #Conflicts:     275000 | #Constraints:      35678
345.50/346.66	c #Conflicts:     276000 | #Constraints:      36678
345.50/346.66	c #Conflicts:     277000 | #Constraints:      37678
345.50/346.66	c #Conflicts:     278000 | #Constraints:      38678
345.50/346.66	c #Conflicts:     279000 | #Constraints:      39678
345.50/346.66	c #Conflicts:     280000 | #Constraints:      40678
345.50/346.66	c #Conflicts:     281000 | #Constraints:      41678
345.50/346.66	c #Conflicts:     282000 | #Constraints:      42678
345.50/346.66	c INPROCESSING
345.50/346.66	c GARBAGE COLLECT
345.50/346.66	c #Conflicts:     283000 | #Constraints:      24743
345.50/346.66	c #Conflicts:     284000 | #Constraints:      25743
345.50/346.66	c #Conflicts:     285000 | #Constraints:      26743
345.50/346.66	c #Conflicts:     286000 | #Constraints:      27743
345.50/346.66	c #Conflicts:     287000 | #Constraints:      28743
345.50/346.66	c #Conflicts:     288000 | #Constraints:      29743
345.50/346.66	c #Conflicts:     289000 | #Constraints:      30743
345.50/346.66	c #Conflicts:     290000 | #Constraints:      31743
345.50/346.66	c #Conflicts:     291000 | #Constraints:      32743
345.50/346.66	c #Conflicts:     292000 | #Constraints:      33743
345.50/346.66	c #Conflicts:     293000 | #Constraints:      34743
345.50/346.66	c #Conflicts:     294000 | #Constraints:      35743
345.50/346.66	c #Conflicts:     295000 | #Constraints:      36743
345.50/346.66	c INPROCESSING
345.50/346.66	c GARBAGE COLLECT
345.50/346.66	c #Conflicts:     296000 | #Constraints:      21826
345.50/346.66	c #Conflicts:     297000 | #Constraints:      22826
345.50/346.66	c #Conflicts:     298000 | #Constraints:      23826
345.50/346.66	c #Conflicts:     299000 | #Constraints:      24826
345.50/346.66	c #Conflicts:     300000 | #Constraints:      25826
345.50/346.66	c #Conflicts:     301000 | #Constraints:      26826
345.50/346.66	c #Conflicts:     302000 | #Constraints:      27826
345.50/346.66	c #Conflicts:     303000 | #Constraints:      28826
345.50/346.66	c #Conflicts:     304000 | #Constraints:      29826
345.50/346.66	c #Conflicts:     305000 | #Constraints:      30826
345.50/346.66	c #Conflicts:     306000 | #Constraints:      31827
345.50/346.66	c #Conflicts:     307000 | #Constraints:      32827
345.50/346.66	c #Conflicts:     308000 | #Constraints:      33827
345.50/346.66	c #Conflicts:     309000 | #Constraints:      34827
345.50/346.66	c #Conflicts:     310000 | #Constraints:      35827
345.50/346.66	c #Conflicts:     311000 | #Constraints:      36827
345.50/346.66	c #Conflicts:     312000 | #Constraints:      37827
345.50/346.66	c #Conflicts:     313000 | #Constraints:      38827
345.50/346.66	c #Conflicts:     314000 | #Constraints:      39827
345.50/346.66	c #Conflicts:     315000 | #Constraints:      40827
345.50/346.66	c #Conflicts:     316000 | #Constraints:      41827
345.50/346.66	c #Conflicts:     317000 | #Constraints:      42827
345.50/346.66	c #Conflicts:     318000 | #Constraints:      43827
345.50/346.66	c #Conflicts:     319000 | #Constraints:      44827
345.50/346.66	c #Conflicts:     320000 | #Constraints:      45827
345.50/346.66	c #Conflicts:     321000 | #Constraints:      46827
345.50/346.66	c #Conflicts:     322000 | #Constraints:      47827
345.50/346.66	c #Conflicts:     323000 | #Constraints:      48827
345.50/346.66	c #Conflicts:     324000 | #Constraints:      49827
345.50/346.66	c #Conflicts:     325000 | #Constraints:      50827
345.50/346.66	c #Conflicts:     326000 | #Constraints:      51827
345.50/346.66	c #Conflicts:     327000 | #Constraints:      52827
345.50/346.66	c #Conflicts:     328000 | #Constraints:      53827
345.50/346.66	c #Conflicts:     329000 | #Constraints:      54827
345.50/346.66	c #Conflicts:     330000 | #Constraints:      55827
345.50/346.66	c #Conflicts:     331000 | #Constraints:      56827
345.50/346.66	c #Conflicts:     332000 | #Constraints:      57827
345.50/346.66	c #Conflicts:     333000 | #Constraints:      58827
345.50/346.66	c #Conflicts:     334000 | #Constraints:      59827
345.50/346.66	c #Conflicts:     335000 | #Constraints:      60827
345.50/346.66	c #Conflicts:     336000 | #Constraints:      61827
345.50/346.66	c INPROCESSING
345.50/346.66	c GARBAGE COLLECT
345.50/346.66	c rational objective 1.13243e-13
362.35/363.53	c #Conflicts:     337000 | #Constraints:      34722
362.35/363.53	c #Conflicts:     338000 | #Constraints:      35722
362.35/363.53	c #Conflicts:     339000 | #Constraints:      36722
362.35/363.53	c #Conflicts:     340000 | #Constraints:      37722
362.35/363.53	c #Conflicts:     341000 | #Constraints:      38722
362.35/363.53	c #Conflicts:     342000 | #Constraints:      39722
362.35/363.53	c #Conflicts:     343000 | #Constraints:      40722
362.35/363.53	c #Conflicts:     344000 | #Constraints:      41722
362.35/363.53	c #Conflicts:     345000 | #Constraints:      42722
362.35/363.53	c #Conflicts:     346000 | #Constraints:      43722
362.35/363.53	c #Conflicts:     347000 | #Constraints:      44722
362.35/363.53	c #Conflicts:     348000 | #Constraints:      45722
362.35/363.53	c #Conflicts:     349000 | #Constraints:      46722
362.35/363.53	c #Conflicts:     350000 | #Constraints:      47722
362.35/363.53	c INPROCESSING
362.35/363.53	c GARBAGE COLLECT
362.35/363.53	c rational objective 1.13243e-13
379.61/380.83	c #Conflicts:     351000 | #Constraints:      27648
379.61/380.83	c #Conflicts:     352000 | #Constraints:      28648
379.61/380.83	c #Conflicts:     353000 | #Constraints:      29649
379.61/380.83	c #Conflicts:     354000 | #Constraints:      30649
379.61/380.83	c #Conflicts:     355000 | #Constraints:      31649
379.61/380.83	c #Conflicts:     356000 | #Constraints:      32649
379.61/380.83	c #Conflicts:     357000 | #Constraints:      33649
379.61/380.83	c #Conflicts:     358000 | #Constraints:      34649
379.61/380.83	c #Conflicts:     359000 | #Constraints:      35649
379.61/380.83	c #Conflicts:     360000 | #Constraints:      36649
379.61/380.83	c #Conflicts:     361000 | #Constraints:      37650
379.61/380.83	c #Conflicts:     362000 | #Constraints:      38650
379.61/380.83	c #Conflicts:     363000 | #Constraints:      39650
379.61/380.83	c #Conflicts:     364000 | #Constraints:      40650
379.61/380.83	c INPROCESSING
379.61/380.83	c GARBAGE COLLECT
379.61/380.83	c rational objective 1.13243e-13
478.94/480.48	c #Conflicts:     365000 | #Constraints:      23918
478.94/480.48	c #Conflicts:     366000 | #Constraints:      24918
478.94/480.48	c #Conflicts:     367000 | #Constraints:      25918
478.94/480.48	c #Conflicts:     368000 | #Constraints:      26918
478.94/480.48	c #Conflicts:     369000 | #Constraints:      27918
478.94/480.48	c #Conflicts:     370000 | #Constraints:      28918
478.94/480.48	c #Conflicts:     371000 | #Constraints:      29918
478.94/480.48	c #Conflicts:     372000 | #Constraints:      30918
478.94/480.48	c #Conflicts:     373000 | #Constraints:      31918
478.94/480.48	c #Conflicts:     374000 | #Constraints:      32918
478.94/480.48	c #Conflicts:     375000 | #Constraints:      33918
478.94/480.48	c #Conflicts:     376000 | #Constraints:      34918
478.94/480.48	c #Conflicts:     377000 | #Constraints:      35918
478.94/480.48	c #Conflicts:     378000 | #Constraints:      36918
478.94/480.48	c #Conflicts:     379000 | #Constraints:      37918
478.94/480.48	c #Conflicts:     380000 | #Constraints:      38918
478.94/480.48	c #Conflicts:     381000 | #Constraints:      39918
478.94/480.48	c #Conflicts:     382000 | #Constraints:      40918
478.94/480.48	c #Conflicts:     383000 | #Constraints:      41918
478.94/480.48	c #Conflicts:     384000 | #Constraints:      42919
478.94/480.48	c #Conflicts:     385000 | #Constraints:      43919
478.94/480.48	c #Conflicts:     386000 | #Constraints:      44919
478.94/480.48	c #Conflicts:     387000 | #Constraints:      45919
478.94/480.48	c #Conflicts:     388000 | #Constraints:      46919
478.94/480.48	c #Conflicts:     389000 | #Constraints:      47919
478.94/480.48	c #Conflicts:     390000 | #Constraints:      48919
478.94/480.48	c #Conflicts:     391000 | #Constraints:      49919
478.94/480.48	c #Conflicts:     392000 | #Constraints:      50919
478.94/480.48	c #Conflicts:     393000 | #Constraints:      51919
478.94/480.48	c #Conflicts:     394000 | #Constraints:      52919
478.94/480.48	c #Conflicts:     395000 | #Constraints:      53919
478.94/480.48	c #Conflicts:     396000 | #Constraints:      54919
478.94/480.48	c #Conflicts:     397000 | #Constraints:      55919
478.94/480.48	c #Conflicts:     398000 | #Constraints:      56919
478.94/480.48	c #Conflicts:     399000 | #Constraints:      57919
478.94/480.48	c #Conflicts:     400000 | #Constraints:      58919
478.94/480.48	c #Conflicts:     401000 | #Constraints:      59919
478.94/480.48	c #Conflicts:     402000 | #Constraints:      60920
478.94/480.48	c #Conflicts:     403000 | #Constraints:      61920
478.94/480.48	c #Conflicts:     404000 | #Constraints:      62920
478.94/480.48	c #Conflicts:     405000 | #Constraints:      63920
478.94/480.48	c #Conflicts:     406000 | #Constraints:      64920
478.94/480.48	c #Conflicts:     407000 | #Constraints:      65920
478.94/480.48	c #Conflicts:     408000 | #Constraints:      66920
478.94/480.48	c #Conflicts:     409000 | #Constraints:      67920
478.94/480.48	c INPROCESSING
478.94/480.48	c GARBAGE COLLECT
478.94/480.48	c rational objective 1.13243e-13
499.38/500.92	c #Conflicts:     410000 | #Constraints:      37752
499.38/500.92	c #Conflicts:     411000 | #Constraints:      38752
499.38/500.92	c #Conflicts:     412000 | #Constraints:      39752
499.38/500.92	c #Conflicts:     413000 | #Constraints:      40752
499.38/500.92	c #Conflicts:     414000 | #Constraints:      41752
499.38/500.92	c #Conflicts:     415000 | #Constraints:      42752
499.38/500.92	c #Conflicts:     416000 | #Constraints:      43752
499.38/500.92	c #Conflicts:     417000 | #Constraints:      44752
499.38/500.92	c #Conflicts:     418000 | #Constraints:      45752
499.38/500.92	c #Conflicts:     419000 | #Constraints:      46752
499.38/500.92	c #Conflicts:     420000 | #Constraints:      47752
499.38/500.92	c #Conflicts:     421000 | #Constraints:      48752
499.38/500.92	c #Conflicts:     422000 | #Constraints:      49752
499.38/500.92	c #Conflicts:     423000 | #Constraints:      50752
499.38/500.92	c #Conflicts:     424000 | #Constraints:      51752
499.38/500.92	c #Conflicts:     425000 | #Constraints:      52752
499.38/500.92	c INPROCESSING
499.38/500.92	c GARBAGE COLLECT
499.38/500.92	c rational objective 1.13243e-13
706.92/709.03	c #Conflicts:     426000 | #Constraints:      30263
706.92/709.03	c #Conflicts:     427000 | #Constraints:      31263
706.92/709.03	c #Conflicts:     428000 | #Constraints:      32263
706.92/709.03	c #Conflicts:     429000 | #Constraints:      33263
706.92/709.03	c #Conflicts:     430000 | #Constraints:      34263
706.92/709.03	c #Conflicts:     431000 | #Constraints:      35263
706.92/709.03	c #Conflicts:     432000 | #Constraints:      36263
706.92/709.03	c #Conflicts:     433000 | #Constraints:      37263
706.92/709.03	c #Conflicts:     434000 | #Constraints:      38263
706.92/709.03	c #Conflicts:     435000 | #Constraints:      39263
706.92/709.03	c #Conflicts:     436000 | #Constraints:      40263
706.92/709.03	c #Conflicts:     437000 | #Constraints:      41263
706.92/709.03	c #Conflicts:     438000 | #Constraints:      42263
706.92/709.03	c #Conflicts:     439000 | #Constraints:      43263
706.92/709.03	c #Conflicts:     440000 | #Constraints:      44263
706.92/709.03	c #Conflicts:     441000 | #Constraints:      45263
706.92/709.03	c INPROCESSING
706.92/709.03	c GARBAGE COLLECT
706.92/709.03	c #Conflicts:     442000 | #Constraints:      27450
706.92/709.03	c #Conflicts:     443000 | #Constraints:      28450
706.92/709.03	c #Conflicts:     444000 | #Constraints:      29450
706.92/709.03	c #Conflicts:     445000 | #Constraints:      30450
706.92/709.03	c #Conflicts:     446000 | #Constraints:      31450
706.92/709.03	c #Conflicts:     447000 | #Constraints:      32450
706.92/709.03	c #Conflicts:     448000 | #Constraints:      33450
706.92/709.03	c #Conflicts:     449000 | #Constraints:      34450
706.92/709.03	c #Conflicts:     450000 | #Constraints:      35450
706.92/709.03	c #Conflicts:     451000 | #Constraints:      36450
706.92/709.03	c #Conflicts:     452000 | #Constraints:      37450
706.92/709.03	c #Conflicts:     453000 | #Constraints:      38450
706.92/709.03	c #Conflicts:     454000 | #Constraints:      39450
706.92/709.03	c #Conflicts:     455000 | #Constraints:      40450
706.92/709.03	c #Conflicts:     456000 | #Constraints:      41450
706.92/709.03	c #Conflicts:     457000 | #Constraints:      42450
706.92/709.03	c #Conflicts:     458000 | #Constraints:      43450
706.92/709.03	c #Conflicts:     459000 | #Constraints:      44450
706.92/709.03	c #Conflicts:     460000 | #Constraints:      45450
706.92/709.03	c #Conflicts:     461000 | #Constraints:      46450
706.92/709.03	c #Conflicts:     462000 | #Constraints:      47450
706.92/709.03	c #Conflicts:     463000 | #Constraints:      48450
706.92/709.03	c #Conflicts:     464000 | #Constraints:      49450
706.92/709.03	c #Conflicts:     465000 | #Constraints:      50450
706.92/709.03	c #Conflicts:     466000 | #Constraints:      51450
706.92/709.03	c #Conflicts:     467000 | #Constraints:      52450
706.92/709.03	c #Conflicts:     468000 | #Constraints:      53450
706.92/709.03	c #Conflicts:     469000 | #Constraints:      54450
706.92/709.03	c #Conflicts:     470000 | #Constraints:      55450
706.92/709.03	c #Conflicts:     471000 | #Constraints:      56450
706.92/709.03	c #Conflicts:     472000 | #Constraints:      57450
706.92/709.03	c #Conflicts:     473000 | #Constraints:      58450
706.92/709.03	c #Conflicts:     474000 | #Constraints:      59450
706.92/709.03	c #Conflicts:     475000 | #Constraints:      60450
706.92/709.03	c #Conflicts:     476000 | #Constraints:      61450
706.92/709.03	c #Conflicts:     477000 | #Constraints:      62450
706.92/709.03	c #Conflicts:     478000 | #Constraints:      63450
706.92/709.03	c #Conflicts:     479000 | #Constraints:      64450
706.92/709.03	c #Conflicts:     480000 | #Constraints:      65450
706.92/709.03	c #Conflicts:     481000 | #Constraints:      66450
706.92/709.03	c #Conflicts:     482000 | #Constraints:      67450
706.92/709.03	c #Conflicts:     483000 | #Constraints:      68450
706.92/709.03	c #Conflicts:     484000 | #Constraints:      69450
706.92/709.03	c #Conflicts:     485000 | #Constraints:      70450
706.92/709.03	c #Conflicts:     486000 | #Constraints:      71450
706.92/709.03	c #Conflicts:     487000 | #Constraints:      72450
706.92/709.03	c #Conflicts:     488000 | #Constraints:      73450
706.92/709.03	c #Conflicts:     489000 | #Constraints:      74450
706.92/709.03	c INPROCESSING
706.92/709.03	c GARBAGE COLLECT
706.92/709.03	c rational objective 2.26485e-13
854.79/857.37	c #Conflicts:     490000 | #Constraints:      40870
854.79/857.37	c #Conflicts:     491000 | #Constraints:      41870
854.79/857.37	c #Conflicts:     492000 | #Constraints:      42870
854.79/857.37	c #Conflicts:     493000 | #Constraints:      43870
854.79/857.37	c #Conflicts:     494000 | #Constraints:      44870
854.79/857.37	c #Conflicts:     495000 | #Constraints:      45870
854.79/857.37	c #Conflicts:     496000 | #Constraints:      46870
854.79/857.37	c #Conflicts:     497000 | #Constraints:      47870
854.79/857.37	c #Conflicts:     498000 | #Constraints:      48870
854.79/857.37	c #Conflicts:     499000 | #Constraints:      49870
854.79/857.37	c #Conflicts:     500000 | #Constraints:      50870
854.79/857.37	c #Conflicts:     501000 | #Constraints:      51870
854.79/857.37	c #Conflicts:     502000 | #Constraints:      52870
854.79/857.37	c #Conflicts:     503000 | #Constraints:      53870
854.79/857.37	c #Conflicts:     504000 | #Constraints:      54870
854.79/857.37	c #Conflicts:     505000 | #Constraints:      55870
854.79/857.37	c #Conflicts:     506000 | #Constraints:      56870
854.79/857.37	c INPROCESSING
854.79/857.37	c GARBAGE COLLECT
854.79/857.37	c #Conflicts:     507000 | #Constraints:      31859
854.79/857.37	c #Conflicts:     508000 | #Constraints:      32859
854.79/857.37	c #Conflicts:     509000 | #Constraints:      33859
854.79/857.37	c #Conflicts:     510000 | #Constraints:      34859
854.79/857.37	c #Conflicts:     511000 | #Constraints:      35859
854.79/857.37	c #Conflicts:     512000 | #Constraints:      36859
854.79/857.37	c #Conflicts:     513000 | #Constraints:      37859
854.79/857.37	c #Conflicts:     514000 | #Constraints:      38859
854.79/857.37	c #Conflicts:     515000 | #Constraints:      39859
854.79/857.37	c #Conflicts:     516000 | #Constraints:      40859
854.79/857.37	c #Conflicts:     517000 | #Constraints:      41859
854.79/857.37	c #Conflicts:     518000 | #Constraints:      42859
854.79/857.37	c #Conflicts:     519000 | #Constraints:      43859
854.79/857.37	c #Conflicts:     520000 | #Constraints:      44859
854.79/857.37	c #Conflicts:     521000 | #Constraints:      45859
854.79/857.37	c #Conflicts:     522000 | #Constraints:      46859
854.79/857.37	c #Conflicts:     523000 | #Constraints:      47859
854.79/857.37	c #Conflicts:     524000 | #Constraints:      48859
854.79/857.37	c INPROCESSING
854.79/857.37	c GARBAGE COLLECT
854.79/857.37	c #Conflicts:     525000 | #Constraints:      28509
854.79/857.37	c #Conflicts:     526000 | #Constraints:      29509
854.79/857.37	c #Conflicts:     527000 | #Constraints:      30509
854.79/857.37	c #Conflicts:     528000 | #Constraints:      31509
854.79/857.37	c #Conflicts:     529000 | #Constraints:      32509
854.79/857.37	c #Conflicts:     530000 | #Constraints:      33509
854.79/857.37	c #Conflicts:     531000 | #Constraints:      34509
854.79/857.37	c #Conflicts:     532000 | #Constraints:      35509
854.79/857.37	c #Conflicts:     533000 | #Constraints:      36509
854.79/857.37	c #Conflicts:     534000 | #Constraints:      37509
854.79/857.37	c #Conflicts:     535000 | #Constraints:      38509
854.79/857.37	c #Conflicts:     536000 | #Constraints:      39509
854.79/857.37	c #Conflicts:     537000 | #Constraints:      40509
854.79/857.37	c #Conflicts:     538000 | #Constraints:      41509
854.79/857.37	c #Conflicts:     539000 | #Constraints:      42509
854.79/857.37	c #Conflicts:     540000 | #Constraints:      43509
854.79/857.37	c #Conflicts:     541000 | #Constraints:      44509
854.79/857.37	c #Conflicts:     542000 | #Constraints:      45509
854.79/857.37	c #Conflicts:     543000 | #Constraints:      46509
854.79/857.37	c #Conflicts:     544000 | #Constraints:      47509
854.79/857.37	c #Conflicts:     545000 | #Constraints:      48509
854.79/857.37	c #Conflicts:     546000 | #Constraints:      49509
854.79/857.37	c #Conflicts:     547000 | #Constraints:      50509
854.79/857.37	c #Conflicts:     548000 | #Constraints:      51509
854.79/857.37	c #Conflicts:     549000 | #Constraints:      52509
854.79/857.37	c #Conflicts:     550000 | #Constraints:      53509
854.79/857.37	c #Conflicts:     551000 | #Constraints:      54509
854.79/857.37	c #Conflicts:     552000 | #Constraints:      55509
854.79/857.37	c #Conflicts:     553000 | #Constraints:      56509
854.79/857.37	c #Conflicts:     554000 | #Constraints:      57509
854.79/857.37	c #Conflicts:     555000 | #Constraints:      58509
854.79/857.37	c #Conflicts:     556000 | #Constraints:      59509
854.79/857.37	c #Conflicts:     557000 | #Constraints:      60509
854.79/857.37	c #Conflicts:     558000 | #Constraints:      61509
854.79/857.37	c #Conflicts:     559000 | #Constraints:      62509
854.79/857.37	c #Conflicts:     560000 | #Constraints:      63509
854.79/857.37	c #Conflicts:     561000 | #Constraints:      64509
854.79/857.37	c #Conflicts:     562000 | #Constraints:      65509
854.79/857.37	c #Conflicts:     563000 | #Constraints:      66509
854.79/857.37	c #Conflicts:     564000 | #Constraints:      67509
854.79/857.37	c #Conflicts:     565000 | #Constraints:      68509
854.79/857.37	c #Conflicts:     566000 | #Constraints:      69509
854.79/857.37	c #Conflicts:     567000 | #Constraints:      70509
881.32/883.92	c #Conflicts:     568000 | #Constraints:      71509
881.32/883.92	c #Conflicts:     569000 | #Constraints:      72509
881.32/883.92	c #Conflicts:     570000 | #Constraints:      73509
881.32/883.92	c #Conflicts:     571000 | #Constraints:      74509
881.32/883.92	c #Conflicts:     572000 | #Constraints:      75509
881.32/883.92	c #Conflicts:     573000 | #Constraints:      76509
881.32/883.92	c #Conflicts:     574000 | #Constraints:      77509
881.32/883.92	c #Conflicts:     575000 | #Constraints:      78509
881.32/883.92	c #Conflicts:     576000 | #Constraints:      79509
881.32/883.92	c #Conflicts:     577000 | #Constraints:      80509
881.32/883.92	c INPROCESSING
881.32/883.92	c GARBAGE COLLECT
881.32/883.92	c rational objective 1.13243e-13
988.35/991.23	c #Conflicts:     578000 | #Constraints:      44075
988.35/991.23	c #Conflicts:     579000 | #Constraints:      45075
988.35/991.23	c #Conflicts:     580000 | #Constraints:      46075
988.35/991.23	c #Conflicts:     581000 | #Constraints:      47075
988.35/991.23	c #Conflicts:     582000 | #Constraints:      48075
988.35/991.23	c #Conflicts:     583000 | #Constraints:      49075
988.35/991.23	c #Conflicts:     584000 | #Constraints:      50075
988.35/991.23	c #Conflicts:     585000 | #Constraints:      51075
988.35/991.23	c #Conflicts:     586000 | #Constraints:      52075
988.35/991.23	c #Conflicts:     587000 | #Constraints:      53075
988.35/991.23	c #Conflicts:     588000 | #Constraints:      54075
988.35/991.23	c #Conflicts:     589000 | #Constraints:      55075
988.35/991.23	c #Conflicts:     590000 | #Constraints:      56075
988.35/991.23	c #Conflicts:     591000 | #Constraints:      57075
988.35/991.23	c #Conflicts:     592000 | #Constraints:      58075
988.35/991.23	c #Conflicts:     593000 | #Constraints:      59075
988.35/991.23	c #Conflicts:     594000 | #Constraints:      60075
988.35/991.23	c #Conflicts:     595000 | #Constraints:      61075
988.35/991.23	c #Conflicts:     596000 | #Constraints:      62075
988.35/991.23	c INPROCESSING
988.35/991.23	c GARBAGE COLLECT
988.35/991.23	c #Conflicts:     597000 | #Constraints:      34995
988.35/991.23	c #Conflicts:     598000 | #Constraints:      35995
988.35/991.23	c #Conflicts:     599000 | #Constraints:      36995
988.35/991.23	c #Conflicts:     600000 | #Constraints:      37995
988.35/991.23	c #Conflicts:     601000 | #Constraints:      38995
988.35/991.23	c #Conflicts:     602000 | #Constraints:      39995
988.35/991.23	c #Conflicts:     603000 | #Constraints:      40995
988.35/991.23	c #Conflicts:     604000 | #Constraints:      41995
988.35/991.23	c #Conflicts:     605000 | #Constraints:      42995
988.35/991.23	c #Conflicts:     606000 | #Constraints:      43995
988.35/991.23	c #Conflicts:     607000 | #Constraints:      44995
988.35/991.23	c #Conflicts:     608000 | #Constraints:      45995
988.35/991.23	c #Conflicts:     609000 | #Constraints:      46995
988.35/991.23	c #Conflicts:     610000 | #Constraints:      47995
988.35/991.23	c #Conflicts:     611000 | #Constraints:      48995
988.35/991.23	c #Conflicts:     612000 | #Constraints:      49995
988.35/991.23	c #Conflicts:     613000 | #Constraints:      50995
988.35/991.23	c #Conflicts:     614000 | #Constraints:      51995
988.35/991.23	c #Conflicts:     615000 | #Constraints:      52995
988.35/991.23	c INPROCESSING
988.35/991.23	c GARBAGE COLLECT
988.35/991.23	c #Conflicts:     616000 | #Constraints:      31655
988.35/991.23	c #Conflicts:     617000 | #Constraints:      32655
988.35/991.23	c #Conflicts:     618000 | #Constraints:      33655
988.35/991.23	c #Conflicts:     619000 | #Constraints:      34655
988.35/991.23	c #Conflicts:     620000 | #Constraints:      35655
988.35/991.23	c #Conflicts:     621000 | #Constraints:      36655
988.35/991.23	c #Conflicts:     622000 | #Constraints:      37655
988.35/991.23	c #Conflicts:     623000 | #Constraints:      38655
988.35/991.23	c #Conflicts:     624000 | #Constraints:      39655
988.35/991.23	c #Conflicts:     625000 | #Constraints:      40655
988.35/991.23	c #Conflicts:     626000 | #Constraints:      41655
988.35/991.23	c #Conflicts:     627000 | #Constraints:      42655
988.35/991.23	c #Conflicts:     628000 | #Constraints:      43655
988.35/991.23	c #Conflicts:     629000 | #Constraints:      44655
988.35/991.23	c #Conflicts:     630000 | #Constraints:      45655
988.35/991.23	c #Conflicts:     631000 | #Constraints:      46655
988.35/991.23	c #Conflicts:     632000 | #Constraints:      47655
988.35/991.23	c #Conflicts:     633000 | #Constraints:      48655
988.35/991.23	c #Conflicts:     634000 | #Constraints:      49655
988.35/991.23	c #Conflicts:     635000 | #Constraints:      50655
988.35/991.23	c #Conflicts:     636000 | #Constraints:      51655
988.35/991.23	c #Conflicts:     637000 | #Constraints:      52655
988.35/991.23	c #Conflicts:     638000 | #Constraints:      53655
988.35/991.23	c #Conflicts:     639000 | #Constraints:      54655
988.35/991.23	c #Conflicts:     640000 | #Constraints:      55655
988.35/991.23	c #Conflicts:     641000 | #Constraints:      56655
988.35/991.23	c #Conflicts:     642000 | #Constraints:      57655
988.35/991.23	c #Conflicts:     643000 | #Constraints:      58655
988.35/991.23	c #Conflicts:     644000 | #Constraints:      59655
988.35/991.23	c #Conflicts:     645000 | #Constraints:      60655
988.35/991.23	c #Conflicts:     646000 | #Constraints:      61655
988.35/991.23	c #Conflicts:     647000 | #Constraints:      62655
988.35/991.23	c #Conflicts:     648000 | #Constraints:      63655
988.35/991.23	c #Conflicts:     649000 | #Constraints:      64655
988.35/991.23	c #Conflicts:     650000 | #Constraints:      65655
988.35/991.23	c #Conflicts:     651000 | #Constraints:      66655
988.35/991.23	c #Conflicts:     652000 | #Constraints:      67655
988.35/991.23	c #Conflicts:     653000 | #Constraints:      68655
988.35/991.23	c #Conflicts:     654000 | #Constraints:      69655
988.35/991.23	c #Conflicts:     655000 | #Constraints:      70655
1043.20/1046.20	c #Conflicts:     656000 | #Constraints:      71655
1043.20/1046.20	c #Conflicts:     657000 | #Constraints:      72655
1043.20/1046.20	c #Conflicts:     658000 | #Constraints:      73655
1043.20/1046.20	c #Conflicts:     659000 | #Constraints:      74655
1043.20/1046.20	c #Conflicts:     660000 | #Constraints:      75655
1043.20/1046.20	c #Conflicts:     661000 | #Constraints:      76655
1043.20/1046.20	c #Conflicts:     662000 | #Constraints:      77655
1043.20/1046.20	c #Conflicts:     663000 | #Constraints:      78655
1043.20/1046.20	c #Conflicts:     664000 | #Constraints:      79655
1043.20/1046.20	c #Conflicts:     665000 | #Constraints:      80655
1043.20/1046.20	c #Conflicts:     666000 | #Constraints:      81655
1043.20/1046.20	c #Conflicts:     667000 | #Constraints:      82655
1043.20/1046.20	c #Conflicts:     668000 | #Constraints:      83655
1043.20/1046.20	c #Conflicts:     669000 | #Constraints:      84655
1043.20/1046.20	c #Conflicts:     670000 | #Constraints:      85655
1043.20/1046.20	c #Conflicts:     671000 | #Constraints:      86655
1043.20/1046.20	c #Conflicts:     672000 | #Constraints:      87655
1043.20/1046.20	c INPROCESSING
1043.20/1046.20	c GARBAGE COLLECT
1043.20/1046.20	c rational objective 1.13243e-13
1068.83/1071.94	c #Conflicts:     673000 | #Constraints:      47825
1068.83/1071.94	c #Conflicts:     674000 | #Constraints:      48825
1068.83/1071.94	c #Conflicts:     675000 | #Constraints:      49825
1068.83/1071.94	c #Conflicts:     676000 | #Constraints:      50825
1068.83/1071.94	c #Conflicts:     677000 | #Constraints:      51825
1068.83/1071.94	c #Conflicts:     678000 | #Constraints:      52825
1068.83/1071.94	c #Conflicts:     679000 | #Constraints:      53825
1068.83/1071.94	c #Conflicts:     680000 | #Constraints:      54825
1068.83/1071.94	c #Conflicts:     681000 | #Constraints:      55825
1068.83/1071.94	c #Conflicts:     682000 | #Constraints:      56825
1068.83/1071.94	c #Conflicts:     683000 | #Constraints:      57825
1068.83/1071.94	c #Conflicts:     684000 | #Constraints:      58825
1068.83/1071.94	c #Conflicts:     685000 | #Constraints:      59825
1068.83/1071.94	c #Conflicts:     686000 | #Constraints:      60825
1068.83/1071.94	c #Conflicts:     687000 | #Constraints:      61825
1068.83/1071.94	c #Conflicts:     688000 | #Constraints:      62825
1068.83/1071.94	c #Conflicts:     689000 | #Constraints:      63825
1068.83/1071.94	c #Conflicts:     690000 | #Constraints:      64825
1068.83/1071.94	c #Conflicts:     691000 | #Constraints:      65825
1068.83/1071.94	c #Conflicts:     692000 | #Constraints:      66825
1068.83/1071.94	c INPROCESSING
1068.83/1071.94	c GARBAGE COLLECT
1068.83/1071.94	c rational objective -1.66089e-12
1311.91/1315.73	c #Conflicts:     693000 | #Constraints:      37310
1311.91/1315.73	c #Conflicts:     694000 | #Constraints:      38310
1311.91/1315.73	c #Conflicts:     695000 | #Constraints:      39310
1311.91/1315.73	c #Conflicts:     696000 | #Constraints:      40310
1311.91/1315.73	c #Conflicts:     697000 | #Constraints:      41310
1311.91/1315.73	c #Conflicts:     698000 | #Constraints:      42310
1311.91/1315.73	c #Conflicts:     699000 | #Constraints:      43310
1311.91/1315.73	c #Conflicts:     700000 | #Constraints:      44310
1311.91/1315.73	c #Conflicts:     701000 | #Constraints:      45310
1311.91/1315.73	c #Conflicts:     702000 | #Constraints:      46310
1311.91/1315.73	c #Conflicts:     703000 | #Constraints:      47310
1311.91/1315.73	c #Conflicts:     704000 | #Constraints:      48310
1311.91/1315.73	c #Conflicts:     705000 | #Constraints:      49310
1311.91/1315.73	c #Conflicts:     706000 | #Constraints:      50310
1311.91/1315.73	c #Conflicts:     707000 | #Constraints:      51310
1311.91/1315.73	c #Conflicts:     708000 | #Constraints:      52310
1311.91/1315.73	c #Conflicts:     709000 | #Constraints:      53310
1311.91/1315.73	c #Conflicts:     710000 | #Constraints:      54310
1311.91/1315.73	c #Conflicts:     711000 | #Constraints:      55310
1311.91/1315.73	c #Conflicts:     712000 | #Constraints:      56310
1311.91/1315.73	c INPROCESSING
1311.91/1315.73	c GARBAGE COLLECT
1311.91/1315.73	c #Conflicts:     713000 | #Constraints:      33975
1311.91/1315.73	c #Conflicts:     714000 | #Constraints:      34975
1311.91/1315.73	c #Conflicts:     715000 | #Constraints:      35975
1311.91/1315.73	c #Conflicts:     716000 | #Constraints:      36975
1311.91/1315.73	c #Conflicts:     717000 | #Constraints:      37975
1311.91/1315.73	c #Conflicts:     718000 | #Constraints:      38975
1311.91/1315.73	c #Conflicts:     719000 | #Constraints:      39975
1311.91/1315.73	c #Conflicts:     720000 | #Constraints:      40975
1311.91/1315.73	c #Conflicts:     721000 | #Constraints:      41975
1311.91/1315.73	c #Conflicts:     722000 | #Constraints:      42975
1311.91/1315.73	c #Conflicts:     723000 | #Constraints:      43975
1311.91/1315.73	c #Conflicts:     724000 | #Constraints:      44975
1311.91/1315.73	c #Conflicts:     725000 | #Constraints:      45975
1311.91/1315.73	c #Conflicts:     726000 | #Constraints:      46975
1311.91/1315.73	c #Conflicts:     727000 | #Constraints:      47975
1311.91/1315.73	c #Conflicts:     728000 | #Constraints:      48975
1311.91/1315.73	c #Conflicts:     729000 | #Constraints:      49975
1311.91/1315.73	c #Conflicts:     730000 | #Constraints:      50975
1311.91/1315.73	c #Conflicts:     731000 | #Constraints:      51975
1311.91/1315.73	c #Conflicts:     732000 | #Constraints:      52975
1311.91/1315.73	c #Conflicts:     733000 | #Constraints:      53975
1311.91/1315.73	c #Conflicts:     734000 | #Constraints:      54975
1311.91/1315.73	c #Conflicts:     735000 | #Constraints:      55975
1311.91/1315.73	c #Conflicts:     736000 | #Constraints:      56975
1311.91/1315.73	c #Conflicts:     737000 | #Constraints:      57975
1311.91/1315.73	c #Conflicts:     738000 | #Constraints:      58975
1311.91/1315.73	c #Conflicts:     739000 | #Constraints:      59975
1311.91/1315.73	c #Conflicts:     740000 | #Constraints:      60975
1311.91/1315.73	c #Conflicts:     741000 | #Constraints:      61975
1311.91/1315.73	c #Conflicts:     742000 | #Constraints:      62975
1311.91/1315.73	c #Conflicts:     743000 | #Constraints:      63975
1311.91/1315.73	c #Conflicts:     744000 | #Constraints:      64975
1311.91/1315.73	c #Conflicts:     745000 | #Constraints:      65975
1311.91/1315.73	c #Conflicts:     746000 | #Constraints:      66975
1311.91/1315.73	c #Conflicts:     747000 | #Constraints:      67975
1311.91/1315.73	c #Conflicts:     748000 | #Constraints:      68975
1311.91/1315.73	c #Conflicts:     749000 | #Constraints:      69975
1311.91/1315.73	c #Conflicts:     750000 | #Constraints:      70975
1311.91/1315.73	c #Conflicts:     751000 | #Constraints:      71975
1311.91/1315.73	c #Conflicts:     752000 | #Constraints:      72975
1311.91/1315.73	c #Conflicts:     753000 | #Constraints:      73975
1311.91/1315.73	c #Conflicts:     754000 | #Constraints:      74975
1311.91/1315.73	c #Conflicts:     755000 | #Constraints:      75976
1311.91/1315.73	c #Conflicts:     756000 | #Constraints:      76976
1311.91/1315.73	c #Conflicts:     757000 | #Constraints:      77976
1311.91/1315.73	c #Conflicts:     758000 | #Constraints:      78976
1311.91/1315.73	c #Conflicts:     759000 | #Constraints:      79976
1311.91/1315.73	c #Conflicts:     760000 | #Constraints:      80976
1311.91/1315.73	c #Conflicts:     761000 | #Constraints:      81976
1311.91/1315.73	c #Conflicts:     762000 | #Constraints:      82976
1311.91/1315.73	c #Conflicts:     763000 | #Constraints:      83976
1311.91/1315.73	c #Conflicts:     764000 | #Constraints:      84976
1311.91/1315.73	c #Conflicts:     765000 | #Constraints:      85976
1311.91/1315.73	c #Conflicts:     766000 | #Constraints:      86976
1311.91/1315.73	c #Conflicts:     767000 | #Constraints:      87976
1311.91/1315.73	c #Conflicts:     768000 | #Constraints:      88976
1311.91/1315.73	c #Conflicts:     769000 | #Constraints:      89976
1311.91/1315.73	c #Conflicts:     770000 | #Constraints:      90976
1311.91/1315.73	c #Conflicts:     771000 | #Constraints:      91976
1323.87/1327.73	c #Conflicts:     772000 | #Constraints:      92976
1323.87/1327.73	c #Conflicts:     773000 | #Constraints:      93976
1323.87/1327.73	c #Conflicts:     774000 | #Constraints:      94976
1323.87/1327.73	c INPROCESSING
1323.87/1327.73	c GARBAGE COLLECT
1323.87/1327.73	c rational objective -1.13243e-13
1395.05/1399.15	c #Conflicts:     775000 | #Constraints:      51410
1395.05/1399.15	c #Conflicts:     776000 | #Constraints:      52411
1395.05/1399.15	c #Conflicts:     777000 | #Constraints:      53411
1395.05/1399.15	c #Conflicts:     778000 | #Constraints:      54411
1395.05/1399.15	c #Conflicts:     779000 | #Constraints:      55411
1395.05/1399.15	c #Conflicts:     780000 | #Constraints:      56411
1395.05/1399.15	c #Conflicts:     781000 | #Constraints:      57411
1395.05/1399.15	c #Conflicts:     782000 | #Constraints:      58411
1395.05/1399.15	c #Conflicts:     783000 | #Constraints:      59411
1395.05/1399.15	c #Conflicts:     784000 | #Constraints:      60412
1395.05/1399.15	c #Conflicts:     785000 | #Constraints:      61412
1395.05/1399.15	c #Conflicts:     786000 | #Constraints:      62412
1395.05/1399.15	c #Conflicts:     787000 | #Constraints:      63412
1395.05/1399.15	c #Conflicts:     788000 | #Constraints:      64412
1395.05/1399.15	c #Conflicts:     789000 | #Constraints:      65412
1395.05/1399.15	c #Conflicts:     790000 | #Constraints:      66412
1395.05/1399.15	c #Conflicts:     791000 | #Constraints:      67412
1395.05/1399.15	c #Conflicts:     792000 | #Constraints:      68413
1395.05/1399.15	c #Conflicts:     793000 | #Constraints:      69413
1395.05/1399.15	c #Conflicts:     794000 | #Constraints:      70413
1395.05/1399.15	c #Conflicts:     795000 | #Constraints:      71413
1395.05/1399.15	c INPROCESSING
1395.05/1399.15	c GARBAGE COLLECT
1395.05/1399.15	c #Conflicts:     796000 | #Constraints:      39289
1395.05/1399.15	c #Conflicts:     797000 | #Constraints:      40289
1395.05/1399.15	c #Conflicts:     798000 | #Constraints:      41289
1395.05/1399.15	c #Conflicts:     799000 | #Constraints:      42289
1395.05/1399.15	c #Conflicts:     800000 | #Constraints:      43289
1395.05/1399.15	c #Conflicts:     801000 | #Constraints:      44290
1395.05/1399.15	c #Conflicts:     802000 | #Constraints:      45290
1395.05/1399.15	c #Conflicts:     803000 | #Constraints:      46290
1395.05/1399.15	c #Conflicts:     804000 | #Constraints:      47290
1395.05/1399.15	c #Conflicts:     805000 | #Constraints:      48290
1395.05/1399.15	c #Conflicts:     806000 | #Constraints:      49290
1395.05/1399.15	c #Conflicts:     807000 | #Constraints:      50290
1395.05/1399.15	c #Conflicts:     808000 | #Constraints:      51290
1395.05/1399.15	c #Conflicts:     809000 | #Constraints:      52290
1395.05/1399.15	c #Conflicts:     810000 | #Constraints:      53290
1395.05/1399.15	c #Conflicts:     811000 | #Constraints:      54290
1395.05/1399.15	c #Conflicts:     812000 | #Constraints:      55290
1395.05/1399.15	c #Conflicts:     813000 | #Constraints:      56290
1395.05/1399.15	c #Conflicts:     814000 | #Constraints:      57290
1395.05/1399.15	c #Conflicts:     815000 | #Constraints:      58290
1395.05/1399.15	c #Conflicts:     816000 | #Constraints:      59290
1395.05/1399.15	c #Conflicts:     817000 | #Constraints:      60290
1395.05/1399.15	c INPROCESSING
1395.05/1399.15	c GARBAGE COLLECT
1395.05/1399.15	c rational objective -1.13243e-13
1600.19/1604.94	c #Conflicts:     818000 | #Constraints:      36784
1600.19/1604.94	c #Conflicts:     819000 | #Constraints:      37784
1600.19/1604.94	c #Conflicts:     820000 | #Constraints:      38784
1600.19/1604.94	c #Conflicts:     821000 | #Constraints:      39784
1600.19/1604.94	c #Conflicts:     822000 | #Constraints:      40784
1600.19/1604.94	c #Conflicts:     823000 | #Constraints:      41784
1600.19/1604.94	c #Conflicts:     824000 | #Constraints:      42784
1600.19/1604.94	c #Conflicts:     825000 | #Constraints:      43784
1600.19/1604.94	c #Conflicts:     826000 | #Constraints:      44784
1600.19/1604.94	c #Conflicts:     827000 | #Constraints:      45784
1600.19/1604.94	c #Conflicts:     828000 | #Constraints:      46784
1600.19/1604.94	c #Conflicts:     829000 | #Constraints:      47784
1600.19/1604.94	c #Conflicts:     830000 | #Constraints:      48784
1600.19/1604.94	c #Conflicts:     831000 | #Constraints:      49784
1600.19/1604.94	c #Conflicts:     832000 | #Constraints:      50784
1600.19/1604.94	c #Conflicts:     833000 | #Constraints:      51784
1600.19/1604.94	c #Conflicts:     834000 | #Constraints:      52784
1600.19/1604.94	c #Conflicts:     835000 | #Constraints:      53784
1600.19/1604.94	c #Conflicts:     836000 | #Constraints:      54784
1600.19/1604.94	c #Conflicts:     837000 | #Constraints:      55784
1600.19/1604.94	c #Conflicts:     838000 | #Constraints:      56784
1600.19/1604.94	c #Conflicts:     839000 | #Constraints:      57784
1600.19/1604.94	c #Conflicts:     840000 | #Constraints:      58784
1600.19/1604.94	c #Conflicts:     841000 | #Constraints:      59784
1600.19/1604.94	c #Conflicts:     842000 | #Constraints:      60784
1600.19/1604.94	c #Conflicts:     843000 | #Constraints:      61784
1600.19/1604.94	c #Conflicts:     844000 | #Constraints:      62784
1600.19/1604.94	c #Conflicts:     845000 | #Constraints:      63784
1600.19/1604.94	c #Conflicts:     846000 | #Constraints:      64784
1600.19/1604.94	c #Conflicts:     847000 | #Constraints:      65784
1600.19/1604.94	c #Conflicts:     848000 | #Constraints:      66784
1600.19/1604.94	c #Conflicts:     849000 | #Constraints:      67784
1600.19/1604.94	c #Conflicts:     850000 | #Constraints:      68784
1600.19/1604.94	c #Conflicts:     851000 | #Constraints:      69784
1600.19/1604.94	c #Conflicts:     852000 | #Constraints:      70784
1600.19/1604.94	c #Conflicts:     853000 | #Constraints:      71784
1600.19/1604.94	c #Conflicts:     854000 | #Constraints:      72784
1600.19/1604.94	c #Conflicts:     855000 | #Constraints:      73784
1600.19/1604.94	c #Conflicts:     856000 | #Constraints:      74784
1600.19/1604.94	c #Conflicts:     857000 | #Constraints:      75784
1600.19/1604.94	c #Conflicts:     858000 | #Constraints:      76784
1600.19/1604.94	c #Conflicts:     859000 | #Constraints:      77784
1600.19/1604.94	c #Conflicts:     860000 | #Constraints:      78784
1600.19/1604.94	c #Conflicts:     861000 | #Constraints:      79784
1600.19/1604.94	c #Conflicts:     862000 | #Constraints:      80784
1600.19/1604.94	c #Conflicts:     863000 | #Constraints:      81784
1600.19/1604.94	c #Conflicts:     864000 | #Constraints:      82784
1600.19/1604.94	c #Conflicts:     865000 | #Constraints:      83784
1600.19/1604.94	c #Conflicts:     866000 | #Constraints:      84784
1600.19/1604.94	c #Conflicts:     867000 | #Constraints:      85784
1600.19/1604.94	c #Conflicts:     868000 | #Constraints:      86784
1600.19/1604.94	c #Conflicts:     869000 | #Constraints:      87784
1600.19/1604.94	c #Conflicts:     870000 | #Constraints:      88784
1600.19/1604.94	c #Conflicts:     871000 | #Constraints:      89784
1600.19/1604.94	c #Conflicts:     872000 | #Constraints:      90784
1600.19/1604.94	c #Conflicts:     873000 | #Constraints:      91784
1600.19/1604.94	c #Conflicts:     874000 | #Constraints:      92784
1600.19/1604.94	c #Conflicts:     875000 | #Constraints:      93784
1600.19/1604.94	c #Conflicts:     876000 | #Constraints:      94784
1600.19/1604.94	c #Conflicts:     877000 | #Constraints:      95784
1600.19/1604.94	c #Conflicts:     878000 | #Constraints:      96784
1600.19/1604.94	c #Conflicts:     879000 | #Constraints:      97784
1600.19/1604.94	c #Conflicts:     880000 | #Constraints:      98784
1600.19/1604.94	c #Conflicts:     881000 | #Constraints:      99784
1600.19/1604.94	c #Conflicts:     882000 | #Constraints:     100784
1600.19/1604.94	c #Conflicts:     883000 | #Constraints:     101784
1600.19/1604.94	c INPROCESSING
1600.19/1604.94	c GARBAGE COLLECT
1600.19/1604.94	c rational objective -1.13243e-13
1695.48/1700.51	c #Conflicts:     884000 | #Constraints:      54783
1695.48/1700.51	c #Conflicts:     885000 | #Constraints:      55783
1695.48/1700.51	c #Conflicts:     886000 | #Constraints:      56783
1695.48/1700.51	c #Conflicts:     887000 | #Constraints:      57783
1695.48/1700.51	c #Conflicts:     888000 | #Constraints:      58783
1695.48/1700.51	c #Conflicts:     889000 | #Constraints:      59783
1695.48/1700.51	c #Conflicts:     890000 | #Constraints:      60783
1695.48/1700.51	c #Conflicts:     891000 | #Constraints:      61783
1695.48/1700.51	c #Conflicts:     892000 | #Constraints:      62783
1695.48/1700.51	c #Conflicts:     893000 | #Constraints:      63783
1695.48/1700.51	c #Conflicts:     894000 | #Constraints:      64783
1695.48/1700.51	c #Conflicts:     895000 | #Constraints:      65783
1695.48/1700.51	c #Conflicts:     896000 | #Constraints:      66783
1695.48/1700.51	c #Conflicts:     897000 | #Constraints:      67783
1695.48/1700.51	c #Conflicts:     898000 | #Constraints:      68783
1695.48/1700.51	c #Conflicts:     899000 | #Constraints:      69783
1695.48/1700.51	c #Conflicts:     900000 | #Constraints:      70783
1695.48/1700.51	c #Conflicts:     901000 | #Constraints:      71783
1695.48/1700.51	c #Conflicts:     902000 | #Constraints:      72783
1695.48/1700.51	c #Conflicts:     903000 | #Constraints:      73783
1695.48/1700.51	c #Conflicts:     904000 | #Constraints:      74783
1695.48/1700.51	c #Conflicts:     905000 | #Constraints:      75783
1695.48/1700.51	c #Conflicts:     906000 | #Constraints:      76783
1695.48/1700.51	c INPROCESSING
1695.48/1700.51	c GARBAGE COLLECT
1695.48/1700.51	c #Conflicts:     907000 | #Constraints:      42187
1695.48/1700.51	c #Conflicts:     908000 | #Constraints:      43187
1695.48/1700.51	c #Conflicts:     909000 | #Constraints:      44187
1695.48/1700.51	c #Conflicts:     910000 | #Constraints:      45187
1695.48/1700.51	c #Conflicts:     911000 | #Constraints:      46187
1695.48/1700.51	c #Conflicts:     912000 | #Constraints:      47187
1695.48/1700.51	c #Conflicts:     913000 | #Constraints:      48187
1695.48/1700.51	c #Conflicts:     914000 | #Constraints:      49187
1695.48/1700.51	c #Conflicts:     915000 | #Constraints:      50187
1695.48/1700.51	c #Conflicts:     916000 | #Constraints:      51188
1695.48/1700.51	c #Conflicts:     917000 | #Constraints:      52188
1695.48/1700.51	c #Conflicts:     918000 | #Constraints:      53188
1695.48/1700.51	c #Conflicts:     919000 | #Constraints:      54188
1695.48/1700.51	c #Conflicts:     920000 | #Constraints:      55189
1695.48/1700.51	c #Conflicts:     921000 | #Constraints:      56189
1695.48/1700.51	c #Conflicts:     922000 | #Constraints:      57189
1695.48/1700.51	c #Conflicts:     923000 | #Constraints:      58189
1695.48/1700.51	c #Conflicts:     924000 | #Constraints:      59189
1695.48/1700.51	c #Conflicts:     925000 | #Constraints:      60189
1695.48/1700.51	c #Conflicts:     926000 | #Constraints:      61189
1695.48/1700.51	c #Conflicts:     927000 | #Constraints:      62189
1695.48/1700.51	c #Conflicts:     928000 | #Constraints:      63189
1695.48/1700.51	c #Conflicts:     929000 | #Constraints:      64189
1695.48/1700.51	c #Conflicts:     930000 | #Constraints:      65189
1695.48/1700.51	c INPROCESSING
1695.48/1700.51	c GARBAGE COLLECT
1695.48/1700.51	c rational objective -1.13243e-13
2226.15/2232.64	c #Conflicts:     931000 | #Constraints:      40424
2226.15/2232.64	c #Conflicts:     932000 | #Constraints:      41424
2226.15/2232.64	c #Conflicts:     933000 | #Constraints:      42424
2226.15/2232.64	c #Conflicts:     934000 | #Constraints:      43424
2226.15/2232.64	c #Conflicts:     935000 | #Constraints:      44424
2226.15/2232.64	c #Conflicts:     936000 | #Constraints:      45424
2226.15/2232.64	c #Conflicts:     937000 | #Constraints:      46424
2226.15/2232.64	c #Conflicts:     938000 | #Constraints:      47424
2226.15/2232.64	c #Conflicts:     939000 | #Constraints:      48424
2226.15/2232.64	c #Conflicts:     940000 | #Constraints:      49424
2226.15/2232.64	c #Conflicts:     941000 | #Constraints:      50425
2226.15/2232.64	c #Conflicts:     942000 | #Constraints:      51425
2226.15/2232.64	c #Conflicts:     943000 | #Constraints:      52425
2226.15/2232.64	c #Conflicts:     944000 | #Constraints:      53425
2226.15/2232.64	c #Conflicts:     945000 | #Constraints:      54425
2226.15/2232.64	c #Conflicts:     946000 | #Constraints:      55425
2226.15/2232.64	c #Conflicts:     947000 | #Constraints:      56425
2226.15/2232.64	c #Conflicts:     948000 | #Constraints:      57425
2226.15/2232.64	c #Conflicts:     949000 | #Constraints:      58425
2226.15/2232.64	c #Conflicts:     950000 | #Constraints:      59425
2226.15/2232.64	c #Conflicts:     951000 | #Constraints:      60425
2226.15/2232.64	c #Conflicts:     952000 | #Constraints:      61425
2226.15/2232.64	c #Conflicts:     953000 | #Constraints:      62425
2226.15/2232.64	c #Conflicts:     954000 | #Constraints:      63425
2226.15/2232.64	c #Conflicts:     955000 | #Constraints:      64425
2226.15/2232.64	c #Conflicts:     956000 | #Constraints:      65425
2226.15/2232.64	c #Conflicts:     957000 | #Constraints:      66425
2226.15/2232.64	c #Conflicts:     958000 | #Constraints:      67425
2226.15/2232.64	c #Conflicts:     959000 | #Constraints:      68425
2226.15/2232.64	c #Conflicts:     960000 | #Constraints:      69425
2226.15/2232.64	c #Conflicts:     961000 | #Constraints:      70425
2226.15/2232.64	c #Conflicts:     962000 | #Constraints:      71425
2226.15/2232.64	c #Conflicts:     963000 | #Constraints:      72425
2226.15/2232.64	c #Conflicts:     964000 | #Constraints:      73425
2226.15/2232.64	c #Conflicts:     965000 | #Constraints:      74425
2226.15/2232.64	c #Conflicts:     966000 | #Constraints:      75426
2226.15/2232.64	c #Conflicts:     967000 | #Constraints:      76426
2226.15/2232.64	c #Conflicts:     968000 | #Constraints:      77426
2226.15/2232.64	c #Conflicts:     969000 | #Constraints:      78426
2226.15/2232.64	c #Conflicts:     970000 | #Constraints:      79426
2226.15/2232.64	c #Conflicts:     971000 | #Constraints:      80426
2226.15/2232.64	c #Conflicts:     972000 | #Constraints:      81426
2226.15/2232.64	c #Conflicts:     973000 | #Constraints:      82426
2226.15/2232.64	c #Conflicts:     974000 | #Constraints:      83426
2226.15/2232.64	c #Conflicts:     975000 | #Constraints:      84426
2226.15/2232.64	c #Conflicts:     976000 | #Constraints:      85426
2226.15/2232.64	c #Conflicts:     977000 | #Constraints:      86426
2226.15/2232.64	c #Conflicts:     978000 | #Constraints:      87426
2226.15/2232.64	c #Conflicts:     979000 | #Constraints:      88426
2226.15/2232.64	c #Conflicts:     980000 | #Constraints:      89426
2226.15/2232.64	c #Conflicts:     981000 | #Constraints:      90426
2226.15/2232.64	c #Conflicts:     982000 | #Constraints:      91426
2226.15/2232.64	c #Conflicts:     983000 | #Constraints:      92426
2226.15/2232.64	c #Conflicts:     984000 | #Constraints:      93426
2226.15/2232.64	c #Conflicts:     985000 | #Constraints:      94426
2226.15/2232.64	c #Conflicts:     986000 | #Constraints:      95426
2226.15/2232.64	c #Conflicts:     987000 | #Constraints:      96426
2226.15/2232.64	c #Conflicts:     988000 | #Constraints:      97426
2226.15/2232.64	c #Conflicts:     989000 | #Constraints:      98426
2226.15/2232.64	c #Conflicts:     990000 | #Constraints:      99426
2226.15/2232.64	c #Conflicts:     991000 | #Constraints:     100426
2226.15/2232.64	c #Conflicts:     992000 | #Constraints:     101426
2226.15/2232.64	c #Conflicts:     993000 | #Constraints:     102426
2226.15/2232.64	c #Conflicts:     994000 | #Constraints:     103426
2226.15/2232.64	c #Conflicts:     995000 | #Constraints:     104426
2226.15/2232.64	c #Conflicts:     996000 | #Constraints:     105426
2226.15/2232.64	c #Conflicts:     997000 | #Constraints:     106426
2226.15/2232.64	c #Conflicts:     998000 | #Constraints:     107426
2226.15/2232.64	c #Conflicts:     999000 | #Constraints:     108426
2226.15/2232.64	c INPROCESSING
2226.15/2232.64	c GARBAGE COLLECT
2226.15/2232.64	c rational objective 1.13243e-13
2292.96/2299.60	c #Conflicts:    1000000 | #Constraints:      57957
2292.96/2299.60	c #Conflicts:    1001000 | #Constraints:      58957
2292.96/2299.60	c #Conflicts:    1002000 | #Constraints:      59957
2292.96/2299.60	c #Conflicts:    1003000 | #Constraints:      60957
2292.96/2299.60	c #Conflicts:    1004000 | #Constraints:      61957
2292.96/2299.60	c #Conflicts:    1005000 | #Constraints:      62957
2292.96/2299.60	c #Conflicts:    1006000 | #Constraints:      63957
2292.96/2299.60	c #Conflicts:    1007000 | #Constraints:      64957
2292.96/2299.60	c #Conflicts:    1008000 | #Constraints:      65957
2292.96/2299.60	c #Conflicts:    1009000 | #Constraints:      66957
2292.96/2299.60	c #Conflicts:    1010000 | #Constraints:      67957
2292.96/2299.60	c #Conflicts:    1011000 | #Constraints:      68957
2292.96/2299.60	c #Conflicts:    1012000 | #Constraints:      69957
2292.96/2299.60	c #Conflicts:    1013000 | #Constraints:      70957
2292.96/2299.60	c #Conflicts:    1014000 | #Constraints:      71957
2292.96/2299.60	c #Conflicts:    1015000 | #Constraints:      72957
2292.96/2299.60	c #Conflicts:    1016000 | #Constraints:      73957
2292.96/2299.60	c #Conflicts:    1017000 | #Constraints:      74957
2292.96/2299.60	c #Conflicts:    1018000 | #Constraints:      75957
2292.96/2299.60	c #Conflicts:    1019000 | #Constraints:      76957
2292.96/2299.60	c #Conflicts:    1020000 | #Constraints:      77957
2292.96/2299.60	c #Conflicts:    1021000 | #Constraints:      78957
2292.96/2299.60	c #Conflicts:    1022000 | #Constraints:      79957
2292.96/2299.60	c #Conflicts:    1023000 | #Constraints:      80957
2292.96/2299.60	c #Conflicts:    1024000 | #Constraints:      81957
2292.96/2299.60	c INPROCESSING
2292.96/2299.60	c GARBAGE COLLECT
2292.96/2299.60	c rational objective -1.13243e-13
2389.11/2396.03	c #Conflicts:    1025000 | #Constraints:      44646
2389.11/2396.03	c #Conflicts:    1026000 | #Constraints:      45646
2389.11/2396.03	c #Conflicts:    1027000 | #Constraints:      46646
2389.11/2396.03	c #Conflicts:    1028000 | #Constraints:      47646
2389.11/2396.03	c #Conflicts:    1029000 | #Constraints:      48646
2389.11/2396.03	c #Conflicts:    1030000 | #Constraints:      49646
2389.11/2396.03	c #Conflicts:    1031000 | #Constraints:      50646
2389.11/2396.03	c #Conflicts:    1032000 | #Constraints:      51646
2389.11/2396.03	c #Conflicts:    1033000 | #Constraints:      52646
2389.11/2396.03	c #Conflicts:    1034000 | #Constraints:      53646
2389.11/2396.03	c #Conflicts:    1035000 | #Constraints:      54646
2389.11/2396.03	c #Conflicts:    1036000 | #Constraints:      55646
2389.11/2396.03	c #Conflicts:    1037000 | #Constraints:      56646
2389.11/2396.03	c #Conflicts:    1038000 | #Constraints:      57646
2389.11/2396.03	c #Conflicts:    1039000 | #Constraints:      58646
2389.11/2396.03	c #Conflicts:    1040000 | #Constraints:      59646
2389.11/2396.03	c #Conflicts:    1041000 | #Constraints:      60646
2389.11/2396.03	c #Conflicts:    1042000 | #Constraints:      61646
2389.11/2396.03	c #Conflicts:    1043000 | #Constraints:      62646
2389.11/2396.03	c #Conflicts:    1044000 | #Constraints:      63646
2389.11/2396.03	c #Conflicts:    1045000 | #Constraints:      64646
2389.11/2396.03	c #Conflicts:    1046000 | #Constraints:      65646
2389.11/2396.03	c #Conflicts:    1047000 | #Constraints:      66646
2389.11/2396.03	c #Conflicts:    1048000 | #Constraints:      67646
2389.11/2396.03	c #Conflicts:    1049000 | #Constraints:      68646
2389.11/2396.03	c INPROCESSING
2389.11/2396.03	c GARBAGE COLLECT
2389.11/2396.03	c rational objective 1
3600.06/3610.56	c #Conflicts:    1050000 | #Constraints:      41329
3600.06/3610.56	c #Conflicts:    1051000 | #Constraints:      42329
3600.06/3610.56	c #Conflicts:    1052000 | #Constraints:      43329
3600.06/3610.56	c #Conflicts:    1053000 | #Constraints:      44329
3600.06/3610.56	c #Conflicts:    1054000 | #Constraints:      45329
3600.06/3610.56	c #Conflicts:    1055000 | #Constraints:      46329
3600.06/3610.56	c #Conflicts:    1056000 | #Constraints:      47329
3600.06/3610.56	c #Conflicts:    1057000 | #Constraints:      48329
3600.06/3610.56	c #Conflicts:    1058000 | #Constraints:      49329
3600.06/3610.56	c #Conflicts:    1059000 | #Constraints:      50329
3600.06/3610.56	c #Conflicts:    1060000 | #Constraints:      51329
3600.06/3610.56	c #Conflicts:    1061000 | #Constraints:      52329
3600.06/3610.56	c #Conflicts:    1062000 | #Constraints:      53329
3600.06/3610.56	c #Conflicts:    1063000 | #Constraints:      54329
3600.06/3610.56	c #Conflicts:    1064000 | #Constraints:      55329
3600.06/3610.56	c #Conflicts:    1065000 | #Constraints:      56329
3600.06/3610.56	c #Conflicts:    1066000 | #Constraints:      57329
3600.06/3610.56	c #Conflicts:    1067000 | #Constraints:      58329
3600.06/3610.56	c #Conflicts:    1068000 | #Constraints:      59329
3600.06/3610.56	c #Conflicts:    1069000 | #Constraints:      60329
3600.06/3610.56	c #Conflicts:    1070000 | #Constraints:      61329
3600.06/3610.56	c #Conflicts:    1071000 | #Constraints:      62329
3600.06/3610.56	c #Conflicts:    1072000 | #Constraints:      63329
3600.06/3610.56	c #Conflicts:    1073000 | #Constraints:      64329
3600.06/3610.56	c #Conflicts:    1074000 | #Constraints:      65329
3600.06/3610.56	c #Conflicts:    1075000 | #Constraints:      66329
3600.06/3610.56	c #Conflicts:    1076000 | #Constraints:      67329
3600.06/3610.56	c #Conflicts:    1077000 | #Constraints:      68330
3600.06/3610.56	c #Conflicts:    1078000 | #Constraints:      69330
3600.06/3610.56	c #Conflicts:    1079000 | #Constraints:      70330
3600.06/3610.56	c #Conflicts:    1080000 | #Constraints:      71330
3600.06/3610.56	c #Conflicts:    1081000 | #Constraints:      72330
3600.06/3610.56	c #Conflicts:    1082000 | #Constraints:      73330
3600.06/3610.56	c #Conflicts:    1083000 | #Constraints:      74330
3600.06/3610.56	c #Conflicts:    1084000 | #Constraints:      75330
3600.06/3610.56	c #Conflicts:    1085000 | #Constraints:      76330
3600.06/3610.56	c #Conflicts:    1086000 | #Constraints:      77330
3600.06/3610.56	c #Conflicts:    1087000 | #Constraints:      78330
3600.06/3610.56	c #Conflicts:    1088000 | #Constraints:      79330
3600.06/3610.56	c #Conflicts:    1089000 | #Constraints:      80330
3600.06/3610.56	c #Conflicts:    1090000 | #Constraints:      81330
3600.06/3610.56	c #Conflicts:    1091000 | #Constraints:      82330
3600.06/3610.56	c #Conflicts:    1092000 | #Constraints:      83330
3600.06/3610.56	c #Conflicts:    1093000 | #Constraints:      84330
3600.06/3610.56	c #Conflicts:    1094000 | #Constraints:      85330
3600.06/3610.56	c #Conflicts:    1095000 | #Constraints:      86330
3600.06/3610.56	c #Conflicts:    1096000 | #Constraints:      87330
3600.06/3610.56	c #Conflicts:    1097000 | #Constraints:      88330
3600.06/3610.56	c #Conflicts:    1098000 | #Constraints:      89330
3600.06/3610.56	c #Conflicts:    1099000 | #Constraints:      90330
3600.06/3610.56	c #Conflicts:    1100000 | #Constraints:      91330
3600.06/3610.56	c #Conflicts:    1101000 | #Constraints:      92330
3600.06/3610.56	c #Conflicts:    1102000 | #Constraints:      93330
3600.06/3610.56	c #Conflicts:    1103000 | #Constraints:      94330
3600.06/3610.56	c #Conflicts:    1104000 | #Constraints:      95330
3600.06/3610.56	c #Conflicts:    1105000 | #Constraints:      96330
3600.06/3610.56	c #Conflicts:    1106000 | #Constraints:      97330
3600.06/3610.56	c #Conflicts:    1107000 | #Constraints:      98330
3600.06/3610.56	c #Conflicts:    1108000 | #Constraints:      99330
3600.06/3610.56	c #Conflicts:    1109000 | #Constraints:     100330
3600.06/3610.56	c #Conflicts:    1110000 | #Constraints:     101330
3600.06/3610.56	c #Conflicts:    1111000 | #Constraints:     102330
3600.06/3610.56	c #Conflicts:    1112000 | #Constraints:     103330
3600.06/3610.56	c #Conflicts:    1113000 | #Constraints:     104330
3600.06/3610.56	c #Conflicts:    1114000 | #Constraints:     105330
3600.06/3610.56	c #Conflicts:    1115000 | #Constraints:     106330
3600.06/3610.56	c #Conflicts:    1116000 | #Constraints:     107330
3600.06/3610.56	c #Conflicts:    1117000 | #Constraints:     108330
3600.06/3610.56	c cpu time 3586.69 s
3600.06/3610.56	c deterministic time 191563989505 1.92e+11
3600.06/3610.56	c optimization time 1209.56 s
3600.06/3610.56	c total solve time 2377.11 s
3600.06/3610.56	c core-guided solve time 0 s
3600.06/3610.56	c propagation time 2406.98 s
3600.06/3610.56	c conflict analysis time 1127.42 s
3600.06/3610.56	c propagations 371468051
3600.06/3610.56	c resolve steps 128370850
3600.06/3610.56	c decisions 1757853
3600.06/3610.56	c conflicts 1117282
3600.06/3610.56	c restarts 2046
3600.06/3610.56	c inprocessing phases 53
3600.06/3610.56	c garbage collections 53 ,( 100.00 )
3600.06/3610.56	c input clauses 2340 ,( 47.36 )
3600.06/3610.56	c input cardinalities 0 ,( 0.00 )
3600.06/3610.56	c input general constraints 2601 ,( 52.64 )
3600.06/3610.56	c input average constraint length 3.72
3600.06/3610.56	c input average constraint degree 911475334422.30
3600.06/3610.56	c learned clauses 752560 ,( 67.36 )
3600.06/3610.56	c learned cardinalities 136 ,( 0.01 )
3600.06/3610.56	c learned general constraints 364606 ,( 32.63 )
3600.06/3610.56	c learned average constraint length 271.89
3600.06/3610.56	c learned average constraint degree 130034269.49
3600.06/3610.56	c watched  CF 32, 64, 128, Arb: 54893 , 0 , 0 , 0
3600.06/3610.56	c counting CF 32, 64, 128, Arb: 312313 , 1 , 0 , 0
3600.06/3610.56	c watched   constraints 54893 ,( 14.95 ) 
3600.06/3610.56	c counting  constraints 312314 ,( 85.05 ) 
3600.06/3610.56	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 506635564 , 2716021 , 55147890806 ,( 725020486 , 54422870320 )
3600.06/3610.56	c gcd simplifications 27399
3600.06/3610.56	c detected cardinalities 47
3600.06/3610.56	c weakened non-implied lits 45037687
3600.06/3610.56	c weakened non-implying lits 277697
3600.06/3610.56	c original variables 3484
3600.06/3610.56	c clausal propagations 96456052
3600.06/3610.56	c cardinality propagations 121078
3600.06/3610.56	c watched propagations 845729
3600.06/3610.56	c counting propagations 272912571
3600.06/3610.56	c watch lookups 87862634120
3600.06/3610.56	c watch backjump lookups 0
3600.06/3610.56	c watch checks 17896269303
3600.06/3610.56	c propagation checks 83819351036
3600.06/3610.56	c constraint additions 1237953590
3600.06/3610.56	c trail pops 374340436
3600.06/3610.56	c formula constraints 4941
3600.06/3610.56	c learned constraints 1117262
3600.06/3610.56	c bound constraints 0
3600.06/3610.56	c core-guided constraints 0
3600.06/3610.56	c encountered formula constraints 95086660
3600.06/3610.56	c encountered learned constraints 34191164
3600.06/3610.56	c encountered bound constraints 0
3600.06/3610.56	c encountered core-guided constraints 0
3600.06/3610.56	c LP total time 15.1711 s
3600.06/3610.56	c LP solve time 13.12 s
3600.06/3610.56	c LP constraints added 4942
3600.06/3610.56	c LP constraints removed 0
3600.06/3610.56	c LP pivots internal 112051
3600.06/3610.56	c LP pivots root 103064
3600.06/3610.56	c LP calls 360
3600.06/3610.56	c LP optimalities 336
3600.06/3610.56	c LP no pivot count 27
3600.06/3610.56	c LP infeasibilities 20
3600.06/3610.56	c LP valid Farkas constraints 20
3600.06/3610.56	c LP learned Farkas constraints 20
3600.06/3610.56	c LP basis resets 0
3600.06/3610.56	c LP cycling count 0
3600.06/3610.56	c LP singular count 0
3600.06/3610.56	c LP no primal count 0
3600.06/3610.56	c LP no farkas count 0
3600.06/3610.56	c LP other issue count 0
3600.06/3610.56	c LP Gomory cuts 0
3600.06/3610.56	c LP learned cuts 1
3600.06/3610.56	c LP deleted cuts 0
3600.06/3610.56	c LP encountered Gomory constraints 0
3600.06/3610.56	c LP encountered Farkas constraints 202224
3600.06/3610.56	c LP encountered learned Farkas constraints 8064
3600.06/3610.56	c CG auxiliary variables introduced 0
3600.06/3610.56	c CG solutions found 0
3600.06/3610.56	c CG cores constructed 0
3600.06/3610.56	c CG core cardinality constraints returned 0
3600.06/3610.56	c CG unit cores 0
3600.06/3610.56	c CG single cores 0
3600.06/3610.56	c CG blocks removed during cardinality reduction 0
3600.06/3610.56	c CG first core best 0
3600.06/3610.56	c CG decision core best 0
3600.06/3610.56	c CG core reduction tie 0
3600.06/3610.56	c CG core degree average 0.00
3600.06/3610.56	c CG core slack average 0.00
3600.06/3610.56	c CG core upper bound improvements 0
3600.06/3610.56	c STR number of successful calls 0
3600.06/3610.56	c STR number of unsuccessful calls 0
3600.06/3610.56	c STR number of inconclusive calls 0
3600.06/3610.56	c STR number of successful attempts 0
3600.06/3610.56	c STR number of unsuccessful attempts 0
3600.06/3610.56	c STR number of inconclusive attempts 0
3600.06/3610.56	c STR average degree increase per successful call inf
3600.06/3610.56	c STR average degree increase per successful attempt inf
3600.06/3610.56	c STR total number of conflicts for successful attempts 0
3600.06/3610.56	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.56	c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.56	c STR average number of conflicts per successful attempt inf
3600.06/3610.56	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.56	c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.56	c AVG.sumWPerc 77.18 
3600.06/3610.56	c bigint constraints 1 
3600.06/3610.56	s UNKNOWN
3600.06/3610.56	c Program interrupted by user.

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: 63708 MiB (61753 MiB free)
  memory of node 1: 64465 MiB (63609 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541684-1753198973/watcher-4541684-1753198973 -o /tmp/evaluation-result-4541684-1753198973/solver-4541684-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753198973-171409 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4541684-1753198973.opb /tmp/proof-4541684-1753198973 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=171456, runsolver pid=171444

[startup+0.100064 s]*
/proc/loadavg: 0.07 0.08 0.09 4/269 171469
/proc/meminfo: memFree=128356752/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=65488 memory=21568 CPUtime=0.05 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 3305 0 0 0 4 1 0 0 20 0 1 0 235576817 67059712 5392 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 16427 5392 2368 1147 0 3854 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 69680 KiB
Current children cumulated memory: 24384 KiB

[startup+0.205588 s]*
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128334968/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=66128 memory=22208 CPUtime=0.15 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 3486 0 0 0 14 1 0 0 20 0 1 0 235576817 67715072 5552 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 16532 5552 2368 1147 0 3959 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 70320 KiB
Current children cumulated memory: 25024 KiB

[startup+0.305134 s]*
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128334968/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=66392 memory=22464 CPUtime=0.25 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 3549 0 0 0 24 1 0 0 20 0 1 0 235576817 67985408 5616 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 16598 5616 2368 1147 0 4025 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 70584 KiB
Current children cumulated memory: 25280 KiB

[startup+0.700171 s]
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128317076/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=67220 memory=23232 CPUtime=0.64 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 3741 0 0 0 62 2 0 0 20 0 1 0 235576817 68833280 5808 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 16805 5808 2368 1147 0 4232 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 71412 KiB
Current children cumulated memory: 26048 KiB

[startup+1.50016 s]
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128278444/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=68064 memory=24000 CPUtime=1.43 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 3913 0 0 0 141 2 0 0 20 0 1 0 235576817 69697536 6000 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 17016 6000 2368 1147 0 4443 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 72256 KiB
Current children cumulated memory: 26816 KiB

[startup+3.10535 s]
/proc/loadavg: 0.46 0.16 0.11 5/269 171469
/proc/meminfo: memFree=128167096/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=68472 memory=24640 CPUtime=3.03 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 4074 0 0 0 299 4 0 0 20 0 1 0 235576817 70115328 6160 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 17118 6160 2368 1147 0 4545 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 27456 KiB

[startup+6.30018 s]
/proc/loadavg: 0.46 0.16 0.11 5/269 171469
/proc/meminfo: memFree=128034108/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=72636 memory=30468 CPUtime=6.22 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 5034 0 0 0 613 9 0 0 20 0 1 0 235576817 74379264 7617 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 18159 7617 2368 1147 0 5586 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 76828 KiB
Current children cumulated memory: 33284 KiB

[startup+12.7002 s]
/proc/loadavg: 0.75 0.22 0.13 5/269 171469
/proc/meminfo: memFree=127780884/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=73068 memory=30852 CPUtime=12.6 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 5148 0 0 0 1243 17 0 0 20 0 1 0 235576817 74821632 7713 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 18267 7713 2368 1147 0 5694 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 77260 KiB
Current children cumulated memory: 33668 KiB

[startup+25.5002 s]
/proc/loadavg: 1.54 0.43 0.20 5/271 171471
/proc/meminfo: memFree=127297964/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=97920 memory=51020 CPUtime=25.36 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 8638 0 0 0 2507 29 0 0 20 0 1 0 235576817 100270080 12755 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 24480 12755 2368 1147 0 11907 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 102112 KiB
Current children cumulated memory: 53836 KiB

[startup+51.1055 s]
/proc/loadavg: 2.54 0.75 0.32 5/271 171472
/proc/meminfo: memFree=126524564/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=103448 memory=56268 CPUtime=50.89 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 9967 0 0 0 5035 54 0 0 20 0 1 0 235576817 105930752 14067 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 25862 14067 2368 1147 0 13289 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 107640 KiB
Current children cumulated memory: 59084 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 1.30 0.53 5/271 171473
/proc/meminfo: memFree=125091284/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=122396 memory=73536 CPUtime=101.9 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 12239 0 0 0 10096 94 0 0 20 0 1 0 235576817 125333504 18384 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 30599 18384 2368 1147 0 18026 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 126588 KiB
Current children cumulated memory: 76352 KiB

[startup+162.3 s]
/proc/loadavg: 4.50 2.00 0.82 5/271 171476
/proc/meminfo: memFree=123636656/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=130256 memory=85044 CPUtime=161.71 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 14122 0 0 0 16019 152 0 0 20 0 1 0 235576817 133382144 21261 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 32564 21261 2368 1147 0 19991 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 134448 KiB
Current children cumulated memory: 87860 KiB

[startup+222.3 s]
/proc/loadavg: 4.45 2.44 1.05 5/271 171478
/proc/meminfo: memFree=122356104/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=140480 memory=96436 CPUtime=221.53 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 16628 0 0 0 21954 199 0 0 20 0 1 0 235576817 143851520 24109 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 35120 24109 2368 1147 0 22547 0

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

/proc/171462/statm: 307529 254879 2368 1147 0 294956 0
Current children cumulated CPU time: 3093.38 s
Current children cumulated vsize: 1234308 KiB
Current children cumulated memory: 1022332 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.18 4.08 5/269 171643
/proc/meminfo: memFree=88591620/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=1274404 memory=1096852 CPUtime=3153.2 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 182239 0 0 0 314004 1316 0 0 20 0 1 0 235576817 1304989696 274213 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 318601 274213 2368 1147 0 306028 0
Current children cumulated CPU time: 3153.2 s
Current children cumulated vsize: 1278596 KiB
Current children cumulated memory: 1099668 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.09 5/269 171646
/proc/meminfo: memFree=88123512/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=1304104 memory=1166580 CPUtime=3213.02 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 186759 0 0 0 319983 1319 0 0 20 0 1 0 235576817 1335402496 291645 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 326026 291645 2368 1147 0 313453 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 1308296 KiB
Current children cumulated memory: 1169396 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.19 4.09 5/268 171648
/proc/meminfo: memFree=87679428/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=1326376 memory=1225648 CPUtime=3272.84 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 189903 0 0 0 325960 1324 0 0 20 0 1 0 235576817 1358209024 306412 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 331594 306412 2368 1147 0 319021 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 1330568 KiB
Current children cumulated memory: 1228464 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.18 4.09 5/269 171651
/proc/meminfo: memFree=87342116/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=1351464 memory=1267384 CPUtime=3332.65 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 193154 0 0 0 331938 1327 0 0 20 0 1 0 235576817 1383899136 316846 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 337866 316846 2368 1147 0 325293 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 1355656 KiB
Current children cumulated memory: 1270200 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.18 4.10 5/269 171653
/proc/meminfo: memFree=86934172/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=1369384 memory=1287084 CPUtime=3392.46 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 195573 0 0 0 337917 1329 0 0 20 0 1 0 235576817 1402249216 321771 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 342346 321771 2368 1147 0 329773 0
Current children cumulated CPU time: 3392.46 s
Current children cumulated vsize: 1373576 KiB
Current children cumulated memory: 1289900 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.19 4.10 5/271 171658
/proc/meminfo: memFree=86445004/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=1408296 memory=1322492 CPUtime=3452.28 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 200859 0 0 0 343893 1335 0 0 20 0 1 0 235576817 1442095104 330623 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 352074 330623 2368 1147 0 339501 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 1412488 KiB
Current children cumulated memory: 1325308 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.18 4.10 5/270 171660
/proc/meminfo: memFree=85961256/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=1662648 memory=1356708 CPUtime=3512.11 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 206848 0 0 0 349873 1338 0 0 20 0 1 0 235576817 1702551552 339177 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 415662 339177 2368 1147 0 403089 0
Current children cumulated CPU time: 3512.11 s
Current children cumulated vsize: 1666840 KiB
Current children cumulated memory: 1359524 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.19 4.11 5/270 171662
/proc/meminfo: memFree=85488496/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=1684152 memory=1377332 CPUtime=3571.94 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 210147 0 0 0 355852 1342 0 0 20 0 1 0 235576817 1724571648 344333 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 421038 344333 2368 1147 0 408465 0
Current children cumulated CPU time: 3571.94 s
Current children cumulated vsize: 1688344 KiB
Current children cumulated memory: 1380148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.19 4.19 4.11 3/262 171683
/proc/meminfo: memFree=86202920/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=1702584 memory=1391736 CPUtime=3600.06 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 212702 0 0 0 358662 1344 0 0 20 0 1 0 235576817 1743446016 347934 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 425646 347934 2368 1147 0 413073 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1706776 KiB
Current children cumulated memory: 1394552 KiB

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

[startup+3610.5 s]
# the end of solver process 171456 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0 s, system=0.003255 s

[startup+3610.58 s]
# the end of solver process 171462 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3586.7 s, system=13.4577 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3610.5 s]
/proc/loadavg: 4.19 4.19 4.11 3/262 171683
/proc/meminfo: memFree=86202920/131250000 swapFree=33009904/33010684
[pid=171456] ppid=171444 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/171456/stat : 171456 (run-dec-log.sh) S 171444 171456 171389 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235576815 4292608 704 18446744073709551615 94324366843904 94324367738437 140733945731232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94324367977488 94324368025232 94324376702976 140733945735493 140733945735650 140733945735650 140733945741254 0
/proc/171456/statm: 1048 704 672 219 0 110 0
[pid=171462] ppid=171456 vsize=1702584 memory=1391736 CPUtime=3600.06 cores=5,7
/proc/171462/stat : 171462 (roundingsat) R 171456 171456 171389 0 -1 4194304 212702 0 0 0 358662 1344 0 0 20 0 1 0 235576817 1743446016 347934 18446744073709551615 4227072 8923433 140735432922896 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24403968 140735432927627 140735432927782 140735432927782 140735432933354 0
/proc/171462/statm: 425646 347934 2368 1147 0 413073 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1706776 KiB
Current children cumulated memory: 1394552 KiB

Child status: 2

Real time (s): 3610.58
CPU time (s): 3600.16
CPU user time (s): 3586.7
CPU system time (s): 13.4577
CPU usage (%): 99.7113
Max. virtual memory (cumulated for all children) (KiB): 1706776
Max. memory (cumulated for all children) (KiB): 1394552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.7
system time used= 13.4577
maximum resident set size= 1392120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12023712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356
involuntary context switches= 4966


# summary of solver processes directly reported to runsolver:
#   pid: 171456,171462
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3586.7
#   total CPU system time (s): 13.4577

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.60348 second user time and 14.9173 second system time

The end

Begin job on nodeC033 at 2025-07-22 17:42:54
IDJOB=4541684
IDBENCH=163331
IDSOLVER=3352
FILE ID=nodeC033/4541684-1753198973
RUNJOBID= nodeC033-1753198973-171409
SLURM_JOB_ID= 9687766
Free space on /tmp= 432592 MiB

SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_diag/normalized-26array_diag_greater.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541684-1753198973/watcher-4541684-1753198973 -o /tmp/evaluation-result-4541684-1753198973/solver-4541684-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753198973-171409 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4541684-1753198973.opb /tmp/proof-4541684-1753198973

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

MD5SUM BENCH= dba81c8b2aded5f1a3d2b088b53137dc
RANDOM SEED=1581860338

nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 1200.429
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 1200.228
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3607.097
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3597.884
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 1199.490
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3600.095
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128389300 kB
MemAvailable:   129694308 kB
Buffers:            2128 kB
Cached:          2028800 kB
SwapCached:           64 kB
Active:          1292456 kB
Inactive:         801684 kB
Active(anon):      84156 kB
Inactive(anon):     5284 kB
Active(file):    1208300 kB
Inactive(file):   796400 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22528 kB
Writeback:             0 kB
AnonPages:         66320 kB
Mapped:           108748 kB
Shmem:             26228 kB
KReclaimable:     279092 kB
Slab:             382744 kB
SReclaimable:     279092 kB
SUnreclaim:       103652 kB
KernelStack:        4096 kB
PageTables:         2948 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     349380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 393284 MiB
End job on nodeC033 at 2025-07-22 18:43:05