0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
2.38/2.45	c #variables 35834 #constraints 723876
27.09/27.21	c #Conflicts:       1000 | #Constraints:     724875
27.09/27.21	c #Conflicts:       2000 | #Constraints:     725875
27.09/27.21	c INPROCESSING
27.09/27.21	c #Conflicts:       3000 | #Constraints:     632642
27.09/27.21	c #Conflicts:       4000 | #Constraints:     633642
27.09/27.21	c INPROCESSING
27.09/27.21	c #Conflicts:       5000 | #Constraints:     631937
27.09/27.21	c #Conflicts:       6000 | #Constraints:     632937
27.09/27.21	c #Conflicts:       7000 | #Constraints:     633937
27.09/27.21	c #Conflicts:       8000 | #Constraints:     634937
27.09/27.21	c #Conflicts:       9000 | #Constraints:     635937
27.09/27.21	c INPROCESSING
27.09/27.21	c rational objective 4755.62
48.63/48.81	c #Conflicts:      10000 | #Constraints:     628215
48.63/48.81	c #Conflicts:      11000 | #Constraints:     629215
48.63/48.81	c #Conflicts:      12000 | #Constraints:     630215
48.63/48.81	c #Conflicts:      13000 | #Constraints:     631215
48.63/48.81	c #Conflicts:      14000 | #Constraints:     632215
48.63/48.81	c #Conflicts:      15000 | #Constraints:     633215
48.63/48.81	c #Conflicts:      16000 | #Constraints:     634215
48.63/48.81	c INPROCESSING
48.63/48.81	c rational objective 4829.32
84.42/84.78	c #Conflicts:      17000 | #Constraints:     626503
84.42/84.78	c #Conflicts:      18000 | #Constraints:     627503
84.42/84.78	c #Conflicts:      19000 | #Constraints:     628503
84.42/84.78	c #Conflicts:      20000 | #Constraints:     629503
84.42/84.78	c #Conflicts:      21000 | #Constraints:     630503
84.42/84.78	c #Conflicts:      22000 | #Constraints:     631503
84.42/84.78	c #Conflicts:      23000 | #Constraints:     632503
84.42/84.78	c #Conflicts:      24000 | #Constraints:     633503
84.42/84.78	c #Conflicts:      25000 | #Constraints:     634503
84.42/84.78	c INPROCESSING
84.42/84.78	c rational objective 4866.25
123.89/124.34	c #Conflicts:      26000 | #Constraints:     627445
123.89/124.34	c #Conflicts:      27000 | #Constraints:     628445
123.89/124.34	c #Conflicts:      28000 | #Constraints:     629445
123.89/124.34	c #Conflicts:      29000 | #Constraints:     630445
123.89/124.34	c #Conflicts:      30000 | #Constraints:     631445
123.89/124.34	c #Conflicts:      31000 | #Constraints:     632445
123.89/124.34	c #Conflicts:      32000 | #Constraints:     633445
123.89/124.34	c #Conflicts:      33000 | #Constraints:     634445
123.89/124.34	c #Conflicts:      34000 | #Constraints:     635445
123.89/124.34	c #Conflicts:      35000 | #Constraints:     636445
123.89/124.34	c #Conflicts:      36000 | #Constraints:     637445
123.89/124.34	c INPROCESSING
123.89/124.34	c GARBAGE COLLECT
123.89/124.34	c rational objective 4885.61
139.55/140.07	c #Conflicts:      37000 | #Constraints:     629104
139.55/140.07	c #Conflicts:      38000 | #Constraints:     630104
139.55/140.07	c #Conflicts:      39000 | #Constraints:     631104
139.55/140.07	c #Conflicts:      40000 | #Constraints:     632104
139.55/140.07	c #Conflicts:      41000 | #Constraints:     633104
139.55/140.07	c #Conflicts:      42000 | #Constraints:     634104
139.55/140.07	c #Conflicts:      43000 | #Constraints:     635104
139.55/140.07	c #Conflicts:      44000 | #Constraints:     636104
139.55/140.07	c #Conflicts:      45000 | #Constraints:     637104
139.55/140.07	c #Conflicts:      46000 | #Constraints:     638104
139.55/140.07	c #Conflicts:      47000 | #Constraints:     639104
139.55/140.07	c #Conflicts:      48000 | #Constraints:     640104
139.55/140.07	c #Conflicts:      49000 | #Constraints:     641104
139.55/140.07	c INPROCESSING
139.55/140.07	c rational objective 4896.78
176.22/176.89	c #Conflicts:      50000 | #Constraints:     630816
176.22/176.89	c #Conflicts:      51000 | #Constraints:     631816
176.22/176.89	c #Conflicts:      52000 | #Constraints:     632816
176.22/176.89	c #Conflicts:      53000 | #Constraints:     633816
176.22/176.89	c #Conflicts:      54000 | #Constraints:     634816
176.22/176.89	c #Conflicts:      55000 | #Constraints:     635816
176.22/176.89	c #Conflicts:      56000 | #Constraints:     636816
176.22/176.89	c #Conflicts:      57000 | #Constraints:     637816
176.22/176.89	c #Conflicts:      58000 | #Constraints:     638816
176.22/176.89	c #Conflicts:      59000 | #Constraints:     639816
176.22/176.89	c #Conflicts:      60000 | #Constraints:     640816
176.22/176.89	c #Conflicts:      61000 | #Constraints:     641816
176.22/176.89	c #Conflicts:      62000 | #Constraints:     642816
176.22/176.89	c #Conflicts:      63000 | #Constraints:     643816
176.22/176.89	c #Conflicts:      64000 | #Constraints:     644816
176.22/176.89	c INPROCESSING
176.22/176.89	c GARBAGE COLLECT
176.22/176.89	c rational objective 4910.95
218.39/219.20	c #Conflicts:      65000 | #Constraints:     632661
218.39/219.20	c #Conflicts:      66000 | #Constraints:     633661
218.39/219.20	c #Conflicts:      67000 | #Constraints:     634661
218.39/219.20	c #Conflicts:      68000 | #Constraints:     635661
218.39/219.20	c #Conflicts:      69000 | #Constraints:     636661
218.39/219.20	c #Conflicts:      70000 | #Constraints:     637661
218.39/219.20	c #Conflicts:      71000 | #Constraints:     638661
218.39/219.20	c #Conflicts:      72000 | #Constraints:     639661
218.39/219.20	c #Conflicts:      73000 | #Constraints:     640661
218.39/219.20	c #Conflicts:      74000 | #Constraints:     641661
218.39/219.20	c #Conflicts:      75000 | #Constraints:     642661
218.39/219.20	c #Conflicts:      76000 | #Constraints:     643661
218.39/219.20	c #Conflicts:      77000 | #Constraints:     644661
218.39/219.20	c #Conflicts:      78000 | #Constraints:     645661
218.39/219.20	c #Conflicts:      79000 | #Constraints:     646661
218.39/219.20	c #Conflicts:      80000 | #Constraints:     647661
218.39/219.20	c #Conflicts:      81000 | #Constraints:     648661
218.39/219.20	c INPROCESSING
218.39/219.20	c rational objective 4926.83
267.21/268.16	c #Conflicts:      82000 | #Constraints:     634274
267.21/268.16	c #Conflicts:      83000 | #Constraints:     635274
267.21/268.16	c #Conflicts:      84000 | #Constraints:     636274
267.21/268.16	c #Conflicts:      85000 | #Constraints:     637274
267.21/268.16	c #Conflicts:      86000 | #Constraints:     638274
267.21/268.16	c #Conflicts:      87000 | #Constraints:     639274
267.21/268.16	c #Conflicts:      88000 | #Constraints:     640274
267.21/268.16	c #Conflicts:      89000 | #Constraints:     641274
267.21/268.16	c #Conflicts:      90000 | #Constraints:     642274
267.21/268.16	c #Conflicts:      91000 | #Constraints:     643274
267.21/268.16	c #Conflicts:      92000 | #Constraints:     644274
267.21/268.16	c #Conflicts:      93000 | #Constraints:     645274
267.21/268.16	c #Conflicts:      94000 | #Constraints:     646274
267.21/268.16	c #Conflicts:      95000 | #Constraints:     647274
267.21/268.16	c #Conflicts:      96000 | #Constraints:     648274
267.21/268.16	c #Conflicts:      97000 | #Constraints:     649274
267.21/268.16	c #Conflicts:      98000 | #Constraints:     650274
267.21/268.16	c #Conflicts:      99000 | #Constraints:     651274
267.21/268.16	c #Conflicts:     100000 | #Constraints:     652274
267.21/268.16	c #Conflicts:     101000 | #Constraints:     653274
267.21/268.16	c INPROCESSING
267.21/268.16	c GARBAGE COLLECT
267.21/268.16	c rational objective 4936.32
325.78/326.90	c #Conflicts:     102000 | #Constraints:     637225
325.78/326.90	c #Conflicts:     103000 | #Constraints:     638225
325.78/326.90	c #Conflicts:     104000 | #Constraints:     639225
325.78/326.90	c #Conflicts:     105000 | #Constraints:     640225
325.78/326.90	c #Conflicts:     106000 | #Constraints:     641225
325.78/326.90	c #Conflicts:     107000 | #Constraints:     642225
325.78/326.90	c #Conflicts:     108000 | #Constraints:     643225
325.78/326.90	c #Conflicts:     109000 | #Constraints:     644225
325.78/326.90	c #Conflicts:     110000 | #Constraints:     645225
325.78/326.90	c #Conflicts:     111000 | #Constraints:     646225
325.78/326.90	c #Conflicts:     112000 | #Constraints:     647225
325.78/326.90	c #Conflicts:     113000 | #Constraints:     648225
325.78/326.90	c #Conflicts:     114000 | #Constraints:     649225
325.78/326.90	c #Conflicts:     115000 | #Constraints:     650225
325.78/326.90	c #Conflicts:     116000 | #Constraints:     651225
325.78/326.90	c #Conflicts:     117000 | #Constraints:     652225
325.78/326.90	c #Conflicts:     118000 | #Constraints:     653225
325.78/326.90	c #Conflicts:     119000 | #Constraints:     654225
325.78/326.90	c #Conflicts:     120000 | #Constraints:     655225
325.78/326.90	c #Conflicts:     121000 | #Constraints:     656225
325.78/326.90	c #Conflicts:     122000 | #Constraints:     657225
325.78/326.90	c INPROCESSING
325.78/326.90	c GARBAGE COLLECT
325.78/326.90	c rational objective 5038.45
399.21/400.62	c #Conflicts:     123000 | #Constraints:     633623
399.21/400.62	c #Conflicts:     124000 | #Constraints:     634623
399.21/400.62	c #Conflicts:     125000 | #Constraints:     635623
399.21/400.62	c #Conflicts:     126000 | #Constraints:     636623
399.21/400.62	c #Conflicts:     127000 | #Constraints:     637623
399.21/400.62	c #Conflicts:     128000 | #Constraints:     638623
399.21/400.62	c #Conflicts:     129000 | #Constraints:     639623
399.21/400.62	c #Conflicts:     130000 | #Constraints:     640623
399.21/400.62	c #Conflicts:     131000 | #Constraints:     641623
399.21/400.62	c #Conflicts:     132000 | #Constraints:     642623
399.21/400.62	c #Conflicts:     133000 | #Constraints:     643623
399.21/400.62	c #Conflicts:     134000 | #Constraints:     644623
399.21/400.62	c #Conflicts:     135000 | #Constraints:     645623
399.21/400.62	c #Conflicts:     136000 | #Constraints:     646623
399.21/400.62	c #Conflicts:     137000 | #Constraints:     647623
399.21/400.62	c #Conflicts:     138000 | #Constraints:     648623
399.21/400.62	c #Conflicts:     139000 | #Constraints:     649623
399.21/400.62	c #Conflicts:     140000 | #Constraints:     650623
399.21/400.62	c #Conflicts:     141000 | #Constraints:     651623
399.21/400.62	c #Conflicts:     142000 | #Constraints:     652623
399.21/400.62	c #Conflicts:     143000 | #Constraints:     653623
399.21/400.62	c #Conflicts:     144000 | #Constraints:     654623
399.21/400.62	c #Conflicts:     145000 | #Constraints:     655623
399.21/400.62	c INPROCESSING
399.21/400.62	c GARBAGE COLLECT
399.21/400.62	c rational objective 5082.95
488.07/489.89	c #Conflicts:     146000 | #Constraints:     633806
488.07/489.89	c #Conflicts:     147000 | #Constraints:     634806
488.07/489.89	c #Conflicts:     148000 | #Constraints:     635806
488.07/489.89	c #Conflicts:     149000 | #Constraints:     636806
488.07/489.89	c #Conflicts:     150000 | #Constraints:     637806
488.07/489.89	c #Conflicts:     151000 | #Constraints:     638806
488.07/489.89	c #Conflicts:     152000 | #Constraints:     639806
488.07/489.89	c #Conflicts:     153000 | #Constraints:     640806
488.07/489.89	c #Conflicts:     154000 | #Constraints:     641806
488.07/489.89	c #Conflicts:     155000 | #Constraints:     642806
488.07/489.89	c #Conflicts:     156000 | #Constraints:     643806
488.07/489.89	c #Conflicts:     157000 | #Constraints:     644806
488.07/489.89	c #Conflicts:     158000 | #Constraints:     645806
488.07/489.89	c #Conflicts:     159000 | #Constraints:     646806
488.07/489.89	c #Conflicts:     160000 | #Constraints:     647806
488.07/489.89	c #Conflicts:     161000 | #Constraints:     648806
488.07/489.89	c #Conflicts:     162000 | #Constraints:     649806
488.07/489.89	c #Conflicts:     163000 | #Constraints:     650806
488.07/489.89	c #Conflicts:     164000 | #Constraints:     651806
488.07/489.89	c #Conflicts:     165000 | #Constraints:     652806
488.07/489.89	c #Conflicts:     166000 | #Constraints:     653806
488.07/489.89	c #Conflicts:     167000 | #Constraints:     654806
488.07/489.89	c #Conflicts:     168000 | #Constraints:     655806
488.07/489.89	c #Conflicts:     169000 | #Constraints:     656806
488.07/489.89	c #Conflicts:     170000 | #Constraints:     657806
488.07/489.89	c INPROCESSING
488.07/489.89	c GARBAGE COLLECT
488.07/489.89	c rational objective 5098.81
582.04/584.15	c #Conflicts:     171000 | #Constraints:     635640
582.04/584.15	c #Conflicts:     172000 | #Constraints:     636640
582.04/584.15	c #Conflicts:     173000 | #Constraints:     637640
582.04/584.15	c #Conflicts:     174000 | #Constraints:     638640
582.04/584.15	c #Conflicts:     175000 | #Constraints:     639640
582.04/584.15	c #Conflicts:     176000 | #Constraints:     640640
582.04/584.15	c #Conflicts:     177000 | #Constraints:     641640
582.04/584.15	c #Conflicts:     178000 | #Constraints:     642640
582.04/584.15	c #Conflicts:     179000 | #Constraints:     643640
582.04/584.15	c #Conflicts:     180000 | #Constraints:     644640
582.04/584.15	c #Conflicts:     181000 | #Constraints:     645640
582.04/584.15	c #Conflicts:     182000 | #Constraints:     646640
582.04/584.15	c #Conflicts:     183000 | #Constraints:     647640
582.04/584.15	c #Conflicts:     184000 | #Constraints:     648640
582.04/584.15	c #Conflicts:     185000 | #Constraints:     649640
582.04/584.15	c #Conflicts:     186000 | #Constraints:     650640
582.04/584.15	c #Conflicts:     187000 | #Constraints:     651640
582.04/584.15	c #Conflicts:     188000 | #Constraints:     652640
582.04/584.15	c #Conflicts:     189000 | #Constraints:     653640
582.04/584.15	c #Conflicts:     190000 | #Constraints:     654640
582.04/584.15	c #Conflicts:     191000 | #Constraints:     655640
582.04/584.15	c #Conflicts:     192000 | #Constraints:     656640
582.04/584.15	c #Conflicts:     193000 | #Constraints:     657640
582.04/584.15	c #Conflicts:     194000 | #Constraints:     658640
582.04/584.15	c #Conflicts:     195000 | #Constraints:     659640
582.04/584.15	c #Conflicts:     196000 | #Constraints:     660640
582.04/584.15	c #Conflicts:     197000 | #Constraints:     661640
582.04/584.15	c INPROCESSING
582.04/584.15	c GARBAGE COLLECT
582.04/584.15	c rational objective 5115.56
868.72/871.98	c #Conflicts:     198000 | #Constraints:     637457
868.72/871.98	c #Conflicts:     199000 | #Constraints:     638457
868.72/871.98	c #Conflicts:     200000 | #Constraints:     639457
868.72/871.98	c #Conflicts:     201000 | #Constraints:     640457
868.72/871.98	c #Conflicts:     202000 | #Constraints:     641457
868.72/871.98	c #Conflicts:     203000 | #Constraints:     642457
868.72/871.98	c #Conflicts:     204000 | #Constraints:     643457
868.72/871.98	c #Conflicts:     205000 | #Constraints:     644457
868.72/871.98	c #Conflicts:     206000 | #Constraints:     645457
868.72/871.98	c #Conflicts:     207000 | #Constraints:     646457
868.72/871.98	c #Conflicts:     208000 | #Constraints:     647457
868.72/871.98	c #Conflicts:     209000 | #Constraints:     648457
868.72/871.98	c #Conflicts:     210000 | #Constraints:     649457
868.72/871.98	c #Conflicts:     211000 | #Constraints:     650457
868.72/871.98	c #Conflicts:     212000 | #Constraints:     651457
868.72/871.98	c #Conflicts:     213000 | #Constraints:     652457
868.72/871.98	c #Conflicts:     214000 | #Constraints:     653457
868.72/871.98	c #Conflicts:     215000 | #Constraints:     654457
868.72/871.98	c #Conflicts:     216000 | #Constraints:     655457
868.72/871.98	c #Conflicts:     217000 | #Constraints:     656457
868.72/871.98	c #Conflicts:     218000 | #Constraints:     657457
868.72/871.98	c #Conflicts:     219000 | #Constraints:     658457
868.72/871.98	c #Conflicts:     220000 | #Constraints:     659457
868.72/871.98	c #Conflicts:     221000 | #Constraints:     660457
868.72/871.98	c #Conflicts:     222000 | #Constraints:     661457
868.72/871.98	c #Conflicts:     223000 | #Constraints:     662457
868.72/871.98	c #Conflicts:     224000 | #Constraints:     663457
868.72/871.98	c #Conflicts:     225000 | #Constraints:     664457
868.72/871.98	c #Conflicts:     226000 | #Constraints:     665457
868.72/871.98	c INPROCESSING
868.72/871.98	c GARBAGE COLLECT
868.72/871.98	c #Conflicts:     227000 | #Constraints:     638523
868.72/871.98	c #Conflicts:     228000 | #Constraints:     639523
868.72/871.98	c #Conflicts:     229000 | #Constraints:     640523
868.72/871.98	c #Conflicts:     230000 | #Constraints:     641523
868.72/871.98	c #Conflicts:     231000 | #Constraints:     642523
868.72/871.98	c #Conflicts:     232000 | #Constraints:     643523
868.72/871.98	c #Conflicts:     233000 | #Constraints:     644523
868.72/871.98	c #Conflicts:     234000 | #Constraints:     645523
868.72/871.98	c #Conflicts:     235000 | #Constraints:     646523
868.72/871.98	c #Conflicts:     236000 | #Constraints:     647523
868.72/871.98	c #Conflicts:     237000 | #Constraints:     648523
868.72/871.98	c #Conflicts:     238000 | #Constraints:     649523
868.72/871.98	c #Conflicts:     239000 | #Constraints:     650523
868.72/871.98	c #Conflicts:     240000 | #Constraints:     651523
868.72/871.98	c #Conflicts:     241000 | #Constraints:     652523
868.72/871.98	c #Conflicts:     242000 | #Constraints:     653523
868.72/871.98	c #Conflicts:     243000 | #Constraints:     654523
868.72/871.98	c #Conflicts:     244000 | #Constraints:     655523
868.72/871.98	c #Conflicts:     245000 | #Constraints:     656523
868.72/871.98	c #Conflicts:     246000 | #Constraints:     657523
868.72/871.98	c #Conflicts:     247000 | #Constraints:     658523
868.72/871.98	c #Conflicts:     248000 | #Constraints:     659523
868.72/871.98	c #Conflicts:     249000 | #Constraints:     660523
868.72/871.98	c #Conflicts:     250000 | #Constraints:     661523
868.72/871.98	c #Conflicts:     251000 | #Constraints:     662523
868.72/871.98	c #Conflicts:     252000 | #Constraints:     663523
868.72/871.98	c #Conflicts:     253000 | #Constraints:     664523
868.72/871.98	c #Conflicts:     254000 | #Constraints:     665523
868.72/871.98	c #Conflicts:     255000 | #Constraints:     666523
868.72/871.98	c #Conflicts:     256000 | #Constraints:     667523
868.72/871.98	c #Conflicts:     257000 | #Constraints:     668523
868.72/871.98	c INPROCESSING
868.72/871.98	c GARBAGE COLLECT
868.72/871.98	c rational objective 5222.81
962.27/965.86	c #Conflicts:     258000 | #Constraints:     636315
962.27/965.86	c #Conflicts:     259000 | #Constraints:     637315
962.27/965.86	c #Conflicts:     260000 | #Constraints:     638315
962.27/965.86	c #Conflicts:     261000 | #Constraints:     639315
962.27/965.86	c #Conflicts:     262000 | #Constraints:     640315
962.27/965.86	c #Conflicts:     263000 | #Constraints:     641315
962.27/965.86	c #Conflicts:     264000 | #Constraints:     642315
962.27/965.86	c #Conflicts:     265000 | #Constraints:     643315
962.27/965.86	c #Conflicts:     266000 | #Constraints:     644315
962.27/965.86	c #Conflicts:     267000 | #Constraints:     645315
962.27/965.86	c #Conflicts:     268000 | #Constraints:     646315
962.27/965.86	c #Conflicts:     269000 | #Constraints:     647315
962.27/965.86	c #Conflicts:     270000 | #Constraints:     648315
962.27/965.86	c #Conflicts:     271000 | #Constraints:     649315
962.27/965.86	c #Conflicts:     272000 | #Constraints:     650315
962.27/965.86	c #Conflicts:     273000 | #Constraints:     651315
962.27/965.86	c #Conflicts:     274000 | #Constraints:     652315
962.27/965.86	c #Conflicts:     275000 | #Constraints:     653315
962.27/965.86	c #Conflicts:     276000 | #Constraints:     654315
962.27/965.86	c #Conflicts:     277000 | #Constraints:     655315
962.27/965.86	c #Conflicts:     278000 | #Constraints:     656315
962.27/965.86	c #Conflicts:     279000 | #Constraints:     657315
962.27/965.86	c #Conflicts:     280000 | #Constraints:     658315
962.27/965.86	c #Conflicts:     281000 | #Constraints:     659315
962.27/965.86	c #Conflicts:     282000 | #Constraints:     660315
962.27/965.86	c #Conflicts:     283000 | #Constraints:     661315
962.27/965.86	c #Conflicts:     284000 | #Constraints:     662315
962.27/965.86	c #Conflicts:     285000 | #Constraints:     663315
962.27/965.86	c #Conflicts:     286000 | #Constraints:     664315
962.27/965.86	c #Conflicts:     287000 | #Constraints:     665315
962.27/965.86	c #Conflicts:     288000 | #Constraints:     666315
962.27/965.86	c #Conflicts:     289000 | #Constraints:     667315
962.27/965.86	c #Conflicts:     290000 | #Constraints:     668315
962.27/965.86	c INPROCESSING
962.27/965.86	c GARBAGE COLLECT
962.27/965.86	c rational objective 5242.01
1064.30/1068.20	c #Conflicts:     291000 | #Constraints:     637275
1064.30/1068.20	c #Conflicts:     292000 | #Constraints:     638275
1064.30/1068.20	c #Conflicts:     293000 | #Constraints:     639275
1064.30/1068.20	c #Conflicts:     294000 | #Constraints:     640275
1064.30/1068.20	c #Conflicts:     295000 | #Constraints:     641275
1064.30/1068.20	c #Conflicts:     296000 | #Constraints:     642275
1064.30/1068.20	c #Conflicts:     297000 | #Constraints:     643275
1064.30/1068.20	c #Conflicts:     298000 | #Constraints:     644275
1064.30/1068.20	c #Conflicts:     299000 | #Constraints:     645275
1064.30/1068.20	c #Conflicts:     300000 | #Constraints:     646275
1064.30/1068.20	c #Conflicts:     301000 | #Constraints:     647275
1064.30/1068.20	c #Conflicts:     302000 | #Constraints:     648275
1064.30/1068.20	c #Conflicts:     303000 | #Constraints:     649275
1064.30/1068.20	c #Conflicts:     304000 | #Constraints:     650275
1064.30/1068.20	c #Conflicts:     305000 | #Constraints:     651275
1064.30/1068.20	c #Conflicts:     306000 | #Constraints:     652275
1064.30/1068.20	c #Conflicts:     307000 | #Constraints:     653275
1064.30/1068.20	c #Conflicts:     308000 | #Constraints:     654275
1064.30/1068.20	c #Conflicts:     309000 | #Constraints:     655275
1064.30/1068.20	c #Conflicts:     310000 | #Constraints:     656275
1064.30/1068.20	c #Conflicts:     311000 | #Constraints:     657275
1064.30/1068.20	c #Conflicts:     312000 | #Constraints:     658275
1064.30/1068.20	c #Conflicts:     313000 | #Constraints:     659275
1064.30/1068.20	c #Conflicts:     314000 | #Constraints:     660275
1064.30/1068.20	c #Conflicts:     315000 | #Constraints:     661275
1064.30/1068.20	c #Conflicts:     316000 | #Constraints:     662275
1064.30/1068.20	c #Conflicts:     317000 | #Constraints:     663275
1064.30/1068.20	c #Conflicts:     318000 | #Constraints:     664275
1064.30/1068.20	c #Conflicts:     319000 | #Constraints:     665275
1064.30/1068.20	c #Conflicts:     320000 | #Constraints:     666275
1064.30/1068.20	c #Conflicts:     321000 | #Constraints:     667275
1064.30/1068.20	c #Conflicts:     322000 | #Constraints:     668275
1064.30/1068.20	c #Conflicts:     323000 | #Constraints:     669275
1064.30/1068.20	c #Conflicts:     324000 | #Constraints:     670275
1064.30/1068.20	c #Conflicts:     325000 | #Constraints:     671275
1064.30/1068.20	c INPROCESSING
1064.30/1068.20	c GARBAGE COLLECT
1064.30/1068.20	c rational objective 5268.14
1166.55/1170.82	c #Conflicts:     326000 | #Constraints:     638769
1166.55/1170.82	c #Conflicts:     327000 | #Constraints:     639769
1166.55/1170.82	c #Conflicts:     328000 | #Constraints:     640769
1166.55/1170.82	c #Conflicts:     329000 | #Constraints:     641769
1166.55/1170.82	c #Conflicts:     330000 | #Constraints:     642769
1166.55/1170.82	c #Conflicts:     331000 | #Constraints:     643769
1166.55/1170.82	c #Conflicts:     332000 | #Constraints:     644769
1166.55/1170.82	c #Conflicts:     333000 | #Constraints:     645769
1166.55/1170.82	c #Conflicts:     334000 | #Constraints:     646769
1166.55/1170.82	c #Conflicts:     335000 | #Constraints:     647769
1166.55/1170.82	c #Conflicts:     336000 | #Constraints:     648769
1166.55/1170.82	c #Conflicts:     337000 | #Constraints:     649769
1166.55/1170.82	c #Conflicts:     338000 | #Constraints:     650769
1166.55/1170.82	c #Conflicts:     339000 | #Constraints:     651769
1166.55/1170.82	c #Conflicts:     340000 | #Constraints:     652769
1166.55/1170.82	c #Conflicts:     341000 | #Constraints:     653769
1166.55/1170.82	c #Conflicts:     342000 | #Constraints:     654769
1166.55/1170.82	c #Conflicts:     343000 | #Constraints:     655769
1166.55/1170.82	c #Conflicts:     344000 | #Constraints:     656769
1166.55/1170.82	c #Conflicts:     345000 | #Constraints:     657769
1166.55/1170.82	c #Conflicts:     346000 | #Constraints:     658769
1166.55/1170.82	c #Conflicts:     347000 | #Constraints:     659769
1166.55/1170.82	c #Conflicts:     348000 | #Constraints:     660769
1166.55/1170.82	c #Conflicts:     349000 | #Constraints:     661769
1166.55/1170.82	c #Conflicts:     350000 | #Constraints:     662769
1166.55/1170.82	c #Conflicts:     351000 | #Constraints:     663769
1166.55/1170.82	c #Conflicts:     352000 | #Constraints:     664769
1166.55/1170.82	c #Conflicts:     353000 | #Constraints:     665769
1166.55/1170.82	c #Conflicts:     354000 | #Constraints:     666769
1166.55/1170.82	c #Conflicts:     355000 | #Constraints:     667769
1166.55/1170.82	c #Conflicts:     356000 | #Constraints:     668769
1166.55/1170.82	c #Conflicts:     357000 | #Constraints:     669769
1166.55/1170.82	c #Conflicts:     358000 | #Constraints:     670769
1166.55/1170.82	c #Conflicts:     359000 | #Constraints:     671769
1166.55/1170.82	c #Conflicts:     360000 | #Constraints:     672769
1166.55/1170.82	c #Conflicts:     361000 | #Constraints:     673769
1166.55/1170.82	c #Conflicts:     362000 | #Constraints:     674769
1166.55/1170.82	c INPROCESSING
1166.55/1170.82	c GARBAGE COLLECT
1166.55/1170.82	c rational objective 5287.38
1277.89/1282.52	c #Conflicts:     363000 | #Constraints:     640610
1277.89/1282.52	c #Conflicts:     364000 | #Constraints:     641610
1277.89/1282.52	c #Conflicts:     365000 | #Constraints:     642610
1277.89/1282.52	c #Conflicts:     366000 | #Constraints:     643610
1277.89/1282.52	c #Conflicts:     367000 | #Constraints:     644610
1277.89/1282.52	c #Conflicts:     368000 | #Constraints:     645610
1277.89/1282.52	c #Conflicts:     369000 | #Constraints:     646610
1277.89/1282.52	c #Conflicts:     370000 | #Constraints:     647610
1277.89/1282.52	c #Conflicts:     371000 | #Constraints:     648610
1277.89/1282.52	c #Conflicts:     372000 | #Constraints:     649610
1277.89/1282.52	c #Conflicts:     373000 | #Constraints:     650610
1277.89/1282.52	c #Conflicts:     374000 | #Constraints:     651610
1277.89/1282.52	c #Conflicts:     375000 | #Constraints:     652610
1277.89/1282.52	c #Conflicts:     376000 | #Constraints:     653610
1277.89/1282.52	c #Conflicts:     377000 | #Constraints:     654610
1277.89/1282.52	c #Conflicts:     378000 | #Constraints:     655610
1277.89/1282.52	c #Conflicts:     379000 | #Constraints:     656610
1277.89/1282.52	c #Conflicts:     380000 | #Constraints:     657610
1277.89/1282.52	c #Conflicts:     381000 | #Constraints:     658610
1277.89/1282.52	c #Conflicts:     382000 | #Constraints:     659610
1277.89/1282.52	c #Conflicts:     383000 | #Constraints:     660610
1277.89/1282.52	c #Conflicts:     384000 | #Constraints:     661610
1277.89/1282.52	c #Conflicts:     385000 | #Constraints:     662610
1277.89/1282.52	c #Conflicts:     386000 | #Constraints:     663610
1277.89/1282.52	c #Conflicts:     387000 | #Constraints:     664610
1277.89/1282.52	c #Conflicts:     388000 | #Constraints:     665610
1277.89/1282.52	c #Conflicts:     389000 | #Constraints:     666610
1277.89/1282.52	c #Conflicts:     390000 | #Constraints:     667610
1277.89/1282.52	c #Conflicts:     391000 | #Constraints:     668610
1277.89/1282.52	c #Conflicts:     392000 | #Constraints:     669610
1277.89/1282.52	c #Conflicts:     393000 | #Constraints:     670610
1277.89/1282.52	c #Conflicts:     394000 | #Constraints:     671610
1277.89/1282.52	c #Conflicts:     395000 | #Constraints:     672610
1277.89/1282.52	c #Conflicts:     396000 | #Constraints:     673610
1277.89/1282.52	c #Conflicts:     397000 | #Constraints:     674610
1277.89/1282.52	c #Conflicts:     398000 | #Constraints:     675610
1277.89/1282.52	c #Conflicts:     399000 | #Constraints:     676610
1277.89/1282.52	c #Conflicts:     400000 | #Constraints:     677610
1277.89/1282.52	c #Conflicts:     401000 | #Constraints:     678610
1277.89/1282.52	c #Conflicts:     402000 | #Constraints:     679610
1277.89/1282.52	c INPROCESSING
1277.89/1282.52	c GARBAGE COLLECT
1277.89/1282.52	c rational objective 5300.59
1404.00/1409.05	c #Conflicts:     403000 | #Constraints:     643552
1404.00/1409.05	c #Conflicts:     404000 | #Constraints:     644552
1404.00/1409.05	c #Conflicts:     405000 | #Constraints:     645552
1404.00/1409.05	c #Conflicts:     406000 | #Constraints:     646552
1404.00/1409.05	c #Conflicts:     407000 | #Constraints:     647552
1404.00/1409.05	c #Conflicts:     408000 | #Constraints:     648552
1404.00/1409.05	c #Conflicts:     409000 | #Constraints:     649552
1404.00/1409.05	c #Conflicts:     410000 | #Constraints:     650552
1404.00/1409.05	c #Conflicts:     411000 | #Constraints:     651552
1404.00/1409.05	c #Conflicts:     412000 | #Constraints:     652552
1404.00/1409.05	c #Conflicts:     413000 | #Constraints:     653552
1404.00/1409.05	c #Conflicts:     414000 | #Constraints:     654552
1404.00/1409.05	c #Conflicts:     415000 | #Constraints:     655552
1404.00/1409.05	c #Conflicts:     416000 | #Constraints:     656552
1404.00/1409.05	c #Conflicts:     417000 | #Constraints:     657552
1404.00/1409.05	c #Conflicts:     418000 | #Constraints:     658552
1404.00/1409.05	c #Conflicts:     419000 | #Constraints:     659552
1404.00/1409.05	c #Conflicts:     420000 | #Constraints:     660552
1404.00/1409.05	c #Conflicts:     421000 | #Constraints:     661552
1404.00/1409.05	c #Conflicts:     422000 | #Constraints:     662552
1404.00/1409.05	c #Conflicts:     423000 | #Constraints:     663552
1404.00/1409.05	c #Conflicts:     424000 | #Constraints:     664552
1404.00/1409.05	c #Conflicts:     425000 | #Constraints:     665552
1404.00/1409.05	c #Conflicts:     426000 | #Constraints:     666552
1404.00/1409.05	c #Conflicts:     427000 | #Constraints:     667552
1404.00/1409.05	c #Conflicts:     428000 | #Constraints:     668552
1404.00/1409.05	c #Conflicts:     429000 | #Constraints:     669552
1404.00/1409.05	c #Conflicts:     430000 | #Constraints:     670552
1404.00/1409.05	c #Conflicts:     431000 | #Constraints:     671552
1404.00/1409.05	c #Conflicts:     432000 | #Constraints:     672552
1404.00/1409.05	c #Conflicts:     433000 | #Constraints:     673552
1404.00/1409.05	c #Conflicts:     434000 | #Constraints:     674552
1404.00/1409.05	c #Conflicts:     435000 | #Constraints:     675552
1404.00/1409.05	c #Conflicts:     436000 | #Constraints:     676552
1404.00/1409.05	c #Conflicts:     437000 | #Constraints:     677552
1404.00/1409.05	c #Conflicts:     438000 | #Constraints:     678552
1404.00/1409.05	c #Conflicts:     439000 | #Constraints:     679552
1404.00/1409.05	c #Conflicts:     440000 | #Constraints:     680552
1404.00/1409.05	c #Conflicts:     441000 | #Constraints:     681552
1404.00/1409.05	c #Conflicts:     442000 | #Constraints:     682552
1404.00/1409.05	c #Conflicts:     443000 | #Constraints:     683552
1404.00/1409.05	c INPROCESSING
1404.00/1409.05	c GARBAGE COLLECT
1404.00/1409.05	c rational objective 5314.54
1535.46/1540.94	c #Conflicts:     444000 | #Constraints:     645559
1535.46/1540.94	c #Conflicts:     445000 | #Constraints:     646559
1535.46/1540.94	c #Conflicts:     446000 | #Constraints:     647559
1535.46/1540.94	c #Conflicts:     447000 | #Constraints:     648559
1535.46/1540.94	c #Conflicts:     448000 | #Constraints:     649559
1535.46/1540.94	c #Conflicts:     449000 | #Constraints:     650559
1535.46/1540.94	c #Conflicts:     450000 | #Constraints:     651559
1535.46/1540.94	c #Conflicts:     451000 | #Constraints:     652559
1535.46/1540.94	c #Conflicts:     452000 | #Constraints:     653559
1535.46/1540.94	c #Conflicts:     453000 | #Constraints:     654559
1535.46/1540.94	c #Conflicts:     454000 | #Constraints:     655559
1535.46/1540.94	c #Conflicts:     455000 | #Constraints:     656559
1535.46/1540.94	c #Conflicts:     456000 | #Constraints:     657559
1535.46/1540.94	c #Conflicts:     457000 | #Constraints:     658559
1535.46/1540.94	c #Conflicts:     458000 | #Constraints:     659559
1535.46/1540.94	c #Conflicts:     459000 | #Constraints:     660559
1535.46/1540.94	c #Conflicts:     460000 | #Constraints:     661559
1535.46/1540.94	c #Conflicts:     461000 | #Constraints:     662559
1535.46/1540.94	c #Conflicts:     462000 | #Constraints:     663559
1535.46/1540.94	c #Conflicts:     463000 | #Constraints:     664559
1535.46/1540.94	c #Conflicts:     464000 | #Constraints:     665559
1535.46/1540.94	c #Conflicts:     465000 | #Constraints:     666559
1535.46/1540.94	c #Conflicts:     466000 | #Constraints:     667559
1535.46/1540.94	c #Conflicts:     467000 | #Constraints:     668559
1535.46/1540.94	c #Conflicts:     468000 | #Constraints:     669559
1535.46/1540.94	c #Conflicts:     469000 | #Constraints:     670559
1535.46/1540.94	c #Conflicts:     470000 | #Constraints:     671559
1535.46/1540.94	c #Conflicts:     471000 | #Constraints:     672559
1535.46/1540.94	c #Conflicts:     472000 | #Constraints:     673559
1535.46/1540.94	c #Conflicts:     473000 | #Constraints:     674559
1535.46/1540.94	c #Conflicts:     474000 | #Constraints:     675559
1535.46/1540.94	c #Conflicts:     475000 | #Constraints:     676559
1535.46/1540.94	c #Conflicts:     476000 | #Constraints:     677559
1535.46/1540.94	c #Conflicts:     477000 | #Constraints:     678559
1535.46/1540.94	c #Conflicts:     478000 | #Constraints:     679559
1535.46/1540.94	c #Conflicts:     479000 | #Constraints:     680559
1535.46/1540.94	c #Conflicts:     480000 | #Constraints:     681559
1535.46/1540.94	c #Conflicts:     481000 | #Constraints:     682559
1535.46/1540.94	c #Conflicts:     482000 | #Constraints:     683559
1535.46/1540.94	c #Conflicts:     483000 | #Constraints:     684559
1535.46/1540.94	c #Conflicts:     484000 | #Constraints:     685559
1535.46/1540.94	c #Conflicts:     485000 | #Constraints:     686559
1535.46/1540.94	c #Conflicts:     486000 | #Constraints:     687559
1535.46/1540.94	c INPROCESSING
1535.46/1540.94	c GARBAGE COLLECT
1535.46/1540.94	c rational objective 5329.75
1648.89/1654.77	c #Conflicts:     487000 | #Constraints:     647539
1648.89/1654.77	c #Conflicts:     488000 | #Constraints:     648539
1648.89/1654.77	c #Conflicts:     489000 | #Constraints:     649539
1648.89/1654.77	c #Conflicts:     490000 | #Constraints:     650539
1648.89/1654.77	c #Conflicts:     491000 | #Constraints:     651539
1648.89/1654.77	c #Conflicts:     492000 | #Constraints:     652539
1648.89/1654.77	c #Conflicts:     493000 | #Constraints:     653539
1648.89/1654.77	c #Conflicts:     494000 | #Constraints:     654539
1648.89/1654.77	c #Conflicts:     495000 | #Constraints:     655539
1648.89/1654.77	c #Conflicts:     496000 | #Constraints:     656539
1648.89/1654.77	c #Conflicts:     497000 | #Constraints:     657539
1648.89/1654.77	c #Conflicts:     498000 | #Constraints:     658539
1648.89/1654.77	c #Conflicts:     499000 | #Constraints:     659539
1648.89/1654.77	c #Conflicts:     500000 | #Constraints:     660539
1648.89/1654.77	c #Conflicts:     501000 | #Constraints:     661539
1648.89/1654.77	c #Conflicts:     502000 | #Constraints:     662539
1648.89/1654.77	c #Conflicts:     503000 | #Constraints:     663539
1648.89/1654.77	c #Conflicts:     504000 | #Constraints:     664539
1648.89/1654.77	c #Conflicts:     505000 | #Constraints:     665539
1648.89/1654.77	c #Conflicts:     506000 | #Constraints:     666539
1648.89/1654.77	c #Conflicts:     507000 | #Constraints:     667539
1648.89/1654.77	c #Conflicts:     508000 | #Constraints:     668539
1648.89/1654.77	c #Conflicts:     509000 | #Constraints:     669539
1648.89/1654.77	c #Conflicts:     510000 | #Constraints:     670539
1648.89/1654.77	c #Conflicts:     511000 | #Constraints:     671539
1648.89/1654.77	c #Conflicts:     512000 | #Constraints:     672539
1648.89/1654.77	c #Conflicts:     513000 | #Constraints:     673539
1648.89/1654.77	c #Conflicts:     514000 | #Constraints:     674539
1648.89/1654.77	c #Conflicts:     515000 | #Constraints:     675539
1648.89/1654.77	c #Conflicts:     516000 | #Constraints:     676539
1648.89/1654.77	c #Conflicts:     517000 | #Constraints:     677539
1648.89/1654.77	c #Conflicts:     518000 | #Constraints:     678539
1648.89/1654.77	c #Conflicts:     519000 | #Constraints:     679539
1648.89/1654.77	c #Conflicts:     520000 | #Constraints:     680539
1648.89/1654.77	c #Conflicts:     521000 | #Constraints:     681539
1648.89/1654.77	c #Conflicts:     522000 | #Constraints:     682539
1648.89/1654.77	c #Conflicts:     523000 | #Constraints:     683539
1648.89/1654.77	c #Conflicts:     524000 | #Constraints:     684539
1648.89/1654.77	c #Conflicts:     525000 | #Constraints:     685539
1648.89/1654.77	c #Conflicts:     526000 | #Constraints:     686539
1648.89/1654.77	c #Conflicts:     527000 | #Constraints:     687539
1648.89/1654.77	c #Conflicts:     528000 | #Constraints:     688539
1648.89/1654.77	c #Conflicts:     529000 | #Constraints:     689539
1648.89/1654.77	c #Conflicts:     530000 | #Constraints:     690539
1648.89/1654.77	c #Conflicts:     531000 | #Constraints:     691539
1648.89/1654.77	c INPROCESSING
1648.89/1654.77	c GARBAGE COLLECT
1648.89/1654.77	c rational objective 5507.04
1781.44/1787.74	c #Conflicts:     532000 | #Constraints:     639042
1781.44/1787.74	c #Conflicts:     533000 | #Constraints:     640042
1781.44/1787.74	c #Conflicts:     534000 | #Constraints:     641042
1781.44/1787.74	c #Conflicts:     535000 | #Constraints:     642042
1781.44/1787.74	c #Conflicts:     536000 | #Constraints:     643042
1781.44/1787.74	c #Conflicts:     537000 | #Constraints:     644042
1781.44/1787.74	c #Conflicts:     538000 | #Constraints:     645042
1781.44/1787.74	c #Conflicts:     539000 | #Constraints:     646042
1781.44/1787.74	c #Conflicts:     540000 | #Constraints:     647042
1781.44/1787.74	c #Conflicts:     541000 | #Constraints:     648042
1781.44/1787.74	c #Conflicts:     542000 | #Constraints:     649042
1781.44/1787.74	c #Conflicts:     543000 | #Constraints:     650042
1781.44/1787.74	c #Conflicts:     544000 | #Constraints:     651042
1781.44/1787.74	c #Conflicts:     545000 | #Constraints:     652042
1781.44/1787.74	c #Conflicts:     546000 | #Constraints:     653042
1781.44/1787.74	c #Conflicts:     547000 | #Constraints:     654042
1781.44/1787.74	c #Conflicts:     548000 | #Constraints:     655042
1781.44/1787.74	c #Conflicts:     549000 | #Constraints:     656042
1781.44/1787.74	c #Conflicts:     550000 | #Constraints:     657042
1781.44/1787.74	c #Conflicts:     551000 | #Constraints:     658042
1781.44/1787.74	c #Conflicts:     552000 | #Constraints:     659042
1781.44/1787.74	c #Conflicts:     553000 | #Constraints:     660042
1781.44/1787.74	c #Conflicts:     554000 | #Constraints:     661042
1781.44/1787.74	c #Conflicts:     555000 | #Constraints:     662042
1781.44/1787.74	c #Conflicts:     556000 | #Constraints:     663042
1781.44/1787.74	c #Conflicts:     557000 | #Constraints:     664042
1781.44/1787.74	c #Conflicts:     558000 | #Constraints:     665042
1781.44/1787.74	c #Conflicts:     559000 | #Constraints:     666042
1781.44/1787.74	c #Conflicts:     560000 | #Constraints:     667042
1781.44/1787.74	c #Conflicts:     561000 | #Constraints:     668042
1781.44/1787.74	c #Conflicts:     562000 | #Constraints:     669042
1781.44/1787.74	c #Conflicts:     563000 | #Constraints:     670042
1781.44/1787.74	c #Conflicts:     564000 | #Constraints:     671042
1781.44/1787.74	c #Conflicts:     565000 | #Constraints:     672042
1781.44/1787.74	c #Conflicts:     566000 | #Constraints:     673042
1781.44/1787.74	c #Conflicts:     567000 | #Constraints:     674042
1781.44/1787.74	c #Conflicts:     568000 | #Constraints:     675042
1781.44/1787.74	c #Conflicts:     569000 | #Constraints:     676042
1781.44/1787.74	c #Conflicts:     570000 | #Constraints:     677042
1781.44/1787.74	c #Conflicts:     571000 | #Constraints:     678042
1781.44/1787.74	c #Conflicts:     572000 | #Constraints:     679042
1781.44/1787.74	c #Conflicts:     573000 | #Constraints:     680042
1781.44/1787.74	c #Conflicts:     574000 | #Constraints:     681042
1781.44/1787.74	c #Conflicts:     575000 | #Constraints:     682042
1781.44/1787.74	c #Conflicts:     576000 | #Constraints:     683042
1781.44/1787.74	c #Conflicts:     577000 | #Constraints:     684042
1781.44/1787.74	c #Conflicts:     578000 | #Constraints:     685042
1781.44/1787.74	c INPROCESSING
1781.44/1787.74	c GARBAGE COLLECT
1781.44/1787.74	c rational objective 5515.48
1878.55/1885.11	c #Conflicts:     579000 | #Constraints:     641108
1878.55/1885.11	c #Conflicts:     580000 | #Constraints:     642108
1878.55/1885.11	c #Conflicts:     581000 | #Constraints:     643108
1878.55/1885.11	c #Conflicts:     582000 | #Constraints:     644108
1878.55/1885.11	c #Conflicts:     583000 | #Constraints:     645108
1878.55/1885.11	c #Conflicts:     584000 | #Constraints:     646108
1878.55/1885.11	c #Conflicts:     585000 | #Constraints:     647108
1878.55/1885.11	c #Conflicts:     586000 | #Constraints:     648108
1878.55/1885.11	c #Conflicts:     587000 | #Constraints:     649108
1878.55/1885.11	c #Conflicts:     588000 | #Constraints:     650108
1878.55/1885.11	c #Conflicts:     589000 | #Constraints:     651108
1878.55/1885.11	c #Conflicts:     590000 | #Constraints:     652108
1878.55/1885.11	c #Conflicts:     591000 | #Constraints:     653108
1878.55/1885.11	c #Conflicts:     592000 | #Constraints:     654108
1878.55/1885.11	c #Conflicts:     593000 | #Constraints:     655108
1878.55/1885.11	c #Conflicts:     594000 | #Constraints:     656108
1878.55/1885.11	c #Conflicts:     595000 | #Constraints:     657108
1878.55/1885.11	c #Conflicts:     596000 | #Constraints:     658108
1878.55/1885.11	c #Conflicts:     597000 | #Constraints:     659108
1878.55/1885.11	c #Conflicts:     598000 | #Constraints:     660108
1878.55/1885.11	c #Conflicts:     599000 | #Constraints:     661108
1878.55/1885.11	c #Conflicts:     600000 | #Constraints:     662108
1878.55/1885.11	c #Conflicts:     601000 | #Constraints:     663108
1878.55/1885.11	c #Conflicts:     602000 | #Constraints:     664108
1878.55/1885.11	c #Conflicts:     603000 | #Constraints:     665108
1878.55/1885.11	c #Conflicts:     604000 | #Constraints:     666108
1878.55/1885.11	c #Conflicts:     605000 | #Constraints:     667108
1878.55/1885.11	c #Conflicts:     606000 | #Constraints:     668108
1878.55/1885.11	c #Conflicts:     607000 | #Constraints:     669108
1878.55/1885.11	c #Conflicts:     608000 | #Constraints:     670108
1878.55/1885.11	c #Conflicts:     609000 | #Constraints:     671108
1878.55/1885.11	c #Conflicts:     610000 | #Constraints:     672108
1878.55/1885.11	c #Conflicts:     611000 | #Constraints:     673108
1878.55/1885.11	c #Conflicts:     612000 | #Constraints:     674108
1878.55/1885.11	c #Conflicts:     613000 | #Constraints:     675108
1878.55/1885.11	c #Conflicts:     614000 | #Constraints:     676108
1878.55/1885.11	c #Conflicts:     615000 | #Constraints:     677108
1878.55/1885.11	c #Conflicts:     616000 | #Constraints:     678108
1878.55/1885.11	c #Conflicts:     617000 | #Constraints:     679108
1878.55/1885.11	c #Conflicts:     618000 | #Constraints:     680108
1878.55/1885.11	c #Conflicts:     619000 | #Constraints:     681108
1878.55/1885.11	c #Conflicts:     620000 | #Constraints:     682108
1878.55/1885.11	c #Conflicts:     621000 | #Constraints:     683108
1878.55/1885.11	c #Conflicts:     622000 | #Constraints:     684108
1878.55/1885.11	c #Conflicts:     623000 | #Constraints:     685108
1878.55/1885.11	c #Conflicts:     624000 | #Constraints:     686108
1878.55/1885.11	c #Conflicts:     625000 | #Constraints:     687108
1878.55/1885.11	c #Conflicts:     626000 | #Constraints:     688108
1878.55/1885.11	c #Conflicts:     627000 | #Constraints:     689108
1878.55/1885.11	c INPROCESSING
1878.55/1885.11	c GARBAGE COLLECT
1878.55/1885.11	c rational objective 5521.79
1987.40/1994.32	c #Conflicts:     628000 | #Constraints:     643272
1987.40/1994.32	c #Conflicts:     629000 | #Constraints:     644272
1987.40/1994.32	c #Conflicts:     630000 | #Constraints:     645272
1987.40/1994.32	c #Conflicts:     631000 | #Constraints:     646272
1987.40/1994.32	c #Conflicts:     632000 | #Constraints:     647272
1987.40/1994.32	c #Conflicts:     633000 | #Constraints:     648272
1987.40/1994.32	c #Conflicts:     634000 | #Constraints:     649272
1987.40/1994.32	c #Conflicts:     635000 | #Constraints:     650272
1987.40/1994.32	c #Conflicts:     636000 | #Constraints:     651272
1987.40/1994.32	c #Conflicts:     637000 | #Constraints:     652272
1987.40/1994.32	c #Conflicts:     638000 | #Constraints:     653272
1987.40/1994.32	c #Conflicts:     639000 | #Constraints:     654272
1987.40/1994.32	c #Conflicts:     640000 | #Constraints:     655272
1987.40/1994.32	c #Conflicts:     641000 | #Constraints:     656272
1987.40/1994.32	c #Conflicts:     642000 | #Constraints:     657272
1987.40/1994.32	c #Conflicts:     643000 | #Constraints:     658272
1987.40/1994.32	c #Conflicts:     644000 | #Constraints:     659272
1987.40/1994.32	c #Conflicts:     645000 | #Constraints:     660272
1987.40/1994.32	c #Conflicts:     646000 | #Constraints:     661272
1987.40/1994.32	c #Conflicts:     647000 | #Constraints:     662272
1987.40/1994.32	c #Conflicts:     648000 | #Constraints:     663272
1987.40/1994.32	c #Conflicts:     649000 | #Constraints:     664272
1987.40/1994.32	c #Conflicts:     650000 | #Constraints:     665272
1987.40/1994.32	c #Conflicts:     651000 | #Constraints:     666272
1987.40/1994.32	c #Conflicts:     652000 | #Constraints:     667272
1987.40/1994.32	c #Conflicts:     653000 | #Constraints:     668272
1987.40/1994.32	c #Conflicts:     654000 | #Constraints:     669272
1987.40/1994.32	c #Conflicts:     655000 | #Constraints:     670272
1987.40/1994.32	c #Conflicts:     656000 | #Constraints:     671272
1987.40/1994.32	c #Conflicts:     657000 | #Constraints:     672272
1987.40/1994.32	c #Conflicts:     658000 | #Constraints:     673272
1987.40/1994.32	c #Conflicts:     659000 | #Constraints:     674272
1987.40/1994.32	c #Conflicts:     660000 | #Constraints:     675272
1987.40/1994.32	c #Conflicts:     661000 | #Constraints:     676272
1987.40/1994.32	c #Conflicts:     662000 | #Constraints:     677272
1987.40/1994.32	c #Conflicts:     663000 | #Constraints:     678272
1987.40/1994.32	c #Conflicts:     664000 | #Constraints:     679272
1987.40/1994.32	c #Conflicts:     665000 | #Constraints:     680272
1987.40/1994.32	c #Conflicts:     666000 | #Constraints:     681272
1987.40/1994.32	c #Conflicts:     667000 | #Constraints:     682272
1987.40/1994.32	c #Conflicts:     668000 | #Constraints:     683272
1987.40/1994.32	c #Conflicts:     669000 | #Constraints:     684272
1987.40/1994.32	c #Conflicts:     670000 | #Constraints:     685272
1987.40/1994.32	c #Conflicts:     671000 | #Constraints:     686272
1987.40/1994.32	c #Conflicts:     672000 | #Constraints:     687272
1987.40/1994.32	c #Conflicts:     673000 | #Constraints:     688272
1987.40/1994.32	c #Conflicts:     674000 | #Constraints:     689272
1987.40/1994.32	c #Conflicts:     675000 | #Constraints:     690272
1987.40/1994.32	c #Conflicts:     676000 | #Constraints:     691272
1987.40/1994.32	c #Conflicts:     677000 | #Constraints:     692272
1987.40/1994.32	c #Conflicts:     678000 | #Constraints:     693272
1987.40/1994.32	c INPROCESSING
1987.40/1994.32	c GARBAGE COLLECT
1987.40/1994.32	c rational objective 5612.61
2091.76/2099.08	c #Conflicts:     679000 | #Constraints:     640338
2091.76/2099.08	c #Conflicts:     680000 | #Constraints:     641338
2091.76/2099.08	c #Conflicts:     681000 | #Constraints:     642338
2091.76/2099.08	c #Conflicts:     682000 | #Constraints:     643338
2091.76/2099.08	c #Conflicts:     683000 | #Constraints:     644338
2091.76/2099.08	c #Conflicts:     684000 | #Constraints:     645338
2091.76/2099.08	c #Conflicts:     685000 | #Constraints:     646338
2091.76/2099.08	c #Conflicts:     686000 | #Constraints:     647338
2091.76/2099.08	c #Conflicts:     687000 | #Constraints:     648338
2091.76/2099.08	c #Conflicts:     688000 | #Constraints:     649338
2091.76/2099.08	c #Conflicts:     689000 | #Constraints:     650338
2091.76/2099.08	c #Conflicts:     690000 | #Constraints:     651338
2091.76/2099.08	c #Conflicts:     691000 | #Constraints:     652338
2091.76/2099.08	c #Conflicts:     692000 | #Constraints:     653338
2091.76/2099.08	c #Conflicts:     693000 | #Constraints:     654338
2091.76/2099.08	c #Conflicts:     694000 | #Constraints:     655338
2091.76/2099.08	c #Conflicts:     695000 | #Constraints:     656338
2091.76/2099.08	c #Conflicts:     696000 | #Constraints:     657338
2091.76/2099.08	c #Conflicts:     697000 | #Constraints:     658338
2091.76/2099.08	c #Conflicts:     698000 | #Constraints:     659338
2091.76/2099.08	c #Conflicts:     699000 | #Constraints:     660338
2091.76/2099.08	c #Conflicts:     700000 | #Constraints:     661338
2091.76/2099.08	c #Conflicts:     701000 | #Constraints:     662338
2091.76/2099.08	c #Conflicts:     702000 | #Constraints:     663338
2091.76/2099.08	c #Conflicts:     703000 | #Constraints:     664338
2091.76/2099.08	c #Conflicts:     704000 | #Constraints:     665338
2091.76/2099.08	c #Conflicts:     705000 | #Constraints:     666338
2091.76/2099.08	c #Conflicts:     706000 | #Constraints:     667338
2091.76/2099.08	c #Conflicts:     707000 | #Constraints:     668338
2091.76/2099.08	c #Conflicts:     708000 | #Constraints:     669338
2091.76/2099.08	c #Conflicts:     709000 | #Constraints:     670338
2091.76/2099.08	c #Conflicts:     710000 | #Constraints:     671338
2091.76/2099.08	c #Conflicts:     711000 | #Constraints:     672338
2091.76/2099.08	c #Conflicts:     712000 | #Constraints:     673338
2091.76/2099.08	c #Conflicts:     713000 | #Constraints:     674338
2091.76/2099.08	c #Conflicts:     714000 | #Constraints:     675338
2091.76/2099.08	c #Conflicts:     715000 | #Constraints:     676338
2091.76/2099.08	c #Conflicts:     716000 | #Constraints:     677338
2091.76/2099.08	c #Conflicts:     717000 | #Constraints:     678338
2091.76/2099.08	c #Conflicts:     718000 | #Constraints:     679338
2091.76/2099.08	c #Conflicts:     719000 | #Constraints:     680338
2091.76/2099.08	c #Conflicts:     720000 | #Constraints:     681338
2091.76/2099.08	c #Conflicts:     721000 | #Constraints:     682338
2091.76/2099.08	c #Conflicts:     722000 | #Constraints:     683338
2091.76/2099.08	c #Conflicts:     723000 | #Constraints:     684338
2091.76/2099.08	c #Conflicts:     724000 | #Constraints:     685338
2091.76/2099.08	c #Conflicts:     725000 | #Constraints:     686338
2091.76/2099.08	c #Conflicts:     726000 | #Constraints:     687338
2091.76/2099.08	c #Conflicts:     727000 | #Constraints:     688338
2091.76/2099.08	c #Conflicts:     728000 | #Constraints:     689338
2091.76/2099.08	c #Conflicts:     729000 | #Constraints:     690338
2091.76/2099.08	c #Conflicts:     730000 | #Constraints:     691338
2091.76/2099.08	c #Conflicts:     731000 | #Constraints:     692338
2091.76/2099.08	c INPROCESSING
2091.76/2099.08	c GARBAGE COLLECT
2091.76/2099.08	c rational objective 5618.39
2191.11/2198.74	c #Conflicts:     732000 | #Constraints:     642214
2191.11/2198.74	c #Conflicts:     733000 | #Constraints:     643214
2191.11/2198.74	c #Conflicts:     734000 | #Constraints:     644214
2191.11/2198.74	c #Conflicts:     735000 | #Constraints:     645214
2191.11/2198.74	c #Conflicts:     736000 | #Constraints:     646214
2191.11/2198.74	c #Conflicts:     737000 | #Constraints:     647214
2191.11/2198.74	c #Conflicts:     738000 | #Constraints:     648214
2191.11/2198.74	c #Conflicts:     739000 | #Constraints:     649214
2191.11/2198.74	c #Conflicts:     740000 | #Constraints:     650214
2191.11/2198.74	c #Conflicts:     741000 | #Constraints:     651214
2191.11/2198.74	c #Conflicts:     742000 | #Constraints:     652214
2191.11/2198.74	c #Conflicts:     743000 | #Constraints:     653214
2191.11/2198.74	c #Conflicts:     744000 | #Constraints:     654214
2191.11/2198.74	c #Conflicts:     745000 | #Constraints:     655214
2191.11/2198.74	c #Conflicts:     746000 | #Constraints:     656214
2191.11/2198.74	c #Conflicts:     747000 | #Constraints:     657214
2191.11/2198.74	c #Conflicts:     748000 | #Constraints:     658214
2191.11/2198.74	c #Conflicts:     749000 | #Constraints:     659214
2191.11/2198.74	c #Conflicts:     750000 | #Constraints:     660214
2191.11/2198.74	c #Conflicts:     751000 | #Constraints:     661214
2191.11/2198.74	c #Conflicts:     752000 | #Constraints:     662214
2191.11/2198.74	c #Conflicts:     753000 | #Constraints:     663214
2191.11/2198.74	c #Conflicts:     754000 | #Constraints:     664214
2191.11/2198.74	c #Conflicts:     755000 | #Constraints:     665214
2191.11/2198.74	c #Conflicts:     756000 | #Constraints:     666214
2191.11/2198.74	c #Conflicts:     757000 | #Constraints:     667214
2191.11/2198.74	c #Conflicts:     758000 | #Constraints:     668214
2191.11/2198.74	c #Conflicts:     759000 | #Constraints:     669214
2191.11/2198.74	c #Conflicts:     760000 | #Constraints:     670214
2191.11/2198.74	c #Conflicts:     761000 | #Constraints:     671214
2191.11/2198.74	c #Conflicts:     762000 | #Constraints:     672214
2191.11/2198.74	c #Conflicts:     763000 | #Constraints:     673214
2191.11/2198.74	c #Conflicts:     764000 | #Constraints:     674214
2191.11/2198.74	c #Conflicts:     765000 | #Constraints:     675214
2191.11/2198.74	c #Conflicts:     766000 | #Constraints:     676214
2191.11/2198.74	c #Conflicts:     767000 | #Constraints:     677214
2191.11/2198.74	c #Conflicts:     768000 | #Constraints:     678214
2191.11/2198.74	c #Conflicts:     769000 | #Constraints:     679214
2191.11/2198.74	c #Conflicts:     770000 | #Constraints:     680214
2191.11/2198.74	c #Conflicts:     771000 | #Constraints:     681214
2191.11/2198.74	c #Conflicts:     772000 | #Constraints:     682214
2191.11/2198.74	c #Conflicts:     773000 | #Constraints:     683214
2191.11/2198.74	c #Conflicts:     774000 | #Constraints:     684214
2191.11/2198.74	c #Conflicts:     775000 | #Constraints:     685214
2191.11/2198.74	c #Conflicts:     776000 | #Constraints:     686214
2191.11/2198.74	c #Conflicts:     777000 | #Constraints:     687214
2191.11/2198.74	c #Conflicts:     778000 | #Constraints:     688214
2191.11/2198.74	c #Conflicts:     779000 | #Constraints:     689214
2191.11/2198.74	c #Conflicts:     780000 | #Constraints:     690214
2191.11/2198.74	c #Conflicts:     781000 | #Constraints:     691214
2191.11/2198.74	c #Conflicts:     782000 | #Constraints:     692214
2191.11/2198.74	c #Conflicts:     783000 | #Constraints:     693214
2191.11/2198.74	c #Conflicts:     784000 | #Constraints:     694214
2191.11/2198.74	c #Conflicts:     785000 | #Constraints:     695214
2191.11/2198.74	c #Conflicts:     786000 | #Constraints:     696214
2191.11/2198.74	c INPROCESSING
2191.11/2198.74	c GARBAGE COLLECT
2191.11/2198.74	c rational objective 5629.34
2324.17/2332.21	c #Conflicts:     787000 | #Constraints:     644888
2324.17/2332.21	c #Conflicts:     788000 | #Constraints:     645888
2324.17/2332.21	c #Conflicts:     789000 | #Constraints:     646888
2324.17/2332.21	c #Conflicts:     790000 | #Constraints:     647888
2324.17/2332.21	c #Conflicts:     791000 | #Constraints:     648888
2324.17/2332.21	c #Conflicts:     792000 | #Constraints:     649888
2324.17/2332.21	c #Conflicts:     793000 | #Constraints:     650888
2324.17/2332.21	c #Conflicts:     794000 | #Constraints:     651888
2324.17/2332.21	c #Conflicts:     795000 | #Constraints:     652888
2324.17/2332.21	c #Conflicts:     796000 | #Constraints:     653888
2324.17/2332.21	c #Conflicts:     797000 | #Constraints:     654888
2324.17/2332.21	c #Conflicts:     798000 | #Constraints:     655888
2324.17/2332.21	c #Conflicts:     799000 | #Constraints:     656888
2324.17/2332.21	c #Conflicts:     800000 | #Constraints:     657888
2324.17/2332.21	c #Conflicts:     801000 | #Constraints:     658888
2324.17/2332.21	c #Conflicts:     802000 | #Constraints:     659888
2324.17/2332.21	c #Conflicts:     803000 | #Constraints:     660888
2324.17/2332.21	c #Conflicts:     804000 | #Constraints:     661888
2324.17/2332.21	c #Conflicts:     805000 | #Constraints:     662888
2324.17/2332.21	c #Conflicts:     806000 | #Constraints:     663888
2324.17/2332.21	c #Conflicts:     807000 | #Constraints:     664888
2324.17/2332.21	c #Conflicts:     808000 | #Constraints:     665888
2324.17/2332.21	c #Conflicts:     809000 | #Constraints:     666888
2324.17/2332.21	c #Conflicts:     810000 | #Constraints:     667888
2324.17/2332.21	c #Conflicts:     811000 | #Constraints:     668888
2324.17/2332.21	c #Conflicts:     812000 | #Constraints:     669888
2324.17/2332.21	c #Conflicts:     813000 | #Constraints:     670888
2324.17/2332.21	c #Conflicts:     814000 | #Constraints:     671888
2324.17/2332.21	c #Conflicts:     815000 | #Constraints:     672888
2324.17/2332.21	c #Conflicts:     816000 | #Constraints:     673888
2324.17/2332.21	c #Conflicts:     817000 | #Constraints:     674888
2324.17/2332.21	c #Conflicts:     818000 | #Constraints:     675888
2324.17/2332.21	c #Conflicts:     819000 | #Constraints:     676888
2324.17/2332.21	c #Conflicts:     820000 | #Constraints:     677888
2324.17/2332.21	c #Conflicts:     821000 | #Constraints:     678888
2324.17/2332.21	c #Conflicts:     822000 | #Constraints:     679888
2324.17/2332.21	c #Conflicts:     823000 | #Constraints:     680888
2324.17/2332.21	c #Conflicts:     824000 | #Constraints:     681888
2324.17/2332.21	c #Conflicts:     825000 | #Constraints:     682888
2324.17/2332.21	c #Conflicts:     826000 | #Constraints:     683888
2324.17/2332.21	c #Conflicts:     827000 | #Constraints:     684888
2324.17/2332.21	c #Conflicts:     828000 | #Constraints:     685888
2324.17/2332.21	c #Conflicts:     829000 | #Constraints:     686888
2324.17/2332.21	c #Conflicts:     830000 | #Constraints:     687888
2324.17/2332.21	c #Conflicts:     831000 | #Constraints:     688888
2324.17/2332.21	c #Conflicts:     832000 | #Constraints:     689888
2324.17/2332.21	c #Conflicts:     833000 | #Constraints:     690888
2324.17/2332.21	c #Conflicts:     834000 | #Constraints:     691888
2324.17/2332.21	c #Conflicts:     835000 | #Constraints:     692888
2324.17/2332.21	c #Conflicts:     836000 | #Constraints:     693888
2324.17/2332.21	c #Conflicts:     837000 | #Constraints:     694888
2324.17/2332.21	c #Conflicts:     838000 | #Constraints:     695888
2324.17/2332.21	c #Conflicts:     839000 | #Constraints:     696888
2324.17/2332.21	c #Conflicts:     840000 | #Constraints:     697888
2324.17/2332.21	c #Conflicts:     841000 | #Constraints:     698888
2324.17/2332.21	c #Conflicts:     842000 | #Constraints:     699888
2324.17/2332.21	c #Conflicts:     843000 | #Constraints:     700888
2324.17/2332.21	c INPROCESSING
2324.17/2332.21	c GARBAGE COLLECT
2324.17/2332.21	c rational objective 5638.51
2491.91/2500.51	c #Conflicts:     844000 | #Constraints:     648320
2491.91/2500.51	c #Conflicts:     845000 | #Constraints:     649320
2491.91/2500.51	c #Conflicts:     846000 | #Constraints:     650320
2491.91/2500.51	c #Conflicts:     847000 | #Constraints:     651320
2491.91/2500.51	c #Conflicts:     848000 | #Constraints:     652320
2491.91/2500.51	c #Conflicts:     849000 | #Constraints:     653320
2491.91/2500.51	c #Conflicts:     850000 | #Constraints:     654320
2491.91/2500.51	c #Conflicts:     851000 | #Constraints:     655320
2491.91/2500.51	c #Conflicts:     852000 | #Constraints:     656320
2491.91/2500.51	c #Conflicts:     853000 | #Constraints:     657320
2491.91/2500.51	c #Conflicts:     854000 | #Constraints:     658320
2491.91/2500.51	c #Conflicts:     855000 | #Constraints:     659320
2491.91/2500.51	c #Conflicts:     856000 | #Constraints:     660320
2491.91/2500.51	c #Conflicts:     857000 | #Constraints:     661320
2491.91/2500.51	c #Conflicts:     858000 | #Constraints:     662320
2491.91/2500.51	c #Conflicts:     859000 | #Constraints:     663320
2491.91/2500.51	c #Conflicts:     860000 | #Constraints:     664320
2491.91/2500.51	c #Conflicts:     861000 | #Constraints:     665320
2491.91/2500.51	c #Conflicts:     862000 | #Constraints:     666320
2491.91/2500.51	c #Conflicts:     863000 | #Constraints:     667320
2491.91/2500.51	c #Conflicts:     864000 | #Constraints:     668320
2491.91/2500.51	c #Conflicts:     865000 | #Constraints:     669320
2491.91/2500.51	c #Conflicts:     866000 | #Constraints:     670320
2491.91/2500.51	c #Conflicts:     867000 | #Constraints:     671320
2491.91/2500.51	c #Conflicts:     868000 | #Constraints:     672320
2491.91/2500.51	c #Conflicts:     869000 | #Constraints:     673320
2491.91/2500.51	c #Conflicts:     870000 | #Constraints:     674320
2491.91/2500.51	c #Conflicts:     871000 | #Constraints:     675320
2491.91/2500.51	c #Conflicts:     872000 | #Constraints:     676320
2491.91/2500.51	c #Conflicts:     873000 | #Constraints:     677320
2491.91/2500.51	c #Conflicts:     874000 | #Constraints:     678320
2491.91/2500.51	c #Conflicts:     875000 | #Constraints:     679320
2491.91/2500.51	c #Conflicts:     876000 | #Constraints:     680320
2491.91/2500.51	c #Conflicts:     877000 | #Constraints:     681320
2491.91/2500.51	c #Conflicts:     878000 | #Constraints:     682320
2491.91/2500.51	c #Conflicts:     879000 | #Constraints:     683320
2491.91/2500.51	c #Conflicts:     880000 | #Constraints:     684320
2491.91/2500.51	c #Conflicts:     881000 | #Constraints:     685320
2491.91/2500.51	c #Conflicts:     882000 | #Constraints:     686320
2491.91/2500.51	c #Conflicts:     883000 | #Constraints:     687320
2491.91/2500.51	c #Conflicts:     884000 | #Constraints:     688320
2491.91/2500.51	c #Conflicts:     885000 | #Constraints:     689320
2491.91/2500.51	c #Conflicts:     886000 | #Constraints:     690320
2491.91/2500.51	c #Conflicts:     887000 | #Constraints:     691320
2491.91/2500.51	c #Conflicts:     888000 | #Constraints:     692320
2491.91/2500.51	c #Conflicts:     889000 | #Constraints:     693320
2491.91/2500.51	c #Conflicts:     890000 | #Constraints:     694320
2491.91/2500.51	c #Conflicts:     891000 | #Constraints:     695320
2491.91/2500.51	c #Conflicts:     892000 | #Constraints:     696320
2491.91/2500.51	c #Conflicts:     893000 | #Constraints:     697320
2491.91/2500.51	c #Conflicts:     894000 | #Constraints:     698320
2491.91/2500.51	c #Conflicts:     895000 | #Constraints:     699320
2491.91/2500.51	c #Conflicts:     896000 | #Constraints:     700320
2491.91/2500.51	c #Conflicts:     897000 | #Constraints:     701320
2491.91/2500.51	c #Conflicts:     898000 | #Constraints:     702320
2491.91/2500.51	c #Conflicts:     899000 | #Constraints:     703320
2491.91/2500.51	c #Conflicts:     900000 | #Constraints:     704320
2491.91/2500.51	c #Conflicts:     901000 | #Constraints:     705320
2491.91/2500.51	c #Conflicts:     902000 | #Constraints:     706320
2491.91/2500.51	c #Conflicts:     903000 | #Constraints:     707320
2491.91/2500.51	c INPROCESSING
2491.91/2500.51	c GARBAGE COLLECT
2491.91/2500.51	c rational objective 5647.99
2682.76/2692.02	c #Conflicts:     904000 | #Constraints:     652439
2682.76/2692.02	c #Conflicts:     905000 | #Constraints:     653439
2682.76/2692.02	c #Conflicts:     906000 | #Constraints:     654439
2682.76/2692.02	c #Conflicts:     907000 | #Constraints:     655439
2682.76/2692.02	c #Conflicts:     908000 | #Constraints:     656439
2682.76/2692.02	c #Conflicts:     909000 | #Constraints:     657439
2682.76/2692.02	c #Conflicts:     910000 | #Constraints:     658439
2682.76/2692.02	c #Conflicts:     911000 | #Constraints:     659439
2682.76/2692.02	c #Conflicts:     912000 | #Constraints:     660439
2682.76/2692.02	c #Conflicts:     913000 | #Constraints:     661439
2682.76/2692.02	c #Conflicts:     914000 | #Constraints:     662439
2682.76/2692.02	c #Conflicts:     915000 | #Constraints:     663439
2682.76/2692.02	c #Conflicts:     916000 | #Constraints:     664439
2682.76/2692.02	c #Conflicts:     917000 | #Constraints:     665439
2682.76/2692.02	c #Conflicts:     918000 | #Constraints:     666439
2682.76/2692.02	c #Conflicts:     919000 | #Constraints:     667439
2682.76/2692.02	c #Conflicts:     920000 | #Constraints:     668439
2682.76/2692.02	c #Conflicts:     921000 | #Constraints:     669439
2682.76/2692.02	c #Conflicts:     922000 | #Constraints:     670439
2682.76/2692.02	c #Conflicts:     923000 | #Constraints:     671439
2682.76/2692.02	c #Conflicts:     924000 | #Constraints:     672439
2682.76/2692.02	c #Conflicts:     925000 | #Constraints:     673439
2682.76/2692.02	c #Conflicts:     926000 | #Constraints:     674439
2682.76/2692.02	c #Conflicts:     927000 | #Constraints:     675439
2682.76/2692.02	c #Conflicts:     928000 | #Constraints:     676439
2682.76/2692.02	c #Conflicts:     929000 | #Constraints:     677439
2682.76/2692.02	c #Conflicts:     930000 | #Constraints:     678439
2682.76/2692.02	c #Conflicts:     931000 | #Constraints:     679439
2682.76/2692.02	c #Conflicts:     932000 | #Constraints:     680439
2682.76/2692.02	c #Conflicts:     933000 | #Constraints:     681439
2682.76/2692.02	c #Conflicts:     934000 | #Constraints:     682439
2682.76/2692.02	c #Conflicts:     935000 | #Constraints:     683439
2682.76/2692.02	c #Conflicts:     936000 | #Constraints:     684439
2682.76/2692.02	c #Conflicts:     937000 | #Constraints:     685439
2682.76/2692.02	c #Conflicts:     938000 | #Constraints:     686439
2682.76/2692.02	c #Conflicts:     939000 | #Constraints:     687439
2682.76/2692.02	c #Conflicts:     940000 | #Constraints:     688439
2682.76/2692.02	c #Conflicts:     941000 | #Constraints:     689439
2682.76/2692.02	c #Conflicts:     942000 | #Constraints:     690439
2682.76/2692.02	c #Conflicts:     943000 | #Constraints:     691439
2682.76/2692.02	c #Conflicts:     944000 | #Constraints:     692439
2682.76/2692.02	c #Conflicts:     945000 | #Constraints:     693439
2682.76/2692.02	c #Conflicts:     946000 | #Constraints:     694439
2682.76/2692.02	c #Conflicts:     947000 | #Constraints:     695439
2682.76/2692.02	c #Conflicts:     948000 | #Constraints:     696439
2682.76/2692.02	c #Conflicts:     949000 | #Constraints:     697439
2682.76/2692.02	c #Conflicts:     950000 | #Constraints:     698439
2682.76/2692.02	c #Conflicts:     951000 | #Constraints:     699439
2682.76/2692.02	c #Conflicts:     952000 | #Constraints:     700439
2682.76/2692.02	c #Conflicts:     953000 | #Constraints:     701439
2682.76/2692.02	c #Conflicts:     954000 | #Constraints:     702439
2682.76/2692.02	c #Conflicts:     955000 | #Constraints:     703439
2682.76/2692.02	c #Conflicts:     956000 | #Constraints:     704439
2682.76/2692.02	c #Conflicts:     957000 | #Constraints:     705439
2682.76/2692.02	c #Conflicts:     958000 | #Constraints:     706439
2682.76/2692.02	c #Conflicts:     959000 | #Constraints:     707439
2682.76/2692.02	c #Conflicts:     960000 | #Constraints:     708439
2682.76/2692.02	c #Conflicts:     961000 | #Constraints:     709439
2682.76/2692.02	c #Conflicts:     962000 | #Constraints:     710439
2682.76/2692.02	c #Conflicts:     963000 | #Constraints:     711439
2682.76/2692.02	c #Conflicts:     964000 | #Constraints:     712439
2682.76/2692.02	c INPROCESSING
2682.76/2692.02	c GARBAGE COLLECT
2682.76/2692.02	c rational objective 5660.31
2839.14/2848.99	c #Conflicts:     965000 | #Constraints:     655619
2839.14/2848.99	c #Conflicts:     966000 | #Constraints:     656619
2839.14/2848.99	c #Conflicts:     967000 | #Constraints:     657619
2839.14/2848.99	c #Conflicts:     968000 | #Constraints:     658619
2839.14/2848.99	c #Conflicts:     969000 | #Constraints:     659619
2839.14/2848.99	c #Conflicts:     970000 | #Constraints:     660619
2839.14/2848.99	c #Conflicts:     971000 | #Constraints:     661619
2839.14/2848.99	c #Conflicts:     972000 | #Constraints:     662619
2839.14/2848.99	c #Conflicts:     973000 | #Constraints:     663619
2839.14/2848.99	c #Conflicts:     974000 | #Constraints:     664619
2839.14/2848.99	c #Conflicts:     975000 | #Constraints:     665619
2839.14/2848.99	c #Conflicts:     976000 | #Constraints:     666619
2839.14/2848.99	c #Conflicts:     977000 | #Constraints:     667619
2839.14/2848.99	c #Conflicts:     978000 | #Constraints:     668619
2839.14/2848.99	c #Conflicts:     979000 | #Constraints:     669619
2839.14/2848.99	c #Conflicts:     980000 | #Constraints:     670619
2839.14/2848.99	c #Conflicts:     981000 | #Constraints:     671619
2839.14/2848.99	c #Conflicts:     982000 | #Constraints:     672619
2839.14/2848.99	c #Conflicts:     983000 | #Constraints:     673619
2839.14/2848.99	c #Conflicts:     984000 | #Constraints:     674619
2839.14/2848.99	c #Conflicts:     985000 | #Constraints:     675619
2839.14/2848.99	c #Conflicts:     986000 | #Constraints:     676619
2839.14/2848.99	c #Conflicts:     987000 | #Constraints:     677619
2839.14/2848.99	c #Conflicts:     988000 | #Constraints:     678619
2839.14/2848.99	c #Conflicts:     989000 | #Constraints:     679619
2839.14/2848.99	c #Conflicts:     990000 | #Constraints:     680619
2839.14/2848.99	c #Conflicts:     991000 | #Constraints:     681619
2839.14/2848.99	c #Conflicts:     992000 | #Constraints:     682619
2839.14/2848.99	c #Conflicts:     993000 | #Constraints:     683619
2839.14/2848.99	c #Conflicts:     994000 | #Constraints:     684619
2839.14/2848.99	c #Conflicts:     995000 | #Constraints:     685619
2839.14/2848.99	c #Conflicts:     996000 | #Constraints:     686619
2839.14/2848.99	c #Conflicts:     997000 | #Constraints:     687619
2839.14/2848.99	c #Conflicts:     998000 | #Constraints:     688619
2839.14/2848.99	c #Conflicts:     999000 | #Constraints:     689619
2839.14/2848.99	c #Conflicts:    1000000 | #Constraints:     690619
2839.14/2848.99	c #Conflicts:    1001000 | #Constraints:     691619
2839.14/2848.99	c #Conflicts:    1002000 | #Constraints:     692619
2839.14/2848.99	c #Conflicts:    1003000 | #Constraints:     693619
2839.14/2848.99	c #Conflicts:    1004000 | #Constraints:     694619
2839.14/2848.99	c #Conflicts:    1005000 | #Constraints:     695619
2839.14/2848.99	c #Conflicts:    1006000 | #Constraints:     696619
2839.14/2848.99	c #Conflicts:    1007000 | #Constraints:     697619
2839.14/2848.99	c #Conflicts:    1008000 | #Constraints:     698619
2839.14/2848.99	c #Conflicts:    1009000 | #Constraints:     699619
2839.14/2848.99	c #Conflicts:    1010000 | #Constraints:     700619
2839.14/2848.99	c #Conflicts:    1011000 | #Constraints:     701619
2839.14/2848.99	c #Conflicts:    1012000 | #Constraints:     702619
2839.14/2848.99	c #Conflicts:    1013000 | #Constraints:     703619
2839.14/2848.99	c #Conflicts:    1014000 | #Constraints:     704619
2839.14/2848.99	c #Conflicts:    1015000 | #Constraints:     705619
2839.14/2848.99	c #Conflicts:    1016000 | #Constraints:     706619
2839.14/2848.99	c #Conflicts:    1017000 | #Constraints:     707619
2839.14/2848.99	c #Conflicts:    1018000 | #Constraints:     708619
2839.14/2848.99	c #Conflicts:    1019000 | #Constraints:     709619
2839.14/2848.99	c #Conflicts:    1020000 | #Constraints:     710619
2839.14/2848.99	c #Conflicts:    1021000 | #Constraints:     711619
2839.14/2848.99	c #Conflicts:    1022000 | #Constraints:     712619
2839.14/2848.99	c #Conflicts:    1023000 | #Constraints:     713619
2839.14/2848.99	c #Conflicts:    1024000 | #Constraints:     714619
2839.14/2848.99	c #Conflicts:    1025000 | #Constraints:     715619
2839.14/2848.99	c #Conflicts:    1026000 | #Constraints:     716619
2839.14/2848.99	c #Conflicts:    1027000 | #Constraints:     717619
2839.14/2848.99	c INPROCESSING
2839.14/2848.99	c GARBAGE COLLECT
2839.14/2848.99	c rational objective 5833
2992.91/3003.21	c #Conflicts:    1028000 | #Constraints:     651285
2992.91/3003.21	c #Conflicts:    1029000 | #Constraints:     652285
2992.91/3003.21	c #Conflicts:    1030000 | #Constraints:     653285
2992.91/3003.21	c #Conflicts:    1031000 | #Constraints:     654285
2992.91/3003.21	c #Conflicts:    1032000 | #Constraints:     655285
2992.91/3003.21	c #Conflicts:    1033000 | #Constraints:     656285
2992.91/3003.21	c #Conflicts:    1034000 | #Constraints:     657285
2992.91/3003.21	c #Conflicts:    1035000 | #Constraints:     658285
2992.91/3003.21	c #Conflicts:    1036000 | #Constraints:     659285
2992.91/3003.21	c #Conflicts:    1037000 | #Constraints:     660285
2992.91/3003.21	c #Conflicts:    1038000 | #Constraints:     661285
2992.91/3003.21	c #Conflicts:    1039000 | #Constraints:     662285
2992.91/3003.21	c #Conflicts:    1040000 | #Constraints:     663285
2992.91/3003.21	c #Conflicts:    1041000 | #Constraints:     664285
2992.91/3003.21	c #Conflicts:    1042000 | #Constraints:     665285
2992.91/3003.21	c #Conflicts:    1043000 | #Constraints:     666285
2992.91/3003.21	c #Conflicts:    1044000 | #Constraints:     667285
2992.91/3003.21	c #Conflicts:    1045000 | #Constraints:     668285
2992.91/3003.21	c #Conflicts:    1046000 | #Constraints:     669285
2992.91/3003.21	c #Conflicts:    1047000 | #Constraints:     670285
2992.91/3003.21	c #Conflicts:    1048000 | #Constraints:     671285
2992.91/3003.21	c #Conflicts:    1049000 | #Constraints:     672285
2992.91/3003.21	c #Conflicts:    1050000 | #Constraints:     673285
2992.91/3003.21	c #Conflicts:    1051000 | #Constraints:     674285
2992.91/3003.21	c #Conflicts:    1052000 | #Constraints:     675285
2992.91/3003.21	c #Conflicts:    1053000 | #Constraints:     676285
2992.91/3003.21	c #Conflicts:    1054000 | #Constraints:     677285
2992.91/3003.21	c #Conflicts:    1055000 | #Constraints:     678285
2992.91/3003.21	c #Conflicts:    1056000 | #Constraints:     679285
2992.91/3003.21	c #Conflicts:    1057000 | #Constraints:     680285
2992.91/3003.21	c #Conflicts:    1058000 | #Constraints:     681285
2992.91/3003.21	c #Conflicts:    1059000 | #Constraints:     682285
2992.91/3003.21	c #Conflicts:    1060000 | #Constraints:     683285
2992.91/3003.21	c #Conflicts:    1061000 | #Constraints:     684285
2992.91/3003.21	c #Conflicts:    1062000 | #Constraints:     685285
2992.91/3003.21	c #Conflicts:    1063000 | #Constraints:     686285
2992.91/3003.21	c #Conflicts:    1064000 | #Constraints:     687285
2992.91/3003.21	c #Conflicts:    1065000 | #Constraints:     688285
2992.91/3003.21	c #Conflicts:    1066000 | #Constraints:     689285
2992.91/3003.21	c #Conflicts:    1067000 | #Constraints:     690285
2992.91/3003.21	c #Conflicts:    1068000 | #Constraints:     691285
2992.91/3003.21	c #Conflicts:    1069000 | #Constraints:     692285
2992.91/3003.21	c #Conflicts:    1070000 | #Constraints:     693285
2992.91/3003.21	c #Conflicts:    1071000 | #Constraints:     694285
2992.91/3003.21	c #Conflicts:    1072000 | #Constraints:     695285
2992.91/3003.21	c #Conflicts:    1073000 | #Constraints:     696285
2992.91/3003.21	c #Conflicts:    1074000 | #Constraints:     697285
2992.91/3003.21	c #Conflicts:    1075000 | #Constraints:     698285
2992.91/3003.21	c #Conflicts:    1076000 | #Constraints:     699285
2992.91/3003.21	c #Conflicts:    1077000 | #Constraints:     700285
2992.91/3003.21	c #Conflicts:    1078000 | #Constraints:     701285
2992.91/3003.21	c #Conflicts:    1079000 | #Constraints:     702285
2992.91/3003.21	c #Conflicts:    1080000 | #Constraints:     703285
2992.91/3003.21	c #Conflicts:    1081000 | #Constraints:     704285
2992.91/3003.21	c #Conflicts:    1082000 | #Constraints:     705285
2992.91/3003.21	c #Conflicts:    1083000 | #Constraints:     706285
2992.91/3003.21	c #Conflicts:    1084000 | #Constraints:     707285
2992.91/3003.21	c #Conflicts:    1085000 | #Constraints:     708285
2992.91/3003.21	c #Conflicts:    1086000 | #Constraints:     709285
2992.91/3003.21	c #Conflicts:    1087000 | #Constraints:     710285
2992.91/3003.21	c #Conflicts:    1088000 | #Constraints:     711285
2992.91/3003.21	c #Conflicts:    1089000 | #Constraints:     712285
2992.91/3003.21	c #Conflicts:    1090000 | #Constraints:     713285
2992.91/3003.21	c #Conflicts:    1091000 | #Constraints:     714285
2992.91/3003.21	c #Conflicts:    1092000 | #Constraints:     715285
2992.91/3003.21	c INPROCESSING
2992.91/3003.21	c GARBAGE COLLECT
2992.91/3003.21	c rational objective 5845.74
3238.15/3249.31	c #Conflicts:    1093000 | #Constraints:     655871
3238.15/3249.31	c #Conflicts:    1094000 | #Constraints:     656871
3238.15/3249.31	c #Conflicts:    1095000 | #Constraints:     657871
3238.15/3249.31	c #Conflicts:    1096000 | #Constraints:     658871
3238.15/3249.31	c #Conflicts:    1097000 | #Constraints:     659871
3238.15/3249.31	c #Conflicts:    1098000 | #Constraints:     660871
3238.15/3249.31	c #Conflicts:    1099000 | #Constraints:     661871
3238.15/3249.31	c #Conflicts:    1100000 | #Constraints:     662871
3238.15/3249.31	c #Conflicts:    1101000 | #Constraints:     663871
3238.15/3249.31	c #Conflicts:    1102000 | #Constraints:     664871
3238.15/3249.31	c #Conflicts:    1103000 | #Constraints:     665871
3238.15/3249.31	c #Conflicts:    1104000 | #Constraints:     666871
3238.15/3249.31	c #Conflicts:    1105000 | #Constraints:     667871
3238.15/3249.31	c #Conflicts:    1106000 | #Constraints:     668871
3238.15/3249.31	c #Conflicts:    1107000 | #Constraints:     669871
3238.15/3249.31	c #Conflicts:    1108000 | #Constraints:     670871
3238.15/3249.31	c #Conflicts:    1109000 | #Constraints:     671871
3238.15/3249.31	c #Conflicts:    1110000 | #Constraints:     672871
3238.15/3249.31	c #Conflicts:    1111000 | #Constraints:     673871
3238.15/3249.31	c #Conflicts:    1112000 | #Constraints:     674871
3238.15/3249.31	c #Conflicts:    1113000 | #Constraints:     675871
3238.15/3249.31	c #Conflicts:    1114000 | #Constraints:     676871
3238.15/3249.31	c #Conflicts:    1115000 | #Constraints:     677871
3238.15/3249.31	c #Conflicts:    1116000 | #Constraints:     678871
3238.15/3249.31	c #Conflicts:    1117000 | #Constraints:     679871
3238.15/3249.31	c #Conflicts:    1118000 | #Constraints:     680871
3238.15/3249.31	c #Conflicts:    1119000 | #Constraints:     681871
3238.15/3249.31	c #Conflicts:    1120000 | #Constraints:     682871
3238.15/3249.31	c #Conflicts:    1121000 | #Constraints:     683871
3238.15/3249.31	c #Conflicts:    1122000 | #Constraints:     684871
3238.15/3249.31	c #Conflicts:    1123000 | #Constraints:     685871
3238.15/3249.31	c #Conflicts:    1124000 | #Constraints:     686871
3238.15/3249.31	c #Conflicts:    1125000 | #Constraints:     687871
3238.15/3249.31	c #Conflicts:    1126000 | #Constraints:     688871
3238.15/3249.31	c #Conflicts:    1127000 | #Constraints:     689871
3238.15/3249.31	c #Conflicts:    1128000 | #Constraints:     690871
3238.15/3249.31	c #Conflicts:    1129000 | #Constraints:     691871
3238.15/3249.31	c #Conflicts:    1130000 | #Constraints:     692871
3238.15/3249.31	c #Conflicts:    1131000 | #Constraints:     693871
3238.15/3249.31	c #Conflicts:    1132000 | #Constraints:     694871
3238.15/3249.31	c #Conflicts:    1133000 | #Constraints:     695871
3238.15/3249.31	c #Conflicts:    1134000 | #Constraints:     696871
3238.15/3249.31	c #Conflicts:    1135000 | #Constraints:     697871
3238.15/3249.31	c #Conflicts:    1136000 | #Constraints:     698871
3238.15/3249.31	c #Conflicts:    1137000 | #Constraints:     699871
3238.15/3249.31	c #Conflicts:    1138000 | #Constraints:     700871
3238.15/3249.31	c #Conflicts:    1139000 | #Constraints:     701871
3238.15/3249.31	c #Conflicts:    1140000 | #Constraints:     702871
3238.15/3249.31	c #Conflicts:    1141000 | #Constraints:     703871
3238.15/3249.31	c #Conflicts:    1142000 | #Constraints:     704871
3238.15/3249.31	c #Conflicts:    1143000 | #Constraints:     705871
3238.15/3249.31	c #Conflicts:    1144000 | #Constraints:     706871
3238.15/3249.31	c #Conflicts:    1145000 | #Constraints:     707871
3238.15/3249.31	c #Conflicts:    1146000 | #Constraints:     708871
3238.15/3249.31	c #Conflicts:    1147000 | #Constraints:     709871
3238.15/3249.31	c #Conflicts:    1148000 | #Constraints:     710871
3238.15/3249.31	c #Conflicts:    1149000 | #Constraints:     711871
3238.15/3249.31	c #Conflicts:    1150000 | #Constraints:     712871
3238.15/3249.31	c #Conflicts:    1151000 | #Constraints:     713871
3238.15/3249.31	c #Conflicts:    1152000 | #Constraints:     714871
3238.15/3249.31	c #Conflicts:    1153000 | #Constraints:     715871
3238.15/3249.31	c #Conflicts:    1154000 | #Constraints:     716871
3238.15/3249.31	c #Conflicts:    1155000 | #Constraints:     717871
3238.15/3249.31	c #Conflicts:    1156000 | #Constraints:     718871
3238.15/3249.31	c #Conflicts:    1157000 | #Constraints:     719871
3238.15/3249.31	c #Conflicts:    1158000 | #Constraints:     720871
3238.15/3249.31	c #Conflicts:    1159000 | #Constraints:     721871
3238.15/3249.31	c INPROCESSING
3238.15/3249.31	c GARBAGE COLLECT
3238.15/3249.31	c rational objective 5871.17
3457.79/3469.78	c #Conflicts:    1160000 | #Constraints:     659374
3457.79/3469.78	c #Conflicts:    1161000 | #Constraints:     660374
3457.79/3469.78	c #Conflicts:    1162000 | #Constraints:     661374
3457.79/3469.78	c #Conflicts:    1163000 | #Constraints:     662374
3457.79/3469.78	c #Conflicts:    1164000 | #Constraints:     663374
3457.79/3469.78	c #Conflicts:    1165000 | #Constraints:     664374
3457.79/3469.78	c #Conflicts:    1166000 | #Constraints:     665374
3457.79/3469.78	c #Conflicts:    1167000 | #Constraints:     666374
3457.79/3469.78	c #Conflicts:    1168000 | #Constraints:     667374
3457.79/3469.78	c #Conflicts:    1169000 | #Constraints:     668374
3457.79/3469.78	c #Conflicts:    1170000 | #Constraints:     669374
3457.79/3469.78	c #Conflicts:    1171000 | #Constraints:     670374
3457.79/3469.78	c #Conflicts:    1172000 | #Constraints:     671374
3457.79/3469.78	c #Conflicts:    1173000 | #Constraints:     672374
3457.79/3469.78	c #Conflicts:    1174000 | #Constraints:     673374
3457.79/3469.78	c #Conflicts:    1175000 | #Constraints:     674374
3457.79/3469.78	c #Conflicts:    1176000 | #Constraints:     675374
3457.79/3469.78	c #Conflicts:    1177000 | #Constraints:     676374
3457.79/3469.78	c #Conflicts:    1178000 | #Constraints:     677374
3457.79/3469.78	c #Conflicts:    1179000 | #Constraints:     678374
3457.79/3469.78	c #Conflicts:    1180000 | #Constraints:     679374
3457.79/3469.78	c #Conflicts:    1181000 | #Constraints:     680374
3457.79/3469.78	c #Conflicts:    1182000 | #Constraints:     681374
3457.79/3469.78	c #Conflicts:    1183000 | #Constraints:     682374
3457.79/3469.78	c #Conflicts:    1184000 | #Constraints:     683374
3457.79/3469.78	c #Conflicts:    1185000 | #Constraints:     684374
3457.79/3469.78	c #Conflicts:    1186000 | #Constraints:     685374
3457.79/3469.78	c #Conflicts:    1187000 | #Constraints:     686374
3457.79/3469.78	c #Conflicts:    1188000 | #Constraints:     687374
3457.79/3469.78	c #Conflicts:    1189000 | #Constraints:     688374
3457.79/3469.78	c #Conflicts:    1190000 | #Constraints:     689374
3457.79/3469.78	c #Conflicts:    1191000 | #Constraints:     690374
3457.79/3469.78	c #Conflicts:    1192000 | #Constraints:     691374
3457.79/3469.78	c #Conflicts:    1193000 | #Constraints:     692374
3457.79/3469.78	c #Conflicts:    1194000 | #Constraints:     693374
3457.79/3469.78	c #Conflicts:    1195000 | #Constraints:     694374
3457.79/3469.78	c #Conflicts:    1196000 | #Constraints:     695374
3457.79/3469.78	c #Conflicts:    1197000 | #Constraints:     696374
3457.79/3469.78	c #Conflicts:    1198000 | #Constraints:     697374
3457.79/3469.78	c #Conflicts:    1199000 | #Constraints:     698374
3457.79/3469.78	c #Conflicts:    1200000 | #Constraints:     699374
3457.79/3469.78	c #Conflicts:    1201000 | #Constraints:     700374
3457.79/3469.78	c #Conflicts:    1202000 | #Constraints:     701374
3457.79/3469.78	c #Conflicts:    1203000 | #Constraints:     702374
3457.79/3469.78	c #Conflicts:    1204000 | #Constraints:     703374
3457.79/3469.78	c #Conflicts:    1205000 | #Constraints:     704374
3457.79/3469.78	c #Conflicts:    1206000 | #Constraints:     705374
3457.79/3469.78	c #Conflicts:    1207000 | #Constraints:     706374
3457.79/3469.78	c #Conflicts:    1208000 | #Constraints:     707374
3457.79/3469.78	c #Conflicts:    1209000 | #Constraints:     708374
3457.79/3469.78	c #Conflicts:    1210000 | #Constraints:     709374
3457.79/3469.78	c #Conflicts:    1211000 | #Constraints:     710374
3457.79/3469.78	c #Conflicts:    1212000 | #Constraints:     711374
3457.79/3469.78	c #Conflicts:    1213000 | #Constraints:     712374
3457.79/3469.78	c #Conflicts:    1214000 | #Constraints:     713374
3457.79/3469.78	c #Conflicts:    1215000 | #Constraints:     714374
3457.79/3469.78	c #Conflicts:    1216000 | #Constraints:     715374
3457.79/3469.78	c #Conflicts:    1217000 | #Constraints:     716374
3457.79/3469.78	c #Conflicts:    1218000 | #Constraints:     717374
3457.79/3469.78	c #Conflicts:    1219000 | #Constraints:     718374
3457.79/3469.78	c #Conflicts:    1220000 | #Constraints:     719374
3457.79/3469.78	c #Conflicts:    1221000 | #Constraints:     720374
3457.79/3469.78	c #Conflicts:    1222000 | #Constraints:     721374
3457.79/3469.78	c #Conflicts:    1223000 | #Constraints:     722374
3457.79/3469.78	c #Conflicts:    1224000 | #Constraints:     723374
3457.79/3469.78	c #Conflicts:    1225000 | #Constraints:     724374
3457.79/3469.78	c #Conflicts:    1226000 | #Constraints:     725374
3457.79/3469.78	c #Conflicts:    1227000 | #Constraints:     726374
3457.79/3469.78	c #Conflicts:    1228000 | #Constraints:     727374
3457.79/3469.78	c INPROCESSING
3457.79/3469.78	c GARBAGE COLLECT
3457.79/3469.78	c rational objective 5891.4

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100093 s]*
/proc/loadavg: 4.25 4.22 4.15 5/256 1051589
/proc/meminfo: memFree=125159168/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=39928 memory=9948 CPUtime=0.09 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 952 0 0 0 7 2 0 0 20 0 1 0 198414431 40886272 2487 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 9982 2487 1250 922 0 1934 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39928 KiB
Current children cumulated memory: 9948 KiB

[startup+0.205664 s]*
/proc/loadavg: 4.25 4.22 4.15 5/256 1051589
/proc/meminfo: memFree=125155104/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=40712 memory=12960 CPUtime=0.2 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 1226 0 0 0 16 4 0 0 20 0 1 0 198414431 41689088 3240 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 10178 3240 1250 922 0 2130 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40712 KiB
Current children cumulated memory: 12960 KiB

[startup+0.305506 s]*
/proc/loadavg: 4.25 4.22 4.15 5/256 1051589
/proc/meminfo: memFree=125151268/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=46272 memory=16728 CPUtime=0.3 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 2252 0 0 0 24 6 0 0 20 0 1 0 198414431 47382528 4182 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 11568 4182 1250 922 0 3520 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46272 KiB
Current children cumulated memory: 16728 KiB

[startup+0.700228 s]
/proc/loadavg: 4.25 4.22 4.15 5/256 1051589
/proc/meminfo: memFree=125140732/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=64980 memory=30812 CPUtime=0.68 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 5462 0 0 0 52 16 0 0 20 0 1 0 198414431 66539520 7703 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 16245 7703 1250 922 0 8197 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64980 KiB
Current children cumulated memory: 30812 KiB

[startup+1.50023 s]
/proc/loadavg: 4.25 4.22 4.15 5/256 1051589
/proc/meminfo: memFree=125121768/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=92304 memory=61552 CPUtime=1.48 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 10529 0 0 0 113 35 0 0 20 0 1 0 198414431 94519296 15388 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 23076 15388 1250 922 0 15028 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 92304 KiB
Current children cumulated memory: 61552 KiB

[startup+3.10574 s]
/proc/loadavg: 4.23 4.22 4.15 5/256 1051589
/proc/meminfo: memFree=124696652/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=512832 memory=471240 CPUtime=3.09 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 78259 0 0 0 242 67 0 0 20 0 1 0 198414431 525139968 117810 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 128208 117810 1584 922 0 120160 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 512832 KiB
Current children cumulated memory: 471240 KiB

[startup+6.30021 s]
/proc/loadavg: 4.23 4.22 4.15 5/256 1051589
/proc/meminfo: memFree=124689848/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=512832 memory=471808 CPUtime=6.27 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 78320 0 0 0 532 95 0 0 20 0 1 0 198414431 525139968 117952 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 128208 117952 1726 922 0 120160 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 512832 KiB
Current children cumulated memory: 471808 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.22 4.15 5/256 1051591
/proc/meminfo: memFree=124671620/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=512832 memory=472032 CPUtime=12.65 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 78395 0 0 0 1132 133 0 0 20 0 1 0 198414431 525139968 118008 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 128208 118008 1782 922 0 120160 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 512832 KiB
Current children cumulated memory: 472032 KiB

[startup+25.5002 s]
/proc/loadavg: 4.41 4.26 4.16 5/256 1051592
/proc/meminfo: memFree=124637400/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=512832 memory=474080 CPUtime=25.41 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 78468 0 0 0 2371 170 0 0 20 0 1 0 198414431 525139968 118520 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 128208 118520 1782 922 0 120160 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 512832 KiB
Current children cumulated memory: 474080 KiB

[startup+51.1054 s]
/proc/loadavg: 4.27 4.23 4.15 5/256 1051597
/proc/meminfo: memFree=124571728/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=644572 memory=535112 CPUtime=50.93 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 82071 0 0 0 4864 229 0 0 20 0 1 0 198414431 660041728 133778 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 161143 133778 1798 922 0 153095 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 644572 KiB
Current children cumulated memory: 535112 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.24 4.16 5/257 1051607
/proc/meminfo: memFree=124478124/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=701148 memory=609132 CPUtime=101.95 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 85437 0 0 0 9839 356 0 0 20 0 1 0 198414431 717975552 152283 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 175287 152283 1814 922 0 167239 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 701148 KiB
Current children cumulated memory: 609132 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.21 4.16 5/255 1051619
/proc/meminfo: memFree=124431784/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=701148 memory=609132 CPUtime=161.77 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 85589 0 0 0 15692 485 0 0 20 0 1 0 198414431 717975552 152283 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 175287 152283 1814 922 0 167239 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 701148 KiB
Current children cumulated memory: 609132 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.20 4.16 5/255 1051675
/proc/meminfo: memFree=124649160/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=723784 memory=620452 CPUtime=221.57 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 86007 0 0 0 21584 573 0 0 20 0 1 0 198414431 741154816 155113 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 180946 155113 1814 922 0 172898 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 723784 KiB
Current children cumulated memory: 620452 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.17 4.15 5/255 1051685
/proc/meminfo: memFree=124334284/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=799476 memory=680920 CPUtime=281.35 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 89329 0 0 0 27402 733 0 0 20 0 1 0 198414431 818663424 170230 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 199869 170230 1814 922 0 191821 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 799476 KiB
Current children cumulated memory: 680920 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/255 1051696
/proc/meminfo: memFree=124292392/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=799476 memory=680992 CPUtime=341.13 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 89452 0 0 0 33272 841 0 0 20 0 1 0 198414431 818663424 170248 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 199869 170248 1814 922 0 191821 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 799476 KiB
Current children cumulated memory: 680992 KiB

[startup+402.3 s]
/proc/loadavg: 4.43 4.26 4.18 5/254 1051706
/proc/meminfo: memFree=124229348/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=799476 memory=680992 CPUtime=400.9 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 89554 0 0 0 39225 865 0 0 20 0 1 0 198414431 818663424 170248 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 199869 170248 1814 922 0 191821 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 799476 KiB
Current children cumulated memory: 680992 KiB

[startup+462.3 s]
/proc/loadavg: 4.27 4.24 4.18 5/255 1051718
/proc/meminfo: memFree=124221592/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=799476 memory=681000 CPUtime=460.68 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 89674 0 0 0 45115 953 0 0 20 0 1 0 198414431 818663424 170250 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 199869 170250 1814 922 0 191821 0

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

[startup+3102.3 s]
/proc/loadavg: 4.11 4.19 4.16 5/256 1052905
/proc/meminfo: memFree=124618680/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=906216 memory=786768 CPUtime=3091.69 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 100275 0 0 0 305615 3554 0 0 20 0 1 0 198414431 927965184 196692 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 226554 196692 1814 922 0 218506 0
Current children cumulated CPU time: 3091.69 s
Current children cumulated vsize: 906216 KiB
Current children cumulated memory: 786768 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.17 4.16 5/256 1052917
/proc/meminfo: memFree=124614572/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=906216 memory=786768 CPUtime=3151.46 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 100434 0 0 0 311583 3563 0 0 20 0 1 0 198414431 927965184 196692 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 226554 196692 1814 922 0 218506 0
Current children cumulated CPU time: 3151.46 s
Current children cumulated vsize: 906216 KiB
Current children cumulated memory: 786768 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.15 4.15 5/256 1052927
/proc/meminfo: memFree=124601292/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=906216 memory=787648 CPUtime=3211.25 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 100630 0 0 0 317555 3570 0 0 20 0 1 0 198414431 927965184 196912 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 226554 196912 1814 922 0 218506 0
Current children cumulated CPU time: 3211.25 s
Current children cumulated vsize: 906216 KiB
Current children cumulated memory: 787648 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.13 4.14 5/256 1053321
/proc/meminfo: memFree=124589036/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=906216 memory=787648 CPUtime=3271.04 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 100951 0 0 0 323428 3676 0 0 20 0 1 0 198414431 927965184 196912 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 226554 196912 1814 922 0 218506 0
Current children cumulated CPU time: 3271.04 s
Current children cumulated vsize: 906216 KiB
Current children cumulated memory: 787648 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/256 1053332
/proc/meminfo: memFree=124554204/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=906216 memory=787648 CPUtime=3330.83 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 101118 0 0 0 329395 3688 0 0 20 0 1 0 198414431 927965184 196912 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 226554 196912 1814 922 0 218506 0
Current children cumulated CPU time: 3330.83 s
Current children cumulated vsize: 906216 KiB
Current children cumulated memory: 787648 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/257 1053343
/proc/meminfo: memFree=124538108/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=906216 memory=787648 CPUtime=3390.63 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 101450 0 0 0 335300 3763 0 0 20 0 1 0 198414431 927965184 196912 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 226554 196912 1814 922 0 218506 0
Current children cumulated CPU time: 3390.63 s
Current children cumulated vsize: 906216 KiB
Current children cumulated memory: 787648 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.10 4.13 5/259 1053523
/proc/meminfo: memFree=124536056/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=906216 memory=787648 CPUtime=3450.42 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 101655 0 0 0 341266 3776 0 0 20 0 1 0 198414431 927965184 196912 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 226554 196912 1814 922 0 218506 0
Current children cumulated CPU time: 3450.42 s
Current children cumulated vsize: 906216 KiB
Current children cumulated memory: 787648 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/259 1053533
/proc/meminfo: memFree=124484892/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=917556 memory=789700 CPUtime=3510.21 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 102027 0 0 0 347117 3904 0 0 20 0 1 0 198414431 939577344 197425 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 229389 197425 1814 922 0 221341 0
Current children cumulated CPU time: 3510.21 s
Current children cumulated vsize: 917556 KiB
Current children cumulated memory: 789700 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/259 1053559
/proc/meminfo: memFree=124474704/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=917556 memory=789700 CPUtime=3570 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 102189 0 0 0 353060 3940 0 0 20 0 1 0 198414431 939577344 197425 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 229389 197425 1814 922 0 221341 0
Current children cumulated CPU time: 3570 s
Current children cumulated vsize: 917556 KiB
Current children cumulated memory: 789700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 4.12 4.11 4.12 5/259 1053564
/proc/meminfo: memFree=124471596/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=917556 memory=789700 CPUtime=3600 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 102390 0 0 0 356025 3975 0 0 20 0 1 0 198414431 939577344 197425 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 229389 197425 1814 922 0 221341 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 917556 KiB
Current children cumulated memory: 789700 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3562.24 s, system=39.7616 s

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

[startup+3612.8 s]
/proc/loadavg: 4.12 4.11 4.12 5/259 1053564
/proc/meminfo: memFree=124471596/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=917556 memory=789700 CPUtime=3600.39 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 102390 0 0 0 356064 3975 0 0 20 0 1 0 198414431 939577344 197425 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 229389 197425 1814 922 0 221341 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 917556 KiB
Current children cumulated memory: 789700 KiB

[startup+3613.6 s]
/proc/loadavg: 4.12 4.11 4.12 5/259 1053564
/proc/meminfo: memFree=124471540/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=917556 memory=789700 CPUtime=3601.19 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 102390 0 0 0 356144 3975 0 0 20 0 1 0 198414431 939577344 197425 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 229389 197425 1814 922 0 221341 0
Current children cumulated CPU time: 3601.19 s
Current children cumulated vsize: 917556 KiB
Current children cumulated memory: 789700 KiB

[startup+3614 s]*
/proc/loadavg: 4.11 4.11 4.12 6/259 1053564
/proc/meminfo: memFree=124471120/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=917556 memory=789700 CPUtime=3601.59 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 102390 0 0 0 356184 3975 0 0 20 0 1 0 198414431 939577344 197425 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 229389 197425 1814 922 0 221341 0
Current children cumulated CPU time: 3601.59 s
Current children cumulated vsize: 917556 KiB
Current children cumulated memory: 789700 KiB

[startup+3614.4 s]
/proc/loadavg: 4.11 4.11 4.12 6/259 1053564
/proc/meminfo: memFree=124471120/131524600 swapFree=131071996/131071996
[pid=1051588] ppid=1051585 vsize=917556 memory=789700 CPUtime=3601.98 cores=0,2
/proc/1051588/stat : 1051588 (roundingsat) R 1051585 1051588 1048569 0 -1 4194304 102390 0 0 0 356223 3975 0 0 20 0 1 0 198414431 939577344 197425 134679101440 4194304 7968373 140731718937088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 9281536 140731718939580 140731718939744 140731718939744 140731718946761 0
/proc/1051588/statm: 229389 197425 1814 922 0 221341 0
Current children cumulated CPU time: 3601.98 s
Current children cumulated vsize: 917556 KiB
Current children cumulated memory: 789700 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3614.4
CPU time (s): 3602
CPU user time (s): 3562.24
CPU system time (s): 39.7616
CPU usage (%): 99.6569
Max. virtual memory (cumulated for all children) (KiB): 917556
Max. memory (cumulated for all children) (KiB): 789700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.24
system time used= 39.7616
maximum resident set size= 789700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 24682


# summary of solver processes directly reported to runsolver:
#   pid: 1051588
#   total CPU time (s): 3602
#   total CPU user time (s): 3562.24
#   total CPU system time (s): 39.7616

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6855 second user time and 13.1897 second system time

The end

Begin job on nodeC020 at 2024-07-20 10:02:02
IDJOB=4455600
IDBENCH=155570
IDSOLVER=3084
FILE ID=nodeC020/4455600-1721462509
RUNJOBID= nodeC020-1721457405-1048579
SLURM_JOB_ID= 7545697
Free space on /tmp= 890016 MiB

SOLVER NAME= RoundingSat nolog
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455600-1721462509/watcher-4455600-1721462509 -o /tmp/evaluation-result-4455600-1721462509/solver-4455600-1721462509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721457405-1048579 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455600-1721462509.opb

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

MD5SUM BENCH= b1a9bb408d678f4e4f75286e8bd2bbb9
RANDOM SEED=612940023

nodeC020.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		: 3622.960
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	: 7000.05
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		: 3687.786
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3677.295
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	: 7000.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.490
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3677.600
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	: 7000.05
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		: 3687.804
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3619.102
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	: 7000.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.085
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125164024 kB
MemAvailable:   127389736 kB
Buffers:          567704 kB
Cached:          2483464 kB
SwapCached:            0 kB
Active:          1001892 kB
Inactive:        4697800 kB
Active(anon):       1568 kB
Inactive(anon):  2692908 kB
Active(file):    1000324 kB
Inactive(file):  2004892 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             41848 kB
Writeback:             0 kB
AnonPages:       2647852 kB
Mapped:           116356 kB
Shmem:             45912 kB
KReclaimable:     120640 kB
Slab:             236568 kB
SReclaimable:     120640 kB
SUnreclaim:       115928 kB
KernelStack:        4128 kB
PageTables:        14756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3559208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71072 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2015232 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:      211668 kB
DirectMap2M:    22630400 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC020 at 2024-07-20 11:02:17