0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.01	c #variables 756 #constraints 3541
1.09/1.10	c #Conflicts:       1000 | #Constraints:       4541
1.09/1.10	c #Conflicts:       2000 | #Constraints:       5541
1.09/1.10	c INPROCESSING
1.09/1.10	c GARBAGE COLLECT
1.09/1.10	c #Conflicts:       3000 | #Constraints:       5328
1.09/1.10	c #Conflicts:       4000 | #Constraints:       6329
1.09/1.10	c INPROCESSING
1.09/1.10	c GARBAGE COLLECT
1.09/1.10	c #Conflicts:       5000 | #Constraints:       5732
1.09/1.10	WSVECS04 Frhs2[111]: 6 0 1.00004 shouldn't be
1.09/1.10	WSVECS04 Frhs2[237]: 6 0 0.1667 shouldn't be
3.39/3.40	c #Conflicts:       6000 | #Constraints:       6732
3.39/3.40	c INPROCESSING
3.39/3.40	c GARBAGE COLLECT
3.39/3.40	c #Conflicts:       7000 | #Constraints:       5743
3.39/3.40	c #Conflicts:       8000 | #Constraints:       6743
3.39/3.40	c #Conflicts:       9000 | #Constraints:       7744
3.39/3.40	c INPROCESSING
3.39/3.40	c GARBAGE COLLECT
3.39/3.40	c #Conflicts:      10000 | #Constraints:       6443
3.39/3.40	c #Conflicts:      11000 | #Constraints:       7443
3.39/3.40	c #Conflicts:      12000 | #Constraints:       8443
3.39/3.40	c INPROCESSING
3.39/3.40	c GARBAGE COLLECT
3.39/3.40	c #Conflicts:      13000 | #Constraints:       6893
3.39/3.40	c #Conflicts:      14000 | #Constraints:       7894
3.39/3.40	c #Conflicts:      15000 | #Constraints:       8896
3.39/3.40	c INPROCESSING
3.39/3.40	c GARBAGE COLLECT
3.39/3.40	c rational objective 140.75
4.28/4.35	c #Conflicts:      16000 | #Constraints:       7120
4.28/4.35	c #Conflicts:      17000 | #Constraints:       8121
4.28/4.35	c #Conflicts:      18000 | #Constraints:       9121
4.28/4.35	c INPROCESSING
4.28/4.35	c GARBAGE COLLECT
4.28/4.35	c #Conflicts:      19000 | #Constraints:       7138
4.28/4.35	c #Conflicts:      20000 | #Constraints:       8138
4.28/4.35	c #Conflicts:      21000 | #Constraints:       9138
4.28/4.35	c INPROCESSING
4.28/4.35	c GARBAGE COLLECT
4.28/4.35	c #Conflicts:      22000 | #Constraints:       6943
4.28/4.35	WSVECS04 Frhs2[35]: 6 0 7.50004 shouldn't be
4.28/4.35	WSVECS04 Frhs2[37]: 6 -111.5 0 shouldn't be
4.28/4.35	WSVECS04 Frhs2[45]: 6 -135 0 shouldn't be
4.28/4.35	WSVECS04 Frhs2[47]: 6 -111.5 0 shouldn't be
4.28/4.35	WSVECS04 Frhs2[54]: 6 -111.5 0 shouldn't be
4.28/4.35	WSVECS04 Frhs2[60]: 6 0 1.0001 shouldn't be
4.28/4.35	WSVECS04 Frhs2[71]: 6 0 1.00003 shouldn't be
4.28/4.35	WSVECS04 Frhs2[86]: 6 0 1.00008 shouldn't be
4.28/4.35	WSVECS04 Frhs2[128]: 6 0 1.50002 shouldn't be
4.28/4.35	WSVECS04 Frhs2[138]: 6 0 1.00001 shouldn't be
4.28/4.35	WSVECS04 Frhs2[164]: 6 0 1.00005 shouldn't be
4.28/4.35	WSVECS04 Frhs2[186]: 6 0 1.00004 shouldn't be
4.28/4.35	WSVECS04 Frhs2[190]: 6 0 1.00009 shouldn't be
4.28/4.35	WSVECS04 Frhs2[192]: 6 0 1.00003 shouldn't be
4.28/4.35	WSVECS04 Frhs2[231]: 6 0 1.00003 shouldn't be
4.28/4.35	WSVECS04 Frhs2[311]: 6 0 1.00003 shouldn't be
4.28/4.35	WSVECS04 Frhs2[372]: 6 0 1.00001 shouldn't be
4.28/4.35	WSVECS04 Frhs2[380]: 6 0 1.00002 shouldn't be
4.28/4.35	WSVECS04 Frhs2[386]: 6 0 1.00001 shouldn't be
4.28/4.35	WSVECS04 Frhs2[392]: 6 0 1.00008 shouldn't be
4.28/4.35	WSVECS04 Frhs2[394]: 6 0 1.00005 shouldn't be
4.28/4.35	WSVECS04 Frhs2[398]: 6 0 1.00003 shouldn't be
4.28/4.35	WSVECS04 Frhs2[411]: 6 0 1.00006 shouldn't be
4.28/4.35	WSVECS04 Frhs2[498]: 6 0 1.00008 shouldn't be
4.28/4.35	WSVECS04 Frhs2[505]: 6 0 1.00003 shouldn't be
4.28/4.35	WSVECS04 Frhs2[515]: 6 0 1.00006 shouldn't be
4.28/4.35	WSVECS04 Frhs2[517]: 6 -1.00008 0 shouldn't be
4.28/4.35	WSVECS04 Frhs2[541]: 6 0 1.00005 shouldn't be
4.28/4.35	WSVECS04 Frhs2[564]: 6 0 60 shouldn't be
4.28/4.35	WSVECS04 Frhs2[573]: 6 0 1.00003 shouldn't be
4.28/4.35	WSVECS04 Frhs2[666]: 6 0 1.00004 shouldn't be
4.28/4.35	WSVECS04 Frhs2[683]: 6 0 1.00001 shouldn't be
4.28/4.35	WSVECS04 Frhs2[692]: 6 0 1.00006 shouldn't be
4.88/4.98	c #Conflicts:      23000 | #Constraints:       7944
4.88/4.98	c #Conflicts:      24000 | #Constraints:       8944
4.88/4.98	c #Conflicts:      25000 | #Constraints:       9944
4.88/4.98	c INPROCESSING
4.88/4.98	c GARBAGE COLLECT
4.88/4.98	c rational objective 141.5
6.08/6.15	c #Conflicts:      26000 | #Constraints:       7552
6.08/6.15	c #Conflicts:      27000 | #Constraints:       8552
6.08/6.15	c #Conflicts:      28000 | #Constraints:       9554
6.08/6.15	c #Conflicts:      29000 | #Constraints:      10554
6.08/6.15	c INPROCESSING
6.08/6.15	c GARBAGE COLLECT
6.08/6.15	c rational objective 141.659
6.67/6.73	c #Conflicts:      30000 | #Constraints:       7955
6.67/6.73	c #Conflicts:      31000 | #Constraints:       8955
6.67/6.73	c #Conflicts:      32000 | #Constraints:       9955
6.67/6.73	c #Conflicts:      33000 | #Constraints:      10955
6.67/6.73	c INPROCESSING
6.67/6.73	c GARBAGE COLLECT
6.67/6.73	c #Conflicts:      34000 | #Constraints:       8159
6.67/6.73	WSVECS04 Frhs2[10]: 6 0 2.00006 shouldn't be
6.67/6.73	WSVECS04 Frhs2[32]: 6 0 1.00004 shouldn't be
6.67/6.73	WSVECS04 Frhs2[41]: 6 0 2.0001 shouldn't be
6.67/6.73	WSVECS04 Frhs2[43]: 6 -1.00007 0 shouldn't be
6.67/6.73	WSVECS04 Frhs2[54]: 6 0 1.00003 shouldn't be
6.67/6.73	WSVECS04 Frhs2[114]: 6 0 1.00008 shouldn't be
6.67/6.73	WSVECS04 Frhs2[168]: 6 0 1.00004 shouldn't be
6.67/6.73	WSVECS04 Frhs2[214]: 6 0 2.00005 shouldn't be
6.67/6.73	WSVECS04 Frhs2[261]: 6 -1.00007 0 shouldn't be
6.67/6.73	WSVECS04 Frhs2[292]: 6 0 1.00006 shouldn't be
6.67/6.73	WSVECS04 Frhs2[298]: 6 0 1.00006 shouldn't be
6.67/6.73	WSVECS04 Frhs2[304]: 6 0 1.00002 shouldn't be
6.67/6.73	WSVECS04 Frhs2[305]: 6 0 0.500075 shouldn't be
6.67/6.73	WSVECS04 Frhs2[317]: 6 0 1.00008 shouldn't be
6.67/6.73	WSVECS04 Frhs2[318]: 6 0 1.00001 shouldn't be
6.67/6.73	WSVECS04 Frhs2[330]: 6 0 1.00002 shouldn't be
6.67/6.73	WSVECS04 Frhs2[333]: 6 0 1.00006 shouldn't be
6.67/6.73	WSVECS04 Frhs2[337]: 6 0 1.00005 shouldn't be
6.67/6.73	WSVECS04 Frhs2[383]: 6 -0.50003 0 shouldn't be
6.67/6.73	WSVECS04 Frhs2[416]: 6 0 1.00005 shouldn't be
6.67/6.73	WSVECS04 Frhs2[435]: 6 0 0.500088 shouldn't be
6.67/6.73	WSVECS04 Frhs2[715]: 6 0 1.00007 shouldn't be
6.67/6.73	WSVECS04 Frhs2[741]: 6 0 1.00002 shouldn't be
7.57/7.64	c #Conflicts:      35000 | #Constraints:       9159
7.57/7.64	c #Conflicts:      36000 | #Constraints:      10159
7.57/7.64	c #Conflicts:      37000 | #Constraints:      11159
7.57/7.64	c INPROCESSING
7.57/7.64	c GARBAGE COLLECT
7.57/7.64	c rational objective 141.7
8.17/8.26	c #Conflicts:      38000 | #Constraints:       8160
8.17/8.26	c #Conflicts:      39000 | #Constraints:       9161
8.17/8.26	c #Conflicts:      40000 | #Constraints:      10164
8.17/8.26	c #Conflicts:      41000 | #Constraints:      11167
8.17/8.26	c INPROCESSING
8.17/8.26	c GARBAGE COLLECT
8.17/8.26	WSVECS04 Frhs2[13]: 6 0 4.8775 shouldn't be
8.17/8.26	WSVECS04 Frhs2[40]: 6 0 62.0915 shouldn't be
8.17/8.26	WSVECS04 Frhs2[43]: 6 -151.477 0 shouldn't be
8.17/8.26	WSVECS04 Frhs2[53]: 6 -43.4102 0 shouldn't be
8.17/8.26	WSVECS04 Frhs2[71]: 6 0 79.8525 shouldn't be
8.17/8.26	WSVECS04 Frhs2[242]: 6 0 62.5317 shouldn't be
8.17/8.26	WSVECS04 Frhs2[271]: 6 0 13.7005 shouldn't be
8.17/8.26	WSVECS04 Frhs2[388]: 6 0 6.07662 shouldn't be
8.17/8.26	WSVECS04 Frhs2[401]: 6 0 13.7005 shouldn't be
8.17/8.26	WSVECS04 Frhs2[420]: 6 -83.7184 0 shouldn't be
8.17/8.26	WSVECS04 Frhs2[431]: 6 0 1.00002 shouldn't be
8.17/8.26	WSVECS04 Frhs2[442]: 6 -53.8393 0 shouldn't be
8.17/8.26	WSVECS04 Frhs2[495]: 6 -77.5066 0 shouldn't be
8.17/8.26	WSVECS04 Frhs2[501]: 6 0 25.8671 shouldn't be
8.17/8.26	WSVECS04 Frhs2[504]: 6 0 6.65104 shouldn't be
8.17/8.26	WSVECS04 Frhs2[513]: 6 0 86.7263 shouldn't be
8.17/8.26	WSVECS04 Frhs2[514]: 6 0 41.7579 shouldn't be
8.17/8.26	WSVECS04 Frhs2[518]: 6 0 13.2771 shouldn't be
8.17/8.26	WSVECS04 Frhs2[521]: 6 0 11.6392 shouldn't be
8.17/8.26	WSVECS04 Frhs2[568]: 6 0 15.1436 shouldn't be
8.17/8.26	WSVECS04 Frhs2[570]: 6 -9.97655 0 shouldn't be
8.17/8.26	WSVECS04 Frhs2[579]: 6 0 12.9705 shouldn't be
8.17/8.26	WSVECS04 Frhs2[581]: 6 0 1.00008 shouldn't be
8.17/8.26	WSVECS04 Frhs2[594]: 6 0 15.1436 shouldn't be
8.17/8.26	WSVECS04 Frhs2[618]: 6 0 41.758 shouldn't be
8.17/8.26	WSVECS04 Frhs2[620]: 6 0 15.1436 shouldn't be
8.17/8.26	WSVECS04 Frhs2[693]: 6 0 70.5037 shouldn't be
8.17/8.26	WSVECS04 Frhs2[698]: 6 0 10.9867 shouldn't be
8.27/8.35	WSVECS04 Frhs2[91]: 6 0 1.00002 shouldn't be
8.27/8.35	WSVECS04 Frhs2[117]: 6 0 1.0001 shouldn't be
8.27/8.35	WSVECS04 Frhs2[221]: 6 0 1.00002 shouldn't be
8.27/8.35	WSVECS04 Frhs2[552]: 6 0 1.00005 shouldn't be
8.27/8.35	WSVECS04 Frhs2[575]: 6 0 1.00003 shouldn't be
8.27/8.35	WSVECS04 Frhs2[578]: 6 0 1.00004 shouldn't be
8.27/8.35	WSVECS04 Frhs2[726]: 6 0 12.1937 shouldn't be
8.37/8.42	WSVECS04 Frhs2[175]: 6 0 18.6686 shouldn't be
8.37/8.42	WSVECS04 Frhs2[216]: 6 0 62.5317 shouldn't be
8.37/8.42	WSVECS04 Frhs2[367]: 6 0 47.5671 shouldn't be
8.37/8.42	WSVECS04 Frhs2[385]: 6 0 57.0365 shouldn't be
8.37/8.42	WSVECS04 Frhs2[394]: 6 0 6.54027 shouldn't be
8.37/8.42	WSVECS04 Frhs2[409]: 6 0 18.6687 shouldn't be
8.37/8.42	WSVECS04 Frhs2[423]: 6 -28.5356 0 shouldn't be
8.37/8.42	WSVECS04 Frhs2[432]: 6 0 1.00005 shouldn't be
8.37/8.42	WSVECS04 Frhs2[444]: 6 0 1.00002 shouldn't be
8.37/8.42	WSVECS04 Frhs2[493]: 6 0 1.00005 shouldn't be
8.37/8.42	WSVECS04 Frhs2[497]: 6 0 47.5671 shouldn't be
8.37/8.42	WSVECS04 Frhs2[519]: 6 0 1.00002 shouldn't be
8.37/8.42	WSVECS04 Frhs2[520]: 6 0 14.997 shouldn't be
8.37/8.42	WSVECS04 Frhs2[625]: 6 0 0.415745 shouldn't be
8.37/8.42	WSVECS04 Frhs2[691]: 6 0 1.00008 shouldn't be
8.37/8.42	WSVECS04 Frhs2[692]: 6 0 1.00004 shouldn't be
8.48/8.51	WSVECS04 Frhs2[468]: 6 0 2.67208 shouldn't be
8.57/8.60	WSVECS04 Frhs2[325]: 6 0 1.00008 shouldn't be
8.57/8.60	WSVECS04 Frhs2[376]: 6 0 1.00003 shouldn't be
8.57/8.60	WSVECS04 Frhs2[413]: 6 0 1.00004 shouldn't be
8.57/8.60	WSVECS04 Frhs2[505]: 6 0 1.00007 shouldn't be
8.57/8.60	WSVECS04 Frhs2[531]: 6 0 1.00004 shouldn't be
8.57/8.60	WSVECS04 Frhs2[623]: 6 0 1.00002 shouldn't be
8.57/8.60	WSVECS04 Frhs2[681]: 6 0 1.00004 shouldn't be
8.57/8.69	WSVECS04 Frhs2[13]: 6 0 4.87745 shouldn't be
8.57/8.69	WSVECS04 Frhs2[43]: 6 -151.477 0 shouldn't be
8.57/8.69	WSVECS04 Frhs2[53]: 6 -43.4101 0 shouldn't be
8.57/8.69	WSVECS04 Frhs2[166]: 6 0 75.2797 shouldn't be
8.57/8.69	WSVECS04 Frhs2[296]: 6 0 75.2797 shouldn't be
8.57/8.69	WSVECS04 Frhs2[401]: 6 0 13.7005 shouldn't be
8.57/8.69	WSVECS04 Frhs2[409]: 6 0 18.6686 shouldn't be
8.57/8.69	WSVECS04 Frhs2[420]: 6 -83.7184 0 shouldn't be
8.57/8.69	WSVECS04 Frhs2[468]: 6 0 2.672 shouldn't be
8.57/8.69	WSVECS04 Frhs2[495]: 6 -77.5066 0 shouldn't be
8.57/8.69	WSVECS04 Frhs2[501]: 6 0 25.8671 shouldn't be
8.57/8.69	WSVECS04 Frhs2[512]: 6 0 98.5027 shouldn't be
8.57/8.69	WSVECS04 Frhs2[514]: 6 0 41.7579 shouldn't be
8.57/8.69	WSVECS04 Frhs2[518]: 6 0 13.277 shouldn't be
8.57/8.69	WSVECS04 Frhs2[568]: 6 0 15.1435 shouldn't be
8.57/8.69	WSVECS04 Frhs2[618]: 6 0 41.7579 shouldn't be
8.57/8.69	WSVECS04 Frhs2[620]: 6 0 15.1435 shouldn't be
8.57/8.69	WSVECS04 Frhs2[648]: 6 0 64.9984 shouldn't be
8.57/8.69	WSVECS04 Frhs2[693]: 6 0 70.5037 shouldn't be
8.57/8.69	WSVECS04 Frhs2[698]: 6 0 10.9867 shouldn't be
8.67/8.75	WSVECS04 Frhs2[444]: 6 0 1 shouldn't be
8.78/8.81	WSVECS04 Frhs2[40]: 6 0 62.0915 shouldn't be
8.78/8.81	WSVECS04 Frhs2[195]: 6 0 1 shouldn't be
8.78/8.81	WSVECS04 Frhs2[405]: 6 0 1 shouldn't be
8.78/8.81	WSVECS04 Frhs2[423]: 6 -28.5355 0 shouldn't be
8.78/8.81	WSVECS04 Frhs2[431]: 6 0 1 shouldn't be
8.78/8.81	WSVECS04 Frhs2[504]: 6 0 6.65097 shouldn't be
8.78/8.81	WSVECS04 Frhs2[505]: 6 0 1 shouldn't be
8.78/8.81	WSVECS04 Frhs2[519]: 6 0 1 shouldn't be
8.78/8.81	WSVECS04 Frhs2[521]: 6 0 11.6392 shouldn't be
8.78/8.81	WSVECS04 Frhs2[570]: 6 -9.97646 0 shouldn't be
8.78/8.81	WSVECS04 Frhs2[575]: 6 0 1 shouldn't be
8.78/8.81	WSVECS04 Frhs2[594]: 6 0 15.1435 shouldn't be
8.78/8.81	WSVECS04 Frhs2[726]: 6 0 12.1936 shouldn't be
8.87/8.90	WSVECS04 Frhs2[579]: 6 0 12.9705 shouldn't be
8.87/8.97	WSVECS04 Frhs2[90]: 6 0 1 shouldn't be
8.87/8.97	WSVECS04 Frhs2[413]: 6 0 1 shouldn't be
8.87/8.97	WSVECS04 Frhs2[626]: 6 0 32.3322 shouldn't be
8.87/8.97	WSVECS04 Frhs2[652]: 6 0 32.3322 shouldn't be
9.08/9.12	WSVECS04 Frhs2[175]: 6 0 18.6686 shouldn't be
9.08/9.12	WSVECS04 Frhs2[216]: 6 0 62.5317 shouldn't be
9.08/9.12	WSVECS04 Frhs2[242]: 6 0 62.5317 shouldn't be
9.08/9.12	WSVECS04 Frhs2[300]: 6 0 45.8049 shouldn't be
9.08/9.12	WSVECS04 Frhs2[382]: 6 0 80.5172 shouldn't be
9.08/9.12	WSVECS04 Frhs2[385]: 6 0 57.0365 shouldn't be
9.08/9.12	WSVECS04 Frhs2[493]: 6 0 1 shouldn't be
9.08/9.12	WSVECS04 Frhs2[513]: 6 0 86.7262 shouldn't be
9.08/9.12	WSVECS04 Frhs2[515]: 6 0 62.5317 shouldn't be
9.08/9.12	WSVECS04 Frhs2[522]: 6 0 32.3322 shouldn't be
9.08/9.12	WSVECS04 Frhs2[548]: 6 0 32.3322 shouldn't be
9.08/9.12	WSVECS04 Frhs2[625]: 6 0 0.415686 shouldn't be
9.17/9.29	WSVECS04 Frhs2[116]: 6 0 1 shouldn't be
9.17/9.29	WSVECS04 Frhs2[350]: 6 0 1 shouldn't be
9.17/9.29	WSVECS04 Frhs2[376]: 6 0 1 shouldn't be
9.17/9.29	WSVECS04 Frhs2[388]: 6 0 6.0766 shouldn't be
9.17/9.29	WSVECS04 Frhs2[531]: 6 0 1 shouldn't be
9.17/9.29	WSVECS04 Frhs2[552]: 6 0 1 shouldn't be
9.17/9.29	WSVECS04 Frhs2[581]: 6 0 1 shouldn't be
9.37/9.46	WSVECS04 Frhs2[71]: 6 0 79.8525 shouldn't be
9.37/9.46	WSVECS04 Frhs2[96]: 6 0 122.804 shouldn't be
9.37/9.46	WSVECS04 Frhs2[271]: 6 0 13.7005 shouldn't be
9.37/9.46	WSVECS04 Frhs2[325]: 6 0 1 shouldn't be
9.37/9.46	WSVECS04 Frhs2[367]: 6 0 47.567 shouldn't be
9.37/9.46	WSVECS04 Frhs2[375]: 6 0 13.7005 shouldn't be
9.37/9.46	WSVECS04 Frhs2[387]: 6 0 1 shouldn't be
9.37/9.46	WSVECS04 Frhs2[395]: 6 0 1 shouldn't be
9.37/9.46	WSVECS04 Frhs2[421]: 6 0 1 shouldn't be
9.37/9.46	WSVECS04 Frhs2[442]: 6 -53.8392 0 shouldn't be
9.37/9.46	WSVECS04 Frhs2[471]: 6 0 47.567 shouldn't be
9.37/9.46	WSVECS04 Frhs2[497]: 6 0 47.567 shouldn't be
9.37/9.46	WSVECS04 Frhs2[520]: 6 0 14.9969 shouldn't be
11.37/11.41	c #Conflicts:      42000 | #Constraints:       7966
11.37/11.41	c #Conflicts:      43000 | #Constraints:       8966
11.37/11.41	c #Conflicts:      44000 | #Constraints:       9970
11.37/11.41	c #Conflicts:      45000 | #Constraints:      10975
11.37/11.41	c #Conflicts:      46000 | #Constraints:      11976
11.37/11.41	c INPROCESSING
11.37/11.41	c GARBAGE COLLECT
11.37/11.41	c #Conflicts:      47000 | #Constraints:       8570
11.37/11.41	c #Conflicts:      48000 | #Constraints:       9573
11.37/11.41	c #Conflicts:      49000 | #Constraints:      10575
11.37/11.41	c #Conflicts:      50000 | #Constraints:      11577
11.37/11.41	c #Conflicts:      51000 | #Constraints:      12579
11.37/11.41	c INPROCESSING
11.37/11.41	c GARBAGE COLLECT
11.37/11.41	c #Conflicts:      52000 | #Constraints:       8977
11.37/11.41	c #Conflicts:      53000 | #Constraints:       9982
11.37/11.41	c #Conflicts:      54000 | #Constraints:      10984
11.37/11.41	c #Conflicts:      55000 | #Constraints:      11987
11.37/11.41	c #Conflicts:      56000 | #Constraints:      12989
11.37/11.41	c INPROCESSING
11.37/11.41	c GARBAGE COLLECT
11.37/11.41	WSVECS04 Frhs2[5]: 6 0 1.00005 shouldn't be
11.37/11.41	WSVECS04 Frhs2[7]: 6 -82.1948 0 shouldn't be
11.37/11.41	WSVECS04 Frhs2[8]: 6 0 1.00009 shouldn't be
11.37/11.41	WSVECS04 Frhs2[14]: 6 0 1.00003 shouldn't be
11.37/11.41	WSVECS04 Frhs2[16]: 6 0 1.00006 shouldn't be
11.37/11.41	WSVECS04 Frhs2[34]: 6 0 42.7063 shouldn't be
11.37/11.41	WSVECS04 Frhs2[35]: 6 0 12.8151 shouldn't be
11.37/11.41	WSVECS04 Frhs2[36]: 6 0 35.3519 shouldn't be
11.37/11.41	WSVECS04 Frhs2[38]: 6 0 177.963 shouldn't be
11.37/11.41	WSVECS04 Frhs2[39]: 6 0 39.9752 shouldn't be
11.37/11.41	WSVECS04 Frhs2[40]: 6 0 78.2139 shouldn't be
11.37/11.41	WSVECS04 Frhs2[52]: 6 0 6.64998 shouldn't be
11.37/11.41	WSVECS04 Frhs2[56]: 6 0 5.69039 shouldn't be
11.37/11.41	WSVECS04 Frhs2[60]: 6 0 86.4126 shouldn't be
11.37/11.41	WSVECS04 Frhs2[72]: 6 0 7.99618 shouldn't be
11.37/11.41	WSVECS04 Frhs2[82]: 6 0 98.8112 shouldn't be
11.37/11.41	WSVECS04 Frhs2[107]: 6 0 35.7138 shouldn't be
11.37/11.41	WSVECS04 Frhs2[108]: 6 0 99.8112 shouldn't be
11.37/11.41	WSVECS04 Frhs2[110]: 6 0 1.00009 shouldn't be
11.37/11.41	WSVECS04 Frhs2[134]: 6 0 99.8112 shouldn't be
11.37/11.41	WSVECS04 Frhs2[136]: 6 0 1.00001 shouldn't be
11.37/11.41	WSVECS04 Frhs2[170]: 6 0 10.3273 shouldn't be
11.37/11.41	WSVECS04 Frhs2[189]: 6 0 9.90882 shouldn't be
11.37/11.41	WSVECS04 Frhs2[196]: 6 0 10.3273 shouldn't be
11.37/11.41	WSVECS04 Frhs2[208]: 6 0 14.9052 shouldn't be
11.37/11.41	WSVECS04 Frhs2[215]: 6 0 9.90884 shouldn't be
11.37/11.41	WSVECS04 Frhs2[234]: 6 -5.34586 0 shouldn't be
11.37/11.41	WSVECS04 Frhs2[237]: 6 0 40.2748 shouldn't be
11.37/11.41	WSVECS04 Frhs2[248]: 6 0 10.3273 shouldn't be
11.37/11.41	WSVECS04 Frhs2[263]: 6 0 40.2747 shouldn't be
11.37/11.41	WSVECS04 Frhs2[274]: 6 0 10.3273 shouldn't be
11.37/11.41	WSVECS04 Frhs2[289]: 6 -18.424 0 shouldn't be
11.37/11.41	WSVECS04 Frhs2[290]: 6 0 13.6149 shouldn't be
11.37/11.41	WSVECS04 Frhs2[308]: 6 0 26.2915 shouldn't be
11.37/11.41	WSVECS04 Frhs2[316]: 6 0 4.64555 shouldn't be
11.37/11.41	WSVECS04 Frhs2[322]: 6 0 7.10778 shouldn't be
11.37/11.41	WSVECS04 Frhs2[323]: 6 0 1.00007 shouldn't be
11.37/11.41	WSVECS04 Frhs2[342]: 6 0 4.64561 shouldn't be
11.37/11.41	WSVECS04 Frhs2[356]: 6 0 43.7063 shouldn't be
11.37/11.41	WSVECS04 Frhs2[368]: 6 -1.777 0 shouldn't be
11.37/11.41	WSVECS04 Frhs2[390]: 6 -5.31582 0 shouldn't be
11.37/11.41	WSVECS04 Frhs2[401]: 6 0 1.00001 shouldn't be
11.37/11.41	WSVECS04 Frhs2[414]: 6 0 17.3003 shouldn't be
11.37/11.41	WSVECS04 Frhs2[415]: 6 -24.5456 0 shouldn't be
11.37/11.41	WSVECS04 Frhs2[427]: 6 0 1.00008 shouldn't be
11.37/11.41	WSVECS04 Frhs2[442]: 6 0 22.3924 shouldn't be
11.37/11.41	WSVECS04 Frhs2[459]: 6 0 112.856 shouldn't be
11.37/11.41	WSVECS04 Frhs2[504]: 6 0 7.10776 shouldn't be
11.37/11.41	WSVECS04 Frhs2[544]: 6 0 1.00003 shouldn't be
11.37/11.41	WSVECS04 Frhs2[577]: 6 -1.0001 0 shouldn't be
11.37/11.41	WSVECS04 Frhs2[600]: 6 0 1.00004 shouldn't be
11.37/11.41	WSVECS04 Frhs2[625]: 6 0 0.444273 shouldn't be
11.37/11.41	WSVECS04 Frhs2[651]: 6 0 0.444329 shouldn't be
11.37/11.41	WSVECS04 Frhs2[704]: 6 0 1.00002 shouldn't be
11.37/11.41	WSVECS04 Frhs2[736]: 6 0 42.7063 shouldn't be
11.37/11.48	WSVECS04 Frhs2[5]: 6 0 1 shouldn't be
11.37/11.48	WSVECS04 Frhs2[7]: 6 -82.1948 0 shouldn't be
11.37/11.48	WSVECS04 Frhs2[8]: 6 0 1 shouldn't be
11.37/11.48	WSVECS04 Frhs2[11]: 6 0 1 shouldn't be
11.37/11.48	WSVECS04 Frhs2[14]: 6 0 1 shouldn't be
11.37/11.48	WSVECS04 Frhs2[16]: 6 0 1 shouldn't be
11.37/11.48	WSVECS04 Frhs2[34]: 6 0 42.7063 shouldn't be
11.37/11.48	WSVECS04 Frhs2[39]: 6 0 39.9752 shouldn't be
11.37/11.48	WSVECS04 Frhs2[47]: 6 0 29.4041 shouldn't be
11.37/11.48	WSVECS04 Frhs2[56]: 6 0 5.69031 shouldn't be
11.37/11.48	WSVECS04 Frhs2[107]: 6 0 35.7138 shouldn't be
11.37/11.48	WSVECS04 Frhs2[208]: 6 0 14.9051 shouldn't be
11.37/11.48	WSVECS04 Frhs2[234]: 6 -5.34578 0 shouldn't be
11.37/11.48	WSVECS04 Frhs2[289]: 6 -18.4239 0 shouldn't be
11.37/11.48	WSVECS04 Frhs2[316]: 6 0 4.64554 shouldn't be
11.37/11.48	WSVECS04 Frhs2[322]: 6 0 7.1077 shouldn't be
11.37/11.48	WSVECS04 Frhs2[342]: 6 0 4.64554 shouldn't be
11.37/11.48	WSVECS04 Frhs2[356]: 6 0 43.7063 shouldn't be
11.37/11.48	WSVECS04 Frhs2[368]: 6 -1.77692 0 shouldn't be
11.37/11.48	WSVECS04 Frhs2[504]: 6 0 7.1077 shouldn't be
11.37/11.48	WSVECS04 Frhs2[574]: 6 0 1 shouldn't be
11.37/11.48	WSVECS04 Frhs2[625]: 6 0 0.444232 shouldn't be
11.37/11.48	WSVECS04 Frhs2[651]: 6 0 0.444231 shouldn't be
11.37/11.48	WSVECS04 Frhs2[736]: 6 0 42.7063 shouldn't be
11.37/11.48	WSVECS04 Frhs2[746]: 6 -9.77309 0 shouldn't be
11.46/11.55	WSVECS04 Frhs2[35]: 6 0 12.815 shouldn't be
11.46/11.55	WSVECS04 Frhs2[36]: 6 0 35.3518 shouldn't be
11.46/11.55	WSVECS04 Frhs2[52]: 6 0 6.64994 shouldn't be
11.46/11.55	WSVECS04 Frhs2[108]: 6 0 99.8111 shouldn't be
11.46/11.55	WSVECS04 Frhs2[134]: 6 0 99.8111 shouldn't be
11.46/11.55	WSVECS04 Frhs2[170]: 6 0 10.3272 shouldn't be
11.46/11.55	WSVECS04 Frhs2[189]: 6 0 9.90876 shouldn't be
11.46/11.55	WSVECS04 Frhs2[196]: 6 0 10.3272 shouldn't be
11.46/11.55	WSVECS04 Frhs2[215]: 6 0 9.90876 shouldn't be
11.46/11.55	WSVECS04 Frhs2[248]: 6 0 10.3272 shouldn't be
11.46/11.55	WSVECS04 Frhs2[263]: 6 0 40.2747 shouldn't be
11.46/11.55	WSVECS04 Frhs2[274]: 6 0 10.3272 shouldn't be
11.46/11.55	WSVECS04 Frhs2[290]: 6 0 13.6149 shouldn't be
11.46/11.55	WSVECS04 Frhs2[310]: 6 0 55.3669 shouldn't be
11.46/11.55	WSVECS04 Frhs2[390]: 6 -5.31577 0 shouldn't be
11.46/11.55	WSVECS04 Frhs2[401]: 6 0 1 shouldn't be
11.46/11.55	WSVECS04 Frhs2[414]: 6 0 17.3003 shouldn't be
11.46/11.55	WSVECS04 Frhs2[544]: 6 0 1 shouldn't be
11.46/11.55	WSVECS04 Frhs2[600]: 6 0 1 shouldn't be
11.46/11.55	WSVECS04 Frhs2[704]: 6 0 1 shouldn't be
12.67/12.76	c #Conflicts:      57000 | #Constraints:       9176
12.67/12.76	c #Conflicts:      58000 | #Constraints:      10176
12.67/12.76	c #Conflicts:      59000 | #Constraints:      11176
12.67/12.76	c #Conflicts:      60000 | #Constraints:      12176
12.67/12.76	c #Conflicts:      61000 | #Constraints:      13176
12.67/12.76	c INPROCESSING
12.67/12.76	c GARBAGE COLLECT
12.67/12.76	c rational objective 141.723
13.76/13.88	c #Conflicts:      62000 | #Constraints:       9170
13.76/13.88	c #Conflicts:      63000 | #Constraints:      10170
13.76/13.88	c #Conflicts:      64000 | #Constraints:      11170
13.76/13.88	c #Conflicts:      65000 | #Constraints:      12170
13.76/13.88	c #Conflicts:      66000 | #Constraints:      13170
13.76/13.88	c INPROCESSING
13.76/13.88	c GARBAGE COLLECT
13.76/13.88	c rational objective 141.736
14.07/14.18	c #Conflicts:      67000 | #Constraints:       8971
14.07/14.18	c #Conflicts:      68000 | #Constraints:       9971
14.07/14.18	WSVECS04 Frhs2[3]: 6 -0.800042 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[8]: 6 -0.80003 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[9]: 6 -0.800083 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[10]: 6 -0.800012 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[11]: 6 -0.800084 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[13]: 6 -0.800097 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[21]: 6 -0.800073 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[33]: 6 -1.20005 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[35]: 6 -1.20005 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[36]: 6 0 0.400013 shouldn't be
14.07/14.18	WSVECS04 Frhs2[37]: 6 0 1.60005 shouldn't be
14.07/14.18	WSVECS04 Frhs2[52]: 6 -1.20007 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[59]: 6 0 1.00007 shouldn't be
14.07/14.18	WSVECS04 Frhs2[63]: 6 -1.00005 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[65]: 6 0 1.00007 shouldn't be
14.07/14.18	WSVECS04 Frhs2[78]: 6 0 1.00007 shouldn't be
14.07/14.18	WSVECS04 Frhs2[87]: 6 0 1.00003 shouldn't be
14.07/14.18	WSVECS04 Frhs2[150]: 6 -2.20001 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[180]: 6 0 1.00003 shouldn't be
14.07/14.18	WSVECS04 Frhs2[201]: 6 0 1.00007 shouldn't be
14.07/14.18	WSVECS04 Frhs2[282]: 6 0 1.00007 shouldn't be
14.07/14.18	WSVECS04 Frhs2[301]: 6 0 0.200026 shouldn't be
14.07/14.18	WSVECS04 Frhs2[306]: 6 -1.00005 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[308]: 6 0 1.00002 shouldn't be
14.07/14.18	WSVECS04 Frhs2[315]: 6 0 1.00008 shouldn't be
14.07/14.18	WSVECS04 Frhs2[326]: 6 0 0.333367 shouldn't be
14.07/14.18	WSVECS04 Frhs2[347]: 6 0 1.00007 shouldn't be
14.07/14.18	WSVECS04 Frhs2[353]: 6 0 0.800078 shouldn't be
14.07/14.18	WSVECS04 Frhs2[356]: 6 0 1.00006 shouldn't be
14.07/14.18	WSVECS04 Frhs2[366]: 6 0 0.600094 shouldn't be
14.07/14.18	WSVECS04 Frhs2[542]: 6 0 1.00008 shouldn't be
14.07/14.18	WSVECS04 Frhs2[551]: 6 0 1.00002 shouldn't be
14.07/14.18	WSVECS04 Frhs2[609]: 6 -1.00007 0 shouldn't be
14.07/14.18	WSVECS04 Frhs2[630]: 6 0 1.00007 shouldn't be
14.07/14.18	WSVECS04 Frhs2[641]: 6 0 0.733344 shouldn't be
14.07/14.18	WSVECS04 Frhs2[650]: 6 0 1.00007 shouldn't be
14.07/14.18	WSVECS04 Frhs2[679]: 6 0 1.00007 shouldn't be
14.07/14.18	WSVECS04 Frhs2[681]: 6 0 1.00004 shouldn't be
14.07/14.18	WSVECS04 Frhs2[686]: 6 0 1.00003 shouldn't be
14.07/14.18	WSVECS04 Frhs2[711]: 6 0 0.800024 shouldn't be
14.07/14.18	WSVECS04 Frhs2[717]: 6 0 0.200067 shouldn't be
14.07/14.18	WSVECS04 Frhs2[730]: 6 0 1.0001 shouldn't be
14.36/14.47	c #Conflicts:      69000 | #Constraints:      10971
14.36/14.47	c #Conflicts:      70000 | #Constraints:      11971
14.36/14.47	WSVECS04 Frhs2[6]: 6 -0.266748 0 shouldn't be
14.36/14.47	WSVECS04 Frhs2[16]: 6 -0.266748 0 shouldn't be
14.36/14.47	WSVECS04 Frhs2[17]: 6 -0.266755 0 shouldn't be
14.36/14.47	WSVECS04 Frhs2[22]: 6 -0.266765 0 shouldn't be
14.36/14.47	WSVECS04 Frhs2[24]: 6 -0.26673 0 shouldn't be
14.36/14.47	WSVECS04 Frhs2[25]: 6 -0.266695 0 shouldn't be
14.36/14.47	WSVECS04 Frhs2[44]: 6 -1.20005 0 shouldn't be
14.36/14.47	WSVECS04 Frhs2[53]: 6 0 0.200047 shouldn't be
14.36/14.47	WSVECS04 Frhs2[54]: 6 0 1.93343 shouldn't be
14.36/14.47	WSVECS04 Frhs2[58]: 6 0 1.00005 shouldn't be
14.36/14.47	WSVECS04 Frhs2[120]: 6 0 1.0001 shouldn't be
14.36/14.47	WSVECS04 Frhs2[135]: 6 0 1.26671 shouldn't be
14.36/14.47	WSVECS04 Frhs2[178]: 6 0 0.200048 shouldn't be
14.36/14.47	WSVECS04 Frhs2[181]: 6 0 1.00008 shouldn't be
14.36/14.47	WSVECS04 Frhs2[205]: 6 0 1.03339 shouldn't be
14.36/14.47	WSVECS04 Frhs2[265]: 6 0 1.26676 shouldn't be
14.36/14.47	WSVECS04 Frhs2[341]: 6 0 1.00002 shouldn't be
14.36/14.47	WSVECS04 Frhs2[352]: 6 0 0.50006 shouldn't be
14.36/14.47	WSVECS04 Frhs2[353]: 6 0 1.06673 shouldn't be
14.36/14.47	WSVECS04 Frhs2[364]: 6 0 1.76671 shouldn't be
14.36/14.47	WSVECS04 Frhs2[365]: 6 0 1.00001 shouldn't be
14.36/14.47	WSVECS04 Frhs2[382]: 6 0 1.00002 shouldn't be
14.36/14.47	WSVECS04 Frhs2[386]: 6 0 0.800087 shouldn't be
14.36/14.47	WSVECS04 Frhs2[391]: 6 0 1.00004 shouldn't be
14.36/14.47	WSVECS04 Frhs2[405]: 6 0 1.0667 shouldn't be
14.36/14.47	WSVECS04 Frhs2[407]: 6 0 0.666759 shouldn't be
14.36/14.47	WSVECS04 Frhs2[411]: 6 0 1.00006 shouldn't be
14.36/14.47	WSVECS04 Frhs2[416]: 6 0 0.200043 shouldn't be
14.36/14.47	WSVECS04 Frhs2[417]: 6 0 1.00007 shouldn't be
14.36/14.47	WSVECS04 Frhs2[442]: 6 0 0.200049 shouldn't be
14.36/14.47	WSVECS04 Frhs2[483]: 6 0 1.06673 shouldn't be
14.36/14.47	WSVECS04 Frhs2[484]: 6 0 0.133365 shouldn't be
14.36/14.47	WSVECS04 Frhs2[510]: 6 0 0.133386 shouldn't be
14.36/14.47	WSVECS04 Frhs2[711]: 6 0 1.00001 shouldn't be
14.36/14.47	WSVECS04 Frhs2[718]: 6 0 1.00005 shouldn't be
14.36/14.47	WSVECS04 Frhs2[742]: 6 0 0.500091 shouldn't be
14.97/15.01	c #Conflicts:      71000 | #Constraints:      12971
14.97/15.01	c #Conflicts:      72000 | #Constraints:      13971
14.97/15.01	c INPROCESSING
14.97/15.01	c GARBAGE COLLECT
14.97/15.01	c rational objective 141.765
16.55/16.61	c #Conflicts:      73000 | #Constraints:       9567
16.55/16.61	c #Conflicts:      74000 | #Constraints:      10567
16.55/16.61	c #Conflicts:      75000 | #Constraints:      11569
16.55/16.61	c #Conflicts:      76000 | #Constraints:      12571
16.55/16.61	c #Conflicts:      77000 | #Constraints:      13573
16.55/16.61	c #Conflicts:      78000 | #Constraints:      14574
16.55/16.61	c INPROCESSING
16.55/16.61	c GARBAGE COLLECT
16.55/16.61	c #Conflicts:      79000 | #Constraints:       9970
16.55/16.61	c #Conflicts:      80000 | #Constraints:      10971
16.55/16.61	c #Conflicts:      81000 | #Constraints:      11971
16.55/16.61	c #Conflicts:      82000 | #Constraints:      12971
16.55/16.61	c #Conflicts:      83000 | #Constraints:      13973
16.55/16.61	WSVECS04 Frhs2[35]: 6 0 4.3186 shouldn't be
16.55/16.61	WSVECS04 Frhs2[37]: 6 -37.3211 0 shouldn't be
16.55/16.61	WSVECS04 Frhs2[56]: 6 0 15.0776 shouldn't be
16.55/16.61	WSVECS04 Frhs2[70]: 6 0 7.45947 shouldn't be
16.55/16.61	WSVECS04 Frhs2[89]: 6 0 1 shouldn't be
16.55/16.61	WSVECS04 Frhs2[105]: 6 0 13.4987 shouldn't be
16.55/16.61	WSVECS04 Frhs2[131]: 6 0 18.5933 shouldn't be
16.55/16.61	WSVECS04 Frhs2[136]: 6 0 1 shouldn't be
16.55/16.61	WSVECS04 Frhs2[144]: 6 0 1.91796 shouldn't be
16.55/16.61	WSVECS04 Frhs2[155]: 6 0 1.01089 shouldn't be
16.55/16.61	WSVECS04 Frhs2[157]: 6 0 18.5933 shouldn't be
16.55/16.61	WSVECS04 Frhs2[180]: 6 0 0.53928 shouldn't be
16.55/16.61	WSVECS04 Frhs2[216]: 6 0 9.128 shouldn't be
16.55/16.61	WSVECS04 Frhs2[217]: 6 -1 0 shouldn't be
16.55/16.61	WSVECS04 Frhs2[244]: 6 0 10.0247 shouldn't be
16.55/16.61	WSVECS04 Frhs2[255]: 6 0 9.128 shouldn't be
16.55/16.61	WSVECS04 Frhs2[259]: 6 0 1.01089 shouldn't be
16.55/16.61	WSVECS04 Frhs2[260]: 6 0 7.35809 shouldn't be
16.55/16.61	WSVECS04 Frhs2[316]: 6 0 15.0722 shouldn't be
16.55/16.61	WSVECS04 Frhs2[334]: 6 0 10.9253 shouldn't be
16.55/16.61	WSVECS04 Frhs2[363]: 6 0 1.01089 shouldn't be
16.55/16.61	WSVECS04 Frhs2[374]: 6 0 14.4569 shouldn't be
16.55/16.61	WSVECS04 Frhs2[381]: 6 0 7.1047 shouldn't be
16.55/16.61	WSVECS04 Frhs2[382]: 6 0 5.7445 shouldn't be
16.55/16.61	WSVECS04 Frhs2[388]: 6 0 4.17493 shouldn't be
16.55/16.61	WSVECS04 Frhs2[389]: 6 0 1.01634 shouldn't be
16.55/16.61	WSVECS04 Frhs2[390]: 6 0 12.504 shouldn't be
16.55/16.61	WSVECS04 Frhs2[391]: 6 0 18.5775 shouldn't be
16.55/16.61	WSVECS04 Frhs2[457]: 6 0 4.38817 shouldn't be
16.55/16.61	WSVECS04 Frhs2[464]: 6 0 19.0424 shouldn't be
16.55/16.61	WSVECS04 Frhs2[467]: 6 0 1.01089 shouldn't be
16.55/16.61	WSVECS04 Frhs2[468]: 6 0 15.2776 shouldn't be
16.55/16.61	WSVECS04 Frhs2[493]: 6 0 1.01089 shouldn't be
16.55/16.61	WSVECS04 Frhs2[593]: 6 0 7.3922 shouldn't be
16.55/16.61	WSVECS04 Frhs2[618]: 6 0 0.280056 shouldn't be
16.55/16.61	WSVECS04 Frhs2[717]: 6 -1 0 shouldn't be
16.55/16.61	WSVECS04 Frhs2[732]: 6 0 16.4584 shouldn't be
16.55/16.61	WSVECS04 Frhs2[742]: 6 0 0.692446 shouldn't be
16.55/16.61	WSVECS04 Frhs2[746]: 6 0 7.45947 shouldn't be
16.66/16.70	c #Conflicts:      84000 | #Constraints:      14975
16.66/16.70	c INPROCESSING
16.66/16.70	c GARBAGE COLLECT
16.66/16.70	WSVECS04 Frhs2[18]: 6 0 2 shouldn't be
16.66/16.70	WSVECS04 Frhs2[73]: 6 0 62.8546 shouldn't be
16.66/16.70	WSVECS04 Frhs2[78]: 6 -15.9951 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[79]: 6 0 1.46267 shouldn't be
16.66/16.70	WSVECS04 Frhs2[99]: 6 0 62.8546 shouldn't be
16.66/16.70	WSVECS04 Frhs2[104]: 6 0 68.8591 shouldn't be
16.66/16.70	WSVECS04 Frhs2[130]: 6 -15.9951 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[144]: 6 -60.7041 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[164]: 6 -76.013 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[174]: 6 -0.471186 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[181]: 6 0 32.5194 shouldn't be
16.66/16.70	WSVECS04 Frhs2[208]: 6 0 0.750382 shouldn't be
16.66/16.70	WSVECS04 Frhs2[215]: 6 0 0.762815 shouldn't be
16.66/16.70	WSVECS04 Frhs2[222]: 6 0 11.0371 shouldn't be
16.66/16.70	WSVECS04 Frhs2[227]: 6 -0.315455 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[245]: 6 -1 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[306]: 6 0 126.131 shouldn't be
16.66/16.70	WSVECS04 Frhs2[312]: 6 -0.750382 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[330]: 6 0 0.471185 shouldn't be
16.66/16.70	WSVECS04 Frhs2[385]: 6 -106.112 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[393]: 6 0 60.7888 shouldn't be
16.66/16.70	WSVECS04 Frhs2[394]: 6 0 8.90924 shouldn't be
16.66/16.70	WSVECS04 Frhs2[414]: 6 0 17.495 shouldn't be
16.66/16.70	WSVECS04 Frhs2[415]: 6 0 107.425 shouldn't be
16.66/16.70	WSVECS04 Frhs2[419]: 6 0 60.7888 shouldn't be
16.66/16.70	WSVECS04 Frhs2[420]: 6 0 8.90924 shouldn't be
16.66/16.70	WSVECS04 Frhs2[423]: 6 -12.6571 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[503]: 6 0 146.397 shouldn't be
16.66/16.70	WSVECS04 Frhs2[524]: 6 0 7.77396 shouldn't be
16.66/16.70	WSVECS04 Frhs2[541]: 6 0 26.7186 shouldn't be
16.66/16.70	WSVECS04 Frhs2[546]: 6 -11.4763 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[571]: 6 -5.77887 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[612]: 6 -46.9024 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[624]: 6 0 84.8542 shouldn't be
16.66/16.70	WSVECS04 Frhs2[631]: 6 0 12.5787 shouldn't be
16.66/16.70	WSVECS04 Frhs2[638]: 6 -46.9024 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[655]: 6 0 66.8407 shouldn't be
16.66/16.70	WSVECS04 Frhs2[696]: 6 -22.0362 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[754]: 6 -15.9951 0 shouldn't be
16.66/16.70	WSVECS04 Frhs2[756]: 6 -15.9951 0 shouldn't be
18.85/18.93	c #Conflicts:      85000 | #Constraints:      10167
18.85/18.93	c #Conflicts:      86000 | #Constraints:      11167
18.85/18.93	c #Conflicts:      87000 | #Constraints:      12168
18.85/18.93	c #Conflicts:      88000 | #Constraints:      13168
18.85/18.93	c #Conflicts:      89000 | #Constraints:      14169
18.85/18.93	c #Conflicts:      90000 | #Constraints:      15172
18.85/18.93	c INPROCESSING
18.85/18.93	c GARBAGE COLLECT
18.85/18.93	c #Conflicts:      91000 | #Constraints:      10171
18.85/18.93	c #Conflicts:      92000 | #Constraints:      11172
18.85/18.93	c #Conflicts:      93000 | #Constraints:      12172
18.85/18.93	c #Conflicts:      94000 | #Constraints:      13172
18.85/18.93	c #Conflicts:      95000 | #Constraints:      14172
18.85/18.93	c #Conflicts:      96000 | #Constraints:      15172
18.85/18.93	c INPROCESSING
18.85/18.93	c GARBAGE COLLECT
18.85/18.93	c rational objective 141.791
19.55/19.61	c #Conflicts:      97000 | #Constraints:       9968
19.55/19.61	c #Conflicts:      98000 | #Constraints:      10969
19.55/19.61	c #Conflicts:      99000 | #Constraints:      11973
19.55/19.61	c #Conflicts:     100000 | #Constraints:      12974
19.55/19.61	c #Conflicts:     101000 | #Constraints:      13980
19.55/19.61	WSVECS04 Frhs2[3]: 6 0 0.262748 shouldn't be
19.55/19.61	WSVECS04 Frhs2[22]: 6 -0.737379 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[26]: 6 0 0.262802 shouldn't be
19.55/19.61	WSVECS04 Frhs2[79]: 6 -4.00504 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[128]: 6 -0.262812 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[130]: 6 -0.26278 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[233]: 6 -0.26274 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[237]: 6 0 0.52545 shouldn't be
19.55/19.61	WSVECS04 Frhs2[262]: 6 -27.5326 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[342]: 6 0 27.4233 shouldn't be
19.55/19.61	WSVECS04 Frhs2[364]: 6 0 1.02546 shouldn't be
19.55/19.61	WSVECS04 Frhs2[394]: 6 0 8.8869 shouldn't be
19.55/19.61	WSVECS04 Frhs2[414]: 6 0 52.4602 shouldn't be
19.55/19.61	WSVECS04 Frhs2[418]: 6 -0.237346 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[424]: 6 -0.762735 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[497]: 6 0 0.757815 shouldn't be
19.55/19.61	WSVECS04 Frhs2[520]: 6 -0.76278 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[524]: 6 0 64.6924 shouldn't be
19.55/19.61	WSVECS04 Frhs2[541]: 6 0 0.525496 shouldn't be
19.55/19.61	WSVECS04 Frhs2[542]: 6 0 29.145 shouldn't be
19.55/19.61	WSVECS04 Frhs2[549]: 6 0 1.75782 shouldn't be
19.55/19.61	WSVECS04 Frhs2[550]: 6 0 64.4296 shouldn't be
19.55/19.61	WSVECS04 Frhs2[575]: 6 0 1.75779 shouldn't be
19.55/19.61	WSVECS04 Frhs2[581]: 6 -0.262806 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[584]: 6 0 1.00001 shouldn't be
19.55/19.61	WSVECS04 Frhs2[623]: 6 0 0.262785 shouldn't be
19.55/19.61	WSVECS04 Frhs2[625]: 6 0 63.1193 shouldn't be
19.55/19.61	WSVECS04 Frhs2[633]: 6 -1.26281 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[640]: 6 -0.262798 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[651]: 6 0 63.1193 shouldn't be
19.55/19.61	WSVECS04 Frhs2[658]: 6 0 0.76273 shouldn't be
19.55/19.61	WSVECS04 Frhs2[666]: 6 -0.262739 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[684]: 6 0 0.525486 shouldn't be
19.55/19.61	WSVECS04 Frhs2[689]: 6 -0.26276 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[705]: 6 0 37.8324 shouldn't be
19.55/19.61	WSVECS04 Frhs2[718]: 6 -0.262747 0 shouldn't be
19.55/19.61	WSVECS04 Frhs2[726]: 6 0 54.1438 shouldn't be
19.55/19.61	WSVECS04 Frhs2[753]: 6 0 0.262789 shouldn't be
19.55/19.61	WSVECS04 Frhs2[755]: 6 0 51.9631 shouldn't be
20.05/20.15	c #Conflicts:     102000 | #Constraints:      14980
20.05/20.15	c #Conflicts:     103000 | #Constraints:      15980
20.05/20.15	c INPROCESSING
20.05/20.15	c GARBAGE COLLECT
20.05/20.15	c rational objective 141.802
20.65/20.75	c #Conflicts:     104000 | #Constraints:      10572
20.65/20.75	c #Conflicts:     105000 | #Constraints:      11572
20.65/20.75	c #Conflicts:     106000 | #Constraints:      12572
20.65/20.75	c #Conflicts:     107000 | #Constraints:      13573
20.65/20.75	WSVECS04 Frhs2[27]: 6 0 1.0001 shouldn't be
20.65/20.75	WSVECS04 Frhs2[42]: 6 0 35.5 shouldn't be
20.65/20.75	WSVECS04 Frhs2[45]: 6 0 16.75 shouldn't be
20.65/20.75	WSVECS04 Frhs2[67]: 6 0 1.00009 shouldn't be
20.65/20.75	WSVECS04 Frhs2[76]: 6 0 1.00005 shouldn't be
20.65/20.75	WSVECS04 Frhs2[93]: 6 0 1.00005 shouldn't be
20.65/20.75	WSVECS04 Frhs2[137]: 6 0 1.00006 shouldn't be
20.65/20.75	WSVECS04 Frhs2[143]: 6 0 1.00007 shouldn't be
20.65/20.75	WSVECS04 Frhs2[147]: 6 0 1.00004 shouldn't be
20.65/20.75	WSVECS04 Frhs2[153]: 6 0 1.00009 shouldn't be
20.65/20.75	WSVECS04 Frhs2[160]: 6 0 8.50009 shouldn't be
20.65/20.75	WSVECS04 Frhs2[162]: 6 0 1.00003 shouldn't be
20.65/20.75	WSVECS04 Frhs2[169]: 6 0 1.00001 shouldn't be
20.65/20.75	WSVECS04 Frhs2[179]: 6 0 1.00003 shouldn't be
20.65/20.75	WSVECS04 Frhs2[187]: 6 0 27.5001 shouldn't be
20.65/20.75	WSVECS04 Frhs2[212]: 6 0 14.5001 shouldn't be
20.65/20.75	WSVECS04 Frhs2[285]: 6 0 1.00002 shouldn't be
20.65/20.75	WSVECS04 Frhs2[403]: 6 -1.0001 0 shouldn't be
20.65/20.75	WSVECS04 Frhs2[406]: 6 0 1.00006 shouldn't be
20.65/20.75	WSVECS04 Frhs2[432]: 6 0 1.00003 shouldn't be
20.65/20.75	WSVECS04 Frhs2[434]: 6 0 1.00002 shouldn't be
20.65/20.75	WSVECS04 Frhs2[435]: 6 0 1.00005 shouldn't be
20.65/20.75	WSVECS04 Frhs2[447]: 6 -1.00006 0 shouldn't be
20.65/20.75	WSVECS04 Frhs2[461]: 6 0 1.00003 shouldn't be
20.65/20.75	WSVECS04 Frhs2[478]: 6 -1.00004 0 shouldn't be
20.65/20.75	WSVECS04 Frhs2[479]: 6 -1.00008 0 shouldn't be
20.65/20.75	WSVECS04 Frhs2[498]: 6 -1.00005 0 shouldn't be
20.65/20.75	WSVECS04 Frhs2[544]: 6 0 1.00008 shouldn't be
20.65/20.75	WSVECS04 Frhs2[546]: 6 -1.00007 0 shouldn't be
20.65/20.75	WSVECS04 Frhs2[560]: 6 0 1.00009 shouldn't be
20.65/20.75	WSVECS04 Frhs2[573]: 6 -1.00005 0 shouldn't be
20.65/20.75	WSVECS04 Frhs2[652]: 6 0 6.50002 shouldn't be
20.65/20.75	WSVECS04 Frhs2[697]: 6 -1.00007 0 shouldn't be
20.65/20.75	WSVECS04 Frhs2[710]: 6 0 1.00002 shouldn't be
20.65/20.75	WSVECS04 Frhs2[722]: 6 -1.00006 0 shouldn't be
21.54/21.62	c #Conflicts:     108000 | #Constraints:      14573
21.54/21.62	c #Conflicts:     109000 | #Constraints:      15573
21.54/21.62	c #Conflicts:     110000 | #Constraints:      16573
21.54/21.62	c INPROCESSING
21.54/21.62	c GARBAGE COLLECT
21.54/21.62	c rational objective 141.805
21.94/22.01	c #Conflicts:     111000 | #Constraints:      10968
21.94/22.01	c #Conflicts:     112000 | #Constraints:      11968
21.94/22.01	WSVECS04 Frhs2[3]: 6 -2.3334 0 shouldn't be
21.94/22.01	WSVECS04 Frhs2[6]: 6 -2.33342 0 shouldn't be
21.94/22.01	WSVECS04 Frhs2[7]: 6 -2.33337 0 shouldn't be
21.94/22.01	WSVECS04 Frhs2[8]: 6 -2.33341 0 shouldn't be
21.94/22.01	WSVECS04 Frhs2[10]: 6 -2.33337 0 shouldn't be
21.94/22.01	WSVECS04 Frhs2[14]: 6 -2.3334 0 shouldn't be
21.94/22.01	WSVECS04 Frhs2[20]: 6 -2.33336 0 shouldn't be
21.94/22.01	WSVECS04 Frhs2[30]: 6 -9.00003 0 shouldn't be
21.94/22.01	WSVECS04 Frhs2[31]: 6 0 3.33339 shouldn't be
21.94/22.01	WSVECS04 Frhs2[32]: 6 0 1.3334 shouldn't be
21.94/22.01	WSVECS04 Frhs2[33]: 6 0 3.3334 shouldn't be
21.94/22.01	WSVECS04 Frhs2[34]: 6 0 4.00003 shouldn't be
21.94/22.01	WSVECS04 Frhs2[47]: 6 0 3.6667 shouldn't be
21.94/22.01	WSVECS04 Frhs2[56]: 6 0 1.00002 shouldn't be
21.94/22.01	WSVECS04 Frhs2[57]: 6 0 1.00008 shouldn't be
21.94/22.01	WSVECS04 Frhs2[69]: 6 0 1.00004 shouldn't be
21.94/22.01	WSVECS04 Frhs2[82]: 6 0 1.00003 shouldn't be
21.94/22.01	WSVECS04 Frhs2[95]: 6 0 1.00002 shouldn't be
21.94/22.01	WSVECS04 Frhs2[98]: 6 0 5.66677 shouldn't be
21.94/22.01	WSVECS04 Frhs2[122]: 6 0 2.33335 shouldn't be
21.94/22.01	WSVECS04 Frhs2[131]: 6 0 1.00003 shouldn't be
21.94/22.01	WSVECS04 Frhs2[136]: 6 0 1.00004 shouldn't be
21.94/22.01	WSVECS04 Frhs2[140]: 6 0 1.00008 shouldn't be
21.94/22.01	WSVECS04 Frhs2[150]: 6 0 5.66671 shouldn't be
21.94/22.01	WSVECS04 Frhs2[155]: 6 0 0.666707 shouldn't be
21.94/22.01	WSVECS04 Frhs2[157]: 6 0 1.00008 shouldn't be
21.94/22.01	WSVECS04 Frhs2[158]: 6 0 2.00001 shouldn't be
21.94/22.01	WSVECS04 Frhs2[160]: 6 0 1.00004 shouldn't be
21.94/22.01	WSVECS04 Frhs2[165]: 6 0 1.00009 shouldn't be
21.94/22.01	WSVECS04 Frhs2[166]: 6 0 1.00003 shouldn't be
21.94/22.01	WSVECS04 Frhs2[184]: 6 0 2.0001 shouldn't be
21.94/22.01	WSVECS04 Frhs2[192]: 6 0 1.00002 shouldn't be
21.94/22.01	WSVECS04 Frhs2[195]: 6 0 0.33339 shouldn't be
21.94/22.01	WSVECS04 Frhs2[209]: 6 0 1.00002 shouldn't be
21.94/22.01	WSVECS04 Frhs2[210]: 6 0 2.00008 shouldn't be
21.94/22.01	WSVECS04 Frhs2[217]: 6 0 1.00002 shouldn't be
21.94/22.01	WSVECS04 Frhs2[220]: 6 0 1.00005 shouldn't be
21.94/22.01	WSVECS04 Frhs2[221]: 6 0 1.00007 shouldn't be
21.94/22.01	WSVECS04 Frhs2[222]: 6 -1.00003 0 shouldn't be
21.94/22.01	WSVECS04 Frhs2[232]: 6 0 1.00004 shouldn't be
21.94/22.01	WSVECS04 Frhs2[235]: 6 0 1.00001 shouldn't be
21.94/22.01	WSVECS04 Frhs2[236]: 6 0 2.00007 shouldn't be
21.94/22.01	WSVECS04 Frhs2[259]: 6 0 0.666742 shouldn't be
21.94/22.01	WSVECS04 Frhs2[270]: 6 0 1.00009 shouldn't be
21.94/22.01	WSVECS04 Frhs2[295]: 6 0 1.00002 shouldn't be
21.94/22.01	WSVECS04 Frhs2[320]: 6 0 1.00002 shouldn't be
21.94/22.01	WSVECS04 Frhs2[334]: 6 0 3.33341 shouldn't be
21.94/22.01	WSVECS04 Frhs2[342]: 6 0 1.00001 shouldn't be
21.94/22.01	WSVECS04 Frhs2[344]: 6 0 1.00004 shouldn't be
21.94/22.01	WSVECS04 Frhs2[346]: 6 0 1.00001 shouldn't be
21.94/22.01	WSVECS04 Frhs2[349]: 6 0 1.00004 shouldn't be
21.94/22.01	WSVECS04 Frhs2[353]: 6 0 1.00002 shouldn't be
21.94/22.01	WSVECS04 Frhs2[358]: 6 0 1.00005 shouldn't be
21.94/22.01	WSVECS04 Frhs2[359]: 6 0 1.00005 shouldn't be
21.94/22.01	WSVECS04 Frhs2[360]: 6 0 3.33341 shouldn't be
21.94/22.01	WSVECS04 Frhs2[361]: 6 0 1.00005 shouldn't be
21.94/22.01	WSVECS04 Frhs2[362]: 6 0 1.00008 shouldn't be
21.94/22.01	WSVECS04 Frhs2[370]: 6 0 1.00006 shouldn't be
21.94/22.01	WSVECS04 Frhs2[385]: 6 0 1.00008 shouldn't be
21.94/22.01	WSVECS04 Frhs2[386]: 6 0 3.33338 shouldn't be
21.94/22.01	WSVECS04 Frhs2[404]: 6 0 1.33339 shouldn't be
21.94/22.01	WSVECS04 Frhs2[410]: 6 0 1.00002 shouldn't be
21.94/22.01	WSVECS04 Frhs2[411]: 6 0 1.00007 shouldn't be
21.94/22.01	WSVECS04 Frhs2[412]: 6 0 3.33341 shouldn't be
21.94/22.01	WSVECS04 Frhs2[417]: 6 0 1.00005 shouldn't be
21.94/22.01	WSVECS04 Frhs2[456]: 6 0 4.66671 shouldn't be
21.94/22.01	WSVECS04 Frhs2[467]: 6 0 3.33336 shouldn't be
21.94/22.01	WSVECS04 Frhs2[479]: 6 0 1.00006 shouldn't be
21.94/22.01	WSVECS04 Frhs2[487]: 6 0 1.00006 shouldn't be
21.94/22.01	WSVECS04 Frhs2[493]: 6 0 3.33342 shouldn't be
21.94/22.01	WSVECS04 Frhs2[512]: 6 0 1.00002 shouldn't be
21.94/22.01	WSVECS04 Frhs2[533]: 6 0 0.333365 shouldn't be
21.94/22.01	WSVECS04 Frhs2[534]: 6 0 2.33341 shouldn't be
21.94/22.01	WSVECS04 Frhs2[559]: 6 0 0.33335 shouldn't be
21.94/22.01	WSVECS04 Frhs2[560]: 6 0 2.33336 shouldn't be
21.94/22.01	WSVECS04 Frhs2[568]: 6 0 1.00006 shouldn't be
21.94/22.01	WSVECS04 Frhs2[571]: 6 -1.00006 0 shouldn't be
21.94/22.01	WSVECS04 Frhs2[672]: 6 0 1.00007 shouldn't be
21.94/22.01	WSVECS04 Frhs2[719]: 6 0 1.00001 shouldn't be
22.05/22.13	c #Conflicts:     113000 | #Constraints:      12969
22.05/22.13	WSVECS04 Frhs2[11]: 6 -66.5 0 shouldn't be
22.05/22.13	WSVECS04 Frhs2[13]: 6 -66.5001 0 shouldn't be
22.05/22.13	WSVECS04 Frhs2[22]: 6 -66.5 0 shouldn't be
22.05/22.13	WSVECS04 Frhs2[25]: 6 -66.5 0 shouldn't be
22.05/22.13	WSVECS04 Frhs2[45]: 6 0 180.5 shouldn't be
22.05/22.13	WSVECS04 Frhs2[75]: 6 0 1.00006 shouldn't be
22.05/22.13	WSVECS04 Frhs2[80]: 6 0 1.00009 shouldn't be
22.05/22.13	WSVECS04 Frhs2[94]: 6 0 1.00008 shouldn't be
22.05/22.13	WSVECS04 Frhs2[143]: 6 0 1.00008 shouldn't be
22.05/22.13	WSVECS04 Frhs2[243]: 6 0 29.5001 shouldn't be
22.05/22.13	WSVECS04 Frhs2[289]: 6 0 1.00004 shouldn't be
22.05/22.13	WSVECS04 Frhs2[319]: 6 0 1.00007 shouldn't be
22.05/22.13	WSVECS04 Frhs2[329]: 6 -1.00002 0 shouldn't be
22.05/22.13	WSVECS04 Frhs2[354]: 6 0 39.0001 shouldn't be
22.05/22.13	WSVECS04 Frhs2[368]: 6 0 392.5 shouldn't be
22.05/22.13	WSVECS04 Frhs2[380]: 6 0 38 shouldn't be
22.05/22.13	WSVECS04 Frhs2[420]: 6 0 392.5 shouldn't be
22.05/22.13	WSVECS04 Frhs2[423]: 6 0 1.00002 shouldn't be
22.05/22.13	WSVECS04 Frhs2[429]: 6 0 1.00003 shouldn't be
22.05/22.13	WSVECS04 Frhs2[432]: 6 0 1.0001 shouldn't be
22.05/22.13	WSVECS04 Frhs2[441]: 6 0 28.5 shouldn't be
22.05/22.13	WSVECS04 Frhs2[443]: 6 0 1.00004 shouldn't be
22.05/22.13	WSVECS04 Frhs2[446]: 6 0 392.5 shouldn't be
22.05/22.13	WSVECS04 Frhs2[453]: 6 0 1.00005 shouldn't be
22.05/22.13	WSVECS04 Frhs2[466]: 6 0 1.00007 shouldn't be
22.05/22.13	WSVECS04 Frhs2[495]: 6 0 1.00004 shouldn't be
22.05/22.13	WSVECS04 Frhs2[521]: 6 0 1.00003 shouldn't be
22.05/22.13	WSVECS04 Frhs2[543]: 6 0 1.00007 shouldn't be
22.05/22.13	WSVECS04 Frhs2[606]: 6 0 1.00006 shouldn't be
22.05/22.13	WSVECS04 Frhs2[620]: 6 0 1.00006 shouldn't be
22.05/22.13	WSVECS04 Frhs2[670]: 6 0 1.00009 shouldn't be
22.05/22.13	WSVECS04 Frhs2[691]: 6 0 68.5001 shouldn't be
22.05/22.13	WSVECS04 Frhs2[696]: 6 0 1.00002 shouldn't be
22.05/22.13	WSVECS04 Frhs2[716]: 6 -1.00002 0 shouldn't be
22.05/22.13	WSVECS04 Frhs2[717]: 6 0 68.5001 shouldn't be
22.05/22.13	WSVECS04 Frhs2[718]: 6 0 1.00008 shouldn't be
22.05/22.13	WSVECS04 Frhs2[743]: 6 0 67.5 shouldn't be
22.95/23.01	c #Conflicts:     114000 | #Constraints:      13969
22.95/23.01	c #Conflicts:     115000 | #Constraints:      14969
22.95/23.01	c #Conflicts:     116000 | #Constraints:      15969
22.95/23.01	c #Conflicts:     117000 | #Constraints:      16969
22.95/23.01	c INPROCESSING
22.95/23.01	c GARBAGE COLLECT
22.95/23.01	c rational objective 141.817
24.44/24.58	c #Conflicts:     118000 | #Constraints:      11168
24.44/24.58	c #Conflicts:     119000 | #Constraints:      12168
24.44/24.58	c #Conflicts:     120000 | #Constraints:      13168
24.44/24.58	c #Conflicts:     121000 | #Constraints:      14168
24.44/24.58	c #Conflicts:     122000 | #Constraints:      15168
24.44/24.58	c #Conflicts:     123000 | #Constraints:      16169
24.44/24.58	c #Conflicts:     124000 | #Constraints:      17169
24.44/24.58	c INPROCESSING
24.44/24.58	c GARBAGE COLLECT
24.44/24.58	c rational objective 141.854
24.74/24.89	c #Conflicts:     125000 | #Constraints:      11171
24.74/24.89	c #Conflicts:     126000 | #Constraints:      12171
24.74/24.89	WSVECS04 Frhs2[12]: 6 -4.00005 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[14]: 6 -4.00003 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[26]: 6 -4.00002 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[27]: 6 -4.00006 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[39]: 6 0 4.00009 shouldn't be
24.74/24.89	WSVECS04 Frhs2[52]: 6 0 4.00006 shouldn't be
24.74/24.89	WSVECS04 Frhs2[53]: 6 0 6.00006 shouldn't be
24.74/24.89	WSVECS04 Frhs2[111]: 6 -1.00007 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[140]: 6 -1.00008 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[203]: 6 -1.0001 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[205]: 6 -1.00002 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[219]: 6 0 1.00006 shouldn't be
24.74/24.89	WSVECS04 Frhs2[267]: 6 -1.00002 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[279]: 6 -1.00001 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[296]: 6 0 1.00009 shouldn't be
24.74/24.89	WSVECS04 Frhs2[298]: 6 0 1.00009 shouldn't be
24.74/24.89	WSVECS04 Frhs2[315]: 6 -1.00008 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[355]: 6 0 1.00004 shouldn't be
24.74/24.89	WSVECS04 Frhs2[359]: 6 -1.00008 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[366]: 6 -1.00005 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[404]: 6 0 5.00008 shouldn't be
24.74/24.89	WSVECS04 Frhs2[414]: 6 -1.00002 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[430]: 6 0 5.00002 shouldn't be
24.74/24.89	WSVECS04 Frhs2[438]: 6 0 1.00006 shouldn't be
24.74/24.89	WSVECS04 Frhs2[462]: 6 0 1.0001 shouldn't be
24.74/24.89	WSVECS04 Frhs2[488]: 6 0 1.00008 shouldn't be
24.74/24.89	WSVECS04 Frhs2[515]: 6 0 1.00008 shouldn't be
24.74/24.89	WSVECS04 Frhs2[565]: 6 0 1.00005 shouldn't be
24.74/24.89	WSVECS04 Frhs2[694]: 6 0 1.00003 shouldn't be
24.74/24.89	WSVECS04 Frhs2[714]: 6 -1.00002 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[719]: 6 0 4.00006 shouldn't be
24.74/24.89	WSVECS04 Frhs2[736]: 6 -1.00002 0 shouldn't be
24.74/24.89	WSVECS04 Frhs2[742]: 6 0 1.0001 shouldn't be
24.74/24.89	WSVECS04 Frhs2[745]: 6 0 4.00008 shouldn't be
26.14/26.28	c #Conflicts:     127000 | #Constraints:      13171
26.14/26.28	c #Conflicts:     128000 | #Constraints:      14171
26.14/26.28	c #Conflicts:     129000 | #Constraints:      15171
26.14/26.28	c #Conflicts:     130000 | #Constraints:      16171
26.14/26.28	c #Conflicts:     131000 | #Constraints:      17172
26.14/26.28	c INPROCESSING
26.14/26.28	c GARBAGE COLLECT
26.14/26.28	c rational objective 142.458
27.23/27.34	c #Conflicts:     132000 | #Constraints:      10969
27.23/27.34	c #Conflicts:     133000 | #Constraints:      11969
27.23/27.34	c #Conflicts:     134000 | #Constraints:      12970
27.23/27.34	c #Conflicts:     135000 | #Constraints:      13970
27.23/27.34	c #Conflicts:     136000 | #Constraints:      14972
27.23/27.34	c #Conflicts:     137000 | #Constraints:      15973
27.23/27.34	c #Conflicts:     138000 | #Constraints:      16977
27.23/27.34	c #Conflicts:     139000 | #Constraints:      17979
27.23/27.34	c INPROCESSING
27.23/27.34	c GARBAGE COLLECT
27.23/27.34	WSVECS04 Frhs2[39]: 6 -82.0287 0 shouldn't be
27.23/27.34	WSVECS04 Frhs2[41]: 6 0 39.738 shouldn't be
27.23/27.34	WSVECS04 Frhs2[44]: 6 -144.986 0 shouldn't be
27.23/27.34	WSVECS04 Frhs2[45]: 6 -125.385 0 shouldn't be
27.23/27.34	WSVECS04 Frhs2[49]: 6 -126.374 0 shouldn't be
27.23/27.34	WSVECS04 Frhs2[51]: 6 0 39.0957 shouldn't be
27.23/27.34	WSVECS04 Frhs2[52]: 6 -65.5111 0 shouldn't be
27.23/27.34	WSVECS04 Frhs2[54]: 6 -144.086 0 shouldn't be
27.23/27.34	WSVECS04 Frhs2[93]: 6 0 3.7072 shouldn't be
27.23/27.34	WSVECS04 Frhs2[99]: 6 0 1.33054 shouldn't be
27.23/27.34	WSVECS04 Frhs2[317]: 6 0 86.5065 shouldn't be
27.23/27.34	WSVECS04 Frhs2[342]: 6 0 163.378 shouldn't be
27.23/27.34	WSVECS04 Frhs2[346]: 6 0 42.2375 shouldn't be
27.23/27.34	WSVECS04 Frhs2[353]: 6 0 2.58644 shouldn't be
27.23/27.34	WSVECS04 Frhs2[379]: 6 0 2.58644 shouldn't be
27.23/27.34	WSVECS04 Frhs2[382]: 6 0 123.919 shouldn't be
27.23/27.34	WSVECS04 Frhs2[398]: 6 0 42.2375 shouldn't be
27.23/27.34	WSVECS04 Frhs2[405]: 6 0 2.58644 shouldn't be
27.23/27.34	WSVECS04 Frhs2[415]: 6 0 19.7914 shouldn't be
27.23/27.34	WSVECS04 Frhs2[417]: 6 0 65.6877 shouldn't be
27.23/27.34	WSVECS04 Frhs2[422]: 6 0 7.25849 shouldn't be
27.23/27.34	WSVECS04 Frhs2[424]: 6 0 42.2375 shouldn't be
27.23/27.34	WSVECS04 Frhs2[426]: 6 0 83.3299 shouldn't be
27.23/27.34	WSVECS04 Frhs2[444]: 6 0 0.0518563 shouldn't be
27.23/27.34	WSVECS04 Frhs2[480]: 6 0 0.814933 shouldn't be
27.23/27.34	WSVECS04 Frhs2[500]: 6 0 1.02413 shouldn't be
27.23/27.34	WSVECS04 Frhs2[506]: 6 0 0.814933 shouldn't be
27.23/27.34	WSVECS04 Frhs2[522]: 6 0 0.326167 shouldn't be
27.23/27.34	WSVECS04 Frhs2[526]: 6 0 1.02414 shouldn't be
27.23/27.34	WSVECS04 Frhs2[532]: 6 0 0.814933 shouldn't be
27.23/27.34	WSVECS04 Frhs2[570]: 6 0 163.842 shouldn't be
27.23/27.34	WSVECS04 Frhs2[576]: 6 0 1.22546 shouldn't be
27.23/27.34	WSVECS04 Frhs2[594]: 6 0 96.0689 shouldn't be
27.23/27.34	WSVECS04 Frhs2[599]: 6 0 3.5184 shouldn't be
27.23/27.34	WSVECS04 Frhs2[606]: 6 0 39.3202 shouldn't be
27.23/27.34	WSVECS04 Frhs2[619]: 6 0 7.33971 shouldn't be
27.23/27.34	WSVECS04 Frhs2[655]: 6 -85.6654 0 shouldn't be
27.23/27.34	WSVECS04 Frhs2[657]: 6 0 119.051 shouldn't be
27.23/27.34	WSVECS04 Frhs2[668]: 6 0 0.481893 shouldn't be
27.23/27.34	WSVECS04 Frhs2[694]: 6 0 0.481893 shouldn't be
27.23/27.34	WSVECS04 Frhs2[698]: 6 0 96.0689 shouldn't be
27.23/27.34	WSVECS04 Frhs2[707]: 6 0 0.841072 shouldn't be
27.23/27.34	WSVECS04 Frhs2[724]: 6 0 83.3805 shouldn't be
27.23/27.34	WSVECS04 Frhs2[729]: 6 0 65.6877 shouldn't be
27.23/27.34	WSVECS04 Frhs2[748]: 6 0 41.665 shouldn't be
27.23/27.34	WSVECS04 Frhs2[754]: 6 -85.2321 0 shouldn't be
31.23/31.31	c #Conflicts:     140000 | #Constraints:      11577
31.23/31.31	c #Conflicts:     141000 | #Constraints:      12577
31.23/31.31	c #Conflicts:     142000 | #Constraints:      13577
31.23/31.31	c #Conflicts:     143000 | #Constraints:      14578
31.23/31.31	c #Conflicts:     144000 | #Constraints:      15578
31.23/31.31	c #Conflicts:     145000 | #Constraints:      16581
31.23/31.31	c #Conflicts:     146000 | #Constraints:      17584
31.23/31.31	c #Conflicts:     147000 | #Constraints:      18590
31.23/31.31	c INPROCESSING
31.23/31.31	c GARBAGE COLLECT
31.23/31.31	c #Conflicts:     148000 | #Constraints:      11981
31.23/31.31	c #Conflicts:     149000 | #Constraints:      12981
31.23/31.31	c #Conflicts:     150000 | #Constraints:      13981
31.23/31.31	c #Conflicts:     151000 | #Constraints:      14981
31.23/31.31	c #Conflicts:     152000 | #Constraints:      15982
31.23/31.31	c #Conflicts:     153000 | #Constraints:      16983
31.23/31.31	c #Conflicts:     154000 | #Constraints:      17987
31.23/31.31	c #Conflicts:     155000 | #Constraints:      18987
31.23/31.31	c INPROCESSING
31.23/31.31	c GARBAGE COLLECT
31.23/31.31	c #Conflicts:     156000 | #Constraints:      12176
31.23/31.31	c #Conflicts:     157000 | #Constraints:      13177
31.23/31.31	c #Conflicts:     158000 | #Constraints:      14177
31.23/31.31	c #Conflicts:     159000 | #Constraints:      15178
31.23/31.31	c #Conflicts:     160000 | #Constraints:      16179
31.23/31.31	c #Conflicts:     161000 | #Constraints:      17179
31.23/31.31	c #Conflicts:     162000 | #Constraints:      18179
31.23/31.31	c #Conflicts:     163000 | #Constraints:      19179
31.23/31.31	c INPROCESSING
31.23/31.31	c GARBAGE COLLECT
31.23/31.31	c #Conflicts:     164000 | #Constraints:      12176
31.23/31.31	c #Conflicts:     165000 | #Constraints:      13176
31.23/31.31	c #Conflicts:     166000 | #Constraints:      14176
31.23/31.31	c #Conflicts:     167000 | #Constraints:      15176
31.23/31.31	c #Conflicts:     168000 | #Constraints:      16176
31.23/31.31	WSVECS04 Frhs2[34]: 6 -1.00002 0 shouldn't be
31.23/31.31	WSVECS04 Frhs2[46]: 6 -2.00004 0 shouldn't be
31.23/31.31	WSVECS04 Frhs2[53]: 6 -1.00008 0 shouldn't be
31.23/31.31	WSVECS04 Frhs2[72]: 6 0 1.00001 shouldn't be
31.23/31.31	WSVECS04 Frhs2[103]: 6 0 0.333386 shouldn't be
31.23/31.31	WSVECS04 Frhs2[109]: 6 0 1.00006 shouldn't be
31.23/31.31	WSVECS04 Frhs2[121]: 6 0 1.00002 shouldn't be
31.23/31.31	WSVECS04 Frhs2[135]: 6 0 1.00006 shouldn't be
31.23/31.31	WSVECS04 Frhs2[147]: 6 0 1.00007 shouldn't be
31.23/31.31	WSVECS04 Frhs2[151]: 6 -3.00008 0 shouldn't be
31.23/31.31	WSVECS04 Frhs2[156]: 6 0 1.00005 shouldn't be
31.23/31.31	WSVECS04 Frhs2[182]: 6 0 1.00002 shouldn't be
31.23/31.31	WSVECS04 Frhs2[208]: 6 0 1.00009 shouldn't be
31.23/31.31	WSVECS04 Frhs2[409]: 6 0 0.500048 shouldn't be
31.23/31.31	WSVECS04 Frhs2[474]: 6 0 0.333432 shouldn't be
31.23/31.31	WSVECS04 Frhs2[500]: 6 0 0.333378 shouldn't be
31.23/31.31	WSVECS04 Frhs2[531]: 6 0 1.00009 shouldn't be
31.23/31.31	WSVECS04 Frhs2[534]: 6 0 1.00004 shouldn't be
31.23/31.31	WSVECS04 Frhs2[594]: 6 -1.00005 0 shouldn't be
31.23/31.31	WSVECS04 Frhs2[627]: 6 0 1.00002 shouldn't be
31.23/31.31	WSVECS04 Frhs2[634]: 6 -1.00002 0 shouldn't be
31.23/31.31	WSVECS04 Frhs2[647]: 6 0 1.00009 shouldn't be
31.23/31.31	WSVECS04 Frhs2[661]: 6 0 1.00009 shouldn't be
32.22/32.36	c #Conflicts:     169000 | #Constraints:      17176
32.22/32.36	c #Conflicts:     170000 | #Constraints:      18176
32.22/32.36	c #Conflicts:     171000 | #Constraints:      19176
32.22/32.36	c INPROCESSING
32.22/32.36	c GARBAGE COLLECT
32.22/32.36	c rational objective 142.467
33.32/33.48	c #Conflicts:     172000 | #Constraints:      11969
33.32/33.48	c #Conflicts:     173000 | #Constraints:      12969
33.32/33.48	c #Conflicts:     174000 | #Constraints:      13969
33.32/33.48	c #Conflicts:     175000 | #Constraints:      14969
33.32/33.48	c #Conflicts:     176000 | #Constraints:      15970
33.32/33.48	c #Conflicts:     177000 | #Constraints:      16971
33.32/33.48	c #Conflicts:     178000 | #Constraints:      17972
33.32/33.48	c #Conflicts:     179000 | #Constraints:      18973
33.32/33.48	c #Conflicts:     180000 | #Constraints:      19973
33.32/33.48	c INPROCESSING
33.32/33.48	c GARBAGE COLLECT
33.32/33.48	WSVECS04 Frhs2[30]: 6 0 16.5426 shouldn't be
33.32/33.48	WSVECS04 Frhs2[32]: 6 -6.93294 0 shouldn't be
33.32/33.48	WSVECS04 Frhs2[36]: 6 -7.52358 0 shouldn't be
33.32/33.48	WSVECS04 Frhs2[44]: 6 0 2.9187 shouldn't be
33.32/33.48	WSVECS04 Frhs2[88]: 6 0 1.37285 shouldn't be
33.32/33.48	WSVECS04 Frhs2[90]: 6 0 6.94635 shouldn't be
33.32/33.48	WSVECS04 Frhs2[92]: 6 0 0.686424 shouldn't be
33.32/33.48	WSVECS04 Frhs2[110]: 6 0 0.0757141 shouldn't be
33.32/33.48	WSVECS04 Frhs2[133]: 6 -7.05294 0 shouldn't be
33.32/33.48	WSVECS04 Frhs2[142]: 6 0 6.94632 shouldn't be
33.32/33.48	WSVECS04 Frhs2[163]: 6 -9.9436 0 shouldn't be
33.32/33.48	WSVECS04 Frhs2[184]: 6 -12.865 0 shouldn't be
33.32/33.48	WSVECS04 Frhs2[187]: 6 0 0.0394165 shouldn't be
33.32/33.48	WSVECS04 Frhs2[188]: 6 -6.97193 0 shouldn't be
33.32/33.48	WSVECS04 Frhs2[212]: 6 0 0.541864 shouldn't be
33.32/33.48	WSVECS04 Frhs2[213]: 6 0 0.0394064 shouldn't be
33.32/33.48	WSVECS04 Frhs2[218]: 6 0 1.37283 shouldn't be
33.32/33.48	WSVECS04 Frhs2[219]: 6 0 1.00003 shouldn't be
33.32/33.48	WSVECS04 Frhs2[222]: 6 0 0.686473 shouldn't be
33.32/33.49	WSVECS04 Frhs2[229]: 6 0 3.58155 shouldn't be
33.32/33.49	WSVECS04 Frhs2[232]: 6 0 7.46545 shouldn't be
33.32/33.49	WSVECS04 Frhs2[234]: 6 0 0.216699 shouldn't be
33.32/33.49	WSVECS04 Frhs2[242]: 6 0 12.8778 shouldn't be
33.32/33.49	WSVECS04 Frhs2[258]: 6 0 7.46545 shouldn't be
33.32/33.49	WSVECS04 Frhs2[259]: 6 0 0.0036197 shouldn't be
33.32/33.49	WSVECS04 Frhs2[268]: 6 0 12.8779 shouldn't be
33.32/33.49	WSVECS04 Frhs2[281]: 6 0 3.09007 shouldn't be
33.32/33.49	WSVECS04 Frhs2[286]: 6 0 0.670185 shouldn't be
33.32/33.49	WSVECS04 Frhs2[311]: 6 -0.840065 0 shouldn't be
33.32/33.49	WSVECS04 Frhs2[312]: 6 0 0.670154 shouldn't be
33.32/33.49	WSVECS04 Frhs2[359]: 6 0 3.58153 shouldn't be
33.32/33.49	WSVECS04 Frhs2[407]: 6 0 1.37282 shouldn't be
33.32/33.49	WSVECS04 Frhs2[409]: 6 0 1.0167 shouldn't be
33.32/33.49	WSVECS04 Frhs2[435]: 6 0 1.01667 shouldn't be
33.32/33.49	WSVECS04 Frhs2[436]: 6 0 1.37281 shouldn't be
33.32/33.49	WSVECS04 Frhs2[437]: 6 0 0.0337089 shouldn't be
33.32/33.49	WSVECS04 Frhs2[462]: 6 0 1.37278 shouldn't be
33.32/33.49	WSVECS04 Frhs2[492]: 6 0 7.40124 shouldn't be
33.32/33.49	WSVECS04 Frhs2[512]: 6 0 0.979567 shouldn't be
33.32/33.49	WSVECS04 Frhs2[562]: 6 0 0.50008 shouldn't be
33.42/33.55	WSVECS04 Frhs2[137]: 6 -9.9436 0 shouldn't be
33.42/33.55	WSVECS04 Frhs2[295]: 6 0 0.500087 shouldn't be
33.42/33.55	WSVECS04 Frhs2[431]: 6 0 0.414071 shouldn't be
33.52/33.63	WSVECS04 Frhs2[30]: 6 0 16.5426 shouldn't be
33.52/33.63	WSVECS04 Frhs2[32]: 6 -6.9329 0 shouldn't be
33.52/33.63	WSVECS04 Frhs2[33]: 6 -6.3459 0 shouldn't be
33.52/33.63	WSVECS04 Frhs2[42]: 6 -17.1236 0 shouldn't be
33.52/33.63	WSVECS04 Frhs2[44]: 6 0 2.91869 shouldn't be
33.52/33.63	WSVECS04 Frhs2[138]: 6 0 12.8778 shouldn't be
33.52/33.63	WSVECS04 Frhs2[229]: 6 0 3.58152 shouldn't be
33.52/33.63	WSVECS04 Frhs2[234]: 6 0 0.216636 shouldn't be
33.52/33.63	WSVECS04 Frhs2[268]: 6 0 12.8778 shouldn't be
33.52/33.63	WSVECS04 Frhs2[281]: 6 0 3.09004 shouldn't be
33.52/33.63	WSVECS04 Frhs2[307]: 6 0 3.12374 shouldn't be
33.52/33.63	WSVECS04 Frhs2[387]: 6 0 2.77159 shouldn't be
33.52/33.63	WSVECS04 Frhs2[437]: 6 0 0.0336966 shouldn't be
33.52/33.63	WSVECS04 Frhs2[512]: 6 0 0.979534 shouldn't be
33.52/33.68	WSVECS04 Frhs2[88]: 6 0 1.37277 shouldn't be
33.52/33.68	WSVECS04 Frhs2[90]: 6 0 6.94626 shouldn't be
33.52/33.68	WSVECS04 Frhs2[92]: 6 0 0.686383 shouldn't be
33.52/33.68	WSVECS04 Frhs2[142]: 6 0 6.94626 shouldn't be
33.52/33.68	WSVECS04 Frhs2[212]: 6 0 0.541837 shouldn't be
33.52/33.68	WSVECS04 Frhs2[213]: 6 0 0.0393316 shouldn't be
33.52/33.68	WSVECS04 Frhs2[218]: 6 0 1.37277 shouldn't be
33.52/33.68	WSVECS04 Frhs2[226]: 6 0 1.18139 shouldn't be
33.52/33.68	WSVECS04 Frhs2[230]: 6 0 0.67704 shouldn't be
33.52/33.68	WSVECS04 Frhs2[235]: 6 0 0.684201 shouldn't be
33.52/33.68	WSVECS04 Frhs2[242]: 6 0 12.8778 shouldn't be
33.52/33.68	WSVECS04 Frhs2[259]: 6 0 0.00360466 shouldn't be
33.52/33.68	WSVECS04 Frhs2[308]: 6 0 0.743947 shouldn't be
33.52/33.68	WSVECS04 Frhs2[311]: 6 -0.840028 0 shouldn't be
33.52/33.68	WSVECS04 Frhs2[365]: 6 0 0.6842 shouldn't be
33.52/33.68	WSVECS04 Frhs2[407]: 6 0 1.37277 shouldn't be
33.52/33.68	WSVECS04 Frhs2[409]: 6 0 1.01666 shouldn't be
33.52/33.68	WSVECS04 Frhs2[435]: 6 0 1.01666 shouldn't be
33.52/33.68	WSVECS04 Frhs2[436]: 6 0 1.37277 shouldn't be
33.52/33.68	WSVECS04 Frhs2[537]: 6 0 1.37277 shouldn't be
33.52/33.68	WSVECS04 Frhs2[562]: 6 0 0.500001 shouldn't be
34.92/35.01	c #Conflicts:     181000 | #Constraints:      12570
34.92/35.01	c #Conflicts:     182000 | #Constraints:      13571
34.92/35.01	c #Conflicts:     183000 | #Constraints:      14571
34.92/35.01	c #Conflicts:     184000 | #Constraints:      15572
34.92/35.01	c #Conflicts:     185000 | #Constraints:      16575
34.92/35.01	c #Conflicts:     186000 | #Constraints:      17582
34.92/35.01	c #Conflicts:     187000 | #Constraints:      18587
34.92/35.01	c #Conflicts:     188000 | #Constraints:      19600
34.92/35.01	c #Conflicts:     189000 | #Constraints:      20605
34.92/35.01	c INPROCESSING
34.92/35.01	c GARBAGE COLLECT
34.92/35.01	WSVECS04 Frhs2[30]: 6 0 20.0849 shouldn't be
34.92/35.01	WSVECS04 Frhs2[32]: 6 0 5.91006 shouldn't be
34.92/35.01	WSVECS04 Frhs2[36]: 6 -8.43085 0 shouldn't be
34.92/35.01	WSVECS04 Frhs2[40]: 6 -12.2457 0 shouldn't be
34.92/35.01	WSVECS04 Frhs2[42]: 6 -8.00011 0 shouldn't be
34.92/35.01	WSVECS04 Frhs2[95]: 6 0 5.96399 shouldn't be
34.92/35.01	WSVECS04 Frhs2[109]: 6 0 0.550232 shouldn't be
34.92/35.01	WSVECS04 Frhs2[114]: 6 0 6.18993 shouldn't be
34.92/35.01	WSVECS04 Frhs2[120]: 6 0 1 shouldn't be
34.92/35.01	WSVECS04 Frhs2[134]: 6 0 3.00525 shouldn't be
34.92/35.01	WSVECS04 Frhs2[135]: 6 0 0.079496 shouldn't be
34.92/35.01	WSVECS04 Frhs2[140]: 6 0 6.18993 shouldn't be
34.92/35.01	WSVECS04 Frhs2[146]: 6 0 1 shouldn't be
34.92/35.01	WSVECS04 Frhs2[188]: 6 0 0.0127974 shouldn't be
34.92/35.01	WSVECS04 Frhs2[189]: 6 0 2.85811 shouldn't be
34.92/35.01	WSVECS04 Frhs2[207]: 6 0 1.74025 shouldn't be
34.92/35.01	WSVECS04 Frhs2[208]: 6 0 3.85101 shouldn't be
34.92/35.01	WSVECS04 Frhs2[209]: 6 0 11.7385 shouldn't be
34.92/35.01	WSVECS04 Frhs2[214]: 6 0 0.0127976 shouldn't be
34.92/35.01	WSVECS04 Frhs2[241]: 6 0 1.19755 shouldn't be
34.92/35.01	WSVECS04 Frhs2[285]: 6 0 0.42974 shouldn't be
34.92/35.01	WSVECS04 Frhs2[289]: 6 0 0.123112 shouldn't be
34.92/35.01	WSVECS04 Frhs2[292]: 6 0 0.00388265 shouldn't be
34.92/35.01	WSVECS04 Frhs2[308]: 6 0 8.38597 shouldn't be
34.92/35.01	WSVECS04 Frhs2[333]: 6 0 0.49148 shouldn't be
34.92/35.01	WSVECS04 Frhs2[334]: 6 0 9.53876 shouldn't be
34.92/35.01	WSVECS04 Frhs2[336]: 6 0 4.43998 shouldn't be
34.92/35.01	WSVECS04 Frhs2[357]: 6 0 0.665426 shouldn't be
34.92/35.01	WSVECS04 Frhs2[381]: 6 0 5.96399 shouldn't be
34.92/35.01	WSVECS04 Frhs2[438]: 6 0 8.38597 shouldn't be
34.92/35.01	WSVECS04 Frhs2[474]: 6 -0.709647 0 shouldn't be
34.92/35.01	WSVECS04 Frhs2[482]: 6 0 7.5713 shouldn't be
34.92/35.01	WSVECS04 Frhs2[486]: 6 0 2.00126 shouldn't be
34.92/35.01	WSVECS04 Frhs2[489]: 6 -0.0717939 0 shouldn't be
34.92/35.01	WSVECS04 Frhs2[491]: 6 0 1 shouldn't be
34.92/35.01	WSVECS04 Frhs2[517]: 6 0 1 shouldn't be
34.92/35.01	WSVECS04 Frhs2[525]: 6 0 1.71411 shouldn't be
34.92/35.01	WSVECS04 Frhs2[540]: 6 0 4.20233 shouldn't be
34.92/35.01	WSVECS04 Frhs2[543]: 6 0 1 shouldn't be
34.92/35.09	WSVECS04 Frhs2[194]: 6 0 0.986886 shouldn't be
34.92/35.09	WSVECS04 Frhs2[220]: 6 0 0.986886 shouldn't be
34.92/35.09	WSVECS04 Frhs2[548]: 6 0 0.492154 shouldn't be
34.92/35.09	WSVECS04 Frhs2[574]: 6 0 0.492154 shouldn't be
37.71/37.81	c #Conflicts:     190000 | #Constraints:      12990
37.71/37.81	c #Conflicts:     191000 | #Constraints:      13991
37.71/37.81	c #Conflicts:     192000 | #Constraints:      14991
37.71/37.81	c #Conflicts:     193000 | #Constraints:      15993
37.71/37.81	c #Conflicts:     194000 | #Constraints:      16998
37.71/37.81	c #Conflicts:     195000 | #Constraints:      18011
37.71/37.81	c #Conflicts:     196000 | #Constraints:      19015
37.71/37.81	c #Conflicts:     197000 | #Constraints:      20023
37.71/37.81	c #Conflicts:     198000 | #Constraints:      21023
37.71/37.81	c INPROCESSING
37.71/37.81	c GARBAGE COLLECT
37.71/37.81	c #Conflicts:     199000 | #Constraints:      13201
37.71/37.81	c #Conflicts:     200000 | #Constraints:      14201
37.71/37.81	c #Conflicts:     201000 | #Constraints:      15202
37.71/37.81	c #Conflicts:     202000 | #Constraints:      16202
37.71/37.81	c #Conflicts:     203000 | #Constraints:      17202
37.71/37.81	c #Conflicts:     204000 | #Constraints:      18202
37.71/37.81	c #Conflicts:     205000 | #Constraints:      19202
37.71/37.81	c #Conflicts:     206000 | #Constraints:      20202
37.71/37.81	c #Conflicts:     207000 | #Constraints:      21203
37.71/37.81	c INPROCESSING
37.71/37.81	c GARBAGE COLLECT
37.71/37.81	WSVECS04 Frhs2[30]: 6 0 5.23707 shouldn't be
37.71/37.81	WSVECS04 Frhs2[32]: 6 0 0.0872542 shouldn't be
37.71/37.81	WSVECS04 Frhs2[35]: 6 -3.50897 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[36]: 6 -3.1671 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[39]: 6 -3.05871 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[40]: 6 -3.75056 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[41]: 6 0 0.573965 shouldn't be
37.71/37.81	WSVECS04 Frhs2[42]: 6 -4.73393 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[57]: 6 0 3.00665 shouldn't be
37.71/37.81	WSVECS04 Frhs2[83]: 6 0 3.78903 shouldn't be
37.71/37.81	WSVECS04 Frhs2[84]: 6 0 0.121648 shouldn't be
37.71/37.81	WSVECS04 Frhs2[92]: 6 0 1.61226 shouldn't be
37.71/37.81	WSVECS04 Frhs2[106]: 6 -4.1526 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[109]: 6 0 4.06498 shouldn't be
37.71/37.81	WSVECS04 Frhs2[110]: 6 0 0.121612 shouldn't be
37.71/37.81	WSVECS04 Frhs2[115]: 6 -1.00004 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[134]: 6 0 0.702996 shouldn't be
37.71/37.81	WSVECS04 Frhs2[135]: 6 0 3.06286 shouldn't be
37.71/37.81	WSVECS04 Frhs2[137]: 6 0 0.380649 shouldn't be
37.71/37.81	WSVECS04 Frhs2[138]: 6 0 2.7791 shouldn't be
37.71/37.81	WSVECS04 Frhs2[146]: 6 0 0.247492 shouldn't be
37.71/37.81	WSVECS04 Frhs2[148]: 6 0 1.28888 shouldn't be
37.71/37.81	WSVECS04 Frhs2[160]: 6 0 0.995452 shouldn't be
37.71/37.81	WSVECS04 Frhs2[162]: 6 -1.04427 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[164]: 6 0 2.77908 shouldn't be
37.71/37.81	WSVECS04 Frhs2[166]: 6 -1.61225 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[183]: 6 0 1.71833 shouldn't be
37.71/37.81	WSVECS04 Frhs2[189]: 6 0 0.380628 shouldn't be
37.71/37.81	WSVECS04 Frhs2[194]: 6 0 1.29039 shouldn't be
37.71/37.81	WSVECS04 Frhs2[208]: 6 0 1.44288 shouldn't be
37.71/37.81	WSVECS04 Frhs2[209]: 6 0 1.71828 shouldn't be
37.71/37.81	WSVECS04 Frhs2[211]: 6 -2.76367 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[235]: 6 0 1.71825 shouldn't be
37.71/37.81	WSVECS04 Frhs2[259]: 6 0 0.0435453 shouldn't be
37.71/37.81	WSVECS04 Frhs2[262]: 6 -4.15054 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[268]: 6 0 1.67775 shouldn't be
37.71/37.81	WSVECS04 Frhs2[285]: 6 -0.909795 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[308]: 6 0 1.70016 shouldn't be
37.71/37.81	WSVECS04 Frhs2[312]: 6 0 1.44288 shouldn't be
37.71/37.81	WSVECS04 Frhs2[317]: 6 0 0.782433 shouldn't be
37.71/37.81	WSVECS04 Frhs2[318]: 6 -1.03804 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[369]: 6 0 0.782396 shouldn't be
37.71/37.81	WSVECS04 Frhs2[381]: 6 0 0.806173 shouldn't be
37.71/37.81	WSVECS04 Frhs2[384]: 6 0 0.806195 shouldn't be
37.71/37.81	WSVECS04 Frhs2[385]: 6 -0.332287 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[407]: 6 0 0.806206 shouldn't be
37.71/37.81	WSVECS04 Frhs2[408]: 6 0 1.2952 shouldn't be
37.71/37.81	WSVECS04 Frhs2[410]: 6 0 0.80618 shouldn't be
37.71/37.81	WSVECS04 Frhs2[431]: 6 0 0.292802 shouldn't be
37.71/37.81	WSVECS04 Frhs2[434]: 6 0 2.88515 shouldn't be
37.71/37.81	WSVECS04 Frhs2[438]: 6 0 1.59903 shouldn't be
37.71/37.81	WSVECS04 Frhs2[441]: 6 -1.27644 0 shouldn't be
37.71/37.81	WSVECS04 Frhs2[442]: 6 0 1.4428 shouldn't be
37.71/37.81	WSVECS04 Frhs2[571]: 6 0 0.0931881 shouldn't be
37.71/37.81	WSVECS04 Frhs2[584]: 6 0 1.29037 shouldn't be
37.81/37.91	WSVECS04 Frhs2[66]: 6 0 1.61226 shouldn't be
37.81/37.91	WSVECS04 Frhs2[234]: 6 0 1.44281 shouldn't be
37.81/37.91	WSVECS04 Frhs2[334]: 6 0 1.7002 shouldn't be
37.81/37.91	WSVECS04 Frhs2[388]: 6 0 3.49833 shouldn't be
37.81/37.99	WSVECS04 Frhs2[40]: 6 -3.75051 0 shouldn't be
37.81/37.99	WSVECS04 Frhs2[41]: 6 0 0.573931 shouldn't be
37.81/37.99	WSVECS04 Frhs2[42]: 6 -4.73385 0 shouldn't be
37.81/37.99	WSVECS04 Frhs2[137]: 6 0 0.380603 shouldn't be
37.81/37.99	WSVECS04 Frhs2[144]: 6 0 1.61221 shouldn't be
37.81/37.99	WSVECS04 Frhs2[189]: 6 0 0.380604 shouldn't be
37.81/37.99	WSVECS04 Frhs2[262]: 6 -4.1505 0 shouldn't be
37.81/37.99	WSVECS04 Frhs2[388]: 6 0 3.49832 shouldn't be
37.81/37.99	WSVECS04 Frhs2[416]: 6 0 1.44279 shouldn't be
37.81/37.99	WSVECS04 Frhs2[434]: 6 0 2.8851 shouldn't be
37.81/37.99	WSVECS04 Frhs2[438]: 6 0 1.599 shouldn't be
39.01/39.17	c #Conflicts:     208000 | #Constraints:      13184
39.01/39.17	c #Conflicts:     209000 | #Constraints:      14184
39.01/39.17	c #Conflicts:     210000 | #Constraints:      15184
39.01/39.17	c #Conflicts:     211000 | #Constraints:      16185
39.01/39.17	c #Conflicts:     212000 | #Constraints:      17185
39.01/39.17	c #Conflicts:     213000 | #Constraints:      18186
39.01/39.17	c #Conflicts:     214000 | #Constraints:      19186
39.01/39.17	c #Conflicts:     215000 | #Constraints:      20187
39.01/39.17	c #Conflicts:     216000 | #Constraints:      21189
39.01/39.17	c INPROCESSING
39.01/39.17	c GARBAGE COLLECT
39.01/39.17	WSVECS04 Frhs2[35]: 6 -3.13475 0 shouldn't be
39.01/39.17	WSVECS04 Frhs2[41]: 6 0 0.197186 shouldn't be
39.01/39.17	WSVECS04 Frhs2[45]: 6 -3.55586 0 shouldn't be
39.01/39.17	WSVECS04 Frhs2[122]: 6 0 3.13818 shouldn't be
39.01/39.17	WSVECS04 Frhs2[181]: 6 0 0.114572 shouldn't be
39.01/39.17	WSVECS04 Frhs2[220]: 6 0 4.50525 shouldn't be
39.01/39.17	WSVECS04 Frhs2[572]: 6 0 0.683538 shouldn't be
39.01/39.17	WSVECS04 Frhs2[672]: 6 0 0.0580121 shouldn't be
39.01/39.17	WSVECS04 Frhs2[691]: 6 0 1 shouldn't be
40.81/40.97	c #Conflicts:     217000 | #Constraints:      12982
40.81/40.97	c #Conflicts:     218000 | #Constraints:      13982
40.81/40.97	c #Conflicts:     219000 | #Constraints:      14982
40.81/40.97	c #Conflicts:     220000 | #Constraints:      15982
40.81/40.97	c #Conflicts:     221000 | #Constraints:      16983
40.81/40.97	c #Conflicts:     222000 | #Constraints:      17983
40.81/40.97	c #Conflicts:     223000 | #Constraints:      18983
40.81/40.97	c #Conflicts:     224000 | #Constraints:      19984
40.81/40.97	c #Conflicts:     225000 | #Constraints:      20984
40.81/40.97	c #Conflicts:     226000 | #Constraints:      21984
40.81/40.97	c INPROCESSING
40.81/40.97	c GARBAGE COLLECT
40.81/40.97	c rational objective 142.468
42.10/42.20	c #Conflicts:     227000 | #Constraints:      13584
42.10/42.20	c #Conflicts:     228000 | #Constraints:      14584
42.10/42.20	c #Conflicts:     229000 | #Constraints:      15584
42.10/42.20	c #Conflicts:     230000 | #Constraints:      16585
42.10/42.20	c #Conflicts:     231000 | #Constraints:      17585
42.10/42.20	c #Conflicts:     232000 | #Constraints:      18586
42.10/42.20	c #Conflicts:     233000 | #Constraints:      19586
42.10/42.20	c #Conflicts:     234000 | #Constraints:      20587
42.10/42.20	c #Conflicts:     235000 | #Constraints:      21587
42.10/42.20	WSVECS04 Frhs2[10]: 6 -0.0117945 0 shouldn't be
42.10/42.20	WSVECS04 Frhs2[11]: 6 -0.0117945 0 shouldn't be
42.10/42.20	WSVECS04 Frhs2[32]: 6 0 1.82466 shouldn't be
42.10/42.20	WSVECS04 Frhs2[33]: 6 -6.92531 0 shouldn't be
42.10/42.20	WSVECS04 Frhs2[38]: 6 -10.6767 0 shouldn't be
42.10/42.20	WSVECS04 Frhs2[39]: 6 0 33.9164 shouldn't be
42.10/42.20	WSVECS04 Frhs2[60]: 6 0 5.77996 shouldn't be
42.10/42.20	WSVECS04 Frhs2[85]: 6 0 10.5966 shouldn't be
42.10/42.20	WSVECS04 Frhs2[90]: 6 0 7.84195 shouldn't be
42.10/42.20	WSVECS04 Frhs2[182]: 6 0 3.33471 shouldn't be
42.10/42.20	WSVECS04 Frhs2[206]: 6 0 9.76002 shouldn't be
42.10/42.20	WSVECS04 Frhs2[211]: 6 0 4.50796 shouldn't be
42.10/42.20	WSVECS04 Frhs2[235]: 6 0 7.77984 shouldn't be
42.10/42.20	WSVECS04 Frhs2[236]: 6 0 4.91526 shouldn't be
42.10/42.20	WSVECS04 Frhs2[240]: 6 0 5.72234 shouldn't be
42.10/42.20	WSVECS04 Frhs2[256]: 6 0 3.83471 shouldn't be
42.10/42.20	WSVECS04 Frhs2[287]: 6 0 7.77984 shouldn't be
42.10/42.20	WSVECS04 Frhs2[288]: 6 0 10.091 shouldn't be
42.10/42.20	WSVECS04 Frhs2[331]: 6 0 1.12666 shouldn't be
42.10/42.20	WSVECS04 Frhs2[337]: 6 0 4.59478 shouldn't be
42.10/42.20	WSVECS04 Frhs2[360]: 6 0 3.83471 shouldn't be
42.10/42.20	WSVECS04 Frhs2[462]: 6 0 8.48229 shouldn't be
42.10/42.20	WSVECS04 Frhs2[613]: 6 0 1 shouldn't be
42.10/42.20	WSVECS04 Frhs2[638]: 6 0 3.83471 shouldn't be
42.10/42.20	WSVECS04 Frhs2[688]: 6 0 7.84195 shouldn't be
42.80/42.91	c #Conflicts:     236000 | #Constraints:      22588
42.80/42.91	c INPROCESSING
42.80/42.91	c GARBAGE COLLECT
42.80/42.91	c #Conflicts:     237000 | #Constraints:      13983
42.80/42.91	c #Conflicts:     238000 | #Constraints:      14984
42.80/42.91	c #Conflicts:     239000 | #Constraints:      15984
42.80/42.91	c #Conflicts:     240000 | #Constraints:      16986
42.80/42.91	WSVECS04 Frhs2[25]: 6 0 11.7006 shouldn't be
42.80/42.91	WSVECS04 Frhs2[43]: 6 0 1.00592 shouldn't be
42.80/42.91	WSVECS04 Frhs2[45]: 6 0 16.6824 shouldn't be
42.80/42.91	WSVECS04 Frhs2[82]: 6 0 14.1188 shouldn't be
42.80/42.91	WSVECS04 Frhs2[96]: 6 0 15.9863 shouldn't be
42.80/42.91	WSVECS04 Frhs2[103]: 6 0 15.2544 shouldn't be
42.80/42.91	WSVECS04 Frhs2[133]: 6 -0.636181 0 shouldn't be
42.80/42.91	WSVECS04 Frhs2[157]: 6 0 8.32762 shouldn't be
42.80/42.91	WSVECS04 Frhs2[159]: 6 -0.541836 0 shouldn't be
42.80/42.91	WSVECS04 Frhs2[209]: 6 0 0.397892 shouldn't be
42.80/42.91	WSVECS04 Frhs2[211]: 6 -0.541836 0 shouldn't be
42.80/42.91	WSVECS04 Frhs2[253]: 6 0 1.64257 shouldn't be
42.80/42.91	WSVECS04 Frhs2[303]: 6 0 15.3809 shouldn't be
42.80/42.91	WSVECS04 Frhs2[311]: 6 -0.706997 0 shouldn't be
42.80/42.91	WSVECS04 Frhs2[413]: 6 -1 0 shouldn't be
42.80/42.91	WSVECS04 Frhs2[423]: 6 0 24.1327 shouldn't be
42.80/42.91	WSVECS04 Frhs2[448]: 6 0 5.97972 shouldn't be
42.80/42.91	WSVECS04 Frhs2[501]: 6 0 7.69004 shouldn't be
42.80/42.91	WSVECS04 Frhs2[552]: 6 0 4.89501 shouldn't be
42.80/42.91	WSVECS04 Frhs2[560]: 6 0 10.1091 shouldn't be
42.80/42.91	WSVECS04 Frhs2[563]: 6 0 15.3809 shouldn't be
42.80/42.91	WSVECS04 Frhs2[566]: 6 0 15.3809 shouldn't be
42.80/42.91	WSVECS04 Frhs2[578]: 6 0 4.89501 shouldn't be
42.80/42.91	WSVECS04 Frhs2[580]: 6 -5.08669 0 shouldn't be
42.80/42.91	WSVECS04 Frhs2[603]: 6 0 14.1281 shouldn't be
42.80/42.91	WSVECS04 Frhs2[632]: 6 0 6.87119 shouldn't be
42.80/42.91	WSVECS04 Frhs2[648]: 6 0 23.569 shouldn't be
42.80/42.91	WSVECS04 Frhs2[655]: 6 -0.390176 0 shouldn't be
42.80/42.91	WSVECS04 Frhs2[682]: 6 0 2.81029 shouldn't be
42.80/42.91	WSVECS04 Frhs2[686]: 6 0 15.3809 shouldn't be
42.80/42.91	WSVECS04 Frhs2[688]: 6 0 1.93445 shouldn't be
42.80/42.91	WSVECS04 Frhs2[694]: 6 0 15.1895 shouldn't be
42.80/42.91	WSVECS04 Frhs2[695]: 6 0 1.64256 shouldn't be
42.80/42.91	WSVECS04 Frhs2[696]: 6 0 15.3809 shouldn't be
42.80/42.91	WSVECS04 Frhs2[698]: 6 0 17.5923 shouldn't be
42.80/42.91	WSVECS04 Frhs2[751]: 6 -10.7373 0 shouldn't be
53.18/53.37	c #Conflicts:     241000 | #Constraints:      17986
53.18/53.37	c #Conflicts:     242000 | #Constraints:      18986
53.18/53.37	c #Conflicts:     243000 | #Constraints:      19987
53.18/53.37	c #Conflicts:     244000 | #Constraints:      20987
53.18/53.37	c #Conflicts:     245000 | #Constraints:      21988
53.18/53.37	c #Conflicts:     246000 | #Constraints:      22989
53.18/53.37	c INPROCESSING
53.18/53.37	c GARBAGE COLLECT
53.18/53.37	c #Conflicts:     247000 | #Constraints:      14185
53.18/53.37	c #Conflicts:     248000 | #Constraints:      15186
53.18/53.37	c #Conflicts:     249000 | #Constraints:      16186
53.18/53.37	c #Conflicts:     250000 | #Constraints:      17186
53.18/53.37	c #Conflicts:     251000 | #Constraints:      18186
53.18/53.37	c #Conflicts:     252000 | #Constraints:      19186
53.18/53.37	c #Conflicts:     253000 | #Constraints:      20187
53.18/53.37	c #Conflicts:     254000 | #Constraints:      21187
53.18/53.37	c #Conflicts:     255000 | #Constraints:      22189
53.18/53.37	c #Conflicts:     256000 | #Constraints:      23191
53.18/53.37	c INPROCESSING
53.18/53.37	c GARBAGE COLLECT
53.18/53.37	c #Conflicts:     257000 | #Constraints:      14184
53.18/53.37	c #Conflicts:     258000 | #Constraints:      15184
53.18/53.37	c #Conflicts:     259000 | #Constraints:      16185
53.18/53.37	c #Conflicts:     260000 | #Constraints:      17187
53.18/53.37	c #Conflicts:     261000 | #Constraints:      18189
53.18/53.37	c #Conflicts:     262000 | #Constraints:      19189
53.18/53.37	c #Conflicts:     263000 | #Constraints:      20190
53.18/53.37	c #Conflicts:     264000 | #Constraints:      21191
53.18/53.37	c #Conflicts:     265000 | #Constraints:      22193
53.18/53.37	c #Conflicts:     266000 | #Constraints:      23195
53.18/53.37	c INPROCESSING
53.18/53.37	c GARBAGE COLLECT
53.18/53.37	c #Conflicts:     267000 | #Constraints:      13986
53.18/53.37	c #Conflicts:     268000 | #Constraints:      14987
53.18/53.37	c #Conflicts:     269000 | #Constraints:      15987
53.18/53.37	c #Conflicts:     270000 | #Constraints:      16988
53.18/53.37	c #Conflicts:     271000 | #Constraints:      17993
53.18/53.37	c #Conflicts:     272000 | #Constraints:      18996
53.18/53.37	c #Conflicts:     273000 | #Constraints:      19997
53.18/53.37	c #Conflicts:     274000 | #Constraints:      20997
53.18/53.37	c #Conflicts:     275000 | #Constraints:      21999
53.18/53.37	c #Conflicts:     276000 | #Constraints:      23000
53.18/53.37	c #Conflicts:     277000 | #Constraints:      24000
53.18/53.37	c INPROCESSING
53.18/53.37	c GARBAGE COLLECT
53.18/53.37	c #Conflicts:     278000 | #Constraints:      14586
53.18/53.37	c #Conflicts:     279000 | #Constraints:      15586
53.18/53.37	c #Conflicts:     280000 | #Constraints:      16587
53.18/53.37	c #Conflicts:     281000 | #Constraints:      17588
53.18/53.37	c #Conflicts:     282000 | #Constraints:      18588
53.18/53.37	c #Conflicts:     283000 | #Constraints:      19588
53.18/53.37	c #Conflicts:     284000 | #Constraints:      20589
53.18/53.37	c #Conflicts:     285000 | #Constraints:      21589
53.18/53.37	c #Conflicts:     286000 | #Constraints:      22589
53.18/53.37	c #Conflicts:     287000 | #Constraints:      23592
53.18/53.37	c #Conflicts:     288000 | #Constraints:      24594
53.18/53.37	c INPROCESSING
53.18/53.37	c GARBAGE COLLECT
53.18/53.37	c #Conflicts:     289000 | #Constraints:      14986
53.18/53.37	c #Conflicts:     290000 | #Constraints:      15987
53.18/53.37	c #Conflicts:     291000 | #Constraints:      16991
53.18/53.37	c #Conflicts:     292000 | #Constraints:      17992
53.18/53.37	c #Conflicts:     293000 | #Constraints:      18993
53.18/53.37	c #Conflicts:     294000 | #Constraints:      19994
53.18/53.37	c #Conflicts:     295000 | #Constraints:      20996
53.18/53.37	c #Conflicts:     296000 | #Constraints:      21997
53.18/53.37	c #Conflicts:     297000 | #Constraints:      22997
53.18/53.37	c #Conflicts:     298000 | #Constraints:      23999
53.18/53.37	c #Conflicts:     299000 | #Constraints:      24999
53.18/53.37	c INPROCESSING
53.18/53.37	c GARBAGE COLLECT
53.18/53.37	c #Conflicts:     300000 | #Constraints:      15187
53.18/53.37	c #Conflicts:     301000 | #Constraints:      16188
53.18/53.37	c #Conflicts:     302000 | #Constraints:      17188
53.18/53.37	c #Conflicts:     303000 | #Constraints:      18189
53.18/53.37	c #Conflicts:     304000 | #Constraints:      19190
53.18/53.37	c #Conflicts:     305000 | #Constraints:      20190
53.18/53.37	c #Conflicts:     306000 | #Constraints:      21190
53.18/53.37	c #Conflicts:     307000 | #Constraints:      22190
53.18/53.37	c #Conflicts:     308000 | #Constraints:      23190
53.18/53.37	c #Conflicts:     309000 | #Constraints:      24190
53.18/53.37	c #Conflicts:     310000 | #Constraints:      25190
53.18/53.37	c INPROCESSING
53.18/53.37	c GARBAGE COLLECT
53.18/53.37	c rational objective 142.469
54.98/55.15	c #Conflicts:     311000 | #Constraints:      15177
54.98/55.15	c #Conflicts:     312000 | #Constraints:      16177
54.98/55.15	c #Conflicts:     313000 | #Constraints:      17178
54.98/55.15	c #Conflicts:     314000 | #Constraints:      18178
54.98/55.15	c #Conflicts:     315000 | #Constraints:      19180
54.98/55.15	c #Conflicts:     316000 | #Constraints:      20181
54.98/55.15	c #Conflicts:     317000 | #Constraints:      21181
54.98/55.15	c #Conflicts:     318000 | #Constraints:      22182
54.98/55.15	c #Conflicts:     319000 | #Constraints:      23182
54.98/55.15	c #Conflicts:     320000 | #Constraints:      24183
54.98/55.15	c #Conflicts:     321000 | #Constraints:      25185
54.98/55.15	c INPROCESSING
54.98/55.15	c GARBAGE COLLECT
54.98/55.15	WSVECS04 Frhs2[33]: 6 -48.0277 0 shouldn't be
54.98/55.15	WSVECS04 Frhs2[34]: 6 -48.0277 0 shouldn't be
54.98/55.15	WSVECS04 Frhs2[37]: 6 0 47.7747 shouldn't be
54.98/55.15	WSVECS04 Frhs2[39]: 6 -49.6944 0 shouldn't be
54.98/55.15	WSVECS04 Frhs2[60]: 6 0 141.111 shouldn't be
54.98/55.15	WSVECS04 Frhs2[116]: 6 0 28.1391 shouldn't be
54.98/55.15	WSVECS04 Frhs2[119]: 6 0 1.00003 shouldn't be
54.98/55.15	WSVECS04 Frhs2[122]: 6 0 47.361 shouldn't be
54.98/55.15	WSVECS04 Frhs2[140]: 6 0 5.84873 shouldn't be
54.98/55.15	WSVECS04 Frhs2[145]: 6 0 1.00002 shouldn't be
54.98/55.15	WSVECS04 Frhs2[156]: 6 0 0.333415 shouldn't be
54.98/55.15	WSVECS04 Frhs2[207]: 6 -0.178804 0 shouldn't be
54.98/55.15	WSVECS04 Frhs2[215]: 6 0 26.0139 shouldn't be
54.98/55.15	WSVECS04 Frhs2[282]: 6 0 0.333408 shouldn't be
54.98/55.15	WSVECS04 Frhs2[308]: 6 0 0.333418 shouldn't be
54.98/55.15	WSVECS04 Frhs2[370]: 6 0 0.0504663 shouldn't be
54.98/55.15	WSVECS04 Frhs2[427]: 6 0 2.00001 shouldn't be
54.98/55.15	WSVECS04 Frhs2[476]: 6 0 0.31847 shouldn't be
54.98/55.15	WSVECS04 Frhs2[519]: 6 0 0.487966 shouldn't be
54.98/55.15	WSVECS04 Frhs2[640]: 6 0 1.00002 shouldn't be
55.07/55.21	WSVECS04 Frhs2[33]: 6 -48.0276 0 shouldn't be
55.07/55.21	WSVECS04 Frhs2[34]: 6 -48.0276 0 shouldn't be
55.07/55.21	WSVECS04 Frhs2[36]: 6 0 1.96713 shouldn't be
55.07/55.21	WSVECS04 Frhs2[37]: 6 0 47.7746 shouldn't be
55.07/55.21	WSVECS04 Frhs2[39]: 6 -49.6943 0 shouldn't be
55.07/55.21	WSVECS04 Frhs2[56]: 6 0 0.333334 shouldn't be
55.07/55.21	WSVECS04 Frhs2[67]: 6 0 1 shouldn't be
55.07/55.21	WSVECS04 Frhs2[86]: 6 0 140.792 shouldn't be
55.07/55.21	WSVECS04 Frhs2[116]: 6 0 28.1391 shouldn't be
55.07/55.21	WSVECS04 Frhs2[119]: 6 0 1 shouldn't be
55.07/55.21	WSVECS04 Frhs2[122]: 6 0 47.361 shouldn't be
55.07/55.21	WSVECS04 Frhs2[125]: 6 0 0.970213 shouldn't be
55.07/55.21	WSVECS04 Frhs2[140]: 6 0 5.84869 shouldn't be
55.07/55.21	WSVECS04 Frhs2[149]: 6 0 1.33608 shouldn't be
55.07/55.21	WSVECS04 Frhs2[156]: 6 0 0.333334 shouldn't be
55.07/55.21	WSVECS04 Frhs2[183]: 6 0 0.101103 shouldn't be
55.07/55.21	WSVECS04 Frhs2[207]: 6 -0.178754 0 shouldn't be
55.07/55.21	WSVECS04 Frhs2[282]: 6 0 0.333333 shouldn't be
55.07/55.21	WSVECS04 Frhs2[313]: 6 0 0.122776 shouldn't be
55.07/55.21	WSVECS04 Frhs2[356]: 6 0 0.333334 shouldn't be
55.07/55.21	WSVECS04 Frhs2[370]: 6 0 0.0504198 shouldn't be
55.07/55.21	WSVECS04 Frhs2[407]: 6 0 0.333334 shouldn't be
55.07/55.21	WSVECS04 Frhs2[408]: 6 0 0.333334 shouldn't be
55.07/55.21	WSVECS04 Frhs2[447]: 6 0 1.05538 shouldn't be
55.07/55.21	WSVECS04 Frhs2[456]: 6 0 1.48977 shouldn't be
55.07/55.21	WSVECS04 Frhs2[514]: 6 0 0.333334 shouldn't be
55.78/55.99	c #Conflicts:     322000 | #Constraints:      14985
55.78/55.99	c #Conflicts:     323000 | #Constraints:      15985
55.78/55.99	c #Conflicts:     324000 | #Constraints:      16986
55.78/55.99	c #Conflicts:     325000 | #Constraints:      17986
55.78/55.99	c #Conflicts:     326000 | #Constraints:      18988
55.78/55.99	WSVECS04 Frhs2[408]: 6 0 1.88769 shouldn't be
56.37/56.57	c #Conflicts:     327000 | #Constraints:      19989
56.37/56.57	c #Conflicts:     328000 | #Constraints:      20990
56.37/56.57	c #Conflicts:     329000 | #Constraints:      21991
56.37/56.57	c #Conflicts:     330000 | #Constraints:      22991
56.37/56.57	WSVECS04 Frhs2[9]: 6 -12.8921 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[18]: 6 -12.8921 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[39]: 6 -729.925 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[40]: 6 -242.237 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[43]: 6 -2571.51 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[56]: 6 -2123.19 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[60]: 6 0 4.56431 shouldn't be
56.37/56.57	WSVECS04 Frhs2[66]: 6 0 138.673 shouldn't be
56.37/56.57	WSVECS04 Frhs2[84]: 6 0 20.2849 shouldn't be
56.37/56.57	WSVECS04 Frhs2[118]: 6 0 138.673 shouldn't be
56.37/56.57	WSVECS04 Frhs2[131]: 6 -720.366 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[168]: 6 0 1.72268 shouldn't be
56.37/56.57	WSVECS04 Frhs2[176]: 6 0 138.673 shouldn't be
56.37/56.57	WSVECS04 Frhs2[178]: 6 0 181.193 shouldn't be
56.37/56.57	WSVECS04 Frhs2[185]: 6 -466.676 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[189]: 6 -932.918 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[190]: 6 -101.984 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[236]: 6 -101.879 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[240]: 6 0 18.0032 shouldn't be
56.37/56.57	WSVECS04 Frhs2[244]: 6 0 69.3366 shouldn't be
56.37/56.57	WSVECS04 Frhs2[265]: 6 -2808.55 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[336]: 6 -299.361 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[340]: 6 0 13.1863 shouldn't be
56.37/56.57	WSVECS04 Frhs2[364]: 6 -1737.45 0 shouldn't be
56.37/56.57	WSVECS04 Frhs2[366]: 6 0 13.1863 shouldn't be
56.37/56.57	WSVECS04 Frhs2[381]: 6 0 138.673 shouldn't be
56.37/56.57	WSVECS04 Frhs2[385]: 6 0 1125.45 shouldn't be
56.37/56.57	WSVECS04 Frhs2[392]: 6 0 13.1863 shouldn't be
56.37/56.57	WSVECS04 Frhs2[410]: 6 0 138.673 shouldn't be
56.37/56.57	WSVECS04 Frhs2[433]: 6 0 138.673 shouldn't be
56.37/56.57	WSVECS04 Frhs2[435]: 6 0 3.57574 shouldn't be
56.37/56.57	WSVECS04 Frhs2[436]: 6 0 138.673 shouldn't be
56.37/56.57	WSVECS04 Frhs2[438]: 6 0 181.193 shouldn't be
56.37/56.57	WSVECS04 Frhs2[466]: 6 0 12.8921 shouldn't be
56.37/56.57	WSVECS04 Frhs2[538]: 6 0 169.1 shouldn't be
56.37/56.57	WSVECS04 Frhs2[660]: 6 0 69.3366 shouldn't be
56.37/56.57	WSVECS04 Frhs2[710]: 6 0 21.2643 shouldn't be
56.88/57.07	c #Conflicts:     331000 | #Constraints:      23992
56.88/57.07	c #Conflicts:     332000 | #Constraints:      24993
56.88/57.07	c #Conflicts:     333000 | #Constraints:      25995
56.88/57.07	c INPROCESSING
56.88/57.07	c GARBAGE COLLECT
56.88/57.07	WSVECS04 Frhs2[30]: 6 0 6.80253 shouldn't be
56.88/57.07	WSVECS04 Frhs2[33]: 6 -211.961 0 shouldn't be
56.88/57.07	WSVECS04 Frhs2[34]: 6 0 108.033 shouldn't be
56.88/57.07	WSVECS04 Frhs2[41]: 6 0 156.727 shouldn't be
56.88/57.07	WSVECS04 Frhs2[42]: 6 -484.459 0 shouldn't be
56.88/57.07	WSVECS04 Frhs2[66]: 6 0 178.577 shouldn't be
56.88/57.07	WSVECS04 Frhs2[92]: 6 0 178.577 shouldn't be
56.88/57.07	WSVECS04 Frhs2[126]: 6 0 67.0436 shouldn't be
56.88/57.07	WSVECS04 Frhs2[137]: 6 0 224.936 shouldn't be
56.88/57.07	WSVECS04 Frhs2[160]: 6 0 0.541912 shouldn't be
56.88/57.07	WSVECS04 Frhs2[162]: 6 0 108.791 shouldn't be
56.88/57.07	WSVECS04 Frhs2[183]: 6 0 0.110986 shouldn't be
56.88/57.07	WSVECS04 Frhs2[186]: 6 0 0.541876 shouldn't be
56.88/57.07	WSVECS04 Frhs2[206]: 6 0 376.117 shouldn't be
56.88/57.07	WSVECS04 Frhs2[208]: 6 0 150.028 shouldn't be
56.88/57.07	WSVECS04 Frhs2[212]: 6 0 0.541852 shouldn't be
56.88/57.07	WSVECS04 Frhs2[214]: 6 0 1.00002 shouldn't be
56.88/57.07	WSVECS04 Frhs2[232]: 6 0 376.117 shouldn't be
56.88/57.07	WSVECS04 Frhs2[265]: 6 0 88.6623 shouldn't be
56.88/57.07	WSVECS04 Frhs2[267]: 6 0 287.02 shouldn't be
56.88/57.07	WSVECS04 Frhs2[272]: 6 0 109.791 shouldn't be
56.88/57.07	WSVECS04 Frhs2[277]: 6 0 178.577 shouldn't be
56.88/57.07	WSVECS04 Frhs2[278]: 6 0 198.235 shouldn't be
56.88/57.07	WSVECS04 Frhs2[284]: 6 0 199.366 shouldn't be
56.88/57.07	WSVECS04 Frhs2[285]: 6 0 0.14147 shouldn't be
56.88/57.07	WSVECS04 Frhs2[288]: 6 0 166.581 shouldn't be
56.88/57.07	WSVECS04 Frhs2[332]: 6 0 72.5488 shouldn't be
56.88/57.07	WSVECS04 Frhs2[337]: 6 0 0.277283 shouldn't be
56.88/57.07	WSVECS04 Frhs2[339]: 6 0 105.794 shouldn't be
56.88/57.07	WSVECS04 Frhs2[364]: 6 0 116.666 shouldn't be
56.88/57.07	WSVECS04 Frhs2[381]: 6 0 178.577 shouldn't be
56.88/57.07	WSVECS04 Frhs2[386]: 6 0 167.702 shouldn't be
56.88/57.07	WSVECS04 Frhs2[407]: 6 0 178.577 shouldn't be
56.88/57.07	WSVECS04 Frhs2[436]: 6 0 125.563 shouldn't be
56.88/57.07	WSVECS04 Frhs2[443]: 6 0 0.110927 shouldn't be
56.88/57.07	WSVECS04 Frhs2[457]: 6 -0.414085 0 shouldn't be
56.88/57.07	WSVECS04 Frhs2[464]: 6 0 38.2885 shouldn't be
56.88/57.07	WSVECS04 Frhs2[473]: 6 0 0.16014 shouldn't be
56.88/57.07	WSVECS04 Frhs2[474]: 6 -0.991151 0 shouldn't be
56.88/57.07	WSVECS04 Frhs2[489]: 6 0 7.95151 shouldn't be
56.88/57.07	WSVECS04 Frhs2[508]: 6 0 178.577 shouldn't be
56.88/57.07	WSVECS04 Frhs2[539]: 6 0 4.46727 shouldn't be
56.88/57.07	WSVECS04 Frhs2[564]: 6 0 178.222 shouldn't be
56.88/57.07	WSVECS04 Frhs2[608]: 6 0 89.2887 shouldn't be
58.67/58.80	c #Conflicts:     334000 | #Constraints:      15590
58.67/58.80	c #Conflicts:     335000 | #Constraints:      16590
58.67/58.80	c #Conflicts:     336000 | #Constraints:      17591
58.67/58.80	c #Conflicts:     337000 | #Constraints:      18593
58.67/58.80	c #Conflicts:     338000 | #Constraints:      19594
58.67/58.80	c #Conflicts:     339000 | #Constraints:      20594
58.67/58.80	c #Conflicts:     340000 | #Constraints:      21594
58.67/58.80	c #Conflicts:     341000 | #Constraints:      22594
58.67/58.80	c #Conflicts:     342000 | #Constraints:      23594
58.67/58.80	c #Conflicts:     343000 | #Constraints:      24594
58.67/58.80	c #Conflicts:     344000 | #Constraints:      25595
58.67/58.80	c #Conflicts:     345000 | #Constraints:      26595
58.67/58.80	c INPROCESSING
58.67/58.80	c GARBAGE COLLECT
58.67/58.80	WSVECS04 Frhs2[30]: 6 0 12.4735 shouldn't be
58.67/58.80	WSVECS04 Frhs2[32]: 6 -11.6908 0 shouldn't be
58.67/58.80	WSVECS04 Frhs2[38]: 6 -11.7905 0 shouldn't be
58.67/58.80	WSVECS04 Frhs2[40]: 6 -16.1774 0 shouldn't be
58.67/58.80	WSVECS04 Frhs2[41]: 6 0 14.8955 shouldn't be
58.67/58.80	WSVECS04 Frhs2[42]: 6 -18.0867 0 shouldn't be
58.67/58.80	WSVECS04 Frhs2[95]: 6 0 9.58947 shouldn't be
58.67/58.80	WSVECS04 Frhs2[96]: 6 0 7.39604 shouldn't be
58.67/58.80	WSVECS04 Frhs2[116]: 6 -3.10134 0 shouldn't be
58.67/58.80	WSVECS04 Frhs2[121]: 6 0 9.58952 shouldn't be
58.67/58.80	WSVECS04 Frhs2[122]: 6 0 7.396 shouldn't be
58.67/58.80	WSVECS04 Frhs2[147]: 6 0 9.58951 shouldn't be
58.67/58.80	WSVECS04 Frhs2[153]: 6 0 0.333419 shouldn't be
58.67/58.80	WSVECS04 Frhs2[154]: 6 0 4.78485 shouldn't be
58.67/58.80	WSVECS04 Frhs2[181]: 6 0 8.38823 shouldn't be
58.67/58.80	WSVECS04 Frhs2[259]: 6 0 13.183 shouldn't be
58.67/58.80	WSVECS04 Frhs2[318]: 6 0 2.10128 shouldn't be
58.67/58.80	WSVECS04 Frhs2[319]: 6 0 9.58948 shouldn't be
58.67/58.80	WSVECS04 Frhs2[334]: 6 0 10.9159 shouldn't be
58.67/58.80	WSVECS04 Frhs2[346]: 6 0 5.77829 shouldn't be
58.67/58.80	WSVECS04 Frhs2[369]: 6 0 9.58949 shouldn't be
58.67/58.80	WSVECS04 Frhs2[381]: 6 0 9.58949 shouldn't be
58.67/58.80	WSVECS04 Frhs2[383]: 6 -1.38387 0 shouldn't be
58.67/58.80	WSVECS04 Frhs2[395]: 6 0 9.5895 shouldn't be
58.67/58.80	WSVECS04 Frhs2[396]: 6 0 1.64962 shouldn't be
58.67/58.80	WSVECS04 Frhs2[407]: 6 0 9.58949 shouldn't be
58.67/58.80	WSVECS04 Frhs2[420]: 6 -13.8842 0 shouldn't be
58.67/58.80	WSVECS04 Frhs2[445]: 6 0 7.3348 shouldn't be
58.67/58.80	WSVECS04 Frhs2[449]: 6 0 7.10698 shouldn't be
58.67/58.80	WSVECS04 Frhs2[456]: 6 0 9.58946 shouldn't be
58.67/58.80	WSVECS04 Frhs2[457]: 6 0 1.00001 shouldn't be
58.67/58.80	WSVECS04 Frhs2[464]: 6 0 10.9159 shouldn't be
58.67/58.80	WSVECS04 Frhs2[495]: 6 -12.6019 0 shouldn't be
58.67/58.80	WSVECS04 Frhs2[496]: 6 0 3.40041 shouldn't be
58.67/58.80	WSVECS04 Frhs2[497]: 6 0 5.29481 shouldn't be
58.67/58.80	WSVECS04 Frhs2[508]: 6 0 9.58945 shouldn't be
58.67/58.80	WSVECS04 Frhs2[521]: 6 0 0.191927 shouldn't be
58.67/58.80	WSVECS04 Frhs2[534]: 6 0 9.58946 shouldn't be
58.67/58.80	WSVECS04 Frhs2[544]: 6 0 6.90596 shouldn't be
58.67/58.88	WSVECS04 Frhs2[522]: 6 0 3.40039 shouldn't be
58.88/59.03	WSVECS04 Frhs2[32]: 6 -11.6907 0 shouldn't be
58.88/59.03	WSVECS04 Frhs2[40]: 6 -16.1773 0 shouldn't be
58.88/59.03	WSVECS04 Frhs2[42]: 6 -18.0867 0 shouldn't be
58.88/59.03	WSVECS04 Frhs2[96]: 6 0 7.39598 shouldn't be
58.88/59.03	WSVECS04 Frhs2[116]: 6 -3.10126 0 shouldn't be
58.88/59.03	WSVECS04 Frhs2[146]: 6 0 8.1733 shouldn't be
58.88/59.03	WSVECS04 Frhs2[181]: 6 0 8.38816 shouldn't be
58.88/59.03	WSVECS04 Frhs2[259]: 6 0 13.1829 shouldn't be
58.88/59.03	WSVECS04 Frhs2[381]: 6 0 9.58944 shouldn't be
58.88/59.03	WSVECS04 Frhs2[420]: 6 -13.8842 0 shouldn't be
58.88/59.03	WSVECS04 Frhs2[449]: 6 0 7.10693 shouldn't be
58.88/59.03	WSVECS04 Frhs2[452]: 6 0 2.80255 shouldn't be
58.88/59.03	WSVECS04 Frhs2[470]: 6 0 3.40037 shouldn't be
58.88/59.03	WSVECS04 Frhs2[496]: 6 0 3.40037 shouldn't be
58.88/59.03	WSVECS04 Frhs2[522]: 6 0 3.40037 shouldn't be
58.88/59.03	WSVECS04 Frhs2[534]: 6 0 9.58944 shouldn't be
58.88/59.03	WSVECS04 Frhs2[544]: 6 0 6.90595 shouldn't be
58.98/59.11	WSVECS04 Frhs2[457]: 6 0 1 shouldn't be
59.57/59.77	c #Conflicts:     346000 | #Constraints:      15986
59.57/59.77	c #Conflicts:     347000 | #Constraints:      16987
59.57/59.77	c #Conflicts:     348000 | #Constraints:      17988
59.57/59.77	c #Conflicts:     349000 | #Constraints:      18989
59.57/59.77	WSVECS04 Frhs2[11]: 6 -8.10466 0 shouldn't be
59.57/59.77	WSVECS04 Frhs2[12]: 6 -8.10466 0 shouldn't be
59.57/59.77	WSVECS04 Frhs2[15]: 6 -8.10466 0 shouldn't be
59.57/59.77	WSVECS04 Frhs2[18]: 6 -8.10466 0 shouldn't be
59.57/59.77	WSVECS04 Frhs2[26]: 6 0 3.7047 shouldn't be
59.57/59.77	WSVECS04 Frhs2[38]: 6 -64.8792 0 shouldn't be
59.57/59.77	WSVECS04 Frhs2[39]: 6 -98.3987 0 shouldn't be
59.57/59.77	WSVECS04 Frhs2[79]: 6 0 5.17633 shouldn't be
59.57/59.77	WSVECS04 Frhs2[110]: 6 0 3.82552 shouldn't be
59.57/59.77	WSVECS04 Frhs2[115]: 6 0 1 shouldn't be
59.57/59.77	WSVECS04 Frhs2[119]: 6 0 10.1497 shouldn't be
59.57/59.77	WSVECS04 Frhs2[129]: 6 0 36.8268 shouldn't be
59.57/59.77	WSVECS04 Frhs2[134]: 6 0 25.1141 shouldn't be
59.57/59.77	WSVECS04 Frhs2[139]: 6 0 32.5035 shouldn't be
59.57/59.77	WSVECS04 Frhs2[163]: 6 -51.1138 0 shouldn't be
59.57/59.77	WSVECS04 Frhs2[180]: 6 -32.0315 0 shouldn't be
59.57/59.77	WSVECS04 Frhs2[190]: 6 0 18.211 shouldn't be
59.57/59.77	WSVECS04 Frhs2[194]: 6 0 32.7986 shouldn't be
59.57/59.77	WSVECS04 Frhs2[211]: 6 0 38.0299 shouldn't be
59.57/59.77	WSVECS04 Frhs2[233]: 6 0 37.3889 shouldn't be
59.57/59.77	WSVECS04 Frhs2[264]: 6 0 20.3182 shouldn't be
59.57/59.77	WSVECS04 Frhs2[265]: 6 0 37.0084 shouldn't be
59.57/59.77	WSVECS04 Frhs2[279]: 6 0 1.06461 shouldn't be
59.57/59.77	WSVECS04 Frhs2[310]: 6 -76.8039 0 shouldn't be
59.57/59.77	WSVECS04 Frhs2[315]: 6 0 38.0299 shouldn't be
59.57/59.77	WSVECS04 Frhs2[339]: 6 0 36.1503 shouldn't be
59.57/59.77	WSVECS04 Frhs2[390]: 6 0 17.4921 shouldn't be
59.57/59.77	WSVECS04 Frhs2[437]: 6 0 4.49687 shouldn't be
59.57/59.77	WSVECS04 Frhs2[450]: 6 0 60.6194 shouldn't be
59.57/59.77	WSVECS04 Frhs2[463]: 6 0 4.49687 shouldn't be
59.57/59.77	WSVECS04 Frhs2[466]: 6 0 76.8039 shouldn't be
59.57/59.77	WSVECS04 Frhs2[484]: 6 0 1 shouldn't be
59.57/59.77	WSVECS04 Frhs2[553]: 6 0 0.586628 shouldn't be
59.57/59.77	WSVECS04 Frhs2[662]: 6 0 4.59332 shouldn't be
59.57/59.77	WSVECS04 Frhs2[706]: 6 0 19.5023 shouldn't be
59.57/59.77	WSVECS04 Frhs2[724]: 6 0 26.4434 shouldn't be
59.57/59.77	WSVECS04 Frhs2[730]: 6 0 4.75867 shouldn't be
59.57/59.77	WSVECS04 Frhs2[735]: 6 -45.5107 0 shouldn't be
59.57/59.77	WSVECS04 Frhs2[756]: 6 0 120.55 shouldn't be
60.66/60.81	c #Conflicts:     350000 | #Constraints:      19991
60.66/60.81	c #Conflicts:     351000 | #Constraints:      20991
60.66/60.81	c #Conflicts:     352000 | #Constraints:      21991
60.66/60.81	c #Conflicts:     353000 | #Constraints:      22992
60.66/60.81	c #Conflicts:     354000 | #Constraints:      23992
60.66/60.81	c #Conflicts:     355000 | #Constraints:      24993
60.66/60.81	WSVECS04 Frhs2[17]: 6 0 6.29751 shouldn't be
60.66/60.81	WSVECS04 Frhs2[30]: 6 0 32.6119 shouldn't be
60.66/60.81	WSVECS04 Frhs2[38]: 6 -17.5316 0 shouldn't be
60.66/60.81	WSVECS04 Frhs2[40]: 6 0 26.9026 shouldn't be
60.66/60.81	WSVECS04 Frhs2[44]: 6 0 53.3283 shouldn't be
60.66/60.81	WSVECS04 Frhs2[51]: 6 0 31.8197 shouldn't be
60.66/60.81	WSVECS04 Frhs2[54]: 6 0 51.6705 shouldn't be
60.66/60.81	WSVECS04 Frhs2[76]: 6 0 13.3293 shouldn't be
60.66/60.81	WSVECS04 Frhs2[79]: 6 -4.65636 0 shouldn't be
60.66/60.81	WSVECS04 Frhs2[84]: 6 -6.25624 0 shouldn't be
60.66/60.81	WSVECS04 Frhs2[103]: 6 0 6.88547 shouldn't be
60.66/60.81	WSVECS04 Frhs2[113]: 6 0 1.00009 shouldn't be
60.66/60.81	WSVECS04 Frhs2[129]: 6 0 6.88549 shouldn't be
60.66/60.81	WSVECS04 Frhs2[175]: 6 0 0.0986074 shouldn't be
60.66/60.81	WSVECS04 Frhs2[182]: 6 -13.3652 0 shouldn't be
60.66/60.81	WSVECS04 Frhs2[184]: 6 -0.520174 0 shouldn't be
60.66/60.81	WSVECS04 Frhs2[188]: 6 0 11.9442 shouldn't be
60.66/60.81	WSVECS04 Frhs2[214]: 6 0 11.9442 shouldn't be
60.66/60.81	WSVECS04 Frhs2[231]: 6 0 1.00008 shouldn't be
60.66/60.81	WSVECS04 Frhs2[266]: 6 0 12.9733 shouldn't be
60.66/60.81	WSVECS04 Frhs2[270]: 6 0 12.8955 shouldn't be
60.66/60.81	WSVECS04 Frhs2[277]: 6 0 8.09536 shouldn't be
60.66/60.81	WSVECS04 Frhs2[339]: 6 0 6.47361 shouldn't be
60.66/60.81	WSVECS04 Frhs2[370]: 6 0 1.03804 shouldn't be
60.66/60.81	WSVECS04 Frhs2[385]: 6 0 0.590048 shouldn't be
60.66/60.81	WSVECS04 Frhs2[392]: 6 -2.07614 0 shouldn't be
60.66/60.81	WSVECS04 Frhs2[431]: 6 0 0.414016 shouldn't be
60.66/60.81	WSVECS04 Frhs2[450]: 6 0 12.766 shouldn't be
60.66/60.81	WSVECS04 Frhs2[472]: 6 0 13.2744 shouldn't be
60.66/60.81	WSVECS04 Frhs2[473]: 6 0 0.160088 shouldn't be
60.66/60.81	WSVECS04 Frhs2[476]: 6 0 12.7661 shouldn't be
60.66/60.81	WSVECS04 Frhs2[491]: 6 0 1.00008 shouldn't be
60.66/60.81	WSVECS04 Frhs2[502]: 6 0 12.766 shouldn't be
60.66/60.81	WSVECS04 Frhs2[553]: 6 0 19.8544 shouldn't be
60.66/60.81	WSVECS04 Frhs2[573]: 6 0 0.598624 shouldn't be
60.66/60.81	WSVECS04 Frhs2[579]: 6 0 15.5114 shouldn't be
60.66/60.81	WSVECS04 Frhs2[580]: 6 0 6.71873 shouldn't be
60.66/60.81	WSVECS04 Frhs2[599]: 6 0 0.598581 shouldn't be
60.66/60.81	WSVECS04 Frhs2[631]: 6 0 9.02011 shouldn't be
60.66/60.81	WSVECS04 Frhs2[693]: 6 -10.7233 0 shouldn't be
60.66/60.81	WSVECS04 Frhs2[698]: 6 -4.12788 0 shouldn't be
60.66/60.81	WSVECS04 Frhs2[703]: 6 0 3.5728 shouldn't be
60.66/60.81	WSVECS04 Frhs2[710]: 6 -0.989414 0 shouldn't be
60.87/61.09	c #Conflicts:     356000 | #Constraints:      25995
60.87/61.09	c #Conflicts:     357000 | #Constraints:      26995
60.87/61.09	c INPROCESSING
60.87/61.09	c GARBAGE COLLECT
60.87/61.09	WSVECS04 Frhs2[11]: 6 -16.6922 0 shouldn't be
60.87/61.09	WSVECS04 Frhs2[86]: 6 0 0.127614 shouldn't be
60.87/61.09	WSVECS04 Frhs2[245]: 6 0 0.500001 shouldn't be
60.87/61.09	WSVECS04 Frhs2[337]: 6 0 1.27771 shouldn't be
60.87/61.09	WSVECS04 Frhs2[338]: 6 0 1.27355 shouldn't be
60.87/61.09	WSVECS04 Frhs2[362]: 6 0 2.48824 shouldn't be
60.87/61.09	WSVECS04 Frhs2[388]: 6 0 2.48824 shouldn't be
60.87/61.09	WSVECS04 Frhs2[446]: 6 -1.12445 0 shouldn't be
60.87/61.09	WSVECS04 Frhs2[515]: 6 0 30.9906 shouldn't be
60.87/61.09	WSVECS04 Frhs2[570]: 6 0 4.77661 shouldn't be
60.97/61.16	WSVECS04 Frhs2[8]: 6 0 6.10034 shouldn't be
60.97/61.16	WSVECS04 Frhs2[80]: 6 0 57.0281 shouldn't be
60.97/61.16	WSVECS04 Frhs2[106]: 6 0 57.0281 shouldn't be
60.97/61.16	WSVECS04 Frhs2[132]: 6 0 57.0281 shouldn't be
60.97/61.16	WSVECS04 Frhs2[134]: 6 -4.17848 0 shouldn't be
60.97/61.16	WSVECS04 Frhs2[253]: 6 0 0.828012 shouldn't be
60.97/61.16	WSVECS04 Frhs2[278]: 6 0 8.37037 shouldn't be
60.97/61.16	WSVECS04 Frhs2[404]: 6 0 40.2376 shouldn't be
60.97/61.16	WSVECS04 Frhs2[443]: 6 0 6.33092 shouldn't be
60.97/61.16	WSVECS04 Frhs2[597]: 6 0 17.0227 shouldn't be
60.97/61.16	WSVECS04 Frhs2[711]: 6 -1 0 shouldn't be
60.97/61.16	WSVECS04 Frhs2[722]: 6 0 1.4246 shouldn't be
63.46/63.65	c #Conflicts:     358000 | #Constraints:      16189
63.46/63.65	c #Conflicts:     359000 | #Constraints:      17189
63.46/63.65	c #Conflicts:     360000 | #Constraints:      18190
63.46/63.65	c #Conflicts:     361000 | #Constraints:      19191
63.46/63.65	c #Conflicts:     362000 | #Constraints:      20194
63.46/63.65	c #Conflicts:     363000 | #Constraints:      21194
63.46/63.65	c #Conflicts:     364000 | #Constraints:      22195
63.46/63.65	c #Conflicts:     365000 | #Constraints:      23196
63.46/63.65	c #Conflicts:     366000 | #Constraints:      24197
63.46/63.65	c #Conflicts:     367000 | #Constraints:      25197
63.46/63.65	c #Conflicts:     368000 | #Constraints:      26199
63.46/63.65	c #Conflicts:     369000 | #Constraints:      27201
63.46/63.65	c INPROCESSING
63.46/63.65	c GARBAGE COLLECT
63.46/63.65	c #Conflicts:     370000 | #Constraints:      16186
63.46/63.65	c #Conflicts:     371000 | #Constraints:      17186
63.46/63.65	WSVECS04 Frhs2[32]: 6 -4.31739 0 shouldn't be
63.46/63.65	WSVECS04 Frhs2[42]: 6 -7.58395 0 shouldn't be
63.46/63.65	WSVECS04 Frhs2[54]: 6 0 0.118983 shouldn't be
63.46/63.65	WSVECS04 Frhs2[58]: 6 0 0.989286 shouldn't be
63.46/63.65	WSVECS04 Frhs2[151]: 6 0 0.283957 shouldn't be
63.46/63.65	WSVECS04 Frhs2[152]: 6 0 0.333334 shouldn't be
63.46/63.65	WSVECS04 Frhs2[168]: 6 0 4.47006 shouldn't be
63.46/63.65	WSVECS04 Frhs2[180]: 6 -4.44089 0 shouldn't be
63.46/63.65	WSVECS04 Frhs2[185]: 6 -4.34325 0 shouldn't be
63.46/63.65	WSVECS04 Frhs2[230]: 6 0 0.326528 shouldn't be
63.46/63.65	WSVECS04 Frhs2[260]: 6 0 0.466117 shouldn't be
63.46/63.65	WSVECS04 Frhs2[268]: 6 0 7.91121 shouldn't be
63.46/63.65	WSVECS04 Frhs2[286]: 6 0 0.466118 shouldn't be
63.46/63.65	WSVECS04 Frhs2[338]: 6 0 0.268443 shouldn't be
63.46/63.65	WSVECS04 Frhs2[431]: 6 0 0.57312 shouldn't be
63.46/63.65	WSVECS04 Frhs2[438]: 6 0 0.333334 shouldn't be
63.46/63.65	WSVECS04 Frhs2[488]: 6 0 2.9306 shouldn't be
63.46/63.65	WSVECS04 Frhs2[634]: 6 0 1 shouldn't be
63.46/63.65	WSVECS04 Frhs2[684]: 6 0 7.93226 shouldn't be
63.46/63.65	WSVECS04 Frhs2[732]: 6 0 0.0220382 shouldn't be
63.46/63.65	WSVECS04 Frhs2[734]: 6 0 0.989286 shouldn't be
63.46/63.65	WSVECS04 Frhs2[735]: 6 -2.62224 0 shouldn't be
63.46/63.65	WSVECS04 Frhs2[737]: 6 0 0.124815 shouldn't be
63.46/63.65	WSVECS04 Frhs2[738]: 6 0 1 shouldn't be
63.56/63.71	WSVECS04 Frhs2[62]: 6 0 1 shouldn't be
63.56/63.71	WSVECS04 Frhs2[105]: 6 0 0.00286903 shouldn't be
63.56/63.71	WSVECS04 Frhs2[136]: 6 0 4.46818 shouldn't be
63.56/63.71	WSVECS04 Frhs2[147]: 6 0 0.428747 shouldn't be
63.56/63.71	WSVECS04 Frhs2[149]: 6 0 1 shouldn't be
63.56/63.71	WSVECS04 Frhs2[181]: 6 0 0.217092 shouldn't be
63.56/63.71	WSVECS04 Frhs2[236]: 6 -7.90964 0 shouldn't be
63.56/63.71	WSVECS04 Frhs2[240]: 6 0 0.00649454 shouldn't be
63.56/63.71	WSVECS04 Frhs2[254]: 6 0 1 shouldn't be
63.56/63.71	WSVECS04 Frhs2[281]: 6 0 0.283956 shouldn't be
63.56/63.71	WSVECS04 Frhs2[285]: 6 0 0.0388651 shouldn't be
63.56/63.71	WSVECS04 Frhs2[409]: 6 0 1 shouldn't be
63.56/63.71	WSVECS04 Frhs2[434]: 6 0 0.249257 shouldn't be
63.56/63.71	WSVECS04 Frhs2[457]: 6 0 0.271544 shouldn't be
63.56/63.71	WSVECS04 Frhs2[534]: 6 0 0.5 shouldn't be
63.56/63.71	WSVECS04 Frhs2[563]: 6 0 0.428747 shouldn't be
63.56/63.71	WSVECS04 Frhs2[584]: 6 0 4.47006 shouldn't be
63.56/63.71	WSVECS04 Frhs2[638]: 6 0 0.5 shouldn't be
65.05/65.20	c #Conflicts:     372000 | #Constraints:      18187
65.05/65.20	c #Conflicts:     373000 | #Constraints:      19187
65.05/65.20	c #Conflicts:     374000 | #Constraints:      20188
65.05/65.20	c #Conflicts:     375000 | #Constraints:      21189
65.05/65.20	c #Conflicts:     376000 | #Constraints:      22189
65.05/65.20	c #Conflicts:     377000 | #Constraints:      23189
65.05/65.20	c #Conflicts:     378000 | #Constraints:      24190
65.05/65.20	c #Conflicts:     379000 | #Constraints:      25190
65.05/65.20	c #Conflicts:     380000 | #Constraints:      26190
65.05/65.20	c #Conflicts:     381000 | #Constraints:      27191
65.05/65.20	c INPROCESSING
65.05/65.20	c GARBAGE COLLECT
65.05/65.20	WSVECS04 Frhs2[40]: 6 -113.905 0 shouldn't be
65.05/65.20	WSVECS04 Frhs2[168]: 6 0 115.17 shouldn't be
65.05/65.20	WSVECS04 Frhs2[424]: 6 0 228.446 shouldn't be
65.05/65.20	WSVECS04 Frhs2[460]: 6 0 120.648 shouldn't be
66.05/66.27	c #Conflicts:     382000 | #Constraints:      15980
66.05/66.27	c #Conflicts:     383000 | #Constraints:      16981
66.05/66.27	c #Conflicts:     384000 | #Constraints:      17981
66.05/66.27	c #Conflicts:     385000 | #Constraints:      18983
66.05/66.27	c #Conflicts:     386000 | #Constraints:      19987
66.05/66.27	c #Conflicts:     387000 | #Constraints:      20988
66.05/66.27	c #Conflicts:     388000 | #Constraints:      21989
66.05/66.27	WSVECS04 Frhs2[37]: 6 -4.07365 0 shouldn't be
66.05/66.27	WSVECS04 Frhs2[38]: 6 -6.55 0 shouldn't be
66.05/66.27	WSVECS04 Frhs2[39]: 6 -6.52639 0 shouldn't be
66.05/66.27	WSVECS04 Frhs2[41]: 6 -6.52639 0 shouldn't be
66.05/66.27	WSVECS04 Frhs2[57]: 6 -3.03337 0 shouldn't be
66.05/66.27	WSVECS04 Frhs2[67]: 6 0 1 shouldn't be
66.05/66.27	WSVECS04 Frhs2[68]: 6 0 0.333334 shouldn't be
66.05/66.27	WSVECS04 Frhs2[87]: 6 0 0.500001 shouldn't be
66.05/66.27	WSVECS04 Frhs2[113]: 6 0 0.5 shouldn't be
66.05/66.27	WSVECS04 Frhs2[120]: 6 0 0.333334 shouldn't be
66.05/66.27	WSVECS04 Frhs2[123]: 6 0 0.363618 shouldn't be
66.05/66.27	WSVECS04 Frhs2[131]: 6 0 0.0454274 shouldn't be
66.05/66.27	WSVECS04 Frhs2[156]: 6 -3.03337 0 shouldn't be
66.05/66.27	WSVECS04 Frhs2[163]: 6 -8.27291 0 shouldn't be
66.05/66.27	WSVECS04 Frhs2[166]: 6 0 3.03337 shouldn't be
66.05/66.27	WSVECS04 Frhs2[190]: 6 0 8.12233 shouldn't be
66.05/66.27	WSVECS04 Frhs2[236]: 6 -8.0484 0 shouldn't be
66.05/66.27	WSVECS04 Frhs2[278]: 6 0 6.52639 shouldn't be
66.05/66.27	WSVECS04 Frhs2[310]: 6 -7.54308 0 shouldn't be
66.05/66.27	WSVECS04 Frhs2[312]: 6 -4.05005 0 shouldn't be
66.05/66.27	WSVECS04 Frhs2[318]: 6 0 3.49303 shouldn't be
66.05/66.27	WSVECS04 Frhs2[339]: 6 0 3.74648 shouldn't be
66.05/66.27	WSVECS04 Frhs2[341]: 6 -2.01668 0 shouldn't be
66.05/66.27	WSVECS04 Frhs2[356]: 6 0 3.03337 shouldn't be
66.05/66.27	WSVECS04 Frhs2[358]: 6 0 3.03337 shouldn't be
66.05/66.27	WSVECS04 Frhs2[365]: 6 0 4.21265 shouldn't be
66.05/66.27	WSVECS04 Frhs2[382]: 6 0 4.05005 shouldn't be
66.05/66.27	WSVECS04 Frhs2[384]: 6 0 3.03337 shouldn't be
66.05/66.27	WSVECS04 Frhs2[392]: 6 -8.0484 0 shouldn't be
66.05/66.27	WSVECS04 Frhs2[406]: 6 0 0.333334 shouldn't be
66.05/66.27	WSVECS04 Frhs2[408]: 6 0 3.03337 shouldn't be
66.05/66.27	WSVECS04 Frhs2[539]: 6 0 0.363619 shouldn't be
66.05/66.27	WSVECS04 Frhs2[608]: 6 0 3.03337 shouldn't be
69.55/69.73	c #Conflicts:     389000 | #Constraints:      22989
69.55/69.73	c #Conflicts:     390000 | #Constraints:      23990
69.55/69.73	c #Conflicts:     391000 | #Constraints:      24990
69.55/69.73	c #Conflicts:     392000 | #Constraints:      25990
69.55/69.73	c #Conflicts:     393000 | #Constraints:      26991
69.55/69.73	c #Conflicts:     394000 | #Constraints:      27991
69.55/69.73	c INPROCESSING
69.55/69.73	c GARBAGE COLLECT
69.55/69.73	c #Conflicts:     395000 | #Constraints:      16586
69.55/69.73	c #Conflicts:     396000 | #Constraints:      17587
69.55/69.73	c #Conflicts:     397000 | #Constraints:      18587
69.55/69.73	c #Conflicts:     398000 | #Constraints:      19588
69.55/69.73	c #Conflicts:     399000 | #Constraints:      20588
69.55/69.73	c #Conflicts:     400000 | #Constraints:      21588
69.55/69.73	c #Conflicts:     401000 | #Constraints:      22588
69.55/69.73	c #Conflicts:     402000 | #Constraints:      23588
69.55/69.73	c #Conflicts:     403000 | #Constraints:      24589
69.55/69.73	c #Conflicts:     404000 | #Constraints:      25589
69.55/69.73	c #Conflicts:     405000 | #Constraints:      26590
69.55/69.73	c #Conflicts:     406000 | #Constraints:      27591
69.55/69.73	c #Conflicts:     407000 | #Constraints:      28591
69.55/69.73	c INPROCESSING
69.55/69.73	c GARBAGE COLLECT
69.55/69.73	c #Conflicts:     408000 | #Constraints:      16985
69.55/69.73	c #Conflicts:     409000 | #Constraints:      17985
69.55/69.73	c #Conflicts:     410000 | #Constraints:      18986
69.55/69.73	c #Conflicts:     411000 | #Constraints:      19986
69.55/69.73	WSVECS04 Frhs2[45]: 6 0 83.2768 shouldn't be
69.55/69.73	WSVECS04 Frhs2[70]: 6 0 95.0106 shouldn't be
69.55/69.73	WSVECS04 Frhs2[82]: 6 0 32.943 shouldn't be
69.55/69.73	WSVECS04 Frhs2[107]: 6 0 69.3673 shouldn't be
69.55/69.73	WSVECS04 Frhs2[118]: 6 0 74.4556 shouldn't be
69.55/69.73	WSVECS04 Frhs2[133]: 6 0 69.3673 shouldn't be
69.55/69.73	WSVECS04 Frhs2[134]: 6 0 34.9338 shouldn't be
69.55/69.73	WSVECS04 Frhs2[135]: 6 0 140.615 shouldn't be
69.55/69.73	WSVECS04 Frhs2[137]: 6 0 86.8438 shouldn't be
69.55/69.73	WSVECS04 Frhs2[144]: 6 0 74.4555 shouldn't be
69.55/69.73	WSVECS04 Frhs2[146]: 6 0 0.333369 shouldn't be
69.55/69.73	WSVECS04 Frhs2[150]: 6 0 74.4555 shouldn't be
69.55/69.73	WSVECS04 Frhs2[154]: 6 0 119.706 shouldn't be
69.55/69.73	WSVECS04 Frhs2[157]: 6 0 94.3853 shouldn't be
69.55/69.73	WSVECS04 Frhs2[158]: 6 0 17.0652 shouldn't be
69.55/69.73	WSVECS04 Frhs2[168]: 6 0 6.13915 shouldn't be
69.55/69.73	WSVECS04 Frhs2[184]: 6 0 17.0652 shouldn't be
69.55/69.73	WSVECS04 Frhs2[218]: 6 0 24.8186 shouldn't be
69.55/69.73	WSVECS04 Frhs2[234]: 6 0 133.81 shouldn't be
69.55/69.73	WSVECS04 Frhs2[269]: 6 -85.3871 0 shouldn't be
69.55/69.73	WSVECS04 Frhs2[318]: 6 0 5.4456 shouldn't be
69.55/69.73	WSVECS04 Frhs2[320]: 6 0 8.55649 shouldn't be
69.55/69.73	WSVECS04 Frhs2[370]: 6 0 0.333365 shouldn't be
69.55/69.73	WSVECS04 Frhs2[419]: 6 0 104.017 shouldn't be
69.55/69.73	WSVECS04 Frhs2[422]: 6 0 0.333359 shouldn't be
69.55/69.73	WSVECS04 Frhs2[423]: 6 0 109.237 shouldn't be
69.55/69.73	WSVECS04 Frhs2[424]: 6 0 32.476 shouldn't be
69.55/69.73	WSVECS04 Frhs2[428]: 6 0 6.13911 shouldn't be
69.55/69.73	WSVECS04 Frhs2[430]: 6 0 74.4556 shouldn't be
69.55/69.73	WSVECS04 Frhs2[431]: 6 0 5.17692 shouldn't be
69.55/69.73	WSVECS04 Frhs2[432]: 6 0 0.333349 shouldn't be
69.55/69.73	WSVECS04 Frhs2[433]: 6 0 74.4556 shouldn't be
69.55/69.73	WSVECS04 Frhs2[434]: 6 0 79.6164 shouldn't be
69.55/69.73	WSVECS04 Frhs2[435]: 6 0 4.28213 shouldn't be
69.55/69.73	WSVECS04 Frhs2[436]: 6 0 74.4555 shouldn't be
69.55/69.73	WSVECS04 Frhs2[438]: 6 0 68.3972 shouldn't be
69.55/69.73	WSVECS04 Frhs2[443]: 6 0 100.217 shouldn't be
69.55/69.73	WSVECS04 Frhs2[445]: 6 0 70.6741 shouldn't be
69.55/69.73	WSVECS04 Frhs2[459]: 6 0 74.4556 shouldn't be
69.55/69.73	WSVECS04 Frhs2[470]: 6 0 49.4975 shouldn't be
69.55/69.73	WSVECS04 Frhs2[472]: 6 0 3.48392 shouldn't be
69.55/69.73	WSVECS04 Frhs2[478]: 6 0 24.8186 shouldn't be
69.55/69.73	WSVECS04 Frhs2[483]: 6 0 40.148 shouldn't be
69.55/69.73	WSVECS04 Frhs2[484]: 6 0 0.333407 shouldn't be
69.55/69.73	WSVECS04 Frhs2[485]: 6 0 74.4556 shouldn't be
69.55/69.73	WSVECS04 Frhs2[490]: 6 0 48.3367 shouldn't be
69.55/69.73	WSVECS04 Frhs2[496]: 6 0 32.4323 shouldn't be
69.55/69.73	WSVECS04 Frhs2[509]: 6 0 40.148 shouldn't be
69.55/69.73	WSVECS04 Frhs2[520]: 6 0 133.81 shouldn't be
69.55/69.73	WSVECS04 Frhs2[522]: 6 0 76.6097 shouldn't be
69.55/69.73	WSVECS04 Frhs2[545]: 6 0 83.0526 shouldn't be
69.55/69.73	WSVECS04 Frhs2[570]: 6 0 152.952 shouldn't be
69.55/69.73	WSVECS04 Frhs2[597]: 6 0 118.675 shouldn't be
69.55/69.73	WSVECS04 Frhs2[622]: 6 0 30.0471 shouldn't be
69.55/69.73	WSVECS04 Frhs2[672]: 6 0 48.8054 shouldn't be
69.55/69.73	WSVECS04 Frhs2[709]: 6 0 86.8438 shouldn't be
69.55/69.73	WSVECS04 Frhs2[720]: 6 0 170.596 shouldn't be
69.55/69.73	WSVECS04 Frhs2[722]: 6 0 74.4556 shouldn't be
69.95/70.11	c #Conflicts:     412000 | #Constraints:      20987
69.95/70.11	c #Conflicts:     413000 | #Constraints:      21987
69.95/70.11	c cpu time 66.9459 s
69.95/70.11	c deterministic time 2153986012 2.15e+09
69.95/70.11	c optimization time 7.5e-05 s
69.95/70.11	c total solve time 66.9411 s
69.95/70.11	c core-guided solve time 0 s
69.95/70.11	c propagation time 40.4931 s
69.95/70.11	c conflict analysis time 8.3336 s
69.95/70.11	c propagations 49958167
69.95/70.11	c resolve steps 7345336
69.95/70.11	c decisions 511415
69.95/70.11	c conflicts 413716
69.95/70.11	c restarts 1018
69.95/70.11	c inprocessing phases 55
69.95/70.11	c input clauses 3538
69.95/70.11	c input cardinalities 3
69.95/70.11	c input general constraints 0
69.95/70.11	c input average constraint length 3.21
69.95/70.11	c input average constraint degree 1.01
69.95/70.11	c learned clauses 381633
69.95/70.11	c learned cardinalities 14422
69.95/70.11	c learned general constraints 18023
69.95/70.11	c learned average constraint length 44.53
69.95/70.11	c learned average constraint degree 9678456.69
69.95/70.11	c watched constraints 17023
69.95/70.11	c counting constraints 1000
69.95/70.11	c gcd simplifications 274
69.95/70.11	c detected cardinalities 296
69.95/70.11	c weakened non-implied lits 577585
69.95/70.11	c weakened non-implying lits 696
69.95/70.11	c original variables 756
69.95/70.11	c clausal propagations 48406209
69.95/70.11	c cardinality propagations 849328
69.95/70.11	c watched propagations 186423
69.95/70.11	c counting propagations 89681
69.95/70.11	c watch lookups 610863152
69.95/70.11	c watch backjump lookups 40673827
69.95/70.11	c watch checks 1269297776
69.95/70.11	c propagation checks 76570096
69.95/70.11	c constraint additions 54629211
69.95/70.11	c trail pops 50883098
69.95/70.11	c formula constraints 3541
69.95/70.11	c learned constraints 413699
69.95/70.11	c bound constraints 0
69.95/70.11	c core-guided constraints 0
69.95/70.11	c encountered formula constraints 5945084
69.95/70.11	c encountered learned constraints 1813908
69.95/70.11	c encountered bound constraints 0
69.95/70.11	c encountered core-guided constraints 0
69.95/70.11	c LP total time 34.4298 s
69.95/70.11	c LP solve time 32.29 s
69.95/70.11	c LP constraints added 3767
69.95/70.11	c LP constraints removed 184
69.95/70.11	c LP pivots internal 414193
69.95/70.11	c LP pivots root 185076
69.95/70.11	c LP calls 561
69.95/70.11	c LP optimalities 84
69.95/70.11	c LP no pivot count 0
69.95/70.11	c LP infeasibilities 359
69.95/70.11	c LP valid Farkas constraints 352
69.95/70.11	c LP learned Farkas constraints 16
69.95/70.11	c LP basis resets 121
69.95/70.11	c LP cycling count 0
69.95/70.11	c LP singular count 113
69.95/70.11	c LP no primal count 0
69.95/70.11	c LP no farkas count 7
69.95/70.11	c LP other issue count 1
69.95/70.11	c LP Gomory cuts 11
69.95/70.11	c LP learned cuts 215
69.95/70.11	c LP deleted cuts 184
69.95/70.11	c LP encountered Gomory constraints 0
69.95/70.11	c LP encountered Farkas constraints 34
69.95/70.11	c LP encountered learned Farkas constraints 10
69.95/70.11	c CG auxiliary variables introduced 0
69.95/70.11	c CG solutions found 0
69.95/70.11	c CG cores constructed 0
69.95/70.11	c CG core cardinality constraints returned 0
69.95/70.11	c CG unit cores 0
69.95/70.11	c CG single cores 0
69.95/70.11	c CG blocks removed during cardinality reduction 0
69.95/70.11	c CG first core best 0
69.95/70.11	c CG decision core best 0
69.95/70.11	c CG core reduction tie 0
69.95/70.11	c CG core degree average 0.00
69.95/70.11	c CG core slack average 0.00
69.95/70.11	s UNSATISFIABLE

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: 63968 MiB (61418 MiB free)
  memory of node 1: 64473 MiB (63279 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455835-1721467408/watcher-4455835-1721467408 -o /tmp/evaluation-result-4455835-1721467408/solver-4455835-1721467408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056505 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455835-1721467408.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=1061430, runsolver pid=1061427
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.13 4.14 4.10 5/259 1061431
/proc/meminfo: memFree=127685636/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=40420 memory=10684 CPUtime=0.1 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 1377 0 0 0 9 1 0 0 20 0 1 0 198906930 41390080 2671 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 10105 2671 1736 922 0 2057 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40420 KiB
Current children cumulated memory: 10684 KiB

[startup+0.205447 s]*
/proc/loadavg: 4.13 4.14 4.10 5/259 1061431
/proc/meminfo: memFree=127683188/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=40420 memory=12732 CPUtime=0.2 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 1404 0 0 0 19 1 0 0 20 0 1 0 198906930 41390080 3183 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 10105 3183 1736 922 0 2057 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40420 KiB
Current children cumulated memory: 12732 KiB

[startup+0.305003 s]*
/proc/loadavg: 4.13 4.14 4.10 5/259 1061431
/proc/meminfo: memFree=127683056/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=40420 memory=12732 CPUtime=0.3 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 1404 0 0 0 28 2 0 0 20 0 1 0 198906930 41390080 3183 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 10105 3183 1736 922 0 2057 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40420 KiB
Current children cumulated memory: 12732 KiB

[startup+0.700164 s]
/proc/loadavg: 4.13 4.14 4.10 5/259 1061431
/proc/meminfo: memFree=127682868/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=40420 memory=12732 CPUtime=0.69 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 1407 0 0 0 66 3 0 0 20 0 1 0 198906930 41390080 3183 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 10105 3183 1736 922 0 2057 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40420 KiB
Current children cumulated memory: 12732 KiB

[startup+1.50016 s]
/proc/loadavg: 4.13 4.14 4.10 5/259 1061431
/proc/meminfo: memFree=127682832/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=40868 memory=13280 CPUtime=1.49 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 1485 0 0 0 142 7 0 0 20 0 1 0 198906930 41848832 3320 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 10217 3320 1813 922 0 2169 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40868 KiB
Current children cumulated memory: 13280 KiB

[startup+3.10518 s]
/proc/loadavg: 4.13 4.14 4.10 5/259 1061431
/proc/meminfo: memFree=127682504/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=40868 memory=13540 CPUtime=3.09 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 1508 0 0 0 296 13 0 0 20 0 1 0 198906930 41848832 3385 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 10217 3385 1813 922 0 2169 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40868 KiB
Current children cumulated memory: 13540 KiB

[startup+6.30015 s]
/proc/loadavg: 4.12 4.13 4.10 5/259 1061431
/proc/meminfo: memFree=127680488/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=43640 memory=16316 CPUtime=6.28 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 2312 0 0 0 602 26 0 0 20 0 1 0 198906930 44687360 4079 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 10910 4079 1829 922 0 2862 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 43640 KiB
Current children cumulated memory: 16316 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.15 4.10 5/259 1061432
/proc/meminfo: memFree=127678300/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=44116 memory=16580 CPUtime=12.67 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 2424 0 0 0 1214 53 0 0 20 0 1 0 198906930 45174784 4145 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 11029 4145 1829 922 0 2981 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 44116 KiB
Current children cumulated memory: 16580 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.10 5/259 1061434
/proc/meminfo: memFree=127675744/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=44996 memory=18452 CPUtime=25.44 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 2838 0 0 0 2434 110 0 0 20 0 1 0 198906930 46075904 4613 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 11249 4613 1977 922 0 3201 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 44996 KiB
Current children cumulated memory: 18452 KiB

[startup+51.1053 s]
/proc/loadavg: 4.09 4.13 4.09 5/259 1061441
/proc/meminfo: memFree=127672888/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=46244 memory=20800 CPUtime=50.99 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 3923 0 0 0 4873 226 0 0 20 0 1 0 198906930 47353856 5200 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 11561 5200 1977 922 0 3513 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 46244 KiB
Current children cumulated memory: 20800 KiB

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

# cumulated CPU time of all completed processes:  user=66.9468 s, system=3.02889 s

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

[startup+51.2002 s]
/proc/loadavg: 4.09 4.13 4.09 5/259 1061441
/proc/meminfo: memFree=127672888/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=46244 memory=20800 CPUtime=51.09 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 3923 0 0 0 4883 226 0 0 20 0 1 0 198906930 47353856 5200 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 11561 5200 1977 922 0 3513 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 46244 KiB
Current children cumulated memory: 20800 KiB

[startup+57.6002 s]
/proc/loadavg: 4.17 4.14 4.10 5/259 1061442
/proc/meminfo: memFree=127671848/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=46704 memory=21576 CPUtime=57.47 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 4111 0 0 0 5495 252 0 0 20 0 1 0 198906930 47824896 5394 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 11676 5394 1977 922 0 3628 0
Current children cumulated CPU time: 57.47 s
Current children cumulated vsize: 46704 KiB
Current children cumulated memory: 21576 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.14 4.14 4.10 5/259 1061443
/proc/meminfo: memFree=127668072/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=46836 memory=21840 CPUtime=63.87 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 4232 0 0 0 6106 281 0 0 20 0 1 0 198906930 47960064 5460 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 11709 5460 1977 922 0 3661 0
Current children cumulated CPU time: 63.87 s
Current children cumulated vsize: 46836 KiB
Current children cumulated memory: 21840 KiB

[startup+67.2002 s]
/proc/loadavg: 4.14 4.14 4.10 5/259 1061445
/proc/meminfo: memFree=127667888/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=46836 memory=22104 CPUtime=67.06 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 4280 0 0 0 6413 293 0 0 20 0 1 0 198906930 47960064 5526 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 11709 5526 1977 922 0 3661 0
Current children cumulated CPU time: 67.06 s
Current children cumulated vsize: 46836 KiB
Current children cumulated memory: 22104 KiB

[startup+68.8001 s]
/proc/loadavg: 4.14 4.14 4.10 5/259 1061445
/proc/meminfo: memFree=127667428/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=46836 memory=22368 CPUtime=68.65 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 4310 0 0 0 6567 298 0 0 20 0 1 0 198906930 47960064 5592 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 11709 5592 1977 922 0 3661 0
Current children cumulated CPU time: 68.65 s
Current children cumulated vsize: 46836 KiB
Current children cumulated memory: 22368 KiB

[startup+69.6001 s]
/proc/loadavg: 4.13 4.14 4.10 5/259 1061445
/proc/meminfo: memFree=127667428/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=49556 memory=22420 CPUtime=69.45 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 4333 0 0 0 6644 301 0 0 20 0 1 0 198906930 50745344 5605 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 12389 5605 1977 922 0 4341 0
Current children cumulated CPU time: 69.45 s
Current children cumulated vsize: 49556 KiB
Current children cumulated memory: 22420 KiB

[startup+70.0001 s]*
/proc/loadavg: 4.13 4.14 4.10 5/259 1061445
/proc/meminfo: memFree=127667316/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=49556 memory=22420 CPUtime=69.85 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 4333 0 0 0 6683 302 0 0 20 0 1 0 198906930 50745344 5605 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 12389 5605 1977 922 0 4341 0
Current children cumulated CPU time: 69.85 s
Current children cumulated vsize: 49556 KiB
Current children cumulated memory: 22420 KiB

[startup+70.1052 s]
/proc/loadavg: 4.13 4.14 4.10 5/259 1061445
/proc/meminfo: memFree=127667316/131524600 swapFree=131071996/131071996
[pid=1061430] ppid=1061427 vsize=49556 memory=22420 CPUtime=69.95 cores=5,7
/proc/1061430/stat : 1061430 (roundingsat) R 1061427 1061430 1056492 0 -1 4194304 4333 0 0 0 6693 302 0 0 20 0 1 0 198906930 50745344 5605 134679101440 4194304 7968373 140730289879232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 38088704 140730289882044 140730289882208 140730289882208 140730289889225 0
/proc/1061430/statm: 12389 5605 1977 922 0 4341 0
Current children cumulated CPU time: 69.95 s
Current children cumulated vsize: 49556 KiB
Current children cumulated memory: 22420 KiB

Child status: 0

Real time (s): 70.1193
CPU time (s): 69.9757
CPU user time (s): 66.9468
CPU system time (s): 3.02889
CPU usage (%): 99.7952
Max. virtual memory (cumulated for all children) (KiB): 49556
Max. memory (cumulated for all children) (KiB): 22420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.9468
system time used= 3.02889
maximum resident set size= 22732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4341
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 88


# summary of solver processes directly reported to runsolver:
#   pid: 1061430
#   total CPU time (s): 69.9757
#   total CPU user time (s): 66.9468
#   total CPU system time (s): 3.02889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.137814 second user time and 0.320336 second system time

The end

Begin job on nodeC026 at 2024-07-20 11:23:40
IDJOB=4455835
IDBENCH=162873
IDSOLVER=3084
FILE ID=nodeC026/4455835-1721467408
RUNJOBID= nodeC026-1721460068-1056505
SLURM_JOB_ID= 7545710
Free space on /tmp= 890064 MiB

SOLVER NAME= RoundingSat nolog
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455835-1721467408/watcher-4455835-1721467408 -o /tmp/evaluation-result-4455835-1721467408/solver-4455835-1721467408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721460068-1056505 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455835-1721467408.opb

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

MD5SUM BENCH= e9c3493a278c61b5f4e5e80a3fb48e99
RANDOM SEED=343747389

nodeC026.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	: 0xb00002a
cpu MHz		: 3663.046
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
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	: 0xb00002a
cpu MHz		: 3664.865
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
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	: 0xb00002a
cpu MHz		: 3600.356
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
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	: 0xb00002a
cpu MHz		: 3600.489
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
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	: 0xb00002a
cpu MHz		: 3663.018
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
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	: 0xb00002a
cpu MHz		: 3661.689
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
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	: 0xb00002a
cpu MHz		: 3600.170
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
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	: 0xb00002a
cpu MHz		: 3662.007
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127689956 kB
MemAvailable:   129507132 kB
Buffers:          602100 kB
Cached:          2044696 kB
SwapCached:            0 kB
Active:          1131252 kB
Inactive:        2058028 kB
Active(anon):       1564 kB
Inactive(anon):   586544 kB
Active(file):    1129688 kB
Inactive(file):  1471484 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5268 kB
Writeback:             0 kB
AnonPages:        538460 kB
Mapped:           116716 kB
Shmem:             45912 kB
KReclaimable:     111652 kB
Slab:             225780 kB
SReclaimable:     111652 kB
SUnreclaim:       114128 kB
KernelStack:        4124 kB
PageTables:        10516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     972324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    376832 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:      283348 kB
DirectMap2M:    33044480 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC026 at 2024-07-20 11:24:51