0.00/0.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.00/0.06	c #variables 4929 #constraints 6976
0.00/0.06	c rational objective 0
59.83/60.01	c #Conflicts:       1000 | #Constraints:       7976
59.83/60.01	c #Conflicts:       2000 | #Constraints:       8976
59.83/60.01	c INPROCESSING
59.83/60.01	c GARBAGE COLLECT
59.83/60.01	c #Conflicts:       3000 | #Constraints:       9000
59.83/60.01	c #Conflicts:       4000 | #Constraints:      10001
59.83/60.01	c INPROCESSING
59.83/60.01	c GARBAGE COLLECT
59.83/60.01	c #Conflicts:       5000 | #Constraints:       9449
59.83/60.01	c #Conflicts:       6000 | #Constraints:      10449
59.83/60.01	c INPROCESSING
59.83/60.01	c GARBAGE COLLECT
59.83/60.01	c #Conflicts:       7000 | #Constraints:       9455
59.83/60.01	c #Conflicts:       8000 | #Constraints:      10455
59.83/60.01	c #Conflicts:       9000 | #Constraints:      11455
59.83/60.01	c INPROCESSING
59.83/60.01	c GARBAGE COLLECT
59.83/60.01	c #Conflicts:      10000 | #Constraints:      10189
59.83/60.01	c #Conflicts:      11000 | #Constraints:      11189
59.83/60.01	c #Conflicts:      12000 | #Constraints:      12189
59.83/60.01	c INPROCESSING
59.83/60.01	c GARBAGE COLLECT
59.83/60.01	c #Conflicts:      13000 | #Constraints:      10660
59.83/60.01	c #Conflicts:      14000 | #Constraints:      11660
59.83/60.01	c #Conflicts:      15000 | #Constraints:      12660
59.83/60.01	c INPROCESSING
59.83/60.01	c GARBAGE COLLECT
59.83/60.01	c #Conflicts:      16000 | #Constraints:      10901
59.83/60.01	c #Conflicts:      17000 | #Constraints:      11901
59.83/60.01	c #Conflicts:      18000 | #Constraints:      12901
59.83/60.01	c INPROCESSING
59.83/60.01	c GARBAGE COLLECT
59.83/60.01	c #Conflicts:      19000 | #Constraints:      10946
59.83/60.01	c #Conflicts:      20000 | #Constraints:      11946
59.83/60.01	c #Conflicts:      21000 | #Constraints:      12946
59.83/60.01	c INPROCESSING
59.83/60.01	c GARBAGE COLLECT
59.83/60.01	c #Conflicts:      22000 | #Constraints:      10762
59.83/60.01	c #Conflicts:      23000 | #Constraints:      11762
59.83/60.01	c #Conflicts:      24000 | #Constraints:      12762
59.83/60.01	c #Conflicts:      25000 | #Constraints:      13762
59.83/60.01	c INPROCESSING
59.83/60.01	c GARBAGE COLLECT
59.83/60.01	c #Conflicts:      26000 | #Constraints:      11380
59.83/60.01	c #Conflicts:      27000 | #Constraints:      12380
59.83/60.01	c #Conflicts:      28000 | #Constraints:      13380
59.83/60.01	c #Conflicts:      29000 | #Constraints:      14380
59.83/60.01	c #Conflicts:      30000 | #Constraints:      15380
59.83/60.01	c #Conflicts:      31000 | #Constraints:      16380
59.83/60.01	c #Conflicts:      32000 | #Constraints:      17380
59.83/60.01	c #Conflicts:      33000 | #Constraints:      18380
59.83/60.01	c #Conflicts:      34000 | #Constraints:      19380
59.83/60.01	c #Conflicts:      35000 | #Constraints:      20380
59.83/60.01	c #Conflicts:      36000 | #Constraints:      21380
59.83/60.01	c #Conflicts:      37000 | #Constraints:      22380
59.83/60.01	c #Conflicts:      38000 | #Constraints:      23380
59.83/60.01	c INPROCESSING
59.83/60.01	c GARBAGE COLLECT
59.83/60.01	c #Conflicts:      39000 | #Constraints:      16358
59.83/60.01	c #Conflicts:      40000 | #Constraints:      17358
59.83/60.01	c #Conflicts:      41000 | #Constraints:      18358
59.83/60.01	c #Conflicts:      42000 | #Constraints:      19358
59.83/60.01	c INPROCESSING
59.83/60.01	c GARBAGE COLLECT
59.83/60.01	c #Conflicts:      43000 | #Constraints:      13906
59.83/60.01	c #Conflicts:      44000 | #Constraints:      14906
59.83/60.01	c #Conflicts:      45000 | #Constraints:      15906
59.83/60.01	c #Conflicts:      46000 | #Constraints:      16906
59.83/60.01	c #Conflicts:      47000 | #Constraints:      17906
59.83/60.01	c #Conflicts:      48000 | #Constraints:      18906
59.83/60.01	c INPROCESSING
59.83/60.01	c GARBAGE COLLECT
59.83/60.01	c #Conflicts:      49000 | #Constraints:      14129
59.83/60.01	c #Conflicts:      50000 | #Constraints:      15129
59.83/60.01	c #Conflicts:      51000 | #Constraints:      16129
59.83/60.01	c #Conflicts:      52000 | #Constraints:      17129
59.83/60.01	c #Conflicts:      53000 | #Constraints:      18129
59.83/60.01	c #Conflicts:      54000 | #Constraints:      19129
59.83/60.01	c #Conflicts:      55000 | #Constraints:      20129
59.83/60.01	c #Conflicts:      56000 | #Constraints:      21129
59.83/60.01	c #Conflicts:      57000 | #Constraints:      22129
59.83/60.01	c #Conflicts:      58000 | #Constraints:      23129
59.83/60.01	c #Conflicts:      59000 | #Constraints:      24129
59.83/60.01	c #Conflicts:      60000 | #Constraints:      25129
59.83/60.01	c #Conflicts:      61000 | #Constraints:      26129
59.83/60.01	c #Conflicts:      62000 | #Constraints:      27129
59.83/60.01	c #Conflicts:      63000 | #Constraints:      28129
59.83/60.01	c #Conflicts:      64000 | #Constraints:      29129
59.83/60.01	c #Conflicts:      65000 | #Constraints:      30129
59.83/60.01	c INPROCESSING
59.83/60.01	c GARBAGE COLLECT
59.83/60.01	c #Conflicts:      66000 | #Constraints:      19758
59.83/60.01	c #Conflicts:      67000 | #Constraints:      20758
59.83/60.01	c #Conflicts:      68000 | #Constraints:      21758
59.83/60.01	c #Conflicts:      69000 | #Constraints:      22758
59.83/60.01	c #Conflicts:      70000 | #Constraints:      23758
59.83/60.01	c #Conflicts:      71000 | #Constraints:      24758
60.52/60.72	c INPROCESSING
60.52/60.72	c GARBAGE COLLECT
60.52/60.72	c rational objective -1.22008e-13
132.45/132.81	c #Conflicts:      72000 | #Constraints:      16871
132.45/132.81	c #Conflicts:      73000 | #Constraints:      17871
132.45/132.81	c #Conflicts:      74000 | #Constraints:      18871
132.45/132.81	c #Conflicts:      75000 | #Constraints:      19871
132.45/132.81	c #Conflicts:      76000 | #Constraints:      20871
132.45/132.81	c #Conflicts:      77000 | #Constraints:      21871
132.45/132.81	c #Conflicts:      78000 | #Constraints:      22871
132.45/132.81	c INPROCESSING
132.45/132.81	c GARBAGE COLLECT
132.45/132.81	c #Conflicts:      79000 | #Constraints:      16202
132.45/132.81	c #Conflicts:      80000 | #Constraints:      17202
132.45/132.81	c #Conflicts:      81000 | #Constraints:      18202
132.45/132.81	c #Conflicts:      82000 | #Constraints:      19202
132.45/132.81	c #Conflicts:      83000 | #Constraints:      20202
132.45/132.81	c #Conflicts:      84000 | #Constraints:      21202
132.45/132.81	c #Conflicts:      85000 | #Constraints:      22202
132.45/132.81	c #Conflicts:      86000 | #Constraints:      23202
132.45/132.81	c #Conflicts:      87000 | #Constraints:      24202
132.45/132.81	c #Conflicts:      88000 | #Constraints:      25202
132.45/132.81	c #Conflicts:      89000 | #Constraints:      26202
132.45/132.81	c #Conflicts:      90000 | #Constraints:      27202
132.45/132.81	c #Conflicts:      91000 | #Constraints:      28202
132.45/132.81	c #Conflicts:      92000 | #Constraints:      29202
132.45/132.81	c #Conflicts:      93000 | #Constraints:      30202
132.45/132.81	c #Conflicts:      94000 | #Constraints:      31202
132.45/132.81	c #Conflicts:      95000 | #Constraints:      32202
132.45/132.81	c #Conflicts:      96000 | #Constraints:      33202
132.45/132.81	c #Conflicts:      97000 | #Constraints:      34202
132.45/132.81	c #Conflicts:      98000 | #Constraints:      35202
132.45/132.81	c #Conflicts:      99000 | #Constraints:      36202
132.45/132.81	c INPROCESSING
132.45/132.81	c GARBAGE COLLECT
132.45/132.81	c #Conflicts:     100000 | #Constraints:      22790
132.45/132.81	c #Conflicts:     101000 | #Constraints:      23790
132.45/132.81	c #Conflicts:     102000 | #Constraints:      24790
132.45/132.81	c #Conflicts:     103000 | #Constraints:      25790
132.45/132.81	c #Conflicts:     104000 | #Constraints:      26790
132.45/132.81	c #Conflicts:     105000 | #Constraints:      27790
132.45/132.81	c #Conflicts:     106000 | #Constraints:      28790
132.45/132.81	c #Conflicts:     107000 | #Constraints:      29790
132.45/132.81	c INPROCESSING
132.45/132.81	c GARBAGE COLLECT
132.45/132.81	c #Conflicts:     108000 | #Constraints:      19644
132.45/132.81	c #Conflicts:     109000 | #Constraints:      20644
132.45/132.81	c #Conflicts:     110000 | #Constraints:      21644
132.45/132.81	c #Conflicts:     111000 | #Constraints:      22644
132.45/132.81	c #Conflicts:     112000 | #Constraints:      23644
132.45/132.81	c #Conflicts:     113000 | #Constraints:      24644
132.45/132.81	c #Conflicts:     114000 | #Constraints:      25645
132.45/132.81	c #Conflicts:     115000 | #Constraints:      26645
132.45/132.81	c INPROCESSING
132.45/132.81	c GARBAGE COLLECT
132.45/132.81	c #Conflicts:     116000 | #Constraints:      18026
132.45/132.81	c #Conflicts:     117000 | #Constraints:      19026
132.45/132.81	c #Conflicts:     118000 | #Constraints:      20026
132.45/132.81	c #Conflicts:     119000 | #Constraints:      21026
132.45/132.81	c #Conflicts:     120000 | #Constraints:      22026
132.45/132.81	c #Conflicts:     121000 | #Constraints:      23026
132.45/132.81	c #Conflicts:     122000 | #Constraints:      24026
132.45/132.81	c #Conflicts:     123000 | #Constraints:      25026
132.45/132.81	c #Conflicts:     124000 | #Constraints:      26026
132.45/132.81	c #Conflicts:     125000 | #Constraints:      27026
132.45/132.81	c #Conflicts:     126000 | #Constraints:      28026
132.45/132.81	c #Conflicts:     127000 | #Constraints:      29026
132.45/132.81	c #Conflicts:     128000 | #Constraints:      30026
132.45/132.81	c #Conflicts:     129000 | #Constraints:      31026
132.45/132.81	c #Conflicts:     130000 | #Constraints:      32026
132.45/132.81	c #Conflicts:     131000 | #Constraints:      33026
132.45/132.81	c #Conflicts:     132000 | #Constraints:      34026
132.45/132.81	c #Conflicts:     133000 | #Constraints:      35026
132.45/132.81	c #Conflicts:     134000 | #Constraints:      36026
132.45/132.81	c #Conflicts:     135000 | #Constraints:      37026
132.45/132.81	c #Conflicts:     136000 | #Constraints:      38026
132.45/132.81	c #Conflicts:     137000 | #Constraints:      39026
132.45/132.81	c #Conflicts:     138000 | #Constraints:      40026
132.45/132.81	c #Conflicts:     139000 | #Constraints:      41026
132.45/132.81	c #Conflicts:     140000 | #Constraints:      42026
132.45/132.81	c INPROCESSING
132.45/132.81	c GARBAGE COLLECT
132.45/132.81	c rational objective 1.22008e-13
205.34/205.99	c #Conflicts:     141000 | #Constraints:      25543
205.34/205.99	c #Conflicts:     142000 | #Constraints:      26543
205.34/205.99	c #Conflicts:     143000 | #Constraints:      27543
205.34/205.99	c #Conflicts:     144000 | #Constraints:      28543
205.34/205.99	c #Conflicts:     145000 | #Constraints:      29543
205.34/205.99	c #Conflicts:     146000 | #Constraints:      30543
205.34/205.99	c #Conflicts:     147000 | #Constraints:      31543
205.34/205.99	c #Conflicts:     148000 | #Constraints:      32543
205.34/205.99	c #Conflicts:     149000 | #Constraints:      33543
205.34/205.99	c #Conflicts:     150000 | #Constraints:      34543
205.34/205.99	c INPROCESSING
205.34/205.99	c GARBAGE COLLECT
205.34/205.99	c #Conflicts:     151000 | #Constraints:      22152
205.34/205.99	c #Conflicts:     152000 | #Constraints:      23152
205.34/205.99	c #Conflicts:     153000 | #Constraints:      24152
205.34/205.99	c #Conflicts:     154000 | #Constraints:      25152
205.34/205.99	c #Conflicts:     155000 | #Constraints:      26152
205.34/205.99	c #Conflicts:     156000 | #Constraints:      27152
205.34/205.99	c #Conflicts:     157000 | #Constraints:      28152
205.34/205.99	c #Conflicts:     158000 | #Constraints:      29152
205.34/205.99	c #Conflicts:     159000 | #Constraints:      30152
205.34/205.99	c INPROCESSING
205.34/205.99	c GARBAGE COLLECT
205.34/205.99	c #Conflicts:     160000 | #Constraints:      19618
205.34/205.99	c #Conflicts:     161000 | #Constraints:      20618
205.34/205.99	c #Conflicts:     162000 | #Constraints:      21618
205.34/205.99	c #Conflicts:     163000 | #Constraints:      22618
205.34/205.99	c #Conflicts:     164000 | #Constraints:      23618
205.34/205.99	c #Conflicts:     165000 | #Constraints:      24618
205.34/205.99	c #Conflicts:     166000 | #Constraints:      25618
205.34/205.99	c #Conflicts:     167000 | #Constraints:      26618
205.34/205.99	c #Conflicts:     168000 | #Constraints:      27618
205.34/205.99	c #Conflicts:     169000 | #Constraints:      28618
205.34/205.99	c #Conflicts:     170000 | #Constraints:      29618
205.34/205.99	c #Conflicts:     171000 | #Constraints:      30618
205.34/205.99	c #Conflicts:     172000 | #Constraints:      31618
205.34/205.99	c #Conflicts:     173000 | #Constraints:      32618
205.34/205.99	c #Conflicts:     174000 | #Constraints:      33618
205.34/205.99	c #Conflicts:     175000 | #Constraints:      34618
205.34/205.99	c #Conflicts:     176000 | #Constraints:      35618
205.34/205.99	c #Conflicts:     177000 | #Constraints:      36618
205.34/205.99	c #Conflicts:     178000 | #Constraints:      37618
205.34/205.99	c #Conflicts:     179000 | #Constraints:      38618
205.34/205.99	c #Conflicts:     180000 | #Constraints:      39618
205.34/205.99	c #Conflicts:     181000 | #Constraints:      40618
205.34/205.99	c #Conflicts:     182000 | #Constraints:      41618
205.34/205.99	c #Conflicts:     183000 | #Constraints:      42618
205.34/205.99	c #Conflicts:     184000 | #Constraints:      43618
205.34/205.99	c #Conflicts:     185000 | #Constraints:      44618
205.34/205.99	c #Conflicts:     186000 | #Constraints:      45618
205.34/205.99	c #Conflicts:     187000 | #Constraints:      46618
205.34/205.99	c #Conflicts:     188000 | #Constraints:      47618
205.34/205.99	c #Conflicts:     189000 | #Constraints:      48618
205.34/205.99	c INPROCESSING
205.34/205.99	c GARBAGE COLLECT
205.34/205.99	c #Conflicts:     190000 | #Constraints:      29142
205.34/205.99	c #Conflicts:     191000 | #Constraints:      30142
205.34/205.99	c #Conflicts:     192000 | #Constraints:      31142
205.34/205.99	c #Conflicts:     193000 | #Constraints:      32142
205.34/205.99	c #Conflicts:     194000 | #Constraints:      33142
205.34/205.99	c #Conflicts:     195000 | #Constraints:      34142
205.34/205.99	c #Conflicts:     196000 | #Constraints:      35142
205.34/205.99	c #Conflicts:     197000 | #Constraints:      36142
205.34/205.99	c #Conflicts:     198000 | #Constraints:      37142
205.34/205.99	c #Conflicts:     199000 | #Constraints:      38142
205.34/205.99	c #Conflicts:     200000 | #Constraints:      39142
205.34/205.99	c INPROCESSING
205.34/205.99	c GARBAGE COLLECT
205.34/205.99	c rational objective 0
218.70/219.35	c #Conflicts:     201000 | #Constraints:      24420
218.70/219.35	c #Conflicts:     202000 | #Constraints:      25420
218.70/219.35	c #Conflicts:     203000 | #Constraints:      26420
218.70/219.35	c #Conflicts:     204000 | #Constraints:      27420
218.70/219.35	c #Conflicts:     205000 | #Constraints:      28420
218.70/219.35	c #Conflicts:     206000 | #Constraints:      29420
218.70/219.35	c #Conflicts:     207000 | #Constraints:      30420
218.70/219.35	c #Conflicts:     208000 | #Constraints:      31420
218.70/219.35	c #Conflicts:     209000 | #Constraints:      32420
218.70/219.35	c #Conflicts:     210000 | #Constraints:      33420
218.70/219.35	c #Conflicts:     211000 | #Constraints:      34420
218.70/219.35	c INPROCESSING
218.70/219.35	c GARBAGE COLLECT
218.70/219.35	c rational objective 0
283.03/283.87	c #Conflicts:     212000 | #Constraints:      22019
283.03/283.87	c #Conflicts:     213000 | #Constraints:      23019
283.03/283.87	c #Conflicts:     214000 | #Constraints:      24019
283.03/283.87	c #Conflicts:     215000 | #Constraints:      25019
283.03/283.87	c #Conflicts:     216000 | #Constraints:      26019
283.03/283.87	c #Conflicts:     217000 | #Constraints:      27019
283.03/283.87	c #Conflicts:     218000 | #Constraints:      28019
283.03/283.87	c #Conflicts:     219000 | #Constraints:      29019
283.03/283.87	c #Conflicts:     220000 | #Constraints:      30019
283.03/283.87	c #Conflicts:     221000 | #Constraints:      31019
283.03/283.87	c #Conflicts:     222000 | #Constraints:      32019
283.03/283.87	c #Conflicts:     223000 | #Constraints:      33019
283.03/283.87	c #Conflicts:     224000 | #Constraints:      34019
283.03/283.87	c #Conflicts:     225000 | #Constraints:      35019
283.03/283.87	c #Conflicts:     226000 | #Constraints:      36019
283.03/283.87	c #Conflicts:     227000 | #Constraints:      37019
283.03/283.87	c #Conflicts:     228000 | #Constraints:      38019
283.03/283.87	c #Conflicts:     229000 | #Constraints:      39019
283.03/283.87	c #Conflicts:     230000 | #Constraints:      40019
283.03/283.87	c #Conflicts:     231000 | #Constraints:      41019
283.03/283.87	c #Conflicts:     232000 | #Constraints:      42019
283.03/283.87	c #Conflicts:     233000 | #Constraints:      43019
283.03/283.87	c #Conflicts:     234000 | #Constraints:      44019
283.03/283.87	c #Conflicts:     235000 | #Constraints:      45019
283.03/283.87	c #Conflicts:     236000 | #Constraints:      46019
283.03/283.87	c #Conflicts:     237000 | #Constraints:      47019
283.03/283.87	c #Conflicts:     238000 | #Constraints:      48019
283.03/283.87	c #Conflicts:     239000 | #Constraints:      49019
283.03/283.87	c #Conflicts:     240000 | #Constraints:      50019
283.03/283.87	c #Conflicts:     241000 | #Constraints:      51019
283.03/283.87	c #Conflicts:     242000 | #Constraints:      52019
283.03/283.87	c #Conflicts:     243000 | #Constraints:      53019
283.03/283.87	c #Conflicts:     244000 | #Constraints:      54019
283.03/283.87	c #Conflicts:     245000 | #Constraints:      55019
283.03/283.87	c INPROCESSING
283.03/283.87	c GARBAGE COLLECT
283.03/283.87	c rational objective 1.22008e-13
300.89/301.79	c #Conflicts:     246000 | #Constraints:      32448
300.89/301.79	c #Conflicts:     247000 | #Constraints:      33448
300.89/301.79	c #Conflicts:     248000 | #Constraints:      34448
300.89/301.79	c #Conflicts:     249000 | #Constraints:      35448
300.89/301.79	c #Conflicts:     250000 | #Constraints:      36448
300.89/301.79	c #Conflicts:     251000 | #Constraints:      37448
300.89/301.79	c #Conflicts:     252000 | #Constraints:      38448
300.89/301.79	c #Conflicts:     253000 | #Constraints:      39448
300.89/301.79	c #Conflicts:     254000 | #Constraints:      40448
300.89/301.79	c #Conflicts:     255000 | #Constraints:      41448
300.89/301.79	c #Conflicts:     256000 | #Constraints:      42448
300.89/301.79	c #Conflicts:     257000 | #Constraints:      43448
300.89/301.79	c INPROCESSING
300.89/301.79	c GARBAGE COLLECT
300.89/301.79	c rational objective 1.22008e-13
316.65/317.59	c #Conflicts:     258000 | #Constraints:      26430
316.65/317.59	c #Conflicts:     259000 | #Constraints:      27430
316.65/317.59	c #Conflicts:     260000 | #Constraints:      28430
316.65/317.59	c #Conflicts:     261000 | #Constraints:      29430
316.65/317.59	c #Conflicts:     262000 | #Constraints:      30430
316.65/317.59	c #Conflicts:     263000 | #Constraints:      31430
316.65/317.59	c #Conflicts:     264000 | #Constraints:      32430
316.65/317.59	c #Conflicts:     265000 | #Constraints:      33430
316.65/317.59	c #Conflicts:     266000 | #Constraints:      34430
316.65/317.59	c #Conflicts:     267000 | #Constraints:      35430
316.65/317.59	c #Conflicts:     268000 | #Constraints:      36430
316.65/317.59	c #Conflicts:     269000 | #Constraints:      37430
316.65/317.59	c #Conflicts:     270000 | #Constraints:      38430
316.65/317.59	c INPROCESSING
316.65/317.59	c GARBAGE COLLECT
316.65/317.59	c rational objective 1.22008e-13
399.64/400.78	c #Conflicts:     271000 | #Constraints:      24497
399.64/400.78	c #Conflicts:     272000 | #Constraints:      25497
399.64/400.78	c #Conflicts:     273000 | #Constraints:      26497
399.64/400.78	c #Conflicts:     274000 | #Constraints:      27497
399.64/400.78	c #Conflicts:     275000 | #Constraints:      28497
399.64/400.78	c #Conflicts:     276000 | #Constraints:      29497
399.64/400.78	c #Conflicts:     277000 | #Constraints:      30497
399.64/400.78	c #Conflicts:     278000 | #Constraints:      31498
399.64/400.78	c #Conflicts:     279000 | #Constraints:      32498
399.64/400.78	c #Conflicts:     280000 | #Constraints:      33498
399.64/400.78	c #Conflicts:     281000 | #Constraints:      34498
399.64/400.78	c #Conflicts:     282000 | #Constraints:      35498
399.64/400.78	c #Conflicts:     283000 | #Constraints:      36498
399.64/400.78	c #Conflicts:     284000 | #Constraints:      37498
399.64/400.78	c #Conflicts:     285000 | #Constraints:      38498
399.64/400.78	c #Conflicts:     286000 | #Constraints:      39498
399.64/400.78	c #Conflicts:     287000 | #Constraints:      40498
399.64/400.78	c #Conflicts:     288000 | #Constraints:      41498
399.64/400.78	c #Conflicts:     289000 | #Constraints:      42498
399.64/400.78	c #Conflicts:     290000 | #Constraints:      43498
399.64/400.78	c #Conflicts:     291000 | #Constraints:      44498
399.64/400.78	c #Conflicts:     292000 | #Constraints:      45498
399.64/400.78	c #Conflicts:     293000 | #Constraints:      46498
399.64/400.78	c #Conflicts:     294000 | #Constraints:      47498
399.64/400.78	c #Conflicts:     295000 | #Constraints:      48498
399.64/400.78	c #Conflicts:     296000 | #Constraints:      49498
399.64/400.78	c #Conflicts:     297000 | #Constraints:      50498
399.64/400.78	c #Conflicts:     298000 | #Constraints:      51498
399.64/400.78	c #Conflicts:     299000 | #Constraints:      52498
399.64/400.78	c #Conflicts:     300000 | #Constraints:      53498
399.64/400.78	c #Conflicts:     301000 | #Constraints:      54498
399.64/400.78	c #Conflicts:     302000 | #Constraints:      55498
399.64/400.78	c #Conflicts:     303000 | #Constraints:      56498
399.64/400.78	c #Conflicts:     304000 | #Constraints:      57498
399.64/400.78	c #Conflicts:     305000 | #Constraints:      58498
399.64/400.78	c #Conflicts:     306000 | #Constraints:      59498
399.64/400.78	c #Conflicts:     307000 | #Constraints:      60498
399.64/400.78	c #Conflicts:     308000 | #Constraints:      61498
399.64/400.78	c INPROCESSING
399.64/400.78	c GARBAGE COLLECT
399.64/400.78	c #Conflicts:     309000 | #Constraints:      35735
399.64/400.78	c #Conflicts:     310000 | #Constraints:      36735
399.64/400.78	c #Conflicts:     311000 | #Constraints:      37735
399.64/400.78	c #Conflicts:     312000 | #Constraints:      38735
399.64/400.78	c #Conflicts:     313000 | #Constraints:      39735
399.64/400.78	c #Conflicts:     314000 | #Constraints:      40735
399.64/400.78	c #Conflicts:     315000 | #Constraints:      41735
399.64/400.78	c #Conflicts:     316000 | #Constraints:      42735
399.64/400.78	c #Conflicts:     317000 | #Constraints:      43735
399.64/400.78	c #Conflicts:     318000 | #Constraints:      44735
399.64/400.78	c #Conflicts:     319000 | #Constraints:      45735
399.64/400.78	c #Conflicts:     320000 | #Constraints:      46735
399.64/400.78	c #Conflicts:     321000 | #Constraints:      47735
399.64/400.78	c INPROCESSING
399.64/400.78	c GARBAGE COLLECT
399.64/400.78	c rational objective 1.22008e-13
415.01/416.18	c #Conflicts:     322000 | #Constraints:      28383
415.01/416.18	c #Conflicts:     323000 | #Constraints:      29383
415.01/416.18	c #Conflicts:     324000 | #Constraints:      30383
415.01/416.18	c #Conflicts:     325000 | #Constraints:      31383
415.01/416.18	c #Conflicts:     326000 | #Constraints:      32383
415.01/416.18	c #Conflicts:     327000 | #Constraints:      33383
415.01/416.18	c #Conflicts:     328000 | #Constraints:      34383
415.01/416.18	c #Conflicts:     329000 | #Constraints:      35383
415.01/416.18	c #Conflicts:     330000 | #Constraints:      36383
415.01/416.18	c #Conflicts:     331000 | #Constraints:      37383
415.01/416.18	c #Conflicts:     332000 | #Constraints:      38383
415.01/416.18	c #Conflicts:     333000 | #Constraints:      39383
415.01/416.18	c #Conflicts:     334000 | #Constraints:      40383
415.01/416.18	c #Conflicts:     335000 | #Constraints:      41383
415.01/416.18	c #Conflicts:     336000 | #Constraints:      42384
415.01/416.18	c INPROCESSING
415.01/416.18	c GARBAGE COLLECT
415.01/416.18	c rational objective 1.22008e-13
435.75/436.98	c #Conflicts:     337000 | #Constraints:      27247
435.75/436.98	c #Conflicts:     338000 | #Constraints:      28247
435.75/436.98	c #Conflicts:     339000 | #Constraints:      29247
435.75/436.98	c #Conflicts:     340000 | #Constraints:      30247
435.75/436.98	c #Conflicts:     341000 | #Constraints:      31247
435.75/436.98	c #Conflicts:     342000 | #Constraints:      32247
435.75/436.98	c #Conflicts:     343000 | #Constraints:      33247
435.75/436.98	c #Conflicts:     344000 | #Constraints:      34247
435.75/436.98	c #Conflicts:     345000 | #Constraints:      35247
435.75/436.98	c #Conflicts:     346000 | #Constraints:      36247
435.75/436.98	c #Conflicts:     347000 | #Constraints:      37247
435.75/436.98	c #Conflicts:     348000 | #Constraints:      38247
435.75/436.98	c #Conflicts:     349000 | #Constraints:      39247
435.75/436.98	c #Conflicts:     350000 | #Constraints:      40247
435.75/436.98	c #Conflicts:     351000 | #Constraints:      41247
435.75/436.98	c #Conflicts:     352000 | #Constraints:      42247
435.75/436.98	c #Conflicts:     353000 | #Constraints:      43247
435.75/436.98	c #Conflicts:     354000 | #Constraints:      44247
435.75/436.98	c #Conflicts:     355000 | #Constraints:      45247
435.75/436.98	c #Conflicts:     356000 | #Constraints:      46247
435.75/436.98	WSVECS04 Frhs2[2]: 6 -1.00002 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[5]: 6 -1.00003 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[6]: 6 -1.00009 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[34]: 6 -1.00008 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[36]: 6 -1.00003 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[39]: 6 -1.00004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[40]: 6 -1.00005 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[41]: 6 -1.00004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[96]: 6 -2.75069 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[98]: 6 -2.4688 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[101]: 6 -4.97466 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[102]: 6 -4.94928 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[103]: 6 -5.89852 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[104]: 6 -6.29693 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[107]: 6 -4.12509 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[108]: 6 -4.50002 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[114]: 6 -5.00003 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[118]: 6 -3.00034 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[122]: 6 -4.004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[189]: 6 -1.0048 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[191]: 6 -2.50006 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[194]: 6 -3.00076 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[195]: 6 -3.00101 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[196]: 6 -10.8131 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[197]: 6 -2.50307 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[200]: 6 -7.00035 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[201]: 6 -3.00042 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[207]: 6 -3.00054 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[211]: 6 -3.00251 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[215]: 6 -3.00024 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[220]: 6 -2.00953 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[222]: 6 -2.00001 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[225]: 6 -3.00157 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[226]: 6 -3.00202 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[227]: 6 -3.0031 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[228]: 6 -2.00606 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[231]: 6 -3.00138 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[232]: 6 -3.00083 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[238]: 6 -3.0011 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[242]: 6 -3.00496 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[246]: 6 -3.00044 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[313]: 6 -3.11978 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[315]: 6 -3.04154 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[318]: 6 -4.01196 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[319]: 6 -3.01606 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[320]: 6 -3.02417 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[321]: 6 -1.04825 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[324]: 6 -3.01097 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[325]: 6 -3.00624 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[331]: 6 -3.00847 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[335]: 6 -3.03932 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[339]: 6 -3.00304 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[592]: 6 -1.25827 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[594]: 6 -2.50004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[597]: 6 -9.08711 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[598]: 6 -11.1743 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[599]: 6 -7.19766 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[656]: 6 -3.00002 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[659]: 6 -2.62502 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[660]: 6 -2.96882 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[661]: 6 -2.99911 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[716]: 6 -2.50004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[718]: 6 -3.00005 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[721]: 6 -1.50002 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[722]: 6 -2.87501 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[723]: 6 -2.99615 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[747]: 6 -2.00001 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[749]: 6 -3.00007 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[753]: 6 -2.75008 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[754]: 6 -2.99219 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[811]: 6 -3.00006 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[814]: 6 -2.74999 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[815]: 6 -2.00001 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[816]: 6 -2.96863 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[842]: 6 -3.00005 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[845]: 6 -2.5 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[846]: 6 -0.999893 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[847]: 6 -2.93728 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[902]: 6 -1.00009 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[904]: 6 -3 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[907]: 6 -2.9998 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[908]: 6 -2.99948 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[909]: 6 -2.74899 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[997]: 6 -2.99978 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1000]: 6 -2.99788 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1001]: 6 -2.99575 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1002]: 6 -2.9915 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1027]: 6 0 2.50003 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1071]: 6 0 3.99988 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1075]: 6 0 3.99974 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1100]: 6 0 6.99941 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1166]: 6 0 2.9981 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1170]: 6 0 2.49225 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1310]: 6 0 1.50009 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1320]: 6 0 1.87509 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1352]: 6 0 4.20321 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1370]: 6 0 2.75006 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1447]: 6 0 2.6422 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1478]: 6 0 3.0687 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1810]: 6 -2.00004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1957]: 6 0 2.03127 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1972]: 6 0 2.00007 shouldn't be
435.75/436.98	WSVECS04 Frhs2[1976]: 6 0 1.75007 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2001]: 6 0 4.00003 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2005]: 6 0 4.00005 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2028]: 6 0 4.00001 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2030]: 6 0 7.00006 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2041]: 6 0 2.00784 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2056]: 6 0 4.99979 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2057]: 6 0 5.99994 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2063]: 6 0 8.00004 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2163]: 6 0 0.500037 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2250]: 6 0 2.0001 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2253]: 6 0 3.00008 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2282]: 6 0 4.99932 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2300]: 6 0 2.98442 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2345]: 6 0 2.95922 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2366]: 6 0 2.98445 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2376]: 6 0 3.33654 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2377]: 6 0 2.79807 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2383]: 6 0 3.0001 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2408]: 6 0 3.69224 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2413]: 6 0 6.15052 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2426]: 6 0 2.93755 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2446]: 6 0 2.40828 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2508]: 6 0 2.52855 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2540]: 6 0 2.23555 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2576]: 6 0 1.0001 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2606]: 6 0 2.25006 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2620]: 6 -5.87501 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2631]: 6 0 3.83066 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2632]: 6 0 3.56752 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2635]: 6 0 3.75005 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2832]: 6 -2.00007 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2917]: 6 -0.750027 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2919]: 6 -1.50007 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2921]: 6 -1.53714 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2939]: 6 -1.28108 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2951]: 6 -0.999932 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2964]: 6 -0.999935 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2981]: 6 -3.00022 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2984]: 6 -3.29682 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2987]: 6 -2.62456 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2992]: 6 -2.99984 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[2994]: 6 -1.99956 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3001]: 6 -2.12435 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3005]: 6 -1.00774 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3010]: 6 -2.50004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3014]: 6 -0.999889 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3018]: 6 -2.49899 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3022]: 6 -0.999989 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3036]: 6 -1.01551 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3041]: 6 -1.00009 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3042]: 6 -0.989041 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3044]: 6 -0.999118 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3046]: 6 -0.999797 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3049]: 6 -3.99797 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3050]: 6 -5.00002 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3061]: 6 -1.99905 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3062]: 6 -1.99811 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3064]: 6 -1.99228 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3071]: 6 0 0.130579 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3072]: 6 -0.750087 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3074]: 6 -2.00133 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3075]: 6 -0.998061 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3076]: 6 -0.999564 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3080]: 6 -0.99596 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3081]: 6 -1.00009 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3083]: 6 -0.999096 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3085]: 6 -0.999549 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3097]: 6 -1.98439 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3098]: 6 -1.06182 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3104]: 6 -0.955843 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3105]: 6 -0.99223 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3106]: 6 -0.996131 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3108]: 6 -0.999072 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3111]: 6 -0.991878 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3116]: 6 -0.999099 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3118]: 6 -1.99224 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3121]: 6 -0.999098 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3122]: 6 -0.998087 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3125]: 6 -1.9844 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3128]: 6 -1.96883 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3136]: 6 -0.984471 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3140]: 6 -0.998079 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3142]: 6 -3.98446 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3146]: 6 -0.999115 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3147]: 6 -0.998121 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3152]: 6 -0.998137 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3170]: 6 -0.996108 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3171]: 6 -0.996146 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3178]: 6 -0.996171 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3183]: 6 -0.996116 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3191]: 6 -1.49416 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3200]: 6 -0.992202 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3204]: 6 -0.750099 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3209]: 6 -0.992266 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3214]: 6 -0.992203 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3219]: 6 -1.75006 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3230]: 6 -0.937529 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3233]: 6 -0.984434 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3235]: 6 -0.500042 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3238]: 6 -0.968808 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3240]: 6 -0.984467 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3244]: 6 -0.99226 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3250]: 6 -1.50001 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3252]: 6 -0.750066 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3254]: 6 -0.203224 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3260]: 6 -0.750016 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3262]: 6 -0.968783 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3268]: 6 -2.04951 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3269]: 6 -0.937556 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3271]: 6 -0.968778 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3273]: 6 -1.75005 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3278]: 6 -1.87504 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3290]: 6 -0.500088 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3292]: 6 -0.750055 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3295]: 6 -0.937547 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3298]: 6 -0.950623 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3299]: 6 -0.500088 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3300]: 6 -0.875027 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3302]: 6 -0.93754 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3308]: 6 -0.875026 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3320]: 6 -1.92309 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3323]: 6 -0.500094 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3325]: 6 -0.875043 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3329]: 6 -0.500091 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3331]: 6 -0.750077 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3332]: 6 -0.937581 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3338]: 6 -0.875045 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3353]: 6 -1.64225 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3356]: 6 -0.75004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3357]: 6 -0.750056 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3388]: 6 -0.500049 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3416]: 6 -3.1374 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3445]: 6 -1.00006 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3451]: 6 -1.00007 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3452]: 6 -1.00003 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3453]: 6 -1.00009 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3454]: 6 -1.00007 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3475]: 6 -3.96734 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3505]: 6 0 0.967377 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3507]: 6 -1.00007 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3515]: 6 -1.00005 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3540]: 6 -1.00002 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3546]: 6 -1.00009 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3547]: 6 -1.00005 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3570]: 6 -1.00006 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3577]: 6 -1.00005 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3578]: 6 -1.00001 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3609]: 6 -1.00001 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3630]: 6 -3.95321 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3633]: 6 -1.00005 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3637]: 6 -1.00003 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3661]: 6 -3.75004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3667]: 6 -3.00007 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3669]: 6 -1.00003 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3693]: 6 -1.00002 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3695]: 6 -1.00009 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3699]: 6 -1.00008 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3723]: 6 -2.00008 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3725]: 6 -1.00002 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3729]: 6 -1.00004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3785]: 6 -1.00001 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3786]: 6 -1.00007 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3791]: 6 -1.00002 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3871]: 6 -0.437286 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3878]: 6 -0.992276 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3880]: 6 -0.531307 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3881]: 6 -1.50004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3882]: 6 -2.45023 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3912]: 6 -1.00008 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3925]: 6 -1.00008 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3941]: 6 -0.995334 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3942]: 6 -0.125012 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3945]: 6 -2.60138 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3955]: 6 -2.00005 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3962]: 6 -2.12558 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3975]: 6 -1.99894 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3980]: 6 -3.75002 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3983]: 6 -0.999974 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3992]: 6 -2.00001 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[3997]: 6 -1.01568 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4002]: 6 -0.875041 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4003]: 6 -0.981161 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4011]: 6 -5.50005 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4012]: 6 -2.00032 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4017]: 6 -1.9999 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4025]: 6 -2.00004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4026]: 6 -2.00007 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4033]: 6 -0.750039 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4035]: 6 -2.00138 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4036]: 6 -0.998137 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4039]: 6 -0.999555 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4041]: 6 -0.992107 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4042]: 6 -1.00004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4044]: 6 -0.999038 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4046]: 6 -0.999827 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4052]: 6 -1.00007 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4058]: 6 -2.00004 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4059]: 6 -1.06258 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4065]: 6 -0.924536 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4066]: 6 -0.992277 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4067]: 6 -0.996156 0 shouldn't be
435.75/436.98	WSVECS04 Frhs2[4069]: 6 -0.999062 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4072]: 6 -0.984139 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4074]: 6 -2.00122 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4076]: 6 -0.999594 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4077]: 6 -0.999611 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4079]: 6 -1.99953 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4082]: 6 -1.00003 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4083]: 6 -1.00002 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4085]: 6 -1.99995 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4086]: 6 -2 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4089]: 6 -2.00004 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4100]: 6 -0.998131 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4101]: 6 -0.998071 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4103]: 6 -0.968215 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4113]: 6 -1.00001 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4120]: 6 -2.00004 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4121]: 6 -1.25 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4131]: 6 -0.996108 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4139]: 6 -0.998062 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4144]: 6 -0.999989 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4161]: 6 -0.992205 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4165]: 6 -0.750085 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4175]: 6 -0.999948 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4191]: 6 -0.937587 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4199]: 6 -0.968808 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4204]: 6 -0.999611 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4211]: 6 -1.49961 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4215]: 6 -0.999316 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4221]: 6 -0.750066 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4224]: 6 -0.968819 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4234]: 6 -1.98446 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4241]: 6 -0.500073 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4251]: 6 -0.500059 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4256]: 6 -0.93754 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4269]: 6 -0.999114 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4281]: 6 -1.95916 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4284]: 6 -0.500081 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4291]: 6 -1.15055 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4299]: 6 -0.998085 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4303]: 6 -1.99813 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4305]: 6 -0.999074 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4314]: 6 -1.79811 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4318]: 6 -0.750098 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4331]: 6 -0.996132 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4334]: 6 -1.99618 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4347]: 6 -0.50008 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4361]: 6 -0.992214 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4364]: 6 -1.93757 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4374]: 6 -2.00009 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4377]: 6 -4.38444 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4391]: 6 -0.968828 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4414]: 6 -1.00001 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4415]: 6 -0.999803 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4416]: 6 -1.81659 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4427]: 6 -1.96881 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4428]: 6 -1.93751 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4436]: 6 -1.03275 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4449]: 6 -1.52854 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4454]: 6 -0.937587 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4455]: 6 -0.937536 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4457]: 6 -1.50006 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4459]: 6 -1.87504 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4471]: 6 -0.875027 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4472]: 6 -1.73439 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4474]: 6 -1.00202 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4476]: 6 -1.00002 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4478]: 6 -1.00199 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4479]: 6 -1.0001 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4482]: 6 -1.23553 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4483]: 6 -0.750098 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4485]: 6 -0.875013 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4501]: 6 -0.882885 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4507]: 6 -1.0001 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4508]: 6 -0.998102 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4514]: 6 -0.500026 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4517]: 6 -0.750054 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4529]: 6 -1.26178 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4538]: 6 -1.00009 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4539]: 6 -0.996155 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4540]: 6 -1.00791 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4543]: 6 -0.992269 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4547]: 6 -0.500052 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4548]: 6 -0.500083 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4561]: 6 -1.00008 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4563]: 6 -0.53133 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4565]: 6 -1.00008 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4569]: 6 -1.00009 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4570]: 6 -0.992242 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4577]: 6 -2.56758 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4591]: 6 -2.04693 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4594]: 6 -0.062593 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4598]: 6 -1.0313 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4599]: 6 -1.00008 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4601]: 6 -0.984402 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4602]: 6 -1.03135 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4604]: 6 -0.98446 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4607]: 6 -1.09369 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4609]: 6 -4.39463 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4622]: 6 -1.25009 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4629]: 6 -1.06257 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4636]: 6 -0.937543 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4637]: 6 -0.875013 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4653]: 6 -1.50008 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4656]: 6 -0.937596 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4664]: 6 -1.12506 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4665]: 6 -1.00009 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4667]: 6 -0.875084 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4670]: 6 -2.75099 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4684]: 6 -2.00003 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4686]: 6 -1.00005 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4690]: 6 -0.875091 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4693]: 6 -1.00001 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4694]: 6 -0.875035 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4697]: 6 -0.875212 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4723]: 6 -1.00008 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4724]: 6 -1.00006 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4725]: 6 -0.750111 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4726]: 6 -1.50003 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4727]: 6 -1.00004 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4750]: 6 -2.00006 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4759]: 6 -0.500557 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4762]: 6 -1.00004 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4777]: 6 -4.00003 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4785]: 6 -1.00005 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4786]: 6 -1.00008 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4894]: 6 -1.00004 0 shouldn't be
435.75/436.99	WSVECS04 Frhs2[4908]: 6 -1.00008 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[5]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[6]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[34]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[36]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[39]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[40]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[41]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[96]: 6 -2.75059 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[98]: 6 -2.46875 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[101]: 6 -4.97461 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[102]: 6 -4.94922 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[103]: 6 -5.89844 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[104]: 6 -6.29688 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[107]: 6 -4.125 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[108]: 6 -4.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[114]: 6 -5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[118]: 6 -3.00031 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[122]: 6 -4.00391 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[189]: 6 -1.00472 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[191]: 6 -2.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[194]: 6 -3.00074 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[195]: 6 -3.001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[196]: 6 -10.813 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[197]: 6 -2.50302 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[200]: 6 -7.00029 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[201]: 6 -3.00038 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[207]: 6 -3.00053 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[211]: 6 -3.00246 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[215]: 6 -3.00019 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[220]: 6 -2.00944 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[222]: 6 -2 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[225]: 6 -3.00149 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[226]: 6 -3.002 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[227]: 6 -3.00302 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[228]: 6 -2.00603 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[231]: 6 -3.00136 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[232]: 6 -3.00077 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[238]: 6 -3.00105 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[242]: 6 -3.00491 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[246]: 6 -3.00037 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[313]: 6 -3.11976 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[315]: 6 -3.04153 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[318]: 6 -4.01189 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[319]: 6 -3.01597 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[320]: 6 -3.02412 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[321]: 6 -1.04824 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[324]: 6 -3.01089 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[325]: 6 -3.00615 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[331]: 6 -3.00839 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[335]: 6 -3.03928 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[339]: 6 -3.00298 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[592]: 6 -1.25818 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[594]: 6 -2.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[597]: 6 -9.0871 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[598]: 6 -11.1742 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[599]: 6 -7.19764 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[656]: 6 -3 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[659]: 6 -2.625 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[660]: 6 -2.96875 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[661]: 6 -2.99902 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[716]: 6 -2.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[718]: 6 -3 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[721]: 6 -1.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[722]: 6 -2.87499 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[723]: 6 -2.99608 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[747]: 6 -2 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[749]: 6 -3 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[753]: 6 -2.74998 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[754]: 6 -2.99215 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[811]: 6 -3 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[814]: 6 -2.74997 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[815]: 6 -1.99993 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[816]: 6 -2.96862 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[842]: 6 -2.99999 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[845]: 6 -2.49993 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[846]: 6 -0.999866 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[847]: 6 -2.93723 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[902]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[904]: 6 -2.99997 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[907]: 6 -2.99973 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[908]: 6 -2.99946 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[909]: 6 -2.74893 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[997]: 6 -2.99973 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1000]: 6 -2.99785 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1001]: 6 -2.9957 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1002]: 6 -2.9914 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1027]: 6 0 2.5 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1031]: 6 0 0.851563 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1170]: 6 0 2.49219 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1310]: 6 0 1.5 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1320]: 6 0 1.875 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1352]: 6 0 4.20313 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1370]: 6 0 2.75 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1415]: 6 0 2.923 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1478]: 6 0 3.06868 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1810]: 6 -2 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1957]: 6 0 2.03125 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1972]: 6 0 2 shouldn't be
437.75/438.96	WSVECS04 Frhs2[1976]: 6 0 1.75 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2001]: 6 0 4 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2005]: 6 0 4 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2020]: 6 0 3.60135 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2028]: 6 0 3.99996 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2030]: 6 0 6.99997 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2040]: 6 0 1 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2041]: 6 0 2.00781 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2057]: 6 0 5.9999 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2063]: 6 0 8 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2066]: 6 0 2.99998 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2070]: 6 0 3.00781 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2082]: 6 0 15.623 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2100]: 6 0 2.5 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2163]: 6 0 0.5 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2250]: 6 0 2.00006 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2253]: 6 0 3 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2282]: 6 0 4.99927 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2300]: 6 0 2.98438 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2366]: 6 0 2.98438 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2376]: 6 0 3.33653 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2413]: 6 0 6.1505 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2426]: 6 0 2.9375 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2446]: 6 0 2.40827 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2508]: 6 0 2.52846 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2540]: 6 0 2.2355 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2576]: 6 0 1 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2606]: 6 0 2.25 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2620]: 6 -5.87498 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2631]: 6 0 3.83057 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2632]: 6 0 3.56751 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2635]: 6 0 3.75 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2832]: 6 -1.99999 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2890]: 6 -2 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2917]: 6 -0.75 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2919]: 6 -1.50004 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2921]: 6 -1.53708 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2939]: 6 -1.28107 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2951]: 6 -0.999879 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2964]: 6 -0.999879 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2980]: 6 -0.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2981]: 6 -3.00016 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2984]: 6 -3.29672 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2987]: 6 -2.62449 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2992]: 6 -2.99978 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[2994]: 6 -1.99951 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3001]: 6 -2.12426 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3010]: 6 -2.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3014]: 6 -0.999879 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3018]: 6 -2.49898 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3022]: 6 -0.999939 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3026]: 6 -0.999512 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3036]: 6 -1.01544 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3041]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3042]: 6 -0.988945 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3044]: 6 -0.999024 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3045]: 6 -0.999756 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3046]: 6 -0.999757 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3049]: 6 -3.99795 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3050]: 6 -5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3056]: 6 -1.99805 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3061]: 6 -1.99902 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3062]: 6 -1.99805 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3064]: 6 -1.99219 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3071]: 6 0 0.130528 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3072]: 6 -0.75 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3074]: 6 -2.00125 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3075]: 6 -0.998048 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3080]: 6 -0.995901 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3081]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3083]: 6 -0.999024 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3085]: 6 -0.999512 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3091]: 6 -0.999024 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3097]: 6 -1.98438 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3098]: 6 -1.06177 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3105]: 6 -0.992188 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3106]: 6 -0.996095 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3108]: 6 -0.999024 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3111]: 6 -0.991802 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3116]: 6 -0.999024 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3121]: 6 -0.999024 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3122]: 6 -0.998048 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3125]: 6 -1.98438 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3128]: 6 -1.96875 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3136]: 6 -0.984375 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3140]: 6 -0.998047 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3142]: 6 -3.98438 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3146]: 6 -0.999024 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3147]: 6 -0.998047 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3152]: 6 -0.998048 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3170]: 6 -0.996095 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3171]: 6 -0.996094 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3178]: 6 -0.996094 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3183]: 6 -0.996095 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3191]: 6 -1.49414 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3204]: 6 -0.750001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3209]: 6 -0.992188 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3214]: 6 -0.992188 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3219]: 6 -1.75 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3235]: 6 -0.500001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3238]: 6 -0.96875 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3239]: 6 -0.992188 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3240]: 6 -0.984376 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3244]: 6 -0.992188 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3252]: 6 -0.75 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3254]: 6 -0.203127 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3260]: 6 -0.75 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3262]: 6 -0.968751 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3268]: 6 -2.04947 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3269]: 6 -0.9375 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3271]: 6 -0.96875 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3273]: 6 -1.75 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3278]: 6 -1.875 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3290]: 6 -0.500001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3292]: 6 -0.750001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3293]: 6 -0.937501 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3295]: 6 -0.9375 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3298]: 6 -0.950531 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3299]: 6 -0.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3302]: 6 -0.9375 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3308]: 6 -0.875 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3320]: 6 -1.923 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3323]: 6 -0.500001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3325]: 6 -0.875001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3329]: 6 -0.500001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3331]: 6 -0.75 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3332]: 6 -0.937501 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3338]: 6 -0.875 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3353]: 6 -1.64217 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3356]: 6 -0.750001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3357]: 6 -0.750001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3383]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3388]: 6 -0.500001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3413]: 6 -1.74182 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3416]: 6 -3.13737 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3445]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3452]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3453]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3454]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3475]: 6 -3.96729 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3505]: 6 0 0.967286 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3514]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3515]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3537]: 6 -1.36914 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3546]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3547]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3570]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3575]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3577]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3578]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3609]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3630]: 6 -3.95313 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3632]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3637]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3661]: 6 -3.75 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3663]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3669]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3692]: 6 -1.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3693]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3699]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3723]: 6 -1.99999 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3725]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3729]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3755]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3785]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3791]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3816]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3819]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3871]: 6 -0.437256 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3878]: 6 -0.992188 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3881]: 6 -1.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3882]: 6 -2.4502 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3900]: 6 -1.28137 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3912]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3925]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3942]: 6 -0.125 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3953]: 6 -2.99996 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3955]: 6 -1.99997 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3971]: 6 -0.937501 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3972]: 6 -0.990559 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3975]: 6 -1.9989 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3980]: 6 -3.75 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3992]: 6 -1.99999 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[3997]: 6 -1.01562 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4002]: 6 -0.875 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4003]: 6 -0.981117 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4006]: 6 -0.999757 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4007]: 6 -0.999756 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4011]: 6 -5.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4012]: 6 -2.00029 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4017]: 6 -1.99988 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4023]: 6 -1.99997 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4025]: 6 -1.99999 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4035]: 6 -2.00131 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4036]: 6 -0.998047 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4039]: 6 -0.999513 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4041]: 6 -0.992041 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4042]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4044]: 6 -0.999024 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4046]: 6 -0.999756 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4052]: 6 -0.999993 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4058]: 6 -2 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4059]: 6 -1.06249 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4065]: 6 -0.924467 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4066]: 6 -0.992188 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4067]: 6 -0.996094 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4072]: 6 -0.984081 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4074]: 6 -2.00118 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4077]: 6 -0.999512 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4079]: 6 -1.99951 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4085]: 6 -1.99988 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4086]: 6 -1.99999 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4089]: 6 -1.99999 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4097]: 6 -0.984376 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4101]: 6 -0.998048 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4103]: 6 -0.968163 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4113]: 6 -0.99997 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4114]: 6 -0.99997 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4120]: 6 -1.99999 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4132]: 6 -0.996094 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4152]: 6 -1.49991 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4163]: 6 -0.992188 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4165]: 6 -0.750001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4175]: 6 -0.999878 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4181]: 6 -1.99997 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4194]: 6 -0.984375 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4196]: 6 -0.500001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4215]: 6 -0.999267 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4221]: 6 -0.750001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4234]: 6 -1.98438 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4241]: 6 -0.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4253]: 6 -0.75 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4256]: 6 -0.9375 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4269]: 6 -0.999024 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4284]: 6 -0.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4286]: 6 -0.875 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4291]: 6 -1.1505 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4299]: 6 -0.998047 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4303]: 6 -1.99805 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4305]: 6 -0.999024 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4314]: 6 -1.79805 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4317]: 6 -0.75 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4318]: 6 -0.750001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4331]: 6 -0.996094 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4334]: 6 -1.99609 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4349]: 6 -0.500001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4361]: 6 -0.992188 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4364]: 6 -1.9375 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4374]: 6 -2 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4377]: 6 -4.38441 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4391]: 6 -0.968751 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4415]: 6 -0.999756 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4416]: 6 -1.81655 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4421]: 6 -0.937501 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4427]: 6 -1.96875 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4428]: 6 -1.9375 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4436]: 6 -1.03272 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4455]: 6 -0.9375 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4457]: 6 -1.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4459]: 6 -1.875 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4471]: 6 -0.875001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4473]: 6 -0.999024 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4476]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4478]: 6 -1.00195 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4479]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4482]: 6 -1.23551 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4485]: 6 -0.875 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4499]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4507]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4508]: 6 -0.998048 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4514]: 6 -0.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4517]: 6 -0.750001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4538]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4539]: 6 -0.996094 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4540]: 6 -1.00781 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4543]: 6 -0.992188 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4547]: 6 -0.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4548]: 6 -0.5 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4565]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4569]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4576]: 6 -2.83057 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4577]: 6 -2.56751 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4594]: 6 -0.0625092 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4599]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4601]: 6 -0.984377 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4602]: 6 -1.03125 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4604]: 6 -0.984391 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4606]: 6 -0.9375 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4607]: 6 -1.09363 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4609]: 6 -4.39455 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4628]: 6 -0.968751 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4632]: 6 -0.968754 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4634]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4637]: 6 -0.875001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4659]: 6 -0.937501 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4660]: 6 -1.125 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4664]: 6 -1.12499 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4665]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4667]: 6 -0.875001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4670]: 6 -2.75098 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4690]: 6 -0.875001 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4693]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4694]: 6 -0.875016 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4697]: 6 -0.875122 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4716]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4723]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4724]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4725]: 6 -0.750031 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4726]: 6 -1.49994 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4727]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4746]: 6 -2.49997 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4747]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4750]: 6 -2 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4752]: 6 -0.500004 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4759]: 6 -0.500489 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4762]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4777]: 6 -3.99993 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4780]: 6 -1.80796e-06 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4785]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4786]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4894]: 6 -1 0 shouldn't be
437.75/438.96	WSVECS04 Frhs2[4908]: 6 -1 0 shouldn't be
554.17/555.67	c #Conflicts:     357000 | #Constraints:      47247
554.17/555.67	c #Conflicts:     358000 | #Constraints:      48247
554.17/555.67	c #Conflicts:     359000 | #Constraints:      49247
554.17/555.67	c #Conflicts:     360000 | #Constraints:      50247
554.17/555.67	c #Conflicts:     361000 | #Constraints:      51247
554.17/555.67	c #Conflicts:     362000 | #Constraints:      52247
554.17/555.67	c #Conflicts:     363000 | #Constraints:      53247
554.17/555.67	c #Conflicts:     364000 | #Constraints:      54247
554.17/555.67	c #Conflicts:     365000 | #Constraints:      55247
554.17/555.67	c #Conflicts:     366000 | #Constraints:      56247
554.17/555.67	c #Conflicts:     367000 | #Constraints:      57247
554.17/555.67	c #Conflicts:     368000 | #Constraints:      58247
554.17/555.67	c #Conflicts:     369000 | #Constraints:      59247
554.17/555.67	c #Conflicts:     370000 | #Constraints:      60247
554.17/555.67	c #Conflicts:     371000 | #Constraints:      61247
554.17/555.67	c #Conflicts:     372000 | #Constraints:      62247
554.17/555.67	c #Conflicts:     373000 | #Constraints:      63247
554.17/555.67	c #Conflicts:     374000 | #Constraints:      64247
554.17/555.67	c #Conflicts:     375000 | #Constraints:      65247
554.17/555.67	c #Conflicts:     376000 | #Constraints:      66247
554.17/555.67	c #Conflicts:     377000 | #Constraints:      67247
554.17/555.67	c #Conflicts:     378000 | #Constraints:      68247
554.17/555.67	c INPROCESSING
554.17/555.67	c GARBAGE COLLECT
554.17/555.67	c #Conflicts:     379000 | #Constraints:      38944
554.17/555.67	c #Conflicts:     380000 | #Constraints:      39944
554.17/555.67	c #Conflicts:     381000 | #Constraints:      40944
554.17/555.67	c #Conflicts:     382000 | #Constraints:      41944
554.17/555.67	c #Conflicts:     383000 | #Constraints:      42944
554.17/555.67	c #Conflicts:     384000 | #Constraints:      43944
554.17/555.67	c #Conflicts:     385000 | #Constraints:      44944
554.17/555.67	c #Conflicts:     386000 | #Constraints:      45944
554.17/555.67	c #Conflicts:     387000 | #Constraints:      46944
554.17/555.67	c #Conflicts:     388000 | #Constraints:      47944
554.17/555.67	c #Conflicts:     389000 | #Constraints:      48944
554.17/555.67	c #Conflicts:     390000 | #Constraints:      49944
554.17/555.67	c #Conflicts:     391000 | #Constraints:      50944
554.17/555.67	c #Conflicts:     392000 | #Constraints:      51944
554.17/555.67	c #Conflicts:     393000 | #Constraints:      52944
554.17/555.67	c INPROCESSING
554.17/555.67	c GARBAGE COLLECT
554.17/555.67	c #Conflicts:     394000 | #Constraints:      31266
554.17/555.67	c #Conflicts:     395000 | #Constraints:      32266
554.17/555.67	c #Conflicts:     396000 | #Constraints:      33266
554.17/555.67	c #Conflicts:     397000 | #Constraints:      34266
554.17/555.67	c #Conflicts:     398000 | #Constraints:      35266
554.17/555.67	c #Conflicts:     399000 | #Constraints:      36266
554.17/555.67	c #Conflicts:     400000 | #Constraints:      37266
554.17/555.67	c #Conflicts:     401000 | #Constraints:      38266
554.17/555.67	c #Conflicts:     402000 | #Constraints:      39266
554.17/555.67	c #Conflicts:     403000 | #Constraints:      40266
554.17/555.67	c #Conflicts:     404000 | #Constraints:      41266
554.17/555.67	c #Conflicts:     405000 | #Constraints:      42266
554.17/555.67	c #Conflicts:     406000 | #Constraints:      43266
554.17/555.67	c #Conflicts:     407000 | #Constraints:      44266
554.17/555.67	c #Conflicts:     408000 | #Constraints:      45266
554.17/555.67	c #Conflicts:     409000 | #Constraints:      46266
554.17/555.67	c #Conflicts:     410000 | #Constraints:      47266
554.17/555.67	c #Conflicts:     411000 | #Constraints:      48266
554.17/555.67	c #Conflicts:     412000 | #Constraints:      49266
554.17/555.67	c #Conflicts:     413000 | #Constraints:      50266
554.17/555.67	c #Conflicts:     414000 | #Constraints:      51266
554.17/555.67	c #Conflicts:     415000 | #Constraints:      52266
554.17/555.67	c #Conflicts:     416000 | #Constraints:      53266
554.17/555.67	c #Conflicts:     417000 | #Constraints:      54266
554.17/555.67	c #Conflicts:     418000 | #Constraints:      55266
554.17/555.67	c #Conflicts:     419000 | #Constraints:      56266
554.17/555.67	c #Conflicts:     420000 | #Constraints:      57266
554.17/555.67	c #Conflicts:     421000 | #Constraints:      58266
554.17/555.67	c #Conflicts:     422000 | #Constraints:      59266
554.17/555.67	c #Conflicts:     423000 | #Constraints:      60266
554.17/555.67	c #Conflicts:     424000 | #Constraints:      61266
554.17/555.67	c #Conflicts:     425000 | #Constraints:      62266
554.17/555.67	c #Conflicts:     426000 | #Constraints:      63266
554.17/555.67	c #Conflicts:     427000 | #Constraints:      64266
554.17/555.67	c #Conflicts:     428000 | #Constraints:      65266
554.17/555.67	c #Conflicts:     429000 | #Constraints:      66266
554.17/555.67	c #Conflicts:     430000 | #Constraints:      67266
554.17/555.67	c #Conflicts:     431000 | #Constraints:      68266
554.17/555.67	c #Conflicts:     432000 | #Constraints:      69266
554.17/555.67	c #Conflicts:     433000 | #Constraints:      70266
554.17/555.67	c #Conflicts:     434000 | #Constraints:      71266
566.44/567.91	c #Conflicts:     435000 | #Constraints:      72266
566.44/567.91	c #Conflicts:     436000 | #Constraints:      73266
566.44/567.91	c #Conflicts:     437000 | #Constraints:      74266
566.44/567.91	c #Conflicts:     438000 | #Constraints:      75266
566.44/567.91	c INPROCESSING
566.44/567.91	c GARBAGE COLLECT
566.44/567.91	c rational objective 0
697.67/699.58	c #Conflicts:     439000 | #Constraints:      42176
697.67/699.58	c #Conflicts:     440000 | #Constraints:      43176
697.67/699.58	c #Conflicts:     441000 | #Constraints:      44176
697.67/699.58	c #Conflicts:     442000 | #Constraints:      45176
697.67/699.58	c #Conflicts:     443000 | #Constraints:      46176
697.67/699.58	c #Conflicts:     444000 | #Constraints:      47176
697.67/699.58	c #Conflicts:     445000 | #Constraints:      48176
697.67/699.58	c #Conflicts:     446000 | #Constraints:      49176
697.67/699.58	c #Conflicts:     447000 | #Constraints:      50176
697.67/699.58	c #Conflicts:     448000 | #Constraints:      51176
697.67/699.58	c #Conflicts:     449000 | #Constraints:      52176
697.67/699.58	c #Conflicts:     450000 | #Constraints:      53176
697.67/699.58	c #Conflicts:     451000 | #Constraints:      54176
697.67/699.58	c #Conflicts:     452000 | #Constraints:      55176
697.67/699.58	c #Conflicts:     453000 | #Constraints:      56176
697.67/699.58	c #Conflicts:     454000 | #Constraints:      57176
697.67/699.58	c #Conflicts:     455000 | #Constraints:      58176
697.67/699.58	c INPROCESSING
697.67/699.58	c GARBAGE COLLECT
697.67/699.58	c rational objective 0
1038.37/1041.29	c #Conflicts:     456000 | #Constraints:      33787
1038.37/1041.29	c #Conflicts:     457000 | #Constraints:      34787
1038.37/1041.29	c #Conflicts:     458000 | #Constraints:      35787
1038.37/1041.29	c #Conflicts:     459000 | #Constraints:      36787
1038.37/1041.29	c #Conflicts:     460000 | #Constraints:      37787
1038.37/1041.29	c #Conflicts:     461000 | #Constraints:      38787
1038.37/1041.29	c #Conflicts:     462000 | #Constraints:      39787
1038.37/1041.29	c #Conflicts:     463000 | #Constraints:      40787
1038.37/1041.29	c #Conflicts:     464000 | #Constraints:      41787
1038.37/1041.29	c #Conflicts:     465000 | #Constraints:      42787
1038.37/1041.29	c #Conflicts:     466000 | #Constraints:      43787
1038.37/1041.29	c #Conflicts:     467000 | #Constraints:      44787
1038.37/1041.29	c #Conflicts:     468000 | #Constraints:      45787
1038.37/1041.29	c #Conflicts:     469000 | #Constraints:      46787
1038.37/1041.29	c #Conflicts:     470000 | #Constraints:      47787
1038.37/1041.29	c #Conflicts:     471000 | #Constraints:      48787
1038.37/1041.29	c #Conflicts:     472000 | #Constraints:      49787
1038.37/1041.29	c #Conflicts:     473000 | #Constraints:      50787
1038.37/1041.29	c #Conflicts:     474000 | #Constraints:      51787
1038.37/1041.29	c #Conflicts:     475000 | #Constraints:      52787
1038.37/1041.29	c #Conflicts:     476000 | #Constraints:      53787
1038.37/1041.29	c #Conflicts:     477000 | #Constraints:      54787
1038.37/1041.29	c #Conflicts:     478000 | #Constraints:      55787
1038.37/1041.29	c #Conflicts:     479000 | #Constraints:      56787
1038.37/1041.29	c #Conflicts:     480000 | #Constraints:      57787
1038.37/1041.29	c #Conflicts:     481000 | #Constraints:      58787
1038.37/1041.29	c #Conflicts:     482000 | #Constraints:      59787
1038.37/1041.29	c #Conflicts:     483000 | #Constraints:      60787
1038.37/1041.29	c #Conflicts:     484000 | #Constraints:      61787
1038.37/1041.29	c #Conflicts:     485000 | #Constraints:      62787
1038.37/1041.29	c #Conflicts:     486000 | #Constraints:      63787
1038.37/1041.29	c #Conflicts:     487000 | #Constraints:      64787
1038.37/1041.29	c #Conflicts:     488000 | #Constraints:      65787
1038.37/1041.29	c #Conflicts:     489000 | #Constraints:      66787
1038.37/1041.29	c #Conflicts:     490000 | #Constraints:      67787
1038.37/1041.29	c #Conflicts:     491000 | #Constraints:      68787
1038.37/1041.29	c #Conflicts:     492000 | #Constraints:      69787
1038.37/1041.29	c #Conflicts:     493000 | #Constraints:      70787
1038.37/1041.29	c #Conflicts:     494000 | #Constraints:      71787
1038.37/1041.29	c #Conflicts:     495000 | #Constraints:      72787
1038.37/1041.29	c #Conflicts:     496000 | #Constraints:      73787
1038.37/1041.29	c #Conflicts:     497000 | #Constraints:      74787
1038.37/1041.29	c #Conflicts:     498000 | #Constraints:      75787
1038.37/1041.29	c #Conflicts:     499000 | #Constraints:      76787
1038.37/1041.29	c #Conflicts:     500000 | #Constraints:      77787
1038.37/1041.29	c #Conflicts:     501000 | #Constraints:      78787
1038.37/1041.29	c #Conflicts:     502000 | #Constraints:      79787
1038.37/1041.29	c #Conflicts:     503000 | #Constraints:      80787
1038.37/1041.29	c #Conflicts:     504000 | #Constraints:      81787
1038.37/1041.29	c INPROCESSING
1038.37/1041.29	c GARBAGE COLLECT
1038.37/1041.29	c rational objective 1.22008e-13
1067.90/1070.80	c #Conflicts:     505000 | #Constraints:      45940
1067.90/1070.80	c #Conflicts:     506000 | #Constraints:      46940
1067.90/1070.80	c #Conflicts:     507000 | #Constraints:      47940
1067.90/1070.80	c #Conflicts:     508000 | #Constraints:      48940
1067.90/1070.80	c #Conflicts:     509000 | #Constraints:      49940
1067.90/1070.80	c #Conflicts:     510000 | #Constraints:      50940
1067.90/1070.80	c #Conflicts:     511000 | #Constraints:      51940
1067.90/1070.80	c #Conflicts:     512000 | #Constraints:      52940
1067.90/1070.80	c #Conflicts:     513000 | #Constraints:      53941
1067.90/1070.80	c #Conflicts:     514000 | #Constraints:      54941
1067.90/1070.80	c #Conflicts:     515000 | #Constraints:      55941
1067.90/1070.80	c #Conflicts:     516000 | #Constraints:      56941
1067.90/1070.80	c #Conflicts:     517000 | #Constraints:      57941
1067.90/1070.80	c #Conflicts:     518000 | #Constraints:      58941
1067.90/1070.80	c #Conflicts:     519000 | #Constraints:      59941
1067.90/1070.80	c #Conflicts:     520000 | #Constraints:      60941
1067.90/1070.80	c #Conflicts:     521000 | #Constraints:      61941
1067.90/1070.80	c #Conflicts:     522000 | #Constraints:      62941
1067.90/1070.80	c INPROCESSING
1067.90/1070.80	c GARBAGE COLLECT
1067.90/1070.80	c rational objective 1.22008e-13
1209.24/1212.55	c #Conflicts:     523000 | #Constraints:      36516
1209.24/1212.55	c #Conflicts:     524000 | #Constraints:      37516
1209.24/1212.55	c #Conflicts:     525000 | #Constraints:      38516
1209.24/1212.55	c #Conflicts:     526000 | #Constraints:      39516
1209.24/1212.55	c #Conflicts:     527000 | #Constraints:      40516
1209.24/1212.55	c #Conflicts:     528000 | #Constraints:      41516
1209.24/1212.55	c #Conflicts:     529000 | #Constraints:      42516
1209.24/1212.55	c #Conflicts:     530000 | #Constraints:      43516
1209.24/1212.55	c #Conflicts:     531000 | #Constraints:      44516
1209.24/1212.55	c #Conflicts:     532000 | #Constraints:      45516
1209.24/1212.55	c #Conflicts:     533000 | #Constraints:      46516
1209.24/1212.55	c #Conflicts:     534000 | #Constraints:      47516
1209.24/1212.55	c #Conflicts:     535000 | #Constraints:      48516
1209.24/1212.55	c #Conflicts:     536000 | #Constraints:      49516
1209.24/1212.55	c #Conflicts:     537000 | #Constraints:      50516
1209.24/1212.55	c #Conflicts:     538000 | #Constraints:      51516
1209.24/1212.55	c #Conflicts:     539000 | #Constraints:      52516
1209.24/1212.55	c #Conflicts:     540000 | #Constraints:      53516
1209.24/1212.55	c #Conflicts:     541000 | #Constraints:      54516
1209.24/1212.55	c #Conflicts:     542000 | #Constraints:      55516
1209.24/1212.55	c #Conflicts:     543000 | #Constraints:      56516
1209.24/1212.55	c #Conflicts:     544000 | #Constraints:      57516
1209.24/1212.55	c #Conflicts:     545000 | #Constraints:      58516
1209.24/1212.55	c #Conflicts:     546000 | #Constraints:      59516
1209.24/1212.55	c #Conflicts:     547000 | #Constraints:      60516
1209.24/1212.55	c #Conflicts:     548000 | #Constraints:      61516
1209.24/1212.55	c #Conflicts:     549000 | #Constraints:      62516
1209.24/1212.55	c #Conflicts:     550000 | #Constraints:      63516
1209.24/1212.55	c #Conflicts:     551000 | #Constraints:      64516
1209.24/1212.55	c #Conflicts:     552000 | #Constraints:      65516
1209.24/1212.55	c #Conflicts:     553000 | #Constraints:      66516
1209.24/1212.55	c #Conflicts:     554000 | #Constraints:      67516
1209.24/1212.55	c #Conflicts:     555000 | #Constraints:      68516
1209.24/1212.55	c #Conflicts:     556000 | #Constraints:      69516
1209.24/1212.55	c #Conflicts:     557000 | #Constraints:      70516
1209.24/1212.55	c #Conflicts:     558000 | #Constraints:      71516
1209.24/1212.55	c #Conflicts:     559000 | #Constraints:      72516
1209.24/1212.55	c #Conflicts:     560000 | #Constraints:      73516
1209.24/1212.55	c #Conflicts:     561000 | #Constraints:      74516
1209.24/1212.55	c #Conflicts:     562000 | #Constraints:      75516
1209.24/1212.55	c #Conflicts:     563000 | #Constraints:      76516
1209.24/1212.55	c #Conflicts:     564000 | #Constraints:      77516
1209.24/1212.55	c #Conflicts:     565000 | #Constraints:      78516
1209.24/1212.55	c #Conflicts:     566000 | #Constraints:      79516
1209.24/1212.55	c #Conflicts:     567000 | #Constraints:      80516
1209.24/1212.55	c #Conflicts:     568000 | #Constraints:      81516
1209.24/1212.55	c #Conflicts:     569000 | #Constraints:      82516
1209.24/1212.55	c #Conflicts:     570000 | #Constraints:      83516
1209.24/1212.55	c #Conflicts:     571000 | #Constraints:      84516
1209.24/1212.55	c #Conflicts:     572000 | #Constraints:      85516
1209.24/1212.55	c #Conflicts:     573000 | #Constraints:      86516
1209.24/1212.55	c INPROCESSING
1209.24/1212.55	c GARBAGE COLLECT
1209.24/1212.55	c #Conflicts:     574000 | #Constraints:      48130
1209.24/1212.55	c #Conflicts:     575000 | #Constraints:      49130
1209.24/1212.55	c #Conflicts:     576000 | #Constraints:      50130
1209.24/1212.55	c #Conflicts:     577000 | #Constraints:      51130
1209.24/1212.55	c #Conflicts:     578000 | #Constraints:      52130
1209.24/1212.55	c #Conflicts:     579000 | #Constraints:      53130
1209.24/1212.55	c #Conflicts:     580000 | #Constraints:      54130
1209.24/1212.55	c #Conflicts:     581000 | #Constraints:      55130
1209.24/1212.55	c #Conflicts:     582000 | #Constraints:      56130
1209.24/1212.55	c #Conflicts:     583000 | #Constraints:      57130
1209.24/1212.55	c #Conflicts:     584000 | #Constraints:      58130
1209.24/1212.55	c #Conflicts:     585000 | #Constraints:      59130
1209.24/1212.55	c #Conflicts:     586000 | #Constraints:      60130
1209.24/1212.55	c #Conflicts:     587000 | #Constraints:      61130
1209.24/1212.55	c #Conflicts:     588000 | #Constraints:      62130
1209.24/1212.55	c #Conflicts:     589000 | #Constraints:      63130
1209.24/1212.55	c #Conflicts:     590000 | #Constraints:      64130
1209.24/1212.55	c #Conflicts:     591000 | #Constraints:      65130
1209.24/1212.55	c #Conflicts:     592000 | #Constraints:      66130
1209.24/1212.55	c INPROCESSING
1209.24/1212.55	c GARBAGE COLLECT
1209.24/1212.55	c #Conflicts:     593000 | #Constraints:      37772
1209.24/1212.55	c #Conflicts:     594000 | #Constraints:      38772
1209.24/1212.55	c #Conflicts:     595000 | #Constraints:      39772
1209.24/1212.55	c #Conflicts:     596000 | #Constraints:      40772
1209.24/1212.55	c #Conflicts:     597000 | #Constraints:      41772
1209.24/1212.55	c #Conflicts:     598000 | #Constraints:      42772
1209.24/1212.55	c #Conflicts:     599000 | #Constraints:      43772
1209.24/1212.55	c #Conflicts:     600000 | #Constraints:      44772
1399.05/1402.87	c #Conflicts:     601000 | #Constraints:      45772
1399.05/1402.87	c #Conflicts:     602000 | #Constraints:      46772
1399.05/1402.87	c #Conflicts:     603000 | #Constraints:      47772
1399.05/1402.87	c #Conflicts:     604000 | #Constraints:      48772
1399.05/1402.87	c #Conflicts:     605000 | #Constraints:      49772
1399.05/1402.87	c #Conflicts:     606000 | #Constraints:      50772
1399.05/1402.87	c #Conflicts:     607000 | #Constraints:      51772
1399.05/1402.87	c #Conflicts:     608000 | #Constraints:      52772
1399.05/1402.87	c #Conflicts:     609000 | #Constraints:      53772
1399.05/1402.87	c #Conflicts:     610000 | #Constraints:      54772
1399.05/1402.87	c #Conflicts:     611000 | #Constraints:      55772
1399.05/1402.87	c #Conflicts:     612000 | #Constraints:      56772
1399.05/1402.87	c #Conflicts:     613000 | #Constraints:      57772
1399.05/1402.87	c #Conflicts:     614000 | #Constraints:      58772
1399.05/1402.87	c #Conflicts:     615000 | #Constraints:      59772
1399.05/1402.87	c #Conflicts:     616000 | #Constraints:      60772
1399.05/1402.87	c #Conflicts:     617000 | #Constraints:      61772
1399.05/1402.87	c #Conflicts:     618000 | #Constraints:      62772
1399.05/1402.87	c #Conflicts:     619000 | #Constraints:      63772
1399.05/1402.87	c #Conflicts:     620000 | #Constraints:      64772
1399.05/1402.87	c #Conflicts:     621000 | #Constraints:      65772
1399.05/1402.87	c #Conflicts:     622000 | #Constraints:      66772
1399.05/1402.87	c #Conflicts:     623000 | #Constraints:      67772
1399.05/1402.87	c #Conflicts:     624000 | #Constraints:      68772
1399.05/1402.87	c #Conflicts:     625000 | #Constraints:      69772
1399.05/1402.87	c #Conflicts:     626000 | #Constraints:      70772
1399.05/1402.87	c #Conflicts:     627000 | #Constraints:      71772
1399.05/1402.87	c #Conflicts:     628000 | #Constraints:      72772
1399.05/1402.87	c #Conflicts:     629000 | #Constraints:      73772
1399.05/1402.87	c #Conflicts:     630000 | #Constraints:      74772
1399.05/1402.87	c #Conflicts:     631000 | #Constraints:      75772
1399.05/1402.87	c #Conflicts:     632000 | #Constraints:      76772
1399.05/1402.87	c #Conflicts:     633000 | #Constraints:      77772
1399.05/1402.87	c #Conflicts:     634000 | #Constraints:      78772
1399.05/1402.87	c #Conflicts:     635000 | #Constraints:      79772
1399.05/1402.87	c #Conflicts:     636000 | #Constraints:      80772
1399.05/1402.87	c #Conflicts:     637000 | #Constraints:      81772
1399.05/1402.87	c #Conflicts:     638000 | #Constraints:      82772
1399.05/1402.87	c #Conflicts:     639000 | #Constraints:      83772
1399.05/1402.87	c #Conflicts:     640000 | #Constraints:      84772
1399.05/1402.87	c #Conflicts:     641000 | #Constraints:      85772
1399.05/1402.87	c #Conflicts:     642000 | #Constraints:      86772
1399.05/1402.87	c #Conflicts:     643000 | #Constraints:      87772
1399.05/1402.87	c #Conflicts:     644000 | #Constraints:      88772
1399.05/1402.87	c #Conflicts:     645000 | #Constraints:      89772
1399.05/1402.87	c #Conflicts:     646000 | #Constraints:      90772
1399.05/1402.87	c #Conflicts:     647000 | #Constraints:      91772
1399.05/1402.87	c INPROCESSING
1399.05/1402.87	c GARBAGE COLLECT
1399.05/1402.87	c rational objective -1.22008e-13
1425.38/1429.20	c #Conflicts:     648000 | #Constraints:      50741
1425.38/1429.20	c #Conflicts:     649000 | #Constraints:      51741
1425.38/1429.20	c #Conflicts:     650000 | #Constraints:      52741
1425.38/1429.20	c #Conflicts:     651000 | #Constraints:      53741
1425.38/1429.20	c #Conflicts:     652000 | #Constraints:      54741
1425.38/1429.20	c #Conflicts:     653000 | #Constraints:      55741
1425.38/1429.20	c #Conflicts:     654000 | #Constraints:      56741
1425.38/1429.20	c #Conflicts:     655000 | #Constraints:      57741
1425.38/1429.20	c #Conflicts:     656000 | #Constraints:      58741
1425.38/1429.20	c #Conflicts:     657000 | #Constraints:      59741
1425.38/1429.20	c #Conflicts:     658000 | #Constraints:      60741
1425.38/1429.20	c #Conflicts:     659000 | #Constraints:      61741
1425.38/1429.20	c #Conflicts:     660000 | #Constraints:      62741
1425.38/1429.20	c #Conflicts:     661000 | #Constraints:      63742
1425.38/1429.20	c #Conflicts:     662000 | #Constraints:      64742
1425.38/1429.20	c #Conflicts:     663000 | #Constraints:      65742
1425.38/1429.20	c #Conflicts:     664000 | #Constraints:      66742
1425.38/1429.20	c #Conflicts:     665000 | #Constraints:      67742
1425.38/1429.20	c #Conflicts:     666000 | #Constraints:      68742
1425.38/1429.20	c #Conflicts:     667000 | #Constraints:      69742
1425.38/1429.20	c #Conflicts:     668000 | #Constraints:      70742
1425.38/1429.20	c INPROCESSING
1425.38/1429.20	c GARBAGE COLLECT
1425.38/1429.20	c rational objective -1.22008e-13
1678.15/1682.73	c #Conflicts:     669000 | #Constraints:      40523
1678.15/1682.73	c #Conflicts:     670000 | #Constraints:      41523
1678.15/1682.73	c #Conflicts:     671000 | #Constraints:      42523
1678.15/1682.73	c #Conflicts:     672000 | #Constraints:      43523
1678.15/1682.73	c #Conflicts:     673000 | #Constraints:      44523
1678.15/1682.73	c #Conflicts:     674000 | #Constraints:      45523
1678.15/1682.73	c #Conflicts:     675000 | #Constraints:      46523
1678.15/1682.73	c #Conflicts:     676000 | #Constraints:      47523
1678.15/1682.73	c #Conflicts:     677000 | #Constraints:      48523
1678.15/1682.73	c #Conflicts:     678000 | #Constraints:      49523
1678.15/1682.73	c #Conflicts:     679000 | #Constraints:      50523
1678.15/1682.73	c #Conflicts:     680000 | #Constraints:      51523
1678.15/1682.73	c #Conflicts:     681000 | #Constraints:      52523
1678.15/1682.73	c #Conflicts:     682000 | #Constraints:      53523
1678.15/1682.73	c #Conflicts:     683000 | #Constraints:      54523
1678.15/1682.73	c #Conflicts:     684000 | #Constraints:      55523
1678.15/1682.73	c #Conflicts:     685000 | #Constraints:      56524
1678.15/1682.73	c #Conflicts:     686000 | #Constraints:      57524
1678.15/1682.73	c #Conflicts:     687000 | #Constraints:      58524
1678.15/1682.73	c #Conflicts:     688000 | #Constraints:      59524
1678.15/1682.73	c #Conflicts:     689000 | #Constraints:      60524
1678.15/1682.73	c #Conflicts:     690000 | #Constraints:      61524
1678.15/1682.73	c #Conflicts:     691000 | #Constraints:      62524
1678.15/1682.73	c #Conflicts:     692000 | #Constraints:      63524
1678.15/1682.73	c #Conflicts:     693000 | #Constraints:      64524
1678.15/1682.73	c #Conflicts:     694000 | #Constraints:      65524
1678.15/1682.73	c #Conflicts:     695000 | #Constraints:      66524
1678.15/1682.73	c #Conflicts:     696000 | #Constraints:      67524
1678.15/1682.73	c #Conflicts:     697000 | #Constraints:      68524
1678.15/1682.73	c #Conflicts:     698000 | #Constraints:      69524
1678.15/1682.73	c #Conflicts:     699000 | #Constraints:      70524
1678.15/1682.73	c #Conflicts:     700000 | #Constraints:      71524
1678.15/1682.73	c #Conflicts:     701000 | #Constraints:      72524
1678.15/1682.73	c #Conflicts:     702000 | #Constraints:      73524
1678.15/1682.73	c #Conflicts:     703000 | #Constraints:      74524
1678.15/1682.73	c #Conflicts:     704000 | #Constraints:      75524
1678.15/1682.73	c #Conflicts:     705000 | #Constraints:      76524
1678.15/1682.73	c #Conflicts:     706000 | #Constraints:      77524
1678.15/1682.73	c #Conflicts:     707000 | #Constraints:      78524
1678.15/1682.73	c #Conflicts:     708000 | #Constraints:      79524
1678.15/1682.73	c #Conflicts:     709000 | #Constraints:      80524
1678.15/1682.73	c #Conflicts:     710000 | #Constraints:      81524
1678.15/1682.73	c #Conflicts:     711000 | #Constraints:      82524
1678.15/1682.73	c #Conflicts:     712000 | #Constraints:      83524
1678.15/1682.73	c #Conflicts:     713000 | #Constraints:      84524
1678.15/1682.73	c #Conflicts:     714000 | #Constraints:      85524
1678.15/1682.73	c #Conflicts:     715000 | #Constraints:      86524
1678.15/1682.73	c #Conflicts:     716000 | #Constraints:      87524
1678.15/1682.73	c #Conflicts:     717000 | #Constraints:      88524
1678.15/1682.73	c #Conflicts:     718000 | #Constraints:      89524
1678.15/1682.73	c #Conflicts:     719000 | #Constraints:      90524
1678.15/1682.73	c #Conflicts:     720000 | #Constraints:      91524
1678.15/1682.73	c #Conflicts:     721000 | #Constraints:      92524
1678.15/1682.73	c #Conflicts:     722000 | #Constraints:      93524
1678.15/1682.73	c #Conflicts:     723000 | #Constraints:      94524
1678.15/1682.73	c #Conflicts:     724000 | #Constraints:      95524
1678.15/1682.73	c #Conflicts:     725000 | #Constraints:      96524
1678.15/1682.73	c INPROCESSING
1678.15/1682.73	c GARBAGE COLLECT
1678.15/1682.73	c #Conflicts:     726000 | #Constraints:      52947
1678.15/1682.73	c #Conflicts:     727000 | #Constraints:      53947
1678.15/1682.73	c #Conflicts:     728000 | #Constraints:      54947
1678.15/1682.73	c #Conflicts:     729000 | #Constraints:      55947
1678.15/1682.73	c #Conflicts:     730000 | #Constraints:      56947
1678.15/1682.73	c #Conflicts:     731000 | #Constraints:      57947
1678.15/1682.73	c #Conflicts:     732000 | #Constraints:      58947
1678.15/1682.73	c #Conflicts:     733000 | #Constraints:      59947
1678.15/1682.73	c #Conflicts:     734000 | #Constraints:      60947
1678.15/1682.73	c #Conflicts:     735000 | #Constraints:      61947
1678.15/1682.73	c #Conflicts:     736000 | #Constraints:      62947
1678.15/1682.73	c #Conflicts:     737000 | #Constraints:      63947
1678.15/1682.73	c #Conflicts:     738000 | #Constraints:      64947
1678.15/1682.73	c #Conflicts:     739000 | #Constraints:      65947
1678.15/1682.73	c #Conflicts:     740000 | #Constraints:      66947
1678.15/1682.73	c #Conflicts:     741000 | #Constraints:      67947
1678.15/1682.73	c #Conflicts:     742000 | #Constraints:      68947
1678.15/1682.73	c #Conflicts:     743000 | #Constraints:      69947
1678.15/1682.73	c #Conflicts:     744000 | #Constraints:      70947
1678.15/1682.73	c #Conflicts:     745000 | #Constraints:      71947
1678.15/1682.73	c #Conflicts:     746000 | #Constraints:      72947
1678.15/1682.73	c #Conflicts:     747000 | #Constraints:      73947
1679.95/1684.55	c INPROCESSING
1679.95/1684.55	c GARBAGE COLLECT
1679.95/1684.55	c rational objective 0
1822.83/1827.83	c #Conflicts:     748000 | #Constraints:      41731
1822.83/1827.83	c #Conflicts:     749000 | #Constraints:      42731
1822.83/1827.83	c #Conflicts:     750000 | #Constraints:      43731
1822.83/1827.83	c #Conflicts:     751000 | #Constraints:      44731
1822.83/1827.83	c #Conflicts:     752000 | #Constraints:      45731
1822.83/1827.83	c #Conflicts:     753000 | #Constraints:      46731
1822.83/1827.83	c #Conflicts:     754000 | #Constraints:      47731
1822.83/1827.83	c #Conflicts:     755000 | #Constraints:      48731
1822.83/1827.83	c #Conflicts:     756000 | #Constraints:      49731
1822.83/1827.83	c #Conflicts:     757000 | #Constraints:      50731
1822.83/1827.83	c #Conflicts:     758000 | #Constraints:      51731
1822.83/1827.83	c #Conflicts:     759000 | #Constraints:      52731
1822.83/1827.83	c #Conflicts:     760000 | #Constraints:      53731
1822.83/1827.83	c #Conflicts:     761000 | #Constraints:      54731
1822.83/1827.83	c #Conflicts:     762000 | #Constraints:      55731
1822.83/1827.83	c #Conflicts:     763000 | #Constraints:      56731
1822.83/1827.83	c #Conflicts:     764000 | #Constraints:      57731
1822.83/1827.83	c #Conflicts:     765000 | #Constraints:      58731
1822.83/1827.83	c #Conflicts:     766000 | #Constraints:      59731
1822.83/1827.83	c #Conflicts:     767000 | #Constraints:      60731
1822.83/1827.83	c #Conflicts:     768000 | #Constraints:      61731
1822.83/1827.83	c #Conflicts:     769000 | #Constraints:      62731
1822.83/1827.83	c #Conflicts:     770000 | #Constraints:      63731
1822.83/1827.83	c #Conflicts:     771000 | #Constraints:      64731
1822.83/1827.83	c #Conflicts:     772000 | #Constraints:      65731
1822.83/1827.83	c #Conflicts:     773000 | #Constraints:      66731
1822.83/1827.83	c #Conflicts:     774000 | #Constraints:      67731
1822.83/1827.83	c #Conflicts:     775000 | #Constraints:      68731
1822.83/1827.83	c #Conflicts:     776000 | #Constraints:      69731
1822.83/1827.83	c #Conflicts:     777000 | #Constraints:      70731
1822.83/1827.83	c #Conflicts:     778000 | #Constraints:      71731
1822.83/1827.83	c #Conflicts:     779000 | #Constraints:      72731
1822.83/1827.83	c #Conflicts:     780000 | #Constraints:      73731
1822.83/1827.83	c #Conflicts:     781000 | #Constraints:      74731
1822.83/1827.83	c #Conflicts:     782000 | #Constraints:      75731
1822.83/1827.83	c #Conflicts:     783000 | #Constraints:      76731
1822.83/1827.83	c #Conflicts:     784000 | #Constraints:      77731
1822.83/1827.83	c #Conflicts:     785000 | #Constraints:      78731
1822.83/1827.83	c #Conflicts:     786000 | #Constraints:      79731
1822.83/1827.83	c #Conflicts:     787000 | #Constraints:      80731
1822.83/1827.83	c #Conflicts:     788000 | #Constraints:      81731
1822.83/1827.83	c #Conflicts:     789000 | #Constraints:      82731
1822.83/1827.83	c #Conflicts:     790000 | #Constraints:      83731
1822.83/1827.83	c #Conflicts:     791000 | #Constraints:      84731
1822.83/1827.83	c #Conflicts:     792000 | #Constraints:      85731
1822.83/1827.83	c #Conflicts:     793000 | #Constraints:      86731
1822.83/1827.83	c #Conflicts:     794000 | #Constraints:      87731
1822.83/1827.83	c #Conflicts:     795000 | #Constraints:      88731
1822.83/1827.83	c #Conflicts:     796000 | #Constraints:      89731
1822.83/1827.83	c #Conflicts:     797000 | #Constraints:      90731
1822.83/1827.83	c #Conflicts:     798000 | #Constraints:      91731
1822.83/1827.83	c #Conflicts:     799000 | #Constraints:      92731
1822.83/1827.83	c #Conflicts:     800000 | #Constraints:      93731
1822.83/1827.83	c #Conflicts:     801000 | #Constraints:      94731
1822.83/1827.83	c #Conflicts:     802000 | #Constraints:      95732
1822.83/1827.83	c #Conflicts:     803000 | #Constraints:      96732
1822.83/1827.83	c #Conflicts:     804000 | #Constraints:      97732
1822.83/1827.83	c #Conflicts:     805000 | #Constraints:      98732
1822.83/1827.83	c #Conflicts:     806000 | #Constraints:      99732
1822.83/1827.83	c #Conflicts:     807000 | #Constraints:     100732
1822.83/1827.83	c #Conflicts:     808000 | #Constraints:     101732
1822.83/1827.83	c INPROCESSING
1822.83/1827.83	c GARBAGE COLLECT
1822.83/1827.83	c #Conflicts:     809000 | #Constraints:      55901
1822.83/1827.83	c #Conflicts:     810000 | #Constraints:      56901
1822.83/1827.83	c #Conflicts:     811000 | #Constraints:      57901
1822.83/1827.83	c #Conflicts:     812000 | #Constraints:      58901
1822.83/1827.83	c #Conflicts:     813000 | #Constraints:      59901
1822.83/1827.83	c #Conflicts:     814000 | #Constraints:      60901
1822.83/1827.83	c #Conflicts:     815000 | #Constraints:      61901
1822.83/1827.83	c #Conflicts:     816000 | #Constraints:      62901
1822.83/1827.83	c #Conflicts:     817000 | #Constraints:      63901
1822.83/1827.83	c #Conflicts:     818000 | #Constraints:      64901
1822.83/1827.83	c #Conflicts:     819000 | #Constraints:      65901
1822.83/1827.83	c #Conflicts:     820000 | #Constraints:      66901
1822.83/1827.83	c #Conflicts:     821000 | #Constraints:      67901
1822.83/1827.83	c #Conflicts:     822000 | #Constraints:      68901
1822.83/1827.83	c #Conflicts:     823000 | #Constraints:      69901
1822.83/1827.83	c #Conflicts:     824000 | #Constraints:      70901
1822.83/1827.83	c #Conflicts:     825000 | #Constraints:      71901
1822.83/1827.83	c #Conflicts:     826000 | #Constraints:      72901
1994.93/2000.42	c #Conflicts:     827000 | #Constraints:      73901
1994.93/2000.42	c #Conflicts:     828000 | #Constraints:      74901
1994.93/2000.42	c #Conflicts:     829000 | #Constraints:      75901
1994.93/2000.42	c #Conflicts:     830000 | #Constraints:      76901
1994.93/2000.42	c #Conflicts:     831000 | #Constraints:      77901
1994.93/2000.42	c INPROCESSING
1994.93/2000.42	c GARBAGE COLLECT
1994.93/2000.42	c #Conflicts:     832000 | #Constraints:      44093
1994.93/2000.42	c #Conflicts:     833000 | #Constraints:      45093
1994.93/2000.42	c #Conflicts:     834000 | #Constraints:      46093
1994.93/2000.42	c #Conflicts:     835000 | #Constraints:      47093
1994.93/2000.42	c #Conflicts:     836000 | #Constraints:      48093
1994.93/2000.42	c #Conflicts:     837000 | #Constraints:      49093
1994.93/2000.42	c #Conflicts:     838000 | #Constraints:      50093
1994.93/2000.42	c #Conflicts:     839000 | #Constraints:      51093
1994.93/2000.42	c #Conflicts:     840000 | #Constraints:      52093
1994.93/2000.42	c #Conflicts:     841000 | #Constraints:      53093
1994.93/2000.42	c #Conflicts:     842000 | #Constraints:      54093
1994.93/2000.42	c #Conflicts:     843000 | #Constraints:      55093
1994.93/2000.42	c #Conflicts:     844000 | #Constraints:      56093
1994.93/2000.42	c #Conflicts:     845000 | #Constraints:      57093
1994.93/2000.42	c #Conflicts:     846000 | #Constraints:      58093
1994.93/2000.42	c #Conflicts:     847000 | #Constraints:      59093
1994.93/2000.42	c #Conflicts:     848000 | #Constraints:      60093
1994.93/2000.42	c #Conflicts:     849000 | #Constraints:      61093
1994.93/2000.42	c #Conflicts:     850000 | #Constraints:      62093
1994.93/2000.42	c #Conflicts:     851000 | #Constraints:      63093
1994.93/2000.42	c #Conflicts:     852000 | #Constraints:      64093
1994.93/2000.42	c #Conflicts:     853000 | #Constraints:      65093
1994.93/2000.42	c #Conflicts:     854000 | #Constraints:      66093
1994.93/2000.42	c #Conflicts:     855000 | #Constraints:      67093
1994.93/2000.42	c #Conflicts:     856000 | #Constraints:      68093
1994.93/2000.42	c #Conflicts:     857000 | #Constraints:      69093
1994.93/2000.42	c #Conflicts:     858000 | #Constraints:      70093
1994.93/2000.42	c #Conflicts:     859000 | #Constraints:      71093
1994.93/2000.42	c #Conflicts:     860000 | #Constraints:      72093
1994.93/2000.42	c #Conflicts:     861000 | #Constraints:      73093
1994.93/2000.42	c #Conflicts:     862000 | #Constraints:      74093
1994.93/2000.42	c #Conflicts:     863000 | #Constraints:      75093
1994.93/2000.42	c #Conflicts:     864000 | #Constraints:      76093
1994.93/2000.42	c #Conflicts:     865000 | #Constraints:      77093
1994.93/2000.42	c #Conflicts:     866000 | #Constraints:      78093
1994.93/2000.42	c #Conflicts:     867000 | #Constraints:      79093
1994.93/2000.42	c #Conflicts:     868000 | #Constraints:      80093
1994.93/2000.42	c #Conflicts:     869000 | #Constraints:      81093
1994.93/2000.42	c #Conflicts:     870000 | #Constraints:      82093
1994.93/2000.42	c #Conflicts:     871000 | #Constraints:      83093
1994.93/2000.42	c #Conflicts:     872000 | #Constraints:      84093
1994.93/2000.42	c #Conflicts:     873000 | #Constraints:      85093
1994.93/2000.42	c #Conflicts:     874000 | #Constraints:      86093
1994.93/2000.42	c #Conflicts:     875000 | #Constraints:      87093
1994.93/2000.42	c #Conflicts:     876000 | #Constraints:      88094
1994.93/2000.42	c #Conflicts:     877000 | #Constraints:      89094
1994.93/2000.42	c #Conflicts:     878000 | #Constraints:      90094
1994.93/2000.42	c #Conflicts:     879000 | #Constraints:      91094
1994.93/2000.42	c #Conflicts:     880000 | #Constraints:      92094
1994.93/2000.42	c #Conflicts:     881000 | #Constraints:      93094
1994.93/2000.42	c #Conflicts:     882000 | #Constraints:      94094
1994.93/2000.42	c #Conflicts:     883000 | #Constraints:      95094
1994.93/2000.42	c #Conflicts:     884000 | #Constraints:      96094
1994.93/2000.42	c #Conflicts:     885000 | #Constraints:      97094
1994.93/2000.42	c #Conflicts:     886000 | #Constraints:      98094
1994.93/2000.42	c #Conflicts:     887000 | #Constraints:      99094
1994.93/2000.42	c #Conflicts:     888000 | #Constraints:     100094
1994.93/2000.42	c #Conflicts:     889000 | #Constraints:     101094
1994.93/2000.42	c #Conflicts:     890000 | #Constraints:     102094
1994.93/2000.42	c #Conflicts:     891000 | #Constraints:     103094
1994.93/2000.42	c #Conflicts:     892000 | #Constraints:     104094
1994.93/2000.42	c #Conflicts:     893000 | #Constraints:     105094
1994.93/2000.42	c #Conflicts:     894000 | #Constraints:     106094
1994.93/2000.42	c #Conflicts:     895000 | #Constraints:     107094
1994.93/2000.42	c INPROCESSING
1994.93/2000.42	c GARBAGE COLLECT
1994.93/2000.42	c rational objective -1.22008e-13
2036.42/2042.06	c #Conflicts:     896000 | #Constraints:      58487
2036.42/2042.06	c #Conflicts:     897000 | #Constraints:      59487
2036.42/2042.06	c #Conflicts:     898000 | #Constraints:      60487
2036.42/2042.06	c #Conflicts:     899000 | #Constraints:      61487
2036.42/2042.06	c #Conflicts:     900000 | #Constraints:      62487
2036.42/2042.06	c #Conflicts:     901000 | #Constraints:      63487
2036.42/2042.06	c #Conflicts:     902000 | #Constraints:      64487
2036.42/2042.06	c #Conflicts:     903000 | #Constraints:      65487
2036.42/2042.06	c #Conflicts:     904000 | #Constraints:      66487
2036.42/2042.06	c #Conflicts:     905000 | #Constraints:      67487
2036.42/2042.06	c #Conflicts:     906000 | #Constraints:      68487
2036.42/2042.06	c #Conflicts:     907000 | #Constraints:      69487
2036.42/2042.06	c #Conflicts:     908000 | #Constraints:      70487
2036.42/2042.06	c #Conflicts:     909000 | #Constraints:      71487
2036.42/2042.06	c #Conflicts:     910000 | #Constraints:      72487
2036.42/2042.06	c #Conflicts:     911000 | #Constraints:      73487
2036.42/2042.06	c #Conflicts:     912000 | #Constraints:      74488
2036.42/2042.06	c #Conflicts:     913000 | #Constraints:      75488
2036.42/2042.06	c #Conflicts:     914000 | #Constraints:      76488
2036.42/2042.06	c #Conflicts:     915000 | #Constraints:      77488
2036.42/2042.06	c #Conflicts:     916000 | #Constraints:      78488
2036.42/2042.06	c #Conflicts:     917000 | #Constraints:      79488
2036.42/2042.06	c #Conflicts:     918000 | #Constraints:      80488
2036.42/2042.06	c #Conflicts:     919000 | #Constraints:      81488
2036.42/2042.06	c #Conflicts:     920000 | #Constraints:      82488
2036.42/2042.06	c INPROCESSING
2036.42/2042.06	c GARBAGE COLLECT
2036.42/2042.06	c rational objective -1.22008e-13
2432.06/2438.76	c #Conflicts:     921000 | #Constraints:      47490
2432.06/2438.76	c #Conflicts:     922000 | #Constraints:      48490
2432.06/2438.76	c #Conflicts:     923000 | #Constraints:      49490
2432.06/2438.76	c #Conflicts:     924000 | #Constraints:      50490
2432.06/2438.76	c #Conflicts:     925000 | #Constraints:      51490
2432.06/2438.76	c #Conflicts:     926000 | #Constraints:      52490
2432.06/2438.76	c #Conflicts:     927000 | #Constraints:      53490
2432.06/2438.76	c #Conflicts:     928000 | #Constraints:      54490
2432.06/2438.76	c #Conflicts:     929000 | #Constraints:      55490
2432.06/2438.76	c #Conflicts:     930000 | #Constraints:      56490
2432.06/2438.76	c #Conflicts:     931000 | #Constraints:      57490
2432.06/2438.76	c #Conflicts:     932000 | #Constraints:      58490
2432.06/2438.76	c #Conflicts:     933000 | #Constraints:      59490
2432.06/2438.76	c #Conflicts:     934000 | #Constraints:      60490
2432.06/2438.76	c #Conflicts:     935000 | #Constraints:      61490
2432.06/2438.76	c #Conflicts:     936000 | #Constraints:      62490
2432.06/2438.76	c #Conflicts:     937000 | #Constraints:      63490
2432.06/2438.76	c #Conflicts:     938000 | #Constraints:      64490
2432.06/2438.76	c #Conflicts:     939000 | #Constraints:      65490
2432.06/2438.76	c #Conflicts:     940000 | #Constraints:      66490
2432.06/2438.76	c #Conflicts:     941000 | #Constraints:      67490
2432.06/2438.76	c #Conflicts:     942000 | #Constraints:      68490
2432.06/2438.76	c #Conflicts:     943000 | #Constraints:      69490
2432.06/2438.76	c #Conflicts:     944000 | #Constraints:      70490
2432.06/2438.76	c #Conflicts:     945000 | #Constraints:      71490
2432.06/2438.76	c #Conflicts:     946000 | #Constraints:      72490
2432.06/2438.76	c #Conflicts:     947000 | #Constraints:      73490
2432.06/2438.76	c #Conflicts:     948000 | #Constraints:      74490
2432.06/2438.76	c #Conflicts:     949000 | #Constraints:      75490
2432.06/2438.76	c #Conflicts:     950000 | #Constraints:      76490
2432.06/2438.76	c #Conflicts:     951000 | #Constraints:      77490
2432.06/2438.76	c #Conflicts:     952000 | #Constraints:      78490
2432.06/2438.76	c #Conflicts:     953000 | #Constraints:      79490
2432.06/2438.76	c #Conflicts:     954000 | #Constraints:      80490
2432.06/2438.76	c #Conflicts:     955000 | #Constraints:      81490
2432.06/2438.76	c #Conflicts:     956000 | #Constraints:      82490
2432.06/2438.76	c #Conflicts:     957000 | #Constraints:      83490
2432.06/2438.76	c #Conflicts:     958000 | #Constraints:      84490
2432.06/2438.76	c #Conflicts:     959000 | #Constraints:      85490
2432.06/2438.76	c #Conflicts:     960000 | #Constraints:      86490
2432.06/2438.76	c #Conflicts:     961000 | #Constraints:      87490
2432.06/2438.76	c #Conflicts:     962000 | #Constraints:      88490
2432.06/2438.76	c #Conflicts:     963000 | #Constraints:      89490
2432.06/2438.76	c #Conflicts:     964000 | #Constraints:      90490
2432.06/2438.76	c #Conflicts:     965000 | #Constraints:      91490
2432.06/2438.76	c #Conflicts:     966000 | #Constraints:      92490
2432.06/2438.76	c #Conflicts:     967000 | #Constraints:      93490
2432.06/2438.76	c #Conflicts:     968000 | #Constraints:      94490
2432.06/2438.76	c #Conflicts:     969000 | #Constraints:      95490
2432.06/2438.76	c #Conflicts:     970000 | #Constraints:      96490
2432.06/2438.76	c #Conflicts:     971000 | #Constraints:      97491
2432.06/2438.76	c #Conflicts:     972000 | #Constraints:      98491
2432.06/2438.76	c #Conflicts:     973000 | #Constraints:      99491
2432.06/2438.76	c #Conflicts:     974000 | #Constraints:     100491
2432.06/2438.76	c #Conflicts:     975000 | #Constraints:     101491
2432.06/2438.76	c #Conflicts:     976000 | #Constraints:     102491
2432.06/2438.76	c #Conflicts:     977000 | #Constraints:     103491
2432.06/2438.76	c #Conflicts:     978000 | #Constraints:     104491
2432.06/2438.76	c #Conflicts:     979000 | #Constraints:     105491
2432.06/2438.76	c #Conflicts:     980000 | #Constraints:     106491
2432.06/2438.76	c #Conflicts:     981000 | #Constraints:     107491
2432.06/2438.76	c #Conflicts:     982000 | #Constraints:     108491
2432.06/2438.76	c #Conflicts:     983000 | #Constraints:     109491
2432.06/2438.76	c #Conflicts:     984000 | #Constraints:     110491
2432.06/2438.76	c #Conflicts:     985000 | #Constraints:     111491
2432.06/2438.76	c #Conflicts:     986000 | #Constraints:     112491
2432.06/2438.76	c #Conflicts:     987000 | #Constraints:     113491
2432.06/2438.76	c INPROCESSING
2432.06/2438.76	c GARBAGE COLLECT
2432.06/2438.76	c #Conflicts:     988000 | #Constraints:      62009
2432.06/2438.76	c #Conflicts:     989000 | #Constraints:      63009
2432.06/2438.76	c #Conflicts:     990000 | #Constraints:      64009
2432.06/2438.76	c #Conflicts:     991000 | #Constraints:      65009
2432.06/2438.76	c #Conflicts:     992000 | #Constraints:      66009
2432.06/2438.76	c #Conflicts:     993000 | #Constraints:      67009
2432.06/2438.76	c #Conflicts:     994000 | #Constraints:      68009
2432.06/2438.76	c #Conflicts:     995000 | #Constraints:      69009
2432.06/2438.76	c #Conflicts:     996000 | #Constraints:      70009
2432.06/2438.76	c #Conflicts:     997000 | #Constraints:      71009
2432.06/2438.76	c #Conflicts:     998000 | #Constraints:      72009
2432.06/2438.76	c #Conflicts:     999000 | #Constraints:      73009
2500.30/2507.18	c #Conflicts:    1000000 | #Constraints:      74009
2500.30/2507.18	c #Conflicts:    1001000 | #Constraints:      75009
2500.30/2507.18	c #Conflicts:    1002000 | #Constraints:      76009
2500.30/2507.18	c #Conflicts:    1003000 | #Constraints:      77009
2500.30/2507.18	c #Conflicts:    1004000 | #Constraints:      78009
2500.30/2507.18	c #Conflicts:    1005000 | #Constraints:      79009
2500.30/2507.18	c #Conflicts:    1006000 | #Constraints:      80009
2500.30/2507.18	c #Conflicts:    1007000 | #Constraints:      81009
2500.30/2507.18	c #Conflicts:    1008000 | #Constraints:      82009
2500.30/2507.18	c #Conflicts:    1009000 | #Constraints:      83009
2500.30/2507.18	c #Conflicts:    1010000 | #Constraints:      84009
2500.30/2507.18	c #Conflicts:    1011000 | #Constraints:      85009
2500.30/2507.18	c #Conflicts:    1012000 | #Constraints:      86009
2500.30/2507.18	c INPROCESSING
2500.30/2507.18	c GARBAGE COLLECT
2500.30/2507.18	c rational objective 1.22008e-13
3279.10/3288.24	c #Conflicts:    1013000 | #Constraints:      48406
3279.10/3288.24	c #Conflicts:    1014000 | #Constraints:      49407
3279.10/3288.24	c #Conflicts:    1015000 | #Constraints:      50407
3279.10/3288.24	c #Conflicts:    1016000 | #Constraints:      51407
3279.10/3288.24	c #Conflicts:    1017000 | #Constraints:      52407
3279.10/3288.24	c #Conflicts:    1018000 | #Constraints:      53407
3279.10/3288.24	c #Conflicts:    1019000 | #Constraints:      54407
3279.10/3288.24	c #Conflicts:    1020000 | #Constraints:      55407
3279.10/3288.24	c #Conflicts:    1021000 | #Constraints:      56407
3279.10/3288.24	c #Conflicts:    1022000 | #Constraints:      57407
3279.10/3288.24	c #Conflicts:    1023000 | #Constraints:      58407
3279.10/3288.24	c #Conflicts:    1024000 | #Constraints:      59408
3279.10/3288.24	c #Conflicts:    1025000 | #Constraints:      60408
3279.10/3288.24	c #Conflicts:    1026000 | #Constraints:      61408
3279.10/3288.24	c #Conflicts:    1027000 | #Constraints:      62408
3279.10/3288.24	c #Conflicts:    1028000 | #Constraints:      63408
3279.10/3288.24	c #Conflicts:    1029000 | #Constraints:      64408
3279.10/3288.24	c #Conflicts:    1030000 | #Constraints:      65408
3279.10/3288.24	c #Conflicts:    1031000 | #Constraints:      66408
3279.10/3288.24	c #Conflicts:    1032000 | #Constraints:      67408
3279.10/3288.24	c #Conflicts:    1033000 | #Constraints:      68408
3279.10/3288.24	c #Conflicts:    1034000 | #Constraints:      69408
3279.10/3288.24	c #Conflicts:    1035000 | #Constraints:      70408
3279.10/3288.24	c #Conflicts:    1036000 | #Constraints:      71408
3279.10/3288.24	c #Conflicts:    1037000 | #Constraints:      72408
3279.10/3288.24	c #Conflicts:    1038000 | #Constraints:      73408
3279.10/3288.24	c #Conflicts:    1039000 | #Constraints:      74408
3279.10/3288.24	c #Conflicts:    1040000 | #Constraints:      75408
3279.10/3288.24	c #Conflicts:    1041000 | #Constraints:      76408
3279.10/3288.24	c #Conflicts:    1042000 | #Constraints:      77408
3279.10/3288.24	c #Conflicts:    1043000 | #Constraints:      78408
3279.10/3288.24	c #Conflicts:    1044000 | #Constraints:      79408
3279.10/3288.24	c #Conflicts:    1045000 | #Constraints:      80408
3279.10/3288.24	c #Conflicts:    1046000 | #Constraints:      81408
3279.10/3288.24	c #Conflicts:    1047000 | #Constraints:      82408
3279.10/3288.24	c #Conflicts:    1048000 | #Constraints:      83408
3279.10/3288.24	c #Conflicts:    1049000 | #Constraints:      84408
3279.10/3288.24	c #Conflicts:    1050000 | #Constraints:      85408
3279.10/3288.24	c #Conflicts:    1051000 | #Constraints:      86408
3279.10/3288.24	c #Conflicts:    1052000 | #Constraints:      87408
3279.10/3288.24	c #Conflicts:    1053000 | #Constraints:      88408
3279.10/3288.24	c #Conflicts:    1054000 | #Constraints:      89408
3279.10/3288.24	c #Conflicts:    1055000 | #Constraints:      90408
3279.10/3288.24	c #Conflicts:    1056000 | #Constraints:      91409
3279.10/3288.24	c #Conflicts:    1057000 | #Constraints:      92409
3279.10/3288.24	c #Conflicts:    1058000 | #Constraints:      93409
3279.10/3288.24	c #Conflicts:    1059000 | #Constraints:      94409
3279.10/3288.24	c #Conflicts:    1060000 | #Constraints:      95409
3279.10/3288.24	c #Conflicts:    1061000 | #Constraints:      96409
3279.10/3288.24	c #Conflicts:    1062000 | #Constraints:      97409
3279.10/3288.24	c #Conflicts:    1063000 | #Constraints:      98409
3279.10/3288.24	c #Conflicts:    1064000 | #Constraints:      99409
3279.10/3288.24	c #Conflicts:    1065000 | #Constraints:     100409
3279.10/3288.24	c #Conflicts:    1066000 | #Constraints:     101409
3279.10/3288.24	c #Conflicts:    1067000 | #Constraints:     102409
3279.10/3288.24	c #Conflicts:    1068000 | #Constraints:     103409
3279.10/3288.24	c #Conflicts:    1069000 | #Constraints:     104409
3279.10/3288.24	c #Conflicts:    1070000 | #Constraints:     105409
3279.10/3288.24	c #Conflicts:    1071000 | #Constraints:     106409
3279.10/3288.24	c #Conflicts:    1072000 | #Constraints:     107409
3279.10/3288.24	c #Conflicts:    1073000 | #Constraints:     108409
3279.10/3288.24	c #Conflicts:    1074000 | #Constraints:     109409
3279.10/3288.24	c #Conflicts:    1075000 | #Constraints:     110409
3279.10/3288.24	c #Conflicts:    1076000 | #Constraints:     111409
3279.10/3288.24	c #Conflicts:    1077000 | #Constraints:     112409
3279.10/3288.24	c #Conflicts:    1078000 | #Constraints:     113409
3279.10/3288.24	c #Conflicts:    1079000 | #Constraints:     114409
3279.10/3288.24	c #Conflicts:    1080000 | #Constraints:     115409
3279.10/3288.24	c #Conflicts:    1081000 | #Constraints:     116409
3279.10/3288.24	c #Conflicts:    1082000 | #Constraints:     117409
3279.10/3288.24	c INPROCESSING
3279.10/3288.24	c GARBAGE COLLECT
3279.10/3288.24	c #Conflicts:    1083000 | #Constraints:      63449
3279.10/3288.24	c #Conflicts:    1084000 | #Constraints:      64449
3279.10/3288.24	c #Conflicts:    1085000 | #Constraints:      65449
3279.10/3288.24	c #Conflicts:    1086000 | #Constraints:      66449
3279.10/3288.24	c #Conflicts:    1087000 | #Constraints:      67449
3279.10/3288.24	c #Conflicts:    1088000 | #Constraints:      68449
3279.10/3288.24	c #Conflicts:    1089000 | #Constraints:      69449
3279.10/3288.24	c #Conflicts:    1090000 | #Constraints:      70449
3279.10/3288.24	c #Conflicts:    1091000 | #Constraints:      71449
3288.08/3297.26	c #Conflicts:    1092000 | #Constraints:      72449
3288.08/3297.26	c #Conflicts:    1093000 | #Constraints:      73449
3288.08/3297.26	c #Conflicts:    1094000 | #Constraints:      74449
3288.08/3297.26	c #Conflicts:    1095000 | #Constraints:      75449
3288.08/3297.26	c #Conflicts:    1096000 | #Constraints:      76449
3288.08/3297.26	c #Conflicts:    1097000 | #Constraints:      77449
3288.08/3297.26	c #Conflicts:    1098000 | #Constraints:      78449
3288.08/3297.26	c #Conflicts:    1099000 | #Constraints:      79449
3288.08/3297.26	c #Conflicts:    1100000 | #Constraints:      80449
3288.08/3297.26	c #Conflicts:    1101000 | #Constraints:      81449
3288.08/3297.26	c #Conflicts:    1102000 | #Constraints:      82449
3288.08/3297.26	c #Conflicts:    1103000 | #Constraints:      83449
3288.08/3297.26	c #Conflicts:    1104000 | #Constraints:      84449
3288.08/3297.26	c #Conflicts:    1105000 | #Constraints:      85449
3288.08/3297.26	c #Conflicts:    1106000 | #Constraints:      86449
3288.08/3297.26	c #Conflicts:    1107000 | #Constraints:      87449
3288.08/3297.26	c #Conflicts:    1108000 | #Constraints:      88449
3288.08/3297.26	c #Conflicts:    1109000 | #Constraints:      89449
3288.08/3297.26	c #Conflicts:    1110000 | #Constraints:      90449
3288.08/3297.26	c INPROCESSING
3288.08/3297.26	c GARBAGE COLLECT
3288.08/3297.26	c rational objective 1.22008e-13
3600.06/3610.10	c #Conflicts:    1111000 | #Constraints:      50863
3600.06/3610.10	c #Conflicts:    1112000 | #Constraints:      51863
3600.06/3610.10	c #Conflicts:    1113000 | #Constraints:      52863
3600.06/3610.10	c #Conflicts:    1114000 | #Constraints:      53863
3600.06/3610.10	c #Conflicts:    1115000 | #Constraints:      54863
3600.06/3610.10	c #Conflicts:    1116000 | #Constraints:      55863
3600.06/3610.10	c #Conflicts:    1117000 | #Constraints:      56863
3600.06/3610.10	c #Conflicts:    1118000 | #Constraints:      57863
3600.06/3610.10	c #Conflicts:    1119000 | #Constraints:      58863
3600.06/3610.10	c #Conflicts:    1120000 | #Constraints:      59863
3600.06/3610.10	c #Conflicts:    1121000 | #Constraints:      60863
3600.06/3610.10	c #Conflicts:    1122000 | #Constraints:      61863
3600.06/3610.10	c #Conflicts:    1123000 | #Constraints:      62863
3600.06/3610.10	c #Conflicts:    1124000 | #Constraints:      63863
3600.06/3610.10	c #Conflicts:    1125000 | #Constraints:      64863
3600.06/3610.10	c #Conflicts:    1126000 | #Constraints:      65863
3600.06/3610.10	c #Conflicts:    1127000 | #Constraints:      66863
3600.06/3610.10	c #Conflicts:    1128000 | #Constraints:      67863
3600.06/3610.10	c #Conflicts:    1129000 | #Constraints:      68863
3600.06/3610.10	c #Conflicts:    1130000 | #Constraints:      69863
3600.06/3610.10	c #Conflicts:    1131000 | #Constraints:      70863
3600.06/3610.10	c #Conflicts:    1132000 | #Constraints:      71863
3600.06/3610.10	c #Conflicts:    1133000 | #Constraints:      72863
3600.06/3610.10	c #Conflicts:    1134000 | #Constraints:      73863
3600.06/3610.10	c #Conflicts:    1135000 | #Constraints:      74863
3600.06/3610.10	c #Conflicts:    1136000 | #Constraints:      75863
3600.06/3610.10	c #Conflicts:    1137000 | #Constraints:      76863
3600.06/3610.10	c #Conflicts:    1138000 | #Constraints:      77863
3600.06/3610.10	c #Conflicts:    1139000 | #Constraints:      78863
3600.06/3610.10	c #Conflicts:    1140000 | #Constraints:      79863
3600.06/3610.10	c #Conflicts:    1141000 | #Constraints:      80863
3600.06/3610.10	c #Conflicts:    1142000 | #Constraints:      81863
3600.06/3610.10	c #Conflicts:    1143000 | #Constraints:      82863
3600.06/3610.10	c #Conflicts:    1144000 | #Constraints:      83863
3600.06/3610.10	c #Conflicts:    1145000 | #Constraints:      84863
3600.06/3610.10	c #Conflicts:    1146000 | #Constraints:      85863
3600.06/3610.10	c #Conflicts:    1147000 | #Constraints:      86863
3600.06/3610.10	c #Conflicts:    1148000 | #Constraints:      87863
3600.06/3610.10	c #Conflicts:    1149000 | #Constraints:      88863
3600.06/3610.10	c #Conflicts:    1150000 | #Constraints:      89863
3600.06/3610.10	c #Conflicts:    1151000 | #Constraints:      90863
3600.06/3610.10	c #Conflicts:    1152000 | #Constraints:      91863
3600.06/3610.10	c #Conflicts:    1153000 | #Constraints:      92864
3600.06/3610.10	c #Conflicts:    1154000 | #Constraints:      93864
3600.06/3610.10	c #Conflicts:    1155000 | #Constraints:      94864
3600.06/3610.10	c #Conflicts:    1156000 | #Constraints:      95864
3600.06/3610.10	c cpu time 3593.1 s
3600.06/3610.10	c deterministic time 176755659654 1.77e+11
3600.06/3610.10	c optimization time 311.48 s
3600.06/3610.10	c total solve time 3281.6 s
3600.06/3610.10	c core-guided solve time 0 s
3600.06/3610.10	c propagation time 2263.57 s
3600.06/3610.10	c conflict analysis time 1283.43 s
3600.06/3610.10	c propagations 450795538
3600.06/3610.10	c resolve steps 149281678
3600.06/3610.10	c decisions 1944416
3600.06/3610.10	c conflicts 1156838
3600.06/3610.10	c restarts 2153
3600.06/3610.10	c inprocessing phases 50
3600.06/3610.10	c garbage collections 50 ,( 100.00 )
3600.06/3610.10	c input clauses 3255 ,( 46.66 )
3600.06/3610.10	c input cardinalities 0 ,( 0.00 )
3600.06/3610.10	c input general constraints 3721 ,( 53.34 )
3600.06/3610.10	c input average constraint length 3.74
3600.06/3610.10	c input average constraint degree 661078844384662.00
3600.06/3610.10	c learned clauses 782792 ,( 67.67 )
3600.06/3610.10	c learned cardinalities 128 ,( 0.01 )
3600.06/3610.10	c learned general constraints 373934 ,( 32.32 )
3600.06/3610.10	c learned average constraint length 301.25
3600.06/3610.10	c learned average constraint degree 126535729.28
3600.06/3610.10	c watched  CF 32, 64, 128, Arb: 58843 , 0 , 0 , 0
3600.06/3610.10	c counting CF 32, 64, 128, Arb: 318811 , 0 , 1 , 0
3600.06/3610.10	c watched   constraints 58843 ,( 15.58 ) 
3600.06/3610.10	c counting  constraints 318812 ,( 84.42 ) 
3600.06/3610.10	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 551640212 , 2024454 , 59828184580 ,( 423368804 , 59404815776 )
3600.06/3610.10	c gcd simplifications 28757
3600.06/3610.10	c detected cardinalities 44
3600.06/3610.10	c weakened non-implied lits 49034560
3600.06/3610.10	c weakened non-implying lits 297596
3600.06/3610.10	c original variables 4929
3600.06/3610.10	c clausal propagations 114445213
3600.06/3610.10	c cardinality propagations 85049
3600.06/3610.10	c watched propagations 981291
3600.06/3610.10	c counting propagations 334107980
3600.06/3610.10	c watch lookups 100714590033
3600.06/3610.10	c watch backjump lookups 0
3600.06/3610.10	c watch checks 11543805455
3600.06/3610.10	c propagation checks 62173804512
3600.06/3610.10	c constraint additions 1416598646
3600.06/3610.10	c trail pops 453893296
3600.06/3610.10	c formula constraints 6976
3600.06/3610.10	c learned constraints 1156820
3600.06/3610.10	c bound constraints 0
3600.06/3610.10	c core-guided constraints 0
3600.06/3610.10	c encountered formula constraints 113126002
3600.06/3610.10	c encountered learned constraints 37158833
3600.06/3610.10	c encountered bound constraints 0
3600.06/3610.10	c encountered core-guided constraints 0
3600.06/3610.10	c LP total time 26.4445 s
3600.06/3610.10	c LP solve time 25.23 s
3600.06/3610.10	c LP constraints added 6976
3600.06/3610.10	c LP constraints removed 0
3600.06/3610.10	c LP pivots internal 117544
3600.06/3610.10	c LP pivots root 110213
3600.06/3610.10	c LP calls 171
3600.06/3610.10	c LP optimalities 147
3600.06/3610.10	c LP no pivot count 10
3600.06/3610.10	c LP infeasibilities 17
3600.06/3610.10	c LP valid Farkas constraints 17
3600.06/3610.10	c LP learned Farkas constraints 17
3600.06/3610.10	c LP basis resets 3
3600.06/3610.10	c LP cycling count 0
3600.06/3610.10	c LP singular count 3
3600.06/3610.10	c LP no primal count 0
3600.06/3610.10	c LP no farkas count 0
3600.06/3610.10	c LP other issue count 0
3600.06/3610.10	c LP Gomory cuts 0
3600.06/3610.10	c LP learned cuts 0
3600.06/3610.10	c LP deleted cuts 0
3600.06/3610.10	c LP encountered Gomory constraints 0
3600.06/3610.10	c LP encountered Farkas constraints 153622
3600.06/3610.10	c LP encountered learned Farkas constraints 42
3600.06/3610.10	c CG auxiliary variables introduced 0
3600.06/3610.10	c CG solutions found 0
3600.06/3610.10	c CG cores constructed 0
3600.06/3610.10	c CG core cardinality constraints returned 0
3600.06/3610.10	c CG unit cores 0
3600.06/3610.10	c CG single cores 0
3600.06/3610.10	c CG blocks removed during cardinality reduction 0
3600.06/3610.10	c CG first core best 0
3600.06/3610.10	c CG decision core best 0
3600.06/3610.10	c CG core reduction tie 0
3600.06/3610.10	c CG core degree average 0.00
3600.06/3610.10	c CG core slack average 0.00
3600.06/3610.10	c CG core upper bound improvements 0
3600.06/3610.10	c STR number of successful calls 0
3600.06/3610.10	c STR number of unsuccessful calls 0
3600.06/3610.10	c STR number of inconclusive calls 0
3600.06/3610.10	c STR number of successful attempts 0
3600.06/3610.10	c STR number of unsuccessful attempts 0
3600.06/3610.10	c STR number of inconclusive attempts 0
3600.06/3610.10	c STR average degree increase per successful call inf
3600.06/3610.10	c STR average degree increase per successful attempt inf
3600.06/3610.10	c STR total number of conflicts for successful attempts 0
3600.06/3610.10	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.10	c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.10	c STR average number of conflicts per successful attempt inf
3600.06/3610.10	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.10	c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.10	c AVG.sumWPerc 75.38 
3600.06/3610.10	c bigint constraints 1 
3600.06/3610.10	s UNKNOWN
3600.06/3610.10	c Program interrupted by user.

ERROR: no interpretation found !

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62100 MiB free)
  memory of node 1: 64465 MiB (62388 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541724-1753202596/watcher-4541724-1753202596 -o /tmp/evaluation-result-4541724-1753202596/solver-4541724-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753198973-157107 --watchdog 3760 run-dec-ls.sh HOME/instance-4541724-1753202596.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=157529, runsolver pid=157519

[startup+0.100062 s]*
/proc/loadavg: 4.22 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127453896/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=68380 memory=24500 CPUtime=0.07 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 4047 0 0 0 6 1 0 0 20 0 1 0 235934173 70021120 6125 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 17095 6125 2304 1147 0 4522 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 72572 KiB
Current children cumulated memory: 27572 KiB

[startup+0.204755 s]*
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127438396/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=69960 memory=25908 CPUtime=0.17 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 4344 0 0 0 16 1 0 0 20 0 1 0 235934173 71639040 6477 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 17490 6477 2368 1147 0 4917 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 74152 KiB
Current children cumulated memory: 28980 KiB

[startup+0.304511 s]*
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127438396/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=69960 memory=25908 CPUtime=0.27 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 4362 0 0 0 25 2 0 0 20 0 1 0 235934173 71639040 6477 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 17490 6477 2368 1147 0 4917 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 74152 KiB
Current children cumulated memory: 28980 KiB

[startup+0.700135 s]
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127437136/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=71752 memory=27572 CPUtime=0.66 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 4766 0 0 0 64 2 0 0 20 0 1 0 235934173 73474048 6893 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 17938 6893 2368 1147 0 5365 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 75944 KiB
Current children cumulated memory: 30644 KiB

[startup+1.50013 s]
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127435120/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=71752 memory=27700 CPUtime=1.46 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 4818 0 0 0 142 4 0 0 20 0 1 0 235934173 73474048 6925 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 17938 6925 2368 1147 0 5365 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 75944 KiB
Current children cumulated memory: 30772 KiB

[startup+3.10443 s]
/proc/loadavg: 4.20 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127431260/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=73512 memory=29620 CPUtime=3.06 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 5271 0 0 0 300 6 0 0 20 0 1 0 235934173 75276288 7405 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 18378 7405 2368 1147 0 5805 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 77704 KiB
Current children cumulated memory: 32692 KiB

[startup+6.30013 s]
/proc/loadavg: 4.19 4.16 4.06 5/269 157548
/proc/meminfo: memFree=127427832/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=75156 memory=33248 CPUtime=6.25 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 5679 0 0 0 616 9 0 0 20 0 1 0 235934173 76959744 8312 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 18789 8312 2368 1147 0 6216 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 79348 KiB
Current children cumulated memory: 36320 KiB

[startup+12.7001 s]
/proc/loadavg: 4.17 4.16 4.06 5/269 157548
/proc/meminfo: memFree=127419768/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=79744 memory=37600 CPUtime=12.63 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 6783 0 0 0 1249 14 0 0 20 0 1 0 235934173 81657856 9400 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 19936 9400 2368 1147 0 7363 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 83936 KiB
Current children cumulated memory: 40672 KiB

[startup+25.5001 s]
/proc/loadavg: 4.22 4.17 4.06 5/269 157548
/proc/meminfo: memFree=127398920/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=93032 memory=49428 CPUtime=25.4 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 8717 0 0 0 2519 21 0 0 20 0 1 0 235934173 95264768 12357 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 23258 12357 2368 1147 0 10685 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 97224 KiB
Current children cumulated memory: 52500 KiB

[startup+51.105 s]
/proc/loadavg: 4.21 4.17 4.06 5/269 157549
/proc/meminfo: memFree=127360020/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=102764 memory=56312 CPUtime=50.95 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 9939 0 0 0 5067 28 0 0 20 0 1 0 235934173 105230336 14078 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 25691 14078 2368 1147 0 13118 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 106956 KiB
Current children cumulated memory: 59384 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.07 5/268 157552
/proc/meminfo: memFree=127265556/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=147844 memory=97152 CPUtime=102.02 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 14523 0 0 0 10148 54 0 0 20 0 1 0 235934173 151392256 24288 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 36961 24288 2368 1147 0 24388 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 152036 KiB
Current children cumulated memory: 100224 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.07 5/268 157554
/proc/meminfo: memFree=127128244/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=216052 memory=155776 CPUtime=161.87 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 29195 0 0 0 16099 88 0 0 20 0 1 0 235934173 221237248 38944 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 54013 38944 2368 1147 0 41440 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 220244 KiB
Current children cumulated memory: 158848 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.07 5/269 157557
/proc/meminfo: memFree=127010252/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=231080 memory=179328 CPUtime=221.69 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 32425 0 0 0 22059 110 0 0 20 0 1 0 235934173 236625920 44832 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 57770 44832 2464 1147 0 45197 0
Current children cumulated CPU time: 221.69 s

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

/proc/157535/statm: 210018 183143 2496 1147 0 197445 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 844264 KiB
Current children cumulated memory: 735644 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 157719
/proc/meminfo: memFree=124733492/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=862216 memory=760380 CPUtime=3153.6 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 128331 0 0 0 314725 635 0 0 20 0 1 0 235934173 882909184 190095 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 215554 190095 2496 1147 0 202981 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 866408 KiB
Current children cumulated memory: 763452 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/269 157721
/proc/meminfo: memFree=124664964/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=894472 memory=794760 CPUtime=3213.41 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 134366 0 0 0 320700 641 0 0 20 0 1 0 235934173 915939328 198690 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 223618 198690 2496 1147 0 211045 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 898664 KiB
Current children cumulated memory: 797832 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 157723
/proc/meminfo: memFree=124611592/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=1043376 memory=819400 CPUtime=3273.22 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 138481 0 0 0 326676 646 0 0 20 0 1 0 235934173 1068417024 204850 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 260844 204850 2496 1147 0 248271 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 1047568 KiB
Current children cumulated memory: 822472 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 157727
/proc/meminfo: memFree=124550408/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=1068336 memory=836296 CPUtime=3333.05 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 142712 0 0 0 332639 666 0 0 20 0 1 0 235934173 1093976064 209074 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 267084 209074 2496 1147 0 254511 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 1072528 KiB
Current children cumulated memory: 839368 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/270 157730
/proc/meminfo: memFree=124478176/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=1080988 memory=848200 CPUtime=3392.88 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 145676 0 0 0 338613 675 0 0 20 0 1 0 235934173 1106931712 212050 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 270247 212050 2496 1147 0 257674 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 1085180 KiB
Current children cumulated memory: 851272 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/270 157732
/proc/meminfo: memFree=124440204/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=1080988 memory=848584 CPUtime=3452.7 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 145769 0 0 0 344589 681 0 0 20 0 1 0 235934173 1106931712 212146 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 270247 212146 2496 1147 0 257674 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 1085180 KiB
Current children cumulated memory: 851656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 157734
/proc/meminfo: memFree=124349344/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=1082908 memory=849992 CPUtime=3512.52 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 146127 0 0 0 350564 688 0 0 20 0 1 0 235934173 1108897792 212498 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 270727 212498 2496 1147 0 258154 0
Current children cumulated CPU time: 3512.52 s
Current children cumulated vsize: 1087100 KiB
Current children cumulated memory: 853064 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 157736
/proc/meminfo: memFree=124281484/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=1083572 memory=850888 CPUtime=3572.34 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 146374 0 0 0 356539 695 0 0 20 0 1 0 235934173 1109577728 212722 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 270893 212722 2496 1147 0 258320 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 1087764 KiB
Current children cumulated memory: 853960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.10 4.11 4.09 3/260 157781
/proc/meminfo: memFree=126210688/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=1084084 memory=851400 CPUtime=3600.06 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 146486 0 0 0 359309 697 0 0 20 0 1 0 235934173 1110102016 212850 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 271021 212850 2496 1147 0 258448 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1088276 KiB
Current children cumulated memory: 854472 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.00272 s
Sleeping 2 seconds

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

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

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

[startup+3610.11 s]
/proc/loadavg: 4.10 4.11 4.09 3/260 157781
/proc/meminfo: memFree=126210688/131249992 swapFree=33009392/33010684
[pid=157529] ppid=157519 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/157529/stat : 157529 (run-dec-ls.sh) S 157519 157529 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235934171 4292608 768 18446744073709551615 94005976969216 94005977863749 140731018095568 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94005978102800 94005978150544 94005981126656 140731018099045 140731018099171 140731018099171 140731018104775 0
/proc/157529/statm: 1048 768 704 219 0 110 0
[pid=157535] ppid=157529 vsize=1084084 memory=851400 CPUtime=3600.06 cores=4,6
/proc/157535/stat : 157535 (roundingsat) R 157529 157529 157089 0 -1 4194304 146486 0 0 0 359309 697 0 0 20 0 1 0 235934173 1110102016 212850 18446744073709551615 4227072 8923433 140726171668000 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34234368 140726171675038 140726171675174 140726171675174 140726171680746 0
/proc/157535/statm: 271021 212850 2496 1147 0 258448 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1088276 KiB
Current children cumulated memory: 854472 KiB

Child status: 2

Real time (s): 3610.13
CPU time (s): 3600.1
CPU user time (s): 3593.1
CPU system time (s): 6.99806
CPU usage (%): 99.7222
Max. virtual memory (cumulated for all children) (KiB): 1088276
Max. memory (cumulated for all children) (KiB): 854472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.1
system time used= 6.99806
maximum resident set size= 851528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146709
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= 343
involuntary context switches= 4189


# summary of solver processes directly reported to runsolver:
#   pid: 157529,157535
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3593.1
#   total CPU system time (s): 6.99806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26683 second user time and 15.2673 second system time

The end

Begin job on nodeC035 at 2025-07-22 18:43:16
IDJOB=4541724
IDBENCH=163363
IDSOLVER=3353
FILE ID=nodeC035/4541724-1753202596
RUNJOBID= nodeC035-1753198973-157107
SLURM_JOB_ID= 9687768
Free space on /tmp= 432464 MiB

SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_diag/normalized-31array_diag_less.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541724-1753202596/watcher-4541724-1753202596 -o /tmp/evaluation-result-4541724-1753202596/solver-4541724-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753198973-157107 --watchdog 3760  run-dec-ls.sh HOME/instance-4541724-1753202596.opb

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

MD5SUM BENCH= d4d2180c253b956721820605fdb244a0
RANDOM SEED=1063239506

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        127474456 kB
MemAvailable:   129651828 kB
Buffers:             664 kB
Cached:          2928764 kB
SwapCached:          336 kB
Active:           937576 kB
Inactive:        2058508 kB
Active(anon):      73652 kB
Inactive(anon):    18908 kB
Active(file):     863924 kB
Inactive(file):  2039600 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14768 kB
Writeback:             0 kB
AnonPages:         69544 kB
Mapped:           108968 kB
Shmem:             25904 kB
KReclaimable:     226176 kB
Slab:             321720 kB
SReclaimable:     226176 kB
SUnreclaim:        95544 kB
KernelStack:        4128 kB
PageTables:         2940 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     349580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432444 MiB
End job on nodeC035 at 2025-07-22 19:43:27