Trace number 4544921

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-log 63f22adUNSAT cert. 101.45 101.715

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_9_triangular.opb
MD5SUM55ea5846128537f4a8d7ca86dce5740f
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.785722
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4437
Total number of constraints40924
Number of constraints which are clauses38980
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1944
Minimum length of a constraint2
Maximum length of a constraint11
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 29
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.19/0.22	c #variables 4437 #constraints 40924
9.65/9.75	c #Conflicts:       1000 | #Constraints:      41923
9.65/9.75	c #Conflicts:       2000 | #Constraints:      42923
9.65/9.75	c INPROCESSING
9.65/9.75	c #Conflicts:       3000 | #Constraints:      42930
9.65/9.75	c #Conflicts:       4000 | #Constraints:      43930
9.65/9.75	c INPROCESSING
9.65/9.75	c #Conflicts:       5000 | #Constraints:      43333
9.65/9.75	c #Conflicts:       6000 | #Constraints:      44333
9.65/9.75	c INPROCESSING
9.65/9.75	c GARBAGE COLLECT
9.65/9.75	c #Conflicts:       7000 | #Constraints:      43339
9.65/9.75	c #Conflicts:       8000 | #Constraints:      44339
9.65/9.75	c #Conflicts:       9000 | #Constraints:      45339
9.65/9.75	c INPROCESSING
9.65/9.75	c #Conflicts:      10000 | #Constraints:      44038
9.65/9.75	c #Conflicts:      11000 | #Constraints:      45038
9.65/9.75	c #Conflicts:      12000 | #Constraints:      46038
9.65/9.75	c INPROCESSING
9.65/9.75	c GARBAGE COLLECT
9.65/9.75	c #Conflicts:      13000 | #Constraints:      44490
9.65/9.75	c #Conflicts:      14000 | #Constraints:      45490
9.65/9.75	c #Conflicts:      15000 | #Constraints:      46490
9.65/9.75	c INPROCESSING
9.65/9.75	c #Conflicts:      16000 | #Constraints:      44719
9.65/9.75	c #Conflicts:      17000 | #Constraints:      45719
9.65/9.75	c #Conflicts:      18000 | #Constraints:      46719
9.65/9.75	c INPROCESSING
9.65/9.75	c GARBAGE COLLECT
9.65/9.75	c #Conflicts:      19000 | #Constraints:      44728
9.65/9.75	c #Conflicts:      20000 | #Constraints:      45728
9.65/9.75	c #Conflicts:      21000 | #Constraints:      46728
9.65/9.75	c INPROCESSING
9.65/9.75	c GARBAGE COLLECT
9.65/9.75	c #Conflicts:      22000 | #Constraints:      44536
9.65/9.75	c #Conflicts:      23000 | #Constraints:      45536
9.65/9.75	c #Conflicts:      24000 | #Constraints:      46536
9.65/9.75	c #Conflicts:      25000 | #Constraints:      47536
9.65/9.75	c INPROCESSING
9.65/9.75	c GARBAGE COLLECT
9.65/9.75	c #Conflicts:      26000 | #Constraints:      45141
9.65/9.75	c #Conflicts:      27000 | #Constraints:      46141
9.65/9.75	c #Conflicts:      28000 | #Constraints:      47141
9.65/9.75	c #Conflicts:      29000 | #Constraints:      48141
9.65/9.75	c INPROCESSING
9.65/9.75	c GARBAGE COLLECT
9.65/9.75	c #Conflicts:      30000 | #Constraints:      45539
9.65/9.75	c #Conflicts:      31000 | #Constraints:      46539
9.65/9.75	c #Conflicts:      32000 | #Constraints:      47539
9.65/9.75	c #Conflicts:      33000 | #Constraints:      48539
9.65/9.75	c INPROCESSING
9.65/9.75	c GARBAGE COLLECT
9.65/9.75	c #Conflicts:      34000 | #Constraints:      45738
9.65/9.75	c #Conflicts:      35000 | #Constraints:      46738
9.65/9.75	c #Conflicts:      36000 | #Constraints:      47738
9.65/9.75	c #Conflicts:      37000 | #Constraints:      48738
9.65/9.75	c INPROCESSING
9.65/9.75	c GARBAGE COLLECT
9.65/9.75	c #Conflicts:      38000 | #Constraints:      45742
9.65/9.75	c #Conflicts:      39000 | #Constraints:      46742
9.65/9.75	c #Conflicts:      40000 | #Constraints:      47742
9.65/9.75	c #Conflicts:      41000 | #Constraints:      48742
9.65/9.75	c INPROCESSING
9.65/9.75	c GARBAGE COLLECT
9.65/9.75	c #Conflicts:      42000 | #Constraints:      45546
9.65/9.75	c #Conflicts:      43000 | #Constraints:      46546
9.65/9.75	c #Conflicts:      44000 | #Constraints:      47546
9.65/9.75	c #Conflicts:      45000 | #Constraints:      48546
9.65/9.75	c #Conflicts:      46000 | #Constraints:      49546
9.65/9.75	c INPROCESSING
9.65/9.75	c GARBAGE COLLECT
9.65/9.75	c #Conflicts:      47000 | #Constraints:      46145
9.65/9.75	c #Conflicts:      48000 | #Constraints:      47145
9.65/9.75	c #Conflicts:      49000 | #Constraints:      48145
9.65/9.75	c #Conflicts:      50000 | #Constraints:      49145
9.65/9.75	c #Conflicts:      51000 | #Constraints:      50145
9.65/9.75	c INPROCESSING
9.65/9.75	c GARBAGE COLLECT
9.65/9.75	WSVECS04 Frhs2[3]: 6 -5.22759 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[8]: 6 -4.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[9]: 6 -5.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[13]: 6 -21.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[15]: 6 -5.25002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[18]: 6 -3.25007 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[26]: 6 -3.00007 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[33]: 6 -4.75002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[36]: 6 -4.02317 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[40]: 6 -3.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[45]: 6 -2.16334 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[47]: 6 -4.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[50]: 6 -12.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[55]: 6 -97.0713 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[70]: 6 -7.44669 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[100]: 6 -5.81332 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[111]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[113]: 6 -4.72759 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[116]: 6 -3.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[117]: 6 -6.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[118]: 6 -6.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[120]: 6 -7.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[121]: 6 -4.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[122]: 6 -7.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[123]: 6 -6.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[126]: 6 -5.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[146]: 6 -13.5232 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[154]: 6 -10 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[155]: 6 -12.4133 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[163]: 6 -13 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[164]: 6 -7.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[165]: 6 -100.821 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[166]: 6 -11.1339 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[171]: 6 -11.2481 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[220]: 6 -109.788 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[221]: 6 -5.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[224]: 6 -5.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[227]: 6 -10 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[228]: 6 -14 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[229]: 6 -7.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[231]: 6 -8.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[232]: 6 -6.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[233]: 6 -7.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[235]: 6 -10.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[248]: 6 -7.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[255]: 6 -7.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[256]: 6 -8.52317 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[263]: 6 -8.00001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[264]: 6 -15.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[265]: 6 -2.41338 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[272]: 6 -9.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[275]: 6 -99.8213 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[278]: 6 -4.22754 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[280]: 6 -4.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[285]: 6 -7.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[303]: 6 -1.75002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[313]: 6 -3.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[316]: 6 -4.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[320]: 6 -7.91338 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[330]: 6 -102.821 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[336]: 6 -4.47159 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[386]: 6 -8.50009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[387]: 6 -16 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[388]: 6 -10.2276 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[395]: 6 -5.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[399]: 6 -5.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[400]: 6 -4.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[404]: 6 -5.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[405]: 6 -4.00001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[410]: 6 -6.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[411]: 6 -5.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[412]: 6 -8.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[413]: 6 -4.00001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[417]: 6 -4.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[418]: 6 -8.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[420]: 6 -4.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[426]: 6 -4.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[427]: 6 -4.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[428]: 6 -4.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[434]: 6 -9.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[437]: 6 -5.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[438]: 6 -98.8214 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[439]: 6 -5.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[461]: 6 -4.82343 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[495]: 6 -105.778 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[506]: 6 -1.00007 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[508]: 6 -1.00001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[538]: 6 -12.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[578]: 6 -13.7501 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[596]: 6 -1.75003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[608]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[627]: 6 -5.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[646]: 6 -1.25005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[651]: 6 -1.25002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[656]: 6 -1.00001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[828]: 6 -1.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[829]: 6 -1.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[838]: 6 -1.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[839]: 6 -1.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[840]: 6 -1.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[842]: 6 -1.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[851]: 6 -1.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[853]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[854]: 6 -1.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[872]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[873]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[875]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[878]: 6 -1.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[879]: 6 -1.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[896]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[899]: 6 -6.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[900]: 6 -8.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[981]: 6 -1.00007 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[990]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1158]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1165]: 6 -1.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1166]: 6 -2.00007 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1181]: 6 -1.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1184]: 6 -1.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1204]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1295]: 6 -1.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1303]: 6 -1.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1319]: 6 -9.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1320]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1331]: 6 -1.00007 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1335]: 6 -1.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1345]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1419]: 6 -1.75002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1430]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1700]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1708]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1712]: 6 -1.00007 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1716]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1720]: 6 -1.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1725]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1730]: 6 -1.00007 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1735]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1739]: 6 -1.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1740]: 6 -1.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1745]: 6 -1.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1749]: 6 -1.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1751]: 6 -1.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1763]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1773]: 6 -1.00007 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1782]: 6 -1.00001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1789]: 6 -5.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1797]: 6 -1.00001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1803]: 6 -5.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1806]: 6 -1.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1810]: 6 -5.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[1813]: 6 -1.00007 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2090]: 6 -30.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2091]: 6 -1.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2094]: 6 0 4.00009 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2107]: 6 -2.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2117]: 6 -91 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2118]: 6 0 2.00002 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2124]: 6 0 1.00004 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2129]: 6 0 2.00004 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2133]: 6 0 7.00003 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2197]: 6 -15.4551 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2201]: 6 0 1.00005 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2207]: 6 -23.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2208]: 6 -1.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2210]: 6 0 2.00008 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2215]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2218]: 6 0 3.00008 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2225]: 6 0 4.00005 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2231]: 6 0 5.00003 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2236]: 6 0 3.00007 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2359]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2360]: 6 0 1.00007 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2368]: 6 -1.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2369]: 6 0 9.00006 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2377]: 6 0 6.00005 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2513]: 6 -1.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2546]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2553]: 6 -1.00007 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2567]: 6 -10 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2571]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2579]: 6 -1.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2585]: 6 -1.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2625]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2799]: 6 -1.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2800]: 6 -1.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2807]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2808]: 6 -1.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2815]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2821]: 6 -1.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2850]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2852]: 6 -2.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2858]: 6 -1.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2878]: 6 -1.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2958]: 6 -1.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2959]: 6 -1.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2960]: 6 -1.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[2961]: 6 -1.00008 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3128]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3137]: 6 -1.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3172]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3173]: 6 -1.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3187]: 6 -1.00001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3209]: 6 -1.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3282]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3283]: 6 -1.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3284]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3290]: 6 -1.00009 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3453]: 6 -0.333348 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3454]: 6 -0.333349 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3731]: 6 -1.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3747]: 6 -1.00003 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3753]: 6 -1.00007 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3755]: 6 -1.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3761]: 6 -1.00001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3775]: 6 -1.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3783]: 6 -8.91336 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3786]: 6 -0.500022 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3953]: 6 0 2.00005 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3959]: 6 0 1.00004 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3975]: 6 -0.250096 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[3981]: 6 -76 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4003]: 6 -16.75 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4005]: 6 -10.5001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4107]: 6 0 1.00003 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4108]: 6 0 2.00005 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4208]: 6 0 1.00006 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4209]: 6 0 1.00003 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4210]: 6 0 1.00003 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4211]: 6 0 4.00003 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4212]: 6 0 8.00003 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4215]: 6 -1.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4217]: 6 -4.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4219]: 6 -1.00001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4221]: 6 -13.0001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4259]: 6 -37 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4267]: 6 -5.00004 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4270]: 6 -19.5 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4351]: 6 0 1.00009 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4353]: 6 0 0.500027 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4354]: 6 0 2.00002 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4355]: 6 0 1.00006 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4356]: 6 0 5.50007 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4364]: 6 -1.00005 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4365]: 6 -1.00002 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4366]: 6 -1.00001 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4367]: 6 -1.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4371]: 6 -5.00006 0 shouldn't be
9.65/9.75	WSVECS04 Frhs2[4380]: 6 -285.464 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[12]: 6 -5.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[28]: 6 -5.31259 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[30]: 6 -4.00007 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[34]: 6 -3.75006 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[41]: 6 -5.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[43]: 6 -3.0001 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[48]: 6 -5.75002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[325]: 6 -3.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[327]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[329]: 6 -5.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[406]: 6 -3.00009 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[419]: 6 -5.00009 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[564]: 6 -1.00002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[567]: 6 -1.00004 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[570]: 6 -1.00002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[579]: 6 -1.00002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[580]: 6 -1.00002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[585]: 6 -1.00006 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[589]: 6 -1.00006 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[601]: 6 -1.00002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[610]: 6 -2.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[614]: 6 -2.00009 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[619]: 6 -1.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[620]: 6 -1.00002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[637]: 6 -2.00004 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[638]: 6 -2.00002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[827]: 6 -1.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[837]: 6 -1.00007 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[852]: 6 -1.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[855]: 6 -1.00004 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[874]: 6 -1.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[876]: 6 -1.00002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[877]: 6 -1.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[897]: 6 -1.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1156]: 6 -1.00004 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1168]: 6 -1.00009 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1183]: 6 -1.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1203]: 6 -1.00009 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1205]: 6 -1.00007 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1281]: 6 -1.00006 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1311]: 6 -1.00002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1318]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1333]: 6 -1.00006 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1339]: 6 -1.00002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1341]: 6 -1.00002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1467]: 6 -2.00007 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1468]: 6 -2.00004 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1729]: 6 -1.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1750]: 6 -1.00006 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1755]: 6 -1.00007 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1774]: 6 -1.00009 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1775]: 6 -1.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1781]: 6 -1.00006 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1795]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1796]: 6 -1.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1798]: 6 -1.00004 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1805]: 6 -1.00006 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[1811]: 6 -1.00007 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2092]: 6 -1.00001 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2093]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2101]: 6 -1.00009 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2108]: 6 -1.00007 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2109]: 6 -1.00009 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2116]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2123]: 6 -1.00009 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2199]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2216]: 6 -1.00002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2230]: 6 -1.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2519]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2521]: 6 -1.00006 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2549]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2552]: 6 -1.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2564]: 6 -9.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2581]: 6 -1.00004 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2591]: 6 -1.00007 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2597]: 6 -5.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2609]: 6 -1.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2797]: 6 -1.00001 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2798]: 6 -1.00007 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2806]: 6 -1.00001 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2827]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2843]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2851]: 6 -1.00007 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2857]: 6 -1.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2880]: 6 -1.00009 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2906]: 6 -1.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2907]: 6 -1.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[2927]: 6 -1.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3130]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3136]: 6 -1.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3181]: 6 -1.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3291]: 6 -1.0001 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3368]: 6 -1.00006 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3732]: 6 -1.00001 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3737]: 6 -1.00009 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3739]: 6 -1.00004 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3740]: 6 -1.0001 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3746]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3752]: 6 -1.00001 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3754]: 6 -1.00006 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3759]: 6 -1.00006 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3764]: 6 -1.00002 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3766]: 6 -1.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3768]: 6 -1.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3769]: 6 -1.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3774]: 6 -1.00009 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3776]: 6 -1.00004 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3780]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3955]: 6 0 0.750045 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3965]: 6 -1.00001 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3972]: 6 -1.00003 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3973]: 6 -1.00004 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3982]: 6 -1.00007 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3987]: 6 -7.00007 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[3999]: 6 -5.00008 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[4105]: 6 0 10 shouldn't be
11.44/11.54	WSVECS04 Frhs2[4113]: 6 -1.00005 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[4368]: 6 -1.00006 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[4370]: 6 -1.00004 0 shouldn't be
11.44/11.54	WSVECS04 Frhs2[4375]: 6 -1.00003 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[1]: 6 0 20.0001 shouldn't be
14.54/14.65	WSVECS04 Frhs2[5]: 6 -4.00008 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[25]: 6 -3.00007 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[61]: 6 -3.01807 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[276]: 6 0 25 shouldn't be
14.54/14.65	WSVECS04 Frhs2[281]: 6 -8.00008 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[283]: 6 -4.00007 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[284]: 6 -5.00005 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[287]: 6 -3.00007 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[288]: 6 -4.00006 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[289]: 6 -3.00001 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[292]: 6 -8.75008 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[293]: 6 -3.00003 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[294]: 6 -3.00003 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[298]: 6 -4.75004 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[299]: 6 -3.00005 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[302]: 6 -11.0001 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[305]: 6 -3.00004 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[306]: 6 -4.00008 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[307]: 6 -5.00009 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[315]: 6 -4.00002 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[317]: 6 -4.00007 0 shouldn't be
14.54/14.65	WSVECS04 Frhs2[322]: 6 -3.00003 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[323]: 6 -4.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[520]: 6 -1.25003 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[553]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[563]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[574]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[594]: 6 -1.75009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[598]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[606]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[650]: 6 -6.5001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[830]: 6 -1.0001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[841]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1202]: 6 -1.0001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1343]: 6 -1.00001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1347]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1348]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1359]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1362]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1370]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1374]: 6 -1.00003 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1377]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1378]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1382]: 6 -1.0001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1386]: 6 -2.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1395]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1397]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1398]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1399]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1400]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1415]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1424]: 6 -1.00001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1425]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1426]: 6 -1.0001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1443]: 6 -1.0001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1444]: 6 -1.00001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1445]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1448]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1450]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1457]: 6 -2.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1464]: 6 -2.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1466]: 6 -2.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1471]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1472]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1473]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1474]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1475]: 6 -1.00003 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1476]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1480]: 6 -2.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1481]: 6 -2.00001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1482]: 6 -2.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1483]: 6 -2.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1756]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1761]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1762]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1768]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1787]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1788]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[1802]: 6 -1.00003 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[2110]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[2198]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[2517]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[2527]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[2535]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[2576]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[2582]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[2822]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[2844]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[2845]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[2879]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3129]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3144]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3174]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3285]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3345]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3351]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3352]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3355]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3360]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3363]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3364]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3366]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3369]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3370]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3371]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3380]: 6 -1.00001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3391]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3392]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3394]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3396]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3397]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3398]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3399]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3401]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3408]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3410]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3412]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3414]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3415]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3417]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3418]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3419]: 6 -1.00003 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3420]: 6 -1.00001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3423]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3427]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3430]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3431]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3433]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3443]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3444]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3445]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3450]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3452]: 6 -1.0001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3736]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3738]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3741]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3742]: 6 -1.00003 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3743]: 6 -1.00009 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3745]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3748]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3749]: 6 -1.00002 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3750]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3756]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3762]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3763]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3767]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3777]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3778]: 6 -1.00003 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3984]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[3986]: 6 -1.0001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4220]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4238]: 6 -1.00003 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4239]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4240]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4241]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4242]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4244]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4245]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4247]: 6 -1.00007 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4249]: 6 -1.00004 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4250]: 6 -1.00006 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4252]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4257]: 6 -1.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4261]: 6 -1.00008 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4262]: 6 -6.00005 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4349]: 6 0 1.00007 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4372]: 6 -1.0001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4374]: 6 -1.0001 0 shouldn't be
14.54/14.66	WSVECS04 Frhs2[4381]: 6 -1.00008 0 shouldn't be
23.71/23.86	c #Conflicts:      52000 | #Constraints:      46544
23.71/23.86	c #Conflicts:      53000 | #Constraints:      47544
23.71/23.86	c #Conflicts:      54000 | #Constraints:      48544
23.71/23.86	c #Conflicts:      55000 | #Constraints:      49544
23.71/23.86	c #Conflicts:      56000 | #Constraints:      50544
23.71/23.86	c INPROCESSING
23.71/23.86	c GARBAGE COLLECT
23.71/23.86	c #Conflicts:      57000 | #Constraints:      46751
23.71/23.86	c #Conflicts:      58000 | #Constraints:      47751
23.71/23.86	c #Conflicts:      59000 | #Constraints:      48751
23.71/23.86	c #Conflicts:      60000 | #Constraints:      49751
23.71/23.86	c #Conflicts:      61000 | #Constraints:      50751
23.71/23.86	c INPROCESSING
23.71/23.86	c GARBAGE COLLECT
23.71/23.86	c #Conflicts:      62000 | #Constraints:      46749
23.71/23.86	c #Conflicts:      63000 | #Constraints:      47749
23.71/23.86	c #Conflicts:      64000 | #Constraints:      48749
23.71/23.86	c #Conflicts:      65000 | #Constraints:      49749
23.71/23.86	c #Conflicts:      66000 | #Constraints:      50749
23.71/23.86	c INPROCESSING
23.71/23.86	c GARBAGE COLLECT
23.71/23.86	c #Conflicts:      67000 | #Constraints:      46551
23.71/23.86	c #Conflicts:      68000 | #Constraints:      47551
23.71/23.86	c #Conflicts:      69000 | #Constraints:      48551
23.71/23.86	c #Conflicts:      70000 | #Constraints:      49551
23.71/23.86	c #Conflicts:      71000 | #Constraints:      50551
23.71/23.86	c #Conflicts:      72000 | #Constraints:      51551
23.71/23.86	c INPROCESSING
23.71/23.86	c GARBAGE COLLECT
23.71/23.86	c #Conflicts:      73000 | #Constraints:      47142
23.71/23.86	c #Conflicts:      74000 | #Constraints:      48142
23.71/23.86	c #Conflicts:      75000 | #Constraints:      49142
23.71/23.86	c #Conflicts:      76000 | #Constraints:      50142
23.71/23.86	c #Conflicts:      77000 | #Constraints:      51142
23.71/23.86	c #Conflicts:      78000 | #Constraints:      52142
23.71/23.86	c INPROCESSING
23.71/23.86	c GARBAGE COLLECT
23.71/23.86	c #Conflicts:      79000 | #Constraints:      47547
23.71/23.86	c #Conflicts:      80000 | #Constraints:      48547
23.71/23.86	c #Conflicts:      81000 | #Constraints:      49547
23.71/23.86	c #Conflicts:      82000 | #Constraints:      50547
23.71/23.86	c #Conflicts:      83000 | #Constraints:      51547
23.71/23.86	c #Conflicts:      84000 | #Constraints:      52547
23.71/23.86	c INPROCESSING
23.71/23.86	c GARBAGE COLLECT
23.71/23.86	c #Conflicts:      85000 | #Constraints:      47750
23.71/23.86	c #Conflicts:      86000 | #Constraints:      48750
23.71/23.86	c #Conflicts:      87000 | #Constraints:      49750
23.71/23.86	c #Conflicts:      88000 | #Constraints:      50750
23.71/23.86	c #Conflicts:      89000 | #Constraints:      51750
23.71/23.86	c #Conflicts:      90000 | #Constraints:      52750
23.71/23.86	c INPROCESSING
23.71/23.86	c GARBAGE COLLECT
23.71/23.86	c #Conflicts:      91000 | #Constraints:      47750
23.71/23.86	c #Conflicts:      92000 | #Constraints:      48750
23.71/23.86	c #Conflicts:      93000 | #Constraints:      49750
23.71/23.86	c #Conflicts:      94000 | #Constraints:      50750
23.71/23.86	c #Conflicts:      95000 | #Constraints:      51750
23.71/23.86	c #Conflicts:      96000 | #Constraints:      52750
23.71/23.86	c INPROCESSING
23.71/23.86	c GARBAGE COLLECT
23.71/23.86	c #Conflicts:      97000 | #Constraints:      47558
23.71/23.86	c #Conflicts:      98000 | #Constraints:      48558
23.71/23.86	c #Conflicts:      99000 | #Constraints:      49558
23.71/23.86	c #Conflicts:     100000 | #Constraints:      50558
23.71/23.86	WSVECS04 Frhs2[47]: 6 -99.2851 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[56]: 6 -6.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[83]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[114]: 6 -7.16673 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[116]: 6 -4.00009 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[118]: 6 -38.8929 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[119]: 6 -86.2048 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[128]: 6 -14.5834 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[171]: 6 -45.2885 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[391]: 6 0 8.00006 shouldn't be
23.71/23.86	WSVECS04 Frhs2[429]: 6 -33.8001 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[430]: 6 -88.7698 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[540]: 6 -1.00004 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[564]: 6 -92.9286 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[587]: 6 -1.0001 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[589]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[590]: 6 -1.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[612]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[613]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[614]: 6 -1.00001 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[629]: 6 0 4.00009 shouldn't be
23.71/23.86	WSVECS04 Frhs2[632]: 6 -1.00005 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[633]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[634]: 6 -1.00006 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[647]: 6 -1.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[648]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[649]: 6 -1.00001 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[653]: 6 -1.00006 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[655]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[656]: 6 -1.00004 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[657]: 6 -1.00002 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[658]: 6 -1.00006 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[660]: 6 -1.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[702]: 6 0 92.6083 shouldn't be
23.71/23.86	WSVECS04 Frhs2[726]: 6 0 197.073 shouldn't be
23.71/23.86	WSVECS04 Frhs2[777]: 6 0 50.1568 shouldn't be
23.71/23.86	WSVECS04 Frhs2[811]: 6 0 13.7052 shouldn't be
23.71/23.86	WSVECS04 Frhs2[824]: 6 0 95.3134 shouldn't be
23.71/23.86	WSVECS04 Frhs2[842]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[859]: 6 -1.1667 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[897]: 6 -1.00004 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[901]: 6 0 1.00004 shouldn't be
23.71/23.86	WSVECS04 Frhs2[968]: 6 0 1.00007 shouldn't be
23.71/23.86	WSVECS04 Frhs2[972]: 6 0 1.00006 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1025]: 6 0 14.6384 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1026]: 6 0 46.8401 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1049]: 6 0 26.1409 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1085]: 6 0 79.2847 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1101]: 6 0 16.6008 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1102]: 6 0 30.9279 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1119]: 6 0 13.2344 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1120]: 6 0 18.2511 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1153]: 6 0 82.9123 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1278]: 6 0 2.00003 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1281]: 6 -1.00003 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1284]: 6 0 2.00007 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1302]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1307]: 6 0 1.00003 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1310]: 6 -1.00003 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1311]: 6 -1.00001 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1315]: 6 0 1.00007 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1316]: 6 0 2.00003 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1318]: 6 -1.00004 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1319]: 6 -1.00004 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1330]: 6 0 1.00001 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1348]: 6 -1.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1356]: 6 -5.28645 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1366]: 6 -1.00005 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1379]: 6 0 636.599 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1381]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1398]: 6 -1.00002 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1403]: 6 -1.00004 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1407]: 6 -1.00006 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1412]: 6 -1.00006 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1413]: 6 -1.00003 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1418]: 6 -9.75005 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1436]: 6 -653.299 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1455]: 6 -1.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1456]: 6 -1.00006 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1463]: 6 -10.825 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1471]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1479]: 6 -1.80002 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1553]: 6 0 128.026 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1601]: 6 0 107.213 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1646]: 6 0 320.34 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1647]: 6 0 0.777813 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1651]: 6 -1.00005 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1707]: 6 0 228.196 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1751]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1752]: 6 0 304.262 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1761]: 6 -1.00001 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1789]: 6 -1.00005 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1796]: 6 -1.00002 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1797]: 6 -1.00003 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1848]: 6 0 8.36347 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1851]: 6 0 1.66104 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1853]: 6 0 0.549931 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1910]: 6 0 67.848 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1920]: 6 0 8.1151 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1945]: 6 0 33.3635 shouldn't be
23.71/23.86	WSVECS04 Frhs2[1972]: 6 0 38.1081 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2099]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2239]: 6 0 36.9992 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2244]: 6 0 9.75007 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2298]: 6 0 54.9615 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2526]: 6 -1.00009 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2532]: 6 -1.00005 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2537]: 6 -1.00003 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2546]: 6 -1.00003 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2554]: 6 -1.00006 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2560]: 6 -1.00003 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2565]: 6 -1.00002 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2574]: 6 -1.00005 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2575]: 6 -1.00005 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2581]: 6 -1.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2586]: 6 -1.00009 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2590]: 6 -1.00006 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2593]: 6 -1.00006 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2601]: 6 -1.00006 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2605]: 6 -1.50009 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2610]: 6 -1.00005 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2611]: 6 -1.00006 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2615]: 6 -1.00005 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2618]: 6 -1.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2620]: 6 -1.00007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2626]: 6 -1.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2629]: 6 -1.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2631]: 6 -1.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2669]: 6 0 76.084 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2708]: 6 0 42.905 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2726]: 6 0 57.1567 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2761]: 6 0 50.1567 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2837]: 6 0 176.944 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2841]: 6 0 56.989 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2881]: 6 0 1.00008 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2959]: 6 -1.00004 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[2992]: 6 0 27.4763 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3029]: 6 0 10.9883 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3059]: 6 0 36.6599 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3167]: 6 0 12.75 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3170]: 6 0 111.999 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3282]: 6 -1.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3283]: 6 -1.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3284]: 6 -1.00009 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3285]: 6 -1.00003 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3288]: 6 -1.00003 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3289]: 6 -1.00009 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3290]: 6 -1.00002 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3337]: 6 -1.00004 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3339]: 6 -1.00001 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3341]: 6 -1.00002 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3342]: 6 -1.00003 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3343]: 6 -1.00003 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3359]: 6 -1.00004 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3375]: 6 -1.12509 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3379]: 6 -1.12505 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3384]: 6 -1.12506 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3387]: 6 -1.00008 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3389]: 6 -1.00002 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3488]: 6 0 106.788 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3493]: 6 0 963.136 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3498]: 6 0 114.907 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3516]: 6 0 2.21214 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3529]: 6 0 1.87504 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3553]: 6 0 755.586 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3560]: 6 0 102.425 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3755]: 6 -36.2001 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3770]: 6 -4.20009 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3783]: 6 -1.00002 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3785]: 6 -616.023 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3794]: 6 0 56.1578 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3802]: 6 0 8.25854 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3842]: 6 0 1.10503 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3855]: 6 0 1.53755 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3859]: 6 0 22.2652 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3912]: 6 0 20.4462 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3913]: 6 0 19.4463 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3955]: 6 0 2.0001 shouldn't be
23.71/23.86	WSVECS04 Frhs2[3957]: 6 0 6.50005 shouldn't be
23.71/23.86	WSVECS04 Frhs2[4000]: 6 -4.25007 0 shouldn't be
23.71/23.86	WSVECS04 Frhs2[4022]: 6 0 141.154 shouldn't be
23.71/23.86	WSVECS04 Frhs2[4023]: 6 0 1.71372 shouldn't be
23.71/23.86	WSVECS04 Frhs2[4087]: 6 0 40.0728 shouldn't be
23.71/23.86	WSVECS04 Frhs2[4171]: 6 0 100.213 shouldn't be
23.71/23.86	WSVECS04 Frhs2[4211]: 6 0 0.250042 shouldn't be
23.71/23.86	WSVECS04 Frhs2[4231]: 6 0 3.00008 shouldn't be
23.71/23.86	WSVECS04 Frhs2[4293]: 6 0 1.71374 shouldn't be
23.71/23.86	WSVECS04 Frhs2[4349]: 6 0 70.3655 shouldn't be
23.71/23.86	WSVECS04 Frhs2[4350]: 6 0 163.447 shouldn't be
25.21/25.39	WSVECS04 Frhs2[853]: 6 -1.00004 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[898]: 6 -9.75008 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[900]: 6 -1.00005 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[1128]: 6 0 48.179 shouldn't be
25.21/25.39	WSVECS04 Frhs2[1369]: 6 -1.00001 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[1373]: 6 -1.00002 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[1393]: 6 -1.00003 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[1721]: 6 0 231.196 shouldn't be
25.21/25.39	WSVECS04 Frhs2[1739]: 6 -1.00003 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[1748]: 6 0 75.0655 shouldn't be
25.21/25.39	WSVECS04 Frhs2[1774]: 6 -1.00007 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[1783]: 6 -1.00008 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[1804]: 6 -1.00002 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[1812]: 6 -1.00004 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[1813]: 6 -1.00005 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[2696]: 6 0 146.815 shouldn't be
25.21/25.39	WSVECS04 Frhs2[2842]: 6 -1.00003 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[2907]: 6 -1.00004 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[3066]: 6 0 6.54252 shouldn't be
25.21/25.39	WSVECS04 Frhs2[3067]: 6 0 4.54253 shouldn't be
25.21/25.39	WSVECS04 Frhs2[3738]: 6 -1.00005 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[3744]: 6 -1.00007 0 shouldn't be
25.21/25.39	WSVECS04 Frhs2[3765]: 6 -1.00009 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[155]: 6 -248.257 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[826]: 6 -1.50008 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[835]: 6 -1.00008 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[852]: 6 -1.00007 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[1288]: 6 -1.00005 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[1724]: 6 -1.00003 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[1744]: 6 -1.00005 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[1775]: 6 -1.00006 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[1790]: 6 -1.0001 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[1805]: 6 -1.00006 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[2722]: 6 0 12.7052 shouldn't be
27.61/27.70	WSVECS04 Frhs2[2725]: 6 0 1.00007 shouldn't be
27.61/27.70	WSVECS04 Frhs2[2801]: 6 -1.00006 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[2809]: 6 -1.00004 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[2816]: 6 -1.00008 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[2827]: 6 -1.00006 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[2840]: 6 0 9.00009 shouldn't be
27.61/27.70	WSVECS04 Frhs2[2978]: 6 0 22.9831 shouldn't be
27.61/27.70	WSVECS04 Frhs2[2998]: 6 0 10.6769 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3031]: 6 0 97.4972 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3286]: 6 -1.00002 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3287]: 6 -3.75006 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3773]: 6 -1.00006 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3775]: 6 -1.20003 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3819]: 6 0 1.54375 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3963]: 6 -1.00005 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3968]: 6 -1.00004 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3977]: 6 -1.00009 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3979]: 6 -1.0001 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3980]: 6 -1.00006 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3985]: 6 -1.00008 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3988]: 6 -1.00009 0 shouldn't be
27.61/27.70	WSVECS04 Frhs2[3990]: 6 -1.00003 0 shouldn't be
39.88/40.01	c #Conflicts:     101000 | #Constraints:      51558
39.88/40.01	c #Conflicts:     102000 | #Constraints:      52558
39.88/40.01	c #Conflicts:     103000 | #Constraints:      53558
39.88/40.01	c INPROCESSING
39.88/40.01	c GARBAGE COLLECT
39.88/40.01	c #Conflicts:     104000 | #Constraints:      48151
39.88/40.01	c #Conflicts:     105000 | #Constraints:      49151
39.88/40.01	c #Conflicts:     106000 | #Constraints:      50151
39.88/40.01	c #Conflicts:     107000 | #Constraints:      51151
39.88/40.01	c #Conflicts:     108000 | #Constraints:      52151
39.88/40.01	c #Conflicts:     109000 | #Constraints:      53151
39.88/40.01	c #Conflicts:     110000 | #Constraints:      54151
39.88/40.01	c INPROCESSING
39.88/40.01	c GARBAGE COLLECT
39.88/40.01	c #Conflicts:     111000 | #Constraints:      48554
39.88/40.01	c #Conflicts:     112000 | #Constraints:      49554
39.88/40.01	c #Conflicts:     113000 | #Constraints:      50554
39.88/40.01	c #Conflicts:     114000 | #Constraints:      51554
39.88/40.01	c #Conflicts:     115000 | #Constraints:      52554
39.88/40.01	c #Conflicts:     116000 | #Constraints:      53554
39.88/40.01	c #Conflicts:     117000 | #Constraints:      54554
39.88/40.01	c INPROCESSING
39.88/40.01	c GARBAGE COLLECT
39.88/40.01	c #Conflicts:     118000 | #Constraints:      48744
39.88/40.01	c #Conflicts:     119000 | #Constraints:      49744
39.88/40.01	c #Conflicts:     120000 | #Constraints:      50744
39.88/40.01	c #Conflicts:     121000 | #Constraints:      51744
39.88/40.01	c #Conflicts:     122000 | #Constraints:      52744
39.88/40.01	c #Conflicts:     123000 | #Constraints:      53744
39.88/40.01	c #Conflicts:     124000 | #Constraints:      54744
39.88/40.01	c INPROCESSING
39.88/40.01	c GARBAGE COLLECT
39.88/40.01	c #Conflicts:     125000 | #Constraints:      48746
39.88/40.01	c #Conflicts:     126000 | #Constraints:      49746
39.88/40.01	c #Conflicts:     127000 | #Constraints:      50746
39.88/40.01	c #Conflicts:     128000 | #Constraints:      51746
39.88/40.01	c #Conflicts:     129000 | #Constraints:      52746
39.88/40.01	c #Conflicts:     130000 | #Constraints:      53746
39.88/40.01	c #Conflicts:     131000 | #Constraints:      54746
39.88/40.01	c INPROCESSING
39.88/40.01	c GARBAGE COLLECT
39.88/40.01	c #Conflicts:     132000 | #Constraints:      48552
39.88/40.01	c #Conflicts:     133000 | #Constraints:      49552
39.88/40.01	c #Conflicts:     134000 | #Constraints:      50552
39.88/40.01	c #Conflicts:     135000 | #Constraints:      51552
39.88/40.01	c #Conflicts:     136000 | #Constraints:      52552
39.88/40.01	c #Conflicts:     137000 | #Constraints:      53552
39.88/40.01	c #Conflicts:     138000 | #Constraints:      54552
39.88/40.01	c #Conflicts:     139000 | #Constraints:      55552
39.88/40.01	c INPROCESSING
39.88/40.01	c GARBAGE COLLECT
39.88/40.01	c #Conflicts:     140000 | #Constraints:      49159
39.88/40.01	c #Conflicts:     141000 | #Constraints:      50159
39.88/40.01	c #Conflicts:     142000 | #Constraints:      51159
39.88/40.01	c #Conflicts:     143000 | #Constraints:      52159
39.88/40.01	c #Conflicts:     144000 | #Constraints:      53159
39.88/40.01	c #Conflicts:     145000 | #Constraints:      54159
39.88/40.01	c #Conflicts:     146000 | #Constraints:      55159
39.88/40.01	c #Conflicts:     147000 | #Constraints:      56159
39.88/40.01	c INPROCESSING
39.88/40.01	c GARBAGE COLLECT
39.88/40.01	c #Conflicts:     148000 | #Constraints:      49559
39.88/40.01	c #Conflicts:     149000 | #Constraints:      50559
39.88/40.01	c #Conflicts:     150000 | #Constraints:      51559
39.88/40.01	c #Conflicts:     151000 | #Constraints:      52559
39.88/40.01	c #Conflicts:     152000 | #Constraints:      53559
39.88/40.01	c #Conflicts:     153000 | #Constraints:      54559
39.88/40.01	c #Conflicts:     154000 | #Constraints:      55559
39.88/40.01	c #Conflicts:     155000 | #Constraints:      56559
39.88/40.01	c INPROCESSING
39.88/40.01	c GARBAGE COLLECT
39.88/40.01	c #Conflicts:     156000 | #Constraints:      49763
39.88/40.01	c #Conflicts:     157000 | #Constraints:      50763
39.88/40.01	c #Conflicts:     158000 | #Constraints:      51763
39.88/40.01	c #Conflicts:     159000 | #Constraints:      52763
39.88/40.01	c #Conflicts:     160000 | #Constraints:      53763
39.88/40.01	c #Conflicts:     161000 | #Constraints:      54763
39.88/40.01	c #Conflicts:     162000 | #Constraints:      55763
39.88/40.01	c #Conflicts:     163000 | #Constraints:      56763
39.88/40.01	c INPROCESSING
39.88/40.01	c GARBAGE COLLECT
39.88/40.01	c #Conflicts:     164000 | #Constraints:      49762
39.88/40.01	c #Conflicts:     165000 | #Constraints:      50762
39.88/40.01	c #Conflicts:     166000 | #Constraints:      51762
39.88/40.01	c #Conflicts:     167000 | #Constraints:      52762
39.88/40.01	c #Conflicts:     168000 | #Constraints:      53762
39.88/40.01	c #Conflicts:     169000 | #Constraints:      54762
39.88/40.01	c #Conflicts:     170000 | #Constraints:      55762
39.88/40.01	c #Conflicts:     171000 | #Constraints:      56762
39.88/40.01	c INPROCESSING
39.88/40.01	c GARBAGE COLLECT
39.88/40.01	c #Conflicts:     172000 | #Constraints:      49566
39.88/40.01	c #Conflicts:     173000 | #Constraints:      50566
49.85/50.03	c #Conflicts:     174000 | #Constraints:      51566
49.85/50.03	c #Conflicts:     175000 | #Constraints:      52566
49.85/50.03	c #Conflicts:     176000 | #Constraints:      53566
49.85/50.03	c #Conflicts:     177000 | #Constraints:      54566
49.85/50.03	c #Conflicts:     178000 | #Constraints:      55566
49.85/50.03	c #Conflicts:     179000 | #Constraints:      56566
49.85/50.03	c #Conflicts:     180000 | #Constraints:      57566
49.85/50.03	c INPROCESSING
49.85/50.03	c GARBAGE COLLECT
49.85/50.03	c #Conflicts:     181000 | #Constraints:      50164
49.85/50.03	c #Conflicts:     182000 | #Constraints:      51164
49.85/50.03	c #Conflicts:     183000 | #Constraints:      52164
49.85/50.03	c #Conflicts:     184000 | #Constraints:      53164
49.85/50.03	c #Conflicts:     185000 | #Constraints:      54164
49.85/50.03	c #Conflicts:     186000 | #Constraints:      55164
49.85/50.03	c #Conflicts:     187000 | #Constraints:      56164
49.85/50.03	c #Conflicts:     188000 | #Constraints:      57164
49.85/50.03	c #Conflicts:     189000 | #Constraints:      58164
49.85/50.03	c INPROCESSING
49.85/50.03	c GARBAGE COLLECT
49.85/50.03	c #Conflicts:     190000 | #Constraints:      50566
49.85/50.03	c #Conflicts:     191000 | #Constraints:      51566
49.85/50.03	c #Conflicts:     192000 | #Constraints:      52566
49.85/50.03	c #Conflicts:     193000 | #Constraints:      53566
49.85/50.03	c #Conflicts:     194000 | #Constraints:      54566
49.85/50.03	c #Conflicts:     195000 | #Constraints:      55566
49.85/50.03	c #Conflicts:     196000 | #Constraints:      56566
49.85/50.03	c #Conflicts:     197000 | #Constraints:      57566
49.85/50.03	c #Conflicts:     198000 | #Constraints:      58566
49.85/50.03	c INPROCESSING
49.85/50.03	c GARBAGE COLLECT
49.85/50.03	c #Conflicts:     199000 | #Constraints:      50771
49.85/50.03	c #Conflicts:     200000 | #Constraints:      51771
49.85/50.03	c #Conflicts:     201000 | #Constraints:      52771
49.85/50.03	c #Conflicts:     202000 | #Constraints:      53771
49.85/50.03	c #Conflicts:     203000 | #Constraints:      54771
49.85/50.03	c #Conflicts:     204000 | #Constraints:      55771
49.85/50.03	c #Conflicts:     205000 | #Constraints:      56771
49.85/50.03	c #Conflicts:     206000 | #Constraints:      57771
49.85/50.03	c #Conflicts:     207000 | #Constraints:      58771
49.85/50.03	c INPROCESSING
49.85/50.03	c GARBAGE COLLECT
49.85/50.03	c #Conflicts:     208000 | #Constraints:      50770
49.85/50.03	c #Conflicts:     209000 | #Constraints:      51770
49.85/50.03	c #Conflicts:     210000 | #Constraints:      52770
49.85/50.03	c #Conflicts:     211000 | #Constraints:      53770
49.85/50.03	c #Conflicts:     212000 | #Constraints:      54770
49.85/50.03	c #Conflicts:     213000 | #Constraints:      55770
49.85/50.03	c #Conflicts:     214000 | #Constraints:      56770
49.85/50.03	c #Conflicts:     215000 | #Constraints:      57770
49.85/50.03	c #Conflicts:     216000 | #Constraints:      58770
49.85/50.03	c INPROCESSING
49.85/50.03	c GARBAGE COLLECT
49.85/50.03	c rational objective 1110.46
59.93/60.17	c #Conflicts:     217000 | #Constraints:      50590
59.93/60.17	c #Conflicts:     218000 | #Constraints:      51590
59.93/60.17	c #Conflicts:     219000 | #Constraints:      52590
59.93/60.17	c #Conflicts:     220000 | #Constraints:      53590
59.93/60.17	c #Conflicts:     221000 | #Constraints:      54590
59.93/60.17	c #Conflicts:     222000 | #Constraints:      55590
59.93/60.17	c #Conflicts:     223000 | #Constraints:      56590
59.93/60.17	c #Conflicts:     224000 | #Constraints:      57590
59.93/60.17	c #Conflicts:     225000 | #Constraints:      58590
59.93/60.17	c #Conflicts:     226000 | #Constraints:      59590
59.93/60.17	c INPROCESSING
59.93/60.17	c GARBAGE COLLECT
59.93/60.17	c #Conflicts:     227000 | #Constraints:      51180
59.93/60.17	c #Conflicts:     228000 | #Constraints:      52180
59.93/60.17	c #Conflicts:     229000 | #Constraints:      53180
59.93/60.17	c #Conflicts:     230000 | #Constraints:      54180
59.93/60.17	c #Conflicts:     231000 | #Constraints:      55180
59.93/60.17	c #Conflicts:     232000 | #Constraints:      56180
59.93/60.17	c #Conflicts:     233000 | #Constraints:      57180
59.93/60.17	c #Conflicts:     234000 | #Constraints:      58180
59.93/60.17	c #Conflicts:     235000 | #Constraints:      59180
59.93/60.17	c #Conflicts:     236000 | #Constraints:      60180
59.93/60.17	c INPROCESSING
59.93/60.17	c GARBAGE COLLECT
59.93/60.17	c #Conflicts:     237000 | #Constraints:      51570
59.93/60.17	c #Conflicts:     238000 | #Constraints:      52570
59.93/60.17	c #Conflicts:     239000 | #Constraints:      53570
59.93/60.17	c #Conflicts:     240000 | #Constraints:      54570
59.93/60.17	c #Conflicts:     241000 | #Constraints:      55570
59.93/60.17	c #Conflicts:     242000 | #Constraints:      56570
59.93/60.17	c #Conflicts:     243000 | #Constraints:      57570
59.93/60.17	c #Conflicts:     244000 | #Constraints:      58570
59.93/60.17	c #Conflicts:     245000 | #Constraints:      59570
59.93/60.17	c #Conflicts:     246000 | #Constraints:      60570
59.93/60.17	c INPROCESSING
59.93/60.17	c GARBAGE COLLECT
59.93/60.17	c #Conflicts:     247000 | #Constraints:      51782
59.93/60.17	c #Conflicts:     248000 | #Constraints:      52782
59.93/60.17	c #Conflicts:     249000 | #Constraints:      53782
59.93/60.17	c #Conflicts:     250000 | #Constraints:      54782
59.93/60.17	c #Conflicts:     251000 | #Constraints:      55782
59.93/60.17	c #Conflicts:     252000 | #Constraints:      56782
59.93/60.17	c #Conflicts:     253000 | #Constraints:      57782
59.93/60.17	c #Conflicts:     254000 | #Constraints:      58782
59.93/60.17	c #Conflicts:     255000 | #Constraints:      59782
59.93/60.17	c #Conflicts:     256000 | #Constraints:      60782
59.93/60.17	c INPROCESSING
59.93/60.17	c GARBAGE COLLECT
59.93/60.17	c #Conflicts:     257000 | #Constraints:      51774
59.93/60.17	c #Conflicts:     258000 | #Constraints:      52774
59.93/60.17	c #Conflicts:     259000 | #Constraints:      53774
59.93/60.17	c #Conflicts:     260000 | #Constraints:      54774
59.93/60.17	c #Conflicts:     261000 | #Constraints:      55774
59.93/60.17	c #Conflicts:     262000 | #Constraints:      56774
59.93/60.17	c #Conflicts:     263000 | #Constraints:      57774
59.93/60.17	c #Conflicts:     264000 | #Constraints:      58774
59.93/60.17	c #Conflicts:     265000 | #Constraints:      59774
59.93/60.17	c #Conflicts:     266000 | #Constraints:      60774
59.93/60.17	c INPROCESSING
59.93/60.17	c GARBAGE COLLECT
59.93/60.17	c #Conflicts:     267000 | #Constraints:      51570
59.93/60.17	c #Conflicts:     268000 | #Constraints:      52570
59.93/60.17	c #Conflicts:     269000 | #Constraints:      53570
59.93/60.17	c #Conflicts:     270000 | #Constraints:      54570
59.93/60.17	c #Conflicts:     271000 | #Constraints:      55570
59.93/60.17	c #Conflicts:     272000 | #Constraints:      56570
59.93/60.17	c #Conflicts:     273000 | #Constraints:      57570
59.93/60.17	c #Conflicts:     274000 | #Constraints:      58570
59.93/60.17	c #Conflicts:     275000 | #Constraints:      59570
59.93/60.17	c #Conflicts:     276000 | #Constraints:      60570
59.93/60.17	c #Conflicts:     277000 | #Constraints:      61570
59.93/60.17	c INPROCESSING
59.93/60.17	c GARBAGE COLLECT
59.93/60.17	c #Conflicts:     278000 | #Constraints:      52172
59.93/60.17	c #Conflicts:     279000 | #Constraints:      53172
59.93/60.17	c #Conflicts:     280000 | #Constraints:      54172
59.93/60.17	c #Conflicts:     281000 | #Constraints:      55172
59.93/60.17	c #Conflicts:     282000 | #Constraints:      56172
59.93/60.17	c #Conflicts:     283000 | #Constraints:      57172
59.93/60.17	c #Conflicts:     284000 | #Constraints:      58172
59.93/60.17	c #Conflicts:     285000 | #Constraints:      59172
59.93/60.17	c #Conflicts:     286000 | #Constraints:      60172
59.93/60.17	c #Conflicts:     287000 | #Constraints:      61172
59.93/60.17	c #Conflicts:     288000 | #Constraints:      62172
59.93/60.17	c INPROCESSING
59.93/60.17	c GARBAGE COLLECT
59.93/60.17	c #Conflicts:     289000 | #Constraints:      52579
59.93/60.17	c #Conflicts:     290000 | #Constraints:      53579
59.93/60.17	c #Conflicts:     291000 | #Constraints:      54579
71.90/72.16	c #Conflicts:     292000 | #Constraints:      55579
71.90/72.16	c #Conflicts:     293000 | #Constraints:      56579
71.90/72.16	c #Conflicts:     294000 | #Constraints:      57579
71.90/72.16	c #Conflicts:     295000 | #Constraints:      58579
71.90/72.16	c #Conflicts:     296000 | #Constraints:      59579
71.90/72.16	c #Conflicts:     297000 | #Constraints:      60579
71.90/72.16	c #Conflicts:     298000 | #Constraints:      61579
71.90/72.16	c #Conflicts:     299000 | #Constraints:      62579
71.90/72.16	c INPROCESSING
71.90/72.16	c GARBAGE COLLECT
71.90/72.16	c #Conflicts:     300000 | #Constraints:      52766
71.90/72.16	c #Conflicts:     301000 | #Constraints:      53766
71.90/72.16	c #Conflicts:     302000 | #Constraints:      54766
71.90/72.16	c #Conflicts:     303000 | #Constraints:      55766
71.90/72.16	c #Conflicts:     304000 | #Constraints:      56766
71.90/72.16	c #Conflicts:     305000 | #Constraints:      57766
71.90/72.16	c #Conflicts:     306000 | #Constraints:      58766
71.90/72.16	c #Conflicts:     307000 | #Constraints:      59766
71.90/72.16	c #Conflicts:     308000 | #Constraints:      60766
71.90/72.16	c #Conflicts:     309000 | #Constraints:      61766
71.90/72.16	c #Conflicts:     310000 | #Constraints:      62766
71.90/72.16	c INPROCESSING
71.90/72.16	c GARBAGE COLLECT
71.90/72.16	c #Conflicts:     311000 | #Constraints:      52770
71.90/72.16	c #Conflicts:     312000 | #Constraints:      53770
71.90/72.16	c #Conflicts:     313000 | #Constraints:      54770
71.90/72.16	c #Conflicts:     314000 | #Constraints:      55770
71.90/72.16	c #Conflicts:     315000 | #Constraints:      56770
71.90/72.16	c #Conflicts:     316000 | #Constraints:      57770
71.90/72.16	c #Conflicts:     317000 | #Constraints:      58770
71.90/72.16	c #Conflicts:     318000 | #Constraints:      59770
71.90/72.16	c #Conflicts:     319000 | #Constraints:      60770
71.90/72.16	c #Conflicts:     320000 | #Constraints:      61770
71.90/72.16	c #Conflicts:     321000 | #Constraints:      62770
71.90/72.16	c INPROCESSING
71.90/72.16	c GARBAGE COLLECT
71.90/72.16	c #Conflicts:     322000 | #Constraints:      52576
71.90/72.16	c #Conflicts:     323000 | #Constraints:      53576
71.90/72.16	c #Conflicts:     324000 | #Constraints:      54576
71.90/72.16	c #Conflicts:     325000 | #Constraints:      55576
71.90/72.16	c #Conflicts:     326000 | #Constraints:      56576
71.90/72.16	c #Conflicts:     327000 | #Constraints:      57576
71.90/72.16	c #Conflicts:     328000 | #Constraints:      58576
71.90/72.16	c #Conflicts:     329000 | #Constraints:      59576
71.90/72.16	c #Conflicts:     330000 | #Constraints:      60576
71.90/72.16	c #Conflicts:     331000 | #Constraints:      61576
71.90/72.16	c #Conflicts:     332000 | #Constraints:      62576
71.90/72.16	c #Conflicts:     333000 | #Constraints:      63576
71.90/72.16	c INPROCESSING
71.90/72.16	c GARBAGE COLLECT
71.90/72.16	c #Conflicts:     334000 | #Constraints:      53179
71.90/72.16	c #Conflicts:     335000 | #Constraints:      54179
71.90/72.16	c #Conflicts:     336000 | #Constraints:      55179
71.90/72.16	c #Conflicts:     337000 | #Constraints:      56179
71.90/72.16	c #Conflicts:     338000 | #Constraints:      57179
71.90/72.16	c #Conflicts:     339000 | #Constraints:      58179
71.90/72.16	c #Conflicts:     340000 | #Constraints:      59179
71.90/72.16	c #Conflicts:     341000 | #Constraints:      60179
71.90/72.16	c #Conflicts:     342000 | #Constraints:      61179
71.90/72.16	c #Conflicts:     343000 | #Constraints:      62179
71.90/72.16	c #Conflicts:     344000 | #Constraints:      63179
71.90/72.16	c #Conflicts:     345000 | #Constraints:      64179
71.90/72.16	c INPROCESSING
71.90/72.16	c GARBAGE COLLECT
71.90/72.16	c #Conflicts:     346000 | #Constraints:      53578
71.90/72.16	c #Conflicts:     347000 | #Constraints:      54578
71.90/72.16	c #Conflicts:     348000 | #Constraints:      55578
71.90/72.16	c #Conflicts:     349000 | #Constraints:      56578
71.90/72.16	c #Conflicts:     350000 | #Constraints:      57578
71.90/72.16	c #Conflicts:     351000 | #Constraints:      58578
71.90/72.16	c #Conflicts:     352000 | #Constraints:      59578
71.90/72.16	c #Conflicts:     353000 | #Constraints:      60578
71.90/72.16	c #Conflicts:     354000 | #Constraints:      61578
71.90/72.16	c #Conflicts:     355000 | #Constraints:      62578
71.90/72.16	c #Conflicts:     356000 | #Constraints:      63578
71.90/72.16	c #Conflicts:     357000 | #Constraints:      64578
71.90/72.16	c INPROCESSING
71.90/72.16	c GARBAGE COLLECT
71.90/72.16	c #Conflicts:     358000 | #Constraints:      53776
71.90/72.16	c #Conflicts:     359000 | #Constraints:      54776
71.90/72.16	c #Conflicts:     360000 | #Constraints:      55776
71.90/72.16	c #Conflicts:     361000 | #Constraints:      56776
71.90/72.16	c #Conflicts:     362000 | #Constraints:      57776
71.90/72.16	c #Conflicts:     363000 | #Constraints:      58776
71.90/72.16	WSVECS04 Frhs2[51]: 6 -21.2806 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[52]: 6 -8.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[53]: 6 -7.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[54]: 6 -6.50005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[277]: 6 -4.50003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[278]: 6 -11.7223 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[282]: 6 -6.50005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[283]: 6 -6.50008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[284]: 6 -3.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[286]: 6 -5.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[287]: 6 -5.50002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[288]: 6 -4.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[289]: 6 -3.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[292]: 6 -3.50001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[293]: 6 -5.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[294]: 6 -3.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[298]: 6 -11.8899 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[299]: 6 -3.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[300]: 6 -4.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[301]: 6 -3.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[305]: 6 -9.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[306]: 6 -4.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[307]: 6 -5.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[308]: 6 -4.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[310]: 6 -4.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[320]: 6 0 9.50001 shouldn't be
71.90/72.16	WSVECS04 Frhs2[414]: 6 -6.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[415]: 6 -7.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[416]: 6 -4.50008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[417]: 6 -7.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[418]: 6 -3.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[419]: 6 -3.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[420]: 6 -14.2251 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[422]: 6 -11 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[423]: 6 -7.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[424]: 6 -7.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[425]: 6 -5.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[426]: 6 -5.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[427]: 6 -4.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[428]: 6 -6.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[429]: 6 -6.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[458]: 6 -4.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[460]: 6 -4.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[463]: 6 -8.35601 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[464]: 6 -6.2882 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[470]: 6 -6.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[481]: 6 -19 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[487]: 6 -6.64419 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[488]: 6 -6.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[490]: 6 -9.32206 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[660]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1321]: 6 -0.500013 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1323]: 6 -1.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1327]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1330]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1331]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1332]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1333]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1334]: 6 -1.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1335]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1336]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1337]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1338]: 6 -1.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1340]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1341]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1346]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1348]: 6 -1.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1349]: 6 -1.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1351]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1352]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1353]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1355]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1357]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1358]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1360]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1367]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1374]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1381]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1382]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1391]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1392]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1394]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1396]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1401]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1416]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1417]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1419]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1420]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1422]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1423]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1425]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1426]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1440]: 6 -6.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1441]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1657]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1670]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1688]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1689]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1690]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1692]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1709]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1710]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1711]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1731]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1732]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1733]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1734]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1735]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1740]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1752]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1753]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1754]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1755]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1756]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1757]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1770]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1771]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1772]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1773]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1774]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1775]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1776]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1781]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1791]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1792]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1793]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1794]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1795]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1796]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1797]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1798]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1830]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1836]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1840]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1845]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1846]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1849]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1852]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1854]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1858]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1863]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1864]: 6 -12.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1868]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1872]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1875]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1876]: 6 -1.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1884]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1885]: 6 -1.35597 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1887]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1888]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1890]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1893]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1895]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1897]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1899]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1900]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1902]: 6 -5.32207 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1903]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1905]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1907]: 6 -2.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1908]: 6 -2.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1909]: 6 -2.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1913]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1914]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1915]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1919]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1925]: 6 -2.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1927]: 6 -2.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1931]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1933]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1938]: 6 -1.64411 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1939]: 6 -1.64418 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1944]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1946]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1950]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1951]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1953]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1957]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1958]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1960]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1966]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1968]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1973]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1974]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1975]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[1976]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2255]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2258]: 6 0 0.500071 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2261]: 6 -33.7788 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2264]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2267]: 6 0 3.00003 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2271]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2275]: 6 0 1.0001 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2280]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2281]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2282]: 6 0 5.00007 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2287]: 6 -0.5001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2292]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2295]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2296]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2397]: 6 0 1.00006 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2615]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2618]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2620]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2621]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2627]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2630]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[2631]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3293]: 6 -1.50007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3297]: 6 -1.50005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3301]: 6 -5.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3302]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3305]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3306]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3313]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3316]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3317]: 6 -1.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3318]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3322]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3328]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3338]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3340]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3341]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3342]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3347]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3353]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3354]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3358]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3375]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3377]: 6 -1.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3381]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3382]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3392]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3402]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3407]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3413]: 6 -1.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3423]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3428]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3438]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3447]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3628]: 6 -2.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3636]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3637]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3643]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3644]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3649]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3650]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3654]: 6 -1.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3655]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3661]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3672]: 6 -2.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3679]: 6 -2.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3685]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3686]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3690]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3698]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3713]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3719]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3722]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3723]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3725]: 6 -1.00004 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3734]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3739]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3743]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3747]: 6 -1.50003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3759]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3761]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3762]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3768]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3771]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3772]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3777]: 6 -9.22507 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3834]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3836]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3837]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3838]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3839]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3841]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3844]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3847]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3848]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3850]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3851]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3852]: 6 -1.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3855]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3859]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3862]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3863]: 6 -11.6441 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3881]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3883]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3885]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3886]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3887]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3888]: 6 -10 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3889]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3891]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3892]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3893]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3894]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3895]: 6 -1.00005 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3896]: 6 -1.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3897]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3898]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3899]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3900]: 6 -1.00001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3901]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3915]: 6 -1.32207 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3917]: 6 -1.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3918]: 6 -7.00009 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3919]: 6 -6.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3920]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3921]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3923]: 6 -1.00002 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3924]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3925]: 6 -1.00003 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3927]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3929]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3990]: 6 0 4.00004 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3991]: 6 0 10.0001 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3997]: 6 -33 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[3999]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[4274]: 6 0 7.00005 shouldn't be
71.90/72.16	WSVECS04 Frhs2[4275]: 6 0 3.50009 shouldn't be
71.90/72.16	WSVECS04 Frhs2[4389]: 6 0 1.00002 shouldn't be
71.90/72.16	WSVECS04 Frhs2[4400]: 6 -0.678053 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[4403]: 6 -9.00006 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[4404]: 6 -121 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[4405]: 6 -1.00008 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[4407]: 6 -1.00007 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[4409]: 6 -1.0001 0 shouldn't be
71.90/72.16	WSVECS04 Frhs2[4417]: 6 -31.2544 0 shouldn't be
79.08/79.36	c #Conflicts:     364000 | #Constraints:      59776
79.08/79.36	c #Conflicts:     365000 | #Constraints:      60776
79.08/79.36	c #Conflicts:     366000 | #Constraints:      61776
79.08/79.36	c #Conflicts:     367000 | #Constraints:      62776
79.08/79.36	c #Conflicts:     368000 | #Constraints:      63776
79.08/79.36	c #Conflicts:     369000 | #Constraints:      64776
79.08/79.36	c INPROCESSING
79.08/79.36	c GARBAGE COLLECT
79.08/79.36	c rational objective 1122.84
89.86/90.13	c #Conflicts:     370000 | #Constraints:      53787
89.86/90.13	c #Conflicts:     371000 | #Constraints:      54787
89.86/90.13	c #Conflicts:     372000 | #Constraints:      55787
89.86/90.13	c #Conflicts:     373000 | #Constraints:      56787
89.86/90.13	c #Conflicts:     374000 | #Constraints:      57787
89.86/90.13	c #Conflicts:     375000 | #Constraints:      58787
89.86/90.13	c #Conflicts:     376000 | #Constraints:      59787
89.86/90.13	c #Conflicts:     377000 | #Constraints:      60787
89.86/90.13	c #Conflicts:     378000 | #Constraints:      61787
89.86/90.13	c #Conflicts:     379000 | #Constraints:      62787
89.86/90.13	c #Conflicts:     380000 | #Constraints:      63787
89.86/90.13	c #Conflicts:     381000 | #Constraints:      64787
89.86/90.13	c INPROCESSING
89.86/90.13	c GARBAGE COLLECT
89.86/90.13	c #Conflicts:     382000 | #Constraints:      53579
89.86/90.13	c #Conflicts:     383000 | #Constraints:      54579
89.86/90.13	c #Conflicts:     384000 | #Constraints:      55579
89.86/90.13	c #Conflicts:     385000 | #Constraints:      56579
89.86/90.13	c #Conflicts:     386000 | #Constraints:      57579
89.86/90.13	c #Conflicts:     387000 | #Constraints:      58579
89.86/90.13	c #Conflicts:     388000 | #Constraints:      59579
89.86/90.13	c #Conflicts:     389000 | #Constraints:      60579
89.86/90.13	c #Conflicts:     390000 | #Constraints:      61579
89.86/90.13	c #Conflicts:     391000 | #Constraints:      62579
89.86/90.13	c #Conflicts:     392000 | #Constraints:      63579
89.86/90.13	c #Conflicts:     393000 | #Constraints:      64579
89.86/90.13	c #Conflicts:     394000 | #Constraints:      65579
89.86/90.13	c INPROCESSING
89.86/90.13	c GARBAGE COLLECT
89.86/90.13	c #Conflicts:     395000 | #Constraints:      54176
89.86/90.13	c #Conflicts:     396000 | #Constraints:      55176
89.86/90.13	c #Conflicts:     397000 | #Constraints:      56176
89.86/90.13	c #Conflicts:     398000 | #Constraints:      57176
89.86/90.13	c #Conflicts:     399000 | #Constraints:      58176
89.86/90.13	c #Conflicts:     400000 | #Constraints:      59176
89.86/90.13	c #Conflicts:     401000 | #Constraints:      60176
89.86/90.13	c #Conflicts:     402000 | #Constraints:      61176
89.86/90.13	c #Conflicts:     403000 | #Constraints:      62176
89.86/90.13	c #Conflicts:     404000 | #Constraints:      63176
89.86/90.13	c #Conflicts:     405000 | #Constraints:      64176
89.86/90.13	c #Conflicts:     406000 | #Constraints:      65176
89.86/90.13	c #Conflicts:     407000 | #Constraints:      66176
89.86/90.13	c INPROCESSING
89.86/90.13	c GARBAGE COLLECT
89.86/90.13	c #Conflicts:     408000 | #Constraints:      54574
89.86/90.13	c #Conflicts:     409000 | #Constraints:      55574
89.86/90.13	c #Conflicts:     410000 | #Constraints:      56574
89.86/90.13	c #Conflicts:     411000 | #Constraints:      57574
89.86/90.13	c #Conflicts:     412000 | #Constraints:      58574
89.86/90.13	c #Conflicts:     413000 | #Constraints:      59574
89.86/90.13	c #Conflicts:     414000 | #Constraints:      60574
89.86/90.13	c #Conflicts:     415000 | #Constraints:      61574
89.86/90.13	c #Conflicts:     416000 | #Constraints:      62574
89.86/90.13	c #Conflicts:     417000 | #Constraints:      63574
89.86/90.13	c #Conflicts:     418000 | #Constraints:      64574
89.86/90.13	c #Conflicts:     419000 | #Constraints:      65574
89.86/90.13	c #Conflicts:     420000 | #Constraints:      66574
89.86/90.13	c INPROCESSING
89.86/90.13	c GARBAGE COLLECT
89.86/90.13	c #Conflicts:     421000 | #Constraints:      54777
89.86/90.13	c #Conflicts:     422000 | #Constraints:      55777
89.86/90.13	c #Conflicts:     423000 | #Constraints:      56777
89.86/90.13	c #Conflicts:     424000 | #Constraints:      57777
89.86/90.13	c #Conflicts:     425000 | #Constraints:      58777
89.86/90.13	c #Conflicts:     426000 | #Constraints:      59777
89.86/90.13	c #Conflicts:     427000 | #Constraints:      60777
89.86/90.13	c #Conflicts:     428000 | #Constraints:      61777
89.86/90.13	c #Conflicts:     429000 | #Constraints:      62777
89.86/90.13	c #Conflicts:     430000 | #Constraints:      63777
89.86/90.13	c #Conflicts:     431000 | #Constraints:      64777
89.86/90.13	c #Conflicts:     432000 | #Constraints:      65777
89.86/90.13	c #Conflicts:     433000 | #Constraints:      66777
89.86/90.13	c INPROCESSING
89.86/90.13	c GARBAGE COLLECT
89.86/90.13	c #Conflicts:     434000 | #Constraints:      54787
89.86/90.13	c #Conflicts:     435000 | #Constraints:      55787
89.86/90.13	c #Conflicts:     436000 | #Constraints:      56787
89.86/90.13	c #Conflicts:     437000 | #Constraints:      57787
89.86/90.13	c #Conflicts:     438000 | #Constraints:      58787
89.86/90.13	c #Conflicts:     439000 | #Constraints:      59787
89.86/90.13	c #Conflicts:     440000 | #Constraints:      60787
89.86/90.13	c #Conflicts:     441000 | #Constraints:      61787
89.86/90.13	c #Conflicts:     442000 | #Constraints:      62787
89.86/90.13	c #Conflicts:     443000 | #Constraints:      63787
89.86/90.13	c #Conflicts:     444000 | #Constraints:      64787
89.86/90.13	c #Conflicts:     445000 | #Constraints:      65787
101.43/101.70	c #Conflicts:     446000 | #Constraints:      66787
101.43/101.70	c INPROCESSING
101.43/101.70	c GARBAGE COLLECT
101.43/101.70	c #Conflicts:     447000 | #Constraints:      53068
101.43/101.70	c #Conflicts:     448000 | #Constraints:      54068
101.43/101.70	c #Conflicts:     449000 | #Constraints:      55068
101.43/101.70	c #Conflicts:     450000 | #Constraints:      56068
101.43/101.70	c #Conflicts:     451000 | #Constraints:      57068
101.43/101.70	c #Conflicts:     452000 | #Constraints:      58068
101.43/101.70	c #Conflicts:     453000 | #Constraints:      59068
101.43/101.70	c #Conflicts:     454000 | #Constraints:      60068
101.43/101.70	c #Conflicts:     455000 | #Constraints:      61068
101.43/101.70	c #Conflicts:     456000 | #Constraints:      62068
101.43/101.70	c #Conflicts:     457000 | #Constraints:      63068
101.43/101.70	c #Conflicts:     458000 | #Constraints:      64068
101.43/101.70	c #Conflicts:     459000 | #Constraints:      65068
101.43/101.70	c #Conflicts:     460000 | #Constraints:      66068
101.43/101.70	c INPROCESSING
101.43/101.70	c GARBAGE COLLECT
101.43/101.70	c #Conflicts:     461000 | #Constraints:      54414
101.43/101.70	c #Conflicts:     462000 | #Constraints:      55414
101.43/101.70	c #Conflicts:     463000 | #Constraints:      56414
101.43/101.70	c #Conflicts:     464000 | #Constraints:      57414
101.43/101.70	c #Conflicts:     465000 | #Constraints:      58414
101.43/101.70	c #Conflicts:     466000 | #Constraints:      59414
101.43/101.70	c #Conflicts:     467000 | #Constraints:      60414
101.43/101.70	c #Conflicts:     468000 | #Constraints:      61414
101.43/101.70	c #Conflicts:     469000 | #Constraints:      62414
101.43/101.70	c #Conflicts:     470000 | #Constraints:      63414
101.43/101.70	c #Conflicts:     471000 | #Constraints:      64414
101.43/101.70	c #Conflicts:     472000 | #Constraints:      65414
101.43/101.70	c #Conflicts:     473000 | #Constraints:      66414
101.43/101.70	c #Conflicts:     474000 | #Constraints:      67414
101.43/101.70	c INPROCESSING
101.43/101.70	c GARBAGE COLLECT
101.43/101.70	c #Conflicts:     475000 | #Constraints:      55191
101.43/101.70	c #Conflicts:     476000 | #Constraints:      56191
101.43/101.70	c #Conflicts:     477000 | #Constraints:      57191
101.43/101.70	c #Conflicts:     478000 | #Constraints:      58191
101.43/101.70	c #Conflicts:     479000 | #Constraints:      59191
101.43/101.70	c #Conflicts:     480000 | #Constraints:      60191
101.43/101.70	c #Conflicts:     481000 | #Constraints:      61191
101.43/101.70	c #Conflicts:     482000 | #Constraints:      62191
101.43/101.70	c #Conflicts:     483000 | #Constraints:      63191
101.43/101.70	c #Conflicts:     484000 | #Constraints:      64191
101.43/101.70	c #Conflicts:     485000 | #Constraints:      65191
101.43/101.70	c #Conflicts:     486000 | #Constraints:      66191
101.43/101.70	c #Conflicts:     487000 | #Constraints:      67191
101.43/101.70	c #Conflicts:     488000 | #Constraints:      68191
101.43/101.70	c INPROCESSING
101.43/101.70	c GARBAGE COLLECT
101.43/101.70	c #Conflicts:     489000 | #Constraints:      55580
101.43/101.70	c #Conflicts:     490000 | #Constraints:      56580
101.43/101.70	c #Conflicts:     491000 | #Constraints:      57580
101.43/101.70	c #Conflicts:     492000 | #Constraints:      58580
101.43/101.70	c #Conflicts:     493000 | #Constraints:      59580
101.43/101.70	c #Conflicts:     494000 | #Constraints:      60580
101.43/101.70	c #Conflicts:     495000 | #Constraints:      61580
101.43/101.70	c #Conflicts:     496000 | #Constraints:      62580
101.43/101.70	c #Conflicts:     497000 | #Constraints:      63580
101.43/101.70	c #Conflicts:     498000 | #Constraints:      64580
101.43/101.70	c #Conflicts:     499000 | #Constraints:      65580
101.43/101.70	c #Conflicts:     500000 | #Constraints:      66580
101.43/101.70	c #Conflicts:     501000 | #Constraints:      67580
101.43/101.70	c cpu time 99.2866 s
101.43/101.70	c deterministic time 3535196960 3.54e+09
101.43/101.70	c optimization time 6.3e-05 s
101.43/101.70	c total solve time 99.1292 s
101.43/101.70	c core-guided solve time 0 s
101.43/101.70	c propagation time 59.3307 s
101.43/101.70	c conflict analysis time 17.8338 s
101.43/101.70	c propagations 195124534
101.43/101.70	c resolve steps 7020662
101.43/101.70	c decisions 593996
101.43/101.70	c conflicts 501274
101.43/101.70	c restarts 1022
101.43/101.70	c inprocessing phases 61
101.43/101.70	c garbage collections 57 ,( 93.44 )
101.43/101.70	c input clauses 39952 ,( 97.62 )
101.43/101.70	c input cardinalities 0 ,( 0.00 )
101.43/101.70	c input general constraints 972 ,( 2.38 )
101.43/101.70	c input average constraint length 3.80
101.43/101.70	c input average constraint degree 1.15
101.43/101.70	c learned clauses 501298 ,( 100.00 )
101.43/101.70	c learned cardinalities 0 ,( 0.00 )
101.43/101.70	c learned general constraints 0 ,( 0.00 )
101.43/101.70	c learned average constraint length 36.86
101.43/101.70	c learned average constraint degree 1.00
101.43/101.70	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
101.43/101.70	c counting CF 32, 64, 128, Arb: 972 , 0 , 0 , 0
101.43/101.70	c watched   constraints 0 ,( 0.00 ) 
101.43/101.70	c counting  constraints 972 ,( 100.00 ) 
101.43/101.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 854743080 , 0 , 47031503 ,( 0 , 47031503 )
101.43/101.70	c gcd simplifications 31
101.43/101.71	c detected cardinalities 0
101.43/101.71	c weakened non-implied lits 6264823
101.43/101.71	c weakened non-implying lits 82
101.43/101.71	c original variables 4437
101.43/101.71	c clausal propagations 86467708
101.43/101.71	c cardinality propagations 0
101.43/101.71	c watched propagations 0
101.43/101.71	c counting propagations 108155553
101.43/101.71	c watch lookups 901774583
101.43/101.71	c watch backjump lookups 0
101.43/101.71	c watch checks 1874972912
101.43/101.71	c propagation checks 293936127
101.43/101.71	c constraint additions 72463299
101.43/101.71	c trail pops 196218788
101.43/101.71	c formula constraints 40924
101.43/101.71	c learned constraints 501273
101.43/101.71	c bound constraints 0
101.43/101.71	c core-guided constraints 0
101.43/101.71	c encountered formula constraints 5523468
101.43/101.71	c encountered learned constraints 1998468
101.43/101.71	c encountered bound constraints 0
101.43/101.71	c encountered core-guided constraints 0
101.43/101.71	c LP total time 34.7573 s
101.43/101.71	c LP solve time 34.09 s
101.43/101.71	c LP constraints added 40954
101.43/101.71	c LP constraints removed 2
101.43/101.71	c LP pivots internal 60812
101.43/101.71	c LP pivots root 51908
101.43/101.71	c LP calls 11
101.43/101.71	c LP optimalities 6
101.43/101.71	c LP no pivot count 0
101.43/101.71	c LP infeasibilities 0
101.43/101.71	c LP valid Farkas constraints 0
101.43/101.71	c LP learned Farkas constraints 0
101.43/101.71	c LP basis resets 0
101.43/101.71	c LP cycling count 0
101.43/101.71	c LP singular count 0
101.43/101.71	c LP no primal count 0
101.43/101.71	c LP no farkas count 0
101.43/101.71	c LP other issue count 0
101.43/101.71	c LP Gomory cuts 25
101.43/101.71	c LP learned cuts 5
101.43/101.71	c LP deleted cuts 2
101.43/101.71	c LP encountered Gomory constraints 0
101.43/101.71	c LP encountered Farkas constraints 0
101.43/101.71	c LP encountered learned Farkas constraints 0
101.43/101.71	c CG auxiliary variables introduced 0
101.43/101.71	c CG solutions found 0
101.43/101.71	c CG cores constructed 0
101.43/101.71	c CG core cardinality constraints returned 0
101.43/101.71	c CG unit cores 0
101.43/101.71	c CG single cores 0
101.43/101.71	c CG blocks removed during cardinality reduction 0
101.43/101.71	c CG first core best 0
101.43/101.71	c CG decision core best 0
101.43/101.71	c CG core reduction tie 0
101.43/101.71	c CG core degree average 0.00
101.43/101.71	c CG core slack average 0.00
101.43/101.71	c CG core upper bound improvements 0
101.43/101.71	c STR number of successful calls 0
101.43/101.71	c STR number of unsuccessful calls 0
101.43/101.71	c STR number of inconclusive calls 0
101.43/101.71	c STR number of successful attempts 0
101.43/101.71	c STR number of unsuccessful attempts 0
101.43/101.71	c STR number of inconclusive attempts 0
101.43/101.71	c STR average degree increase per successful call inf
101.43/101.71	c STR average degree increase per successful attempt inf
101.43/101.71	c STR total number of conflicts for successful attempts 0
101.43/101.71	c STR total number of conflicts for unsuccessful attempts 0
101.43/101.71	c STR total number of conflicts for inconclusive attempts 0
101.43/101.71	c STR average number of conflicts per successful attempt inf
101.43/101.71	c STR average number of conflicts per unsuccessful attempt inf
101.43/101.71	c STR average number of conflicts per inconclusive attempt inf
101.43/101.71	c AVG.sumWPerc 100.00 
101.43/101.71	c bigint constraints 0 
101.43/101.71	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul 23 01:33:04 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

Watcher Data 

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: 63708 MiB (58460 MiB free)
  memory of node 1: 64465 MiB (57164 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544921-1753207830/watcher-4544921-1753207830 -o /tmp/evaluation-result-4544921-1753207830/solver-4544921-1753207830 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149649 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4544921-1753207830.opb /tmp/proof-4544921-1753207830 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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=150942, runsolver pid=150939
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.16 4.17 4.17 5/272 150944
/proc/meminfo: memFree=118396864/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=59184 memory=13312 CPUtime=0.08 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 1684 0 0 0 6 2 0 0 20 0 1 0 236461602 60604416 3328 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 14796 3328 1952 1147 0 2223 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63376 KiB
Current children cumulated memory: 16384 KiB

[startup+0.205087 s]*
/proc/loadavg: 4.16 4.17 4.17 5/272 150944
/proc/meminfo: memFree=118396108/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=116580 memory=48500 CPUtime=0.19 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 6201 0 0 0 14 5 0 0 20 0 1 0 236461602 119377920 12125 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 29145 12125 2240 1147 0 16572 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 120772 KiB
Current children cumulated memory: 51572 KiB

[startup+0.305725 s]*
/proc/loadavg: 4.16 4.17 4.17 5/272 150944
/proc/meminfo: memFree=118363848/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=122280 memory=66436 CPUtime=0.28 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 10294 0 0 0 22 6 0 0 20 0 1 0 236461602 125214720 16609 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 30570 16609 2272 1147 0 17997 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 126472 KiB
Current children cumulated memory: 69508 KiB

[startup+0.70016 s]
/proc/loadavg: 4.16 4.17 4.17 5/272 150944
/proc/meminfo: memFree=118363848/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=121948 memory=66608 CPUtime=0.67 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 10365 0 0 0 60 7 0 0 20 0 1 0 236461602 124874752 16652 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 30487 16652 2336 1147 0 17914 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 126140 KiB
Current children cumulated memory: 69680 KiB

[startup+1.50015 s]
/proc/loadavg: 4.16 4.17 4.17 5/272 150944
/proc/meminfo: memFree=118355784/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=121948 memory=68784 CPUtime=1.47 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 10384 0 0 0 138 9 0 0 20 0 1 0 236461602 124874752 17196 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 30487 17196 2336 1147 0 17914 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 126140 KiB
Current children cumulated memory: 71856 KiB

[startup+3.10542 s]
/proc/loadavg: 4.23 4.19 4.17 5/272 150944
/proc/meminfo: memFree=118348516/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=121948 memory=68784 CPUtime=3.08 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 10391 0 0 0 295 13 0 0 20 0 1 0 236461602 124874752 17196 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 30487 17196 2336 1147 0 17914 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 126140 KiB
Current children cumulated memory: 71856 KiB

[startup+6.30015 s]
/proc/loadavg: 4.23 4.19 4.17 5/272 150944
/proc/meminfo: memFree=118325088/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=121948 memory=68784 CPUtime=6.26 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 10401 0 0 0 606 20 0 0 20 0 1 0 236461602 124874752 17196 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 30487 17196 2336 1147 0 17914 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 126140 KiB
Current children cumulated memory: 71856 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.18 4.17 5/272 150944
/proc/meminfo: memFree=118285524/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=122884 memory=69808 CPUtime=12.65 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 10663 0 0 0 1234 31 0 0 20 0 1 0 236461602 125833216 17452 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 30721 17452 2336 1147 0 18148 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 127076 KiB
Current children cumulated memory: 72880 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.17 4.17 5/272 150944
/proc/meminfo: memFree=118222660/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=123628 memory=70576 CPUtime=25.41 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 10840 0 0 0 2491 50 0 0 20 0 1 0 236461602 126595072 17644 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 30907 17644 2336 1147 0 18334 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 127820 KiB
Current children cumulated memory: 73648 KiB

[startup+51.1055 s]
/proc/loadavg: 4.17 4.17 4.17 5/273 150946
/proc/meminfo: memFree=118109752/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=129292 memory=73392 CPUtime=50.96 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 11567 0 0 0 4994 102 0 0 20 0 1 0 236461602 132395008 18348 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 32323 18348 2336 1147 0 19750 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 133484 KiB
Current children cumulated memory: 76464 KiB

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

# cumulated CPU time of all completed processes:  user=99.2926 s, system=2.15687 s

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

[startup+51.2002 s]
/proc/loadavg: 4.17 4.17 4.17 5/273 150946
/proc/meminfo: memFree=118109752/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=129292 memory=73392 CPUtime=51.05 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 11567 0 0 0 5003 102 0 0 20 0 1 0 236461602 132395008 18348 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 32323 18348 2336 1147 0 19750 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 133484 KiB
Current children cumulated memory: 76464 KiB

[startup+76.8001 s]
/proc/loadavg: 4.61 4.28 4.20 5/273 150947
/proc/meminfo: memFree=117925920/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=139640 memory=83376 CPUtime=76.59 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 14055 0 0 0 7496 163 0 0 20 0 1 0 236461602 142991360 20844 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 34910 20844 2336 1147 0 22337 0
Current children cumulated CPU time: 76.59 s
Current children cumulated vsize: 143832 KiB
Current children cumulated memory: 86448 KiB

[startup+89.6002 s]
/proc/loadavg: 4.55 4.28 4.21 5/273 150947
/proc/meminfo: memFree=117857848/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=140172 memory=83712 CPUtime=89.35 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 14298 0 0 0 8747 188 0 0 20 0 1 0 236461602 143536128 20928 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 35043 20928 2336 1147 0 22470 0
Current children cumulated CPU time: 89.35 s
Current children cumulated vsize: 144364 KiB
Current children cumulated memory: 86784 KiB

[startup+96.0002 s]*
/proc/loadavg: 4.50 4.27 4.20 5/272 150948
/proc/meminfo: memFree=117841720/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=141556 memory=85120 CPUtime=95.74 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 14648 0 0 0 9372 202 0 0 20 0 1 0 236461602 144953344 21280 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 35389 21280 2336 1147 0 22816 0
Current children cumulated CPU time: 95.74 s
Current children cumulated vsize: 145748 KiB
Current children cumulated memory: 88192 KiB

[startup+99.2001 s]
/proc/loadavg: 4.46 4.27 4.20 5/272 150948
/proc/meminfo: memFree=117833908/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=142552 memory=86144 CPUtime=98.93 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 14898 0 0 0 9685 208 0 0 20 0 1 0 236461602 145973248 21536 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 35638 21536 2336 1147 0 23065 0
Current children cumulated CPU time: 98.93 s
Current children cumulated vsize: 146744 KiB
Current children cumulated memory: 89216 KiB

[startup+100.8 s]
/proc/loadavg: 4.46 4.27 4.20 5/272 150948
/proc/meminfo: memFree=117834160/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=142816 memory=86528 CPUtime=100.53 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 14983 0 0 0 9840 213 0 0 20 0 1 0 236461602 146243584 21632 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 35704 21632 2336 1147 0 23131 0
Current children cumulated CPU time: 100.53 s
Current children cumulated vsize: 147008 KiB
Current children cumulated memory: 89600 KiB

[startup+101.2 s]
/proc/loadavg: 4.46 4.27 4.20 5/272 150948
/proc/meminfo: memFree=117826128/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=142816 memory=86528 CPUtime=100.92 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 14983 0 0 0 9879 213 0 0 20 0 1 0 236461602 146243584 21632 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 35704 21632 2336 1147 0 23131 0
Current children cumulated CPU time: 100.92 s
Current children cumulated vsize: 147008 KiB
Current children cumulated memory: 89600 KiB

[startup+101.6 s]
/proc/loadavg: 4.46 4.27 4.20 5/272 150948
/proc/meminfo: memFree=117826128/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=142816 memory=86528 CPUtime=101.32 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 14983 0 0 0 9918 214 0 0 20 0 1 0 236461602 146243584 21632 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 35704 21632 2336 1147 0 23131 0
Current children cumulated CPU time: 101.32 s
Current children cumulated vsize: 147008 KiB
Current children cumulated memory: 89600 KiB

[startup+101.7 s]
/proc/loadavg: 4.46 4.27 4.20 5/272 150948
/proc/meminfo: memFree=117826128/131250000 swapFree=33010672/33010684
[pid=150942] ppid=150939 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/150942/stat : 150942 (run-dec-log.sh) S 150939 150942 149629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236461601 4292608 768 18446744073709551615 93832436699136 93832437593669 140733789311776 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93832437832720 93832437880464 93832441290752 140733789313349 140733789313506 140733789313506 140733789319110 0
/proc/150942/statm: 1048 768 704 219 0 110 0
[pid=150944] ppid=150942 vsize=142816 memory=86528 CPUtime=101.43 cores=5,7
/proc/150944/stat : 150944 (roundingsat) R 150942 150942 149629 0 -1 4194304 14983 0 0 0 9928 215 0 0 20 0 1 0 236461602 146243584 21632 18446744073709551615 4227072 8923433 140728487092960 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23896064 140728487094667 140728487094822 140728487094822 140728487100394 0
/proc/150944/statm: 35704 21632 2336 1147 0 23131 0
Current children cumulated CPU time: 101.43 s
Current children cumulated vsize: 147008 KiB
Current children cumulated memory: 89600 KiB

Child status: 0

Real time (s): 101.715
CPU time (s): 101.45
CPU user time (s): 99.2926
CPU system time (s): 2.15687
CPU usage (%): 99.739
Max. virtual memory (cumulated for all children) (KiB): 147008
Max. memory (cumulated for all children) (KiB): 89600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.2926
system time used= 2.15687
maximum resident set size= 86528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 457936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 155


# summary of solver processes directly reported to runsolver:
#   pid: 150942
#   total CPU time (s): 101.45
#   total CPU user time (s): 99.2926
#   total CPU system time (s): 2.15687

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.213455 second user time and 0.458699 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-22 20:10:30
IDJOB=4544921
IDBENCH=180686
IDSOLVER=3352
FILE ID=nodeC026/4544921-1753207830
RUNJOBID= nodeC026-1753198973-149649
SLURM_JOB_ID= 9687759
Free space on /tmp= 432604 MiB

SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat11_9_triangular.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544921-1753207830/watcher-4544921-1753207830 -o /tmp/evaluation-result-4544921-1753207830/solver-4544921-1753207830 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149649 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4544921-1753207830.opb /tmp/proof-4544921-1753207830

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

MD5SUM BENCH= 55ea5846128537f4a8d7ca86dce5740f
RANDOM SEED=1263151992

nodeC026 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	: 0xb00002a
cpu MHz		: 3599.795
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.781
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.837
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3566.274
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.783
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.797
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.476
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.342
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        118400804 kB
MemAvailable:   123058292 kB
Buffers:            2128 kB
Cached:          5283264 kB
SwapCached:            4 kB
Active:          7725020 kB
Inactive:        4141080 kB
Active(anon):    6601680 kB
Inactive(anon):     5344 kB
Active(file):    1123340 kB
Inactive(file):  4135736 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             44540 kB
Writeback:             0 kB
AnonPages:       6581952 kB
Mapped:           122232 kB
Shmem:             26268 kB
KReclaimable:     459212 kB
Slab:             563596 kB
SReclaimable:     459212 kB
SUnreclaim:       104384 kB
KernelStack:        4352 kB
PageTables:        16272 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7145852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4401152 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432116 MiB
End job on nodeC026 at 2025-07-22 20:12:12