Trace number 4541726

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+pbsuma 63f22ad? (TO) 3600.07 3609.61

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-31array_diag_less.opb
MD5SUMd4d2180c253b956721820605fdb244a0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.749639
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4929
Total number of constraints4930
Number of constraints which are clauses2883
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2047
Minimum length of a constraint2
Maximum length of a constraint124
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 2305843009213693952
Number of bits of the biggest number in a constraint 62
Biggest sum of numbers in a constraint 9223372036854775807
Number of bits of the biggest sum of numbers63
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4541726-1753202596.opb'
0.00/0.02	c 	read 0.17MB  (3.07ms)
0.00/0.02	c	 [cnf: #variables 4929 #clauses 4930 #duplicates 0 #arr 16461]
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 0] (5.86ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.02	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	 (0.79ms)
0.00/0.02	c 
0.00/0.02	c detect symmetries on remainder
0.00/0.02	c 	[graph: #vertices 24523 #edges 62250]
0.00/0.02	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02	c 	 [group: #symmetries 1.00*10^0 #generators 0] (1.35ms)
0.00/0.02	c 
0.00/0.02	c finalize break order and special generators
0.00/0.02	c 
0.00/0.02	c generation finished
0.00/0.02	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.02	c 
0.00/0.02	c write result to 'HOME/instance-4541726-1753202596.opb.pre'
0.00/0.03	c 	wrote 0.17MB (0.51ms)
0.00/0.03	c ------------------------------------------------------------------
0.00/0.03	c                   5.86ms 48.01% approx_orbits
0.00/0.03	c                   3.07ms 25.13% parse
0.00/0.03	c                   1.35ms 11.06% detect_generic
0.00/0.03	c                   0.79ms  6.44% detect_special
0.00/0.03	c                   0.51ms  4.19% output
0.00/0.03	c                   0.47ms  3.87% other
0.00/0.03	c                   0.16ms  1.31% finalize_order
0.00/0.03	c         ───────────────────────────────────────────────
0.00/0.03	c                  12.20ms   100% total
0.00/0.03	c ------------------------------------------------------------------
0.00/0.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.00/0.07	c #variables 4929 #constraints 6976
0.00/0.08	c rational objective 0
59.52/59.70	c #Conflicts:       1000 | #Constraints:       7976
59.52/59.70	c #Conflicts:       2000 | #Constraints:       8976
59.52/59.70	c INPROCESSING
59.52/59.70	c GARBAGE COLLECT
59.52/59.70	c #Conflicts:       3000 | #Constraints:       9000
59.52/59.70	c #Conflicts:       4000 | #Constraints:      10001
59.52/59.70	c INPROCESSING
59.52/59.70	c GARBAGE COLLECT
59.52/59.70	c #Conflicts:       5000 | #Constraints:       9449
59.52/59.70	c #Conflicts:       6000 | #Constraints:      10449
59.52/59.70	c INPROCESSING
59.52/59.70	c GARBAGE COLLECT
59.52/59.70	c #Conflicts:       7000 | #Constraints:       9455
59.52/59.70	c #Conflicts:       8000 | #Constraints:      10455
59.52/59.70	c #Conflicts:       9000 | #Constraints:      11455
59.52/59.70	c INPROCESSING
59.52/59.70	c GARBAGE COLLECT
59.52/59.70	c #Conflicts:      10000 | #Constraints:      10189
59.52/59.70	c #Conflicts:      11000 | #Constraints:      11189
59.52/59.70	c #Conflicts:      12000 | #Constraints:      12189
59.52/59.70	c INPROCESSING
59.52/59.70	c GARBAGE COLLECT
59.52/59.70	c #Conflicts:      13000 | #Constraints:      10660
59.52/59.70	c #Conflicts:      14000 | #Constraints:      11660
59.52/59.70	c #Conflicts:      15000 | #Constraints:      12660
59.52/59.70	c INPROCESSING
59.52/59.70	c GARBAGE COLLECT
59.52/59.70	c #Conflicts:      16000 | #Constraints:      10901
59.52/59.70	c #Conflicts:      17000 | #Constraints:      11901
59.52/59.70	c #Conflicts:      18000 | #Constraints:      12901
59.52/59.70	c INPROCESSING
59.52/59.70	c GARBAGE COLLECT
59.52/59.70	c #Conflicts:      19000 | #Constraints:      10946
59.52/59.70	c #Conflicts:      20000 | #Constraints:      11946
59.52/59.70	c #Conflicts:      21000 | #Constraints:      12946
59.52/59.70	c INPROCESSING
59.52/59.70	c GARBAGE COLLECT
59.52/59.70	c #Conflicts:      22000 | #Constraints:      10762
59.52/59.70	c #Conflicts:      23000 | #Constraints:      11762
59.52/59.70	c #Conflicts:      24000 | #Constraints:      12762
59.52/59.70	c #Conflicts:      25000 | #Constraints:      13762
59.52/59.70	c INPROCESSING
59.52/59.70	c GARBAGE COLLECT
59.52/59.70	c #Conflicts:      26000 | #Constraints:      11380
59.52/59.70	c #Conflicts:      27000 | #Constraints:      12380
59.52/59.70	c #Conflicts:      28000 | #Constraints:      13380
59.52/59.70	c #Conflicts:      29000 | #Constraints:      14380
59.52/59.70	c #Conflicts:      30000 | #Constraints:      15380
59.52/59.70	c #Conflicts:      31000 | #Constraints:      16380
59.52/59.70	c #Conflicts:      32000 | #Constraints:      17380
59.52/59.70	c #Conflicts:      33000 | #Constraints:      18380
59.52/59.70	c #Conflicts:      34000 | #Constraints:      19380
59.52/59.70	c #Conflicts:      35000 | #Constraints:      20380
59.52/59.70	c #Conflicts:      36000 | #Constraints:      21380
59.52/59.70	c #Conflicts:      37000 | #Constraints:      22380
59.52/59.70	c #Conflicts:      38000 | #Constraints:      23380
59.52/59.70	c INPROCESSING
59.52/59.70	c GARBAGE COLLECT
59.52/59.70	c #Conflicts:      39000 | #Constraints:      16358
59.52/59.70	c #Conflicts:      40000 | #Constraints:      17358
59.52/59.70	c #Conflicts:      41000 | #Constraints:      18358
59.52/59.70	c #Conflicts:      42000 | #Constraints:      19358
59.52/59.70	c INPROCESSING
59.52/59.70	c GARBAGE COLLECT
59.52/59.70	c #Conflicts:      43000 | #Constraints:      13906
59.52/59.70	c #Conflicts:      44000 | #Constraints:      14906
59.52/59.70	c #Conflicts:      45000 | #Constraints:      15906
59.52/59.70	c #Conflicts:      46000 | #Constraints:      16906
59.52/59.70	c #Conflicts:      47000 | #Constraints:      17906
59.52/59.70	c #Conflicts:      48000 | #Constraints:      18906
59.52/59.70	c INPROCESSING
59.52/59.70	c GARBAGE COLLECT
59.52/59.70	c #Conflicts:      49000 | #Constraints:      14129
59.52/59.70	c #Conflicts:      50000 | #Constraints:      15129
59.52/59.70	c #Conflicts:      51000 | #Constraints:      16129
59.52/59.70	c #Conflicts:      52000 | #Constraints:      17129
59.52/59.70	c #Conflicts:      53000 | #Constraints:      18129
59.52/59.70	c #Conflicts:      54000 | #Constraints:      19129
59.52/59.70	c #Conflicts:      55000 | #Constraints:      20129
59.52/59.70	c #Conflicts:      56000 | #Constraints:      21129
59.52/59.70	c #Conflicts:      57000 | #Constraints:      22129
59.52/59.70	c #Conflicts:      58000 | #Constraints:      23129
59.52/59.70	c #Conflicts:      59000 | #Constraints:      24129
59.52/59.70	c #Conflicts:      60000 | #Constraints:      25129
59.52/59.70	c #Conflicts:      61000 | #Constraints:      26129
59.52/59.70	c #Conflicts:      62000 | #Constraints:      27129
59.52/59.70	c #Conflicts:      63000 | #Constraints:      28129
59.52/59.70	c #Conflicts:      64000 | #Constraints:      29129
59.52/59.70	c #Conflicts:      65000 | #Constraints:      30129
59.52/59.70	c INPROCESSING
59.52/59.70	c GARBAGE COLLECT
59.52/59.70	c #Conflicts:      66000 | #Constraints:      19758
59.52/59.70	c #Conflicts:      67000 | #Constraints:      20758
59.52/59.70	c #Conflicts:      68000 | #Constraints:      21758
59.52/59.70	c #Conflicts:      69000 | #Constraints:      22758
59.52/59.70	c #Conflicts:      70000 | #Constraints:      23758
59.52/59.70	c #Conflicts:      71000 | #Constraints:      24758
60.22/60.41	c INPROCESSING
60.22/60.41	c GARBAGE COLLECT
60.22/60.41	c rational objective -1.22008e-13
131.96/132.31	c #Conflicts:      72000 | #Constraints:      16871
131.96/132.31	c #Conflicts:      73000 | #Constraints:      17871
131.96/132.31	c #Conflicts:      74000 | #Constraints:      18871
131.96/132.31	c #Conflicts:      75000 | #Constraints:      19871
131.96/132.31	c #Conflicts:      76000 | #Constraints:      20871
131.96/132.31	c #Conflicts:      77000 | #Constraints:      21871
131.96/132.31	c #Conflicts:      78000 | #Constraints:      22871
131.96/132.31	c INPROCESSING
131.96/132.31	c GARBAGE COLLECT
131.96/132.31	c #Conflicts:      79000 | #Constraints:      16202
131.96/132.31	c #Conflicts:      80000 | #Constraints:      17202
131.96/132.31	c #Conflicts:      81000 | #Constraints:      18202
131.96/132.31	c #Conflicts:      82000 | #Constraints:      19202
131.96/132.31	c #Conflicts:      83000 | #Constraints:      20202
131.96/132.31	c #Conflicts:      84000 | #Constraints:      21202
131.96/132.31	c #Conflicts:      85000 | #Constraints:      22202
131.96/132.31	c #Conflicts:      86000 | #Constraints:      23202
131.96/132.31	c #Conflicts:      87000 | #Constraints:      24202
131.96/132.31	c #Conflicts:      88000 | #Constraints:      25202
131.96/132.31	c #Conflicts:      89000 | #Constraints:      26202
131.96/132.31	c #Conflicts:      90000 | #Constraints:      27202
131.96/132.31	c #Conflicts:      91000 | #Constraints:      28202
131.96/132.31	c #Conflicts:      92000 | #Constraints:      29202
131.96/132.31	c #Conflicts:      93000 | #Constraints:      30202
131.96/132.31	c #Conflicts:      94000 | #Constraints:      31202
131.96/132.31	c #Conflicts:      95000 | #Constraints:      32202
131.96/132.31	c #Conflicts:      96000 | #Constraints:      33202
131.96/132.31	c #Conflicts:      97000 | #Constraints:      34202
131.96/132.31	c #Conflicts:      98000 | #Constraints:      35202
131.96/132.31	c #Conflicts:      99000 | #Constraints:      36202
131.96/132.31	c INPROCESSING
131.96/132.31	c GARBAGE COLLECT
131.96/132.31	c #Conflicts:     100000 | #Constraints:      22790
131.96/132.31	c #Conflicts:     101000 | #Constraints:      23790
131.96/132.31	c #Conflicts:     102000 | #Constraints:      24790
131.96/132.31	c #Conflicts:     103000 | #Constraints:      25790
131.96/132.31	c #Conflicts:     104000 | #Constraints:      26790
131.96/132.31	c #Conflicts:     105000 | #Constraints:      27790
131.96/132.31	c #Conflicts:     106000 | #Constraints:      28790
131.96/132.31	c #Conflicts:     107000 | #Constraints:      29790
131.96/132.31	c INPROCESSING
131.96/132.31	c GARBAGE COLLECT
131.96/132.31	c #Conflicts:     108000 | #Constraints:      19644
131.96/132.31	c #Conflicts:     109000 | #Constraints:      20644
131.96/132.31	c #Conflicts:     110000 | #Constraints:      21644
131.96/132.31	c #Conflicts:     111000 | #Constraints:      22644
131.96/132.31	c #Conflicts:     112000 | #Constraints:      23644
131.96/132.31	c #Conflicts:     113000 | #Constraints:      24644
131.96/132.31	c #Conflicts:     114000 | #Constraints:      25645
131.96/132.31	c #Conflicts:     115000 | #Constraints:      26645
131.96/132.31	c INPROCESSING
131.96/132.31	c GARBAGE COLLECT
131.96/132.31	c #Conflicts:     116000 | #Constraints:      18026
131.96/132.31	c #Conflicts:     117000 | #Constraints:      19026
131.96/132.31	c #Conflicts:     118000 | #Constraints:      20026
131.96/132.31	c #Conflicts:     119000 | #Constraints:      21026
131.96/132.31	c #Conflicts:     120000 | #Constraints:      22026
131.96/132.31	c #Conflicts:     121000 | #Constraints:      23026
131.96/132.31	c #Conflicts:     122000 | #Constraints:      24026
131.96/132.31	c #Conflicts:     123000 | #Constraints:      25026
131.96/132.31	c #Conflicts:     124000 | #Constraints:      26026
131.96/132.31	c #Conflicts:     125000 | #Constraints:      27026
131.96/132.31	c #Conflicts:     126000 | #Constraints:      28026
131.96/132.31	c #Conflicts:     127000 | #Constraints:      29026
131.96/132.31	c #Conflicts:     128000 | #Constraints:      30026
131.96/132.31	c #Conflicts:     129000 | #Constraints:      31026
131.96/132.31	c #Conflicts:     130000 | #Constraints:      32026
131.96/132.31	c #Conflicts:     131000 | #Constraints:      33026
131.96/132.31	c #Conflicts:     132000 | #Constraints:      34026
131.96/132.31	c #Conflicts:     133000 | #Constraints:      35026
131.96/132.31	c #Conflicts:     134000 | #Constraints:      36026
131.96/132.31	c #Conflicts:     135000 | #Constraints:      37026
131.96/132.31	c #Conflicts:     136000 | #Constraints:      38026
131.96/132.31	c #Conflicts:     137000 | #Constraints:      39026
131.96/132.31	c #Conflicts:     138000 | #Constraints:      40026
131.96/132.31	c #Conflicts:     139000 | #Constraints:      41026
131.96/132.31	c #Conflicts:     140000 | #Constraints:      42026
131.96/132.31	c INPROCESSING
131.96/132.31	c GARBAGE COLLECT
131.96/132.31	c rational objective 1.22008e-13
204.07/204.64	c #Conflicts:     141000 | #Constraints:      25543
204.07/204.64	c #Conflicts:     142000 | #Constraints:      26543
204.07/204.64	c #Conflicts:     143000 | #Constraints:      27543
204.07/204.64	c #Conflicts:     144000 | #Constraints:      28543
204.07/204.64	c #Conflicts:     145000 | #Constraints:      29543
204.07/204.64	c #Conflicts:     146000 | #Constraints:      30543
204.07/204.64	c #Conflicts:     147000 | #Constraints:      31543
204.07/204.64	c #Conflicts:     148000 | #Constraints:      32543
204.07/204.64	c #Conflicts:     149000 | #Constraints:      33543
204.07/204.64	c #Conflicts:     150000 | #Constraints:      34543
204.07/204.64	c INPROCESSING
204.07/204.64	c GARBAGE COLLECT
204.07/204.64	c #Conflicts:     151000 | #Constraints:      22152
204.07/204.64	c #Conflicts:     152000 | #Constraints:      23152
204.07/204.64	c #Conflicts:     153000 | #Constraints:      24152
204.07/204.64	c #Conflicts:     154000 | #Constraints:      25152
204.07/204.64	c #Conflicts:     155000 | #Constraints:      26152
204.07/204.64	c #Conflicts:     156000 | #Constraints:      27152
204.07/204.64	c #Conflicts:     157000 | #Constraints:      28152
204.07/204.64	c #Conflicts:     158000 | #Constraints:      29152
204.07/204.64	c #Conflicts:     159000 | #Constraints:      30152
204.07/204.64	c INPROCESSING
204.07/204.64	c GARBAGE COLLECT
204.07/204.64	c #Conflicts:     160000 | #Constraints:      19618
204.07/204.64	c #Conflicts:     161000 | #Constraints:      20618
204.07/204.64	c #Conflicts:     162000 | #Constraints:      21618
204.07/204.64	c #Conflicts:     163000 | #Constraints:      22618
204.07/204.64	c #Conflicts:     164000 | #Constraints:      23618
204.07/204.64	c #Conflicts:     165000 | #Constraints:      24618
204.07/204.64	c #Conflicts:     166000 | #Constraints:      25618
204.07/204.64	c #Conflicts:     167000 | #Constraints:      26618
204.07/204.64	c #Conflicts:     168000 | #Constraints:      27618
204.07/204.64	c #Conflicts:     169000 | #Constraints:      28618
204.07/204.64	c #Conflicts:     170000 | #Constraints:      29618
204.07/204.64	c #Conflicts:     171000 | #Constraints:      30618
204.07/204.64	c #Conflicts:     172000 | #Constraints:      31618
204.07/204.64	c #Conflicts:     173000 | #Constraints:      32618
204.07/204.64	c #Conflicts:     174000 | #Constraints:      33618
204.07/204.64	c #Conflicts:     175000 | #Constraints:      34618
204.07/204.64	c #Conflicts:     176000 | #Constraints:      35618
204.07/204.64	c #Conflicts:     177000 | #Constraints:      36618
204.07/204.64	c #Conflicts:     178000 | #Constraints:      37618
204.07/204.64	c #Conflicts:     179000 | #Constraints:      38618
204.07/204.64	c #Conflicts:     180000 | #Constraints:      39618
204.07/204.64	c #Conflicts:     181000 | #Constraints:      40618
204.07/204.64	c #Conflicts:     182000 | #Constraints:      41618
204.07/204.64	c #Conflicts:     183000 | #Constraints:      42618
204.07/204.64	c #Conflicts:     184000 | #Constraints:      43618
204.07/204.64	c #Conflicts:     185000 | #Constraints:      44618
204.07/204.64	c #Conflicts:     186000 | #Constraints:      45618
204.07/204.64	c #Conflicts:     187000 | #Constraints:      46618
204.07/204.64	c #Conflicts:     188000 | #Constraints:      47618
204.07/204.64	c #Conflicts:     189000 | #Constraints:      48618
204.07/204.64	c INPROCESSING
204.07/204.64	c GARBAGE COLLECT
204.07/204.64	c #Conflicts:     190000 | #Constraints:      29142
204.07/204.64	c #Conflicts:     191000 | #Constraints:      30142
204.07/204.64	c #Conflicts:     192000 | #Constraints:      31142
204.07/204.64	c #Conflicts:     193000 | #Constraints:      32142
204.07/204.64	c #Conflicts:     194000 | #Constraints:      33142
204.07/204.64	c #Conflicts:     195000 | #Constraints:      34142
204.07/204.64	c #Conflicts:     196000 | #Constraints:      35142
204.07/204.64	c #Conflicts:     197000 | #Constraints:      36142
204.07/204.64	c #Conflicts:     198000 | #Constraints:      37142
204.07/204.64	c #Conflicts:     199000 | #Constraints:      38142
204.07/204.64	c #Conflicts:     200000 | #Constraints:      39142
204.07/204.64	c INPROCESSING
204.07/204.64	c GARBAGE COLLECT
204.07/204.64	c rational objective 0
216.94/217.57	c #Conflicts:     201000 | #Constraints:      24420
216.94/217.57	c #Conflicts:     202000 | #Constraints:      25420
216.94/217.57	c #Conflicts:     203000 | #Constraints:      26420
216.94/217.57	c #Conflicts:     204000 | #Constraints:      27420
216.94/217.57	c #Conflicts:     205000 | #Constraints:      28420
216.94/217.57	c #Conflicts:     206000 | #Constraints:      29420
216.94/217.57	c #Conflicts:     207000 | #Constraints:      30420
216.94/217.57	c #Conflicts:     208000 | #Constraints:      31420
216.94/217.57	c #Conflicts:     209000 | #Constraints:      32420
216.94/217.57	c #Conflicts:     210000 | #Constraints:      33420
216.94/217.57	c #Conflicts:     211000 | #Constraints:      34420
216.94/217.57	c INPROCESSING
216.94/217.57	c GARBAGE COLLECT
216.94/217.57	c rational objective 0
280.37/281.19	c #Conflicts:     212000 | #Constraints:      22019
280.37/281.19	c #Conflicts:     213000 | #Constraints:      23019
280.37/281.19	c #Conflicts:     214000 | #Constraints:      24019
280.37/281.19	c #Conflicts:     215000 | #Constraints:      25019
280.37/281.19	c #Conflicts:     216000 | #Constraints:      26019
280.37/281.19	c #Conflicts:     217000 | #Constraints:      27019
280.37/281.19	c #Conflicts:     218000 | #Constraints:      28019
280.37/281.19	c #Conflicts:     219000 | #Constraints:      29019
280.37/281.19	c #Conflicts:     220000 | #Constraints:      30019
280.37/281.19	c #Conflicts:     221000 | #Constraints:      31019
280.37/281.19	c #Conflicts:     222000 | #Constraints:      32019
280.37/281.19	c #Conflicts:     223000 | #Constraints:      33019
280.37/281.19	c #Conflicts:     224000 | #Constraints:      34019
280.37/281.19	c #Conflicts:     225000 | #Constraints:      35019
280.37/281.19	c #Conflicts:     226000 | #Constraints:      36019
280.37/281.19	c #Conflicts:     227000 | #Constraints:      37019
280.37/281.19	c #Conflicts:     228000 | #Constraints:      38019
280.37/281.19	c #Conflicts:     229000 | #Constraints:      39019
280.37/281.19	c #Conflicts:     230000 | #Constraints:      40019
280.37/281.19	c #Conflicts:     231000 | #Constraints:      41019
280.37/281.19	c #Conflicts:     232000 | #Constraints:      42019
280.37/281.19	c #Conflicts:     233000 | #Constraints:      43019
280.37/281.19	c #Conflicts:     234000 | #Constraints:      44019
280.37/281.19	c #Conflicts:     235000 | #Constraints:      45019
280.37/281.19	c #Conflicts:     236000 | #Constraints:      46019
280.37/281.19	c #Conflicts:     237000 | #Constraints:      47019
280.37/281.19	c #Conflicts:     238000 | #Constraints:      48019
280.37/281.19	c #Conflicts:     239000 | #Constraints:      49019
280.37/281.19	c #Conflicts:     240000 | #Constraints:      50019
280.37/281.19	c #Conflicts:     241000 | #Constraints:      51019
280.37/281.19	c #Conflicts:     242000 | #Constraints:      52019
280.37/281.19	c #Conflicts:     243000 | #Constraints:      53019
280.37/281.19	c #Conflicts:     244000 | #Constraints:      54019
280.37/281.19	c #Conflicts:     245000 | #Constraints:      55019
280.37/281.19	c INPROCESSING
280.37/281.19	c GARBAGE COLLECT
280.37/281.19	c rational objective 1.22008e-13
298.32/299.13	c #Conflicts:     246000 | #Constraints:      32448
298.32/299.13	c #Conflicts:     247000 | #Constraints:      33448
298.32/299.13	c #Conflicts:     248000 | #Constraints:      34448
298.32/299.13	c #Conflicts:     249000 | #Constraints:      35448
298.32/299.13	c #Conflicts:     250000 | #Constraints:      36448
298.32/299.13	c #Conflicts:     251000 | #Constraints:      37448
298.32/299.13	c #Conflicts:     252000 | #Constraints:      38448
298.32/299.13	c #Conflicts:     253000 | #Constraints:      39448
298.32/299.13	c #Conflicts:     254000 | #Constraints:      40448
298.32/299.13	c #Conflicts:     255000 | #Constraints:      41448
298.32/299.13	c #Conflicts:     256000 | #Constraints:      42448
298.32/299.13	c #Conflicts:     257000 | #Constraints:      43448
298.32/299.13	c INPROCESSING
298.32/299.13	c GARBAGE COLLECT
298.32/299.13	c rational objective 1.22008e-13
313.97/314.87	c #Conflicts:     258000 | #Constraints:      26430
313.97/314.87	c #Conflicts:     259000 | #Constraints:      27430
313.97/314.87	c #Conflicts:     260000 | #Constraints:      28430
313.97/314.87	c #Conflicts:     261000 | #Constraints:      29430
313.97/314.87	c #Conflicts:     262000 | #Constraints:      30430
313.97/314.87	c #Conflicts:     263000 | #Constraints:      31430
313.97/314.87	c #Conflicts:     264000 | #Constraints:      32430
313.97/314.87	c #Conflicts:     265000 | #Constraints:      33430
313.97/314.87	c #Conflicts:     266000 | #Constraints:      34430
313.97/314.87	c #Conflicts:     267000 | #Constraints:      35430
313.97/314.87	c #Conflicts:     268000 | #Constraints:      36430
313.97/314.87	c #Conflicts:     269000 | #Constraints:      37430
313.97/314.87	c #Conflicts:     270000 | #Constraints:      38430
313.97/314.87	c INPROCESSING
313.97/314.87	c GARBAGE COLLECT
313.97/314.87	c rational objective 1.22008e-13
397.53/398.67	c #Conflicts:     271000 | #Constraints:      24497
397.53/398.67	c #Conflicts:     272000 | #Constraints:      25497
397.53/398.67	c #Conflicts:     273000 | #Constraints:      26497
397.53/398.67	c #Conflicts:     274000 | #Constraints:      27497
397.53/398.67	c #Conflicts:     275000 | #Constraints:      28497
397.53/398.67	c #Conflicts:     276000 | #Constraints:      29497
397.53/398.67	c #Conflicts:     277000 | #Constraints:      30497
397.53/398.67	c #Conflicts:     278000 | #Constraints:      31498
397.53/398.67	c #Conflicts:     279000 | #Constraints:      32498
397.53/398.67	c #Conflicts:     280000 | #Constraints:      33498
397.53/398.67	c #Conflicts:     281000 | #Constraints:      34498
397.53/398.67	c #Conflicts:     282000 | #Constraints:      35498
397.53/398.67	c #Conflicts:     283000 | #Constraints:      36498
397.53/398.67	c #Conflicts:     284000 | #Constraints:      37498
397.53/398.67	c #Conflicts:     285000 | #Constraints:      38498
397.53/398.67	c #Conflicts:     286000 | #Constraints:      39498
397.53/398.67	c #Conflicts:     287000 | #Constraints:      40498
397.53/398.67	c #Conflicts:     288000 | #Constraints:      41498
397.53/398.67	c #Conflicts:     289000 | #Constraints:      42498
397.53/398.67	c #Conflicts:     290000 | #Constraints:      43498
397.53/398.67	c #Conflicts:     291000 | #Constraints:      44498
397.53/398.67	c #Conflicts:     292000 | #Constraints:      45498
397.53/398.67	c #Conflicts:     293000 | #Constraints:      46498
397.53/398.67	c #Conflicts:     294000 | #Constraints:      47498
397.53/398.67	c #Conflicts:     295000 | #Constraints:      48498
397.53/398.67	c #Conflicts:     296000 | #Constraints:      49498
397.53/398.67	c #Conflicts:     297000 | #Constraints:      50498
397.53/398.67	c #Conflicts:     298000 | #Constraints:      51498
397.53/398.67	c #Conflicts:     299000 | #Constraints:      52498
397.53/398.67	c #Conflicts:     300000 | #Constraints:      53498
397.53/398.67	c #Conflicts:     301000 | #Constraints:      54498
397.53/398.67	c #Conflicts:     302000 | #Constraints:      55498
397.53/398.67	c #Conflicts:     303000 | #Constraints:      56498
397.53/398.67	c #Conflicts:     304000 | #Constraints:      57498
397.53/398.67	c #Conflicts:     305000 | #Constraints:      58498
397.53/398.67	c #Conflicts:     306000 | #Constraints:      59498
397.53/398.67	c #Conflicts:     307000 | #Constraints:      60498
397.53/398.67	c #Conflicts:     308000 | #Constraints:      61498
397.53/398.67	c INPROCESSING
397.53/398.67	c GARBAGE COLLECT
397.53/398.67	c #Conflicts:     309000 | #Constraints:      35735
397.53/398.67	c #Conflicts:     310000 | #Constraints:      36735
397.53/398.67	c #Conflicts:     311000 | #Constraints:      37735
397.53/398.67	c #Conflicts:     312000 | #Constraints:      38735
397.53/398.67	c #Conflicts:     313000 | #Constraints:      39735
397.53/398.67	c #Conflicts:     314000 | #Constraints:      40735
397.53/398.67	c #Conflicts:     315000 | #Constraints:      41735
397.53/398.67	c #Conflicts:     316000 | #Constraints:      42735
397.53/398.67	c #Conflicts:     317000 | #Constraints:      43735
397.53/398.67	c #Conflicts:     318000 | #Constraints:      44735
397.53/398.67	c #Conflicts:     319000 | #Constraints:      45735
397.53/398.67	c #Conflicts:     320000 | #Constraints:      46735
397.53/398.67	c #Conflicts:     321000 | #Constraints:      47735
397.53/398.67	c INPROCESSING
397.53/398.67	c GARBAGE COLLECT
397.53/398.67	c rational objective 1.22008e-13
412.98/414.12	c #Conflicts:     322000 | #Constraints:      28383
412.98/414.12	c #Conflicts:     323000 | #Constraints:      29383
412.98/414.12	c #Conflicts:     324000 | #Constraints:      30383
412.98/414.12	c #Conflicts:     325000 | #Constraints:      31383
412.98/414.12	c #Conflicts:     326000 | #Constraints:      32383
412.98/414.12	c #Conflicts:     327000 | #Constraints:      33383
412.98/414.12	c #Conflicts:     328000 | #Constraints:      34383
412.98/414.12	c #Conflicts:     329000 | #Constraints:      35383
412.98/414.12	c #Conflicts:     330000 | #Constraints:      36383
412.98/414.12	c #Conflicts:     331000 | #Constraints:      37383
412.98/414.12	c #Conflicts:     332000 | #Constraints:      38383
412.98/414.12	c #Conflicts:     333000 | #Constraints:      39383
412.98/414.12	c #Conflicts:     334000 | #Constraints:      40383
412.98/414.12	c #Conflicts:     335000 | #Constraints:      41383
412.98/414.12	c #Conflicts:     336000 | #Constraints:      42384
412.98/414.12	c INPROCESSING
412.98/414.12	c GARBAGE COLLECT
412.98/414.12	c rational objective 1.22008e-13
433.72/434.91	c #Conflicts:     337000 | #Constraints:      27247
433.72/434.91	c #Conflicts:     338000 | #Constraints:      28247
433.72/434.91	c #Conflicts:     339000 | #Constraints:      29247
433.72/434.91	c #Conflicts:     340000 | #Constraints:      30247
433.72/434.91	c #Conflicts:     341000 | #Constraints:      31247
433.72/434.91	c #Conflicts:     342000 | #Constraints:      32247
433.72/434.91	c #Conflicts:     343000 | #Constraints:      33247
433.72/434.91	c #Conflicts:     344000 | #Constraints:      34247
433.72/434.91	c #Conflicts:     345000 | #Constraints:      35247
433.72/434.91	c #Conflicts:     346000 | #Constraints:      36247
433.72/434.91	c #Conflicts:     347000 | #Constraints:      37247
433.72/434.91	c #Conflicts:     348000 | #Constraints:      38247
433.72/434.91	c #Conflicts:     349000 | #Constraints:      39247
433.72/434.91	c #Conflicts:     350000 | #Constraints:      40247
433.72/434.91	c #Conflicts:     351000 | #Constraints:      41247
433.72/434.91	c #Conflicts:     352000 | #Constraints:      42247
433.72/434.91	c #Conflicts:     353000 | #Constraints:      43247
433.72/434.91	c #Conflicts:     354000 | #Constraints:      44247
433.72/434.91	c #Conflicts:     355000 | #Constraints:      45247
433.72/434.91	c #Conflicts:     356000 | #Constraints:      46247
433.72/434.91	WSVECS04 Frhs2[2]: 6 -1.00002 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[5]: 6 -1.00003 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[6]: 6 -1.00009 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[34]: 6 -1.00008 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[36]: 6 -1.00003 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[39]: 6 -1.00004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[40]: 6 -1.00005 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[41]: 6 -1.00004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[96]: 6 -2.75069 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[98]: 6 -2.4688 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[101]: 6 -4.97466 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[102]: 6 -4.94928 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[103]: 6 -5.89852 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[104]: 6 -6.29693 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[107]: 6 -4.12509 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[108]: 6 -4.50002 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[114]: 6 -5.00003 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[118]: 6 -3.00034 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[122]: 6 -4.004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[189]: 6 -1.0048 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[191]: 6 -2.50006 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[194]: 6 -3.00076 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[195]: 6 -3.00101 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[196]: 6 -10.8131 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[197]: 6 -2.50307 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[200]: 6 -7.00035 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[201]: 6 -3.00042 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[207]: 6 -3.00054 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[211]: 6 -3.00251 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[215]: 6 -3.00024 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[220]: 6 -2.00953 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[222]: 6 -2.00001 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[225]: 6 -3.00157 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[226]: 6 -3.00202 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[227]: 6 -3.0031 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[228]: 6 -2.00606 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[231]: 6 -3.00138 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[232]: 6 -3.00083 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[238]: 6 -3.0011 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[242]: 6 -3.00496 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[246]: 6 -3.00044 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[313]: 6 -3.11978 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[315]: 6 -3.04154 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[318]: 6 -4.01196 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[319]: 6 -3.01606 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[320]: 6 -3.02417 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[321]: 6 -1.04825 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[324]: 6 -3.01097 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[325]: 6 -3.00624 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[331]: 6 -3.00847 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[335]: 6 -3.03932 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[339]: 6 -3.00304 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[592]: 6 -1.25827 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[594]: 6 -2.50004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[597]: 6 -9.08711 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[598]: 6 -11.1743 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[599]: 6 -7.19766 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[656]: 6 -3.00002 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[659]: 6 -2.62502 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[660]: 6 -2.96882 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[661]: 6 -2.99911 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[716]: 6 -2.50004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[718]: 6 -3.00005 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[721]: 6 -1.50002 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[722]: 6 -2.87501 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[723]: 6 -2.99615 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[747]: 6 -2.00001 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[749]: 6 -3.00007 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[753]: 6 -2.75008 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[754]: 6 -2.99219 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[811]: 6 -3.00006 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[814]: 6 -2.74999 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[815]: 6 -2.00001 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[816]: 6 -2.96863 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[842]: 6 -3.00005 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[845]: 6 -2.5 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[846]: 6 -0.999893 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[847]: 6 -2.93728 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[902]: 6 -1.00009 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[904]: 6 -3 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[907]: 6 -2.9998 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[908]: 6 -2.99948 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[909]: 6 -2.74899 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[997]: 6 -2.99978 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1000]: 6 -2.99788 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1001]: 6 -2.99575 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1002]: 6 -2.9915 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1027]: 6 0 2.50003 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1071]: 6 0 3.99988 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1075]: 6 0 3.99974 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1100]: 6 0 6.99941 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1166]: 6 0 2.9981 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1170]: 6 0 2.49225 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1310]: 6 0 1.50009 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1320]: 6 0 1.87509 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1352]: 6 0 4.20321 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1370]: 6 0 2.75006 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1447]: 6 0 2.6422 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1478]: 6 0 3.0687 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1810]: 6 -2.00004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1957]: 6 0 2.03127 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1972]: 6 0 2.00007 shouldn't be
433.72/434.91	WSVECS04 Frhs2[1976]: 6 0 1.75007 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2001]: 6 0 4.00003 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2005]: 6 0 4.00005 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2028]: 6 0 4.00001 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2030]: 6 0 7.00006 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2041]: 6 0 2.00784 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2056]: 6 0 4.99979 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2057]: 6 0 5.99994 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2063]: 6 0 8.00004 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2163]: 6 0 0.500037 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2250]: 6 0 2.0001 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2253]: 6 0 3.00008 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2282]: 6 0 4.99932 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2300]: 6 0 2.98442 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2345]: 6 0 2.95922 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2366]: 6 0 2.98445 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2376]: 6 0 3.33654 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2377]: 6 0 2.79807 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2383]: 6 0 3.0001 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2408]: 6 0 3.69224 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2413]: 6 0 6.15052 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2426]: 6 0 2.93755 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2446]: 6 0 2.40828 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2508]: 6 0 2.52855 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2540]: 6 0 2.23555 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2576]: 6 0 1.0001 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2606]: 6 0 2.25006 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2620]: 6 -5.87501 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2631]: 6 0 3.83066 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2632]: 6 0 3.56752 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2635]: 6 0 3.75005 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2832]: 6 -2.00007 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2917]: 6 -0.750027 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2919]: 6 -1.50007 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2921]: 6 -1.53714 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2939]: 6 -1.28108 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2951]: 6 -0.999932 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2964]: 6 -0.999935 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2981]: 6 -3.00022 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2984]: 6 -3.29682 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2987]: 6 -2.62456 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2992]: 6 -2.99984 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[2994]: 6 -1.99956 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3001]: 6 -2.12435 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3005]: 6 -1.00774 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3010]: 6 -2.50004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3014]: 6 -0.999889 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3018]: 6 -2.49899 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3022]: 6 -0.999989 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3036]: 6 -1.01551 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3041]: 6 -1.00009 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3042]: 6 -0.989041 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3044]: 6 -0.999118 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3046]: 6 -0.999797 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3049]: 6 -3.99797 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3050]: 6 -5.00002 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3061]: 6 -1.99905 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3062]: 6 -1.99811 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3064]: 6 -1.99228 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3071]: 6 0 0.130579 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3072]: 6 -0.750087 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3074]: 6 -2.00133 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3075]: 6 -0.998061 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3076]: 6 -0.999564 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3080]: 6 -0.99596 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3081]: 6 -1.00009 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3083]: 6 -0.999096 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3085]: 6 -0.999549 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3097]: 6 -1.98439 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3098]: 6 -1.06182 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3104]: 6 -0.955843 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3105]: 6 -0.99223 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3106]: 6 -0.996131 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3108]: 6 -0.999072 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3111]: 6 -0.991878 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3116]: 6 -0.999099 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3118]: 6 -1.99224 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3121]: 6 -0.999098 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3122]: 6 -0.998087 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3125]: 6 -1.9844 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3128]: 6 -1.96883 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3136]: 6 -0.984471 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3140]: 6 -0.998079 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3142]: 6 -3.98446 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3146]: 6 -0.999115 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3147]: 6 -0.998121 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3152]: 6 -0.998137 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3170]: 6 -0.996108 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3171]: 6 -0.996146 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3178]: 6 -0.996171 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3183]: 6 -0.996116 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3191]: 6 -1.49416 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3200]: 6 -0.992202 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3204]: 6 -0.750099 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3209]: 6 -0.992266 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3214]: 6 -0.992203 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3219]: 6 -1.75006 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3230]: 6 -0.937529 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3233]: 6 -0.984434 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3235]: 6 -0.500042 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3238]: 6 -0.968808 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3240]: 6 -0.984467 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3244]: 6 -0.99226 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3250]: 6 -1.50001 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3252]: 6 -0.750066 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3254]: 6 -0.203224 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3260]: 6 -0.750016 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3262]: 6 -0.968783 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3268]: 6 -2.04951 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3269]: 6 -0.937556 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3271]: 6 -0.968778 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3273]: 6 -1.75005 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3278]: 6 -1.87504 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3290]: 6 -0.500088 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3292]: 6 -0.750055 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3295]: 6 -0.937547 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3298]: 6 -0.950623 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3299]: 6 -0.500088 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3300]: 6 -0.875027 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3302]: 6 -0.93754 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3308]: 6 -0.875026 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3320]: 6 -1.92309 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3323]: 6 -0.500094 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3325]: 6 -0.875043 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3329]: 6 -0.500091 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3331]: 6 -0.750077 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3332]: 6 -0.937581 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3338]: 6 -0.875045 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3353]: 6 -1.64225 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3356]: 6 -0.75004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3357]: 6 -0.750056 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3388]: 6 -0.500049 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3416]: 6 -3.1374 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3445]: 6 -1.00006 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3451]: 6 -1.00007 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3452]: 6 -1.00003 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3453]: 6 -1.00009 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3454]: 6 -1.00007 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3475]: 6 -3.96734 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3505]: 6 0 0.967377 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3507]: 6 -1.00007 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3515]: 6 -1.00005 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3540]: 6 -1.00002 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3546]: 6 -1.00009 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3547]: 6 -1.00005 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3570]: 6 -1.00006 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3577]: 6 -1.00005 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3578]: 6 -1.00001 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3609]: 6 -1.00001 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3630]: 6 -3.95321 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3633]: 6 -1.00005 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3637]: 6 -1.00003 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3661]: 6 -3.75004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3667]: 6 -3.00007 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3669]: 6 -1.00003 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3693]: 6 -1.00002 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3695]: 6 -1.00009 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3699]: 6 -1.00008 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3723]: 6 -2.00008 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3725]: 6 -1.00002 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3729]: 6 -1.00004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3785]: 6 -1.00001 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3786]: 6 -1.00007 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3791]: 6 -1.00002 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3871]: 6 -0.437286 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3878]: 6 -0.992276 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3880]: 6 -0.531307 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3881]: 6 -1.50004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3882]: 6 -2.45023 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3912]: 6 -1.00008 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3925]: 6 -1.00008 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3941]: 6 -0.995334 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3942]: 6 -0.125012 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3945]: 6 -2.60138 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3955]: 6 -2.00005 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3962]: 6 -2.12558 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3975]: 6 -1.99894 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3980]: 6 -3.75002 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3983]: 6 -0.999974 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3992]: 6 -2.00001 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[3997]: 6 -1.01568 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4002]: 6 -0.875041 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4003]: 6 -0.981161 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4011]: 6 -5.50005 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4012]: 6 -2.00032 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4017]: 6 -1.9999 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4025]: 6 -2.00004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4026]: 6 -2.00007 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4033]: 6 -0.750039 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4035]: 6 -2.00138 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4036]: 6 -0.998137 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4039]: 6 -0.999555 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4041]: 6 -0.992107 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4042]: 6 -1.00004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4044]: 6 -0.999038 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4046]: 6 -0.999827 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4052]: 6 -1.00007 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4058]: 6 -2.00004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4059]: 6 -1.06258 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4065]: 6 -0.924536 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4066]: 6 -0.992277 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4067]: 6 -0.996156 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4069]: 6 -0.999062 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4072]: 6 -0.984139 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4074]: 6 -2.00122 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4076]: 6 -0.999594 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4077]: 6 -0.999611 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4079]: 6 -1.99953 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4082]: 6 -1.00003 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4083]: 6 -1.00002 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4085]: 6 -1.99995 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4086]: 6 -2 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4089]: 6 -2.00004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4100]: 6 -0.998131 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4101]: 6 -0.998071 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4103]: 6 -0.968215 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4113]: 6 -1.00001 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4120]: 6 -2.00004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4121]: 6 -1.25 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4131]: 6 -0.996108 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4139]: 6 -0.998062 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4144]: 6 -0.999989 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4161]: 6 -0.992205 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4165]: 6 -0.750085 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4175]: 6 -0.999948 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4191]: 6 -0.937587 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4199]: 6 -0.968808 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4204]: 6 -0.999611 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4211]: 6 -1.49961 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4215]: 6 -0.999316 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4221]: 6 -0.750066 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4224]: 6 -0.968819 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4234]: 6 -1.98446 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4241]: 6 -0.500073 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4251]: 6 -0.500059 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4256]: 6 -0.93754 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4269]: 6 -0.999114 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4281]: 6 -1.95916 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4284]: 6 -0.500081 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4291]: 6 -1.15055 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4299]: 6 -0.998085 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4303]: 6 -1.99813 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4305]: 6 -0.999074 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4314]: 6 -1.79811 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4318]: 6 -0.750098 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4331]: 6 -0.996132 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4334]: 6 -1.99618 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4347]: 6 -0.50008 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4361]: 6 -0.992214 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4364]: 6 -1.93757 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4374]: 6 -2.00009 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4377]: 6 -4.38444 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4391]: 6 -0.968828 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4414]: 6 -1.00001 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4415]: 6 -0.999803 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4416]: 6 -1.81659 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4427]: 6 -1.96881 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4428]: 6 -1.93751 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4436]: 6 -1.03275 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4449]: 6 -1.52854 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4454]: 6 -0.937587 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4455]: 6 -0.937536 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4457]: 6 -1.50006 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4459]: 6 -1.87504 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4471]: 6 -0.875027 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4472]: 6 -1.73439 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4474]: 6 -1.00202 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4476]: 6 -1.00002 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4478]: 6 -1.00199 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4479]: 6 -1.0001 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4482]: 6 -1.23553 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4483]: 6 -0.750098 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4485]: 6 -0.875013 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4501]: 6 -0.882885 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4507]: 6 -1.0001 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4508]: 6 -0.998102 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4514]: 6 -0.500026 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4517]: 6 -0.750054 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4529]: 6 -1.26178 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4538]: 6 -1.00009 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4539]: 6 -0.996155 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4540]: 6 -1.00791 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4543]: 6 -0.992269 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4547]: 6 -0.500052 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4548]: 6 -0.500083 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4561]: 6 -1.00008 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4563]: 6 -0.53133 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4565]: 6 -1.00008 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4569]: 6 -1.00009 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4570]: 6 -0.992242 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4577]: 6 -2.56758 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4591]: 6 -2.04693 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4594]: 6 -0.062593 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4598]: 6 -1.0313 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4599]: 6 -1.00008 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4601]: 6 -0.984402 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4602]: 6 -1.03135 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4604]: 6 -0.98446 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4607]: 6 -1.09369 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4609]: 6 -4.39463 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4622]: 6 -1.25009 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4629]: 6 -1.06257 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4636]: 6 -0.937543 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4637]: 6 -0.875013 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4653]: 6 -1.50008 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4656]: 6 -0.937596 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4664]: 6 -1.12506 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4665]: 6 -1.00009 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4667]: 6 -0.875084 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4670]: 6 -2.75099 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4684]: 6 -2.00003 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4686]: 6 -1.00005 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4690]: 6 -0.875091 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4693]: 6 -1.00001 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4694]: 6 -0.875035 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4697]: 6 -0.875212 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4723]: 6 -1.00008 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4724]: 6 -1.00006 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4725]: 6 -0.750111 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4726]: 6 -1.50003 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4727]: 6 -1.00004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4750]: 6 -2.00006 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4759]: 6 -0.500557 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4762]: 6 -1.00004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4777]: 6 -4.00003 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4785]: 6 -1.00005 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4786]: 6 -1.00008 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4894]: 6 -1.00004 0 shouldn't be
433.72/434.91	WSVECS04 Frhs2[4908]: 6 -1.00008 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[5]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[6]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[34]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[36]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[39]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[40]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[41]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[96]: 6 -2.75059 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[98]: 6 -2.46875 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[101]: 6 -4.97461 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[102]: 6 -4.94922 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[103]: 6 -5.89844 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[104]: 6 -6.29688 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[107]: 6 -4.125 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[108]: 6 -4.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[114]: 6 -5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[118]: 6 -3.00031 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[122]: 6 -4.00391 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[189]: 6 -1.00472 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[191]: 6 -2.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[194]: 6 -3.00074 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[195]: 6 -3.001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[196]: 6 -10.813 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[197]: 6 -2.50302 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[200]: 6 -7.00029 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[201]: 6 -3.00038 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[207]: 6 -3.00053 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[211]: 6 -3.00246 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[215]: 6 -3.00019 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[220]: 6 -2.00944 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[222]: 6 -2 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[225]: 6 -3.00149 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[226]: 6 -3.002 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[227]: 6 -3.00302 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[228]: 6 -2.00603 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[231]: 6 -3.00136 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[232]: 6 -3.00077 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[238]: 6 -3.00105 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[242]: 6 -3.00491 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[246]: 6 -3.00037 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[313]: 6 -3.11976 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[315]: 6 -3.04153 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[318]: 6 -4.01189 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[319]: 6 -3.01597 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[320]: 6 -3.02412 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[321]: 6 -1.04824 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[324]: 6 -3.01089 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[325]: 6 -3.00615 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[331]: 6 -3.00839 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[335]: 6 -3.03928 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[339]: 6 -3.00298 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[592]: 6 -1.25818 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[594]: 6 -2.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[597]: 6 -9.0871 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[598]: 6 -11.1742 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[599]: 6 -7.19764 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[656]: 6 -3 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[659]: 6 -2.625 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[660]: 6 -2.96875 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[661]: 6 -2.99902 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[716]: 6 -2.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[718]: 6 -3 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[721]: 6 -1.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[722]: 6 -2.87499 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[723]: 6 -2.99608 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[747]: 6 -2 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[749]: 6 -3 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[753]: 6 -2.74998 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[754]: 6 -2.99215 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[811]: 6 -3 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[814]: 6 -2.74997 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[815]: 6 -1.99993 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[816]: 6 -2.96862 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[842]: 6 -2.99999 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[845]: 6 -2.49993 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[846]: 6 -0.999866 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[847]: 6 -2.93723 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[902]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[904]: 6 -2.99997 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[907]: 6 -2.99973 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[908]: 6 -2.99946 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[909]: 6 -2.74893 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[997]: 6 -2.99973 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1000]: 6 -2.99785 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1001]: 6 -2.9957 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1002]: 6 -2.9914 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1027]: 6 0 2.5 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1031]: 6 0 0.851563 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1170]: 6 0 2.49219 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1310]: 6 0 1.5 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1320]: 6 0 1.875 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1352]: 6 0 4.20313 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1370]: 6 0 2.75 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1415]: 6 0 2.923 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1478]: 6 0 3.06868 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1810]: 6 -2 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1957]: 6 0 2.03125 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1972]: 6 0 2 shouldn't be
435.62/436.89	WSVECS04 Frhs2[1976]: 6 0 1.75 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2001]: 6 0 4 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2005]: 6 0 4 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2020]: 6 0 3.60135 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2028]: 6 0 3.99996 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2030]: 6 0 6.99997 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2040]: 6 0 1 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2041]: 6 0 2.00781 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2057]: 6 0 5.9999 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2063]: 6 0 8 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2066]: 6 0 2.99998 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2070]: 6 0 3.00781 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2082]: 6 0 15.623 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2100]: 6 0 2.5 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2163]: 6 0 0.5 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2250]: 6 0 2.00006 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2253]: 6 0 3 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2282]: 6 0 4.99927 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2300]: 6 0 2.98438 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2366]: 6 0 2.98438 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2376]: 6 0 3.33653 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2413]: 6 0 6.1505 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2426]: 6 0 2.9375 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2446]: 6 0 2.40827 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2508]: 6 0 2.52846 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2540]: 6 0 2.2355 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2576]: 6 0 1 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2606]: 6 0 2.25 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2620]: 6 -5.87498 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2631]: 6 0 3.83057 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2632]: 6 0 3.56751 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2635]: 6 0 3.75 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2832]: 6 -1.99999 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2890]: 6 -2 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2917]: 6 -0.75 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2919]: 6 -1.50004 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2921]: 6 -1.53708 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2939]: 6 -1.28107 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2951]: 6 -0.999879 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2964]: 6 -0.999879 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2980]: 6 -0.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2981]: 6 -3.00016 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2984]: 6 -3.29672 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2987]: 6 -2.62449 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2992]: 6 -2.99978 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[2994]: 6 -1.99951 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3001]: 6 -2.12426 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3010]: 6 -2.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3014]: 6 -0.999879 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3018]: 6 -2.49898 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3022]: 6 -0.999939 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3026]: 6 -0.999512 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3036]: 6 -1.01544 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3041]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3042]: 6 -0.988945 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3044]: 6 -0.999024 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3045]: 6 -0.999756 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3046]: 6 -0.999757 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3049]: 6 -3.99795 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3050]: 6 -5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3056]: 6 -1.99805 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3061]: 6 -1.99902 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3062]: 6 -1.99805 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3064]: 6 -1.99219 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3071]: 6 0 0.130528 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3072]: 6 -0.75 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3074]: 6 -2.00125 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3075]: 6 -0.998048 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3080]: 6 -0.995901 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3081]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3083]: 6 -0.999024 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3085]: 6 -0.999512 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3091]: 6 -0.999024 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3097]: 6 -1.98438 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3098]: 6 -1.06177 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3105]: 6 -0.992188 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3106]: 6 -0.996095 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3108]: 6 -0.999024 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3111]: 6 -0.991802 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3116]: 6 -0.999024 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3121]: 6 -0.999024 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3122]: 6 -0.998048 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3125]: 6 -1.98438 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3128]: 6 -1.96875 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3136]: 6 -0.984375 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3140]: 6 -0.998047 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3142]: 6 -3.98438 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3146]: 6 -0.999024 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3147]: 6 -0.998047 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3152]: 6 -0.998048 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3170]: 6 -0.996095 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3171]: 6 -0.996094 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3178]: 6 -0.996094 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3183]: 6 -0.996095 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3191]: 6 -1.49414 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3204]: 6 -0.750001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3209]: 6 -0.992188 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3214]: 6 -0.992188 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3219]: 6 -1.75 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3235]: 6 -0.500001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3238]: 6 -0.96875 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3239]: 6 -0.992188 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3240]: 6 -0.984376 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3244]: 6 -0.992188 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3252]: 6 -0.75 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3254]: 6 -0.203127 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3260]: 6 -0.75 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3262]: 6 -0.968751 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3268]: 6 -2.04947 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3269]: 6 -0.9375 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3271]: 6 -0.96875 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3273]: 6 -1.75 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3278]: 6 -1.875 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3290]: 6 -0.500001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3292]: 6 -0.750001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3293]: 6 -0.937501 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3295]: 6 -0.9375 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3298]: 6 -0.950531 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3299]: 6 -0.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3302]: 6 -0.9375 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3308]: 6 -0.875 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3320]: 6 -1.923 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3323]: 6 -0.500001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3325]: 6 -0.875001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3329]: 6 -0.500001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3331]: 6 -0.75 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3332]: 6 -0.937501 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3338]: 6 -0.875 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3353]: 6 -1.64217 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3356]: 6 -0.750001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3357]: 6 -0.750001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3383]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3388]: 6 -0.500001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3413]: 6 -1.74182 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3416]: 6 -3.13737 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3445]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3452]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3453]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3454]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3475]: 6 -3.96729 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3505]: 6 0 0.967286 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3514]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3515]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3537]: 6 -1.36914 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3546]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3547]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3570]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3575]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3577]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3578]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3609]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3630]: 6 -3.95313 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3632]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3637]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3661]: 6 -3.75 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3663]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3669]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3692]: 6 -1.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3693]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3699]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3723]: 6 -1.99999 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3725]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3729]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3755]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3785]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3791]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3816]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3819]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3871]: 6 -0.437256 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3878]: 6 -0.992188 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3881]: 6 -1.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3882]: 6 -2.4502 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3900]: 6 -1.28137 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3912]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3925]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3942]: 6 -0.125 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3953]: 6 -2.99996 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3955]: 6 -1.99997 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3971]: 6 -0.937501 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3972]: 6 -0.990559 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3975]: 6 -1.9989 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3980]: 6 -3.75 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3992]: 6 -1.99999 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[3997]: 6 -1.01562 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4002]: 6 -0.875 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4003]: 6 -0.981117 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4006]: 6 -0.999757 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4007]: 6 -0.999756 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4011]: 6 -5.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4012]: 6 -2.00029 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4017]: 6 -1.99988 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4023]: 6 -1.99997 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4025]: 6 -1.99999 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4035]: 6 -2.00131 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4036]: 6 -0.998047 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4039]: 6 -0.999513 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4041]: 6 -0.992041 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4042]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4044]: 6 -0.999024 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4046]: 6 -0.999756 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4052]: 6 -0.999993 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4058]: 6 -2 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4059]: 6 -1.06249 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4065]: 6 -0.924467 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4066]: 6 -0.992188 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4067]: 6 -0.996094 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4072]: 6 -0.984081 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4074]: 6 -2.00118 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4077]: 6 -0.999512 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4079]: 6 -1.99951 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4085]: 6 -1.99988 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4086]: 6 -1.99999 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4089]: 6 -1.99999 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4097]: 6 -0.984376 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4101]: 6 -0.998048 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4103]: 6 -0.968163 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4113]: 6 -0.99997 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4114]: 6 -0.99997 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4120]: 6 -1.99999 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4132]: 6 -0.996094 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4152]: 6 -1.49991 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4163]: 6 -0.992188 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4165]: 6 -0.750001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4175]: 6 -0.999878 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4181]: 6 -1.99997 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4194]: 6 -0.984375 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4196]: 6 -0.500001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4215]: 6 -0.999267 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4221]: 6 -0.750001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4234]: 6 -1.98438 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4241]: 6 -0.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4253]: 6 -0.75 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4256]: 6 -0.9375 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4269]: 6 -0.999024 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4284]: 6 -0.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4286]: 6 -0.875 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4291]: 6 -1.1505 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4299]: 6 -0.998047 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4303]: 6 -1.99805 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4305]: 6 -0.999024 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4314]: 6 -1.79805 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4317]: 6 -0.75 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4318]: 6 -0.750001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4331]: 6 -0.996094 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4334]: 6 -1.99609 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4349]: 6 -0.500001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4361]: 6 -0.992188 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4364]: 6 -1.9375 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4374]: 6 -2 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4377]: 6 -4.38441 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4391]: 6 -0.968751 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4415]: 6 -0.999756 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4416]: 6 -1.81655 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4421]: 6 -0.937501 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4427]: 6 -1.96875 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4428]: 6 -1.9375 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4436]: 6 -1.03272 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4455]: 6 -0.9375 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4457]: 6 -1.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4459]: 6 -1.875 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4471]: 6 -0.875001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4473]: 6 -0.999024 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4476]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4478]: 6 -1.00195 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4479]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4482]: 6 -1.23551 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4485]: 6 -0.875 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4499]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4507]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4508]: 6 -0.998048 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4514]: 6 -0.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4517]: 6 -0.750001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4538]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4539]: 6 -0.996094 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4540]: 6 -1.00781 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4543]: 6 -0.992188 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4547]: 6 -0.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4548]: 6 -0.5 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4565]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4569]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4576]: 6 -2.83057 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4577]: 6 -2.56751 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4594]: 6 -0.0625092 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4599]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4601]: 6 -0.984377 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4602]: 6 -1.03125 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4604]: 6 -0.984391 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4606]: 6 -0.9375 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4607]: 6 -1.09363 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4609]: 6 -4.39455 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4628]: 6 -0.968751 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4632]: 6 -0.968754 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4634]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4637]: 6 -0.875001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4659]: 6 -0.937501 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4660]: 6 -1.125 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4664]: 6 -1.12499 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4665]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4667]: 6 -0.875001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4670]: 6 -2.75098 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4690]: 6 -0.875001 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4693]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4694]: 6 -0.875016 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4697]: 6 -0.875122 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4716]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4723]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4724]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4725]: 6 -0.750031 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4726]: 6 -1.49994 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4727]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4746]: 6 -2.49997 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4747]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4750]: 6 -2 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4752]: 6 -0.500004 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4759]: 6 -0.500489 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4762]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4777]: 6 -3.99993 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4780]: 6 -1.80796e-06 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4785]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4786]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4894]: 6 -1 0 shouldn't be
435.62/436.89	WSVECS04 Frhs2[4908]: 6 -1 0 shouldn't be
552.19/553.75	c #Conflicts:     357000 | #Constraints:      47247
552.19/553.75	c #Conflicts:     358000 | #Constraints:      48247
552.19/553.75	c #Conflicts:     359000 | #Constraints:      49247
552.19/553.75	c #Conflicts:     360000 | #Constraints:      50247
552.19/553.75	c #Conflicts:     361000 | #Constraints:      51247
552.19/553.75	c #Conflicts:     362000 | #Constraints:      52247
552.19/553.75	c #Conflicts:     363000 | #Constraints:      53247
552.19/553.75	c #Conflicts:     364000 | #Constraints:      54247
552.19/553.75	c #Conflicts:     365000 | #Constraints:      55247
552.19/553.75	c #Conflicts:     366000 | #Constraints:      56247
552.19/553.75	c #Conflicts:     367000 | #Constraints:      57247
552.19/553.75	c #Conflicts:     368000 | #Constraints:      58247
552.19/553.75	c #Conflicts:     369000 | #Constraints:      59247
552.19/553.75	c #Conflicts:     370000 | #Constraints:      60247
552.19/553.75	c #Conflicts:     371000 | #Constraints:      61247
552.19/553.75	c #Conflicts:     372000 | #Constraints:      62247
552.19/553.75	c #Conflicts:     373000 | #Constraints:      63247
552.19/553.75	c #Conflicts:     374000 | #Constraints:      64247
552.19/553.75	c #Conflicts:     375000 | #Constraints:      65247
552.19/553.75	c #Conflicts:     376000 | #Constraints:      66247
552.19/553.75	c #Conflicts:     377000 | #Constraints:      67247
552.19/553.75	c #Conflicts:     378000 | #Constraints:      68247
552.19/553.75	c INPROCESSING
552.19/553.75	c GARBAGE COLLECT
552.19/553.75	c #Conflicts:     379000 | #Constraints:      38944
552.19/553.75	c #Conflicts:     380000 | #Constraints:      39944
552.19/553.75	c #Conflicts:     381000 | #Constraints:      40944
552.19/553.75	c #Conflicts:     382000 | #Constraints:      41944
552.19/553.75	c #Conflicts:     383000 | #Constraints:      42944
552.19/553.75	c #Conflicts:     384000 | #Constraints:      43944
552.19/553.75	c #Conflicts:     385000 | #Constraints:      44944
552.19/553.75	c #Conflicts:     386000 | #Constraints:      45944
552.19/553.75	c #Conflicts:     387000 | #Constraints:      46944
552.19/553.75	c #Conflicts:     388000 | #Constraints:      47944
552.19/553.75	c #Conflicts:     389000 | #Constraints:      48944
552.19/553.75	c #Conflicts:     390000 | #Constraints:      49944
552.19/553.75	c #Conflicts:     391000 | #Constraints:      50944
552.19/553.75	c #Conflicts:     392000 | #Constraints:      51944
552.19/553.75	c #Conflicts:     393000 | #Constraints:      52944
552.19/553.75	c INPROCESSING
552.19/553.75	c GARBAGE COLLECT
552.19/553.75	c #Conflicts:     394000 | #Constraints:      31266
552.19/553.75	c #Conflicts:     395000 | #Constraints:      32266
552.19/553.75	c #Conflicts:     396000 | #Constraints:      33266
552.19/553.75	c #Conflicts:     397000 | #Constraints:      34266
552.19/553.75	c #Conflicts:     398000 | #Constraints:      35266
552.19/553.75	c #Conflicts:     399000 | #Constraints:      36266
552.19/553.75	c #Conflicts:     400000 | #Constraints:      37266
552.19/553.75	c #Conflicts:     401000 | #Constraints:      38266
552.19/553.75	c #Conflicts:     402000 | #Constraints:      39266
552.19/553.75	c #Conflicts:     403000 | #Constraints:      40266
552.19/553.75	c #Conflicts:     404000 | #Constraints:      41266
552.19/553.75	c #Conflicts:     405000 | #Constraints:      42266
552.19/553.75	c #Conflicts:     406000 | #Constraints:      43266
552.19/553.75	c #Conflicts:     407000 | #Constraints:      44266
552.19/553.75	c #Conflicts:     408000 | #Constraints:      45266
552.19/553.75	c #Conflicts:     409000 | #Constraints:      46266
552.19/553.75	c #Conflicts:     410000 | #Constraints:      47266
552.19/553.75	c #Conflicts:     411000 | #Constraints:      48266
552.19/553.75	c #Conflicts:     412000 | #Constraints:      49266
552.19/553.75	c #Conflicts:     413000 | #Constraints:      50266
552.19/553.75	c #Conflicts:     414000 | #Constraints:      51266
552.19/553.75	c #Conflicts:     415000 | #Constraints:      52266
552.19/553.75	c #Conflicts:     416000 | #Constraints:      53266
552.19/553.75	c #Conflicts:     417000 | #Constraints:      54266
552.19/553.75	c #Conflicts:     418000 | #Constraints:      55266
552.19/553.75	c #Conflicts:     419000 | #Constraints:      56266
552.19/553.75	c #Conflicts:     420000 | #Constraints:      57266
552.19/553.75	c #Conflicts:     421000 | #Constraints:      58266
552.19/553.75	c #Conflicts:     422000 | #Constraints:      59266
552.19/553.75	c #Conflicts:     423000 | #Constraints:      60266
552.19/553.75	c #Conflicts:     424000 | #Constraints:      61266
552.19/553.75	c #Conflicts:     425000 | #Constraints:      62266
552.19/553.75	c #Conflicts:     426000 | #Constraints:      63266
552.19/553.75	c #Conflicts:     427000 | #Constraints:      64266
552.19/553.75	c #Conflicts:     428000 | #Constraints:      65266
552.19/553.75	c #Conflicts:     429000 | #Constraints:      66266
552.19/553.75	c #Conflicts:     430000 | #Constraints:      67266
552.19/553.75	c #Conflicts:     431000 | #Constraints:      68266
552.19/553.75	c #Conflicts:     432000 | #Constraints:      69266
552.19/553.75	c #Conflicts:     433000 | #Constraints:      70266
552.19/553.75	c #Conflicts:     434000 | #Constraints:      71266
564.35/565.98	c #Conflicts:     435000 | #Constraints:      72266
564.35/565.98	c #Conflicts:     436000 | #Constraints:      73266
564.35/565.98	c #Conflicts:     437000 | #Constraints:      74266
564.35/565.98	c #Conflicts:     438000 | #Constraints:      75266
564.35/565.98	c INPROCESSING
564.35/565.98	c GARBAGE COLLECT
564.35/565.98	c rational objective 0
695.56/697.50	c #Conflicts:     439000 | #Constraints:      42176
695.56/697.50	c #Conflicts:     440000 | #Constraints:      43176
695.56/697.50	c #Conflicts:     441000 | #Constraints:      44176
695.56/697.50	c #Conflicts:     442000 | #Constraints:      45176
695.56/697.50	c #Conflicts:     443000 | #Constraints:      46176
695.56/697.50	c #Conflicts:     444000 | #Constraints:      47176
695.56/697.50	c #Conflicts:     445000 | #Constraints:      48176
695.56/697.50	c #Conflicts:     446000 | #Constraints:      49176
695.56/697.50	c #Conflicts:     447000 | #Constraints:      50176
695.56/697.50	c #Conflicts:     448000 | #Constraints:      51176
695.56/697.50	c #Conflicts:     449000 | #Constraints:      52176
695.56/697.50	c #Conflicts:     450000 | #Constraints:      53176
695.56/697.50	c #Conflicts:     451000 | #Constraints:      54176
695.56/697.50	c #Conflicts:     452000 | #Constraints:      55176
695.56/697.50	c #Conflicts:     453000 | #Constraints:      56176
695.56/697.50	c #Conflicts:     454000 | #Constraints:      57176
695.56/697.50	c #Conflicts:     455000 | #Constraints:      58176
695.56/697.50	c INPROCESSING
695.56/697.50	c GARBAGE COLLECT
695.56/697.50	c rational objective 0
1014.74/1017.50	c #Conflicts:     456000 | #Constraints:      33787
1014.74/1017.50	c #Conflicts:     457000 | #Constraints:      34787
1014.74/1017.50	c #Conflicts:     458000 | #Constraints:      35787
1014.74/1017.50	c #Conflicts:     459000 | #Constraints:      36787
1014.74/1017.50	c #Conflicts:     460000 | #Constraints:      37787
1014.74/1017.50	c #Conflicts:     461000 | #Constraints:      38787
1014.74/1017.50	c #Conflicts:     462000 | #Constraints:      39787
1014.74/1017.50	c #Conflicts:     463000 | #Constraints:      40787
1014.74/1017.50	c #Conflicts:     464000 | #Constraints:      41787
1014.74/1017.50	c #Conflicts:     465000 | #Constraints:      42787
1014.74/1017.50	c #Conflicts:     466000 | #Constraints:      43787
1014.74/1017.50	c #Conflicts:     467000 | #Constraints:      44787
1014.74/1017.50	c #Conflicts:     468000 | #Constraints:      45787
1014.74/1017.50	c #Conflicts:     469000 | #Constraints:      46787
1014.74/1017.50	c #Conflicts:     470000 | #Constraints:      47787
1014.74/1017.50	c #Conflicts:     471000 | #Constraints:      48787
1014.74/1017.50	c #Conflicts:     472000 | #Constraints:      49787
1014.74/1017.50	c #Conflicts:     473000 | #Constraints:      50787
1014.74/1017.50	c #Conflicts:     474000 | #Constraints:      51787
1014.74/1017.50	c #Conflicts:     475000 | #Constraints:      52787
1014.74/1017.50	c #Conflicts:     476000 | #Constraints:      53787
1014.74/1017.50	c #Conflicts:     477000 | #Constraints:      54787
1014.74/1017.50	c #Conflicts:     478000 | #Constraints:      55787
1014.74/1017.50	c #Conflicts:     479000 | #Constraints:      56787
1014.74/1017.50	c #Conflicts:     480000 | #Constraints:      57787
1014.74/1017.50	c #Conflicts:     481000 | #Constraints:      58787
1014.74/1017.50	c #Conflicts:     482000 | #Constraints:      59787
1014.74/1017.50	c #Conflicts:     483000 | #Constraints:      60787
1014.74/1017.50	c #Conflicts:     484000 | #Constraints:      61787
1014.74/1017.50	c #Conflicts:     485000 | #Constraints:      62787
1014.74/1017.50	c #Conflicts:     486000 | #Constraints:      63787
1014.74/1017.50	c #Conflicts:     487000 | #Constraints:      64787
1014.74/1017.50	c #Conflicts:     488000 | #Constraints:      65787
1014.74/1017.50	c #Conflicts:     489000 | #Constraints:      66787
1014.74/1017.50	c #Conflicts:     490000 | #Constraints:      67787
1014.74/1017.50	c #Conflicts:     491000 | #Constraints:      68787
1014.74/1017.50	c #Conflicts:     492000 | #Constraints:      69787
1014.74/1017.50	c #Conflicts:     493000 | #Constraints:      70787
1014.74/1017.50	c #Conflicts:     494000 | #Constraints:      71787
1014.74/1017.50	c #Conflicts:     495000 | #Constraints:      72787
1014.74/1017.50	c #Conflicts:     496000 | #Constraints:      73787
1014.74/1017.50	c #Conflicts:     497000 | #Constraints:      74787
1014.74/1017.50	c #Conflicts:     498000 | #Constraints:      75787
1014.74/1017.50	c #Conflicts:     499000 | #Constraints:      76787
1014.74/1017.50	c #Conflicts:     500000 | #Constraints:      77787
1014.74/1017.50	c #Conflicts:     501000 | #Constraints:      78787
1014.74/1017.50	c #Conflicts:     502000 | #Constraints:      79787
1014.74/1017.50	c #Conflicts:     503000 | #Constraints:      80787
1014.74/1017.50	c #Conflicts:     504000 | #Constraints:      81787
1014.74/1017.50	c INPROCESSING
1014.74/1017.50	c GARBAGE COLLECT
1014.74/1017.50	c rational objective 1.22008e-13
1044.36/1047.22	c #Conflicts:     505000 | #Constraints:      45940
1044.36/1047.22	c #Conflicts:     506000 | #Constraints:      46940
1044.36/1047.22	c #Conflicts:     507000 | #Constraints:      47940
1044.36/1047.22	c #Conflicts:     508000 | #Constraints:      48940
1044.36/1047.22	c #Conflicts:     509000 | #Constraints:      49940
1044.36/1047.22	c #Conflicts:     510000 | #Constraints:      50940
1044.36/1047.22	c #Conflicts:     511000 | #Constraints:      51940
1044.36/1047.22	c #Conflicts:     512000 | #Constraints:      52940
1044.36/1047.22	c #Conflicts:     513000 | #Constraints:      53941
1044.36/1047.22	c #Conflicts:     514000 | #Constraints:      54941
1044.36/1047.22	c #Conflicts:     515000 | #Constraints:      55941
1044.36/1047.22	c #Conflicts:     516000 | #Constraints:      56941
1044.36/1047.22	c #Conflicts:     517000 | #Constraints:      57941
1044.36/1047.22	c #Conflicts:     518000 | #Constraints:      58941
1044.36/1047.22	c #Conflicts:     519000 | #Constraints:      59941
1044.36/1047.22	c #Conflicts:     520000 | #Constraints:      60941
1044.36/1047.22	c #Conflicts:     521000 | #Constraints:      61941
1044.36/1047.22	c #Conflicts:     522000 | #Constraints:      62941
1044.36/1047.22	c INPROCESSING
1044.36/1047.22	c GARBAGE COLLECT
1044.36/1047.22	c rational objective 1.22008e-13
1186.05/1189.36	c #Conflicts:     523000 | #Constraints:      36516
1186.05/1189.36	c #Conflicts:     524000 | #Constraints:      37516
1186.05/1189.36	c #Conflicts:     525000 | #Constraints:      38516
1186.05/1189.36	c #Conflicts:     526000 | #Constraints:      39516
1186.05/1189.36	c #Conflicts:     527000 | #Constraints:      40516
1186.05/1189.36	c #Conflicts:     528000 | #Constraints:      41516
1186.05/1189.36	c #Conflicts:     529000 | #Constraints:      42516
1186.05/1189.36	c #Conflicts:     530000 | #Constraints:      43516
1186.05/1189.36	c #Conflicts:     531000 | #Constraints:      44516
1186.05/1189.36	c #Conflicts:     532000 | #Constraints:      45516
1186.05/1189.36	c #Conflicts:     533000 | #Constraints:      46516
1186.05/1189.36	c #Conflicts:     534000 | #Constraints:      47516
1186.05/1189.36	c #Conflicts:     535000 | #Constraints:      48516
1186.05/1189.36	c #Conflicts:     536000 | #Constraints:      49516
1186.05/1189.36	c #Conflicts:     537000 | #Constraints:      50516
1186.05/1189.36	c #Conflicts:     538000 | #Constraints:      51516
1186.05/1189.36	c #Conflicts:     539000 | #Constraints:      52516
1186.05/1189.36	c #Conflicts:     540000 | #Constraints:      53516
1186.05/1189.36	c #Conflicts:     541000 | #Constraints:      54516
1186.05/1189.36	c #Conflicts:     542000 | #Constraints:      55516
1186.05/1189.36	c #Conflicts:     543000 | #Constraints:      56516
1186.05/1189.36	c #Conflicts:     544000 | #Constraints:      57516
1186.05/1189.36	c #Conflicts:     545000 | #Constraints:      58516
1186.05/1189.36	c #Conflicts:     546000 | #Constraints:      59516
1186.05/1189.36	c #Conflicts:     547000 | #Constraints:      60516
1186.05/1189.36	c #Conflicts:     548000 | #Constraints:      61516
1186.05/1189.36	c #Conflicts:     549000 | #Constraints:      62516
1186.05/1189.36	c #Conflicts:     550000 | #Constraints:      63516
1186.05/1189.36	c #Conflicts:     551000 | #Constraints:      64516
1186.05/1189.36	c #Conflicts:     552000 | #Constraints:      65516
1186.05/1189.36	c #Conflicts:     553000 | #Constraints:      66516
1186.05/1189.36	c #Conflicts:     554000 | #Constraints:      67516
1186.05/1189.36	c #Conflicts:     555000 | #Constraints:      68516
1186.05/1189.36	c #Conflicts:     556000 | #Constraints:      69516
1186.05/1189.36	c #Conflicts:     557000 | #Constraints:      70516
1186.05/1189.36	c #Conflicts:     558000 | #Constraints:      71516
1186.05/1189.36	c #Conflicts:     559000 | #Constraints:      72516
1186.05/1189.36	c #Conflicts:     560000 | #Constraints:      73516
1186.05/1189.36	c #Conflicts:     561000 | #Constraints:      74516
1186.05/1189.36	c #Conflicts:     562000 | #Constraints:      75516
1186.05/1189.36	c #Conflicts:     563000 | #Constraints:      76516
1186.05/1189.36	c #Conflicts:     564000 | #Constraints:      77516
1186.05/1189.36	c #Conflicts:     565000 | #Constraints:      78516
1186.05/1189.36	c #Conflicts:     566000 | #Constraints:      79516
1186.05/1189.36	c #Conflicts:     567000 | #Constraints:      80516
1186.05/1189.36	c #Conflicts:     568000 | #Constraints:      81516
1186.05/1189.36	c #Conflicts:     569000 | #Constraints:      82516
1186.05/1189.36	c #Conflicts:     570000 | #Constraints:      83516
1186.05/1189.36	c #Conflicts:     571000 | #Constraints:      84516
1186.05/1189.36	c #Conflicts:     572000 | #Constraints:      85516
1186.05/1189.36	c #Conflicts:     573000 | #Constraints:      86516
1186.05/1189.36	c INPROCESSING
1186.05/1189.36	c GARBAGE COLLECT
1186.05/1189.36	c #Conflicts:     574000 | #Constraints:      48130
1186.05/1189.36	c #Conflicts:     575000 | #Constraints:      49130
1186.05/1189.36	c #Conflicts:     576000 | #Constraints:      50130
1186.05/1189.36	c #Conflicts:     577000 | #Constraints:      51130
1186.05/1189.36	c #Conflicts:     578000 | #Constraints:      52130
1186.05/1189.36	c #Conflicts:     579000 | #Constraints:      53130
1186.05/1189.36	c #Conflicts:     580000 | #Constraints:      54130
1186.05/1189.36	c #Conflicts:     581000 | #Constraints:      55130
1186.05/1189.36	c #Conflicts:     582000 | #Constraints:      56130
1186.05/1189.36	c #Conflicts:     583000 | #Constraints:      57130
1186.05/1189.36	c #Conflicts:     584000 | #Constraints:      58130
1186.05/1189.36	c #Conflicts:     585000 | #Constraints:      59130
1186.05/1189.36	c #Conflicts:     586000 | #Constraints:      60130
1186.05/1189.36	c #Conflicts:     587000 | #Constraints:      61130
1186.05/1189.36	c #Conflicts:     588000 | #Constraints:      62130
1186.05/1189.36	c #Conflicts:     589000 | #Constraints:      63130
1186.05/1189.36	c #Conflicts:     590000 | #Constraints:      64130
1186.05/1189.36	c #Conflicts:     591000 | #Constraints:      65130
1186.05/1189.36	c #Conflicts:     592000 | #Constraints:      66130
1186.05/1189.36	c INPROCESSING
1186.05/1189.36	c GARBAGE COLLECT
1186.05/1189.36	c #Conflicts:     593000 | #Constraints:      37772
1186.05/1189.36	c #Conflicts:     594000 | #Constraints:      38772
1186.05/1189.36	c #Conflicts:     595000 | #Constraints:      39772
1186.05/1189.36	c #Conflicts:     596000 | #Constraints:      40772
1186.05/1189.36	c #Conflicts:     597000 | #Constraints:      41772
1186.05/1189.36	c #Conflicts:     598000 | #Constraints:      42772
1186.05/1189.36	c #Conflicts:     599000 | #Constraints:      43772
1186.05/1189.36	c #Conflicts:     600000 | #Constraints:      44772
1376.70/1380.53	c #Conflicts:     601000 | #Constraints:      45772
1376.70/1380.53	c #Conflicts:     602000 | #Constraints:      46772
1376.70/1380.53	c #Conflicts:     603000 | #Constraints:      47772
1376.70/1380.53	c #Conflicts:     604000 | #Constraints:      48772
1376.70/1380.53	c #Conflicts:     605000 | #Constraints:      49772
1376.70/1380.53	c #Conflicts:     606000 | #Constraints:      50772
1376.70/1380.53	c #Conflicts:     607000 | #Constraints:      51772
1376.70/1380.53	c #Conflicts:     608000 | #Constraints:      52772
1376.70/1380.53	c #Conflicts:     609000 | #Constraints:      53772
1376.70/1380.53	c #Conflicts:     610000 | #Constraints:      54772
1376.70/1380.53	c #Conflicts:     611000 | #Constraints:      55772
1376.70/1380.53	c #Conflicts:     612000 | #Constraints:      56772
1376.70/1380.53	c #Conflicts:     613000 | #Constraints:      57772
1376.70/1380.53	c #Conflicts:     614000 | #Constraints:      58772
1376.70/1380.53	c #Conflicts:     615000 | #Constraints:      59772
1376.70/1380.53	c #Conflicts:     616000 | #Constraints:      60772
1376.70/1380.53	c #Conflicts:     617000 | #Constraints:      61772
1376.70/1380.53	c #Conflicts:     618000 | #Constraints:      62772
1376.70/1380.53	c #Conflicts:     619000 | #Constraints:      63772
1376.70/1380.53	c #Conflicts:     620000 | #Constraints:      64772
1376.70/1380.53	c #Conflicts:     621000 | #Constraints:      65772
1376.70/1380.53	c #Conflicts:     622000 | #Constraints:      66772
1376.70/1380.53	c #Conflicts:     623000 | #Constraints:      67772
1376.70/1380.53	c #Conflicts:     624000 | #Constraints:      68772
1376.70/1380.53	c #Conflicts:     625000 | #Constraints:      69772
1376.70/1380.53	c #Conflicts:     626000 | #Constraints:      70772
1376.70/1380.53	c #Conflicts:     627000 | #Constraints:      71772
1376.70/1380.53	c #Conflicts:     628000 | #Constraints:      72772
1376.70/1380.53	c #Conflicts:     629000 | #Constraints:      73772
1376.70/1380.53	c #Conflicts:     630000 | #Constraints:      74772
1376.70/1380.53	c #Conflicts:     631000 | #Constraints:      75772
1376.70/1380.53	c #Conflicts:     632000 | #Constraints:      76772
1376.70/1380.53	c #Conflicts:     633000 | #Constraints:      77772
1376.70/1380.53	c #Conflicts:     634000 | #Constraints:      78772
1376.70/1380.53	c #Conflicts:     635000 | #Constraints:      79772
1376.70/1380.53	c #Conflicts:     636000 | #Constraints:      80772
1376.70/1380.53	c #Conflicts:     637000 | #Constraints:      81772
1376.70/1380.53	c #Conflicts:     638000 | #Constraints:      82772
1376.70/1380.53	c #Conflicts:     639000 | #Constraints:      83772
1376.70/1380.53	c #Conflicts:     640000 | #Constraints:      84772
1376.70/1380.53	c #Conflicts:     641000 | #Constraints:      85772
1376.70/1380.53	c #Conflicts:     642000 | #Constraints:      86772
1376.70/1380.53	c #Conflicts:     643000 | #Constraints:      87772
1376.70/1380.53	c #Conflicts:     644000 | #Constraints:      88772
1376.70/1380.53	c #Conflicts:     645000 | #Constraints:      89772
1376.70/1380.53	c #Conflicts:     646000 | #Constraints:      90772
1376.70/1380.53	c #Conflicts:     647000 | #Constraints:      91772
1376.70/1380.53	c INPROCESSING
1376.70/1380.53	c GARBAGE COLLECT
1376.70/1380.53	c rational objective -1.22008e-13
1402.82/1406.78	c #Conflicts:     648000 | #Constraints:      50741
1402.82/1406.78	c #Conflicts:     649000 | #Constraints:      51741
1402.82/1406.78	c #Conflicts:     650000 | #Constraints:      52741
1402.82/1406.78	c #Conflicts:     651000 | #Constraints:      53741
1402.82/1406.78	c #Conflicts:     652000 | #Constraints:      54741
1402.82/1406.78	c #Conflicts:     653000 | #Constraints:      55741
1402.82/1406.78	c #Conflicts:     654000 | #Constraints:      56741
1402.82/1406.78	c #Conflicts:     655000 | #Constraints:      57741
1402.82/1406.78	c #Conflicts:     656000 | #Constraints:      58741
1402.82/1406.78	c #Conflicts:     657000 | #Constraints:      59741
1402.82/1406.78	c #Conflicts:     658000 | #Constraints:      60741
1402.82/1406.78	c #Conflicts:     659000 | #Constraints:      61741
1402.82/1406.78	c #Conflicts:     660000 | #Constraints:      62741
1402.82/1406.78	c #Conflicts:     661000 | #Constraints:      63742
1402.82/1406.78	c #Conflicts:     662000 | #Constraints:      64742
1402.82/1406.78	c #Conflicts:     663000 | #Constraints:      65742
1402.82/1406.78	c #Conflicts:     664000 | #Constraints:      66742
1402.82/1406.78	c #Conflicts:     665000 | #Constraints:      67742
1402.82/1406.78	c #Conflicts:     666000 | #Constraints:      68742
1402.82/1406.78	c #Conflicts:     667000 | #Constraints:      69742
1402.82/1406.78	c #Conflicts:     668000 | #Constraints:      70742
1402.82/1406.78	c INPROCESSING
1402.82/1406.78	c GARBAGE COLLECT
1402.82/1406.78	c rational objective -1.22008e-13
1655.21/1659.81	c #Conflicts:     669000 | #Constraints:      40523
1655.21/1659.81	c #Conflicts:     670000 | #Constraints:      41523
1655.21/1659.81	c #Conflicts:     671000 | #Constraints:      42523
1655.21/1659.81	c #Conflicts:     672000 | #Constraints:      43523
1655.21/1659.81	c #Conflicts:     673000 | #Constraints:      44523
1655.21/1659.81	c #Conflicts:     674000 | #Constraints:      45523
1655.21/1659.81	c #Conflicts:     675000 | #Constraints:      46523
1655.21/1659.81	c #Conflicts:     676000 | #Constraints:      47523
1655.21/1659.81	c #Conflicts:     677000 | #Constraints:      48523
1655.21/1659.81	c #Conflicts:     678000 | #Constraints:      49523
1655.21/1659.81	c #Conflicts:     679000 | #Constraints:      50523
1655.21/1659.81	c #Conflicts:     680000 | #Constraints:      51523
1655.21/1659.81	c #Conflicts:     681000 | #Constraints:      52523
1655.21/1659.81	c #Conflicts:     682000 | #Constraints:      53523
1655.21/1659.81	c #Conflicts:     683000 | #Constraints:      54523
1655.21/1659.81	c #Conflicts:     684000 | #Constraints:      55523
1655.21/1659.81	c #Conflicts:     685000 | #Constraints:      56524
1655.21/1659.81	c #Conflicts:     686000 | #Constraints:      57524
1655.21/1659.81	c #Conflicts:     687000 | #Constraints:      58524
1655.21/1659.81	c #Conflicts:     688000 | #Constraints:      59524
1655.21/1659.81	c #Conflicts:     689000 | #Constraints:      60524
1655.21/1659.81	c #Conflicts:     690000 | #Constraints:      61524
1655.21/1659.81	c #Conflicts:     691000 | #Constraints:      62524
1655.21/1659.81	c #Conflicts:     692000 | #Constraints:      63524
1655.21/1659.81	c #Conflicts:     693000 | #Constraints:      64524
1655.21/1659.81	c #Conflicts:     694000 | #Constraints:      65524
1655.21/1659.81	c #Conflicts:     695000 | #Constraints:      66524
1655.21/1659.81	c #Conflicts:     696000 | #Constraints:      67524
1655.21/1659.81	c #Conflicts:     697000 | #Constraints:      68524
1655.21/1659.81	c #Conflicts:     698000 | #Constraints:      69524
1655.21/1659.81	c #Conflicts:     699000 | #Constraints:      70524
1655.21/1659.81	c #Conflicts:     700000 | #Constraints:      71524
1655.21/1659.81	c #Conflicts:     701000 | #Constraints:      72524
1655.21/1659.81	c #Conflicts:     702000 | #Constraints:      73524
1655.21/1659.81	c #Conflicts:     703000 | #Constraints:      74524
1655.21/1659.81	c #Conflicts:     704000 | #Constraints:      75524
1655.21/1659.81	c #Conflicts:     705000 | #Constraints:      76524
1655.21/1659.81	c #Conflicts:     706000 | #Constraints:      77524
1655.21/1659.81	c #Conflicts:     707000 | #Constraints:      78524
1655.21/1659.81	c #Conflicts:     708000 | #Constraints:      79524
1655.21/1659.81	c #Conflicts:     709000 | #Constraints:      80524
1655.21/1659.81	c #Conflicts:     710000 | #Constraints:      81524
1655.21/1659.81	c #Conflicts:     711000 | #Constraints:      82524
1655.21/1659.81	c #Conflicts:     712000 | #Constraints:      83524
1655.21/1659.81	c #Conflicts:     713000 | #Constraints:      84524
1655.21/1659.81	c #Conflicts:     714000 | #Constraints:      85524
1655.21/1659.81	c #Conflicts:     715000 | #Constraints:      86524
1655.21/1659.81	c #Conflicts:     716000 | #Constraints:      87524
1655.21/1659.81	c #Conflicts:     717000 | #Constraints:      88524
1655.21/1659.81	c #Conflicts:     718000 | #Constraints:      89524
1655.21/1659.81	c #Conflicts:     719000 | #Constraints:      90524
1655.21/1659.81	c #Conflicts:     720000 | #Constraints:      91524
1655.21/1659.81	c #Conflicts:     721000 | #Constraints:      92524
1655.21/1659.81	c #Conflicts:     722000 | #Constraints:      93524
1655.21/1659.81	c #Conflicts:     723000 | #Constraints:      94524
1655.21/1659.81	c #Conflicts:     724000 | #Constraints:      95524
1655.21/1659.81	c #Conflicts:     725000 | #Constraints:      96524
1655.21/1659.81	c INPROCESSING
1655.21/1659.81	c GARBAGE COLLECT
1655.21/1659.81	c #Conflicts:     726000 | #Constraints:      52947
1655.21/1659.81	c #Conflicts:     727000 | #Constraints:      53947
1655.21/1659.81	c #Conflicts:     728000 | #Constraints:      54947
1655.21/1659.81	c #Conflicts:     729000 | #Constraints:      55947
1655.21/1659.81	c #Conflicts:     730000 | #Constraints:      56947
1655.21/1659.81	c #Conflicts:     731000 | #Constraints:      57947
1655.21/1659.81	c #Conflicts:     732000 | #Constraints:      58947
1655.21/1659.81	c #Conflicts:     733000 | #Constraints:      59947
1655.21/1659.81	c #Conflicts:     734000 | #Constraints:      60947
1655.21/1659.81	c #Conflicts:     735000 | #Constraints:      61947
1655.21/1659.81	c #Conflicts:     736000 | #Constraints:      62947
1655.21/1659.81	c #Conflicts:     737000 | #Constraints:      63947
1655.21/1659.81	c #Conflicts:     738000 | #Constraints:      64947
1655.21/1659.81	c #Conflicts:     739000 | #Constraints:      65947
1655.21/1659.81	c #Conflicts:     740000 | #Constraints:      66947
1655.21/1659.81	c #Conflicts:     741000 | #Constraints:      67947
1655.21/1659.81	c #Conflicts:     742000 | #Constraints:      68947
1655.21/1659.81	c #Conflicts:     743000 | #Constraints:      69947
1655.21/1659.81	c #Conflicts:     744000 | #Constraints:      70947
1655.21/1659.81	c #Conflicts:     745000 | #Constraints:      71947
1655.21/1659.81	c #Conflicts:     746000 | #Constraints:      72947
1655.21/1659.81	c #Conflicts:     747000 | #Constraints:      73947
1657.01/1661.64	c INPROCESSING
1657.01/1661.64	c GARBAGE COLLECT
1657.01/1661.64	c rational objective 0
1799.92/1804.91	c #Conflicts:     748000 | #Constraints:      41731
1799.92/1804.91	c #Conflicts:     749000 | #Constraints:      42731
1799.92/1804.91	c #Conflicts:     750000 | #Constraints:      43731
1799.92/1804.91	c #Conflicts:     751000 | #Constraints:      44731
1799.92/1804.91	c #Conflicts:     752000 | #Constraints:      45731
1799.92/1804.91	c #Conflicts:     753000 | #Constraints:      46731
1799.92/1804.91	c #Conflicts:     754000 | #Constraints:      47731
1799.92/1804.91	c #Conflicts:     755000 | #Constraints:      48731
1799.92/1804.91	c #Conflicts:     756000 | #Constraints:      49731
1799.92/1804.91	c #Conflicts:     757000 | #Constraints:      50731
1799.92/1804.91	c #Conflicts:     758000 | #Constraints:      51731
1799.92/1804.91	c #Conflicts:     759000 | #Constraints:      52731
1799.92/1804.91	c #Conflicts:     760000 | #Constraints:      53731
1799.92/1804.91	c #Conflicts:     761000 | #Constraints:      54731
1799.92/1804.91	c #Conflicts:     762000 | #Constraints:      55731
1799.92/1804.91	c #Conflicts:     763000 | #Constraints:      56731
1799.92/1804.91	c #Conflicts:     764000 | #Constraints:      57731
1799.92/1804.91	c #Conflicts:     765000 | #Constraints:      58731
1799.92/1804.91	c #Conflicts:     766000 | #Constraints:      59731
1799.92/1804.91	c #Conflicts:     767000 | #Constraints:      60731
1799.92/1804.91	c #Conflicts:     768000 | #Constraints:      61731
1799.92/1804.91	c #Conflicts:     769000 | #Constraints:      62731
1799.92/1804.91	c #Conflicts:     770000 | #Constraints:      63731
1799.92/1804.91	c #Conflicts:     771000 | #Constraints:      64731
1799.92/1804.91	c #Conflicts:     772000 | #Constraints:      65731
1799.92/1804.91	c #Conflicts:     773000 | #Constraints:      66731
1799.92/1804.91	c #Conflicts:     774000 | #Constraints:      67731
1799.92/1804.91	c #Conflicts:     775000 | #Constraints:      68731
1799.92/1804.91	c #Conflicts:     776000 | #Constraints:      69731
1799.92/1804.91	c #Conflicts:     777000 | #Constraints:      70731
1799.92/1804.91	c #Conflicts:     778000 | #Constraints:      71731
1799.92/1804.91	c #Conflicts:     779000 | #Constraints:      72731
1799.92/1804.91	c #Conflicts:     780000 | #Constraints:      73731
1799.92/1804.91	c #Conflicts:     781000 | #Constraints:      74731
1799.92/1804.91	c #Conflicts:     782000 | #Constraints:      75731
1799.92/1804.91	c #Conflicts:     783000 | #Constraints:      76731
1799.92/1804.91	c #Conflicts:     784000 | #Constraints:      77731
1799.92/1804.91	c #Conflicts:     785000 | #Constraints:      78731
1799.92/1804.91	c #Conflicts:     786000 | #Constraints:      79731
1799.92/1804.91	c #Conflicts:     787000 | #Constraints:      80731
1799.92/1804.91	c #Conflicts:     788000 | #Constraints:      81731
1799.92/1804.91	c #Conflicts:     789000 | #Constraints:      82731
1799.92/1804.91	c #Conflicts:     790000 | #Constraints:      83731
1799.92/1804.91	c #Conflicts:     791000 | #Constraints:      84731
1799.92/1804.91	c #Conflicts:     792000 | #Constraints:      85731
1799.92/1804.91	c #Conflicts:     793000 | #Constraints:      86731
1799.92/1804.91	c #Conflicts:     794000 | #Constraints:      87731
1799.92/1804.91	c #Conflicts:     795000 | #Constraints:      88731
1799.92/1804.91	c #Conflicts:     796000 | #Constraints:      89731
1799.92/1804.91	c #Conflicts:     797000 | #Constraints:      90731
1799.92/1804.91	c #Conflicts:     798000 | #Constraints:      91731
1799.92/1804.91	c #Conflicts:     799000 | #Constraints:      92731
1799.92/1804.91	c #Conflicts:     800000 | #Constraints:      93731
1799.92/1804.91	c #Conflicts:     801000 | #Constraints:      94731
1799.92/1804.91	c #Conflicts:     802000 | #Constraints:      95732
1799.92/1804.91	c #Conflicts:     803000 | #Constraints:      96732
1799.92/1804.91	c #Conflicts:     804000 | #Constraints:      97732
1799.92/1804.91	c #Conflicts:     805000 | #Constraints:      98732
1799.92/1804.91	c #Conflicts:     806000 | #Constraints:      99732
1799.92/1804.91	c #Conflicts:     807000 | #Constraints:     100732
1799.92/1804.91	c #Conflicts:     808000 | #Constraints:     101732
1799.92/1804.91	c INPROCESSING
1799.92/1804.91	c GARBAGE COLLECT
1799.92/1804.91	c #Conflicts:     809000 | #Constraints:      55901
1799.92/1804.91	c #Conflicts:     810000 | #Constraints:      56901
1799.92/1804.91	c #Conflicts:     811000 | #Constraints:      57901
1799.92/1804.91	c #Conflicts:     812000 | #Constraints:      58901
1799.92/1804.91	c #Conflicts:     813000 | #Constraints:      59901
1799.92/1804.91	c #Conflicts:     814000 | #Constraints:      60901
1799.92/1804.91	c #Conflicts:     815000 | #Constraints:      61901
1799.92/1804.91	c #Conflicts:     816000 | #Constraints:      62901
1799.92/1804.91	c #Conflicts:     817000 | #Constraints:      63901
1799.92/1804.91	c #Conflicts:     818000 | #Constraints:      64901
1799.92/1804.91	c #Conflicts:     819000 | #Constraints:      65901
1799.92/1804.91	c #Conflicts:     820000 | #Constraints:      66901
1799.92/1804.91	c #Conflicts:     821000 | #Constraints:      67901
1799.92/1804.91	c #Conflicts:     822000 | #Constraints:      68901
1799.92/1804.91	c #Conflicts:     823000 | #Constraints:      69901
1799.92/1804.91	c #Conflicts:     824000 | #Constraints:      70901
1799.92/1804.91	c #Conflicts:     825000 | #Constraints:      71901
1799.92/1804.91	c #Conflicts:     826000 | #Constraints:      72901
1971.51/1976.98	c #Conflicts:     827000 | #Constraints:      73901
1971.51/1976.98	c #Conflicts:     828000 | #Constraints:      74901
1971.51/1976.98	c #Conflicts:     829000 | #Constraints:      75901
1971.51/1976.98	c #Conflicts:     830000 | #Constraints:      76901
1971.51/1976.98	c #Conflicts:     831000 | #Constraints:      77901
1971.51/1976.98	c INPROCESSING
1971.51/1976.98	c GARBAGE COLLECT
1971.51/1976.98	c #Conflicts:     832000 | #Constraints:      44093
1971.51/1976.98	c #Conflicts:     833000 | #Constraints:      45093
1971.51/1976.98	c #Conflicts:     834000 | #Constraints:      46093
1971.51/1976.98	c #Conflicts:     835000 | #Constraints:      47093
1971.51/1976.98	c #Conflicts:     836000 | #Constraints:      48093
1971.51/1976.98	c #Conflicts:     837000 | #Constraints:      49093
1971.51/1976.98	c #Conflicts:     838000 | #Constraints:      50093
1971.51/1976.98	c #Conflicts:     839000 | #Constraints:      51093
1971.51/1976.98	c #Conflicts:     840000 | #Constraints:      52093
1971.51/1976.98	c #Conflicts:     841000 | #Constraints:      53093
1971.51/1976.98	c #Conflicts:     842000 | #Constraints:      54093
1971.51/1976.98	c #Conflicts:     843000 | #Constraints:      55093
1971.51/1976.98	c #Conflicts:     844000 | #Constraints:      56093
1971.51/1976.98	c #Conflicts:     845000 | #Constraints:      57093
1971.51/1976.98	c #Conflicts:     846000 | #Constraints:      58093
1971.51/1976.98	c #Conflicts:     847000 | #Constraints:      59093
1971.51/1976.98	c #Conflicts:     848000 | #Constraints:      60093
1971.51/1976.98	c #Conflicts:     849000 | #Constraints:      61093
1971.51/1976.98	c #Conflicts:     850000 | #Constraints:      62093
1971.51/1976.98	c #Conflicts:     851000 | #Constraints:      63093
1971.51/1976.98	c #Conflicts:     852000 | #Constraints:      64093
1971.51/1976.98	c #Conflicts:     853000 | #Constraints:      65093
1971.51/1976.98	c #Conflicts:     854000 | #Constraints:      66093
1971.51/1976.98	c #Conflicts:     855000 | #Constraints:      67093
1971.51/1976.98	c #Conflicts:     856000 | #Constraints:      68093
1971.51/1976.98	c #Conflicts:     857000 | #Constraints:      69093
1971.51/1976.98	c #Conflicts:     858000 | #Constraints:      70093
1971.51/1976.98	c #Conflicts:     859000 | #Constraints:      71093
1971.51/1976.98	c #Conflicts:     860000 | #Constraints:      72093
1971.51/1976.98	c #Conflicts:     861000 | #Constraints:      73093
1971.51/1976.98	c #Conflicts:     862000 | #Constraints:      74093
1971.51/1976.98	c #Conflicts:     863000 | #Constraints:      75093
1971.51/1976.98	c #Conflicts:     864000 | #Constraints:      76093
1971.51/1976.98	c #Conflicts:     865000 | #Constraints:      77093
1971.51/1976.98	c #Conflicts:     866000 | #Constraints:      78093
1971.51/1976.98	c #Conflicts:     867000 | #Constraints:      79093
1971.51/1976.98	c #Conflicts:     868000 | #Constraints:      80093
1971.51/1976.98	c #Conflicts:     869000 | #Constraints:      81093
1971.51/1976.98	c #Conflicts:     870000 | #Constraints:      82093
1971.51/1976.98	c #Conflicts:     871000 | #Constraints:      83093
1971.51/1976.98	c #Conflicts:     872000 | #Constraints:      84093
1971.51/1976.98	c #Conflicts:     873000 | #Constraints:      85093
1971.51/1976.98	c #Conflicts:     874000 | #Constraints:      86093
1971.51/1976.98	c #Conflicts:     875000 | #Constraints:      87093
1971.51/1976.98	c #Conflicts:     876000 | #Constraints:      88094
1971.51/1976.98	c #Conflicts:     877000 | #Constraints:      89094
1971.51/1976.98	c #Conflicts:     878000 | #Constraints:      90094
1971.51/1976.98	c #Conflicts:     879000 | #Constraints:      91094
1971.51/1976.98	c #Conflicts:     880000 | #Constraints:      92094
1971.51/1976.98	c #Conflicts:     881000 | #Constraints:      93094
1971.51/1976.98	c #Conflicts:     882000 | #Constraints:      94094
1971.51/1976.98	c #Conflicts:     883000 | #Constraints:      95094
1971.51/1976.98	c #Conflicts:     884000 | #Constraints:      96094
1971.51/1976.98	c #Conflicts:     885000 | #Constraints:      97094
1971.51/1976.98	c #Conflicts:     886000 | #Constraints:      98094
1971.51/1976.98	c #Conflicts:     887000 | #Constraints:      99094
1971.51/1976.98	c #Conflicts:     888000 | #Constraints:     100094
1971.51/1976.98	c #Conflicts:     889000 | #Constraints:     101094
1971.51/1976.98	c #Conflicts:     890000 | #Constraints:     102094
1971.51/1976.98	c #Conflicts:     891000 | #Constraints:     103094
1971.51/1976.98	c #Conflicts:     892000 | #Constraints:     104094
1971.51/1976.98	c #Conflicts:     893000 | #Constraints:     105094
1971.51/1976.98	c #Conflicts:     894000 | #Constraints:     106094
1971.51/1976.98	c #Conflicts:     895000 | #Constraints:     107094
1971.51/1976.98	c INPROCESSING
1971.51/1976.98	c GARBAGE COLLECT
1971.51/1976.98	c rational objective -1.22008e-13
2012.81/2018.36	c #Conflicts:     896000 | #Constraints:      58487
2012.81/2018.36	c #Conflicts:     897000 | #Constraints:      59487
2012.81/2018.36	c #Conflicts:     898000 | #Constraints:      60487
2012.81/2018.36	c #Conflicts:     899000 | #Constraints:      61487
2012.81/2018.36	c #Conflicts:     900000 | #Constraints:      62487
2012.81/2018.36	c #Conflicts:     901000 | #Constraints:      63487
2012.81/2018.36	c #Conflicts:     902000 | #Constraints:      64487
2012.81/2018.36	c #Conflicts:     903000 | #Constraints:      65487
2012.81/2018.36	c #Conflicts:     904000 | #Constraints:      66487
2012.81/2018.36	c #Conflicts:     905000 | #Constraints:      67487
2012.81/2018.36	c #Conflicts:     906000 | #Constraints:      68487
2012.81/2018.36	c #Conflicts:     907000 | #Constraints:      69487
2012.81/2018.36	c #Conflicts:     908000 | #Constraints:      70487
2012.81/2018.36	c #Conflicts:     909000 | #Constraints:      71487
2012.81/2018.36	c #Conflicts:     910000 | #Constraints:      72487
2012.81/2018.36	c #Conflicts:     911000 | #Constraints:      73487
2012.81/2018.36	c #Conflicts:     912000 | #Constraints:      74488
2012.81/2018.36	c #Conflicts:     913000 | #Constraints:      75488
2012.81/2018.36	c #Conflicts:     914000 | #Constraints:      76488
2012.81/2018.36	c #Conflicts:     915000 | #Constraints:      77488
2012.81/2018.36	c #Conflicts:     916000 | #Constraints:      78488
2012.81/2018.36	c #Conflicts:     917000 | #Constraints:      79488
2012.81/2018.36	c #Conflicts:     918000 | #Constraints:      80488
2012.81/2018.36	c #Conflicts:     919000 | #Constraints:      81488
2012.81/2018.36	c #Conflicts:     920000 | #Constraints:      82488
2012.81/2018.36	c INPROCESSING
2012.81/2018.36	c GARBAGE COLLECT
2012.81/2018.36	c rational objective -1.22008e-13
2408.25/2414.70	c #Conflicts:     921000 | #Constraints:      47490
2408.25/2414.70	c #Conflicts:     922000 | #Constraints:      48490
2408.25/2414.70	c #Conflicts:     923000 | #Constraints:      49490
2408.25/2414.70	c #Conflicts:     924000 | #Constraints:      50490
2408.25/2414.70	c #Conflicts:     925000 | #Constraints:      51490
2408.25/2414.70	c #Conflicts:     926000 | #Constraints:      52490
2408.25/2414.70	c #Conflicts:     927000 | #Constraints:      53490
2408.25/2414.70	c #Conflicts:     928000 | #Constraints:      54490
2408.25/2414.70	c #Conflicts:     929000 | #Constraints:      55490
2408.25/2414.70	c #Conflicts:     930000 | #Constraints:      56490
2408.25/2414.70	c #Conflicts:     931000 | #Constraints:      57490
2408.25/2414.70	c #Conflicts:     932000 | #Constraints:      58490
2408.25/2414.70	c #Conflicts:     933000 | #Constraints:      59490
2408.25/2414.70	c #Conflicts:     934000 | #Constraints:      60490
2408.25/2414.70	c #Conflicts:     935000 | #Constraints:      61490
2408.25/2414.70	c #Conflicts:     936000 | #Constraints:      62490
2408.25/2414.70	c #Conflicts:     937000 | #Constraints:      63490
2408.25/2414.70	c #Conflicts:     938000 | #Constraints:      64490
2408.25/2414.70	c #Conflicts:     939000 | #Constraints:      65490
2408.25/2414.70	c #Conflicts:     940000 | #Constraints:      66490
2408.25/2414.70	c #Conflicts:     941000 | #Constraints:      67490
2408.25/2414.70	c #Conflicts:     942000 | #Constraints:      68490
2408.25/2414.70	c #Conflicts:     943000 | #Constraints:      69490
2408.25/2414.70	c #Conflicts:     944000 | #Constraints:      70490
2408.25/2414.70	c #Conflicts:     945000 | #Constraints:      71490
2408.25/2414.70	c #Conflicts:     946000 | #Constraints:      72490
2408.25/2414.70	c #Conflicts:     947000 | #Constraints:      73490
2408.25/2414.70	c #Conflicts:     948000 | #Constraints:      74490
2408.25/2414.70	c #Conflicts:     949000 | #Constraints:      75490
2408.25/2414.70	c #Conflicts:     950000 | #Constraints:      76490
2408.25/2414.70	c #Conflicts:     951000 | #Constraints:      77490
2408.25/2414.70	c #Conflicts:     952000 | #Constraints:      78490
2408.25/2414.70	c #Conflicts:     953000 | #Constraints:      79490
2408.25/2414.70	c #Conflicts:     954000 | #Constraints:      80490
2408.25/2414.70	c #Conflicts:     955000 | #Constraints:      81490
2408.25/2414.70	c #Conflicts:     956000 | #Constraints:      82490
2408.25/2414.70	c #Conflicts:     957000 | #Constraints:      83490
2408.25/2414.70	c #Conflicts:     958000 | #Constraints:      84490
2408.25/2414.70	c #Conflicts:     959000 | #Constraints:      85490
2408.25/2414.70	c #Conflicts:     960000 | #Constraints:      86490
2408.25/2414.70	c #Conflicts:     961000 | #Constraints:      87490
2408.25/2414.70	c #Conflicts:     962000 | #Constraints:      88490
2408.25/2414.70	c #Conflicts:     963000 | #Constraints:      89490
2408.25/2414.70	c #Conflicts:     964000 | #Constraints:      90490
2408.25/2414.70	c #Conflicts:     965000 | #Constraints:      91490
2408.25/2414.70	c #Conflicts:     966000 | #Constraints:      92490
2408.25/2414.70	c #Conflicts:     967000 | #Constraints:      93490
2408.25/2414.70	c #Conflicts:     968000 | #Constraints:      94490
2408.25/2414.70	c #Conflicts:     969000 | #Constraints:      95490
2408.25/2414.70	c #Conflicts:     970000 | #Constraints:      96490
2408.25/2414.70	c #Conflicts:     971000 | #Constraints:      97491
2408.25/2414.70	c #Conflicts:     972000 | #Constraints:      98491
2408.25/2414.70	c #Conflicts:     973000 | #Constraints:      99491
2408.25/2414.70	c #Conflicts:     974000 | #Constraints:     100491
2408.25/2414.70	c #Conflicts:     975000 | #Constraints:     101491
2408.25/2414.70	c #Conflicts:     976000 | #Constraints:     102491
2408.25/2414.70	c #Conflicts:     977000 | #Constraints:     103491
2408.25/2414.70	c #Conflicts:     978000 | #Constraints:     104491
2408.25/2414.70	c #Conflicts:     979000 | #Constraints:     105491
2408.25/2414.70	c #Conflicts:     980000 | #Constraints:     106491
2408.25/2414.70	c #Conflicts:     981000 | #Constraints:     107491
2408.25/2414.70	c #Conflicts:     982000 | #Constraints:     108491
2408.25/2414.70	c #Conflicts:     983000 | #Constraints:     109491
2408.25/2414.70	c #Conflicts:     984000 | #Constraints:     110491
2408.25/2414.70	c #Conflicts:     985000 | #Constraints:     111491
2408.25/2414.70	c #Conflicts:     986000 | #Constraints:     112491
2408.25/2414.70	c #Conflicts:     987000 | #Constraints:     113491
2408.25/2414.70	c INPROCESSING
2408.25/2414.70	c GARBAGE COLLECT
2408.25/2414.70	c #Conflicts:     988000 | #Constraints:      62009
2408.25/2414.70	c #Conflicts:     989000 | #Constraints:      63009
2408.25/2414.70	c #Conflicts:     990000 | #Constraints:      64009
2408.25/2414.70	c #Conflicts:     991000 | #Constraints:      65009
2408.25/2414.70	c #Conflicts:     992000 | #Constraints:      66009
2408.25/2414.70	c #Conflicts:     993000 | #Constraints:      67009
2408.25/2414.70	c #Conflicts:     994000 | #Constraints:      68009
2408.25/2414.70	c #Conflicts:     995000 | #Constraints:      69009
2408.25/2414.70	c #Conflicts:     996000 | #Constraints:      70009
2408.25/2414.70	c #Conflicts:     997000 | #Constraints:      71009
2408.25/2414.70	c #Conflicts:     998000 | #Constraints:      72009
2408.25/2414.70	c #Conflicts:     999000 | #Constraints:      73009
2476.98/2483.62	c #Conflicts:    1000000 | #Constraints:      74009
2476.98/2483.62	c #Conflicts:    1001000 | #Constraints:      75009
2476.98/2483.62	c #Conflicts:    1002000 | #Constraints:      76009
2476.98/2483.62	c #Conflicts:    1003000 | #Constraints:      77009
2476.98/2483.62	c #Conflicts:    1004000 | #Constraints:      78009
2476.98/2483.62	c #Conflicts:    1005000 | #Constraints:      79009
2476.98/2483.62	c #Conflicts:    1006000 | #Constraints:      80009
2476.98/2483.62	c #Conflicts:    1007000 | #Constraints:      81009
2476.98/2483.62	c #Conflicts:    1008000 | #Constraints:      82009
2476.98/2483.62	c #Conflicts:    1009000 | #Constraints:      83009
2476.98/2483.62	c #Conflicts:    1010000 | #Constraints:      84009
2476.98/2483.62	c #Conflicts:    1011000 | #Constraints:      85009
2476.98/2483.62	c #Conflicts:    1012000 | #Constraints:      86009
2476.98/2483.62	c INPROCESSING
2476.98/2483.62	c GARBAGE COLLECT
2476.98/2483.62	c rational objective 1.22008e-13
3270.31/3279.09	c #Conflicts:    1013000 | #Constraints:      48406
3270.31/3279.09	c #Conflicts:    1014000 | #Constraints:      49407
3270.31/3279.09	c #Conflicts:    1015000 | #Constraints:      50407
3270.31/3279.09	c #Conflicts:    1016000 | #Constraints:      51407
3270.31/3279.09	c #Conflicts:    1017000 | #Constraints:      52407
3270.31/3279.09	c #Conflicts:    1018000 | #Constraints:      53407
3270.31/3279.09	c #Conflicts:    1019000 | #Constraints:      54407
3270.31/3279.09	c #Conflicts:    1020000 | #Constraints:      55407
3270.31/3279.09	c #Conflicts:    1021000 | #Constraints:      56407
3270.31/3279.09	c #Conflicts:    1022000 | #Constraints:      57407
3270.31/3279.09	c #Conflicts:    1023000 | #Constraints:      58407
3270.31/3279.09	c #Conflicts:    1024000 | #Constraints:      59408
3270.31/3279.09	c #Conflicts:    1025000 | #Constraints:      60408
3270.31/3279.09	c #Conflicts:    1026000 | #Constraints:      61408
3270.31/3279.09	c #Conflicts:    1027000 | #Constraints:      62408
3270.31/3279.09	c #Conflicts:    1028000 | #Constraints:      63408
3270.31/3279.09	c #Conflicts:    1029000 | #Constraints:      64408
3270.31/3279.09	c #Conflicts:    1030000 | #Constraints:      65408
3270.31/3279.09	c #Conflicts:    1031000 | #Constraints:      66408
3270.31/3279.09	c #Conflicts:    1032000 | #Constraints:      67408
3270.31/3279.09	c #Conflicts:    1033000 | #Constraints:      68408
3270.31/3279.09	c #Conflicts:    1034000 | #Constraints:      69408
3270.31/3279.09	c #Conflicts:    1035000 | #Constraints:      70408
3270.31/3279.09	c #Conflicts:    1036000 | #Constraints:      71408
3270.31/3279.09	c #Conflicts:    1037000 | #Constraints:      72408
3270.31/3279.09	c #Conflicts:    1038000 | #Constraints:      73408
3270.31/3279.09	c #Conflicts:    1039000 | #Constraints:      74408
3270.31/3279.09	c #Conflicts:    1040000 | #Constraints:      75408
3270.31/3279.09	c #Conflicts:    1041000 | #Constraints:      76408
3270.31/3279.09	c #Conflicts:    1042000 | #Constraints:      77408
3270.31/3279.09	c #Conflicts:    1043000 | #Constraints:      78408
3270.31/3279.09	c #Conflicts:    1044000 | #Constraints:      79408
3270.31/3279.09	c #Conflicts:    1045000 | #Constraints:      80408
3270.31/3279.09	c #Conflicts:    1046000 | #Constraints:      81408
3270.31/3279.09	c #Conflicts:    1047000 | #Constraints:      82408
3270.31/3279.09	c #Conflicts:    1048000 | #Constraints:      83408
3270.31/3279.09	c #Conflicts:    1049000 | #Constraints:      84408
3270.31/3279.09	c #Conflicts:    1050000 | #Constraints:      85408
3270.31/3279.09	c #Conflicts:    1051000 | #Constraints:      86408
3270.31/3279.09	c #Conflicts:    1052000 | #Constraints:      87408
3270.31/3279.09	c #Conflicts:    1053000 | #Constraints:      88408
3270.31/3279.09	c #Conflicts:    1054000 | #Constraints:      89408
3270.31/3279.09	c #Conflicts:    1055000 | #Constraints:      90408
3270.31/3279.09	c #Conflicts:    1056000 | #Constraints:      91409
3270.31/3279.09	c #Conflicts:    1057000 | #Constraints:      92409
3270.31/3279.09	c #Conflicts:    1058000 | #Constraints:      93409
3270.31/3279.09	c #Conflicts:    1059000 | #Constraints:      94409
3270.31/3279.09	c #Conflicts:    1060000 | #Constraints:      95409
3270.31/3279.09	c #Conflicts:    1061000 | #Constraints:      96409
3270.31/3279.09	c #Conflicts:    1062000 | #Constraints:      97409
3270.31/3279.09	c #Conflicts:    1063000 | #Constraints:      98409
3270.31/3279.09	c #Conflicts:    1064000 | #Constraints:      99409
3270.31/3279.09	c #Conflicts:    1065000 | #Constraints:     100409
3270.31/3279.09	c #Conflicts:    1066000 | #Constraints:     101409
3270.31/3279.09	c #Conflicts:    1067000 | #Constraints:     102409
3270.31/3279.09	c #Conflicts:    1068000 | #Constraints:     103409
3270.31/3279.09	c #Conflicts:    1069000 | #Constraints:     104409
3270.31/3279.09	c #Conflicts:    1070000 | #Constraints:     105409
3270.31/3279.09	c #Conflicts:    1071000 | #Constraints:     106409
3270.31/3279.09	c #Conflicts:    1072000 | #Constraints:     107409
3270.31/3279.09	c #Conflicts:    1073000 | #Constraints:     108409
3270.31/3279.09	c #Conflicts:    1074000 | #Constraints:     109409
3270.31/3279.09	c #Conflicts:    1075000 | #Constraints:     110409
3270.31/3279.09	c #Conflicts:    1076000 | #Constraints:     111409
3270.31/3279.09	c #Conflicts:    1077000 | #Constraints:     112409
3270.31/3279.09	c #Conflicts:    1078000 | #Constraints:     113409
3270.31/3279.09	c #Conflicts:    1079000 | #Constraints:     114409
3270.31/3279.09	c #Conflicts:    1080000 | #Constraints:     115409
3270.31/3279.09	c #Conflicts:    1081000 | #Constraints:     116409
3270.31/3279.09	c #Conflicts:    1082000 | #Constraints:     117409
3270.31/3279.09	c INPROCESSING
3270.31/3279.09	c GARBAGE COLLECT
3270.31/3279.09	c #Conflicts:    1083000 | #Constraints:      63449
3270.31/3279.09	c #Conflicts:    1084000 | #Constraints:      64449
3270.31/3279.09	c #Conflicts:    1085000 | #Constraints:      65449
3270.31/3279.09	c #Conflicts:    1086000 | #Constraints:      66449
3270.31/3279.09	c #Conflicts:    1087000 | #Constraints:      67449
3270.31/3279.09	c #Conflicts:    1088000 | #Constraints:      68449
3270.31/3279.09	c #Conflicts:    1089000 | #Constraints:      69449
3270.31/3279.09	c #Conflicts:    1090000 | #Constraints:      70449
3270.31/3279.09	c #Conflicts:    1091000 | #Constraints:      71449
3279.49/3288.26	c #Conflicts:    1092000 | #Constraints:      72449
3279.49/3288.26	c #Conflicts:    1093000 | #Constraints:      73449
3279.49/3288.26	c #Conflicts:    1094000 | #Constraints:      74449
3279.49/3288.26	c #Conflicts:    1095000 | #Constraints:      75449
3279.49/3288.26	c #Conflicts:    1096000 | #Constraints:      76449
3279.49/3288.26	c #Conflicts:    1097000 | #Constraints:      77449
3279.49/3288.26	c #Conflicts:    1098000 | #Constraints:      78449
3279.49/3288.26	c #Conflicts:    1099000 | #Constraints:      79449
3279.49/3288.26	c #Conflicts:    1100000 | #Constraints:      80449
3279.49/3288.26	c #Conflicts:    1101000 | #Constraints:      81449
3279.49/3288.26	c #Conflicts:    1102000 | #Constraints:      82449
3279.49/3288.26	c #Conflicts:    1103000 | #Constraints:      83449
3279.49/3288.26	c #Conflicts:    1104000 | #Constraints:      84449
3279.49/3288.26	c #Conflicts:    1105000 | #Constraints:      85449
3279.49/3288.26	c #Conflicts:    1106000 | #Constraints:      86449
3279.49/3288.26	c #Conflicts:    1107000 | #Constraints:      87449
3279.49/3288.26	c #Conflicts:    1108000 | #Constraints:      88449
3279.49/3288.26	c #Conflicts:    1109000 | #Constraints:      89449
3279.49/3288.26	c #Conflicts:    1110000 | #Constraints:      90449
3279.49/3288.26	c INPROCESSING
3279.49/3288.26	c GARBAGE COLLECT
3279.49/3288.26	c rational objective 1.22008e-13
3600.03/3609.60	c #Conflicts:    1111000 | #Constraints:      50863
3600.03/3609.60	c #Conflicts:    1112000 | #Constraints:      51863
3600.03/3609.60	c #Conflicts:    1113000 | #Constraints:      52863
3600.03/3609.60	c #Conflicts:    1114000 | #Constraints:      53863
3600.03/3609.60	c #Conflicts:    1115000 | #Constraints:      54863
3600.03/3609.60	c #Conflicts:    1116000 | #Constraints:      55863
3600.03/3609.60	c #Conflicts:    1117000 | #Constraints:      56863
3600.03/3609.60	c #Conflicts:    1118000 | #Constraints:      57863
3600.03/3609.60	c #Conflicts:    1119000 | #Constraints:      58863
3600.03/3609.60	c #Conflicts:    1120000 | #Constraints:      59863
3600.03/3609.60	c #Conflicts:    1121000 | #Constraints:      60863
3600.03/3609.60	c #Conflicts:    1122000 | #Constraints:      61863
3600.03/3609.60	c #Conflicts:    1123000 | #Constraints:      62863
3600.03/3609.60	c #Conflicts:    1124000 | #Constraints:      63863
3600.03/3609.60	c #Conflicts:    1125000 | #Constraints:      64863
3600.03/3609.60	c #Conflicts:    1126000 | #Constraints:      65863
3600.03/3609.60	c #Conflicts:    1127000 | #Constraints:      66863
3600.03/3609.60	c #Conflicts:    1128000 | #Constraints:      67863
3600.03/3609.60	c #Conflicts:    1129000 | #Constraints:      68863
3600.03/3609.60	c #Conflicts:    1130000 | #Constraints:      69863
3600.03/3609.60	c #Conflicts:    1131000 | #Constraints:      70863
3600.03/3609.60	c #Conflicts:    1132000 | #Constraints:      71863
3600.03/3609.60	c #Conflicts:    1133000 | #Constraints:      72863
3600.03/3609.60	c #Conflicts:    1134000 | #Constraints:      73863
3600.03/3609.60	c #Conflicts:    1135000 | #Constraints:      74863
3600.03/3609.60	c #Conflicts:    1136000 | #Constraints:      75863
3600.03/3609.60	c #Conflicts:    1137000 | #Constraints:      76863
3600.03/3609.60	c #Conflicts:    1138000 | #Constraints:      77863
3600.03/3609.60	c #Conflicts:    1139000 | #Constraints:      78863
3600.03/3609.60	c #Conflicts:    1140000 | #Constraints:      79863
3600.03/3609.60	c #Conflicts:    1141000 | #Constraints:      80863
3600.03/3609.60	c #Conflicts:    1142000 | #Constraints:      81863
3600.03/3609.60	c #Conflicts:    1143000 | #Constraints:      82863
3600.03/3609.60	c #Conflicts:    1144000 | #Constraints:      83863
3600.03/3609.60	c #Conflicts:    1145000 | #Constraints:      84863
3600.03/3609.60	c #Conflicts:    1146000 | #Constraints:      85863
3600.03/3609.60	c #Conflicts:    1147000 | #Constraints:      86863
3600.03/3609.60	c #Conflicts:    1148000 | #Constraints:      87863
3600.03/3609.60	c #Conflicts:    1149000 | #Constraints:      88863
3600.03/3609.60	c #Conflicts:    1150000 | #Constraints:      89863
3600.03/3609.60	c #Conflicts:    1151000 | #Constraints:      90863
3600.03/3609.60	c #Conflicts:    1152000 | #Constraints:      91863
3600.03/3609.60	c #Conflicts:    1153000 | #Constraints:      92864
3600.03/3609.60	c #Conflicts:    1154000 | #Constraints:      93864
3600.03/3609.60	c #Conflicts:    1155000 | #Constraints:      94864
3600.03/3609.60	c #Conflicts:    1156000 | #Constraints:      95864
3600.03/3609.60	c #Conflicts:    1157000 | #Constraints:      96864
3600.03/3609.60	c cpu time 3593.66 s
3600.03/3609.60	c deterministic time 177014310649 1.77e+11
3600.03/3609.60	c optimization time 320.081 s
3600.03/3609.60	c total solve time 3273.56 s
3600.03/3609.60	c core-guided solve time 0 s
3600.03/3609.60	c propagation time 2264.43 s
3600.03/3609.60	c conflict analysis time 1283.16 s
3600.03/3609.60	c propagations 450970219
3600.03/3609.60	c resolve steps 149306210
3600.03/3609.60	c decisions 1945442
3600.03/3609.60	c conflicts 1157466
3600.03/3609.60	c restarts 2155
3600.03/3609.60	c inprocessing phases 50
3600.03/3609.60	c garbage collections 50 ,( 100.00 )
3600.03/3609.60	c input clauses 3255 ,( 46.66 )
3600.03/3609.60	c input cardinalities 0 ,( 0.00 )
3600.03/3609.60	c input general constraints 3721 ,( 53.34 )
3600.03/3609.60	c input average constraint length 3.74
3600.03/3609.60	c input average constraint degree 661078844384662.00
3600.03/3609.60	c learned clauses 783295 ,( 67.67 )
3600.03/3609.60	c learned cardinalities 129 ,( 0.01 )
3600.03/3609.60	c learned general constraints 374058 ,( 32.32 )
3600.03/3609.60	c learned average constraint length 301.14
3600.03/3609.60	c learned average constraint degree 126469170.29
3600.03/3609.60	c watched  CF 32, 64, 128, Arb: 58880 , 0 , 0 , 0
3600.03/3609.60	c counting CF 32, 64, 128, Arb: 318898 , 0 , 1 , 0
3600.03/3609.60	c watched   constraints 58880 ,( 15.59 ) 
3600.03/3609.60	c counting  constraints 318899 ,( 84.41 ) 
3600.03/3609.60	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 551977178 , 2026717 , 59877190402 ,( 423381235 , 59453809167 )
3600.03/3609.60	c gcd simplifications 28774
3600.03/3609.60	c detected cardinalities 45
3600.03/3609.60	c weakened non-implied lits 49045888
3600.03/3609.60	c weakened non-implying lits 297612
3600.03/3609.60	c original variables 4929
3600.03/3609.60	c clausal propagations 114506397
3600.03/3609.60	c cardinality propagations 85082
3600.03/3609.60	c watched propagations 981680
3600.03/3609.60	c counting propagations 334220423
3600.03/3609.60	c watch lookups 100909850956
3600.03/3609.60	c watch backjump lookups 0
3600.03/3609.60	c watch checks 11544422585
3600.03/3609.60	c propagation checks 62236029313
3600.03/3609.60	c constraint additions 1416796195
3600.03/3609.60	c trail pops 454068181
3600.03/3609.60	c formula constraints 6976
3600.03/3609.60	c learned constraints 1157448
3600.03/3609.60	c bound constraints 0
3600.03/3609.60	c core-guided constraints 0
3600.03/3609.60	c encountered formula constraints 113143069
3600.03/3609.60	c encountered learned constraints 37166919
3600.03/3609.60	c encountered bound constraints 0
3600.03/3609.60	c encountered core-guided constraints 0
3600.03/3609.60	c LP total time 26.4755 s
3600.03/3609.60	c LP solve time 25.26 s
3600.03/3609.60	c LP constraints added 6976
3600.03/3609.60	c LP constraints removed 0
3600.03/3609.60	c LP pivots internal 117544
3600.03/3609.60	c LP pivots root 110213
3600.03/3609.60	c LP calls 171
3600.03/3609.60	c LP optimalities 147
3600.03/3609.60	c LP no pivot count 10
3600.03/3609.60	c LP infeasibilities 17
3600.03/3609.60	c LP valid Farkas constraints 17
3600.03/3609.60	c LP learned Farkas constraints 17
3600.03/3609.60	c LP basis resets 3
3600.03/3609.60	c LP cycling count 0
3600.03/3609.60	c LP singular count 3
3600.03/3609.60	c LP no primal count 0
3600.03/3609.60	c LP no farkas count 0
3600.03/3609.60	c LP other issue count 0
3600.03/3609.60	c LP Gomory cuts 0
3600.03/3609.60	c LP learned cuts 0
3600.03/3609.60	c LP deleted cuts 0
3600.03/3609.60	c LP encountered Gomory constraints 0
3600.03/3609.60	c LP encountered Farkas constraints 153629
3600.03/3609.60	c LP encountered learned Farkas constraints 42
3600.03/3609.60	c CG auxiliary variables introduced 0
3600.03/3609.60	c CG solutions found 0
3600.03/3609.60	c CG cores constructed 0
3600.03/3609.60	c CG core cardinality constraints returned 0
3600.03/3609.60	c CG unit cores 0
3600.03/3609.60	c CG single cores 0
3600.03/3609.60	c CG blocks removed during cardinality reduction 0
3600.03/3609.60	c CG first core best 0
3600.03/3609.60	c CG decision core best 0
3600.03/3609.60	c CG core reduction tie 0
3600.03/3609.60	c CG core degree average 0.00
3600.03/3609.60	c CG core slack average 0.00
3600.03/3609.60	c CG core upper bound improvements 0
3600.03/3609.60	c STR number of successful calls 0
3600.03/3609.60	c STR number of unsuccessful calls 0
3600.03/3609.60	c STR number of inconclusive calls 0
3600.03/3609.60	c STR number of successful attempts 0
3600.03/3609.60	c STR number of unsuccessful attempts 0
3600.03/3609.60	c STR number of inconclusive attempts 0
3600.03/3609.60	c STR average degree increase per successful call inf
3600.03/3609.60	c STR average degree increase per successful attempt inf
3600.03/3609.60	c STR total number of conflicts for successful attempts 0
3600.03/3609.60	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.60	c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.60	c STR average number of conflicts per successful attempt inf
3600.03/3609.60	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.60	c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.60	c AVG.sumWPerc 75.37 
3600.03/3609.60	c bigint constraints 1 
3600.03/3609.60	s UNKNOWN
3600.03/3609.60	c Program interrupted by user.

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: 63665 MiB (62500 MiB free)
  memory of node 1: 64507 MiB (63525 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541726-1753202596/watcher-4541726-1753202596 -o /tmp/evaluation-result-4541726-1753202596/solver-4541726-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753198973-164291 --watchdog 3760 run-dec-break.sh HOME/instance-4541726-1753202596.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=164691, runsolver pid=164683

[startup+0.100058 s]*
/proc/loadavg: 4.11 4.11 4.04 4/259 164702
/proc/meminfo: memFree=129042152/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=68380 memory=24264 CPUtime=0.05 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 3990 0 0 0 4 1 0 0 20 0 1 0 235938485 70021120 6066 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 17095 6066 2336 1147 0 4522 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 72572 KiB
Current children cumulated memory: 27336 KiB

[startup+0.204952 s]*
/proc/loadavg: 4.11 4.11 4.04 6/263 164714
/proc/meminfo: memFree=129037064/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=69960 memory=25416 CPUtime=0.15 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 4278 0 0 0 14 1 0 0 20 0 1 0 235938485 71639040 6354 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 17490 6354 2368 1147 0 4917 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 74152 KiB
Current children cumulated memory: 28488 KiB

[startup+0.304532 s]*
/proc/loadavg: 4.11 4.11 4.04 6/268 164725
/proc/meminfo: memFree=129020460/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=69960 memory=25544 CPUtime=0.25 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 4303 0 0 0 24 1 0 0 20 0 1 0 235938485 71639040 6386 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 17490 6386 2368 1147 0 4917 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 74152 KiB
Current children cumulated memory: 28616 KiB

[startup+0.700136 s]
/proc/loadavg: 4.11 4.11 4.04 6/268 164725
/proc/meminfo: memFree=129015452/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=71752 memory=27208 CPUtime=0.64 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 4706 0 0 0 62 2 0 0 20 0 1 0 235938485 73474048 6802 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 17938 6802 2368 1147 0 5365 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 75944 KiB
Current children cumulated memory: 30280 KiB

[startup+1.50013 s]
/proc/loadavg: 4.11 4.11 4.04 6/268 164725
/proc/meminfo: memFree=129012428/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=71752 memory=27336 CPUtime=1.44 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 4760 0 0 0 142 2 0 0 20 0 1 0 235938485 73474048 6834 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 17938 6834 2368 1147 0 5365 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 75944 KiB
Current children cumulated memory: 30408 KiB

[startup+3.10451 s]
/proc/loadavg: 4.10 4.11 4.04 6/268 164725
/proc/meminfo: memFree=129005228/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=73508 memory=29128 CPUtime=3.04 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 5202 0 0 0 301 3 0 0 20 0 1 0 235938485 75272192 7282 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 18377 7282 2368 1147 0 5804 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 77700 KiB
Current children cumulated memory: 32200 KiB

[startup+6.30013 s]
/proc/loadavg: 4.10 4.11 4.04 6/268 164725
/proc/meminfo: memFree=129003768/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=75148 memory=32876 CPUtime=6.23 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 5620 0 0 0 617 6 0 0 20 0 1 0 235938485 76951552 8219 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 18787 8219 2368 1147 0 6214 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 79340 KiB
Current children cumulated memory: 35948 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.11 4.04 6/268 164725
/proc/meminfo: memFree=128989680/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=79740 memory=37356 CPUtime=12.61 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 6737 0 0 0 1250 11 0 0 20 0 1 0 235938485 81653760 9339 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 19935 9339 2368 1147 0 7362 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 83932 KiB
Current children cumulated memory: 40428 KiB

[startup+25.5001 s]
/proc/loadavg: 4.14 4.12 4.05 6/267 164725
/proc/meminfo: memFree=128949956/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=93040 memory=48748 CPUtime=25.39 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 9593 0 0 0 2521 18 0 0 20 0 1 0 235938485 95272960 12187 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 23260 12187 2368 1147 0 10687 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 97232 KiB
Current children cumulated memory: 51820 KiB

[startup+51.1045 s]
/proc/loadavg: 4.09 4.11 4.04 6/267 164725
/proc/meminfo: memFree=128907896/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=102752 memory=56648 CPUtime=50.94 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 11088 0 0 0 5068 26 0 0 20 0 1 0 235938485 105218048 14162 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 25688 14162 2368 1147 0 13115 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 106944 KiB
Current children cumulated memory: 59720 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.04 6/267 164728
/proc/meminfo: memFree=128787168/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=147832 memory=97436 CPUtime=102.01 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 15660 0 0 0 10153 48 0 0 20 0 1 0 235938485 151379968 24359 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 36958 24359 2368 1147 0 24385 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 152024 KiB
Current children cumulated memory: 100508 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.05 6/267 164730
/proc/meminfo: memFree=128683816/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=216132 memory=156956 CPUtime=161.87 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 30343 0 0 0 16101 86 0 0 20 0 1 0 235938485 221319168 39239 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 54033 39239 2368 1147 0 41460 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 220324 KiB
Current children cumulated memory: 160028 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.05 6/267 164732
/proc/meminfo: memFree=128625208/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=231092 memory=179356 CPUtime=221.71 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 33502 0 0 0 22065 106 0 0 20 0 1 0 235938485 236638208 44839 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 57773 44839 2464 1147 0 45200 0
Current children cumulated CPU time: 221.72 s

################
# More data... #
################

/proc/164698/statm: 206560 177782 2464 1147 0 193987 0
Current children cumulated CPU time: 3034.25 s
Current children cumulated vsize: 830432 KiB
Current children cumulated memory: 714200 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/267 164886
/proc/meminfo: memFree=126262828/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=846212 memory=737620 CPUtime=3094.07 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 126690 0 0 0 308827 580 0 0 20 0 1 0 235938485 866521088 184405 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 211553 184405 2464 1147 0 198980 0
Current children cumulated CPU time: 3094.08 s
Current children cumulated vsize: 850404 KiB
Current children cumulated memory: 740692 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/267 164888
/proc/meminfo: memFree=126209164/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=868868 memory=765968 CPUtime=3153.92 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 131221 0 0 0 314807 585 0 0 20 0 1 0 235938485 889720832 191492 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 217217 191492 2464 1147 0 204644 0
Current children cumulated CPU time: 3153.93 s
Current children cumulated vsize: 873060 KiB
Current children cumulated memory: 769040 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 7/269 164892
/proc/meminfo: memFree=126153612/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=1031848 memory=798732 CPUtime=3213.76 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 137360 0 0 0 320788 588 0 0 20 0 1 0 235938485 1056612352 199683 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 257962 199683 2464 1147 0 245389 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 1036040 KiB
Current children cumulated memory: 801804 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/269 164894
/proc/meminfo: memFree=126098596/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=1045496 memory=817776 CPUtime=3273.59 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 140594 0 0 0 326762 597 0 0 20 0 1 0 235938485 1070587904 204444 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 261374 204444 2464 1147 0 248801 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 1049688 KiB
Current children cumulated memory: 820848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.13 4.10 6/268 164896
/proc/meminfo: memFree=126046352/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=1070380 memory=835056 CPUtime=3333.44 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 144899 0 0 0 332733 611 0 0 20 0 1 0 235938485 1096069120 208764 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 267595 208764 2464 1147 0 255022 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 1074572 KiB
Current children cumulated memory: 838128 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/268 164898
/proc/meminfo: memFree=126015244/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=1078420 memory=843120 CPUtime=3393.28 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 146918 0 0 0 338710 618 0 0 20 0 1 0 235938485 1104302080 210780 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 269605 210780 2464 1147 0 257032 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 1082612 KiB
Current children cumulated memory: 846192 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.10 6/268 164900
/proc/meminfo: memFree=125980680/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=1078572 memory=846448 CPUtime=3453.13 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 147046 0 0 0 344689 624 0 0 20 0 1 0 235938485 1104457728 211612 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 269643 211612 2464 1147 0 257070 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 1082764 KiB
Current children cumulated memory: 849520 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/267 164902
/proc/meminfo: memFree=125946424/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=1080468 memory=852208 CPUtime=3512.97 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 147398 0 0 0 350667 630 0 0 20 0 1 0 235938485 1106399232 213052 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 270117 213052 2464 1147 0 257544 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 1084660 KiB
Current children cumulated memory: 855280 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/266 164904
/proc/meminfo: memFree=125862876/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=1081388 memory=883312 CPUtime=3572.8 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 147677 0 0 0 356646 634 0 0 20 0 1 0 235938485 1107341312 220828 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 270347 220828 2464 1147 0 257774 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 1085580 KiB
Current children cumulated memory: 886384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 164912
/proc/meminfo: memFree=126322436/131249988 swapFree=33010160/33010684
[pid=164691] ppid=164683 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164691/stat : 164691 (run-dec-break.s) S 164683 164691 164273 0 -1 4194304 239 2294 0 0 0 0 1 0 20 0 1 0 235938482 4292608 768 18446744073709551615 94437552738304 94437553632837 140722890528080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94437553871888 94437553919632 94437564645376 140722890533215 140722890533344 140722890533344 140722890538948 0
/proc/164691/statm: 1048 768 704 219 0 110 0
[pid=164698] ppid=164691 vsize=1081900 memory=897648 CPUtime=3600.02 cores=4,6
/proc/164698/stat : 164698 (roundingsat) R 164691 164691 164273 0 -1 4194304 147766 0 0 0 359365 637 0 0 20 0 1 0 235938485 1107865600 224412 18446744073709551615 4227072 8923433 140720400627600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11915264 140720400632130 140720400632358 140720400632358 140720400637930 0
/proc/164698/statm: 270475 224412 2464 1147 0 257902 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1086092 KiB
Current children cumulated memory: 900720 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.6 s]
# the end of solver process 164691 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.011735 s, system=0.004694 s

[startup+3609.61 s]
# the end of solver process 164698 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3593.67 s, system=6.39056 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 2

Real time (s): 3609.61
CPU time (s): 3600.07
CPU user time (s): 3593.67
CPU system time (s): 6.39056
CPU usage (%): 99.7355
Max. virtual memory (cumulated for all children) (KiB): 1086092
Max. memory (cumulated for all children) (KiB): 900720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.67
system time used= 6.39056
maximum resident set size= 897904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150317
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 396
involuntary context switches= 3319


# summary of solver processes directly reported to runsolver:
#   pid: 164691,164698
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3593.67
#   total CPU system time (s): 6.39056

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61022 second user time and 13.4348 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-22 18:43:16
IDJOB=4541726
IDBENCH=163363
IDSOLVER=3357
FILE ID=nodeC034/4541726-1753202596
RUNJOBID= nodeC034-1753198973-164291
SLURM_JOB_ID= 9687767
Free space on /tmp= 433040 MiB

SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_diag/normalized-31array_diag_less.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541726-1753202596/watcher-4541726-1753202596 -o /tmp/evaluation-result-4541726-1753202596/solver-4541726-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753198973-164291 --watchdog 3760  run-dec-break.sh HOME/instance-4541726-1753202596.opb

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

MD5SUM BENCH= d4d2180c253b956721820605fdb244a0
RANDOM SEED=1063239506

nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129054484 kB
MemAvailable:   129655440 kB
Buffers:            2128 kB
Cached:          1340116 kB
SwapCached:           32 kB
Active:          1203352 kB
Inactive:         219476 kB
Active(anon):     104696 kB
Inactive(anon):     2152 kB
Active(file):    1098656 kB
Inactive(file):   217324 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14980 kB
Writeback:             4 kB
AnonPages:         83932 kB
Mapped:           108940 kB
Shmem:             26264 kB
KReclaimable:     248032 kB
Slab:             346620 kB
SReclaimable:     248032 kB
SUnreclaim:        98588 kB
KernelStack:        4080 kB
PageTables:         2832 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     350864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433016 MiB
End job on nodeC034 at 2025-07-22 19:43:26