0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.03	c #variables 756 #constraints 3541
0.21/0.29	c #Conflicts:       1000 | #Constraints:       4540
0.21/0.29	WSVECS04 Frhs2[13]: 6 -5.00006 0 shouldn't be
0.21/0.29	WSVECS04 Frhs2[22]: 6 -5.00001 0 shouldn't be
0.21/0.29	WSVECS04 Frhs2[24]: 6 -5.00006 0 shouldn't be
0.21/0.29	WSVECS04 Frhs2[37]: 6 0 9.00007 shouldn't be
0.21/0.29	WSVECS04 Frhs2[40]: 6 0 12 shouldn't be
0.21/0.29	WSVECS04 Frhs2[42]: 6 -4.00008 0 shouldn't be
0.21/0.29	WSVECS04 Frhs2[91]: 6 0 1.00005 shouldn't be
0.21/0.29	WSVECS04 Frhs2[104]: 6 0 1.00008 shouldn't be
0.21/0.29	WSVECS04 Frhs2[113]: 6 0 1.00003 shouldn't be
0.21/0.29	WSVECS04 Frhs2[120]: 6 0 1.00002 shouldn't be
0.21/0.29	WSVECS04 Frhs2[126]: 6 0 2.00004 shouldn't be
0.21/0.29	WSVECS04 Frhs2[128]: 6 0 1.00002 shouldn't be
0.21/0.29	WSVECS04 Frhs2[140]: 6 0 1.00003 shouldn't be
0.21/0.29	WSVECS04 Frhs2[158]: 6 0 1.00002 shouldn't be
0.21/0.29	WSVECS04 Frhs2[240]: 6 0 1.00008 shouldn't be
0.21/0.29	WSVECS04 Frhs2[265]: 6 0 1.00007 shouldn't be
0.21/0.29	WSVECS04 Frhs2[291]: 6 0 1.00008 shouldn't be
0.21/0.29	WSVECS04 Frhs2[304]: 6 0 4.00002 shouldn't be
0.21/0.29	WSVECS04 Frhs2[315]: 6 0 1.00003 shouldn't be
0.21/0.29	WSVECS04 Frhs2[333]: 6 0 6.00004 shouldn't be
0.21/0.29	WSVECS04 Frhs2[341]: 6 0 1.00001 shouldn't be
0.21/0.29	WSVECS04 Frhs2[354]: 6 0 1.00004 shouldn't be
0.21/0.29	WSVECS04 Frhs2[362]: 6 0 1.00004 shouldn't be
0.21/0.29	WSVECS04 Frhs2[363]: 6 0 1.00002 shouldn't be
0.21/0.29	WSVECS04 Frhs2[366]: 6 0 1.00006 shouldn't be
0.21/0.29	WSVECS04 Frhs2[379]: 6 0 1.00002 shouldn't be
0.21/0.29	WSVECS04 Frhs2[392]: 6 0 1.00007 shouldn't be
0.21/0.29	WSVECS04 Frhs2[399]: 6 0 1.00009 shouldn't be
0.21/0.29	WSVECS04 Frhs2[406]: 6 0 1.00004 shouldn't be
0.21/0.29	WSVECS04 Frhs2[470]: 6 0 1.00002 shouldn't be
0.21/0.29	WSVECS04 Frhs2[483]: 6 0 1.00002 shouldn't be
0.21/0.29	WSVECS04 Frhs2[594]: 6 0 1.00007 shouldn't be
0.21/0.29	WSVECS04 Frhs2[607]: 6 0 7.00007 shouldn't be
0.21/0.29	WSVECS04 Frhs2[633]: 6 0 7.00006 shouldn't be
0.21/0.29	WSVECS04 Frhs2[683]: 6 0 1.00002 shouldn't be
0.21/0.29	WSVECS04 Frhs2[717]: 6 0 1.00006 shouldn't be
0.21/0.29	WSVECS04 Frhs2[718]: 6 0 1.00004 shouldn't be
1.00/1.05	c #Conflicts:       2000 | #Constraints:       5540
1.00/1.05	c INPROCESSING
1.00/1.05	c GARBAGE COLLECT
1.00/1.05	c #Conflicts:       3000 | #Constraints:       5328
1.00/1.05	c #Conflicts:       4000 | #Constraints:       6328
1.00/1.05	c INPROCESSING
1.00/1.05	c GARBAGE COLLECT
1.00/1.05	c #Conflicts:       5000 | #Constraints:       5732
1.00/1.05	WSVECS04 Frhs2[31]: 6 -5.00005 0 shouldn't be
1.00/1.05	WSVECS04 Frhs2[35]: 6 -6.00007 0 shouldn't be
1.00/1.05	WSVECS04 Frhs2[37]: 6 -5.00002 0 shouldn't be
1.00/1.05	WSVECS04 Frhs2[44]: 6 0 1.50008 shouldn't be
1.00/1.05	WSVECS04 Frhs2[45]: 6 0 7.0001 shouldn't be
1.00/1.05	WSVECS04 Frhs2[48]: 6 -5.00003 0 shouldn't be
1.00/1.05	WSVECS04 Frhs2[49]: 6 0 4.00001 shouldn't be
1.00/1.05	WSVECS04 Frhs2[138]: 6 0 1.00003 shouldn't be
1.00/1.05	WSVECS04 Frhs2[225]: 6 0 1.00003 shouldn't be
1.00/1.05	WSVECS04 Frhs2[235]: 6 0 1.00005 shouldn't be
1.00/1.05	WSVECS04 Frhs2[238]: 6 0 1.00007 shouldn't be
1.00/1.05	WSVECS04 Frhs2[249]: 6 0 1.00004 shouldn't be
1.00/1.05	WSVECS04 Frhs2[259]: 6 0 1.00002 shouldn't be
1.00/1.05	WSVECS04 Frhs2[290]: 6 0 1.00005 shouldn't be
1.00/1.05	WSVECS04 Frhs2[299]: 6 0 1.00008 shouldn't be
1.00/1.05	WSVECS04 Frhs2[309]: 6 0 1.00007 shouldn't be
1.00/1.05	WSVECS04 Frhs2[313]: 6 0 2.00002 shouldn't be
1.00/1.05	WSVECS04 Frhs2[365]: 6 0 2.00006 shouldn't be
1.00/1.05	WSVECS04 Frhs2[396]: 6 0 1.00001 shouldn't be
1.00/1.05	WSVECS04 Frhs2[397]: 6 0 1.00004 shouldn't be
1.00/1.05	WSVECS04 Frhs2[471]: 6 0 1.50003 shouldn't be
1.00/1.05	WSVECS04 Frhs2[472]: 6 0 1.00007 shouldn't be
1.00/1.05	WSVECS04 Frhs2[475]: 6 0 1.00009 shouldn't be
1.00/1.05	WSVECS04 Frhs2[497]: 6 0 1.50002 shouldn't be
1.00/1.05	WSVECS04 Frhs2[501]: 6 0 1.00002 shouldn't be
1.00/1.05	WSVECS04 Frhs2[523]: 6 0 1.50007 shouldn't be
1.00/1.05	WSVECS04 Frhs2[544]: 6 0 1.00001 shouldn't be
1.00/1.05	WSVECS04 Frhs2[547]: 6 0 1.00003 shouldn't be
1.00/1.05	WSVECS04 Frhs2[548]: 6 0 1.00003 shouldn't be
1.00/1.05	WSVECS04 Frhs2[588]: 6 0 1.00003 shouldn't be
1.00/1.05	WSVECS04 Frhs2[590]: 6 0 1.00005 shouldn't be
1.00/1.05	WSVECS04 Frhs2[592]: 6 0 1.00004 shouldn't be
1.00/1.05	WSVECS04 Frhs2[601]: 6 0 1.00003 shouldn't be
1.00/1.05	WSVECS04 Frhs2[612]: 6 0 1.00003 shouldn't be
1.00/1.05	WSVECS04 Frhs2[644]: 6 0 1.00008 shouldn't be
1.00/1.05	WSVECS04 Frhs2[648]: 6 0 1.00008 shouldn't be
1.00/1.05	WSVECS04 Frhs2[652]: 6 0 1.00003 shouldn't be
1.39/1.45	c #Conflicts:       6000 | #Constraints:       6732
1.39/1.45	c INPROCESSING
1.39/1.45	c GARBAGE COLLECT
1.39/1.45	c rational objective 139.75
1.58/1.65	c #Conflicts:       7000 | #Constraints:       5741
1.58/1.65	c #Conflicts:       8000 | #Constraints:       6741
1.58/1.65	WSVECS04 Frhs2[11]: 6 0 1.00007 shouldn't be
1.58/1.65	WSVECS04 Frhs2[33]: 6 0 1.50003 shouldn't be
1.58/1.65	WSVECS04 Frhs2[35]: 6 -1.00008 0 shouldn't be
1.58/1.65	WSVECS04 Frhs2[36]: 6 -1.00007 0 shouldn't be
1.58/1.65	WSVECS04 Frhs2[37]: 6 0 5.50007 shouldn't be
1.58/1.65	WSVECS04 Frhs2[62]: 6 0 1.00006 shouldn't be
1.58/1.65	WSVECS04 Frhs2[64]: 6 0 1.00009 shouldn't be
1.58/1.65	WSVECS04 Frhs2[89]: 6 0 1.00005 shouldn't be
1.58/1.65	WSVECS04 Frhs2[115]: 6 0 1.00006 shouldn't be
1.58/1.65	WSVECS04 Frhs2[135]: 6 0 1.00001 shouldn't be
1.58/1.65	WSVECS04 Frhs2[141]: 6 0 1.00007 shouldn't be
1.58/1.65	WSVECS04 Frhs2[144]: 6 0 1.0001 shouldn't be
1.58/1.65	WSVECS04 Frhs2[145]: 6 0 0.166701 shouldn't be
1.58/1.65	WSVECS04 Frhs2[146]: 6 0 0.33343 shouldn't be
1.58/1.65	WSVECS04 Frhs2[158]: 6 0 1.00003 shouldn't be
1.58/1.65	WSVECS04 Frhs2[164]: 6 0 1.00004 shouldn't be
1.58/1.65	WSVECS04 Frhs2[170]: 6 0 1.00002 shouldn't be
1.58/1.65	WSVECS04 Frhs2[184]: 6 0 1.00007 shouldn't be
1.58/1.65	WSVECS04 Frhs2[188]: 6 0 1.00003 shouldn't be
1.58/1.65	WSVECS04 Frhs2[208]: 6 0 1.00002 shouldn't be
1.58/1.65	WSVECS04 Frhs2[234]: 6 0 1.00006 shouldn't be
1.58/1.65	WSVECS04 Frhs2[281]: 6 0 1.00007 shouldn't be
1.58/1.65	WSVECS04 Frhs2[288]: 6 0 1.00001 shouldn't be
1.58/1.65	WSVECS04 Frhs2[290]: 6 0 1.00005 shouldn't be
1.58/1.65	WSVECS04 Frhs2[311]: 6 0 1.00007 shouldn't be
1.58/1.65	WSVECS04 Frhs2[316]: 6 0 1.00001 shouldn't be
1.58/1.65	WSVECS04 Frhs2[324]: 6 0 0.500054 shouldn't be
1.58/1.65	WSVECS04 Frhs2[325]: 6 0 1.00008 shouldn't be
1.58/1.65	WSVECS04 Frhs2[328]: 6 0 0.333371 shouldn't be
1.58/1.65	WSVECS04 Frhs2[329]: 6 0 1.00007 shouldn't be
1.58/1.65	WSVECS04 Frhs2[332]: 6 0 1.00002 shouldn't be
1.58/1.65	WSVECS04 Frhs2[358]: 6 0 1.00004 shouldn't be
1.58/1.65	WSVECS04 Frhs2[365]: 6 0 1.00007 shouldn't be
1.58/1.65	WSVECS04 Frhs2[384]: 6 0 1.00009 shouldn't be
1.58/1.65	WSVECS04 Frhs2[391]: 6 0 1.00001 shouldn't be
1.58/1.65	WSVECS04 Frhs2[459]: 6 0 1.00008 shouldn't be
1.58/1.65	WSVECS04 Frhs2[509]: 6 0 0.66674 shouldn't be
1.69/1.70	WSVECS04 Frhs2[114]: 6 0 1.00007 shouldn't be
1.69/1.70	WSVECS04 Frhs2[137]: 6 0 1.00009 shouldn't be
1.69/1.70	WSVECS04 Frhs2[214]: 6 0 1.00008 shouldn't be
1.69/1.70	WSVECS04 Frhs2[309]: 6 0 1.00004 shouldn't be
1.69/1.70	WSVECS04 Frhs2[337]: 6 0 1.00009 shouldn't be
1.69/1.70	WSVECS04 Frhs2[584]: 6 0 0.500075 shouldn't be
1.69/1.70	WSVECS04 Frhs2[616]: 6 0 1.00006 shouldn't be
2.18/2.27	c #Conflicts:       9000 | #Constraints:       7741
2.18/2.27	c INPROCESSING
2.18/2.27	c GARBAGE COLLECT
2.18/2.27	c rational objective 140.188
2.58/2.66	c #Conflicts:      10000 | #Constraints:       6445
2.58/2.66	c #Conflicts:      11000 | #Constraints:       7445
2.58/2.66	c #Conflicts:      12000 | #Constraints:       8445
2.58/2.66	c INPROCESSING
2.58/2.66	c GARBAGE COLLECT
2.58/2.66	c #Conflicts:      13000 | #Constraints:       6894
2.58/2.66	WSVECS04 Frhs2[31]: 6 -5.00007 0 shouldn't be
2.58/2.66	WSVECS04 Frhs2[32]: 6 0 2.66669 shouldn't be
2.58/2.66	WSVECS04 Frhs2[35]: 6 0 1.66674 shouldn't be
2.58/2.66	WSVECS04 Frhs2[40]: 6 -5.00006 0 shouldn't be
2.58/2.66	WSVECS04 Frhs2[41]: 6 -5.00009 0 shouldn't be
2.58/2.66	WSVECS04 Frhs2[43]: 6 0 3.00009 shouldn't be
2.58/2.66	WSVECS04 Frhs2[44]: 6 0 4.4445 shouldn't be
2.58/2.66	WSVECS04 Frhs2[51]: 6 -5.00007 0 shouldn't be
2.58/2.66	WSVECS04 Frhs2[53]: 6 -5.00005 0 shouldn't be
2.58/2.66	WSVECS04 Frhs2[57]: 6 0 1.00009 shouldn't be
2.58/2.66	WSVECS04 Frhs2[85]: 6 0 1.00002 shouldn't be
2.58/2.66	WSVECS04 Frhs2[96]: 6 0 1.00002 shouldn't be
2.58/2.66	WSVECS04 Frhs2[113]: 6 0 1.00001 shouldn't be
2.58/2.66	WSVECS04 Frhs2[132]: 6 0 0.666758 shouldn't be
2.58/2.66	WSVECS04 Frhs2[156]: 6 0 1.00003 shouldn't be
2.58/2.66	WSVECS04 Frhs2[182]: 6 0 1.00002 shouldn't be
2.58/2.66	WSVECS04 Frhs2[220]: 6 0 3.66676 shouldn't be
2.58/2.66	WSVECS04 Frhs2[232]: 6 0 1.00002 shouldn't be
2.58/2.66	WSVECS04 Frhs2[244]: 6 0 0.333422 shouldn't be
2.58/2.66	WSVECS04 Frhs2[246]: 6 0 3.66673 shouldn't be
2.58/2.66	WSVECS04 Frhs2[294]: 6 0 0.333361 shouldn't be
2.58/2.66	WSVECS04 Frhs2[308]: 6 0 1.00001 shouldn't be
2.58/2.66	WSVECS04 Frhs2[346]: 6 0 0.333424 shouldn't be
2.58/2.66	WSVECS04 Frhs2[418]: 6 0 0.666678 shouldn't be
2.58/2.66	WSVECS04 Frhs2[462]: 6 0 1.00001 shouldn't be
2.58/2.66	WSVECS04 Frhs2[496]: 6 0 0.333345 shouldn't be
2.58/2.66	WSVECS04 Frhs2[512]: 6 0 1.00008 shouldn't be
2.58/2.66	WSVECS04 Frhs2[517]: 6 0 1.00003 shouldn't be
2.58/2.66	WSVECS04 Frhs2[521]: 6 0 1.00007 shouldn't be
2.58/2.66	WSVECS04 Frhs2[522]: 6 0 0.333431 shouldn't be
3.38/3.46	c #Conflicts:      14000 | #Constraints:       7894
3.38/3.46	c #Conflicts:      15000 | #Constraints:       8894
3.38/3.46	c INPROCESSING
3.38/3.46	c GARBAGE COLLECT
3.38/3.46	c rational objective 140.32
4.28/4.31	c #Conflicts:      16000 | #Constraints:       7128
4.28/4.31	c #Conflicts:      17000 | #Constraints:       8129
4.28/4.31	c #Conflicts:      18000 | #Constraints:       9129
4.28/4.31	c INPROCESSING
4.28/4.31	c GARBAGE COLLECT
4.28/4.31	c rational objective 140.402
4.48/4.57	c #Conflicts:      19000 | #Constraints:       7144
4.48/4.57	c #Conflicts:      20000 | #Constraints:       8144
4.48/4.57	c #Conflicts:      21000 | #Constraints:       9144
4.48/4.57	WSVECS04 Frhs2[31]: 6 -2.6876 0 shouldn't be
4.48/4.57	WSVECS04 Frhs2[32]: 6 -2.68756 0 shouldn't be
4.48/4.57	WSVECS04 Frhs2[33]: 6 -2.68757 0 shouldn't be
4.48/4.57	WSVECS04 Frhs2[46]: 6 0 4.1459 shouldn't be
4.48/4.57	WSVECS04 Frhs2[57]: 6 0 0.958345 shouldn't be
4.48/4.57	WSVECS04 Frhs2[59]: 6 0 1.00008 shouldn't be
4.48/4.57	WSVECS04 Frhs2[85]: 6 0 1.00007 shouldn't be
4.48/4.57	WSVECS04 Frhs2[90]: 6 0 1.00004 shouldn't be
4.48/4.57	WSVECS04 Frhs2[110]: 6 0 1.00002 shouldn't be
4.48/4.57	WSVECS04 Frhs2[116]: 6 0 1.00003 shouldn't be
4.48/4.57	WSVECS04 Frhs2[119]: 6 0 2.97923 shouldn't be
4.48/4.57	WSVECS04 Frhs2[136]: 6 0 1.00008 shouldn't be
4.48/4.57	WSVECS04 Frhs2[161]: 6 0 2.29171 shouldn't be
4.48/4.57	WSVECS04 Frhs2[181]: 6 0 1.00002 shouldn't be
4.48/4.57	WSVECS04 Frhs2[186]: 6 0 0.333365 shouldn't be
4.48/4.57	WSVECS04 Frhs2[192]: 6 0 1.00005 shouldn't be
4.48/4.57	WSVECS04 Frhs2[213]: 6 0 1.29176 shouldn't be
4.48/4.57	WSVECS04 Frhs2[241]: 6 -1.00004 0 shouldn't be
4.48/4.57	WSVECS04 Frhs2[259]: 6 0 0.708423 shouldn't be
4.48/4.57	WSVECS04 Frhs2[260]: 6 0 1.00008 shouldn't be
4.48/4.57	WSVECS04 Frhs2[291]: 6 0 2.29168 shouldn't be
4.48/4.57	WSVECS04 Frhs2[321]: 6 0 1.00005 shouldn't be
4.48/4.57	WSVECS04 Frhs2[322]: 6 0 1.00005 shouldn't be
4.48/4.57	WSVECS04 Frhs2[347]: 6 0 1.00005 shouldn't be
4.48/4.57	WSVECS04 Frhs2[357]: 6 0 1.00009 shouldn't be
4.48/4.57	WSVECS04 Frhs2[365]: 6 0 1.00006 shouldn't be
4.48/4.57	WSVECS04 Frhs2[370]: 6 0 0.583398 shouldn't be
4.48/4.57	WSVECS04 Frhs2[382]: 6 0 1.00005 shouldn't be
4.48/4.57	WSVECS04 Frhs2[383]: 6 0 1.00007 shouldn't be
4.48/4.57	WSVECS04 Frhs2[388]: 6 -1.00006 0 shouldn't be
4.48/4.57	WSVECS04 Frhs2[392]: 6 0 1.2917 shouldn't be
4.48/4.57	WSVECS04 Frhs2[397]: 6 -1.00008 0 shouldn't be
4.48/4.57	WSVECS04 Frhs2[409]: 6 0 1.00003 shouldn't be
4.48/4.57	WSVECS04 Frhs2[411]: 6 0 1.00002 shouldn't be
4.48/4.57	WSVECS04 Frhs2[445]: 6 0 1.00005 shouldn't be
4.48/4.57	WSVECS04 Frhs2[446]: 6 0 0.666712 shouldn't be
4.48/4.57	WSVECS04 Frhs2[458]: 6 0 1.00002 shouldn't be
4.48/4.57	WSVECS04 Frhs2[465]: 6 0 2.68758 shouldn't be
4.48/4.57	WSVECS04 Frhs2[491]: 6 0 2.68757 shouldn't be
4.48/4.57	WSVECS04 Frhs2[493]: 6 0 0.70843 shouldn't be
4.48/4.57	WSVECS04 Frhs2[496]: 6 0 2.83337 shouldn't be
4.48/4.57	WSVECS04 Frhs2[497]: 6 0 1.00002 shouldn't be
4.48/4.57	WSVECS04 Frhs2[516]: 6 0 1.00006 shouldn't be
4.48/4.57	WSVECS04 Frhs2[517]: 6 0 2.68756 shouldn't be
4.48/4.57	WSVECS04 Frhs2[521]: 6 0 0.291719 shouldn't be
4.48/4.57	WSVECS04 Frhs2[541]: 6 0 1.00009 shouldn't be
4.48/4.57	WSVECS04 Frhs2[542]: 6 0 1.00009 shouldn't be
4.48/4.57	WSVECS04 Frhs2[543]: 6 0 2.68759 shouldn't be
4.48/4.57	WSVECS04 Frhs2[544]: 6 -1.00003 0 shouldn't be
4.48/4.57	WSVECS04 Frhs2[547]: 6 0 0.291712 shouldn't be
4.68/4.77	c INPROCESSING
4.68/4.77	c GARBAGE COLLECT
4.68/4.77	c #Conflicts:      22000 | #Constraints:       6943
4.68/4.77	WSVECS04 Frhs2[23]: 6 0 4.00001 shouldn't be
4.68/4.77	WSVECS04 Frhs2[41]: 6 -2.50005 0 shouldn't be
4.68/4.77	WSVECS04 Frhs2[43]: 6 -2.50005 0 shouldn't be
4.68/4.77	WSVECS04 Frhs2[267]: 6 0 1.00004 shouldn't be
4.68/4.77	WSVECS04 Frhs2[269]: 6 0 1.00001 shouldn't be
4.68/4.77	WSVECS04 Frhs2[271]: 6 0 0.750029 shouldn't be
4.68/4.77	WSVECS04 Frhs2[276]: 6 0 0.750024 shouldn't be
4.68/4.77	WSVECS04 Frhs2[314]: 6 0 0.333374 shouldn't be
4.68/4.77	WSVECS04 Frhs2[319]: 6 0 1.00003 shouldn't be
4.68/4.77	WSVECS04 Frhs2[326]: 6 0 0.250056 shouldn't be
4.68/4.77	WSVECS04 Frhs2[342]: 6 0 0.250094 shouldn't be
4.68/4.77	WSVECS04 Frhs2[351]: 6 0 1.00004 shouldn't be
4.68/4.77	WSVECS04 Frhs2[364]: 6 0 3.00008 shouldn't be
4.68/4.77	WSVECS04 Frhs2[394]: 6 0 1.00007 shouldn't be
4.68/4.77	WSVECS04 Frhs2[401]: 6 0 0.750081 shouldn't be
4.68/4.77	WSVECS04 Frhs2[406]: 6 0 0.750088 shouldn't be
4.68/4.77	WSVECS04 Frhs2[416]: 6 0 2.5001 shouldn't be
4.68/4.77	WSVECS04 Frhs2[417]: 6 0 1.00002 shouldn't be
4.68/4.77	WSVECS04 Frhs2[419]: 6 0 1.00004 shouldn't be
4.68/4.77	WSVECS04 Frhs2[466]: 6 0 1.00004 shouldn't be
4.68/4.77	WSVECS04 Frhs2[469]: 6 0 1.00004 shouldn't be
4.68/4.77	WSVECS04 Frhs2[620]: 6 0 1.00003 shouldn't be
4.68/4.77	WSVECS04 Frhs2[635]: 6 0 0.125024 shouldn't be
4.68/4.77	WSVECS04 Frhs2[646]: 6 0 1.00004 shouldn't be
4.68/4.77	WSVECS04 Frhs2[652]: 6 0 0.333344 shouldn't be
4.88/4.96	c #Conflicts:      23000 | #Constraints:       7943
4.88/4.96	c #Conflicts:      24000 | #Constraints:       8943
4.88/4.96	WSVECS04 Frhs2[47]: 6 -2.00003 0 shouldn't be
4.88/4.96	WSVECS04 Frhs2[54]: 6 -2.00006 0 shouldn't be
4.88/4.96	WSVECS04 Frhs2[89]: 6 0 0.333423 shouldn't be
4.88/4.96	WSVECS04 Frhs2[91]: 6 0 1.00002 shouldn't be
4.88/4.96	WSVECS04 Frhs2[93]: 6 0 0.33339 shouldn't be
4.88/4.96	WSVECS04 Frhs2[140]: 6 0 1.00001 shouldn't be
4.88/4.96	WSVECS04 Frhs2[141]: 6 0 0.333395 shouldn't be
4.88/4.96	WSVECS04 Frhs2[241]: 6 0 1.00006 shouldn't be
4.88/4.96	WSVECS04 Frhs2[321]: 6 0 1.00009 shouldn't be
4.88/4.96	WSVECS04 Frhs2[371]: 6 0 1.00003 shouldn't be
4.88/4.96	WSVECS04 Frhs2[382]: 6 0 1.00002 shouldn't be
4.88/4.96	WSVECS04 Frhs2[388]: 6 0 1.66668 shouldn't be
4.88/4.96	WSVECS04 Frhs2[432]: 6 0 0.333411 shouldn't be
4.88/4.96	WSVECS04 Frhs2[440]: 6 0 0.666709 shouldn't be
4.88/4.96	WSVECS04 Frhs2[492]: 6 0 1.66671 shouldn't be
4.88/4.96	WSVECS04 Frhs2[516]: 6 0 1.0001 shouldn't be
4.88/4.96	WSVECS04 Frhs2[518]: 6 0 1.66673 shouldn't be
4.88/4.96	WSVECS04 Frhs2[739]: 6 0 0.333353 shouldn't be
5.88/5.94	c #Conflicts:      25000 | #Constraints:       9943
5.88/5.94	c INPROCESSING
5.88/5.94	c GARBAGE COLLECT
5.88/5.94	c #Conflicts:      26000 | #Constraints:       7550
5.88/5.94	WSVECS04 Frhs2[360]: 6 0 0.31389 shouldn't be
7.27/7.33	c #Conflicts:      27000 | #Constraints:       8550
7.27/7.33	c #Conflicts:      28000 | #Constraints:       9550
7.27/7.33	c #Conflicts:      29000 | #Constraints:      10551
7.27/7.33	c INPROCESSING
7.27/7.33	c GARBAGE COLLECT
7.27/7.33	c #Conflicts:      30000 | #Constraints:       7950
7.27/7.33	c #Conflicts:      31000 | #Constraints:       8950
7.27/7.33	c #Conflicts:      32000 | #Constraints:       9950
7.27/7.33	c #Conflicts:      33000 | #Constraints:      10950
7.27/7.33	c INPROCESSING
7.27/7.33	c GARBAGE COLLECT
7.27/7.33	c rational objective 140.417
7.57/7.63	c #Conflicts:      34000 | #Constraints:       8155
7.57/7.63	c #Conflicts:      35000 | #Constraints:       9155
7.57/7.63	WSVECS04 Frhs2[4]: 6 -10.0074 0 shouldn't be
7.57/7.63	WSVECS04 Frhs2[5]: 6 -10.0074 0 shouldn't be
7.57/7.63	WSVECS04 Frhs2[9]: 6 -10.0074 0 shouldn't be
7.57/7.63	WSVECS04 Frhs2[10]: 6 -10.0074 0 shouldn't be
7.57/7.63	WSVECS04 Frhs2[14]: 6 -10.0074 0 shouldn't be
7.57/7.63	WSVECS04 Frhs2[27]: 6 -10.0073 0 shouldn't be
7.57/7.63	WSVECS04 Frhs2[30]: 6 0 36.5605 shouldn't be
7.57/7.63	WSVECS04 Frhs2[54]: 6 -24.8627 0 shouldn't be
7.57/7.63	WSVECS04 Frhs2[61]: 6 0 1.00003 shouldn't be
7.57/7.63	WSVECS04 Frhs2[62]: 6 0 1.00002 shouldn't be
7.57/7.63	WSVECS04 Frhs2[64]: 6 0 1.00002 shouldn't be
7.57/7.63	WSVECS04 Frhs2[113]: 6 0 11.0073 shouldn't be
7.57/7.63	WSVECS04 Frhs2[135]: 6 0 1.00004 shouldn't be
7.57/7.63	WSVECS04 Frhs2[141]: 6 0 1.00007 shouldn't be
7.57/7.63	WSVECS04 Frhs2[166]: 6 0 1.0001 shouldn't be
7.57/7.63	WSVECS04 Frhs2[217]: 6 0 10.0074 shouldn't be
7.57/7.63	WSVECS04 Frhs2[219]: 6 0 1.00008 shouldn't be
7.57/7.63	WSVECS04 Frhs2[221]: 6 0 1.0001 shouldn't be
7.57/7.63	WSVECS04 Frhs2[224]: 6 0 1.00006 shouldn't be
7.57/7.63	WSVECS04 Frhs2[230]: 6 0 1.00009 shouldn't be
7.57/7.63	WSVECS04 Frhs2[232]: 6 0 1.00007 shouldn't be
7.57/7.63	WSVECS04 Frhs2[235]: 6 0 0.974451 shouldn't be
7.57/7.63	WSVECS04 Frhs2[256]: 6 0 1.00007 shouldn't be
7.57/7.63	WSVECS04 Frhs2[281]: 6 0 1.00003 shouldn't be
7.57/7.63	WSVECS04 Frhs2[308]: 6 0 1.00005 shouldn't be
7.57/7.63	WSVECS04 Frhs2[328]: 6 0 1.00006 shouldn't be
7.57/7.63	WSVECS04 Frhs2[330]: 6 0 1.00004 shouldn't be
7.57/7.63	WSVECS04 Frhs2[367]: 6 0 1.00002 shouldn't be
7.57/7.63	WSVECS04 Frhs2[376]: 6 0 1.00004 shouldn't be
7.57/7.63	WSVECS04 Frhs2[384]: 6 0 5.20884 shouldn't be
7.57/7.63	WSVECS04 Frhs2[385]: 6 0 1.00003 shouldn't be
7.57/7.63	WSVECS04 Frhs2[392]: 6 0 1.00003 shouldn't be
7.57/7.63	WSVECS04 Frhs2[418]: 6 0 1.00008 shouldn't be
7.57/7.63	WSVECS04 Frhs2[462]: 6 0 5.20886 shouldn't be
7.57/7.63	WSVECS04 Frhs2[512]: 6 0 3.92492 shouldn't be
7.57/7.63	WSVECS04 Frhs2[562]: 6 0 1.00006 shouldn't be
7.57/7.63	WSVECS04 Frhs2[593]: 6 0 1.00006 shouldn't be
7.57/7.63	WSVECS04 Frhs2[618]: 6 0 1.088 shouldn't be
7.57/7.63	WSVECS04 Frhs2[738]: 6 0 1.00004 shouldn't be
8.17/8.20	c #Conflicts:      36000 | #Constraints:      10155
8.17/8.20	c #Conflicts:      37000 | #Constraints:      11155
8.17/8.20	c INPROCESSING
8.17/8.20	c GARBAGE COLLECT
8.17/8.20	c rational objective 140.424
8.37/8.43	c #Conflicts:      38000 | #Constraints:       8154
8.37/8.43	c #Conflicts:      39000 | #Constraints:       9154
8.37/8.43	WSVECS04 Frhs2[93]: 6 0 1.00005 shouldn't be
8.37/8.43	WSVECS04 Frhs2[96]: 6 0 1.00008 shouldn't be
8.37/8.43	WSVECS04 Frhs2[145]: 6 0 1.00005 shouldn't be
8.37/8.43	WSVECS04 Frhs2[171]: 6 0 1.00007 shouldn't be
8.37/8.43	WSVECS04 Frhs2[396]: 6 0 1.00004 shouldn't be
8.37/8.43	WSVECS04 Frhs2[432]: 6 0 1.00002 shouldn't be
8.37/8.43	WSVECS04 Frhs2[446]: 6 0 1.00003 shouldn't be
8.37/8.43	WSVECS04 Frhs2[498]: 6 0 2.00001 shouldn't be
8.37/8.43	WSVECS04 Frhs2[500]: 6 0 1.00003 shouldn't be
8.37/8.43	WSVECS04 Frhs2[504]: 6 0 1.00007 shouldn't be
8.37/8.43	WSVECS04 Frhs2[507]: 6 0 1.00006 shouldn't be
8.37/8.43	WSVECS04 Frhs2[723]: 6 0 1.00004 shouldn't be
9.17/9.24	c #Conflicts:      40000 | #Constraints:      10154
9.17/9.24	c #Conflicts:      41000 | #Constraints:      11154
9.17/9.24	c INPROCESSING
9.17/9.24	c GARBAGE COLLECT
9.17/9.24	c rational objective 140.437
9.47/9.54	c #Conflicts:      42000 | #Constraints:       7957
9.47/9.54	c #Conflicts:      43000 | #Constraints:       8957
9.47/9.54	c #Conflicts:      44000 | #Constraints:       9958
9.47/9.54	WSVECS04 Frhs2[3]: 6 -6.00008 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[7]: 6 -6.0001 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[14]: 6 -6.00006 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[23]: 6 -6.00001 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[24]: 6 -6.00003 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[26]: 6 -6.00003 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[27]: 6 -6.00009 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[31]: 6 0 3.00004 shouldn't be
9.47/9.54	WSVECS04 Frhs2[50]: 6 -7.00002 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[51]: 6 0 7.00005 shouldn't be
9.47/9.54	WSVECS04 Frhs2[53]: 6 0 1.00003 shouldn't be
9.47/9.54	WSVECS04 Frhs2[54]: 6 -7.00002 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[56]: 6 -1.00008 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[60]: 6 -1.00008 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[115]: 6 -1.00008 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[144]: 6 0 1.00005 shouldn't be
9.47/9.54	WSVECS04 Frhs2[166]: 6 0 2.00006 shouldn't be
9.47/9.54	WSVECS04 Frhs2[179]: 6 0 1.00006 shouldn't be
9.47/9.54	WSVECS04 Frhs2[188]: 6 0 1.00004 shouldn't be
9.47/9.54	WSVECS04 Frhs2[205]: 6 0 1.00002 shouldn't be
9.47/9.54	WSVECS04 Frhs2[206]: 6 0 1.00002 shouldn't be
9.47/9.54	WSVECS04 Frhs2[213]: 6 -1.00004 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[279]: 6 -1.00002 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[311]: 6 0 4.00008 shouldn't be
9.47/9.54	WSVECS04 Frhs2[312]: 6 -1.00006 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[329]: 6 0 1.00008 shouldn't be
9.47/9.54	WSVECS04 Frhs2[342]: 6 0 7.00002 shouldn't be
9.47/9.54	WSVECS04 Frhs2[355]: 6 0 1.00005 shouldn't be
9.47/9.54	WSVECS04 Frhs2[358]: 6 -1.00007 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[385]: 6 0 1.00005 shouldn't be
9.47/9.54	WSVECS04 Frhs2[417]: 6 0 1.00002 shouldn't be
9.47/9.54	WSVECS04 Frhs2[427]: 6 0 4.00002 shouldn't be
9.47/9.54	WSVECS04 Frhs2[428]: 6 0 1.00004 shouldn't be
9.47/9.54	WSVECS04 Frhs2[429]: 6 0 3.00002 shouldn't be
9.47/9.54	WSVECS04 Frhs2[434]: 6 0 1.00005 shouldn't be
9.47/9.54	WSVECS04 Frhs2[453]: 6 0 3.00005 shouldn't be
9.47/9.54	WSVECS04 Frhs2[460]: 6 0 1.0001 shouldn't be
9.47/9.54	WSVECS04 Frhs2[683]: 6 0 4.00008 shouldn't be
9.47/9.54	WSVECS04 Frhs2[688]: 6 0 5.00003 shouldn't be
9.47/9.54	WSVECS04 Frhs2[709]: 6 0 4.00003 shouldn't be
9.47/9.54	WSVECS04 Frhs2[714]: 6 -1.00003 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[735]: 6 -1.00007 0 shouldn't be
9.47/9.54	WSVECS04 Frhs2[742]: 6 0 1.00009 shouldn't be
10.27/10.34	c #Conflicts:      45000 | #Constraints:      10958
10.27/10.34	c #Conflicts:      46000 | #Constraints:      11958
10.27/10.34	c INPROCESSING
10.27/10.34	c GARBAGE COLLECT
10.27/10.34	c rational objective 140.448
10.47/10.59	c #Conflicts:      47000 | #Constraints:       8557
10.47/10.59	c #Conflicts:      48000 | #Constraints:       9557
10.47/10.59	WSVECS04 Frhs2[31]: 6 0 16.2632 shouldn't be
10.47/10.59	WSVECS04 Frhs2[45]: 6 -13.7369 0 shouldn't be
10.47/10.59	WSVECS04 Frhs2[46]: 6 -12.7369 0 shouldn't be
10.47/10.59	WSVECS04 Frhs2[50]: 6 -14.7369 0 shouldn't be
10.47/10.59	WSVECS04 Frhs2[52]: 6 -12.7369 0 shouldn't be
10.47/10.59	WSVECS04 Frhs2[122]: 6 0 1.00006 shouldn't be
10.47/10.59	WSVECS04 Frhs2[271]: 6 0 1.00003 shouldn't be
10.47/10.59	WSVECS04 Frhs2[272]: 6 0 2.00007 shouldn't be
10.47/10.59	WSVECS04 Frhs2[283]: 6 0 9.47378 shouldn't be
10.47/10.59	WSVECS04 Frhs2[512]: 6 -1.0001 0 shouldn't be
10.47/10.59	WSVECS04 Frhs2[514]: 6 0 5.26323 shouldn't be
10.47/10.59	WSVECS04 Frhs2[539]: 6 0 1.00008 shouldn't be
10.47/10.59	WSVECS04 Frhs2[660]: 6 0 1.00004 shouldn't be
10.47/10.59	WSVECS04 Frhs2[689]: 6 0 1.00007 shouldn't be
10.87/10.94	c #Conflicts:      49000 | #Constraints:      10557
10.87/10.94	c #Conflicts:      50000 | #Constraints:      11557
10.87/10.94	c #Conflicts:      51000 | #Constraints:      12558
10.87/10.94	c INPROCESSING
10.87/10.94	c GARBAGE COLLECT
10.87/10.94	WSVECS04 Frhs2[14]: 6 -8.25007 0 shouldn't be
10.87/10.94	WSVECS04 Frhs2[18]: 6 -8.25002 0 shouldn't be
10.87/10.94	WSVECS04 Frhs2[26]: 6 -8.25002 0 shouldn't be
10.87/10.94	WSVECS04 Frhs2[27]: 6 -8.25005 0 shouldn't be
10.87/10.94	WSVECS04 Frhs2[32]: 6 -26.7501 0 shouldn't be
10.87/10.94	WSVECS04 Frhs2[38]: 6 0 45.2501 shouldn't be
10.87/10.94	WSVECS04 Frhs2[45]: 6 -26.7501 0 shouldn't be
10.87/10.94	WSVECS04 Frhs2[54]: 6 -34.2501 0 shouldn't be
10.87/10.94	WSVECS04 Frhs2[104]: 6 0 0.500072 shouldn't be
10.87/10.94	WSVECS04 Frhs2[154]: 6 0 8.25002 shouldn't be
10.87/10.94	WSVECS04 Frhs2[180]: 6 0 9.25001 shouldn't be
10.87/10.94	WSVECS04 Frhs2[189]: 6 -1.00006 0 shouldn't be
10.87/10.94	WSVECS04 Frhs2[205]: 6 0 1.00004 shouldn't be
10.87/10.94	WSVECS04 Frhs2[240]: 6 0 1.00007 shouldn't be
10.87/10.94	WSVECS04 Frhs2[244]: 6 0 9.25004 shouldn't be
10.87/10.94	WSVECS04 Frhs2[271]: 6 0 6.75002 shouldn't be
10.87/10.94	WSVECS04 Frhs2[280]: 6 0 1.00003 shouldn't be
10.87/10.94	WSVECS04 Frhs2[286]: 6 0 0.50005 shouldn't be
10.87/10.94	WSVECS04 Frhs2[303]: 6 0 1.00002 shouldn't be
10.87/10.94	WSVECS04 Frhs2[308]: 6 0 1.00005 shouldn't be
10.87/10.94	WSVECS04 Frhs2[329]: 6 0 1.00006 shouldn't be
10.87/10.94	WSVECS04 Frhs2[336]: 6 -1.00004 0 shouldn't be
10.87/10.94	WSVECS04 Frhs2[338]: 6 0 0.500079 shouldn't be
10.87/10.94	WSVECS04 Frhs2[364]: 6 0 0.500016 shouldn't be
10.87/10.94	WSVECS04 Frhs2[386]: 6 0 1.00004 shouldn't be
10.87/10.94	WSVECS04 Frhs2[402]: 6 0 1.00004 shouldn't be
10.87/10.94	WSVECS04 Frhs2[435]: 6 0 1.00005 shouldn't be
10.87/10.94	WSVECS04 Frhs2[479]: 6 0 1.00002 shouldn't be
10.87/10.94	WSVECS04 Frhs2[488]: 6 0 3.75006 shouldn't be
10.87/10.94	WSVECS04 Frhs2[510]: 6 0 1.00003 shouldn't be
10.87/10.94	WSVECS04 Frhs2[514]: 6 0 3.7501 shouldn't be
10.87/10.94	WSVECS04 Frhs2[520]: 6 0 0.500023 shouldn't be
10.87/10.94	WSVECS04 Frhs2[532]: 6 0 3.50009 shouldn't be
10.87/10.94	WSVECS04 Frhs2[538]: 6 0 1.00004 shouldn't be
10.87/10.94	WSVECS04 Frhs2[539]: 6 0 1.00002 shouldn't be
10.87/10.94	WSVECS04 Frhs2[546]: 6 0 0.500076 shouldn't be
10.87/10.94	WSVECS04 Frhs2[713]: 6 0 1.00002 shouldn't be
10.87/10.94	WSVECS04 Frhs2[714]: 6 0 1.00007 shouldn't be
10.87/10.94	WSVECS04 Frhs2[716]: 6 0 1.00005 shouldn't be
10.87/10.94	WSVECS04 Frhs2[717]: 6 0 5.00002 shouldn't be
10.87/10.94	WSVECS04 Frhs2[721]: 6 0 5.75003 shouldn't be
10.87/10.94	WSVECS04 Frhs2[745]: 6 0 4.50001 shouldn't be
11.17/11.24	c #Conflicts:      52000 | #Constraints:       8961
11.17/11.24	c #Conflicts:      53000 | #Constraints:       9961
11.17/11.24	WSVECS04 Frhs2[39]: 6 -3.00004 0 shouldn't be
11.17/11.24	WSVECS04 Frhs2[43]: 6 -2.00001 0 shouldn't be
11.17/11.24	WSVECS04 Frhs2[63]: 6 0 0.111183 shouldn't be
11.17/11.24	WSVECS04 Frhs2[141]: 6 0 0.500012 shouldn't be
11.17/11.24	WSVECS04 Frhs2[142]: 6 0 0.500024 shouldn't be
11.17/11.24	WSVECS04 Frhs2[194]: 6 0 0.500081 shouldn't be
11.17/11.24	WSVECS04 Frhs2[219]: 6 0 0.083344 shouldn't be
11.17/11.24	WSVECS04 Frhs2[220]: 6 0 0.500011 shouldn't be
11.17/11.24	WSVECS04 Frhs2[222]: 6 0 1.00006 shouldn't be
11.17/11.24	WSVECS04 Frhs2[234]: 6 0 0.500013 shouldn't be
11.17/11.24	WSVECS04 Frhs2[236]: 6 0 1.00004 shouldn't be
11.17/11.24	WSVECS04 Frhs2[241]: 6 0 1.00008 shouldn't be
11.17/11.24	WSVECS04 Frhs2[265]: 6 -1.0001 0 shouldn't be
11.17/11.24	WSVECS04 Frhs2[266]: 6 0 1.00004 shouldn't be
11.17/11.24	WSVECS04 Frhs2[288]: 6 0 1.00002 shouldn't be
11.17/11.24	WSVECS04 Frhs2[320]: 6 -2.00009 0 shouldn't be
11.17/11.24	WSVECS04 Frhs2[337]: 6 0 0.50002 shouldn't be
11.17/11.24	WSVECS04 Frhs2[362]: 6 0 1.00006 shouldn't be
11.17/11.24	WSVECS04 Frhs2[384]: 6 0 0.333374 shouldn't be
11.17/11.24	WSVECS04 Frhs2[388]: 6 0 1.00009 shouldn't be
11.17/11.24	WSVECS04 Frhs2[389]: 6 0 0.500042 shouldn't be
11.17/11.24	WSVECS04 Frhs2[537]: 6 0 1.00007 shouldn't be
11.97/12.07	c #Conflicts:      54000 | #Constraints:      10961
11.97/12.07	c #Conflicts:      55000 | #Constraints:      11961
11.97/12.07	c #Conflicts:      56000 | #Constraints:      12961
11.97/12.07	c INPROCESSING
11.97/12.07	c GARBAGE COLLECT
11.97/12.07	c rational objective 140.448
12.16/12.20	c #Conflicts:      57000 | #Constraints:       9168
12.16/12.20	WSVECS04 Frhs2[3]: 6 -9.00009 0 shouldn't be
12.16/12.20	WSVECS04 Frhs2[6]: 6 -9.00005 0 shouldn't be
12.16/12.20	WSVECS04 Frhs2[18]: 6 -9.00005 0 shouldn't be
12.16/12.20	WSVECS04 Frhs2[19]: 6 -9.00008 0 shouldn't be
12.16/12.20	WSVECS04 Frhs2[20]: 6 -9.00002 0 shouldn't be
12.16/12.20	WSVECS04 Frhs2[32]: 6 -19.0001 0 shouldn't be
12.16/12.20	WSVECS04 Frhs2[33]: 6 -20 0 shouldn't be
12.16/12.20	WSVECS04 Frhs2[45]: 6 -20.0001 0 shouldn't be
12.16/12.20	WSVECS04 Frhs2[48]: 6 0 31.5001 shouldn't be
12.16/12.20	WSVECS04 Frhs2[70]: 6 0 7.50009 shouldn't be
12.16/12.20	WSVECS04 Frhs2[144]: 6 0 1.00008 shouldn't be
12.16/12.20	WSVECS04 Frhs2[170]: 6 0 1.00005 shouldn't be
12.16/12.20	WSVECS04 Frhs2[177]: 6 -1.00006 0 shouldn't be
12.16/12.20	WSVECS04 Frhs2[196]: 6 0 1.00006 shouldn't be
12.16/12.20	WSVECS04 Frhs2[202]: 6 -1.00007 0 shouldn't be
12.16/12.20	WSVECS04 Frhs2[226]: 6 0 1.00005 shouldn't be
12.16/12.20	WSVECS04 Frhs2[249]: 6 0 1.00006 shouldn't be
12.16/12.20	WSVECS04 Frhs2[276]: 6 0 10.0001 shouldn't be
12.16/12.20	WSVECS04 Frhs2[304]: 6 0 1.00002 shouldn't be
12.16/12.20	WSVECS04 Frhs2[354]: 6 0 9.00002 shouldn't be
12.16/12.20	WSVECS04 Frhs2[370]: 6 0 1.00003 shouldn't be
12.16/12.20	WSVECS04 Frhs2[379]: 6 0 1.00007 shouldn't be
12.16/12.20	WSVECS04 Frhs2[404]: 6 0 1.00008 shouldn't be
12.16/12.20	WSVECS04 Frhs2[426]: 6 0 9.50003 shouldn't be
12.16/12.20	WSVECS04 Frhs2[429]: 6 0 1.0001 shouldn't be
12.16/12.20	WSVECS04 Frhs2[454]: 6 0 1.00004 shouldn't be
12.16/12.20	WSVECS04 Frhs2[455]: 6 0 1.00006 shouldn't be
12.16/12.20	WSVECS04 Frhs2[459]: 6 0 1.00005 shouldn't be
12.16/12.20	WSVECS04 Frhs2[463]: 6 0 1.00007 shouldn't be
12.16/12.20	WSVECS04 Frhs2[474]: 6 0 1.00007 shouldn't be
12.16/12.20	WSVECS04 Frhs2[475]: 6 0 1.00003 shouldn't be
12.16/12.20	WSVECS04 Frhs2[479]: 6 0 1.00002 shouldn't be
12.16/12.20	WSVECS04 Frhs2[480]: 6 0 1.00003 shouldn't be
12.16/12.20	WSVECS04 Frhs2[489]: 6 0 1.00005 shouldn't be
12.16/12.20	WSVECS04 Frhs2[493]: 6 0 1.00003 shouldn't be
12.16/12.20	WSVECS04 Frhs2[501]: 6 0 1.00004 shouldn't be
12.16/12.20	WSVECS04 Frhs2[504]: 6 0 9.50002 shouldn't be
12.16/12.20	WSVECS04 Frhs2[506]: 6 0 1.00009 shouldn't be
12.16/12.20	WSVECS04 Frhs2[511]: 6 0 1.00005 shouldn't be
12.16/12.20	WSVECS04 Frhs2[572]: 6 0 1.00003 shouldn't be
12.16/12.20	WSVECS04 Frhs2[580]: 6 0 1.00009 shouldn't be
12.16/12.20	WSVECS04 Frhs2[581]: 6 -1.00007 0 shouldn't be
12.16/12.20	WSVECS04 Frhs2[588]: 6 0 8.00006 shouldn't be
12.16/12.20	WSVECS04 Frhs2[597]: 6 0 1.00006 shouldn't be
12.16/12.20	WSVECS04 Frhs2[621]: 6 0 1.00008 shouldn't be
12.16/12.20	WSVECS04 Frhs2[637]: 6 0 1.00008 shouldn't be
12.16/12.20	WSVECS04 Frhs2[639]: 6 0 1.00003 shouldn't be
12.16/12.20	WSVECS04 Frhs2[640]: 6 0 7.00006 shouldn't be
12.16/12.20	WSVECS04 Frhs2[647]: 6 0 1.00009 shouldn't be
12.16/12.20	WSVECS04 Frhs2[651]: 6 0 19.0001 shouldn't be
12.16/12.20	WSVECS04 Frhs2[660]: 6 -1.00005 0 shouldn't be
12.16/12.20	WSVECS04 Frhs2[661]: 6 -1.0001 0 shouldn't be
12.16/12.20	WSVECS04 Frhs2[677]: 6 0 19 shouldn't be
12.16/12.20	WSVECS04 Frhs2[710]: 6 0 2.00006 shouldn't be
12.16/12.20	WSVECS04 Frhs2[715]: 6 0 1.00006 shouldn't be
12.16/12.20	WSVECS04 Frhs2[718]: 6 0 8.00009 shouldn't be
12.16/12.20	WSVECS04 Frhs2[720]: 6 0 7.50007 shouldn't be
12.16/12.20	WSVECS04 Frhs2[721]: 6 0 1.00008 shouldn't be
12.16/12.20	WSVECS04 Frhs2[723]: 6 0 1.00008 shouldn't be
12.16/12.20	WSVECS04 Frhs2[725]: 6 0 1.00008 shouldn't be
12.16/12.20	WSVECS04 Frhs2[729]: 6 0 19.0001 shouldn't be
12.16/12.20	WSVECS04 Frhs2[738]: 6 0 4.00002 shouldn't be
12.16/12.20	WSVECS04 Frhs2[746]: 6 0 7.50002 shouldn't be
12.16/12.20	WSVECS04 Frhs2[751]: 6 0 1.00004 shouldn't be
12.46/12.51	c #Conflicts:      58000 | #Constraints:      10168
12.46/12.51	c #Conflicts:      59000 | #Constraints:      11168
12.46/12.51	WSVECS04 Frhs2[30]: 6 0 3.00005 shouldn't be
12.46/12.51	WSVECS04 Frhs2[38]: 6 0 8.00004 shouldn't be
12.46/12.51	WSVECS04 Frhs2[49]: 6 -5.00003 0 shouldn't be
12.46/12.51	WSVECS04 Frhs2[60]: 6 0 1.00002 shouldn't be
12.46/12.51	WSVECS04 Frhs2[62]: 6 0 1.00002 shouldn't be
12.46/12.51	WSVECS04 Frhs2[89]: 6 0 1.00007 shouldn't be
12.46/12.51	WSVECS04 Frhs2[105]: 6 0 1.00003 shouldn't be
12.46/12.51	WSVECS04 Frhs2[115]: 6 0 1.00009 shouldn't be
12.46/12.51	WSVECS04 Frhs2[130]: 6 0 1.00003 shouldn't be
12.46/12.51	WSVECS04 Frhs2[203]: 6 0 1.00004 shouldn't be
12.46/12.51	WSVECS04 Frhs2[225]: 6 0 1.00006 shouldn't be
12.46/12.51	WSVECS04 Frhs2[228]: 6 0 1.00009 shouldn't be
12.46/12.51	WSVECS04 Frhs2[231]: 6 0 1.00002 shouldn't be
12.46/12.51	WSVECS04 Frhs2[281]: 6 0 1.00009 shouldn't be
12.46/12.51	WSVECS04 Frhs2[332]: 6 0 1.00001 shouldn't be
12.46/12.51	WSVECS04 Frhs2[358]: 6 0 1.0001 shouldn't be
12.46/12.51	WSVECS04 Frhs2[403]: 6 0 1.00003 shouldn't be
12.46/12.51	WSVECS04 Frhs2[667]: 6 0 1.00004 shouldn't be
12.46/12.51	WSVECS04 Frhs2[686]: 6 0 1.00002 shouldn't be
12.46/12.51	WSVECS04 Frhs2[687]: 6 0 4.00008 shouldn't be
12.46/12.51	WSVECS04 Frhs2[693]: 6 0 1.00006 shouldn't be
12.46/12.51	WSVECS04 Frhs2[694]: 6 0 1.00008 shouldn't be
12.46/12.51	WSVECS04 Frhs2[702]: 6 0 1.00005 shouldn't be
12.46/12.51	WSVECS04 Frhs2[732]: 6 0 1.00008 shouldn't be
12.46/12.51	WSVECS04 Frhs2[733]: 6 0 1.00008 shouldn't be
12.46/12.51	WSVECS04 Frhs2[754]: 6 0 1.00001 shouldn't be
13.16/13.26	c #Conflicts:      60000 | #Constraints:      12168
13.16/13.26	c #Conflicts:      61000 | #Constraints:      13168
13.16/13.26	c INPROCESSING
13.16/13.26	c GARBAGE COLLECT
13.16/13.26	c rational objective 140.455
13.36/13.43	c #Conflicts:      62000 | #Constraints:       9165
13.36/13.43	WSVECS04 Frhs2[3]: 6 -0.181853 0 shouldn't be
13.36/13.43	WSVECS04 Frhs2[16]: 6 -0.181895 0 shouldn't be
13.36/13.43	WSVECS04 Frhs2[17]: 6 -0.181908 0 shouldn't be
13.36/13.43	WSVECS04 Frhs2[30]: 6 -1.7273 0 shouldn't be
13.36/13.43	WSVECS04 Frhs2[41]: 6 0 2.40916 shouldn't be
13.36/13.43	WSVECS04 Frhs2[56]: 6 0 0.181867 shouldn't be
13.36/13.43	WSVECS04 Frhs2[62]: 6 0 1.00005 shouldn't be
13.36/13.43	WSVECS04 Frhs2[112]: 6 0 1.40917 shouldn't be
13.36/13.43	WSVECS04 Frhs2[115]: 6 -1.00007 0 shouldn't be
13.36/13.43	WSVECS04 Frhs2[244]: 6 0 0.636416 shouldn't be
13.36/13.43	WSVECS04 Frhs2[247]: 6 0 1.00009 shouldn't be
13.36/13.43	WSVECS04 Frhs2[251]: 6 0 1.00004 shouldn't be
13.36/13.43	WSVECS04 Frhs2[253]: 6 0 1.00001 shouldn't be
13.36/13.43	WSVECS04 Frhs2[254]: 6 0 0.590988 shouldn't be
13.36/13.43	WSVECS04 Frhs2[255]: 6 0 1.00004 shouldn't be
13.36/13.43	WSVECS04 Frhs2[280]: 6 0 0.590923 shouldn't be
13.36/13.43	WSVECS04 Frhs2[281]: 6 0 1.00004 shouldn't be
13.36/13.43	WSVECS04 Frhs2[283]: 6 0 1.00007 shouldn't be
13.36/13.43	WSVECS04 Frhs2[332]: 6 0 0.590948 shouldn't be
13.36/13.43	WSVECS04 Frhs2[342]: 6 0 1.00006 shouldn't be
13.36/13.43	WSVECS04 Frhs2[355]: 6 0 1.00007 shouldn't be
13.36/13.43	WSVECS04 Frhs2[358]: 6 -1.00003 0 shouldn't be
13.36/13.43	WSVECS04 Frhs2[405]: 6 0 0.227316 shouldn't be
13.36/13.43	WSVECS04 Frhs2[413]: 6 0 0.818209 shouldn't be
13.36/13.43	WSVECS04 Frhs2[416]: 6 0 1.90919 shouldn't be
13.36/13.43	WSVECS04 Frhs2[417]: 6 0 1.0001 shouldn't be
13.36/13.43	WSVECS04 Frhs2[488]: 6 0 0.454578 shouldn't be
13.36/13.43	WSVECS04 Frhs2[505]: 6 0 0.545499 shouldn't be
13.36/13.43	WSVECS04 Frhs2[638]: 6 0 1.00009 shouldn't be
13.36/13.43	WSVECS04 Frhs2[732]: 6 0 0.181884 shouldn't be
13.36/13.43	WSVECS04 Frhs2[738]: 6 0 1.00008 shouldn't be
13.36/13.43	WSVECS04 Frhs2[742]: 6 0 1.00008 shouldn't be
13.36/13.43	WSVECS04 Frhs2[744]: 6 0 1.0001 shouldn't be
13.66/13.76	c #Conflicts:      63000 | #Constraints:      10165
13.66/13.76	c #Conflicts:      64000 | #Constraints:      11165
13.66/13.76	WSVECS04 Frhs2[12]: 6 -2.00002 0 shouldn't be
13.66/13.76	WSVECS04 Frhs2[14]: 6 -2.00002 0 shouldn't be
13.66/13.76	WSVECS04 Frhs2[15]: 6 -2.00004 0 shouldn't be
13.66/13.76	WSVECS04 Frhs2[17]: 6 -2.00001 0 shouldn't be
13.66/13.76	WSVECS04 Frhs2[31]: 6 -3.3334 0 shouldn't be
13.66/13.76	WSVECS04 Frhs2[39]: 6 -3.50003 0 shouldn't be
13.66/13.76	WSVECS04 Frhs2[41]: 6 0 4.33343 shouldn't be
13.66/13.76	WSVECS04 Frhs2[42]: 6 0 5.33338 shouldn't be
13.66/13.76	WSVECS04 Frhs2[43]: 6 0 3.66669 shouldn't be
13.66/13.76	WSVECS04 Frhs2[45]: 6 -3.3334 0 shouldn't be
13.66/13.76	WSVECS04 Frhs2[57]: 6 0 2.00006 shouldn't be
13.66/13.76	WSVECS04 Frhs2[89]: 6 0 0.500067 shouldn't be
13.66/13.76	WSVECS04 Frhs2[114]: 6 0 1.00007 shouldn't be
13.66/13.76	WSVECS04 Frhs2[116]: 6 0 1.0001 shouldn't be
13.66/13.76	WSVECS04 Frhs2[120]: 6 0 1.00006 shouldn't be
13.66/13.76	WSVECS04 Frhs2[135]: 6 0 2.1667 shouldn't be
13.66/13.76	WSVECS04 Frhs2[141]: 6 0 0.50004 shouldn't be
13.66/13.76	WSVECS04 Frhs2[166]: 6 0 1.00005 shouldn't be
13.66/13.76	WSVECS04 Frhs2[216]: 6 0 3.00006 shouldn't be
13.66/13.76	WSVECS04 Frhs2[248]: 6 0 1.00002 shouldn't be
13.66/13.76	WSVECS04 Frhs2[250]: 6 0 1.00004 shouldn't be
13.66/13.76	WSVECS04 Frhs2[291]: 6 0 0.333404 shouldn't be
13.66/13.76	WSVECS04 Frhs2[315]: 6 -1.00008 0 shouldn't be
13.66/13.76	WSVECS04 Frhs2[320]: 6 0 6.33337 shouldn't be
13.66/13.76	WSVECS04 Frhs2[333]: 6 0 1.00007 shouldn't be
13.66/13.76	WSVECS04 Frhs2[342]: 6 -1.00007 0 shouldn't be
13.66/13.76	WSVECS04 Frhs2[346]: 6 0 6.33342 shouldn't be
13.66/13.76	WSVECS04 Frhs2[359]: 6 0 1.00006 shouldn't be
13.66/13.76	WSVECS04 Frhs2[362]: 6 0 1.00004 shouldn't be
13.66/13.76	WSVECS04 Frhs2[366]: 6 -1.00005 0 shouldn't be
13.66/13.76	WSVECS04 Frhs2[385]: 6 0 1.00002 shouldn't be
13.66/13.76	WSVECS04 Frhs2[417]: 6 -1.00009 0 shouldn't be
13.66/13.76	WSVECS04 Frhs2[438]: 6 0 1.00004 shouldn't be
13.66/13.76	WSVECS04 Frhs2[457]: 6 0 1.00001 shouldn't be
13.66/13.76	WSVECS04 Frhs2[506]: 6 0 1.33339 shouldn't be
13.66/13.76	WSVECS04 Frhs2[509]: 6 0 1.0001 shouldn't be
13.66/13.76	WSVECS04 Frhs2[517]: 6 0 1.00004 shouldn't be
13.66/13.76	WSVECS04 Frhs2[543]: 6 0 1.00003 shouldn't be
13.66/13.76	WSVECS04 Frhs2[568]: 6 0 1.00005 shouldn't be
13.66/13.76	WSVECS04 Frhs2[643]: 6 0 1.00007 shouldn't be
13.66/13.76	WSVECS04 Frhs2[713]: 6 0 0.500092 shouldn't be
13.76/13.81	WSVECS04 Frhs2[156]: 6 0 2.00008 shouldn't be
13.76/13.81	WSVECS04 Frhs2[254]: 6 0 1.00005 shouldn't be
13.76/13.81	WSVECS04 Frhs2[260]: 6 0 2.33335 shouldn't be
13.76/13.81	WSVECS04 Frhs2[383]: 6 0 1.00004 shouldn't be
13.76/13.81	WSVECS04 Frhs2[432]: 6 0 1.00007 shouldn't be
13.76/13.81	WSVECS04 Frhs2[433]: 6 0 1.00002 shouldn't be
14.46/14.50	c #Conflicts:      65000 | #Constraints:      12165
14.46/14.50	c #Conflicts:      66000 | #Constraints:      13165
14.46/14.50	c INPROCESSING
14.46/14.50	c GARBAGE COLLECT
14.46/14.50	c rational objective 140.475
14.76/14.81	c #Conflicts:      67000 | #Constraints:       8965
14.76/14.81	c #Conflicts:      68000 | #Constraints:       9965
14.76/14.81	c #Conflicts:      69000 | #Constraints:      10965
14.76/14.81	WSVECS04 Frhs2[35]: 6 0 8.00004 shouldn't be
14.76/14.81	WSVECS04 Frhs2[86]: 6 0 1.00008 shouldn't be
14.76/14.81	WSVECS04 Frhs2[88]: 6 0 1.00009 shouldn't be
14.76/14.81	WSVECS04 Frhs2[112]: 6 0 1.00004 shouldn't be
14.76/14.81	WSVECS04 Frhs2[237]: 6 0 0.250033 shouldn't be
14.76/14.81	WSVECS04 Frhs2[238]: 6 0 1.00005 shouldn't be
14.76/14.81	WSVECS04 Frhs2[267]: 6 0 1.00004 shouldn't be
14.76/14.81	WSVECS04 Frhs2[275]: 6 0 0.375048 shouldn't be
14.76/14.81	WSVECS04 Frhs2[277]: 6 0 1.00009 shouldn't be
14.76/14.81	WSVECS04 Frhs2[283]: 6 0 1.00004 shouldn't be
14.76/14.81	WSVECS04 Frhs2[287]: 6 0 1.12508 shouldn't be
14.76/14.81	WSVECS04 Frhs2[291]: 6 0 1.00004 shouldn't be
14.76/14.81	WSVECS04 Frhs2[293]: 6 0 1.00001 shouldn't be
14.76/14.81	WSVECS04 Frhs2[301]: 6 0 0.375028 shouldn't be
14.76/14.81	WSVECS04 Frhs2[303]: 6 0 1.00009 shouldn't be
14.76/14.81	WSVECS04 Frhs2[309]: 6 0 1.00001 shouldn't be
14.76/14.81	WSVECS04 Frhs2[310]: 6 0 1.12507 shouldn't be
14.76/14.81	WSVECS04 Frhs2[313]: 6 0 2.1251 shouldn't be
14.76/14.81	WSVECS04 Frhs2[330]: 6 0 0.500098 shouldn't be
14.76/14.81	WSVECS04 Frhs2[382]: 6 0 0.375023 shouldn't be
14.76/14.81	WSVECS04 Frhs2[388]: 6 0 1.00007 shouldn't be
14.76/14.81	WSVECS04 Frhs2[390]: 6 0 1.00005 shouldn't be
14.76/14.81	WSVECS04 Frhs2[414]: 6 0 1.00001 shouldn't be
14.76/14.81	WSVECS04 Frhs2[440]: 6 0 1.00001 shouldn't be
14.76/14.81	WSVECS04 Frhs2[514]: 6 0 1.00008 shouldn't be
14.76/14.81	WSVECS04 Frhs2[539]: 6 0 1.00007 shouldn't be
14.76/14.81	WSVECS04 Frhs2[565]: 6 0 1.00005 shouldn't be
14.76/14.81	WSVECS04 Frhs2[614]: 6 0 1.00009 shouldn't be
14.76/14.81	WSVECS04 Frhs2[640]: 6 0 1.00003 shouldn't be
14.76/14.81	WSVECS04 Frhs2[664]: 6 0 1.00009 shouldn't be
14.76/14.81	WSVECS04 Frhs2[665]: 6 0 0.625015 shouldn't be
14.76/14.81	WSVECS04 Frhs2[690]: 6 0 0.750021 shouldn't be
14.76/14.81	WSVECS04 Frhs2[738]: 6 0 1.00004 shouldn't be
14.76/14.81	WSVECS04 Frhs2[743]: 6 0 0.625053 shouldn't be
14.76/14.81	WSVECS04 Frhs2[744]: 6 0 1.0001 shouldn't be
14.76/14.81	WSVECS04 Frhs2[746]: 6 0 0.125079 shouldn't be
15.66/15.72	c #Conflicts:      70000 | #Constraints:      11966
15.66/15.72	c #Conflicts:      71000 | #Constraints:      12966
15.66/15.72	c #Conflicts:      72000 | #Constraints:      13966
15.66/15.72	c INPROCESSING
15.66/15.72	c GARBAGE COLLECT
15.66/15.72	c rational objective 140.494
15.75/15.88	c #Conflicts:      73000 | #Constraints:       9564
15.75/15.88	WSVECS04 Frhs2[10]: 6 -0.166739 0 shouldn't be
15.75/15.88	WSVECS04 Frhs2[14]: 6 -0.166716 0 shouldn't be
15.75/15.88	WSVECS04 Frhs2[26]: 6 -0.166709 0 shouldn't be
15.75/15.88	WSVECS04 Frhs2[35]: 6 -1.0001 0 shouldn't be
15.75/15.88	WSVECS04 Frhs2[57]: 6 0 0.166683 shouldn't be
15.75/15.88	WSVECS04 Frhs2[83]: 6 0 0.166741 shouldn't be
15.75/15.88	WSVECS04 Frhs2[139]: 6 -1.00001 0 shouldn't be
15.75/15.88	WSVECS04 Frhs2[161]: 6 0 0.833359 shouldn't be
15.75/15.88	WSVECS04 Frhs2[163]: 6 0 1.00004 shouldn't be
15.75/15.88	WSVECS04 Frhs2[169]: 6 0 0.16675 shouldn't be
15.75/15.88	WSVECS04 Frhs2[174]: 6 0 0.94454 shouldn't be
15.75/15.88	WSVECS04 Frhs2[175]: 6 0 0.333387 shouldn't be
15.75/15.88	WSVECS04 Frhs2[182]: 6 0 0.166704 shouldn't be
15.75/15.88	WSVECS04 Frhs2[204]: 6 -1.00001 0 shouldn't be
15.75/15.88	WSVECS04 Frhs2[206]: 6 0 1.0001 shouldn't be
15.75/15.88	WSVECS04 Frhs2[218]: 6 0 1.00004 shouldn't be
15.75/15.88	WSVECS04 Frhs2[221]: 6 0 0.425991 shouldn't be
15.75/15.88	WSVECS04 Frhs2[222]: 6 0 0.777878 shouldn't be
15.75/15.88	WSVECS04 Frhs2[224]: 6 0 0.833402 shouldn't be
15.75/15.88	WSVECS04 Frhs2[227]: 6 0 0.333424 shouldn't be
15.75/15.88	WSVECS04 Frhs2[231]: 6 0 0.33335 shouldn't be
15.75/15.88	WSVECS04 Frhs2[237]: 6 -1.00001 0 shouldn't be
15.75/15.88	WSVECS04 Frhs2[238]: 6 -1.00005 0 shouldn't be
15.75/15.88	WSVECS04 Frhs2[241]: 6 0 0.944519 shouldn't be
15.75/15.88	WSVECS04 Frhs2[259]: 6 0 1.00005 shouldn't be
15.75/15.88	WSVECS04 Frhs2[260]: 6 0 0.833378 shouldn't be
15.75/15.88	WSVECS04 Frhs2[285]: 6 0 1.00007 shouldn't be
15.75/15.88	WSVECS04 Frhs2[288]: 6 -1.00004 0 shouldn't be
15.75/15.88	WSVECS04 Frhs2[304]: 6 0 0.944518 shouldn't be
15.75/15.88	WSVECS04 Frhs2[310]: 6 0 1.00005 shouldn't be
15.75/15.88	WSVECS04 Frhs2[313]: 6 -1.00007 0 shouldn't be
15.75/15.88	WSVECS04 Frhs2[332]: 6 0 0.833429 shouldn't be
15.75/15.88	WSVECS04 Frhs2[333]: 6 0 1.00007 shouldn't be
15.75/15.88	WSVECS04 Frhs2[334]: 6 -1.00006 0 shouldn't be
15.75/15.88	WSVECS04 Frhs2[335]: 6 0 0.333399 shouldn't be
15.75/15.88	WSVECS04 Frhs2[382]: 6 0 0.0556287 shouldn't be
15.75/15.88	WSVECS04 Frhs2[437]: 6 0 1.00009 shouldn't be
15.75/15.88	WSVECS04 Frhs2[485]: 6 0 1.00005 shouldn't be
15.75/15.88	WSVECS04 Frhs2[487]: 6 0 0.333409 shouldn't be
15.75/15.88	WSVECS04 Frhs2[510]: 6 0 1.00005 shouldn't be
15.75/15.88	WSVECS04 Frhs2[512]: 6 0 0.0555811 shouldn't be
15.75/15.88	WSVECS04 Frhs2[585]: 6 0 0.481511 shouldn't be
15.75/15.88	WSVECS04 Frhs2[635]: 6 0 0.333405 shouldn't be
15.75/15.88	WSVECS04 Frhs2[637]: 6 0 0.166687 shouldn't be
15.75/15.88	WSVECS04 Frhs2[687]: 6 0 0.3334 shouldn't be
15.75/15.88	WSVECS04 Frhs2[710]: 6 0 0.333411 shouldn't be
15.75/15.88	WSVECS04 Frhs2[711]: 6 -1.00005 0 shouldn't be
15.75/15.88	WSVECS04 Frhs2[715]: 6 0 0.481574 shouldn't be
15.75/15.88	WSVECS04 Frhs2[716]: 6 0 0.111132 shouldn't be
16.07/16.16	c #Conflicts:      74000 | #Constraints:      10564
16.07/16.16	c #Conflicts:      75000 | #Constraints:      11564
16.07/16.16	WSVECS04 Frhs2[3]: 6 -0.0926602 0 shouldn't be
16.07/16.16	WSVECS04 Frhs2[7]: 6 -0.0926414 0 shouldn't be
16.07/16.16	WSVECS04 Frhs2[8]: 6 -0.0926143 0 shouldn't be
16.07/16.16	WSVECS04 Frhs2[25]: 6 -0.092613 0 shouldn't be
16.07/16.16	WSVECS04 Frhs2[27]: 6 -0.0926923 0 shouldn't be
16.07/16.16	WSVECS04 Frhs2[34]: 6 0 1.09267 shouldn't be
16.07/16.16	WSVECS04 Frhs2[52]: 6 -1.33337 0 shouldn't be
16.07/16.16	WSVECS04 Frhs2[54]: 6 -1.33342 0 shouldn't be
16.07/16.16	WSVECS04 Frhs2[87]: 6 0 1.00009 shouldn't be
16.07/16.16	WSVECS04 Frhs2[88]: 6 0 1.42601 shouldn't be
16.07/16.16	WSVECS04 Frhs2[110]: 6 0 1.00001 shouldn't be
16.07/16.16	WSVECS04 Frhs2[113]: 6 0 1.00006 shouldn't be
16.07/16.16	WSVECS04 Frhs2[135]: 6 0 0.907482 shouldn't be
16.07/16.16	WSVECS04 Frhs2[166]: 6 0 2.42595 shouldn't be
16.07/16.16	WSVECS04 Frhs2[188]: 6 0 1.00005 shouldn't be
16.07/16.16	WSVECS04 Frhs2[217]: 6 0 1.00003 shouldn't be
16.07/16.16	WSVECS04 Frhs2[219]: 6 0 0.151245 shouldn't be
16.07/16.16	WSVECS04 Frhs2[233]: 6 0 1.00006 shouldn't be
16.07/16.16	WSVECS04 Frhs2[282]: 6 0 1.00006 shouldn't be
16.07/16.16	WSVECS04 Frhs2[283]: 6 0 0.929071 shouldn't be
16.07/16.16	WSVECS04 Frhs2[308]: 6 0 1.00005 shouldn't be
16.07/16.16	WSVECS04 Frhs2[309]: 6 0 0.929064 shouldn't be
16.07/16.16	WSVECS04 Frhs2[378]: 6 0 1.00003 shouldn't be
16.07/16.16	WSVECS04 Frhs2[462]: 6 0 0.333403 shouldn't be
16.25/16.35	c #Conflicts:      76000 | #Constraints:      12564
16.25/16.35	WSVECS04 Frhs2[30]: 6 0 4.52636 shouldn't be
16.25/16.35	WSVECS04 Frhs2[33]: 6 0 0.52636 shouldn't be
16.25/16.35	WSVECS04 Frhs2[35]: 6 0 2.00008 shouldn't be
16.25/16.35	WSVECS04 Frhs2[41]: 6 0 2.00009 shouldn't be
16.25/16.35	WSVECS04 Frhs2[62]: 6 0 1.00001 shouldn't be
16.25/16.35	WSVECS04 Frhs2[63]: 6 0 3.00001 shouldn't be
16.25/16.35	WSVECS04 Frhs2[65]: 6 0 3.57902 shouldn't be
16.25/16.35	WSVECS04 Frhs2[84]: 6 0 5.05269 shouldn't be
16.25/16.35	WSVECS04 Frhs2[115]: 6 0 3.00002 shouldn't be
16.25/16.35	WSVECS04 Frhs2[162]: 6 0 4.0527 shouldn't be
16.25/16.35	WSVECS04 Frhs2[165]: 6 0 1.00007 shouldn't be
16.25/16.35	WSVECS04 Frhs2[169]: 6 0 2.57897 shouldn't be
16.25/16.35	WSVECS04 Frhs2[191]: 6 0 1.00006 shouldn't be
16.25/16.35	WSVECS04 Frhs2[239]: 6 0 1.00008 shouldn't be
16.25/16.35	WSVECS04 Frhs2[242]: 6 0 0.526352 shouldn't be
16.25/16.35	WSVECS04 Frhs2[281]: 6 0 1.0001 shouldn't be
16.25/16.35	WSVECS04 Frhs2[290]: 6 0 1.00002 shouldn't be
16.25/16.35	WSVECS04 Frhs2[294]: 6 0 0.526405 shouldn't be
16.25/16.35	WSVECS04 Frhs2[334]: 6 0 1.00003 shouldn't be
16.25/16.35	WSVECS04 Frhs2[338]: 6 0 1.00009 shouldn't be
16.25/16.35	WSVECS04 Frhs2[346]: 6 0 1.0001 shouldn't be
16.25/16.35	WSVECS04 Frhs2[353]: 6 0 0.368469 shouldn't be
16.25/16.35	WSVECS04 Frhs2[360]: 6 0 1.00005 shouldn't be
16.25/16.35	WSVECS04 Frhs2[364]: 6 0 1.00006 shouldn't be
16.25/16.35	WSVECS04 Frhs2[365]: 6 0 1.00005 shouldn't be
16.25/16.35	WSVECS04 Frhs2[386]: 6 0 1.00004 shouldn't be
16.25/16.35	WSVECS04 Frhs2[407]: 6 0 0.894822 shouldn't be
16.25/16.35	WSVECS04 Frhs2[416]: 6 0 1.00007 shouldn't be
16.25/16.35	WSVECS04 Frhs2[418]: 6 0 1.00003 shouldn't be
16.25/16.35	WSVECS04 Frhs2[442]: 6 0 1.00008 shouldn't be
16.25/16.35	WSVECS04 Frhs2[667]: 6 0 0.894782 shouldn't be
16.25/16.35	WSVECS04 Frhs2[692]: 6 0 0.368498 shouldn't be
16.97/17.08	c #Conflicts:      77000 | #Constraints:      13564
16.97/17.08	c #Conflicts:      78000 | #Constraints:      14564
16.97/17.08	c INPROCESSING
16.97/17.08	c GARBAGE COLLECT
16.97/17.08	c rational objective 140.5
18.25/18.38	c #Conflicts:      79000 | #Constraints:       9966
18.25/18.38	c #Conflicts:      80000 | #Constraints:      10966
18.25/18.38	c #Conflicts:      81000 | #Constraints:      11966
18.25/18.38	c #Conflicts:      82000 | #Constraints:      12966
18.25/18.38	c #Conflicts:      83000 | #Constraints:      13966
18.25/18.38	c #Conflicts:      84000 | #Constraints:      14966
18.25/18.38	c INPROCESSING
18.25/18.38	c GARBAGE COLLECT
18.25/18.38	c rational objective 140.63
18.96/19.04	c #Conflicts:      85000 | #Constraints:      10169
18.96/19.04	c #Conflicts:      86000 | #Constraints:      11169
18.96/19.04	c #Conflicts:      87000 | #Constraints:      12169
18.96/19.04	c #Conflicts:      88000 | #Constraints:      13169
18.96/19.04	c #Conflicts:      89000 | #Constraints:      14170
18.96/19.04	WSVECS04 Frhs2[20]: 6 -2.00004 0 shouldn't be
18.96/19.04	WSVECS04 Frhs2[22]: 6 -2.00009 0 shouldn't be
18.96/19.04	WSVECS04 Frhs2[25]: 6 -2.00002 0 shouldn't be
18.96/19.04	WSVECS04 Frhs2[42]: 6 -20 0 shouldn't be
18.96/19.04	WSVECS04 Frhs2[47]: 6 -4.50008 0 shouldn't be
18.96/19.04	WSVECS04 Frhs2[49]: 6 -19.0001 0 shouldn't be
18.96/19.04	WSVECS04 Frhs2[50]: 6 -19.0001 0 shouldn't be
18.96/19.04	WSVECS04 Frhs2[52]: 6 0 15.5001 shouldn't be
18.96/19.04	WSVECS04 Frhs2[76]: 6 0 4.50003 shouldn't be
18.96/19.04	WSVECS04 Frhs2[93]: 6 0 1.00002 shouldn't be
18.96/19.04	WSVECS04 Frhs2[99]: 6 0 1.00006 shouldn't be
18.96/19.04	WSVECS04 Frhs2[102]: 6 0 4.50001 shouldn't be
18.96/19.04	WSVECS04 Frhs2[245]: 6 0 1.00008 shouldn't be
18.96/19.04	WSVECS04 Frhs2[252]: 6 0 1.00009 shouldn't be
18.96/19.04	WSVECS04 Frhs2[274]: 6 0 5.00007 shouldn't be
18.96/19.04	WSVECS04 Frhs2[302]: 6 0 1.00007 shouldn't be
18.96/19.04	WSVECS04 Frhs2[375]: 6 0 1.00007 shouldn't be
18.96/19.04	WSVECS04 Frhs2[377]: 6 0 1.00008 shouldn't be
18.96/19.04	WSVECS04 Frhs2[382]: 6 0 1.00006 shouldn't be
18.96/19.04	WSVECS04 Frhs2[403]: 6 0 1.00003 shouldn't be
18.96/19.04	WSVECS04 Frhs2[406]: 6 0 1.00001 shouldn't be
18.96/19.04	WSVECS04 Frhs2[419]: 6 -1.00009 0 shouldn't be
18.96/19.04	WSVECS04 Frhs2[423]: 6 0 6.00007 shouldn't be
18.96/19.04	WSVECS04 Frhs2[432]: 6 0 1.00003 shouldn't be
18.96/19.04	WSVECS04 Frhs2[449]: 6 0 5.00005 shouldn't be
18.96/19.04	WSVECS04 Frhs2[543]: 6 0 1.00003 shouldn't be
18.96/19.04	WSVECS04 Frhs2[549]: 6 0 1.50004 shouldn't be
18.96/19.04	WSVECS04 Frhs2[568]: 6 0 17.5001 shouldn't be
18.96/19.04	WSVECS04 Frhs2[569]: 6 0 1.00002 shouldn't be
18.96/19.04	WSVECS04 Frhs2[570]: 6 0 1.00002 shouldn't be
18.96/19.04	WSVECS04 Frhs2[575]: 6 0 1.50005 shouldn't be
18.96/19.04	WSVECS04 Frhs2[579]: 6 0 2.00002 shouldn't be
18.96/19.04	WSVECS04 Frhs2[595]: 6 0 1.00006 shouldn't be
18.96/19.04	WSVECS04 Frhs2[598]: 6 0 1.00003 shouldn't be
18.96/19.04	WSVECS04 Frhs2[599]: 6 0 1.00007 shouldn't be
18.96/19.04	WSVECS04 Frhs2[618]: 6 0 1.00002 shouldn't be
18.96/19.04	WSVECS04 Frhs2[620]: 6 0 17.5 shouldn't be
18.96/19.04	WSVECS04 Frhs2[625]: 6 0 1.00001 shouldn't be
18.96/19.04	WSVECS04 Frhs2[631]: 6 0 2.00003 shouldn't be
18.96/19.04	WSVECS04 Frhs2[644]: 6 0 1.00006 shouldn't be
18.96/19.04	WSVECS04 Frhs2[650]: 6 0 1.00005 shouldn't be
18.96/19.04	WSVECS04 Frhs2[657]: 6 0 2.00005 shouldn't be
18.96/19.04	WSVECS04 Frhs2[665]: 6 0 1.00007 shouldn't be
18.96/19.04	WSVECS04 Frhs2[668]: 6 0 1.00005 shouldn't be
18.96/19.04	WSVECS04 Frhs2[690]: 6 0 5.00003 shouldn't be
19.96/20.08	c #Conflicts:      90000 | #Constraints:      15170
19.96/20.08	c INPROCESSING
19.96/20.08	c GARBAGE COLLECT
19.96/20.08	c rational objective 140.633
20.65/20.74	c #Conflicts:      91000 | #Constraints:      10168
20.65/20.74	c #Conflicts:      92000 | #Constraints:      11168
20.65/20.74	c #Conflicts:      93000 | #Constraints:      12168
20.65/20.74	c #Conflicts:      94000 | #Constraints:      13168
20.65/20.74	WSVECS04 Frhs2[3]: 6 -2.00003 0 shouldn't be
20.65/20.74	WSVECS04 Frhs2[6]: 6 -2.00006 0 shouldn't be
20.65/20.74	WSVECS04 Frhs2[14]: 6 -2.00003 0 shouldn't be
20.65/20.74	WSVECS04 Frhs2[26]: 6 -2.00005 0 shouldn't be
20.65/20.74	WSVECS04 Frhs2[36]: 6 0 9.50005 shouldn't be
20.65/20.74	WSVECS04 Frhs2[38]: 6 0 5.50006 shouldn't be
20.65/20.74	WSVECS04 Frhs2[59]: 6 0 1.00006 shouldn't be
20.65/20.74	WSVECS04 Frhs2[110]: 6 0 1.00008 shouldn't be
20.65/20.74	WSVECS04 Frhs2[115]: 6 0 3.00002 shouldn't be
20.65/20.74	WSVECS04 Frhs2[130]: 6 0 3.00002 shouldn't be
20.65/20.74	WSVECS04 Frhs2[139]: 6 -1.00002 0 shouldn't be
20.65/20.74	WSVECS04 Frhs2[162]: 6 0 1.00001 shouldn't be
20.65/20.74	WSVECS04 Frhs2[182]: 6 0 3.00004 shouldn't be
20.65/20.74	WSVECS04 Frhs2[193]: 6 0 2.00005 shouldn't be
20.65/20.74	WSVECS04 Frhs2[233]: 6 0 1.0001 shouldn't be
20.65/20.74	WSVECS04 Frhs2[241]: 6 0 0.50002 shouldn't be
20.65/20.74	WSVECS04 Frhs2[285]: 6 0 1.00006 shouldn't be
20.65/20.74	WSVECS04 Frhs2[334]: 6 -1.00006 0 shouldn't be
20.65/20.74	WSVECS04 Frhs2[358]: 6 0 1.00003 shouldn't be
20.65/20.74	WSVECS04 Frhs2[360]: 6 0 2.00007 shouldn't be
20.65/20.74	WSVECS04 Frhs2[386]: 6 0 2.00007 shouldn't be
20.65/20.74	WSVECS04 Frhs2[405]: 6 0 1.00005 shouldn't be
20.65/20.74	WSVECS04 Frhs2[436]: 6 0 1.00008 shouldn't be
20.65/20.74	WSVECS04 Frhs2[438]: 6 0 2.50007 shouldn't be
20.65/20.74	WSVECS04 Frhs2[735]: 6 0 0.500029 shouldn't be
20.65/20.74	WSVECS04 Frhs2[744]: 6 0 1.00007 shouldn't be
20.65/20.74	WSVECS04 Frhs2[745]: 6 0 0.500015 shouldn't be
21.54/21.61	c #Conflicts:      95000 | #Constraints:      14168
21.54/21.61	c #Conflicts:      96000 | #Constraints:      15168
21.54/21.61	c INPROCESSING
21.54/21.61	c GARBAGE COLLECT
21.54/21.61	c rational objective 140.643
21.85/22.00	c #Conflicts:      97000 | #Constraints:       9971
21.85/22.00	c #Conflicts:      98000 | #Constraints:      10971
21.85/22.00	c #Conflicts:      99000 | #Constraints:      11971
21.85/22.00	WSVECS04 Frhs2[16]: 6 -0.500029 0 shouldn't be
21.85/22.00	WSVECS04 Frhs2[17]: 6 -0.500055 0 shouldn't be
21.85/22.00	WSVECS04 Frhs2[26]: 6 -0.500064 0 shouldn't be
21.85/22.00	WSVECS04 Frhs2[38]: 6 -3.53342 0 shouldn't be
21.85/22.00	WSVECS04 Frhs2[43]: 6 -2.65006 0 shouldn't be
21.85/22.00	WSVECS04 Frhs2[44]: 6 -4.53343 0 shouldn't be
21.85/22.00	WSVECS04 Frhs2[64]: 6 0 3.65002 shouldn't be
21.85/22.00	WSVECS04 Frhs2[69]: 6 0 0.333364 shouldn't be
21.85/22.00	WSVECS04 Frhs2[126]: 6 0 1.00004 shouldn't be
21.85/22.00	WSVECS04 Frhs2[129]: 6 0 1.00002 shouldn't be
21.85/22.00	WSVECS04 Frhs2[131]: 6 0 0.500075 shouldn't be
21.85/22.00	WSVECS04 Frhs2[183]: 6 0 0.500072 shouldn't be
21.85/22.00	WSVECS04 Frhs2[194]: 6 0 2.65004 shouldn't be
21.85/22.00	WSVECS04 Frhs2[199]: 6 0 0.33337 shouldn't be
21.85/22.00	WSVECS04 Frhs2[202]: 6 0 0.766681 shouldn't be
21.85/22.00	WSVECS04 Frhs2[204]: 6 0 2.76668 shouldn't be
21.85/22.00	WSVECS04 Frhs2[208]: 6 0 0.0445336 shouldn't be
21.85/22.00	WSVECS04 Frhs2[209]: 6 0 0.50002 shouldn't be
21.85/22.00	WSVECS04 Frhs2[308]: 6 0 1.76668 shouldn't be
21.85/22.00	WSVECS04 Frhs2[319]: 6 0 1.00008 shouldn't be
21.85/22.00	WSVECS04 Frhs2[320]: 6 0 1.00009 shouldn't be
21.85/22.00	WSVECS04 Frhs2[333]: 6 0 1.00001 shouldn't be
21.85/22.00	WSVECS04 Frhs2[342]: 6 0 0.750093 shouldn't be
21.85/22.00	WSVECS04 Frhs2[343]: 6 0 0.333345 shouldn't be
21.85/22.00	WSVECS04 Frhs2[371]: 6 0 1.00009 shouldn't be
21.85/22.00	WSVECS04 Frhs2[417]: 6 0 0.500095 shouldn't be
21.85/22.00	WSVECS04 Frhs2[421]: 6 0 0.333389 shouldn't be
21.85/22.00	WSVECS04 Frhs2[442]: 6 0 0.0444564 shouldn't be
21.85/22.00	WSVECS04 Frhs2[445]: 6 0 1.00006 shouldn't be
21.85/22.00	WSVECS04 Frhs2[456]: 6 0 0.333415 shouldn't be
21.85/22.00	WSVECS04 Frhs2[458]: 6 0 0.333391 shouldn't be
21.85/22.00	WSVECS04 Frhs2[466]: 6 0 1.00009 shouldn't be
21.85/22.00	WSVECS04 Frhs2[481]: 6 0 1.50007 shouldn't be
21.85/22.00	WSVECS04 Frhs2[488]: 6 0 0.766735 shouldn't be
21.85/22.00	WSVECS04 Frhs2[491]: 6 0 1.00009 shouldn't be
21.85/22.00	WSVECS04 Frhs2[507]: 6 0 1.50005 shouldn't be
21.85/22.00	WSVECS04 Frhs2[518]: 6 0 0.400023 shouldn't be
21.85/22.00	WSVECS04 Frhs2[520]: 6 0 0.911184 shouldn't be
21.85/22.00	WSVECS04 Frhs2[533]: 6 0 1.50004 shouldn't be
21.85/22.00	WSVECS04 Frhs2[633]: 6 0 1.50005 shouldn't be
21.85/22.00	WSVECS04 Frhs2[708]: 6 0 1.00003 shouldn't be
21.85/22.00	WSVECS04 Frhs2[711]: 6 0 0.500033 shouldn't be
22.25/22.32	c #Conflicts:     100000 | #Constraints:      12971
22.25/22.32	c #Conflicts:     101000 | #Constraints:      13971
22.25/22.32	WSVECS04 Frhs2[18]: 6 -0.290766 0 shouldn't be
22.25/22.32	WSVECS04 Frhs2[32]: 6 0 6.94281 shouldn't be
22.25/22.32	WSVECS04 Frhs2[34]: 6 -3.8899 0 shouldn't be
22.25/22.32	WSVECS04 Frhs2[45]: 6 -3.88995 0 shouldn't be
22.25/22.32	WSVECS04 Frhs2[65]: 6 0 1.00008 shouldn't be
22.25/22.32	WSVECS04 Frhs2[71]: 6 0 1.00005 shouldn't be
22.25/22.32	WSVECS04 Frhs2[83]: 6 0 1.29076 shouldn't be
22.25/22.32	WSVECS04 Frhs2[130]: 6 0 4.88995 shouldn't be
22.25/22.32	WSVECS04 Frhs2[182]: 6 0 4.88989 shouldn't be
22.25/22.32	WSVECS04 Frhs2[211]: 6 0 0.290816 shouldn't be
22.25/22.32	WSVECS04 Frhs2[231]: 6 0 1.00003 shouldn't be
22.25/22.32	WSVECS04 Frhs2[255]: 6 0 1.00006 shouldn't be
22.25/22.32	WSVECS04 Frhs2[305]: 6 0 1.00007 shouldn't be
22.25/22.32	WSVECS04 Frhs2[330]: 6 0 1.00005 shouldn't be
22.25/22.32	WSVECS04 Frhs2[356]: 6 0 1.00004 shouldn't be
22.25/22.32	WSVECS04 Frhs2[385]: 6 0 1.00002 shouldn't be
22.25/22.32	WSVECS04 Frhs2[393]: 6 0 0.709311 shouldn't be
22.25/22.32	WSVECS04 Frhs2[405]: 6 0 0.405368 shouldn't be
22.25/22.32	WSVECS04 Frhs2[444]: 6 0 1.00003 shouldn't be
22.25/22.32	WSVECS04 Frhs2[460]: 6 0 1.00007 shouldn't be
22.25/22.32	WSVECS04 Frhs2[517]: 6 0 0.0529162 shouldn't be
22.25/22.32	WSVECS04 Frhs2[733]: 6 0 1.29079 shouldn't be
22.25/22.32	WSVECS04 Frhs2[738]: 6 0 1.00002 shouldn't be
22.25/22.32	WSVECS04 Frhs2[741]: 6 0 1.00002 shouldn't be
22.25/22.32	WSVECS04 Frhs2[744]: 6 0 1.00008 shouldn't be
22.25/22.32	WSVECS04 Frhs2[745]: 6 0 0.255518 shouldn't be
22.25/22.32	WSVECS04 Frhs2[746]: 6 0 0.418596 shouldn't be
22.25/22.32	WSVECS04 Frhs2[747]: 6 0 1.00002 shouldn't be
22.25/22.32	WSVECS04 Frhs2[750]: 6 0 0.12782 shouldn't be
22.95/23.02	c #Conflicts:     102000 | #Constraints:      14971
22.95/23.02	c #Conflicts:     103000 | #Constraints:      15971
22.95/23.02	c INPROCESSING
22.95/23.02	c GARBAGE COLLECT
22.95/23.02	c rational objective 140.648
23.24/23.30	c #Conflicts:     104000 | #Constraints:      10563
23.24/23.30	c #Conflicts:     105000 | #Constraints:      11563
23.24/23.30	WSVECS04 Frhs2[34]: 6 -1.46266 0 shouldn't be
23.24/23.30	WSVECS04 Frhs2[37]: 6 -1.46262 0 shouldn't be
23.24/23.30	WSVECS04 Frhs2[60]: 6 0 1.00008 shouldn't be
23.24/23.30	WSVECS04 Frhs2[61]: 6 0 1.00008 shouldn't be
23.24/23.30	WSVECS04 Frhs2[84]: 6 0 0.226818 shouldn't be
23.24/23.30	WSVECS04 Frhs2[134]: 6 0 1.00005 shouldn't be
23.24/23.30	WSVECS04 Frhs2[156]: 6 0 1.46266 shouldn't be
23.24/23.30	WSVECS04 Frhs2[159]: 6 0 1.00002 shouldn't be
23.24/23.30	WSVECS04 Frhs2[182]: 6 0 1.46264 shouldn't be
23.24/23.30	WSVECS04 Frhs2[191]: 6 0 1.00006 shouldn't be
23.24/23.30	WSVECS04 Frhs2[202]: 6 0 0.53745 shouldn't be
23.24/23.30	WSVECS04 Frhs2[205]: 6 0 1.00003 shouldn't be
23.24/23.30	WSVECS04 Frhs2[206]: 6 0 0.333353 shouldn't be
23.24/23.30	WSVECS04 Frhs2[209]: 6 0 1.00008 shouldn't be
23.24/23.30	WSVECS04 Frhs2[231]: 6 0 1.00004 shouldn't be
23.24/23.30	WSVECS04 Frhs2[234]: 6 0 0.462668 shouldn't be
23.24/23.30	WSVECS04 Frhs2[256]: 6 0 1.00009 shouldn't be
23.24/23.30	WSVECS04 Frhs2[309]: 6 0 1.00007 shouldn't be
23.24/23.30	WSVECS04 Frhs2[382]: 6 0 0.59412 shouldn't be
23.24/23.30	WSVECS04 Frhs2[386]: 6 0 1.00006 shouldn't be
23.24/23.30	WSVECS04 Frhs2[411]: 6 0 0.333346 shouldn't be
23.24/23.30	WSVECS04 Frhs2[486]: 6 0 0.203032 shouldn't be
23.24/23.30	WSVECS04 Frhs2[536]: 6 0 0.333393 shouldn't be
23.24/23.30	WSVECS04 Frhs2[561]: 6 0 0.33339 shouldn't be
23.24/23.30	WSVECS04 Frhs2[736]: 6 0 1.00006 shouldn't be
23.53/23.62	c #Conflicts:     106000 | #Constraints:      12563
23.53/23.62	c #Conflicts:     107000 | #Constraints:      13563
23.53/23.62	WSVECS04 Frhs2[6]: 6 -0.500032 0 shouldn't be
23.53/23.62	WSVECS04 Frhs2[7]: 6 -0.500022 0 shouldn't be
23.53/23.62	WSVECS04 Frhs2[17]: 6 -0.500059 0 shouldn't be
23.53/23.62	WSVECS04 Frhs2[26]: 6 0 1.50005 shouldn't be
23.53/23.62	WSVECS04 Frhs2[32]: 6 -2.00008 0 shouldn't be
23.53/23.62	WSVECS04 Frhs2[41]: 6 0 3.33337 shouldn't be
23.53/23.62	WSVECS04 Frhs2[58]: 6 0 1.00005 shouldn't be
23.53/23.62	WSVECS04 Frhs2[65]: 6 0 1.00008 shouldn't be
23.53/23.62	WSVECS04 Frhs2[79]: 6 0 1.00009 shouldn't be
23.53/23.62	WSVECS04 Frhs2[140]: 6 0 0.333358 shouldn't be
23.53/23.62	WSVECS04 Frhs2[181]: 6 0 1.00007 shouldn't be
23.53/23.62	WSVECS04 Frhs2[215]: 6 0 1.00007 shouldn't be
23.53/23.62	WSVECS04 Frhs2[229]: 6 0 0.333371 shouldn't be
23.53/23.62	WSVECS04 Frhs2[257]: 6 0 0.833346 shouldn't be
23.53/23.62	WSVECS04 Frhs2[290]: 6 0 1.00001 shouldn't be
23.53/23.62	WSVECS04 Frhs2[315]: 6 0 0.500039 shouldn't be
23.53/23.62	WSVECS04 Frhs2[329]: 6 0 0.333344 shouldn't be
23.53/23.62	WSVECS04 Frhs2[341]: 6 0 1.00003 shouldn't be
23.53/23.62	WSVECS04 Frhs2[342]: 6 0 1.00007 shouldn't be
23.53/23.62	WSVECS04 Frhs2[345]: 6 0 1.00006 shouldn't be
23.53/23.62	WSVECS04 Frhs2[348]: 6 0 0.333347 shouldn't be
23.53/23.62	WSVECS04 Frhs2[359]: 6 0 0.333368 shouldn't be
23.53/23.62	WSVECS04 Frhs2[365]: 6 0 2.50008 shouldn't be
23.53/23.62	WSVECS04 Frhs2[366]: 6 0 1.00006 shouldn't be
23.53/23.62	WSVECS04 Frhs2[367]: 6 0 1.00006 shouldn't be
23.53/23.62	WSVECS04 Frhs2[368]: 6 0 1.00004 shouldn't be
23.53/23.62	WSVECS04 Frhs2[417]: 6 0 2.50002 shouldn't be
23.53/23.62	WSVECS04 Frhs2[418]: 6 0 2.00003 shouldn't be
23.53/23.62	WSVECS04 Frhs2[443]: 6 0 2.50006 shouldn't be
23.53/23.62	WSVECS04 Frhs2[444]: 6 0 2.00005 shouldn't be
23.53/23.62	WSVECS04 Frhs2[454]: 6 0 1.00007 shouldn't be
23.53/23.62	WSVECS04 Frhs2[479]: 6 0 0.500049 shouldn't be
23.53/23.62	WSVECS04 Frhs2[492]: 6 0 1.00009 shouldn't be
23.53/23.62	WSVECS04 Frhs2[629]: 6 0 0.500054 shouldn't be
23.53/23.62	WSVECS04 Frhs2[712]: 6 0 0.333426 shouldn't be
23.53/23.62	WSVECS04 Frhs2[715]: 6 0 2.00003 shouldn't be
23.53/23.62	WSVECS04 Frhs2[716]: 6 0 1.00006 shouldn't be
23.53/23.62	WSVECS04 Frhs2[729]: 6 0 1.00005 shouldn't be
24.44/24.55	c #Conflicts:     108000 | #Constraints:      14563
24.44/24.55	c #Conflicts:     109000 | #Constraints:      15563
24.44/24.55	c #Conflicts:     110000 | #Constraints:      16563
24.44/24.55	c INPROCESSING
24.44/24.55	c GARBAGE COLLECT
24.44/24.55	c rational objective 140.727
24.64/24.79	c #Conflicts:     111000 | #Constraints:      10968
24.64/24.79	WSVECS04 Frhs2[14]: 6 -0.75557 0 shouldn't be
24.64/24.79	WSVECS04 Frhs2[69]: 6 0 1.15557 shouldn't be
24.64/24.79	WSVECS04 Frhs2[83]: 6 0 10.6445 shouldn't be
24.64/24.79	WSVECS04 Frhs2[89]: 6 0 1.6223 shouldn't be
24.64/24.79	WSVECS04 Frhs2[93]: 6 0 1.00001 shouldn't be
24.64/24.79	WSVECS04 Frhs2[94]: 6 0 1.75565 shouldn't be
24.64/24.79	WSVECS04 Frhs2[114]: 6 0 1.00006 shouldn't be
24.64/24.79	WSVECS04 Frhs2[156]: 6 0 1.00002 shouldn't be
24.64/24.79	WSVECS04 Frhs2[168]: 6 0 11.6889 shouldn't be
24.64/24.79	WSVECS04 Frhs2[198]: 6 0 1.75559 shouldn't be
24.64/24.79	WSVECS04 Frhs2[199]: 6 0 1.15558 shouldn't be
24.64/24.79	WSVECS04 Frhs2[200]: 6 0 1.00009 shouldn't be
24.64/24.79	WSVECS04 Frhs2[201]: 6 0 1.00004 shouldn't be
24.64/24.79	WSVECS04 Frhs2[202]: 6 0 1.00003 shouldn't be
24.64/24.79	WSVECS04 Frhs2[204]: 6 0 1.00002 shouldn't be
24.64/24.79	WSVECS04 Frhs2[206]: 6 0 0.511184 shouldn't be
24.64/24.79	WSVECS04 Frhs2[218]: 6 0 1.00008 shouldn't be
24.64/24.79	WSVECS04 Frhs2[219]: 6 0 1.00008 shouldn't be
24.64/24.79	WSVECS04 Frhs2[244]: 6 0 1.00003 shouldn't be
24.64/24.79	WSVECS04 Frhs2[292]: 6 0 1.17785 shouldn't be
24.64/24.79	WSVECS04 Frhs2[318]: 6 0 1.17784 shouldn't be
24.64/24.79	WSVECS04 Frhs2[319]: 6 0 1.00002 shouldn't be
24.64/24.79	WSVECS04 Frhs2[332]: 6 0 1.0001 shouldn't be
24.64/24.79	WSVECS04 Frhs2[333]: 6 0 1.0001 shouldn't be
24.64/24.79	WSVECS04 Frhs2[344]: 6 0 1.1778 shouldn't be
24.64/24.79	WSVECS04 Frhs2[386]: 6 0 0.755644 shouldn't be
24.64/24.79	WSVECS04 Frhs2[406]: 6 0 5.84446 shouldn't be
24.64/24.79	WSVECS04 Frhs2[419]: 6 0 1.00001 shouldn't be
24.64/24.79	WSVECS04 Frhs2[433]: 6 0 1.37782 shouldn't be
24.64/24.79	WSVECS04 Frhs2[437]: 6 0 1.00006 shouldn't be
24.64/24.79	WSVECS04 Frhs2[441]: 6 0 1.00006 shouldn't be
24.64/24.79	WSVECS04 Frhs2[447]: 6 0 1.00003 shouldn't be
24.64/24.79	WSVECS04 Frhs2[449]: 6 0 1.00003 shouldn't be
24.64/24.79	WSVECS04 Frhs2[453]: 6 0 1.00009 shouldn't be
24.64/24.79	WSVECS04 Frhs2[456]: 6 0 1.00001 shouldn't be
24.64/24.79	WSVECS04 Frhs2[457]: 6 0 1.00008 shouldn't be
24.64/24.79	WSVECS04 Frhs2[458]: 6 0 5.84447 shouldn't be
24.64/24.79	WSVECS04 Frhs2[459]: 6 0 1.3778 shouldn't be
24.64/24.79	WSVECS04 Frhs2[461]: 6 0 1.00001 shouldn't be
24.64/24.79	WSVECS04 Frhs2[463]: 6 0 1.00004 shouldn't be
24.64/24.79	WSVECS04 Frhs2[466]: 6 0 1.0001 shouldn't be
24.64/24.79	WSVECS04 Frhs2[467]: 6 0 1.00004 shouldn't be
24.64/24.79	WSVECS04 Frhs2[468]: 6 0 1.00001 shouldn't be
24.64/24.79	WSVECS04 Frhs2[470]: 6 0 1.00003 shouldn't be
24.64/24.79	WSVECS04 Frhs2[561]: 6 0 1.00002 shouldn't be
24.64/24.79	WSVECS04 Frhs2[586]: 6 0 1.00008 shouldn't be
24.64/24.79	WSVECS04 Frhs2[636]: 6 0 1.24449 shouldn't be
24.64/24.79	WSVECS04 Frhs2[661]: 6 0 1.62225 shouldn't be
24.64/24.79	WSVECS04 Frhs2[671]: 6 0 1.00003 shouldn't be
24.64/24.79	WSVECS04 Frhs2[696]: 6 0 1.00009 shouldn't be
24.64/24.79	WSVECS04 Frhs2[711]: 6 0 1.00005 shouldn't be
24.83/24.95	c #Conflicts:     112000 | #Constraints:      11968
24.83/24.95	c #Conflicts:     113000 | #Constraints:      12968
24.83/24.95	WSVECS04 Frhs2[8]: 6 -2.55009 0 shouldn't be
24.83/24.95	WSVECS04 Frhs2[12]: 6 -2.55004 0 shouldn't be
24.83/24.95	WSVECS04 Frhs2[26]: 6 -2.55004 0 shouldn't be
24.83/24.95	WSVECS04 Frhs2[62]: 6 0 1.00001 shouldn't be
24.83/24.95	WSVECS04 Frhs2[70]: 6 0 1.00004 shouldn't be
24.83/24.95	WSVECS04 Frhs2[155]: 6 0 13.8751 shouldn't be
24.83/24.95	WSVECS04 Frhs2[180]: 6 0 1.00008 shouldn't be
24.83/24.95	WSVECS04 Frhs2[181]: 6 0 13.8751 shouldn't be
24.83/24.95	WSVECS04 Frhs2[207]: 6 0 13.8751 shouldn't be
24.83/24.95	WSVECS04 Frhs2[209]: 6 0 1.00006 shouldn't be
24.83/24.95	WSVECS04 Frhs2[241]: 6 0 0.887532 shouldn't be
24.83/24.95	WSVECS04 Frhs2[279]: 6 0 8.22503 shouldn't be
24.83/24.95	WSVECS04 Frhs2[290]: 6 -1.00003 0 shouldn't be
24.83/24.95	WSVECS04 Frhs2[295]: 6 0 1.00007 shouldn't be
24.83/24.95	WSVECS04 Frhs2[305]: 6 0 8.22503 shouldn't be
24.83/24.95	WSVECS04 Frhs2[345]: 6 0 1.88756 shouldn't be
24.83/24.95	WSVECS04 Frhs2[355]: 6 0 1.00002 shouldn't be
24.83/24.95	WSVECS04 Frhs2[365]: 6 -1.00005 0 shouldn't be
24.83/24.95	WSVECS04 Frhs2[405]: 6 0 1.00006 shouldn't be
24.83/24.95	WSVECS04 Frhs2[464]: 6 0 1.00005 shouldn't be
24.83/24.95	WSVECS04 Frhs2[479]: 6 0 3.00004 shouldn't be
24.83/24.95	WSVECS04 Frhs2[481]: 6 0 3.00006 shouldn't be
24.83/24.95	WSVECS04 Frhs2[490]: 6 0 1.00008 shouldn't be
24.83/24.95	WSVECS04 Frhs2[492]: 6 0 1.00007 shouldn't be
24.83/24.95	WSVECS04 Frhs2[493]: 6 0 1.00006 shouldn't be
24.83/24.95	WSVECS04 Frhs2[495]: 6 0 0.775098 shouldn't be
24.83/24.95	WSVECS04 Frhs2[505]: 6 0 2.00009 shouldn't be
24.83/24.95	WSVECS04 Frhs2[530]: 6 0 1.00006 shouldn't be
24.83/24.95	WSVECS04 Frhs2[605]: 6 0 1.00006 shouldn't be
24.83/24.95	WSVECS04 Frhs2[735]: 6 0 1.00004 shouldn't be
24.83/24.95	WSVECS04 Frhs2[738]: 6 0 1.00007 shouldn't be
24.83/24.95	WSVECS04 Frhs2[739]: 6 0 1.00002 shouldn't be
24.83/24.95	WSVECS04 Frhs2[742]: 6 0 11.3375 shouldn't be
24.83/24.95	WSVECS04 Frhs2[749]: 6 0 1.00005 shouldn't be
24.83/24.95	WSVECS04 Frhs2[750]: 6 0 1.00001 shouldn't be
24.83/24.95	WSVECS04 Frhs2[756]: 6 0 1.00002 shouldn't be
25.14/25.22	c #Conflicts:     114000 | #Constraints:      13968
25.14/25.22	WSVECS04 Frhs2[15]: 6 -0.320561 0 shouldn't be
25.14/25.22	WSVECS04 Frhs2[33]: 6 -2.42311 0 shouldn't be
25.14/25.22	WSVECS04 Frhs2[41]: 6 0 0.294898 shouldn't be
25.14/25.22	WSVECS04 Frhs2[42]: 6 -4.26926 0 shouldn't be
25.14/25.22	WSVECS04 Frhs2[87]: 6 0 1.00006 shouldn't be
25.14/25.22	WSVECS04 Frhs2[108]: 6 0 1.00008 shouldn't be
25.14/25.22	WSVECS04 Frhs2[117]: 6 0 0.705156 shouldn't be
25.14/25.22	WSVECS04 Frhs2[123]: 6 0 0.538502 shouldn't be
25.14/25.22	WSVECS04 Frhs2[131]: 6 0 1.00002 shouldn't be
25.14/25.22	WSVECS04 Frhs2[183]: 6 0 1.00003 shouldn't be
25.14/25.22	WSVECS04 Frhs2[184]: 6 0 1.00004 shouldn't be
25.14/25.22	WSVECS04 Frhs2[191]: 6 0 1.00004 shouldn't be
25.14/25.22	WSVECS04 Frhs2[217]: 6 0 1.00009 shouldn't be
25.14/25.22	WSVECS04 Frhs2[232]: 6 0 2.15387 shouldn't be
25.14/25.22	WSVECS04 Frhs2[357]: 6 0 1.00004 shouldn't be
25.14/25.22	WSVECS04 Frhs2[359]: 6 0 1.00009 shouldn't be
25.14/25.22	WSVECS04 Frhs2[431]: 6 0 1.00004 shouldn't be
25.14/25.27	WSVECS04 Frhs2[64]: 6 0 1.58976 shouldn't be
25.14/25.27	WSVECS04 Frhs2[116]: 6 0 1.58982 shouldn't be
25.83/25.95	c #Conflicts:     115000 | #Constraints:      14968
25.83/25.95	c #Conflicts:     116000 | #Constraints:      15968
25.83/25.95	c #Conflicts:     117000 | #Constraints:      16968
25.83/25.95	c INPROCESSING
25.83/25.95	c GARBAGE COLLECT
25.83/25.95	c rational objective 140.728
26.53/26.61	c #Conflicts:     118000 | #Constraints:      11163
26.53/26.61	c #Conflicts:     119000 | #Constraints:      12163
26.53/26.61	c #Conflicts:     120000 | #Constraints:      13163
26.53/26.61	c #Conflicts:     121000 | #Constraints:      14163
26.53/26.61	WSVECS04 Frhs2[30]: 6 0 2.19863 shouldn't be
26.53/26.61	WSVECS04 Frhs2[31]: 6 -1.1385 0 shouldn't be
26.53/26.61	WSVECS04 Frhs2[34]: 6 -2.277 0 shouldn't be
26.53/26.61	WSVECS04 Frhs2[39]: 6 0 0.737296 shouldn't be
26.53/26.61	WSVECS04 Frhs2[60]: 6 0 1.00006 shouldn't be
26.53/26.61	WSVECS04 Frhs2[86]: 6 0 1.00008 shouldn't be
26.53/26.61	WSVECS04 Frhs2[111]: 6 0 0.333378 shouldn't be
26.53/26.61	WSVECS04 Frhs2[112]: 6 0 1.00004 shouldn't be
26.53/26.61	WSVECS04 Frhs2[185]: 6 0 0.118153 shouldn't be
26.53/26.61	WSVECS04 Frhs2[231]: 6 0 1.00002 shouldn't be
26.53/26.61	WSVECS04 Frhs2[234]: 6 0 0.729011 shouldn't be
26.53/26.61	WSVECS04 Frhs2[283]: 6 0 1.00004 shouldn't be
26.53/26.61	WSVECS04 Frhs2[364]: 6 0 0.728998 shouldn't be
26.53/26.61	WSVECS04 Frhs2[742]: 6 0 0.500069 shouldn't be
26.73/26.84	c #Conflicts:     122000 | #Constraints:      15163
26.73/26.84	c #Conflicts:     123000 | #Constraints:      16163
26.73/26.84	WSVECS04 Frhs2[54]: 6 -2.65595 0 shouldn't be
26.73/26.84	WSVECS04 Frhs2[79]: 6 0 0.333363 shouldn't be
26.73/26.84	WSVECS04 Frhs2[129]: 6 0 0.33341 shouldn't be
26.73/26.84	WSVECS04 Frhs2[186]: 6 0 0.15103 shouldn't be
26.73/26.84	WSVECS04 Frhs2[204]: 6 0 0.267391 shouldn't be
26.73/26.84	WSVECS04 Frhs2[205]: 6 0 0.333417 shouldn't be
26.73/26.84	WSVECS04 Frhs2[229]: 6 0 1.88498 shouldn't be
26.73/26.84	WSVECS04 Frhs2[237]: 6 0 0.666685 shouldn't be
26.73/26.84	WSVECS04 Frhs2[254]: 6 0 0.333354 shouldn't be
26.73/26.84	WSVECS04 Frhs2[255]: 6 0 1.88501 shouldn't be
26.73/26.84	WSVECS04 Frhs2[261]: 6 0 0.333424 shouldn't be
26.73/26.84	WSVECS04 Frhs2[281]: 6 0 1.88502 shouldn't be
26.73/26.84	WSVECS04 Frhs2[329]: 6 0 0.500024 shouldn't be
26.73/26.84	WSVECS04 Frhs2[379]: 6 0 0.333396 shouldn't be
26.73/26.84	WSVECS04 Frhs2[454]: 6 0 0.473797 shouldn't be
26.73/26.84	WSVECS04 Frhs2[479]: 6 0 0.270467 shouldn't be
26.73/26.84	WSVECS04 Frhs2[629]: 6 0 0.461599 shouldn't be
26.73/26.84	WSVECS04 Frhs2[706]: 6 0 0.333361 shouldn't be
26.73/26.84	WSVECS04 Frhs2[708]: 6 0 0.250015 shouldn't be
26.73/26.84	WSVECS04 Frhs2[712]: 6 0 1.00003 shouldn't be
26.73/26.84	WSVECS04 Frhs2[714]: 6 0 0.473864 shouldn't be
26.73/26.84	WSVECS04 Frhs2[716]: 6 0 0.500086 shouldn't be
26.73/26.84	WSVECS04 Frhs2[718]: 6 0 0.333429 shouldn't be
26.73/26.84	WSVECS04 Frhs2[721]: 6 0 0.912376 shouldn't be
26.73/26.84	WSVECS04 Frhs2[738]: 6 0 1.00008 shouldn't be
26.73/26.84	WSVECS04 Frhs2[739]: 6 0 0.45913 shouldn't be
27.33/27.46	c #Conflicts:     124000 | #Constraints:      17163
27.33/27.46	c INPROCESSING
27.33/27.46	c GARBAGE COLLECT
27.33/27.46	c rational objective 140.755
27.53/27.69	c #Conflicts:     125000 | #Constraints:      11166
27.53/27.69	WSVECS04 Frhs2[4]: 6 -0.500055 0 shouldn't be
27.53/27.69	WSVECS04 Frhs2[6]: 6 -0.500048 0 shouldn't be
27.53/27.69	WSVECS04 Frhs2[10]: 6 -0.500097 0 shouldn't be
27.53/27.69	WSVECS04 Frhs2[12]: 6 -0.500033 0 shouldn't be
27.53/27.69	WSVECS04 Frhs2[13]: 6 -0.500015 0 shouldn't be
27.53/27.69	WSVECS04 Frhs2[17]: 6 -0.500081 0 shouldn't be
27.53/27.69	WSVECS04 Frhs2[31]: 6 -2.50606 0 shouldn't be
27.53/27.69	WSVECS04 Frhs2[33]: 6 -2.50604 0 shouldn't be
27.53/27.69	WSVECS04 Frhs2[35]: 6 0 0.0361069 shouldn't be
27.53/27.69	WSVECS04 Frhs2[37]: 6 0 3.43549 shouldn't be
27.53/27.69	WSVECS04 Frhs2[40]: 6 -2.50605 0 shouldn't be
27.53/27.69	WSVECS04 Frhs2[85]: 6 0 0.457981 shouldn't be
27.53/27.69	WSVECS04 Frhs2[134]: 6 0 0.97307 shouldn't be
27.53/27.69	WSVECS04 Frhs2[135]: 6 -1.00009 0 shouldn't be
27.53/27.69	WSVECS04 Frhs2[141]: 6 0 0.512054 shouldn't be
27.53/27.69	WSVECS04 Frhs2[160]: 6 0 0.973027 shouldn't be
27.53/27.69	WSVECS04 Frhs2[234]: 6 -1.00006 0 shouldn't be
27.53/27.69	WSVECS04 Frhs2[238]: 6 0 0.0271023 shouldn't be
27.53/27.69	WSVECS04 Frhs2[266]: 6 0 0.828879 shouldn't be
27.53/27.69	WSVECS04 Frhs2[291]: 6 -1.00004 0 shouldn't be
27.53/27.69	WSVECS04 Frhs2[335]: 6 0 1.00003 shouldn't be
27.53/27.69	WSVECS04 Frhs2[340]: 6 0 0.333428 shouldn't be
27.53/27.69	WSVECS04 Frhs2[381]: 6 0 0.585645 shouldn't be
27.53/27.69	WSVECS04 Frhs2[384]: 6 0 0.500054 shouldn't be
27.53/27.69	WSVECS04 Frhs2[390]: 6 -1.00009 0 shouldn't be
28.13/28.28	c #Conflicts:     126000 | #Constraints:      12166
28.13/28.28	c #Conflicts:     127000 | #Constraints:      13166
28.13/28.28	c #Conflicts:     128000 | #Constraints:      14166
28.13/28.28	c #Conflicts:     129000 | #Constraints:      15166
28.13/28.28	WSVECS04 Frhs2[36]: 6 0 2.57124 shouldn't be
28.13/28.28	WSVECS04 Frhs2[51]: 6 0 4.3501 shouldn't be
28.13/28.28	WSVECS04 Frhs2[53]: 6 0 0.360204 shouldn't be
28.13/28.28	WSVECS04 Frhs2[87]: 6 0 0.333411 shouldn't be
28.13/28.28	WSVECS04 Frhs2[154]: 6 0 0.666756 shouldn't be
28.13/28.28	WSVECS04 Frhs2[204]: 6 0 0.333429 shouldn't be
28.13/28.28	WSVECS04 Frhs2[229]: 6 0 0.333417 shouldn't be
28.13/28.28	WSVECS04 Frhs2[279]: 6 0 0.333414 shouldn't be
28.13/28.28	WSVECS04 Frhs2[282]: 6 0 0.33335 shouldn't be
28.13/28.28	WSVECS04 Frhs2[304]: 6 0 0.333426 shouldn't be
28.13/28.28	WSVECS04 Frhs2[329]: 6 0 0.500015 shouldn't be
28.13/28.28	WSVECS04 Frhs2[479]: 6 0 0.500016 shouldn't be
28.13/28.28	WSVECS04 Frhs2[504]: 6 0 0.105594 shouldn't be
28.13/28.28	WSVECS04 Frhs2[529]: 6 0 0.333373 shouldn't be
28.13/28.28	WSVECS04 Frhs2[604]: 6 0 0.333362 shouldn't be
28.13/28.28	WSVECS04 Frhs2[654]: 6 0 0.0536771 shouldn't be
28.13/28.28	WSVECS04 Frhs2[706]: 6 0 0.166685 shouldn't be
28.13/28.28	WSVECS04 Frhs2[712]: 6 0 0.788973 shouldn't be
28.13/28.28	WSVECS04 Frhs2[714]: 6 0 0.333371 shouldn't be
28.13/28.28	WSVECS04 Frhs2[715]: 6 0 0.577955 shouldn't be
28.13/28.28	WSVECS04 Frhs2[720]: 6 0 0.333433 shouldn't be
28.13/28.28	WSVECS04 Frhs2[724]: 6 0 0.333347 shouldn't be
28.13/28.28	WSVECS04 Frhs2[726]: 6 0 0.666736 shouldn't be
28.13/28.28	WSVECS04 Frhs2[728]: 6 0 0.50007 shouldn't be
29.04/29.17	c #Conflicts:     130000 | #Constraints:      16166
29.04/29.17	c #Conflicts:     131000 | #Constraints:      17166
29.04/29.17	c INPROCESSING
29.04/29.17	c GARBAGE COLLECT
29.04/29.17	c rational objective 140.759
29.33/29.40	c #Conflicts:     132000 | #Constraints:      10967
29.33/29.40	c #Conflicts:     133000 | #Constraints:      11967
29.33/29.40	WSVECS04 Frhs2[32]: 6 -3.33337 0 shouldn't be
29.33/29.40	WSVECS04 Frhs2[34]: 6 0 0.666691 shouldn't be
29.33/29.40	WSVECS04 Frhs2[39]: 6 0 0.888936 shouldn't be
29.33/29.40	WSVECS04 Frhs2[40]: 6 -1.33342 0 shouldn't be
29.33/29.40	WSVECS04 Frhs2[42]: 6 0 4.33335 shouldn't be
29.33/29.40	WSVECS04 Frhs2[88]: 6 0 1.00007 shouldn't be
29.33/29.40	WSVECS04 Frhs2[93]: 6 0 0.333353 shouldn't be
29.33/29.40	WSVECS04 Frhs2[113]: 6 0 0.666694 shouldn't be
29.33/29.40	WSVECS04 Frhs2[163]: 6 0 2.00008 shouldn't be
29.33/29.40	WSVECS04 Frhs2[192]: 6 0 1.00009 shouldn't be
29.33/29.40	WSVECS04 Frhs2[193]: 6 0 0.333429 shouldn't be
29.33/29.40	WSVECS04 Frhs2[218]: 6 0 1.00006 shouldn't be
29.33/29.40	WSVECS04 Frhs2[241]: 6 0 3.00003 shouldn't be
29.33/29.40	WSVECS04 Frhs2[291]: 6 0 0.333354 shouldn't be
29.33/29.40	WSVECS04 Frhs2[294]: 6 0 0.333395 shouldn't be
29.33/29.40	WSVECS04 Frhs2[298]: 6 0 0.22227 shouldn't be
29.33/29.40	WSVECS04 Frhs2[304]: 6 0 0.555614 shouldn't be
29.33/29.40	WSVECS04 Frhs2[310]: 6 0 1.00002 shouldn't be
29.33/29.40	WSVECS04 Frhs2[343]: 6 0 0.333382 shouldn't be
29.33/29.40	WSVECS04 Frhs2[432]: 6 0 0.55562 shouldn't be
29.33/29.40	WSVECS04 Frhs2[436]: 6 0 0.333351 shouldn't be
29.33/29.40	WSVECS04 Frhs2[565]: 6 0 0.333371 shouldn't be
29.63/29.74	c #Conflicts:     134000 | #Constraints:      12967
29.63/29.74	c #Conflicts:     135000 | #Constraints:      13967
29.63/29.74	WSVECS04 Frhs2[57]: 6 0 0.500049 shouldn't be
29.63/29.74	WSVECS04 Frhs2[81]: 6 0 1.00003 shouldn't be
29.63/29.74	WSVECS04 Frhs2[136]: 6 0 1.00001 shouldn't be
29.63/29.74	WSVECS04 Frhs2[145]: 6 0 0.166752 shouldn't be
29.63/29.74	WSVECS04 Frhs2[146]: 6 0 0.125033 shouldn't be
29.63/29.74	WSVECS04 Frhs2[147]: 6 0 0.4167 shouldn't be
29.63/29.74	WSVECS04 Frhs2[150]: 6 0 0.333431 shouldn't be
29.63/29.74	WSVECS04 Frhs2[151]: 6 0 0.208425 shouldn't be
29.63/29.74	WSVECS04 Frhs2[154]: 6 0 2.00001 shouldn't be
29.63/29.74	WSVECS04 Frhs2[257]: 6 0 0.333399 shouldn't be
29.63/29.74	WSVECS04 Frhs2[259]: 6 0 1.00005 shouldn't be
29.63/29.74	WSVECS04 Frhs2[306]: 6 0 0.291695 shouldn't be
29.63/29.74	WSVECS04 Frhs2[359]: 6 0 0.583375 shouldn't be
29.63/29.74	WSVECS04 Frhs2[434]: 6 0 1.00008 shouldn't be
29.63/29.74	WSVECS04 Frhs2[484]: 6 0 0.750013 shouldn't be
29.63/29.74	WSVECS04 Frhs2[609]: 6 0 0.333352 shouldn't be
29.63/29.74	WSVECS04 Frhs2[634]: 6 0 0.333431 shouldn't be
29.63/29.74	WSVECS04 Frhs2[659]: 6 0 0.666751 shouldn't be
29.94/30.09	c #Conflicts:     136000 | #Constraints:      14967
29.94/30.09	c #Conflicts:     137000 | #Constraints:      15967
29.94/30.09	WSVECS04 Frhs2[35]: 6 -4.00006 0 shouldn't be
29.94/30.09	WSVECS04 Frhs2[39]: 6 -4.00001 0 shouldn't be
29.94/30.09	WSVECS04 Frhs2[105]: 6 0 1.00007 shouldn't be
29.94/30.09	WSVECS04 Frhs2[262]: 6 0 0.121259 shouldn't be
29.94/30.09	WSVECS04 Frhs2[305]: 6 0 0.333351 shouldn't be
29.94/30.09	WSVECS04 Frhs2[342]: 6 0 1.00004 shouldn't be
29.94/30.09	WSVECS04 Frhs2[363]: 6 0 1.00003 shouldn't be
29.94/30.09	WSVECS04 Frhs2[408]: 6 0 7.00002 shouldn't be
29.94/30.09	WSVECS04 Frhs2[740]: 6 0 0.878813 shouldn't be
30.13/30.25	c cpu time 28.9581 s
30.13/30.25	c deterministic time 595282337 5.95e+08
30.13/30.25	c optimization time 3.7e-05 s
30.13/30.25	c total solve time 28.9373 s
30.13/30.25	c core-guided solve time 0 s
30.13/30.25	c propagation time 13.6455 s
30.13/30.25	c conflict analysis time 3.19685 s
30.13/30.25	c propagations 16949412
30.13/30.25	c resolve steps 2276456
30.13/30.25	c decisions 171278
30.13/30.25	c conflicts 137813
30.13/30.25	c restarts 380
30.13/30.25	c inprocessing phases 28
30.13/30.25	c input clauses 3538
30.13/30.25	c input cardinalities 3
30.13/30.25	c input general constraints 0
30.13/30.25	c input average constraint length 3.21
30.13/30.25	c input average constraint degree 1.01
30.13/30.25	c learned clauses 126915
30.13/30.25	c learned cardinalities 4326
30.13/30.25	c learned general constraints 6578
30.13/30.25	c learned average constraint length 38.27
30.13/30.25	c learned average constraint degree 77443.11
30.13/30.25	c watched constraints 5991
30.13/30.25	c counting constraints 587
30.13/30.25	c gcd simplifications 196
30.13/30.25	c detected cardinalities 136
30.13/30.25	c weakened non-implied lits 250300
30.13/30.25	c weakened non-implying lits 413
30.13/30.25	c original variables 756
30.13/30.25	c clausal propagations 16355172
30.13/30.25	c cardinality propagations 298909
30.13/30.25	c watched propagations 96829
30.13/30.25	c counting propagations 55050
30.13/30.25	c watch lookups 165256268
30.13/30.25	c watch backjump lookups 17036566
30.13/30.25	c watch checks 334593258
30.13/30.25	c propagation checks 27398620
30.13/30.25	c constraint additions 16354872
30.13/30.25	c trail pops 17258228
30.13/30.25	c formula constraints 3541
30.13/30.25	c learned constraints 137805
30.13/30.25	c bound constraints 0
30.13/30.25	c core-guided constraints 0
30.13/30.25	c encountered formula constraints 1861311
30.13/30.25	c encountered learned constraints 552939
30.13/30.25	c encountered bound constraints 0
30.13/30.25	c encountered core-guided constraints 0
30.13/30.25	c LP total time 18.4631 s
30.13/30.25	c LP solve time 18.28 s
30.13/30.25	c LP constraints added 3829
30.13/30.25	c LP constraints removed 245
30.13/30.25	c LP pivots internal 139874
30.13/30.25	c LP pivots root 123960
30.13/30.25	c LP calls 117
30.13/30.25	c LP optimalities 106
30.13/30.25	c LP no pivot count 0
30.13/30.25	c LP infeasibilities 7
30.13/30.25	c LP valid Farkas constraints 7
30.13/30.25	c LP learned Farkas constraints 7
30.13/30.25	c LP basis resets 0
30.13/30.25	c LP cycling count 0
30.13/30.25	c LP singular count 0
30.13/30.25	c LP no primal count 0
30.13/30.25	c LP no farkas count 0
30.13/30.25	c LP other issue count 0
30.13/30.25	c LP Gomory cuts 0
30.13/30.25	c LP learned cuts 288
30.13/30.25	c LP deleted cuts 245
30.13/30.25	c LP encountered Gomory constraints 0
30.13/30.25	c LP encountered Farkas constraints 6
30.13/30.25	c LP encountered learned Farkas constraints 6
30.13/30.25	c CG auxiliary variables introduced 0
30.13/30.25	c CG solutions found 0
30.13/30.25	c CG cores constructed 0
30.13/30.25	c CG core cardinality constraints returned 0
30.13/30.25	c CG unit cores 0
30.13/30.25	c CG single cores 0
30.13/30.25	c CG blocks removed during cardinality reduction 0
30.13/30.25	c CG first core best 0
30.13/30.25	c CG decision core best 0
30.13/30.25	c CG core reduction tie 0
30.13/30.25	c CG core degree average 0.00
30.13/30.25	c CG core slack average 0.00
30.13/30.25	s UNSATISFIABLE