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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10006 s]*
/proc/loadavg: 0.13 0.10 0.09 5/267 183372
/proc/meminfo: memFree=126659696/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=68792 memory=24564 CPUtime=0.08 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 4090 0 0 0 7 1 0 0 20 0 1 0 235575848 70443008 6141 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 17198 6141 2304 1147 0 4625 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 72984 KiB
Current children cumulated memory: 27636 KiB

[startup+0.20488 s]*
/proc/loadavg: 0.13 0.10 0.09 5/267 183372
/proc/meminfo: memFree=126653400/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=70512 memory=26228 CPUtime=0.18 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 4469 0 0 0 17 1 0 0 20 0 1 0 235575848 72204288 6557 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 17628 6557 2368 1147 0 5055 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 74704 KiB
Current children cumulated memory: 29300 KiB

[startup+0.304796 s]*
/proc/loadavg: 0.13 0.10 0.09 5/267 183372
/proc/meminfo: memFree=126648864/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=70836 memory=26740 CPUtime=0.27 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 4601 0 0 0 26 1 0 0 20 0 1 0 235575848 72536064 6685 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 17709 6685 2368 1147 0 5136 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 75028 KiB
Current children cumulated memory: 29812 KiB

[startup+0.700162 s]
/proc/loadavg: 0.13 0.10 0.09 5/267 183372
/proc/meminfo: memFree=126645088/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=72556 memory=28020 CPUtime=0.67 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 4915 0 0 0 65 2 0 0 20 0 1 0 235575848 74297344 7005 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 18139 7005 2368 1147 0 5566 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 76748 KiB
Current children cumulated memory: 31092 KiB

[startup+1.50014 s]
/proc/loadavg: 0.13 0.10 0.09 5/267 183372
/proc/meminfo: memFree=126613084/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=72900 memory=28532 CPUtime=1.46 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 5035 0 0 0 143 3 0 0 20 0 1 0 235575848 74649600 7133 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 18225 7133 2368 1147 0 5652 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 77092 KiB
Current children cumulated memory: 31604 KiB

[startup+3.10517 s]
/proc/loadavg: 0.44 0.17 0.11 5/267 183372
/proc/meminfo: memFree=126478596/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=74872 memory=30580 CPUtime=3.07 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 5543 0 0 0 301 6 0 0 20 0 1 0 235575848 76668928 7645 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 18718 7645 2368 1147 0 6145 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 79064 KiB
Current children cumulated memory: 33652 KiB

[startup+6.30013 s]
/proc/loadavg: 0.44 0.17 0.11 5/267 183372
/proc/meminfo: memFree=126381624/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=76616 memory=34368 CPUtime=6.25 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 5994 0 0 0 614 11 0 0 20 0 1 0 235575848 78454784 8592 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 19154 8592 2368 1147 0 6581 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 80808 KiB
Current children cumulated memory: 37440 KiB

[startup+12.7001 s]
/proc/loadavg: 0.72 0.23 0.13 5/267 183372
/proc/meminfo: memFree=126136448/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=80632 memory=38208 CPUtime=12.64 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 6940 0 0 0 1247 17 0 0 20 0 1 0 235575848 82567168 9552 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 20158 9552 2368 1147 0 7585 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 84824 KiB
Current children cumulated memory: 41280 KiB

[startup+25.5002 s]
/proc/loadavg: 1.52 0.43 0.20 5/267 183372
/proc/meminfo: memFree=125676664/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=95044 memory=50728 CPUtime=25.41 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 9076 0 0 0 2509 32 0 0 20 0 1 0 235575848 97325056 12682 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 23761 12682 2368 1147 0 11188 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 99236 KiB
Current children cumulated memory: 53800 KiB

[startup+51.1053 s]
/proc/loadavg: 2.51 0.75 0.31 5/267 183372
/proc/meminfo: memFree=124998724/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=104540 memory=59636 CPUtime=50.95 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 10269 0 0 0 5054 41 0 0 20 0 1 0 235575848 107048960 14909 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 26135 14909 2368 1147 0 13562 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 108732 KiB
Current children cumulated memory: 62708 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 1.32 0.53 5/267 183374
/proc/meminfo: memFree=123695872/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=142784 memory=83636 CPUtime=102.01 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 13204 0 0 0 10117 84 0 0 20 0 1 0 235575848 146210816 20909 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 35696 20909 2368 1147 0 23123 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 146976 KiB
Current children cumulated memory: 86708 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 1.87 0.77 5/267 183376
/proc/meminfo: memFree=122288868/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=217448 memory=156836 CPUtime=161.85 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 29476 0 0 0 16053 132 0 0 20 0 1 0 235575848 222666752 39209 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 54362 39209 2368 1147 0 41789 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 221640 KiB
Current children cumulated memory: 159908 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 2.31 0.99 5/268 183379
/proc/meminfo: memFree=121149948/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=219440 memory=159140 CPUtime=221.7 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 29967 0 0 0 21995 175 0 0 20 0 1 0 235575848 224706560 39785 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 54860 39785 2464 1147 0 42287 0

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

/proc/183372/statm: 191359 157744 2496 1147 0 178786 0
Current children cumulated CPU time: 3093.83 s
Current children cumulated vsize: 769628 KiB
Current children cumulated memory: 634048 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.05 5/268 183537
/proc/meminfo: memFree=90481272/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=790528 memory=656240 CPUtime=3153.64 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 112684 0 0 0 314049 1315 0 0 20 0 1 0 235575848 809500672 164060 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 197632 164060 2496 1147 0 185059 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 794720 KiB
Current children cumulated memory: 659312 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.16 4.06 5/268 183539
/proc/meminfo: memFree=89980496/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=805760 memory=681736 CPUtime=3213.46 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 115989 0 0 0 320022 1324 0 0 20 0 1 0 235575848 825098240 170434 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 201440 170434 2496 1147 0 188867 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 809952 KiB
Current children cumulated memory: 684808 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.07 5/267 183541
/proc/meminfo: memFree=89530660/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=829676 memory=714176 CPUtime=3273.28 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 121025 0 0 0 325995 1333 0 0 20 0 1 0 235575848 849588224 178544 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 207419 178544 2496 1147 0 194846 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 833868 KiB
Current children cumulated memory: 717248 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.07 5/266 183543
/proc/meminfo: memFree=89111352/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=848132 memory=742240 CPUtime=3333.09 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 124997 0 0 0 331967 1342 0 0 20 0 1 0 235575848 868487168 185560 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 212033 185560 2496 1147 0 199460 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 852324 KiB
Current children cumulated memory: 745312 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.16 4.08 5/266 183545
/proc/meminfo: memFree=88661936/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=868356 memory=769156 CPUtime=3392.91 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 129167 0 0 0 337940 1351 0 0 20 0 1 0 235575848 889196544 192289 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 217089 192289 2496 1147 0 204516 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 872548 KiB
Current children cumulated memory: 772228 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.08 5/266 183547
/proc/meminfo: memFree=88295452/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=902148 memory=803812 CPUtime=3452.72 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 135774 0 0 0 343912 1360 0 0 20 0 1 0 235575848 923799552 200953 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 225537 200953 2496 1147 0 212964 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 906340 KiB
Current children cumulated memory: 806884 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.09 5/267 183550
/proc/meminfo: memFree=87902804/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=1051384 memory=827356 CPUtime=3512.51 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 139620 0 0 0 349876 1375 0 0 20 0 1 0 235575848 1076617216 206839 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 262846 206839 2496 1147 0 250273 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 1055576 KiB
Current children cumulated memory: 830428 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.09 5/267 183552
/proc/meminfo: memFree=87416540/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=1076652 memory=844636 CPUtime=3572.32 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 143934 0 0 0 355826 1406 0 0 20 0 1 0 235575848 1102491648 211159 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 269163 211159 2496 1147 0 256590 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 1080844 KiB
Current children cumulated memory: 847708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.25 4.18 4.10 3/258 183566
/proc/meminfo: memFree=88263176/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=1084056 memory=851932 CPUtime=3600.03 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 145765 0 0 0 358590 1413 0 0 20 0 1 0 235575848 1110073344 212983 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 271014 212983 2496 1147 0 258441 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1088248 KiB
Current children cumulated memory: 855004 KiB

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

[startup+3610.11 s]
# the end of solver process 183370 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.002357 s

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

# cumulated CPU time of all completed processes:  user=3585.92 s, system=14.1523 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.25 4.18 4.10 3/258 183566
/proc/meminfo: memFree=88263176/131249996 swapFree=33010160/33010684
[pid=183370] ppid=183367 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/183370/stat : 183370 (run-dec-ls-log.) S 183367 183370 183292 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 235575847 4292608 768 18446744073709551615 94538274390016 94538275284549 140724322719440 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94538275523600 94538275571344 94538281619456 140724322728255 140724322728415 140724322728415 140724322734019 0
/proc/183370/statm: 1048 768 704 219 0 110 0
[pid=183372] ppid=183370 vsize=1084056 memory=851932 CPUtime=3600.03 cores=1,3
/proc/183372/stat : 183372 (roundingsat) R 183370 183370 183292 0 -1 4194304 145765 0 0 0 358590 1413 0 0 20 0 1 0 235575848 1110073344 212983 18446744073709551615 4227072 8923433 140721615980848 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25001984 140721615985012 140721615985190 140721615985190 140721615990762 0
/proc/183372/statm: 271014 212983 2496 1147 0 258441 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1088248 KiB
Current children cumulated memory: 855004 KiB

Child status: 2

Real time (s): 3610.13
CPU time (s): 3600.07
CPU user time (s): 3585.92
CPU system time (s): 14.1523
CPU usage (%): 99.7213
Max. virtual memory (cumulated for all children) (KiB): 1088248
Max. memory (cumulated for all children) (KiB): 855004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.92
system time used= 14.1523
maximum resident set size= 852060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145993
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13524656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 293
involuntary context switches= 5486


# summary of solver processes directly reported to runsolver:
#   pid: 183370,183372
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3585.92
#   total CPU system time (s): 14.1523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7622 second user time and 15.9913 second system time

The end

Begin job on nodeC029 at 2025-07-22 17:42:54
IDJOB=4541725
IDBENCH=163363
IDSOLVER=3354
FILE ID=nodeC029/4541725-1753198973
RUNJOBID= nodeC029-1753198973-183311
SLURM_JOB_ID= 9687762
Free space on /tmp= 433000 MiB

SOLVER NAME= roundingsat-ls-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541725-1753198973/watcher-4541725-1753198973 -o /tmp/evaluation-result-4541725-1753198973/solver-4541725-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183311 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4541725-1753198973.opb /tmp/proof-4541725-1753198973

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

MD5SUM BENCH= d4d2180c253b956721820605fdb244a0
RANDOM SEED=1581860338

nodeC029 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		: 3598.961
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.46
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		: 3599.475
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.46
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		: 3532.788
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.46
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.577
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.46
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		: 3600.144
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.46
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		: 3593.803
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.46
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		: 3581.573
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.46
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		: 3599.692
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126697276 kB
MemAvailable:   129729400 kB
Buffers:            2128 kB
Cached:          3793496 kB
SwapCached:           36 kB
Active:          1308940 kB
Inactive:        2553720 kB
Active(anon):      88536 kB
Inactive(anon):     4716 kB
Active(file):    1220404 kB
Inactive(file):  2549004 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             30068 kB
Writeback:             0 kB
AnonPages:         70220 kB
Mapped:           109544 kB
Shmem:             26216 kB
KReclaimable:     203908 kB
Slab:             300872 kB
SReclaimable:     203908 kB
SUnreclaim:        96964 kB
KernelStack:        4176 kB
PageTables:         3124 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     367496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3968 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 393328 MiB
End job on nodeC029 at 2025-07-22 18:43:04