0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.03 c #variables 756 #constraints 3541
2.09/2.12 c #Conflicts: 1000 | #Constraints: 4541
2.09/2.12 c #Conflicts: 2000 | #Constraints: 5541
2.09/2.12 c INPROCESSING
2.09/2.12 c GARBAGE COLLECT
2.09/2.12 c #Conflicts: 3000 | #Constraints: 5328
2.09/2.12 c #Conflicts: 4000 | #Constraints: 6329
2.09/2.12 c INPROCESSING
2.09/2.12 c GARBAGE COLLECT
2.09/2.12 c #Conflicts: 5000 | #Constraints: 5732
2.09/2.12 WSVECS04 Frhs2[111]: 6 0 1.00004 shouldn't be
2.09/2.12 WSVECS04 Frhs2[237]: 6 0 0.1667 shouldn't be
4.47/4.53 c #Conflicts: 6000 | #Constraints: 6732
4.47/4.53 c INPROCESSING
4.47/4.53 c GARBAGE COLLECT
4.47/4.53 c #Conflicts: 7000 | #Constraints: 5743
4.47/4.53 c #Conflicts: 8000 | #Constraints: 6743
4.47/4.53 c #Conflicts: 9000 | #Constraints: 7744
4.47/4.53 c INPROCESSING
4.47/4.53 c GARBAGE COLLECT
4.47/4.53 c #Conflicts: 10000 | #Constraints: 6443
4.47/4.53 c #Conflicts: 11000 | #Constraints: 7443
4.47/4.53 c #Conflicts: 12000 | #Constraints: 8443
4.47/4.53 c INPROCESSING
4.47/4.53 c GARBAGE COLLECT
4.47/4.53 c #Conflicts: 13000 | #Constraints: 6893
4.47/4.53 c #Conflicts: 14000 | #Constraints: 7894
4.47/4.53 c #Conflicts: 15000 | #Constraints: 8896
4.47/4.53 c INPROCESSING
4.47/4.53 c GARBAGE COLLECT
4.47/4.53 c rational objective 140.75
5.37/5.49 c #Conflicts: 16000 | #Constraints: 7120
5.37/5.49 c #Conflicts: 17000 | #Constraints: 8121
5.37/5.49 c #Conflicts: 18000 | #Constraints: 9121
5.37/5.49 c INPROCESSING
5.37/5.49 c GARBAGE COLLECT
5.37/5.49 c #Conflicts: 19000 | #Constraints: 7138
5.37/5.49 c #Conflicts: 20000 | #Constraints: 8138
5.37/5.49 c #Conflicts: 21000 | #Constraints: 9138
5.37/5.49 c INPROCESSING
5.37/5.49 c GARBAGE COLLECT
5.37/5.49 c #Conflicts: 22000 | #Constraints: 6943
5.37/5.49 WSVECS04 Frhs2[35]: 6 0 7.50004 shouldn't be
5.37/5.49 WSVECS04 Frhs2[37]: 6 -111.5 0 shouldn't be
5.37/5.49 WSVECS04 Frhs2[45]: 6 -135 0 shouldn't be
5.37/5.49 WSVECS04 Frhs2[47]: 6 -111.5 0 shouldn't be
5.37/5.49 WSVECS04 Frhs2[54]: 6 -111.5 0 shouldn't be
5.37/5.49 WSVECS04 Frhs2[60]: 6 0 1.0001 shouldn't be
5.37/5.49 WSVECS04 Frhs2[71]: 6 0 1.00003 shouldn't be
5.37/5.49 WSVECS04 Frhs2[86]: 6 0 1.00008 shouldn't be
5.37/5.49 WSVECS04 Frhs2[128]: 6 0 1.50002 shouldn't be
5.37/5.49 WSVECS04 Frhs2[138]: 6 0 1.00001 shouldn't be
5.37/5.49 WSVECS04 Frhs2[164]: 6 0 1.00005 shouldn't be
5.37/5.49 WSVECS04 Frhs2[186]: 6 0 1.00004 shouldn't be
5.37/5.49 WSVECS04 Frhs2[190]: 6 0 1.00009 shouldn't be
5.37/5.49 WSVECS04 Frhs2[192]: 6 0 1.00003 shouldn't be
5.37/5.49 WSVECS04 Frhs2[231]: 6 0 1.00003 shouldn't be
5.37/5.49 WSVECS04 Frhs2[311]: 6 0 1.00003 shouldn't be
5.37/5.49 WSVECS04 Frhs2[372]: 6 0 1.00001 shouldn't be
5.37/5.49 WSVECS04 Frhs2[380]: 6 0 1.00002 shouldn't be
5.37/5.49 WSVECS04 Frhs2[386]: 6 0 1.00001 shouldn't be
5.37/5.49 WSVECS04 Frhs2[392]: 6 0 1.00008 shouldn't be
5.37/5.49 WSVECS04 Frhs2[394]: 6 0 1.00005 shouldn't be
5.37/5.49 WSVECS04 Frhs2[398]: 6 0 1.00003 shouldn't be
5.37/5.49 WSVECS04 Frhs2[411]: 6 0 1.00006 shouldn't be
5.37/5.49 WSVECS04 Frhs2[498]: 6 0 1.00008 shouldn't be
5.37/5.49 WSVECS04 Frhs2[505]: 6 0 1.00003 shouldn't be
5.37/5.49 WSVECS04 Frhs2[515]: 6 0 1.00006 shouldn't be
5.37/5.49 WSVECS04 Frhs2[517]: 6 -1.00008 0 shouldn't be
5.37/5.49 WSVECS04 Frhs2[541]: 6 0 1.00005 shouldn't be
5.37/5.49 WSVECS04 Frhs2[564]: 6 0 60 shouldn't be
5.37/5.49 WSVECS04 Frhs2[573]: 6 0 1.00003 shouldn't be
5.37/5.49 WSVECS04 Frhs2[666]: 6 0 1.00004 shouldn't be
5.37/5.49 WSVECS04 Frhs2[683]: 6 0 1.00001 shouldn't be
5.37/5.49 WSVECS04 Frhs2[692]: 6 0 1.00006 shouldn't be
6.09/6.13 c #Conflicts: 23000 | #Constraints: 7944
6.09/6.13 c #Conflicts: 24000 | #Constraints: 8944
6.09/6.13 c #Conflicts: 25000 | #Constraints: 9944
6.09/6.13 c INPROCESSING
6.09/6.13 c GARBAGE COLLECT
6.09/6.13 c rational objective 141.5
7.27/7.31 c #Conflicts: 26000 | #Constraints: 7552
7.27/7.31 c #Conflicts: 27000 | #Constraints: 8552
7.27/7.31 c #Conflicts: 28000 | #Constraints: 9554
7.27/7.31 c #Conflicts: 29000 | #Constraints: 10554
7.27/7.31 c INPROCESSING
7.27/7.31 c GARBAGE COLLECT
7.27/7.31 c rational objective 141.659
7.87/7.90 c #Conflicts: 30000 | #Constraints: 7955
7.87/7.90 c #Conflicts: 31000 | #Constraints: 8955
7.87/7.90 c #Conflicts: 32000 | #Constraints: 9955
7.87/7.90 c #Conflicts: 33000 | #Constraints: 10955
7.87/7.90 c INPROCESSING
7.87/7.90 c GARBAGE COLLECT
7.87/7.90 c #Conflicts: 34000 | #Constraints: 8159
7.87/7.90 WSVECS04 Frhs2[10]: 6 0 2.00006 shouldn't be
7.87/7.90 WSVECS04 Frhs2[32]: 6 0 1.00004 shouldn't be
7.87/7.90 WSVECS04 Frhs2[41]: 6 0 2.0001 shouldn't be
7.87/7.90 WSVECS04 Frhs2[43]: 6 -1.00007 0 shouldn't be
7.87/7.90 WSVECS04 Frhs2[54]: 6 0 1.00003 shouldn't be
7.87/7.90 WSVECS04 Frhs2[114]: 6 0 1.00008 shouldn't be
7.87/7.90 WSVECS04 Frhs2[168]: 6 0 1.00004 shouldn't be
7.87/7.90 WSVECS04 Frhs2[214]: 6 0 2.00005 shouldn't be
7.87/7.90 WSVECS04 Frhs2[261]: 6 -1.00007 0 shouldn't be
7.87/7.90 WSVECS04 Frhs2[292]: 6 0 1.00006 shouldn't be
7.87/7.90 WSVECS04 Frhs2[298]: 6 0 1.00006 shouldn't be
7.87/7.90 WSVECS04 Frhs2[304]: 6 0 1.00002 shouldn't be
7.87/7.90 WSVECS04 Frhs2[305]: 6 0 0.500075 shouldn't be
7.87/7.90 WSVECS04 Frhs2[317]: 6 0 1.00008 shouldn't be
7.87/7.90 WSVECS04 Frhs2[318]: 6 0 1.00001 shouldn't be
7.87/7.90 WSVECS04 Frhs2[330]: 6 0 1.00002 shouldn't be
7.87/7.90 WSVECS04 Frhs2[333]: 6 0 1.00006 shouldn't be
7.87/7.90 WSVECS04 Frhs2[337]: 6 0 1.00005 shouldn't be
7.87/7.90 WSVECS04 Frhs2[383]: 6 -0.50003 0 shouldn't be
7.87/7.90 WSVECS04 Frhs2[416]: 6 0 1.00005 shouldn't be
7.87/7.90 WSVECS04 Frhs2[435]: 6 0 0.500088 shouldn't be
7.87/7.90 WSVECS04 Frhs2[715]: 6 0 1.00007 shouldn't be
7.87/7.90 WSVECS04 Frhs2[741]: 6 0 1.00002 shouldn't be
8.76/8.83 c #Conflicts: 35000 | #Constraints: 9159
8.76/8.83 c #Conflicts: 36000 | #Constraints: 10159
8.76/8.83 c #Conflicts: 37000 | #Constraints: 11159
8.76/8.83 c INPROCESSING
8.76/8.83 c GARBAGE COLLECT
8.76/8.83 c rational objective 141.7
9.36/9.45 c #Conflicts: 38000 | #Constraints: 8160
9.36/9.45 c #Conflicts: 39000 | #Constraints: 9161
9.36/9.45 c #Conflicts: 40000 | #Constraints: 10164
9.36/9.45 c #Conflicts: 41000 | #Constraints: 11167
9.36/9.45 c INPROCESSING
9.36/9.45 c GARBAGE COLLECT
9.36/9.45 WSVECS04 Frhs2[13]: 6 0 4.8775 shouldn't be
9.36/9.45 WSVECS04 Frhs2[40]: 6 0 62.0915 shouldn't be
9.36/9.45 WSVECS04 Frhs2[43]: 6 -151.477 0 shouldn't be
9.36/9.45 WSVECS04 Frhs2[53]: 6 -43.4102 0 shouldn't be
9.36/9.45 WSVECS04 Frhs2[71]: 6 0 79.8525 shouldn't be
9.36/9.45 WSVECS04 Frhs2[242]: 6 0 62.5317 shouldn't be
9.36/9.45 WSVECS04 Frhs2[271]: 6 0 13.7005 shouldn't be
9.36/9.45 WSVECS04 Frhs2[388]: 6 0 6.07662 shouldn't be
9.36/9.45 WSVECS04 Frhs2[401]: 6 0 13.7005 shouldn't be
9.36/9.45 WSVECS04 Frhs2[420]: 6 -83.7184 0 shouldn't be
9.36/9.45 WSVECS04 Frhs2[431]: 6 0 1.00002 shouldn't be
9.36/9.45 WSVECS04 Frhs2[442]: 6 -53.8393 0 shouldn't be
9.36/9.45 WSVECS04 Frhs2[495]: 6 -77.5066 0 shouldn't be
9.36/9.45 WSVECS04 Frhs2[501]: 6 0 25.8671 shouldn't be
9.36/9.45 WSVECS04 Frhs2[504]: 6 0 6.65104 shouldn't be
9.36/9.45 WSVECS04 Frhs2[513]: 6 0 86.7263 shouldn't be
9.36/9.45 WSVECS04 Frhs2[514]: 6 0 41.7579 shouldn't be
9.36/9.45 WSVECS04 Frhs2[518]: 6 0 13.2771 shouldn't be
9.36/9.45 WSVECS04 Frhs2[521]: 6 0 11.6392 shouldn't be
9.36/9.45 WSVECS04 Frhs2[568]: 6 0 15.1436 shouldn't be
9.36/9.46 WSVECS04 Frhs2[570]: 6 -9.97655 0 shouldn't be
9.36/9.46 WSVECS04 Frhs2[579]: 6 0 12.9705 shouldn't be
9.36/9.46 WSVECS04 Frhs2[581]: 6 0 1.00008 shouldn't be
9.36/9.46 WSVECS04 Frhs2[594]: 6 0 15.1436 shouldn't be
9.36/9.46 WSVECS04 Frhs2[618]: 6 0 41.758 shouldn't be
9.36/9.46 WSVECS04 Frhs2[620]: 6 0 15.1436 shouldn't be
9.36/9.46 WSVECS04 Frhs2[693]: 6 0 70.5037 shouldn't be
9.36/9.46 WSVECS04 Frhs2[698]: 6 0 10.9867 shouldn't be
9.47/9.54 WSVECS04 Frhs2[91]: 6 0 1.00002 shouldn't be
9.47/9.54 WSVECS04 Frhs2[117]: 6 0 1.0001 shouldn't be
9.47/9.54 WSVECS04 Frhs2[221]: 6 0 1.00002 shouldn't be
9.47/9.54 WSVECS04 Frhs2[552]: 6 0 1.00005 shouldn't be
9.47/9.54 WSVECS04 Frhs2[575]: 6 0 1.00003 shouldn't be
9.47/9.54 WSVECS04 Frhs2[578]: 6 0 1.00004 shouldn't be
9.47/9.54 WSVECS04 Frhs2[726]: 6 0 12.1937 shouldn't be
9.56/9.61 WSVECS04 Frhs2[175]: 6 0 18.6686 shouldn't be
9.56/9.61 WSVECS04 Frhs2[216]: 6 0 62.5317 shouldn't be
9.56/9.61 WSVECS04 Frhs2[367]: 6 0 47.5671 shouldn't be
9.56/9.61 WSVECS04 Frhs2[385]: 6 0 57.0365 shouldn't be
9.56/9.61 WSVECS04 Frhs2[394]: 6 0 6.54027 shouldn't be
9.56/9.61 WSVECS04 Frhs2[409]: 6 0 18.6687 shouldn't be
9.56/9.61 WSVECS04 Frhs2[423]: 6 -28.5356 0 shouldn't be
9.56/9.61 WSVECS04 Frhs2[432]: 6 0 1.00005 shouldn't be
9.56/9.61 WSVECS04 Frhs2[444]: 6 0 1.00002 shouldn't be
9.56/9.61 WSVECS04 Frhs2[493]: 6 0 1.00005 shouldn't be
9.56/9.61 WSVECS04 Frhs2[497]: 6 0 47.5671 shouldn't be
9.56/9.61 WSVECS04 Frhs2[519]: 6 0 1.00002 shouldn't be
9.56/9.61 WSVECS04 Frhs2[520]: 6 0 14.997 shouldn't be
9.56/9.61 WSVECS04 Frhs2[625]: 6 0 0.415745 shouldn't be
9.56/9.61 WSVECS04 Frhs2[691]: 6 0 1.00008 shouldn't be
9.56/9.61 WSVECS04 Frhs2[692]: 6 0 1.00004 shouldn't be
9.66/9.71 WSVECS04 Frhs2[468]: 6 0 2.67208 shouldn't be
9.76/9.80 WSVECS04 Frhs2[325]: 6 0 1.00008 shouldn't be
9.76/9.80 WSVECS04 Frhs2[376]: 6 0 1.00003 shouldn't be
9.76/9.80 WSVECS04 Frhs2[413]: 6 0 1.00004 shouldn't be
9.76/9.80 WSVECS04 Frhs2[505]: 6 0 1.00007 shouldn't be
9.76/9.80 WSVECS04 Frhs2[531]: 6 0 1.00004 shouldn't be
9.76/9.80 WSVECS04 Frhs2[623]: 6 0 1.00002 shouldn't be
9.76/9.80 WSVECS04 Frhs2[681]: 6 0 1.00004 shouldn't be
9.76/9.89 WSVECS04 Frhs2[13]: 6 0 4.87745 shouldn't be
9.76/9.89 WSVECS04 Frhs2[43]: 6 -151.477 0 shouldn't be
9.76/9.89 WSVECS04 Frhs2[53]: 6 -43.4101 0 shouldn't be
9.76/9.89 WSVECS04 Frhs2[166]: 6 0 75.2797 shouldn't be
9.76/9.89 WSVECS04 Frhs2[296]: 6 0 75.2797 shouldn't be
9.76/9.89 WSVECS04 Frhs2[401]: 6 0 13.7005 shouldn't be
9.76/9.89 WSVECS04 Frhs2[409]: 6 0 18.6686 shouldn't be
9.76/9.89 WSVECS04 Frhs2[420]: 6 -83.7184 0 shouldn't be
9.76/9.89 WSVECS04 Frhs2[468]: 6 0 2.672 shouldn't be
9.76/9.89 WSVECS04 Frhs2[495]: 6 -77.5066 0 shouldn't be
9.76/9.89 WSVECS04 Frhs2[501]: 6 0 25.8671 shouldn't be
9.76/9.89 WSVECS04 Frhs2[512]: 6 0 98.5027 shouldn't be
9.76/9.89 WSVECS04 Frhs2[514]: 6 0 41.7579 shouldn't be
9.76/9.89 WSVECS04 Frhs2[518]: 6 0 13.277 shouldn't be
9.76/9.89 WSVECS04 Frhs2[568]: 6 0 15.1435 shouldn't be
9.76/9.89 WSVECS04 Frhs2[618]: 6 0 41.7579 shouldn't be
9.76/9.89 WSVECS04 Frhs2[620]: 6 0 15.1435 shouldn't be
9.76/9.89 WSVECS04 Frhs2[648]: 6 0 64.9984 shouldn't be
9.76/9.89 WSVECS04 Frhs2[693]: 6 0 70.5037 shouldn't be
9.76/9.89 WSVECS04 Frhs2[698]: 6 0 10.9867 shouldn't be
9.87/9.95 WSVECS04 Frhs2[444]: 6 0 1 shouldn't be
9.97/10.01 WSVECS04 Frhs2[40]: 6 0 62.0915 shouldn't be
9.97/10.01 WSVECS04 Frhs2[195]: 6 0 1 shouldn't be
9.97/10.01 WSVECS04 Frhs2[405]: 6 0 1 shouldn't be
9.97/10.01 WSVECS04 Frhs2[423]: 6 -28.5355 0 shouldn't be
9.97/10.01 WSVECS04 Frhs2[431]: 6 0 1 shouldn't be
9.97/10.01 WSVECS04 Frhs2[504]: 6 0 6.65097 shouldn't be
9.97/10.01 WSVECS04 Frhs2[505]: 6 0 1 shouldn't be
9.97/10.01 WSVECS04 Frhs2[519]: 6 0 1 shouldn't be
9.97/10.01 WSVECS04 Frhs2[521]: 6 0 11.6392 shouldn't be
9.97/10.01 WSVECS04 Frhs2[570]: 6 -9.97646 0 shouldn't be
9.97/10.01 WSVECS04 Frhs2[575]: 6 0 1 shouldn't be
9.97/10.01 WSVECS04 Frhs2[594]: 6 0 15.1435 shouldn't be
9.97/10.01 WSVECS04 Frhs2[726]: 6 0 12.1936 shouldn't be
9.97/10.10 WSVECS04 Frhs2[579]: 6 0 12.9705 shouldn't be
10.07/10.18 WSVECS04 Frhs2[90]: 6 0 1 shouldn't be
10.07/10.18 WSVECS04 Frhs2[413]: 6 0 1 shouldn't be
10.07/10.18 WSVECS04 Frhs2[626]: 6 0 32.3322 shouldn't be
10.07/10.18 WSVECS04 Frhs2[652]: 6 0 32.3322 shouldn't be
10.26/10.33 WSVECS04 Frhs2[175]: 6 0 18.6686 shouldn't be
10.26/10.33 WSVECS04 Frhs2[216]: 6 0 62.5317 shouldn't be
10.26/10.33 WSVECS04 Frhs2[242]: 6 0 62.5317 shouldn't be
10.26/10.33 WSVECS04 Frhs2[300]: 6 0 45.8049 shouldn't be
10.26/10.33 WSVECS04 Frhs2[382]: 6 0 80.5172 shouldn't be
10.26/10.33 WSVECS04 Frhs2[385]: 6 0 57.0365 shouldn't be
10.26/10.33 WSVECS04 Frhs2[493]: 6 0 1 shouldn't be
10.26/10.33 WSVECS04 Frhs2[513]: 6 0 86.7262 shouldn't be
10.26/10.33 WSVECS04 Frhs2[515]: 6 0 62.5317 shouldn't be
10.26/10.33 WSVECS04 Frhs2[522]: 6 0 32.3322 shouldn't be
10.26/10.33 WSVECS04 Frhs2[548]: 6 0 32.3322 shouldn't be
10.26/10.33 WSVECS04 Frhs2[625]: 6 0 0.415686 shouldn't be
10.46/10.50 WSVECS04 Frhs2[116]: 6 0 1 shouldn't be
10.46/10.50 WSVECS04 Frhs2[350]: 6 0 1 shouldn't be
10.46/10.50 WSVECS04 Frhs2[376]: 6 0 1 shouldn't be
10.46/10.50 WSVECS04 Frhs2[388]: 6 0 6.0766 shouldn't be
10.46/10.50 WSVECS04 Frhs2[531]: 6 0 1 shouldn't be
10.46/10.50 WSVECS04 Frhs2[552]: 6 0 1 shouldn't be
10.46/10.50 WSVECS04 Frhs2[581]: 6 0 1 shouldn't be
10.56/10.67 WSVECS04 Frhs2[71]: 6 0 79.8525 shouldn't be
10.56/10.67 WSVECS04 Frhs2[96]: 6 0 122.804 shouldn't be
10.56/10.67 WSVECS04 Frhs2[271]: 6 0 13.7005 shouldn't be
10.56/10.67 WSVECS04 Frhs2[325]: 6 0 1 shouldn't be
10.56/10.67 WSVECS04 Frhs2[367]: 6 0 47.567 shouldn't be
10.56/10.67 WSVECS04 Frhs2[375]: 6 0 13.7005 shouldn't be
10.56/10.67 WSVECS04 Frhs2[387]: 6 0 1 shouldn't be
10.56/10.67 WSVECS04 Frhs2[395]: 6 0 1 shouldn't be
10.56/10.67 WSVECS04 Frhs2[421]: 6 0 1 shouldn't be
10.56/10.67 WSVECS04 Frhs2[442]: 6 -53.8392 0 shouldn't be
10.56/10.67 WSVECS04 Frhs2[471]: 6 0 47.567 shouldn't be
10.56/10.67 WSVECS04 Frhs2[497]: 6 0 47.567 shouldn't be
10.56/10.67 WSVECS04 Frhs2[520]: 6 0 14.9969 shouldn't be
12.55/12.65 c #Conflicts: 42000 | #Constraints: 7966
12.55/12.65 c #Conflicts: 43000 | #Constraints: 8966
12.55/12.65 c #Conflicts: 44000 | #Constraints: 9970
12.55/12.65 c #Conflicts: 45000 | #Constraints: 10975
12.55/12.65 c #Conflicts: 46000 | #Constraints: 11976
12.55/12.65 c INPROCESSING
12.55/12.65 c GARBAGE COLLECT
12.55/12.65 c #Conflicts: 47000 | #Constraints: 8570
12.55/12.65 c #Conflicts: 48000 | #Constraints: 9573
12.55/12.65 c #Conflicts: 49000 | #Constraints: 10575
12.55/12.65 c #Conflicts: 50000 | #Constraints: 11577
12.55/12.65 c #Conflicts: 51000 | #Constraints: 12579
12.55/12.65 c INPROCESSING
12.55/12.65 c GARBAGE COLLECT
12.55/12.65 c #Conflicts: 52000 | #Constraints: 8977
12.55/12.65 c #Conflicts: 53000 | #Constraints: 9982
12.55/12.65 c #Conflicts: 54000 | #Constraints: 10984
12.55/12.65 c #Conflicts: 55000 | #Constraints: 11987
12.55/12.65 c #Conflicts: 56000 | #Constraints: 12989
12.55/12.65 c INPROCESSING
12.55/12.65 c GARBAGE COLLECT
12.55/12.65 WSVECS04 Frhs2[5]: 6 0 1.00005 shouldn't be
12.55/12.65 WSVECS04 Frhs2[7]: 6 -82.1948 0 shouldn't be
12.55/12.65 WSVECS04 Frhs2[8]: 6 0 1.00009 shouldn't be
12.55/12.65 WSVECS04 Frhs2[14]: 6 0 1.00003 shouldn't be
12.55/12.65 WSVECS04 Frhs2[16]: 6 0 1.00006 shouldn't be
12.55/12.65 WSVECS04 Frhs2[34]: 6 0 42.7063 shouldn't be
12.55/12.65 WSVECS04 Frhs2[35]: 6 0 12.8151 shouldn't be
12.55/12.65 WSVECS04 Frhs2[36]: 6 0 35.3519 shouldn't be
12.55/12.65 WSVECS04 Frhs2[38]: 6 0 177.963 shouldn't be
12.55/12.65 WSVECS04 Frhs2[39]: 6 0 39.9752 shouldn't be
12.55/12.65 WSVECS04 Frhs2[40]: 6 0 78.2139 shouldn't be
12.55/12.65 WSVECS04 Frhs2[52]: 6 0 6.64998 shouldn't be
12.55/12.65 WSVECS04 Frhs2[56]: 6 0 5.69039 shouldn't be
12.55/12.65 WSVECS04 Frhs2[60]: 6 0 86.4126 shouldn't be
12.55/12.65 WSVECS04 Frhs2[72]: 6 0 7.99618 shouldn't be
12.55/12.65 WSVECS04 Frhs2[82]: 6 0 98.8112 shouldn't be
12.55/12.65 WSVECS04 Frhs2[107]: 6 0 35.7138 shouldn't be
12.55/12.65 WSVECS04 Frhs2[108]: 6 0 99.8112 shouldn't be
12.55/12.65 WSVECS04 Frhs2[110]: 6 0 1.00009 shouldn't be
12.55/12.65 WSVECS04 Frhs2[134]: 6 0 99.8112 shouldn't be
12.55/12.65 WSVECS04 Frhs2[136]: 6 0 1.00001 shouldn't be
12.55/12.65 WSVECS04 Frhs2[170]: 6 0 10.3273 shouldn't be
12.55/12.65 WSVECS04 Frhs2[189]: 6 0 9.90882 shouldn't be
12.55/12.65 WSVECS04 Frhs2[196]: 6 0 10.3273 shouldn't be
12.55/12.65 WSVECS04 Frhs2[208]: 6 0 14.9052 shouldn't be
12.55/12.65 WSVECS04 Frhs2[215]: 6 0 9.90884 shouldn't be
12.55/12.65 WSVECS04 Frhs2[234]: 6 -5.34586 0 shouldn't be
12.55/12.65 WSVECS04 Frhs2[237]: 6 0 40.2748 shouldn't be
12.55/12.65 WSVECS04 Frhs2[248]: 6 0 10.3273 shouldn't be
12.55/12.65 WSVECS04 Frhs2[263]: 6 0 40.2747 shouldn't be
12.55/12.65 WSVECS04 Frhs2[274]: 6 0 10.3273 shouldn't be
12.55/12.65 WSVECS04 Frhs2[289]: 6 -18.424 0 shouldn't be
12.55/12.65 WSVECS04 Frhs2[290]: 6 0 13.6149 shouldn't be
12.55/12.65 WSVECS04 Frhs2[308]: 6 0 26.2915 shouldn't be
12.55/12.65 WSVECS04 Frhs2[316]: 6 0 4.64555 shouldn't be
12.55/12.65 WSVECS04 Frhs2[322]: 6 0 7.10778 shouldn't be
12.55/12.65 WSVECS04 Frhs2[323]: 6 0 1.00007 shouldn't be
12.55/12.65 WSVECS04 Frhs2[342]: 6 0 4.64561 shouldn't be
12.55/12.65 WSVECS04 Frhs2[356]: 6 0 43.7063 shouldn't be
12.55/12.65 WSVECS04 Frhs2[368]: 6 -1.777 0 shouldn't be
12.55/12.65 WSVECS04 Frhs2[390]: 6 -5.31582 0 shouldn't be
12.55/12.65 WSVECS04 Frhs2[401]: 6 0 1.00001 shouldn't be
12.55/12.65 WSVECS04 Frhs2[414]: 6 0 17.3003 shouldn't be
12.55/12.65 WSVECS04 Frhs2[415]: 6 -24.5456 0 shouldn't be
12.55/12.65 WSVECS04 Frhs2[427]: 6 0 1.00008 shouldn't be
12.55/12.65 WSVECS04 Frhs2[442]: 6 0 22.3924 shouldn't be
12.55/12.65 WSVECS04 Frhs2[459]: 6 0 112.856 shouldn't be
12.55/12.65 WSVECS04 Frhs2[504]: 6 0 7.10776 shouldn't be
12.55/12.65 WSVECS04 Frhs2[544]: 6 0 1.00003 shouldn't be
12.55/12.65 WSVECS04 Frhs2[577]: 6 -1.0001 0 shouldn't be
12.55/12.65 WSVECS04 Frhs2[600]: 6 0 1.00004 shouldn't be
12.55/12.65 WSVECS04 Frhs2[625]: 6 0 0.444273 shouldn't be
12.55/12.65 WSVECS04 Frhs2[651]: 6 0 0.444329 shouldn't be
12.55/12.65 WSVECS04 Frhs2[704]: 6 0 1.00002 shouldn't be
12.55/12.65 WSVECS04 Frhs2[736]: 6 0 42.7063 shouldn't be
12.65/12.73 WSVECS04 Frhs2[5]: 6 0 1 shouldn't be
12.65/12.73 WSVECS04 Frhs2[7]: 6 -82.1948 0 shouldn't be
12.65/12.73 WSVECS04 Frhs2[8]: 6 0 1 shouldn't be
12.65/12.73 WSVECS04 Frhs2[11]: 6 0 1 shouldn't be
12.65/12.73 WSVECS04 Frhs2[14]: 6 0 1 shouldn't be
12.65/12.73 WSVECS04 Frhs2[16]: 6 0 1 shouldn't be
12.65/12.73 WSVECS04 Frhs2[34]: 6 0 42.7063 shouldn't be
12.65/12.73 WSVECS04 Frhs2[39]: 6 0 39.9752 shouldn't be
12.65/12.73 WSVECS04 Frhs2[47]: 6 0 29.4041 shouldn't be
12.65/12.73 WSVECS04 Frhs2[56]: 6 0 5.69031 shouldn't be
12.65/12.73 WSVECS04 Frhs2[107]: 6 0 35.7138 shouldn't be
12.65/12.73 WSVECS04 Frhs2[208]: 6 0 14.9051 shouldn't be
12.65/12.73 WSVECS04 Frhs2[234]: 6 -5.34578 0 shouldn't be
12.65/12.73 WSVECS04 Frhs2[289]: 6 -18.4239 0 shouldn't be
12.65/12.73 WSVECS04 Frhs2[316]: 6 0 4.64554 shouldn't be
12.65/12.73 WSVECS04 Frhs2[322]: 6 0 7.1077 shouldn't be
12.65/12.73 WSVECS04 Frhs2[342]: 6 0 4.64554 shouldn't be
12.65/12.73 WSVECS04 Frhs2[356]: 6 0 43.7063 shouldn't be
12.65/12.73 WSVECS04 Frhs2[368]: 6 -1.77692 0 shouldn't be
12.65/12.73 WSVECS04 Frhs2[504]: 6 0 7.1077 shouldn't be
12.65/12.73 WSVECS04 Frhs2[574]: 6 0 1 shouldn't be
12.65/12.73 WSVECS04 Frhs2[625]: 6 0 0.444232 shouldn't be
12.65/12.73 WSVECS04 Frhs2[651]: 6 0 0.444231 shouldn't be
12.65/12.73 WSVECS04 Frhs2[736]: 6 0 42.7063 shouldn't be
12.65/12.73 WSVECS04 Frhs2[746]: 6 -9.77309 0 shouldn't be
12.65/12.79 WSVECS04 Frhs2[35]: 6 0 12.815 shouldn't be
12.65/12.79 WSVECS04 Frhs2[36]: 6 0 35.3518 shouldn't be
12.65/12.79 WSVECS04 Frhs2[52]: 6 0 6.64994 shouldn't be
12.65/12.79 WSVECS04 Frhs2[108]: 6 0 99.8111 shouldn't be
12.65/12.79 WSVECS04 Frhs2[134]: 6 0 99.8111 shouldn't be
12.65/12.79 WSVECS04 Frhs2[170]: 6 0 10.3272 shouldn't be
12.65/12.79 WSVECS04 Frhs2[189]: 6 0 9.90876 shouldn't be
12.65/12.79 WSVECS04 Frhs2[196]: 6 0 10.3272 shouldn't be
12.65/12.79 WSVECS04 Frhs2[215]: 6 0 9.90876 shouldn't be
12.65/12.79 WSVECS04 Frhs2[248]: 6 0 10.3272 shouldn't be
12.65/12.79 WSVECS04 Frhs2[263]: 6 0 40.2747 shouldn't be
12.65/12.79 WSVECS04 Frhs2[274]: 6 0 10.3272 shouldn't be
12.65/12.79 WSVECS04 Frhs2[290]: 6 0 13.6149 shouldn't be
12.65/12.79 WSVECS04 Frhs2[310]: 6 0 55.3669 shouldn't be
12.65/12.79 WSVECS04 Frhs2[390]: 6 -5.31577 0 shouldn't be
12.65/12.79 WSVECS04 Frhs2[401]: 6 0 1 shouldn't be
12.65/12.79 WSVECS04 Frhs2[414]: 6 0 17.3003 shouldn't be
12.65/12.79 WSVECS04 Frhs2[544]: 6 0 1 shouldn't be
12.65/12.79 WSVECS04 Frhs2[600]: 6 0 1 shouldn't be
12.65/12.79 WSVECS04 Frhs2[704]: 6 0 1 shouldn't be
13.96/14.02 c #Conflicts: 57000 | #Constraints: 9176
13.96/14.02 c #Conflicts: 58000 | #Constraints: 10176
13.96/14.02 c #Conflicts: 59000 | #Constraints: 11176
13.96/14.02 c #Conflicts: 60000 | #Constraints: 12176
13.96/14.02 c #Conflicts: 61000 | #Constraints: 13176
13.96/14.02 c INPROCESSING
13.96/14.02 c GARBAGE COLLECT
13.96/14.02 c rational objective 141.723
15.06/15.15 c #Conflicts: 62000 | #Constraints: 9170
15.06/15.15 c #Conflicts: 63000 | #Constraints: 10170
15.06/15.15 c #Conflicts: 64000 | #Constraints: 11170
15.06/15.15 c #Conflicts: 65000 | #Constraints: 12170
15.06/15.15 c #Conflicts: 66000 | #Constraints: 13170
15.06/15.15 c INPROCESSING
15.06/15.15 c GARBAGE COLLECT
15.06/15.15 c rational objective 141.736
15.35/15.46 c #Conflicts: 67000 | #Constraints: 8971
15.35/15.46 c #Conflicts: 68000 | #Constraints: 9971
15.35/15.46 WSVECS04 Frhs2[3]: 6 -0.800042 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[8]: 6 -0.80003 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[9]: 6 -0.800083 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[10]: 6 -0.800012 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[11]: 6 -0.800084 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[13]: 6 -0.800097 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[21]: 6 -0.800073 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[33]: 6 -1.20005 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[35]: 6 -1.20005 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[36]: 6 0 0.400013 shouldn't be
15.35/15.46 WSVECS04 Frhs2[37]: 6 0 1.60005 shouldn't be
15.35/15.46 WSVECS04 Frhs2[52]: 6 -1.20007 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[59]: 6 0 1.00007 shouldn't be
15.35/15.46 WSVECS04 Frhs2[63]: 6 -1.00005 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[65]: 6 0 1.00007 shouldn't be
15.35/15.46 WSVECS04 Frhs2[78]: 6 0 1.00007 shouldn't be
15.35/15.46 WSVECS04 Frhs2[87]: 6 0 1.00003 shouldn't be
15.35/15.46 WSVECS04 Frhs2[150]: 6 -2.20001 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[180]: 6 0 1.00003 shouldn't be
15.35/15.46 WSVECS04 Frhs2[201]: 6 0 1.00007 shouldn't be
15.35/15.46 WSVECS04 Frhs2[282]: 6 0 1.00007 shouldn't be
15.35/15.46 WSVECS04 Frhs2[301]: 6 0 0.200026 shouldn't be
15.35/15.46 WSVECS04 Frhs2[306]: 6 -1.00005 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[308]: 6 0 1.00002 shouldn't be
15.35/15.46 WSVECS04 Frhs2[315]: 6 0 1.00008 shouldn't be
15.35/15.46 WSVECS04 Frhs2[326]: 6 0 0.333367 shouldn't be
15.35/15.46 WSVECS04 Frhs2[347]: 6 0 1.00007 shouldn't be
15.35/15.46 WSVECS04 Frhs2[353]: 6 0 0.800078 shouldn't be
15.35/15.46 WSVECS04 Frhs2[356]: 6 0 1.00006 shouldn't be
15.35/15.46 WSVECS04 Frhs2[366]: 6 0 0.600094 shouldn't be
15.35/15.46 WSVECS04 Frhs2[542]: 6 0 1.00008 shouldn't be
15.35/15.46 WSVECS04 Frhs2[551]: 6 0 1.00002 shouldn't be
15.35/15.46 WSVECS04 Frhs2[609]: 6 -1.00007 0 shouldn't be
15.35/15.46 WSVECS04 Frhs2[630]: 6 0 1.00007 shouldn't be
15.35/15.46 WSVECS04 Frhs2[641]: 6 0 0.733344 shouldn't be
15.35/15.46 WSVECS04 Frhs2[650]: 6 0 1.00007 shouldn't be
15.35/15.46 WSVECS04 Frhs2[679]: 6 0 1.00007 shouldn't be
15.35/15.46 WSVECS04 Frhs2[681]: 6 0 1.00004 shouldn't be
15.35/15.46 WSVECS04 Frhs2[686]: 6 0 1.00003 shouldn't be
15.35/15.46 WSVECS04 Frhs2[711]: 6 0 0.800024 shouldn't be
15.35/15.46 WSVECS04 Frhs2[717]: 6 0 0.200067 shouldn't be
15.35/15.46 WSVECS04 Frhs2[730]: 6 0 1.0001 shouldn't be
15.65/15.75 c #Conflicts: 69000 | #Constraints: 10971
15.65/15.75 c #Conflicts: 70000 | #Constraints: 11971
15.65/15.75 WSVECS04 Frhs2[6]: 6 -0.266748 0 shouldn't be
15.65/15.75 WSVECS04 Frhs2[16]: 6 -0.266748 0 shouldn't be
15.65/15.75 WSVECS04 Frhs2[17]: 6 -0.266755 0 shouldn't be
15.65/15.75 WSVECS04 Frhs2[22]: 6 -0.266765 0 shouldn't be
15.65/15.75 WSVECS04 Frhs2[24]: 6 -0.26673 0 shouldn't be
15.65/15.75 WSVECS04 Frhs2[25]: 6 -0.266695 0 shouldn't be
15.65/15.75 WSVECS04 Frhs2[44]: 6 -1.20005 0 shouldn't be
15.65/15.75 WSVECS04 Frhs2[53]: 6 0 0.200047 shouldn't be
15.65/15.75 WSVECS04 Frhs2[54]: 6 0 1.93343 shouldn't be
15.65/15.75 WSVECS04 Frhs2[58]: 6 0 1.00005 shouldn't be
15.65/15.75 WSVECS04 Frhs2[120]: 6 0 1.0001 shouldn't be
15.65/15.75 WSVECS04 Frhs2[135]: 6 0 1.26671 shouldn't be
15.65/15.75 WSVECS04 Frhs2[178]: 6 0 0.200048 shouldn't be
15.65/15.75 WSVECS04 Frhs2[181]: 6 0 1.00008 shouldn't be
15.65/15.75 WSVECS04 Frhs2[205]: 6 0 1.03339 shouldn't be
15.65/15.75 WSVECS04 Frhs2[265]: 6 0 1.26676 shouldn't be
15.65/15.75 WSVECS04 Frhs2[341]: 6 0 1.00002 shouldn't be
15.65/15.75 WSVECS04 Frhs2[352]: 6 0 0.50006 shouldn't be
15.65/15.75 WSVECS04 Frhs2[353]: 6 0 1.06673 shouldn't be
15.65/15.75 WSVECS04 Frhs2[364]: 6 0 1.76671 shouldn't be
15.65/15.75 WSVECS04 Frhs2[365]: 6 0 1.00001 shouldn't be
15.65/15.75 WSVECS04 Frhs2[382]: 6 0 1.00002 shouldn't be
15.65/15.75 WSVECS04 Frhs2[386]: 6 0 0.800087 shouldn't be
15.65/15.75 WSVECS04 Frhs2[391]: 6 0 1.00004 shouldn't be
15.65/15.75 WSVECS04 Frhs2[405]: 6 0 1.0667 shouldn't be
15.65/15.75 WSVECS04 Frhs2[407]: 6 0 0.666759 shouldn't be
15.65/15.75 WSVECS04 Frhs2[411]: 6 0 1.00006 shouldn't be
15.65/15.75 WSVECS04 Frhs2[416]: 6 0 0.200043 shouldn't be
15.65/15.75 WSVECS04 Frhs2[417]: 6 0 1.00007 shouldn't be
15.65/15.75 WSVECS04 Frhs2[442]: 6 0 0.200049 shouldn't be
15.65/15.75 WSVECS04 Frhs2[483]: 6 0 1.06673 shouldn't be
15.65/15.75 WSVECS04 Frhs2[484]: 6 0 0.133365 shouldn't be
15.65/15.75 WSVECS04 Frhs2[510]: 6 0 0.133386 shouldn't be
15.65/15.75 WSVECS04 Frhs2[711]: 6 0 1.00001 shouldn't be
15.65/15.75 WSVECS04 Frhs2[718]: 6 0 1.00005 shouldn't be
15.65/15.75 WSVECS04 Frhs2[742]: 6 0 0.500091 shouldn't be
16.25/16.30 c #Conflicts: 71000 | #Constraints: 12971
16.25/16.30 c #Conflicts: 72000 | #Constraints: 13971
16.25/16.30 c INPROCESSING
16.25/16.30 c GARBAGE COLLECT
16.25/16.30 c rational objective 141.765
17.85/17.92 c #Conflicts: 73000 | #Constraints: 9567
17.85/17.92 c #Conflicts: 74000 | #Constraints: 10567
17.85/17.92 c #Conflicts: 75000 | #Constraints: 11569
17.85/17.92 c #Conflicts: 76000 | #Constraints: 12571
17.85/17.92 c #Conflicts: 77000 | #Constraints: 13573
17.85/17.92 c #Conflicts: 78000 | #Constraints: 14574
17.85/17.92 c INPROCESSING
17.85/17.92 c GARBAGE COLLECT
17.85/17.92 c #Conflicts: 79000 | #Constraints: 9970
17.85/17.92 c #Conflicts: 80000 | #Constraints: 10971
17.85/17.92 c #Conflicts: 81000 | #Constraints: 11971
17.85/17.92 c #Conflicts: 82000 | #Constraints: 12971
17.85/17.92 c #Conflicts: 83000 | #Constraints: 13973
17.85/17.92 WSVECS04 Frhs2[35]: 6 0 4.3186 shouldn't be
17.85/17.92 WSVECS04 Frhs2[37]: 6 -37.3211 0 shouldn't be
17.85/17.92 WSVECS04 Frhs2[56]: 6 0 15.0776 shouldn't be
17.85/17.92 WSVECS04 Frhs2[70]: 6 0 7.45947 shouldn't be
17.85/17.92 WSVECS04 Frhs2[89]: 6 0 1 shouldn't be
17.85/17.92 WSVECS04 Frhs2[105]: 6 0 13.4987 shouldn't be
17.85/17.92 WSVECS04 Frhs2[131]: 6 0 18.5933 shouldn't be
17.85/17.92 WSVECS04 Frhs2[136]: 6 0 1 shouldn't be
17.85/17.92 WSVECS04 Frhs2[144]: 6 0 1.91796 shouldn't be
17.85/17.92 WSVECS04 Frhs2[155]: 6 0 1.01089 shouldn't be
17.85/17.92 WSVECS04 Frhs2[157]: 6 0 18.5933 shouldn't be
17.85/17.92 WSVECS04 Frhs2[180]: 6 0 0.53928 shouldn't be
17.85/17.92 WSVECS04 Frhs2[216]: 6 0 9.128 shouldn't be
17.85/17.92 WSVECS04 Frhs2[217]: 6 -1 0 shouldn't be
17.85/17.92 WSVECS04 Frhs2[244]: 6 0 10.0247 shouldn't be
17.85/17.92 WSVECS04 Frhs2[255]: 6 0 9.128 shouldn't be
17.85/17.92 WSVECS04 Frhs2[259]: 6 0 1.01089 shouldn't be
17.85/17.92 WSVECS04 Frhs2[260]: 6 0 7.35809 shouldn't be
17.85/17.92 WSVECS04 Frhs2[316]: 6 0 15.0722 shouldn't be
17.85/17.92 WSVECS04 Frhs2[334]: 6 0 10.9253 shouldn't be
17.85/17.92 WSVECS04 Frhs2[363]: 6 0 1.01089 shouldn't be
17.85/17.92 WSVECS04 Frhs2[374]: 6 0 14.4569 shouldn't be
17.85/17.92 WSVECS04 Frhs2[381]: 6 0 7.1047 shouldn't be
17.85/17.92 WSVECS04 Frhs2[382]: 6 0 5.7445 shouldn't be
17.85/17.92 WSVECS04 Frhs2[388]: 6 0 4.17493 shouldn't be
17.85/17.92 WSVECS04 Frhs2[389]: 6 0 1.01634 shouldn't be
17.85/17.92 WSVECS04 Frhs2[390]: 6 0 12.504 shouldn't be
17.85/17.92 WSVECS04 Frhs2[391]: 6 0 18.5775 shouldn't be
17.85/17.92 WSVECS04 Frhs2[457]: 6 0 4.38817 shouldn't be
17.85/17.92 WSVECS04 Frhs2[464]: 6 0 19.0424 shouldn't be
17.85/17.92 WSVECS04 Frhs2[467]: 6 0 1.01089 shouldn't be
17.85/17.92 WSVECS04 Frhs2[468]: 6 0 15.2776 shouldn't be
17.85/17.92 WSVECS04 Frhs2[493]: 6 0 1.01089 shouldn't be
17.85/17.92 WSVECS04 Frhs2[593]: 6 0 7.3922 shouldn't be
17.85/17.92 WSVECS04 Frhs2[618]: 6 0 0.280056 shouldn't be
17.85/17.92 WSVECS04 Frhs2[717]: 6 -1 0 shouldn't be
17.85/17.92 WSVECS04 Frhs2[732]: 6 0 16.4584 shouldn't be
17.85/17.92 WSVECS04 Frhs2[742]: 6 0 0.692446 shouldn't be
17.85/17.92 WSVECS04 Frhs2[746]: 6 0 7.45947 shouldn't be
17.85/18.01 c #Conflicts: 84000 | #Constraints: 14975
17.85/18.01 c INPROCESSING
17.85/18.01 c GARBAGE COLLECT
17.85/18.01 WSVECS04 Frhs2[18]: 6 0 2 shouldn't be
17.85/18.01 WSVECS04 Frhs2[73]: 6 0 62.8546 shouldn't be
17.85/18.01 WSVECS04 Frhs2[78]: 6 -15.9951 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[79]: 6 0 1.46267 shouldn't be
17.85/18.01 WSVECS04 Frhs2[99]: 6 0 62.8546 shouldn't be
17.85/18.01 WSVECS04 Frhs2[104]: 6 0 68.8591 shouldn't be
17.85/18.01 WSVECS04 Frhs2[130]: 6 -15.9951 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[144]: 6 -60.7041 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[164]: 6 -76.013 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[174]: 6 -0.471186 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[181]: 6 0 32.5194 shouldn't be
17.85/18.01 WSVECS04 Frhs2[208]: 6 0 0.750382 shouldn't be
17.85/18.01 WSVECS04 Frhs2[215]: 6 0 0.762815 shouldn't be
17.85/18.01 WSVECS04 Frhs2[222]: 6 0 11.0371 shouldn't be
17.85/18.01 WSVECS04 Frhs2[227]: 6 -0.315455 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[245]: 6 -1 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[306]: 6 0 126.131 shouldn't be
17.85/18.01 WSVECS04 Frhs2[312]: 6 -0.750382 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[330]: 6 0 0.471185 shouldn't be
17.85/18.01 WSVECS04 Frhs2[385]: 6 -106.112 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[393]: 6 0 60.7888 shouldn't be
17.85/18.01 WSVECS04 Frhs2[394]: 6 0 8.90924 shouldn't be
17.85/18.01 WSVECS04 Frhs2[414]: 6 0 17.495 shouldn't be
17.85/18.01 WSVECS04 Frhs2[415]: 6 0 107.425 shouldn't be
17.85/18.01 WSVECS04 Frhs2[419]: 6 0 60.7888 shouldn't be
17.85/18.01 WSVECS04 Frhs2[420]: 6 0 8.90924 shouldn't be
17.85/18.01 WSVECS04 Frhs2[423]: 6 -12.6571 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[503]: 6 0 146.397 shouldn't be
17.85/18.01 WSVECS04 Frhs2[524]: 6 0 7.77396 shouldn't be
17.85/18.01 WSVECS04 Frhs2[541]: 6 0 26.7186 shouldn't be
17.85/18.01 WSVECS04 Frhs2[546]: 6 -11.4763 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[571]: 6 -5.77887 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[612]: 6 -46.9024 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[624]: 6 0 84.8542 shouldn't be
17.85/18.01 WSVECS04 Frhs2[631]: 6 0 12.5787 shouldn't be
17.85/18.01 WSVECS04 Frhs2[638]: 6 -46.9024 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[655]: 6 0 66.8407 shouldn't be
17.85/18.01 WSVECS04 Frhs2[696]: 6 -22.0362 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[754]: 6 -15.9951 0 shouldn't be
17.85/18.01 WSVECS04 Frhs2[756]: 6 -15.9951 0 shouldn't be
20.14/20.26 c #Conflicts: 85000 | #Constraints: 10167
20.14/20.26 c #Conflicts: 86000 | #Constraints: 11167
20.14/20.26 c #Conflicts: 87000 | #Constraints: 12168
20.14/20.26 c #Conflicts: 88000 | #Constraints: 13168
20.14/20.26 c #Conflicts: 89000 | #Constraints: 14169
20.14/20.26 c #Conflicts: 90000 | #Constraints: 15172
20.14/20.26 c INPROCESSING
20.14/20.26 c GARBAGE COLLECT
20.14/20.26 c #Conflicts: 91000 | #Constraints: 10171
20.14/20.26 c #Conflicts: 92000 | #Constraints: 11172
20.14/20.26 c #Conflicts: 93000 | #Constraints: 12172
20.14/20.26 c #Conflicts: 94000 | #Constraints: 13172
20.14/20.26 c #Conflicts: 95000 | #Constraints: 14172
20.14/20.26 c #Conflicts: 96000 | #Constraints: 15172
20.14/20.26 c INPROCESSING
20.14/20.26 c GARBAGE COLLECT
20.14/20.26 c rational objective 141.791
20.84/20.94 c #Conflicts: 97000 | #Constraints: 9968
20.84/20.94 c #Conflicts: 98000 | #Constraints: 10969
20.84/20.94 c #Conflicts: 99000 | #Constraints: 11973
20.84/20.94 c #Conflicts: 100000 | #Constraints: 12974
20.84/20.94 c #Conflicts: 101000 | #Constraints: 13980
20.84/20.94 WSVECS04 Frhs2[3]: 6 0 0.262748 shouldn't be
20.84/20.94 WSVECS04 Frhs2[22]: 6 -0.737379 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[26]: 6 0 0.262802 shouldn't be
20.84/20.94 WSVECS04 Frhs2[79]: 6 -4.00504 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[128]: 6 -0.262812 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[130]: 6 -0.26278 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[233]: 6 -0.26274 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[237]: 6 0 0.52545 shouldn't be
20.84/20.94 WSVECS04 Frhs2[262]: 6 -27.5326 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[342]: 6 0 27.4233 shouldn't be
20.84/20.94 WSVECS04 Frhs2[364]: 6 0 1.02546 shouldn't be
20.84/20.94 WSVECS04 Frhs2[394]: 6 0 8.8869 shouldn't be
20.84/20.94 WSVECS04 Frhs2[414]: 6 0 52.4602 shouldn't be
20.84/20.94 WSVECS04 Frhs2[418]: 6 -0.237346 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[424]: 6 -0.762735 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[497]: 6 0 0.757815 shouldn't be
20.84/20.94 WSVECS04 Frhs2[520]: 6 -0.76278 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[524]: 6 0 64.6924 shouldn't be
20.84/20.94 WSVECS04 Frhs2[541]: 6 0 0.525496 shouldn't be
20.84/20.94 WSVECS04 Frhs2[542]: 6 0 29.145 shouldn't be
20.84/20.94 WSVECS04 Frhs2[549]: 6 0 1.75782 shouldn't be
20.84/20.94 WSVECS04 Frhs2[550]: 6 0 64.4296 shouldn't be
20.84/20.94 WSVECS04 Frhs2[575]: 6 0 1.75779 shouldn't be
20.84/20.94 WSVECS04 Frhs2[581]: 6 -0.262806 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[584]: 6 0 1.00001 shouldn't be
20.84/20.94 WSVECS04 Frhs2[623]: 6 0 0.262785 shouldn't be
20.84/20.94 WSVECS04 Frhs2[625]: 6 0 63.1193 shouldn't be
20.84/20.94 WSVECS04 Frhs2[633]: 6 -1.26281 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[640]: 6 -0.262798 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[651]: 6 0 63.1193 shouldn't be
20.84/20.94 WSVECS04 Frhs2[658]: 6 0 0.76273 shouldn't be
20.84/20.94 WSVECS04 Frhs2[666]: 6 -0.262739 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[684]: 6 0 0.525486 shouldn't be
20.84/20.94 WSVECS04 Frhs2[689]: 6 -0.26276 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[705]: 6 0 37.8324 shouldn't be
20.84/20.94 WSVECS04 Frhs2[718]: 6 -0.262747 0 shouldn't be
20.84/20.94 WSVECS04 Frhs2[726]: 6 0 54.1438 shouldn't be
20.84/20.94 WSVECS04 Frhs2[753]: 6 0 0.262789 shouldn't be
20.84/20.94 WSVECS04 Frhs2[755]: 6 0 51.9631 shouldn't be
21.44/21.50 c #Conflicts: 102000 | #Constraints: 14980
21.44/21.50 c #Conflicts: 103000 | #Constraints: 15980
21.44/21.50 c INPROCESSING
21.44/21.50 c GARBAGE COLLECT
21.44/21.50 c rational objective 141.802
21.94/22.11 c #Conflicts: 104000 | #Constraints: 10572
21.94/22.11 c #Conflicts: 105000 | #Constraints: 11572
21.94/22.11 c #Conflicts: 106000 | #Constraints: 12572
21.94/22.11 c #Conflicts: 107000 | #Constraints: 13573
21.94/22.11 WSVECS04 Frhs2[27]: 6 0 1.0001 shouldn't be
21.94/22.11 WSVECS04 Frhs2[42]: 6 0 35.5 shouldn't be
21.94/22.11 WSVECS04 Frhs2[45]: 6 0 16.75 shouldn't be
21.94/22.11 WSVECS04 Frhs2[67]: 6 0 1.00009 shouldn't be
21.94/22.11 WSVECS04 Frhs2[76]: 6 0 1.00005 shouldn't be
21.94/22.11 WSVECS04 Frhs2[93]: 6 0 1.00005 shouldn't be
21.94/22.11 WSVECS04 Frhs2[137]: 6 0 1.00006 shouldn't be
21.94/22.11 WSVECS04 Frhs2[143]: 6 0 1.00007 shouldn't be
21.94/22.11 WSVECS04 Frhs2[147]: 6 0 1.00004 shouldn't be
21.94/22.11 WSVECS04 Frhs2[153]: 6 0 1.00009 shouldn't be
21.94/22.11 WSVECS04 Frhs2[160]: 6 0 8.50009 shouldn't be
21.94/22.11 WSVECS04 Frhs2[162]: 6 0 1.00003 shouldn't be
21.94/22.11 WSVECS04 Frhs2[169]: 6 0 1.00001 shouldn't be
21.94/22.11 WSVECS04 Frhs2[179]: 6 0 1.00003 shouldn't be
21.94/22.11 WSVECS04 Frhs2[187]: 6 0 27.5001 shouldn't be
21.94/22.11 WSVECS04 Frhs2[212]: 6 0 14.5001 shouldn't be
21.94/22.11 WSVECS04 Frhs2[285]: 6 0 1.00002 shouldn't be
21.94/22.11 WSVECS04 Frhs2[403]: 6 -1.0001 0 shouldn't be
21.94/22.11 WSVECS04 Frhs2[406]: 6 0 1.00006 shouldn't be
21.94/22.11 WSVECS04 Frhs2[432]: 6 0 1.00003 shouldn't be
21.94/22.11 WSVECS04 Frhs2[434]: 6 0 1.00002 shouldn't be
21.94/22.11 WSVECS04 Frhs2[435]: 6 0 1.00005 shouldn't be
21.94/22.11 WSVECS04 Frhs2[447]: 6 -1.00006 0 shouldn't be
21.94/22.11 WSVECS04 Frhs2[461]: 6 0 1.00003 shouldn't be
21.94/22.11 WSVECS04 Frhs2[478]: 6 -1.00004 0 shouldn't be
21.94/22.11 WSVECS04 Frhs2[479]: 6 -1.00008 0 shouldn't be
21.94/22.11 WSVECS04 Frhs2[498]: 6 -1.00005 0 shouldn't be
21.94/22.11 WSVECS04 Frhs2[544]: 6 0 1.00008 shouldn't be
21.94/22.11 WSVECS04 Frhs2[546]: 6 -1.00007 0 shouldn't be
21.94/22.11 WSVECS04 Frhs2[560]: 6 0 1.00009 shouldn't be
21.94/22.11 WSVECS04 Frhs2[573]: 6 -1.00005 0 shouldn't be
21.94/22.11 WSVECS04 Frhs2[652]: 6 0 6.50002 shouldn't be
21.94/22.11 WSVECS04 Frhs2[697]: 6 -1.00007 0 shouldn't be
21.94/22.11 WSVECS04 Frhs2[710]: 6 0 1.00002 shouldn't be
21.94/22.11 WSVECS04 Frhs2[722]: 6 -1.00006 0 shouldn't be
22.83/22.98 c #Conflicts: 108000 | #Constraints: 14573
22.83/22.98 c #Conflicts: 109000 | #Constraints: 15573
22.83/22.98 c #Conflicts: 110000 | #Constraints: 16573
22.83/22.98 c INPROCESSING
22.83/22.98 c GARBAGE COLLECT
22.83/22.98 c rational objective 141.805
23.23/23.37 c #Conflicts: 111000 | #Constraints: 10968
23.23/23.37 c #Conflicts: 112000 | #Constraints: 11968
23.23/23.37 WSVECS04 Frhs2[3]: 6 -2.3334 0 shouldn't be
23.23/23.37 WSVECS04 Frhs2[6]: 6 -2.33342 0 shouldn't be
23.23/23.37 WSVECS04 Frhs2[7]: 6 -2.33337 0 shouldn't be
23.23/23.37 WSVECS04 Frhs2[8]: 6 -2.33341 0 shouldn't be
23.23/23.37 WSVECS04 Frhs2[10]: 6 -2.33337 0 shouldn't be
23.23/23.37 WSVECS04 Frhs2[14]: 6 -2.3334 0 shouldn't be
23.23/23.37 WSVECS04 Frhs2[20]: 6 -2.33336 0 shouldn't be
23.23/23.37 WSVECS04 Frhs2[30]: 6 -9.00003 0 shouldn't be
23.23/23.37 WSVECS04 Frhs2[31]: 6 0 3.33339 shouldn't be
23.23/23.37 WSVECS04 Frhs2[32]: 6 0 1.3334 shouldn't be
23.23/23.37 WSVECS04 Frhs2[33]: 6 0 3.3334 shouldn't be
23.23/23.37 WSVECS04 Frhs2[34]: 6 0 4.00003 shouldn't be
23.23/23.37 WSVECS04 Frhs2[47]: 6 0 3.6667 shouldn't be
23.23/23.37 WSVECS04 Frhs2[56]: 6 0 1.00002 shouldn't be
23.23/23.37 WSVECS04 Frhs2[57]: 6 0 1.00008 shouldn't be
23.23/23.37 WSVECS04 Frhs2[69]: 6 0 1.00004 shouldn't be
23.23/23.37 WSVECS04 Frhs2[82]: 6 0 1.00003 shouldn't be
23.23/23.37 WSVECS04 Frhs2[95]: 6 0 1.00002 shouldn't be
23.23/23.37 WSVECS04 Frhs2[98]: 6 0 5.66677 shouldn't be
23.23/23.37 WSVECS04 Frhs2[122]: 6 0 2.33335 shouldn't be
23.23/23.37 WSVECS04 Frhs2[131]: 6 0 1.00003 shouldn't be
23.23/23.37 WSVECS04 Frhs2[136]: 6 0 1.00004 shouldn't be
23.23/23.37 WSVECS04 Frhs2[140]: 6 0 1.00008 shouldn't be
23.23/23.37 WSVECS04 Frhs2[150]: 6 0 5.66671 shouldn't be
23.23/23.37 WSVECS04 Frhs2[155]: 6 0 0.666707 shouldn't be
23.23/23.37 WSVECS04 Frhs2[157]: 6 0 1.00008 shouldn't be
23.23/23.37 WSVECS04 Frhs2[158]: 6 0 2.00001 shouldn't be
23.23/23.37 WSVECS04 Frhs2[160]: 6 0 1.00004 shouldn't be
23.23/23.37 WSVECS04 Frhs2[165]: 6 0 1.00009 shouldn't be
23.23/23.37 WSVECS04 Frhs2[166]: 6 0 1.00003 shouldn't be
23.23/23.37 WSVECS04 Frhs2[184]: 6 0 2.0001 shouldn't be
23.23/23.37 WSVECS04 Frhs2[192]: 6 0 1.00002 shouldn't be
23.23/23.37 WSVECS04 Frhs2[195]: 6 0 0.33339 shouldn't be
23.23/23.37 WSVECS04 Frhs2[209]: 6 0 1.00002 shouldn't be
23.23/23.37 WSVECS04 Frhs2[210]: 6 0 2.00008 shouldn't be
23.23/23.37 WSVECS04 Frhs2[217]: 6 0 1.00002 shouldn't be
23.23/23.37 WSVECS04 Frhs2[220]: 6 0 1.00005 shouldn't be
23.23/23.37 WSVECS04 Frhs2[221]: 6 0 1.00007 shouldn't be
23.23/23.37 WSVECS04 Frhs2[222]: 6 -1.00003 0 shouldn't be
23.23/23.37 WSVECS04 Frhs2[232]: 6 0 1.00004 shouldn't be
23.23/23.37 WSVECS04 Frhs2[235]: 6 0 1.00001 shouldn't be
23.23/23.37 WSVECS04 Frhs2[236]: 6 0 2.00007 shouldn't be
23.23/23.37 WSVECS04 Frhs2[259]: 6 0 0.666742 shouldn't be
23.23/23.37 WSVECS04 Frhs2[270]: 6 0 1.00009 shouldn't be
23.23/23.37 WSVECS04 Frhs2[295]: 6 0 1.00002 shouldn't be
23.23/23.37 WSVECS04 Frhs2[320]: 6 0 1.00002 shouldn't be
23.23/23.37 WSVECS04 Frhs2[334]: 6 0 3.33341 shouldn't be
23.23/23.37 WSVECS04 Frhs2[342]: 6 0 1.00001 shouldn't be
23.23/23.37 WSVECS04 Frhs2[344]: 6 0 1.00004 shouldn't be
23.23/23.37 WSVECS04 Frhs2[346]: 6 0 1.00001 shouldn't be
23.23/23.37 WSVECS04 Frhs2[349]: 6 0 1.00004 shouldn't be
23.23/23.37 WSVECS04 Frhs2[353]: 6 0 1.00002 shouldn't be
23.23/23.37 WSVECS04 Frhs2[358]: 6 0 1.00005 shouldn't be
23.23/23.37 WSVECS04 Frhs2[359]: 6 0 1.00005 shouldn't be
23.23/23.37 WSVECS04 Frhs2[360]: 6 0 3.33341 shouldn't be
23.23/23.37 WSVECS04 Frhs2[361]: 6 0 1.00005 shouldn't be
23.23/23.37 WSVECS04 Frhs2[362]: 6 0 1.00008 shouldn't be
23.23/23.37 WSVECS04 Frhs2[370]: 6 0 1.00006 shouldn't be
23.23/23.37 WSVECS04 Frhs2[385]: 6 0 1.00008 shouldn't be
23.23/23.37 WSVECS04 Frhs2[386]: 6 0 3.33338 shouldn't be
23.23/23.37 WSVECS04 Frhs2[404]: 6 0 1.33339 shouldn't be
23.23/23.37 WSVECS04 Frhs2[410]: 6 0 1.00002 shouldn't be
23.23/23.37 WSVECS04 Frhs2[411]: 6 0 1.00007 shouldn't be
23.23/23.37 WSVECS04 Frhs2[412]: 6 0 3.33341 shouldn't be
23.23/23.37 WSVECS04 Frhs2[417]: 6 0 1.00005 shouldn't be
23.23/23.37 WSVECS04 Frhs2[456]: 6 0 4.66671 shouldn't be
23.23/23.37 WSVECS04 Frhs2[467]: 6 0 3.33336 shouldn't be
23.23/23.37 WSVECS04 Frhs2[479]: 6 0 1.00006 shouldn't be
23.23/23.37 WSVECS04 Frhs2[487]: 6 0 1.00006 shouldn't be
23.23/23.37 WSVECS04 Frhs2[493]: 6 0 3.33342 shouldn't be
23.23/23.37 WSVECS04 Frhs2[512]: 6 0 1.00002 shouldn't be
23.23/23.37 WSVECS04 Frhs2[533]: 6 0 0.333365 shouldn't be
23.23/23.37 WSVECS04 Frhs2[534]: 6 0 2.33341 shouldn't be
23.23/23.37 WSVECS04 Frhs2[559]: 6 0 0.33335 shouldn't be
23.23/23.37 WSVECS04 Frhs2[560]: 6 0 2.33336 shouldn't be
23.23/23.37 WSVECS04 Frhs2[568]: 6 0 1.00006 shouldn't be
23.23/23.37 WSVECS04 Frhs2[571]: 6 -1.00006 0 shouldn't be
23.23/23.37 WSVECS04 Frhs2[672]: 6 0 1.00007 shouldn't be
23.23/23.37 WSVECS04 Frhs2[719]: 6 0 1.00001 shouldn't be
23.44/23.50 c #Conflicts: 113000 | #Constraints: 12969
23.44/23.50 WSVECS04 Frhs2[11]: 6 -66.5 0 shouldn't be
23.44/23.50 WSVECS04 Frhs2[13]: 6 -66.5001 0 shouldn't be
23.44/23.50 WSVECS04 Frhs2[22]: 6 -66.5 0 shouldn't be
23.44/23.50 WSVECS04 Frhs2[25]: 6 -66.5 0 shouldn't be
23.44/23.50 WSVECS04 Frhs2[45]: 6 0 180.5 shouldn't be
23.44/23.50 WSVECS04 Frhs2[75]: 6 0 1.00006 shouldn't be
23.44/23.50 WSVECS04 Frhs2[80]: 6 0 1.00009 shouldn't be
23.44/23.50 WSVECS04 Frhs2[94]: 6 0 1.00008 shouldn't be
23.44/23.50 WSVECS04 Frhs2[143]: 6 0 1.00008 shouldn't be
23.44/23.50 WSVECS04 Frhs2[243]: 6 0 29.5001 shouldn't be
23.44/23.50 WSVECS04 Frhs2[289]: 6 0 1.00004 shouldn't be
23.44/23.50 WSVECS04 Frhs2[319]: 6 0 1.00007 shouldn't be
23.44/23.50 WSVECS04 Frhs2[329]: 6 -1.00002 0 shouldn't be
23.44/23.50 WSVECS04 Frhs2[354]: 6 0 39.0001 shouldn't be
23.44/23.50 WSVECS04 Frhs2[368]: 6 0 392.5 shouldn't be
23.44/23.50 WSVECS04 Frhs2[380]: 6 0 38 shouldn't be
23.44/23.50 WSVECS04 Frhs2[420]: 6 0 392.5 shouldn't be
23.44/23.50 WSVECS04 Frhs2[423]: 6 0 1.00002 shouldn't be
23.44/23.50 WSVECS04 Frhs2[429]: 6 0 1.00003 shouldn't be
23.44/23.50 WSVECS04 Frhs2[432]: 6 0 1.0001 shouldn't be
23.44/23.50 WSVECS04 Frhs2[441]: 6 0 28.5 shouldn't be
23.44/23.50 WSVECS04 Frhs2[443]: 6 0 1.00004 shouldn't be
23.44/23.50 WSVECS04 Frhs2[446]: 6 0 392.5 shouldn't be
23.44/23.50 WSVECS04 Frhs2[453]: 6 0 1.00005 shouldn't be
23.44/23.50 WSVECS04 Frhs2[466]: 6 0 1.00007 shouldn't be
23.44/23.50 WSVECS04 Frhs2[495]: 6 0 1.00004 shouldn't be
23.44/23.50 WSVECS04 Frhs2[521]: 6 0 1.00003 shouldn't be
23.44/23.50 WSVECS04 Frhs2[543]: 6 0 1.00007 shouldn't be
23.44/23.50 WSVECS04 Frhs2[606]: 6 0 1.00006 shouldn't be
23.44/23.50 WSVECS04 Frhs2[620]: 6 0 1.00006 shouldn't be
23.44/23.50 WSVECS04 Frhs2[670]: 6 0 1.00009 shouldn't be
23.44/23.50 WSVECS04 Frhs2[691]: 6 0 68.5001 shouldn't be
23.44/23.50 WSVECS04 Frhs2[696]: 6 0 1.00002 shouldn't be
23.44/23.50 WSVECS04 Frhs2[716]: 6 -1.00002 0 shouldn't be
23.44/23.50 WSVECS04 Frhs2[717]: 6 0 68.5001 shouldn't be
23.44/23.50 WSVECS04 Frhs2[718]: 6 0 1.00008 shouldn't be
23.44/23.50 WSVECS04 Frhs2[743]: 6 0 67.5 shouldn't be
24.22/24.39 c #Conflicts: 114000 | #Constraints: 13969
24.22/24.39 c #Conflicts: 115000 | #Constraints: 14969
24.22/24.39 c #Conflicts: 116000 | #Constraints: 15969
24.22/24.39 c #Conflicts: 117000 | #Constraints: 16969
24.22/24.39 c INPROCESSING
24.22/24.39 c GARBAGE COLLECT
24.22/24.39 c rational objective 141.817
25.82/25.99 c #Conflicts: 118000 | #Constraints: 11168
25.82/25.99 c #Conflicts: 119000 | #Constraints: 12168
25.82/25.99 c #Conflicts: 120000 | #Constraints: 13168
25.82/25.99 c #Conflicts: 121000 | #Constraints: 14168
25.82/25.99 c #Conflicts: 122000 | #Constraints: 15168
25.82/25.99 c #Conflicts: 123000 | #Constraints: 16169
25.82/25.99 c #Conflicts: 124000 | #Constraints: 17169
25.82/25.99 c INPROCESSING
25.82/25.99 c GARBAGE COLLECT
25.82/25.99 c rational objective 141.854
26.23/26.31 c #Conflicts: 125000 | #Constraints: 11171
26.23/26.31 c #Conflicts: 126000 | #Constraints: 12171
26.23/26.31 WSVECS04 Frhs2[12]: 6 -4.00005 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[14]: 6 -4.00003 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[26]: 6 -4.00002 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[27]: 6 -4.00006 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[39]: 6 0 4.00009 shouldn't be
26.23/26.31 WSVECS04 Frhs2[52]: 6 0 4.00006 shouldn't be
26.23/26.31 WSVECS04 Frhs2[53]: 6 0 6.00006 shouldn't be
26.23/26.31 WSVECS04 Frhs2[111]: 6 -1.00007 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[140]: 6 -1.00008 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[203]: 6 -1.0001 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[205]: 6 -1.00002 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[219]: 6 0 1.00006 shouldn't be
26.23/26.31 WSVECS04 Frhs2[267]: 6 -1.00002 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[279]: 6 -1.00001 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[296]: 6 0 1.00009 shouldn't be
26.23/26.31 WSVECS04 Frhs2[298]: 6 0 1.00009 shouldn't be
26.23/26.31 WSVECS04 Frhs2[315]: 6 -1.00008 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[355]: 6 0 1.00004 shouldn't be
26.23/26.31 WSVECS04 Frhs2[359]: 6 -1.00008 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[366]: 6 -1.00005 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[404]: 6 0 5.00008 shouldn't be
26.23/26.31 WSVECS04 Frhs2[414]: 6 -1.00002 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[430]: 6 0 5.00002 shouldn't be
26.23/26.31 WSVECS04 Frhs2[438]: 6 0 1.00006 shouldn't be
26.23/26.31 WSVECS04 Frhs2[462]: 6 0 1.0001 shouldn't be
26.23/26.31 WSVECS04 Frhs2[488]: 6 0 1.00008 shouldn't be
26.23/26.31 WSVECS04 Frhs2[515]: 6 0 1.00008 shouldn't be
26.23/26.31 WSVECS04 Frhs2[565]: 6 0 1.00005 shouldn't be
26.23/26.31 WSVECS04 Frhs2[694]: 6 0 1.00003 shouldn't be
26.23/26.31 WSVECS04 Frhs2[714]: 6 -1.00002 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[719]: 6 0 4.00006 shouldn't be
26.23/26.31 WSVECS04 Frhs2[736]: 6 -1.00002 0 shouldn't be
26.23/26.31 WSVECS04 Frhs2[742]: 6 0 1.0001 shouldn't be
26.23/26.31 WSVECS04 Frhs2[745]: 6 0 4.00008 shouldn't be
27.62/27.72 c #Conflicts: 127000 | #Constraints: 13171
27.62/27.72 c #Conflicts: 128000 | #Constraints: 14171
27.62/27.72 c #Conflicts: 129000 | #Constraints: 15171
27.62/27.72 c #Conflicts: 130000 | #Constraints: 16171
27.62/27.72 c #Conflicts: 131000 | #Constraints: 17172
27.62/27.72 c INPROCESSING
27.62/27.72 c GARBAGE COLLECT
27.62/27.72 c rational objective 142.458
28.62/28.79 c #Conflicts: 132000 | #Constraints: 10969
28.62/28.79 c #Conflicts: 133000 | #Constraints: 11969
28.62/28.79 c #Conflicts: 134000 | #Constraints: 12970
28.62/28.79 c #Conflicts: 135000 | #Constraints: 13970
28.62/28.79 c #Conflicts: 136000 | #Constraints: 14972
28.62/28.79 c #Conflicts: 137000 | #Constraints: 15973
28.62/28.79 c #Conflicts: 138000 | #Constraints: 16977
28.62/28.79 c #Conflicts: 139000 | #Constraints: 17979
28.62/28.79 c INPROCESSING
28.62/28.79 c GARBAGE COLLECT
28.62/28.79 WSVECS04 Frhs2[39]: 6 -82.0287 0 shouldn't be
28.62/28.79 WSVECS04 Frhs2[41]: 6 0 39.738 shouldn't be
28.62/28.79 WSVECS04 Frhs2[44]: 6 -144.986 0 shouldn't be
28.62/28.79 WSVECS04 Frhs2[45]: 6 -125.385 0 shouldn't be
28.62/28.79 WSVECS04 Frhs2[49]: 6 -126.374 0 shouldn't be
28.62/28.79 WSVECS04 Frhs2[51]: 6 0 39.0957 shouldn't be
28.62/28.79 WSVECS04 Frhs2[52]: 6 -65.5111 0 shouldn't be
28.62/28.79 WSVECS04 Frhs2[54]: 6 -144.086 0 shouldn't be
28.62/28.79 WSVECS04 Frhs2[93]: 6 0 3.7072 shouldn't be
28.62/28.79 WSVECS04 Frhs2[99]: 6 0 1.33054 shouldn't be
28.62/28.79 WSVECS04 Frhs2[317]: 6 0 86.5065 shouldn't be
28.62/28.79 WSVECS04 Frhs2[342]: 6 0 163.378 shouldn't be
28.62/28.79 WSVECS04 Frhs2[346]: 6 0 42.2375 shouldn't be
28.62/28.79 WSVECS04 Frhs2[353]: 6 0 2.58644 shouldn't be
28.62/28.79 WSVECS04 Frhs2[379]: 6 0 2.58644 shouldn't be
28.62/28.79 WSVECS04 Frhs2[382]: 6 0 123.919 shouldn't be
28.62/28.79 WSVECS04 Frhs2[398]: 6 0 42.2375 shouldn't be
28.62/28.79 WSVECS04 Frhs2[405]: 6 0 2.58644 shouldn't be
28.62/28.79 WSVECS04 Frhs2[415]: 6 0 19.7914 shouldn't be
28.62/28.79 WSVECS04 Frhs2[417]: 6 0 65.6877 shouldn't be
28.62/28.79 WSVECS04 Frhs2[422]: 6 0 7.25849 shouldn't be
28.62/28.79 WSVECS04 Frhs2[424]: 6 0 42.2375 shouldn't be
28.62/28.79 WSVECS04 Frhs2[426]: 6 0 83.3299 shouldn't be
28.62/28.79 WSVECS04 Frhs2[444]: 6 0 0.0518563 shouldn't be
28.62/28.79 WSVECS04 Frhs2[480]: 6 0 0.814933 shouldn't be
28.62/28.79 WSVECS04 Frhs2[500]: 6 0 1.02413 shouldn't be
28.62/28.79 WSVECS04 Frhs2[506]: 6 0 0.814933 shouldn't be
28.62/28.79 WSVECS04 Frhs2[522]: 6 0 0.326167 shouldn't be
28.62/28.79 WSVECS04 Frhs2[526]: 6 0 1.02414 shouldn't be
28.62/28.79 WSVECS04 Frhs2[532]: 6 0 0.814933 shouldn't be
28.62/28.79 WSVECS04 Frhs2[570]: 6 0 163.842 shouldn't be
28.62/28.79 WSVECS04 Frhs2[576]: 6 0 1.22546 shouldn't be
28.62/28.79 WSVECS04 Frhs2[594]: 6 0 96.0689 shouldn't be
28.62/28.79 WSVECS04 Frhs2[599]: 6 0 3.5184 shouldn't be
28.62/28.79 WSVECS04 Frhs2[606]: 6 0 39.3202 shouldn't be
28.62/28.79 WSVECS04 Frhs2[619]: 6 0 7.33971 shouldn't be
28.62/28.79 WSVECS04 Frhs2[655]: 6 -85.6654 0 shouldn't be
28.62/28.79 WSVECS04 Frhs2[657]: 6 0 119.051 shouldn't be
28.62/28.79 WSVECS04 Frhs2[668]: 6 0 0.481893 shouldn't be
28.62/28.79 WSVECS04 Frhs2[694]: 6 0 0.481893 shouldn't be
28.62/28.79 WSVECS04 Frhs2[698]: 6 0 96.0689 shouldn't be
28.62/28.79 WSVECS04 Frhs2[707]: 6 0 0.841072 shouldn't be
28.62/28.79 WSVECS04 Frhs2[724]: 6 0 83.3805 shouldn't be
28.62/28.79 WSVECS04 Frhs2[729]: 6 0 65.6877 shouldn't be
28.62/28.79 WSVECS04 Frhs2[748]: 6 0 41.665 shouldn't be
28.62/28.79 WSVECS04 Frhs2[754]: 6 -85.2321 0 shouldn't be
32.71/32.84 c #Conflicts: 140000 | #Constraints: 11577
32.71/32.84 c #Conflicts: 141000 | #Constraints: 12577
32.71/32.84 c #Conflicts: 142000 | #Constraints: 13577
32.71/32.84 c #Conflicts: 143000 | #Constraints: 14578
32.71/32.84 c #Conflicts: 144000 | #Constraints: 15578
32.71/32.84 c #Conflicts: 145000 | #Constraints: 16581
32.71/32.84 c #Conflicts: 146000 | #Constraints: 17584
32.71/32.84 c #Conflicts: 147000 | #Constraints: 18590
32.71/32.84 c INPROCESSING
32.71/32.84 c GARBAGE COLLECT
32.71/32.84 c #Conflicts: 148000 | #Constraints: 11981
32.71/32.84 c #Conflicts: 149000 | #Constraints: 12981
32.71/32.84 c #Conflicts: 150000 | #Constraints: 13981
32.71/32.84 c #Conflicts: 151000 | #Constraints: 14981
32.71/32.84 c #Conflicts: 152000 | #Constraints: 15982
32.71/32.84 c #Conflicts: 153000 | #Constraints: 16983
32.71/32.84 c #Conflicts: 154000 | #Constraints: 17987
32.71/32.84 c #Conflicts: 155000 | #Constraints: 18987
32.71/32.84 c INPROCESSING
32.71/32.84 c GARBAGE COLLECT
32.71/32.84 c #Conflicts: 156000 | #Constraints: 12176
32.71/32.84 c #Conflicts: 157000 | #Constraints: 13177
32.71/32.84 c #Conflicts: 158000 | #Constraints: 14177
32.71/32.84 c #Conflicts: 159000 | #Constraints: 15178
32.71/32.84 c #Conflicts: 160000 | #Constraints: 16179
32.71/32.84 c #Conflicts: 161000 | #Constraints: 17179
32.71/32.84 c #Conflicts: 162000 | #Constraints: 18179
32.71/32.84 c #Conflicts: 163000 | #Constraints: 19179
32.71/32.84 c INPROCESSING
32.71/32.84 c GARBAGE COLLECT
32.71/32.84 c #Conflicts: 164000 | #Constraints: 12176
32.71/32.84 c #Conflicts: 165000 | #Constraints: 13176
32.71/32.84 c #Conflicts: 166000 | #Constraints: 14176
32.71/32.84 c #Conflicts: 167000 | #Constraints: 15176
32.71/32.84 c #Conflicts: 168000 | #Constraints: 16176
32.71/32.84 WSVECS04 Frhs2[34]: 6 -1.00002 0 shouldn't be
32.71/32.84 WSVECS04 Frhs2[46]: 6 -2.00004 0 shouldn't be
32.71/32.84 WSVECS04 Frhs2[53]: 6 -1.00008 0 shouldn't be
32.71/32.84 WSVECS04 Frhs2[72]: 6 0 1.00001 shouldn't be
32.71/32.84 WSVECS04 Frhs2[103]: 6 0 0.333386 shouldn't be
32.71/32.84 WSVECS04 Frhs2[109]: 6 0 1.00006 shouldn't be
32.71/32.84 WSVECS04 Frhs2[121]: 6 0 1.00002 shouldn't be
32.71/32.84 WSVECS04 Frhs2[135]: 6 0 1.00006 shouldn't be
32.71/32.84 WSVECS04 Frhs2[147]: 6 0 1.00007 shouldn't be
32.71/32.84 WSVECS04 Frhs2[151]: 6 -3.00008 0 shouldn't be
32.71/32.84 WSVECS04 Frhs2[156]: 6 0 1.00005 shouldn't be
32.71/32.84 WSVECS04 Frhs2[182]: 6 0 1.00002 shouldn't be
32.71/32.84 WSVECS04 Frhs2[208]: 6 0 1.00009 shouldn't be
32.71/32.84 WSVECS04 Frhs2[409]: 6 0 0.500048 shouldn't be
32.71/32.84 WSVECS04 Frhs2[474]: 6 0 0.333432 shouldn't be
32.71/32.84 WSVECS04 Frhs2[500]: 6 0 0.333378 shouldn't be
32.71/32.84 WSVECS04 Frhs2[531]: 6 0 1.00009 shouldn't be
32.71/32.84 WSVECS04 Frhs2[534]: 6 0 1.00004 shouldn't be
32.71/32.84 WSVECS04 Frhs2[594]: 6 -1.00005 0 shouldn't be
32.71/32.84 WSVECS04 Frhs2[627]: 6 0 1.00002 shouldn't be
32.71/32.84 WSVECS04 Frhs2[634]: 6 -1.00002 0 shouldn't be
32.71/32.84 WSVECS04 Frhs2[647]: 6 0 1.00009 shouldn't be
32.71/32.84 WSVECS04 Frhs2[661]: 6 0 1.00009 shouldn't be
33.80/33.92 c #Conflicts: 169000 | #Constraints: 17176
33.80/33.92 c #Conflicts: 170000 | #Constraints: 18176
33.80/33.92 c #Conflicts: 171000 | #Constraints: 19176
33.80/33.92 c INPROCESSING
33.80/33.92 c GARBAGE COLLECT
33.80/33.92 c rational objective 142.467
34.92/35.06 c #Conflicts: 172000 | #Constraints: 11969
34.92/35.06 c #Conflicts: 173000 | #Constraints: 12969
34.92/35.06 c #Conflicts: 174000 | #Constraints: 13969
34.92/35.06 c #Conflicts: 175000 | #Constraints: 14969
34.92/35.06 c #Conflicts: 176000 | #Constraints: 15970
34.92/35.06 c #Conflicts: 177000 | #Constraints: 16971
34.92/35.06 c #Conflicts: 178000 | #Constraints: 17972
34.92/35.06 c #Conflicts: 179000 | #Constraints: 18973
34.92/35.06 c #Conflicts: 180000 | #Constraints: 19973
34.92/35.06 c INPROCESSING
34.92/35.06 c GARBAGE COLLECT
34.92/35.06 WSVECS04 Frhs2[30]: 6 0 16.5426 shouldn't be
34.92/35.06 WSVECS04 Frhs2[32]: 6 -6.93294 0 shouldn't be
34.92/35.06 WSVECS04 Frhs2[36]: 6 -7.52358 0 shouldn't be
34.92/35.06 WSVECS04 Frhs2[44]: 6 0 2.9187 shouldn't be
34.92/35.06 WSVECS04 Frhs2[88]: 6 0 1.37285 shouldn't be
34.92/35.06 WSVECS04 Frhs2[90]: 6 0 6.94635 shouldn't be
34.92/35.06 WSVECS04 Frhs2[92]: 6 0 0.686424 shouldn't be
34.92/35.06 WSVECS04 Frhs2[110]: 6 0 0.0757141 shouldn't be
34.92/35.06 WSVECS04 Frhs2[133]: 6 -7.05294 0 shouldn't be
34.92/35.06 WSVECS04 Frhs2[142]: 6 0 6.94632 shouldn't be
34.92/35.06 WSVECS04 Frhs2[163]: 6 -9.9436 0 shouldn't be
34.92/35.06 WSVECS04 Frhs2[184]: 6 -12.865 0 shouldn't be
34.92/35.06 WSVECS04 Frhs2[187]: 6 0 0.0394165 shouldn't be
34.92/35.06 WSVECS04 Frhs2[188]: 6 -6.97193 0 shouldn't be
34.92/35.06 WSVECS04 Frhs2[212]: 6 0 0.541864 shouldn't be
34.92/35.06 WSVECS04 Frhs2[213]: 6 0 0.0394064 shouldn't be
34.92/35.06 WSVECS04 Frhs2[218]: 6 0 1.37283 shouldn't be
34.92/35.06 WSVECS04 Frhs2[219]: 6 0 1.00003 shouldn't be
34.92/35.06 WSVECS04 Frhs2[222]: 6 0 0.686473 shouldn't be
34.92/35.06 WSVECS04 Frhs2[229]: 6 0 3.58155 shouldn't be
34.92/35.06 WSVECS04 Frhs2[232]: 6 0 7.46545 shouldn't be
34.92/35.06 WSVECS04 Frhs2[234]: 6 0 0.216699 shouldn't be
34.92/35.06 WSVECS04 Frhs2[242]: 6 0 12.8778 shouldn't be
34.92/35.06 WSVECS04 Frhs2[258]: 6 0 7.46545 shouldn't be
34.92/35.06 WSVECS04 Frhs2[259]: 6 0 0.0036197 shouldn't be
34.92/35.06 WSVECS04 Frhs2[268]: 6 0 12.8779 shouldn't be
34.92/35.06 WSVECS04 Frhs2[281]: 6 0 3.09007 shouldn't be
34.92/35.06 WSVECS04 Frhs2[286]: 6 0 0.670185 shouldn't be
34.92/35.06 WSVECS04 Frhs2[311]: 6 -0.840065 0 shouldn't be
34.92/35.06 WSVECS04 Frhs2[312]: 6 0 0.670154 shouldn't be
34.92/35.06 WSVECS04 Frhs2[359]: 6 0 3.58153 shouldn't be
34.92/35.06 WSVECS04 Frhs2[407]: 6 0 1.37282 shouldn't be
34.92/35.06 WSVECS04 Frhs2[409]: 6 0 1.0167 shouldn't be
34.92/35.06 WSVECS04 Frhs2[435]: 6 0 1.01667 shouldn't be
34.92/35.06 WSVECS04 Frhs2[436]: 6 0 1.37281 shouldn't be
34.92/35.06 WSVECS04 Frhs2[437]: 6 0 0.0337089 shouldn't be
34.92/35.06 WSVECS04 Frhs2[462]: 6 0 1.37278 shouldn't be
34.92/35.06 WSVECS04 Frhs2[492]: 6 0 7.40124 shouldn't be
34.92/35.06 WSVECS04 Frhs2[512]: 6 0 0.979567 shouldn't be
34.92/35.06 WSVECS04 Frhs2[562]: 6 0 0.50008 shouldn't be
35.02/35.13 WSVECS04 Frhs2[137]: 6 -9.9436 0 shouldn't be
35.02/35.13 WSVECS04 Frhs2[295]: 6 0 0.500087 shouldn't be
35.02/35.13 WSVECS04 Frhs2[431]: 6 0 0.414071 shouldn't be
35.10/35.21 WSVECS04 Frhs2[30]: 6 0 16.5426 shouldn't be
35.10/35.21 WSVECS04 Frhs2[32]: 6 -6.9329 0 shouldn't be
35.10/35.21 WSVECS04 Frhs2[33]: 6 -6.3459 0 shouldn't be
35.10/35.21 WSVECS04 Frhs2[42]: 6 -17.1236 0 shouldn't be
35.10/35.21 WSVECS04 Frhs2[44]: 6 0 2.91869 shouldn't be
35.10/35.21 WSVECS04 Frhs2[138]: 6 0 12.8778 shouldn't be
35.10/35.21 WSVECS04 Frhs2[229]: 6 0 3.58152 shouldn't be
35.10/35.21 WSVECS04 Frhs2[234]: 6 0 0.216636 shouldn't be
35.10/35.21 WSVECS04 Frhs2[268]: 6 0 12.8778 shouldn't be
35.10/35.21 WSVECS04 Frhs2[281]: 6 0 3.09004 shouldn't be
35.10/35.21 WSVECS04 Frhs2[307]: 6 0 3.12374 shouldn't be
35.10/35.21 WSVECS04 Frhs2[387]: 6 0 2.77159 shouldn't be
35.10/35.21 WSVECS04 Frhs2[437]: 6 0 0.0336966 shouldn't be
35.10/35.21 WSVECS04 Frhs2[512]: 6 0 0.979534 shouldn't be
35.10/35.26 WSVECS04 Frhs2[88]: 6 0 1.37277 shouldn't be
35.10/35.26 WSVECS04 Frhs2[90]: 6 0 6.94626 shouldn't be
35.10/35.26 WSVECS04 Frhs2[92]: 6 0 0.686383 shouldn't be
35.10/35.26 WSVECS04 Frhs2[142]: 6 0 6.94626 shouldn't be
35.10/35.26 WSVECS04 Frhs2[212]: 6 0 0.541837 shouldn't be
35.10/35.26 WSVECS04 Frhs2[213]: 6 0 0.0393316 shouldn't be
35.10/35.26 WSVECS04 Frhs2[218]: 6 0 1.37277 shouldn't be
35.10/35.26 WSVECS04 Frhs2[226]: 6 0 1.18139 shouldn't be
35.10/35.26 WSVECS04 Frhs2[230]: 6 0 0.67704 shouldn't be
35.10/35.26 WSVECS04 Frhs2[235]: 6 0 0.684201 shouldn't be
35.10/35.26 WSVECS04 Frhs2[242]: 6 0 12.8778 shouldn't be
35.10/35.26 WSVECS04 Frhs2[259]: 6 0 0.00360466 shouldn't be
35.10/35.26 WSVECS04 Frhs2[308]: 6 0 0.743947 shouldn't be
35.10/35.26 WSVECS04 Frhs2[311]: 6 -0.840028 0 shouldn't be
35.10/35.26 WSVECS04 Frhs2[365]: 6 0 0.6842 shouldn't be
35.10/35.26 WSVECS04 Frhs2[407]: 6 0 1.37277 shouldn't be
35.10/35.26 WSVECS04 Frhs2[409]: 6 0 1.01666 shouldn't be
35.10/35.26 WSVECS04 Frhs2[435]: 6 0 1.01666 shouldn't be
35.10/35.26 WSVECS04 Frhs2[436]: 6 0 1.37277 shouldn't be
35.10/35.26 WSVECS04 Frhs2[537]: 6 0 1.37277 shouldn't be
35.10/35.26 WSVECS04 Frhs2[562]: 6 0 0.500001 shouldn't be
36.50/36.63 c #Conflicts: 181000 | #Constraints: 12570
36.50/36.63 c #Conflicts: 182000 | #Constraints: 13571
36.50/36.63 c #Conflicts: 183000 | #Constraints: 14571
36.50/36.63 c #Conflicts: 184000 | #Constraints: 15572
36.50/36.63 c #Conflicts: 185000 | #Constraints: 16575
36.50/36.63 c #Conflicts: 186000 | #Constraints: 17582
36.50/36.63 c #Conflicts: 187000 | #Constraints: 18587
36.50/36.63 c #Conflicts: 188000 | #Constraints: 19600
36.50/36.63 c #Conflicts: 189000 | #Constraints: 20605
36.50/36.63 c INPROCESSING
36.50/36.63 c GARBAGE COLLECT
36.50/36.63 WSVECS04 Frhs2[30]: 6 0 20.0849 shouldn't be
36.50/36.63 WSVECS04 Frhs2[32]: 6 0 5.91006 shouldn't be
36.50/36.63 WSVECS04 Frhs2[36]: 6 -8.43085 0 shouldn't be
36.50/36.63 WSVECS04 Frhs2[40]: 6 -12.2457 0 shouldn't be
36.50/36.63 WSVECS04 Frhs2[42]: 6 -8.00011 0 shouldn't be
36.50/36.63 WSVECS04 Frhs2[95]: 6 0 5.96399 shouldn't be
36.50/36.63 WSVECS04 Frhs2[109]: 6 0 0.550232 shouldn't be
36.50/36.63 WSVECS04 Frhs2[114]: 6 0 6.18993 shouldn't be
36.50/36.63 WSVECS04 Frhs2[120]: 6 0 1 shouldn't be
36.50/36.63 WSVECS04 Frhs2[134]: 6 0 3.00525 shouldn't be
36.50/36.63 WSVECS04 Frhs2[135]: 6 0 0.079496 shouldn't be
36.50/36.63 WSVECS04 Frhs2[140]: 6 0 6.18993 shouldn't be
36.50/36.63 WSVECS04 Frhs2[146]: 6 0 1 shouldn't be
36.50/36.63 WSVECS04 Frhs2[188]: 6 0 0.0127974 shouldn't be
36.50/36.63 WSVECS04 Frhs2[189]: 6 0 2.85811 shouldn't be
36.50/36.63 WSVECS04 Frhs2[207]: 6 0 1.74025 shouldn't be
36.50/36.63 WSVECS04 Frhs2[208]: 6 0 3.85101 shouldn't be
36.50/36.63 WSVECS04 Frhs2[209]: 6 0 11.7385 shouldn't be
36.50/36.63 WSVECS04 Frhs2[214]: 6 0 0.0127976 shouldn't be
36.50/36.63 WSVECS04 Frhs2[241]: 6 0 1.19755 shouldn't be
36.50/36.63 WSVECS04 Frhs2[285]: 6 0 0.42974 shouldn't be
36.50/36.63 WSVECS04 Frhs2[289]: 6 0 0.123112 shouldn't be
36.50/36.63 WSVECS04 Frhs2[292]: 6 0 0.00388265 shouldn't be
36.50/36.63 WSVECS04 Frhs2[308]: 6 0 8.38597 shouldn't be
36.50/36.63 WSVECS04 Frhs2[333]: 6 0 0.49148 shouldn't be
36.50/36.63 WSVECS04 Frhs2[334]: 6 0 9.53876 shouldn't be
36.50/36.63 WSVECS04 Frhs2[336]: 6 0 4.43998 shouldn't be
36.50/36.63 WSVECS04 Frhs2[357]: 6 0 0.665426 shouldn't be
36.50/36.63 WSVECS04 Frhs2[381]: 6 0 5.96399 shouldn't be
36.50/36.63 WSVECS04 Frhs2[438]: 6 0 8.38597 shouldn't be
36.50/36.63 WSVECS04 Frhs2[474]: 6 -0.709647 0 shouldn't be
36.50/36.63 WSVECS04 Frhs2[482]: 6 0 7.5713 shouldn't be
36.50/36.63 WSVECS04 Frhs2[486]: 6 0 2.00126 shouldn't be
36.50/36.63 WSVECS04 Frhs2[489]: 6 -0.0717939 0 shouldn't be
36.50/36.63 WSVECS04 Frhs2[491]: 6 0 1 shouldn't be
36.50/36.63 WSVECS04 Frhs2[517]: 6 0 1 shouldn't be
36.50/36.63 WSVECS04 Frhs2[525]: 6 0 1.71411 shouldn't be
36.50/36.63 WSVECS04 Frhs2[540]: 6 0 4.20233 shouldn't be
36.50/36.63 WSVECS04 Frhs2[543]: 6 0 1 shouldn't be
36.60/36.71 WSVECS04 Frhs2[194]: 6 0 0.986886 shouldn't be
36.60/36.71 WSVECS04 Frhs2[220]: 6 0 0.986886 shouldn't be
36.60/36.71 WSVECS04 Frhs2[548]: 6 0 0.492154 shouldn't be
36.60/36.71 WSVECS04 Frhs2[574]: 6 0 0.492154 shouldn't be
39.29/39.49 c #Conflicts: 190000 | #Constraints: 12990
39.29/39.49 c #Conflicts: 191000 | #Constraints: 13991
39.29/39.49 c #Conflicts: 192000 | #Constraints: 14991
39.29/39.49 c #Conflicts: 193000 | #Constraints: 15993
39.29/39.49 c #Conflicts: 194000 | #Constraints: 16998
39.29/39.49 c #Conflicts: 195000 | #Constraints: 18011
39.29/39.49 c #Conflicts: 196000 | #Constraints: 19015
39.29/39.49 c #Conflicts: 197000 | #Constraints: 20023
39.29/39.49 c #Conflicts: 198000 | #Constraints: 21023
39.29/39.49 c INPROCESSING
39.29/39.49 c GARBAGE COLLECT
39.29/39.49 c #Conflicts: 199000 | #Constraints: 13201
39.29/39.49 c #Conflicts: 200000 | #Constraints: 14201
39.29/39.49 c #Conflicts: 201000 | #Constraints: 15202
39.29/39.49 c #Conflicts: 202000 | #Constraints: 16202
39.29/39.49 c #Conflicts: 203000 | #Constraints: 17202
39.29/39.49 c #Conflicts: 204000 | #Constraints: 18202
39.29/39.49 c #Conflicts: 205000 | #Constraints: 19202
39.29/39.49 c #Conflicts: 206000 | #Constraints: 20202
39.29/39.49 c #Conflicts: 207000 | #Constraints: 21203
39.29/39.49 c INPROCESSING
39.29/39.49 c GARBAGE COLLECT
39.29/39.49 WSVECS04 Frhs2[30]: 6 0 5.23707 shouldn't be
39.29/39.49 WSVECS04 Frhs2[32]: 6 0 0.0872542 shouldn't be
39.29/39.49 WSVECS04 Frhs2[35]: 6 -3.50897 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[36]: 6 -3.1671 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[39]: 6 -3.05871 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[40]: 6 -3.75056 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[41]: 6 0 0.573965 shouldn't be
39.29/39.49 WSVECS04 Frhs2[42]: 6 -4.73393 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[57]: 6 0 3.00665 shouldn't be
39.29/39.49 WSVECS04 Frhs2[83]: 6 0 3.78903 shouldn't be
39.29/39.49 WSVECS04 Frhs2[84]: 6 0 0.121648 shouldn't be
39.29/39.49 WSVECS04 Frhs2[92]: 6 0 1.61226 shouldn't be
39.29/39.49 WSVECS04 Frhs2[106]: 6 -4.1526 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[109]: 6 0 4.06498 shouldn't be
39.29/39.49 WSVECS04 Frhs2[110]: 6 0 0.121612 shouldn't be
39.29/39.49 WSVECS04 Frhs2[115]: 6 -1.00004 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[134]: 6 0 0.702996 shouldn't be
39.29/39.49 WSVECS04 Frhs2[135]: 6 0 3.06286 shouldn't be
39.29/39.49 WSVECS04 Frhs2[137]: 6 0 0.380649 shouldn't be
39.29/39.49 WSVECS04 Frhs2[138]: 6 0 2.7791 shouldn't be
39.29/39.49 WSVECS04 Frhs2[146]: 6 0 0.247492 shouldn't be
39.29/39.49 WSVECS04 Frhs2[148]: 6 0 1.28888 shouldn't be
39.29/39.49 WSVECS04 Frhs2[160]: 6 0 0.995452 shouldn't be
39.29/39.49 WSVECS04 Frhs2[162]: 6 -1.04427 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[164]: 6 0 2.77908 shouldn't be
39.29/39.49 WSVECS04 Frhs2[166]: 6 -1.61225 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[183]: 6 0 1.71833 shouldn't be
39.29/39.49 WSVECS04 Frhs2[189]: 6 0 0.380628 shouldn't be
39.29/39.49 WSVECS04 Frhs2[194]: 6 0 1.29039 shouldn't be
39.29/39.49 WSVECS04 Frhs2[208]: 6 0 1.44288 shouldn't be
39.29/39.49 WSVECS04 Frhs2[209]: 6 0 1.71828 shouldn't be
39.29/39.49 WSVECS04 Frhs2[211]: 6 -2.76367 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[235]: 6 0 1.71825 shouldn't be
39.29/39.49 WSVECS04 Frhs2[259]: 6 0 0.0435453 shouldn't be
39.29/39.49 WSVECS04 Frhs2[262]: 6 -4.15054 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[268]: 6 0 1.67775 shouldn't be
39.29/39.49 WSVECS04 Frhs2[285]: 6 -0.909795 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[308]: 6 0 1.70016 shouldn't be
39.29/39.49 WSVECS04 Frhs2[312]: 6 0 1.44288 shouldn't be
39.29/39.49 WSVECS04 Frhs2[317]: 6 0 0.782433 shouldn't be
39.29/39.49 WSVECS04 Frhs2[318]: 6 -1.03804 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[369]: 6 0 0.782396 shouldn't be
39.29/39.49 WSVECS04 Frhs2[381]: 6 0 0.806173 shouldn't be
39.29/39.49 WSVECS04 Frhs2[384]: 6 0 0.806195 shouldn't be
39.29/39.49 WSVECS04 Frhs2[385]: 6 -0.332287 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[407]: 6 0 0.806206 shouldn't be
39.29/39.49 WSVECS04 Frhs2[408]: 6 0 1.2952 shouldn't be
39.29/39.49 WSVECS04 Frhs2[410]: 6 0 0.80618 shouldn't be
39.29/39.49 WSVECS04 Frhs2[431]: 6 0 0.292802 shouldn't be
39.29/39.49 WSVECS04 Frhs2[434]: 6 0 2.88515 shouldn't be
39.29/39.49 WSVECS04 Frhs2[438]: 6 0 1.59903 shouldn't be
39.29/39.49 WSVECS04 Frhs2[441]: 6 -1.27644 0 shouldn't be
39.29/39.49 WSVECS04 Frhs2[442]: 6 0 1.4428 shouldn't be
39.29/39.49 WSVECS04 Frhs2[571]: 6 0 0.0931881 shouldn't be
39.29/39.49 WSVECS04 Frhs2[584]: 6 0 1.29037 shouldn't be
39.40/39.58 WSVECS04 Frhs2[66]: 6 0 1.61226 shouldn't be
39.40/39.58 WSVECS04 Frhs2[234]: 6 0 1.44281 shouldn't be
39.40/39.58 WSVECS04 Frhs2[334]: 6 0 1.7002 shouldn't be
39.40/39.58 WSVECS04 Frhs2[388]: 6 0 3.49833 shouldn't be
39.49/39.68 WSVECS04 Frhs2[40]: 6 -3.75051 0 shouldn't be
39.49/39.68 WSVECS04 Frhs2[41]: 6 0 0.573931 shouldn't be
39.49/39.68 WSVECS04 Frhs2[42]: 6 -4.73385 0 shouldn't be
39.49/39.68 WSVECS04 Frhs2[137]: 6 0 0.380603 shouldn't be
39.49/39.68 WSVECS04 Frhs2[144]: 6 0 1.61221 shouldn't be
39.49/39.68 WSVECS04 Frhs2[189]: 6 0 0.380604 shouldn't be
39.49/39.68 WSVECS04 Frhs2[262]: 6 -4.1505 0 shouldn't be
39.49/39.68 WSVECS04 Frhs2[388]: 6 0 3.49832 shouldn't be
39.49/39.68 WSVECS04 Frhs2[416]: 6 0 1.44279 shouldn't be
39.49/39.68 WSVECS04 Frhs2[434]: 6 0 2.8851 shouldn't be
39.49/39.68 WSVECS04 Frhs2[438]: 6 0 1.599 shouldn't be
40.69/40.87 c #Conflicts: 208000 | #Constraints: 13184
40.69/40.87 c #Conflicts: 209000 | #Constraints: 14184
40.69/40.87 c #Conflicts: 210000 | #Constraints: 15184
40.69/40.87 c #Conflicts: 211000 | #Constraints: 16185
40.69/40.87 c #Conflicts: 212000 | #Constraints: 17185
40.69/40.87 c #Conflicts: 213000 | #Constraints: 18186
40.69/40.87 c #Conflicts: 214000 | #Constraints: 19186
40.69/40.87 c #Conflicts: 215000 | #Constraints: 20187
40.69/40.87 c #Conflicts: 216000 | #Constraints: 21189
40.69/40.87 c INPROCESSING
40.69/40.87 c GARBAGE COLLECT
40.69/40.87 WSVECS04 Frhs2[35]: 6 -3.13475 0 shouldn't be
40.69/40.87 WSVECS04 Frhs2[41]: 6 0 0.197186 shouldn't be
40.69/40.87 WSVECS04 Frhs2[45]: 6 -3.55586 0 shouldn't be
40.69/40.87 WSVECS04 Frhs2[122]: 6 0 3.13818 shouldn't be
40.69/40.87 WSVECS04 Frhs2[181]: 6 0 0.114572 shouldn't be
40.69/40.87 WSVECS04 Frhs2[220]: 6 0 4.50525 shouldn't be
40.69/40.87 WSVECS04 Frhs2[572]: 6 0 0.683538 shouldn't be
40.69/40.87 WSVECS04 Frhs2[672]: 6 0 0.0580121 shouldn't be
40.69/40.87 WSVECS04 Frhs2[691]: 6 0 1 shouldn't be
42.59/42.70 c #Conflicts: 217000 | #Constraints: 12982
42.59/42.70 c #Conflicts: 218000 | #Constraints: 13982
42.59/42.70 c #Conflicts: 219000 | #Constraints: 14982
42.59/42.70 c #Conflicts: 220000 | #Constraints: 15982
42.59/42.70 c #Conflicts: 221000 | #Constraints: 16983
42.59/42.70 c #Conflicts: 222000 | #Constraints: 17983
42.59/42.70 c #Conflicts: 223000 | #Constraints: 18983
42.59/42.70 c #Conflicts: 224000 | #Constraints: 19984
42.59/42.70 c #Conflicts: 225000 | #Constraints: 20984
42.59/42.70 c #Conflicts: 226000 | #Constraints: 21984
42.59/42.70 c INPROCESSING
42.59/42.70 c GARBAGE COLLECT
42.59/42.70 c rational objective 142.468
43.79/43.95 c #Conflicts: 227000 | #Constraints: 13584
43.79/43.95 c #Conflicts: 228000 | #Constraints: 14584
43.79/43.95 c #Conflicts: 229000 | #Constraints: 15584
43.79/43.95 c #Conflicts: 230000 | #Constraints: 16585
43.79/43.95 c #Conflicts: 231000 | #Constraints: 17585
43.79/43.95 c #Conflicts: 232000 | #Constraints: 18586
43.79/43.95 c #Conflicts: 233000 | #Constraints: 19586
43.79/43.95 c #Conflicts: 234000 | #Constraints: 20587
43.79/43.95 c #Conflicts: 235000 | #Constraints: 21587
43.79/43.95 WSVECS04 Frhs2[10]: 6 -0.0117945 0 shouldn't be
43.79/43.95 WSVECS04 Frhs2[11]: 6 -0.0117945 0 shouldn't be
43.79/43.95 WSVECS04 Frhs2[32]: 6 0 1.82466 shouldn't be
43.79/43.95 WSVECS04 Frhs2[33]: 6 -6.92531 0 shouldn't be
43.79/43.95 WSVECS04 Frhs2[38]: 6 -10.6767 0 shouldn't be
43.79/43.95 WSVECS04 Frhs2[39]: 6 0 33.9164 shouldn't be
43.79/43.95 WSVECS04 Frhs2[60]: 6 0 5.77996 shouldn't be
43.79/43.95 WSVECS04 Frhs2[85]: 6 0 10.5966 shouldn't be
43.79/43.95 WSVECS04 Frhs2[90]: 6 0 7.84195 shouldn't be
43.79/43.95 WSVECS04 Frhs2[182]: 6 0 3.33471 shouldn't be
43.79/43.95 WSVECS04 Frhs2[206]: 6 0 9.76002 shouldn't be
43.79/43.95 WSVECS04 Frhs2[211]: 6 0 4.50796 shouldn't be
43.79/43.95 WSVECS04 Frhs2[235]: 6 0 7.77984 shouldn't be
43.79/43.95 WSVECS04 Frhs2[236]: 6 0 4.91526 shouldn't be
43.79/43.95 WSVECS04 Frhs2[240]: 6 0 5.72234 shouldn't be
43.79/43.95 WSVECS04 Frhs2[256]: 6 0 3.83471 shouldn't be
43.79/43.95 WSVECS04 Frhs2[287]: 6 0 7.77984 shouldn't be
43.79/43.95 WSVECS04 Frhs2[288]: 6 0 10.091 shouldn't be
43.79/43.95 WSVECS04 Frhs2[331]: 6 0 1.12666 shouldn't be
43.79/43.95 WSVECS04 Frhs2[337]: 6 0 4.59478 shouldn't be
43.79/43.95 WSVECS04 Frhs2[360]: 6 0 3.83471 shouldn't be
43.79/43.95 WSVECS04 Frhs2[462]: 6 0 8.48229 shouldn't be
43.79/43.95 WSVECS04 Frhs2[613]: 6 0 1 shouldn't be
43.79/43.95 WSVECS04 Frhs2[638]: 6 0 3.83471 shouldn't be
43.79/43.95 WSVECS04 Frhs2[688]: 6 0 7.84195 shouldn't be
44.49/44.67 c #Conflicts: 236000 | #Constraints: 22588
44.49/44.67 c INPROCESSING
44.49/44.67 c GARBAGE COLLECT
44.49/44.67 c #Conflicts: 237000 | #Constraints: 13983
44.49/44.67 c #Conflicts: 238000 | #Constraints: 14984
44.49/44.67 c #Conflicts: 239000 | #Constraints: 15984
44.49/44.67 c #Conflicts: 240000 | #Constraints: 16986
44.49/44.67 WSVECS04 Frhs2[25]: 6 0 11.7006 shouldn't be
44.49/44.67 WSVECS04 Frhs2[43]: 6 0 1.00592 shouldn't be
44.49/44.67 WSVECS04 Frhs2[45]: 6 0 16.6824 shouldn't be
44.49/44.67 WSVECS04 Frhs2[82]: 6 0 14.1188 shouldn't be
44.49/44.67 WSVECS04 Frhs2[96]: 6 0 15.9863 shouldn't be
44.49/44.67 WSVECS04 Frhs2[103]: 6 0 15.2544 shouldn't be
44.49/44.67 WSVECS04 Frhs2[133]: 6 -0.636181 0 shouldn't be
44.49/44.67 WSVECS04 Frhs2[157]: 6 0 8.32762 shouldn't be
44.49/44.67 WSVECS04 Frhs2[159]: 6 -0.541836 0 shouldn't be
44.49/44.67 WSVECS04 Frhs2[209]: 6 0 0.397892 shouldn't be
44.49/44.67 WSVECS04 Frhs2[211]: 6 -0.541836 0 shouldn't be
44.49/44.67 WSVECS04 Frhs2[253]: 6 0 1.64257 shouldn't be
44.49/44.67 WSVECS04 Frhs2[303]: 6 0 15.3809 shouldn't be
44.49/44.67 WSVECS04 Frhs2[311]: 6 -0.706997 0 shouldn't be
44.49/44.67 WSVECS04 Frhs2[413]: 6 -1 0 shouldn't be
44.49/44.67 WSVECS04 Frhs2[423]: 6 0 24.1327 shouldn't be
44.49/44.67 WSVECS04 Frhs2[448]: 6 0 5.97972 shouldn't be
44.49/44.67 WSVECS04 Frhs2[501]: 6 0 7.69004 shouldn't be
44.49/44.67 WSVECS04 Frhs2[552]: 6 0 4.89501 shouldn't be
44.49/44.67 WSVECS04 Frhs2[560]: 6 0 10.1091 shouldn't be
44.49/44.67 WSVECS04 Frhs2[563]: 6 0 15.3809 shouldn't be
44.49/44.67 WSVECS04 Frhs2[566]: 6 0 15.3809 shouldn't be
44.49/44.67 WSVECS04 Frhs2[578]: 6 0 4.89501 shouldn't be
44.49/44.67 WSVECS04 Frhs2[580]: 6 -5.08669 0 shouldn't be
44.49/44.67 WSVECS04 Frhs2[603]: 6 0 14.1281 shouldn't be
44.49/44.67 WSVECS04 Frhs2[632]: 6 0 6.87119 shouldn't be
44.49/44.67 WSVECS04 Frhs2[648]: 6 0 23.569 shouldn't be
44.49/44.67 WSVECS04 Frhs2[655]: 6 -0.390176 0 shouldn't be
44.49/44.67 WSVECS04 Frhs2[682]: 6 0 2.81029 shouldn't be
44.49/44.67 WSVECS04 Frhs2[686]: 6 0 15.3809 shouldn't be
44.49/44.67 WSVECS04 Frhs2[688]: 6 0 1.93445 shouldn't be
44.49/44.67 WSVECS04 Frhs2[694]: 6 0 15.1895 shouldn't be
44.49/44.67 WSVECS04 Frhs2[695]: 6 0 1.64256 shouldn't be
44.49/44.67 WSVECS04 Frhs2[696]: 6 0 15.3809 shouldn't be
44.49/44.67 WSVECS04 Frhs2[698]: 6 0 17.5923 shouldn't be
44.49/44.67 WSVECS04 Frhs2[751]: 6 -10.7373 0 shouldn't be
55.16/55.33 c #Conflicts: 241000 | #Constraints: 17986
55.16/55.33 c #Conflicts: 242000 | #Constraints: 18986
55.16/55.33 c #Conflicts: 243000 | #Constraints: 19987
55.16/55.33 c #Conflicts: 244000 | #Constraints: 20987
55.16/55.33 c #Conflicts: 245000 | #Constraints: 21988
55.16/55.33 c #Conflicts: 246000 | #Constraints: 22989
55.16/55.33 c INPROCESSING
55.16/55.33 c GARBAGE COLLECT
55.16/55.33 c #Conflicts: 247000 | #Constraints: 14185
55.16/55.33 c #Conflicts: 248000 | #Constraints: 15186
55.16/55.33 c #Conflicts: 249000 | #Constraints: 16186
55.16/55.33 c #Conflicts: 250000 | #Constraints: 17186
55.16/55.33 c #Conflicts: 251000 | #Constraints: 18186
55.16/55.33 c #Conflicts: 252000 | #Constraints: 19186
55.16/55.33 c #Conflicts: 253000 | #Constraints: 20187
55.16/55.33 c #Conflicts: 254000 | #Constraints: 21187
55.16/55.33 c #Conflicts: 255000 | #Constraints: 22189
55.16/55.33 c #Conflicts: 256000 | #Constraints: 23191
55.16/55.33 c INPROCESSING
55.16/55.33 c GARBAGE COLLECT
55.16/55.33 c #Conflicts: 257000 | #Constraints: 14184
55.16/55.33 c #Conflicts: 258000 | #Constraints: 15184
55.16/55.33 c #Conflicts: 259000 | #Constraints: 16185
55.16/55.34 c #Conflicts: 260000 | #Constraints: 17187
55.16/55.34 c #Conflicts: 261000 | #Constraints: 18189
55.16/55.34 c #Conflicts: 262000 | #Constraints: 19189
55.16/55.34 c #Conflicts: 263000 | #Constraints: 20190
55.16/55.34 c #Conflicts: 264000 | #Constraints: 21191
55.16/55.34 c #Conflicts: 265000 | #Constraints: 22193
55.16/55.34 c #Conflicts: 266000 | #Constraints: 23195
55.16/55.34 c INPROCESSING
55.16/55.34 c GARBAGE COLLECT
55.16/55.34 c #Conflicts: 267000 | #Constraints: 13986
55.16/55.34 c #Conflicts: 268000 | #Constraints: 14987
55.16/55.34 c #Conflicts: 269000 | #Constraints: 15987
55.16/55.34 c #Conflicts: 270000 | #Constraints: 16988
55.16/55.34 c #Conflicts: 271000 | #Constraints: 17993
55.16/55.34 c #Conflicts: 272000 | #Constraints: 18996
55.16/55.34 c #Conflicts: 273000 | #Constraints: 19997
55.16/55.34 c #Conflicts: 274000 | #Constraints: 20997
55.16/55.34 c #Conflicts: 275000 | #Constraints: 21999
55.16/55.34 c #Conflicts: 276000 | #Constraints: 23000
55.16/55.34 c #Conflicts: 277000 | #Constraints: 24000
55.16/55.34 c INPROCESSING
55.16/55.34 c GARBAGE COLLECT
55.16/55.34 c #Conflicts: 278000 | #Constraints: 14586
55.16/55.34 c #Conflicts: 279000 | #Constraints: 15586
55.16/55.34 c #Conflicts: 280000 | #Constraints: 16587
55.16/55.34 c #Conflicts: 281000 | #Constraints: 17588
55.16/55.34 c #Conflicts: 282000 | #Constraints: 18588
55.16/55.34 c #Conflicts: 283000 | #Constraints: 19588
55.16/55.34 c #Conflicts: 284000 | #Constraints: 20589
55.16/55.34 c #Conflicts: 285000 | #Constraints: 21589
55.16/55.34 c #Conflicts: 286000 | #Constraints: 22589
55.16/55.34 c #Conflicts: 287000 | #Constraints: 23592
55.16/55.34 c #Conflicts: 288000 | #Constraints: 24594
55.16/55.34 c INPROCESSING
55.16/55.34 c GARBAGE COLLECT
55.16/55.34 c #Conflicts: 289000 | #Constraints: 14986
55.16/55.34 c #Conflicts: 290000 | #Constraints: 15987
55.16/55.34 c #Conflicts: 291000 | #Constraints: 16991
55.16/55.34 c #Conflicts: 292000 | #Constraints: 17992
55.16/55.34 c #Conflicts: 293000 | #Constraints: 18993
55.16/55.34 c #Conflicts: 294000 | #Constraints: 19994
55.16/55.34 c #Conflicts: 295000 | #Constraints: 20996
55.16/55.34 c #Conflicts: 296000 | #Constraints: 21997
55.16/55.34 c #Conflicts: 297000 | #Constraints: 22997
55.16/55.34 c #Conflicts: 298000 | #Constraints: 23999
55.16/55.34 c #Conflicts: 299000 | #Constraints: 24999
55.16/55.34 c INPROCESSING
55.16/55.34 c GARBAGE COLLECT
55.16/55.34 c #Conflicts: 300000 | #Constraints: 15187
55.16/55.34 c #Conflicts: 301000 | #Constraints: 16188
55.16/55.34 c #Conflicts: 302000 | #Constraints: 17188
55.16/55.34 c #Conflicts: 303000 | #Constraints: 18189
55.16/55.34 c #Conflicts: 304000 | #Constraints: 19190
55.16/55.34 c #Conflicts: 305000 | #Constraints: 20190
55.16/55.34 c #Conflicts: 306000 | #Constraints: 21190
55.16/55.34 c #Conflicts: 307000 | #Constraints: 22190
55.16/55.34 c #Conflicts: 308000 | #Constraints: 23190
55.16/55.34 c #Conflicts: 309000 | #Constraints: 24190
55.16/55.34 c #Conflicts: 310000 | #Constraints: 25190
55.16/55.34 c INPROCESSING
55.16/55.34 c GARBAGE COLLECT
55.16/55.34 c rational objective 142.469
56.97/57.13 c #Conflicts: 311000 | #Constraints: 15177
56.97/57.13 c #Conflicts: 312000 | #Constraints: 16177
56.97/57.13 c #Conflicts: 313000 | #Constraints: 17178
56.97/57.13 c #Conflicts: 314000 | #Constraints: 18178
56.97/57.13 c #Conflicts: 315000 | #Constraints: 19180
56.97/57.13 c #Conflicts: 316000 | #Constraints: 20181
56.97/57.13 c #Conflicts: 317000 | #Constraints: 21181
56.97/57.13 c #Conflicts: 318000 | #Constraints: 22182
56.97/57.13 c #Conflicts: 319000 | #Constraints: 23182
56.97/57.13 c #Conflicts: 320000 | #Constraints: 24183
56.97/57.13 c #Conflicts: 321000 | #Constraints: 25185
56.97/57.13 c INPROCESSING
56.97/57.13 c GARBAGE COLLECT
56.97/57.13 WSVECS04 Frhs2[33]: 6 -48.0277 0 shouldn't be
56.97/57.13 WSVECS04 Frhs2[34]: 6 -48.0277 0 shouldn't be
56.97/57.13 WSVECS04 Frhs2[37]: 6 0 47.7747 shouldn't be
56.97/57.13 WSVECS04 Frhs2[39]: 6 -49.6944 0 shouldn't be
56.97/57.13 WSVECS04 Frhs2[60]: 6 0 141.111 shouldn't be
56.97/57.13 WSVECS04 Frhs2[116]: 6 0 28.1391 shouldn't be
56.97/57.13 WSVECS04 Frhs2[119]: 6 0 1.00003 shouldn't be
56.97/57.13 WSVECS04 Frhs2[122]: 6 0 47.361 shouldn't be
56.97/57.13 WSVECS04 Frhs2[140]: 6 0 5.84873 shouldn't be
56.97/57.13 WSVECS04 Frhs2[145]: 6 0 1.00002 shouldn't be
56.97/57.13 WSVECS04 Frhs2[156]: 6 0 0.333415 shouldn't be
56.97/57.13 WSVECS04 Frhs2[207]: 6 -0.178804 0 shouldn't be
56.97/57.13 WSVECS04 Frhs2[215]: 6 0 26.0139 shouldn't be
56.97/57.13 WSVECS04 Frhs2[282]: 6 0 0.333408 shouldn't be
56.97/57.13 WSVECS04 Frhs2[308]: 6 0 0.333418 shouldn't be
56.97/57.13 WSVECS04 Frhs2[370]: 6 0 0.0504663 shouldn't be
56.97/57.13 WSVECS04 Frhs2[427]: 6 0 2.00001 shouldn't be
56.97/57.13 WSVECS04 Frhs2[476]: 6 0 0.31847 shouldn't be
56.97/57.13 WSVECS04 Frhs2[519]: 6 0 0.487966 shouldn't be
56.97/57.13 WSVECS04 Frhs2[640]: 6 0 1.00002 shouldn't be
56.97/57.19 WSVECS04 Frhs2[33]: 6 -48.0276 0 shouldn't be
56.97/57.19 WSVECS04 Frhs2[34]: 6 -48.0276 0 shouldn't be
56.97/57.19 WSVECS04 Frhs2[36]: 6 0 1.96713 shouldn't be
56.97/57.19 WSVECS04 Frhs2[37]: 6 0 47.7746 shouldn't be
56.97/57.19 WSVECS04 Frhs2[39]: 6 -49.6943 0 shouldn't be
56.97/57.19 WSVECS04 Frhs2[56]: 6 0 0.333334 shouldn't be
56.97/57.19 WSVECS04 Frhs2[67]: 6 0 1 shouldn't be
56.97/57.19 WSVECS04 Frhs2[86]: 6 0 140.792 shouldn't be
56.97/57.19 WSVECS04 Frhs2[116]: 6 0 28.1391 shouldn't be
56.97/57.19 WSVECS04 Frhs2[119]: 6 0 1 shouldn't be
56.97/57.19 WSVECS04 Frhs2[122]: 6 0 47.361 shouldn't be
56.97/57.19 WSVECS04 Frhs2[125]: 6 0 0.970213 shouldn't be
56.97/57.19 WSVECS04 Frhs2[140]: 6 0 5.84869 shouldn't be
56.97/57.19 WSVECS04 Frhs2[149]: 6 0 1.33608 shouldn't be
56.97/57.19 WSVECS04 Frhs2[156]: 6 0 0.333334 shouldn't be
56.97/57.19 WSVECS04 Frhs2[183]: 6 0 0.101103 shouldn't be
56.97/57.19 WSVECS04 Frhs2[207]: 6 -0.178754 0 shouldn't be
56.97/57.19 WSVECS04 Frhs2[282]: 6 0 0.333333 shouldn't be
56.97/57.19 WSVECS04 Frhs2[313]: 6 0 0.122776 shouldn't be
56.97/57.19 WSVECS04 Frhs2[356]: 6 0 0.333334 shouldn't be
56.97/57.19 WSVECS04 Frhs2[370]: 6 0 0.0504198 shouldn't be
56.97/57.19 WSVECS04 Frhs2[407]: 6 0 0.333334 shouldn't be
56.97/57.19 WSVECS04 Frhs2[408]: 6 0 0.333334 shouldn't be
56.97/57.19 WSVECS04 Frhs2[447]: 6 0 1.05538 shouldn't be
56.97/57.19 WSVECS04 Frhs2[456]: 6 0 1.48977 shouldn't be
56.97/57.19 WSVECS04 Frhs2[514]: 6 0 0.333334 shouldn't be
57.76/57.99 c #Conflicts: 322000 | #Constraints: 14985
57.76/57.99 c #Conflicts: 323000 | #Constraints: 15985
57.76/57.99 c #Conflicts: 324000 | #Constraints: 16986
57.76/57.99 c #Conflicts: 325000 | #Constraints: 17986
57.76/57.99 c #Conflicts: 326000 | #Constraints: 18988
57.76/57.99 WSVECS04 Frhs2[408]: 6 0 1.88769 shouldn't be
58.35/58.58 c #Conflicts: 327000 | #Constraints: 19989
58.35/58.58 c #Conflicts: 328000 | #Constraints: 20990
58.35/58.58 c #Conflicts: 329000 | #Constraints: 21991
58.35/58.58 c #Conflicts: 330000 | #Constraints: 22991
58.35/58.58 WSVECS04 Frhs2[9]: 6 -12.8921 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[18]: 6 -12.8921 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[39]: 6 -729.925 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[40]: 6 -242.237 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[43]: 6 -2571.51 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[56]: 6 -2123.19 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[60]: 6 0 4.56431 shouldn't be
58.35/58.58 WSVECS04 Frhs2[66]: 6 0 138.673 shouldn't be
58.35/58.58 WSVECS04 Frhs2[84]: 6 0 20.2849 shouldn't be
58.35/58.58 WSVECS04 Frhs2[118]: 6 0 138.673 shouldn't be
58.35/58.58 WSVECS04 Frhs2[131]: 6 -720.366 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[168]: 6 0 1.72268 shouldn't be
58.35/58.58 WSVECS04 Frhs2[176]: 6 0 138.673 shouldn't be
58.35/58.58 WSVECS04 Frhs2[178]: 6 0 181.193 shouldn't be
58.35/58.58 WSVECS04 Frhs2[185]: 6 -466.676 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[189]: 6 -932.918 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[190]: 6 -101.984 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[236]: 6 -101.879 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[240]: 6 0 18.0032 shouldn't be
58.35/58.58 WSVECS04 Frhs2[244]: 6 0 69.3366 shouldn't be
58.35/58.58 WSVECS04 Frhs2[265]: 6 -2808.55 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[336]: 6 -299.361 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[340]: 6 0 13.1863 shouldn't be
58.35/58.58 WSVECS04 Frhs2[364]: 6 -1737.45 0 shouldn't be
58.35/58.58 WSVECS04 Frhs2[366]: 6 0 13.1863 shouldn't be
58.35/58.58 WSVECS04 Frhs2[381]: 6 0 138.673 shouldn't be
58.35/58.58 WSVECS04 Frhs2[385]: 6 0 1125.45 shouldn't be
58.35/58.58 WSVECS04 Frhs2[392]: 6 0 13.1863 shouldn't be
58.35/58.58 WSVECS04 Frhs2[410]: 6 0 138.673 shouldn't be
58.35/58.58 WSVECS04 Frhs2[433]: 6 0 138.673 shouldn't be
58.35/58.58 WSVECS04 Frhs2[435]: 6 0 3.57574 shouldn't be
58.35/58.58 WSVECS04 Frhs2[436]: 6 0 138.673 shouldn't be
58.35/58.58 WSVECS04 Frhs2[438]: 6 0 181.193 shouldn't be
58.35/58.58 WSVECS04 Frhs2[466]: 6 0 12.8921 shouldn't be
58.35/58.58 WSVECS04 Frhs2[538]: 6 0 169.1 shouldn't be
58.35/58.58 WSVECS04 Frhs2[660]: 6 0 69.3366 shouldn't be
58.35/58.58 WSVECS04 Frhs2[710]: 6 0 21.2643 shouldn't be
58.87/59.08 c #Conflicts: 331000 | #Constraints: 23992
58.87/59.08 c #Conflicts: 332000 | #Constraints: 24993
58.87/59.08 c #Conflicts: 333000 | #Constraints: 25995
58.87/59.08 c INPROCESSING
58.87/59.08 c GARBAGE COLLECT
58.87/59.08 WSVECS04 Frhs2[30]: 6 0 6.80253 shouldn't be
58.87/59.08 WSVECS04 Frhs2[33]: 6 -211.961 0 shouldn't be
58.87/59.08 WSVECS04 Frhs2[34]: 6 0 108.033 shouldn't be
58.87/59.08 WSVECS04 Frhs2[41]: 6 0 156.727 shouldn't be
58.87/59.08 WSVECS04 Frhs2[42]: 6 -484.459 0 shouldn't be
58.87/59.08 WSVECS04 Frhs2[66]: 6 0 178.577 shouldn't be
58.87/59.08 WSVECS04 Frhs2[92]: 6 0 178.577 shouldn't be
58.87/59.08 WSVECS04 Frhs2[126]: 6 0 67.0436 shouldn't be
58.87/59.08 WSVECS04 Frhs2[137]: 6 0 224.936 shouldn't be
58.87/59.08 WSVECS04 Frhs2[160]: 6 0 0.541912 shouldn't be
58.87/59.08 WSVECS04 Frhs2[162]: 6 0 108.791 shouldn't be
58.87/59.08 WSVECS04 Frhs2[183]: 6 0 0.110986 shouldn't be
58.87/59.08 WSVECS04 Frhs2[186]: 6 0 0.541876 shouldn't be
58.87/59.08 WSVECS04 Frhs2[206]: 6 0 376.117 shouldn't be
58.87/59.08 WSVECS04 Frhs2[208]: 6 0 150.028 shouldn't be
58.87/59.08 WSVECS04 Frhs2[212]: 6 0 0.541852 shouldn't be
58.87/59.08 WSVECS04 Frhs2[214]: 6 0 1.00002 shouldn't be
58.87/59.08 WSVECS04 Frhs2[232]: 6 0 376.117 shouldn't be
58.87/59.08 WSVECS04 Frhs2[265]: 6 0 88.6623 shouldn't be
58.87/59.08 WSVECS04 Frhs2[267]: 6 0 287.02 shouldn't be
58.87/59.08 WSVECS04 Frhs2[272]: 6 0 109.791 shouldn't be
58.87/59.08 WSVECS04 Frhs2[277]: 6 0 178.577 shouldn't be
58.87/59.08 WSVECS04 Frhs2[278]: 6 0 198.235 shouldn't be
58.87/59.08 WSVECS04 Frhs2[284]: 6 0 199.366 shouldn't be
58.87/59.08 WSVECS04 Frhs2[285]: 6 0 0.14147 shouldn't be
58.87/59.08 WSVECS04 Frhs2[288]: 6 0 166.581 shouldn't be
58.87/59.08 WSVECS04 Frhs2[332]: 6 0 72.5488 shouldn't be
58.87/59.08 WSVECS04 Frhs2[337]: 6 0 0.277283 shouldn't be
58.87/59.08 WSVECS04 Frhs2[339]: 6 0 105.794 shouldn't be
58.87/59.08 WSVECS04 Frhs2[364]: 6 0 116.666 shouldn't be
58.87/59.08 WSVECS04 Frhs2[381]: 6 0 178.577 shouldn't be
58.87/59.08 WSVECS04 Frhs2[386]: 6 0 167.702 shouldn't be
58.87/59.08 WSVECS04 Frhs2[407]: 6 0 178.577 shouldn't be
58.87/59.08 WSVECS04 Frhs2[436]: 6 0 125.563 shouldn't be
58.87/59.08 WSVECS04 Frhs2[443]: 6 0 0.110927 shouldn't be
58.87/59.08 WSVECS04 Frhs2[457]: 6 -0.414085 0 shouldn't be
58.87/59.08 WSVECS04 Frhs2[464]: 6 0 38.2885 shouldn't be
58.87/59.08 WSVECS04 Frhs2[473]: 6 0 0.16014 shouldn't be
58.87/59.08 WSVECS04 Frhs2[474]: 6 -0.991151 0 shouldn't be
58.87/59.08 WSVECS04 Frhs2[489]: 6 0 7.95151 shouldn't be
58.87/59.08 WSVECS04 Frhs2[508]: 6 0 178.577 shouldn't be
58.87/59.08 WSVECS04 Frhs2[539]: 6 0 4.46727 shouldn't be
58.87/59.08 WSVECS04 Frhs2[564]: 6 0 178.222 shouldn't be
58.87/59.08 WSVECS04 Frhs2[608]: 6 0 89.2887 shouldn't be
60.64/60.84 c #Conflicts: 334000 | #Constraints: 15590
60.64/60.84 c #Conflicts: 335000 | #Constraints: 16590
60.64/60.84 c #Conflicts: 336000 | #Constraints: 17591
60.64/60.84 c #Conflicts: 337000 | #Constraints: 18593
60.64/60.84 c #Conflicts: 338000 | #Constraints: 19594
60.64/60.84 c #Conflicts: 339000 | #Constraints: 20594
60.64/60.84 c #Conflicts: 340000 | #Constraints: 21594
60.64/60.84 c #Conflicts: 341000 | #Constraints: 22594
60.64/60.84 c #Conflicts: 342000 | #Constraints: 23594
60.64/60.84 c #Conflicts: 343000 | #Constraints: 24594
60.64/60.84 c #Conflicts: 344000 | #Constraints: 25595
60.64/60.84 c #Conflicts: 345000 | #Constraints: 26595
60.64/60.84 c INPROCESSING
60.64/60.84 c GARBAGE COLLECT
60.64/60.84 WSVECS04 Frhs2[30]: 6 0 12.4735 shouldn't be
60.64/60.84 WSVECS04 Frhs2[32]: 6 -11.6908 0 shouldn't be
60.64/60.84 WSVECS04 Frhs2[38]: 6 -11.7905 0 shouldn't be
60.64/60.84 WSVECS04 Frhs2[40]: 6 -16.1774 0 shouldn't be
60.64/60.84 WSVECS04 Frhs2[41]: 6 0 14.8955 shouldn't be
60.64/60.84 WSVECS04 Frhs2[42]: 6 -18.0867 0 shouldn't be
60.64/60.84 WSVECS04 Frhs2[95]: 6 0 9.58947 shouldn't be
60.64/60.84 WSVECS04 Frhs2[96]: 6 0 7.39604 shouldn't be
60.64/60.84 WSVECS04 Frhs2[116]: 6 -3.10134 0 shouldn't be
60.64/60.84 WSVECS04 Frhs2[121]: 6 0 9.58952 shouldn't be
60.64/60.84 WSVECS04 Frhs2[122]: 6 0 7.396 shouldn't be
60.64/60.84 WSVECS04 Frhs2[147]: 6 0 9.58951 shouldn't be
60.64/60.84 WSVECS04 Frhs2[153]: 6 0 0.333419 shouldn't be
60.64/60.84 WSVECS04 Frhs2[154]: 6 0 4.78485 shouldn't be
60.64/60.84 WSVECS04 Frhs2[181]: 6 0 8.38823 shouldn't be
60.64/60.84 WSVECS04 Frhs2[259]: 6 0 13.183 shouldn't be
60.64/60.84 WSVECS04 Frhs2[318]: 6 0 2.10128 shouldn't be
60.64/60.84 WSVECS04 Frhs2[319]: 6 0 9.58948 shouldn't be
60.64/60.84 WSVECS04 Frhs2[334]: 6 0 10.9159 shouldn't be
60.64/60.84 WSVECS04 Frhs2[346]: 6 0 5.77829 shouldn't be
60.64/60.84 WSVECS04 Frhs2[369]: 6 0 9.58949 shouldn't be
60.64/60.84 WSVECS04 Frhs2[381]: 6 0 9.58949 shouldn't be
60.64/60.84 WSVECS04 Frhs2[383]: 6 -1.38387 0 shouldn't be
60.64/60.84 WSVECS04 Frhs2[395]: 6 0 9.5895 shouldn't be
60.64/60.84 WSVECS04 Frhs2[396]: 6 0 1.64962 shouldn't be
60.64/60.84 WSVECS04 Frhs2[407]: 6 0 9.58949 shouldn't be
60.64/60.84 WSVECS04 Frhs2[420]: 6 -13.8842 0 shouldn't be
60.64/60.84 WSVECS04 Frhs2[445]: 6 0 7.3348 shouldn't be
60.64/60.84 WSVECS04 Frhs2[449]: 6 0 7.10698 shouldn't be
60.64/60.84 WSVECS04 Frhs2[456]: 6 0 9.58946 shouldn't be
60.64/60.84 WSVECS04 Frhs2[457]: 6 0 1.00001 shouldn't be
60.64/60.84 WSVECS04 Frhs2[464]: 6 0 10.9159 shouldn't be
60.64/60.84 WSVECS04 Frhs2[495]: 6 -12.6019 0 shouldn't be
60.64/60.84 WSVECS04 Frhs2[496]: 6 0 3.40041 shouldn't be
60.64/60.84 WSVECS04 Frhs2[497]: 6 0 5.29481 shouldn't be
60.64/60.84 WSVECS04 Frhs2[508]: 6 0 9.58945 shouldn't be
60.64/60.84 WSVECS04 Frhs2[521]: 6 0 0.191927 shouldn't be
60.64/60.84 WSVECS04 Frhs2[534]: 6 0 9.58946 shouldn't be
60.64/60.84 WSVECS04 Frhs2[544]: 6 0 6.90596 shouldn't be
60.75/60.93 WSVECS04 Frhs2[522]: 6 0 3.40039 shouldn't be
60.86/61.08 WSVECS04 Frhs2[32]: 6 -11.6907 0 shouldn't be
60.86/61.08 WSVECS04 Frhs2[40]: 6 -16.1773 0 shouldn't be
60.86/61.08 WSVECS04 Frhs2[42]: 6 -18.0867 0 shouldn't be
60.86/61.08 WSVECS04 Frhs2[96]: 6 0 7.39598 shouldn't be
60.86/61.08 WSVECS04 Frhs2[116]: 6 -3.10126 0 shouldn't be
60.86/61.08 WSVECS04 Frhs2[146]: 6 0 8.1733 shouldn't be
60.86/61.08 WSVECS04 Frhs2[181]: 6 0 8.38816 shouldn't be
60.86/61.08 WSVECS04 Frhs2[259]: 6 0 13.1829 shouldn't be
60.86/61.08 WSVECS04 Frhs2[381]: 6 0 9.58944 shouldn't be
60.86/61.08 WSVECS04 Frhs2[420]: 6 -13.8842 0 shouldn't be
60.86/61.08 WSVECS04 Frhs2[449]: 6 0 7.10693 shouldn't be
60.86/61.08 WSVECS04 Frhs2[452]: 6 0 2.80255 shouldn't be
60.86/61.08 WSVECS04 Frhs2[470]: 6 0 3.40037 shouldn't be
60.86/61.08 WSVECS04 Frhs2[496]: 6 0 3.40037 shouldn't be
60.86/61.08 WSVECS04 Frhs2[522]: 6 0 3.40037 shouldn't be
60.86/61.08 WSVECS04 Frhs2[534]: 6 0 9.58944 shouldn't be
60.86/61.08 WSVECS04 Frhs2[544]: 6 0 6.90595 shouldn't be
60.96/61.16 WSVECS04 Frhs2[457]: 6 0 1 shouldn't be
61.65/61.83 c #Conflicts: 346000 | #Constraints: 15986
61.65/61.83 c #Conflicts: 347000 | #Constraints: 16987
61.65/61.83 c #Conflicts: 348000 | #Constraints: 17988
61.65/61.83 c #Conflicts: 349000 | #Constraints: 18989
61.65/61.83 WSVECS04 Frhs2[11]: 6 -8.10466 0 shouldn't be
61.65/61.83 WSVECS04 Frhs2[12]: 6 -8.10466 0 shouldn't be
61.65/61.83 WSVECS04 Frhs2[15]: 6 -8.10466 0 shouldn't be
61.65/61.83 WSVECS04 Frhs2[18]: 6 -8.10466 0 shouldn't be
61.65/61.83 WSVECS04 Frhs2[26]: 6 0 3.7047 shouldn't be
61.65/61.83 WSVECS04 Frhs2[38]: 6 -64.8792 0 shouldn't be
61.65/61.83 WSVECS04 Frhs2[39]: 6 -98.3987 0 shouldn't be
61.65/61.83 WSVECS04 Frhs2[79]: 6 0 5.17633 shouldn't be
61.65/61.83 WSVECS04 Frhs2[110]: 6 0 3.82552 shouldn't be
61.65/61.83 WSVECS04 Frhs2[115]: 6 0 1 shouldn't be
61.65/61.83 WSVECS04 Frhs2[119]: 6 0 10.1497 shouldn't be
61.65/61.83 WSVECS04 Frhs2[129]: 6 0 36.8268 shouldn't be
61.65/61.83 WSVECS04 Frhs2[134]: 6 0 25.1141 shouldn't be
61.65/61.83 WSVECS04 Frhs2[139]: 6 0 32.5035 shouldn't be
61.65/61.83 WSVECS04 Frhs2[163]: 6 -51.1138 0 shouldn't be
61.65/61.83 WSVECS04 Frhs2[180]: 6 -32.0315 0 shouldn't be
61.65/61.83 WSVECS04 Frhs2[190]: 6 0 18.211 shouldn't be
61.65/61.83 WSVECS04 Frhs2[194]: 6 0 32.7986 shouldn't be
61.65/61.83 WSVECS04 Frhs2[211]: 6 0 38.0299 shouldn't be
61.65/61.83 WSVECS04 Frhs2[233]: 6 0 37.3889 shouldn't be
61.65/61.83 WSVECS04 Frhs2[264]: 6 0 20.3182 shouldn't be
61.65/61.83 WSVECS04 Frhs2[265]: 6 0 37.0084 shouldn't be
61.65/61.83 WSVECS04 Frhs2[279]: 6 0 1.06461 shouldn't be
61.65/61.83 WSVECS04 Frhs2[310]: 6 -76.8039 0 shouldn't be
61.65/61.83 WSVECS04 Frhs2[315]: 6 0 38.0299 shouldn't be
61.65/61.83 WSVECS04 Frhs2[339]: 6 0 36.1503 shouldn't be
61.65/61.83 WSVECS04 Frhs2[390]: 6 0 17.4921 shouldn't be
61.65/61.83 WSVECS04 Frhs2[437]: 6 0 4.49687 shouldn't be
61.65/61.83 WSVECS04 Frhs2[450]: 6 0 60.6194 shouldn't be
61.65/61.83 WSVECS04 Frhs2[463]: 6 0 4.49687 shouldn't be
61.65/61.83 WSVECS04 Frhs2[466]: 6 0 76.8039 shouldn't be
61.65/61.83 WSVECS04 Frhs2[484]: 6 0 1 shouldn't be
61.65/61.83 WSVECS04 Frhs2[553]: 6 0 0.586628 shouldn't be
61.65/61.83 WSVECS04 Frhs2[662]: 6 0 4.59332 shouldn't be
61.65/61.83 WSVECS04 Frhs2[706]: 6 0 19.5023 shouldn't be
61.65/61.83 WSVECS04 Frhs2[724]: 6 0 26.4434 shouldn't be
61.65/61.83 WSVECS04 Frhs2[730]: 6 0 4.75867 shouldn't be
61.65/61.83 WSVECS04 Frhs2[735]: 6 -45.5107 0 shouldn't be
61.65/61.83 WSVECS04 Frhs2[756]: 6 0 120.55 shouldn't be
62.65/62.88 c #Conflicts: 350000 | #Constraints: 19991
62.65/62.88 c #Conflicts: 351000 | #Constraints: 20991
62.65/62.88 c #Conflicts: 352000 | #Constraints: 21991
62.65/62.88 c #Conflicts: 353000 | #Constraints: 22992
62.65/62.88 c #Conflicts: 354000 | #Constraints: 23992
62.65/62.88 c #Conflicts: 355000 | #Constraints: 24993
62.65/62.88 WSVECS04 Frhs2[17]: 6 0 6.29751 shouldn't be
62.65/62.88 WSVECS04 Frhs2[30]: 6 0 32.6119 shouldn't be
62.65/62.88 WSVECS04 Frhs2[38]: 6 -17.5316 0 shouldn't be
62.65/62.88 WSVECS04 Frhs2[40]: 6 0 26.9026 shouldn't be
62.65/62.88 WSVECS04 Frhs2[44]: 6 0 53.3283 shouldn't be
62.65/62.88 WSVECS04 Frhs2[51]: 6 0 31.8197 shouldn't be
62.65/62.88 WSVECS04 Frhs2[54]: 6 0 51.6705 shouldn't be
62.65/62.88 WSVECS04 Frhs2[76]: 6 0 13.3293 shouldn't be
62.65/62.88 WSVECS04 Frhs2[79]: 6 -4.65636 0 shouldn't be
62.65/62.88 WSVECS04 Frhs2[84]: 6 -6.25624 0 shouldn't be
62.65/62.88 WSVECS04 Frhs2[103]: 6 0 6.88547 shouldn't be
62.65/62.88 WSVECS04 Frhs2[113]: 6 0 1.00009 shouldn't be
62.65/62.88 WSVECS04 Frhs2[129]: 6 0 6.88549 shouldn't be
62.65/62.88 WSVECS04 Frhs2[175]: 6 0 0.0986074 shouldn't be
62.65/62.88 WSVECS04 Frhs2[182]: 6 -13.3652 0 shouldn't be
62.65/62.88 WSVECS04 Frhs2[184]: 6 -0.520174 0 shouldn't be
62.65/62.88 WSVECS04 Frhs2[188]: 6 0 11.9442 shouldn't be
62.65/62.88 WSVECS04 Frhs2[214]: 6 0 11.9442 shouldn't be
62.65/62.88 WSVECS04 Frhs2[231]: 6 0 1.00008 shouldn't be
62.65/62.88 WSVECS04 Frhs2[266]: 6 0 12.9733 shouldn't be
62.65/62.88 WSVECS04 Frhs2[270]: 6 0 12.8955 shouldn't be
62.65/62.88 WSVECS04 Frhs2[277]: 6 0 8.09536 shouldn't be
62.65/62.88 WSVECS04 Frhs2[339]: 6 0 6.47361 shouldn't be
62.65/62.88 WSVECS04 Frhs2[370]: 6 0 1.03804 shouldn't be
62.65/62.88 WSVECS04 Frhs2[385]: 6 0 0.590048 shouldn't be
62.65/62.88 WSVECS04 Frhs2[392]: 6 -2.07614 0 shouldn't be
62.65/62.88 WSVECS04 Frhs2[431]: 6 0 0.414016 shouldn't be
62.65/62.88 WSVECS04 Frhs2[450]: 6 0 12.766 shouldn't be
62.65/62.88 WSVECS04 Frhs2[472]: 6 0 13.2744 shouldn't be
62.65/62.88 WSVECS04 Frhs2[473]: 6 0 0.160088 shouldn't be
62.65/62.88 WSVECS04 Frhs2[476]: 6 0 12.7661 shouldn't be
62.65/62.88 WSVECS04 Frhs2[491]: 6 0 1.00008 shouldn't be
62.65/62.88 WSVECS04 Frhs2[502]: 6 0 12.766 shouldn't be
62.65/62.88 WSVECS04 Frhs2[553]: 6 0 19.8544 shouldn't be
62.65/62.88 WSVECS04 Frhs2[573]: 6 0 0.598624 shouldn't be
62.65/62.88 WSVECS04 Frhs2[579]: 6 0 15.5114 shouldn't be
62.65/62.88 WSVECS04 Frhs2[580]: 6 0 6.71873 shouldn't be
62.65/62.88 WSVECS04 Frhs2[599]: 6 0 0.598581 shouldn't be
62.65/62.88 WSVECS04 Frhs2[631]: 6 0 9.02011 shouldn't be
62.65/62.88 WSVECS04 Frhs2[693]: 6 -10.7233 0 shouldn't be
62.65/62.88 WSVECS04 Frhs2[698]: 6 -4.12788 0 shouldn't be
62.65/62.88 WSVECS04 Frhs2[703]: 6 0 3.5728 shouldn't be
62.65/62.88 WSVECS04 Frhs2[710]: 6 -0.989414 0 shouldn't be
62.96/63.16 c #Conflicts: 356000 | #Constraints: 25995
62.96/63.16 c #Conflicts: 357000 | #Constraints: 26995
62.96/63.16 c INPROCESSING
62.96/63.16 c GARBAGE COLLECT
62.96/63.16 WSVECS04 Frhs2[11]: 6 -16.6922 0 shouldn't be
62.96/63.16 WSVECS04 Frhs2[86]: 6 0 0.127614 shouldn't be
62.96/63.16 WSVECS04 Frhs2[245]: 6 0 0.500001 shouldn't be
62.96/63.16 WSVECS04 Frhs2[337]: 6 0 1.27771 shouldn't be
62.96/63.16 WSVECS04 Frhs2[338]: 6 0 1.27355 shouldn't be
62.96/63.16 WSVECS04 Frhs2[362]: 6 0 2.48824 shouldn't be
62.96/63.16 WSVECS04 Frhs2[388]: 6 0 2.48824 shouldn't be
62.96/63.16 WSVECS04 Frhs2[446]: 6 -1.12445 0 shouldn't be
62.96/63.16 WSVECS04 Frhs2[515]: 6 0 30.9906 shouldn't be
62.96/63.16 WSVECS04 Frhs2[570]: 6 0 4.77661 shouldn't be
63.04/63.24 WSVECS04 Frhs2[8]: 6 0 6.10034 shouldn't be
63.04/63.24 WSVECS04 Frhs2[80]: 6 0 57.0281 shouldn't be
63.04/63.24 WSVECS04 Frhs2[106]: 6 0 57.0281 shouldn't be
63.04/63.24 WSVECS04 Frhs2[132]: 6 0 57.0281 shouldn't be
63.04/63.24 WSVECS04 Frhs2[134]: 6 -4.17848 0 shouldn't be
63.04/63.24 WSVECS04 Frhs2[253]: 6 0 0.828012 shouldn't be
63.04/63.24 WSVECS04 Frhs2[278]: 6 0 8.37037 shouldn't be
63.04/63.24 WSVECS04 Frhs2[404]: 6 0 40.2376 shouldn't be
63.04/63.24 WSVECS04 Frhs2[443]: 6 0 6.33092 shouldn't be
63.04/63.24 WSVECS04 Frhs2[597]: 6 0 17.0227 shouldn't be
63.04/63.24 WSVECS04 Frhs2[711]: 6 -1 0 shouldn't be
63.04/63.24 WSVECS04 Frhs2[722]: 6 0 1.4246 shouldn't be
65.54/65.78 c #Conflicts: 358000 | #Constraints: 16189
65.54/65.78 c #Conflicts: 359000 | #Constraints: 17189
65.54/65.78 c #Conflicts: 360000 | #Constraints: 18190
65.54/65.78 c #Conflicts: 361000 | #Constraints: 19191
65.54/65.78 c #Conflicts: 362000 | #Constraints: 20194
65.54/65.78 c #Conflicts: 363000 | #Constraints: 21194
65.54/65.78 c #Conflicts: 364000 | #Constraints: 22195
65.54/65.78 c #Conflicts: 365000 | #Constraints: 23196
65.54/65.78 c #Conflicts: 366000 | #Constraints: 24197
65.54/65.78 c #Conflicts: 367000 | #Constraints: 25197
65.54/65.78 c #Conflicts: 368000 | #Constraints: 26199
65.54/65.78 c #Conflicts: 369000 | #Constraints: 27201
65.54/65.78 c INPROCESSING
65.54/65.78 c GARBAGE COLLECT
65.54/65.78 c #Conflicts: 370000 | #Constraints: 16186
65.54/65.78 c #Conflicts: 371000 | #Constraints: 17186
65.54/65.78 WSVECS04 Frhs2[32]: 6 -4.31739 0 shouldn't be
65.54/65.78 WSVECS04 Frhs2[42]: 6 -7.58395 0 shouldn't be
65.54/65.78 WSVECS04 Frhs2[54]: 6 0 0.118983 shouldn't be
65.54/65.78 WSVECS04 Frhs2[58]: 6 0 0.989286 shouldn't be
65.54/65.78 WSVECS04 Frhs2[151]: 6 0 0.283957 shouldn't be
65.54/65.78 WSVECS04 Frhs2[152]: 6 0 0.333334 shouldn't be
65.54/65.78 WSVECS04 Frhs2[168]: 6 0 4.47006 shouldn't be
65.54/65.78 WSVECS04 Frhs2[180]: 6 -4.44089 0 shouldn't be
65.54/65.78 WSVECS04 Frhs2[185]: 6 -4.34325 0 shouldn't be
65.54/65.78 WSVECS04 Frhs2[230]: 6 0 0.326528 shouldn't be
65.54/65.78 WSVECS04 Frhs2[260]: 6 0 0.466117 shouldn't be
65.54/65.78 WSVECS04 Frhs2[268]: 6 0 7.91121 shouldn't be
65.54/65.78 WSVECS04 Frhs2[286]: 6 0 0.466118 shouldn't be
65.54/65.78 WSVECS04 Frhs2[338]: 6 0 0.268443 shouldn't be
65.54/65.78 WSVECS04 Frhs2[431]: 6 0 0.57312 shouldn't be
65.54/65.78 WSVECS04 Frhs2[438]: 6 0 0.333334 shouldn't be
65.54/65.78 WSVECS04 Frhs2[488]: 6 0 2.9306 shouldn't be
65.54/65.78 WSVECS04 Frhs2[634]: 6 0 1 shouldn't be
65.54/65.78 WSVECS04 Frhs2[684]: 6 0 7.93226 shouldn't be
65.54/65.78 WSVECS04 Frhs2[732]: 6 0 0.0220382 shouldn't be
65.54/65.78 WSVECS04 Frhs2[734]: 6 0 0.989286 shouldn't be
65.54/65.78 WSVECS04 Frhs2[735]: 6 -2.62224 0 shouldn't be
65.54/65.78 WSVECS04 Frhs2[737]: 6 0 0.124815 shouldn't be
65.54/65.78 WSVECS04 Frhs2[738]: 6 0 1 shouldn't be
65.64/65.84 WSVECS04 Frhs2[62]: 6 0 1 shouldn't be
65.64/65.84 WSVECS04 Frhs2[105]: 6 0 0.00286903 shouldn't be
65.64/65.84 WSVECS04 Frhs2[136]: 6 0 4.46818 shouldn't be
65.64/65.84 WSVECS04 Frhs2[147]: 6 0 0.428747 shouldn't be
65.64/65.84 WSVECS04 Frhs2[149]: 6 0 1 shouldn't be
65.64/65.84 WSVECS04 Frhs2[181]: 6 0 0.217092 shouldn't be
65.64/65.84 WSVECS04 Frhs2[236]: 6 -7.90964 0 shouldn't be
65.64/65.84 WSVECS04 Frhs2[240]: 6 0 0.00649454 shouldn't be
65.64/65.84 WSVECS04 Frhs2[254]: 6 0 1 shouldn't be
65.64/65.84 WSVECS04 Frhs2[281]: 6 0 0.283956 shouldn't be
65.64/65.84 WSVECS04 Frhs2[285]: 6 0 0.0388651 shouldn't be
65.64/65.84 WSVECS04 Frhs2[409]: 6 0 1 shouldn't be
65.64/65.84 WSVECS04 Frhs2[434]: 6 0 0.249257 shouldn't be
65.64/65.84 WSVECS04 Frhs2[457]: 6 0 0.271544 shouldn't be
65.64/65.84 WSVECS04 Frhs2[534]: 6 0 0.5 shouldn't be
65.64/65.84 WSVECS04 Frhs2[563]: 6 0 0.428747 shouldn't be
65.64/65.84 WSVECS04 Frhs2[584]: 6 0 4.47006 shouldn't be
65.64/65.84 WSVECS04 Frhs2[638]: 6 0 0.5 shouldn't be
67.13/67.36 c #Conflicts: 372000 | #Constraints: 18187
67.13/67.36 c #Conflicts: 373000 | #Constraints: 19187
67.13/67.36 c #Conflicts: 374000 | #Constraints: 20188
67.13/67.36 c #Conflicts: 375000 | #Constraints: 21189
67.13/67.36 c #Conflicts: 376000 | #Constraints: 22189
67.13/67.36 c #Conflicts: 377000 | #Constraints: 23189
67.13/67.36 c #Conflicts: 378000 | #Constraints: 24190
67.13/67.36 c #Conflicts: 379000 | #Constraints: 25190
67.13/67.36 c #Conflicts: 380000 | #Constraints: 26190
67.13/67.36 c #Conflicts: 381000 | #Constraints: 27191
67.13/67.36 c INPROCESSING
67.13/67.36 c GARBAGE COLLECT
67.13/67.36 WSVECS04 Frhs2[40]: 6 -113.905 0 shouldn't be
67.13/67.36 WSVECS04 Frhs2[168]: 6 0 115.17 shouldn't be
67.13/67.36 WSVECS04 Frhs2[424]: 6 0 228.446 shouldn't be
67.13/67.36 WSVECS04 Frhs2[460]: 6 0 120.648 shouldn't be
68.23/68.45 c #Conflicts: 382000 | #Constraints: 15980
68.23/68.45 c #Conflicts: 383000 | #Constraints: 16981
68.23/68.45 c #Conflicts: 384000 | #Constraints: 17981
68.23/68.45 c #Conflicts: 385000 | #Constraints: 18983
68.23/68.45 c #Conflicts: 386000 | #Constraints: 19987
68.23/68.45 c #Conflicts: 387000 | #Constraints: 20988
68.23/68.45 c #Conflicts: 388000 | #Constraints: 21989
68.23/68.45 WSVECS04 Frhs2[37]: 6 -4.07365 0 shouldn't be
68.23/68.45 WSVECS04 Frhs2[38]: 6 -6.55 0 shouldn't be
68.23/68.45 WSVECS04 Frhs2[39]: 6 -6.52639 0 shouldn't be
68.23/68.45 WSVECS04 Frhs2[41]: 6 -6.52639 0 shouldn't be
68.23/68.45 WSVECS04 Frhs2[57]: 6 -3.03337 0 shouldn't be
68.23/68.45 WSVECS04 Frhs2[67]: 6 0 1 shouldn't be
68.23/68.45 WSVECS04 Frhs2[68]: 6 0 0.333334 shouldn't be
68.23/68.45 WSVECS04 Frhs2[87]: 6 0 0.500001 shouldn't be
68.23/68.45 WSVECS04 Frhs2[113]: 6 0 0.5 shouldn't be
68.23/68.45 WSVECS04 Frhs2[120]: 6 0 0.333334 shouldn't be
68.23/68.45 WSVECS04 Frhs2[123]: 6 0 0.363618 shouldn't be
68.23/68.45 WSVECS04 Frhs2[131]: 6 0 0.0454274 shouldn't be
68.23/68.45 WSVECS04 Frhs2[156]: 6 -3.03337 0 shouldn't be
68.23/68.45 WSVECS04 Frhs2[163]: 6 -8.27291 0 shouldn't be
68.23/68.45 WSVECS04 Frhs2[166]: 6 0 3.03337 shouldn't be
68.23/68.45 WSVECS04 Frhs2[190]: 6 0 8.12233 shouldn't be
68.23/68.45 WSVECS04 Frhs2[236]: 6 -8.0484 0 shouldn't be
68.23/68.45 WSVECS04 Frhs2[278]: 6 0 6.52639 shouldn't be
68.23/68.45 WSVECS04 Frhs2[310]: 6 -7.54308 0 shouldn't be
68.23/68.45 WSVECS04 Frhs2[312]: 6 -4.05005 0 shouldn't be
68.23/68.45 WSVECS04 Frhs2[318]: 6 0 3.49303 shouldn't be
68.23/68.45 WSVECS04 Frhs2[339]: 6 0 3.74648 shouldn't be
68.23/68.45 WSVECS04 Frhs2[341]: 6 -2.01668 0 shouldn't be
68.23/68.45 WSVECS04 Frhs2[356]: 6 0 3.03337 shouldn't be
68.23/68.45 WSVECS04 Frhs2[358]: 6 0 3.03337 shouldn't be
68.23/68.45 WSVECS04 Frhs2[365]: 6 0 4.21265 shouldn't be
68.23/68.45 WSVECS04 Frhs2[382]: 6 0 4.05005 shouldn't be
68.23/68.45 WSVECS04 Frhs2[384]: 6 0 3.03337 shouldn't be
68.23/68.45 WSVECS04 Frhs2[392]: 6 -8.0484 0 shouldn't be
68.23/68.45 WSVECS04 Frhs2[406]: 6 0 0.333334 shouldn't be
68.23/68.45 WSVECS04 Frhs2[408]: 6 0 3.03337 shouldn't be
68.23/68.45 WSVECS04 Frhs2[539]: 6 0 0.363619 shouldn't be
68.23/68.45 WSVECS04 Frhs2[608]: 6 0 3.03337 shouldn't be
71.72/71.99 c #Conflicts: 389000 | #Constraints: 22989
71.72/71.99 c #Conflicts: 390000 | #Constraints: 23990
71.72/71.99 c #Conflicts: 391000 | #Constraints: 24990
71.72/71.99 c #Conflicts: 392000 | #Constraints: 25990
71.72/71.99 c #Conflicts: 393000 | #Constraints: 26991
71.72/71.99 c #Conflicts: 394000 | #Constraints: 27991
71.72/71.99 c INPROCESSING
71.72/71.99 c GARBAGE COLLECT
71.72/71.99 c #Conflicts: 395000 | #Constraints: 16586
71.72/71.99 c #Conflicts: 396000 | #Constraints: 17587
71.72/71.99 c #Conflicts: 397000 | #Constraints: 18587
71.72/71.99 c #Conflicts: 398000 | #Constraints: 19588
71.72/71.99 c #Conflicts: 399000 | #Constraints: 20588
71.72/71.99 c #Conflicts: 400000 | #Constraints: 21588
71.72/71.99 c #Conflicts: 401000 | #Constraints: 22588
71.72/71.99 c #Conflicts: 402000 | #Constraints: 23588
71.72/71.99 c #Conflicts: 403000 | #Constraints: 24589
71.72/71.99 c #Conflicts: 404000 | #Constraints: 25589
71.72/71.99 c #Conflicts: 405000 | #Constraints: 26590
71.72/71.99 c #Conflicts: 406000 | #Constraints: 27591
71.72/71.99 c #Conflicts: 407000 | #Constraints: 28591
71.72/71.99 c INPROCESSING
71.72/71.99 c GARBAGE COLLECT
71.72/71.99 c #Conflicts: 408000 | #Constraints: 16985
71.72/71.99 c #Conflicts: 409000 | #Constraints: 17985
71.72/71.99 c #Conflicts: 410000 | #Constraints: 18986
71.72/71.99 c #Conflicts: 411000 | #Constraints: 19986
71.72/71.99 WSVECS04 Frhs2[45]: 6 0 83.2768 shouldn't be
71.72/71.99 WSVECS04 Frhs2[70]: 6 0 95.0106 shouldn't be
71.72/71.99 WSVECS04 Frhs2[82]: 6 0 32.943 shouldn't be
71.72/71.99 WSVECS04 Frhs2[107]: 6 0 69.3673 shouldn't be
71.72/71.99 WSVECS04 Frhs2[118]: 6 0 74.4556 shouldn't be
71.72/71.99 WSVECS04 Frhs2[133]: 6 0 69.3673 shouldn't be
71.72/71.99 WSVECS04 Frhs2[134]: 6 0 34.9338 shouldn't be
71.72/71.99 WSVECS04 Frhs2[135]: 6 0 140.615 shouldn't be
71.72/71.99 WSVECS04 Frhs2[137]: 6 0 86.8438 shouldn't be
71.72/71.99 WSVECS04 Frhs2[144]: 6 0 74.4555 shouldn't be
71.72/71.99 WSVECS04 Frhs2[146]: 6 0 0.333369 shouldn't be
71.72/71.99 WSVECS04 Frhs2[150]: 6 0 74.4555 shouldn't be
71.72/71.99 WSVECS04 Frhs2[154]: 6 0 119.706 shouldn't be
71.72/71.99 WSVECS04 Frhs2[157]: 6 0 94.3853 shouldn't be
71.72/71.99 WSVECS04 Frhs2[158]: 6 0 17.0652 shouldn't be
71.72/71.99 WSVECS04 Frhs2[168]: 6 0 6.13915 shouldn't be
71.72/71.99 WSVECS04 Frhs2[184]: 6 0 17.0652 shouldn't be
71.72/71.99 WSVECS04 Frhs2[218]: 6 0 24.8186 shouldn't be
71.72/71.99 WSVECS04 Frhs2[234]: 6 0 133.81 shouldn't be
71.72/71.99 WSVECS04 Frhs2[269]: 6 -85.3871 0 shouldn't be
71.72/71.99 WSVECS04 Frhs2[318]: 6 0 5.4456 shouldn't be
71.72/71.99 WSVECS04 Frhs2[320]: 6 0 8.55649 shouldn't be
71.72/71.99 WSVECS04 Frhs2[370]: 6 0 0.333365 shouldn't be
71.72/71.99 WSVECS04 Frhs2[419]: 6 0 104.017 shouldn't be
71.72/71.99 WSVECS04 Frhs2[422]: 6 0 0.333359 shouldn't be
71.72/71.99 WSVECS04 Frhs2[423]: 6 0 109.237 shouldn't be
71.72/71.99 WSVECS04 Frhs2[424]: 6 0 32.476 shouldn't be
71.72/71.99 WSVECS04 Frhs2[428]: 6 0 6.13911 shouldn't be
71.72/71.99 WSVECS04 Frhs2[430]: 6 0 74.4556 shouldn't be
71.72/71.99 WSVECS04 Frhs2[431]: 6 0 5.17692 shouldn't be
71.72/71.99 WSVECS04 Frhs2[432]: 6 0 0.333349 shouldn't be
71.72/71.99 WSVECS04 Frhs2[433]: 6 0 74.4556 shouldn't be
71.72/71.99 WSVECS04 Frhs2[434]: 6 0 79.6164 shouldn't be
71.72/71.99 WSVECS04 Frhs2[435]: 6 0 4.28213 shouldn't be
71.72/71.99 WSVECS04 Frhs2[436]: 6 0 74.4555 shouldn't be
71.72/71.99 WSVECS04 Frhs2[438]: 6 0 68.3972 shouldn't be
71.72/71.99 WSVECS04 Frhs2[443]: 6 0 100.217 shouldn't be
71.72/71.99 WSVECS04 Frhs2[445]: 6 0 70.6741 shouldn't be
71.72/71.99 WSVECS04 Frhs2[459]: 6 0 74.4556 shouldn't be
71.72/71.99 WSVECS04 Frhs2[470]: 6 0 49.4975 shouldn't be
71.72/71.99 WSVECS04 Frhs2[472]: 6 0 3.48392 shouldn't be
71.72/71.99 WSVECS04 Frhs2[478]: 6 0 24.8186 shouldn't be
71.72/71.99 WSVECS04 Frhs2[483]: 6 0 40.148 shouldn't be
71.72/71.99 WSVECS04 Frhs2[484]: 6 0 0.333407 shouldn't be
71.72/71.99 WSVECS04 Frhs2[485]: 6 0 74.4556 shouldn't be
71.72/71.99 WSVECS04 Frhs2[490]: 6 0 48.3367 shouldn't be
71.72/71.99 WSVECS04 Frhs2[496]: 6 0 32.4323 shouldn't be
71.72/71.99 WSVECS04 Frhs2[509]: 6 0 40.148 shouldn't be
71.72/71.99 WSVECS04 Frhs2[520]: 6 0 133.81 shouldn't be
71.72/71.99 WSVECS04 Frhs2[522]: 6 0 76.6097 shouldn't be
71.72/71.99 WSVECS04 Frhs2[545]: 6 0 83.0526 shouldn't be
71.72/71.99 WSVECS04 Frhs2[570]: 6 0 152.952 shouldn't be
71.72/71.99 WSVECS04 Frhs2[597]: 6 0 118.675 shouldn't be
71.72/71.99 WSVECS04 Frhs2[622]: 6 0 30.0471 shouldn't be
71.72/71.99 WSVECS04 Frhs2[672]: 6 0 48.8054 shouldn't be
71.72/71.99 WSVECS04 Frhs2[709]: 6 0 86.8438 shouldn't be
71.72/71.99 WSVECS04 Frhs2[720]: 6 0 170.596 shouldn't be
71.72/71.99 WSVECS04 Frhs2[722]: 6 0 74.4556 shouldn't be
72.12/72.38 c #Conflicts: 412000 | #Constraints: 20987
72.12/72.38 c #Conflicts: 413000 | #Constraints: 21987
72.12/72.38 c cpu time 69.1153 s
72.12/72.38 c deterministic time 2153986012 2.15e+09
72.12/72.38 c optimization time 0.00012 s
72.12/72.38 c total solve time 69.0956 s
72.12/72.38 c core-guided solve time 0 s
72.12/72.38 c propagation time 41.8011 s
72.12/72.38 c conflict analysis time 8.4958 s
72.12/72.38 c propagations 49958167
72.12/72.38 c resolve steps 7345336
72.12/72.38 c decisions 511415
72.12/72.38 c conflicts 413716
72.12/72.38 c restarts 1018
72.12/72.38 c inprocessing phases 55
72.12/72.38 c input clauses 3538
72.12/72.38 c input cardinalities 3
72.12/72.38 c input general constraints 0
72.12/72.38 c input average constraint length 3.21
72.12/72.38 c input average constraint degree 1.01
72.12/72.38 c learned clauses 381633
72.12/72.38 c learned cardinalities 14422
72.12/72.38 c learned general constraints 18023
72.12/72.38 c learned average constraint length 44.53
72.12/72.38 c learned average constraint degree 9678456.69
72.12/72.38 c watched constraints 17023
72.12/72.38 c counting constraints 1000
72.12/72.38 c gcd simplifications 274
72.12/72.38 c detected cardinalities 296
72.12/72.38 c weakened non-implied lits 577585
72.12/72.38 c weakened non-implying lits 696
72.12/72.38 c original variables 756
72.12/72.38 c clausal propagations 48406209
72.12/72.38 c cardinality propagations 849328
72.12/72.38 c watched propagations 186423
72.12/72.38 c counting propagations 89681
72.12/72.38 c watch lookups 610863152
72.12/72.38 c watch backjump lookups 40673827
72.12/72.38 c watch checks 1269297776
72.12/72.38 c propagation checks 76570096
72.12/72.38 c constraint additions 54629211
72.12/72.38 c trail pops 50883098
72.12/72.38 c formula constraints 3541
72.12/72.38 c learned constraints 413699
72.12/72.38 c bound constraints 0
72.12/72.38 c core-guided constraints 0
72.12/72.38 c encountered formula constraints 5945084
72.12/72.38 c encountered learned constraints 1813908
72.12/72.38 c encountered bound constraints 0
72.12/72.38 c encountered core-guided constraints 0
72.12/72.38 c LP total time 35.7956 s
72.12/72.38 c LP solve time 33.65 s
72.12/72.38 c LP constraints added 3767
72.12/72.38 c LP constraints removed 184
72.12/72.38 c LP pivots internal 414193
72.12/72.38 c LP pivots root 185076
72.12/72.38 c LP calls 561
72.12/72.38 c LP optimalities 84
72.12/72.38 c LP no pivot count 0
72.12/72.38 c LP infeasibilities 359
72.12/72.38 c LP valid Farkas constraints 352
72.12/72.38 c LP learned Farkas constraints 16
72.12/72.38 c LP basis resets 121
72.12/72.38 c LP cycling count 0
72.12/72.38 c LP singular count 113
72.12/72.38 c LP no primal count 0
72.12/72.38 c LP no farkas count 7
72.12/72.38 c LP other issue count 1
72.12/72.38 c LP Gomory cuts 11
72.12/72.38 c LP learned cuts 215
72.12/72.38 c LP deleted cuts 184
72.12/72.38 c LP encountered Gomory constraints 0
72.12/72.38 c LP encountered Farkas constraints 34
72.12/72.38 c LP encountered learned Farkas constraints 10
72.12/72.38 c CG auxiliary variables introduced 0
72.12/72.38 c CG solutions found 0
72.12/72.38 c CG cores constructed 0
72.12/72.38 c CG core cardinality constraints returned 0
72.12/72.38 c CG unit cores 0
72.12/72.38 c CG single cores 0
72.12/72.38 c CG blocks removed during cardinality reduction 0
72.12/72.38 c CG first core best 0
72.12/72.38 c CG decision core best 0
72.12/72.38 c CG core reduction tie 0
72.12/72.38 c CG core degree average 0.00
72.12/72.38 c CG core slack average 0.00
72.12/72.38 o 0
72.12/72.38 s OPTIMUM FOUND
72.12/72.38 v -x1 -x2 -x3 -x4 -x5 x6 -x7 x8 -x9 x10 -x11 x12 -x13 x14 -x15 x16 -x17 x18 -x19 x20 -x21 x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 x56 -x57 x58 -x59 x60 -x61 x62 -x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 -x81 x82 -x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 x754 x755 x756
FAILED
ERROR: unsatisfied constraint on line 7
10=20
Falsified constraint is:
+1*x1[=0] +1*x2[=0] +1*x3[=0] +1*x4[=0] +1*x5[=0] +1*x6[=1] +1*x7[=0] +1*x8[=1] +1*x9[=0] +1*x10[=1] +1*x11[=0] +1*x12[=1] +1*x13[=0] +1*x14[=1] +1*x15[=0] +1*x16[=1] +1*x17[=0] +1*x18[=1] +1*x19[=0] +1*x20[=1] +1*x21[=0] +1*x22[=1] +1*x23[=0] +1*x24[=0] +1*x25[=1] +1*x26[=0] +1*x27[=0] = 20
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: 64059 MiB (62688 MiB free)
memory of node 1: 64510 MiB (63003 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452030-1721430122/watcher-4452030-1721430122 -o /tmp/evaluation-result-4452030-1721430122/solver-4452030-1721430122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721424262-1023293 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4452030-1721430122.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1028808, runsolver pid=1028805
[startup+0.100665 s]*
/proc/loadavg: 4.11 4.13 4.16 5/244 1028809
/proc/meminfo: memFree=128704608/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=39840 memory=9748 CPUtime=0.1 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 1216 0 0 0 9 1 0 0 20 0 1 0 195171747 40796160 2437 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 9960 2437 1694 922 0 1912 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 9748 KiB
[startup+0.213012 s]*
/proc/loadavg: 4.11 4.13 4.16 5/244 1028809
/proc/meminfo: memFree=128704200/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=40164 memory=10276 CPUtime=0.21 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 1305 0 0 0 20 1 0 0 20 0 1 0 195171747 41127936 2569 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 10041 2569 1694 922 0 1993 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40164 KiB
Current children cumulated memory: 10276 KiB
[startup+0.313021 s]*
/proc/loadavg: 4.11 4.13 4.16 5/244 1028809
/proc/meminfo: memFree=128703556/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=40424 memory=12700 CPUtime=0.31 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 1375 0 0 0 28 3 0 0 20 0 1 0 195171747 41394176 3175 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 10106 3175 1724 922 0 2058 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40424 KiB
Current children cumulated memory: 12700 KiB
[startup+0.700324 s]
/proc/loadavg: 4.11 4.13 4.16 5/244 1028809
/proc/meminfo: memFree=128701396/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=40424 memory=12700 CPUtime=0.68 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 1381 0 0 0 62 6 0 0 20 0 1 0 195171747 41394176 3175 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 10106 3175 1724 922 0 2058 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40424 KiB
Current children cumulated memory: 12700 KiB
[startup+1.50033 s]
/proc/loadavg: 4.11 4.13 4.16 5/244 1028809
/proc/meminfo: memFree=128701396/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=40424 memory=12700 CPUtime=1.48 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 1381 0 0 0 138 10 0 0 20 0 1 0 195171747 41394176 3175 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 10106 3175 1724 922 0 2058 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40424 KiB
Current children cumulated memory: 12700 KiB
[startup+3.11276 s]
/proc/loadavg: 4.10 4.13 4.16 5/244 1028809
/proc/meminfo: memFree=128701016/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=40872 memory=13280 CPUtime=3.08 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 1462 0 0 0 292 16 0 0 20 0 1 0 195171747 41852928 3320 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 10218 3320 1810 922 0 2170 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40872 KiB
Current children cumulated memory: 13280 KiB
[startup+6.30031 s]
/proc/loadavg: 4.10 4.13 4.16 5/244 1028810
/proc/meminfo: memFree=128698804/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=43052 memory=15436 CPUtime=6.27 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 2076 0 0 0 597 30 0 0 20 0 1 0 195171747 44085248 3859 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 10763 3859 1810 922 0 2715 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43052 KiB
Current children cumulated memory: 15436 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.12 4.15 5/244 1028810
/proc/meminfo: memFree=128696316/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=44120 memory=16488 CPUtime=12.65 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 2397 0 0 0 1207 58 0 0 20 0 1 0 195171747 45178880 4122 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 11030 4122 1826 922 0 2982 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 44120 KiB
Current children cumulated memory: 16488 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.12 4.15 5/244 1028814
/proc/meminfo: memFree=128695072/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=45000 memory=18020 CPUtime=25.43 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 3225 0 0 0 2435 108 0 0 20 0 1 0 195171747 46080000 4505 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 11250 4505 1955 922 0 3202 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 45000 KiB
Current children cumulated memory: 18020 KiB
[startup+51.1128 s]
/proc/loadavg: 4.11 4.12 4.15 5/244 1028817
/proc/meminfo: memFree=128688492/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=46332 memory=21232 CPUtime=50.98 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 3899 0 0 0 4875 223 0 0 20 0 1 0 195171747 47443968 5308 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 11583 5308 1955 922 0 3535 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 46332 KiB
Current children cumulated memory: 21232 KiB
[startup+72.3894 s]
# the end of solver process 1028808 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=69.1183 s, system=3.10393 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 4.11 4.12 4.15 5/244 1028817
/proc/meminfo: memFree=128688492/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=46332 memory=21232 CPUtime=51.07 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 3899 0 0 0 4883 224 0 0 20 0 1 0 195171747 47443968 5308 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 11583 5308 1955 922 0 3535 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 46332 KiB
Current children cumulated memory: 21232 KiB
[startup+64.0003 s]*
/proc/loadavg: 4.08 4.12 4.15 5/244 1028821
/proc/meminfo: memFree=128686588/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=46840 memory=21872 CPUtime=63.85 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 4193 0 0 0 6110 275 0 0 20 0 1 0 195171747 47964160 5468 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 11710 5468 1955 922 0 3662 0
Current children cumulated CPU time: 63.85 s
Current children cumulated vsize: 46840 KiB
Current children cumulated memory: 21872 KiB
[startup+67.2003 s]
/proc/loadavg: 4.08 4.12 4.15 5/244 1028821
/proc/meminfo: memFree=128686592/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=46840 memory=21872 CPUtime=67.03 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 4195 0 0 0 6414 289 0 0 20 0 1 0 195171747 47964160 5468 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 11710 5468 1955 922 0 3662 0
Current children cumulated CPU time: 67.03 s
Current children cumulated vsize: 46840 KiB
Current children cumulated memory: 21872 KiB
[startup+70.4003 s]
/proc/loadavg: 4.07 4.11 4.15 5/244 1028821
/proc/meminfo: memFree=128684700/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=46840 memory=21872 CPUtime=70.23 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 4221 0 0 0 6720 303 0 0 20 0 1 0 195171747 47964160 5468 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 11710 5468 1955 922 0 3662 0
Current children cumulated CPU time: 70.23 s
Current children cumulated vsize: 46840 KiB
Current children cumulated memory: 21872 KiB
[startup+71.2003 s]
/proc/loadavg: 4.07 4.11 4.15 5/244 1028821
/proc/meminfo: memFree=128684536/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=46840 memory=21872 CPUtime=71.03 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 4221 0 0 0 6797 306 0 0 20 0 1 0 195171747 47964160 5468 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 11710 5468 1955 922 0 3662 0
Current children cumulated CPU time: 71.03 s
Current children cumulated vsize: 46840 KiB
Current children cumulated memory: 21872 KiB
[startup+72.0003 s]*
/proc/loadavg: 4.07 4.11 4.15 5/244 1028821
/proc/meminfo: memFree=128684564/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=49560 memory=22104 CPUtime=71.84 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 4234 0 0 0 6875 309 0 0 20 0 1 0 195171747 50749440 5526 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 12390 5526 1955 922 0 4342 0
Current children cumulated CPU time: 71.84 s
Current children cumulated vsize: 49560 KiB
Current children cumulated memory: 22104 KiB
[startup+72.2003 s]
/proc/loadavg: 4.07 4.11 4.15 5/244 1028821
/proc/meminfo: memFree=128684564/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=49560 memory=22104 CPUtime=72.02 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 4234 0 0 0 6893 309 0 0 20 0 1 0 195171747 50749440 5526 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 12390 5526 1955 922 0 4342 0
Current children cumulated CPU time: 72.02 s
Current children cumulated vsize: 49560 KiB
Current children cumulated memory: 22104 KiB
[startup+72.3003 s]
/proc/loadavg: 4.07 4.11 4.15 5/244 1028821
/proc/meminfo: memFree=128684564/131655788 swapFree=131071996/131071996
[pid=1028808] ppid=1028805 vsize=49560 memory=22104 CPUtime=72.12 cores=4,6
/proc/1028808/stat : 1028808 (roundingsat) R 1028805 1028808 1023282 0 -1 4194304 4234 0 0 0 6903 309 0 0 20 0 1 0 195171747 50749440 5526 134679101440 4194304 7968869 140722878199216 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 25153536 140722878206908 140722878207072 140722878207072 140722878214089 0
/proc/1028808/statm: 12390 5526 1955 922 0 4342 0
Current children cumulated CPU time: 72.12 s
Current children cumulated vsize: 49560 KiB
Current children cumulated memory: 22104 KiB
Child status: 0
Real time (s): 72.3894
CPU time (s): 72.2223
CPU user time (s): 69.1183
CPU system time (s): 3.10393
CPU usage (%): 99.7691
Max. virtual memory (cumulated for all children) (KiB): 49560
Max. memory (cumulated for all children) (KiB): 22104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.1183
system time used= 3.10393
maximum resident set size= 22392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4242
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= 4
involuntary context switches= 85
# summary of solver processes directly reported to runsolver:
# pid: 1028808
# total CPU time (s): 72.2223
# total CPU user time (s): 69.1183
# total CPU system time (s): 3.10393
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.377455 second user time and 0.769025 second system time
The end
Begin job on nodeC009 at 2024-07-20 01:02:13
IDJOB=4452030
IDBENCH=162873
IDSOLVER=3051
FILE ID=nodeC009/4452030-1721430122
RUNJOBID= nodeC009-1721424262-1023293
SLURM_JOB_ID= 7545613
Free space on /tmp= 723744 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-4452030-1721430122/watcher-4452030-1721430122 -o /tmp/evaluation-result-4452030-1721430122/solver-4452030-1721430122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721424262-1023293 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4452030-1721430122.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e9c3493a278c61b5f4e5e80a3fb48e99
RANDOM SEED=301728857
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3657.540
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3656.325
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.506
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.467
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.322
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3656.326
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.326
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.441
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128708592 kB
MemAvailable: 129621524 kB
Buffers: 582088 kB
Cached: 1175444 kB
SwapCached: 0 kB
Active: 1135448 kB
Inactive: 1259172 kB
Active(anon): 1452 kB
Inactive(anon): 681516 kB
Active(file): 1133996 kB
Inactive(file): 577656 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 5532 kB
Writeback: 0 kB
AnonPages: 635184 kB
Mapped: 117380 kB
Shmem: 45892 kB
KReclaimable: 82624 kB
Slab: 183580 kB
SReclaimable: 82624 kB
SUnreclaim: 100956 kB
KernelStack: 3840 kB
PageTables: 10428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1023828 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61184 kB
HardwareCorrupted: 0 kB
AnonHugePages: 481280 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723736 MiB
End job on nodeC009 at 2024-07-20 01:03:26