Trace number 4541531

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.12 3609.91

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq5/normalized-30array_ineq5.opb
MD5SUMc057026a3dee35393963218173951f41
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 benchmark1264.48
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5610
Total number of constraints7531
Number of constraints which are clauses5580
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints1921
Minimum length of a constraint1
Maximum length of a constraint120
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 576460752303423488
Number of bits of the biggest number in a constraint 60
Biggest sum of numbers in a constraint 2305843009213693951
Number of bits of the biggest sum of numbers61
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.04	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.04	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.04	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.04	c │      (c) 2025 Markus Anders                                    │
0.00/0.04	c └────────────────────────────────────────────────────────────────┘
0.00/0.04	c parse 'HOME/instance-4541531-1753198973.opb'
0.00/0.04	c 	read 0.24MB  (3.74ms)
0.00/0.04	c	 [cnf: #variables 5610 #clauses 7531 #duplicates 0 #arr 22170]
0.00/0.04	c 
0.00/0.04	c make graph and approximate orbits
0.00/0.05	c	 [group: #orbits ~= 0] (6.31ms)
0.00/0.05	c 
0.00/0.05	c detect special group actions
0.00/0.05	c 	probe for Johnson action (limit=64)
0.00/0.05	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05	c 	 (1.30ms)
0.00/0.05	c 
0.00/0.05	c detect symmetries on remainder
0.00/0.05	c 	[graph: #vertices 29852 #edges 77762]
0.00/0.05	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05	c 	 [group: #symmetries 1.00*10^0 #generators 0] (1.65ms)
0.00/0.05	c 
0.00/0.05	c finalize break order and special generators
0.00/0.05	c 
0.00/0.05	c generation finished
0.00/0.05	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.05	c 
0.00/0.05	c write result to 'HOME/instance-4541531-1753198973.opb.pre'
0.00/0.05	c 	wrote 0.25MB (0.63ms)
0.00/0.05	c ------------------------------------------------------------------
0.00/0.05	c                   6.31ms 44.02% approx_orbits
0.00/0.05	c                   3.74ms 26.09% parse
0.00/0.05	c                   1.65ms 11.48% detect_generic
0.00/0.05	c                   1.30ms  9.06% detect_special
0.00/0.05	c                   0.63ms  4.43% output
0.00/0.05	c                   0.54ms  3.75% other
0.00/0.05	c                   0.17ms  1.17% finalize_order
0.00/0.05	c         ───────────────────────────────────────────────
0.00/0.05	c                  14.33ms   100% total
0.00/0.05	c ------------------------------------------------------------------
0.00/0.08	c RoundingSat 2
0.00/0.08	c branch pb25
0.00/0.08	c commit 63f22ad
0.02/0.12	c #variables 5610 #constraints 8085
0.02/0.13	c rational objective 30
40.10/40.37	c #Conflicts:       1000 | #Constraints:       9085
40.10/40.37	c #Conflicts:       2000 | #Constraints:      10086
40.10/40.37	c INPROCESSING
40.10/40.37	c GARBAGE COLLECT
40.10/40.37	c #Conflicts:       3000 | #Constraints:       9503
40.10/40.37	c #Conflicts:       4000 | #Constraints:      10503
40.10/40.37	c INPROCESSING
40.10/40.37	c GARBAGE COLLECT
40.10/40.37	c #Conflicts:       5000 | #Constraints:       9944
40.10/40.37	c #Conflicts:       6000 | #Constraints:      10944
40.10/40.37	c INPROCESSING
40.10/40.37	c GARBAGE COLLECT
40.10/40.37	c #Conflicts:       7000 | #Constraints:       9982
40.10/40.37	c #Conflicts:       8000 | #Constraints:      10982
40.10/40.37	c #Conflicts:       9000 | #Constraints:      11982
40.10/40.37	c INPROCESSING
40.10/40.37	c GARBAGE COLLECT
40.10/40.37	c #Conflicts:      10000 | #Constraints:      10727
40.10/40.37	c #Conflicts:      11000 | #Constraints:      11727
40.10/40.37	c #Conflicts:      12000 | #Constraints:      12727
40.10/40.37	c #Conflicts:      13000 | #Constraints:      13727
40.10/40.37	c #Conflicts:      14000 | #Constraints:      14727
40.10/40.37	c #Conflicts:      15000 | #Constraints:      15727
40.10/40.37	c #Conflicts:      16000 | #Constraints:      16727
40.10/40.37	c INPROCESSING
40.10/40.37	c GARBAGE COLLECT
40.10/40.37	c #Conflicts:      17000 | #Constraints:      12987
40.10/40.37	c #Conflicts:      18000 | #Constraints:      13987
40.10/40.37	c #Conflicts:      19000 | #Constraints:      14987
40.10/40.37	c #Conflicts:      20000 | #Constraints:      15987
40.10/40.37	c INPROCESSING
40.10/40.37	c GARBAGE COLLECT
40.10/40.37	c #Conflicts:      21000 | #Constraints:      12735
40.10/40.37	c #Conflicts:      22000 | #Constraints:      13735
40.10/40.37	c #Conflicts:      23000 | #Constraints:      14735
40.10/40.37	c #Conflicts:      24000 | #Constraints:      15735
40.10/40.37	c #Conflicts:      25000 | #Constraints:      16735
40.10/40.37	c #Conflicts:      26000 | #Constraints:      17735
40.10/40.37	c #Conflicts:      27000 | #Constraints:      18735
40.10/40.37	c #Conflicts:      28000 | #Constraints:      19735
40.10/40.37	c #Conflicts:      29000 | #Constraints:      20735
40.10/40.37	c #Conflicts:      30000 | #Constraints:      21735
40.10/40.37	c INPROCESSING
40.10/40.37	c GARBAGE COLLECT
40.10/40.37	c #Conflicts:      31000 | #Constraints:      15467
40.10/40.37	c #Conflicts:      32000 | #Constraints:      16467
40.10/40.37	c #Conflicts:      33000 | #Constraints:      17467
40.10/40.37	c #Conflicts:      34000 | #Constraints:      18467
40.10/40.37	c #Conflicts:      35000 | #Constraints:      19467
40.10/40.37	c #Conflicts:      36000 | #Constraints:      20467
40.10/40.37	c INPROCESSING
40.10/40.37	c GARBAGE COLLECT
40.10/40.37	c #Conflicts:      37000 | #Constraints:      15217
40.10/40.37	c #Conflicts:      38000 | #Constraints:      16217
40.10/40.37	c #Conflicts:      39000 | #Constraints:      17217
40.10/40.37	c #Conflicts:      40000 | #Constraints:      18217
40.10/40.37	c #Conflicts:      41000 | #Constraints:      19217
40.10/40.37	c #Conflicts:      42000 | #Constraints:      20217
40.10/40.37	c #Conflicts:      43000 | #Constraints:      21217
40.10/40.37	c #Conflicts:      44000 | #Constraints:      22217
40.10/40.37	c #Conflicts:      45000 | #Constraints:      23217
40.10/40.37	c #Conflicts:      46000 | #Constraints:      24217
40.10/40.37	c #Conflicts:      47000 | #Constraints:      25217
40.10/40.37	c #Conflicts:      48000 | #Constraints:      26217
40.10/40.37	c #Conflicts:      49000 | #Constraints:      27217
40.10/40.37	c INPROCESSING
40.10/40.37	c GARBAGE COLLECT
40.10/40.37	c #Conflicts:      50000 | #Constraints:      18355
40.10/40.37	c #Conflicts:      51000 | #Constraints:      19355
40.10/40.37	c #Conflicts:      52000 | #Constraints:      20355
40.10/40.37	c #Conflicts:      53000 | #Constraints:      21355
40.10/40.37	c #Conflicts:      54000 | #Constraints:      22355
40.10/40.37	c #Conflicts:      55000 | #Constraints:      23355
40.10/40.37	c #Conflicts:      56000 | #Constraints:      24355
40.10/40.37	c INPROCESSING
40.10/40.37	c GARBAGE COLLECT
40.10/40.37	c rational objective 30
150.97/151.50	c #Conflicts:      57000 | #Constraints:      17175
150.97/151.50	c #Conflicts:      58000 | #Constraints:      18175
150.97/151.50	c #Conflicts:      59000 | #Constraints:      19175
150.97/151.50	c #Conflicts:      60000 | #Constraints:      20175
150.97/151.50	c #Conflicts:      61000 | #Constraints:      21175
150.97/151.50	c #Conflicts:      62000 | #Constraints:      22175
150.97/151.50	c #Conflicts:      63000 | #Constraints:      23175
150.97/151.50	c #Conflicts:      64000 | #Constraints:      24175
150.97/151.50	c #Conflicts:      65000 | #Constraints:      25175
150.97/151.50	c #Conflicts:      66000 | #Constraints:      26175
150.97/151.50	c #Conflicts:      67000 | #Constraints:      27175
150.97/151.50	c #Conflicts:      68000 | #Constraints:      28175
150.97/151.50	c #Conflicts:      69000 | #Constraints:      29175
150.97/151.50	c #Conflicts:      70000 | #Constraints:      30175
150.97/151.50	c #Conflicts:      71000 | #Constraints:      31175
150.97/151.50	c #Conflicts:      72000 | #Constraints:      32175
150.97/151.50	c INPROCESSING
150.97/151.50	c GARBAGE COLLECT
150.97/151.50	c #Conflicts:      73000 | #Constraints:      20902
150.97/151.50	c #Conflicts:      74000 | #Constraints:      21902
150.97/151.50	c #Conflicts:      75000 | #Constraints:      22902
150.97/151.50	c #Conflicts:      76000 | #Constraints:      23902
150.97/151.50	c #Conflicts:      77000 | #Constraints:      24902
150.97/151.50	c #Conflicts:      78000 | #Constraints:      25902
150.97/151.50	c #Conflicts:      79000 | #Constraints:      26902
150.97/151.50	c #Conflicts:      80000 | #Constraints:      27902
150.97/151.50	c INPROCESSING
150.97/151.50	c GARBAGE COLLECT
150.97/151.50	c #Conflicts:      81000 | #Constraints:      18813
150.97/151.50	c #Conflicts:      82000 | #Constraints:      19813
150.97/151.50	c #Conflicts:      83000 | #Constraints:      20813
150.97/151.50	c #Conflicts:      84000 | #Constraints:      21813
150.97/151.50	c #Conflicts:      85000 | #Constraints:      22813
150.97/151.50	c #Conflicts:      86000 | #Constraints:      23813
150.97/151.50	c #Conflicts:      87000 | #Constraints:      24813
150.97/151.50	c #Conflicts:      88000 | #Constraints:      25813
150.97/151.50	c #Conflicts:      89000 | #Constraints:      26813
150.97/151.50	c #Conflicts:      90000 | #Constraints:      27813
150.97/151.50	c #Conflicts:      91000 | #Constraints:      28813
150.97/151.50	c #Conflicts:      92000 | #Constraints:      29813
150.97/151.50	c #Conflicts:      93000 | #Constraints:      30813
150.97/151.50	c #Conflicts:      94000 | #Constraints:      31813
150.97/151.50	c #Conflicts:      95000 | #Constraints:      32813
150.97/151.50	c #Conflicts:      96000 | #Constraints:      33813
150.97/151.50	c #Conflicts:      97000 | #Constraints:      34813
150.97/151.50	c #Conflicts:      98000 | #Constraints:      35813
150.97/151.50	c #Conflicts:      99000 | #Constraints:      36813
150.97/151.50	c #Conflicts:     100000 | #Constraints:      37813
150.97/151.50	c INPROCESSING
150.97/151.50	c GARBAGE COLLECT
150.97/151.50	c #Conflicts:     101000 | #Constraints:      23970
150.97/151.50	c #Conflicts:     102000 | #Constraints:      24970
150.97/151.50	c #Conflicts:     103000 | #Constraints:      25970
150.97/151.50	c #Conflicts:     104000 | #Constraints:      26970
150.97/151.50	c #Conflicts:     105000 | #Constraints:      27970
150.97/151.50	c #Conflicts:     106000 | #Constraints:      28970
150.97/151.50	c #Conflicts:     107000 | #Constraints:      29970
150.97/151.50	c #Conflicts:     108000 | #Constraints:      30970
150.97/151.50	c #Conflicts:     109000 | #Constraints:      31970
150.97/151.50	c INPROCESSING
150.97/151.50	c GARBAGE COLLECT
150.97/151.50	c #Conflicts:     110000 | #Constraints:      20979
150.97/151.50	c #Conflicts:     111000 | #Constraints:      21979
150.97/151.50	c #Conflicts:     112000 | #Constraints:      22979
150.97/151.50	c #Conflicts:     113000 | #Constraints:      23979
150.97/151.50	c #Conflicts:     114000 | #Constraints:      24979
150.97/151.50	c #Conflicts:     115000 | #Constraints:      25979
150.97/151.50	c #Conflicts:     116000 | #Constraints:      26979
150.97/151.50	c #Conflicts:     117000 | #Constraints:      27979
150.97/151.50	c #Conflicts:     118000 | #Constraints:      28979
150.97/151.50	c #Conflicts:     119000 | #Constraints:      29979
150.97/151.50	c #Conflicts:     120000 | #Constraints:      30979
150.97/151.50	c #Conflicts:     121000 | #Constraints:      31979
150.97/151.50	c #Conflicts:     122000 | #Constraints:      32979
150.97/151.50	c #Conflicts:     123000 | #Constraints:      33979
150.97/151.50	c #Conflicts:     124000 | #Constraints:      34979
150.97/151.50	c #Conflicts:     125000 | #Constraints:      35979
150.97/151.50	c #Conflicts:     126000 | #Constraints:      36979
150.97/151.50	c #Conflicts:     127000 | #Constraints:      37979
150.97/151.50	c #Conflicts:     128000 | #Constraints:      38979
150.97/151.50	c #Conflicts:     129000 | #Constraints:      39979
150.97/151.50	c #Conflicts:     130000 | #Constraints:      40979
150.97/151.50	c #Conflicts:     131000 | #Constraints:      41979
150.97/151.50	c #Conflicts:     132000 | #Constraints:      42979
150.97/151.50	c INPROCESSING
151.87/152.45	c GARBAGE COLLECT
151.87/152.45	c rational objective 30
272.08/272.99	c #Conflicts:     133000 | #Constraints:      26622
272.08/272.99	c #Conflicts:     134000 | #Constraints:      27622
272.08/272.99	c #Conflicts:     135000 | #Constraints:      28622
272.08/272.99	c #Conflicts:     136000 | #Constraints:      29622
272.08/272.99	c #Conflicts:     137000 | #Constraints:      30622
272.08/272.99	c #Conflicts:     138000 | #Constraints:      31622
272.08/272.99	c #Conflicts:     139000 | #Constraints:      32622
272.08/272.99	c #Conflicts:     140000 | #Constraints:      33622
272.08/272.99	c #Conflicts:     141000 | #Constraints:      34622
272.08/272.99	c #Conflicts:     142000 | #Constraints:      35622
272.08/272.99	c INPROCESSING
272.08/272.99	c GARBAGE COLLECT
272.08/272.99	c #Conflicts:     143000 | #Constraints:      22756
272.08/272.99	c #Conflicts:     144000 | #Constraints:      23756
272.08/272.99	c #Conflicts:     145000 | #Constraints:      24756
272.08/272.99	c #Conflicts:     146000 | #Constraints:      25756
272.08/272.99	c #Conflicts:     147000 | #Constraints:      26756
272.08/272.99	c #Conflicts:     148000 | #Constraints:      27756
272.08/272.99	c #Conflicts:     149000 | #Constraints:      28756
272.08/272.99	c #Conflicts:     150000 | #Constraints:      29756
272.08/272.99	c #Conflicts:     151000 | #Constraints:      30756
272.08/272.99	c #Conflicts:     152000 | #Constraints:      31756
272.08/272.99	c #Conflicts:     153000 | #Constraints:      32756
272.08/272.99	c #Conflicts:     154000 | #Constraints:      33756
272.08/272.99	c #Conflicts:     155000 | #Constraints:      34756
272.08/272.99	c #Conflicts:     156000 | #Constraints:      35756
272.08/272.99	c #Conflicts:     157000 | #Constraints:      36756
272.08/272.99	c #Conflicts:     158000 | #Constraints:      37756
272.08/272.99	c #Conflicts:     159000 | #Constraints:      38756
272.08/272.99	c #Conflicts:     160000 | #Constraints:      39756
272.08/272.99	c #Conflicts:     161000 | #Constraints:      40756
272.08/272.99	c #Conflicts:     162000 | #Constraints:      41756
272.08/272.99	c #Conflicts:     163000 | #Constraints:      42756
272.08/272.99	c #Conflicts:     164000 | #Constraints:      43756
272.08/272.99	c #Conflicts:     165000 | #Constraints:      44756
272.08/272.99	c #Conflicts:     166000 | #Constraints:      45756
272.08/272.99	c #Conflicts:     167000 | #Constraints:      46756
272.08/272.99	c #Conflicts:     168000 | #Constraints:      47756
272.08/272.99	c INPROCESSING
272.08/272.99	c GARBAGE COLLECT
272.08/272.99	c #Conflicts:     169000 | #Constraints:      28906
272.08/272.99	c #Conflicts:     170000 | #Constraints:      29906
272.08/272.99	c #Conflicts:     171000 | #Constraints:      30906
272.08/272.99	c #Conflicts:     172000 | #Constraints:      31906
272.08/272.99	c #Conflicts:     173000 | #Constraints:      32906
272.08/272.99	c #Conflicts:     174000 | #Constraints:      33906
272.08/272.99	c #Conflicts:     175000 | #Constraints:      34906
272.08/272.99	c #Conflicts:     176000 | #Constraints:      35906
272.08/272.99	c #Conflicts:     177000 | #Constraints:      36906
272.08/272.99	c #Conflicts:     178000 | #Constraints:      37906
272.08/272.99	c #Conflicts:     179000 | #Constraints:      38906
272.08/272.99	c #Conflicts:     180000 | #Constraints:      39906
272.08/272.99	c INPROCESSING
272.08/272.99	c GARBAGE COLLECT
272.08/272.99	c #Conflicts:     181000 | #Constraints:      25217
272.08/272.99	c #Conflicts:     182000 | #Constraints:      26217
272.08/272.99	c #Conflicts:     183000 | #Constraints:      27217
272.08/272.99	c #Conflicts:     184000 | #Constraints:      28217
272.08/272.99	c #Conflicts:     185000 | #Constraints:      29217
272.08/272.99	c #Conflicts:     186000 | #Constraints:      30217
272.08/272.99	c #Conflicts:     187000 | #Constraints:      31217
272.08/272.99	c #Conflicts:     188000 | #Constraints:      32217
272.08/272.99	c #Conflicts:     189000 | #Constraints:      33217
272.08/272.99	c #Conflicts:     190000 | #Constraints:      34217
272.08/272.99	c #Conflicts:     191000 | #Constraints:      35217
272.08/272.99	c #Conflicts:     192000 | #Constraints:      36217
272.08/272.99	c #Conflicts:     193000 | #Constraints:      37217
272.08/272.99	c #Conflicts:     194000 | #Constraints:      38217
272.08/272.99	c #Conflicts:     195000 | #Constraints:      39217
272.08/272.99	c #Conflicts:     196000 | #Constraints:      40217
272.08/272.99	c #Conflicts:     197000 | #Constraints:      41217
272.08/272.99	c #Conflicts:     198000 | #Constraints:      42217
272.08/272.99	c #Conflicts:     199000 | #Constraints:      43217
272.08/272.99	c #Conflicts:     200000 | #Constraints:      44217
272.08/272.99	c #Conflicts:     201000 | #Constraints:      45217
272.08/272.99	c #Conflicts:     202000 | #Constraints:      46217
272.08/272.99	c #Conflicts:     203000 | #Constraints:      47217
272.08/272.99	WSVECS04 Frhs2[142]: 6 -29.6667 0 shouldn't be
272.08/272.99	WSVECS04 Frhs2[1920]: 6 0 4.28527e+12 shouldn't be
272.08/272.99	WSVECS04 Frhs2[2602]: 6 -1.875 0 shouldn't be
272.08/272.99	WSVECS04 Frhs2[2929]: 6 0 12.0897 shouldn't be
272.08/272.99	WSVECS04 Frhs2[2930]: 6 0 27.1795 shouldn't be
272.08/272.99	WSVECS04 Frhs2[2931]: 6 0 59.3589 shouldn't be
272.08/272.99	WSVECS04 Frhs2[2989]: 6 0 57.3589 shouldn't be
272.08/272.99	WSVECS04 Frhs2[2990]: 6 0 120.718 shouldn't be
272.08/272.99	WSVECS04 Frhs2[2991]: 6 0 246.436 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3049]: 6 0 244.436 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3050]: 6 0 494.871 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3051]: 6 0 994.743 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3109]: 6 0 992.743 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3110]: 6 0 1991.49 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3111]: 6 0 3987.97 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3160]: 6 0 4.79435 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3169]: 6 0 3985.97 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3170]: 6 0 7977.94 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3171]: 6 0 15960.9 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3220]: 6 0 28.1774 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3229]: 6 0 15958.9 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3230]: 6 0 31892.9 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3280]: 6 0 121.71 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3289]: 6 0 63850.5 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3290]: 6 0 127707 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3291]: 6 0 255419 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3340]: 6 0 495.839 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3349]: 6 0 255417 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3350]: 6 0 510840 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3351]: 6 0 1.02165e+06 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3400]: 6 0 1992.35 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3409]: 6 0 1.02168e+06 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3410]: 6 0 2.04337e+06 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3411]: 6 0 4.08675e+06 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3460]: 6 0 7978.42 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3469]: 6 0 4.08675e+06 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3470]: 6 0 8.1735e+06 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3471]: 6 0 1.6347e+07 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3529]: 6 0 1.6347e+07 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3530]: 6 0 3.2694e+07 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3531]: 6 0 6.5388e+07 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3580]: 6 0 127661 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3589]: 6 0 6.5388e+07 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3590]: 6 0 1.30776e+08 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3591]: 6 0 2.61552e+08 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3640]: 6 0 510635 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3649]: 6 0 2.61552e+08 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3913]: 6 0 2 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3914]: 6 0 1 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3972]: 6 0 1 shouldn't be
272.08/272.99	WSVECS04 Frhs2[3999]: 6 0 4.5 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4029]: 6 0 2 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4086]: 6 0 3 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4203]: 6 0 2 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4222]: 6 0 1 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4251]: 6 0 1 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4260]: 6 0 3 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4261]: 6 0 2 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4280]: 6 0 1 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4290]: 6 0 2 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4318]: 6 0 3 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4349]: 6 0 11 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4380]: 6 0 1.5 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4407]: 6 0 11 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4436]: 6 0 1 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4463]: 6 0 13 shouldn't be
272.08/272.99	WSVECS04 Frhs2[4571]: 6 0 8.17349e+06 shouldn't be
272.08/272.99	WSVECS04 Frhs2[5162]: 6 0 2.79155 shouldn't be
272.08/272.99	WSVECS04 Frhs2[5222]: 6 0 26.1662 shouldn't be
272.08/272.99	WSVECS04 Frhs2[5282]: 6 0 119.665 shouldn't be
272.08/272.99	WSVECS04 Frhs2[5342]: 6 0 492.659 shouldn't be
272.08/272.99	WSVECS04 Frhs2[5402]: 6 0 1989.64 shouldn't be
272.08/272.99	WSVECS04 Frhs2[5451]: 6 0 8 shouldn't be
272.08/272.99	WSVECS04 Frhs2[5462]: 6 0 7973.54 shouldn't be
272.08/272.99	WSVECS04 Frhs2[5470]: 6 0 4.08673e+06 shouldn't be
273.88/274.70	WSVECS04 Frhs2[14]: 6 -2 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1161]: 6 0 1.5 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1219]: 6 0 1.875 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1247]: 6 0 3.75 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1363]: 6 0 3 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1421]: 6 0 3 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1479]: 6 0 2 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1508]: 6 0 3.96875 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1683]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1916]: 6 0 4.5 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1922]: 6 -0.5 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1931]: 6 -4.25049 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1935]: 6 -1 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1964]: 6 -6 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1968]: 6 -0.187501 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1997]: 6 -2.8125 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[1999]: 6 -2 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2000]: 6 -2 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2001]: 6 -2 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2003]: 6 -254.437 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2027]: 6 -3.625 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2028]: 6 -2.75 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2029]: 6 -2 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2030]: 6 -2 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2057]: 6 -2.25 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2063]: 6 -1001.74 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2092]: 6 -2 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2152]: 6 -2 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2183]: 6 -15966.4 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2212]: 6 -1.99999 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2332]: 6 -1.99976 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2363]: 6 -1.02169e+06 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2395]: 6 -2.1875 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2483]: 6 -1.6347e+07 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2513]: 6 -3.2694e+07 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2542]: 6 -1.96875 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2573]: 6 -1.30776e+08 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2640]: 6 0 3.34787e+10 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2670]: 6 -48.7308 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2723]: 6 -4.18484e+09 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2815]: 6 0 88.0086 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2869]: 6 0 1.52243 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2870]: 6 0 3.79115 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2871]: 6 0 11.5823 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2875]: 6 0 247.186 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2877]: 6 0 993.739 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2933]: 6 0 246.436 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2935]: 6 0 994.743 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2937]: 6 0 3987.97 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2993]: 6 0 995.243 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2995]: 6 0 3988.72 shouldn't be
273.88/274.70	WSVECS04 Frhs2[2997]: 6 0 15960.9 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3053]: 6 0 3987.97 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3055]: 6 0 15960.9 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3113]: 6 0 15960.9 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3115]: 6 0 63852.5 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3117]: 6 0 255419 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3173]: 6 0 63852.5 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3175]: 6 0 255419 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3177]: 6 0 1.02169e+06 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3214]: 6 -2.51303 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3215]: 6 -1.02606 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3231]: 6 0 63852.5 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3233]: 6 0 255419 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3235]: 6 0 1.02169e+06 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3237]: 6 0 4.08675e+06 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3293]: 6 0 1.02169e+06 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3295]: 6 0 4.08675e+06 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3297]: 6 0 1.6347e+07 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3353]: 6 0 4.08673e+06 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3355]: 6 0 1.6347e+07 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3357]: 6 0 6.53881e+07 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3413]: 6 0 1.6347e+07 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3415]: 6 0 6.53881e+07 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3417]: 6 0 2.61552e+08 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3473]: 6 0 6.53881e+07 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3475]: 6 0 2.61552e+08 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3533]: 6 0 2.61552e+08 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3535]: 6 0 1.04621e+09 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3537]: 6 0 4.18484e+09 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3593]: 6 0 1.04621e+09 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3597]: 6 0 1.67393e+10 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3650]: 6 0 5.23104e+08 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3655]: 6 0 1.67393e+10 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3657]: 6 0 6.69574e+10 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3768]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3769]: 6 0 3.01484 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3771]: 6 0 3.00792 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3775]: 6 0 3.00679 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3800]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3804]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3827]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3829]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3831]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3833]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3856]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3858]: 6 0 1.5 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3862]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3883]: 6 0 3 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3884]: 6 0 2 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3891]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3916]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3920]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3941]: 6 0 3 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3942]: 6 0 2 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3945]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3947]: 6 0 1.5 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3949]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3978]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[3990]: 6 0 0.897178 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4001]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4007]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4019]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4030]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4036]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4048]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4057]: 6 0 3 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4058]: 6 0 2 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4059]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4061]: 6 0 1.5 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4063]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4065]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4077]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4092]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4094]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4106]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4115]: 6 0 3 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4119]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4121]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4123]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4150]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4152]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4173]: 6 0 3 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4174]: 6 0 2 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4177]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4179]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4181]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4208]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4210]: 6 0 1.5 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4231]: 6 0 3 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4232]: 6 0 2 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4233]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4237]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4266]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4268]: 6 0 2.375 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4289]: 6 0 3 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4291]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4295]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4309]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4338]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4347]: 6 0 3 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4355]: 6 0 2 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4405]: 6 0 13 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4413]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4441]: 6 0 3.75 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4442]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4464]: 6 0 2 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4469]: 6 0 8.36967e+09 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4471]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4492]: 6 0 3 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4497]: 6 0 8.36967e+09 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4500]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4529]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4557]: 6 0 2 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4580]: 6 0 1 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4581]: 6 0 8.36967e+09 shouldn't be
273.88/274.70	WSVECS04 Frhs2[4590]: 6 0 2 shouldn't be
273.88/274.70	WSVECS04 Frhs2[5421]: 6 0 2.09242e+09 shouldn't be
273.88/274.70	WSVECS04 Frhs2[5483]: 6 0 3.34787e+10 shouldn't be
273.88/274.70	WSVECS04 Frhs2[5485]: 6 0 1.33915e+11 shouldn't be
273.88/274.70	WSVECS04 Frhs2[5487]: 6 0 5.35659e+11 shouldn't be
273.88/274.70	WSVECS04 Frhs2[5492]: 6 -1.00857 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[5501]: 6 -1.00857 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[5505]: 6 -1.12857 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[5508]: 6 -1.97711 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[5509]: 6 -2.95422 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[5510]: 6 -4.89986 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[5511]: 6 -8.79973 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[5512]: 6 -16.5909 0 shouldn't be
273.88/274.70	WSVECS04 Frhs2[5607]: 6 0 5.35659e+11 shouldn't be
399.48/400.63	c #Conflicts:     204000 | #Constraints:      48217
399.48/400.63	c #Conflicts:     205000 | #Constraints:      49217
399.48/400.63	c #Conflicts:     206000 | #Constraints:      50217
399.48/400.63	c #Conflicts:     207000 | #Constraints:      51217
399.48/400.63	c #Conflicts:     208000 | #Constraints:      52217
399.48/400.63	c #Conflicts:     209000 | #Constraints:      53217
399.48/400.63	c INPROCESSING
399.48/400.63	c GARBAGE COLLECT
399.48/400.63	c #Conflicts:     210000 | #Constraints:      31802
399.48/400.63	c #Conflicts:     211000 | #Constraints:      32802
399.48/400.63	c #Conflicts:     212000 | #Constraints:      33802
399.48/400.63	c #Conflicts:     213000 | #Constraints:      34802
399.48/400.63	c #Conflicts:     214000 | #Constraints:      35802
399.48/400.63	c #Conflicts:     215000 | #Constraints:      36802
399.48/400.63	c #Conflicts:     216000 | #Constraints:      37802
399.48/400.63	c #Conflicts:     217000 | #Constraints:      38802
399.48/400.63	c #Conflicts:     218000 | #Constraints:      39802
399.48/400.63	c #Conflicts:     219000 | #Constraints:      40802
399.48/400.63	c #Conflicts:     220000 | #Constraints:      41802
399.48/400.63	c #Conflicts:     221000 | #Constraints:      42802
399.48/400.63	c #Conflicts:     222000 | #Constraints:      43802
399.48/400.63	c INPROCESSING
399.48/400.63	c GARBAGE COLLECT
399.48/400.63	c #Conflicts:     223000 | #Constraints:      27120
399.48/400.63	c #Conflicts:     224000 | #Constraints:      28120
399.48/400.63	c #Conflicts:     225000 | #Constraints:      29120
399.48/400.63	c #Conflicts:     226000 | #Constraints:      30120
399.48/400.63	c #Conflicts:     227000 | #Constraints:      31120
399.48/400.63	c #Conflicts:     228000 | #Constraints:      32120
399.48/400.63	c #Conflicts:     229000 | #Constraints:      33120
399.48/400.63	c #Conflicts:     230000 | #Constraints:      34120
399.48/400.63	c #Conflicts:     231000 | #Constraints:      35120
399.48/400.63	c #Conflicts:     232000 | #Constraints:      36120
399.48/400.63	c #Conflicts:     233000 | #Constraints:      37120
399.48/400.63	c #Conflicts:     234000 | #Constraints:      38120
399.48/400.63	c #Conflicts:     235000 | #Constraints:      39120
399.48/400.63	c #Conflicts:     236000 | #Constraints:      40120
399.48/400.63	c #Conflicts:     237000 | #Constraints:      41120
399.48/400.63	c #Conflicts:     238000 | #Constraints:      42120
399.48/400.63	c #Conflicts:     239000 | #Constraints:      43120
399.48/400.63	c #Conflicts:     240000 | #Constraints:      44120
399.48/400.63	c #Conflicts:     241000 | #Constraints:      45120
399.48/400.63	c #Conflicts:     242000 | #Constraints:      46120
399.48/400.63	c #Conflicts:     243000 | #Constraints:      47120
399.48/400.63	c #Conflicts:     244000 | #Constraints:      48120
399.48/400.63	c #Conflicts:     245000 | #Constraints:      49120
399.48/400.63	c #Conflicts:     246000 | #Constraints:      50120
399.48/400.63	c #Conflicts:     247000 | #Constraints:      51120
399.48/400.63	c #Conflicts:     248000 | #Constraints:      52120
399.48/400.63	c #Conflicts:     249000 | #Constraints:      53120
399.48/400.63	c #Conflicts:     250000 | #Constraints:      54120
399.48/400.63	c #Conflicts:     251000 | #Constraints:      55120
399.48/400.63	c #Conflicts:     252000 | #Constraints:      56120
399.48/400.63	c #Conflicts:     253000 | #Constraints:      57120
399.48/400.63	c #Conflicts:     254000 | #Constraints:      58120
399.48/400.63	c INPROCESSING
399.48/400.63	c GARBAGE COLLECT
399.48/400.63	c rational objective 30
415.95/417.12	c #Conflicts:     255000 | #Constraints:      34248
415.95/417.12	c #Conflicts:     256000 | #Constraints:      35248
415.95/417.12	c #Conflicts:     257000 | #Constraints:      36248
415.95/417.12	c #Conflicts:     258000 | #Constraints:      37248
415.95/417.12	c #Conflicts:     259000 | #Constraints:      38248
415.95/417.12	c #Conflicts:     260000 | #Constraints:      39248
415.95/417.12	c #Conflicts:     261000 | #Constraints:      40248
415.95/417.12	c #Conflicts:     262000 | #Constraints:      41248
415.95/417.12	c #Conflicts:     263000 | #Constraints:      42248
415.95/417.12	c #Conflicts:     264000 | #Constraints:      43248
415.95/417.12	c #Conflicts:     265000 | #Constraints:      44248
415.95/417.12	c #Conflicts:     266000 | #Constraints:      45248
415.95/417.12	c #Conflicts:     267000 | #Constraints:      46248
415.95/417.12	c #Conflicts:     268000 | #Constraints:      47248
415.95/417.12	c INPROCESSING
415.95/417.12	c GARBAGE COLLECT
415.95/417.12	c rational objective 30
500.63/502.02	c #Conflicts:     269000 | #Constraints:      27883
500.63/502.02	c #Conflicts:     270000 | #Constraints:      28883
500.63/502.02	c #Conflicts:     271000 | #Constraints:      29883
500.63/502.02	c #Conflicts:     272000 | #Constraints:      30883
500.63/502.02	c #Conflicts:     273000 | #Constraints:      31883
500.63/502.02	c #Conflicts:     274000 | #Constraints:      32883
500.63/502.02	c #Conflicts:     275000 | #Constraints:      33883
500.63/502.02	c #Conflicts:     276000 | #Constraints:      34883
500.63/502.02	c #Conflicts:     277000 | #Constraints:      35883
500.63/502.02	c #Conflicts:     278000 | #Constraints:      36883
500.63/502.02	c #Conflicts:     279000 | #Constraints:      37883
500.63/502.02	c #Conflicts:     280000 | #Constraints:      38883
500.63/502.02	c #Conflicts:     281000 | #Constraints:      39883
500.63/502.02	c #Conflicts:     282000 | #Constraints:      40883
500.63/502.02	c #Conflicts:     283000 | #Constraints:      41883
500.63/502.02	c #Conflicts:     284000 | #Constraints:      42883
500.63/502.02	c #Conflicts:     285000 | #Constraints:      43883
500.63/502.02	c #Conflicts:     286000 | #Constraints:      44883
500.63/502.02	c #Conflicts:     287000 | #Constraints:      45883
500.63/502.02	c #Conflicts:     288000 | #Constraints:      46883
500.63/502.02	c #Conflicts:     289000 | #Constraints:      47883
500.63/502.02	c #Conflicts:     290000 | #Constraints:      48883
500.63/502.02	c #Conflicts:     291000 | #Constraints:      49883
500.63/502.02	c #Conflicts:     292000 | #Constraints:      50883
500.63/502.02	c #Conflicts:     293000 | #Constraints:      51883
500.63/502.02	c #Conflicts:     294000 | #Constraints:      52883
500.63/502.02	c #Conflicts:     295000 | #Constraints:      53883
500.63/502.02	c #Conflicts:     296000 | #Constraints:      54883
500.63/502.02	c #Conflicts:     297000 | #Constraints:      55883
500.63/502.02	c #Conflicts:     298000 | #Constraints:      56883
500.63/502.02	c #Conflicts:     299000 | #Constraints:      57883
500.63/502.02	c #Conflicts:     300000 | #Constraints:      58883
500.63/502.02	c #Conflicts:     301000 | #Constraints:      59883
500.63/502.02	c #Conflicts:     302000 | #Constraints:      60883
500.63/502.02	c #Conflicts:     303000 | #Constraints:      61883
500.63/502.02	c INPROCESSING
500.63/502.02	c GARBAGE COLLECT
500.63/502.02	c rational objective 30
526.06/527.54	c #Conflicts:     304000 | #Constraints:      35804
526.06/527.54	c #Conflicts:     305000 | #Constraints:      36804
526.06/527.54	c #Conflicts:     306000 | #Constraints:      37804
526.06/527.54	c #Conflicts:     307000 | #Constraints:      38804
526.06/527.54	c #Conflicts:     308000 | #Constraints:      39804
526.06/527.54	c #Conflicts:     309000 | #Constraints:      40804
526.06/527.54	c #Conflicts:     310000 | #Constraints:      41804
526.06/527.54	c #Conflicts:     311000 | #Constraints:      42804
526.06/527.54	c #Conflicts:     312000 | #Constraints:      43804
526.06/527.54	c #Conflicts:     313000 | #Constraints:      44804
526.06/527.54	c #Conflicts:     314000 | #Constraints:      45804
526.06/527.54	c #Conflicts:     315000 | #Constraints:      46804
526.06/527.54	c #Conflicts:     316000 | #Constraints:      47804
526.06/527.54	c #Conflicts:     317000 | #Constraints:      48804
526.06/527.54	c #Conflicts:     318000 | #Constraints:      49804
526.06/527.54	c #Conflicts:     319000 | #Constraints:      50804
526.06/527.54	c INPROCESSING
526.06/527.54	c GARBAGE COLLECT
526.06/527.54	c rational objective 30
679.38/681.22	c #Conflicts:     320000 | #Constraints:      30480
679.38/681.22	c #Conflicts:     321000 | #Constraints:      31480
679.38/681.22	c #Conflicts:     322000 | #Constraints:      32480
679.38/681.22	c #Conflicts:     323000 | #Constraints:      33480
679.38/681.22	c #Conflicts:     324000 | #Constraints:      34480
679.38/681.22	c #Conflicts:     325000 | #Constraints:      35480
679.38/681.22	c #Conflicts:     326000 | #Constraints:      36480
679.38/681.22	c #Conflicts:     327000 | #Constraints:      37480
679.38/681.22	c #Conflicts:     328000 | #Constraints:      38480
679.38/681.22	c #Conflicts:     329000 | #Constraints:      39480
679.38/681.22	c #Conflicts:     330000 | #Constraints:      40480
679.38/681.22	c #Conflicts:     331000 | #Constraints:      41480
679.38/681.22	c #Conflicts:     332000 | #Constraints:      42480
679.38/681.22	c #Conflicts:     333000 | #Constraints:      43480
679.38/681.22	c #Conflicts:     334000 | #Constraints:      44480
679.38/681.22	c #Conflicts:     335000 | #Constraints:      45480
679.38/681.22	c #Conflicts:     336000 | #Constraints:      46480
679.38/681.22	c #Conflicts:     337000 | #Constraints:      47480
679.38/681.22	c #Conflicts:     338000 | #Constraints:      48480
679.38/681.22	c #Conflicts:     339000 | #Constraints:      49480
679.38/681.22	c #Conflicts:     340000 | #Constraints:      50480
679.38/681.22	c #Conflicts:     341000 | #Constraints:      51480
679.38/681.22	c #Conflicts:     342000 | #Constraints:      52480
679.38/681.22	c #Conflicts:     343000 | #Constraints:      53480
679.38/681.22	c #Conflicts:     344000 | #Constraints:      54480
679.38/681.22	c #Conflicts:     345000 | #Constraints:      55480
679.38/681.22	c #Conflicts:     346000 | #Constraints:      56480
679.38/681.22	c #Conflicts:     347000 | #Constraints:      57480
679.38/681.22	c #Conflicts:     348000 | #Constraints:      58480
679.38/681.22	c #Conflicts:     349000 | #Constraints:      59480
679.38/681.22	c #Conflicts:     350000 | #Constraints:      60480
679.38/681.22	c #Conflicts:     351000 | #Constraints:      61480
679.38/681.22	c #Conflicts:     352000 | #Constraints:      62480
679.38/681.22	c #Conflicts:     353000 | #Constraints:      63480
679.38/681.22	c #Conflicts:     354000 | #Constraints:      64480
679.38/681.22	c #Conflicts:     355000 | #Constraints:      65480
679.38/681.22	c #Conflicts:     356000 | #Constraints:      66480
679.38/681.22	c #Conflicts:     357000 | #Constraints:      67480
679.38/681.22	c INPROCESSING
679.38/681.22	c GARBAGE COLLECT
679.38/681.22	c rational objective 30
903.72/906.18	c #Conflicts:     358000 | #Constraints:      38680
903.72/906.18	c #Conflicts:     359000 | #Constraints:      39680
903.72/906.18	c #Conflicts:     360000 | #Constraints:      40680
903.72/906.18	c #Conflicts:     361000 | #Constraints:      41680
903.72/906.18	c #Conflicts:     362000 | #Constraints:      42680
903.72/906.18	c #Conflicts:     363000 | #Constraints:      43680
903.72/906.18	c #Conflicts:     364000 | #Constraints:      44680
903.72/906.18	c #Conflicts:     365000 | #Constraints:      45680
903.72/906.18	c #Conflicts:     366000 | #Constraints:      46680
903.72/906.18	c #Conflicts:     367000 | #Constraints:      47680
903.72/906.18	c #Conflicts:     368000 | #Constraints:      48680
903.72/906.18	c #Conflicts:     369000 | #Constraints:      49680
903.72/906.18	c #Conflicts:     370000 | #Constraints:      50680
903.72/906.18	c #Conflicts:     371000 | #Constraints:      51680
903.72/906.18	c #Conflicts:     372000 | #Constraints:      52680
903.72/906.18	c #Conflicts:     373000 | #Constraints:      53681
903.72/906.18	c #Conflicts:     374000 | #Constraints:      54681
903.72/906.18	c INPROCESSING
903.72/906.18	c GARBAGE COLLECT
903.72/906.18	c #Conflicts:     375000 | #Constraints:      32328
903.72/906.18	c #Conflicts:     376000 | #Constraints:      33329
903.72/906.18	c #Conflicts:     377000 | #Constraints:      34329
903.72/906.18	c #Conflicts:     378000 | #Constraints:      35329
903.72/906.18	c #Conflicts:     379000 | #Constraints:      36329
903.72/906.18	c #Conflicts:     380000 | #Constraints:      37329
903.72/906.18	c #Conflicts:     381000 | #Constraints:      38329
903.72/906.18	c #Conflicts:     382000 | #Constraints:      39329
903.72/906.18	c #Conflicts:     383000 | #Constraints:      40329
903.72/906.18	c #Conflicts:     384000 | #Constraints:      41329
903.72/906.18	c #Conflicts:     385000 | #Constraints:      42329
903.72/906.18	c #Conflicts:     386000 | #Constraints:      43329
903.72/906.18	c #Conflicts:     387000 | #Constraints:      44329
903.72/906.18	c #Conflicts:     388000 | #Constraints:      45329
903.72/906.18	c #Conflicts:     389000 | #Constraints:      46329
903.72/906.18	c #Conflicts:     390000 | #Constraints:      47329
903.72/906.18	c #Conflicts:     391000 | #Constraints:      48329
903.72/906.18	c #Conflicts:     392000 | #Constraints:      49329
903.72/906.18	c #Conflicts:     393000 | #Constraints:      50329
903.72/906.18	c #Conflicts:     394000 | #Constraints:      51329
903.72/906.18	c #Conflicts:     395000 | #Constraints:      52329
903.72/906.18	c #Conflicts:     396000 | #Constraints:      53329
903.72/906.18	c #Conflicts:     397000 | #Constraints:      54329
903.72/906.18	c #Conflicts:     398000 | #Constraints:      55329
903.72/906.18	c #Conflicts:     399000 | #Constraints:      56329
903.72/906.18	c #Conflicts:     400000 | #Constraints:      57329
903.72/906.18	c #Conflicts:     401000 | #Constraints:      58329
903.72/906.18	c #Conflicts:     402000 | #Constraints:      59329
903.72/906.18	c #Conflicts:     403000 | #Constraints:      60329
903.72/906.18	c #Conflicts:     404000 | #Constraints:      61329
903.72/906.18	c #Conflicts:     405000 | #Constraints:      62329
903.72/906.18	c #Conflicts:     406000 | #Constraints:      63329
903.72/906.18	c #Conflicts:     407000 | #Constraints:      64330
903.72/906.18	c #Conflicts:     408000 | #Constraints:      65330
903.72/906.18	c #Conflicts:     409000 | #Constraints:      66330
903.72/906.18	c #Conflicts:     410000 | #Constraints:      67330
903.72/906.18	c #Conflicts:     411000 | #Constraints:      68330
903.72/906.18	c #Conflicts:     412000 | #Constraints:      69330
903.72/906.18	c #Conflicts:     413000 | #Constraints:      70330
903.72/906.18	c #Conflicts:     414000 | #Constraints:      71330
903.72/906.18	c #Conflicts:     415000 | #Constraints:      72330
903.72/906.18	c INPROCESSING
903.72/906.18	c GARBAGE COLLECT
903.72/906.18	c #Conflicts:     416000 | #Constraints:      40915
903.72/906.18	c #Conflicts:     417000 | #Constraints:      41915
903.72/906.18	c #Conflicts:     418000 | #Constraints:      42915
903.72/906.18	c #Conflicts:     419000 | #Constraints:      43915
903.72/906.18	c #Conflicts:     420000 | #Constraints:      44915
903.72/906.18	c #Conflicts:     421000 | #Constraints:      45915
903.72/906.18	c #Conflicts:     422000 | #Constraints:      46915
903.72/906.18	c #Conflicts:     423000 | #Constraints:      47915
903.72/906.18	c #Conflicts:     424000 | #Constraints:      48915
903.72/906.18	c #Conflicts:     425000 | #Constraints:      49915
903.72/906.18	c #Conflicts:     426000 | #Constraints:      50915
903.72/906.18	c #Conflicts:     427000 | #Constraints:      51915
903.72/906.18	c #Conflicts:     428000 | #Constraints:      52915
903.72/906.18	c #Conflicts:     429000 | #Constraints:      53915
903.72/906.18	c #Conflicts:     430000 | #Constraints:      54915
903.72/906.18	c #Conflicts:     431000 | #Constraints:      55915
903.72/906.18	c #Conflicts:     432000 | #Constraints:      56915
903.72/906.18	c #Conflicts:     433000 | #Constraints:      57915
903.72/906.18	c #Conflicts:     434000 | #Constraints:      58915
903.72/906.18	c INPROCESSING
903.72/906.18	c GARBAGE COLLECT
903.81/906.20	c rational objective 30
1083.16/1086.02	c #Conflicts:     435000 | #Constraints:      34685
1083.16/1086.02	c #Conflicts:     436000 | #Constraints:      35685
1083.16/1086.02	c #Conflicts:     437000 | #Constraints:      36685
1083.16/1086.02	c #Conflicts:     438000 | #Constraints:      37685
1083.16/1086.02	c #Conflicts:     439000 | #Constraints:      38686
1083.16/1086.02	c #Conflicts:     440000 | #Constraints:      39686
1083.16/1086.02	c #Conflicts:     441000 | #Constraints:      40686
1083.16/1086.02	c #Conflicts:     442000 | #Constraints:      41686
1083.16/1086.02	c #Conflicts:     443000 | #Constraints:      42686
1083.16/1086.02	c #Conflicts:     444000 | #Constraints:      43686
1083.16/1086.02	c #Conflicts:     445000 | #Constraints:      44686
1083.16/1086.02	c #Conflicts:     446000 | #Constraints:      45686
1083.16/1086.02	c #Conflicts:     447000 | #Constraints:      46686
1083.16/1086.02	c #Conflicts:     448000 | #Constraints:      47686
1083.16/1086.02	c #Conflicts:     449000 | #Constraints:      48686
1083.16/1086.02	c #Conflicts:     450000 | #Constraints:      49686
1083.16/1086.02	c #Conflicts:     451000 | #Constraints:      50686
1083.16/1086.02	c #Conflicts:     452000 | #Constraints:      51686
1083.16/1086.02	c #Conflicts:     453000 | #Constraints:      52686
1083.16/1086.02	c #Conflicts:     454000 | #Constraints:      53686
1083.16/1086.03	c #Conflicts:     455000 | #Constraints:      54686
1083.16/1086.03	c #Conflicts:     456000 | #Constraints:      55687
1083.16/1086.03	c #Conflicts:     457000 | #Constraints:      56687
1083.16/1086.03	c #Conflicts:     458000 | #Constraints:      57687
1083.16/1086.03	c #Conflicts:     459000 | #Constraints:      58687
1083.16/1086.03	c #Conflicts:     460000 | #Constraints:      59687
1083.16/1086.03	c #Conflicts:     461000 | #Constraints:      60687
1083.16/1086.03	c #Conflicts:     462000 | #Constraints:      61687
1083.16/1086.03	c #Conflicts:     463000 | #Constraints:      62687
1083.16/1086.03	c #Conflicts:     464000 | #Constraints:      63687
1083.16/1086.03	c #Conflicts:     465000 | #Constraints:      64687
1083.16/1086.03	c #Conflicts:     466000 | #Constraints:      65687
1083.16/1086.03	c #Conflicts:     467000 | #Constraints:      66687
1083.16/1086.03	c #Conflicts:     468000 | #Constraints:      67687
1083.16/1086.03	c #Conflicts:     469000 | #Constraints:      68687
1083.16/1086.03	c #Conflicts:     470000 | #Constraints:      69687
1083.16/1086.03	c #Conflicts:     471000 | #Constraints:      70687
1083.16/1086.03	c #Conflicts:     472000 | #Constraints:      71687
1083.16/1086.03	c #Conflicts:     473000 | #Constraints:      72687
1083.16/1086.03	c #Conflicts:     474000 | #Constraints:      73687
1083.16/1086.03	c #Conflicts:     475000 | #Constraints:      74687
1083.16/1086.03	c #Conflicts:     476000 | #Constraints:      75687
1083.16/1086.03	c #Conflicts:     477000 | #Constraints:      76687
1083.16/1086.03	c #Conflicts:     478000 | #Constraints:      77687
1083.16/1086.03	c INPROCESSING
1083.16/1086.03	c GARBAGE COLLECT
1083.16/1086.03	c rational objective 30
1246.13/1249.49	c #Conflicts:     479000 | #Constraints:      43837
1246.13/1249.49	c #Conflicts:     480000 | #Constraints:      44837
1246.13/1249.49	c #Conflicts:     481000 | #Constraints:      45837
1246.13/1249.49	c #Conflicts:     482000 | #Constraints:      46837
1246.13/1249.49	c #Conflicts:     483000 | #Constraints:      47837
1246.13/1249.49	c #Conflicts:     484000 | #Constraints:      48837
1246.13/1249.49	c #Conflicts:     485000 | #Constraints:      49837
1246.13/1249.49	c #Conflicts:     486000 | #Constraints:      50837
1246.13/1249.49	c #Conflicts:     487000 | #Constraints:      51837
1246.13/1249.49	c #Conflicts:     488000 | #Constraints:      52837
1246.13/1249.49	c #Conflicts:     489000 | #Constraints:      53837
1246.13/1249.49	c #Conflicts:     490000 | #Constraints:      54837
1246.13/1249.49	c #Conflicts:     491000 | #Constraints:      55837
1246.13/1249.49	c #Conflicts:     492000 | #Constraints:      56837
1246.13/1249.49	c #Conflicts:     493000 | #Constraints:      57837
1246.13/1249.49	c #Conflicts:     494000 | #Constraints:      58837
1246.13/1249.49	c #Conflicts:     495000 | #Constraints:      59837
1246.13/1249.49	c #Conflicts:     496000 | #Constraints:      60837
1246.13/1249.49	c #Conflicts:     497000 | #Constraints:      61837
1246.13/1249.49	c #Conflicts:     498000 | #Constraints:      62837
1246.13/1249.49	c INPROCESSING
1246.13/1249.49	c GARBAGE COLLECT
1246.13/1249.49	c #Conflicts:     499000 | #Constraints:      36612
1246.13/1249.49	c #Conflicts:     500000 | #Constraints:      37612
1246.13/1249.49	c #Conflicts:     501000 | #Constraints:      38612
1246.13/1249.49	c #Conflicts:     502000 | #Constraints:      39612
1246.13/1249.49	c #Conflicts:     503000 | #Constraints:      40612
1246.13/1249.49	c #Conflicts:     504000 | #Constraints:      41612
1246.13/1249.49	c #Conflicts:     505000 | #Constraints:      42612
1246.13/1249.49	c #Conflicts:     506000 | #Constraints:      43612
1246.13/1249.49	c #Conflicts:     507000 | #Constraints:      44612
1246.13/1249.49	c #Conflicts:     508000 | #Constraints:      45612
1246.13/1249.49	c #Conflicts:     509000 | #Constraints:      46612
1246.13/1249.49	c #Conflicts:     510000 | #Constraints:      47612
1246.13/1249.49	c #Conflicts:     511000 | #Constraints:      48612
1246.13/1249.49	c #Conflicts:     512000 | #Constraints:      49612
1246.13/1249.49	c #Conflicts:     513000 | #Constraints:      50612
1246.13/1249.49	c #Conflicts:     514000 | #Constraints:      51612
1246.13/1249.49	c #Conflicts:     515000 | #Constraints:      52612
1246.13/1249.49	c #Conflicts:     516000 | #Constraints:      53612
1246.13/1249.49	c #Conflicts:     517000 | #Constraints:      54612
1246.13/1249.49	c #Conflicts:     518000 | #Constraints:      55612
1246.13/1249.49	c #Conflicts:     519000 | #Constraints:      56612
1246.13/1249.49	c #Conflicts:     520000 | #Constraints:      57612
1246.13/1249.49	c #Conflicts:     521000 | #Constraints:      58612
1246.13/1249.49	c #Conflicts:     522000 | #Constraints:      59612
1246.13/1249.49	WSVECS04 Frhs2[86]: 6 -0.241856 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[139]: 6 -547446 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[145]: 6 0 9.52597e+08 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[146]: 6 -3.97133e+08 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[329]: 6 -353.225 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[389]: 6 -1406.9 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[446]: 6 -705.949 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[506]: 6 -2817.8 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[563]: 6 -1411.96 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[564]: 6 -2821.8 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[621]: 6 -1412.46 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[623]: 6 -5641.84 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[624]: 6 -11281.2 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[681]: 6 -33182.4 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[683]: 6 -22561.4 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[738]: 6 -2825.05 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[739]: 6 -5647.84 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[793]: 6 -355.318 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[799]: 6 -22585.4 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[853]: 6 -1415.27 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[913]: 6 -5655.09 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[973]: 6 -1.00009 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[989]: 6 -1.48187e+09 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1049]: 6 -5.92748e+09 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1324]: 6 0 2.00003 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1330]: 6 0 1.96879 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1352]: 6 0 3.99992 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1393]: 6 0 1.00002 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1394]: 6 -21.4493 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1456]: 6 0 2.00115 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1504]: 6 0 2.00005 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1562]: 6 0 1.00006 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1563]: 6 -22.7599 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1565]: 6 -105.04 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1623]: 6 -5.21633 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1658]: 6 0 7.41162e+07 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1677]: 6 -61.0397 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1680]: 6 0 361812 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1683]: 6 0 0.250076 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1708]: 6 0 361815 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1736]: 6 0 361817 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1742]: 6 -18.0001 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1745]: 6 -7.78163e+08 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1763]: 6 0 3.50004 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1791]: 6 0 4.50009 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1796]: 6 0 1.00006 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1798]: 6 0 86011.2 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1816]: 6 0 22613.4 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1819]: 6 0 5.50007 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1820]: 6 0 361821 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1821]: 6 0 723639 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1824]: 6 0 0.500076 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1845]: 6 -45219 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1848]: 6 0 361824 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1852]: 6 0 21504.6 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1854]: 6 0 86015.2 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1882]: 6 0 86016.2 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[1904]: 6 0 2.00008 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2278]: 6 0 11306 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2516]: 6 -0.625042 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2602]: 6 -361802 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2604]: 6 -1.00002 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2607]: 6 -14.0001 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2610]: 6 0 9.26169e+07 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2661]: 6 -1.75005 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2668]: 6 -7.62082e+08 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2690]: 6 -1.0001 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2722]: 6 -0.500029 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2727]: 6 -1.00008 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2756]: 6 -1.00009 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2757]: 6 -1.00002 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2782]: 6 -2.00004 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2786]: 6 -1.00002 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2819]: 6 -1.00001 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2878]: 6 0 7.04079 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2880]: 6 0 41.6633 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2937]: 6 0 18.0816 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2938]: 6 0 41.6632 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2940]: 6 0 173.653 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2992]: 6 0 0.260333 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2995]: 6 0 21.0811 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2997]: 6 0 84.3264 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[2998]: 6 0 174.528 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3000]: 6 0 703.611 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3052]: 6 0 8.04105 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3055]: 6 0 87.3242 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3057]: 6 0 350.555 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3058]: 6 0 704.11 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3060]: 6 0 2824.19 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3110]: 6 0 8.0408 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3112]: 6 0 41.914 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3115]: 6 0 351.797 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3118]: 6 0 2823.44 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3120]: 6 0 11302.8 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3167]: 6 0 3.0204 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3170]: 6 0 41.163 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3172]: 6 0 173.656 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3175]: 6 0 1412.19 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3177]: 6 0 5648.88 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3178]: 6 0 11302.8 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3180]: 6 0 45220.1 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3224]: 6 0 0.260242 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3227]: 6 0 19.0814 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3230]: 6 0 174.152 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3232]: 6 0 704.373 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3235]: 6 0 5650 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3238]: 6 0 45220.1 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3240]: 6 0 180890 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3284]: 6 0 8.04066 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3287]: 6 0 85.8257 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3290]: 6 0 703.607 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3292]: 6 0 2823.49 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3295]: 6 0 22610 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3297]: 6 0 90443.1 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3298]: 6 0 180889 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3300]: 6 0 723567 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3344]: 6 0 41.1625 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3347]: 6 0 350.803 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3350]: 6 0 2823.43 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3352]: 6 0 11303 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3355]: 6 0 90442.9 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3358]: 6 0 723566 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3360]: 6 0 2.89428e+06 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3404]: 6 0 174.4 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3407]: 6 0 1410.21 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3410]: 6 0 11302.7 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3412]: 6 0 45221.8 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3415]: 6 0 361781 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3419]: 6 -1.24618 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3464]: 6 0 703.599 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3467]: 6 0 5649.84 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3470]: 6 0 45219.8 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3472]: 6 0 180889 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3475]: 6 0 1.44713e+06 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3479]: 6 -5.12252 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3524]: 6 0 2823.9 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3527]: 6 0 22608.9 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3528]: 6 -181891 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3530]: 6 0 180888 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3532]: 6 0 723565 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3536]: 6 -1.99229 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3539]: 6 -1.43753 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3584]: 6 0 11302.6 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3587]: 6 0 90442.4 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3590]: 6 0 723563 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3592]: 6 0 2.89426e+06 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3593]: 6 -1.00001 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3596]: 6 -1.96883 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3599]: 6 -1.62502 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3644]: 6 0 30117.8 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3647]: 6 0 361779 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3650]: 6 0 2.89426e+06 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3653]: 6 -1.00007 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3656]: 6 -1.87507 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3659]: 6 -0.500034 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3704]: 6 0 180886 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3710]: 6 0 1.1577e+07 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3711]: 6 -1.00004 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3716]: 6 -1.50007 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3775]: 6 0 1.00002 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3776]: 6 0 3.00013 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3805]: 6 0 1.50005 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3807]: 6 0 1.00002 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3833]: 6 0 3.00001 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3863]: 6 0 1.87505 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3891]: 6 0 3.62505 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3915]: 6 0 1.00007 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3942]: 6 0 1.50009 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[3944]: 6 0 1.00003 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4000]: 6 0 1.00005 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4008]: 6 0 1.00004 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4029]: 6 0 1.00009 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4037]: 6 0 1.00003 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4058]: 6 0 1.7501 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4060]: 6 0 1.00001 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4065]: 6 0 2.00002 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4066]: 6 0 1.00004 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4084]: 6 0 1.00003 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4094]: 6 0 2.00003 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4095]: 6 0 1.00005 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4113]: 6 0 1.00003 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4121]: 6 0 2.50004 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4123]: 6 0 2.00001 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4124]: 6 0 1.00008 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4139]: 6 0 1.00006 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4142]: 6 0 1.50009 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4145]: 6 0 1.00008 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4153]: 6 0 1.00008 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4155]: 6 0 1.00012 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4168]: 6 0 1.50009 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4174]: 6 0 1.00003 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4176]: 6 0 1.00007 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4180]: 6 -2.0001 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4182]: 6 0 1.00003 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4200]: 6 0 1.50007 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4203]: 6 0 1.00007 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4205]: 6 0 1.00002 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4210]: 6 0 2.00002 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4211]: 6 0 1.00003 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4232]: 6 0 1.0001 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4237]: 6 0 1.00007 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4239]: 6 0 2.00009 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4240]: 6 0 1.00001 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4258]: 6 0 1.00002 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4261]: 6 0 1.00006 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4265]: 6 0 3.87509 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4268]: 6 0 2.00007 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4287]: 6 0 1.50009 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4290]: 6 0 1.00007 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4293]: 6 -3.87508 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4319]: 6 0 1.00009 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4342]: 6 0 1.75003 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4345]: 6 0 1.00006 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4348]: 6 0 1.50003 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4406]: 6 0 1.00008 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4410]: 6 -5.78853e+06 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4429]: 6 0 1.00006 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4444]: 6 -1.87502 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4458]: 6 0 1.50003 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4461]: 6 0 1.0001 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4464]: 6 0 1.00003 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4490]: 6 0 1.00004 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4493]: 6 0 1.00009 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4496]: 6 -3.00009 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4516]: 6 0 1.00008 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4545]: 6 0 1.00007 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4574]: 6 0 2.0001 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[4584]: 6 -15.7501 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5160]: 6 -1.00395 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5190]: 6 -2.00789 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5219]: 6 -0.5001 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5220]: 6 -4.01569 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5248]: 6 -0.500022 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5277]: 6 -0.500091 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5306]: 6 -0.500043 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5338]: 6 -0.500033 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5340]: 6 -0.250069 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5367]: 6 -1.00001 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5396]: 6 -1.00007 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5397]: 6 -1.00009 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5426]: 6 -1.00009 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5430]: 6 -2.00009 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5453]: 6 -1.00009 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5459]: 6 -2.00006 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5477]: 6 0 1.44713e+06 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5481]: 6 -1.00004 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5483]: 6 -1.00004 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5489]: 6 -1.00002 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5540]: 6 -2.31542e+07 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5544]: 6 -3.70468e+08 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5547]: 6 -1.00004 0 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5601]: 6 0 4.63085e+07 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5602]: 6 0 9.26169e+07 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5603]: 6 0 1.85234e+08 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5605]: 6 0 7.40935e+08 shouldn't be
1246.13/1249.49	WSVECS04 Frhs2[5606]: 6 0 1.48187e+09 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[24]: 6 -2 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[139]: 6 -547446 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[145]: 6 0 9.52597e+08 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[146]: 6 -3.97133e+08 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[329]: 6 -353.225 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[389]: 6 -1406.9 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[446]: 6 -705.949 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[506]: 6 -2817.8 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[563]: 6 -1411.96 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[623]: 6 -5641.84 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[681]: 6 -33182.4 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[683]: 6 -22561.4 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[739]: 6 -5647.84 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[793]: 6 -355.318 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[853]: 6 -1415.27 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[913]: 6 -5655.09 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[973]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[989]: 6 -1.48187e+09 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1049]: 6 -5.92748e+09 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1330]: 6 0 1.96875 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1393]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1456]: 6 0 2.00111 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1565]: 6 -105.04 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1658]: 6 0 7.41162e+07 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1683]: 6 0 0.25 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1707]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1742]: 6 -18 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1763]: 6 0 3.5 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1770]: 6 0 2.64637e+08 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1788]: 6 0 22611.4 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1791]: 6 0 4.5 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1796]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1798]: 6 0 86011.2 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1816]: 6 0 22613.4 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1824]: 6 0 0.5 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1848]: 6 0 361824 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1854]: 6 0 86015.2 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1882]: 6 0 86016.2 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1904]: 6 0 2 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[1908]: 6 0 21504.6 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2160]: 6 -0.984378 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2277]: 6 -0.96875 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2306]: 6 -0.96875 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2365]: 6 -0.937501 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2395]: 6 -0.875001 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2455]: 6 -0.500001 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2484]: 6 -3.60814 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2487]: 6 -1.8125 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2511]: 6 -0.5 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2576]: 6 0 0.500001 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2596]: 6 -4.50496 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2631]: 6 -1.375 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2635]: 6 -0.5 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2662]: 6 -0.625001 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2666]: 6 0 2.64637e+08 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2689]: 6 0 361818 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2690]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2695]: 6 -2.64637e+08 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2719]: 6 -0.25 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2722]: 6 -0.5 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2727]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2756]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2777]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2778]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2782]: 6 -2 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2787]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2789]: 6 -2 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[2816]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3167]: 6 0 3.02035 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3227]: 6 0 19.0814 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3237]: 6 0 22607.5 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3284]: 6 0 8.04061 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3287]: 6 0 85.8256 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3295]: 6 0 22610 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3344]: 6 0 41.1625 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3347]: 6 0 350.803 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3407]: 6 0 1410.21 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3419]: 6 -1.24609 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3467]: 6 0 5649.84 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3479]: 6 -5.12244 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3528]: 6 -181891 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3536]: 6 -1.99219 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3539]: 6 -1.4375 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3593]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3596]: 6 -1.96875 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3599]: 6 -1.625 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3644]: 6 0 30117.8 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3653]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3654]: 6 -2 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3656]: 6 -1.875 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3659]: 6 -0.5 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3711]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3716]: 6 -1.5 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3775]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3804]: 6 0 4.00006 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3805]: 6 0 1.5 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3891]: 6 0 3.625 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3915]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3942]: 6 0 1.5 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3944]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3973]: 6 0 1.75 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3978]: 6 0 2.5 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[3979]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4000]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4008]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4029]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4037]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4058]: 6 0 1.75 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4060]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4066]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4089]: 6 0 1.75 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4095]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4124]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4139]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4145]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4152]: 6 0 3 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4153]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4168]: 6 0 1.5 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4174]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4176]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4180]: 6 -2 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4182]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4203]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4205]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4210]: 6 0 2 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4211]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4232]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4237]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4240]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4255]: 6 0 1.75 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4258]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4261]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4266]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4287]: 6 0 1.5 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4290]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4293]: 6 -3.875 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4295]: 6 0 2.5 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4319]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4348]: 6 0 1.5 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4432]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4444]: 6 -1.875 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4458]: 6 0 1.5 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4461]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4490]: 6 0 1 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4496]: 6 -3 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4574]: 6 0 2 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4584]: 6 -15.75 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[4590]: 6 0 2.37099e+10 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5160]: 6 -1.00391 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5189]: 6 -0.75 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5190]: 6 -2.00781 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5219]: 6 -0.500001 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5220]: 6 -4.01563 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5248]: 6 -0.500001 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5277]: 6 -0.500001 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5306]: 6 -0.500001 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5334]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5338]: 6 -0.500001 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5340]: 6 -0.250001 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5365]: 6 -2.98438 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5367]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5396]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5397]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5398]: 6 -0.875 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5426]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5427]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5428]: 6 -0.75 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5430]: 6 -2 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5453]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5456]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5457]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5459]: 6 -2 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5481]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5483]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5485]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5486]: 6 -1 0 shouldn't be
1247.63/1250.92	WSVECS04 Frhs2[5547]: 6 -1.00002 0 shouldn't be
1425.67/1429.43	c #Conflicts:     523000 | #Constraints:      60612
1425.67/1429.43	c #Conflicts:     524000 | #Constraints:      61612
1425.67/1429.43	c #Conflicts:     525000 | #Constraints:      62612
1425.67/1429.43	c #Conflicts:     526000 | #Constraints:      63612
1425.67/1429.43	c #Conflicts:     527000 | #Constraints:      64612
1425.67/1429.43	c #Conflicts:     528000 | #Constraints:      65612
1425.67/1429.43	c #Conflicts:     529000 | #Constraints:      66612
1425.67/1429.43	c #Conflicts:     530000 | #Constraints:      67612
1425.67/1429.43	c #Conflicts:     531000 | #Constraints:      68612
1425.67/1429.43	c #Conflicts:     532000 | #Constraints:      69612
1425.67/1429.43	c #Conflicts:     533000 | #Constraints:      70612
1425.67/1429.43	c #Conflicts:     534000 | #Constraints:      71612
1425.67/1429.43	c #Conflicts:     535000 | #Constraints:      72612
1425.67/1429.43	c #Conflicts:     536000 | #Constraints:      73612
1425.67/1429.43	c #Conflicts:     537000 | #Constraints:      74612
1425.67/1429.43	c #Conflicts:     538000 | #Constraints:      75612
1425.67/1429.43	c #Conflicts:     539000 | #Constraints:      76612
1425.67/1429.43	c #Conflicts:     540000 | #Constraints:      77612
1425.67/1429.43	c #Conflicts:     541000 | #Constraints:      78612
1425.67/1429.43	c #Conflicts:     542000 | #Constraints:      79612
1425.67/1429.43	c #Conflicts:     543000 | #Constraints:      80612
1425.67/1429.43	c #Conflicts:     544000 | #Constraints:      81612
1425.67/1429.43	c #Conflicts:     545000 | #Constraints:      82612
1425.67/1429.43	c INPROCESSING
1425.67/1429.43	c GARBAGE COLLECT
1425.67/1429.43	c rational objective 30
1498.38/1502.34	c #Conflicts:     546000 | #Constraints:      46195
1498.38/1502.34	c #Conflicts:     547000 | #Constraints:      47195
1498.38/1502.34	c #Conflicts:     548000 | #Constraints:      48195
1498.38/1502.34	c #Conflicts:     549000 | #Constraints:      49195
1498.38/1502.34	c #Conflicts:     550000 | #Constraints:      50195
1498.38/1502.34	c #Conflicts:     551000 | #Constraints:      51195
1498.38/1502.34	c #Conflicts:     552000 | #Constraints:      52195
1498.38/1502.34	c #Conflicts:     553000 | #Constraints:      53195
1498.38/1502.34	c #Conflicts:     554000 | #Constraints:      54195
1498.38/1502.34	c #Conflicts:     555000 | #Constraints:      55195
1498.38/1502.34	c #Conflicts:     556000 | #Constraints:      56195
1498.38/1502.34	c #Conflicts:     557000 | #Constraints:      57195
1498.38/1502.34	c #Conflicts:     558000 | #Constraints:      58195
1498.38/1502.34	c #Conflicts:     559000 | #Constraints:      59195
1498.38/1502.34	c #Conflicts:     560000 | #Constraints:      60195
1498.38/1502.34	c #Conflicts:     561000 | #Constraints:      61195
1498.38/1502.34	c #Conflicts:     562000 | #Constraints:      62195
1498.38/1502.34	c #Conflicts:     563000 | #Constraints:      63195
1498.38/1502.34	c #Conflicts:     564000 | #Constraints:      64195
1498.38/1502.34	c #Conflicts:     565000 | #Constraints:      65195
1498.38/1502.34	c #Conflicts:     566000 | #Constraints:      66195
1498.38/1502.34	c INPROCESSING
1498.38/1502.34	c GARBAGE COLLECT
1498.38/1502.34	c rational objective 30
1726.69/1731.24	c #Conflicts:     567000 | #Constraints:      38152
1726.69/1731.24	c #Conflicts:     568000 | #Constraints:      39152
1726.69/1731.24	c #Conflicts:     569000 | #Constraints:      40152
1726.69/1731.24	c #Conflicts:     570000 | #Constraints:      41152
1726.69/1731.24	c #Conflicts:     571000 | #Constraints:      42152
1726.69/1731.24	c #Conflicts:     572000 | #Constraints:      43152
1726.69/1731.24	c #Conflicts:     573000 | #Constraints:      44152
1726.69/1731.24	c #Conflicts:     574000 | #Constraints:      45152
1726.69/1731.24	c #Conflicts:     575000 | #Constraints:      46152
1726.69/1731.24	c #Conflicts:     576000 | #Constraints:      47152
1726.69/1731.24	c #Conflicts:     577000 | #Constraints:      48152
1726.69/1731.24	c #Conflicts:     578000 | #Constraints:      49152
1726.69/1731.24	c #Conflicts:     579000 | #Constraints:      50152
1726.69/1731.24	c #Conflicts:     580000 | #Constraints:      51152
1726.69/1731.24	c #Conflicts:     581000 | #Constraints:      52152
1726.69/1731.24	c #Conflicts:     582000 | #Constraints:      53152
1726.69/1731.24	c #Conflicts:     583000 | #Constraints:      54152
1726.69/1731.24	c #Conflicts:     584000 | #Constraints:      55152
1726.69/1731.24	c #Conflicts:     585000 | #Constraints:      56152
1726.69/1731.24	c #Conflicts:     586000 | #Constraints:      57152
1726.69/1731.24	c #Conflicts:     587000 | #Constraints:      58152
1726.69/1731.24	c #Conflicts:     588000 | #Constraints:      59152
1726.69/1731.24	c #Conflicts:     589000 | #Constraints:      60152
1726.69/1731.24	c #Conflicts:     590000 | #Constraints:      61152
1726.69/1731.24	c #Conflicts:     591000 | #Constraints:      62152
1726.69/1731.24	c #Conflicts:     592000 | #Constraints:      63152
1726.69/1731.24	c #Conflicts:     593000 | #Constraints:      64152
1726.69/1731.24	c #Conflicts:     594000 | #Constraints:      65152
1726.69/1731.24	c #Conflicts:     595000 | #Constraints:      66152
1726.69/1731.24	c #Conflicts:     596000 | #Constraints:      67152
1726.69/1731.24	c #Conflicts:     597000 | #Constraints:      68152
1726.69/1731.24	c #Conflicts:     598000 | #Constraints:      69152
1726.69/1731.24	c #Conflicts:     599000 | #Constraints:      70152
1726.69/1731.24	c #Conflicts:     600000 | #Constraints:      71152
1726.69/1731.24	c #Conflicts:     601000 | #Constraints:      72152
1726.69/1731.24	c #Conflicts:     602000 | #Constraints:      73152
1726.69/1731.24	c #Conflicts:     603000 | #Constraints:      74152
1726.69/1731.24	c #Conflicts:     604000 | #Constraints:      75152
1726.69/1731.24	c #Conflicts:     605000 | #Constraints:      76152
1726.69/1731.24	c #Conflicts:     606000 | #Constraints:      77152
1726.69/1731.24	c #Conflicts:     607000 | #Constraints:      78152
1726.69/1731.24	c #Conflicts:     608000 | #Constraints:      79152
1726.69/1731.24	c #Conflicts:     609000 | #Constraints:      80152
1726.69/1731.24	c #Conflicts:     610000 | #Constraints:      81152
1726.69/1731.24	c #Conflicts:     611000 | #Constraints:      82152
1726.69/1731.24	c #Conflicts:     612000 | #Constraints:      83152
1726.69/1731.24	c #Conflicts:     613000 | #Constraints:      84152
1726.69/1731.24	c #Conflicts:     614000 | #Constraints:      85152
1726.69/1731.24	c #Conflicts:     615000 | #Constraints:      86152
1726.69/1731.24	c #Conflicts:     616000 | #Constraints:      87152
1726.69/1731.24	c #Conflicts:     617000 | #Constraints:      88152
1726.69/1731.24	c INPROCESSING
1726.69/1731.24	c GARBAGE COLLECT
1726.69/1731.24	c rational objective 30
1789.83/1794.56	c #Conflicts:     618000 | #Constraints:      49250
1789.83/1794.56	c #Conflicts:     619000 | #Constraints:      50250
1789.83/1794.56	c #Conflicts:     620000 | #Constraints:      51250
1789.83/1794.56	c #Conflicts:     621000 | #Constraints:      52250
1789.83/1794.56	c #Conflicts:     622000 | #Constraints:      53250
1789.83/1794.56	c #Conflicts:     623000 | #Constraints:      54250
1789.83/1794.56	c #Conflicts:     624000 | #Constraints:      55250
1789.83/1794.56	c #Conflicts:     625000 | #Constraints:      56250
1789.83/1794.56	c #Conflicts:     626000 | #Constraints:      57250
1789.83/1794.56	c #Conflicts:     627000 | #Constraints:      58250
1789.83/1794.56	c #Conflicts:     628000 | #Constraints:      59250
1789.83/1794.56	c #Conflicts:     629000 | #Constraints:      60250
1789.83/1794.56	c #Conflicts:     630000 | #Constraints:      61250
1789.83/1794.56	c #Conflicts:     631000 | #Constraints:      62250
1789.83/1794.56	c #Conflicts:     632000 | #Constraints:      63250
1789.83/1794.56	c #Conflicts:     633000 | #Constraints:      64250
1789.83/1794.56	c #Conflicts:     634000 | #Constraints:      65250
1789.83/1794.56	c #Conflicts:     635000 | #Constraints:      66250
1789.83/1794.56	c #Conflicts:     636000 | #Constraints:      67250
1789.83/1794.56	c #Conflicts:     637000 | #Constraints:      68250
1789.83/1794.56	c #Conflicts:     638000 | #Constraints:      69250
1789.83/1794.56	c #Conflicts:     639000 | #Constraints:      70250
1789.83/1794.56	c INPROCESSING
1789.83/1794.56	c GARBAGE COLLECT
1789.83/1794.56	c rational objective 30
2077.44/2082.97	c #Conflicts:     640000 | #Constraints:      40269
2077.44/2082.97	c #Conflicts:     641000 | #Constraints:      41269
2077.44/2082.97	c #Conflicts:     642000 | #Constraints:      42269
2077.44/2082.97	c #Conflicts:     643000 | #Constraints:      43269
2077.44/2082.97	c #Conflicts:     644000 | #Constraints:      44269
2077.44/2082.97	c #Conflicts:     645000 | #Constraints:      45269
2077.44/2082.97	c #Conflicts:     646000 | #Constraints:      46269
2077.44/2082.97	c #Conflicts:     647000 | #Constraints:      47269
2077.44/2082.97	c #Conflicts:     648000 | #Constraints:      48269
2077.44/2082.97	c #Conflicts:     649000 | #Constraints:      49269
2077.44/2082.97	c #Conflicts:     650000 | #Constraints:      50269
2077.44/2082.97	c #Conflicts:     651000 | #Constraints:      51269
2077.44/2082.97	c #Conflicts:     652000 | #Constraints:      52269
2077.44/2082.97	c #Conflicts:     653000 | #Constraints:      53269
2077.44/2082.97	c #Conflicts:     654000 | #Constraints:      54269
2077.44/2082.97	c #Conflicts:     655000 | #Constraints:      55269
2077.44/2082.97	c #Conflicts:     656000 | #Constraints:      56269
2077.44/2082.97	c #Conflicts:     657000 | #Constraints:      57269
2077.44/2082.97	c #Conflicts:     658000 | #Constraints:      58270
2077.44/2082.97	c #Conflicts:     659000 | #Constraints:      59270
2077.44/2082.97	c #Conflicts:     660000 | #Constraints:      60270
2077.44/2082.97	c #Conflicts:     661000 | #Constraints:      61270
2077.44/2082.97	c #Conflicts:     662000 | #Constraints:      62270
2077.44/2082.97	c #Conflicts:     663000 | #Constraints:      63270
2077.44/2082.97	c #Conflicts:     664000 | #Constraints:      64270
2077.44/2082.97	c #Conflicts:     665000 | #Constraints:      65270
2077.44/2082.97	c #Conflicts:     666000 | #Constraints:      66270
2077.44/2082.97	c #Conflicts:     667000 | #Constraints:      67270
2077.44/2082.97	c #Conflicts:     668000 | #Constraints:      68270
2077.44/2082.97	c #Conflicts:     669000 | #Constraints:      69270
2077.44/2082.97	c #Conflicts:     670000 | #Constraints:      70270
2077.44/2082.97	c #Conflicts:     671000 | #Constraints:      71270
2077.44/2082.97	c #Conflicts:     672000 | #Constraints:      72270
2077.44/2082.97	c #Conflicts:     673000 | #Constraints:      73270
2077.44/2082.97	c #Conflicts:     674000 | #Constraints:      74270
2077.44/2082.97	c #Conflicts:     675000 | #Constraints:      75270
2077.44/2082.97	c #Conflicts:     676000 | #Constraints:      76270
2077.44/2082.97	c #Conflicts:     677000 | #Constraints:      77270
2077.44/2082.97	c #Conflicts:     678000 | #Constraints:      78270
2077.44/2082.97	c #Conflicts:     679000 | #Constraints:      79270
2077.44/2082.97	c #Conflicts:     680000 | #Constraints:      80270
2077.44/2082.97	c #Conflicts:     681000 | #Constraints:      81270
2077.44/2082.97	c #Conflicts:     682000 | #Constraints:      82270
2077.44/2082.97	c #Conflicts:     683000 | #Constraints:      83270
2077.44/2082.97	c #Conflicts:     684000 | #Constraints:      84270
2077.44/2082.97	c #Conflicts:     685000 | #Constraints:      85270
2077.44/2082.97	c #Conflicts:     686000 | #Constraints:      86270
2077.44/2082.97	c #Conflicts:     687000 | #Constraints:      87270
2077.44/2082.97	c #Conflicts:     688000 | #Constraints:      88270
2077.44/2082.97	c #Conflicts:     689000 | #Constraints:      89270
2077.44/2082.97	c #Conflicts:     690000 | #Constraints:      90270
2077.44/2082.97	c #Conflicts:     691000 | #Constraints:      91270
2077.44/2082.97	c #Conflicts:     692000 | #Constraints:      92270
2077.44/2082.97	c #Conflicts:     693000 | #Constraints:      93270
2077.44/2082.97	c INPROCESSING
2077.44/2082.97	c GARBAGE COLLECT
2077.44/2082.97	c rational objective 30
2142.15/2147.80	c #Conflicts:     694000 | #Constraints:      51838
2142.15/2147.80	c #Conflicts:     695000 | #Constraints:      52838
2142.15/2147.80	c #Conflicts:     696000 | #Constraints:      53838
2142.15/2147.80	c #Conflicts:     697000 | #Constraints:      54838
2142.15/2147.80	c #Conflicts:     698000 | #Constraints:      55838
2142.15/2147.80	c #Conflicts:     699000 | #Constraints:      56838
2142.15/2147.80	c #Conflicts:     700000 | #Constraints:      57838
2142.15/2147.80	c #Conflicts:     701000 | #Constraints:      58838
2142.15/2147.80	c #Conflicts:     702000 | #Constraints:      59838
2142.15/2147.80	c #Conflicts:     703000 | #Constraints:      60838
2142.15/2147.80	c #Conflicts:     704000 | #Constraints:      61838
2142.15/2147.80	c #Conflicts:     705000 | #Constraints:      62838
2142.15/2147.80	c #Conflicts:     706000 | #Constraints:      63838
2142.15/2147.80	c #Conflicts:     707000 | #Constraints:      64838
2142.15/2147.80	c #Conflicts:     708000 | #Constraints:      65839
2142.15/2147.80	c #Conflicts:     709000 | #Constraints:      66839
2142.15/2147.80	c #Conflicts:     710000 | #Constraints:      67839
2142.15/2147.80	c #Conflicts:     711000 | #Constraints:      68839
2142.15/2147.80	c #Conflicts:     712000 | #Constraints:      69839
2142.15/2147.80	c #Conflicts:     713000 | #Constraints:      70839
2142.15/2147.80	c #Conflicts:     714000 | #Constraints:      71839
2142.15/2147.80	c #Conflicts:     715000 | #Constraints:      72839
2142.15/2147.80	WSVECS04 Frhs2[18]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[78]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[82]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[142]: 6 -6.75 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[172]: 6 -2.0625 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[202]: 6 -2.125 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[262]: 6 -2.5 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[322]: 6 -4 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[382]: 6 -10 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[442]: 6 -34 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[502]: 6 -131 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[561]: 6 -264 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[562]: 6 -527 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[622]: 6 -7.94675e+07 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[682]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[741]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[742]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[802]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[862]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[922]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[982]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1042]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1252]: 6 0 3.8125 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1280]: 6 0 4.8125 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1308]: 6 0 5.8125 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1425]: 6 0 3.5 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1451]: 6 0 3.1787e+08 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1455]: 6 0 5.08592e+09 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1468]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1472]: 6 0 71 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1483]: 6 0 5.08592e+09 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1497]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1526]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1531]: 6 0 531 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1532]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1533]: 6 0 2105 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1534]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1535]: 6 0 3.1787e+08 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1555]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1648]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1656]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1680]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1709]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1734]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1743]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1765]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1792]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1821]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1824]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1851]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1854]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1880]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[1912]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2322]: 6 -1.75 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2351]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2365]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2380]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2382]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2394]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2395]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2411]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2415]: 6 -38 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2423]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2424]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2428]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2440]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2448]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2450]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2452]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2453]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2455]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2458]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2482]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2508]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2510]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2511]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2513]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2516]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2541]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2542]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2545]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2569]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2574]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2575]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2576]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2578]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2598]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2599]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2600]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2603]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2605]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2607]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2632]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2633]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2634]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2638]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2657]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2659]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2662]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2663]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2666]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2692]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2695]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2719]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2720]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2724]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2753]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2777]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2781]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2784]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2813]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[2999]: 6 0 5 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3292]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3333]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3339]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3343]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3344]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3348]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3352]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3357]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3411]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3412]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3453]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3459]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3463]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3464]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3472]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3477]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3532]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3592]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3652]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3712]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3835]: 6 0 1 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3931]: 6 0 1 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[3979]: 6 0 2 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4022]: 6 0 1 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4036]: 6 0 7.35417 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4051]: 6 0 4.18457 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4081]: 6 0 5.73828 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4084]: 6 0 4.90625 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4086]: 6 0 4.625 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4112]: 6 0 6.90625 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4118]: 6 0 23 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4146]: 6 0 25 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4163]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4197]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4205]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4221]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4255]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4257]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4292]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4315]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4326]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4337]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4341]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4342]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4350]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4355]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4373]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4379]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4402]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4406]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4435]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4491]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4521]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4524]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4550]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4582]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4931]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4945]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4958]: 6 -4.16202 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4960]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4974]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4978]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4987]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4989]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4992]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[4994]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5003]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5016]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5021]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5032]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5035]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5036]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5039]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5040]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5045]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5050]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5052]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5064]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5065]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5074]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5078]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5079]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5081]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5093]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5094]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5096]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5098]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5103]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5107]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5110]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5114]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5119]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5122]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5123]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5125]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5136]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5139]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5149]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5154]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5165]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5172]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5174]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5175]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5179]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5183]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5194]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5201]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5204]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5209]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5210]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5215]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5216]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5223]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5230]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5235]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5238]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5244]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5245]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5259]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5263]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5264]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5268]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5269]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5270]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5273]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5275]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5302]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5303]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5304]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5327]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5328]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5332]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5333]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5336]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5360]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5362]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5365]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5368]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5387]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5390]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5423]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5425]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5427]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5447]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5451]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5452]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5454]: 6 -1 0 shouldn't be
2142.15/2147.80	WSVECS04 Frhs2[5483]: 6 -1 0 shouldn't be
2149.63/2155.39	c #Conflicts:     716000 | #Constraints:      73839
2149.63/2155.39	c INPROCESSING
2149.63/2155.39	c GARBAGE COLLECT
2149.63/2155.39	c rational objective 30
2486.21/2493.00	c #Conflicts:     717000 | #Constraints:      42335
2486.21/2493.00	c #Conflicts:     718000 | #Constraints:      43335
2486.21/2493.00	c #Conflicts:     719000 | #Constraints:      44335
2486.21/2493.00	c #Conflicts:     720000 | #Constraints:      45335
2486.21/2493.00	c #Conflicts:     721000 | #Constraints:      46335
2486.21/2493.00	c #Conflicts:     722000 | #Constraints:      47335
2486.21/2493.00	c #Conflicts:     723000 | #Constraints:      48335
2486.21/2493.00	c #Conflicts:     724000 | #Constraints:      49335
2486.21/2493.00	c #Conflicts:     725000 | #Constraints:      50335
2486.21/2493.00	c #Conflicts:     726000 | #Constraints:      51335
2486.21/2493.00	c #Conflicts:     727000 | #Constraints:      52335
2486.21/2493.00	c #Conflicts:     728000 | #Constraints:      53335
2486.21/2493.00	c #Conflicts:     729000 | #Constraints:      54335
2486.21/2493.00	c #Conflicts:     730000 | #Constraints:      55335
2486.21/2493.00	c #Conflicts:     731000 | #Constraints:      56335
2486.21/2493.00	c #Conflicts:     732000 | #Constraints:      57335
2486.21/2493.00	c #Conflicts:     733000 | #Constraints:      58335
2486.21/2493.00	c #Conflicts:     734000 | #Constraints:      59335
2486.21/2493.00	c #Conflicts:     735000 | #Constraints:      60335
2486.21/2493.00	c #Conflicts:     736000 | #Constraints:      61335
2486.21/2493.00	c #Conflicts:     737000 | #Constraints:      62335
2486.21/2493.00	c #Conflicts:     738000 | #Constraints:      63335
2486.21/2493.00	c #Conflicts:     739000 | #Constraints:      64335
2486.21/2493.00	c #Conflicts:     740000 | #Constraints:      65335
2486.21/2493.00	c #Conflicts:     741000 | #Constraints:      66335
2486.21/2493.00	c #Conflicts:     742000 | #Constraints:      67335
2486.21/2493.00	c #Conflicts:     743000 | #Constraints:      68335
2486.21/2493.00	c #Conflicts:     744000 | #Constraints:      69335
2486.21/2493.00	c #Conflicts:     745000 | #Constraints:      70335
2486.21/2493.00	c #Conflicts:     746000 | #Constraints:      71335
2486.21/2493.00	c #Conflicts:     747000 | #Constraints:      72335
2486.21/2493.00	c #Conflicts:     748000 | #Constraints:      73335
2486.21/2493.00	c #Conflicts:     749000 | #Constraints:      74335
2486.21/2493.00	c #Conflicts:     750000 | #Constraints:      75335
2486.21/2493.00	c #Conflicts:     751000 | #Constraints:      76335
2486.21/2493.00	c #Conflicts:     752000 | #Constraints:      77335
2486.21/2493.00	c #Conflicts:     753000 | #Constraints:      78335
2486.21/2493.00	c #Conflicts:     754000 | #Constraints:      79335
2486.21/2493.00	c #Conflicts:     755000 | #Constraints:      80335
2486.21/2493.00	c #Conflicts:     756000 | #Constraints:      81335
2486.21/2493.00	c #Conflicts:     757000 | #Constraints:      82335
2486.21/2493.00	c #Conflicts:     758000 | #Constraints:      83335
2486.21/2493.00	c #Conflicts:     759000 | #Constraints:      84335
2486.21/2493.00	c #Conflicts:     760000 | #Constraints:      85335
2486.21/2493.00	c #Conflicts:     761000 | #Constraints:      86335
2486.21/2493.00	c #Conflicts:     762000 | #Constraints:      87335
2486.21/2493.00	c #Conflicts:     763000 | #Constraints:      88335
2486.21/2493.00	c #Conflicts:     764000 | #Constraints:      89335
2486.21/2493.00	c #Conflicts:     765000 | #Constraints:      90335
2486.21/2493.00	c #Conflicts:     766000 | #Constraints:      91335
2486.21/2493.00	c #Conflicts:     767000 | #Constraints:      92335
2486.21/2493.00	c #Conflicts:     768000 | #Constraints:      93335
2486.21/2493.00	c #Conflicts:     769000 | #Constraints:      94335
2486.21/2493.00	c #Conflicts:     770000 | #Constraints:      95335
2486.21/2493.00	c #Conflicts:     771000 | #Constraints:      96335
2486.21/2493.00	c #Conflicts:     772000 | #Constraints:      97335
2486.21/2493.00	c #Conflicts:     773000 | #Constraints:      98335
2486.21/2493.00	c INPROCESSING
2486.21/2493.00	c GARBAGE COLLECT
2486.21/2493.00	c rational objective 30
2585.31/2592.33	c #Conflicts:     774000 | #Constraints:      54264
2585.31/2592.33	c #Conflicts:     775000 | #Constraints:      55264
2585.31/2592.33	c #Conflicts:     776000 | #Constraints:      56264
2585.31/2592.33	c #Conflicts:     777000 | #Constraints:      57264
2585.31/2592.33	c #Conflicts:     778000 | #Constraints:      58264
2585.31/2592.33	c #Conflicts:     779000 | #Constraints:      59264
2585.31/2592.33	c #Conflicts:     780000 | #Constraints:      60264
2585.31/2592.33	c #Conflicts:     781000 | #Constraints:      61264
2585.31/2592.33	c #Conflicts:     782000 | #Constraints:      62264
2585.31/2592.33	c #Conflicts:     783000 | #Constraints:      63264
2585.31/2592.33	c #Conflicts:     784000 | #Constraints:      64264
2585.31/2592.33	c #Conflicts:     785000 | #Constraints:      65264
2585.31/2592.33	c #Conflicts:     786000 | #Constraints:      66264
2585.31/2592.33	c #Conflicts:     787000 | #Constraints:      67264
2585.31/2592.33	c #Conflicts:     788000 | #Constraints:      68264
2585.31/2592.33	c #Conflicts:     789000 | #Constraints:      69264
2585.31/2592.33	c #Conflicts:     790000 | #Constraints:      70264
2585.31/2592.33	c #Conflicts:     791000 | #Constraints:      71264
2585.31/2592.33	c #Conflicts:     792000 | #Constraints:      72264
2585.31/2592.33	c #Conflicts:     793000 | #Constraints:      73264
2585.31/2592.33	c #Conflicts:     794000 | #Constraints:      74264
2585.31/2592.33	c #Conflicts:     795000 | #Constraints:      75264
2585.31/2592.33	c #Conflicts:     796000 | #Constraints:      76264
2585.31/2592.33	c #Conflicts:     797000 | #Constraints:      77264
2585.31/2592.33	c #Conflicts:     798000 | #Constraints:      78264
2585.31/2592.33	c INPROCESSING
2585.31/2592.33	c GARBAGE COLLECT
2585.31/2592.33	c rational objective 30
2923.49/2931.50	c #Conflicts:     799000 | #Constraints:      45415
2923.49/2931.50	c #Conflicts:     800000 | #Constraints:      46415
2923.49/2931.50	c #Conflicts:     801000 | #Constraints:      47415
2923.49/2931.50	c #Conflicts:     802000 | #Constraints:      48416
2923.49/2931.50	c #Conflicts:     803000 | #Constraints:      49416
2923.49/2931.50	c #Conflicts:     804000 | #Constraints:      50416
2923.49/2931.50	c #Conflicts:     805000 | #Constraints:      51416
2923.49/2931.50	c #Conflicts:     806000 | #Constraints:      52416
2923.49/2931.50	c #Conflicts:     807000 | #Constraints:      53416
2923.49/2931.50	c #Conflicts:     808000 | #Constraints:      54416
2923.49/2931.50	c #Conflicts:     809000 | #Constraints:      55416
2923.49/2931.50	c #Conflicts:     810000 | #Constraints:      56416
2923.49/2931.50	c #Conflicts:     811000 | #Constraints:      57416
2923.49/2931.50	c #Conflicts:     812000 | #Constraints:      58416
2923.49/2931.50	c #Conflicts:     813000 | #Constraints:      59416
2923.49/2931.50	c #Conflicts:     814000 | #Constraints:      60416
2923.49/2931.50	c #Conflicts:     815000 | #Constraints:      61416
2923.49/2931.50	c #Conflicts:     816000 | #Constraints:      62416
2923.49/2931.50	c #Conflicts:     817000 | #Constraints:      63416
2923.49/2931.50	c #Conflicts:     818000 | #Constraints:      64416
2923.49/2931.50	c #Conflicts:     819000 | #Constraints:      65416
2923.49/2931.50	c #Conflicts:     820000 | #Constraints:      66417
2923.49/2931.50	c #Conflicts:     821000 | #Constraints:      67417
2923.49/2931.50	c #Conflicts:     822000 | #Constraints:      68417
2923.49/2931.50	c #Conflicts:     823000 | #Constraints:      69417
2923.49/2931.50	c #Conflicts:     824000 | #Constraints:      70417
2923.49/2931.50	c #Conflicts:     825000 | #Constraints:      71417
2923.49/2931.50	c #Conflicts:     826000 | #Constraints:      72417
2923.49/2931.50	c #Conflicts:     827000 | #Constraints:      73417
2923.49/2931.50	c #Conflicts:     828000 | #Constraints:      74417
2923.49/2931.50	c #Conflicts:     829000 | #Constraints:      75417
2923.49/2931.50	c #Conflicts:     830000 | #Constraints:      76417
2923.49/2931.50	c #Conflicts:     831000 | #Constraints:      77417
2923.49/2931.50	c #Conflicts:     832000 | #Constraints:      78417
2923.49/2931.50	c #Conflicts:     833000 | #Constraints:      79417
2923.49/2931.50	c #Conflicts:     834000 | #Constraints:      80417
2923.49/2931.50	c #Conflicts:     835000 | #Constraints:      81417
2923.49/2931.50	c #Conflicts:     836000 | #Constraints:      82417
2923.49/2931.50	c #Conflicts:     837000 | #Constraints:      83417
2923.49/2931.50	c #Conflicts:     838000 | #Constraints:      84417
2923.49/2931.50	c #Conflicts:     839000 | #Constraints:      85417
2923.49/2931.50	c #Conflicts:     840000 | #Constraints:      86417
2923.49/2931.50	c #Conflicts:     841000 | #Constraints:      87417
2923.49/2931.50	c #Conflicts:     842000 | #Constraints:      88417
2923.49/2931.50	c #Conflicts:     843000 | #Constraints:      89417
2923.49/2931.50	c #Conflicts:     844000 | #Constraints:      90417
2923.49/2931.50	c #Conflicts:     845000 | #Constraints:      91417
2923.49/2931.50	c #Conflicts:     846000 | #Constraints:      92417
2923.49/2931.50	c #Conflicts:     847000 | #Constraints:      93417
2923.49/2931.50	c #Conflicts:     848000 | #Constraints:      94417
2923.49/2931.50	c #Conflicts:     849000 | #Constraints:      95417
2923.49/2931.50	c #Conflicts:     850000 | #Constraints:      96417
2923.49/2931.50	c #Conflicts:     851000 | #Constraints:      97417
2923.49/2931.50	c #Conflicts:     852000 | #Constraints:      98417
2923.49/2931.50	c #Conflicts:     853000 | #Constraints:      99417
2923.49/2931.50	c #Conflicts:     854000 | #Constraints:     100417
2923.49/2931.50	c #Conflicts:     855000 | #Constraints:     101417
2923.49/2931.50	c #Conflicts:     856000 | #Constraints:     102417
2923.49/2931.50	c #Conflicts:     857000 | #Constraints:     103417
2923.49/2931.50	c #Conflicts:     858000 | #Constraints:     104417
2923.49/2931.50	c INPROCESSING
2923.49/2931.50	c GARBAGE COLLECT
2923.49/2931.50	c rational objective 30
2998.87/3007.17	c #Conflicts:     859000 | #Constraints:      57519
2998.87/3007.17	c #Conflicts:     860000 | #Constraints:      58519
2998.87/3007.17	c #Conflicts:     861000 | #Constraints:      59519
2998.87/3007.17	c #Conflicts:     862000 | #Constraints:      60519
2998.87/3007.17	c #Conflicts:     863000 | #Constraints:      61519
2998.87/3007.17	c #Conflicts:     864000 | #Constraints:      62519
2998.87/3007.17	c #Conflicts:     865000 | #Constraints:      63519
2998.87/3007.17	c #Conflicts:     866000 | #Constraints:      64519
2998.87/3007.17	c #Conflicts:     867000 | #Constraints:      65519
2998.87/3007.17	c #Conflicts:     868000 | #Constraints:      66519
2998.87/3007.17	c #Conflicts:     869000 | #Constraints:      67519
2998.87/3007.17	c #Conflicts:     870000 | #Constraints:      68519
2998.87/3007.17	c #Conflicts:     871000 | #Constraints:      69519
2998.87/3007.17	c #Conflicts:     872000 | #Constraints:      70519
2998.87/3007.17	c #Conflicts:     873000 | #Constraints:      71519
2998.87/3007.17	c #Conflicts:     874000 | #Constraints:      72519
2998.87/3007.17	c #Conflicts:     875000 | #Constraints:      73519
2998.87/3007.17	c #Conflicts:     876000 | #Constraints:      74519
2998.87/3007.17	c #Conflicts:     877000 | #Constraints:      75519
2998.87/3007.17	c #Conflicts:     878000 | #Constraints:      76519
2998.87/3007.17	c #Conflicts:     879000 | #Constraints:      77519
2998.87/3007.17	c #Conflicts:     880000 | #Constraints:      78519
2998.87/3007.17	c #Conflicts:     881000 | #Constraints:      79519
2998.87/3007.17	c #Conflicts:     882000 | #Constraints:      80519
2998.87/3007.17	c #Conflicts:     883000 | #Constraints:      81519
2998.87/3007.17	c #Conflicts:     884000 | #Constraints:      82519
2998.87/3007.17	c INPROCESSING
2998.87/3007.17	c GARBAGE COLLECT
2998.87/3007.17	c rational objective 30
3457.95/3467.42	c #Conflicts:     885000 | #Constraints:      47981
3457.95/3467.42	c #Conflicts:     886000 | #Constraints:      48981
3457.95/3467.42	c #Conflicts:     887000 | #Constraints:      49981
3457.95/3467.42	c #Conflicts:     888000 | #Constraints:      50981
3457.95/3467.42	c #Conflicts:     889000 | #Constraints:      51981
3457.95/3467.42	c #Conflicts:     890000 | #Constraints:      52982
3457.95/3467.42	c #Conflicts:     891000 | #Constraints:      53982
3457.95/3467.42	c #Conflicts:     892000 | #Constraints:      54982
3457.95/3467.42	c #Conflicts:     893000 | #Constraints:      55982
3457.95/3467.42	c #Conflicts:     894000 | #Constraints:      56982
3457.95/3467.42	c #Conflicts:     895000 | #Constraints:      57982
3457.95/3467.42	c #Conflicts:     896000 | #Constraints:      58982
3457.95/3467.42	c #Conflicts:     897000 | #Constraints:      59982
3457.95/3467.42	c #Conflicts:     898000 | #Constraints:      60982
3457.95/3467.42	c #Conflicts:     899000 | #Constraints:      61982
3457.95/3467.42	c #Conflicts:     900000 | #Constraints:      62982
3457.95/3467.42	c #Conflicts:     901000 | #Constraints:      63982
3457.95/3467.42	c #Conflicts:     902000 | #Constraints:      64982
3457.95/3467.42	c #Conflicts:     903000 | #Constraints:      65982
3457.95/3467.42	c #Conflicts:     904000 | #Constraints:      66982
3457.95/3467.42	c #Conflicts:     905000 | #Constraints:      67983
3457.95/3467.42	c #Conflicts:     906000 | #Constraints:      68983
3457.95/3467.42	c #Conflicts:     907000 | #Constraints:      69983
3457.95/3467.42	c #Conflicts:     908000 | #Constraints:      70983
3457.95/3467.42	c #Conflicts:     909000 | #Constraints:      71983
3457.95/3467.42	c #Conflicts:     910000 | #Constraints:      72983
3457.95/3467.42	c #Conflicts:     911000 | #Constraints:      73983
3457.95/3467.42	c #Conflicts:     912000 | #Constraints:      74983
3457.95/3467.42	c #Conflicts:     913000 | #Constraints:      75983
3457.95/3467.42	c #Conflicts:     914000 | #Constraints:      76983
3457.95/3467.42	c #Conflicts:     915000 | #Constraints:      77983
3457.95/3467.42	c #Conflicts:     916000 | #Constraints:      78983
3457.95/3467.42	c #Conflicts:     917000 | #Constraints:      79983
3457.95/3467.42	c #Conflicts:     918000 | #Constraints:      80983
3457.95/3467.42	c #Conflicts:     919000 | #Constraints:      81983
3457.95/3467.42	c #Conflicts:     920000 | #Constraints:      82983
3457.95/3467.42	c #Conflicts:     921000 | #Constraints:      83983
3457.95/3467.42	c #Conflicts:     922000 | #Constraints:      84983
3457.95/3467.42	c #Conflicts:     923000 | #Constraints:      85983
3457.95/3467.42	c #Conflicts:     924000 | #Constraints:      86983
3457.95/3467.42	c #Conflicts:     925000 | #Constraints:      87983
3457.95/3467.42	c #Conflicts:     926000 | #Constraints:      88983
3457.95/3467.42	c #Conflicts:     927000 | #Constraints:      89983
3457.95/3467.42	c #Conflicts:     928000 | #Constraints:      90983
3457.95/3467.42	c #Conflicts:     929000 | #Constraints:      91983
3457.95/3467.42	c #Conflicts:     930000 | #Constraints:      92983
3457.95/3467.42	c #Conflicts:     931000 | #Constraints:      93983
3457.95/3467.42	c #Conflicts:     932000 | #Constraints:      94983
3457.95/3467.42	c #Conflicts:     933000 | #Constraints:      95983
3457.95/3467.42	c #Conflicts:     934000 | #Constraints:      96983
3457.95/3467.42	c #Conflicts:     935000 | #Constraints:      97983
3457.95/3467.42	c #Conflicts:     936000 | #Constraints:      98983
3457.95/3467.42	c #Conflicts:     937000 | #Constraints:      99983
3457.95/3467.42	c #Conflicts:     938000 | #Constraints:     100983
3457.95/3467.42	c #Conflicts:     939000 | #Constraints:     101983
3457.95/3467.42	c #Conflicts:     940000 | #Constraints:     102983
3457.95/3467.42	c #Conflicts:     941000 | #Constraints:     103983
3457.95/3467.42	c #Conflicts:     942000 | #Constraints:     104983
3457.95/3467.42	c #Conflicts:     943000 | #Constraints:     105983
3457.95/3467.42	c #Conflicts:     944000 | #Constraints:     106983
3457.95/3467.42	c #Conflicts:     945000 | #Constraints:     107983
3457.95/3467.42	c #Conflicts:     946000 | #Constraints:     108983
3457.95/3467.42	c #Conflicts:     947000 | #Constraints:     109983
3457.95/3467.42	c INPROCESSING
3457.95/3467.42	c GARBAGE COLLECT
3457.95/3467.42	c rational objective 30
3600.09/3609.90	c #Conflicts:     948000 | #Constraints:      60246
3600.09/3609.90	c #Conflicts:     949000 | #Constraints:      61246
3600.09/3609.90	c #Conflicts:     950000 | #Constraints:      62246
3600.09/3609.90	c #Conflicts:     951000 | #Constraints:      63246
3600.09/3609.90	c #Conflicts:     952000 | #Constraints:      64246
3600.09/3609.90	c #Conflicts:     953000 | #Constraints:      65246
3600.09/3609.90	c #Conflicts:     954000 | #Constraints:      66246
3600.09/3609.90	c #Conflicts:     955000 | #Constraints:      67246
3600.09/3609.90	c #Conflicts:     956000 | #Constraints:      68246
3600.09/3609.90	c #Conflicts:     957000 | #Constraints:      69246
3600.09/3609.90	c #Conflicts:     958000 | #Constraints:      70246
3600.09/3609.90	c #Conflicts:     959000 | #Constraints:      71246
3600.09/3609.90	c #Conflicts:     960000 | #Constraints:      72246
3600.09/3609.90	c #Conflicts:     961000 | #Constraints:      73246
3600.09/3609.90	c #Conflicts:     962000 | #Constraints:      74246
3600.09/3609.90	c #Conflicts:     963000 | #Constraints:      75246
3600.09/3609.90	c #Conflicts:     964000 | #Constraints:      76246
3600.09/3609.90	c #Conflicts:     965000 | #Constraints:      77246
3600.09/3609.90	c #Conflicts:     966000 | #Constraints:      78246
3600.09/3609.90	c #Conflicts:     967000 | #Constraints:      79246
3600.09/3609.90	c #Conflicts:     968000 | #Constraints:      80246
3600.09/3609.90	c cpu time 3594.36 s
3600.09/3609.90	c deterministic time 178769999128 1.79e+11
3600.09/3609.90	c optimization time 141.887 s
3600.09/3609.90	c total solve time 3452.44 s
3600.09/3609.90	c core-guided solve time 0 s
3600.09/3609.90	c propagation time 2451.3 s
3600.09/3609.90	c conflict analysis time 1097.97 s
3600.09/3609.90	c propagations 422658248
3600.09/3609.90	c resolve steps 118803854
3600.09/3609.90	c decisions 1493913
3600.09/3609.90	c conflicts 968357
3600.09/3609.90	c restarts 2044
3600.09/3609.90	c inprocessing phases 41
3600.09/3609.90	c garbage collections 41 ,( 100.00 )
3600.09/3609.90	c input clauses 4662 ,( 57.66 )
3600.09/3609.90	c input cardinalities 0 ,( 0.00 )
3600.09/3609.90	c input general constraints 3423 ,( 42.34 )
3600.09/3609.90	c input average constraint length 3.22
3600.09/3609.90	c input average constraint degree 142600062412722.53
3600.09/3609.90	c learned clauses 540684 ,( 55.83 )
3600.09/3609.90	c learned cardinalities 237 ,( 0.02 )
3600.09/3609.90	c learned general constraints 427449 ,( 44.14 )
3600.09/3609.90	c learned average constraint length 263.01
3600.09/3609.90	c learned average constraint degree 138684849.43
3600.09/3609.90	c watched  CF 32, 64, 128, Arb: 54678 , 0 , 0 , 0
3600.09/3609.90	c counting CF 32, 64, 128, Arb: 376193 , 1 , 0 , 0
3600.09/3609.90	c watched   constraints 54678 ,( 12.69 ) 
3600.09/3609.90	c counting  constraints 376194 ,( 87.31 ) 
3600.09/3609.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 686680304 , 4316100 , 65159816057 ,( 151525789 , 65008290268 )
3600.09/3609.90	c gcd simplifications 36001
3600.09/3609.90	c detected cardinalities 116
3600.09/3609.90	c weakened non-implied lits 43671447
3600.09/3609.90	c weakened non-implying lits 590686
3600.09/3609.90	c original variables 5610
3600.09/3609.90	c clausal propagations 156775984
3600.09/3609.90	c cardinality propagations 166283
3600.09/3609.90	c watched propagations 1979838
3600.09/3609.90	c counting propagations 262759313
3600.09/3609.90	c watch lookups 109822710083
3600.09/3609.90	c watch backjump lookups 0
3600.09/3609.90	c watch checks 4488777341
3600.09/3609.90	c propagation checks 62519552481
3600.09/3609.90	c constraint additions 1089520180
3600.09/3609.90	c trail pops 425115895
3600.09/3609.90	c formula constraints 8085
3600.09/3609.90	c learned constraints 968348
3600.09/3609.90	c bound constraints 0
3600.09/3609.90	c core-guided constraints 0
3600.09/3609.90	c encountered formula constraints 84481120
3600.09/3609.90	c encountered learned constraints 35001368
3600.09/3609.90	c encountered bound constraints 0
3600.09/3609.90	c encountered core-guided constraints 0
3600.09/3609.90	c LP total time 33.1129 s
3600.09/3609.90	c LP solve time 31.64 s
3600.09/3609.90	c LP constraints added 8086
3600.09/3609.90	c LP constraints removed 0
3600.09/3609.90	c LP pivots internal 97232
3600.09/3609.90	c LP pivots root 73754
3600.09/3609.90	c LP calls 66
3600.09/3609.90	c LP optimalities 35
3600.09/3609.90	c LP no pivot count 17
3600.09/3609.90	c LP infeasibilities 16
3600.09/3609.90	c LP valid Farkas constraints 14
3600.09/3609.90	c LP learned Farkas constraints 8
3600.09/3609.90	c LP basis resets 12
3600.09/3609.90	c LP cycling count 2
3600.09/3609.90	c LP singular count 9
3600.09/3609.90	c LP no primal count 0
3600.09/3609.90	c LP no farkas count 1
3600.09/3609.90	c LP other issue count 0
3600.09/3609.90	c LP Gomory cuts 0
3600.09/3609.90	c LP learned cuts 1
3600.09/3609.90	c LP deleted cuts 0
3600.09/3609.90	c LP encountered Gomory constraints 0
3600.09/3609.90	c LP encountered Farkas constraints 289054
3600.09/3609.90	c LP encountered learned Farkas constraints 661
3600.09/3609.90	c CG auxiliary variables introduced 0
3600.09/3609.90	c CG solutions found 0
3600.09/3609.90	c CG cores constructed 0
3600.09/3609.90	c CG core cardinality constraints returned 0
3600.09/3609.90	c CG unit cores 0
3600.09/3609.90	c CG single cores 0
3600.09/3609.90	c CG blocks removed during cardinality reduction 0
3600.09/3609.90	c CG first core best 0
3600.09/3609.90	c CG decision core best 0
3600.09/3609.90	c CG core reduction tie 0
3600.09/3609.90	c CG core degree average 0.00
3600.09/3609.90	c CG core slack average 0.00
3600.09/3609.90	c CG core upper bound improvements 0
3600.09/3609.90	c STR number of successful calls 0
3600.09/3609.90	c STR number of unsuccessful calls 0
3600.09/3609.90	c STR number of inconclusive calls 0
3600.09/3609.90	c STR number of successful attempts 0
3600.09/3609.90	c STR number of unsuccessful attempts 0
3600.09/3609.90	c STR number of inconclusive attempts 0
3600.09/3609.90	c STR average degree increase per successful call inf
3600.09/3609.90	c STR average degree increase per successful attempt inf
3600.09/3609.90	c STR total number of conflicts for successful attempts 0
3600.09/3609.90	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.90	c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.90	c STR average number of conflicts per successful attempt inf
3600.09/3609.90	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.90	c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.90	c AVG.sumWPerc 80.76 
3600.09/3609.90	c bigint constraints 1 
3600.09/3609.90	s UNKNOWN
3600.09/3609.90	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 (62495 MiB free)
  memory of node 1: 64507 MiB (63539 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541531-1753198973/watcher-4541531-1753198973 -o /tmp/evaluation-result-4541531-1753198973/solver-4541531-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753198973-164291 --watchdog 3760 run-dec-break.sh HOME/instance-4541531-1753198973.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=164328, runsolver pid=164321

[startup+0.100057 s]*
/proc/loadavg: 0.12 0.10 0.09 4/259 164343
/proc/meminfo: memFree=129055700/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=58232 memory=13804 CPUtime=0.01 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 1083 0 0 0 1 0 0 0 20 0 1 0 235576249 59629568 3451 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 14558 3451 2080 1147 0 1985 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 62424 KiB
Current children cumulated memory: 16876 KiB

[startup+0.205269 s]*
/proc/loadavg: 0.12 0.10 0.09 4/266 164355
/proc/meminfo: memFree=129042980/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=70536 memory=26732 CPUtime=0.11 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 4558 0 0 0 11 0 0 0 20 0 1 0 235576249 72228864 6683 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 17634 6683 2400 1147 0 5061 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 74728 KiB
Current children cumulated memory: 29804 KiB

[startup+0.305529 s]*
/proc/loadavg: 0.12 0.10 0.09 5/267 164357
/proc/meminfo: memFree=129026500/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=70536 memory=26988 CPUtime=0.21 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 4631 0 0 0 20 1 0 0 20 0 1 0 235576249 72228864 6747 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 17634 6747 2400 1147 0 5061 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 74728 KiB
Current children cumulated memory: 30060 KiB

[startup+0.700146 s]
/proc/loadavg: 0.12 0.10 0.09 5/267 164357
/proc/meminfo: memFree=129023904/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=73392 memory=29804 CPUtime=0.6 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 5326 0 0 0 58 2 0 0 20 0 1 0 235576249 75153408 7451 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 18348 7451 2400 1147 0 5775 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 77584 KiB
Current children cumulated memory: 32876 KiB

[startup+1.50016 s]
/proc/loadavg: 0.12 0.10 0.09 5/267 164357
/proc/meminfo: memFree=129022896/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=73392 memory=29932 CPUtime=1.4 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 5381 0 0 0 136 4 0 0 20 0 1 0 235576249 75153408 7483 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 18348 7483 2400 1147 0 5775 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 77584 KiB
Current children cumulated memory: 33004 KiB

[startup+3.10535 s]
/proc/loadavg: 0.12 0.10 0.09 5/267 164357
/proc/meminfo: memFree=128980216/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=77444 memory=36008 CPUtime=3 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 6381 0 0 0 294 6 0 0 20 0 1 0 235576249 79302656 9002 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 19361 9002 2400 1147 0 6788 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 81636 KiB
Current children cumulated memory: 39080 KiB

[startup+6.30018 s]
/proc/loadavg: 0.43 0.16 0.11 5/268 164358
/proc/meminfo: memFree=128954896/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=82776 memory=38696 CPUtime=6.18 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 7061 0 0 0 610 8 0 0 20 0 1 0 235576249 84762624 9674 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 20694 9674 2400 1147 0 8121 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 86968 KiB
Current children cumulated memory: 41768 KiB

[startup+12.7002 s]
/proc/loadavg: 0.72 0.23 0.13 5/268 164358
/proc/meminfo: memFree=128912620/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=88264 memory=46212 CPUtime=12.56 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 8434 0 0 0 1241 15 0 0 20 0 1 0 235576249 90382336 11553 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 22066 11553 2400 1147 0 9493 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 92456 KiB
Current children cumulated memory: 49284 KiB

[startup+25.5002 s]
/proc/loadavg: 1.44 0.41 0.20 5/268 164358
/proc/meminfo: memFree=128828852/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=116876 memory=70268 CPUtime=25.33 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 13343 0 0 0 2511 22 0 0 20 0 1 0 235576249 119681024 17567 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 29219 17567 2496 1147 0 16646 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 121068 KiB
Current children cumulated memory: 73340 KiB

[startup+51.1055 s]
/proc/loadavg: 2.37 0.72 0.30 5/268 164358
/proc/meminfo: memFree=128760636/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=142124 memory=87808 CPUtime=50.85 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 16715 0 0 0 5052 33 0 0 20 0 1 0 235576249 145534976 21952 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 35531 21952 2496 1147 0 22958 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 146316 KiB
Current children cumulated memory: 90880 KiB

[startup+102.3 s]
/proc/loadavg: 3.35 1.24 0.50 5/268 164360
/proc/meminfo: memFree=128641404/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=157992 memory=112312 CPUtime=101.9 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 20774 0 0 0 10139 51 0 0 20 0 1 0 235576249 161783808 28078 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 39498 28078 2496 1147 0 26925 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 162184 KiB
Current children cumulated memory: 115384 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 1.78 0.74 5/268 164362
/proc/meminfo: memFree=128590476/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=184372 memory=126756 CPUtime=161.73 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 22658 0 0 0 16102 71 0 0 20 0 1 0 235576249 188796928 31689 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 46093 31689 2496 1147 0 33520 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 188564 KiB
Current children cumulated memory: 129828 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.20 0.95 5/268 164364
/proc/meminfo: memFree=128467400/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=191708 memory=132260 CPUtime=221.59 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 24056 0 0 0 22069 90 0 0 20 0 1 0 235576249 196308992 33065 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 47927 33065 2496 1147 0 35354 0
Current children cumulated CPU time: 221.6 s

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

/proc/164336/statm: 133356 115024 2496 1147 0 120783 0
Current children cumulated CPU time: 3093.79 s
Current children cumulated vsize: 537616 KiB
Current children cumulated memory: 463168 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.02 5/267 164513
/proc/meminfo: memFree=126987824/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=533424 memory=460096 CPUtime=3153.63 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 76134 0 0 0 314828 535 0 0 20 0 1 0 235576249 546226176 115024 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 133356 115024 2496 1147 0 120783 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 537616 KiB
Current children cumulated memory: 463168 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.03 5/267 164515
/proc/meminfo: memFree=126997612/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=533424 memory=460096 CPUtime=3213.47 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 76142 0 0 0 320808 539 0 0 20 0 1 0 235576249 546226176 115024 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 133356 115024 2496 1147 0 120783 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 537616 KiB
Current children cumulated memory: 463168 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.03 5/267 164517
/proc/meminfo: memFree=126989084/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=534276 memory=460608 CPUtime=3273.32 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 76260 0 0 0 326790 542 0 0 20 0 1 0 235576249 547098624 115152 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 133569 115152 2496 1147 0 120996 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 538468 KiB
Current children cumulated memory: 463680 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/267 164520
/proc/meminfo: memFree=126991864/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=534468 memory=460736 CPUtime=3333.17 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 76291 0 0 0 332771 546 0 0 20 0 1 0 235576249 547295232 115184 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 133617 115184 2496 1147 0 121044 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 538660 KiB
Current children cumulated memory: 463808 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.03 5/267 164522
/proc/meminfo: memFree=126994700/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=537540 memory=472696 CPUtime=3393.02 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 76728 0 0 0 338751 551 0 0 20 0 1 0 235576249 550440960 118174 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 134385 118174 2496 1147 0 121812 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 541732 KiB
Current children cumulated memory: 475768 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/267 164524
/proc/meminfo: memFree=126961860/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=543108 memory=488352 CPUtime=3452.86 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 77580 0 0 0 344730 556 0 0 20 0 1 0 235576249 556142592 122088 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 135777 122088 2496 1147 0 123204 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 547300 KiB
Current children cumulated memory: 491424 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/267 164526
/proc/meminfo: memFree=126945724/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=551732 memory=494496 CPUtime=3512.71 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 79128 0 0 0 350707 564 0 0 20 0 1 0 235576249 564973568 123624 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 137933 123624 2496 1147 0 125360 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 555924 KiB
Current children cumulated memory: 497568 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/267 164528
/proc/meminfo: memFree=126913084/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=584056 memory=516896 CPUtime=3572.55 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 84726 0 0 0 356685 570 0 0 20 0 1 0 235576249 598073344 129224 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 146014 129224 2496 1147 0 133441 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 588248 KiB
Current children cumulated memory: 519968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.14 4.12 4.04 5/268 164536
/proc/meminfo: memFree=126883840/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=608252 memory=533664 CPUtime=3600.08 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 88913 0 0 0 359435 573 0 0 20 0 1 0 235576249 622850048 133416 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 152063 133416 2496 1147 0 139490 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 612444 KiB
Current children cumulated memory: 536736 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.011032 s, system=0.008367 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3594.37 s, system=5.74858 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

[startup+3609.9 s]
/proc/loadavg: 4.14 4.12 4.04 5/268 164536
/proc/meminfo: memFree=126883840/131249988 swapFree=33010160/33010684
[pid=164328] ppid=164321 vsize=4192 memory=3072 CPUtime=0.01 cores=4,6
/proc/164328/stat : 164328 (run-dec-break.s) S 164321 164328 164273 0 -1 4194304 237 3196 0 0 0 0 1 0 20 0 1 0 235576244 4292608 768 18446744073709551615 94423922577408 94423923471941 140725000705904 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94423923710992 94423923758736 94423924346880 140725000714591 140725000714720 140725000714720 140725000720324 0
/proc/164328/statm: 1048 768 704 219 0 110 0
[pid=164336] ppid=164328 vsize=608252 memory=533664 CPUtime=3600.08 cores=4,6
/proc/164336/stat : 164336 (roundingsat) R 164328 164328 164273 0 -1 4194304 88913 0 0 0 359435 573 0 0 20 0 1 0 235576249 622850048 133416 18446744073709551615 4227072 8923433 140720560593216 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34414592 140720560601410 140720560601638 140720560601638 140720560607210 0
/proc/164336/statm: 152063 133416 2496 1147 0 139490 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 612444 KiB
Current children cumulated memory: 536736 KiB

Child status: 2

Real time (s): 3609.91
CPU time (s): 3600.12
CPU user time (s): 3594.37
CPU system time (s): 5.74858
CPU usage (%): 99.7289
Max. virtual memory (cumulated for all children) (KiB): 612444
Max. memory (cumulated for all children) (KiB): 536736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.37
system time used= 5.74858
maximum resident set size= 533920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92364
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 347
involuntary context switches= 3005


# summary of solver processes directly reported to runsolver:
#   pid: 164328,164336
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3594.37
#   total CPU system time (s): 5.74858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04818 second user time and 16.3688 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-22 17:42:53
IDJOB=4541531
IDBENCH=163136
IDSOLVER=3357
FILE ID=nodeC034/4541531-1753198973
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/inequalities/OPB/ineq5/normalized-30array_ineq5.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541531-1753198973/watcher-4541531-1753198973 -o /tmp/evaluation-result-4541531-1753198973/solver-4541531-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753198973-164291 --watchdog 3760  run-dec-break.sh HOME/instance-4541531-1753198973.opb

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

MD5SUM BENCH= c057026a3dee35393963218173951f41
RANDOM SEED=1581860338

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		: 3599.809
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		: 1806.520
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		: 3598.961
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		: 3104.637
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		: 3599.763
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		: 2346.350
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.012
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		: 2030.397
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:        129054600 kB
MemAvailable:   129646432 kB
Buffers:            2128 kB
Cached:          1331036 kB
SwapCached:           32 kB
Active:          1202916 kB
Inactive:         210412 kB
Active(anon):     104276 kB
Inactive(anon):     2152 kB
Active(file):    1098640 kB
Inactive(file):   208260 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7528 kB
Writeback:             0 kB
AnonPages:         83336 kB
Mapped:           108828 kB
Shmem:             26264 kB
KReclaimable:     247940 kB
Slab:             346144 kB
SReclaimable:     247940 kB
SUnreclaim:        98204 kB
KernelStack:        4112 kB
PageTables:         2980 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     351096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 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= 433008 MiB
End job on nodeC034 at 2025-07-22 18:43:04