0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.40/0.52 c #variables 4437 #constraints 40924
13.73/13.90 c #Conflicts: 1000 | #Constraints: 41923
13.73/13.90 c #Conflicts: 2000 | #Constraints: 42923
13.73/13.90 c INPROCESSING
13.73/13.90 c #Conflicts: 3000 | #Constraints: 42930
13.73/13.90 c #Conflicts: 4000 | #Constraints: 43930
13.73/13.90 c INPROCESSING
13.73/13.90 c #Conflicts: 5000 | #Constraints: 43333
13.73/13.90 c #Conflicts: 6000 | #Constraints: 44333
13.73/13.90 c INPROCESSING
13.73/13.90 c GARBAGE COLLECT
13.73/13.90 c #Conflicts: 7000 | #Constraints: 43339
13.73/13.90 c #Conflicts: 8000 | #Constraints: 44339
13.73/13.90 c #Conflicts: 9000 | #Constraints: 45339
13.73/13.90 c INPROCESSING
13.73/13.90 c #Conflicts: 10000 | #Constraints: 44038
13.73/13.90 c #Conflicts: 11000 | #Constraints: 45038
13.73/13.90 c #Conflicts: 12000 | #Constraints: 46038
13.73/13.90 c INPROCESSING
13.73/13.90 c GARBAGE COLLECT
13.73/13.90 c #Conflicts: 13000 | #Constraints: 44490
13.73/13.90 c #Conflicts: 14000 | #Constraints: 45490
13.73/13.90 c #Conflicts: 15000 | #Constraints: 46490
13.73/13.90 c INPROCESSING
13.73/13.90 c #Conflicts: 16000 | #Constraints: 44719
13.73/13.90 c #Conflicts: 17000 | #Constraints: 45719
13.73/13.90 c #Conflicts: 18000 | #Constraints: 46719
13.73/13.90 c INPROCESSING
13.73/13.90 c GARBAGE COLLECT
13.73/13.90 c #Conflicts: 19000 | #Constraints: 44728
13.73/13.90 c #Conflicts: 20000 | #Constraints: 45728
13.73/13.90 c #Conflicts: 21000 | #Constraints: 46728
13.73/13.90 c INPROCESSING
13.73/13.90 c GARBAGE COLLECT
13.73/13.90 c #Conflicts: 22000 | #Constraints: 44536
13.73/13.90 c #Conflicts: 23000 | #Constraints: 45536
13.73/13.90 c #Conflicts: 24000 | #Constraints: 46536
13.73/13.90 c #Conflicts: 25000 | #Constraints: 47536
13.73/13.90 c INPROCESSING
13.73/13.90 c GARBAGE COLLECT
13.73/13.90 c #Conflicts: 26000 | #Constraints: 45141
13.73/13.90 c #Conflicts: 27000 | #Constraints: 46141
13.73/13.90 c #Conflicts: 28000 | #Constraints: 47141
13.73/13.90 c #Conflicts: 29000 | #Constraints: 48141
13.73/13.90 c INPROCESSING
13.73/13.90 c GARBAGE COLLECT
13.73/13.90 c #Conflicts: 30000 | #Constraints: 45539
13.73/13.90 c #Conflicts: 31000 | #Constraints: 46539
13.73/13.90 c #Conflicts: 32000 | #Constraints: 47539
13.73/13.90 c #Conflicts: 33000 | #Constraints: 48539
13.73/13.90 c INPROCESSING
13.73/13.90 c GARBAGE COLLECT
13.73/13.90 c #Conflicts: 34000 | #Constraints: 45738
13.73/13.90 c #Conflicts: 35000 | #Constraints: 46738
13.73/13.90 c #Conflicts: 36000 | #Constraints: 47738
13.73/13.90 c #Conflicts: 37000 | #Constraints: 48738
13.73/13.90 c INPROCESSING
13.73/13.90 c GARBAGE COLLECT
13.73/13.90 c #Conflicts: 38000 | #Constraints: 45742
13.73/13.90 c #Conflicts: 39000 | #Constraints: 46742
13.73/13.90 c #Conflicts: 40000 | #Constraints: 47742
13.73/13.90 c #Conflicts: 41000 | #Constraints: 48742
13.73/13.90 c INPROCESSING
13.73/13.90 c GARBAGE COLLECT
13.73/13.90 c #Conflicts: 42000 | #Constraints: 45546
13.73/13.90 c #Conflicts: 43000 | #Constraints: 46546
13.73/13.90 c #Conflicts: 44000 | #Constraints: 47546
13.73/13.90 c #Conflicts: 45000 | #Constraints: 48546
13.73/13.90 c #Conflicts: 46000 | #Constraints: 49546
13.73/13.90 c INPROCESSING
13.73/13.90 c GARBAGE COLLECT
13.73/13.90 c #Conflicts: 47000 | #Constraints: 46145
13.73/13.90 c #Conflicts: 48000 | #Constraints: 47145
13.73/13.90 c #Conflicts: 49000 | #Constraints: 48145
13.73/13.90 c #Conflicts: 50000 | #Constraints: 49145
13.73/13.90 c #Conflicts: 51000 | #Constraints: 50145
13.73/13.90 c INPROCESSING
13.73/13.90 c GARBAGE COLLECT
13.73/13.90 WSVECS04 Frhs2[3]: 6 -5.22759 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[8]: 6 -4.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[9]: 6 -5.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[13]: 6 -21.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[15]: 6 -5.25002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[18]: 6 -3.25007 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[26]: 6 -3.00007 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[33]: 6 -4.75002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[36]: 6 -4.02317 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[40]: 6 -3.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[45]: 6 -2.16334 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[47]: 6 -4.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[50]: 6 -12.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[55]: 6 -97.0713 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[70]: 6 -7.44669 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[100]: 6 -5.81332 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[111]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[113]: 6 -4.72759 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[116]: 6 -3.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[117]: 6 -6.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[118]: 6 -6.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[120]: 6 -7.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[121]: 6 -4.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[122]: 6 -7.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[123]: 6 -6.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[126]: 6 -5.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[146]: 6 -13.5232 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[154]: 6 -10 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[155]: 6 -12.4133 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[163]: 6 -13 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[164]: 6 -7.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[165]: 6 -100.821 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[166]: 6 -11.1339 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[171]: 6 -11.2481 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[220]: 6 -109.788 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[221]: 6 -5.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[224]: 6 -5.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[227]: 6 -10 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[228]: 6 -14 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[229]: 6 -7.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[231]: 6 -8.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[232]: 6 -6.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[233]: 6 -7.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[235]: 6 -10.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[248]: 6 -7.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[255]: 6 -7.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[256]: 6 -8.52317 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[263]: 6 -8.00001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[264]: 6 -15.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[265]: 6 -2.41338 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[272]: 6 -9.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[275]: 6 -99.8213 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[278]: 6 -4.22754 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[280]: 6 -4.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[285]: 6 -7.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[303]: 6 -1.75002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[313]: 6 -3.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[316]: 6 -4.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[320]: 6 -7.91338 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[330]: 6 -102.821 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[336]: 6 -4.47159 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[386]: 6 -8.50009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[387]: 6 -16 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[388]: 6 -10.2276 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[395]: 6 -5.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[399]: 6 -5.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[400]: 6 -4.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[404]: 6 -5.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[405]: 6 -4.00001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[410]: 6 -6.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[411]: 6 -5.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[412]: 6 -8.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[413]: 6 -4.00001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[417]: 6 -4.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[418]: 6 -8.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[420]: 6 -4.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[426]: 6 -4.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[427]: 6 -4.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[428]: 6 -4.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[434]: 6 -9.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[437]: 6 -5.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[438]: 6 -98.8214 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[439]: 6 -5.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[461]: 6 -4.82343 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[495]: 6 -105.778 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[506]: 6 -1.00007 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[508]: 6 -1.00001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[538]: 6 -12.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[578]: 6 -13.7501 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[596]: 6 -1.75003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[608]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[627]: 6 -5.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[646]: 6 -1.25005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[651]: 6 -1.25002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[656]: 6 -1.00001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[828]: 6 -1.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[829]: 6 -1.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[838]: 6 -1.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[839]: 6 -1.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[840]: 6 -1.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[842]: 6 -1.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[851]: 6 -1.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[853]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[854]: 6 -1.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[872]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[873]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[875]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[878]: 6 -1.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[879]: 6 -1.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[896]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[899]: 6 -6.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[900]: 6 -8.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[981]: 6 -1.00007 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[990]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1158]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1165]: 6 -1.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1166]: 6 -2.00007 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1181]: 6 -1.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1184]: 6 -1.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1204]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1295]: 6 -1.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1303]: 6 -1.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1319]: 6 -9.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1320]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1331]: 6 -1.00007 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1335]: 6 -1.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1345]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1419]: 6 -1.75002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1430]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1700]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1708]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1712]: 6 -1.00007 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1716]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1720]: 6 -1.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1725]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1730]: 6 -1.00007 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1735]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1739]: 6 -1.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1740]: 6 -1.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1745]: 6 -1.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1749]: 6 -1.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1751]: 6 -1.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1763]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1773]: 6 -1.00007 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1782]: 6 -1.00001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1789]: 6 -5.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1797]: 6 -1.00001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1803]: 6 -5.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1806]: 6 -1.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1810]: 6 -5.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[1813]: 6 -1.00007 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2090]: 6 -30.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2091]: 6 -1.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2094]: 6 0 4.00009 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2107]: 6 -2.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2117]: 6 -91 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2118]: 6 0 2.00002 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2124]: 6 0 1.00004 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2129]: 6 0 2.00004 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2133]: 6 0 7.00003 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2197]: 6 -15.4551 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2201]: 6 0 1.00005 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2207]: 6 -23.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2208]: 6 -1.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2210]: 6 0 2.00008 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2215]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2218]: 6 0 3.00008 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2225]: 6 0 4.00005 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2231]: 6 0 5.00003 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2236]: 6 0 3.00007 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2359]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2360]: 6 0 1.00007 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2368]: 6 -1.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2369]: 6 0 9.00006 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2377]: 6 0 6.00005 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2513]: 6 -1.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2546]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2553]: 6 -1.00007 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2567]: 6 -10 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2571]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2579]: 6 -1.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2585]: 6 -1.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2625]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2799]: 6 -1.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2800]: 6 -1.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2807]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2808]: 6 -1.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2815]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2821]: 6 -1.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2850]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2852]: 6 -2.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2858]: 6 -1.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2878]: 6 -1.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2958]: 6 -1.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2959]: 6 -1.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2960]: 6 -1.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[2961]: 6 -1.00008 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3128]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3137]: 6 -1.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3172]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3173]: 6 -1.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3187]: 6 -1.00001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3209]: 6 -1.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3282]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3283]: 6 -1.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3284]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3290]: 6 -1.00009 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3453]: 6 -0.333348 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3454]: 6 -0.333349 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3731]: 6 -1.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3747]: 6 -1.00003 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3753]: 6 -1.00007 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3755]: 6 -1.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3761]: 6 -1.00001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3775]: 6 -1.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3783]: 6 -8.91336 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3786]: 6 -0.500022 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3953]: 6 0 2.00005 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3959]: 6 0 1.00004 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3975]: 6 -0.250096 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[3981]: 6 -76 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4003]: 6 -16.75 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4005]: 6 -10.5001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4107]: 6 0 1.00003 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4108]: 6 0 2.00005 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4208]: 6 0 1.00006 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4209]: 6 0 1.00003 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4210]: 6 0 1.00003 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4211]: 6 0 4.00003 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4212]: 6 0 8.00003 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4215]: 6 -1.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4217]: 6 -4.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4219]: 6 -1.00001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4221]: 6 -13.0001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4259]: 6 -37 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4267]: 6 -5.00004 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4270]: 6 -19.5 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4351]: 6 0 1.00009 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4353]: 6 0 0.500027 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4354]: 6 0 2.00002 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4355]: 6 0 1.00006 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4356]: 6 0 5.50007 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4364]: 6 -1.00005 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4365]: 6 -1.00002 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4366]: 6 -1.00001 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4367]: 6 -1.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4371]: 6 -5.00006 0 shouldn't be
13.73/13.90 WSVECS04 Frhs2[4380]: 6 -285.464 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[12]: 6 -5.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[28]: 6 -5.31259 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[30]: 6 -4.00007 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[34]: 6 -3.75006 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[41]: 6 -5.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[43]: 6 -3.0001 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[48]: 6 -5.75002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[325]: 6 -3.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[327]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[329]: 6 -5.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[406]: 6 -3.00009 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[419]: 6 -5.00009 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[564]: 6 -1.00002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[567]: 6 -1.00004 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[570]: 6 -1.00002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[579]: 6 -1.00002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[580]: 6 -1.00002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[585]: 6 -1.00006 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[589]: 6 -1.00006 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[601]: 6 -1.00002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[610]: 6 -2.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[614]: 6 -2.00009 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[619]: 6 -1.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[620]: 6 -1.00002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[637]: 6 -2.00004 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[638]: 6 -2.00002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[827]: 6 -1.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[837]: 6 -1.00007 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[852]: 6 -1.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[855]: 6 -1.00004 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[874]: 6 -1.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[876]: 6 -1.00002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[877]: 6 -1.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[897]: 6 -1.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1156]: 6 -1.00004 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1168]: 6 -1.00009 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1183]: 6 -1.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1203]: 6 -1.00009 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1205]: 6 -1.00007 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1281]: 6 -1.00006 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1311]: 6 -1.00002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1318]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1333]: 6 -1.00006 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1339]: 6 -1.00002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1341]: 6 -1.00002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1467]: 6 -2.00007 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1468]: 6 -2.00004 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1729]: 6 -1.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1750]: 6 -1.00006 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1755]: 6 -1.00007 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1774]: 6 -1.00009 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1775]: 6 -1.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1781]: 6 -1.00006 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1795]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1796]: 6 -1.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1798]: 6 -1.00004 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1805]: 6 -1.00006 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[1811]: 6 -1.00007 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2092]: 6 -1.00001 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2093]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2101]: 6 -1.00009 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2108]: 6 -1.00007 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2109]: 6 -1.00009 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2116]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2123]: 6 -1.00009 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2199]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2216]: 6 -1.00002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2230]: 6 -1.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2519]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2521]: 6 -1.00006 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2549]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2552]: 6 -1.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2564]: 6 -9.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2581]: 6 -1.00004 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2591]: 6 -1.00007 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2597]: 6 -5.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2609]: 6 -1.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2797]: 6 -1.00001 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2798]: 6 -1.00007 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2806]: 6 -1.00001 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2827]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2843]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2851]: 6 -1.00007 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2857]: 6 -1.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2880]: 6 -1.00009 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2906]: 6 -1.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2907]: 6 -1.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[2927]: 6 -1.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3130]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3136]: 6 -1.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3181]: 6 -1.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3291]: 6 -1.0001 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3368]: 6 -1.00006 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3732]: 6 -1.00001 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3737]: 6 -1.00009 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3739]: 6 -1.00004 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3740]: 6 -1.0001 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3746]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3752]: 6 -1.00001 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3754]: 6 -1.00006 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3759]: 6 -1.00006 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3764]: 6 -1.00002 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3766]: 6 -1.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3768]: 6 -1.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3769]: 6 -1.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3774]: 6 -1.00009 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3776]: 6 -1.00004 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3780]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3955]: 6 0 0.750045 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3965]: 6 -1.00001 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3972]: 6 -1.00003 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3973]: 6 -1.00004 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3982]: 6 -1.00007 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3987]: 6 -7.00007 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[3999]: 6 -5.00008 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[4105]: 6 0 10 shouldn't be
15.62/15.73 WSVECS04 Frhs2[4113]: 6 -1.00005 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[4368]: 6 -1.00006 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[4370]: 6 -1.00004 0 shouldn't be
15.62/15.73 WSVECS04 Frhs2[4375]: 6 -1.00003 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1]: 6 0 20.0001 shouldn't be
18.92/19.08 WSVECS04 Frhs2[5]: 6 -4.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[25]: 6 -3.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[61]: 6 -3.01807 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[276]: 6 0 25 shouldn't be
18.92/19.08 WSVECS04 Frhs2[281]: 6 -8.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[283]: 6 -4.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[284]: 6 -5.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[287]: 6 -3.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[288]: 6 -4.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[289]: 6 -3.00001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[292]: 6 -8.75008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[293]: 6 -3.00003 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[294]: 6 -3.00003 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[298]: 6 -4.75004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[299]: 6 -3.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[302]: 6 -11.0001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[305]: 6 -3.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[306]: 6 -4.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[307]: 6 -5.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[315]: 6 -4.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[317]: 6 -4.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[322]: 6 -3.00003 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[323]: 6 -4.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[520]: 6 -1.25003 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[553]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[563]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[574]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[594]: 6 -1.75009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[598]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[606]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[650]: 6 -6.5001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[830]: 6 -1.0001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[841]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1202]: 6 -1.0001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1343]: 6 -1.00001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1347]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1348]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1359]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1362]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1370]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1374]: 6 -1.00003 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1377]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1378]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1382]: 6 -1.0001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1386]: 6 -2.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1395]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1397]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1398]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1399]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1400]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1415]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1424]: 6 -1.00001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1425]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1426]: 6 -1.0001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1443]: 6 -1.0001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1444]: 6 -1.00001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1445]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1448]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1450]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1457]: 6 -2.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1464]: 6 -2.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1466]: 6 -2.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1471]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1472]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1473]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1474]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1475]: 6 -1.00003 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1476]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1480]: 6 -2.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1481]: 6 -2.00001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1482]: 6 -2.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1483]: 6 -2.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1756]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1761]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1762]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1768]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1787]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1788]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[1802]: 6 -1.00003 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[2110]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[2198]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[2517]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[2527]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[2535]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[2576]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[2582]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[2822]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[2844]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[2845]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[2879]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3129]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3144]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3174]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3285]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3345]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3351]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3352]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3355]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3360]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3363]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3364]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3366]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3369]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3370]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3371]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3380]: 6 -1.00001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3391]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3392]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3394]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3396]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3397]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3398]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3399]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3401]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3408]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3410]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3412]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3414]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3415]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3417]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3418]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3419]: 6 -1.00003 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3420]: 6 -1.00001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3423]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3427]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3430]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3431]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3433]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3443]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3444]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3445]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3450]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3452]: 6 -1.0001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3736]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3738]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3741]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3742]: 6 -1.00003 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3743]: 6 -1.00009 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3745]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3748]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3749]: 6 -1.00002 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3750]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3756]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3762]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3763]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3767]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3777]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3778]: 6 -1.00003 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3984]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[3986]: 6 -1.0001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4220]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4238]: 6 -1.00003 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4239]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4240]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4241]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4242]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4244]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4245]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4247]: 6 -1.00007 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4249]: 6 -1.00004 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4250]: 6 -1.00006 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4252]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4257]: 6 -1.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4261]: 6 -1.00008 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4262]: 6 -6.00005 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4349]: 6 0 1.00007 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4372]: 6 -1.0001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4374]: 6 -1.0001 0 shouldn't be
18.92/19.08 WSVECS04 Frhs2[4381]: 6 -1.00008 0 shouldn't be
29.89/30.05 c #Conflicts: 52000 | #Constraints: 46544
29.89/30.05 c #Conflicts: 53000 | #Constraints: 47544
29.89/30.05 c #Conflicts: 54000 | #Constraints: 48544
29.89/30.05 c #Conflicts: 55000 | #Constraints: 49544
29.89/30.05 c #Conflicts: 56000 | #Constraints: 50544
29.89/30.05 c INPROCESSING
29.89/30.05 c GARBAGE COLLECT
29.89/30.05 c #Conflicts: 57000 | #Constraints: 46751
29.89/30.05 c #Conflicts: 58000 | #Constraints: 47751
29.89/30.05 c #Conflicts: 59000 | #Constraints: 48751
29.89/30.05 c #Conflicts: 60000 | #Constraints: 49751
29.89/30.05 c #Conflicts: 61000 | #Constraints: 50751
29.89/30.05 c INPROCESSING
29.89/30.05 c GARBAGE COLLECT
29.89/30.05 c #Conflicts: 62000 | #Constraints: 46749
29.89/30.05 c #Conflicts: 63000 | #Constraints: 47749
29.89/30.05 c #Conflicts: 64000 | #Constraints: 48749
29.89/30.05 c #Conflicts: 65000 | #Constraints: 49749
29.89/30.05 c #Conflicts: 66000 | #Constraints: 50749
29.89/30.05 c INPROCESSING
29.89/30.05 c GARBAGE COLLECT
29.89/30.05 c #Conflicts: 67000 | #Constraints: 46551
29.89/30.05 c #Conflicts: 68000 | #Constraints: 47551
29.89/30.05 c #Conflicts: 69000 | #Constraints: 48551
29.89/30.05 c #Conflicts: 70000 | #Constraints: 49551
29.89/30.05 c #Conflicts: 71000 | #Constraints: 50551
29.89/30.05 c #Conflicts: 72000 | #Constraints: 51551
29.89/30.05 c INPROCESSING
29.89/30.05 c GARBAGE COLLECT
29.89/30.05 c #Conflicts: 73000 | #Constraints: 47142
29.89/30.05 c #Conflicts: 74000 | #Constraints: 48142
29.89/30.05 c #Conflicts: 75000 | #Constraints: 49142
29.89/30.05 c #Conflicts: 76000 | #Constraints: 50142
29.89/30.05 c #Conflicts: 77000 | #Constraints: 51142
29.89/30.05 c #Conflicts: 78000 | #Constraints: 52142
29.89/30.05 c INPROCESSING
29.89/30.05 c GARBAGE COLLECT
29.89/30.05 c #Conflicts: 79000 | #Constraints: 47547
29.89/30.05 c #Conflicts: 80000 | #Constraints: 48547
29.89/30.05 c #Conflicts: 81000 | #Constraints: 49547
29.89/30.05 c #Conflicts: 82000 | #Constraints: 50547
29.89/30.05 c #Conflicts: 83000 | #Constraints: 51547
29.89/30.05 c #Conflicts: 84000 | #Constraints: 52547
29.89/30.05 c INPROCESSING
29.89/30.05 c GARBAGE COLLECT
29.89/30.05 c #Conflicts: 85000 | #Constraints: 47750
29.89/30.05 c #Conflicts: 86000 | #Constraints: 48750
29.89/30.05 c #Conflicts: 87000 | #Constraints: 49750
29.89/30.05 c #Conflicts: 88000 | #Constraints: 50750
29.89/30.05 c #Conflicts: 89000 | #Constraints: 51750
29.89/30.05 c #Conflicts: 90000 | #Constraints: 52750
29.89/30.05 c INPROCESSING
29.89/30.05 c GARBAGE COLLECT
29.89/30.05 c #Conflicts: 91000 | #Constraints: 47750
29.89/30.05 c #Conflicts: 92000 | #Constraints: 48750
29.89/30.05 c #Conflicts: 93000 | #Constraints: 49750
29.89/30.05 c #Conflicts: 94000 | #Constraints: 50750
29.89/30.05 c #Conflicts: 95000 | #Constraints: 51750
29.89/30.05 c #Conflicts: 96000 | #Constraints: 52750
29.89/30.05 c INPROCESSING
29.89/30.05 c GARBAGE COLLECT
29.89/30.05 c #Conflicts: 97000 | #Constraints: 47558
29.89/30.05 c #Conflicts: 98000 | #Constraints: 48558
29.89/30.05 c #Conflicts: 99000 | #Constraints: 49558
29.89/30.05 c #Conflicts: 100000 | #Constraints: 50558
29.89/30.05 WSVECS04 Frhs2[47]: 6 -99.2851 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[56]: 6 -6.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[83]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[114]: 6 -7.16673 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[116]: 6 -4.00009 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[118]: 6 -38.8929 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[119]: 6 -86.2048 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[128]: 6 -14.5834 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[171]: 6 -45.2885 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[391]: 6 0 8.00006 shouldn't be
29.89/30.05 WSVECS04 Frhs2[429]: 6 -33.8001 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[430]: 6 -88.7698 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[540]: 6 -1.00004 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[564]: 6 -92.9286 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[587]: 6 -1.0001 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[589]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[590]: 6 -1.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[612]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[613]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[614]: 6 -1.00001 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[629]: 6 0 4.00009 shouldn't be
29.89/30.05 WSVECS04 Frhs2[632]: 6 -1.00005 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[633]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[634]: 6 -1.00006 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[647]: 6 -1.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[648]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[649]: 6 -1.00001 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[653]: 6 -1.00006 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[655]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[656]: 6 -1.00004 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[657]: 6 -1.00002 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[658]: 6 -1.00006 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[660]: 6 -1.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[702]: 6 0 92.6083 shouldn't be
29.89/30.05 WSVECS04 Frhs2[726]: 6 0 197.073 shouldn't be
29.89/30.05 WSVECS04 Frhs2[777]: 6 0 50.1568 shouldn't be
29.89/30.05 WSVECS04 Frhs2[811]: 6 0 13.7052 shouldn't be
29.89/30.05 WSVECS04 Frhs2[824]: 6 0 95.3134 shouldn't be
29.89/30.05 WSVECS04 Frhs2[842]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[859]: 6 -1.1667 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[897]: 6 -1.00004 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[901]: 6 0 1.00004 shouldn't be
29.89/30.05 WSVECS04 Frhs2[968]: 6 0 1.00007 shouldn't be
29.89/30.05 WSVECS04 Frhs2[972]: 6 0 1.00006 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1025]: 6 0 14.6384 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1026]: 6 0 46.8401 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1049]: 6 0 26.1409 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1085]: 6 0 79.2847 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1101]: 6 0 16.6008 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1102]: 6 0 30.9279 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1119]: 6 0 13.2344 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1120]: 6 0 18.2511 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1153]: 6 0 82.9123 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1278]: 6 0 2.00003 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1281]: 6 -1.00003 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1284]: 6 0 2.00007 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1302]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1307]: 6 0 1.00003 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1310]: 6 -1.00003 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1311]: 6 -1.00001 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1315]: 6 0 1.00007 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1316]: 6 0 2.00003 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1318]: 6 -1.00004 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1319]: 6 -1.00004 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1330]: 6 0 1.00001 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1348]: 6 -1.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1356]: 6 -5.28645 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1366]: 6 -1.00005 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1379]: 6 0 636.599 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1381]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1398]: 6 -1.00002 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1403]: 6 -1.00004 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1407]: 6 -1.00006 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1412]: 6 -1.00006 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1413]: 6 -1.00003 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1418]: 6 -9.75005 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1436]: 6 -653.299 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1455]: 6 -1.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1456]: 6 -1.00006 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1463]: 6 -10.825 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1471]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1479]: 6 -1.80002 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1553]: 6 0 128.026 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1601]: 6 0 107.213 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1646]: 6 0 320.34 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1647]: 6 0 0.777813 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1651]: 6 -1.00005 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1707]: 6 0 228.196 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1751]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1752]: 6 0 304.262 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1761]: 6 -1.00001 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1789]: 6 -1.00005 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1796]: 6 -1.00002 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1797]: 6 -1.00003 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1848]: 6 0 8.36347 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1851]: 6 0 1.66104 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1853]: 6 0 0.549931 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1910]: 6 0 67.848 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1920]: 6 0 8.1151 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1945]: 6 0 33.3635 shouldn't be
29.89/30.05 WSVECS04 Frhs2[1972]: 6 0 38.1081 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2099]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2239]: 6 0 36.9992 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2244]: 6 0 9.75007 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2298]: 6 0 54.9615 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2526]: 6 -1.00009 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2532]: 6 -1.00005 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2537]: 6 -1.00003 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2546]: 6 -1.00003 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2554]: 6 -1.00006 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2560]: 6 -1.00003 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2565]: 6 -1.00002 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2574]: 6 -1.00005 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2575]: 6 -1.00005 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2581]: 6 -1.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2586]: 6 -1.00009 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2590]: 6 -1.00006 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2593]: 6 -1.00006 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2601]: 6 -1.00006 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2605]: 6 -1.50009 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2610]: 6 -1.00005 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2611]: 6 -1.00006 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2615]: 6 -1.00005 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2618]: 6 -1.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2620]: 6 -1.00007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2626]: 6 -1.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2629]: 6 -1.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2631]: 6 -1.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2669]: 6 0 76.084 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2708]: 6 0 42.905 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2726]: 6 0 57.1567 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2761]: 6 0 50.1567 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2837]: 6 0 176.944 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2841]: 6 0 56.989 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2881]: 6 0 1.00008 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2959]: 6 -1.00004 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[2992]: 6 0 27.4763 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3029]: 6 0 10.9883 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3059]: 6 0 36.6599 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3167]: 6 0 12.75 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3170]: 6 0 111.999 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3282]: 6 -1.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3283]: 6 -1.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3284]: 6 -1.00009 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3285]: 6 -1.00003 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3288]: 6 -1.00003 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3289]: 6 -1.00009 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3290]: 6 -1.00002 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3337]: 6 -1.00004 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3339]: 6 -1.00001 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3341]: 6 -1.00002 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3342]: 6 -1.00003 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3343]: 6 -1.00003 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3359]: 6 -1.00004 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3375]: 6 -1.12509 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3379]: 6 -1.12505 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3384]: 6 -1.12506 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3387]: 6 -1.00008 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3389]: 6 -1.00002 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3488]: 6 0 106.788 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3493]: 6 0 963.136 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3498]: 6 0 114.907 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3516]: 6 0 2.21214 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3529]: 6 0 1.87504 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3553]: 6 0 755.586 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3560]: 6 0 102.425 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3755]: 6 -36.2001 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3770]: 6 -4.20009 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3783]: 6 -1.00002 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3785]: 6 -616.023 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3794]: 6 0 56.1578 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3802]: 6 0 8.25854 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3842]: 6 0 1.10503 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3855]: 6 0 1.53755 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3859]: 6 0 22.2652 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3912]: 6 0 20.4462 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3913]: 6 0 19.4463 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3955]: 6 0 2.0001 shouldn't be
29.89/30.05 WSVECS04 Frhs2[3957]: 6 0 6.50005 shouldn't be
29.89/30.05 WSVECS04 Frhs2[4000]: 6 -4.25007 0 shouldn't be
29.89/30.05 WSVECS04 Frhs2[4022]: 6 0 141.154 shouldn't be
29.89/30.05 WSVECS04 Frhs2[4023]: 6 0 1.71372 shouldn't be
29.89/30.05 WSVECS04 Frhs2[4087]: 6 0 40.0728 shouldn't be
29.89/30.05 WSVECS04 Frhs2[4171]: 6 0 100.213 shouldn't be
29.89/30.05 WSVECS04 Frhs2[4211]: 6 0 0.250042 shouldn't be
29.89/30.05 WSVECS04 Frhs2[4231]: 6 0 3.00008 shouldn't be
29.89/30.05 WSVECS04 Frhs2[4293]: 6 0 1.71374 shouldn't be
29.89/30.05 WSVECS04 Frhs2[4349]: 6 0 70.3655 shouldn't be
29.89/30.05 WSVECS04 Frhs2[4350]: 6 0 163.447 shouldn't be
31.37/31.59 WSVECS04 Frhs2[853]: 6 -1.00004 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[898]: 6 -9.75008 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[900]: 6 -1.00005 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[1128]: 6 0 48.179 shouldn't be
31.37/31.59 WSVECS04 Frhs2[1369]: 6 -1.00001 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[1373]: 6 -1.00002 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[1393]: 6 -1.00003 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[1721]: 6 0 231.196 shouldn't be
31.37/31.59 WSVECS04 Frhs2[1739]: 6 -1.00003 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[1748]: 6 0 75.0655 shouldn't be
31.37/31.59 WSVECS04 Frhs2[1774]: 6 -1.00007 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[1783]: 6 -1.00008 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[1804]: 6 -1.00002 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[1812]: 6 -1.00004 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[1813]: 6 -1.00005 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[2696]: 6 0 146.815 shouldn't be
31.37/31.59 WSVECS04 Frhs2[2842]: 6 -1.00003 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[2907]: 6 -1.00004 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[3066]: 6 0 6.54252 shouldn't be
31.37/31.59 WSVECS04 Frhs2[3067]: 6 0 4.54253 shouldn't be
31.37/31.59 WSVECS04 Frhs2[3738]: 6 -1.00005 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[3744]: 6 -1.00007 0 shouldn't be
31.37/31.59 WSVECS04 Frhs2[3765]: 6 -1.00009 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[155]: 6 -248.257 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[826]: 6 -1.50008 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[835]: 6 -1.00008 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[852]: 6 -1.00007 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[1288]: 6 -1.00005 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[1724]: 6 -1.00003 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[1744]: 6 -1.00005 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[1775]: 6 -1.00006 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[1790]: 6 -1.0001 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[1805]: 6 -1.00006 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[2722]: 6 0 12.7052 shouldn't be
33.76/33.94 WSVECS04 Frhs2[2725]: 6 0 1.00007 shouldn't be
33.76/33.94 WSVECS04 Frhs2[2801]: 6 -1.00006 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[2809]: 6 -1.00004 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[2816]: 6 -1.00008 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[2827]: 6 -1.00006 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[2840]: 6 0 9.00009 shouldn't be
33.76/33.94 WSVECS04 Frhs2[2978]: 6 0 22.9831 shouldn't be
33.76/33.94 WSVECS04 Frhs2[2998]: 6 0 10.6769 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3031]: 6 0 97.4972 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3286]: 6 -1.00002 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3287]: 6 -3.75006 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3773]: 6 -1.00006 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3775]: 6 -1.20003 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3819]: 6 0 1.54375 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3963]: 6 -1.00005 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3968]: 6 -1.00004 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3977]: 6 -1.00009 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3979]: 6 -1.0001 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3980]: 6 -1.00006 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3985]: 6 -1.00008 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3988]: 6 -1.00009 0 shouldn't be
33.76/33.94 WSVECS04 Frhs2[3990]: 6 -1.00003 0 shouldn't be
47.63/47.87 c #Conflicts: 101000 | #Constraints: 51558
47.63/47.87 c #Conflicts: 102000 | #Constraints: 52558
47.63/47.87 c #Conflicts: 103000 | #Constraints: 53558
47.63/47.87 c INPROCESSING
47.63/47.87 c GARBAGE COLLECT
47.63/47.87 c #Conflicts: 104000 | #Constraints: 48151
47.63/47.87 c #Conflicts: 105000 | #Constraints: 49151
47.63/47.87 c #Conflicts: 106000 | #Constraints: 50151
47.63/47.87 c #Conflicts: 107000 | #Constraints: 51151
47.63/47.87 c #Conflicts: 108000 | #Constraints: 52151
47.63/47.87 c #Conflicts: 109000 | #Constraints: 53151
47.63/47.87 c #Conflicts: 110000 | #Constraints: 54151
47.63/47.87 c INPROCESSING
47.63/47.87 c GARBAGE COLLECT
47.63/47.87 c #Conflicts: 111000 | #Constraints: 48554
47.63/47.87 c #Conflicts: 112000 | #Constraints: 49554
47.63/47.87 c #Conflicts: 113000 | #Constraints: 50554
47.63/47.87 c #Conflicts: 114000 | #Constraints: 51554
47.63/47.87 c #Conflicts: 115000 | #Constraints: 52554
47.63/47.87 c #Conflicts: 116000 | #Constraints: 53554
47.63/47.87 c #Conflicts: 117000 | #Constraints: 54554
47.63/47.87 c INPROCESSING
47.63/47.87 c GARBAGE COLLECT
47.63/47.87 c #Conflicts: 118000 | #Constraints: 48744
47.63/47.87 c #Conflicts: 119000 | #Constraints: 49744
47.63/47.87 c #Conflicts: 120000 | #Constraints: 50744
47.63/47.87 c #Conflicts: 121000 | #Constraints: 51744
47.63/47.87 c #Conflicts: 122000 | #Constraints: 52744
47.63/47.87 c #Conflicts: 123000 | #Constraints: 53744
47.63/47.87 c #Conflicts: 124000 | #Constraints: 54744
47.63/47.87 c INPROCESSING
47.63/47.87 c GARBAGE COLLECT
47.63/47.87 c #Conflicts: 125000 | #Constraints: 48746
47.63/47.87 c #Conflicts: 126000 | #Constraints: 49746
47.63/47.87 c #Conflicts: 127000 | #Constraints: 50746
47.63/47.87 c #Conflicts: 128000 | #Constraints: 51746
47.63/47.87 c #Conflicts: 129000 | #Constraints: 52746
47.63/47.87 c #Conflicts: 130000 | #Constraints: 53746
47.63/47.87 c #Conflicts: 131000 | #Constraints: 54746
47.63/47.87 c INPROCESSING
47.63/47.87 c GARBAGE COLLECT
47.63/47.87 c #Conflicts: 132000 | #Constraints: 48552
47.63/47.87 c #Conflicts: 133000 | #Constraints: 49552
47.63/47.87 c #Conflicts: 134000 | #Constraints: 50552
47.63/47.87 c #Conflicts: 135000 | #Constraints: 51552
47.63/47.87 c #Conflicts: 136000 | #Constraints: 52552
47.63/47.87 c #Conflicts: 137000 | #Constraints: 53552
47.63/47.87 c #Conflicts: 138000 | #Constraints: 54552
47.63/47.87 c #Conflicts: 139000 | #Constraints: 55552
47.63/47.87 c INPROCESSING
47.63/47.87 c GARBAGE COLLECT
47.63/47.87 c #Conflicts: 140000 | #Constraints: 49159
47.63/47.87 c #Conflicts: 141000 | #Constraints: 50159
47.63/47.87 c #Conflicts: 142000 | #Constraints: 51159
47.63/47.87 c #Conflicts: 143000 | #Constraints: 52159
47.63/47.87 c #Conflicts: 144000 | #Constraints: 53159
47.63/47.87 c #Conflicts: 145000 | #Constraints: 54159
47.63/47.87 c #Conflicts: 146000 | #Constraints: 55159
47.63/47.87 c #Conflicts: 147000 | #Constraints: 56159
47.63/47.87 c INPROCESSING
47.63/47.87 c GARBAGE COLLECT
47.63/47.87 c #Conflicts: 148000 | #Constraints: 49559
47.63/47.87 c #Conflicts: 149000 | #Constraints: 50559
47.63/47.87 c #Conflicts: 150000 | #Constraints: 51559
47.63/47.87 c #Conflicts: 151000 | #Constraints: 52559
47.63/47.87 c #Conflicts: 152000 | #Constraints: 53559
47.63/47.87 c #Conflicts: 153000 | #Constraints: 54559
47.63/47.87 c #Conflicts: 154000 | #Constraints: 55559
47.63/47.87 c #Conflicts: 155000 | #Constraints: 56559
47.63/47.87 c INPROCESSING
47.63/47.87 c GARBAGE COLLECT
47.63/47.87 c #Conflicts: 156000 | #Constraints: 49763
47.63/47.87 c #Conflicts: 157000 | #Constraints: 50763
47.63/47.87 c #Conflicts: 158000 | #Constraints: 51763
47.63/47.87 c #Conflicts: 159000 | #Constraints: 52763
47.63/47.87 c #Conflicts: 160000 | #Constraints: 53763
47.63/47.87 c #Conflicts: 161000 | #Constraints: 54763
47.63/47.87 c #Conflicts: 162000 | #Constraints: 55763
47.63/47.87 c #Conflicts: 163000 | #Constraints: 56763
47.63/47.87 c INPROCESSING
47.63/47.87 c GARBAGE COLLECT
47.63/47.87 c #Conflicts: 164000 | #Constraints: 49762
47.63/47.87 c #Conflicts: 165000 | #Constraints: 50762
47.63/47.87 c #Conflicts: 166000 | #Constraints: 51762
47.63/47.87 c #Conflicts: 167000 | #Constraints: 52762
47.63/47.87 c #Conflicts: 168000 | #Constraints: 53762
47.63/47.87 c #Conflicts: 169000 | #Constraints: 54762
47.63/47.87 c #Conflicts: 170000 | #Constraints: 55762
47.63/47.87 c #Conflicts: 171000 | #Constraints: 56762
47.63/47.87 c INPROCESSING
47.63/47.87 c GARBAGE COLLECT
47.63/47.87 c #Conflicts: 172000 | #Constraints: 49566
47.63/47.87 c #Conflicts: 173000 | #Constraints: 50566
58.11/58.33 c #Conflicts: 174000 | #Constraints: 51566
58.11/58.33 c #Conflicts: 175000 | #Constraints: 52566
58.11/58.33 c #Conflicts: 176000 | #Constraints: 53566
58.11/58.33 c #Conflicts: 177000 | #Constraints: 54566
58.11/58.33 c #Conflicts: 178000 | #Constraints: 55566
58.11/58.33 c #Conflicts: 179000 | #Constraints: 56566
58.11/58.33 c #Conflicts: 180000 | #Constraints: 57566
58.11/58.33 c INPROCESSING
58.11/58.33 c GARBAGE COLLECT
58.11/58.33 c #Conflicts: 181000 | #Constraints: 50164
58.11/58.33 c #Conflicts: 182000 | #Constraints: 51164
58.11/58.33 c #Conflicts: 183000 | #Constraints: 52164
58.11/58.33 c #Conflicts: 184000 | #Constraints: 53164
58.11/58.33 c #Conflicts: 185000 | #Constraints: 54164
58.11/58.33 c #Conflicts: 186000 | #Constraints: 55164
58.11/58.33 c #Conflicts: 187000 | #Constraints: 56164
58.11/58.33 c #Conflicts: 188000 | #Constraints: 57164
58.11/58.33 c #Conflicts: 189000 | #Constraints: 58164
58.11/58.33 c INPROCESSING
58.11/58.33 c GARBAGE COLLECT
58.11/58.33 c #Conflicts: 190000 | #Constraints: 50566
58.11/58.33 c #Conflicts: 191000 | #Constraints: 51566
58.11/58.33 c #Conflicts: 192000 | #Constraints: 52566
58.11/58.33 c #Conflicts: 193000 | #Constraints: 53566
58.11/58.33 c #Conflicts: 194000 | #Constraints: 54566
58.11/58.33 c #Conflicts: 195000 | #Constraints: 55566
58.11/58.33 c #Conflicts: 196000 | #Constraints: 56566
58.11/58.33 c #Conflicts: 197000 | #Constraints: 57566
58.11/58.33 c #Conflicts: 198000 | #Constraints: 58566
58.11/58.33 c INPROCESSING
58.11/58.33 c GARBAGE COLLECT
58.11/58.33 c #Conflicts: 199000 | #Constraints: 50771
58.11/58.33 c #Conflicts: 200000 | #Constraints: 51771
58.11/58.33 c #Conflicts: 201000 | #Constraints: 52771
58.11/58.33 c #Conflicts: 202000 | #Constraints: 53771
58.11/58.33 c #Conflicts: 203000 | #Constraints: 54771
58.11/58.33 c #Conflicts: 204000 | #Constraints: 55771
58.11/58.33 c #Conflicts: 205000 | #Constraints: 56771
58.11/58.33 c #Conflicts: 206000 | #Constraints: 57771
58.11/58.33 c #Conflicts: 207000 | #Constraints: 58771
58.11/58.33 c INPROCESSING
58.11/58.33 c GARBAGE COLLECT
58.11/58.33 c #Conflicts: 208000 | #Constraints: 50770
58.11/58.33 c #Conflicts: 209000 | #Constraints: 51770
58.11/58.33 c #Conflicts: 210000 | #Constraints: 52770
58.11/58.33 c #Conflicts: 211000 | #Constraints: 53770
58.11/58.33 c #Conflicts: 212000 | #Constraints: 54770
58.11/58.33 c #Conflicts: 213000 | #Constraints: 55770
58.11/58.33 c #Conflicts: 214000 | #Constraints: 56770
58.11/58.33 c #Conflicts: 215000 | #Constraints: 57770
58.11/58.33 c #Conflicts: 216000 | #Constraints: 58770
58.11/58.33 c INPROCESSING
58.11/58.33 c GARBAGE COLLECT
58.11/58.33 c rational objective 1110.46
68.98/69.24 c #Conflicts: 217000 | #Constraints: 50590
68.98/69.24 c #Conflicts: 218000 | #Constraints: 51590
68.98/69.24 c #Conflicts: 219000 | #Constraints: 52590
68.98/69.24 c #Conflicts: 220000 | #Constraints: 53590
68.98/69.24 c #Conflicts: 221000 | #Constraints: 54590
68.98/69.24 c #Conflicts: 222000 | #Constraints: 55590
68.98/69.24 c #Conflicts: 223000 | #Constraints: 56590
68.98/69.24 c #Conflicts: 224000 | #Constraints: 57590
68.98/69.24 c #Conflicts: 225000 | #Constraints: 58590
68.98/69.24 c #Conflicts: 226000 | #Constraints: 59590
68.98/69.24 c INPROCESSING
68.98/69.24 c GARBAGE COLLECT
68.98/69.24 c #Conflicts: 227000 | #Constraints: 51180
68.98/69.24 c #Conflicts: 228000 | #Constraints: 52180
68.98/69.24 c #Conflicts: 229000 | #Constraints: 53180
68.98/69.24 c #Conflicts: 230000 | #Constraints: 54180
68.98/69.24 c #Conflicts: 231000 | #Constraints: 55180
68.98/69.24 c #Conflicts: 232000 | #Constraints: 56180
68.98/69.24 c #Conflicts: 233000 | #Constraints: 57180
68.98/69.24 c #Conflicts: 234000 | #Constraints: 58180
68.98/69.24 c #Conflicts: 235000 | #Constraints: 59180
68.98/69.24 c #Conflicts: 236000 | #Constraints: 60180
68.98/69.24 c INPROCESSING
68.98/69.24 c GARBAGE COLLECT
68.98/69.24 c #Conflicts: 237000 | #Constraints: 51570
68.98/69.24 c #Conflicts: 238000 | #Constraints: 52570
68.98/69.24 c #Conflicts: 239000 | #Constraints: 53570
68.98/69.24 c #Conflicts: 240000 | #Constraints: 54570
68.98/69.24 c #Conflicts: 241000 | #Constraints: 55570
68.98/69.24 c #Conflicts: 242000 | #Constraints: 56570
68.98/69.24 c #Conflicts: 243000 | #Constraints: 57570
68.98/69.24 c #Conflicts: 244000 | #Constraints: 58570
68.98/69.24 c #Conflicts: 245000 | #Constraints: 59570
68.98/69.24 c #Conflicts: 246000 | #Constraints: 60570
68.98/69.24 c INPROCESSING
68.98/69.24 c GARBAGE COLLECT
68.98/69.24 c #Conflicts: 247000 | #Constraints: 51782
68.98/69.24 c #Conflicts: 248000 | #Constraints: 52782
68.98/69.24 c #Conflicts: 249000 | #Constraints: 53782
68.98/69.24 c #Conflicts: 250000 | #Constraints: 54782
68.98/69.24 c #Conflicts: 251000 | #Constraints: 55782
68.98/69.24 c #Conflicts: 252000 | #Constraints: 56782
68.98/69.24 c #Conflicts: 253000 | #Constraints: 57782
68.98/69.24 c #Conflicts: 254000 | #Constraints: 58782
68.98/69.24 c #Conflicts: 255000 | #Constraints: 59782
68.98/69.24 c #Conflicts: 256000 | #Constraints: 60782
68.98/69.24 c INPROCESSING
68.98/69.24 c GARBAGE COLLECT
68.98/69.24 c #Conflicts: 257000 | #Constraints: 51774
68.98/69.24 c #Conflicts: 258000 | #Constraints: 52774
68.98/69.24 c #Conflicts: 259000 | #Constraints: 53774
68.98/69.24 c #Conflicts: 260000 | #Constraints: 54774
68.98/69.24 c #Conflicts: 261000 | #Constraints: 55774
68.98/69.24 c #Conflicts: 262000 | #Constraints: 56774
68.98/69.24 c #Conflicts: 263000 | #Constraints: 57774
68.98/69.24 c #Conflicts: 264000 | #Constraints: 58774
68.98/69.24 c #Conflicts: 265000 | #Constraints: 59774
68.98/69.24 c #Conflicts: 266000 | #Constraints: 60774
68.98/69.24 c INPROCESSING
68.98/69.24 c GARBAGE COLLECT
68.98/69.24 c #Conflicts: 267000 | #Constraints: 51570
68.98/69.24 c #Conflicts: 268000 | #Constraints: 52570
68.98/69.24 c #Conflicts: 269000 | #Constraints: 53570
68.98/69.24 c #Conflicts: 270000 | #Constraints: 54570
68.98/69.24 c #Conflicts: 271000 | #Constraints: 55570
68.98/69.24 c #Conflicts: 272000 | #Constraints: 56570
68.98/69.24 c #Conflicts: 273000 | #Constraints: 57570
68.98/69.24 c #Conflicts: 274000 | #Constraints: 58570
68.98/69.24 c #Conflicts: 275000 | #Constraints: 59570
68.98/69.24 c #Conflicts: 276000 | #Constraints: 60570
68.98/69.24 c #Conflicts: 277000 | #Constraints: 61570
68.98/69.24 c INPROCESSING
68.98/69.24 c GARBAGE COLLECT
68.98/69.24 c #Conflicts: 278000 | #Constraints: 52172
68.98/69.24 c #Conflicts: 279000 | #Constraints: 53172
68.98/69.24 c #Conflicts: 280000 | #Constraints: 54172
68.98/69.24 c #Conflicts: 281000 | #Constraints: 55172
68.98/69.24 c #Conflicts: 282000 | #Constraints: 56172
68.98/69.24 c #Conflicts: 283000 | #Constraints: 57172
68.98/69.24 c #Conflicts: 284000 | #Constraints: 58172
68.98/69.24 c #Conflicts: 285000 | #Constraints: 59172
68.98/69.24 c #Conflicts: 286000 | #Constraints: 60172
68.98/69.24 c #Conflicts: 287000 | #Constraints: 61172
68.98/69.24 c #Conflicts: 288000 | #Constraints: 62172
68.98/69.24 c INPROCESSING
68.98/69.24 c GARBAGE COLLECT
68.98/69.24 c #Conflicts: 289000 | #Constraints: 52579
68.98/69.24 c #Conflicts: 290000 | #Constraints: 53579
68.98/69.24 c #Conflicts: 291000 | #Constraints: 54579
81.36/81.60 c #Conflicts: 292000 | #Constraints: 55579
81.36/81.60 c #Conflicts: 293000 | #Constraints: 56579
81.36/81.60 c #Conflicts: 294000 | #Constraints: 57579
81.36/81.60 c #Conflicts: 295000 | #Constraints: 58579
81.36/81.60 c #Conflicts: 296000 | #Constraints: 59579
81.36/81.60 c #Conflicts: 297000 | #Constraints: 60579
81.36/81.60 c #Conflicts: 298000 | #Constraints: 61579
81.36/81.60 c #Conflicts: 299000 | #Constraints: 62579
81.36/81.60 c INPROCESSING
81.36/81.60 c GARBAGE COLLECT
81.36/81.60 c #Conflicts: 300000 | #Constraints: 52766
81.36/81.60 c #Conflicts: 301000 | #Constraints: 53766
81.36/81.60 c #Conflicts: 302000 | #Constraints: 54766
81.36/81.60 c #Conflicts: 303000 | #Constraints: 55766
81.36/81.60 c #Conflicts: 304000 | #Constraints: 56766
81.36/81.60 c #Conflicts: 305000 | #Constraints: 57766
81.36/81.60 c #Conflicts: 306000 | #Constraints: 58766
81.36/81.60 c #Conflicts: 307000 | #Constraints: 59766
81.36/81.60 c #Conflicts: 308000 | #Constraints: 60766
81.36/81.60 c #Conflicts: 309000 | #Constraints: 61766
81.36/81.60 c #Conflicts: 310000 | #Constraints: 62766
81.36/81.60 c INPROCESSING
81.36/81.60 c GARBAGE COLLECT
81.36/81.60 c #Conflicts: 311000 | #Constraints: 52770
81.36/81.60 c #Conflicts: 312000 | #Constraints: 53770
81.36/81.60 c #Conflicts: 313000 | #Constraints: 54770
81.36/81.60 c #Conflicts: 314000 | #Constraints: 55770
81.36/81.60 c #Conflicts: 315000 | #Constraints: 56770
81.36/81.60 c #Conflicts: 316000 | #Constraints: 57770
81.36/81.60 c #Conflicts: 317000 | #Constraints: 58770
81.36/81.60 c #Conflicts: 318000 | #Constraints: 59770
81.36/81.60 c #Conflicts: 319000 | #Constraints: 60770
81.36/81.60 c #Conflicts: 320000 | #Constraints: 61770
81.36/81.60 c #Conflicts: 321000 | #Constraints: 62770
81.36/81.60 c INPROCESSING
81.36/81.60 c GARBAGE COLLECT
81.36/81.60 c #Conflicts: 322000 | #Constraints: 52576
81.36/81.60 c #Conflicts: 323000 | #Constraints: 53576
81.36/81.60 c #Conflicts: 324000 | #Constraints: 54576
81.36/81.60 c #Conflicts: 325000 | #Constraints: 55576
81.36/81.60 c #Conflicts: 326000 | #Constraints: 56576
81.36/81.60 c #Conflicts: 327000 | #Constraints: 57576
81.36/81.60 c #Conflicts: 328000 | #Constraints: 58576
81.36/81.60 c #Conflicts: 329000 | #Constraints: 59576
81.36/81.60 c #Conflicts: 330000 | #Constraints: 60576
81.36/81.60 c #Conflicts: 331000 | #Constraints: 61576
81.36/81.60 c #Conflicts: 332000 | #Constraints: 62576
81.36/81.60 c #Conflicts: 333000 | #Constraints: 63576
81.36/81.60 c INPROCESSING
81.36/81.60 c GARBAGE COLLECT
81.36/81.60 c #Conflicts: 334000 | #Constraints: 53179
81.36/81.60 c #Conflicts: 335000 | #Constraints: 54179
81.36/81.60 c #Conflicts: 336000 | #Constraints: 55179
81.36/81.60 c #Conflicts: 337000 | #Constraints: 56179
81.36/81.60 c #Conflicts: 338000 | #Constraints: 57179
81.36/81.60 c #Conflicts: 339000 | #Constraints: 58179
81.36/81.60 c #Conflicts: 340000 | #Constraints: 59179
81.36/81.60 c #Conflicts: 341000 | #Constraints: 60179
81.36/81.60 c #Conflicts: 342000 | #Constraints: 61179
81.36/81.60 c #Conflicts: 343000 | #Constraints: 62179
81.36/81.60 c #Conflicts: 344000 | #Constraints: 63179
81.36/81.60 c #Conflicts: 345000 | #Constraints: 64179
81.36/81.60 c INPROCESSING
81.36/81.60 c GARBAGE COLLECT
81.36/81.60 c #Conflicts: 346000 | #Constraints: 53578
81.36/81.60 c #Conflicts: 347000 | #Constraints: 54578
81.36/81.60 c #Conflicts: 348000 | #Constraints: 55578
81.36/81.60 c #Conflicts: 349000 | #Constraints: 56578
81.36/81.60 c #Conflicts: 350000 | #Constraints: 57578
81.36/81.60 c #Conflicts: 351000 | #Constraints: 58578
81.36/81.60 c #Conflicts: 352000 | #Constraints: 59578
81.36/81.60 c #Conflicts: 353000 | #Constraints: 60578
81.36/81.60 c #Conflicts: 354000 | #Constraints: 61578
81.36/81.60 c #Conflicts: 355000 | #Constraints: 62578
81.36/81.60 c #Conflicts: 356000 | #Constraints: 63578
81.36/81.60 c #Conflicts: 357000 | #Constraints: 64578
81.36/81.60 c INPROCESSING
81.36/81.60 c GARBAGE COLLECT
81.36/81.60 c #Conflicts: 358000 | #Constraints: 53776
81.36/81.60 c #Conflicts: 359000 | #Constraints: 54776
81.36/81.60 c #Conflicts: 360000 | #Constraints: 55776
81.36/81.60 c #Conflicts: 361000 | #Constraints: 56776
81.36/81.60 c #Conflicts: 362000 | #Constraints: 57776
81.36/81.60 c #Conflicts: 363000 | #Constraints: 58776
81.36/81.60 WSVECS04 Frhs2[51]: 6 -21.2806 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[52]: 6 -8.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[53]: 6 -7.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[54]: 6 -6.50005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[277]: 6 -4.50003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[278]: 6 -11.7223 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[282]: 6 -6.50005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[283]: 6 -6.50008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[284]: 6 -3.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[286]: 6 -5.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[287]: 6 -5.50002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[288]: 6 -4.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[289]: 6 -3.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[292]: 6 -3.50001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[293]: 6 -5.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[294]: 6 -3.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[298]: 6 -11.8899 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[299]: 6 -3.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[300]: 6 -4.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[301]: 6 -3.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[305]: 6 -9.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[306]: 6 -4.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[307]: 6 -5.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[308]: 6 -4.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[310]: 6 -4.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[320]: 6 0 9.50001 shouldn't be
81.36/81.60 WSVECS04 Frhs2[414]: 6 -6.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[415]: 6 -7.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[416]: 6 -4.50008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[417]: 6 -7.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[418]: 6 -3.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[419]: 6 -3.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[420]: 6 -14.2251 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[422]: 6 -11 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[423]: 6 -7.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[424]: 6 -7.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[425]: 6 -5.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[426]: 6 -5.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[427]: 6 -4.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[428]: 6 -6.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[429]: 6 -6.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[458]: 6 -4.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[460]: 6 -4.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[463]: 6 -8.35601 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[464]: 6 -6.2882 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[470]: 6 -6.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[481]: 6 -19 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[487]: 6 -6.64419 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[488]: 6 -6.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[490]: 6 -9.32206 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[660]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1321]: 6 -0.500013 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1323]: 6 -1.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1327]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1330]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1331]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1332]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1333]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1334]: 6 -1.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1335]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1336]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1337]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1338]: 6 -1.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1340]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1341]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1346]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1348]: 6 -1.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1349]: 6 -1.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1351]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1352]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1353]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1355]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1357]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1358]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1360]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1367]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1374]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1381]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1382]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1391]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1392]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1394]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1396]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1401]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1416]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1417]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1419]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1420]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1422]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1423]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1425]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1426]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1440]: 6 -6.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1441]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1657]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1670]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1688]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1689]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1690]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1692]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1709]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1710]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1711]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1731]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1732]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1733]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1734]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1735]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1740]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1752]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1753]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1754]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1755]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1756]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1757]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1770]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1771]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1772]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1773]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1774]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1775]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1776]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1781]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1791]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1792]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1793]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1794]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1795]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1796]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1797]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1798]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1830]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1836]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1840]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1845]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1846]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1849]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1852]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1854]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1858]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1863]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1864]: 6 -12.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1868]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1872]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1875]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1876]: 6 -1.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1884]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1885]: 6 -1.35597 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1887]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1888]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1890]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1893]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1895]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1897]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1899]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1900]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1902]: 6 -5.32207 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1903]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1905]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1907]: 6 -2.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1908]: 6 -2.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1909]: 6 -2.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1913]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1914]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1915]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1919]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1925]: 6 -2.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1927]: 6 -2.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1931]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1933]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1938]: 6 -1.64411 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1939]: 6 -1.64418 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1944]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1946]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1950]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1951]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1953]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1957]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1958]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1960]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1966]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1968]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1973]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1974]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1975]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[1976]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2255]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2258]: 6 0 0.500071 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2261]: 6 -33.7788 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2264]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2267]: 6 0 3.00003 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2271]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2275]: 6 0 1.0001 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2280]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2281]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2282]: 6 0 5.00007 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2287]: 6 -0.5001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2292]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2295]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2296]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2397]: 6 0 1.00006 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2615]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2618]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2620]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2621]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2627]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2630]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[2631]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3293]: 6 -1.50007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3297]: 6 -1.50005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3301]: 6 -5.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3302]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3305]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3306]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3313]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3316]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3317]: 6 -1.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3318]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3322]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3328]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3338]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3340]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3341]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3342]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3347]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3353]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3354]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3358]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3375]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3377]: 6 -1.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3381]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3382]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3392]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3402]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3407]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3413]: 6 -1.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3423]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3428]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3438]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3447]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3628]: 6 -2.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3636]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3637]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3643]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3644]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3649]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3650]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3654]: 6 -1.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3655]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3661]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3672]: 6 -2.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3679]: 6 -2.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3685]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3686]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3690]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3698]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3713]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3719]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3722]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3723]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3725]: 6 -1.00004 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3734]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3739]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3743]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3747]: 6 -1.50003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3759]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3761]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3762]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3768]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3771]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3772]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3777]: 6 -9.22507 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3834]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3836]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3837]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3838]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3839]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3841]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3844]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3847]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3848]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3850]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3851]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3852]: 6 -1.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3855]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3859]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3862]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3863]: 6 -11.6441 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3881]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3883]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3885]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3886]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3887]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3888]: 6 -10 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3889]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3891]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3892]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3893]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3894]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3895]: 6 -1.00005 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3896]: 6 -1.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3897]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3898]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3899]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3900]: 6 -1.00001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3901]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3915]: 6 -1.32207 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3917]: 6 -1.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3918]: 6 -7.00009 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3919]: 6 -6.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3920]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3921]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3923]: 6 -1.00002 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3924]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3925]: 6 -1.00003 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3927]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3929]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3990]: 6 0 4.00004 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3991]: 6 0 10.0001 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3997]: 6 -33 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[3999]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[4274]: 6 0 7.00005 shouldn't be
81.36/81.60 WSVECS04 Frhs2[4275]: 6 0 3.50009 shouldn't be
81.36/81.60 WSVECS04 Frhs2[4389]: 6 0 1.00002 shouldn't be
81.36/81.60 WSVECS04 Frhs2[4400]: 6 -0.678053 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[4403]: 6 -9.00006 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[4404]: 6 -121 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[4405]: 6 -1.00008 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[4407]: 6 -1.00007 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[4409]: 6 -1.0001 0 shouldn't be
81.36/81.60 WSVECS04 Frhs2[4417]: 6 -31.2544 0 shouldn't be
88.34/88.66 c #Conflicts: 364000 | #Constraints: 59776
88.34/88.66 c #Conflicts: 365000 | #Constraints: 60776
88.34/88.66 c #Conflicts: 366000 | #Constraints: 61776
88.34/88.66 c #Conflicts: 367000 | #Constraints: 62776
88.34/88.66 c #Conflicts: 368000 | #Constraints: 63776
88.34/88.66 c #Conflicts: 369000 | #Constraints: 64776
88.34/88.66 c INPROCESSING
88.34/88.66 c GARBAGE COLLECT
88.34/88.66 c rational objective 1122.84
99.52/99.85 c #Conflicts: 370000 | #Constraints: 53787
99.52/99.85 c #Conflicts: 371000 | #Constraints: 54787
99.52/99.85 c #Conflicts: 372000 | #Constraints: 55787
99.52/99.85 c #Conflicts: 373000 | #Constraints: 56787
99.52/99.85 c #Conflicts: 374000 | #Constraints: 57787
99.52/99.85 c #Conflicts: 375000 | #Constraints: 58787
99.52/99.85 c #Conflicts: 376000 | #Constraints: 59787
99.52/99.85 c #Conflicts: 377000 | #Constraints: 60787
99.52/99.85 c #Conflicts: 378000 | #Constraints: 61787
99.52/99.85 c #Conflicts: 379000 | #Constraints: 62787
99.52/99.85 c #Conflicts: 380000 | #Constraints: 63787
99.52/99.85 c #Conflicts: 381000 | #Constraints: 64787
99.52/99.85 c INPROCESSING
99.52/99.85 c GARBAGE COLLECT
99.52/99.85 c #Conflicts: 382000 | #Constraints: 53579
99.52/99.85 c #Conflicts: 383000 | #Constraints: 54579
99.52/99.85 c #Conflicts: 384000 | #Constraints: 55579
99.52/99.85 c #Conflicts: 385000 | #Constraints: 56579
99.52/99.85 c #Conflicts: 386000 | #Constraints: 57579
99.52/99.85 c #Conflicts: 387000 | #Constraints: 58579
99.52/99.85 c #Conflicts: 388000 | #Constraints: 59579
99.52/99.85 c #Conflicts: 389000 | #Constraints: 60579
99.52/99.85 c #Conflicts: 390000 | #Constraints: 61579
99.52/99.85 c #Conflicts: 391000 | #Constraints: 62579
99.52/99.85 c #Conflicts: 392000 | #Constraints: 63579
99.52/99.85 c #Conflicts: 393000 | #Constraints: 64579
99.52/99.85 c #Conflicts: 394000 | #Constraints: 65579
99.52/99.85 c INPROCESSING
99.52/99.85 c GARBAGE COLLECT
99.52/99.85 c #Conflicts: 395000 | #Constraints: 54176
99.52/99.85 c #Conflicts: 396000 | #Constraints: 55176
99.52/99.85 c #Conflicts: 397000 | #Constraints: 56176
99.52/99.85 c #Conflicts: 398000 | #Constraints: 57176
99.52/99.85 c #Conflicts: 399000 | #Constraints: 58176
99.52/99.85 c #Conflicts: 400000 | #Constraints: 59176
99.52/99.85 c #Conflicts: 401000 | #Constraints: 60176
99.52/99.85 c #Conflicts: 402000 | #Constraints: 61176
99.52/99.85 c #Conflicts: 403000 | #Constraints: 62176
99.52/99.85 c #Conflicts: 404000 | #Constraints: 63176
99.52/99.85 c #Conflicts: 405000 | #Constraints: 64176
99.52/99.85 c #Conflicts: 406000 | #Constraints: 65176
99.52/99.85 c #Conflicts: 407000 | #Constraints: 66176
99.52/99.85 c INPROCESSING
99.52/99.85 c GARBAGE COLLECT
99.52/99.85 c #Conflicts: 408000 | #Constraints: 54574
99.52/99.85 c #Conflicts: 409000 | #Constraints: 55574
99.52/99.85 c #Conflicts: 410000 | #Constraints: 56574
99.52/99.85 c #Conflicts: 411000 | #Constraints: 57574
99.52/99.85 c #Conflicts: 412000 | #Constraints: 58574
99.52/99.85 c #Conflicts: 413000 | #Constraints: 59574
99.52/99.85 c #Conflicts: 414000 | #Constraints: 60574
99.52/99.85 c #Conflicts: 415000 | #Constraints: 61574
99.52/99.85 c #Conflicts: 416000 | #Constraints: 62574
99.52/99.85 c #Conflicts: 417000 | #Constraints: 63574
99.52/99.85 c #Conflicts: 418000 | #Constraints: 64574
99.52/99.85 c #Conflicts: 419000 | #Constraints: 65574
99.52/99.85 c #Conflicts: 420000 | #Constraints: 66574
99.52/99.85 c INPROCESSING
99.52/99.85 c GARBAGE COLLECT
99.52/99.85 c #Conflicts: 421000 | #Constraints: 54777
99.52/99.85 c #Conflicts: 422000 | #Constraints: 55777
99.52/99.85 c #Conflicts: 423000 | #Constraints: 56777
99.52/99.85 c #Conflicts: 424000 | #Constraints: 57777
99.52/99.85 c #Conflicts: 425000 | #Constraints: 58777
99.52/99.85 c #Conflicts: 426000 | #Constraints: 59777
99.52/99.85 c #Conflicts: 427000 | #Constraints: 60777
99.52/99.85 c #Conflicts: 428000 | #Constraints: 61777
99.52/99.85 c #Conflicts: 429000 | #Constraints: 62777
99.52/99.85 c #Conflicts: 430000 | #Constraints: 63777
99.52/99.85 c #Conflicts: 431000 | #Constraints: 64777
99.52/99.85 c #Conflicts: 432000 | #Constraints: 65777
99.52/99.85 c #Conflicts: 433000 | #Constraints: 66777
99.52/99.85 c INPROCESSING
99.52/99.85 c GARBAGE COLLECT
99.52/99.85 c #Conflicts: 434000 | #Constraints: 54787
99.52/99.85 c #Conflicts: 435000 | #Constraints: 55787
99.52/99.85 c #Conflicts: 436000 | #Constraints: 56787
99.52/99.85 c #Conflicts: 437000 | #Constraints: 57787
99.52/99.85 c #Conflicts: 438000 | #Constraints: 58787
99.52/99.85 c #Conflicts: 439000 | #Constraints: 59787
99.52/99.85 c #Conflicts: 440000 | #Constraints: 60787
99.52/99.85 c #Conflicts: 441000 | #Constraints: 61787
99.52/99.85 c #Conflicts: 442000 | #Constraints: 62787
99.52/99.85 c #Conflicts: 443000 | #Constraints: 63787
99.52/99.85 c #Conflicts: 444000 | #Constraints: 64787
99.52/99.85 c #Conflicts: 445000 | #Constraints: 65787
111.29/111.61 c #Conflicts: 446000 | #Constraints: 66787
111.29/111.61 c INPROCESSING
111.29/111.61 c GARBAGE COLLECT
111.29/111.61 c #Conflicts: 447000 | #Constraints: 53068
111.29/111.61 c #Conflicts: 448000 | #Constraints: 54068
111.29/111.61 c #Conflicts: 449000 | #Constraints: 55068
111.29/111.61 c #Conflicts: 450000 | #Constraints: 56068
111.29/111.61 c #Conflicts: 451000 | #Constraints: 57068
111.29/111.61 c #Conflicts: 452000 | #Constraints: 58068
111.29/111.61 c #Conflicts: 453000 | #Constraints: 59068
111.29/111.61 c #Conflicts: 454000 | #Constraints: 60068
111.29/111.61 c #Conflicts: 455000 | #Constraints: 61068
111.29/111.61 c #Conflicts: 456000 | #Constraints: 62068
111.29/111.61 c #Conflicts: 457000 | #Constraints: 63068
111.29/111.61 c #Conflicts: 458000 | #Constraints: 64068
111.29/111.61 c #Conflicts: 459000 | #Constraints: 65068
111.29/111.61 c #Conflicts: 460000 | #Constraints: 66068
111.29/111.61 c INPROCESSING
111.29/111.61 c GARBAGE COLLECT
111.29/111.61 c #Conflicts: 461000 | #Constraints: 54414
111.29/111.61 c #Conflicts: 462000 | #Constraints: 55414
111.29/111.61 c #Conflicts: 463000 | #Constraints: 56414
111.29/111.61 c #Conflicts: 464000 | #Constraints: 57414
111.29/111.61 c #Conflicts: 465000 | #Constraints: 58414
111.29/111.61 c #Conflicts: 466000 | #Constraints: 59414
111.29/111.61 c #Conflicts: 467000 | #Constraints: 60414
111.29/111.61 c #Conflicts: 468000 | #Constraints: 61414
111.29/111.61 c #Conflicts: 469000 | #Constraints: 62414
111.29/111.61 c #Conflicts: 470000 | #Constraints: 63414
111.29/111.61 c #Conflicts: 471000 | #Constraints: 64414
111.29/111.61 c #Conflicts: 472000 | #Constraints: 65414
111.29/111.61 c #Conflicts: 473000 | #Constraints: 66414
111.29/111.61 c #Conflicts: 474000 | #Constraints: 67414
111.29/111.61 c INPROCESSING
111.29/111.61 c GARBAGE COLLECT
111.29/111.61 c #Conflicts: 475000 | #Constraints: 55191
111.29/111.61 c #Conflicts: 476000 | #Constraints: 56191
111.29/111.61 c #Conflicts: 477000 | #Constraints: 57191
111.29/111.61 c #Conflicts: 478000 | #Constraints: 58191
111.29/111.61 c #Conflicts: 479000 | #Constraints: 59191
111.29/111.61 c #Conflicts: 480000 | #Constraints: 60191
111.29/111.61 c #Conflicts: 481000 | #Constraints: 61191
111.29/111.61 c #Conflicts: 482000 | #Constraints: 62191
111.29/111.61 c #Conflicts: 483000 | #Constraints: 63191
111.29/111.61 c #Conflicts: 484000 | #Constraints: 64191
111.29/111.61 c #Conflicts: 485000 | #Constraints: 65191
111.29/111.61 c #Conflicts: 486000 | #Constraints: 66191
111.29/111.61 c #Conflicts: 487000 | #Constraints: 67191
111.29/111.61 c #Conflicts: 488000 | #Constraints: 68191
111.29/111.61 c INPROCESSING
111.29/111.61 c GARBAGE COLLECT
111.29/111.61 c #Conflicts: 489000 | #Constraints: 55580
111.29/111.61 c #Conflicts: 490000 | #Constraints: 56580
111.29/111.61 c #Conflicts: 491000 | #Constraints: 57580
111.29/111.61 c #Conflicts: 492000 | #Constraints: 58580
111.29/111.61 c #Conflicts: 493000 | #Constraints: 59580
111.29/111.61 c #Conflicts: 494000 | #Constraints: 60580
111.29/111.61 c #Conflicts: 495000 | #Constraints: 61580
111.29/111.61 c #Conflicts: 496000 | #Constraints: 62580
111.29/111.61 c #Conflicts: 497000 | #Constraints: 63580
111.29/111.61 c #Conflicts: 498000 | #Constraints: 64580
111.29/111.61 c #Conflicts: 499000 | #Constraints: 65580
111.29/111.61 c #Conflicts: 500000 | #Constraints: 66580
111.29/111.61 c #Conflicts: 501000 | #Constraints: 67580
111.29/111.61 c cpu time 109.296 s
111.29/111.61 c deterministic time 3535196960 3.54e+09
111.29/111.61 c optimization time 9e-05 s
111.29/111.61 c total solve time 108.922 s
111.29/111.61 c core-guided solve time 0 s
111.29/111.61 c propagation time 58.5385 s
111.29/111.61 c conflict analysis time 13.4736 s
111.29/111.61 c propagations 195124534
111.29/111.61 c resolve steps 7020662
111.29/111.61 c decisions 593996
111.29/111.61 c conflicts 501274
111.29/111.61 c restarts 1022
111.29/111.61 c inprocessing phases 61
111.29/111.61 c garbage collections 57 ,( 93.44 )
111.29/111.61 c input clauses 39952 ,( 97.62 )
111.29/111.61 c input cardinalities 0 ,( 0.00 )
111.29/111.61 c input general constraints 972 ,( 2.38 )
111.29/111.61 c input average constraint length 3.80
111.29/111.61 c input average constraint degree 1.15
111.29/111.61 c learned clauses 501298 ,( 100.00 )
111.29/111.61 c learned cardinalities 0 ,( 0.00 )
111.29/111.61 c learned general constraints 0 ,( 0.00 )
111.29/111.61 c learned average constraint length 36.86
111.29/111.61 c learned average constraint degree 1.00
111.29/111.61 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
111.29/111.61 c counting CF 32, 64, 128, Arb: 972 , 0 , 0 , 0
111.29/111.61 c watched constraints 0 ,( 0.00 )
111.29/111.61 c counting constraints 972 ,( 100.00 )
111.29/111.61 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 854743080 , 0 , 47031503 ,( 0 , 47031503 )
111.29/111.61 c gcd simplifications 31
111.29/111.61 c detected cardinalities 0
111.29/111.61 c weakened non-implied lits 6264823
111.29/111.61 c weakened non-implying lits 82
111.29/111.61 c original variables 4437
111.29/111.61 c clausal propagations 86467708
111.29/111.61 c cardinality propagations 0
111.29/111.61 c watched propagations 0
111.29/111.61 c counting propagations 108155553
111.29/111.61 c watch lookups 901774583
111.29/111.61 c watch backjump lookups 0
111.29/111.61 c watch checks 1874972912
111.29/111.61 c propagation checks 293936127
111.29/111.61 c constraint additions 72463299
111.29/111.61 c trail pops 196218788
111.29/111.61 c formula constraints 40924
111.29/111.61 c learned constraints 501273
111.29/111.61 c bound constraints 0
111.29/111.61 c core-guided constraints 0
111.29/111.61 c encountered formula constraints 5523468
111.29/111.61 c encountered learned constraints 1998468
111.29/111.61 c encountered bound constraints 0
111.29/111.61 c encountered core-guided constraints 0
111.29/111.61 c LP total time 35.3146 s
111.29/111.61 c LP solve time 34.69 s
111.29/111.61 c LP constraints added 40954
111.29/111.61 c LP constraints removed 2
111.29/111.61 c LP pivots internal 60812
111.29/111.61 c LP pivots root 51908
111.29/111.61 c LP calls 11
111.29/111.61 c LP optimalities 6
111.29/111.61 c LP no pivot count 0
111.29/111.61 c LP infeasibilities 0
111.29/111.61 c LP valid Farkas constraints 0
111.29/111.61 c LP learned Farkas constraints 0
111.29/111.61 c LP basis resets 0
111.29/111.61 c LP cycling count 0
111.29/111.61 c LP singular count 0
111.29/111.61 c LP no primal count 0
111.29/111.61 c LP no farkas count 0
111.29/111.61 c LP other issue count 0
111.29/111.61 c LP Gomory cuts 25
111.29/111.61 c LP learned cuts 5
111.29/111.61 c LP deleted cuts 2
111.29/111.61 c LP encountered Gomory constraints 0
111.29/111.61 c LP encountered Farkas constraints 0
111.29/111.61 c LP encountered learned Farkas constraints 0
111.29/111.61 c CG auxiliary variables introduced 0
111.29/111.61 c CG solutions found 0
111.29/111.61 c CG cores constructed 0
111.29/111.61 c CG core cardinality constraints returned 0
111.29/111.61 c CG unit cores 0
111.29/111.61 c CG single cores 0
111.29/111.61 c CG blocks removed during cardinality reduction 0
111.29/111.61 c CG first core best 0
111.29/111.61 c CG decision core best 0
111.29/111.61 c CG core reduction tie 0
111.29/111.61 c CG core degree average 0.00
111.29/111.61 c CG core slack average 0.00
111.29/111.61 c CG core upper bound improvements 0
111.29/111.61 c STR number of successful calls 0
111.29/111.61 c STR number of unsuccessful calls 0
111.29/111.61 c STR number of inconclusive calls 0
111.29/111.61 c STR number of successful attempts 0
111.29/111.61 c STR number of unsuccessful attempts 0
111.29/111.61 c STR number of inconclusive attempts 0
111.29/111.61 c STR average degree increase per successful call inf
111.29/111.61 c STR average degree increase per successful attempt inf
111.29/111.61 c STR total number of conflicts for successful attempts 0
111.29/111.61 c STR total number of conflicts for unsuccessful attempts 0
111.29/111.61 c STR total number of conflicts for inconclusive attempts 0
111.29/111.61 c STR average number of conflicts per successful attempt inf
111.29/111.61 c STR average number of conflicts per unsuccessful attempt inf
111.29/111.61 c STR average number of conflicts per inconclusive attempt inf
111.29/111.61 c AVG.sumWPerc 100.00
111.29/111.61 c bigint constraints 0
111.29/111.61 s UNSATISFIABLE
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: 63837 MiB (62226 MiB free)
memory of node 1: 64465 MiB (63331 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544922-1753232792/watcher-4544922-1753232792 -o /tmp/evaluation-result-4544922-1753232792/solver-4544922-1753232792 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753232791-164349 --watchdog 3760 run-dec-ls.sh HOME/instance-4544922-1753232792.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=164397, runsolver pid=164385
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 1.99 3.16 3.77 7/251 164400
/proc/meminfo: memFree=128558804/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=59628 memory=12672 CPUtime=0.08 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 1512 0 0 0 6 2 0 0 20 0 1 0 238957980 61059072 3168 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 14907 3168 1920 1147 0 2334 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63820 KiB
Current children cumulated memory: 15744 KiB
[startup+0.212939 s]*
/proc/loadavg: 1.99 3.16 3.77 7/251 164401
/proc/meminfo: memFree=128532284/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=63552 memory=17200 CPUtime=0.2 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 2732 0 0 0 14 6 0 0 20 0 1 0 238957980 65077248 4300 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 15888 4300 1920 1147 0 3315 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67744 KiB
Current children cumulated memory: 20272 KiB
[startup+0.312804 s]*
/proc/loadavg: 1.99 3.16 3.77 5/257 164411
/proc/meminfo: memFree=128521448/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=67604 memory=21212 CPUtime=0.29 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 3945 0 0 0 22 7 0 0 20 0 1 0 238957980 69226496 5303 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 16901 5303 1920 1147 0 4328 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71796 KiB
Current children cumulated memory: 24284 KiB
[startup+0.700374 s]
/proc/loadavg: 1.99 3.16 3.77 6/254 164411
/proc/meminfo: memFree=128427124/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=130980 memory=75148 CPUtime=0.67 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 13708 0 0 0 53 14 0 0 20 0 1 0 238957980 134123520 18787 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 32745 18787 2240 1147 0 20172 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 135172 KiB
Current children cumulated memory: 78220 KiB
[startup+1.50037 s]
/proc/loadavg: 1.99 3.16 3.77 3/247 164427
/proc/meminfo: memFree=128397204/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=130980 memory=75404 CPUtime=1.46 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 13715 0 0 0 131 15 0 0 20 0 1 0 238957980 134123520 18851 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 32745 18851 2272 1147 0 20172 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 135172 KiB
Current children cumulated memory: 78476 KiB
[startup+3.11324 s]
/proc/loadavg: 1.99 3.16 3.77 6/253 164492
/proc/meminfo: memFree=128205228/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=130980 memory=77872 CPUtime=3.07 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 13799 0 0 0 289 18 0 0 20 0 1 0 238957980 134123520 19468 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 32745 19468 2304 1147 0 20172 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 135172 KiB
Current children cumulated memory: 80944 KiB
[startup+6.30042 s]
/proc/loadavg: 2.16 3.17 3.77 5/257 164503
/proc/meminfo: memFree=126949716/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=130980 memory=77872 CPUtime=6.25 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 13807 0 0 0 600 25 0 0 20 0 1 0 238957980 134123520 19468 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 32745 19468 2304 1147 0 20172 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 135172 KiB
Current children cumulated memory: 80944 KiB
[startup+12.7004 s]
/proc/loadavg: 2.30 3.19 3.77 5/257 164503
/proc/meminfo: memFree=125921788/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=130980 memory=77872 CPUtime=12.63 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 13818 0 0 0 1229 34 0 0 20 0 1 0 238957980 134123520 19468 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 32745 19468 2304 1147 0 20172 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 135172 KiB
Current children cumulated memory: 80944 KiB
[startup+25.5004 s]
/proc/loadavg: 2.68 3.23 3.77 5/257 164503
/proc/meminfo: memFree=125956784/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=132708 memory=79664 CPUtime=25.39 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 14259 0 0 0 2489 50 0 0 20 0 1 0 238957980 135892992 19916 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 33177 19916 2304 1147 0 20604 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 136900 KiB
Current children cumulated memory: 82736 KiB
[startup+51.1132 s]
/proc/loadavg: 3.13 3.29 3.78 5/257 164504
/proc/meminfo: memFree=125925496/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=137608 memory=81456 CPUtime=50.94 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 14688 0 0 0 5004 90 0 0 20 0 1 0 238957980 140910592 20364 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 34402 20364 2304 1147 0 21829 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 141800 KiB
Current children cumulated memory: 84528 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 3.42 3.80 5/255 164506
/proc/meminfo: memFree=125819536/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=149728 memory=94440 CPUtime=102.01 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 17196 0 0 0 10017 184 0 0 20 0 1 0 238957980 153321472 23610 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 37432 23610 2336 1147 0 24859 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 153920 KiB
Current children cumulated memory: 97512 KiB
[startup+111.621 s]
# the end of solver process 164397 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=109.307 s, system=2.02155 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.401 s]
/proc/loadavg: 3.67 3.42 3.80 5/255 164506
/proc/meminfo: memFree=125819536/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=149728 memory=94440 CPUtime=102.11 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 17196 0 0 0 10027 184 0 0 20 0 1 0 238957980 153321472 23610 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 37432 23610 2336 1147 0 24859 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 153920 KiB
Current children cumulated memory: 97512 KiB
[startup+105.6 s]
/proc/loadavg: 3.70 3.43 3.80 5/255 164506
/proc/meminfo: memFree=125819544/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=150200 memory=94824 CPUtime=105.3 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 17317 0 0 0 10339 191 0 0 20 0 1 0 238957980 153804800 23706 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 37550 23706 2336 1147 0 24977 0
Current children cumulated CPU time: 105.3 s
Current children cumulated vsize: 154392 KiB
Current children cumulated memory: 97896 KiB
[startup+108.8 s]
/proc/loadavg: 3.70 3.43 3.80 5/255 164506
/proc/meminfo: memFree=125819864/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=151072 memory=95720 CPUtime=108.5 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 17538 0 0 0 10654 196 0 0 20 0 1 0 238957980 154697728 23930 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 37768 23930 2336 1147 0 25195 0
Current children cumulated CPU time: 108.5 s
Current children cumulated vsize: 155264 KiB
Current children cumulated memory: 98792 KiB
[startup+110.4 s]
/proc/loadavg: 3.80 3.45 3.81 5/255 164506
/proc/meminfo: memFree=125820116/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=151072 memory=95720 CPUtime=110.1 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 17538 0 0 0 10811 199 0 0 20 0 1 0 238957980 154697728 23930 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 37768 23930 2336 1147 0 25195 0
Current children cumulated CPU time: 110.1 s
Current children cumulated vsize: 155264 KiB
Current children cumulated memory: 98792 KiB
[startup+111.2 s]
/proc/loadavg: 3.80 3.45 3.81 5/255 164506
/proc/meminfo: memFree=125820116/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=151072 memory=95720 CPUtime=110.89 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 17538 0 0 0 10889 200 0 0 20 0 1 0 238957980 154697728 23930 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 37768 23930 2336 1147 0 25195 0
Current children cumulated CPU time: 110.89 s
Current children cumulated vsize: 155264 KiB
Current children cumulated memory: 98792 KiB
[startup+111.6 s]
/proc/loadavg: 3.80 3.45 3.81 5/255 164506
/proc/meminfo: memFree=125820116/131382120 swapFree=33010416/33010684
[pid=164397] ppid=164385 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/164397/stat : 164397 (run-dec-ls.sh) S 164385 164397 164338 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 238957979 4292608 768 18446744073709551615 94665891663872 94665892558405 140722415757904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94665892797456 94665892845200 94665911697408 140722415761765 140722415761891 140722415761891 140722415767495 0
/proc/164397/statm: 1048 768 704 219 0 110 0
[pid=164400] ppid=164397 vsize=151072 memory=95720 CPUtime=111.29 cores=4,6
/proc/164400/stat : 164400 (roundingsat) R 164397 164397 164338 0 -1 4194304 17538 0 0 0 10928 201 0 0 20 0 1 0 238957980 154697728 23930 18446744073709551615 4227072 8923433 140725805583568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15028224 140725805590942 140725805591078 140725805591078 140725805596650 0
/proc/164400/statm: 37768 23930 2336 1147 0 25195 0
Current children cumulated CPU time: 111.29 s
Current children cumulated vsize: 155264 KiB
Current children cumulated memory: 98792 KiB
Child status: 0
Real time (s): 111.621
CPU time (s): 111.328
CPU user time (s): 109.307
CPU system time (s): 2.02155
CPU usage (%): 99.7378
Max. virtual memory (cumulated for all children) (KiB): 155264
Max. memory (cumulated for all children) (KiB): 98792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.307
system time used= 2.02155
maximum resident set size= 95720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17765
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= 168
involuntary context switches= 139
# summary of solver processes directly reported to runsolver:
# pid: 164397
# total CPU time (s): 111.328
# total CPU user time (s): 109.307
# total CPU system time (s): 2.02155
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.586754 second user time and 1.271 second system time
The end
Begin job on nodeC002 at 2025-07-23 03:06:32
IDJOB=4544922
IDBENCH=180686
IDSOLVER=3353
FILE ID=nodeC002/4544922-1753232792
RUNJOBID= nodeC002-1753232791-164349
SLURM_JOB_ID= 9687846
Free space on /tmp= 432316 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat11_9_triangular.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544922-1753232792/watcher-4544922-1753232792 -o /tmp/evaluation-result-4544922-1753232792/solver-4544922-1753232792 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753232791-164349 --watchdog 3760 run-dec-ls.sh HOME/instance-4544922-1753232792.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 55ea5846128537f4a8d7ca86dce5740f
RANDOM SEED=1967098217
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 1197.730
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.468
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.211
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.181
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.343
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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 : 1197.138
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.222
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
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.224
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128570400 kB
MemAvailable: 129867520 kB
Buffers: 2128 kB
Cached: 2049296 kB
SwapCached: 28 kB
Active: 1184736 kB
Inactive: 940496 kB
Active(anon): 93632 kB
Inactive(anon): 6300 kB
Active(file): 1091104 kB
Inactive(file): 934196 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32424 kB
Writeback: 0 kB
AnonPages: 76892 kB
Mapped: 109104 kB
Shmem: 26124 kB
KReclaimable: 222896 kB
Slab: 314184 kB
SReclaimable: 222896 kB
SUnreclaim: 91288 kB
KernelStack: 3860 kB
PageTables: 2988 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 352292 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432240 MiB
End job on nodeC002 at 2025-07-23 03:08:24