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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=149701, runsolver pid=149690
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 0.10 0.09 0.09 4/266 149708
/proc/meminfo: memFree=128728740/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=67772 memory=23812 CPUtime=0.06 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 3879 0 0 0 5 1 0 0 20 0 1 0 235576040 69398528 5953 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 16943 5953 2336 1147 0 4370 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 71964 KiB
Current children cumulated memory: 26884 KiB

[startup+0.205511 s]*
/proc/loadavg: 0.10 0.09 0.09 5/267 149709
/proc/meminfo: memFree=128716144/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=68664 memory=24708 CPUtime=0.16 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 4085 0 0 0 15 1 0 0 20 0 1 0 235576040 70311936 6177 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 17166 6177 2336 1147 0 4593 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 72856 KiB
Current children cumulated memory: 27780 KiB

[startup+0.305041 s]*
/proc/loadavg: 0.10 0.09 0.09 5/267 149709
/proc/meminfo: memFree=128711864/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=68988 memory=24964 CPUtime=0.26 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 4167 0 0 0 25 1 0 0 20 0 1 0 235576040 70643712 6241 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 17247 6241 2336 1147 0 4674 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 73180 KiB
Current children cumulated memory: 28036 KiB

[startup+0.700139 s]
/proc/loadavg: 0.10 0.09 0.09 5/267 149709
/proc/meminfo: memFree=128698008/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=70848 memory=26628 CPUtime=0.65 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 4564 0 0 0 63 2 0 0 20 0 1 0 235576040 72548352 6657 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 17712 6657 2336 1147 0 5139 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 75040 KiB
Current children cumulated memory: 29700 KiB

[startup+1.50014 s]
/proc/loadavg: 0.41 0.15 0.11 5/267 149709
/proc/meminfo: memFree=128671800/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=71096 memory=26884 CPUtime=1.45 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 4636 0 0 0 141 4 0 0 20 0 1 0 235576040 72802304 6721 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 17774 6721 2336 1147 0 5201 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 75288 KiB
Current children cumulated memory: 29956 KiB

[startup+3.10576 s]
/proc/loadavg: 0.41 0.15 0.11 5/267 149709
/proc/meminfo: memFree=128603716/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=72984 memory=28676 CPUtime=3.05 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 5094 0 0 0 298 7 0 0 20 0 1 0 235576040 74735616 7169 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 18246 7169 2336 1147 0 5673 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 77176 KiB
Current children cumulated memory: 31748 KiB

[startup+6.30014 s]
/proc/loadavg: 0.70 0.22 0.13 5/268 149710
/proc/meminfo: memFree=128507576/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=74728 memory=32508 CPUtime=6.23 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 5544 0 0 0 611 12 0 0 20 0 1 0 235576040 76521472 8127 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 18682 8127 2336 1147 0 6109 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 78920 KiB
Current children cumulated memory: 35580 KiB

[startup+12.7001 s]
/proc/loadavg: 1.04 0.30 0.16 5/268 149710
/proc/meminfo: memFree=128351776/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=79004 memory=36732 CPUtime=12.62 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 6607 0 0 0 1242 20 0 0 20 0 1 0 235576040 80900096 9183 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 19751 9183 2336 1147 0 7178 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 83196 KiB
Current children cumulated memory: 39804 KiB

[startup+25.5001 s]
/proc/loadavg: 1.50 0.42 0.20 5/268 149710
/proc/meminfo: memFree=128060212/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=93148 memory=49808 CPUtime=25.39 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 9386 0 0 0 2507 32 0 0 20 0 1 0 235576040 95383552 12452 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 23287 12452 2336 1147 0 10714 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 97340 KiB
Current children cumulated memory: 52880 KiB

[startup+51.1056 s]
/proc/loadavg: 2.62 0.79 0.33 5/269 149712
/proc/meminfo: memFree=127559752/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=102628 memory=56688 CPUtime=50.94 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 10579 0 0 0 5050 44 0 0 20 0 1 0 235576040 105091072 14172 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 25657 14172 2336 1147 0 13084 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 106820 KiB
Current children cumulated memory: 59760 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.34 0.54 5/269 149713
/proc/meminfo: memFree=126591148/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=141860 memory=83688 CPUtime=102.01 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 13760 0 0 0 10115 86 0 0 20 0 1 0 235576040 145264640 20922 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 35465 20922 2336 1147 0 22892 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 146052 KiB
Current children cumulated memory: 86760 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 1.87 0.78 5/269 149715
/proc/meminfo: memFree=125626636/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=215488 memory=156028 CPUtime=161.86 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 29802 0 0 0 16052 134 0 0 20 0 1 0 235576040 220659712 39007 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 53872 39007 2336 1147 0 41299 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 219680 KiB
Current children cumulated memory: 159100 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.29 0.99 5/269 149717
/proc/meminfo: memFree=124724656/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=217284 memory=158076 CPUtime=221.72 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 30216 0 0 0 21988 184 0 0 20 0 1 0 235576040 222498816 39519 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0

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

/proc/149703/statm: 190936 157544 2464 1147 0 178363 0
Current children cumulated CPU time: 3094.26 s
Current children cumulated vsize: 767936 KiB
Current children cumulated memory: 633248 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.03 5/267 149876
/proc/meminfo: memFree=103339372/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=787808 memory=654160 CPUtime=3154.08 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 113537 0 0 0 314047 1361 0 0 20 0 1 0 235576040 806715392 163540 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 196952 163540 2464 1147 0 184379 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 792000 KiB
Current children cumulated memory: 657232 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.04 5/268 149879
/proc/meminfo: memFree=103202156/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=801632 memory=674396 CPUtime=3213.91 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 116557 0 0 0 320017 1374 0 0 20 0 1 0 235576040 820871168 168599 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 200408 168599 2464 1147 0 187835 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 805824 KiB
Current children cumulated memory: 677468 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.04 5/268 149881
/proc/meminfo: memFree=103012228/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=824420 memory=707612 CPUtime=3273.73 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 121293 0 0 0 325987 1386 0 0 20 0 1 0 235576040 844206080 176903 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 206105 176903 2464 1147 0 193532 0
Current children cumulated CPU time: 3273.73 s
Current children cumulated vsize: 828612 KiB
Current children cumulated memory: 710684 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.04 5/268 149883
/proc/meminfo: memFree=102767696/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=842468 memory=733680 CPUtime=3333.55 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 125246 0 0 0 331960 1395 0 0 20 0 1 0 235576040 862687232 183420 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 210617 183420 2464 1147 0 198044 0
Current children cumulated CPU time: 3333.55 s
Current children cumulated vsize: 846660 KiB
Current children cumulated memory: 736752 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/268 149885
/proc/meminfo: memFree=102460908/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=860004 memory=756040 CPUtime=3393.37 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 128796 0 0 0 337934 1403 0 0 20 0 1 0 235576040 880644096 189010 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 215001 189010 2464 1147 0 202428 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 864196 KiB
Current children cumulated memory: 759112 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/268 149887
/proc/meminfo: memFree=102202740/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=892264 memory=792040 CPUtime=3453.19 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 135020 0 0 0 343904 1415 0 0 20 0 1 0 235576040 913678336 198010 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 223066 198010 2464 1147 0 210493 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 896456 KiB
Current children cumulated memory: 795112 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/267 149889
/proc/meminfo: memFree=101935800/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=1043724 memory=816548 CPUtime=3513.03 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 139608 0 0 0 349878 1425 0 0 20 0 1 0 235576040 1068773376 204137 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 260931 204137 2464 1147 0 248358 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 1047916 KiB
Current children cumulated memory: 819620 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/267 149891
/proc/meminfo: memFree=101508312/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=1055756 memory=827824 CPUtime=3572.87 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 141926 0 0 0 355831 1456 0 0 20 0 1 0 235576040 1081094144 206956 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 263939 206956 2464 1147 0 251366 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 1059948 KiB
Current children cumulated memory: 830896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.24 4.15 4.06 5/267 149899
/proc/meminfo: memFree=101307036/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=1077520 memory=843440 CPUtime=3600 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 145813 0 0 0 358538 1462 0 0 20 0 1 0 235576040 1103380480 210860 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 269380 210860 2464 1147 0 256807 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1081712 KiB
Current children cumulated memory: 846512 KiB

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

[startup+3609.5 s]
# the end of solver process 149701 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.002124 s

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

# cumulated CPU time of all completed processes:  user=3585.39 s, system=14.646 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+3609.5 s]
/proc/loadavg: 4.24 4.15 4.06 5/267 149899
/proc/meminfo: memFree=101307036/131250000 swapFree=33010672/33010684
[pid=149701] ppid=149690 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/149701/stat : 149701 (run-dec-log.sh) S 149690 149701 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576038 4292608 768 18446744073709551615 93946251104256 93946251998789 140729163968704 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946252237840 93946252285584 93946280669184 140729163974981 140729163975138 140729163975138 140729163980742 0
/proc/149701/statm: 1048 768 704 219 0 110 0
[pid=149703] ppid=149701 vsize=1077520 memory=843440 CPUtime=3600 cores=4,6
/proc/149703/stat : 149703 (roundingsat) R 149701 149701 149629 0 -1 4194304 145813 0 0 0 358538 1462 0 0 20 0 1 0 235576040 1103380480 210860 18446744073709551615 4227072 8923433 140721128311008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28753920 140721128319371 140721128319526 140721128319526 140721128325098 0
/proc/149703/statm: 269380 210860 2464 1147 0 256807 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1081712 KiB
Current children cumulated memory: 846512 KiB

Child status: 2

Real time (s): 3609.53
CPU time (s): 3600.04
CPU user time (s): 3585.39
CPU system time (s): 14.646
CPU usage (%): 99.7371
Max. virtual memory (cumulated for all children) (KiB): 1081712
Max. memory (cumulated for all children) (KiB): 846512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.39
system time used= 14.646
maximum resident set size= 843568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13496768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 278
involuntary context switches= 5255


# summary of solver processes directly reported to runsolver:
#   pid: 149701,149703
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3585.39
#   total CPU system time (s): 14.646

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38528 second user time and 16.6088 second system time

The end

Begin job on nodeC026 at 2025-07-22 17:42:54
IDJOB=4541723
IDBENCH=163363
IDSOLVER=3352
FILE ID=nodeC026/4541723-1753198973
RUNJOBID= nodeC026-1753198973-149647
SLURM_JOB_ID= 9687759
Free space on /tmp= 433020 MiB

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

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

MD5SUM BENCH= d4d2180c253b956721820605fdb244a0
RANDOM SEED=1581860338

nodeC026 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		: 3599.813
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.59
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		: 1874.685
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128766732 kB
MemAvailable:   129592140 kB
Buffers:            2128 kB
Cached:          1451608 kB
SwapCached:            4 kB
Active:          1213028 kB
Inactive:         309484 kB
Active(anon):      89700 kB
Inactive(anon):     5344 kB
Active(file):    1123328 kB
Inactive(file):   304140 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22472 kB
Writeback:             0 kB
AnonPages:         71968 kB
Mapped:           109340 kB
Shmem:             26268 kB
KReclaimable:     458740 kB
Slab:             562940 kB
SReclaimable:     458740 kB
SUnreclaim:       104200 kB
KernelStack:        4160 kB
PageTables:         3104 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     342632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

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