Trace number 4455610

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 nolog (2)UNSAT 437.234 438.544

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-86.opb
MD5SUM3b78757f10307782e0b04e5cada0d1b0
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 benchmark8.36818
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7354
Total number of constraints165969
Number of constraints which are clauses149056
Number of constraints which are cardinality constraints (but not clauses)575
Number of constraints which are nor clauses,nor cardinality constraints16338
Minimum length of a constraint1
Maximum length of a constraint195
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.50/0.52	c #variables 7354 #constraints 152720
4.67/4.73	c #Conflicts:       1000 | #Constraints:     153719
4.67/4.73	c #Conflicts:       2000 | #Constraints:     154719
4.67/4.73	c INPROCESSING
4.67/4.73	c #Conflicts:       3000 | #Constraints:     146470
4.67/4.73	c #Conflicts:       4000 | #Constraints:     147470
4.67/4.73	c #Conflicts:       5000 | #Constraints:     148470
4.67/4.73	c #Conflicts:       6000 | #Constraints:     149470
4.67/4.73	c INPROCESSING
4.67/4.73	c rational objective 573.273
12.55/12.61	c #Conflicts:       7000 | #Constraints:     147955
12.55/12.61	c #Conflicts:       8000 | #Constraints:     148955
12.55/12.61	c #Conflicts:       9000 | #Constraints:     149955
12.55/12.61	c INPROCESSING
12.55/12.61	c #Conflicts:      10000 | #Constraints:     148101
12.55/12.61	c #Conflicts:      11000 | #Constraints:     149101
12.55/12.61	c #Conflicts:      12000 | #Constraints:     150101
12.55/12.61	c #Conflicts:      13000 | #Constraints:     151101
12.55/12.61	c #Conflicts:      14000 | #Constraints:     152101
12.55/12.61	c #Conflicts:      15000 | #Constraints:     153101
12.55/12.61	c #Conflicts:      16000 | #Constraints:     154101
12.55/12.61	c INPROCESSING
12.55/12.61	c GARBAGE COLLECT
12.55/12.61	c rational objective 575.807
14.15/14.23	c #Conflicts:      17000 | #Constraints:     150178
14.15/14.23	c #Conflicts:      18000 | #Constraints:     151178
14.15/14.23	c #Conflicts:      19000 | #Constraints:     152178
14.15/14.23	c #Conflicts:      20000 | #Constraints:     153178
14.15/14.23	c #Conflicts:      21000 | #Constraints:     154178
14.15/14.23	c INPROCESSING
14.15/14.23	c rational objective 585.464
22.52/22.67	c #Conflicts:      22000 | #Constraints:     150270
22.52/22.67	c #Conflicts:      23000 | #Constraints:     151270
22.52/22.67	c #Conflicts:      24000 | #Constraints:     152270
22.52/22.67	c #Conflicts:      25000 | #Constraints:     153270
22.52/22.67	c #Conflicts:      26000 | #Constraints:     154270
22.52/22.67	c #Conflicts:      27000 | #Constraints:     155270
22.52/22.67	c #Conflicts:      28000 | #Constraints:     156270
22.52/22.67	c #Conflicts:      29000 | #Constraints:     157270
22.52/22.67	c #Conflicts:      30000 | #Constraints:     158270
22.52/22.67	c #Conflicts:      31000 | #Constraints:     159270
22.52/22.67	c INPROCESSING
22.52/22.67	c GARBAGE COLLECT
22.52/22.67	c rational objective 590.664
25.41/25.59	c #Conflicts:      32000 | #Constraints:     152760
25.41/25.59	c #Conflicts:      33000 | #Constraints:     153760
25.41/25.59	c #Conflicts:      34000 | #Constraints:     154760
25.41/25.59	c #Conflicts:      35000 | #Constraints:     155760
25.41/25.59	c #Conflicts:      36000 | #Constraints:     156760
25.41/25.59	c #Conflicts:      37000 | #Constraints:     157760
25.41/25.59	c INPROCESSING
25.41/25.59	c rational objective 592.948
30.80/30.93	c #Conflicts:      38000 | #Constraints:     152067
30.80/30.93	c #Conflicts:      39000 | #Constraints:     153067
30.80/30.93	c #Conflicts:      40000 | #Constraints:     154067
30.80/30.93	c #Conflicts:      41000 | #Constraints:     155067
30.80/30.93	c #Conflicts:      42000 | #Constraints:     156067
30.80/30.93	c #Conflicts:      43000 | #Constraints:     157067
30.80/30.93	c #Conflicts:      44000 | #Constraints:     158067
30.80/30.93	c #Conflicts:      45000 | #Constraints:     159067
30.80/30.93	c #Conflicts:      46000 | #Constraints:     160067
30.80/30.93	c #Conflicts:      47000 | #Constraints:     161067
30.80/30.93	c #Conflicts:      48000 | #Constraints:     162067
30.80/30.93	c #Conflicts:      49000 | #Constraints:     163067
30.80/30.93	c #Conflicts:      50000 | #Constraints:     164067
30.80/30.93	c INPROCESSING
30.80/30.93	c GARBAGE COLLECT
30.80/30.93	c rational objective 661.13
48.14/48.38	c #Conflicts:      51000 | #Constraints:     151392
48.14/48.38	c #Conflicts:      52000 | #Constraints:     152392
48.14/48.38	c #Conflicts:      53000 | #Constraints:     153392
48.14/48.38	c #Conflicts:      54000 | #Constraints:     154392
48.14/48.38	c #Conflicts:      55000 | #Constraints:     155392
48.14/48.38	c #Conflicts:      56000 | #Constraints:     156392
48.14/48.38	c #Conflicts:      57000 | #Constraints:     157392
48.14/48.38	c INPROCESSING
48.14/48.38	c #Conflicts:      58000 | #Constraints:     148845
48.14/48.38	c #Conflicts:      59000 | #Constraints:     149845
48.14/48.38	c #Conflicts:      60000 | #Constraints:     150845
48.14/48.38	c #Conflicts:      61000 | #Constraints:     151845
48.14/48.38	c #Conflicts:      62000 | #Constraints:     152845
48.14/48.38	c #Conflicts:      63000 | #Constraints:     153845
48.14/48.38	c #Conflicts:      64000 | #Constraints:     154845
48.14/48.38	c #Conflicts:      65000 | #Constraints:     155845
48.14/48.38	c #Conflicts:      66000 | #Constraints:     156845
48.14/48.38	c #Conflicts:      67000 | #Constraints:     157845
48.14/48.38	c #Conflicts:      68000 | #Constraints:     158845
48.14/48.38	c #Conflicts:      69000 | #Constraints:     159845
48.14/48.38	c #Conflicts:      70000 | #Constraints:     160845
48.14/48.38	c #Conflicts:      71000 | #Constraints:     161845
48.14/48.38	c #Conflicts:      72000 | #Constraints:     162845
48.14/48.38	c #Conflicts:      73000 | #Constraints:     163845
48.14/48.38	c #Conflicts:      74000 | #Constraints:     164845
48.14/48.38	c INPROCESSING
48.14/48.38	c GARBAGE COLLECT
48.14/48.38	c rational objective 673.819
54.13/54.36	c #Conflicts:      75000 | #Constraints:     151905
54.13/54.36	c #Conflicts:      76000 | #Constraints:     152905
54.13/54.36	c #Conflicts:      77000 | #Constraints:     153905
54.13/54.36	c #Conflicts:      78000 | #Constraints:     154905
54.13/54.36	c #Conflicts:      79000 | #Constraints:     155905
54.13/54.36	c #Conflicts:      80000 | #Constraints:     156905
54.13/54.36	c #Conflicts:      81000 | #Constraints:     157905
54.13/54.36	c #Conflicts:      82000 | #Constraints:     158905
54.13/54.36	c #Conflicts:      83000 | #Constraints:     159905
54.13/54.36	c #Conflicts:      84000 | #Constraints:     160905
54.13/54.36	c #Conflicts:      85000 | #Constraints:     161905
54.13/54.36	c #Conflicts:      86000 | #Constraints:     162905
54.13/54.36	c #Conflicts:      87000 | #Constraints:     163905
54.13/54.36	c #Conflicts:      88000 | #Constraints:     164905
54.13/54.36	c #Conflicts:      89000 | #Constraints:     165905
54.13/54.36	c #Conflicts:      90000 | #Constraints:     166905
54.13/54.36	c #Conflicts:      91000 | #Constraints:     167905
54.13/54.36	c #Conflicts:      92000 | #Constraints:     168905
54.13/54.36	c INPROCESSING
54.13/54.36	c GARBAGE COLLECT
54.13/54.36	c rational objective 676.94
68.18/68.40	c #Conflicts:      93000 | #Constraints:     153613
68.18/68.40	c #Conflicts:      94000 | #Constraints:     154613
68.18/68.40	c #Conflicts:      95000 | #Constraints:     155613
68.18/68.40	c #Conflicts:      96000 | #Constraints:     156613
68.18/68.40	c #Conflicts:      97000 | #Constraints:     157613
68.18/68.40	c #Conflicts:      98000 | #Constraints:     158613
68.18/68.40	c #Conflicts:      99000 | #Constraints:     159613
68.18/68.40	c #Conflicts:     100000 | #Constraints:     160613
68.18/68.40	c #Conflicts:     101000 | #Constraints:     161613
68.18/68.40	c #Conflicts:     102000 | #Constraints:     162613
68.18/68.40	c #Conflicts:     103000 | #Constraints:     163613
68.18/68.40	c #Conflicts:     104000 | #Constraints:     164613
68.18/68.40	c #Conflicts:     105000 | #Constraints:     165613
68.18/68.40	c #Conflicts:     106000 | #Constraints:     166613
68.18/68.40	c #Conflicts:     107000 | #Constraints:     167613
68.18/68.40	c #Conflicts:     108000 | #Constraints:     168613
68.18/68.40	c #Conflicts:     109000 | #Constraints:     169613
68.18/68.40	c #Conflicts:     110000 | #Constraints:     170613
68.18/68.40	c #Conflicts:     111000 | #Constraints:     171613
68.18/68.40	c #Conflicts:     112000 | #Constraints:     172613
68.18/68.40	c INPROCESSING
68.18/68.40	c GARBAGE COLLECT
68.18/68.40	c rational objective 681.324
79.64/79.92	c #Conflicts:     113000 | #Constraints:     155424
79.64/79.92	c #Conflicts:     114000 | #Constraints:     156424
79.64/79.92	c #Conflicts:     115000 | #Constraints:     157424
79.64/79.92	c #Conflicts:     116000 | #Constraints:     158424
79.64/79.92	c #Conflicts:     117000 | #Constraints:     159424
79.64/79.92	c #Conflicts:     118000 | #Constraints:     160424
79.64/79.92	c #Conflicts:     119000 | #Constraints:     161424
79.64/79.92	c #Conflicts:     120000 | #Constraints:     162424
79.64/79.92	c #Conflicts:     121000 | #Constraints:     163424
79.64/79.92	c #Conflicts:     122000 | #Constraints:     164424
79.64/79.92	c #Conflicts:     123000 | #Constraints:     165424
79.64/79.92	c #Conflicts:     124000 | #Constraints:     166424
79.64/79.92	c #Conflicts:     125000 | #Constraints:     167424
79.64/79.92	c #Conflicts:     126000 | #Constraints:     168424
79.64/79.92	c #Conflicts:     127000 | #Constraints:     169424
79.64/79.92	c #Conflicts:     128000 | #Constraints:     170424
79.64/79.92	c #Conflicts:     129000 | #Constraints:     171424
79.64/79.92	c #Conflicts:     130000 | #Constraints:     172424
79.64/79.92	c #Conflicts:     131000 | #Constraints:     173424
79.64/79.92	c #Conflicts:     132000 | #Constraints:     174424
79.64/79.92	c #Conflicts:     133000 | #Constraints:     175425
79.64/79.92	c #Conflicts:     134000 | #Constraints:     176425
79.64/79.92	c #Conflicts:     135000 | #Constraints:     177425
79.64/79.92	c INPROCESSING
79.64/79.92	c GARBAGE COLLECT
79.64/79.92	c rational objective 721.89
107.75/108.10	c #Conflicts:     136000 | #Constraints:     155556
107.75/108.10	c #Conflicts:     137000 | #Constraints:     156556
107.75/108.10	c #Conflicts:     138000 | #Constraints:     157556
107.75/108.10	c #Conflicts:     139000 | #Constraints:     158556
107.75/108.10	c #Conflicts:     140000 | #Constraints:     159556
107.75/108.10	c #Conflicts:     141000 | #Constraints:     160556
107.75/108.10	c #Conflicts:     142000 | #Constraints:     161556
107.75/108.10	c #Conflicts:     143000 | #Constraints:     162556
107.75/108.10	c #Conflicts:     144000 | #Constraints:     163556
107.75/108.10	c #Conflicts:     145000 | #Constraints:     164556
107.75/108.10	c #Conflicts:     146000 | #Constraints:     165556
107.75/108.10	c #Conflicts:     147000 | #Constraints:     166556
107.75/108.10	c #Conflicts:     148000 | #Constraints:     167556
107.75/108.10	c #Conflicts:     149000 | #Constraints:     168556
107.75/108.10	c #Conflicts:     150000 | #Constraints:     169556
107.75/108.10	c #Conflicts:     151000 | #Constraints:     170556
107.75/108.10	c #Conflicts:     152000 | #Constraints:     171556
107.75/108.10	c #Conflicts:     153000 | #Constraints:     172556
107.75/108.10	c #Conflicts:     154000 | #Constraints:     173556
107.75/108.10	c #Conflicts:     155000 | #Constraints:     174556
107.75/108.10	c #Conflicts:     156000 | #Constraints:     175556
107.75/108.10	c #Conflicts:     157000 | #Constraints:     176556
107.75/108.10	c #Conflicts:     158000 | #Constraints:     177556
107.75/108.10	c #Conflicts:     159000 | #Constraints:     178556
107.75/108.10	c INPROCESSING
107.75/108.10	c GARBAGE COLLECT
107.75/108.10	c #Conflicts:     160000 | #Constraints:     156706
107.75/108.10	c #Conflicts:     161000 | #Constraints:     157706
107.75/108.10	c #Conflicts:     162000 | #Constraints:     158706
107.75/108.10	c #Conflicts:     163000 | #Constraints:     159706
107.75/108.10	c #Conflicts:     164000 | #Constraints:     160706
107.75/108.10	c #Conflicts:     165000 | #Constraints:     161706
107.75/108.10	c #Conflicts:     166000 | #Constraints:     162706
107.75/108.10	c #Conflicts:     167000 | #Constraints:     163706
107.75/108.10	c #Conflicts:     168000 | #Constraints:     164706
107.75/108.10	c #Conflicts:     169000 | #Constraints:     165706
107.75/108.10	c #Conflicts:     170000 | #Constraints:     166706
107.75/108.10	c #Conflicts:     171000 | #Constraints:     167706
107.75/108.10	c #Conflicts:     172000 | #Constraints:     168706
107.75/108.10	c #Conflicts:     173000 | #Constraints:     169706
107.75/108.10	c #Conflicts:     174000 | #Constraints:     170706
107.75/108.10	c #Conflicts:     175000 | #Constraints:     171707
107.75/108.10	c #Conflicts:     176000 | #Constraints:     172707
107.75/108.10	c #Conflicts:     177000 | #Constraints:     173707
107.75/108.10	c #Conflicts:     178000 | #Constraints:     174707
107.75/108.10	c #Conflicts:     179000 | #Constraints:     175707
107.75/108.10	c #Conflicts:     180000 | #Constraints:     176707
107.75/108.10	c #Conflicts:     181000 | #Constraints:     177708
107.75/108.10	c #Conflicts:     182000 | #Constraints:     178708
107.75/108.10	c #Conflicts:     183000 | #Constraints:     179709
107.75/108.10	c #Conflicts:     184000 | #Constraints:     180710
107.75/108.10	c #Conflicts:     185000 | #Constraints:     181741
107.75/108.10	c #Conflicts:     186000 | #Constraints:     182742
107.75/108.10	c INPROCESSING
107.75/108.10	c GARBAGE COLLECT
107.75/108.10	c rational objective 726.269
125.78/126.29	c #Conflicts:     187000 | #Constraints:     158295
125.78/126.29	c #Conflicts:     188000 | #Constraints:     159295
125.78/126.29	c #Conflicts:     189000 | #Constraints:     160295
125.78/126.29	c #Conflicts:     190000 | #Constraints:     161295
125.78/126.29	c #Conflicts:     191000 | #Constraints:     162295
125.78/126.29	c #Conflicts:     192000 | #Constraints:     163295
125.78/126.29	c #Conflicts:     193000 | #Constraints:     164295
125.78/126.29	c #Conflicts:     194000 | #Constraints:     165295
125.78/126.29	c #Conflicts:     195000 | #Constraints:     166295
125.78/126.29	c #Conflicts:     196000 | #Constraints:     167295
125.78/126.29	c #Conflicts:     197000 | #Constraints:     168295
125.78/126.29	c #Conflicts:     198000 | #Constraints:     169295
125.78/126.29	c #Conflicts:     199000 | #Constraints:     170297
125.78/126.29	c #Conflicts:     200000 | #Constraints:     171298
125.78/126.29	c #Conflicts:     201000 | #Constraints:     172306
125.78/126.29	c #Conflicts:     202000 | #Constraints:     173309
125.78/126.29	c #Conflicts:     203000 | #Constraints:     174309
125.78/126.29	c #Conflicts:     204000 | #Constraints:     175309
125.78/126.29	c #Conflicts:     205000 | #Constraints:     176311
125.78/126.29	c #Conflicts:     206000 | #Constraints:     177313
125.78/126.29	c #Conflicts:     207000 | #Constraints:     178313
125.78/126.29	c #Conflicts:     208000 | #Constraints:     179316
125.78/126.29	c #Conflicts:     209000 | #Constraints:     180316
125.78/126.29	c #Conflicts:     210000 | #Constraints:     181316
125.78/126.29	c #Conflicts:     211000 | #Constraints:     182316
125.78/126.29	c #Conflicts:     212000 | #Constraints:     183316
125.78/126.29	c #Conflicts:     213000 | #Constraints:     184316
125.78/126.29	c #Conflicts:     214000 | #Constraints:     185328
125.78/126.29	c INPROCESSING
125.78/126.29	c GARBAGE COLLECT
125.78/126.29	c rational objective 731.263
145.23/145.74	c #Conflicts:     215000 | #Constraints:     159607
145.23/145.74	c #Conflicts:     216000 | #Constraints:     160607
145.23/145.74	c #Conflicts:     217000 | #Constraints:     161607
145.23/145.74	c #Conflicts:     218000 | #Constraints:     162607
145.23/145.74	c #Conflicts:     219000 | #Constraints:     163607
145.23/145.74	c #Conflicts:     220000 | #Constraints:     164607
145.23/145.74	c #Conflicts:     221000 | #Constraints:     165607
145.23/145.74	c #Conflicts:     222000 | #Constraints:     166607
145.23/145.74	c #Conflicts:     223000 | #Constraints:     167607
145.23/145.74	c #Conflicts:     224000 | #Constraints:     168607
145.23/145.74	c #Conflicts:     225000 | #Constraints:     169607
145.23/145.74	c #Conflicts:     226000 | #Constraints:     170607
145.23/145.74	c #Conflicts:     227000 | #Constraints:     171607
145.23/145.74	c #Conflicts:     228000 | #Constraints:     172607
145.23/145.74	c #Conflicts:     229000 | #Constraints:     173607
145.23/145.74	c #Conflicts:     230000 | #Constraints:     174613
145.23/145.74	c #Conflicts:     231000 | #Constraints:     175626
145.23/145.74	c #Conflicts:     232000 | #Constraints:     176626
145.23/145.74	c #Conflicts:     233000 | #Constraints:     177626
145.23/145.74	c #Conflicts:     234000 | #Constraints:     178626
145.23/145.74	c #Conflicts:     235000 | #Constraints:     179626
145.23/145.74	c #Conflicts:     236000 | #Constraints:     180626
145.23/145.74	c #Conflicts:     237000 | #Constraints:     181626
145.23/145.74	c #Conflicts:     238000 | #Constraints:     182626
145.23/145.74	c #Conflicts:     239000 | #Constraints:     183626
145.23/145.74	c #Conflicts:     240000 | #Constraints:     184626
145.23/145.74	c #Conflicts:     241000 | #Constraints:     185626
145.23/145.74	c #Conflicts:     242000 | #Constraints:     186626
145.23/145.74	c #Conflicts:     243000 | #Constraints:     187626
145.23/145.74	c #Conflicts:     244000 | #Constraints:     188626
145.23/145.74	c INPROCESSING
145.23/145.74	c GARBAGE COLLECT
145.23/145.74	c rational objective 735.559
153.61/154.15	c #Conflicts:     245000 | #Constraints:     160248
153.61/154.15	c #Conflicts:     246000 | #Constraints:     161248
153.61/154.15	c #Conflicts:     247000 | #Constraints:     162248
153.61/154.15	c #Conflicts:     248000 | #Constraints:     163248
153.61/154.15	c #Conflicts:     249000 | #Constraints:     164248
153.61/154.15	c #Conflicts:     250000 | #Constraints:     165248
153.61/154.15	c #Conflicts:     251000 | #Constraints:     166248
153.61/154.15	c #Conflicts:     252000 | #Constraints:     167248
153.61/154.15	c #Conflicts:     253000 | #Constraints:     168248
153.61/154.15	c #Conflicts:     254000 | #Constraints:     169248
153.61/154.15	c #Conflicts:     255000 | #Constraints:     170248
153.61/154.15	c #Conflicts:     256000 | #Constraints:     171249
153.61/154.15	c #Conflicts:     257000 | #Constraints:     172249
153.61/154.15	c #Conflicts:     258000 | #Constraints:     173250
153.61/154.15	c #Conflicts:     259000 | #Constraints:     174251
153.61/154.15	WSVECS04 Frhs2[79]: 6 0 1.68757 shouldn't be
153.61/154.15	WSVECS04 Frhs2[82]: 6 -8.77106 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[84]: 6 -2.66677 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[663]: 6 0 1.50008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[664]: 6 0 1.50009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[665]: 6 0 1.50005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[666]: 6 0 1.50004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[670]: 6 0 0.281287 shouldn't be
153.61/154.15	WSVECS04 Frhs2[916]: 6 -1.00006 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[987]: 6 0 1.60002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[988]: 6 0 1.60003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[989]: 6 0 1.60007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[990]: 6 0 1.60007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[991]: 6 0 1.60003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1014]: 6 0 1.75007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1015]: 6 0 1.75005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1016]: 6 0 1.75004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1017]: 6 0 1.75008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1018]: 6 0 1.75004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1238]: 6 0 1.50007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1239]: 6 0 1.50006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1240]: 6 0 1.50004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1241]: 6 0 1.50008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1242]: 6 0 1.50008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1282]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1444]: 6 -1.00004 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1535]: 6 0 1.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1536]: 6 0 1.00008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1537]: 6 0 1.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1538]: 6 0 1.00009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1539]: 6 0 1.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1579]: 6 -1.00006 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1687]: 6 -1.00006 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1697]: 6 0 1.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1698]: 6 0 1.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1699]: 6 0 1.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1700]: 6 0 1.00008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1701]: 6 0 1.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1722]: 6 0 1.00001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1724]: 6 0 2.00008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1725]: 6 0 2.00009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1726]: 6 0 2.00001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1727]: 6 0 2.00004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1728]: 6 0 2.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1768]: 6 -1.00002 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1795]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1822]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1839]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1916]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1928]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[1941]: 6 0 2.00006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2018]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2046]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2070]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2071]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2073]: 6 -1.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2074]: 6 -1.00009 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2075]: 6 0 1.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2189]: 6 0 0.500089 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2191]: 6 0 1.50001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2192]: 6 0 1.50006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2193]: 6 0 1.50004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2194]: 6 0 1.50004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2195]: 6 0 1.50004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2235]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2259]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2415]: 6 -1.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2420]: 6 -1.00004 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2423]: 6 -1.00009 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2424]: 6 -1.00001 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2488]: 6 0 1.50005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2489]: 6 0 1.50009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2490]: 6 0 1.50002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2491]: 6 0 1.50002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2492]: 6 0 1.50009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2557]: 6 -1.00004 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2559]: 6 -1.00004 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2582]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2608]: 6 -1.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2640]: 6 -1.00009 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2658]: 6 -1.00004 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2663]: 6 -1.00004 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2664]: 6 -1.00002 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2665]: 6 -1.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2666]: 6 -1.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2686]: 6 -2.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2694]: 6 -1.0001 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2721]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2728]: 6 0 1.00008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2747]: 6 -1.00002 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2748]: 6 -1.00006 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2752]: 6 0 1.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2771]: 6 -1.00002 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2772]: 6 -1.00008 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2775]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2776]: 6 -83.3417 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2798]: 6 -1.00006 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2799]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2800]: 6 -1.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2802]: 6 -1.00009 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2979]: 6 0 1.0001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2982]: 6 0 2.0001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2983]: 6 0 2.00004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2984]: 6 0 2.00007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2985]: 6 0 2.00007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[2986]: 6 0 2.00009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3089]: 6 0 35.3104 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3090]: 6 0 35.3104 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3187]: 6 -2.00008 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3195]: 6 0 0.666736 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3198]: 6 0 1.33336 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3199]: 6 0 1.66676 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3200]: 6 0 1.66675 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3201]: 6 0 1.66676 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3202]: 6 0 1.66673 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3255]: 6 0 1.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3266]: 6 -42.6834 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3387]: 6 0 1.33336 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3388]: 6 0 1.33335 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3389]: 6 0 1.33339 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3390]: 6 0 1.33335 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3391]: 6 0 1.33342 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3465]: 6 0 1.00004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3547]: 6 0 1.00009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3548]: 6 0 1.00007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3549]: 6 0 2.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3550]: 6 0 2.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3551]: 6 0 2.00004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3552]: 6 0 2.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3553]: 6 0 2.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3654]: 6 0 2.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3655]: 6 0 1.00009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3657]: 6 0 2.00006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3658]: 6 0 2.00001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3659]: 6 0 2.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3660]: 6 0 2.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3661]: 6 0 2.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3673]: 6 -1.00004 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3684]: 6 0 1.75002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3685]: 6 0 1.75007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3686]: 6 0 1.75001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3687]: 6 0 1.75001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[3688]: 6 0 1.75007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4079]: 6 -1.00006 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4082]: 6 -1.00006 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4205]: 6 0 1.60002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4206]: 6 0 1.60003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4207]: 6 0 1.60005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4208]: 6 0 1.60008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4209]: 6 0 1.60005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4276]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4310]: 6 0 3.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4311]: 6 0 3.00006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4312]: 6 0 3.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4313]: 6 0 3.00009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4314]: 6 0 3.0001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4315]: 6 0 3.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4316]: 6 0 3.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4317]: 6 0 3.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4318]: 6 0 3.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4319]: 6 0 3.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4448]: 6 0 1.75001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4449]: 6 0 1.75006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4450]: 6 0 1.75006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4451]: 6 0 1.75002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4452]: 6 0 1.75009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4515]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4516]: 6 -1.62505 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4546]: 6 0 10.0192 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4553]: 6 0 3.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4554]: 6 0 3.00008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4556]: 6 0 3.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4557]: 6 0 3.00004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4558]: 6 0 3.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4559]: 6 0 3.00007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4560]: 6 0 3.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4561]: 6 0 3.00009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4570]: 6 -1.00001 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4661]: 6 0 1.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4664]: 6 0 2.00004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4665]: 6 0 2.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4666]: 6 0 2.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4667]: 6 0 2.00009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4668]: 6 0 2.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4715]: 6 0 2.00001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4786]: 6 -1.00001 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4863]: 6 0 25.9207 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4952]: 6 0 1.00007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4986]: 6 0 1.00004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4987]: 6 0 1.00006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4988]: 6 0 2.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4989]: 6 0 2.00004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4990]: 6 0 2.00001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4991]: 6 0 2.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[4992]: 6 0 2.0001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5015]: 6 0 1.50003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5016]: 6 0 1.50006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5017]: 6 0 1.50007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5018]: 6 0 1.50002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5019]: 6 0 1.50005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5066]: 6 0 1.50005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5068]: 6 0 1.50009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5086]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5167]: 6 -1.00004 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5221]: 6 -1.00006 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5255]: 6 0 3.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5256]: 6 0 3.00004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5257]: 6 0 3.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5258]: 6 0 3.00008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5259]: 6 0 3.00007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5260]: 6 0 3.00009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5261]: 6 0 3.00009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5262]: 6 0 3.00006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5263]: 6 0 3.00006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5264]: 6 0 3.00001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5302]: 6 -1.00008 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5430]: 6 0 1.00006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5464]: 6 -1.0001 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5518]: 6 -1.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5566]: 6 -1.00004 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5698]: 6 0 1.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5699]: 6 0 1.0001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5700]: 6 0 1.00004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5701]: 6 0 1.00001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5702]: 6 0 1.00003 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5765]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5766]: 6 -1.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5767]: 6 -1.00008 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5770]: 6 -1.50002 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5803]: 6 0 1.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5804]: 6 0 1.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5806]: 6 0 1.00007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5807]: 6 0 1.00004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5808]: 6 0 1.00006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5809]: 6 0 1.00006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5810]: 6 0 1.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5811]: 6 0 1.00008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5812]: 6 0 1.00006 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5814]: 6 -1.00009 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5815]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5823]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5968]: 6 0 1.00009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5969]: 6 0 1.0001 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5970]: 6 0 1.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5971]: 6 0 1.00004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[5972]: 6 0 1.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6035]: 6 -1.00008 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6036]: 6 -1.00009 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6037]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6039]: 6 -1.00008 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6093]: 6 -1.00001 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6211]: 6 0 1.75009 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6212]: 6 0 1.75004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6213]: 6 0 1.75005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6214]: 6 0 1.75004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6215]: 6 0 1.75004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6255]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6278]: 6 -1.00009 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6279]: 6 -3.39862 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6280]: 6 -1.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6282]: 6 -1.00006 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6328]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6336]: 6 -1.00009 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6427]: 6 0 1.66673 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6428]: 6 0 1.66675 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6429]: 6 0 1.66673 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6430]: 6 0 1.66668 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6431]: 6 0 1.66669 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6471]: 6 -1.00008 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6494]: 6 -1.00004 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6495]: 6 -1.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6496]: 6 -1.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6497]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6498]: 6 -1.00002 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6499]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6543]: 6 -1.00006 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6552]: 6 -1.00006 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6615]: 6 0 0.500054 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6616]: 6 0 1.50004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6617]: 6 0 1.50008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6618]: 6 0 1.50004 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6619]: 6 0 1.50005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6620]: 6 0 1.50007 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6624]: 6 -1.00002 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6660]: 6 -1.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6675]: 6 0 1.00008 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6678]: 6 -1.0001 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6686]: 6 -6.55728 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6698]: 6 0 1.00002 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6699]: 6 0 1.00005 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6733]: 6 -1.00004 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6741]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6788]: 6 -1.00006 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6822]: 6 -1.00008 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6846]: 6 -1.00005 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6849]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6903]: 6 -1.00002 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6949]: 6 -1.00002 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6980]: 6 -1.00006 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6981]: 6 -1.00002 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[6984]: 6 -1.00008 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[7029]: 6 -1.00004 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[7030]: 6 -1.00008 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[7075]: 6 0 29.1916 shouldn't be
153.61/154.15	WSVECS04 Frhs2[7137]: 6 -1.00008 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[7138]: 6 -1.00009 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[7146]: 6 -1.00003 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[7191]: 6 -1.00001 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[7199]: 6 -1.00007 0 shouldn't be
153.61/154.15	WSVECS04 Frhs2[7220]: 6 -1.00007 0 shouldn't be
161.38/161.94	c #Conflicts:     260000 | #Constraints:     175253
161.38/161.94	c #Conflicts:     261000 | #Constraints:     176253
161.38/161.94	c #Conflicts:     262000 | #Constraints:     177253
161.38/161.94	c #Conflicts:     263000 | #Constraints:     178253
161.38/161.94	c #Conflicts:     264000 | #Constraints:     179253
161.38/161.94	c #Conflicts:     265000 | #Constraints:     180253
161.38/161.94	c #Conflicts:     266000 | #Constraints:     181253
161.38/161.94	c #Conflicts:     267000 | #Constraints:     182253
161.38/161.94	c #Conflicts:     268000 | #Constraints:     183253
161.38/161.94	c #Conflicts:     269000 | #Constraints:     184253
161.38/161.94	c #Conflicts:     270000 | #Constraints:     185253
161.38/161.94	c #Conflicts:     271000 | #Constraints:     186254
161.38/161.94	c #Conflicts:     272000 | #Constraints:     187254
161.38/161.94	c #Conflicts:     273000 | #Constraints:     188319
161.38/161.94	c #Conflicts:     274000 | #Constraints:     189319
161.38/161.94	c #Conflicts:     275000 | #Constraints:     190319
161.38/161.94	c #Conflicts:     276000 | #Constraints:     191319
161.38/161.94	c #Conflicts:     277000 | #Constraints:     192319
161.38/161.94	c INPROCESSING
161.38/161.94	c GARBAGE COLLECT
161.38/161.94	c rational objective 738.498
181.02/181.67	c #Conflicts:     278000 | #Constraints:     161796
181.02/181.67	c #Conflicts:     279000 | #Constraints:     162796
181.02/181.67	c #Conflicts:     280000 | #Constraints:     163796
181.02/181.67	c #Conflicts:     281000 | #Constraints:     164796
181.02/181.67	c #Conflicts:     282000 | #Constraints:     165796
181.02/181.67	c #Conflicts:     283000 | #Constraints:     166796
181.02/181.67	c #Conflicts:     284000 | #Constraints:     167796
181.02/181.67	c #Conflicts:     285000 | #Constraints:     168796
181.02/181.67	c #Conflicts:     286000 | #Constraints:     169796
181.02/181.67	c #Conflicts:     287000 | #Constraints:     170796
181.02/181.67	c #Conflicts:     288000 | #Constraints:     171796
181.02/181.67	c #Conflicts:     289000 | #Constraints:     172797
181.02/181.67	c #Conflicts:     290000 | #Constraints:     174016
181.02/181.67	c #Conflicts:     291000 | #Constraints:     175016
181.02/181.67	c #Conflicts:     292000 | #Constraints:     176016
181.02/181.67	c #Conflicts:     293000 | #Constraints:     177016
181.02/181.67	c #Conflicts:     294000 | #Constraints:     178016
181.02/181.67	c #Conflicts:     295000 | #Constraints:     179016
181.02/181.67	c #Conflicts:     296000 | #Constraints:     180016
181.02/181.67	c #Conflicts:     297000 | #Constraints:     181016
181.02/181.67	c #Conflicts:     298000 | #Constraints:     182018
181.02/181.67	c #Conflicts:     299000 | #Constraints:     183020
181.02/181.67	c #Conflicts:     300000 | #Constraints:     184020
181.02/181.67	c #Conflicts:     301000 | #Constraints:     185020
181.02/181.67	c #Conflicts:     302000 | #Constraints:     186020
181.02/181.67	c #Conflicts:     303000 | #Constraints:     187020
181.02/181.67	c #Conflicts:     304000 | #Constraints:     188020
181.02/181.67	c #Conflicts:     305000 | #Constraints:     189020
181.02/181.67	c #Conflicts:     306000 | #Constraints:     190020
181.02/181.67	c #Conflicts:     307000 | #Constraints:     191020
181.02/181.67	c #Conflicts:     308000 | #Constraints:     192020
181.02/181.67	c #Conflicts:     309000 | #Constraints:     193030
181.02/181.67	c #Conflicts:     310000 | #Constraints:     194037
181.02/181.67	c #Conflicts:     311000 | #Constraints:     195037
181.02/181.67	c INPROCESSING
181.02/181.67	c GARBAGE COLLECT
181.02/181.67	c rational objective 741.092
201.37/202.03	c #Conflicts:     312000 | #Constraints:     162387
201.37/202.03	c #Conflicts:     313000 | #Constraints:     163387
201.37/202.03	c #Conflicts:     314000 | #Constraints:     164387
201.37/202.03	c #Conflicts:     315000 | #Constraints:     165387
201.37/202.03	c #Conflicts:     316000 | #Constraints:     166387
201.37/202.03	c #Conflicts:     317000 | #Constraints:     167387
201.37/202.03	c #Conflicts:     318000 | #Constraints:     168387
201.37/202.03	c #Conflicts:     319000 | #Constraints:     169388
201.37/202.03	c #Conflicts:     320000 | #Constraints:     170388
201.37/202.03	c #Conflicts:     321000 | #Constraints:     171388
201.37/202.03	c #Conflicts:     322000 | #Constraints:     172388
201.37/202.03	c #Conflicts:     323000 | #Constraints:     173388
201.37/202.03	c #Conflicts:     324000 | #Constraints:     174388
201.37/202.03	c #Conflicts:     325000 | #Constraints:     175388
201.37/202.03	c #Conflicts:     326000 | #Constraints:     176388
201.37/202.03	c #Conflicts:     327000 | #Constraints:     177388
201.37/202.03	c #Conflicts:     328000 | #Constraints:     178388
201.37/202.03	c #Conflicts:     329000 | #Constraints:     179388
201.37/202.03	c #Conflicts:     330000 | #Constraints:     180388
201.37/202.03	c #Conflicts:     331000 | #Constraints:     181388
201.37/202.03	c #Conflicts:     332000 | #Constraints:     182388
201.37/202.03	c #Conflicts:     333000 | #Constraints:     183388
201.37/202.03	c #Conflicts:     334000 | #Constraints:     184388
201.37/202.03	c #Conflicts:     335000 | #Constraints:     185388
201.37/202.03	c #Conflicts:     336000 | #Constraints:     186388
201.37/202.03	c #Conflicts:     337000 | #Constraints:     187388
201.37/202.03	c #Conflicts:     338000 | #Constraints:     188388
201.37/202.03	c #Conflicts:     339000 | #Constraints:     189388
201.37/202.03	c #Conflicts:     340000 | #Constraints:     190388
201.37/202.03	c #Conflicts:     341000 | #Constraints:     191388
201.37/202.03	c #Conflicts:     342000 | #Constraints:     192388
201.37/202.03	c #Conflicts:     343000 | #Constraints:     193388
201.37/202.03	c #Conflicts:     344000 | #Constraints:     194388
201.37/202.03	c #Conflicts:     345000 | #Constraints:     195388
201.37/202.03	c #Conflicts:     346000 | #Constraints:     196388
201.37/202.03	c #Conflicts:     347000 | #Constraints:     197388
201.37/202.03	c #Conflicts:     348000 | #Constraints:     198388
201.37/202.03	c INPROCESSING
201.37/202.03	c GARBAGE COLLECT
201.37/202.03	c rational objective 784.824
239.55/240.37	c #Conflicts:     349000 | #Constraints:     160122
239.55/240.37	c #Conflicts:     350000 | #Constraints:     161123
239.55/240.37	c #Conflicts:     351000 | #Constraints:     162123
239.55/240.37	c #Conflicts:     352000 | #Constraints:     163123
239.55/240.37	c #Conflicts:     353000 | #Constraints:     164123
239.55/240.37	c #Conflicts:     354000 | #Constraints:     165123
239.55/240.37	c #Conflicts:     355000 | #Constraints:     166125
239.55/240.37	c #Conflicts:     356000 | #Constraints:     167131
239.55/240.37	c #Conflicts:     357000 | #Constraints:     168131
239.55/240.37	c #Conflicts:     358000 | #Constraints:     169131
239.55/240.37	c #Conflicts:     359000 | #Constraints:     170132
239.55/240.37	c #Conflicts:     360000 | #Constraints:     171132
239.55/240.37	c #Conflicts:     361000 | #Constraints:     172132
239.55/240.37	c #Conflicts:     362000 | #Constraints:     173132
239.55/240.37	c #Conflicts:     363000 | #Constraints:     174132
239.55/240.37	c #Conflicts:     364000 | #Constraints:     175133
239.55/240.37	c #Conflicts:     365000 | #Constraints:     176133
239.55/240.37	c #Conflicts:     366000 | #Constraints:     177133
239.55/240.37	c #Conflicts:     367000 | #Constraints:     178133
239.55/240.37	c #Conflicts:     368000 | #Constraints:     179133
239.55/240.37	c #Conflicts:     369000 | #Constraints:     180133
239.55/240.37	c #Conflicts:     370000 | #Constraints:     181135
239.55/240.37	c #Conflicts:     371000 | #Constraints:     182135
239.55/240.37	c #Conflicts:     372000 | #Constraints:     183135
239.55/240.37	c #Conflicts:     373000 | #Constraints:     184136
239.55/240.37	c #Conflicts:     374000 | #Constraints:     185136
239.55/240.37	c #Conflicts:     375000 | #Constraints:     186137
239.55/240.37	c #Conflicts:     376000 | #Constraints:     187137
239.55/240.37	c #Conflicts:     377000 | #Constraints:     188137
239.55/240.37	c #Conflicts:     378000 | #Constraints:     189137
239.55/240.37	c #Conflicts:     379000 | #Constraints:     190137
239.55/240.37	c #Conflicts:     380000 | #Constraints:     191137
239.55/240.37	c #Conflicts:     381000 | #Constraints:     192137
239.55/240.37	c #Conflicts:     382000 | #Constraints:     193137
239.55/240.37	c #Conflicts:     383000 | #Constraints:     194137
239.55/240.37	c #Conflicts:     384000 | #Constraints:     195137
239.55/240.37	c #Conflicts:     385000 | #Constraints:     196138
239.55/240.37	c #Conflicts:     386000 | #Constraints:     197139
239.55/240.37	c INPROCESSING
239.55/240.37	c GARBAGE COLLECT
239.55/240.37	c #Conflicts:     387000 | #Constraints:     160796
239.55/240.37	c #Conflicts:     388000 | #Constraints:     161796
239.55/240.37	c #Conflicts:     389000 | #Constraints:     162796
239.55/240.37	c #Conflicts:     390000 | #Constraints:     163796
239.55/240.37	c #Conflicts:     391000 | #Constraints:     164796
239.55/240.37	c #Conflicts:     392000 | #Constraints:     165796
239.55/240.37	c #Conflicts:     393000 | #Constraints:     166796
239.55/240.37	c #Conflicts:     394000 | #Constraints:     167796
239.55/240.37	c #Conflicts:     395000 | #Constraints:     168797
239.55/240.37	c #Conflicts:     396000 | #Constraints:     169797
239.55/240.37	c #Conflicts:     397000 | #Constraints:     170797
239.55/240.37	c #Conflicts:     398000 | #Constraints:     171798
239.55/240.37	c #Conflicts:     399000 | #Constraints:     172798
239.55/240.37	c #Conflicts:     400000 | #Constraints:     173798
239.55/240.37	c #Conflicts:     401000 | #Constraints:     174798
239.55/240.37	c #Conflicts:     402000 | #Constraints:     175798
239.55/240.37	c #Conflicts:     403000 | #Constraints:     176798
239.55/240.37	c #Conflicts:     404000 | #Constraints:     177799
239.55/240.37	c #Conflicts:     405000 | #Constraints:     178800
239.55/240.37	c #Conflicts:     406000 | #Constraints:     179801
239.55/240.37	c #Conflicts:     407000 | #Constraints:     180801
239.55/240.37	c #Conflicts:     408000 | #Constraints:     181801
239.55/240.37	c #Conflicts:     409000 | #Constraints:     182801
239.55/240.37	c #Conflicts:     410000 | #Constraints:     183801
239.55/240.37	c #Conflicts:     411000 | #Constraints:     184801
239.55/240.37	c #Conflicts:     412000 | #Constraints:     185801
239.55/240.37	c #Conflicts:     413000 | #Constraints:     186801
239.55/240.37	c #Conflicts:     414000 | #Constraints:     187801
239.55/240.37	c #Conflicts:     415000 | #Constraints:     188801
239.55/240.37	c #Conflicts:     416000 | #Constraints:     189801
239.55/240.37	c #Conflicts:     417000 | #Constraints:     190801
239.55/240.37	c #Conflicts:     418000 | #Constraints:     191801
239.55/240.37	c #Conflicts:     419000 | #Constraints:     192801
239.55/240.37	c #Conflicts:     420000 | #Constraints:     193801
239.55/240.37	c #Conflicts:     421000 | #Constraints:     194803
239.55/240.37	c #Conflicts:     422000 | #Constraints:     195805
239.55/240.37	c #Conflicts:     423000 | #Constraints:     196813
239.55/240.37	c #Conflicts:     424000 | #Constraints:     197814
239.55/240.37	c #Conflicts:     425000 | #Constraints:     198815
239.55/240.37	c #Conflicts:     426000 | #Constraints:     199815
239.55/240.37	c INPROCESSING
246.42/247.24	c GARBAGE COLLECT
246.42/247.24	WSVECS04 Frhs2[77]: 6 -113.244 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[79]: 6 -19.9064 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[80]: 6 -47.0008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[84]: 6 -3.6256 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[538]: 6 -16229.1 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[540]: 6 -19473.4 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[541]: 6 -6526.59 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[996]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1105]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1110]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1112]: 6 -1.47264 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1114]: 6 -2.12943 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1117]: 6 -1.97265 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1121]: 6 -1083.02 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1248]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1272]: 6 0 2.00001 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1278]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1281]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1530]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1545]: 6 -1.00007 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1579]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1640]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1719]: 6 -2.00001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1760]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1833]: 6 0 0.388092 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1860]: 6 -0.137181 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1876]: 6 -37.8821 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1878]: 6 -3.19405 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1880]: 6 -2164.17 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[1881]: 6 -4.00007 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2003]: 6 0 2.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2004]: 6 0 2.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2008]: 6 0 2.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2027]: 6 0 2.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2042]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2232]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2233]: 6 0 0.333425 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2388]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2490]: 6 0 1.50003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2491]: 6 0 1.50003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2559]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2689]: 6 0 0.492503 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2735]: 6 0 0.265355 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2766]: 6 -1.54421 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[2865]: 6 -5.80479 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3007]: 6 0 1.18205 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3062]: 6 0 2.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3063]: 6 0 2.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3066]: 6 0 2.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3069]: 6 0 2.00001 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3071]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3088]: 6 -0.093048 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3107]: 6 0 0.0899207 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3182]: 6 0 0.16469 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3199]: 6 0 1.45889 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3200]: 6 0 1.45888 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3201]: 6 0 1.45889 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3202]: 6 0 1.45888 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3203]: 6 0 1.45886 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3204]: 6 0 1.45885 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3386]: 6 0 1.47944 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3387]: 6 0 1.47945 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3388]: 6 0 1.47947 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3393]: 6 0 1.47951 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3413]: 6 0 1.97945 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3414]: 6 0 1.97945 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3415]: 6 0 1.97943 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3416]: 6 0 1.97948 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3417]: 6 0 1.97947 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3418]: 6 0 1.97944 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3419]: 6 0 1.9795 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3420]: 6 0 1.97945 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3653]: 6 -2.11084 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3795]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3821]: 6 0 2.00001 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3822]: 6 0 2.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3828]: 6 0 0.0131182 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3978]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3979]: 6 0 1.00009 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3980]: 6 0 1.00005 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3981]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3982]: 6 0 1.00007 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3983]: 6 0 1.00006 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3984]: 6 0 1.00008 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3986]: 6 0 1.0001 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3987]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[3989]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4010]: 6 0 1.00008 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4016]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4039]: 6 -1.0001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4067]: 6 0 2.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4076]: 6 -2.83343 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4084]: 6 -3250.11 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4087]: 6 -1082.25 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4224]: 6 -1.33343 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4232]: 6 0 1.50004 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4236]: 6 0 1.50003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4248]: 6 -1.0001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4255]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4298]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4313]: 6 0 1.00005 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4316]: 6 0 1.00006 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4326]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4329]: 6 -1.00001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4330]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4515]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4518]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4519]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4558]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4568]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4570]: 6 -1.00001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4571]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4572]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4594]: 6 -2.00001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4650]: 6 -0.500014 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4679]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4705]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4734]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4753]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4758]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4759]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4786]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4787]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4788]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4948]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4951]: 6 -1.00007 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[4976]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5015]: 6 0 1.33337 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5017]: 6 0 1.33337 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5028]: 6 -1.0001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5076]: 6 -0.500028 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5082]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5086]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5093]: 6 0 1.00006 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5094]: 6 0 1.00004 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5101]: 6 0 1.00005 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5102]: 6 0 1.00007 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5108]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5109]: 6 -1.00007 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5110]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5111]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5112]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5131]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5158]: 6 -1.33335 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5165]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5213]: 6 -0.166739 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5228]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5231]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5240]: 6 -1.0001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5244]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5247]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5301]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5336]: 6 0 1.00005 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5337]: 6 0 1.00004 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5338]: 6 0 1.00005 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5339]: 6 0 1.00009 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5340]: 6 0 1.00004 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5341]: 6 0 1.00006 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5343]: 6 0 1.00009 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5345]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5347]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5352]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5353]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5390]: 6 0 3.16872 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5391]: 6 0 3.16869 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5401]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5405]: 6 -1.00007 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5406]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5407]: 6 -1.33338 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5408]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5409]: 6 -2.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5410]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5428]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5432]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5433]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5434]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5435]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5473]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5474]: 6 0 0.670723 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5475]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5480]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5489]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5514]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5531]: 6 0 0.835628 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5533]: 6 0 0.524522 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5552]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5559]: 6 0 0.365968 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5572]: 6 -4866.24 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5778]: 6 0 1.00007 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5780]: 6 0 1.00008 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5781]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5783]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5784]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5785]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5787]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5791]: 6 -1.00007 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5792]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5793]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5794]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5795]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5796]: 6 -1.0001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5814]: 6 -2.03618 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5819]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5822]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[5881]: 6 0 0.0171812 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6046]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6047]: 6 0 1.00005 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6048]: 6 0 1.00004 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6051]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6053]: 6 0 1.00005 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6057]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6061]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6062]: 6 -1.00001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6063]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6064]: 6 -1.00007 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6065]: 6 -1.00001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6066]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6089]: 6 -1.0001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6092]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6111]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6115]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6116]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6117]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6118]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6246]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6290]: 6 0 1.00004 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6291]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6292]: 6 0 1.00001 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6294]: 6 0 1.00004 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6296]: 6 0 1.00004 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6298]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6300]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6304]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6305]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6306]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6307]: 6 -1.00007 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6308]: 6 -1.00007 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6309]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6327]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6334]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6335]: 6 -0.662407 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6345]: 6 0 1.06251 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6346]: 6 0 1.06252 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6347]: 6 0 1.06251 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6348]: 6 0 1.06245 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6349]: 6 0 1.06251 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6350]: 6 0 1.06246 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6351]: 6 0 1.06246 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6352]: 6 0 1.06252 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6358]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6362]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6392]: 6 0 0.529756 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6423]: 6 0 0.0163238 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6426]: 6 0 1.50817 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6427]: 6 0 1.5082 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6428]: 6 0 1.50824 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6429]: 6 0 1.50818 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6430]: 6 0 1.50819 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6431]: 6 0 1.50824 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6432]: 6 0 1.50823 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6433]: 6 0 1.50821 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6498]: 6 -1.00001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6505]: 6 0 1.00006 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6506]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6507]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6509]: 6 0 1.00006 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6510]: 6 0 1.00001 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6512]: 6 0 1.00004 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6516]: 6 -1.57243 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6520]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6521]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6524]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6525]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6552]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6553]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6574]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6576]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6588]: 6 0 1.16675 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6590]: 6 0 1.16669 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6591]: 6 0 1.1667 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6594]: 6 0 1.16674 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6595]: 6 0 1.16668 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6687]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6698]: 6 0 1.00004 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6700]: 6 0 1.00001 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6701]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6702]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6705]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6710]: 6 -1.00001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6711]: 6 -1.00007 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6713]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6738]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6741]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6765]: 6 -1.00009 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6774]: 6 -2.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6800]: 6 0 1.00005 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6802]: 6 0 2.00007 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6805]: 6 0 2.00006 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6806]: 6 0 2.00004 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6809]: 6 0 2.00006 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6810]: 6 0 2.00006 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6849]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6856]: 6 0 1.00007 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6857]: 6 0 1.00005 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6858]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6859]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6860]: 6 0 1.00006 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6861]: 6 0 1.00004 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6862]: 6 0 1.00005 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6867]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6871]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6872]: 6 -1.00007 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6873]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6874]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6875]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6876]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6882]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6902]: 6 -1.00007 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6903]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6914]: 6 0 0.333416 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6938]: 6 0 0.500046 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6958]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6984]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[6992]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7007]: 6 -1.00007 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7010]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7035]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7061]: 6 -1.00001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7073]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7100]: 6 0 1.00001 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7102]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7104]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7105]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7106]: 6 0 1.00003 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7108]: 6 0 1.00004 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7110]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7115]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7116]: 6 -1.00001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7117]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7118]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7142]: 6 -1.0001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7143]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7145]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7186]: 6 0 217.218 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7196]: 6 -1.00002 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7199]: 6 -1.00004 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7221]: 6 0 432.437 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7224]: 6 -1.00001 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7235]: 6 0 0.540816 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7251]: 6 -1.00005 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7261]: 6 0 1.00001 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7266]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7267]: 6 0 1.00005 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7277]: 6 -1.00008 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7303]: 6 -1.00003 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7305]: 6 -1.00006 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7312]: 6 0 1.00002 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7318]: 6 -2704.37 0 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7336]: 6 0 0.0999454 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7346]: 6 0 3.04891 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7349]: 6 0 3244.6 shouldn't be
246.42/247.24	WSVECS04 Frhs2[7350]: 6 0 3244.6 shouldn't be
259.88/260.74	WSVECS04 Frhs2[659]: 6 -1.00008 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[672]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[676]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[677]: 6 -1.00009 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[684]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[807]: 6 -1.00009 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[906]: 6 0 1.00001 shouldn't be
259.88/260.74	WSVECS04 Frhs2[909]: 6 0 1.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[919]: 6 -1.00009 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[921]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[984]: 6 0 1.00007 shouldn't be
259.88/260.74	WSVECS04 Frhs2[985]: 6 0 1.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1001]: 6 -1.00008 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1009]: 6 -1.0001 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1014]: 6 0 1.00003 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1019]: 6 0 1.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1022]: 6 -1.00009 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1038]: 6 -1.00008 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1051]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1120]: 6 -0.900178 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1233]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1251]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1395]: 6 0 1.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1397]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1402]: 6 0 1.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1410]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1425]: 6 0 1.50001 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1444]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1547]: 6 -1.00002 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1548]: 6 -1.00002 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1576]: 6 -1.00002 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1645]: 6 0 1.00001 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1647]: 6 0 1.00001 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1655]: 6 -1.00008 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1658]: 6 -1.00003 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1687]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1693]: 6 0 1.00003 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1695]: 6 0 1.00003 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1699]: 6 0 2.0001 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1703]: 6 0 2.00003 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1707]: 6 -1.00009 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1710]: 6 -1.00002 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1729]: 6 0 1.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1730]: 6 0 1.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1734]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1737]: 6 -1.00008 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1765]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1766]: 6 -1.00003 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1768]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1787]: 6 -1.33336 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1792]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1814]: 6 -1.0001 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1841]: 6 0 0.0971059 shouldn't be
259.88/260.74	WSVECS04 Frhs2[1882]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2035]: 6 0 2.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2043]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2045]: 6 -0.92202 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2379]: 6 0 0.849245 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2380]: 6 0 0.849293 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2382]: 6 0 0.849274 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2384]: 6 0 0.849249 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2386]: 6 0 0.849253 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2394]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2415]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2627]: 6 0 2.00009 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2637]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2667]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2733]: 6 0 0.686819 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2753]: 6 0 0.129401 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2755]: 6 0 0.129397 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2794]: 6 -1.00008 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2820]: 6 0 0.413085 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2827]: 6 0 0.24839 shouldn't be
259.88/260.74	WSVECS04 Frhs2[2828]: 6 0 0.371974 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3189]: 6 0 0.164748 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3222]: 6 0 2.5001 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3223]: 6 0 2.50005 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3224]: 6 0 2.50007 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3225]: 6 0 2.50006 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3226]: 6 0 2.50004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3227]: 6 0 2.50002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3228]: 6 0 2.50005 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3229]: 6 0 2.50006 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3230]: 6 0 2.50008 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3231]: 6 0 2.50009 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3283]: 6 0 2.50003 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3284]: 6 0 2.50002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3285]: 6 0 2.50003 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3389]: 6 0 1.47949 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3392]: 6 0 1.47944 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3465]: 6 0 2.0001 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3466]: 6 0 2.00006 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3467]: 6 0 2.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3468]: 6 0 2.00007 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3469]: 6 0 2.00009 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3470]: 6 0 2.00006 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3471]: 6 0 2.00001 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3472]: 6 0 2.00008 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3473]: 6 0 2.00007 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3474]: 6 0 2.00008 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3635]: 6 0 2.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3636]: 6 0 2.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3765]: 6 0 2.00003 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3768]: 6 0 2.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3769]: 6 0 2.00005 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3770]: 6 0 2.00005 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3771]: 6 0 2.00007 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3790]: 6 0 1.00009 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3791]: 6 0 1.00006 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3792]: 6 0 1.00003 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3794]: 6 0 1.00007 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3796]: 6 0 1.00006 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3797]: 6 0 1.00009 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3798]: 6 0 1.00003 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3807]: 6 0 0.599907 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3816]: 6 0 2.00005 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3817]: 6 0 2.00007 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3818]: 6 0 2.00009 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3819]: 6 0 2.00007 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3820]: 6 0 2.00009 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3823]: 6 0 2.00008 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3824]: 6 0 2.00005 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3825]: 6 0 2.00008 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3870]: 6 0 2.00007 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3871]: 6 0 2.00009 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3872]: 6 0 2.00006 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3873]: 6 0 2.00007 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3874]: 6 0 2.00009 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3875]: 6 0 2.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3876]: 6 0 2.00007 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3877]: 6 0 2.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3879]: 6 0 2.00009 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3898]: 6 0 0.401947 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3900]: 6 0 0.443133 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3903]: 6 0 0.443067 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3904]: 6 0 0.401881 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3905]: 6 0 0.443064 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3953]: 6 0 3.44306 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3957]: 6 0 3.44306 shouldn't be
259.88/260.74	WSVECS04 Frhs2[3959]: 6 0 3.44307 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4005]: 6 0 2.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4007]: 6 0 2.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4011]: 6 0 2.00003 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4014]: 6 0 2.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4048]: 6 0 1.00005 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4202]: 6 0 1.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4204]: 6 0 2.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4205]: 6 0 2.00006 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4206]: 6 0 2.00001 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4207]: 6 0 2.00006 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4208]: 6 0 2.00005 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4209]: 6 0 2.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4210]: 6 0 2.00003 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4211]: 6 0 2.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4246]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4268]: 6 -1.0001 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4276]: 6 -1.00001 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4301]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4456]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4490]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4526]: 6 0 1.00007 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4527]: 6 0 1.00008 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4530]: 6 0 1.00008 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4531]: 6 0 1.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4533]: 6 0 1.00006 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4534]: 6 0 1.00009 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4535]: 6 0 1.00008 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4537]: 6 -1.00009 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4542]: 6 -1.00009 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4543]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4544]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4545]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4546]: 6 -1.0001 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4573]: 6 -1.00007 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4706]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4726]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4745]: 6 0 4.92816 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4751]: 6 0 4.92811 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4757]: 6 -1.00007 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4760]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4761]: 6 -4.92807 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4850]: 6 0 0.500046 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4856]: 6 0 1.50002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4861]: 6 -1.00009 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4865]: 6 -1.00003 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4866]: 6 -1.00007 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4882]: 6 0 1.50001 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4894]: 6 -1.00009 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4969]: 6 -1.00007 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4975]: 6 -1.0001 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[4978]: 6 -1.00007 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5024]: 6 -1.00008 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5029]: 6 -0.666694 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5057]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5104]: 6 -1.0001 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5113]: 6 -1.00002 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5130]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5146]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5243]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5246]: 6 -1.00008 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5275]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5302]: 6 -1.00003 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5342]: 6 0 1.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5464]: 6 -1.00007 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5508]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5509]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5829]: 6 0 1.00006 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5841]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5845]: 6 -1.0001 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5846]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5847]: 6 -1.00009 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5968]: 6 0 1.66675 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5969]: 6 0 1.66674 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5970]: 6 0 1.66673 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5971]: 6 0 1.66673 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5972]: 6 0 1.66671 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5973]: 6 0 1.6667 shouldn't be
259.88/260.74	WSVECS04 Frhs2[5974]: 6 0 1.66675 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6084]: 6 -1.00009 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6214]: 6 0 1.33338 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6217]: 6 0 1.3334 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6236]: 6 0 1.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6237]: 6 0 1.00008 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6238]: 6 0 1.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6239]: 6 0 1.00001 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6241]: 6 0 1.00007 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6242]: 6 0 1.00003 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6243]: 6 0 1.00008 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6244]: 6 0 1.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6252]: 6 -1.00002 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6333]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6451]: 6 0 1.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6453]: 6 0 1.00005 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6455]: 6 0 1.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6457]: 6 0 1.00003 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6522]: 6 -1.00007 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6571]: 6 -1.00008 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6617]: 6 0 1.66671 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6620]: 6 0 1.66668 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6621]: 6 0 1.66669 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6651]: 6 -1.00002 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6656]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6657]: 6 -1.00003 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6659]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6709]: 6 -1.00007 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6759]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6763]: 6 -1.00007 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6820]: 6 -1.00007 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6865]: 6 0 1.00002 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6894]: 6 -1.0001 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6899]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6900]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6901]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6924]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6926]: 6 -1.00009 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[6991]: 6 0 1.00008 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7011]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7056]: 6 -1.00002 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7060]: 6 -1.00009 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7083]: 6 -1.00008 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7087]: 6 -1.00002 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7090]: 6 -1.00005 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7092]: 6 -1.00003 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7119]: 6 -1.0001 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7137]: 6 -1.00004 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7147]: 6 -1.00008 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7191]: 6 -1.00003 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7223]: 6 -1.00007 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7236]: 6 0 2.00005 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7245]: 6 -1.00007 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7253]: 6 -1.00006 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7264]: 6 0 1.00006 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7265]: 6 0 1.00008 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7268]: 6 0 1.00009 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7269]: 6 0 1.00008 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7270]: 6 0 1.00004 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7279]: 6 -1.00007 0 shouldn't be
259.88/260.74	WSVECS04 Frhs2[7344]: 6 0 3.04891 shouldn't be
297.96/298.91	c #Conflicts:     427000 | #Constraints:     160723
297.96/298.91	c #Conflicts:     428000 | #Constraints:     161725
297.96/298.91	c #Conflicts:     429000 | #Constraints:     162726
297.96/298.91	c #Conflicts:     430000 | #Constraints:     163728
297.96/298.91	c #Conflicts:     431000 | #Constraints:     164731
297.96/298.91	c #Conflicts:     432000 | #Constraints:     165734
297.96/298.91	c #Conflicts:     433000 | #Constraints:     166734
297.96/298.91	c #Conflicts:     434000 | #Constraints:     167734
297.96/298.91	c #Conflicts:     435000 | #Constraints:     168734
297.96/298.91	c #Conflicts:     436000 | #Constraints:     169734
297.96/298.91	c #Conflicts:     437000 | #Constraints:     170735
297.96/298.91	c #Conflicts:     438000 | #Constraints:     171735
297.96/298.91	c #Conflicts:     439000 | #Constraints:     172735
297.96/298.91	c #Conflicts:     440000 | #Constraints:     173735
297.96/298.91	c #Conflicts:     441000 | #Constraints:     174736
297.96/298.91	c #Conflicts:     442000 | #Constraints:     175736
297.96/298.91	c #Conflicts:     443000 | #Constraints:     176738
297.96/298.91	c #Conflicts:     444000 | #Constraints:     177743
297.96/298.91	c #Conflicts:     445000 | #Constraints:     178743
297.96/298.91	c #Conflicts:     446000 | #Constraints:     179743
297.96/298.91	c #Conflicts:     447000 | #Constraints:     180744
297.96/298.91	c #Conflicts:     448000 | #Constraints:     181744
297.96/298.91	c #Conflicts:     449000 | #Constraints:     182744
297.96/298.91	c #Conflicts:     450000 | #Constraints:     183744
297.96/298.91	c #Conflicts:     451000 | #Constraints:     184744
297.96/298.91	c #Conflicts:     452000 | #Constraints:     185744
297.96/298.91	c #Conflicts:     453000 | #Constraints:     186744
297.96/298.91	c #Conflicts:     454000 | #Constraints:     187744
297.96/298.91	c #Conflicts:     455000 | #Constraints:     188744
297.96/298.91	c #Conflicts:     456000 | #Constraints:     189744
297.96/298.91	c #Conflicts:     457000 | #Constraints:     190745
297.96/298.91	c #Conflicts:     458000 | #Constraints:     191752
297.96/298.91	c #Conflicts:     459000 | #Constraints:     192752
297.96/298.91	c #Conflicts:     460000 | #Constraints:     193752
297.96/298.91	c #Conflicts:     461000 | #Constraints:     194752
297.96/298.91	c #Conflicts:     462000 | #Constraints:     195752
297.96/298.91	c #Conflicts:     463000 | #Constraints:     196752
297.96/298.91	c #Conflicts:     464000 | #Constraints:     197752
297.96/298.91	c #Conflicts:     465000 | #Constraints:     198752
297.96/298.91	c #Conflicts:     466000 | #Constraints:     199752
297.96/298.91	c #Conflicts:     467000 | #Constraints:     200752
297.96/298.91	c #Conflicts:     468000 | #Constraints:     201752
297.96/298.91	c #Conflicts:     469000 | #Constraints:     202752
297.96/298.91	c INPROCESSING
297.96/298.91	c GARBAGE COLLECT
297.96/298.91	WSVECS04 Frhs2[81]: 6 -369.085 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[83]: 6 -138.226 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[85]: 6 -130.898 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[489]: 6 0 2.91284 shouldn't be
297.96/298.91	WSVECS04 Frhs2[527]: 6 0 2.03882 shouldn't be
297.96/298.91	WSVECS04 Frhs2[537]: 6 -697.05 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[539]: 6 -249 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[543]: 6 -315.857 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[545]: 6 0 18.9807 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1108]: 6 -2.00008 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1113]: 6 -441.083 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1115]: 6 -35.5 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1116]: 6 -232.75 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1272]: 6 0 2.00008 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1451]: 6 -19 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1642]: 6 0 3.00006 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1643]: 6 0 3.00003 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1644]: 6 0 3.00003 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1645]: 6 0 3.00009 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1647]: 6 0 3.00002 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1648]: 6 0 3.00007 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1649]: 6 0 3.00008 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1758]: 6 0 2.00008 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1785]: 6 0 2.00004 shouldn't be
297.96/298.91	WSVECS04 Frhs2[1877]: 6 0 89.8598 shouldn't be
297.96/298.91	WSVECS04 Frhs2[2225]: 6 0 1.00003 shouldn't be
297.96/298.91	WSVECS04 Frhs2[2385]: 6 0 2.00003 shouldn't be
297.96/298.91	WSVECS04 Frhs2[2674]: 6 0 2.00006 shouldn't be
297.96/298.91	WSVECS04 Frhs2[2690]: 6 -1.00006 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[2694]: 6 -1.00009 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[2808]: 6 0 1.00009 shouldn't be
297.96/298.91	WSVECS04 Frhs2[2810]: 6 0 1.00003 shouldn't be
297.96/298.91	WSVECS04 Frhs2[2852]: 6 0 1.00004 shouldn't be
297.96/298.91	WSVECS04 Frhs2[4079]: 6 -61.5001 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[4080]: 6 -90.5 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[4083]: 6 -213 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[5176]: 6 0 4.00009 shouldn't be
297.96/298.91	WSVECS04 Frhs2[5182]: 6 0 4.00003 shouldn't be
297.96/298.91	WSVECS04 Frhs2[5183]: 6 0 4.00005 shouldn't be
297.96/298.91	WSVECS04 Frhs2[5191]: 6 -1.00006 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[5194]: 6 -1.00009 0 shouldn't be
297.96/298.91	WSVECS04 Frhs2[5246]: 6 0 0.333405 shouldn't be
297.96/298.91	WSVECS04 Frhs2[5573]: 6 0 32.6066 shouldn't be
297.96/298.91	WSVECS04 Frhs2[6785]: 6 0 2.00004 shouldn't be
297.96/298.91	WSVECS04 Frhs2[6938]: 6 0 3.00004 shouldn't be
297.96/298.91	WSVECS04 Frhs2[7054]: 6 0 6.00002 shouldn't be
297.96/298.91	WSVECS04 Frhs2[7055]: 6 0 3.00009 shouldn't be
297.96/298.91	WSVECS04 Frhs2[7314]: 6 0 14.3922 shouldn't be
297.96/298.91	WSVECS04 Frhs2[7338]: 6 0 43.6066 shouldn't be
297.96/298.91	WSVECS04 Frhs2[7340]: 6 0 44.6066 shouldn't be
297.96/298.91	WSVECS04 Frhs2[7353]: 6 -176.713 0 shouldn't be
326.38/327.46	c #Conflicts:     470000 | #Constraints:     163070
326.38/327.46	c #Conflicts:     471000 | #Constraints:     164071
326.38/327.46	c #Conflicts:     472000 | #Constraints:     165071
326.38/327.46	c #Conflicts:     473000 | #Constraints:     166071
326.38/327.46	c #Conflicts:     474000 | #Constraints:     167071
326.38/327.46	c #Conflicts:     475000 | #Constraints:     168071
326.38/327.46	c #Conflicts:     476000 | #Constraints:     169071
326.38/327.46	c #Conflicts:     477000 | #Constraints:     170071
326.38/327.46	c #Conflicts:     478000 | #Constraints:     171071
326.38/327.46	c #Conflicts:     479000 | #Constraints:     172071
326.38/327.46	c #Conflicts:     480000 | #Constraints:     173071
326.38/327.46	c #Conflicts:     481000 | #Constraints:     174071
326.38/327.46	c #Conflicts:     482000 | #Constraints:     175071
326.38/327.46	c #Conflicts:     483000 | #Constraints:     176071
326.38/327.46	c #Conflicts:     484000 | #Constraints:     177071
326.38/327.46	c #Conflicts:     485000 | #Constraints:     178071
326.38/327.46	c #Conflicts:     486000 | #Constraints:     179071
326.38/327.46	c #Conflicts:     487000 | #Constraints:     180071
326.38/327.46	c #Conflicts:     488000 | #Constraints:     181072
326.38/327.46	c #Conflicts:     489000 | #Constraints:     182072
326.38/327.46	c #Conflicts:     490000 | #Constraints:     183073
326.38/327.46	c #Conflicts:     491000 | #Constraints:     184073
326.38/327.46	c #Conflicts:     492000 | #Constraints:     185073
326.38/327.46	c #Conflicts:     493000 | #Constraints:     186073
326.38/327.46	c #Conflicts:     494000 | #Constraints:     187073
326.38/327.46	c #Conflicts:     495000 | #Constraints:     188073
326.38/327.46	c #Conflicts:     496000 | #Constraints:     189073
326.38/327.46	c #Conflicts:     497000 | #Constraints:     190073
326.38/327.46	c #Conflicts:     498000 | #Constraints:     191073
326.38/327.46	c #Conflicts:     499000 | #Constraints:     192073
326.38/327.46	c #Conflicts:     500000 | #Constraints:     193073
326.38/327.46	c #Conflicts:     501000 | #Constraints:     194073
326.38/327.46	c #Conflicts:     502000 | #Constraints:     195073
326.38/327.46	c #Conflicts:     503000 | #Constraints:     196073
326.38/327.46	c #Conflicts:     504000 | #Constraints:     197075
326.38/327.46	c #Conflicts:     505000 | #Constraints:     198076
326.38/327.46	WSVECS04 Frhs2[526]: 6 0 0.137914 shouldn't be
326.38/327.46	WSVECS04 Frhs2[527]: 6 0 0.464539 shouldn't be
326.38/327.46	WSVECS04 Frhs2[528]: 6 0 3.69503 shouldn't be
326.38/327.46	WSVECS04 Frhs2[529]: 6 0 2.08043 shouldn't be
326.38/327.46	WSVECS04 Frhs2[530]: 6 0 1.67425 shouldn't be
326.38/327.46	WSVECS04 Frhs2[532]: 6 0 1.03347 shouldn't be
326.38/327.46	WSVECS04 Frhs2[534]: 6 0 1.32266 shouldn't be
326.38/327.46	WSVECS04 Frhs2[662]: 6 0 1.18072 shouldn't be
326.38/327.46	WSVECS04 Frhs2[679]: 6 -1.00005 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[680]: 6 -1.00009 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[815]: 6 -1.00003 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[1010]: 6 -1.00006 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[1021]: 6 0 0.271012 shouldn't be
326.38/327.46	WSVECS04 Frhs2[1022]: 6 -1.00004 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[1029]: 6 0 2.00652 shouldn't be
326.38/327.46	WSVECS04 Frhs2[1032]: 6 -1.00007 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[1058]: 6 -1.00006 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[1255]: 6 -1.00001 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[1417]: 6 -1.00006 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[1714]: 6 -1.00009 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[1741]: 6 -1.00004 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[1866]: 6 0 0.700052 shouldn't be
326.38/327.46	WSVECS04 Frhs2[1869]: 6 -1.00003 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[1870]: 6 -1.00009 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[2291]: 6 0 1.00002 shouldn't be
326.38/327.46	WSVECS04 Frhs2[2370]: 6 -1.00006 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[2543]: 6 0 1.50006 shouldn't be
326.38/327.46	WSVECS04 Frhs2[2545]: 6 0 1.50007 shouldn't be
326.38/327.46	WSVECS04 Frhs2[2561]: 6 0 1.00003 shouldn't be
326.38/327.46	WSVECS04 Frhs2[2586]: 6 -1.00008 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[2613]: 6 -1.00008 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[2639]: 6 -1.00008 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[2787]: 6 0 0.750063 shouldn't be
326.38/327.46	WSVECS04 Frhs2[2788]: 6 0 0.750059 shouldn't be
326.38/327.46	WSVECS04 Frhs2[2789]: 6 0 0.75009 shouldn't be
326.38/327.46	WSVECS04 Frhs2[3439]: 6 -0.367004 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[3440]: 6 -0.36705 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[3604]: 6 0 1.00004 shouldn't be
326.38/327.46	WSVECS04 Frhs2[3606]: 6 0 1.00008 shouldn't be
326.38/327.46	WSVECS04 Frhs2[3607]: 6 0 1.00004 shouldn't be
326.38/327.46	WSVECS04 Frhs2[3847]: 6 0 1.00008 shouldn't be
326.38/327.46	WSVECS04 Frhs2[3848]: 6 0 1.00006 shouldn't be
326.38/327.46	WSVECS04 Frhs2[3849]: 6 0 1.00003 shouldn't be
326.38/327.46	WSVECS04 Frhs2[3850]: 6 0 1.00009 shouldn't be
326.38/327.46	WSVECS04 Frhs2[3966]: 6 0 0.0705168 shouldn't be
326.38/327.46	WSVECS04 Frhs2[3981]: 6 -0.193246 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[4069]: 6 0 0.335428 shouldn't be
326.38/327.46	WSVECS04 Frhs2[4578]: 6 0 0.355623 shouldn't be
326.38/327.46	WSVECS04 Frhs2[4579]: 6 0 0.316955 shouldn't be
326.38/327.46	WSVECS04 Frhs2[4584]: 6 0 0.345939 shouldn't be
326.38/327.46	WSVECS04 Frhs2[4754]: 6 -1.00004 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[5005]: 6 -1.00004 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[5105]: 6 -1.00006 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[5314]: 6 0 1.00003 shouldn't be
326.38/327.46	WSVECS04 Frhs2[5315]: 6 0 1.00004 shouldn't be
326.38/327.46	WSVECS04 Frhs2[5316]: 6 0 1.00007 shouldn't be
326.38/327.46	WSVECS04 Frhs2[5338]: 6 0 1.00002 shouldn't be
326.38/327.46	WSVECS04 Frhs2[5348]: 6 -1.0001 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[5562]: 6 -1.00004 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[5847]: 6 -1.00006 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[5850]: 6 -1.00002 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[6117]: 6 -1.00009 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[6281]: 6 -1.00008 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[6360]: 6 -1.00007 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[6765]: 6 -1.00002 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[6927]: 6 -1.00009 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[7062]: 6 -1.00003 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[7170]: 6 -1.0001 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[7251]: 6 -1.00007 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[7278]: 6 -1.00005 0 shouldn't be
326.38/327.46	WSVECS04 Frhs2[7293]: 6 0 1.00006 shouldn't be
334.65/335.77	c #Conflicts:     506000 | #Constraints:     199079
334.65/335.77	c #Conflicts:     507000 | #Constraints:     200079
334.65/335.77	c #Conflicts:     508000 | #Constraints:     201079
334.65/335.77	c #Conflicts:     509000 | #Constraints:     202079
334.65/335.77	c #Conflicts:     510000 | #Constraints:     203079
334.65/335.77	c #Conflicts:     511000 | #Constraints:     204079
334.65/335.77	c #Conflicts:     512000 | #Constraints:     205079
334.65/335.77	c #Conflicts:     513000 | #Constraints:     206079
334.65/335.77	c INPROCESSING
334.65/335.77	c GARBAGE COLLECT
334.65/335.77	c rational objective 789.991
359.58/360.76	c #Conflicts:     514000 | #Constraints:     163359
359.58/360.76	c #Conflicts:     515000 | #Constraints:     164359
359.58/360.76	c #Conflicts:     516000 | #Constraints:     165359
359.58/360.76	c #Conflicts:     517000 | #Constraints:     166359
359.58/360.76	c #Conflicts:     518000 | #Constraints:     167360
359.58/360.76	c #Conflicts:     519000 | #Constraints:     168360
359.58/360.76	c #Conflicts:     520000 | #Constraints:     169360
359.58/360.76	c #Conflicts:     521000 | #Constraints:     170360
359.58/360.76	c #Conflicts:     522000 | #Constraints:     171360
359.58/360.76	c #Conflicts:     523000 | #Constraints:     172360
359.58/360.76	c #Conflicts:     524000 | #Constraints:     173360
359.58/360.76	c #Conflicts:     525000 | #Constraints:     174364
359.58/360.76	c #Conflicts:     526000 | #Constraints:     175364
359.58/360.76	c #Conflicts:     527000 | #Constraints:     176364
359.58/360.76	c #Conflicts:     528000 | #Constraints:     177364
359.58/360.76	c #Conflicts:     529000 | #Constraints:     178364
359.58/360.76	c #Conflicts:     530000 | #Constraints:     179364
359.58/360.76	c #Conflicts:     531000 | #Constraints:     180364
359.58/360.76	c #Conflicts:     532000 | #Constraints:     181364
359.58/360.76	c #Conflicts:     533000 | #Constraints:     182364
359.58/360.76	c #Conflicts:     534000 | #Constraints:     183364
359.58/360.76	c #Conflicts:     535000 | #Constraints:     184364
359.58/360.76	c #Conflicts:     536000 | #Constraints:     185364
359.58/360.76	c #Conflicts:     537000 | #Constraints:     186364
359.58/360.76	c #Conflicts:     538000 | #Constraints:     187364
359.58/360.76	c #Conflicts:     539000 | #Constraints:     188364
359.58/360.76	c #Conflicts:     540000 | #Constraints:     189364
359.58/360.76	c #Conflicts:     541000 | #Constraints:     190364
359.58/360.76	c #Conflicts:     542000 | #Constraints:     191364
359.58/360.76	c #Conflicts:     543000 | #Constraints:     192364
359.58/360.76	c #Conflicts:     544000 | #Constraints:     193365
359.58/360.76	c #Conflicts:     545000 | #Constraints:     194365
359.58/360.76	c #Conflicts:     546000 | #Constraints:     195365
359.58/360.76	c #Conflicts:     547000 | #Constraints:     196365
359.58/360.76	c #Conflicts:     548000 | #Constraints:     197365
359.58/360.76	c #Conflicts:     549000 | #Constraints:     198365
359.58/360.76	c #Conflicts:     550000 | #Constraints:     199365
359.58/360.76	c #Conflicts:     551000 | #Constraints:     200365
359.58/360.76	c #Conflicts:     552000 | #Constraints:     201365
359.58/360.76	c #Conflicts:     553000 | #Constraints:     202365
359.58/360.76	c #Conflicts:     554000 | #Constraints:     203366
359.58/360.76	c #Conflicts:     555000 | #Constraints:     204366
359.58/360.76	c #Conflicts:     556000 | #Constraints:     205366
359.58/360.76	c #Conflicts:     557000 | #Constraints:     206366
359.58/360.76	c #Conflicts:     558000 | #Constraints:     207366
359.58/360.76	c #Conflicts:     559000 | #Constraints:     208366
359.58/360.76	c #Conflicts:     560000 | #Constraints:     209366
359.58/360.76	c INPROCESSING
359.58/360.76	c GARBAGE COLLECT
359.58/360.76	c rational objective 795.524
383.52/384.70	c #Conflicts:     561000 | #Constraints:     163942
383.52/384.70	c #Conflicts:     562000 | #Constraints:     164942
383.52/384.70	c #Conflicts:     563000 | #Constraints:     165942
383.52/384.70	c #Conflicts:     564000 | #Constraints:     166942
383.52/384.70	c #Conflicts:     565000 | #Constraints:     167942
383.52/384.70	c #Conflicts:     566000 | #Constraints:     168942
383.52/384.70	c #Conflicts:     567000 | #Constraints:     169942
383.52/384.70	c #Conflicts:     568000 | #Constraints:     170942
383.52/384.70	c #Conflicts:     569000 | #Constraints:     171942
383.52/384.70	c #Conflicts:     570000 | #Constraints:     172942
383.52/384.70	c #Conflicts:     571000 | #Constraints:     173942
383.52/384.70	c #Conflicts:     572000 | #Constraints:     174942
383.52/384.70	c #Conflicts:     573000 | #Constraints:     175942
383.52/384.70	c #Conflicts:     574000 | #Constraints:     176942
383.52/384.70	c #Conflicts:     575000 | #Constraints:     177942
383.52/384.70	c #Conflicts:     576000 | #Constraints:     178942
383.52/384.70	c #Conflicts:     577000 | #Constraints:     179942
383.52/384.70	c #Conflicts:     578000 | #Constraints:     180942
383.52/384.70	c #Conflicts:     579000 | #Constraints:     181942
383.52/384.70	c #Conflicts:     580000 | #Constraints:     182942
383.52/384.70	c #Conflicts:     581000 | #Constraints:     183942
383.52/384.70	c #Conflicts:     582000 | #Constraints:     184942
383.52/384.70	c #Conflicts:     583000 | #Constraints:     185943
383.52/384.70	c #Conflicts:     584000 | #Constraints:     186943
383.52/384.70	c #Conflicts:     585000 | #Constraints:     187943
383.52/384.70	c #Conflicts:     586000 | #Constraints:     188943
383.52/384.70	c #Conflicts:     587000 | #Constraints:     189943
383.52/384.70	c #Conflicts:     588000 | #Constraints:     190943
383.52/384.70	c #Conflicts:     589000 | #Constraints:     191943
383.52/384.70	c #Conflicts:     590000 | #Constraints:     192943
383.52/384.70	c #Conflicts:     591000 | #Constraints:     193943
383.52/384.70	c #Conflicts:     592000 | #Constraints:     194943
383.52/384.70	c #Conflicts:     593000 | #Constraints:     195943
383.52/384.70	c #Conflicts:     594000 | #Constraints:     196943
383.52/384.70	c #Conflicts:     595000 | #Constraints:     197943
383.52/384.70	c #Conflicts:     596000 | #Constraints:     198943
383.52/384.70	c #Conflicts:     597000 | #Constraints:     199943
383.52/384.70	c #Conflicts:     598000 | #Constraints:     200945
383.52/384.70	c #Conflicts:     599000 | #Constraints:     201945
383.52/384.70	c #Conflicts:     600000 | #Constraints:     202945
383.52/384.70	c #Conflicts:     601000 | #Constraints:     203945
383.52/384.70	c #Conflicts:     602000 | #Constraints:     204945
383.52/384.70	c #Conflicts:     603000 | #Constraints:     205945
383.52/384.70	c #Conflicts:     604000 | #Constraints:     206945
383.52/384.70	c #Conflicts:     605000 | #Constraints:     207945
383.52/384.70	c #Conflicts:     606000 | #Constraints:     208945
383.52/384.70	c #Conflicts:     607000 | #Constraints:     209945
383.52/384.70	c #Conflicts:     608000 | #Constraints:     210946
383.52/384.70	c INPROCESSING
383.52/384.70	c GARBAGE COLLECT
383.52/384.70	c rational objective 798.139
415.44/416.77	c #Conflicts:     609000 | #Constraints:     163424
415.44/416.77	c #Conflicts:     610000 | #Constraints:     164424
415.44/416.77	c #Conflicts:     611000 | #Constraints:     165424
415.44/416.77	c #Conflicts:     612000 | #Constraints:     166424
415.44/416.77	c #Conflicts:     613000 | #Constraints:     167424
415.44/416.77	c #Conflicts:     614000 | #Constraints:     168424
415.44/416.77	c #Conflicts:     615000 | #Constraints:     169424
415.44/416.77	c #Conflicts:     616000 | #Constraints:     170424
415.44/416.77	c #Conflicts:     617000 | #Constraints:     171424
415.44/416.77	c #Conflicts:     618000 | #Constraints:     172424
415.44/416.77	c #Conflicts:     619000 | #Constraints:     173424
415.44/416.77	c #Conflicts:     620000 | #Constraints:     174424
415.44/416.77	c #Conflicts:     621000 | #Constraints:     175424
415.44/416.77	c #Conflicts:     622000 | #Constraints:     176424
415.44/416.77	c #Conflicts:     623000 | #Constraints:     177424
415.44/416.77	c #Conflicts:     624000 | #Constraints:     178424
415.44/416.77	c #Conflicts:     625000 | #Constraints:     179424
415.44/416.77	c #Conflicts:     626000 | #Constraints:     180424
415.44/416.77	c #Conflicts:     627000 | #Constraints:     181424
415.44/416.77	c #Conflicts:     628000 | #Constraints:     182424
415.44/416.77	c #Conflicts:     629000 | #Constraints:     183424
415.44/416.77	c #Conflicts:     630000 | #Constraints:     184424
415.44/416.77	c #Conflicts:     631000 | #Constraints:     185424
415.44/416.77	c #Conflicts:     632000 | #Constraints:     186424
415.44/416.77	c #Conflicts:     633000 | #Constraints:     187424
415.44/416.77	c #Conflicts:     634000 | #Constraints:     188424
415.44/416.77	c #Conflicts:     635000 | #Constraints:     189424
415.44/416.77	c #Conflicts:     636000 | #Constraints:     190424
415.44/416.77	c #Conflicts:     637000 | #Constraints:     191424
415.44/416.77	c #Conflicts:     638000 | #Constraints:     192424
415.44/416.77	c #Conflicts:     639000 | #Constraints:     193424
415.44/416.77	c #Conflicts:     640000 | #Constraints:     194424
415.44/416.77	c #Conflicts:     641000 | #Constraints:     195424
415.44/416.77	c #Conflicts:     642000 | #Constraints:     196424
415.44/416.77	c #Conflicts:     643000 | #Constraints:     197424
415.44/416.77	c #Conflicts:     644000 | #Constraints:     198424
415.44/416.77	c #Conflicts:     645000 | #Constraints:     199425
415.44/416.77	c #Conflicts:     646000 | #Constraints:     200425
415.44/416.77	c #Conflicts:     647000 | #Constraints:     201425
415.44/416.77	c #Conflicts:     648000 | #Constraints:     202426
415.44/416.77	c #Conflicts:     649000 | #Constraints:     203428
415.44/416.77	c #Conflicts:     650000 | #Constraints:     204428
415.44/416.77	c #Conflicts:     651000 | #Constraints:     205429
415.44/416.77	c #Conflicts:     652000 | #Constraints:     206429
415.44/416.77	c #Conflicts:     653000 | #Constraints:     207429
415.44/416.77	c #Conflicts:     654000 | #Constraints:     208429
415.44/416.77	c #Conflicts:     655000 | #Constraints:     209429
415.44/416.77	c #Conflicts:     656000 | #Constraints:     210429
415.44/416.77	c #Conflicts:     657000 | #Constraints:     211429
415.44/416.77	c #Conflicts:     658000 | #Constraints:     212429
415.44/416.77	c INPROCESSING
415.44/416.77	c GARBAGE COLLECT
415.44/416.77	c rational objective 800.586
427.60/428.97	c #Conflicts:     659000 | #Constraints:     162837
427.60/428.97	c #Conflicts:     660000 | #Constraints:     163838
427.60/428.97	c #Conflicts:     661000 | #Constraints:     164838
427.60/428.97	c #Conflicts:     662000 | #Constraints:     165838
427.60/428.97	c #Conflicts:     663000 | #Constraints:     166838
427.60/428.97	c #Conflicts:     664000 | #Constraints:     167838
427.60/428.97	c #Conflicts:     665000 | #Constraints:     168838
427.60/428.97	c #Conflicts:     666000 | #Constraints:     169838
427.60/428.97	c #Conflicts:     667000 | #Constraints:     170838
427.60/428.97	c #Conflicts:     668000 | #Constraints:     171839
427.60/428.97	c #Conflicts:     669000 | #Constraints:     172839
427.60/428.97	c #Conflicts:     670000 | #Constraints:     173839
427.60/428.97	c #Conflicts:     671000 | #Constraints:     174839
427.60/428.97	c #Conflicts:     672000 | #Constraints:     175839
427.60/428.97	c #Conflicts:     673000 | #Constraints:     176839
427.60/428.97	c #Conflicts:     674000 | #Constraints:     177839
427.60/428.97	c #Conflicts:     675000 | #Constraints:     178840
427.60/428.97	c #Conflicts:     676000 | #Constraints:     179840
427.60/428.97	c #Conflicts:     677000 | #Constraints:     180868
427.60/428.97	c #Conflicts:     678000 | #Constraints:     181869
427.60/428.97	WSVECS04 Frhs2[75]: 6 0 25.3183 shouldn't be
427.60/428.97	WSVECS04 Frhs2[77]: 6 -6 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[79]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[80]: 6 -3 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[539]: 6 -28.8 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[541]: 6 -34.1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[662]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[671]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[678]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[797]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[801]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[903]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[904]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[905]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[906]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[907]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[908]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[909]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[910]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[911]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1049]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1105]: 6 -1.37838 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1108]: 6 -1.23198 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1109]: 6 -0.91892 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1110]: 6 -1.32433 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1117]: 6 -14.8365 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1120]: 6 -5.58108 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1121]: 6 -9.66216 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1252]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1287]: 6 -0.252253 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1410]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1414]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1415]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1435]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1440]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1441]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1531]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1570]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1684]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1687]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1696]: 6 0 0.918919 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1699]: 6 0 0.918919 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1707]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1711]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1712]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1714]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1738]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1741]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1762]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1768]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1791]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1820]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1873]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1874]: 6 -0.708334 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1876]: 6 0 11.5615 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1877]: 6 -2.5 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[1997]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2015]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2018]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2071]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2197]: 6 0 2.03125 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2201]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2202]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2220]: 6 0 2 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2262]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2382]: 6 0 0.5 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2391]: 6 0 0.500001 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2524]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2584]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2659]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2675]: 6 0 0.400001 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2774]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2775]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[2864]: 6 -5.5 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[3468]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[3633]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[3817]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[3819]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[3876]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[3957]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[4069]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[4082]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[4083]: 6 -35.2962 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[4242]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[4473]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[4483]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[4970]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[4985]: 6 0 0.5 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5002]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5221]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5228]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5231]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5293]: 6 -2 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5390]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5391]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5417]: 6 0 2 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5418]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5527]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5565]: 6 0 9.00769 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5572]: 6 -26.8308 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5578]: 6 -64.3923 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5794]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5883]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5895]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5980]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5981]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[5983]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6006]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6030]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6034]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6041]: 6 0 30.1962 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6051]: 6 0 0.750001 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6052]: 6 0 0.75 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6055]: 6 0 0.75 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6057]: 6 -36.5615 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6226]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6254]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6273]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6282]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6316]: 6 0 0.500001 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6368]: 6 -5.05769 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6442]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6449]: 6 0 0.5 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6456]: 6 0 0.5 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6469]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6491]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6497]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6505]: 6 0 3 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6506]: 6 0 2 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6507]: 6 0 2 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6508]: 6 0 3 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6510]: 6 0 3 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6511]: 6 0 3 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6512]: 6 0 2 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6513]: 6 0 3 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6514]: 6 0 5 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6523]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6601]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6625]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6652]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6655]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6742]: 6 0 1 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6776]: 6 0 1.2 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6792]: 6 -0.9 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6854]: 6 -0.7 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6873]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6875]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6903]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6928]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6950]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[6954]: 6 0 17.0962 shouldn't be
427.60/428.97	WSVECS04 Frhs2[7089]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[7251]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[7271]: 6 -64.3923 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[7304]: 6 -2 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[7340]: 6 -1 0 shouldn't be
427.60/428.97	WSVECS04 Frhs2[7344]: 6 -35.5615 0 shouldn't be
437.18/438.54	c #Conflicts:     679000 | #Constraints:     182876
437.18/438.54	c #Conflicts:     680000 | #Constraints:     183876
437.18/438.54	c #Conflicts:     681000 | #Constraints:     184876
437.18/438.54	c #Conflicts:     682000 | #Constraints:     185876
437.18/438.54	c #Conflicts:     683000 | #Constraints:     186876
437.18/438.54	c #Conflicts:     684000 | #Constraints:     187876
437.18/438.54	c #Conflicts:     685000 | #Constraints:     188876
437.18/438.54	c #Conflicts:     686000 | #Constraints:     189876
437.18/438.54	c #Conflicts:     687000 | #Constraints:     190876
437.18/438.54	c #Conflicts:     688000 | #Constraints:     191876
437.18/438.54	c #Conflicts:     689000 | #Constraints:     192877
437.18/438.54	c #Conflicts:     690000 | #Constraints:     193877
437.18/438.54	c #Conflicts:     691000 | #Constraints:     194877
437.18/438.54	c #Conflicts:     692000 | #Constraints:     195877
437.18/438.54	c #Conflicts:     693000 | #Constraints:     196877
437.18/438.54	c #Conflicts:     694000 | #Constraints:     197877
437.18/438.54	c #Conflicts:     695000 | #Constraints:     198879
437.18/438.54	c #Conflicts:     696000 | #Constraints:     199880
437.18/438.54	c #Conflicts:     697000 | #Constraints:     200880
437.18/438.54	c #Conflicts:     698000 | #Constraints:     201880
437.18/438.54	c #Conflicts:     699000 | #Constraints:     202881
437.18/438.54	c #Conflicts:     700000 | #Constraints:     203883
437.18/438.54	c #Conflicts:     701000 | #Constraints:     204885
437.18/438.54	c cpu time 428.27 s
437.18/438.54	c deterministic time 3680410889 3.68e+09
437.18/438.54	c optimization time 5.9e-05 s
437.18/438.54	c total solve time 427.878 s
437.18/438.54	c core-guided solve time 0 s
437.18/438.54	c propagation time 285.822 s
437.18/438.54	c conflict analysis time 23.3535 s
437.18/438.54	c propagations 122250912
437.18/438.54	c resolve steps 11321537
437.18/438.54	c decisions 4231612
437.18/438.54	c conflicts 701020
437.18/438.54	c restarts 1531
437.18/438.54	c inprocessing phases 27
437.18/438.54	c input clauses 135854
437.18/438.54	c input cardinalities 528
437.18/438.54	c input general constraints 16338
437.18/438.54	c input average constraint length 3.93
437.18/438.54	c input average constraint degree 1.13
437.18/438.54	c learned clauses 699749
437.18/438.54	c learned cardinalities 765
437.18/438.54	c learned general constraints 1589
437.18/438.54	c learned average constraint length 93.90
437.18/438.54	c learned average constraint degree 1943136.90
437.18/438.54	c watched constraints 1338
437.18/438.54	c counting constraints 16589
437.18/438.54	c gcd simplifications 2131
437.18/438.54	c detected cardinalities 37
437.18/438.54	c weakened non-implied lits 608179
437.18/438.54	c weakened non-implying lits 2480
437.18/438.54	c original variables 7354
437.18/438.54	c clausal propagations 116975180
437.18/438.54	c cardinality propagations 1010446
437.18/438.54	c watched propagations 3929
437.18/438.54	c counting propagations 3554043
437.18/438.54	c watch lookups 882248496
437.18/438.54	c watch backjump lookups 453138501
437.18/438.54	c watch checks 1720462419
437.18/438.54	c propagation checks 200304401
437.18/438.54	c constraint additions 169732848
437.18/438.54	c trail pops 127180843
437.18/438.54	c formula constraints 152720
437.18/438.54	c learned constraints 701019
437.18/438.54	c bound constraints 0
437.18/438.54	c core-guided constraints 0
437.18/438.54	c encountered formula constraints 5551822
437.18/438.54	c encountered learned constraints 6470343
437.18/438.54	c encountered bound constraints 0
437.18/438.54	c encountered core-guided constraints 0
437.18/438.54	c LP total time 359.471 s
437.18/438.54	c LP solve time 342.61 s
437.18/438.54	c LP constraints added 153737
437.18/438.54	c LP constraints removed 715
437.18/438.54	c LP pivots internal 702720
437.18/438.54	c LP pivots root 158136
437.18/438.54	c LP calls 1153
437.18/438.54	c LP optimalities 132
437.18/438.54	c LP no pivot count 0
437.18/438.54	c LP infeasibilities 1000
437.18/438.54	c LP valid Farkas constraints 999
437.18/438.54	c LP learned Farkas constraints 0
437.18/438.54	c LP basis resets 17
437.18/438.54	c LP cycling count 12
437.18/438.54	c LP singular count 2
437.18/438.54	c LP no primal count 0
437.18/438.54	c LP no farkas count 1
437.18/438.54	c LP other issue count 2
437.18/438.54	c LP Gomory cuts 85
437.18/438.54	c LP learned cuts 932
437.18/438.54	c LP deleted cuts 715
437.18/438.54	c LP encountered Gomory constraints 347
437.18/438.54	c LP encountered Farkas constraints 45
437.18/438.54	c LP encountered learned Farkas constraints 0
437.18/438.54	c CG auxiliary variables introduced 0
437.18/438.54	c CG solutions found 0
437.18/438.54	c CG cores constructed 0
437.18/438.54	c CG core cardinality constraints returned 0
437.18/438.54	c CG unit cores 0
437.18/438.54	c CG single cores 0
437.18/438.54	c CG blocks removed during cardinality reduction 0
437.18/438.54	c CG first core best 0
437.18/438.54	c CG decision core best 0
437.18/438.54	c CG core reduction tie 0
437.18/438.54	c CG core degree average 0.00
437.18/438.54	c CG core slack average 0.00
437.18/438.54	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

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: 63931 MiB (60669 MiB free)
  memory of node 1: 64510 MiB (61622 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=1059362, runsolver pid=1059359

[startup+0.100262 s]*
/proc/loadavg: 3.98 4.06 4.08 5/255 1059363
/proc/meminfo: memFree=125221272/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=38680 memory=10540 CPUtime=0.09 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 985 0 0 0 7 2 0 0 20 0 1 0 198387187 39608320 2635 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 9670 2635 1322 922 0 1622 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38680 KiB
Current children cumulated memory: 10540 KiB

[startup+0.204641 s]*
/proc/loadavg: 3.98 4.06 4.08 5/255 1059363
/proc/meminfo: memFree=125219340/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=40700 memory=12336 CPUtime=0.2 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 1542 0 0 0 16 4 0 0 20 0 1 0 198387187 41676800 3084 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 10175 3084 1322 922 0 2127 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40700 KiB
Current children cumulated memory: 12336 KiB

[startup+0.304507 s]*
/proc/loadavg: 3.98 4.06 4.08 5/255 1059363
/proc/meminfo: memFree=125214832/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=46300 memory=16736 CPUtime=0.3 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 2709 0 0 0 23 7 0 0 20 0 1 0 198387187 47411200 4184 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 11575 4184 1322 922 0 3527 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46300 KiB
Current children cumulated memory: 16736 KiB

[startup+0.700233 s]
/proc/loadavg: 3.98 4.06 4.08 5/255 1059363
/proc/meminfo: memFree=125183944/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=129600 memory=101272 CPUtime=0.69 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 27193 0 0 0 53 16 0 0 20 0 1 0 198387187 132710400 25318 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 32400 25318 1626 922 0 24352 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 129600 KiB
Current children cumulated memory: 101272 KiB

[startup+1.50019 s]
/proc/loadavg: 3.98 4.06 4.08 6/254 1059369
/proc/meminfo: memFree=125131652/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=129600 memory=101272 CPUtime=1.49 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 27198 0 0 0 127 22 0 0 20 0 1 0 198387187 132710400 25318 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 32400 25318 1626 922 0 24352 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 129600 KiB
Current children cumulated memory: 101272 KiB

[startup+3.10559 s]
/proc/loadavg: 3.98 4.06 4.08 5/257 1059443
/proc/meminfo: memFree=125443792/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=129600 memory=101272 CPUtime=3.08 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 27212 0 0 0 282 26 0 0 20 0 1 0 198387187 132710400 25318 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 32400 25318 1626 922 0 24352 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 129600 KiB
Current children cumulated memory: 101272 KiB

[startup+6.30022 s]
/proc/loadavg: 3.98 4.06 4.08 5/257 1059443
/proc/meminfo: memFree=124755804/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=154128 memory=113836 CPUtime=6.27 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 29946 0 0 0 595 32 0 0 20 0 1 0 198387187 157827072 28459 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 38532 28459 1850 922 0 30484 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 154128 KiB
Current children cumulated memory: 113836 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 1059445
/proc/meminfo: memFree=124751716/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=154128 memory=114788 CPUtime=12.65 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 30187 0 0 0 1223 42 0 0 20 0 1 0 198387187 157827072 28697 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 38532 28697 1850 922 0 30484 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 154128 KiB
Current children cumulated memory: 114788 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.07 4.08 5/259 1059616
/proc/meminfo: memFree=124737112/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=164292 memory=127496 CPUtime=25.41 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 33310 0 0 0 2475 66 0 0 20 0 1 0 198387187 168235008 31874 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 41073 31874 1866 922 0 33025 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 164292 KiB
Current children cumulated memory: 127496 KiB

[startup+51.106 s]
/proc/loadavg: 4.03 4.06 4.08 5/259 1059619
/proc/meminfo: memFree=124684320/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=183140 memory=142016 CPUtime=50.95 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 36083 0 0 0 4949 146 0 0 20 0 1 0 198387187 187535360 35504 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 45785 35504 1866 922 0 37737 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 183140 KiB
Current children cumulated memory: 142016 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.08 4.09 5/259 1059630
/proc/meminfo: memFree=124580476/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=234164 memory=195588 CPUtime=101.96 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 39294 0 0 0 9926 270 0 0 20 0 1 0 198387187 239783936 48897 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 58541 48897 1866 922 0 50493 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 234164 KiB
Current children cumulated memory: 195588 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.08 4.09 5/259 1059643
/proc/meminfo: memFree=124524132/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=261392 memory=217464 CPUtime=161.78 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 40677 0 0 0 15784 394 0 0 20 0 1 0 198387187 267665408 54366 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 65348 54366 1951 922 0 57300 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 261392 KiB
Current children cumulated memory: 217464 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/257 1059664
/proc/meminfo: memFree=124426960/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=247508 memory=211660 CPUtime=221.6 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 42154 0 0 0 21611 549 0 0 20 0 1 0 198387187 253448192 52915 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 61877 52915 1951 922 0 53829 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 247508 KiB
Current children cumulated memory: 211660 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/257 1059676
/proc/meminfo: memFree=124333944/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=247508 memory=216132 CPUtime=281.41 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 42238 0 0 0 27524 617 0 0 20 0 1 0 198387187 253448192 54033 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 61877 54033 1999 922 0 53829 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 247508 KiB
Current children cumulated memory: 216132 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/256 1059686
/proc/meminfo: memFree=124301192/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=277888 memory=233656 CPUtime=341.23 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 43179 0 0 0 33405 718 0 0 20 0 1 0 198387187 284557312 58414 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 69472 58414 1999 922 0 61424 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 277888 KiB
Current children cumulated memory: 233656 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 4.13 4.10 5/257 1059700
/proc/meminfo: memFree=124297068/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=278920 memory=236600 CPUtime=401.08 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 44759 0 0 0 39275 833 0 0 20 0 1 0 198387187 285614080 59150 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 69730 59150 1999 922 0 61682 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 278920 KiB
Current children cumulated memory: 236600 KiB

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

# cumulated CPU time of all completed processes:  user=428.272 s, system=8.96169 s

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

[startup+409.6 s]
/proc/loadavg: 4.24 4.13 4.10 5/257 1059700
/proc/meminfo: memFree=124297160/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=278920 memory=238648 CPUtime=408.35 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 44762 0 0 0 39985 850 0 0 20 0 1 0 198387187 285614080 59662 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 69730 59662 1999 922 0 61682 0
Current children cumulated CPU time: 408.35 s
Current children cumulated vsize: 278920 KiB
Current children cumulated memory: 238648 KiB

[startup+422.4 s]
/proc/loadavg: 4.18 4.12 4.10 5/257 1059703
/proc/meminfo: memFree=124263220/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=282208 memory=241980 CPUtime=421.12 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 45073 0 0 0 41242 870 0 0 20 0 1 0 198387187 288980992 60495 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 70552 60495 1999 922 0 62504 0
Current children cumulated CPU time: 421.12 s
Current children cumulated vsize: 282208 KiB
Current children cumulated memory: 241980 KiB

[startup+428.8 s]
/proc/loadavg: 4.17 4.12 4.10 5/257 1059704
/proc/meminfo: memFree=124318428/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=282208 memory=241980 CPUtime=427.5 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 45073 0 0 0 41874 876 0 0 20 0 1 0 198387187 288980992 60495 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 70552 60495 1999 922 0 62504 0
Current children cumulated CPU time: 427.5 s
Current children cumulated vsize: 282208 KiB
Current children cumulated memory: 241980 KiB

[startup+435.2 s]
/proc/loadavg: 4.14 4.12 4.10 5/257 1059705
/proc/meminfo: memFree=124210652/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=282412 memory=242244 CPUtime=433.89 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 45124 0 0 0 42497 892 0 0 20 0 1 0 198387187 289189888 60561 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 70603 60561 1999 922 0 62555 0
Current children cumulated CPU time: 433.89 s
Current children cumulated vsize: 282412 KiB
Current children cumulated memory: 242244 KiB

[startup+436.8 s]
/proc/loadavg: 4.14 4.12 4.10 5/257 1059705
/proc/meminfo: memFree=124210652/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=282412 memory=242244 CPUtime=435.49 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 45124 0 0 0 42655 894 0 0 20 0 1 0 198387187 289189888 60561 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 70603 60561 1999 922 0 62555 0
Current children cumulated CPU time: 435.49 s
Current children cumulated vsize: 282412 KiB
Current children cumulated memory: 242244 KiB

[startup+437.6 s]
/proc/loadavg: 4.14 4.12 4.10 5/257 1059705
/proc/meminfo: memFree=124210652/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=282412 memory=242244 CPUtime=436.28 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 45124 0 0 0 42733 895 0 0 20 0 1 0 198387187 289189888 60561 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 70603 60561 1999 922 0 62555 0
Current children cumulated CPU time: 436.28 s
Current children cumulated vsize: 282412 KiB
Current children cumulated memory: 242244 KiB

[startup+438 s]*
/proc/loadavg: 4.14 4.12 4.10 5/257 1059705
/proc/meminfo: memFree=124210644/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=282412 memory=242244 CPUtime=436.69 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 45124 0 0 0 42774 895 0 0 20 0 1 0 198387187 289189888 60561 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 70603 60561 1999 922 0 62555 0
Current children cumulated CPU time: 436.69 s
Current children cumulated vsize: 282412 KiB
Current children cumulated memory: 242244 KiB

[startup+438.4 s]
/proc/loadavg: 4.14 4.12 4.10 5/257 1059705
/proc/meminfo: memFree=124210644/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=282412 memory=242244 CPUtime=437.08 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 45124 0 0 0 42813 895 0 0 20 0 1 0 198387187 289189888 60561 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 70603 60561 1999 922 0 62555 0
Current children cumulated CPU time: 437.08 s
Current children cumulated vsize: 282412 KiB
Current children cumulated memory: 242244 KiB

[startup+438.5 s]
/proc/loadavg: 4.14 4.12 4.10 5/257 1059705
/proc/meminfo: memFree=124210644/131524600 swapFree=130799640/131071996
[pid=1059362] ppid=1059359 vsize=282412 memory=242244 CPUtime=437.18 cores=5,7
/proc/1059362/stat : 1059362 (roundingsat) R 1059359 1059362 1057331 0 -1 4194304 45124 0 0 0 42823 895 0 0 20 0 1 0 198387187 289189888 60561 134679101440 4194304 7968373 140725251695184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37625856 140725251699644 140725251699808 140725251699808 140725251706825 0
/proc/1059362/statm: 70603 60561 1999 922 0 62555 0
Current children cumulated CPU time: 437.18 s
Current children cumulated vsize: 282412 KiB
Current children cumulated memory: 242244 KiB

Child status: 0

Real time (s): 438.544
CPU time (s): 437.234
CPU user time (s): 428.272
CPU system time (s): 8.96169
CPU usage (%): 99.7012
Max. virtual memory (cumulated for all children) (KiB): 282412
Max. memory (cumulated for all children) (KiB): 242244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 428.272
system time used= 8.96169
maximum resident set size= 242244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45132
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 262


# summary of solver processes directly reported to runsolver:
#   pid: 1059362
#   total CPU time (s): 437.234
#   total CPU user time (s): 428.272
#   total CPU system time (s): 8.96169

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.786855 second user time and 2.25866 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-20 09:58:13
IDJOB=4455610
IDBENCH=155502
IDSOLVER=3084
FILE ID=nodeC014/4455610-1721462280
RUNJOBID= nodeC014-1721458682-1057477
SLURM_JOB_ID= 7545705
Free space on /tmp= 889988 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-86.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455610-1721462280/watcher-4455610-1721462280 -o /tmp/evaluation-result-4455610-1721462280/solver-4455610-1721462280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057477 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455610-1721462280.opb

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

MD5SUM BENCH= 3b78757f10307782e0b04e5cada0d1b0
RANDOM SEED=1053068914

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125227204 kB
MemAvailable:   129389296 kB
Buffers:          509648 kB
Cached:          4447816 kB
SwapCached:        12836 kB
Active:          1570172 kB
Inactive:        4098456 kB
Active(anon):       9180 kB
Inactive(anon):   731728 kB
Active(file):    1560992 kB
Inactive(file):  3366728 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130799640 kB
Dirty:             29132 kB
Writeback:            52 kB
AnonPages:        700244 kB
Mapped:            58028 kB
Shmem:             29692 kB
KReclaimable:     148036 kB
Slab:             251164 kB
SReclaimable:     148036 kB
SUnreclaim:       103128 kB
KernelStack:        4096 kB
PageTables:        11616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1568640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            36832 kB
HardwareCorrupted:     0 kB
AnonHugePages:    307200 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      303828 kB
DirectMap2M:    38266880 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 889948 MiB
End job on nodeC014 at 2024-07-20 10:05:32