0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.04	c #variables 756 #constraints 3541
2.09/2.13	c #Conflicts:       1000 | #Constraints:       4541
2.09/2.13	c #Conflicts:       2000 | #Constraints:       5541
2.09/2.13	c INPROCESSING
2.09/2.13	c GARBAGE COLLECT
2.09/2.13	c #Conflicts:       3000 | #Constraints:       5328
2.09/2.13	c #Conflicts:       4000 | #Constraints:       6329
2.09/2.13	c INPROCESSING
2.09/2.13	c GARBAGE COLLECT
2.09/2.13	c #Conflicts:       5000 | #Constraints:       5732
2.09/2.13	WSVECS04 Frhs2[111]: 6 0 1.00004 shouldn't be
2.09/2.13	WSVECS04 Frhs2[237]: 6 0 0.1667 shouldn't be
4.57/4.61	c #Conflicts:       6000 | #Constraints:       6732
4.57/4.61	c INPROCESSING
4.57/4.61	c GARBAGE COLLECT
4.57/4.61	c #Conflicts:       7000 | #Constraints:       5743
4.57/4.61	c #Conflicts:       8000 | #Constraints:       6743
4.57/4.61	c #Conflicts:       9000 | #Constraints:       7744
4.57/4.61	c INPROCESSING
4.57/4.61	c GARBAGE COLLECT
4.57/4.61	c #Conflicts:      10000 | #Constraints:       6443
4.57/4.61	c #Conflicts:      11000 | #Constraints:       7443
4.57/4.61	c #Conflicts:      12000 | #Constraints:       8443
4.57/4.61	c INPROCESSING
4.57/4.61	c GARBAGE COLLECT
4.57/4.61	c #Conflicts:      13000 | #Constraints:       6893
4.57/4.61	c #Conflicts:      14000 | #Constraints:       7894
4.57/4.61	c #Conflicts:      15000 | #Constraints:       8896
4.57/4.61	c INPROCESSING
4.57/4.61	c GARBAGE COLLECT
4.57/4.61	c rational objective 140.75
5.47/5.60	c #Conflicts:      16000 | #Constraints:       7119
5.47/5.60	c #Conflicts:      17000 | #Constraints:       8119
5.47/5.60	c #Conflicts:      18000 | #Constraints:       9119
5.47/5.60	c INPROCESSING
5.47/5.60	c GARBAGE COLLECT
5.47/5.60	c #Conflicts:      19000 | #Constraints:       7137
5.47/5.60	c #Conflicts:      20000 | #Constraints:       8137
5.47/5.60	c #Conflicts:      21000 | #Constraints:       9137
5.47/5.60	c INPROCESSING
5.47/5.60	c GARBAGE COLLECT
5.47/5.60	c #Conflicts:      22000 | #Constraints:       6941
5.47/5.60	c #Conflicts:      23000 | #Constraints:       7942
5.47/5.60	WSVECS04 Frhs2[3]: 6 -121.5 0 shouldn't be
5.47/5.60	WSVECS04 Frhs2[4]: 6 -121.5 0 shouldn't be
5.47/5.60	WSVECS04 Frhs2[7]: 6 -121.5 0 shouldn't be
5.47/5.60	WSVECS04 Frhs2[8]: 6 -121.5 0 shouldn't be
5.47/5.60	WSVECS04 Frhs2[9]: 6 -121.5 0 shouldn't be
5.47/5.60	WSVECS04 Frhs2[15]: 6 -121.5 0 shouldn't be
5.47/5.60	WSVECS04 Frhs2[23]: 6 -121.5 0 shouldn't be
5.47/5.60	WSVECS04 Frhs2[38]: 6 -155.5 0 shouldn't be
5.47/5.60	WSVECS04 Frhs2[39]: 6 0 161.5 shouldn't be
5.47/5.60	WSVECS04 Frhs2[51]: 6 0 144.5 shouldn't be
5.47/5.60	WSVECS04 Frhs2[54]: 6 -127.5 0 shouldn't be
5.47/5.60	WSVECS04 Frhs2[90]: 6 0 1.00006 shouldn't be
5.47/5.60	WSVECS04 Frhs2[127]: 6 -1.00008 0 shouldn't be
5.47/5.60	WSVECS04 Frhs2[166]: 6 0 1.00008 shouldn't be
5.47/5.60	WSVECS04 Frhs2[224]: 6 0 1.00005 shouldn't be
5.47/5.60	WSVECS04 Frhs2[227]: 6 0 1.00004 shouldn't be
5.47/5.60	WSVECS04 Frhs2[241]: 6 0 1.00008 shouldn't be
5.47/5.60	WSVECS04 Frhs2[250]: 6 0 1.00005 shouldn't be
5.47/5.60	WSVECS04 Frhs2[253]: 6 0 1.00009 shouldn't be
5.47/5.60	WSVECS04 Frhs2[262]: 6 0 1.00001 shouldn't be
5.47/5.60	WSVECS04 Frhs2[278]: 6 0 1.00007 shouldn't be
5.47/5.60	WSVECS04 Frhs2[330]: 6 0 1.00004 shouldn't be
5.47/5.60	WSVECS04 Frhs2[333]: 6 0 1.00003 shouldn't be
5.47/5.60	WSVECS04 Frhs2[349]: 6 0 1.00008 shouldn't be
5.47/5.60	WSVECS04 Frhs2[351]: 6 0 1.00004 shouldn't be
5.47/5.60	WSVECS04 Frhs2[357]: 6 0 1.00004 shouldn't be
5.47/5.60	WSVECS04 Frhs2[362]: 6 0 1.00006 shouldn't be
5.47/5.60	WSVECS04 Frhs2[366]: 6 0 1.00005 shouldn't be
5.47/5.60	WSVECS04 Frhs2[370]: 6 0 1.00003 shouldn't be
5.47/5.60	WSVECS04 Frhs2[374]: 6 0 254 shouldn't be
5.47/5.60	WSVECS04 Frhs2[375]: 6 0 1.00002 shouldn't be
5.47/5.60	WSVECS04 Frhs2[377]: 6 0 1.00006 shouldn't be
5.47/5.60	WSVECS04 Frhs2[389]: 6 0 1.00008 shouldn't be
5.47/5.60	WSVECS04 Frhs2[400]: 6 0 254 shouldn't be
5.47/5.60	WSVECS04 Frhs2[403]: 6 0 1.00006 shouldn't be
5.47/5.60	WSVECS04 Frhs2[406]: 6 0 116.5 shouldn't be
5.47/5.60	WSVECS04 Frhs2[426]: 6 0 254 shouldn't be
5.47/5.60	WSVECS04 Frhs2[467]: 6 0 1.00009 shouldn't be
5.47/5.60	WSVECS04 Frhs2[493]: 6 0 1.00005 shouldn't be
5.47/5.60	WSVECS04 Frhs2[587]: 6 0 1.00009 shouldn't be
5.47/5.60	WSVECS04 Frhs2[613]: 6 0 1.00005 shouldn't be
5.47/5.60	WSVECS04 Frhs2[616]: 6 0 1.00009 shouldn't be
5.47/5.60	WSVECS04 Frhs2[637]: 6 0 1.00003 shouldn't be
5.47/5.60	WSVECS04 Frhs2[658]: 6 -1.00004 0 shouldn't be
5.47/5.60	WSVECS04 Frhs2[662]: 6 0 1.00002 shouldn't be
5.47/5.60	WSVECS04 Frhs2[678]: 6 0 1.00004 shouldn't be
5.47/5.60	WSVECS04 Frhs2[698]: 6 0 1.00004 shouldn't be
5.47/5.60	WSVECS04 Frhs2[748]: 6 -1.00006 0 shouldn't be
6.37/6.47	c #Conflicts:      24000 | #Constraints:       8942
6.37/6.47	c #Conflicts:      25000 | #Constraints:       9942
6.37/6.47	c INPROCESSING
6.37/6.47	c GARBAGE COLLECT
6.37/6.47	c rational objective 141.533
7.86/7.93	c #Conflicts:      26000 | #Constraints:       7550
7.86/7.93	c #Conflicts:      27000 | #Constraints:       8551
7.86/7.93	c #Conflicts:      28000 | #Constraints:       9552
7.86/7.93	c #Conflicts:      29000 | #Constraints:      10553
7.86/7.93	c INPROCESSING
7.86/7.93	c GARBAGE COLLECT
7.86/7.93	c #Conflicts:      30000 | #Constraints:       7952
7.86/7.93	c #Conflicts:      31000 | #Constraints:       8952
7.86/7.93	c #Conflicts:      32000 | #Constraints:       9952
7.86/7.93	c #Conflicts:      33000 | #Constraints:      10952
7.86/7.93	c INPROCESSING
7.86/7.93	c GARBAGE COLLECT
7.86/7.93	c rational objective 141.702
8.07/8.19	c #Conflicts:      34000 | #Constraints:       8155
8.07/8.19	c #Conflicts:      35000 | #Constraints:       9155
8.07/8.19	WSVECS04 Frhs2[9]: 6 -7.50002 0 shouldn't be
8.07/8.19	WSVECS04 Frhs2[12]: 6 -7.50008 0 shouldn't be
8.07/8.19	WSVECS04 Frhs2[14]: 6 -7.50005 0 shouldn't be
8.07/8.19	WSVECS04 Frhs2[39]: 6 0 33.2501 shouldn't be
8.07/8.19	WSVECS04 Frhs2[42]: 6 -9.00006 0 shouldn't be
8.07/8.19	WSVECS04 Frhs2[44]: 6 -9.00003 0 shouldn't be
8.07/8.19	WSVECS04 Frhs2[45]: 6 -15 0 shouldn't be
8.07/8.19	WSVECS04 Frhs2[68]: 6 0 1.00009 shouldn't be
8.07/8.19	WSVECS04 Frhs2[71]: 6 0 1.00006 shouldn't be
8.07/8.19	WSVECS04 Frhs2[90]: 6 0 1.50001 shouldn't be
8.07/8.19	WSVECS04 Frhs2[97]: 6 0 1.00005 shouldn't be
8.07/8.19	WSVECS04 Frhs2[116]: 6 0 1.50005 shouldn't be
8.07/8.19	WSVECS04 Frhs2[191]: 6 0 1.00008 shouldn't be
8.07/8.19	WSVECS04 Frhs2[266]: 6 0 1.00005 shouldn't be
8.07/8.19	WSVECS04 Frhs2[302]: 6 0 1.00008 shouldn't be
8.07/8.19	WSVECS04 Frhs2[305]: 6 0 1.00006 shouldn't be
8.07/8.19	WSVECS04 Frhs2[321]: 6 -1.00002 0 shouldn't be
8.07/8.19	WSVECS04 Frhs2[345]: 6 0 6.50005 shouldn't be
8.07/8.19	WSVECS04 Frhs2[350]: 6 -1.00003 0 shouldn't be
8.07/8.19	WSVECS04 Frhs2[355]: 6 0 1.0001 shouldn't be
8.07/8.19	WSVECS04 Frhs2[365]: 6 0 14.0001 shouldn't be
8.07/8.19	WSVECS04 Frhs2[374]: 6 0 1.00003 shouldn't be
8.07/8.19	WSVECS04 Frhs2[386]: 6 0 1.00007 shouldn't be
8.07/8.19	WSVECS04 Frhs2[389]: 6 0 4.00009 shouldn't be
8.07/8.19	WSVECS04 Frhs2[393]: 6 -1.00003 0 shouldn't be
8.07/8.19	WSVECS04 Frhs2[415]: 6 0 4.00003 shouldn't be
8.07/8.19	WSVECS04 Frhs2[431]: 6 0 1.00005 shouldn't be
8.07/8.19	WSVECS04 Frhs2[443]: 6 0 15 shouldn't be
8.07/8.19	WSVECS04 Frhs2[495]: 6 0 1.00007 shouldn't be
8.07/8.19	WSVECS04 Frhs2[506]: 6 0 1.00009 shouldn't be
8.07/8.19	WSVECS04 Frhs2[516]: 6 -1.00003 0 shouldn't be
8.07/8.19	WSVECS04 Frhs2[521]: 6 0 1.00004 shouldn't be
8.07/8.19	WSVECS04 Frhs2[541]: 6 0 1.00006 shouldn't be
8.07/8.19	WSVECS04 Frhs2[548]: 6 -1.00007 0 shouldn't be
8.07/8.19	WSVECS04 Frhs2[580]: 6 0 1.00007 shouldn't be
8.07/8.19	WSVECS04 Frhs2[593]: 6 0 1.00004 shouldn't be
8.07/8.19	WSVECS04 Frhs2[599]: 6 0 1.00008 shouldn't be
8.07/8.19	WSVECS04 Frhs2[606]: 6 0 1.00003 shouldn't be
8.07/8.19	WSVECS04 Frhs2[617]: 6 -1.00002 0 shouldn't be
8.07/8.19	WSVECS04 Frhs2[655]: 6 0 4.00007 shouldn't be
8.07/8.19	WSVECS04 Frhs2[665]: 6 0 1.00009 shouldn't be
8.07/8.19	WSVECS04 Frhs2[681]: 6 0 4.00008 shouldn't be
8.07/8.19	WSVECS04 Frhs2[707]: 6 0 4.00006 shouldn't be
8.07/8.19	WSVECS04 Frhs2[740]: 6 0 1.00002 shouldn't be
8.07/8.19	WSVECS04 Frhs2[744]: 6 0 1.00007 shouldn't be
8.07/8.19	WSVECS04 Frhs2[751]: 6 0 1.00005 shouldn't be
8.75/8.83	c #Conflicts:      36000 | #Constraints:      10155
8.75/8.83	c #Conflicts:      37000 | #Constraints:      11155
8.75/8.83	c INPROCESSING
8.75/8.83	c GARBAGE COLLECT
8.75/8.83	c rational objective 141.741
9.85/9.90	c #Conflicts:      38000 | #Constraints:       8163
9.85/9.90	c #Conflicts:      39000 | #Constraints:       9163
9.85/9.90	c #Conflicts:      40000 | #Constraints:      10163
9.85/9.90	c #Conflicts:      41000 | #Constraints:      11163
9.85/9.90	c INPROCESSING
9.85/9.90	c GARBAGE COLLECT
9.85/9.90	c rational objective 141.745
10.75/10.85	c #Conflicts:      42000 | #Constraints:       7962
10.75/10.85	c #Conflicts:      43000 | #Constraints:       8963
10.75/10.85	c #Conflicts:      44000 | #Constraints:       9963
10.75/10.85	c #Conflicts:      45000 | #Constraints:      10963
10.75/10.85	c #Conflicts:      46000 | #Constraints:      11963
10.75/10.85	c INPROCESSING
10.75/10.85	c GARBAGE COLLECT
10.75/10.85	c rational objective 141.765
10.85/10.97	c #Conflicts:      47000 | #Constraints:       8555
10.85/10.97	WSVECS04 Frhs2[10]: 6 -1.00002 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[12]: 6 -1.00001 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[18]: 6 -1.00002 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[22]: 6 -1.00002 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[39]: 6 0 0.750046 shouldn't be
10.85/10.97	WSVECS04 Frhs2[40]: 6 0 1.25006 shouldn't be
10.85/10.97	WSVECS04 Frhs2[45]: 6 -1.00007 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[47]: 6 -1.00006 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[48]: 6 -1.00007 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[50]: 6 0 1.75005 shouldn't be
10.85/10.97	WSVECS04 Frhs2[73]: 6 0 1.00006 shouldn't be
10.85/10.97	WSVECS04 Frhs2[74]: 6 0 1.00003 shouldn't be
10.85/10.97	WSVECS04 Frhs2[98]: 6 -1.00002 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[104]: 6 0 0.500034 shouldn't be
10.85/10.97	WSVECS04 Frhs2[326]: 6 0 1.00007 shouldn't be
10.85/10.97	WSVECS04 Frhs2[329]: 6 0 0.500082 shouldn't be
10.85/10.97	WSVECS04 Frhs2[332]: 6 0 0.250089 shouldn't be
10.85/10.97	WSVECS04 Frhs2[342]: 6 -1.00006 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[345]: 6 0 0.500029 shouldn't be
10.85/10.97	WSVECS04 Frhs2[352]: 6 0 1.00003 shouldn't be
10.85/10.97	WSVECS04 Frhs2[376]: 6 0 1.00004 shouldn't be
10.85/10.97	WSVECS04 Frhs2[377]: 6 0 0.500046 shouldn't be
10.85/10.97	WSVECS04 Frhs2[401]: 6 -1.00008 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[402]: 6 0 1.00003 shouldn't be
10.85/10.97	WSVECS04 Frhs2[417]: 6 -1.00002 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[426]: 6 0 1.00002 shouldn't be
10.85/10.97	WSVECS04 Frhs2[450]: 6 0 1.00007 shouldn't be
10.85/10.97	WSVECS04 Frhs2[451]: 6 0 1.00003 shouldn't be
10.85/10.97	WSVECS04 Frhs2[452]: 6 0 1.00005 shouldn't be
10.85/10.97	WSVECS04 Frhs2[459]: 6 0 0.500018 shouldn't be
10.85/10.97	WSVECS04 Frhs2[462]: 6 0 0.250053 shouldn't be
10.85/10.97	WSVECS04 Frhs2[471]: 6 -1.00003 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[476]: 6 0 0.750058 shouldn't be
10.85/10.97	WSVECS04 Frhs2[502]: 6 0 0.750055 shouldn't be
10.85/10.97	WSVECS04 Frhs2[522]: 6 -1.00009 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[545]: 6 -1.00007 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[556]: 6 0 1.00009 shouldn't be
10.85/10.97	WSVECS04 Frhs2[557]: 6 -1.00004 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[581]: 6 0 1.00007 shouldn't be
10.85/10.97	WSVECS04 Frhs2[598]: 6 0 0.50007 shouldn't be
10.85/10.97	WSVECS04 Frhs2[621]: 6 0 1.00004 shouldn't be
10.85/10.97	WSVECS04 Frhs2[644]: 6 -1.00004 0 shouldn't be
10.85/10.97	WSVECS04 Frhs2[645]: 6 0 1.00003 shouldn't be
10.85/10.97	WSVECS04 Frhs2[646]: 6 0 1.00006 shouldn't be
10.85/10.97	WSVECS04 Frhs2[665]: 6 0 1.00009 shouldn't be
10.85/10.97	WSVECS04 Frhs2[667]: 6 0 0.500062 shouldn't be
10.85/10.97	WSVECS04 Frhs2[671]: 6 0 1.00005 shouldn't be
10.85/10.97	WSVECS04 Frhs2[673]: 6 0 1.00001 shouldn't be
10.85/10.97	WSVECS04 Frhs2[676]: 6 0 0.500012 shouldn't be
10.85/10.97	WSVECS04 Frhs2[707]: 6 0 0.250035 shouldn't be
12.06/12.19	c #Conflicts:      48000 | #Constraints:       9555
12.06/12.19	c #Conflicts:      49000 | #Constraints:      10555
12.06/12.19	c #Conflicts:      50000 | #Constraints:      11555
12.06/12.19	c #Conflicts:      51000 | #Constraints:      12555
12.06/12.19	c INPROCESSING
12.06/12.19	c GARBAGE COLLECT
12.06/12.19	c rational objective 141.8
12.35/12.44	c #Conflicts:      52000 | #Constraints:       8959
12.35/12.44	c #Conflicts:      53000 | #Constraints:       9960
12.35/12.44	WSVECS04 Frhs2[10]: 6 -11.0001 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[12]: 6 -11.0001 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[15]: 6 -11.0001 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[19]: 6 -11 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[20]: 6 -11 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[25]: 6 -11.0001 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[37]: 6 -81 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[47]: 6 -60 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[53]: 6 -59.0001 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[62]: 6 0 1.0001 shouldn't be
12.35/12.44	WSVECS04 Frhs2[63]: 6 0 1.00008 shouldn't be
12.35/12.44	WSVECS04 Frhs2[71]: 6 0 1.00005 shouldn't be
12.35/12.44	WSVECS04 Frhs2[78]: 6 0 0.500012 shouldn't be
12.35/12.44	WSVECS04 Frhs2[79]: 6 0 1.00004 shouldn't be
12.35/12.44	WSVECS04 Frhs2[121]: 6 0 1.00003 shouldn't be
12.35/12.44	WSVECS04 Frhs2[147]: 6 0 1.00006 shouldn't be
12.35/12.44	WSVECS04 Frhs2[212]: 6 0 6.00004 shouldn't be
12.35/12.44	WSVECS04 Frhs2[221]: 6 0 1.00007 shouldn't be
12.35/12.44	WSVECS04 Frhs2[237]: 6 0 1.00005 shouldn't be
12.35/12.44	WSVECS04 Frhs2[247]: 6 0 1.0001 shouldn't be
12.35/12.44	WSVECS04 Frhs2[252]: 6 0 6.00002 shouldn't be
12.35/12.44	WSVECS04 Frhs2[263]: 6 0 1.00002 shouldn't be
12.35/12.44	WSVECS04 Frhs2[264]: 6 0 2.00007 shouldn't be
12.35/12.44	WSVECS04 Frhs2[279]: 6 0 1.00006 shouldn't be
12.35/12.44	WSVECS04 Frhs2[280]: 6 0 1.00007 shouldn't be
12.35/12.44	WSVECS04 Frhs2[281]: 6 0 1.00009 shouldn't be
12.35/12.44	WSVECS04 Frhs2[289]: 6 0 1.00008 shouldn't be
12.35/12.44	WSVECS04 Frhs2[302]: 6 0 1.00005 shouldn't be
12.35/12.44	WSVECS04 Frhs2[306]: 6 0 1.00009 shouldn't be
12.35/12.44	WSVECS04 Frhs2[327]: 6 0 1.0001 shouldn't be
12.35/12.44	WSVECS04 Frhs2[328]: 6 0 1.00009 shouldn't be
12.35/12.44	WSVECS04 Frhs2[342]: 6 0 1.00007 shouldn't be
12.35/12.44	WSVECS04 Frhs2[366]: 6 -1.00006 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[372]: 6 0 1.00002 shouldn't be
12.35/12.44	WSVECS04 Frhs2[382]: 6 0 1.00002 shouldn't be
12.35/12.44	WSVECS04 Frhs2[393]: 6 -1.00004 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[420]: 6 0 1.00004 shouldn't be
12.35/12.44	WSVECS04 Frhs2[429]: 6 0 1.00003 shouldn't be
12.35/12.44	WSVECS04 Frhs2[431]: 6 0 1.00003 shouldn't be
12.35/12.44	WSVECS04 Frhs2[444]: 6 -1.00007 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[501]: 6 0 1.00001 shouldn't be
12.35/12.44	WSVECS04 Frhs2[504]: 6 -1.00006 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[506]: 6 0 1.00006 shouldn't be
12.35/12.44	WSVECS04 Frhs2[514]: 6 0 1.00001 shouldn't be
12.35/12.44	WSVECS04 Frhs2[517]: 6 0 35.0001 shouldn't be
12.35/12.44	WSVECS04 Frhs2[600]: 6 -1.00005 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[642]: 6 0 1.00005 shouldn't be
12.35/12.44	WSVECS04 Frhs2[648]: 6 0 72 shouldn't be
12.35/12.44	WSVECS04 Frhs2[660]: 6 0 1.00004 shouldn't be
12.35/12.44	WSVECS04 Frhs2[664]: 6 0 24 shouldn't be
12.35/12.44	WSVECS04 Frhs2[665]: 6 0 1.00004 shouldn't be
12.35/12.44	WSVECS04 Frhs2[666]: 6 0 1.00002 shouldn't be
12.35/12.44	WSVECS04 Frhs2[668]: 6 0 1.00005 shouldn't be
12.35/12.44	WSVECS04 Frhs2[689]: 6 0 56.0001 shouldn't be
12.35/12.44	WSVECS04 Frhs2[690]: 6 0 24.0001 shouldn't be
12.35/12.44	WSVECS04 Frhs2[691]: 6 0 1.0001 shouldn't be
12.35/12.44	WSVECS04 Frhs2[714]: 6 0 1.00008 shouldn't be
12.35/12.44	WSVECS04 Frhs2[716]: 6 0 24.0001 shouldn't be
12.35/12.44	WSVECS04 Frhs2[720]: 6 0 1.00007 shouldn't be
12.35/12.44	WSVECS04 Frhs2[723]: 6 -1.0001 0 shouldn't be
12.35/12.44	WSVECS04 Frhs2[739]: 6 0 1.00004 shouldn't be
12.35/12.44	WSVECS04 Frhs2[754]: 6 0 0.500038 shouldn't be
13.06/13.18	c #Conflicts:      54000 | #Constraints:      10960
13.06/13.18	c #Conflicts:      55000 | #Constraints:      11960
13.06/13.18	c #Conflicts:      56000 | #Constraints:      12960
13.06/13.18	c INPROCESSING
13.06/13.18	c GARBAGE COLLECT
13.06/13.18	c #Conflicts:      57000 | #Constraints:       9158
13.06/13.18	c #Conflicts:      58000 | #Constraints:      10158
13.06/13.18	c #Conflicts:      59000 | #Constraints:      11158
13.06/13.18	WSVECS04 Frhs2[9]: 6 -1.00007 0 shouldn't be
13.06/13.18	WSVECS04 Frhs2[11]: 6 -1.00005 0 shouldn't be
13.06/13.18	WSVECS04 Frhs2[18]: 6 -1.00009 0 shouldn't be
13.06/13.18	WSVECS04 Frhs2[19]: 6 -1.00004 0 shouldn't be
13.06/13.18	WSVECS04 Frhs2[22]: 6 -1.0001 0 shouldn't be
13.06/13.18	WSVECS04 Frhs2[27]: 6 -1.00003 0 shouldn't be
13.06/13.18	WSVECS04 Frhs2[40]: 6 -1.00007 0 shouldn't be
13.06/13.18	WSVECS04 Frhs2[46]: 6 -1.00003 0 shouldn't be
13.06/13.18	WSVECS04 Frhs2[67]: 6 0 1.0001 shouldn't be
13.06/13.18	WSVECS04 Frhs2[68]: 6 0 0.666683 shouldn't be
13.06/13.18	WSVECS04 Frhs2[178]: 6 0 1.00009 shouldn't be
13.06/13.18	WSVECS04 Frhs2[297]: 6 0 1.00002 shouldn't be
13.06/13.18	WSVECS04 Frhs2[301]: 6 0 0.666746 shouldn't be
13.06/13.18	WSVECS04 Frhs2[302]: 6 0 1.0001 shouldn't be
13.06/13.18	WSVECS04 Frhs2[312]: 6 0 0.333395 shouldn't be
13.06/13.18	WSVECS04 Frhs2[378]: 6 0 1.00002 shouldn't be
13.06/13.18	WSVECS04 Frhs2[394]: 6 0 1.00002 shouldn't be
13.06/13.18	WSVECS04 Frhs2[406]: 6 0 1.00003 shouldn't be
13.06/13.18	WSVECS04 Frhs2[418]: 6 0 1.00002 shouldn't be
13.06/13.18	WSVECS04 Frhs2[422]: 6 0 1.00006 shouldn't be
13.06/13.18	WSVECS04 Frhs2[431]: 6 0 0.666744 shouldn't be
13.06/13.18	WSVECS04 Frhs2[433]: 6 0 1.00001 shouldn't be
13.06/13.18	WSVECS04 Frhs2[448]: 6 0 1.00001 shouldn't be
13.06/13.18	WSVECS04 Frhs2[453]: 6 0 0.666719 shouldn't be
13.06/13.18	WSVECS04 Frhs2[482]: 6 0 1.00004 shouldn't be
13.06/13.18	WSVECS04 Frhs2[498]: 6 0 0.333384 shouldn't be
13.06/13.18	WSVECS04 Frhs2[531]: 6 0 0.666716 shouldn't be
13.06/13.18	WSVECS04 Frhs2[545]: 6 0 1.00007 shouldn't be
13.06/13.18	WSVECS04 Frhs2[560]: 6 0 1.00004 shouldn't be
13.06/13.18	WSVECS04 Frhs2[571]: 6 0 1.00003 shouldn't be
13.06/13.18	WSVECS04 Frhs2[640]: 6 0 0.333357 shouldn't be
13.06/13.18	WSVECS04 Frhs2[685]: 6 0 1.00009 shouldn't be
13.06/13.18	WSVECS04 Frhs2[715]: 6 0 1.00001 shouldn't be
13.96/14.02	c #Conflicts:      60000 | #Constraints:      12158
13.96/14.02	c #Conflicts:      61000 | #Constraints:      13158
13.96/14.02	c INPROCESSING
13.96/14.02	c GARBAGE COLLECT
13.96/14.02	c rational objective 141.833
14.43/14.57	c #Conflicts:      62000 | #Constraints:       9158
14.43/14.57	c #Conflicts:      63000 | #Constraints:      10158
14.43/14.57	c #Conflicts:      64000 | #Constraints:      11158
14.43/14.57	c #Conflicts:      65000 | #Constraints:      12158
14.43/14.57	WSVECS04 Frhs2[9]: 6 -0.684858 0 shouldn't be
14.43/14.57	WSVECS04 Frhs2[13]: 6 0 2.31523 shouldn't be
14.43/14.57	WSVECS04 Frhs2[22]: 6 -0.684822 0 shouldn't be
14.43/14.57	WSVECS04 Frhs2[23]: 6 -0.684844 0 shouldn't be
14.43/14.57	WSVECS04 Frhs2[24]: 6 -0.684869 0 shouldn't be
14.43/14.57	WSVECS04 Frhs2[36]: 6 -26.6739 0 shouldn't be
14.43/14.57	WSVECS04 Frhs2[43]: 6 0 37.5544 shouldn't be
14.43/14.57	WSVECS04 Frhs2[47]: 6 0 3.53265 shouldn't be
14.43/14.57	WSVECS04 Frhs2[49]: 6 -31.2392 0 shouldn't be
14.43/14.57	WSVECS04 Frhs2[68]: 6 0 1.00002 shouldn't be
14.43/14.57	WSVECS04 Frhs2[90]: 6 0 1.00003 shouldn't be
14.43/14.57	WSVECS04 Frhs2[91]: 6 0 1.00003 shouldn't be
14.43/14.57	WSVECS04 Frhs2[94]: 6 0 1.00007 shouldn't be
14.43/14.57	WSVECS04 Frhs2[96]: 6 0 1.00001 shouldn't be
14.43/14.57	WSVECS04 Frhs2[104]: 6 0 1.00004 shouldn't be
14.43/14.57	WSVECS04 Frhs2[136]: 6 0 0.445736 shouldn't be
14.43/14.57	WSVECS04 Frhs2[269]: 6 0 1.00007 shouldn't be
14.43/14.57	WSVECS04 Frhs2[275]: 6 0 1.00004 shouldn't be
14.43/14.57	WSVECS04 Frhs2[277]: 6 0 0.347904 shouldn't be
14.43/14.57	WSVECS04 Frhs2[357]: 6 0 1.0001 shouldn't be
14.43/14.57	WSVECS04 Frhs2[376]: 6 0 1.00002 shouldn't be
14.43/14.57	WSVECS04 Frhs2[377]: 6 0 1.00007 shouldn't be
14.43/14.57	WSVECS04 Frhs2[382]: 6 0 1.68486 shouldn't be
14.43/14.57	WSVECS04 Frhs2[390]: 6 0 1.00003 shouldn't be
14.43/14.57	WSVECS04 Frhs2[393]: 6 -1.36963 0 shouldn't be
14.43/14.57	WSVECS04 Frhs2[395]: 6 0 1.00004 shouldn't be
14.43/14.57	WSVECS04 Frhs2[403]: 6 0 1.00006 shouldn't be
14.43/14.57	WSVECS04 Frhs2[421]: 6 0 1.00003 shouldn't be
14.43/14.57	WSVECS04 Frhs2[429]: 6 0 1.00004 shouldn't be
14.43/14.57	WSVECS04 Frhs2[431]: 6 0 1.00008 shouldn't be
14.43/14.57	WSVECS04 Frhs2[443]: 6 0 0.0109661 shouldn't be
14.43/14.57	WSVECS04 Frhs2[448]: 6 0 1.00005 shouldn't be
14.43/14.57	WSVECS04 Frhs2[452]: 6 -1.00005 0 shouldn't be
14.43/14.57	WSVECS04 Frhs2[457]: 6 0 1.00006 shouldn't be
14.43/14.57	WSVECS04 Frhs2[468]: 6 0 1.00008 shouldn't be
14.43/14.57	WSVECS04 Frhs2[473]: 6 0 1.00007 shouldn't be
14.43/14.57	WSVECS04 Frhs2[507]: 6 0 1.00008 shouldn't be
14.43/14.57	WSVECS04 Frhs2[549]: 6 0 1.3696 shouldn't be
14.43/14.57	WSVECS04 Frhs2[564]: 6 0 0.684861 shouldn't be
14.43/14.57	WSVECS04 Frhs2[570]: 6 0 19.5762 shouldn't be
14.43/14.57	WSVECS04 Frhs2[571]: 6 0 1.00006 shouldn't be
14.43/14.57	WSVECS04 Frhs2[596]: 6 0 19.5761 shouldn't be
14.43/14.57	WSVECS04 Frhs2[600]: 6 0 1.00002 shouldn't be
14.43/14.57	WSVECS04 Frhs2[601]: 6 0 1.36961 shouldn't be
14.43/14.57	WSVECS04 Frhs2[603]: 6 0 1.00002 shouldn't be
14.43/14.57	WSVECS04 Frhs2[614]: 6 0 1.00004 shouldn't be
14.43/14.57	WSVECS04 Frhs2[643]: 6 0 7.59789 shouldn't be
14.43/14.57	WSVECS04 Frhs2[664]: 6 0 1.00007 shouldn't be
14.43/14.57	WSVECS04 Frhs2[668]: 6 0 1.01092 shouldn't be
14.43/14.57	WSVECS04 Frhs2[694]: 6 0 1.01093 shouldn't be
14.43/14.57	WSVECS04 Frhs2[707]: 6 0 1.00007 shouldn't be
14.43/14.57	WSVECS04 Frhs2[720]: 6 0 1.01089 shouldn't be
15.05/15.12	c #Conflicts:      66000 | #Constraints:      13159
15.05/15.12	c INPROCESSING
15.05/15.12	c GARBAGE COLLECT
15.05/15.12	c rational objective 141.953
15.53/15.60	c #Conflicts:      67000 | #Constraints:       8961
15.53/15.60	c #Conflicts:      68000 | #Constraints:       9961
15.53/15.60	c #Conflicts:      69000 | #Constraints:      10961
15.53/15.60	c #Conflicts:      70000 | #Constraints:      11961
15.53/15.60	WSVECS04 Frhs2[40]: 6 -1.00008 0 shouldn't be
15.53/15.60	WSVECS04 Frhs2[43]: 6 0 1.33338 shouldn't be
15.53/15.60	WSVECS04 Frhs2[52]: 6 0 4.16674 shouldn't be
15.53/15.60	WSVECS04 Frhs2[66]: 6 0 1.00004 shouldn't be
15.53/15.60	WSVECS04 Frhs2[69]: 6 0 1.00004 shouldn't be
15.53/15.60	WSVECS04 Frhs2[94]: 6 0 0.166697 shouldn't be
15.53/15.60	WSVECS04 Frhs2[100]: 6 0 0.333363 shouldn't be
15.53/15.60	WSVECS04 Frhs2[103]: 6 0 0.500049 shouldn't be
15.53/15.60	WSVECS04 Frhs2[169]: 6 0 1.00009 shouldn't be
15.53/15.60	WSVECS04 Frhs2[330]: 6 0 1.00005 shouldn't be
15.53/15.60	WSVECS04 Frhs2[380]: 6 0 0.166693 shouldn't be
15.53/15.60	WSVECS04 Frhs2[394]: 6 0 0.33341 shouldn't be
15.53/15.60	WSVECS04 Frhs2[448]: 6 0 1.00001 shouldn't be
15.53/15.60	WSVECS04 Frhs2[450]: 6 0 0.333348 shouldn't be
15.53/15.60	WSVECS04 Frhs2[452]: 6 0 1.00006 shouldn't be
15.53/15.60	WSVECS04 Frhs2[454]: 6 0 0.91672 shouldn't be
15.53/15.60	WSVECS04 Frhs2[456]: 6 0 1.00001 shouldn't be
15.53/15.60	WSVECS04 Frhs2[457]: 6 0 0.500035 shouldn't be
15.53/15.60	WSVECS04 Frhs2[460]: 6 0 1.00003 shouldn't be
15.53/15.60	WSVECS04 Frhs2[462]: 6 0 0.333354 shouldn't be
15.53/15.60	WSVECS04 Frhs2[464]: 6 0 0.333429 shouldn't be
15.53/15.60	WSVECS04 Frhs2[478]: 6 0 1.00008 shouldn't be
15.53/15.60	WSVECS04 Frhs2[480]: 6 0 0.916724 shouldn't be
15.53/15.60	WSVECS04 Frhs2[621]: 6 0 1.00003 shouldn't be
15.53/15.60	WSVECS04 Frhs2[721]: 6 0 1.00007 shouldn't be
15.53/15.60	WSVECS04 Frhs2[732]: 6 0 0.333398 shouldn't be
15.53/15.60	WSVECS04 Frhs2[736]: 6 0 0.333428 shouldn't be
15.53/15.60	WSVECS04 Frhs2[741]: 6 0 1.00004 shouldn't be
15.53/15.60	WSVECS04 Frhs2[743]: 6 0 0.500027 shouldn't be
15.53/15.60	WSVECS04 Frhs2[745]: 6 0 1.00002 shouldn't be
15.53/15.60	WSVECS04 Frhs2[747]: 6 0 1.0001 shouldn't be
15.53/15.60	WSVECS04 Frhs2[750]: 6 0 0.333423 shouldn't be
15.53/15.60	WSVECS04 Frhs2[753]: 6 0 0.500099 shouldn't be
15.64/15.77	c #Conflicts:      71000 | #Constraints:      12961
15.64/15.77	c #Conflicts:      72000 | #Constraints:      13961
15.64/15.77	WSVECS04 Frhs2[12]: 6 -0.160023 0 shouldn't be
15.64/15.77	WSVECS04 Frhs2[19]: 6 -0.160033 0 shouldn't be
15.64/15.77	WSVECS04 Frhs2[24]: 6 -0.160012 0 shouldn't be
15.64/15.77	WSVECS04 Frhs2[46]: 6 0 5.72007 shouldn't be
15.64/15.77	WSVECS04 Frhs2[53]: 6 -8.16004 0 shouldn't be
15.64/15.77	WSVECS04 Frhs2[54]: 6 -8.16001 0 shouldn't be
15.64/15.77	WSVECS04 Frhs2[95]: 6 0 0.320057 shouldn't be
15.64/15.77	WSVECS04 Frhs2[97]: 6 0 1.00003 shouldn't be
15.64/15.77	WSVECS04 Frhs2[101]: 6 0 1.00008 shouldn't be
15.64/15.77	WSVECS04 Frhs2[174]: 6 0 1.00003 shouldn't be
15.64/15.77	WSVECS04 Frhs2[224]: 6 0 1.00005 shouldn't be
15.64/15.77	WSVECS04 Frhs2[265]: 6 0 1.00001 shouldn't be
15.64/15.77	WSVECS04 Frhs2[324]: 6 0 1.40001 shouldn't be
15.64/15.77	WSVECS04 Frhs2[350]: 6 0 1.40001 shouldn't be
15.64/15.77	WSVECS04 Frhs2[364]: 6 0 0.280061 shouldn't be
15.64/15.77	WSVECS04 Frhs2[399]: 6 0 0.84009 shouldn't be
15.64/15.77	WSVECS04 Frhs2[424]: 6 0 1.00005 shouldn't be
15.64/15.77	WSVECS04 Frhs2[552]: 6 -1.00008 0 shouldn't be
15.64/15.77	WSVECS04 Frhs2[579]: 6 0 1.00004 shouldn't be
15.64/15.77	WSVECS04 Frhs2[580]: 6 0 1.00007 shouldn't be
15.64/15.77	WSVECS04 Frhs2[585]: 6 0 1.00007 shouldn't be
15.64/15.77	WSVECS04 Frhs2[588]: 6 0 1.00007 shouldn't be
15.64/15.77	WSVECS04 Frhs2[591]: 6 0 1.00007 shouldn't be
15.64/15.77	WSVECS04 Frhs2[593]: 6 0 1.00004 shouldn't be
15.64/15.77	WSVECS04 Frhs2[594]: 6 0 1.00009 shouldn't be
15.64/15.77	WSVECS04 Frhs2[595]: 6 0 6.28008 shouldn't be
15.64/15.77	WSVECS04 Frhs2[605]: 6 0 1.00006 shouldn't be
15.64/15.77	WSVECS04 Frhs2[623]: 6 0 0.16003 shouldn't be
15.64/15.77	WSVECS04 Frhs2[632]: 6 0 1.00009 shouldn't be
15.64/15.77	WSVECS04 Frhs2[649]: 6 0 0.160019 shouldn't be
15.64/15.77	WSVECS04 Frhs2[701]: 6 0 1.00001 shouldn't be
15.64/15.77	WSVECS04 Frhs2[706]: 6 0 1.00002 shouldn't be
15.64/15.77	WSVECS04 Frhs2[727]: 6 0 1.00002 shouldn't be
15.64/15.77	WSVECS04 Frhs2[751]: 6 0 1.00001 shouldn't be
15.64/15.77	WSVECS04 Frhs2[752]: 6 0 1.00007 shouldn't be
16.13/16.26	c INPROCESSING
16.13/16.26	c GARBAGE COLLECT
16.13/16.26	c rational objective 141.958
17.33/17.40	c #Conflicts:      73000 | #Constraints:       9560
17.33/17.40	c #Conflicts:      74000 | #Constraints:      10560
17.33/17.40	c #Conflicts:      75000 | #Constraints:      11560
17.33/17.40	c #Conflicts:      76000 | #Constraints:      12560
17.33/17.40	c #Conflicts:      77000 | #Constraints:      13560
17.33/17.40	c #Conflicts:      78000 | #Constraints:      14560
17.33/17.40	c INPROCESSING
17.33/17.40	c GARBAGE COLLECT
17.33/17.40	c rational objective 141.959
18.42/18.52	c #Conflicts:      79000 | #Constraints:       9960
18.42/18.52	c #Conflicts:      80000 | #Constraints:      10960
18.42/18.52	c #Conflicts:      81000 | #Constraints:      11960
18.42/18.52	c #Conflicts:      82000 | #Constraints:      12960
18.42/18.52	c #Conflicts:      83000 | #Constraints:      13960
18.42/18.52	c #Conflicts:      84000 | #Constraints:      14960
18.42/18.52	c INPROCESSING
18.42/18.52	c GARBAGE COLLECT
18.42/18.52	c rational objective 141.961
19.82/20.01	c #Conflicts:      85000 | #Constraints:      10163
19.82/20.01	c #Conflicts:      86000 | #Constraints:      11163
19.82/20.01	c #Conflicts:      87000 | #Constraints:      12163
19.82/20.01	c #Conflicts:      88000 | #Constraints:      13163
19.82/20.01	c #Conflicts:      89000 | #Constraints:      14163
19.82/20.01	c #Conflicts:      90000 | #Constraints:      15163
19.82/20.01	c INPROCESSING
19.82/20.01	c GARBAGE COLLECT
19.82/20.01	c rational objective 141.98
21.12/21.27	c #Conflicts:      91000 | #Constraints:      10163
21.12/21.27	c #Conflicts:      92000 | #Constraints:      11163
21.12/21.27	c #Conflicts:      93000 | #Constraints:      12163
21.12/21.27	c #Conflicts:      94000 | #Constraints:      13163
21.12/21.27	c #Conflicts:      95000 | #Constraints:      14163
21.12/21.27	c #Conflicts:      96000 | #Constraints:      15163
21.12/21.27	c INPROCESSING
21.12/21.27	c GARBAGE COLLECT
21.12/21.27	c rational objective 141.988
22.02/22.19	c #Conflicts:      97000 | #Constraints:       9970
22.02/22.19	c #Conflicts:      98000 | #Constraints:      10970
22.02/22.19	c #Conflicts:      99000 | #Constraints:      11970
22.02/22.19	c #Conflicts:     100000 | #Constraints:      12970
22.02/22.19	c #Conflicts:     101000 | #Constraints:      13970
22.02/22.19	c #Conflicts:     102000 | #Constraints:      14971
22.02/22.19	c #Conflicts:     103000 | #Constraints:      15971
22.02/22.19	WSVECS04 Frhs2[37]: 6 0 4.02232 shouldn't be
22.02/22.19	WSVECS04 Frhs2[54]: 6 -2.91677 0 shouldn't be
22.02/22.19	WSVECS04 Frhs2[124]: 6 0 1.00005 shouldn't be
22.02/22.19	WSVECS04 Frhs2[174]: 6 0 0.666709 shouldn't be
22.02/22.19	WSVECS04 Frhs2[274]: 6 0 1.00002 shouldn't be
22.02/22.19	WSVECS04 Frhs2[317]: 6 0 0.333386 shouldn't be
22.02/22.19	WSVECS04 Frhs2[380]: 6 0 0.566755 shouldn't be
22.02/22.19	WSVECS04 Frhs2[396]: 6 0 0.333348 shouldn't be
22.02/22.19	WSVECS04 Frhs2[399]: 6 0 0.144527 shouldn't be
22.02/22.19	WSVECS04 Frhs2[406]: 6 0 0.566682 shouldn't be
22.02/22.19	WSVECS04 Frhs2[415]: 6 0 0.405655 shouldn't be
22.02/22.19	WSVECS04 Frhs2[498]: 6 0 1.21674 shouldn't be
22.02/22.19	WSVECS04 Frhs2[543]: 6 0 1.00005 shouldn't be
22.02/22.19	WSVECS04 Frhs2[553]: 6 0 2.35003 shouldn't be
22.02/22.19	WSVECS04 Frhs2[573]: 6 0 2.56669 shouldn't be
22.02/22.19	WSVECS04 Frhs2[579]: 6 0 2.35003 shouldn't be
22.02/22.19	WSVECS04 Frhs2[588]: 6 0 0.433382 shouldn't be
22.02/22.19	WSVECS04 Frhs2[589]: 6 0 1.00009 shouldn't be
22.02/22.19	WSVECS04 Frhs2[590]: 6 0 0.666729 shouldn't be
22.02/22.19	WSVECS04 Frhs2[595]: 6 0 1.00005 shouldn't be
22.02/22.19	WSVECS04 Frhs2[596]: 6 0 1.00009 shouldn't be
22.02/22.19	WSVECS04 Frhs2[597]: 6 0 0.188983 shouldn't be
22.02/22.19	WSVECS04 Frhs2[700]: 6 0 1.00007 shouldn't be
22.02/22.19	WSVECS04 Frhs2[726]: 6 0 1.00001 shouldn't be
22.02/22.19	WSVECS04 Frhs2[743]: 6 0 1.00007 shouldn't be
22.71/22.82	c INPROCESSING
22.71/22.82	c GARBAGE COLLECT
22.71/22.82	c rational objective 141.99
23.30/23.42	c #Conflicts:     104000 | #Constraints:      10561
23.30/23.42	c #Conflicts:     105000 | #Constraints:      11561
23.30/23.42	c #Conflicts:     106000 | #Constraints:      12561
23.30/23.42	c #Conflicts:     107000 | #Constraints:      13561
23.30/23.42	c #Conflicts:     108000 | #Constraints:      14561
23.30/23.42	WSVECS04 Frhs2[40]: 6 0 3.83338 shouldn't be
23.30/23.42	WSVECS04 Frhs2[45]: 6 0 1.00008 shouldn't be
23.30/23.42	WSVECS04 Frhs2[48]: 6 -1.00002 0 shouldn't be
23.30/23.42	WSVECS04 Frhs2[50]: 6 0 1.00003 shouldn't be
23.30/23.42	WSVECS04 Frhs2[51]: 6 -1.00005 0 shouldn't be
23.30/23.42	WSVECS04 Frhs2[52]: 6 -3.50001 0 shouldn't be
23.30/23.42	WSVECS04 Frhs2[78]: 6 0 1.00004 shouldn't be
23.30/23.42	WSVECS04 Frhs2[91]: 6 0 0.500054 shouldn't be
23.30/23.42	WSVECS04 Frhs2[98]: 6 0 1.00003 shouldn't be
23.30/23.42	WSVECS04 Frhs2[122]: 6 -1.00001 0 shouldn't be
23.30/23.42	WSVECS04 Frhs2[377]: 6 -1.00002 0 shouldn't be
23.30/23.42	WSVECS04 Frhs2[400]: 6 0 0.250051 shouldn't be
23.30/23.42	WSVECS04 Frhs2[404]: 6 0 1.00005 shouldn't be
23.30/23.42	WSVECS04 Frhs2[413]: 6 0 0.666737 shouldn't be
23.30/23.42	WSVECS04 Frhs2[418]: 6 0 1.00009 shouldn't be
23.30/23.42	WSVECS04 Frhs2[426]: 6 0 0.250067 shouldn't be
23.30/23.42	WSVECS04 Frhs2[448]: 6 0 1.00002 shouldn't be
23.30/23.42	WSVECS04 Frhs2[472]: 6 0 1.00007 shouldn't be
23.30/23.42	WSVECS04 Frhs2[477]: 6 0 0.500015 shouldn't be
23.30/23.42	WSVECS04 Frhs2[498]: 6 0 1.00006 shouldn't be
23.30/23.42	WSVECS04 Frhs2[505]: 6 0 1.00006 shouldn't be
23.30/23.42	WSVECS04 Frhs2[524]: 6 0 1.00001 shouldn't be
23.30/23.42	WSVECS04 Frhs2[544]: 6 0 1.00001 shouldn't be
23.30/23.42	WSVECS04 Frhs2[568]: 6 0 1.00001 shouldn't be
23.30/23.42	WSVECS04 Frhs2[578]: 6 0 1.00003 shouldn't be
23.30/23.42	WSVECS04 Frhs2[594]: 6 0 1.00003 shouldn't be
23.30/23.42	WSVECS04 Frhs2[597]: 6 0 1.00002 shouldn't be
23.30/23.42	WSVECS04 Frhs2[648]: 6 0 1.00007 shouldn't be
23.30/23.42	WSVECS04 Frhs2[672]: 6 0 2.00006 shouldn't be
23.30/23.42	WSVECS04 Frhs2[674]: 6 0 1.00008 shouldn't be
23.30/23.42	WSVECS04 Frhs2[681]: 6 0 1.00004 shouldn't be
23.30/23.42	WSVECS04 Frhs2[701]: 6 0 1.00009 shouldn't be
23.30/23.42	WSVECS04 Frhs2[748]: 6 0 1.00005 shouldn't be
23.70/23.84	c #Conflicts:     109000 | #Constraints:      15561
23.70/23.84	c #Conflicts:     110000 | #Constraints:      16561
23.70/23.84	c INPROCESSING
23.70/23.84	c GARBAGE COLLECT
23.70/23.84	c rational objective 141.99
24.30/24.45	c #Conflicts:     111000 | #Constraints:      10963
24.30/24.45	c #Conflicts:     112000 | #Constraints:      11963
24.30/24.45	c #Conflicts:     113000 | #Constraints:      12963
24.30/24.45	c #Conflicts:     114000 | #Constraints:      13963
24.30/24.45	WSVECS04 Frhs2[35]: 6 -5.00002 0 shouldn't be
24.30/24.45	WSVECS04 Frhs2[38]: 6 0 16.0001 shouldn't be
24.30/24.45	WSVECS04 Frhs2[42]: 6 -5.00007 0 shouldn't be
24.30/24.45	WSVECS04 Frhs2[44]: 6 -5.00002 0 shouldn't be
24.30/24.45	WSVECS04 Frhs2[61]: 6 0 1.00005 shouldn't be
24.30/24.45	WSVECS04 Frhs2[76]: 6 0 1.00003 shouldn't be
24.30/24.45	WSVECS04 Frhs2[102]: 6 0 1.00008 shouldn't be
24.30/24.45	WSVECS04 Frhs2[115]: 6 0 1.00007 shouldn't be
24.30/24.45	WSVECS04 Frhs2[140]: 6 0 1.00008 shouldn't be
24.30/24.45	WSVECS04 Frhs2[141]: 6 0 1.00004 shouldn't be
24.30/24.45	WSVECS04 Frhs2[191]: 6 0 2.00005 shouldn't be
24.30/24.45	WSVECS04 Frhs2[239]: 6 -1.0001 0 shouldn't be
24.30/24.45	WSVECS04 Frhs2[253]: 6 0 1.00009 shouldn't be
24.30/24.45	WSVECS04 Frhs2[266]: 6 0 2.00001 shouldn't be
24.30/24.45	WSVECS04 Frhs2[321]: 6 0 1.00001 shouldn't be
24.30/24.45	WSVECS04 Frhs2[338]: 6 -1.00002 0 shouldn't be
24.30/24.45	WSVECS04 Frhs2[350]: 6 0 1.00002 shouldn't be
24.30/24.45	WSVECS04 Frhs2[353]: 6 0 1.50003 shouldn't be
24.30/24.45	WSVECS04 Frhs2[358]: 6 0 1.00004 shouldn't be
24.30/24.45	WSVECS04 Frhs2[359]: 6 0 1.00004 shouldn't be
24.30/24.45	WSVECS04 Frhs2[370]: 6 0 1.00005 shouldn't be
24.30/24.45	WSVECS04 Frhs2[373]: 6 0 1.00002 shouldn't be
24.30/24.45	WSVECS04 Frhs2[378]: 6 0 1.00002 shouldn't be
24.30/24.45	WSVECS04 Frhs2[379]: 6 0 1.50004 shouldn't be
24.30/24.45	WSVECS04 Frhs2[384]: 6 0 1.00003 shouldn't be
24.30/24.45	WSVECS04 Frhs2[385]: 6 0 1.00004 shouldn't be
24.30/24.45	WSVECS04 Frhs2[393]: 6 -1.00004 0 shouldn't be
24.30/24.45	WSVECS04 Frhs2[394]: 6 -1.00005 0 shouldn't be
24.30/24.45	WSVECS04 Frhs2[395]: 6 -1.00009 0 shouldn't be
24.30/24.45	WSVECS04 Frhs2[402]: 6 0 1.00001 shouldn't be
24.30/24.45	WSVECS04 Frhs2[431]: 6 0 2.50003 shouldn't be
24.30/24.45	WSVECS04 Frhs2[444]: 6 -1.00002 0 shouldn't be
24.30/24.45	WSVECS04 Frhs2[451]: 6 0 1.00004 shouldn't be
24.30/24.45	WSVECS04 Frhs2[469]: 6 -1.00003 0 shouldn't be
24.30/24.45	WSVECS04 Frhs2[493]: 6 0 1.00003 shouldn't be
24.30/24.45	WSVECS04 Frhs2[494]: 6 -1.00004 0 shouldn't be
24.30/24.45	WSVECS04 Frhs2[568]: 6 0 1.00005 shouldn't be
24.30/24.45	WSVECS04 Frhs2[602]: 6 0 1.0001 shouldn't be
24.30/24.45	WSVECS04 Frhs2[617]: 6 0 6.00004 shouldn't be
24.30/24.45	WSVECS04 Frhs2[628]: 6 0 1.00005 shouldn't be
24.30/24.45	WSVECS04 Frhs2[631]: 6 0 1.00002 shouldn't be
24.30/24.45	WSVECS04 Frhs2[669]: 6 0 6.00004 shouldn't be
24.30/24.45	WSVECS04 Frhs2[680]: 6 0 1.00008 shouldn't be
24.30/24.45	WSVECS04 Frhs2[692]: 6 0 1.00003 shouldn't be
24.30/24.45	WSVECS04 Frhs2[693]: 6 0 1.00005 shouldn't be
24.30/24.45	WSVECS04 Frhs2[695]: 6 0 6.00007 shouldn't be
24.30/24.45	WSVECS04 Frhs2[700]: 6 0 1.00002 shouldn't be
24.30/24.45	WSVECS04 Frhs2[703]: 6 0 1.00002 shouldn't be
24.30/24.45	WSVECS04 Frhs2[718]: 6 0 1.00007 shouldn't be
25.40/25.59	c #Conflicts:     115000 | #Constraints:      14963
25.40/25.59	c #Conflicts:     116000 | #Constraints:      15963
25.40/25.59	c #Conflicts:     117000 | #Constraints:      16963
25.40/25.59	c INPROCESSING
25.40/25.59	c GARBAGE COLLECT
25.40/25.59	c rational objective 141.991
25.80/25.99	c #Conflicts:     118000 | #Constraints:      11163
25.80/25.99	c #Conflicts:     119000 | #Constraints:      12163
25.80/25.99	c #Conflicts:     120000 | #Constraints:      13164
25.80/25.99	WSVECS04 Frhs2[6]: 6 -4.00001 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[7]: 6 -4.00002 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[9]: 6 -4.00002 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[15]: 6 -4.00007 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[16]: 6 -4.00002 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[20]: 6 -4.00002 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[21]: 6 -4.0001 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[26]: 6 -4.00002 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[33]: 6 -2.00002 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[35]: 6 0 9.00009 shouldn't be
25.80/25.99	WSVECS04 Frhs2[36]: 6 0 13 shouldn't be
25.80/25.99	WSVECS04 Frhs2[38]: 6 0 1.00007 shouldn't be
25.80/25.99	WSVECS04 Frhs2[42]: 6 -3.00001 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[45]: 6 -1.00003 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[49]: 6 0 1.00001 shouldn't be
25.80/25.99	WSVECS04 Frhs2[53]: 6 -1.00007 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[104]: 6 0 0.500016 shouldn't be
25.80/25.99	WSVECS04 Frhs2[191]: 6 0 1.00001 shouldn't be
25.80/25.99	WSVECS04 Frhs2[197]: 6 0 1.00008 shouldn't be
25.80/25.99	WSVECS04 Frhs2[241]: 6 -4.00006 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[251]: 6 0 1.0001 shouldn't be
25.80/25.99	WSVECS04 Frhs2[275]: 6 0 6.00001 shouldn't be
25.80/25.99	WSVECS04 Frhs2[276]: 6 0 1.00003 shouldn't be
25.80/25.99	WSVECS04 Frhs2[277]: 6 0 1.0001 shouldn't be
25.80/25.99	WSVECS04 Frhs2[288]: 6 0 1.00005 shouldn't be
25.80/25.99	WSVECS04 Frhs2[300]: 6 0 1.00002 shouldn't be
25.80/25.99	WSVECS04 Frhs2[309]: 6 0 5.00004 shouldn't be
25.80/25.99	WSVECS04 Frhs2[314]: 6 0 1.00005 shouldn't be
25.80/25.99	WSVECS04 Frhs2[317]: 6 0 1.00005 shouldn't be
25.80/25.99	WSVECS04 Frhs2[326]: 6 0 1.00007 shouldn't be
25.80/25.99	WSVECS04 Frhs2[340]: 6 0 1.00001 shouldn't be
25.80/25.99	WSVECS04 Frhs2[379]: 6 0 5.00007 shouldn't be
25.80/25.99	WSVECS04 Frhs2[382]: 6 0 1.00002 shouldn't be
25.80/25.99	WSVECS04 Frhs2[388]: 6 -1.00004 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[397]: 6 -1.00009 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[402]: 6 0 2.00005 shouldn't be
25.80/25.99	WSVECS04 Frhs2[406]: 6 0 1.00005 shouldn't be
25.80/25.99	WSVECS04 Frhs2[436]: 6 0 1.00006 shouldn't be
25.80/25.99	WSVECS04 Frhs2[446]: 6 -1.00003 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[497]: 6 0 1.00003 shouldn't be
25.80/25.99	WSVECS04 Frhs2[511]: 6 0 6.00008 shouldn't be
25.80/25.99	WSVECS04 Frhs2[521]: 6 -1.0001 0 shouldn't be
25.80/25.99	WSVECS04 Frhs2[523]: 6 0 1.00002 shouldn't be
25.80/25.99	WSVECS04 Frhs2[574]: 6 0 6.00003 shouldn't be
25.80/25.99	WSVECS04 Frhs2[614]: 6 0 5.00008 shouldn't be
25.80/25.99	WSVECS04 Frhs2[638]: 6 0 2.00004 shouldn't be
25.80/25.99	WSVECS04 Frhs2[664]: 6 0 2.00003 shouldn't be
25.80/25.99	WSVECS04 Frhs2[666]: 6 0 5.0001 shouldn't be
25.80/25.99	WSVECS04 Frhs2[718]: 6 0 5.00008 shouldn't be
26.40/26.54	c #Conflicts:     121000 | #Constraints:      14164
26.40/26.54	c #Conflicts:     122000 | #Constraints:      15164
26.40/26.54	c #Conflicts:     123000 | #Constraints:      16164
26.40/26.54	WSVECS04 Frhs2[40]: 6 -1.00009 0 shouldn't be
26.40/26.54	WSVECS04 Frhs2[45]: 6 0 4.60008 shouldn't be
26.40/26.54	WSVECS04 Frhs2[49]: 6 -1.00004 0 shouldn't be
26.40/26.54	WSVECS04 Frhs2[51]: 6 -1.00009 0 shouldn't be
26.40/26.54	WSVECS04 Frhs2[53]: 6 0 1.80007 shouldn't be
26.40/26.54	WSVECS04 Frhs2[96]: 6 0 1.00006 shouldn't be
26.40/26.54	WSVECS04 Frhs2[377]: 6 0 1.00003 shouldn't be
26.40/26.54	WSVECS04 Frhs2[423]: 6 0 1.00004 shouldn't be
26.40/26.54	WSVECS04 Frhs2[473]: 6 0 1.00005 shouldn't be
26.40/26.54	WSVECS04 Frhs2[507]: 6 0 1.0001 shouldn't be
26.40/26.54	WSVECS04 Frhs2[551]: 6 0 1.00009 shouldn't be
26.40/26.54	WSVECS04 Frhs2[553]: 6 0 1.00008 shouldn't be
26.40/26.54	WSVECS04 Frhs2[554]: 6 0 0.600029 shouldn't be
26.40/26.54	WSVECS04 Frhs2[564]: 6 0 0.400087 shouldn't be
26.40/26.54	WSVECS04 Frhs2[570]: 6 0 1.00001 shouldn't be
26.40/26.54	WSVECS04 Frhs2[573]: 6 0 0.200044 shouldn't be
26.40/26.54	WSVECS04 Frhs2[603]: 6 0 1.00008 shouldn't be
26.40/26.54	WSVECS04 Frhs2[604]: 6 -1.00006 0 shouldn't be
26.40/26.54	WSVECS04 Frhs2[606]: 6 0 0.40005 shouldn't be
26.40/26.54	WSVECS04 Frhs2[625]: 6 0 1.00002 shouldn't be
26.40/26.54	WSVECS04 Frhs2[632]: 6 0 0.400036 shouldn't be
26.40/26.54	WSVECS04 Frhs2[650]: 6 0 1.00003 shouldn't be
26.40/26.54	WSVECS04 Frhs2[668]: 6 0 1.00008 shouldn't be
26.40/26.54	WSVECS04 Frhs2[670]: 6 -1.00005 0 shouldn't be
26.40/26.54	WSVECS04 Frhs2[677]: 6 0 0.200031 shouldn't be
26.40/26.54	WSVECS04 Frhs2[694]: 6 0 1.00005 shouldn't be
26.40/26.54	WSVECS04 Frhs2[700]: 6 0 0.400012 shouldn't be
26.40/26.54	WSVECS04 Frhs2[703]: 6 0 0.200066 shouldn't be
26.40/26.54	WSVECS04 Frhs2[727]: 6 -1.00008 0 shouldn't be
26.79/26.93	c #Conflicts:     124000 | #Constraints:      17164
26.79/26.93	c INPROCESSING
26.79/26.93	c GARBAGE COLLECT
26.79/26.93	c rational objective 142.004
28.29/28.41	c #Conflicts:     125000 | #Constraints:      11168
28.29/28.41	c #Conflicts:     126000 | #Constraints:      12168
28.29/28.41	c #Conflicts:     127000 | #Constraints:      13168
28.29/28.41	c #Conflicts:     128000 | #Constraints:      14168
28.29/28.41	c #Conflicts:     129000 | #Constraints:      15168
28.29/28.41	c #Conflicts:     130000 | #Constraints:      16168
28.29/28.41	c #Conflicts:     131000 | #Constraints:      17168
28.29/28.41	c INPROCESSING
28.29/28.41	c GARBAGE COLLECT
28.29/28.41	c rational objective 142.007
29.90/30.07	c #Conflicts:     132000 | #Constraints:      10966
29.90/30.07	c #Conflicts:     133000 | #Constraints:      11966
29.90/30.07	c #Conflicts:     134000 | #Constraints:      12966
29.90/30.07	c #Conflicts:     135000 | #Constraints:      13966
29.90/30.07	c #Conflicts:     136000 | #Constraints:      14966
29.90/30.07	c #Conflicts:     137000 | #Constraints:      15966
29.90/30.07	c #Conflicts:     138000 | #Constraints:      16966
29.90/30.07	c #Conflicts:     139000 | #Constraints:      17966
29.90/30.07	c INPROCESSING
29.90/30.07	c GARBAGE COLLECT
29.90/30.07	c rational objective 142.012
30.19/30.30	c #Conflicts:     140000 | #Constraints:      11568
30.19/30.30	c #Conflicts:     141000 | #Constraints:      12569
30.19/30.30	WSVECS04 Frhs2[3]: 6 -18 0 shouldn't be
30.19/30.30	WSVECS04 Frhs2[4]: 6 -18.0001 0 shouldn't be
30.19/30.30	WSVECS04 Frhs2[16]: 6 -18.0001 0 shouldn't be
30.19/30.30	WSVECS04 Frhs2[18]: 6 -18 0 shouldn't be
30.19/30.30	WSVECS04 Frhs2[44]: 6 0 23.0001 shouldn't be
30.19/30.30	WSVECS04 Frhs2[67]: 6 0 19 shouldn't be
30.19/30.30	WSVECS04 Frhs2[91]: 6 0 1.00002 shouldn't be
30.19/30.30	WSVECS04 Frhs2[143]: 6 0 1.00005 shouldn't be
30.19/30.30	WSVECS04 Frhs2[193]: 6 -1.00006 0 shouldn't be
30.19/30.30	WSVECS04 Frhs2[254]: 6 0 1.00008 shouldn't be
30.19/30.30	WSVECS04 Frhs2[294]: 6 0 1.00001 shouldn't be
30.19/30.30	WSVECS04 Frhs2[405]: 6 0 1.00009 shouldn't be
30.19/30.30	WSVECS04 Frhs2[406]: 6 0 48.0001 shouldn't be
30.19/30.30	WSVECS04 Frhs2[436]: 6 -1.00003 0 shouldn't be
30.19/30.30	WSVECS04 Frhs2[456]: 6 0 1.00009 shouldn't be
30.19/30.30	WSVECS04 Frhs2[465]: 6 0 19 shouldn't be
30.19/30.30	WSVECS04 Frhs2[482]: 6 0 1.00005 shouldn't be
30.19/30.30	WSVECS04 Frhs2[518]: 6 0 24 shouldn't be
30.19/30.30	WSVECS04 Frhs2[544]: 6 0 24 shouldn't be
30.19/30.30	WSVECS04 Frhs2[688]: 6 0 4.00005 shouldn't be
30.58/30.70	c #Conflicts:     142000 | #Constraints:      13569
30.58/30.70	c #Conflicts:     143000 | #Constraints:      14569
30.58/30.70	c #Conflicts:     144000 | #Constraints:      15569
30.58/30.70	WSVECS04 Frhs2[3]: 6 -0.333385 0 shouldn't be
30.58/30.70	WSVECS04 Frhs2[13]: 6 -0.333426 0 shouldn't be
30.58/30.70	WSVECS04 Frhs2[16]: 6 -0.333396 0 shouldn't be
30.58/30.70	WSVECS04 Frhs2[17]: 6 -0.333356 0 shouldn't be
30.58/30.70	WSVECS04 Frhs2[18]: 6 -0.333368 0 shouldn't be
30.58/30.70	WSVECS04 Frhs2[30]: 6 -4.16672 0 shouldn't be
30.58/30.70	WSVECS04 Frhs2[33]: 6 0 2.50007 shouldn't be
30.58/30.70	WSVECS04 Frhs2[40]: 6 -4.16673 0 shouldn't be
30.58/30.70	WSVECS04 Frhs2[45]: 6 -4.16673 0 shouldn't be
30.58/30.70	WSVECS04 Frhs2[49]: 6 0 4.33342 shouldn't be
30.58/30.70	WSVECS04 Frhs2[53]: 6 0 0.750014 shouldn't be
30.58/30.70	WSVECS04 Frhs2[71]: 6 0 0.500059 shouldn't be
30.58/30.70	WSVECS04 Frhs2[83]: 6 0 1.00006 shouldn't be
30.58/30.70	WSVECS04 Frhs2[97]: 6 0 0.500069 shouldn't be
30.58/30.70	WSVECS04 Frhs2[115]: 6 0 1.00005 shouldn't be
30.58/30.70	WSVECS04 Frhs2[120]: 6 -1.00009 0 shouldn't be
30.58/30.70	WSVECS04 Frhs2[141]: 6 0 1.00001 shouldn't be
30.58/30.70	WSVECS04 Frhs2[146]: 6 0 3.50009 shouldn't be
30.58/30.70	WSVECS04 Frhs2[167]: 6 0 1.00004 shouldn't be
30.58/30.70	WSVECS04 Frhs2[169]: 6 0 1.00002 shouldn't be
30.58/30.70	WSVECS04 Frhs2[182]: 6 0 1.00001 shouldn't be
30.58/30.70	WSVECS04 Frhs2[185]: 6 0 0.666742 shouldn't be
30.58/30.70	WSVECS04 Frhs2[197]: 6 0 0.333418 shouldn't be
30.58/30.70	WSVECS04 Frhs2[272]: 6 0 1.00007 shouldn't be
30.58/30.70	WSVECS04 Frhs2[341]: 6 0 0.333362 shouldn't be
30.58/30.70	WSVECS04 Frhs2[358]: 6 0 1.00006 shouldn't be
30.58/30.70	WSVECS04 Frhs2[384]: 6 0 1.00002 shouldn't be
30.58/30.70	WSVECS04 Frhs2[392]: 6 0 1.00003 shouldn't be
30.58/30.70	WSVECS04 Frhs2[399]: 6 0 1.00008 shouldn't be
30.58/30.70	WSVECS04 Frhs2[414]: 6 0 1.00002 shouldn't be
30.58/30.70	WSVECS04 Frhs2[460]: 6 0 1.00007 shouldn't be
30.58/30.70	WSVECS04 Frhs2[483]: 6 -1.00008 0 shouldn't be
30.58/30.70	WSVECS04 Frhs2[499]: 6 -1.00008 0 shouldn't be
30.58/30.70	WSVECS04 Frhs2[508]: 6 0 1.00006 shouldn't be
30.58/30.70	WSVECS04 Frhs2[529]: 6 0 1.00004 shouldn't be
30.58/30.70	WSVECS04 Frhs2[536]: 6 0 0.33341 shouldn't be
30.58/30.70	WSVECS04 Frhs2[544]: 6 0 1.00008 shouldn't be
30.58/30.70	WSVECS04 Frhs2[547]: 6 0 0.333413 shouldn't be
30.58/30.70	WSVECS04 Frhs2[560]: 6 0 1.00005 shouldn't be
30.58/30.70	WSVECS04 Frhs2[574]: 6 0 1.00002 shouldn't be
30.58/30.70	WSVECS04 Frhs2[594]: 6 0 1.00006 shouldn't be
30.58/30.70	WSVECS04 Frhs2[596]: 6 0 0.333401 shouldn't be
30.58/30.70	WSVECS04 Frhs2[598]: 6 -1.00009 0 shouldn't be
30.58/30.70	WSVECS04 Frhs2[600]: 6 0 1.00008 shouldn't be
30.58/30.70	WSVECS04 Frhs2[607]: 6 0 0.333345 shouldn't be
30.58/30.70	WSVECS04 Frhs2[621]: 6 0 1.00008 shouldn't be
30.58/30.70	WSVECS04 Frhs2[622]: 6 0 0.333402 shouldn't be
30.58/30.70	WSVECS04 Frhs2[711]: 6 0 0.333411 shouldn't be
30.58/30.70	WSVECS04 Frhs2[721]: 6 0 0.416724 shouldn't be
31.38/31.57	c #Conflicts:     145000 | #Constraints:      16570
31.38/31.57	c #Conflicts:     146000 | #Constraints:      17570
31.38/31.57	c #Conflicts:     147000 | #Constraints:      18570
31.38/31.57	c INPROCESSING
31.38/31.57	c GARBAGE COLLECT
31.38/31.57	c rational objective 142.018
32.99/33.13	c #Conflicts:     148000 | #Constraints:      11971
32.99/33.13	c #Conflicts:     149000 | #Constraints:      12971
32.99/33.13	c #Conflicts:     150000 | #Constraints:      13971
32.99/33.13	c #Conflicts:     151000 | #Constraints:      14971
32.99/33.13	c #Conflicts:     152000 | #Constraints:      15971
32.99/33.13	c #Conflicts:     153000 | #Constraints:      16971
32.99/33.13	c #Conflicts:     154000 | #Constraints:      17971
32.99/33.13	c #Conflicts:     155000 | #Constraints:      18971
32.99/33.13	c INPROCESSING
32.99/33.13	c GARBAGE COLLECT
32.99/33.13	c rational objective 142.044
33.68/33.88	c #Conflicts:     156000 | #Constraints:      12173
33.68/33.88	c #Conflicts:     157000 | #Constraints:      13173
33.68/33.88	c #Conflicts:     158000 | #Constraints:      14173
33.68/33.88	c #Conflicts:     159000 | #Constraints:      15173
33.68/33.88	c #Conflicts:     160000 | #Constraints:      16173
33.68/33.88	WSVECS04 Frhs2[3]: 6 -0.920095 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[5]: 6 -0.920067 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[7]: 6 -0.920092 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[8]: 6 -0.920025 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[9]: 6 -0.920047 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[10]: 6 -0.920022 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[13]: 6 -0.920017 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[14]: 6 -0.920081 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[15]: 6 -0.920071 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[20]: 6 -0.920031 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[30]: 6 0 0.626706 shouldn't be
33.68/33.88	WSVECS04 Frhs2[32]: 6 0 0.320031 shouldn't be
33.68/33.88	WSVECS04 Frhs2[34]: 6 0 2.04009 shouldn't be
33.68/33.88	WSVECS04 Frhs2[35]: 6 -1.00005 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[36]: 6 -1.00008 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[37]: 6 0 0.920065 shouldn't be
33.68/33.88	WSVECS04 Frhs2[41]: 6 0 3.10671 shouldn't be
33.68/33.88	WSVECS04 Frhs2[66]: 6 0 1.00008 shouldn't be
33.68/33.88	WSVECS04 Frhs2[88]: 6 0 1.00003 shouldn't be
33.68/33.88	WSVECS04 Frhs2[92]: 6 0 1.00007 shouldn't be
33.68/33.88	WSVECS04 Frhs2[117]: 6 0 0.0133996 shouldn't be
33.68/33.88	WSVECS04 Frhs2[119]: 6 0 0.80005 shouldn't be
33.68/33.88	WSVECS04 Frhs2[120]: 6 0 1.92002 shouldn't be
33.68/33.88	WSVECS04 Frhs2[146]: 6 0 1.9201 shouldn't be
33.68/33.88	WSVECS04 Frhs2[169]: 6 0 0.0933873 shouldn't be
33.68/33.88	WSVECS04 Frhs2[171]: 6 0 0.80006 shouldn't be
33.68/33.88	WSVECS04 Frhs2[233]: 6 0 0.320088 shouldn't be
33.68/33.88	WSVECS04 Frhs2[245]: 6 -1.00008 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[246]: 6 0 1.00004 shouldn't be
33.68/33.88	WSVECS04 Frhs2[262]: 6 -1.00009 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[268]: 6 0 1.00005 shouldn't be
33.68/33.88	WSVECS04 Frhs2[294]: 6 0 1.00003 shouldn't be
33.68/33.88	WSVECS04 Frhs2[307]: 6 0 1.28008 shouldn't be
33.68/33.88	WSVECS04 Frhs2[308]: 6 0 1.00003 shouldn't be
33.68/33.88	WSVECS04 Frhs2[317]: 6 0 1.00006 shouldn't be
33.68/33.88	WSVECS04 Frhs2[333]: 6 0 1.28006 shouldn't be
33.68/33.88	WSVECS04 Frhs2[341]: 6 0 1.00009 shouldn't be
33.68/33.88	WSVECS04 Frhs2[362]: 6 -1.00006 0 shouldn't be
33.68/33.88	WSVECS04 Frhs2[367]: 6 0 1.00006 shouldn't be
33.68/33.88	WSVECS04 Frhs2[381]: 6 0 1.0001 shouldn't be
33.68/33.88	WSVECS04 Frhs2[395]: 6 0 0.920032 shouldn't be
33.68/33.88	WSVECS04 Frhs2[407]: 6 0 1.00006 shouldn't be
33.68/33.88	WSVECS04 Frhs2[445]: 6 0 1.0001 shouldn't be
33.68/33.88	WSVECS04 Frhs2[460]: 6 0 0.946699 shouldn't be
33.68/33.88	WSVECS04 Frhs2[483]: 6 0 1.52003 shouldn't be
33.68/33.88	WSVECS04 Frhs2[496]: 6 0 1.00009 shouldn't be
33.68/33.88	WSVECS04 Frhs2[504]: 6 0 1.0001 shouldn't be
33.68/33.88	WSVECS04 Frhs2[511]: 6 0 0.08009 shouldn't be
33.68/33.88	WSVECS04 Frhs2[513]: 6 0 1.00005 shouldn't be
33.68/33.88	WSVECS04 Frhs2[723]: 6 0 1.04003 shouldn't be
34.67/34.86	c #Conflicts:     161000 | #Constraints:      17173
34.67/34.86	c #Conflicts:     162000 | #Constraints:      18173
34.67/34.86	c #Conflicts:     163000 | #Constraints:      19173
34.67/34.86	c INPROCESSING
34.67/34.86	c GARBAGE COLLECT
34.67/34.86	c rational objective 142.048
36.47/36.69	c #Conflicts:     164000 | #Constraints:      12170
36.47/36.69	c #Conflicts:     165000 | #Constraints:      13170
36.47/36.69	c #Conflicts:     166000 | #Constraints:      14170
36.47/36.69	c #Conflicts:     167000 | #Constraints:      15170
36.47/36.69	c #Conflicts:     168000 | #Constraints:      16170
36.47/36.69	c #Conflicts:     169000 | #Constraints:      17170
36.47/36.69	c #Conflicts:     170000 | #Constraints:      18170
36.47/36.69	c #Conflicts:     171000 | #Constraints:      19170
36.47/36.69	c INPROCESSING
36.47/36.69	c GARBAGE COLLECT
36.47/36.69	c rational objective 142.054
37.26/37.44	c #Conflicts:     172000 | #Constraints:      11967
37.26/37.44	c #Conflicts:     173000 | #Constraints:      12967
37.26/37.44	c #Conflicts:     174000 | #Constraints:      13967
37.26/37.44	c #Conflicts:     175000 | #Constraints:      14967
37.26/37.44	c #Conflicts:     176000 | #Constraints:      15967
37.26/37.44	WSVECS04 Frhs2[10]: 6 -1.0001 0 shouldn't be
37.26/37.44	WSVECS04 Frhs2[13]: 6 -1.00003 0 shouldn't be
37.26/37.44	WSVECS04 Frhs2[23]: 6 -1.00002 0 shouldn't be
37.26/37.44	WSVECS04 Frhs2[37]: 6 -10 0 shouldn't be
37.26/37.44	WSVECS04 Frhs2[48]: 6 0 10.5 shouldn't be
37.26/37.44	WSVECS04 Frhs2[50]: 6 -10 0 shouldn't be
37.26/37.44	WSVECS04 Frhs2[51]: 6 0 1.25006 shouldn't be
37.26/37.44	WSVECS04 Frhs2[52]: 6 -11.0001 0 shouldn't be
37.26/37.44	WSVECS04 Frhs2[136]: 6 0 0.250081 shouldn't be
37.26/37.44	WSVECS04 Frhs2[240]: 6 0 0.25006 shouldn't be
37.26/37.44	WSVECS04 Frhs2[244]: 6 0 1.62502 shouldn't be
37.26/37.44	WSVECS04 Frhs2[246]: 6 0 1.00007 shouldn't be
37.26/37.44	WSVECS04 Frhs2[272]: 6 0 1.00001 shouldn't be
37.26/37.44	WSVECS04 Frhs2[293]: 6 0 1.00003 shouldn't be
37.26/37.44	WSVECS04 Frhs2[296]: 6 0 0.625027 shouldn't be
37.26/37.44	WSVECS04 Frhs2[302]: 6 -1.00002 0 shouldn't be
37.26/37.44	WSVECS04 Frhs2[322]: 6 0 0.625099 shouldn't be
37.26/37.44	WSVECS04 Frhs2[373]: 6 0 1.00006 shouldn't be
37.26/37.44	WSVECS04 Frhs2[380]: 6 -1.00003 0 shouldn't be
37.26/37.44	WSVECS04 Frhs2[440]: 6 0 1.00008 shouldn't be
37.26/37.45	WSVECS04 Frhs2[447]: 6 0 1.00006 shouldn't be
37.26/37.45	WSVECS04 Frhs2[501]: 6 0 2.00007 shouldn't be
37.26/37.45	WSVECS04 Frhs2[503]: 6 0 1.00008 shouldn't be
37.26/37.45	WSVECS04 Frhs2[527]: 6 0 2.00004 shouldn't be
37.26/37.45	WSVECS04 Frhs2[534]: 6 0 1.00006 shouldn't be
37.26/37.45	WSVECS04 Frhs2[539]: 6 0 1.00003 shouldn't be
37.26/37.45	WSVECS04 Frhs2[546]: 6 0 1.00005 shouldn't be
37.26/37.45	WSVECS04 Frhs2[548]: 6 0 1.00009 shouldn't be
37.26/37.45	WSVECS04 Frhs2[576]: 6 -1.00002 0 shouldn't be
37.26/37.45	WSVECS04 Frhs2[600]: 6 0 1.00004 shouldn't be
37.26/37.45	WSVECS04 Frhs2[626]: 6 0 1.00002 shouldn't be
37.26/37.45	WSVECS04 Frhs2[648]: 6 0 1.00009 shouldn't be
37.26/37.45	WSVECS04 Frhs2[651]: 6 -1.00007 0 shouldn't be
37.26/37.45	WSVECS04 Frhs2[674]: 6 0 1.00002 shouldn't be
37.26/37.45	WSVECS04 Frhs2[698]: 6 0 1.00003 shouldn't be
37.26/37.45	WSVECS04 Frhs2[726]: 6 0 1.00002 shouldn't be
37.66/37.83	c #Conflicts:     177000 | #Constraints:      16967
37.66/37.83	c #Conflicts:     178000 | #Constraints:      17967
37.66/37.83	c #Conflicts:     179000 | #Constraints:      18967
37.66/37.83	WSVECS04 Frhs2[42]: 6 -1.00008 0 shouldn't be
37.66/37.83	WSVECS04 Frhs2[68]: 6 0 0.333392 shouldn't be
37.66/37.83	WSVECS04 Frhs2[98]: 6 0 0.333346 shouldn't be
37.66/37.83	WSVECS04 Frhs2[120]: 6 0 0.333386 shouldn't be
37.66/37.83	WSVECS04 Frhs2[145]: 6 0 0.333399 shouldn't be
37.66/37.83	WSVECS04 Frhs2[270]: 6 0 0.33339 shouldn't be
37.66/37.83	WSVECS04 Frhs2[295]: 6 0 0.469169 shouldn't be
37.66/37.83	WSVECS04 Frhs2[420]: 6 0 1.00006 shouldn't be
37.66/37.83	WSVECS04 Frhs2[421]: 6 0 0.530892 shouldn't be
37.66/37.83	WSVECS04 Frhs2[431]: 6 0 0.333366 shouldn't be
37.66/37.83	WSVECS04 Frhs2[446]: 6 0 1.00004 shouldn't be
37.66/37.83	WSVECS04 Frhs2[471]: 6 0 0.129729 shouldn't be
37.66/37.83	WSVECS04 Frhs2[478]: 6 0 0.333417 shouldn't be
37.66/37.83	WSVECS04 Frhs2[484]: 6 0 0.333427 shouldn't be
37.66/37.83	WSVECS04 Frhs2[489]: 6 0 0.333419 shouldn't be
37.66/37.83	WSVECS04 Frhs2[491]: 6 0 0.308656 shouldn't be
37.66/37.83	WSVECS04 Frhs2[495]: 6 0 1.00002 shouldn't be
37.66/37.83	WSVECS04 Frhs2[520]: 6 0 0.419801 shouldn't be
37.66/37.83	WSVECS04 Frhs2[547]: 6 0 1.00002 shouldn't be
37.66/37.83	WSVECS04 Frhs2[572]: 6 0 0.290179 shouldn't be
37.66/37.83	WSVECS04 Frhs2[697]: 6 0 0.333401 shouldn't be
38.25/38.49	c #Conflicts:     180000 | #Constraints:      19967
38.25/38.49	c INPROCESSING
38.25/38.49	c GARBAGE COLLECT
38.25/38.49	c rational objective 142.061
39.26/39.40	c #Conflicts:     181000 | #Constraints:      12567
39.26/39.40	c #Conflicts:     182000 | #Constraints:      13567
39.26/39.40	c #Conflicts:     183000 | #Constraints:      14567
39.26/39.40	c #Conflicts:     184000 | #Constraints:      15567
39.26/39.40	c #Conflicts:     185000 | #Constraints:      16567
39.26/39.40	c #Conflicts:     186000 | #Constraints:      17567
39.26/39.40	WSVECS04 Frhs2[40]: 6 -2.00009 0 shouldn't be
39.26/39.40	WSVECS04 Frhs2[42]: 6 -2.00001 0 shouldn't be
39.26/39.40	WSVECS04 Frhs2[45]: 6 -2.00003 0 shouldn't be
39.26/39.40	WSVECS04 Frhs2[51]: 6 0 9.00005 shouldn't be
39.26/39.40	WSVECS04 Frhs2[549]: 6 -1.00005 0 shouldn't be
39.26/39.40	WSVECS04 Frhs2[577]: 6 0 1.00007 shouldn't be
39.26/39.40	WSVECS04 Frhs2[603]: 6 0 1.00005 shouldn't be
39.26/39.40	WSVECS04 Frhs2[686]: 6 0 1.00002 shouldn't be
39.26/39.40	WSVECS04 Frhs2[756]: 6 -0.500021 0 shouldn't be
40.05/40.22	c #Conflicts:     187000 | #Constraints:      18567
40.05/40.22	c #Conflicts:     188000 | #Constraints:      19567
40.05/40.22	c #Conflicts:     189000 | #Constraints:      20567
40.05/40.22	c INPROCESSING
40.05/40.22	c GARBAGE COLLECT
40.05/40.22	c rational objective 142.061
41.74/41.90	c #Conflicts:     190000 | #Constraints:      12971
41.74/41.90	c #Conflicts:     191000 | #Constraints:      13971
41.74/41.90	c #Conflicts:     192000 | #Constraints:      14971
41.74/41.90	c #Conflicts:     193000 | #Constraints:      15971
41.74/41.90	c #Conflicts:     194000 | #Constraints:      16971
41.74/41.90	c #Conflicts:     195000 | #Constraints:      17971
41.74/41.90	c #Conflicts:     196000 | #Constraints:      18971
41.74/41.90	c #Conflicts:     197000 | #Constraints:      19971
41.74/41.90	c #Conflicts:     198000 | #Constraints:      20971
41.74/41.90	c INPROCESSING
41.74/41.90	c GARBAGE COLLECT
41.74/41.90	c rational objective 142.065
43.34/43.55	c #Conflicts:     199000 | #Constraints:      13173
43.34/43.55	c #Conflicts:     200000 | #Constraints:      14173
43.34/43.55	c #Conflicts:     201000 | #Constraints:      15173
43.34/43.55	c #Conflicts:     202000 | #Constraints:      16173
43.34/43.55	c #Conflicts:     203000 | #Constraints:      17173
43.34/43.55	c #Conflicts:     204000 | #Constraints:      18173
43.34/43.55	c #Conflicts:     205000 | #Constraints:      19173
43.34/43.55	c #Conflicts:     206000 | #Constraints:      20173
43.34/43.55	c #Conflicts:     207000 | #Constraints:      21173
43.34/43.55	c INPROCESSING
43.34/43.55	c GARBAGE COLLECT
43.34/43.55	c rational objective 142.066
45.23/45.44	c #Conflicts:     208000 | #Constraints:      13176
45.23/45.44	c #Conflicts:     209000 | #Constraints:      14176
45.23/45.44	c #Conflicts:     210000 | #Constraints:      15176
45.23/45.44	c #Conflicts:     211000 | #Constraints:      16176
45.23/45.44	c #Conflicts:     212000 | #Constraints:      17176
45.23/45.44	c #Conflicts:     213000 | #Constraints:      18176
45.23/45.44	c #Conflicts:     214000 | #Constraints:      19176
45.23/45.44	c #Conflicts:     215000 | #Constraints:      20176
45.23/45.44	c #Conflicts:     216000 | #Constraints:      21176
45.23/45.44	c INPROCESSING
45.23/45.44	c GARBAGE COLLECT
45.23/45.44	c rational objective 142.066
45.53/45.77	c #Conflicts:     217000 | #Constraints:      12978
45.53/45.77	c #Conflicts:     218000 | #Constraints:      13978
45.53/45.77	c #Conflicts:     219000 | #Constraints:      14978
45.53/45.77	WSVECS04 Frhs2[43]: 6 -4.00004 0 shouldn't be
45.53/45.77	WSVECS04 Frhs2[103]: 6 0 2.50005 shouldn't be
45.53/45.77	WSVECS04 Frhs2[292]: 6 0 1.00006 shouldn't be
45.53/45.77	WSVECS04 Frhs2[346]: 6 0 0.333355 shouldn't be
45.53/45.77	WSVECS04 Frhs2[353]: 6 0 0.500013 shouldn't be
45.53/45.77	WSVECS04 Frhs2[373]: 6 -3.50004 0 shouldn't be
45.53/45.77	WSVECS04 Frhs2[394]: 6 0 1.00007 shouldn't be
45.53/45.77	WSVECS04 Frhs2[398]: 6 0 0.333432 shouldn't be
45.53/45.77	WSVECS04 Frhs2[401]: 6 0 1.00003 shouldn't be
45.53/45.77	WSVECS04 Frhs2[413]: 6 0 0.333382 shouldn't be
45.53/45.77	WSVECS04 Frhs2[415]: 6 0 1.00003 shouldn't be
45.53/45.77	WSVECS04 Frhs2[422]: 6 0 1.00002 shouldn't be
45.53/45.77	WSVECS04 Frhs2[441]: 6 0 1.00007 shouldn't be
45.53/45.77	WSVECS04 Frhs2[449]: 6 0 1.00003 shouldn't be
45.53/45.77	WSVECS04 Frhs2[469]: 6 0 1.00007 shouldn't be
45.53/45.77	WSVECS04 Frhs2[517]: 6 0 0.333376 shouldn't be
45.53/45.77	WSVECS04 Frhs2[545]: 6 0 1.00001 shouldn't be
45.53/45.77	WSVECS04 Frhs2[568]: 6 -1.00006 0 shouldn't be
45.53/45.77	WSVECS04 Frhs2[578]: 6 0 1.00008 shouldn't be
45.53/45.77	WSVECS04 Frhs2[671]: 6 0 1.00004 shouldn't be
45.53/45.77	WSVECS04 Frhs2[682]: 6 0 1.00008 shouldn't be
45.53/45.77	WSVECS04 Frhs2[701]: 6 0 2.50007 shouldn't be
46.42/46.62	c #Conflicts:     220000 | #Constraints:      15978
46.42/46.62	c #Conflicts:     221000 | #Constraints:      16978
46.42/46.62	c #Conflicts:     222000 | #Constraints:      17978
46.42/46.62	c #Conflicts:     223000 | #Constraints:      18978
46.42/46.62	c #Conflicts:     224000 | #Constraints:      19978
46.42/46.62	WSVECS04 Frhs2[118]: 6 0 0.400032 shouldn't be
46.42/46.62	WSVECS04 Frhs2[202]: 6 0 0.800062 shouldn't be
46.42/46.62	WSVECS04 Frhs2[277]: 6 0 0.400024 shouldn't be
46.42/46.62	WSVECS04 Frhs2[293]: 6 0 4.00003 shouldn't be
46.42/46.62	WSVECS04 Frhs2[318]: 6 0 1.00004 shouldn't be
46.42/46.62	WSVECS04 Frhs2[368]: 6 0 1.00002 shouldn't be
46.42/46.62	WSVECS04 Frhs2[371]: 6 0 4.00002 shouldn't be
46.42/46.62	WSVECS04 Frhs2[381]: 6 0 1.00005 shouldn't be
46.42/46.62	WSVECS04 Frhs2[394]: 6 0 1.00009 shouldn't be
46.42/46.62	WSVECS04 Frhs2[400]: 6 -1.00007 0 shouldn't be
46.42/46.62	WSVECS04 Frhs2[420]: 6 0 1.00006 shouldn't be
46.42/46.62	WSVECS04 Frhs2[422]: 6 0 1.00001 shouldn't be
46.42/46.62	WSVECS04 Frhs2[425]: 6 0 1.00004 shouldn't be
46.42/46.62	WSVECS04 Frhs2[435]: 6 0 0.600014 shouldn't be
46.42/46.62	WSVECS04 Frhs2[436]: 6 0 0.800049 shouldn't be
46.42/46.62	WSVECS04 Frhs2[440]: 6 0 0.400074 shouldn't be
46.42/46.62	WSVECS04 Frhs2[443]: 6 0 2.80005 shouldn't be
46.42/46.62	WSVECS04 Frhs2[451]: 6 0 1.00006 shouldn't be
46.42/46.62	WSVECS04 Frhs2[469]: 6 0 2.80007 shouldn't be
46.42/46.62	WSVECS04 Frhs2[495]: 6 0 2.80006 shouldn't be
46.42/46.62	WSVECS04 Frhs2[502]: 6 0 1.00005 shouldn't be
46.42/46.62	WSVECS04 Frhs2[518]: 6 0 0.400087 shouldn't be
46.42/46.62	WSVECS04 Frhs2[646]: 6 0 1.00008 shouldn't be
47.22/47.42	c #Conflicts:     225000 | #Constraints:      20978
47.22/47.42	c #Conflicts:     226000 | #Constraints:      21978
47.22/47.42	c INPROCESSING
47.22/47.42	c GARBAGE COLLECT
47.22/47.42	c rational objective 142.068
48.42/48.63	c #Conflicts:     227000 | #Constraints:      13574
48.42/48.63	c #Conflicts:     228000 | #Constraints:      14574
48.42/48.63	c #Conflicts:     229000 | #Constraints:      15574
48.42/48.63	c #Conflicts:     230000 | #Constraints:      16574
48.42/48.63	c #Conflicts:     231000 | #Constraints:      17574
48.42/48.63	c #Conflicts:     232000 | #Constraints:      18574
48.42/48.63	c #Conflicts:     233000 | #Constraints:      19574
48.42/48.63	c #Conflicts:     234000 | #Constraints:      20574
48.42/48.63	WSVECS04 Frhs2[20]: 6 0 2.83337 shouldn't be
48.42/48.63	WSVECS04 Frhs2[43]: 6 -2.00009 0 shouldn't be
48.42/48.63	WSVECS04 Frhs2[70]: 6 0 1.00007 shouldn't be
48.42/48.63	WSVECS04 Frhs2[123]: 6 0 0.166678 shouldn't be
48.42/48.63	WSVECS04 Frhs2[223]: 6 0 0.200017 shouldn't be
48.42/48.63	WSVECS04 Frhs2[280]: 6 0 0.500026 shouldn't be
48.42/48.63	WSVECS04 Frhs2[305]: 6 0 0.666726 shouldn't be
48.42/48.63	WSVECS04 Frhs2[380]: 6 0 1.00004 shouldn't be
48.42/48.63	WSVECS04 Frhs2[405]: 6 0 0.200047 shouldn't be
48.42/48.63	WSVECS04 Frhs2[423]: 6 0 0.333353 shouldn't be
48.42/48.63	WSVECS04 Frhs2[430]: 6 0 1.00005 shouldn't be
48.42/48.63	WSVECS04 Frhs2[445]: 6 0 1.00002 shouldn't be
48.42/48.63	WSVECS04 Frhs2[455]: 6 0 1.25008 shouldn't be
48.42/48.63	WSVECS04 Frhs2[456]: 6 0 1.00007 shouldn't be
48.42/48.63	WSVECS04 Frhs2[477]: 6 0 1.00005 shouldn't be
48.42/48.63	WSVECS04 Frhs2[481]: 6 0 1.25006 shouldn't be
48.42/48.63	WSVECS04 Frhs2[496]: 6 0 1.00008 shouldn't be
48.42/48.63	WSVECS04 Frhs2[498]: 6 0 0.333408 shouldn't be
48.42/48.63	WSVECS04 Frhs2[550]: 6 0 0.333399 shouldn't be
48.42/48.63	WSVECS04 Frhs2[553]: 6 0 0.333412 shouldn't be
48.42/48.63	WSVECS04 Frhs2[558]: 6 0 0.750096 shouldn't be
48.42/48.63	WSVECS04 Frhs2[559]: 6 0 0.250087 shouldn't be
48.42/48.63	WSVECS04 Frhs2[560]: 6 0 1.00003 shouldn't be
48.42/48.63	WSVECS04 Frhs2[565]: 6 0 0.666762 shouldn't be
48.42/48.63	WSVECS04 Frhs2[573]: 6 0 0.333421 shouldn't be
48.42/48.63	WSVECS04 Frhs2[605]: 6 0 0.333349 shouldn't be
48.42/48.63	WSVECS04 Frhs2[625]: 6 0 0.333427 shouldn't be
48.42/48.63	WSVECS04 Frhs2[630]: 6 0 1.75001 shouldn't be
48.42/48.63	WSVECS04 Frhs2[680]: 6 0 0.333366 shouldn't be
48.42/48.63	WSVECS04 Frhs2[700]: 6 0 0.500031 shouldn't be
48.42/48.63	WSVECS04 Frhs2[728]: 6 0 0.500085 shouldn't be
48.42/48.63	WSVECS04 Frhs2[733]: 6 0 0.500031 shouldn't be
48.42/48.63	WSVECS04 Frhs2[734]: 6 0 0.750029 shouldn't be
48.42/48.63	WSVECS04 Frhs2[735]: 6 0 0.333417 shouldn't be
48.42/48.63	WSVECS04 Frhs2[743]: 6 0 0.200042 shouldn't be
48.42/48.63	WSVECS04 Frhs2[746]: 6 0 1.00008 shouldn't be
48.42/48.63	WSVECS04 Frhs2[752]: 6 0 0.500034 shouldn't be
48.42/48.63	WSVECS04 Frhs2[755]: 6 0 0.333396 shouldn't be
49.21/49.43	c #Conflicts:     235000 | #Constraints:      21574
49.21/49.43	c #Conflicts:     236000 | #Constraints:      22574
49.21/49.43	c INPROCESSING
49.21/49.43	c GARBAGE COLLECT
49.21/49.43	c rational objective 142.068
49.51/49.73	c #Conflicts:     237000 | #Constraints:      13975
49.51/49.73	c #Conflicts:     238000 | #Constraints:      14975
49.51/49.73	WSVECS04 Frhs2[46]: 6 -1.00001 0 shouldn't be
49.51/49.73	WSVECS04 Frhs2[68]: 6 0 0.393746 shouldn't be
49.51/49.73	WSVECS04 Frhs2[91]: 6 0 0.540242 shouldn't be
49.51/49.73	WSVECS04 Frhs2[97]: 6 -1.0001 0 shouldn't be
49.51/49.73	WSVECS04 Frhs2[116]: 6 0 0.227104 shouldn't be
49.51/49.73	WSVECS04 Frhs2[141]: 6 0 0.36214 shouldn't be
49.51/49.73	WSVECS04 Frhs2[191]: 6 0 0.333357 shouldn't be
49.51/49.73	WSVECS04 Frhs2[216]: 6 0 0.500033 shouldn't be
49.51/49.73	WSVECS04 Frhs2[241]: 6 0 0.33338 shouldn't be
49.51/49.73	WSVECS04 Frhs2[316]: 6 0 0.333418 shouldn't be
49.51/49.73	WSVECS04 Frhs2[373]: 6 0 0.333363 shouldn't be
49.51/49.73	WSVECS04 Frhs2[374]: 6 0 0.333378 shouldn't be
49.51/49.73	WSVECS04 Frhs2[376]: 6 0 0.386544 shouldn't be
49.51/49.73	WSVECS04 Frhs2[377]: 6 0 0.540262 shouldn't be
49.51/49.73	WSVECS04 Frhs2[378]: 6 0 0.500035 shouldn't be
49.51/49.73	WSVECS04 Frhs2[382]: 6 0 0.333355 shouldn't be
49.51/49.73	WSVECS04 Frhs2[384]: 6 0 0.879366 shouldn't be
49.51/49.73	WSVECS04 Frhs2[386]: 6 0 0.333423 shouldn't be
49.51/49.73	WSVECS04 Frhs2[388]: 6 0 0.333378 shouldn't be
49.51/49.73	WSVECS04 Frhs2[391]: 6 0 0.333359 shouldn't be
49.51/49.73	WSVECS04 Frhs2[443]: 6 0 0.333423 shouldn't be
49.51/49.73	WSVECS04 Frhs2[457]: 6 0 0.500076 shouldn't be
49.51/49.73	WSVECS04 Frhs2[468]: 6 0 0.500077 shouldn't be
49.51/49.73	WSVECS04 Frhs2[531]: 6 0 0.112109 shouldn't be
49.51/49.73	WSVECS04 Frhs2[543]: 6 0 0.500092 shouldn't be
49.51/49.73	WSVECS04 Frhs2[568]: 6 0 0.33341 shouldn't be
49.51/49.73	WSVECS04 Frhs2[570]: 6 0 0.333369 shouldn't be
49.51/49.73	WSVECS04 Frhs2[593]: 6 0 0.339093 shouldn't be
49.51/49.73	WSVECS04 Frhs2[643]: 6 0 0.698312 shouldn't be
49.51/49.73	WSVECS04 Frhs2[668]: 6 0 0.33338 shouldn't be
49.51/49.73	WSVECS04 Frhs2[674]: 6 0 0.333423 shouldn't be
49.51/49.73	WSVECS04 Frhs2[693]: 6 0 0.500019 shouldn't be
49.51/49.73	WSVECS04 Frhs2[718]: 6 0 0.393755 shouldn't be
49.51/49.73	WSVECS04 Frhs2[743]: 6 0 0.500055 shouldn't be
51.21/51.48	c #Conflicts:     239000 | #Constraints:      15975
51.21/51.48	c #Conflicts:     240000 | #Constraints:      16975
51.21/51.48	c #Conflicts:     241000 | #Constraints:      17975
51.21/51.48	c #Conflicts:     242000 | #Constraints:      18975
51.21/51.48	c #Conflicts:     243000 | #Constraints:      19975
51.21/51.48	c #Conflicts:     244000 | #Constraints:      20975
51.21/51.48	c #Conflicts:     245000 | #Constraints:      21976
51.21/51.48	c #Conflicts:     246000 | #Constraints:      22976
51.21/51.48	c INPROCESSING
51.21/51.48	c GARBAGE COLLECT
51.21/51.48	c rational objective 142.068
51.41/51.69	c #Conflicts:     247000 | #Constraints:      14179
51.41/51.69	WSVECS04 Frhs2[42]: 6 -1.00008 0 shouldn't be
51.41/51.69	WSVECS04 Frhs2[44]: 6 0 1.00003 shouldn't be
51.41/51.69	WSVECS04 Frhs2[48]: 6 0 0.333429 shouldn't be
51.41/51.69	WSVECS04 Frhs2[68]: 6 0 1.00007 shouldn't be
51.41/51.69	WSVECS04 Frhs2[91]: 6 0 1.00003 shouldn't be
51.41/51.69	WSVECS04 Frhs2[94]: 6 0 1.0001 shouldn't be
51.41/51.69	WSVECS04 Frhs2[141]: 6 0 0.166758 shouldn't be
51.41/51.69	WSVECS04 Frhs2[167]: 6 0 0.166749 shouldn't be
51.41/51.69	WSVECS04 Frhs2[216]: 6 0 0.50002 shouldn't be
51.41/51.69	WSVECS04 Frhs2[242]: 6 0 0.500097 shouldn't be
51.41/51.69	WSVECS04 Frhs2[292]: 6 0 1.00007 shouldn't be
51.41/51.69	WSVECS04 Frhs2[375]: 6 0 0.833411 shouldn't be
51.41/51.69	WSVECS04 Frhs2[376]: 6 0 1.00007 shouldn't be
51.41/51.69	WSVECS04 Frhs2[382]: 6 0 1.00007 shouldn't be
51.41/51.69	WSVECS04 Frhs2[387]: 6 0 0.333354 shouldn't be
51.41/51.69	WSVECS04 Frhs2[402]: 6 0 1.00007 shouldn't be
51.41/51.69	WSVECS04 Frhs2[405]: 6 0 1.00003 shouldn't be
51.41/51.69	WSVECS04 Frhs2[408]: 6 0 1.00009 shouldn't be
51.41/51.69	WSVECS04 Frhs2[413]: 6 0 0.333358 shouldn't be
51.41/51.69	WSVECS04 Frhs2[415]: 6 0 1.00005 shouldn't be
51.41/51.69	WSVECS04 Frhs2[420]: 6 -1.00009 0 shouldn't be
51.41/51.69	WSVECS04 Frhs2[457]: 6 0 1.00002 shouldn't be
51.41/51.69	WSVECS04 Frhs2[470]: 6 -1.00006 0 shouldn't be
51.41/51.69	WSVECS04 Frhs2[495]: 6 -1.00001 0 shouldn't be
51.41/51.69	WSVECS04 Frhs2[575]: 6 -1.00002 0 shouldn't be
51.41/51.69	WSVECS04 Frhs2[626]: 6 -1.00006 0 shouldn't be
51.41/51.69	WSVECS04 Frhs2[693]: 6 0 0.500035 shouldn't be
51.41/51.69	WSVECS04 Frhs2[744]: 6 0 1.00006 shouldn't be
52.51/52.73	c #Conflicts:     248000 | #Constraints:      15179
52.51/52.73	c #Conflicts:     249000 | #Constraints:      16179
52.51/52.73	c #Conflicts:     250000 | #Constraints:      17179
52.51/52.73	c #Conflicts:     251000 | #Constraints:      18179
52.51/52.73	c #Conflicts:     252000 | #Constraints:      19179
52.51/52.73	c #Conflicts:     253000 | #Constraints:      20179
52.51/52.73	WSVECS04 Frhs2[41]: 6 0 1.00006 shouldn't be
52.51/52.73	WSVECS04 Frhs2[44]: 6 0 1.00002 shouldn't be
52.51/52.73	WSVECS04 Frhs2[45]: 6 -1.00008 0 shouldn't be
52.51/52.73	WSVECS04 Frhs2[47]: 6 -1.00004 0 shouldn't be
52.51/52.73	WSVECS04 Frhs2[48]: 6 -1.00009 0 shouldn't be
52.51/52.73	WSVECS04 Frhs2[91]: 6 0 1.00004 shouldn't be
52.51/52.73	WSVECS04 Frhs2[92]: 6 0 0.500027 shouldn't be
52.51/52.73	WSVECS04 Frhs2[104]: 6 0 0.185228 shouldn't be
52.51/52.73	WSVECS04 Frhs2[166]: 6 0 0.333386 shouldn't be
52.51/52.73	WSVECS04 Frhs2[291]: 6 0 0.222273 shouldn't be
52.51/52.73	WSVECS04 Frhs2[292]: 6 0 0.500065 shouldn't be
52.51/52.73	WSVECS04 Frhs2[295]: 6 0 0.333397 shouldn't be
52.51/52.73	WSVECS04 Frhs2[348]: 6 0 0.33335 shouldn't be
52.51/52.73	WSVECS04 Frhs2[349]: 6 0 0.333382 shouldn't be
52.51/52.73	WSVECS04 Frhs2[367]: 6 0 1.00001 shouldn't be
52.51/52.73	WSVECS04 Frhs2[370]: 6 0 0.500073 shouldn't be
52.51/52.73	WSVECS04 Frhs2[385]: 6 0 0.333353 shouldn't be
52.51/52.73	WSVECS04 Frhs2[390]: 6 0 0.185279 shouldn't be
52.51/52.73	WSVECS04 Frhs2[395]: 6 0 0.555612 shouldn't be
52.51/52.73	WSVECS04 Frhs2[407]: 6 0 0.500011 shouldn't be
52.51/52.73	WSVECS04 Frhs2[415]: 6 0 0.500011 shouldn't be
52.51/52.73	WSVECS04 Frhs2[482]: 6 0 0.500095 shouldn't be
52.51/52.73	WSVECS04 Frhs2[567]: 6 0 0.333375 shouldn't be
52.51/52.73	WSVECS04 Frhs2[581]: 6 0 0.333344 shouldn't be
52.51/52.73	WSVECS04 Frhs2[592]: 6 0 0.333425 shouldn't be
52.51/52.73	WSVECS04 Frhs2[598]: 6 0 0.629729 shouldn't be
53.50/53.73	c #Conflicts:     254000 | #Constraints:      21179
53.50/53.73	c #Conflicts:     255000 | #Constraints:      22179
53.50/53.73	c #Conflicts:     256000 | #Constraints:      23179
53.50/53.73	c INPROCESSING
53.50/53.73	c GARBAGE COLLECT
53.50/53.73	c rational objective 142.07
54.59/54.84	c #Conflicts:     257000 | #Constraints:      14175
54.59/54.84	c #Conflicts:     258000 | #Constraints:      15175
54.59/54.84	c #Conflicts:     259000 | #Constraints:      16175
54.59/54.84	c #Conflicts:     260000 | #Constraints:      17175
54.59/54.84	c #Conflicts:     261000 | #Constraints:      18175
54.59/54.84	c #Conflicts:     262000 | #Constraints:      19176
54.59/54.84	c #Conflicts:     263000 | #Constraints:      20176
54.59/54.84	WSVECS04 Frhs2[38]: 6 -3.00007 0 shouldn't be
54.59/54.84	WSVECS04 Frhs2[42]: 6 -3.00008 0 shouldn't be
54.59/54.84	WSVECS04 Frhs2[43]: 6 0 3.50008 shouldn't be
54.59/54.84	WSVECS04 Frhs2[45]: 6 -3.00003 0 shouldn't be
54.59/54.84	WSVECS04 Frhs2[46]: 6 -4.00008 0 shouldn't be
54.59/54.84	WSVECS04 Frhs2[47]: 6 -3.00006 0 shouldn't be
54.59/54.84	WSVECS04 Frhs2[64]: 6 0 1.00003 shouldn't be
54.59/54.84	WSVECS04 Frhs2[73]: 6 0 1.0001 shouldn't be
54.59/54.84	WSVECS04 Frhs2[321]: 6 0 0.500078 shouldn't be
54.59/54.84	WSVECS04 Frhs2[370]: 6 -1.00005 0 shouldn't be
54.59/54.84	WSVECS04 Frhs2[493]: 6 -2.00009 0 shouldn't be
54.59/54.84	WSVECS04 Frhs2[581]: 6 0 0.500033 shouldn't be
54.59/54.84	WSVECS04 Frhs2[582]: 6 0 0.50008 shouldn't be
54.59/54.84	WSVECS04 Frhs2[589]: 6 0 1.00002 shouldn't be
54.59/54.84	WSVECS04 Frhs2[646]: 6 0 1.00003 shouldn't be
54.91/55.15	c #Conflicts:     264000 | #Constraints:      21176
54.91/55.15	c #Conflicts:     265000 | #Constraints:      22176
54.91/55.15	WSVECS04 Frhs2[102]: 6 0 0.50002 shouldn't be
54.91/55.15	WSVECS04 Frhs2[154]: 6 -1.50002 0 shouldn't be
54.91/55.15	WSVECS04 Frhs2[395]: 6 0 1.00009 shouldn't be
54.91/55.15	WSVECS04 Frhs2[398]: 6 0 0.333432 shouldn't be
54.91/55.15	WSVECS04 Frhs2[399]: 6 0 0.133428 shouldn't be
54.91/55.15	WSVECS04 Frhs2[411]: 6 0 0.333392 shouldn't be
54.91/55.15	WSVECS04 Frhs2[415]: 6 0 0.333399 shouldn't be
54.91/55.15	WSVECS04 Frhs2[444]: 6 0 0.700047 shouldn't be
54.91/55.15	WSVECS04 Frhs2[580]: 6 0 0.333385 shouldn't be
54.91/55.15	WSVECS04 Frhs2[601]: 6 0 1.00008 shouldn't be
54.91/55.15	WSVECS04 Frhs2[630]: 6 0 0.100088 shouldn't be
54.91/55.15	WSVECS04 Frhs2[655]: 6 0 1.00004 shouldn't be
54.91/55.15	WSVECS04 Frhs2[709]: 6 -1.00007 0 shouldn't be
54.91/55.15	WSVECS04 Frhs2[726]: 6 -1.00004 0 shouldn't be
54.91/55.15	WSVECS04 Frhs2[743]: 6 0 0.333395 shouldn't be
54.91/55.15	WSVECS04 Frhs2[749]: 6 0 0.333358 shouldn't be
54.91/55.15	WSVECS04 Frhs2[753]: 6 0 0.333395 shouldn't be
55.59/55.88	c #Conflicts:     266000 | #Constraints:      23176
55.59/55.88	c INPROCESSING
55.59/55.88	c GARBAGE COLLECT
55.59/55.88	c rational objective 142.072
55.80/56.07	c #Conflicts:     267000 | #Constraints:      13974
55.80/56.07	WSVECS04 Frhs2[39]: 6 0 0.250041 shouldn't be
55.80/56.07	WSVECS04 Frhs2[40]: 6 -1.00004 0 shouldn't be
55.80/56.07	WSVECS04 Frhs2[45]: 6 -1.00002 0 shouldn't be
55.80/56.07	WSVECS04 Frhs2[46]: 6 0 2.33336 shouldn't be
55.80/56.07	WSVECS04 Frhs2[53]: 6 0 1.06258 shouldn't be
55.80/56.07	WSVECS04 Frhs2[54]: 6 -1.00006 0 shouldn't be
55.80/56.07	WSVECS04 Frhs2[347]: 6 0 0.250076 shouldn't be
55.80/56.07	WSVECS04 Frhs2[368]: 6 0 1.00006 shouldn't be
55.80/56.07	WSVECS04 Frhs2[371]: 6 0 1.00002 shouldn't be
55.80/56.07	WSVECS04 Frhs2[454]: 6 0 1.00008 shouldn't be
55.80/56.07	WSVECS04 Frhs2[501]: 6 0 1.00002 shouldn't be
55.80/56.07	WSVECS04 Frhs2[506]: 6 0 2.00006 shouldn't be
55.80/56.07	WSVECS04 Frhs2[529]: 6 0 0.250066 shouldn't be
55.80/56.07	WSVECS04 Frhs2[601]: 6 0 1.00004 shouldn't be
55.80/56.07	WSVECS04 Frhs2[642]: 6 0 0.197962 shouldn't be
55.80/56.07	WSVECS04 Frhs2[647]: 6 0 0.500063 shouldn't be
55.80/56.07	WSVECS04 Frhs2[652]: 6 0 1.00002 shouldn't be
55.80/56.07	WSVECS04 Frhs2[717]: 6 0 1.00009 shouldn't be
55.80/56.07	WSVECS04 Frhs2[743]: 6 0 1.00008 shouldn't be
57.29/57.58	c #Conflicts:     268000 | #Constraints:      14974
57.29/57.58	c #Conflicts:     269000 | #Constraints:      15974
57.29/57.58	c #Conflicts:     270000 | #Constraints:      16974
57.29/57.58	c #Conflicts:     271000 | #Constraints:      17974
57.29/57.58	c #Conflicts:     272000 | #Constraints:      18974
57.29/57.58	c #Conflicts:     273000 | #Constraints:      19974
57.29/57.58	c #Conflicts:     274000 | #Constraints:      20974
57.29/57.58	c #Conflicts:     275000 | #Constraints:      21974
57.29/57.58	c #Conflicts:     276000 | #Constraints:      22974
57.29/57.58	WSVECS04 Frhs2[4]: 6 -1.16675 0 shouldn't be
57.29/57.58	WSVECS04 Frhs2[25]: 6 -1.16674 0 shouldn't be
57.29/57.58	WSVECS04 Frhs2[49]: 6 0 33.0001 shouldn't be
57.29/57.58	WSVECS04 Frhs2[52]: 6 -13.0556 0 shouldn't be
57.29/57.58	WSVECS04 Frhs2[73]: 6 0 0.500022 shouldn't be
57.29/57.58	WSVECS04 Frhs2[143]: 6 0 1.00005 shouldn't be
57.29/57.58	WSVECS04 Frhs2[150]: 6 0 1.00004 shouldn't be
57.29/57.58	WSVECS04 Frhs2[168]: 6 0 1.00003 shouldn't be
57.29/57.58	WSVECS04 Frhs2[193]: 6 0 1.00007 shouldn't be
57.29/57.58	WSVECS04 Frhs2[227]: 6 0 1.00008 shouldn't be
57.29/57.58	WSVECS04 Frhs2[302]: 6 0 1.16671 shouldn't be
57.29/57.58	WSVECS04 Frhs2[304]: 6 0 1.00009 shouldn't be
57.29/57.58	WSVECS04 Frhs2[354]: 6 0 2.16668 shouldn't be
57.29/57.58	WSVECS04 Frhs2[376]: 6 0 25.889 shouldn't be
57.29/57.58	WSVECS04 Frhs2[425]: 6 0 0.583383 shouldn't be
57.29/57.58	WSVECS04 Frhs2[430]: 6 0 6.00002 shouldn't be
57.29/57.58	WSVECS04 Frhs2[434]: 6 0 1.00006 shouldn't be
57.29/57.58	WSVECS04 Frhs2[435]: 6 0 1.00006 shouldn't be
57.29/57.58	WSVECS04 Frhs2[436]: 6 0 1.00005 shouldn't be
57.29/57.58	WSVECS04 Frhs2[454]: 6 0 25.8889 shouldn't be
57.29/57.58	WSVECS04 Frhs2[478]: 6 -0.500072 0 shouldn't be
57.29/57.58	WSVECS04 Frhs2[479]: 6 0 1.00007 shouldn't be
57.29/57.58	WSVECS04 Frhs2[503]: 6 0 0.416758 shouldn't be
57.29/57.58	WSVECS04 Frhs2[509]: 6 0 10.5556 shouldn't be
57.29/57.58	WSVECS04 Frhs2[556]: 6 0 0.500053 shouldn't be
57.29/57.58	WSVECS04 Frhs2[603]: 6 -0.50005 0 shouldn't be
57.29/57.58	WSVECS04 Frhs2[605]: 6 -1.0001 0 shouldn't be
57.29/57.58	WSVECS04 Frhs2[609]: 6 0 1.00007 shouldn't be
57.29/57.58	WSVECS04 Frhs2[620]: 6 0 1.00007 shouldn't be
57.29/57.58	WSVECS04 Frhs2[643]: 6 0 1.00002 shouldn't be
57.29/57.58	WSVECS04 Frhs2[650]: 6 0 0.500077 shouldn't be
57.29/57.58	WSVECS04 Frhs2[681]: 6 0 0.500045 shouldn't be
57.29/57.58	WSVECS04 Frhs2[697]: 6 -0.500022 0 shouldn't be
57.29/57.58	WSVECS04 Frhs2[702]: 6 -0.500096 0 shouldn't be
57.29/57.58	WSVECS04 Frhs2[706]: 6 0 1.00002 shouldn't be
57.29/57.58	WSVECS04 Frhs2[711]: 6 0 0.166738 shouldn't be
57.29/57.58	WSVECS04 Frhs2[714]: 6 0 0.666706 shouldn't be
57.29/57.58	WSVECS04 Frhs2[715]: 6 0 1.00002 shouldn't be
57.29/57.58	WSVECS04 Frhs2[722]: 6 0 1.00005 shouldn't be
57.29/57.58	WSVECS04 Frhs2[724]: 6 0 1.00007 shouldn't be
58.39/58.69	c #Conflicts:     277000 | #Constraints:      23974
58.39/58.69	c INPROCESSING
58.39/58.69	c GARBAGE COLLECT
58.39/58.69	c rational objective 142.075
59.58/59.87	c #Conflicts:     278000 | #Constraints:      14572
59.58/59.87	c #Conflicts:     279000 | #Constraints:      15572
59.58/59.87	c #Conflicts:     280000 | #Constraints:      16572
59.58/59.87	c #Conflicts:     281000 | #Constraints:      17572
59.58/59.87	c #Conflicts:     282000 | #Constraints:      18572
59.58/59.87	c #Conflicts:     283000 | #Constraints:      19572
59.58/59.87	c #Conflicts:     284000 | #Constraints:      20572
59.58/59.87	WSVECS04 Frhs2[31]: 6 -2.00002 0 shouldn't be
59.58/59.87	WSVECS04 Frhs2[41]: 6 -2.00002 0 shouldn't be
59.58/59.87	WSVECS04 Frhs2[43]: 6 -2.00007 0 shouldn't be
59.58/59.87	WSVECS04 Frhs2[54]: 6 -2.00008 0 shouldn't be
59.58/59.87	WSVECS04 Frhs2[123]: 6 0 1.00008 shouldn't be
59.58/59.87	WSVECS04 Frhs2[197]: 6 0 1.60005 shouldn't be
59.58/59.87	WSVECS04 Frhs2[239]: 6 0 0.600084 shouldn't be
59.58/59.87	WSVECS04 Frhs2[272]: 6 0 1.00004 shouldn't be
59.58/59.87	WSVECS04 Frhs2[273]: 6 0 1.00005 shouldn't be
59.58/59.87	WSVECS04 Frhs2[303]: 6 0 1.00002 shouldn't be
59.58/59.87	WSVECS04 Frhs2[325]: 6 0 1.00003 shouldn't be
59.58/59.87	WSVECS04 Frhs2[397]: 6 0 1.00005 shouldn't be
59.58/59.87	WSVECS04 Frhs2[423]: 6 0 1.00004 shouldn't be
59.58/59.87	WSVECS04 Frhs2[526]: 6 0 1.00007 shouldn't be
59.58/59.87	WSVECS04 Frhs2[530]: 6 0 1.00008 shouldn't be
59.58/59.87	WSVECS04 Frhs2[544]: 6 0 1.00009 shouldn't be
59.58/59.87	WSVECS04 Frhs2[555]: 6 -1.00008 0 shouldn't be
59.58/59.87	WSVECS04 Frhs2[559]: 6 -1.00002 0 shouldn't be
59.58/59.87	WSVECS04 Frhs2[564]: 6 0 1.00007 shouldn't be
59.58/59.87	WSVECS04 Frhs2[570]: 6 0 1.00006 shouldn't be
59.58/59.87	WSVECS04 Frhs2[616]: 6 0 1.00008 shouldn't be
59.58/59.87	WSVECS04 Frhs2[629]: 6 -1.00006 0 shouldn't be
59.58/59.87	WSVECS04 Frhs2[650]: 6 0 1.00004 shouldn't be
59.58/59.87	WSVECS04 Frhs2[720]: 6 -1.00009 0 shouldn't be
59.58/59.87	WSVECS04 Frhs2[732]: 6 -1.00001 0 shouldn't be
59.58/59.87	WSVECS04 Frhs2[749]: 6 0 1.00003 shouldn't be
59.58/59.87	WSVECS04 Frhs2[750]: 6 -1.00004 0 shouldn't be
60.78/61.01	c #Conflicts:     285000 | #Constraints:      21573
60.78/61.01	c #Conflicts:     286000 | #Constraints:      22573
60.78/61.01	c #Conflicts:     287000 | #Constraints:      23573
60.78/61.01	c #Conflicts:     288000 | #Constraints:      24573
60.78/61.01	c INPROCESSING
60.78/61.01	c GARBAGE COLLECT
60.78/61.01	c rational objective 142.079
61.78/62.10	c #Conflicts:     289000 | #Constraints:      14977
61.78/62.10	c #Conflicts:     290000 | #Constraints:      15977
61.78/62.10	c #Conflicts:     291000 | #Constraints:      16977
61.78/62.10	c #Conflicts:     292000 | #Constraints:      17977
61.78/62.10	c #Conflicts:     293000 | #Constraints:      18977
61.78/62.10	c #Conflicts:     294000 | #Constraints:      19977
61.78/62.10	WSVECS04 Frhs2[31]: 6 -1.00002 0 shouldn't be
61.78/62.10	WSVECS04 Frhs2[49]: 6 0 2.00009 shouldn't be
61.78/62.10	WSVECS04 Frhs2[50]: 6 0 1.00007 shouldn't be
61.78/62.10	WSVECS04 Frhs2[51]: 6 -2.00005 0 shouldn't be
61.78/62.10	WSVECS04 Frhs2[52]: 6 0 3.00004 shouldn't be
61.78/62.10	WSVECS04 Frhs2[53]: 6 0 1.00008 shouldn't be
61.78/62.10	WSVECS04 Frhs2[54]: 6 -1.00004 0 shouldn't be
61.78/62.10	WSVECS04 Frhs2[69]: 6 0 1.00008 shouldn't be
61.78/62.10	WSVECS04 Frhs2[343]: 6 0 1.00003 shouldn't be
61.78/62.10	WSVECS04 Frhs2[379]: 6 0 1.00004 shouldn't be
61.78/62.10	WSVECS04 Frhs2[403]: 6 -1.00004 0 shouldn't be
61.78/62.10	WSVECS04 Frhs2[421]: 6 0 1.00008 shouldn't be
61.78/62.10	WSVECS04 Frhs2[423]: 6 0 1.00006 shouldn't be
61.78/62.10	WSVECS04 Frhs2[430]: 6 0 1.00007 shouldn't be
61.78/62.10	WSVECS04 Frhs2[431]: 6 0 1.00004 shouldn't be
61.78/62.10	WSVECS04 Frhs2[433]: 6 0 1.00007 shouldn't be
61.78/62.10	WSVECS04 Frhs2[452]: 6 0 1.00006 shouldn't be
61.78/62.10	WSVECS04 Frhs2[456]: 6 0 1.00003 shouldn't be
61.78/62.10	WSVECS04 Frhs2[459]: 6 0 1.00004 shouldn't be
61.78/62.10	WSVECS04 Frhs2[477]: 6 0 1.00002 shouldn't be
61.78/62.10	WSVECS04 Frhs2[503]: 6 0 1.00003 shouldn't be
61.78/62.10	WSVECS04 Frhs2[520]: 6 0 1.00005 shouldn't be
61.78/62.10	WSVECS04 Frhs2[553]: 6 0 1.00005 shouldn't be
61.78/62.10	WSVECS04 Frhs2[554]: 6 0 1.00009 shouldn't be
61.78/62.10	WSVECS04 Frhs2[570]: 6 0 1.00007 shouldn't be
61.78/62.10	WSVECS04 Frhs2[630]: 6 -1.00009 0 shouldn't be
61.78/62.10	WSVECS04 Frhs2[669]: 6 0 1.00003 shouldn't be
61.78/62.10	WSVECS04 Frhs2[672]: 6 0 1.00004 shouldn't be
61.78/62.10	WSVECS04 Frhs2[694]: 6 -1.00006 0 shouldn't be
61.78/62.10	WSVECS04 Frhs2[698]: 6 0 1.00006 shouldn't be
61.78/62.10	WSVECS04 Frhs2[700]: 6 0 1.00004 shouldn't be
61.78/62.10	WSVECS04 Frhs2[719]: 6 0 1.00004 shouldn't be
61.78/62.10	WSVECS04 Frhs2[723]: 6 0 1.00003 shouldn't be
61.78/62.10	WSVECS04 Frhs2[745]: 6 0 1.00009 shouldn't be
61.78/62.10	WSVECS04 Frhs2[753]: 6 -0.750021 0 shouldn't be
62.37/62.62	c #Conflicts:     295000 | #Constraints:      20977
62.37/62.62	c #Conflicts:     296000 | #Constraints:      21977
62.37/62.62	c #Conflicts:     297000 | #Constraints:      22977
62.37/62.62	WSVECS04 Frhs2[41]: 6 0 2.55133 shouldn't be
62.37/62.62	WSVECS04 Frhs2[43]: 6 0 4.11547 shouldn't be
62.37/62.62	WSVECS04 Frhs2[44]: 6 0 3.4872 shouldn't be
62.37/62.62	WSVECS04 Frhs2[95]: 6 0 0.333385 shouldn't be
62.37/62.62	WSVECS04 Frhs2[124]: 6 0 0.256432 shouldn't be
62.37/62.62	WSVECS04 Frhs2[174]: 6 0 0.333345 shouldn't be
62.37/62.62	WSVECS04 Frhs2[249]: 6 0 0.333427 shouldn't be
62.37/62.62	WSVECS04 Frhs2[324]: 6 0 0.333369 shouldn't be
62.37/62.62	WSVECS04 Frhs2[395]: 6 0 1.00007 shouldn't be
62.37/62.62	WSVECS04 Frhs2[399]: 6 0 0.333414 shouldn't be
62.37/62.62	WSVECS04 Frhs2[445]: 6 0 1.00005 shouldn't be
62.37/62.62	WSVECS04 Frhs2[474]: 6 0 0.333396 shouldn't be
62.37/62.62	WSVECS04 Frhs2[482]: 6 0 0.333412 shouldn't be
62.37/62.62	WSVECS04 Frhs2[494]: 6 0 1.00009 shouldn't be
62.37/62.62	WSVECS04 Frhs2[496]: 6 0 0.115408 shouldn't be
62.37/62.62	WSVECS04 Frhs2[522]: 6 -0.884678 0 shouldn't be
62.37/62.62	WSVECS04 Frhs2[581]: 6 0 0.33343 shouldn't be
62.37/62.62	WSVECS04 Frhs2[585]: 6 0 0.64105 shouldn't be
62.37/62.62	WSVECS04 Frhs2[586]: 6 0 0.333348 shouldn't be
62.37/62.62	WSVECS04 Frhs2[589]: 6 0 0.333403 shouldn't be
62.37/62.62	WSVECS04 Frhs2[591]: 6 0 0.769252 shouldn't be
62.37/62.62	WSVECS04 Frhs2[592]: 6 0 0.230845 shouldn't be
62.37/62.62	WSVECS04 Frhs2[597]: 6 0 0.333392 shouldn't be
62.97/63.23	c #Conflicts:     298000 | #Constraints:      23977
62.97/63.23	c #Conflicts:     299000 | #Constraints:      24977
62.97/63.23	c INPROCESSING
62.97/63.23	c GARBAGE COLLECT
62.97/63.23	c rational objective 142.079
64.78/65.01	c #Conflicts:     300000 | #Constraints:      15179
64.78/65.01	c #Conflicts:     301000 | #Constraints:      16179
64.78/65.01	c #Conflicts:     302000 | #Constraints:      17179
64.78/65.01	c #Conflicts:     303000 | #Constraints:      18179
64.78/65.01	c #Conflicts:     304000 | #Constraints:      19179
64.78/65.01	c #Conflicts:     305000 | #Constraints:      20179
64.78/65.01	c #Conflicts:     306000 | #Constraints:      21179
64.78/65.01	c #Conflicts:     307000 | #Constraints:      22179
64.78/65.01	c #Conflicts:     308000 | #Constraints:      23179
64.78/65.01	c #Conflicts:     309000 | #Constraints:      24179
64.78/65.01	WSVECS04 Frhs2[52]: 6 -1.00009 0 shouldn't be
64.78/65.01	WSVECS04 Frhs2[54]: 6 0 1.87662 shouldn't be
64.78/65.01	WSVECS04 Frhs2[95]: 6 0 0.135876 shouldn't be
64.78/65.01	WSVECS04 Frhs2[105]: 6 0 0.53088 shouldn't be
64.78/65.01	WSVECS04 Frhs2[151]: 6 0 1.00007 shouldn't be
64.78/65.01	WSVECS04 Frhs2[251]: 6 0 0.864236 shouldn't be
64.78/65.01	WSVECS04 Frhs2[276]: 6 0 0.530886 shouldn't be
64.78/65.01	WSVECS04 Frhs2[326]: 6 0 1.00008 shouldn't be
64.78/65.01	WSVECS04 Frhs2[341]: 6 0 1.00004 shouldn't be
64.78/65.01	WSVECS04 Frhs2[351]: 6 0 1.00002 shouldn't be
64.78/65.01	WSVECS04 Frhs2[380]: 6 0 0.469186 shouldn't be
64.78/65.01	WSVECS04 Frhs2[383]: 6 0 0.555636 shouldn't be
64.78/65.01	WSVECS04 Frhs2[391]: 6 0 1.00006 shouldn't be
64.78/65.01	WSVECS04 Frhs2[392]: 6 0 1.00002 shouldn't be
64.78/65.01	WSVECS04 Frhs2[426]: 6 0 1.0001 shouldn't be
64.78/65.01	WSVECS04 Frhs2[443]: 6 0 0.469187 shouldn't be
64.78/65.01	WSVECS04 Frhs2[452]: 6 0 1.00005 shouldn't be
64.78/65.01	WSVECS04 Frhs2[477]: 6 0 1.00009 shouldn't be
64.78/65.01	WSVECS04 Frhs2[580]: 6 -1.00003 0 shouldn't be
64.78/65.01	WSVECS04 Frhs2[603]: 6 0 0.592666 shouldn't be
64.78/65.01	WSVECS04 Frhs2[629]: 6 0 0.59264 shouldn't be
64.78/65.01	WSVECS04 Frhs2[639]: 6 0 0.456877 shouldn't be
64.78/65.01	WSVECS04 Frhs2[643]: 6 0 0.555645 shouldn't be
64.78/65.01	WSVECS04 Frhs2[655]: 6 0 1.00007 shouldn't be
64.78/65.01	WSVECS04 Frhs2[672]: 6 0 1.00007 shouldn't be
64.78/65.01	WSVECS04 Frhs2[673]: 6 0 0.500081 shouldn't be
64.78/65.01	WSVECS04 Frhs2[743]: 6 0 0.543271 shouldn't be
64.78/65.01	WSVECS04 Frhs2[747]: 6 0 0.148239 shouldn't be
64.78/65.01	WSVECS04 Frhs2[751]: 6 -0.500077 0 shouldn't be
64.78/65.01	WSVECS04 Frhs2[754]: 6 0 0.500089 shouldn't be
65.36/65.67	c #Conflicts:     310000 | #Constraints:      25179
65.36/65.67	c INPROCESSING
65.36/65.67	c GARBAGE COLLECT
65.36/65.67	c rational objective 142.079
65.66/65.90	c #Conflicts:     311000 | #Constraints:      13988
65.66/65.90	c #Conflicts:     312000 | #Constraints:      14988
65.66/65.90	c cpu time 62.8632 s
65.66/65.90	c deterministic time 1532596256 1.53e+09
65.66/65.90	c optimization time 8.2e-05 s
65.66/65.90	c total solve time 62.8321 s
65.66/65.90	c core-guided solve time 0 s
65.66/65.90	c propagation time 33.2505 s
65.66/65.90	c conflict analysis time 7.90862 s
65.66/65.90	c propagations 37013199
65.66/65.90	c resolve steps 5475861
65.66/65.90	c decisions 386000
65.66/65.90	c conflicts 312042
65.66/65.90	c restarts 763
65.66/65.90	c inprocessing phases 47
65.66/65.90	c input clauses 3538
65.66/65.90	c input cardinalities 3
65.66/65.90	c input general constraints 0
65.66/65.90	c input average constraint length 3.21
65.66/65.90	c input average constraint degree 1.01
65.66/65.90	c learned clauses 288741
65.66/65.90	c learned cardinalities 10454
65.66/65.90	c learned general constraints 12869
65.66/65.90	c learned average constraint length 43.58
65.66/65.90	c learned average constraint degree 116693.64
65.66/65.90	c watched constraints 12228
65.66/65.90	c counting constraints 641
65.66/65.90	c gcd simplifications 245
65.66/65.90	c detected cardinalities 228
65.66/65.90	c weakened non-implied lits 419461
65.66/65.90	c weakened non-implying lits 537
65.66/65.90	c original variables 756
65.66/65.90	c clausal propagations 35897769
65.66/65.90	c cardinality propagations 601697
65.66/65.90	c watched propagations 157239
65.66/65.90	c counting propagations 34784
65.66/65.90	c watch lookups 427016037
65.66/65.90	c watch backjump lookups 19779420
65.66/65.90	c watch checks 911703715
65.66/65.90	c propagation checks 57904342
65.66/65.90	c constraint additions 40557574
65.66/65.90	c trail pops 37710999
65.66/65.90	c formula constraints 3541
65.66/65.90	c learned constraints 312018
65.66/65.90	c bound constraints 0
65.66/65.90	c core-guided constraints 0
65.66/65.90	c encountered formula constraints 4440580
65.66/65.90	c encountered learned constraints 1347279
65.66/65.90	c encountered bound constraints 0
65.66/65.90	c encountered core-guided constraints 0
65.66/65.90	c LP total time 35.99 s
65.66/65.90	c LP solve time 35.62 s
65.66/65.90	c LP constraints added 4066
65.66/65.90	c LP constraints removed 478
65.66/65.90	c LP pivots internal 312099
65.66/65.90	c LP pivots root 212870
65.66/65.90	c LP calls 300
65.66/65.90	c LP optimalities 273
65.66/65.90	c LP no pivot count 0
65.66/65.90	c LP infeasibilities 23
65.66/65.90	c LP valid Farkas constraints 23
65.66/65.90	c LP learned Farkas constraints 23
65.66/65.90	c LP basis resets 0
65.66/65.90	c LP cycling count 0
65.66/65.90	c LP singular count 0
65.66/65.90	c LP no primal count 0
65.66/65.90	c LP no farkas count 0
65.66/65.90	c LP other issue count 0
65.66/65.90	c LP Gomory cuts 0
65.66/65.90	c LP learned cuts 525
65.66/65.90	c LP deleted cuts 478
65.66/65.90	c LP encountered Gomory constraints 0
65.66/65.90	c LP encountered Farkas constraints 3
65.66/65.90	c LP encountered learned Farkas constraints 18
65.66/65.90	c CG auxiliary variables introduced 0
65.66/65.90	c CG solutions found 0
65.66/65.90	c CG cores constructed 0
65.66/65.90	c CG core cardinality constraints returned 0
65.66/65.90	c CG unit cores 0
65.66/65.90	c CG single cores 0
65.66/65.90	c CG blocks removed during cardinality reduction 0
65.66/65.90	c CG first core best 0
65.66/65.90	c CG decision core best 0
65.66/65.90	c CG core reduction tie 0
65.66/65.90	c CG core degree average 0.00
65.66/65.90	c CG core slack average 0.00
65.66/65.90	s UNSATISFIABLE