Trace number 4507592

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 63f22adSAT 828.742 831.051

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K96.opb
MD5SUM85449da570d8e9c3bf031cd447953d83
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.73265
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6528
Total number of constraints6722
Number of constraints which are clauses6626
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint96
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 97
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4507592-1751186278.opb'
0.00/0.03	c 	read 0.42MB  (15.94ms)
0.00/0.03	c	 [cnf: #variables 6528 #clauses 6722 #duplicates 0 #arr 41911]
0.00/0.03	c 
0.00/0.03	c make graph and approximate orbits
0.00/0.05	c	 [group: #orbits ~= 1152] (19.79ms)
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 	 (3.87ms)
0.00/0.05	c 
0.00/0.05	c detect symmetries on remainder
0.00/0.05	c 	[graph: #vertices 32834 #edges 122990]
0.00/0.05	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07	c 	 [group: #symmetries 3.84*10^2 #generators 7] (18.42ms)
0.00/0.07	c 
0.00/0.07	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.07	c 	(0.04ms)
0.00/0.07	c 
0.00/0.07	c finalize break order and special generators
0.00/0.07	c 
0.00/0.07	c add generic predicates (break_depth=10)
0.00/0.07	c 	added predicates for 7 generators (0.22ms)
0.00/0.07	c 
0.00/0.07	c generation finished
0.00/0.07	c 	[sbp: #constraints 196 #add_vars 63]
0.00/0.07	c 
0.00/0.07	c write result to 'HOME/instance-4507592-1751186278.opb.pre'
0.00/0.08	c 	wrote 0.43MB (3.14ms)
0.00/0.08	c ------------------------------------------------------------------
0.00/0.08	c                  19.79ms 31.20% approx_orbits
0.00/0.08	c                  18.42ms 29.04% detect_generic
0.00/0.08	c                  15.94ms 25.12% parse
0.00/0.08	c                   3.87ms  6.10% detect_special
0.00/0.08	c                   3.14ms  4.96% output
0.00/0.08	c                   1.34ms  2.11% other
0.00/0.08	c                   0.66ms  1.05% finalize_order
0.00/0.08	c                   0.22ms  0.35% break_generic
0.00/0.08	c                   0.04ms  0.07% optimize_gens
0.00/0.08	c         ───────────────────────────────────────────────
0.00/0.08	c                  63.44ms   100% total
0.00/0.08	c ------------------------------------------------------------------
0.00/0.10	c RoundingSat 2
0.00/0.10	c branch pb25
0.00/0.10	c commit 63f22ad
0.07/0.21	c #variables 6591 #constraints 6910
50.42/50.64	c #Conflicts:       1000 | #Constraints:       7909
50.42/50.64	c #Conflicts:       2000 | #Constraints:       8909
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:       3000 | #Constraints:       8575
50.42/50.64	c #Conflicts:       4000 | #Constraints:       9575
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:       5000 | #Constraints:       9045
50.42/50.64	c #Conflicts:       6000 | #Constraints:      10045
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:       7000 | #Constraints:       9097
50.42/50.64	c #Conflicts:       8000 | #Constraints:      10097
50.42/50.64	c #Conflicts:       9000 | #Constraints:      11097
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:      10000 | #Constraints:       9840
50.42/50.64	c #Conflicts:      11000 | #Constraints:      10840
50.42/50.64	c #Conflicts:      12000 | #Constraints:      11840
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:      13000 | #Constraints:      10316
50.42/50.64	c #Conflicts:      14000 | #Constraints:      11316
50.42/50.64	c #Conflicts:      15000 | #Constraints:      12316
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:      16000 | #Constraints:      10584
50.42/50.64	c #Conflicts:      17000 | #Constraints:      11584
50.42/50.64	c #Conflicts:      18000 | #Constraints:      12584
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:      19000 | #Constraints:      10610
50.42/50.64	c #Conflicts:      20000 | #Constraints:      11610
50.42/50.64	c #Conflicts:      21000 | #Constraints:      12610
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:      22000 | #Constraints:      10436
50.42/50.64	c #Conflicts:      23000 | #Constraints:      11436
50.42/50.64	c #Conflicts:      24000 | #Constraints:      12436
50.42/50.64	c #Conflicts:      25000 | #Constraints:      13436
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:      26000 | #Constraints:      11045
50.42/50.64	c #Conflicts:      27000 | #Constraints:      12045
50.42/50.64	c #Conflicts:      28000 | #Constraints:      13045
50.42/50.64	c #Conflicts:      29000 | #Constraints:      14045
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:      30000 | #Constraints:      11470
50.42/50.64	c #Conflicts:      31000 | #Constraints:      12470
50.42/50.64	c #Conflicts:      32000 | #Constraints:      13470
50.42/50.64	c #Conflicts:      33000 | #Constraints:      14470
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:      34000 | #Constraints:      11737
50.42/50.64	c #Conflicts:      35000 | #Constraints:      12737
50.42/50.64	c #Conflicts:      36000 | #Constraints:      13737
50.42/50.64	c #Conflicts:      37000 | #Constraints:      14737
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:      38000 | #Constraints:      11753
50.42/50.64	c #Conflicts:      39000 | #Constraints:      12753
50.42/50.64	c #Conflicts:      40000 | #Constraints:      13753
50.42/50.64	c #Conflicts:      41000 | #Constraints:      14753
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:      42000 | #Constraints:      11584
50.42/50.64	c #Conflicts:      43000 | #Constraints:      12584
50.42/50.64	c #Conflicts:      44000 | #Constraints:      13584
50.42/50.64	c #Conflicts:      45000 | #Constraints:      14584
50.42/50.64	c #Conflicts:      46000 | #Constraints:      15584
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:      47000 | #Constraints:      12170
50.42/50.64	c #Conflicts:      48000 | #Constraints:      13170
50.42/50.64	c #Conflicts:      49000 | #Constraints:      14170
50.42/50.64	c #Conflicts:      50000 | #Constraints:      15170
50.42/50.64	c #Conflicts:      51000 | #Constraints:      16170
50.42/50.64	c INPROCESSING
50.42/50.64	c GARBAGE COLLECT
50.42/50.64	c #Conflicts:      52000 | #Constraints:      12569
50.42/50.64	c #Conflicts:      53000 | #Constraints:      13569
50.42/50.64	c #Conflicts:      54000 | #Constraints:      14569
50.42/50.64	c #Conflicts:      55000 | #Constraints:      15569
50.42/50.64	c #Conflicts:      56000 | #Constraints:      16569
50.42/50.64	c #Conflicts:      57000 | #Constraints:      17569
50.42/50.64	c #Conflicts:      58000 | #Constraints:      18569
50.42/50.64	c #Conflicts:      59000 | #Constraints:      19569
50.42/50.64	c #Conflicts:      60000 | #Constraints:      20569
50.42/50.64	c #Conflicts:      61000 | #Constraints:      21569
50.42/50.64	c #Conflicts:      62000 | #Constraints:      22569
50.42/50.64	c #Conflicts:      63000 | #Constraints:      23569
50.42/50.64	c #Conflicts:      64000 | #Constraints:      24569
50.42/50.64	c #Conflicts:      65000 | #Constraints:      25569
50.42/50.64	c #Conflicts:      66000 | #Constraints:      26569
50.42/50.64	c #Conflicts:      67000 | #Constraints:      27569
50.42/50.64	c #Conflicts:      68000 | #Constraints:      28569
50.42/50.64	c #Conflicts:      69000 | #Constraints:      29569
50.42/50.64	c #Conflicts:      70000 | #Constraints:      30569
108.96/109.35	c INPROCESSING
108.96/109.35	c GARBAGE COLLECT
108.96/109.35	c #Conflicts:      71000 | #Constraints:      19641
108.96/109.35	c #Conflicts:      72000 | #Constraints:      20641
108.96/109.35	c #Conflicts:      73000 | #Constraints:      21641
108.96/109.35	c #Conflicts:      74000 | #Constraints:      22641
108.96/109.35	c #Conflicts:      75000 | #Constraints:      23641
108.96/109.35	c #Conflicts:      76000 | #Constraints:      24641
108.96/109.35	c INPROCESSING
108.96/109.35	c GARBAGE COLLECT
108.96/109.35	c #Conflicts:      77000 | #Constraints:      16664
108.96/109.35	c #Conflicts:      78000 | #Constraints:      17664
108.96/109.35	c #Conflicts:      79000 | #Constraints:      18664
108.96/109.35	c #Conflicts:      80000 | #Constraints:      19664
108.96/109.35	c #Conflicts:      81000 | #Constraints:      20664
108.96/109.35	c #Conflicts:      82000 | #Constraints:      21664
108.96/109.35	c INPROCESSING
108.96/109.35	c GARBAGE COLLECT
108.96/109.35	c #Conflicts:      83000 | #Constraints:      15015
108.96/109.35	c #Conflicts:      84000 | #Constraints:      16015
108.96/109.35	c #Conflicts:      85000 | #Constraints:      17015
108.96/109.35	c #Conflicts:      86000 | #Constraints:      18015
108.96/109.35	c #Conflicts:      87000 | #Constraints:      19015
108.96/109.35	c #Conflicts:      88000 | #Constraints:      20015
108.96/109.35	c #Conflicts:      89000 | #Constraints:      21015
108.96/109.35	c INPROCESSING
108.96/109.35	c GARBAGE COLLECT
108.96/109.35	c #Conflicts:      90000 | #Constraints:      14890
108.96/109.35	c #Conflicts:      91000 | #Constraints:      15890
108.96/109.35	c #Conflicts:      92000 | #Constraints:      16890
108.96/109.35	c #Conflicts:      93000 | #Constraints:      17890
108.96/109.35	c #Conflicts:      94000 | #Constraints:      18890
108.96/109.35	c #Conflicts:      95000 | #Constraints:      19890
108.96/109.35	c #Conflicts:      96000 | #Constraints:      20890
108.96/109.35	c INPROCESSING
108.96/109.35	c GARBAGE COLLECT
108.96/109.35	c #Conflicts:      97000 | #Constraints:      15023
108.96/109.35	c #Conflicts:      98000 | #Constraints:      16023
108.96/109.35	c #Conflicts:      99000 | #Constraints:      17023
108.96/109.35	c #Conflicts:     100000 | #Constraints:      18023
108.96/109.35	c #Conflicts:     101000 | #Constraints:      19024
108.96/109.35	c #Conflicts:     102000 | #Constraints:      20024
108.96/109.35	c #Conflicts:     103000 | #Constraints:      21024
108.96/109.35	c #Conflicts:     104000 | #Constraints:      22024
108.96/109.35	c #Conflicts:     105000 | #Constraints:      23024
108.96/109.35	c #Conflicts:     106000 | #Constraints:      24024
108.96/109.35	c #Conflicts:     107000 | #Constraints:      25024
108.96/109.35	c #Conflicts:     108000 | #Constraints:      26024
108.96/109.35	c #Conflicts:     109000 | #Constraints:      27024
108.96/109.35	c #Conflicts:     110000 | #Constraints:      28024
108.96/109.35	c #Conflicts:     111000 | #Constraints:      29024
108.96/109.35	c #Conflicts:     112000 | #Constraints:      30024
108.96/109.35	c #Conflicts:     113000 | #Constraints:      31024
108.96/109.35	c #Conflicts:     114000 | #Constraints:      32024
108.96/109.35	c #Conflicts:     115000 | #Constraints:      33024
108.96/109.35	c #Conflicts:     116000 | #Constraints:      34024
108.96/109.35	c #Conflicts:     117000 | #Constraints:      35024
108.96/109.35	c #Conflicts:     118000 | #Constraints:      36024
108.96/109.35	c #Conflicts:     119000 | #Constraints:      37024
108.96/109.35	c #Conflicts:     120000 | #Constraints:      38024
108.96/109.35	c #Conflicts:     121000 | #Constraints:      39024
108.96/109.35	c INPROCESSING
108.96/109.35	c GARBAGE COLLECT
108.96/109.35	c #Conflicts:     122000 | #Constraints:      23751
108.96/109.35	c #Conflicts:     123000 | #Constraints:      24751
108.96/109.35	c #Conflicts:     124000 | #Constraints:      25751
108.96/109.35	c #Conflicts:     125000 | #Constraints:      26751
108.96/109.35	c #Conflicts:     126000 | #Constraints:      27751
108.96/109.35	c #Conflicts:     127000 | #Constraints:      28751
108.96/109.35	c #Conflicts:     128000 | #Constraints:      29751
108.96/109.35	c #Conflicts:     129000 | #Constraints:      30751
108.96/109.35	c INPROCESSING
108.96/109.35	c GARBAGE COLLECT
108.96/109.35	c #Conflicts:     130000 | #Constraints:      19649
108.96/109.35	c #Conflicts:     131000 | #Constraints:      20649
108.96/109.35	c #Conflicts:     132000 | #Constraints:      21649
108.96/109.35	c #Conflicts:     133000 | #Constraints:      22649
108.96/109.35	c #Conflicts:     134000 | #Constraints:      23649
108.96/109.35	c #Conflicts:     135000 | #Constraints:      24649
108.96/109.35	c #Conflicts:     136000 | #Constraints:      25649
108.96/109.35	c #Conflicts:     137000 | #Constraints:      26649
108.96/109.35	c #Conflicts:     138000 | #Constraints:      27649
108.96/109.35	c INPROCESSING
108.96/109.35	c GARBAGE COLLECT
108.96/109.35	c #Conflicts:     139000 | #Constraints:      18483
108.96/109.35	c #Conflicts:     140000 | #Constraints:      19483
108.96/109.35	c #Conflicts:     141000 | #Constraints:      20483
108.96/109.35	c #Conflicts:     142000 | #Constraints:      21483
108.96/109.35	c #Conflicts:     143000 | #Constraints:      22483
191.73/192.32	c #Conflicts:     144000 | #Constraints:      23483
191.73/192.32	c #Conflicts:     145000 | #Constraints:      24483
191.73/192.32	c #Conflicts:     146000 | #Constraints:      25483
191.73/192.32	c INPROCESSING
191.73/192.32	c GARBAGE COLLECT
191.73/192.32	c #Conflicts:     147000 | #Constraints:      17190
191.73/192.32	c #Conflicts:     148000 | #Constraints:      18190
191.73/192.32	c #Conflicts:     149000 | #Constraints:      19190
191.73/192.32	c #Conflicts:     150000 | #Constraints:      20190
191.73/192.32	c #Conflicts:     151000 | #Constraints:      21190
191.73/192.32	c #Conflicts:     152000 | #Constraints:      22190
191.73/192.32	c #Conflicts:     153000 | #Constraints:      23190
191.73/192.32	c #Conflicts:     154000 | #Constraints:      24190
191.73/192.32	c #Conflicts:     155000 | #Constraints:      25190
191.73/192.32	c #Conflicts:     156000 | #Constraints:      26190
191.73/192.32	c #Conflicts:     157000 | #Constraints:      27190
191.73/192.32	c #Conflicts:     158000 | #Constraints:      28190
191.73/192.32	c #Conflicts:     159000 | #Constraints:      29190
191.73/192.32	c #Conflicts:     160000 | #Constraints:      30190
191.73/192.32	c #Conflicts:     161000 | #Constraints:      31190
191.73/192.32	c #Conflicts:     162000 | #Constraints:      32190
191.73/192.32	c #Conflicts:     163000 | #Constraints:      33190
191.73/192.32	c #Conflicts:     164000 | #Constraints:      34190
191.73/192.32	c #Conflicts:     165000 | #Constraints:      35190
191.73/192.32	c #Conflicts:     166000 | #Constraints:      36190
191.73/192.32	c #Conflicts:     167000 | #Constraints:      37190
191.73/192.32	c #Conflicts:     168000 | #Constraints:      38190
191.73/192.32	c #Conflicts:     169000 | #Constraints:      39190
191.73/192.32	c #Conflicts:     170000 | #Constraints:      40190
191.73/192.32	c #Conflicts:     171000 | #Constraints:      41190
191.73/192.32	c #Conflicts:     172000 | #Constraints:      42190
191.73/192.32	c #Conflicts:     173000 | #Constraints:      43190
191.73/192.32	c #Conflicts:     174000 | #Constraints:      44190
191.73/192.32	c #Conflicts:     175000 | #Constraints:      45190
191.73/192.32	c #Conflicts:     176000 | #Constraints:      46190
191.73/192.32	c #Conflicts:     177000 | #Constraints:      47190
191.73/192.32	c INPROCESSING
191.73/192.32	c GARBAGE COLLECT
191.73/192.32	c #Conflicts:     178000 | #Constraints:      28010
191.73/192.32	c #Conflicts:     179000 | #Constraints:      29010
191.73/192.32	c #Conflicts:     180000 | #Constraints:      30010
191.73/192.32	c #Conflicts:     181000 | #Constraints:      31010
191.73/192.32	c #Conflicts:     182000 | #Constraints:      32010
191.73/192.32	c #Conflicts:     183000 | #Constraints:      33010
191.73/192.32	c #Conflicts:     184000 | #Constraints:      34010
191.73/192.32	c #Conflicts:     185000 | #Constraints:      35010
191.73/192.32	c #Conflicts:     186000 | #Constraints:      36010
191.73/192.32	c #Conflicts:     187000 | #Constraints:      37010
191.73/192.32	c INPROCESSING
191.73/192.32	c GARBAGE COLLECT
191.73/192.32	c #Conflicts:     188000 | #Constraints:      23024
191.73/192.32	c #Conflicts:     189000 | #Constraints:      24024
191.73/192.32	c #Conflicts:     190000 | #Constraints:      25024
191.73/192.32	c #Conflicts:     191000 | #Constraints:      26024
191.73/192.32	c #Conflicts:     192000 | #Constraints:      27024
191.73/192.32	c #Conflicts:     193000 | #Constraints:      28024
191.73/192.32	c #Conflicts:     194000 | #Constraints:      29024
191.73/192.32	c #Conflicts:     195000 | #Constraints:      30024
191.73/192.32	c #Conflicts:     196000 | #Constraints:      31024
191.73/192.32	c #Conflicts:     197000 | #Constraints:      32024
191.73/192.32	c INPROCESSING
191.73/192.32	c GARBAGE COLLECT
191.73/192.32	c #Conflicts:     198000 | #Constraints:      20655
191.73/192.32	c #Conflicts:     199000 | #Constraints:      21655
191.73/192.32	c #Conflicts:     200000 | #Constraints:      22655
191.73/192.32	c #Conflicts:     201000 | #Constraints:      23655
191.73/192.32	c #Conflicts:     202000 | #Constraints:      24655
191.73/192.32	c #Conflicts:     203000 | #Constraints:      25655
191.73/192.32	c #Conflicts:     204000 | #Constraints:      26655
191.73/192.32	c #Conflicts:     205000 | #Constraints:      27655
191.73/192.32	c #Conflicts:     206000 | #Constraints:      28655
191.73/192.32	c #Conflicts:     207000 | #Constraints:      29655
191.73/192.32	c INPROCESSING
191.73/192.32	c GARBAGE COLLECT
191.73/192.32	c #Conflicts:     208000 | #Constraints:      19431
191.73/192.32	c #Conflicts:     209000 | #Constraints:      20431
191.73/192.32	c #Conflicts:     210000 | #Constraints:      21431
191.73/192.32	c #Conflicts:     211000 | #Constraints:      22431
191.73/192.32	c #Conflicts:     212000 | #Constraints:      23431
191.73/192.32	c #Conflicts:     213000 | #Constraints:      24431
191.73/192.32	c #Conflicts:     214000 | #Constraints:      25431
191.73/192.32	c #Conflicts:     215000 | #Constraints:      26431
191.73/192.32	c #Conflicts:     216000 | #Constraints:      27431
191.73/192.32	c #Conflicts:     217000 | #Constraints:      28431
191.73/192.32	c #Conflicts:     218000 | #Constraints:      29431
191.73/192.32	c #Conflicts:     219000 | #Constraints:      30431
238.99/239.77	c #Conflicts:     220000 | #Constraints:      31431
238.99/239.77	c #Conflicts:     221000 | #Constraints:      32431
238.99/239.77	c #Conflicts:     222000 | #Constraints:      33431
238.99/239.77	c #Conflicts:     223000 | #Constraints:      34431
238.99/239.77	c #Conflicts:     224000 | #Constraints:      35431
238.99/239.77	c #Conflicts:     225000 | #Constraints:      36431
238.99/239.77	c #Conflicts:     226000 | #Constraints:      37431
238.99/239.77	c #Conflicts:     227000 | #Constraints:      38431
238.99/239.77	c #Conflicts:     228000 | #Constraints:      39431
238.99/239.77	c #Conflicts:     229000 | #Constraints:      40431
238.99/239.77	c #Conflicts:     230000 | #Constraints:      41431
238.99/239.77	c #Conflicts:     231000 | #Constraints:      42431
238.99/239.77	c #Conflicts:     232000 | #Constraints:      43431
238.99/239.77	c #Conflicts:     233000 | #Constraints:      44431
238.99/239.77	c #Conflicts:     234000 | #Constraints:      45431
238.99/239.77	c #Conflicts:     235000 | #Constraints:      46431
238.99/239.77	c #Conflicts:     236000 | #Constraints:      47431
238.99/239.77	c #Conflicts:     237000 | #Constraints:      48431
238.99/239.77	c #Conflicts:     238000 | #Constraints:      49431
238.99/239.77	c #Conflicts:     239000 | #Constraints:      50431
238.99/239.77	c #Conflicts:     240000 | #Constraints:      51431
238.99/239.77	c #Conflicts:     241000 | #Constraints:      52431
238.99/239.77	c #Conflicts:     242000 | #Constraints:      53431
238.99/239.77	c #Conflicts:     243000 | #Constraints:      54431
238.99/239.77	c INPROCESSING
238.99/239.77	c GARBAGE COLLECT
238.99/239.77	c rational objective 98.8019
311.79/312.72	c #Conflicts:     244000 | #Constraints:      31552
311.79/312.72	c #Conflicts:     245000 | #Constraints:      32552
311.79/312.72	c #Conflicts:     246000 | #Constraints:      33552
311.79/312.72	c #Conflicts:     247000 | #Constraints:      34552
311.79/312.72	c #Conflicts:     248000 | #Constraints:      35552
311.79/312.72	c #Conflicts:     249000 | #Constraints:      36552
311.79/312.72	c #Conflicts:     250000 | #Constraints:      37552
311.79/312.72	c #Conflicts:     251000 | #Constraints:      38552
311.79/312.72	c #Conflicts:     252000 | #Constraints:      39552
311.79/312.72	c #Conflicts:     253000 | #Constraints:      40552
311.79/312.72	c #Conflicts:     254000 | #Constraints:      41552
311.79/312.72	c #Conflicts:     255000 | #Constraints:      42552
311.79/312.72	c INPROCESSING
311.79/312.72	c GARBAGE COLLECT
311.79/312.72	c #Conflicts:     256000 | #Constraints:      25999
311.79/312.72	c #Conflicts:     257000 | #Constraints:      26999
311.79/312.72	c #Conflicts:     258000 | #Constraints:      27999
311.79/312.72	c #Conflicts:     259000 | #Constraints:      28999
311.79/312.72	c #Conflicts:     260000 | #Constraints:      29999
311.79/312.72	c #Conflicts:     261000 | #Constraints:      30999
311.79/312.72	c #Conflicts:     262000 | #Constraints:      31999
311.79/312.72	c #Conflicts:     263000 | #Constraints:      32999
311.79/312.72	c #Conflicts:     264000 | #Constraints:      33999
311.79/312.72	c #Conflicts:     265000 | #Constraints:      34999
311.79/312.72	c #Conflicts:     266000 | #Constraints:      35999
311.79/312.72	c INPROCESSING
311.79/312.72	c GARBAGE COLLECT
311.79/312.72	c #Conflicts:     267000 | #Constraints:      22430
311.79/312.72	c #Conflicts:     268000 | #Constraints:      23430
311.79/312.72	c #Conflicts:     269000 | #Constraints:      24430
311.79/312.72	c #Conflicts:     270000 | #Constraints:      25430
311.79/312.72	c #Conflicts:     271000 | #Constraints:      26430
311.79/312.72	c #Conflicts:     272000 | #Constraints:      27430
311.79/312.72	c #Conflicts:     273000 | #Constraints:      28430
311.79/312.72	c #Conflicts:     274000 | #Constraints:      29430
311.79/312.72	c #Conflicts:     275000 | #Constraints:      30430
311.79/312.72	c #Conflicts:     276000 | #Constraints:      31430
311.79/312.72	c #Conflicts:     277000 | #Constraints:      32430
311.79/312.72	c #Conflicts:     278000 | #Constraints:      33430
311.79/312.72	c INPROCESSING
311.79/312.72	c GARBAGE COLLECT
311.79/312.72	c #Conflicts:     279000 | #Constraints:      21227
311.79/312.72	c #Conflicts:     280000 | #Constraints:      22227
311.79/312.72	c #Conflicts:     281000 | #Constraints:      23227
311.79/312.72	c #Conflicts:     282000 | #Constraints:      24227
311.79/312.72	c #Conflicts:     283000 | #Constraints:      25227
311.79/312.72	c #Conflicts:     284000 | #Constraints:      26227
311.79/312.72	c #Conflicts:     285000 | #Constraints:      27227
311.79/312.72	c #Conflicts:     286000 | #Constraints:      28227
311.79/312.72	c #Conflicts:     287000 | #Constraints:      29227
311.79/312.72	c #Conflicts:     288000 | #Constraints:      30227
311.79/312.72	c #Conflicts:     289000 | #Constraints:      31227
311.79/312.72	c #Conflicts:     290000 | #Constraints:      32227
311.79/312.72	c INPROCESSING
311.79/312.72	c GARBAGE COLLECT
311.79/312.72	c #Conflicts:     291000 | #Constraints:      20592
311.79/312.72	c #Conflicts:     292000 | #Constraints:      21592
311.79/312.72	c #Conflicts:     293000 | #Constraints:      22592
311.79/312.72	c #Conflicts:     294000 | #Constraints:      23592
311.79/312.72	c #Conflicts:     295000 | #Constraints:      24592
311.79/312.72	c #Conflicts:     296000 | #Constraints:      25592
311.79/312.72	c #Conflicts:     297000 | #Constraints:      26592
311.79/312.72	c #Conflicts:     298000 | #Constraints:      27592
311.79/312.72	c #Conflicts:     299000 | #Constraints:      28592
311.79/312.72	c #Conflicts:     300000 | #Constraints:      29592
311.79/312.72	c #Conflicts:     301000 | #Constraints:      30592
311.79/312.72	c #Conflicts:     302000 | #Constraints:      31592
311.79/312.72	c #Conflicts:     303000 | #Constraints:      32592
311.79/312.72	c #Conflicts:     304000 | #Constraints:      33592
311.79/312.72	c #Conflicts:     305000 | #Constraints:      34592
311.79/312.72	c #Conflicts:     306000 | #Constraints:      35592
311.79/312.72	c #Conflicts:     307000 | #Constraints:      36592
311.79/312.72	c #Conflicts:     308000 | #Constraints:      37592
311.79/312.72	c #Conflicts:     309000 | #Constraints:      38592
311.79/312.72	c #Conflicts:     310000 | #Constraints:      39592
311.79/312.72	c #Conflicts:     311000 | #Constraints:      40592
311.79/312.72	c #Conflicts:     312000 | #Constraints:      41592
311.79/312.72	c #Conflicts:     313000 | #Constraints:      42592
311.79/312.72	c #Conflicts:     314000 | #Constraints:      43592
311.79/312.72	c #Conflicts:     315000 | #Constraints:      44592
311.79/312.72	c #Conflicts:     316000 | #Constraints:      45592
311.79/312.72	c #Conflicts:     317000 | #Constraints:      46592
311.79/312.72	c #Conflicts:     318000 | #Constraints:      47592
311.79/312.72	c #Conflicts:     319000 | #Constraints:      48592
311.79/312.72	c #Conflicts:     320000 | #Constraints:      49592
408.62/409.85	c #Conflicts:     321000 | #Constraints:      50592
408.62/409.85	c #Conflicts:     322000 | #Constraints:      51592
408.62/409.85	c #Conflicts:     323000 | #Constraints:      52592
408.62/409.85	c #Conflicts:     324000 | #Constraints:      53592
408.62/409.85	c #Conflicts:     325000 | #Constraints:      54592
408.62/409.85	c #Conflicts:     326000 | #Constraints:      55592
408.62/409.85	c #Conflicts:     327000 | #Constraints:      56592
408.62/409.85	c #Conflicts:     328000 | #Constraints:      57592
408.62/409.85	c #Conflicts:     329000 | #Constraints:      58592
408.62/409.85	c #Conflicts:     330000 | #Constraints:      59592
408.62/409.85	c #Conflicts:     331000 | #Constraints:      60592
408.62/409.85	c #Conflicts:     332000 | #Constraints:      61592
408.62/409.85	c #Conflicts:     333000 | #Constraints:      62592
408.62/409.85	c INPROCESSING
408.62/409.85	c GARBAGE COLLECT
408.62/409.85	c #Conflicts:     334000 | #Constraints:      35936
408.62/409.85	c #Conflicts:     335000 | #Constraints:      36936
408.62/409.85	c #Conflicts:     336000 | #Constraints:      37936
408.62/409.85	c #Conflicts:     337000 | #Constraints:      38936
408.62/409.85	c #Conflicts:     338000 | #Constraints:      39936
408.62/409.85	c #Conflicts:     339000 | #Constraints:      40936
408.62/409.85	c #Conflicts:     340000 | #Constraints:      41936
408.62/409.85	c #Conflicts:     341000 | #Constraints:      42936
408.62/409.85	c #Conflicts:     342000 | #Constraints:      43936
408.62/409.85	c #Conflicts:     343000 | #Constraints:      44936
408.62/409.85	c #Conflicts:     344000 | #Constraints:      45936
408.62/409.85	c #Conflicts:     345000 | #Constraints:      46936
408.62/409.85	c #Conflicts:     346000 | #Constraints:      47936
408.62/409.85	c INPROCESSING
408.62/409.85	c GARBAGE COLLECT
408.62/409.85	c #Conflicts:     347000 | #Constraints:      28477
408.62/409.85	c #Conflicts:     348000 | #Constraints:      29477
408.62/409.85	c #Conflicts:     349000 | #Constraints:      30477
408.62/409.85	c #Conflicts:     350000 | #Constraints:      31477
408.62/409.85	c #Conflicts:     351000 | #Constraints:      32477
408.62/409.85	c #Conflicts:     352000 | #Constraints:      33477
408.62/409.85	c #Conflicts:     353000 | #Constraints:      34477
408.62/409.85	c #Conflicts:     354000 | #Constraints:      35477
408.62/409.85	c #Conflicts:     355000 | #Constraints:      36477
408.62/409.85	c #Conflicts:     356000 | #Constraints:      37477
408.62/409.85	c #Conflicts:     357000 | #Constraints:      38477
408.62/409.85	c #Conflicts:     358000 | #Constraints:      39477
408.62/409.85	c #Conflicts:     359000 | #Constraints:      40477
408.62/409.85	c #Conflicts:     360000 | #Constraints:      41477
408.62/409.85	c INPROCESSING
408.62/409.85	c GARBAGE COLLECT
408.62/409.85	c #Conflicts:     361000 | #Constraints:      25467
408.62/409.85	c #Conflicts:     362000 | #Constraints:      26467
408.62/409.85	c #Conflicts:     363000 | #Constraints:      27467
408.62/409.85	c #Conflicts:     364000 | #Constraints:      28467
408.62/409.85	c #Conflicts:     365000 | #Constraints:      29467
408.62/409.85	c #Conflicts:     366000 | #Constraints:      30467
408.62/409.85	c #Conflicts:     367000 | #Constraints:      31467
408.62/409.85	c #Conflicts:     368000 | #Constraints:      32467
408.62/409.85	c #Conflicts:     369000 | #Constraints:      33467
408.62/409.85	c #Conflicts:     370000 | #Constraints:      34467
408.62/409.85	c #Conflicts:     371000 | #Constraints:      35467
408.62/409.85	c #Conflicts:     372000 | #Constraints:      36467
408.62/409.85	c #Conflicts:     373000 | #Constraints:      37467
408.62/409.85	c INPROCESSING
408.62/409.85	c GARBAGE COLLECT
408.62/409.85	c #Conflicts:     374000 | #Constraints:      23149
408.62/409.85	c #Conflicts:     375000 | #Constraints:      24149
408.62/409.85	c #Conflicts:     376000 | #Constraints:      25149
408.62/409.85	c #Conflicts:     377000 | #Constraints:      26149
408.62/409.85	c #Conflicts:     378000 | #Constraints:      27149
408.62/409.85	c #Conflicts:     379000 | #Constraints:      28149
408.62/409.85	c #Conflicts:     380000 | #Constraints:      29149
408.62/409.85	c #Conflicts:     381000 | #Constraints:      30149
408.62/409.85	c #Conflicts:     382000 | #Constraints:      31149
408.62/409.85	c #Conflicts:     383000 | #Constraints:      32149
408.62/409.85	c #Conflicts:     384000 | #Constraints:      33149
408.62/409.85	c #Conflicts:     385000 | #Constraints:      34149
408.62/409.85	c #Conflicts:     386000 | #Constraints:      35149
408.62/409.85	c #Conflicts:     387000 | #Constraints:      36149
408.62/409.85	c INPROCESSING
408.62/409.85	c GARBAGE COLLECT
408.62/409.85	c #Conflicts:     388000 | #Constraints:      22504
408.62/409.85	c #Conflicts:     389000 | #Constraints:      23504
408.62/409.85	c #Conflicts:     390000 | #Constraints:      24504
408.62/409.85	c #Conflicts:     391000 | #Constraints:      25504
408.62/409.85	c #Conflicts:     392000 | #Constraints:      26504
408.62/409.85	c #Conflicts:     393000 | #Constraints:      27504
408.62/409.85	c #Conflicts:     394000 | #Constraints:      28504
408.62/409.85	c #Conflicts:     395000 | #Constraints:      29504
496.06/497.50	c #Conflicts:     396000 | #Constraints:      30504
496.06/497.50	c #Conflicts:     397000 | #Constraints:      31504
496.06/497.50	c #Conflicts:     398000 | #Constraints:      32504
496.06/497.50	c #Conflicts:     399000 | #Constraints:      33504
496.06/497.50	c #Conflicts:     400000 | #Constraints:      34504
496.06/497.50	c #Conflicts:     401000 | #Constraints:      35504
496.06/497.50	c #Conflicts:     402000 | #Constraints:      36504
496.06/497.50	c #Conflicts:     403000 | #Constraints:      37504
496.06/497.50	c #Conflicts:     404000 | #Constraints:      38504
496.06/497.50	c #Conflicts:     405000 | #Constraints:      39504
496.06/497.50	c #Conflicts:     406000 | #Constraints:      40504
496.06/497.50	c #Conflicts:     407000 | #Constraints:      41504
496.06/497.50	c #Conflicts:     408000 | #Constraints:      42504
496.06/497.50	c #Conflicts:     409000 | #Constraints:      43504
496.06/497.50	c #Conflicts:     410000 | #Constraints:      44504
496.06/497.50	c #Conflicts:     411000 | #Constraints:      45504
496.06/497.50	c #Conflicts:     412000 | #Constraints:      46504
496.06/497.50	c #Conflicts:     413000 | #Constraints:      47504
496.06/497.50	c #Conflicts:     414000 | #Constraints:      48504
496.06/497.50	c #Conflicts:     415000 | #Constraints:      49504
496.06/497.50	c #Conflicts:     416000 | #Constraints:      50504
496.06/497.50	c #Conflicts:     417000 | #Constraints:      51504
496.06/497.50	c #Conflicts:     418000 | #Constraints:      52504
496.06/497.50	c #Conflicts:     419000 | #Constraints:      53504
496.06/497.50	c #Conflicts:     420000 | #Constraints:      54504
496.06/497.50	c #Conflicts:     421000 | #Constraints:      55504
496.06/497.50	c #Conflicts:     422000 | #Constraints:      56504
496.06/497.50	c #Conflicts:     423000 | #Constraints:      57504
496.06/497.50	c #Conflicts:     424000 | #Constraints:      58504
496.06/497.50	c #Conflicts:     425000 | #Constraints:      59504
496.06/497.50	c #Conflicts:     426000 | #Constraints:      60504
496.06/497.50	c #Conflicts:     427000 | #Constraints:      61504
496.06/497.50	c #Conflicts:     428000 | #Constraints:      62504
496.06/497.50	c #Conflicts:     429000 | #Constraints:      63504
496.06/497.50	c #Conflicts:     430000 | #Constraints:      64504
496.06/497.50	c #Conflicts:     431000 | #Constraints:      65504
496.06/497.50	c #Conflicts:     432000 | #Constraints:      66504
496.06/497.50	c #Conflicts:     433000 | #Constraints:      67504
496.06/497.50	c #Conflicts:     434000 | #Constraints:      68504
496.06/497.50	c #Conflicts:     435000 | #Constraints:      69504
496.06/497.50	c #Conflicts:     436000 | #Constraints:      70504
496.06/497.50	c INPROCESSING
496.06/497.50	c GARBAGE COLLECT
496.06/497.50	c rational objective 100.004
597.48/599.29	c #Conflicts:     437000 | #Constraints:      39596
597.48/599.29	c #Conflicts:     438000 | #Constraints:      40596
597.48/599.29	c #Conflicts:     439000 | #Constraints:      41596
597.48/599.29	c #Conflicts:     440000 | #Constraints:      42596
597.48/599.29	c #Conflicts:     441000 | #Constraints:      43596
597.48/599.29	c #Conflicts:     442000 | #Constraints:      44596
597.48/599.29	c #Conflicts:     443000 | #Constraints:      45596
597.48/599.29	c #Conflicts:     444000 | #Constraints:      46596
597.48/599.29	c #Conflicts:     445000 | #Constraints:      47596
597.48/599.29	c #Conflicts:     446000 | #Constraints:      48596
597.48/599.29	c #Conflicts:     447000 | #Constraints:      49596
597.48/599.29	c #Conflicts:     448000 | #Constraints:      50596
597.48/599.29	c #Conflicts:     449000 | #Constraints:      51596
597.48/599.29	c #Conflicts:     450000 | #Constraints:      52596
597.48/599.29	c #Conflicts:     451000 | #Constraints:      53596
597.48/599.29	c #Conflicts:     452000 | #Constraints:      54596
597.48/599.29	c INPROCESSING
597.48/599.29	c GARBAGE COLLECT
597.48/599.29	c #Conflicts:     453000 | #Constraints:      32045
597.48/599.29	c #Conflicts:     454000 | #Constraints:      33045
597.48/599.29	c #Conflicts:     455000 | #Constraints:      34045
597.48/599.29	c #Conflicts:     456000 | #Constraints:      35045
597.48/599.29	c #Conflicts:     457000 | #Constraints:      36045
597.48/599.29	c #Conflicts:     458000 | #Constraints:      37045
597.48/599.29	c #Conflicts:     459000 | #Constraints:      38045
597.48/599.29	c #Conflicts:     460000 | #Constraints:      39045
597.48/599.29	c #Conflicts:     461000 | #Constraints:      40045
597.48/599.29	c #Conflicts:     462000 | #Constraints:      41045
597.48/599.29	c #Conflicts:     463000 | #Constraints:      42045
597.48/599.29	c #Conflicts:     464000 | #Constraints:      43045
597.48/599.29	c #Conflicts:     465000 | #Constraints:      44045
597.48/599.29	c #Conflicts:     466000 | #Constraints:      45045
597.48/599.29	c #Conflicts:     467000 | #Constraints:      46045
597.48/599.29	c INPROCESSING
597.48/599.29	c GARBAGE COLLECT
597.48/599.29	c #Conflicts:     468000 | #Constraints:      27557
597.48/599.29	c #Conflicts:     469000 | #Constraints:      28557
597.48/599.29	c #Conflicts:     470000 | #Constraints:      29557
597.48/599.29	c #Conflicts:     471000 | #Constraints:      30557
597.48/599.29	c #Conflicts:     472000 | #Constraints:      31557
597.48/599.29	c #Conflicts:     473000 | #Constraints:      32557
597.48/599.29	c #Conflicts:     474000 | #Constraints:      33557
597.48/599.29	c #Conflicts:     475000 | #Constraints:      34557
597.48/599.29	c #Conflicts:     476000 | #Constraints:      35557
597.48/599.29	c #Conflicts:     477000 | #Constraints:      36557
597.48/599.29	c #Conflicts:     478000 | #Constraints:      37557
597.48/599.29	c #Conflicts:     479000 | #Constraints:      38557
597.48/599.29	c #Conflicts:     480000 | #Constraints:      39557
597.48/599.29	c #Conflicts:     481000 | #Constraints:      40557
597.48/599.29	c #Conflicts:     482000 | #Constraints:      41557
597.48/599.29	c #Conflicts:     483000 | #Constraints:      42557
597.48/599.29	c INPROCESSING
597.48/599.29	c GARBAGE COLLECT
597.48/599.29	c #Conflicts:     484000 | #Constraints:      25984
597.48/599.29	c #Conflicts:     485000 | #Constraints:      26984
597.48/599.29	c #Conflicts:     486000 | #Constraints:      27984
597.48/599.29	c #Conflicts:     487000 | #Constraints:      28984
597.48/599.29	c #Conflicts:     488000 | #Constraints:      29984
597.48/599.29	c #Conflicts:     489000 | #Constraints:      30984
597.48/599.29	c #Conflicts:     490000 | #Constraints:      31984
597.48/599.29	c #Conflicts:     491000 | #Constraints:      32984
597.48/599.29	c #Conflicts:     492000 | #Constraints:      33984
597.48/599.29	c #Conflicts:     493000 | #Constraints:      34984
597.48/599.29	c #Conflicts:     494000 | #Constraints:      35984
597.48/599.29	c #Conflicts:     495000 | #Constraints:      36984
597.48/599.29	c #Conflicts:     496000 | #Constraints:      37984
597.48/599.29	c #Conflicts:     497000 | #Constraints:      38984
597.48/599.29	c #Conflicts:     498000 | #Constraints:      39984
597.48/599.29	c INPROCESSING
597.48/599.29	c GARBAGE COLLECT
597.48/599.29	c #Conflicts:     499000 | #Constraints:      24352
597.48/599.29	c #Conflicts:     500000 | #Constraints:      25352
597.48/599.29	c #Conflicts:     501000 | #Constraints:      26352
597.48/599.29	c #Conflicts:     502000 | #Constraints:      27352
597.48/599.29	c #Conflicts:     503000 | #Constraints:      28352
597.48/599.29	c #Conflicts:     504000 | #Constraints:      29352
597.48/599.29	c #Conflicts:     505000 | #Constraints:      30352
597.48/599.29	c #Conflicts:     506000 | #Constraints:      31352
597.48/599.29	c #Conflicts:     507000 | #Constraints:      32352
597.48/599.29	c #Conflicts:     508000 | #Constraints:      33352
597.48/599.29	c #Conflicts:     509000 | #Constraints:      34352
597.48/599.29	c #Conflicts:     510000 | #Constraints:      35352
597.48/599.29	c #Conflicts:     511000 | #Constraints:      36352
597.48/599.29	c #Conflicts:     512000 | #Constraints:      37352
597.48/599.29	c #Conflicts:     513000 | #Constraints:      38352
740.30/742.47	c #Conflicts:     514000 | #Constraints:      39352
740.30/742.47	c #Conflicts:     515000 | #Constraints:      40352
740.30/742.47	c #Conflicts:     516000 | #Constraints:      41352
740.30/742.47	c #Conflicts:     517000 | #Constraints:      42352
740.30/742.47	c #Conflicts:     518000 | #Constraints:      43352
740.30/742.47	c #Conflicts:     519000 | #Constraints:      44352
740.30/742.47	c #Conflicts:     520000 | #Constraints:      45352
740.30/742.47	c #Conflicts:     521000 | #Constraints:      46352
740.30/742.47	c #Conflicts:     522000 | #Constraints:      47352
740.30/742.47	c #Conflicts:     523000 | #Constraints:      48352
740.30/742.47	c #Conflicts:     524000 | #Constraints:      49352
740.30/742.47	c #Conflicts:     525000 | #Constraints:      50352
740.30/742.47	c #Conflicts:     526000 | #Constraints:      51352
740.30/742.47	c #Conflicts:     527000 | #Constraints:      52352
740.30/742.47	c #Conflicts:     528000 | #Constraints:      53352
740.30/742.47	c #Conflicts:     529000 | #Constraints:      54352
740.30/742.47	c #Conflicts:     530000 | #Constraints:      55352
740.30/742.47	c #Conflicts:     531000 | #Constraints:      56352
740.30/742.47	c #Conflicts:     532000 | #Constraints:      57352
740.30/742.47	c #Conflicts:     533000 | #Constraints:      58352
740.30/742.47	c #Conflicts:     534000 | #Constraints:      59352
740.30/742.47	c #Conflicts:     535000 | #Constraints:      60352
740.30/742.47	c #Conflicts:     536000 | #Constraints:      61352
740.30/742.47	c #Conflicts:     537000 | #Constraints:      62352
740.30/742.47	c #Conflicts:     538000 | #Constraints:      63352
740.30/742.47	c #Conflicts:     539000 | #Constraints:      64352
740.30/742.47	c #Conflicts:     540000 | #Constraints:      65352
740.30/742.47	c #Conflicts:     541000 | #Constraints:      66352
740.30/742.47	c #Conflicts:     542000 | #Constraints:      67352
740.30/742.47	c #Conflicts:     543000 | #Constraints:      68352
740.30/742.47	c #Conflicts:     544000 | #Constraints:      69352
740.30/742.47	c #Conflicts:     545000 | #Constraints:      70352
740.30/742.47	c #Conflicts:     546000 | #Constraints:      71352
740.30/742.47	c #Conflicts:     547000 | #Constraints:      72352
740.30/742.47	c #Conflicts:     548000 | #Constraints:      73352
740.30/742.47	c #Conflicts:     549000 | #Constraints:      74352
740.30/742.47	c #Conflicts:     550000 | #Constraints:      75352
740.30/742.47	c #Conflicts:     551000 | #Constraints:      76352
740.30/742.47	c #Conflicts:     552000 | #Constraints:      77352
740.30/742.48	c #Conflicts:     553000 | #Constraints:      78352
740.30/742.48	c #Conflicts:     554000 | #Constraints:      79352
740.30/742.48	c INPROCESSING
740.30/742.48	c GARBAGE COLLECT
740.30/742.48	c #Conflicts:     555000 | #Constraints:      44282
740.30/742.48	c #Conflicts:     556000 | #Constraints:      45282
740.30/742.48	c #Conflicts:     557000 | #Constraints:      46282
740.30/742.48	c #Conflicts:     558000 | #Constraints:      47282
740.30/742.48	c #Conflicts:     559000 | #Constraints:      48282
740.30/742.48	c #Conflicts:     560000 | #Constraints:      49282
740.30/742.48	c #Conflicts:     561000 | #Constraints:      50282
740.30/742.48	c #Conflicts:     562000 | #Constraints:      51282
740.30/742.48	c #Conflicts:     563000 | #Constraints:      52282
740.30/742.48	c #Conflicts:     564000 | #Constraints:      53282
740.30/742.48	c #Conflicts:     565000 | #Constraints:      54282
740.30/742.48	c #Conflicts:     566000 | #Constraints:      55282
740.30/742.48	c #Conflicts:     567000 | #Constraints:      56282
740.30/742.48	c #Conflicts:     568000 | #Constraints:      57282
740.30/742.48	c #Conflicts:     569000 | #Constraints:      58282
740.30/742.48	c #Conflicts:     570000 | #Constraints:      59282
740.30/742.48	c #Conflicts:     571000 | #Constraints:      60282
740.30/742.48	c INPROCESSING
740.30/742.48	c GARBAGE COLLECT
740.30/742.48	c #Conflicts:     572000 | #Constraints:      34659
740.30/742.48	c #Conflicts:     573000 | #Constraints:      35659
740.30/742.48	c #Conflicts:     574000 | #Constraints:      36659
740.30/742.48	c #Conflicts:     575000 | #Constraints:      37659
740.30/742.48	c #Conflicts:     576000 | #Constraints:      38659
740.30/742.48	c #Conflicts:     577000 | #Constraints:      39659
740.30/742.48	c #Conflicts:     578000 | #Constraints:      40659
740.30/742.48	c #Conflicts:     579000 | #Constraints:      41659
740.30/742.48	c #Conflicts:     580000 | #Constraints:      42659
740.30/742.48	c #Conflicts:     581000 | #Constraints:      43659
740.30/742.48	c #Conflicts:     582000 | #Constraints:      44659
740.30/742.48	c #Conflicts:     583000 | #Constraints:      45659
740.30/742.48	c #Conflicts:     584000 | #Constraints:      46659
740.30/742.48	c #Conflicts:     585000 | #Constraints:      47659
740.30/742.48	c #Conflicts:     586000 | #Constraints:      48659
740.30/742.48	c #Conflicts:     587000 | #Constraints:      49659
740.30/742.48	c #Conflicts:     588000 | #Constraints:      50659
740.30/742.48	c INPROCESSING
740.30/742.48	c GARBAGE COLLECT
740.30/742.48	c rational objective 102.007
828.68/831.03	c #Conflicts:     589000 | #Constraints:      29712
828.68/831.03	c #Conflicts:     590000 | #Constraints:      30712
828.68/831.03	c #Conflicts:     591000 | #Constraints:      31712
828.68/831.03	c #Conflicts:     592000 | #Constraints:      32712
828.68/831.03	c #Conflicts:     593000 | #Constraints:      33712
828.68/831.03	c #Conflicts:     594000 | #Constraints:      34712
828.68/831.03	c #Conflicts:     595000 | #Constraints:      35712
828.68/831.03	c #Conflicts:     596000 | #Constraints:      36712
828.68/831.03	c #Conflicts:     597000 | #Constraints:      37712
828.68/831.03	c #Conflicts:     598000 | #Constraints:      38712
828.68/831.03	c #Conflicts:     599000 | #Constraints:      39712
828.68/831.03	c #Conflicts:     600000 | #Constraints:      40712
828.68/831.03	c #Conflicts:     601000 | #Constraints:      41712
828.68/831.03	c #Conflicts:     602000 | #Constraints:      42712
828.68/831.03	c #Conflicts:     603000 | #Constraints:      43712
828.68/831.03	c #Conflicts:     604000 | #Constraints:      44712
828.68/831.03	c #Conflicts:     605000 | #Constraints:      45712
828.68/831.03	c #Conflicts:     606000 | #Constraints:      46712
828.68/831.03	c INPROCESSING
828.68/831.03	c GARBAGE COLLECT
828.68/831.03	c #Conflicts:     607000 | #Constraints:      28006
828.68/831.03	c #Conflicts:     608000 | #Constraints:      29006
828.68/831.03	c #Conflicts:     609000 | #Constraints:      30006
828.68/831.03	c #Conflicts:     610000 | #Constraints:      31006
828.68/831.03	c #Conflicts:     611000 | #Constraints:      32006
828.68/831.03	c #Conflicts:     612000 | #Constraints:      33006
828.68/831.03	c #Conflicts:     613000 | #Constraints:      34006
828.68/831.03	c #Conflicts:     614000 | #Constraints:      35006
828.68/831.03	c #Conflicts:     615000 | #Constraints:      36006
828.68/831.03	c #Conflicts:     616000 | #Constraints:      37006
828.68/831.03	c #Conflicts:     617000 | #Constraints:      38006
828.68/831.03	c #Conflicts:     618000 | #Constraints:      39006
828.68/831.03	c #Conflicts:     619000 | #Constraints:      40006
828.68/831.03	c #Conflicts:     620000 | #Constraints:      41006
828.68/831.03	c #Conflicts:     621000 | #Constraints:      42006
828.68/831.03	c #Conflicts:     622000 | #Constraints:      43006
828.68/831.03	c #Conflicts:     623000 | #Constraints:      44006
828.68/831.03	c #Conflicts:     624000 | #Constraints:      45006
828.68/831.03	c INPROCESSING
828.68/831.03	c GARBAGE COLLECT
828.68/831.03	c #Conflicts:     625000 | #Constraints:      27242
828.68/831.03	c #Conflicts:     626000 | #Constraints:      28242
828.68/831.03	c #Conflicts:     627000 | #Constraints:      29242
828.68/831.03	c #Conflicts:     628000 | #Constraints:      30242
828.68/831.03	c #Conflicts:     629000 | #Constraints:      31242
828.68/831.03	c #Conflicts:     630000 | #Constraints:      32242
828.68/831.03	c #Conflicts:     631000 | #Constraints:      33242
828.68/831.03	c #Conflicts:     632000 | #Constraints:      34242
828.68/831.03	c #Conflicts:     633000 | #Constraints:      35242
828.68/831.03	c #Conflicts:     634000 | #Constraints:      36242
828.68/831.03	c #Conflicts:     635000 | #Constraints:      37242
828.68/831.03	c #Conflicts:     636000 | #Constraints:      38242
828.68/831.03	c #Conflicts:     637000 | #Constraints:      39242
828.68/831.03	c #Conflicts:     638000 | #Constraints:      40242
828.68/831.03	c #Conflicts:     639000 | #Constraints:      41242
828.68/831.03	c #Conflicts:     640000 | #Constraints:      42242
828.68/831.03	c #Conflicts:     641000 | #Constraints:      43242
828.68/831.03	c #Conflicts:     642000 | #Constraints:      44242
828.68/831.03	c #Conflicts:     643000 | #Constraints:      45242
828.68/831.03	c #Conflicts:     644000 | #Constraints:      46242
828.68/831.03	c #Conflicts:     645000 | #Constraints:      47242
828.68/831.03	c #Conflicts:     646000 | #Constraints:      48242
828.68/831.03	c #Conflicts:     647000 | #Constraints:      49242
828.68/831.03	c #Conflicts:     648000 | #Constraints:      50242
828.68/831.03	c #Conflicts:     649000 | #Constraints:      51242
828.68/831.03	c #Conflicts:     650000 | #Constraints:      52242
828.68/831.03	c #Conflicts:     651000 | #Constraints:      53242
828.68/831.03	c #Conflicts:     652000 | #Constraints:      54242
828.68/831.03	c #Conflicts:     653000 | #Constraints:      55242
828.68/831.03	c #Conflicts:     654000 | #Constraints:      56242
828.68/831.03	c #Conflicts:     655000 | #Constraints:      57242
828.68/831.03	c #Conflicts:     656000 | #Constraints:      58242
828.68/831.03	c #Conflicts:     657000 | #Constraints:      59242
828.68/831.03	c #Conflicts:     658000 | #Constraints:      60242
828.68/831.03	c cpu time 821.532 s
828.68/831.03	c deterministic time 55459688155 5.55e+10
828.68/831.03	c optimization time 9.4e-05 s
828.68/831.03	c total solve time 821.442 s
828.68/831.03	c core-guided solve time 0 s
828.68/831.03	c propagation time 425.968 s
828.68/831.03	c conflict analysis time 306.969 s
828.68/831.03	c propagations 307430475
828.68/831.03	c resolve steps 28212642
828.68/831.03	c decisions 6219404
828.68/831.03	c conflicts 658572
828.68/831.03	c restarts 1404
828.68/831.03	c inprocessing phases 48
828.68/831.03	c garbage collections 48 ,( 100.00 )
828.68/831.03	c input clauses 6814 ,( 98.61 )
828.68/831.03	c input cardinalities 96 ,( 1.39 )
828.68/831.03	c input general constraints 0 ,( 0.00 )
828.68/831.03	c input average constraint length 6.14
828.68/831.03	c input average constraint degree 1.92
828.68/831.03	c learned clauses 483381 ,( 73.40 )
828.68/831.03	c learned cardinalities 16380 ,( 2.49 )
828.68/831.03	c learned general constraints 158814 ,( 24.11 )
828.68/831.03	c learned average constraint length 544.94
828.68/831.03	c learned average constraint degree 7601525.92
828.68/831.03	c watched  CF 32, 64, 128, Arb: 48114 , 0 , 0 , 0
828.68/831.03	c counting CF 32, 64, 128, Arb: 110700 , 0 , 0 , 0
828.68/831.03	c watched   constraints 48114 ,( 30.30 ) 
828.68/831.03	c counting  constraints 110700 ,( 69.70 ) 
828.68/831.03	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 380260331 , 189882386 , 724992416 ,( 46183190 , 678809226 )
828.68/831.03	c gcd simplifications 395
828.68/831.03	c detected cardinalities 1483
828.68/831.03	c weakened non-implied lits 113979938
828.68/831.03	c weakened non-implying lits 77454
828.68/831.03	c original variables 6591
828.68/831.03	c clausal propagations 125310880
828.68/831.03	c cardinality propagations 113385433
828.68/831.03	c watched propagations 1495017
828.68/831.03	c counting propagations 64444329
828.68/831.03	c watch lookups 24772471003
828.68/831.03	c watch backjump lookups 0
828.68/831.03	c watch checks 9869577299
828.68/831.03	c propagation checks 18929582713
828.68/831.03	c constraint additions 1259945098
828.68/831.03	c trail pops 314308011
828.68/831.03	c formula constraints 6910
828.68/831.03	c learned constraints 658571
828.68/831.03	c bound constraints 0
828.68/831.03	c core-guided constraints 0
828.68/831.03	c encountered formula constraints 18573584
828.68/831.03	c encountered learned constraints 10297598
828.68/831.03	c encountered bound constraints 0
828.68/831.03	c encountered core-guided constraints 0
828.68/831.03	c LP total time 76.9176 s
828.68/831.03	c LP solve time 73.92 s
828.68/831.03	c LP constraints added 7190
828.68/831.03	c LP constraints removed 152
828.68/831.03	c LP pivots internal 75692
828.68/831.03	c LP pivots root 78459
828.68/831.03	c LP calls 13
828.68/831.03	c LP optimalities 7
828.68/831.03	c LP no pivot count 0
828.68/831.03	c LP infeasibilities 1
828.68/831.03	c LP valid Farkas constraints 1
828.68/831.03	c LP learned Farkas constraints 1
828.68/831.03	c LP basis resets 0
828.68/831.03	c LP cycling count 0
828.68/831.03	c LP singular count 0
828.68/831.03	c LP no primal count 0
828.68/831.03	c LP no farkas count 0
828.68/831.03	c LP other issue count 0
828.68/831.03	c LP Gomory cuts 2
828.68/831.03	c LP learned cuts 278
828.68/831.03	c LP deleted cuts 152
828.68/831.03	c LP encountered Gomory constraints 0
828.68/831.03	c LP encountered Farkas constraints 5
828.68/831.03	c LP encountered learned Farkas constraints 26
828.68/831.03	c CG auxiliary variables introduced 0
828.68/831.03	c CG solutions found 0
828.68/831.03	c CG cores constructed 0
828.68/831.03	c CG core cardinality constraints returned 0
828.68/831.03	c CG unit cores 0
828.68/831.03	c CG single cores 0
828.68/831.03	c CG blocks removed during cardinality reduction 0
828.68/831.03	c CG first core best 0
828.68/831.03	c CG decision core best 0
828.68/831.03	c CG core reduction tie 0
828.68/831.03	c CG core degree average 0.00
828.68/831.03	c CG core slack average 0.00
828.68/831.03	c CG core upper bound improvements 0
828.68/831.03	c STR number of successful calls 0
828.68/831.03	c STR number of unsuccessful calls 0
828.68/831.03	c STR number of inconclusive calls 0
828.68/831.03	c STR number of successful attempts 0
828.68/831.03	c STR number of unsuccessful attempts 0
828.68/831.03	c STR number of inconclusive attempts 0
828.68/831.03	c STR average degree increase per successful call inf
828.68/831.03	c STR average degree increase per successful attempt inf
828.68/831.03	c STR total number of conflicts for successful attempts 0
828.68/831.03	c STR total number of conflicts for unsuccessful attempts 0
828.68/831.03	c STR total number of conflicts for inconclusive attempts 0
828.68/831.03	c STR average number of conflicts per successful attempt inf
828.68/831.03	c STR average number of conflicts per unsuccessful attempt inf
828.68/831.03	c STR average number of conflicts per inconclusive attempt inf
828.68/831.03	c AVG.sumWPerc 61.39 
828.68/831.03	c bigint constraints 0 
828.68/831.03	s SATISFIABLE
828.68/831.03	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 x4196 -x4197 x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 x4206 -x4207 x4208 -x4209 x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 x4585 -x4586 x4587 -x4588 x4589 -x4590 -x4591 -x4592 -x4593 -x4594 x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 x4935 -x4936 x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 x5719 -x5720 x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 x5874 -x5875 x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 x6134 -x6135 x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 x6528

Verifier Data 

OK	0

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: 63837 MiB (62436 MiB free)
  memory of node 1: 64465 MiB (63508 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507592-1751186278/watcher-4507592-1751186278 -o /tmp/evaluation-result-4507592-1751186278/solver-4507592-1751186278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19246 --watchdog 3760 run-dec-break.sh HOME/instance-4507592-1751186278.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=19723, runsolver pid=19720

[startup+0.100117 s]*
/proc/loadavg: 3.92 4.08 4.08 5/253 19726
/proc/meminfo: memFree=128955736/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=57284 memory=10368 CPUtime=0.01 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 817 0 0 0 1 0 0 0 20 0 1 0 34306517 58658816 2592 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 14321 2592 1984 1147 0 1748 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61476 KiB
Current children cumulated memory: 13312 KiB

[startup+0.213346 s]*
/proc/loadavg: 3.92 4.08 4.08 5/253 19726
/proc/meminfo: memFree=128949436/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=69928 memory=25644 CPUtime=0.12 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 4493 0 0 0 10 2 0 0 20 0 1 0 34306517 71606272 6411 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 17482 6411 2240 1147 0 4909 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 74120 KiB
Current children cumulated memory: 28588 KiB

[startup+0.313492 s]*
/proc/loadavg: 3.92 4.08 4.08 5/253 19726
/proc/meminfo: memFree=128944900/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=73600 memory=28204 CPUtime=0.22 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 5173 0 0 0 19 3 0 0 20 0 1 0 34306517 75366400 7051 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 18400 7051 2240 1147 0 5827 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77792 KiB
Current children cumulated memory: 31148 KiB

[startup+0.700396 s]
/proc/loadavg: 3.92 4.08 4.08 5/253 19726
/proc/meminfo: memFree=128943892/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=74088 memory=28972 CPUtime=0.59 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 5306 0 0 0 56 3 0 0 20 0 1 0 34306517 75866112 7243 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 18522 7243 2272 1147 0 5949 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 78280 KiB
Current children cumulated memory: 31916 KiB

[startup+1.50039 s]
/proc/loadavg: 3.92 4.08 4.08 5/253 19726
/proc/meminfo: memFree=128944144/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=75820 memory=30508 CPUtime=1.4 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 5712 0 0 0 136 4 0 0 20 0 1 0 34306517 77639680 7627 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 18955 7627 2272 1147 0 6382 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 80012 KiB
Current children cumulated memory: 33452 KiB

[startup+3.113 s]
/proc/loadavg: 3.92 4.08 4.08 5/253 19726
/proc/meminfo: memFree=128934612/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=78668 memory=36192 CPUtime=3 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 6543 0 0 0 291 9 0 0 20 0 1 0 34306517 80556032 9048 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 19667 9048 2336 1147 0 7094 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 82860 KiB
Current children cumulated memory: 39136 KiB

[startup+6.30035 s]
/proc/loadavg: 3.93 4.08 4.08 5/253 19726
/proc/meminfo: memFree=128919256/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=85796 memory=42844 CPUtime=6.18 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 7720 0 0 0 601 17 0 0 20 0 1 0 34306517 87855104 10711 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 21449 10711 2336 1147 0 8876 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 89988 KiB
Current children cumulated memory: 45788 KiB

[startup+12.7003 s]
/proc/loadavg: 3.94 4.08 4.08 5/253 19726
/proc/meminfo: memFree=128912704/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=91328 memory=48348 CPUtime=12.57 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 9101 0 0 0 1226 31 0 0 20 0 1 0 34306517 93519872 12087 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 22832 12087 2336 1147 0 10259 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 95520 KiB
Current children cumulated memory: 51292 KiB

[startup+25.5004 s]
/proc/loadavg: 4.03 4.09 4.08 5/253 19726
/proc/meminfo: memFree=128873980/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=100052 memory=56068 CPUtime=25.33 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 10502 0 0 0 2477 56 0 0 20 0 1 0 34306517 102453248 14017 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 25013 14017 2336 1147 0 12440 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 104244 KiB
Current children cumulated memory: 59012 KiB

[startup+51.1132 s]
/proc/loadavg: 4.02 4.08 4.08 5/253 19727
/proc/meminfo: memFree=128792788/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=166880 memory=118612 CPUtime=50.87 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 18979 0 0 0 4994 93 0 0 20 0 1 0 34306517 170885120 29653 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 41720 29653 2336 1147 0 29147 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 171072 KiB
Current children cumulated memory: 121556 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/253 19729
/proc/meminfo: memFree=128721388/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=209336 memory=138060 CPUtime=101.92 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 22342 0 0 0 10028 164 0 0 20 0 1 0 34306517 214360064 34515 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 52334 34515 2336 1147 0 39761 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 213528 KiB
Current children cumulated memory: 141004 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/253 19731
/proc/meminfo: memFree=128621168/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=228684 memory=171488 CPUtime=161.75 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 26594 0 0 0 15950 225 0 0 20 0 1 0 34306517 234172416 42872 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 57171 42872 2336 1147 0 44598 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 232876 KiB
Current children cumulated memory: 174432 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.08 5/255 19737
/proc/meminfo: memFree=128517400/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=284248 memory=230900 CPUtime=221.58 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 28176 0 0 0 21892 266 0 0 20 0 1 0 34306517 291069952 57725 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 71062 57725 2336 1147 0 58489 0

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

/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 38942 0 0 0 45609 482 0 0 20 0 1 0 34306517 420114432 69964 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 102567 69964 2336 1147 0 89994 0
Current children cumulated CPU time: 460.97 s
Current children cumulated vsize: 414460 KiB
Current children cumulated memory: 282800 KiB

[startup+522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 19751
/proc/meminfo: memFree=128231976/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=424636 memory=305116 CPUtime=520.74 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 42188 0 0 0 51572 502 0 0 20 0 1 0 34306517 434827264 76279 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 106159 76279 2336 1147 0 93586 0
Current children cumulated CPU time: 520.8 s
Current children cumulated vsize: 428828 KiB
Current children cumulated memory: 308060 KiB

[startup+582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 19753
/proc/meminfo: memFree=128211028/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=426952 memory=307292 CPUtime=580.57 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 42749 0 0 0 57519 538 0 0 20 0 1 0 34306517 437198848 76823 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 106738 76823 2336 1147 0 94165 0
Current children cumulated CPU time: 580.63 s
Current children cumulated vsize: 431144 KiB
Current children cumulated memory: 310236 KiB

[startup+642.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 19755
/proc/meminfo: memFree=128100576/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=432984 memory=313052 CPUtime=640.4 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 44199 0 0 0 63459 581 0 0 20 0 1 0 34306517 443375616 78263 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 108246 78263 2336 1147 0 95673 0
Current children cumulated CPU time: 640.46 s
Current children cumulated vsize: 437176 KiB
Current children cumulated memory: 315996 KiB

[startup+702.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 19757
/proc/meminfo: memFree=128087100/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=442772 memory=333988 CPUtime=700.25 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 46384 0 0 0 69409 616 0 0 20 0 1 0 34306517 453398528 83497 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 110693 83497 2336 1147 0 98120 0
Current children cumulated CPU time: 700.31 s
Current children cumulated vsize: 446964 KiB
Current children cumulated memory: 336932 KiB

[startup+762.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 19759
/proc/meminfo: memFree=128085792/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=449604 memory=340900 CPUtime=760.09 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 48097 0 0 0 75352 657 0 0 20 0 1 0 34306517 460394496 85225 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 112401 85225 2336 1147 0 99828 0
Current children cumulated CPU time: 760.15 s
Current children cumulated vsize: 453796 KiB
Current children cumulated memory: 343844 KiB

[startup+822.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 19766
/proc/meminfo: memFree=128082372/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=449604 memory=340900 CPUtime=819.93 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 48103 0 0 0 81285 708 0 0 20 0 1 0 34306517 460394496 85225 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 112401 85225 2336 1147 0 99828 0
Current children cumulated CPU time: 819.99 s
Current children cumulated vsize: 453796 KiB
Current children cumulated memory: 343844 KiB

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

# cumulated CPU time of all completed processes:  user=821.594 s, system=7.14809 s

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

[startup+825.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 19766
/proc/meminfo: memFree=128082380/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=449604 memory=340900 CPUtime=823.22 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 48103 0 0 0 81613 709 0 0 20 0 1 0 34306517 460394496 85225 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 112401 85225 2336 1147 0 99828 0
Current children cumulated CPU time: 823.28 s
Current children cumulated vsize: 453796 KiB
Current children cumulated memory: 343844 KiB

[startup+828.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 19766
/proc/meminfo: memFree=128082380/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=449604 memory=340900 CPUtime=826.41 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 48108 0 0 0 81931 710 0 0 20 0 1 0 34306517 460394496 85225 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 112401 85225 2336 1147 0 99828 0
Current children cumulated CPU time: 826.47 s
Current children cumulated vsize: 453796 KiB
Current children cumulated memory: 343844 KiB

[startup+830.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 19766
/proc/meminfo: memFree=128082380/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=449604 memory=340900 CPUtime=828.01 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 48108 0 0 0 82090 711 0 0 20 0 1 0 34306517 460394496 85225 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 112401 85225 2336 1147 0 99828 0
Current children cumulated CPU time: 828.07 s
Current children cumulated vsize: 453796 KiB
Current children cumulated memory: 343844 KiB

[startup+830.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 19766
/proc/meminfo: memFree=128082380/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=449604 memory=340900 CPUtime=828.41 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 48108 0 0 0 82130 711 0 0 20 0 1 0 34306517 460394496 85225 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 112401 85225 2336 1147 0 99828 0
Current children cumulated CPU time: 828.47 s
Current children cumulated vsize: 453796 KiB
Current children cumulated memory: 343844 KiB

[startup+831 s]*
/proc/loadavg: 4.10 4.11 4.09 5/254 19766
/proc/meminfo: memFree=128082380/131382120 swapFree=33010684/33010684
[pid=19723] ppid=19720 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19723/stat : 19723 (run-dec-break.s) S 19720 19723 19233 0 -1 4194304 235 4555 0 0 0 0 5 1 20 0 1 0 34306509 4292608 736 18446744073709551615 94391329579008 94391330473541 140723572160832 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94391330712592 94391330760336 94391364096000 140723572169057 140723572169186 140723572169186 140723572174788 0
/proc/19723/statm: 1048 736 672 219 0 110 0
[pid=19726] ppid=19723 vsize=449604 memory=340900 CPUtime=828.62 cores=5,7
/proc/19726/stat : 19726 (roundingsat) R 19723 19723 19233 0 -1 4194304 48108 0 0 0 82151 711 0 0 20 0 1 0 34306517 460394496 85225 18446744073709551615 4227072 8923433 140732382901424 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12890112 140732382910788 140732382911016 140732382911016 140732382916586 0
/proc/19726/statm: 112401 85225 2336 1147 0 99828 0
Current children cumulated CPU time: 828.68 s
Current children cumulated vsize: 453796 KiB
Current children cumulated memory: 343844 KiB

Child status: 0

Real time (s): 831.051
CPU time (s): 828.742
CPU user time (s): 821.594
CPU system time (s): 7.14809
CPU usage (%): 99.7223
Max. virtual memory (cumulated for all children) (KiB): 453796
Max. memory (cumulated for all children) (KiB): 343844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 821.594
system time used= 7.14809
maximum resident set size= 340900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52922
page faults= 0
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 753


# summary of solver processes directly reported to runsolver:
#   pid: 19723
#   total CPU time (s): 828.742
#   total CPU user time (s): 821.594
#   total CPU system time (s): 7.14809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.4382 second user time and 8.46972 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-06-29 10:37:58
IDJOB=4507592
IDBENCH=158367
IDSOLVER=3357
FILE ID=nodeC003/4507592-1751186278
RUNJOBID= nodeC003-1751182666-19246
SLURM_JOB_ID= 9587560
Free space on /tmp= 433016 MiB

SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507592-1751186278/watcher-4507592-1751186278 -o /tmp/evaluation-result-4507592-1751186278/solver-4507592-1751186278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19246 --watchdog 3760  run-dec-break.sh HOME/instance-4507592-1751186278.opb

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

MD5SUM BENCH= 85449da570d8e9c3bf031cd447953d83
RANDOM SEED=43644299

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128967328 kB
MemAvailable:   128778888 kB
Buffers:            3280 kB
Cached:           622196 kB
SwapCached:            0 kB
Active:          1430840 kB
Inactive:         408984 kB
Active(anon):    1232308 kB
Inactive(anon):        0 kB
Active(file):     198532 kB
Inactive(file):   408984 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16124 kB
Writeback:             4 kB
AnonPages:       1216832 kB
Mapped:           116052 kB
Shmem:             17960 kB
KReclaimable:      87344 kB
Slab:             168464 kB
SReclaimable:      87344 kB
SUnreclaim:        81120 kB
KernelStack:        4064 kB
PageTables:         5592 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1764320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    600064 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 10:51:50