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

ERROR: no interpretation found !

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10069 s]*
/proc/loadavg: 4.12 4.24 4.19 5/242 240372
/proc/meminfo: memFree=116991788/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=40232 memory=9848 CPUtime=0.09 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 1219 0 0 0 9 0 0 0 20 0 1 0 19966888 41197568 2462 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 10058 2462 1713 992 0 1916 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40232 KiB
Current children cumulated memory: 9848 KiB

[startup+0.212713 s]*
/proc/loadavg: 4.12 4.24 4.19 5/242 240372
/proc/meminfo: memFree=116991324/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=40376 memory=10112 CPUtime=0.21 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 1292 0 0 0 20 1 0 0 20 0 1 0 19966888 41345024 2528 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 10094 2528 1713 992 0 1952 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40376 KiB
Current children cumulated memory: 10112 KiB

[startup+0.311902 s]*
/proc/loadavg: 4.12 4.24 4.19 5/242 240372
/proc/meminfo: memFree=116990876/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=40820 memory=10760 CPUtime=0.31 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 1376 0 0 0 29 2 0 0 20 0 1 0 19966888 41799680 2690 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 10205 2690 1745 992 0 2063 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40820 KiB
Current children cumulated memory: 10760 KiB

[startup+0.700251 s]
/proc/loadavg: 4.12 4.24 4.19 5/242 240372
/proc/meminfo: memFree=116990736/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=40820 memory=11440 CPUtime=0.68 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 1445 0 0 0 65 3 0 0 20 0 1 0 19966888 41799680 2860 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 10205 2860 1856 992 0 2063 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40820 KiB
Current children cumulated memory: 11440 KiB

[startup+1.50029 s]
/proc/loadavg: 4.12 4.24 4.19 6/242 240372
/proc/meminfo: memFree=116989504/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=40820 memory=11440 CPUtime=1.48 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 1476 0 0 0 141 7 0 0 20 0 1 0 19966888 41799680 2860 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 10205 2860 1856 992 0 2063 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40820 KiB
Current children cumulated memory: 11440 KiB

[startup+3.11287 s]
/proc/loadavg: 4.11 4.24 4.19 6/242 240372
/proc/meminfo: memFree=116981572/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=41288 memory=11968 CPUtime=3.09 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 1623 0 0 0 297 12 0 0 20 0 1 0 19966888 42278912 2992 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 10322 2992 1856 992 0 2180 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41288 KiB
Current children cumulated memory: 11968 KiB

[startup+6.30028 s]
/proc/loadavg: 4.11 4.24 4.19 6/242 240372
/proc/meminfo: memFree=116965164/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=42292 memory=13260 CPUtime=6.27 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 1999 0 0 0 600 27 0 0 20 0 1 0 19966888 43307008 3315 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 10573 3315 1856 992 0 2431 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42292 KiB
Current children cumulated memory: 13260 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.23 4.19 6/242 240374
/proc/meminfo: memFree=116947532/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=42760 memory=13952 CPUtime=12.65 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 2225 0 0 0 1212 53 0 0 20 0 1 0 19966888 43786240 3488 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 10690 3488 1856 992 0 2548 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 42760 KiB
Current children cumulated memory: 13952 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.22 4.19 6/242 240375
/proc/meminfo: memFree=116900680/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=43536 memory=17044 CPUtime=25.43 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 2490 0 0 0 2438 105 0 0 20 0 1 0 19966888 44580864 4261 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 10884 4261 1856 992 0 2742 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 43536 KiB
Current children cumulated memory: 17044 KiB

[startup+51.113 s]
/proc/loadavg: 4.32 4.27 4.20 6/244 240384
/proc/meminfo: memFree=116813188/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=44732 memory=18080 CPUtime=50.98 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 2774 0 0 0 4895 203 0 0 20 0 1 0 19966888 45805568 4520 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 11183 4520 1856 992 0 3041 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 44732 KiB
Current children cumulated memory: 18080 KiB

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

# cumulated CPU time of all completed processes:  user=63.0627 s, system=2.58956 s

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

[startup+51.2004 s]
/proc/loadavg: 4.32 4.27 4.20 6/244 240384
/proc/meminfo: memFree=116813188/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=44732 memory=18080 CPUtime=51.06 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 2774 0 0 0 4903 203 0 0 20 0 1 0 19966888 45805568 4520 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 11183 4520 1856 992 0 3041 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 44732 KiB
Current children cumulated memory: 18080 KiB

[startup+57.6003 s]
/proc/loadavg: 4.27 4.26 4.20 6/244 240384
/proc/meminfo: memFree=116796000/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=44732 memory=18340 CPUtime=57.45 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 2805 0 0 0 5518 227 0 0 20 0 1 0 19966888 45805568 4585 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 11183 4585 1856 992 0 3041 0
Current children cumulated CPU time: 57.45 s
Current children cumulated vsize: 44732 KiB
Current children cumulated memory: 18340 KiB

[startup+60.8003 s]
/proc/loadavg: 4.27 4.26 4.20 6/244 240387
/proc/meminfo: memFree=116782960/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=44732 memory=18340 CPUtime=60.64 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 2805 0 0 0 5825 239 0 0 20 0 1 0 19966888 45805568 4585 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 11183 4585 1856 992 0 3041 0
Current children cumulated CPU time: 60.64 s
Current children cumulated vsize: 44732 KiB
Current children cumulated memory: 18340 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.25 4.25 4.20 6/244 240387
/proc/meminfo: memFree=116767900/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=44732 memory=18340 CPUtime=63.84 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 2814 0 0 0 6133 251 0 0 20 0 1 0 19966888 45805568 4585 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 11183 4585 1856 992 0 3041 0
Current children cumulated CPU time: 63.84 s
Current children cumulated vsize: 44732 KiB
Current children cumulated memory: 18340 KiB

[startup+64.8003 s]
/proc/loadavg: 4.25 4.25 4.20 6/244 240387
/proc/meminfo: memFree=116767900/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=44732 memory=18340 CPUtime=64.63 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 2814 0 0 0 6210 253 0 0 20 0 1 0 19966888 45805568 4585 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 11183 4585 1856 992 0 3041 0
Current children cumulated CPU time: 64.63 s
Current children cumulated vsize: 44732 KiB
Current children cumulated memory: 18340 KiB

[startup+65.6003 s]
/proc/loadavg: 4.25 4.25 4.20 6/244 240387
/proc/meminfo: memFree=116761732/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=44968 memory=18600 CPUtime=65.43 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 2870 0 0 0 6286 257 0 0 20 0 1 0 19966888 46047232 4650 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 11242 4650 1856 992 0 3100 0
Current children cumulated CPU time: 65.43 s
Current children cumulated vsize: 44968 KiB
Current children cumulated memory: 18600 KiB

[startup+65.8003 s]
/proc/loadavg: 4.25 4.25 4.20 6/244 240387
/proc/meminfo: memFree=116761732/131655788 swapFree=131061684/131071996
[pid=240371] ppid=240368 vsize=44968 memory=18600 CPUtime=65.63 cores=1,3
/proc/240371/stat : 240371 (roundingsat) R 240368 240371 236188 0 -1 4194304 2870 0 0 0 6305 258 0 0 20 0 1 0 19966888 46047232 4650 134679101440 4194304 8254037 140727091933808 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 9678848 140727091938144 140727091938406 140727091938406 140727091945417 0
/proc/240371/statm: 11242 4650 1856 992 0 3100 0
Current children cumulated CPU time: 65.63 s
Current children cumulated vsize: 44968 KiB
Current children cumulated memory: 18600 KiB

Child status: 0

Real time (s): 65.8252
CPU time (s): 65.6523
CPU user time (s): 63.0627
CPU system time (s): 2.58956
CPU usage (%): 99.7373
Max. virtual memory (cumulated for all children) (KiB): 44968
Max. memory (cumulated for all children) (KiB): 18600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.0627
system time used= 2.58956
maximum resident set size= 18940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2878
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 395
involuntary context switches= 92


# summary of solver processes directly reported to runsolver:
#   pid: 240371
#   total CPU time (s): 65.6523
#   total CPU user time (s): 63.0627
#   total CPU system time (s): 2.58956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.327556 second user time and 0.705769 second system time

The end

Begin job on nodeC011 at 2024-07-24 18:49:30
IDJOB=4457384
IDBENCH=162873
IDSOLVER=3085
FILE ID=nodeC011/4457384-1721839770
RUNJOBID= nodeC011-1721833727-236200
SLURM_JOB_ID= 7891542
Free space on /tmp= 723764 MiB

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

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

MD5SUM BENCH= e9c3493a278c61b5f4e5e80a3fb48e99
RANDOM SEED=376805924

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        116995924 kB
MemAvailable:   129780868 kB
Buffers:          259620 kB
Cached:         13348120 kB
SwapCached:          164 kB
Active:          1708512 kB
Inactive:       12397952 kB
Active(anon):       2124 kB
Inactive(anon):   549340 kB
Active(file):    1706388 kB
Inactive(file): 11848612 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061684 kB
Dirty:             19868 kB
Writeback:             0 kB
AnonPages:        498316 kB
Mapped:           106632 kB
Shmem:             52980 kB
KReclaimable:     140288 kB
Slab:             244704 kB
SReclaimable:     140288 kB
SUnreclaim:       104416 kB
KernelStack:        3936 kB
PageTables:        10716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     842564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10912 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      424776 kB
DirectMap2M:    46665728 kB
DirectMap1G:    89128960 kB

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