Trace number 4507412

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 664.771 666.805

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K102.opb
MD5SUM433935bc469f703143ab8083d95aeb05
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 benchmark2.08246
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6936
Total number of constraints7142
Number of constraints which are clauses7040
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint102
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 103
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.03	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.03	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.03	c │      (c) 2025 Markus Anders                                    │
0.00/0.03	c └────────────────────────────────────────────────────────────────┘
0.00/0.03	c parse 'HOME/instance-4507412-1751182666.opb'
0.00/0.05	c 	read 0.44MB  (18.77ms)
0.00/0.05	c	 [cnf: #variables 6936 #clauses 7142 #duplicates 0 #arr 44545]
0.00/0.05	c 
0.00/0.05	c make graph and approximate orbits
0.00/0.07	c	 [group: #orbits ~= 1224] (23.05ms)
0.00/0.07	c 
0.00/0.07	c detect special group actions
0.00/0.07	c 	probe for Johnson action (limit=64)
0.00/0.07	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.08	c 	 (5.26ms)
0.00/0.08	c 
0.00/0.08	c detect symmetries on remainder
0.00/0.08	c 	[graph: #vertices 34886 #edges 130706]
0.00/0.08	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.10	c 	 [group: #symmetries 3.84*10^2 #generators 7] (28.17ms)
0.00/0.10	c 
0.00/0.10	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.10	c 	(0.16ms)
0.00/0.10	c 
0.00/0.10	c finalize break order and special generators
0.00/0.10	c 
0.00/0.10	c add generic predicates (break_depth=10)
0.00/0.10	c 	added predicates for 7 generators (0.32ms)
0.00/0.10	c 
0.00/0.10	c generation finished
0.00/0.10	c 	[sbp: #constraints 196 #add_vars 63]
0.00/0.11	c 
0.00/0.11	c write result to 'HOME/instance-4507412-1751182666.opb.pre'
0.07/0.11	c 	wrote 0.46MB (3.49ms)
0.07/0.11	c ------------------------------------------------------------------
0.07/0.11	c                  28.17ms 34.46% detect_generic
0.07/0.11	c                  23.05ms 28.19% approx_orbits
0.07/0.11	c                  18.76ms 22.95% parse
0.07/0.11	c                   5.26ms  6.43% detect_special
0.07/0.11	c                   3.49ms  4.27% output
0.07/0.11	c                   1.78ms  2.18% other
0.07/0.11	c                   0.76ms  0.93% finalize_order
0.07/0.11	c                   0.32ms  0.39% break_generic
0.07/0.11	c                   0.16ms  0.19% optimize_gens
0.07/0.11	c         ───────────────────────────────────────────────
0.07/0.11	c                  81.75ms   100% total
0.07/0.11	c ------------------------------------------------------------------
0.07/0.13	c RoundingSat 2
0.07/0.13	c branch pb25
0.07/0.13	c commit 63f22ad
0.16/0.25	c #variables 6999 #constraints 7330
48.59/48.88	c #Conflicts:       1000 | #Constraints:       8329
48.59/48.88	c #Conflicts:       2000 | #Constraints:       9329
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:       3000 | #Constraints:       9004
48.59/48.88	c #Conflicts:       4000 | #Constraints:      10004
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:       5000 | #Constraints:       9479
48.59/48.88	c #Conflicts:       6000 | #Constraints:      10479
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:       7000 | #Constraints:       9541
48.59/48.88	c #Conflicts:       8000 | #Constraints:      10541
48.59/48.88	c #Conflicts:       9000 | #Constraints:      11541
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:      10000 | #Constraints:      10270
48.59/48.88	c #Conflicts:      11000 | #Constraints:      11270
48.59/48.88	c #Conflicts:      12000 | #Constraints:      12270
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:      13000 | #Constraints:      10734
48.59/48.88	c #Conflicts:      14000 | #Constraints:      11734
48.59/48.88	c #Conflicts:      15000 | #Constraints:      12734
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:      16000 | #Constraints:      11007
48.59/48.88	c #Conflicts:      17000 | #Constraints:      12007
48.59/48.88	c #Conflicts:      18000 | #Constraints:      13007
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:      19000 | #Constraints:      11074
48.59/48.88	c #Conflicts:      20000 | #Constraints:      12074
48.59/48.88	c #Conflicts:      21000 | #Constraints:      13074
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:      22000 | #Constraints:      10897
48.59/48.88	c #Conflicts:      23000 | #Constraints:      11897
48.59/48.88	c #Conflicts:      24000 | #Constraints:      12897
48.59/48.88	c #Conflicts:      25000 | #Constraints:      13897
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:      26000 | #Constraints:      11541
48.59/48.88	c #Conflicts:      27000 | #Constraints:      12541
48.59/48.88	c #Conflicts:      28000 | #Constraints:      13541
48.59/48.88	c #Conflicts:      29000 | #Constraints:      14541
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:      30000 | #Constraints:      11949
48.59/48.88	c #Conflicts:      31000 | #Constraints:      12949
48.59/48.88	c #Conflicts:      32000 | #Constraints:      13949
48.59/48.88	c #Conflicts:      33000 | #Constraints:      14949
48.59/48.88	c #Conflicts:      34000 | #Constraints:      15949
48.59/48.88	c #Conflicts:      35000 | #Constraints:      16949
48.59/48.88	c #Conflicts:      36000 | #Constraints:      17949
48.59/48.88	c #Conflicts:      37000 | #Constraints:      18949
48.59/48.88	c #Conflicts:      38000 | #Constraints:      19949
48.59/48.88	c #Conflicts:      39000 | #Constraints:      20949
48.59/48.88	c #Conflicts:      40000 | #Constraints:      21949
48.59/48.88	c #Conflicts:      41000 | #Constraints:      22949
48.59/48.88	c #Conflicts:      42000 | #Constraints:      23949
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:      43000 | #Constraints:      16293
48.59/48.88	c #Conflicts:      44000 | #Constraints:      17293
48.59/48.88	c #Conflicts:      45000 | #Constraints:      18293
48.59/48.88	c #Conflicts:      46000 | #Constraints:      19293
48.59/48.88	c #Conflicts:      47000 | #Constraints:      20293
48.59/48.88	c #Conflicts:      48000 | #Constraints:      21293
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:      49000 | #Constraints:      15396
48.59/48.88	c #Conflicts:      50000 | #Constraints:      16396
48.59/48.88	c #Conflicts:      51000 | #Constraints:      17396
48.59/48.88	c #Conflicts:      52000 | #Constraints:      18396
48.59/48.88	c #Conflicts:      53000 | #Constraints:      19396
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:      54000 | #Constraints:      14303
48.59/48.88	c #Conflicts:      55000 | #Constraints:      15303
48.59/48.88	c #Conflicts:      56000 | #Constraints:      16303
48.59/48.88	c #Conflicts:      57000 | #Constraints:      17303
48.59/48.88	c #Conflicts:      58000 | #Constraints:      18303
48.59/48.88	c INPROCESSING
48.59/48.88	c GARBAGE COLLECT
48.59/48.88	c #Conflicts:      59000 | #Constraints:      13485
48.59/48.88	c #Conflicts:      60000 | #Constraints:      14485
48.59/48.88	c #Conflicts:      61000 | #Constraints:      15485
48.59/48.88	c #Conflicts:      62000 | #Constraints:      16485
48.59/48.88	c #Conflicts:      63000 | #Constraints:      17485
48.59/48.88	c #Conflicts:      64000 | #Constraints:      18485
48.59/48.88	c #Conflicts:      65000 | #Constraints:      19485
48.59/48.88	c #Conflicts:      66000 | #Constraints:      20485
48.59/48.88	c #Conflicts:      67000 | #Constraints:      21485
48.59/48.88	c #Conflicts:      68000 | #Constraints:      22485
48.59/48.88	c #Conflicts:      69000 | #Constraints:      23485
48.59/48.88	c #Conflicts:      70000 | #Constraints:      24485
113.91/114.37	c #Conflicts:      71000 | #Constraints:      25485
113.91/114.37	c #Conflicts:      72000 | #Constraints:      26485
113.91/114.37	c #Conflicts:      73000 | #Constraints:      27485
113.91/114.37	c #Conflicts:      74000 | #Constraints:      28485
113.91/114.37	c #Conflicts:      75000 | #Constraints:      29485
113.91/114.37	c #Conflicts:      76000 | #Constraints:      30485
113.91/114.37	c #Conflicts:      77000 | #Constraints:      31485
113.91/114.37	c #Conflicts:      78000 | #Constraints:      32485
113.91/114.37	c INPROCESSING
113.91/114.37	c GARBAGE COLLECT
113.91/114.37	c #Conflicts:      79000 | #Constraints:      21100
113.91/114.37	c #Conflicts:      80000 | #Constraints:      22100
113.91/114.37	c #Conflicts:      81000 | #Constraints:      23100
113.91/114.37	c #Conflicts:      82000 | #Constraints:      24100
113.91/114.37	c #Conflicts:      83000 | #Constraints:      25100
113.91/114.37	c #Conflicts:      84000 | #Constraints:      26100
113.91/114.37	c INPROCESSING
113.91/114.37	c GARBAGE COLLECT
113.91/114.37	c #Conflicts:      85000 | #Constraints:      17431
113.91/114.37	c #Conflicts:      86000 | #Constraints:      18431
113.91/114.37	c #Conflicts:      87000 | #Constraints:      19431
113.91/114.37	c #Conflicts:      88000 | #Constraints:      20431
113.91/114.37	c #Conflicts:      89000 | #Constraints:      21431
113.91/114.37	c #Conflicts:      90000 | #Constraints:      22431
113.91/114.37	c #Conflicts:      91000 | #Constraints:      23431
113.91/114.37	c INPROCESSING
113.91/114.37	c GARBAGE COLLECT
113.91/114.37	c #Conflicts:      92000 | #Constraints:      16110
113.91/114.37	c #Conflicts:      93000 | #Constraints:      17110
113.91/114.37	c #Conflicts:      94000 | #Constraints:      18110
113.91/114.37	c #Conflicts:      95000 | #Constraints:      19110
113.91/114.37	c #Conflicts:      96000 | #Constraints:      20110
113.91/114.37	c #Conflicts:      97000 | #Constraints:      21110
113.91/114.37	c #Conflicts:      98000 | #Constraints:      22110
113.91/114.37	c #Conflicts:      99000 | #Constraints:      23110
113.91/114.37	c INPROCESSING
113.91/114.37	c GARBAGE COLLECT
113.91/114.37	c #Conflicts:     100000 | #Constraints:      16336
113.91/114.37	c #Conflicts:     101000 | #Constraints:      17336
113.91/114.37	c #Conflicts:     102000 | #Constraints:      18336
113.91/114.37	c #Conflicts:     103000 | #Constraints:      19336
113.91/114.37	c #Conflicts:     104000 | #Constraints:      20336
113.91/114.37	c #Conflicts:     105000 | #Constraints:      21336
113.91/114.37	c #Conflicts:     106000 | #Constraints:      22336
113.91/114.37	c #Conflicts:     107000 | #Constraints:      23336
113.91/114.37	c #Conflicts:     108000 | #Constraints:      24336
113.91/114.37	c #Conflicts:     109000 | #Constraints:      25336
113.91/114.37	c #Conflicts:     110000 | #Constraints:      26336
113.91/114.37	c #Conflicts:     111000 | #Constraints:      27336
113.91/114.37	c #Conflicts:     112000 | #Constraints:      28336
113.91/114.37	c #Conflicts:     113000 | #Constraints:      29336
113.91/114.37	c #Conflicts:     114000 | #Constraints:      30336
113.91/114.37	c #Conflicts:     115000 | #Constraints:      31336
113.91/114.37	c #Conflicts:     116000 | #Constraints:      32336
113.91/114.37	c #Conflicts:     117000 | #Constraints:      33336
113.91/114.37	c #Conflicts:     118000 | #Constraints:      34336
113.91/114.37	c #Conflicts:     119000 | #Constraints:      35336
113.91/114.37	c #Conflicts:     120000 | #Constraints:      36336
113.91/114.37	c #Conflicts:     121000 | #Constraints:      37336
113.91/114.37	c #Conflicts:     122000 | #Constraints:      38336
113.91/114.37	c #Conflicts:     123000 | #Constraints:      39336
113.91/114.37	c INPROCESSING
113.91/114.37	c GARBAGE COLLECT
113.91/114.37	c #Conflicts:     124000 | #Constraints:      24333
113.91/114.37	c #Conflicts:     125000 | #Constraints:      25333
113.91/114.37	c #Conflicts:     126000 | #Constraints:      26333
113.91/114.37	c #Conflicts:     127000 | #Constraints:      27333
113.91/114.37	c #Conflicts:     128000 | #Constraints:      28333
113.91/114.37	c #Conflicts:     129000 | #Constraints:      29333
113.91/114.37	c #Conflicts:     130000 | #Constraints:      30333
113.91/114.37	c #Conflicts:     131000 | #Constraints:      31333
113.91/114.37	c #Conflicts:     132000 | #Constraints:      32333
113.91/114.37	c INPROCESSING
113.91/114.37	c GARBAGE COLLECT
113.91/114.37	c #Conflicts:     133000 | #Constraints:      21039
113.91/114.37	c #Conflicts:     134000 | #Constraints:      22039
113.91/114.37	c #Conflicts:     135000 | #Constraints:      23039
113.91/114.37	c #Conflicts:     136000 | #Constraints:      24039
113.91/114.37	c #Conflicts:     137000 | #Constraints:      25039
113.91/114.37	c #Conflicts:     138000 | #Constraints:      26039
113.91/114.37	c #Conflicts:     139000 | #Constraints:      27039
113.91/114.37	c #Conflicts:     140000 | #Constraints:      28039
113.91/114.37	c INPROCESSING
113.91/114.37	c GARBAGE COLLECT
113.91/114.37	c #Conflicts:     141000 | #Constraints:      18574
113.91/114.37	c #Conflicts:     142000 | #Constraints:      19574
113.91/114.37	c #Conflicts:     143000 | #Constraints:      20574
113.91/114.37	c #Conflicts:     144000 | #Constraints:      21574
113.91/114.37	c #Conflicts:     145000 | #Constraints:      22574
182.43/183.03	c #Conflicts:     146000 | #Constraints:      23574
182.43/183.03	c #Conflicts:     147000 | #Constraints:      24574
182.43/183.03	c #Conflicts:     148000 | #Constraints:      25574
182.43/183.03	c #Conflicts:     149000 | #Constraints:      26574
182.43/183.03	c INPROCESSING
182.43/183.03	c GARBAGE COLLECT
182.43/183.03	c #Conflicts:     150000 | #Constraints:      17835
182.43/183.03	c #Conflicts:     151000 | #Constraints:      18835
182.43/183.03	c #Conflicts:     152000 | #Constraints:      19835
182.43/183.03	c #Conflicts:     153000 | #Constraints:      20835
182.43/183.03	c #Conflicts:     154000 | #Constraints:      21835
182.43/183.03	c #Conflicts:     155000 | #Constraints:      22835
182.43/183.03	c #Conflicts:     156000 | #Constraints:      23835
182.43/183.03	c #Conflicts:     157000 | #Constraints:      24835
182.43/183.03	c #Conflicts:     158000 | #Constraints:      25835
182.43/183.03	c #Conflicts:     159000 | #Constraints:      26835
182.43/183.03	c #Conflicts:     160000 | #Constraints:      27835
182.43/183.03	c #Conflicts:     161000 | #Constraints:      28835
182.43/183.03	c #Conflicts:     162000 | #Constraints:      29835
182.43/183.03	c #Conflicts:     163000 | #Constraints:      30835
182.43/183.03	c #Conflicts:     164000 | #Constraints:      31835
182.43/183.03	c #Conflicts:     165000 | #Constraints:      32835
182.43/183.03	c #Conflicts:     166000 | #Constraints:      33835
182.43/183.03	c #Conflicts:     167000 | #Constraints:      34835
182.43/183.03	c #Conflicts:     168000 | #Constraints:      35835
182.43/183.03	c #Conflicts:     169000 | #Constraints:      36835
182.43/183.03	c #Conflicts:     170000 | #Constraints:      37835
182.43/183.03	c #Conflicts:     171000 | #Constraints:      38835
182.43/183.03	c #Conflicts:     172000 | #Constraints:      39835
182.43/183.03	c #Conflicts:     173000 | #Constraints:      40835
182.43/183.03	c #Conflicts:     174000 | #Constraints:      41835
182.43/183.03	c #Conflicts:     175000 | #Constraints:      42835
182.43/183.03	c #Conflicts:     176000 | #Constraints:      43835
182.43/183.03	c #Conflicts:     177000 | #Constraints:      44835
182.43/183.03	c #Conflicts:     178000 | #Constraints:      45835
182.43/183.03	c #Conflicts:     179000 | #Constraints:      46835
182.43/183.03	c INPROCESSING
182.43/183.03	c GARBAGE COLLECT
182.43/183.03	c #Conflicts:     180000 | #Constraints:      28152
182.43/183.03	c #Conflicts:     181000 | #Constraints:      29152
182.43/183.03	c #Conflicts:     182000 | #Constraints:      30152
182.43/183.03	c #Conflicts:     183000 | #Constraints:      31152
182.43/183.03	c #Conflicts:     184000 | #Constraints:      32152
182.43/183.03	c #Conflicts:     185000 | #Constraints:      33152
182.43/183.03	c #Conflicts:     186000 | #Constraints:      34152
182.43/183.03	c #Conflicts:     187000 | #Constraints:      35152
182.43/183.03	c #Conflicts:     188000 | #Constraints:      36152
182.43/183.03	c #Conflicts:     189000 | #Constraints:      37152
182.43/183.03	c INPROCESSING
182.43/183.03	c GARBAGE COLLECT
182.43/183.03	c #Conflicts:     190000 | #Constraints:      23228
182.43/183.03	c #Conflicts:     191000 | #Constraints:      24228
182.43/183.03	c #Conflicts:     192000 | #Constraints:      25228
182.43/183.03	c #Conflicts:     193000 | #Constraints:      26228
182.43/183.03	c #Conflicts:     194000 | #Constraints:      27228
182.43/183.03	c #Conflicts:     195000 | #Constraints:      28228
182.43/183.03	c #Conflicts:     196000 | #Constraints:      29228
182.43/183.03	c #Conflicts:     197000 | #Constraints:      30228
182.43/183.03	c #Conflicts:     198000 | #Constraints:      31228
182.43/183.03	c #Conflicts:     199000 | #Constraints:      32228
182.43/183.03	c #Conflicts:     200000 | #Constraints:      33228
182.43/183.03	c INPROCESSING
182.43/183.03	c GARBAGE COLLECT
182.43/183.03	c #Conflicts:     201000 | #Constraints:      21523
182.43/183.03	c #Conflicts:     202000 | #Constraints:      22523
182.43/183.03	c #Conflicts:     203000 | #Constraints:      23523
182.43/183.03	c #Conflicts:     204000 | #Constraints:      24523
182.43/183.03	c #Conflicts:     205000 | #Constraints:      25523
182.43/183.03	c #Conflicts:     206000 | #Constraints:      26523
182.43/183.03	c #Conflicts:     207000 | #Constraints:      27523
182.43/183.03	c #Conflicts:     208000 | #Constraints:      28523
182.43/183.03	c #Conflicts:     209000 | #Constraints:      29523
182.43/183.03	c #Conflicts:     210000 | #Constraints:      30523
182.43/183.03	c INPROCESSING
182.43/183.03	c GARBAGE COLLECT
182.43/183.03	c rational objective 105.003
265.43/266.35	c #Conflicts:     211000 | #Constraints:      19877
265.43/266.35	c #Conflicts:     212000 | #Constraints:      20877
265.43/266.35	c #Conflicts:     213000 | #Constraints:      21877
265.43/266.35	c #Conflicts:     214000 | #Constraints:      22877
265.43/266.35	c #Conflicts:     215000 | #Constraints:      23877
265.43/266.35	c #Conflicts:     216000 | #Constraints:      24877
265.43/266.35	c #Conflicts:     217000 | #Constraints:      25877
265.43/266.35	c #Conflicts:     218000 | #Constraints:      26877
265.43/266.35	c #Conflicts:     219000 | #Constraints:      27877
265.43/266.35	c #Conflicts:     220000 | #Constraints:      28877
265.43/266.35	c #Conflicts:     221000 | #Constraints:      29877
265.43/266.35	c #Conflicts:     222000 | #Constraints:      30877
265.43/266.35	c #Conflicts:     223000 | #Constraints:      31877
265.43/266.35	c #Conflicts:     224000 | #Constraints:      32877
265.43/266.35	c #Conflicts:     225000 | #Constraints:      33877
265.43/266.35	c #Conflicts:     226000 | #Constraints:      34877
265.43/266.35	c #Conflicts:     227000 | #Constraints:      35877
265.43/266.35	c #Conflicts:     228000 | #Constraints:      36877
265.43/266.35	c #Conflicts:     229000 | #Constraints:      37877
265.43/266.35	c #Conflicts:     230000 | #Constraints:      38877
265.43/266.35	c #Conflicts:     231000 | #Constraints:      39877
265.43/266.35	c #Conflicts:     232000 | #Constraints:      40877
265.43/266.35	c #Conflicts:     233000 | #Constraints:      41877
265.43/266.35	c #Conflicts:     234000 | #Constraints:      42877
265.43/266.35	c #Conflicts:     235000 | #Constraints:      43877
265.43/266.35	c #Conflicts:     236000 | #Constraints:      44877
265.43/266.35	c #Conflicts:     237000 | #Constraints:      45877
265.43/266.35	c #Conflicts:     238000 | #Constraints:      46877
265.43/266.35	c #Conflicts:     239000 | #Constraints:      47877
265.43/266.35	c #Conflicts:     240000 | #Constraints:      48877
265.43/266.35	c #Conflicts:     241000 | #Constraints:      49877
265.43/266.35	c #Conflicts:     242000 | #Constraints:      50877
265.43/266.35	c #Conflicts:     243000 | #Constraints:      51877
265.43/266.35	c #Conflicts:     244000 | #Constraints:      52877
265.43/266.35	c #Conflicts:     245000 | #Constraints:      53877
265.43/266.35	c INPROCESSING
265.43/266.35	c GARBAGE COLLECT
265.43/266.35	c #Conflicts:     246000 | #Constraints:      31497
265.43/266.35	c #Conflicts:     247000 | #Constraints:      32497
265.43/266.35	c #Conflicts:     248000 | #Constraints:      33497
265.43/266.35	c #Conflicts:     249000 | #Constraints:      34497
265.43/266.35	c #Conflicts:     250000 | #Constraints:      35497
265.43/266.35	c #Conflicts:     251000 | #Constraints:      36497
265.43/266.35	c #Conflicts:     252000 | #Constraints:      37497
265.43/266.35	c #Conflicts:     253000 | #Constraints:      38497
265.43/266.35	c #Conflicts:     254000 | #Constraints:      39497
265.43/266.35	c #Conflicts:     255000 | #Constraints:      40497
265.43/266.35	c #Conflicts:     256000 | #Constraints:      41497
265.43/266.35	c #Conflicts:     257000 | #Constraints:      42497
265.43/266.35	c INPROCESSING
265.43/266.35	c GARBAGE COLLECT
265.43/266.35	c #Conflicts:     258000 | #Constraints:      25846
265.43/266.35	c #Conflicts:     259000 | #Constraints:      26846
265.43/266.35	c #Conflicts:     260000 | #Constraints:      27846
265.43/266.35	c #Conflicts:     261000 | #Constraints:      28846
265.43/266.35	c #Conflicts:     262000 | #Constraints:      29846
265.43/266.35	c #Conflicts:     263000 | #Constraints:      30846
265.43/266.35	c #Conflicts:     264000 | #Constraints:      31846
265.43/266.35	c #Conflicts:     265000 | #Constraints:      32846
265.43/266.35	c #Conflicts:     266000 | #Constraints:      33846
265.43/266.35	c #Conflicts:     267000 | #Constraints:      34846
265.43/266.35	c #Conflicts:     268000 | #Constraints:      35846
265.43/266.35	c #Conflicts:     269000 | #Constraints:      36846
265.43/266.35	c INPROCESSING
265.43/266.35	c GARBAGE COLLECT
265.43/266.35	c #Conflicts:     270000 | #Constraints:      23000
265.43/266.35	c #Conflicts:     271000 | #Constraints:      24000
265.43/266.35	c #Conflicts:     272000 | #Constraints:      25000
265.43/266.35	c #Conflicts:     273000 | #Constraints:      26000
265.43/266.35	c #Conflicts:     274000 | #Constraints:      27000
265.43/266.35	c #Conflicts:     275000 | #Constraints:      28000
265.43/266.35	c #Conflicts:     276000 | #Constraints:      29000
265.43/266.35	c #Conflicts:     277000 | #Constraints:      30000
265.43/266.35	c #Conflicts:     278000 | #Constraints:      31000
265.43/266.35	c #Conflicts:     279000 | #Constraints:      32000
265.43/266.35	c #Conflicts:     280000 | #Constraints:      33000
265.43/266.35	c #Conflicts:     281000 | #Constraints:      34000
265.43/266.35	c #Conflicts:     282000 | #Constraints:      35000
265.43/266.35	c INPROCESSING
265.43/266.35	c GARBAGE COLLECT
265.43/266.35	c #Conflicts:     283000 | #Constraints:      22453
265.43/266.35	c #Conflicts:     284000 | #Constraints:      23453
265.43/266.35	c #Conflicts:     285000 | #Constraints:      24453
265.43/266.35	c #Conflicts:     286000 | #Constraints:      25453
265.43/266.35	c #Conflicts:     287000 | #Constraints:      26453
360.67/361.80	c #Conflicts:     288000 | #Constraints:      27453
360.67/361.80	c #Conflicts:     289000 | #Constraints:      28453
360.67/361.80	c #Conflicts:     290000 | #Constraints:      29453
360.67/361.80	c #Conflicts:     291000 | #Constraints:      30453
360.67/361.80	c #Conflicts:     292000 | #Constraints:      31453
360.67/361.80	c #Conflicts:     293000 | #Constraints:      32453
360.67/361.80	c #Conflicts:     294000 | #Constraints:      33453
360.67/361.80	c #Conflicts:     295000 | #Constraints:      34453
360.67/361.80	c #Conflicts:     296000 | #Constraints:      35453
360.67/361.80	c #Conflicts:     297000 | #Constraints:      36453
360.67/361.80	c #Conflicts:     298000 | #Constraints:      37453
360.67/361.80	c #Conflicts:     299000 | #Constraints:      38453
360.67/361.80	c #Conflicts:     300000 | #Constraints:      39453
360.67/361.80	c #Conflicts:     301000 | #Constraints:      40453
360.67/361.80	c #Conflicts:     302000 | #Constraints:      41453
360.67/361.80	c #Conflicts:     303000 | #Constraints:      42453
360.67/361.80	c #Conflicts:     304000 | #Constraints:      43453
360.67/361.80	c #Conflicts:     305000 | #Constraints:      44453
360.67/361.80	c #Conflicts:     306000 | #Constraints:      45453
360.67/361.80	c #Conflicts:     307000 | #Constraints:      46453
360.67/361.80	c #Conflicts:     308000 | #Constraints:      47453
360.67/361.80	c #Conflicts:     309000 | #Constraints:      48453
360.67/361.80	c #Conflicts:     310000 | #Constraints:      49453
360.67/361.80	c #Conflicts:     311000 | #Constraints:      50453
360.67/361.80	c #Conflicts:     312000 | #Constraints:      51453
360.67/361.80	c #Conflicts:     313000 | #Constraints:      52453
360.67/361.80	c #Conflicts:     314000 | #Constraints:      53453
360.67/361.80	c #Conflicts:     315000 | #Constraints:      54453
360.67/361.80	c #Conflicts:     316000 | #Constraints:      55453
360.67/361.80	c #Conflicts:     317000 | #Constraints:      56453
360.67/361.80	c #Conflicts:     318000 | #Constraints:      57453
360.67/361.80	c #Conflicts:     319000 | #Constraints:      58453
360.67/361.80	c #Conflicts:     320000 | #Constraints:      59453
360.67/361.80	c #Conflicts:     321000 | #Constraints:      60453
360.67/361.80	c #Conflicts:     322000 | #Constraints:      61453
360.67/361.80	c INPROCESSING
360.67/361.80	c GARBAGE COLLECT
360.67/361.80	c #Conflicts:     323000 | #Constraints:      35554
360.67/361.80	c #Conflicts:     324000 | #Constraints:      36554
360.67/361.80	c #Conflicts:     325000 | #Constraints:      37554
360.67/361.80	c #Conflicts:     326000 | #Constraints:      38554
360.67/361.80	c #Conflicts:     327000 | #Constraints:      39554
360.67/361.80	c #Conflicts:     328000 | #Constraints:      40554
360.67/361.80	c #Conflicts:     329000 | #Constraints:      41554
360.67/361.80	c #Conflicts:     330000 | #Constraints:      42554
360.67/361.80	c #Conflicts:     331000 | #Constraints:      43554
360.67/361.80	c #Conflicts:     332000 | #Constraints:      44554
360.67/361.80	c #Conflicts:     333000 | #Constraints:      45554
360.67/361.80	c #Conflicts:     334000 | #Constraints:      46554
360.67/361.80	c #Conflicts:     335000 | #Constraints:      47554
360.67/361.80	c #Conflicts:     336000 | #Constraints:      48554
360.67/361.80	c INPROCESSING
360.67/361.80	c GARBAGE COLLECT
360.67/361.80	c #Conflicts:     337000 | #Constraints:      29274
360.67/361.80	c #Conflicts:     338000 | #Constraints:      30274
360.67/361.80	c #Conflicts:     339000 | #Constraints:      31274
360.67/361.80	c #Conflicts:     340000 | #Constraints:      32274
360.67/361.80	c #Conflicts:     341000 | #Constraints:      33274
360.67/361.80	c #Conflicts:     342000 | #Constraints:      34274
360.67/361.80	c #Conflicts:     343000 | #Constraints:      35274
360.67/361.80	c #Conflicts:     344000 | #Constraints:      36274
360.67/361.80	c #Conflicts:     345000 | #Constraints:      37274
360.67/361.80	c #Conflicts:     346000 | #Constraints:      38274
360.67/361.80	c #Conflicts:     347000 | #Constraints:      39274
360.67/361.80	c #Conflicts:     348000 | #Constraints:      40274
360.67/361.80	c #Conflicts:     349000 | #Constraints:      41274
360.67/361.80	c INPROCESSING
360.67/361.80	c GARBAGE COLLECT
360.67/361.80	c #Conflicts:     350000 | #Constraints:      25291
360.67/361.80	c #Conflicts:     351000 | #Constraints:      26291
360.67/361.80	c #Conflicts:     352000 | #Constraints:      27291
360.67/361.80	c #Conflicts:     353000 | #Constraints:      28291
360.67/361.80	c #Conflicts:     354000 | #Constraints:      29291
360.67/361.80	c #Conflicts:     355000 | #Constraints:      30291
360.67/361.80	c #Conflicts:     356000 | #Constraints:      31291
360.67/361.80	c #Conflicts:     357000 | #Constraints:      32291
360.67/361.80	c #Conflicts:     358000 | #Constraints:      33291
360.67/361.80	c #Conflicts:     359000 | #Constraints:      34291
360.67/361.80	c #Conflicts:     360000 | #Constraints:      35291
360.67/361.80	c #Conflicts:     361000 | #Constraints:      36291
360.67/361.80	c #Conflicts:     362000 | #Constraints:      37291
360.67/361.80	c #Conflicts:     363000 | #Constraints:      38291
360.67/361.80	c INPROCESSING
444.34/445.74	c GARBAGE COLLECT
444.34/445.74	c #Conflicts:     364000 | #Constraints:      23737
444.34/445.74	c #Conflicts:     365000 | #Constraints:      24737
444.34/445.74	c #Conflicts:     366000 | #Constraints:      25737
444.34/445.74	c #Conflicts:     367000 | #Constraints:      26737
444.34/445.74	c #Conflicts:     368000 | #Constraints:      27737
444.34/445.74	c #Conflicts:     369000 | #Constraints:      28737
444.34/445.74	c #Conflicts:     370000 | #Constraints:      29737
444.34/445.74	c #Conflicts:     371000 | #Constraints:      30737
444.34/445.74	c #Conflicts:     372000 | #Constraints:      31737
444.34/445.74	c #Conflicts:     373000 | #Constraints:      32737
444.34/445.74	c #Conflicts:     374000 | #Constraints:      33737
444.34/445.74	c #Conflicts:     375000 | #Constraints:      34737
444.34/445.74	c #Conflicts:     376000 | #Constraints:      35737
444.34/445.74	c #Conflicts:     377000 | #Constraints:      36737
444.34/445.74	c #Conflicts:     378000 | #Constraints:      37737
444.34/445.74	c #Conflicts:     379000 | #Constraints:      38737
444.34/445.74	c #Conflicts:     380000 | #Constraints:      39737
444.34/445.74	c #Conflicts:     381000 | #Constraints:      40737
444.34/445.74	c #Conflicts:     382000 | #Constraints:      41737
444.34/445.74	c #Conflicts:     383000 | #Constraints:      42737
444.34/445.74	c #Conflicts:     384000 | #Constraints:      43737
444.34/445.74	c #Conflicts:     385000 | #Constraints:      44737
444.34/445.74	c #Conflicts:     386000 | #Constraints:      45737
444.34/445.74	c #Conflicts:     387000 | #Constraints:      46737
444.34/445.74	c #Conflicts:     388000 | #Constraints:      47737
444.34/445.74	c #Conflicts:     389000 | #Constraints:      48737
444.34/445.74	c #Conflicts:     390000 | #Constraints:      49737
444.34/445.74	c #Conflicts:     391000 | #Constraints:      50737
444.34/445.74	c #Conflicts:     392000 | #Constraints:      51737
444.34/445.74	c #Conflicts:     393000 | #Constraints:      52737
444.34/445.74	c #Conflicts:     394000 | #Constraints:      53738
444.34/445.74	c #Conflicts:     395000 | #Constraints:      54738
444.34/445.74	c #Conflicts:     396000 | #Constraints:      55738
444.34/445.74	c #Conflicts:     397000 | #Constraints:      56738
444.34/445.74	c #Conflicts:     398000 | #Constraints:      57738
444.34/445.74	c #Conflicts:     399000 | #Constraints:      58738
444.34/445.74	c #Conflicts:     400000 | #Constraints:      59738
444.34/445.74	c #Conflicts:     401000 | #Constraints:      60738
444.34/445.74	c #Conflicts:     402000 | #Constraints:      61738
444.34/445.74	c #Conflicts:     403000 | #Constraints:      62738
444.34/445.74	c #Conflicts:     404000 | #Constraints:      63738
444.34/445.74	c #Conflicts:     405000 | #Constraints:      64738
444.34/445.74	c #Conflicts:     406000 | #Constraints:      65738
444.34/445.74	c #Conflicts:     407000 | #Constraints:      66738
444.34/445.74	c #Conflicts:     408000 | #Constraints:      67738
444.34/445.74	c #Conflicts:     409000 | #Constraints:      68738
444.34/445.74	c INPROCESSING
444.34/445.74	c GARBAGE COLLECT
444.34/445.74	c rational objective 106.258
538.38/540.01	c #Conflicts:     410000 | #Constraints:      39164
538.38/540.01	c #Conflicts:     411000 | #Constraints:      40164
538.38/540.01	c #Conflicts:     412000 | #Constraints:      41164
538.38/540.01	c #Conflicts:     413000 | #Constraints:      42164
538.38/540.01	c #Conflicts:     414000 | #Constraints:      43164
538.38/540.01	c #Conflicts:     415000 | #Constraints:      44164
538.38/540.01	c #Conflicts:     416000 | #Constraints:      45164
538.38/540.01	c #Conflicts:     417000 | #Constraints:      46164
538.38/540.01	c #Conflicts:     418000 | #Constraints:      47164
538.38/540.01	c #Conflicts:     419000 | #Constraints:      48164
538.38/540.01	c #Conflicts:     420000 | #Constraints:      49164
538.38/540.01	c #Conflicts:     421000 | #Constraints:      50164
538.38/540.01	c #Conflicts:     422000 | #Constraints:      51164
538.38/540.01	c #Conflicts:     423000 | #Constraints:      52164
538.38/540.01	c #Conflicts:     424000 | #Constraints:      53164
538.38/540.01	c INPROCESSING
538.38/540.01	c GARBAGE COLLECT
538.38/540.01	c #Conflicts:     425000 | #Constraints:      31139
538.38/540.01	c #Conflicts:     426000 | #Constraints:      32139
538.38/540.01	c #Conflicts:     427000 | #Constraints:      33139
538.38/540.01	c #Conflicts:     428000 | #Constraints:      34139
538.38/540.01	c #Conflicts:     429000 | #Constraints:      35139
538.38/540.01	c #Conflicts:     430000 | #Constraints:      36139
538.38/540.01	c #Conflicts:     431000 | #Constraints:      37139
538.38/540.01	c #Conflicts:     432000 | #Constraints:      38139
538.38/540.01	c #Conflicts:     433000 | #Constraints:      39139
538.38/540.01	c #Conflicts:     434000 | #Constraints:      40139
538.38/540.01	c #Conflicts:     435000 | #Constraints:      41139
538.38/540.01	c #Conflicts:     436000 | #Constraints:      42139
538.38/540.01	c #Conflicts:     437000 | #Constraints:      43139
538.38/540.01	c #Conflicts:     438000 | #Constraints:      44139
538.38/540.01	c #Conflicts:     439000 | #Constraints:      45139
538.38/540.01	c #Conflicts:     440000 | #Constraints:      46139
538.38/540.01	c INPROCESSING
538.38/540.01	c GARBAGE COLLECT
538.38/540.01	c #Conflicts:     441000 | #Constraints:      27941
538.38/540.01	c #Conflicts:     442000 | #Constraints:      28941
538.38/540.01	c #Conflicts:     443000 | #Constraints:      29941
538.38/540.01	c #Conflicts:     444000 | #Constraints:      30941
538.38/540.01	c #Conflicts:     445000 | #Constraints:      31941
538.38/540.01	c #Conflicts:     446000 | #Constraints:      32942
538.38/540.01	c #Conflicts:     447000 | #Constraints:      33942
538.38/540.01	c #Conflicts:     448000 | #Constraints:      34942
538.38/540.01	c #Conflicts:     449000 | #Constraints:      35942
538.38/540.01	c #Conflicts:     450000 | #Constraints:      36942
538.38/540.01	c #Conflicts:     451000 | #Constraints:      37942
538.38/540.01	c #Conflicts:     452000 | #Constraints:      38942
538.38/540.01	c #Conflicts:     453000 | #Constraints:      39942
538.38/540.01	c #Conflicts:     454000 | #Constraints:      40942
538.38/540.01	c #Conflicts:     455000 | #Constraints:      41942
538.38/540.01	c #Conflicts:     456000 | #Constraints:      42942
538.38/540.01	c INPROCESSING
538.38/540.01	c GARBAGE COLLECT
538.38/540.01	c #Conflicts:     457000 | #Constraints:      26589
538.38/540.01	c #Conflicts:     458000 | #Constraints:      27589
538.38/540.01	c #Conflicts:     459000 | #Constraints:      28589
538.38/540.01	c #Conflicts:     460000 | #Constraints:      29589
538.38/540.01	c #Conflicts:     461000 | #Constraints:      30589
538.38/540.01	c #Conflicts:     462000 | #Constraints:      31589
538.38/540.01	c #Conflicts:     463000 | #Constraints:      32589
538.38/540.01	c #Conflicts:     464000 | #Constraints:      33589
538.38/540.01	c #Conflicts:     465000 | #Constraints:      34589
538.38/540.01	c #Conflicts:     466000 | #Constraints:      35589
538.38/540.01	c #Conflicts:     467000 | #Constraints:      36589
538.38/540.01	c #Conflicts:     468000 | #Constraints:      37589
538.38/540.01	c #Conflicts:     469000 | #Constraints:      38589
538.38/540.01	c #Conflicts:     470000 | #Constraints:      39589
538.38/540.01	c #Conflicts:     471000 | #Constraints:      40589
538.38/540.01	c #Conflicts:     472000 | #Constraints:      41589
538.38/540.01	c #Conflicts:     473000 | #Constraints:      42589
538.38/540.01	c #Conflicts:     474000 | #Constraints:      43589
538.38/540.01	c #Conflicts:     475000 | #Constraints:      44589
538.38/540.01	c #Conflicts:     476000 | #Constraints:      45589
538.38/540.01	c #Conflicts:     477000 | #Constraints:      46589
538.38/540.01	c #Conflicts:     478000 | #Constraints:      47589
538.38/540.01	c #Conflicts:     479000 | #Constraints:      48589
538.38/540.01	c #Conflicts:     480000 | #Constraints:      49589
538.38/540.01	c #Conflicts:     481000 | #Constraints:      50589
538.38/540.01	c #Conflicts:     482000 | #Constraints:      51589
538.38/540.01	c #Conflicts:     483000 | #Constraints:      52589
538.38/540.01	c #Conflicts:     484000 | #Constraints:      53589
538.38/540.01	c #Conflicts:     485000 | #Constraints:      54589
538.38/540.01	c #Conflicts:     486000 | #Constraints:      55589
664.64/666.79	c #Conflicts:     487000 | #Constraints:      56589
664.64/666.79	c #Conflicts:     488000 | #Constraints:      57589
664.64/666.79	c #Conflicts:     489000 | #Constraints:      58589
664.64/666.79	c #Conflicts:     490000 | #Constraints:      59589
664.64/666.79	c #Conflicts:     491000 | #Constraints:      60589
664.64/666.79	c #Conflicts:     492000 | #Constraints:      61589
664.64/666.79	c #Conflicts:     493000 | #Constraints:      62589
664.64/666.79	c #Conflicts:     494000 | #Constraints:      63589
664.64/666.79	c #Conflicts:     495000 | #Constraints:      64589
664.64/666.79	c #Conflicts:     496000 | #Constraints:      65589
664.64/666.79	c #Conflicts:     497000 | #Constraints:      66589
664.64/666.79	c #Conflicts:     498000 | #Constraints:      67589
664.64/666.79	c #Conflicts:     499000 | #Constraints:      68589
664.64/666.79	c #Conflicts:     500000 | #Constraints:      69589
664.64/666.79	c #Conflicts:     501000 | #Constraints:      70589
664.64/666.79	c #Conflicts:     502000 | #Constraints:      71589
664.64/666.79	c #Conflicts:     503000 | #Constraints:      72589
664.64/666.79	c #Conflicts:     504000 | #Constraints:      73589
664.64/666.79	c #Conflicts:     505000 | #Constraints:      74589
664.64/666.79	c #Conflicts:     506000 | #Constraints:      75589
664.64/666.79	c #Conflicts:     507000 | #Constraints:      76589
664.64/666.79	c INPROCESSING
664.64/666.79	c GARBAGE COLLECT
664.64/666.79	c #Conflicts:     508000 | #Constraints:      43399
664.64/666.79	c #Conflicts:     509000 | #Constraints:      44399
664.64/666.79	c #Conflicts:     510000 | #Constraints:      45399
664.64/666.79	c #Conflicts:     511000 | #Constraints:      46399
664.64/666.79	c #Conflicts:     512000 | #Constraints:      47399
664.64/666.79	c #Conflicts:     513000 | #Constraints:      48399
664.64/666.79	c #Conflicts:     514000 | #Constraints:      49399
664.64/666.79	c #Conflicts:     515000 | #Constraints:      50399
664.64/666.79	c #Conflicts:     516000 | #Constraints:      51399
664.64/666.79	c #Conflicts:     517000 | #Constraints:      52399
664.64/666.79	c #Conflicts:     518000 | #Constraints:      53399
664.64/666.79	c #Conflicts:     519000 | #Constraints:      54399
664.64/666.79	c #Conflicts:     520000 | #Constraints:      55399
664.64/666.79	c #Conflicts:     521000 | #Constraints:      56399
664.64/666.79	c #Conflicts:     522000 | #Constraints:      57399
664.64/666.79	c #Conflicts:     523000 | #Constraints:      58399
664.64/666.79	c #Conflicts:     524000 | #Constraints:      59399
664.64/666.79	c INPROCESSING
664.64/666.79	c GARBAGE COLLECT
664.64/666.79	c #Conflicts:     525000 | #Constraints:      34721
664.64/666.79	c #Conflicts:     526000 | #Constraints:      35721
664.64/666.79	c #Conflicts:     527000 | #Constraints:      36721
664.64/666.79	c #Conflicts:     528000 | #Constraints:      37721
664.64/666.79	c #Conflicts:     529000 | #Constraints:      38721
664.64/666.79	c #Conflicts:     530000 | #Constraints:      39721
664.64/666.79	c #Conflicts:     531000 | #Constraints:      40721
664.64/666.79	c #Conflicts:     532000 | #Constraints:      41721
664.64/666.79	c #Conflicts:     533000 | #Constraints:      42721
664.64/666.79	c #Conflicts:     534000 | #Constraints:      43721
664.64/666.79	c #Conflicts:     535000 | #Constraints:      44721
664.64/666.79	c #Conflicts:     536000 | #Constraints:      45721
664.64/666.79	c #Conflicts:     537000 | #Constraints:      46721
664.64/666.79	c #Conflicts:     538000 | #Constraints:      47721
664.64/666.79	c #Conflicts:     539000 | #Constraints:      48721
664.64/666.79	c #Conflicts:     540000 | #Constraints:      49721
664.64/666.79	c #Conflicts:     541000 | #Constraints:      50721
664.64/666.79	c INPROCESSING
664.64/666.79	c GARBAGE COLLECT
664.64/666.79	c #Conflicts:     542000 | #Constraints:      30299
664.64/666.79	c #Conflicts:     543000 | #Constraints:      31299
664.64/666.79	c #Conflicts:     544000 | #Constraints:      32299
664.64/666.79	c #Conflicts:     545000 | #Constraints:      33299
664.64/666.79	c #Conflicts:     546000 | #Constraints:      34299
664.64/666.79	c #Conflicts:     547000 | #Constraints:      35299
664.64/666.79	c #Conflicts:     548000 | #Constraints:      36299
664.64/666.79	c #Conflicts:     549000 | #Constraints:      37299
664.64/666.79	c #Conflicts:     550000 | #Constraints:      38299
664.64/666.79	c #Conflicts:     551000 | #Constraints:      39299
664.64/666.79	c #Conflicts:     552000 | #Constraints:      40299
664.64/666.79	c #Conflicts:     553000 | #Constraints:      41299
664.64/666.79	c #Conflicts:     554000 | #Constraints:      42299
664.64/666.79	c #Conflicts:     555000 | #Constraints:      43299
664.64/666.79	c #Conflicts:     556000 | #Constraints:      44299
664.64/666.79	c #Conflicts:     557000 | #Constraints:      45299
664.64/666.79	c cpu time 658.412 s
664.64/666.79	c deterministic time 47413949824 4.74e+10
664.64/666.79	c optimization time 7.8e-05 s
664.64/666.79	c total solve time 658.32 s
664.64/666.79	c core-guided solve time 0 s
664.64/666.79	c propagation time 335.984 s
664.64/666.79	c conflict analysis time 248.404 s
664.64/666.79	c propagations 250234078
664.64/666.79	c resolve steps 22078179
664.64/666.79	c decisions 5760156
664.64/666.79	c conflicts 557765
664.64/666.79	c restarts 1149
664.64/666.79	c inprocessing phases 41
664.64/666.79	c garbage collections 41 ,( 100.00 )
664.64/666.79	c input clauses 7228 ,( 98.61 )
664.64/666.79	c input cardinalities 102 ,( 1.39 )
664.64/666.79	c input general constraints 0 ,( 0.00 )
664.64/666.79	c input average constraint length 6.15
664.64/666.79	c input average constraint degree 1.92
664.64/666.79	c learned clauses 405263 ,( 72.66 )
664.64/666.79	c learned cardinalities 15773 ,( 2.83 )
664.64/666.79	c learned general constraints 136732 ,( 24.51 )
664.64/666.79	c learned average constraint length 620.18
664.64/666.79	c learned average constraint degree 4338498.96
664.64/666.79	c watched  CF 32, 64, 128, Arb: 41004 , 0 , 0 , 0
664.64/666.79	c counting CF 32, 64, 128, Arb: 95728 , 0 , 0 , 0
664.64/666.79	c watched   constraints 41004 ,( 29.99 ) 
664.64/666.79	c counting  constraints 95728 ,( 70.01 ) 
664.64/666.79	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 322510040 , 164608559 , 594184608 ,( 44137595 , 550047013 )
664.64/666.79	c gcd simplifications 357
664.64/666.79	c detected cardinalities 1665
664.64/666.79	c weakened non-implied lits 96139950
664.64/666.79	c weakened non-implying lits 71963
664.64/666.79	c original variables 6999
664.64/666.79	c clausal propagations 101006900
664.64/666.79	c cardinality propagations 93752590
664.64/666.79	c watched propagations 1320994
664.64/666.79	c counting propagations 51590476
664.64/666.79	c watch lookups 18552673932
664.64/666.79	c watch backjump lookups 0
664.64/666.79	c watch checks 10555881711
664.64/666.79	c propagation checks 16632471808
664.64/666.79	c constraint additions 1160248089
664.64/666.79	c trail pops 256551559
664.64/666.79	c formula constraints 7330
664.64/666.79	c learned constraints 557763
664.64/666.79	c bound constraints 0
664.64/666.79	c core-guided constraints 0
664.64/666.79	c encountered formula constraints 14251919
664.64/666.79	c encountered learned constraints 8383993
664.64/666.79	c encountered bound constraints 0
664.64/666.79	c encountered core-guided constraints 0
664.64/666.79	c LP total time 61.0068 s
664.64/666.79	c LP solve time 59.04 s
664.64/666.79	c LP constraints added 7532
664.64/666.79	c LP constraints removed 46
664.64/666.79	c LP pivots internal 61645
664.64/666.79	c LP pivots root 66845
664.64/666.79	c LP calls 13
664.64/666.79	c LP optimalities 6
664.64/666.79	c LP no pivot count 0
664.64/666.79	c LP infeasibilities 2
664.64/666.79	c LP valid Farkas constraints 2
664.64/666.79	c LP learned Farkas constraints 2
664.64/666.79	c LP basis resets 0
664.64/666.79	c LP cycling count 0
664.64/666.79	c LP singular count 0
664.64/666.79	c LP no primal count 0
664.64/666.79	c LP no farkas count 0
664.64/666.79	c LP other issue count 0
664.64/666.79	c LP Gomory cuts 1
664.64/666.79	c LP learned cuts 201
664.64/666.79	c LP deleted cuts 46
664.64/666.79	c LP encountered Gomory constraints 0
664.64/666.79	c LP encountered Farkas constraints 28
664.64/666.79	c LP encountered learned Farkas constraints 2
664.64/666.79	c CG auxiliary variables introduced 0
664.64/666.79	c CG solutions found 0
664.64/666.79	c CG cores constructed 0
664.64/666.79	c CG core cardinality constraints returned 0
664.64/666.79	c CG unit cores 0
664.64/666.79	c CG single cores 0
664.64/666.79	c CG blocks removed during cardinality reduction 0
664.64/666.79	c CG first core best 0
664.64/666.79	c CG decision core best 0
664.64/666.79	c CG core reduction tie 0
664.64/666.79	c CG core degree average 0.00
664.64/666.79	c CG core slack average 0.00
664.64/666.79	c CG core upper bound improvements 0
664.64/666.79	c STR number of successful calls 0
664.64/666.79	c STR number of unsuccessful calls 0
664.64/666.79	c STR number of inconclusive calls 0
664.64/666.79	c STR number of successful attempts 0
664.64/666.79	c STR number of unsuccessful attempts 0
664.64/666.79	c STR number of inconclusive attempts 0
664.64/666.79	c STR average degree increase per successful call inf
664.64/666.79	c STR average degree increase per successful attempt inf
664.64/666.79	c STR total number of conflicts for successful attempts 0
664.64/666.79	c STR total number of conflicts for unsuccessful attempts 0
664.64/666.79	c STR total number of conflicts for inconclusive attempts 0
664.64/666.79	c STR average number of conflicts per successful attempt inf
664.64/666.79	c STR average number of conflicts per unsuccessful attempt inf
664.64/666.79	c STR average number of conflicts per inconclusive attempt inf
664.64/666.79	c AVG.sumWPerc 61.61 
664.64/666.79	c bigint constraints 0 
664.64/666.79	s SATISFIABLE
664.64/666.79	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 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 x6936

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=19292, runsolver pid=19284

[startup+0.100071 s]*
/proc/loadavg: 0.86 1.23 2.35 6/257 19307
/proc/meminfo: memFree=130130448/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19296] ppid=19292 vsize=19860 memory=12076 CPUtime=0.07 cores=1,3
/proc/19296/stat : 19296 (pbsuma) R 19292 19292 19233 0 -1 4194304 5042 0 0 0 5 2 0 0 20 0 1 0 33945296 20336640 3019 18446744073709551615 4210688 4653049 140725642358880 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 6299648 140725642361187 140725642361394 140725642361394 140725642366959 0
/proc/19296/statm: 4965 3019 992 108 0 2373 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 24052 KiB
Current children cumulated memory: 15020 KiB

[startup+0.213141 s]*
/proc/loadavg: 0.86 1.23 2.35 6/257 19310
/proc/meminfo: memFree=130108196/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=61220 memory=17540 CPUtime=0.09 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 2141 0 0 0 7 2 0 0 20 0 1 0 33945306 62689280 4385 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 15305 4385 2240 1147 0 2732 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 65412 KiB
Current children cumulated memory: 20484 KiB

[startup+0.313371 s]*
/proc/loadavg: 0.86 1.23 2.35 6/257 19310
/proc/meminfo: memFree=130096084/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=74272 memory=28856 CPUtime=0.18 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 4797 0 0 0 15 3 0 0 20 0 1 0 33945306 76054528 7214 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 18568 7214 2272 1147 0 5995 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 78464 KiB
Current children cumulated memory: 31800 KiB

[startup+0.700342 s]
/proc/loadavg: 0.86 1.23 2.35 6/257 19310
/proc/meminfo: memFree=130094068/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=75264 memory=30008 CPUtime=0.56 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 5088 0 0 0 52 4 0 0 20 0 1 0 33945306 77070336 7502 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 18816 7502 2272 1147 0 6243 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 79456 KiB
Current children cumulated memory: 32952 KiB

[startup+1.50035 s]
/proc/loadavg: 0.86 1.23 2.35 6/257 19310
/proc/meminfo: memFree=130094068/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=75712 memory=30520 CPUtime=1.35 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 5206 0 0 0 131 4 0 0 20 0 1 0 33945306 77529088 7630 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 18928 7630 2272 1147 0 6355 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 79904 KiB
Current children cumulated memory: 33464 KiB

[startup+3.11246 s]
/proc/loadavg: 0.86 1.23 2.35 6/257 19310
/proc/meminfo: memFree=130076888/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=79100 memory=36308 CPUtime=2.96 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 6106 0 0 0 287 9 0 0 20 0 1 0 33945306 80998400 9077 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 19775 9077 2336 1147 0 7202 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 83292 KiB
Current children cumulated memory: 39252 KiB

[startup+6.30034 s]
/proc/loadavg: 1.27 1.31 2.37 6/257 19310
/proc/meminfo: memFree=130053256/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=86996 memory=41940 CPUtime=6.14 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 7505 0 0 0 594 20 0 0 20 0 1 0 33945306 89083904 10485 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 21749 10485 2336 1147 0 9176 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 91188 KiB
Current children cumulated memory: 44884 KiB

[startup+12.7003 s]
/proc/loadavg: 1.57 1.37 2.39 6/257 19310
/proc/meminfo: memFree=130033288/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=91872 memory=47828 CPUtime=12.52 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 8990 0 0 0 1217 35 0 0 20 0 1 0 33945306 94076928 11957 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 22968 11957 2336 1147 0 10395 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 96064 KiB
Current children cumulated memory: 50772 KiB

[startup+25.5004 s]
/proc/loadavg: 2.10 1.49 2.42 6/257 19311
/proc/meminfo: memFree=129965872/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=126412 memory=78584 CPUtime=25.29 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 13626 0 0 0 2466 63 0 0 20 0 1 0 33945306 129445888 19646 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 31603 19646 2336 1147 0 19030 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 130604 KiB
Current children cumulated memory: 81528 KiB

[startup+51.1129 s]
/proc/loadavg: 3.14 1.81 2.49 6/257 19311
/proc/meminfo: memFree=129832648/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=141624 memory=97148 CPUtime=50.83 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 17215 0 0 0 4976 107 0 0 20 0 1 0 33945306 145022976 24287 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 35406 24287 2336 1147 0 22833 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 145816 KiB
Current children cumulated memory: 100092 KiB

[startup+102.3 s]
/proc/loadavg: 3.68 2.16 2.58 6/258 19316
/proc/meminfo: memFree=129647856/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=213116 memory=142016 CPUtime=101.88 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 23351 0 0 0 10014 174 0 0 20 0 1 0 33945306 218230784 35504 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 53279 35504 2336 1147 0 40706 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 217308 KiB
Current children cumulated memory: 144960 KiB

[startup+162.3 s]
/proc/loadavg: 4.55 2.68 2.74 6/257 19318
/proc/meminfo: memFree=129496824/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=230944 memory=166636 CPUtime=161.71 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 27452 0 0 0 15918 253 0 0 20 0 1 0 33945306 236486656 41659 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 57736 41659 2336 1147 0 45163 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 235136 KiB
Current children cumulated memory: 169580 KiB

[startup+222.3 s]
/proc/loadavg: 4.96 3.15 2.90 6/254 19320
/proc/meminfo: memFree=129171724/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=309376 memory=260020 CPUtime=221.5 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 35038 0 0 0 21846 304 0 0 20 0 1 0 33945306 316801024 65005 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 77344 65005 2336 1147 0 64771 0

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

/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 42608 0 0 0 39636 462 0 0 20 0 1 0 33945306 353579008 74146 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 86323 74146 2336 1147 0 73750 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 349484 KiB
Current children cumulated memory: 299528 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.70 3.19 6/253 19332
/proc/meminfo: memFree=128968588/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=355768 memory=305160 CPUtime=460.82 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 44821 0 0 0 45579 503 0 0 20 0 1 0 33945306 364306432 76290 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 88942 76290 2336 1147 0 76369 0
Current children cumulated CPU time: 460.89 s
Current children cumulated vsize: 359960 KiB
Current children cumulated memory: 308104 KiB

[startup+522.3 s]
/proc/loadavg: 4.11 3.78 3.25 6/253 19334
/proc/meminfo: memFree=128984080/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=355768 memory=305160 CPUtime=520.64 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 44823 0 0 0 51522 542 0 0 20 0 1 0 33945306 364306432 76290 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 88942 76290 2336 1147 0 76369 0
Current children cumulated CPU time: 520.71 s
Current children cumulated vsize: 359960 KiB
Current children cumulated memory: 308104 KiB

[startup+582.3 s]
/proc/loadavg: 4.16 3.85 3.31 6/253 19337
/proc/meminfo: memFree=128732052/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=575756 memory=474596 CPUtime=580.45 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 47323 0 0 0 57477 568 0 0 20 0 1 0 33945306 589574144 118649 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 143939 118649 2336 1147 0 131366 0
Current children cumulated CPU time: 580.52 s
Current children cumulated vsize: 579948 KiB
Current children cumulated memory: 477540 KiB

[startup+642.3 s]
/proc/loadavg: 4.12 3.90 3.36 6/253 19339
/proc/meminfo: memFree=128498384/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=799192 memory=547544 CPUtime=640.25 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 49712 0 0 0 63422 603 0 0 20 0 1 0 33945306 818372608 136886 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 199798 136886 2336 1147 0 187225 0
Current children cumulated CPU time: 640.32 s
Current children cumulated vsize: 803384 KiB
Current children cumulated memory: 550488 KiB

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

# cumulated CPU time of all completed processes:  user=658.476 s, system=6.2952 s

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

[startup+652.8 s]
/proc/loadavg: 4.10 3.90 3.37 6/253 19339
/proc/meminfo: memFree=128474064/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=799192 memory=547544 CPUtime=650.71 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 49722 0 0 0 64459 612 0 0 20 0 1 0 33945306 818372608 136886 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 199798 136886 2336 1147 0 187225 0
Current children cumulated CPU time: 650.78 s
Current children cumulated vsize: 803384 KiB
Current children cumulated memory: 550488 KiB

[startup+659.2 s]
/proc/loadavg: 4.09 3.90 3.37 6/253 19339
/proc/meminfo: memFree=128474064/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=799192 memory=547544 CPUtime=657.1 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 49722 0 0 0 65091 619 0 0 20 0 1 0 33945306 818372608 136886 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 199798 136886 2336 1147 0 187225 0
Current children cumulated CPU time: 657.17 s
Current children cumulated vsize: 803384 KiB
Current children cumulated memory: 550488 KiB

[startup+662.4 s]
/proc/loadavg: 4.09 3.90 3.37 6/254 19343
/proc/meminfo: memFree=128474712/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=799192 memory=547544 CPUtime=660.29 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 49722 0 0 0 65406 623 0 0 20 0 1 0 33945306 818372608 136886 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 199798 136886 2336 1147 0 187225 0
Current children cumulated CPU time: 660.36 s
Current children cumulated vsize: 803384 KiB
Current children cumulated memory: 550488 KiB

[startup+664 s]*
/proc/loadavg: 4.09 3.90 3.37 6/254 19343
/proc/meminfo: memFree=128474712/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=799192 memory=547544 CPUtime=661.89 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 49722 0 0 0 65565 624 0 0 20 0 1 0 33945306 818372608 136886 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 199798 136886 2336 1147 0 187225 0
Current children cumulated CPU time: 661.96 s
Current children cumulated vsize: 803384 KiB
Current children cumulated memory: 550488 KiB

[startup+665.6 s]
/proc/loadavg: 4.09 3.90 3.37 6/254 19343
/proc/meminfo: memFree=128474712/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=799192 memory=547544 CPUtime=663.47 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 49722 0 0 0 65723 624 0 0 20 0 1 0 33945306 818372608 136886 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 199798 136886 2336 1147 0 187225 0
Current children cumulated CPU time: 663.54 s
Current children cumulated vsize: 803384 KiB
Current children cumulated memory: 550488 KiB

[startup+666.4 s]
/proc/loadavg: 4.08 3.91 3.38 6/254 19343
/proc/meminfo: memFree=128474712/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=799192 memory=547544 CPUtime=664.27 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 49722 0 0 0 65802 625 0 0 20 0 1 0 33945306 818372608 136886 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 199798 136886 2336 1147 0 187225 0
Current children cumulated CPU time: 664.34 s
Current children cumulated vsize: 803384 KiB
Current children cumulated memory: 550488 KiB

[startup+666.8 s]
/proc/loadavg: 4.08 3.91 3.38 6/254 19343
/proc/meminfo: memFree=128474712/131382120 swapFree=33010684/33010684
[pid=19292] ppid=19284 vsize=4192 memory=2944 CPUtime=0.07 cores=1,3
/proc/19292/stat : 19292 (run-dec-break.s) S 19284 19292 19233 0 -1 4194304 237 5064 0 0 0 0 5 2 20 0 1 0 33945295 4292608 736 18446744073709551615 94219091730432 94219092624965 140730611045728 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94219092864016 94219092911760 94219103301632 140730611054945 140730611055074 140730611055074 140730611060676 0
/proc/19292/statm: 1048 736 672 219 0 110 0
[pid=19308] ppid=19292 vsize=780336 memory=320912 CPUtime=664.67 cores=1,3
/proc/19308/stat : 19308 (roundingsat) R 19292 19292 19233 0 -1 4194304 49722 0 0 0 65842 625 0 0 20 0 1 0 33945306 799064064 80740 18446744073709551615 4227072 8923433 140735998975488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37965824 140735998982468 140735998982696 140735998982696 140735998988266 0
/proc/19308/statm: 195084 80228 2336 1147 0 182511 0
Current children cumulated CPU time: 664.74 s
Current children cumulated vsize: 784528 KiB
Current children cumulated memory: 323856 KiB

Child status: 0

Real time (s): 666.805
CPU time (s): 664.771
CPU user time (s): 658.476
CPU system time (s): 6.2952
CPU usage (%): 99.695
Max. virtual memory (cumulated for all children) (KiB): 803384
Max. memory (cumulated for all children) (KiB): 550488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 658.476
system time used= 6.2952
maximum resident set size= 547544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55047
page faults= 0
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 342
involuntary context switches= 671


# summary of solver processes directly reported to runsolver:
#   pid: 19292
#   total CPU time (s): 664.771
#   total CPU user time (s): 658.476
#   total CPU system time (s): 6.2952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.19867 second user time and 6.62364 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-06-29 09:37:46
IDJOB=4507412
IDBENCH=158352
IDSOLVER=3357
FILE ID=nodeC003/4507412-1751182666
RUNJOBID= nodeC003-1751182666-19245
SLURM_JOB_ID= 9587560
Free space on /tmp= 433040 MiB

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

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

MD5SUM BENCH= 433935bc469f703143ab8083d95aeb05
RANDOM SEED=1528645510

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		: 1197.117
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		: 1197.157
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.162
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		: 1197.145
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		: 1197.199
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.248
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		: 1197.159
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.169
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:        130183336 kB
MemAvailable:   129991904 kB
Buffers:            3280 kB
Cached:           619132 kB
SwapCached:            0 kB
Active:           282528 kB
Inactive:         405936 kB
Active(anon):      84012 kB
Inactive(anon):        0 kB
Active(file):     198516 kB
Inactive(file):   405936 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31124 kB
Writeback:             0 kB
AnonPages:         69156 kB
Mapped:           102104 kB
Shmem:             17960 kB
KReclaimable:      87484 kB
Slab:             168348 kB
SReclaimable:      87484 kB
SUnreclaim:        80864 kB
KernelStack:        3856 kB
PageTables:         2768 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     329856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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 09:48:53