0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.21/0.25	c #variables 21582 #constraints 19721
86.29/86.60	c #Conflicts:       1000 | #Constraints:      20720
86.29/86.60	c #Conflicts:       2000 | #Constraints:      21720
86.29/86.60	c INPROCESSING
86.29/86.60	c GARBAGE COLLECT
86.29/86.60	c #Conflicts:       3000 | #Constraints:      18847
86.29/86.60	c #Conflicts:       4000 | #Constraints:      19847
86.29/86.60	c INPROCESSING
86.29/86.60	c GARBAGE COLLECT
86.29/86.60	c #Conflicts:       5000 | #Constraints:      17833
86.29/86.60	c #Conflicts:       6000 | #Constraints:      18833
86.29/86.60	c INPROCESSING
86.29/86.60	c GARBAGE COLLECT
86.29/86.60	c #Conflicts:       7000 | #Constraints:      17867
86.29/86.60	c #Conflicts:       8000 | #Constraints:      18867
86.29/86.60	c #Conflicts:       9000 | #Constraints:      19867
86.29/86.60	c INPROCESSING
86.29/86.60	c GARBAGE COLLECT
86.29/86.60	c #Conflicts:      10000 | #Constraints:      18593
86.29/86.60	c #Conflicts:      11000 | #Constraints:      19593
86.29/86.60	c #Conflicts:      12000 | #Constraints:      20593
86.29/86.60	c INPROCESSING
86.29/86.60	c GARBAGE COLLECT
86.29/86.60	c #Conflicts:      13000 | #Constraints:      19064
86.29/86.60	c #Conflicts:      14000 | #Constraints:      20064
86.29/86.60	c #Conflicts:      15000 | #Constraints:      21064
86.29/86.60	c INPROCESSING
86.29/86.60	c GARBAGE COLLECT
86.29/86.60	c #Conflicts:      16000 | #Constraints:      19302
86.29/86.60	c #Conflicts:      17000 | #Constraints:      20302
86.29/86.60	c #Conflicts:      18000 | #Constraints:      21302
86.29/86.60	c INPROCESSING
86.29/86.60	c GARBAGE COLLECT
86.29/86.60	c #Conflicts:      19000 | #Constraints:      19350
86.29/86.60	c #Conflicts:      20000 | #Constraints:      20350
86.29/86.60	c #Conflicts:      21000 | #Constraints:      21350
86.29/86.60	c INPROCESSING
86.29/86.60	c GARBAGE COLLECT
86.29/86.60	c #Conflicts:      22000 | #Constraints:      19175
86.29/86.60	c #Conflicts:      23000 | #Constraints:      20175
86.29/86.60	c #Conflicts:      24000 | #Constraints:      21175
86.29/86.60	c #Conflicts:      25000 | #Constraints:      22175
86.29/86.60	c INPROCESSING
86.29/86.60	c GARBAGE COLLECT
86.29/86.60	c rational objective 2142.8
163.81/164.42	c #Conflicts:      26000 | #Constraints:      19782
163.81/164.42	c #Conflicts:      27000 | #Constraints:      20782
163.81/164.42	c #Conflicts:      28000 | #Constraints:      21782
163.81/164.42	c #Conflicts:      29000 | #Constraints:      22782
163.81/164.42	c INPROCESSING
163.81/164.42	c GARBAGE COLLECT
163.81/164.42	c #Conflicts:      30000 | #Constraints:      20206
163.81/164.42	c #Conflicts:      31000 | #Constraints:      21206
163.81/164.42	c #Conflicts:      32000 | #Constraints:      22207
163.81/164.42	c #Conflicts:      33000 | #Constraints:      23207
163.81/164.42	c INPROCESSING
163.81/164.42	c GARBAGE COLLECT
163.81/164.42	c #Conflicts:      34000 | #Constraints:      20416
163.81/164.42	c #Conflicts:      35000 | #Constraints:      21416
163.81/164.42	c #Conflicts:      36000 | #Constraints:      22416
163.81/164.42	c #Conflicts:      37000 | #Constraints:      23416
163.81/164.42	c INPROCESSING
163.81/164.42	c GARBAGE COLLECT
163.81/164.42	c #Conflicts:      38000 | #Constraints:      20471
163.81/164.42	c #Conflicts:      39000 | #Constraints:      21471
163.81/164.42	c #Conflicts:      40000 | #Constraints:      22471
163.81/164.42	c #Conflicts:      41000 | #Constraints:      23472
163.81/164.42	c INPROCESSING
163.81/164.42	c GARBAGE COLLECT
163.81/164.42	c #Conflicts:      42000 | #Constraints:      20264
163.81/164.42	c #Conflicts:      43000 | #Constraints:      21265
163.81/164.42	c #Conflicts:      44000 | #Constraints:      22266
163.81/164.42	c #Conflicts:      45000 | #Constraints:      23266
163.81/164.42	c #Conflicts:      46000 | #Constraints:      24266
163.81/164.42	c INPROCESSING
163.81/164.42	c GARBAGE COLLECT
163.81/164.42	c rational objective 2146.18
183.23/183.91	c #Conflicts:      47000 | #Constraints:      20857
183.23/183.91	c #Conflicts:      48000 | #Constraints:      21857
183.23/183.91	c #Conflicts:      49000 | #Constraints:      22857
183.23/183.91	c #Conflicts:      50000 | #Constraints:      23857
183.23/183.91	c #Conflicts:      51000 | #Constraints:      24857
183.23/183.91	c INPROCESSING
183.23/183.91	c GARBAGE COLLECT
183.23/183.91	c #Conflicts:      52000 | #Constraints:      21315
183.23/183.91	c #Conflicts:      53000 | #Constraints:      22315
183.23/183.91	c #Conflicts:      54000 | #Constraints:      23315
183.23/183.91	c #Conflicts:      55000 | #Constraints:      24315
183.23/183.91	c #Conflicts:      56000 | #Constraints:      25315
183.23/183.91	c INPROCESSING
183.23/183.91	c GARBAGE COLLECT
183.23/183.91	c rational objective 2155.03
326.03/327.24	c #Conflicts:      57000 | #Constraints:      21526
326.03/327.24	c #Conflicts:      58000 | #Constraints:      22526
326.03/327.24	c #Conflicts:      59000 | #Constraints:      23526
326.03/327.24	c #Conflicts:      60000 | #Constraints:      24526
326.03/327.24	c #Conflicts:      61000 | #Constraints:      25526
326.03/327.24	c INPROCESSING
326.03/327.24	c GARBAGE COLLECT
326.03/327.24	c #Conflicts:      62000 | #Constraints:      21573
326.03/327.24	c #Conflicts:      63000 | #Constraints:      22574
326.03/327.24	c #Conflicts:      64000 | #Constraints:      23574
326.03/327.24	c #Conflicts:      65000 | #Constraints:      24574
326.03/327.24	c #Conflicts:      66000 | #Constraints:      25575
326.03/327.24	c INPROCESSING
326.03/327.24	c GARBAGE COLLECT
326.03/327.24	c #Conflicts:      67000 | #Constraints:      21357
326.03/327.24	c #Conflicts:      68000 | #Constraints:      22357
326.03/327.24	c #Conflicts:      69000 | #Constraints:      23357
326.03/327.24	c #Conflicts:      70000 | #Constraints:      24357
326.03/327.24	c #Conflicts:      71000 | #Constraints:      25357
326.03/327.24	c #Conflicts:      72000 | #Constraints:      26357
326.03/327.24	c INPROCESSING
326.03/327.24	c GARBAGE COLLECT
326.03/327.24	c #Conflicts:      73000 | #Constraints:      21951
326.03/327.24	c #Conflicts:      74000 | #Constraints:      22951
326.03/327.24	c #Conflicts:      75000 | #Constraints:      23951
326.03/327.24	c #Conflicts:      76000 | #Constraints:      24951
326.03/327.24	c #Conflicts:      77000 | #Constraints:      25952
326.03/327.24	c #Conflicts:      78000 | #Constraints:      26952
326.03/327.24	c INPROCESSING
326.03/327.24	c GARBAGE COLLECT
326.03/327.24	c #Conflicts:      79000 | #Constraints:      22377
326.03/327.24	c #Conflicts:      80000 | #Constraints:      23377
326.03/327.24	c #Conflicts:      81000 | #Constraints:      24377
326.03/327.24	c #Conflicts:      82000 | #Constraints:      25377
326.03/327.24	c #Conflicts:      83000 | #Constraints:      26377
326.03/327.24	c #Conflicts:      84000 | #Constraints:      27377
326.03/327.24	c INPROCESSING
326.03/327.24	c GARBAGE COLLECT
326.03/327.24	c #Conflicts:      85000 | #Constraints:      22622
326.03/327.24	c #Conflicts:      86000 | #Constraints:      23622
326.03/327.24	c #Conflicts:      87000 | #Constraints:      24622
326.03/327.24	c #Conflicts:      88000 | #Constraints:      25622
326.03/327.24	c #Conflicts:      89000 | #Constraints:      26622
326.03/327.24	c #Conflicts:      90000 | #Constraints:      27623
326.03/327.24	c INPROCESSING
326.03/327.24	c GARBAGE COLLECT
326.03/327.24	c #Conflicts:      91000 | #Constraints:      22626
326.03/327.24	c #Conflicts:      92000 | #Constraints:      23626
326.03/327.24	c #Conflicts:      93000 | #Constraints:      24626
326.03/327.24	c #Conflicts:      94000 | #Constraints:      25626
326.03/327.24	c #Conflicts:      95000 | #Constraints:      26626
326.03/327.24	c #Conflicts:      96000 | #Constraints:      27626
326.03/327.24	c INPROCESSING
326.03/327.24	c GARBAGE COLLECT
326.03/327.24	c rational objective 2160.35
408.17/409.67	c #Conflicts:      97000 | #Constraints:      22439
408.17/409.67	c #Conflicts:      98000 | #Constraints:      23439
408.17/409.67	c #Conflicts:      99000 | #Constraints:      24439
408.17/409.67	c #Conflicts:     100000 | #Constraints:      25439
408.17/409.67	c #Conflicts:     101000 | #Constraints:      26440
408.17/409.67	c #Conflicts:     102000 | #Constraints:      27440
408.17/409.67	c #Conflicts:     103000 | #Constraints:      28440
408.17/409.67	c INPROCESSING
408.17/409.67	c GARBAGE COLLECT
408.17/409.67	c #Conflicts:     104000 | #Constraints:      23058
408.17/409.67	c #Conflicts:     105000 | #Constraints:      24058
408.17/409.67	c #Conflicts:     106000 | #Constraints:      25058
408.17/409.67	c #Conflicts:     107000 | #Constraints:      26058
408.17/409.67	c #Conflicts:     108000 | #Constraints:      27058
408.17/409.67	c #Conflicts:     109000 | #Constraints:      28058
408.17/409.67	c #Conflicts:     110000 | #Constraints:      29058
408.17/409.67	c INPROCESSING
408.17/409.67	c GARBAGE COLLECT
408.17/409.67	c #Conflicts:     111000 | #Constraints:      23454
408.17/409.67	c #Conflicts:     112000 | #Constraints:      24454
408.17/409.67	c #Conflicts:     113000 | #Constraints:      25454
408.17/409.67	c #Conflicts:     114000 | #Constraints:      26454
408.17/409.67	c #Conflicts:     115000 | #Constraints:      27454
408.17/409.67	c #Conflicts:     116000 | #Constraints:      28454
408.17/409.67	c #Conflicts:     117000 | #Constraints:      29454
408.17/409.67	c INPROCESSING
408.17/409.67	c GARBAGE COLLECT
408.17/409.67	c #Conflicts:     118000 | #Constraints:      23682
408.17/409.67	c #Conflicts:     119000 | #Constraints:      24682
408.17/409.67	c #Conflicts:     120000 | #Constraints:      25682
408.17/409.67	c #Conflicts:     121000 | #Constraints:      26682
408.17/409.67	c #Conflicts:     122000 | #Constraints:      27682
408.17/409.67	c #Conflicts:     123000 | #Constraints:      28682
408.17/409.67	c #Conflicts:     124000 | #Constraints:      29682
408.17/409.67	c INPROCESSING
408.17/409.67	c GARBAGE COLLECT
408.17/409.67	c rational objective 2161.99
463.00/464.66	c #Conflicts:     125000 | #Constraints:      23685
463.00/464.66	c #Conflicts:     126000 | #Constraints:      24685
463.00/464.66	c #Conflicts:     127000 | #Constraints:      25685
463.00/464.66	c #Conflicts:     128000 | #Constraints:      26685
463.00/464.66	c #Conflicts:     129000 | #Constraints:      27685
463.00/464.66	c #Conflicts:     130000 | #Constraints:      28685
463.00/464.66	c #Conflicts:     131000 | #Constraints:      29685
463.00/464.66	c INPROCESSING
463.00/464.66	c GARBAGE COLLECT
463.00/464.66	c #Conflicts:     132000 | #Constraints:      23497
463.00/464.66	c #Conflicts:     133000 | #Constraints:      24497
463.00/464.66	c #Conflicts:     134000 | #Constraints:      25497
463.00/464.66	c #Conflicts:     135000 | #Constraints:      26497
463.00/464.66	c #Conflicts:     136000 | #Constraints:      27497
463.00/464.66	c #Conflicts:     137000 | #Constraints:      28497
463.00/464.66	c #Conflicts:     138000 | #Constraints:      29497
463.00/464.66	c #Conflicts:     139000 | #Constraints:      30497
463.00/464.66	c INPROCESSING
463.00/464.66	c GARBAGE COLLECT
463.00/464.66	c rational objective 2172.56
517.61/519.44	c #Conflicts:     140000 | #Constraints:      24147
517.61/519.44	c #Conflicts:     141000 | #Constraints:      25147
517.61/519.44	c #Conflicts:     142000 | #Constraints:      26147
517.61/519.44	c #Conflicts:     143000 | #Constraints:      27147
517.61/519.44	c #Conflicts:     144000 | #Constraints:      28147
517.61/519.44	c #Conflicts:     145000 | #Constraints:      29147
517.61/519.44	c #Conflicts:     146000 | #Constraints:      30147
517.61/519.44	c #Conflicts:     147000 | #Constraints:      31147
517.61/519.44	c INPROCESSING
517.61/519.44	c GARBAGE COLLECT
517.61/519.44	c #Conflicts:     148000 | #Constraints:      24584
517.61/519.44	c #Conflicts:     149000 | #Constraints:      25584
517.61/519.44	c #Conflicts:     150000 | #Constraints:      26585
517.61/519.44	c #Conflicts:     151000 | #Constraints:      27585
517.61/519.44	c #Conflicts:     152000 | #Constraints:      28585
517.61/519.44	c #Conflicts:     153000 | #Constraints:      29585
517.61/519.44	c #Conflicts:     154000 | #Constraints:      30585
517.61/519.44	c #Conflicts:     155000 | #Constraints:      31585
517.61/519.44	c INPROCESSING
517.61/519.44	c GARBAGE COLLECT
517.61/519.44	c rational objective 2186.13
605.03/607.16	c #Conflicts:     156000 | #Constraints:      24796
605.03/607.16	c #Conflicts:     157000 | #Constraints:      25796
605.03/607.16	c #Conflicts:     158000 | #Constraints:      26796
605.03/607.16	c #Conflicts:     159000 | #Constraints:      27796
605.03/607.16	c #Conflicts:     160000 | #Constraints:      28796
605.03/607.16	c #Conflicts:     161000 | #Constraints:      29796
605.03/607.16	c #Conflicts:     162000 | #Constraints:      30797
605.03/607.16	c #Conflicts:     163000 | #Constraints:      31797
605.03/607.16	c INPROCESSING
605.03/607.16	c GARBAGE COLLECT
605.03/607.16	c #Conflicts:     164000 | #Constraints:      24825
605.03/607.16	c #Conflicts:     165000 | #Constraints:      25825
605.03/607.16	c #Conflicts:     166000 | #Constraints:      26825
605.03/607.16	c #Conflicts:     167000 | #Constraints:      27825
605.03/607.16	c #Conflicts:     168000 | #Constraints:      28825
605.03/607.16	c #Conflicts:     169000 | #Constraints:      29825
605.03/607.16	c #Conflicts:     170000 | #Constraints:      30825
605.03/607.16	c #Conflicts:     171000 | #Constraints:      31825
605.03/607.16	c INPROCESSING
605.03/607.16	c GARBAGE COLLECT
605.03/607.16	c #Conflicts:     172000 | #Constraints:      24625
605.03/607.16	c #Conflicts:     173000 | #Constraints:      25625
605.03/607.16	c #Conflicts:     174000 | #Constraints:      26625
605.03/607.16	c #Conflicts:     175000 | #Constraints:      27625
605.03/607.16	c #Conflicts:     176000 | #Constraints:      28625
605.03/607.16	c #Conflicts:     177000 | #Constraints:      29625
605.03/607.16	c #Conflicts:     178000 | #Constraints:      30625
605.03/607.16	c #Conflicts:     179000 | #Constraints:      31625
605.03/607.16	c #Conflicts:     180000 | #Constraints:      32625
605.03/607.16	c INPROCESSING
605.03/607.16	c GARBAGE COLLECT
605.03/607.16	c rational objective 2199.95
649.48/651.77	c #Conflicts:     181000 | #Constraints:      25240
649.48/651.77	c #Conflicts:     182000 | #Constraints:      26240
649.48/651.77	c #Conflicts:     183000 | #Constraints:      27240
649.48/651.77	c #Conflicts:     184000 | #Constraints:      28240
649.48/651.77	c #Conflicts:     185000 | #Constraints:      29240
649.48/651.77	c #Conflicts:     186000 | #Constraints:      30240
649.48/651.77	c #Conflicts:     187000 | #Constraints:      31240
649.48/651.77	c #Conflicts:     188000 | #Constraints:      32240
649.48/651.77	c #Conflicts:     189000 | #Constraints:      33240
649.48/651.77	c INPROCESSING
649.48/651.77	c GARBAGE COLLECT
649.48/651.77	c #Conflicts:     190000 | #Constraints:      25651
649.48/651.77	c #Conflicts:     191000 | #Constraints:      26651
649.48/651.77	c #Conflicts:     192000 | #Constraints:      27651
649.48/651.77	c #Conflicts:     193000 | #Constraints:      28651
649.48/651.77	c #Conflicts:     194000 | #Constraints:      29652
649.48/651.77	c #Conflicts:     195000 | #Constraints:      30652
649.48/651.77	c #Conflicts:     196000 | #Constraints:      31652
649.48/651.77	c #Conflicts:     197000 | #Constraints:      32653
649.48/651.77	c #Conflicts:     198000 | #Constraints:      33653
649.48/651.77	c INPROCESSING
649.48/651.77	c GARBAGE COLLECT
649.48/651.77	c rational objective 2201.56
709.29/711.78	c #Conflicts:     199000 | #Constraints:      25855
709.29/711.78	c #Conflicts:     200000 | #Constraints:      26855
709.29/711.78	c #Conflicts:     201000 | #Constraints:      27855
709.29/711.78	c #Conflicts:     202000 | #Constraints:      28856
709.29/711.78	c #Conflicts:     203000 | #Constraints:      29856
709.29/711.78	c #Conflicts:     204000 | #Constraints:      30856
709.29/711.78	c #Conflicts:     205000 | #Constraints:      31856
709.29/711.78	c #Conflicts:     206000 | #Constraints:      32856
709.29/711.78	c #Conflicts:     207000 | #Constraints:      33856
709.29/711.78	c INPROCESSING
709.29/711.78	c GARBAGE COLLECT
709.29/711.78	c #Conflicts:     208000 | #Constraints:      25856
709.29/711.78	c #Conflicts:     209000 | #Constraints:      26856
709.29/711.78	c #Conflicts:     210000 | #Constraints:      27856
709.29/711.78	c #Conflicts:     211000 | #Constraints:      28856
709.29/711.78	c #Conflicts:     212000 | #Constraints:      29856
709.29/711.78	c #Conflicts:     213000 | #Constraints:      30856
709.29/711.78	c #Conflicts:     214000 | #Constraints:      31856
709.29/711.78	c #Conflicts:     215000 | #Constraints:      32856
709.29/711.78	c #Conflicts:     216000 | #Constraints:      33856
709.29/711.78	c INPROCESSING
709.29/711.78	c GARBAGE COLLECT
709.29/711.78	c rational objective 2206.09
797.80/800.58	c #Conflicts:     217000 | #Constraints:      25730
797.80/800.58	c #Conflicts:     218000 | #Constraints:      26730
797.80/800.58	c #Conflicts:     219000 | #Constraints:      27731
797.80/800.58	c #Conflicts:     220000 | #Constraints:      28731
797.80/800.58	c #Conflicts:     221000 | #Constraints:      29731
797.80/800.58	c #Conflicts:     222000 | #Constraints:      30731
797.80/800.58	c #Conflicts:     223000 | #Constraints:      31731
797.80/800.58	c #Conflicts:     224000 | #Constraints:      32731
797.80/800.58	c #Conflicts:     225000 | #Constraints:      33731
797.80/800.58	c #Conflicts:     226000 | #Constraints:      34731
797.80/800.58	c INPROCESSING
797.80/800.58	c GARBAGE COLLECT
797.80/800.58	c #Conflicts:     227000 | #Constraints:      26360
797.80/800.58	c #Conflicts:     228000 | #Constraints:      27360
797.80/800.58	c #Conflicts:     229000 | #Constraints:      28360
797.80/800.58	c #Conflicts:     230000 | #Constraints:      29360
797.80/800.58	c #Conflicts:     231000 | #Constraints:      30360
797.80/800.58	c #Conflicts:     232000 | #Constraints:      31360
797.80/800.58	c #Conflicts:     233000 | #Constraints:      32360
797.80/800.58	c #Conflicts:     234000 | #Constraints:      33360
797.80/800.58	c #Conflicts:     235000 | #Constraints:      34360
797.80/800.58	c #Conflicts:     236000 | #Constraints:      35360
797.80/800.58	c INPROCESSING
797.80/800.58	c GARBAGE COLLECT
797.80/800.58	c rational objective 2208.15
855.80/858.79	c #Conflicts:     237000 | #Constraints:      26712
855.80/858.79	c #Conflicts:     238000 | #Constraints:      27712
855.80/858.79	c #Conflicts:     239000 | #Constraints:      28712
855.80/858.79	c #Conflicts:     240000 | #Constraints:      29712
855.80/858.79	c #Conflicts:     241000 | #Constraints:      30712
855.80/858.79	c #Conflicts:     242000 | #Constraints:      31712
855.80/858.79	c #Conflicts:     243000 | #Constraints:      32712
855.80/858.79	c #Conflicts:     244000 | #Constraints:      33712
855.80/858.79	c #Conflicts:     245000 | #Constraints:      34712
855.80/858.79	c #Conflicts:     246000 | #Constraints:      35712
855.80/858.79	c INPROCESSING
855.80/858.79	c GARBAGE COLLECT
855.80/858.79	c rational objective 2209.47
995.76/999.13	c #Conflicts:     247000 | #Constraints:      26851
995.76/999.13	c #Conflicts:     248000 | #Constraints:      27851
995.76/999.13	c #Conflicts:     249000 | #Constraints:      28851
995.76/999.13	c #Conflicts:     250000 | #Constraints:      29851
995.76/999.13	c #Conflicts:     251000 | #Constraints:      30851
995.76/999.13	c #Conflicts:     252000 | #Constraints:      31851
995.76/999.13	c #Conflicts:     253000 | #Constraints:      32851
995.76/999.13	c #Conflicts:     254000 | #Constraints:      33851
995.76/999.13	c #Conflicts:     255000 | #Constraints:      34851
995.76/999.13	c #Conflicts:     256000 | #Constraints:      35852
995.76/999.13	c INPROCESSING
995.76/999.13	c GARBAGE COLLECT
995.76/999.13	c #Conflicts:     257000 | #Constraints:      26878
995.76/999.13	c #Conflicts:     258000 | #Constraints:      27878
995.76/999.13	c #Conflicts:     259000 | #Constraints:      28878
995.76/999.13	c #Conflicts:     260000 | #Constraints:      29878
995.76/999.13	c #Conflicts:     261000 | #Constraints:      30878
995.76/999.13	c #Conflicts:     262000 | #Constraints:      31878
995.76/999.13	c #Conflicts:     263000 | #Constraints:      32878
995.76/999.13	c #Conflicts:     264000 | #Constraints:      33878
995.76/999.13	c #Conflicts:     265000 | #Constraints:      34878
995.76/999.13	c #Conflicts:     266000 | #Constraints:      35878
995.76/999.13	c INPROCESSING
995.76/999.13	c GARBAGE COLLECT
995.76/999.13	c #Conflicts:     267000 | #Constraints:      26695
995.76/999.13	c #Conflicts:     268000 | #Constraints:      27695
995.76/999.13	c #Conflicts:     269000 | #Constraints:      28695
995.76/999.13	c #Conflicts:     270000 | #Constraints:      29695
995.76/999.13	c #Conflicts:     271000 | #Constraints:      30695
995.76/999.13	c #Conflicts:     272000 | #Constraints:      31696
995.76/999.13	c #Conflicts:     273000 | #Constraints:      32696
995.76/999.13	c #Conflicts:     274000 | #Constraints:      33697
995.76/999.13	c #Conflicts:     275000 | #Constraints:      34697
995.76/999.13	c #Conflicts:     276000 | #Constraints:      35698
995.76/999.13	c #Conflicts:     277000 | #Constraints:      36698
995.76/999.13	c INPROCESSING
995.76/999.13	c GARBAGE COLLECT
995.76/999.13	c #Conflicts:     278000 | #Constraints:      27251
995.76/999.13	c #Conflicts:     279000 | #Constraints:      28251
995.76/999.13	c #Conflicts:     280000 | #Constraints:      29251
995.76/999.13	c #Conflicts:     281000 | #Constraints:      30251
995.76/999.13	c #Conflicts:     282000 | #Constraints:      31251
995.76/999.13	c #Conflicts:     283000 | #Constraints:      32251
995.76/999.13	c #Conflicts:     284000 | #Constraints:      33251
995.76/999.13	c #Conflicts:     285000 | #Constraints:      34251
995.76/999.13	c #Conflicts:     286000 | #Constraints:      35251
995.76/999.13	c #Conflicts:     287000 | #Constraints:      36251
995.76/999.13	c #Conflicts:     288000 | #Constraints:      37251
995.76/999.13	c INPROCESSING
995.76/999.13	c GARBAGE COLLECT
995.76/999.13	c rational objective 2213.81
1077.97/1081.65	c #Conflicts:     289000 | #Constraints:      27615
1077.97/1081.65	c #Conflicts:     290000 | #Constraints:      28615
1077.97/1081.65	c #Conflicts:     291000 | #Constraints:      29615
1077.97/1081.65	c #Conflicts:     292000 | #Constraints:      30615
1077.97/1081.65	c #Conflicts:     293000 | #Constraints:      31615
1077.97/1081.65	c #Conflicts:     294000 | #Constraints:      32615
1077.97/1081.65	c #Conflicts:     295000 | #Constraints:      33615
1077.97/1081.65	c #Conflicts:     296000 | #Constraints:      34615
1077.97/1081.65	c #Conflicts:     297000 | #Constraints:      35615
1077.97/1081.65	c #Conflicts:     298000 | #Constraints:      36615
1077.97/1081.65	c #Conflicts:     299000 | #Constraints:      37615
1077.97/1081.65	c INPROCESSING
1077.97/1081.65	c GARBAGE COLLECT
1077.97/1081.65	c #Conflicts:     300000 | #Constraints:      27900
1077.97/1081.65	c #Conflicts:     301000 | #Constraints:      28900
1077.97/1081.65	c #Conflicts:     302000 | #Constraints:      29900
1077.97/1081.65	c #Conflicts:     303000 | #Constraints:      30900
1077.97/1081.65	c #Conflicts:     304000 | #Constraints:      31900
1077.97/1081.65	c #Conflicts:     305000 | #Constraints:      32900
1077.97/1081.65	c #Conflicts:     306000 | #Constraints:      33900
1077.97/1081.65	c #Conflicts:     307000 | #Constraints:      34900
1077.97/1081.65	c #Conflicts:     308000 | #Constraints:      35900
1077.97/1081.65	c #Conflicts:     309000 | #Constraints:      36900
1077.97/1081.65	c #Conflicts:     310000 | #Constraints:      37900
1077.97/1081.65	c INPROCESSING
1077.97/1081.65	c GARBAGE COLLECT
1077.97/1081.65	c rational objective 2216.57
1125.91/1129.74	c #Conflicts:     311000 | #Constraints:      27929
1125.91/1129.74	c #Conflicts:     312000 | #Constraints:      28929
1125.91/1129.74	c #Conflicts:     313000 | #Constraints:      29929
1125.91/1129.74	c #Conflicts:     314000 | #Constraints:      30929
1125.91/1129.74	c #Conflicts:     315000 | #Constraints:      31929
1125.91/1129.74	c #Conflicts:     316000 | #Constraints:      32929
1125.91/1129.74	c #Conflicts:     317000 | #Constraints:      33930
1125.91/1129.74	c #Conflicts:     318000 | #Constraints:      34930
1125.91/1129.74	c #Conflicts:     319000 | #Constraints:      35930
1125.91/1129.74	c #Conflicts:     320000 | #Constraints:      36930
1125.91/1129.74	c #Conflicts:     321000 | #Constraints:      37930
1125.91/1129.74	c INPROCESSING
1125.91/1129.74	c GARBAGE COLLECT
1125.91/1129.74	c rational objective 2217.5
1215.11/1219.28	c #Conflicts:     322000 | #Constraints:      27679
1215.11/1219.28	c #Conflicts:     323000 | #Constraints:      28679
1215.11/1219.28	c #Conflicts:     324000 | #Constraints:      29679
1215.11/1219.28	c #Conflicts:     325000 | #Constraints:      30679
1215.11/1219.28	c #Conflicts:     326000 | #Constraints:      31679
1215.11/1219.28	c #Conflicts:     327000 | #Constraints:      32679
1215.11/1219.28	c #Conflicts:     328000 | #Constraints:      33679
1215.11/1219.28	c #Conflicts:     329000 | #Constraints:      34679
1215.11/1219.28	c #Conflicts:     330000 | #Constraints:      35680
1215.11/1219.28	c #Conflicts:     331000 | #Constraints:      36680
1215.11/1219.28	c #Conflicts:     332000 | #Constraints:      37680
1215.11/1219.28	c #Conflicts:     333000 | #Constraints:      38680
1215.11/1219.28	c INPROCESSING
1215.11/1219.28	c GARBAGE COLLECT
1215.11/1219.28	c #Conflicts:     334000 | #Constraints:      28233
1215.11/1219.28	c #Conflicts:     335000 | #Constraints:      29233
1215.11/1219.28	c #Conflicts:     336000 | #Constraints:      30233
1215.11/1219.28	c #Conflicts:     337000 | #Constraints:      31233
1215.11/1219.28	c #Conflicts:     338000 | #Constraints:      32233
1215.11/1219.28	c #Conflicts:     339000 | #Constraints:      33233
1215.11/1219.28	c #Conflicts:     340000 | #Constraints:      34234
1215.11/1219.28	c #Conflicts:     341000 | #Constraints:      35236
1215.11/1219.28	c #Conflicts:     342000 | #Constraints:      36236
1215.11/1219.28	c #Conflicts:     343000 | #Constraints:      37237
1215.11/1219.28	c #Conflicts:     344000 | #Constraints:      38237
1215.11/1219.28	c #Conflicts:     345000 | #Constraints:      39238
1215.11/1219.28	c INPROCESSING
1215.11/1219.28	c GARBAGE COLLECT
1215.11/1219.28	c rational objective 2222.22
1305.32/1309.75	c #Conflicts:     346000 | #Constraints:      28695
1305.32/1309.75	c #Conflicts:     347000 | #Constraints:      29695
1305.32/1309.75	c #Conflicts:     348000 | #Constraints:      30695
1305.32/1309.75	c #Conflicts:     349000 | #Constraints:      31695
1305.32/1309.75	c #Conflicts:     350000 | #Constraints:      32695
1305.32/1309.75	c #Conflicts:     351000 | #Constraints:      33695
1305.32/1309.75	c #Conflicts:     352000 | #Constraints:      34695
1305.32/1309.75	c #Conflicts:     353000 | #Constraints:      35695
1305.32/1309.75	c #Conflicts:     354000 | #Constraints:      36695
1305.32/1309.75	c #Conflicts:     355000 | #Constraints:      37695
1305.32/1309.75	c #Conflicts:     356000 | #Constraints:      38695
1305.32/1309.75	c #Conflicts:     357000 | #Constraints:      39695
1305.32/1309.75	c INPROCESSING
1305.32/1309.75	c GARBAGE COLLECT
1305.32/1309.75	c #Conflicts:     358000 | #Constraints:      28900
1305.32/1309.75	c #Conflicts:     359000 | #Constraints:      29900
1305.32/1309.75	c #Conflicts:     360000 | #Constraints:      30900
1305.32/1309.75	c #Conflicts:     361000 | #Constraints:      31900
1305.32/1309.75	c #Conflicts:     362000 | #Constraints:      32900
1305.32/1309.75	c #Conflicts:     363000 | #Constraints:      33900
1305.32/1309.75	c #Conflicts:     364000 | #Constraints:      34900
1305.32/1309.75	c #Conflicts:     365000 | #Constraints:      35900
1305.32/1309.75	c #Conflicts:     366000 | #Constraints:      36900
1305.32/1309.75	c #Conflicts:     367000 | #Constraints:      37900
1305.32/1309.75	c #Conflicts:     368000 | #Constraints:      38900
1305.32/1309.75	c #Conflicts:     369000 | #Constraints:      39900
1305.32/1309.75	c INPROCESSING
1305.32/1309.75	c GARBAGE COLLECT
1305.32/1309.75	c rational objective 2225.89
1354.85/1359.47	c #Conflicts:     370000 | #Constraints:      28952
1354.85/1359.47	c #Conflicts:     371000 | #Constraints:      29952
1354.85/1359.47	c #Conflicts:     372000 | #Constraints:      30952
1354.85/1359.47	c #Conflicts:     373000 | #Constraints:      31952
1354.85/1359.47	c #Conflicts:     374000 | #Constraints:      32953
1354.85/1359.47	c #Conflicts:     375000 | #Constraints:      33953
1354.85/1359.47	c #Conflicts:     376000 | #Constraints:      34953
1354.85/1359.47	c #Conflicts:     377000 | #Constraints:      35954
1354.85/1359.47	c #Conflicts:     378000 | #Constraints:      36954
1354.85/1359.47	c #Conflicts:     379000 | #Constraints:      37954
1354.85/1359.47	c #Conflicts:     380000 | #Constraints:      38954
1354.85/1359.47	c #Conflicts:     381000 | #Constraints:      39954
1354.85/1359.47	c INPROCESSING
1354.85/1359.47	c GARBAGE COLLECT
1354.85/1359.47	c rational objective 2226.53
1455.73/1460.69	c #Conflicts:     382000 | #Constraints:      28840
1455.73/1460.69	c #Conflicts:     383000 | #Constraints:      29841
1455.73/1460.69	c #Conflicts:     384000 | #Constraints:      30841
1455.73/1460.69	c #Conflicts:     385000 | #Constraints:      31841
1455.73/1460.69	c #Conflicts:     386000 | #Constraints:      32841
1455.73/1460.69	c #Conflicts:     387000 | #Constraints:      33841
1455.73/1460.69	c #Conflicts:     388000 | #Constraints:      34841
1455.73/1460.69	c #Conflicts:     389000 | #Constraints:      35841
1455.73/1460.69	c #Conflicts:     390000 | #Constraints:      36841
1455.73/1460.69	c #Conflicts:     391000 | #Constraints:      37841
1455.73/1460.69	c #Conflicts:     392000 | #Constraints:      38841
1455.73/1460.69	c #Conflicts:     393000 | #Constraints:      39841
1455.73/1460.69	c #Conflicts:     394000 | #Constraints:      40841
1455.73/1460.69	c INPROCESSING
1455.73/1460.69	c GARBAGE COLLECT
1455.73/1460.69	c #Conflicts:     395000 | #Constraints:      29480
1455.73/1460.69	c #Conflicts:     396000 | #Constraints:      30480
1455.73/1460.69	c #Conflicts:     397000 | #Constraints:      31480
1455.73/1460.69	c #Conflicts:     398000 | #Constraints:      32480
1455.73/1460.69	c #Conflicts:     399000 | #Constraints:      33480
1455.73/1460.69	c #Conflicts:     400000 | #Constraints:      34480
1455.73/1460.69	c #Conflicts:     401000 | #Constraints:      35480
1455.73/1460.69	c #Conflicts:     402000 | #Constraints:      36480
1455.73/1460.69	c #Conflicts:     403000 | #Constraints:      37480
1455.73/1460.69	c #Conflicts:     404000 | #Constraints:      38480
1455.73/1460.69	c #Conflicts:     405000 | #Constraints:      39480
1455.73/1460.69	c #Conflicts:     406000 | #Constraints:      40480
1455.73/1460.69	c #Conflicts:     407000 | #Constraints:      41480
1455.73/1460.69	c INPROCESSING
1455.73/1460.69	c GARBAGE COLLECT
1455.73/1460.69	c rational objective 2226.87
1559.38/1564.66	c #Conflicts:     408000 | #Constraints:      29793
1559.38/1564.66	c #Conflicts:     409000 | #Constraints:      30793
1559.38/1564.66	c #Conflicts:     410000 | #Constraints:      31793
1559.38/1564.66	c #Conflicts:     411000 | #Constraints:      32793
1559.38/1564.66	c #Conflicts:     412000 | #Constraints:      33793
1559.38/1564.66	c #Conflicts:     413000 | #Constraints:      34793
1559.38/1564.66	c #Conflicts:     414000 | #Constraints:      35793
1559.38/1564.66	c #Conflicts:     415000 | #Constraints:      36793
1559.38/1564.66	c #Conflicts:     416000 | #Constraints:      37793
1559.38/1564.66	c #Conflicts:     417000 | #Constraints:      38793
1559.38/1564.66	c #Conflicts:     418000 | #Constraints:      39793
1559.38/1564.66	c #Conflicts:     419000 | #Constraints:      40793
1559.38/1564.66	c #Conflicts:     420000 | #Constraints:      41793
1559.38/1564.66	c INPROCESSING
1559.38/1564.66	c GARBAGE COLLECT
1559.38/1564.66	c #Conflicts:     421000 | #Constraints:      29981
1559.38/1564.66	c #Conflicts:     422000 | #Constraints:      30981
1559.38/1564.66	c #Conflicts:     423000 | #Constraints:      31981
1559.38/1564.66	c #Conflicts:     424000 | #Constraints:      32981
1559.38/1564.66	c #Conflicts:     425000 | #Constraints:      33981
1559.38/1564.66	c #Conflicts:     426000 | #Constraints:      34981
1559.38/1564.66	c #Conflicts:     427000 | #Constraints:      35982
1559.38/1564.66	c #Conflicts:     428000 | #Constraints:      36982
1559.38/1564.66	c #Conflicts:     429000 | #Constraints:      37982
1559.38/1564.66	c #Conflicts:     430000 | #Constraints:      38983
1559.38/1564.66	c #Conflicts:     431000 | #Constraints:      39983
1559.38/1564.66	c #Conflicts:     432000 | #Constraints:      40984
1559.38/1564.66	c #Conflicts:     433000 | #Constraints:      41984
1559.38/1564.66	c INPROCESSING
1559.38/1564.66	c GARBAGE COLLECT
1559.38/1564.66	c rational objective 2232.92
1710.92/1716.78	c #Conflicts:     434000 | #Constraints:      29960
1710.92/1716.78	c #Conflicts:     435000 | #Constraints:      30961
1710.92/1716.78	c #Conflicts:     436000 | #Constraints:      31961
1710.92/1716.78	c #Conflicts:     437000 | #Constraints:      32961
1710.92/1716.78	c #Conflicts:     438000 | #Constraints:      33961
1710.92/1716.78	c #Conflicts:     439000 | #Constraints:      34962
1710.92/1716.78	c #Conflicts:     440000 | #Constraints:      35963
1710.92/1716.78	c #Conflicts:     441000 | #Constraints:      36964
1710.92/1716.78	c #Conflicts:     442000 | #Constraints:      37965
1710.92/1716.78	c #Conflicts:     443000 | #Constraints:      38969
1710.92/1716.78	c #Conflicts:     444000 | #Constraints:      39972
1710.92/1716.78	c #Conflicts:     445000 | #Constraints:      40972
1710.92/1716.78	c #Conflicts:     446000 | #Constraints:      41974
1710.92/1716.78	c INPROCESSING
1710.92/1716.78	c GARBAGE COLLECT
1710.92/1716.78	c #Conflicts:     447000 | #Constraints:      29736
1710.92/1716.78	c #Conflicts:     448000 | #Constraints:      30738
1710.92/1716.78	c #Conflicts:     449000 | #Constraints:      31742
1710.92/1716.78	c #Conflicts:     450000 | #Constraints:      32742
1710.92/1716.78	c #Conflicts:     451000 | #Constraints:      33742
1710.92/1716.78	c #Conflicts:     452000 | #Constraints:      34742
1710.92/1716.78	c #Conflicts:     453000 | #Constraints:      35742
1710.92/1716.78	c #Conflicts:     454000 | #Constraints:      36742
1710.92/1716.78	c #Conflicts:     455000 | #Constraints:      37742
1710.92/1716.78	c #Conflicts:     456000 | #Constraints:      38742
1710.92/1716.78	c #Conflicts:     457000 | #Constraints:      39744
1710.92/1716.78	c #Conflicts:     458000 | #Constraints:      40747
1710.92/1716.78	c #Conflicts:     459000 | #Constraints:      41748
1710.92/1716.78	c #Conflicts:     460000 | #Constraints:      42749
1710.92/1716.78	c INPROCESSING
1710.92/1716.78	c GARBAGE COLLECT
1710.92/1716.78	c rational objective 2234.02
1867.56/1873.96	c #Conflicts:     461000 | #Constraints:      30390
1867.56/1873.96	c #Conflicts:     462000 | #Constraints:      31390
1867.56/1873.96	c #Conflicts:     463000 | #Constraints:      32391
1867.56/1873.96	c #Conflicts:     464000 | #Constraints:      33391
1867.56/1873.96	c #Conflicts:     465000 | #Constraints:      34391
1867.56/1873.96	c #Conflicts:     466000 | #Constraints:      35393
1867.56/1873.96	c #Conflicts:     467000 | #Constraints:      36396
1867.56/1873.96	c #Conflicts:     468000 | #Constraints:      37401
1867.56/1873.96	c #Conflicts:     469000 | #Constraints:      38403
1867.56/1873.96	c #Conflicts:     470000 | #Constraints:      39403
1867.56/1873.96	c #Conflicts:     471000 | #Constraints:      40405
1867.56/1873.96	c #Conflicts:     472000 | #Constraints:      41406
1867.56/1873.96	c #Conflicts:     473000 | #Constraints:      42409
1867.56/1873.96	c #Conflicts:     474000 | #Constraints:      43410
1867.56/1873.96	c INPROCESSING
1867.56/1873.96	c GARBAGE COLLECT
1867.56/1873.96	c #Conflicts:     475000 | #Constraints:      30814
1867.56/1873.96	c #Conflicts:     476000 | #Constraints:      31814
1867.56/1873.96	c #Conflicts:     477000 | #Constraints:      32814
1867.56/1873.96	c #Conflicts:     478000 | #Constraints:      33814
1867.56/1873.96	c #Conflicts:     479000 | #Constraints:      34814
1867.56/1873.96	c #Conflicts:     480000 | #Constraints:      35814
1867.56/1873.96	c #Conflicts:     481000 | #Constraints:      36814
1867.56/1873.96	c #Conflicts:     482000 | #Constraints:      37815
1867.56/1873.96	c #Conflicts:     483000 | #Constraints:      38818
1867.56/1873.96	c #Conflicts:     484000 | #Constraints:      39821
1867.56/1873.96	c #Conflicts:     485000 | #Constraints:      40824
1867.56/1873.96	c #Conflicts:     486000 | #Constraints:      41827
1867.56/1873.96	c #Conflicts:     487000 | #Constraints:      42827
1867.56/1873.96	c #Conflicts:     488000 | #Constraints:      43827
1867.56/1873.96	c INPROCESSING
1867.56/1873.96	c GARBAGE COLLECT
1867.56/1873.96	c rational objective 2235.02
2008.62/2015.50	c #Conflicts:     489000 | #Constraints:      30983
2008.62/2015.50	c #Conflicts:     490000 | #Constraints:      31983
2008.62/2015.50	c #Conflicts:     491000 | #Constraints:      32983
2008.62/2015.50	c #Conflicts:     492000 | #Constraints:      33983
2008.62/2015.50	c #Conflicts:     493000 | #Constraints:      34984
2008.62/2015.50	c #Conflicts:     494000 | #Constraints:      35984
2008.62/2015.50	c #Conflicts:     495000 | #Constraints:      36984
2008.62/2015.50	c #Conflicts:     496000 | #Constraints:      37984
2008.62/2015.50	c #Conflicts:     497000 | #Constraints:      38984
2008.62/2015.50	c #Conflicts:     498000 | #Constraints:      39984
2008.62/2015.50	c #Conflicts:     499000 | #Constraints:      40984
2008.62/2015.50	c #Conflicts:     500000 | #Constraints:      41984
2008.62/2015.50	c #Conflicts:     501000 | #Constraints:      42984
2008.62/2015.50	c #Conflicts:     502000 | #Constraints:      43985
2008.62/2015.50	c INPROCESSING
2008.62/2015.50	c GARBAGE COLLECT
2008.62/2015.50	c #Conflicts:     503000 | #Constraints:      31011
2008.62/2015.50	c #Conflicts:     504000 | #Constraints:      32011
2008.62/2015.50	c #Conflicts:     505000 | #Constraints:      33011
2008.62/2015.50	c #Conflicts:     506000 | #Constraints:      34011
2008.62/2015.50	c #Conflicts:     507000 | #Constraints:      35011
2008.62/2015.50	c #Conflicts:     508000 | #Constraints:      36011
2008.62/2015.50	c #Conflicts:     509000 | #Constraints:      37012
2008.62/2015.50	c #Conflicts:     510000 | #Constraints:      38015
2008.62/2015.50	c #Conflicts:     511000 | #Constraints:      39017
2008.62/2015.50	c #Conflicts:     512000 | #Constraints:      40017
2008.62/2015.50	c #Conflicts:     513000 | #Constraints:      41017
2008.62/2015.50	c #Conflicts:     514000 | #Constraints:      42017
2008.62/2015.50	c #Conflicts:     515000 | #Constraints:      43017
2008.62/2015.50	c #Conflicts:     516000 | #Constraints:      44017
2008.62/2015.50	c INPROCESSING
2008.62/2015.50	c GARBAGE COLLECT
2008.62/2015.50	c rational objective 2235.37
2165.30/2172.72	c #Conflicts:     517000 | #Constraints:      30809
2165.30/2172.72	c #Conflicts:     518000 | #Constraints:      31809
2165.30/2172.72	c #Conflicts:     519000 | #Constraints:      32809
2165.30/2172.72	c #Conflicts:     520000 | #Constraints:      33810
2165.30/2172.72	c #Conflicts:     521000 | #Constraints:      34810
2165.30/2172.72	c #Conflicts:     522000 | #Constraints:      35810
2165.30/2172.72	c #Conflicts:     523000 | #Constraints:      36810
2165.30/2172.72	c #Conflicts:     524000 | #Constraints:      37810
2165.30/2172.72	c #Conflicts:     525000 | #Constraints:      38810
2165.30/2172.72	c #Conflicts:     526000 | #Constraints:      39810
2165.30/2172.72	c #Conflicts:     527000 | #Constraints:      40810
2165.30/2172.72	c #Conflicts:     528000 | #Constraints:      41810
2165.30/2172.72	c #Conflicts:     529000 | #Constraints:      42810
2165.30/2172.72	c #Conflicts:     530000 | #Constraints:      43810
2165.30/2172.72	c #Conflicts:     531000 | #Constraints:      44810
2165.30/2172.72	c INPROCESSING
2165.30/2172.72	c GARBAGE COLLECT
2165.30/2172.72	c #Conflicts:     532000 | #Constraints:      31513
2165.30/2172.72	c #Conflicts:     533000 | #Constraints:      32513
2165.30/2172.72	c #Conflicts:     534000 | #Constraints:      33514
2165.30/2172.72	c #Conflicts:     535000 | #Constraints:      34514
2165.30/2172.72	c #Conflicts:     536000 | #Constraints:      35514
2165.30/2172.72	c #Conflicts:     537000 | #Constraints:      36514
2165.30/2172.72	c #Conflicts:     538000 | #Constraints:      37514
2165.30/2172.72	c #Conflicts:     539000 | #Constraints:      38514
2165.30/2172.72	c #Conflicts:     540000 | #Constraints:      39514
2165.30/2172.72	c #Conflicts:     541000 | #Constraints:      40514
2165.30/2172.72	c #Conflicts:     542000 | #Constraints:      41514
2165.30/2172.72	c #Conflicts:     543000 | #Constraints:      42514
2165.30/2172.72	c #Conflicts:     544000 | #Constraints:      43514
2165.30/2172.72	c #Conflicts:     545000 | #Constraints:      44514
2165.30/2172.72	c #Conflicts:     546000 | #Constraints:      45514
2165.30/2172.72	c INPROCESSING
2165.30/2172.72	c GARBAGE COLLECT
2165.30/2172.72	c rational objective 2239.75
2324.28/2332.28	c #Conflicts:     547000 | #Constraints:      31885
2324.28/2332.28	c #Conflicts:     548000 | #Constraints:      32885
2324.28/2332.28	c #Conflicts:     549000 | #Constraints:      33885
2324.28/2332.28	c #Conflicts:     550000 | #Constraints:      34885
2324.28/2332.28	c #Conflicts:     551000 | #Constraints:      35885
2324.28/2332.28	c #Conflicts:     552000 | #Constraints:      36885
2324.28/2332.28	c #Conflicts:     553000 | #Constraints:      37885
2324.28/2332.28	c #Conflicts:     554000 | #Constraints:      38885
2324.28/2332.28	c #Conflicts:     555000 | #Constraints:      39886
2324.28/2332.28	c #Conflicts:     556000 | #Constraints:      40886
2324.28/2332.28	c #Conflicts:     557000 | #Constraints:      41886
2324.28/2332.28	c #Conflicts:     558000 | #Constraints:      42886
2324.28/2332.28	c #Conflicts:     559000 | #Constraints:      43886
2324.28/2332.28	c #Conflicts:     560000 | #Constraints:      44886
2324.28/2332.28	c #Conflicts:     561000 | #Constraints:      45886
2324.28/2332.28	c INPROCESSING
2324.28/2332.28	c GARBAGE COLLECT
2324.28/2332.28	c #Conflicts:     562000 | #Constraints:      31993
2324.28/2332.28	c #Conflicts:     563000 | #Constraints:      32994
2324.28/2332.28	c #Conflicts:     564000 | #Constraints:      33994
2324.28/2332.28	c #Conflicts:     565000 | #Constraints:      34995
2324.28/2332.28	c #Conflicts:     566000 | #Constraints:      35995
2324.28/2332.28	c #Conflicts:     567000 | #Constraints:      36995
2324.28/2332.28	c #Conflicts:     568000 | #Constraints:      37995
2324.28/2332.28	c #Conflicts:     569000 | #Constraints:      38995
2324.28/2332.28	c #Conflicts:     570000 | #Constraints:      39995
2324.28/2332.28	c #Conflicts:     571000 | #Constraints:      40995
2324.28/2332.28	c #Conflicts:     572000 | #Constraints:      41995
2324.28/2332.28	c #Conflicts:     573000 | #Constraints:      42995
2324.28/2332.28	c #Conflicts:     574000 | #Constraints:      43995
2324.28/2332.28	c #Conflicts:     575000 | #Constraints:      44995
2324.28/2332.28	c #Conflicts:     576000 | #Constraints:      45995
2324.28/2332.28	c INPROCESSING
2324.28/2332.28	c GARBAGE COLLECT
2324.28/2332.28	c rational objective 2241.47
2402.22/2410.45	c #Conflicts:     577000 | #Constraints:      31954
2402.22/2410.45	c #Conflicts:     578000 | #Constraints:      32954
2402.22/2410.45	c #Conflicts:     579000 | #Constraints:      33954
2402.22/2410.45	c #Conflicts:     580000 | #Constraints:      34955
2402.22/2410.45	c #Conflicts:     581000 | #Constraints:      35955
2402.22/2410.45	c #Conflicts:     582000 | #Constraints:      36955
2402.22/2410.45	c #Conflicts:     583000 | #Constraints:      37955
2402.22/2410.45	c #Conflicts:     584000 | #Constraints:      38955
2402.22/2410.45	c #Conflicts:     585000 | #Constraints:      39955
2402.22/2410.45	c #Conflicts:     586000 | #Constraints:      40955
2402.22/2410.45	c #Conflicts:     587000 | #Constraints:      41955
2402.22/2410.45	c #Conflicts:     588000 | #Constraints:      42955
2402.22/2410.45	c #Conflicts:     589000 | #Constraints:      43955
2402.22/2410.45	c #Conflicts:     590000 | #Constraints:      44955
2402.22/2410.45	c #Conflicts:     591000 | #Constraints:      45955
2402.22/2410.45	c INPROCESSING
2402.22/2410.45	c GARBAGE COLLECT
2402.22/2410.45	c rational objective 2244.33
2487.14/2495.61	c #Conflicts:     592000 | #Constraints:      31774
2487.14/2495.61	c #Conflicts:     593000 | #Constraints:      32774
2487.14/2495.61	c #Conflicts:     594000 | #Constraints:      33774
2487.14/2495.61	c #Conflicts:     595000 | #Constraints:      34774
2487.14/2495.61	c #Conflicts:     596000 | #Constraints:      35774
2487.14/2495.61	c #Conflicts:     597000 | #Constraints:      36774
2487.14/2495.61	c #Conflicts:     598000 | #Constraints:      37774
2487.14/2495.61	c #Conflicts:     599000 | #Constraints:      38774
2487.14/2495.61	c #Conflicts:     600000 | #Constraints:      39774
2487.14/2495.61	c #Conflicts:     601000 | #Constraints:      40775
2487.14/2495.61	c #Conflicts:     602000 | #Constraints:      41775
2487.14/2495.61	c #Conflicts:     603000 | #Constraints:      42775
2487.14/2495.61	c #Conflicts:     604000 | #Constraints:      43775
2487.14/2495.61	c #Conflicts:     605000 | #Constraints:      44775
2487.14/2495.61	c #Conflicts:     606000 | #Constraints:      45776
2487.14/2495.61	c #Conflicts:     607000 | #Constraints:      46776
2487.14/2495.61	c INPROCESSING
2487.14/2495.61	c GARBAGE COLLECT
2487.14/2495.61	c rational objective 2245.8
2640.05/2649.08	c #Conflicts:     608000 | #Constraints:      32380
2640.05/2649.08	c #Conflicts:     609000 | #Constraints:      33380
2640.05/2649.08	c #Conflicts:     610000 | #Constraints:      34380
2640.05/2649.08	c #Conflicts:     611000 | #Constraints:      35381
2640.05/2649.08	c #Conflicts:     612000 | #Constraints:      36381
2640.05/2649.08	c #Conflicts:     613000 | #Constraints:      37382
2640.05/2649.08	c #Conflicts:     614000 | #Constraints:      38382
2640.05/2649.08	c #Conflicts:     615000 | #Constraints:      39382
2640.05/2649.08	c #Conflicts:     616000 | #Constraints:      40382
2640.05/2649.08	c #Conflicts:     617000 | #Constraints:      41383
2640.05/2649.08	c #Conflicts:     618000 | #Constraints:      42383
2640.05/2649.08	c #Conflicts:     619000 | #Constraints:      43383
2640.05/2649.08	c #Conflicts:     620000 | #Constraints:      44383
2640.05/2649.08	c #Conflicts:     621000 | #Constraints:      45383
2640.05/2649.08	c #Conflicts:     622000 | #Constraints:      46383
2640.05/2649.08	c #Conflicts:     623000 | #Constraints:      47383
2640.05/2649.08	c INPROCESSING
2640.05/2649.08	c GARBAGE COLLECT
2640.05/2649.08	c #Conflicts:     624000 | #Constraints:      32795
2640.05/2649.08	c #Conflicts:     625000 | #Constraints:      33795
2640.05/2649.08	c #Conflicts:     626000 | #Constraints:      34795
2640.05/2649.08	c #Conflicts:     627000 | #Constraints:      35795
2640.05/2649.08	c #Conflicts:     628000 | #Constraints:      36795
2640.05/2649.08	c #Conflicts:     629000 | #Constraints:      37795
2640.05/2649.08	c #Conflicts:     630000 | #Constraints:      38795
2640.05/2649.08	c #Conflicts:     631000 | #Constraints:      39796
2640.05/2649.08	c #Conflicts:     632000 | #Constraints:      40796
2640.05/2649.08	c #Conflicts:     633000 | #Constraints:      41796
2640.05/2649.08	c #Conflicts:     634000 | #Constraints:      42796
2640.05/2649.08	c #Conflicts:     635000 | #Constraints:      43796
2640.05/2649.08	c #Conflicts:     636000 | #Constraints:      44796
2640.05/2649.08	c #Conflicts:     637000 | #Constraints:      45796
2640.05/2649.08	c #Conflicts:     638000 | #Constraints:      46796
2640.05/2649.08	c #Conflicts:     639000 | #Constraints:      47796
2640.05/2649.08	c INPROCESSING
2640.05/2649.08	c GARBAGE COLLECT
2640.05/2649.08	c rational objective 2246.16
2801.14/2810.61	c #Conflicts:     640000 | #Constraints:      33052
2801.14/2810.61	c #Conflicts:     641000 | #Constraints:      34052
2801.14/2810.61	c #Conflicts:     642000 | #Constraints:      35053
2801.14/2810.61	c #Conflicts:     643000 | #Constraints:      36053
2801.14/2810.61	c #Conflicts:     644000 | #Constraints:      37053
2801.14/2810.61	c #Conflicts:     645000 | #Constraints:      38053
2801.14/2810.61	c #Conflicts:     646000 | #Constraints:      39053
2801.14/2810.61	c #Conflicts:     647000 | #Constraints:      40053
2801.14/2810.61	c #Conflicts:     648000 | #Constraints:      41053
2801.14/2810.61	c #Conflicts:     649000 | #Constraints:      42053
2801.14/2810.61	c #Conflicts:     650000 | #Constraints:      43053
2801.14/2810.61	c #Conflicts:     651000 | #Constraints:      44053
2801.14/2810.61	c #Conflicts:     652000 | #Constraints:      45053
2801.14/2810.61	c #Conflicts:     653000 | #Constraints:      46053
2801.14/2810.61	c #Conflicts:     654000 | #Constraints:      47053
2801.14/2810.61	c #Conflicts:     655000 | #Constraints:      48053
2801.14/2810.61	c INPROCESSING
2801.14/2810.61	c GARBAGE COLLECT
2801.14/2810.61	c #Conflicts:     656000 | #Constraints:      33134
2801.14/2810.61	c #Conflicts:     657000 | #Constraints:      34134
2801.14/2810.61	c #Conflicts:     658000 | #Constraints:      35135
2801.14/2810.61	c #Conflicts:     659000 | #Constraints:      36136
2801.14/2810.62	c #Conflicts:     660000 | #Constraints:      37137
2801.14/2810.62	c #Conflicts:     661000 | #Constraints:      38139
2801.14/2810.62	c #Conflicts:     662000 | #Constraints:      39139
2801.14/2810.62	c #Conflicts:     663000 | #Constraints:      40139
2801.14/2810.62	c #Conflicts:     664000 | #Constraints:      41143
2801.14/2810.62	c #Conflicts:     665000 | #Constraints:      42144
2801.14/2810.62	c #Conflicts:     666000 | #Constraints:      43144
2801.14/2810.62	c #Conflicts:     667000 | #Constraints:      44144
2801.14/2810.62	c #Conflicts:     668000 | #Constraints:      45144
2801.14/2810.62	c #Conflicts:     669000 | #Constraints:      46144
2801.14/2810.62	c #Conflicts:     670000 | #Constraints:      47144
2801.14/2810.62	c #Conflicts:     671000 | #Constraints:      48144
2801.14/2810.62	c INPROCESSING
2801.14/2810.62	c GARBAGE COLLECT
2801.14/2810.62	c rational objective 2247.53
2924.96/2934.83	c #Conflicts:     672000 | #Constraints:      32930
2924.96/2934.83	c #Conflicts:     673000 | #Constraints:      33930
2924.96/2934.83	c #Conflicts:     674000 | #Constraints:      34930
2924.96/2934.83	c #Conflicts:     675000 | #Constraints:      35931
2924.96/2934.83	c #Conflicts:     676000 | #Constraints:      36931
2924.96/2934.83	c #Conflicts:     677000 | #Constraints:      37931
2924.96/2934.83	c #Conflicts:     678000 | #Constraints:      38931
2924.96/2934.83	c #Conflicts:     679000 | #Constraints:      39931
2924.96/2934.83	c #Conflicts:     680000 | #Constraints:      40931
2924.96/2934.83	c #Conflicts:     681000 | #Constraints:      41931
2924.96/2934.83	c #Conflicts:     682000 | #Constraints:      42932
2924.96/2934.83	c #Conflicts:     683000 | #Constraints:      43932
2924.96/2934.83	c #Conflicts:     684000 | #Constraints:      44932
2924.96/2934.83	c #Conflicts:     685000 | #Constraints:      45932
2924.96/2934.83	c #Conflicts:     686000 | #Constraints:      46933
2924.96/2934.83	c #Conflicts:     687000 | #Constraints:      47933
2924.96/2934.83	c #Conflicts:     688000 | #Constraints:      48933
2924.96/2934.83	c INPROCESSING
2924.96/2934.83	c GARBAGE COLLECT
2924.96/2934.83	c rational objective 2247.74
3076.11/3086.40	c #Conflicts:     689000 | #Constraints:      33582
3076.11/3086.40	c #Conflicts:     690000 | #Constraints:      34582
3076.11/3086.40	c #Conflicts:     691000 | #Constraints:      35582
3076.11/3086.40	c #Conflicts:     692000 | #Constraints:      36582
3076.11/3086.40	c #Conflicts:     693000 | #Constraints:      37582
3076.11/3086.40	c #Conflicts:     694000 | #Constraints:      38582
3076.11/3086.40	c #Conflicts:     695000 | #Constraints:      39582
3076.11/3086.40	c #Conflicts:     696000 | #Constraints:      40582
3076.11/3086.40	c #Conflicts:     697000 | #Constraints:      41582
3076.11/3086.40	c #Conflicts:     698000 | #Constraints:      42582
3076.11/3086.40	c #Conflicts:     699000 | #Constraints:      43582
3076.11/3086.40	c #Conflicts:     700000 | #Constraints:      44582
3076.11/3086.40	c #Conflicts:     701000 | #Constraints:      45582
3076.11/3086.40	c #Conflicts:     702000 | #Constraints:      46582
3076.11/3086.40	c #Conflicts:     703000 | #Constraints:      47582
3076.11/3086.40	c #Conflicts:     704000 | #Constraints:      48582
3076.11/3086.40	c #Conflicts:     705000 | #Constraints:      49582
3076.11/3086.40	c INPROCESSING
3076.11/3086.40	c GARBAGE COLLECT
3076.11/3086.40	c #Conflicts:     706000 | #Constraints:      33836
3076.11/3086.40	c #Conflicts:     707000 | #Constraints:      34836
3076.11/3086.40	c #Conflicts:     708000 | #Constraints:      35836
3076.11/3086.40	c #Conflicts:     709000 | #Constraints:      36836
3076.11/3086.40	c #Conflicts:     710000 | #Constraints:      37836
3076.11/3086.40	c #Conflicts:     711000 | #Constraints:      38836
3076.11/3086.40	c #Conflicts:     712000 | #Constraints:      39836
3076.11/3086.40	c #Conflicts:     713000 | #Constraints:      40836
3076.11/3086.40	c #Conflicts:     714000 | #Constraints:      41836
3076.11/3086.40	c #Conflicts:     715000 | #Constraints:      42836
3076.11/3086.40	c #Conflicts:     716000 | #Constraints:      43837
3076.11/3086.40	c #Conflicts:     717000 | #Constraints:      44837
3076.11/3086.40	c #Conflicts:     718000 | #Constraints:      45837
3076.11/3086.40	c #Conflicts:     719000 | #Constraints:      46837
3076.11/3086.40	c #Conflicts:     720000 | #Constraints:      47837
3076.11/3086.40	c #Conflicts:     721000 | #Constraints:      48838
3076.11/3086.40	c #Conflicts:     722000 | #Constraints:      49838
3076.11/3086.40	c INPROCESSING
3076.11/3086.40	c GARBAGE COLLECT
3076.11/3086.40	c rational objective 2260.66
3233.33/3244.19	c #Conflicts:     723000 | #Constraints:      34068
3233.33/3244.19	c #Conflicts:     724000 | #Constraints:      35068
3233.33/3244.19	c #Conflicts:     725000 | #Constraints:      36068
3233.33/3244.19	c #Conflicts:     726000 | #Constraints:      37068
3233.33/3244.19	c #Conflicts:     727000 | #Constraints:      38068
3233.33/3244.19	c #Conflicts:     728000 | #Constraints:      39068
3233.33/3244.19	c #Conflicts:     729000 | #Constraints:      40068
3233.33/3244.19	c #Conflicts:     730000 | #Constraints:      41068
3233.33/3244.19	c #Conflicts:     731000 | #Constraints:      42068
3233.33/3244.19	c #Conflicts:     732000 | #Constraints:      43068
3233.33/3244.19	c #Conflicts:     733000 | #Constraints:      44068
3233.33/3244.19	c #Conflicts:     734000 | #Constraints:      45068
3233.33/3244.19	c #Conflicts:     735000 | #Constraints:      46068
3233.33/3244.19	c #Conflicts:     736000 | #Constraints:      47068
3233.33/3244.19	c #Conflicts:     737000 | #Constraints:      48068
3233.33/3244.19	c #Conflicts:     738000 | #Constraints:      49070
3233.33/3244.19	c #Conflicts:     739000 | #Constraints:      50074
3233.33/3244.19	c INPROCESSING
3233.33/3244.19	c GARBAGE COLLECT
3233.33/3244.19	c #Conflicts:     740000 | #Constraints:      34066
3233.33/3244.19	c #Conflicts:     741000 | #Constraints:      35066
3233.33/3244.19	c #Conflicts:     742000 | #Constraints:      36066
3233.33/3244.19	c #Conflicts:     743000 | #Constraints:      37066
3233.33/3244.19	c #Conflicts:     744000 | #Constraints:      38067
3233.33/3244.19	c #Conflicts:     745000 | #Constraints:      39067
3233.33/3244.19	c #Conflicts:     746000 | #Constraints:      40067
3233.33/3244.19	c #Conflicts:     747000 | #Constraints:      41067
3233.33/3244.19	c #Conflicts:     748000 | #Constraints:      42068
3233.33/3244.19	c #Conflicts:     749000 | #Constraints:      43068
3233.33/3244.19	c #Conflicts:     750000 | #Constraints:      44068
3233.33/3244.19	c #Conflicts:     751000 | #Constraints:      45069
3233.33/3244.19	c #Conflicts:     752000 | #Constraints:      46069
3233.33/3244.19	c #Conflicts:     753000 | #Constraints:      47070
3233.33/3244.19	c #Conflicts:     754000 | #Constraints:      48071
3233.33/3244.19	c #Conflicts:     755000 | #Constraints:      49072
3233.33/3244.19	c #Conflicts:     756000 | #Constraints:      50073
3233.33/3244.19	c INPROCESSING
3233.33/3244.19	c GARBAGE COLLECT
3233.33/3244.19	c rational objective 2260.68
3321.37/3332.48	c #Conflicts:     757000 | #Constraints:      33783
3321.37/3332.48	c #Conflicts:     758000 | #Constraints:      34783
3321.37/3332.48	c #Conflicts:     759000 | #Constraints:      35783
3321.37/3332.48	c #Conflicts:     760000 | #Constraints:      36783
3321.37/3332.48	c #Conflicts:     761000 | #Constraints:      37784
3321.37/3332.48	c #Conflicts:     762000 | #Constraints:      38784
3321.37/3332.48	c #Conflicts:     763000 | #Constraints:      39784
3321.37/3332.48	c #Conflicts:     764000 | #Constraints:      40784
3321.37/3332.48	c #Conflicts:     765000 | #Constraints:      41784
3321.37/3332.48	c #Conflicts:     766000 | #Constraints:      42784
3321.37/3332.48	c #Conflicts:     767000 | #Constraints:      43784
3321.37/3332.48	c #Conflicts:     768000 | #Constraints:      44784
3321.37/3332.48	c #Conflicts:     769000 | #Constraints:      45784
3321.37/3332.48	c #Conflicts:     770000 | #Constraints:      46784
3321.37/3332.48	c #Conflicts:     771000 | #Constraints:      47784
3321.37/3332.48	c #Conflicts:     772000 | #Constraints:      48784
3321.37/3332.48	c #Conflicts:     773000 | #Constraints:      49784
3321.37/3332.48	c #Conflicts:     774000 | #Constraints:      50785
3321.37/3332.48	c INPROCESSING
3321.37/3332.48	c GARBAGE COLLECT
3321.37/3332.48	c rational objective 2261.55
3512.29/3523.96	c #Conflicts:     775000 | #Constraints:      34447
3512.29/3523.96	c #Conflicts:     776000 | #Constraints:      35447
3512.29/3523.96	c #Conflicts:     777000 | #Constraints:      36447
3512.29/3523.96	c #Conflicts:     778000 | #Constraints:      37447
3512.29/3523.96	c #Conflicts:     779000 | #Constraints:      38447
3512.29/3523.96	c #Conflicts:     780000 | #Constraints:      39447
3512.29/3523.96	c #Conflicts:     781000 | #Constraints:      40448
3512.29/3523.96	c #Conflicts:     782000 | #Constraints:      41448
3512.29/3523.96	c #Conflicts:     783000 | #Constraints:      42449
3512.29/3523.96	c #Conflicts:     784000 | #Constraints:      43449
3512.29/3523.96	c #Conflicts:     785000 | #Constraints:      44449
3512.29/3523.96	c #Conflicts:     786000 | #Constraints:      45449
3512.29/3523.96	c #Conflicts:     787000 | #Constraints:      46450
3512.29/3523.96	c #Conflicts:     788000 | #Constraints:      47450
3512.29/3523.96	c #Conflicts:     789000 | #Constraints:      48450
3512.29/3523.96	c #Conflicts:     790000 | #Constraints:      49450
3512.29/3523.96	c #Conflicts:     791000 | #Constraints:      50450
3512.29/3523.96	c #Conflicts:     792000 | #Constraints:      51450
3512.29/3523.96	c INPROCESSING
3512.29/3523.96	c GARBAGE COLLECT
3512.29/3523.96	c #Conflicts:     793000 | #Constraints:      34873
3512.29/3523.96	c #Conflicts:     794000 | #Constraints:      35874
3512.29/3523.96	c #Conflicts:     795000 | #Constraints:      36874
3512.29/3523.96	c #Conflicts:     796000 | #Constraints:      37874
3512.29/3523.96	c #Conflicts:     797000 | #Constraints:      38875
3512.29/3523.96	c #Conflicts:     798000 | #Constraints:      39875
3512.29/3523.96	c #Conflicts:     799000 | #Constraints:      40875
3512.29/3523.96	c #Conflicts:     800000 | #Constraints:      41875
3512.29/3523.96	c #Conflicts:     801000 | #Constraints:      42875
3512.29/3523.96	c #Conflicts:     802000 | #Constraints:      43875
3512.29/3523.96	c #Conflicts:     803000 | #Constraints:      44875
3512.29/3523.96	c #Conflicts:     804000 | #Constraints:      45875
3512.29/3523.96	c #Conflicts:     805000 | #Constraints:      46876
3512.29/3523.96	c #Conflicts:     806000 | #Constraints:      47876
3512.29/3523.96	c #Conflicts:     807000 | #Constraints:      48876
3512.29/3523.96	c #Conflicts:     808000 | #Constraints:      49876
3512.29/3523.96	c #Conflicts:     809000 | #Constraints:      50876
3512.29/3523.96	c #Conflicts:     810000 | #Constraints:      51876
3512.29/3523.96	c INPROCESSING
3512.29/3523.96	c GARBAGE COLLECT
3512.29/3523.96	c rational objective 2262.34

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: 64096 MiB (60486 MiB free)
  memory of node 1: 64473 MiB (53016 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=305870, runsolver pid=305867

[startup+0.100834 s]*
/proc/loadavg: 4.10 4.15 4.17 5/247 305873
/proc/meminfo: memFree=116220176/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=44248 memory=11796 CPUtime=0.1 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 2561 0 0 0 8 2 0 0 20 0 1 0 43216775 45309952 2949 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 11062 2949 1348 992 0 2920 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44248 KiB
Current children cumulated memory: 11796 KiB

[startup+0.213324 s]*
/proc/loadavg: 4.10 4.15 4.17 5/247 305873
/proc/meminfo: memFree=116212436/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=49484 memory=20968 CPUtime=0.21 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 4957 0 0 0 16 5 0 0 20 0 1 0 43216775 50671616 5242 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 12371 5242 1650 992 0 4229 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49484 KiB
Current children cumulated memory: 20968 KiB

[startup+0.313403 s]*
/proc/loadavg: 4.10 4.15 4.17 5/247 305873
/proc/meminfo: memFree=116197396/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=64608 memory=35932 CPUtime=0.31 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 8656 0 0 0 25 6 0 0 20 0 1 0 43216775 66158592 8983 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 16152 8983 1698 992 0 8010 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 64608 KiB
Current children cumulated memory: 35932 KiB

[startup+0.700297 s]
/proc/loadavg: 4.10 4.15 4.17 5/247 305873
/proc/meminfo: memFree=116194240/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=68864 memory=38572 CPUtime=0.68 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 9287 0 0 0 61 7 0 0 20 0 1 0 43216775 70516736 9643 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 17216 9643 1698 992 0 9074 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68864 KiB
Current children cumulated memory: 38572 KiB

[startup+1.50032 s]
/proc/loadavg: 4.10 4.15 4.17 5/247 305873
/proc/meminfo: memFree=116192080/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=69060 memory=40540 CPUtime=1.48 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 9793 0 0 0 136 12 0 0 20 0 1 0 43216775 70717440 10135 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 17265 10135 1730 992 0 9123 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69060 KiB
Current children cumulated memory: 40540 KiB

[startup+3.11293 s]
/proc/loadavg: 4.10 4.15 4.17 5/247 305873
/proc/meminfo: memFree=116145492/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=102972 memory=70208 CPUtime=3.08 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 16147 0 0 0 288 20 0 0 20 0 1 0 43216775 105443328 17552 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 25743 17552 1745 992 0 17601 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 102972 KiB
Current children cumulated memory: 70208 KiB

[startup+6.30032 s]
/proc/loadavg: 4.17 4.16 4.18 5/247 305873
/proc/meminfo: memFree=116136212/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=105604 memory=73096 CPUtime=6.26 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 16867 0 0 0 602 24 0 0 20 0 1 0 43216775 108138496 18274 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 26401 18274 1745 992 0 18259 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 105604 KiB
Current children cumulated memory: 73096 KiB

[startup+12.7003 s]
/proc/loadavg: 4.32 4.19 4.19 5/247 305874
/proc/meminfo: memFree=116046968/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=141540 memory=106828 CPUtime=12.64 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 23240 0 0 0 1220 44 0 0 20 0 1 0 43216775 144936960 26707 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 35385 26707 1808 992 0 27243 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 141540 KiB
Current children cumulated memory: 106828 KiB

[startup+25.5003 s]
/proc/loadavg: 4.55 4.25 4.20 5/247 305876
/proc/meminfo: memFree=115936164/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=187560 memory=144520 CPUtime=25.39 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 29569 0 0 0 2475 64 0 0 20 0 1 0 43216775 192061440 36130 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 46890 36130 1840 992 0 38748 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 187560 KiB
Current children cumulated memory: 144520 KiB

[startup+51.113 s]
/proc/loadavg: 4.48 4.26 4.21 5/247 305973
/proc/meminfo: memFree=123761820/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=203868 memory=169236 CPUtime=50.92 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 33227 0 0 0 4977 115 0 0 20 0 1 0 43216775 208760832 42309 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 50967 42309 1840 992 0 42825 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 203868 KiB
Current children cumulated memory: 169236 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.22 4.19 5/247 306364
/proc/meminfo: memFree=122467296/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=262692 memory=205072 CPUtime=101.94 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 40659 0 0 0 9991 203 0 0 20 0 1 0 43216775 268996608 51268 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 65673 51268 1840 992 0 57531 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 262692 KiB
Current children cumulated memory: 205072 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.21 4.19 5/254 306381
/proc/meminfo: memFree=121350928/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=389424 memory=315272 CPUtime=161.72 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 59472 0 0 0 15877 295 0 0 20 0 1 0 43216775 398770176 78818 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 97356 78818 1840 992 0 89214 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 389424 KiB
Current children cumulated memory: 315272 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/254 306391
/proc/meminfo: memFree=120190192/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=415548 memory=340148 CPUtime=221.5 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 64988 0 0 0 21753 397 0 0 20 0 1 0 43216775 425521152 85037 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 103887 85037 1840 992 0 95745 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 415548 KiB
Current children cumulated memory: 340148 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/262 306578
/proc/meminfo: memFree=118847368/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=415988 memory=348876 CPUtime=281.28 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 65436 0 0 0 27612 516 0 0 20 0 1 0 43216775 425971712 87219 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 103997 87219 1840 992 0 95855 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 415988 KiB
Current children cumulated memory: 348876 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/264 306592
/proc/meminfo: memFree=117654700/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=423984 memory=358060 CPUtime=341.08 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 67340 0 0 0 33514 594 0 0 20 0 1 0 43216775 434159616 89515 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 105996 89515 1840 992 0 97854 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 423984 KiB
Current children cumulated memory: 358060 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/264 306658
/proc/meminfo: memFree=116390272/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=428064 memory=361840 CPUtime=400.9 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 68381 0 0 0 39384 706 0 0 20 0 1 0 43216775 438337536 90460 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 107016 90460 1840 992 0 98874 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 361840 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/264 306670
/proc/meminfo: memFree=115628436/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=439752 memory=383472 CPUtime=460.7 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 70909 0 0 0 45276 794 0 0 20 0 1 0 43216775 450306048 95868 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 109938 95868 1840 992 0 101796 0

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

[startup+3102.3 s]
/proc/loadavg: 3.12 3.47 3.86 4/251 307804
/proc/meminfo: memFree=92860716/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1358712 memory=1154232 CPUtime=3091.96 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 196744 0 0 0 304820 4376 0 0 20 0 1 0 43216775 1391321088 288558 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 339678 288558 1840 992 0 331536 0
Current children cumulated CPU time: 3091.96 s
Current children cumulated vsize: 1358712 KiB
Current children cumulated memory: 1154232 KiB

[startup+3162.3 s]
/proc/loadavg: 3.12 3.40 3.81 4/250 307845
/proc/meminfo: memFree=92112952/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1361340 memory=1156748 CPUtime=3151.77 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 197885 0 0 0 310711 4466 0 0 20 0 1 0 43216775 1394012160 289187 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 340335 289187 1840 992 0 332193 0
Current children cumulated CPU time: 3151.77 s
Current children cumulated vsize: 1361340 KiB
Current children cumulated memory: 1156748 KiB

[startup+3222.3 s]
/proc/loadavg: 3.11 3.34 3.76 4/251 307856
/proc/meminfo: memFree=91217296/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1372996 memory=1166192 CPUtime=3211.58 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 200739 0 0 0 316596 4562 0 0 20 0 1 0 43216775 1405947904 291548 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 343249 291548 1840 992 0 335107 0
Current children cumulated CPU time: 3211.58 s
Current children cumulated vsize: 1372996 KiB
Current children cumulated memory: 1166192 KiB

[startup+3282.3 s]
/proc/loadavg: 2.64 3.18 3.68 3/249 307871
/proc/meminfo: memFree=93979184/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1373584 memory=1167316 CPUtime=3271.41 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 201347 0 0 0 322488 4653 0 0 20 0 1 0 43216775 1406550016 291829 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 343396 291829 1840 992 0 335254 0
Current children cumulated CPU time: 3271.41 s
Current children cumulated vsize: 1373584 KiB
Current children cumulated memory: 1167316 KiB

[startup+3342.3 s]
/proc/loadavg: 2.27 2.98 3.58 3/236 307881
/proc/meminfo: memFree=93501104/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1374480 memory=1168044 CPUtime=3331.23 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 201926 0 0 0 328398 4725 0 0 20 0 1 0 43216775 1407467520 292011 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 343620 292011 1840 992 0 335478 0
Current children cumulated CPU time: 3331.23 s
Current children cumulated vsize: 1374480 KiB
Current children cumulated memory: 1168044 KiB

[startup+3402.3 s]
/proc/loadavg: 2.15 2.81 3.48 3/237 307894
/proc/meminfo: memFree=92958632/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1382184 memory=1174104 CPUtime=3391.05 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 203843 0 0 0 334320 4785 0 0 20 0 1 0 43216775 1415356416 293526 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 345546 293526 1840 992 0 337404 0
Current children cumulated CPU time: 3391.05 s
Current children cumulated vsize: 1382184 KiB
Current children cumulated memory: 1174104 KiB

[startup+3462.3 s]
/proc/loadavg: 2.13 2.69 3.40 3/233 307906
/proc/meminfo: memFree=92384072/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1389104 memory=1178536 CPUtime=3450.88 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 205415 0 0 0 340224 4864 0 0 20 0 1 0 43216775 1422442496 294634 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 347276 294634 1840 992 0 339134 0
Current children cumulated CPU time: 3450.88 s
Current children cumulated vsize: 1389104 KiB
Current children cumulated memory: 1178536 KiB

[startup+3522.3 s]
/proc/loadavg: 2.15 2.59 3.32 3/233 307916
/proc/meminfo: memFree=92123560/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1389416 memory=1179220 CPUtime=3510.7 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 205902 0 0 0 346162 4908 0 0 20 0 1 0 43216775 1422761984 294805 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 347354 294805 1840 992 0 339212 0
Current children cumulated CPU time: 3510.7 s
Current children cumulated vsize: 1389416 KiB
Current children cumulated memory: 1179220 KiB

[startup+3582.3 s]
/proc/loadavg: 2.05 2.48 3.23 3/233 307926
/proc/meminfo: memFree=91558920/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1389416 memory=1179528 CPUtime=3570.52 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 206522 0 0 0 352048 5004 0 0 20 0 1 0 43216775 1422761984 294882 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 347354 294882 1840 992 0 339212 0
Current children cumulated CPU time: 3570.52 s
Current children cumulated vsize: 1389416 KiB
Current children cumulated memory: 1179528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 2.09 2.45 3.20 3/233 307932
/proc/meminfo: memFree=91443340/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1390576 memory=1180228 CPUtime=3600.04 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 206904 0 0 0 354979 5025 0 0 20 0 1 0 43216775 1423949824 295057 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 347644 295057 1840 992 0 339502 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1390576 KiB
Current children cumulated memory: 1180228 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3613.94 s]
# the end of solver process 305870 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3551.78 s, system=50.2728 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3612.8 s]
/proc/loadavg: 2.09 2.45 3.20 3/233 307932
/proc/meminfo: memFree=91442288/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1390576 memory=1180228 CPUtime=3600.94 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 206904 0 0 0 355068 5026 0 0 20 0 1 0 43216775 1423949824 295057 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 347644 295057 1840 992 0 339502 0
Current children cumulated CPU time: 3600.94 s
Current children cumulated vsize: 1390576 KiB
Current children cumulated memory: 1180228 KiB

[startup+3613.6 s]
/proc/loadavg: 2.09 2.45 3.20 3/233 307932
/proc/meminfo: memFree=91439828/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1390576 memory=1180228 CPUtime=3601.73 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 206904 0 0 0 355147 5026 0 0 20 0 1 0 43216775 1423949824 295057 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 347644 295057 1840 992 0 339502 0
Current children cumulated CPU time: 3601.73 s
Current children cumulated vsize: 1390576 KiB
Current children cumulated memory: 1180228 KiB

[startup+3613.8 s]
/proc/loadavg: 2.09 2.45 3.20 3/233 307932
/proc/meminfo: memFree=91439828/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1390576 memory=1180228 CPUtime=3601.93 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 206904 0 0 0 355167 5026 0 0 20 0 1 0 43216775 1423949824 295057 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 347644 295057 1840 992 0 339502 0
Current children cumulated CPU time: 3601.93 s
Current children cumulated vsize: 1390576 KiB
Current children cumulated memory: 1180228 KiB

[startup+3613.9 s]
/proc/loadavg: 2.09 2.45 3.20 3/233 307932
/proc/meminfo: memFree=91439828/131655788 swapFree=131058856/131071996
[pid=305870] ppid=305867 vsize=1390576 memory=1180228 CPUtime=3602.03 cores=0,2
/proc/305870/stat : 305870 (roundingsat) R 305867 305870 301296 0 -1 4194304 206904 0 0 0 355177 5026 0 0 20 0 1 0 43216775 1423949824 295057 134679101440 4194304 8254357 140724035584816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 36229120 140724035593051 140724035593313 140724035593313 140724035600329 0
/proc/305870/statm: 347644 295057 1840 992 0 339502 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 1390576 KiB
Current children cumulated memory: 1180228 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.94
CPU time (s): 3602.05
CPU user time (s): 3551.78
CPU system time (s): 50.2728
CPU usage (%): 99.6711
Max. virtual memory (cumulated for all children) (KiB): 1390576
Max. memory (cumulated for all children) (KiB): 1180228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.78
system time used= 50.2728
maximum resident set size= 1180424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206904
page faults= 0
swaps= 0
block input operations= 0
block output operations= 44129936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 541
involuntary context switches= 25421


# summary of solver processes directly reported to runsolver:
#   pid: 305870
#   total CPU time (s): 3602.05
#   total CPU user time (s): 3551.78
#   total CPU system time (s): 50.2728

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7252 second user time and 36.955 second system time

The end

Begin job on nodeC009 at 2024-07-27 11:24:29
IDJOB=4460905
IDBENCH=164356
IDSOLVER=3086
FILE ID=nodeC009/4460905-1722072269
RUNJOBID= nodeC009-1722064837-301306
SLURM_JOB_ID= 8248111
Free space on /tmp= 723656 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-ns903616.0.u.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460905-1722072269/watcher-4460905-1722072269 -o /tmp/evaluation-result-4460905-1722072269/solver-4460905-1722072269 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301306 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460905-1722072269 --lp-cut-gomory=0 HOME/instance-4460905-1722072269.opb

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

MD5SUM BENCH= 851dd7bb62635ec66e2461b484912a91
RANDOM SEED=677404825

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        116227864 kB
MemAvailable:   127571048 kB
Buffers:          387424 kB
Cached:         11695348 kB
SwapCached:         4924 kB
Active:          2032612 kB
Inactive:       12650596 kB
Active(anon):       1624 kB
Inactive(anon):  2652372 kB
Active(file):    2030988 kB
Inactive(file):  9998224 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:             36524 kB
Writeback:             0 kB
AnonPages:       2593448 kB
Mapped:           102340 kB
Shmem:             53492 kB
KReclaimable:     308344 kB
Slab:             422244 kB
SReclaimable:     308344 kB
SUnreclaim:       113900 kB
KernelStack:        4016 kB
PageTables:        14608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3175476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2330624 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC009 at 2024-07-27 12:24:43