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

ERROR: no interpretation found !

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (56136 MiB free)
  memory of node 1: 64473 MiB (58190 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457381-1721839738/watcher-4457381-1721839738 -o /tmp/evaluation-result-4457381-1721839738/solver-4457381-1721839738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721833727-236200 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457381-1721839738 --lp-cut-gomory=0 HOME/instance-4457381-1721839738.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=240273, runsolver pid=240270

[startup+0.100101 s]*
/proc/loadavg: 4.08 4.25 4.20 4/242 240274
/proc/meminfo: memFree=117069500/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=37376 memory=2592 CPUtime=0 cores=1,3
/proc/240273/stat : 240273 (roundingsat) D 240270 240273 236188 0 -1 1077936128 211 0 0 0 0 0 0 0 20 0 1 0 19963645 38273024 648 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 9344 648 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2592 KiB

[startup+0.213599 s]*
/proc/loadavg: 4.08 4.25 4.20 5/242 240274
/proc/meminfo: memFree=117065976/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=40080 memory=11544 CPUtime=0.04 cores=1,3
/proc/240273/stat : 240273 (roundingsat) R 240270 240273 236188 0 -1 4194304 906 0 0 0 3 1 0 0 20 0 1 0 19963645 41041920 2886 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 10020 2886 1662 992 0 1878 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 40080 KiB
Current children cumulated memory: 11544 KiB

[startup+0.318598 s]*
/proc/loadavg: 4.08 4.25 4.20 6/242 240274
/proc/meminfo: memFree=117063508/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=40128 memory=11788 CPUtime=0.12 cores=1,3
/proc/240273/stat : 240273 (roundingsat) R 240270 240273 236188 0 -1 4194304 1176 0 0 0 11 1 0 0 20 0 1 0 19963645 41091072 2947 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 10032 2947 1710 992 0 1890 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 40128 KiB
Current children cumulated memory: 11788 KiB

[startup+0.700318 s]
/proc/loadavg: 4.08 4.25 4.20 5/242 240274
/proc/meminfo: memFree=117062812/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=40548 memory=12044 CPUtime=0.47 cores=1,3
/proc/240273/stat : 240273 (roundingsat) R 240270 240273 236188 0 -1 4194304 1253 0 0 0 44 3 0 0 20 0 1 0 19963645 41521152 3011 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 10137 3011 1710 992 0 1995 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 40548 KiB
Current children cumulated memory: 12044 KiB

[startup+1.50032 s]
/proc/loadavg: 4.08 4.25 4.20 5/242 240274
/proc/meminfo: memFree=117060812/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=40680 memory=12480 CPUtime=1.27 cores=1,3
/proc/240273/stat : 240273 (roundingsat) R 240270 240273 236188 0 -1 4194304 1290 0 0 0 120 7 0 0 20 0 1 0 19963645 41656320 3120 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 10170 3120 1756 992 0 2028 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 40680 KiB
Current children cumulated memory: 12480 KiB

[startup+3.11233 s]
/proc/loadavg: 4.08 4.25 4.20 5/242 240274
/proc/meminfo: memFree=117056812/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=41740 memory=13660 CPUtime=2.87 cores=1,3
/proc/240273/stat : 240273 (roundingsat) R 240270 240273 236188 0 -1 4194304 1606 0 0 0 272 15 0 0 20 0 1 0 19963645 42741760 3415 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 10435 3415 1835 992 0 2293 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 41740 KiB
Current children cumulated memory: 13660 KiB

[startup+6.30024 s]
/proc/loadavg: 4.08 4.24 4.19 5/242 240274
/proc/meminfo: memFree=117046956/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=42156 memory=14304 CPUtime=6.06 cores=1,3
/proc/240273/stat : 240273 (roundingsat) R 240270 240273 236188 0 -1 4194304 1767 0 0 0 575 31 0 0 20 0 1 0 19963645 43167744 3576 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 10539 3576 1867 992 0 2397 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 42156 KiB
Current children cumulated memory: 14304 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.24 4.19 5/242 240275
/proc/meminfo: memFree=117024668/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=42592 memory=14564 CPUtime=12.44 cores=1,3
/proc/240273/stat : 240273 (roundingsat) R 240270 240273 236188 0 -1 4194304 1878 0 0 0 1186 58 0 0 20 0 1 0 19963645 43614208 3641 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 10648 3641 1867 992 0 2506 0
Current children cumulated CPU time: 12.44 s
Current children cumulated vsize: 42592 KiB
Current children cumulated memory: 14564 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.24 4.19 5/243 240279
/proc/meminfo: memFree=116979332/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=43360 memory=17392 CPUtime=25.21 cores=1,3
/proc/240273/stat : 240273 (roundingsat) R 240270 240273 236188 0 -1 4194304 2075 0 0 0 2414 107 0 0 20 0 1 0 19963645 44400640 4348 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 10840 4348 1867 992 0 2698 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 17392 KiB

[startup+31.4327 s]
# the end of solver process 240273 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=29.7807 s, system=1.30858 s

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

[startup+25.6004 s]
/proc/loadavg: 4.13 4.24 4.19 5/243 240279
/proc/meminfo: memFree=116979332/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=43360 memory=17392 CPUtime=25.31 cores=1,3
/proc/240273/stat : 240273 (roundingsat) R 240270 240273 236188 0 -1 4194304 2076 0 0 0 2424 107 0 0 20 0 1 0 19963645 44400640 4348 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 10840 4348 1867 992 0 2698 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 17392 KiB

[startup+28.8003 s]
/proc/loadavg: 4.13 4.24 4.19 5/242 240279
/proc/meminfo: memFree=116967344/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=43584 memory=17644 CPUtime=28.51 cores=1,3
/proc/240273/stat : 240273 (roundingsat) R 240270 240273 236188 0 -1 4194304 2132 0 0 0 2730 121 0 0 20 0 1 0 19963645 44630016 4411 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 10896 4411 1867 992 0 2754 0
Current children cumulated CPU time: 28.51 s
Current children cumulated vsize: 43584 KiB
Current children cumulated memory: 17644 KiB

[startup+30.4002 s]
/proc/loadavg: 4.12 4.24 4.19 5/242 240280
/proc/meminfo: memFree=116962104/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=43584 memory=17908 CPUtime=30.1 cores=1,3
/proc/240273/stat : 240273 (roundingsat) R 240270 240273 236188 0 -1 4194304 2160 0 0 0 2884 126 0 0 20 0 1 0 19963645 44630016 4477 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 10896 4477 1867 992 0 2754 0
Current children cumulated CPU time: 30.1 s
Current children cumulated vsize: 43584 KiB
Current children cumulated memory: 17908 KiB

[startup+31.2002 s]
/proc/loadavg: 4.12 4.24 4.19 5/242 240280
/proc/meminfo: memFree=116959708/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=43584 memory=17908 CPUtime=30.89 cores=1,3
/proc/240273/stat : 240273 (roundingsat) R 240270 240273 236188 0 -1 4194304 2160 0 0 0 2960 129 0 0 20 0 1 0 19963645 44630016 4477 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 10896 4477 1867 992 0 2754 0
Current children cumulated CPU time: 30.89 s
Current children cumulated vsize: 43584 KiB
Current children cumulated memory: 17908 KiB

[startup+31.4003 s]
/proc/loadavg: 4.12 4.24 4.19 5/242 240280
/proc/meminfo: memFree=116959708/131655788 swapFree=131061684/131071996
[pid=240273] ppid=240270 vsize=43584 memory=17908 CPUtime=31.07 cores=1,3
/proc/240273/stat : 240273 (roundingsat) D 240270 240273 236188 0 -1 4194304 2160 0 0 0 2977 130 0 0 20 0 1 0 19963645 44630016 4477 134679101440 4194304 8254037 140727020174608 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 38449152 140727020180320 140727020180582 140727020180582 140727020187593 0
/proc/240273/statm: 10896 4477 1867 992 0 2754 0
Current children cumulated CPU time: 31.07 s
Current children cumulated vsize: 43584 KiB
Current children cumulated memory: 17908 KiB

Child status: 0

Real time (s): 31.4328
CPU time (s): 31.0892
CPU user time (s): 29.7807
CPU system time (s): 1.30858
CPU usage (%): 98.9072
Max. virtual memory (cumulated for all children) (KiB): 43584
Max. memory (cumulated for all children) (KiB): 17908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.7807
system time used= 1.30858
maximum resident set size= 18196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2168
page faults= 0
swaps= 0
block input operations= 0
block output operations= 52392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 552
involuntary context switches= 52


# summary of solver processes directly reported to runsolver:
#   pid: 240273
#   total CPU time (s): 31.0892
#   total CPU user time (s): 29.7807
#   total CPU system time (s): 1.30858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.179382 second user time and 0.370752 second system time

The end

Begin job on nodeC011 at 2024-07-24 18:48:58
IDJOB=4457381
IDBENCH=162834
IDSOLVER=3085
FILE ID=nodeC011/4457381-1721839738
RUNJOBID= nodeC011-1721833727-236200
SLURM_JOB_ID= 7891542
Free space on /tmp= 723764 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_19.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457381-1721839738/watcher-4457381-1721839738 -o /tmp/evaluation-result-4457381-1721839738/solver-4457381-1721839738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721833727-236200 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457381-1721839738 --lp-cut-gomory=0 HOME/instance-4457381-1721839738.opb

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

MD5SUM BENCH= 93c30ced4b5200d34eb31ee4d6abbd8b
RANDOM SEED=2009861165

nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        117070520 kB
MemAvailable:   129779324 kB
Buffers:          259568 kB
Cached:         13272348 kB
SwapCached:          132 kB
Active:          1708152 kB
Inactive:       12321392 kB
Active(anon):       2132 kB
Inactive(anon):   548552 kB
Active(file):    1706020 kB
Inactive(file): 11772840 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061684 kB
Dirty:             74428 kB
Writeback:            16 kB
AnonPages:        497568 kB
Mapped:           106632 kB
Shmem:             52980 kB
KReclaimable:     140284 kB
Slab:             246144 kB
SReclaimable:     140284 kB
SUnreclaim:       105860 kB
KernelStack:        3824 kB
PageTables:        10496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     863916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10912 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      424776 kB
DirectMap2M:    46665728 kB
DirectMap1G:    89128960 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC011 at 2024-07-24 18:49:30