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