0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.02	c #variables 1185 #constraints 1696
0.00/0.02	c rational objective 1.86265e-09
0.38/0.43	c #Conflicts:       1000 | #Constraints:       2696
0.38/0.43	c #Conflicts:       2000 | #Constraints:       3696
0.38/0.43	c INPROCESSING
0.38/0.43	c GARBAGE COLLECT
0.38/0.43	c rational objective 5.02486
0.87/0.94	c #Conflicts:       3000 | #Constraints:       3716
0.87/0.94	c #Conflicts:       4000 | #Constraints:       4716
0.87/0.94	c INPROCESSING
0.87/0.94	c GARBAGE COLLECT
0.87/0.94	c rational objective 5.18751
2.96/3.04	c #Conflicts:       5000 | #Constraints:       4141
2.96/3.04	c #Conflicts:       6000 | #Constraints:       5144
2.96/3.04	c INPROCESSING
2.96/3.04	c GARBAGE COLLECT
2.96/3.04	c #Conflicts:       7000 | #Constraints:       4157
2.96/3.04	c #Conflicts:       8000 | #Constraints:       5157
2.96/3.04	c #Conflicts:       9000 | #Constraints:       6159
2.96/3.04	c INPROCESSING
2.96/3.04	c GARBAGE COLLECT
2.96/3.04	c #Conflicts:      10000 | #Constraints:       4886
2.96/3.04	c #Conflicts:      11000 | #Constraints:       5887
2.96/3.04	c #Conflicts:      12000 | #Constraints:       6887
2.96/3.04	c INPROCESSING
2.96/3.04	c GARBAGE COLLECT
2.96/3.04	c rational objective 5.26563
6.35/6.46	c #Conflicts:      13000 | #Constraints:       5356
6.35/6.46	c #Conflicts:      14000 | #Constraints:       6356
6.35/6.46	c #Conflicts:      15000 | #Constraints:       7356
6.35/6.46	c INPROCESSING
6.35/6.46	c GARBAGE COLLECT
6.35/6.46	c #Conflicts:      16000 | #Constraints:       5574
6.35/6.46	c #Conflicts:      17000 | #Constraints:       6574
6.35/6.46	c #Conflicts:      18000 | #Constraints:       7574
6.35/6.46	c INPROCESSING
6.35/6.46	c GARBAGE COLLECT
6.35/6.46	c #Conflicts:      19000 | #Constraints:       5599
6.35/6.46	c #Conflicts:      20000 | #Constraints:       6599
6.35/6.46	c #Conflicts:      21000 | #Constraints:       7600
6.35/6.46	c INPROCESSING
6.35/6.46	c GARBAGE COLLECT
6.35/6.46	c rational objective 5.26954
21.91/22.01	c #Conflicts:      22000 | #Constraints:       5416
21.91/22.01	c #Conflicts:      23000 | #Constraints:       6417
21.91/22.01	c #Conflicts:      24000 | #Constraints:       7418
21.91/22.01	c #Conflicts:      25000 | #Constraints:       8418
21.91/22.01	c INPROCESSING
21.91/22.01	c GARBAGE COLLECT
21.91/22.01	c #Conflicts:      26000 | #Constraints:       6035
21.91/22.01	c #Conflicts:      27000 | #Constraints:       7035
21.91/22.01	c #Conflicts:      28000 | #Constraints:       8037
21.91/22.01	c #Conflicts:      29000 | #Constraints:       9038
21.91/22.01	c INPROCESSING
21.91/22.01	c GARBAGE COLLECT
21.91/22.01	c #Conflicts:      30000 | #Constraints:       6442
21.91/22.01	c #Conflicts:      31000 | #Constraints:       7442
21.91/22.01	c #Conflicts:      32000 | #Constraints:       8442
21.91/22.01	c #Conflicts:      33000 | #Constraints:       9442
21.91/22.01	c INPROCESSING
21.91/22.01	c GARBAGE COLLECT
21.91/22.01	c #Conflicts:      34000 | #Constraints:       6668
21.91/22.01	c #Conflicts:      35000 | #Constraints:       7668
21.91/22.01	c #Conflicts:      36000 | #Constraints:       8668
21.91/22.01	c #Conflicts:      37000 | #Constraints:       9668
21.91/22.01	c #Conflicts:      38000 | #Constraints:      10668
21.91/22.01	c #Conflicts:      39000 | #Constraints:      11668
21.91/22.01	c #Conflicts:      40000 | #Constraints:      12668
21.91/22.01	c #Conflicts:      41000 | #Constraints:      13668
21.91/22.01	c #Conflicts:      42000 | #Constraints:      14668
21.91/22.01	c #Conflicts:      43000 | #Constraints:      15668
21.91/22.01	c #Conflicts:      44000 | #Constraints:      16668
21.91/22.01	c #Conflicts:      45000 | #Constraints:      17668
21.91/22.01	c #Conflicts:      46000 | #Constraints:      18668
21.91/22.01	c #Conflicts:      47000 | #Constraints:      19668
21.91/22.01	c #Conflicts:      48000 | #Constraints:      20668
21.91/22.01	c INPROCESSING
21.91/22.01	c GARBAGE COLLECT
21.91/22.01	c #Conflicts:      49000 | #Constraints:      12279
21.91/22.01	c #Conflicts:      50000 | #Constraints:      13279
21.91/22.01	c #Conflicts:      51000 | #Constraints:      14279
21.91/22.01	c #Conflicts:      52000 | #Constraints:      15279
21.91/22.01	c #Conflicts:      53000 | #Constraints:      16279
21.91/22.01	c INPROCESSING
21.91/22.01	c GARBAGE COLLECT
21.91/22.01	c #Conflicts:      54000 | #Constraints:       9933
21.91/22.01	c #Conflicts:      55000 | #Constraints:      10933
21.91/22.01	c #Conflicts:      56000 | #Constraints:      11933
21.91/22.01	c #Conflicts:      57000 | #Constraints:      12934
21.91/22.01	c #Conflicts:      58000 | #Constraints:      13934
21.91/22.01	c INPROCESSING
21.91/22.01	c GARBAGE COLLECT
21.91/22.01	c rational objective 5.33643
34.58/34.71	c #Conflicts:      59000 | #Constraints:       8539
34.58/34.71	c #Conflicts:      60000 | #Constraints:       9540
34.58/34.71	c #Conflicts:      61000 | #Constraints:      10540
34.58/34.71	c #Conflicts:      62000 | #Constraints:      11540
34.58/34.71	c #Conflicts:      63000 | #Constraints:      12540
34.58/34.71	c #Conflicts:      64000 | #Constraints:      13542
34.58/34.71	c INPROCESSING
34.58/34.71	c GARBAGE COLLECT
34.58/34.71	c #Conflicts:      65000 | #Constraints:       8472
34.58/34.71	c #Conflicts:      66000 | #Constraints:       9472
34.58/34.71	c #Conflicts:      67000 | #Constraints:      10472
34.58/34.71	c #Conflicts:      68000 | #Constraints:      11472
34.58/34.71	c #Conflicts:      69000 | #Constraints:      12472
34.58/34.71	c #Conflicts:      70000 | #Constraints:      13472
34.58/34.71	c #Conflicts:      71000 | #Constraints:      14472
34.58/34.71	c #Conflicts:      72000 | #Constraints:      15472
34.58/34.71	c #Conflicts:      73000 | #Constraints:      16472
34.58/34.71	c #Conflicts:      74000 | #Constraints:      17472
34.58/34.71	c #Conflicts:      75000 | #Constraints:      18472
34.58/34.71	c #Conflicts:      76000 | #Constraints:      19472
34.58/34.71	c #Conflicts:      77000 | #Constraints:      20472
34.58/34.71	c #Conflicts:      78000 | #Constraints:      21472
34.58/34.71	c #Conflicts:      79000 | #Constraints:      22473
34.58/34.71	c #Conflicts:      80000 | #Constraints:      23473
34.58/34.71	c #Conflicts:      81000 | #Constraints:      24473
34.58/34.71	c #Conflicts:      82000 | #Constraints:      25473
34.58/34.71	c #Conflicts:      83000 | #Constraints:      26473
34.58/34.71	WSVECS04 Frhs2[17]: 6 -23.5969 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[197]: 6 -1.00007 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[200]: 6 -5.19344 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[201]: 6 -3.38684 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[242]: 6 -1.00009 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[276]: 6 0 3.75009 shouldn't be
34.58/34.71	WSVECS04 Frhs2[279]: 6 0 44.75 shouldn't be
34.58/34.71	WSVECS04 Frhs2[280]: 6 0 92.0001 shouldn't be
34.58/34.71	WSVECS04 Frhs2[302]: 6 0 3.00006 shouldn't be
34.58/34.71	WSVECS04 Frhs2[330]: 6 -19 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[338]: 6 -1.00007 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[380]: 6 -47109 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[384]: 6 0 88.7267 shouldn't be
34.58/34.71	WSVECS04 Frhs2[394]: 6 -1.00007 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[397]: 6 0 87.7266 shouldn't be
34.58/34.71	WSVECS04 Frhs2[398]: 6 0 1.00003 shouldn't be
34.58/34.71	WSVECS04 Frhs2[424]: 6 0 3.00004 shouldn't be
34.58/34.71	WSVECS04 Frhs2[491]: 6 0 179.003 shouldn't be
34.58/34.71	WSVECS04 Frhs2[497]: 6 -1.00004 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[505]: 6 -1.00004 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[506]: 6 -1.00005 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[521]: 6 0 2937.05 shouldn't be
34.58/34.71	WSVECS04 Frhs2[533]: 6 -1471.02 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[547]: 6 -1.00001 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[554]: 6 -48.0125 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[562]: 6 -1.00007 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[604]: 6 -1.00004 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[617]: 6 0 94202.5 shouldn't be
34.58/34.71	WSVECS04 Frhs2[631]: 6 -188413 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[683]: 6 -1.00006 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[684]: 6 -1.00008 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[697]: 6 -1.0001 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[720]: 6 -1.00004 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[724]: 6 -1.00003 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[733]: 6 -1.00004 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[734]: 6 -1.00009 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[762]: 6 -737 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[798]: 6 -1.00002 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[812]: 6 -1.00007 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[838]: 6 -47108 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[869]: 6 -376832 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[873]: 6 -1.00004 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[886]: 6 0 178.453 shouldn't be
34.58/34.71	WSVECS04 Frhs2[887]: 6 -1.00005 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[923]: 6 -1.00005 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[945]: 6 -1.00006 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[948]: 6 -1.00004 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[995]: 6 -15.0003 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[1009]: 6 -1.00003 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[1023]: 6 -1.00005 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[1037]: 6 -1.00005 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[1067]: 6 -1.00008 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[1112]: 6 -1.00002 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[1129]: 6 -0.910527 0 shouldn't be
34.58/34.71	WSVECS04 Frhs2[1138]: 6 0 44.8445 shouldn't be
34.58/34.71	WSVECS04 Frhs2[1140]: 6 0 182.378 shouldn't be
34.58/34.71	WSVECS04 Frhs2[1141]: 6 0 365.756 shouldn't be
34.58/34.71	WSVECS04 Frhs2[1146]: 6 0 11735.2 shouldn't be
34.58/34.71	WSVECS04 Frhs2[1147]: 6 0 23471.4 shouldn't be
36.28/36.45	c #Conflicts:      84000 | #Constraints:      27473
36.28/36.45	c INPROCESSING
36.28/36.45	c GARBAGE COLLECT
36.28/36.45	WSVECS04 Frhs2[2]: 6 -16.625 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[10]: 6 0 2.33333 shouldn't be
36.28/36.45	WSVECS04 Frhs2[13]: 6 -1 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[28]: 6 -1 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[59]: 6 -3.5253 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[68]: 6 -1.96893 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[74]: 6 -4.0506 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[194]: 6 -2.20833 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[209]: 6 -1.41667 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[222]: 6 -2.83333 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[253]: 6 -1.66667 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[254]: 6 -0.333334 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[278]: 6 0 10.125 shouldn't be
36.28/36.45	WSVECS04 Frhs2[307]: 6 0 1.75 shouldn't be
36.28/36.45	WSVECS04 Frhs2[309]: 6 0 6.31238 shouldn't be
36.28/36.45	WSVECS04 Frhs2[365]: 6 0 1.72917 shouldn't be
36.28/36.45	WSVECS04 Frhs2[366]: 6 0 1 shouldn't be
36.28/36.45	WSVECS04 Frhs2[380]: 6 0 3.05969 shouldn't be
36.28/36.45	WSVECS04 Frhs2[393]: 6 0 4.05969 shouldn't be
36.28/36.45	WSVECS04 Frhs2[410]: 6 0 1 shouldn't be
36.28/36.45	WSVECS04 Frhs2[423]: 6 0 1.04502 shouldn't be
36.28/36.45	WSVECS04 Frhs2[450]: 6 -8 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[466]: 6 0 2.5 shouldn't be
36.28/36.45	WSVECS04 Frhs2[515]: 6 0 2 shouldn't be
36.28/36.45	WSVECS04 Frhs2[516]: 6 0 2.99609 shouldn't be
36.28/36.45	WSVECS04 Frhs2[538]: 6 0 2 shouldn't be
36.28/36.45	WSVECS04 Frhs2[564]: 6 0 4 shouldn't be
36.28/36.45	WSVECS04 Frhs2[565]: 6 0 5.44291 shouldn't be
36.28/36.45	WSVECS04 Frhs2[583]: 6 0 1 shouldn't be
36.28/36.45	WSVECS04 Frhs2[594]: 6 0 15.3125 shouldn't be
36.28/36.45	WSVECS04 Frhs2[597]: 6 0 1 shouldn't be
36.28/36.45	WSVECS04 Frhs2[600]: 6 0 2.75 shouldn't be
36.28/36.45	WSVECS04 Frhs2[602]: 6 0 3.5 shouldn't be
36.28/36.45	WSVECS04 Frhs2[605]: 6 0 0.813339 shouldn't be
36.28/36.45	WSVECS04 Frhs2[611]: 6 0 1 shouldn't be
36.28/36.45	WSVECS04 Frhs2[627]: 6 0 1 shouldn't be
36.28/36.45	WSVECS04 Frhs2[667]: 6 0 2 shouldn't be
36.28/36.45	WSVECS04 Frhs2[702]: 6 0 0.422615 shouldn't be
36.28/36.45	WSVECS04 Frhs2[735]: 6 -0.750001 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[749]: 6 -0.75 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[810]: 6 -0.500001 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[824]: 6 -2.05969 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[839]: 6 -1.61937 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[1095]: 6 -11.2534 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[1110]: 6 -1 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[1124]: 6 -17.7567 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[1151]: 6 -0.9375 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[1152]: 6 -1 0 shouldn't be
36.28/36.45	WSVECS04 Frhs2[1153]: 6 -1 0 shouldn't be
40.46/40.63	c #Conflicts:      85000 | #Constraints:      15329
40.46/40.63	c #Conflicts:      86000 | #Constraints:      16329
40.46/40.63	c #Conflicts:      87000 | #Constraints:      17329
40.46/40.63	c #Conflicts:      88000 | #Constraints:      18329
40.46/40.63	c #Conflicts:      89000 | #Constraints:      19329
40.46/40.63	c #Conflicts:      90000 | #Constraints:      20329
40.46/40.63	c #Conflicts:      91000 | #Constraints:      21329
40.46/40.63	c INPROCESSING
40.46/40.63	c GARBAGE COLLECT
40.46/40.63	c rational objective 5.38023
71.48/71.72	c #Conflicts:      92000 | #Constraints:      12265
71.48/71.72	c #Conflicts:      93000 | #Constraints:      13265
71.48/71.72	c #Conflicts:      94000 | #Constraints:      14265
71.48/71.72	c #Conflicts:      95000 | #Constraints:      15265
71.48/71.72	c #Conflicts:      96000 | #Constraints:      16265
71.48/71.72	c #Conflicts:      97000 | #Constraints:      17265
71.48/71.72	c #Conflicts:      98000 | #Constraints:      18265
71.48/71.72	c #Conflicts:      99000 | #Constraints:      19265
71.48/71.72	c INPROCESSING
71.48/71.72	c GARBAGE COLLECT
71.48/71.72	c #Conflicts:     100000 | #Constraints:      11587
71.48/71.72	c #Conflicts:     101000 | #Constraints:      12587
71.48/71.72	c #Conflicts:     102000 | #Constraints:      13587
71.48/71.72	c #Conflicts:     103000 | #Constraints:      14587
71.48/71.72	c #Conflicts:     104000 | #Constraints:      15587
71.48/71.72	c #Conflicts:     105000 | #Constraints:      16587
71.48/71.72	c #Conflicts:     106000 | #Constraints:      17587
71.48/71.72	c INPROCESSING
71.48/71.72	c GARBAGE COLLECT
71.48/71.72	c #Conflicts:     107000 | #Constraints:      10596
71.48/71.72	c #Conflicts:     108000 | #Constraints:      11596
71.48/71.72	c #Conflicts:     109000 | #Constraints:      12596
71.48/71.72	c #Conflicts:     110000 | #Constraints:      13596
71.48/71.72	c #Conflicts:     111000 | #Constraints:      14596
71.48/71.72	c #Conflicts:     112000 | #Constraints:      15596
71.48/71.72	c #Conflicts:     113000 | #Constraints:      16596
71.48/71.72	c #Conflicts:     114000 | #Constraints:      17596
71.48/71.72	c #Conflicts:     115000 | #Constraints:      18596
71.48/71.72	c #Conflicts:     116000 | #Constraints:      19596
71.48/71.72	c #Conflicts:     117000 | #Constraints:      20596
71.48/71.72	c #Conflicts:     118000 | #Constraints:      21596
71.48/71.72	c #Conflicts:     119000 | #Constraints:      22597
71.48/71.72	c #Conflicts:     120000 | #Constraints:      23597
71.48/71.72	c #Conflicts:     121000 | #Constraints:      24597
71.48/71.72	c #Conflicts:     122000 | #Constraints:      25597
71.48/71.72	c #Conflicts:     123000 | #Constraints:      26598
71.48/71.72	c #Conflicts:     124000 | #Constraints:      27599
71.48/71.72	c #Conflicts:     125000 | #Constraints:      28600
71.48/71.72	c #Conflicts:     126000 | #Constraints:      29600
71.48/71.72	c #Conflicts:     127000 | #Constraints:      30601
71.48/71.72	c #Conflicts:     128000 | #Constraints:      31601
71.48/71.72	c #Conflicts:     129000 | #Constraints:      32601
71.48/71.72	c #Conflicts:     130000 | #Constraints:      33602
71.48/71.72	c #Conflicts:     131000 | #Constraints:      34602
71.48/71.72	c #Conflicts:     132000 | #Constraints:      35602
71.48/71.72	c INPROCESSING
71.48/71.72	c GARBAGE COLLECT
71.48/71.72	WSVECS04 Frhs2[3]: 6 -3.68151 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[18]: 6 -0.771156 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[23]: 6 -0.771144 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[26]: 6 -3.74162 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[27]: 6 -0.771182 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[29]: 6 0 238.664 shouldn't be
71.48/71.72	WSVECS04 Frhs2[36]: 6 -2.99481 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[43]: 6 -226.816 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[45]: 6 -234.523 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[46]: 6 -1.00002 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[53]: 6 -3.33613 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[60]: 6 -34.734 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[61]: 6 -1.00009 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[91]: 6 -1.00003 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[151]: 6 -1.00003 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[153]: 6 -1.00009 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[154]: 6 -1.00002 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[156]: 6 -1.43753 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[167]: 6 -1.00004 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[168]: 6 -1.00004 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[169]: 6 -2.00002 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[194]: 6 0 255.002 shouldn't be
71.48/71.72	WSVECS04 Frhs2[195]: 6 0 58.638 shouldn't be
71.48/71.72	WSVECS04 Frhs2[199]: 6 0 2.50009 shouldn't be
71.48/71.72	WSVECS04 Frhs2[209]: 6 0 55.8881 shouldn't be
71.48/71.72	WSVECS04 Frhs2[210]: 6 0 120.276 shouldn't be
71.48/71.72	WSVECS04 Frhs2[211]: 6 -1.00002 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[212]: 6 -1.00002 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[224]: 6 0 106.114 shouldn't be
71.48/71.72	WSVECS04 Frhs2[240]: 6 0 56.9734 shouldn't be
71.48/71.72	WSVECS04 Frhs2[241]: 6 -1.00008 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[382]: 6 -1.00007 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[383]: 6 -1.00003 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[397]: 6 -1.00001 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[411]: 6 -0.750029 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[413]: 6 0 2.00006 shouldn't be
71.48/71.72	WSVECS04 Frhs2[425]: 6 -2.00007 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[453]: 6 -1.54599 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[492]: 6 0 2.98578 shouldn't be
71.48/71.72	WSVECS04 Frhs2[494]: 6 -4.56252 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[519]: 6 -1.00008 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[531]: 6 -1.00006 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[533]: 6 -1.50002 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[539]: 6 -5.0001 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[542]: 6 -1.0001 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[545]: 6 -1.89675 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[552]: 6 -3.50006 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[556]: 6 -1.98443 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[576]: 6 0 1.00004 shouldn't be
71.48/71.72	WSVECS04 Frhs2[578]: 6 -1.00001 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[590]: 6 0 2.06258 shouldn't be
71.48/71.72	WSVECS04 Frhs2[592]: 6 -1.00007 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[593]: 6 -1.00008 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[603]: 6 0 3.93752 shouldn't be
71.48/71.72	WSVECS04 Frhs2[607]: 6 -1.00008 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[608]: 6 0 1.25008 shouldn't be
71.48/71.72	WSVECS04 Frhs2[635]: 6 -3.50003 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[663]: 6 -9.87509 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[678]: 6 0 0.498723 shouldn't be
71.48/71.72	WSVECS04 Frhs2[685]: 6 0 0.0836465 shouldn't be
71.48/71.72	WSVECS04 Frhs2[691]: 6 -2.74943 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[699]: 6 -1.0577 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[706]: 6 -3.26986 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[714]: 6 -1.11523 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[754]: 6 -0.500059 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[756]: 6 -1.75007 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[758]: 6 -0.750098 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[770]: 6 -1.00008 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[773]: 6 -0.500039 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[782]: 6 -1.00002 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[796]: 6 -1.00008 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[798]: 6 -1.50004 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[799]: 6 -1.50008 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[803]: 6 -0.519805 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[807]: 6 0 55.0735 shouldn't be
71.48/71.72	WSVECS04 Frhs2[811]: 6 -1.00005 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[815]: 6 0 0.12502 shouldn't be
71.48/71.72	WSVECS04 Frhs2[816]: 6 -1.50008 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[818]: 6 -0.0395861 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[822]: 6 0 111.147 shouldn't be
71.48/71.72	WSVECS04 Frhs2[823]: 6 -7.21834 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[825]: 6 -30.8733 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[827]: 6 -1.00001 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[837]: 6 0 223.294 shouldn't be
71.48/71.72	WSVECS04 Frhs2[840]: 6 0 162.186 shouldn't be
71.48/71.72	WSVECS04 Frhs2[842]: 6 -1.00006 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[844]: 6 -3.50001 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[852]: 6 0 223.246 shouldn't be
71.48/71.72	WSVECS04 Frhs2[856]: 6 -1.00009 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[857]: 6 -1.0001 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[859]: 6 -2.50003 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[861]: 6 -0.454204 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[867]: 6 0 223.152 shouldn't be
71.48/71.72	WSVECS04 Frhs2[869]: 6 0 6.22893 shouldn't be
71.48/71.72	WSVECS04 Frhs2[887]: 6 -1.0001 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[892]: 6 -1.00005 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[903]: 6 0 0.0442945 shouldn't be
71.48/71.72	WSVECS04 Frhs2[909]: 6 0 0.0442428 shouldn't be
71.48/71.72	WSVECS04 Frhs2[910]: 6 0 0.000367975 shouldn't be
71.48/71.72	WSVECS04 Frhs2[945]: 6 0 0.0161148 shouldn't be
71.48/71.72	WSVECS04 Frhs2[952]: 6 -1.12898 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[960]: 6 0 0.0322348 shouldn't be
71.48/71.72	WSVECS04 Frhs2[963]: 6 -0.500014 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[975]: 6 0 0.0644562 shouldn't be
71.48/71.72	WSVECS04 Frhs2[979]: 6 -0.500031 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[980]: 6 -3.50008 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[981]: 6 -1.49227 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[995]: 6 -1.00007 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1018]: 6 -1.0001 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1023]: 6 -1.50008 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1024]: 6 -1.98442 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1028]: 6 -0.500067 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1036]: 6 -1.00006 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1041]: 6 -1.87504 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1052]: 6 -1.00003 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1056]: 6 -1.00006 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1064]: 6 -1.12504 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1067]: 6 -1.00002 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1070]: 6 -0.750061 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1079]: 6 -1.25005 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1081]: 6 -1.00002 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1082]: 6 -1.00002 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1094]: 6 -1.50003 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1111]: 6 -0.75005 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1112]: 6 -2.50002 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1119]: 6 -1.00007 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1124]: 6 -1.00005 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1126]: 6 -0.749431 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1135]: 6 -0.749609 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1143]: 6 -1.15575 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1145]: 6 -0.374725 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1147]: 6 -3.63598 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1148]: 6 -2.52259 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1149]: 6 -4.2957 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1152]: 6 -28.8912 0 shouldn't be
71.48/71.72	WSVECS04 Frhs2[1153]: 6 -57.0329 0 shouldn't be
126.42/126.82	c #Conflicts:     133000 | #Constraints:      19817
126.42/126.82	c #Conflicts:     134000 | #Constraints:      20817
126.42/126.82	c #Conflicts:     135000 | #Constraints:      21817
126.42/126.82	c #Conflicts:     136000 | #Constraints:      22817
126.42/126.82	c #Conflicts:     137000 | #Constraints:      23817
126.42/126.82	c #Conflicts:     138000 | #Constraints:      24817
126.42/126.82	c #Conflicts:     139000 | #Constraints:      25817
126.42/126.82	c #Conflicts:     140000 | #Constraints:      26817
126.42/126.82	c INPROCESSING
126.42/126.82	c GARBAGE COLLECT
126.42/126.82	c #Conflicts:     141000 | #Constraints:      15077
126.42/126.82	c #Conflicts:     142000 | #Constraints:      16077
126.42/126.82	c #Conflicts:     143000 | #Constraints:      17077
126.42/126.82	c #Conflicts:     144000 | #Constraints:      18077
126.42/126.82	c #Conflicts:     145000 | #Constraints:      19077
126.42/126.82	c #Conflicts:     146000 | #Constraints:      20077
126.42/126.82	c #Conflicts:     147000 | #Constraints:      21077
126.42/126.82	c #Conflicts:     148000 | #Constraints:      22077
126.42/126.82	c #Conflicts:     149000 | #Constraints:      23077
126.42/126.82	c INPROCESSING
126.42/126.82	c GARBAGE COLLECT
126.42/126.82	c #Conflicts:     150000 | #Constraints:      13227
126.42/126.82	c #Conflicts:     151000 | #Constraints:      14227
126.42/126.82	c #Conflicts:     152000 | #Constraints:      15227
126.42/126.82	c #Conflicts:     153000 | #Constraints:      16227
126.42/126.82	c #Conflicts:     154000 | #Constraints:      17227
126.42/126.82	c #Conflicts:     155000 | #Constraints:      18227
126.42/126.82	c #Conflicts:     156000 | #Constraints:      19227
126.42/126.82	c #Conflicts:     157000 | #Constraints:      20227
126.42/126.82	c #Conflicts:     158000 | #Constraints:      21228
126.42/126.82	c #Conflicts:     159000 | #Constraints:      22228
126.42/126.82	c #Conflicts:     160000 | #Constraints:      23228
126.42/126.82	c #Conflicts:     161000 | #Constraints:      24228
126.42/126.82	c #Conflicts:     162000 | #Constraints:      25228
126.42/126.82	c #Conflicts:     163000 | #Constraints:      26228
126.42/126.82	c #Conflicts:     164000 | #Constraints:      27228
126.42/126.82	c #Conflicts:     165000 | #Constraints:      28228
126.42/126.82	c #Conflicts:     166000 | #Constraints:      29228
126.42/126.82	c #Conflicts:     167000 | #Constraints:      30228
126.42/126.82	c #Conflicts:     168000 | #Constraints:      31228
126.42/126.82	c #Conflicts:     169000 | #Constraints:      32228
126.42/126.82	c #Conflicts:     170000 | #Constraints:      33228
126.42/126.82	c #Conflicts:     171000 | #Constraints:      34228
126.42/126.82	c #Conflicts:     172000 | #Constraints:      35228
126.42/126.82	c #Conflicts:     173000 | #Constraints:      36228
126.42/126.82	c #Conflicts:     174000 | #Constraints:      37228
126.42/126.82	c #Conflicts:     175000 | #Constraints:      38228
126.42/126.82	c #Conflicts:     176000 | #Constraints:      39228
126.42/126.82	c #Conflicts:     177000 | #Constraints:      40228
126.42/126.82	c #Conflicts:     178000 | #Constraints:      41228
126.42/126.82	c #Conflicts:     179000 | #Constraints:      42228
126.42/126.82	c INPROCESSING
126.42/126.82	c GARBAGE COLLECT
126.42/126.82	c #Conflicts:     180000 | #Constraints:      22935
126.42/126.82	c #Conflicts:     181000 | #Constraints:      23935
126.42/126.82	c #Conflicts:     182000 | #Constraints:      24935
126.42/126.82	c #Conflicts:     183000 | #Constraints:      25935
126.42/126.82	c #Conflicts:     184000 | #Constraints:      26935
126.42/126.82	c #Conflicts:     185000 | #Constraints:      27935
126.42/126.82	c #Conflicts:     186000 | #Constraints:      28935
126.42/126.82	c #Conflicts:     187000 | #Constraints:      29935
126.42/126.82	c #Conflicts:     188000 | #Constraints:      30935
126.42/126.82	c #Conflicts:     189000 | #Constraints:      31935
126.42/126.82	c INPROCESSING
126.42/126.82	c GARBAGE COLLECT
126.42/126.82	c #Conflicts:     190000 | #Constraints:      17708
126.42/126.82	c #Conflicts:     191000 | #Constraints:      18708
126.42/126.82	c #Conflicts:     192000 | #Constraints:      19708
126.42/126.82	c #Conflicts:     193000 | #Constraints:      20708
126.42/126.82	c #Conflicts:     194000 | #Constraints:      21708
126.42/126.82	c #Conflicts:     195000 | #Constraints:      22708
126.42/126.82	c #Conflicts:     196000 | #Constraints:      23708
126.42/126.82	c #Conflicts:     197000 | #Constraints:      24708
126.42/126.82	c #Conflicts:     198000 | #Constraints:      25708
126.42/126.82	c #Conflicts:     199000 | #Constraints:      26708
126.42/126.82	c #Conflicts:     200000 | #Constraints:      27708
126.42/126.82	c INPROCESSING
126.42/126.82	c GARBAGE COLLECT
126.42/126.82	c #Conflicts:     201000 | #Constraints:      15879
126.42/126.82	c #Conflicts:     202000 | #Constraints:      16879
126.42/126.82	c #Conflicts:     203000 | #Constraints:      17879
126.42/126.82	c #Conflicts:     204000 | #Constraints:      18879
126.42/126.82	c #Conflicts:     205000 | #Constraints:      19879
126.42/126.82	c #Conflicts:     206000 | #Constraints:      20879
126.42/126.82	c #Conflicts:     207000 | #Constraints:      21880
126.42/126.82	c #Conflicts:     208000 | #Constraints:      22880
179.95/180.54	c #Conflicts:     209000 | #Constraints:      23880
179.95/180.54	c #Conflicts:     210000 | #Constraints:      24880
179.95/180.54	c #Conflicts:     211000 | #Constraints:      25880
179.95/180.54	c #Conflicts:     212000 | #Constraints:      26880
179.95/180.54	c #Conflicts:     213000 | #Constraints:      27880
179.95/180.54	c #Conflicts:     214000 | #Constraints:      28880
179.95/180.54	c #Conflicts:     215000 | #Constraints:      29880
179.95/180.54	c #Conflicts:     216000 | #Constraints:      30880
179.95/180.54	c #Conflicts:     217000 | #Constraints:      31880
179.95/180.54	c #Conflicts:     218000 | #Constraints:      32880
179.95/180.54	c #Conflicts:     219000 | #Constraints:      33880
179.95/180.54	c #Conflicts:     220000 | #Constraints:      34880
179.95/180.54	c #Conflicts:     221000 | #Constraints:      35880
179.95/180.54	c #Conflicts:     222000 | #Constraints:      36880
179.95/180.54	c #Conflicts:     223000 | #Constraints:      37880
179.95/180.54	c #Conflicts:     224000 | #Constraints:      38880
179.95/180.54	c #Conflicts:     225000 | #Constraints:      39880
179.95/180.54	c #Conflicts:     226000 | #Constraints:      40880
179.95/180.54	c #Conflicts:     227000 | #Constraints:      41880
179.95/180.54	c #Conflicts:     228000 | #Constraints:      42880
179.95/180.54	c #Conflicts:     229000 | #Constraints:      43880
179.95/180.54	c #Conflicts:     230000 | #Constraints:      44880
179.95/180.54	c #Conflicts:     231000 | #Constraints:      45880
179.95/180.54	c #Conflicts:     232000 | #Constraints:      46880
179.95/180.54	c #Conflicts:     233000 | #Constraints:      47881
179.95/180.54	c #Conflicts:     234000 | #Constraints:      48881
179.95/180.54	c INPROCESSING
179.95/180.54	c GARBAGE COLLECT
179.95/180.54	c #Conflicts:     235000 | #Constraints:      26452
179.95/180.54	c #Conflicts:     236000 | #Constraints:      27452
179.95/180.54	c #Conflicts:     237000 | #Constraints:      28452
179.95/180.54	c #Conflicts:     238000 | #Constraints:      29452
179.95/180.54	c #Conflicts:     239000 | #Constraints:      30452
179.95/180.54	c #Conflicts:     240000 | #Constraints:      31452
179.95/180.54	c #Conflicts:     241000 | #Constraints:      32452
179.95/180.54	c #Conflicts:     242000 | #Constraints:      33452
179.95/180.54	c #Conflicts:     243000 | #Constraints:      34452
179.95/180.54	c #Conflicts:     244000 | #Constraints:      35452
179.95/180.54	WSVECS04 Frhs2[3]: 6 -8.20042 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[72]: 6 -2.99875 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[120]: 6 -2.84202 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[271]: 6 0 5.32975 shouldn't be
179.95/180.54	WSVECS04 Frhs2[284]: 6 0 6.32975 shouldn't be
179.95/180.54	WSVECS04 Frhs2[354]: 6 0 1 shouldn't be
179.95/180.54	WSVECS04 Frhs2[368]: 6 0 3 shouldn't be
179.95/180.54	WSVECS04 Frhs2[395]: 6 -2 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[529]: 6 -15.4157 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[543]: 6 -1 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[555]: 6 -11.4157 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[564]: 6 0 1 shouldn't be
179.95/180.54	WSVECS04 Frhs2[569]: 6 -1 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[578]: 6 0 2.26054 shouldn't be
179.95/180.54	WSVECS04 Frhs2[620]: 6 0 1 shouldn't be
179.95/180.54	WSVECS04 Frhs2[634]: 6 0 1 shouldn't be
179.95/180.54	WSVECS04 Frhs2[681]: 6 -1 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[751]: 6 0 11.6595 shouldn't be
179.95/180.54	WSVECS04 Frhs2[953]: 6 -2.30196 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[984]: 6 -3.99877 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[985]: 6 -2.24754 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[999]: 6 -1 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[1010]: 6 -2 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[1012]: 6 -1 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[1027]: 6 -1 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[1041]: 6 -1 0 shouldn't be
179.95/180.54	WSVECS04 Frhs2[1182]: 6 -1.125 0 shouldn't be
248.15/248.98	c #Conflicts:     245000 | #Constraints:      36452
248.15/248.98	c INPROCESSING
248.15/248.98	c GARBAGE COLLECT
248.15/248.98	c #Conflicts:     246000 | #Constraints:      19899
248.15/248.98	c #Conflicts:     247000 | #Constraints:      20899
248.15/248.98	c #Conflicts:     248000 | #Constraints:      21899
248.15/248.98	c #Conflicts:     249000 | #Constraints:      22899
248.15/248.98	c #Conflicts:     250000 | #Constraints:      23899
248.15/248.98	c #Conflicts:     251000 | #Constraints:      24899
248.15/248.98	c #Conflicts:     252000 | #Constraints:      25899
248.15/248.98	c #Conflicts:     253000 | #Constraints:      26899
248.15/248.98	c #Conflicts:     254000 | #Constraints:      27899
248.15/248.98	c #Conflicts:     255000 | #Constraints:      28899
248.15/248.98	c #Conflicts:     256000 | #Constraints:      29899
248.15/248.98	c #Conflicts:     257000 | #Constraints:      30899
248.15/248.98	c INPROCESSING
248.15/248.98	c GARBAGE COLLECT
248.15/248.98	c #Conflicts:     258000 | #Constraints:      17182
248.15/248.98	c #Conflicts:     259000 | #Constraints:      18182
248.15/248.98	c #Conflicts:     260000 | #Constraints:      19182
248.15/248.98	c #Conflicts:     261000 | #Constraints:      20182
248.15/248.98	c #Conflicts:     262000 | #Constraints:      21182
248.15/248.98	c #Conflicts:     263000 | #Constraints:      22182
248.15/248.98	c #Conflicts:     264000 | #Constraints:      23182
248.15/248.98	c #Conflicts:     265000 | #Constraints:      24182
248.15/248.98	c #Conflicts:     266000 | #Constraints:      25182
248.15/248.98	c #Conflicts:     267000 | #Constraints:      26182
248.15/248.98	c #Conflicts:     268000 | #Constraints:      27182
248.15/248.98	c #Conflicts:     269000 | #Constraints:      28182
248.15/248.98	c #Conflicts:     270000 | #Constraints:      29182
248.15/248.98	c #Conflicts:     271000 | #Constraints:      30182
248.15/248.98	c #Conflicts:     272000 | #Constraints:      31182
248.15/248.98	c #Conflicts:     273000 | #Constraints:      32182
248.15/248.98	c #Conflicts:     274000 | #Constraints:      33182
248.15/248.98	c #Conflicts:     275000 | #Constraints:      34183
248.15/248.98	c #Conflicts:     276000 | #Constraints:      35183
248.15/248.98	c #Conflicts:     277000 | #Constraints:      36184
248.15/248.98	c #Conflicts:     278000 | #Constraints:      37185
248.15/248.98	c #Conflicts:     279000 | #Constraints:      38185
248.15/248.98	c #Conflicts:     280000 | #Constraints:      39185
248.15/248.98	c #Conflicts:     281000 | #Constraints:      40185
248.15/248.98	c #Conflicts:     282000 | #Constraints:      41185
248.15/248.98	c #Conflicts:     283000 | #Constraints:      42185
248.15/248.98	c #Conflicts:     284000 | #Constraints:      43185
248.15/248.98	c #Conflicts:     285000 | #Constraints:      44185
248.15/248.98	c #Conflicts:     286000 | #Constraints:      45185
248.15/248.98	c #Conflicts:     287000 | #Constraints:      46185
248.15/248.98	c #Conflicts:     288000 | #Constraints:      47185
248.15/248.98	c #Conflicts:     289000 | #Constraints:      48185
248.15/248.98	c #Conflicts:     290000 | #Constraints:      49185
248.15/248.98	c #Conflicts:     291000 | #Constraints:      50185
248.15/248.98	c #Conflicts:     292000 | #Constraints:      51185
248.15/248.98	c #Conflicts:     293000 | #Constraints:      52185
248.15/248.98	c #Conflicts:     294000 | #Constraints:      53185
248.15/248.98	c #Conflicts:     295000 | #Constraints:      54185
248.15/248.98	c INPROCESSING
248.15/248.98	c GARBAGE COLLECT
248.15/248.98	c #Conflicts:     296000 | #Constraints:      28706
248.15/248.98	c #Conflicts:     297000 | #Constraints:      29706
248.15/248.98	c #Conflicts:     298000 | #Constraints:      30706
248.15/248.98	c #Conflicts:     299000 | #Constraints:      31706
248.15/248.98	c #Conflicts:     300000 | #Constraints:      32706
248.15/248.98	c #Conflicts:     301000 | #Constraints:      33706
248.15/248.98	c #Conflicts:     302000 | #Constraints:      34706
248.15/248.98	c #Conflicts:     303000 | #Constraints:      35706
248.15/248.98	c #Conflicts:     304000 | #Constraints:      36706
248.15/248.98	c #Conflicts:     305000 | #Constraints:      37706
248.15/248.98	c #Conflicts:     306000 | #Constraints:      38706
248.15/248.98	c #Conflicts:     307000 | #Constraints:      39706
248.15/248.98	c #Conflicts:     308000 | #Constraints:      40706
248.15/248.98	c #Conflicts:     309000 | #Constraints:      41706
248.15/248.98	c INPROCESSING
248.15/248.98	c GARBAGE COLLECT
248.15/248.98	c #Conflicts:     310000 | #Constraints:      22892
248.15/248.98	c #Conflicts:     311000 | #Constraints:      23892
248.15/248.98	c #Conflicts:     312000 | #Constraints:      24892
248.15/248.98	c #Conflicts:     313000 | #Constraints:      25892
248.15/248.98	c #Conflicts:     314000 | #Constraints:      26892
248.15/248.98	c #Conflicts:     315000 | #Constraints:      27892
248.15/248.98	c #Conflicts:     316000 | #Constraints:      28893
248.15/248.98	c #Conflicts:     317000 | #Constraints:      29893
248.15/248.98	c #Conflicts:     318000 | #Constraints:      30893
248.15/248.98	c #Conflicts:     319000 | #Constraints:      31893
248.15/248.98	c #Conflicts:     320000 | #Constraints:      32893
248.15/248.98	c #Conflicts:     321000 | #Constraints:      33893
249.35/250.16	c #Conflicts:     322000 | #Constraints:      34893
249.35/250.16	c INPROCESSING
249.35/250.16	c GARBAGE COLLECT
249.35/250.16	WSVECS04 Frhs2[18]: 6 -45.2659 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[36]: 6 0 41.2659 shouldn't be
249.35/250.16	WSVECS04 Frhs2[40]: 6 0 24.9686 shouldn't be
249.35/250.16	WSVECS04 Frhs2[42]: 6 0 41.2659 shouldn't be
249.35/250.16	WSVECS04 Frhs2[43]: 6 0 23.9686 shouldn't be
249.35/250.16	WSVECS04 Frhs2[54]: 6 -22.634 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[56]: 6 -26.6836 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[120]: 6 0 16.8942 shouldn't be
249.35/250.16	WSVECS04 Frhs2[142]: 6 -9.24599 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[189]: 6 -1.58091 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[232]: 6 -5.06348 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[257]: 6 0 2.99949 shouldn't be
249.35/250.16	WSVECS04 Frhs2[269]: 6 0 1 shouldn't be
249.35/250.16	WSVECS04 Frhs2[347]: 6 0 25.6249 shouldn't be
249.35/250.16	WSVECS04 Frhs2[350]: 6 0 43.2681 shouldn't be
249.35/250.16	WSVECS04 Frhs2[351]: 6 0 15.5843 shouldn't be
249.35/250.16	WSVECS04 Frhs2[364]: 6 0 43.1062 shouldn't be
249.35/250.16	WSVECS04 Frhs2[377]: 6 0 329.731 shouldn't be
249.35/250.16	WSVECS04 Frhs2[403]: 6 -1 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[408]: 6 -1.83429 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[423]: 6 0 82.0615 shouldn't be
249.35/250.16	WSVECS04 Frhs2[568]: 6 0 1 shouldn't be
249.35/250.16	WSVECS04 Frhs2[647]: 6 0 169.226 shouldn't be
249.35/250.16	WSVECS04 Frhs2[681]: 6 -1 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[687]: 6 -1 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[693]: 6 -3.00545 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[700]: 6 -1 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[879]: 6 -7.4027 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[881]: 6 -53.5776 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[982]: 6 -0.482097 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[997]: 6 -0.964194 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[1057]: 6 -2.5 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[1091]: 6 -2.79287 0 shouldn't be
249.35/250.16	WSVECS04 Frhs2[1184]: 6 0 6.65158 shouldn't be
249.45/250.22	WSVECS04 Frhs2[8]: 6 -120.812 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[11]: 6 -3.5109 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[14]: 6 -121.812 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[19]: 6 -43.2659 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[26]: 6 -3.5109 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[29]: 6 -133.635 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[32]: 6 0 23.9686 shouldn't be
249.45/250.22	WSVECS04 Frhs2[48]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[90]: 6 0 20.7 shouldn't be
249.45/250.22	WSVECS04 Frhs2[135]: 6 0 10.9843 shouldn't be
249.45/250.22	WSVECS04 Frhs2[138]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[139]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[140]: 6 -3.5179 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[144]: 6 -1.94761 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[146]: 6 -85.9046 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[179]: 6 0 37.6843 shouldn't be
249.45/250.22	WSVECS04 Frhs2[183]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[184]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[185]: 6 -2.14323 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[187]: 6 -1.75794 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[191]: 6 -6.77476 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[194]: 6 -116.321 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[229]: 6 -4.25794 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[230]: 6 -4.51587 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[236]: 6 -28.1763 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[239]: 6 -114.855 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[278]: 6 0 38.755 shouldn't be
249.45/250.22	WSVECS04 Frhs2[284]: 6 0 38.755 shouldn't be
249.45/250.22	WSVECS04 Frhs2[286]: 6 0 41.2659 shouldn't be
249.45/250.22	WSVECS04 Frhs2[288]: 6 0 41.2659 shouldn't be
249.45/250.22	WSVECS04 Frhs2[290]: 6 0 41.2659 shouldn't be
249.45/250.22	WSVECS04 Frhs2[373]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[387]: 6 -2.18503 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[455]: 6 0 6.48024 shouldn't be
249.45/250.22	WSVECS04 Frhs2[477]: 6 0 42.2659 shouldn't be
249.45/250.22	WSVECS04 Frhs2[542]: 6 0 0.928388 shouldn't be
249.45/250.22	WSVECS04 Frhs2[611]: 6 -3 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[613]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[627]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[688]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[741]: 6 -122.323 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[750]: 6 -0.778376 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[755]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[756]: 6 -3.0218 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[769]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[770]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[771]: 6 -4.0436 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[783]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[784]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[786]: 6 -6.08719 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[789]: 6 -1.89614 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[800]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[801]: 6 -10.1744 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[804]: 6 -1.79227 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[814]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[815]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[816]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[828]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[829]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[830]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[832]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[838]: 6 -43.9284 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[852]: 6 -99.8227 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[853]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[854]: 6 -7.8505 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[860]: 6 -0.314971 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[862]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[867]: 6 -91.656 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[870]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[873]: 6 -2.34252 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[877]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[884]: 6 -25.8506 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[905]: 6 -40.7572 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[953]: 6 -1.24105 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[994]: 6 -2.87948 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[998]: 6 -3.89714 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1008]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1009]: 6 -3.75895 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1039]: 6 -3.03581 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1042]: 6 -2.75 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1049]: 6 -111.722 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1053]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1054]: 6 -2.07161 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1058]: 6 -0.354191 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1075]: 6 -43.2659 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1077]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1079]: 6 -22.1533 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1084]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1086]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1087]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1089]: 6 -2.91648 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1092]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1098]: 6 -2.28645 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1099]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1102]: 6 -1 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1104]: 6 -3.83296 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1109]: 6 -85.613 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1135]: 6 -0.96757 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1137]: 6 -0.870278 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1139]: 6 -0.481108 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1143]: 6 -0.889188 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1145]: 6 -0.556751 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1146]: 6 -0.113502 0 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1154]: 6 0 19.6251 shouldn't be
249.45/250.22	WSVECS04 Frhs2[1160]: 6 -3.51191 0 shouldn't be
249.54/250.30	WSVECS04 Frhs2[2]: 6 -120.812 0 shouldn't be
249.54/250.30	WSVECS04 Frhs2[22]: 6 -43.2659 0 shouldn't be
249.54/250.30	WSVECS04 Frhs2[554]: 6 0 1 shouldn't be
249.54/250.30	WSVECS04 Frhs2[567]: 6 0 2 shouldn't be
249.54/250.30	WSVECS04 Frhs2[1106]: 6 -3.5109 0 shouldn't be
249.54/250.30	WSVECS04 Frhs2[1130]: 6 -0.998987 0 shouldn't be
249.54/250.30	WSVECS04 Frhs2[1132]: 6 -0.995947 0 shouldn't be
249.54/250.30	WSVECS04 Frhs2[1133]: 6 -0.991892 0 shouldn't be
249.54/250.30	WSVECS04 Frhs2[1134]: 6 -0.983785 0 shouldn't be
249.54/250.30	WSVECS04 Frhs2[1136]: 6 -0.935139 0 shouldn't be
249.54/250.30	WSVECS04 Frhs2[1138]: 6 -0.740554 0 shouldn't be
313.67/314.61	c #Conflicts:     323000 | #Constraints:      19274
313.67/314.61	c #Conflicts:     324000 | #Constraints:      20274
313.67/314.61	c #Conflicts:     325000 | #Constraints:      21274
313.67/314.61	c #Conflicts:     326000 | #Constraints:      22275
313.67/314.61	c #Conflicts:     327000 | #Constraints:      23275
313.67/314.61	c #Conflicts:     328000 | #Constraints:      24275
313.67/314.61	c #Conflicts:     329000 | #Constraints:      25275
313.67/314.61	c #Conflicts:     330000 | #Constraints:      26275
313.67/314.61	c #Conflicts:     331000 | #Constraints:      27276
313.67/314.61	c #Conflicts:     332000 | #Constraints:      28277
313.67/314.61	c #Conflicts:     333000 | #Constraints:      29278
313.67/314.61	c #Conflicts:     334000 | #Constraints:      30278
313.67/314.61	c #Conflicts:     335000 | #Constraints:      31278
313.67/314.61	c #Conflicts:     336000 | #Constraints:      32278
313.67/314.61	c #Conflicts:     337000 | #Constraints:      33278
313.67/314.61	c #Conflicts:     338000 | #Constraints:      34278
313.67/314.61	c #Conflicts:     339000 | #Constraints:      35279
313.67/314.61	c #Conflicts:     340000 | #Constraints:      36279
313.67/314.61	c #Conflicts:     341000 | #Constraints:      37279
313.67/314.61	c #Conflicts:     342000 | #Constraints:      38280
313.67/314.61	c #Conflicts:     343000 | #Constraints:      39281
313.67/314.61	c #Conflicts:     344000 | #Constraints:      40281
313.67/314.61	c #Conflicts:     345000 | #Constraints:      41282
313.67/314.61	c #Conflicts:     346000 | #Constraints:      42282
313.67/314.61	c #Conflicts:     347000 | #Constraints:      43282
313.67/314.61	c #Conflicts:     348000 | #Constraints:      44283
313.67/314.61	c #Conflicts:     349000 | #Constraints:      45283
313.67/314.61	c #Conflicts:     350000 | #Constraints:      46284
313.67/314.61	c #Conflicts:     351000 | #Constraints:      47284
313.67/314.61	c #Conflicts:     352000 | #Constraints:      48284
313.67/314.61	c #Conflicts:     353000 | #Constraints:      49284
313.67/314.61	c #Conflicts:     354000 | #Constraints:      50284
313.67/314.61	c #Conflicts:     355000 | #Constraints:      51284
313.67/314.61	c #Conflicts:     356000 | #Constraints:      52284
313.67/314.61	c #Conflicts:     357000 | #Constraints:      53284
313.67/314.61	c #Conflicts:     358000 | #Constraints:      54284
313.67/314.61	c #Conflicts:     359000 | #Constraints:      55284
313.67/314.61	c #Conflicts:     360000 | #Constraints:      56284
313.67/314.61	c #Conflicts:     361000 | #Constraints:      57284
313.67/314.61	c #Conflicts:     362000 | #Constraints:      58284
313.67/314.61	c #Conflicts:     363000 | #Constraints:      59284
313.67/314.61	c #Conflicts:     364000 | #Constraints:      60284
313.67/314.61	c INPROCESSING
313.67/314.61	c GARBAGE COLLECT
313.67/314.61	c #Conflicts:     365000 | #Constraints:      31772
313.67/314.61	c #Conflicts:     366000 | #Constraints:      32772
313.67/314.61	c #Conflicts:     367000 | #Constraints:      33772
313.67/314.61	c #Conflicts:     368000 | #Constraints:      34772
313.67/314.61	c #Conflicts:     369000 | #Constraints:      35772
313.67/314.61	c #Conflicts:     370000 | #Constraints:      36772
313.67/314.61	c #Conflicts:     371000 | #Constraints:      37772
313.67/314.61	c #Conflicts:     372000 | #Constraints:      38772
313.67/314.61	c #Conflicts:     373000 | #Constraints:      39773
313.67/314.61	c #Conflicts:     374000 | #Constraints:      40773
313.67/314.61	c #Conflicts:     375000 | #Constraints:      41773
313.67/314.61	c #Conflicts:     376000 | #Constraints:      42773
313.67/314.61	c #Conflicts:     377000 | #Constraints:      43778
313.67/314.61	c #Conflicts:     378000 | #Constraints:      44779
313.67/314.61	c #Conflicts:     379000 | #Constraints:      45780
313.67/314.61	c INPROCESSING
313.67/314.61	c GARBAGE COLLECT
313.67/314.61	WSVECS04 Frhs2[5]: 6 -4.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[6]: 6 -4.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[9]: 6 -4.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[10]: 6 -4.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[12]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[14]: 6 -4.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[15]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[16]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[21]: 6 -3.92859 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[22]: 6 -3.92857 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[25]: 6 -4.25446 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[26]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[31]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[32]: 6 0 0.379525 shouldn't be
313.67/314.61	WSVECS04 Frhs2[33]: 6 0 1.35717 shouldn't be
313.67/314.61	WSVECS04 Frhs2[38]: 6 -1.01796 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[39]: 6 0 1.92862 shouldn't be
313.67/314.61	WSVECS04 Frhs2[41]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[60]: 6 0 0.39745 shouldn't be
313.67/314.61	WSVECS04 Frhs2[90]: 6 0 2.39743 shouldn't be
313.67/314.61	WSVECS04 Frhs2[91]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[92]: 6 -2.50006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[95]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[96]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[97]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[98]: 6 -1.50003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[101]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[104]: 6 -2.92855 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[105]: 6 0 0.397427 shouldn't be
313.67/314.61	WSVECS04 Frhs2[106]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[107]: 6 -2.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[109]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[110]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[111]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[112]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[113]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[115]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[116]: 6 -5.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[119]: 6 -3.92859 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[120]: 6 0 0.397449 shouldn't be
313.67/314.61	WSVECS04 Frhs2[129]: 6 0 3.00007 shouldn't be
313.67/314.61	WSVECS04 Frhs2[135]: 6 0 0.397465 shouldn't be
313.67/314.61	WSVECS04 Frhs2[150]: 6 0 0.397469 shouldn't be
313.67/314.61	WSVECS04 Frhs2[151]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[154]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[155]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[156]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[158]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[164]: 6 -3.92855 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[165]: 6 0 0.397479 shouldn't be
313.67/314.61	WSVECS04 Frhs2[166]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[167]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[169]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[170]: 6 -1.0001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[172]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[173]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[175]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[177]: 6 -3.92856 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[196]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[197]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[199]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[200]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[201]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[202]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[209]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[227]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[229]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[230]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[231]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[232]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[233]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[236]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[241]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[242]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[244]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[245]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[246]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[247]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[248]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[254]: 6 -1.07154 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[315]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[316]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[317]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[331]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[344]: 6 -1.0001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[345]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[363]: 6 -3.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[368]: 6 -1.0001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[371]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[373]: 6 -5.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[374]: 6 -1.0001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[377]: 6 -1.50002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[378]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[380]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[382]: 6 -1.0001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[385]: 6 -1.0001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[386]: 6 -3.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[387]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[388]: 6 -1.0001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[396]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[402]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[405]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[406]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[407]: 6 0 4.0915 shouldn't be
313.67/314.61	WSVECS04 Frhs2[410]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[412]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[414]: 6 -1.0001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[416]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[419]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[420]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[422]: 6 -3.92856 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[424]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[428]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[434]: 6 -1.50008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[437]: 6 0 1.92857 shouldn't be
313.67/314.61	WSVECS04 Frhs2[442]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[443]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[444]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[446]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[452]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[454]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[455]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[458]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[460]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[461]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[462]: 6 -4.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[507]: 6 0 1.0001 shouldn't be
313.67/314.61	WSVECS04 Frhs2[524]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[525]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[526]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[527]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[539]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[541]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[545]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[554]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[555]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[559]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[569]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[573]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[581]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[583]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[584]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[587]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[588]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[590]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[592]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[595]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[596]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[601]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[602]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[604]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[606]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[612]: 6 -1.0001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[615]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[616]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[618]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[620]: 6 -1.0001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[622]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[623]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[624]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[626]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[629]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[630]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[632]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[634]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[638]: 6 -1.0001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[644]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[650]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[652]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[653]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[654]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[656]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[658]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[659]: 6 -3.92857 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[660]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[662]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[664]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[665]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[666]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[667]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[668]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[670]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[671]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[676]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[696]: 6 -0.50004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[699]: 6 -0.651846 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[705]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[707]: 6 -1.14294 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[734]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[735]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[749]: 6 -1.00006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[750]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[751]: 6 -1.75005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[753]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[754]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[755]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[756]: 6 -1.0001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[764]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[765]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[768]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[769]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[770]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[779]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[780]: 6 -0.500092 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[782]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[785]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[786]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[792]: 6 -2.96432 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[794]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[796]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[799]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[801]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[810]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[811]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[817]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[818]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[824]: 6 -3.92856 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[831]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[835]: 6 -1.50006 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[841]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[858]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[859]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[860]: 6 -2.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[863]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[871]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[872]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[875]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[885]: 6 -3.92859 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[886]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[891]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[892]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[893]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[898]: 6 -3.92862 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[899]: 6 -3.92859 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[900]: 6 -4.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[948]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[961]: 6 -1.87501 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[962]: 6 -0.250078 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[976]: 6 -1.75003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[979]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[981]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[994]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[995]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1005]: 6 -4.42858 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1010]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1011]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1015]: 6 -1.57207 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1021]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1024]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1026]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1029]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1030]: 6 -2.14405 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1031]: 6 -1.50009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1033]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1035]: 6 -3.92857 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1036]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1039]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1042]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1043]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1045]: 6 -3.28797 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1048]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1055]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1056]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1057]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1066]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1072]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1074]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1077]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1078]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1080]: 6 -3.92858 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1083]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1084]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1085]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1094]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1096]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1097]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1100]: 6 -1.00004 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1104]: 6 -1.00002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1110]: 6 -1.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1111]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1113]: 6 -1.00005 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1119]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1122]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1123]: 6 -1.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1124]: 6 -1.00003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1125]: 6 -1.00009 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1126]: 6 -1.00001 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1142]: 6 -0.984474 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1143]: 6 -0.968805 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1144]: 6 -0.93752 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1145]: 6 -0.875049 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1146]: 6 -0.75002 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1149]: 6 0 1.00009 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1150]: 6 0 0.0715115 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1152]: 6 0 12.0715 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1169]: 6 -1.00199 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1176]: 6 -1.25003 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1178]: 6 -2.00007 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1181]: 6 -9.00008 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1183]: 6 -27.1435 0 shouldn't be
313.67/314.61	WSVECS04 Frhs2[1184]: 6 -53.287 0 shouldn't be
323.35/324.37	c #Conflicts:     380000 | #Constraints:      24691
323.35/324.37	c #Conflicts:     381000 | #Constraints:      25691
323.35/324.37	c #Conflicts:     382000 | #Constraints:      26691
323.35/324.37	c #Conflicts:     383000 | #Constraints:      27691
323.35/324.37	c #Conflicts:     384000 | #Constraints:      28691
323.35/324.37	c #Conflicts:     385000 | #Constraints:      29691
323.35/324.37	c #Conflicts:     386000 | #Constraints:      30691
323.35/324.37	c #Conflicts:     387000 | #Constraints:      31691
323.35/324.37	c #Conflicts:     388000 | #Constraints:      32691
323.35/324.37	c #Conflicts:     389000 | #Constraints:      33691
323.35/324.37	c #Conflicts:     390000 | #Constraints:      34691
323.35/324.37	c #Conflicts:     391000 | #Constraints:      35691
323.35/324.37	c #Conflicts:     392000 | #Constraints:      36691
323.35/324.37	c #Conflicts:     393000 | #Constraints:      37691
323.35/324.37	c #Conflicts:     394000 | #Constraints:      38692
323.35/324.37	c INPROCESSING
323.35/324.37	c GARBAGE COLLECT
323.35/324.37	WSVECS04 Frhs2[4]: 6 -78.2457 0 shouldn't be
323.35/324.37	WSVECS04 Frhs2[7]: 6 -79.069 0 shouldn't be
323.35/324.37	WSVECS04 Frhs2[8]: 6 -46.5882 0 shouldn't be
323.35/324.37	WSVECS04 Frhs2[10]: 6 -36.5017 0 shouldn't be
323.35/324.37	WSVECS04 Frhs2[12]: 6 -10.2574 0 shouldn't be
323.35/324.37	WSVECS04 Frhs2[14]: 6 -33.031 0 shouldn't be
323.35/324.37	WSVECS04 Frhs2[18]: 6 -10.422 0 shouldn't be
323.35/324.37	WSVECS04 Frhs2[22]: 6 -51.3211 0 shouldn't be
323.35/324.37	WSVECS04 Frhs2[23]: 6 -57.3474 0 shouldn't be
323.35/324.37	WSVECS04 Frhs2[24]: 6 -56.4119 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[27]: 6 -39.4152 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[30]: 6 -83.5347 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[31]: 6 -1.00003 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[36]: 6 -1.00198 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[37]: 6 -1.28519 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[38]: 6 -0.060574 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[39]: 6 -1.50201 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[44]: 6 0 38.3044 shouldn't be
323.35/324.38	WSVECS04 Frhs2[82]: 6 -36.9705 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[90]: 6 -17.3999 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[126]: 6 -6.89171 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[142]: 6 -2.04493 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[143]: 6 -0.0897352 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[144]: 6 -0.812582 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[150]: 6 -25.5058 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[158]: 6 0 2.88315 shouldn't be
323.35/324.38	WSVECS04 Frhs2[161]: 6 0 17 shouldn't be
323.35/324.38	WSVECS04 Frhs2[171]: 6 -2.08973 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[187]: 6 0 0.641143 shouldn't be
323.35/324.38	WSVECS04 Frhs2[210]: 6 -9.98443 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[212]: 6 0 4.20916 shouldn't be
323.35/324.38	WSVECS04 Frhs2[216]: 6 0 4.28229 shouldn't be
323.35/324.38	WSVECS04 Frhs2[217]: 6 0 11.5645 shouldn't be
323.35/324.38	WSVECS04 Frhs2[240]: 6 -17.9688 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[293]: 6 0 6.98442 shouldn't be
323.35/324.38	WSVECS04 Frhs2[417]: 6 -69 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[444]: 6 -129 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[445]: 6 -1.00006 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[454]: 6 0 4.00009 shouldn't be
323.35/324.38	WSVECS04 Frhs2[455]: 6 0 16.0001 shouldn't be
323.35/324.38	WSVECS04 Frhs2[466]: 6 0 0.250034 shouldn't be
323.35/324.38	WSVECS04 Frhs2[469]: 6 0 8.98441 shouldn't be
323.35/324.38	WSVECS04 Frhs2[482]: 6 0 9.98444 shouldn't be
323.35/324.38	WSVECS04 Frhs2[527]: 6 -4.00006 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[531]: 6 0 1.00008 shouldn't be
323.35/324.38	WSVECS04 Frhs2[545]: 6 0 1.00007 shouldn't be
323.35/324.38	WSVECS04 Frhs2[567]: 6 0 9.95531 shouldn't be
323.35/324.38	WSVECS04 Frhs2[572]: 6 0 14.7822 shouldn't be
323.35/324.38	WSVECS04 Frhs2[591]: 6 0 16.9688 shouldn't be
323.35/324.38	WSVECS04 Frhs2[603]: 6 0 2.89259 shouldn't be
323.35/324.38	WSVECS04 Frhs2[605]: 6 -5.99229 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[626]: 6 -63.5 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[667]: 6 0 2.00003 shouldn't be
323.35/324.38	WSVECS04 Frhs2[668]: 6 0 2.00003 shouldn't be
323.35/324.38	WSVECS04 Frhs2[670]: 6 0 64.8751 shouldn't be
323.35/324.38	WSVECS04 Frhs2[688]: 6 -2.00007 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[701]: 6 -0.576181 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[749]: 6 -1.25008 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[763]: 6 -14.4922 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[823]: 6 -6.4922 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[837]: 6 -2.44345 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[839]: 6 -1.00006 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[840]: 6 0 5.541 shouldn't be
323.35/324.38	WSVECS04 Frhs2[853]: 6 -1.00002 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[854]: 6 -1.00009 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[855]: 6 0 5.54106 shouldn't be
323.35/324.38	WSVECS04 Frhs2[856]: 6 0 2.21397 shouldn't be
323.35/324.38	WSVECS04 Frhs2[864]: 6 -1.00002 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[870]: 6 -1.00009 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[876]: 6 -1.00002 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[882]: 6 -42.0427 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[885]: 6 -8.98442 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[886]: 6 0 14.8558 shouldn't be
323.35/324.38	WSVECS04 Frhs2[890]: 6 0 7.00009 shouldn't be
323.35/324.38	WSVECS04 Frhs2[893]: 6 -1.00008 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[894]: 6 -1.00003 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[930]: 6 -89.8652 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1024]: 6 -5.96205 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1028]: 6 -4.82062 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1043]: 6 -8.64118 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1058]: 6 -0.500064 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1059]: 6 -33.5626 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1079]: 6 -0.875099 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1092]: 6 -0.500037 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1093]: 6 -0.750037 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1101]: 6 -1.00006 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1115]: 6 0 2.56448 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1134]: 6 -1.50001 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1146]: 6 -1.00003 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1148]: 6 -1.0001 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1152]: 6 -8.98446 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1153]: 6 -16.9688 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1171]: 6 -1.00003 0 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1184]: 6 0 30.9347 shouldn't be
323.35/324.38	WSVECS04 Frhs2[1185]: 6 0 48.3497 shouldn't be
323.51/324.51	c cpu time 320.818 s
323.51/324.51	c deterministic time 13727947479 1.37e+10
323.51/324.51	c optimization time 4.3e-05 s
323.51/324.51	c total solve time 320.812 s
323.51/324.51	c core-guided solve time 0 s
323.51/324.51	c propagation time 179.249 s
323.51/324.51	c conflict analysis time 130.467 s
323.51/324.51	c propagations 78729429
323.51/324.51	c resolve steps 29211410
323.51/324.51	c decisions 542020
323.51/324.51	c conflicts 394436
323.51/324.51	c restarts 955
323.51/324.51	c inprocessing phases 34
323.51/324.51	c garbage collections 34 ,( 100.00 )
323.51/324.51	c input clauses 855 ,( 50.41 )
323.51/324.51	c input cardinalities 0 ,( 0.00 )
323.51/324.51	c input general constraints 841 ,( 49.59 )
323.51/324.51	c input average constraint length 3.62
323.51/324.51	c input average constraint degree 633104.46
323.51/324.51	c learned clauses 302504 ,( 76.68 )
323.51/324.51	c learned cardinalities 67 ,( 0.02 )
323.51/324.51	c learned general constraints 91925 ,( 23.30 )
323.51/324.51	c learned average constraint length 119.81
323.51/324.51	c learned average constraint degree 36220684.27
323.51/324.51	c watched  CF 32, 64, 128, Arb: 16275 , 0 , 0 , 0
323.51/324.51	c counting CF 32, 64, 128, Arb: 76491 , 0 , 0 , 0
323.51/324.51	c watched   constraints 16275 ,( 17.54 ) 
323.51/324.51	c counting  constraints 76491 ,( 82.46 ) 
323.51/324.51	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 202610595 , 1605367 , 3204433043 ,( 12519143 , 3191913900 )
323.51/324.51	c gcd simplifications 6527
323.51/324.51	c detected cardinalities 28
323.51/324.51	c weakened non-implied lits 11345386
323.51/324.51	c weakened non-implying lits 22502
323.51/324.51	c original variables 1185
323.51/324.51	c clausal propagations 24348760
323.51/324.51	c cardinality propagations 87388
323.51/324.51	c watched propagations 265520
323.51/324.51	c counting propagations 53630833
323.51/324.51	c watch lookups 8753779294
323.51/324.51	c watch backjump lookups 0
323.51/324.51	c watch checks 527434658
323.51/324.51	c propagation checks 4065861982
323.51/324.51	c constraint additions 221853023
323.51/324.51	c trail pops 79665884
323.51/324.51	c formula constraints 1696
323.51/324.51	c learned constraints 394434
323.51/324.51	c bound constraints 0
323.51/324.51	c core-guided constraints 0
323.51/324.51	c encountered formula constraints 20966161
323.51/324.51	c encountered learned constraints 8638494
323.51/324.51	c encountered bound constraints 0
323.51/324.51	c encountered core-guided constraints 0
323.51/324.51	c LP total time 6.38878 s
323.51/324.51	c LP solve time 5.02 s
323.51/324.51	c LP constraints added 1717
323.51/324.51	c LP constraints removed 4
323.51/324.51	c LP pivots internal 39726
323.51/324.51	c LP pivots root 41462
323.51/324.51	c LP calls 134
323.51/324.51	c LP optimalities 32
323.51/324.51	c LP no pivot count 1
323.51/324.51	c LP infeasibilities 61
323.51/324.51	c LP valid Farkas constraints 56
323.51/324.51	c LP learned Farkas constraints 0
323.51/324.51	c LP basis resets 43
323.51/324.51	c LP cycling count 9
323.51/324.51	c LP singular count 19
323.51/324.51	c LP no primal count 0
323.51/324.51	c LP no farkas count 5
323.51/324.51	c LP other issue count 10
323.51/324.51	c LP Gomory cuts 6
323.51/324.51	c LP learned cuts 15
323.51/324.51	c LP deleted cuts 4
323.51/324.51	c LP encountered Gomory constraints 1
323.51/324.51	c LP encountered Farkas constraints 1189
323.51/324.51	c LP encountered learned Farkas constraints 0
323.51/324.51	c CG auxiliary variables introduced 0
323.51/324.51	c CG solutions found 0
323.51/324.51	c CG cores constructed 0
323.51/324.51	c CG core cardinality constraints returned 0
323.51/324.51	c CG unit cores 0
323.51/324.51	c CG single cores 0
323.51/324.51	c CG blocks removed during cardinality reduction 0
323.51/324.51	c CG first core best 0
323.51/324.51	c CG decision core best 0
323.51/324.51	c CG core reduction tie 0
323.51/324.51	c CG core degree average 0.00
323.51/324.51	c CG core slack average 0.00
323.51/324.51	c CG core upper bound improvements 0
323.51/324.51	c STR number of successful calls 0
323.51/324.51	c STR number of unsuccessful calls 0
323.51/324.51	c STR number of inconclusive calls 0
323.51/324.51	c STR number of successful attempts 0
323.51/324.51	c STR number of unsuccessful attempts 0
323.51/324.51	c STR number of inconclusive attempts 0
323.51/324.51	c STR average degree increase per successful call inf
323.51/324.51	c STR average degree increase per successful attempt inf
323.51/324.51	c STR total number of conflicts for successful attempts 0
323.51/324.51	c STR total number of conflicts for unsuccessful attempts 0
323.51/324.51	c STR total number of conflicts for inconclusive attempts 0
323.51/324.51	c STR average number of conflicts per successful attempt inf
323.51/324.51	c STR average number of conflicts per unsuccessful attempt inf
323.51/324.51	c STR average number of conflicts per inconclusive attempt inf
323.51/324.51	c AVG.sumWPerc 71.90 
323.51/324.51	c bigint constraints 0 
323.51/324.51	s UNSATISFIABLE