0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
2.88/2.93	c #variables 35834 #constraints 723876
33.28/33.44	c #Conflicts:       1000 | #Constraints:     724875
33.28/33.44	c #Conflicts:       2000 | #Constraints:     725875
33.28/33.44	c INPROCESSING
33.28/33.44	c #Conflicts:       3000 | #Constraints:     632642
33.28/33.44	c #Conflicts:       4000 | #Constraints:     633642
33.28/33.44	c INPROCESSING
33.28/33.44	c #Conflicts:       5000 | #Constraints:     631937
33.28/33.44	c #Conflicts:       6000 | #Constraints:     632937
33.28/33.44	c #Conflicts:       7000 | #Constraints:     633937
33.28/33.44	c #Conflicts:       8000 | #Constraints:     634937
33.28/33.44	c #Conflicts:       9000 | #Constraints:     635937
33.28/33.44	c INPROCESSING
33.28/33.44	c rational objective 4755.62
218.19/218.92	c #Conflicts:      10000 | #Constraints:     628208
218.19/218.92	c #Conflicts:      11000 | #Constraints:     629208
218.19/218.92	c #Conflicts:      12000 | #Constraints:     630208
218.19/218.92	c #Conflicts:      13000 | #Constraints:     631208
218.19/218.92	c #Conflicts:      14000 | #Constraints:     632208
218.19/218.92	c #Conflicts:      15000 | #Constraints:     633208
218.19/218.92	c #Conflicts:      16000 | #Constraints:     634208
218.19/218.92	c INPROCESSING
218.19/218.92	c #Conflicts:      17000 | #Constraints:     626172
218.19/218.92	c #Conflicts:      18000 | #Constraints:     627172
218.19/218.92	c #Conflicts:      19000 | #Constraints:     628172
218.19/218.92	c #Conflicts:      20000 | #Constraints:     629172
218.19/218.92	c #Conflicts:      21000 | #Constraints:     630172
218.19/218.92	c #Conflicts:      22000 | #Constraints:     631172
218.19/218.92	c #Conflicts:      23000 | #Constraints:     632172
218.19/218.92	c #Conflicts:      24000 | #Constraints:     633172
218.19/218.92	c #Conflicts:      25000 | #Constraints:     634172
218.19/218.92	c INPROCESSING
218.19/218.92	c GARBAGE COLLECT
218.19/218.92	c #Conflicts:      26000 | #Constraints:     627030
218.19/218.92	c #Conflicts:      27000 | #Constraints:     628030
218.19/218.92	c #Conflicts:      28000 | #Constraints:     629030
218.19/218.93	c #Conflicts:      29000 | #Constraints:     630030
218.19/218.93	c #Conflicts:      30000 | #Constraints:     631030
218.19/218.93	c #Conflicts:      31000 | #Constraints:     632030
218.19/218.93	c #Conflicts:      32000 | #Constraints:     633030
218.19/218.93	c #Conflicts:      33000 | #Constraints:     634030
218.19/218.93	c #Conflicts:      34000 | #Constraints:     635030
218.19/218.93	c #Conflicts:      35000 | #Constraints:     636030
218.19/218.93	c #Conflicts:      36000 | #Constraints:     637030
218.19/218.93	c INPROCESSING
218.19/218.93	c rational objective 4861.23
318.50/319.57	c #Conflicts:      37000 | #Constraints:     628766
318.50/319.57	c #Conflicts:      38000 | #Constraints:     629766
318.50/319.57	c #Conflicts:      39000 | #Constraints:     630766
318.50/319.57	c #Conflicts:      40000 | #Constraints:     631766
318.50/319.57	c #Conflicts:      41000 | #Constraints:     632766
318.50/319.57	c #Conflicts:      42000 | #Constraints:     633766
318.50/319.57	c #Conflicts:      43000 | #Constraints:     634766
318.50/319.57	c #Conflicts:      44000 | #Constraints:     635766
318.50/319.57	c #Conflicts:      45000 | #Constraints:     636766
318.50/319.57	c #Conflicts:      46000 | #Constraints:     637766
318.50/319.57	c #Conflicts:      47000 | #Constraints:     638766
318.50/319.57	c #Conflicts:      48000 | #Constraints:     639766
318.50/319.57	c #Conflicts:      49000 | #Constraints:     640766
318.50/319.57	c INPROCESSING
318.50/319.57	c #Conflicts:      50000 | #Constraints:     630638
318.50/319.57	c #Conflicts:      51000 | #Constraints:     631638
318.50/319.57	c #Conflicts:      52000 | #Constraints:     632638
318.50/319.57	c #Conflicts:      53000 | #Constraints:     633638
318.50/319.57	c #Conflicts:      54000 | #Constraints:     634638
318.50/319.57	c #Conflicts:      55000 | #Constraints:     635638
318.50/319.57	c #Conflicts:      56000 | #Constraints:     636638
318.50/319.57	c #Conflicts:      57000 | #Constraints:     637638
318.50/319.57	c #Conflicts:      58000 | #Constraints:     638638
318.50/319.57	c #Conflicts:      59000 | #Constraints:     639638
318.50/319.57	c #Conflicts:      60000 | #Constraints:     640638
318.50/319.57	c #Conflicts:      61000 | #Constraints:     641638
318.50/319.57	c #Conflicts:      62000 | #Constraints:     642638
318.50/319.57	c #Conflicts:      63000 | #Constraints:     643638
318.50/319.57	c #Conflicts:      64000 | #Constraints:     644638
318.50/319.57	c INPROCESSING
318.50/319.57	c GARBAGE COLLECT
318.50/319.57	c rational objective 4879.44
346.52/347.62	c #Conflicts:      65000 | #Constraints:     632529
346.52/347.62	c #Conflicts:      66000 | #Constraints:     633529
346.52/347.62	c #Conflicts:      67000 | #Constraints:     634529
346.52/347.62	c #Conflicts:      68000 | #Constraints:     635529
346.52/347.62	c #Conflicts:      69000 | #Constraints:     636529
346.52/347.62	c #Conflicts:      70000 | #Constraints:     637529
346.52/347.62	c #Conflicts:      71000 | #Constraints:     638529
346.52/347.62	c #Conflicts:      72000 | #Constraints:     639529
346.52/347.62	c #Conflicts:      73000 | #Constraints:     640529
346.52/347.62	c #Conflicts:      74000 | #Constraints:     641529
346.52/347.62	c #Conflicts:      75000 | #Constraints:     642529
346.52/347.62	c #Conflicts:      76000 | #Constraints:     643529
346.52/347.62	c #Conflicts:      77000 | #Constraints:     644529
346.52/347.62	c #Conflicts:      78000 | #Constraints:     645529
346.52/347.62	c #Conflicts:      79000 | #Constraints:     646529
346.52/347.62	c #Conflicts:      80000 | #Constraints:     647529
346.52/347.62	c #Conflicts:      81000 | #Constraints:     648529
346.52/347.62	c INPROCESSING
346.52/347.62	c rational objective 4894.02
395.67/396.96	c #Conflicts:      82000 | #Constraints:     634627
395.67/396.96	c #Conflicts:      83000 | #Constraints:     635627
395.67/396.96	c #Conflicts:      84000 | #Constraints:     636627
395.67/396.96	c #Conflicts:      85000 | #Constraints:     637627
395.67/396.96	c #Conflicts:      86000 | #Constraints:     638627
395.67/396.96	c #Conflicts:      87000 | #Constraints:     639627
395.67/396.96	c #Conflicts:      88000 | #Constraints:     640627
395.67/396.96	c #Conflicts:      89000 | #Constraints:     641627
395.67/396.96	c #Conflicts:      90000 | #Constraints:     642627
395.67/396.96	c #Conflicts:      91000 | #Constraints:     643627
395.67/396.96	c #Conflicts:      92000 | #Constraints:     644627
395.67/396.96	c #Conflicts:      93000 | #Constraints:     645627
395.67/396.96	c #Conflicts:      94000 | #Constraints:     646627
395.67/396.96	c #Conflicts:      95000 | #Constraints:     647627
395.67/396.96	c #Conflicts:      96000 | #Constraints:     648627
395.67/396.96	c #Conflicts:      97000 | #Constraints:     649627
395.67/396.96	c #Conflicts:      98000 | #Constraints:     650627
395.67/396.96	c #Conflicts:      99000 | #Constraints:     651627
395.67/396.96	c #Conflicts:     100000 | #Constraints:     652627
395.67/396.96	c #Conflicts:     101000 | #Constraints:     653627
395.67/396.96	c INPROCESSING
395.67/396.96	c GARBAGE COLLECT
395.67/396.96	c rational objective 4909.33
465.14/466.69	c #Conflicts:     102000 | #Constraints:     637419
465.14/466.69	c #Conflicts:     103000 | #Constraints:     638419
465.14/466.69	c #Conflicts:     104000 | #Constraints:     639419
465.14/466.69	c #Conflicts:     105000 | #Constraints:     640419
465.14/466.69	c #Conflicts:     106000 | #Constraints:     641419
465.14/466.69	c #Conflicts:     107000 | #Constraints:     642419
465.14/466.69	c #Conflicts:     108000 | #Constraints:     643419
465.14/466.69	c #Conflicts:     109000 | #Constraints:     644419
465.14/466.69	c #Conflicts:     110000 | #Constraints:     645419
465.14/466.69	c #Conflicts:     111000 | #Constraints:     646419
465.14/466.69	c #Conflicts:     112000 | #Constraints:     647419
465.14/466.69	c #Conflicts:     113000 | #Constraints:     648419
465.14/466.69	c #Conflicts:     114000 | #Constraints:     649419
465.14/466.69	c #Conflicts:     115000 | #Constraints:     650419
465.14/466.69	c #Conflicts:     116000 | #Constraints:     651419
465.14/466.69	c #Conflicts:     117000 | #Constraints:     652419
465.14/466.69	c #Conflicts:     118000 | #Constraints:     653419
465.14/466.69	c #Conflicts:     119000 | #Constraints:     654419
465.14/466.69	c #Conflicts:     120000 | #Constraints:     655419
465.14/466.69	c #Conflicts:     121000 | #Constraints:     656419
465.14/466.69	c #Conflicts:     122000 | #Constraints:     657419
465.14/466.69	c INPROCESSING
465.14/466.69	c GARBAGE COLLECT
465.14/466.69	c rational objective 4919.84
545.49/547.24	c #Conflicts:     123000 | #Constraints:     639252
545.49/547.24	c #Conflicts:     124000 | #Constraints:     640252
545.49/547.24	c #Conflicts:     125000 | #Constraints:     641252
545.49/547.24	c #Conflicts:     126000 | #Constraints:     642252
545.49/547.24	c #Conflicts:     127000 | #Constraints:     643252
545.49/547.24	c #Conflicts:     128000 | #Constraints:     644252
545.49/547.24	c #Conflicts:     129000 | #Constraints:     645252
545.49/547.24	c #Conflicts:     130000 | #Constraints:     646252
545.49/547.24	c #Conflicts:     131000 | #Constraints:     647252
545.49/547.24	c #Conflicts:     132000 | #Constraints:     648252
545.49/547.24	c #Conflicts:     133000 | #Constraints:     649252
545.49/547.24	c #Conflicts:     134000 | #Constraints:     650252
545.49/547.24	c #Conflicts:     135000 | #Constraints:     651252
545.49/547.24	c #Conflicts:     136000 | #Constraints:     652252
545.49/547.24	c #Conflicts:     137000 | #Constraints:     653252
545.49/547.24	c #Conflicts:     138000 | #Constraints:     654252
545.49/547.24	c #Conflicts:     139000 | #Constraints:     655252
545.49/547.24	c #Conflicts:     140000 | #Constraints:     656252
545.49/547.24	c #Conflicts:     141000 | #Constraints:     657252
545.49/547.24	c #Conflicts:     142000 | #Constraints:     658252
545.49/547.24	c #Conflicts:     143000 | #Constraints:     659252
545.49/547.24	c #Conflicts:     144000 | #Constraints:     660252
545.49/547.24	c #Conflicts:     145000 | #Constraints:     661252
545.49/547.24	c INPROCESSING
545.49/547.24	c GARBAGE COLLECT
545.49/547.24	c rational objective 4948.59
605.40/607.35	c #Conflicts:     146000 | #Constraints:     640401
605.40/607.35	c #Conflicts:     147000 | #Constraints:     641401
605.40/607.35	c #Conflicts:     148000 | #Constraints:     642401
605.40/607.35	c #Conflicts:     149000 | #Constraints:     643401
605.40/607.35	c #Conflicts:     150000 | #Constraints:     644401
605.40/607.35	c #Conflicts:     151000 | #Constraints:     645401
605.40/607.35	c #Conflicts:     152000 | #Constraints:     646401
605.40/607.35	c #Conflicts:     153000 | #Constraints:     647401
605.40/607.35	c #Conflicts:     154000 | #Constraints:     648401
605.40/607.35	c #Conflicts:     155000 | #Constraints:     649401
605.40/607.35	c #Conflicts:     156000 | #Constraints:     650401
605.40/607.35	c #Conflicts:     157000 | #Constraints:     651401
605.40/607.35	c #Conflicts:     158000 | #Constraints:     652401
605.40/607.35	c #Conflicts:     159000 | #Constraints:     653401
605.40/607.35	c #Conflicts:     160000 | #Constraints:     654401
605.40/607.35	c #Conflicts:     161000 | #Constraints:     655401
605.40/607.35	c #Conflicts:     162000 | #Constraints:     656401
605.40/607.35	c #Conflicts:     163000 | #Constraints:     657401
605.40/607.35	c #Conflicts:     164000 | #Constraints:     658401
605.40/607.35	c #Conflicts:     165000 | #Constraints:     659401
605.40/607.35	c #Conflicts:     166000 | #Constraints:     660401
605.40/607.35	c #Conflicts:     167000 | #Constraints:     661401
605.40/607.35	c #Conflicts:     168000 | #Constraints:     662401
605.40/607.35	c #Conflicts:     169000 | #Constraints:     663401
605.40/607.35	c #Conflicts:     170000 | #Constraints:     664401
605.40/607.35	c INPROCESSING
605.40/607.35	c GARBAGE COLLECT
605.40/607.35	c rational objective 5020.31
666.64/668.73	c #Conflicts:     171000 | #Constraints:     638296
666.64/668.73	c #Conflicts:     172000 | #Constraints:     639296
666.64/668.73	c #Conflicts:     173000 | #Constraints:     640296
666.64/668.73	c #Conflicts:     174000 | #Constraints:     641296
666.64/668.73	c #Conflicts:     175000 | #Constraints:     642296
666.64/668.73	c #Conflicts:     176000 | #Constraints:     643296
666.64/668.73	c #Conflicts:     177000 | #Constraints:     644296
666.64/668.73	c #Conflicts:     178000 | #Constraints:     645296
666.64/668.73	c #Conflicts:     179000 | #Constraints:     646296
666.64/668.73	c #Conflicts:     180000 | #Constraints:     647296
666.64/668.73	c #Conflicts:     181000 | #Constraints:     648296
666.64/668.73	c #Conflicts:     182000 | #Constraints:     649296
666.64/668.73	c #Conflicts:     183000 | #Constraints:     650296
666.64/668.73	c #Conflicts:     184000 | #Constraints:     651296
666.64/668.73	c #Conflicts:     185000 | #Constraints:     652296
666.64/668.73	c #Conflicts:     186000 | #Constraints:     653296
666.64/668.73	c #Conflicts:     187000 | #Constraints:     654296
666.64/668.73	c #Conflicts:     188000 | #Constraints:     655296
666.64/668.73	c #Conflicts:     189000 | #Constraints:     656296
666.64/668.73	c #Conflicts:     190000 | #Constraints:     657296
666.64/668.73	c #Conflicts:     191000 | #Constraints:     658296
666.64/668.73	c #Conflicts:     192000 | #Constraints:     659296
666.64/668.73	c #Conflicts:     193000 | #Constraints:     660296
666.64/668.73	c #Conflicts:     194000 | #Constraints:     661296
666.64/668.73	c #Conflicts:     195000 | #Constraints:     662296
666.64/668.73	c #Conflicts:     196000 | #Constraints:     663296
666.64/668.73	c #Conflicts:     197000 | #Constraints:     664296
666.64/668.73	c INPROCESSING
666.64/668.73	c GARBAGE COLLECT
666.64/668.73	c rational objective 5042.44
815.45/817.96	c #Conflicts:     198000 | #Constraints:     639027
815.45/817.96	c #Conflicts:     199000 | #Constraints:     640027
815.45/817.96	c #Conflicts:     200000 | #Constraints:     641027
815.45/817.96	c #Conflicts:     201000 | #Constraints:     642027
815.45/817.96	c #Conflicts:     202000 | #Constraints:     643027
815.45/817.96	c #Conflicts:     203000 | #Constraints:     644027
815.45/817.96	c #Conflicts:     204000 | #Constraints:     645027
815.45/817.96	c #Conflicts:     205000 | #Constraints:     646027
815.45/817.96	c #Conflicts:     206000 | #Constraints:     647027
815.45/817.96	c #Conflicts:     207000 | #Constraints:     648027
815.45/817.96	c #Conflicts:     208000 | #Constraints:     649027
815.45/817.96	c #Conflicts:     209000 | #Constraints:     650027
815.45/817.96	c #Conflicts:     210000 | #Constraints:     651027
815.45/817.96	c #Conflicts:     211000 | #Constraints:     652027
815.45/817.96	c #Conflicts:     212000 | #Constraints:     653027
815.45/817.96	c #Conflicts:     213000 | #Constraints:     654027
815.45/817.96	c #Conflicts:     214000 | #Constraints:     655027
815.45/817.96	c #Conflicts:     215000 | #Constraints:     656027
815.45/817.96	c #Conflicts:     216000 | #Constraints:     657027
815.45/817.96	c #Conflicts:     217000 | #Constraints:     658027
815.45/817.96	c #Conflicts:     218000 | #Constraints:     659027
815.45/817.96	c #Conflicts:     219000 | #Constraints:     660027
815.45/817.96	c #Conflicts:     220000 | #Constraints:     661027
815.45/817.96	c #Conflicts:     221000 | #Constraints:     662027
815.45/817.96	c #Conflicts:     222000 | #Constraints:     663027
815.45/817.96	c #Conflicts:     223000 | #Constraints:     664027
815.45/817.96	c #Conflicts:     224000 | #Constraints:     665027
815.45/817.96	c #Conflicts:     225000 | #Constraints:     666027
815.45/817.96	c #Conflicts:     226000 | #Constraints:     667027
815.45/817.96	c INPROCESSING
815.45/817.96	c GARBAGE COLLECT
815.45/817.96	c rational objective 5071.18
898.53/901.24	c #Conflicts:     227000 | #Constraints:     639516
898.53/901.24	c #Conflicts:     228000 | #Constraints:     640516
898.53/901.24	c #Conflicts:     229000 | #Constraints:     641516
898.53/901.24	c #Conflicts:     230000 | #Constraints:     642516
898.53/901.24	c #Conflicts:     231000 | #Constraints:     643516
898.53/901.24	c #Conflicts:     232000 | #Constraints:     644516
898.53/901.24	c #Conflicts:     233000 | #Constraints:     645516
898.53/901.24	c #Conflicts:     234000 | #Constraints:     646516
898.53/901.24	c #Conflicts:     235000 | #Constraints:     647516
898.53/901.24	c #Conflicts:     236000 | #Constraints:     648516
898.53/901.24	c #Conflicts:     237000 | #Constraints:     649516
898.53/901.24	c #Conflicts:     238000 | #Constraints:     650516
898.53/901.24	c #Conflicts:     239000 | #Constraints:     651516
898.53/901.24	c #Conflicts:     240000 | #Constraints:     652516
898.53/901.24	c #Conflicts:     241000 | #Constraints:     653516
898.53/901.24	c #Conflicts:     242000 | #Constraints:     654516
898.53/901.24	c #Conflicts:     243000 | #Constraints:     655516
898.53/901.24	c #Conflicts:     244000 | #Constraints:     656516
898.53/901.24	c #Conflicts:     245000 | #Constraints:     657516
898.53/901.24	c #Conflicts:     246000 | #Constraints:     658516
898.53/901.24	c #Conflicts:     247000 | #Constraints:     659516
898.53/901.24	c #Conflicts:     248000 | #Constraints:     660516
898.53/901.24	c #Conflicts:     249000 | #Constraints:     661516
898.53/901.24	c #Conflicts:     250000 | #Constraints:     662516
898.53/901.24	c #Conflicts:     251000 | #Constraints:     663516
898.53/901.24	c #Conflicts:     252000 | #Constraints:     664516
898.53/901.24	c #Conflicts:     253000 | #Constraints:     665516
898.53/901.24	c #Conflicts:     254000 | #Constraints:     666516
898.53/901.24	c #Conflicts:     255000 | #Constraints:     667516
898.53/901.24	c #Conflicts:     256000 | #Constraints:     668516
898.53/901.24	c #Conflicts:     257000 | #Constraints:     669516
898.53/901.24	c INPROCESSING
898.53/901.24	c GARBAGE COLLECT
898.53/901.24	c rational objective 5167.43
966.96/969.87	c #Conflicts:     258000 | #Constraints:     635921
966.96/969.87	c #Conflicts:     259000 | #Constraints:     636921
966.96/969.87	c #Conflicts:     260000 | #Constraints:     637921
966.96/969.87	c #Conflicts:     261000 | #Constraints:     638921
966.96/969.87	c #Conflicts:     262000 | #Constraints:     639921
966.96/969.87	c #Conflicts:     263000 | #Constraints:     640921
966.96/969.87	c #Conflicts:     264000 | #Constraints:     641921
966.96/969.87	c #Conflicts:     265000 | #Constraints:     642921
966.96/969.87	c #Conflicts:     266000 | #Constraints:     643921
966.96/969.87	c #Conflicts:     267000 | #Constraints:     644921
966.96/969.87	c #Conflicts:     268000 | #Constraints:     645921
966.96/969.87	c #Conflicts:     269000 | #Constraints:     646921
966.96/969.87	c #Conflicts:     270000 | #Constraints:     647921
966.96/969.87	c #Conflicts:     271000 | #Constraints:     648921
966.96/969.87	c #Conflicts:     272000 | #Constraints:     649921
966.96/969.87	c #Conflicts:     273000 | #Constraints:     650921
966.96/969.87	c #Conflicts:     274000 | #Constraints:     651921
966.96/969.87	c #Conflicts:     275000 | #Constraints:     652921
966.96/969.87	c #Conflicts:     276000 | #Constraints:     653921
966.96/969.87	c #Conflicts:     277000 | #Constraints:     654921
966.96/969.87	c #Conflicts:     278000 | #Constraints:     655921
966.96/969.87	c #Conflicts:     279000 | #Constraints:     656921
966.96/969.87	c #Conflicts:     280000 | #Constraints:     657921
966.96/969.87	c #Conflicts:     281000 | #Constraints:     658921
966.96/969.87	c #Conflicts:     282000 | #Constraints:     659921
966.96/969.87	c #Conflicts:     283000 | #Constraints:     660921
966.96/969.87	c #Conflicts:     284000 | #Constraints:     661921
966.96/969.87	c #Conflicts:     285000 | #Constraints:     662921
966.96/969.87	c #Conflicts:     286000 | #Constraints:     663921
966.96/969.87	c #Conflicts:     287000 | #Constraints:     664921
966.96/969.87	c #Conflicts:     288000 | #Constraints:     665921
966.96/969.87	c #Conflicts:     289000 | #Constraints:     666921
966.96/969.87	c #Conflicts:     290000 | #Constraints:     667921
966.96/969.87	c INPROCESSING
966.96/969.87	c GARBAGE COLLECT
966.96/969.87	c rational objective 5210.62
1106.30/1109.54	c #Conflicts:     291000 | #Constraints:     636867
1106.30/1109.54	c #Conflicts:     292000 | #Constraints:     637867
1106.30/1109.54	c #Conflicts:     293000 | #Constraints:     638867
1106.30/1109.54	c #Conflicts:     294000 | #Constraints:     639867
1106.30/1109.54	c #Conflicts:     295000 | #Constraints:     640867
1106.30/1109.54	c #Conflicts:     296000 | #Constraints:     641867
1106.30/1109.54	c #Conflicts:     297000 | #Constraints:     642867
1106.30/1109.54	c #Conflicts:     298000 | #Constraints:     643867
1106.30/1109.54	c #Conflicts:     299000 | #Constraints:     644867
1106.30/1109.54	c #Conflicts:     300000 | #Constraints:     645867
1106.30/1109.54	c #Conflicts:     301000 | #Constraints:     646867
1106.30/1109.54	c #Conflicts:     302000 | #Constraints:     647867
1106.30/1109.54	c #Conflicts:     303000 | #Constraints:     648867
1106.30/1109.54	c #Conflicts:     304000 | #Constraints:     649867
1106.30/1109.54	c #Conflicts:     305000 | #Constraints:     650867
1106.30/1109.54	c #Conflicts:     306000 | #Constraints:     651867
1106.30/1109.54	c #Conflicts:     307000 | #Constraints:     652867
1106.30/1109.54	c #Conflicts:     308000 | #Constraints:     653867
1106.30/1109.54	c #Conflicts:     309000 | #Constraints:     654867
1106.30/1109.54	c #Conflicts:     310000 | #Constraints:     655867
1106.30/1109.54	c #Conflicts:     311000 | #Constraints:     656867
1106.30/1109.54	c #Conflicts:     312000 | #Constraints:     657867
1106.30/1109.54	c #Conflicts:     313000 | #Constraints:     658867
1106.30/1109.54	c #Conflicts:     314000 | #Constraints:     659867
1106.30/1109.54	c #Conflicts:     315000 | #Constraints:     660867
1106.30/1109.54	c #Conflicts:     316000 | #Constraints:     661867
1106.30/1109.54	c #Conflicts:     317000 | #Constraints:     662867
1106.30/1109.54	c #Conflicts:     318000 | #Constraints:     663867
1106.30/1109.54	c #Conflicts:     319000 | #Constraints:     664867
1106.30/1109.54	c #Conflicts:     320000 | #Constraints:     665867
1106.30/1109.54	c #Conflicts:     321000 | #Constraints:     666867
1106.30/1109.54	c #Conflicts:     322000 | #Constraints:     667867
1106.30/1109.54	c #Conflicts:     323000 | #Constraints:     668867
1106.30/1109.54	c #Conflicts:     324000 | #Constraints:     669867
1106.30/1109.54	c #Conflicts:     325000 | #Constraints:     670867
1106.30/1109.54	c INPROCESSING
1106.30/1109.54	c GARBAGE COLLECT
1106.30/1109.54	c rational objective 5237.97
1192.27/1195.79	c #Conflicts:     326000 | #Constraints:     638431
1192.27/1195.79	c #Conflicts:     327000 | #Constraints:     639431
1192.27/1195.79	c #Conflicts:     328000 | #Constraints:     640431
1192.27/1195.79	c #Conflicts:     329000 | #Constraints:     641431
1192.27/1195.79	c #Conflicts:     330000 | #Constraints:     642431
1192.27/1195.79	c #Conflicts:     331000 | #Constraints:     643431
1192.27/1195.79	c #Conflicts:     332000 | #Constraints:     644431
1192.27/1195.79	c #Conflicts:     333000 | #Constraints:     645431
1192.27/1195.79	c #Conflicts:     334000 | #Constraints:     646431
1192.27/1195.79	c #Conflicts:     335000 | #Constraints:     647431
1192.27/1195.79	c #Conflicts:     336000 | #Constraints:     648431
1192.27/1195.79	c #Conflicts:     337000 | #Constraints:     649431
1192.27/1195.79	c #Conflicts:     338000 | #Constraints:     650431
1192.27/1195.79	c #Conflicts:     339000 | #Constraints:     651431
1192.27/1195.79	c #Conflicts:     340000 | #Constraints:     652431
1192.27/1195.79	c #Conflicts:     341000 | #Constraints:     653431
1192.27/1195.79	c #Conflicts:     342000 | #Constraints:     654431
1192.27/1195.79	c #Conflicts:     343000 | #Constraints:     655431
1192.27/1195.79	c #Conflicts:     344000 | #Constraints:     656431
1192.27/1195.79	c #Conflicts:     345000 | #Constraints:     657431
1192.27/1195.79	c #Conflicts:     346000 | #Constraints:     658431
1192.27/1195.79	c #Conflicts:     347000 | #Constraints:     659431
1192.27/1195.79	c #Conflicts:     348000 | #Constraints:     660431
1192.27/1195.79	c #Conflicts:     349000 | #Constraints:     661431
1192.27/1195.79	c #Conflicts:     350000 | #Constraints:     662431
1192.27/1195.79	c #Conflicts:     351000 | #Constraints:     663431
1192.27/1195.79	c #Conflicts:     352000 | #Constraints:     664431
1192.27/1195.79	c #Conflicts:     353000 | #Constraints:     665431
1192.27/1195.79	c #Conflicts:     354000 | #Constraints:     666431
1192.27/1195.79	c #Conflicts:     355000 | #Constraints:     667431
1192.27/1195.79	c #Conflicts:     356000 | #Constraints:     668431
1192.27/1195.79	c #Conflicts:     357000 | #Constraints:     669431
1192.27/1195.79	c #Conflicts:     358000 | #Constraints:     670431
1192.27/1195.79	c #Conflicts:     359000 | #Constraints:     671431
1192.27/1195.79	c #Conflicts:     360000 | #Constraints:     672431
1192.27/1195.79	c #Conflicts:     361000 | #Constraints:     673431
1192.27/1195.79	c #Conflicts:     362000 | #Constraints:     674431
1192.27/1195.79	c INPROCESSING
1192.27/1195.79	c GARBAGE COLLECT
1192.27/1195.79	c rational objective 5248.78
1305.98/1309.77	c #Conflicts:     363000 | #Constraints:     640539
1305.98/1309.77	c #Conflicts:     364000 | #Constraints:     641539
1305.98/1309.77	c #Conflicts:     365000 | #Constraints:     642539
1305.98/1309.77	c #Conflicts:     366000 | #Constraints:     643539
1305.98/1309.77	c #Conflicts:     367000 | #Constraints:     644539
1305.98/1309.77	c #Conflicts:     368000 | #Constraints:     645539
1305.98/1309.77	c #Conflicts:     369000 | #Constraints:     646539
1305.98/1309.77	c #Conflicts:     370000 | #Constraints:     647539
1305.98/1309.77	c #Conflicts:     371000 | #Constraints:     648539
1305.98/1309.77	c #Conflicts:     372000 | #Constraints:     649539
1305.98/1309.77	c #Conflicts:     373000 | #Constraints:     650539
1305.98/1309.77	c #Conflicts:     374000 | #Constraints:     651539
1305.98/1309.77	c #Conflicts:     375000 | #Constraints:     652539
1305.98/1309.77	c #Conflicts:     376000 | #Constraints:     653539
1305.98/1309.77	c #Conflicts:     377000 | #Constraints:     654539
1305.98/1309.77	c #Conflicts:     378000 | #Constraints:     655539
1305.98/1309.77	c #Conflicts:     379000 | #Constraints:     656539
1305.98/1309.77	c #Conflicts:     380000 | #Constraints:     657539
1305.98/1309.77	c #Conflicts:     381000 | #Constraints:     658539
1305.98/1309.77	c #Conflicts:     382000 | #Constraints:     659539
1305.98/1309.77	c #Conflicts:     383000 | #Constraints:     660539
1305.98/1309.77	c #Conflicts:     384000 | #Constraints:     661539
1305.98/1309.77	c #Conflicts:     385000 | #Constraints:     662539
1305.98/1309.77	c #Conflicts:     386000 | #Constraints:     663539
1305.98/1309.77	c #Conflicts:     387000 | #Constraints:     664539
1305.98/1309.77	c #Conflicts:     388000 | #Constraints:     665539
1305.98/1309.77	c #Conflicts:     389000 | #Constraints:     666539
1305.98/1309.77	c #Conflicts:     390000 | #Constraints:     667539
1305.98/1309.77	c #Conflicts:     391000 | #Constraints:     668539
1305.98/1309.77	c #Conflicts:     392000 | #Constraints:     669539
1305.98/1309.77	c #Conflicts:     393000 | #Constraints:     670539
1305.98/1309.77	c #Conflicts:     394000 | #Constraints:     671539
1305.98/1309.77	c #Conflicts:     395000 | #Constraints:     672539
1305.98/1309.77	c #Conflicts:     396000 | #Constraints:     673539
1305.98/1309.77	c #Conflicts:     397000 | #Constraints:     674539
1305.98/1309.77	c #Conflicts:     398000 | #Constraints:     675539
1305.98/1309.77	c #Conflicts:     399000 | #Constraints:     676539
1305.98/1309.77	c #Conflicts:     400000 | #Constraints:     677539
1305.98/1309.77	c #Conflicts:     401000 | #Constraints:     678539
1305.98/1309.77	c #Conflicts:     402000 | #Constraints:     679539
1305.98/1309.77	c INPROCESSING
1305.98/1309.77	c GARBAGE COLLECT
1305.98/1309.77	c rational objective 5259.64
1484.91/1489.23	c #Conflicts:     403000 | #Constraints:     643449
1484.91/1489.23	c #Conflicts:     404000 | #Constraints:     644449
1484.91/1489.23	c #Conflicts:     405000 | #Constraints:     645449
1484.91/1489.23	c #Conflicts:     406000 | #Constraints:     646449
1484.91/1489.23	c #Conflicts:     407000 | #Constraints:     647449
1484.91/1489.23	c #Conflicts:     408000 | #Constraints:     648449
1484.91/1489.23	c #Conflicts:     409000 | #Constraints:     649449
1484.91/1489.23	c #Conflicts:     410000 | #Constraints:     650449
1484.91/1489.23	c #Conflicts:     411000 | #Constraints:     651449
1484.91/1489.23	c #Conflicts:     412000 | #Constraints:     652449
1484.91/1489.23	c #Conflicts:     413000 | #Constraints:     653449
1484.91/1489.23	c #Conflicts:     414000 | #Constraints:     654449
1484.91/1489.23	c #Conflicts:     415000 | #Constraints:     655449
1484.91/1489.23	c #Conflicts:     416000 | #Constraints:     656449
1484.91/1489.23	c #Conflicts:     417000 | #Constraints:     657449
1484.91/1489.23	c #Conflicts:     418000 | #Constraints:     658449
1484.91/1489.23	c #Conflicts:     419000 | #Constraints:     659449
1484.91/1489.23	c #Conflicts:     420000 | #Constraints:     660449
1484.91/1489.23	c #Conflicts:     421000 | #Constraints:     661449
1484.91/1489.23	c #Conflicts:     422000 | #Constraints:     662449
1484.91/1489.23	c #Conflicts:     423000 | #Constraints:     663449
1484.91/1489.23	c #Conflicts:     424000 | #Constraints:     664449
1484.91/1489.23	c #Conflicts:     425000 | #Constraints:     665449
1484.91/1489.23	c #Conflicts:     426000 | #Constraints:     666449
1484.91/1489.23	c #Conflicts:     427000 | #Constraints:     667449
1484.91/1489.23	c #Conflicts:     428000 | #Constraints:     668449
1484.91/1489.23	c #Conflicts:     429000 | #Constraints:     669449
1484.91/1489.23	c #Conflicts:     430000 | #Constraints:     670449
1484.91/1489.23	c #Conflicts:     431000 | #Constraints:     671449
1484.91/1489.23	c #Conflicts:     432000 | #Constraints:     672449
1484.91/1489.23	c #Conflicts:     433000 | #Constraints:     673449
1484.91/1489.23	c #Conflicts:     434000 | #Constraints:     674449
1484.91/1489.23	c #Conflicts:     435000 | #Constraints:     675449
1484.91/1489.23	c #Conflicts:     436000 | #Constraints:     676449
1484.91/1489.23	c #Conflicts:     437000 | #Constraints:     677449
1484.91/1489.23	c #Conflicts:     438000 | #Constraints:     678449
1484.91/1489.23	c #Conflicts:     439000 | #Constraints:     679449
1484.91/1489.23	c #Conflicts:     440000 | #Constraints:     680449
1484.91/1489.23	c #Conflicts:     441000 | #Constraints:     681449
1484.91/1489.23	c #Conflicts:     442000 | #Constraints:     682449
1484.91/1489.23	c #Conflicts:     443000 | #Constraints:     683449
1484.91/1489.23	c INPROCESSING
1484.91/1489.23	c GARBAGE COLLECT
1484.91/1489.23	c rational objective 5270.79
1570.15/1574.75	c #Conflicts:     444000 | #Constraints:     645549
1570.15/1574.75	c #Conflicts:     445000 | #Constraints:     646549
1570.15/1574.75	c #Conflicts:     446000 | #Constraints:     647549
1570.15/1574.75	c #Conflicts:     447000 | #Constraints:     648549
1570.15/1574.75	c #Conflicts:     448000 | #Constraints:     649549
1570.15/1574.75	c #Conflicts:     449000 | #Constraints:     650549
1570.15/1574.75	c #Conflicts:     450000 | #Constraints:     651549
1570.15/1574.75	c #Conflicts:     451000 | #Constraints:     652549
1570.15/1574.75	c #Conflicts:     452000 | #Constraints:     653549
1570.15/1574.75	c #Conflicts:     453000 | #Constraints:     654549
1570.15/1574.75	c #Conflicts:     454000 | #Constraints:     655549
1570.15/1574.75	c #Conflicts:     455000 | #Constraints:     656549
1570.15/1574.75	c #Conflicts:     456000 | #Constraints:     657549
1570.15/1574.75	c #Conflicts:     457000 | #Constraints:     658549
1570.15/1574.75	c #Conflicts:     458000 | #Constraints:     659549
1570.15/1574.75	c #Conflicts:     459000 | #Constraints:     660549
1570.15/1574.75	c #Conflicts:     460000 | #Constraints:     661549
1570.15/1574.75	c #Conflicts:     461000 | #Constraints:     662549
1570.15/1574.75	c #Conflicts:     462000 | #Constraints:     663549
1570.15/1574.75	c #Conflicts:     463000 | #Constraints:     664549
1570.15/1574.75	c #Conflicts:     464000 | #Constraints:     665549
1570.15/1574.75	c #Conflicts:     465000 | #Constraints:     666549
1570.15/1574.75	c #Conflicts:     466000 | #Constraints:     667549
1570.15/1574.75	c #Conflicts:     467000 | #Constraints:     668549
1570.15/1574.75	c #Conflicts:     468000 | #Constraints:     669549
1570.15/1574.75	c #Conflicts:     469000 | #Constraints:     670549
1570.15/1574.75	c #Conflicts:     470000 | #Constraints:     671549
1570.15/1574.75	c #Conflicts:     471000 | #Constraints:     672549
1570.15/1574.75	c #Conflicts:     472000 | #Constraints:     673549
1570.15/1574.75	c #Conflicts:     473000 | #Constraints:     674549
1570.15/1574.75	c #Conflicts:     474000 | #Constraints:     675549
1570.15/1574.75	c #Conflicts:     475000 | #Constraints:     676549
1570.15/1574.75	c #Conflicts:     476000 | #Constraints:     677549
1570.15/1574.75	c #Conflicts:     477000 | #Constraints:     678549
1570.15/1574.75	c #Conflicts:     478000 | #Constraints:     679549
1570.15/1574.75	c #Conflicts:     479000 | #Constraints:     680549
1570.15/1574.75	c #Conflicts:     480000 | #Constraints:     681549
1570.15/1574.75	c #Conflicts:     481000 | #Constraints:     682549
1570.15/1574.75	c #Conflicts:     482000 | #Constraints:     683549
1570.15/1574.75	c #Conflicts:     483000 | #Constraints:     684549
1570.15/1574.75	c #Conflicts:     484000 | #Constraints:     685549
1570.15/1574.75	c #Conflicts:     485000 | #Constraints:     686549
1570.15/1574.75	c #Conflicts:     486000 | #Constraints:     687549
1570.15/1574.75	c INPROCESSING
1570.15/1574.75	c GARBAGE COLLECT
1570.15/1574.75	c rational objective 5279.39
1730.65/1735.77	c #Conflicts:     487000 | #Constraints:     647527
1730.65/1735.77	c #Conflicts:     488000 | #Constraints:     648527
1730.65/1735.77	c #Conflicts:     489000 | #Constraints:     649527
1730.65/1735.77	c #Conflicts:     490000 | #Constraints:     650527
1730.65/1735.77	c #Conflicts:     491000 | #Constraints:     651527
1730.65/1735.77	c #Conflicts:     492000 | #Constraints:     652527
1730.65/1735.77	c #Conflicts:     493000 | #Constraints:     653527
1730.65/1735.77	c #Conflicts:     494000 | #Constraints:     654527
1730.65/1735.77	c #Conflicts:     495000 | #Constraints:     655527
1730.65/1735.77	c #Conflicts:     496000 | #Constraints:     656527
1730.65/1735.77	c #Conflicts:     497000 | #Constraints:     657527
1730.65/1735.77	c #Conflicts:     498000 | #Constraints:     658527
1730.65/1735.77	c #Conflicts:     499000 | #Constraints:     659527
1730.65/1735.77	c #Conflicts:     500000 | #Constraints:     660527
1730.65/1735.77	c #Conflicts:     501000 | #Constraints:     661527
1730.65/1735.77	c #Conflicts:     502000 | #Constraints:     662527
1730.65/1735.77	c #Conflicts:     503000 | #Constraints:     663527
1730.65/1735.77	c #Conflicts:     504000 | #Constraints:     664527
1730.65/1735.77	c #Conflicts:     505000 | #Constraints:     665527
1730.65/1735.77	c #Conflicts:     506000 | #Constraints:     666527
1730.65/1735.77	c #Conflicts:     507000 | #Constraints:     667527
1730.65/1735.77	c #Conflicts:     508000 | #Constraints:     668527
1730.65/1735.77	c #Conflicts:     509000 | #Constraints:     669527
1730.65/1735.77	c #Conflicts:     510000 | #Constraints:     670527
1730.65/1735.77	c #Conflicts:     511000 | #Constraints:     671527
1730.65/1735.77	c #Conflicts:     512000 | #Constraints:     672527
1730.65/1735.77	c #Conflicts:     513000 | #Constraints:     673527
1730.65/1735.77	c #Conflicts:     514000 | #Constraints:     674527
1730.65/1735.77	c #Conflicts:     515000 | #Constraints:     675527
1730.65/1735.77	c #Conflicts:     516000 | #Constraints:     676527
1730.65/1735.77	c #Conflicts:     517000 | #Constraints:     677527
1730.65/1735.77	c #Conflicts:     518000 | #Constraints:     678527
1730.65/1735.77	c #Conflicts:     519000 | #Constraints:     679527
1730.65/1735.77	c #Conflicts:     520000 | #Constraints:     680527
1730.65/1735.77	c #Conflicts:     521000 | #Constraints:     681527
1730.65/1735.77	c #Conflicts:     522000 | #Constraints:     682527
1730.65/1735.77	c #Conflicts:     523000 | #Constraints:     683527
1730.65/1735.77	c #Conflicts:     524000 | #Constraints:     684527
1730.65/1735.77	c #Conflicts:     525000 | #Constraints:     685527
1730.65/1735.77	c #Conflicts:     526000 | #Constraints:     686527
1730.65/1735.77	c #Conflicts:     527000 | #Constraints:     687527
1730.65/1735.77	c #Conflicts:     528000 | #Constraints:     688527
1730.65/1735.77	c #Conflicts:     529000 | #Constraints:     689527
1730.65/1735.77	c #Conflicts:     530000 | #Constraints:     690527
1730.65/1735.77	c #Conflicts:     531000 | #Constraints:     691527
1730.65/1735.77	c INPROCESSING
1730.65/1735.77	c GARBAGE COLLECT
1730.65/1735.77	c rational objective 5284.81
1809.49/1814.87	c #Conflicts:     532000 | #Constraints:     649271
1809.49/1814.87	c #Conflicts:     533000 | #Constraints:     650271
1809.49/1814.87	c #Conflicts:     534000 | #Constraints:     651271
1809.49/1814.87	c #Conflicts:     535000 | #Constraints:     652271
1809.49/1814.87	c #Conflicts:     536000 | #Constraints:     653271
1809.49/1814.87	c #Conflicts:     537000 | #Constraints:     654271
1809.49/1814.87	c #Conflicts:     538000 | #Constraints:     655271
1809.49/1814.87	c #Conflicts:     539000 | #Constraints:     656271
1809.49/1814.87	c #Conflicts:     540000 | #Constraints:     657271
1809.49/1814.87	c #Conflicts:     541000 | #Constraints:     658271
1809.49/1814.87	c #Conflicts:     542000 | #Constraints:     659271
1809.49/1814.87	c #Conflicts:     543000 | #Constraints:     660271
1809.49/1814.87	c #Conflicts:     544000 | #Constraints:     661271
1809.49/1814.87	c #Conflicts:     545000 | #Constraints:     662271
1809.49/1814.87	c #Conflicts:     546000 | #Constraints:     663271
1809.49/1814.87	c #Conflicts:     547000 | #Constraints:     664271
1809.49/1814.87	c #Conflicts:     548000 | #Constraints:     665271
1809.49/1814.87	c #Conflicts:     549000 | #Constraints:     666271
1809.49/1814.87	c #Conflicts:     550000 | #Constraints:     667271
1809.49/1814.87	c #Conflicts:     551000 | #Constraints:     668271
1809.49/1814.87	c #Conflicts:     552000 | #Constraints:     669271
1809.49/1814.87	c #Conflicts:     553000 | #Constraints:     670271
1809.49/1814.87	c #Conflicts:     554000 | #Constraints:     671271
1809.49/1814.87	c #Conflicts:     555000 | #Constraints:     672271
1809.49/1814.87	c #Conflicts:     556000 | #Constraints:     673271
1809.49/1814.87	c #Conflicts:     557000 | #Constraints:     674271
1809.49/1814.87	c #Conflicts:     558000 | #Constraints:     675271
1809.49/1814.87	c #Conflicts:     559000 | #Constraints:     676271
1809.49/1814.87	c #Conflicts:     560000 | #Constraints:     677271
1809.49/1814.87	c #Conflicts:     561000 | #Constraints:     678271
1809.49/1814.87	c #Conflicts:     562000 | #Constraints:     679271
1809.49/1814.87	c #Conflicts:     563000 | #Constraints:     680271
1809.49/1814.87	c #Conflicts:     564000 | #Constraints:     681271
1809.49/1814.87	c #Conflicts:     565000 | #Constraints:     682271
1809.49/1814.87	c #Conflicts:     566000 | #Constraints:     683271
1809.49/1814.87	c #Conflicts:     567000 | #Constraints:     684271
1809.49/1814.87	c #Conflicts:     568000 | #Constraints:     685271
1809.49/1814.87	c #Conflicts:     569000 | #Constraints:     686271
1809.49/1814.87	c #Conflicts:     570000 | #Constraints:     687271
1809.49/1814.87	c #Conflicts:     571000 | #Constraints:     688271
1809.49/1814.87	c #Conflicts:     572000 | #Constraints:     689271
1809.49/1814.87	c #Conflicts:     573000 | #Constraints:     690271
1809.49/1814.87	c #Conflicts:     574000 | #Constraints:     691271
1809.49/1814.87	c #Conflicts:     575000 | #Constraints:     692271
1809.49/1814.87	c #Conflicts:     576000 | #Constraints:     693271
1809.49/1814.87	c #Conflicts:     577000 | #Constraints:     694271
1809.49/1814.87	c #Conflicts:     578000 | #Constraints:     695271
1809.49/1814.87	c INPROCESSING
1809.49/1814.87	c GARBAGE COLLECT
1809.49/1814.87	c rational objective 5292.12
1922.35/1928.03	c #Conflicts:     579000 | #Constraints:     651398
1922.35/1928.03	c #Conflicts:     580000 | #Constraints:     652398
1922.35/1928.03	c #Conflicts:     581000 | #Constraints:     653398
1922.35/1928.03	c #Conflicts:     582000 | #Constraints:     654398
1922.35/1928.03	c #Conflicts:     583000 | #Constraints:     655398
1922.35/1928.03	c #Conflicts:     584000 | #Constraints:     656398
1922.35/1928.03	c #Conflicts:     585000 | #Constraints:     657398
1922.35/1928.03	c #Conflicts:     586000 | #Constraints:     658398
1922.35/1928.03	c #Conflicts:     587000 | #Constraints:     659398
1922.35/1928.03	c #Conflicts:     588000 | #Constraints:     660398
1922.35/1928.03	c #Conflicts:     589000 | #Constraints:     661398
1922.35/1928.03	c #Conflicts:     590000 | #Constraints:     662398
1922.35/1928.03	c #Conflicts:     591000 | #Constraints:     663398
1922.35/1928.03	c #Conflicts:     592000 | #Constraints:     664398
1922.35/1928.03	c #Conflicts:     593000 | #Constraints:     665398
1922.35/1928.03	c #Conflicts:     594000 | #Constraints:     666398
1922.35/1928.03	c #Conflicts:     595000 | #Constraints:     667398
1922.35/1928.03	c #Conflicts:     596000 | #Constraints:     668398
1922.35/1928.03	c #Conflicts:     597000 | #Constraints:     669398
1922.35/1928.03	c #Conflicts:     598000 | #Constraints:     670398
1922.35/1928.03	c #Conflicts:     599000 | #Constraints:     671398
1922.35/1928.03	c #Conflicts:     600000 | #Constraints:     672398
1922.35/1928.03	c #Conflicts:     601000 | #Constraints:     673398
1922.35/1928.03	c #Conflicts:     602000 | #Constraints:     674398
1922.35/1928.03	c #Conflicts:     603000 | #Constraints:     675398
1922.35/1928.03	c #Conflicts:     604000 | #Constraints:     676398
1922.35/1928.03	c #Conflicts:     605000 | #Constraints:     677398
1922.35/1928.03	c #Conflicts:     606000 | #Constraints:     678398
1922.35/1928.03	c #Conflicts:     607000 | #Constraints:     679398
1922.35/1928.03	c #Conflicts:     608000 | #Constraints:     680398
1922.35/1928.03	c #Conflicts:     609000 | #Constraints:     681398
1922.35/1928.03	c #Conflicts:     610000 | #Constraints:     682398
1922.35/1928.03	c #Conflicts:     611000 | #Constraints:     683398
1922.35/1928.03	c #Conflicts:     612000 | #Constraints:     684398
1922.35/1928.03	c #Conflicts:     613000 | #Constraints:     685398
1922.35/1928.03	c #Conflicts:     614000 | #Constraints:     686398
1922.35/1928.03	c #Conflicts:     615000 | #Constraints:     687398
1922.35/1928.03	c #Conflicts:     616000 | #Constraints:     688398
1922.35/1928.03	c #Conflicts:     617000 | #Constraints:     689398
1922.35/1928.03	c #Conflicts:     618000 | #Constraints:     690398
1922.35/1928.03	c #Conflicts:     619000 | #Constraints:     691398
1922.35/1928.03	c #Conflicts:     620000 | #Constraints:     692398
1922.35/1928.03	c #Conflicts:     621000 | #Constraints:     693398
1922.35/1928.03	c #Conflicts:     622000 | #Constraints:     694398
1922.35/1928.03	c #Conflicts:     623000 | #Constraints:     695398
1922.35/1928.03	c #Conflicts:     624000 | #Constraints:     696398
1922.35/1928.03	c #Conflicts:     625000 | #Constraints:     697398
1922.35/1928.03	c #Conflicts:     626000 | #Constraints:     698398
1922.35/1928.03	c #Conflicts:     627000 | #Constraints:     699398
1922.35/1928.03	c INPROCESSING
1922.35/1928.03	c GARBAGE COLLECT
1922.35/1928.03	c rational objective 5552.53
2025.23/2031.24	c #Conflicts:     628000 | #Constraints:     637887
2025.23/2031.24	c #Conflicts:     629000 | #Constraints:     638887
2025.23/2031.24	c #Conflicts:     630000 | #Constraints:     639887
2025.23/2031.24	c #Conflicts:     631000 | #Constraints:     640887
2025.23/2031.24	c #Conflicts:     632000 | #Constraints:     641887
2025.23/2031.24	c #Conflicts:     633000 | #Constraints:     642887
2025.23/2031.24	c #Conflicts:     634000 | #Constraints:     643887
2025.23/2031.24	c #Conflicts:     635000 | #Constraints:     644887
2025.23/2031.24	c #Conflicts:     636000 | #Constraints:     645887
2025.23/2031.24	c #Conflicts:     637000 | #Constraints:     646887
2025.23/2031.24	c #Conflicts:     638000 | #Constraints:     647887
2025.23/2031.24	c #Conflicts:     639000 | #Constraints:     648887
2025.23/2031.24	c #Conflicts:     640000 | #Constraints:     649887
2025.23/2031.24	c #Conflicts:     641000 | #Constraints:     650887
2025.23/2031.24	c #Conflicts:     642000 | #Constraints:     651887
2025.23/2031.24	c #Conflicts:     643000 | #Constraints:     652887
2025.23/2031.24	c #Conflicts:     644000 | #Constraints:     653887
2025.23/2031.24	c #Conflicts:     645000 | #Constraints:     654887
2025.23/2031.24	c #Conflicts:     646000 | #Constraints:     655887
2025.23/2031.24	c #Conflicts:     647000 | #Constraints:     656887
2025.23/2031.24	c #Conflicts:     648000 | #Constraints:     657887
2025.23/2031.24	c #Conflicts:     649000 | #Constraints:     658887
2025.23/2031.24	c #Conflicts:     650000 | #Constraints:     659887
2025.23/2031.24	c #Conflicts:     651000 | #Constraints:     660887
2025.23/2031.24	c #Conflicts:     652000 | #Constraints:     661887
2025.23/2031.24	c #Conflicts:     653000 | #Constraints:     662887
2025.23/2031.24	c #Conflicts:     654000 | #Constraints:     663887
2025.23/2031.24	c #Conflicts:     655000 | #Constraints:     664887
2025.23/2031.24	c #Conflicts:     656000 | #Constraints:     665887
2025.23/2031.24	c #Conflicts:     657000 | #Constraints:     666887
2025.23/2031.24	c #Conflicts:     658000 | #Constraints:     667887
2025.23/2031.24	c #Conflicts:     659000 | #Constraints:     668887
2025.23/2031.24	c #Conflicts:     660000 | #Constraints:     669887
2025.23/2031.24	c #Conflicts:     661000 | #Constraints:     670887
2025.23/2031.24	c #Conflicts:     662000 | #Constraints:     671887
2025.23/2031.24	c #Conflicts:     663000 | #Constraints:     672887
2025.23/2031.24	c #Conflicts:     664000 | #Constraints:     673887
2025.23/2031.24	c #Conflicts:     665000 | #Constraints:     674887
2025.23/2031.24	c #Conflicts:     666000 | #Constraints:     675887
2025.23/2031.24	c #Conflicts:     667000 | #Constraints:     676887
2025.23/2031.24	c #Conflicts:     668000 | #Constraints:     677887
2025.23/2031.24	c #Conflicts:     669000 | #Constraints:     678887
2025.23/2031.24	c #Conflicts:     670000 | #Constraints:     679887
2025.23/2031.24	c #Conflicts:     671000 | #Constraints:     680887
2025.23/2031.24	c #Conflicts:     672000 | #Constraints:     681887
2025.23/2031.24	c #Conflicts:     673000 | #Constraints:     682887
2025.23/2031.24	c #Conflicts:     674000 | #Constraints:     683887
2025.23/2031.24	c #Conflicts:     675000 | #Constraints:     684887
2025.23/2031.24	c #Conflicts:     676000 | #Constraints:     685887
2025.23/2031.24	c #Conflicts:     677000 | #Constraints:     686887
2025.23/2031.24	c #Conflicts:     678000 | #Constraints:     687887
2025.23/2031.24	c INPROCESSING
2025.23/2031.24	c GARBAGE COLLECT
2025.23/2031.24	c rational objective 5560.79
2139.27/2145.60	c #Conflicts:     679000 | #Constraints:     640465
2139.27/2145.60	c #Conflicts:     680000 | #Constraints:     641465
2139.27/2145.60	c #Conflicts:     681000 | #Constraints:     642465
2139.27/2145.60	c #Conflicts:     682000 | #Constraints:     643465
2139.27/2145.60	c #Conflicts:     683000 | #Constraints:     644465
2139.27/2145.60	c #Conflicts:     684000 | #Constraints:     645465
2139.27/2145.60	c #Conflicts:     685000 | #Constraints:     646465
2139.27/2145.60	c #Conflicts:     686000 | #Constraints:     647465
2139.27/2145.60	c #Conflicts:     687000 | #Constraints:     648465
2139.27/2145.60	c #Conflicts:     688000 | #Constraints:     649465
2139.27/2145.60	c #Conflicts:     689000 | #Constraints:     650465
2139.27/2145.60	c #Conflicts:     690000 | #Constraints:     651465
2139.27/2145.60	c #Conflicts:     691000 | #Constraints:     652465
2139.27/2145.60	c #Conflicts:     692000 | #Constraints:     653465
2139.27/2145.60	c #Conflicts:     693000 | #Constraints:     654465
2139.27/2145.60	c #Conflicts:     694000 | #Constraints:     655465
2139.27/2145.60	c #Conflicts:     695000 | #Constraints:     656465
2139.27/2145.60	c #Conflicts:     696000 | #Constraints:     657465
2139.27/2145.60	c #Conflicts:     697000 | #Constraints:     658465
2139.27/2145.60	c #Conflicts:     698000 | #Constraints:     659465
2139.27/2145.60	c #Conflicts:     699000 | #Constraints:     660465
2139.27/2145.60	c #Conflicts:     700000 | #Constraints:     661465
2139.27/2145.60	c #Conflicts:     701000 | #Constraints:     662465
2139.27/2145.60	c #Conflicts:     702000 | #Constraints:     663465
2139.27/2145.60	c #Conflicts:     703000 | #Constraints:     664465
2139.27/2145.60	c #Conflicts:     704000 | #Constraints:     665465
2139.27/2145.60	c #Conflicts:     705000 | #Constraints:     666465
2139.27/2145.60	c #Conflicts:     706000 | #Constraints:     667465
2139.27/2145.60	c #Conflicts:     707000 | #Constraints:     668465
2139.27/2145.60	c #Conflicts:     708000 | #Constraints:     669465
2139.27/2145.60	c #Conflicts:     709000 | #Constraints:     670465
2139.27/2145.60	c #Conflicts:     710000 | #Constraints:     671465
2139.27/2145.60	c #Conflicts:     711000 | #Constraints:     672465
2139.27/2145.60	c #Conflicts:     712000 | #Constraints:     673465
2139.27/2145.60	c #Conflicts:     713000 | #Constraints:     674465
2139.27/2145.60	c #Conflicts:     714000 | #Constraints:     675465
2139.27/2145.60	c #Conflicts:     715000 | #Constraints:     676465
2139.27/2145.60	c #Conflicts:     716000 | #Constraints:     677465
2139.27/2145.60	c #Conflicts:     717000 | #Constraints:     678465
2139.27/2145.60	c #Conflicts:     718000 | #Constraints:     679465
2139.27/2145.60	c #Conflicts:     719000 | #Constraints:     680465
2139.27/2145.60	c #Conflicts:     720000 | #Constraints:     681465
2139.27/2145.60	c #Conflicts:     721000 | #Constraints:     682465
2139.27/2145.60	c #Conflicts:     722000 | #Constraints:     683465
2139.27/2145.60	c #Conflicts:     723000 | #Constraints:     684465
2139.27/2145.60	c #Conflicts:     724000 | #Constraints:     685465
2139.27/2145.60	c #Conflicts:     725000 | #Constraints:     686465
2139.27/2145.60	c #Conflicts:     726000 | #Constraints:     687465
2139.27/2145.60	c #Conflicts:     727000 | #Constraints:     688465
2139.27/2145.60	c #Conflicts:     728000 | #Constraints:     689465
2139.27/2145.60	c #Conflicts:     729000 | #Constraints:     690465
2139.27/2145.60	c #Conflicts:     730000 | #Constraints:     691465
2139.27/2145.60	c #Conflicts:     731000 | #Constraints:     692465
2139.27/2145.60	c INPROCESSING
2139.27/2145.60	c GARBAGE COLLECT
2139.27/2145.60	c rational objective 5566.52
2254.38/2261.05	c #Conflicts:     732000 | #Constraints:     642506
2254.38/2261.05	c #Conflicts:     733000 | #Constraints:     643506
2254.38/2261.05	c #Conflicts:     734000 | #Constraints:     644506
2254.38/2261.05	c #Conflicts:     735000 | #Constraints:     645506
2254.38/2261.05	c #Conflicts:     736000 | #Constraints:     646506
2254.38/2261.05	c #Conflicts:     737000 | #Constraints:     647506
2254.38/2261.05	c #Conflicts:     738000 | #Constraints:     648506
2254.38/2261.05	c #Conflicts:     739000 | #Constraints:     649506
2254.38/2261.05	c #Conflicts:     740000 | #Constraints:     650506
2254.38/2261.05	c #Conflicts:     741000 | #Constraints:     651506
2254.38/2261.05	c #Conflicts:     742000 | #Constraints:     652506
2254.38/2261.05	c #Conflicts:     743000 | #Constraints:     653506
2254.38/2261.05	c #Conflicts:     744000 | #Constraints:     654506
2254.38/2261.05	c #Conflicts:     745000 | #Constraints:     655506
2254.38/2261.05	c #Conflicts:     746000 | #Constraints:     656506
2254.38/2261.05	c #Conflicts:     747000 | #Constraints:     657506
2254.38/2261.05	c #Conflicts:     748000 | #Constraints:     658506
2254.38/2261.05	c #Conflicts:     749000 | #Constraints:     659506
2254.38/2261.05	c #Conflicts:     750000 | #Constraints:     660506
2254.38/2261.05	c #Conflicts:     751000 | #Constraints:     661506
2254.38/2261.05	c #Conflicts:     752000 | #Constraints:     662506
2254.38/2261.05	c #Conflicts:     753000 | #Constraints:     663506
2254.38/2261.05	c #Conflicts:     754000 | #Constraints:     664506
2254.38/2261.05	c #Conflicts:     755000 | #Constraints:     665506
2254.38/2261.05	c #Conflicts:     756000 | #Constraints:     666506
2254.38/2261.05	c #Conflicts:     757000 | #Constraints:     667506
2254.38/2261.05	c #Conflicts:     758000 | #Constraints:     668506
2254.38/2261.05	c #Conflicts:     759000 | #Constraints:     669506
2254.38/2261.05	c #Conflicts:     760000 | #Constraints:     670506
2254.38/2261.05	c #Conflicts:     761000 | #Constraints:     671506
2254.38/2261.05	c #Conflicts:     762000 | #Constraints:     672506
2254.38/2261.05	c #Conflicts:     763000 | #Constraints:     673506
2254.38/2261.05	c #Conflicts:     764000 | #Constraints:     674506
2254.38/2261.05	c #Conflicts:     765000 | #Constraints:     675506
2254.38/2261.05	c #Conflicts:     766000 | #Constraints:     676506
2254.38/2261.05	c #Conflicts:     767000 | #Constraints:     677506
2254.38/2261.05	c #Conflicts:     768000 | #Constraints:     678506
2254.38/2261.05	c #Conflicts:     769000 | #Constraints:     679506
2254.38/2261.05	c #Conflicts:     770000 | #Constraints:     680506
2254.38/2261.05	c #Conflicts:     771000 | #Constraints:     681506
2254.38/2261.05	c #Conflicts:     772000 | #Constraints:     682506
2254.38/2261.05	c #Conflicts:     773000 | #Constraints:     683506
2254.38/2261.05	c #Conflicts:     774000 | #Constraints:     684506
2254.38/2261.05	c #Conflicts:     775000 | #Constraints:     685506
2254.38/2261.05	c #Conflicts:     776000 | #Constraints:     686506
2254.38/2261.05	c #Conflicts:     777000 | #Constraints:     687506
2254.38/2261.05	c #Conflicts:     778000 | #Constraints:     688506
2254.38/2261.05	c #Conflicts:     779000 | #Constraints:     689506
2254.38/2261.05	c #Conflicts:     780000 | #Constraints:     690506
2254.38/2261.05	c #Conflicts:     781000 | #Constraints:     691506
2254.38/2261.05	c #Conflicts:     782000 | #Constraints:     692506
2254.38/2261.05	c #Conflicts:     783000 | #Constraints:     693506
2254.38/2261.05	c #Conflicts:     784000 | #Constraints:     694506
2254.38/2261.05	c #Conflicts:     785000 | #Constraints:     695506
2254.38/2261.05	c #Conflicts:     786000 | #Constraints:     696506
2254.38/2261.05	c INPROCESSING
2254.38/2261.05	c GARBAGE COLLECT
2254.38/2261.05	c rational objective 5569.8
2441.39/2448.50	c #Conflicts:     787000 | #Constraints:     644462
2441.39/2448.50	c #Conflicts:     788000 | #Constraints:     645462
2441.39/2448.50	c #Conflicts:     789000 | #Constraints:     646462
2441.39/2448.50	c #Conflicts:     790000 | #Constraints:     647462
2441.39/2448.50	c #Conflicts:     791000 | #Constraints:     648462
2441.39/2448.50	c #Conflicts:     792000 | #Constraints:     649462
2441.39/2448.50	c #Conflicts:     793000 | #Constraints:     650462
2441.39/2448.50	c #Conflicts:     794000 | #Constraints:     651462
2441.39/2448.50	c #Conflicts:     795000 | #Constraints:     652462
2441.39/2448.50	c #Conflicts:     796000 | #Constraints:     653462
2441.39/2448.50	c #Conflicts:     797000 | #Constraints:     654462
2441.39/2448.50	c #Conflicts:     798000 | #Constraints:     655462
2441.39/2448.50	c #Conflicts:     799000 | #Constraints:     656462
2441.39/2448.50	c #Conflicts:     800000 | #Constraints:     657462
2441.39/2448.50	c #Conflicts:     801000 | #Constraints:     658462
2441.39/2448.50	c #Conflicts:     802000 | #Constraints:     659462
2441.39/2448.50	c #Conflicts:     803000 | #Constraints:     660462
2441.39/2448.50	c #Conflicts:     804000 | #Constraints:     661462
2441.39/2448.50	c #Conflicts:     805000 | #Constraints:     662462
2441.39/2448.50	c #Conflicts:     806000 | #Constraints:     663462
2441.39/2448.50	c #Conflicts:     807000 | #Constraints:     664462
2441.39/2448.50	c #Conflicts:     808000 | #Constraints:     665462
2441.39/2448.50	c #Conflicts:     809000 | #Constraints:     666462
2441.39/2448.50	c #Conflicts:     810000 | #Constraints:     667462
2441.39/2448.50	c #Conflicts:     811000 | #Constraints:     668462
2441.39/2448.50	c #Conflicts:     812000 | #Constraints:     669462
2441.39/2448.50	c #Conflicts:     813000 | #Constraints:     670462
2441.39/2448.50	c #Conflicts:     814000 | #Constraints:     671462
2441.39/2448.50	c #Conflicts:     815000 | #Constraints:     672462
2441.39/2448.50	c #Conflicts:     816000 | #Constraints:     673462
2441.39/2448.50	c #Conflicts:     817000 | #Constraints:     674462
2441.39/2448.50	c #Conflicts:     818000 | #Constraints:     675462
2441.39/2448.50	c #Conflicts:     819000 | #Constraints:     676462
2441.39/2448.50	c #Conflicts:     820000 | #Constraints:     677462
2441.39/2448.50	c #Conflicts:     821000 | #Constraints:     678462
2441.39/2448.50	c #Conflicts:     822000 | #Constraints:     679462
2441.39/2448.50	c #Conflicts:     823000 | #Constraints:     680462
2441.39/2448.50	c #Conflicts:     824000 | #Constraints:     681462
2441.39/2448.50	c #Conflicts:     825000 | #Constraints:     682462
2441.39/2448.50	c #Conflicts:     826000 | #Constraints:     683462
2441.39/2448.50	c #Conflicts:     827000 | #Constraints:     684462
2441.39/2448.50	c #Conflicts:     828000 | #Constraints:     685462
2441.39/2448.50	c #Conflicts:     829000 | #Constraints:     686462
2441.39/2448.50	c #Conflicts:     830000 | #Constraints:     687462
2441.39/2448.50	c #Conflicts:     831000 | #Constraints:     688462
2441.39/2448.50	c #Conflicts:     832000 | #Constraints:     689462
2441.39/2448.50	c #Conflicts:     833000 | #Constraints:     690462
2441.39/2448.50	c #Conflicts:     834000 | #Constraints:     691462
2441.39/2448.50	c #Conflicts:     835000 | #Constraints:     692462
2441.39/2448.50	c #Conflicts:     836000 | #Constraints:     693462
2441.39/2448.50	c #Conflicts:     837000 | #Constraints:     694462
2441.39/2448.50	c #Conflicts:     838000 | #Constraints:     695462
2441.39/2448.50	c #Conflicts:     839000 | #Constraints:     696462
2441.39/2448.50	c #Conflicts:     840000 | #Constraints:     697462
2441.39/2448.50	c #Conflicts:     841000 | #Constraints:     698462
2441.39/2448.50	c #Conflicts:     842000 | #Constraints:     699462
2441.39/2448.50	c #Conflicts:     843000 | #Constraints:     700462
2441.39/2448.50	c INPROCESSING
2441.39/2448.50	c GARBAGE COLLECT
2441.39/2448.50	c rational objective 5574.23
2599.39/2606.93	c #Conflicts:     844000 | #Constraints:     647849
2599.39/2606.93	c #Conflicts:     845000 | #Constraints:     648849
2599.39/2606.93	c #Conflicts:     846000 | #Constraints:     649849
2599.39/2606.93	c #Conflicts:     847000 | #Constraints:     650849
2599.39/2606.93	c #Conflicts:     848000 | #Constraints:     651849
2599.39/2606.93	c #Conflicts:     849000 | #Constraints:     652849
2599.39/2606.93	c #Conflicts:     850000 | #Constraints:     653849
2599.39/2606.93	c #Conflicts:     851000 | #Constraints:     654849
2599.39/2606.93	c #Conflicts:     852000 | #Constraints:     655849
2599.39/2606.93	c #Conflicts:     853000 | #Constraints:     656849
2599.39/2606.93	c #Conflicts:     854000 | #Constraints:     657849
2599.39/2606.93	c #Conflicts:     855000 | #Constraints:     658849
2599.39/2606.93	c #Conflicts:     856000 | #Constraints:     659849
2599.39/2606.93	c #Conflicts:     857000 | #Constraints:     660849
2599.39/2606.93	c #Conflicts:     858000 | #Constraints:     661849
2599.39/2606.93	c #Conflicts:     859000 | #Constraints:     662849
2599.39/2606.93	c #Conflicts:     860000 | #Constraints:     663849
2599.39/2606.93	c #Conflicts:     861000 | #Constraints:     664849
2599.39/2606.93	c #Conflicts:     862000 | #Constraints:     665849
2599.39/2606.93	c #Conflicts:     863000 | #Constraints:     666849
2599.39/2606.93	c #Conflicts:     864000 | #Constraints:     667849
2599.39/2606.93	c #Conflicts:     865000 | #Constraints:     668849
2599.39/2606.93	c #Conflicts:     866000 | #Constraints:     669849
2599.39/2606.93	c #Conflicts:     867000 | #Constraints:     670849
2599.39/2606.93	c #Conflicts:     868000 | #Constraints:     671849
2599.39/2606.93	c #Conflicts:     869000 | #Constraints:     672849
2599.39/2606.93	c #Conflicts:     870000 | #Constraints:     673849
2599.39/2606.93	c #Conflicts:     871000 | #Constraints:     674849
2599.39/2606.93	c #Conflicts:     872000 | #Constraints:     675849
2599.39/2606.93	c #Conflicts:     873000 | #Constraints:     676849
2599.39/2606.93	c #Conflicts:     874000 | #Constraints:     677849
2599.39/2606.93	c #Conflicts:     875000 | #Constraints:     678849
2599.39/2606.93	c #Conflicts:     876000 | #Constraints:     679849
2599.39/2606.93	c #Conflicts:     877000 | #Constraints:     680849
2599.39/2606.93	c #Conflicts:     878000 | #Constraints:     681849
2599.39/2606.93	c #Conflicts:     879000 | #Constraints:     682849
2599.39/2606.93	c #Conflicts:     880000 | #Constraints:     683849
2599.39/2606.93	c #Conflicts:     881000 | #Constraints:     684849
2599.39/2606.93	c #Conflicts:     882000 | #Constraints:     685849
2599.39/2606.93	c #Conflicts:     883000 | #Constraints:     686849
2599.39/2606.93	c #Conflicts:     884000 | #Constraints:     687849
2599.39/2606.93	c #Conflicts:     885000 | #Constraints:     688849
2599.39/2606.93	c #Conflicts:     886000 | #Constraints:     689849
2599.39/2606.93	c #Conflicts:     887000 | #Constraints:     690849
2599.39/2606.93	c #Conflicts:     888000 | #Constraints:     691849
2599.39/2606.93	c #Conflicts:     889000 | #Constraints:     692849
2599.39/2606.93	c #Conflicts:     890000 | #Constraints:     693849
2599.39/2606.93	c #Conflicts:     891000 | #Constraints:     694849
2599.39/2606.93	c #Conflicts:     892000 | #Constraints:     695849
2599.39/2606.93	c #Conflicts:     893000 | #Constraints:     696849
2599.39/2606.93	c #Conflicts:     894000 | #Constraints:     697849
2599.39/2606.93	c #Conflicts:     895000 | #Constraints:     698849
2599.39/2606.93	c #Conflicts:     896000 | #Constraints:     699849
2599.39/2606.93	c #Conflicts:     897000 | #Constraints:     700849
2599.39/2606.93	c #Conflicts:     898000 | #Constraints:     701849
2599.39/2606.93	c #Conflicts:     899000 | #Constraints:     702849
2599.39/2606.93	c #Conflicts:     900000 | #Constraints:     703849
2599.39/2606.93	c #Conflicts:     901000 | #Constraints:     704849
2599.39/2606.93	c #Conflicts:     902000 | #Constraints:     705849
2599.39/2606.93	c #Conflicts:     903000 | #Constraints:     706849
2599.39/2606.93	c INPROCESSING
2599.39/2606.93	c GARBAGE COLLECT
2599.39/2606.93	c rational objective 5580.09
2733.35/2741.21	c #Conflicts:     904000 | #Constraints:     651561
2733.35/2741.21	c #Conflicts:     905000 | #Constraints:     652561
2733.35/2741.21	c #Conflicts:     906000 | #Constraints:     653561
2733.35/2741.21	c #Conflicts:     907000 | #Constraints:     654561
2733.35/2741.21	c #Conflicts:     908000 | #Constraints:     655561
2733.35/2741.21	c #Conflicts:     909000 | #Constraints:     656561
2733.35/2741.21	c #Conflicts:     910000 | #Constraints:     657561
2733.35/2741.21	c #Conflicts:     911000 | #Constraints:     658561
2733.35/2741.21	c #Conflicts:     912000 | #Constraints:     659561
2733.35/2741.21	c #Conflicts:     913000 | #Constraints:     660561
2733.35/2741.21	c #Conflicts:     914000 | #Constraints:     661561
2733.35/2741.21	c #Conflicts:     915000 | #Constraints:     662561
2733.35/2741.21	c #Conflicts:     916000 | #Constraints:     663561
2733.35/2741.21	c #Conflicts:     917000 | #Constraints:     664561
2733.35/2741.21	c #Conflicts:     918000 | #Constraints:     665561
2733.35/2741.21	c #Conflicts:     919000 | #Constraints:     666561
2733.35/2741.21	c #Conflicts:     920000 | #Constraints:     667561
2733.35/2741.21	c #Conflicts:     921000 | #Constraints:     668561
2733.35/2741.21	c #Conflicts:     922000 | #Constraints:     669561
2733.35/2741.21	c #Conflicts:     923000 | #Constraints:     670561
2733.35/2741.21	c #Conflicts:     924000 | #Constraints:     671561
2733.35/2741.21	c #Conflicts:     925000 | #Constraints:     672561
2733.35/2741.21	c #Conflicts:     926000 | #Constraints:     673561
2733.35/2741.21	c #Conflicts:     927000 | #Constraints:     674561
2733.35/2741.21	c #Conflicts:     928000 | #Constraints:     675561
2733.35/2741.21	c #Conflicts:     929000 | #Constraints:     676561
2733.35/2741.21	c #Conflicts:     930000 | #Constraints:     677561
2733.35/2741.21	c #Conflicts:     931000 | #Constraints:     678561
2733.35/2741.21	c #Conflicts:     932000 | #Constraints:     679561
2733.35/2741.21	c #Conflicts:     933000 | #Constraints:     680561
2733.35/2741.21	c #Conflicts:     934000 | #Constraints:     681561
2733.35/2741.21	c #Conflicts:     935000 | #Constraints:     682561
2733.35/2741.21	c #Conflicts:     936000 | #Constraints:     683561
2733.35/2741.21	c #Conflicts:     937000 | #Constraints:     684561
2733.35/2741.21	c #Conflicts:     938000 | #Constraints:     685561
2733.35/2741.21	c #Conflicts:     939000 | #Constraints:     686561
2733.35/2741.21	c #Conflicts:     940000 | #Constraints:     687561
2733.35/2741.21	c #Conflicts:     941000 | #Constraints:     688561
2733.35/2741.21	c #Conflicts:     942000 | #Constraints:     689561
2733.35/2741.21	c #Conflicts:     943000 | #Constraints:     690561
2733.35/2741.21	c #Conflicts:     944000 | #Constraints:     691561
2733.35/2741.21	c #Conflicts:     945000 | #Constraints:     692561
2733.35/2741.21	c #Conflicts:     946000 | #Constraints:     693561
2733.35/2741.21	c #Conflicts:     947000 | #Constraints:     694561
2733.35/2741.21	c #Conflicts:     948000 | #Constraints:     695561
2733.35/2741.21	c #Conflicts:     949000 | #Constraints:     696561
2733.35/2741.21	c #Conflicts:     950000 | #Constraints:     697561
2733.35/2741.21	c #Conflicts:     951000 | #Constraints:     698561
2733.35/2741.21	c #Conflicts:     952000 | #Constraints:     699561
2733.35/2741.21	c #Conflicts:     953000 | #Constraints:     700561
2733.35/2741.21	c #Conflicts:     954000 | #Constraints:     701561
2733.35/2741.21	c #Conflicts:     955000 | #Constraints:     702561
2733.35/2741.21	c #Conflicts:     956000 | #Constraints:     703561
2733.35/2741.21	c #Conflicts:     957000 | #Constraints:     704561
2733.35/2741.21	c #Conflicts:     958000 | #Constraints:     705561
2733.35/2741.21	c #Conflicts:     959000 | #Constraints:     706561
2733.35/2741.21	c #Conflicts:     960000 | #Constraints:     707561
2733.35/2741.21	c #Conflicts:     961000 | #Constraints:     708561
2733.35/2741.21	c #Conflicts:     962000 | #Constraints:     709561
2733.35/2741.21	c #Conflicts:     963000 | #Constraints:     710561
2733.35/2741.21	c #Conflicts:     964000 | #Constraints:     711561
2733.35/2741.21	c INPROCESSING
2733.35/2741.21	c GARBAGE COLLECT
2733.35/2741.21	c rational objective 5585.89
2867.03/2875.22	c #Conflicts:     965000 | #Constraints:     655172
2867.03/2875.22	c #Conflicts:     966000 | #Constraints:     656172
2867.03/2875.22	c #Conflicts:     967000 | #Constraints:     657172
2867.03/2875.22	c #Conflicts:     968000 | #Constraints:     658172
2867.03/2875.22	c #Conflicts:     969000 | #Constraints:     659172
2867.03/2875.22	c #Conflicts:     970000 | #Constraints:     660172
2867.03/2875.22	c #Conflicts:     971000 | #Constraints:     661172
2867.03/2875.22	c #Conflicts:     972000 | #Constraints:     662172
2867.03/2875.22	c #Conflicts:     973000 | #Constraints:     663172
2867.03/2875.22	c #Conflicts:     974000 | #Constraints:     664172
2867.03/2875.22	c #Conflicts:     975000 | #Constraints:     665172
2867.03/2875.22	c #Conflicts:     976000 | #Constraints:     666172
2867.03/2875.22	c #Conflicts:     977000 | #Constraints:     667172
2867.03/2875.22	c #Conflicts:     978000 | #Constraints:     668172
2867.03/2875.22	c #Conflicts:     979000 | #Constraints:     669172
2867.03/2875.22	c #Conflicts:     980000 | #Constraints:     670172
2867.03/2875.22	c #Conflicts:     981000 | #Constraints:     671172
2867.03/2875.22	c #Conflicts:     982000 | #Constraints:     672172
2867.03/2875.22	c #Conflicts:     983000 | #Constraints:     673172
2867.03/2875.22	c #Conflicts:     984000 | #Constraints:     674172
2867.03/2875.22	c #Conflicts:     985000 | #Constraints:     675172
2867.03/2875.22	c #Conflicts:     986000 | #Constraints:     676172
2867.03/2875.22	c #Conflicts:     987000 | #Constraints:     677172
2867.03/2875.22	c #Conflicts:     988000 | #Constraints:     678172
2867.03/2875.22	c #Conflicts:     989000 | #Constraints:     679172
2867.03/2875.22	c #Conflicts:     990000 | #Constraints:     680172
2867.03/2875.22	c #Conflicts:     991000 | #Constraints:     681172
2867.03/2875.22	c #Conflicts:     992000 | #Constraints:     682172
2867.03/2875.22	c #Conflicts:     993000 | #Constraints:     683172
2867.03/2875.22	c #Conflicts:     994000 | #Constraints:     684172
2867.03/2875.22	c #Conflicts:     995000 | #Constraints:     685172
2867.03/2875.22	c #Conflicts:     996000 | #Constraints:     686172
2867.03/2875.22	c #Conflicts:     997000 | #Constraints:     687172
2867.03/2875.22	c #Conflicts:     998000 | #Constraints:     688172
2867.03/2875.22	c #Conflicts:     999000 | #Constraints:     689172
2867.03/2875.22	c #Conflicts:    1000000 | #Constraints:     690172
2867.03/2875.22	c #Conflicts:    1001000 | #Constraints:     691172
2867.03/2875.22	c #Conflicts:    1002000 | #Constraints:     692172
2867.03/2875.22	c #Conflicts:    1003000 | #Constraints:     693172
2867.03/2875.22	c #Conflicts:    1004000 | #Constraints:     694172
2867.03/2875.22	c #Conflicts:    1005000 | #Constraints:     695172
2867.03/2875.22	c #Conflicts:    1006000 | #Constraints:     696172
2867.03/2875.22	c #Conflicts:    1007000 | #Constraints:     697172
2867.03/2875.22	c #Conflicts:    1008000 | #Constraints:     698172
2867.03/2875.22	c #Conflicts:    1009000 | #Constraints:     699172
2867.03/2875.22	c #Conflicts:    1010000 | #Constraints:     700172
2867.03/2875.22	c #Conflicts:    1011000 | #Constraints:     701172
2867.03/2875.22	c #Conflicts:    1012000 | #Constraints:     702172
2867.03/2875.22	c #Conflicts:    1013000 | #Constraints:     703172
2867.03/2875.22	c #Conflicts:    1014000 | #Constraints:     704172
2867.03/2875.22	c #Conflicts:    1015000 | #Constraints:     705172
2867.03/2875.22	c #Conflicts:    1016000 | #Constraints:     706172
2867.03/2875.22	c #Conflicts:    1017000 | #Constraints:     707172
2867.03/2875.22	c #Conflicts:    1018000 | #Constraints:     708172
2867.03/2875.22	c #Conflicts:    1019000 | #Constraints:     709172
2867.03/2875.22	c #Conflicts:    1020000 | #Constraints:     710172
2867.03/2875.22	c #Conflicts:    1021000 | #Constraints:     711172
2867.03/2875.22	c #Conflicts:    1022000 | #Constraints:     712172
2867.03/2875.22	c #Conflicts:    1023000 | #Constraints:     713172
2867.03/2875.22	c #Conflicts:    1024000 | #Constraints:     714172
2867.03/2875.22	c #Conflicts:    1025000 | #Constraints:     715172
2867.03/2875.22	c #Conflicts:    1026000 | #Constraints:     716172
2867.03/2875.22	c #Conflicts:    1027000 | #Constraints:     717172
2867.03/2875.22	c INPROCESSING
2867.03/2875.22	c GARBAGE COLLECT
2867.03/2875.22	c rational objective 5628.32
3105.90/3114.75	c #Conflicts:    1028000 | #Constraints:     656696
3105.90/3114.75	c #Conflicts:    1029000 | #Constraints:     657696
3105.90/3114.75	c #Conflicts:    1030000 | #Constraints:     658696
3105.90/3114.75	c #Conflicts:    1031000 | #Constraints:     659696
3105.90/3114.75	c #Conflicts:    1032000 | #Constraints:     660696
3105.90/3114.75	c #Conflicts:    1033000 | #Constraints:     661696
3105.90/3114.75	c #Conflicts:    1034000 | #Constraints:     662696
3105.90/3114.75	c #Conflicts:    1035000 | #Constraints:     663696
3105.90/3114.75	c #Conflicts:    1036000 | #Constraints:     664696
3105.90/3114.75	c #Conflicts:    1037000 | #Constraints:     665696
3105.90/3114.75	c #Conflicts:    1038000 | #Constraints:     666696
3105.90/3114.75	c #Conflicts:    1039000 | #Constraints:     667696
3105.90/3114.75	c #Conflicts:    1040000 | #Constraints:     668696
3105.90/3114.75	c #Conflicts:    1041000 | #Constraints:     669696
3105.90/3114.75	c #Conflicts:    1042000 | #Constraints:     670696
3105.90/3114.75	c #Conflicts:    1043000 | #Constraints:     671696
3105.90/3114.75	c #Conflicts:    1044000 | #Constraints:     672696
3105.90/3114.75	c #Conflicts:    1045000 | #Constraints:     673696
3105.90/3114.75	c #Conflicts:    1046000 | #Constraints:     674696
3105.90/3114.75	c #Conflicts:    1047000 | #Constraints:     675696
3105.90/3114.75	c #Conflicts:    1048000 | #Constraints:     676696
3105.90/3114.75	c #Conflicts:    1049000 | #Constraints:     677696
3105.90/3114.75	c #Conflicts:    1050000 | #Constraints:     678696
3105.90/3114.75	c #Conflicts:    1051000 | #Constraints:     679696
3105.90/3114.75	c #Conflicts:    1052000 | #Constraints:     680696
3105.90/3114.75	c #Conflicts:    1053000 | #Constraints:     681696
3105.90/3114.75	c #Conflicts:    1054000 | #Constraints:     682696
3105.90/3114.75	c #Conflicts:    1055000 | #Constraints:     683696
3105.90/3114.75	c #Conflicts:    1056000 | #Constraints:     684696
3105.90/3114.75	c #Conflicts:    1057000 | #Constraints:     685696
3105.90/3114.75	c #Conflicts:    1058000 | #Constraints:     686696
3105.90/3114.75	c #Conflicts:    1059000 | #Constraints:     687696
3105.90/3114.75	c #Conflicts:    1060000 | #Constraints:     688696
3105.90/3114.75	c #Conflicts:    1061000 | #Constraints:     689696
3105.90/3114.75	c #Conflicts:    1062000 | #Constraints:     690696
3105.90/3114.75	c #Conflicts:    1063000 | #Constraints:     691696
3105.90/3114.75	c #Conflicts:    1064000 | #Constraints:     692696
3105.90/3114.75	c #Conflicts:    1065000 | #Constraints:     693696
3105.90/3114.75	c #Conflicts:    1066000 | #Constraints:     694696
3105.90/3114.75	c #Conflicts:    1067000 | #Constraints:     695696
3105.90/3114.75	c #Conflicts:    1068000 | #Constraints:     696696
3105.90/3114.75	c #Conflicts:    1069000 | #Constraints:     697696
3105.90/3114.75	c #Conflicts:    1070000 | #Constraints:     698696
3105.90/3114.75	c #Conflicts:    1071000 | #Constraints:     699696
3105.90/3114.75	c #Conflicts:    1072000 | #Constraints:     700696
3105.90/3114.75	c #Conflicts:    1073000 | #Constraints:     701696
3105.90/3114.75	c #Conflicts:    1074000 | #Constraints:     702696
3105.90/3114.75	c #Conflicts:    1075000 | #Constraints:     703696
3105.90/3114.75	c #Conflicts:    1076000 | #Constraints:     704696
3105.90/3114.75	c #Conflicts:    1077000 | #Constraints:     705696
3105.90/3114.75	c #Conflicts:    1078000 | #Constraints:     706696
3105.90/3114.75	c #Conflicts:    1079000 | #Constraints:     707696
3105.90/3114.75	c #Conflicts:    1080000 | #Constraints:     708696
3105.90/3114.75	c #Conflicts:    1081000 | #Constraints:     709696
3105.90/3114.75	c #Conflicts:    1082000 | #Constraints:     710696
3105.90/3114.75	c #Conflicts:    1083000 | #Constraints:     711696
3105.90/3114.75	c #Conflicts:    1084000 | #Constraints:     712696
3105.90/3114.75	c #Conflicts:    1085000 | #Constraints:     713696
3105.90/3114.75	c #Conflicts:    1086000 | #Constraints:     714696
3105.90/3114.75	c #Conflicts:    1087000 | #Constraints:     715696
3105.90/3114.75	c #Conflicts:    1088000 | #Constraints:     716696
3105.90/3114.75	c #Conflicts:    1089000 | #Constraints:     717696
3105.90/3114.75	c #Conflicts:    1090000 | #Constraints:     718696
3105.90/3114.75	c #Conflicts:    1091000 | #Constraints:     719696
3105.90/3114.75	c #Conflicts:    1092000 | #Constraints:     720696
3105.90/3114.75	c INPROCESSING
3105.90/3114.75	c GARBAGE COLLECT
3105.90/3114.75	c rational objective 5766.2
3237.29/3246.48	c #Conflicts:    1093000 | #Constraints:     650960
3237.29/3246.48	c #Conflicts:    1094000 | #Constraints:     651960
3237.29/3246.48	c #Conflicts:    1095000 | #Constraints:     652960
3237.29/3246.48	c #Conflicts:    1096000 | #Constraints:     653960
3237.29/3246.48	c #Conflicts:    1097000 | #Constraints:     654960
3237.29/3246.48	c #Conflicts:    1098000 | #Constraints:     655960
3237.29/3246.48	c #Conflicts:    1099000 | #Constraints:     656960
3237.29/3246.48	c #Conflicts:    1100000 | #Constraints:     657960
3237.29/3246.48	c #Conflicts:    1101000 | #Constraints:     658960
3237.29/3246.48	c #Conflicts:    1102000 | #Constraints:     659960
3237.29/3246.48	c #Conflicts:    1103000 | #Constraints:     660960
3237.29/3246.48	c #Conflicts:    1104000 | #Constraints:     661960
3237.29/3246.48	c #Conflicts:    1105000 | #Constraints:     662960
3237.29/3246.48	c #Conflicts:    1106000 | #Constraints:     663960
3237.29/3246.48	c #Conflicts:    1107000 | #Constraints:     664960
3237.29/3246.48	c #Conflicts:    1108000 | #Constraints:     665960
3237.29/3246.48	c #Conflicts:    1109000 | #Constraints:     666960
3237.29/3246.48	c #Conflicts:    1110000 | #Constraints:     667960
3237.29/3246.48	c #Conflicts:    1111000 | #Constraints:     668960
3237.29/3246.48	c #Conflicts:    1112000 | #Constraints:     669960
3237.29/3246.48	c #Conflicts:    1113000 | #Constraints:     670960
3237.29/3246.48	c #Conflicts:    1114000 | #Constraints:     671960
3237.29/3246.48	c #Conflicts:    1115000 | #Constraints:     672960
3237.29/3246.48	c #Conflicts:    1116000 | #Constraints:     673960
3237.29/3246.48	c #Conflicts:    1117000 | #Constraints:     674960
3237.29/3246.48	c #Conflicts:    1118000 | #Constraints:     675960
3237.29/3246.48	c #Conflicts:    1119000 | #Constraints:     676960
3237.29/3246.48	c #Conflicts:    1120000 | #Constraints:     677960
3237.29/3246.48	c #Conflicts:    1121000 | #Constraints:     678960
3237.29/3246.48	c #Conflicts:    1122000 | #Constraints:     679960
3237.29/3246.48	c #Conflicts:    1123000 | #Constraints:     680960
3237.29/3246.48	c #Conflicts:    1124000 | #Constraints:     681960
3237.29/3246.48	c #Conflicts:    1125000 | #Constraints:     682960
3237.29/3246.48	c #Conflicts:    1126000 | #Constraints:     683960
3237.29/3246.48	c #Conflicts:    1127000 | #Constraints:     684960
3237.29/3246.48	c #Conflicts:    1128000 | #Constraints:     685960
3237.29/3246.48	c #Conflicts:    1129000 | #Constraints:     686960
3237.29/3246.48	c #Conflicts:    1130000 | #Constraints:     687960
3237.29/3246.48	c #Conflicts:    1131000 | #Constraints:     688960
3237.29/3246.48	c #Conflicts:    1132000 | #Constraints:     689960
3237.29/3246.48	c #Conflicts:    1133000 | #Constraints:     690960
3237.29/3246.48	c #Conflicts:    1134000 | #Constraints:     691960
3237.29/3246.48	c #Conflicts:    1135000 | #Constraints:     692960
3237.29/3246.48	c #Conflicts:    1136000 | #Constraints:     693960
3237.29/3246.48	c #Conflicts:    1137000 | #Constraints:     694960
3237.29/3246.48	c #Conflicts:    1138000 | #Constraints:     695960
3237.29/3246.48	c #Conflicts:    1139000 | #Constraints:     696960
3237.29/3246.48	c #Conflicts:    1140000 | #Constraints:     697960
3237.29/3246.48	c #Conflicts:    1141000 | #Constraints:     698960
3237.29/3246.48	c #Conflicts:    1142000 | #Constraints:     699960
3237.29/3246.48	c #Conflicts:    1143000 | #Constraints:     700960
3237.29/3246.48	c #Conflicts:    1144000 | #Constraints:     701960
3237.29/3246.48	c #Conflicts:    1145000 | #Constraints:     702960
3237.29/3246.48	c #Conflicts:    1146000 | #Constraints:     703960
3237.29/3246.48	c #Conflicts:    1147000 | #Constraints:     704960
3237.29/3246.48	c #Conflicts:    1148000 | #Constraints:     705960
3237.29/3246.48	c #Conflicts:    1149000 | #Constraints:     706960
3237.29/3246.48	c #Conflicts:    1150000 | #Constraints:     707960
3237.29/3246.48	c #Conflicts:    1151000 | #Constraints:     708960
3237.29/3246.48	c #Conflicts:    1152000 | #Constraints:     709960
3237.29/3246.48	c #Conflicts:    1153000 | #Constraints:     710960
3237.29/3246.48	c #Conflicts:    1154000 | #Constraints:     711960
3237.29/3246.48	c #Conflicts:    1155000 | #Constraints:     712960
3237.29/3246.48	c #Conflicts:    1156000 | #Constraints:     713960
3237.29/3246.48	c #Conflicts:    1157000 | #Constraints:     714960
3237.29/3246.48	c #Conflicts:    1158000 | #Constraints:     715960
3237.29/3246.48	c #Conflicts:    1159000 | #Constraints:     716960
3237.29/3246.48	c INPROCESSING
3237.29/3246.48	c GARBAGE COLLECT
3237.29/3246.48	c rational objective 5774.62
3390.60/3400.16	c #Conflicts:    1160000 | #Constraints:     654036
3390.60/3400.16	c #Conflicts:    1161000 | #Constraints:     655036
3390.60/3400.16	c #Conflicts:    1162000 | #Constraints:     656036
3390.60/3400.16	c #Conflicts:    1163000 | #Constraints:     657036
3390.60/3400.16	c #Conflicts:    1164000 | #Constraints:     658036
3390.60/3400.16	c #Conflicts:    1165000 | #Constraints:     659036
3390.60/3400.16	c #Conflicts:    1166000 | #Constraints:     660036
3390.60/3400.16	c #Conflicts:    1167000 | #Constraints:     661036
3390.60/3400.16	c #Conflicts:    1168000 | #Constraints:     662036
3390.60/3400.16	c #Conflicts:    1169000 | #Constraints:     663036
3390.60/3400.16	c #Conflicts:    1170000 | #Constraints:     664036
3390.60/3400.16	c #Conflicts:    1171000 | #Constraints:     665036
3390.60/3400.16	c #Conflicts:    1172000 | #Constraints:     666036
3390.60/3400.16	c #Conflicts:    1173000 | #Constraints:     667036
3390.60/3400.16	c #Conflicts:    1174000 | #Constraints:     668036
3390.60/3400.16	c #Conflicts:    1175000 | #Constraints:     669036
3390.60/3400.16	c #Conflicts:    1176000 | #Constraints:     670036
3390.60/3400.16	c #Conflicts:    1177000 | #Constraints:     671036
3390.60/3400.16	c #Conflicts:    1178000 | #Constraints:     672036
3390.60/3400.16	c #Conflicts:    1179000 | #Constraints:     673036
3390.60/3400.16	c #Conflicts:    1180000 | #Constraints:     674036
3390.60/3400.16	c #Conflicts:    1181000 | #Constraints:     675036
3390.60/3400.16	c #Conflicts:    1182000 | #Constraints:     676036
3390.60/3400.16	c #Conflicts:    1183000 | #Constraints:     677036
3390.60/3400.16	c #Conflicts:    1184000 | #Constraints:     678036
3390.60/3400.16	c #Conflicts:    1185000 | #Constraints:     679036
3390.60/3400.16	c #Conflicts:    1186000 | #Constraints:     680036
3390.60/3400.16	c #Conflicts:    1187000 | #Constraints:     681036
3390.60/3400.16	c #Conflicts:    1188000 | #Constraints:     682036
3390.60/3400.16	c #Conflicts:    1189000 | #Constraints:     683036
3390.60/3400.16	c #Conflicts:    1190000 | #Constraints:     684036
3390.60/3400.16	c #Conflicts:    1191000 | #Constraints:     685036
3390.60/3400.16	c #Conflicts:    1192000 | #Constraints:     686036
3390.60/3400.16	c #Conflicts:    1193000 | #Constraints:     687036
3390.60/3400.16	c #Conflicts:    1194000 | #Constraints:     688036
3390.60/3400.16	c #Conflicts:    1195000 | #Constraints:     689036
3390.60/3400.16	c #Conflicts:    1196000 | #Constraints:     690036
3390.60/3400.16	c #Conflicts:    1197000 | #Constraints:     691036
3390.60/3400.16	c #Conflicts:    1198000 | #Constraints:     692036
3390.60/3400.16	c #Conflicts:    1199000 | #Constraints:     693036
3390.60/3400.16	c #Conflicts:    1200000 | #Constraints:     694036
3390.60/3400.16	c #Conflicts:    1201000 | #Constraints:     695036
3390.60/3400.16	c #Conflicts:    1202000 | #Constraints:     696036
3390.60/3400.16	c #Conflicts:    1203000 | #Constraints:     697036
3390.60/3400.16	c #Conflicts:    1204000 | #Constraints:     698036
3390.60/3400.16	c #Conflicts:    1205000 | #Constraints:     699036
3390.60/3400.16	c #Conflicts:    1206000 | #Constraints:     700036
3390.60/3400.16	c #Conflicts:    1207000 | #Constraints:     701036
3390.60/3400.16	c #Conflicts:    1208000 | #Constraints:     702036
3390.60/3400.16	c #Conflicts:    1209000 | #Constraints:     703036
3390.60/3400.16	c #Conflicts:    1210000 | #Constraints:     704036
3390.60/3400.16	c #Conflicts:    1211000 | #Constraints:     705036
3390.60/3400.16	c #Conflicts:    1212000 | #Constraints:     706036
3390.60/3400.16	c #Conflicts:    1213000 | #Constraints:     707036
3390.60/3400.16	c #Conflicts:    1214000 | #Constraints:     708036
3390.60/3400.16	c #Conflicts:    1215000 | #Constraints:     709036
3390.60/3400.16	c #Conflicts:    1216000 | #Constraints:     710036
3390.60/3400.16	c #Conflicts:    1217000 | #Constraints:     711036
3390.60/3400.16	c #Conflicts:    1218000 | #Constraints:     712036
3390.60/3400.16	c #Conflicts:    1219000 | #Constraints:     713036
3390.60/3400.16	c #Conflicts:    1220000 | #Constraints:     714036
3390.60/3400.16	c #Conflicts:    1221000 | #Constraints:     715036
3390.60/3400.16	c #Conflicts:    1222000 | #Constraints:     716036
3390.60/3400.16	c #Conflicts:    1223000 | #Constraints:     717036
3390.60/3400.16	c #Conflicts:    1224000 | #Constraints:     718036
3390.60/3400.16	c #Conflicts:    1225000 | #Constraints:     719036
3390.60/3400.16	c #Conflicts:    1226000 | #Constraints:     720036
3390.60/3400.16	c #Conflicts:    1227000 | #Constraints:     721036
3390.60/3400.16	c #Conflicts:    1228000 | #Constraints:     722036
3390.60/3400.16	c INPROCESSING
3390.60/3400.16	c GARBAGE COLLECT
3390.60/3400.16	c rational objective 5778.94
3573.92/3583.92	c #Conflicts:    1229000 | #Constraints:     657870
3573.92/3583.92	c #Conflicts:    1230000 | #Constraints:     658870
3573.92/3583.92	c #Conflicts:    1231000 | #Constraints:     659870
3573.92/3583.92	c #Conflicts:    1232000 | #Constraints:     660870
3573.92/3583.92	c #Conflicts:    1233000 | #Constraints:     661870
3573.92/3583.92	c #Conflicts:    1234000 | #Constraints:     662870
3573.92/3583.92	c #Conflicts:    1235000 | #Constraints:     663870
3573.92/3583.92	c #Conflicts:    1236000 | #Constraints:     664870
3573.92/3583.92	c #Conflicts:    1237000 | #Constraints:     665870
3573.92/3583.92	c #Conflicts:    1238000 | #Constraints:     666870
3573.92/3583.92	c #Conflicts:    1239000 | #Constraints:     667870
3573.92/3583.92	c #Conflicts:    1240000 | #Constraints:     668870
3573.92/3583.92	c #Conflicts:    1241000 | #Constraints:     669870
3573.92/3583.92	c #Conflicts:    1242000 | #Constraints:     670870
3573.92/3583.92	c #Conflicts:    1243000 | #Constraints:     671870
3573.92/3583.92	c #Conflicts:    1244000 | #Constraints:     672870
3573.92/3583.92	c #Conflicts:    1245000 | #Constraints:     673870
3573.92/3583.92	c #Conflicts:    1246000 | #Constraints:     674870
3573.92/3583.92	c #Conflicts:    1247000 | #Constraints:     675870
3573.92/3583.92	c #Conflicts:    1248000 | #Constraints:     676870
3573.92/3583.92	c #Conflicts:    1249000 | #Constraints:     677870
3573.92/3583.92	c #Conflicts:    1250000 | #Constraints:     678870
3573.92/3583.92	c #Conflicts:    1251000 | #Constraints:     679870
3573.92/3583.92	c #Conflicts:    1252000 | #Constraints:     680870
3573.92/3583.92	c #Conflicts:    1253000 | #Constraints:     681870
3573.92/3583.92	c #Conflicts:    1254000 | #Constraints:     682870
3573.92/3583.92	c #Conflicts:    1255000 | #Constraints:     683870
3573.92/3583.92	c #Conflicts:    1256000 | #Constraints:     684870
3573.92/3583.92	c #Conflicts:    1257000 | #Constraints:     685870
3573.92/3583.92	c #Conflicts:    1258000 | #Constraints:     686870
3573.92/3583.92	c #Conflicts:    1259000 | #Constraints:     687870
3573.92/3583.92	c #Conflicts:    1260000 | #Constraints:     688870
3573.92/3583.92	c #Conflicts:    1261000 | #Constraints:     689870
3573.92/3583.92	c #Conflicts:    1262000 | #Constraints:     690870
3573.92/3583.92	c #Conflicts:    1263000 | #Constraints:     691870
3573.92/3583.92	c #Conflicts:    1264000 | #Constraints:     692870
3573.92/3583.92	c #Conflicts:    1265000 | #Constraints:     693870
3573.92/3583.92	c #Conflicts:    1266000 | #Constraints:     694870
3573.92/3583.92	c #Conflicts:    1267000 | #Constraints:     695870
3573.92/3583.92	c #Conflicts:    1268000 | #Constraints:     696870
3573.92/3583.92	c #Conflicts:    1269000 | #Constraints:     697870
3573.92/3583.92	c #Conflicts:    1270000 | #Constraints:     698870
3573.92/3583.92	c #Conflicts:    1271000 | #Constraints:     699870
3573.92/3583.92	c #Conflicts:    1272000 | #Constraints:     700870
3573.92/3583.92	c #Conflicts:    1273000 | #Constraints:     701870
3573.92/3583.92	c #Conflicts:    1274000 | #Constraints:     702870
3573.92/3583.92	c #Conflicts:    1275000 | #Constraints:     703870
3573.92/3583.92	c #Conflicts:    1276000 | #Constraints:     704870
3573.92/3583.92	c #Conflicts:    1277000 | #Constraints:     705870
3573.92/3583.92	c #Conflicts:    1278000 | #Constraints:     706870
3573.92/3583.92	c #Conflicts:    1279000 | #Constraints:     707870
3573.92/3583.92	c #Conflicts:    1280000 | #Constraints:     708870
3573.92/3583.92	c #Conflicts:    1281000 | #Constraints:     709870
3573.92/3583.92	c #Conflicts:    1282000 | #Constraints:     710870
3573.92/3583.92	c #Conflicts:    1283000 | #Constraints:     711870
3573.92/3583.92	c #Conflicts:    1284000 | #Constraints:     712870
3573.92/3583.92	c #Conflicts:    1285000 | #Constraints:     713870
3573.92/3583.92	c #Conflicts:    1286000 | #Constraints:     714870
3573.92/3583.92	c #Conflicts:    1287000 | #Constraints:     715870
3573.92/3583.92	c #Conflicts:    1288000 | #Constraints:     716870
3573.92/3583.92	c #Conflicts:    1289000 | #Constraints:     717870
3573.92/3583.92	c #Conflicts:    1290000 | #Constraints:     718870
3573.92/3583.92	c #Conflicts:    1291000 | #Constraints:     719870
3573.92/3583.92	c #Conflicts:    1292000 | #Constraints:     720870
3573.92/3583.92	c #Conflicts:    1293000 | #Constraints:     721870
3573.92/3583.92	c #Conflicts:    1294000 | #Constraints:     722870
3573.92/3583.92	c #Conflicts:    1295000 | #Constraints:     723870
3573.92/3583.92	c #Conflicts:    1296000 | #Constraints:     724870
3573.92/3583.92	c #Conflicts:    1297000 | #Constraints:     725870
3573.92/3583.92	c #Conflicts:    1298000 | #Constraints:     726870
3573.92/3583.92	c #Conflicts:    1299000 | #Constraints:     727870
3573.92/3583.92	c INPROCESSING
3573.92/3583.92	c GARBAGE COLLECT
3573.92/3583.92	c rational objective 5954.25

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: 63968 MiB (15492 MiB free)
  memory of node 1: 64473 MiB (11306 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 4.18.0-301.1.el8.x
solver pid=232897, runsolver pid=232894
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.13 4.16 4.08 5/259 232898
/proc/meminfo: memFree=27436948/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=38888 memory=9864 CPUtime=0.1 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 750 0 0 0 8 2 0 0 20 0 1 0 18618459 39821312 2466 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 9722 2466 1359 992 0 1580 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38888 KiB
Current children cumulated memory: 9864 KiB

[startup+0.205744 s]*
/proc/loadavg: 4.13 4.16 4.08 5/259 232898
/proc/meminfo: memFree=27433864/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=40748 memory=11952 CPUtime=0.2 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 1342 0 0 0 16 4 0 0 20 0 1 0 18618459 41725952 2988 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 10187 2988 1359 992 0 2045 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40748 KiB
Current children cumulated memory: 11952 KiB

[startup+0.305767 s]*
/proc/loadavg: 4.13 4.16 4.08 5/259 232898
/proc/meminfo: memFree=27429356/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=46284 memory=15920 CPUtime=0.3 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 2439 0 0 0 24 6 0 0 20 0 1 0 18618459 47394816 3980 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 11571 3980 1359 992 0 3429 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46284 KiB
Current children cumulated memory: 15920 KiB

[startup+0.70022 s]
/proc/loadavg: 4.13 4.16 4.08 5/259 232898
/proc/meminfo: memFree=27423532/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=57436 memory=28948 CPUtime=0.69 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 5380 0 0 0 54 15 0 0 20 0 1 0 18618459 58814464 7237 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 14359 7237 1359 992 0 6217 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 28948 KiB

[startup+1.50016 s]
/proc/loadavg: 4.13 4.16 4.08 5/259 232898
/proc/meminfo: memFree=27403500/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=91172 memory=56528 CPUtime=1.49 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 10693 0 0 0 116 33 0 0 20 0 1 0 18618459 93360128 14132 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 22793 14132 1359 992 0 14651 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 91172 KiB
Current children cumulated memory: 56528 KiB

[startup+3.1058 s]
/proc/loadavg: 4.12 4.15 4.08 5/259 232898
/proc/meminfo: memFree=27016968/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=569376 memory=526464 CPUtime=3.09 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 70016 0 0 0 245 64 0 0 20 0 1 0 18618459 583041024 131616 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 142344 131616 1646 992 0 134202 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 569376 KiB
Current children cumulated memory: 526464 KiB

[startup+6.30022 s]
/proc/loadavg: 4.12 4.15 4.08 5/259 232899
/proc/meminfo: memFree=26938960/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=513548 memory=473272 CPUtime=6.28 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 80942 0 0 0 531 97 0 0 20 0 1 0 18618459 525873152 118318 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 128387 118318 1756 992 0 120245 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 513548 KiB
Current children cumulated memory: 473272 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.15 4.07 5/257 232899
/proc/meminfo: memFree=26925092/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=513548 memory=473464 CPUtime=12.65 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 81020 0 0 0 1132 133 0 0 20 0 1 0 18618459 525873152 118366 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 128387 118366 1804 992 0 120245 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 513548 KiB
Current children cumulated memory: 473464 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.14 4.07 5/257 232902
/proc/meminfo: memFree=26856844/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=513548 memory=473464 CPUtime=25.41 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 81092 0 0 0 2373 168 0 0 20 0 1 0 18618459 525873152 118366 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 128387 118366 1804 992 0 120245 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 513548 KiB
Current children cumulated memory: 473464 KiB

[startup+51.1059 s]
/proc/loadavg: 4.12 4.14 4.08 5/257 232905
/proc/meminfo: memFree=26723216/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=636204 memory=521812 CPUtime=50.93 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 85982 0 0 0 4872 221 0 0 20 0 1 0 18618459 651472896 130453 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 159051 130453 1804 992 0 150909 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 636204 KiB
Current children cumulated memory: 521812 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/257 232914
/proc/meminfo: memFree=26449180/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=636204 memory=521812 CPUtime=101.96 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 86103 0 0 0 9962 234 0 0 20 0 1 0 18618459 651472896 130453 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 159051 130453 1804 992 0 150909 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 636204 KiB
Current children cumulated memory: 521812 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.08 5/257 232925
/proc/meminfo: memFree=25948552/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=647512 memory=535180 CPUtime=161.77 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 86535 0 0 0 15835 342 0 0 20 0 1 0 18618459 663052288 133795 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 161878 133795 1804 992 0 153736 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 647512 KiB
Current children cumulated memory: 535180 KiB

[startup+222.3 s]
/proc/loadavg: 4.43 4.20 4.11 5/257 232936
/proc/meminfo: memFree=25476056/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=679248 memory=578072 CPUtime=221.58 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 89312 0 0 0 21788 370 0 0 20 0 1 0 18618459 695549952 144518 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 169812 144518 1804 992 0 161670 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 679248 KiB
Current children cumulated memory: 578072 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.17 4.10 5/253 232947
/proc/meminfo: memFree=25180580/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=690560 memory=580272 CPUtime=281.41 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 89397 0 0 0 27688 453 0 0 20 0 1 0 18618459 707133440 145068 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 172640 145068 1804 992 0 164498 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 690560 KiB
Current children cumulated memory: 580272 KiB

[startup+342.3 s]
/proc/loadavg: 4.25 4.19 4.11 5/255 232961
/proc/meminfo: memFree=24944516/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=701892 memory=606828 CPUtime=341.23 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 90549 0 0 0 33577 546 0 0 20 0 1 0 18618459 718737408 151707 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 175473 151707 1804 992 0 167331 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 701892 KiB
Current children cumulated memory: 606828 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.17 4.10 5/255 232972
/proc/meminfo: memFree=24521420/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=766652 memory=633304 CPUtime=401.05 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 91619 0 0 0 39485 620 0 0 20 0 1 0 18618459 785051648 158326 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 191663 158326 1804 992 0 183521 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 766652 KiB
Current children cumulated memory: 633304 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.18 4.10 5/255 232983
/proc/meminfo: memFree=24253756/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=766652 memory=633304 CPUtime=460.86 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 91711 0 0 0 45407 679 0 0 20 0 1 0 18618459 785051648 158326 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 191663 158326 1804 992 0 183521 0

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

[startup+3102.3 s]
/proc/loadavg: 4.22 4.16 4.14 5/257 234510
/proc/meminfo: memFree=21118956/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=884752 memory=739944 CPUtime=3093.53 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 104036 0 0 0 306015 3338 0 0 20 0 1 0 18618459 905986048 184986 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 221188 184986 1804 992 0 213046 0
Current children cumulated CPU time: 3093.53 s
Current children cumulated vsize: 884752 KiB
Current children cumulated memory: 739944 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/258 234524
/proc/meminfo: memFree=19517060/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=884752 memory=751188 CPUtime=3153.4 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 105078 0 0 0 311916 3424 0 0 20 0 1 0 18618459 905986048 187797 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 221188 187797 1804 992 0 213046 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 884752 KiB
Current children cumulated memory: 751188 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/258 234702
/proc/meminfo: memFree=18448072/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=884752 memory=753236 CPUtime=3213.25 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 105270 0 0 0 317868 3457 0 0 20 0 1 0 18618459 905986048 188309 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 221188 188309 1804 992 0 213046 0
Current children cumulated CPU time: 3213.25 s
Current children cumulated vsize: 884752 KiB
Current children cumulated memory: 753236 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/259 234714
/proc/meminfo: memFree=15637552/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=896076 memory=753320 CPUtime=3273.1 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 105495 0 0 0 323791 3519 0 0 20 0 1 0 18618459 917581824 188330 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 224019 188330 1804 992 0 215877 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 896076 KiB
Current children cumulated memory: 753320 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/259 234781
/proc/meminfo: memFree=12593788/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=896076 memory=753836 CPUtime=3332.94 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 105607 0 0 0 329732 3562 0 0 20 0 1 0 18618459 917581824 188459 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 224019 188459 1804 992 0 215877 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 896076 KiB
Current children cumulated memory: 753836 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/259 234792
/proc/meminfo: memFree=11052624/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=896076 memory=764552 CPUtime=3392.79 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 105963 0 0 0 335685 3594 0 0 20 0 1 0 18618459 917581824 191138 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 224019 191138 1804 992 0 215877 0
Current children cumulated CPU time: 3392.79 s
Current children cumulated vsize: 896076 KiB
Current children cumulated memory: 764552 KiB

[startup+3462.3 s]
/proc/loadavg: 4.39 4.19 4.14 5/257 234802
/proc/meminfo: memFree=9433888/131524600 swapFree=131071728/131071996
[pid=232897] ppid=232894 vsize=907404 memory=764572 CPUtime=3452.65 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 106154 0 0 0 341534 3731 0 0 20 0 1 0 18618459 929181696 191143 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 226851 191143 1804 992 0 218709 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 907404 KiB
Current children cumulated memory: 764572 KiB

[startup+3522.3 s]
/proc/loadavg: 4.56 4.28 4.17 5/259 234816
/proc/meminfo: memFree=7938484/131524600 swapFree=131070960/131071996
[pid=232897] ppid=232894 vsize=907404 memory=764644 CPUtime=3512.49 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 106362 0 0 0 347428 3821 0 0 20 0 1 0 18618459 929181696 191161 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 226851 191161 1804 992 0 218709 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 907404 KiB
Current children cumulated memory: 764644 KiB

[startup+3582.3 s]
/proc/loadavg: 4.34 4.26 4.17 5/259 234919
/proc/meminfo: memFree=4260204/131524600 swapFree=131070960/131071996
[pid=232897] ppid=232894 vsize=907404 memory=764648 CPUtime=3572.32 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 106513 0 0 0 353370 3862 0 0 20 0 1 0 18618459 929181696 191162 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 226851 191162 1804 992 0 218709 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 907404 KiB
Current children cumulated memory: 764648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.47 4.30 4.19 5/259 234925
/proc/meminfo: memFree=2374576/131524600 swapFree=131070960/131071996
[pid=232897] ppid=232894 vsize=918732 memory=787212 CPUtime=3600.05 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 107682 0 0 0 356061 3944 0 0 20 0 1 0 18618459 940781568 196803 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 229683 196803 1804 992 0 221541 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 787212 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3562.59 s, system=39.4553 s

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

[startup+3611.2 s]
/proc/loadavg: 4.47 4.30 4.19 5/259 234925
/proc/meminfo: memFree=2330964/131524600 swapFree=131070960/131071996
[pid=232897] ppid=232894 vsize=918732 memory=787212 CPUtime=3601.13 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 107695 0 0 0 356169 3944 0 0 20 0 1 0 18618459 940781568 196803 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 229683 196803 1804 992 0 221541 0
Current children cumulated CPU time: 3601.13 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 787212 KiB

[startup+3611.6 s]
/proc/loadavg: 4.47 4.30 4.19 5/259 234925
/proc/meminfo: memFree=2330964/131524600 swapFree=131070960/131071996
[pid=232897] ppid=232894 vsize=918732 memory=787212 CPUtime=3601.54 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 107710 0 0 0 356209 3945 0 0 20 0 1 0 18618459 940781568 196803 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 229683 196803 1804 992 0 221541 0
Current children cumulated CPU time: 3601.54 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 787212 KiB

[startup+3612 s]*
/proc/loadavg: 4.47 4.30 4.19 5/259 234925
/proc/meminfo: memFree=2289716/131524600 swapFree=131070960/131071996
[pid=232897] ppid=232894 vsize=918732 memory=787212 CPUtime=3601.94 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 107710 0 0 0 356249 3945 0 0 20 0 1 0 18618459 940781568 196803 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 229683 196803 1804 992 0 221541 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 787212 KiB

[startup+3612.11 s]
/proc/loadavg: 4.47 4.30 4.19 5/259 234925
/proc/meminfo: memFree=2289716/131524600 swapFree=131070960/131071996
[pid=232897] ppid=232894 vsize=918732 memory=787212 CPUtime=3602.04 cores=5,7
/proc/232897/stat : 232897 (roundingsat) R 232894 232897 230367 0 -1 4194304 107710 0 0 0 356259 3945 0 0 20 0 1 0 18618459 940781568 196803 134679101440 4194304 8254037 140734452340800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17854464 140734452343648 140734452343910 140734452343910 140734452350921 0
/proc/232897/statm: 229683 196803 1804 992 0 221541 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 787212 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.11
CPU time (s): 3602.05
CPU user time (s): 3562.59
CPU system time (s): 39.4553
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 918732
Max. memory (cumulated for all children) (KiB): 787212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.59
system time used= 39.4553
maximum resident set size= 787212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 447888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37
involuntary context switches= 1813


# summary of solver processes directly reported to runsolver:
#   pid: 232897
#   total CPU time (s): 3602.05
#   total CPU user time (s): 3562.59
#   total CPU system time (s): 39.4553

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96273 second user time and 17.1306 second system time

The end

Begin job on nodeC027 at 2024-07-24 13:35:02
IDJOB=4457092
IDBENCH=155570
IDSOLVER=3085
FILE ID=nodeC027/4457092-1721820902
RUNJOBID= nodeC027-1721817187-230380
SLURM_JOB_ID= 7816885
Free space on /tmp= 890008 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-139.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-4457092-1721820902/watcher-4457092-1721820902 -o /tmp/evaluation-result-4457092-1721820902/solver-4457092-1721820902 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721817187-230380 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457092-1721820902 --lp-cut-gomory=0 HOME/instance-4457092-1721820902.opb

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

MD5SUM BENCH= b1a9bb408d678f4e4f75286e8bd2bbb9
RANDOM SEED=1019234138

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        27442108 kB
MemAvailable:   128983744 kB
Buffers:          252200 kB
Cached:         101856528 kB
SwapCached:           48 kB
Active:          2519104 kB
Inactive:       100519212 kB
Active(anon):       1556 kB
Inactive(anon):   982036 kB
Active(file):    2517548 kB
Inactive(file): 99537176 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:            195008 kB
Writeback:            24 kB
AnonPages:        929148 kB
Mapped:           125304 kB
Shmem:             53980 kB
KReclaimable:     548320 kB
Slab:             682876 kB
SReclaimable:     548320 kB
SUnreclaim:       134556 kB
KernelStack:        4112 kB
PageTables:        11520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1346056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21024 kB
HardwareCorrupted:     0 kB
AnonHugePages:    526336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      357076 kB
DirectMap2M:    40310784 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 889892 MiB
End job on nodeC027 at 2024-07-24 14:35:14